Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 3598.48 | 514.07 | 209.83 | 599.72 | 599.65 | 0.143 |
aqua-f3v | 2557.23 | 365.32 | 275.08 | 599.75 | 599.73 | 0.286 |
aqua-s2v | 2127.2 | 303.89 | 263.64 | 166.43 | 599.67 | 0.286 |
aqua-s3o | 2148.48 | 306.93 | 249.5 | 244.99 | 536.44 | 0.286 |
caqe-minisat | 3008.24 | 429.75 | 268.75 | 599.71 | 599.32 | 0.286 |
caqe-picosat | 3008.72 | 429.82 | 268.62 | 599.7 | 599.31 | 0.286 |
depqbf-v1 | 2197.27 | 313.9 | 277.74 | 416.21 | 593.24 | 0.571 |
depqbf-v2 | 2387.93 | 341.13 | 290.82 | 592.62 | 592.43 | 0.429 |
depqbf-v3 | 2425.34 | 346.48 | 292.55 | 599.71 | 599.63 | 0.429 |
ghostq-cegar | 1542.84 | 220.41 | 245.82 | 24.88 | 441.97 | 0.571 |
ghostq-plain | 1708.24 | 244.03 | 218.94 | 342.12 | 367.19 | 0.429 |
hiqqer1 | 3000.44 | 428.63 | 270.62 | 599.81 | 599.67 | 0.286 |
hiqqer1ldsq | 3000.24 | 428.61 | 270.6 | 599.71 | 599.58 | 0.286 |
hiqqer3 | 3000.35 | 428.62 | 270.61 | 599.71 | 599.62 | 0.286 |
iprover-QBF | 2498.36 | 356.91 | 221.62 | 397.54 | 533.36 | 0.286 |
iprover-QBF-bloqqer | 2887.04 | 412.43 | 260.1 | 599.12 | 597.23 | 0.286 |
qesto | 2674.96 | 382.14 | 251.96 | 487.62 | 599.66 | 0.286 |
qestos | 1701.72 | 243.1 | 236.36 | 177.12 | 188.07 | 0.286 |
qsts | 1826.41 | 260.92 | 179.02 | 265.43 | 387.02 | 0.143 |
rareqs | 1974.28 | 282.04 | 229.32 | 270.89 | 305.17 | 0.286 |
squeezebf+struqs | 2806.26 | 400.89 | 256.69 | 599.71 | 599.58 | 0.429 |
struqs-10 | 2833.18 | 404.74 | 256.34 | 599.71 | 599.58 | 0.429 |
xb-bid-qsts | 1518.56 | 216.94 | 232.27 | 147.14 | 157.01 | 0.429 |
xb-qsts | 1709.72 | 244.25 | 209.93 | 156.93 | 363.62 | 0.429 |