sync flatzinc code: fix #4392 #1533
Job | Run time |
---|---|
35m 28s | |
36m 55s | |
37m 9s | |
35m 27s | |
38m 48s | |
36m 9s | |
36m 9s | |
36m 55s | |
36m 25s | |
37m 7s | |
36m 47s | |
35m 36s | |
7h 18m 55s |
Job | Run time |
---|---|
35m 28s | |
36m 55s | |
37m 9s | |
35m 27s | |
38m 48s | |
36m 9s | |
36m 9s | |
36m 55s | |
36m 25s | |
37m 7s | |
36m 47s | |
35m 36s | |
7h 18m 55s |