QBF Solver Evaluation Portal
qbflib.orgSota solver results for family genpatch
QBFEVAL'19 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| unit11_3_b | GhostQ___cegar_pcnf_2019 | UNSAT | 2.97 |  |
| unit12_2_b | GhostQ___plain_pcnf_2019 | SAT | 41.94 | |
| unit6_3_b | Caqe-bloqqer-qdo | UNSAT | 306.65 | |
| unit8_2_b | GhostQ___cegar_pcnf_2019 | SAT | 37.26 | |
| unit9_2_b | Hiqqer2019_1 | SAT | 0 | |