Use the eq-bytecode even without optimizations. #9378
Job | Run time |
---|---|
1s | |
4m 17s | |
8m 13s | |
8m 14s | |
7m 59s | |
8m 23s | |
9m 10s | |
8m 47s | |
11m 50s | |
11m 4s | |
17m 15s | |
12m 24s | |
9m 54s | |
10m 1s | |
9m 47s | |
9m 47s | |
9m 42s | |
9m 44s | |
8m 18s | |
8m 54s | |
8m 2s | |
1m 4s | |
3s | |
0s | |
0s | |
0s | |
3h 12m 53s |