Check for output of Ackermann test.