On 2016-10-15 13:47, Tobias Hansen wrote: > I'm not sure how to debug this since there is no output. That's a bug by itself. Are you using the Sage doctest framework or something else? The Sage doctest framework should show where it timed out.