Not linearizable. Linearizable prefix was:
2	:invoke	:read	2
4	:invoke	:read	2
3	:invoke	:write	4
1	:invoke	:write	2
0	:invoke	:cas	[4 2]
1	:ok	:write	2
3	:ok	:write	4
4	:ok	:read	2
2	:ok	:read	2
0	:fail	:cas	[4 2]	:value-mismatch
1	:invoke	:write	4
2	:invoke	:write	1
4	:invoke	:write	1
3	:invoke	:cas	[4 1]
1	:ok	:write	4
0	:invoke	:read	1
3	:fail	:cas	[4 1]	:value-mismatch
4	:ok	:write	1
0	:ok	:read	1
2	:ok	:write	1
4	:invoke	:read	1
0	:invoke	:read	1
4	:ok	:read	1
0	:ok	:read	1
1	:invoke	:cas	[1 2]
3	:invoke	:cas	[4 4]
2	:invoke	:cas	[1 3]
3	:fail	:cas	[4 4]	:value-mismatch
2	:fail	:cas	[1 3]	:value-mismatch
1	:ok	:cas	[1 2]
4	:invoke	:cas	[1 0]
0	:invoke	:cas	[2 1]
4	:fail	:cas	[1 0]	:value-mismatch
0	:ok	:cas	[2 1]
3	:invoke	:read	1
2	:invoke	:cas	[1 3]
1	:invoke	:cas	[2 0]
3	:ok	:read	1
1	:fail	:cas	[2 0]	:value-mismatch
2	:ok	:cas	[1 3]
4	:invoke	:read	3
4	:ok	:read	3
0	:invoke	:write	2
3	:invoke	:cas	[2 0]
0	:ok	:write	2
1	:invoke	:read	0
1	:ok	:read	0
2	:invoke	:write	0
3	:ok	:cas	[2 0]
2	:ok	:write	0
4	:invoke	:write	4
4	:ok	:write	4
0	:invoke	:cas	[2 0]
0	:fail	:cas	[2 0]	:value-mismatch
1	:invoke	:write	0
3	:invoke	:cas	[0 1]
1	:ok	:write	0
2	:invoke	:cas	[4 2]
2	:fail	:cas	[4 2]	:value-mismatch
3	:ok	:cas	[0 1]
4	:invoke	:read	1
4	:ok	:read	1
0	:invoke	:cas	[4 3]
0	:fail	:cas	[4 3]	:value-mismatch
1	:invoke	:cas	[0 1]
1	:fail	:cas	[0 1]	:value-mismatch
2	:invoke	:cas	[4 3]
3	:invoke	:write	2
2	:fail	:cas	[4 3]	:value-mismatch
3	:ok	:write	2
4	:invoke	:write	3
0	:invoke	:cas	[2 4]
4	:ok	:write	3
0	:fail	:cas	[2 4]	:value-mismatch
1	:invoke	:cas	[4 0]
1	:fail	:cas	[4 0]	:value-mismatch
2	:invoke	:cas	[3 1]
3	:invoke	:cas	[0 4]
2	:ok	:cas	[3 1]
3	:fail	:cas	[0 4]	:value-mismatch
4	:invoke	:cas	[2 3]
0	:invoke	:cas	[0 0]
0	:fail	:cas	[0 0]	:value-mismatch
4	:fail	:cas	[2 3]	:value-mismatch
1	:invoke	:cas	[3 2]
1	:fail	:cas	[3 2]	:value-mismatch
2	:invoke	:cas	[2 1]
3	:invoke	:read	1
2	:fail	:cas	[2 1]	:value-mismatch
3	:ok	:read	1
0	:invoke	:read	1
4	:invoke	:read	1
0	:ok	:read	1
4	:ok	:read	1
1	:invoke	:cas	[3 0]
1	:fail	:cas	[3 0]	:value-mismatch
2	:invoke	:write	0
3	:invoke	:write	0
2	:ok	:write	0
3	:ok	:write	0
0	:invoke	:read	0
4	:invoke	:cas	[1 3]
0	:ok	:read	0
4	:fail	:cas	[1 3]	:value-mismatch
1	:invoke	:cas	[3 2]
1	:fail	:cas	[3 2]	:value-mismatch
2	:invoke	:read	0
2	:ok	:read	0
3	:invoke	:cas	[0 0]
3	:ok	:cas	[0 0]
0	:invoke	:write	0
4	:invoke	:cas	[0 0]
1	:invoke	:write	2
0	:ok	:write	0
4	:ok	:cas	[0 0]
1	:ok	:write	2
2	:invoke	:cas	[3 4]
2	:fail	:cas	[3 4]	:value-mismatch
3	:invoke	:cas	[3 0]
3	:fail	:cas	[3 0]	:value-mismatch
0	:invoke	:cas	[4 3]
0	:fail	:cas	[4 3]	:value-mismatch
4	:invoke	:cas	[4 4]
4	:fail	:cas	[4 4]	:value-mismatch
1	:invoke	:read	2
1	:ok	:read	2
2	:invoke	:read	2
2	:ok	:read	2
3	:invoke	:cas	[4 1]
3	:fail	:cas	[4 1]	:value-mismatch
0	:invoke	:cas	[2 1]
4	:invoke	:cas	[0 1]
1	:invoke	:write	4
0	:ok	:cas	[2 1]
4	:fail	:cas	[0 1]	:value-mismatch
1	:ok	:write	4
2	:invoke	:cas	[0 1]
2	:fail	:cas	[0 1]	:value-mismatch
3	:invoke	:read	4
3	:ok	:read	4
0	:invoke	:cas	[1 2]
4	:invoke	:cas	[0 3]
0	:fail	:cas	[1 2]	:value-mismatch
1	:invoke	:write	4
4	:fail	:cas	[0 3]	:value-mismatch
1	:ok	:write	4
2	:invoke	:cas	[0 0]
2	:fail	:cas	[0 0]	:value-mismatch
3	:invoke	:read	4
3	:ok	:read	4
0	:invoke	:write	4
4	:invoke	:cas	[0 1]
4	:fail	:cas	[0 1]	:value-mismatch
1	:invoke	:read	4
0	:ok	:write	4
1	:ok	:read	4
2	:invoke	:write	4
2	:ok	:write	4
3	:invoke	:write	0
3	:ok	:write	0
4	:invoke	:cas	[0 1]
0	:invoke	:read	0
1	:invoke	:cas	[1 0]
0	:ok	:read	0
4	:ok	:cas	[0 1]
2	:invoke	:write	1
1	:ok	:cas	[1 0]
2	:ok	:write	1
3	:invoke	:cas	[0 2]
3	:fail	:cas	[0 2]	:value-mismatch
0	:invoke	:read	1
0	:ok	:read	1
4	:invoke	:cas	[2 3]
4	:fail	:cas	[2 3]	:value-mismatch
1	:invoke	:cas	[0 3]
1	:fail	:cas	[0 3]	:value-mismatch
2	:invoke	:write	0
2	:ok	:write	0
3	:invoke	:write	1
3	:ok	:write	1
0	:invoke	:cas	[4 4]
4	:invoke	:cas	[1 4]
0	:fail	:cas	[4 4]	:value-mismatch
1	:invoke	:read	4
1	:ok	:read	4
4	:ok	:cas	[1 4]
2	:invoke	:cas	[4 4]
2	:ok	:cas	[4 4]
3	:invoke	:cas	[2 3]
3	:fail	:cas	[2 3]	:value-mismatch
0	:invoke	:read	4
0	:ok	:read	4
1	:invoke	:cas	[2 2]
4	:invoke	:cas	[4 0]
1	:fail	:cas	[2 2]	:value-mismatch
4	:ok	:cas	[4 0]
2	:invoke	:cas	[1 2]
2	:fail	:cas	[1 2]	:value-mismatch
3	:invoke	:write	2
3	:ok	:write	2
0	:invoke	:cas	[4 0]
0	:fail	:cas	[4 0]	:value-mismatch
1	:invoke	:write	2
1	:ok	:write	2
4	:invoke	:read	2
4	:ok	:read	2
2	:invoke	:read	2
2	:ok	:read	2
3	:invoke	:cas	[0 2]
3	:fail	:cas	[0 2]	:value-mismatch
0	:invoke	:read	2
0	:ok	:read	2
1	:invoke	:read	2
1	:ok	:read	2
4	:invoke	:read	2
4	:ok	:read	2
2	:invoke	:cas	[2 4]
2	:ok	:cas	[2 4]
3	:invoke	:cas	[2 2]
3	:fail	:cas	[2 2]	:value-mismatch
0	:invoke	:write	0
1	:invoke	:cas	[2 3]
0	:ok	:write	0
1	:fail	:cas	[2 3]	:value-mismatch
4	:invoke	:cas	[1 3]
4	:fail	:cas	[1 3]	:value-mismatch
2	:invoke	:write	0
3	:invoke	:cas	[4 0]
2	:ok	:write	0
3	:fail	:cas	[4 0]	:value-mismatch
0	:invoke	:read	0
1	:invoke	:cas	[1 2]
0	:ok	:read	0
1	:fail	:cas	[1 2]	:value-mismatch
4	:invoke	:read	0
4	:ok	:read	0
2	:invoke	:cas	[0 2]
3	:invoke	:read	2
3	:ok	:read	2
2	:ok	:cas	[0 2]
0	:invoke	:cas	[4 4]
1	:invoke	:write	1
0	:fail	:cas	[4 4]	:value-mismatch
4	:invoke	:write	4
1	:ok	:write	1
4	:ok	:write	4
3	:invoke	:read	4
2	:invoke	:read	4
3	:ok	:read	4
2	:ok	:read	4
0	:invoke	:cas	[1 0]
0	:fail	:cas	[1 0]	:value-mismatch
1	:invoke	:write	0
4	:invoke	:cas	[0 3]
1	:ok	:write	0
4	:ok	:cas	[0 3]
3	:invoke	:write	4
2	:invoke	:cas	[2 0]
2	:fail	:cas	[2 0]	:value-mismatch
3	:ok	:write	4
0	:invoke	:read	4
0	:ok	:read	4
1	:invoke	:read	4
1	:ok	:read	4
4	:invoke	:cas	[2 1]
4	:fail	:cas	[2 1]	:value-mismatch
2	:invoke	:read	4
3	:invoke	:read	4
2	:ok	:read	4
3	:ok	:read	4
0	:invoke	:write	3
1	:invoke	:read	3
0	:ok	:write	3
1	:ok	:read	3
4	:invoke	:cas	[4 3]
4	:fail	:cas	[4 3]	:value-mismatch
2	:invoke	:cas	[0 4]
3	:invoke	:read	3
2	:fail	:cas	[0 4]	:value-mismatch
3	:ok	:read	3
0	:invoke	:read	3
1	:invoke	:cas	[4 4]
0	:ok	:read	3
1	:fail	:cas	[4 4]	:value-mismatch
4	:invoke	:cas	[2 2]
4	:fail	:cas	[2 2]	:value-mismatch
3	:invoke	:write	3
2	:invoke	:write	2
2	:ok	:write	2
3	:ok	:write	3
:nemesis	:info	:stop	nil
0	:invoke	:write	0
1	:invoke	:cas	[4 1]
1	:fail	:cas	[4 1]	:value-mismatch
0	:ok	:write	0
4	:invoke	:cas	[4 2]
4	:fail	:cas	[4 2]	:value-mismatch
2	:invoke	:read	0
2	:ok	:read	0
3	:invoke	:cas	[0 4]
3	:ok	:cas	[0 4]
1	:invoke	:cas	[1 1]
0	:invoke	:write	1
1	:fail	:cas	[1 1]	:value-mismatch
0	:ok	:write	1
4	:invoke	:cas	[2 3]
4	:fail	:cas	[2 3]	:value-mismatch
2	:invoke	:cas	[4 0]
2	:fail	:cas	[4 0]	:value-mismatch
3	:invoke	:write	2
3	:ok	:write	2
:nemesis	:info	:stop	"fully connected"
:nemesis	:info	:start	nil
1	:invoke	:write	1
0	:invoke	:cas	[0 0]
0	:fail	:cas	[0 0]	:value-mismatch
1	:ok	:write	1
4	:invoke	:cas	[2 2]
4	:fail	:cas	[2 2]	:value-mismatch
2	:invoke	:cas	[1 4]
2	:ok	:cas	[1 4]
3	:invoke	:write	1
3	:ok	:write	1
0	:invoke	:write	0
1	:invoke	:cas	[1 2]
4	:invoke	:cas	[2 3]
4	:fail	:cas	[2 3]	:value-mismatch
2	:invoke	:cas	[0 1]
3	:invoke	:cas	[0 4]
0	:info	:write	0	:timeout
1	:info	:cas	[1 2]	:timeout
2	:info	:cas	[0 1]	:timeout
:nemesis	:info	:start	"Cut off {:n1 #{:n3 :n5}, :n2 #{:n3 :n5}, :n4 #{:n3 :n5}, :n5 #{:n4 :n2 :n1}, :n3 #{:n4 :n2 :n1}}"
3	:info	:cas	[0 4]	:timeout
4	:invoke	:read	0
4	:ok	:read	0
5	:invoke	:write	4
6	:invoke	:write	2
7	:invoke	:write	4
8	:invoke	:read	2
8	:ok	:read	2
6	:info	:write	2	:timeout
5	:info	:write	4	:timeout
7	:info	:write	4	:timeout
4	:invoke	:cas	[4 1]
4	:fail	:cas	[4 1]	:value-mismatch
8	:invoke	:cas	[3 4]
8	:fail	:cas	[3 4]	:value-mismatch
11	:invoke	:write	0
10	:invoke	:cas	[3 4]
10	:fail	:cas	[3 4]	:value-mismatch
11	:ok	:write	0
12	:invoke	:read	0
12	:ok	:read	0
4	:invoke	:read	2
4	:ok	:read	2
8	:invoke	:cas	[1 1]
8	:fail	:cas	[1 1]	:value-mismatch
10	:invoke	:write	4
11	:invoke	:cas	[3 3]
11	:fail	:cas	[3 3]	:value-mismatch
10	:ok	:write	4
12	:invoke	:cas	[0 3]

