dekker-fences/result1.txt

   1 Result 0:
   2 wildcard 1 -> memory_order_relaxed
   3 wildcard 2 -> memory_order_seq_cst
   4 wildcard 3 -> memory_order_relaxed
   5 wildcard 4 -> memory_order_relaxed
   6 wildcard 5 -> memory_order_relaxed
   7 wildcard 6 -> memory_order_relaxed
   8 wildcard 7 -> memory_order_relaxed
   9 wildcard 8 -> memory_order_relaxed
  10 wildcard 9 -> memory_order_acquire
  11 wildcard 10 -> memory_order_relaxed
  12 wildcard 11 -> memory_order_release
  13 wildcard 12 -> memory_order_relaxed
  14
  15 Result 1:
  16 wildcard 1 -> memory_order_relaxed
  17 wildcard 2 -> memory_order_seq_cst
  18 wildcard 3 -> memory_order_acquire
  19 wildcard 4 -> memory_order_relaxed
  20 wildcard 5 -> memory_order_relaxed
  21 wildcard 6 -> memory_order_relaxed
  22 wildcard 7 -> memory_order_relaxed
  23 wildcard 8 -> memory_order_relaxed
  24 wildcard 9 -> memory_order_relaxed
  25 wildcard 10 -> memory_order_relaxed
  26 wildcard 11 -> memory_order_release
  27 wildcard 12 -> memory_order_relaxed
  28
  29 Result 2:
  30 wildcard 1 -> memory_order_relaxed
  31 wildcard 2 -> memory_order_seq_cst
  32 wildcard 3 -> memory_order_relaxed
  33 wildcard 4 -> memory_order_relaxed
  34 wildcard 5 -> memory_order_relaxed
  35 wildcard 6 -> memory_order_relaxed
  36 wildcard 7 -> memory_order_relaxed
  37 wildcard 8 -> memory_order_relaxed
  38 wildcard 9 -> memory_order_acquire
  39 wildcard 10 -> memory_order_relaxed
  40 wildcard 11 -> memory_order_relaxed
  41 wildcard 12 -> memory_order_release
  42
  43 Result 3:
  44 wildcard 1 -> memory_order_relaxed
  45 wildcard 2 -> memory_order_seq_cst
  46 wildcard 3 -> memory_order_acquire
  47 wildcard 4 -> memory_order_relaxed
  48 wildcard 5 -> memory_order_relaxed
  49 wildcard 6 -> memory_order_relaxed
  50 wildcard 7 -> memory_order_relaxed
  51 wildcard 8 -> memory_order_relaxed
  52 wildcard 9 -> memory_order_relaxed
  53 wildcard 10 -> memory_order_relaxed
  54 wildcard 11 -> memory_order_relaxed
  55 wildcard 12 -> memory_order_release
  56
  57 Result 4:
  58 wildcard 1 -> memory_order_seq_cst
  59 wildcard 2 -> memory_order_relaxed
  60 wildcard 3 -> memory_order_seq_cst
  61 wildcard 4 -> memory_order_relaxed
  62 wildcard 5 -> memory_order_relaxed
  63 wildcard 6 -> memory_order_relaxed
  64 wildcard 7 -> memory_order_relaxed
  65 wildcard 8 -> memory_order_relaxed
  66 wildcard 9 -> memory_order_seq_cst
  67 wildcard 10 -> memory_order_relaxed
  68 wildcard 11 -> memory_order_release
  69 wildcard 12 -> memory_order_relaxed
  70
  71 Result 5:
  72 wildcard 1 -> memory_order_seq_cst
  73 wildcard 2 -> memory_order_relaxed
  74 wildcard 3 -> memory_order_seq_cst
  75 wildcard 4 -> memory_order_relaxed
  76 wildcard 5 -> memory_order_relaxed
  77 wildcard 6 -> memory_order_relaxed
  78 wildcard 7 -> memory_order_relaxed
  79 wildcard 8 -> memory_order_relaxed
  80 wildcard 9 -> memory_order_seq_cst
  81 wildcard 10 -> memory_order_relaxed
  82 wildcard 11 -> memory_order_relaxed
  83 wildcard 12 -> memory_order_release