Merge pull request #43 from kalmarek/mk/SchreierTransversal_op #168
Job | Run time |
---|---|
1m 33s | |
1m 33s | |
1m 33s | |
1m 37s | |
1m 37s | |
1m 37s | |
12m 0s | |
12m 0s | |
12m 0s | |
1m 15s | |
1m 15s | |
1m 15s | |
1m 29s | |
1m 29s | |
1m 29s | |
1m 44s | |
1m 44s | |
1m 44s | |
1m 42s | |
1m 42s | |
1m 42s | |
1m 49s | |
1m 47s | |
2m 8s | |
2m 22s | |
2m 22s | |
2m 22s | |
1h 16m 50s |