Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ASPQ2 | 20893.08 | 254.79 | 310.67 | 41.59 | 699.48 | 0.707 |
CADET_2017 | 59619.19 | 727.06 | 345.78 | 900 | 0 | 0.207 |
caqe_2017_v1 | 27598.02 | 336.56 | 391.23 | 71.6 | 898.86 | 0.732 |
caqe_2017_v2 | 41263.29 | 503.21 | 419.97 | 831.66 | 883.23 | 0.512 |
caqe_2017_v3 | 41268.38 | 503.27 | 419.93 | 830.06 | 883.18 | 0.512 |
CUED1919_NL | 33532.37 | 408.93 | 376.04 | 357 | 877.18 | 0.488 |
CUED1919_NNL | 42988.22 | 524.25 | 418.77 | 900 | 893.98 | 0.476 |
dynQBF-bloqqer-hqspre | 66111.7 | 806.24 | 268.49 | 900 | 0 | 0.11 |
DynQBF-bloqqer-hqspre-it | 66279.59 | 808.29 | 261.64 | 900 | 0 | 0.122 |
DynQBF-bloqqer-variant | 66177.15 | 807.04 | 267.07 | 900 | 0 | 0.11 |
ghostq-cegar | 65558.73 | 799.5 | 274.98 | 900 | 0 | 0.122 |
GhostQ-PG_cegar | 16253.42 | 198.21 | 336.99 | 5.41 | 190.03 | 0.829 |
GhostQ-PG_plain | 44122.6 | 538.08 | 414.85 | 900 | 892.47 | 0.476 |
heretiq | 53202.78 | 648.81 | 387.6 | 900 | 848.84 | 0.305 |
ijtihad_v1 | 67507.08 | 823.26 | 251.2 | 900 | 0 | 0.085 |
ijtihad_v2 | 66399.84 | 809.75 | 266.49 | 900 | 0 | 0.122 |
iProver-qbf-2017-07-27-v3 | 71597.75 | 873.14 | 140.61 | 900 | 0 | 0.037 |
iProver-qbf-bloqqer-2017-07-27-v3 | 68400.45 | 834.15 | 234.36 | 900 | 0 | 0.073 |
no-prefix-opt-depqbf | 57807.39 | 704.97 | 359.21 | 900 | 90.95 | 0.244 |
qbfrelay | 6112.84 | 74.55 | 142.1 | 12.38 | 28.19 | 0.085 |
qbfrelay-limited-depqbf | 56333.97 | 687 | 356.22 | 888.21 | 493.15 | 0.256 |
QELL_default | 43246.9 | 527.4 | 421.56 | 900 | 884.16 | 0.451 |
QELL_unit | 42812.63 | 522.11 | 420.47 | 900 | 888.66 | 0.476 |
qesto | 29456.26 | 359.22 | 403.27 | 94.01 | 896.74 | 0.671 |
rareqs | 20238.43 | 246.81 | 356.34 | 32.3 | 299.76 | 0.793 |
rev_qfun0.1 | 65597 | 799.96 | 271.71 | 900 | 0 | 0.122 |
xb-qsts_bqsts2.0 | 34350.36 | 418.91 | 396.11 | 292.03 | 891.66 | 0.646 |
xb-qsts_xbqsts1.0 | 34429.21 | 419.87 | 395.68 | 295.14 | 891.2 | 0.646 |
xb-qsts_xbqsts2.0 | 34425.27 | 419.82 | 395.54 | 294.87 | 891.25 | 0.646 |