Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 1961.61 | 196.16 | 265.57 | 42.16 | 76.88 | 0.7 |
aqua-f3v | 969.71 | 96.97 | 182.85 | 0.44 | 21.13 | 0.9 |
aqua-s2v | 1329.87 | 132.99 | 235.58 | 0.42 | 21.36 | 0.8 |
aqua-s3o | 789.41 | 78.94 | 176.9 | 0.42 | 21.1 | 0.9 |
caqe-minisat | 3029.3 | 302.93 | 296.9 | 313.99 | 599.17 | 0.5 |
caqe-picosat | 887.92 | 88.79 | 176.71 | 5.16 | 27.85 | 0.9 |
depqbf-v1 | 641 | 64.1 | 176.86 | 0.16 | 0.22 | 0.9 |
depqbf-v2 | 1215.54 | 121.55 | 235.74 | 2.87 | 10.3 | 0.8 |
depqbf-v3 | 626.08 | 62.61 | 179.11 | 1.45 | 2.53 | 0.9 |
ghostq-cegar | 624.05 | 62.41 | 179.2 | 0.74 | 2.06 | 0.8 |
ghostq-plain | 623.08 | 62.31 | 179.23 | 0.72 | 2.04 | 0.8 |
hiqqer1 | 638.21 | 63.82 | 178.71 | 5.01 | 7.02 | 0.9 |
hiqqer1ldsq | 637.82 | 63.78 | 178.72 | 4.82 | 7.08 | 0.9 |
hiqqer3 | 651.64 | 65.16 | 178.34 | 5.06 | 8.46 | 0.9 |
iprover-QBF | 5923.32 | 592.33 | 20.63 | 599.22 | 0.1 | 0 |
iprover-QBF-bloqqer | 2985.76 | 298.58 | 292.8 | 293.2 | 598.68 | 0.2 |
qesto | 725.19 | 72.52 | 176.74 | 6.89 | 18.69 | 0.9 |
qestos | 1473.97 | 147.4 | 235.96 | 7.14 | 25.37 | 0.8 |
qsts | 647.44 | 64.74 | 178.56 | 0.17 | 0.71 | 0.9 |
rareqs | 649.79 | 64.98 | 178.41 | 2.68 | 3.63 | 0.9 |
squeezebf+struqs | 5767.14 | 576.71 | 69.02 | 599.71 | 0 | 0.1 |
struqs-10 | 5767.96 | 576.8 | 68.74 | 599.71 | 0 | 0.1 |
xb-bid-qsts | 852.22 | 85.22 | 175.19 | 20.59 | 27.24 | 0.9 |
xb-qsts | 850.81 | 85.08 | 175.19 | 20.22 | 27.12 | 0.9 |