[]: Open (size=14, cost=0, time=0, max=0, total=1.28746e-05, pending=1)
******* COMPLETION *******
sqrt(null) -> null
i(null) -> null
plus(null,null) -> null
sqrt(plus(i(X0),X0)) -> null
**************************
On branch: []
With size, cost: 16, 16
Orientations: 8
Calls to AProVE (all, T, NT, ?): 4, 4, 0, 0
Time (all, branch, AProVE): 1.00952, 1.00902, 1.00852
Time/call in AProVE (Avg, Min, Max): 0.252129, 0.790346, 0.053242
Time/T-call in AProVE (Avg, Min, Max): 0.252129, 0.790346, 0.790688
All conjectures solved.