We had an LMI machine in my department (competitor to symbolics) - and it was no better either. It hardly ever worked and was scrapped soon after it was bought.

We had an LMI machine in my department (competitor to symbolics) - and it was no better either. It hardly ever worked and was scrapped soon after it was bought. According to the system admin, the machine was very temperature sensitive and would not work other than in a narrow band of temperatures.