========== Reachable Symbolic Configurations ==========
(m_1 c_0 ,
c = 2 and g = 1 and a = 0, true ->
c = 2 and g = 2 and a = 0, true ->
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, true ->
c = 2 and g = 1 and a = 2, true
)
(m_1 c_2 ,
c = 2 and g = 2 and a = 0, true ->
c = 1 and g = 2 and a = 1, true
)
========== Time Statistics ==========
child : 0.00
self : 0.06
---------------
total : 0.06