(************************************************************ * Result output by IMITATOR * Version : IMITATOR 2.8.1-working "Butter Ham" (build 2104) * Git : learning/5d10a02 * Model : '/home/gia/Desktop/experiments/Etienne/RCP/RCP.imi' * Generated: Sun Dec 4, 2016 00:08:36 * Command : /home/gia/Desktop/imitator/bin/imitator /home/gia/Desktop/experiments/Etienne/RCP/RCP.imi -mode NZCUBtrans -output-result -time-limit 3600 -output-prefix /home/gia/Desktop/experiments/Etienne/RCP/NZCUBtrans ************************************************************) ------------------------------------------------------------ Number of IPTAs : 5 Number of clocks : 7 Has stopwatches? : false L/U subclass : not L/U Number of parameters : 5 Number of discrete variables : 0 Number of actions : 21 Total number of locations : 71 Average locations per IPTA : 14.2 ------------------------------------------------------------ BEGIN CONSTRAINT rc_slow_max >= rc_slow_min & rc_fast_max >= rc_fast_min & rc_fast_min > 0 & rc_slow_min > 0 & delay > 0 END CONSTRAINT ------------------------------------------------------------ Constraint soundness : possible under-approximation Termination : time limit (28572 successors unexplored) Constraint nature : good ------------------------------------------------------------ Number of states : 141964 Number of transitions : 283952 Number of computed states : 283953 Total computation time : 8858.313 seconds States/second in state space : 16.0 (141964/8858.313 seconds) Computed states/second : 32.0 (283953/8858.313 seconds) Estimated memory : 711.503 GiB (i.e., 95496340504 words of size 8) ------------------------------------------------------------ ------------------------------------------------------------ Statistics: Algorithm counters ------------------------------------------------------------ dynamic clock elimination (preparation) : 0.000 second dynamic clock elimination : 0.000 second (0 call) CUB transformation : 0.348 second ------------------------------------------------------------ Statistics: Parsing counters ------------------------------------------------------------ model parsing : 0.033 second ------------------------------------------------------------ Statistics: State computation counters ------------------------------------------------------------ number of state comparisons : 221312119 number of constraints comparisons : 81690959 ------------------------------------------------------------ Statistics: Graphics-related counters ------------------------------------------------------------ cartography drawing : 0.000 second state space drawing : 0.000 second ------------------------------------------------------------ Statistics: Global counter ------------------------------------------------------------ total : 8858.815 seconds ------------------------------------------------------------