Age | Commit message (Collapse) | 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 | |
We also only print the 'real' time. | |||
2016-09-15 | Add benchmarking scripts and benchmarking subset | Silvan Jegen | |