Parsed test spec with 2 sessions

starting permutation: wx1 rxy1 c1 wy2 rxy2 c2
step wx1:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking'; 
step rxy1:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step c1:  COMMIT; 
step wy2:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings'; 
step rxy2:  SELECT SUM(balance) FROM accounts; 
sum            

800            
step c2:  COMMIT; 

starting permutation: wx1 rxy1 wy2 c1 rxy2 c2
step wx1:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking'; 
step rxy1:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step wy2:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings'; 
step c1:  COMMIT; 
step rxy2:  SELECT SUM(balance) FROM accounts; 
ERROR:  could not serialize access due to read/write dependencies among transactions
step c2:  COMMIT; 

starting permutation: wx1 rxy1 wy2 rxy2 c1 c2
step wx1:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking'; 
step rxy1:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step wy2:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings'; 
step rxy2:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step c1:  COMMIT; 
step c2:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: wx1 rxy1 wy2 rxy2 c2 c1
step wx1:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking'; 
step rxy1:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step wy2:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings'; 
step rxy2:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step c2:  COMMIT; 
step c1:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: wx1 wy2 rxy1 c1 rxy2 c2
step wx1:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking'; 
step wy2:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings'; 
step rxy1:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step c1:  COMMIT; 
step rxy2:  SELECT SUM(balance) FROM accounts; 
ERROR:  could not serialize access due to read/write dependencies among transactions
step c2:  COMMIT; 

starting permutation: wx1 wy2 rxy1 rxy2 c1 c2
step wx1:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking'; 
step wy2:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings'; 
step rxy1:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step rxy2:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step c1:  COMMIT; 
step c2:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: wx1 wy2 rxy1 rxy2 c2 c1
step wx1:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking'; 
step wy2:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings'; 
step rxy1:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step rxy2:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step c2:  COMMIT; 
step c1:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: wx1 wy2 rxy2 rxy1 c1 c2
step wx1:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking'; 
step wy2:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings'; 
step rxy2:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step rxy1:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step c1:  COMMIT; 
step c2:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: wx1 wy2 rxy2 rxy1 c2 c1
step wx1:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking'; 
step wy2:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings'; 
step rxy2:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step rxy1:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step c2:  COMMIT; 
step c1:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: wx1 wy2 rxy2 c2 rxy1 c1
step wx1:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking'; 
step wy2:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings'; 
step rxy2:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step c2:  COMMIT; 
step rxy1:  SELECT SUM(balance) FROM accounts; 
ERROR:  could not serialize access due to read/write dependencies among transactions
step c1:  COMMIT; 

starting permutation: wy2 wx1 rxy1 c1 rxy2 c2
step wy2:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings'; 
step wx1:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking'; 
step rxy1:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step c1:  COMMIT; 
step rxy2:  SELECT SUM(balance) FROM accounts; 
ERROR:  could not serialize access due to read/write dependencies among transactions
step c2:  COMMIT; 

starting permutation: wy2 wx1 rxy1 rxy2 c1 c2
step wy2:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings'; 
step wx1:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking'; 
step rxy1:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step rxy2:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step c1:  COMMIT; 
step c2:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: wy2 wx1 rxy1 rxy2 c2 c1
step wy2:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings'; 
step wx1:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking'; 
step rxy1:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step rxy2:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step c2:  COMMIT; 
step c1:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: wy2 wx1 rxy2 rxy1 c1 c2
step wy2:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings'; 
step wx1:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking'; 
step rxy2:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step rxy1:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step c1:  COMMIT; 
step c2:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: wy2 wx1 rxy2 rxy1 c2 c1
step wy2:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings'; 
step wx1:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking'; 
step rxy2:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step rxy1:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step c2:  COMMIT; 
step c1:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: wy2 wx1 rxy2 c2 rxy1 c1
step wy2:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings'; 
step wx1:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking'; 
step rxy2:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step c2:  COMMIT; 
step rxy1:  SELECT SUM(balance) FROM accounts; 
ERROR:  could not serialize access due to read/write dependencies among transactions
step c1:  COMMIT; 

starting permutation: wy2 rxy2 wx1 rxy1 c1 c2
step wy2:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings'; 
step rxy2:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step wx1:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking'; 
step rxy1:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step c1:  COMMIT; 
step c2:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: wy2 rxy2 wx1 rxy1 c2 c1
step wy2:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings'; 
step rxy2:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step wx1:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking'; 
step rxy1:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step c2:  COMMIT; 
step c1:  COMMIT; 
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: wy2 rxy2 wx1 c2 rxy1 c1
step wy2:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings'; 
step rxy2:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step wx1:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking'; 
step c2:  COMMIT; 
step rxy1:  SELECT SUM(balance) FROM accounts; 
ERROR:  could not serialize access due to read/write dependencies among transactions
step c1:  COMMIT; 

starting permutation: wy2 rxy2 c2 wx1 rxy1 c1
step wy2:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'savings'; 
step rxy2:  SELECT SUM(balance) FROM accounts; 
sum            

1000           
step c2:  COMMIT; 
step wx1:  UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking'; 
step rxy1:  SELECT SUM(balance) FROM accounts; 
sum            

800            
step c1:  COMMIT; 
