Added a benchmark for the predicate with ed19 verification #8706
Job | Run time |
---|---|
24s | |
18s | |
17s | |
14s | |
21s | |
12s | |
0s | |
55s | |
5m 30s | |
6m 15s | |
5m 1s | |
17m 22s | |
19m 16s | |
22m 5s | |
6m 12s | |
1m 17s | |
1m 1s | |
9m 59s | |
7m 46s | |
42s | |
56s | |
56s | |
40s | |
36s | |
3s | |
24m 40s | |
8m 50s | |
4m 55s | |
26m 43s | |
28s | |
0s | |
0s | |
0s | |
2h 53m 54s |