This report was generated with jqwik 1.3.6
jqwik currently normalises this example to i=0
, ls=[0, 0]
Over 100 runs, jqwik performed between 24 and 899 evaluations during shrinking, with a mean cost of 132.74 (95% confidence interval 104.40 - 155.34).