Followed by inconsistent operation:
12	:ok	:cas	[0 3]

-------------------------------------------------------------
Just prior to that operation, possible interpretations of the
linearizable prefix were:
World with fixed history:
3	:invoke	:write	4
1	:invoke	:write	2
4	:invoke	:read	2
2	:invoke	:read	2
1	:invoke	:write	4
4	:invoke	:write	1
2	:invoke	:write	1
0	:invoke	:read	1
4	:invoke	:read	1
0	:invoke	:read	1
1	:invoke	:cas	[1 2]
0	:invoke	:cas	[2 1]
3	:invoke	:read	1
2	:invoke	:cas	[1 3]
4	:invoke	:read	3
0	:invoke	:write	2
3	:invoke	:cas	[2 0]
1	:invoke	:read	0
2	:invoke	:write	0
4	:invoke	:write	4
1	:invoke	:write	0
3	:invoke	:cas	[0 1]
4	:invoke	:read	1
3	:invoke	:write	2
4	:invoke	:write	3
2	:invoke	:cas	[3 1]
3	:invoke	:read	1
0	:invoke	:read	1
4	:invoke	:read	1
2	:invoke	:write	0
3	:invoke	:write	0
0	:invoke	:read	0
2	:invoke	:read	0
3	:invoke	:cas	[0 0]
4	:invoke	:cas	[0 0]
0	:invoke	:write	0
1	:invoke	:write	2
1	:invoke	:read	2
2	:invoke	:read	2
0	:invoke	:cas	[2 1]
1	:invoke	:write	4
3	:invoke	:read	4
1	:invoke	:write	4
3	:invoke	:read	4
1	:invoke	:read	4
0	:invoke	:write	4
2	:invoke	:write	4
3	:invoke	:write	0
4	:invoke	:cas	[0 1]
1	:invoke	:cas	[1 0]
0	:invoke	:read	0
2	:invoke	:write	1
0	:invoke	:read	1
2	:invoke	:write	0
3	:invoke	:write	1
4	:invoke	:cas	[1 4]
1	:invoke	:read	4
2	:invoke	:cas	[4 4]
0	:invoke	:read	4
4	:invoke	:cas	[4 0]
3	:invoke	:write	2
1	:invoke	:write	2
4	:invoke	:read	2
2	:invoke	:read	2
0	:invoke	:read	2
1	:invoke	:read	2
4	:invoke	:read	2
2	:invoke	:cas	[2 4]
0	:invoke	:write	0
2	:invoke	:write	0
0	:invoke	:read	0
4	:invoke	:read	0
2	:invoke	:cas	[0 2]
3	:invoke	:read	2
1	:invoke	:write	1
4	:invoke	:write	4
3	:invoke	:read	4
2	:invoke	:read	4
1	:invoke	:write	0
4	:invoke	:cas	[0 3]
3	:invoke	:write	4
0	:invoke	:read	4
1	:invoke	:read	4
2	:invoke	:read	4
3	:invoke	:read	4
0	:invoke	:write	3
1	:invoke	:read	3
3	:invoke	:read	3
0	:invoke	:read	3
3	:invoke	:write	3
2	:invoke	:write	2
0	:invoke	:write	0
2	:invoke	:read	0
3	:invoke	:cas	[0 4]
0	:invoke	:write	1
3	:invoke	:write	2
1	:invoke	:write	1
2	:invoke	:cas	[1 4]
3	:invoke	:write	1
0	:invoke	:write	0
4	:invoke	:read	0
2	:invoke	:cas	[0 1]
1	:invoke	:cas	[1 2]
8	:invoke	:read	2
11	:invoke	:write	0
12	:invoke	:read	0
3	:invoke	:cas	[0 4]
6	:invoke	:write	2
4	:invoke	:read	2
10	:invoke	:write	4

