QBF Solver Evaluation Portal
qbflib.orgFamily amba results for solvers
QBFEVAL'17 - Prenex 2QBF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| ASPQ2 | 2189.46 | 547.37 | 266.15 | 700.89 | 307.75 | 0.25 |
| CADET_2017 | 3600 | 900 | 0 | 900 | 0 | 0 |
| caqe_2017_v1 | 2180.19 | 545.05 | 376.85 | 634.55 | 709.91 | 0.5 |
| caqe_2017_v2 | 2729.16 | 682.29 | 377.08 | 900 | 435.42 | 0.25 |
| caqe_2017_v3 | 2729.38 | 682.35 | 376.99 | 900 | 435.31 | 0.25 |
| CUED1919_NL | 1893.48 | 473.37 | 246.39 | 335.97 | 291.62 | 0 |
| CUED1919_NNL | 3600 | 900 | 0 | 900 | 0 | 0 |
| dynQBF-bloqqer-hqspre | 3600 | 900 | 0 | 900 | 0 | 0 |
| DynQBF-bloqqer-hqspre-it | 3600 | 900 | 0 | 900 | 0 | 0 |
| DynQBF-bloqqer-variant | 3600 | 900 | 0 | 900 | 0 | 0 |
| 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 | 2379.36 | 594.84 | 349.47 | 715.28 | 610.32 | 0.5 |
| ijtihad_v1 | 3109.58 | 777.4 | 212.36 | 900 | 245.21 | 0.25 |
| ijtihad_v2 | 3080.57 | 770.14 | 224.92 | 900 | 259.72 | 0.25 |
| iProver-qbf-2017-07-27-v3 | 3600 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-bloqqer-2017-07-27-v3 | 3600 | 900 | 0 | 900 | 0 | 0 |
| no-prefix-opt-depqbf | 3600 | 900 | 0 | 900 | 0 | 0 |
| qbfrelay | 939.63 | 234.91 | 192.27 | 200.97 | 361.17 | 0 |
| qbfrelay-limited-depqbf | 2262.89 | 565.72 | 340.54 | 638.64 | 648.88 | 0.5 |
| QELL_default | 3600 | 900 | 0 | 900 | 0 | 0 |
| QELL_unit | 3600 | 900 | 0 | 900 | 0 | 0 |
| qesto | 2416.91 | 604.23 | 332.75 | 712.02 | 591.55 | 0.5 |
| rareqs | 2011.46 | 502.87 | 400.6 | 540.05 | 794.27 | 0.5 |
| rev_qfun0.1 | 3549.02 | 887.26 | 22.07 | 900 | 25.49 | 0.25 |
| xb-qsts_bqsts2.0 | 1960.66 | 490.17 | 412.59 | 523.82 | 819.67 | 0.5 |
| xb-qsts_xbqsts1.0 | 1963.39 | 490.85 | 411.99 | 524.98 | 818.31 | 0.5 |
| xb-qsts_xbqsts2.0 | 1964.33 | 491.08 | 411.79 | 525.42 | 817.84 | 0.5 |