Instance Class RandomNonTight

Class Tree
Description The set contains random non-tight benchmark instances that were generated
using an ASP benchmark generator [1] and parameters [2] that yield with
probability 1/2 a satisfiable instance.

[1]:
http://www.cs.uni-potsdam.de/~enno/benchmarkgenerator/bench.tar.gz

[2]:
http://www.cs.uni-potsdam.de/~enno/benchmarkgenerator/smodels_sat_unsat.pl
Submitter Martin Gebser
Compatible Encodings
    Output Predicates
      Instances
      1 - 20 of 120