argc=5
-M 512
file2=30_select_Case6.152_starter_15_
checking files mod 512 from 0 to 511
case_no=164 label=Case6.152 nb_sol=0 ticks=1008830 tps=100 nb_sec=10088
case_no=164 label=Case6.152 nb_sol=0 ticks=525591 tps=100 nb_sec=5255
case_no=164 label=Case6.152 nb_sol=0 ticks=1114289 tps=100 nb_sec=11142
case_no=164 label=Case6.152 nb_sol=0 ticks=1177518 tps=100 nb_sec=11775
case_no=164 label=Case6.152 nb_sol=0 ticks=492557 tps=100 nb_sec=4925
case_no=164 label=Case6.152 nb_sol=0 ticks=906539 tps=100 nb_sec=9065
case_no=164 label=Case6.152 nb_sol=0 ticks=901688 tps=100 nb_sec=9016
case_no=164 label=Case6.152 nb_sol=0 ticks=896513 tps=100 nb_sec=8965
case_no=164 label=Case6.152 nb_sol=0 ticks=958294 tps=100 nb_sec=9582
case_no=164 label=Case6.152 nb_sol=0 ticks=887531 tps=100 nb_sec=8875
case_no=164 label=Case6.152 nb_sol=0 ticks=926372 tps=100 nb_sec=9263
case_no=164 label=Case6.152 nb_sol=0 ticks=1021115 tps=100 nb_sec=10211
case_no=164 label=Case6.152 nb_sol=0 ticks=450849 tps=100 nb_sec=4508
case_no=164 label=Case6.152 nb_sol=0 ticks=903970 tps=100 nb_sec=9039
case_no=164 label=Case6.152 nb_sol=0 ticks=885304 tps=100 nb_sec=8853
case_no=164 label=Case6.152 nb_sol=0 ticks=511062 tps=100 nb_sec=5110
case_no=164 label=Case6.152 nb_sol=0 ticks=809296 tps=100 nb_sec=8092
case_no=164 label=Case6.152 nb_sol=0 ticks=983599 tps=100 nb_sec=9835
case_no=164 label=Case6.152 nb_sol=0 ticks=703684 tps=100 nb_sec=7036
case_no=164 label=Case6.152 nb_sol=0 ticks=549584 tps=100 nb_sec=5495
case_no=164 label=Case6.152 nb_sol=0 ticks=997725 tps=100 nb_sec=9977
case_no=164 label=Case6.152 nb_sol=0 ticks=1094487 tps=100 nb_sec=10944
case_no=164 label=Case6.152 nb_sol=0 ticks=984455 tps=100 nb_sec=9844
case_no=164 label=Case6.152 nb_sol=0 ticks=567047 tps=100 nb_sec=5670
case_no=164 label=Case6.152 nb_sol=0 ticks=1100659 tps=100 nb_sec=11006
case_no=164 label=Case6.152 nb_sol=0 ticks=1109622 tps=100 nb_sec=11096
case_no=164 label=Case6.152 nb_sol=0 ticks=1093643 tps=100 nb_sec=10936
case_no=164 label=Case6.152 nb_sol=0 ticks=1149920 tps=100 nb_sec=11499
case_no=164 label=Case6.152 nb_sol=0 ticks=548868 tps=100 nb_sec=5488
case_no=164 label=Case6.152 nb_sol=0 ticks=897977 tps=100 nb_sec=8979
case_no=164 label=Case6.152 nb_sol=0 ticks=492457 tps=100 nb_sec=4924
case_no=164 label=Case6.152 nb_sol=0 ticks=816076 tps=100 nb_sec=8160
case_no=164 label=Case6.152 nb_sol=0 ticks=915241 tps=100 nb_sec=9152
case_no=164 label=Case6.152 nb_sol=0 ticks=881426 tps=100 nb_sec=8814
case_no=164 label=Case6.152 nb_sol=0 ticks=954027 tps=100 nb_sec=9540
case_no=164 label=Case6.152 nb_sol=0 ticks=937218 tps=100 nb_sec=9372
case_no=164 label=Case6.152 nb_sol=0 ticks=1142316 tps=100 nb_sec=11423
case_no=164 label=Case6.152 nb_sol=0 ticks=782028 tps=100 nb_sec=7820
case_no=164 label=Case6.152 nb_sol=0 ticks=1079503 tps=100 nb_sec=10795
case_no=164 label=Case6.152 nb_sol=0 ticks=1003116 tps=100 nb_sec=10031
case_no=164 label=Case6.152 nb_sol=0 ticks=932350 tps=100 nb_sec=9323
case_no=164 label=Case6.152 nb_sol=0 ticks=965862 tps=100 nb_sec=9658
case_no=164 label=Case6.152 nb_sol=0 ticks=1020151 tps=100 nb_sec=10201
case_no=164 label=Case6.152 nb_sol=0 ticks=1005766 tps=100 nb_sec=10057
case_no=164 label=Case6.152 nb_sol=0 ticks=921675 tps=100 nb_sec=9216
case_no=164 label=Case6.152 nb_sol=0 ticks=1056326 tps=100 nb_sec=10563
case_no=164 label=Case6.152 nb_sol=0 ticks=824393 tps=100 nb_sec=8243
case_no=164 label=Case6.152 nb_sol=0 ticks=873522 tps=100 nb_sec=8735
case_no=164 label=Case6.152 nb_sol=0 ticks=991926 tps=100 nb_sec=9919
case_no=164 label=Case6.152 nb_sol=0 ticks=1139629 tps=100 nb_sec=11396
case_no=164 label=Case6.152 nb_sol=0 ticks=1050445 tps=100 nb_sec=10504
case_no=164 label=Case6.152 nb_sol=0 ticks=968297 tps=100 nb_sec=9682
case_no=164 label=Case6.152 nb_sol=0 ticks=958813 tps=100 nb_sec=9588
case_no=164 label=Case6.152 nb_sol=0 ticks=923600 tps=100 nb_sec=9236
case_no=164 label=Case6.152 nb_sol=0 ticks=1100781 tps=100 nb_sec=11007
case_no=164 label=Case6.152 nb_sol=0 ticks=961406 tps=100 nb_sec=9614
case_no=164 label=Case6.152 nb_sol=0 ticks=911230 tps=100 nb_sec=9112
case_no=164 label=Case6.152 nb_sol=0 ticks=980089 tps=100 nb_sec=9800
case_no=164 label=Case6.152 nb_sol=0 ticks=1065906 tps=100 nb_sec=10659
case_no=164 label=Case6.152 nb_sol=0 ticks=1054216 tps=100 nb_sec=10542
case_no=164 label=Case6.152 nb_sol=0 ticks=931409 tps=100 nb_sec=9314
case_no=164 label=Case6.152 nb_sol=0 ticks=952310 tps=100 nb_sec=9523
case_no=164 label=Case6.152 nb_sol=0 ticks=840954 tps=100 nb_sec=8409
case_no=164 label=Case6.152 nb_sol=0 ticks=886369 tps=100 nb_sec=8863
case_no=164 label=Case6.152 nb_sol=0 ticks=878219 tps=100 nb_sec=8782
case_no=164 label=Case6.152 nb_sol=0 ticks=941533 tps=100 nb_sec=9415
case_no=164 label=Case6.152 nb_sol=0 ticks=918457 tps=100 nb_sec=9184
case_no=164 label=Case6.152 nb_sol=0 ticks=828549 tps=100 nb_sec=8285
case_no=164 label=Case6.152 nb_sol=0 ticks=1115991 tps=100 nb_sec=11159
case_no=164 label=Case6.152 nb_sol=0 ticks=1062416 tps=100 nb_sec=10624
case_no=164 label=Case6.152 nb_sol=0 ticks=975648 tps=100 nb_sec=9756
case_no=164 label=Case6.152 nb_sol=0 ticks=1284537 tps=100 nb_sec=12845
case_no=164 label=Case6.152 nb_sol=0 ticks=933416 tps=100 nb_sec=9334
case_no=164 label=Case6.152 nb_sol=0 ticks=1117747 tps=100 nb_sec=11177
case_no=164 label=Case6.152 nb_sol=0 ticks=1135536 tps=100 nb_sec=11355
case_no=164 label=Case6.152 nb_sol=0 ticks=1083281 tps=100 nb_sec=10832
case_no=164 label=Case6.152 nb_sol=0 ticks=1037146 tps=100 nb_sec=10371
case_no=164 label=Case6.152 nb_sol=0 ticks=1047641 tps=100 nb_sec=10476
case_no=164 label=Case6.152 nb_sol=0 ticks=684087 tps=100 nb_sec=6840
case_no=164 label=Case6.152 nb_sol=0 ticks=946055 tps=100 nb_sec=9460
case_no=164 label=Case6.152 nb_sol=0 ticks=903215 tps=100 nb_sec=9032
case_no=164 label=Case6.152 nb_sol=0 ticks=850783 tps=100 nb_sec=8507
case_no=164 label=Case6.152 nb_sol=0 ticks=1024677 tps=100 nb_sec=10246
case_no=164 label=Case6.152 nb_sol=0 ticks=978171 tps=100 nb_sec=9781
case_no=164 label=Case6.152 nb_sol=0 ticks=868581 tps=100 nb_sec=8685
case_no=164 label=Case6.152 nb_sol=0 ticks=840031 tps=100 nb_sec=8400
case_no=164 label=Case6.152 nb_sol=0 ticks=818662 tps=100 nb_sec=8186
case_no=164 label=Case6.152 nb_sol=0 ticks=893908 tps=100 nb_sec=8939
case_no=164 label=Case6.152 nb_sol=0 ticks=943692 tps=100 nb_sec=9436
case_no=164 label=Case6.152 nb_sol=0 ticks=1006390 tps=100 nb_sec=10063
case_no=164 label=Case6.152 nb_sol=0 ticks=923298 tps=100 nb_sec=9232
case_no=164 label=Case6.152 nb_sol=0 ticks=810640 tps=100 nb_sec=8106
case_no=164 label=Case6.152 nb_sol=0 ticks=915294 tps=100 nb_sec=9152
case_no=164 label=Case6.152 nb_sol=0 ticks=818384 tps=100 nb_sec=8183
case_no=164 label=Case6.152 nb_sol=0 ticks=930629 tps=100 nb_sec=9306
case_no=164 label=Case6.152 nb_sol=0 ticks=934903 tps=100 nb_sec=9349
case_no=164 label=Case6.152 nb_sol=0 ticks=1093965 tps=100 nb_sec=10939
case_no=164 label=Case6.152 nb_sol=0 ticks=1039785 tps=100 nb_sec=10397
case_no=164 label=Case6.152 nb_sol=0 ticks=1102631 tps=100 nb_sec=11026
case_no=164 label=Case6.152 nb_sol=0 ticks=1607277 tps=100 nb_sec=16072
case_no=164 label=Case6.152 nb_sol=0 ticks=905043 tps=100 nb_sec=9050
case_no=164 label=Case6.152 nb_sol=0 ticks=952423 tps=100 nb_sec=9524
case_no=164 label=Case6.152 nb_sol=0 ticks=890233 tps=100 nb_sec=8902
case_no=164 label=Case6.152 nb_sol=0 ticks=881114 tps=100 nb_sec=8811
case_no=164 label=Case6.152 nb_sol=0 ticks=1029371 tps=100 nb_sec=10293
case_no=164 label=Case6.152 nb_sol=0 ticks=923189 tps=100 nb_sec=9231
case_no=164 label=Case6.152 nb_sol=0 ticks=794353 tps=100 nb_sec=7943
case_no=164 label=Case6.152 nb_sol=0 ticks=837894 tps=100 nb_sec=8378
case_no=164 label=Case6.152 nb_sol=0 ticks=919602 tps=100 nb_sec=9196
case_no=164 label=Case6.152 nb_sol=0 ticks=887080 tps=100 nb_sec=8870
case_no=164 label=Case6.152 nb_sol=0 ticks=987011 tps=100 nb_sec=9870
case_no=164 label=Case6.152 nb_sol=0 ticks=824418 tps=100 nb_sec=8244
case_no=164 label=Case6.152 nb_sol=0 ticks=845691 tps=100 nb_sec=8456
case_no=164 label=Case6.152 nb_sol=0 ticks=883307 tps=100 nb_sec=8833
case_no=164 label=Case6.152 nb_sol=0 ticks=976617 tps=100 nb_sec=9766
case_no=164 label=Case6.152 nb_sol=0 ticks=961063 tps=100 nb_sec=9610
case_no=164 label=Case6.152 nb_sol=0 ticks=1087727 tps=100 nb_sec=10877
case_no=164 label=Case6.152 nb_sol=0 ticks=940381 tps=100 nb_sec=9403
case_no=164 label=Case6.152 nb_sol=0 ticks=1009569 tps=100 nb_sec=10095
case_no=164 label=Case6.152 nb_sol=0 ticks=1115785 tps=100 nb_sec=11157
case_no=164 label=Case6.152 nb_sol=0 ticks=1046267 tps=100 nb_sec=10462
case_no=164 label=Case6.152 nb_sol=0 ticks=936786 tps=100 nb_sec=9367
case_no=164 label=Case6.152 nb_sol=0 ticks=1020746 tps=100 nb_sec=10207
case_no=164 label=Case6.152 nb_sol=0 ticks=945883 tps=100 nb_sec=9458
case_no=164 label=Case6.152 nb_sol=0 ticks=1057858 tps=100 nb_sec=10578
case_no=164 label=Case6.152 nb_sol=0 ticks=1147672 tps=100 nb_sec=11476
case_no=164 label=Case6.152 nb_sol=0 ticks=881437 tps=100 nb_sec=8814
case_no=164 label=Case6.152 nb_sol=0 ticks=1148010 tps=100 nb_sec=11480
case_no=164 label=Case6.152 nb_sol=0 ticks=930337 tps=100 nb_sec=9303
case_no=164 label=Case6.152 nb_sol=0 ticks=1088861 tps=100 nb_sec=10888
case_no=164 label=Case6.152 nb_sol=0 ticks=1203296 tps=100 nb_sec=12032
case_no=164 label=Case6.152 nb_sol=0 ticks=948356 tps=100 nb_sec=9483
case_no=164 label=Case6.152 nb_sol=0 ticks=1041023 tps=100 nb_sec=10410
case_no=164 label=Case6.152 nb_sol=0 ticks=947040 tps=100 nb_sec=9470
case_no=164 label=Case6.152 nb_sol=0 ticks=891800 tps=100 nb_sec=8918
case_no=164 label=Case6.152 nb_sol=0 ticks=968259 tps=100 nb_sec=9682
case_no=164 label=Case6.152 nb_sol=0 ticks=897706 tps=100 nb_sec=8977
case_no=164 label=Case6.152 nb_sol=0 ticks=1151281 tps=100 nb_sec=11512
case_no=164 label=Case6.152 nb_sol=0 ticks=1060789 tps=100 nb_sec=10607
case_no=164 label=Case6.152 nb_sol=0 ticks=611424 tps=100 nb_sec=6114
case_no=164 label=Case6.152 nb_sol=0 ticks=1102245 tps=100 nb_sec=11022
case_no=164 label=Case6.152 nb_sol=0 ticks=1161477 tps=100 nb_sec=11614
case_no=164 label=Case6.152 nb_sol=0 ticks=1199674 tps=100 nb_sec=11996
case_no=164 label=Case6.152 nb_sol=0 ticks=1056203 tps=100 nb_sec=10562
case_no=164 label=Case6.152 nb_sol=0 ticks=1261466 tps=100 nb_sec=12614
case_no=164 label=Case6.152 nb_sol=0 ticks=1058173 tps=100 nb_sec=10581
case_no=164 label=Case6.152 nb_sol=0 ticks=1112417 tps=100 nb_sec=11124
case_no=164 label=Case6.152 nb_sol=0 ticks=1007608 tps=100 nb_sec=10076
case_no=164 label=Case6.152 nb_sol=0 ticks=857299 tps=100 nb_sec=8572
case_no=164 label=Case6.152 nb_sol=0 ticks=1140097 tps=100 nb_sec=11400
case_no=164 label=Case6.152 nb_sol=0 ticks=881677 tps=100 nb_sec=8816
case_no=164 label=Case6.152 nb_sol=0 ticks=1115056 tps=100 nb_sec=11150
case_no=164 label=Case6.152 nb_sol=0 ticks=962927 tps=100 nb_sec=9629
case_no=164 label=Case6.152 nb_sol=0 ticks=972841 tps=100 nb_sec=9728
case_no=164 label=Case6.152 nb_sol=0 ticks=1035446 tps=100 nb_sec=10354
case_no=164 label=Case6.152 nb_sol=0 ticks=1052884 tps=100 nb_sec=10528
case_no=164 label=Case6.152 nb_sol=0 ticks=1235939 tps=100 nb_sec=12359
case_no=164 label=Case6.152 nb_sol=0 ticks=1247855 tps=100 nb_sec=12478
case_no=164 label=Case6.152 nb_sol=0 ticks=904589 tps=100 nb_sec=9045
case_no=164 label=Case6.152 nb_sol=0 ticks=992011 tps=100 nb_sec=9920
case_no=164 label=Case6.152 nb_sol=0 ticks=987228 tps=100 nb_sec=9872
case_no=164 label=Case6.152 nb_sol=0 ticks=1073336 tps=100 nb_sec=10733
case_no=164 label=Case6.152 nb_sol=0 ticks=502223 tps=100 nb_sec=5022
case_no=164 label=Case6.152 nb_sol=0 ticks=879927 tps=100 nb_sec=8799
case_no=164 label=Case6.152 nb_sol=0 ticks=819290 tps=100 nb_sec=8192
case_no=164 label=Case6.152 nb_sol=0 ticks=1144468 tps=100 nb_sec=11444
case_no=164 label=Case6.152 nb_sol=0 ticks=944590 tps=100 nb_sec=9445
case_no=164 label=Case6.152 nb_sol=0 ticks=857319 tps=100 nb_sec=8573
case_no=164 label=Case6.152 nb_sol=0 ticks=1064468 tps=100 nb_sec=10644
case_no=164 label=Case6.152 nb_sol=0 ticks=936865 tps=100 nb_sec=9368
case_no=164 label=Case6.152 nb_sol=0 ticks=908102 tps=100 nb_sec=9081
case_no=164 label=Case6.152 nb_sol=0 ticks=877696 tps=100 nb_sec=8776
case_no=164 label=Case6.152 nb_sol=0 ticks=870154 tps=100 nb_sec=8701
case_no=164 label=Case6.152 nb_sol=0 ticks=1013433 tps=100 nb_sec=10134
case_no=164 label=Case6.152 nb_sol=0 ticks=860567 tps=100 nb_sec=8605
case_no=164 label=Case6.152 nb_sol=0 ticks=682831 tps=100 nb_sec=6828
case_no=164 label=Case6.152 nb_sol=0 ticks=800836 tps=100 nb_sec=8008
case_no=164 label=Case6.152 nb_sol=0 ticks=792670 tps=100 nb_sec=7926
case_no=164 label=Case6.152 nb_sol=0 ticks=991214 tps=100 nb_sec=9912
case_no=164 label=Case6.152 nb_sol=0 ticks=1006814 tps=100 nb_sec=10068
case_no=164 label=Case6.152 nb_sol=0 ticks=936023 tps=100 nb_sec=9360
case_no=164 label=Case6.152 nb_sol=0 ticks=970523 tps=100 nb_sec=9705
case_no=164 label=Case6.152 nb_sol=0 ticks=993725 tps=100 nb_sec=9937
case_no=164 label=Case6.152 nb_sol=0 ticks=898984 tps=100 nb_sec=8989
case_no=164 label=Case6.152 nb_sol=0 ticks=962100 tps=100 nb_sec=9621
case_no=164 label=Case6.152 nb_sol=0 ticks=875590 tps=100 nb_sec=8755
case_no=164 label=Case6.152 nb_sol=0 ticks=1053477 tps=100 nb_sec=10534
case_no=164 label=Case6.152 nb_sol=0 ticks=817948 tps=100 nb_sec=8179
case_no=164 label=Case6.152 nb_sol=0 ticks=1043500 tps=100 nb_sec=10435
case_no=164 label=Case6.152 nb_sol=0 ticks=850715 tps=100 nb_sec=8507
case_no=164 label=Case6.152 nb_sol=0 ticks=916483 tps=100 nb_sec=9164
case_no=164 label=Case6.152 nb_sol=0 ticks=695551 tps=100 nb_sec=6955
case_no=164 label=Case6.152 nb_sol=0 ticks=662719 tps=100 nb_sec=6627
case_no=164 label=Case6.152 nb_sol=0 ticks=1148888 tps=100 nb_sec=11488
case_no=164 label=Case6.152 nb_sol=0 ticks=1215365 tps=100 nb_sec=12153
case_no=164 label=Case6.152 nb_sol=0 ticks=836535 tps=100 nb_sec=8365
case_no=164 label=Case6.152 nb_sol=0 ticks=725870 tps=100 nb_sec=7258
case_no=164 label=Case6.152 nb_sol=0 ticks=894962 tps=100 nb_sec=8949
case_no=164 label=Case6.152 nb_sol=0 ticks=852616 tps=100 nb_sec=8526
case_no=164 label=Case6.152 nb_sol=0 ticks=623964 tps=100 nb_sec=6239
case_no=164 label=Case6.152 nb_sol=0 ticks=708669 tps=100 nb_sec=7086
case_no=164 label=Case6.152 nb_sol=0 ticks=783581 tps=100 nb_sec=7835
case_no=164 label=Case6.152 nb_sol=0 ticks=956756 tps=100 nb_sec=9567
case_no=164 label=Case6.152 nb_sol=0 ticks=829750 tps=100 nb_sec=8297
case_no=164 label=Case6.152 nb_sol=0 ticks=773456 tps=100 nb_sec=7734
case_no=164 label=Case6.152 nb_sol=0 ticks=895662 tps=100 nb_sec=8956
case_no=164 label=Case6.152 nb_sol=0 ticks=831785 tps=100 nb_sec=8317
case_no=164 label=Case6.152 nb_sol=0 ticks=716732 tps=100 nb_sec=7167
case_no=164 label=Case6.152 nb_sol=0 ticks=905261 tps=100 nb_sec=9052
case_no=164 label=Case6.152 nb_sol=0 ticks=796425 tps=100 nb_sec=7964
case_no=164 label=Case6.152 nb_sol=0 ticks=884441 tps=100 nb_sec=8844
case_no=164 label=Case6.152 nb_sol=0 ticks=1140573 tps=100 nb_sec=11405
case_no=164 label=Case6.152 nb_sol=0 ticks=711028 tps=100 nb_sec=7110
case_no=164 label=Case6.152 nb_sol=0 ticks=1106087 tps=100 nb_sec=11060
case_no=164 label=Case6.152 nb_sol=0 ticks=734397 tps=100 nb_sec=7343
case_no=164 label=Case6.152 nb_sol=0 ticks=772135 tps=100 nb_sec=7721
case_no=164 label=Case6.152 nb_sol=0 ticks=745200 tps=100 nb_sec=7452
case_no=164 label=Case6.152 nb_sol=0 ticks=854061 tps=100 nb_sec=8540
case_no=164 label=Case6.152 nb_sol=0 ticks=688517 tps=100 nb_sec=6885
case_no=164 label=Case6.152 nb_sol=0 ticks=771925 tps=100 nb_sec=7719
case_no=164 label=Case6.152 nb_sol=0 ticks=676222 tps=100 nb_sec=6762
case_no=164 label=Case6.152 nb_sol=0 ticks=696418 tps=100 nb_sec=6964
case_no=164 label=Case6.152 nb_sol=0 ticks=722580 tps=100 nb_sec=7225
case_no=164 label=Case6.152 nb_sol=0 ticks=688460 tps=100 nb_sec=6884
case_no=164 label=Case6.152 nb_sol=0 ticks=668914 tps=100 nb_sec=6689
case_no=164 label=Case6.152 nb_sol=0 ticks=531356 tps=100 nb_sec=5313
case_no=164 label=Case6.152 nb_sol=0 ticks=943892 tps=100 nb_sec=9438
case_no=164 label=Case6.152 nb_sol=0 ticks=704296 tps=100 nb_sec=7042
case_no=164 label=Case6.152 nb_sol=0 ticks=767390 tps=100 nb_sec=7673
case_no=164 label=Case6.152 nb_sol=0 ticks=1095186 tps=100 nb_sec=10951
case_no=164 label=Case6.152 nb_sol=0 ticks=929069 tps=100 nb_sec=9290
case_no=164 label=Case6.152 nb_sol=0 ticks=983719 tps=100 nb_sec=9837
case_no=164 label=Case6.152 nb_sol=0 ticks=1324051 tps=100 nb_sec=13240
case_no=164 label=Case6.152 nb_sol=0 ticks=815189 tps=100 nb_sec=8151
case_no=164 label=Case6.152 nb_sol=0 ticks=775984 tps=100 nb_sec=7759
case_no=164 label=Case6.152 nb_sol=0 ticks=790420 tps=100 nb_sec=7904
case_no=164 label=Case6.152 nb_sol=0 ticks=1001211 tps=100 nb_sec=10012
case_no=164 label=Case6.152 nb_sol=0 ticks=525855 tps=100 nb_sec=5258
case_no=164 label=Case6.152 nb_sol=0 ticks=1060321 tps=100 nb_sec=10603
case_no=164 label=Case6.152 nb_sol=0 ticks=885304 tps=100 nb_sec=8853
case_no=164 label=Case6.152 nb_sol=0 ticks=428014 tps=100 nb_sec=4280
case_no=164 label=Case6.152 nb_sol=0 ticks=888726 tps=100 nb_sec=8887
case_no=164 label=Case6.152 nb_sol=0 ticks=894308 tps=100 nb_sec=8943
case_no=164 label=Case6.152 nb_sol=0 ticks=781565 tps=100 nb_sec=7815
case_no=164 label=Case6.152 nb_sol=0 ticks=646595 tps=100 nb_sec=6465
case_no=164 label=Case6.152 nb_sol=0 ticks=537707 tps=100 nb_sec=5377
case_no=164 label=Case6.152 nb_sol=0 ticks=1117947 tps=100 nb_sec=11179
case_no=164 label=Case6.152 nb_sol=0 ticks=554287 tps=100 nb_sec=5542
case_no=164 label=Case6.152 nb_sol=0 ticks=978406 tps=100 nb_sec=9784
case_no=164 label=Case6.152 nb_sol=0 ticks=840650 tps=100 nb_sec=8406
case_no=164 label=Case6.152 nb_sol=0 ticks=1738432 tps=100 nb_sec=17384
case_no=164 label=Case6.152 nb_sol=0 ticks=904401 tps=100 nb_sec=9044
case_no=164 label=Case6.152 nb_sol=0 ticks=561970 tps=100 nb_sec=5619
case_no=164 label=Case6.152 nb_sol=0 ticks=777754 tps=100 nb_sec=7777
case_no=164 label=Case6.152 nb_sol=0 ticks=478487 tps=100 nb_sec=4784
case_no=164 label=Case6.152 nb_sol=0 ticks=1064920 tps=100 nb_sec=10649
case_no=164 label=Case6.152 nb_sol=0 ticks=960271 tps=100 nb_sec=9602
case_no=164 label=Case6.152 nb_sol=0 ticks=1009642 tps=100 nb_sec=10096
case_no=164 label=Case6.152 nb_sol=0 ticks=1085385 tps=100 nb_sec=10853
case_no=164 label=Case6.152 nb_sol=0 ticks=935121 tps=100 nb_sec=9351
case_no=164 label=Case6.152 nb_sol=0 ticks=965491 tps=100 nb_sec=9654
case_no=164 label=Case6.152 nb_sol=0 ticks=906828 tps=100 nb_sec=9068
case_no=164 label=Case6.152 nb_sol=0 ticks=1000166 tps=100 nb_sec=10001
case_no=164 label=Case6.152 nb_sol=0 ticks=665348 tps=100 nb_sec=6653
case_no=164 label=Case6.152 nb_sol=0 ticks=1047899 tps=100 nb_sec=10478
case_no=164 label=Case6.152 nb_sol=0 ticks=954778 tps=100 nb_sec=9547
case_no=164 label=Case6.152 nb_sol=0 ticks=710144 tps=100 nb_sec=7101
case_no=164 label=Case6.152 nb_sol=0 ticks=842440 tps=100 nb_sec=8424
case_no=164 label=Case6.152 nb_sol=0 ticks=895678 tps=100 nb_sec=8956
case_no=164 label=Case6.152 nb_sol=0 ticks=751129 tps=100 nb_sec=7511
case_no=164 label=Case6.152 nb_sol=0 ticks=937055 tps=100 nb_sec=9370
case_no=164 label=Case6.152 nb_sol=0 ticks=905211 tps=100 nb_sec=9052
case_no=164 label=Case6.152 nb_sol=0 ticks=999409 tps=100 nb_sec=9994
case_no=164 label=Case6.152 nb_sol=0 ticks=944728 tps=100 nb_sec=9447
case_no=164 label=Case6.152 nb_sol=0 ticks=906441 tps=100 nb_sec=9064
case_no=164 label=Case6.152 nb_sol=0 ticks=1089215 tps=100 nb_sec=10892
case_no=164 label=Case6.152 nb_sol=0 ticks=1108178 tps=100 nb_sec=11081
case_no=164 label=Case6.152 nb_sol=0 ticks=1055189 tps=100 nb_sec=10551
case_no=164 label=Case6.152 nb_sol=0 ticks=609301 tps=100 nb_sec=6093
case_no=164 label=Case6.152 nb_sol=0 ticks=730222 tps=100 nb_sec=7302
case_no=164 label=Case6.152 nb_sol=0 ticks=1170335 tps=100 nb_sec=11703
case_no=164 label=Case6.152 nb_sol=0 ticks=1193070 tps=100 nb_sec=11930
case_no=164 label=Case6.152 nb_sol=0 ticks=1343839 tps=100 nb_sec=13438
case_no=164 label=Case6.152 nb_sol=0 ticks=1090912 tps=100 nb_sec=10909
case_no=164 label=Case6.152 nb_sol=0 ticks=691904 tps=100 nb_sec=6919
case_no=164 label=Case6.152 nb_sol=0 ticks=1067372 tps=100 nb_sec=10673
case_no=164 label=Case6.152 nb_sol=0 ticks=723584 tps=100 nb_sec=7235
case_no=164 label=Case6.152 nb_sol=0 ticks=1196982 tps=100 nb_sec=11969
case_no=164 label=Case6.152 nb_sol=0 ticks=941111 tps=100 nb_sec=9411
case_no=164 label=Case6.152 nb_sol=0 ticks=1132255 tps=100 nb_sec=11322
case_no=164 label=Case6.152 nb_sol=0 ticks=1200755 tps=100 nb_sec=12007
case_no=164 label=Case6.152 nb_sol=0 ticks=1149360 tps=100 nb_sec=11493
case_no=164 label=Case6.152 nb_sol=0 ticks=1096563 tps=100 nb_sec=10965
case_no=164 label=Case6.152 nb_sol=0 ticks=789373 tps=100 nb_sec=7893
case_no=164 label=Case6.152 nb_sol=0 ticks=1552305 tps=100 nb_sec=15523
case_no=164 label=Case6.152 nb_sol=0 ticks=1089603 tps=100 nb_sec=10896
case_no=164 label=Case6.152 nb_sol=0 ticks=901612 tps=100 nb_sec=9016
case_no=164 label=Case6.152 nb_sol=0 ticks=867083 tps=100 nb_sec=8670
case_no=164 label=Case6.152 nb_sol=0 ticks=948157 tps=100 nb_sec=9481
case_no=164 label=Case6.152 nb_sol=0 ticks=640766 tps=100 nb_sec=6407
case_no=164 label=Case6.152 nb_sol=0 ticks=1607015 tps=100 nb_sec=16070
case_no=164 label=Case6.152 nb_sol=0 ticks=1037988 tps=100 nb_sec=10379
case_no=164 label=Case6.152 nb_sol=0 ticks=998500 tps=100 nb_sec=9985
case_no=164 label=Case6.152 nb_sol=0 ticks=926891 tps=100 nb_sec=9268
case_no=164 label=Case6.152 nb_sol=0 ticks=1005917 tps=100 nb_sec=10059
case_no=164 label=Case6.152 nb_sol=0 ticks=992412 tps=100 nb_sec=9924
case_no=164 label=Case6.152 nb_sol=0 ticks=1001078 tps=100 nb_sec=10010
case_no=164 label=Case6.152 nb_sol=0 ticks=885200 tps=100 nb_sec=8852
case_no=164 label=Case6.152 nb_sol=0 ticks=808686 tps=100 nb_sec=8086
case_no=164 label=Case6.152 nb_sol=0 ticks=1006720 tps=100 nb_sec=10067
case_no=164 label=Case6.152 nb_sol=0 ticks=883502 tps=100 nb_sec=8835
case_no=164 label=Case6.152 nb_sol=0 ticks=891681 tps=100 nb_sec=8916
case_no=164 label=Case6.152 nb_sol=0 ticks=919387 tps=100 nb_sec=9193
case_no=164 label=Case6.152 nb_sol=0 ticks=1090888 tps=100 nb_sec=10908
case_no=164 label=Case6.152 nb_sol=0 ticks=954128 tps=100 nb_sec=9541
case_no=164 label=Case6.152 nb_sol=0 ticks=1008040 tps=100 nb_sec=10080
case_no=164 label=Case6.152 nb_sol=0 ticks=987928 tps=100 nb_sec=9879
case_no=164 label=Case6.152 nb_sol=0 ticks=983472 tps=100 nb_sec=9834
case_no=164 label=Case6.152 nb_sol=0 ticks=683748 tps=100 nb_sec=6837
case_no=164 label=Case6.152 nb_sol=0 ticks=848775 tps=100 nb_sec=8487
case_no=164 label=Case6.152 nb_sol=0 ticks=872732 tps=100 nb_sec=8727
case_no=164 label=Case6.152 nb_sol=0 ticks=886169 tps=100 nb_sec=8861
case_no=164 label=Case6.152 nb_sol=0 ticks=1135914 tps=100 nb_sec=11359
case_no=164 label=Case6.152 nb_sol=0 ticks=927605 tps=100 nb_sec=9276
case_no=164 label=Case6.152 nb_sol=0 ticks=811786 tps=100 nb_sec=8117
case_no=164 label=Case6.152 nb_sol=0 ticks=908111 tps=100 nb_sec=9081
case_no=164 label=Case6.152 nb_sol=0 ticks=1104046 tps=100 nb_sec=11040
case_no=164 label=Case6.152 nb_sol=0 ticks=889930 tps=100 nb_sec=8899
case_no=164 label=Case6.152 nb_sol=0 ticks=1033018 tps=100 nb_sec=10330
case_no=164 label=Case6.152 nb_sol=0 ticks=836370 tps=100 nb_sec=8363
case_no=164 label=Case6.152 nb_sol=0 ticks=1435445 tps=100 nb_sec=14354
case_no=164 label=Case6.152 nb_sol=0 ticks=827399 tps=100 nb_sec=8273
case_no=164 label=Case6.152 nb_sol=0 ticks=752996 tps=100 nb_sec=7529
case_no=164 label=Case6.152 nb_sol=0 ticks=684015 tps=100 nb_sec=6840
case_no=164 label=Case6.152 nb_sol=0 ticks=952716 tps=100 nb_sec=9527
case_no=164 label=Case6.152 nb_sol=0 ticks=1095200 tps=100 nb_sec=10952
case_no=164 label=Case6.152 nb_sol=0 ticks=502582 tps=100 nb_sec=5025
case_no=164 label=Case6.152 nb_sol=0 ticks=869121 tps=100 nb_sec=8691
case_no=164 label=Case6.152 nb_sol=0 ticks=619503 tps=100 nb_sec=6195
case_no=164 label=Case6.152 nb_sol=0 ticks=1441189 tps=100 nb_sec=14411
case_no=164 label=Case6.152 nb_sol=0 ticks=907641 tps=100 nb_sec=9076
case_no=164 label=Case6.152 nb_sol=0 ticks=803067 tps=100 nb_sec=8030
case_no=164 label=Case6.152 nb_sol=0 ticks=759951 tps=100 nb_sec=7599
case_no=164 label=Case6.152 nb_sol=0 ticks=1195218 tps=100 nb_sec=11952
case_no=164 label=Case6.152 nb_sol=0 ticks=849172 tps=100 nb_sec=8491
case_no=164 label=Case6.152 nb_sol=0 ticks=1044905 tps=100 nb_sec=10449
case_no=164 label=Case6.152 nb_sol=0 ticks=909144 tps=100 nb_sec=9091
case_no=164 label=Case6.152 nb_sol=0 ticks=938047 tps=100 nb_sec=9380
case_no=164 label=Case6.152 nb_sol=0 ticks=759650 tps=100 nb_sec=7596
case_no=164 label=Case6.152 nb_sol=0 ticks=587629 tps=100 nb_sec=5876
case_no=164 label=Case6.152 nb_sol=0 ticks=593980 tps=100 nb_sec=5939
case_no=164 label=Case6.152 nb_sol=0 ticks=546497 tps=100 nb_sec=5464
case_no=164 label=Case6.152 nb_sol=0 ticks=990939 tps=100 nb_sec=9909
case_no=164 label=Case6.152 nb_sol=0 ticks=532210 tps=100 nb_sec=5322
case_no=164 label=Case6.152 nb_sol=0 ticks=906447 tps=100 nb_sec=9064
case_no=164 label=Case6.152 nb_sol=0 ticks=617640 tps=100 nb_sec=6176
case_no=164 label=Case6.152 nb_sol=0 ticks=906470 tps=100 nb_sec=9064
case_no=164 label=Case6.152 nb_sol=0 ticks=1110523 tps=100 nb_sec=11105
case_no=164 label=Case6.152 nb_sol=0 ticks=905151 tps=100 nb_sec=9051
case_no=164 label=Case6.152 nb_sol=0 ticks=2088072 tps=100 nb_sec=20880
case_no=164 label=Case6.152 nb_sol=0 ticks=618557 tps=100 nb_sec=6185
case_no=164 label=Case6.152 nb_sol=0 ticks=650111 tps=100 nb_sec=6501
case_no=164 label=Case6.152 nb_sol=0 ticks=590875 tps=100 nb_sec=5908
case_no=164 label=Case6.152 nb_sol=0 ticks=518956 tps=100 nb_sec=5189
case_no=164 label=Case6.152 nb_sol=0 ticks=602404 tps=100 nb_sec=6024
case_no=164 label=Case6.152 nb_sol=0 ticks=949443 tps=100 nb_sec=9494
case_no=164 label=Case6.152 nb_sol=0 ticks=691945 tps=100 nb_sec=6919
case_no=164 label=Case6.152 nb_sol=0 ticks=1254114 tps=100 nb_sec=12541
case_no=164 label=Case6.152 nb_sol=0 ticks=703448 tps=100 nb_sec=7034
case_no=164 label=Case6.152 nb_sol=0 ticks=680239 tps=100 nb_sec=6802
case_no=164 label=Case6.152 nb_sol=0 ticks=1475142 tps=100 nb_sec=14751
case_no=164 label=Case6.152 nb_sol=0 ticks=563899 tps=100 nb_sec=5638
case_no=164 label=Case6.152 nb_sol=0 ticks=711140 tps=100 nb_sec=7111
case_no=164 label=Case6.152 nb_sol=0 ticks=985691 tps=100 nb_sec=9856
case_no=164 label=Case6.152 nb_sol=0 ticks=951820 tps=100 nb_sec=9518
case_no=164 label=Case6.152 nb_sol=0 ticks=858470 tps=100 nb_sec=8584
case_no=164 label=Case6.152 nb_sol=0 ticks=637223 tps=100 nb_sec=6372
case_no=164 label=Case6.152 nb_sol=0 ticks=1074380 tps=100 nb_sec=10743
case_no=164 label=Case6.152 nb_sol=0 ticks=619100 tps=100 nb_sec=6191
case_no=164 label=Case6.152 nb_sol=0 ticks=1459632 tps=100 nb_sec=14596
case_no=164 label=Case6.152 nb_sol=0 ticks=1098312 tps=100 nb_sec=10983
case_no=164 label=Case6.152 nb_sol=0 ticks=608636 tps=100 nb_sec=6086
case_no=164 label=Case6.152 nb_sol=0 ticks=1039617 tps=100 nb_sec=10396
case_no=164 label=Case6.152 nb_sol=0 ticks=649663 tps=100 nb_sec=6496
case_no=164 label=Case6.152 nb_sol=0 ticks=1048840 tps=100 nb_sec=10488
case_no=164 label=Case6.152 nb_sol=0 ticks=706403 tps=100 nb_sec=7064
case_no=164 label=Case6.152 nb_sol=0 ticks=1011447 tps=100 nb_sec=10114
case_no=164 label=Case6.152 nb_sol=0 ticks=860212 tps=100 nb_sec=8602
case_no=164 label=Case6.152 nb_sol=0 ticks=841481 tps=100 nb_sec=8414
case_no=164 label=Case6.152 nb_sol=0 ticks=1018690 tps=100 nb_sec=10186
case_no=164 label=Case6.152 nb_sol=0 ticks=904574 tps=100 nb_sec=9045
case_no=164 label=Case6.152 nb_sol=0 ticks=646935 tps=100 nb_sec=6469
case_no=164 label=Case6.152 nb_sol=0 ticks=1293562 tps=100 nb_sec=12935
case_no=164 label=Case6.152 nb_sol=0 ticks=932862 tps=100 nb_sec=9328
case_no=164 label=Case6.152 nb_sol=0 ticks=1134414 tps=100 nb_sec=11344
case_no=164 label=Case6.152 nb_sol=0 ticks=732624 tps=100 nb_sec=7326
case_no=164 label=Case6.152 nb_sol=0 ticks=1000387 tps=100 nb_sec=10003
case_no=164 label=Case6.152 nb_sol=0 ticks=1089200 tps=100 nb_sec=10892
case_no=164 label=Case6.152 nb_sol=0 ticks=444231 tps=100 nb_sec=4442
case_no=164 label=Case6.152 nb_sol=0 ticks=1109471 tps=100 nb_sec=11094
case_no=164 label=Case6.152 nb_sol=0 ticks=675157 tps=100 nb_sec=6751
case_no=164 label=Case6.152 nb_sol=0 ticks=680210 tps=100 nb_sec=6802
case_no=164 label=Case6.152 nb_sol=0 ticks=1210768 tps=100 nb_sec=12107
case_no=164 label=Case6.152 nb_sol=0 ticks=757524 tps=100 nb_sec=7575
case_no=164 label=Case6.152 nb_sol=0 ticks=619453 tps=100 nb_sec=6194
case_no=164 label=Case6.152 nb_sol=0 ticks=869314 tps=100 nb_sec=8693
case_no=164 label=Case6.152 nb_sol=0 ticks=650734 tps=100 nb_sec=6507
case_no=164 label=Case6.152 nb_sol=0 ticks=1024158 tps=100 nb_sec=10241
case_no=164 label=Case6.152 nb_sol=0 ticks=1069452 tps=100 nb_sec=10694
case_no=164 label=Case6.152 nb_sol=0 ticks=1065566 tps=100 nb_sec=10655
case_no=164 label=Case6.152 nb_sol=0 ticks=584712 tps=100 nb_sec=5847
case_no=164 label=Case6.152 nb_sol=0 ticks=1224308 tps=100 nb_sec=12243
case_no=164 label=Case6.152 nb_sol=0 ticks=1073439 tps=100 nb_sec=10734
case_no=164 label=Case6.152 nb_sol=0 ticks=1353447 tps=100 nb_sec=13534
case_no=164 label=Case6.152 nb_sol=0 ticks=1065974 tps=100 nb_sec=10659
case_no=164 label=Case6.152 nb_sol=0 ticks=1052728 tps=100 nb_sec=10527
case_no=164 label=Case6.152 nb_sol=0 ticks=986751 tps=100 nb_sec=9867
case_no=164 label=Case6.152 nb_sol=0 ticks=1006807 tps=100 nb_sec=10068
case_no=164 label=Case6.152 nb_sol=0 ticks=1072722 tps=100 nb_sec=10727
case_no=164 label=Case6.152 nb_sol=0 ticks=831089 tps=100 nb_sec=8310
case_no=164 label=Case6.152 nb_sol=0 ticks=1143437 tps=100 nb_sec=11434
case_no=164 label=Case6.152 nb_sol=0 ticks=1016164 tps=100 nb_sec=10161
case_no=164 label=Case6.152 nb_sol=0 ticks=740646 tps=100 nb_sec=7406
case_no=164 label=Case6.152 nb_sol=0 ticks=460429 tps=100 nb_sec=4604
case_no=164 label=Case6.152 nb_sol=0 ticks=780703 tps=100 nb_sec=7807
case_no=164 label=Case6.152 nb_sol=0 ticks=1000455 tps=100 nb_sec=10004
case_no=164 label=Case6.152 nb_sol=0 ticks=539523 tps=100 nb_sec=5395
case_no=164 label=Case6.152 nb_sol=0 ticks=469248 tps=100 nb_sec=4692
case_no=164 label=Case6.152 nb_sol=0 ticks=1032396 tps=100 nb_sec=10323
case_no=164 label=Case6.152 nb_sol=0 ticks=528004 tps=100 nb_sec=5280
case_no=164 label=Case6.152 nb_sol=0 ticks=1229735 tps=100 nb_sec=12297
case_no=164 label=Case6.152 nb_sol=0 ticks=996115 tps=100 nb_sec=9961
case_no=164 label=Case6.152 nb_sol=0 ticks=946457 tps=100 nb_sec=9464
case_no=164 label=Case6.152 nb_sol=0 ticks=1042996 tps=100 nb_sec=10429
case_no=164 label=Case6.152 nb_sol=0 ticks=959641 tps=100 nb_sec=9596
case_no=164 label=Case6.152 nb_sol=0 ticks=1042853 tps=100 nb_sec=10428
case_no=164 label=Case6.152 nb_sol=0 ticks=832344 tps=100 nb_sec=8323
case_no=164 label=Case6.152 nb_sol=0 ticks=931259 tps=100 nb_sec=9312
case_no=164 label=Case6.152 nb_sol=0 ticks=1024002 tps=100 nb_sec=10240
case_no=164 label=Case6.152 nb_sol=0 ticks=739074 tps=100 nb_sec=7390
case_no=164 label=Case6.152 nb_sol=0 ticks=1170836 tps=100 nb_sec=11708
case_no=164 label=Case6.152 nb_sol=0 ticks=953254 tps=100 nb_sec=9532
case_no=164 label=Case6.152 nb_sol=0 ticks=1230969 tps=100 nb_sec=12309
case_no=164 label=Case6.152 nb_sol=0 ticks=820177 tps=100 nb_sec=8201
case_no=164 label=Case6.152 nb_sol=0 ticks=1016546 tps=100 nb_sec=10165
case_no=164 label=Case6.152 nb_sol=0 ticks=973029 tps=100 nb_sec=9730
case_no=164 label=Case6.152 nb_sol=0 ticks=646841 tps=100 nb_sec=6468
case_no=164 label=Case6.152 nb_sol=0 ticks=615965 tps=100 nb_sec=6159
case_no=164 label=Case6.152 nb_sol=0 ticks=1177861 tps=100 nb_sec=11778
case_no=164 label=Case6.152 nb_sol=0 ticks=907760 tps=100 nb_sec=9077
case_no=164 label=Case6.152 nb_sol=0 ticks=1242920 tps=100 nb_sec=12429
case_no=164 label=Case6.152 nb_sol=0 ticks=944987 tps=100 nb_sec=9449
case_no=164 label=Case6.152 nb_sol=0 ticks=520839 tps=100 nb_sec=5208
case_no=164 label=Case6.152 nb_sol=0 ticks=808487 tps=100 nb_sec=8084
case_no=164 label=Case6.152 nb_sol=0 ticks=953104 tps=100 nb_sec=9531
case_no=164 label=Case6.152 nb_sol=0 ticks=865066 tps=100 nb_sec=8650
case_no=164 label=Case6.152 nb_sol=0 ticks=874117 tps=100 nb_sec=8741
case_no=164 label=Case6.152 nb_sol=0 ticks=498378 tps=100 nb_sec=4983
case_no=164 label=Case6.152 nb_sol=0 ticks=884437 tps=100 nb_sec=8844
case_no=164 label=Case6.152 nb_sol=0 ticks=892892 tps=100 nb_sec=8928
case_no=164 label=Case6.152 nb_sol=0 ticks=975824 tps=100 nb_sec=9758
case_no=164 label=Case6.152 nb_sol=0 ticks=518226 tps=100 nb_sec=5182
case_no=164 label=Case6.152 nb_sol=0 ticks=1467782 tps=100 nb_sec=14677
case_no=164 label=Case6.152 nb_sol=0 ticks=891135 tps=100 nb_sec=8911
case_no=164 label=Case6.152 nb_sol=0 ticks=904598 tps=100 nb_sec=9045
case_no=164 label=Case6.152 nb_sol=0 ticks=747001 tps=100 nb_sec=7470
case_no=164 label=Case6.152 nb_sol=0 ticks=806088 tps=100 nb_sec=8060
case_no=164 label=Case6.152 nb_sol=0 ticks=1012879 tps=100 nb_sec=10128
case_no=164 label=Case6.152 nb_sol=0 ticks=695750 tps=100 nb_sec=6957
case_no=164 label=Case6.152 nb_sol=0 ticks=468301 tps=100 nb_sec=4683
case_no=164 label=Case6.152 nb_sol=0 ticks=784683 tps=100 nb_sec=7846
case_no=164 label=Case6.152 nb_sol=0 ticks=1073398 tps=100 nb_sec=10733
case_no=164 label=Case6.152 nb_sol=0 ticks=872561 tps=100 nb_sec=8725
case_no=164 label=Case6.152 nb_sol=0 ticks=900586 tps=100 nb_sec=9005
case_no=164 label=Case6.152 nb_sol=0 ticks=997825 tps=100 nb_sec=9978
case_no=164 label=Case6.152 nb_sol=0 ticks=927061 tps=100 nb_sec=9270
case_no=164 label=Case6.152 nb_sol=0 ticks=868983 tps=100 nb_sec=8689
case_no=164 label=Case6.152 nb_sol=0 ticks=786876 tps=100 nb_sec=7868
case_no=164 label=Case6.152 nb_sol=0 ticks=442785 tps=100 nb_sec=4427
case_no=164 label=Case6.152 nb_sol=0 ticks=601588 tps=100 nb_sec=6015
case_no=164 label=Case6.152 nb_sol=0 ticks=1012093 tps=100 nb_sec=10120
case_no=164 label=Case6.152 nb_sol=0 ticks=486489 tps=100 nb_sec=4864
case_no=164 label=Case6.152 nb_sol=0 ticks=1089213 tps=100 nb_sec=10892
case_no=164 label=Case6.152 nb_sol=0 ticks=817511 tps=100 nb_sec=8175
case_no=164 label=Case6.152 nb_sol=0 ticks=845392 tps=100 nb_sec=8453
case_no=164 label=Case6.152 nb_sol=0 ticks=1700249 tps=100 nb_sec=17002
case_no=164 label=Case6.152 nb_sol=0 ticks=1076692 tps=100 nb_sec=10766
case_no=164 label=Case6.152 nb_sol=0 ticks=620273 tps=100 nb_sec=6202
case_no=164 label=Case6.152 nb_sol=0 ticks=1020910 tps=100 nb_sec=10209
case_no=164 label=Case6.152 nb_sol=0 ticks=1344918 tps=100 nb_sec=13449
case_no=164 label=Case6.152 nb_sol=0 ticks=656940 tps=100 nb_sec=6569
case_no=164 label=Case6.152 nb_sol=0 ticks=889179 tps=100 nb_sec=8891
case_no=164 label=Case6.152 nb_sol=0 ticks=1064824 tps=100 nb_sec=10648
case_no=164 label=Case6.152 nb_sol=0 ticks=914588 tps=100 nb_sec=9145
case_no=164 label=Case6.152 nb_sol=0 ticks=1043696 tps=100 nb_sec=10436
case_no=164 label=Case6.152 nb_sol=0 ticks=1023587 tps=100 nb_sec=10235
case_no=164 label=Case6.152 nb_sol=0 ticks=908159 tps=100 nb_sec=9081
case_no=164 label=Case6.152 nb_sol=0 ticks=1012845 tps=100 nb_sec=10128
case_no=164 label=Case6.152 nb_sol=0 ticks=910133 tps=100 nb_sec=9101
case_no=164 label=Case6.152 nb_sol=0 ticks=855569 tps=100 nb_sec=8555
case_no=164 label=Case6.152 nb_sol=0 ticks=1098756 tps=100 nb_sec=10987
case_no=164 label=Case6.152 nb_sol=0 ticks=895793 tps=100 nb_sec=8957
case_no=164 label=Case6.152 nb_sol=0 ticks=916134 tps=100 nb_sec=9161
case_no=164 label=Case6.152 nb_sol=0 ticks=921657 tps=100 nb_sec=9216
case_no=164 label=Case6.152 nb_sol=0 ticks=904288 tps=100 nb_sec=9042
case_no=164 label=Case6.152 nb_sol=0 ticks=877814 tps=100 nb_sec=8778
case_no=164 label=Case6.152 nb_sol=0 ticks=478312 tps=100 nb_sec=4783
case_no=164 label=Case6.152 nb_sol=0 ticks=839224 tps=100 nb_sec=8392
case_no=164 label=Case6.152 nb_sol=0 ticks=523791 tps=100 nb_sec=5237
case_no=164 label=Case6.152 nb_sol=0 ticks=876338 tps=100 nb_sec=8763
case_no=164 label=Case6.152 nb_sol=0 ticks=513069 tps=100 nb_sec=5130
case_no=164 label=Case6.152 nb_sol=0 ticks=854352 tps=100 nb_sec=8543
Nb_sol=0
Nb_sec=4697556
54-8:52:36 or 1304 hours
missing cases:
none