QBF Solver Evaluation Portal
qbflib.orgInstances of family dungeon solved by depqbf_pre_QxQBH
Prenex CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| dungeon_i25-m12-u5-v0.pddl_planlen=59 | UNSAT | 19.37 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=65 | UNSAT | 20.42 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=81 | UNSAT | 24.31 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=86 | UNSAT | 25.17 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=92 | UNSAT | 26.66 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=98 | UNSAT | 27.85 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=198 | UNSAT | 50.16 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=197 | UNSAT | 50.54 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=199 | UNSAT | 51.22 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=200 | UNSAT | 51.75 |