[]: Open (size=215, cost=0, time=0, max=0, total=1.3113e-05, pending=1)
[0]: Open (size=914, cost=4046, time=19.6688, max=0.649062, total=20.9281, pending=1)
[01]: Open (size=914, cost=2619, time=19.9209, max=0.649062, total=21.4361, pending=2)
[010]: Open (size=914, cost=2527, time=20.0317, max=0.649062, total=21.7681, pending=3)
[0100]: Open (size=914, cost=2435, time=20.1585, max=0.649062, total=22.2328, pending=4)
[01000]: Open (size=914, cost=2343, time=20.2776, max=0.649062, total=22.5651, pending=5)
[010001]: Open (size=914, cost=1784, time=20.4235, max=0.649062, total=22.8633, pending=6)
[0100010]: Open (size=914, cost=1760, time=20.527, max=0.649062, total=23.1341, pending=7)
[01000100]: Open (size=910, cost=1732, time=20.6249, max=0.649062, total=23.3961, pending=8)
[010001000]: Open (size=910, cost=1708, time=20.7257, max=0.649062, total=23.6684, pending=9)
[0100010001]: Open (size=910, cost=1621, time=20.8818, max=0.649062, total=23.9381, pending=10)
[01000100010]: Open (size=910, cost=1621, time=20.9848, max=0.649062, total=24.2279, pending=11)
[01000100011]: Open (size=910, cost=1621, time=21.0646, max=0.649062, total=24.4982, pending=12)
[010001000100]: Open (size=910, cost=1621, time=21.089, max=0.649062, total=24.7722, pending=13)
[010001000101]: Open (size=910, cost=1621, time=21.1465, max=0.649062, total=25.0831, pending=14)
[0100010001001]: Open (size=910, cost=1621, time=21.2768, max=0.649062, total=25.3792, pending=15)
[01000100010011]: Open (size=813, cost=1531, time=21.4979, max=0.649062, total=25.7143, pending=16)
******* COMPLETION *******
f2(f2(f2(f2(X0)))) -> f2(X0)
f2(j(Z0)) -> f2(f2(Z0))
g(X0,Z1) -> f2(Z1)
f5(Y0) -> f2(Y0)
f14(Y0) -> f2(Y0)
f3(Y0) -> f2(Y0)
f1(Y0) -> f2(Y0)
f10(Y0) -> f2(Y0)
f13(Y0) -> f2(Y0)
f8(Y0) -> f2(Y0)
f11(Y0) -> f2(Y0)
f7(Y0) -> f2(Y0)
f6(Y0) -> f2(Y0)
f4(Y0) -> f2(Y0)
f9(Y0) -> f2(Y0)
f12(Y0) -> f2(Y0)
**************************
On branch: [01000100010011]
With size, cost: 70, 788
Orientations: 210
Calls to AProVE (all, T, NT, ?): 121, 121, 0, 0
Time (all, branch, AProVE): 25.8826, 21.6268, 24.0135
Time/call in AProVE (Avg, Min, Max): 0.198458, 0.648864, 0.0211921
Time/T-call in AProVE (Avg, Min, Max): 0.198458, 0.648864, 0.649062
All conjectures solved.