Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 4649.41 | 464.94 | 218.26 | 599.8 | 542.16 | 0.3 |
aqua-f3v | 2460.08 | 246.01 | 289.1 | 25.95 | 599.65 | 0.6 |
aqua-s2v | 1446.15 | 144.62 | 235.96 | 8.03 | 11.81 | 0.8 |
aqua-s3o | 2382.73 | 238.27 | 282.24 | 23.73 | 532.09 | 0.7 |
caqe-minisat | 3099.13 | 309.91 | 257.88 | 292.12 | 565.4 | 0.6 |
caqe-picosat | 1965.42 | 196.54 | 211.9 | 96.43 | 275.09 | 0.9 |
depqbf-v1 | 1681.04 | 168.1 | 240.69 | 22.52 | 52.8 | 0.9 |
depqbf-v2 | 2071.27 | 207.13 | 256.56 | 74.76 | 124.4 | 0.7 |
depqbf-v3 | 1854.95 | 185.5 | 260.62 | 24.05 | 52.96 | 0.9 |
ghostq-cegar | 2778.18 | 277.82 | 267.21 | 147 | 599.3 | 0.6 |
ghostq-plain | 4584.71 | 458.47 | 215.16 | 599.81 | 517.04 | 0.4 |
hiqqer1 | 441.53 | 44.15 | 50.04 | 33.71 | 41.16 | 1 |
hiqqer1ldsq | 442.53 | 44.25 | 50.16 | 33.62 | 41 | 1 |
hiqqer3 | 543.68 | 54.37 | 53.61 | 49.98 | 60.35 | 1 |
iprover-QBF | 4165.88 | 416.59 | 97.93 | 403.69 | 177.29 | 0 |
iprover-QBF-bloqqer | 5252.17 | 525.22 | 178.51 | 599.12 | 145.98 | 0.1 |
qesto | 2621.27 | 262.13 | 257.73 | 140.08 | 470.29 | 0.7 |
qestos | 5397.78 | 539.78 | 179.76 | 599.71 | 0.1 | 0.1 |
qsts | 109.15 | 10.92 | 12.27 | 6.94 | 14.58 | 1 |
rareqs | 4799.84 | 479.98 | 239.43 | 599.71 | 597.92 | 0.2 |
squeezebf+struqs | 4845.65 | 484.57 | 230.32 | 599.71 | 571.25 | 0.2 |
struqs-10 | 4845.72 | 484.57 | 230.28 | 599.71 | 571.26 | 0.2 |
xb-bid-qsts | 287.5 | 28.75 | 29.28 | 18.29 | 16.43 | 1 |
xb-qsts | 267.66 | 26.77 | 33.31 | 14.13 | 13.24 | 1 |