Ascent++
Search
Assertion list
efficiency
(
aspect
of
led
)
→ ReceivesAction
Results from
Ascent++
:
3
efficiency
→
ReceivesAction
→
increased
0.59
efficiency
→
ReceivesAction
→
achieved
0.49
efficiency
→
ReceivesAction
→
maximized at current
0.42