tj9VzKl7
pattern: 
W1xW2yR1yC1cR2xC2c
schedule:
[1, 2, 1, 2, 1, 1, 2, 2]
Txn:
[[START TRANSACTION WITH CONSISTENT SNAPSHOT;, INSERT INTO tj9VzKl7 (ID, VAL, c0, c1, c2) VALUES ( 212, 267, 4725.5319, 3528.6861, 5402.0622);, SELECT tj9VzKl7.c0, tj9VzKl7.c1, tj9VzKl7.c2, INFO FROM tj9VzKl7 WHERE (0) & (0) OR ( tj9VzKl7.c2 = 2961.9862 ) AND (tj9VzKl7.c2 >= 100);, COMMIT;], [START TRANSACTION WITH CONSISTENT SNAPSHOT;, UPDATE tj9VzKl7 SET VAL = 268 WHERE (0) & (0) OR ( tj9VzKl7.c2 = 2961.9862 ) AND (tj9VzKl7.c2 >= 100);, SELECT tj9VzKl7.c0, tj9VzKl7.c1, tj9VzKl7.c2, INFO FROM tj9VzKl7;, COMMIT;]]
results:
('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('INSERT INTO tj9VzKl7 (ID, VAL, c0, c1, c2) VALUES ( 212, 267, 4725.5319, 3528.6861, 5402.0622);', 1)('UPDATE tj9VzKl7 SET VAL = 268 WHERE (0) & (0) OR ( tj9VzKl7.c2 = 2961.9862 ) AND (tj9VzKl7.c2 >= 100);', 0)('SELECT tj9VzKl7.c0, tj9VzKl7.c1, tj9VzKl7.c2 FROM tj9VzKl7 WHERE (0) & (0) OR ( tj9VzKl7.c2 = 2961.9862 ) AND (tj9VzKl7.c2 >= 100);', 0)('COMMIT;;', (473, "'2026-06-21 03:05:33.741801'"))('SELECT tj9VzKl7.c0, tj9VzKl7.c1, tj9VzKl7.c2 FROM tj9VzKl7;', 10)('COMMIT;;', (474, "'2026-06-21 03:05:33.942126'"))
order:
473 474 473 474 473 473 474 474
