QBF Solver Evaluation Portal
qbflib.orgFamily LTL2DBA results for solvers
QBFEVAL'17 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 42.98 | 21.49 | 21.37 | 21.49 | 0 | 1 |
| caqe_2017_v1 | 0.32 | 0.16 | 0.04 | 0.16 | 0 | 1 |
| caqe_2017_v2 | 2.26 | 1.13 | 1.08 | 1.13 | 0 | 1 |
| caqe_2017_v3 | 2.27 | 1.14 | 1.08 | 1.14 | 0 | 1 |
| CUED1919_NL | 901.93 | 450.97 | 449.04 | 450.97 | 0 | 0 |
| CUED1919_NNL | 900.58 | 450.29 | 449.71 | 450.29 | 0 | 0 |
| dynQBF-bloqqer-hqspre | 2.18 | 1.09 | 0.18 | 1.09 | 0 | 1 |
| ghostq-cegar | 900.78 | 450.39 | 449.61 | 450.39 | 0 | 0.5 |
| GhostQ-PG_cegar | 900.86 | 450.43 | 449.57 | 450.43 | 0 | 0.5 |
| GhostQ-PG_plain | 961.29 | 480.65 | 419.36 | 480.65 | 0 | 0.5 |
| heretiq | 0.32 | 0.16 | 0.05 | 0.16 | 0 | 1 |
| HQSpre_solver | 1.92 | 0.96 | 0.87 | 0.96 | 0 | 1 |
| ijtihad_v1 | 0.31 | 0.16 | 0.05 | 0.16 | 0 | 1 |
| ijtihad_v2 | 0.31 | 0.16 | 0.05 | 0.16 | 0 | 1 |
| iProver-qbf-2017-07-27-v3 | 908.11 | 454.06 | 445.95 | 454.06 | 0 | 0.5 |
| iProver-qbf-bloqqer-2017-07-27-v3 | 2.17 | 1.09 | 0.15 | 1.09 | 0 | 1 |
| prefix-opt-depqbf | 944.74 | 472.37 | 427.63 | 472.37 | 0 | 0.5 |
| qbfrelay | 2.47 | 1.24 | 0.17 | 1.24 | 0 | 1 |
| qbfrelay-limited-depqbf | 119.03 | 59.52 | 14.83 | 59.52 | 0 | 1 |
| QELL_default | 900.06 | 450.03 | 449.97 | 450.03 | 0 | 0.5 |
| QELL_unit | 900.06 | 450.03 | 449.97 | 450.03 | 0 | 0.5 |
| qesto | 0.29 | 0.15 | 0.05 | 0.15 | 0 | 1 |
| Qute_default | 178.95 | 89.48 | 89.42 | 89.48 | 0 | 1 |
| Qute_opt500 | 900.06 | 450.03 | 449.97 | 450.03 | 0 | 0.5 |
| Qute_random | 900.07 | 450.04 | 449.97 | 450.04 | 0 | 0.5 |
| rareqs | 0.29 | 0.15 | 0.05 | 0.15 | 0 | 1 |
| rev_qfun0.1 | 1.01 | 0.51 | 0.31 | 0.51 | 0 | 1 |
| xb-qsts_bqsts2.0 | 2.19 | 1.1 | 0.18 | 1.1 | 0 | 1 |
| xb-qsts_xbqsts1.0 | 2.09 | 1.05 | 0.18 | 1.05 | 0 | 1 |
| xb-qsts_xbqsts2.0 | 2.14 | 1.07 | 0.19 | 1.07 | 0 | 1 |