This report was created with CsCheck 2.0.0
[L=28 [229846, -104, 1983192683 ... -7292, 291755671], L=31 [0, 1479059758, -45883 ... 45466493, -78]]
(1 shrinks, 90 skipped, 100 total)[L=111 [-1945205, 869720280, 6 ... 30, -4376693], L=107 [1739917, 32813063, -1771 ... -998, 0]]
(4 shrinks, 83 skipped, 100 total)[L=99 [-1949667197, 39788, 627199 ... -197, -63]]
(0 shrinks, 84 skipped, 100 total)[L=15 [-2155, -3776, 32072521 ... 81, 1250701103], L=109 [-2, -1842654, -140028452 ... 10, -705600895], L=48 [40701195, 170639, 1906 ... 32061, 2]]
(4 shrinks, 79 skipped, 100 total)[L=60 [-45000190, -3078, -5 ... -2634, -140352], L=92 [-149302, 79, 228992531 ... -204, 5690], [], L=40 [15831555, 658095, -1328 ... 5541, -16], L=73 [-1257683688, -2, 1033618755 ... -4, -37], L=86 [143, 539502, 562706604 ... 954209182, -5290944]]
(3 shrinks, 81 skipped, 100 total)
[[-2, -1, 3, 4, 0]]
(21 shrinks, 282,186,891 skipped, 1,235,015,692 total)[[-3, 1, 0, -11, 7]]
(17 shrinks, 270,082,059 skipped, 1,172,649,326 total)[[-1, 1, 2, 0, -63]]
(21 shrinks, 441,859,404 skipped, 1,724,856,354 total)[[2, 13, 0, 1, -2]]
(18 shrinks, 273,986,900 skipped, 1,136,044,065 total)[[-1, 1, 10, 2, -3]]
(17 shrinks, 267,644,395 skipped, 1,149,285,041 total)