Its also likely the solution it found would not work across the operating temperature range of the device. To do it properly would take a lot longer and need a lot more test cases.