Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 5398.39 | 539.84 | 179.93 | 599.79 | 0.1 | 0.1 |
aqua-f3v | 3046.2 | 304.62 | 282.22 | 291.67 | 598.65 | 0.6 |
aqua-s2v | 3066.51 | 306.65 | 293.39 | 320.15 | 598.85 | 0.5 |
aqua-s3o | 3196.71 | 319.67 | 282.34 | 365.86 | 598.74 | 0.5 |
caqe-minisat | 3658.39 | 365.84 | 286.56 | 599.72 | 591.96 | 0.4 |
caqe-picosat | 3188.43 | 318.84 | 270.69 | 380.84 | 596.6 | 0.6 |
depqbf-v1 | 3087.49 | 308.75 | 285.06 | 339.37 | 590.71 | 0.5 |
depqbf-v2 | 3798.51 | 379.85 | 263.34 | 592.88 | 570 | 0.4 |
depqbf-v3 | 2792.87 | 279.29 | 280.96 | 191.14 | 597.29 | 0.6 |
ghostq-cegar | 3986.22 | 398.62 | 250.75 | 599.81 | 541.92 | 0.4 |
ghostq-plain | 4284.6 | 428.46 | 262.15 | 599.81 | 574.25 | 0.3 |
hiqqer1 | 3114.79 | 311.48 | 288.52 | 321.28 | 589.31 | 0.5 |
hiqqer1ldsq | 2364.09 | 236.41 | 241.75 | 156.87 | 276.11 | 0.5 |
hiqqer3 | 3733.8 | 373.38 | 277.78 | 599.71 | 579.83 | 0.4 |
iprover-QBF | 4121.71 | 412.17 | 187.1 | 463.95 | 289.44 | 0.2 |
iprover-QBF-bloqqer | 3339.95 | 334 | 220.24 | 411.64 | 451.61 | 0.3 |
qesto | 4382.25 | 438.23 | 250.53 | 599.71 | 589.65 | 0.3 |
qestos | 2384.31 | 238.43 | 258.61 | 90.33 | 421.54 | 0.6 |
qsts | 3152.79 | 315.28 | 285.42 | 342.28 | 598.75 | 0.5 |
rareqs | 256.92 | 25.69 | 36.34 | 5.62 | 30.37 | 1 |
squeezebf+struqs | 5599.58 | 559.96 | 119.3 | 599.71 | 0 | 0.1 |
struqs-10 | 5599.92 | 559.99 | 119.22 | 599.71 | 0 | 0.1 |
xb-bid-qsts | 514.83 | 51.48 | 60.44 | 27.14 | 2.16 | 1 |
xb-qsts | 2519.46 | 251.95 | 249.47 | 158.53 | 340.76 | 0.7 |