QBF Solver Evaluation Portal
qbflib.orgSota solver results for family s820
Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| s820_d10_s | GhostQ___plain_pcnf_2019 | SAT | 6.4 |  |
| s820_d11_u | GhostQ___plain_pcnf_2019 | UNSAT | 8.12 | |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| s820_d10_s | GhostQ___plain_pcnf_2019 | SAT | 6.4 | |
| s820_d11_u | GhostQ___plain_pcnf_2019 | UNSAT | 8.12 | |