[]: Open (size=10, cost=0, time=0, max=0, total=8.10623e-06, pending=1)
[0]: Open (size=10, cost=10, time=0.662444, max=0.662444, total=0.679862, pending=1)
******* COMPLETION *******
multiply(multiply(X0,Y0),Z0) -> multiply(X0,multiply(Y0,Z0))
**************************
On branch: [0]
With size, cost: 10, 10
Orientations: 2
Calls to AProVE (all, T, NT, ?): 2, 2, 0, 0
Time (all, branch, AProVE): 0.680106, 0.662444, 0.679175
Time/call in AProVE (Avg, Min, Max): 0.339587, 0.66224, 0.0169349
Time/T-call in AProVE (Avg, Min, Max): 0.339587, 0.66224, 0.662444
All conjectures solved.