Periodically print Z3 statistics #6987
Job | Run time |
---|---|
21m 33s | |
4s | |
2m 17s | |
3m 41s | |
18m 50s | |
2m 55s | |
10m 17s | |
4m 36s | |
16m 38s | |
3m 22s | |
1h 24m 13s |
Job | Run time |
---|---|
21m 33s | |
4s | |
2m 17s | |
3m 41s | |
18m 50s | |
2m 55s | |
10m 17s | |
4m 36s | |
16m 38s | |
3m 22s | |
1h 24m 13s |