cpu0: pan: accept stutter (at depth 499999) cpu1: pan: accept stutter (at depth 20) cpu1: Depth= 21 States= 500001 Transitions= 4.5e+06 Memory= 0.000 t= 452 R= 1106.3438 cpu0: Depth= 500000 States= 500001 Transitions= 4e+06 Memory= 445.721 t= 452 R= 1106.3438 cpu0: locks: global 89 other 6562 waits: states 8.7457337e+09 slots 0 (Spin Version 5.0 -- 2 June 2007) + Multi-Core (NCORE=2 -z20) Full statespace search for: never claim - (none specified) assertion violations + acceptance cycles + (fairness disabled) invalid end states + State-vector 276 byte, depth reached 500000, errors: 2 cpu1: locks: global 0 other 5303 waits: states 9.2643182e+09 slots 0 500001 states, stored (1e+06 visited) 7499999 states, matched 8500001 transitions (= visited+matched) 0 atomic steps hash conflicts: 3850933 (resolved) hint: increase hashtable-size (-w) to reduce runtime Stats on memory usage (in Megabytes): 141.144 equivalent memory usage for states (stored*(State-vector + overhead)) 116.594 actual memory usage for states (compression: 82.61%) state-vector as stored = 225 byte + 20 byte overhead 4.000 memory used for hash table (-w19) 50.354 memory used for DFS stack (-m1100000) 128.000 memory used for shared work-queues 274.679 other (proc and chan stacks) 0.093 memory lost to fragmentation 445.721 total actual memory usage cpu0: elapsed time 453 seconds (1e+06 states visited) cpu0: rate 2208.88 states/second cpu0: recommend recompiling with -DVMAX=276 -DPMAX=8