[]: Open (size=12, cost=0, time=0, max=0, total=1.00136e-05, pending=1)
******* COMPLETION *******
plus(X0,Z0) -> X0
s(X0) -> X0
**************************
On branch: []
With size, cost: 7, 7
Orientations: 4
Calls to AProVE (all, T, NT, ?): 2, 2, 0, 0
Time (all, branch, AProVE): 0.697193, 0.69693, 0.696569
Time/call in AProVE (Avg, Min, Max): 0.348285, 0.676762, 0.0198071
Time/T-call in AProVE (Avg, Min, Max): 0.348285, 0.676762, 0.677073
All conjectures solved.