463d1335b658be8ac8a11193dcbef050a0ae5aad
[model-checker-benchmarks.git] / chase-lev-deque-bugfix / result4.txt
1 peizhaoo@dw-2:~/test/model-checker-priv/model-checker-priv/benchmarks$ time
2 ./run.sh chase-lev-deque-bugfix/testcase4_wildcard -m2 -y -u3 -tSCFENCE -o
3 fchase-lev-deque-bugfix/result3.txt -o weaken &> /scratch/a
4
5 real    0m0.918s
6 user    0m0.824s
7 sys     0m0.080s
8
9
10 Result 0:
11 wildcard 1 -> memory_order_relaxed
12 wildcard 2 -> memory_order_relaxed
13 wildcard 3 -> memory_order_relaxed
14 wildcard 4 -> memory_order_relaxed
15 wildcard 5 -> memory_order_relaxed
16 wildcard 6 -> memory_order_relaxed
17 wildcard 7 -> memory_order_release
18 wildcard 8 -> memory_order_seq_cst
19 wildcard 9 -> memory_order_relaxed
20 wildcard 10 -> memory_order_relaxed
21 wildcard 11 -> memory_order_relaxed
22 wildcard 12 -> memory_order_relaxed
23 wildcard 14 -> memory_order_release
24 wildcard 15 -> memory_order_relaxed
25 wildcard 16 -> memory_order_relaxed
26 wildcard 17 -> memory_order_relaxed
27 wildcard 18 -> memory_order_relaxed
28 wildcard 19 -> memory_order_relaxed
29 wildcard 20 -> memory_order_relaxed
30 wildcard 21 -> memory_order_relaxed
31 wildcard 22 -> memory_order_relaxed
32 wildcard 23 -> memory_order_release
33 wildcard 24 -> memory_order_relaxed
34 wildcard 25 -> memory_order_acquire
35 wildcard 26 -> memory_order_relaxed
36 wildcard 27 -> memory_order_relaxed
37 wildcard 28 -> memory_order_relaxed
38 wildcard 29 -> memory_order_relaxed
39 wildcard 30 -> memory_order_relaxed
40 wildcard 31 -> memory_order_release
41 wildcard 32 -> memory_order_relaxed
42 wildcard 33 -> memory_order_relaxed
43 wildcard 34 -> memory_order_seq_cst
44 wildcard 35 -> memory_order_acquire
45 wildcard 36 -> memory_order_acquire
46 wildcard 37 -> memory_order_relaxed
47 wildcard 38 -> memory_order_relaxed
48 wildcard 39 -> memory_order_seq_cst
49
50 Result 1:
51 wildcard 1 -> memory_order_relaxed
52 wildcard 2 -> memory_order_relaxed
53 wildcard 3 -> memory_order_relaxed
54 wildcard 4 -> memory_order_relaxed
55 wildcard 5 -> memory_order_relaxed
56 wildcard 6 -> memory_order_relaxed
57 wildcard 7 -> memory_order_release
58 wildcard 8 -> memory_order_seq_cst
59 wildcard 9 -> memory_order_relaxed
60 wildcard 10 -> memory_order_relaxed
61 wildcard 11 -> memory_order_relaxed
62 wildcard 12 -> memory_order_relaxed
63 wildcard 14 -> memory_order_release
64 wildcard 15 -> memory_order_relaxed
65 wildcard 16 -> memory_order_relaxed
66 wildcard 17 -> memory_order_relaxed
67 wildcard 18 -> memory_order_relaxed
68 wildcard 19 -> memory_order_relaxed
69 wildcard 20 -> memory_order_relaxed
70 wildcard 21 -> memory_order_relaxed
71 wildcard 22 -> memory_order_relaxed
72 wildcard 23 -> memory_order_release
73 wildcard 24 -> memory_order_relaxed
74 wildcard 25 -> memory_order_relaxed
75 wildcard 26 -> memory_order_relaxed
76 wildcard 27 -> memory_order_relaxed
77 wildcard 28 -> memory_order_relaxed
78 wildcard 29 -> memory_order_relaxed
79 wildcard 30 -> memory_order_release
80 wildcard 31 -> memory_order_release
81 wildcard 32 -> memory_order_relaxed
82 wildcard 33 -> memory_order_relaxed
83 wildcard 34 -> memory_order_seq_cst
84 wildcard 35 -> memory_order_acquire
85 wildcard 36 -> memory_order_acquire
86 wildcard 37 -> memory_order_relaxed
87 wildcard 38 -> memory_order_acquire
88 wildcard 39 -> memory_order_seq_cst
89
90 Result 2:
91 wildcard 1 -> memory_order_relaxed
92 wildcard 2 -> memory_order_relaxed
93 wildcard 3 -> memory_order_relaxed
94 wildcard 4 -> memory_order_relaxed
95 wildcard 5 -> memory_order_relaxed
96 wildcard 6 -> memory_order_relaxed
97 wildcard 7 -> memory_order_relaxed
98 wildcard 8 -> memory_order_seq_cst
99 wildcard 9 -> memory_order_acquire
100 wildcard 10 -> memory_order_relaxed
101 wildcard 11 -> memory_order_relaxed
102 wildcard 12 -> memory_order_relaxed
103 wildcard 14 -> memory_order_relaxed
104 wildcard 15 -> memory_order_relaxed
105 wildcard 16 -> memory_order_relaxed
106 wildcard 17 -> memory_order_relaxed
107 wildcard 18 -> memory_order_relaxed
108 wildcard 19 -> memory_order_relaxed
109 wildcard 20 -> memory_order_relaxed
110 wildcard 21 -> memory_order_relaxed
111 wildcard 22 -> memory_order_relaxed
112 wildcard 23 -> memory_order_release
113 wildcard 24 -> memory_order_relaxed
114 wildcard 25 -> memory_order_acquire
115 wildcard 26 -> memory_order_relaxed
116 wildcard 27 -> memory_order_relaxed
117 wildcard 28 -> memory_order_relaxed
118 wildcard 29 -> memory_order_relaxed
119 wildcard 30 -> memory_order_relaxed
120 wildcard 31 -> memory_order_release
121 wildcard 32 -> memory_order_relaxed
122 wildcard 33 -> memory_order_relaxed
123 wildcard 34 -> memory_order_seq_cst
124 wildcard 35 -> memory_order_acquire
125 wildcard 36 -> memory_order_acquire
126 wildcard 37 -> memory_order_relaxed
127 wildcard 38 -> memory_order_relaxed
128 wildcard 39 -> memory_order_seq_cst
129
130 Result 3:
131 wildcard 1 -> memory_order_relaxed
132 wildcard 2 -> memory_order_relaxed
133 wildcard 3 -> memory_order_relaxed
134 wildcard 4 -> memory_order_relaxed
135 wildcard 5 -> memory_order_relaxed
136 wildcard 6 -> memory_order_relaxed
137 wildcard 7 -> memory_order_relaxed
138 wildcard 8 -> memory_order_seq_cst
139 wildcard 9 -> memory_order_acquire
140 wildcard 10 -> memory_order_relaxed
141 wildcard 11 -> memory_order_relaxed
142 wildcard 12 -> memory_order_relaxed
143 wildcard 14 -> memory_order_relaxed
144 wildcard 15 -> memory_order_relaxed
145 wildcard 16 -> memory_order_relaxed
146 wildcard 17 -> memory_order_relaxed
147 wildcard 18 -> memory_order_relaxed
148 wildcard 19 -> memory_order_relaxed
149 wildcard 20 -> memory_order_relaxed
150 wildcard 21 -> memory_order_relaxed
151 wildcard 22 -> memory_order_relaxed
152 wildcard 23 -> memory_order_release
153 wildcard 24 -> memory_order_relaxed
154 wildcard 25 -> memory_order_relaxed
155 wildcard 26 -> memory_order_relaxed
156 wildcard 27 -> memory_order_relaxed
157 wildcard 28 -> memory_order_relaxed
158 wildcard 29 -> memory_order_relaxed
159 wildcard 30 -> memory_order_release
160 wildcard 31 -> memory_order_release
161 wildcard 32 -> memory_order_relaxed
162 wildcard 33 -> memory_order_relaxed
163 wildcard 34 -> memory_order_seq_cst
164 wildcard 35 -> memory_order_acquire
165 wildcard 36 -> memory_order_acquire
166 wildcard 37 -> memory_order_relaxed
167 wildcard 38 -> memory_order_acquire
168 wildcard 39 -> memory_order_seq_cst
169
170 Result 4:
171 wildcard 1 -> memory_order_relaxed
172 wildcard 2 -> memory_order_relaxed
173 wildcard 3 -> memory_order_relaxed
174 wildcard 4 -> memory_order_relaxed
175 wildcard 5 -> memory_order_relaxed
176 wildcard 6 -> memory_order_relaxed
177 wildcard 7 -> memory_order_release
178 wildcard 8 -> memory_order_seq_cst
179 wildcard 9 -> memory_order_relaxed
180 wildcard 10 -> memory_order_relaxed
181 wildcard 11 -> memory_order_relaxed
182 wildcard 12 -> memory_order_acquire
183 wildcard 14 -> memory_order_relaxed
184 wildcard 15 -> memory_order_relaxed
185 wildcard 16 -> memory_order_relaxed
186 wildcard 17 -> memory_order_relaxed
187 wildcard 18 -> memory_order_relaxed
188 wildcard 19 -> memory_order_relaxed
189 wildcard 20 -> memory_order_relaxed
190 wildcard 21 -> memory_order_relaxed
191 wildcard 22 -> memory_order_relaxed
192 wildcard 23 -> memory_order_release
193 wildcard 24 -> memory_order_relaxed
194 wildcard 25 -> memory_order_acquire
195 wildcard 26 -> memory_order_relaxed
196 wildcard 27 -> memory_order_relaxed
197 wildcard 28 -> memory_order_relaxed
198 wildcard 29 -> memory_order_relaxed
199 wildcard 30 -> memory_order_relaxed
200 wildcard 31 -> memory_order_release
201 wildcard 32 -> memory_order_relaxed
202 wildcard 33 -> memory_order_relaxed
203 wildcard 34 -> memory_order_seq_cst
204 wildcard 35 -> memory_order_acquire
205 wildcard 36 -> memory_order_acquire
206 wildcard 37 -> memory_order_relaxed
207 wildcard 38 -> memory_order_relaxed
208 wildcard 39 -> memory_order_seq_cst
209
210 Result 5:
211 wildcard 1 -> memory_order_relaxed
212 wildcard 2 -> memory_order_relaxed
213 wildcard 3 -> memory_order_relaxed
214 wildcard 4 -> memory_order_relaxed
215 wildcard 5 -> memory_order_relaxed
216 wildcard 6 -> memory_order_relaxed
217 wildcard 7 -> memory_order_release
218 wildcard 8 -> memory_order_seq_cst
219 wildcard 9 -> memory_order_relaxed
220 wildcard 10 -> memory_order_relaxed
221 wildcard 11 -> memory_order_relaxed
222 wildcard 12 -> memory_order_acquire
223 wildcard 14 -> memory_order_relaxed
224 wildcard 15 -> memory_order_relaxed
225 wildcard 16 -> memory_order_relaxed
226 wildcard 17 -> memory_order_relaxed
227 wildcard 18 -> memory_order_relaxed
228 wildcard 19 -> memory_order_relaxed
229 wildcard 20 -> memory_order_relaxed
230 wildcard 21 -> memory_order_relaxed
231 wildcard 22 -> memory_order_relaxed
232 wildcard 23 -> memory_order_release
233 wildcard 24 -> memory_order_relaxed
234 wildcard 25 -> memory_order_relaxed
235 wildcard 26 -> memory_order_relaxed
236 wildcard 27 -> memory_order_relaxed
237 wildcard 28 -> memory_order_relaxed
238 wildcard 29 -> memory_order_relaxed
239 wildcard 30 -> memory_order_release
240 wildcard 31 -> memory_order_release
241 wildcard 32 -> memory_order_relaxed
242 wildcard 33 -> memory_order_relaxed
243 wildcard 34 -> memory_order_seq_cst
244 wildcard 35 -> memory_order_acquire
245 wildcard 36 -> memory_order_acquire
246 wildcard 37 -> memory_order_relaxed
247 wildcard 38 -> memory_order_acquire
248 wildcard 39 -> memory_order_seq_cst