pan: acceptance cycle (at depth 153) Depth= 940939 States= 1e+06 Transitions= 1.17492e+06 Memory= 432.956 Depth= 1704532 States= 2e+06 Transitions= 2.5475e+06 Memory= 501.120 Depth= 2041704 States= 3e+06 Transitions= 4.29828e+06 Memory= 550.534 Depth= 2063699 States= 4e+06 Transitions= 6.42138e+06 Memory= 585.886 Depth= 2074868 States= 5e+06 Transitions= 8.64538e+06 Memory= 620.652 Depth= 2075198 States= 6e+06 Transitions= 1.14e+07 Memory= 640.866 Depth= 2075198 States= 7e+06 Transitions= 1.43529e+07 Memory= 654.148 Depth= 2075198 States= 8e+06 Transitions= 1.55403e+07 Memory= 720.359 Depth= 2075198 States= 9e+06 Transitions= 1.69339e+07 Memory= 780.319 Depth= 2075198 States= 1e+07 Transitions= 1.87126e+07 Memory= 825.339 Depth= 2075198 States= 1.1e+07 Transitions= 2.08407e+07 Memory= 860.398 Depth= 2077421 States= 1.2e+07 Transitions= 2.30795e+07 Memory= 895.163 Depth= 2077426 States= 1.3e+07 Transitions= 2.58865e+07 Memory= 913.718 Depth= 2077426 States= 1.4e+07 Transitions= 2.8702e+07 Memory= 930.905 Depth= 2077426 States= 1.5e+07 Transitions= 2.9891e+07 Memory= 997.214 Depth= 2077426 States= 1.6e+07 Transitions= 3.13081e+07 Memory= 1056.198 Depth= 2077426 States= 1.7e+07 Transitions= 3.3126e+07 Memory= 1099.753 Depth= 2077426 States= 1.8e+07 Transitions= 3.52691e+07 Memory= 1134.812 Depth= 2077426 States= 1.9e+07 Transitions= 3.75199e+07 Memory= 1169.382 Depth= 2077426 States= 2e+07 Transitions= 4.03826e+07 Memory= 1186.179 (Spin Version 5.0 -- 22 May 2007) Full statespace search for: never claim - (none specified) assertion violations + acceptance cycles + (fairness disabled) invalid end states + State-vector 76 byte, depth reached 2077426, errors: 7200491 12004103 states, stored (2.07857e+07 visited) 22032077 states, matched 42817791 transitions (= visited+matched) 0 atomic steps hash conflicts: 9096254 (resolved) Stats on memory usage (in Megabytes): 1099.008 equivalent memory usage for states (stored*(State-vector + overhead)) 836.506 actual memory usage for states (compression: 76.11%) state-vector as stored = 53 byte + 20 byte overhead 128.000 memory used for hash table (-w24) 228.882 memory used for DFS stack (-m5000000) 0.275 memory lost to fragmentation 1193.112 total actual memory usage pan: elapsed time 39.5 seconds pan: rate 526620.57 states/second