Instances of family bomb solved by quabs___caqe-bloqqer
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
p20-20.pddl_planlen=23FAIL900.03
p20-1.pddl_planlen=24FAIL900.06
p20-5.pddl_planlen=32FAIL900.09