G0-realtime #0
Let:
  T1 = {:index 9692, :time 20852867738, :type :ok, :process 7, :f :txn, :value [[:r 28 [1 3 4 7 15 20 30 31 40 35 41 58 66 60 82 83 95 96 99 116 117 122 125 136 135 144 140 165 168 170]]]}
  T2 = {:index 9702, :time 20866168932, :type :ok, :process 6, :f :txn, :value [[:r 30 nil]]}
  T3 = {:index 9710, :time 20883326646, :type :ok, :process 1, :f :txn, :value [[:r 28 [1 3 4 7 15 20 30 31 40 35 41 58 66 60 82 83 95 96 99 116 117 122 125 136 135 144 140 165 168 170 172 174]]]}
  T4 = {:index 9748, :time 20952492460, :type :ok, :process 5, :f :txn, :value [[:r 28 [1 3 4 7 15 20 30 31 40 35 41 58 66 60 82 83 95 96 99 116 117 122 125 136 135 144 140 165 168 170 172 174 181]]]}
  T5 = {:index 9792, :time 21038136584, :type :ok, :process 6, :f :txn, :value [[:append 28 188] [:append 30 14]]}
  T6 = {:index 9826, :time 21104883338, :type :ok, :process 2, :f :txn, :value [[:r 24 [4 9 10 13 15 16 17 19 20 22 24 33 36 40 44 47 50 51 59 72 73 75 78 82 83 93 103 107 108 114 115 120]] [:append 28 205] [:append 28 206] [:r 28 [1 3 4 7 15 20 30 31 40 35 41 58 66 60 82 83 95 96 99 116 117 122 125 136 135 144 140 165 168 170 172 174 181 182 183 188 205 206]]]}
  T7 = {:index 9830, :time 21118442732, :type :ok, :process 2, :f :txn, :value [[:append 28 212] [:r 28 [1 3 4 7 15 20 30 31 40 35 41 58 66 60 82 83 95 96 99 116 117 122 125 136 135 144 140 165 168 170 172 174 181 182 183 188 205 206 212]] [:append 3 52]]}
  T8 = {:index 9848, :time 21135981597, :type :ok, :process 4, :f :txn, :value [[:r 30 [1 9 11 17 18 14 24]]]}
  T9 = {:index 9890, :time 21246684426, :type :ok, :process 2, :f :txn, :value [[:r 29 [1 5 6 12 19 23]] [:r 28 [1 3 4 7 15 20 30 31 40 35 41 58 66 60 82 83 95 96 99 116 117 122 125 136 135 144 140 165 168 170 172 174 181 182 183 188 205 206 212 215 219 211 233 234 237]]]}
  T10 = {:index 9904, :time 21266137439, :type :ok, :process 2, :f :txn, :value [[:append 28 238]]}
  T11 = {:index 9924, :time 21308715858, :type :ok, :process 3, :f :txn, :value [[:r 28 [1 3 4 7 15 20 30 31 40 35 41 58 66 60 82 83 95 96 99 116 117 122 125 136 135 144 140 165 168 170 172 174 181 182 183 188 205 206 212 215 219 211 233 234 237 242 238]] [:append 28 243]]}
  T12 = {:index 9636, :time 20746781437, :type :ok, :process 3, :f :txn, :value [[:append 28 156]]}
  T13 = {:index 9641, :time 20747982008, :type :ok, :process 0, :f :txn, :value [[:r 28 [1 3 4 7 15 20 30 31 40 35 41 58 66 60 82 83 95 96 99 116 117 122 125 136 135 144 140]]]}

Then:
  - T1 < T2, because T1 completed at index 9692, 0.003 seconds before the invocation of T2, at index 9695.
  - T2 < T3, because T2 completed at index 9702, 0.011 seconds before the invocation of T3, at index 9707.
  - T3 < T4, because T3 completed at index 9710, 0.014 seconds before the invocation of T4, at index 9719.
  - T4 < T5, because T4 completed at index 9748, 0.029 seconds before the invocation of T5, at index 9753.
  - T5 < T6, because T6 appended 205 after T5 appended 188 to 28.
  - T6 < T7, because T7 appended 212 after T6 appended 206 to 28.
  - T7 < T8, because T7 completed at index 9830, 0.001 seconds before the invocation of T8, at index 9833.
  - T8 < T9, because T8 completed at index 9848, 0.011 seconds before the invocation of T9, at index 9851.
  - T9 < T10, because T9 completed at index 9890, 0.000 seconds before the invocation of T10, at index 9891.
  - T10 < T11, because T11 appended 243 after T10 appended 238 to 28.
  - T11 < T12, because T12 appended 156 after T11 appended 243 to 28.
  - T12 < T13, because T12 completed at index 9636, 0.001 seconds before the invocation of T13, at index 9639.
  - However, T13 < T1, because T13 completed at index 9641, 0.010 seconds before the invocation of T1, at index 9647: a contradiction!


