[alethe] Support for rules added during elaboration of rewrites #1851
| Job | Run time |
|---|---|
| 5m 53s | |
| 10m 37s | |
| 13m 1s | |
| 10m 54s | |
| 9m 4s | |
| 3m 58s | |
| 11m 16s | |
| 5m 35s | |
| 5m 23s | |
| 14m 10s | |
| 4m 27s | |
| 1h 34m 18s |
| Job | Run time |
|---|---|
| 5m 53s | |
| 10m 37s | |
| 13m 1s | |
| 10m 54s | |
| 9m 4s | |
| 3m 58s | |
| 11m 16s | |
| 5m 35s | |
| 5m 23s | |
| 14m 10s | |
| 4m 27s | |
| 1h 34m 18s |