QBF Solver Evaluation Portal
qbflib.orgSota solver results for family s713
QBFEVAL'17 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| s713_d11_u | GhostQ-PG_plain | UNSAT | 35.43 |  |
| s713_d7_u | GhostQ-PG_plain | UNSAT | 15.94 | |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| s713_d11_u | GhostQ-PG_plain | UNSAT | 35.43 | |
| s713_d7_u | GhostQ-PG_plain | UNSAT | 15.94 | |