[]: Open (size=4, cost=0, time=0, max=0, total=1.28746e-05, pending=1)
******* COMPLETION *******
response(a,b) -> b
**************************
On branch: []
With size, cost: 4, 4
Orientations: 2
Calls to AProVE (all, T, NT, ?): 1, 1, 0, 0
Time (all, branch, AProVE): 0.661655, 0.661377, 0.661022
Time/call in AProVE (Avg, Min, Max): 0.661022, 0.661022, 0.661022
Time/T-call in AProVE (Avg, Min, Max): 0.661022, 0.661022, 0.661377
All conjectures solved.