QBF Solver Evaluation Portal
qbflib.orgInstances of family dungeon solved by quabs___caqe-bloqqer
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| dungeon_i15-m7-u4-v0.pddl_planlen=81 | UNSAT | 4.35 | |
| dungeon_i25-m12-u3-v0.pddl_planlen=190 | UNSAT | 773.7 | |
| dungeon_i25-m12-u3-v0.pddl_planlen=165 | FAIL | 900.1 |