Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 4798.29 | 599.79 | 0.07 | 599.77 | 0.05 | 0 |
aqua-f3v | 4799.82 | 599.98 | 0.06 | 600 | 0 | 0 |
aqua-s2v | 4799.54 | 599.94 | 0.1 | 600 | 0.09 | 0 |
aqua-s3o | 4800 | 600 | 0 | 600 | 0 | 0 |
caqe-minisat | 2998.42 | 374.8 | 151.11 | 386.92 | 249.72 | 0 |
caqe-picosat | 3152.34 | 394.04 | 168.29 | 341.85 | 349.57 | 0 |
depqbf-v1 | 941.12 | 117.64 | 184.14 | 30.2 | 70.01 | 0.25 |
depqbf-v2 | 3648.68 | 456.09 | 215.34 | 592.22 | 289.55 | 0.375 |
depqbf-v3 | 3362.18 | 420.27 | 234.8 | 599.71 | 449.58 | 0.375 |
ghostq-cegar | 4353.73 | 544.22 | 81.81 | 599.42 | 110.49 | 0 |
ghostq-plain | 4299.69 | 537.46 | 91.73 | 599.41 | 122.95 | 0 |
hiqqer1 | 4798.09 | 599.76 | 0.05 | 599.77 | 0.1 | 0 |
hiqqer1ldsq | 4798.19 | 599.77 | 0.05 | 599.81 | 0.1 | 0 |
hiqqer3 | 4798.72 | 599.84 | 0.06 | 599.82 | 0 | 0 |
iprover-QBF | 1676.9 | 209.61 | 184.44 | 147.15 | 249.66 | 0 |
iprover-QBF-bloqqer | 2631.26 | 328.91 | 127.05 | 260.34 | 150.25 | 0 |
qesto | 2590.35 | 323.79 | 275.89 | 326.27 | 550.5 | 0 |
qestos | 1721.48 | 215.19 | 59.09 | 218.38 | 79.85 | 0 |
qsts | 4793.42 | 599.18 | 0.23 | 599.16 | 0.37 | 0 |
rareqs | 4714.03 | 589.25 | 27.19 | 599.47 | 0.19 | 0 |
squeezebf+struqs | 4798.38 | 599.8 | 0.03 | 599.81 | 0 | 0 |
struqs-10 | 4798.58 | 599.82 | 0 | 599.82 | 0 | 0 |
xb-bid-qsts | 4153.65 | 519.21 | 131.29 | 598.36 | 135.28 | 0 |
xb-qsts | 4138.04 | 517.26 | 132.54 | 598.36 | 142.13 | 0 |