cpu0: pan: acceptance cycle (at depth 11) cpu1: pan: acceptance cycle (at depth 20) cpu0: Depth= 26294 States= 1e+06 Transitions= 7.32083e+06 Memory= 329.425 t= 12.2 R= 82034.454 cpu1: Depth= 27469 States= 1e+06 Transitions= 7.92323e+06 Memory= 68.652 t= 13.4 R= 74626.866 cpu1: Depth= 27469 States= 1.63638e+06 Transitions= 1.33591e+07 Memory= 112.305 t= 21.9 R= 74823.274 cpu0: Depth= 26294 States= 1.64088e+06 Transitions= 1.2473e+07 Memory= 373.371 t= 21.9 R= 75028.852 cpu1: locks: global 0 other 0 waits: states 4074318 slots 0 cpu0: locks: global 304 other 0 waits: states 3.6730411e+08 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 164 byte, depth reached 27449, errors: 7261713 1640881 states, stored (3.27727e+06 visited) 22554768 states, matched 25832034 transitions (= visited+matched) 2450000 atomic steps hash conflicts: 642598 (resolved) Stats on memory usage (in Megabytes): 287.935 equivalent memory usage for states (stored*(State-vector + overhead)) 240.906 actual memory usage for states (compression: 83.67%) state-vector as stored = 134 byte + 20 byte overhead 128.000 memory used for hash table (-w24) 4.578 memory used for DFS stack (-m100000) 128.000 memory used for shared work-queues 0.113 memory lost to fragmentation 373.371 total actual memory usage cpu0: elapsed time 21.9 seconds (3.27727e+06 states visited) cpu0: rate 149715 states/second cpu0: recommend recompiling with -DVMAX=164 -DPMAX=9