Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 33.27 | 11.09 | 6.27 | 9.67 | 5.45 | 1 |
caqe_2017_v1 | 2655.68 | 885.23 | 20.89 | 900 | 44.32 | 0.333 |
caqe_2017_v2 | 1558.29 | 519.43 | 163.11 | 627.76 | 338.86 | 1 |
caqe_2017_v3 | 2128.32 | 709.44 | 135.04 | 625.01 | 21.7 | 0.667 |
CUED1919_NL | 0.16 | 0.05 | 0.01 | 0.05 | 0 | 0 |
CUED1919_NNL | 0.12 | 0.04 | 0 | 0.04 | 0 | 0 |
dynQBF-bloqqer-hqspre | 325.71 | 108.57 | 96.33 | 73.63 | 61.62 | 1 |
ghostq-cegar | 2700 | 900 | 0 | 900 | 0 | 0 |
GhostQ-PG_cegar | 2700 | 900 | 0 | 900 | 0 | 0 |
GhostQ-PG_plain | 1827.64 | 609.21 | 411.23 | 900 | 872.36 | 0.333 |
heretiq | 2700 | 900 | 0 | 900 | 0 | 0 |
HQSpre_solver | 2700 | 900 | 0 | 900 | 0 | 0 |
ijtihad_v1 | 2700 | 900 | 0 | 900 | 0 | 0 |
ijtihad_v2 | 2700 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-2017-07-27-v3 | 2700 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 2700 | 900 | 0 | 900 | 0 | 0 |
prefix-opt-depqbf | 2141.79 | 713.93 | 263.14 | 900 | 558.21 | 0.333 |
qbfrelay | 2465.12 | 821.71 | 96.75 | 879.73 | 194.34 | 0 |
qbfrelay-limited-depqbf | 2102.84 | 700.95 | 270.35 | 891.01 | 572.4 | 0.333 |
QELL_default | 1085.59 | 361.86 | 380.52 | 94.65 | 3.71 | 0.667 |
QELL_unit | 1097.2 | 365.73 | 378.25 | 121.53 | 45.86 | 0.667 |
qesto | 2700 | 900 | 0 | 900 | 0 | 0 |
Qute_default | 2542.91 | 847.64 | 74.05 | 900 | 157.09 | 0.333 |
Qute_opt500 | 1899.83 | 633.28 | 377.2 | 900 | 800.17 | 0.333 |
Qute_random | 1900.5 | 633.5 | 376.89 | 900 | 799.5 | 0.333 |
rareqs | 2700 | 900 | 0 | 900 | 0 | 0 |
rev_qfun0.1 | 902.36 | 300.79 | 423.71 | 1.24 | 0.12 | 0.667 |
xb-qsts_bqsts2.0 | 2700 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_xbqsts1.0 | 2700 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_xbqsts2.0 | 2700 | 900 | 0 | 900 | 0 | 0 |