Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 7889.22 | 140.88 | 245.82 | 0.45 | 160.45 | 0.75 |
aqua-f3v | 13491.62 | 240.92 | 289.11 | 8.54 | 599.74 | 0.607 |
aqua-s2v | 13549.19 | 241.95 | 288.65 | 6.71 | 599.74 | 0.607 |
aqua-s3o | 13569.55 | 242.31 | 288.52 | 16.47 | 599.73 | 0.607 |
caqe-minisat | 14457.48 | 258.17 | 287.71 | 24.46 | 599.39 | 0.607 |
caqe-picosat | 14030.58 | 250.55 | 289.51 | 9.4 | 599.46 | 0.607 |
depqbf-v1 | 14394.93 | 257.05 | 291.11 | 5.32 | 592.97 | 0.589 |
depqbf-v2 | 12220.61 | 218.23 | 280.48 | 4.12 | 592.53 | 0.643 |
depqbf-v3 | 13611.97 | 243.07 | 287.72 | 3.25 | 599.59 | 0.625 |
ghostq-cegar | 9143.92 | 163.28 | 264.15 | 1.12 | 599.49 | 0.732 |
ghostq-plain | 7767.13 | 138.7 | 243.85 | 1.6 | 119.43 | 0.786 |
hiqqer1 | 14555.14 | 259.91 | 294.81 | 1.86 | 599.61 | 0.571 |
hiqqer1ldsq | 12113.24 | 216.31 | 277.04 | 1.84 | 599.57 | 0.571 |
hiqqer3 | 14558.31 | 259.97 | 294.75 | 2.36 | 599.49 | 0.571 |
iprover-QBF | 16681.28 | 297.88 | 276.08 | 392.52 | 595.51 | 0.464 |
iprover-QBF-bloqqer | 15558.96 | 277.84 | 261.81 | 311.45 | 560.41 | 0.393 |
qesto | 14353.86 | 256.32 | 289.21 | 30.02 | 599.65 | 0.589 |
qestos | 12882.39 | 230.04 | 272.61 | 3.3 | 599.75 | 0.589 |
qsts | 12129.24 | 216.59 | 285.7 | 0.38 | 599.68 | 0.643 |
rareqs | 11289.46 | 201.6 | 276.48 | 1.24 | 599.66 | 0.679 |
squeezebf+struqs | 19999.96 | 357.14 | 280.01 | 599.71 | 597.1 | 0.411 |
struqs-10 | 20273.11 | 362.02 | 280.19 | 599.71 | 597.14 | 0.429 |
xb-bid-qsts | 11662.35 | 208.26 | 273.78 | 16.41 | 599.33 | 0.696 |
xb-qsts | 14155.45 | 252.78 | 291.82 | 2.69 | 599.37 | 0.625 |