>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 108
Perturbation colors: 9007199254740992
All colors: 972777519512027100
Unknown update functions: 3
Lowest cardinality: 1
Highest cardinality: 2
Attractor colors: 162129586585337860
Attractor colors computed in 1768 ms.
Backward progress: 100532
Backward progress: 101152
Backward progress: 101156
Backward progress: 102555
Backward progress: 109304
Backward progress: 111968
Backward progress: 111668
Backward progress: 112068
Backward progress: 105955
Backward progress: 105071
Backward progress: 123857
Backward progress: 123097
Backward progress: 117923
Backward progress: 116798
Backward progress: 115268
Backward progress: 114869
Backward progress: 106137
Backward progress: 104450
Backward progress: 101457
Backward progress: 101475
Backward progress: 156638
Backward progress: 163880
Backward progress: 135788
Backward progress: 129569
Backward progress: 129647
Backward progress: 126827
Backward progress: 120271
Backward progress: 121061
Backward progress: 121574
Backward progress: 123938
Backward progress: 123391
Backward progress: 127434
Backward progress: 128087
Backward progress: 125237
Backward progress: 136032
Backward progress: 136032
Backward progress: 136570
Backward progress: 130412
Backward progress: 123457
Backward progress: 124492
Backward progress: 122142
Backward progress: 122146
Backward progress: 115100
Backward progress: 119489
Backward progress: 119501
Backward progress: 118232
Backward progress: 117966
Backward progress: 117704
Backward progress: 115148
Backward progress: 113675
Backward progress: 113345
Backward progress: 116746
Backward progress: 116921
Backward progress: 117070
Backward progress: 118378
Backward progress: 118239
Backward progress: 114724
Backward progress: 117700
Backward progress: 115630
Backward progress: 114133
Backward progress: 114189
Backward progress: 113873
Backward progress: 114035
Backward progress: 113807
Backward progress: 113431
Backward progress: 113415
Backward progress: 107371
Backward progress: 107846
Backward progress: 106345
Backward progress: 100519
Backward progress: 103529
Backward progress: 103537
Backward progress: 101608
Backward progress: 145706
Backward progress: 139707
Backward progress: 141099
Backward progress: 133699
Backward progress: 130971
Backward progress: 147142
Backward progress: 147194
Backward progress: 136881
Backward progress: 134257
Backward progress: 130319
Backward progress: 129065
Backward progress: 128393
Backward progress: 127941
Backward progress: 127609
Backward progress: 126857
Backward progress: 127311
Backward progress: 127272
Backward progress: 127650
Backward progress: 127129
Backward progress: 128582
Backward progress: 127052
Backward progress: 123302
Backward progress: 127170
Backward progress: 126456
Backward progress: 124538
Backward progress: 142164
Backward progress: 147425
Backward progress: 132415
Backward progress: 145327
Backward progress: 130421
Backward progress: 126758
Backward progress: 133807
Backward progress: 131392
Backward progress: 123152
Backward progress: 129849
Backward progress: 127760
Backward progress: 133005
Backward progress: 130089
Backward progress: 130857
Backward progress: 132745
Backward progress: 133165
Backward progress: 133827
Backward progress: 133451
Backward progress: 135259
Backward progress: 135323
Backward progress: 136581
Backward progress: 136583
Backward progress: 136280
Backward progress: 135859
Backward progress: 138033
Backward progress: 127653
Backward progress: 130646
Backward progress: 130686
Backward progress: 130982
Backward progress: 130842
Backward progress: 130954
Backward progress: 131348
Backward progress: 131350
Backward progress: 131178
Backward progress: 130920
Backward progress: 130843
Backward progress: 134182
Backward progress: 134050
Backward progress: 132053
Backward progress: 131837
Backward progress: 131845
Backward progress: 132576
Backward progress: 123165
Backward progress: 102259
Backward progress: 104439
Backward progress: 108371
Backward progress: 104439
Backward progress: 109340
Backward progress: 104593
Backward progress: 106245
Backward progress: 106678
Backward progress: 106827
Backward progress: 106835
Backward progress: 108256
Backward progress: 108286
Backward progress: 109989
Backward progress: 109991
Backward progress: 109413
Backward progress: 108733
Backward progress: 110905
Backward progress: 110935
Backward progress: 111212
Backward progress: 111065
Backward progress: 111169
Backward progress: 111678
Backward progress: 111680
Backward progress: 111458
Backward progress: 111085
Backward progress: 110960
Backward progress: 113165
Backward progress: 113057
Backward progress: 111837
Backward progress: 111558
Backward progress: 111566
Backward progress: 114436
Control exists for 18 color(s), jumping through 8 vertices.
Elapsed: 196149 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 196.149
user ??
sys ??
