Instances of family bomb solved by depqbf-cert-v1
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
p5-5.pddl_planlen=6FAIL0.11
p5-5.pddl_planlen=5FAIL0.11
p10-10.pddl_planlen=10FAIL0.31
p10-10.pddl_planlen=6UNSAT2.31
p20-20.pddl_planlen=23FAIL13.15
p20-1.pddl_planlen=24FAIL531.45
p20-1.pddl_planlen=26FAIL601.63
p20-1.pddl_planlen=32FAIL609.62
p20-5.pddl_planlen=32FAIL618.11
p20-5.pddl_planlen=17FAIL647.42