isolation/expected/fk-deadlock.out

3 starting permutation: s1i s1u s1c s2i s2u s2c
11 starting permutation: s1i s1u s2i s1c s2u s2c
19 starting permutation: s1i s1u s2i s2u s1c s2c
28 starting permutation: s1i s2i s1u s1c s2u s2c
36 starting permutation: s1i s2i s1u s2u s1c s2c
45 starting permutation: s1i s2i s2u s1u s2c s1c
54 starting permutation: s1i s2i s2u s2c s1u s1c
62 starting permutation: s2i s1i s1u s1c s2u s2c
70 starting permutation: s2i s1i s1u s2u s1c s2c
79 starting permutation: s2i s1i s2u s1u s2c s1c
88 starting permutation: s2i s1i s2u s2c s1u s1c
96 starting permutation: s2i s2u s1i s1u s2c s1c
105 starting permutation: s2i s2u s1i s2c s1u s1c
113 starting permutation: s2i s2u s2c s1i s1u s1c