QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Debug
QBFEVAL'18 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| c1_Debug_s3_f2_e1_v1 | Caqe-hqspre | SAT | 356.54 |  |
| c1_Debug_s3_f2_e1_v2 | Iprover-HQSpre-Bloqqer | SAT | 112.66 | |
| c1_Debug_s5_f1_e1_v2 | ijtihad | SAT | 532.87 | |
| c2_Debug_s3_f1_e1_v2 | Qute_random | SAT | 530.48 | |
| c2_Debug_s3_f2_e1_v3 | Rareqs_2018 | SAT | 299.29 | |
| c4_Debug_s3_f2_e2_v2 | Qute_default | SAT | 114.79 | |
| c4_Debug_s3_f2_e2_v3 | Iprover-HQSpre-Bloqqer | SAT | 146.46 | |