Dear Sirs, can you please merge this branch with master. It contains new results for the first benchmark.
Best regards,
Maria Nestola
merged
mentioned in commit 03abcab0
mentioned in issue #1