QBF Solver Evaluation Portal
qbflib.orgFamily trafficlight-controller results for solvers
QBFEVAL'17 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 56.74 | 5.67 | 7.27 | 3.23 | 6.87 | 1 |
| caqe_2017_v1 | 39.13 | 3.91 | 4.92 | 1.52 | 2.89 | 1 |
| caqe_2017_v2 | 45.75 | 4.58 | 9.53 | 1.18 | 2.18 | 1 |
| caqe_2017_v3 | 67.12 | 6.71 | 9.96 | 1.56 | 2.94 | 1 |
| CUED1919_NL | 194.25 | 19.43 | 17.72 | 19.09 | 28.69 | 0 |
| CUED1919_NNL | 190.06 | 19.01 | 17.34 | 19.05 | 27.6 | 0 |
| dynQBF-bloqqer-hqspre | 156.34 | 15.63 | 15.16 | 12.1 | 21.64 | 1 |
| ghostq-cegar | 60.85 | 6.09 | 4.09 | 6.6 | 6.8 | 0.9 |
| GhostQ-PG_cegar | 186.77 | 18.68 | 31.69 | 10.35 | 11.9 | 1 |
| GhostQ-PG_plain | 183.6 | 18.36 | 31.46 | 10.03 | 11.57 | 1 |
| heretiq | 19.83 | 1.98 | 2.19 | 1.05 | 1.43 | 1 |
| HQSpre_solver | 46.73 | 4.67 | 5.59 | 3.1 | 5.19 | 1 |
| ijtihad_v1 | 19.58 | 1.96 | 2.14 | 1.05 | 1.43 | 1 |
| ijtihad_v2 | 19.68 | 1.97 | 2.16 | 1.04 | 1.42 | 1 |
| iProver-qbf-2017-07-27-v3 | 868.19 | 86.82 | 107.68 | 17.57 | 128.88 | 1 |
| iProver-qbf-bloqqer-2017-07-27-v3 | 438.42 | 43.84 | 56.13 | 13.51 | 17.7 | 1 |
| prefix-opt-depqbf | 193.58 | 19.36 | 47.62 | 0.68 | 3.5 | 1 |
| qbfrelay | 159.62 | 15.96 | 15.07 | 12.94 | 19.97 | 1 |
| qbfrelay-limited-depqbf | 132.49 | 13.25 | 28.75 | 0.92 | 3.46 | 1 |
| QELL_default | 943.07 | 94.31 | 268.74 | 1.39 | 2.75 | 0.9 |
| QELL_unit | 52.69 | 5.27 | 9.23 | 1.42 | 3.12 | 1 |
| qesto | 1946.82 | 194.68 | 353.4 | 16.38 | 35.03 | 0.8 |
| Qute_default | 44.55 | 4.46 | 9.11 | 1.23 | 2.21 | 1 |
| Qute_opt500 | 44.69 | 4.47 | 9.13 | 1.24 | 2.22 | 1 |
| Qute_random | 44.53 | 4.45 | 9.1 | 1.23 | 2.22 | 1 |
| rareqs | 13.01 | 1.3 | 1.47 | 0.85 | 1.48 | 1 |
| rev_qfun0.1 | 59.5 | 5.95 | 4.49 | 4.8 | 8.05 | 0.7 |
| xb-qsts_bqsts2.0 | 154.57 | 15.46 | 15.11 | 12.8 | 17.3 | 1 |
| xb-qsts_xbqsts1.0 | 162.39 | 16.24 | 15.76 | 12.8 | 18.49 | 1 |
| xb-qsts_xbqsts2.0 | 163.83 | 16.38 | 16.09 | 12.84 | 18.56 | 1 |