# 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 212 byte, depth reached 527, errors: 0
  1111711 states, stored
  1619546 states, matched
  2731257 transitions (= stored+matched)
       96 atomic steps
hash conflicts:     35590 (resolved)

Stats on memory usage (in Megabytes):
  237.487       equivalent memory usage for states (stored*(State-vector + overhead))
  191.500       actual memory usage for states (compression: 80.64%)
                state-vector as stored = 169 byte + 12 byte overhead
   64.000       memory used for hash table (-w24)
    0.343       memory used for DFS stack (-m10000)
  255.457       total actual memory usage

pan: elapsed time 4.77 seconds
pan: rate  233063.1 states/second


# 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 212 byte, depth reached 527, errors: 0
   555857 states, stored
   354571 states, matched
   910428 transitions (= stored+matched)
       32 atomic steps
hash conflicts:      3508 (resolved)

Stats on memory usage (in Megabytes):
  118.744       equivalent memory usage for states (stored*(State-vector + overhead))
   95.941       actual memory usage for states (compression: 80.80%)
                state-vector as stored = 169 byte + 12 byte overhead
   64.000       memory used for hash table (-w24)
    0.343       memory used for DFS stack (-m10000)
  160.047       total actual memory usage

pan: elapsed time 1.6 seconds
pan: rate 347410.62 states/second