G0-realtime #1
Let:
  T1 = {:index 2190, :time 5946157525, :type :ok, :process 9, :f :txn, :value [[:r 11 [2 10 16 32 34 38 36 37 43 42 47 48 40 68 67 76 80 87 91 93 94 89 97 98 103 102 114 119 121 128 123 140 134 144 155 157 151 156 166 171 174 173 185 183 187 192 193 194 195 201]] [:r 6 [1 2 6 8 20 22 23 30 39 52 62]]]}
  T2 = {:index 2274, :time 6085825587, :type :ok, :process 3, :f :txn, :value [[:append 12 86]]}
  T3 = {:index 2170, :time 5916616330, :type :ok, :process 2, :f :txn, :value [[:append 12 80] [:r 11 [2 10 16 32 34 38 36 37 43 42 47 48 40 68 67 76 80 87 91 93 94 89 97 98 103 102 114 119 121 128 123 140 134 144 155 157 151 156 166 171 174 173 185 183 187 192 193]]]}

Then:
  - T1 < T2, because T1 completed at index 2190, 0.042 seconds before the invocation of T2, at index 2205.
  - T2 < T3, because T3 appended 80 after T2 appended 86 to 12.
  - However, T3 < T1, because T3 completed at index 2170, 0.002 seconds before the invocation of T1, at index 2173: a contradiction!


G0-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 966, :time 3389998531, :type :ok, :process 6, :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 159]]]}
  T3 = {:index 974, :time 3412722486, :type :ok, :process 9, :f :txn, :value [[:r 6 [1 2 6 8 20 22 23]]]}
  T4 = {:index 994, :time 3469819618, :type :ok, :process 0, :f :txn, :value [[:r 5 [1 7 8 10 15 18]] [:r 10 [1 12 7 16 14 10 33 39 42 31 32 54 53 50 55 74]]]}
  T5 = {:index 1026, :time 3520987276, :type :ok, :process 0, :f :txn, :value [[:r 10 [1 12 7 16 14 10 33 39 42 31 32 54 53 50 55 74 81]] [:r 7 [1 5 8 12 23 26 31 32 39 43 48 51 58 55 66 67 74 78 82]]]}
  T6 = {:index 1050, :time 3586870371, :type :ok, :process 1, :f :txn, :value [[:append 8 172] [:append 10 90] [:r 10 [1 12 7 16 14 10 33 39 42 31 32 54 53 50 55 74 81 82 83 90]]]}
  T7 = {:index 1066, :time 3621347920, :type :ok, :process 1, :f :txn, :value [[:append 10 101] [:append 10 102] [: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 159 168 169 172 178]] [: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 159 168 169 172 178]]]}
  T8 = {:index 1092, :time 3687746064, :type :ok, :process 1, :f :txn, :value [[:append 6 30]]}
  T9 = {:index 1440, :time 4424205832, :type :ok, :process 6, :f :txn, :value [[:append 6 39] [: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]] [: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 159 168 169 172 178 183 185 186 190 191 196 198 199 208 218 226 225]]]}
  T10 = {:index 1442, :time 4424433215, :type :ok, :process 6, :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]]]}
  T11 = {: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]]]}
  T12 = {: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]]]}
  T13 = {: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]]}
  T14 = {:index 932, :time 3321598473, :type :ok, :process 5, :f :txn, :value [[:append 10 60]]}
  T15 = {: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 completed at index 952, 0.028 seconds before the invocation of T2, at index 965.
  - T2 < T3, because T2 completed at index 966, 0.021 seconds before the invocation of T3, at index 973.
  - T3 < T4, because T3 completed at index 974, 0.016 seconds before the invocation of T4, at index 985.
  - T4 < T5, because T4 completed at index 994, 0.000 seconds before the invocation of T5, at index 995.
  - T5 < T6, because T5 completed at index 1026, 0.015 seconds before the invocation of T6, at index 1033.
  - T6 < T7, because T6 completed at index 1050, 0.000 seconds before the invocation of T7, at index 1051.
  - T7 < T8, because T7 completed at index 1066, 0.000 seconds before the invocation of T8, at index 1067.
  - T8 < T9, because T9 appended 39 after T8 appended 30 to 6.
  - T9 < T10, because T9 completed at index 1440, 0.000 seconds before the invocation of T10, at index 1441.
  - T10 < T11, because T10 completed at index 1442, 0.113 seconds before the invocation of T11, at index 1469.
  - T11 < T12, because T11 completed at index 1474, 0.002 seconds before the invocation of T12, at index 1477.
  - T12 < T13, because T12 completed at index 1516, 0.000 seconds before the invocation of T13, at index 1517.
  - T13 < T14, because T14 appended 60 after T13 appended 256 to 10.
  - T14 < T15, because T14 completed at index 932, 0.000 seconds before the invocation of T15, at index 935.
  - However, T15 < T1, because T15 completed at index 940, 0.014 seconds before the invocation of T1, at index 949: a contradiction!