Assertion list
time interval (primary) → ReceivesAction

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