QBF Solver Evaluation Portal
qbflib.orgFamily HardwareFixpoint results for solvers
QBFEVAL'17 - Prenex 2QBF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| ASPQ2 | 28515.59 | 331.58 | 355.01 | 3.15 | 701.57 | 0.535 |
| CADET_2017 | 15051.74 | 175.02 | 343.05 | 0.2 | 12.05 | 0.837 |
| caqe_2017_v1 | 35191.46 | 409.2 | 447.13 | 3.09 | 899.83 | 0.547 |
| caqe_2017_v2 | 23864.63 | 277.5 | 410.05 | 4.46 | 899.51 | 0.698 |
| caqe_2017_v3 | 23863.7 | 277.48 | 410.05 | 4.32 | 899.49 | 0.698 |
| CUED1919_NL | 62106.24 | 722.17 | 309.49 | 900 | 479.33 | 0.093 |
| CUED1919_NNL | 67587.67 | 785.9 | 285.51 | 900 | 0 | 0.093 |
| dynQBF-bloqqer-hqspre | 24049.27 | 279.64 | 402.75 | 3.95 | 899.48 | 0.709 |
| DynQBF-bloqqer-hqspre-it | 26601.03 | 309.31 | 421.87 | 3.87 | 899.44 | 0.663 |
| DynQBF-bloqqer-variant | 24962.15 | 290.26 | 404.06 | 3.98 | 899.47 | 0.698 |
| ghostq-cegar | 68976.32 | 802.05 | 260.11 | 900 | 0 | 0.07 |
| GhostQ-PG_cegar | 19382.14 | 225.37 | 374.33 | 4.32 | 252.37 | 0.721 |
| GhostQ-PG_plain | 19474.59 | 226.45 | 374.02 | 3.62 | 250.59 | 0.721 |
| heretiq | 35418.91 | 411.85 | 445.5 | 3.09 | 899.83 | 0.547 |
| ijtihad_v1 | 36160.34 | 420.47 | 447.39 | 3.08 | 899.8 | 0.535 |
| ijtihad_v2 | 36151.7 | 420.37 | 447.46 | 3.08 | 899.83 | 0.535 |
| iProver-qbf-2017-07-27-v3 | 67582.59 | 785.84 | 278.26 | 900 | 0 | 0.105 |
| iProver-qbf-bloqqer-2017-07-27-v3 | 32197.6 | 374.39 | 439.82 | 3.91 | 899.44 | 0.581 |
| no-prefix-opt-depqbf | 62061.21 | 721.64 | 343.81 | 900 | 0 | 0.198 |
| qbfrelay | 14468.93 | 168.24 | 306.77 | 4.11 | 143.95 | 0.651 |
| qbfrelay-limited-depqbf | 29243.81 | 340.04 | 394.69 | 77.07 | 815.69 | 0.663 |
| QELL_default | 45021.16 | 523.5 | 443.71 | 900 | 899.9 | 0.419 |
| QELL_unit | 45021.13 | 523.5 | 443.71 | 900 | 899.9 | 0.419 |
| qesto | 35265.84 | 410.07 | 446.42 | 3.14 | 899.83 | 0.547 |
| rareqs | 33621.37 | 390.95 | 442.96 | 2.73 | 899.83 | 0.57 |
| rev_qfun0.1 | 37361.99 | 434.44 | 438.58 | 257.26 | 899.83 | 0.477 |
| xb-qsts_bqsts2.0 | 29788.9 | 346.38 | 436.85 | 2.97 | 899.46 | 0.616 |
| xb-qsts_xbqsts1.0 | 29791.08 | 346.41 | 436.83 | 3.26 | 899.46 | 0.616 |
| xb-qsts_xbqsts2.0 | 29791.66 | 346.41 | 436.83 | 3.21 | 899.44 | 0.616 |