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

InstanceResultTime
dungeon_i20-m100-u4-v0.pddl_planlen=6SAT2.37
dungeon_i30-m30-u5-v0.pddl_planlen=4UNSAT5.9
dungeon_i30-m30-u5-v0.pddl_planlen=8UNSAT13.81
dungeon_i30-m30-u5-v0.pddl_planlen=9UNSAT15.6
dungeon_i15-m7-u4-v0.pddl_planlen=81UNSAT25.02
dungeon_i10-m10-u10-v0.pddl_planlen=166UNSAT28.41
dungeon_i15-m7-u4-v0.pddl_planlen=168UNSAT69.89
dungeon_i25-m12-u3-v0.pddl_planlen=72UNSAT78.79
dungeon_i25-m12-u5-v0.pddl_planlen=59UNSAT79.01
dungeon_i25-m12-u5-v0.pddl_planlen=65UNSAT80.31
dungeon_i25-m12-u5-v0.pddl_planlen=81UNSAT84.24
dungeon_i25-m12-u5-v0.pddl_planlen=86UNSAT85.36
dungeon_i25-m12-u5-v0.pddl_planlen=92UNSAT86.49
dungeon_i25-m12-u5-v0.pddl_planlen=98UNSAT87.96
dungeon_i25-m12-u3-v0.pddl_planlen=125UNSAT88.84
dungeon_i25-m12-u3-v0.pddl_planlen=130UNSAT89.81
dungeon_i25-m12-u3-v0.pddl_planlen=146UNSAT93.32
dungeon_i25-m12-u5-v0.pddl_planlen=128UNSAT95.49
dungeon_i25-m12-u3-v0.pddl_planlen=165UNSAT96.89
dungeon_i25-m12-u5-v0.pddl_planlen=143UNSAT99.62
dungeon_i25-m12-u3-v0.pddl_planlen=190UNSAT101.91
dungeon_i25-m12-u5-v0.pddl_planlen=170UNSAT107.49
dungeon_i25-m12-u5-v0.pddl_planlen=199UNSAT112.38
dungeon_i25-m12-u5-v0.pddl_planlen=198UNSAT112.66
dungeon_i25-m12-u5-v0.pddl_planlen=197UNSAT112.68
dungeon_i25-m12-u5-v0.pddl_planlen=200UNSAT113.09