|
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)
|