QBF Solver Evaluation Portal
qbflib.orgSota solver results for family s298
QBFEVAL'06
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| s298_d2_s | QUANTOR_hc | UNSAT | 0.03 |  |
| s298_d4_s | QUANTOR_hc | UNSAT | 0.06 | |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| s298_d2_s | QUANTOR_hc | UNSAT | 0.03 | |
| s298_d4_s | QUANTOR_hc | UNSAT | 0.06 | |