>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 54
Perturbation colors: 9007199254740992
All colors: 486388759756013600
Unknown update functions: 3
Lowest cardinality: 1
Highest cardinality: 2
Attractor colors: 180143985094819840
Attractor colors computed in 760 ms.
Backward progress: 112317
Backward progress: 117569
Backward progress: 133859
Backward progress: 131716
Backward progress: 131899
Backward progress: 128116
Backward progress: 126740
Backward progress: 156198
Backward progress: 156250
Backward progress: 135994
Backward progress: 133444
Backward progress: 125540
Backward progress: 123490
Backward progress: 122890
Backward progress: 120760
Backward progress: 120866
Backward progress: 120877
Backward progress: 121474
Backward progress: 121657
Backward progress: 122037
Backward progress: 121976
Backward progress: 122747
Backward progress: 121948
Backward progress: 118066
Backward progress: 124198
Backward progress: 124243
Backward progress: 120508
Backward progress: 134817
Backward progress: 137902
Backward progress: 124917
Backward progress: 134509
Backward progress: 112045
Backward progress: 109758
Backward progress: 113428
Backward progress: 110818
Backward progress: 106715
Backward progress: 111069
Backward progress: 110503
Backward progress: 114417
Backward progress: 112429
Backward progress: 112854
Backward progress: 114418
Backward progress: 114490
Backward progress: 115187
Backward progress: 114829
Backward progress: 117201
Backward progress: 118200
Backward progress: 118202
Backward progress: 117722
Backward progress: 117158
Backward progress: 118347
Backward progress: 110311
Backward progress: 111978
Backward progress: 111998
Backward progress: 112152
Backward progress: 112140
Backward progress: 112084
Backward progress: 112148
Backward progress: 112332
Backward progress: 112334
Backward progress: 112234
Backward progress: 112114
Backward progress: 112202
Backward progress: 113424
Backward progress: 113395
Backward progress: 113425
Backward progress: 112553
Backward progress: 112311
Backward progress: 112301
Backward progress: 113283
Control exists for 20 color(s), jumping through 6 vertices.
Elapsed: 94781 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 94.781
user ??
sys ??
