Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 56.74 | 5.67 | 7.27 | 3.23 | 6.87 | 1 |
caqe_2017_v1 | 39.13 | 3.91 | 4.92 | 1.52 | 2.89 | 1 |
caqe_2017_v2 | 45.75 | 4.58 | 9.53 | 1.18 | 2.18 | 1 |
caqe_2017_v3 | 67.12 | 6.71 | 9.96 | 1.56 | 2.94 | 1 |
CUED1919_NL | 194.25 | 19.43 | 17.72 | 19.09 | 28.69 | 0 |
CUED1919_NNL | 190.06 | 19.01 | 17.34 | 19.05 | 27.6 | 0 |
dynQBF-bloqqer-hqspre | 156.34 | 15.63 | 15.16 | 12.1 | 21.64 | 1 |
ghostq-cegar | 60.85 | 6.09 | 4.09 | 6.6 | 6.8 | 0.9 |
GhostQ-PG_cegar | 186.77 | 18.68 | 31.69 | 10.35 | 11.9 | 1 |
GhostQ-PG_plain | 183.6 | 18.36 | 31.46 | 10.03 | 11.57 | 1 |
heretiq | 19.83 | 1.98 | 2.19 | 1.05 | 1.43 | 1 |
HQSpre_solver | 46.73 | 4.67 | 5.59 | 3.1 | 5.19 | 1 |
ijtihad_v1 | 19.58 | 1.96 | 2.14 | 1.05 | 1.43 | 1 |
ijtihad_v2 | 19.68 | 1.97 | 2.16 | 1.04 | 1.42 | 1 |
iProver-qbf-2017-07-27-v3 | 868.19 | 86.82 | 107.68 | 17.57 | 128.88 | 1 |
iProver-qbf-bloqqer-2017-07-27-v3 | 438.42 | 43.84 | 56.13 | 13.51 | 17.7 | 1 |
prefix-opt-depqbf | 193.58 | 19.36 | 47.62 | 0.68 | 3.5 | 1 |
qbfrelay | 159.62 | 15.96 | 15.07 | 12.94 | 19.97 | 1 |
qbfrelay-limited-depqbf | 132.49 | 13.25 | 28.75 | 0.92 | 3.46 | 1 |
QELL_default | 943.07 | 94.31 | 268.74 | 1.39 | 2.75 | 0.9 |
QELL_unit | 52.69 | 5.27 | 9.23 | 1.42 | 3.12 | 1 |
qesto | 1946.82 | 194.68 | 353.4 | 16.38 | 35.03 | 0.8 |
Qute_default | 44.55 | 4.46 | 9.11 | 1.23 | 2.21 | 1 |
Qute_opt500 | 44.69 | 4.47 | 9.13 | 1.24 | 2.22 | 1 |
Qute_random | 44.53 | 4.45 | 9.1 | 1.23 | 2.22 | 1 |
rareqs | 13.01 | 1.3 | 1.47 | 0.85 | 1.48 | 1 |
rev_qfun0.1 | 59.5 | 5.95 | 4.49 | 4.8 | 8.05 | 0.7 |
xb-qsts_bqsts2.0 | 154.57 | 15.46 | 15.11 | 12.8 | 17.3 | 1 |
xb-qsts_xbqsts1.0 | 162.39 | 16.24 | 15.76 | 12.8 | 18.49 | 1 |
xb-qsts_xbqsts2.0 | 163.83 | 16.38 | 16.09 | 12.84 | 18.56 | 1 |