[]: Open (size=21, cost=0, time=0, max=0, total=1.38283e-05, pending=1)
******* COMPLETION *******
atom(X0) -> false
car(dot(X0,Y0)) -> X0
cdr(dot(X0,Y0)) -> Y0
dot(car(X0),cdr(X0)) -> X0
**************************
On branch: []
With size, cost: 19, 19
Orientations: 10
Calls to AProVE (all, T, NT, ?): 5, 5, 0, 0
Time (all, branch, AProVE): 0.806672, 0.805596, 0.804929
Time/call in AProVE (Avg, Min, Max): 0.160986, 0.669642, 0.0182421
Time/T-call in AProVE (Avg, Min, Max): 0.160986, 0.669642, 0.670017
All conjectures solved.