Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 329.26 | 82.32 | 136.11 | 5.62 | 159.5 | 1 |
caqe_2017_v1 | 3.4 | 0.85 | 0.91 | 0.51 | 1.19 | 1 |
caqe_2017_v2 | 4.91 | 1.23 | 1.25 | 0.83 | 2.05 | 1 |
caqe_2017_v3 | 4.99 | 1.25 | 1.25 | 0.86 | 2.07 | 1 |
CUED1919_NL | 13.53 | 3.38 | 5 | 0.75 | 6.07 | 0 |
CUED1919_NNL | 12.49 | 3.12 | 4.64 | 0.67 | 5.64 | 0 |
dynQBF-bloqqer-hqspre | 60.4 | 15.1 | 13.46 | 13.7 | 25.78 | 1 |
ghostq-cegar | 948.09 | 237.02 | 383.14 | 23.98 | 469.5 | 0.75 |
GhostQ-PG_cegar | 1031.39 | 257.85 | 374.34 | 65.63 | 512.56 | 0.75 |
GhostQ-PG_plain | 904.78 | 226.2 | 389.02 | 2.32 | 450.43 | 0.75 |
heretiq | 3.38 | 0.85 | 0.94 | 0.47 | 1.22 | 1 |
HQSpre_solver | 1016.42 | 254.11 | 375.86 | 58.21 | 507.41 | 0.75 |
ijtihad_v1 | 3.34 | 0.84 | 0.93 | 0.47 | 1.21 | 1 |
ijtihad_v2 | 3.34 | 0.84 | 0.93 | 0.47 | 1.21 | 1 |
iProver-qbf-2017-07-27-v3 | 290.62 | 72.66 | 73.01 | 51.25 | 124.16 | 1 |
iProver-qbf-bloqqer-2017-07-27-v3 | 352.24 | 88.06 | 79.21 | 68.34 | 120.52 | 1 |
prefix-opt-depqbf | 2.27 | 0.57 | 0.65 | 0.31 | 1.01 | 1 |
qbfrelay | 291.96 | 72.99 | 110.87 | 13.69 | 141.47 | 1 |
qbfrelay-limited-depqbf | 3.17 | 0.79 | 0.67 | 0.59 | 1.08 | 1 |
QELL_default | 1802.04 | 450.51 | 449.49 | 451.02 | 898.98 | 0.5 |
QELL_unit | 1802.05 | 450.51 | 449.49 | 451.02 | 898.98 | 0.5 |
qesto | 5.51 | 1.38 | 1.41 | 0.91 | 2.2 | 1 |
Qute_default | 9.41 | 2.35 | 2.29 | 1.88 | 4.27 | 1 |
Qute_opt500 | 7.34 | 1.84 | 1.63 | 1.86 | 3.23 | 1 |
Qute_random | 7.39 | 1.85 | 1.63 | 1.88 | 3.25 | 1 |
rareqs | 2.99 | 0.75 | 0.8 | 0.45 | 1.07 | 1 |
rev_qfun0.1 | 907.55 | 226.89 | 388.62 | 3.78 | 450.33 | 0.75 |
xb-qsts_bqsts2.0 | 30.46 | 7.62 | 8.88 | 3.85 | 11.61 | 1 |
xb-qsts_xbqsts1.0 | 40.51 | 10.13 | 12.55 | 4.44 | 16.38 | 1 |
xb-qsts_xbqsts2.0 | 40.4 | 10.1 | 12.55 | 4.4 | 16.39 | 1 |