t4mtZTgN
pattern: 
W1xR2xC2cW1xC1c
schedule:
[1, 2, 1, 2, 2, 1, 1]
Txn:
[[START TRANSACTION WITH CONSISTENT SNAPSHOT;, DELETE t4mtZTgN FROM t4mtZTgN WHERE ((t4mtZTgN.c2) = (t4mtZTgN.c2)) XOR (t4mtZTgN.c2) OR ( t4mtZTgN.c1 = 5041.7280 ) AND (t4mtZTgN.c0 >= 100);, INSERT INTO t4mtZTgN (ID, VAL, c0, c1, c2) VALUES ( 867, 1109, 7974.0140, 8260.6042, 0);, COMMIT;], [START TRANSACTION WITH CONSISTENT SNAPSHOT;, SELECT t4mtZTgN.c0, t4mtZTgN.c1, t4mtZTgN.c2, INFO FROM t4mtZTgN WHERE ((t4mtZTgN.c2) = (t4mtZTgN.c2)) XOR (t4mtZTgN.c2) OR ( t4mtZTgN.c1 = 5041.7280 ) AND (t4mtZTgN.c0 >= 100) FOR UPDATE;, COMMIT;]]
results:
('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('DELETE t4mtZTgN FROM t4mtZTgN WHERE ((t4mtZTgN.c2) = (t4mtZTgN.c2)) XOR (t4mtZTgN.c2) OR ( t4mtZTgN.c1 = 5041.7280 ) AND (t4mtZTgN.c0 >= 100);', 4)('INSERT INTO t4mtZTgN (ID, VAL, c0, c1, c2) VALUES ( 867, 1109, 7974.0140, 8260.6042, 0);', 1)('COMMIT;;', (3868, "'2026-06-21 03:11:59.240114'"))('SELECT t4mtZTgN.c0, t4mtZTgN.c1, t4mtZTgN.c2 FROM t4mtZTgN WHERE ((t4mtZTgN.c2) = (t4mtZTgN.c2)) XOR (t4mtZTgN.c2) OR ( t4mtZTgN.c1 = 5041.7280 ) AND (t4mtZTgN.c0 >= 100) FOR UPDATE;', 1)('COMMIT;;', (3869, "'2026-06-21 03:11:59.340249'"))
order:
3868 3869 3868 3869b 3868 3868 3869 3869
