Depth=  455656 States=   1e+06 Transitions= 2.59452e+06 Memory= 1086.036 
Depth=  597084 States=   2e+06 Transitions= 4.97454e+06 Memory= 1112.403 
Depth=  597084 States=   3e+06 Transitions= 7.21146e+06 Memory= 1135.353 
Depth=  597084 States=   4e+06 Transitions= 9.45279e+06 Memory= 1158.204 
Depth=  597084 States=   5e+06 Transitions= 1.16942e+07 Memory= 1181.153 
Depth=  597084 States=   6e+06 Transitions= 1.3934e+07 Memory= 1204.005 
Depth=  597084 States=   7e+06 Transitions= 1.62575e+07 Memory= 1226.857 
Depth=  597084 States=   8e+06 Transitions= 1.91638e+07 Memory= 1249.806 
Depth=  597084 States=   9e+06 Transitions= 2.13805e+07 Memory= 1272.657 
Depth=  597084 States=   1e+07 Transitions= 2.36041e+07 Memory= 1295.607 
Depth=  597084 States= 1.1e+07 Transitions= 2.58206e+07 Memory= 1318.458 
Depth=  597084 States= 1.2e+07 Transitions= 2.80438e+07 Memory= 1341.310 
Depth=  597084 States= 1.3e+07 Transitions= 3.02614e+07 Memory= 1364.259 
Depth=  597084 States= 1.4e+07 Transitions= 3.2992e+07 Memory= 1387.110 
Depth=  597084 States= 1.5e+07 Transitions= 3.56268e+07 Memory= 1410.060 
Depth=  597084 States= 1.6e+07 Transitions= 3.80387e+07 Memory= 1432.911 
Depth=  597084 States= 1.7e+07 Transitions= 4.02804e+07 Memory= 1455.763 
Depth=  597084 States= 1.8e+07 Transitions= 4.25164e+07 Memory= 1478.712 
Depth=  597084 States= 1.9e+07 Transitions= 4.47591e+07 Memory= 1501.564 
Depth=  597084 States=   2e+07 Transitions= 4.70011e+07 Memory= 1524.513 
Depth=  597084 States= 2.1e+07 Transitions= 4.92698e+07 Memory= 1547.364 
Depth=  597084 States= 2.2e+07 Transitions= 5.22109e+07 Memory= 1570.314 
Depth=  597084 States= 2.3e+07 Transitions= 5.44481e+07 Memory= 1593.165 
Depth=  597084 States= 2.4e+07 Transitions= 5.667e+07 Memory= 1616.017 
Depth=  597084 States= 2.5e+07 Transitions= 5.88898e+07 Memory= 1638.966 
Depth=  597084 States= 2.6e+07 Transitions= 6.11107e+07 Memory= 1661.818 
Depth=  597084 States= 2.7e+07 Transitions= 6.33311e+07 Memory= 1684.767 
Depth=  597084 States= 2.8e+07 Transitions= 6.60014e+07 Memory= 1707.618 
Depth=  597084 States= 2.9e+07 Transitions= 6.86596e+07 Memory= 1730.470 
Depth=  597084 States=   3e+07 Transitions= 7.11045e+07 Memory= 1753.419 
Depth=  597084 States= 3.1e+07 Transitions= 7.33461e+07 Memory= 1776.271 
Depth=  597084 States= 3.2e+07 Transitions= 7.55853e+07 Memory= 1799.220 
Depth=  597084 States= 3.3e+07 Transitions= 7.78236e+07 Memory= 1822.071 
Depth=  597084 States= 3.4e+07 Transitions= 8.00654e+07 Memory= 1844.923 
Depth=  597084 States= 3.5e+07 Transitions= 8.23074e+07 Memory= 1867.872 
Depth=  597084 States= 3.6e+07 Transitions= 8.52206e+07 Memory= 1890.724 
Depth=  597084 States= 3.7e+07 Transitions= 8.75177e+07 Memory= 1913.673 
Depth=  597084 States= 3.8e+07 Transitions= 8.97376e+07 Memory= 1936.525 
Depth=  597084 States= 3.9e+07 Transitions= 9.19595e+07 Memory= 1959.474 
Depth=  597084 States=   4e+07 Transitions= 9.41783e+07 Memory= 1982.325 
Depth=  597084 States= 4.1e+07 Transitions= 9.64002e+07 Memory= 2005.177 
Depth=  597084 States= 4.2e+07 Transitions= 9.90108e+07 Memory= 2028.126 
Depth=  597084 States= 4.3e+07 Transitions= 1.01693e+08 Memory= 2050.978 
Depth=  597084 States= 4.4e+07 Transitions= 1.04168e+08 Memory= 2073.927 
Depth=  597084 States= 4.5e+07 Transitions= 1.06411e+08 Memory= 2096.778 
Depth=  597084 States= 4.6e+07 Transitions= 1.08653e+08 Memory= 2119.630 
Depth=  597084 States= 4.7e+07 Transitions= 1.10891e+08 Memory= 2142.579 
Depth=  597084 States= 4.8e+07 Transitions= 1.13131e+08 Memory= 2165.431 
Depth=  597084 States= 4.9e+07 Transitions= 1.15372e+08 Memory= 2188.380 
Depth=  597084 States=   5e+07 Transitions= 1.1823e+08 Memory= 2211.232 
Depth=  597084 States= 5.1e+07 Transitions= 1.20587e+08 Memory= 2234.083 
Depth=  597084 States= 5.2e+07 Transitions= 1.22804e+08 Memory= 2257.032 
Depth=  597084 States= 5.3e+07 Transitions= 1.25027e+08 Memory= 2279.884 
Depth=  597084 States= 5.4e+07 Transitions= 1.27244e+08 Memory= 2302.833 
Depth=  597084 States= 5.5e+07 Transitions= 1.29468e+08 Memory= 2325.685 
Depth=  597084 States= 5.6e+07 Transitions= 1.32021e+08 Memory= 2348.634 
Depth=  597084 States= 5.7e+07 Transitions= 1.34753e+08 Memory= 2371.485 
Depth=  597084 States= 5.8e+07 Transitions= 1.37025e+08 Memory= 2394.337 
Depth=  597084 States= 5.9e+07 Transitions= 1.39264e+08 Memory= 2417.286 
Depth=  597084 States=   6e+07 Transitions= 1.41506e+08 Memory= 2440.138 
Depth=  597084 States= 6.1e+07 Transitions= 1.43748e+08 Memory= 2463.087 
Depth=  597084 States= 6.2e+07 Transitions= 1.45983e+08 Memory= 2485.939 
Depth=  597084 States= 6.3e+07 Transitions= 1.48487e+08 Memory= 2508.790 
Depth=  597084 States= 6.4e+07 Transitions= 1.51284e+08 Memory= 2531.739 
Depth=  597084 States= 6.5e+07 Transitions= 1.53913e+08 Memory= 2554.591 
Depth=  597084 States= 6.6e+07 Transitions= 1.56186e+08 Memory= 2577.540 
Depth=  597084 States= 6.7e+07 Transitions= 1.58427e+08 Memory= 2600.392 
Depth=  597084 States= 6.8e+07 Transitions= 1.60668e+08 Memory= 2623.243 
Depth=  597084 States= 6.9e+07 Transitions= 1.62909e+08 Memory= 2646.193 
Depth=  597084 States=   7e+07 Transitions= 1.65146e+08 Memory= 2669.044 
Depth=  597084 States= 7.1e+07 Transitions= 1.67647e+08 Memory= 2691.993 
Depth=  597084 States= 7.2e+07 Transitions= 1.70373e+08 Memory= 2714.845 
Depth=  597084 States= 7.3e+07 Transitions= 1.7259e+08 Memory= 2737.794 
Depth=  597084 States= 7.4e+07 Transitions= 1.74814e+08 Memory= 2760.646 
Depth=  597084 States= 7.5e+07 Transitions= 1.7703e+08 Memory= 2783.497 
Depth=  597084 States= 7.6e+07 Transitions= 1.79254e+08 Memory= 2806.446 
Depth=  597084 States= 7.7e+07 Transitions= 1.8147e+08 Memory= 2829.298 
Depth=  597084 States= 7.8e+07 Transitions= 1.84317e+08 Memory= 2852.247 
Depth=  597084 States= 7.9e+07 Transitions= 1.86944e+08 Memory= 2875.099 
Depth=  597084 States=   8e+07 Transitions= 1.89255e+08 Memory= 2897.950 
Depth=  597084 States= 8.1e+07 Transitions= 1.91491e+08 Memory= 2920.900 
Depth=  597084 States= 8.2e+07 Transitions= 1.93733e+08 Memory= 2943.751 
Depth=  597084 States= 8.3e+07 Transitions= 1.95975e+08 Memory= 2966.700 
Depth=  597084 States= 8.4e+07 Transitions= 1.98213e+08 Memory= 2989.552 
Depth=  597084 States= 8.5e+07 Transitions= 2.00657e+08 Memory= 3012.403 
Depth=  597084 States= 8.6e+07 Transitions= 2.0344e+08 Memory= 3035.353 
Depth=  597084 States= 8.7e+07 Transitions= 2.05657e+08 Memory= 3058.204 
Depth=  597084 States= 8.8e+07 Transitions= 2.0788e+08 Memory= 3081.153 
Depth=  597084 States= 8.9e+07 Transitions= 2.10099e+08 Memory= 3104.005 
Depth=  597084 States=   9e+07 Transitions= 2.1232e+08 Memory= 3126.954 
Depth=  597084 States= 9.1e+07 Transitions= 2.1454e+08 Memory= 3149.806 
Depth=  597084 States= 9.2e+07 Transitions= 2.17349e+08 Memory= 3172.657 
Depth=  597084 States= 9.3e+07 Transitions= 2.19979e+08 Memory= 3195.607 
Depth=  597084 States= 9.4e+07 Transitions= 2.2232e+08 Memory= 3218.458 
Depth=  597084 States= 9.5e+07 Transitions= 2.2456e+08 Memory= 3241.407 
Depth=  597084 States= 9.6e+07 Transitions= 2.26798e+08 Memory= 3264.259 
Depth=  597084 States= 9.7e+07 Transitions= 2.2904e+08 Memory= 3287.110 
Depth=  597084 States= 9.8e+07 Transitions= 2.31282e+08 Memory= 3310.060 
Depth=  597084 States= 9.9e+07 Transitions= 2.33668e+08 Memory= 3332.911 
Depth=  597084 States=   1e+08 Transitions= 2.36507e+08 Memory= 3355.860 
Depth=  597084 States= 1.01e+08 Transitions= 2.38726e+08 Memory= 3378.712 
Depth=  597084 States= 1.02e+08 Transitions= 2.40947e+08 Memory= 3401.564 
Depth=  597084 States= 1.03e+08 Transitions= 2.43168e+08 Memory= 3424.513 
Depth=  597084 States= 1.04e+08 Transitions= 2.45388e+08 Memory= 3447.364 
Depth=  597084 States= 1.05e+08 Transitions= 2.4761e+08 Memory= 3470.314 
Depth=  597084 States= 1.06e+08 Transitions= 2.50406e+08 Memory= 3493.165 
Depth=  597084 States= 1.07e+08 Transitions= 2.52931e+08 Memory= 3516.114 
Depth=  597084 States= 1.08e+08 Transitions= 2.55174e+08 Memory= 3538.966 
Depth=  597084 States= 1.09e+08 Transitions= 2.57416e+08 Memory= 3561.818 
Depth=  597084 States= 1.1e+08 Transitions= 2.59654e+08 Memory= 3584.767 
Depth=  597084 States= 1.11e+08 Transitions= 2.61894e+08 Memory= 3607.618 
Depth=  597084 States= 1.12e+08 Transitions= 2.64135e+08 Memory= 3630.568 
Depth=  597084 States= 1.13e+08 Transitions= 2.66869e+08 Memory= 3653.419 
Depth=  597084 States= 1.14e+08 Transitions= 2.69575e+08 Memory= 3676.271 
Depth=  597084 States= 1.15e+08 Transitions= 2.72095e+08 Memory= 3699.220 
Depth=  597084 States= 1.16e+08 Transitions= 2.74336e+08 Memory= 3722.071 
Depth=  597084 States= 1.17e+08 Transitions= 2.76578e+08 Memory= 3745.021 
Depth=  597084 States= 1.18e+08 Transitions= 2.78814e+08 Memory= 3767.872 
Depth=  597084 States= 1.19e+08 Transitions= 2.81057e+08 Memory= 3790.724 
Depth=  597084 States= 1.2e+08 Transitions= 2.83299e+08 Memory= 3813.673 
Depth=  597084 States= 1.21e+08 Transitions= 2.86057e+08 Memory= 3836.525 
Depth=  597084 States= 1.22e+08 Transitions= 2.88512e+08 Memory= 3859.474 
Depth=  597084 States= 1.23e+08 Transitions= 2.90733e+08 Memory= 3882.325 
Depth=  597084 States= 1.24e+08 Transitions= 2.92953e+08 Memory= 3905.275 
Depth=  597084 States= 1.25e+08 Transitions= 2.95174e+08 Memory= 3928.126 
Depth=  597084 States= 1.26e+08 Transitions= 2.97395e+08 Memory= 3950.978 
Depth=  597084 States= 1.27e+08 Transitions= 2.9985e+08 Memory= 3973.927 
Depth=  597084 States= 1.28e+08 Transitions= 3.0262e+08 Memory= 3996.778 
Depth=  597084 States= 1.29e+08 Transitions= 3.0516e+08 Memory= 4019.728 
Depth=  597084 States= 1.3e+08 Transitions= 3.07402e+08 Memory= 4042.579 
Depth=  597084 States= 1.31e+08 Transitions= 3.09644e+08 Memory= 4065.431 
Depth=  597084 States= 1.32e+08 Transitions= 3.11883e+08 Memory= 4088.380 
Depth=  597084 States= 1.33e+08 Transitions= 3.14121e+08 Memory= 4111.232 
Depth=  597084 States= 1.34e+08 Transitions= 3.16363e+08 Memory= 4134.181 
Depth=  597084 States= 1.35e+08 Transitions= 3.19068e+08 Memory= 4157.032 
Depth=  597084 States= 1.36e+08 Transitions= 3.21581e+08 Memory= 4179.884 
Depth=  597084 States= 1.37e+08 Transitions= 3.23801e+08 Memory= 4202.833 
Depth=  597084 States= 1.38e+08 Transitions= 3.26023e+08 Memory= 4225.685 
Depth=  597084 States= 1.39e+08 Transitions= 3.28241e+08 Memory= 4248.634 
Depth=  597084 States= 1.4e+08 Transitions= 3.30464e+08 Memory= 4271.485 
Depth=  597084 States= 1.41e+08 Transitions= 3.32861e+08 Memory= 4294.435 
Depth=  597084 States= 1.42e+08 Transitions= 3.35655e+08 Memory= 4317.286 
Depth=  597084 States= 1.43e+08 Transitions= 3.38229e+08 Memory= 4340.138 
Depth=  597084 States= 1.44e+08 Transitions= 3.40466e+08 Memory= 4363.087 
Depth=  597084 States= 1.45e+08 Transitions= 3.42708e+08 Memory= 4385.939 
Depth=  597084 States= 1.46e+08 Transitions= 3.4495e+08 Memory= 4408.888 
Depth=  597084 States= 1.47e+08 Transitions= 3.47188e+08 Memory= 4431.739 
Depth=  597084 States= 1.48e+08 Transitions= 3.49428e+08 Memory= 4454.591 
Depth=  597084 States= 1.49e+08 Transitions= 3.52079e+08 Memory= 4477.540 
Depth=  597084 States= 1.5e+08 Transitions= 3.5465e+08 Memory= 4500.392 
Depth=  597084 States= 1.51e+08 Transitions= 3.56867e+08 Memory= 4523.341 
Depth=  597084 States= 1.52e+08 Transitions= 3.5909e+08 Memory= 4546.193 
Depth=  597084 States= 1.53e+08 Transitions= 3.61307e+08 Memory= 4569.044 
Depth=  597084 States= 1.54e+08 Transitions= 3.6353e+08 Memory= 4591.993 
Depth=  597084 States= 1.55e+08 Transitions= 3.6587e+08 Memory= 4614.845 
Depth=  597084 States= 1.56e+08 Transitions= 3.68687e+08 Memory= 4637.794 
Depth=  597084 States= 1.57e+08 Transitions= 3.71084e+08 Memory= 4660.646 
Depth=  597084 States= 1.58e+08 Transitions= 3.73323e+08 Memory= 4683.595 
Depth=  597084 States= 1.59e+08 Transitions= 3.75562e+08 Memory= 4706.446 
Depth=  597084 States= 1.6e+08 Transitions= 3.77803e+08 Memory= 4729.298 
Depth=  597084 States= 1.61e+08 Transitions= 3.80045e+08 Memory= 4752.247 
Depth=  597084 States= 1.62e+08 Transitions= 3.8234e+08 Memory= 4775.099 
Depth=  597084 States= 1.63e+08 Transitions= 3.85276e+08 Memory= 4798.048 
Depth=  597084 States= 1.64e+08 Transitions= 3.87793e+08 Memory= 4820.900 
Depth=  597084 States= 1.65e+08 Transitions= 3.90035e+08 Memory= 4843.751 
Depth=  597084 States= 1.66e+08 Transitions= 3.92271e+08 Memory= 4866.700 
Depth=  597084 States= 1.67e+08 Transitions= 3.94514e+08 Memory= 4889.552 
Depth=  597084 States= 1.68e+08 Transitions= 3.96756e+08 Memory= 4912.501 
Depth=  597084 States= 1.69e+08 Transitions= 3.98994e+08 Memory= 4935.353 
Depth=  597084 States= 1.7e+08 Transitions= 4.01716e+08 Memory= 4958.204 
Depth=  597084 States= 1.71e+08 Transitions= 4.04456e+08 Memory= 4981.153 
Depth=  597084 States= 1.72e+08 Transitions= 4.06747e+08 Memory= 5004.005 
Depth=  597084 States= 1.73e+08 Transitions= 4.08984e+08 Memory= 5026.954 
Depth=  597084 States= 1.74e+08 Transitions= 4.11226e+08 Memory= 5049.806 
Depth=  597084 States= 1.75e+08 Transitions= 4.13467e+08 Memory= 5072.755 
Depth=  597084 States= 1.76e+08 Transitions= 4.15706e+08 Memory= 5095.607 
Depth=  597084 States= 1.77e+08 Transitions= 4.18181e+08 Memory= 5118.458 
Depth=  597084 States= 1.78e+08 Transitions= 4.21024e+08 Memory= 5141.407 
Depth=  597084 States= 1.79e+08 Transitions= 4.23459e+08 Memory= 5164.259 
Depth=  597084 States= 1.8e+08 Transitions= 4.25697e+08 Memory= 5187.208 
Depth=  597084 States= 1.81e+08 Transitions= 4.27937e+08 Memory= 5210.060 
Depth=  597084 States= 1.82e+08 Transitions= 4.30178e+08 Memory= 5232.911 
Depth=  597084 States= 1.83e+08 Transitions= 4.32419e+08 Memory= 5255.860 
Depth=  597084 States= 1.84e+08 Transitions= 4.34656e+08 Memory= 5278.712 
Depth=  597084 States= 1.85e+08 Transitions= 4.37593e+08 Memory= 5301.661 
Depth=  597084 States= 1.86e+08 Transitions= 4.40171e+08 Memory= 5324.513 
Depth=  597084 States= 1.87e+08 Transitions= 4.42409e+08 Memory= 5347.364 
Depth=  597084 States= 1.88e+08 Transitions= 4.44648e+08 Memory= 5370.314 
Depth=  597084 States= 1.89e+08 Transitions= 4.4689e+08 Memory= 5393.165 
Depth=  597084 States= 1.9e+08 Transitions= 4.49132e+08 Memory= 5416.114 
Depth=  597084 States= 1.91e+08 Transitions= 4.51367e+08 Memory= 5438.966 
Depth=  597084 States= 1.92e+08 Transitions= 4.54057e+08 Memory= 5461.915 
Depth=  597084 States= 1.93e+08 Transitions= 4.56726e+08 Memory= 5484.767 
Depth=  597084 States= 1.94e+08 Transitions= 4.59329e+08 Memory= 5507.618 
Depth=  597084 States= 1.95e+08 Transitions= 4.61571e+08 Memory= 5530.568 
Depth=  597084 States= 1.96e+08 Transitions= 4.63808e+08 Memory= 5553.419 
Depth=  597084 States= 1.97e+08 Transitions= 4.66049e+08 Memory= 5576.368 
Depth=  597084 States= 1.98e+08 Transitions= 4.6829e+08 Memory= 5599.220 
Depth=  597084 States= 1.99e+08 Transitions= 4.70531e+08 Memory= 5622.071 
Depth=  597084 States=   2e+08 Transitions= 4.7313e+08 Memory= 5645.021 
Depth=  597084 States= 2.01e+08 Transitions= 4.7575e+08 Memory= 5667.872 
Depth=  597084 States= 2.02e+08 Transitions= 4.77972e+08 Memory= 5690.821 
Depth=  597084 States= 2.03e+08 Transitions= 4.80191e+08 Memory= 5713.673 
Depth=  597084 States= 2.04e+08 Transitions= 4.82413e+08 Memory= 5736.525 
Depth=  597084 States= 2.05e+08 Transitions= 4.8463e+08 Memory= 5759.474 
Depth=  597084 States= 2.06e+08 Transitions= 4.86922e+08 Memory= 5782.325 
Depth=  597084 States= 2.07e+08 Transitions= 4.89759e+08 Memory= 5805.275 
Depth=  597084 States= 2.08e+08 Transitions= 4.9239e+08 Memory= 5828.126 
Depth=  597084 States= 2.09e+08 Transitions= 4.94635e+08 Memory= 5851.075 
Depth=  597084 States= 2.1e+08 Transitions= 4.96877e+08 Memory= 5873.927 
Depth=  597084 States= 2.11e+08 Transitions= 4.99113e+08 Memory= 5896.778 
Depth=  597084 States= 2.12e+08 Transitions= 5.01355e+08 Memory= 5919.728 
Depth=  597084 States= 2.13e+08 Transitions= 5.03597e+08 Memory= 5942.579 
Depth=  597084 States= 2.14e+08 Transitions= 5.06141e+08 Memory= 5965.528 
Depth=  597084 States= 2.15e+08 Transitions= 5.08817e+08 Memory= 5988.380 
Depth=  597084 States= 2.16e+08 Transitions= 5.1104e+08 Memory= 6011.232 
Depth=  597084 States= 2.17e+08 Transitions= 5.13257e+08 Memory= 6034.181 
Depth=  597084 States= 2.18e+08 Transitions= 5.1548e+08 Memory= 6057.032 
Depth=  597084 States= 2.19e+08 Transitions= 5.17697e+08 Memory= 6079.982 
Depth=  597084 States= 2.2e+08 Transitions= 5.19933e+08 Memory= 6102.833 
Depth=  597084 States= 2.21e+08 Transitions= 5.22792e+08 Memory= 6125.685 
Depth=  597084 States= 2.22e+08 Transitions= 5.25248e+08 Memory= 6148.634 
Depth=  597084 States= 2.23e+08 Transitions= 5.2749e+08 Memory= 6171.485 
Depth=  597084 States= 2.24e+08 Transitions= 5.29731e+08 Memory= 6194.435 
Depth=  597084 States= 2.25e+08 Transitions= 5.31971e+08 Memory= 6217.286 
Depth=  597084 States= 2.26e+08 Transitions= 5.34209e+08 Memory= 6240.235 
Depth=  597084 States= 2.27e+08 Transitions= 5.36451e+08 Memory= 6263.087 
Depth=  597084 States= 2.28e+08 Transitions= 5.39343e+08 Memory= 6285.939 
Depth=  597084 States= 2.29e+08 Transitions= 5.41961e+08 Memory= 6308.888 
Depth=  597084 States= 2.3e+08 Transitions= 5.44198e+08 Memory= 6331.739 
Depth=  597084 States= 2.31e+08 Transitions= 5.46441e+08 Memory= 6354.689 
Depth=  597084 States= 2.32e+08 Transitions= 5.48683e+08 Memory= 6377.540 
Depth=  597084 States= 2.33e+08 Transitions= 5.5092e+08 Memory= 6400.392 
Depth=  597084 States= 2.34e+08 Transitions= 5.53161e+08 Memory= 6423.341 
Depth=  597084 States= 2.35e+08 Transitions= 5.55779e+08 Memory= 6446.193 
Depth=  597084 States= 2.36e+08 Transitions= 5.58564e+08 Memory= 6469.142 
Depth=  597084 States= 2.37e+08 Transitions= 5.6091e+08 Memory= 6491.993 
Depth=  597084 States= 2.38e+08 Transitions= 5.63152e+08 Memory= 6514.845 
Depth=  597084 States= 2.39e+08 Transitions= 5.65395e+08 Memory= 6537.794 
Depth=  597084 States= 2.4e+08 Transitions= 5.67632e+08 Memory= 6560.646 
Depth=  597084 States= 2.41e+08 Transitions= 5.69873e+08 Memory= 6583.595 
Depth=  597084 States= 2.42e+08 Transitions= 5.72246e+08 Memory= 6606.446 
Depth=  597084 States= 2.43e+08 Transitions= 5.75129e+08 Memory= 6629.396 
Depth=  597084 States= 2.44e+08 Transitions= 5.77622e+08 Memory= 6652.247 
Depth=  597084 States= 2.45e+08 Transitions= 5.79865e+08 Memory= 6675.099 
Depth=  597084 States= 2.46e+08 Transitions= 5.82107e+08 Memory= 6698.048 
Depth=  597084 States= 2.47e+08 Transitions= 5.84345e+08 Memory= 6720.900 
Depth=  597084 States= 2.48e+08 Transitions= 5.86584e+08 Memory= 6743.849 
Depth=  597084 States= 2.49e+08 Transitions= 5.88826e+08 Memory= 6766.700 
Depth=  597084 States= 2.5e+08 Transitions= 5.91654e+08 Memory= 6789.552 
Depth=  597084 States= 2.51e+08 Transitions= 5.94264e+08 Memory= 6812.501 
Depth=  597084 States= 2.52e+08 Transitions= 5.96574e+08 Memory= 6835.353 
Depth=  597084 States= 2.53e+08 Transitions= 5.9881e+08 Memory= 6858.302 
Depth=  597084 States= 2.54e+08 Transitions= 6.01053e+08 Memory= 6881.153 
Depth=  597084 States= 2.55e+08 Transitions= 6.03295e+08 Memory= 6904.005 
Depth=  597084 States= 2.56e+08 Transitions= 6.05533e+08 Memory= 6926.954 
Depth=  597084 States= 2.57e+08 Transitions= 6.07976e+08 Memory= 6949.806 
Depth=  597084 States= 2.58e+08 Transitions= 6.10832e+08 Memory= 6972.755 
Depth=  597084 States= 2.59e+08 Transitions= 6.13287e+08 Memory= 6995.607 
Depth=  597084 States= 2.6e+08 Transitions= 6.15523e+08 Memory= 7018.458 
Depth=  597084 States= 2.61e+08 Transitions= 6.17765e+08 Memory= 7041.407 
Depth=  597084 States= 2.62e+08 Transitions= 6.20007e+08 Memory= 7064.259 
Depth=  597084 States= 2.63e+08 Transitions= 6.22246e+08 Memory= 7087.208 
Depth=  597084 States= 2.64e+08 Transitions= 6.24484e+08 Memory= 7110.060 
Depth=  597084 States= 2.65e+08 Transitions= 6.27387e+08 Memory= 7133.009 
Depth=  597084 States= 2.66e+08 Transitions= 6.29998e+08 Memory= 7155.860 
Depth=  597084 States= 2.67e+08 Transitions= 6.32236e+08 Memory= 7178.712 
Depth=  597084 States= 2.68e+08 Transitions= 6.34476e+08 Memory= 7201.661 
Depth=  597084 States= 2.69e+08 Transitions= 6.36718e+08 Memory= 7224.513 
Depth=  597084 States= 2.7e+08 Transitions= 6.38959e+08 Memory= 7247.462 
Depth=  597084 States= 2.71e+08 Transitions= 6.41195e+08 Memory= 7270.314 
Depth=  597084 States= 2.72e+08 Transitions= 6.43852e+08 Memory= 7293.165 
Depth=  597084 States= 2.73e+08 Transitions= 6.4642e+08 Memory= 7316.114 
Depth=  597084 States= 2.74e+08 Transitions= 6.48941e+08 Memory= 7338.966 
Depth=  597084 States= 2.75e+08 Transitions= 6.5118e+08 Memory= 7361.915 
Depth=  597084 States= 2.76e+08 Transitions= 6.53419e+08 Memory= 7384.767 
Depth=  597084 States= 2.77e+08 Transitions= 6.5566e+08 Memory= 7407.618 
Depth=  597084 States= 2.78e+08 Transitions= 6.57902e+08 Memory= 7430.568 
Depth=  597084 States= 2.79e+08 Transitions= 6.60138e+08 Memory= 7453.419 
Depth=  597084 States= 2.8e+08 Transitions= 6.62889e+08 Memory= 7476.368 
Depth=  597084 States= 2.81e+08 Transitions= 6.6562e+08 Memory= 7499.220 
Depth=  597084 States= 2.82e+08 Transitions= 6.67893e+08 Memory= 7522.169 
Depth=  597084 States= 2.83e+08 Transitions= 6.7013e+08 Memory= 7545.021 
Depth=  597084 States= 2.84e+08 Transitions= 6.72372e+08 Memory= 7567.872 
Depth=  597084 States= 2.85e+08 Transitions= 6.74615e+08 Memory= 7590.821 
Depth=  597084 States= 2.86e+08 Transitions= 6.76851e+08 Memory= 7613.673 
Depth=  597084 States= 2.87e+08 Transitions= 6.79355e+08 Memory= 7636.622 
Depth=  597084 States= 2.88e+08 Transitions= 6.82077e+08 Memory= 7659.474 
Depth=  597084 States= 2.89e+08 Transitions= 6.84303e+08 Memory= 7682.325 
Depth=  597084 States= 2.9e+08 Transitions= 6.86526e+08 Memory= 7705.275 
Depth=  597084 States= 2.91e+08 Transitions= 6.88748e+08 Memory= 7728.126 
Depth=  597084 States= 2.92e+08 Transitions= 6.90972e+08 Memory= 7751.075 
Depth=  597084 States= 2.93e+08 Transitions= 6.93194e+08 Memory= 7773.927 
Depth=  597084 States= 2.94e+08 Transitions= 6.95415e+08 Memory= 7796.778 
Depth=  597084 States= 2.95e+08 Transitions= 6.97642e+08 Memory= 7819.728 
Depth=  597084 States= 2.96e+08 Transitions= 6.99863e+08 Memory= 7842.579 
Depth=  597084 States= 2.97e+08 Transitions= 7.02085e+08 Memory= 7865.528 
Depth=  597084 States= 2.98e+08 Transitions= 7.04311e+08 Memory= 7888.380 
Depth=  597084 States= 2.99e+08 Transitions= 7.06532e+08 Memory= 7911.329 
Depth=  597084 States=   3e+08 Transitions= 7.08755e+08 Memory= 7934.181 
Depth=  597084 States= 3.01e+08 Transitions= 7.10981e+08 Memory= 7957.032 
Depth=  597084 States= 3.02e+08 Transitions= 7.13204e+08 Memory= 7979.982 
Depth=  597084 States= 3.03e+08 Transitions= 7.15423e+08 Memory= 8002.833 
Depth=  597084 States= 3.04e+08 Transitions= 7.1765e+08 Memory= 8025.782 
Depth=  597084 States= 3.05e+08 Transitions= 7.19872e+08 Memory= 8048.634 
Depth=  597084 States= 3.06e+08 Transitions= 7.22093e+08 Memory= 8071.485 
Depth=  597084 States= 3.07e+08 Transitions= 7.2432e+08 Memory= 8094.435 
Depth=  597084 States= 3.08e+08 Transitions= 7.26542e+08 Memory= 8117.286 
Depth=  597084 States= 3.09e+08 Transitions= 7.28762e+08 Memory= 8140.235 
Depth=  597084 States= 3.1e+08 Transitions= 7.3099e+08 Memory= 8163.087 
Depth=  597084 States= 3.11e+08 Transitions= 7.33211e+08 Memory= 8185.939 
Depth=  597084 States= 3.12e+08 Transitions= 7.35433e+08 Memory= 8208.888 
Depth=  597084 States= 3.13e+08 Transitions= 7.37659e+08 Memory= 8231.739 
Depth=  597084 States= 3.14e+08 Transitions= 7.3988e+08 Memory= 8254.689 
Depth=  597084 States= 3.15e+08 Transitions= 7.42101e+08 Memory= 8277.540 
Depth=  597084 States= 3.16e+08 Transitions= 7.44329e+08 Memory= 8300.489 
Depth=  597084 States= 3.17e+08 Transitions= 7.4655e+08 Memory= 8323.341 
Depth=  597084 States= 3.18e+08 Transitions= 7.48772e+08 Memory= 8346.193 
Depth=  597084 States= 3.19e+08 Transitions= 7.50998e+08 Memory= 8369.142 
Depth=  597084 States= 3.2e+08 Transitions= 7.53219e+08 Memory= 8391.993 
Depth=  597084 States= 3.21e+08 Transitions= 7.55441e+08 Memory= 8414.943 
Depth=  597084 States= 3.22e+08 Transitions= 7.57668e+08 Memory= 8437.794 
Depth=  597084 States= 3.23e+08 Transitions= 7.5989e+08 Memory= 8460.646 
Depth=  597084 States= 3.24e+08 Transitions= 7.6211e+08 Memory= 8483.595 
Depth=  597084 States= 3.25e+08 Transitions= 7.64336e+08 Memory= 8506.446 
Depth=  597084 States= 3.26e+08 Transitions= 7.66559e+08 Memory= 8529.396 
Depth=  597084 States= 3.27e+08 Transitions= 7.68781e+08 Memory= 8552.247 
Depth=  597084 States= 3.28e+08 Transitions= 7.71007e+08 Memory= 8575.099 
Depth=  597084 States= 3.29e+08 Transitions= 7.73228e+08 Memory= 8598.048 
Depth=  597084 States= 3.3e+08 Transitions= 7.7545e+08 Memory= 8620.900 
Depth=  597084 States= 3.31e+08 Transitions= 7.77676e+08 Memory= 8643.849 
Depth=  597084 States= 3.32e+08 Transitions= 7.79898e+08 Memory= 8666.700 
Depth=  597084 States= 3.33e+08 Transitions= 7.82121e+08 Memory= 8689.650 
Depth=  597084 States= 3.34e+08 Transitions= 7.84346e+08 Memory= 8712.501 
Depth=  597084 States= 3.35e+08 Transitions= 7.86566e+08 Memory= 8735.353 
Depth=  597084 States= 3.36e+08 Transitions= 7.8879e+08 Memory= 8758.302 
Depth=  597084 States= 3.37e+08 Transitions= 7.91015e+08 Memory= 8781.153 
Depth=  597084 States= 3.38e+08 Transitions= 7.93236e+08 Memory= 8804.103 
Depth=  597084 States= 3.39e+08 Transitions= 7.95461e+08 Memory= 8826.954 
Depth=  597084 States= 3.4e+08 Transitions= 7.97684e+08 Memory= 8849.806 
Depth=  597084 States= 3.41e+08 Transitions= 7.99905e+08 Memory= 8872.755 
Depth=  597084 States= 3.42e+08 Transitions= 8.0213e+08 Memory= 8895.607 
Depth=  597084 States= 3.43e+08 Transitions= 8.04353e+08 Memory= 8918.556 
Depth=  597084 States= 3.44e+08 Transitions= 8.06576e+08 Memory= 8941.407 
Depth=  597084 States= 3.45e+08 Transitions= 8.08799e+08 Memory= 8964.259 
Depth=  597084 States= 3.46e+08 Transitions= 8.11023e+08 Memory= 8987.208 
Depth=  597084 States= 3.47e+08 Transitions= 8.13244e+08 Memory= 9010.060 
Depth=  597084 States= 3.48e+08 Transitions= 8.15469e+08 Memory= 9033.009 
Depth=  597084 States= 3.49e+08 Transitions= 8.17692e+08 Memory= 9055.860 
Depth=  597084 States= 3.5e+08 Transitions= 8.19913e+08 Memory= 9078.810 
Depth=  597084 States= 3.51e+08 Transitions= 8.22139e+08 Memory= 9101.661 
Depth=  597084 States= 3.52e+08 Transitions= 8.24361e+08 Memory= 9124.513 
Depth=  597084 States= 3.53e+08 Transitions= 8.26715e+08 Memory= 9147.462 
Depth=  597084 States= 3.54e+08 Transitions= 8.29335e+08 Memory= 9170.314 
Depth=  597084 States= 3.55e+08 Transitions= 8.31577e+08 Memory= 9193.263 
Depth=  597084 States= 3.56e+08 Transitions= 8.33815e+08 Memory= 9216.114 
Depth=  597084 States= 3.57e+08 Transitions= 8.36054e+08 Memory= 9238.966 
Depth=  597084 States= 3.58e+08 Transitions= 8.38296e+08 Memory= 9261.915 
Depth=  597084 States= 3.59e+08 Transitions= 8.40538e+08 Memory= 9284.767 
Depth=  597084 States= 3.6e+08 Transitions= 8.43107e+08 Memory= 9307.716 
Depth=  597084 States= 3.61e+08 Transitions= 8.45757e+08 Memory= 9330.568 
Depth=  597084 States= 3.62e+08 Transitions= 8.47979e+08 Memory= 9353.419 
Depth=  597084 States= 3.63e+08 Transitions= 8.50198e+08 Memory= 9376.368 
Depth=  597084 States= 3.64e+08 Transitions= 8.5242e+08 Memory= 9399.220 
Depth=  597084 States= 3.65e+08 Transitions= 8.54637e+08 Memory= 9422.169 
Depth=  597084 States= 3.66e+08 Transitions= 8.56899e+08 Memory= 9445.021 
Depth=  597084 States= 3.67e+08 Transitions= 8.59748e+08 Memory= 9467.970 
Depth=  597084 States= 3.68e+08 Transitions= 8.62377e+08 Memory= 9490.821 
Depth=  597084 States= 3.69e+08 Transitions= 8.64641e+08 Memory= 9513.673 
Depth=  597084 States= 3.7e+08 Transitions= 8.66883e+08 Memory= 9536.622 
Depth=  597084 States= 3.71e+08 Transitions= 8.6912e+08 Memory= 9559.474 
Depth=  597084 States= 3.72e+08 Transitions= 8.71362e+08 Memory= 9582.423 
Depth=  597084 States= 3.73e+08 Transitions= 8.73603e+08 Memory= 9605.275 
Depth=  597084 States= 3.74e+08 Transitions= 8.76117e+08 Memory= 9628.126 
Depth=  597084 States= 3.75e+08 Transitions= 8.78824e+08 Memory= 9651.075 
Depth=  597084 States= 3.76e+08 Transitions= 8.81047e+08 Memory= 9673.927 
Depth=  597084 States= 3.77e+08 Transitions= 8.83264e+08 Memory= 9696.876 
Depth=  597084 States= 3.78e+08 Transitions= 8.85487e+08 Memory= 9719.728 
Depth=  597084 States= 3.79e+08 Transitions= 8.87704e+08 Memory= 9742.579 
Depth=  597084 States= 3.8e+08 Transitions= 8.89927e+08 Memory= 9765.528 
Depth=  597084 States= 3.81e+08 Transitions= 8.92781e+08 Memory= 9788.380 
Depth=  597084 States= 3.82e+08 Transitions= 8.95409e+08 Memory= 9811.329 
Depth=  597084 States= 3.83e+08 Transitions= 8.97706e+08 Memory= 9834.181 
Depth=  597084 States= 3.84e+08 Transitions= 8.99948e+08 Memory= 9857.130 
Depth=  597084 States= 3.85e+08 Transitions= 9.02189e+08 Memory= 9879.982 
Depth=  597084 States= 3.86e+08 Transitions= 9.04425e+08 Memory= 9902.833 
Depth=  597084 States= 3.87e+08 Transitions= 9.06668e+08 Memory= 9925.782 
Depth=  597084 States= 3.88e+08 Transitions= 9.09128e+08 Memory= 9948.634 
Depth=  597084 States= 3.89e+08 Transitions= 9.1189e+08 Memory= 9971.583 
Depth=  597084 States= 3.9e+08 Transitions= 9.14113e+08 Memory= 9994.435 
Depth=  597084 States= 3.91e+08 Transitions= 9.16333e+08 Memory= 10017.286
Depth=  597084 States= 3.92e+08 Transitions= 9.18553e+08 Memory= 10040.235
Depth=  597084 States= 3.93e+08 Transitions= 9.20773e+08 Memory= 10063.087
Depth=  597084 States= 3.94e+08 Transitions= 9.22994e+08 Memory= 10086.036
Depth=  597084 States= 3.95e+08 Transitions= 9.25813e+08 Memory= 10108.888
Depth=  597084 States= 3.96e+08 Transitions= 9.28324e+08 Memory= 10131.739
Depth=  597084 States= 3.97e+08 Transitions= 9.3056e+08 Memory= 10154.689
Depth=  597084 States= 3.98e+08 Transitions= 9.32802e+08 Memory= 10177.540
Depth=  597084 States= 3.99e+08 Transitions= 9.35044e+08 Memory= 10200.489
Depth=  597084 States=   4e+08 Transitions= 9.37282e+08 Memory= 10223.341
Depth=  597084 States= 4.01e+08 Transitions= 9.39521e+08 Memory= 10246.290
Depth=  597084 States= 4.02e+08 Transitions= 9.42329e+08 Memory= 10269.142
Depth=  597084 States= 4.03e+08 Transitions= 9.44991e+08 Memory= 10291.993
Depth=  597084 States= 4.04e+08 Transitions= 9.47484e+08 Memory= 10314.943
Depth=  597084 States= 4.05e+08 Transitions= 9.49723e+08 Memory= 10337.794
Depth=  597084 States= 4.06e+08 Transitions= 9.51964e+08 Memory= 10360.743
Depth=  597084 States= 4.07e+08 Transitions= 9.54206e+08 Memory= 10383.595
Depth=  597084 States= 4.08e+08 Transitions= 9.56442e+08 Memory= 10406.446
Depth=  597084 States= 4.09e+08 Transitions= 9.58685e+08 Memory= 10429.396
Depth=  597084 States= 4.1e+08 Transitions= 9.61518e+08 Memory= 10452.247
Depth=  597084 States= 4.11e+08 Transitions= 9.639e+08 Memory= 10475.196
Depth=  597084 States= 4.12e+08 Transitions= 9.66117e+08 Memory= 10498.048
Depth=  597084 States= 4.13e+08 Transitions= 9.6834e+08 Memory= 10520.900
Depth=  597084 States= 4.14e+08 Transitions= 9.70559e+08 Memory= 10543.849
Depth=  597084 States= 4.15e+08 Transitions= 9.7278e+08 Memory= 10566.700
Depth=  597084 States= 4.16e+08 Transitions= 9.7531e+08 Memory= 10589.650
Depth=  597084 States= 4.17e+08 Transitions= 9.78029e+08 Memory= 10612.501
Depth=  597084 States= 4.18e+08 Transitions= 9.80552e+08 Memory= 10635.450
Depth=  597084 States= 4.19e+08 Transitions= 9.82789e+08 Memory= 10658.302
Depth=  597084 States= 4.2e+08 Transitions= 9.8503e+08 Memory= 10681.153
Depth=  597084 States= 4.21e+08 Transitions= 9.87272e+08 Memory= 10704.103
Depth=  597084 States= 4.22e+08 Transitions= 9.89512e+08 Memory= 10726.954
Depth=  597084 States= 4.23e+08 Transitions= 9.91749e+08 Memory= 10749.903
Depth=  597084 States= 4.24e+08 Transitions= 9.94528e+08 Memory= 10772.755
Depth=  597084 States= 4.25e+08 Transitions= 9.96967e+08 Memory= 10795.607
Depth=  597084 States= 4.26e+08 Transitions= 9.99187e+08 Memory= 10818.556
Depth=  597084 States= 4.27e+08 Transitions= 1.00141e+09 Memory= 10841.407
Depth=  597084 States= 4.28e+08 Transitions= 1.00363e+09 Memory= 10864.357
Depth=  597084 States= 4.29e+08 Transitions= 1.00585e+09 Memory= 10887.208
Depth=  597084 States= 4.3e+08 Transitions= 1.00832e+09 Memory= 10910.060
Depth=  597084 States= 4.31e+08 Transitions= 1.01108e+09 Memory= 10933.009
Depth=  597084 States= 4.32e+08 Transitions= 1.0134e+09 Memory= 10955.860
Depth=  597084 States= 4.33e+08 Transitions= 1.01565e+09 Memory= 10978.810
Depth=  597084 States= 4.34e+08 Transitions= 1.01788e+09 Memory= 11001.661
Depth=  597084 States= 4.35e+08 Transitions= 1.02013e+09 Memory= 11024.610
Depth=  597084 States= 4.36e+08 Transitions= 1.02237e+09 Memory= 11047.462
Depth=  597084 States= 4.37e+08 Transitions= 1.02479e+09 Memory= 11070.314
Depth=  597084 States= 4.38e+08 Transitions= 1.02763e+09 Memory= 11093.263
Depth=  597084 States= 4.39e+08 Transitions= 1.03026e+09 Memory= 11116.114
Depth=  597084 States= 4.4e+08 Transitions= 1.03257e+09 Memory= 11139.064
Depth=  597084 States= 4.41e+08 Transitions= 1.03481e+09 Memory= 11161.915
Depth=  597084 States= 4.42e+08 Transitions= 1.03705e+09 Memory= 11184.767
Depth=  597084 States= 4.43e+08 Transitions= 1.03929e+09 Memory= 11207.716
Depth=  597084 States= 4.44e+08 Transitions= 1.04153e+09 Memory= 11230.568
Depth=  597084 States= 4.45e+08 Transitions= 1.04397e+09 Memory= 11253.517
Depth=  597084 States= 4.46e+08 Transitions= 1.04675e+09 Memory= 11276.368
Depth=  597084 States= 4.47e+08 Transitions= 1.04897e+09 Memory= 11299.220
Depth=  597084 States= 4.48e+08 Transitions= 1.05119e+09 Memory= 11322.169
Depth=  597084 States= 4.49e+08 Transitions= 1.05341e+09 Memory= 11345.021
Depth=  597084 States= 4.5e+08 Transitions= 1.05563e+09 Memory= 11367.970
Depth=  597084 States= 4.51e+08 Transitions= 1.05786e+09 Memory= 11390.821
Depth=  597084 States= 4.52e+08 Transitions= 1.06067e+09 Memory= 11413.771
Depth=  597084 States= 4.53e+08 Transitions= 1.0633e+09 Memory= 11436.622
Depth=  597084 States= 4.54e+08 Transitions= 1.06563e+09 Memory= 11459.474
Depth=  597084 States= 4.55e+08 Transitions= 1.06788e+09 Memory= 11482.423
Depth=  597084 States= 4.56e+08 Transitions= 1.07011e+09 Memory= 11505.275
Depth=  597084 States= 4.57e+08 Transitions= 1.07235e+09 Memory= 11528.224
Depth=  597084 States= 4.58e+08 Transitions= 1.0746e+09 Memory= 11551.075
Depth=  597084 States= 4.59e+08 Transitions= 1.07699e+09 Memory= 11573.927
Depth=  597084 States= 4.6e+08 Transitions= 1.07982e+09 Memory= 11596.876
Depth=  597084 States= 4.61e+08 Transitions= 1.08204e+09 Memory= 11619.728
Depth=  597084 States= 4.62e+08 Transitions= 1.08426e+09 Memory= 11642.677
Depth=  597084 States= 4.63e+08 Transitions= 1.08648e+09 Memory= 11665.528
Depth=  597084 States= 4.64e+08 Transitions= 1.0887e+09 Memory= 11688.380
Depth=  597084 States= 4.65e+08 Transitions= 1.09092e+09 Memory= 11711.329
Depth=  597084 States= 4.66e+08 Transitions= 1.09372e+09 Memory= 11734.181
Depth=  597084 States= 4.67e+08 Transitions= 1.09625e+09 Memory= 11757.130
Depth=  597084 States= 4.68e+08 Transitions= 1.09849e+09 Memory= 11779.982
Depth=  597084 States= 4.69e+08 Transitions= 1.10073e+09 Memory= 11802.931
Depth=  597084 States= 4.7e+08 Transitions= 1.10297e+09 Memory= 11825.782
Depth=  597084 States= 4.71e+08 Transitions= 1.10521e+09 Memory= 11848.634
Depth=  597084 States= 4.72e+08 Transitions= 1.10745e+09 Memory= 11871.583
Depth=  597084 States= 4.73e+08 Transitions= 1.11019e+09 Memory= 11894.435
Depth=  597084 States= 4.74e+08 Transitions= 1.1129e+09 Memory= 11917.384
Depth=  597084 States= 4.75e+08 Transitions= 1.1152e+09 Memory= 11940.235
Depth=  597084 States= 4.76e+08 Transitions= 1.11744e+09 Memory= 11963.087
Depth=  597084 States= 4.77e+08 Transitions= 1.11968e+09 Memory= 11986.036
Depth=  597084 States= 4.78e+08 Transitions= 1.12192e+09 Memory= 12008.888
Depth=  597084 States= 4.79e+08 Transitions= 1.12416e+09 Memory= 12031.837
Depth=  597084 States= 4.8e+08 Transitions= 1.12662e+09 Memory= 12054.689
Depth=  597084 States= 4.81e+08 Transitions= 1.12947e+09 Memory= 12077.540
Depth=  597084 States= 4.82e+08 Transitions= 1.13191e+09 Memory= 12100.489
Depth=  597084 States= 4.83e+08 Transitions= 1.13415e+09 Memory= 12123.341
Depth=  597084 States= 4.84e+08 Transitions= 1.13639e+09 Memory= 12146.290
Depth=  597084 States= 4.85e+08 Transitions= 1.13863e+09 Memory= 12169.142
Depth=  597084 States= 4.86e+08 Transitions= 1.14087e+09 Memory= 12192.091
Depth=  597084 States= 4.87e+08 Transitions= 1.14311e+09 Memory= 12214.943
Depth=  597084 States= 4.88e+08 Transitions= 1.14603e+09 Memory= 12237.794
Depth=  597084 States= 4.89e+08 Transitions= 1.14862e+09 Memory= 12260.743
Depth=  597084 States= 4.9e+08 Transitions= 1.15086e+09 Memory= 12283.595
Depth=  597084 States= 4.91e+08 Transitions= 1.1531e+09 Memory= 12306.544
Depth=  597084 States= 4.92e+08 Transitions= 1.15534e+09 Memory= 12329.396
Depth=  597084 States= 4.93e+08 Transitions= 1.15758e+09 Memory= 12352.247
Depth=  597084 States= 4.94e+08 Transitions= 1.15982e+09 Memory= 12375.196
Depth=  597084 States= 4.95e+08 Transitions= 1.1625e+09 Memory= 12398.048
Depth=  597084 States= 4.96e+08 Transitions= 1.16521e+09 Memory= 12420.997
Depth=  597084 States= 4.97e+08 Transitions= 1.16778e+09 Memory= 12443.849
Depth=  597084 States= 4.98e+08 Transitions= 1.17002e+09 Memory= 12466.700
Depth=  597084 States= 4.99e+08 Transitions= 1.17226e+09 Memory= 12489.650
Depth=  597084 States=   5e+08 Transitions= 1.1745e+09 Memory= 12512.501
Depth=  597084 States= 5.01e+08 Transitions= 1.17674e+09 Memory= 12535.450
Depth=  597084 States= 5.02e+08 Transitions= 1.17898e+09 Memory= 12558.302
Depth=  597084 States= 5.03e+08 Transitions= 1.18163e+09 Memory= 12581.251
Depth=  597084 States= 5.04e+08 Transitions= 1.1842e+09 Memory= 12604.103
Depth=  597084 States= 5.05e+08 Transitions= 1.18642e+09 Memory= 12626.954
Depth=  597084 States= 5.06e+08 Transitions= 1.18865e+09 Memory= 12649.903
Depth=  597084 States= 5.07e+08 Transitions= 1.19086e+09 Memory= 12672.755
Depth=  597084 States= 5.08e+08 Transitions= 1.19309e+09 Memory= 12695.704
Depth=  597084 States= 5.09e+08 Transitions= 1.19542e+09 Memory= 12718.556
Depth=  597084 States= 5.1e+08 Transitions= 1.19824e+09 Memory= 12741.407
Depth=  597084 States= 5.11e+08 Transitions= 1.20064e+09 Memory= 12764.357
Depth=  597084 States= 5.12e+08 Transitions= 1.20288e+09 Memory= 12787.208
Depth=  597084 States= 5.13e+08 Transitions= 1.20512e+09 Memory= 12810.157
Depth=  597084 States= 5.14e+08 Transitions= 1.20736e+09 Memory= 12833.009
Depth=  597084 States= 5.15e+08 Transitions= 1.2096e+09 Memory= 12855.860
Depth=  597084 States= 5.16e+08 Transitions= 1.21189e+09 Memory= 12878.810
Depth=  597084 States= 5.17e+08 Transitions= 1.21483e+09 Memory= 12901.661
Depth=  597084 States= 5.18e+08 Transitions= 1.21735e+09 Memory= 12924.610
Depth=  597084 States= 5.19e+08 Transitions= 1.21959e+09 Memory= 12947.462
Depth=  597084 States= 5.2e+08 Transitions= 1.22183e+09 Memory= 12970.411
Depth=  597084 States= 5.21e+08 Transitions= 1.22407e+09 Memory= 12993.263
Depth=  597084 States= 5.22e+08 Transitions= 1.22631e+09 Memory= 13016.114
Depth=  597084 States= 5.23e+08 Transitions= 1.22855e+09 Memory= 13039.064
Depth=  597084 States= 5.24e+08 Transitions= 1.23127e+09 Memory= 13061.915
Depth=  597084 States= 5.25e+08 Transitions= 1.23401e+09 Memory= 13084.864
Depth=  597084 States= 5.26e+08 Transitions= 1.2363e+09 Memory= 13107.716
Depth=  597084 States= 5.27e+08 Transitions= 1.23854e+09 Memory= 13130.568
Depth=  597084 States= 5.28e+08 Transitions= 1.24078e+09 Memory= 13153.517
Depth=  597084 States= 5.29e+08 Transitions= 1.24302e+09 Memory= 13176.368
Depth=  597084 States= 5.3e+08 Transitions= 1.24526e+09 Memory= 13199.318
Depth=  597084 States= 5.31e+08 Transitions= 1.24773e+09 Memory= 13222.169
Depth=  597084 States= 5.32e+08 Transitions= 1.25051e+09 Memory= 13245.021
Depth=  597084 States= 5.33e+08 Transitions= 1.25301e+09 Memory= 13267.970
Depth=  597084 States= 5.34e+08 Transitions= 1.25525e+09 Memory= 13290.821
Depth=  597084 States= 5.35e+08 Transitions= 1.25749e+09 Memory= 13313.771
Depth=  597084 States= 5.36e+08 Transitions= 1.25973e+09 Memory= 13336.622
Depth=  597084 States= 5.37e+08 Transitions= 1.26197e+09 Memory= 13359.571
Depth=  597084 States= 5.38e+08 Transitions= 1.26421e+09 Memory= 13382.423
Depth=  597084 States= 5.39e+08 Transitions= 1.26703e+09 Memory= 13405.275
Depth=  597084 States= 5.4e+08 Transitions= 1.26972e+09 Memory= 13428.224
Depth=  597084 States= 5.41e+08 Transitions= 1.27196e+09 Memory= 13451.075
Depth=  597084 States= 5.42e+08 Transitions= 1.2742e+09 Memory= 13474.025
Depth=  597084 States= 5.43e+08 Transitions= 1.27644e+09 Memory= 13496.876
Depth=  597084 States= 5.44e+08 Transitions= 1.27868e+09 Memory= 13519.728
Depth=  597084 States= 5.45e+08 Transitions= 1.28092e+09 Memory= 13542.677
Depth=  597084 States= 5.46e+08 Transitions= 1.28349e+09 Memory= 13565.528
Depth=  597084 States= 5.47e+08 Transitions= 1.28615e+09 Memory= 13588.478
Depth=  597084 States= 5.48e+08 Transitions= 1.28867e+09 Memory= 13611.329
Depth=  597084 States= 5.49e+08 Transitions= 1.29091e+09 Memory= 13634.181
Depth=  597084 States= 5.5e+08 Transitions= 1.29315e+09 Memory= 13657.130
Depth=  597084 States= 5.51e+08 Transitions= 1.29539e+09 Memory= 13679.982
Depth=  597084 States= 5.52e+08 Transitions= 1.29763e+09 Memory= 13702.931
Depth=  597084 States= 5.53e+08 Transitions= 1.29987e+09 Memory= 13725.782
Depth=  597084 States= 5.54e+08 Transitions= 1.30265e+09 Memory= 13748.732
Depth=  597084 States= 5.55e+08 Transitions= 1.30509e+09 Memory= 13771.583
Depth=  597084 States= 5.56e+08 Transitions= 1.30731e+09 Memory= 13794.435
Depth=  597084 States= 5.57e+08 Transitions= 1.30954e+09 Memory= 13817.384
Depth=  597084 States= 5.58e+08 Transitions= 1.31176e+09 Memory= 13840.235
Depth=  597084 States= 5.59e+08 Transitions= 1.31398e+09 Memory= 13863.185
Depth=  597084 States= 5.6e+08 Transitions= 1.3162e+09 Memory= 13886.036
Depth=  597084 States= 5.61e+08 Transitions= 1.31842e+09 Memory= 13908.888
Depth=  597084 States= 5.62e+08 Transitions= 1.32065e+09 Memory= 13931.837
Depth=  597084 States= 5.63e+08 Transitions= 1.32287e+09 Memory= 13954.689
Depth=  597084 States= 5.64e+08 Transitions= 1.32509e+09 Memory= 13977.638
Depth=  597084 States= 5.65e+08 Transitions= 1.32732e+09 Memory= 14000.489
Depth=  597084 States= 5.66e+08 Transitions= 1.32954e+09 Memory= 14023.341
Depth=  597084 States= 5.67e+08 Transitions= 1.33176e+09 Memory= 14046.290
Depth=  597084 States= 5.68e+08 Transitions= 1.33399e+09 Memory= 14069.142
Depth=  597084 States= 5.69e+08 Transitions= 1.33621e+09 Memory= 14092.091
Depth=  597084 States= 5.7e+08 Transitions= 1.33843e+09 Memory= 14114.943
Depth=  597084 States= 5.71e+08 Transitions= 1.34066e+09 Memory= 14137.892
Depth=  597084 States= 5.72e+08 Transitions= 1.34288e+09 Memory= 14160.743
Depth=  597084 States= 5.73e+08 Transitions= 1.3451e+09 Memory= 14183.595
Depth=  597084 States= 5.74e+08 Transitions= 1.34732e+09 Memory= 14206.544
Depth=  597084 States= 5.75e+08 Transitions= 1.34954e+09 Memory= 14229.396
Depth=  597084 States= 5.76e+08 Transitions= 1.35177e+09 Memory= 14252.345
Depth=  597084 States= 5.77e+08 Transitions= 1.35399e+09 Memory= 14275.196
Depth=  597084 States= 5.78e+08 Transitions= 1.35621e+09 Memory= 14298.048
Depth=  597084 States= 5.79e+08 Transitions= 1.35844e+09 Memory= 14320.997
Depth=  597084 States= 5.8e+08 Transitions= 1.36066e+09 Memory= 14343.849
Depth=  597084 States= 5.81e+08 Transitions= 1.36288e+09 Memory= 14366.798
Depth=  597084 States= 5.82e+08 Transitions= 1.36511e+09 Memory= 14389.650
Depth=  597084 States= 5.83e+08 Transitions= 1.36733e+09 Memory= 14412.501
Depth=  597084 States= 5.84e+08 Transitions= 1.36955e+09 Memory= 14435.450
Depth=  597084 States= 5.85e+08 Transitions= 1.37178e+09 Memory= 14458.302
Depth=  597084 States= 5.86e+08 Transitions= 1.374e+09 Memory= 14481.251
Depth=  597084 States= 5.87e+08 Transitions= 1.37622e+09 Memory= 14504.103
Depth=  597084 States= 5.88e+08 Transitions= 1.37844e+09 Memory= 14527.052
Depth=  597084 States= 5.89e+08 Transitions= 1.38066e+09 Memory= 14549.903
Depth=  597084 States= 5.9e+08 Transitions= 1.38289e+09 Memory= 14572.755
Depth=  597084 States= 5.91e+08 Transitions= 1.38511e+09 Memory= 14595.704
Depth=  597084 States= 5.92e+08 Transitions= 1.38733e+09 Memory= 14618.556
Depth=  597084 States= 5.93e+08 Transitions= 1.38956e+09 Memory= 14641.505
Depth=  597084 States= 5.94e+08 Transitions= 1.39178e+09 Memory= 14664.357
Depth=  597084 States= 5.95e+08 Transitions= 1.394e+09 Memory= 14687.208
Depth=  597084 States= 5.96e+08 Transitions= 1.39623e+09 Memory= 14710.157
Depth=  597084 States= 5.97e+08 Transitions= 1.39845e+09 Memory= 14733.009
Depth=  597084 States= 5.98e+08 Transitions= 1.40067e+09 Memory= 14755.958
Depth=  597084 States= 5.99e+08 Transitions= 1.40289e+09 Memory= 14778.810
Depth=  597084 States=   6e+08 Transitions= 1.40512e+09 Memory= 14801.661
Depth=  597084 States= 6.01e+08 Transitions= 1.40734e+09 Memory= 14824.610
(Spin Version 5.0.0 -- 12 May 2007)
	+ Partial Order Reduction

Hash-Compact 4 search for:
	never claim         	- (none specified)
	assertion violations	+
	cycle checks       	- (disabled by -DSAFETY)
	invalid end states	+

State-vector 964 byte, depth reached 597084, errors: 0
6.0178038e+08 states, stored
8.0729191e+08 states, matched
1.4090723e+09 transitions (= stored+matched)
3.0860834e+08 atomic steps
hash conflicts: 1.426148e+09 (resolved)

Stats on memory usage (in Megabytes):
560128.833	equivalent memory usage for states (stored*(State-vector + overhead))
13779.935	actual memory usage for states (compression: 2.46%)
         	state-vector as stored = 12 byte + 12 byte overhead
1024.000 	memory used for hash table (-w27)
27.466   	memory used for DFS stack (-m600000)
8.853    	other (proc and chan stacks)
2.227    	memory lost to fragmentation
14842.482	total actual memory usage


pan: elapsed time 2.14e+03 seconds
pan: rate 280833.09 states/second