projects / urcu.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
hash table comment fix.
[urcu.git] / formal-model / urcu-nosched-model / result-signal-over-writer / urcu_free_nested.log
CommitLineData
06e8b2a8
MD		 1make[1]: Entering directory `/home/compudj/doc/userspace-rcu/formal-model/urcu'
2rm -f pan* trail.out .input.spin* *.spin.trail .input.define
3touch .input.define
4cat .input.define >> pan.ltl
5cat DEFINES >> pan.ltl
6spin -f "!(`cat urcu_free.ltl | grep -v ^//`)" >> pan.ltl
7cp urcu_free_nested.define .input.define
8cat .input.define > .input.spin
9cat DEFINES >> .input.spin
10cat urcu.spin >> .input.spin
11rm -f .input.spin.trail
12spin -a -X -N pan.ltl .input.spin
13Exit-Status 0
14gcc -w -DHASH64 -o pan pan.c
15./pan -a -v -c1 -X -m10000000 -w20
16warning: for p.o. reduction to be valid the never claim must be stutter-invariant
17(never claims generated from LTL formulae are stutter-invariant)
18depth 0: Claim reached state 5 (line 715)
19Depth= 22961 States= 1e+06 Transitions= 8.79e+06 Memory= 535.002 t= 17.2 R= 6e+04
20Depth= 22961 States= 2e+06 Transitions= 1.79e+07 Memory= 603.654 t= 34.7 R= 6e+04
21Depth= 25030 States= 3e+06 Transitions= 2.69e+07 Memory= 672.404 t= 52.6 R= 6e+04
22pan: resizing hashtable to -w22.. done
23Depth= 25030 States= 4e+06 Transitions= 3.73e+07 Memory= 772.080 t= 74.4 R= 5e+04
24Depth= 25030 States= 5e+06 Transitions= 4.77e+07 Memory= 840.830 t= 96.2 R= 5e+04
25Depth= 25030 States= 6e+06 Transitions= 5.45e+07 Memory= 909.483 t= 110 R= 5e+04
26Depth= 25030 States= 7e+06 Transitions= 6.05e+07 Memory= 978.135 t= 122 R= 6e+04
27Depth= 25030 States= 8e+06 Transitions= 6.68e+07 Memory= 1046.787 t= 135 R= 6e+04
28Depth= 25030 States= 9e+06 Transitions= 7.29e+07 Memory= 1115.537 t= 148 R= 6e+04
29pan: resizing hashtable to -w24.. done
30Depth= 25030 States= 1e+07 Transitions= 7.91e+07 Memory= 1308.283 t= 162 R= 6e+04
31Depth= 25030 States= 1.1e+07 Transitions= 8.5e+07 Memory= 1376.936 t= 174 R= 6e+04
32Depth= 25030 States= 1.2e+07 Transitions= 9.12e+07 Memory= 1445.588 t= 186 R= 6e+04
33Depth= 25030 States= 1.3e+07 Transitions= 9.79e+07 Memory= 1514.240 t= 200 R= 7e+04
34Depth= 25030 States= 1.4e+07 Transitions= 1.09e+08 Memory= 1582.990 t= 222 R= 6e+04
35Depth= 25030 States= 1.5e+07 Transitions= 1.18e+08 Memory= 1651.643 t= 240 R= 6e+04
36Depth= 25030 States= 1.6e+07 Transitions= 1.27e+08 Memory= 1720.295 t= 258 R= 6e+04
37Depth= 25030 States= 1.7e+07 Transitions= 1.36e+08 Memory= 1788.947 t= 276 R= 6e+04
38Depth= 25030 States= 1.8e+07 Transitions= 1.44e+08 Memory= 1857.697 t= 292 R= 6e+04
39Depth= 25030 States= 1.9e+07 Transitions= 1.54e+08 Memory= 1926.350 t= 313 R= 6e+04
40Depth= 25030 States= 2e+07 Transitions= 1.64e+08 Memory= 1995.002 t= 333 R= 6e+04
41Depth= 25104 States= 2.1e+07 Transitions= 1.73e+08 Memory= 2063.654 t= 350 R= 6e+04
42Depth= 25104 States= 2.2e+07 Transitions= 1.83e+08 Memory= 2132.404 t= 370 R= 6e+04
43Depth= 25104 States= 2.3e+07 Transitions= 1.89e+08 Memory= 2201.057 t= 384 R= 6e+04
44Depth= 25152 States= 2.4e+07 Transitions= 1.98e+08 Memory= 2269.709 t= 402 R= 6e+04
45Depth= 25152 States= 2.5e+07 Transitions= 2.08e+08 Memory= 2338.361 t= 421 R= 6e+04
46Depth= 25152 States= 2.6e+07 Transitions= 2.15e+08 Memory= 2407.111 t= 436 R= 6e+04
47Depth= 25152 States= 2.7e+07 Transitions= 2.24e+08 Memory= 2475.764 t= 454 R= 6e+04
48Depth= 25152 States= 2.8e+07 Transitions= 2.33e+08 Memory= 2544.416 t= 471 R= 6e+04
49Depth= 25152 States= 2.9e+07 Transitions= 2.42e+08 Memory= 2613.068 t= 490 R= 6e+04
50Depth= 32255 States= 3e+07 Transitions= 2.5e+08 Memory= 2681.818 t= 506 R= 6e+04
51Depth= 33413 States= 3.1e+07 Transitions= 2.61e+08 Memory= 2750.471 t= 530 R= 6e+04
52Depth= 33413 States= 3.2e+07 Transitions= 2.73e+08 Memory= 2819.123 t= 555 R= 6e+04
53Depth= 33413 States= 3.3e+07 Transitions= 2.83e+08 Memory= 2887.873 t= 576 R= 6e+04
54Depth= 33413 States= 3.4e+07 Transitions= 2.94e+08 Memory= 2956.526 t= 598 R= 6e+04
55pan: resizing hashtable to -w26.. done
56Depth= 33413 States= 3.5e+07 Transitions= 3.03e+08 Memory= 3521.260 t= 624 R= 6e+04
57Depth= 33413 States= 3.6e+07 Transitions= 3.15e+08 Memory= 3589.912 t= 648 R= 6e+04
58Depth= 33413 States= 3.7e+07 Transitions= 3.25e+08 Memory= 3658.565 t= 667 R= 6e+04
59Depth= 33413 States= 3.8e+07 Transitions= 3.34e+08 Memory= 3727.315 t= 687 R= 6e+04
60Depth= 33413 States= 3.9e+07 Transitions= 3.4e+08 Memory= 3795.967 t= 699 R= 6e+04
61Depth= 33413 States= 4e+07 Transitions= 3.48e+08 Memory= 3864.619 t= 715 R= 6e+04
62Depth= 33413 States= 4.1e+07 Transitions= 3.58e+08 Memory= 3933.272 t= 735 R= 6e+04
63Depth= 33413 States= 4.2e+07 Transitions= 3.64e+08 Memory= 4002.022 t= 747 R= 6e+04
64Depth= 33413 States= 4.3e+07 Transitions= 3.72e+08 Memory= 4070.674 t= 762 R= 6e+04
65Depth= 33413 States= 4.4e+07 Transitions= 3.82e+08 Memory= 4139.326 t= 783 R= 6e+04
66Depth= 33413 States= 4.5e+07 Transitions= 3.89e+08 Memory= 4207.979 t= 799 R= 6e+04
67Depth= 33413 States= 4.6e+07 Transitions= 3.95e+08 Memory= 4276.631 t= 810 R= 6e+04
68Depth= 33413 States= 4.7e+07 Transitions= 4.01e+08 Memory= 4345.381 t= 823 R= 6e+04
69Depth= 33413 States= 4.8e+07 Transitions= 4.07e+08 Memory= 4414.033 t= 835 R= 6e+04
70Depth= 33413 States= 4.9e+07 Transitions= 4.16e+08 Memory= 4482.686 t= 852 R= 6e+04
71Depth= 33413 States= 5e+07 Transitions= 4.25e+08 Memory= 4551.338 t= 871 R= 6e+04
72Depth= 33413 States= 5.1e+07 Transitions= 4.31e+08 Memory= 4620.088 t= 883 R= 6e+04
73Depth= 33413 States= 5.2e+07 Transitions= 4.37e+08 Memory= 4688.740 t= 896 R= 6e+04
74Depth= 33413 States= 5.3e+07 Transitions= 4.43e+08 Memory= 4757.393 t= 907 R= 6e+04
75Depth= 33413 States= 5.4e+07 Transitions= 4.5e+08 Memory= 4826.045 t= 922 R= 6e+04
76Depth= 33413 States= 5.5e+07 Transitions= 4.62e+08 Memory= 4894.795 t= 947 R= 6e+04
77Depth= 33413 States= 5.6e+07 Transitions= 4.71e+08 Memory= 4963.447 t= 966 R= 6e+04
78Depth= 33413 States= 5.7e+07 Transitions= 4.81e+08 Memory= 5032.100 t= 987 R= 6e+04
79Depth= 33413 States= 5.8e+07 Transitions= 4.92e+08 Memory= 5100.752 t= 1.01e+03 R= 6e+04
80Depth= 33413 States= 5.9e+07 Transitions= 5.05e+08 Memory= 5169.502 t= 1.03e+03 R= 6e+04
81Depth= 33413 States= 6e+07 Transitions= 5.18e+08 Memory= 5238.154 t= 1.06e+03 R= 6e+04
82Depth= 33413 States= 6.1e+07 Transitions= 5.27e+08 Memory= 5306.807 t= 1.08e+03 R= 6e+04
83Depth= 33413 States= 6.2e+07 Transitions= 5.37e+08 Memory= 5375.459 t= 1.1e+03 R= 6e+04
84Depth= 33413 States= 6.3e+07 Transitions= 5.47e+08 Memory= 5444.111 t= 1.12e+03 R= 6e+04
85Depth= 33413 States= 6.4e+07 Transitions= 5.54e+08 Memory= 5512.861 t= 1.13e+03 R= 6e+04
86Depth= 33413 States= 6.5e+07 Transitions= 5.6e+08 Memory= 5581.514 t= 1.14e+03 R= 6e+04
87Depth= 33413 States= 6.6e+07 Transitions= 5.66e+08 Memory= 5650.166 t= 1.16e+03 R= 6e+04
88Depth= 33413 States= 6.7e+07 Transitions= 5.73e+08 Memory= 5718.818 t= 1.17e+03 R= 6e+04
89Depth= 33413 States= 6.8e+07 Transitions= 5.82e+08 Memory= 5787.568 t= 1.19e+03 R= 6e+04
90Depth= 33413 States= 6.9e+07 Transitions= 5.9e+08 Memory= 5856.221 t= 1.21e+03 R= 6e+04
91Depth= 33413 States= 7e+07 Transitions= 5.99e+08 Memory= 5924.873 t= 1.22e+03 R= 6e+04
92Depth= 33413 States= 7.1e+07 Transitions= 6.08e+08 Memory= 5993.526 t= 1.24e+03 R= 6e+04
93Depth= 33413 States= 7.2e+07 Transitions= 6.18e+08 Memory= 6062.276 t= 1.26e+03 R= 6e+04
94Depth= 33413 States= 7.3e+07 Transitions= 6.27e+08 Memory= 6130.928 t= 1.28e+03 R= 6e+04
95Depth= 33413 States= 7.4e+07 Transitions= 6.33e+08 Memory= 6199.580 t= 1.29e+03 R= 6e+04
96Depth= 33413 States= 7.5e+07 Transitions= 6.39e+08 Memory= 6268.233 t= 1.31e+03 R= 6e+04
97Depth= 33413 States= 7.6e+07 Transitions= 6.45e+08 Memory= 6336.983 t= 1.32e+03 R= 6e+04
98Depth= 33413 States= 7.7e+07 Transitions= 6.55e+08 Memory= 6405.635 t= 1.34e+03 R= 6e+04
99Depth= 33413 States= 7.8e+07 Transitions= 6.61e+08 Memory= 6474.287 t= 1.35e+03 R= 6e+04
100Depth= 33413 States= 7.9e+07 Transitions= 6.71e+08 Memory= 6542.940 t= 1.37e+03 R= 6e+04
101Depth= 33413 States= 8e+07 Transitions= 6.77e+08 Memory= 6611.592 t= 1.38e+03 R= 6e+04
102Depth= 33413 States= 8.1e+07 Transitions= 6.83e+08 Memory= 6680.342 t= 1.4e+03 R= 6e+04
103Depth= 33413 States= 8.2e+07 Transitions= 6.91e+08 Memory= 6748.994 t= 1.41e+03 R= 6e+04
104Depth= 33413 States= 8.3e+07 Transitions= 6.97e+08 Memory= 6817.647 t= 1.43e+03 R= 6e+04
105Depth= 33413 States= 8.4e+07 Transitions= 7.06e+08 Memory= 6886.299 t= 1.44e+03 R= 6e+04
106Depth= 33413 States= 8.5e+07 Transitions= 7.15e+08 Memory= 6955.049 t= 1.46e+03 R= 6e+04
107Depth= 33413 States= 8.6e+07 Transitions= 7.24e+08 Memory= 7023.701 t= 1.48e+03 R= 6e+04
108Depth= 33413 States= 8.7e+07 Transitions= 7.35e+08 Memory= 7092.354 t= 1.5e+03 R= 6e+04
109Depth= 33413 States= 8.8e+07 Transitions= 7.46e+08 Memory= 7161.006 t= 1.52e+03 R= 6e+04
110Depth= 33413 States= 8.9e+07 Transitions= 7.61e+08 Memory= 7229.756 t= 1.56e+03 R= 6e+04
111Depth= 33413 States= 9e+07 Transitions= 7.83e+08 Memory= 7298.408 t= 1.6e+03 R= 6e+04
112Depth= 33413 States= 9.1e+07 Transitions= 7.97e+08 Memory= 7367.061 t= 1.63e+03 R= 6e+04
113Depth= 33413 States= 9.2e+07 Transitions= 8.12e+08 Memory= 7435.713 t= 1.66e+03 R= 6e+04
114Depth= 33413 States= 9.3e+07 Transitions= 8.24e+08 Memory= 7504.463 t= 1.68e+03 R= 6e+04
115Depth= 33413 States= 9.4e+07 Transitions= 8.32e+08 Memory= 7573.115 t= 1.7e+03 R= 6e+04
116Depth= 33413 States= 9.5e+07 Transitions= 8.46e+08 Memory= 7641.768 t= 1.73e+03 R= 5e+04
117Depth= 33413 States= 9.6e+07 Transitions= 8.57e+08 Memory= 7710.420 t= 1.75e+03 R= 5e+04
118Depth= 33413 States= 9.7e+07 Transitions= 8.71e+08 Memory= 7779.072 t= 1.78e+03 R= 5e+04
119Depth= 33413 States= 9.8e+07 Transitions= 8.84e+08 Memory= 7847.822 t= 1.81e+03 R= 5e+04
120Depth= 33413 States= 9.9e+07 Transitions= 8.97e+08 Memory= 7916.475 t= 1.83e+03 R= 5e+04
121Depth= 33413 States= 1e+08 Transitions= 9.08e+08 Memory= 7985.127 t= 1.85e+03 R= 5e+04
122Depth= 33413 States= 1.01e+08 Transitions= 9.22e+08 Memory= 8053.779 t= 1.88e+03 R= 5e+04
123Depth= 33413 States= 1.02e+08 Transitions= 9.35e+08 Memory= 8122.529 t= 1.91e+03 R= 5e+04
124Depth= 33413 States= 1.03e+08 Transitions= 9.47e+08 Memory= 8191.182 t= 1.93e+03 R= 5e+04
125Depth= 33413 States= 1.04e+08 Transitions= 9.59e+08 Memory= 8259.834 t= 1.96e+03 R= 5e+04
126Depth= 33413 States= 1.05e+08 Transitions= 9.68e+08 Memory= 8328.486 t= 1.97e+03 R= 5e+04
127Depth= 33413 States= 1.06e+08 Transitions= 9.78e+08 Memory= 8397.236 t= 2e+03 R= 5e+04
128Depth= 33413 States= 1.07e+08 Transitions= 9.97e+08 Memory= 8465.889 t= 2.04e+03 R= 5e+04
129Depth= 33413 States= 1.08e+08 Transitions= 1.01e+09 Memory= 8534.541 t= 2.06e+03 R= 5e+04
130Depth= 33413 States= 1.09e+08 Transitions= 1.02e+09 Memory= 8603.193 t= 2.09e+03 R= 5e+04
131Depth= 33413 States= 1.1e+08 Transitions= 1.03e+09 Memory= 8671.846 t= 2.1e+03 R= 5e+04
132Depth= 33413 States= 1.11e+08 Transitions= 1.05e+09 Memory= 8740.596 t= 2.13e+03 R= 5e+04
133Depth= 33413 States= 1.12e+08 Transitions= 1.06e+09 Memory= 8809.248 t= 2.17e+03 R= 5e+04
134Depth= 33413 States= 1.13e+08 Transitions= 1.08e+09 Memory= 8877.901 t= 2.19e+03 R= 5e+04
135Depth= 33413 States= 1.14e+08 Transitions= 1.09e+09 Memory= 8946.553 t= 2.22e+03 R= 5e+04
136Depth= 33413 States= 1.15e+08 Transitions= 1.1e+09 Memory= 9015.303 t= 2.24e+03 R= 5e+04
137Depth= 33413 States= 1.16e+08 Transitions= 1.11e+09 Memory= 9083.955 t= 2.26e+03 R= 5e+04
138Depth= 33413 States= 1.17e+08 Transitions= 1.11e+09 Memory= 9152.608 t= 2.27e+03 R= 5e+04
139Depth= 33413 States= 1.18e+08 Transitions= 1.12e+09 Memory= 9221.260 t= 2.29e+03 R= 5e+04
140Depth= 33413 States= 1.19e+08 Transitions= 1.13e+09 Memory= 9290.010 t= 2.3e+03 R= 5e+04
141Depth= 33413 States= 1.2e+08 Transitions= 1.14e+09 Memory= 9358.662 t= 2.32e+03 R= 5e+04
142Depth= 33413 States= 1.21e+08 Transitions= 1.15e+09 Memory= 9427.315 t= 2.34e+03 R= 5e+04
143Depth= 33413 States= 1.22e+08 Transitions= 1.17e+09 Memory= 9495.967 t= 2.38e+03 R= 5e+04
144Depth= 33413 States= 1.23e+08 Transitions= 1.18e+09 Memory= 9564.717 t= 2.41e+03 R= 5e+04
145Depth= 33413 States= 1.24e+08 Transitions= 1.19e+09 Memory= 9633.369 t= 2.43e+03 R= 5e+04
146Depth= 33413 States= 1.25e+08 Transitions= 1.2e+09 Memory= 9702.022 t= 2.46e+03 R= 5e+04
147Depth= 33413 States= 1.26e+08 Transitions= 1.22e+09 Memory= 9770.674 t= 2.48e+03 R= 5e+04
148Depth= 33413 States= 1.27e+08 Transitions= 1.23e+09 Memory= 9839.326 t= 2.51e+03 R= 5e+04
149Depth= 33413 States= 1.28e+08 Transitions= 1.24e+09 Memory= 9908.076 t= 2.54e+03 R= 5e+04
150Depth= 33413 States= 1.29e+08 Transitions= 1.25e+09 Memory= 9976.729 t= 2.56e+03 R= 5e+04
151Depth= 33413 States= 1.3e+08 Transitions= 1.26e+09 Memory= 10045.381 t= 2.58e+03 R= 5e+04
152Depth= 33413 States= 1.31e+08 Transitions= 1.27e+09 Memory= 10114.033 t= 2.61e+03 R= 5e+04
153Depth= 33413 States= 1.32e+08 Transitions= 1.28e+09 Memory= 10182.783 t= 2.62e+03 R= 5e+04
154Depth= 33413 States= 1.33e+08 Transitions= 1.29e+09 Memory= 10251.436 t= 2.64e+03 R= 5e+04
155Depth= 33413 States= 1.34e+08 Transitions= 1.3e+09 Memory= 10320.088 t= 2.66e+03 R= 5e+04
156Depth= 33413 States= 1.35e+08 Transitions= 1.31e+09 Memory= 10388.740 t= 2.68e+03 R= 5e+04
157pan: resizing hashtable to -w28.. done
158Depth= 33413 States= 1.36e+08 Transitions= 1.32e+09 Memory= 12441.428 t= 2.73e+03 R= 5e+04
159Depth= 33413 States= 1.37e+08 Transitions= 1.32e+09 Memory= 12510.178 t= 2.75e+03 R= 5e+04
160Depth= 33413 States= 1.38e+08 Transitions= 1.33e+09 Memory= 12578.830 t= 2.77e+03 R= 5e+04
161Depth= 33413 States= 1.39e+08 Transitions= 1.35e+09 Memory= 12647.483 t= 2.79e+03 R= 5e+04
162Depth= 33413 States= 1.4e+08 Transitions= 1.36e+09 Memory= 12716.135 t= 2.82e+03 R= 5e+04
163Depth= 33413 States= 1.41e+08 Transitions= 1.37e+09 Memory= 12784.787 t= 2.84e+03 R= 5e+04
164Depth= 33413 States= 1.42e+08 Transitions= 1.38e+09 Memory= 12853.537 t= 2.86e+03 R= 5e+04
165Depth= 33413 States= 1.43e+08 Transitions= 1.4e+09 Memory= 12922.190 t= 2.9e+03 R= 5e+04
166Depth= 33413 States= 1.44e+08 Transitions= 1.41e+09 Memory= 12990.842 t= 2.91e+03 R= 5e+04
167Depth= 33413 States= 1.45e+08 Transitions= 1.42e+09 Memory= 13059.494 t= 2.93e+03 R= 5e+04
168Depth= 33413 States= 1.46e+08 Transitions= 1.43e+09 Memory= 13128.244 t= 2.96e+03 R= 5e+04
169Depth= 33413 States= 1.47e+08 Transitions= 1.45e+09 Memory= 13196.897 t= 3e+03 R= 5e+04
170Depth= 33413 States= 1.48e+08 Transitions= 1.47e+09 Memory= 13265.549 t= 3.03e+03 R= 5e+04
171Depth= 33413 States= 1.49e+08 Transitions= 1.48e+09 Memory= 13334.201 t= 3.06e+03 R= 5e+04
172Depth= 33413 States= 1.5e+08 Transitions= 1.5e+09 Memory= 13402.951 t= 3.09e+03 R= 5e+04
173Depth= 33413 States= 1.51e+08 Transitions= 1.5e+09 Memory= 13471.604 t= 3.11e+03 R= 5e+04
174Depth= 33413 States= 1.52e+08 Transitions= 1.52e+09 Memory= 13540.256 t= 3.13e+03 R= 5e+04
175Depth= 33413 States= 1.53e+08 Transitions= 1.53e+09 Memory= 13608.908 t= 3.15e+03 R= 5e+04
176Depth= 33413 States= 1.54e+08 Transitions= 1.55e+09 Memory= 13677.658 t= 3.19e+03 R= 5e+04
177Depth= 33413 States= 1.55e+08 Transitions= 1.56e+09 Memory= 13746.311 t= 3.22e+03 R= 5e+04
178Depth= 33413 States= 1.56e+08 Transitions= 1.58e+09 Memory= 13814.963 t= 3.25e+03 R= 5e+04
179Depth= 33413 States= 1.57e+08 Transitions= 1.59e+09 Memory= 13883.615 t= 3.29e+03 R= 5e+04
180Depth= 33413 States= 1.58e+08 Transitions= 1.6e+09 Memory= 13952.268 t= 3.31e+03 R= 5e+04
181Depth= 33413 States= 1.59e+08 Transitions= 1.61e+09 Memory= 14021.018 t= 3.33e+03 R= 5e+04
182Depth= 33413 States= 1.6e+08 Transitions= 1.63e+09 Memory= 14089.670 t= 3.36e+03 R= 5e+04
183Depth= 33413 States= 1.61e+08 Transitions= 1.64e+09 Memory= 14158.322 t= 3.39e+03 R= 5e+04
184Depth= 33413 States= 1.62e+08 Transitions= 1.66e+09 Memory= 14226.975 t= 3.42e+03 R= 5e+04
185Depth= 33413 States= 1.63e+08 Transitions= 1.67e+09 Memory= 14295.725 t= 3.45e+03 R= 5e+04
186Depth= 33413 States= 1.64e+08 Transitions= 1.69e+09 Memory= 14364.377 t= 3.48e+03 R= 5e+04
187Depth= 33413 States= 1.65e+08 Transitions= 1.7e+09 Memory= 14433.029 t= 3.5e+03 R= 5e+04
188Depth= 33413 States= 1.66e+08 Transitions= 1.71e+09 Memory= 14501.682 t= 3.52e+03 R= 5e+04
189Depth= 33413 States= 1.67e+08 Transitions= 1.72e+09 Memory= 14570.432 t= 3.55e+03 R= 5e+04
190Depth= 33413 States= 1.68e+08 Transitions= 1.73e+09 Memory= 14639.084 t= 3.57e+03 R= 5e+04
191Depth= 33413 States= 1.69e+08 Transitions= 1.74e+09 Memory= 14707.736 t= 3.59e+03 R= 5e+04
192Depth= 33413 States= 1.7e+08 Transitions= 1.76e+09 Memory= 14776.389 t= 3.62e+03 R= 5e+04
193Depth= 33413 States= 1.71e+08 Transitions= 1.77e+09 Memory= 14845.041 t= 3.64e+03 R= 5e+04
194Depth= 33413 States= 1.72e+08 Transitions= 1.77e+09 Memory= 14913.791 t= 3.65e+03 R= 5e+04
195Depth= 33413 States= 1.73e+08 Transitions= 1.78e+09 Memory= 14982.443 t= 3.66e+03 R= 5e+04
196Depth= 33413 States= 1.74e+08 Transitions= 1.79e+09 Memory= 15051.096 t= 3.68e+03 R= 5e+04
197Depth= 33413 States= 1.75e+08 Transitions= 1.79e+09 Memory= 15119.748 t= 3.69e+03 R= 5e+04
198Depth= 33413 States= 1.76e+08 Transitions= 1.8e+09 Memory= 15188.498 t= 3.71e+03 R= 5e+04
199Depth= 33413 States= 1.77e+08 Transitions= 1.8e+09 Memory= 15257.151 t= 3.72e+03 R= 5e+04
200Depth= 33413 States= 1.78e+08 Transitions= 1.81e+09 Memory= 15325.803 t= 3.73e+03 R= 5e+04
201Depth= 33413 States= 1.79e+08 Transitions= 1.82e+09 Memory= 15394.455 t= 3.75e+03 R= 5e+04
202Depth= 33413 States= 1.8e+08 Transitions= 1.83e+09 Memory= 15463.205 t= 3.76e+03 R= 5e+04
203Depth= 33413 States= 1.81e+08 Transitions= 1.83e+09 Memory= 15531.858 t= 3.77e+03 R= 5e+04
204Depth= 33413 States= 1.82e+08 Transitions= 1.84e+09 Memory= 15600.510 t= 3.79e+03 R= 5e+04
205Depth= 33413 States= 1.83e+08 Transitions= 1.85e+09 Memory= 15669.162 t= 3.8e+03 R= 5e+04
206Depth= 33413 States= 1.84e+08 Transitions= 1.86e+09 Memory= 15737.912 t= 3.82e+03 R= 5e+04
207Depth= 33413 States= 1.85e+08 Transitions= 1.87e+09 Memory= 15806.565 t= 3.84e+03 R= 5e+04
208Depth= 33413 States= 1.86e+08 Transitions= 1.88e+09 Memory= 15875.217 t= 3.87e+03 R= 5e+04
209Depth= 33413 States= 1.87e+08 Transitions= 1.89e+09 Memory= 15943.869 t= 3.89e+03 R= 5e+04
210Depth= 33413 States= 1.88e+08 Transitions= 1.9e+09 Memory= 16012.522 t= 3.91e+03 R= 5e+04
211Depth= 33413 States= 1.89e+08 Transitions= 1.91e+09 Memory= 16081.272 t= 3.94e+03 R= 5e+04
212Depth= 33413 States= 1.9e+08 Transitions= 1.92e+09 Memory= 16149.924 t= 3.96e+03 R= 5e+04
213Depth= 33413 States= 1.91e+08 Transitions= 1.94e+09 Memory= 16218.576 t= 3.98e+03 R= 5e+04
214Depth= 33413 States= 1.92e+08 Transitions= 1.95e+09 Memory= 16287.229 t= 4.02e+03 R= 5e+04
215Depth= 33413 States= 1.93e+08 Transitions= 1.96e+09 Memory= 16355.979 t= 4.05e+03 R= 5e+04
216Depth= 33413 States= 1.94e+08 Transitions= 1.97e+09 Memory= 16424.631 t= 4.09e+03 R= 5e+04
217Depth= 33413 States= 1.95e+08 Transitions= 1.99e+09 Memory= 16493.283 t= 4.17e+03 R= 5e+04
218Depth= 33413 States= 1.96e+08 Transitions= 2e+09 Memory= 16561.936 t= 4.26e+03 R= 5e+04
219Depth= 33413 States= 1.97e+08 Transitions= 2.02e+09 Memory= 16630.686 t= 4.36e+03 R= 5e+04
220Depth= 33413 States= 1.98e+08 Transitions= 2.04e+09 Memory= 16699.338 t= 4.45e+03 R= 4e+04
221Depth= 33413 States= 1.99e+08 Transitions= 2.05e+09 Memory= 16767.990 t= 4.53e+03 R= 4e+04
222Depth= 33413 States= 2e+08 Transitions= 2.06e+09 Memory= 16836.643 t= 4.59e+03 R= 4e+04
223Depth= 33413 States= 2.01e+08 Transitions= 2.07e+09 Memory= 16905.393 t= 4.64e+03 R= 4e+04
224Depth= 33413 States= 2.02e+08 Transitions= 2.07e+09 Memory= 16974.045 t= 4.7e+03 R= 4e+04
225Depth= 33413 States= 2.03e+08 Transitions= 2.08e+09 Memory= 17042.697 t= 4.78e+03 R= 4e+04
226Depth= 33413 States= 2.04e+08 Transitions= 2.1e+09 Memory= 17111.350 t= 4.9e+03 R= 4e+04
227Depth= 33413 States= 2.05e+08 Transitions= 2.11e+09 Memory= 17180.002 t= 5.05e+03 R= 4e+04
228Depth= 33413 States= 2.06e+08 Transitions= 2.13e+09 Memory= 17248.752 t= 5.25e+03 R= 4e+04
229Depth= 33413 States= 2.07e+08 Transitions= 2.14e+09 Memory= 17317.404 t= 5.45e+03 R= 4e+04
230Depth= 33413 States= 2.08e+08 Transitions= 2.15e+09 Memory= 17386.057 t= 5.65e+03 R= 4e+04
231Depth= 33413 States= 2.09e+08 Transitions= 2.16e+09 Memory= 17454.709 t= 5.86e+03 R= 4e+04
232Depth= 33413 States= 2.1e+08 Transitions= 2.17e+09 Memory= 17523.459 t= 6.1e+03 R= 3e+04
Userspace RCU (urcu) for Linux
This page took 0.031126 seconds and 4 git commands to generate.