Assertion list
thread (primary) → ReceivesAction

Results from Ascent++: 341
threadReceivesAction locked 0.75
threadReceivesAction created 0.75
threadReceivesAction pulled 0.75
threadReceivesAction blocked 0.74
threadReceivesAction finished 0.71
threadReceivesAction closed 0.70
threadReceivesAction removed 0.70
threadReceivesAction started 0.69
threadReceivesAction stopped 0.66
threadReceivesAction terminated 0.66
threadReceivesAction selected 0.64
threadReceivesAction deleted 0.63
threadReceivesAction made 0.63
threadReceivesAction suspended 0.63
threadReceivesAction held 0.62
threadReceivesAction moved 0.61
threadReceivesAction run 0.60
threadReceivesAction synchronized 0.59
threadReceivesAction resumed 0.59
threadReceivesAction released 0.58
threadReceivesAction implemented 0.58
threadReceivesAction updated 0.58
threadReceivesAction closed by moderator 0.57
threadReceivesAction cut 0.57
threadReceivesAction fixed 0.57
threadReceivesAction processed 0.57
threadReceivesAction unblocked 0.57
threadReceivesAction monitored 0.57
threadReceivesAction tied 0.57
threadReceivesAction preempted 0.56
threadReceivesAction scheduled 0.56
threadReceivesAction added 0.55
threadReceivesAction collected 0.55
threadReceivesAction joined 0.55
threadReceivesAction separated 0.55
threadReceivesAction woven into fabric 0.55
threadReceivesAction moderated 0.55
threadReceivesAction shared 0.55
threadReceivesAction posted 0.54
threadReceivesAction killed 0.54
threadReceivesAction counted 0.54
threadReceivesAction hidden 0.54
threadReceivesAction associated with the process 0.53
threadReceivesAction identified 0.53
threadReceivesAction changed 0.53
threadReceivesAction tapered 0.53
threadReceivesAction set 0.53
threadReceivesAction aligned 0.52
threadReceivesAction bound 0.52
threadReceivesAction trimmed 0.52
threadReceivesAction interrupted 0.52
threadReceivesAction inserted under the skin 0.52
threadReceivesAction affected 0.52
threadReceivesAction contained in one square inch of… 0.51
threadReceivesAction introduced 0.51
threadReceivesAction unlocked 0.51
threadReceivesAction destroyed 0.51
threadReceivesAction paused 0.50
threadReceivesAction protected 0.50
threadReceivesAction waxed 0.50
threadReceivesAction contained in one square inch of… 0.49
threadReceivesAction greased 0.49
threadReceivesAction scheduled on cpu 0.49
threadReceivesAction started by someone 0.49
threadReceivesAction absorbed by the body 0.49
threadReceivesAction used in quilting 0.48
threadReceivesAction interwoven 0.47
threadReceivesAction created for the purpose 0.47
threadReceivesAction cut to length 0.47
threadReceivesAction shown in fig 0.47
threadReceivesAction deleted without notice 0.47
threadReceivesAction written 0.46
threadReceivesAction covered 0.46
threadReceivesAction reached 0.46
threadReceivesAction sunk 0.46
threadReceivesAction dedicated 0.46
threadReceivesAction damaged 0.45
threadReceivesAction knotted 0.45
threadReceivesAction shown 0.45
threadReceivesAction stuck 0.44
threadReceivesAction put to sleep 0.44
threadReceivesAction tolerated by the body 0.44
threadReceivesAction grouped 0.44
threadReceivesAction solved 0.44
threadReceivesAction inserted into the skin 0.43
threadReceivesAction broken 0.42
threadReceivesAction concerned 0.42
threadReceivesAction created in suspended state 0.41
threadReceivesAction made in germany 0.41
threadReceivesAction subject to rule 0.41
threadReceivesAction archived 0.41
threadReceivesAction related 0.41
threadReceivesAction formed on inner surface 0.41
threadReceivesAction parked 0.40
threadReceivesAction blocked on the condition variab… 0.40
threadReceivesAction connected 0.40
threadReceivesAction queued 0.40
threadReceivesAction of high quality 0.40
threadReceivesAction edited 0.40
threadReceivesAction merged 0.40
threadReceivesAction used in embroidery 0.40
threadReceivesAction unraveled 0.40
threadReceivesAction made to communicate with each o… 0.39
threadReceivesAction observed 0.39
threadReceivesAction scheduled by the operating syst… 0.39
threadReceivesAction rolled 0.39
threadReceivesAction attached 0.38
threadReceivesAction crossed 0.38
threadReceivesAction restarted 0.38
threadReceivesAction unwound 0.38
threadReceivesAction lost 0.38
threadReceivesAction detached 0.38
threadReceivesAction disposed 0.38
threadReceivesAction tapped 0.37
threadReceivesAction bundled 0.37
threadReceivesAction guaranteed 0.37
threadReceivesAction inserted into the face 0.37
threadReceivesAction made in the usa 0.37
threadReceivesAction acquired the lock 0.37
threadReceivesAction configured 0.37
threadReceivesAction looped 0.37
threadReceivesAction viewed 0.37
threadReceivesAction bumped 0.37
threadReceivesAction controlled 0.36
threadReceivesAction dipped in the dye 0.36
threadReceivesAction intertwined 0.36
threadReceivesAction switched 0.36
threadReceivesAction adjusted 0.35
threadReceivesAction anodized 0.35
threadReceivesAction approved 0.35
threadReceivesAction lubricated 0.35
threadReceivesAction of same size 0.35
threadReceivesAction stickied 0.35
threadReceivesAction guided by tender hand 0.35
threadReceivesAction buried 0.35
threadReceivesAction delayed 0.35
threadReceivesAction ended 0.35
threadReceivesAction exposed 0.35
threadReceivesAction stitched 0.35
threadReceivesAction treated with acetic acid 0.35
threadReceivesAction treated with polydimethylsiloxa… 0.35
threadReceivesAction saved 0.34
threadReceivesAction variegated 0.34
threadReceivesAction cancelled 0.34
threadReceivesAction available to serve clients 0.33
threadReceivesAction blocked in the kernel 0.33
threadReceivesAction combined 0.33
threadReceivesAction discouraged 0.33
threadReceivesAction examined 0.33
threadReceivesAction grouped into block 0.33
threadReceivesAction implanted into sub-dermal skin 0.33
threadReceivesAction loaded 0.33
threadReceivesAction machined 0.33
threadReceivesAction moved to appropriate forum 0.33
threadReceivesAction raised 0.33
threadReceivesAction revived 0.33
threadReceivesAction tensioned 0.33
threadReceivesAction wrapped around the needle 0.33
threadReceivesAction subject to deletion 0.33
threadReceivesAction exhausted 0.32
threadReceivesAction supported by a hundred others 0.32
threadReceivesAction abandoned 0.32
threadReceivesAction allocated to separate processors 0.32
threadReceivesAction associated with one of threads 0.32
threadReceivesAction deployed by each child process 0.32
threadReceivesAction described 0.32
threadReceivesAction disposed on internal surface 0.32
threadReceivesAction imprinted with letter 0.32
threadReceivesAction lubricated with grease 0.32
threadReceivesAction obtained 0.32
threadReceivesAction relocated 0.32
threadReceivesAction renewed 0.32
threadReceivesAction represented by a thread object 0.32
threadReceivesAction resolved 0.32
threadReceivesAction reused 0.32
threadReceivesAction submitted 0.32
threadReceivesAction used to lift out hair 0.32
threadReceivesAction pruned 0.32
threadReceivesAction closed to people 0.31
threadReceivesAction formed over entire root section 0.31
threadReceivesAction instantiated 0.31
threadReceivesAction limited 0.31
threadReceivesAction manipulated 0.31
threadReceivesAction plied 0.31
threadReceivesAction ready to woven 0.31
threadReceivesAction severed 0.31
threadReceivesAction traced 0.31
threadReceivesAction used by opencv 0.31
threadReceivesAction deadlocked 0.30
threadReceivesAction addressed 0.29
threadReceivesAction applied as flabby face 0.29
threadReceivesAction based upon adam smith's writings 0.29
threadReceivesAction created on demand 0.29
threadReceivesAction died 0.29
threadReceivesAction discolored 0.29
threadReceivesAction mercerized 0.29
threadReceivesAction passed into droopy facial eleme… 0.29
threadReceivesAction rated 0.29
threadReceivesAction recycled 0.29
threadReceivesAction registered 0.29
threadReceivesAction renamed 0.29
threadReceivesAction rescheduled 0.29
threadReceivesAction typed by jdaw1 0.29
threadReceivesAction used in optical fibers 0.29
threadReceivesAction received 0.29
threadReceivesAction allowed 0.28
threadReceivesAction achieved 0.28
threadReceivesAction allowed per process 0.27
threadReceivesAction answered 0.27
threadReceivesAction attached to the reel 0.27
threadReceivesAction attached to upper segment 0.27
threadReceivesAction collapsed 0.27
threadReceivesAction combed 0.27
threadReceivesAction composed of plla 0.27
threadReceivesAction detected 0.27
threadReceivesAction done in an ophthalmologist’s of… 0.27
threadReceivesAction edited at any time 0.27
threadReceivesAction folded in half 0.27
threadReceivesAction followed 0.27
threadReceivesAction installed 0.27
threadReceivesAction introduced into subcutaneous fat 0.27
threadReceivesAction introduced into the muscle 0.27
threadReceivesAction locked on right side of the sep… 0.27
threadReceivesAction made a sticky 0.27
threadReceivesAction modified 0.27
threadReceivesAction outraged 0.27
threadReceivesAction passed through the papillary mu… 0.27
threadReceivesAction populated by flamer 0.27
threadReceivesAction published 0.27
threadReceivesAction purchased for the class 0.27
threadReceivesAction rebuilt 0.27
threadReceivesAction reopened 0.27
threadReceivesAction reported 0.27
threadReceivesAction resorbed 0.27
threadReceivesAction reversed 0.27
threadReceivesAction rolled over the surface of the … 0.27
threadReceivesAction sealed 0.27
threadReceivesAction snipped 0.27
threadReceivesAction stalled 0.27
threadReceivesAction truncated 0.27
threadReceivesAction twisted around each other 0.27
threadReceivesAction woven on the loom 0.27
threadReceivesAction pinned 0.27
threadReceivesAction derailed 0.26
threadReceivesAction used around neck 0.26
threadReceivesAction used around the face 0.26
threadReceivesAction recommended 0.26
threadReceivesAction about to terminate 0.25
threadReceivesAction adapted in one embodiment 0.25
threadReceivesAction affixed to first member 0.25
threadReceivesAction coordinated 0.25
threadReceivesAction disengaged 0.25
threadReceivesAction dissolved 0.25
threadReceivesAction eligible to run 0.25
threadReceivesAction engineered 0.25
threadReceivesAction evicted 0.25
threadReceivesAction fetched 0.25
threadReceivesAction fixed to certain points of the … 0.25
threadReceivesAction flooded 0.25
threadReceivesAction formed into big cotton ball 0.25
threadReceivesAction formed of polyvinyl-alcohol 0.25
threadReceivesAction given an execution budget of ti… 0.25
threadReceivesAction guided along designated contour… 0.25
threadReceivesAction inserted through luman 0.25
threadReceivesAction interengaged 0.25
threadReceivesAction kept clean 0.25
threadReceivesAction laid by side 0.25
threadReceivesAction made to class 2a 0.25
threadReceivesAction maneuvered in direction 0.25
threadReceivesAction matched 0.25
threadReceivesAction needed in delicate materials 0.25
threadReceivesAction needed in small projects 0.25
threadReceivesAction on the inside 0.25
threadReceivesAction passed under the skin 0.25
threadReceivesAction posted on reddit 0.25
threadReceivesAction reabsorbed 0.25
threadReceivesAction read by hundreds or thousands o… 0.25
threadReceivesAction read by thousand 0.25
threadReceivesAction removed into storage 0.25
threadReceivesAction rinsed 0.25
threadReceivesAction rounded 0.25
threadReceivesAction rusted 0.25
threadReceivesAction scheduled on core 0.25
threadReceivesAction serviced in addition 0.25
threadReceivesAction serviced in strict fifo order 0.25
threadReceivesAction set to true 0.25
threadReceivesAction spooled 0.25
threadReceivesAction squashed 0.25
threadReceivesAction tested 0.25
threadReceivesAction used by the application 0.25
threadReceivesAction used in cable 0.25
threadReceivesAction used in the 1950 0.25
threadReceivesAction used in the bobbin 0.25
threadReceivesAction used to fly kite 0.25
threadReceivesAction watched 0.25
threadReceivesAction wrapped on cucumber 0.25
threadReceivesAction unable to make progress 0.25
threadReceivesAction moved to appropriate section 0.24
threadReceivesAction blocked waiting for lock 0.24
threadReceivesAction posted in wrong section 0.24
threadReceivesAction attached to the head 0.22
threadReceivesAction forgotten 0.22
threadReceivesAction locked by moderator 0.22
threadReceivesAction read by use of a smartphone cam… 0.22
threadReceivesAction split 0.22
threadReceivesAction linked 0.21
threadReceivesAction filled 0.21
threadReceivesAction ignored 0.21
threadReceivesAction known for it's awesomeness 0.21
threadReceivesAction replaced 0.21
threadReceivesAction backed by osram 0.19
threadReceivesAction backed by qualcomm 0.19
threadReceivesAction backed by schneider electric 0.19
threadReceivesAction backed by silicon labs 0.19
threadReceivesAction backed by somfy 0.19
threadReceivesAction frozen 0.19
threadReceivesAction likely to locked 0.19
threadReceivesAction pinned at the top of every forum 0.19
threadReceivesAction prohibited 0.19
threadReceivesAction reviewed 0.19
threadReceivesAction subject to closure 0.19
threadReceivesAction trashed 0.19
threadReceivesAction blocked on the semaphore 0.17
threadReceivesAction backed by global, industry-lead… 0.16
threadReceivesAction backed by nest labs 0.16
threadReceivesAction blocked on io 0.16
threadReceivesAction censored 0.16
threadReceivesAction created about certain topic 0.16
threadReceivesAction created about event 0.16
threadReceivesAction delivered 0.16
threadReceivesAction difficult to cut 0.16
threadReceivesAction improved 0.16
threadReceivesAction listed as class iv medical devi… 0.16
threadReceivesAction posted in multiple forums 0.16
threadReceivesAction started by troll 0.16
threadReceivesAction started in forum 0.16
threadReceivesAction used in georgette fabric 0.16
threadReceivesAction used in medicine 0.16
threadReceivesAction debugged 0.15
threadReceivesAction activated 0.13
threadReceivesAction used to preload image 0.09