proof: remove hoare_vcg_precond_imp from wp_comb #814
Job | Run time |
---|---|
27s | |
14s | |
15s | |
3h 7m 25s | |
2h 22m 32s | |
1h 16m 3s | |
11m 44s | |
1h 16m 51s | |
2h 21m 37s | |
13m 48s | |
2h 3m 6s | |
12m 31s | |
2h 36m 30s | |
1m 23s | |
15h 44m 26s |
Job | Run time |
---|---|
27s | |
14s | |
15s | |
3h 7m 25s | |
2h 22m 32s | |
1h 16m 3s | |
11m 44s | |
1h 16m 51s | |
2h 21m 37s | |
13m 48s | |
2h 3m 6s | |
12m 31s | |
2h 36m 30s | |
1m 23s | |
15h 44m 26s |