Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 1803.22 | 225.4 | 280.98 | 18.55 | 580.31 | 0.75 |
aqua-f3v | 181.98 | 22.75 | 45.93 | 0.36 | 20.46 | 1 |
aqua-s2v | 123 | 15.38 | 29.24 | 0.22 | 17.04 | 1 |
aqua-s3o | 208.54 | 26.07 | 54.18 | 0.44 | 20.81 | 1 |
caqe-minisat | 37.03 | 4.63 | 5.62 | 1.43 | 8.33 | 1 |
caqe-picosat | 80.95 | 10.12 | 16.21 | 3.52 | 9.83 | 1 |
depqbf-v1 | 411.61 | 51.45 | 85.34 | 0.51 | 90.03 | 1 |
depqbf-v2 | 116.48 | 14.56 | 24.94 | 0.41 | 24.45 | 1 |
depqbf-v3 | 80.35 | 10.04 | 17.28 | 0.18 | 17.7 | 1 |
ghostq-cegar | 207.26 | 25.91 | 60.77 | 2.41 | 6.44 | 1 |
ghostq-plain | 1272.67 | 159.08 | 255.34 | 3.44 | 332.25 | 0.75 |
hiqqer1 | 66.58 | 8.32 | 14.03 | 0.26 | 13.87 | 1 |
hiqqer1ldsq | 89.91 | 11.24 | 20.62 | 0.2 | 14.49 | 1 |
hiqqer3 | 67.58 | 8.45 | 14.04 | 0.4 | 14.07 | 1 |
iprover-QBF | 736.27 | 92.03 | 192.51 | 20.66 | 40.27 | 0.875 |
iprover-QBF-bloqqer | 111.52 | 13.94 | 30.3 | 2.79 | 3.76 | 1 |
qesto | 257.37 | 32.17 | 73.83 | 0.47 | 14.79 | 1 |
qestos | 1.46 | 0.18 | 0.22 | 0.07 | 0.2 | 1 |
qsts | 1247.2 | 155.9 | 219.88 | 23.65 | 299.78 | 0.875 |
rareqs | 0.63 | 0.08 | 0.07 | 0.05 | 0.04 | 1 |
squeezebf+struqs | 3606.63 | 450.83 | 257.88 | 599.71 | 295.82 | 0.25 |
struqs-10 | 3606.64 | 450.83 | 257.88 | 599.71 | 295.81 | 0.25 |
xb-bid-qsts | 38.99 | 4.87 | 8.62 | 0.83 | 4.68 | 1 |
xb-qsts | 11.83 | 1.48 | 2.05 | 0.3 | 2.16 | 1 |