tsztVptA
pattern: 
W1xR2xC2cW1xC1c
schedule:
[1, 2, 1, 2, 2, 1, 1]
Txn:
[[START TRANSACTION WITH CONSISTENT SNAPSHOT;, DELETE tsztVptA FROM tsztVptA WHERE 1 OR ( tsztVptA.c0 >= 3339.0517 OR tsztVptA.c0 <= 2248.9304) AND (tsztVptA.c0 >= 100) AND (tsztVptA.c1 >= 100);, INSERT INTO tsztVptA (ID, VAL, c0, c1, c2) VALUES ( 34, 44, 9678.5573, 7293, 34.5950);, COMMIT;], [START TRANSACTION WITH CONSISTENT SNAPSHOT;, SELECT tsztVptA.c0, tsztVptA.c1, tsztVptA.c2, INFO FROM tsztVptA WHERE 1 OR ( tsztVptA.c0 >= 3339.0517 OR tsztVptA.c0 <= 2248.9304) AND (tsztVptA.c0 >= 100) AND (tsztVptA.c1 >= 100);, COMMIT;]]
results:
('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('START TRANSACTION WITH CONSISTENT SNAPSHOT;', 'START')('DELETE tsztVptA FROM tsztVptA WHERE 1 OR ( tsztVptA.c0 >= 3339.0517 OR tsztVptA.c0 <= 2248.9304) AND (tsztVptA.c0 >= 100) AND (tsztVptA.c1 >= 100);', 4)('INSERT INTO tsztVptA (ID, VAL, c0, c1, c2) VALUES ( 34, 44, 9678.5573, 7293, 34.5950);', 1)('COMMIT;;', (102, "'2026-06-21 02:40:51.622517'"))('SELECT tsztVptA.c0, tsztVptA.c1, tsztVptA.c2 FROM tsztVptA WHERE 1 OR ( tsztVptA.c0 >= 3339.0517 OR tsztVptA.c0 <= 2248.9304) AND (tsztVptA.c0 >= 100) AND (tsztVptA.c1 >= 100);', 1)('COMMIT;;', (103, "'2026-06-21 02:40:51.722587'"))
order:
102 103 102 103b 102 102 103 103
