Output runtime when property proved or disproved
Merge pull request #167 from chsticksel/develop

Output runtime when property proved or disproved