Plumbing for Boogie backend (#2506) #4784
Job | Run time |
---|---|
7m 38s | |
20m 41s | |
30m 27s | |
33m 31s | |
26m 41s | |
30m 46s | |
9m 17s | |
38m 49s | |
1h 21m 37s | |
24m 18s | |
5h 3m 45s |
Job | Run time |
---|---|
7m 38s | |
20m 41s | |
30m 27s | |
33m 31s | |
26m 41s | |
30m 46s | |
9m 17s | |
38m 49s | |
1h 21m 37s | |
24m 18s | |
5h 3m 45s |