(************************************************************ * Result output by IMITATOR * Version : IMITATOR 2.9-alpha "Butter Incaberry" (build 2212) * Git : master/35846ec * Model : './examples/Fischer/FERA3.imi' * Generated: Wed Feb 22, 2017 15:21:37 * Command : ./IMICV/bin/imitator29alpha1 ./examples/Fischer/FERA3.imi ./examples/Fischer/FERA.v0 -mode EF -merge -incl -time-limit 600 -cart-time-limit 600 -output-result -output-cart -output-prefix ./examples/Fischer/FERA3-EF ************************************************************) ------------------------------------------------------------ Number of IPTAs : 5 Number of clocks : 6 Has stopwatches? : false L/U subclass : L/U-PTA Number of parameters : 2 Number of discrete variables : 0 Number of actions : 12 Total number of locations : 19 Average locations per IPTA : 3.8 ------------------------------------------------------------ BEGIN CONSTRAINT Delta >= 0 & delta = 0 OR 6 >= delta & delta > 0 & Delta >= 3 & Delta >= delta END CONSTRAINT ------------------------------------------------------------ Constraint soundness : exact Termination : regular termination Constraint nature : good ------------------------------------------------------------ Number of states : 1323 Number of transitions : 2167 Number of computed states : 2168 Total computation time : 2.755 seconds States/second in state space : 480.2 (1323/2.755 seconds) Computed states/second : 786.9 (2168/2.755 seconds) Estimated memory : 72.092 MiB (i.e., 9449326 words of size 8) ------------------------------------------------------------ ------------------------------------------------------------ Statistics: Algorithm counters ------------------------------------------------------------ main algorithm : 2.758 seconds ------------------------------------------------------------ Statistics: Parsing counters ------------------------------------------------------------ model parsing : 0.002 second ------------------------------------------------------------ Statistics: State computation counters ------------------------------------------------------------ number of state comparisons : 55598 number of constraints comparisons : 22734 ------------------------------------------------------------ Statistics: Graphics-related counters ------------------------------------------------------------ state space drawing : 0.000 second ------------------------------------------------------------ Statistics: Global counter ------------------------------------------------------------ total : 2.758 seconds ------------------------------------------------------------