[]: Open (size=131, cost=0, time=0, max=0, total=1.19209e-05, pending=1)
[0]: Open (size=275, cost=470, time=5.10706, max=0.681078, total=5.42497, pending=1)
[1]: Open (size=275, cost=470, time=5.19288, max=0.681078, total=5.55618, pending=2)
[01]: Open (size=275, cost=470, time=5.21047, max=0.681078, total=5.68171, pending=3)
[11]: Open (size=275, cost=470, time=5.27584, max=0.681078, total=5.80228, pending=4)
[011]: Open (size=275, cost=470, time=5.30343, max=0.681078, total=5.91984, pending=5)
[111]: Open (size=275, cost=470, time=5.35581, max=0.681078, total=6.05376, pending=6)
[0111]: Open (size=275, cost=470, time=5.4077, max=0.681078, total=6.3188, pending=7)
[1111]: Open (size=275, cost=470, time=5.52604, max=0.681078, total=6.61963, pending=8)
[01111]: Open (size=275, cost=470, time=5.66056, max=0.681078, total=6.87279, pending=9)
[11111]: Open (size=275, cost=470, time=5.6478, max=0.681078, total=7.02436, pending=10)
[011111]: Open (size=275, cost=470, time=5.77723, max=0.681078, total=7.13722, pending=11)
[111111]: Open (size=275, cost=470, time=5.72871, max=0.681078, total=7.34057, pending=12)
[0111111]: Open (size=275, cost=470, time=5.89673, max=0.681078, total=7.51826, pending=13)
[01111111]: Open (size=251, cost=453, time=5.99212, max=0.681078, total=7.66555, pending=14)
******* COMPLETION *******
f6(f6(f6(f6(X0)))) -> f6(X0)
f6(j(Z0)) -> f6(f6(Z0))
g(X0,Z1) -> f6(Z1)
f3(Y0) -> f6(Y0)
f2(Y0) -> f6(Y0)
f7(Y0) -> f6(Y0)
f1(Y0) -> f6(Y0)
f5(Y0) -> f6(Y0)
f4(Y0) -> f6(Y0)
f8(Y0) -> f6(Y0)
**************************
On branch: [01111111]
With size, cost: 46, 248
Orientations: 86
Calls to AProVE (all, T, NT, ?): 57, 57, 0, 0
Time (all, branch, AProVE): 7.72186, 6.03929, 7.51706
Time/call in AProVE (Avg, Min, Max): 0.131878, 0.680863, 0.0192139
Time/T-call in AProVE (Avg, Min, Max): 0.131878, 0.680863, 0.681078
All conjectures solved.