RFC: Print Kani version #4802
Job | Run time |
---|---|
5m 36s | |
28m 16s | |
21m 11s | |
40m 42s | |
26m 25s | |
36m 10s | |
11m 40s | |
18m 5s | |
1h 7m 41s | |
38m 54s | |
4h 54m 40s |
Job | Run time |
---|---|
5m 36s | |
28m 16s | |
21m 11s | |
40m 42s | |
26m 25s | |
36m 10s | |
11m 40s | |
18m 5s | |
1h 7m 41s | |
38m 54s | |
4h 54m 40s |