Move TraceLde
constructor into Prover
trait
#836
Job | Run time |
---|---|
29s | |
20s | |
58s | |
37s | |
1m 44s | |
57s | |
34s | |
1m 55s | |
7m 34s |
TraceLde
constructor into Prover
trait
#836
Job | Run time |
---|---|
29s | |
20s | |
58s | |
37s | |
1m 44s | |
57s | |
34s | |
1m 55s | |
7m 34s |