# Reachable states:
# state 0: [pool:4]
# state 1: [pool:3, q1:1]
# state 2: [pool:3, q2:1]
# state 3: [pool:2, q1:1, q2:1]
# state 4: [pool:1, q1:2, q2:1]
# state 5: [pool:1, q1:1, q2:2]
# state 6: [pool:2, q1:2]
# state 7: [q1:2, q2:2]
# state 8: [pool:2, q2:2]
CTMC
STATES 9
INIT
	0 : 1
ARCS 22
	0 : 1 : 0.5
	0 : 2 : 0.5
	1 : 0 : 0.666667
	1 : 3 : 1
	2 : 0 : 0.75
	2 : 3 : 1
	3 : 1 : 0.75
	3 : 2 : 0.666667
	3 : 4 : 0.5
	3 : 5 : 0.5
	4 : 3 : 0.666667
	4 : 6 : 0.75
	4 : 7 : 1
	5 : 3 : 0.75
	5 : 7 : 1
	5 : 8 : 0.666667
	6 : 1 : 0.666667
	6 : 4 : 1
	7 : 4 : 0.75
	7 : 5 : 0.666667
	8 : 2 : 0.75
	8 : 5 : 1
END
STEADY
	q1length
		1 : 1
		3 : 1
		4 : 2
		5 : 1
		6 : 2
		7 : 2
	q1nonempty
		1 : 1
		3 : 1
		4 : 1
		5 : 1
		6 : 1
		7 : 1
	q2length
		2 : 1
		3 : 1
		4 : 1
		5 : 2
		7 : 2
		8 : 2
	q2nonempty
		2 : 1
		3 : 1
		4 : 1
		5 : 1
		7 : 1
		8 : 1