led to state: 
{:value 4}

with pending operations:
5	:invoke	:write	4
7	:invoke	:write	4
12	:invoke	:cas	[0 3]

World with fixed history:
3	:invoke	:write	4
1	:invoke	:write	2
4	:invoke	:read	2
2	:invoke	:read	2
1	:invoke	:write	4
4	:invoke	:write	1
2	:invoke	:write	1
0	:invoke	:read	1
4	:invoke	:read	1
0	:invoke	:read	1
1	:invoke	:cas	[1 2]
0	:invoke	:cas	[2 1]
3	:invoke	:read	1
2	:invoke	:cas	[1 3]
4	:invoke	:read	3
0	:invoke	:write	2
3	:invoke	:cas	[2 0]
1	:invoke	:read	0
2	:invoke	:write	0
4	:invoke	:write	4
1	:invoke	:write	0
3	:invoke	:cas	[0 1]
4	:invoke	:read	1
3	:invoke	:write	2
4	:invoke	:write	3
2	:invoke	:cas	[3 1]
3	:invoke	:read	1
0	:invoke	:read	1
4	:invoke	:read	1
2	:invoke	:write	0
3	:invoke	:write	0
0	:invoke	:read	0
2	:invoke	:read	0
3	:invoke	:cas	[0 0]
4	:invoke	:cas	[0 0]
0	:invoke	:write	0
1	:invoke	:write	2
1	:invoke	:read	2
2	:invoke	:read	2
0	:invoke	:cas	[2 1]
1	:invoke	:write	4
3	:invoke	:read	4
1	:invoke	:write	4
3	:invoke	:read	4
1	:invoke	:read	4
0	:invoke	:write	4
2	:invoke	:write	4
3	:invoke	:write	0
4	:invoke	:cas	[0 1]
1	:invoke	:cas	[1 0]
0	:invoke	:read	0
2	:invoke	:write	1
0	:invoke	:read	1
2	:invoke	:write	0
3	:invoke	:write	1
4	:invoke	:cas	[1 4]
1	:invoke	:read	4
2	:invoke	:cas	[4 4]
0	:invoke	:read	4
4	:invoke	:cas	[4 0]
3	:invoke	:write	2
1	:invoke	:write	2
4	:invoke	:read	2
2	:invoke	:read	2
0	:invoke	:read	2
1	:invoke	:read	2
4	:invoke	:read	2
2	:invoke	:cas	[2 4]
0	:invoke	:write	0
2	:invoke	:write	0
0	:invoke	:read	0
4	:invoke	:read	0
2	:invoke	:cas	[0 2]
3	:invoke	:read	2
1	:invoke	:write	1
4	:invoke	:write	4
3	:invoke	:read	4
2	:invoke	:read	4
1	:invoke	:write	0
4	:invoke	:cas	[0 3]
3	:invoke	:write	4
0	:invoke	:read	4
1	:invoke	:read	4
2	:invoke	:read	4
3	:invoke	:read	4
0	:invoke	:write	3
1	:invoke	:read	3
3	:invoke	:read	3
0	:invoke	:read	3
3	:invoke	:write	3
2	:invoke	:write	2
0	:invoke	:write	0
2	:invoke	:read	0
3	:invoke	:cas	[0 4]
0	:invoke	:write	1
3	:invoke	:write	2
1	:invoke	:write	1
2	:invoke	:cas	[1 4]
3	:invoke	:write	1
0	:invoke	:write	0
4	:invoke	:read	0
2	:invoke	:cas	[0 1]
1	:invoke	:cas	[1 2]
8	:invoke	:read	2
11	:invoke	:write	0
12	:invoke	:read	0
3	:invoke	:cas	[0 4]
6	:invoke	:write	2
4	:invoke	:read	2
10	:invoke	:write	4
5	:invoke	:write	4

