Instance 512.6.1669208235.dat.data

Name 512.6.1669208235.dat.data
Classes
Submitter Martin Gebser
Author
Description n=6 and W=60
Created 2009-03-30 13:03
Modified 2008-11-29 00:07
Languages
Language Features
Compatible Encodings
    Output Predicates
      Attributes
      Content