Improve local reification and desugaring with respect to standalone k… #264
| Job | Run time |
|---|---|
| 3m 33s | |
| 3m 36s | |
| 3m 48s | |
| 3m 14s | |
| 2m 57s | |
| 3m 4s | |
| 3m 0s | |
| 2m 47s | |
| 2m 47s | |
| 2m 56s | |
| 2m 32s | |
| 3m 28s | |
| 37m 42s |
| Job | Run time |
|---|---|
| 3m 33s | |
| 3m 36s | |
| 3m 48s | |
| 3m 14s | |
| 2m 57s | |
| 3m 4s | |
| 3m 0s | |
| 2m 47s | |
| 2m 47s | |
| 2m 56s | |
| 2m 32s | |
| 3m 28s | |
| 37m 42s |