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


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


MAYBE


******** Signature ********
 xpls : (proc,proc) -> proc
 xmul : (proc,proc) -> proc
 delta : proc
 sigma : (data -> proc) -> proc
 ap : ((a -> b),a) -> b
******** Computation Rules ********
 (1)  xpls(X,X) => X
 (2)  xmul(xpls(X,Y),Z) => xpls(xmul(X,Z),xmul(Y,Z))
 (3)  xmul(xmul(X,Y),Z) => xmul(X,xmul(Y,Z))
 (4)  xpls(X,delta) => X
 (5)  xmul(delta,X) => delta
 (6)  sigma(d.X) => X
 (7)  xpls(sigma(d.P[d]),ap(P,D)) => sigma(d.P[d])
 (ap)  ap(x.M[x],N) => M[N]
 (ap0)  ap(M,N) => M[N]
 (8)  sigma(d.xpls(P[d],Q[d])) => xpls(sigma(d.P[d]),sigma(d.Q[d]))
 (9)  xmul(sigma(d.P[d]),X) => sigma(d.xmul(P[d],X))

MAYBE