(************************************************************ * Result output by IMITATOR * Version : IMITATOR 2.8-alpha "Butter Ham" (build 1981) * Git : master/ab08ea8 * Model : 'PDFC4.imi' * Generated: Wed May 11, 2016 09:40:52 * Command : ./imitator PDFC4.imi -mode PDFC -output-states -output-trace-set -output-cart -output-result -time-limit 300 ************************************************************) ------------------------------------------------------------ Number of IPTAs : 1 Number of clocks : 1 Has stopwatches? : false Number of parameters : 2 Number of discrete variables : 0 Number of actions : 1 Total number of locations : 2 Average locations per IPTA : 2.0 ------------------------------------------------------------ BEGIN CONSTRAINT p1 + 5 >= p2 & p1 >= 0 & p2 >= 0 & 10 >= p2 END CONSTRAINT ------------------------------------------------------------ Constraint soundness : exact Termination : regular termination State space nature : good ------------------------------------------------------------ Number of states : 3 Number of transitions : 3 Number of computed states : 4 Computation time : 0.012 second States/second in state space : 242.0 (3/0.012 second) Computed states/second : 322.7 (4/0.012 second) ------------------------------------------------------------