[]: Open (size=18, cost=0, time=0, max=0, total=1.19209e-05, pending=1) [0]: Open (size=18, cost=18, time=0.651869, max=0.651869, total=0.669446, pending=1) [1]: Open (size=18, cost=18, time=0.0173812, max=0.0173812, total=0.721838, pending=2) [00]: Open (size=18, cost=18, time=0.687454, max=0.651869, total=0.759832, pending=2) [000]: Open (size=18, cost=18, time=0.724442, max=0.651869, total=0.821266, pending=3) ******* COMPLETION ******* response(compose(X0,Y0),W0) -> response(X0,response(Y0,W0)) response(a,b) -> c response(a,c) -> b ************************** On branch: [000] With size, cost: 18, 18 Orientations: 8 Calls to AProVE (all, T, NT, ?): 7, 7, 0, 0 Time (all, branch, AProVE): 0.821567, 0.724442, 0.81951 Time/call in AProVE (Avg, Min, Max): 0.117073, 0.651683, 0.016582 Time/T-call in AProVE (Avg, Min, Max): 0.117073, 0.651683, 0.651869 All conjectures solved.