tWEjvh3b
pattern: 
W1xW2xR1xC1cC2c
schedule:
[1, 2, 1, 2, 1, 1, 2]
Txn:
[[START TRANSACTION WITH CONSISTENT SNAPSHOT;, UPDATE tWEjvh3b SET VAL = 1085, tWEjvh3b.c1 = 1;, SELECT tWEjvh3b.c0, tWEjvh3b.c1, tWEjvh3b.c2, INFO FROM tWEjvh3b WHERE (NOT ((1) AND (tWEjvh3b.c1))) OR ( tWEjvh3b.c2 > 1 OR tWEjvh3b.c2 <= 1) ORDER BY tWEjvh3b.ID;, COMMIT;], [START TRANSACTION WITH CONSISTENT SNAPSHOT;, DELETE tWEjvh3b FROM tWEjvh3b WHERE (NOT ((1) AND (tWEjvh3b.c1))) OR ( tWEjvh3b.c2 > 1 OR tWEjvh3b.c2 <= 1);, COMMIT;]]
results:
('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('UPDATE tWEjvh3b SET VAL = 1085, tWEjvh3b.c1 = 1;', 38)('SELECT tWEjvh3b.c0, tWEjvh3b.c1, tWEjvh3b.c2 FROM tWEjvh3b WHERE (NOT ((1) AND (tWEjvh3b.c1))) OR ( tWEjvh3b.c2 > 1 OR tWEjvh3b.c2 <= 1) ORDER BY tWEjvh3b.ID;', 38)('COMMIT;;', (3794, "'2026-06-21 02:48:09.125975'"))('DELETE tWEjvh3b FROM tWEjvh3b WHERE (NOT ((1) AND (tWEjvh3b.c1))) OR ( tWEjvh3b.c2 > 1 OR tWEjvh3b.c2 <= 1);', 38)('COMMIT;;', (3795, "'2026-06-21 02:48:09.226069'"))
order:
3794 3795 3794 3795b 3794 3794 3795 3795
