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

InstanceResultTime
p10-10.pddl_planlen=10SAT183.59
p10-10.pddl_planlen=6FAIL599.61
p20-1.pddl_planlen=24FAIL599.71
p20-20.pddl_planlen=23FAIL599.71
p20-5.pddl_planlen=32FAIL599.72