========== Reachable Symbolic Configurations ==========
(m_1 c_0 ,
c = 1 + n0 - n1 and g = 1 + n0 - n1 and a = 0, - N <= -2 and
- N + n0 <= -2 and
- n0 <= 0 and
- n0 + n1 <= 0 and
- n1 <= 0 ->
c = 2 + n0 and g = 1 + n0 and a = 0, - N <= -2 and
- N + n0 <= -2 and
- n0 <= 0 ->
c = 1 + n0 - n1 and g = 2 + n0 - n1 and a = 0, - N <= -2 and
- N + n0 <= -2 and
- N + n0 - n1 <= -2 and
- n0 <= 0 and
- n0 + n1 <= 0 and
- n1 <= 0 ->
c = 2 + n0 and g = 2 + n0 and a = 0, - N <= -2 and
- N + n0 <= -2 and
- n0 <= 0 ->
c = 1 and g = 1 and a = 0, - N <= -1
)
(m_1 c_1 ,
c = 1 + n0 and g = 1 + n0 and a = 0, - N <= -2 and
- N + n0 <= -2 and
- n0 <= 0 ->
c = 2 + n0 and g = 1 + n0 and a = 2, - N <= -2 and
- N + n0 <= -2 and
- n0 <= 0
)
(m_1 c_2 ,
c = 2 + n0 - n1 and g = 2 + n0 - n1 and a = 0, - N <= -2 and
- N + n0 <= -2 and
- N + n0 - n1 <= -2 and
- n0 <= 0 and
- n0 + n1 <= 0 and
- n1 <= 0 ->
c = 1 + n0 - n1 and g = 2 + n0 - n1 and a = 1, - N <= -2 and
- N + n0 <= -2 and
- N + n0 - n1 <= -2 and
- n0 <= 0 and
- n0 + n1 <= 0 and
- n1 <= 0
)
========== Time Statistics ==========
child : 6.71
self : 1.20
---------------
total : 7.91