This report was created with CsCheck 2.0.0
(L=57 [6, 247101511, -1 ... 27979, 0], 0)
(1 shrinks, 41 skipped, 100 total)(L=34 [118311, 7290488, 27459 ... -260, -887392], 21)
(1 shrinks, 54 skipped, 100 total)(L=19 [4009, 2803, 54 ... -12450774, 1], 7)
(4 shrinks, 53 skipped, 100 total)(L=20 [26005412, 0, -57 ... 291572, -347904135], 1)
(2 shrinks, 40 skipped, 100 total)(L=38 [86734, 683108120, -682222992 ... 27503388, -106], 21)
(2 shrinks, 54 skipped, 100 total)
([0, 0], 0)
(13 shrinks, 275,397,591 skipped, 1,051,797,770 total)([0, 0], 0)
(9 shrinks, 269,433,400 skipped, 1,013,226,515 total)([0, 0], 0)
(12 shrinks, 270,011,508 skipped, 1,074,163,869 total)([0, 0], 0)
(12 shrinks, 247,759,236 skipped, 983,932,421 total)([0, 0], 0)
(12 shrinks, 272,437,172 skipped, 1,084,548,765 total)