QBF Solver Evaluation Portal
qbflib.orgSota solver results for family genpatch
QBFEVAL'18 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| unit11_3_b | GhostQ-PG_cegar | UNSAT | 3 |  |
| unit12_2_b | GhostQ-PG_cegar | SAT | 43.95 | |
| unit6_3_b | ijtihad | UNSAT | 334.7 | |
| unit8_2_b | GhostQ-PG_cegar | SAT | 37.69 | |
| unit9_2_b | Caqe-bloqqer | SAT | 0 | |