About non-termination

[Ardek Veri]

Dear all,

Relatively as an amateur, I would like to ask; when would you presume that your proof-execution fell into non-termination? My code keeps running for 1.5 days.

Thank you in advance,

Murat 

[Cas Cremers]

Hi all,

There exists no criterion.
Pragmatically though, after two days, I would personally start inspecting a partial proof in the GUI to see if there might be any invariant/reusable lemma to write that might help.

Best,

Cas