>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 20
Perturbation colors: 9007199254740992
All colors: 180143985094819840
Unknown update functions: 1
Lowest cardinality: 3
Highest cardinality: 3
Attractor colors: 126100789566373890
Attractor colors computed in 1541 ms.
Backward progress: 120722
Backward progress: 128483
Backward progress: 136032
Backward progress: 129067
Backward progress: 129922
Backward progress: 116918
Backward progress: 112440
Backward progress: 138909
Backward progress: 138961
Backward progress: 125126
Backward progress: 122432
Backward progress: 117393
Backward progress: 115531
Backward progress: 115335
Backward progress: 115315
Backward progress: 115498
Backward progress: 114874
Backward progress: 115870
Backward progress: 115966
Backward progress: 116322
Backward progress: 116267
Backward progress: 117201
Backward progress: 116245
Backward progress: 112678
Backward progress: 118766
Backward progress: 117353
Backward progress: 114295
Backward progress: 128583
Backward progress: 130281
Backward progress: 117773
Backward progress: 121550
Backward progress: 108324
Backward progress: 106049
Backward progress: 110843
Backward progress: 108776
Backward progress: 103561
Backward progress: 108562
Backward progress: 107808
Backward progress: 113230
Backward progress: 111018
Backward progress: 111429
Backward progress: 113169
Backward progress: 113241
Backward progress: 113880
Backward progress: 113551
Backward progress: 114672
Backward progress: 115621
Backward progress: 115623
Backward progress: 115385
Backward progress: 115040
Backward progress: 116977
Backward progress: 106900
Backward progress: 109019
Backward progress: 109027
Backward progress: 109084
Backward progress: 109074
Backward progress: 109134
Backward progress: 109385
Backward progress: 109387
Backward progress: 109263
Backward progress: 109055
Backward progress: 109064
Backward progress: 110948
Backward progress: 110768
Backward progress: 109761
Backward progress: 109637
Backward progress: 109645
Backward progress: 110246
Control exists for 14 color(s), jumping through 6 vertices.
Elapsed: 90222 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 90.222
user ??
sys ??