led to state: 
{:value 4}

with pending operations:
7	:invoke	:write	4
12	:invoke	:cas	[0 3]

World with fixed history:
3	:invoke	:write	4
1	:invoke	:write	2
4	:invoke	:read	2
2	:invoke	:read	2
1	:invoke	:write	4
4	:invoke	:write	1
2	:invoke	:write	1
0	:invoke	:read	1
4	:invoke	:read	1
0	:invoke	:read	1
1	:invoke	:cas	[1 2]
0	:invoke	:cas	[2 1]
3	:invoke	:read	1
2	:invoke	:cas	[1 3]
4	:invoke	:read	3
0	:invoke	:write	2
3	:invoke	:cas	[2 0]
1	:invoke	:read	0
2	:invoke	:write	0
4	:invoke	:write	4
1	:invoke	:write	0
3	:invoke	:cas	[0 1]
4	:invoke	:read	1
3	:invoke	:write	2
4	:invoke	:write	3
2	:invoke	:cas	[3 1]
3	:invoke	:read	1
0	:invoke	:read	1
4	:invoke	:read	1
2	:invoke	:write	0
3	:invoke	:write	0
0	:invoke	:read	0
2	:invoke	:read	0
3	:invoke	:cas	[0 0]
4	:invoke	:cas	[0 0]
0	:invoke	:write	0
1	:invoke	:write	2
1	:invoke	:read	2
2	:invoke	:read	2
0	:invoke	:cas	[2 1]
1	:invoke	:write	4
3	:invoke	:read	4
1	:invoke	:write	4
3	:invoke	:read	4
1	:invoke	:read	4
0	:invoke	:write	4
2	:invoke	:write	4
3	:invoke	:write	0
4	:invoke	:cas	[0 1]
1	:invoke	:cas	[1 0]
0	:invoke	:read	0
2	:invoke	:write	1
0	:invoke	:read	1
2	:invoke	:write	0
3	:invoke	:write	1
4	:invoke	:cas	[1 4]
1	:invoke	:read	4
2	:invoke	:cas	[4 4]
0	:invoke	:read	4
4	:invoke	:cas	[4 0]
3	:invoke	:write	2
1	:invoke	:write	2
4	:invoke	:read	2
2	:invoke	:read	2
0	:invoke	:read	2
1	:invoke	:read	2
4	:invoke	:read	2
2	:invoke	:cas	[2 4]
0	:invoke	:write	0
2	:invoke	:write	0
0	:invoke	:read	0
4	:invoke	:read	0
2	:invoke	:cas	[0 2]
3	:invoke	:read	2
1	:invoke	:write	1
4	:invoke	:write	4
3	:invoke	:read	4
2	:invoke	:read	4
1	:invoke	:write	0
4	:invoke	:cas	[0 3]
3	:invoke	:write	4
0	:invoke	:read	4
1	:invoke	:read	4
2	:invoke	:read	4
3	:invoke	:read	4
0	:invoke	:write	3
1	:invoke	:read	3
3	:invoke	:read	3
0	:invoke	:read	3
3	:invoke	:write	3
2	:invoke	:write	2
0	:invoke	:write	0
2	:invoke	:read	0
3	:invoke	:cas	[0 4]
0	:invoke	:write	1
3	:invoke	:write	2
1	:invoke	:write	1
2	:invoke	:cas	[1 4]
3	:invoke	:write	1
0	:invoke	:write	0
4	:invoke	:read	0
2	:invoke	:cas	[0 1]
1	:invoke	:cas	[1 2]
8	:invoke	:read	2
11	:invoke	:write	0
12	:invoke	:read	0
6	:invoke	:write	2
4	:invoke	:read	2
10	:invoke	:write	4

