wmt23 archive uses translator="refA"
#177
| Job | Run time |
|---|---|
| 16m 48s | |
| 16m 18s | |
| 16m 46s | |
| 16m 32s | |
| 14m 33s | |
| 30m 52s | |
| 31m 50s | |
| 27m 4s | |
| 30m 50s | |
| 27m 7s | |
| 21m 2s | |
| 19m 9s | |
| 18m 44s | |
| 18m 0s | |
| 18m 15s | |
| 17m 21s | |
| 16m 56s | |
| 5h 58m 7s |