QBF Solver Evaluation Portal
qbflib.orgFamily C499 results for solvers
QBFEVAL'17 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 33.27 | 11.09 | 6.27 | 9.67 | 5.45 | 1 |
| caqe_2017_v1 | 2655.68 | 885.23 | 20.89 | 900 | 44.32 | 0.333 |
| caqe_2017_v2 | 1558.29 | 519.43 | 163.11 | 627.76 | 338.86 | 1 |
| caqe_2017_v3 | 2128.32 | 709.44 | 135.04 | 625.01 | 21.7 | 0.667 |
| CUED1919_NL | 0.16 | 0.05 | 0.01 | 0.05 | 0 | 0 |
| CUED1919_NNL | 0.12 | 0.04 | 0 | 0.04 | 0 | 0 |
| dynQBF-bloqqer-hqspre | 325.71 | 108.57 | 96.33 | 73.63 | 61.62 | 1 |
| ghostq-cegar | 2700 | 900 | 0 | 900 | 0 | 0 |
| GhostQ-PG_cegar | 2700 | 900 | 0 | 900 | 0 | 0 |
| GhostQ-PG_plain | 1827.64 | 609.21 | 411.23 | 900 | 872.36 | 0.333 |
| heretiq | 2700 | 900 | 0 | 900 | 0 | 0 |
| HQSpre_solver | 2700 | 900 | 0 | 900 | 0 | 0 |
| ijtihad_v1 | 2700 | 900 | 0 | 900 | 0 | 0 |
| ijtihad_v2 | 2700 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-2017-07-27-v3 | 2700 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-bloqqer-2017-07-27-v3 | 2700 | 900 | 0 | 900 | 0 | 0 |
| prefix-opt-depqbf | 2141.79 | 713.93 | 263.14 | 900 | 558.21 | 0.333 |
| qbfrelay | 2465.12 | 821.71 | 96.75 | 879.73 | 194.34 | 0 |
| qbfrelay-limited-depqbf | 2102.84 | 700.95 | 270.35 | 891.01 | 572.4 | 0.333 |
| QELL_default | 1085.59 | 361.86 | 380.52 | 94.65 | 3.71 | 0.667 |
| QELL_unit | 1097.2 | 365.73 | 378.25 | 121.53 | 45.86 | 0.667 |
| qesto | 2700 | 900 | 0 | 900 | 0 | 0 |
| Qute_default | 2542.91 | 847.64 | 74.05 | 900 | 157.09 | 0.333 |
| Qute_opt500 | 1899.83 | 633.28 | 377.2 | 900 | 800.17 | 0.333 |
| Qute_random | 1900.5 | 633.5 | 376.89 | 900 | 799.5 | 0.333 |
| rareqs | 2700 | 900 | 0 | 900 | 0 | 0 |
| rev_qfun0.1 | 902.36 | 300.79 | 423.71 | 1.24 | 0.12 | 0.667 |
| xb-qsts_bqsts2.0 | 2700 | 900 | 0 | 900 | 0 | 0 |
| xb-qsts_xbqsts1.0 | 2700 | 900 | 0 | 900 | 0 | 0 |
| xb-qsts_xbqsts2.0 | 2700 | 900 | 0 | 900 | 0 | 0 |