This report was generated with jqwik 1.3.6
jqwik currently normalises this example to first=10
, second=10
Over 100 runs, jqwik performed between 58 and 579 evaluations during shrinking, with a mean cost of 386.12 (95% confidence interval 370.45 - 402.41).