Generalize some results in monalg to nmodType and semiRingType, and r… #169
| Job | Run time |
|---|---|
| 16m 21s | |
| 14m 26s | |
| 13m 50s | |
| 16m 26s | |
| 14m 26s | |
| 14m 50s | |
| 3m 36s | |
| 3m 0s | |
| 3m 7s | |
| 3m 49s | |
| 1h 43m 51s |
| Job | Run time |
|---|---|
| 16m 21s | |
| 14m 26s | |
| 13m 50s | |
| 16m 26s | |
| 14m 26s | |
| 14m 50s | |
| 3m 36s | |
| 3m 0s | |
| 3m 7s | |
| 3m 49s | |
| 1h 43m 51s |