Instance rand_50_250_1235842610_0_k=6_unsat.gph

Name rand_50_250_1235842610_0_k=6_unsat.gph
Classes
Submitter Martin Gebser
Author Gayathri Namasivayam and Miroslaw Truszczynski
Description
Created 2009-04-08 15:46
Modified 2009-04-08 15:46
Languages
Language Features
Compatible Encodings
Output Predicates
  • bound/1
  • edge/2
  • vtx/1
  • ASP Contest 09 (Martin Gebser)
Attributes
Content