\\ ndetectors
\\ 2
\\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars
\\ consclass 0.000000 0 0.486005 0.000000 0.464902 0.000000
\\ connectedbase 0.000000 52 0.000000 0.000000 0.000000 0.000000
PRESOLVED
0
NBLOCKS
52
BLOCK 1
cycle0
cycle1
cycle2
cycle3
cycle4
cycle5
cycle6
cycle7
cycle8
cycle9
cycle10
cycle11
cycle12
cycle13
cycle14
cycle15
cycle16
cycle1179
cycle1180
cycle1181
cycle1182
cycle1183
cycle1184
cycle29
cycle34
cycle35
cycle68
cycle71
cycle72
cycle73
cycle76
cycle77
cycle78
cycle81
cycle106
cycle135
cycle136
cycle137
cycle138
cycle139
cycle140
cycle141
cycle142
cycle143
cycle144
cycle145
cycle146
cycle147
cycle148
cycle149
cycle150
cycle151
cycle152
cycle153
cycle155
cycle156
cycle157
cycle158
cycle159
cycle160
cycle161
cycle162
cycle163
cycle164
cycle165
cycle166
cycle168
cycle170
cycle171
cycle172
cycle173
cycle174
cycle179
cycle180
cycle181
cycle182
cycle183
cycle184
cycle186
cycle187
cycle188
cycle189
cycle190
cycle191
cycle192
cycle193
cycle194
cycle195
cycle196
cycle197
cycle198
cycle201
cycle202
cycle205
cycle206
cycle209
cycle210
cycle213
cycle214
cycle217
cycle218
cycle219
cycle224
cycle231
cycle242
cycle251
cycle252
cycle253
cycle255
cycle265
cycle276
cycle285
cycle288
cycle289
cycle290
cycle291
cycle292
cycle297
cycle298
cycle301
cycle302
cycle303
cycle306
cycle307
cycle308
cycle310
cycle312
cycle313
cycle314
cycle316
cycle318
cycle320
cycle322
cycle323
cycle326
cycle327
cycle328
cycle329
cycle330
cycle331
cycle332
cycle333
cycle334
cycle335
cycle336
cycle337
cycle338
cycle339
cycle1187
cycle1188
cycle382
cycle383
cycle384
cycle385
cycle386
cycle387
cycle1189
cycle1190
cycle426
cycle427
cycle428
cycle429
cycle430
cycle431
cycle432
cycle433
cycle497
cycle498
cycle499
cycle500
cycle501
cycle502
cycle503
cycle504
cycle506
cycle508
cycle512
cycle514
cycle515
cycle516
cycle517
cycle518
cycle519
cycle522
cycle523
cycle524
cycle525
cycle526
cycle527
cycle528
cycle529
cycle530
cycle531
cycle532
cycle533
cycle536
cycle537
cycle538
cycle539
cycle540
cycle541
cycle542
cycle543
cycle544
cycle545
cycle546
cycle548
cycle549
cycle550
cycle554
cycle555
cycle558
cycle559
cycle560
cycle561
cycle562
cycle563
cycle564
cycle565
cycle566
cycle567
cycle568
cycle569
cycle570
cycle571
cycle572
cycle573
cycle574
cycle575
cycle1191
cycle1192
cycle632
cycle633
cycle634
cycle635
cycle640
cycle641
cycle642
cycle643
cycle648
cycle649
cycle650
cycle651
cycle652
cycle653
cycle654
cycle655
cycle656
cycle657
cycle658
cycle659
cycle1193
cycle661
cycle662
cycle663
cycle664
cycle1194
cycle813
cycle817
cycle819
cycle821
cycle829
cycle830
cycle834
cycle894
cycle897
cycle902
cycle903
cycle908
cycle911
cycle916
cycle929
cycle933
cycle943
cycle947
cycle964
cycle965
cycle966
cycle967
cycle968
cycle969
cycle970
cycle971
cycle972
cycle973
cycle974
cycle975
cycle1000
cycle1001
cycle1002
cycle1003
cycle1005
cycle1008
cycle1009
cycle1011
cycle1012
cycle1013
cycle1014
cycle1015
cycle1020
cycle1028
cycle1030
cycle1032
cycle1035
cycle1041
cycle1043
cycle1044
cycle1045
cycle1046
cycle1047
cycle1048
cycle1049
cycle1050
cycle1051
cycle1052
cycle1054
cycle1055
cycle1056
cycle1057
cycle1058
cycle1059
cycle1060
cycle1076
cycle1077
cycle1078
cycle1079
cycle1080
cycle1081
cycle1082
cycle1083
cycle1084
cycle1085
cycle1086
cycle1090
cycle1091
cycle1092
cycle1099
cycle1100
cycle1105
cycle1106
cycle1107
cycle1108
cycle1109
cycle1110
cycle1111
cycle1112
cycle1113
cycle1114
cycle1115
cycle1118
cycle1119
cycle1120
cycle1121
cycle1122
cycle1123
cycle1124
cycle1125
cycle1126
cycle1127
cycle1129
cycle1131
cycle1132
cycle1134
cycle1154
cycle1155
cycle1156
cycle1165
cycle1177
cycle1178
BLOCK 2
cycle17
cycle18
cycle19
cycle20
cycle638
cycle639
cycle646
cycle647
cycle1116
cycle1117
BLOCK 3
cycle1185
BLOCK 4
cycle1186
BLOCK 5
cycle83
cycle362
cycle363
cycle364
cycle365
cycle366
cycle368
cycle415
cycle416
cycle417
cycle418
cycle419
cycle438
cycle441
cycle443
cycle445
cycle446
cycle447
cycle448
cycle451
cycle454
cycle455
cycle460
cycle463
cycle466
cycle467
cycle577
cycle579
cycle581
cycle583
cycle584
cycle585
cycle588
cycle590
cycle592
cycle593
cycle601
cycle602
cycle665
cycle677
cycle685
cycle686
cycle689
cycle692
cycle694
cycle696
cycle697
cycle700
cycle702
cycle704
cycle758
cycle761
cycle764
cycle767
cycle769
cycle772
cycle854
cycle858
cycle984
cycle985
cycle986
cycle987
cycle1093
cycle1097
cycle1102
cycle1152
cycle1172
cycle1173
cycle1174
BLOCK 6
cycle175
cycle176
cycle177
cycle178
cycle324
cycle325
cycle1087
cycle1088
cycle1089
BLOCK 7
cycle342
cycle343
cycle344
cycle349
cycle393
cycle395
cycle803
cycle806
cycle807
cycle812
BLOCK 8
cycle350
cycle351
cycle352
cycle353
cycle354
cycle355
cycle356
cycle357
cycle358
cycle359
cycle360
cycle361
cycle401
cycle402
cycle403
cycle404
cycle407
cycle408
cycle409
cycle410
cycle411
cycle412
cycle413
cycle414
cycle636
cycle637
cycle644
cycle645
cycle948
cycle949
cycle950
cycle951
cycle952
cycle953
cycle954
cycle955
cycle956
cycle957
cycle958
cycle959
cycle960
cycle961
cycle962
cycle963
cycle1095
cycle1096
cycle1133
cycle1149
cycle1150
cycle1151
BLOCK 9
cycle369
cycle370
BLOCK 10
cycle371
cycle372
BLOCK 11
cycle373
cycle375
cycle376
cycle377
cycle420
cycle421
cycle422
cycle423
cycle468
cycle469
cycle470
cycle471
cycle474
cycle478
cycle480
cycle481
cycle483
cycle605
cycle606
cycle612
cycle614
cycle616
cycle709
cycle1094
cycle1098
cycle1103
cycle1153
BLOCK 12
cycle388
BLOCK 13
cycle603
BLOCK 14
cycle604
BLOCK 15
cycle725
cycle728
cycle736
BLOCK 16
cycle748
cycle749
cycle750
cycle751
cycle753
cycle754
cycle976
cycle977
cycle1141
BLOCK 17
cycle788
cycle791
cycle794
cycle797
BLOCK 18
cycle835
BLOCK 19
cycle919
cycle920
cycle934
BLOCK 20
cycle1101
BLOCK 21
cycle1104
BLOCK 22
cycle1128
BLOCK 23
cycle1130
BLOCK 24
cycle1135
BLOCK 25
cycle1136
BLOCK 26
cycle1137
BLOCK 27
cycle1138
BLOCK 28
cycle1139
BLOCK 29
cycle1140
BLOCK 30
cycle1142
BLOCK 31
cycle1143
BLOCK 32
cycle1144
BLOCK 33
cycle1145
BLOCK 34
cycle1146
BLOCK 35
cycle1147
BLOCK 36
cycle1148
BLOCK 37
cycle1157
BLOCK 38
cycle1158
BLOCK 39
cycle1159
BLOCK 40
cycle1160
BLOCK 41
cycle1161
BLOCK 42
cycle1162
BLOCK 43
cycle1163
BLOCK 44
cycle1164
BLOCK 45
cycle1166
BLOCK 46
cycle1167
BLOCK 47
cycle1168
BLOCK 48
cycle1169
BLOCK 49
cycle1170
BLOCK 50
cycle1171
BLOCK 51
cycle1175
BLOCK 52
cycle1176
MASTERCONSS
cycle30
cycle31
cycle32
cycle33
cycle36
cycle37
cycle38
cycle39
cycle40
cycle41
cycle42
cycle43
cycle44
cycle45
cycle46
cycle47
cycle48
cycle49
cycle50
cycle51
cycle52
cycle53
cycle54
cycle55
cycle56
cycle57
cycle58
cycle59
cycle60
cycle61
cycle62
cycle63
cycle64
cycle65
cycle66
cycle67
cycle69
cycle70
cycle74
cycle75
cycle79
cycle80
cycle82
cycle84
cycle85
cycle86
cycle87
cycle88
cycle89
cycle90
cycle91
cycle92
cycle93
cycle94
cycle95
cycle96
cycle97
cycle98
cycle99
cycle100
cycle101
cycle102
cycle103
cycle104
cycle105
cycle107
cycle108
cycle109
cycle110
cycle111
cycle112
cycle113
cycle114
cycle115
cycle116
cycle117
cycle118
cycle119
cycle120
cycle121
cycle122
cycle123
cycle124
cycle125
cycle126
cycle127
cycle128
cycle129
cycle130
cycle131
cycle132
cycle133
cycle134
cycle154
cycle167
cycle169
cycle185
cycle199
cycle200
cycle203
cycle204
cycle207
cycle208
cycle211
cycle212
cycle215
cycle216
cycle220
cycle221
cycle222
cycle223
cycle225
cycle226
cycle227
cycle228
cycle229
cycle230
cycle232
cycle233
cycle234
cycle235
cycle236
cycle237
cycle238
cycle239
cycle240
cycle241
cycle243
cycle244
cycle245
cycle246
cycle247
cycle248
cycle249
cycle250
cycle254
cycle256
cycle257
cycle258
cycle259
cycle260
cycle261
cycle262
cycle263
cycle264
cycle266
cycle267
cycle268
cycle269
cycle270
cycle271
cycle272
cycle273
cycle274
cycle275
cycle277
cycle278
cycle279
cycle280
cycle281
cycle282
cycle283
cycle284
cycle286
cycle287
cycle293
cycle294
cycle295
cycle296
cycle299
cycle300
cycle304
cycle305
cycle309
cycle311
cycle315
cycle317
cycle319
cycle321
cycle340
cycle341
cycle345
cycle346
cycle347
cycle348
cycle367
cycle374
cycle380
cycle381
cycle389
cycle390
cycle391
cycle392
cycle394
cycle396
cycle397
cycle398
cycle399
cycle400
cycle424
cycle425
cycle434
cycle435
cycle436
cycle437
cycle439
cycle440
cycle442
cycle444
cycle449
cycle450
cycle452
cycle453
cycle456
cycle457
cycle458
cycle459
cycle461
cycle462
cycle464
cycle465
cycle472
cycle473
cycle475
cycle476
cycle477
cycle479
cycle482
cycle484
cycle485
cycle486
cycle487
cycle488
cycle489
cycle490
cycle491
cycle492
cycle493
cycle494
cycle495
cycle496
cycle505
cycle507
cycle509
cycle510
cycle511
cycle513
cycle520
cycle521
cycle534
cycle535
cycle547
cycle551
cycle552
cycle553
cycle556
cycle557
cycle576
cycle578
cycle580
cycle582
cycle586
cycle587
cycle589
cycle591
cycle594
cycle595
cycle596
cycle597
cycle598
cycle599
cycle600
cycle607
cycle608
cycle609
cycle610
cycle611
cycle613
cycle615
cycle617
cycle618
cycle619
cycle620
cycle621
cycle622
cycle624
cycle626
cycle627
cycle628
cycle629
cycle630
cycle631
cycle666
cycle667
cycle668
cycle669
cycle670
cycle671
cycle672
cycle673
cycle674
cycle675
cycle676
cycle678
cycle679
cycle680
cycle681
cycle682
cycle683
cycle684
cycle687
cycle688
cycle690
cycle691
cycle693
cycle695
cycle698
cycle699
cycle701
cycle703
cycle705
cycle706
cycle707
cycle708
cycle710
cycle711
cycle712
cycle713
cycle714
cycle715
cycle716
cycle718
cycle719
cycle720
cycle721
cycle722
cycle723
cycle724
cycle726
cycle727
cycle729
cycle730
cycle731
cycle732
cycle733
cycle734
cycle735
cycle737
cycle738
cycle739
cycle740
cycle741
cycle742
cycle743
cycle744
cycle745
cycle746
cycle747
cycle752
cycle755
cycle756
cycle757
cycle759
cycle760
cycle762
cycle763
cycle765
cycle766
cycle768
cycle770
cycle771
cycle773
cycle774
cycle775
cycle776
cycle777
cycle778
cycle779
cycle780
cycle781
cycle782
cycle783
cycle784
cycle785
cycle786
cycle787
cycle789
cycle790
cycle792
cycle793
cycle795
cycle796
cycle798
cycle799
cycle800
cycle801
cycle802
cycle804
cycle805
cycle808
cycle809
cycle810
cycle811
cycle814
cycle815
cycle816
cycle818
cycle820
cycle822
cycle823
cycle824
cycle825
cycle826
cycle827
cycle828
cycle831
cycle832
cycle833
cycle836
cycle837
cycle838
cycle839
cycle840
cycle841
cycle842
cycle843
cycle844
cycle845
cycle846
cycle847
cycle848
cycle849
cycle850
cycle851
cycle852
cycle853
cycle855
cycle856
cycle857
cycle859
cycle860
cycle861
cycle862
cycle863
cycle864
cycle865
cycle866
cycle867
cycle868
cycle869
cycle870
cycle871
cycle872
cycle873
cycle874
cycle875
cycle876
cycle877
cycle878
cycle879
cycle880
cycle881
cycle882
cycle883
cycle884
cycle885
cycle886
cycle887
cycle888
cycle889
cycle890
cycle891
cycle892
cycle893
cycle895
cycle896
cycle898
cycle899
cycle900
cycle901
cycle904
cycle905
cycle906
cycle907
cycle909
cycle910
cycle912
cycle913
cycle914
cycle915
cycle917
cycle918
cycle921
cycle922
cycle923
cycle924
cycle925
cycle926
cycle927
cycle928
cycle930
cycle931
cycle932
cycle935
cycle936
cycle937
cycle938
cycle939
cycle940
cycle941
cycle942
cycle944
cycle945
cycle946
cycle978
cycle979
cycle980
cycle981
cycle982
cycle983
cycle988
cycle989
cycle990
cycle991
cycle992
cycle993
cycle994
cycle995
cycle996
cycle997
cycle998
cycle999
cycle1004
cycle1006
cycle1007
cycle1010
cycle1016
cycle1017
cycle1018
cycle1019
cycle1021
cycle1022
cycle1023
cycle1024
cycle1025
cycle1026
cycle1027
cycle1029
cycle1031
cycle1033
cycle1034
cycle1036
cycle1037
cycle1038
cycle1039
cycle1040
cycle1042
cycle1053
cycle1061
cycle1062
cycle1063
cycle1064
cycle1065
cycle1066
cycle1067
cycle1068
cycle1069
cycle1070
cycle1071
cycle1072
cycle1073
cycle1074
cycle1075