QBF Solver Evaluation Portal
qbflib.orgFamily s298 results for solvers
QBFEVAL'17 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 1448.41 | 724.21 | 175.8 | 724.21 | 0 | 0.5 |
| caqe_2017_v1 | 234.5 | 117.25 | 98.73 | 117.25 | 0 | 1 |
| caqe_2017_v2 | 181.17 | 90.59 | 30.13 | 90.59 | 0 | 1 |
| caqe_2017_v3 | 181.66 | 90.83 | 29.93 | 90.83 | 0 | 1 |
| CUED1919_NL | 118.59 | 59.3 | 26.59 | 59.3 | 0 | 0 |
| CUED1919_NNL | 25.32 | 12.66 | 6.14 | 12.66 | 0 | 0 |
| dynQBF-bloqqer-hqspre | 1800 | 900 | 0 | 900 | 0 | 0 |
| ghostq-cegar | 38.13 | 19.07 | 8.94 | 19.07 | 0 | 1 |
| GhostQ-PG_cegar | 16.53 | 8.27 | 3.3 | 8.27 | 0 | 1 |
| GhostQ-PG_plain | 13.36 | 6.68 | 2.73 | 6.68 | 0 | 1 |
| heretiq | 941.77 | 470.89 | 429.12 | 470.89 | 0 | 0.5 |
| HQSpre_solver | 1800 | 900 | 0 | 900 | 0 | 0 |
| ijtihad_v1 | 1800 | 900 | 0 | 900 | 0 | 0 |
| ijtihad_v2 | 1800 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-2017-07-27-v3 | 1800 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-bloqqer-2017-07-27-v3 | 1800 | 900 | 0 | 900 | 0 | 0 |
| prefix-opt-depqbf | 1800 | 900 | 0 | 900 | 0 | 0 |
| qbfrelay | 1784.31 | 892.16 | 3.5 | 892.16 | 0 | 0 |
| qbfrelay-limited-depqbf | 1800 | 900 | 0 | 900 | 0 | 0 |
| QELL_default | 12.68 | 6.34 | 2.37 | 6.34 | 0 | 1 |
| QELL_unit | 9.76 | 4.88 | 4.01 | 4.88 | 0 | 1 |
| qesto | 559.57 | 279.79 | 219.25 | 279.79 | 0 | 1 |
| Qute_default | 601.49 | 300.75 | 241.76 | 300.75 | 0 | 1 |
| Qute_opt500 | 954.33 | 477.17 | 422.84 | 477.17 | 0 | 0.5 |
| Qute_random | 954.68 | 477.34 | 422.66 | 477.34 | 0 | 0.5 |
| rareqs | 187.58 | 93.79 | 78.32 | 93.79 | 0 | 1 |
| rev_qfun0.1 | 55.02 | 27.51 | 15.23 | 27.51 | 0 | 1 |
| xb-qsts_bqsts2.0 | 299.17 | 149.59 | 121.4 | 149.59 | 0 | 1 |
| xb-qsts_xbqsts1.0 | 457.06 | 228.53 | 120.77 | 228.53 | 0 | 1 |
| xb-qsts_xbqsts2.0 | 465.23 | 232.62 | 123.34 | 232.62 | 0 | 1 |