warning: for p.o. reduction to be valid the never claim must be stutter-invariant
(never claims generated from LTL formulae are stutter-invariant)
Changing debug level from 0 to -1
Using 1015 state memory
Using 12 stats memory
cpu3: Depth=      27 States=   1e+06 Transitions= 1.70565e+06 Memory= 0.000    
warning: for p.o. reduction to be valid the never claim must be stutter-invariant
(never claims generated from LTL formulae are stutter-invariant)
Changing debug level from 0 to -1
Using 1015 state memory
Using 12 stats memory
cpu5: Depth=      27 States=   1e+06 Transitions= 1.71067e+06 Memory= 0.000    
warning: for p.o. reduction to be valid the never claim must be stutter-invariant
(never claims generated from LTL formulae are stutter-invariant)
Changing debug level from 0 to -1
Using 1015 state memory
Using 12 stats memory
cpu1: Depth=      27 States=   1e+06 Transitions= 1.69708e+06 Memory= 0.000    
warning: for p.o. reduction to be valid the never claim must be stutter-invariant
(never claims generated from LTL formulae are stutter-invariant)
Changing debug level from 0 to -1
Using 1015 state memory
Using 12 stats memory
cpu2: Depth=      21 States=   1e+06 Transitions= 1.04444e+06 Memory= 0.000    
warning: for p.o. reduction to be valid the never claim must be stutter-invariant
(never claims generated from LTL formulae are stutter-invariant)
Changing debug level from 0 to -1
Using 1015 state memory
Using 12 stats memory
cpu4: Depth=      21 States=   1e+06 Transitions= 1.06682e+06 Memory= 0.000    
cpu3: Depth=      27 States=   2e+06 Transitions= 3.39476e+06 Memory= 0.000    
cpu5: Depth=      27 States=   2e+06 Transitions= 3.42092e+06 Memory= 0.000    
cpu1: Depth=      27 States=   2e+06 Transitions= 3.38398e+06 Memory= 0.000    
warning: for p.o. reduction to be valid the never claim must be stutter-invariant
(never claims generated from LTL formulae are stutter-invariant)
Changing debug level from 0 to -1
Using 1015 state memory
Using 12 stats memory
cpu0: Depth=      21 States=   1e+06 Transitions= 1.05206e+06 Memory= 512.655  
cpu1: Depth=      27 States=   3e+06 Transitions= 5.07398e+06 Memory= 0.000    
cpu3: Depth=      27 States=   3e+06 Transitions= 5.0287e+06 Memory= 0.000    
cpu5: Depth=      27 States=   3e+06 Transitions= 5.09034e+06 Memory= 0.000    
cpu4: Depth=      21 States=   2e+06 Transitions= 2.12506e+06 Memory= 0.000    
cpu0: Depth=      27 States=   2e+06 Transitions= 2.14157e+06 Memory= 512.655  
cpu2: Depth=      21 States=   2e+06 Transitions= 2.09318e+06 Memory= 0.000    
cpu1: Depth=      27 States=   4e+06 Transitions= 6.75384e+06 Memory= 0.000    
cpu3: Depth=      27 States=   4e+06 Transitions= 6.67759e+06 Memory= 0.000    
cpu5: Depth=      27 States=   4e+06 Transitions= 6.68052e+06 Memory= 0.000    
cpu0: Depth=      27 States=   3e+06 Transitions= 3.20514e+06 Memory= 512.655  
cpu4: Depth=      21 States=   3e+06 Transitions= 3.16996e+06 Memory= 0.000    
cpu2: Depth=      27 States=   3e+06 Transitions= 3.17676e+06 Memory= 0.000    
cpu3: Depth=      27 States=   5e+06 Transitions= 8.34213e+06 Memory= 0.000    
cpu1: Depth=      27 States=   5e+06 Transitions= 8.36117e+06 Memory= 0.000    
cpu5: Depth=      27 States=   5e+06 Transitions= 8.27385e+06 Memory= 0.000    
cpu2: Depth=      27 States=   4e+06 Transitions= 4.29126e+06 Memory= 0.000    
cpu0: Depth=      27 States=   4e+06 Transitions= 4.24882e+06 Memory= 512.655  
cpu3: Depth=      27 States=   6e+06 Transitions= 9.97065e+06 Memory= 0.000    
cpu1: Depth=      27 States=   6e+06 Transitions= 9.906e+06 Memory= 0.000    
cpu5: Depth=      27 States=   6e+06 Transitions= 9.90247e+06 Memory= 0.000    
cpu4: Depth=      21 States=   4e+06 Transitions= 4.22024e+06 Memory= 0.000    
cpu2: Depth=      27 States=   5e+06 Transitions= 5.34566e+06 Memory= 0.000    
cpu3: Depth=      27 States=   7e+06 Transitions= 1.15364e+07 Memory= 0.000    
cpu1: Depth=      27 States=   7e+06 Transitions= 1.14534e+07 Memory= 0.000    
cpu4: Depth=      21 States=   5e+06 Transitions= 5.31008e+06 Memory= 0.000    
cpu5: Depth=      27 States=   7e+06 Transitions= 1.15295e+07 Memory= 0.000    
cpu0: Depth=      27 States=   5e+06 Transitions= 5.30384e+06 Memory= 512.655  
cpu2: Depth=      27 States=   6e+06 Transitions= 6.3917e+06 Memory= 0.000    
cpu4: Depth=      27 States=   6e+06 Transitions= 6.43925e+06 Memory= 0.000    
cpu1: Depth=      27 States=   8e+06 Transitions= 1.30456e+07 Memory= 0.000    
cpu3: Depth=      27 States=   8e+06 Transitions= 1.30373e+07 Memory= 0.000    
cpu5: Depth=      27 States=   8e+06 Transitions= 1.31099e+07 Memory= 0.000    
cpu0: Depth=      27 States=   6e+06 Transitions= 6.34882e+06 Memory= 512.655  
cpu4: Depth=      27 States=   7e+06 Transitions= 7.4983e+06 Memory= 0.000    
cpu2: Depth=      27 States=   7e+06 Transitions= 7.43759e+06 Memory= 0.000    
cpu1: Depth=      27 States=   9e+06 Transitions= 1.46397e+07 Memory= 0.000    
cpu3: Depth=      27 States=   9e+06 Transitions= 1.45143e+07 Memory= 0.000    
cpu0: Depth=      27 States=   7e+06 Transitions= 7.39131e+06 Memory= 512.655  
cpu5: Depth=      27 States=   9e+06 Transitions= 1.46464e+07 Memory= 0.000    
cpu4: Depth=      27 States=   8e+06 Transitions= 8.5413e+06 Memory= 0.000    
cpu2: Depth=      27 States=   8e+06 Transitions= 8.49018e+06 Memory= 0.000    
cpu1: Depth=      27 States=   1e+07 Transitions= 1.6196e+07 Memory= 0.000    
cpu0: Depth=      27 States=   8e+06 Transitions= 8.50889e+06 Memory= 512.655  
cpu3: Depth=      27 States=   1e+07 Transitions= 1.60613e+07 Memory= 0.000    
cpu5: Depth=      27 States=   1e+07 Transitions= 1.61605e+07 Memory= 0.000    
cpu4: Depth=      27 States=   9e+06 Transitions= 9.62194e+06 Memory= 0.000    
cpu0: Depth=      27 States=   9e+06 Transitions= 9.61817e+06 Memory= 512.655  
cpu2: Depth=      27 States=   9e+06 Transitions= 9.5328e+06 Memory= 0.000    
cpu1: Depth=      27 States= 1.1e+07 Transitions= 1.77335e+07 Memory= 0.000    
cpu3: Depth=      27 States= 1.1e+07 Transitions= 1.75596e+07 Memory= 0.000    
cpu5: Depth=      27 States= 1.1e+07 Transitions= 1.76275e+07 Memory= 0.000    
cpu4: Depth=      27 States=   1e+07 Transitions= 1.06727e+07 Memory= 0.000    
cpu0: Depth=      27 States=   1e+07 Transitions= 1.06728e+07 Memory= 512.655  
cpu2: Depth=      27 States=   1e+07 Transitions= 1.05803e+07 Memory= 0.000    
cpu1: Depth=      27 States= 1.2e+07 Transitions= 1.92931e+07 Memory= 0.000    
cpu3: Depth=      27 States= 1.2e+07 Transitions= 1.91374e+07 Memory= 0.000    
cpu5: Depth=      27 States= 1.2e+07 Transitions= 1.90458e+07 Memory= 0.000    
cpu0: Depth=      27 States= 1.1e+07 Transitions= 1.1708e+07 Memory= 512.655  
cpu4: Depth=      27 States= 1.1e+07 Transitions= 1.17195e+07 Memory= 0.000    
cpu2: Depth=      27 States= 1.1e+07 Transitions= 1.16569e+07 Memory= 0.000    
cpu1: Depth=      27 States= 1.3e+07 Transitions= 2.07559e+07 Memory= 0.000    
cpu0: Depth=      27 States= 1.2e+07 Transitions= 1.27757e+07 Memory= 512.655  
cpu3: Depth=      27 States= 1.3e+07 Transitions= 2.06601e+07 Memory= 0.000    
cpu5: Depth=      27 States= 1.3e+07 Transitions= 2.05829e+07 Memory= 0.000    
cpu4: Depth=      27 States= 1.2e+07 Transitions= 1.27737e+07 Memory= 0.000    
cpu2: Depth=      27 States= 1.2e+07 Transitions= 1.28006e+07 Memory= 0.000    
cpu0: Depth=      27 States= 1.3e+07 Transitions= 1.38257e+07 Memory= 512.655  
cpu1: Depth=      27 States= 1.4e+07 Transitions= 2.21629e+07 Memory= 0.000    
cpu3: Depth=      27 States= 1.4e+07 Transitions= 2.21172e+07 Memory= 0.000    
cpu4: Depth=      27 States= 1.3e+07 Transitions= 1.38221e+07 Memory= 0.000    
cpu2: Depth=      27 States= 1.3e+07 Transitions= 1.38673e+07 Memory= 0.000    
cpu5: Depth=      27 States= 1.4e+07 Transitions= 2.20548e+07 Memory= 0.000    
cpu0: Depth=      27 States= 1.4e+07 Transitions= 1.48914e+07 Memory= 512.655  
cpu2: Depth=      27 States= 1.4e+07 Transitions= 1.49124e+07 Memory= 0.000    
cpu3: Depth=      27 States= 1.5e+07 Transitions= 2.3664e+07 Memory= 0.000    
cpu1: Depth=      27 States= 1.5e+07 Transitions= 2.35685e+07 Memory= 0.000    
cpu4: Depth=      27 States= 1.4e+07 Transitions= 1.48746e+07 Memory= 0.000    
cpu5: Depth=      27 States= 1.5e+07 Transitions= 2.35334e+07 Memory= 0.000    
cpu0: Depth=      27 States= 1.5e+07 Transitions= 1.59427e+07 Memory= 512.655  
cpu2: Depth=      27 States= 1.5e+07 Transitions= 1.59696e+07 Memory= 0.000    
cpu3: Depth=      27 States= 1.6e+07 Transitions= 2.51226e+07 Memory= 0.000    
cpu1: Depth=      27 States= 1.6e+07 Transitions= 2.50494e+07 Memory= 0.000    
cpu4: Depth=      27 States= 1.5e+07 Transitions= 1.59261e+07 Memory= 0.000    
cpu5: Depth=      27 States= 1.6e+07 Transitions= 2.50252e+07 Memory= 0.000    
cpu2: Depth=      27 States= 1.6e+07 Transitions= 1.70439e+07 Memory= 0.000    
cpu0: Depth=      27 States= 1.6e+07 Transitions= 1.69968e+07 Memory= 512.655  
cpu1: Depth=      27 States= 1.7e+07 Transitions= 2.65237e+07 Memory= 0.000    
cpu3: Depth=      27 States= 1.7e+07 Transitions= 2.64981e+07 Memory= 0.000    
cpu4: Depth=      27 States= 1.6e+07 Transitions= 1.70239e+07 Memory= 0.000    
cpu0: Depth=      27 States= 1.7e+07 Transitions= 1.80496e+07 Memory= 512.655  
cpu5: Depth=      27 States= 1.7e+07 Transitions= 2.64623e+07 Memory= 0.000    
cpu2: Depth=      27 States= 1.7e+07 Transitions= 1.81034e+07 Memory= 0.000    
cpu4: Depth=      27 States= 1.7e+07 Transitions= 1.80901e+07 Memory= 0.000    
cpu1: Depth=      27 States= 1.8e+07 Transitions= 2.79829e+07 Memory= 0.000    
cpu0: Depth=      27 States= 1.8e+07 Transitions= 1.91105e+07 Memory= 512.655  
cpu3: Depth=      27 States= 1.8e+07 Transitions= 2.78949e+07 Memory= 0.000    
cpu2: Depth=      27 States= 1.8e+07 Transitions= 1.91748e+07 Memory= 0.000    
cpu5: Depth=      27 States= 1.8e+07 Transitions= 2.79201e+07 Memory= 0.000    
cpu0: Depth=      27 States= 1.9e+07 Transitions= 2.01658e+07 Memory= 512.655  
cpu4: Depth=      27 States= 1.8e+07 Transitions= 1.91546e+07 Memory= 0.000    
cpu2: Depth=      27 States= 1.9e+07 Transitions= 2.02336e+07 Memory= 0.000    
cpu1: Depth=      27 States= 1.9e+07 Transitions= 2.944e+07 Memory= 0.000    
cpu3: Depth=      27 States= 1.9e+07 Transitions= 2.93222e+07 Memory= 0.000    
cpu5: Depth=      27 States= 1.9e+07 Transitions= 2.93721e+07 Memory= 0.000    
cpu0: Depth=      27 States=   2e+07 Transitions= 2.12446e+07 Memory= 512.655  
cpu2: Depth=      27 States=   2e+07 Transitions= 2.12883e+07 Memory= 0.000    
cpu4: Depth=      27 States= 1.9e+07 Transitions= 2.02277e+07 Memory= 0.000    
cpu1: Depth=      27 States=   2e+07 Transitions= 3.08737e+07 Memory= 0.000    
cpu3: Depth=      27 States=   2e+07 Transitions= 3.07851e+07 Memory= 0.000    
cpu5: Depth=      27 States=   2e+07 Transitions= 3.0757e+07 Memory= 0.000    
cpu0: Depth=      27 States= 2.1e+07 Transitions= 2.2356e+07 Memory= 512.655  
cpu2: Depth=      27 States= 2.1e+07 Transitions= 2.23492e+07 Memory= 0.000    
cpu4: Depth=      27 States=   2e+07 Transitions= 2.12982e+07 Memory= 0.000    
cpu1: Depth=      27 States= 2.1e+07 Transitions= 3.22828e+07 Memory= 0.000    
cpu3: Depth=      27 States= 2.1e+07 Transitions= 3.22395e+07 Memory= 0.000    
cpu0: Depth=      27 States= 2.2e+07 Transitions= 2.34351e+07 Memory= 512.655  
cpu5: Depth=      27 States= 2.1e+07 Transitions= 3.21292e+07 Memory= 0.000    
cpu2: Depth=      27 States= 2.2e+07 Transitions= 2.34186e+07 Memory= 0.000    
cpu4: Depth=      27 States= 2.1e+07 Transitions= 2.23768e+07 Memory= 0.000    
cpu0: Depth=      27 States= 2.3e+07 Transitions= 2.45237e+07 Memory= 512.655  
cpu1: Depth=      27 States= 2.2e+07 Transitions= 3.36671e+07 Memory= 0.000    
cpu2: Depth=      27 States= 2.3e+07 Transitions= 2.44902e+07 Memory= 0.000    
cpu3: Depth=      27 States= 2.2e+07 Transitions= 3.36414e+07 Memory= 0.000    
cpu5: Depth=      27 States= 2.2e+07 Transitions= 3.35572e+07 Memory= 0.000    
cpu4: Depth=      27 States= 2.2e+07 Transitions= 2.34455e+07 Memory= 0.000    
cpu0: Depth=      27 States= 2.4e+07 Transitions= 2.56041e+07 Memory= 512.655  
cpu2: Depth=      27 States= 2.4e+07 Transitions= 2.55696e+07 Memory= 0.000    
cpu1: Depth=      27 States= 2.3e+07 Transitions= 3.50921e+07 Memory= 0.000    
cpu3: Depth=      27 States= 2.3e+07 Transitions= 3.50672e+07 Memory= 0.000    
cpu5: Depth=      27 States= 2.3e+07 Transitions= 3.50051e+07 Memory= 0.000    
cpu4: Depth=      27 States= 2.3e+07 Transitions= 2.45265e+07 Memory= 0.000    
cpu2: Depth=      27 States= 2.5e+07 Transitions= 2.67032e+07 Memory= 0.000    
cpu0: Depth=      27 States= 2.5e+07 Transitions= 2.66879e+07 Memory= 512.655  
cpu1: Depth=      27 States= 2.4e+07 Transitions= 3.64353e+07 Memory= 0.000    
cpu3: Depth=      27 States= 2.4e+07 Transitions= 3.6484e+07 Memory= 0.000    
cpu5: Depth=      27 States= 2.4e+07 Transitions= 3.64566e+07 Memory= 0.000    
cpu4: Depth=      27 States= 2.4e+07 Transitions= 2.56072e+07 Memory= 0.000    
cpu2: Depth=      27 States= 2.6e+07 Transitions= 2.77983e+07 Memory= 0.000    
cpu0: Depth=      27 States= 2.6e+07 Transitions= 2.7786e+07 Memory= 512.655  
cpu1: Depth=      27 States= 2.5e+07 Transitions= 3.77919e+07 Memory= 0.000    
cpu3: Depth=      27 States= 2.5e+07 Transitions= 3.78627e+07 Memory= 0.000    
cpu5: Depth=      27 States= 2.5e+07 Transitions= 3.78805e+07 Memory= 0.000    
cpu4: Depth=      27 States= 2.5e+07 Transitions= 2.66945e+07 Memory= 0.000    
cpu0: Depth=      27 States= 2.7e+07 Transitions= 2.88811e+07 Memory= 512.655  
cpu2: Depth=      27 States= 2.7e+07 Transitions= 2.89332e+07 Memory= 0.000    
cpu1: Depth=      27 States= 2.6e+07 Transitions= 3.92544e+07 Memory= 0.000    
cpu3: Depth=      27 States= 2.6e+07 Transitions= 3.92433e+07 Memory= 0.000    
cpu5: Depth=      27 States= 2.6e+07 Transitions= 3.92871e+07 Memory= 0.000    
cpu4: Depth=      27 States= 2.6e+07 Transitions= 2.77889e+07 Memory= 0.000    
cpu0: Depth=      27 States= 2.8e+07 Transitions= 2.99819e+07 Memory= 512.655  
cpu2: Depth=      27 States= 2.8e+07 Transitions= 3.00442e+07 Memory= 0.000    
cpu1: Depth=      27 States= 2.7e+07 Transitions= 4.07214e+07 Memory= 0.000    
cpu3: Depth=      27 States= 2.7e+07 Transitions= 4.06065e+07 Memory= 0.000    
cpu5: Depth=      27 States= 2.7e+07 Transitions= 4.07194e+07 Memory= 0.000    
cpu4: Depth=      27 States= 2.7e+07 Transitions= 2.88994e+07 Memory= 0.000    
cpu0: Depth=      27 States= 2.9e+07 Transitions= 3.10859e+07 Memory= 512.655  
cpu1: Depth=      27 States= 2.8e+07 Transitions= 4.21617e+07 Memory= 0.000    
cpu3: Depth=      27 States= 2.8e+07 Transitions= 4.20088e+07 Memory= 0.000    
cpu2: Depth=      27 States= 2.9e+07 Transitions= 3.11634e+07 Memory= 0.000    
cpu5: Depth=      27 States= 2.8e+07 Transitions= 4.20928e+07 Memory= 0.000    
cpu4: Depth=      27 States= 2.8e+07 Transitions= 3.00314e+07 Memory= 0.000    
cpu0: Depth=      27 States=   3e+07 Transitions= 3.21919e+07 Memory= 512.655  
cpu1: Depth=      27 States= 2.9e+07 Transitions= 4.36034e+07 Memory= 0.000    
cpu3: Depth=      27 States= 2.9e+07 Transitions= 4.34829e+07 Memory= 0.000    
cpu5: Depth=      27 States= 2.9e+07 Transitions= 4.34621e+07 Memory= 0.000    
cpu2: Depth=      27 States=   3e+07 Transitions= 3.22876e+07 Memory= 0.000    
cpu1: Depth=      27 States=   3e+07 Transitions= 4.50933e+07 Memory= 0.000    
cpu4: Depth=      27 States= 2.9e+07 Transitions= 3.11682e+07 Memory= 0.000    
cpu0: Depth=      27 States= 3.1e+07 Transitions= 3.33108e+07 Memory= 512.655  
cpu3: Depth=      27 States=   3e+07 Transitions= 4.49438e+07 Memory= 0.000    
cpu5: Depth=      27 States=   3e+07 Transitions= 4.48617e+07 Memory= 0.000    
cpu2: Depth=      27 States= 3.1e+07 Transitions= 3.34154e+07 Memory= 0.000    
cpu1: Depth=      27 States= 3.1e+07 Transitions= 4.65049e+07 Memory= 0.000    
cpu3: Depth=      27 States= 3.1e+07 Transitions= 4.64514e+07 Memory= 0.000    
cpu5: Depth=      27 States= 3.1e+07 Transitions= 4.62895e+07 Memory= 0.000    
cpu0: Depth=      27 States= 3.2e+07 Transitions= 3.44651e+07 Memory= 512.655  
cpu4: Depth=      27 States=   3e+07 Transitions= 3.23163e+07 Memory= 0.000    
cpu1: Depth=      27 States= 3.2e+07 Transitions= 4.79239e+07 Memory= 0.000    
cpu3: Depth=      27 States= 3.2e+07 Transitions= 4.79754e+07 Memory= 0.000    
cpu2: Depth=      27 States= 3.2e+07 Transitions= 3.45574e+07 Memory= 0.000    
cpu5: Depth=      27 States= 3.2e+07 Transitions= 4.77694e+07 Memory= 0.000    
cpu1: Depth=      27 States= 3.3e+07 Transitions= 4.93884e+07 Memory= 0.000    
cpu3: Depth=      27 States= 3.3e+07 Transitions= 4.94492e+07 Memory= 0.000    
cpu4: Depth=      27 States= 3.1e+07 Transitions= 3.34587e+07 Memory= 0.000    
cpu0: Depth=      27 States= 3.3e+07 Transitions= 3.56364e+07 Memory= 512.655  
cpu5: Depth=      27 States= 3.3e+07 Transitions= 4.9285e+07 Memory= 0.000    
cpu1: Depth=      27 States= 3.4e+07 Transitions= 5.08832e+07 Memory= 0.000    
cpu3: Depth=      27 States= 3.4e+07 Transitions= 5.09346e+07 Memory= 0.000    
cpu2: Depth=      27 States= 3.3e+07 Transitions= 3.57346e+07 Memory= 0.000    
cpu5: Depth=      27 States= 3.4e+07 Transitions= 5.0839e+07 Memory= 0.000    
cpu1: Depth=      27 States= 3.5e+07 Transitions= 5.24449e+07 Memory= 0.000    
cpu3: Depth=      27 States= 3.5e+07 Transitions= 5.24581e+07 Memory= 0.000    
cpu4: Depth=      27 States= 3.2e+07 Transitions= 3.46216e+07 Memory= 0.000    
cpu0: Depth=      27 States= 3.4e+07 Transitions= 3.68105e+07 Memory= 512.655  
cpu5: Depth=      27 States= 3.5e+07 Transitions= 5.2338e+07 Memory= 0.000    
cpu1: Depth=      27 States= 3.6e+07 Transitions= 5.40584e+07 Memory= 0.000    
cpu3: Depth=      27 States= 3.6e+07 Transitions= 5.40163e+07 Memory= 0.000    
cpu5: Depth=      27 States= 3.6e+07 Transitions= 5.38945e+07 Memory= 0.000    
cpu2: Depth=      27 States= 3.4e+07 Transitions= 3.69294e+07 Memory= 0.000    
cpu1: Depth=      27 States= 3.7e+07 Transitions= 5.56301e+07 Memory= 0.000    
cpu3: Depth=      27 States= 3.7e+07 Transitions= 5.56494e+07 Memory= 0.000    
cpu5: Depth=      27 States= 3.7e+07 Transitions= 5.54817e+07 Memory= 0.000    
cpu0: Depth=      27 States= 3.5e+07 Transitions= 3.80088e+07 Memory= 512.655  
cpu1: Depth=      27 States= 3.8e+07 Transitions= 5.72371e+07 Memory= 0.000    
cpu3: Depth=      27 States= 3.8e+07 Transitions= 5.73002e+07 Memory= 0.000    
cpu4: Depth=      27 States= 3.3e+07 Transitions= 3.58427e+07 Memory= 0.000    
cpu5: Depth=      27 States= 3.8e+07 Transitions= 5.71549e+07 Memory= 0.000    
cpu3: Depth=      27 States= 3.9e+07 Transitions= 5.8956e+07 Memory= 0.000    
cpu1: Depth=      27 States= 3.9e+07 Transitions= 5.88964e+07 Memory= 0.000    
cpu2: Depth=      27 States= 3.5e+07 Transitions= 3.81595e+07 Memory= 0.000    
cpu5: Depth=      27 States= 3.9e+07 Transitions= 5.88234e+07 Memory= 0.000    
cpu3: Depth=      27 States=   4e+07 Transitions= 6.06444e+07 Memory= 0.000    
cpu1: Depth=      27 States=   4e+07 Transitions= 6.05662e+07 Memory= 0.000    
cpu1: done -- local memcnt 0 Mb
cpu1: states stored  40326816	matched  20791123
cpu2: done -- local memcnt 0 Mb
cpu2: cpu1: locks: global         0	other      427704
cpu1: waits: states  20715760	slots           0

