Transition
0 AI IA AA 0 0 0 0
0 0 0 0 IB 0 0 0
0 0 0 0 0 BI 0 0
0 0 0 0 IB BI 0 BB
0 0 0 0 0 0 IC 0
0 0 0 0 0 0 CI 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 IC,CI 0
Name_State
s0 s1 s2 s3 s4 s5 s6 s7
Initial_State
s0
Costs_for_actions_split
AI s0$2,0:0,0
IA s0$0,2:0,0
AA s0$2,2:0,0
IB s1$0,0:0,1;s3$0,0:0,1
BI s2$0,0:1,0;s3$0,0:1,0
BB s3$0,0:1,1
IC s4$0,1:0,0;s7$0,1:0,0
CI s5$3,0:0,0;s7$3,0:0,0
Atomic_propositions
p
Labelling
0
0
0
0
0
0
1
0
Number_of_agents
2