tWEjvh3b
pattern: 
W1xW2yW2xR1yC1cC2c
schedule:
[1, 2, 1, 2, 2, 1, 1, 2]
Txn:
[[START TRANSACTION WITH CONSISTENT SNAPSHOT;, INSERT INTO tWEjvh3b (ID, VAL, c0, c1, c2) VALUES ( 746, 955, 837.0064, 1, 1);, SELECT tWEjvh3b.c0, tWEjvh3b.c1, tWEjvh3b.c2, INFO FROM tWEjvh3b WHERE ((0) | (tWEjvh3b.c1)) = (BIT_COUNT(tWEjvh3b.c0)) OR ( tWEjvh3b.c0 = 3534.5051 );, COMMIT;], [START TRANSACTION WITH CONSISTENT SNAPSHOT;, UPDATE tWEjvh3b SET VAL = 956, tWEjvh3b.c0 = 412.9946, tWEjvh3b.c2 = 0 WHERE ((0) | (tWEjvh3b.c1)) = (BIT_COUNT(tWEjvh3b.c0)) OR ( tWEjvh3b.c0 = 3534.5051 );, UPDATE tWEjvh3b SET VAL = 957, tWEjvh3b.c0 = 700.6145, tWEjvh3b.c1 = 1, tWEjvh3b.c2 = 1 WHERE tWEjvh3b.c1 OR ( tWEjvh3b.c1 < 0 AND tWEjvh3b.c1 > 0 );, COMMIT;]]
results:
('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('INSERT INTO tWEjvh3b (ID, VAL, c0, c1, c2) VALUES ( 746, 955, 837.0064, 1, 1);', 1)('SELECT tWEjvh3b.c0, tWEjvh3b.c1, tWEjvh3b.c2 FROM tWEjvh3b WHERE ((0) | (tWEjvh3b.c1)) = (BIT_COUNT(tWEjvh3b.c0)) OR ( tWEjvh3b.c0 = 3534.5051 );', 1)('COMMIT;;', (3580, "'2026-06-21 02:47:42.753058'"))('UPDATE tWEjvh3b SET VAL = 956, tWEjvh3b.c0 = 412.9946, tWEjvh3b.c2 = 0 WHERE ((0) | (tWEjvh3b.c1)) = (BIT_COUNT(tWEjvh3b.c0)) OR ( tWEjvh3b.c0 = 3534.5051 );', 1)('UPDATE tWEjvh3b SET VAL = 957, tWEjvh3b.c0 = 700.6145, tWEjvh3b.c1 = 1, tWEjvh3b.c2 = 1 WHERE tWEjvh3b.c1 OR ( tWEjvh3b.c1 < 0 AND tWEjvh3b.c1 > 0 );', 5)('COMMIT;;', (3581, "'2026-06-21 02:47:42.953316'"))
order:
3580 3581 3580 3581b 3580 3580 3581 3581 3581
