test/memo/output

   1 Program output from execution 1:
   2 ---- BEGIN PROGRAM OUTPUT ----
   3 CDSChecker
   4 Copyright (c) 2013 Regents of the University of California. All rights reserved.
   5 Distributed under the GPLv2
   6 Written by Brian Norris and Brian Demsky
   7
   8 v3 = 0, v4=0
   9 v1 = 1, v2=1
  10 ---- END PROGRAM OUTPUT   ----
  11
  12 Execution trace 1:
  13 ------------------------------------------------------------------------------------
  14 #    t    Action type     MO       Location         Value               Rf  CV
  15 ------------------------------------------------------------------------------------
  16 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
  17 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
  18 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
  19 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
  20 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
  21 6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
  22 7    3    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  3,  0,  7)
  23 8    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  8)
  24 9    2    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  2,  9)
  25 10   2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2, 10)
  26 11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
  27 12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
  28 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  8)
  29 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  8)
  30 HASH 3127311590
  31 ------------------------------------------------------------------------------------
  32
  33 Program output from execution 5:
  34 ---- BEGIN PROGRAM OUTPUT ----
  35 v3 = 0, v4=1
  36 v1 = 0, v2=1
  37 ---- END PROGRAM OUTPUT   ----
  38
  39 Execution trace 5:
  40 ------------------------------------------------------------------------------------
  41 #    t    Action type     MO       Location         Value               Rf  CV
  42 ------------------------------------------------------------------------------------
  43 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
  44 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
  45 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
  46 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
  47 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
  48 6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
  49 7    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  7)
  50 8    3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0,  8)
  51 9    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  9)
  52 10   2    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  2, 10)
  53 11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
  54 12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
  55 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  9)
  56 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  9)
  57 HASH 4208097262
  58 ------------------------------------------------------------------------------------
  59
  60 Program output from execution 8:
  61 ---- BEGIN PROGRAM OUTPUT ----
  62 v3 = 0, v4=1
  63 v1 = 0, v2=1
  64 ---- END PROGRAM OUTPUT   ----
  65
  66 Execution trace 8:
  67 ------------------------------------------------------------------------------------
  68 #    t    Action type     MO       Location         Value               Rf  CV
  69 ------------------------------------------------------------------------------------
  70 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
  71 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
  72 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
  73 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
  74 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
  75 6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
  76 7    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  7)
  77 8    3    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  3,  0,  8)
  78 9    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  9)
  79 10   2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2, 10)
  80 11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
  81 12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
  82 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  9)
  83 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  9)
  84 HASH 3019040174
  85 ------------------------------------------------------------------------------------
  86
  87 Program output from execution 9:
  88 ---- BEGIN PROGRAM OUTPUT ----
  89 v3 = 0, v4=1
  90 v1 = 0, v2=1
  91 ---- END PROGRAM OUTPUT   ----
  92
  93 Execution trace 9:
  94 ------------------------------------------------------------------------------------
  95 #    t    Action type     MO       Location         Value               Rf  CV
  96 ------------------------------------------------------------------------------------
  97 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
  98 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
  99 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
 100 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
 101 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
 102 6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
 103 7    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  7)
 104 8    3    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  3,  0,  8)
 105 9    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  9)
 106 10   2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2, 10)
 107 11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
 108 12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
 109 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  9)
 110 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  9)
 111 HASH 3019040174
 112 ------------------------------------------------------------------------------------
 113
 114 Program output from execution 13:
 115 ---- BEGIN PROGRAM OUTPUT ----
 116 v1 = 0, v2=1
 117 v3 = 0, v4=1
 118 ---- END PROGRAM OUTPUT   ----
 119
 120 Execution trace 13:
 121 ------------------------------------------------------------------------------------
 122 #    t    Action type     MO       Location         Value               Rf  CV
 123 ------------------------------------------------------------------------------------
 124 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
 125 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
 126 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
 127 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
 128 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
 129 6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
 130 7    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  7)
 131 8    2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2,  8)
 132 9    2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  9)
 133 10   3    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  3,  0, 10)
 134 11   3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0, 11)
 135 12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12,  9)
 136 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13,  9, 11)
 137 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14,  9, 11)
 138 HASH 3000133102
 139 ------------------------------------------------------------------------------------
 140
 141 Program output from execution 14:
 142 ---- BEGIN PROGRAM OUTPUT ----
 143 v3 = 0, v4=1
 144 v1 = 0, v2=1
 145 ---- END PROGRAM OUTPUT   ----
 146
 147 Execution trace 14:
 148 ------------------------------------------------------------------------------------
 149 #    t    Action type     MO       Location         Value               Rf  CV
 150 ------------------------------------------------------------------------------------
 151 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
 152 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
 153 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
 154 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
 155 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
 156 6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
 157 7    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  7)
 158 8    3    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  3,  0,  8)
 159 9    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  9)
 160 10   2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2, 10)
 161 11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
 162 12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
 163 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  9)
 164 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  9)
 165 HASH 3019040174
 166 ------------------------------------------------------------------------------------
 167
 168 Program output from execution 16:
 169 ---- BEGIN PROGRAM OUTPUT ----
 170 v1 = 0, v2=0
 171 v3 = 1, v4=1
 172 ---- END PROGRAM OUTPUT   ----
 173
 174 Execution trace 16:
 175 ------------------------------------------------------------------------------------
 176 #    t    Action type     MO       Location         Value               Rf  CV
 177 ------------------------------------------------------------------------------------
 178 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
 179 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
 180 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
 181 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
 182 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
 183 6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
 184 7    2    atomic rmw      relaxed        0x601060   0                   0   ( 0,  2,  7)
 185 8    2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  8)
 186 9    1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0,  9,  8)
 187 10   3    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  3,  0, 10)
 188 11   3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0, 11)
 189 12   3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0, 12)
 190 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13,  8, 12)
 191 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14,  8, 12)
 192 HASH 4064055974
 193 ------------------------------------------------------------------------------------
 194
 195 Program output from execution 17:
 196 ---- BEGIN PROGRAM OUTPUT ----
 197 v1 = 0, v2=0
 198 v3 = 1, v4=1
 199 ---- END PROGRAM OUTPUT   ----
 200
 201 Execution trace 17:
 202 ------------------------------------------------------------------------------------
 203 #    t    Action type     MO       Location         Value               Rf  CV
 204 ------------------------------------------------------------------------------------
 205 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
 206 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
 207 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
 208 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
 209 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
 210 6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
 211 7    2    atomic rmw      relaxed        0x601060   0                   0   ( 0,  2,  7)
 212 8    2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  8)
 213 9    3    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  3,  0,  9)
 214 10   3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0, 10)
 215 11   3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0, 11)
 216 12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12,  8)
 217 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13,  8, 11)
 218 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14,  8, 11)
 219 HASH 4066832102
 220 ------------------------------------------------------------------------------------
 221
 222 Program output from execution 22:
 223 ---- BEGIN PROGRAM OUTPUT ----
 224 v3 = 0, v4=1
 225 v1 = 0, v2=1
 226 ---- END PROGRAM OUTPUT   ----
 227
 228 Execution trace 22:
 229 ------------------------------------------------------------------------------------
 230 #    t    Action type     MO       Location         Value               Rf  CV
 231 ------------------------------------------------------------------------------------
 232 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
 233 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
 234 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
 235 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
 236 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
 237 6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
 238 7    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  7)
 239 8    3    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  3,  0,  8)
 240 9    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  9)
 241 10   2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2, 10)
 242 11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
 243 12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
 244 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  9)
 245 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  9)
 246 HASH 3019040174
 247 ------------------------------------------------------------------------------------
 248
 249 Program output from execution 24:
 250 ---- BEGIN PROGRAM OUTPUT ----
 251 v3 = 0, v4=0
 252 v1 = 1, v2=1
 253 ---- END PROGRAM OUTPUT   ----
 254
 255 Execution trace 24:
 256 ------------------------------------------------------------------------------------
 257 #    t    Action type     MO       Location         Value               Rf  CV
 258 ------------------------------------------------------------------------------------
 259 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
 260 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
 261 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
 262 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
 263 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
 264 6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
 265 7    3    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  3,  0,  7)
 266 8    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  8)
 267 9    2    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  2,  9)
 268 10   2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2, 10)
 269 11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
 270 12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
 271 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  8)
 272 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  8)
 273 HASH 3127311590
 274 ------------------------------------------------------------------------------------
 275
 276 Program output from execution 37:
 277 ---- BEGIN PROGRAM OUTPUT ----
 278 v3 = 0, v4=1
 279 v1 = 0, v2=1
 280 ---- END PROGRAM OUTPUT   ----
 281
 282 Execution trace 37:
 283 ------------------------------------------------------------------------------------
 284 #    t    Action type     MO       Location         Value               Rf  CV
 285 ------------------------------------------------------------------------------------
 286 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
 287 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
 288 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
 289 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
 290 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
 291 6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
 292 7    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  7)
 293 8    3    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  3,  0,  8)
 294 9    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  9)
 295 10   2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2, 10)
 296 11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
 297 12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
 298 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  9)
 299 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  9)
 300 HASH 3019040174
 301 ------------------------------------------------------------------------------------
 302
 303 Program output from execution 48:
 304 ---- BEGIN PROGRAM OUTPUT ----
 305 v1 = 0, v2=1
 306 v3 = 0, v4=1
 307 ---- END PROGRAM OUTPUT   ----
 308
 309 Execution trace 48:
 310 ------------------------------------------------------------------------------------
 311 #    t    Action type     MO       Location         Value               Rf  CV
 312 ------------------------------------------------------------------------------------
 313 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
 314 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
 315 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
 316 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
 317 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
 318 6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
 319 7    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  7)
 320 8    2    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  2,  8)
 321 9    2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  9)
 322 10   3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0, 10)
 323 11   3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0, 11)
 324 12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12,  9)
 325 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13,  9, 11)
 326 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14,  9, 11)
 327 HASH 4227004334
 328 ------------------------------------------------------------------------------------
 329
 330 Program output from execution 49:
 331 ---- BEGIN PROGRAM OUTPUT ----
 332 v1 = 0, v2=1
 333 v3 = 0, v4=1
 334 ---- END PROGRAM OUTPUT   ----
 335
 336 Execution trace 49:
 337 ------------------------------------------------------------------------------------
 338 #    t    Action type     MO       Location         Value               Rf  CV
 339 ------------------------------------------------------------------------------------
 340 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
 341 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
 342 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
 343 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
 344 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
 345 6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
 346 7    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  7)
 347 8    2    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  2,  8)
 348 9    2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  9)
 349 10   3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0, 10)
 350 11   3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0, 11)
 351 12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12,  9)
 352 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13,  9, 11)
 353 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14,  9, 11)
 354 HASH 4227004334
 355 ------------------------------------------------------------------------------------
 356
 357 Program output from execution 51:
 358 ---- BEGIN PROGRAM OUTPUT ----
 359 v3 = 0, v4=1
 360 v1 = 0, v2=1
 361 ---- END PROGRAM OUTPUT   ----
 362
 363 Execution trace 51:
 364 ------------------------------------------------------------------------------------
 365 #    t    Action type     MO       Location         Value               Rf  CV
 366 ------------------------------------------------------------------------------------
 367 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
 368 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
 369 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
 370 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
 371 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
 372 6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
 373 7    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  7)
 374 8    3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0,  8)
 375 9    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  9)
 376 10   2    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  2, 10)
 377 11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
 378 12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
 379 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  9)
 380 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  9)
 381 HASH 4208097262
 382 ------------------------------------------------------------------------------------
 383
 384 Program output from execution 57:
 385 ---- BEGIN PROGRAM OUTPUT ----
 386 v1 = 0, v2=0
 387 v3 = 1, v4=1
 388 ---- END PROGRAM OUTPUT   ----
 389
 390 Execution trace 57:
 391 ------------------------------------------------------------------------------------
 392 #    t    Action type     MO       Location         Value               Rf  CV
 393 ------------------------------------------------------------------------------------
 394 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
 395 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
 396 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
 397 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
 398 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
 399 6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
 400 7    2    atomic rmw      relaxed        0x601060   0                   0   ( 0,  2,  7)
 401 8    2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  8)
 402 9    1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0,  9,  8)
 403 10   3    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  3,  0, 10)
 404 11   3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0, 11)
 405 12   3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0, 12)
 406 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13,  8, 12)
 407 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14,  8, 12)
 408 HASH 4064055974
 409 ------------------------------------------------------------------------------------
 410
 411 Program output from execution 58:
 412 ---- BEGIN PROGRAM OUTPUT ----
 413 v1 = 0, v2=0
 414 v3 = 1, v4=1
 415 ---- END PROGRAM OUTPUT   ----
 416
 417 Execution trace 58:
 418 ------------------------------------------------------------------------------------
 419 #    t    Action type     MO       Location         Value               Rf  CV
 420 ------------------------------------------------------------------------------------
 421 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
 422 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
 423 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
 424 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
 425 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
 426 6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
 427 7    2    atomic rmw      relaxed        0x601060   0                   0   ( 0,  2,  7)
 428 8    2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  8)
 429 9    1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0,  9,  8)
 430 10   3    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  3,  0, 10)
 431 11   3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0, 11)
 432 12   3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0, 12)
 433 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13,  8, 12)
 434 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14,  8, 12)
 435 HASH 4064055974
 436 ------------------------------------------------------------------------------------
 437
 438 Program output from execution 67:
 439 ---- BEGIN PROGRAM OUTPUT ----
 440 v3 = 0, v4=1
 441 v1 = 0, v2=1
 442 ---- END PROGRAM OUTPUT   ----
 443
 444 Execution trace 67:
 445 ------------------------------------------------------------------------------------
 446 #    t    Action type     MO       Location         Value               Rf  CV
 447 ------------------------------------------------------------------------------------
 448 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
 449 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
 450 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
 451 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
 452 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
 453 6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
 454 7    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  7)
 455 8    3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0,  8)
 456 9    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  9)
 457 10   2    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  2, 10)
 458 11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
 459 12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
 460 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  9)
 461 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  9)
 462 HASH 4208097262
 463 ------------------------------------------------------------------------------------
 464
 465 Program output from execution 70:
 466 ---- BEGIN PROGRAM OUTPUT ----
 467 v1 = 0, v2=0
 468 v3 = 1, v4=1
 469 ---- END PROGRAM OUTPUT   ----
 470
 471 Execution trace 70:
 472 ------------------------------------------------------------------------------------
 473 #    t    Action type     MO       Location         Value               Rf  CV
 474 ------------------------------------------------------------------------------------
 475 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
 476 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
 477 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
 478 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
 479 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
 480 6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
 481 7    2    atomic rmw      relaxed        0x601060   0                   0   ( 0,  2,  7)
 482 8    2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  8)
 483 9    3    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  3,  0,  9)
 484 10   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 10,  8)
 485 11   3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0, 11)
 486 12   3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0, 12)
 487 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13,  8, 12)
 488 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14,  8, 12)
 489 HASH 4067202982
 490 ------------------------------------------------------------------------------------
 491
 492 Program output from execution 73:
 493 ---- BEGIN PROGRAM OUTPUT ----
 494 v3 = 0, v4=1
 495 v1 = 0, v2=1
 496 ---- END PROGRAM OUTPUT   ----
 497
 498 Execution trace 73:
 499 ------------------------------------------------------------------------------------
 500 #    t    Action type     MO       Location         Value               Rf  CV
 501 ------------------------------------------------------------------------------------
 502 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
 503 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
 504 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
 505 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
 506 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
 507 6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
 508 7    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  7)
 509 8    3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0,  8)
 510 9    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  9)
 511 10   2    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  2, 10)
 512 11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
 513 12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
 514 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  9)
 515 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  9)
 516 HASH 4208097262
 517 ------------------------------------------------------------------------------------
 518
 519 Program output from execution 74:
 520 ---- BEGIN PROGRAM OUTPUT ----
 521 v1 = 0, v2=0
 522 v3 = 1, v4=1
 523 ---- END PROGRAM OUTPUT   ----
 524
 525 Execution trace 74:
 526 ------------------------------------------------------------------------------------
 527 #    t    Action type     MO       Location         Value               Rf  CV
 528 ------------------------------------------------------------------------------------
 529 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
 530 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
 531 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
 532 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
 533 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
 534 6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
 535 7    2    atomic rmw      relaxed        0x601060   0                   0   ( 0,  2,  7)
 536 8    2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  8)
 537 9    1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0,  9,  8)
 538 10   3    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  3,  0, 10)
 539 11   3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0, 11)
 540 12   3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0, 12)
 541 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13,  8, 12)
 542 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14,  8, 12)
 543 HASH 4064055974
 544 ------------------------------------------------------------------------------------
 545
 546 Program output from execution 94:
 547 ---- BEGIN PROGRAM OUTPUT ----
 548 v1 = 0, v2=1
 549 v3 = 0, v4=1
 550 ---- END PROGRAM OUTPUT   ----
 551
 552 Execution trace 94:
 553 ------------------------------------------------------------------------------------
 554 #    t    Action type     MO       Location         Value               Rf  CV
 555 ------------------------------------------------------------------------------------
 556 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
 557 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
 558 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
 559 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
 560 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
 561 6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
 562 7    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  7)
 563 8    2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2,  8)
 564 9    2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  9)
 565 10   3    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  3,  0, 10)
 566 11   3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0, 11)
 567 12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12,  9)
 568 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13,  9, 11)
 569 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14,  9, 11)
 570 HASH 3000133102
 571 ------------------------------------------------------------------------------------
 572
 573 Program output from execution 95:
 574 ---- BEGIN PROGRAM OUTPUT ----
 575 v3 = 0, v4=0
 576 v1 = 1, v2=1
 577 ---- END PROGRAM OUTPUT   ----
 578
 579 Execution trace 95:
 580 ------------------------------------------------------------------------------------
 581 #    t    Action type     MO       Location         Value               Rf  CV
 582 ------------------------------------------------------------------------------------
 583 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
 584 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
 585 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
 586 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
 587 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
 588 6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
 589 7    3    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  3,  0,  7)
 590 8    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  8)
 591 9    2    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  2,  9)
 592 10   2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2, 10)
 593 11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
 594 12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
 595 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  8)
 596 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  8)
 597 HASH 3127311590
 598 ------------------------------------------------------------------------------------
 599
 600 Program output from execution 96:
 601 ---- BEGIN PROGRAM OUTPUT ----
 602 v3 = 0, v4=1
 603 v1 = 0, v2=1
 604 ---- END PROGRAM OUTPUT   ----
 605
 606 Execution trace 96:
 607 ------------------------------------------------------------------------------------
 608 #    t    Action type     MO       Location         Value               Rf  CV
 609 ------------------------------------------------------------------------------------
 610 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
 611 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
 612 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
 613 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
 614 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
 615 6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
 616 7    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  7)
 617 8    3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0,  8)
 618 9    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  9)
 619 10   2    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  2, 10)
 620 11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
 621 12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
 622 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  9)
 623 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  9)
 624 HASH 4208097262
 625 ------------------------------------------------------------------------------------
 626
 627 Program output from execution 98:
 628 ---- BEGIN PROGRAM OUTPUT ----
 629 v3 = 0, v4=0
 630 v1 = 1, v2=1
 631 ---- END PROGRAM OUTPUT   ----
 632
 633 Execution trace 98:
 634 ------------------------------------------------------------------------------------
 635 #    t    Action type     MO       Location         Value               Rf  CV
 636 ------------------------------------------------------------------------------------
 637 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
 638 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
 639 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
 640 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
 641 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
 642 6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
 643 7    3    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  3,  0,  7)
 644 8    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  8)
 645 9    2    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  2,  9)
 646 10   2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2, 10)
 647 11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
 648 12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
 649 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  8)
 650 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  8)
 651 HASH 3127311590
 652 ------------------------------------------------------------------------------------
 653
 654 Program output from execution 100:
 655 ---- BEGIN PROGRAM OUTPUT ----
 656 v1 = 0, v2=1
 657 v3 = 0, v4=1
 658 ---- END PROGRAM OUTPUT   ----
 659
 660 Execution trace 100:
 661 ------------------------------------------------------------------------------------
 662 #    t    Action type     MO       Location         Value               Rf  CV
 663 ------------------------------------------------------------------------------------
 664 1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
 665 2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
 666 3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
 667 4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
 668 5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
 669 6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
 670 7    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  7)
 671 8    2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2,  8)
 672 9    2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  9)
 673 10   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 10,  9)
 674 11   3    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  3,  0, 11)
 675 12   3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0, 12)
 676 13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13,  9, 12)
 677 14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14,  9, 12)
 678 HASH 3000504038
 679 ------------------------------------------------------------------------------------
 680
 681 ******* Model-checking complete: *******
 682 Number of complete, bug-free executions: 25
 683 Number of redundant executions: 0
 684 Number of buggy executions: 0
 685 Number of infeasible executions: 75
 686 Total executions: 100
 687 Total nodes created: 935