(************************************************************ * Result output by IMITATOR * Version : IMITATOR 2.10.4 "Butter Jellyfish" (build 2477) * Git : HEAD/5b53333 * Model : 'gear_7000.imi' * Generated: Thu Aug 23, 2018 16:31:03 * Command : ./imitator gear_7000.imi -mode EFmax -no-inclusion-test-in-EF -incl -verbose experiments -output-result -output-prefix gear_7000-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 : 10323 Average locations per IPTA : 5161.5 ------------------------------------------------------------ BEGIN CONSTRAINT p1 >= 0 & 157 >= 25*p1 END CONSTRAINT ------------------------------------------------------------ Constraint soundness : exact Termination : regular termination Constraint nature : good ------------------------------------------------------------ Number of states : 23419 Number of transitions : 23418 Number of computed states : 23422 Total computation time : 6.860 seconds States/second in state space : 3413.7 (23419/6.860 seconds) Computed states/second : 3414.2 (23422/6.860 seconds) Estimated memory : 7.652 GiB (i.e., 1027146457 words of size 8) ------------------------------------------------------------ ------------------------------------------------------------ Statistics: Algorithm counters ------------------------------------------------------------ main algorithm + parsing : 10.854 seconds main algorithm : 6.860 seconds ------------------------------------------------------------ Statistics: Parsing counters ------------------------------------------------------------ model parsing : 0.070 second model converting : 3.920 seconds model parsing and converting : 3.993 seconds ------------------------------------------------------------ Statistics: State computation counters ------------------------------------------------------------ number of state comparisons : 15886 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.328 second (23419 calls | 1.40415807208e-05 second/call) StateSpace.compute_predecessors : 0.000 second (0 call) StateSpace.counter_get_location : 0.021 second (88924 calls | 2.45499496148e-07 second/call) StateSpace.get_state : 0.070 second (88924 calls | 7.87727220742e-07 second/call) StateSpace.add_transition : 0.059 second (23418 calls | 2.5244493816e-06 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): 2777 skipped actions : 2777 unsatisfiable constraints : 0 unsatisfiable global discrete constraints: 0 different combinations : 0 early unsat (D^g) : 0 next transitions : 0.220 second legal transitions exist : 1.159 seconds compute locations,guards,updates : 0.077 second StateBased.add_transition_to_state_space: 0.072 second (23418 calls | 3.07640193295e-06 second/call) StateBased.explore_layer_bfs : 6.857 seconds (1 call | 6.85746812821 second/call) StateBased.post_from_one_state : 6.670 seconds (23419 calls | 0.000284834550271 second/call) StateBased.process_post_n : 0.003 second (10317 calls | 2.92840964852e-07 second/call) StateBased.gcmajor : 0.002 second (10317 calls | 2.52607685196e-07 second/call) ------------------------------------------------------------ Statistics: Graphics-related counters ------------------------------------------------------------ state space drawing : 0.000 second ------------------------------------------------------------ Statistics: Global counter ------------------------------------------------------------ total : 10.859 seconds ------------------------------------------------------------