Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 2756.2 | 275.62 | 217.48 | 299.18 | 346.45 | 0.8 |
aqua-f3v | 4824.19 | 482.42 | 235.22 | 600 | 575.85 | 0.2 |
aqua-s2v | 4824.06 | 482.41 | 235.25 | 600 | 575.98 | 0.2 |
aqua-s3o | 4824.29 | 482.43 | 235.2 | 600 | 575.75 | 0.2 |
caqe-minisat | 2371.44 | 237.14 | 252.75 | 100.55 | 323.04 | 0.8 |
caqe-picosat | 2224.59 | 222.46 | 245.56 | 76.09 | 268.34 | 0.8 |
depqbf-v1 | 5330.91 | 533.09 | 177.67 | 592.17 | 0.57 | 0.1 |
depqbf-v2 | 3308.5 | 330.85 | 239.96 | 314.46 | 586.8 | 0.6 |
depqbf-v3 | 3749.71 | 374.97 | 244.78 | 462.12 | 593.52 | 0.5 |
ghostq-cegar | 121.02 | 12.1 | 9.74 | 9.78 | 15.29 | 1 |
ghostq-plain | 92.33 | 9.23 | 6.77 | 8.73 | 9.5 | 1 |
hiqqer1 | 3780.16 | 378.02 | 273.02 | 599.71 | 573.89 | 0.4 |
hiqqer1ldsq | 3635.37 | 363.54 | 263.94 | 524.98 | 573.73 | 0.5 |
hiqqer3 | 4095.05 | 409.51 | 245.17 | 599.76 | 562.2 | 0.4 |
iprover-QBF | 2639.83 | 263.98 | 231.91 | 106.93 | 392.51 | 0.1 |
iprover-QBF-bloqqer | 2491.94 | 249.19 | 235.93 | 159.33 | 167.5 | 0.2 |
qesto | 991.74 | 99.17 | 140.63 | 49.8 | 81.32 | 1 |
qestos | 3444.82 | 344.48 | 179.88 | 392.27 | 421.38 | 0.2 |
qsts | 2.22 | 0.22 | 0.15 | 0.22 | 0.24 | 1 |
rareqs | 390.83 | 39.08 | 49.45 | 19 | 33.65 | 1 |
squeezebf+struqs | 4932.15 | 493.22 | 215.23 | 599.81 | 466.46 | 0.2 |
struqs-10 | 4932.22 | 493.22 | 215.15 | 599.71 | 466.08 | 0.2 |
xb-bid-qsts | 1579.74 | 157.97 | 175.17 | 95.63 | 201.59 | 0.9 |
xb-qsts | 1563.22 | 156.32 | 174.28 | 95.64 | 200.02 | 0.9 |