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
(1 row)

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

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
(1 row)

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
(1 row)

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

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
(1 row)

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

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
(1 row)

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
(1 row)

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

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
(1 row)

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

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
(1 row)

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

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
(1 row)

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

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
(1 row)

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
(1 row)

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
(1 row)

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

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
(1 row)

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

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
(1 row)

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

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
(1 row)

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

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
(1 row)

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
(1 row)

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

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
(1 row)

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

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
(1 row)

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
(1 row)

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

step c1: COMMIT;