>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 11
Uncertainty colors: 1024192512
Perturbation colors: 2048
All colors: 2097546264576
Unknown update functions: 6
Lowest cardinality: 2
Highest cardinality: 4
Attractor colors: 563600179200
Attractor colors computed in 970 ms.
Backward progress: 104986
Backward progress: 104858
Backward progress: 107805
Backward progress: 108294
Backward progress: 136373
Backward progress: 137068
Backward progress: 148834
Backward progress: 148800
Backward progress: 148852
Backward progress: 156052
Backward progress: 153265
Backward progress: 158521
Backward progress: 153301
Backward progress: 153883
Backward progress: 153846
Backward progress: 153035
Backward progress: 147495
Backward progress: 146986
Backward progress: 127104
Backward progress: 125470
Backward progress: 145445
Backward progress: 145547
Backward progress: 146566
Backward progress: 146682
Backward progress: 148760
Backward progress: 148860
Backward progress: 152671
Backward progress: 151715
Backward progress: 151014
Backward progress: 158078
Backward progress: 158124
Backward progress: 158547
Backward progress: 158576
Backward progress: 158750
Backward progress: 158039
Backward progress: 157625
Backward progress: 158096
Backward progress: 158145
Backward progress: 158135
Backward progress: 158309
Backward progress: 158309
Forward closed progress: 147635
Forward closed progress: 147173
Forward closed progress: 193330
Forward closed progress: 192010
Forward closed progress: 292783
Forward closed progress: 268099
Forward closed progress: 272443
Forward closed progress: 266857
Forward closed progress: 261796
Forward closed progress: 259531
Forward closed progress: 261855
Forward closed progress: 292353
Forward closed progress: 279229
Forward closed progress: 271063
Forward closed progress: 270479
Forward closed progress: 266321
Forward closed progress: 261087
Forward closed progress: 260192
Forward closed progress: 270177
Forward closed progress: 250863
Forward closed progress: 245888
Forward closed progress: 244270
Forward closed progress: 243331
Forward closed progress: 240429
Forward closed progress: 230566
Forward closed progress: 225196
Forward closed progress: 221654
Forward closed progress: 223366
Forward closed progress: 244128
Forward closed progress: 223727
Forward closed progress: 232239
Forward closed progress: 224284
Forward closed progress: 224984
Forward closed progress: 234114
Forward closed progress: 233989
Forward closed progress: 231778
Forward closed progress: 230882
Forward closed progress: 303477
Forward closed progress: 294253
Forward closed progress: 292721
Forward closed progress: 292672
Forward closed progress: 292479
Forward closed progress: 292131
Forward closed progress: 323794
Forward closed progress: 321246
Forward closed progress: 318487
Forward closed progress: 317073
Forward closed progress: 315787
Forward closed progress: 315424
Forward closed progress: 314998
Forward closed progress: 311047
Forward closed progress: 312188
Forward closed progress: 309279
Forward closed progress: 305267
Forward closed progress: 305012
Forward closed progress: 293785
Forward closed progress: 292879
Forward closed progress: 291699
Forward closed progress: 291699
Control exists for 275195400 color(s), jumping through 2048 vertices.
Elapsed: 31430 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 31.43
user ??
sys ??
