QBF Solver Evaluation Portal
qbflib.orgSota solver results for family s298
QBFEVAL'17 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| s298_d17_s | QELL_unit | SAT | 0.87 |  |
| s298_d25_u | QELL_default | UNSAT | 8.71 | |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| s298_d17_s | QELL_unit | SAT | 0.87 | |
| s298_d25_u | QELL_default | UNSAT | 8.71 | |