Use int<0, 1> instead of 0|1 #2916
Job | Run time |
---|---|
9s | |
33s | |
34s | |
10s | |
11s | |
14s | |
28s | |
35s | |
33s | |
39s | |
43s | |
39s | |
1m 36s | |
1m 51s | |
1m 40s | |
30s | |
2m 23s | |
15s | |
28s | |
14s | |
29s | |
21s | |
26s | |
15m 41s |
Job | Run time |
---|---|
9s | |
33s | |
34s | |
10s | |
11s | |
14s | |
28s | |
35s | |
33s | |
39s | |
43s | |
39s | |
1m 36s | |
1m 51s | |
1m 40s | |
30s | |
2m 23s | |
15s | |
28s | |
14s | |
29s | |
21s | |
26s | |
15m 41s |