Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 1207.8 | 120.78 | 190.67 | 14.27 | 49.97 | 0.9 |
aqua-f3v | 4799.01 | 479.9 | 239.95 | 599.85 | 599.86 | 0.2 |
aqua-s2v | 4799.02 | 479.9 | 239.95 | 599.85 | 599.91 | 0.2 |
aqua-s3o | 4798.63 | 479.86 | 239.93 | 599.82 | 599.84 | 0.2 |
caqe-minisat | 1315.1 | 131.51 | 234.61 | 11.66 | 20.67 | 0.2 |
caqe-picosat | 1447.7 | 144.77 | 230.79 | 17.1 | 60.62 | 0.3 |
depqbf-v1 | 4743.73 | 474.37 | 237.18 | 592.83 | 592.92 | 0.2 |
depqbf-v2 | 4742.73 | 474.27 | 237.03 | 592.57 | 592.63 | 0.2 |
depqbf-v3 | 4797.95 | 479.8 | 239.86 | 599.71 | 599.63 | 0.2 |
ghostq-cegar | 4798.72 | 479.87 | 239.83 | 599.81 | 599.51 | 0.2 |
ghostq-plain | 4799.15 | 479.92 | 239.89 | 599.81 | 599.75 | 0.2 |
hiqqer1 | 4662.37 | 466.24 | 236.53 | 599.71 | 599.7 | 0.3 |
hiqqer1ldsq | 4663.61 | 466.36 | 236.54 | 599.81 | 599.71 | 0.3 |
hiqqer3 | 4672.53 | 467.25 | 236.52 | 599.76 | 599.61 | 0.3 |
iprover-QBF | 2868.69 | 286.87 | 218.98 | 259.34 | 384.28 | 0.3 |
iprover-QBF-bloqqer | 2866.49 | 286.65 | 205.9 | 289.4 | 374.27 | 0.1 |
qesto | 4219.46 | 421.95 | 271.57 | 599.71 | 599.03 | 0.3 |
qestos | 3410.5 | 341.05 | 235.84 | 331.22 | 599.67 | 0.2 |
qsts | 4471.01 | 447.1 | 232.4 | 599.71 | 599.67 | 0.2 |
rareqs | 3726.44 | 372.64 | 280.29 | 599.66 | 599.68 | 0.4 |
squeezebf+struqs | 4798 | 479.8 | 239.85 | 599.71 | 599.5 | 0.2 |
struqs-10 | 4798 | 479.8 | 239.85 | 599.71 | 599.51 | 0.2 |
xb-bid-qsts | 3174.93 | 317.49 | 284.24 | 364.6 | 599.57 | 0.5 |
xb-qsts | 4796.96 | 479.7 | 239.84 | 599.61 | 599.58 | 0.2 |