/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: 
Checking type order >>OK
Checking positivity of constructors >>OK
Checking function dependency >>OK
Checking  (1) comp(F,Z,U) => F[Z[U]]
 (meta F)[is acc in F,Z,U] [is acc in F] 
 (meta Z)[is acc in F,Z,U] [is acc in Z] 
 (meta U)[is acc in F,Z,U] [is acc in U]  >>True
Checking  (2) twice(H) => H<>H
 (fun twice>comp)
 (meta H)[is acc in H] [is acc in H] 
 (meta H)[is acc in H] [is acc in H]  >>True
#SN!
******** Signature ********
 comp : ((a -> a),(a -> a),a) -> a
 twice : ((a -> a),a) -> a
******** Computation Rules ********
 (1)  comp(F,Z,U) => F[Z[U]]
 (2)  twice(H) => H<>H

YES