*******************************************
Goal is reached. Solution found:
*******************************************
Starting from the initial state
	x1	= 1
	x2	= 1
	x3	= 1
	x4	= 1
	x5	= 1
	x6	= 1
	x7	= 1
	x8	= 0
	Unused variable #8	= 0
	Unused variable #9	= 0
	Unused variable #10	= 0
	Unused variable #11	= 0
	Unused variable #12	= 0
	Unused variable #13	= 0
	Unused variable #14	= 0
	Unused variable #15	= 0
***************************************
Event D occurs at the time point 4.7
with the following causal rule applied:
	If before the event we have
		x1,x2,not x8,
		
	then after the event we might have
		not x1,
***************************************
New state reached:
	x1	= 0
	x2	= 1
	x3	= 1
	x4	= 1
	x5	= 1
	x6	= 1
	x7	= 1
	x8	= 0
	Unused variable #8	= 0
	Unused variable #9	= 0
	Unused variable #10	= 0
	Unused variable #11	= 0
	Unused variable #12	= 0
	Unused variable #13	= 0
	Unused variable #14	= 0
	Unused variable #15	= 0
***************************************
Event C occurs at the time point 4.8
with the following causal rule applied:
	If before the event we have
		x3,x5,x7,
		
	then after the event we might have
		not x3,
***************************************
New state reached:
	x1	= 0
	x2	= 1
	x3	= 0
	x4	= 1
	x5	= 1
	x6	= 1
	x7	= 1
	x8	= 0
	Unused variable #8	= 0
	Unused variable #9	= 0
	Unused variable #10	= 0
	Unused variable #11	= 0
	Unused variable #12	= 0
	Unused variable #13	= 0
	Unused variable #14	= 0
	Unused variable #15	= 0
***************************************
Event B occurs at the time point 4.9
with the following causal rule applied:
	If before the event we have
		not x1,not x3,
	then after the event we might have
		not x4,
***************************************
New state reached:
	x1	= 0
	x2	= 1
	x3	= 0
	x4	= 0
	x5	= 1
	x6	= 1
	x7	= 1
	x8	= 0
	Unused variable #8	= 0
	Unused variable #9	= 0
	Unused variable #10	= 0
	Unused variable #11	= 0
	Unused variable #12	= 0
	Unused variable #13	= 0
	Unused variable #14	= 0
	Unused variable #15	= 0
***************************************
Event A occurs at the time point 5.9
with the following causal rule applied:
	If before the event we have
		x2,not x4,
	then after the event we might have
		not x6,
***************************************
New state reached:
	x1	= 0
	x2	= 1
	x3	= 0
	x4	= 0
	x5	= 1
	x6	= 0
	x7	= 1
	x8	= 0
	Unused variable #8	= 0
	Unused variable #9	= 0
	Unused variable #10	= 0
	Unused variable #11	= 0
	Unused variable #12	= 0
	Unused variable #13	= 0
	Unused variable #14	= 0
	Unused variable #15	= 0

************* The goal achieved **************

		not x1,not x4,not x6,