test/memo/original

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