link controller to servicer in servicer spec for certora #70
| Job | Run time |
|---|---|
| 6m 42s | |
| 2m 36s | |
| 17m 21s | |
| 7m 51s | |
| 20m 53s | |
| 20m 53s | |
| 6m 44s | |
| 6m 11s | |
| 20m 50s | |
| 20m 52s | |
| 20m 53s | |
| 20m 52s | |
| 14m 7s | |
| 3m 31s | |
| 7m 47s | |
| 20m 50s | |
| 17m 59s | |
| 20m 34s | |
| 20m 49s | |
| 20m 51s | |
| 20m 50s | |
| 20m 50s | |
| 20m 50s | |
| 20m 52s | |
| 5m 50s | |
| 6h 28m 18s |