2 ms·I wasn't considering formal verification at all.by simonh 4y agoI wasn't considering formal verification at all.DoctorOetker 4y agoI was in the original comment to which you had responded.