QBF Solver Evaluation Portal
qbflib.orgSota solver results for family genpatch
Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| unit11_3_b | GhostQ___cegar_pcnf_2019 | UNSAT | 2.98 |  |
| unit12_2_b | GhostQ___plain_pcnf_2019 | SAT | 42.68 | |
| unit6_3_b | Caqe-bloqqer-qdo | UNSAT | 301.73 | |
| unit8_2_b | GhostQ___cegar_pcnf_2019 | SAT | 37.17 | |
| unit9_2_b | Rareqs_2018 | SAT | 0.44 | |