Add support for MOI.AllDifferent #97
Job | Run time |
---|---|
56s | |
9m 19s | |
11m 13s | |
8m 26s | |
10m 6s | |
14m 39s | |
16m 25s | |
7m 50s | |
9m 45s | |
12m 30s | |
1h 41m 9s |
Job | Run time |
---|---|
56s | |
9m 19s | |
11m 13s | |
8m 26s | |
10m 6s | |
14m 39s | |
16m 25s | |
7m 50s | |
9m 45s | |
12m 30s | |
1h 41m 9s |