tC56yWAE
pattern: 
W1xW2yR2xR1yC1cC2c
schedule:
[1, 2, 1, 2, 2, 1, 1, 2]
Txn:
[[START TRANSACTION WITH CONSISTENT SNAPSHOT;, UPDATE tC56yWAE SET VAL = 29, tC56yWAE.c0 = 8025.9699, tC56yWAE.c1 = 745.3163, tC56yWAE.c2 = "X/" WHERE (tC56yWAE.c2) BETWEEN (tC56yWAE.c2) AND (CAST(0 AS CHAR)) OR ( tC56yWAE.c0 = 8186.9093 );, SELECT tC56yWAE.c0, tC56yWAE.c1, tC56yWAE.c2, INFO FROM tC56yWAE WHERE 1 OR ( tC56yWAE.c1 = 2407.5857 );, COMMIT;], [START TRANSACTION WITH CONSISTENT SNAPSHOT;, UPDATE tC56yWAE SET VAL = 30, tC56yWAE.c0 = 402.4748;, SELECT tC56yWAE.c0, tC56yWAE.c1, tC56yWAE.c2, INFO FROM tC56yWAE WHERE (tC56yWAE.c2) BETWEEN (tC56yWAE.c2) AND (CAST(0 AS CHAR)) OR ( tC56yWAE.c0 = 8186.9093 );, COMMIT;]]
results:
('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('UPDATE tC56yWAE SET VAL = 29, tC56yWAE.c0 = 8025.9699, tC56yWAE.c1 = 745.3163, tC56yWAE.c2 = "X/" WHERE (tC56yWAE.c2) BETWEEN (tC56yWAE.c2) AND (CAST(0 AS CHAR)) OR ( tC56yWAE.c0 = 8186.9093 );', 5)('SELECT tC56yWAE.c0, tC56yWAE.c1, tC56yWAE.c2 FROM tC56yWAE WHERE 1 OR ( tC56yWAE.c1 = 2407.5857 );', 16)('COMMIT;;', (2029, "'2026-06-21 02:44:44.845772'"))('UPDATE tC56yWAE SET VAL = 30, tC56yWAE.c0 = 402.4748;', 16)('SELECT tC56yWAE.c0, tC56yWAE.c1, tC56yWAE.c2 FROM tC56yWAE WHERE (tC56yWAE.c2) BETWEEN (tC56yWAE.c2) AND (CAST(0 AS CHAR)) OR ( tC56yWAE.c0 = 8186.9093 );', 0)('COMMIT;;', (2030, "'2026-06-21 02:44:45.046018'"))
order:
2029 2030 2029 2030b 2029 2029 2030 2030 2030
