changes
[model-checker-benchmarks.git] / chase-lev-deque-bugfix / result2.txt
1 peizhaoo@dw-2:~/test/model-checker-priv/model-checker-priv/benchmarks$ time
2 ./run.sh chase-lev-deque-bugfix/testcase2_wildcard -m2 -y -u3 -tSCFENCE -o
3 fchase-lev-deque-bugfix/result1.txt -o weaken &> /scratch/a
4
5 real    0m0.061s
6 user    0m0.028s
7 sys     0m0.020s
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_relaxed
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 16 -> memory_order_relaxed
25 wildcard 17 -> memory_order_relaxed
26 wildcard 18 -> memory_order_relaxed
27 wildcard 19 -> memory_order_relaxed
28 wildcard 20 -> memory_order_relaxed
29 wildcard 23 -> memory_order_relaxed
30 wildcard 24 -> memory_order_relaxed
31 wildcard 25 -> memory_order_relaxed
32 wildcard 26 -> memory_order_relaxed
33 wildcard 27 -> memory_order_relaxed
34 wildcard 28 -> memory_order_relaxed
35 wildcard 29 -> memory_order_relaxed
36 wildcard 30 -> memory_order_relaxed
37 wildcard 31 -> memory_order_release
38 wildcard 32 -> memory_order_relaxed
39 wildcard 33 -> memory_order_relaxed
40 wildcard 34 -> memory_order_seq_cst
41 wildcard 35 -> memory_order_acquire
42 wildcard 36 -> memory_order_relaxed
43 wildcard 37 -> memory_order_relaxed
44 wildcard 38 -> memory_order_relaxed
45 wildcard 39 -> memory_order_relaxed
46
47 Result 1:
48 wildcard 1 -> memory_order_relaxed
49 wildcard 2 -> memory_order_relaxed
50 wildcard 3 -> memory_order_relaxed
51 wildcard 4 -> memory_order_relaxed
52 wildcard 5 -> memory_order_relaxed
53 wildcard 6 -> memory_order_relaxed
54 wildcard 7 -> memory_order_relaxed
55 wildcard 8 -> memory_order_seq_cst
56 wildcard 9 -> memory_order_acquire
57 wildcard 10 -> memory_order_relaxed
58 wildcard 11 -> memory_order_relaxed
59 wildcard 12 -> memory_order_relaxed
60 wildcard 14 -> memory_order_relaxed
61 wildcard 16 -> memory_order_relaxed
62 wildcard 17 -> memory_order_relaxed
63 wildcard 18 -> memory_order_relaxed
64 wildcard 19 -> memory_order_relaxed
65 wildcard 20 -> memory_order_relaxed
66 wildcard 23 -> memory_order_relaxed
67 wildcard 24 -> memory_order_relaxed
68 wildcard 25 -> memory_order_relaxed
69 wildcard 26 -> memory_order_relaxed
70 wildcard 27 -> memory_order_relaxed
71 wildcard 28 -> memory_order_relaxed
72 wildcard 29 -> memory_order_relaxed
73 wildcard 30 -> memory_order_relaxed
74 wildcard 31 -> memory_order_release
75 wildcard 32 -> memory_order_relaxed
76 wildcard 33 -> memory_order_relaxed
77 wildcard 34 -> memory_order_seq_cst
78 wildcard 35 -> memory_order_acquire
79 wildcard 36 -> memory_order_relaxed
80 wildcard 37 -> memory_order_relaxed
81 wildcard 38 -> memory_order_relaxed
82 wildcard 39 -> memory_order_release
83
84 Result 2:
85 wildcard 1 -> memory_order_relaxed
86 wildcard 2 -> memory_order_relaxed
87 wildcard 3 -> memory_order_relaxed
88 wildcard 4 -> memory_order_relaxed
89 wildcard 5 -> memory_order_relaxed
90 wildcard 6 -> memory_order_relaxed
91 wildcard 7 -> memory_order_relaxed
92 wildcard 8 -> memory_order_seq_cst
93 wildcard 9 -> memory_order_relaxed
94 wildcard 10 -> memory_order_relaxed
95 wildcard 11 -> memory_order_relaxed
96 wildcard 12 -> memory_order_acquire
97 wildcard 14 -> memory_order_relaxed
98 wildcard 16 -> memory_order_relaxed
99 wildcard 17 -> memory_order_relaxed
100 wildcard 18 -> memory_order_relaxed
101 wildcard 19 -> memory_order_relaxed
102 wildcard 20 -> memory_order_relaxed
103 wildcard 23 -> memory_order_relaxed
104 wildcard 24 -> memory_order_relaxed
105 wildcard 25 -> memory_order_relaxed
106 wildcard 26 -> memory_order_relaxed
107 wildcard 27 -> memory_order_relaxed
108 wildcard 28 -> memory_order_relaxed
109 wildcard 29 -> memory_order_relaxed
110 wildcard 30 -> memory_order_relaxed
111 wildcard 31 -> memory_order_release
112 wildcard 32 -> memory_order_relaxed
113 wildcard 33 -> memory_order_relaxed
114 wildcard 34 -> memory_order_seq_cst
115 wildcard 35 -> memory_order_acquire
116 wildcard 36 -> memory_order_relaxed
117 wildcard 37 -> memory_order_relaxed
118 wildcard 38 -> memory_order_relaxed
119 wildcard 39 -> memory_order_release