Instances of family dungeon solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
dungeon_i20-m100-u4-v0.pddl_planlen=6SAT0.3
dungeon_i30-m30-u5-v0.pddl_planlen=4UNSAT0.45
dungeon_i10-m10-u10-v0.pddl_planlen=166UNSAT4.04
dungeon_i30-m30-u5-v0.pddl_planlen=8UNSAT7.17
dungeon_i30-m30-u5-v0.pddl_planlen=9UNSAT104.19
dungeon_i15-m7-u4-v0.pddl_planlen=81UNSAT118.56
dungeon_i25-m12-u5-v0.pddl_planlen=59UNSAT154.61
dungeon_i25-m12-u3-v0.pddl_planlen=72UNSAT159.05
dungeon_i25-m12-u5-v0.pddl_planlen=65UNSAT159.3
dungeon_i15-m7-u4-v0.pddl_planlen=168UNSAT161.21
dungeon_i25-m12-u5-v0.pddl_planlen=81UNSAT163.14
dungeon_i25-m12-u5-v0.pddl_planlen=86UNSAT163.22
dungeon_i25-m12-u5-v0.pddl_planlen=92UNSAT163.42
dungeon_i25-m12-u5-v0.pddl_planlen=98UNSAT169.05
dungeon_i25-m12-u3-v0.pddl_planlen=125UNSAT170.07
dungeon_i25-m12-u3-v0.pddl_planlen=130UNSAT171.58
dungeon_i25-m12-u5-v0.pddl_planlen=128UNSAT175.4
dungeon_i25-m12-u3-v0.pddl_planlen=146UNSAT180.64
dungeon_i25-m12-u5-v0.pddl_planlen=143FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=170FAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=190FAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=165FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=199FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=198FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=200FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=197FAIL900