(Perfomance) dropped drastically with nondecreasing MH *CASE STUDY*

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

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

4 stars 1 forks source link

Open xhajnal opened 4 years ago

xhajnal commented 4 years ago

10_default_nondecreasing

Probably it is due to the way how the new point is selected

if the whole point is checked and not done iteratively it takes a drastic amount of time (or luck actually) to find it
if not maybe the way can be optimised (using norm AND constraint)

xhajnal commented 4 years ago

tackled in bb8f62482f0f20742e28047a06c0b85d1b44a09a

Showing on 5_bees_synchronous, 50 000 iterations

image_mh_control

image_mh_old

image_mh_new

xhajnal commented 3 years ago

new MH: control: without ordering: 33.36s New: 56.68s

xhajnal commented 3 years ago

New optimisation, it dropped to 36.25