# VERIFYING TERMINATION
(Spin Version 6.2.3 -- 24 October 2012)
        + Partial Order Reduction

Full statespace search for:
        never claim             + (termination)
        assertion violations    + (if within scope of claim)
        cycle checks            - (disabled by -DSAFETY)
        invalid end states      - (disabled by never claim)

State-vector 128 byte, depth reached 204, errors: 0
     2095 states, stored
     2415 states, matched
     4510 transitions (= stored+matched)
       51 atomic steps
hash conflicts:         3 (resolved)

Stats on memory usage (in Megabytes):
    0.280       equivalent memory usage for states (stored*(State-vector + overhead))
    0.480       actual memory usage for states
   64.000       memory used for hash table (-w24)
    0.343       memory used for DFS stack (-m10000)
   64.734       total actual memory usage

pan: elapsed time 0.01 seconds

# VERIFYING AGREEMENT
(Spin Version 6.2.3 -- 24 October 2012)
        + Partial Order Reduction

Full statespace search for:
        never claim             + (agreement)
        assertion violations    + (if within scope of claim)
        cycle checks            - (disabled by -DSAFETY)
        invalid end states      - (disabled by never claim)

State-vector 128 byte, depth reached 204, errors: 0
     1049 states, stored
      460 states, matched
     1509 transitions (= stored+matched)
       17 atomic steps
hash conflicts:         0 (resolved)

Stats on memory usage (in Megabytes):
    0.140       equivalent memory usage for states (stored*(State-vector + overhead))
    0.383       actual memory usage for states
   64.000       memory used for hash table (-w24)
    0.343       memory used for DFS stack (-m10000)
   64.636       total actual memory usage

pan: elapsed time 0 seconds