/*
 
  Test of abs

  AllGood:
  [program = abs(Y - X),res = 89,count = 97]
  [program = abs(X - Y),res = 89,count = 79]
  [program = Y - X,res = 89,count = 61]
  [program = 1 * (Y - X),res = 89,count = 4]
  [program = abs(Y) - abs(X),res = 89,count = 3]
  [program = Y + 10 - 10 - X,res = 89,count = 2]
  [program = Y - X * 1,res = 89,count = 2]
  [program = Y - 1 * X,res = 89,count = 2]
  [program = Y - X - (Y - Y),res = 89,count = 1]
  [program = Y + (Y + abs(Y - Y)) - (X + Y),res = 89,count = 1]
  [program = abs(Y) - abs(abs(X)),res = 89,count = 1]
  [program = Y - (X - X + X),res = 89,count = 1]
  [program = Y - X + (X - X),res = 89,count = 1]
  [program = (Y - X) * 1,res = 89,count = 1]

  resultMap = [89 = 14]

*/
import util.
data(abs_test,Data,Vars,Unknown,Ops,Constants,MaxSize,Params) :-
  % Data = [[[-2],2],
  %         [[2],2],
  %         [[-19],19]          
  %         ],
  Data = [[[-2,-2],0],
          [[2,9],7],
          [[4,19],15]
          ],
  Ops = [+,-,*,abs],
  Constants = 1..10,
  Vars = ['X','Y'],
  Unknown = [10,99],  
  MaxSize = 21,
  Params = new_map([init_size=200,
                   num_gens=100
                   ]).