Updated set.rs
docs to be more consistent with those in predicates.rs
.
#1033
Job | Run time |
---|---|
3m 30s | |
4m 43s | |
5m 41s | |
7m 27s | |
4m 10s | |
4m 26s | |
5m 50s | |
4m 44s | |
5m 17s | |
4m 12s | |
3m 55s | |
6m 3s | |
59m 58s |