Generalize some results in monalg to nmodType and semiRingType #194
| Job | Run time |
|---|---|
| 16m 54s | |
| 14m 8s | |
| 13m 59s | |
| 16m 34s | |
| 14m 33s | |
| 14m 25s | |
| 3m 12s | |
| 3m 7s | |
| 3m 4s | |
| 3m 20s | |
| 1h 43m 16s |
| Job | Run time |
|---|---|
| 16m 54s | |
| 14m 8s | |
| 13m 59s | |
| 16m 34s | |
| 14m 33s | |
| 14m 25s | |
| 3m 12s | |
| 3m 7s | |
| 3m 4s | |
| 3m 20s | |
| 1h 43m 16s |