Merge pull request #2118 from Alizter/ps/rr/subgroup_and_ideal_preimage #2987
| Job | Run time |
|---|---|
| 1m 46s | |
| 1m 42s | |
| 1m 42s | |
| 1m 41s | |
| 1m 41s | |
| 1m 44s | |
| 1m 41s | |
| 1m 42s | |
| 1m 42s | |
| 1m 42s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 5s | |
| 17m 15s |
| Job | Run time |
|---|---|
| 1m 46s | |
| 1m 42s | |
| 1m 42s | |
| 1m 41s | |
| 1m 41s | |
| 1m 44s | |
| 1m 41s | |
| 1m 42s | |
| 1m 42s | |
| 1m 42s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 5s | |
| 17m 15s |