warning: for p.o. reduction to be valid the never claim must be stutter-invariant (never claims generated from LTL formulae are stutter-invariant) cpu0: pan: error detected (at depth 32) warning: for p.o. reduction to be valid the never claim must be stutter-invariant (never claims generated from LTL formulae are stutter-invariant) cpu1: pan: error detected (at depth 989) warning: for p.o. reduction to be valid the never claim must be stutter-invariant (never claims generated from LTL formulae are stutter-invariant) cpu2: pan: error detected (at depth 1000) warning: for p.o. reduction to be valid the never claim must be stutter-invariant (never claims generated from LTL formulae are stutter-invariant) cpu3: pan: error detected (at depth 989) warning: for p.o. reduction to be valid the never claim must be stutter-invariant (never claims generated from LTL formulae are stutter-invariant) cpu4: pan: error detected (at depth 1000) warning: for p.o. reduction to be valid the never claim must be stutter-invariant (never claims generated from LTL formulae are stutter-invariant) cpu5: pan: error detected (at depth 989) warning: for p.o. reduction to be valid the never claim must be stutter-invariant (never claims generated from LTL formulae are stutter-invariant) cpu6: pan: error detected (at depth 1000) warning: for p.o. reduction to be valid the never claim must be stutter-invariant (never claims generated from LTL formulae are stutter-invariant) cpu7: pan: error detected (at depth 989) cpu4: Depth= 1003 States= 1e+06 Transitions= 3.16948e+06 Memory= 643.493 cpu2: Depth= 1003 States= 1e+06 Transitions= 3.16947e+06 Memory= 643.493 cpu6: Depth= 1003 States= 1e+06 Transitions= 3.16948e+06 Memory= 643.493 cpu7: Depth= 1003 States= 1e+06 Transitions= 3.21838e+06 Memory= 643.493 cpu3: Depth= 1003 States= 1e+06 Transitions= 3.21838e+06 Memory= 643.493 cpu5: Depth= 1003 States= 1e+06 Transitions= 3.21839e+06 Memory= 643.493 cpu1: Depth= 1003 States= 1e+06 Transitions= 3.21838e+06 Memory= 643.493 cpu0: Depth= 1003 States= 1e+06 Transitions= 3.16946e+06 Memory= 643.493 cpu7: Depth= 1003 States= 2e+06 Transitions= 6.67146e+06 Memory= 643.493 cpu4: Depth= 1003 States= 2e+06 Transitions= 6.62531e+06 Memory= 643.493 cpu6: Depth= 1003 States= 2e+06 Transitions= 6.62531e+06 Memory= 643.493 cpu2: Depth= 1003 States= 2e+06 Transitions= 6.62536e+06 Memory= 643.493 cpu3: Depth= 1003 States= 2e+06 Transitions= 6.6697e+06 Memory= 643.493 cpu5: Depth= 1003 States= 2e+06 Transitions= 6.67131e+06 Memory= 643.493 cpu1: Depth= 1003 States= 2e+06 Transitions= 6.6713e+06 Memory= 643.493 cpu0: Depth= 1003 States= 2e+06 Transitions= 6.6235e+06 Memory= 643.493 cpu7: Depth= 1003 States= 3e+06 Transitions= 1.01612e+07 Memory= 643.493 cpu4: Depth= 1003 States= 3e+06 Transitions= 1.01101e+07 Memory= 643.493 cpu6: Depth= 1003 States= 3e+06 Transitions= 1.01097e+07 Memory= 643.493 cpu2: Depth= 1003 States= 3e+06 Transitions= 1.011e+07 Memory= 643.493 cpu3: Depth= 1003 States= 3e+06 Transitions= 1.01897e+07 Memory= 643.493 cpu5: Depth= 1003 States= 3e+06 Transitions= 1.01939e+07 Memory= 643.493 cpu1: Depth= 1003 States= 3e+06 Transitions= 1.01965e+07 Memory= 643.493 cpu0: Depth= 1003 States= 3e+06 Transitions= 1.01092e+07 Memory= 643.493 cpu7: Depth= 1003 States= 4e+06 Transitions= 1.36871e+07 Memory= 643.493 cpu4: Depth= 1003 States= 4e+06 Transitions= 1.36391e+07 Memory= 643.493 cpu6: Depth= 1003 States= 4e+06 Transitions= 1.36388e+07 Memory= 643.493 cpu2: Depth= 1003 States= 4e+06 Transitions= 1.3644e+07 Memory= 643.493 cpu3: Depth= 1003 States= 4e+06 Transitions= 1.37296e+07 Memory= 643.493 cpu5: Depth= 1003 States= 4e+06 Transitions= 1.37323e+07 Memory= 643.493 cpu1: Depth= 1003 States= 4e+06 Transitions= 1.37213e+07 Memory= 643.493 cpu7: Depth= 1003 States= 5e+06 Transitions= 1.72726e+07 Memory= 643.493 cpu6: Depth= 1003 States= 5e+06 Transitions= 1.719e+07 Memory= 643.493 cpu4: Depth= 1003 States= 5e+06 Transitions= 1.72119e+07 Memory= 643.493 cpu2: Depth= 1003 States= 5e+06 Transitions= 1.72107e+07 Memory= 643.493 cpu3: Depth= 1003 States= 5e+06 Transitions= 1.72767e+07 Memory= 643.493 cpu5: Depth= 1003 States= 5e+06 Transitions= 1.72902e+07 Memory= 643.493 cpu1: Depth= 1003 States= 5e+06 Transitions= 1.72839e+07 Memory= 643.493 cpu0: Depth= 1003 States= 4e+06 Transitions= 1.36542e+07 Memory= 643.493 cpu7: Depth= 1003 States= 6e+06 Transitions= 2.08516e+07 Memory= 643.493 cpu4: Depth= 1003 States= 6e+06 Transitions= 2.07933e+07 Memory= 643.493 cpu6: Depth= 1003 States= 6e+06 Transitions= 2.08039e+07 Memory= 643.493 cpu2: Depth= 1003 States= 6e+06 Transitions= 2.07821e+07 Memory= 643.493 cpu3: Depth= 1003 States= 6e+06 Transitions= 2.08418e+07 Memory= 643.493 cpu5: Depth= 1003 States= 6e+06 Transitions= 2.08611e+07 Memory= 643.493 cpu1: Depth= 1003 States= 6e+06 Transitions= 2.08631e+07 Memory= 643.493 cpu0: Depth= 1003 States= 5e+06 Transitions= 1.7225e+07 Memory= 643.493 cpu7: Depth= 1003 States= 7e+06 Transitions= 2.44372e+07 Memory= 643.493 cpu3: Depth= 1003 States= 7e+06 Transitions= 2.44131e+07 Memory= 643.493 cpu4: Depth= 1003 States= 7e+06 Transitions= 2.44068e+07 Memory= 643.493 cpu6: Depth= 1003 States= 7e+06 Transitions= 2.44014e+07 Memory= 643.493 cpu2: Depth= 1003 States= 7e+06 Transitions= 2.44068e+07 Memory= 643.493 cpu5: Depth= 1003 States= 7e+06 Transitions= 2.44385e+07 Memory= 643.493 cpu1: Depth= 1003 States= 7e+06 Transitions= 2.44464e+07 Memory= 643.493 cpu0: Depth= 1003 States= 6e+06 Transitions= 2.08088e+07 Memory= 643.493 cpu7: Depth= 1003 States= 8e+06 Transitions= 2.80855e+07 Memory= 643.493 cpu3: Depth= 1003 States= 8e+06 Transitions= 2.80642e+07 Memory= 643.493 cpu4: Depth= 1003 States= 8e+06 Transitions= 2.80508e+07 Memory= 643.493 cpu6: Depth= 1003 States= 8e+06 Transitions= 2.80569e+07 Memory= 643.493 cpu2: Depth= 1003 States= 8e+06 Transitions= 2.8055e+07 Memory= 643.493 cpu5: Depth= 1003 States= 8e+06 Transitions= 2.80676e+07 Memory= 643.493 cpu1: Depth= 1003 States= 8e+06 Transitions= 2.80901e+07 Memory= 643.493 cpu0: Depth= 1003 States= 7e+06 Transitions= 2.60078e+07 Memory= 643.493 cpu7: Depth= 1003 States= 9e+06 Transitions= 3.34192e+07 Memory= 643.493 cpu6: Depth= 1003 States= 9e+06 Transitions= 3.33256e+07 Memory= 643.493 cpu2: Depth= 1003 States= 9e+06 Transitions= 3.33411e+07 Memory= 643.493 cpu3: Depth= 1003 States= 9e+06 Transitions= 3.34374e+07 Memory= 643.493 cpu4: Depth= 1003 States= 9e+06 Transitions= 3.33735e+07 Memory= 643.493 cpu5: Depth= 1003 States= 9e+06 Transitions= 3.35119e+07 Memory= 643.493 cpu1: Depth= 1003 States= 9e+06 Transitions= 3.35694e+07 Memory= 643.493 cpu7: Depth= 1003 States= 1e+07 Transitions= 3.99491e+07 Memory= 643.493 cpu6: Depth= 1003 States= 1e+07 Transitions= 3.97349e+07 Memory= 643.493 cpu2: Depth= 1003 States= 1e+07 Transitions= 3.97071e+07 Memory= 643.493 cpu3: Depth= 1003 States= 1e+07 Transitions= 3.98739e+07 Memory= 643.493 cpu5: Depth= 1003 States= 1e+07 Transitions= 3.98421e+07 Memory= 643.493 cpu4: Depth= 1003 States= 1e+07 Transitions= 3.98111e+07 Memory= 643.493 cpu1: Depth= 1003 States= 1e+07 Transitions= 4.01358e+07 Memory= 643.493 cpu0: Depth= 1003 States= 8e+06 Transitions= 3.23388e+07 Memory= 643.493 cpu7: Depth= 1003 States= 1.1e+07 Transitions= 4.6658e+07 Memory= 643.493 cpu2: Depth= 1003 States= 1.1e+07 Transitions= 4.63544e+07 Memory= 643.493 cpu6: Depth= 1003 States= 1.1e+07 Transitions= 4.64171e+07 Memory= 643.493 cpu3: Depth= 1003 States= 1.1e+07 Transitions= 4.65211e+07 Memory= 643.493 cpu4: Depth= 1003 States= 1.1e+07 Transitions= 4.64303e+07 Memory= 643.493 cpu5: Depth= 1003 States= 1.1e+07 Transitions= 4.65368e+07 Memory= 643.493 cpu1: Depth= 1003 States= 1.1e+07 Transitions= 4.67054e+07 Memory= 643.493 cpu0: Depth= 1003 States= 9e+06 Transitions= 3.89566e+07 Memory= 643.493 cpu7: Depth= 1003 States= 1.2e+07 Transitions= 5.34415e+07 Memory= 643.493 cpu6: Depth= 1003 States= 1.2e+07 Transitions= 5.31088e+07 Memory= 643.493 cpu2: Depth= 1003 States= 1.2e+07 Transitions= 5.31197e+07 Memory= 643.493 cpu3: Depth= 1003 States= 1.2e+07 Transitions= 5.32691e+07 Memory= 643.493 cpu4: Depth= 1003 States= 1.2e+07 Transitions= 5.31941e+07 Memory= 643.493 cpu5: Depth= 1003 States= 1.2e+07 Transitions= 5.33204e+07 Memory= 643.493 cpu1: Depth= 1003 States= 1.2e+07 Transitions= 5.34975e+07 Memory= 643.493 cpu0: Depth= 1003 States= 1e+07 Transitions= 4.56821e+07 Memory= 643.493 cpu6: Depth= 1003 States= 1.3e+07 Transitions= 5.99361e+07 Memory= 643.493 cpu7: Depth= 1003 States= 1.3e+07 Transitions= 6.02843e+07 Memory= 643.493 cpu2: Depth= 1003 States= 1.3e+07 Transitions= 5.99422e+07 Memory= 643.493 cpu3: Depth= 1003 States= 1.3e+07 Transitions= 6.00405e+07 Memory= 643.493 cpu4: Depth= 1003 States= 1.3e+07 Transitions= 5.99397e+07 Memory= 643.493 cpu5: Depth= 1003 States= 1.3e+07 Transitions= 6.01457e+07 Memory= 643.493 cpu1: Depth= 1003 States= 1.3e+07 Transitions= 6.03655e+07 Memory= 643.493 cpu0: Depth= 1003 States= 1.1e+07 Transitions= 5.25836e+07 Memory= 643.493 cpu6: Depth= 1003 States= 1.4e+07 Transitions= 6.6837e+07 Memory= 643.493 cpu7: Depth= 1003 States= 1.4e+07 Transitions= 6.72019e+07 Memory= 643.493 cpu3: Depth= 1003 States= 1.4e+07 Transitions= 6.69e+07 Memory= 643.493 cpu4: Depth= 1003 States= 1.4e+07 Transitions= 6.68143e+07 Memory= 643.493 cpu2: Depth= 1003 States= 1.4e+07 Transitions= 6.69032e+07 Memory= 643.493 cpu5: Depth= 1003 States= 1.4e+07 Transitions= 6.7058e+07 Memory= 643.493 cpu1: Depth= 1003 States= 1.4e+07 Transitions= 6.7146e+07 Memory= 643.493 cpu6: Depth= 1003 States= 1.5e+07 Transitions= 7.36579e+07 Memory= 643.493 cpu7: Depth= 1003 States= 1.5e+07 Transitions= 7.41119e+07 Memory= 643.493 cpu3: Depth= 1003 States= 1.5e+07 Transitions= 7.38258e+07 Memory= 643.493 cpu2: Depth= 1003 States= 1.5e+07 Transitions= 7.37745e+07 Memory= 643.493 cpu4: Depth= 1003 States= 1.5e+07 Transitions= 7.37752e+07 Memory= 643.493 cpu5: Depth= 1003 States= 1.5e+07 Transitions= 7.39433e+07 Memory= 643.493 cpu1: Depth= 1003 States= 1.5e+07 Transitions= 7.41082e+07 Memory= 643.493 cpu0: Depth= 1003 States= 1.2e+07 Transitions= 5.94342e+07 Memory= 643.493 cpu7: Depth= 1003 States= 1.6e+07 Transitions= 7.97407e+07 Memory= 643.493 cpu6: Depth= 1003 States= 1.6e+07 Transitions= 7.97634e+07 Memory= 643.493 cpu3: Depth= 1003 States= 1.6e+07 Transitions= 8.00551e+07 Memory= 643.493 cpu5: Depth= 1003 States= 1.6e+07 Transitions= 7.99174e+07 Memory= 643.493 cpu4: Depth= 1003 States= 1.6e+07 Transitions= 8.02904e+07 Memory= 643.493 cpu2: Depth= 1003 States= 1.6e+07 Transitions= 8.05337e+07 Memory= 643.493 cpu1: Depth= 1003 States= 1.6e+07 Transitions= 8.06658e+07 Memory= 643.493 cpu0: Depth= 1003 States= 1.3e+07 Transitions= 6.57345e+07 Memory= 643.493 cpu7: Depth= 1003 States= 1.7e+07 Transitions= 8.58199e+07 Memory= 643.493 cpu6: Depth= 1003 States= 1.7e+07 Transitions= 8.56373e+07 Memory= 643.493 cpu3: Depth= 1003 States= 1.7e+07 Transitions= 8.60121e+07 Memory= 643.493 cpu5: Depth= 1003 States= 1.7e+07 Transitions= 8.58837e+07 Memory= 643.493 cpu4: Depth= 1003 States= 1.7e+07 Transitions= 8.60409e+07 Memory= 643.493 cpu2: Depth= 1003 States= 1.7e+07 Transitions= 8.63883e+07 Memory= 643.493 cpu1: Depth= 1003 States= 1.7e+07 Transitions= 8.6478e+07 Memory= 643.493 cpu0: Depth= 1003 States= 1.4e+07 Transitions= 7.01138e+07 Memory= 643.493 cpu7: Depth= 1003 States= 1.8e+07 Transitions= 9.12727e+07 Memory= 643.493 cpu3: Depth= 1003 States= 1.8e+07 Transitions= 9.12809e+07 Memory= 643.493 cpu6: Depth= 1003 States= 1.8e+07 Transitions= 9.08849e+07 Memory= 643.493 cpu2: Depth= 1003 States= 1.8e+07 Transitions= 9.15146e+07 Memory= 643.493 cpu4: Depth= 1003 States= 1.8e+07 Transitions= 9.12044e+07 Memory= 643.493 cpu5: Depth= 1003 States= 1.8e+07 Transitions= 9.09824e+07 Memory= 643.493 cpu1: Depth= 1003 States= 1.8e+07 Transitions= 9.14268e+07 Memory= 643.493 cpu0: Depth= 1003 States= 1.5e+07 Transitions= 7.54605e+07 Memory= 643.493 cpu7: Depth= 1003 States= 1.9e+07 Transitions= 9.5612e+07 Memory= 643.493 cpu3: Depth= 1003 States= 1.9e+07 Transitions= 9.55217e+07 Memory= 643.493 cpu6: Depth= 1003 States= 1.9e+07 Transitions= 9.52421e+07 Memory= 643.493 cpu2: Depth= 1003 States= 1.9e+07 Transitions= 9.58836e+07 Memory= 643.493 cpu4: Depth= 1003 States= 1.9e+07 Transitions= 9.54748e+07 Memory= 643.493 cpu5: Depth= 1003 States= 1.9e+07 Transitions= 9.52155e+07 Memory= 643.493 cpu1: Depth= 1003 States= 1.9e+07 Transitions= 9.57903e+07 Memory= 643.493 cpu2: Depth= 1003 States= 2e+07 Transitions= 1.00465e+08 Memory= 643.493 cpu3: Depth= 1003 States= 2e+07 Transitions= 1.00193e+08 Memory= 643.493 cpu1: Depth= 1003 States= 2e+07 Transitions= 1.01625e+08 Memory= 643.493 cpu0: Depth= 1003 States= 1.6e+07 Transitions= 8.34558e+07 Memory= 643.493 cpu4: Depth= 1003 States= 2e+07 Transitions= 1.00443e+08 Memory= 643.493 cpu7: Depth= 1003 States= 2e+07 Transitions= 1.00099e+08 Memory= 643.493 cpu5: Depth= 1003 States= 2e+07 Transitions= 1.00192e+08 Memory= 643.493 cpu6: Depth= 1003 States= 2e+07 Transitions= 1.00271e+08 Memory= 643.493 cpu2: Depth= 1003 States= 2.1e+07 Transitions= 1.07948e+08 Memory= 643.493 cpu1: Depth= 1003 States= 2.1e+07 Transitions= 1.09125e+08 Memory= 643.493 cpu0: Depth= 1003 States= 1.7e+07 Transitions= 8.76454e+07 Memory= 643.493 cpu3: Depth= 1003 States= 2.1e+07 Transitions= 1.07551e+08 Memory= 643.493 cpu4: Depth= 1003 States= 2.1e+07 Transitions= 1.07903e+08 Memory= 643.493 cpu5: Depth= 1003 States= 2.1e+07 Transitions= 1.07419e+08 Memory= 643.493 cpu7: Depth= 1003 States= 2.1e+07 Transitions= 1.07874e+08 Memory= 643.493 cpu6: Depth= 1003 States= 2.1e+07 Transitions= 1.07781e+08 Memory= 643.493 cpu0: Depth= 1003 States= 1.8e+07 Transitions= 9.18414e+07 Memory= 643.493 cpu2: Depth= 1003 States= 2.2e+07 Transitions= 1.16126e+08 Memory= 643.493 cpu1: Depth= 1003 States= 2.2e+07 Transitions= 1.17242e+08 Memory= 643.493 cpu3: Depth= 1003 States= 2.2e+07 Transitions= 1.15625e+08 Memory= 643.493 cpu4: Depth= 1003 States= 2.2e+07 Transitions= 1.15536e+08 Memory= 643.493 cpu5: Depth= 1003 States= 2.2e+07 Transitions= 1.15626e+08 Memory= 643.493 cpu7: Depth= 1003 States= 2.2e+07 Transitions= 1.15943e+08 Memory= 643.493 cpu6: Depth= 1003 States= 2.2e+07 Transitions= 1.15907e+08 Memory= 643.493 cpu0: Depth= 1003 States= 1.9e+07 Transitions= 9.8089e+07 Memory= 643.493 cpu2: Depth= 1003 States= 2.3e+07 Transitions= 1.23958e+08 Memory= 643.493 cpu1: Depth= 1003 States= 2.3e+07 Transitions= 1.2529e+08 Memory= 643.493 cpu3: Depth= 1003 States= 2.3e+07 Transitions= 1.2351e+08 Memory= 643.493 cpu4: Depth= 1003 States= 2.3e+07 Transitions= 1.23721e+08 Memory= 643.493 cpu1: Depth= 1003 States= 2.4e+07 Transitions= 1.28899e+08 Memory= 643.493 cpu2: Depth= 1003 States= 2.4e+07 Transitions= 1.28425e+08 Memory= 643.493 cpu7: Depth= 1003 States= 2.3e+07 Transitions= 1.2351e+08 Memory= 643.493 cpu5: Depth= 1003 States= 2.3e+07 Transitions= 1.23287e+08 Memory= 643.493 cpu6: Depth= 1003 States= 2.3e+07 Transitions= 1.23289e+08 Memory= 643.493 cpu0: Depth= 1003 States= 2e+07 Transitions= 1.03757e+08 Memory= 643.493 cpu3: Depth= 1003 States= 2.4e+07 Transitions= 1.28863e+08 Memory= 643.493 cpu4: Depth= 1003 States= 2.4e+07 Transitions= 1.27359e+08 Memory= 643.493 cpu5: Depth= 1003 States= 2.4e+07 Transitions= 1.26732e+08 Memory= 643.493 cpu6: Depth= 1003 States= 2.4e+07 Transitions= 1.26656e+08 Memory= 643.493 cpu1: Depth= 1003 States= 2.5e+07 Transitions= 1.35284e+08 Memory= 643.493 cpu2: Depth= 1003 States= 2.5e+07 Transitions= 1.34482e+08 Memory= 643.493 cpu0: Depth= 1003 States= 2.1e+07 Transitions= 1.09998e+08 Memory= 643.493 cpu7: Depth= 1003 States= 2.4e+07 Transitions= 1.29904e+08 Memory= 643.493 cpu3: Depth= 1003 States= 2.5e+07 Transitions= 1.34294e+08 Memory= 643.493 cpu4: Depth= 1003 States= 2.5e+07 Transitions= 1.31554e+08 Memory= 643.493 cpu1: Depth= 1003 States= 2.6e+07 Transitions= 1.40429e+08 Memory= 643.493 cpu6: Depth= 1003 States= 2.5e+07 Transitions= 1.31075e+08 Memory= 643.493 cpu2: Depth= 1003 States= 2.6e+07 Transitions= 1.39509e+08 Memory= 643.493 cpu5: Depth= 1003 States= 2.5e+07 Transitions= 1.31756e+08 Memory= 643.493 cpu7: Depth= 1003 States= 2.5e+07 Transitions= 1.35397e+08 Memory= 643.493 cpu3: Depth= 1003 States= 2.6e+07 Transitions= 1.40629e+08 Memory= 643.493 cpu0: Depth= 1003 States= 2.2e+07 Transitions= 1.15461e+08 Memory= 643.493 cpu4: Depth= 1003 States= 2.6e+07 Transitions= 1.38409e+08 Memory= 643.493 cpu1: Depth= 1003 States= 2.7e+07 Transitions= 1.47446e+08 Memory= 643.493 cpu6: Depth= 1003 States= 2.6e+07 Transitions= 1.38068e+08 Memory= 643.493 cpu2: Depth= 1003 States= 2.7e+07 Transitions= 1.46847e+08 Memory= 643.493 cpu5: Depth= 1003 States= 2.6e+07 Transitions= 1.38752e+08 Memory= 643.493 cpu3: Depth= 1003 States= 2.7e+07 Transitions= 1.46501e+08 Memory= 643.493 cpu7: Depth= 1003 States= 2.6e+07 Transitions= 1.41305e+08 Memory= 643.493 cpu0: Depth= 1003 States= 2.3e+07 Transitions= 1.21583e+08 Memory= 643.493 cpu4: Depth= 1003 States= 2.7e+07 Transitions= 1.44227e+08 Memory= 643.493 cpu1: Depth= 1003 States= 2.8e+07 Transitions= 1.53034e+08 Memory= 643.493 cpu6: Depth= 1003 States= 2.7e+07 Transitions= 1.43062e+08 Memory= 643.493 cpu2: Depth= 1003 States= 2.8e+07 Transitions= 1.52564e+08 Memory= 643.493 cpu5: Depth= 1003 States= 2.7e+07 Transitions= 1.43884e+08 Memory= 643.493 cpu7: Depth= 1003 States= 2.7e+07 Transitions= 1.4482e+08 Memory= 643.493 cpu3: Depth= 1003 States= 2.8e+07 Transitions= 1.52187e+08 Memory= 643.493 cpu4: Depth= 1003 States= 2.8e+07 Transitions= 1.50342e+08 Memory= 643.493 cpu1: Depth= 1003 States= 2.9e+07 Transitions= 1.59221e+08 Memory= 643.493 cpu6: Depth= 1003 States= 2.8e+07 Transitions= 1.49512e+08 Memory= 643.493 cpu0: Depth= 1003 States= 2.4e+07 Transitions= 1.27745e+08 Memory= 643.493 cpu2: Depth= 1003 States= 2.9e+07 Transitions= 1.59017e+08 Memory= 643.493 cpu7: Depth= 1003 States= 2.8e+07 Transitions= 1.50728e+08 Memory= 643.493 cpu5: Depth= 1003 States= 2.8e+07 Transitions= 1.50434e+08 Memory= 643.493 cpu3: Depth= 1003 States= 2.9e+07 Transitions= 1.57373e+08 Memory= 643.493 cpu1: Depth= 1003 States= 3e+07 Transitions= 1.63735e+08 Memory= 643.493 cpu4: Depth= 1003 States= 2.9e+07 Transitions= 1.55182e+08 Memory= 643.493 cpu0: Depth= 1003 States= 2.5e+07 Transitions= 1.31193e+08 Memory= 643.493 cpu6: Depth= 1003 States= 2.9e+07 Transitions= 1.54654e+08 Memory= 643.493 cpu2: Depth= 1003 States= 3e+07 Transitions= 1.62387e+08 Memory= 643.493 cpu5: Depth= 1003 States= 2.9e+07 Transitions= 1.53936e+08 Memory= 643.493 cpu7: Depth= 1003 States= 2.9e+07 Transitions= 1.55358e+08 Memory= 643.493 cpu3: Depth= 1003 States= 3e+07 Transitions= 1.61033e+08 Memory= 643.493 cpu1: Depth= 1003 States= 3.1e+07 Transitions= 1.67334e+08 Memory= 643.493 cpu4: Depth= 1003 States= 3e+07 Transitions= 1.58881e+08 Memory= 643.493 cpu6: Depth= 1003 States= 3e+07 Transitions= 1.58272e+08 Memory= 643.493 cpu2: Depth= 1003 States= 3.1e+07 Transitions= 1.66063e+08 Memory= 643.493 cpu5: Depth= 1003 States= 3e+07 Transitions= 1.57526e+08 Memory= 643.493 cpu0: Depth= 1003 States= 2.6e+07 Transitions= 1.34871e+08 Memory= 643.493 cpu7: Depth= 1003 States= 3e+07 Transitions= 1.58968e+08 Memory= 643.493 cpu3: Depth= 1003 States= 3.1e+07 Transitions= 1.64706e+08 Memory= 643.493 cpu1: Depth= 1003 States= 3.2e+07 Transitions= 1.71041e+08 Memory= 643.493 cpu4: Depth= 1003 States= 3.1e+07 Transitions= 1.62615e+08 Memory= 643.493 cpu2: Depth= 1003 States= 3.2e+07 Transitions= 1.69897e+08 Memory= 643.493 cpu6: Depth= 1003 States= 3.1e+07 Transitions= 1.62184e+08 Memory= 643.493 cpu5: Depth= 1003 States= 3.1e+07 Transitions= 1.61251e+08 Memory= 643.493 cpu7: Depth= 1003 States= 3.1e+07 Transitions= 1.62663e+08 Memory= 643.493 cpu0: Depth= 1003 States= 2.7e+07 Transitions= 1.38511e+08 Memory= 643.493 cpu3: Depth= 1003 States= 3.2e+07 Transitions= 1.68544e+08 Memory= 643.493 cpu1: Depth= 1003 States= 3.3e+07 Transitions= 1.74767e+08 Memory= 643.493 cpu1: done -- local memcnt 643.493 Mb cpu1: states stored 33445387 matched 1.4314963e+08 cpu2: done -- local memcnt 643.493 Mb cpu2: cpu1: locks: global 0 other 337926 cpu1: waits: states 2.3797578e+08 slots 0 states stored 32898340 matched 1.4093079e+08 cpu3: done -- local memcnt 643.493 Mb cpu3: cpu2: locks: global 9 other 242260 cpu2: waits: states 2.6240366e+09 slots 0 states stored 32140095 matched 1.3703033e+08 cpu3: locks: global 5 other 294838 cpu3: waits: states 4.4439846e+09 slots 0 cpu4: done -- local memcnt 643.493 Mb cpu4: states stored 31766483 matched 1.3412805e+08 cpu5: done -- local memcnt 643.493 Mb cpu5: states stored 31357407 matched 1.3131974e+08 cpu6: done -- local memcnt 643.493 Mb cpu6: states stored 31401500 matched 1.3250452e+08 cpu5: locks: global 6 other 299030 cpu5: waits: states 8.1280123e+09 slots 0 cpu7: done -- local memcnt 643.493 Mb cpu7: cpu6: locks: global 15 other 329452 cpu6: waits: states 9.3538217e+09 slots 0 states stored 31591746 matched 1.3337546e+08 cpu0: done -- local memcnt 643.493 Mb cpu0: cpu7: locks: global 228 other 350484 cpu7: waits: states 3.8189252e+10 slots 0 states stored 27684302 matched 1.133699e+08 cpu0: locks: global 238 other 99558 cpu0: waits: states 13308326 slots 0 (Spin Version 5.0.0 -- 7 May 2007) + Multi-Core (NCORE=8 -z1000) + Partial Order Reduction Bit statespace search for: never claim + assertion violations + (if within scope of claim) acceptance cycles - (not selected) invalid end states - (disabled by never claim) State-vector 3436 byte, depth reached 1003, errors: 20106200 cpu4: locks: global 0 other 352073 cpu4: waits: states 5.0892951e+09 slots 0 2.5228526e+08 states, stored 1.0658084e+09 states, matched 1.3180937e+09 transitions (= stored+matched) 1.1629797e+09 atomic steps hash factor: 4.25606 (best if > 100.) bits set per state: 3 (-k3) Stats on memory usage (in Megabytes): 835356.162 equivalent memory usage for states (stored*(State-vector + overhead)) 128.000 memory used for hash array (-w30) 0.153 memory used for bit stack 0.916 memory used for DFS stack (-m20000) 512.000 memory used for shared work-queues 5018.863 other (proc and chan stacks) 0.009 memory lost to fragmentation 5147.941 total actual memory usage cpu0: elapsed time 2.05e+03 seconds (2.52285e+08 states) cpu0: rate 123124 states/second