| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
