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

InstanceResultTime
dungeon_i10-m10-u10-v0.pddl_planlen=166UNSAT1.27
dungeon_i30-m30-u5-v0.pddl_planlen=4UNSAT10.23
dungeon_i20-m100-u4-v0.pddl_planlen=6SAT136.63
dungeon_i25-m12-u3-v0.pddl_planlen=146FAIL900
dungeon_i15-m7-u4-v0.pddl_planlen=81FAIL900
dungeon_i15-m7-u4-v0.pddl_planlen=168FAIL900
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-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=72FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=170FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=65FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=81FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=86FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=92FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=98FAIL900
dungeon_i30-m30-u5-v0.pddl_planlen=8FAIL900
dungeon_i30-m30-u5-v0.pddl_planlen=9FAIL900