Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 748.33 | 74.83 | 175.07 | 18.7 | 7.53 | 0.9 |
aqua-f3v | 5995.05 | 599.51 | 0.45 | 599.68 | 0.88 | 0 |
aqua-s2v | 5717.24 | 571.72 | 83.38 | 599.6 | 1.02 | 0.1 |
aqua-s3o | 5396.51 | 539.65 | 179.64 | 599.58 | 0.93 | 0.1 |
caqe-minisat | 4289.47 | 428.95 | 261.3 | 599.65 | 579.93 | 0.3 |
caqe-picosat | 3277.85 | 327.79 | 273.79 | 357.88 | 579.91 | 0.3 |
depqbf-v1 | 3812.61 | 381.26 | 266.06 | 592.67 | 581.23 | 0.4 |
depqbf-v2 | 3912.41 | 391.24 | 260.59 | 592.42 | 582.32 | 0.4 |
depqbf-v3 | 3946.92 | 394.69 | 264.13 | 599.76 | 589.36 | 0.4 |
ghostq-cegar | 3586.17 | 358.62 | 196.42 | 272.04 | 387.7 | 0.3 |
ghostq-plain | 3544.75 | 354.48 | 196.81 | 210.07 | 400.34 | 0.3 |
hiqqer1 | 3920.25 | 392.03 | 267.57 | 599.81 | 594.87 | 0.4 |
hiqqer1ldsq | 3603.8 | 360.38 | 268.04 | 599.76 | 594.9 | 0.3 |
hiqqer3 | 4051.13 | 405.11 | 266.26 | 599.81 | 594.9 | 0.4 |
iprover-QBF | 4288.27 | 428.83 | 237.42 | 599.22 | 560.83 | 0.4 |
iprover-QBF-bloqqer | 4453.76 | 445.38 | 242.11 | 599.12 | 579.28 | 0.3 |
qesto | 4797.88 | 479.79 | 239.56 | 599.48 | 598.45 | 0.2 |
qestos | 4200.06 | 420.01 | 274.28 | 599.53 | 598.32 | 0.3 |
qsts | 3929.2 | 392.92 | 200.95 | 447.24 | 440.95 | 0.2 |
rareqs | 3979.57 | 397.96 | 267.66 | 599.43 | 598.4 | 0.4 |
squeezebf+struqs | 5997.51 | 599.75 | 0.05 | 599.71 | 0.1 | 0 |
struqs-10 | 5997.33 | 599.73 | 0.04 | 599.71 | 0.01 | 0 |
xb-bid-qsts | 3738.5 | 373.85 | 277.06 | 599.06 | 578.93 | 0.4 |
xb-qsts | 4252.77 | 425.28 | 266.25 | 599.41 | 579.61 | 0.3 |