tj9VzKl7
pattern: 
W1xR2xW1xC1cC2c
schedule:
[1, 2, 1, 2, 1, 1, 2]
Txn:
[[START TRANSACTION WITH CONSISTENT SNAPSHOT;, DELETE tj9VzKl7 FROM tj9VzKl7 WHERE (! ((1) IS UNKNOWN)) OR ( tj9VzKl7.c2 > 0.0903 OR tj9VzKl7.c2 <= 6233.7111) AND (tj9VzKl7.c2 >= 100);, INSERT INTO tj9VzKl7 (ID, VAL, c0, c1, c2) VALUES ( 249, 309, 2046.7592, 795.4322, 4312.4663), ( 250, 310, 343.2572, 4931.5944, 225.8022);, COMMIT;], [START TRANSACTION WITH CONSISTENT SNAPSHOT;, SELECT tj9VzKl7.c0, tj9VzKl7.c1, tj9VzKl7.c2, INFO FROM tj9VzKl7 WHERE (! ((1) IS UNKNOWN)) OR ( tj9VzKl7.c2 > 0.0903 OR tj9VzKl7.c2 <= 6233.7111) AND (tj9VzKl7.c2 >= 100);, COMMIT;]]
results:
('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('DELETE tj9VzKl7 FROM tj9VzKl7 WHERE (! ((1) IS UNKNOWN)) OR ( tj9VzKl7.c2 > 0.0903 OR tj9VzKl7.c2 <= 6233.7111) AND (tj9VzKl7.c2 >= 100);', 2)('INSERT INTO tj9VzKl7 (ID, VAL, c0, c1, c2) VALUES ( 249, 309, 2046.7592, 795.4322, 4312.4663), ( 250, 310, 343.2572, 4931.5944, 225.8022);', 2)('COMMIT;;', (545, "'2026-06-21 03:05:42.949377'"))('SELECT tj9VzKl7.c0, tj9VzKl7.c1, tj9VzKl7.c2 FROM tj9VzKl7 WHERE (! ((1) IS UNKNOWN)) OR ( tj9VzKl7.c2 > 0.0903 OR tj9VzKl7.c2 <= 6233.7111) AND (tj9VzKl7.c2 >= 100);', 2)('COMMIT;;', (546, "'2026-06-21 03:05:43.049473'"))
order:
545 546 545 546b 545 545 546 546
