>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 9
Perturbation colors: 9007199254740992
All colors: 81064793292668930
Unknown update functions: 2
Lowest cardinality: 1
Highest cardinality: 1
Attractor colors: 36028797018963970
Attractor colors computed in 1031 ms.
Backward progress: 101166
Backward progress: 106802
Backward progress: 100197
Backward progress: 100249
Backward progress: 100007
Control exists for 4 color(s), jumping through 6 vertices.
Elapsed: 100409 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 100.409
user ??
sys ??
