[]: Open (size=21, cost=0, time=0, max=0, total=1.3113e-05, pending=1)
[0]: Open (size=21, cost=21, time=0.827031, max=0.827031, total=0.851763, pending=1)
[1]: Open (size=21, cost=21, time=0.024461, max=0.024461, total=0.932773, pending=1)
[0]: Open (size=21, cost=21, time=0.907881, max=0.827031, total=0.95427, pending=1)
[1]: Open (size=21, cost=21, time=0.0458081, max=0.024461, total=1.0629, pending=1)
[0]: Open (size=21, cost=21, time=1.0163, max=0.827031, total=1.08651, pending=1)
[1]: Open (size=21, cost=21, time=0.069231, max=0.024461, total=1.10772, pending=1)
[0]: Open (size=21, cost=29, time=1.03725, max=0.827031, total=1.13092, pending=1)
[01]: Open (size=19, cost=19, time=1.07177, max=0.827031, total=1.18829, pending=2)
******* COMPLETION *******
a -> b
c -> b
g(X0) -> X0
f(b,Z0) -> b
f(X0,b) -> X0
**************************
On branch: [01]
With size, cost: 15, 15
Orientations: 16
Calls to AProVE (all, T, NT, ?): 10, 10, 0, 0
Time (all, branch, AProVE): 1.18837, 1.07177, 1.18537
Time/call in AProVE (Avg, Min, Max): 0.118537, 0.826712, 0.020905
Time/T-call in AProVE (Avg, Min, Max): 0.118537, 0.826712, 0.827031
All conjectures solved.