QBF Solver Evaluation Portal
qbflib.orgSota solver results for family dungeon
Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| dungeon_i25-m12-u5-v0.pddl_planlen=197 | nanoqbf_hqspre | UNSAT | 34.95 |  |
| dungeon_i25-m12-u5-v0.pddl_planlen=198 | nanoqbf_hqspre | UNSAT | 35.4 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=199 | nanoqbf_hqspre | UNSAT | 34.76 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=200 | nanoqbf_hqspre | UNSAT | 35.98 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=59 | nanoqbf_hqspre | UNSAT | 11.95 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=65 | nanoqbf_hqspre | UNSAT | 13.37 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=81 | nanoqbf_hqspre | UNSAT | 16.79 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=86 | nanoqbf_hqspre | UNSAT | 16.98 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=92 | nanoqbf_hqspre | UNSAT | 17.58 | |
| dungeon_i25-m12-u5-v0.pddl_planlen=98 | nanoqbf_hqspre | UNSAT | 18.6 | |