Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 1234.05 | 176.29 | 267.81 | 9.22 | 10.98 | 0.714 |
aqua-f3v | 448.46 | 64.07 | 74.79 | 14.09 | 63.83 | 0.714 |
aqua-s2v | 470.56 | 67.22 | 77.15 | 4.66 | 110.11 | 0.714 |
aqua-s3o | 1013.22 | 144.75 | 198.26 | 28.14 | 170.2 | 0.571 |
caqe-minisat | 87.62 | 12.52 | 9.46 | 8.2 | 21.52 | 1 |
caqe-picosat | 91.29 | 13.04 | 12.96 | 5.34 | 3.26 | 1 |
depqbf-v1 | 2.43 | 0.35 | 0.27 | 0.21 | 0.34 | 1 |
depqbf-v2 | 66.91 | 9.56 | 9.98 | 4.42 | 4.1 | 1 |
depqbf-v3 | 31.91 | 4.56 | 5.4 | 1.47 | 1.59 | 1 |
ghostq-cegar | 787.2 | 112.46 | 202.4 | 27.23 | 35.59 | 0.857 |
ghostq-plain | 1215.96 | 173.71 | 269.59 | 3.65 | 6.22 | 0.714 |
hiqqer1 | 34.38 | 4.91 | 5.42 | 2.04 | 2.19 | 1 |
hiqqer1ldsq | 34.24 | 4.89 | 5.41 | 2.04 | 2.18 | 1 |
hiqqer3 | 59.91 | 8.56 | 9.7 | 3.5 | 3.65 | 1 |
iprover-QBF | 2656.96 | 379.57 | 256.46 | 599.22 | 594.34 | 0.429 |
iprover-QBF-bloqqer | 1460.64 | 208.66 | 212.54 | 83.07 | 130.22 | 0.857 |
qesto | 25.89 | 3.7 | 5.1 | 0.66 | 1.72 | 1 |
qestos | 7.06 | 1.01 | 0.98 | 0.49 | 0.5 | 1 |
qsts | 1351.4 | 193.06 | 176.21 | 244.23 | 293.94 | 0.429 |
rareqs | 6.53 | 0.93 | 0.88 | 0.49 | 0.5 | 1 |
squeezebf+struqs | 686.97 | 98.14 | 205.34 | 4.26 | 33.15 | 0.857 |
struqs-10 | 695.19 | 99.31 | 204.98 | 4.38 | 35.8 | 0.857 |
xb-bid-qsts | 135.21 | 19.32 | 12.91 | 28.91 | 27.69 | 1 |
xb-qsts | 78.51 | 11.22 | 12.13 | 4.71 | 4.15 | 1 |