[Bridge] implement special case for x != y in CountDistinctToMILPBrid… #4139
Job | Run time |
---|---|
38m 42s | |
46m 42s | |
26m 6s | |
27m 32s | |
28m 2s | |
27m 32s | |
29m 44s | |
27m 57s | |
31m 7s | |
30m 47s | |
5h 14m 11s |
Job | Run time |
---|---|
38m 42s | |
46m 42s | |
26m 6s | |
27m 32s | |
28m 2s | |
27m 32s | |
29m 44s | |
27m 57s | |
31m 7s | |
30m 47s | |
5h 14m 11s |