Assertion list
number (aspect of variable ) → ReceivesAction

Results from Ascent++: 159
numberReceivesAction selected 0.68
numberReceivesAction calculated 0.67
numberReceivesAction limited 0.64
numberReceivesAction estimated 0.61
numberReceivesAction recorded 0.61
numberReceivesAction shown in table 0.59
numberReceivesAction returned 0.58
numberReceivesAction treated 0.56
numberReceivesAction reduced 0.55
numberReceivesAction increased 0.54
numberReceivesAction determined 0.53
numberReceivesAction converted 0.52
numberReceivesAction identified 0.52
numberReceivesAction fixed 0.52
numberReceivesAction interpreted 0.50
numberReceivesAction added 0.49
numberReceivesAction smoked per day 0.49
numberReceivesAction entered 0.49
numberReceivesAction defined 0.48
numberReceivesAction displayed 0.47
numberReceivesAction generated 0.47
numberReceivesAction specified 0.47
numberReceivesAction obtained 0.44
numberReceivesAction counted 0.43
numberReceivesAction changed 0.43
numberReceivesAction performed 0.42
numberReceivesAction removed 0.42
numberReceivesAction worked per week 0.42
numberReceivesAction adjusted 0.41
numberReceivesAction reached 0.41
numberReceivesAction reported 0.40
numberReceivesAction developed 0.40
numberReceivesAction examined 0.40
numberReceivesAction stored in the variable 0.40
numberReceivesAction detected 0.39
numberReceivesAction made 0.39
numberReceivesAction read 0.39
numberReceivesAction analyzed 0.38
numberReceivesAction evaluated 0.38
numberReceivesAction exceeded 0.38
numberReceivesAction excluded 0.38
numberReceivesAction multiplied 0.38
numberReceivesAction required 0.38
numberReceivesAction separated by comma 0.38
numberReceivesAction drawn 0.37
numberReceivesAction measured 0.37
numberReceivesAction processed 0.37
numberReceivesAction set 0.37
numberReceivesAction executed 0.36
numberReceivesAction extracted 0.36
numberReceivesAction received 0.36
numberReceivesAction conducted 0.35
numberReceivesAction counted since last reboot of th… 0.35
numberReceivesAction dialed 0.35
numberReceivesAction expected 0.35
numberReceivesAction printed 0.35
numberReceivesAction related 0.35
numberReceivesAction tested 0.35
numberReceivesAction updated 0.35
numberReceivesAction assigned to the values of the v… 0.33
numberReceivesAction distributed 0.33
numberReceivesAction divided by another 0.33
numberReceivesAction manipulated 0.33
numberReceivesAction allocated 0.32
numberReceivesAction assessed 0.32
numberReceivesAction checked 0.32
numberReceivesAction correlated 0.32
numberReceivesAction incremented 0.32
numberReceivesAction limited by the amount of memory 0.32
numberReceivesAction omitted 0.32
numberReceivesAction proposed 0.32
numberReceivesAction restricted 0.32
numberReceivesAction utilized 0.32
numberReceivesAction addressed 0.30
numberReceivesAction compared 0.30
numberReceivesAction completed 0.30
numberReceivesAction converted to string 0.30
numberReceivesAction discarded 0.30
numberReceivesAction explored 0.30
numberReceivesAction kept to minimum 0.30
numberReceivesAction minimized 0.30
numberReceivesAction noted 0.30
numberReceivesAction passed 0.30
numberReceivesAction raised to power 0.30
numberReceivesAction reached the concurrency limit 0.30
numberReceivesAction searched 0.30
numberReceivesAction shown in figure 0.30
numberReceivesAction skewed 0.30
numberReceivesAction specified by the user 0.30
numberReceivesAction specified in advance 0.30
numberReceivesAction squared 0.30
numberReceivesAction stored as integer 0.30
numberReceivesAction worked per fte 0.30
numberReceivesAction allowed 0.28
numberReceivesAction calculated at preferential allo… 0.28
numberReceivesAction determined at compile time 0.28
numberReceivesAction determined by a priori sample s… 0.28
numberReceivesAction found by raven 0.28
numberReceivesAction given by the value of racknumber 0.28
numberReceivesAction held 0.28
numberReceivesAction kept to 10 second intervals 0.28
numberReceivesAction multiplied by 100 0.28
numberReceivesAction observed 0.28
numberReceivesAction placed 0.28
numberReceivesAction registered 0.28
numberReceivesAction reported in table 0.28
numberReceivesAction subject to the precision of the… 0.28
numberReceivesAction transmitted 0.28
numberReceivesAction used as indicator 0.28
numberReceivesAction affected 0.25
numberReceivesAction aggregated across processor 0.25
numberReceivesAction assigned to same variable 0.25
numberReceivesAction averaged 0.25
numberReceivesAction coded 0.25
numberReceivesAction collected 0.25
numberReceivesAction compared to schedule or flight … 0.25
numberReceivesAction concerned 0.25
numberReceivesAction determined by the -n option 0.25
numberReceivesAction displayed on the screen 0.25
numberReceivesAction doubled 0.25
numberReceivesAction enclosed in quote 0.25
numberReceivesAction expressed in radian 0.25
numberReceivesAction filled 0.25
numberReceivesAction followed 0.25
numberReceivesAction followed by period 0.25
numberReceivesAction followed by the letter 0.25
numberReceivesAction given by the n_dim argument 0.25
numberReceivesAction given for every half-decade per… 0.25
numberReceivesAction given the number of nodes 0.25
numberReceivesAction included in the study 0.25
numberReceivesAction issued 0.25
numberReceivesAction left on the stack 0.25
numberReceivesAction modeled 0.25
numberReceivesAction monitored 0.25
numberReceivesAction never reached 0.25
numberReceivesAction passed as variable 0.25
numberReceivesAction quantified 0.25
numberReceivesAction randomized 0.25
numberReceivesAction realized 0.25
numberReceivesAction reduced to 201 trials 0.25
numberReceivesAction reduced to the number of variab… 0.25
numberReceivesAction repeated 0.25
numberReceivesAction required to designate variable 0.25
numberReceivesAction retained 0.25
numberReceivesAction rounded to the nearest integer 0.25
numberReceivesAction run 0.25
numberReceivesAction saved 0.25
numberReceivesAction shown in fig 0.25
numberReceivesAction spent in home schooling 0.25
numberReceivesAction stored in array 0.25
numberReceivesAction subtracted 0.25
numberReceivesAction truncated 0.25
numberReceivesAction undertaken 0.25
numberReceivesAction used in channel config table 0.25
numberReceivesAction ignored 0.21
numberReceivesAction underestimated 0.21
numberReceivesAction dropped 0.20
numberReceivesAction crunched 0.16
numberReceivesAction difficult to read 0.16