Parsed test spec with 2 sessions

starting permutation: s1u1 s1u2 s1c s2u1 s2u2 s2c
step s1u1:  UPDATE A SET Col1 = 1 WHERE AID = 1; 
step s1u2:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
step s1c:  COMMIT; 
step s2u1:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
step s2u2:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
step s2c:  COMMIT; 

starting permutation: s1u1 s1u2 s2u1 s1c s2u2 s2c
step s1u1:  UPDATE A SET Col1 = 1 WHERE AID = 1; 
step s1u2:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
step s2u1:  UPDATE B SET Col2 = 1 WHERE BID = 2;  <waiting ...>
step s1c:  COMMIT; 
step s2u1: <... completed>
ERROR:  could not serialize access due to concurrent update
step s2u2:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
ERROR:  current transaction is aborted, commands ignored until end of transaction block
step s2c:  COMMIT; 

starting permutation: s1u1 s2u1 s1u2 s2u2 s1c s2c
step s1u1:  UPDATE A SET Col1 = 1 WHERE AID = 1; 
step s2u1:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
step s1u2:  UPDATE B SET Col2 = 1 WHERE BID = 2;  <waiting ...>
step s2u2:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
step s1u2: <... completed>
ERROR:  deadlock detected
step s1c:  COMMIT; 
step s2c:  COMMIT; 

starting permutation: s1u1 s2u1 s1u2 s2u2 s2c s1c
step s1u1:  UPDATE A SET Col1 = 1 WHERE AID = 1; 
step s2u1:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
step s1u2:  UPDATE B SET Col2 = 1 WHERE BID = 2;  <waiting ...>
step s2u2:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
step s1u2: <... completed>
ERROR:  deadlock detected
step s2c:  COMMIT; 
step s1c:  COMMIT; 

starting permutation: s1u1 s2u1 s2u2 s1u2 s1c s2c
step s1u1:  UPDATE A SET Col1 = 1 WHERE AID = 1; 
step s2u1:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
step s2u2:  UPDATE B SET Col2 = 1 WHERE BID = 2;  <waiting ...>
step s1u2:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
ERROR:  deadlock detected
step s2u2: <... completed>
step s1c:  COMMIT; 
step s2c:  COMMIT; 

starting permutation: s1u1 s2u1 s2u2 s1u2 s2c s1c
step s1u1:  UPDATE A SET Col1 = 1 WHERE AID = 1; 
step s2u1:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
step s2u2:  UPDATE B SET Col2 = 1 WHERE BID = 2;  <waiting ...>
step s1u2:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
ERROR:  deadlock detected
step s2u2: <... completed>
step s2c:  COMMIT; 
step s1c:  COMMIT; 

starting permutation: s2u1 s1u1 s1u2 s2u2 s1c s2c
step s2u1:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
step s1u1:  UPDATE A SET Col1 = 1 WHERE AID = 1; 
step s1u2:  UPDATE B SET Col2 = 1 WHERE BID = 2;  <waiting ...>
step s2u2:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
step s1u2: <... completed>
ERROR:  deadlock detected
step s1c:  COMMIT; 
step s2c:  COMMIT; 

starting permutation: s2u1 s1u1 s1u2 s2u2 s2c s1c
step s2u1:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
step s1u1:  UPDATE A SET Col1 = 1 WHERE AID = 1; 
step s1u2:  UPDATE B SET Col2 = 1 WHERE BID = 2;  <waiting ...>
step s2u2:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
step s1u2: <... completed>
ERROR:  deadlock detected
step s2c:  COMMIT; 
step s1c:  COMMIT; 

starting permutation: s2u1 s1u1 s2u2 s1u2 s1c s2c
step s2u1:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
step s1u1:  UPDATE A SET Col1 = 1 WHERE AID = 1; 
step s2u2:  UPDATE B SET Col2 = 1 WHERE BID = 2;  <waiting ...>
step s1u2:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
ERROR:  deadlock detected
step s2u2: <... completed>
step s1c:  COMMIT; 
step s2c:  COMMIT; 

starting permutation: s2u1 s1u1 s2u2 s1u2 s2c s1c
step s2u1:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
step s1u1:  UPDATE A SET Col1 = 1 WHERE AID = 1; 
step s2u2:  UPDATE B SET Col2 = 1 WHERE BID = 2;  <waiting ...>
step s1u2:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
ERROR:  deadlock detected
step s2u2: <... completed>
step s2c:  COMMIT; 
step s1c:  COMMIT; 

starting permutation: s2u1 s2u2 s1u1 s2c s1u2 s1c
step s2u1:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
step s2u2:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
step s1u1:  UPDATE A SET Col1 = 1 WHERE AID = 1;  <waiting ...>
step s2c:  COMMIT; 
step s1u1: <... completed>
step s1u2:  UPDATE B SET Col2 = 1 WHERE BID = 2; 
ERROR:  could not serialize access due to concurrent update
step s1c:  COMMIT; 
