null-event-delay = 0
event queue:
check queue:
	time	eid	pid	event
	0	0	1	null
a : bool a = 0
b : bool b = 0
event queue:
check queue:
	time	eid	pid	event
	0	1	0	
a : bool a = 0
b : bool b = 0
event queue:
check queue:
	time	eid	pid	event
	10	19	0	a := false
	10	20	0	b := false
a : bool a = 0
b : bool b = 0
event queue:
check queue:
	time	eid	pid	event
	10	20	0	b := false
	10	18	0	
a : bool a = 0
b : bool b = 0
event queue:
check queue:
	time	eid	pid	event
	10	18	0	
	10	18	0	
a : bool a = 0
b : bool b = 0
event queue:
check queue:
	time	eid	pid	event
	10	17	0	
a : bool a = 0
b : bool b = 0
event queue:
check queue:
	time	eid	pid	event
	10	16	0	
	20	6	0	a := false
	20	8	0	b := false
a : bool a = 0
b : bool b = 0
event queue:
check queue:
	time	eid	pid	event
	10	14	0	[a]
	10	15	0	[b]
	20	6	0	a := false
	20	8	0	b := false
a : bool a = 0
b : bool b = 0
event queue:
check queue:
	time	eid	pid	event
	20	8	0	b := false
	30	5	0	a := false
a : bool a = 0
b : bool b = 0
event queue:
check queue:
	time	eid	pid	event
	30	5	0	a := false
	30	7	0	b := true
a : bool a = 0
b : bool b = 0
event queue:
check queue:
	time	eid	pid	event
	30	7	0	b := true
	40	4	0	a := false
a : bool a = 0
b : bool b = 0
event queue:
	time	eid	pid	event
	30	15	0	[b]
check queue:
	30	21	0	
	40	4	0	a := false
a : bool a = 0
b : bool b = 1
event queue:
check queue:
	time	eid	pid	event
	30	21	0	
	30	13	0	
	40	4	0	a := false
a : bool a = 0
b : bool b = 1
event queue:
check queue:
	time	eid	pid	event
	50	3	0	a := false
a : bool a = 0
b : bool b = 1
event queue:
check queue:
	time	eid	pid	event
	60	2	0	a := true
a : bool a = 0
b : bool b = 1
event queue:
	time	eid	pid	event
	60	14	0	[a]
check queue:
	60	21	0	
a : bool a = 1
b : bool b = 1
event queue:
check queue:
	time	eid	pid	event
	60	21	0	
	60	13	0	
a : bool a = 1
b : bool b = 1
event queue:
check queue:
	time	eid	pid	event
	60	12	0	
a : bool a = 1
b : bool b = 1
event queue:
check queue:
	time	eid	pid	event
	70	10	0	a := false
	70	11	0	b := false
a : bool a = 1
b : bool b = 1
event queue:
check queue:
	time	eid	pid	event
	70	11	0	b := false
	70	9	0	
a : bool a = 0
b : bool b = 1
event queue:
check queue:
	time	eid	pid	event
	70	9	0	
	70	9	0	
a : bool a = 0
b : bool b = 0
event queue:
check queue:
	time	eid	pid	event
	70	21	0	
a : bool a = 0
b : bool b = 0
event queue:
check queue:
	(empty)
a : bool a = 0
b : bool b = 0
time: 70
