[SEW] Symbolic Execution based Workflow analysis ... START
[SEW] Location: C:\Diversity\TP\workspace-training\Diversity\workflow.sew
[SEW] Console verbosity level: 'MEDIUM'
[SEW] Developer debug level: 'ULTRA'
[SEW] Developer debug flags: 'PARSING | ALL_PROCESS_STAGE | TRACE | PROCESSING | FILTERING'
[SEW] The launch folder: C:\Diversity\TP\workspace-training
[SEW] The <wroot> folder: C:/Diversity/TP/workspace-training/Diversity
[SEW] The source! folder: <wroot>:\.
[SEW] The output! folder: <wroot>:\Test\Output
[SEW] The logger! folder: <wroot>:\Test\Output\log
[SEW] The !debug! folder: <wroot>:\Test\Output\debug
[SEW] The default solver: < checksat=true , CVC4 > |=> CVC4
[SEW] Computing resource: < multitasking=false , thread=2 >
[SEW] Symbolic Execution Workflow analysis ... DONE

[SEW] Configure Engine director: sew:/workflow.exploration
[SEW] Checking the specification ...
[SEW] File location:> <wroot>:\Specification\thermostatSystem.xlia ==> DONE

[SEW] < start > Parsing ...
[SEW] Parsing: thermostatSystem.xlia ...
[SEW] Done ==> 0 syntax error found.
[SEW] < end > Parsing ... done.
[DBG] Saving of the Specification in text format --> parsed
	path: thermostatSystem_parsed.xlia... OK

[SEW] < start > Building ...
[SEW] Compilation report:> 0 error 0 warning
[SEW] < end > Building ... done.
[SEW] < start > SymbexControllerUnitManager::configure ...
File path of merged trace: C:/Diversity/TP/workspace-training/Diversity/Test/mergeTrace.txt
Trace format: BASIC#XLIA
PARSER : the message trace is >>INPUT sens(0)<<
PARSER : the message is >>sens(0)<<
PARSER : the port is >>sens<<
PARSER: parameter value read: 0

PARSER : and its parameters are >>0<<
PARSER : the message trace is >>OUTPUT screen(1)<<
PARSER : the message is >>screen(1)<<
PARSER : the port is >>screen<<
PARSER: parameter value read: 1

PARSER : and its parameters are >>1<<
PARSER : the message trace is >>OUTPUT dt(20)<<
PARSER : the message is >>dt(20)<<
PARSER : the port is >>dt<<
PARSER: parameter value read: 20

PARSER : and its parameters are >>20<<
PARSER : the message trace is >>OUTPUT equip(-4)<<
PARSER : the message is >>equip(-4)<<
PARSER : the port is >>equip<<
PARSER: parameter value read: -4

PARSER : and its parameters are >>-4<<
The merge trace (sequence of duration/input/output) is: 
trace#0<size:8> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
	time:time inst::ThermostatSystem.$delta[ 2 ]
	com:output inst::ThermostatSystem.Equipment.equip{ -4 }
}

The file path of the test purpose to parse is: C:/Diversity/TP/workspace-training/Diversity/Test/test_purpose.txt
The parsed trace is: 
	The (local) trace:
trace#0<size:8> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
	time:time inst::ThermostatSystem.$delta[ 2 ]
	com:output inst::ThermostatSystem.Equipment.equip{ -4 }
}

The test purpose (sequence of transition names) is: 
trace#0<size:1> { |;|
	transition transition::ThermostatSystem.Equipment.s2.e22
}

Warning : Observable ports are not configured
Deducing observable ports from the trace
Adding point: 0x1211cd20
Adding point: 0x1211ce80
Adding point: 0x1211cfe0
Adding point: 0x1211d140
ProcessorUnitFactory::autoconfigure <sew:/workflow.exploration>
moe:
 supervisor = [p:0]sew:/workflow.exploration.supervisor;
 queue = [p:0]sew:/workflow.exploration.supervisor;
 redundancy = [p:100]sew:/workflow.exploration.supervisor;

 pre_processor = { |;|
 }

 pre_filter = { |;|
  [p:40]sew:/workflow.exploration.offline_test
 }
 post_filter = { |;|
  [p:40]sew:/workflow.exploration.offline_test
 }

 post_processor = { |;|
  [p:40]sew:/workflow.exploration.offline_test
 }
[SEW] < end > SymbexControllerUnitManager::configure ... done.

[SEW] < start > Computing ...

[SBX] < start > Computing ...




