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

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

Total time: 0.164902