Variables: 
bool[1]: "y2_0.b" 
bool[2]: "y2_1.b" 
bool[3]: "y3_0.b" 
bool[4]: "y3_1.b" 
bool[5]: "y3_2.b" 
bool[6]: "y6_0.b" 
bool[7]: "y6_1.b" 
bool[8]: "y6_2.b" 
bool[9]: "y6_3.b" 
bool[10]: "y6_4.b" 
bool[11]: "y6_5.b" 

Event graph: 
event[0]: fork: null, #pred: 0, succ: 1 2 3 4 5 6 7 8 9 10 11 

# process[1]:
event[1]: assign: y2_0.b := false, pid: 1, #pred: 1, succ: 1 

# process[2]:
event[2]: assign: y2_1.b := true, pid: 2, #pred: 1, succ: 2 

# process[3]:
event[3]: assign: y3_0.b := false, pid: 3, #pred: 1, succ: 3 

# process[4]:
event[4]: assign: y3_1.b := true, pid: 4, #pred: 1, succ: 4 

# process[5]:
event[5]: assign: y3_2.b := false, pid: 5, #pred: 1, succ: 5 

# process[6]:
event[6]: assign: y6_0.b := false, pid: 6, #pred: 1, succ: 6 

# process[7]:
event[7]: assign: y6_1.b := true, pid: 7, #pred: 1, succ: 7 

# process[8]:
event[8]: assign: y6_2.b := false, pid: 8, #pred: 1, succ: 8 

# process[9]:
event[9]: assign: y6_3.b := true, pid: 9, #pred: 1, succ: 9 

# process[10]:
event[10]: assign: y6_4.b := false, pid: 10, #pred: 1, succ: 10 

# process[11]:
event[11]: assign: y6_5.b := true, pid: 11, #pred: 1, succ: 11 

