/* Test of linear2 */ /* Floats data = [[[1,1],1.35],[[1,2],1.76],[[1,3],2.17],[[1,4],2.58],[[1,5],2.99],[[1,6],3.4],[[1,7],3.81],[[1,8],4.22],[[1,9],4.63],[[1,10],5.04],[[2,1],1.58],[[2,2],1.99],[[2,3],2.4],[[2,4],2.81],[[2,5],3.22],[[2,6],3.63],[[2,7],4.04],[[2,8],4.45],[[2,9],4.86],[[2,10],5.27],[[3,1],1.81],[[3,2],2.22],[[3,3],2.63],[[3,4],3.04],[[3,5],3.45],[[3,6],3.86],[[3,7],4.27],[[3,8],4.68],[[3,9],5.09],[[3,10],5.5]] AllGood: [program = linear2(0.27,0.41,A,B,0.59), res = 7.26000000000000334, count = 345] [program = linear2(0.27,0.41,A,B,0.57), res = 7.24000000000000377, count = 334] [program = linear2(0.27,B,A,0.41,0.57), res = 7.24000000000000377, count = 181] [program = linear2(0.32,0.41,A,B,0.52), res = 7.59000000000000430, count = 164] [program = linear2(0.3,B,A,0.41,0.55), res = 7.46000000000000441, count = 164] [program = linear2(0.27,0.36,A,linear2(0.04,B,B,0.07,0.32) + B,0.57), res = 7.24080000000000190, count = 163] [program = linear2(0.41,A,B,0.3,0.55), res = 7.46000000000000441, count = 81] [program = linear2(0.3,B,A,0.41,0.59), res = 7.50000000000000355, count = 56] [program = linear2(0.27,B,A,0.41,0.59), res = 7.26000000000000334, count = 28] [program = linear2(0.27,0.41,A,B,0.58), res = 7.25000000000000355, count = 3] [program = linear2(A,0.41,0.27,B,0.59), res = 7.26000000000000334, count = 2] [program = linear2(0.41,0.3,B,A,0.55), res = 7.46000000000000441, count = 2] [program = linear2(0.43 + A,0.41,0.27,B,0.57), res = 7.35610000000000319, count = 1] [program = linear2(B,0.27,0.41,A,0.59), res = 7.26000000000000334, count = 1] [program = linear2(A,B,0.3,0.41,0.55), res = 7.46000000000000441, count = 1] [program = linear2(A,B,0.27,0.41,0.59), res = 7.26000000000000334, count = 1] [program = linear2(A,B,0.27,0.41,0.57), res = 7.24000000000000377, count = 1] [program = linear2(0.41,A,B,0.28,0.57), res = 7.32000000000000384, count = 1] [program = linear2(0.41,0.59,linear2(A,0.02,0.55,0.36,B),0.41,0.47), res = 7.02885200000000498, count = 1] [program = linear2(0.41,0.27,B,A - 0.82,0.81), res = 7.25860000000000305, count = 1] [program = linear2(0.41,0.27,B,A,0.59), res = 7.26000000000000334, count = 1] [program = linear2(0.3,B,A,0.41,0.57), res = 7.48000000000000398, count = 1] [program = linear2(0.28,0.41,A,B,0.57), res = 7.32000000000000384, count = 1] [program = linear2(0.27,B,A,0.41,0.67), res = 7.34000000000000341, count = 1] [program = linear2(0.27,B,A,0.41,0.61), res = 7.28000000000000380, count = 1] [program = linear2(0.27,0.41,0.43 + A,B,0.57), res = 7.35610000000000319, count = 1] [program = linear2(0.27,0.41,A,B,0.67), res = 7.34000000000000341, count = 1] resultMap = [7.26000000000000334 = 6,7.46000000000000441 = 4,7.24000000000000377 = 3,7.35610000000000319 = 2,7.34000000000000341 = 2,7.32000000000000384 = 2,7.59000000000000430 = 1,7.50000000000000355 = 1,7.48000000000000398 = 1,7.28000000000000380 = 1,7.25860000000000305 = 1,7.25000000000000355 = 1,7.24080000000000190 = 1,7.02885200000000498 = 1] */ /* data(linear,Data,Vars,Unknown,Ops,Constants,MaxSize,Params) :- Data1 = [ [X,Y,Z] : X in 1..3, Y in 1..10, Z = 0.23 * X + 0.41 * Y + 0.71], Data = [ [[X,Y],Z] : [X,Y,Z] in Data1 ], Ops = [+,-,*,/,linear2], % Constants = 1..1, Constants = 0.0..0.01..1.0, Vars = ['A','B'], Unknown = [8,11], MaxSize = 3, Params = new_map([approx=0.1, init_size=100, num_gens=1000 ] ). */ /* Integers data = [[[1,1],12],[[1,2],20],[[1,3],28],[[1,4],36],[[1,5],44],[[1,6],52],[[1,7],60],[[1,8],68],[[1,9],76],[[1,10],84],[[2,1],15],[[2,2],23],[[2,3],31],[[2,4],39],[[2,5],47],[[2,6],55],[[2,7],63],[[2,8],71],[[2,9],79],[[2,10],87],[[3,1],18],[[3,2],26],[[3,3],34],[[3,4],42],[[3,5],50],[[3,6],58],[[3,7],66],[[3,8],74],[[3,9],82],[[3,10],90]] AllGood: [program = linear2(3,B,A,8,A / A), res = 113.00000000000000000, count = 84] [program = linear2(3,10 / 5,A,4 * B,A / A), res = 113.00000000000000000, count = 55] [program = linear2(3,3 - 1,A,4 * B,A / A), res = 113.00000000000000000, count = 42] resultMap = [113.00000000000000000 = 3] AllGood: [program = linear2(3,B,A,8,1), res = 113, count = 85] [program = linear2(A * 3 / A,B,A,8,1), res = 113.00000000000000000, count = 33] [program = linear2(A,B,3,8,1), res = 113, count = 25] [program = linear2(8,A,B,A * 3 / A,1), res = 113.00000000000000000, count = 24] [program = linear2(3,5 / 10,A,2,B * 8), res = 113.00000000000000000, count = 15] resultMap = [113.00000000000000000 = 3,113 = 2] */ /* data(linear2,Data,Vars,Unknown,Ops,Constants,MaxSize,Params) :- Data1 = [ [X,Y,Z] : X in 1..3, Y in 1..10, Z = 3 * X + 8 * Y + 1], Data = [ [[X,Y],Z] : [X,Y,Z] in Data1], Ops = [+,-,*,/,linear2], % Constants = 1..1, Constants = 1..10, Vars = ['A','B'], Unknown = [8,11], MaxSize = 3, Params = new_map([% approx=0, init_size=1000, num_gens=100 ] ). */ /* Test of linear3 data = [[[1,1,1],17],[[1,1,2],19],[[1,1,3],21],[[1,2,1],25],[[1,2,2],27],[[1,2,3],29],[[1,3,1],33],[[1,3,2],35],[[1,3,3],37],[[2,1,1],20],[[2,1,2],22],[[2,1,3],24],[[2,2,1],28],[[2,2,2],30],[[2,2,3],32],[[2,3,1],36],[[2,3,2],38],[[2,3,3],40],[[3,1,1],23],[[3,1,2],25],[[3,1,3],27],[[3,2,1],31],[[3,2,2],33],[[3,2,3],35],[[3,3,1],39],[[3,3,2],41],[[3,3,3],43]] AllGood: [program = linear3(8,Z,3,Y,2,X,4), res = 34, count = 527] [program = linear3(8,3,2,Y,X,Z,4), res = 34, count = 370] [program = linear3(8,3,2,linear1(0,9,Y),X,Z,4), res = 34, count = 339] [program = linear3(8,Z,X,Y,2,3,4), res = 34, count = 229] [program = linear3(Y,Z,3,8,2,X,4), res = 34, count = 1] [program = linear3(8,Z,9 - 6,Y,2,X,4), res = 34, count = 1] [program = linear3(8,3,Z,linear1(0,9,Y),X,2,4), res = 34, count = 1] resultMap = [34 = 7] AllGood: [program = linear3(X,Y,Z,3,8,2,4), res = 34, count = 918] [program = linear3(linear1(0,Z,X),Y,Z,3,8,2,4), res = 34, count = 113] [program = linear3(X,8,Z,3,Y,2,4), res = 34, count = 95] [program = linear3(X,Y,2,3,8,Z,4), res = 34, count = 28] resultMap = [34 = 4] */ /* data(linear3,Data,Vars,Unknown,Ops,Constants,MaxSize,Params) :- Data = [ [[X,Y,Z],V] : X in 1..3, Y in 1..3, Z in 1..3, V = 3*X + 8*Y + 2*Z + 4], Ops = [linear1,linear2,linear3], % Constants = 1..1, Constants = 0..10, Vars = ['X','Y','Z'], Unknown = [4,2,1], MaxSize = 1, Params = new_map([% approx=0, % debug=true, init_size=1000, num_gens=100 ] ). */ /* Test of Fibonacci linear1 AllGood: [program = linear1(1,Y,X), res = 55, count = 1274] [program = linear1(Y,1,X), res = 55, count = 1261] [program = linear1(1,X,Y), res = 55, count = 1261] [program = linear1(X,1,Y), res = 55, count = 1247] [program = linear1(0,1,linear1(X,1,Y)), res = 55, count = 98] [program = linear1(0,0,linear1(X,1,Y)), res = 55, count = 96] [program = linear1(0,1,linear1(1,X,Y)), res = 55, count = 95] [program = linear1(0,X,linear1(1,X,Y)), res = 55, count = 93] [program = linear1(0,0,linear1(1,Y,X)), res = 55, count = 90] [program = linear1(0,1,linear1(1,Y,X)), res = 55, count = 87] [program = linear1(0,X,linear1(1,Y,X)), res = 55, count = 86] [program = linear1(0,0,linear1(1,X,Y)), res = 55, count = 83] [program = linear1(0,1,linear1(Y,1,X)), res = 55, count = 74] [program = linear1(0,X,linear1(X,1,Y)), res = 55, count = 54] [program = linear1(0,0,linear1(Y,1,X)), res = 55, count = 54] [program = linear1(0,Y,linear1(1,Y,X)), res = 55, count = 45] [program = linear1(0,Y,linear1(X,1,Y)), res = 55, count = 40] [program = linear1(X,0,linear1(X,1,Y)), res = 55, count = 38] [program = linear1(0,Y,linear1(1,X,Y)), res = 55, count = 37] [program = linear1(1,0,linear1(X,1,Y)), res = 55, count = 36] [program = linear1(Y,0,linear1(X,1,Y)), res = 55, count = 29] [program = linear1(Y,0,linear1(1,X,Y)), res = 55, count = 29] [program = linear1(1,0,linear1(1,Y,X)), res = 55, count = 26] [program = linear1(Y,0,linear1(1,Y,X)), res = 55, count = 24] [program = linear1(1,linear1(1,X,Y),0), res = 55, count = 23] [program = linear1(0,X,linear1(Y,1,X)), res = 55, count = 23] [program = linear1(linear1(X,1,Y),1,0), res = 55, count = 22] [program = linear1(X,0,linear1(1,Y,X)), res = 55, count = 22] [program = linear1(X,0,linear1(1,X,Y)), res = 55, count = 22] [program = linear1(linear1(1,Y,X),1,0), res = 55, count = 19] [program = linear1(1,linear1(1,Y,X),0), res = 55, count = 18] [program = linear1(1,0,linear1(1,X,Y)), res = 55, count = 18] [program = linear1(0,Y,linear1(Y,1,X)), res = 55, count = 18] [program = linear1(linear1(1,X,Y),1,0), res = 55, count = 17] [program = linear1(linear1(1,0,1),X,Y), res = 55, count = 15] [program = linear1(X,0,linear1(Y,1,X)), res = 55, count = 15] [program = linear1(linear1(X,0,1),X,Y), res = 55, count = 12] [program = linear1(Y,linear1(X,0,1),X), res = 55, count = 12] [program = linear1(X,1,linear1(0,0,Y)), res = 55, count = 11] [program = linear1(1,linear1(X,1,Y),0), res = 55, count = 11] [program = linear1(linear1(1,0,1),Y,X), res = 55, count = 10] [program = linear1(1,linear1(0,Y,X),Y), res = 55, count = 10] [program = linear1(Y,linear1(1,1,0),X), res = 55, count = 9] [program = linear1(1,X,linear1(0,X,Y)), res = 55, count = 9] [program = linear1(Y,0,linear1(Y,1,X)), res = 55, count = 8] [program = linear1(1,linear1(0,X,Y),X), res = 55, count = 8] [program = linear1(1,linear1(0,0,X),Y), res = 55, count = 8] [program = linear1(linear1(1,0,X),1,Y), res = 55, count = 7] [program = linear1(linear1(0,X,X),1,Y), res = 55, count = 7] [program = linear1(linear1(0,X,1),X,Y), res = 55, count = 7] [program = linear1(Y,linear1(0,1,1),X), res = 55, count = 7] [program = linear1(Y,1,linear1(0,Y,X)), res = 55, count = 7] [program = linear1(X,linear1(X,0,1),Y), res = 55, count = 7] [program = linear1(X,linear1(0,1,1),Y), res = 55, count = 7] [program = linear1(X,1,linear1(Y,1,0)), res = 55, count = 7] [program = linear1(X,1,linear1(1,0,Y)), res = 55, count = 7] [program = linear1(1,linear1(1,X,0),Y), res = 55, count = 7] [program = linear1(1,linear1(0,Y,Y),X), res = 55, count = 7] [program = linear1(1,Y,linear1(0,0,X)), res = 55, count = 7] [program = linear1(linear1(Y,1,0),1,X), res = 55, count = 6] [program = linear1(linear1(X,1,0),1,Y), res = 55, count = 6] [program = linear1(linear1(X,0,Y),1,X), res = 55, count = 6] [program = linear1(linear1(1,Y,0),1,X), res = 55, count = 6] [program = linear1(linear1(0,X,Y),1,X), res = 55, count = 6] [program = linear1(linear1(0,1,1),X,Y), res = 55, count = 6] [program = linear1(Y,1,linear1(Y,0,X)), res = 55, count = 6] [program = linear1(Y,1,linear1(1,0,X)), res = 55, count = 6] [program = linear1(Y,1,linear1(0,X,X)), res = 55, count = 6] [program = linear1(X,linear1(0,Y,1),Y), res = 55, count = 6] [program = linear1(X,linear1(0,X,1),Y), res = 55, count = 6] [program = linear1(1,X,linear1(0,Y,Y)), res = 55, count = 6] [program = linear1(1,0,linear1(Y,1,X)), res = 55, count = 6] [program = linear1(linear1(Y,0,X),1,Y), res = 55, count = 5] [program = linear1(linear1(Y,0,1),X,Y), res = 55, count = 5] [program = linear1(linear1(0,Y,Y),1,X), res = 55, count = 5] [program = linear1(linear1(0,Y,1),Y,X), res = 55, count = 5] [program = linear1(linear1(0,Y,1),X,Y), res = 55, count = 5] [program = linear1(linear1(0,X,1),Y,X), res = 55, count = 5] [program = linear1(linear1(0,1,Y),1,X), res = 55, count = 5] [program = linear1(linear1(0,1,X),1,Y), res = 55, count = 5] [program = linear1(linear1(0,1,1),Y,X), res = 55, count = 5] [program = linear1(Y,linear1(Y,0,1),X), res = 55, count = 5] [program = linear1(Y,linear1(1,0,1),X), res = 55, count = 5] [program = linear1(X,linear1(1,1,0),Y), res = 55, count = 5] [program = linear1(X,1,linear1(0,1,Y)), res = 55, count = 5] [program = linear1(1,linear1(X,0,Y),X), res = 55, count = 5] [program = linear1(1,linear1(1,0,X),Y), res = 55, count = 5] [program = linear1(1,linear1(0,Y,X),linear1(1,0,Y)), res = 55, count = 5] [program = linear1(1,linear1(0,X,X),Y), res = 55, count = 5] [program = linear1(1,Y,linear1(Y,0,X)), res = 55, count = 5] [program = linear1(1,X,linear1(0,1,Y)), res = 55, count = 5] [program = linear1(linear1(X,0,X),1,Y), res = 55, count = 4] [program = linear1(linear1(1,Y,X),0,linear1(X,1,Y)), res = 55, count = 4] [program = linear1(linear1(0,Y,1),X,linear1(X,0,Y)), res = 55, count = 4] [program = linear1(Y,1,linear1(X,1,0)), res = 55, count = 4] [program = linear1(Y,1,linear1(X,0,X)), res = 55, count = 4] [program = linear1(Y,1,linear1(0,1,X)), res = 55, count = 4] [program = linear1(X,linear1(1,0,1),Y), res = 55, count = 4] [program = linear1(X,1,linear1(X,0,Y)), res = 55, count = 4] [program = linear1(1,linear1(Y,1,X),0), res = 55, count = 4] [program = linear1(1,linear1(X,1,0),Y), res = 55, count = 4] [program = linear1(1,linear1(X,0,X),Y), res = 55, count = 4] [program = linear1(1,linear1(1,Y,0),X), res = 55, count = 4] [program = linear1(1,linear1(1,0,Y),X), res = 55, count = 4] [program = linear1(1,linear1(0,1,Y),X), res = 55, count = 4] [program = linear1(1,Y,linear1(1,X,0)), res = 55, count = 4] [program = linear1(1,Y,linear1(0,X,X)), res = 55, count = 4] [program = linear1(1,X,linear1(1,0,Y)), res = 55, count = 4] [program = linear1(0,linear1(1,Y,X),linear1(1,X,Y)), res = 55, count = 4] [program = linear1(linear1(Y,0,Y),1,X), res = 55, count = 3] [program = linear1(linear1(Y,0,1),Y,X), res = 55, count = 3] [program = linear1(linear1(X,0,1),0,linear1(1,X,Y)), res = 55, count = 3] [program = linear1(linear1(1,X,Y),0,linear1(1,X,Y)), res = 55, count = 3] [program = linear1(linear1(1,1,0),X,Y), res = 55, count = 3] [program = linear1(linear1(0,X,Y),0,linear1(1,X,Y)), res = 55, count = 3] [program = linear1(Y,linear1(0,Y,1),X), res = 55, count = 3] [program = linear1(X,linear1(Y,0,1),Y), res = 55, count = 3] [program = linear1(X,linear1(Y,0,0),linear1(1,X,Y)), res = 55, count = 3] [program = linear1(X,linear1(0,0,1),Y), res = 55, count = 3] [program = linear1(X,1,linear1(0,Y,Y)), res = 55, count = 3] [program = linear1(X,1,linear1(0,X,Y)), res = 55, count = 3] [program = linear1(1,linear1(Y,0,0),linear1(X,1,Y)), res = 55, count = 3] [program = linear1(1,linear1(0,0,Y),X), res = 55, count = 3] [program = linear1(1,Y,linear1(X,0,X)), res = 55, count = 3] [program = linear1(1,Y,linear1(1,0,X)), res = 55, count = 3] [program = linear1(1,Y,linear1(0,Y,X)), res = 55, count = 3] [program = linear1(1,Y,linear1(0,1,X)), res = 55, count = 3] [program = linear1(1,X,linear1(Y,0,Y)), res = 55, count = 3] [program = linear1(1,X,linear1(0,0,Y)), res = 55, count = 3] [program = linear1(0,linear1(Y,1,0),linear1(Y,1,X)), res = 55, count = 3] [program = linear1(0,linear1(X,Y,1),linear1(X,1,Y)), res = 55, count = 3] [program = linear1(linear1(Y,1,X),1,0), res = 55, count = 2] [program = linear1(linear1(Y,0,1),Y,linear1(0,X,X)), res = 55, count = 2] [program = linear1(linear1(X,1,Y),linear1(1,1,0),0), res = 55, count = 2] [program = linear1(linear1(X,1,Y),0,linear1(1,X,Y)), res = 55, count = 2] [program = linear1(linear1(X,0,1),X,linear1(1,0,Y)), res = 55, count = 2] [program = linear1(linear1(1,X,0),1,Y), res = 55, count = 2] [program = linear1(linear1(1,1,0),Y,X), res = 55, count = 2] [program = linear1(linear1(1,0,Y),1,linear1(Y,0,X)), res = 55, count = 2] [program = linear1(linear1(1,0,0),1,linear1(Y,1,X)), res = 55, count = 2] [program = linear1(linear1(0,Y,X),1,Y), res = 55, count = 2] [program = linear1(linear1(0,Y,0),Y,linear1(X,1,Y)), res = 55, count = 2] [program = linear1(linear1(0,X,0),1,linear1(1,X,Y)), res = 55, count = 2] [program = linear1(linear1(0,0,1),Y,X), res = 55, count = 2] [program = linear1(Y,1,linear1(1,X,0)), res = 55, count = 2] [program = linear1(X,linear1(X,0,1),linear1(0,0,Y)), res = 55, count = 2] [program = linear1(1,linear1(Y,0,X),Y), res = 55, count = 2] [program = linear1(1,linear1(1,Y,X),linear1(1,0,0)), res = 55, count = 2] [program = linear1(1,linear1(0,1,0),linear1(1,X,Y)), res = 55, count = 2] [program = linear1(1,Y,linear1(X,1,0)), res = 55, count = 2] [program = linear1(0,linear1(Y,1,Y),linear1(1,Y,X)), res = 55, count = 2] [program = linear1(0,linear1(Y,1,0),linear1(1,X,Y)), res = 55, count = 2] [program = linear1(0,linear1(Y,0,1),linear1(X,1,Y)), res = 55, count = 2] [program = linear1(0,linear1(Y,0,0),linear1(1,X,Y)), res = 55, count = 2] [program = linear1(0,linear1(1,X,0),linear1(X,1,Y)), res = 55, count = 2] [program = linear1(0,linear1(0,1,0),linear1(1,X,Y)), res = 55, count = 2] [program = linear1(0,linear1(0,0,1),linear1(X,1,Y)), res = 55, count = 2] [program = linear1(linear1(Y,Y,0),0,linear1(1,X,Y)), res = 55, count = 1] [program = linear1(linear1(Y,X,0),0,linear1(1,X,Y)), res = 55, count = 1] [program = linear1(linear1(Y,1,X),0,linear1(1,X,Y)), res = 55, count = 1] [program = linear1(linear1(Y,1,1),0,linear1(1,X,Y)), res = 55, count = 1] [program = linear1(linear1(Y,0,Y),linear1(1,1,0),X), res = 55, count = 1] [program = linear1(linear1(Y,0,Y),0,linear1(1,Y,X)), res = 55, count = 1] [program = linear1(linear1(Y,0,X),linear1(1,0,1),Y), res = 55, count = 1] [program = linear1(linear1(Y,0,X),0,linear1(1,Y,X)), res = 55, count = 1] [program = linear1(linear1(Y,0,1),linear1(0,Y,Y),X), res = 55, count = 1] [program = linear1(linear1(Y,0,0),X,linear1(1,X,Y)), res = 55, count = 1] [program = linear1(linear1(X,X,X),0,linear1(1,X,Y)), res = 55, count = 1] [program = linear1(linear1(X,1,Y),1,linear1(X,0,0)), res = 55, count = 1] [program = linear1(linear1(X,1,0),0,linear1(X,1,Y)), res = 55, count = 1] [program = linear1(linear1(X,0,1),Y,X), res = 55, count = 1] [program = linear1(linear1(X,0,0),1,linear1(1,X,Y)), res = 55, count = 1] [program = linear1(linear1(1,Y,Y),0,linear1(1,X,Y)), res = 55, count = 1] [program = linear1(linear1(1,Y,0),linear1(1,1,0),X), res = 55, count = 1] [program = linear1(linear1(1,0,Y),1,X), res = 55, count = 1] [program = linear1(linear1(1,0,Y),0,linear1(1,Y,X)), res = 55, count = 1] [program = linear1(linear1(1,0,0),Y,linear1(Y,1,X)), res = 55, count = 1] [program = linear1(linear1(1,0,0),1,linear1(1,X,Y)), res = 55, count = 1] [program = linear1(linear1(1,0,0),0,linear1(Y,1,X)), res = 55, count = 1] [program = linear1(linear1(1,0,0),0,linear1(X,1,Y)), res = 55, count = 1] [program = linear1(linear1(0,Y,X),0,linear1(X,1,Y)), res = 55, count = 1] [program = linear1(linear1(0,Y,1),0,linear1(1,Y,X)), res = 55, count = 1] [program = linear1(linear1(0,Y,0),1,linear1(Y,1,X)), res = 55, count = 1] [program = linear1(linear1(0,Y,0),1,linear1(1,X,Y)), res = 55, count = 1] [program = linear1(linear1(0,X,Y),0,linear1(X,1,Y)), res = 55, count = 1] [program = linear1(linear1(0,X,1),0,linear1(X,1,Y)), res = 55, count = 1] [program = linear1(linear1(0,X,0),X,linear1(1,Y,X)), res = 55, count = 1] [program = linear1(linear1(0,X,0),1,linear1(X,1,Y)), res = 55, count = 1] [program = linear1(linear1(0,1,1),Y,linear1(Y,0,X)), res = 55, count = 1] [program = linear1(linear1(0,0,Y),1,linear1(X,0,X)), res = 55, count = 1] [program = linear1(linear1(0,0,Y),0,linear1(1,X,Y)), res = 55, count = 1] [program = linear1(linear1(0,0,1),X,Y), res = 55, count = 1] [program = linear1(linear1(0,0,0),Y,linear1(1,X,Y)), res = 55, count = 1] [program = linear1(linear1(0,0,0),X,linear1(1,X,Y)), res = 55, count = 1] [program = linear1(linear1(0,0,0),0,linear1(1,X,Y)), res = 55, count = 1] [program = linear1(Y,linear1(Y,0,1),linear1(0,Y,X)), res = 55, count = 1] [program = linear1(Y,linear1(Y,0,1),linear1(0,0,X)), res = 55, count = 1] [program = linear1(Y,linear1(Y,0,0),linear1(1,Y,X)), res = 55, count = 1] [program = linear1(Y,linear1(X,0,1),linear1(Y,0,X)), res = 55, count = 1] [program = linear1(Y,linear1(X,0,1),linear1(0,X,X)), res = 55, count = 1] [program = linear1(Y,linear1(1,0,0),linear1(1,X,Y)), res = 55, count = 1] [program = linear1(Y,linear1(0,1,0),linear1(1,X,Y)), res = 55, count = 1] [program = linear1(Y,linear1(0,0,1),X), res = 55, count = 1] [program = linear1(X,linear1(Y,0,0),linear1(X,1,Y)), res = 55, count = 1] [program = linear1(X,linear1(1,1,0),linear1(Y,1,0)), res = 55, count = 1] [program = linear1(X,linear1(0,1,0),linear1(1,X,Y)), res = 55, count = 1] [program = linear1(X,1,linear1(1,Y,0)), res = 55, count = 1] [program = linear1(1,linear1(Y,1,0),X), res = 55, count = 1] [program = linear1(1,linear1(Y,0,Y),linear1(1,X,0)), res = 55, count = 1] [program = linear1(1,linear1(Y,0,Y),X), res = 55, count = 1] [program = linear1(1,linear1(X,1,0),linear1(1,Y,0)), res = 55, count = 1] [program = linear1(1,linear1(X,0,0),linear1(1,Y,X)), res = 55, count = 1] [program = linear1(1,linear1(1,Y,X),linear1(0,Y,0)), res = 55, count = 1] [program = linear1(1,linear1(1,Y,X),linear1(0,1,0)), res = 55, count = 1] [program = linear1(1,linear1(1,X,Y),linear1(0,0,0)), res = 55, count = 1] [program = linear1(1,linear1(1,0,X),linear1(1,0,Y)), res = 55, count = 1] [program = linear1(1,linear1(1,0,X),linear1(0,X,Y)), res = 55, count = 1] [program = linear1(1,linear1(0,1,X),Y), res = 55, count = 1] [program = linear1(1,X,linear1(Y,1,0)), res = 55, count = 1] [program = linear1(1,X,linear1(X,0,Y)), res = 55, count = 1] [program = linear1(1,X,linear1(1,Y,0)), res = 55, count = 1] [program = linear1(0,linear1(Y,Y,X),linear1(X,1,Y)), res = 55, count = 1] [program = linear1(0,linear1(Y,Y,0),linear1(1,Y,X)), res = 55, count = 1] [program = linear1(0,linear1(Y,1,1),linear1(X,1,Y)), res = 55, count = 1] [program = linear1(0,linear1(Y,1,1),linear1(1,X,Y)), res = 55, count = 1] [program = linear1(0,linear1(Y,0,0),linear1(X,1,Y)), res = 55, count = 1] [program = linear1(0,linear1(X,Y,X),linear1(1,X,Y)), res = 55, count = 1] [program = linear1(0,linear1(X,Y,1),linear1(1,Y,X)), res = 55, count = 1] [program = linear1(0,linear1(X,Y,0),linear1(1,X,Y)), res = 55, count = 1] [program = linear1(0,linear1(X,X,Y),linear1(X,1,Y)), res = 55, count = 1] [program = linear1(0,linear1(X,X,Y),linear1(1,X,Y)), res = 55, count = 1] [program = linear1(0,linear1(X,X,1),linear1(X,1,Y)), res = 55, count = 1] [program = linear1(0,linear1(X,X,0),linear1(1,Y,X)), res = 55, count = 1] [program = linear1(0,linear1(X,1,Y),linear1(X,1,Y)), res = 55, count = 1] [program = linear1(0,linear1(X,1,Y),linear1(1,X,Y)), res = 55, count = 1] [program = linear1(0,linear1(X,1,1),linear1(Y,1,X)), res = 55, count = 1] [program = linear1(0,linear1(X,1,1),linear1(X,1,Y)), res = 55, count = 1] [program = linear1(0,linear1(X,1,1),linear1(1,X,Y)), res = 55, count = 1] [program = linear1(0,linear1(X,1,0),linear1(X,1,Y)), res = 55, count = 1] [program = linear1(0,linear1(X,0,Y),linear1(1,Y,X)), res = 55, count = 1] [program = linear1(0,linear1(X,0,X),linear1(Y,1,X)), res = 55, count = 1] [program = linear1(0,linear1(X,0,1),linear1(1,Y,X)), res = 55, count = 1] [program = linear1(0,linear1(1,X,Y),linear1(X,1,Y)), res = 55, count = 1] [program = linear1(0,linear1(0,Y,Y),linear1(X,1,Y)), res = 55, count = 1] [program = linear1(0,linear1(0,X,Y),linear1(1,Y,X)), res = 55, count = 1] [program = linear1(0,linear1(0,1,X),linear1(X,1,Y)), res = 55, count = 1] [program = linear1(0,linear1(0,1,X),linear1(1,Y,X)), res = 55, count = 1] [program = linear1(0,linear1(0,1,1),linear1(1,X,Y)), res = 55, count = 1] [program = linear1(0,linear1(0,1,0),linear1(Y,1,X)), res = 55, count = 1] [program = linear1(0,linear1(0,0,Y),linear1(X,1,Y)), res = 55, count = 1] [program = linear1(0,linear1(0,0,X),linear1(Y,1,X)), res = 55, count = 1] [program = linear1(0,linear1(0,0,X),linear1(1,Y,X)), res = 55, count = 1] resultMap = [55 = 252] */ data(linear_fib,Data,Vars,Unknown,Ops,Constants,MaxSize,Params) :- Data = [[[1,1],2],[[1,2],3],[[2,3],5],[[3,5],8],[[5,8],13],[[8,13],21],[[13,21],34]], Ops = [linear1], Constants = 0..1, Vars = ['X','Y'], Unknown = [21,34], MaxSize = 1, Params = new_map([ init_size=1000, num_gens=100 ] ).