(************************************************************ * Result output by IMITATOR * Version : IMITATOR 2.10.4 "Butter Jellyfish" (build 2477) * Git : HEAD/5b53333 * Model : 'GNC-ReacNC-param-deadline-with-switch.imi' * Generated: Tue Mar 5, 2019 00:35:56 * Command : imitator GNC-ReacNC-param-deadline-with-switch.imi -mode EF -incl -merge -output-result ************************************************************) ------------------------------------------------------------ Number of IPTAs : 9 Number of clocks : 12 Has stopwatches? : true L/U subclass : L-PTA Number of parameters : 3 Number of discrete variables : 7 Number of actions : 40 Total number of locations : 70 Average locations per IPTA : 7.7 ------------------------------------------------------------ BEGIN CONSTRAINT 2*deadlineT2 >= 9 & 2*deadlineT1 >= 9 & 5 >= deadlineT1 & 20 >= deadlineT2 & deadlineT3 = 60 END CONSTRAINT ------------------------------------------------------------ Constraint soundness : exact Termination : regular termination Constraint nature : good ------------------------------------------------------------ Number of states : 2665 Number of transitions : 5025 Number of computed states : 5026 Total computation time : 62.638 seconds States/second in state space : 42.5 (2665/62.638 seconds) Computed states/second : 80.2 (5026/62.638 seconds) Estimated memory : 140.672 MiB (i.e., 18438240 words of size 8) ------------------------------------------------------------ ------------------------------------------------------------ Statistics: Algorithm counters ------------------------------------------------------------ main algorithm + parsing : 62.695 seconds main algorithm : 62.638 seconds ------------------------------------------------------------ Statistics: Parsing counters ------------------------------------------------------------ model parsing and converting : 0.056 second ------------------------------------------------------------ Statistics: State computation counters ------------------------------------------------------------ number of state comparisons : 16682 number of constraints comparisons : 6578 number of new states <= old : 2361 number of new states >= old : 0 StateSpace.merging attempts : 935 StateSpace.merges : 0 StatesMerging.merging attempts : 0 StatesMerging.merges : 0 ------------------------------------------------------------ Statistics: Graphics-related counters ------------------------------------------------------------ state space drawing : 0.000 second ------------------------------------------------------------ Statistics: Global counter ------------------------------------------------------------ total : 62.695 seconds ------------------------------------------------------------