Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ASPQ2 | 5847.62 | 224.91 | 273.88 | 48.17 | 356.16 | 0.808 |
CADET_2017 | 7961.16 | 306.2 | 399.72 | 36.78 | 894.36 | 0.692 |
caqe_2017_v1 | 6723.39 | 258.59 | 345.62 | 38.73 | 321.52 | 0.846 |
caqe_2017_v2 | 5822.22 | 223.93 | 326.54 | 32.57 | 166.17 | 0.846 |
caqe_2017_v3 | 5823.53 | 223.98 | 326.63 | 32.47 | 166.67 | 0.846 |
CUED1919_NL | 10458.76 | 402.26 | 386.15 | 216.19 | 883.17 | 0.692 |
CUED1919_NNL | 11587.3 | 445.67 | 404.63 | 350.14 | 882.2 | 0.615 |
dynQBF-bloqqer-hqspre | 23400 | 900 | 0 | 900 | 0 | 0 |
DynQBF-bloqqer-hqspre-it | 23400 | 900 | 0 | 900 | 0 | 0 |
DynQBF-bloqqer-variant | 23400 | 900 | 0 | 900 | 0 | 0 |
ghostq-cegar | 23400 | 900 | 0 | 900 | 0 | 0 |
GhostQ-PG_cegar | 20752.7 | 798.18 | 233.83 | 900 | 0 | 0.192 |
GhostQ-PG_plain | 15899.01 | 611.5 | 386.27 | 900 | 807.91 | 0.385 |
heretiq | 4710.47 | 181.17 | 307.73 | 43.65 | 62.81 | 0.846 |
ijtihad_v1 | 14072.94 | 541.27 | 391.74 | 826.53 | 853.55 | 0.5 |
ijtihad_v2 | 13835.11 | 532.12 | 402.11 | 892.57 | 862.33 | 0.5 |
iProver-qbf-2017-07-27-v3 | 23198.87 | 892.26 | 27.52 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 23218.8 | 893.03 | 34.85 | 900 | 0 | 0 |
no-prefix-opt-depqbf | 21469.46 | 825.75 | 203.28 | 900 | 0 | 0.154 |
qbfrelay | 13477.38 | 518.36 | 340.76 | 588.23 | 774.8 | 0 |
qbfrelay-limited-depqbf | 12957.88 | 498.38 | 312.67 | 435.04 | 681.72 | 0.654 |
QELL_default | 12963.78 | 498.61 | 385.81 | 540.43 | 873.58 | 0.577 |
QELL_unit | 12955.44 | 498.29 | 378.39 | 498.95 | 841.57 | 0.577 |
qesto | 11158.25 | 429.16 | 428.65 | 143.52 | 892.02 | 0.577 |
rareqs | 8209.51 | 315.75 | 400.89 | 26.1 | 897.03 | 0.692 |
rev_qfun0.1 | 9324.29 | 358.63 | 402.05 | 102.17 | 889.32 | 0.654 |
xb-qsts_bqsts2.0 | 4069.9 | 156.53 | 317.7 | 17.72 | 38.77 | 0.846 |
xb-qsts_xbqsts1.0 | 4548.85 | 174.96 | 311.24 | 52.41 | 77.08 | 0.846 |
xb-qsts_xbqsts2.0 | 4547.22 | 174.89 | 311.25 | 52.67 | 76.88 | 0.846 |