update verif

[lttv.git] / trunk / verif / examples / buffer.spin.trail

-4:-4:-4
1:0:118
2:0:119
3:0:119
4:0:122
5:0:128
6:0:128
7:0:128
8:0:128
9:0:131
10:0:136
11:0:137
12:0:139
13:0:141
14:0:139
15:0:141
16:0:139
17:0:141
18:0:139
19:0:141
20:0:143
21:0:149
22:0:151
23:0:153
24:0:157
25:7:0
26:7:3
27:7:28
28:7:29
29:6:30
30:6:35
31:6:36
32:6:42
33:6:43
34:6:47
35:6:51
36:6:55
37:6:57
38:6:58
39:6:61
40:6:68
41:6:75
42:6:77
43:6:79
44:5:30
45:5:35
46:5:36
47:5:42
48:5:43
49:5:47
50:5:51
51:5:55
52:5:57
53:5:58
54:5:61
55:5:70
56:5:71
57:5:75
58:5:77
59:5:79
60:4:30
61:4:35
62:4:36
63:4:42
64:4:43
65:4:47
66:4:51
67:4:55
68:4:57
69:4:58
70:4:61
71:4:68
72:4:75
73:4:77
74:4:79
75:3:30
76:3:35
77:3:36
78:3:42
79:3:43
80:3:47
81:3:51
82:3:55
83:3:57
84:3:58
85:3:61
86:3:70
87:3:71
88:3:75
89:3:77
90:3:79
91:2:109
92:2:111
93:2:115
94:3:0
95:3:3
96:3:28
97:3:29
98:2:117
99:0:159
100:0:162
101:0:162
102:0:165