Instances of family bomb solved by qfun0.1
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
p20-1.pddl_planlen=24UNSAT80.37
p20-20.pddl_planlen=23SAT189.02
p20-5.pddl_planlen=32FAIL900