provide KEVMSummarizer to sammarize rules for all the instruction rules
#10873
| Job | Run time |
|---|---|
| 42s | |
| 14m 44s | |
| 25s | |
| 8m 8s | |
| 36s | |
| 48m 47s | |
| 4h 45m 49s | |
| 6m 59s | |
| 1h 40m 16s | |
| 9m 21s | |
| 31m 52s | |
| 9m 40s | |
| 20m 37s | |
| 8h 57m 56s |