>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 11
Uncertainty colors: 2194698240
Perturbation colors: 2048
All colors: 4494741995520
Unknown update functions: 8
Lowest cardinality: 1
Highest cardinality: 4
Attractor colors: 182043500544
Attractor colors computed in 741 ms.
Backward progress: 104795
Forward closed progress: 104834
Forward closed progress: 111022
Forward closed progress: 133317
Forward closed progress: 144806
Forward closed progress: 142852
Forward closed progress: 141878
Forward closed progress: 150189
Forward closed progress: 132208
Forward closed progress: 134068
Forward closed progress: 131220
Forward closed progress: 131316
Forward closed progress: 210532
Forward closed progress: 212808
Forward closed progress: 210222
Forward closed progress: 210262
Forward closed progress: 208968
Forward closed progress: 206783
Forward closed progress: 205774
Forward closed progress: 285236
Forward closed progress: 286678
Forward closed progress: 288856
Forward closed progress: 335896
Forward closed progress: 340425
Forward closed progress: 347468
Forward closed progress: 347652
Forward closed progress: 351113
Forward closed progress: 357434
Forward closed progress: 353084
Forward closed progress: 357917
Forward closed progress: 353675
Forward closed progress: 353675
Control exists for 88888428 color(s), jumping through 896 vertices.
Elapsed: 13008 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 13.008
user ??
sys ??
