t2t_laog.stdout.exp revision b32f58018498ea2225959b0ba11c18f0c433deef
1b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovloops 4 2b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovmany 30 level 10 total_locks: 310 3b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 0 4b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 1 5b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 2 6b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 3 7b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 4 8b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 5 9b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 6 10b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 7 11b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 8 12b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 9 13b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 0 14b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 1 15b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 2 16b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 3 17b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 4 18b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 5 19b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 6 20b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 7 21b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 8 22b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 9 23b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 0 24b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 1 25b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 2 26b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 3 27b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 4 28b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 5 29b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 6 30b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 7 31b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 8 32b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 9 33b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 0 34b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 1 35b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 2 36b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 3 37b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 4 38b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 5 39b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 6 40b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 7 41b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 8 42b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 9 43b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovmany 30 level 10 total_locks: 310 44b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 0 45b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 1 46b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 2 47b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 3 48b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 4 49b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 5 50b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 6 51b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 7 52b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 8 53b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 9 54b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 0 55b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 1 56b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 2 57b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 3 58b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 4 59b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 5 60b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 6 61b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 7 62b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 8 63b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 9 64b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 0 65b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 1 66b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 2 67b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 3 68b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 4 69b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 5 70b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 6 71b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 7 72b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 8 73b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 9 74b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 0 75b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 1 76b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 2 77b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 3 78b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 4 79b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 5 80b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 6 81b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 7 82b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 8 83b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 9 84b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovmany 30 level 10 total_locks: 310 85b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 0 86b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 1 87b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 2 88b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 3 89b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 4 90b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 5 91b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 6 92b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 7 93b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 8 94b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 9 95b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 0 96b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 1 97b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 2 98b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 3 99b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 4 100b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 5 101b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 6 102b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 7 103b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 8 104b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 9 105b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 0 106b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 1 107b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 2 108b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 3 109b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 4 110b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 5 111b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 6 112b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 7 113b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 8 114b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 9 115b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 0 116b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 1 117b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 2 118b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 3 119b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 4 120b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 5 121b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 6 122b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 7 123b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 8 124b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 9 125b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovmany 30 level 10 total_locks: 310 126b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 0 127b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 1 128b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 2 129b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 3 130b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 4 131b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 5 132b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 6 133b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 7 134b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 8 135b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovinit level 9 136b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 0 137b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 1 138b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 2 139b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 3 140b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 4 141b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 5 142b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 6 143b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 7 144b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 8 145b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovlocking level 9 146b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 0 147b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 1 148b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 2 149b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 3 150b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 4 151b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 5 152b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 6 153b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 7 154b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 8 155b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovunlocking level 9 156b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 0 157b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 1 158b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 2 159b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 3 160b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 4 161b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 5 162b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 6 163b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 7 164b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 8 165b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovdeleting level 9 166b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanovstats: init 1240 lock 1240 unlock 1240 destroy 1240 167