(************************************************************ * Result output by IMITATOR * Version : IMITATOR 2.10.4 "Butter Jellyfish" (build 2477) * Git : HEAD/5b53333 * Model : 'accel_7000.imi' * Generated: Thu Aug 23, 2018 16:38:33 * Command : ./imitator accel_7000.imi -mode EFmin -no-inclusion-test-in-EF -incl -verbose experiments -output-result -output-prefix accel_7000-minp10 ************************************************************) ------------------------------------------------------------ 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 : 11 Total number of locations : 17703 Average locations per IPTA : 8851.5 ------------------------------------------------------------ BEGIN CONSTRAINT 25*p10 >= 54 END CONSTRAINT ------------------------------------------------------------ Constraint soundness : exact Termination : regular termination Constraint nature : good ------------------------------------------------------------ Number of states : 45039 Number of transitions : 45038 Number of computed states : 45042 Total computation time : 14.062 seconds States/second in state space : 3202.8 (45039/14.062 seconds) Computed states/second : 3203.0 (45042/14.062 seconds) Estimated memory : 21.956 GiB (i.e., 2946953997 words of size 8) ------------------------------------------------------------ ------------------------------------------------------------ Statistics: Algorithm counters ------------------------------------------------------------ main algorithm + parsing : 27.546 seconds main algorithm : 14.062 seconds ------------------------------------------------------------ Statistics: Parsing counters ------------------------------------------------------------ model parsing : 0.129 second model converting : 13.350 seconds model parsing and converting : 13.484 seconds ------------------------------------------------------------ Statistics: State computation counters ------------------------------------------------------------ number of state comparisons : 38627 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.425 second (45039 calls | 9.43654584918e-06 second/call) StateSpace.compute_predecessors : 0.000 second (0 call) StateSpace.counter_get_location : 0.042 second (173763 calls | 2.422727816e-07 second/call) StateSpace.get_state : 0.144 second (173763 calls | 8.30522324514e-07 second/call) StateSpace.add_transition : 0.142 second (45038 calls | 3.15608963026e-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 | 9.53674316407e-07 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): 15 skipped actions : 15 unsatisfiable constraints : 0 unsatisfiable global discrete constraints: 0 different combinations : 0 early unsat (D^g) : 0 next transitions : 0.521 second legal transitions exist : 2.097 seconds compute locations,guards,updates : 0.134 second StateBased.add_transition_to_state_space: 0.168 second (45038 calls | 3.74038931246e-06 second/call) StateBased.explore_layer_bfs : 14.058 seconds (1 call | 14.0589530468 second/call) StateBased.post_from_one_state : 13.667 seconds (45039 calls | 0.000303466222795 second/call) StateBased.process_post_n : 0.004 second (17690 calls | 2.75441520696e-07 second/call) StateBased.gcmajor : 0.004 second (17690 calls | 2.39658517444e-07 second/call) ------------------------------------------------------------ Statistics: Graphics-related counters ------------------------------------------------------------ state space drawing : 0.000 second ------------------------------------------------------------ Statistics: Global counter ------------------------------------------------------------ total : 27.654 seconds ------------------------------------------------------------