>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 36
Perturbation colors: 9007199254740992
All colors: 324259173170675700
Unknown update functions: 2
Lowest cardinality: 2
Highest cardinality: 2
Attractor colors: 81064793292668930
Attractor colors computed in 6411 ms.
Backward progress: 123890
Backward progress: 129054
Backward progress: 107360
Backward progress: 102233
Backward progress: 102311
Backward progress: 100287
Backward progress: 100191
Backward progress: 107076
Backward progress: 107076
Backward progress: 107564
Backward progress: 102319
Backward progress: 125072
Backward progress: 119896
Backward progress: 121128
Backward progress: 116055
Backward progress: 113639
Backward progress: 127217
Backward progress: 127269
Backward progress: 118663
Backward progress: 116378
Backward progress: 113803
Backward progress: 112778
Backward progress: 112370
Backward progress: 112523
Backward progress: 113260
Backward progress: 112400
Backward progress: 113050
Backward progress: 113100
Backward progress: 113614
Backward progress: 113519
Backward progress: 114956
Backward progress: 113476
Backward progress: 109860
Backward progress: 113610
Backward progress: 112592
Backward progress: 111242
Backward progress: 127100
Backward progress: 131057
Backward progress: 117407
Backward progress: 122403
Backward progress: 112634
Backward progress: 109157
Backward progress: 115866
Backward progress: 114060
Backward progress: 106222
Backward progress: 112213
Backward progress: 110562
Backward progress: 115225
Backward progress: 112881
Backward progress: 113649
Backward progress: 115393
Backward progress: 115664
Backward progress: 116108
Backward progress: 115864
Backward progress: 117276
Backward progress: 117300
Backward progress: 118056
Backward progress: 118058
Backward progress: 117870
Backward progress: 117593
Backward progress: 119396
Backward progress: 109561
Backward progress: 111552
Backward progress: 111580
Backward progress: 111736
Backward progress: 111713
Backward progress: 111825
Backward progress: 112042
Backward progress: 112044
Backward progress: 111945
Backward progress: 111801
Backward progress: 111946
Backward progress: 114427
Backward progress: 114247
Backward progress: 113100
Backward progress: 112983
Backward progress: 112991
Backward progress: 113342
Control exists for 9 color(s), jumping through 6 vertices.
Elapsed: 140773 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 140.773
user ??
sys ??