Working with EC: Id:1 PE:ROOT H:0 W:1 Q:0 ( pid#3:q0 , pid#12:s0 ) IO Trace: BF<null>
1. Setting time reference to 0
The Time Reference Instance is: inst::ThermostatSystem.$time
0
Root does NOT have Runnable Element Trace! 
Root, assigning and skipping: 


Working with EC: Id:2 PE:1 H:1 W:1 Q:0 ( pid#3:q0 , pid#12:s0 ) IO Trace: BF<null>
Its previous EC: Id:1 PE:ROOT H:0 W:1 Q:0 ( pid#3:q0 , pid#12:s0 ) IO Trace: BF<null>
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }
}

Its previous trace size is: 8
OfflineTestProcessor::hasObservableSignal:> Invalid Trace, returning false !
jumping!!!!!!!! not interesting!!!!!!!! for EC: Id:2 PE:1 H:1 W:1 Q:0 ( pid#3:q0 , pid#12:s0 )
setting reference of father in EC: Id:2 PE:1 H:1 W:1 Q:0 ( pid#3:q0 , pid#12:s0 )
Trace already read, or tau, or already failed/inconci, or projecting,
assigning and skipping EC: Id:2 PE:1 H:1 W:1 Q:0 ( pid#3:q0 , pid#12:s0 )
Local Trace size : 8


Working with EC: Id:3 PE:2 H:2 W:1 Q:0 ( pid#4:q1 , pid#12:s0 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#0 })
 (:pid#3 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#3:t#1 })
}
Its previous EC: Id:2 PE:1 H:1 W:1 Q:0 ( pid#3:q0 , pid#12:s0 ) IO Trace: BF<null>
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }
}

Its previous trace size is: 8
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#0)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#env inst:Thermostat.sens(pid#3:t#1);
with AvmOpCode : input
Found, port in machine: com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

setting reference of father in EC: Id:3 PE:2 H:2 W:1 Q:0 ( pid#4:q1 , pid#12:s0 )
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#0)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#env inst:Thermostat.sens(pid#3:t#1);
with AvmOpCode : input
Found, port in machine: com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

The local trace is (assigned!): 
	The (local) trace:
trace#0<size:8> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
	time:time inst::ThermostatSystem.$delta[ 2 ]
	com:output inst::ThermostatSystem.Equipment.equip{ -4 }
}

OFFLINE TEST:: About to parse the trace: 
{ |;|
	(:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#0 })
	(:pid#3 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#3:t#1 })
}

OfflineTestProcessor::hasIO < theAC > : newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#0)
OfflineTestProcessor::hasIO < theAC > : input#env inst:Thermostat.sens(pid#3:t#1);
OFFLINE TEST:: input found on port: inst:Thermostat.sens
with machine : run::pid#2:ThermostatSystem.Thermostat
with machine 2 : run::pid#3:ThermostatSystem.Thermostat.q0
Number of parameters:1
Time passing... add time constraint, input
And the timed ( $time: pid#1:$delta#0 ) constraint is (pid#1:$delta#0 == 1)
With time reference : 0
With time elapsing : 1
The port in the trace is inst::ThermostatSystem.Thermostat.sens
And the port is sens
Assigning value: 0
 to variable: pid#3:t#1
OFFLINE TEST: com action corresponds to trace, delete it
The constraint is satisfied !
Something was read 
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#0)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#env inst:Thermostat.sens(pid#3:t#1);
with AvmOpCode : input
Found, port in machine: com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

2. Setting time reference to 1
==> Rule: continue 


Working with EC: Id:4 PE:3 H:3 W:1 Q:0 ( pid#5:q2 , pid#12:s0 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#1 })
 (:pid#4 , ${ output#env inst::ThermostatSystem.Thermostat.screen 1 })
}
Its previous EC: Id:3 PE:2 H:2 W:1 Q:0 ( pid#4:q1 , pid#12:s0 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#0 })
 (:pid#3 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#3:t#1 })
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }
}

Its previous trace size is: 6
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#1)
with AvmOpCode : newfresh
Analyzing I/O Element Trace output#env inst:Thermostat.screen(1);
with AvmOpCode : output
NOT Found, port in machine (from tree): run::pid#4:ThermostatSystem.Thermostat.q1 -> output#env port inst:Thermostat.screen
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

Found, port in machine: com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

setting reference of father in EC: Id:4 PE:3 H:3 W:1 Q:0 ( pid#5:q2 , pid#12:s0 )
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#1)
with AvmOpCode : newfresh
Analyzing I/O Element Trace output#env inst:Thermostat.screen(1);
with AvmOpCode : output
NOT Found, port in machine (from tree): run::pid#4:ThermostatSystem.Thermostat.q1 -> output#env port inst:Thermostat.screen
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

Found, port in machine: com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

The local trace is (assigned!): 
	The (local) trace:
trace#0<size:6> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
	time:time inst::ThermostatSystem.$delta[ 2 ]
	com:output inst::ThermostatSystem.Equipment.equip{ -4 }
}

OFFLINE TEST:: About to parse the trace: 
{ |;|
	(:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#1 })
	(:pid#4 , ${ output#env inst::ThermostatSystem.Thermostat.screen 1 })
}

OfflineTestProcessor::hasIO < theAC > : newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#1)
OfflineTestProcessor::hasIO < theAC > : output#env inst:Thermostat.screen(1);
OFFLINE TEST:: output found on port: inst:Thermostat.screen
with machine : run::pid#2:ThermostatSystem.Thermostat
with machine 2 : run::pid#4:ThermostatSystem.Thermostat.q1
Number of parameters:1
Time passing... add time constraint, input
And the timed ( $time: (pid#1:$delta#1 + 1) ) constraint is ((pid#1:$delta#0 == 1) && (pid#1:$delta#1 == 1))
With time reference : 1
With time elapsing : 2
The port in the trace is inst::ThermostatSystem.Thermostat.screen
And the port is screen
Assigning value: 1
 to variable: 1
OFFLINE TEST: com action corresponds to trace, delete it
The constraint is satisfied !
Something was read 
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#1)
with AvmOpCode : newfresh
Analyzing I/O Element Trace output#env inst:Thermostat.screen(1);
with AvmOpCode : output
NOT Found, port in machine (from tree): run::pid#4:ThermostatSystem.Thermostat.q1 -> output#env port inst:Thermostat.screen
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

Found, port in machine: com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

2. Setting time reference to 2
==> Rule: continue 


Working with EC: Id:5 PE:4 H:4 W:1 Q:0 ( pid#6:q3 , pid#13:s1 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#2 })
 { |,|
  (:pid#5 , ${ output#rdv inst::ThermostatSystem.Thermostat.dt ${ + ${ - pid#3:t#1 } 20 } })
  (:pid#12 , ${ input#rdv inst::ThermostatSystem.Equipment.dt ${ + ${ - pid#3:t#1 } 20 } })
 }
}
Its previous EC: Id:4 PE:3 H:3 W:1 Q:0 ( pid#5:q2 , pid#12:s0 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#1 })
 (:pid#4 , ${ output#env inst::ThermostatSystem.Thermostat.screen 1 })
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }
}

Its previous trace size is: 4
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#2)
with AvmOpCode : newfresh
Analyzing I/O Element Trace output#rdv inst:Thermostat.dt(((- pid#3:t#1) + 20));
with AvmOpCode : output
NOT Found, port in machine (from tree): run::pid#5:ThermostatSystem.Thermostat.q2 -> output#rdv port inst:Thermostat.dt
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

NOT Found, port in machine (from tree): run::pid#5:ThermostatSystem.Thermostat.q2 -> output#rdv port inst:Thermostat.dt
NOT Found, comparing with (from obs signals): com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

Found, port in machine: com:output inst::ThermostatSystem.Thermostat.dt{ 20 }

setting reference of father in EC: Id:5 PE:4 H:4 W:1 Q:0 ( pid#6:q3 , pid#13:s1 )
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#2)
with AvmOpCode : newfresh
Analyzing I/O Element Trace output#rdv inst:Thermostat.dt(((- pid#3:t#1) + 20));
with AvmOpCode : output
NOT Found, port in machine (from tree): run::pid#5:ThermostatSystem.Thermostat.q2 -> output#rdv port inst:Thermostat.dt
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

NOT Found, port in machine (from tree): run::pid#5:ThermostatSystem.Thermostat.q2 -> output#rdv port inst:Thermostat.dt
NOT Found, comparing with (from obs signals): com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

Found, port in machine: com:output inst::ThermostatSystem.Thermostat.dt{ 20 }

The local trace is (assigned!): 
	The (local) trace:
trace#0<size:4> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
	time:time inst::ThermostatSystem.$delta[ 2 ]
	com:output inst::ThermostatSystem.Equipment.equip{ -4 }
}

OFFLINE TEST:: About to parse the trace: 
{ |;|
	(:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#2 })
	{ |,|
		(:pid#5 , ${ output#rdv inst::ThermostatSystem.Thermostat.dt ${ + ${ - pid#3:t#1 } 20 } })
		(:pid#12 , ${ input#rdv inst::ThermostatSystem.Equipment.dt ${ + ${ - pid#3:t#1 } 20 } })
	}
}

OfflineTestProcessor::hasIO < theAC > : newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#2)
OfflineTestProcessor::hasIO < theAC > : output#rdv inst:Thermostat.dt(((- pid#3:t#1) + 20));
OFFLINE TEST:: output found on port: inst:Thermostat.dt
with machine : run::pid#2:ThermostatSystem.Thermostat
with machine 2 : run::pid#5:ThermostatSystem.Thermostat.q2
Number of parameters:1
Time passing... add time constraint, input
And the timed ( $time: (pid#1:$delta#2 + 2) ) constraint is ((pid#1:$delta#0 == 1) && (pid#1:$delta#1 == 1) && (pid#1:$delta#2 == 1))
With time reference : 2
With time elapsing : 3
The port in the trace is inst::ThermostatSystem.Thermostat.dt
And the port is dt
Assigning value: 20
 to variable: ((- pid#3:t#1) + 20)
OFFLINE TEST: com action corresponds to trace, delete it
The constraint is satisfied !
OfflineTestProcessor::hasIO < theAC > : input#rdv inst:Equipment.dt(((- pid#3:t#1) + 20));
Something was read 
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#2)
with AvmOpCode : newfresh
Analyzing I/O Element Trace output#rdv inst:Thermostat.dt(((- pid#3:t#1) + 20));
with AvmOpCode : output
NOT Found, port in machine (from tree): run::pid#5:ThermostatSystem.Thermostat.q2 -> output#rdv port inst:Thermostat.dt
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

NOT Found, port in machine (from tree): run::pid#5:ThermostatSystem.Thermostat.q2 -> output#rdv port inst:Thermostat.dt
NOT Found, comparing with (from obs signals): com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

Found, port in machine: com:output inst::ThermostatSystem.Thermostat.dt{ 20 }

2. Setting time reference to 3
==> Rule: continue 


Working with EC: Id:6 PE:5 H:5 W:1 Q:0 ( pid#7:q4 , pid#13:s1 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#3 })
 (:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#2 })
}
Its previous EC: Id:5 PE:4 H:4 W:1 Q:0 ( pid#6:q3 , pid#13:s1 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#2 })
 { |,|
  (:pid#5 , ${ output#rdv inst::ThermostatSystem.Thermostat.dt ${ + ${ - pid#3:t#1 } 20 } })
  (:pid#12 , ${ input#rdv inst::ThermostatSystem.Equipment.dt ${ + ${ - pid#3:t#1 } 20 } })
 }
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#3)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#env inst:Thermostat.sens(pid#6:t#2);
with AvmOpCode : input
Found, port in machine: com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

setting reference of father in EC: Id:6 PE:5 H:5 W:1 Q:0 ( pid#7:q4 , pid#13:s1 )
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#3)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#env inst:Thermostat.sens(pid#6:t#2);
with AvmOpCode : input
Found, port in machine: com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

The local trace is (assigned!): 
	The (local) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 2 ]
	com:output inst::ThermostatSystem.Equipment.equip{ -4 }
}

OFFLINE TEST:: About to parse the trace: 
{ |;|
	(:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#3 })
	(:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#2 })
}

OfflineTestProcessor::hasIO < theAC > : newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#3)
OfflineTestProcessor::hasIO < theAC > : input#env inst:Thermostat.sens(pid#6:t#2);
Nothing was read in this EC: Id:6 PE:5 H:5 W:1 Q:0 ( pid#7:q4 , pid#13:s1 )
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#3)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#env inst:Thermostat.sens(pid#6:t#2);
with AvmOpCode : input
Found, port in machine: com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

2. Setting time reference to (pid#1:$delta#3 + 3)
==> Rule: continue 


Working with EC: Id:7 PE:5 H:5 W:2 Q:0 ( pid#6:q3 , pid#14:s2 ) IO Trace: (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#3 })
Its previous EC: Id:5 PE:4 H:4 W:1 Q:0 ( pid#6:q3 , pid#13:s1 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#2 })
 { |,|
  (:pid#5 , ${ output#rdv inst::ThermostatSystem.Thermostat.dt ${ + ${ - pid#3:t#1 } 20 } })
  (:pid#12 , ${ input#rdv inst::ThermostatSystem.Equipment.dt ${ + ${ - pid#3:t#1 } 20 } })
 }
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#3)
with AvmOpCode : newfresh
jumping!!!!!!!! not interesting!!!!!!!! for EC: Id:7 PE:5 H:5 W:2 Q:0 ( pid#6:q3 , pid#14:s2 )
setting reference of father in EC: Id:7 PE:5 H:5 W:2 Q:0 ( pid#6:q3 , pid#14:s2 )
Trace already read, or tau, or already failed/inconci, or projecting,
assigning and skipping EC: Id:7 PE:5 H:5 W:2 Q:0 ( pid#6:q3 , pid#14:s2 )
Local Trace size : 2


Working with EC: Id:8 PE:5 H:5 W:3 Q:0 ( pid#6:q3 , pid#16:s4 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#3 })
 { |,|
  (:pid#6 , ${ input#rdv inst::ThermostatSystem.Thermostat.error 0 })
  (:pid#13 , ${ output#rdv inst::ThermostatSystem.Equipment.error 0 })
 }
}
Its previous EC: Id:5 PE:4 H:4 W:1 Q:0 ( pid#6:q3 , pid#13:s1 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#2 })
 { |,|
  (:pid#5 , ${ output#rdv inst::ThermostatSystem.Thermostat.dt ${ + ${ - pid#3:t#1 } 20 } })
  (:pid#12 , ${ input#rdv inst::ThermostatSystem.Equipment.dt ${ + ${ - pid#3:t#1 } 20 } })
 }
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#3)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#rdv inst:Thermostat.error(0);
with AvmOpCode : input
NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Thermostat.dt{ 20 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Equipment.equip{ -4 }

Analyzing I/O Element Trace output#rdv inst:Equipment.error(0);
with AvmOpCode : output
NOT Found, port in machine (from tree): run::pid#13:ThermostatSystem.Equipment.s1 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

NOT Found, port in machine (from tree): run::pid#13:ThermostatSystem.Equipment.s1 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

NOT Found, port in machine (from tree): run::pid#13:ThermostatSystem.Equipment.s1 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Thermostat.dt{ 20 }

NOT Found, port in machine (from tree): run::pid#13:ThermostatSystem.Equipment.s1 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Equipment.equip{ -4 }

jumping!!!!!!!! not interesting!!!!!!!! for EC: Id:8 PE:5 H:5 W:3 Q:0 ( pid#6:q3 , pid#16:s4 )
setting reference of father in EC: Id:8 PE:5 H:5 W:3 Q:0 ( pid#6:q3 , pid#16:s4 )
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#3)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#rdv inst:Thermostat.error(0);
with AvmOpCode : input
NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Thermostat.dt{ 20 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Equipment.equip{ -4 }

Analyzing I/O Element Trace output#rdv inst:Equipment.error(0);
with AvmOpCode : output
NOT Found, port in machine (from tree): run::pid#13:ThermostatSystem.Equipment.s1 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

NOT Found, port in machine (from tree): run::pid#13:ThermostatSystem.Equipment.s1 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

NOT Found, port in machine (from tree): run::pid#13:ThermostatSystem.Equipment.s1 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Thermostat.dt{ 20 }

NOT Found, port in machine (from tree): run::pid#13:ThermostatSystem.Equipment.s1 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Equipment.equip{ -4 }

Trace already read, or tau, or already failed/inconci, or projecting,
assigning and skipping EC: Id:8 PE:5 H:5 W:3 Q:0 ( pid#6:q3 , pid#16:s4 )
Local Trace size : 2
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#3)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#rdv inst:Thermostat.error(0);
with AvmOpCode : input
NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Thermostat.dt{ 20 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Equipment.equip{ -4 }

Analyzing I/O Element Trace output#rdv inst:Equipment.error(0);
with AvmOpCode : output
NOT Found, port in machine (from tree): run::pid#13:ThermostatSystem.Equipment.s1 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

NOT Found, port in machine (from tree): run::pid#13:ThermostatSystem.Equipment.s1 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

NOT Found, port in machine (from tree): run::pid#13:ThermostatSystem.Equipment.s1 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Thermostat.dt{ 20 }

NOT Found, port in machine (from tree): run::pid#13:ThermostatSystem.Equipment.s1 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Equipment.equip{ -4 }



Working with EC: Id:9 PE:6 H:6 W:1 Q:0 ( pid#5:q2 , pid#13:s1 ) IO Trace: (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#4 })
Its previous EC: Id:6 PE:5 H:5 W:1 Q:0 ( pid#7:q4 , pid#13:s1 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#3 })
 (:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#2 })
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Verdict already computed!!!!!!!!!! for EC: Id:9 PE:6 H:6 W:1 Q:0 ( pid#5:q2 , pid#13:s1 )
OfflineTestProcessor::Prefilter won't continue here!
Erasing EC: Id:9 PE:6 H:6 W:1 Q:0 ( pid#5:q2 , pid#13:s1 )
	It's the 1'nth EC that has been deleted !


Working with EC: Id:10 PE:6 H:6 W:4 Q:0 ( pid#7:q4 , pid#14:s2 ) IO Trace: (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#4 })
Its previous EC: Id:6 PE:5 H:5 W:1 Q:0 ( pid#7:q4 , pid#13:s1 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#3 })
 (:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#2 })
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Verdict already computed!!!!!!!!!! for EC: Id:10 PE:6 H:6 W:4 Q:0 ( pid#7:q4 , pid#14:s2 )
OfflineTestProcessor::Prefilter won't continue here!
Erasing EC: Id:10 PE:6 H:6 W:4 Q:0 ( pid#7:q4 , pid#14:s2 )
	It's the 2'nth EC that has been deleted !


Working with EC: Id:11 PE:6 H:6 W:5 Q:0 ( pid#7:q4 , pid#16:s4 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#4 })
 { |,|
  (:pid#7 , ${ input#rdv inst::ThermostatSystem.Thermostat.error 0 })
  (:pid#13 , ${ output#rdv inst::ThermostatSystem.Equipment.error 0 })
 }
}
Its previous EC: Id:6 PE:5 H:5 W:1 Q:0 ( pid#7:q4 , pid#13:s1 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#3 })
 (:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#2 })
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Verdict already computed!!!!!!!!!! for EC: Id:11 PE:6 H:6 W:5 Q:0 ( pid#7:q4 , pid#16:s4 )
OfflineTestProcessor::Prefilter won't continue here!
Erasing EC: Id:11 PE:6 H:6 W:5 Q:0 ( pid#7:q4 , pid#16:s4 )
	It's the 3'nth EC that has been deleted !


Working with EC: Id:12 PE:7 H:6 W:2 Q:0 ( pid#7:q4 , pid#14:s2 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#5 })
 (:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#3 })
}
Its previous EC: Id:7 PE:5 H:5 W:2 Q:0 ( pid#6:q3 , pid#14:s2 ) IO Trace: (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#3 })
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#5)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#env inst:Thermostat.sens(pid#6:t#3);
with AvmOpCode : input
Found, port in machine: com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

setting reference of father in EC: Id:12 PE:7 H:6 W:2 Q:0 ( pid#7:q4 , pid#14:s2 )
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#5)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#env inst:Thermostat.sens(pid#6:t#3);
with AvmOpCode : input
Found, port in machine: com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

The local trace is (assigned!): 
	The (local) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 2 ]
	com:output inst::ThermostatSystem.Equipment.equip{ -4 }
}

OFFLINE TEST:: About to parse the trace: 
{ |;|
	(:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#5 })
	(:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#3 })
}

OfflineTestProcessor::hasIO < theAC > : newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#5)
OfflineTestProcessor::hasIO < theAC > : input#env inst:Thermostat.sens(pid#6:t#3);
Nothing was read in this EC: Id:12 PE:7 H:6 W:2 Q:0 ( pid#7:q4 , pid#14:s2 )
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#5)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#env inst:Thermostat.sens(pid#6:t#3);
with AvmOpCode : input
Found, port in machine: com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

2. Setting time reference to (pid#1:$delta#3 + pid#1:$delta#5 + 3)
==> Rule: continue 


Working with EC: Id:13 PE:7 H:6 W:6 Q:0 ( pid#6:q3 , pid#12:s0 ) IO Trace: (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#5 })
Its previous EC: Id:7 PE:5 H:5 W:2 Q:0 ( pid#6:q3 , pid#14:s2 ) IO Trace: (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#3 })
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#5)
with AvmOpCode : newfresh
jumping!!!!!!!! not interesting!!!!!!!! for EC: Id:13 PE:7 H:6 W:6 Q:0 ( pid#6:q3 , pid#12:s0 )
setting reference of father in EC: Id:13 PE:7 H:6 W:6 Q:0 ( pid#6:q3 , pid#12:s0 )
Trace already read, or tau, or already failed/inconci, or projecting,
assigning and skipping EC: Id:13 PE:7 H:6 W:6 Q:0 ( pid#6:q3 , pid#12:s0 )
Local Trace size : 2


Working with EC: Id:14 PE:7 H:6 W:7 Q:0 ( pid#6:q3 , pid#14:s2 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#5 })
 { |,|
  (:pid#6 , ${ input#rdv inst::ThermostatSystem.Thermostat.equip 4 })
  (:pid#14 , ${ output#rdv inst::ThermostatSystem.Equipment.equip 4 })
 }
}
Its previous EC: Id:7 PE:5 H:5 W:2 Q:0 ( pid#6:q3 , pid#14:s2 ) IO Trace: (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#3 })
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#5)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#rdv inst:Thermostat.equip(4);
with AvmOpCode : input
NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.equip
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.equip
NOT Found, comparing with (from obs signals): com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.equip
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Thermostat.dt{ 20 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.equip
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Equipment.equip{ -4 }

Analyzing I/O Element Trace output#rdv inst:Equipment.equip(4);
with AvmOpCode : output
NOT Found, port in machine (from tree): run::pid#14:ThermostatSystem.Equipment.s2 -> output#rdv port inst:Equipment.equip
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

NOT Found, port in machine (from tree): run::pid#14:ThermostatSystem.Equipment.s2 -> output#rdv port inst:Equipment.equip
NOT Found, comparing with (from obs signals): com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

NOT Found, port in machine (from tree): run::pid#14:ThermostatSystem.Equipment.s2 -> output#rdv port inst:Equipment.equip
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Thermostat.dt{ 20 }

Found, port in machine: com:output inst::ThermostatSystem.Equipment.equip{ -4 }

setting reference of father in EC: Id:14 PE:7 H:6 W:7 Q:0 ( pid#6:q3 , pid#14:s2 )
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#5)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#rdv inst:Thermostat.equip(4);
with AvmOpCode : input
NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.equip
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.equip
NOT Found, comparing with (from obs signals): com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.equip
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Thermostat.dt{ 20 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.equip
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Equipment.equip{ -4 }

Analyzing I/O Element Trace output#rdv inst:Equipment.equip(4);
with AvmOpCode : output
NOT Found, port in machine (from tree): run::pid#14:ThermostatSystem.Equipment.s2 -> output#rdv port inst:Equipment.equip
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

NOT Found, port in machine (from tree): run::pid#14:ThermostatSystem.Equipment.s2 -> output#rdv port inst:Equipment.equip
NOT Found, comparing with (from obs signals): com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

NOT Found, port in machine (from tree): run::pid#14:ThermostatSystem.Equipment.s2 -> output#rdv port inst:Equipment.equip
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Thermostat.dt{ 20 }

Found, port in machine: com:output inst::ThermostatSystem.Equipment.equip{ -4 }

The local trace is (assigned!): 
	The (local) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 2 ]
	com:output inst::ThermostatSystem.Equipment.equip{ -4 }
}

OFFLINE TEST:: About to parse the trace: 
{ |;|
	(:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#5 })
	{ |,|
		(:pid#6 , ${ input#rdv inst::ThermostatSystem.Thermostat.equip 4 })
		(:pid#14 , ${ output#rdv inst::ThermostatSystem.Equipment.equip 4 })
	}
}

OfflineTestProcessor::hasIO < theAC > : newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#5)
OfflineTestProcessor::hasIO < theAC > : input#rdv inst:Thermostat.equip(4);
OfflineTestProcessor::hasIO < theAC > : output#rdv inst:Equipment.equip(4);
OFFLINE TEST:: output found on port: inst:Equipment.equip
with machine : run::pid#11:ThermostatSystem.Equipment
with machine 2 : run::pid#14:ThermostatSystem.Equipment.s2
Number of parameters:1
Time passing... add time constraint, input
And the timed ( $time: (pid#1:$delta#3 + pid#1:$delta#5 + 3) ) constraint is (((pid#1:$delta#3 + pid#1:$delta#5) == 2) && (pid#1:$delta#0 == 1) && (pid#1:$delta#1 == 1) && (pid#1:$delta#2 == 1) && (pid#1:$delta#3 <= 2) && (pid#1:$delta#5 <= 1))
With time reference : 3
With time elapsing : 5
The port in the trace is inst::ThermostatSystem.Equipment.equip
And the port is equip
Assigning value: -4
 to variable: 4
OFFLINE TEST: WARNING: com action :  4 does not correspond to trace : { -4 } , do not delete it (but deleting for the moment)
Nothing was read in this EC: Id:14 PE:7 H:6 W:7 Q:0 ( pid#6:q3 , pid#14:s2 )
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#5)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#rdv inst:Thermostat.equip(4);
with AvmOpCode : input
NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.equip
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.equip
NOT Found, comparing with (from obs signals): com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.equip
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Thermostat.dt{ 20 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.equip
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Equipment.equip{ -4 }

Analyzing I/O Element Trace output#rdv inst:Equipment.equip(4);
with AvmOpCode : output
NOT Found, port in machine (from tree): run::pid#14:ThermostatSystem.Equipment.s2 -> output#rdv port inst:Equipment.equip
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

NOT Found, port in machine (from tree): run::pid#14:ThermostatSystem.Equipment.s2 -> output#rdv port inst:Equipment.equip
NOT Found, comparing with (from obs signals): com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

NOT Found, port in machine (from tree): run::pid#14:ThermostatSystem.Equipment.s2 -> output#rdv port inst:Equipment.equip
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Thermostat.dt{ 20 }

Found, port in machine: com:output inst::ThermostatSystem.Equipment.equip{ -4 }

2. Setting time reference to 5
==> Rule: continue 


Working with EC: Id:15 PE:7 H:6 W:8 Q:0 ( pid#6:q3 , pid#16:s4 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#5 })
 { |,|
  (:pid#6 , ${ input#rdv inst::ThermostatSystem.Thermostat.error 0 })
  (:pid#14 , ${ output#rdv inst::ThermostatSystem.Equipment.error 0 })
 }
}
Its previous EC: Id:7 PE:5 H:5 W:2 Q:0 ( pid#6:q3 , pid#14:s2 ) IO Trace: (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#3 })
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#5)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#rdv inst:Thermostat.error(0);
with AvmOpCode : input
NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Thermostat.dt{ 20 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Equipment.equip{ -4 }

Analyzing I/O Element Trace output#rdv inst:Equipment.error(0);
with AvmOpCode : output
NOT Found, port in machine (from tree): run::pid#14:ThermostatSystem.Equipment.s2 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

NOT Found, port in machine (from tree): run::pid#14:ThermostatSystem.Equipment.s2 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

NOT Found, port in machine (from tree): run::pid#14:ThermostatSystem.Equipment.s2 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Thermostat.dt{ 20 }

NOT Found, port in machine (from tree): run::pid#14:ThermostatSystem.Equipment.s2 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Equipment.equip{ -4 }

jumping!!!!!!!! not interesting!!!!!!!! for EC: Id:15 PE:7 H:6 W:8 Q:0 ( pid#6:q3 , pid#16:s4 )
setting reference of father in EC: Id:15 PE:7 H:6 W:8 Q:0 ( pid#6:q3 , pid#16:s4 )
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#5)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#rdv inst:Thermostat.error(0);
with AvmOpCode : input
NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Thermostat.dt{ 20 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Equipment.equip{ -4 }

Analyzing I/O Element Trace output#rdv inst:Equipment.error(0);
with AvmOpCode : output
NOT Found, port in machine (from tree): run::pid#14:ThermostatSystem.Equipment.s2 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

NOT Found, port in machine (from tree): run::pid#14:ThermostatSystem.Equipment.s2 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

NOT Found, port in machine (from tree): run::pid#14:ThermostatSystem.Equipment.s2 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Thermostat.dt{ 20 }

NOT Found, port in machine (from tree): run::pid#14:ThermostatSystem.Equipment.s2 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Equipment.equip{ -4 }

Trace already read, or tau, or already failed/inconci, or projecting,
assigning and skipping EC: Id:15 PE:7 H:6 W:8 Q:0 ( pid#6:q3 , pid#16:s4 )
Local Trace size : 2
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#5)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#rdv inst:Thermostat.error(0);
with AvmOpCode : input
NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Thermostat.dt{ 20 }

NOT Found, port in machine (from tree): run::pid#6:ThermostatSystem.Thermostat.q3 -> input#rdv port inst:Thermostat.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Equipment.equip{ -4 }

Analyzing I/O Element Trace output#rdv inst:Equipment.error(0);
with AvmOpCode : output
NOT Found, port in machine (from tree): run::pid#14:ThermostatSystem.Equipment.s2 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

NOT Found, port in machine (from tree): run::pid#14:ThermostatSystem.Equipment.s2 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:output#env inst::ThermostatSystem.Thermostat.screen{ 1 }

NOT Found, port in machine (from tree): run::pid#14:ThermostatSystem.Equipment.s2 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Thermostat.dt{ 20 }

NOT Found, port in machine (from tree): run::pid#14:ThermostatSystem.Equipment.s2 -> output#rdv port inst:Equipment.error
NOT Found, comparing with (from obs signals): com:output inst::ThermostatSystem.Equipment.equip{ -4 }



Working with EC: Id:16 PE:8 H:6 W:3 Q:0 ( pid#7:q4 , pid#16:s4 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#6 })
 (:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#4 })
}
Its previous EC: Id:8 PE:5 H:5 W:3 Q:0 ( pid#6:q3 , pid#16:s4 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#3 })
 { |,|
  (:pid#6 , ${ input#rdv inst::ThermostatSystem.Thermostat.error 0 })
  (:pid#13 , ${ output#rdv inst::ThermostatSystem.Equipment.error 0 })
 }
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#6)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#env inst:Thermostat.sens(pid#6:t#4);
with AvmOpCode : input
Found, port in machine: com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

setting reference of father in EC: Id:16 PE:8 H:6 W:3 Q:0 ( pid#7:q4 , pid#16:s4 )
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#6)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#env inst:Thermostat.sens(pid#6:t#4);
with AvmOpCode : input
Found, port in machine: com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

The local trace is (assigned!): 
	The (local) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 2 ]
	com:output inst::ThermostatSystem.Equipment.equip{ -4 }
}

OFFLINE TEST:: About to parse the trace: 
{ |;|
	(:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#6 })
	(:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#4 })
}

OfflineTestProcessor::hasIO < theAC > : newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#6)
OfflineTestProcessor::hasIO < theAC > : input#env inst:Thermostat.sens(pid#6:t#4);
Nothing was read in this EC: Id:16 PE:8 H:6 W:3 Q:0 ( pid#7:q4 , pid#16:s4 )
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#6)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#env inst:Thermostat.sens(pid#6:t#4);
with AvmOpCode : input
Found, port in machine: com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

2. Setting time reference to (pid#1:$delta#3 + pid#1:$delta#6 + 3)
==> Rule: continue 


Working with EC: Id:17 PE:9 H:7 W:2 Q:0 ( pid#5:q2 , pid#14:s2 ) IO Trace: (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#7 })
Its previous EC: Id:12 PE:7 H:6 W:2 Q:0 ( pid#7:q4 , pid#14:s2 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#5 })
 (:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#3 })
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Verdict already computed!!!!!!!!!! for EC: Id:17 PE:9 H:7 W:2 Q:0 ( pid#5:q2 , pid#14:s2 )
OfflineTestProcessor::Prefilter won't continue here!
Erasing EC: Id:17 PE:9 H:7 W:2 Q:0 ( pid#5:q2 , pid#14:s2 )
	It's the 4'nth EC that has been deleted !


Working with EC: Id:18 PE:9 H:7 W:9 Q:0 ( pid#7:q4 , pid#12:s0 ) IO Trace: (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#7 })
Its previous EC: Id:12 PE:7 H:6 W:2 Q:0 ( pid#7:q4 , pid#14:s2 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#5 })
 (:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#3 })
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Verdict already computed!!!!!!!!!! for EC: Id:18 PE:9 H:7 W:9 Q:0 ( pid#7:q4 , pid#12:s0 )
OfflineTestProcessor::Prefilter won't continue here!
Erasing EC: Id:18 PE:9 H:7 W:9 Q:0 ( pid#7:q4 , pid#12:s0 )
	It's the 5'nth EC that has been deleted !


Working with EC: Id:19 PE:9 H:7 W:10 Q:0 ( pid#7:q4 , pid#14:s2 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#7 })
 { |,|
  (:pid#7 , ${ input#rdv inst::ThermostatSystem.Thermostat.equip 4 })
  (:pid#14 , ${ output#rdv inst::ThermostatSystem.Equipment.equip 4 })
 }
}
Its previous EC: Id:12 PE:7 H:6 W:2 Q:0 ( pid#7:q4 , pid#14:s2 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#5 })
 (:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#3 })
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Verdict already computed!!!!!!!!!! for EC: Id:19 PE:9 H:7 W:10 Q:0 ( pid#7:q4 , pid#14:s2 )
OfflineTestProcessor::Prefilter won't continue here!
Erasing EC: Id:19 PE:9 H:7 W:10 Q:0 ( pid#7:q4 , pid#14:s2 )
	It's the 6'nth EC that has been deleted !


Working with EC: Id:20 PE:9 H:7 W:11 Q:0 ( pid#7:q4 , pid#16:s4 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#7 })
 { |,|
  (:pid#7 , ${ input#rdv inst::ThermostatSystem.Thermostat.error 0 })
  (:pid#14 , ${ output#rdv inst::ThermostatSystem.Equipment.error 0 })
 }
}
Its previous EC: Id:12 PE:7 H:6 W:2 Q:0 ( pid#7:q4 , pid#14:s2 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#5 })
 (:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#3 })
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Verdict already computed!!!!!!!!!! for EC: Id:20 PE:9 H:7 W:11 Q:0 ( pid#7:q4 , pid#16:s4 )
OfflineTestProcessor::Prefilter won't continue here!
Erasing EC: Id:20 PE:9 H:7 W:11 Q:0 ( pid#7:q4 , pid#16:s4 )
	It's the 7'nth EC that has been deleted !


Working with EC: Id:21 PE:10 H:7 W:6 Q:0 ( pid#7:q4 , pid#12:s0 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#8 })
 (:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#5 })
}
Its previous EC: Id:13 PE:7 H:6 W:6 Q:0 ( pid#6:q3 , pid#12:s0 ) IO Trace: (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#5 })
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#8)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#env inst:Thermostat.sens(pid#6:t#5);
with AvmOpCode : input
Found, port in machine: com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

setting reference of father in EC: Id:21 PE:10 H:7 W:6 Q:0 ( pid#7:q4 , pid#12:s0 )
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#8)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#env inst:Thermostat.sens(pid#6:t#5);
with AvmOpCode : input
Found, port in machine: com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

The local trace is (assigned!): 
	The (local) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 2 ]
	com:output inst::ThermostatSystem.Equipment.equip{ -4 }
}

OFFLINE TEST:: About to parse the trace: 
{ |;|
	(:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#8 })
	(:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#5 })
}

OfflineTestProcessor::hasIO < theAC > : newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#8)
OfflineTestProcessor::hasIO < theAC > : input#env inst:Thermostat.sens(pid#6:t#5);
Nothing was read in this EC: Id:21 PE:10 H:7 W:6 Q:0 ( pid#7:q4 , pid#12:s0 )
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#8)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#env inst:Thermostat.sens(pid#6:t#5);
with AvmOpCode : input
Found, port in machine: com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

2. Setting time reference to (pid#1:$delta#3 + pid#1:$delta#5 + pid#1:$delta#8 + 3)
==> Rule: continue 


Working with EC: Id:22 PE:11 H:7 W:7 Q:0 ( pid#7:q4 , pid#14:s2 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#9 })
 (:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#6 })
}
Its previous EC: Id:14 PE:7 H:6 W:7 Q:0 ( pid#6:q3 , pid#14:s2 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#5 })
 { |,|
  (:pid#6 , ${ input#rdv inst::ThermostatSystem.Thermostat.equip 4 })
  (:pid#14 , ${ output#rdv inst::ThermostatSystem.Equipment.equip 4 })
 }
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Verdict already computed!!!!!!!!!! for EC: Id:22 PE:11 H:7 W:7 Q:0 ( pid#7:q4 , pid#14:s2 )
OfflineTestProcessor::Prefilter won't continue here!
Erasing EC: Id:22 PE:11 H:7 W:7 Q:0 ( pid#7:q4 , pid#14:s2 )
	It's the 8'nth EC that has been deleted !


Working with EC: Id:23 PE:11 H:7 W:12 Q:0 ( pid#6:q3 , pid#12:s0 ) IO Trace: (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#9 })
Its previous EC: Id:14 PE:7 H:6 W:7 Q:0 ( pid#6:q3 , pid#14:s2 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#5 })
 { |,|
  (:pid#6 , ${ input#rdv inst::ThermostatSystem.Thermostat.equip 4 })
  (:pid#14 , ${ output#rdv inst::ThermostatSystem.Equipment.equip 4 })
 }
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Verdict already computed!!!!!!!!!! for EC: Id:23 PE:11 H:7 W:12 Q:0 ( pid#6:q3 , pid#12:s0 )
OfflineTestProcessor::Prefilter won't continue here!
Erasing EC: Id:23 PE:11 H:7 W:12 Q:0 ( pid#6:q3 , pid#12:s0 )
	It's the 9'nth EC that has been deleted !


Working with EC: Id:24 PE:11 H:7 W:13 Q:0 ( pid#6:q3 , pid#16:s4 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#9 })
 { |,|
  (:pid#6 , ${ input#rdv inst::ThermostatSystem.Thermostat.error 0 })
  (:pid#14 , ${ output#rdv inst::ThermostatSystem.Equipment.error 0 })
 }
}
Its previous EC: Id:14 PE:7 H:6 W:7 Q:0 ( pid#6:q3 , pid#14:s2 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#5 })
 { |,|
  (:pid#6 , ${ input#rdv inst::ThermostatSystem.Thermostat.equip 4 })
  (:pid#14 , ${ output#rdv inst::ThermostatSystem.Equipment.equip 4 })
 }
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Verdict already computed!!!!!!!!!! for EC: Id:24 PE:11 H:7 W:13 Q:0 ( pid#6:q3 , pid#16:s4 )
OfflineTestProcessor::Prefilter won't continue here!
Erasing EC: Id:24 PE:11 H:7 W:13 Q:0 ( pid#6:q3 , pid#16:s4 )
	It's the 10'nth EC that has been deleted !


Working with EC: Id:25 PE:12 H:7 W:8 Q:0 ( pid#7:q4 , pid#16:s4 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#10 })
 (:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#7 })
}
Its previous EC: Id:15 PE:7 H:6 W:8 Q:0 ( pid#6:q3 , pid#16:s4 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#5 })
 { |,|
  (:pid#6 , ${ input#rdv inst::ThermostatSystem.Thermostat.error 0 })
  (:pid#14 , ${ output#rdv inst::ThermostatSystem.Equipment.error 0 })
 }
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#10)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#env inst:Thermostat.sens(pid#6:t#7);
with AvmOpCode : input
Found, port in machine: com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

setting reference of father in EC: Id:25 PE:12 H:7 W:8 Q:0 ( pid#7:q4 , pid#16:s4 )
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#10)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#env inst:Thermostat.sens(pid#6:t#7);
with AvmOpCode : input
Found, port in machine: com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

The local trace is (assigned!): 
	The (local) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 2 ]
	com:output inst::ThermostatSystem.Equipment.equip{ -4 }
}

OFFLINE TEST:: About to parse the trace: 
{ |;|
	(:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#10 })
	(:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#7 })
}

OfflineTestProcessor::hasIO < theAC > : newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#10)
OfflineTestProcessor::hasIO < theAC > : input#env inst:Thermostat.sens(pid#6:t#7);
Nothing was read in this EC: Id:25 PE:12 H:7 W:8 Q:0 ( pid#7:q4 , pid#16:s4 )
Analyzing I/O Element Trace newfresh(inst::ThermostatSystem.$delta, pid#1:$delta#10)
with AvmOpCode : newfresh
Analyzing I/O Element Trace input#env inst:Thermostat.sens(pid#6:t#7);
with AvmOpCode : input
Found, port in machine: com:input#env inst::ThermostatSystem.Thermostat.sens{ 0 }

2. Setting time reference to (pid#1:$delta#10 + pid#1:$delta#3 + pid#1:$delta#5 + 3)
==> Rule: continue 


Working with EC: Id:26 PE:13 H:7 W:3 Q:0 ( pid#5:q2 , pid#16:s4 ) IO Trace: (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#11 })
Its previous EC: Id:16 PE:8 H:6 W:3 Q:0 ( pid#7:q4 , pid#16:s4 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#6 })
 (:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#4 })
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Verdict already computed!!!!!!!!!! for EC: Id:26 PE:13 H:7 W:3 Q:0 ( pid#5:q2 , pid#16:s4 )
OfflineTestProcessor::Prefilter won't continue here!
Erasing EC: Id:26 PE:13 H:7 W:3 Q:0 ( pid#5:q2 , pid#16:s4 )
	It's the 11'nth EC that has been deleted !


Working with EC: Id:27 PE:13 H:7 W:14 Q:0 ( pid#3:q0 , pid#16:s4 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#11 })
 { |,|
  (:pid#7 , ${ output#rdv inst::ThermostatSystem.Thermostat.dt 0 })
  (:pid#16 , ${ input#rdv inst::ThermostatSystem.Equipment.dt 0 })
 }
}
Its previous EC: Id:16 PE:8 H:6 W:3 Q:0 ( pid#7:q4 , pid#16:s4 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#6 })
 (:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#4 })
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Verdict already computed!!!!!!!!!! for EC: Id:27 PE:13 H:7 W:14 Q:0 ( pid#3:q0 , pid#16:s4 )
OfflineTestProcessor::Prefilter won't continue here!
Erasing EC: Id:27 PE:13 H:7 W:14 Q:0 ( pid#3:q0 , pid#16:s4 )
	It's the 12'nth EC that has been deleted !


Working with EC: Id:28 PE:14 H:8 W:6 Q:0 ( pid#5:q2 , pid#12:s0 ) IO Trace: (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#12 })
Its previous EC: Id:21 PE:10 H:7 W:6 Q:0 ( pid#7:q4 , pid#12:s0 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#8 })
 (:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#5 })
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Verdict already computed!!!!!!!!!! for EC: Id:28 PE:14 H:8 W:6 Q:0 ( pid#5:q2 , pid#12:s0 )
OfflineTestProcessor::Prefilter won't continue here!
Erasing EC: Id:28 PE:14 H:8 W:6 Q:0 ( pid#5:q2 , pid#12:s0 )
	It's the 13'nth EC that has been deleted !


Working with EC: Id:29 PE:14 H:8 W:15 Q:0 ( pid#3:q0 , pid#13:s1 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#12 })
 { |,|
  (:pid#7 , ${ output#rdv inst::ThermostatSystem.Thermostat.dt 0 })
  (:pid#12 , ${ input#rdv inst::ThermostatSystem.Equipment.dt 0 })
 }
}
Its previous EC: Id:21 PE:10 H:7 W:6 Q:0 ( pid#7:q4 , pid#12:s0 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#8 })
 (:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#5 })
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Verdict already computed!!!!!!!!!! for EC: Id:29 PE:14 H:8 W:15 Q:0 ( pid#3:q0 , pid#13:s1 )
OfflineTestProcessor::Prefilter won't continue here!
Erasing EC: Id:29 PE:14 H:8 W:15 Q:0 ( pid#3:q0 , pid#13:s1 )
	It's the 14'nth EC that has been deleted !


Working with EC: Id:30 PE:15 H:8 W:8 Q:0 ( pid#5:q2 , pid#16:s4 ) IO Trace: (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#13 })
Its previous EC: Id:25 PE:12 H:7 W:8 Q:0 ( pid#7:q4 , pid#16:s4 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#10 })
 (:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#7 })
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Verdict already computed!!!!!!!!!! for EC: Id:30 PE:15 H:8 W:8 Q:0 ( pid#5:q2 , pid#16:s4 )
OfflineTestProcessor::Prefilter won't continue here!
Erasing EC: Id:30 PE:15 H:8 W:8 Q:0 ( pid#5:q2 , pid#16:s4 )
	It's the 15'nth EC that has been deleted !


Working with EC: Id:31 PE:15 H:8 W:16 Q:0 ( pid#3:q0 , pid#16:s4 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#13 })
 { |,|
  (:pid#7 , ${ output#rdv inst::ThermostatSystem.Thermostat.dt 0 })
  (:pid#16 , ${ input#rdv inst::ThermostatSystem.Equipment.dt 0 })
 }
}
Its previous EC: Id:25 PE:12 H:7 W:8 Q:0 ( pid#7:q4 , pid#16:s4 ) IO Trace: { |;|
 (:pid#1 , ${ newfresh inst::ThermostatSystem.$delta pid#1:$delta#10 })
 (:pid#6 , ${ input#env inst::ThermostatSystem.Thermostat.sens pid#6:t#7 })
}
	The (Last Obs) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 1 ]
	com:output inst::ThermostatSystem.Thermostat.dt{ 20 }
}

Its previous trace size is: 2
Verdict already computed!!!!!!!!!! for EC: Id:31 PE:15 H:8 W:16 Q:0 ( pid#3:q0 , pid#16:s4 )
OfflineTestProcessor::Prefilter won't continue here!
Erasing EC: Id:31 PE:15 H:8 W:16 Q:0 ( pid#3:q0 , pid#16:s4 )
	It's the 16'nth EC that has been deleted !

time:(real: 218ms user: 171ms601us100ns system: 31ms200us200ns steady: 207ms207us351ns system: 218ms407us) --> 218ms407us@ Fri Mar 09 15:26:24 2018
 --> 218ms406us999ns @ Fri Mar 09 15:26:24 2018



OfflineTestProcessor::postprocess()
LEAF!!! local Trace size : 2 => the EC: Id:6 PE:5 H:5 W:1 Q:0 ( pid#7:q4 , pid#13:s1 )
LEAF!!! local Trace size : 2 => the EC: Id:12 PE:7 H:6 W:2 Q:0 ( pid#7:q4 , pid#14:s2 )
LEAF!!! local Trace size : 2 => the EC: Id:21 PE:10 H:7 W:6 Q:0 ( pid#7:q4 , pid#12:s0 )
LEAF!!! local Trace size : 2 => the EC: Id:14 PE:7 H:6 W:7 Q:0 ( pid#6:q3 , pid#14:s2 )
LEAF!!! local Trace size : 2 => the EC: Id:25 PE:12 H:7 W:8 Q:0 ( pid#7:q4 , pid#16:s4 )
LEAF!!! local Trace size : 2 => the EC: Id:16 PE:8 H:6 W:3 Q:0 ( pid#7:q4 , pid#16:s4 )
1. Smallest traces size :1
For this leave EC: Id:6 PE:5 H:5 W:1 Q:0 ( pid#7:q4 , pid#13:s1 )
	last obs: 
Last trans :
{ |,| { |;| (:pid#2 , run) (:pid#5 , run) (:pid#5 , t22) } { |;| (:pid#11 , run) (:pid#12 , run) (:pid#12 , e1) } }
Local trace size :
2
Local trace :
Is repeated!!!!
For this leave EC: Id:12 PE:7 H:6 W:2 Q:0 ( pid#7:q4 , pid#14:s2 )
	last obs: 
Last trans :
{ |,| { |;| (:pid#2 , run) (:pid#5 , run) (:pid#5 , t22) } { |;| (:pid#11 , run) (:pid#12 , run) (:pid#12 , e1) } }
Local trace size :
2
Local trace :
Is repeated!!!!
For this leave EC: Id:21 PE:10 H:7 W:6 Q:0 ( pid#7:q4 , pid#12:s0 )
	last obs: 
Last trans :
{ |,| { |;| (:pid#2 , run) (:pid#5 , run) (:pid#5 , t22) } { |;| (:pid#11 , run) (:pid#12 , run) (:pid#12 , e1) } }
Local trace size :
2
Local trace :
Is repeated!!!!
For this leave EC: Id:14 PE:7 H:6 W:7 Q:0 ( pid#6:q3 , pid#14:s2 )
	last obs: 
Last trans :
{ |,| { |;| (:pid#2 , run) (:pid#5 , run) (:pid#5 , t22) } { |;| (:pid#11 , run) (:pid#12 , run) (:pid#12 , e1) } }
Local trace size :
2
Local trace :
Is repeated!!!!
For this leave EC: Id:25 PE:12 H:7 W:8 Q:0 ( pid#7:q4 , pid#16:s4 )
	last obs: 
Last trans :
{ |,| { |;| (:pid#2 , run) (:pid#5 , run) (:pid#5 , t22) } { |;| (:pid#11 , run) (:pid#12 , run) (:pid#12 , e1) } }
Local trace size :
2
Local trace :
Is repeated!!!!
For this leave EC: Id:16 PE:8 H:6 W:3 Q:0 ( pid#7:q4 , pid#16:s4 )
	last obs: 
Last trans :
{ |,| { |;| (:pid#2 , run) (:pid#5 , run) (:pid#5 , t22) } { |;| (:pid#11 , run) (:pid#12 , run) (:pid#12 , e1) } }
Local trace size :
2
Local trace :
Is repeated!!!!
2. Smallest traces size :7
Smallest trace :
	The (local) trace:
trace#0<size:2> { |;|
	time:time inst::ThermostatSystem.$delta[ 2 ]
	com:output inst::ThermostatSystem.Equipment.equip{ -4 }
}

(1) Direction of observation is: output
Verdict is Fail! (output of the form d.a --with a output or delay)
Counters: PASS: 0
WeakPASS: 0

REPORT
 EXECUTION QUEUE
  strategy : #WEIGHT#BFS
 STOP CRITERIA  PROCESSOR
  The CONTEXT  count : 32

  The RUN EVAL count : 15
  The RUN STEP count : 16
  The GLOBAL  STOP count  : 0

  The Max HEIGHT reaching : 7
  The Max WIDTH  reaching : 8

  Effective RDV : 11
 AVM OFF-LINE TEST  PROCESSOR
 ================================================================================
 ============================  THE VERDICT IS : FAIL  ===========================
 ================================================================================


[SBX] < end > Computing ... done.


[SEW] < end >Computing ... done.
