QBF Solver Evaluation Portal
qbflib.orgFamily toy results for solvers
QBFEVAL'17 - Prenex 2QBF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| ASPQ2 | 195.21 | 48.8 | 84.35 | 0.15 | 97.45 | 1 |
| CADET_2017 | 18.7 | 4.68 | 3.06 | 5.54 | 5.48 | 1 |
| caqe_2017_v1 | 341.05 | 85.26 | 147.51 | 0.15 | 170.38 | 1 |
| caqe_2017_v2 | 1233.12 | 308.28 | 366.38 | 165.09 | 610.67 | 0.75 |
| caqe_2017_v3 | 1238.86 | 309.72 | 366.46 | 167.96 | 613.52 | 0.75 |
| CUED1919_NL | 2471.24 | 617.81 | 282.2 | 619.52 | 564.38 | 0 |
| CUED1919_NNL | 3600 | 900 | 0 | 900 | 0 | 0 |
| dynQBF-bloqqer-hqspre | 17.67 | 4.42 | 4.9 | 2.42 | 6.33 | 1 |
| DynQBF-bloqqer-hqspre-it | 17.58 | 4.4 | 4.86 | 2.43 | 6.34 | 1 |
| DynQBF-bloqqer-variant | 904.89 | 226.22 | 389.01 | 2.4 | 449.96 | 0.75 |
| ghostq-cegar | 3600 | 900 | 0 | 900 | 0 | 0 |
| GhostQ-PG_cegar | 3600 | 900 | 0 | 900 | 0 | 0 |
| GhostQ-PG_plain | 3600 | 900 | 0 | 900 | 0 | 0 |
| heretiq | 92.75 | 23.19 | 39.98 | 0.15 | 46.22 | 1 |
| ijtihad_v1 | 900.3 | 225.08 | 389.67 | 0.15 | 450 | 0.75 |
| ijtihad_v2 | 900.3 | 225.08 | 389.67 | 0.15 | 450 | 0.75 |
| iProver-qbf-2017-07-27-v3 | 3600 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-bloqqer-2017-07-27-v3 | 904.89 | 226.22 | 389.01 | 2.4 | 449.96 | 0.75 |
| no-prefix-opt-depqbf | 2874.76 | 718.69 | 314.04 | 900 | 362.62 | 0.25 |
| qbfrelay | 127.21 | 31.8 | 51.93 | 2.64 | 60.84 | 1 |
| qbfrelay-limited-depqbf | 368.98 | 92.25 | 30.24 | 75.97 | 36.12 | 1 |
| QELL_default | 3600 | 900 | 0 | 900 | 0 | 0 |
| QELL_unit | 3600 | 900 | 0 | 900 | 0 | 0 |
| qesto | 342 | 85.5 | 147.92 | 0.15 | 170.85 | 1 |
| rareqs | 145.1 | 36.28 | 62.65 | 0.15 | 72.4 | 1 |
| rev_qfun0.1 | 900.3 | 225.08 | 389.67 | 0.15 | 450 | 0.75 |
| xb-qsts_bqsts2.0 | 33.38 | 8.35 | 11.7 | 2.38 | 14.24 | 1 |
| xb-qsts_xbqsts1.0 | 33.63 | 8.41 | 11.79 | 2.4 | 14.35 | 1 |
| xb-qsts_xbqsts2.0 | 33.47 | 8.37 | 11.7 | 2.41 | 14.27 | 1 |