[]: Open (size=40, cost=0, time=0, max=0, total=9.77516e-06, pending=1)
[0]: Open (size=40, cost=40, time=0.791287, max=0.791287, total=0.809375, pending=1)
[1]: Open (size=40, cost=40, time=0.0178809, max=0.0178809, total=0.893646, pending=2)
[10]: Open (size=40, cost=40, time=0.0337498, max=0.0178809, total=0.95436, pending=3)
[11]: Open (size=41, cost=40, time=0.062217, max=0.0443361, total=1.0122, pending=4)
[101]: Open (size=40, cost=40, time=0.0674837, max=0.0337338, total=1.07031, pending=5)
[111]: Open (size=41, cost=40, time=0.089546, max=0.0443361, total=1.13998, pending=6)
[1011]: Open (size=40, cost=40, time=0.105505, max=0.0380211, total=1.22457, pending=7)
[1111]: Open (size=41, cost=40, time=0.136174, max=0.046628, total=1.28337, pending=8)
[10110]: Open (size=40, cost=40, time=0.133721, max=0.0380211, total=1.42844, pending=9)
[00]: Open (size=41, cost=41, time=0.853617, max=0.791287, total=1.66289, pending=10)
[01]: Open (size=41, cost=41, time=0.812993, max=0.791287, total=1.81384, pending=11)
[000]: Open (size=41, cost=41, time=0.934166, max=0.791287, total=1.85025, pending=12)
[001]: Open (size=41, cost=41, time=0.923647, max=0.791287, total=1.88629, pending=13)
[011]: Open (size=41, cost=41, time=0.827299, max=0.791287, total=1.93591, pending=14)
[0011]: Open (size=41, cost=41, time=0.958848, max=0.791287, total=2.00543, pending=15)
[0111]: Open (size=41, cost=41, time=0.85414, max=0.791287, total=2.05745, pending=16)
[11110]: Open (size=43, cost=42, time=0.20068, max=0.0645058, total=2.10453, pending=17)
[00110]: Open (size=43, cost=43, time=0.990094, max=0.791287, total=2.22149, pending=18)
[01110]: Open (size=43, cost=43, time=0.873357, max=0.791287, total=2.2886, pending=19)
[001100]: Open (size=43, cost=51, time=1.0312, max=0.791287, total=2.36304, pending=20)
[100]: Open (size=40, cost=54, time=0.0575998, max=0.02385, total=2.45956, pending=21)
[101100]: Open (size=40, cost=54, time=0.269665, max=0.135944, total=2.52099, pending=22)
[110]: Open (size=41, cost=56, time=0.09268, max=0.0443361, total=2.69897, pending=23)
[1110]: Open (size=41, cost=56, time=0.127049, max=0.0443361, total=2.81491, pending=24)
[101101]: Open (size=40, cost=56, time=0.231551, max=0.0978301, total=2.92822, pending=25)
[1100]: Open (size=41, cost=56, time=0.139036, max=0.046356, total=3.06835, pending=26)
[0001]: Open (size=41, cost=57, time=0.953925, max=0.791287, total=3.23587, pending=27)
[010]: Open (size=41, cost=57, time=0.834817, max=0.791287, total=3.41897, pending=28)
[0000]: Open (size=41, cost=57, time=0.949948, max=0.791287, total=3.55614, pending=29)
[0110]: Open (size=41, cost=57, time=0.869547, max=0.791287, total=3.69401, pending=30)
[0100]: Open (size=41, cost=57, time=0.91411, max=0.791287, total=3.73963, pending=31)
[111100]: Open (size=43, cost=58, time=0.265576, max=0.0648959, total=3.7717, pending=32)
[11101]: Open (size=43, cost=58, time=0.167808, max=0.0443361, total=3.82248, pending=33)
[11100]: Open (size=43, cost=58, time=0.198976, max=0.0719271, total=3.87889, pending=34)
[111011]: Open (size=43, cost=58, time=0.196776, max=0.0443361, total=4.01055, pending=35)
[11000]: Open (size=43, cost=58, time=0.245038, max=0.106002, total=4.25553, pending=36)
[1110111]: Open (size=43, cost=58, time=0.336998, max=0.140222, total=4.38926, pending=37)
[11001]: Open (size=43, cost=58, time=0.199772, max=0.0607359, total=4.61465, pending=38)
[110011]: Open (size=43, cost=58, time=0.289562, max=0.0897899, total=4.86529, pending=39)
[1100111]: Open (size=43, cost=58, time=0.344882, max=0.0897899, total=5.03846, pending=40)
[11001110]: Open (size=51, cost=50, time=0.482473, max=0.137591, total=5.27789, pending=41)
******* COMPLETION *******
e(b(w(X0))) -> a(d(w(X0)))
v(b(w(X0))) -> a(d(w(X0)))
u(X0) -> d(w(X0))
v(a(X0)) -> a(d(X0))
b(d(X0)) -> v(b(X0))
e(a(X0)) -> a(c(X0))
b(c(X0)) -> e(b(X0))
c(w(X0)) -> d(w(X0))
**************************
On branch: [11001110]
With size, cost: 51, 50
Orientations: 82
Calls to AProVE (all, T, NT, ?): 82, 82, 0, 0
Time (all, branch, AProVE): 5.27816, 0.482473, 5.23587
Time/call in AProVE (Avg, Min, Max): 0.0638521, 0.791091, 0.0139289
Time/T-call in AProVE (Avg, Min, Max): 0.0638521, 0.791091, 0.137591
All conjectures solved.