>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> ONE-STEP SEMI-SYMBOLIC CONTROL
Attractor colors computed in 466319 ms.
Weak basin has 1047040 states.
Killed
