% SZS status Timeout for path__bisimulati
