QBF Solver Evaluation Portal
qbflib.orgSuite Katz results for solvers
QBFEVAL'17 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 2716.73 | 301.86 | 422.95 | 3.99 | 451.83 | 0.667 |
| caqe_2017_v1 | 7484.69 | 831.63 | 193.37 | 900 | 0 | 0.111 |
| caqe_2017_v2 | 8100 | 900 | 0 | 900 | 0 | 0 |
| caqe_2017_v3 | 7474.86 | 830.54 | 196.46 | 900 | 0 | 0.111 |
| CUED1919_NL | 118.71 | 13.19 | 18.63 | 0.56 | 13.79 | 0 |
| CUED1919_NNL | 18.59 | 2.07 | 2.91 | 0.1 | 2.13 | 0 |
| dynQBF-bloqqer-hqspre | 5752.18 | 639.13 | 372.17 | 900 | 738.1 | 0.333 |
| ghostq-cegar | 8100 | 900 | 0 | 900 | 0 | 0 |
| GhostQ-PG_cegar | 8100 | 900 | 0 | 900 | 0 | 0 |
| GhostQ-PG_plain | 8100 | 900 | 0 | 900 | 0 | 0 |
| heretiq | 7242.55 | 804.73 | 269.47 | 900 | 0 | 0.111 |
| HQSpre_solver | 8100 | 900 | 0 | 900 | 0 | 0 |
| ijtihad_v1 | 8100 | 900 | 0 | 900 | 0 | 0 |
| ijtihad_v2 | 8100 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-2017-07-27-v3 | 8100 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-bloqqer-2017-07-27-v3 | 8100 | 900 | 0 | 900 | 0 | 0 |
| prefix-opt-depqbf | 7221.88 | 802.43 | 275.97 | 900 | 0 | 0.111 |
| qbfrelay | 3695.27 | 410.59 | 389.21 | 119.95 | 750.8 | 0 |
| qbfrelay-limited-depqbf | 6703.1 | 744.79 | 289.23 | 888.81 | 217.74 | 0.222 |
| QELL_default | 8100 | 900 | 0 | 900 | 0 | 0 |
| QELL_unit | 7800.88 | 866.76 | 94 | 900 | 0 | 0.111 |
| qesto | 8100 | 900 | 0 | 900 | 0 | 0 |
| Qute_default | 7200.21 | 800.02 | 282.78 | 900 | 0 | 0.111 |
| Qute_opt500 | 7780.8 | 864.53 | 100.31 | 900 | 0 | 0.111 |
| Qute_random | 7780.83 | 864.54 | 100.31 | 900 | 0 | 0.111 |
| rareqs | 8100 | 900 | 0 | 900 | 0 | 0 |
| rev_qfun0.1 | 8100 | 900 | 0 | 900 | 0 | 0 |
| xb-qsts_bqsts2.0 | 7244.9 | 804.99 | 181.75 | 900 | 173.58 | 0.222 |
| xb-qsts_xbqsts1.0 | 7249.78 | 805.53 | 180.82 | 900 | 172.04 | 0.222 |
| xb-qsts_xbqsts2.0 | 7250.64 | 805.63 | 180.76 | 900 | 171.25 | 0.222 |