(************************************************************ * Result output by IMITATOR * Version : IMITATOR 2.10.4 "Butter Jellyfish" (build 2477) * Git : HEAD/5b53333 * Model : 'gear_2000.imi' * Generated: Thu Aug 23, 2018 16:28:17 * Command : ./imitator gear_2000.imi -mode EFmax -no-inclusion-test-in-EF -incl -verbose experiments -output-result -output-prefix gear_2000-maxp1 ************************************************************) ------------------------------------------------------------ Number of IPTAs : 2 Number of clocks : 2 Has stopwatches? : false L/U subclass : not L/U Number of parameters : 3 Number of discrete variables : 0 Number of actions : 7 Total number of locations : 2845 Average locations per IPTA : 1422.5 ------------------------------------------------------------ BEGIN CONSTRAINT p1 >= 0 & 288 >= 25*p1 END CONSTRAINT ------------------------------------------------------------ Constraint soundness : exact Termination : regular termination Constraint nature : good ------------------------------------------------------------ Number of states : 6422 Number of transitions : 6421 Number of computed states : 6425 Total computation time : 1.702 seconds States/second in state space : 3772.8 (6422/1.702 seconds) Computed states/second : 3774.6 (6425/1.702 seconds) Estimated memory : 699.464 MiB (i.e., 91680252 words of size 8) ------------------------------------------------------------ ------------------------------------------------------------ Statistics: Algorithm counters ------------------------------------------------------------ main algorithm + parsing : 2.027 seconds main algorithm : 1.702 seconds ------------------------------------------------------------ Statistics: Parsing counters ------------------------------------------------------------ model parsing : 0.018 second model converting : 0.305 second model parsing and converting : 0.324 second ------------------------------------------------------------ Statistics: State computation counters ------------------------------------------------------------ number of state comparisons : 4326 number of constraints comparisons : 0 number of new states <= old : 0 number of new states >= old : 0 StateSpace.merging attempts : 0 StateSpace.merges : 0 StateSpace.add_state : 0.029 second (6422 calls | 4.59677851561e-06 second/call) StateSpace.compute_predecessors : 0.000 second (0 call) StateSpace.counter_get_location : 0.005 second (24332 calls | 2.46061456453e-07 second/call) StateSpace.get_state : 0.018 second (24332 calls | 7.80220194787e-07 second/call) StateSpace.add_transition : 0.003 second (6421 calls | 6.04270979022e-07 second/call) StateSpace.get_successors : 0.000 second (0 call) StateSpace.get_transitions : 0.000 second (0 call) StateSpace.nb_states : 0.000 second (1 call | 0. second/call) StateSpace.nb_transitions : 0.000 second (1 call | 0. second/call) StateSpace.empty_states_for_comparison : 0.000 second (0 call) StatesMerging.merging attempts : 0 StatesMerging.merges : 0 early unsat states (local discrete guard): 0 early unsat states (local continuous guard): 736 skipped actions : 736 unsatisfiable constraints : 0 unsatisfiable global discrete constraints: 0 different combinations : 0 early unsat (D^g) : 0 next transitions : 0.058 second legal transitions exist : 0.318 second compute locations,guards,updates : 0.022 second StateBased.add_transition_to_state_space: 0.007 second (6421 calls | 1.14244865937e-06 second/call) StateBased.explore_layer_bfs : 1.701 seconds (1 call | 1.70194721222 second/call) StateBased.post_from_one_state : 1.654 seconds (6422 calls | 0.000257606596934 second/call) StateBased.process_post_n : 0.000 second (2839 calls | 2.56894129438e-07 second/call) StateBased.gcmajor : 0.000 second (2839 calls | 2.54542695758e-07 second/call) ------------------------------------------------------------ Statistics: Graphics-related counters ------------------------------------------------------------ state space drawing : 0.000 second ------------------------------------------------------------ Statistics: Global counter ------------------------------------------------------------ total : 2.028 seconds ------------------------------------------------------------