G0-realtime #0
Let:
  T1 = {:index 13972, :time 29190905739, :type :ok, :process 598, :f :txn, :value [[:r 536 nil] [:append 527 15] [:append 536 5] [:append 535 15]]}
  T2 = {:index 13978, :time 29206437941, :type :ok, :process 598, :f :txn, :value [[:r 496 [2 3 4 7 10 14]]]}
  T3 = {:index 13986, :time 29235182410, :type :ok, :process 632, :f :txn, :value [[:append 532 7]]}
  T4 = {:index 14000, :time 29246053718, :type :ok, :process 632, :f :txn, :value [[:r 537 nil] [:append 536 7]]}

Then:
  - T1 < T2, because T1 completed at index 13972, 0.000 seconds before the invocation of T2, at index 13973.
  - T2 < T3, because T2 completed at index 13978, 0.024 seconds before the invocation of T3, at index 13983.
  - T3 < T4, because T3 completed at index 13986, 0.000 seconds before the invocation of T4, at index 13987.
  - However, T4 < T1, because T1 appended 5 after T4 appended 7 to 536: a contradiction!


G0-realtime #1
Let:
  T1 = {:index 9950, :time 20922080134, :type :ok, :process 430, :f :txn, :value [[:r 385 nil] [:append 385 3]]}
  T2 = {:index 9960, :time 20926584455, :type :ok, :process 473, :f :txn, :value [[:append 385 14]]}

Then:
  - T1 < T2, because T1 completed at index 9950, 0.003 seconds before the invocation of T2, at index 9957.
  - However, T2 < T1, because T1 appended 3 after T2 appended 14 to 385: a contradiction!


G0-realtime #2
Let:
  T1 = {:index 20832, :time 42504236424, :type :ok, :process 883, :f :txn, :value [[:r 794 nil] [:append 794 3]]}
  T2 = {:index 20860, :time 42557565435, :type :ok, :process 970, :f :txn, :value [[:append 794 12] [:r 794 [5 12]] [:append 795 2]]}

Then:
  - T1 < T2, because T1 completed at index 20832, 0.006 seconds before the invocation of T2, at index 20843.
  - However, T2 < T1, because T1 appended 3 after T2 appended 12 to 794: a contradiction!


G0-realtime #3
Let:
  T1 = {:index 8804, :time 18670353588, :type :ok, :process 446, :f :txn, :value [[:r 339 nil] [:r 339 nil] [:r 338 nil] [:append 338 6]]}
  T2 = {:index 8822, :time 18698718577, :type :ok, :process 456, :f :txn, :value [[:append 339 16] [:append 334 15]]}
  T3 = {:index 8706, :time 18468515483, :type :ok, :process 361, :f :txn, :value [[:append 334 7]]}
  T4 = {:index 8744, :time 18542565041, :type :ok, :process 361, :f :txn, :value [[:r 335 [1 8 11]] [:r 331 nil]]}
  T5 = {:index 8750, :time 18571491323, :type :ok, :process 340, :f :txn, :value [[:r 338 nil]]}
  T6 = {:index 8756, :time 18578100676, :type :ok, :process 379, :f :txn, :value [[:append 338 5] [:r 338 [5]] [:r 339 nil]]}

Then:
  - T1 < T2, because T1 completed at index 8804, 0.018 seconds before the invocation of T2, at index 8815.
  - T2 < T3, because T3 appended 7 after T2 appended 15 to 334.
  - T3 < T4, because T3 completed at index 8706, 0.003 seconds before the invocation of T4, at index 8709.
  - T4 < T5, because T4 completed at index 8744, 0.029 seconds before the invocation of T5, at index 8749.
  - T5 < T6, because T5 completed at index 8750, 0.001 seconds before the invocation of T6, at index 8755.
  - However, T6 < T1, because T6 completed at index 8756, 0.005 seconds before the invocation of T1, at index 8759: a contradiction!


G0-realtime #4
Let:
  T1 = {:index 18672, :time 38339918654, :type :ok, :process 758, :f :txn, :value [[:append 715 3]]}
  T2 = {:index 18696, :time 38377788236, :type :ok, :process 921, :f :txn, :value [[:append 714 14] [:r 714 [2 8 14]]]}
  T3 = {:index 18722, :time 38425705165, :type :ok, :process 769, :f :txn, :value [[:append 714 9] [:append 715 1] [:r 715 [1]]]}

Then:
  - T1 < T2, because T1 completed at index 18672, 0.000 seconds before the invocation of T2, at index 18675.
  - T2 < T3, because T3 appended 9 after T2 appended 14 to 714.
  - However, T3 < T1, because T1 appended 3 after T3 appended 1 to 715: a contradiction!