Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 67.31 | 6.73 | 11.25 | 2.64 | 4.75 | 1 |
aqua-f3v | 2404.46 | 240.45 | 293.52 | 1.37 | 599.47 | 0.6 |
aqua-s2v | 1910.42 | 191.04 | 269.47 | 1.4 | 105.33 | 0.7 |
aqua-s3o | 2404.47 | 240.45 | 293.54 | 1.37 | 599.52 | 0.6 |
caqe-minisat | 2466.57 | 246.66 | 288.34 | 18.2 | 593.96 | 0.6 |
caqe-picosat | 2524.97 | 252.5 | 283.7 | 35.26 | 593.17 | 0.6 |
depqbf-v1 | 1808.44 | 180.84 | 269.45 | 5.71 | 18 | 0.7 |
depqbf-v2 | 2077.78 | 207.78 | 261.81 | 13.66 | 247.91 | 0.7 |
depqbf-v3 | 2142.64 | 214.26 | 265.96 | 13.37 | 292.89 | 0.7 |
ghostq-cegar | 60.47 | 6.05 | 3.9 | 5.43 | 4.91 | 1 |
ghostq-plain | 2420.87 | 242.09 | 292.14 | 5.38 | 597.64 | 0.6 |
hiqqer1 | 2411.31 | 241.13 | 292.84 | 3.17 | 598.99 | 0.6 |
hiqqer1ldsq | 2411.21 | 241.12 | 292.85 | 3.15 | 599 | 0.6 |
hiqqer3 | 2413.81 | 241.38 | 292.64 | 4.41 | 598.99 | 0.6 |
iprover-QBF | 2778.77 | 277.88 | 235.54 | 178.83 | 378.66 | 0.7 |
iprover-QBF-bloqqer | 1998.26 | 199.83 | 209.41 | 124.03 | 154.13 | 0.7 |
qesto | 4725.43 | 472.54 | 234.41 | 599.71 | 590.09 | 0.4 |
qestos | 82.78 | 8.28 | 9.49 | 3.38 | 11.72 | 1 |
qsts | 693.93 | 69.39 | 176.98 | 9.36 | 18.71 | 0.9 |
rareqs | 13.81 | 1.38 | 0.69 | 1.45 | 0.89 | 1 |
squeezebf+struqs | 5397.61 | 539.76 | 179.91 | 599.71 | 0 | 0.1 |
struqs-10 | 5397.5 | 539.75 | 179.91 | 599.71 | 0 | 0.1 |
xb-bid-qsts | 1922.68 | 192.27 | 267.02 | 19.42 | 44.54 | 0.7 |
xb-qsts | 2468.08 | 246.81 | 288.23 | 18.37 | 594.34 | 0.6 |