(************************************************************ * Result output by IMITATOR * Version : IMITATOR 2.10.4 "Butter Jellyfish" (build 2477) * Git : HEAD/5b53333 * Model : 'GNC-ReacNGC-no-param-with-switch.imi' * Generated: Tue Mar 5, 2019 00:38:16 * Command : imitator GNC-ReacNGC-no-param-with-switch.imi -mode EF -incl -merge -output-result ************************************************************) ------------------------------------------------------------ Number of IPTAs : 9 Number of clocks : 13 Has stopwatches? : true L/U subclass : not L/U Number of parameters : 0 Number of discrete variables : 7 Number of actions : 45 Total number of locations : 75 Average locations per IPTA : 8.3 ------------------------------------------------------------ BEGIN CONSTRAINT True END CONSTRAINT ------------------------------------------------------------ Constraint soundness : exact Termination : regular termination Constraint nature : good ------------------------------------------------------------ Number of states : 5219 Number of transitions : 17139 Number of computed states : 17140 Total computation time : 47.403 seconds States/second in state space : 110.0 (5219/47.403 seconds) Computed states/second : 361.5 (17140/47.403 seconds) Estimated memory : 599.877 MiB (i.e., 78627168 words of size 8) ------------------------------------------------------------ ------------------------------------------------------------ Statistics: Algorithm counters ------------------------------------------------------------ main algorithm + parsing : 47.447 seconds main algorithm : 47.403 seconds ------------------------------------------------------------ Statistics: Parsing counters ------------------------------------------------------------ model parsing and converting : 0.043 second ------------------------------------------------------------ Statistics: State computation counters ------------------------------------------------------------ number of state comparisons : 55526 number of constraints comparisons : 22001 number of new states <= old : 11916 number of new states >= old : 0 StateSpace.merging attempts : 8587 StateSpace.merges : 5 StatesMerging.merging attempts : 0 StatesMerging.merges : 0 ------------------------------------------------------------ Statistics: Graphics-related counters ------------------------------------------------------------ state space drawing : 0.000 second ------------------------------------------------------------ Statistics: Global counter ------------------------------------------------------------ total : 47.447 seconds ------------------------------------------------------------