Assertion list
run (primary) → HasProperty
Results from Ascent++: 223
run → HasProperty → good 0.71
run → HasProperty → long 0.69
run → HasProperty → flat 0.68
run → HasProperty → tough 0.67
run → HasProperty → important 0.65
run → HasProperty → short 0.65
run → HasProperty → great 0.65
run → HasProperty → open 0.64
run → HasProperty → longer 0.63
run → HasProperty → fast 0.61
run → HasProperty → enough 0.60
run → HasProperty → slow 0.59
run → HasProperty → perfect 0.57
run → HasProperty → easy 0.56
run → HasProperty → fun 0.56
run → HasProperty → challenging 0.56
run → HasProperty → equal 0.55
run → HasProperty → hot 0.55
run → HasProperty → smooth 0.55
run → HasProperty → clean 0.54
run → HasProperty → free 0.54
run → HasProperty → enjoyable 0.54
run → HasProperty → impressive 0.53
run → HasProperty → hard 0.52
run → HasProperty → big 0.52
run → HasProperty → critical 0.51
run → HasProperty → empty 0.51
run → HasProperty → terrible 0.50
run → HasProperty → unique 0.50
run → HasProperty → cold 0.50
run → HasProperty → amazing 0.50
run → HasProperty → interesting 0.50
run → HasProperty → late 0.50
run → HasProperty → excellent 0.49
run → HasProperty → close 0.49
run → HasProperty → clear 0.48
run → HasProperty → shorter 0.48
run → HasProperty → bad 0.48
run → HasProperty → blue 0.48
run → HasProperty → nice 0.48
run → HasProperty → intense 0.47
run → HasProperty → higher 0.47
run → HasProperty → low 0.47
run → HasProperty → exciting 0.47
run → HasProperty → straight 0.47
run → HasProperty → small 0.46
run → HasProperty → quick 0.46
run → HasProperty → uneventful 0.46
run → HasProperty → consistent 0.45
run → HasProperty → painful 0.45
run → HasProperty → right 0.45
run → HasProperty → solid 0.45
run → HasProperty → fine 0.45
run → HasProperty → possible 0.45
run → HasProperty → more difficult 0.45
run → HasProperty → helpful 0.44
run → HasProperty → invalid 0.44
run → HasProperty → successful 0.44
run → HasProperty → brilliant 0.43
run → HasProperty → entertaining 0.43
run → HasProperty → independent 0.42
run → HasProperty → memorable 0.42
run → HasProperty → busy 0.42
run → HasProperty → steeper 0.42
run → HasProperty → the longest 0.41
run → HasProperty → underway 0.41
run → HasProperty → new 0.41
run → HasProperty → beautiful 0.41
run → HasProperty → easier 0.41
run → HasProperty → breathtaking 0.40
run → HasProperty → untracked 0.40
run → HasProperty → old 0.40
run → HasProperty → classified 0.39
run → HasProperty → high 0.39
run → HasProperty → uplifting 0.39
run → HasProperty → difficult 0.39
run → HasProperty → awesome 0.38
run → HasProperty → larger 0.38
run → HasProperty → technical 0.38
run → HasProperty → untimed 0.38
run → HasProperty → 4th 0.38
run → HasProperty → strong 0.37
run → HasProperty → large 0.37
run → HasProperty → positive 0.37
run → HasProperty → floodlit 0.37
run → HasProperty → the most scored 0.36
run → HasProperty → wet 0.36
run → HasProperty → windy 0.36
run → HasProperty → simple 0.36
run → HasProperty → comfortable 0.36
run → HasProperty → acceptable 0.36
run → HasProperty → closer 0.36
run → HasProperty → fair 0.36
run → HasProperty → heavy 0.36
run → HasProperty → true 0.36
run → HasProperty → honest 0.35
run → HasProperty → fastest 0.35
run → HasProperty → ongoing 0.35
run → HasProperty → the lowest 0.35
run → HasProperty → valid 0.35
run → HasProperty → unusual 0.34
run → HasProperty → uphill 0.34
run → HasProperty → family-friendly 0.33
run → HasProperty → pretty 0.33
run → HasProperty → quiet 0.33
run → HasProperty → a lot 0.32
run → HasProperty → common 0.32
run → HasProperty → more likely 0.32
run → HasProperty → reachable 0.32
run → HasProperty → significant 0.32
run → HasProperty → the last 0.32
run → HasProperty → tight 0.32
run → HasProperty → flawless 0.32
run → HasProperty → exceptional 0.32
run → HasProperty → inefficient 0.32
run → HasProperty → legal 0.32
run → HasProperty → left ungroomed 0.32
run → HasProperty → spectacular 0.32
run → HasProperty → special 0.32
run → HasProperty → poor 0.32
run → HasProperty → active 0.31
run → HasProperty → cheaper 0.31
run → HasProperty → few 0.31
run → HasProperty → rocky 0.31
run → HasProperty → shallow 0.31
run → HasProperty → void 0.31
run → HasProperty → cool 0.30
run → HasProperty → safe 0.30
run → HasProperty → the highest 0.30
run → HasProperty → huge 0.30
run → HasProperty → accurate 0.29
run → HasProperty → editable 0.29
run → HasProperty → key 0.29
run → HasProperty → scarce 0.29
run → HasProperty → disappointing 0.29
run → HasProperty → secure 0.29
run → HasProperty → sweet 0.29
run → HasProperty → hilly 0.28
run → HasProperty → early 0.28
run → HasProperty → steady 0.28
run → HasProperty → brutal 0.28
run → HasProperty → dark 0.28
run → HasProperty → equivalent 0.28
run → HasProperty → furious 0.28
run → HasProperty → more valuable 0.28
run → HasProperty → numerous 0.28
run → HasProperty → open-ended 0.28
run → HasProperty → repeatable 0.28
run → HasProperty → serious 0.28
run → HasProperty → the only one 0.28
run → HasProperty → unlimited 0.28
run → HasProperty → unwarranted 0.28
run → HasProperty → complicated 0.27
run → HasProperty → crazy 0.27
run → HasProperty → sloppy 0.27
run → HasProperty → boring 0.26
run → HasProperty → more entertaining 0.26
run → HasProperty → the most difficult 0.26
run → HasProperty → complex 0.25
run → HasProperty → correct 0.25
run → HasProperty → excessive 0.25
run → HasProperty → full 0.25
run → HasProperty → healthy 0.25
run → HasProperty → more advanced 0.25
run → HasProperty → private 0.25
run → HasProperty → real 0.25
run → HasProperty → taut 0.25
run → HasProperty → uniform 0.25
run → HasProperty → exhilarating 0.25
run → HasProperty → magnificent 0.25
run → HasProperty → lower 0.24
run → HasProperty → confident 0.24
run → HasProperty → efficient 0.24
run → HasProperty → favorite 0.24
run → HasProperty → fresh 0.24
run → HasProperty → illegal 0.24
run → HasProperty → improvable 0.24
run → HasProperty → powerful 0.24
run → HasProperty → rough 0.24
run → HasProperty → effective 0.22
run → HasProperty → incomplete 0.22
run → HasProperty → instrumental 0.22
run → HasProperty → uncrowded 0.22
run → HasProperty → decent 0.21
run → HasProperty → humbling 0.21
run → HasProperty → typical 0.21
run → HasProperty → bumpy 0.21
run → HasProperty → emotional 0.21
run → HasProperty → eventful 0.21
run → HasProperty → eye-catching 0.21
run → HasProperty → forgettable 0.21
run → HasProperty → legit 0.21
run → HasProperty → more fun 0.21
run → HasProperty → stressful 0.21
run → HasProperty → the largest 0.21
run → HasProperty → treacherous 0.21
run → HasProperty → worry-free 0.21
run → HasProperty → easier than the last 0.19
run → HasProperty → expensive 0.19
run → HasProperty → faster than the tas 0.19
run → HasProperty → legendary 0.19
run → HasProperty → less traumatic 0.19
run → HasProperty → more successful 0.19
run → HasProperty → null 0.19
run → HasProperty → risky 0.19
run → HasProperty → scary 0.19
run → HasProperty → sensational 0.19
run → HasProperty → social 0.19
run → HasProperty → unknown 0.19
run → HasProperty → wild 0.19
run → HasProperty → sketchy 0.18
run → HasProperty → well 0.17
run → HasProperty → extensive 0.16
run → HasProperty → manageable 0.16
run → HasProperty → mellow 0.16
run → HasProperty → more common 0.16
run → HasProperty → more severe 0.16
run → HasProperty → peaceful 0.16
run → HasProperty → productive 0.16
run → HasProperty → sticky 0.16
run → HasProperty → wider 0.16
run → HasProperty → encouraging 0.11
run → HasProperty → miserable 0.10