========== Reachable Symbolic Configurations ==========
(m_1 c_0 ,
c = 2 + n0 and g = 1 + n0 and a = 0, - n0 <= 0 and
n0 <= 98 ->
c = 1 + n0 - n1 and g = 2 + n0 - n1 and a = 0, - n0 <= 0 and
- n0 + n1 <= 0 and
n0 <= 98 and
n0 - n1 <= 98 and
- n1 <= 0 ->
c = 2 + n0 and g = 2 + n0 and a = 0, - n0 <= 0 and
n0 <= 98 ->
c = 1 + n0 - n1 and g = 1 + n0 - n1 and a = 0, - n0 <= 0 and
- n0 + n1 <= 0 and
n0 <= 98 and
- n1 <= 0
)
(m_1 c_1 ,
c = 1 + n0 and g = 1 + n0 and a = 0, - n0 <= 0 and
n0 <= 98 ->
c = 2 + n0 and g = 1 + n0 and a = 2, - n0 <= 0 and
n0 <= 98
)
(m_1 c_2 ,
c = 2 + n0 - n1 and g = 2 + n0 - n1 and a = 0, - n0 <= 0 and
- n0 + n1 <= 0 and
n0 <= 98 and
n0 - n1 <= 98 and
- n1 <= 0 ->
c = 1 + n0 - n1 and g = 2 + n0 - n1 and a = 1, - n0 <= 0 and
- n0 + n1 <= 0 and
n0 <= 98 and
n0 - n1 <= 98 and
- n1 <= 0
)
========== Time Statistics ==========
child : 5.71
self : 0.93
---------------
total : 6.64