tWEjvh3b
pattern: 
W1xW2xW2yC2cR1yC1c
schedule:
[1, 2, 1, 2, 2, 2, 1, 1]
Txn:
[[START TRANSACTION WITH CONSISTENT SNAPSHOT;, INSERT INTO tWEjvh3b (ID, VAL, c0, c1, c2) VALUES ( 876, 1116, 6448.6723, 1, 0);, SELECT tWEjvh3b.c0, tWEjvh3b.c1, tWEjvh3b.c2, INFO FROM tWEjvh3b WHERE (GREATEST(8327, 81)) BETWEEN (CAST(8794 AS SIGNED)) AND (tWEjvh3b.c0) OR ( tWEjvh3b.c1 = 0 );, COMMIT;], [START TRANSACTION WITH CONSISTENT SNAPSHOT;, UPDATE tWEjvh3b SET VAL = 1117, tWEjvh3b.c2 = 1 WHERE ((5707.5192) BETWEEN (tWEjvh3b.c0) AND (tWEjvh3b.c0)) IS NOT FALSE OR ( tWEjvh3b.c1 = 1 );, UPDATE tWEjvh3b SET VAL = 1118, tWEjvh3b.c0 = 9419.9034, tWEjvh3b.c2 = 1;, COMMIT;]]
results:
('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('INSERT INTO tWEjvh3b (ID, VAL, c0, c1, c2) VALUES ( 876, 1116, 6448.6723, 1, 0);', 1)('SELECT tWEjvh3b.c0, tWEjvh3b.c1, tWEjvh3b.c2 FROM tWEjvh3b WHERE (GREATEST(8327, 81)) BETWEEN (CAST(8794 AS SIGNED)) AND (tWEjvh3b.c0) OR ( tWEjvh3b.c1 = 0 );', 2)('COMMIT;;', (3848, "'2026-06-21 02:48:16.288652'"))('UPDATE tWEjvh3b SET VAL = 1117, tWEjvh3b.c2 = 1 WHERE ((5707.5192) BETWEEN (tWEjvh3b.c0) AND (tWEjvh3b.c0)) IS NOT FALSE OR ( tWEjvh3b.c1 = 1 );', 1)('UPDATE tWEjvh3b SET VAL = 1118, tWEjvh3b.c0 = 9419.9034, tWEjvh3b.c2 = 1;', 3)('COMMIT;;', (3849, "'2026-06-21 02:48:16.488965'"))
order:
3848 3849 3848 3849b 3848 3848 3849 3849 3849
