Experiments with empirical properties of stochastic prime-testing algorithms algorithms used: Fermat Solovay–Strassen Rabin–Miller