Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ASPQ2 | 5877.09 | 293.85 | 313.74 | 135.95 | 695.3 | 0.65 |
CADET_2017 | 18000 | 900 | 0 | 900 | 0 | 0 |
caqe_2017_v1 | 13456.32 | 672.82 | 358.43 | 900 | 578.9 | 0.3 |
caqe_2017_v2 | 12014.31 | 600.72 | 408.82 | 900 | 834.81 | 0.35 |
caqe_2017_v3 | 12011.4 | 600.57 | 408.98 | 900 | 834.64 | 0.35 |
CUED1919_NL | 18000 | 900 | 0 | 900 | 0 | 0 |
CUED1919_NNL | 18000 | 900 | 0 | 900 | 0 | 0 |
dynQBF-bloqqer-hqspre | 16213.37 | 810.67 | 267.99 | 900 | 0 | 0.1 |
DynQBF-bloqqer-hqspre-it | 16213.65 | 810.68 | 267.95 | 900 | 0 | 0.1 |
DynQBF-bloqqer-variant | 18000 | 900 | 0 | 900 | 0 | 0 |
ghostq-cegar | 17917.14 | 895.86 | 18.06 | 900 | 0 | 0.05 |
GhostQ-PG_cegar | 17978.17 | 898.91 | 4.76 | 900 | 0 | 0.05 |
GhostQ-PG_plain | 18000 | 900 | 0 | 900 | 0 | 0 |
heretiq | 18000 | 900 | 0 | 900 | 0 | 0 |
ijtihad_v1 | 18000 | 900 | 0 | 900 | 0 | 0 |
ijtihad_v2 | 18000 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-2017-07-27-v3 | 18000 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 16238.78 | 811.94 | 264.18 | 900 | 0 | 0.1 |
no-prefix-opt-depqbf | 18000 | 900 | 0 | 900 | 0 | 0 |
qbfrelay | 529.87 | 26.49 | 22.16 | 17.55 | 26.5 | 0.1 |
qbfrelay-limited-depqbf | 15446.74 | 772.34 | 277.6 | 888.27 | 2.1 | 0.15 |
QELL_default | 18000 | 900 | 0 | 900 | 0 | 0 |
QELL_unit | 18000 | 900 | 0 | 900 | 0 | 0 |
qesto | 17164.81 | 858.24 | 182.03 | 900 | 0 | 0.05 |
rareqs | 14653.93 | 732.7 | 335.68 | 900 | 0 | 0.2 |
rev_qfun0.1 | 18000 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_bqsts2.0 | 17106.35 | 855.32 | 194.77 | 900 | 0 | 0.05 |
xb-qsts_xbqsts1.0 | 17107.77 | 855.39 | 194.46 | 900 | 0 | 0.05 |
xb-qsts_xbqsts2.0 | 17107.69 | 855.38 | 194.47 | 900 | 0 | 0.05 |