QBF Solver Evaluation Portal
qbflib.orgSota solver results for family k_poly_p
QBFEVAL'04
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_poly_p-10 | sSolve | UNSAT | 0.01 |  |
| k_poly_p-11 | QUANTOR | UNSAT | 0.01 | |
| k_poly_p-12 | QUANTOR | UNSAT | 0.01 | |
| k_poly_p-14 | yQuaffle | UNSAT | 0.01 | |
| k_poly_p-17 | sSolve | UNSAT | 0.01 | |
| k_poly_p-2 | sSolve | UNSAT | 0 | |
| k_poly_p-7 | QUANTOR | UNSAT | 0 | |
| k_poly_p-8 | QSAT | UNSAT | 0.01 | |