G-single-item-realtime #0
Let:
  T1 = {:index 12998, :time 27429836116, :type :ok, :process 1, :f :txn, :value [[:r 33 [2 4 5 22 20 29 33 56 66 69 77 79 80 86 89 95 103 106 112 117 127 137 142 151 150 153 160 161 164 165 163 173 172 183 189 187 195 200 202 210 212 213 216 218 219 215 220 221 226 229 233 230 234 243]] [:r 36 [3 1 16 19 23 41 45 52 54 64 65 75 76 87 91 102 95 107 114 112 116 125 128 140 141 143 151 156 145 165 175 179 182 176 178]] [:r 36 [3 1 16 19 23 41 45 52 54 64 65 75 76 87 91 102 95 107 114 112 116 125 128 140 141 143 151 156 145 165 175 179 182 176 178]]]}
  T2 = {:index 13004, :time 27433287658, :type :ok, :process 6, :f :txn, :value [[:append 36 209]]}
  T3 = {:index 13042, :time 27502527817, :type :ok, :process 2, :f :txn, :value [[:append 38 4] [:r 36 [3 1 16 19 23 41 45 52 54 64 65 75 76 87 91 102 95 107 114 112 116 125 128 140 141 143 151 156 145 165 175 179 182 176 178 209]]]}
  T4 = {:index 13080, :time 27582863731, :type :ok, :process 6, :f :txn, :value [[:r 38 [2 3 4]] [:r 35 [4 6 12]]]}
  T5 = {:index 13090, :time 27598001242, :type :ok, :process 7, :f :txn, :value [[:append 36 244]]}
  T6 = {:index 12626, :time 26697863006, :type :ok, :process 0, :f :txn, :value [[:append 36 106]]}
  T7 = {:index 12656, :time 26730947815, :type :ok, :process 9, :f :txn, :value [[:append 36 112] [:r 29 [1 5 6 12 19 23 26 30 42 45 47 54 55 56 63 69 72 73 84 82 89 90 97 105 100 107 125 129 138 141 148 146 155 159 160 164 188 193 203 207 213 218 221 229]]]}
  T8 = {:index 12672, :time 26756130882, :type :ok, :process 4, :f :txn, :value [[:r 33 [2 4 5 22 20 29 33 56 66 69 77 79 80 86 89 95 103 106 112 117 127 137 142 151 150 153 160 161 164 165 163 173 172 183 189 187 195 200 202]] [:append 29 234] [:r 36 [3 1 16 19 23 41 45 52 54 64 65 75 76 87 91 102 95 107 114 112]] [:r 33 [2 4 5 22 20 29 33 56 66 69 77 79 80 86 89 95 103 106 112 117 127 137 142 151 150 153 160 161 164 165 163 173 172 183 189 187 195 200 202]]]}
  T9 = {:index 12688, :time 26806209972, :type :ok, :process 9, :f :txn, :value [[:append 29 236]]}
  T10 = {:index 12840, :time 27143062223, :type :ok, :process 8, :f :txn, :value [[:r 36 [3 1 16 19 23 41 45 52 54 64 65 75 76 87 91 102 95 107 114 112 116 125 128 140 141 143 151 156 145 165]] [:append 29 241] [:r 33 [2 4 5 22 20 29 33 56 66 69 77 79 80 86 89 95 103 106 112 117 127 137 142 151 150 153 160 161 164 165 163 173 172 183 189 187 195 200 202 210 212 213 216 218 219 215 220 221]] [:r 36 [3 1 16 19 23 41 45 52 54 64 65 75 76 87 91 102 95 107 114 112 116 125 128 140 141 143 151 156 145 165]]]}
  T11 = {:index 12884, :time 27219266140, :type :ok, :process 9, :f :txn, :value [[:r 36 [3 1 16 19 23 41 45 52 54 64 65 75 76 87 91 102 95 107 114 112 116 125 128 140 141 143 151 156 145 165 175 179 182 176]] [:r 36 [3 1 16 19 23 41 45 52 54 64 65 75 76 87 91 102 95 107 114 112 116 125 128 140 141 143 151 156 145 165 175 179 182 176]] [:append 36 178]]}

Then:
  - T1 < T2, because T1 did not observe T2's append of 209 to 36.
  - T2 < T3, because T3 observed T2's append of 209 to key 36.
  - T3 < T4, because T4 observed T3's append of 4 to key 38.
  - T4 < T5, because T4 completed at index 13080, 0.001 seconds before the invocation of T5, at index 13085.
  - T5 < T6, because T6 appended 106 after T5 appended 244 to 36.
  - T6 < T7, because T6 completed at index 12626, 0.015 seconds before the invocation of T7, at index 12641.
  - T7 < T8, because T8 observed T7's append of 112 to key 36.
  - T8 < T9, because T9 appended 236 after T8 appended 234 to 29.
  - T9 < T10, because T10 appended 241 after T9 appended 236 to 29.
  - T10 < T11, because T10 completed at index 12840, 0.013 seconds before the invocation of T11, at index 12843.
  - However, T11 < T1, because T1 observed T11's append of 178 to key 36: a contradiction!


