[]: Open (size=12, cost=0, time=0, max=0, total=8.10623e-06, pending=1)
******* COMPLETION *******
f(X0) -> X0
**************************
On branch: []
With size, cost: 3, 12
Orientations: 6
Calls to AProVE (all, T, NT, ?): 3, 3, 0, 0
Time (all, branch, AProVE): 0.870211, 0.869998, 0.869698
Time/call in AProVE (Avg, Min, Max): 0.289899, 0.7901, 0.0310919
Time/T-call in AProVE (Avg, Min, Max): 0.289899, 0.7901, 0.790294
All conjectures solved.