| 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 |
|
Expand All
Collapse All
