(************************************************************ * Result output by IMITATOR * Version : IMITATOR 2.8.1-working "Butter Ham" (build 2104) * Git : learning/5d10a02 * Model : '/home/gia/Desktop/experiments/Etienne2/FischerAHV93/FischerAHV93.imi' * Generated: Sat Dec 3, 2016 14:53:20 * Command : /home/gia/Desktop/imitator/bin/imitator /home/gia/Desktop/experiments/Etienne2/FischerAHV93/FischerAHV93.imi -mode LoopSynth -output-result -time-limit 3600 -output-prefix /home/gia/Desktop/experiments/Etienne2/FischerAHV93/LoopSynth ************************************************************) ------------------------------------------------------------ Number of IPTAs : 3 Number of clocks : 2 Has stopwatches? : false L/U subclass : L/U-PTA Number of parameters : 4 Number of discrete variables : 0 Number of actions : 16 Total number of locations : 13 Average locations per IPTA : 4.3 ------------------------------------------------------------ BEGIN CONSTRAINT a > 0 & b > 0 & c > 0 & d > 0 END CONSTRAINT ------------------------------------------------------------ Constraint soundness : possible under-approximation Termination : time limit (7447 successors unexplored) Constraint nature : good ------------------------------------------------------------ Number of states : 92379 Number of transitions : 191496 Number of computed states : 191497 Total computation time : 3618.356 seconds States/second in state space : 25.5 (92379/3618.356 seconds) Computed states/second : 52.9 (191497/3618.356 seconds) Estimated memory : 216.222 GiB (i.e., 29020958816 words of size 8) ------------------------------------------------------------ ------------------------------------------------------------ Statistics: Algorithm counters ------------------------------------------------------------ dynamic clock elimination (preparation) : 0.000 second dynamic clock elimination : 0.000 second (0 call) ------------------------------------------------------------ Statistics: Parsing counters ------------------------------------------------------------ model parsing : 0.003 second ------------------------------------------------------------ Statistics: State computation counters ------------------------------------------------------------ number of state comparisons : 636704678 number of constraints comparisons : 176042053 ------------------------------------------------------------ Statistics: Graphics-related counters ------------------------------------------------------------ cartography drawing : 0.000 second state space drawing : 0.000 second ------------------------------------------------------------ Statistics: Global counter ------------------------------------------------------------ total : 3618.392 seconds ------------------------------------------------------------