fix corner case in booleans
#1612
Job | Run time |
---|---|
21s | |
53s | |
25s | |
34s | |
1m 30s | |
50s | |
8m 47s | |
49s | |
12m 49s | |
19s | |
46s | |
21s | |
32s | |
1m 15s | |
42s | |
8m 36s | |
45s | |
9m 16s | |
22s | |
52s | |
29s | |
38s | |
1m 35s | |
53s | |
8m 47s | |
52s | |
12m 56s | |
24s | |
51s | |
29s | |
34s | |
1m 35s | |
57s | |
8m 48s | |
52s | |
13m 56s | |
28s | |
1m 6s | |
33s | |
36s | |
1m 58s | |
1m 4s | |
8m 59s | |
57s | |
17m 53s | |
2h 18m 54s |