Update the comparison to other tools. (#736) #1995
| Job | Run time |
|---|---|
| 29s | |
| 3m 37s | |
| 2m 33s | |
| 3m 8s | |
| 1m 20s | |
| 2m 52s | |
| 2m 51s | |
| 2m 5s | |
| 2m 5s | |
| 2m 37s | |
| 3m 0s | |
| 2m 45s | |
| 5m 34s | |
| 34m 56s |
| Job | Run time |
|---|---|
| 29s | |
| 3m 37s | |
| 2m 33s | |
| 3m 8s | |
| 1m 20s | |
| 2m 52s | |
| 2m 51s | |
| 2m 5s | |
| 2m 5s | |
| 2m 37s | |
| 3m 0s | |
| 2m 45s | |
| 5m 34s | |
| 34m 56s |