tWEjvh3b
pattern: 
W1xW2xC1cC2c
schedule:
[1, 2, 1, 2, 1, 2]
Txn:
[[START TRANSACTION WITH CONSISTENT SNAPSHOT;, UPDATE tWEjvh3b SET VAL = 1023, tWEjvh3b.c0 = 1567.3728, tWEjvh3b.c1 = 0 WHERE tWEjvh3b.c1 OR ( tWEjvh3b.c2 = 0 );, COMMIT;], [START TRANSACTION WITH CONSISTENT SNAPSHOT;, DELETE tWEjvh3b FROM tWEjvh3b;, COMMIT;]]
results:
('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('UPDATE tWEjvh3b SET VAL = 1023, tWEjvh3b.c0 = 1567.3728, tWEjvh3b.c1 = 0 WHERE tWEjvh3b.c1 OR ( tWEjvh3b.c2 = 0 );', 11)('COMMIT;;', (3701, "'2026-06-21 02:47:57.236625'"))('DELETE tWEjvh3b FROM tWEjvh3b;', 13)('COMMIT;;', (3702, "'2026-06-21 02:47:57.336952'"))
order:
3701 3702 3701 3702b 3701 3702 3702
