QBF Solver Evaluation Portal
qbflib.orgSota solver results for family s1196
QBFEVAL'17 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| s1196_d5_u | GhostQ-PG_plain | UNSAT | 59.66 |  |
| s1196_d7_u | xb-qsts_bqsts2.0 | UNSAT | 41.69 | |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| s1196_d5_u | GhostQ-PG_plain | UNSAT | 59.66 | |
| s1196_d7_u | xb-qsts_bqsts2.0 | UNSAT | 41.69 | |