| Successful tests -- CHECK: median: 1.2982 (s), stddev: 0.019540648829214084 (s) | |
| Successful tests -- REQUIRE: median: 1.30102 (s), stddev: 0.014758430547392974 (s) | |
| Unsuccessful tests -- CHECK: median: 15.520199999999999 (s), stddev: 0.09536359426485094 (s) |