Fix constraint arena construction #2302
Job | Run time |
---|---|
6s | |
39s | |
25s | |
4m 2s | |
3m 58s | |
4m 42s | |
26m 50s | |
27m 45s | |
19m 12s | |
5m 24s | |
19m 43s | |
6m 39s | |
6m 48s | |
22m 11s | |
24m 55s | |
6s | |
1m 21s | |
0s | |
2h 54m 46s |
Job | Run time |
---|---|
6s | |
39s | |
25s | |
4m 2s | |
3m 58s | |
4m 42s | |
26m 50s | |
27m 45s | |
19m 12s | |
5m 24s | |
19m 43s | |
6m 39s | |
6m 48s | |
22m 11s | |
24m 55s | |
6s | |
1m 21s | |
0s | |
2h 54m 46s |