Parsed test spec with 2 sessions

starting permutation: rx1 wy1 c1 rx2 ry2 wx2 c2
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step wy1:  INSERT INTO b VALUES (1); 
step c1:  COMMIT; 
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

1              
step wx2:  DELETE FROM a WHERE i = 1; 
step c2:  COMMIT; 

starting permutation: rx1 wy1 rx2 c1 ry2 wx2 c2
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step wy1:  INSERT INTO b VALUES (1); 
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step c1:  COMMIT; 
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wx2:  DELETE FROM a WHERE i = 1; 
ERROR:  could not serialize access due to read/write dependencies among transactions
step c2:  COMMIT; 

starting permutation: rx1 wy1 rx2 ry2 c1 wx2 c2
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step wy1:  INSERT INTO b VALUES (1); 
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step c1:  COMMIT; 
step wx2:  DELETE FROM a WHERE i = 1; 
ERROR:  could not serialize access due to read/write dependencies among transactions
step c2:  COMMIT; 

starting permutation: rx1 wy1 rx2 ry2 wx2 c1 c2
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step wy1:  INSERT INTO b VALUES (1); 
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wx2:  DELETE FROM a WHERE i = 1; 
step c1:  COMMIT; 
step c2:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: rx1 wy1 rx2 ry2 wx2 c2 c1
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step wy1:  INSERT INTO b VALUES (1); 
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wx2:  DELETE FROM a WHERE i = 1; 
step c2:  COMMIT; 
step c1:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: rx1 rx2 wy1 c1 ry2 wx2 c2
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step wy1:  INSERT INTO b VALUES (1); 
step c1:  COMMIT; 
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wx2:  DELETE FROM a WHERE i = 1; 
ERROR:  could not serialize access due to read/write dependencies among transactions
step c2:  COMMIT; 

starting permutation: rx1 rx2 wy1 ry2 c1 wx2 c2
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step wy1:  INSERT INTO b VALUES (1); 
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step c1:  COMMIT; 
step wx2:  DELETE FROM a WHERE i = 1; 
ERROR:  could not serialize access due to read/write dependencies among transactions
step c2:  COMMIT; 

starting permutation: rx1 rx2 wy1 ry2 wx2 c1 c2
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step wy1:  INSERT INTO b VALUES (1); 
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wx2:  DELETE FROM a WHERE i = 1; 
step c1:  COMMIT; 
step c2:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: rx1 rx2 wy1 ry2 wx2 c2 c1
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step wy1:  INSERT INTO b VALUES (1); 
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wx2:  DELETE FROM a WHERE i = 1; 
step c2:  COMMIT; 
step c1:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: rx1 rx2 ry2 wy1 c1 wx2 c2
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wy1:  INSERT INTO b VALUES (1); 
step c1:  COMMIT; 
step wx2:  DELETE FROM a WHERE i = 1; 
ERROR:  could not serialize access due to read/write dependencies among transactions
step c2:  COMMIT; 

starting permutation: rx1 rx2 ry2 wy1 wx2 c1 c2
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wy1:  INSERT INTO b VALUES (1); 
step wx2:  DELETE FROM a WHERE i = 1; 
step c1:  COMMIT; 
step c2:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: rx1 rx2 ry2 wy1 wx2 c2 c1
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wy1:  INSERT INTO b VALUES (1); 
step wx2:  DELETE FROM a WHERE i = 1; 
step c2:  COMMIT; 
step c1:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: rx1 rx2 ry2 wx2 wy1 c1 c2
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wx2:  DELETE FROM a WHERE i = 1; 
step wy1:  INSERT INTO b VALUES (1); 
step c1:  COMMIT; 
step c2:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: rx1 rx2 ry2 wx2 wy1 c2 c1
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wx2:  DELETE FROM a WHERE i = 1; 
step wy1:  INSERT INTO b VALUES (1); 
step c2:  COMMIT; 
step c1:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: rx1 rx2 ry2 wx2 c2 wy1 c1
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wx2:  DELETE FROM a WHERE i = 1; 
step c2:  COMMIT; 
step wy1:  INSERT INTO b VALUES (1); 
ERROR:  could not serialize access due to read/write dependencies among transactions
step c1:  COMMIT; 

starting permutation: rx2 rx1 wy1 c1 ry2 wx2 c2
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step wy1:  INSERT INTO b VALUES (1); 
step c1:  COMMIT; 
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wx2:  DELETE FROM a WHERE i = 1; 
ERROR:  could not serialize access due to read/write dependencies among transactions
step c2:  COMMIT; 

starting permutation: rx2 rx1 wy1 ry2 c1 wx2 c2
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step wy1:  INSERT INTO b VALUES (1); 
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step c1:  COMMIT; 
step wx2:  DELETE FROM a WHERE i = 1; 
ERROR:  could not serialize access due to read/write dependencies among transactions
step c2:  COMMIT; 

