[]: Open (size=187, cost=0, time=0, max=0, total=1.28746e-05, pending=1)
[0]: Open (size=1360, cost=10389, time=17.7233, max=0.660919, total=20.4305, pending=1)
[00]: Open (size=1360, cost=7398, time=17.9008, max=0.660919, total=21.3113, pending=2)
[001]: Open (size=1360, cost=4008, time=18.1065, max=0.660919, total=21.9579, pending=3)
[0010]: Open (size=1360, cost=3804, time=18.2544, max=0.660919, total=22.4822, pending=4)
[00101]: Open (size=1360, cost=2538, time=18.4706, max=0.660919, total=22.9362, pending=5)
[001011]: Open (size=1360, cost=2403, time=18.6882, max=0.660919, total=23.3232, pending=6)
[0010110]: Open (size=1360, cost=2403, time=18.8357, max=0.660919, total=23.6897, pending=7)
[0010111]: Open (size=1360, cost=2403, time=18.9036, max=0.660919, total=24.0663, pending=8)
[00101100]: Open (size=1360, cost=2403, time=18.981, max=0.660919, total=24.4289, pending=9)
[00101101]: Open (size=1360, cost=2403, time=19.0631, max=0.660919, total=24.8864, pending=10)
[001011001]: Open (size=1360, cost=2403, time=19.2843, max=0.660919, total=25.2502, pending=11)
[0010110010]: Open (size=1356, cost=2399, time=19.4259, max=0.660919, total=25.64, pending=12)
[0010110011]: Open (size=1356, cost=2399, time=19.5277, max=0.660919, total=26.1325, pending=13)
[00101100100]: Open (size=1356, cost=2399, time=19.5646, max=0.660919, total=26.5298, pending=14)
[001011001001]: Open (size=1231, cost=2281, time=19.8669, max=0.660919, total=26.9855, pending=15)
******* COMPLETION *******
f6(f6(f6(f6(X0)))) -> f6(X0)
f6(j(Z0)) -> f6(f6(Z0))
g(X0,Z1) -> f6(Z1)
f3(Y0) -> f6(Y0)
f8(Y0) -> f6(Y0)
f2(Y0) -> f6(Y0)
f12(Y0) -> f6(Y0)
f7(Y0) -> f6(Y0)
f4(Y0) -> f6(Y0)
f1(Y0) -> f6(Y0)
f5(Y0) -> f6(Y0)
f10(Y0) -> f6(Y0)
f11(Y0) -> f6(Y0)
f9(Y0) -> f6(Y0)
**************************
On branch: [001011001001]
With size, cost: 62, 1112
Orientations: 280
Calls to AProVE (all, T, NT, ?): 155, 155, 0, 0
Time (all, branch, AProVE): 27.1873, 20.0233, 23.0757
Time/call in AProVE (Avg, Min, Max): 0.148875, 0.660716, 0.019109
Time/T-call in AProVE (Avg, Min, Max): 0.148875, 0.660716, 0.660919
All conjectures solved.