Merge pull request #172 from goblint/attr-enumerator #736
Job | Run time |
---|---|
26m 43s | |
22m 48s | |
19m 18s | |
16m 4s | |
20m 10s | |
17m 20s | |
15m 59s | |
18m 19s | |
16m 11s | |
18m 1s | |
15m 46s | |
16m 47s | |
16m 17s | |
11m 31s | |
12m 22s | |
10m 8s | |
9m 14s | |
8m 50s | |
8m 12s | |
8m 46s | |
8m 22s | |
8m 13s | |
8m 43s | |
9m 3s | |
8m 27s | |
8m 36s | |
8m 48s | |
6h 8m 58s |