forked from uwplse/tensat
-
Notifications
You must be signed in to change notification settings - Fork 0
/
multi_rules.txt
1 lines (1 loc) · 2.15 KB
/
multi_rules.txt
1
matmul(0,matmul(0,input_4,input_5),input_4)==matmul(0,input_4,matmul(0,input_5,input_4))matmul(0,input_5,matmul(0,input_4,input_5))==matmul(0,matmul(0,input_5,input_4),input_5)relu(conv2d(1,1,0,0,input_7,input_19))==conv2d(1,1,0,2,input_7,input_19)conv2d(1,1,0,2,input_8,input_10)==relu(conv2d(1,1,0,0,input_8,input_10))relu(conv2d(1,1,0,0,input_7,input_10))==conv2d(1,1,0,2,input_7,input_10)conv2d(1,1,0,2,input_8,input_11)==relu(conv2d(1,1,0,0,input_8,input_11))relu(input_1)==split_0(split(1,relu(concat(1,2,input_1,input_2))))relu(input_2)==split_1(split(1,relu(concat(1,2,input_1,input_2))))matmul(0,input_1,input_4)==split_0(split(1,matmul(0,input_1,concat(1,2,input_4,input_5))))matmul(0,input_1,input_5)==split_1(split(1,matmul(0,input_1,concat(1,2,input_4,input_5))))matmul(0,input_1,input_4)==split_0(split(0,matmul(0,concat(0,2,input_1,input_2),input_4)))matmul(0,input_2,input_4)==split_1(split(0,matmul(0,concat(0,2,input_1,input_2),input_4)))relu(input_1)==split_0(split(0,relu(concat(0,2,input_1,input_2))))relu(input_2)==split_1(split(0,relu(concat(0,2,input_1,input_2))))relu(input_7)==split_0(split(1,relu(concat(1,4,input_7,input_8))))relu(input_8)==split_1(split(1,relu(concat(1,4,input_7,input_8))))conv2d(1,1,0,0,input_7,input_10)==split_0(split(0,conv2d(1,1,0,0,concat(0,4,input_7,input_8),input_10)))conv2d(1,1,0,0,input_8,input_10)==split_1(split(0,conv2d(1,1,0,0,concat(0,4,input_7,input_8),input_10)))relu(conv2d(1,1,0,0,input_7,input_10))==split_0(split(0,conv2d(1,1,0,2,concat(0,4,input_7,input_8),input_10)))conv2d(1,1,0,2,input_8,input_10)==split_1(split(0,conv2d(1,1,0,2,concat(0,4,input_7,input_8),input_10)))relu(input_7)==split_0(split(0,relu(concat(0,4,input_7,input_8))))relu(input_8)==split_1(split(0,relu(concat(0,4,input_7,input_8))))conv2d(1,1,0,0,input_7,input_10)==split_0(split(1,conv2d(1,1,0,0,input_7,concat(0,4,input_10,input_11))))conv2d(1,1,0,0,input_7,input_11)==split_1(split(1,conv2d(1,1,0,0,input_7,concat(0,4,input_10,input_11))))relu(conv2d(1,1,0,0,input_7,input_10))==split_0(split(1,conv2d(1,1,0,2,input_7,concat(0,4,input_10,input_11))))conv2d(1,1,0,2,input_7,input_11)==split_1(split(1,conv2d(1,1,0,2,input_7,concat(0,4,input_10,input_11))))