Results of probabilistic analysis of assertions in ransac.assertions using PRISM

Assertion: P_deadlock_free

Assertion States Transitions Time Result
P_deadlock_free 591 686 0.002 seconds true

Assertion: P_nr_of_tries

Assertion States Transitions Time Result
P_nr_of_tries 591 686 0.039 seconds 1.6998580815632656

Assertion: P_nr_of_choices

Assertion States Transitions Time Result
P_nr_of_choices 591 686 0.027 seconds 2.6998493976687925