[]: Open (size=15, cost=0, time=0, max=0, total=8.10623e-06, pending=1) [0]: Open (size=15, cost=15, time=0.790638, max=0.790638, total=0.808355, pending=1) [1]: Open (size=15, cost=15, time=0.0175202, max=0.0175202, total=0.884307, pending=2) [01]: Open (size=15, cost=15, time=0.819871, max=0.790638, total=0.926387, pending=3) [11]: Open (size=15, cost=15, time=0.042655, max=0.0251348, total=1.08708, pending=3) [01]: Open (size=15, cost=15, time=0.979852, max=0.790638, total=1.26359, pending=3) ******* COMPLETION ******* a(a(a(X0))) -> a(a(X0)) c(X0) -> a(X0) b(X0) -> a(X0) ************************** On branch: [01] With size, cost: 15, 15 Orientations: 10 Calls to AProVE (all, T, NT, ?): 8, 8, 0, 0 Time (all, branch, AProVE): 1.26404, 0.979852, 1.26137 Time/call in AProVE (Avg, Min, Max): 0.157671, 0.790446, 0.016721 Time/T-call in AProVE (Avg, Min, Max): 0.157671, 0.790446, 0.790638 All conjectures solved.