Refactoring Enum_rel using domains on class representatives only
#2412
| Job | Run time |
|---|---|
| 3m 14s | |
| 28s | |
| 0s | |
| 3m 42s |
Enum_rel using domains on class representatives only
#2412
| Job | Run time |
|---|---|
| 3m 14s | |
| 28s | |
| 0s | |
| 3m 42s |