Merge pull request #638 from chiphogg/chiphogg/miller-rabin#509 #345
Job | Run time |
---|---|
8s | |
7m 54s | |
8m 4s | |
8m 0s | |
7m 43s | |
7m 38s | |
7m 51s | |
9m 30s | |
7m 58s | |
7m 46s | |
7m 47s | |
8m 1s | |
7m 49s | |
7m 59s | |
8m 10s | |
7m 47s | |
9m 37s | |
7m 57s | |
7m 32s | |
8m 11s | |
8m 0s | |
9m 9s | |
9m 32s | |
9m 8s | |
7m 43s | |
3h 16m 54s |