QBF Solver Evaluation Portal
qbflib.orgUnique instances for QFUN
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Time | Result |
|---|---|---|
| k_ph_p-12 | 26.7 | UNSAT |
| p20-1.pddl_planlen=24 | 120.61 | UNSAT |
| p20-20.pddl_planlen=23 | 280.06 | SAT |
| pipesnotankage14_10 | 167.02 | UNSAT |
| pipesnotankage18_8 | 370.88 | UNSAT |