states stored  35257607	matched   3250667
cpu3: done -- local memcnt 0 Mb
cpu3: cpu2: locks: global         6	other      484254
cpu2: waits: states 3.0239082e+09	slots           0

states stored  40521910	matched  21003095
cpu4: cpu3: locks: global         6	other      420406
cpu3: waits: states   3983427	slots           0

done -- local memcnt 0 Mb
cpu4: states stored  33671443	matched   3046486
cpu5: done -- local memcnt 0 Mb
cpu5: states stored  39880410	matched  20441422
cpu4: locks: global         0	other       47278
cpu4: waits: states 1.3695138e+09	slots           0

cpu5: locks: global       138	other      391037
cpu5: waits: states  14807205	slots           0

cpu0: done -- local memcnt 512.655 Mb
cpu0: states stored  35650458	matched   3200767
cpu0: locks: global         0	other      467303
cpu0: waits: states 2.6927906e+09	slots           0

(Spin Version 5.0.0 -- 8 May 2007)
	+ Multi-Core (NCORE=6 -z20)
	+ Partial Order Reduction

Bit statespace search for:
	never claim         	+
	assertion violations	+ (if within scope of claim)
	cycle checks       	- (disabled by -DSAFETY)
	invalid end states	- (disabled by never claim)

State-vector 180 byte, depth reached 27, errors: 0
2.2530864e+08 states, stored
 71733560 states, matched
2.970422e+08 transitions (= stored+matched)
 87951276 atomic steps

hash factor: 4.76565 (best if > 100.)

bits set per state: 3 (-k3)

Stats on memory usage (in Megabytes):
44693.182	equivalent memory usage for states (stored*(State-vector + overhead))
128.000  	memory used for hash array (-w30)
0.076    	memory used for bit stack
0.458    	memory used for DFS stack (-m10000)
384.000  	memory used for shared work-queues
384.071  	other (proc and chan stacks)
0.049    	memory lost to fragmentation
512.655  	total actual memory usage

Successor counts:
  0	    425389	(0.5929 % of total)
  1	  68983697	(96.14 % of total)
  2	   1668011	(2.325 % of total)
  4	    454717	(0.6337 % of total)
 14	     54781	(0.07635 % of total)
 16	    164032	(0.2286 % of total)
mean 1.081 (without 0: 1.087)

cpu0: elapsed time 170 seconds (2.25309e+08 states)
cpu0: rate 1.32293e+06 states/second