QBF Solver Evaluation Portal
qbflib.orgUnique instances for AIGSolve
QBFEVAL'16 - Prenex CNF Track.
| Instance | Time | Result |
|---|---|---|
| test1_quant_squaring2 | 1.3 | SAT |
| test3_quant_squaring4 | 1.93 | UNSAT |
| test1_quant_squaring3 | 18.2 | SAT |
| dungeon_i25-m12-u3-v0.pddl_planlen=165 | 18.13 | UNSAT |
| small-seq-fixpoint-5 | 79.45 | UNSAT |
| adder-14-sat | 9.06 | SAT |
| ken.oop^2.C-d3 | 4.63 | UNSAT |
| sdlx-fixpoint-3 | 47.02 | UNSAT |
| dungeon_i25-m12-u3-v0.pddl_planlen=72 | 12.09 | UNSAT |
| cache-coherence-2-fixpoint-6 | 90.69 | UNSAT |
| adder-10-sat | 3.08 | SAT |
| adder-12-sat | 5.69 | SAT |
| ken.oop^2.C-d4 | 11.74 | UNSAT |
| small-seq-fixpoint-3 | 41.5 | UNSAT |
| test4_quant_squaring4 | 4.39 | UNSAT |
| stmt21_319_418 | 188.47 | SAT |
| dungeon_i25-m12-u3-v0.pddl_planlen=130 | 15.8 | UNSAT |
| dungeon_i25-m12-u3-v0.pddl_planlen=190 | 19.62 | UNSAT |
| dungeon_i25-m12-u5-v0.pddl_planlen=170 | 22.96 | UNSAT |