Here you find the average performance (time & memory) of each version. A grayed out version indicates it didn't complete successfully (based on exit-code).
| Version | System time (s) | User time (s) | Memory (MiB) |
|---|---|---|---|
| 7.1.7 | 0.000 | 0.007 | 17.04 |
| 7.1.6 | 0.012 | 0.012 | 19.32 |
| 7.1.5 | 0.008 | 0.003 | 17.16 |
| 7.0.20 | 0.002 | 0.005 | 16.54 |