1480928774409	Delete resource 'Diversity/output'
1480944599747	Delete resource 'Diversity/Test/output/Test'
1481020453863	Delete resource 'Diversity/SpecificationDbg'
1481020523588	Delete 6 resources
1481020529118	Delete resource 'Diversity/workflow.sew'
1481103043264	Delete resource 'Diversity/Test/offlineTesting.favm'
1481103073361	Delete 4 resources
1481103078685	Delete 2 resources
1481103088950	Delete resource 'Diversity/workflow.sew'
1481103097746	Delete resource 'Diversity/Specification/output'
1481104425061	Delete resource 'Diversity/SymbolicExecution/toto.gv'
1481106067273	Delete resource 'Diversity/Test/Output'
1481106071407	Delete resource 'Diversity/Test/thermostatSystem_toComplete.xfsp'
1481106099588	Delete resource 'Diversity/Specification/thermostatSystem.xlia'
1481106222626	Delete resource 'Diversity/SymbolicExecution/Output'
