(************************************************************ * Result output by IMITATOR * Version : IMITATOR 2.8-alpha "Butter Ham" (build 1981) * Git : master/ab08ea8 * Model : 'RCP.imi' * Generated: Wed May 11, 2016 09:42:51 * Command : ./imitator RCP.imi -mode PDFC -output-states -output-trace-set -output-cart -output-result -time-limit 300 ************************************************************) ------------------------------------------------------------ Number of IPTAs : 5 Number of clocks : 6 Has stopwatches? : false Number of parameters : 5 Number of discrete variables : 0 Number of actions : 16 Total number of locations : 48 Average locations per IPTA : 9.6 ------------------------------------------------------------ BEGIN CONSTRAINT False END CONSTRAINT ------------------------------------------------------------ Constraint soundness : exact Termination : regular termination State space nature : bad ------------------------------------------------------------ Number of states : 2091 Number of transitions : 2752 Number of computed states : 2753 Computation time : 10.631 seconds States/second in state space : 196.6 (2091/10.631 seconds) Computed states/second : 258.9 (2753/10.631 seconds) ------------------------------------------------------------