[]: Open (size=20, cost=0, time=0, max=0, total=1.12057e-05, pending=1)
[]: Open (size=19, cost=1.07374e+09, time=inf, max=1.79769e+308, total=0.697777, pending=1)
******* COMPLETION *******
g(X0,Y0) -> a
h(X0,Y0) -> a
f(Y0) -> a
**************************
On branch: []
With size, cost: 11, 12
Orientations: 8
Calls to AProVE (all, T, NT, ?): 3, 3, 0, 0
Time (all, branch, AProVE): 0.737404, inf, 0.736529
Time/call in AProVE (Avg, Min, Max): 0.24551, 0.599439, 0.03933
Time/T-call in AProVE (Avg, Min, Max): 0.24551, 0.599439, 1.79769e+308
All conjectures solved.