Reasoning unit tests results: