Sota solver results for family dungeon
QBFEVAL'18 - Prenex CNF Track


InstanceSolverResultTime
dungeon_i15-m7-u4-v0.pddl_planlen=168Caqe-bloqqerUNSAT2.25
dungeon_i15-m7-u4-v0.pddl_planlen=81Caqe-bloqqerUNSAT0.93
dungeon_i25-m12-u3-v0.pddl_planlen=125Iprover-HQSpre-BloqqerUNSAT16.09
dungeon_i25-m12-u3-v0.pddl_planlen=130Iprover-HQSpre-BloqqerUNSAT16.45
dungeon_i25-m12-u3-v0.pddl_planlen=146Caqe-hqspreUNSAT15.79
dungeon_i25-m12-u3-v0.pddl_planlen=165Caqe-hqspreUNSAT16.37
dungeon_i25-m12-u3-v0.pddl_planlen=190Iprover-HQSpre-BloqqerUNSAT21.67
dungeon_i25-m12-u3-v0.pddl_planlen=72Caqe-hqspreUNSAT11.03
dungeon_i25-m12-u5-v0.pddl_planlen=128Caqe-bloqqerUNSAT11.25
dungeon_i25-m12-u5-v0.pddl_planlen=143Caqe-bloqqerUNSAT12.52
dungeon_i25-m12-u5-v0.pddl_planlen=170Caqe-bloqqerUNSAT15.86
dungeon_i25-m12-u5-v0.pddl_planlen=197Caqe-bloqqerUNSAT17.59
dungeon_i25-m12-u5-v0.pddl_planlen=198Caqe-bloqqerUNSAT17.89
dungeon_i25-m12-u5-v0.pddl_planlen=199Caqe-bloqqerUNSAT17.85
dungeon_i25-m12-u5-v0.pddl_planlen=200Caqe-bloqqerUNSAT18
dungeon_i25-m12-u5-v0.pddl_planlen=59Caqe-bloqqerUNSAT5.02
dungeon_i25-m12-u5-v0.pddl_planlen=65Caqe-bloqqerUNSAT5.49
dungeon_i25-m12-u5-v0.pddl_planlen=81Caqe-bloqqerUNSAT6.93
dungeon_i25-m12-u5-v0.pddl_planlen=86Caqe-bloqqerUNSAT7.52
dungeon_i25-m12-u5-v0.pddl_planlen=92Caqe-bloqqerUNSAT8.32
dungeon_i25-m12-u5-v0.pddl_planlen=98Caqe-bloqqerUNSAT8.56