Set force-soft-floats
for benchmarks
#73
Job | Run time |
---|---|
3m 35s | |
12s | |
1m 38s | |
3m 31s | |
3s | |
47s | |
3m 29s | |
30s | |
18s | |
3m 31s | |
11s | |
3m 30s | |
3m 31s | |
3m 32s | |
3m 31s | |
3m 29s | |
3m 29s | |
3m 28s | |
3m 30s | |
43s | |
56s | |
47s | |
55s | |
3m 30s | |
5m 8s | |
20s | |
3m 23s | |
3m 19s | |
3m 23s | |
3m 15s | |
17s | |
16s | |
12s | |
12s | |
1s | |
1h 12m 22s |