Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 42307.63 | 863.42 | 177.32 | 900 | 0 | 0.041 |
caqe_2017_v1 | 37760.39 | 770.62 | 279.5 | 900 | 0 | 0.224 |
caqe_2017_v2 | 38208.2 | 779.76 | 281.83 | 900 | 0 | 0.184 |
caqe_2017_v3 | 37768.11 | 770.78 | 279.43 | 900 | 0 | 0.224 |
CUED1919_NL | 263.42 | 5.38 | 18.21 | 0.39 | 2.48 | 0 |
CUED1919_NNL | 244.39 | 4.99 | 18.27 | 0.27 | 1.98 | 0 |
dynQBF-bloqqer-hqspre | 42310.14 | 863.47 | 177.08 | 900 | 0 | 0.041 |
ghostq-cegar | 43200.3 | 881.64 | 127.21 | 900 | 0 | 0.02 |
GhostQ-PG_cegar | 42325.45 | 863.78 | 175.58 | 900 | 0 | 0.041 |
GhostQ-PG_plain | 42090.46 | 858.99 | 177.75 | 900 | 0 | 0.061 |
heretiq | 36988.1 | 754.86 | 311.22 | 900 | 0 | 0.184 |
HQSpre_solver | 42302.75 | 863.32 | 177.81 | 900 | 0 | 0.041 |
ijtihad_v1 | 42300.22 | 863.27 | 178.06 | 900 | 0 | 0.041 |
ijtihad_v2 | 42229.5 | 861.83 | 178.04 | 900 | 0 | 0.061 |
iProver-qbf-2017-07-27-v3 | 44100 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 42310.28 | 863.48 | 177.06 | 900 | 0 | 0.041 |
prefix-opt-depqbf | 37441.48 | 764.11 | 296.05 | 900 | 0 | 0.184 |
qbfrelay | 22124.23 | 451.51 | 321.08 | 606.96 | 648.37 | 0.041 |
qbfrelay-limited-depqbf | 38416.52 | 784.01 | 269.91 | 888.83 | 2.62 | 0.143 |
QELL_default | 43200.02 | 881.63 | 127.25 | 900 | 0 | 0.02 |
QELL_unit | 43200.02 | 881.63 | 127.25 | 900 | 0 | 0.02 |
qesto | 40085.12 | 818.06 | 238.73 | 900 | 0 | 0.122 |
Qute_default | 40354.15 | 823.55 | 235.52 | 900 | 0 | 0.102 |
Qute_opt500 | 40574.91 | 828.06 | 241.35 | 900 | 0 | 0.082 |
Qute_random | 40574.84 | 828.06 | 241.35 | 900 | 0 | 0.082 |
rareqs | 41507.7 | 847.1 | 192.21 | 900 | 0 | 0.082 |
rev_qfun0.1 | 42300.21 | 863.27 | 178.06 | 900 | 0 | 0.041 |
xb-qsts_bqsts2.0 | 36503.37 | 744.97 | 288.92 | 900 | 221.51 | 0.265 |
xb-qsts_xbqsts1.0 | 36495.28 | 744.8 | 288.97 | 900 | 224.76 | 0.265 |
xb-qsts_xbqsts2.0 | 36495.63 | 744.81 | 288.98 | 900 | 224.23 | 0.265 |