Spinroot

A forum for Spin users

You are not logged in.

#1 2014-02-21 23:41:27

srirajpaul
Member
Registered: 2013-09-07
Posts: 13

Randomized search process getting stuck for some seeds

I am trying to do a randomized search process using the -DT_RAND and -DP_RAND option. When I execute the code it runs fine for some seeds, but gets stuck for few others.

For example when I tried to run with -RS38 it worked fine.
But when I tried -RS59 it got stuck. In this case it gets stuck as soon as it find the first collision. When I do CTRL+C and come out, the result shows as follows

State-vector 35684 byte, depth reached 4647, errors: 0
     2324 states, stored
        1 states, matched
     2325 transitions (= stored+matched)
        0 atomic steps

I run it as follows
gcc -O2 -DVECTORSZ=64000  -DBITSTATE -DP_RAND -DT_RAND pan.c
./a.out -a -RS59 -w20

The updated model is put at at http://srp7.web.rice.edu/new_pe.pml

Thank you
Sriraj

Offline

#2 2014-02-23 21:11:26

spinroot
forum
Registered: 2010-11-18
Posts: 691
Website

Re: Randomized search process getting stuck for some seeds

it's a bug -- will be fixed in the next release of spin (6.2.7)
thanks for reporting this!

Offline

#3 2014-02-24 18:22:29

srirajpaul
Member
Registered: 2013-09-07
Posts: 13

Re: Randomized search process getting stuck for some seeds

Is there a time frame by which the SPIN 6.2.7 will be released?

Since the model is large, we get a hash factor as small as 2. We are relying on randomized search to get some more coverage.
Is there some way to get a patched version of SPIN that fixes this problem or is there some work around that we can try at our side?
We usually create the spin executable from the sources.

Thank you
Sriraj

Offline

#4 2014-02-26 16:53:40

Mara
Member
Registered: 2012-05-30
Posts: 24

Re: Randomized search process getting stuck for some seeds

I'm also very interested in it:  we perform verification on very large models using a swarm approach based essentially on randomized searches. I noticed that sometimes the searches were not terminating, and remained stuck for days.  I decided to write you to ask your opinion, but I'm lucky and I already get the answer. However it would be very nice if the bug will be fixed ASAP.
Thank you

Mara

Offline

#5 2014-02-28 00:22:47

spinroot
forum
Registered: 2010-11-18
Posts: 691
Website

Re: Randomized search process getting stuck for some seeds

I'll try to get a new release out within about a week or so.

Offline

#6 2014-02-28 17:28:28

srirajpaul
Member
Registered: 2013-09-07
Posts: 13

Re: Randomized search process getting stuck for some seeds

Thank you very much. That will be very helpful.

Offline

#7 2014-03-03 05:21:07

spinroot
forum
Registered: 2010-11-18
Posts: 691
Website

Re: Randomized search process getting stuck for some seeds

Version 6.2.7 is now available.

Offline

#8 2014-03-05 22:52:27

srirajpaul
Member
Registered: 2013-09-07
Posts: 13

Re: Randomized search process getting stuck for some seeds

Thank you. Now it is working with different random seeds.

Offline

#9 2014-03-11 15:18:53

Mara
Member
Registered: 2012-05-30
Posts: 24

Re: Randomized search process getting stuck for some seeds

Thank you very much!!

Offline

Board footer

Powered by FluxBB