tC56yWAE
pattern: 
W1xW2yW1yC1cW2xC2c
schedule:
[1, 2, 1, 2, 1, 1, 2, 2]
Txn:
[[START TRANSACTION WITH CONSISTENT SNAPSHOT;, UPDATE tC56yWAE SET VAL = 161, tC56yWAE.c0 = 8813.6548, tC56yWAE.c1 = 1480.2751 WHERE (0) IS NOT TRUE OR ( tC56yWAE.c0 = 5622.3030 );, UPDATE tC56yWAE SET VAL = 162, tC56yWAE.c1 = 1480.7119 WHERE (tC56yWAE.c2) BETWEEN ("-1070712086") AND ("") OR ( tC56yWAE.c0 = 9319.1067 );, COMMIT;], [START TRANSACTION WITH CONSISTENT SNAPSHOT;, DELETE tC56yWAE FROM tC56yWAE;, UPDATE tC56yWAE SET VAL = 163 WHERE (0) IS NOT TRUE OR ( tC56yWAE.c0 = 5622.3030 );, COMMIT;]]
results:
('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('UPDATE tC56yWAE SET VAL = 161, tC56yWAE.c0 = 8813.6548, tC56yWAE.c1 = 1480.2751 WHERE (0) IS NOT TRUE OR ( tC56yWAE.c0 = 5622.3030 );', 3)('UPDATE tC56yWAE SET VAL = 162, tC56yWAE.c1 = 1480.7119 WHERE (tC56yWAE.c2) BETWEEN ("-1070712086") AND ("") OR ( tC56yWAE.c0 = 9319.1067 );', 0)('COMMIT;;', (2240, "'2026-06-21 02:45:07.917624'"))('DELETE tC56yWAE FROM tC56yWAE;', 3)('UPDATE tC56yWAE SET VAL = 163 WHERE (0) IS NOT TRUE OR ( tC56yWAE.c0 = 5622.3030 );', 0)('COMMIT;;', (2241, "'2026-06-21 02:45:08.118021'"))
order:
2240 2241 2240 2241b 2240 2240 2241 2241 2241
