Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 38174.54 | 385.6 | 242.48 | 599.71 | 479.73 | 0.434 |
aqua-f3v | 45566.82 | 460.27 | 243.26 | 600 | 380.33 | 0.253 |
aqua-s2v | 45113.73 | 455.69 | 244.01 | 600 | 444.61 | 0.273 |
aqua-s3o | 45325.77 | 457.84 | 245.87 | 600 | 478.83 | 0.253 |
caqe-minisat | 28942.63 | 292.35 | 261.04 | 171.39 | 580.02 | 0.626 |
caqe-picosat | 26107.24 | 263.71 | 248.14 | 147.03 | 573.82 | 0.697 |
depqbf-v1 | 46869.61 | 473.43 | 229.51 | 592.22 | 0.87 | 0.051 |
depqbf-v2 | 36581.47 | 369.51 | 261.42 | 592.22 | 560.21 | 0.455 |
depqbf-v3 | 39266.07 | 396.63 | 255.73 | 599.71 | 534.19 | 0.424 |
ghostq-cegar | 9154.59 | 92.47 | 175.98 | 19.19 | 68.99 | 0.899 |
ghostq-plain | 8708.09 | 87.96 | 181.23 | 17.21 | 46.78 | 0.899 |
hiqqer1 | 40025.54 | 404.3 | 245.98 | 599.71 | 484.03 | 0.444 |
hiqqer1ldsq | 40240.33 | 406.47 | 246.53 | 599.71 | 483.27 | 0.434 |
hiqqer3 | 43013.13 | 434.48 | 231.23 | 599.72 | 456.95 | 0.394 |
iprover-QBF | 21105.01 | 213.18 | 220.89 | 83.83 | 394 | 0.051 |
iprover-QBF-bloqqer | 26787.92 | 270.59 | 223.66 | 210.93 | 523.3 | 0.081 |
qesto | 22814.85 | 230.45 | 246.64 | 94.34 | 544.17 | 0.758 |
qestos | 41016.93 | 414.31 | 180.75 | 455.92 | 206.4 | 0.121 |
qsts | 6002.08 | 60.63 | 174.12 | 0.18 | 0.46 | 0.909 |
rareqs | 18826.81 | 190.17 | 237.67 | 49.06 | 313.26 | 0.798 |
squeezebf+struqs | 51622.41 | 521.44 | 188.13 | 599.81 | 0.1 | 0.162 |
struqs-10 | 51748.44 | 522.71 | 186.91 | 599.81 | 0.11 | 0.162 |
xb-bid-qsts | 24692.83 | 249.42 | 249.14 | 123.01 | 573.38 | 0.697 |
xb-qsts | 24397.83 | 246.44 | 248.04 | 121.93 | 573.79 | 0.697 |