| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-09-17 | Convert the times and get the statistics with R | Silvan Jegen |
| 2016-09-16 | Get rid of unneeded characters in the measurements | Silvan Jegen |
| 2016-09-15 | Repeat the runs 10 times | Silvan Jegen |
| 2016-09-15 | Add benchmarking scripts and benchmarking subset | Silvan Jegen |
