(************************************************************ * Result output by IMITATOR * Version : IMITATOR 2.10.1 "Butter Jellyfish" (build 2409) * Git : master/5eea424 * Model : '../svn/models/spacex.imi' * Generated: Thu Feb 14, 2019 15:26:40 * Command : ./imitator -mode EFunsafe -merge -incl2 -output-result ../svn/models/spacex.imi ************************************************************) ------------------------------------------------------------ Number of IPTAs : 14 Number of clocks : 22 Has stopwatches? : true L/U subclass : not L/U Number of parameters : 5 Number of discrete variables : 0 Number of actions : 41 Total number of locations : 92 Average locations per IPTA : 6.5 ------------------------------------------------------------ BEGIN CONSTRAINT 3 >= total_time & total_time >= 1 & cost_SOXmaliciouslyIntroduced >= 0 & damage_BuckleInInnerLiner >= 0 & total_cost = 0 & total_dam = 100 OR cost_SOXmaliciouslyIntroduced >= 0 & damage_BuckleInInnerLiner >= 0 & total_time = 6 & cost_SOXmaliciouslyIntroduced = total_cost & total_dam = 0 OR cost_SOXmaliciouslyIntroduced >= 0 & total_dam >= 150 & total_time = 3 & damage_BuckleInInnerLiner + 150 = total_dam & total_cost = 0 OR 13 >= total_time & total_time >= 8 & cost_SOXmaliciouslyIntroduced >= 0 & total_dam >= 100 & damage_BuckleInInnerLiner + 100 = total_dam & total_cost = 1700 END CONSTRAINT ------------------------------------------------------------ Constraint soundness : exact Termination : regular termination Constraint nature : bad ------------------------------------------------------------ Number of states : 766 Number of transitions : 1680 Number of computed states : 1788 Total computation time : 4.084 seconds States/second in state space : 187.5 (766/4.084 seconds) Computed states/second : 437.8 (1788/4.084 seconds) Estimated memory : 36.899 MiB (i.e., 4836554 words of size 8) ------------------------------------------------------------ ------------------------------------------------------------ Statistics: Algorithm counters ------------------------------------------------------------ main algorithm : 4.096 seconds ------------------------------------------------------------ Statistics: State computation counters ------------------------------------------------------------ number of state comparisons : 1116 number of constraints comparisons : 1058 number of new states <= old : 986 number of new states >= old : 35 StateSpace.merging attempts : 1 StateSpace.merges : 1 StatesMerging.merging attempts : 0 StatesMerging.merges : 0 ------------------------------------------------------------ Statistics: Graphics-related counters ------------------------------------------------------------ state space drawing : 0.000 second ------------------------------------------------------------ Statistics: Global counter ------------------------------------------------------------ total : 4.097 seconds ------------------------------------------------------------