MH - do we need to recompute the likelihood of thepoint when we did not move?

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

BSD 3-Clause "New" or "Revised" License

4 stars 1 forks source link

Closed xhajnal closed 4 years ago

xhajnal commented 4 years ago

Currently, we use manual_log_like_normal which is deterministic and hence the value remains the same if we don't move.

It makes a significant time difference:

with recalculation: (~25s) mh_old

without: (~18s) mh_new

ofc. this depends on the fraction of accepted vs rejected points

xhajnal commented 4 years ago

see 12210b66e2fb4d5269f59a53bcaf102299a6a064