Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 0.36 | 0.18 | 0.03 | 0.18 | 0 | 1 |
caqe_2017_v1 | 0.5 | 0.25 | 0.04 | 0.25 | 0 | 1 |
caqe_2017_v2 | 0.4 | 0.2 | 0.03 | 0.2 | 0 | 1 |
caqe_2017_v3 | 0.74 | 0.37 | 0.06 | 0.37 | 0 | 1 |
CUED1919_NL | 860.28 | 430.14 | 76.97 | 430.14 | 0 | 0 |
CUED1919_NNL | 1357.63 | 678.82 | 221.19 | 678.82 | 0 | 0 |
dynQBF-bloqqer-hqspre | 2.21 | 1.11 | 0.18 | 1.11 | 0 | 1 |
ghostq-cegar | 306.6 | 153.3 | 13.85 | 153.3 | 0 | 1 |
GhostQ-PG_cegar | 421.64 | 210.82 | 21.67 | 210.82 | 0 | 1 |
GhostQ-PG_plain | 420.5 | 210.25 | 22.55 | 210.25 | 0 | 1 |
heretiq | 0.5 | 0.25 | 0.04 | 0.25 | 0 | 1 |
HQSpre_solver | 0.43 | 0.22 | 0.04 | 0.22 | 0 | 1 |
ijtihad_v1 | 0.5 | 0.25 | 0.04 | 0.25 | 0 | 1 |
ijtihad_v2 | 0.5 | 0.25 | 0.04 | 0.25 | 0 | 1 |
iProver-qbf-2017-07-27-v3 | 30.66 | 15.33 | 2.88 | 15.33 | 0 | 1 |
iProver-qbf-bloqqer-2017-07-27-v3 | 2.22 | 1.11 | 0.19 | 1.11 | 0 | 1 |
prefix-opt-depqbf | 3.08 | 1.54 | 0.28 | 1.54 | 0 | 1 |
qbfrelay | 4.58 | 2.29 | 0.42 | 2.29 | 0 | 1 |
qbfrelay-limited-depqbf | 4 | 2 | 0.29 | 2 | 0 | 1 |
QELL_default | 3.56 | 1.78 | 0.38 | 1.78 | 0 | 1 |
QELL_unit | 3.57 | 1.79 | 0.39 | 1.79 | 0 | 1 |
qesto | 0.49 | 0.25 | 0.04 | 0.25 | 0 | 1 |
Qute_default | 0.46 | 0.23 | 0.04 | 0.23 | 0 | 1 |
Qute_opt500 | 0.47 | 0.24 | 0.04 | 0.24 | 0 | 1 |
Qute_random | 0.47 | 0.24 | 0.04 | 0.24 | 0 | 1 |
rareqs | 0.48 | 0.24 | 0.04 | 0.24 | 0 | 1 |
rev_qfun0.1 | 0.5 | 0.25 | 0.04 | 0.25 | 0 | 1 |
xb-qsts_bqsts2.0 | 2.17 | 1.09 | 0.19 | 1.09 | 0 | 1 |
xb-qsts_xbqsts1.0 | 2.29 | 1.15 | 0.24 | 1.15 | 0 | 1 |
xb-qsts_xbqsts2.0 | 2.17 | 1.09 | 0.16 | 1.09 | 0 | 1 |