Instances of family bomb solved by squeezebf+struqs
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
p5-5.pddl_planlen=5SAT0.14
p5-5.pddl_planlen=6SAT0.45
p20-1.pddl_planlen=32FAIL599.71
p20-20.pddl_planlen=23FAIL599.71
p20-5.pddl_planlen=17FAIL599.71
p20-5.pddl_planlen=32FAIL599.71
p10-10.pddl_planlen=10FAIL599.71
p10-10.pddl_planlen=6FAIL599.71
p20-1.pddl_planlen=24FAIL599.71
p20-1.pddl_planlen=26FAIL599.71