/*
 
  Sorting 3 numbers

  Solutions:
  [program = (C < B < 1 * (B < A < 1)),res = 1,count = 1]
  [program = (B < A < (C < B < (0 < 0 < (A < 1 < C)))),res = 1,count = 1]
  [program = (C < B < (B < A < 1)),res = 1,count = 1]


  Cf sorted.conf
*/
data(sorted,Data,Vars,Unknown,Ops,Constants,MaxSize,Params) :-
  Data = [
[[1,1,1],1],
[[1,1,2],1],
[[1,1,3],1],
[[1,2,1],0],
[[1,2,2],1],
[[1,2,3],1],
[[1,3,1],0],
[[1,3,2],0],
[[1,3,3],1],
[[2,1,1],0],
[[2,1,2],0],
[[2,1,3],0],
[[2,2,1],0],
[[2,2,2],1],
[[2,2,3],1],
[[2,3,1],0],
[[2,3,2],0],
[[2,3,3],1],
[[3,1,1],0],
[[3,1,2],0],
[[3,1,3],0],
[[3,2,1],0],
[[3,2,2],0],
[[3,2,3],0],
[[3,3,1],0],
[[3,3,2],0],
[[3,3,3],1]
  ],
  Ops = [+,-,*,<],
  Constants = 0..1,
  Unknown = [10,20,121],
  Vars = ['A','B','C'], 
  MaxSize = 4,
  Params = new_map([init_size=200,
                    stop_criteria=generation,
                    num_gens=1800
                   ]).