Instance rand_20_100_1235851242_0_k=3_v=10_e=20_unsat.gph

Name rand_20_100_1235851242_0_k=3_v=10_e=20_unsat.gph
Classes
Submitter Martin Gebser
Author Gayathri Namasivayam and Miroslaw Truszczynski
Description
Created 2009-04-09 15:04
Modified 2009-04-09 15:04
Languages
Language Features
Compatible Encodings
Output Predicates
  • edge/2
  • edgebound/1
  • parts/1
  • vtx/1
  • vtxbound/1
  • weight_wtedge/3
  • ASP Contest 09 (Martin Gebser)
Attributes
Content