Instance 156.48.1960.36.1721310593.dat

Name 156.48.1960.36.1721310593.dat
Classes
Submitter Martin Gebser
Author Gayathri Namasivayam and Miroslaw Truszczynski
Description
Created 2009-03-09 18:40
Modified 2009-03-09 18:40
Languages
Language Features
Compatible Encodings
Output Predicates
  • block/2
  • num/1
  • ASP Contest 09 (Martin Gebser)
Attributes
Content