tWEjvh3b
pattern: 
W1xW2xC2cW1xC1c
schedule:
[1, 2, 1, 2, 2, 1, 1]
Txn:
[[START TRANSACTION WITH CONSISTENT SNAPSHOT;, INSERT INTO tWEjvh3b (ID, VAL, c0, c1, c2) VALUES ( 886, 1131, 733.7560, 0, 1);, INSERT INTO tWEjvh3b (ID, VAL, c0, c1, c2) VALUES ( 887, 1133, 4954.0999, 1, NULL), ( 888, 1134, 616.7443, 0, 0);, COMMIT;], [START TRANSACTION WITH CONSISTENT SNAPSHOT;, UPDATE tWEjvh3b SET VAL = 1132, tWEjvh3b.c2 = 1 WHERE tWEjvh3b.c1 OR ( tWEjvh3b.c2 = 0 );, COMMIT;]]
results:
('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('INSERT INTO tWEjvh3b (ID, VAL, c0, c1, c2) VALUES ( 886, 1131, 733.7560, 0, 1);', 1)('INSERT INTO tWEjvh3b (ID, VAL, c0, c1, c2) VALUES ( 887, 1133, 4954.0999, 1, NULL), ( 888, 1134, 616.7443, 0, 0);', 2)('COMMIT;;', (3872, "'2026-06-21 02:48:19.486958'"))('UPDATE tWEjvh3b SET VAL = 1132, tWEjvh3b.c2 = 1 WHERE tWEjvh3b.c1 OR ( tWEjvh3b.c2 = 0 );', 3)('COMMIT;;', (3873, "'2026-06-21 02:48:19.587138'"))
order:
3872 3873 3872 3873b 3872 3872 3873 3873
