refactor!: replace output of result_evaluate and final_round_evaluate of ProofPlan with Table
#2274
| Job | Run time |
|---|---|
| 1m 58s | |
| 1m 59s | |
| 1m 59s | |
| 13s | |
| 5s | |
| 10s | |
| 1m 11s | |
| 1m 56s | |
| 9m 31s |