QBF Solver Evaluation Portal
qbflib.orgSuite Rabe results for solvers
QBFEVAL'17 - Prenex 2QBF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| ASPQ2 | 4929.54 | 547.73 | 286.5 | 700.76 | 344.65 | 0.222 |
| CADET_2017 | 6300.3 | 700.03 | 374.1 | 900 | 449.93 | 0.222 |
| caqe_2017_v1 | 6792.42 | 754.71 | 271.81 | 900 | 326.22 | 0.222 |
| caqe_2017_v2 | 3746.59 | 416.29 | 340.13 | 541.76 | 542.42 | 0.778 |
| caqe_2017_v3 | 3746.8 | 416.31 | 341.41 | 542.9 | 549.4 | 0.778 |
| CUED1919_NL | 6323.49 | 702.61 | 369.28 | 900 | 444.1 | 0.222 |
| CUED1919_NNL | 6319.67 | 702.19 | 370.08 | 900 | 445.08 | 0.222 |
| dynQBF-bloqqer-hqspre | 8100 | 900 | 0 | 900 | 0 | 0 |
| DynQBF-bloqqer-hqspre-it | 8100 | 900 | 0 | 900 | 0 | 0 |
| DynQBF-bloqqer-variant | 8100 | 900 | 0 | 900 | 0 | 0 |
| ghostq-cegar | 6407.13 | 711.9 | 351.9 | 900 | 423.19 | 0.222 |
| GhostQ-PG_cegar | 8100 | 900 | 0 | 900 | 0 | 0 |
| GhostQ-PG_plain | 8100 | 900 | 0 | 900 | 0 | 0 |
| heretiq | 7759.09 | 862.12 | 107.14 | 900 | 0 | 0.111 |
| 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 |
| no-prefix-opt-depqbf | 8100 | 900 | 0 | 900 | 0 | 0 |
| qbfrelay | 316.05 | 35.12 | 8.91 | 33.68 | 12.14 | 0 |
| qbfrelay-limited-depqbf | 7993.98 | 888.22 | 1.1 | 887.9 | 0.8 | 0 |
| QELL_default | 8100 | 900 | 0 | 900 | 0 | 0 |
| QELL_unit | 8100 | 900 | 0 | 900 | 0 | 0 |
| qesto | 8100 | 900 | 0 | 900 | 0 | 0 |
| rareqs | 4550.79 | 505.64 | 371.17 | 320.45 | 743.02 | 0.556 |
| rev_qfun0.1 | 5964.74 | 662.75 | 345.65 | 900 | 660.85 | 0.333 |
| xb-qsts_bqsts2.0 | 2858.03 | 317.56 | 412.09 | 36.91 | 451.92 | 0.667 |
| xb-qsts_xbqsts1.0 | 4749.7 | 527.74 | 419.51 | 900 | 873.94 | 0.444 |
| xb-qsts_xbqsts2.0 | 4749.88 | 527.76 | 419.5 | 900 | 874.03 | 0.444 |