starting permutation: rx2 rx1 wy1 ry2 wx2 c1 c2
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step wy1:  INSERT INTO b VALUES (1); 
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wx2:  DELETE FROM a WHERE i = 1; 
step c1:  COMMIT; 
step c2:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: rx2 rx1 wy1 ry2 wx2 c2 c1
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step wy1:  INSERT INTO b VALUES (1); 
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wx2:  DELETE FROM a WHERE i = 1; 
step c2:  COMMIT; 
step c1:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: rx2 rx1 ry2 wy1 c1 wx2 c2
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wy1:  INSERT INTO b VALUES (1); 
step c1:  COMMIT; 
step wx2:  DELETE FROM a WHERE i = 1; 
ERROR:  could not serialize access due to read/write dependencies among transactions
step c2:  COMMIT; 

starting permutation: rx2 rx1 ry2 wy1 wx2 c1 c2
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wy1:  INSERT INTO b VALUES (1); 
step wx2:  DELETE FROM a WHERE i = 1; 
step c1:  COMMIT; 
step c2:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: rx2 rx1 ry2 wy1 wx2 c2 c1
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wy1:  INSERT INTO b VALUES (1); 
step wx2:  DELETE FROM a WHERE i = 1; 
step c2:  COMMIT; 
step c1:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: rx2 rx1 ry2 wx2 wy1 c1 c2
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wx2:  DELETE FROM a WHERE i = 1; 
step wy1:  INSERT INTO b VALUES (1); 
step c1:  COMMIT; 
step c2:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: rx2 rx1 ry2 wx2 wy1 c2 c1
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wx2:  DELETE FROM a WHERE i = 1; 
step wy1:  INSERT INTO b VALUES (1); 
step c2:  COMMIT; 
step c1:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: rx2 rx1 ry2 wx2 c2 wy1 c1
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wx2:  DELETE FROM a WHERE i = 1; 
step c2:  COMMIT; 
step wy1:  INSERT INTO b VALUES (1); 
ERROR:  could not serialize access due to read/write dependencies among transactions
step c1:  COMMIT; 

starting permutation: rx2 ry2 rx1 wy1 c1 wx2 c2
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step wy1:  INSERT INTO b VALUES (1); 
step c1:  COMMIT; 
step wx2:  DELETE FROM a WHERE i = 1; 
ERROR:  could not serialize access due to read/write dependencies among transactions
step c2:  COMMIT; 

starting permutation: rx2 ry2 rx1 wy1 wx2 c1 c2
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step wy1:  INSERT INTO b VALUES (1); 
step wx2:  DELETE FROM a WHERE i = 1; 
step c1:  COMMIT; 
step c2:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: rx2 ry2 rx1 wy1 wx2 c2 c1
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step wy1:  INSERT INTO b VALUES (1); 
step wx2:  DELETE FROM a WHERE i = 1; 
step c2:  COMMIT; 
step c1:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: rx2 ry2 rx1 wx2 wy1 c1 c2
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step wx2:  DELETE FROM a WHERE i = 1; 
step wy1:  INSERT INTO b VALUES (1); 
step c1:  COMMIT; 
step c2:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: rx2 ry2 rx1 wx2 wy1 c2 c1
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step wx2:  DELETE FROM a WHERE i = 1; 
step wy1:  INSERT INTO b VALUES (1); 
step c2:  COMMIT; 
step c1:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: rx2 ry2 rx1 wx2 c2 wy1 c1
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step wx2:  DELETE FROM a WHERE i = 1; 
step c2:  COMMIT; 
step wy1:  INSERT INTO b VALUES (1); 
ERROR:  could not serialize access due to read/write dependencies among transactions
step c1:  COMMIT; 

starting permutation: rx2 ry2 wx2 rx1 wy1 c1 c2
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wx2:  DELETE FROM a WHERE i = 1; 
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step wy1:  INSERT INTO b VALUES (1); 
step c1:  COMMIT; 
step c2:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: rx2 ry2 wx2 rx1 wy1 c2 c1
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wx2:  DELETE FROM a WHERE i = 1; 
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step wy1:  INSERT INTO b VALUES (1); 
step c2:  COMMIT; 
step c1:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: rx2 ry2 wx2 rx1 c2 wy1 c1
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wx2:  DELETE FROM a WHERE i = 1; 
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

1              
step c2:  COMMIT; 
step wy1:  INSERT INTO b VALUES (1); 
ERROR:  could not serialize access due to read/write dependencies among transactions
step c1:  COMMIT; 

starting permutation: rx2 ry2 wx2 c2 rx1 wy1 c1
step rx2:  SELECT i FROM a WHERE i = 1; 
i              

1              
step ry2:  SELECT a_id FROM b WHERE a_id = 1; 
a_id           

step wx2:  DELETE FROM a WHERE i = 1; 
step c2:  COMMIT; 
step rx1:  SELECT i FROM a WHERE i = 1; 
i              

step wy1:  INSERT INTO b VALUES (1); 
step c1:  COMMIT; 
