QBF Solver Evaluation Portal
qbflib.orgSota solver results for family ITC99
Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| b14_PR_1_50 | depqbf_prefix_opt_qdo | SAT | 1.62 |  |
| b17_PR_2_50 | nanoqbf_hqspre | SAT | 5.61 | |
| b18_PR_4_2 | depqbf_prefix_opt_qdo | SAT | 3.25 | |
| b20_PR_7_20 | depqbf_prefix_opt_qdo | SAT | 0.05 | |
| b21_PR_8_20 | depqbf_prefix_opt_qdo | SAT | 0.04 | |
| b22_PR_8_20 | nanoqbf_hqspre | SAT | 4.67 | |
| b22_PR_9_90 | Rareqs_2018 | UNSAT | 15.82 | |