% SZS status Success for chameleons.trs
0.23 (total time)

S-CONVERGENT TRS: 
p_AC(b(),b()) -> p_AC(r(),g())
p_AC(g(),g()) -> p_AC(r(),b())
p_AC(g(),b()) -> p_AC(r(),r())

% SZS status Success for chameleons.trs
0.23 (total time)

S-CONVERGENT TRS: 
p_AC(b(),b()) -> p_AC(r(),g())
p_AC(g(),g()) -> p_AC(r(),b())
p_AC(g(),b()) -> p_AC(r(),r())

Total time: 0.233216