Output runtime when property proved or disproved