% SZS status Success for land_ground.trs
0.01 (total time)

S-CONVERGENT TRS: 
and_AC(0(),0()) -> 0()
and_AC(1(),1()) -> 1()
and_AC(0(),1()) -> 0()

% SZS status Success for land_ground.trs
0.01 (total time)

S-CONVERGENT TRS: 
and_AC(0(),0()) -> 0()
and_AC(1(),1()) -> 1()
and_AC(0(),1()) -> 0()

Total time: 0.014358