Add ProofSizeExt to benchmarks
#5186
| Job | Run time |
|---|---|
| 3s | |
| 4s | |
| 24m 37s | |
| 18m 53s | |
| 43m 37s |
ProofSizeExt to benchmarks
#5186
| Job | Run time |
|---|---|
| 3s | |
| 4s | |
| 24m 37s | |
| 18m 53s | |
| 43m 37s |