QBF Solver Evaluation Portal
qbflib.orgFamily k_branch_n results for solvers
QBFEVAL'17 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 2987.84 | 497.97 | 396.12 | 504.87 | 819.88 | 0.5 |
| caqe_2017_v1 | 2405.93 | 400.99 | 411.7 | 302 | 600.71 | 0.667 |
| caqe_2017_v2 | 2258.93 | 376.49 | 401.24 | 225.74 | 440.48 | 0.667 |
| caqe_2017_v3 | 2418.51 | 403.09 | 412.74 | 308.28 | 613.23 | 0.667 |
| CUED1919_NL | 1882.79 | 313.8 | 143.1 | 381.6 | 318.64 | 0 |
| CUED1919_NNL | 2559.42 | 426.57 | 405.58 | 361.28 | 661.84 | 0 |
| dynQBF-bloqqer-hqspre | 937.86 | 156.31 | 332.63 | 6.91 | 5.88 | 0.833 |
| ghostq-cegar | 5400 | 900 | 0 | 900 | 0 | 0 |
| GhostQ-PG_cegar | 5400 | 900 | 0 | 900 | 0 | 0 |
| GhostQ-PG_plain | 5400 | 900 | 0 | 900 | 0 | 0 |
| heretiq | 2821.49 | 470.25 | 430.76 | 499.45 | 894.89 | 0.5 |
| HQSpre_solver | 516.17 | 86.03 | 82.18 | 62.97 | 109.19 | 1 |
| ijtihad_v1 | 3043.34 | 507.22 | 406.14 | 610.48 | 894.98 | 0.5 |
| ijtihad_v2 | 2797.75 | 466.29 | 434.57 | 493.58 | 897.17 | 0.5 |
| iProver-qbf-2017-07-27-v3 | 5400 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-bloqqer-2017-07-27-v3 | 936.4 | 156.07 | 332.74 | 6.37 | 5.82 | 0.833 |
| prefix-opt-depqbf | 5400 | 900 | 0 | 900 | 0 | 0 |
| qbfrelay | 927.35 | 154.56 | 328.32 | 6.71 | 5.88 | 0.833 |
| qbfrelay-limited-depqbf | 538.38 | 89.73 | 14.66 | 83.8 | 13 | 1 |
| QELL_default | 5400 | 900 | 0 | 900 | 0 | 0 |
| QELL_unit | 5400 | 900 | 0 | 900 | 0 | 0 |
| qesto | 2855.65 | 475.94 | 425.71 | 513.14 | 892.26 | 0.5 |
| Qute_default | 1540.73 | 256.79 | 319.24 | 111.04 | 190.01 | 0.833 |
| Qute_opt500 | 1067.9 | 177.98 | 180.64 | 104.95 | 177.05 | 1 |
| Qute_random | 1066.52 | 177.75 | 177.36 | 111.61 | 190.02 | 1 |
| rareqs | 4128.14 | 688.02 | 322.44 | 900 | 841.58 | 0.333 |
| rev_qfun0.1 | 5400 | 900 | 0 | 900 | 0 | 0 |
| xb-qsts_bqsts2.0 | 936.58 | 156.1 | 332.73 | 6.36 | 5.83 | 0.833 |
| xb-qsts_xbqsts1.0 | 937.73 | 156.29 | 332.64 | 6.41 | 5.73 | 0.833 |
| xb-qsts_xbqsts2.0 | 937.33 | 156.22 | 332.67 | 6.6 | 5.9 | 0.833 |