Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
aqme-10 | 60697.36 | 551.79 | 584.8 | 49.42 | 1193.56 | 0.545 |
depqbf | 118989.58 | 1081.72 | 355.45 | 1200.16 | 0.01 | 0.1 |
depqbf-pre | 101087.38 | 918.98 | 505.96 | 1200.15 | 0.21 | 0.236 |
nenofex-qbfeval10 | 52971.01 | 481.55 | 375.56 | 424.71 | 288.84 | 0.236 |
quantor-3.1 | 19116.55 | 173.79 | 234.76 | 102.62 | 116.6 | 0.336 |
QuBE7 | 22907.2 | 208.25 | 453.21 | 0.33 | 1.86 | 0.827 |
QuBE7-c | 24720.18 | 224.73 | 460.59 | 0.33 | 1.31 | 0.827 |
QuBE7-m | 24998.39 | 227.26 | 463.95 | 0.34 | 1.32 | 0.827 |
struqs-10 | 56465.72 | 513.32 | 584.23 | 21 | 1196.52 | 0.582 |