Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 169310.8 | 859.45 | 80.25 | 900 | 53.67 | 0.005 |
caqe_2017_v1 | 172174.47 | 873.98 | 147.07 | 900 | 0 | 0.03 |
caqe_2017_v2 | 171072.96 | 868.39 | 164.71 | 900 | 0 | 0.036 |
caqe_2017_v3 | 171073.33 | 868.39 | 164.7 | 900 | 0 | 0.036 |
CUED1919_NL | 125368.14 | 636.39 | 261.99 | 538.64 | 531.61 | 0 |
CUED1919_NNL | 110845.64 | 562.67 | 356.43 | 667.27 | 747.61 | 0 |
dynQBF-bloqqer-hqspre | 177300 | 900 | 0 | 900 | 0 | 0 |
ghostq-cegar | 177175.38 | 899.37 | 8.86 | 900 | 0 | 0.005 |
GhostQ-PG_cegar | 177148.74 | 899.23 | 10.75 | 900 | 0 | 0.005 |
GhostQ-PG_plain | 177300 | 900 | 0 | 900 | 0 | 0 |
heretiq | 166248.79 | 843.9 | 211.59 | 900 | 0 | 0.066 |
HQSpre_solver | 176400.01 | 895.43 | 63.96 | 900 | 0 | 0.005 |
ijtihad_v1 | 172007.59 | 873.13 | 151.67 | 900 | 0 | 0.03 |
ijtihad_v2 | 173057.51 | 878.46 | 129.7 | 900 | 0 | 0.03 |
iProver-qbf-2017-07-27-v3 | 177300 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 177300 | 900 | 0 | 900 | 0 | 0 |
prefix-opt-depqbf | 166128.42 | 843.29 | 214.86 | 900 | 0 | 0.066 |
qbfrelay | 7397.79 | 37.55 | 57.29 | 33.58 | 34.69 | 0.005 |
qbfrelay-limited-depqbf | 164651.33 | 835.79 | 209.34 | 888.78 | 2.01 | 0.061 |
QELL_default | 170743.08 | 866.72 | 166.94 | 900 | 0 | 0.041 |
QELL_unit | 171022.61 | 868.14 | 166.01 | 900 | 0 | 0.036 |
qesto | 177300 | 900 | 0 | 900 | 0 | 0 |
Qute_default | 167706.69 | 851.3 | 200.94 | 900 | 0 | 0.056 |
Qute_opt500 | 171094.88 | 868.5 | 164.13 | 900 | 0 | 0.036 |
Qute_random | 171095.15 | 868.5 | 164.13 | 900 | 0 | 0.036 |
rareqs | 172008.14 | 873.14 | 151.67 | 900 | 0 | 0.03 |
rev_qfun0.1 | 177300 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_bqsts2.0 | 177300 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_xbqsts1.0 | 177300 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_xbqsts2.0 | 177300 | 900 | 0 | 900 | 0 | 0 |