specs: Set max-atomic-width to 16 #759
Job | Run time |
---|---|
56s | |
36s | |
56s | |
53s | |
38s | |
42s | |
32s | |
1m 7s | |
1m 16s | |
33s | |
32s | |
48s | |
40s | |
50s | |
38s | |
48s | |
36s | |
36s | |
55s | |
48s | |
49s | |
45s | |
56s | |
35s | |
50s | |
19m 15s |
Job | Run time |
---|---|
56s | |
36s | |
56s | |
53s | |
38s | |
42s | |
32s | |
1m 7s | |
1m 16s | |
33s | |
32s | |
48s | |
40s | |
50s | |
38s | |
48s | |
36s | |
36s | |
55s | |
48s | |
49s | |
45s | |
56s | |
35s | |
50s | |
19m 15s |