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


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


MAYBE


******** Signature ********
 xpls : (proc,proc) -> proc
 xmul : (proc,proc) -> proc
 delta : proc
 sigma : (data -> proc) -> proc
******** 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]),P[D]) => sigma(d.P[d])
 (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