Instances of family dungeon solved by caqe-pre
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
dungeon_i25-m12-u3-v0.pddl_planlen=72UNSAT10.68
dungeon_i15-m7-u4-v0.pddl_planlen=81UNSAT12.88
dungeon_i25-m12-u3-v0.pddl_planlen=130UNSAT14.97
dungeon_i25-m12-u3-v0.pddl_planlen=165UNSAT15.68
dungeon_i25-m12-u3-v0.pddl_planlen=146UNSAT15.73
dungeon_i25-m12-u5-v0.pddl_planlen=59UNSAT16.68
dungeon_i25-m12-u3-v0.pddl_planlen=125UNSAT16.89
dungeon_i15-m7-u4-v0.pddl_planlen=168UNSAT17.18
dungeon_i25-m12-u5-v0.pddl_planlen=65UNSAT17.41
dungeon_i25-m12-u5-v0.pddl_planlen=81UNSAT19.91
dungeon_i25-m12-u5-v0.pddl_planlen=86UNSAT20.45
dungeon_i25-m12-u5-v0.pddl_planlen=92UNSAT21.22
dungeon_i25-m12-u5-v0.pddl_planlen=98UNSAT22.07
dungeon_i25-m12-u3-v0.pddl_planlen=190UNSAT25.47
dungeon_i25-m12-u5-v0.pddl_planlen=128UNSAT26.66
dungeon_i25-m12-u5-v0.pddl_planlen=143UNSAT28.98
dungeon_i25-m12-u5-v0.pddl_planlen=170UNSAT33.78
dungeon_i25-m12-u5-v0.pddl_planlen=197UNSAT36.97
dungeon_i25-m12-u5-v0.pddl_planlen=198UNSAT37.38
dungeon_i25-m12-u5-v0.pddl_planlen=199UNSAT37.6
dungeon_i25-m12-u5-v0.pddl_planlen=200UNSAT37.88