QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Planning-CTE
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| pipesnotankage14_10 | QFUN | UNSAT | 167.02 |  |
| pipesnotankage18_8 | QFUN | UNSAT | 370.88 | |