This report was created with CsCheck 2.0.0
([28], [], [-18], [-637, -52, -23133, 6, -3, -1], [5574, -29598, 2, 0])
(3 shrinks, 77 skipped, 100 total)([5, 1, -22734, -14, -26, -1, 87], [1649, -2964], [-4781], [-1236], [-14875])
(2 shrinks, 73 skipped, 100 total)([], [-1906, -19760, -1], [109], [188], [-10, -29224, 542, -996, 5, 7691, -18, -2579])
(4 shrinks, 68 skipped, 100 total)([-55, 5], [-3718, -9554, 96, -11056, 0], [], [-1570], [1270, -2, -14, -22218])
(9 shrinks, 64 skipped, 100 total)([1, 140, -11, 10, -1], [512, -8712, -24], [], [], [-26817, 0, 1, 0])
(3 shrinks, 63 skipped, 100 total)
([], [], [-110], [], [-32661])
(18 shrinks, 92,492,625 skipped, 107,519,377 total)([-63], [], [], [-32716], [])
(18 shrinks, 71,782,530 skipped, 79,894,187 total)([-32732], [], [-66], [], [])
(14 shrinks, 72,318,299 skipped, 82,653,333 total)([-25], [-32746], [], [], [])
(13 shrinks, 92,576,619 skipped, 104,165,549 total)([-32704], [], [-120], [], [])
(15 shrinks, 72,791,546 skipped, 80,191,355 total)