(Spin Version 5.1.3 -- 11 December 2007) + Partial Order Reduction + Compression Full statespace search for: never claim - (not selected) assertion violations + cycle checks - (disabled by -DSAFETY) invalid end states + State-vector 112 byte, depth reached 2233, errors: 0 17962516 states, stored 13008222 states, matched 30970738 transitions (= stored+matched) 1 atomic steps hash conflicts: 17022104 (resolved) Stats on memory usage (in Megabytes): 2398.255 equivalent memory usage for states (stored*(State-vector + overhead)) 774.417 actual memory usage for states (compression: 32.29%) state-vector as stored = 17 byte + 28 byte overhead 256.000 memory used for hash table (-w25) 0.458 memory used for DFS stack (-m10000) 1030.595 total actual memory usage nr of templates: [ globals chans procs ] collapse counts: [ 232566 12123 9448 2 ] unreached in proctype UAC line 102, "pan_in", state 11, "assert(0)" line 111, "pan_in", state 23, "assert(0)" line 117, "pan_in", state 32, "assert(0)" line 147, "pan_in", state 82, "assert(0)" line 178, "pan_in", state 126, "assert(0)" line 198, "pan_in", state 162, "assert(0)" line 202, "pan_in", state 171, "assert(0)" line 203, "pan_in", state 173, "assert(0)" line 204, "pan_in", state 175, "assert(0)" line 209, "pan_in", state 182, "assert(0)" line 234, "pan_in", state 221, "assert(0)" line 262, "pan_in", state 273, "assert(0)" line 265, "pan_in", state 279, "assert(0)" line 274, "pan_in", state 301, "assert(0)" line 276, "pan_in", state 306, "assert(0)" line 300, "pan_in", state 357, "assert(0)" line 301, "pan_in", state 359, "assert(0)" line 302, "pan_in", state 361, "assert(0)" line 303, "pan_in", state 363, "assert(0)" line 305, "pan_in", state 368, "assert(0)" line 310, "pan_in", state 380, "assert(0)" line 312, "pan_in", state 384, "-end-" (22 of 384 states) unreached in proctype UAS line 340, "pan_in", state 10, "assert(0)" line 372, "pan_in", state 61, "assert(0)" line 373, "pan_in", state 63, "assert(0)" line 374, "pan_in", state 65, "assert(0)" line 376, "pan_in", state 70, "assert(0)" line 423, "pan_in", state 161, "assert(0)" line 424, "pan_in", state 163, "assert(0)" line 445, "pan_in", state 206, "assert(0)" line 463, "pan_in", state 244, "assert(0)" line 464, "pan_in", state 246, "assert(0)" line 467, "pan_in", state 252, "assert(0)" line 468, "pan_in", state 254, "assert(0)" line 469, "pan_in", state 256, "assert(0)" line 489, "pan_in", state 301, "assert(0)" line 491, "pan_in", state 305, "-end-" (15 of 305 states) unreached in proctype :init: (0 of 4 states) pan: elapsed time 128 seconds pan: rate 140463.84 states/second pan: avg transition delay 4.1291e-06 usec