QBF Solver Evaluation Portal
qbflib.orgSota solver results for family ITC99
QBFEVAL'17 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| b14_PR_1_50 | HQSpre_solver | SAT | 2.93 |  |
| b15_PR_4_2 | prefix-opt-depqbf | SAT | 0.69 | |
| b17_PR_0_90 | QELL_default | UNSAT | 0.64 | |
| b18_PR_4_2 | rareqs | SAT | 4.93 | |
| b20_C_3_2 | rev_qfun0.1 | SAT | 668.06 | |
| b20_PR_7_20 | prefix-opt-depqbf | SAT | 0.28 | |
| b21_C_3_206 | rev_qfun0.1 | SAT | 35.54 | |
| b22_PR_8_20 | dynQBF-bloqqer-hqspre | SAT | 23.01 | |