Instances of family bomb solved by QFUN
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
p20-1.pddl_planlen=24UNSAT120.61
p20-20.pddl_planlen=23SAT280.06
p20-5.pddl_planlen=32FAIL900.02