[Bridge] implement special case for x != y in CountDistinctToMILPBridge #4121
Job | Run time |
---|---|
40m 0s | |
42m 37s | |
25m 50s | |
25m 23s | |
28m 16s | |
27m 51s | |
28m 59s | |
27m 13s | |
31m 16s | |
30m 24s | |
5h 7m 49s |
Job | Run time |
---|---|
40m 0s | |
42m 37s | |
25m 50s | |
25m 23s | |
28m 16s | |
27m 51s | |
28m 59s | |
27m 13s | |
31m 16s | |
30m 24s | |
5h 7m 49s |