Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 182.39 | 26.06 | 31.06 | 6.41 | 28.88 | 1 |
aqua-f3v | 2807.87 | 401.12 | 261.72 | 599.73 | 599.79 | 0.429 |
aqua-s2v | 2661.26 | 380.18 | 266.19 | 599.82 | 599.82 | 0.429 |
aqua-s3o | 3000.4 | 428.63 | 270.82 | 599.82 | 599.84 | 0.286 |
caqe-minisat | 2456.71 | 350.96 | 287.7 | 599.33 | 599.34 | 0.429 |
caqe-picosat | 2484.89 | 354.98 | 283.74 | 599.33 | 599.12 | 0.429 |
depqbf-v1 | 2967.55 | 423.94 | 267.42 | 592.85 | 592.71 | 0.286 |
depqbf-v2 | 2967.74 | 423.96 | 267.18 | 592.72 | 592.02 | 0.286 |
depqbf-v3 | 3001.16 | 428.74 | 270.4 | 599.71 | 599.56 | 0.286 |
ghostq-cegar | 3582.48 | 511.78 | 106.32 | 599.63 | 269.92 | 0.286 |
ghostq-plain | 2817.77 | 402.54 | 260.62 | 599.71 | 598.17 | 0.286 |
hiqqer1 | 3000.07 | 428.58 | 270.74 | 599.81 | 599.44 | 0.286 |
hiqqer1ldsq | 2480.58 | 354.37 | 284.49 | 599.81 | 599.46 | 0.286 |
hiqqer3 | 3000.27 | 428.61 | 270.69 | 599.81 | 599.44 | 0.286 |
iprover-QBF | 575.82 | 82.26 | 66.91 | 84.7 | 83.7 | 0.571 |
iprover-QBF-bloqqer | 1918.92 | 274.13 | 237.52 | 218.05 | 377.83 | 0.571 |
qesto | 2042.32 | 291.76 | 240.42 | 364.22 | 369.71 | 0.286 |
qestos | 2553.48 | 364.78 | 248.33 | 382.32 | 599.12 | 0.286 |
qsts | 1987.97 | 284 | 274.78 | 139.85 | 596.63 | 0.571 |
rareqs | 1136.9 | 162.41 | 211.44 | 6.24 | 157.35 | 1 |
squeezebf+struqs | 4198.37 | 599.77 | 0.05 | 599.81 | 0.1 | 0 |
struqs-10 | 4198.07 | 599.72 | 0.04 | 599.71 | 0 | 0 |
xb-bid-qsts | 2997.81 | 428.26 | 270.47 | 599.53 | 599.14 | 0.286 |
xb-qsts | 2997.77 | 428.25 | 270.5 | 599.53 | 599.29 | 0.286 |