Instances of family dungeon solved by iProver-qbf-bloqqer-2017-07-27-v3
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
dungeon_i30-m30-u5-v0.pddl_planlen=4UNSAT9.75
dungeon_i20-m100-u4-v0.pddl_planlen=6SAT14.77
dungeon_i15-m7-u4-v0.pddl_planlen=81UNSAT16.28
dungeon_i10-m10-u10-v0.pddl_planlen=166UNSAT27.36
dungeon_i30-m30-u5-v0.pddl_planlen=8UNSAT43.57
dungeon_i30-m30-u5-v0.pddl_planlen=9UNSAT49.54
dungeon_i15-m7-u4-v0.pddl_planlen=168UNSAT58.93
dungeon_i25-m12-u3-v0.pddl_planlen=130FAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=165FAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=190FAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=146FAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=72FAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=125FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=128FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=143FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=197FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=198FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=199FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=200FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=59FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=81FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=86FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=170FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=65FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=92FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=98FAIL900