Instances of family bomb solved by xb-bid-qsts
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
p5-5.pddl_planlen=6SAT0.37
p5-5.pddl_planlen=5SAT0.91
p20-1.pddl_planlen=24UNSAT15.67
p20-1.pddl_planlen=26UNSAT17.35
p20-1.pddl_planlen=32UNSAT28.88
p20-5.pddl_planlen=32UNSAT40.59
p20-5.pddl_planlen=17UNSAT46.44
p10-10.pddl_planlen=10SAT54.1
p10-10.pddl_planlen=6UNSAT555.11
p20-20.pddl_planlen=23FAIL596.61