G-single-item-realtime #1
Let:
  T1 = {:index 13026, :time 27469954942, :type :ok, :process 1, :f :txn, :value [[:r 36 [3 1 16 19 23 41 45 52 54 64 65 75 76 87 91 102 95 107 114 112 116 125 128 140 141 143 151 156 145 165 175 179 182 176 178 209]]]}
  T2 = {:index 13034, :time 27483022013, :type :ok, :process 7, :f :txn, :value [[:append 38 3]]}
  T3 = {:index 13042, :time 27502527817, :type :ok, :process 2, :f :txn, :value [[:append 38 4] [:r 36 [3 1 16 19 23 41 45 52 54 64 65 75 76 87 91 102 95 107 114 112 116 125 128 140 141 143 151 156 145 165 175 179 182 176 178 209]]]}
  T4 = {:index 13052, :time 27524168162, :type :ok, :process 8, :f :txn, :value [[:r 36 [3 1 16 19 23 41 45 52 54 64 65 75 76 87 91 102 95 107 114 112 116 125 128 140 141 143 151 156 145 165 175 179 182 176 178 209]]]}
  T5 = {:index 13058, :time 27543971387, :type :ok, :process 8, :f :txn, :value [[:append 36 233] [:append 36 234] [:r 38 [2 3 4]]]}
  T6 = {:index 13076, :time 27573284037, :type :ok, :process 3, :f :txn, :value [[:append 36 241]]}
  T7 = {:index 13090, :time 27598001242, :type :ok, :process 7, :f :txn, :value [[:append 36 244]]}
  T8 = {:index 12626, :time 26697863006, :type :ok, :process 0, :f :txn, :value [[:append 36 106]]}
  T9 = {:index 12656, :time 26730947815, :type :ok, :process 9, :f :txn, :value [[:append 36 112] [:r 29 [1 5 6 12 19 23 26 30 42 45 47 54 55 56 63 69 72 73 84 82 89 90 97 105 100 107 125 129 138 141 148 146 155 159 160 164 188 193 203 207 213 218 221 229]]]}
  T10 = {:index 12672, :time 26756130882, :type :ok, :process 4, :f :txn, :value [[:r 33 [2 4 5 22 20 29 33 56 66 69 77 79 80 86 89 95 103 106 112 117 127 137 142 151 150 153 160 161 164 165 163 173 172 183 189 187 195 200 202]] [:append 29 234] [:r 36 [3 1 16 19 23 41 45 52 54 64 65 75 76 87 91 102 95 107 114 112]] [:r 33 [2 4 5 22 20 29 33 56 66 69 77 79 80 86 89 95 103 106 112 117 127 137 142 151 150 153 160 161 164 165 163 173 172 183 189 187 195 200 202]]]}
  T11 = {:index 12688, :time 26806209972, :type :ok, :process 9, :f :txn, :value [[:append 29 236]]}
  T12 = {:index 12840, :time 27143062223, :type :ok, :process 8, :f :txn, :value [[:r 36 [3 1 16 19 23 41 45 52 54 64 65 75 76 87 91 102 95 107 114 112 116 125 128 140 141 143 151 156 145 165]] [:append 29 241] [:r 33 [2 4 5 22 20 29 33 56 66 69 77 79 80 86 89 95 103 106 112 117 127 137 142 151 150 153 160 161 164 165 163 173 172 183 189 187 195 200 202 210 212 213 216 218 219 215 220 221]] [:r 36 [3 1 16 19 23 41 45 52 54 64 65 75 76 87 91 102 95 107 114 112 116 125 128 140 141 143 151 156 145 165]]]}
  T13 = {:index 12884, :time 27219266140, :type :ok, :process 9, :f :txn, :value [[:r 36 [3 1 16 19 23 41 45 52 54 64 65 75 76 87 91 102 95 107 114 112 116 125 128 140 141 143 151 156 145 165 175 179 182 176]] [:r 36 [3 1 16 19 23 41 45 52 54 64 65 75 76 87 91 102 95 107 114 112 116 125 128 140 141 143 151 156 145 165 175 179 182 176]] [:append 36 178]]}
  T14 = {:index 13004, :time 27433287658, :type :ok, :process 6, :f :txn, :value [[:append 36 209]]}

