QBF Solver Evaluation Portal
qbflib.orgFamily Q_2_3 results for solvers
QBFEVAL'17 - Random QBFs Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 39345.54 | 837.14 | 81.25 | 890.54 | 133.2 | 0 |
| caqe_2017_v1 | 37174.47 | 790.95 | 285.66 | 900 | 0 | 0.128 |
| caqe_2017_v2 | 36072.96 | 767.51 | 316.77 | 900 | 0 | 0.149 |
| caqe_2017_v3 | 36073.33 | 767.52 | 316.75 | 900 | 0 | 0.149 |
| CUED1919_NL | 42300 | 900 | 0 | 900 | 0 | 0 |
| CUED1919_NNL | 42300 | 900 | 0 | 900 | 0 | 0 |
| dynQBF-bloqqer-hqspre | 42300 | 900 | 0 | 900 | 0 | 0 |
| ghostq-cegar | 42175.38 | 897.35 | 17.98 | 900 | 0 | 0.021 |
| GhostQ-PG_cegar | 42148.74 | 896.78 | 21.83 | 900 | 0 | 0.021 |
| GhostQ-PG_plain | 42300 | 900 | 0 | 900 | 0 | 0 |
| heretiq | 31248.79 | 664.87 | 381.52 | 900 | 795.3 | 0.277 |
| HQSpre_solver | 41400.01 | 880.85 | 129.87 | 900 | 0 | 0.021 |
| ijtihad_v1 | 37007.59 | 787.4 | 294.55 | 900 | 0 | 0.128 |
| ijtihad_v2 | 38057.51 | 809.73 | 253.59 | 900 | 0 | 0.128 |
| iProver-qbf-2017-07-27-v3 | 42300 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-bloqqer-2017-07-27-v3 | 42300 | 900 | 0 | 900 | 0 | 0 |
| prefix-opt-depqbf | 31128.42 | 662.31 | 387.93 | 900 | 866.74 | 0.277 |
| qbfrelay | 166.64 | 3.55 | 0.65 | 3.56 | 0.4 | 0.021 |
| qbfrelay-limited-depqbf | 31282.97 | 665.6 | 381.61 | 888.51 | 827.68 | 0.255 |
| QELL_default | 35743.08 | 760.49 | 319.37 | 900 | 0 | 0.17 |
| QELL_unit | 36022.61 | 766.44 | 319.28 | 900 | 0 | 0.149 |
| qesto | 42300 | 900 | 0 | 900 | 0 | 0 |
| Qute_default | 32706.69 | 695.89 | 370.84 | 900 | 649.78 | 0.234 |
| Qute_opt500 | 36094.88 | 767.98 | 315.67 | 900 | 0 | 0.149 |
| Qute_random | 36095.15 | 767.98 | 315.66 | 900 | 0 | 0.149 |
| rareqs | 37008.14 | 787.41 | 294.56 | 900 | 0 | 0.128 |
| rev_qfun0.1 | 42300 | 900 | 0 | 900 | 0 | 0 |
| xb-qsts_bqsts2.0 | 42300 | 900 | 0 | 900 | 0 | 0 |
| xb-qsts_xbqsts1.0 | 42300 | 900 | 0 | 900 | 0 | 0 |
| xb-qsts_xbqsts2.0 | 42300 | 900 | 0 | 900 | 0 | 0 |