% SZS status Success for eh.trs
6.30 (total time)

S-CONVERGENT TRS: 
+_AC(0(),a) -> a
1() -> 0()
._AC(a,b) -> +_AC(a,b)

% SZS status Success for eh.trs
6.32 (total time)

S-CONVERGENT TRS: 
+_AC(0(),a) -> a
1() -> 0()
._AC(a,b) -> +_AC(a,b)

Total time: 6.326764