[]: Open (size=8, cost=0, time=0, max=0, total=8.10623e-06, pending=1)
[0]: Open (size=18, cost=18, time=0.908443, max=0.796286, total=0.991118, pending=1)
******* COMPLETION *******
a(a(a(b(X0)))) -> a(b(a(a(X0))))
a(b(a(a(b(X0))))) -> a(X0)
**************************
On branch: [0]
With size, cost: 18, 18
Orientations: 4
Calls to AProVE (all, T, NT, ?): 3, 3, 0, 0
Time (all, branch, AProVE): 0.991299, 0.908443, 0.990395
Time/call in AProVE (Avg, Min, Max): 0.330132, 0.796079, 0.082212
Time/T-call in AProVE (Avg, Min, Max): 0.330132, 0.796079, 0.796286
All conjectures solved.