[]: Open (size=13, cost=0, time=0, max=0, total=5.96046e-06, pending=1)
[0]: Open (size=13, cost=13, time=0.778553, max=0.778553, total=0.819467, pending=1)
[1]: Open (size=13, cost=13, time=0.0406811, max=0.0406811, total=0.89313, pending=2)
******* COMPLETION *******
w(a(c(X0))) -> a(c(X0))
a(b(X0)) -> w(a(X0))
**************************
On branch: [1]
With size, cost: 13, 13
Orientations: 6
Calls to AProVE (all, T, NT, ?): 5, 5, 0, 0
Time (all, branch, AProVE): 0.987005, 0.13407, 0.985552
Time/call in AProVE (Avg, Min, Max): 0.19711, 0.778316, 0.0263162
Time/T-call in AProVE (Avg, Min, Max): 0.19711, 0.778316, 0.093389
All conjectures solved.