experiment: ci-run

workload: chimera

strategy: quickcheck

mode: solve

status: failed

tool: quickcheck

counterexample: Wheel210Index {unWheel210Index = 71}toWheel210 71 = 16, toWheel210 72 = 0 (expected monotonically non-decreasing)


counterexample: Wheel210Index {unWheel210Index = 163}toWheel210 163 = 36, toWheel210 164 = 0 (expected monotonically non-decreasing)


counterexample: Wheel210Index {unWheel210Index = 187}toWheel210 187 = 42, toWheel210 188 = 0 (expected monotonically non-decreasing)


counterexample: Wheel210Index {unWheel210Index = 137}toWheel210 137 = 30, toWheel210 138 = 0 (expected monotonically non-decreasing)


counterexample: Wheel210Index {unWheel210Index = 113}toWheel210 113 = 26, toWheel210 114 = 0 (expected monotonically non-decreasing)


counterexample: Wheel210Index {unWheel210Index = 179}toWheel210 179 = 40, toWheel210 180 = 0 (expected monotonically non-decreasing)


counterexample: Wheel210Index {unWheel210Index = 89}toWheel210 89 = 20, toWheel210 90 = 0 (expected monotonically non-decreasing)


counterexample: Wheel210Index {unWheel210Index = 131}toWheel210 131 = 29, toWheel210 132 = 0 (expected monotonically non-decreasing)


counterexample: Wheel210Index {unWheel210Index = 67}toWheel210 67 = 15, toWheel210 68 = 0 (expected monotonically non-decreasing)


counterexample: Wheel210Index {unWheel210Index = 127}toWheel210 127 = 28, toWheel210 128 = 0 (expected monotonically non-decreasing)


strategy: hedgehog

tool: hedgehog


strategy: falsify

tool: falsify

counterexample: Wheel210Index {unWheel210Index = 127}: toWheel210 127 = 28, toWheel210 128 = 0 (expected monotonically non-decreasing)


counterexample: Wheel210Index {unWheel210Index = 23}: toWheel210 23 = 5, toWheel210 24 = 0 (expected monotonically non-decreasing)


counterexample: Wheel210Index {unWheel210Index = 181}: toWheel210 181 = 41, toWheel210 182 = 0 (expected monotonically non-decreasing)


counterexample: Wheel210Index {unWheel210Index = 29}: toWheel210 29 = 6, toWheel210 30 = 0 (expected monotonically non-decreasing)


strategy: smallcheck

tool: smallcheck

counterexample: CounterExample ["Wheel210Index {unWheel210Index = 11}"] (PropertyFalse Nothing)


property: FromInfiniteIndexEqualsHead

status: passed