https://github.com/metanorma/metanorma-ieee/issues/442 #1417
| Job | Run time |
|---|---|
| 15s | |
| 7m 1s | |
| 8m 59s | |
| 13m 15s | |
| 8m 20s | |
| 7m 0s | |
| 11m 37s | |
| 7m 2s | |
| 8m 47s | |
| 13m 0s | |
| 8m 28s | |
| 9m 58s | |
| 12s | |
| 0s | |
| 1h 43m 54s |
| Job | Run time |
|---|---|
| 15s | |
| 7m 1s | |
| 8m 59s | |
| 13m 15s | |
| 8m 20s | |
| 7m 0s | |
| 11m 37s | |
| 7m 2s | |
| 8m 47s | |
| 13m 0s | |
| 8m 28s | |
| 9m 58s | |
| 12s | |
| 0s | |
| 1h 43m 54s |