/export/starexec/sandbox2/solver/bin/starexec_run_default /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files


--------------------------------------------------------------------------------


YES

******** General Schema criterion ********
Found constructors: cons, fcons, fnil, nil
Checking type order >>OK
Checking positivity of constructors >>OK
Checking function dependency >>OK
Checking  (1) fmap(fnil,X) => nil
 (fun fmap>nil) >>True
Checking  (2) fmap(fcons(Z,U),V) => cons(Z[V],fmap(U,V))
 (fun fmap>cons)
 (meta Z)[is acc in fcons(Z,U),V] [is positive in fcons(Z,U)] [is acc in Z] 
 (meta V)[is acc in fcons(Z,U),V] [is positive in fcons(Z,U)] [is acc in V] 
 (fun fmap=fmap) subterm comparison of args w. LR LR
 (meta U)[is acc in fcons(Z,U),V] [is positive in fcons(Z,U)] [is acc in U] 
 (meta V)[is acc in fcons(Z,U),V] [is positive in fcons(Z,U)] [is acc in V]  >>True
#SN!
******** Signature ********
 cons : (c,d) -> d
 fcons : ((b -> c),a) -> a
 fmap : (a,b) -> d
 fnil : a
 nil : d
******** Computation Rules ********
 (1)  fmap(fnil,X) => nil
 (2)  fmap(fcons(Z,U),V) => cons(Z[V],fmap(U,V))

YES