Then:
  - T1 < T2, because T1 completed at index 13026, 0.005 seconds before the invocation of T2, at index 13033.
  - T2 < T3, because T3 appended 4 after T2 appended 3 to 38.
  - T3 < T4, because T3 completed at index 13042, 0.014 seconds before the invocation of T4, at index 13049.
  - T4 < T5, because T4 did not observe T5's append of 233 to 36.
  - T5 < T6, because T6 appended 241 after T5 appended 234 to 36.
  - T6 < T7, because T7 appended 244 after T6 appended 241 to 36.
  - T7 < T8, because T8 appended 106 after T7 appended 244 to 36.
  - T8 < T9, because T8 completed at index 12626, 0.015 seconds before the invocation of T9, at index 12641.
  - T9 < T10, because T10 observed T9's append of 112 to key 36.
  - T10 < T11, because T11 appended 236 after T10 appended 234 to 29.
  - T11 < T12, because T12 appended 241 after T11 appended 236 to 29.
  - T12 < T13, because T12 completed at index 12840, 0.013 seconds before the invocation of T13, at index 12843.
  - T13 < T14, because T14 appended 209 after T13 appended 178 to 36.
  - However, T14 < T1, because T1 observed T14's append of 209 to key 36: a contradiction!


G-single-item-realtime #2
Let:
  T1 = {:index 952, :time 3361849044, :type :ok, :process 0, :f :txn, :value [[:r 8 [2 1 12 13 8 15 16 33 34 35 48 49 50 55 58 61 59 67 68 69 73 80 82 85 87 95 101 103 105 108 109 110 118 121 128 134 137 139 142 140 141 154]] [:r 10 [1 12 7 16 14 10 33 39 42 31 32 54 53 50]] [:r 7 [1 5 8 12 23 26 31 32 39 43 48 51 58 55 66 67 74 78]] [:r 8 [2 1 12 13 8 15 16 33 34 35 48 49 50 55 58 61 59 67 68 69 73 80 82 85 87 95 101 103 105 108 109 110 118 121 128 134 137 139 142 140 141 154]]]}
  T2 = {:index 964, :time 3389789927, :type :ok, :process 6, :f :txn, :value [[:append 10 55] [:append 4 8] [:r 10 [1 12 7 16 14 10 33 39 42 31 32 54 53 50 55]]]}
  T3 = {:index 1474, :time 4548497443, :type :ok, :process 9, :f :txn, :value [[:r 4 [5 7 8]] [:append 10 237] [:r 10 [1 12 7 16 14 10 33 39 42 31 32 54 53 50 55 74 81 82 83 90 99 101 102 107 109 118 124 125 133 141 144 148 149 163 164 168 183 186 182 189 201 206 217 222 237]]]}
  T4 = {:index 1516, :time 4597763933, :type :ok, :process 1, :f :txn, :value [[:r 10 [1 12 7 16 14 10 33 39 42 31 32 54 53 50 55 74 81 82 83 90 99 101 102 107 109 118 124 125 133 141 144 148 149 163 164 168 183 186 182 189 201 206 217 222 237 239 241 242]]]}
  T5 = {:index 1524, :time 4617709690, :type :ok, :process 1, :f :txn, :value [[:r 10 [1 12 7 16 14 10 33 39 42 31 32 54 53 50 55 74 81 82 83 90 99 101 102 107 109 118 124 125 133 141 144 148 149 163 164 168 183 186 182 189 201 206 217 222 237 239 241 242 255 249]] [:r 10 [1 12 7 16 14 10 33 39 42 31 32 54 53 50 55 74 81 82 83 90 99 101 102 107 109 118 124 125 133 141 144 148 149 163 164 168 183 186 182 189 201 206 217 222 237 239 241 242 255 249]] [:append 10 256]]}
  T6 = {:index 932, :time 3321598473, :type :ok, :process 5, :f :txn, :value [[:append 10 60]]}
  T7 = {:index 940, :time 3324352624, :type :ok, :process 8, :f :txn, :value [[:r 10 [1 12 7 16 14 10 33 39 42 31 32 54 53]]]}

Then:
  - T1 < T2, because T1 did not observe T2's append of 55 to 10.
  - T2 < T3, because T3 observed T2's append of 8 to key 4.
  - T3 < T4, because T3 completed at index 1474, 0.002 seconds before the invocation of T4, at index 1477.
  - T4 < T5, because T4 completed at index 1516, 0.000 seconds before the invocation of T5, at index 1517.
  - T5 < T6, because T6 appended 60 after T5 appended 256 to 10.
  - T6 < T7, because T6 completed at index 932, 0.000 seconds before the invocation of T7, at index 935.
  - However, T7 < T1, because T7 completed at index 940, 0.014 seconds before the invocation of T1, at index 949: a contradiction!