QBF Solver Evaluation Portal
qbflib.orgFamily genbuf results for solvers
QBFEVAL'17 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 1793.04 | 448.26 | 291.54 | 401.64 | 444.15 | 0.75 |
| caqe_2017_v1 | 1922.05 | 480.51 | 419.59 | 487.22 | 838.98 | 0.5 |
| caqe_2017_v2 | 1848.94 | 462.24 | 437.77 | 463.63 | 875.53 | 0.5 |
| caqe_2017_v3 | 1848.88 | 462.22 | 437.78 | 463.52 | 875.56 | 0.5 |
| CUED1919_NL | 787.92 | 196.98 | 178.08 | 181.55 | 352.96 | 0 |
| CUED1919_NNL | 1813.2 | 453.3 | 446.7 | 453.8 | 893.4 | 0 |
| dynQBF-bloqqer-hqspre | 3600 | 900 | 0 | 900 | 0 | 0 |
| ghostq-cegar | 2545.46 | 636.37 | 264.49 | 651.4 | 527.27 | 0.5 |
| GhostQ-PG_cegar | 2552.13 | 638.03 | 263.32 | 656.86 | 523.94 | 0.5 |
| GhostQ-PG_plain | 3600 | 900 | 0 | 900 | 0 | 0 |
| heretiq | 3600 | 900 | 0 | 900 | 0 | 0 |
| HQSpre_solver | 3600 | 900 | 0 | 900 | 0 | 0 |
| ijtihad_v1 | 3304.95 | 826.24 | 120.03 | 893.19 | 147.53 | 0.5 |
| ijtihad_v2 | 3198.35 | 799.59 | 118.47 | 844.04 | 200.83 | 0.5 |
| iProver-qbf-2017-07-27-v3 | 3600 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-bloqqer-2017-07-27-v3 | 3600 | 900 | 0 | 900 | 0 | 0 |
| prefix-opt-depqbf | 3600 | 900 | 0 | 900 | 0 | 0 |
| qbfrelay | 2168.02 | 542.01 | 352.11 | 544.98 | 704.14 | 0 |
| qbfrelay-limited-depqbf | 3561.77 | 890.44 | 2.02 | 890.05 | 3.79 | 0 |
| QELL_default | 3600 | 900 | 0 | 900 | 0 | 0 |
| QELL_unit | 3600 | 900 | 0 | 900 | 0 | 0 |
| qesto | 3600 | 900 | 0 | 900 | 0 | 0 |
| Qute_default | 3600 | 900 | 0 | 900 | 0 | 0 |
| Qute_opt500 | 3600 | 900 | 0 | 900 | 0 | 0 |
| Qute_random | 3600 | 900 | 0 | 900 | 0 | 0 |
| rareqs | 1900.99 | 475.25 | 424.92 | 483.76 | 849.51 | 0.5 |
| rev_qfun0.1 | 2221.67 | 555.42 | 345.7 | 575.08 | 689.17 | 0.5 |
| xb-qsts_bqsts2.0 | 3600 | 900 | 0 | 900 | 0 | 0 |
| xb-qsts_xbqsts1.0 | 3600 | 900 | 0 | 900 | 0 | 0 |
| xb-qsts_xbqsts2.0 | 3600 | 900 | 0 | 900 | 0 | 0 |