[]: Open (size=20, cost=0, time=0, max=0, total=1.3113e-05, pending=1)
******* COMPLETION *******
apply(apply(apply(b,X0),Y0),Z0) -> apply(X0,apply(Y0,Z0))
apply(apply(t,X0),Y0) -> apply(Y0,X0)
**************************
On branch: []
With size, cost: 20, 20
Orientations: 4
Calls to AProVE (all, T, NT, ?): 3, 2, 1, 0
Time (all, branch, AProVE): 1.14217, 0.877558, 1.14124
Time/call in AProVE (Avg, Min, Max): 0.380413, 0.828856, 0.04828
Time/T-call in AProVE (Avg, Min, Max): 0.438568, 0.828856, 0.829214
All conjectures solved.