>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 5832
Perturbation colors: 9007199254740992
All colors: 52529986053649465000
Unknown update functions: 7
Lowest cardinality: 0
Highest cardinality: 2
Attractor colors: 2161727821137838000
Attractor colors computed in 5334 ms.
Backward progress: 104396
Backward progress: 109079
Backward progress: 124582
Backward progress: 119244
Backward progress: 120412
Backward progress: 118249
Backward progress: 117824
Backward progress: 116102
Backward progress: 148004
Backward progress: 148056
Backward progress: 130552
Backward progress: 125956
Backward progress: 122334
Backward progress: 120177
Backward progress: 119787
Backward progress: 112529
Backward progress: 112421
Backward progress: 112621
Backward progress: 113276
Backward progress: 113326
Backward progress: 114241
Backward progress: 114186
Backward progress: 115499
Backward progress: 115515
Backward progress: 116388
Backward progress: 114939
Backward progress: 113848
Backward progress: 113916
Backward progress: 113928
Backward progress: 113864
Backward progress: 113860
Backward progress: 113858
Backward progress: 110818
Backward progress: 114754
Backward progress: 113944
Backward progress: 111960
Backward progress: 127087
Backward progress: 130933
Backward progress: 117978
Backward progress: 129479
Backward progress: 116041
Backward progress: 111088
Backward progress: 116983
Backward progress: 115040
Backward progress: 107564
Backward progress: 113244
Backward progress: 112393
Backward progress: 115979
Backward progress: 114076
Backward progress: 115670
Backward progress: 118513
Backward progress: 119404
Backward progress: 120410
Backward progress: 119770
Backward progress: 121482
Backward progress: 121378
Backward progress: 122774
Backward progress: 122776
Backward progress: 122410
Backward progress: 121936
Backward progress: 121373
Backward progress: 112073
Backward progress: 114718
Backward progress: 114734
Backward progress: 114877
Backward progress: 114867
Backward progress: 114931
Backward progress: 115276
Backward progress: 115278
Backward progress: 115117
Backward progress: 114821
Backward progress: 114780
Backward progress: 117386
Backward progress: 117202
Backward progress: 115758
Backward progress: 115579
Backward progress: 115587
Backward progress: 115881
Control exists for 240 color(s), jumping through 6 vertices.
Elapsed: 108279 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 108.279
user ??
sys ??