led to state: 
{:value 4}

with pending operations:
5	:invoke	:write	4
7	:invoke	:write	4
12	:invoke	:cas	[0 3]
3	:invoke	:cas	[0 4]

World with fixed history:
3	:invoke	:write	4
1	:invoke	:write	2
4	:invoke	:read	2
2	:invoke	:read	2
1	:invoke	:write	4
4	:invoke	:write	1
2	:invoke	:write	1
0	:invoke	:read	1
4	:invoke	:read	1
0	:invoke	:read	1
1	:invoke	:cas	[1 2]
0	:invoke	:cas	[2 1]
3	:invoke	:read	1
2	:invoke	:cas	[1 3]
4	:invoke	:read	3
0	:invoke	:write	2
3	:invoke	:cas	[2 0]
1	:invoke	:read	0
2	:invoke	:write	0
4	:invoke	:write	4
1	:invoke	:write	0
3	:invoke	:cas	[0 1]
4	:invoke	:read	1
3	:invoke	:write	2
4	:invoke	:write	3
2	:invoke	:cas	[3 1]
3	:invoke	:read	1
0	:invoke	:read	1
4	:invoke	:read	1
2	:invoke	:write	0
3	:invoke	:write	0
0	:invoke	:read	0
2	:invoke	:read	0
3	:invoke	:cas	[0 0]
4	:invoke	:cas	[0 0]
0	:invoke	:write	0
1	:invoke	:write	2
1	:invoke	:read	2
2	:invoke	:read	2
0	:invoke	:cas	[2 1]
1	:invoke	:write	4
3	:invoke	:read	4
1	:invoke	:write	4
3	:invoke	:read	4
1	:invoke	:read	4
0	:invoke	:write	4
2	:invoke	:write	4
3	:invoke	:write	0
4	:invoke	:cas	[0 1]
1	:invoke	:cas	[1 0]
0	:invoke	:read	0
2	:invoke	:write	1
0	:invoke	:read	1
2	:invoke	:write	0
3	:invoke	:write	1
4	:invoke	:cas	[1 4]
1	:invoke	:read	4
2	:invoke	:cas	[4 4]
0	:invoke	:read	4
4	:invoke	:cas	[4 0]
3	:invoke	:write	2
1	:invoke	:write	2
4	:invoke	:read	2
2	:invoke	:read	2
0	:invoke	:read	2
1	:invoke	:read	2
4	:invoke	:read	2
2	:invoke	:cas	[2 4]
0	:invoke	:write	0
2	:invoke	:write	0
0	:invoke	:read	0
4	:invoke	:read	0
2	:invoke	:cas	[0 2]
3	:invoke	:read	2
1	:invoke	:write	1
4	:invoke	:write	4
3	:invoke	:read	4
2	:invoke	:read	4
1	:invoke	:write	0
4	:invoke	:cas	[0 3]
3	:invoke	:write	4
0	:invoke	:read	4
1	:invoke	:read	4
2	:invoke	:read	4
3	:invoke	:read	4
0	:invoke	:write	3
1	:invoke	:read	3
3	:invoke	:read	3
0	:invoke	:read	3
3	:invoke	:write	3
2	:invoke	:write	2
0	:invoke	:write	0
2	:invoke	:read	0
3	:invoke	:cas	[0 4]
0	:invoke	:write	1
3	:invoke	:write	2
1	:invoke	:write	1
2	:invoke	:cas	[1 4]
3	:invoke	:write	1
0	:invoke	:write	0
4	:invoke	:read	0
2	:invoke	:cas	[0 1]
1	:invoke	:cas	[1 2]
8	:invoke	:read	2
11	:invoke	:write	0
12	:invoke	:read	0
6	:invoke	:write	2
4	:invoke	:read	2
10	:invoke	:write	4
7	:invoke	:write	4
5	:invoke	:write	4

