% SZS status Timeout for lbtree__strong__bisimulati
