(************************************************************ * Result output by IMITATOR * Version : IMITATOR 2.10.4 "Butter Jellyfish" (build 2477) * Git : HEAD/5b53333 * Model : 'category14_not_vulnerable-selfcomp.imi' * Generated: Tue Feb 26, 2019 15:47:07 * Command : ./imitator-v2.10.4-amd64 category14_not_vulnerable-selfcomp.imi -mode EFunsafe -incl -merge -output-result ************************************************************) ------------------------------------------------------------ Number of IPTAs : 2 Number of clocks : 3 Has stopwatches? : false L/U subclass : not L/U Number of parameters : 8 Number of discrete variables : 2 Number of actions : 40 Total number of locations : 20 Average locations per IPTA : 10.0 ------------------------------------------------------------ BEGIN CONSTRAINT abs_ptime >= 50100000 & 50150000 >= abs_ptime END CONSTRAINT ------------------------------------------------------------ Constraint soundness : exact Termination : regular termination Constraint nature : bad ------------------------------------------------------------ Number of states : 1223 Number of transitions : 1706 Number of computed states : 1707 Total computation time : 22.285 seconds States/second in state space : 54.8 (1223/22.285 seconds) Computed states/second : 76.5 (1707/22.285 seconds) Estimated memory : 231.078 MiB (i.e., 30287912 words of size 8) ------------------------------------------------------------ ------------------------------------------------------------ Statistics: Algorithm counters ------------------------------------------------------------ main algorithm + parsing : 22.289 seconds main algorithm : 22.285 seconds ------------------------------------------------------------ Statistics: Parsing counters ------------------------------------------------------------ model parsing and converting : 0.003 second ------------------------------------------------------------ Statistics: State computation counters ------------------------------------------------------------ number of state comparisons : 112318 number of constraints comparisons : 74051 number of new states <= old : 133 number of new states >= old : 0 StateSpace.merging attempts : 104959 StateSpace.merges : 351 StatesMerging.merging attempts : 0 StatesMerging.merges : 0 ------------------------------------------------------------ Statistics: Graphics-related counters ------------------------------------------------------------ state space drawing : 0.000 second ------------------------------------------------------------ Statistics: Global counter ------------------------------------------------------------ total : 22.289 seconds ------------------------------------------------------------