led to state: 
{:value 4}

with pending operations:
12	:invoke	:cas	[0 3]
3	:invoke	:cas	[0 4]

World with fixed history:
3	:invoke	:write	4
1	:invoke	:write	2
4	:invoke	:read	2
2	:invoke	:read	2
1	:invoke	:write	4
4	:invoke	:write	1
2	:invoke	:write	1
0	:invoke	:read	1
4	:invoke	:read	1
0	:invoke	:read	1
1	:invoke	:cas	[1 2]
0	:invoke	:cas	[2 1]
3	:invoke	:read	1
2	:invoke	:cas	[1 3]
4	:invoke	:read	3
0	:invoke	:write	2
3	:invoke	:cas	[2 0]
1	:invoke	:read	0
2	:invoke	:write	0
4	:invoke	:write	4
1	:invoke	:write	0
3	:invoke	:cas	[0 1]
4	:invoke	:read	1
3	:invoke	:write	2
4	:invoke	:write	3
2	:invoke	:cas	[3 1]
3	:invoke	:read	1
0	:invoke	:read	1
4	:invoke	:read	1
2	:invoke	:write	0
3	:invoke	:write	0
0	:invoke	:read	0
2	:invoke	:read	0
3	:invoke	:cas	[0 0]
4	:invoke	:cas	[0 0]
0	:invoke	:write	0
1	:invoke	:write	2
1	:invoke	:read	2
2	:invoke	:read	2
0	:invoke	:cas	[2 1]
1	:invoke	:write	4
3	:invoke	:read	4
1	:invoke	:write	4
3	:invoke	:read	4
1	:invoke	:read	4
0	:invoke	:write	4
2	:invoke	:write	4
3	:invoke	:write	0
4	:invoke	:cas	[0 1]
1	:invoke	:cas	[1 0]
0	:invoke	:read	0
2	:invoke	:write	1
0	:invoke	:read	1
2	:invoke	:write	0
3	:invoke	:write	1
4	:invoke	:cas	[1 4]
1	:invoke	:read	4
2	:invoke	:cas	[4 4]
0	:invoke	:read	4
4	:invoke	:cas	[4 0]
3	:invoke	:write	2
1	:invoke	:write	2
4	:invoke	:read	2
2	:invoke	:read	2
0	:invoke	:read	2
1	:invoke	:read	2
4	:invoke	:read	2
2	:invoke	:cas	[2 4]
0	:invoke	:write	0
2	:invoke	:write	0
0	:invoke	:read	0
4	:invoke	:read	0
2	:invoke	:cas	[0 2]
3	:invoke	:read	2
1	:invoke	:write	1
4	:invoke	:write	4
3	:invoke	:read	4
2	:invoke	:read	4
1	:invoke	:write	0
4	:invoke	:cas	[0 3]
3	:invoke	:write	4
0	:invoke	:read	4
1	:invoke	:read	4
2	:invoke	:read	4
3	:invoke	:read	4
0	:invoke	:write	3
1	:invoke	:read	3
3	:invoke	:read	3
0	:invoke	:read	3
3	:invoke	:write	3
2	:invoke	:write	2
0	:invoke	:write	0
2	:invoke	:read	0
3	:invoke	:cas	[0 4]
0	:invoke	:write	1
3	:invoke	:write	2
1	:invoke	:write	1
2	:invoke	:cas	[1 4]
3	:invoke	:write	1
0	:invoke	:write	0
4	:invoke	:read	0
2	:invoke	:cas	[0 1]
1	:invoke	:cas	[1 2]
8	:invoke	:read	2
11	:invoke	:write	0
12	:invoke	:read	0
6	:invoke	:write	2
4	:invoke	:read	2
10	:invoke	:write	4
5	:invoke	:write	4

led to state: 
{:value 4}

with pending operations:
7	:invoke	:write	4
12	:invoke	:cas	[0 3]
3	:invoke	:cas	[0 4]

