Parsed test spec with 3 sessions

starting permutation: s1rr s2del s3v s1q s1c s1q
step s1rr: BEGIN ISOLATION LEVEL REPEATABLE READ; SELECT count(*) FROM iso_pa;
 count
------
120000
(1 row)

step s2del: DELETE FROM iso_pa WHERE id % 50 = 0;
step s3v: VACUUM iso_pa;
step s1q: SELECT * FROM iso_pa_check();
     n|same|pre 
------+----+----
120000|t   |none
(1 row)

step s1c: COMMIT;
step s1q: SELECT * FROM iso_pa_check();
     n|same|pre 
------+----+----
117600|t   |none
(1 row)


starting permutation: s1rr s2ins s3v s1q s1c s1q
step s1rr: BEGIN ISOLATION LEVEL REPEATABLE READ; SELECT count(*) FROM iso_pa;
 count
------
120000
(1 row)

step s2ins: INSERT INTO iso_pa SELECT 200000 + i, i % 7, i FROM generate_series(1, 3000) i;
step s3v: VACUUM iso_pa;
step s1q: SELECT * FROM iso_pa_check();
     n|same|pre 
------+----+----
120000|t   |some
(1 row)

step s1c: COMMIT;
step s1q: SELECT * FROM iso_pa_check();
     n|same|pre 
------+----+----
123000|t   |some
(1 row)


starting permutation: s1rr s2upd s3v s1q s1c s1q
step s1rr: BEGIN ISOLATION LEVEL REPEATABLE READ; SELECT count(*) FROM iso_pa;
 count
------
120000
(1 row)

step s2upd: UPDATE iso_pa SET v = v + 1, g = 3 WHERE id % 1000 = 0;
step s3v: VACUUM iso_pa;
step s1q: SELECT * FROM iso_pa_check();
     n|same|pre 
------+----+----
120000|t   |none
(1 row)

step s1c: COMMIT;
step s1q: SELECT * FROM iso_pa_check();
     n|same|pre 
------+----+----
120000|t   |none
(1 row)


starting permutation: s2b s2del s3v s1q s2c s1q
step s2b: BEGIN;
step s2del: DELETE FROM iso_pa WHERE id % 50 = 0;
step s3v: VACUUM iso_pa;
step s1q: SELECT * FROM iso_pa_check();
     n|same|pre 
------+----+----
120000|t   |none
(1 row)

step s2c: COMMIT;
step s1q: SELECT * FROM iso_pa_check();
     n|same|pre 
------+----+----
117600|t   |none
(1 row)


starting permutation: s2b s2ins s3v s1q s2c s1q
step s2b: BEGIN;
step s2ins: INSERT INTO iso_pa SELECT 200000 + i, i % 7, i FROM generate_series(1, 3000) i;
step s3v: VACUUM iso_pa;
step s1q: SELECT * FROM iso_pa_check();
     n|same|pre 
------+----+----
120000|t   |some
(1 row)

step s2c: COMMIT;
step s1q: SELECT * FROM iso_pa_check();
     n|same|pre 
------+----+----
123000|t   |some
(1 row)


starting permutation: s2b s2upd s3v s1q s2a s3v s1q
step s2b: BEGIN;
step s2upd: UPDATE iso_pa SET v = v + 1, g = 3 WHERE id % 1000 = 0;
step s3v: VACUUM iso_pa;
step s1q: SELECT * FROM iso_pa_check();
     n|same|pre 
------+----+----
120000|t   |none
(1 row)

step s2a: ROLLBACK;
step s3v: VACUUM iso_pa;
step s1q: SELECT * FROM iso_pa_check();
     n|same|pre
------+----+---
120000|t   |all
(1 row)


starting permutation: s2b s2del s2a s3v s1q
step s2b: BEGIN;
step s2del: DELETE FROM iso_pa WHERE id % 50 = 0;
step s2a: ROLLBACK;
step s3v: VACUUM iso_pa;
step s1q: SELECT * FROM iso_pa_check();
     n|same|pre
------+----+---
120000|t   |all
(1 row)


starting permutation: s2b s2ins s2a s3v s1q
step s2b: BEGIN;
step s2ins: INSERT INTO iso_pa SELECT 200000 + i, i % 7, i FROM generate_series(1, 3000) i;
step s2a: ROLLBACK;
step s3v: VACUUM iso_pa;
step s1q: SELECT * FROM iso_pa_check();
     n|same|pre
------+----+---
120000|t   |all
(1 row)