This report was generated with jqwik 1.3.6
jqwik produced 2 distinct results in 55 test runs.
These were:
first=10
,second=9
(69.09%)first=11
,second=10
(30.91%)
Over 55 runs, jqwik performed between 68 and 1053 evaluations during shrinking, with a mean cost of 513.49 (95% confidence interval 437.27 - 588.15).