Utilize dependency claims when discharging KClaim style proofs #5891
Job | Run time |
---|---|
8s | |
44s | |
2m 23s | |
58m 10s | |
7m 17s | |
15m 36s | |
21m 1s | |
15m 36s | |
38m 16s | |
8m 59s | |
32m 20s | |
1h 19m 29s | |
4h 39m 59s |
Job | Run time |
---|---|
8s | |
44s | |
2m 23s | |
58m 10s | |
7m 17s | |
15m 36s | |
21m 1s | |
15m 36s | |
38m 16s | |
8m 59s | |
32m 20s | |
1h 19m 29s | |
4h 39m 59s |