Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 535.41 | 17.85 | 37.13 | 5.06 | 16.62 | 1 |
aqua-f3v | 8408.08 | 280.27 | 298.83 | 3.81 | 599.64 | 0.533 |
aqua-s2v | 8406.74 | 280.22 | 298.89 | 2.98 | 599.64 | 0.533 |
aqua-s3o | 8407.67 | 280.26 | 298.84 | 3.42 | 599.64 | 0.533 |
caqe-minisat | 10195.64 | 339.85 | 294.45 | 599.7 | 599.57 | 0.467 |
caqe-picosat | 9176.55 | 305.89 | 295.15 | 376.26 | 599.65 | 0.5 |
depqbf-v1 | 10738.38 | 357.95 | 279.36 | 592.03 | 592.31 | 0.433 |
depqbf-v2 | 5990.77 | 199.69 | 278.36 | 3.31 | 592.73 | 0.667 |
depqbf-v3 | 13031.56 | 434.39 | 257.26 | 599.71 | 598.64 | 0.333 |
ghostq-cegar | 3461.26 | 115.38 | 178.22 | 44.64 | 126.22 | 0.9 |
ghostq-plain | 10184.51 | 339.48 | 279.94 | 527.37 | 599.21 | 0.533 |
hiqqer1 | 10884.31 | 362.81 | 290.59 | 599.71 | 599.66 | 0.4 |
hiqqer1ldsq | 10882.84 | 362.76 | 290.65 | 599.71 | 599.66 | 0.4 |
hiqqer3 | 10248.14 | 341.6 | 295.33 | 599.71 | 599.66 | 0.433 |
iprover-QBF | 12610.89 | 420.36 | 177.43 | 469.09 | 231.48 | 0.1 |
iprover-QBF-bloqqer | 7176.6 | 239.22 | 246.69 | 170.9 | 482.46 | 0.367 |
qesto | 7393.15 | 246.44 | 284.77 | 12.07 | 599.69 | 0.633 |
qestos | 9578.22 | 319.27 | 298.43 | 588.52 | 599.79 | 0.467 |
qsts | 14419.33 | 480.64 | 238.18 | 599.71 | 0.1 | 0.2 |
rareqs | 7555.8 | 251.86 | 285.68 | 61.74 | 599.69 | 0.6 |
squeezebf+struqs | 12664.87 | 422.16 | 271.27 | 599.71 | 589.54 | 0.3 |
struqs-10 | 12664.5 | 422.15 | 271.27 | 599.71 | 589.59 | 0.3 |
xb-bid-qsts | 4632.55 | 154.42 | 246.88 | 31.71 | 41.58 | 0.767 |
xb-qsts | 9608.85 | 320.3 | 298.72 | 599.71 | 599.55 | 0.467 |