[]: Open (size=38, cost=0, time=0, max=0, total=7.86781e-06, pending=1)
[0]: Open (size=38, cost=38, time=0.779922, max=0.779922, total=0.795861, pending=1)
[1]: Open (size=38, cost=38, time=0.0157549, max=0.0157549, total=0.863547, pending=2)
[00]: Open (size=38, cost=38, time=0.817282, max=0.779922, total=0.878409, pending=2)
******* COMPLETION *******
and(n0,n1) -> n0
or(n1,n1) -> n1
and(n0,n0) -> n0
or(n0,n1) -> n1
and(n1,n1) -> n1
and(n1,n0) -> n0
or(n0,n0) -> n0
or(n1,n0) -> n1
not(n1) -> n0
not(n0) -> n1
**************************
On branch: [00]
With size, cost: 38, 38
Orientations: 22
Calls to AProVE (all, T, NT, ?): 13, 13, 0, 0
Time (all, branch, AProVE): 1.32396, 1.25932, 1.31903
Time/call in AProVE (Avg, Min, Max): 0.101464, 0.779749, 0.014637
Time/T-call in AProVE (Avg, Min, Max): 0.101464, 0.779749, 0.779922
All conjectures solved.