QBF Solver Evaluation Portal
qbflib.orgSota solver results for family ITC99
QBFEVAL'19 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| b14_PR_1_50 | depqbf_prefix_opt_qdo | SAT | 1.58 |  |
| b18_PR_4_2 | depqbf_prefix_opt_qdo | SAT | 3.23 | |
| b20_PR_7_20 | depqbf_prefix_opt_qdo | SAT | 0.05 | |
| b20_PR_9_90 | depqbf_prefix_opt_qdo | UNSAT | 0.04 | |
| b21_PR_8_20 | depqbf_prefix_opt_qdo | SAT | 0.04 | |
| b21_PR_9_90 | Hiqqer2019_1 | UNSAT | 0 | |
| b22_PR_8_20 | GhostQ___cegar_pcnf_2019 | SAT | 27.15 | |
| b22_PR_9_90 | Hiqqer2019_2 | UNSAT | 10.22 | |