QBF Solver Evaluation Portal
qbflib.orgFamily Planning-CTE results for solvers
QBFEVAL'17 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 7731.27 | 266.6 | 341.56 | 75.32 | 341.37 | 0.828 |
| caqe_2017_v1 | 14906.6 | 514.02 | 381.42 | 345.62 | 725.8 | 0.517 |
| caqe_2017_v2 | 3485.35 | 120.18 | 149.18 | 72.35 | 161.8 | 1 |
| caqe_2017_v3 | 13698.77 | 472.37 | 415.75 | 222.55 | 850.4 | 0.517 |
| CUED1919_NL | 10412.35 | 359.05 | 214.52 | 443.61 | 391.82 | 0 |
| CUED1919_NNL | 12778.09 | 440.62 | 304.61 | 496.8 | 530.58 | 0 |
| dynQBF-bloqqer-hqspre | 10871.29 | 374.87 | 383.8 | 143.65 | 792.03 | 0.655 |
| ghostq-cegar | 26100 | 900 | 0 | 900 | 0 | 0 |
| GhostQ-PG_cegar | 26100 | 900 | 0 | 900 | 0 | 0 |
| GhostQ-PG_plain | 25731.02 | 887.28 | 67.33 | 900 | 0 | 0.034 |
| heretiq | 5174.08 | 178.42 | 171.24 | 121.31 | 243.26 | 1 |
| HQSpre_solver | 2214.1 | 76.35 | 63.48 | 52.95 | 101.26 | 1 |
| ijtihad_v1 | 5135.52 | 177.09 | 165.42 | 121.53 | 245.78 | 1 |
| ijtihad_v2 | 5088.85 | 175.48 | 164 | 118.87 | 233.77 | 1 |
| iProver-qbf-2017-07-27-v3 | 22255.8 | 767.44 | 278.5 | 900 | 30.55 | 0.207 |
| iProver-qbf-bloqqer-2017-07-27-v3 | 22164.53 | 764.29 | 281.09 | 900 | 98.71 | 0.241 |
| prefix-opt-depqbf | 23758.82 | 819.27 | 211.92 | 900 | 0 | 0.138 |
| qbfrelay | 11374.9 | 392.24 | 374.56 | 230.14 | 802.65 | 0.655 |
| qbfrelay-limited-depqbf | 19838.93 | 684.1 | 348.44 | 900 | 726.6 | 0.276 |
| QELL_default | 614.39 | 21.19 | 19.51 | 15.74 | 24 | 1 |
| QELL_unit | 626.41 | 21.6 | 19.78 | 16.02 | 22.68 | 1 |
| qesto | 25257.83 | 870.96 | 129.51 | 900 | 0 | 0.069 |
| Qute_default | 2926.98 | 100.93 | 82.37 | 72.29 | 155.19 | 1 |
| Qute_opt500 | 2945.96 | 101.58 | 83.15 | 73.16 | 158.34 | 1 |
| Qute_random | 2909.82 | 100.34 | 81.25 | 73.09 | 158 | 1 |
| rareqs | 6974.26 | 240.49 | 244.1 | 161.62 | 299.16 | 1 |
| rev_qfun0.1 | 17116.23 | 590.21 | 357.77 | 845.28 | 684.43 | 0.655 |
| xb-qsts_bqsts2.0 | 23415.87 | 807.44 | 253.7 | 900 | 3.64 | 0.172 |
| xb-qsts_xbqsts1.0 | 23474.65 | 809.47 | 252.25 | 900 | 4 | 0.172 |
| xb-qsts_xbqsts2.0 | 23479.48 | 809.64 | 252.06 | 900 | 4.15 | 0.172 |