>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 36
Perturbation colors: 9007199254740992
All colors: 324259173170675700
Unknown update functions: 2
Lowest cardinality: 2
Highest cardinality: 2
Attractor colors: 81064793292668930
Attractor colors computed in 3763 ms.
Backward progress: 112442
Backward progress: 107325
Backward progress: 108237
Backward progress: 118168
Backward progress: 118220
Backward progress: 106627
Backward progress: 103457
Backward progress: 100193
Backward progress: 100304
Backward progress: 110225
Backward progress: 114311
Backward progress: 102459
Backward progress: 107664
Backward progress: 100446
Backward progress: 100052
Backward progress: 101498
Backward progress: 102670
Backward progress: 102672
Backward progress: 102384
Backward progress: 101951
Backward progress: 103222
Backward progress: 100166
Control exists for 9 color(s), jumping through 6 vertices.
Elapsed: 80692 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 80.692
user ??
sys ??
