tmR4NjTn
pattern: 
W1xR2yW2xC2cW1yC1c
schedule:
[1, 2, 1, 2, 2, 2, 1, 1]
Txn:
[[START TRANSACTION WITH CONSISTENT SNAPSHOT;, DELETE tmR4NjTn FROM tmR4NjTn WHERE tmR4NjTn.c0 OR ( tmR4NjTn.c0 < 0 AND tmR4NjTn.c0 >= 1 ) AND (tmR4NjTn.c2 >= 100);, UPDATE tmR4NjTn SET VAL = 496, tmR4NjTn.c1 = 4582.6449 WHERE tmR4NjTn.c0 OR ( tmR4NjTn.c2 > 2222 OR tmR4NjTn.c2 <= 8396) AND (tmR4NjTn.c2 >= 100);, COMMIT;], [START TRANSACTION WITH CONSISTENT SNAPSHOT;, SELECT tmR4NjTn.c0, tmR4NjTn.c1, tmR4NjTn.c2, INFO FROM tmR4NjTn WHERE tmR4NjTn.c0 OR ( tmR4NjTn.c2 > 2222 OR tmR4NjTn.c2 <= 8396) AND (tmR4NjTn.c2 >= 100) ORDER BY tmR4NjTn.ID FOR UPDATE;, DELETE tmR4NjTn FROM tmR4NjTn WHERE tmR4NjTn.c0 OR ( tmR4NjTn.c0 < 0 AND tmR4NjTn.c0 >= 1 ) AND (tmR4NjTn.c2 >= 100);, COMMIT;]]
results:
('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('DELETE tmR4NjTn FROM tmR4NjTn WHERE tmR4NjTn.c0 OR ( tmR4NjTn.c0 < 0 AND tmR4NjTn.c0 >= 1 ) AND (tmR4NjTn.c2 >= 100);', 4)('UPDATE tmR4NjTn SET VAL = 496, tmR4NjTn.c1 = 4582.6449 WHERE tmR4NjTn.c0 OR ( tmR4NjTn.c2 > 2222 OR tmR4NjTn.c2 <= 8396) AND (tmR4NjTn.c2 >= 100);', 7)('COMMIT;;', (2844, "'2026-06-21 02:46:17.061416'"))('SELECT tmR4NjTn.c0, tmR4NjTn.c1, tmR4NjTn.c2 FROM tmR4NjTn WHERE tmR4NjTn.c0 OR ( tmR4NjTn.c2 > 2222 OR tmR4NjTn.c2 <= 8396) AND (tmR4NjTn.c2 >= 100) ORDER BY tmR4NjTn.ID FOR UPDATE;', 7)('DELETE tmR4NjTn FROM tmR4NjTn WHERE tmR4NjTn.c0 OR ( tmR4NjTn.c0 < 0 AND tmR4NjTn.c0 >= 1 ) AND (tmR4NjTn.c2 >= 100);', 0)('COMMIT;;', (2845, "'2026-06-21 02:46:17.261718'"))
order:
2844 2845 2844 2845b 2844 2844 2845 2845 2845