World with fixed history:
3	:invoke	:write	4
1	:invoke	:write	2
4	:invoke	:read	2
2	:invoke	:read	2
1	:invoke	:write	4
4	:invoke	:write	1
2	:invoke	:write	1
0	:invoke	:read	1
4	:invoke	:read	1
0	:invoke	:read	1
1	:invoke	:cas	[1 2]
0	:invoke	:cas	[2 1]
3	:invoke	:read	1
2	:invoke	:cas	[1 3]
4	:invoke	:read	3
0	:invoke	:write	2
3	:invoke	:cas	[2 0]
1	:invoke	:read	0
2	:invoke	:write	0
4	:invoke	:write	4
1	:invoke	:write	0
3	:invoke	:cas	[0 1]
4	:invoke	:read	1
3	:invoke	:write	2
4	:invoke	:write	3
2	:invoke	:cas	[3 1]
3	:invoke	:read	1
0	:invoke	:read	1
4	:invoke	:read	1
2	:invoke	:write	0
3	:invoke	:write	0
0	:invoke	:read	0
2	:invoke	:read	0
3	:invoke	:cas	[0 0]
4	:invoke	:cas	[0 0]
0	:invoke	:write	0
1	:invoke	:write	2
1	:invoke	:read	2
2	:invoke	:read	2
0	:invoke	:cas	[2 1]
1	:invoke	:write	4
3	:invoke	:read	4
1	:invoke	:write	4
3	:invoke	:read	4
1	:invoke	:read	4
0	:invoke	:write	4
2	:invoke	:write	4
3	:invoke	:write	0
4	:invoke	:cas	[0 1]
1	:invoke	:cas	[1 0]
0	:invoke	:read	0
2	:invoke	:write	1
0	:invoke	:read	1
2	:invoke	:write	0
3	:invoke	:write	1
4	:invoke	:cas	[1 4]
1	:invoke	:read	4
2	:invoke	:cas	[4 4]
0	:invoke	:read	4
4	:invoke	:cas	[4 0]
3	:invoke	:write	2
1	:invoke	:write	2
4	:invoke	:read	2
2	:invoke	:read	2
0	:invoke	:read	2
1	:invoke	:read	2
4	:invoke	:read	2
2	:invoke	:cas	[2 4]
0	:invoke	:write	0
2	:invoke	:write	0
0	:invoke	:read	0
4	:invoke	:read	0
2	:invoke	:cas	[0 2]
3	:invoke	:read	2
1	:invoke	:write	1
4	:invoke	:write	4
3	:invoke	:read	4
2	:invoke	:read	4
1	:invoke	:write	0
4	:invoke	:cas	[0 3]
3	:invoke	:write	4
0	:invoke	:read	4
1	:invoke	:read	4
2	:invoke	:read	4
3	:invoke	:read	4
0	:invoke	:write	3
1	:invoke	:read	3
3	:invoke	:read	3
0	:invoke	:read	3
3	:invoke	:write	3
2	:invoke	:write	2
0	:invoke	:write	0
2	:invoke	:read	0
3	:invoke	:cas	[0 4]
0	:invoke	:write	1
3	:invoke	:write	2
1	:invoke	:write	1
2	:invoke	:cas	[1 4]
3	:invoke	:write	1
0	:invoke	:write	0
4	:invoke	:read	0
2	:invoke	:cas	[0 1]
1	:invoke	:cas	[1 2]
8	:invoke	:read	2
11	:invoke	:write	0
12	:invoke	:read	0
3	:invoke	:cas	[0 4]
6	:invoke	:write	2
4	:invoke	:read	2
10	:invoke	:write	4
7	:invoke	:write	4

led to state: 
{:value 4}

with pending operations:
5	:invoke	:write	4
12	:invoke	:cas	[0 3]

World with fixed history:
3	:invoke	:write	4
1	:invoke	:write	2
4	:invoke	:read	2
2	:invoke	:read	2
1	:invoke	:write	4
4	:invoke	:write	1
2	:invoke	:write	1
0	:invoke	:read	1
4	:invoke	:read	1
0	:invoke	:read	1
1	:invoke	:cas	[1 2]
0	:invoke	:cas	[2 1]
3	:invoke	:read	1
2	:invoke	:cas	[1 3]
4	:invoke	:read	3
0	:invoke	:write	2
3	:invoke	:cas	[2 0]
1	:invoke	:read	0
2	:invoke	:write	0
4	:invoke	:write	4
1	:invoke	:write	0
3	:invoke	:cas	[0 1]
4	:invoke	:read	1
3	:invoke	:write	2
4	:invoke	:write	3
2	:invoke	:cas	[3 1]
3	:invoke	:read	1
0	:invoke	:read	1
4	:invoke	:read	1
2	:invoke	:write	0
3	:invoke	:write	0
0	:invoke	:read	0
2	:invoke	:read	0
3	:invoke	:cas	[0 0]
4	:invoke	:cas	[0 0]
0	:invoke	:write	0
1	:invoke	:write	2
1	:invoke	:read	2
2	:invoke	:read	2
0	:invoke	:cas	[2 1]
1	:invoke	:write	4
3	:invoke	:read	4
1	:invoke	:write	4
3	:invoke	:read	4
1	:invoke	:read	4
0	:invoke	:write	4
2	:invoke	:write	4
3	:invoke	:write	0
4	:invoke	:cas	[0 1]
1	:invoke	:cas	[1 0]
0	:invoke	:read	0
2	:invoke	:write	1
0	:invoke	:read	1
2	:invoke	:write	0
3	:invoke	:write	1
4	:invoke	:cas	[1 4]
1	:invoke	:read	4
2	:invoke	:cas	[4 4]
0	:invoke	:read	4
4	:invoke	:cas	[4 0]
3	:invoke	:write	2
1	:invoke	:write	2
4	:invoke	:read	2
2	:invoke	:read	2
0	:invoke	:read	2
1	:invoke	:read	2
4	:invoke	:read	2
2	:invoke	:cas	[2 4]
0	:invoke	:write	0
2	:invoke	:write	0
0	:invoke	:read	0
4	:invoke	:read	0
2	:invoke	:cas	[0 2]
3	:invoke	:read	2
1	:invoke	:write	1
4	:invoke	:write	4
3	:invoke	:read	4
2	:invoke	:read	4
1	:invoke	:write	0
4	:invoke	:cas	[0 3]
3	:invoke	:write	4
0	:invoke	:read	4
1	:invoke	:read	4
2	:invoke	:read	4
3	:invoke	:read	4
0	:invoke	:write	3
1	:invoke	:read	3
3	:invoke	:read	3
0	:invoke	:read	3
3	:invoke	:write	3
2	:invoke	:write	2
0	:invoke	:write	0
2	:invoke	:read	0
3	:invoke	:cas	[0 4]
0	:invoke	:write	1
3	:invoke	:write	2
1	:invoke	:write	1
2	:invoke	:cas	[1 4]
3	:invoke	:write	1
0	:invoke	:write	0
4	:invoke	:read	0
2	:invoke	:cas	[0 1]
1	:invoke	:cas	[1 2]
8	:invoke	:read	2
11	:invoke	:write	0
12	:invoke	:read	0
6	:invoke	:write	2
4	:invoke	:read	2
10	:invoke	:write	4
7	:invoke	:write	4

