Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 36000 | 900 | 0 | 900 | 0 | 0 |
caqe_2017_v1 | 36000 | 900 | 0 | 900 | 0 | 0 |
caqe_2017_v2 | 36000 | 900 | 0 | 900 | 0 | 0 |
caqe_2017_v3 | 36000 | 900 | 0 | 900 | 0 | 0 |
CUED1919_NL | 25392.2 | 634.81 | 266.31 | 684.31 | 534.7 | 0 |
CUED1919_NNL | 36000 | 900 | 0 | 900 | 0 | 0 |
dynQBF-bloqqer-hqspre | 36000 | 900 | 0 | 900 | 0 | 0 |
ghostq-cegar | 36000 | 900 | 0 | 900 | 0 | 0 |
GhostQ-PG_cegar | 32968.82 | 824.22 | 212.69 | 900 | 0 | 0.125 |
GhostQ-PG_plain | 34230.96 | 855.77 | 156.74 | 900 | 0 | 0.075 |
heretiq | 33295.78 | 832.39 | 217.58 | 900 | 0 | 0.1 |
HQSpre_solver | 35520.58 | 888.01 | 29.63 | 900 | 0 | 0 |
ijtihad_v1 | 34315.68 | 857.89 | 171.5 | 900 | 0 | 0.075 |
ijtihad_v2 | 33923.63 | 848.09 | 180.18 | 900 | 0 | 0.1 |
iProver-qbf-2017-07-27-v3 | 36000 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 36000 | 900 | 0 | 900 | 0 | 0 |
prefix-opt-depqbf | 36000 | 900 | 0 | 900 | 0 | 0 |
qbfrelay | 29441.86 | 736.05 | 192.8 | 856.46 | 287.91 | 0 |
qbfrelay-limited-depqbf | 31927.71 | 798.19 | 205.42 | 891.89 | 3 | 0.2 |
QELL_default | 28435.21 | 710.88 | 338.07 | 900 | 124.55 | 0.275 |
QELL_unit | 27563.03 | 689.08 | 334.51 | 900 | 507.22 | 0.325 |
qesto | 28301.32 | 707.53 | 305.63 | 900 | 462.68 | 0.3 |
Qute_default | 36000 | 900 | 0 | 900 | 0 | 0 |
Qute_opt500 | 36000 | 900 | 0 | 900 | 0 | 0 |
Qute_random | 36000 | 900 | 0 | 900 | 0 | 0 |
rareqs | 26781.31 | 669.53 | 354.75 | 900 | 691.27 | 0.325 |
rev_qfun0.1 | 34297.46 | 857.44 | 151.8 | 900 | 0 | 0.075 |
xb-qsts_bqsts2.0 | 34516.03 | 862.9 | 146.28 | 900 | 0 | 0.075 |
xb-qsts_xbqsts1.0 | 34685.93 | 867.15 | 133.68 | 900 | 0 | 0.075 |
xb-qsts_xbqsts2.0 | 34689.97 | 867.25 | 133.4 | 900 | 0 | 0.075 |