Skip to content

Commit

Permalink
fixes and use pytorch workaround onnx weil spec
Browse files Browse the repository at this point in the history
  • Loading branch information
@kali
kali committed Jul 11, 2023
1 parent 435cedf commit 3af0e7f
Show file tree
Hide file tree
Showing 5 changed files with 117 additions and 23 deletions.
1 change: 1 addition & 0 deletions core/proptest-regressions/ops/cnn/conv/proptest.txt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,3 +13,4 @@ cc 29cb45b72c579928fbb3b356ce1dcd5957d393ce57c5cda431304da6af1c1fe6 # shrinks to
cc b50404b959aeec0182295752588eeda969dcb0f99f8adf131a7c60b52c12389a # shrinks to pb = ConvProblem { shape_in: NCHW 1,2,1,5 (strides: 10,5,5,1), kernel_format: OIHW, group: 1, data: [[[[0.0, 0.0, 0.0, 0.0, 0.0]], [[0.0, 1.0, 1.0, -9.0, 2.0]]]], shape=[1, 2, 1, 5], strides=[10, 5, 5, 1], layout=Cc (0x5), dynamic ndim=4, kernel: [[[[-3.0]], [[2.0]]], [[[6.0]], [[2.0]]]], shape=[2, 2, 1, 1], strides=[2, 1, 1, 1], layout=Cc (0x5), dynamic ndim=4, bias: None, pad: Valid, strides: [1, 3] }
cc bb98ef57e97e2f0af52238e604d49e98f4cb15a81a9c52b07c3a7575ee5bc39e # shrinks to pb = ConvProblem { shape_in: NHWC 2,7,5,6,6 (strides: 1260,180,36,6,1), kernel_format: OIHW, group: 3, 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, 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, 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], [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, 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, 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, -8.0, -8.0, -9.0, 2.0, -6.0], [3.0, 6.0, -1.0, -1.0, 3.0, -3.0], [10.0, -7.0, 3.0, -7.0, 2.0, 1.0], [9.0, -8.0, -9.0, -9.0, -6.0, -7.0], [-2.0, 2.0, 2.0, -9.0, 2.0, 1.0], [-5.0, 7.0, 3.0, 10.0, 9.0, -3.0]], [[3.0, 5.0, 6.0, 8.0, -8.0, 10.0], [-8.0, -3.0, 5.0, -3.0, 6.0, -10.0], [10.0, 8.0, 0.0, 1.0, 5.0, -9.0], [10.0, 0.0, 6.0, -4.0, -1.0, 9.0], [-7.0, -7.0, 2.0, -3.0, 8.0, -10.0], [10.0, -10.0, -9.0, -5.0, -9.0, 6.0]], [[5.0, -1.0, 9.0, 1.0, -3.0, -8.0], [2.0, -5.0, 7.0, -10.0, -7.0, -4.0], [-5.0, 2.0, -7.0, -9.0, 5.0, 2.0], [-3.0, -1.0, 5.0, 9.0, -1.0, -3.0], [-4.0, -8.0, -6.0, 9.0, 8.0, -9.0], [7.0, 5.0, -1.0, -7.0, 3.0, -1.0]], [[0.0, 2.0, 10.0, -8.0, 3.0, 2.0], [4.0, -9.0, -6.0, 3.0, 4.0, -4.0], [8.0, 5.0, 1.0, 8.0, -2.0, -4.0], [10.0, 3.0, -2.0, 10.0, -8.0, 4.0], [-7.0, 10.0, 8.0, -7.0, 4.0, -10.0], [2.0, -10.0, -6.0, -6.0, 10.0, -3.0]], [[-2.0, -5.0, 0.0, 5.0, 8.0, -4.0], [1.0, 8.0, 6.0, 9.0, -7.0, 5.0], [0.0, 9.0, -8.0, -7.0, 2.0, -1.0], [-6.0, -7.0, -5.0, -7.0, -10.0, 1.0], [-8.0, 0.0, -7.0, 4.0, -6.0, 4.0], [-2.0, -4.0, 1.0, -9.0, 9.0, 7.0]]], ..., [[[-2.0, -7.0, -10.0, 3.0, 10.0, -10.0], [1.0, 1.0, 3.0, -8.0, 0.0, 7.0], [5.0, 1.0, 9.0, 2.0, 0.0, 1.0], [2.0, -7.0, -4.0, -5.0, 10.0, 10.0], [9.0, 4.0, -10.0, 2.0, 4.0, 3.0], [4.0, -7.0, 8.0, -4.0, 5.0, -4.0]], [[4.0, 5.0, -2.0, 8.0, 7.0, 5.0], [8.0, -7.0, 9.0, -2.0, -10.0, 6.0], [-1.0, 3.0, 5.0, 4.0, 7.0, 5.0], [10.0, 4.0, 5.0, -5.0, 2.0, -10.0], [-3.0, 9.0, -1.0, 6.0, -2.0, -1.0], [-8.0, 7.0, 9.0, 5.0, -10.0, 7.0]], [[-5.0, -10.0, 5.0, -8.0, 1.0, 9.0], [-1.0, -2.0, -1.0, 8.0, -4.0, 9.0], [-10.0, -7.0, 10.0, 10.0, 10.0, 4.0], [-3.0, -6.0, -8.0, -1.0, -1.0, 1.0], [4.0, 1.0, -6.0, 4.0, 8.0, -1.0], [4.0, -7.0, 0.0, 9.0, -9.0, -9.0]], [[8.0, -5.0, 4.0, 2.0, -9.0, 2.0], [-5.0, 2.0, -6.0, -7.0, -6.0, -8.0], [5.0, 3.0, 10.0, 6.0, 5.0, 4.0], [9.0, 4.0, -8.0, 6.0, -7.0, 4.0], [6.0, -1.0, 1.0, 8.0, -7.0, -2.0], [4.0, 1.0, 3.0, -5.0, -7.0, -10.0]], [[1.0, -2.0, 2.0, -8.0, -5.0, -6.0], [5.0, 0.0, 8.0, 1.0, -10.0, 3.0], [6.0, -7.0, -8.0, -7.0, 6.0, 0.0], [-4.0, -4.0, 6.0, -8.0, 9.0, 1.0], [-9.0, 8.0, -4.0, 1.0, -9.0, -4.0], [3.0, 4.0, 9.0, -8.0, -9.0, 4.0]]], [[[-9.0, -2.0, 7.0, 1.0, 2.0, 6.0], [-1.0, 10.0, 4.0, 2.0, 10.0, 4.0], [0.0, -2.0, 8.0, -4.0, 7.0, 10.0], [0.0, -10.0, 3.0, -9.0, -5.0, 6.0], [-9.0, 5.0, 4.0, 2.0, 7.0, -1.0], [-9.0, 7.0, -7.0, -9.0, -7.0, 0.0]], [[4.0, -2.0, -3.0, -1.0, 3.0, 7.0], [9.0, -9.0, -4.0, -5.0, 10.0, 1.0], [9.0, 3.0, -6.0, 7.0, 9.0, 9.0], [3.0, 6.0, 3.0, 8.0, -2.0, 2.0], [-4.0, 1.0, 7.0, -7.0, -8.0, 9.0], [-10.0, -2.0, 6.0, 0.0, 2.0, 5.0]], [[-4.0, 2.0, -7.0, 0.0, 9.0, 7.0], [5.0, -6.0, -1.0, -8.0, 1.0, -5.0], [-7.0, -9.0, -4.0, -3.0, -5.0, -8.0], [10.0, 8.0, -10.0, -3.0, -1.0, -5.0], [-3.0, -9.0, 4.0, 2.0, -8.0, 7.0], [2.0, 5.0, 2.0, -9.0, 0.0, -7.0]], [[-10.0, 0.0, -10.0, -3.0, 0.0, -10.0], [3.0, 8.0, 1.0, -5.0, 6.0, -9.0], [-6.0, 6.0, 2.0, -8.0, -3.0, -5.0], [10.0, -4.0, 1.0, -9.0, -5.0, -10.0], [4.0, -10.0, 5.0, -4.0, -6.0, -8.0], [-3.0, 3.0, -3.0, 1.0, -3.0, -1.0]], [[4.0, 1.0, 9.0, 9.0, -2.0, -7.0], [-4.0, 5.0, -4.0, 9.0, -7.0, 8.0], [9.0, 9.0, 5.0, -7.0, 6.0, 3.0], [5.0, 10.0, -5.0, 9.0, -5.0, -1.0], [7.0, 10.0, 4.0, -8.0, -5.0, 9.0], [-3.0, 0.0, 6.0, -9.0, -9.0, 1.0]]], [[[10.0, 8.0, 3.0, 6.0, 3.0, -4.0], [-6.0, 7.0, -5.0, -5.0, 0.0, 10.0], [-8.0, 3.0, 4.0, 6.0, -2.0, -5.0], [5.0, -5.0, 6.0, -8.0, 6.0, 1.0], [3.0, -6.0, 7.0, 0.0, -5.0, -10.0], [3.0, 6.0, 3.0, 2.0, -2.0, 7.0]], [[3.0, -8.0, 1.0, -6.0, 8.0, -2.0], [10.0, 7.0, 7.0, 8.0, 8.0, 3.0], [-7.0, -6.0, 3.0, 6.0, -2.0, 0.0], [-4.0, -4.0, 0.0, 0.0, 0.0, -10.0], [-6.0, -6.0, 4.0, 9.0, 7.0, -10.0], [-7.0, -3.0, -6.0, 2.0, 7.0, -10.0]], [[6.0, -3.0, 3.0, -8.0, 1.0, 10.0], [8.0, 2.0, -3.0, -1.0, 0.0, -3.0], [4.0, -6.0, 10.0, 0.0, 8.0, 2.0], [-2.0, 2.0, 0.0, -6.0, 1.0, 2.0], [-5.0, -6.0, -3.0, 3.0, -10.0, 8.0], [5.0, -1.0, 4.0, 10.0, 5.0, 10.0]], [[4.0, 1.0, 1.0, 8.0, 2.0, -9.0], [-10.0, -10.0, -9.0, -5.0, 4.0, 1.0], [2.0, -10.0, -1.0, 7.0, -5.0, 8.0], [6.0, 3.0, 5.0, -7.0, -9.0, -5.0], [10.0, -3.0, 7.0, -8.0, 6.0, -6.0], [-7.0, 10.0, -3.0, -6.0, 4.0, 7.0]], [[7.0, 6.0, -9.0, -9.0, -2.0, 6.0], [5.0, -3.0, -6.0, 5.0, -6.0, -6.0], [-7.0, 9.0, 8.0, 6.0, -1.0, 6.0], [8.0, 2.0, 8.0, 1.0, -5.0, -6.0], [3.0, -6.0, -1.0, -5.0, 6.0, -5.0], [5.0, -5.0, 1.0, -9.0, -7.0, -3.0]]]], [[[[4.0, 9.0, -10.0, 2.0, 8.0, -8.0], [6.0, 3.0, 4.0, 4.0, 9.0, 8.0], [-9.0, 4.0, -10.0, 7.0, 2.0, 10.0], [6.0, 5.0, 6.0, -10.0, 9.0, 2.0], [8.0, 2.0, 0.0, 0.0, 6.0, 6.0], [6.0, 6.0, -5.0, -8.0, 4.0, -7.0]], [[-9.0, -7.0, -8.0, 7.0, 6.0, 3.0], [-1.0, 2.0, 8.0, -6.0, 7.0, -1.0], [-10.0, -10.0, 5.0, 10.0, -6.0, -2.0], [2.0, 2.0, 10.0, -10.0, -4.0, 10.0], [6.0, 1.0, 10.0, 5.0, -5.0, -9.0], [-4.0, -10.0, 1.0, 8.0, -9.0, -3.0]], [[2.0, -1.0, 5.0, 2.0, -3.0, 6.0], [3.0, -7.0, 10.0, -9.0, 2.0, 4.0], [5.0, -8.0, -7.0, -2.0, -10.0, -1.0], [9.0, -5.0, -2.0, -6.0, 4.0, 10.0], [-1.0, 4.0, -9.0, -9.0, 2.0, -10.0], [8.0, -8.0, -3.0, 8.0, -9.0, 2.0]], [[-9.0, 9.0, -7.0, -5.0, -8.0, -9.0], [9.0, 6.0, 9.0, -7.0, 10.0, -5.0], [-1.0, 6.0, 3.0, -9.0, 10.0, -1.0], [0.0, -4.0, 6.0, -5.0, -8.0, 7.0], [-6.0, -9.0, 10.0, 3.0, 0.0, 7.0], [-5.0, -8.0, 9.0, 5.0, 9.0, 3.0]], [[5.0, 9.0, -8.0, 9.0, 4.0, 7.0], [8.0, 4.0, -3.0, -10.0, -10.0, -6.0], [6.0, 4.0, -1.0, -7.0, 5.0, -10.0], [-10.0, -8.0, 10.0, 6.0, -5.0, 2.0], [6.0, -6.0, 0.0, -3.0, 2.0, 6.0], [6.0, 7.0, 2.0, -6.0, -4.0, -3.0]]], [[[-4.0, 4.0, -9.0, -3.0, 0.0, 8.0], [0.0, -6.0, 5.0, 1.0, 8.0, 7.0], [6.0, 6.0, 3.0, 5.0, -5.0, -6.0], [-5.0, 5.0, -4.0, -7.0, 0.0, 1.0], [3.0, 2.0, 4.0, -9.0, 3.0, 8.0], [-6.0, -3.0, -3.0, -7.0, 3.0, 9.0]], [[2.0, -7.0, -3.0, -5.0, 3.0, -7.0], [-8.0, 8.0, -4.0, -5.0, 8.0, 10.0], [8.0, 4.0, -4.0, 3.0, 0.0, -1.0], [5.0, 3.0, -7.0, 5.0, 6.0, 9.0], [-6.0, -6.0, -6.0, -6.0, 1.0, 7.0], [-7.0, 10.0, -9.0, -2.0, -4.0, -6.0]], [[9.0, 9.0, 3.0, -9.0, 6.0, -2.0], [-6.0, 3.0, 8.0, -3.0, 5.0, 2.0], [10.0, -2.0, -9.0, 5.0, 9.0, -9.0], [9.0, -8.0, 10.0, 5.0, 1.0, 4.0], [-8.0, -9.0, 9.0, -8.0, 1.0, -1.0], [4.0, -9.0, -10.0, -10.0, 3.0, 4.0]], [[-6.0, -6.0, 5.0, -9.0, 5.0, -5.0], [2.0, -10.0, 7.0, -1.0, -7.0, 0.0], [-7.0, -9.0, -10.0, -8.0, -6.0, -10.0], [3.0, -10.0, -7.0, -10.0, -3.0, 1.0], [9.0, -8.0, 0.0, -4.0, 5.0, 1.0], [5.0, 7.0, -5.0, 5.0, 8.0, 6.0]], [[10.0, 1.0, 9.0, 7.0, 2.0, 8.0], [-7.0, 3.0, -8.0, -2.0, -3.0, 3.0], [3.0, 4.0, 3.0, -2.0, -5.0, -4.0], [-7.0, -7.0, -6.0, 3.0, 4.0, -4.0], [-6.0, -7.0, 4.0, 4.0, 0.0, -4.0], [-2.0, -3.0, -3.0, 1.0, 1.0, -9.0]]], [[[-4.0, 9.0, -2.0, -7.0, -6.0, -8.0], [6.0, 3.0, -10.0, 10.0, 6.0, 1.0], [9.0, 10.0, 4.0, 7.0, -3.0, -8.0], [-8.0, 2.0, 4.0, 7.0, -7.0, 6.0], [-3.0, 7.0, -5.0, 10.0, -7.0, 6.0], [10.0, -10.0, -6.0, -6.0, 5.0, -1.0]], [[9.0, -9.0, 10.0, -9.0, 8.0, -8.0], [-4.0, 8.0, 4.0, -8.0, -7.0, 4.0], [9.0, 9.0, 9.0, 4.0, 10.0, 10.0], [10.0, 3.0, -2.0, 10.0, 6.0, -10.0], [-3.0, 1.0, 10.0, -10.0, 0.0, -6.0], [-2.0, 1.0, -1.0, -7.0, 9.0, 6.0]], [[-8.0, -9.0, 10.0, -2.0, 0.0, -1.0], [0.0, 2.0, -5.0, -10.0, 6.0, -1.0], [-7.0, 3.0, 3.0, 8.0, 1.0, 3.0], [-9.0, 6.0, 8.0, -6.0, 9.0, -2.0], [4.0, -8.0, 10.0, -1.0, 0.0, -9.0], [8.0, -8.0, 8.0, 3.0, 1.0, -5.0]], [[9.0, -10.0, 1.0, -4.0, 4.0, 10.0], [9.0, 4.0, -9.0, 8.0, 0.0, 10.0], [4.0, -3.0, 8.0, 0.0, -1.0, -1.0], [7.0, -5.0, -1.0, -9.0, 7.0, 7.0], [-9.0, -3.0, -10.0, -5.0, -3.0, 9.0], [-10.0, -5.0, 5.0, -9.0, 6.0, 9.0]], [[3.0, -6.0, 8.0, 5.0, 6.0, 9.0], [-3.0, 5.0, -4.0, -8.0, -5.0, 3.0], [3.0, 3.0, 7.0, 3.0, -4.0, -4.0], [-10.0, 2.0, -9.0, -4.0, 4.0, -2.0], [-8.0, -8.0, 4.0, -7.0, -9.0, 9.0], [-6.0, -7.0, -10.0, -2.0, 6.0, 0.0]]], ..., [[[-9.0, -4.0, -7.0, 2.0, -8.0, 0.0], [-2.0, -7.0, 2.0, -2.0, 4.0, 0.0], [-4.0, 2.0, 2.0, 6.0, 8.0, 3.0], [5.0, 4.0, -9.0, -9.0, 8.0, 5.0], [7.0, 6.0, -1.0, 5.0, 6.0, 5.0], [-5.0, -5.0, 6.0, 7.0, 9.0, 5.0]], [[-8.0, 0.0, 0.0, 4.0, -5.0, 5.0], [-7.0, -6.0, 5.0, -5.0, 4.0, 1.0], [-5.0, 8.0, -10.0, 5.0, -6.0, 3.0], [0.0, 0.0, 3.0, -10.0, 2.0, 7.0], [-4.0, -8.0, -7.0, 7.0, -4.0, 0.0], [6.0, 4.0, -1.0, -5.0, -10.0, -3.0]], [[-2.0, 3.0, -6.0, 2.0, 5.0, 6.0], [-1.0, -1.0, -6.0, 1.0, 8.0, -7.0], [-10.0, 1.0, 10.0, 8.0, -7.0, -1.0], [-6.0, -2.0, 0.0, 1.0, 1.0, -10.0], [10.0, 10.0, 8.0, -4.0, 6.0, -6.0], [7.0, 0.0, 9.0, -8.0, 7.0, -3.0]], [[7.0, -9.0, -3.0, 7.0, 6.0, -3.0], [-4.0, 2.0, 10.0, 4.0, 5.0, 9.0], [1.0, -5.0, -1.0, 5.0, -7.0, 2.0], [10.0, -4.0, -9.0, 10.0, 9.0, -7.0], [-2.0, -7.0, 2.0, 3.0, 10.0, 4.0], [0.0, 2.0, -7.0, 9.0, 2.0, 4.0]], [[-7.0, 6.0, -1.0, 6.0, -9.0, -1.0], [-6.0, 3.0, 3.0, -7.0, -10.0, 6.0], [-10.0, 1.0, 1.0, -9.0, 8.0, -4.0], [10.0, -2.0, 7.0, 0.0, 7.0, 1.0], [2.0, -8.0, -8.0, 10.0, 0.0, 2.0], [4.0, 2.0, -5.0, -2.0, -9.0, 9.0]]], [[[-4.0, 8.0, 1.0, 3.0, 8.0, -5.0], [0.0, -7.0, -10.0, -8.0, -4.0, -6.0], [-9.0, -7.0, 0.0, -9.0, 2.0, 7.0], [-8.0, 5.0, -3.0, -4.0, -5.0, 8.0], [10.0, -5.0, -6.0, -10.0, -9.0, -1.0], [-6.0, -5.0, 8.0, -1.0, 7.0, -4.0]], [[-3.0, -10.0, -10.0, 6.0, -7.0, 0.0], [-6.0, 8.0, 8.0, -4.0, 6.0, -10.0], [3.0, -8.0, 8.0, 3.0, 7.0, -6.0], [-8.0, -2.0, 8.0, 8.0, 4.0, -7.0], [10.0, 1.0, 3.0, 0.0, 9.0, -4.0], [-2.0, 7.0, 5.0, -10.0, 5.0, 7.0]], [[2.0, 3.0, -8.0, -4.0, -4.0, 1.0], [10.0, 2.0, -2.0, -1.0, -9.0, 7.0], [-3.0, 9.0, -8.0, 7.0, 1.0, -8.0], [4.0, 4.0, -10.0, -8.0, 2.0, 7.0], [-5.0, -9.0, 7.0, -6.0, 1.0, 7.0], [2.0, -8.0, -1.0, 1.0, 4.0, -10.0]], [[-9.0, 0.0, 2.0, -9.0, 6.0, 0.0], [-8.0, -2.0, 1.0, -1.0, -3.0, 10.0], [3.0, 10.0, 10.0, 0.0, 5.0, 7.0], [8.0, -7.0, -5.0, -6.0, 6.0, -8.0], [8.0, 1.0, -7.0, 3.0, 7.0, -2.0], [7.0, 1.0, -4.0, -9.0, 7.0, 5.0]], [[5.0, 0.0, -7.0, -1.0, 7.0, -9.0], [-9.0, -1.0, 8.0, 1.0, -4.0, 8.0], [5.0, 2.0, 10.0, -6.0, 9.0, 5.0], [1.0, -2.0, -2.0, 5.0, 3.0, 0.0], [2.0, -1.0, 0.0, 2.0, -9.0, -4.0], [-2.0, -8.0, -3.0, -6.0, -10.0, -10.0]]], [[[2.0, 7.0, -10.0, -4.0, 7.0, 6.0], [10.0, 1.0, -9.0, 0.0, 4.0, -3.0], [9.0, 5.0, -1.0, -10.0, 7.0, 0.0], [-9.0, 1.0, 8.0, 7.0, -6.0, 6.0], [-8.0, 7.0, -9.0, -7.0, -6.0, -4.0], [5.0, 8.0, -8.0, 9.0, 2.0, 8.0]], [[0.0, 7.0, 9.0, 2.0, -8.0, -4.0], [2.0, 2.0, -9.0, 8.0, 10.0, 8.0], [-8.0, 0.0, -10.0, -3.0, -5.0, 7.0], [9.0, 3.0, -5.0, 1.0, -10.0, 6.0], [6.0, -5.0, -6.0, 6.0, 5.0, 6.0], [-8.0, 10.0, 8.0, -10.0, 6.0, 0.0]], [[-8.0, 2.0, 10.0, -8.0, 1.0, 0.0], [9.0, 7.0, 9.0, 2.0, -1.0, -7.0], [-5.0, 7.0, 7.0, -10.0, 6.0, 0.0], [-2.0, -3.0, 2.0, -7.0, 2.0, -2.0], [2.0, -7.0, -5.0, 1.0, -3.0, -6.0], [0.0, 8.0, -8.0, 8.0, -10.0, -6.0]], [[-2.0, -8.0, 9.0, 0.0, -5.0, -7.0], [6.0, 4.0, -1.0, -3.0, 4.0, -7.0], [10.0, 2.0, -2.0, 10.0, 1.0, -5.0], [-7.0, -5.0, -5.0, -7.0, 5.0, -4.0], [2.0, 4.0, 7.0, 5.0, -1.0, -6.0], [-10.0, -2.0, -8.0, 1.0, 6.0, 0.0]], [[3.0, 7.0, -6.0, 5.0, 10.0, 4.0], [-2.0, 9.0, 10.0, 4.0, 3.0, 5.0], [-4.0, -3.0, -10.0, 0.0, 5.0, -3.0], [-5.0, -3.0, 0.0, 9.0, -10.0, 2.0], [-5.0, 8.0, 8.0, 3.0, -10.0, -1.0], [4.0, -4.0, -1.0, 0.0, 7.0, 9.0]]]]], shape=[2, 7, 5, 6, 6], strides=[1260, 180, 36, 6, 1], layout=Cc (0x5), dynamic ndim=5, kernel: [[[[[9.0, -4.0, 10.0]], [[10.0, 4.0, 10.0]], [[9.0, 0.0, 8.0]]], [[[10.0, -2.0, -5.0]], [[8.0, 0.0, -3.0]], [[0.0, 8.0, 5.0]]]], [[[[5.0, 0.0, 1.0]], [[-6.0, -8.0, -8.0]], [[-7.0, 7.0, 4.0]]], [[[-7.0, -2.0, 3.0]], [[-7.0, 4.0, -9.0]], [[-1.0, 1.0, 5.0]]]], [[[[3.0, 3.0, 6.0]], [[-9.0, -9.0, 1.0]], [[5.0, 0.0, 8.0]]], [[[6.0, 5.0, 6.0]], [[0.0, 8.0, 5.0]], [[-4.0, 7.0, 10.0]]]], [[[[-6.0, -9.0, 5.0]], [[9.0, -9.0, -5.0]], [[10.0, -10.0, 7.0]]], [[[0.0, -6.0, 1.0]], [[-8.0, -10.0, -8.0]], [[10.0, -3.0, -7.0]]]], [[[[-2.0, 8.0, -10.0]], [[-7.0, 1.0, -10.0]], [[-10.0, 4.0, 8.0]]], [[[-4.0, 7.0, -2.0]], [[5.0, -2.0, -1.0]], [[5.0, -6.0, -8.0]]]], [[[[6.0, 10.0, 10.0]], [[-8.0, 5.0, 8.0]], [[-1.0, 0.0, -4.0]]], [[[8.0, -3.0, -6.0]], [[-3.0, 7.0, -4.0]], [[10.0, 1.0, 3.0]]]]], shape=[6, 2, 3, 1, 3], strides=[18, 9, 3, 3, 1], layout=Cc (0x5), dynamic ndim=5, bias: None, pad: Explicit([0, 0, 0], [0, 0, 0], false), strides: [3, 2, 1] }
cc 97d5ae6e13453715f015a907b0c06b0cc459608b574f207941893b179c288744 # shrinks to pb = ConvProblem { shape_in: HWC 2,1 (strides: 1,1), kernel_format: OIHW, group: 1, data: [[0.0], [0.0]], shape=[2, 1], strides=[1, 1], layout=CFcf (0xf), dynamic ndim=2, kernel: [[[0.0]]], shape=[1, 1, 1], strides=[1, 1, 1], layout=CFcf (0xf), dynamic ndim=3, bias: None, pad: Explicit([0], [0], true), strides: [2] }
cc 0f272e352895b62149f72966dadc251b62a1f8ee101f3befb659970fa6e28f37 # shrinks to pb = ConvProblem { shape_in: HWC 4,5,1 (strides: 5,1,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]]], shape=[4, 5, 1], strides=[5, 1, 1], layout=Cc (0x5), dynamic ndim=3, kernel: [[[[0.0, 0.0, 0.0], [0.0, 0.0, 0.0]]]], shape=[1, 1, 2, 3], strides=[6, 6, 3, 1], layout=Cc (0x5), dynamic ndim=4, bias: None, pad: Explicit([0, 0], [2, 0], true), strides: [1, 1] }
Loading

0 comments on commit 3af0e7f

Please sign in to comment.