% SZS status Satisfiable for semiring.trs
10.91 (total time)

AC-COMPLETE TRS: 
p(zero(),x) -> x
m(one(),x) -> x
m(p(z,y),x) -> p(m(x,z),m(x,y))
p(m(zero(),z),m(x,z)) -> m(x,z)
p(m(zero(),x),x) -> x
m(zero(),zero()) -> zero()


STATISTICS 
General
 number of iterations:    13 
 number of nodes:         291 
 number of processes:     2 
 time for orient:         5.67
 time for rewrite:        3.58
 time for deduce:         0.92

Selection
 strategy: (el(min(e(sum(smax)) + c(sum(smax)))), (data(smax), ( -el(#), ?)))
 time for selection:      0.03

Termination Checks (external with callmuterm )
 termination checks:      13 (yes: 9, timeouts: 2)
 time limit for check:    2.50
 termination time:        5.61

Critical pair criterion (primality) 
 redundant CPs in total:  121
 for successful process:  60

Indexing
 techniques: code tree (rewriting) discrimination tree (overlaps)
 variants:                0.19
 encompassments:          0.62
 overlaps:                0.00
 maintenance:             0.00
    One: 0.000000
    Two: 0.000000
Total time: 10.941109