QBF Solver Evaluation Portal
qbflib.orgFamily s1269 results for solvers
QBFEVAL'17 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 1800 | 900 | 0 | 900 | 0 | 0 |
| caqe_2017_v1 | 927.43 | 463.72 | 436.29 | 463.72 | 0 | 0.5 |
| caqe_2017_v2 | 969.26 | 484.63 | 415.37 | 484.63 | 0 | 0.5 |
| caqe_2017_v3 | 969.52 | 484.76 | 415.24 | 484.76 | 0 | 0.5 |
| CUED1919_NL | 283.13 | 141.57 | 102.15 | 141.57 | 0 | 0 |
| CUED1919_NNL | 99.02 | 49.51 | 41.14 | 49.51 | 0 | 0 |
| dynQBF-bloqqer-hqspre | 1800 | 900 | 0 | 900 | 0 | 0 |
| ghostq-cegar | 943.93 | 471.97 | 428.04 | 471.97 | 0 | 0.5 |
| GhostQ-PG_cegar | 928 | 464 | 436 | 464 | 0 | 0.5 |
| GhostQ-PG_plain | 903.33 | 451.67 | 448.34 | 451.67 | 0 | 0.5 |
| heretiq | 1800 | 900 | 0 | 900 | 0 | 0 |
| HQSpre_solver | 1800 | 900 | 0 | 900 | 0 | 0 |
| ijtihad_v1 | 1800 | 900 | 0 | 900 | 0 | 0 |
| ijtihad_v2 | 1800 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-2017-07-27-v3 | 1800 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-bloqqer-2017-07-27-v3 | 1526.23 | 763.12 | 136.89 | 763.12 | 0 | 0 |
| prefix-opt-depqbf | 1800 | 900 | 0 | 900 | 0 | 0 |
| qbfrelay | 1782.01 | 891.01 | 2.74 | 891.01 | 0 | 0 |
| qbfrelay-limited-depqbf | 1800 | 900 | 0 | 900 | 0 | 0 |
| QELL_default | 938.79 | 469.4 | 430.61 | 469.4 | 0 | 0.5 |
| QELL_unit | 1049.64 | 524.82 | 375.18 | 524.82 | 0 | 0.5 |
| qesto | 1581.31 | 790.66 | 109.35 | 790.66 | 0 | 0.5 |
| Qute_default | 1796.61 | 898.31 | 1.7 | 898.31 | 0 | 0 |
| Qute_opt500 | 1800 | 900 | 0 | 900 | 0 | 0 |
| Qute_random | 1800 | 900 | 0 | 900 | 0 | 0 |
| rareqs | 940.49 | 470.25 | 429.76 | 470.25 | 0 | 0.5 |
| rev_qfun0.1 | 969.26 | 484.63 | 415.37 | 484.63 | 0 | 0.5 |
| xb-qsts_bqsts2.0 | 963.94 | 481.97 | 418.03 | 481.97 | 0 | 0.5 |
| xb-qsts_xbqsts1.0 | 1006.09 | 503.05 | 396.96 | 503.05 | 0 | 0.5 |
| xb-qsts_xbqsts2.0 | 1005.83 | 502.92 | 397.09 | 502.92 | 0 | 0.5 |