Adding cut_facets
feature
#133
Job | Run time |
---|---|
6m 13s | |
6m 22s | |
6m 22s | |
6m 22s | |
25m 19s |
cut_facets
feature
#133
Job | Run time |
---|---|
6m 13s | |
6m 22s | |
6m 22s | |
6m 22s | |
25m 19s |