Extract rules for Invariants. Use keyword for Invariant description, rules for everything else #1352
Job | Run time |
---|---|
52s | |
1m 13s | |
1m 9s | |
1m 57s | |
1m 48s | |
2m 8s | |
3m 19s | |
12m 26s |
Job | Run time |
---|---|
52s | |
1m 13s | |
1m 9s | |
1m 57s | |
1m 48s | |
2m 8s | |
3m 19s | |
12m 26s |