tWEjvh3b
pattern: 
W1xW2xW1xC1cC2c
schedule:
[1, 2, 1, 2, 1, 1, 2]
Txn:
[[START TRANSACTION WITH CONSISTENT SNAPSHOT;, DELETE tWEjvh3b FROM tWEjvh3b WHERE ((0) IS NOT TRUE) AND (tWEjvh3b.c1) OR ( tWEjvh3b.c0 = 3278.2776 );, INSERT INTO tWEjvh3b (ID, VAL, c0, c1, c2) VALUES ( 806, 1026, 7784.3837, 1, 1);, COMMIT;], [START TRANSACTION WITH CONSISTENT SNAPSHOT;, DELETE tWEjvh3b FROM tWEjvh3b WHERE ((0) IS NOT TRUE) AND (tWEjvh3b.c1) OR ( tWEjvh3b.c0 = 3278.2776 );, COMMIT;]]
results:
('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('DELETE tWEjvh3b FROM tWEjvh3b WHERE ((0) IS NOT TRUE) AND (tWEjvh3b.c1) OR ( tWEjvh3b.c0 = 3278.2776 );', 1)('INSERT INTO tWEjvh3b (ID, VAL, c0, c1, c2) VALUES ( 806, 1026, 7784.3837, 1, 1);', 1)('COMMIT;;', (3707, "'2026-06-21 02:47:57.985242'"))('DELETE tWEjvh3b FROM tWEjvh3b WHERE ((0) IS NOT TRUE) AND (tWEjvh3b.c1) OR ( tWEjvh3b.c0 = 3278.2776 );', 1)('COMMIT;;', (3708, "'2026-06-21 02:47:58.085355'"))
order:
3707 3708 3707 3708b 3707 3707 3708 3708
