QBF Solver Evaluation Portal
qbflib.orgFamily Model_instances results for solvers
QBFEVAL'17 - Random QBFs Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 39335.88 | 855.13 | 55.27 | 900 | 93.4 | 0 |
| caqe_2017_v1 | 26383.92 | 573.56 | 423.64 | 900 | 884.67 | 0.391 |
| caqe_2017_v2 | 26218.83 | 569.97 | 421.28 | 900 | 885.32 | 0.413 |
| caqe_2017_v3 | 26218.29 | 569.96 | 421.31 | 900 | 885.35 | 0.413 |
| CUED1919_NL | 41400 | 900 | 0 | 900 | 0 | 0 |
| CUED1919_NNL | 41400 | 900 | 0 | 900 | 0 | 0 |
| dynQBF-bloqqer-hqspre | 41400 | 900 | 0 | 900 | 0 | 0 |
| ghostq-cegar | 41364.61 | 899.23 | 5.16 | 900 | 0 | 0.022 |
| GhostQ-PG_cegar | 41361.76 | 899.17 | 5.58 | 900 | 0 | 0.022 |
| GhostQ-PG_plain | 41400 | 900 | 0 | 900 | 0 | 0 |
| heretiq | 37526.65 | 815.8 | 240.22 | 900 | 0 | 0.13 |
| HQSpre_solver | 41400 | 900 | 0 | 900 | 0 | 0 |
| ijtihad_v1 | 41400 | 900 | 0 | 900 | 0 | 0 |
| ijtihad_v2 | 41400 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-2017-07-27-v3 | 41400 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-bloqqer-2017-07-27-v3 | 39483.61 | 858.34 | 171.98 | 900 | 0 | 0.065 |
| prefix-opt-depqbf | 41400 | 900 | 0 | 900 | 0 | 0 |
| qbfrelay | 1287.09 | 27.98 | 25.16 | 21.85 | 26.28 | 0 |
| qbfrelay-limited-depqbf | 38251.79 | 831.56 | 172.67 | 888.3 | 1.92 | 0.13 |
| QELL_default | 41400 | 900 | 0 | 900 | 0 | 0 |
| QELL_unit | 41400 | 900 | 0 | 900 | 0 | 0 |
| qesto | 26573.27 | 577.68 | 376.91 | 900 | 779.3 | 0.457 |
| Qute_default | 22296.47 | 484.71 | 435.07 | 900 | 888.46 | 0.478 |
| Qute_opt500 | 23479.05 | 510.41 | 430.34 | 900 | 894.3 | 0.457 |
| Qute_random | 23485.43 | 510.55 | 430.27 | 900 | 894.33 | 0.457 |
| rareqs | 23858.68 | 518.67 | 418.99 | 900 | 872.92 | 0.478 |
| rev_qfun0.1 | 41400 | 900 | 0 | 900 | 0 | 0 |
| xb-qsts_bqsts2.0 | 29092.35 | 632.44 | 354.73 | 900 | 709.6 | 0.413 |
| xb-qsts_xbqsts1.0 | 29092.22 | 632.44 | 354.59 | 900 | 710.79 | 0.413 |
| xb-qsts_xbqsts2.0 | 29087.82 | 632.34 | 354.69 | 900 | 709.45 | 0.413 |