% SZS status Timeout for round__roundTiesToEven__minus__infini
