Behavior of morphi and the checker on particular instances. Times are ...