(************************************************************ * Result output by IMITATOR * Version : IMITATOR 2.10.4 "Butter Jellyfish" (build 2477) * Git : HEAD/5b53333 * Model : 'GNC-ReacNC-param-offset.imi' * Generated: Thu Jan 31, 2019 22:26:12 * Command : imitator GNC-ReacNC-param-offset.imi -mode EF -merge -incl -output-result ************************************************************) ------------------------------------------------------------ Number of IPTAs : 9 Number of clocks : 11 Has stopwatches? : true L/U subclass : not L/U Number of parameters : 3 Number of discrete variables : 7 Number of actions : 34 Total number of locations : 67 Average locations per IPTA : 7.4 ------------------------------------------------------------ BEGIN CONSTRAINT 5 >= offsetT2 & offsetT3 + 5 > offsetT2 & offsetT3 >= 0 & offsetT2 >= 0 & 1 >= offsetT3 & offsetT1 = 0 OR offsetT1 >= 0 & 11 >= offsetT3 & offsetT3 > 1 + offsetT1 & 4 >= offsetT1 & offsetT2 = 0 OR offsetT3 > 1 & 11 >= offsetT3 & offsetT2 > 0 & 1 >= offsetT2 & offsetT1 = 0 OR offsetT1 > 0 & offsetT2 >= 0 & 11 >= offsetT2 & 4 >= offsetT1 & offsetT3 = 0 OR 11 >= offsetT2 & offsetT3 >= 0 & offsetT2 > 9 & 1 >= offsetT3 & offsetT1 = 0 OR offsetT1 + 1 >= offsetT3 & offsetT1 > 0 & offsetT3 > 0 & 4 >= offsetT1 & offsetT2 = 0 OR offsetT2 > 5 & 9 >= offsetT2 & offsetT3 > 0 & 1 >= offsetT3 & offsetT1 = 0 OR offsetT2 >= 5 & 9 >= offsetT2 & offsetT1 = 0 & offsetT3 = 0 END CONSTRAINT ------------------------------------------------------------ Constraint soundness : exact Termination : regular termination Constraint nature : good ------------------------------------------------------------ Number of states : 8482 Number of transitions : 20408 Number of computed states : 20469 Total computation time : 211.967 seconds States/second in state space : 40.0 (8482/211.967 seconds) Computed states/second : 96.5 (20469/211.967 seconds) Estimated memory : 1.450 GiB (i.e., 194680039 words of size 8) ------------------------------------------------------------ ------------------------------------------------------------ Statistics: Algorithm counters ------------------------------------------------------------ main algorithm + parsing : 211.983 seconds main algorithm : 211.967 seconds ------------------------------------------------------------ Statistics: Parsing counters ------------------------------------------------------------ model parsing and converting : 0.016 second ------------------------------------------------------------ Statistics: State computation counters ------------------------------------------------------------ number of state comparisons : 581943 number of constraints comparisons : 308098 number of new states <= old : 11392 number of new states >= old : 0 StateSpace.merging attempts : 291379 StateSpace.merges : 595 StatesMerging.merging attempts : 0 StatesMerging.merges : 0 ------------------------------------------------------------ Statistics: Graphics-related counters ------------------------------------------------------------ state space drawing : 0.000 second ------------------------------------------------------------ Statistics: Global counter ------------------------------------------------------------ total : 211.984 seconds ------------------------------------------------------------