This report was generated with jqwik 1.3.6
jqwik currently normalises this example to [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]
Over 100 runs, jqwik performed between 5 and 105 evaluations during shrinking, with a mean cost of 20.58 (95% confidence interval 18.13 - 22.54).