Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 900.59 | 450.3 | 449.71 | 450.3 | 0 | 0.5 |
caqe_2017_v1 | 281.26 | 140.63 | 140 | 140.63 | 0 | 1 |
caqe_2017_v2 | 368.41 | 184.21 | 183.69 | 184.21 | 0 | 1 |
caqe_2017_v3 | 282.16 | 141.08 | 140.16 | 141.08 | 0 | 1 |
CUED1919_NL | 479.04 | 239.52 | 204.11 | 239.52 | 0 | 0 |
CUED1919_NNL | 910.46 | 455.23 | 444.77 | 455.23 | 0 | 0 |
dynQBF-bloqqer-hqspre | 902.88 | 451.44 | 448.56 | 451.44 | 0 | 0.5 |
ghostq-cegar | 952.44 | 476.22 | 423.78 | 476.22 | 0 | 0.5 |
GhostQ-PG_cegar | 1800 | 900 | 0 | 900 | 0 | 0 |
GhostQ-PG_plain | 1800 | 900 | 0 | 900 | 0 | 0 |
heretiq | 900.64 | 450.32 | 449.68 | 450.32 | 0 | 0.5 |
HQSpre_solver | 900.53 | 450.27 | 449.74 | 450.27 | 0 | 0.5 |
ijtihad_v1 | 900.64 | 450.32 | 449.68 | 450.32 | 0 | 0.5 |
ijtihad_v2 | 900.64 | 450.32 | 449.68 | 450.32 | 0 | 0.5 |
iProver-qbf-2017-07-27-v3 | 933.53 | 466.77 | 433.24 | 466.77 | 0 | 0.5 |
iProver-qbf-bloqqer-2017-07-27-v3 | 902.86 | 451.43 | 448.57 | 451.43 | 0 | 0.5 |
prefix-opt-depqbf | 904.08 | 452.04 | 447.96 | 452.04 | 0 | 0.5 |
qbfrelay | 890.75 | 445.38 | 439.52 | 445.38 | 0 | 0.5 |
qbfrelay-limited-depqbf | 901.55 | 450.78 | 445.72 | 450.78 | 0 | 0.5 |
QELL_default | 904.6 | 452.3 | 447.7 | 452.3 | 0 | 0.5 |
QELL_unit | 904.53 | 452.27 | 447.74 | 452.27 | 0 | 0.5 |
qesto | 900.63 | 450.32 | 449.69 | 450.32 | 0 | 0.5 |
Qute_default | 900.58 | 450.29 | 449.71 | 450.29 | 0 | 0.5 |
Qute_opt500 | 900.57 | 450.29 | 449.72 | 450.29 | 0 | 0.5 |
Qute_random | 900.58 | 450.29 | 449.71 | 450.29 | 0 | 0.5 |
rareqs | 900.63 | 450.32 | 449.69 | 450.32 | 0 | 0.5 |
rev_qfun0.1 | 900.63 | 450.32 | 449.69 | 450.32 | 0 | 0.5 |
xb-qsts_bqsts2.0 | 130.53 | 65.27 | 62.36 | 65.27 | 0 | 1 |
xb-qsts_xbqsts1.0 | 224.5 | 112.25 | 109.31 | 112.25 | 0 | 1 |
xb-qsts_xbqsts2.0 | 223.55 | 111.78 | 108.7 | 111.78 | 0 | 1 |