event queue:
check queue:
	time	eid	pid	event
	0	0	1	null
a : bool a = 0
b : bool b = 0
c : bool c = 0
d : bool d = 0
event queue:
check queue:
	time	eid	pid	event
	10	1	0	
a : bool a = 0
b : bool b = 0
c : bool c = 0
d : bool d = 0
event queue:
check queue:
	time	eid	pid	event
	20	11	0	a := false
	20	12	0	b := false
	20	13	0	c := false
	20	14	0	d := false
a : bool a = 0
b : bool b = 0
c : bool c = 0
d : bool d = 0
event queue:
check queue:
	time	eid	pid	event
	20	12	0	b := false
	20	13	0	c := false
	20	14	0	d := false
	30	10	0	
a : bool a = 0
b : bool b = 0
c : bool c = 0
d : bool d = 0
event queue:
check queue:
	time	eid	pid	event
	20	13	0	c := false
	20	14	0	d := false
	30	10	0	
	30	10	0	
a : bool a = 0
b : bool b = 0
c : bool c = 0
d : bool d = 0
event queue:
check queue:
	time	eid	pid	event
	20	14	0	d := false
	30	10	0	
	30	10	0	
	30	10	0	
a : bool a = 0
b : bool b = 0
c : bool c = 0
d : bool d = 0
event queue:
check queue:
	time	eid	pid	event
	30	10	0	
	30	10	0	
	30	10	0	
	30	10	0	
a : bool a = 0
b : bool b = 0
c : bool c = 0
d : bool d = 0
event queue:
check queue:
	time	eid	pid	event
	40	9	0	
a : bool a = 0
b : bool b = 0
c : bool c = 0
d : bool d = 0
event queue:
check queue:
	time	eid	pid	event
	50	2	0	a := true
	50	4	0	[a]
	50	6	0	[b]
	50	8	0	[c]
a : bool a = 0
b : bool b = 0
c : bool c = 0
d : bool d = 0
event queue:
check queue:
	time	eid	pid	event
	50	4	0	[a]
	50	6	0	[b]
	50	8	0	[c]
	60	15	0	
a : bool a = 1
b : bool b = 0
c : bool c = 0
d : bool d = 0
event queue:
check queue:
	time	eid	pid	event
	50	6	0	[b]
	50	8	0	[c]
	60	15	0	
	60	3	0	b := true
a : bool a = 1
b : bool b = 0
c : bool c = 0
d : bool d = 0
event queue:
	time	eid	pid	event
	60	6	0	[b]
check queue:
	70	15	0	
a : bool a = 1
b : bool b = 1
c : bool c = 0
d : bool d = 0
event queue:
check queue:
	time	eid	pid	event
	70	15	0	
	70	5	0	c := true
a : bool a = 1
b : bool b = 1
c : bool c = 0
d : bool d = 0
event queue:
	time	eid	pid	event
	70	8	0	[c]
check queue:
	80	15	0	
a : bool a = 1
b : bool b = 1
c : bool c = 1
d : bool d = 0
event queue:
check queue:
	time	eid	pid	event
	80	15	0	
	80	7	0	d := true
a : bool a = 1
b : bool b = 1
c : bool c = 1
d : bool d = 0
event queue:
check queue:
	time	eid	pid	event
	90	15	0	
a : bool a = 1
b : bool b = 1
c : bool c = 1
d : bool d = 1
event queue:
check queue:
	(empty)
a : bool a = 1
b : bool b = 1
c : bool c = 1
d : bool d = 1
time: 90
