========== Reachable Symbolic Configurations ==========
(m_1 c_0 ,
c = 2 + n0 and g = 1 + n0 and a = 0, - n0 <= 0 and
n0 <= 2 ->
c = 2 + n0 and g = 3 + n0 and a = 0, - n0 <= 0 and
n0 <= 1 ->
c = 2 + n0 and g = 2 + n0 and a = 0, - n0 <= 0 and
n0 <= 2 ->
c = 1 and g = 2 and a = 0, true ->
c = 1 and g = 1 and a = 0, true
)
(m_1 c_1 ,
c = 1 and g = 1 and a = 0, - n0 <= 0 and
n0 <= 2 ->
c = 2 + n0 and g = 1 + n0 and a = 2, - n0 <= 0 and
n0 <= 2
)
(m_1 c_2 ,
c = 3 + n0 and g = 3 + n0 and a = 0, - n0 <= 0 and
n0 <= 1 ->
c = 2 + n0 and g = 3 + n0 and a = 1, - n0 <= 0 and
n0 <= 1 ->
c = 2 and g = 2 and a = 0, true ->
c = 1 and g = 2 and a = 1, true
)
========== Time Statistics ==========
child : 4.74
self : 0.59
---------------
total : 5.33