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

InstanceResultTime
p5-5.pddl_planlen=5SAT0.21
p5-5.pddl_planlen=6SAT0.36
p10-10.pddl_planlen=6FAIL5.29
p10-10.pddl_planlen=10SAT68.98
p20-5.pddl_planlen=17FAIL600
p20-1.pddl_planlen=24FAIL600
p20-1.pddl_planlen=26FAIL600
p20-1.pddl_planlen=32FAIL600
p20-20.pddl_planlen=23FAIL600
p20-5.pddl_planlen=32FAIL613.93