Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ASPQ2 | 30.53 | 7.63 | 10.25 | 2.59 | 12.86 | 1 |
CADET_2017 | 3600 | 900 | 0 | 900 | 0 | 0 |
caqe_2017_v1 | 22.59 | 5.65 | 7.69 | 1.81 | 9.77 | 1 |
caqe_2017_v2 | 2692.41 | 673.1 | 387.4 | 895.13 | 453.8 | 0.5 |
caqe_2017_v3 | 2694.25 | 673.56 | 387.65 | 896.05 | 452.88 | 0.5 |
CUED1919_NL | 2466.1 | 616.53 | 283.49 | 618.52 | 566.95 | 0 |
CUED1919_NNL | 3600 | 900 | 0 | 900 | 0 | 0 |
dynQBF-bloqqer-hqspre | 1207.78 | 301.95 | 364.85 | 153.5 | 591.09 | 0.75 |
DynQBF-bloqqer-hqspre-it | 1812.85 | 453.21 | 446.81 | 456.04 | 893.58 | 0.5 |
DynQBF-bloqqer-variant | 2700.75 | 675.19 | 389.39 | 900 | 449.63 | 0.25 |
ghostq-cegar | 3600 | 900 | 0 | 900 | 0 | 0 |
GhostQ-PG_cegar | 3600 | 900 | 0 | 900 | 0 | 0 |
GhostQ-PG_plain | 3600 | 900 | 0 | 900 | 0 | 0 |
heretiq | 87.85 | 21.96 | 33.02 | 4.37 | 41.17 | 1 |
ijtihad_v1 | 58.61 | 14.65 | 20.4 | 4.38 | 26.55 | 1 |
ijtihad_v2 | 53.83 | 13.46 | 19.32 | 3.48 | 24.38 | 1 |
iProver-qbf-2017-07-27-v3 | 3600 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 2700.77 | 675.19 | 389.38 | 900 | 449.62 | 0.25 |
no-prefix-opt-depqbf | 3600 | 900 | 0 | 900 | 0 | 0 |
qbfrelay | 162.13 | 40.53 | 47.56 | 19.9 | 66.63 | 1 |
qbfrelay-limited-depqbf | 1212.11 | 303.03 | 340.2 | 124.52 | 448.46 | 0.75 |
QELL_default | 3600 | 900 | 0 | 900 | 0 | 0 |
QELL_unit | 3600 | 900 | 0 | 900 | 0 | 0 |
qesto | 49.08 | 12.27 | 16.81 | 3.88 | 21.36 | 1 |
rareqs | 24.17 | 6.04 | 8.06 | 2.09 | 9.94 | 1 |
rev_qfun0.1 | 2700.07 | 675.02 | 389.68 | 900 | 449.97 | 0.25 |
xb-qsts_bqsts2.0 | 141.38 | 35.35 | 53.73 | 6.16 | 64.96 | 1 |
xb-qsts_xbqsts1.0 | 176.48 | 44.12 | 53.46 | 20.19 | 73.87 | 1 |
xb-qsts_xbqsts2.0 | 176.65 | 44.16 | 53.57 | 20.17 | 74.08 | 1 |