Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 4221.01 | 527.63 | 183.27 | 598.22 | 8.67 | 0.125 |
aqua-f3v | 2100.14 | 262.52 | 189.69 | 240.56 | 341.3 | 0.625 |
aqua-s2v | 2100.13 | 262.52 | 200.95 | 204.33 | 374.07 | 0.625 |
aqua-s3o | 2085.56 | 260.7 | 195.24 | 218.52 | 362.33 | 0.625 |
caqe-minisat | 3708.83 | 463.6 | 237.04 | 599.71 | 247.19 | 0.25 |
caqe-picosat | 3469.54 | 433.69 | 236.15 | 599.73 | 367.29 | 0.375 |
depqbf-v1 | 2210.82 | 276.35 | 266.79 | 207.12 | 582.46 | 0.625 |
depqbf-v2 | 2267.72 | 283.47 | 252.51 | 208.81 | 558.66 | 0.625 |
depqbf-v3 | 2344.08 | 293.01 | 259.76 | 244.29 | 574.33 | 0.625 |
ghostq-cegar | 2773.89 | 346.74 | 203.36 | 370.52 | 325.49 | 0.25 |
ghostq-plain | 2211.46 | 276.43 | 131.5 | 344.87 | 138.04 | 0.375 |
hiqqer1 | 2283.8 | 285.48 | 262.84 | 221.24 | 580.48 | 0.625 |
hiqqer1ldsq | 2334.52 | 291.82 | 264.75 | 246.75 | 580.62 | 0.625 |
hiqqer3 | 2470.56 | 308.82 | 256.45 | 302.21 | 569.89 | 0.625 |
iprover-QBF | 4280.28 | 535.04 | 85.88 | 585.79 | 133.57 | 0 |
iprover-QBF-bloqqer | 4738.62 | 592.33 | 18.13 | 599.18 | 0.1 | 0.125 |
qesto | 3873.97 | 484.25 | 211.09 | 599.66 | 163.21 | 0.25 |
qestos | 1492.97 | 186.62 | 147.44 | 164.87 | 200.13 | 0.25 |
qsts | 2796.97 | 349.62 | 117.19 | 299.5 | 161.69 | 0 |
rareqs | 3082.33 | 385.29 | 277.41 | 599.66 | 558.86 | 0.375 |
squeezebf+struqs | 4498.49 | 562.31 | 99.02 | 599.71 | 0.05 | 0.125 |
struqs-10 | 4491.17 | 561.4 | 101.41 | 599.71 | 0 | 0.125 |
xb-bid-qsts | 2497.86 | 312.23 | 251.54 | 303.36 | 556.47 | 0.5 |
xb-qsts | 2484.46 | 310.56 | 251.6 | 297.36 | 557.24 | 0.5 |