Instances of family bomb solved by QuAbS_2017
QBFEVAL'17 - Prenex non-CNF Track

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