fix(ssa): Handle array arguments to side effectual constrain statements #778
Job | Run time |
---|---|
2m 3s | |
3m 10s | |
3m 37s | |
5m 10s | |
36s | |
57s | |
21s | |
40s | |
34s | |
25s | |
1m 23s | |
8m 21s | |
51s | |
1s | |
28m 9s |
Job | Run time |
---|---|
2m 3s | |
3m 10s | |
3m 37s | |
5m 10s | |
36s | |
57s | |
21s | |
40s | |
34s | |
25s | |
1m 23s | |
8m 21s | |
51s | |
1s | |
28m 9s |