Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ASPQ2 | 2154.77 | 538.69 | 301.63 | 709.3 | 357.62 | 0.25 |
CADET_2017 | 3600 | 900 | 0 | 900 | 0 | 0 |
caqe_2017_v1 | 2720.7 | 680.18 | 380.75 | 900 | 439.65 | 0.25 |
caqe_2017_v2 | 3600 | 900 | 0 | 900 | 0 | 0 |
caqe_2017_v3 | 3600 | 900 | 0 | 900 | 0 | 0 |
CUED1919_NL | 1688.56 | 422.14 | 82.75 | 392.8 | 114.64 | 0 |
CUED1919_NNL | 3600 | 900 | 0 | 900 | 0 | 0 |
dynQBF-bloqqer-hqspre | 2746.86 | 686.72 | 369.42 | 900 | 426.57 | 0.25 |
DynQBF-bloqqer-hqspre-it | 2746.86 | 686.72 | 369.42 | 900 | 426.57 | 0.25 |
DynQBF-bloqqer-variant | 2817.34 | 704.34 | 338.9 | 900 | 391.33 | 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 | 3600 | 900 | 0 | 900 | 0 | 0 |
ijtihad_v1 | 3367.47 | 841.87 | 100.69 | 900 | 116.27 | 0.25 |
ijtihad_v2 | 3355.9 | 838.98 | 105.7 | 900 | 122.05 | 0.25 |
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 |
no-prefix-opt-depqbf | 3600 | 900 | 0 | 900 | 0 | 0 |
qbfrelay | 2234.32 | 558.58 | 365.37 | 660.13 | 666.92 | 0.25 |
qbfrelay-limited-depqbf | 2775.95 | 693.99 | 344.35 | 889.17 | 404.24 | 0.25 |
QELL_default | 3600 | 900 | 0 | 900 | 0 | 0 |
QELL_unit | 3600 | 900 | 0 | 900 | 0 | 0 |
qesto | 2728.83 | 682.21 | 377.23 | 900 | 435.59 | 0.25 |
rareqs | 2710.45 | 677.61 | 385.19 | 900 | 444.78 | 0.25 |
rev_qfun0.1 | 3600 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_bqsts2.0 | 2711.98 | 678 | 384.52 | 900 | 444.01 | 0.25 |
xb-qsts_xbqsts1.0 | 2716.29 | 679.07 | 382.66 | 900 | 441.86 | 0.25 |
xb-qsts_xbqsts2.0 | 2716.27 | 679.07 | 382.67 | 900 | 441.87 | 0.25 |