Utility and Quality of life for VectorSpaces (#120) #196
| Job | Run time |
|---|---|
| 1h 0m 5s | |
| 1h 27m 44s | |
| 1h 11m 30s | |
| 42m 3s | |
| 1h 6m 59s | |
| 50m 45s | |
| 52m 10s | |
| 50m 12s | |
| 52m 33s | |
| 8h 54m 1s |
| Job | Run time |
|---|---|
| 1h 0m 5s | |
| 1h 27m 44s | |
| 1h 11m 30s | |
| 42m 3s | |
| 1h 6m 59s | |
| 50m 45s | |
| 52m 10s | |
| 50m 12s | |
| 52m 33s | |
| 8h 54m 1s |