Instances of family bomb solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
p5-5.pddl_planlen=5SAT0.32
p5-5.pddl_planlen=6SAT0.33
p10-10.pddl_planlen=10SAT3.63
p20-1.pddl_planlen=32FAIL299.82
p20-20.pddl_planlen=23FAIL299.82
p20-1.pddl_planlen=26FAIL299.83
p20-5.pddl_planlen=17FAIL299.83
p20-5.pddl_planlen=32FAIL299.83
p10-10.pddl_planlen=6FAIL299.83
p20-1.pddl_planlen=24FAIL299.83