Use subsumes
in subset
#1203
Job | Run time |
---|---|
27m 6s | |
27m 35s | |
16m 49s | |
16m 39s | |
20m 32s | |
24m 22s | |
34m 34s | |
2h 47m 37s |
subsumes
in subset
#1203
Job | Run time |
---|---|
27m 6s | |
27m 35s | |
16m 49s | |
16m 39s | |
20m 32s | |
24m 22s | |
34m 34s | |
2h 47m 37s |