Assertion list for term "synthesized over size of the reactive systems".
Results from Ascent++: 1
benchmark → ReceivesAction → synthesized over size of the reactive systems 0.29