tmR4NjTn
pattern: 
W1xR2xC1cC2c
schedule:
[1, 2, 1, 2, 1, 2]
Txn:
[[START TRANSACTION WITH CONSISTENT SNAPSHOT;, UPDATE tmR4NjTn SET VAL = 573, tmR4NjTn.c0 = 0, tmR4NjTn.c2 = 4222 WHERE tmR4NjTn.c0 OR ( tmR4NjTn.c1 = 7089.1175 ) AND (tmR4NjTn.c2 >= 100);, COMMIT;], [START TRANSACTION WITH CONSISTENT SNAPSHOT;, SELECT tmR4NjTn.c0, tmR4NjTn.c1, tmR4NjTn.c2, INFO FROM tmR4NjTn FOR UPDATE;, COMMIT;]]
results:
('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('UPDATE tmR4NjTn SET VAL = 573, tmR4NjTn.c0 = 0, tmR4NjTn.c2 = 4222 WHERE tmR4NjTn.c0 OR ( tmR4NjTn.c1 = 7089.1175 ) AND (tmR4NjTn.c2 >= 100);', 1)('COMMIT;;', (2986, "'2026-06-21 02:46:33.501238'"))('SELECT tmR4NjTn.c0, tmR4NjTn.c1, tmR4NjTn.c2 FROM tmR4NjTn FOR UPDATE;', 4)('COMMIT;;', (2987, "'2026-06-21 02:46:33.601472'"))
order:
2986 2987 2986 2987b 2986 2987 2987
