Assertion list
time interval (primary) → ReceivesAction
Results from Ascent++: 35
time interval → ReceivesAction → set 0.71
time interval → ReceivesAction → measured 0.68
time interval → ReceivesAction → recorded 0.61
time interval → ReceivesAction → increased 0.53
time interval → ReceivesAction → measured in millisecond 0.52
time interval → ReceivesAction → determined 0.50
time interval → ReceivesAction → measured by clock_realtime clock 0.47
time interval → ReceivesAction → adjusted 0.42
time interval → ReceivesAction → associated with graphical indic… 0.41
time interval → ReceivesAction → specified by rel_timeout passes 0.39
time interval → ReceivesAction → required for the calculation 0.37
time interval → ReceivesAction → shortened 0.37
time interval → ReceivesAction → specified by the user 0.37
time interval → ReceivesAction → associated with said weight 0.35
time interval → ReceivesAction → changed 0.35
time interval → ReceivesAction → configured 0.35
time interval → ReceivesAction → specified by the network manager 0.35
time interval → ReceivesAction → used in step 0.35
time interval → ReceivesAction → indicated 0.32
time interval → ReceivesAction → represented by current timespan… 0.32
time interval → ReceivesAction → specified with anvil_rate_time_… 0.32
time interval → ReceivesAction → described in detail 0.29
time interval → ReceivesAction → measured by the control unit 0.29
time interval → ReceivesAction → measured by the microprocessor 0.29
time interval → ReceivesAction → based on the quantity of traffic 0.25
time interval → ReceivesAction → centered at a time delay 0.25
time interval → ReceivesAction → determined by the schedule over… 0.25
time interval → ReceivesAction → limited to the case 0.25
time interval → ReceivesAction → measured with watch 0.25
time interval → ReceivesAction → selected to allow sufficient ti… 0.25
time interval → ReceivesAction → set for the delay 0.25
time interval → ReceivesAction → shown in fig 0.25
time interval → ReceivesAction → specified by an i/o request 0.25
time interval → ReceivesAction → used in the model 0.25
time interval → ReceivesAction → specified by the regex 0.20