Instances of family bomb solved by iprover-QBF
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
p5-5.pddl_planlen=5FAIL0.06
p5-5.pddl_planlen=6FAIL0.06
p20-1.pddl_planlen=24FAIL0.11
p20-1.pddl_planlen=26FAIL0.11
p20-1.pddl_planlen=32FAIL0.13
p10-10.pddl_planlen=6FAIL0.19
p10-10.pddl_planlen=10FAIL0.3
p20-5.pddl_planlen=17FAIL0.47
p20-5.pddl_planlen=32FAIL0.86
p20-20.pddl_planlen=23FAIL8.52