- reductionの条件色々追加。 #709
| Job | Run time |
|---|---|
| 25m 49s | |
| 10m 50s | |
| 20m 54s | |
| 26m 16s | |
| 13m 41s | |
| 19m 18s | |
| 26m 41s | |
| 12m 9s | |
| 23m 26s | |
| 26m 17s | |
| 8m 47s | |
| 19m 11s | |
| 25m 26s | |
| 10m 27s | |
| 23m 52s | |
| 25m 50s | |
| 10m 47s | |
| 21m 3s | |
| 26m 22s | |
| 10m 45s | |
| 23m 32s | |
| 33m 36s | |
| 10m 46s | |
| 23m 55s | |
| 37m 55s | |
| 11m 57s | |
| 17m 12s | |
| 25m 56s | |
| 7m 47s | |
| 18m 33s | |
| 23m 35s | |
| 8m 16s | |
| 17m 31s | |
| 28m 2s | |
| 11m 6s | |
| 22m 26s | |
| 31m 42s | |
| 12m 20s | |
| 23m 7s | |
| 21m 58s | |
| 14m 42s | |
| 18m 1s | |
| 22m 45s | |
| 8m 17s | |
| 21m 30s | |
| 9m 37s | |
| 19m 6s | |
| 10m 5s | |
| 21m 7s | |
| 9m 23s | |
| 20m 18s | |
| 9m 4s | |
| 20m 8s | |
| 10m 33s | |
| 16h 53m 39s |