>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 30240
Perturbation colors: 9007199254740992
All colors: 272377705463367600000
Unknown update functions: 4
Lowest cardinality: 1
Highest cardinality: 4
Attractor colors: 18158513697557840000
Attractor colors computed in 2277 ms.
Backward progress: 191006
Backward progress: 140231
Backward progress: 142138
Backward progress: 106938
Backward progress: 126263
Backward progress: 126315
Backward progress: 108127
Backward progress: 105898
Backward progress: 100584
Backward progress: 117962
Backward progress: 108759
Backward progress: 113870
Backward progress: 102941
Backward progress: 112847
Backward progress: 102868
Backward progress: 105872
Control exists for 2016 color(s), jumping through 6 vertices.
Elapsed: 67908 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 67.908
user ??
sys ??
