[Bridge] implement special case for x != y in CountDistinctToMILPBridge #4125
Job | Run time |
---|---|
40m 14s | |
41m 0s | |
25m 19s | |
25m 27s | |
27m 14s | |
27m 32s | |
28m 49s | |
27m 39s | |
30m 54s | |
30m 2s | |
5h 4m 10s |
Job | Run time |
---|---|
40m 14s | |
41m 0s | |
25m 19s | |
25m 27s | |
27m 14s | |
27m 32s | |
28m 49s | |
27m 39s | |
30m 54s | |
30m 2s | |
5h 4m 10s |