null-event-delay = 0
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
	0	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
	10	11	0	a := false
	10	12	0	b := false
	10	13	0	c := false
	10	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
	10	12	0	b := false
	10	13	0	c := false
	10	14	0	d := false
	10	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
	10	13	0	c := false
	10	14	0	d := false
	10	10	0	
	10	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
	10	14	0	d := false
	10	10	0	
	10	10	0	
	10	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
	10	10	0	
	10	10	0	
	10	10	0	
	10	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
	10	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
	10	4	0	[a]
	10	6	0	[b]
	10	8	0	[c]
	20	2	0	a := true
a : bool a = 0
b : bool b = 0
c : bool c = 0
d : bool d = 0
event queue:
	time	eid	pid	event
	20	4	0	[a]
check queue:
	20	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
	20	15	0	
	30	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
	30	6	0	[b]
check queue:
	30	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
	30	15	0	
	40	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
	40	8	0	[c]
check queue:
	40	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
	40	15	0	
	50	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
	50	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: 50
