0.4.2: update versions: python 3.12, minizinc 2.6-2.7.6 (#77) #49
Job | Run time |
---|---|
1m 35s | |
1m 46s | |
1m 56s | |
1m 41s | |
1m 45s | |
1m 56s | |
1m 35s | |
2m 7s | |
1m 49s | |
1m 46s | |
18s | |
18m 14s |
Job | Run time |
---|---|
1m 35s | |
1m 46s | |
1m 56s | |
1m 41s | |
1m 45s | |
1m 56s | |
1m 35s | |
2m 7s | |
1m 49s | |
1m 46s | |
18s | |
18m 14s |