QBF Solver Evaluation Portal
qbflib.orgUnique instances for qsts
QBFEVAL'16 - Prenex non-CNF Track.
| Instance | Time | Result |
|---|---|---|
| dungeon_i15-m7-u4-v0.pddl_planlen=81 | 0.6 | UNSAT |
| dungeon_i25-m12-u3-v0.pddl_planlen=165 | 8.84 | UNSAT |
| dungeon_i25-m12-u3-v0.pddl_planlen=190 | 10.53 | UNSAT |
| k_ph_p-19 | 0.03 | UNSAT |
| ken.oop^2.C-d4 | 0.06 | UNSAT |
| s3330_d12_u | 0.22 | UNSAT |
| s3330_d9_s | 0.15 | UNSAT |