> KEVM gets like, 30 steps/second, KMIR gets something like 100. So ideally we would be up in the 100 range. However, according the [log](https://github.com/runtimeverification/zkevm-harness/blob/add-9000/log.txt) for running 9000 steps, 5.5 steps per second on my macbook.
