Spinroot

A forum for Spin users

You are not logged in.

#1 2012-06-07 09:45:16

kimymet
Member
Registered: 2012-06-07
Posts: 1

Difference between states stored and matched

Hi,

I'm new with Spin and the output of ./pan give me this :

State-vector 36 byte, depth reached 3267, errors: 1
    14478 states, stored
    19167 states, matched
    33645 transitions (= stored+matched)
        0 atomic steps
hash conflicts:        81 (resolved)

So, I d'ont understand whats are the states stores and matched and what are the differences between them,

Thanks,

Offline

#2 2012-06-07 11:11:24

feng_lei_76
Member
Registered: 2011-05-13
Posts: 43

Re: Difference between states stored and matched

According to the book "Spin Model Checker, The Primer and Reference Manual", "states stored" indicates the total number of unique global system states stored in the state space; "states matched" indicates how many times the search returns to a previously visited state in the search tree.

BR

Offline

#3 2012-06-07 16:27:49

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

Re: Difference between states stored and matched

you can also find the answer here: http://spinroot.com/spin/Man/Pan.html#C

Offline

#4 2014-04-13 17:00:12

maryam
Member
Registered: 2012-03-27
Posts: 16

Re: Difference between states stored and matched

newer versions have the number of visited too, which is different from stored and matched. I cannot understand what does "visited" indicate? for example, (335 visited) in the following.
      197 states, stored (335 visited)
      448 states, matched
      783 transitions (= visited+matched)

many thanks in advance

Offline

#5 2014-04-13 17:41:16

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

Re: Difference between states stored and matched

the visited count only shows up when you do a search for cycles (or liveness properties).
since a state can now be visited twice (but always stored only once), the visited count gives extra information about the search complexity

Offline

#6 2014-04-13 17:57:35

maryam
Member
Registered: 2012-03-27
Posts: 16

Re: Difference between states stored and matched

thank you very much for your helpful response.

Offline

Board footer

Powered by FluxBB