| Successful tests -- CHECK: median: 0.775769 (s), stddev: 0.014802129132136525 (s) | |
| Successful tests -- REQUIRE: median: 0.785235 (s), stddev: 0.03532672836834896 (s) | |
| Unsuccessful tests -- CHECK: median: 15.156600000000001 (s), stddev: 0.2832375673450742 (s) |