led to state: 
{:value 4}

with pending operations:
5	:invoke	:write	4
12	:invoke	:cas	[0 3]
3	:invoke	:cas	[0 4]

World with fixed history:
3	:invoke	:write	4
1	:invoke	:write	2
4	:invoke	:read	2
2	:invoke	:read	2
1	:invoke	:write	4
4	:invoke	:write	1
2	:invoke	:write	1
0	:invoke	:read	1
4	:invoke	:read	1
0	:invoke	:read	1
1	:invoke	:cas	[1 2]
0	:invoke	:cas	[2 1]
3	:invoke	:read	1
2	:invoke	:cas	[1 3]
4	:invoke	:read	3
0	:invoke	:write	2
3	:invoke	:cas	[2 0]
1	:invoke	:read	0
2	:invoke	:write	0
4	:invoke	:write	4
1	:invoke	:write	0
3	:invoke	:cas	[0 1]
4	:invoke	:read	1
3	:invoke	:write	2
4	:invoke	:write	3
2	:invoke	:cas	[3 1]
3	:invoke	:read	1
0	:invoke	:read	1
4	:invoke	:read	1
2	:invoke	:write	0
3	:invoke	:write	0
0	:invoke	:read	0
2	:invoke	:read	0
3	:invoke	:cas	[0 0]
4	:invoke	:cas	[0 0]
0	:invoke	:write	0
1	:invoke	:write	2
1	:invoke	:read	2
2	:invoke	:read	2
0	:invoke	:cas	[2 1]
1	:invoke	:write	4
3	:invoke	:read	4
1	:invoke	:write	4
3	:invoke	:read	4
1	:invoke	:read	4
0	:invoke	:write	4
2	:invoke	:write	4
3	:invoke	:write	0
4	:invoke	:cas	[0 1]
1	:invoke	:cas	[1 0]
0	:invoke	:read	0
2	:invoke	:write	1
0	:invoke	:read	1
2	:invoke	:write	0
3	:invoke	:write	1
4	:invoke	:cas	[1 4]
1	:invoke	:read	4
2	:invoke	:cas	[4 4]
0	:invoke	:read	4
4	:invoke	:cas	[4 0]
3	:invoke	:write	2
1	:invoke	:write	2
4	:invoke	:read	2
2	:invoke	:read	2
0	:invoke	:read	2
1	:invoke	:read	2
4	:invoke	:read	2
2	:invoke	:cas	[2 4]
0	:invoke	:write	0
2	:invoke	:write	0
0	:invoke	:read	0
4	:invoke	:read	0
2	:invoke	:cas	[0 2]
3	:invoke	:read	2
1	:invoke	:write	1
4	:invoke	:write	4
3	:invoke	:read	4
2	:invoke	:read	4
1	:invoke	:write	0
4	:invoke	:cas	[0 3]
3	:invoke	:write	4
0	:invoke	:read	4
1	:invoke	:read	4
2	:invoke	:read	4
3	:invoke	:read	4
0	:invoke	:write	3
1	:invoke	:read	3
3	:invoke	:read	3
0	:invoke	:read	3
3	:invoke	:write	3
2	:invoke	:write	2
0	:invoke	:write	0
2	:invoke	:read	0
3	:invoke	:cas	[0 4]
0	:invoke	:write	1
3	:invoke	:write	2
1	:invoke	:write	1
2	:invoke	:cas	[1 4]
3	:invoke	:write	1
0	:invoke	:write	0
4	:invoke	:read	0
2	:invoke	:cas	[0 1]
1	:invoke	:cas	[1 2]
8	:invoke	:read	2
11	:invoke	:write	0
12	:invoke	:read	0
3	:invoke	:cas	[0 4]
6	:invoke	:write	2
4	:invoke	:read	2
10	:invoke	:write	4
7	:invoke	:write	4
5	:invoke	:write	4

led to state: 
{:value 4}

with pending operations:
12	:invoke	:cas	[0 3]

--------------------------------------------------------------

Inconsistent state transitions:
([{:value 4} "can't CAS 4 from 0 to 3"])