Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 44.05 | 2.2 | 1.52 | 2.14 | 2.46 | 1 |
caqe_2017_v1 | 23.61 | 1.18 | 0.68 | 1.22 | 1.22 | 1 |
caqe_2017_v2 | 39.91 | 2 | 1.11 | 2.05 | 1.87 | 1 |
caqe_2017_v3 | 45.82 | 2.29 | 1.36 | 2.17 | 2.17 | 1 |
CUED1919_NL | 16765.62 | 838.28 | 136.16 | 900 | 0 | 0 |
CUED1919_NNL | 16742.46 | 837.12 | 138.37 | 900 | 0 | 0 |
dynQBF-bloqqer-hqspre | 103.08 | 5.15 | 2.85 | 5.37 | 5.04 | 1 |
ghostq-cegar | 1842.55 | 92.13 | 55.46 | 93.9 | 99.27 | 1 |
GhostQ-PG_cegar | 5064.59 | 253.23 | 197.28 | 226.96 | 298.01 | 0.9 |
GhostQ-PG_plain | 5093.49 | 254.67 | 199.81 | 229.21 | 297.15 | 0.9 |
heretiq | 23.63 | 1.18 | 0.67 | 1.22 | 1.2 | 1 |
HQSpre_solver | 39.24 | 1.96 | 1.07 | 1.99 | 1.81 | 1 |
ijtihad_v1 | 23.62 | 1.18 | 0.67 | 1.23 | 1.21 | 1 |
ijtihad_v2 | 23.7 | 1.19 | 0.67 | 1.24 | 1.19 | 1 |
iProver-qbf-2017-07-27-v3 | 512.54 | 25.63 | 15.81 | 25.52 | 26.22 | 1 |
iProver-qbf-bloqqer-2017-07-27-v3 | 102.74 | 5.14 | 2.86 | 5.34 | 5.08 | 1 |
prefix-opt-depqbf | 167.97 | 8.4 | 4.74 | 8.71 | 7.55 | 1 |
qbfrelay | 265.28 | 13.26 | 7.37 | 13.47 | 12.53 | 1 |
qbfrelay-limited-depqbf | 211.06 | 10.55 | 5.82 | 10.85 | 9.39 | 1 |
QELL_default | 80.11 | 4.01 | 3.97 | 2.32 | 3.56 | 1 |
QELL_unit | 80.24 | 4.01 | 3.99 | 2.3 | 3.55 | 1 |
qesto | 23.46 | 1.17 | 0.67 | 1.22 | 1.18 | 1 |
Qute_default | 45.34 | 2.27 | 1.3 | 2.28 | 2.11 | 1 |
Qute_opt500 | 44.66 | 2.23 | 1.23 | 2.27 | 2.11 | 1 |
Qute_random | 44.83 | 2.24 | 1.24 | 2.27 | 2.1 | 1 |
rareqs | 23.4 | 1.17 | 0.67 | 1.21 | 1.19 | 1 |
rev_qfun0.1 | 23.38 | 1.17 | 0.67 | 1.21 | 1.18 | 1 |
xb-qsts_bqsts2.0 | 105.53 | 5.28 | 2.91 | 5.3 | 5.22 | 1 |
xb-qsts_xbqsts1.0 | 104.94 | 5.25 | 2.94 | 5.33 | 5.13 | 1 |
xb-qsts_xbqsts2.0 | 104.43 | 5.22 | 2.92 | 5.34 | 5.13 | 1 |