Improve prover implementation #1754
Job | Run time |
---|---|
7m 52s | |
7m 52s | |
7m 52s | |
9m 28s | |
11m 20s | |
14m 27s | |
3m 51s | |
3m 51s | |
3m 51s | |
56s | |
56s | |
56s | |
6m 40s | |
6m 40s | |
6m 40s | |
6m 4s | |
6m 4s | |
6m 4s | |
6m 39s | |
6m 39s | |
6m 39s | |
51s | |
51s | |
51s | |
12m 51s | |
12m 51s | |
12m 51s | |
39s | |
39s | |
39s | |
2h 54m 24s |