Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 14793.28 | 821.85 | 156.52 | 900 | 195.86 | 0.222 |
caqe_2017_v1 | 6964.57 | 386.92 | 346.69 | 277.9 | 624.03 | 0.778 |
caqe_2017_v2 | 6954.74 | 386.37 | 346.72 | 208.69 | 548.98 | 0.722 |
caqe_2017_v3 | 6954.25 | 386.35 | 346.87 | 206.52 | 550.05 | 0.722 |
CUED1919_NL | 3359.28 | 186.63 | 184.76 | 91.64 | 202.45 | 0 |
CUED1919_NNL | 1915.57 | 106.42 | 185.99 | 22.17 | 79.76 | 0 |
dynQBF-bloqqer-hqspre | 16200 | 900 | 0 | 900 | 0 | 0 |
ghostq-cegar | 2846.88 | 158.16 | 267.96 | 45.53 | 116.2 | 0.889 |
GhostQ-PG_cegar | 2337.08 | 129.84 | 274.34 | 21.23 | 47.29 | 0.889 |
GhostQ-PG_plain | 2180.34 | 121.13 | 276.37 | 14.27 | 46.19 | 0.889 |
heretiq | 13720.43 | 762.25 | 284.9 | 900 | 252.33 | 0.222 |
HQSpre_solver | 16200 | 900 | 0 | 900 | 0 | 0 |
ijtihad_v1 | 16200 | 900 | 0 | 900 | 0 | 0 |
ijtihad_v2 | 16200 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-2017-07-27-v3 | 15958.59 | 886.59 | 55.3 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 15926.23 | 884.79 | 62.71 | 900 | 0 | 0 |
prefix-opt-depqbf | 16200 | 900 | 0 | 900 | 0 | 0 |
qbfrelay | 15482.99 | 860.17 | 95.81 | 886.3 | 5.56 | 0 |
qbfrelay-limited-depqbf | 15547.13 | 863.73 | 149.55 | 900 | 0 | 0.056 |
QELL_default | 3296.22 | 183.12 | 306.99 | 18.32 | 88.41 | 0.889 |
QELL_unit | 3378.64 | 187.7 | 303.72 | 21.36 | 148.65 | 0.889 |
qesto | 8025.24 | 445.85 | 346.08 | 332.49 | 675.94 | 0.722 |
Qute_default | 10334.76 | 574.15 | 365.52 | 811.7 | 788.12 | 0.5 |
Qute_opt500 | 12945.01 | 719.17 | 339.53 | 900 | 712.05 | 0.222 |
Qute_random | 12945.96 | 719.22 | 339.43 | 900 | 711.67 | 0.222 |
rareqs | 6431.68 | 357.32 | 336.89 | 207.14 | 509.94 | 0.778 |
rev_qfun0.1 | 3340.04 | 185.56 | 264.58 | 85.32 | 117.73 | 0.889 |
xb-qsts_bqsts2.0 | 6547 | 363.72 | 385.94 | 139.96 | 858.31 | 0.667 |
xb-qsts_xbqsts1.0 | 7340.06 | 407.78 | 357.11 | 222.74 | 793.91 | 0.667 |
xb-qsts_xbqsts2.0 | 7342.77 | 407.93 | 357.12 | 220.23 | 794.17 | 0.667 |