# VERIFYING TERMINATION
Warning: Search not completed
        + Partial Order Reduction
        + Compression

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 296 byte, depth reached 829, errors: 0
 25352927 states, stored
 16224078 states, matched
 41577005 transitions (= stored+matched)
       47 atomic steps
hash conflicts:  10589918 (resolved)

Stats on memory usage (in Megabytes):
 7543.672       equivalent memory usage for states (stored*(State-vector + overhead))
 1373.926       actual memory usage for states (compression: 18.21%)
                state-vector as stored = 41 byte + 16 byte overhead
   64.000       memory used for hash table (-w24)
    0.343       memory used for DFS stack (-m10000)
 1437.781       total actual memory usage

nr of templates: [ 0:globals 1:chans 2:procs ]
collapse counts: [ 0:199249 2:3 3:390 4:2 ]

pan: elapsed time 172 seconds
pan: rate  147615.3 states/second

# VERIFYING AGREEMENT
(Spin Version 6.2.3 -- 24 October 2012)
Warning: Search not completed
        + Partial Order Reduction
        + Compression

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 296 byte, depth reached 834, errors: 0
 30224192 states, stored
 19264186 states, matched
 49488378 transitions (= stored+matched)
       47 atomic steps
hash conflicts:  15757143 (resolved)

Stats on memory usage (in Megabytes):
 8993.099       equivalent memory usage for states (stored*(State-vector + overhead))
 1636.211       actual memory usage for states (compression: 18.19%)
                state-vector as stored = 41 byte + 16 byte overhead
   64.000       memory used for hash table (-w24)
    0.343       memory used for DFS stack (-m10000)
 1699.988       total actual memory usage

nr of templates: [ 0:globals 1:chans 2:procs ]
collapse counts: [ 0:222974 2:3 3:390 5:1 ]

pan: elapsed time 203 seconds
pan: rate 148961.03 states/second