Instance CIL1_22500_150_E_I

Name CIL1_22500_150_E_I
Classes
Submitter Martin Gebser
Author Giorgio Terracina
Description
Created 2009-04-12 20:25
Modified 2009-04-12 20:25
Languages
Language Features
Compatible Encodings
Output Predicates
  • edge/2
  • query/2
  • ASP Contest 09 (Martin Gebser)
  • HUGE size (Martin Gebser)
Attributes
Content