% SZS status Satisfiable for K00_ex5_4_2.trs
0.42 (total time)

AC-COMPLETE TRS: 
f(g(x)) -> f(f(x))
h(f(x),f(x)) -> g(x)
h(f(x),h(f(x),x1)) -> h(g(x),x1)
g(g(x)) -> g(f(x))


STATISTICS 
General
 number of iterations:    4 
 number of nodes:         22 
 number of processes:     5 
 time for orient:         0.34
 time for rewrite:        0.04
 time for deduce:         0.03

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

Termination Checks (external with callmuterm)
 termination checks:      10 (yes: 10, timeouts: 0)
 time limit for check:    3.00
 termination time:        0.34

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

Indexing
 techniques: code tree (rewriting) discrimination tree (overlaps)
 variants:                0.00
 encompassments:          0.01
 overlaps:                0.00
 maintenance:             0.00
Total time: 0.425602