Adding in more examples and some timing.

Reasoner appears to be working well :D