[]: Open (size=19, cost=0, time=0, max=0, total=1.40667e-05, pending=1)
******* COMPLETION *******
p(X0) -> X0
s(X1) -> X1
plus(X0,zero) -> X0
**************************
On branch: []
With size, cost: 10, 22
Orientations: 12
Calls to AProVE (all, T, NT, ?): 6, 6, 0, 0
Time (all, branch, AProVE): 1.02062, 1.01947, 1.01859
Time/call in AProVE (Avg, Min, Max): 0.169765, 0.780275, 0.033325
Time/T-call in AProVE (Avg, Min, Max): 0.169765, 0.780275, 0.780741
All conjectures solved.