Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
aqme-10 | 2676.96 | 89.23 | 239.94 | 3.93 | 9.03 | 0.967 |
depqbf | 6136.63 | 204.55 | 407.03 | 4.45 | 43.2 | 0.867 |
depqbf-pre | 6088.59 | 202.95 | 405.05 | 4.76 | 65.72 | 0.867 |
nenofex-qbfeval10 | 20352.73 | 678.42 | 459.33 | 667.36 | 1087.66 | 0.633 |
quantor-3.1 | 949.65 | 31.65 | 26.85 | 27.2 | 61.6 | 0.333 |
QuBE7 | 6564.11 | 218.8 | 296.53 | 136.11 | 302.5 | 0.967 |
QuBE7-c | 11293.75 | 376.46 | 450.33 | 173.07 | 419.08 | 0.8 |
QuBE7-m | 11047.43 | 368.25 | 435.9 | 173.06 | 413.31 | 0.833 |
struqs-10 | 36002.49 | 1200.08 | 0.01 | 1200.08 | 0.01 | 0 |