PPI Analysis Report

General Info

time of analysis	mardi 06 juin 2017 09:46
model	TPSINERGIE
user	petin6

Sum Up

Falsifiable

Tasks

Operator8.P
Node	Operator8
Output	P
Strategy	Default - Prove
Result	Falsifiable
Scenario	scenarios/Operator8.P_s0.sss \| [Load Scenario]
Translation time	0 s
Analysis time	0 s
Total time	0 s
Assertions	none
Messages	none