Results of probabilistic analysis of assertions in ransac.assertions using PRISM
Assertion: P_deadlock_free
| Assertion |
states: |
transitions: |
result: |
checkTime: |
| P_deadlock_free |
3615 |
4070 |
true |
0.003 seconds |
Assertion: P_nr_of_tries
| Assertion |
states: |
transitions: |
result: |
checkTime: |
| P_nr_of_tries |
3615 |
4070 |
1.6998561958204306 |
0.117 seconds |
Assertion: P_nr_of_choices
| Assertion |
states: |
transitions: |
result: |
checkTime: |
| P_nr_of_choices |
3615 |
4070 |
2.6998527952527036 |
0.115 seconds |
Assertion: P_goodfit
| Assertion |
states: |
transitions: |
result: |
checkTime: |
| P_goodfit |
3615 |
4070 |
1.0 |
0.043 seconds |