QBF Solver Evaluation Portal
qbflib.orgInstances of family dungeon solved by depqbf_prefix_opt_qdo
Prenex CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| dungeon_i25-m12-u5-v0.pddl_planlen=59 | UNSAT | 177.71 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=65 | UNSAT | 211.96 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=81 | UNSAT | 353.63 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=86 | UNSAT | 475.37 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=92 | UNSAT | 848.39 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=200 | FAIL | 900 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=98 | FAIL | 900 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=199 | FAIL | 900 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=198 | FAIL | 900 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=197 | FAIL | 900 |