# Seeds for failure cases proptest has generated in the past. It is
# automatically read and these particular cases re-run before any
# novel cases are generated.
#
# It is recommended to check this file in to source control so that
# everyone who runs the test benefits from these saved cases.
cc 939802079a9330e46f1b09f457806206098d1faad9272d24473df446f42b1b37 # shrinks to pb = QConvProblem { shape_in: BaseDataShape { fmt: HWC, shape: [4, 2], strides: [2, 1] }, shape_out: BaseDataShape { fmt: HWC, shape: [3, 1], strides: [1, 1] }, kernel_format: OIHW, group: 1, data: [[0, 0],  [0, 0],  [0, 0],  [0, 0]], shape=[4, 2], strides=[2, 1], layout=C (0x1), dynamic ndim=2, kernel: [[[0, 0],   [0, 38]]], shape=[1, 2, 2], strides=[4, 2, 1], layout=C (0x1), dynamic ndim=3, bias: None }
cc fcc65f1743e1ef6ba84227b08e24c46f7318158cd39e3153f1abe4b0e5c16e5d # shrinks to pb = QConvProblem { shape_in: BaseDataShape { fmt: HWC, shape: [1, 1], strides: [1, 1] }, shape_out: BaseDataShape { fmt: HWC, shape: [1, 1], strides: [1, 1] }, kernel_format: OIHW, group: 1, data: [[-4]], shape=[1, 1], strides=[1, 1], layout=C (0x1), dynamic ndim=2, kernel: [[[-32]]], shape=[1, 1, 1], strides=[1, 1, 1], layout=C (0x1), dynamic ndim=3, bias: None }
cc 991307cdb55037d3add3536ee8d889e7ded359a7914de8dd98256c883027969a # shrinks to pb = QConvProblem { shape_in: BaseDataShape { fmt: HWC, shape: [1, 1], strides: [1, 1] }, shape_out: BaseDataShape { fmt: HWC, shape: [1, 1], strides: [1, 1] }, kernel_format: OIHW, group: 1, data: [[1]], shape=[1, 1], strides=[1, 1], layout=C (0x1), dynamic ndim=2, kernel: [[[0]]], shape=[1, 1, 1], strides=[1, 1, 1], layout=C (0x1), dynamic ndim=3, bias: None, qp: QParams { a0: Static(,I32 1), a_scale: Static(,F32 1), b0: Static(,I32 0), b_scale: Static(,F32 1), c0: Static(,I32 0), c_scale: Static(,F32 1) } }
cc 99da670cabb26c25bd7c24a57226d34d7e2721737dfac7f49ab365d87139af99 # shrinks to pb = QConvProblem { shape_in: BaseDataShape { fmt: HWC, shape: [1, 1], strides: [1, 1] }, shape_out: BaseDataShape { fmt: HWC, shape: [1, 1], strides: [1, 1] }, kernel_format: OIHW, group: 1, data: [[0]], shape=[1, 1], strides=[1, 1], layout=C (0x1), dynamic ndim=2, kernel: [[[0]]], shape=[1, 1, 1], strides=[1, 1, 1], layout=C (0x1), dynamic ndim=3, bias: Some([-1], shape=[1], strides=[1], layout=C | F (0x3), dynamic ndim=1), qp: QParams { a0: Static(,I32 0), a_scale: Static(,F32 1), b0: Static(,I32 0), b_scale: Static(,F32 1), c0: Static(,I32 0), c_scale: Static(,F32 0.001) } }
cc e822bed337c26987165b66063822cc8e7fcd4f8264bb530a7e493cc412e75d90 # shrinks to pb = QConvProblem { shape_in: BaseDataShape { fmt: NHWC, shape: [4, 2, 1, 3, 3], strides: [18, 9, 9, 3, 1] }, shape_out: BaseDataShape { fmt: NHWC, shape: [4, 2, 1, 2, 4], strides: [16, 8, 8, 4, 1] }, kernel_format: HWIO, group: 1, data: [[[[[0, 0, 0],     [0, 0, 0],     [0, 0, 0]]],     [[[0, 0, 0],     [0, 0, 0],     [0, 0, 0]]]],     [[[[0, 0, 0],     [0, 0, 0],     [0, 0, 0]]],     [[[0, 0, 0],     [0, 0, 0],     [0, 0, 0]]]],     [[[[-15, -19, 68],     [0, -56, -53],     [0, 0, 0]]],     [[[0, 0, 0],     [0, 0, 0],     [0, 0, 0]]]],     [[[[0, 0, 0],     [0, 0, 0],     [0, 0, 0]]],     [[[0, 0, 0],     [0, 0, 0],     [3, 94, 86]]]]], shape=[4, 2, 1, 3, 3], strides=[18, 9, 9, 3, 1], layout=C (0x1), dynamic ndim=5, kernel: [[[[[-77, -126, -49, -46],     [-102, 71, -94, 65],     [30, -73, 34, -42]],     [[92, -45, -93, 39],     [82, -8, 123, -106],     [75, 99, -21, 105]]]]], shape=[1, 1, 2, 3, 4], strides=[24, 24, 12, 4, 1], layout=C (0x1), dynamic ndim=5, bias: Some([84, -54, -41, -40], shape=[4], strides=[1], layout=C | F (0x3), dynamic ndim=1), qp: QParams { a0: Static(,I32 0), a_scale: Static(,F32 1), b0: Static(,I32 5), b_scale: Static(,F32 1), c0: Static(,I32 -10), c_scale: Static(,F32 5.0609317) } }
cc ebf46e1865d1a645a844ed6c22cfece3cdac920e67d3a2e7105a6162a530d6c3 # shrinks to pb = QConvProblem { shape_in: BaseDataShape { fmt: NHWC, shape: [7, 4, 8], strides: [32, 8, 1] }, shape_out: BaseDataShape { fmt: NHWC, shape: [7, 3, 7], strides: [21, 7, 1] }, kernel_format: OIHW, group: 1, data: [[[0, 0, 0, 0, 0, 0, 0, 0],   [0, 0, 0, 0, 0, 0, 0, 0],   [0, 0, 0, 0, 0, 0, 0, 0],   [0, 0, 0, 0, 0, 0, 0, 0]],   [[0, 0, 0, 0, 0, 0, 0, 0],   [0, 0, 0, 0, 0, 0, 0, 0],   [0, 0, 0, 0, 0, 0, 0, 0],   [0, 0, 0, 0, 0, 0, 0, 0]],   [[0, 0, 0, 0, 0, 0, 0, 0],   [0, 0, 0, 0, 0, 0, 0, 0],   [0, 0, 0, 0, 0, 0, 0, 0],   [0, 0, 0, 0, 0, 0, 0, 0]],   [[0, 0, 0, 0, 0, 0, 0, 0],   [0, 0, 0, 0, 0, 0, 0, 0],   [0, 0, 0, 0, 0, 0, 0, 0],   [0, 0, 0, 0, 0, 0, 0, 0]],   [[0, 0, 0, 0, 0, 0, 0, 0],   [55, 116, -29, -70, 44, 63, -43, 7],   [-82, -36, -119, 22, -39, -116, 0, -104],   [78, 51, -41, -90, -96, 110, 86, -125]],   [[0, 0, 0, 0, 0, 0, 0, 0],   [-3, 14, 69, 10, -115, -37, 36, 34],   [19, 14, 57, 71, 71, 87, 63, 29],   [-73, -120, -66, -87, 53, -88, -8, -111]],   [[47, -99, -7, 105, -13, -80, 58, 73],   [-124, -60, -112, 56, -11, 92, -21, -78],   [-119, 122, -35, -108, 80, -65, -120, 40],   [46, 40, -8, 3, -28, 86, 73, -14]]], shape=[7, 4, 8], strides=[32, 8, 1], layout=C (0x1), dynamic ndim=3, kernel: [[[-24, -89],   [-109, 64],   [7, 27],   [-55, -26],   [107, 103],   [15, 59],   [77, 88],   [-69, 40]],   [[104, 3],   [-11, 26],   [73, -74],   [-75, 51],   [-84, 14],   [-43, 110],   [-68, -36],   [22, 108]],   [[-46, -77],   [-1, -64],   [-6, 109],   [29, 68],   [5, -110],   [27, -105],   [-77, -36],   [-85, 67]],   [[-24, 26],   [52, -51],   [-94, 46],   [101, 0],   [41, 53],   [59, 23],   [-113, 78],   [-60, -109]],   [[-21, -74],   [-123, 14],   [-33, 115],   [-114, -125],   [70, 73],   [-103, -78],   [-118, 30],   [-75, -30]],   [[-126, -32],   [-3, -122],   [-122, 42],   [56, 112],   [-121, 18],   [-96, 18],   [38, -110],   [-126, 44]],   [[-42, -108],   [-31, 24],   [-104, 51],   [23, 31],   [127, 98],   [80, -86],   [119, -12],   [110, 39]]], shape=[7, 8, 2], strides=[16, 2, 1], layout=C (0x1), dynamic ndim=3, bias: Some([-53, -54, -91, 32, -36, 96, 44], shape=[7], strides=[1], layout=C | F (0x3), dynamic ndim=1), qp: QParams { a0: Static(,I32 0), a_scale: Static(,F32 1), b0: Static(,I32 9), b_scale: Static(,F32 1), c0: Static(,I32 5), c_scale: Static(,F32 1.4012616) } }
cc 1755af03d39990358564dc73b7d9af81baa451945a53f81fc4dece46903dfa27 # shrinks to pb = QConvProblem { optim: false, shape_in: BaseDataShape { fmt: CHW, shape: [8, 1], strides: [1, 1] }, shape_out: BaseDataShape { fmt: CHW, shape: [5, 1], strides: [1, 1] }, kernel_format: OIHW, group: 1, data: [[-118],  [107],  [-23],  [-70],  [81],  [88],  [-83],  [94]], shape=[8, 1], strides=[1, 1], layout=CFcf (0xf), dynamic ndim=2, kernel: [[[0],   [0],   [0],   [0],   [0],   [0],   [0],   [0]],   [[0],   [0],   [0],   [0],   [0],   [0],   [0],   [0]],   [[-4],   [37],   [-7],   [113],   [-24],   [58],   [-59],   [-7]],   [[81],   [-99],   [116],   [-94],   [31],   [-73],   [126],   [121]],   [[70],   [17],   [66],   [-6],   [-113],   [20],   [-123],   [45]]], shape=[5, 8, 1], strides=[8, 1, 1], layout=Cc (0x5), dynamic ndim=3, bias: Some([81, 68, 71, 31, -53], shape=[5], strides=[1], layout=CFcf (0xf), dynamic ndim=1), qp: MatMulQParams { a0: Attr(,I32 -7), a_scale: Attr(,F32 0.5), b0: Attr(,I32 1), b_scale: Attr(,F32 4), c0: Attr(,I32 -6), c_scale: Attr(,F32 0.125) } }
cc 5e7133fd7a3b47684656b028e7770bc00b6b26a63421ddf6c8010e8df96fd534 # shrinks to pb = QConvProblem { optim: false, shape_in: BaseDataShape { fmt: CHW, shape: [2, 4, 2, 3], strides: [24, 6, 3, 1] }, shape_out: BaseDataShape { fmt: CHW, shape: [12, 3, 2, 2], strides: [12, 4, 2, 1] }, kernel_format: HWIO, group: 2, data: [[[[0, 0, 0],    [0, 0, 0]],    [[0, 0, 0],    [0, 0, 0]],    [[0, 0, 0],    [0, 0, 0]],    [[0, 0, 0],    [0, 0, 0]]],    [[[0, 0, 0],    [0, 0, 0]],    [[0, 0, 0],    [0, 0, 0]],    [[0, 0, 0],    [0, 0, 0]],    [[0, 0, 0],    [0, 0, 0]]]], shape=[2, 4, 2, 3], strides=[24, 6, 3, 1], layout=Cc (0x5), dynamic ndim=4, kernel: [[[[[0, 0, 0, 0, 0, 0],     [0, 0, 0, 0, 0, 0]],     [[20, -118, -112, -77, 124, -97],     [30, 15, 86, -75, -125, 93]]]],     [[[[67, -11, -104, -79, 9, 10],     [113, -107, -41, 27, -86, -85]],     [[-128, 66, 35, 39, 43, -102],     [-26, -49, 104, 70, 47, 92]]]]], shape=[2, 1, 2, 2, 6], strides=[24, 24, 12, 6, 1], layout=Cc (0x5), dynamic ndim=5, bias: Some([-46, -121, 83, -87, -127, 101, 4, -62, 51, -106, -97, 101], shape=[12], strides=[1], layout=CFcf (0xf), dynamic ndim=1), qp: MatMulQParams { a0: Attr(,I32 2), a_scale: Attr(,F32 0.125), b0: Attr(,I32 -5), b_scale: Attr(,F32 0.125), c0: Attr(,I32 0), c_scale: Attr(,F32 0.125) } }
cc bb512790816c335094d921d81cb2c0453c8421bfcabf59ab46c939a5e13d63e6 # shrinks to pb = QConvProblem { optim: true, shape_in: BaseDataShape { fmt: CHW, shape: [6, 2], strides: [2, 1] }, shape_out: BaseDataShape { fmt: CHW, shape: [6, 1], strides: [1, 1] }, kernel_format: OIHW, group: 1, data: [[0, 0],  [0, 0],  [0, 0],  [0, 0],  [0, 0],  [0, 0]], shape=[6, 2], strides=[2, 1], layout=Cc (0x5), dynamic ndim=2, kernel: [[[0, 0],   [0, 0],   [0, 0],   [0, 0],   [0, 0],   [0, 0]],   [[0, 0],   [0, 0],   [0, 0],   [0, 0],   [0, 0],   [0, 0]],   [[0, -10],   [-28, 6],   [31, 111],   [-31, 67],   [-116, -47],   [-116, -94]],   [[87, 21],   [-34, -58],   [78, 126],   [26, -2],   [68, -118],   [81, -63]],   [[30, -101],   [-33, -113],   [37, 101],   [25, -63],   [-88, -5],   [-63, 73]],   [[-86, 106],   [-21, 63],   [-126, -33],   [17, 47],   [-21, -59],   [46, -31]]], shape=[6, 6, 2], strides=[12, 2, 1], layout=Cc (0x5), dynamic ndim=3, bias: Some([-52, -19, 40, -70, -45, -7], shape=[6], strides=[1], layout=CFcf (0xf), dynamic ndim=1), qp: MatMulQParams { a0: Attr(,I32 -6), a_scale: Attr(,F32 0.25), b0: Attr(,I32 -6), b_scale: Attr(,F32 0.125), c0: Attr(,I32 3), c_scale: Attr(,F32 0.125) } }
