Refactoring Enum_rel using domains on class representatives only
#1628
| Job | Run time |
|---|---|
| 4m 13s | |
| 4m 13s | |
| 18m 41s | |
| 18m 41s | |
| 20m 27s | |
| 20m 27s | |
| 11m 59s | |
| 11m 59s | |
| 6m 1s | |
| 6m 1s | |
| 5m 33s | |
| 5m 33s | |
| 5m 41s | |
| 5m 33s | |
| 2h 25m 2s |