Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
aqme-10 | 234.47 | 7.82 | 7.34 | 3.82 | 4.02 | 1 |
depqbf | 5081.01 | 169.37 | 358.73 | 6.34 | 75.07 | 0.9 |
depqbf-pre | 5413.09 | 180.44 | 384.9 | 5.38 | 31.97 | 0.9 |
nenofex-qbfeval10 | 17578.23 | 585.94 | 473.61 | 508.06 | 1150.19 | 0.667 |
quantor-3.1 | 1133.97 | 37.8 | 37.96 | 22.14 | 84.92 | 0.333 |
QuBE7 | 6260.05 | 208.67 | 208.58 | 159.24 | 191.02 | 1 |
QuBE7-c | 6709.09 | 223.64 | 214.48 | 176.48 | 207.19 | 1 |
QuBE7-m | 6671.76 | 222.39 | 210.76 | 180.46 | 205.7 | 1 |
struqs-10 | 33760.83 | 1125.36 | 167.31 | 1200.08 | 0 | 0.167 |