[]: Open (size=24, cost=0, time=0, max=0, total=1.50204e-05, pending=1)
******* COMPLETION *******
s(s(Z0)) -> s(Z0)
a(Z0,X0) -> s(X0)
**************************
On branch: []
With size, cost: 10, 10
Orientations: 4
Calls to AProVE (all, T, NT, ?): 2, 2, 0, 0
Time (all, branch, AProVE): 0.687968, 0.687576, 0.687173
Time/call in AProVE (Avg, Min, Max): 0.343587, 0.663146, 0.0240271
Time/T-call in AProVE (Avg, Min, Max): 0.343587, 0.663146, 0.663494
All conjectures solved.