Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 4840.81 | 484.08 | 231.6 | 599.78 | 557.81 | 0.2 |
aqua-f3v | 2307.99 | 230.8 | 280.34 | 9.65 | 489.27 | 0.7 |
aqua-s2v | 2313.9 | 231.39 | 282.71 | 4.43 | 505.42 | 0.7 |
aqua-s3o | 2341.5 | 234.15 | 285.28 | 5.09 | 531.75 | 0.7 |
caqe-minisat | 1815.85 | 181.59 | 273.73 | 2.64 | 7.79 | 0.7 |
caqe-picosat | 1838.61 | 183.86 | 272.31 | 5.13 | 22.19 | 0.7 |
depqbf-v1 | 2386.09 | 238.61 | 289.39 | 6.76 | 592.18 | 0.6 |
depqbf-v2 | 2394.21 | 239.42 | 288.53 | 8.77 | 591.14 | 0.6 |
depqbf-v3 | 2416.13 | 241.61 | 292.4 | 8.28 | 599.58 | 0.6 |
ghostq-cegar | 1923.6 | 192.36 | 268.58 | 5.43 | 110.24 | 0.7 |
ghostq-plain | 2453.21 | 245.32 | 289.64 | 24.51 | 598.98 | 0.6 |
hiqqer1 | 2415.47 | 241.55 | 292.52 | 7.48 | 599.6 | 0.6 |
hiqqer1ldsq | 2179.11 | 217.91 | 258.07 | 91.28 | 196.21 | 0.5 |
hiqqer3 | 2416.41 | 241.64 | 292.45 | 7.78 | 599.6 | 0.6 |
iprover-QBF | 2475.66 | 247.57 | 245.95 | 182.65 | 264.81 | 0.6 |
iprover-QBF-bloqqer | 2427.84 | 242.78 | 252.01 | 103.58 | 479.73 | 0.7 |
qesto | 1900.19 | 190.02 | 268.57 | 25.48 | 44.72 | 0.7 |
qestos | 1157.29 | 115.73 | 201.15 | 0.26 | 0.38 | 0.7 |
qsts | 3675.69 | 367.57 | 270.41 | 553.94 | 596.92 | 0.5 |
rareqs | 648.75 | 64.88 | 178.59 | 0.19 | 0.34 | 0.9 |
squeezebf+struqs | 4329.24 | 432.92 | 256.67 | 599.71 | 592.4 | 0.3 |
struqs-10 | 4329.55 | 432.96 | 256.61 | 599.71 | 592.3 | 0.3 |
xb-bid-qsts | 2440.87 | 244.09 | 290.5 | 18.51 | 599.25 | 0.6 |
xb-qsts | 2407.9 | 240.79 | 293.06 | 3.67 | 599.15 | 0.6 |