[]: Open (size=10, cost=0, time=0, max=0, total=8.10623e-06, pending=1)
[0]: Open (size=10, cost=10, time=0.655906, max=0.655906, total=0.676644, pending=1)
******* COMPLETION *******
response(compose(X0,Y0),W0) -> response(X0,response(Y0,W0))
**************************
On branch: [0]
With size, cost: 10, 10
Orientations: 2
Calls to AProVE (all, T, NT, ?): 2, 2, 0, 0
Time (all, branch, AProVE): 0.676793, 0.655906, 0.676053
Time/call in AProVE (Avg, Min, Max): 0.338026, 0.6557, 0.0203528
Time/T-call in AProVE (Avg, Min, Max): 0.338026, 0.6557, 0.655906
All conjectures solved.