null-event-delay = 0
event queue:
check queue:
	time	eid	pid	event
	0	0	1	null
c : int c = 0
d : int d = 0
event queue:
check queue:
	time	eid	pid	event
	10	1	0	c := 0
c : int c = 0
d : int d = 0
event queue:
check queue:
	time	eid	pid	event
	20	9	0	*[ c<3 -> ... ]
c : int c = 0
d : int d = 0
event queue:
check queue:
	time	eid	pid	event
	20	8	0	
c : int c = 0
d : int d = 0
event queue:
check queue:
	time	eid	pid	event
	30	4	0	c := c+1
	30	7	0	d := 0
c : int c = 0
d : int d = 0
event queue:
check queue:
	time	eid	pid	event
	30	7	0	d := 0
	30	3	0	
c : int c = 1
d : int d = 0
event queue:
check queue:
	time	eid	pid	event
	30	3	0	
	40	5	0	*[ d<2 -> ... ]
c : int c = 1
d : int d = 0
event queue:
check queue:
	time	eid	pid	event
	50	6	0	d := d+1
c : int c = 1
d : int d = 0
event queue:
check queue:
	time	eid	pid	event
	60	5	0	*[ d<2 -> ... ]
c : int c = 1
d : int d = 1
event queue:
check queue:
	time	eid	pid	event
	70	6	0	d := d+1
c : int c = 1
d : int d = 1
event queue:
check queue:
	time	eid	pid	event
	80	5	0	*[ d<2 -> ... ]
c : int c = 1
d : int d = 2
event queue:
check queue:
	time	eid	pid	event
	80	3	0	
c : int c = 1
d : int d = 2
event queue:
check queue:
	time	eid	pid	event
	90	9	0	*[ c<3 -> ... ]
c : int c = 1
d : int d = 2
event queue:
check queue:
	time	eid	pid	event
	90	8	0	
c : int c = 1
d : int d = 2
event queue:
check queue:
	time	eid	pid	event
	100	4	0	c := c+1
	100	7	0	d := 0
c : int c = 1
d : int d = 2
event queue:
check queue:
	time	eid	pid	event
	100	7	0	d := 0
	100	3	0	
c : int c = 2
d : int d = 2
event queue:
check queue:
	time	eid	pid	event
	100	3	0	
	110	5	0	*[ d<2 -> ... ]
c : int c = 2
d : int d = 0
event queue:
check queue:
	time	eid	pid	event
	120	6	0	d := d+1
c : int c = 2
d : int d = 0
event queue:
check queue:
	time	eid	pid	event
	130	5	0	*[ d<2 -> ... ]
c : int c = 2
d : int d = 1
event queue:
check queue:
	time	eid	pid	event
	140	6	0	d := d+1
c : int c = 2
d : int d = 1
event queue:
check queue:
	time	eid	pid	event
	150	5	0	*[ d<2 -> ... ]
c : int c = 2
d : int d = 2
event queue:
check queue:
	time	eid	pid	event
	150	3	0	
c : int c = 2
d : int d = 2
event queue:
check queue:
	time	eid	pid	event
	160	9	0	*[ c<3 -> ... ]
c : int c = 2
d : int d = 2
event queue:
check queue:
	time	eid	pid	event
	160	8	0	
c : int c = 2
d : int d = 2
event queue:
check queue:
	time	eid	pid	event
	170	4	0	c := c+1
	170	7	0	d := 0
c : int c = 2
d : int d = 2
event queue:
check queue:
	time	eid	pid	event
	170	7	0	d := 0
	170	3	0	
c : int c = 3
d : int d = 2
event queue:
check queue:
	time	eid	pid	event
	170	3	0	
	180	5	0	*[ d<2 -> ... ]
c : int c = 3
d : int d = 0
event queue:
check queue:
	time	eid	pid	event
	190	6	0	d := d+1
c : int c = 3
d : int d = 0
event queue:
check queue:
	time	eid	pid	event
	200	5	0	*[ d<2 -> ... ]
c : int c = 3
d : int d = 1
event queue:
check queue:
	time	eid	pid	event
	210	6	0	d := d+1
c : int c = 3
d : int d = 1
event queue:
check queue:
	time	eid	pid	event
	220	5	0	*[ d<2 -> ... ]
c : int c = 3
d : int d = 2
event queue:
check queue:
	time	eid	pid	event
	220	3	0	
c : int c = 3
d : int d = 2
event queue:
check queue:
	time	eid	pid	event
	230	9	0	*[ c<3 -> ... ]
c : int c = 3
d : int d = 2
event queue:
check queue:
	time	eid	pid	event
	230	2	0	null
c : int c = 3
d : int d = 2
event queue:
check queue:
	(empty)
c : int c = 3
d : int d = 2
time: 230
