argc=5
-M 1024
file2=30_select_Case6.162_starter_15_
checking files mod 1024 from 0 to 1023
case_no=174 label=Case6.162 nb_sol=0 ticks=423871 tps=100 nb_sec=4238
case_no=174 label=Case6.162 nb_sol=0 ticks=358393 tps=100 nb_sec=3583
case_no=174 label=Case6.162 nb_sol=0 ticks=619664 tps=100 nb_sec=6196
case_no=174 label=Case6.162 nb_sol=0 ticks=493371 tps=100 nb_sec=4933
case_no=174 label=Case6.162 nb_sol=0 ticks=253909 tps=100 nb_sec=2539
case_no=174 label=Case6.162 nb_sol=0 ticks=212581 tps=100 nb_sec=2125
case_no=174 label=Case6.162 nb_sol=0 ticks=518936 tps=100 nb_sec=5189
case_no=174 label=Case6.162 nb_sol=0 ticks=491418 tps=100 nb_sec=4914
case_no=174 label=Case6.162 nb_sol=0 ticks=342707 tps=100 nb_sec=3427
case_no=174 label=Case6.162 nb_sol=0 ticks=380932 tps=100 nb_sec=3809
case_no=174 label=Case6.162 nb_sol=0 ticks=677370 tps=100 nb_sec=6773
case_no=174 label=Case6.162 nb_sol=0 ticks=297978 tps=100 nb_sec=2979
case_no=174 label=Case6.162 nb_sol=0 ticks=286990 tps=100 nb_sec=2869
case_no=174 label=Case6.162 nb_sol=0 ticks=463556 tps=100 nb_sec=4635
case_no=174 label=Case6.162 nb_sol=0 ticks=348185 tps=100 nb_sec=3481
case_no=174 label=Case6.162 nb_sol=0 ticks=669596 tps=100 nb_sec=6695
case_no=174 label=Case6.162 nb_sol=0 ticks=447370 tps=100 nb_sec=4473
case_no=174 label=Case6.162 nb_sol=0 ticks=578220 tps=100 nb_sec=5782
case_no=174 label=Case6.162 nb_sol=0 ticks=504565 tps=100 nb_sec=5045
case_no=174 label=Case6.162 nb_sol=0 ticks=679103 tps=100 nb_sec=6791
case_no=174 label=Case6.162 nb_sol=0 ticks=268234 tps=100 nb_sec=2682
case_no=174 label=Case6.162 nb_sol=0 ticks=868374 tps=100 nb_sec=8683
case_no=174 label=Case6.162 nb_sol=0 ticks=538691 tps=100 nb_sec=5386
case_no=174 label=Case6.162 nb_sol=0 ticks=604084 tps=100 nb_sec=6040
case_no=174 label=Case6.162 nb_sol=0 ticks=736335 tps=100 nb_sec=7363
case_no=174 label=Case6.162 nb_sol=0 ticks=658788 tps=100 nb_sec=6587
case_no=174 label=Case6.162 nb_sol=0 ticks=731421 tps=100 nb_sec=7314
case_no=174 label=Case6.162 nb_sol=0 ticks=603070 tps=100 nb_sec=6030
case_no=174 label=Case6.162 nb_sol=0 ticks=474625 tps=100 nb_sec=4746
case_no=174 label=Case6.162 nb_sol=0 ticks=713913 tps=100 nb_sec=7139
case_no=174 label=Case6.162 nb_sol=0 ticks=586340 tps=100 nb_sec=5863
case_no=174 label=Case6.162 nb_sol=0 ticks=553567 tps=100 nb_sec=5535
case_no=174 label=Case6.162 nb_sol=0 ticks=662212 tps=100 nb_sec=6622
case_no=174 label=Case6.162 nb_sol=0 ticks=602408 tps=100 nb_sec=6024
case_no=174 label=Case6.162 nb_sol=0 ticks=605847 tps=100 nb_sec=6058
case_no=174 label=Case6.162 nb_sol=0 ticks=624496 tps=100 nb_sec=6244
case_no=174 label=Case6.162 nb_sol=0 ticks=490836 tps=100 nb_sec=4908
case_no=174 label=Case6.162 nb_sol=0 ticks=638800 tps=100 nb_sec=6388
case_no=174 label=Case6.162 nb_sol=0 ticks=508315 tps=100 nb_sec=5083
case_no=174 label=Case6.162 nb_sol=0 ticks=530905 tps=100 nb_sec=5309
case_no=174 label=Case6.162 nb_sol=0 ticks=539990 tps=100 nb_sec=5399
case_no=174 label=Case6.162 nb_sol=0 ticks=615892 tps=100 nb_sec=6158
case_no=174 label=Case6.162 nb_sol=0 ticks=639303 tps=100 nb_sec=6393
case_no=174 label=Case6.162 nb_sol=0 ticks=514880 tps=100 nb_sec=5148
case_no=174 label=Case6.162 nb_sol=0 ticks=532807 tps=100 nb_sec=5328
case_no=174 label=Case6.162 nb_sol=0 ticks=647382 tps=100 nb_sec=6473
case_no=174 label=Case6.162 nb_sol=0 ticks=538835 tps=100 nb_sec=5388
case_no=174 label=Case6.162 nb_sol=0 ticks=627831 tps=100 nb_sec=6278
case_no=174 label=Case6.162 nb_sol=0 ticks=673206 tps=100 nb_sec=6732
case_no=174 label=Case6.162 nb_sol=0 ticks=552647 tps=100 nb_sec=5526
case_no=174 label=Case6.162 nb_sol=0 ticks=371400 tps=100 nb_sec=3714
case_no=174 label=Case6.162 nb_sol=0 ticks=673181 tps=100 nb_sec=6731
case_no=174 label=Case6.162 nb_sol=0 ticks=642820 tps=100 nb_sec=6428
case_no=174 label=Case6.162 nb_sol=0 ticks=501724 tps=100 nb_sec=5017
case_no=174 label=Case6.162 nb_sol=0 ticks=555818 tps=100 nb_sec=5558
case_no=174 label=Case6.162 nb_sol=0 ticks=542948 tps=100 nb_sec=5429
case_no=174 label=Case6.162 nb_sol=0 ticks=459088 tps=100 nb_sec=4590
case_no=174 label=Case6.162 nb_sol=0 ticks=685472 tps=100 nb_sec=6854
case_no=174 label=Case6.162 nb_sol=0 ticks=588204 tps=100 nb_sec=5882
case_no=174 label=Case6.162 nb_sol=0 ticks=670244 tps=100 nb_sec=6702
case_no=174 label=Case6.162 nb_sol=0 ticks=596446 tps=100 nb_sec=5964
case_no=174 label=Case6.162 nb_sol=0 ticks=587068 tps=100 nb_sec=5870
case_no=174 label=Case6.162 nb_sol=0 ticks=527731 tps=100 nb_sec=5277
case_no=174 label=Case6.162 nb_sol=0 ticks=552064 tps=100 nb_sec=5520
case_no=174 label=Case6.162 nb_sol=0 ticks=464508 tps=100 nb_sec=4645
case_no=174 label=Case6.162 nb_sol=0 ticks=682717 tps=100 nb_sec=6827
case_no=174 label=Case6.162 nb_sol=0 ticks=621462 tps=100 nb_sec=6214
case_no=174 label=Case6.162 nb_sol=0 ticks=625424 tps=100 nb_sec=6254
case_no=174 label=Case6.162 nb_sol=0 ticks=721396 tps=100 nb_sec=7213
case_no=174 label=Case6.162 nb_sol=0 ticks=578972 tps=100 nb_sec=5789
case_no=174 label=Case6.162 nb_sol=0 ticks=604912 tps=100 nb_sec=6049
case_no=174 label=Case6.162 nb_sol=0 ticks=636721 tps=100 nb_sec=6367
case_no=174 label=Case6.162 nb_sol=0 ticks=691005 tps=100 nb_sec=6910
case_no=174 label=Case6.162 nb_sol=0 ticks=620432 tps=100 nb_sec=6204
case_no=174 label=Case6.162 nb_sol=0 ticks=546927 tps=100 nb_sec=5469
case_no=174 label=Case6.162 nb_sol=0 ticks=631923 tps=100 nb_sec=6319
case_no=174 label=Case6.162 nb_sol=0 ticks=710371 tps=100 nb_sec=7103
case_no=174 label=Case6.162 nb_sol=0 ticks=634397 tps=100 nb_sec=6343
case_no=174 label=Case6.162 nb_sol=0 ticks=565251 tps=100 nb_sec=5652
case_no=174 label=Case6.162 nb_sol=0 ticks=743313 tps=100 nb_sec=7433
case_no=174 label=Case6.162 nb_sol=0 ticks=553809 tps=100 nb_sec=5538
case_no=174 label=Case6.162 nb_sol=0 ticks=703534 tps=100 nb_sec=7035
case_no=174 label=Case6.162 nb_sol=0 ticks=633290 tps=100 nb_sec=6332
case_no=174 label=Case6.162 nb_sol=0 ticks=326386 tps=100 nb_sec=3263
case_no=174 label=Case6.162 nb_sol=0 ticks=415988 tps=100 nb_sec=4159
case_no=174 label=Case6.162 nb_sol=0 ticks=361543 tps=100 nb_sec=3615
case_no=174 label=Case6.162 nb_sol=0 ticks=690247 tps=100 nb_sec=6902
case_no=174 label=Case6.162 nb_sol=0 ticks=768549 tps=100 nb_sec=7685
case_no=174 label=Case6.162 nb_sol=0 ticks=887675 tps=100 nb_sec=8876
case_no=174 label=Case6.162 nb_sol=0 ticks=806050 tps=100 nb_sec=8060
case_no=174 label=Case6.162 nb_sol=0 ticks=902543 tps=100 nb_sec=9025
case_no=174 label=Case6.162 nb_sol=0 ticks=764158 tps=100 nb_sec=7641
case_no=174 label=Case6.162 nb_sol=0 ticks=798532 tps=100 nb_sec=7985
case_no=174 label=Case6.162 nb_sol=0 ticks=778573 tps=100 nb_sec=7785
case_no=174 label=Case6.162 nb_sol=0 ticks=921873 tps=100 nb_sec=9218
case_no=174 label=Case6.162 nb_sol=0 ticks=294386 tps=100 nb_sec=2943
case_no=174 label=Case6.162 nb_sol=0 ticks=300700 tps=100 nb_sec=3007
case_no=174 label=Case6.162 nb_sol=0 ticks=305904 tps=100 nb_sec=3059
case_no=174 label=Case6.162 nb_sol=0 ticks=761087 tps=100 nb_sec=7610
case_no=174 label=Case6.162 nb_sol=0 ticks=285908 tps=100 nb_sec=2859
case_no=174 label=Case6.162 nb_sol=0 ticks=759220 tps=100 nb_sec=7592
case_no=174 label=Case6.162 nb_sol=0 ticks=257632 tps=100 nb_sec=2576
case_no=174 label=Case6.162 nb_sol=0 ticks=650132 tps=100 nb_sec=6501
case_no=174 label=Case6.162 nb_sol=0 ticks=684208 tps=100 nb_sec=6842
case_no=174 label=Case6.162 nb_sol=0 ticks=595649 tps=100 nb_sec=5956
case_no=174 label=Case6.162 nb_sol=0 ticks=674618 tps=100 nb_sec=6746
case_no=174 label=Case6.162 nb_sol=0 ticks=662006 tps=100 nb_sec=6620
case_no=174 label=Case6.162 nb_sol=0 ticks=579928 tps=100 nb_sec=5799
case_no=174 label=Case6.162 nb_sol=0 ticks=746247 tps=100 nb_sec=7462
case_no=174 label=Case6.162 nb_sol=0 ticks=556856 tps=100 nb_sec=5568
case_no=174 label=Case6.162 nb_sol=0 ticks=646574 tps=100 nb_sec=6465
case_no=174 label=Case6.162 nb_sol=0 ticks=580457 tps=100 nb_sec=5804
case_no=174 label=Case6.162 nb_sol=0 ticks=476957 tps=100 nb_sec=4769
case_no=174 label=Case6.162 nb_sol=0 ticks=614772 tps=100 nb_sec=6147
case_no=174 label=Case6.162 nb_sol=0 ticks=429205 tps=100 nb_sec=4292
case_no=174 label=Case6.162 nb_sol=0 ticks=639844 tps=100 nb_sec=6398
case_no=174 label=Case6.162 nb_sol=0 ticks=605614 tps=100 nb_sec=6056
case_no=174 label=Case6.162 nb_sol=0 ticks=520674 tps=100 nb_sec=5206
case_no=174 label=Case6.162 nb_sol=0 ticks=582985 tps=100 nb_sec=5829
case_no=174 label=Case6.162 nb_sol=0 ticks=556673 tps=100 nb_sec=5566
case_no=174 label=Case6.162 nb_sol=0 ticks=519021 tps=100 nb_sec=5190
case_no=174 label=Case6.162 nb_sol=0 ticks=588562 tps=100 nb_sec=5885
case_no=174 label=Case6.162 nb_sol=0 ticks=571092 tps=100 nb_sec=5710
case_no=174 label=Case6.162 nb_sol=0 ticks=517462 tps=100 nb_sec=5174
case_no=174 label=Case6.162 nb_sol=0 ticks=637898 tps=100 nb_sec=6378
case_no=174 label=Case6.162 nb_sol=0 ticks=287817 tps=100 nb_sec=2878
case_no=174 label=Case6.162 nb_sol=0 ticks=310814 tps=100 nb_sec=3108
case_no=174 label=Case6.162 nb_sol=0 ticks=256762 tps=100 nb_sec=2567
case_no=174 label=Case6.162 nb_sol=0 ticks=291996 tps=100 nb_sec=2919
case_no=174 label=Case6.162 nb_sol=0 ticks=552519 tps=100 nb_sec=5525
case_no=174 label=Case6.162 nb_sol=0 ticks=356812 tps=100 nb_sec=3568
case_no=174 label=Case6.162 nb_sol=0 ticks=457471 tps=100 nb_sec=4574
case_no=174 label=Case6.162 nb_sol=0 ticks=658348 tps=100 nb_sec=6583
case_no=174 label=Case6.162 nb_sol=0 ticks=567825 tps=100 nb_sec=5678
case_no=174 label=Case6.162 nb_sol=0 ticks=401951 tps=100 nb_sec=4019
case_no=174 label=Case6.162 nb_sol=0 ticks=629945 tps=100 nb_sec=6299
case_no=174 label=Case6.162 nb_sol=0 ticks=323864 tps=100 nb_sec=3238
case_no=174 label=Case6.162 nb_sol=0 ticks=620765 tps=100 nb_sec=6207
case_no=174 label=Case6.162 nb_sol=0 ticks=358613 tps=100 nb_sec=3586
case_no=174 label=Case6.162 nb_sol=0 ticks=590571 tps=100 nb_sec=5905
case_no=174 label=Case6.162 nb_sol=0 ticks=616351 tps=100 nb_sec=6163
case_no=174 label=Case6.162 nb_sol=0 ticks=624511 tps=100 nb_sec=6245
case_no=174 label=Case6.162 nb_sol=0 ticks=643296 tps=100 nb_sec=6432
case_no=174 label=Case6.162 nb_sol=0 ticks=603722 tps=100 nb_sec=6037
case_no=174 label=Case6.162 nb_sol=0 ticks=623179 tps=100 nb_sec=6231
case_no=174 label=Case6.162 nb_sol=0 ticks=508650 tps=100 nb_sec=5086
case_no=174 label=Case6.162 nb_sol=0 ticks=501371 tps=100 nb_sec=5013
case_no=174 label=Case6.162 nb_sol=0 ticks=432002 tps=100 nb_sec=4320
case_no=174 label=Case6.162 nb_sol=0 ticks=731485 tps=100 nb_sec=7314
case_no=174 label=Case6.162 nb_sol=0 ticks=678895 tps=100 nb_sec=6788
case_no=174 label=Case6.162 nb_sol=0 ticks=767886 tps=100 nb_sec=7678
case_no=174 label=Case6.162 nb_sol=0 ticks=668567 tps=100 nb_sec=6685
case_no=174 label=Case6.162 nb_sol=0 ticks=307047 tps=100 nb_sec=3070
case_no=174 label=Case6.162 nb_sol=0 ticks=595421 tps=100 nb_sec=5954
case_no=174 label=Case6.162 nb_sol=0 ticks=659359 tps=100 nb_sec=6593
case_no=174 label=Case6.162 nb_sol=0 ticks=345258 tps=100 nb_sec=3452
case_no=174 label=Case6.162 nb_sol=0 ticks=669430 tps=100 nb_sec=6694
case_no=174 label=Case6.162 nb_sol=0 ticks=725656 tps=100 nb_sec=7256
case_no=174 label=Case6.162 nb_sol=0 ticks=270487 tps=100 nb_sec=2704
case_no=174 label=Case6.162 nb_sol=0 ticks=308697 tps=100 nb_sec=3086
case_no=174 label=Case6.162 nb_sol=0 ticks=546305 tps=100 nb_sec=5463
case_no=174 label=Case6.162 nb_sol=0 ticks=593449 tps=100 nb_sec=5934
case_no=174 label=Case6.162 nb_sol=0 ticks=548846 tps=100 nb_sec=5488
case_no=174 label=Case6.162 nb_sol=0 ticks=490742 tps=100 nb_sec=4907
case_no=174 label=Case6.162 nb_sol=0 ticks=630743 tps=100 nb_sec=6307
case_no=174 label=Case6.162 nb_sol=0 ticks=509798 tps=100 nb_sec=5097
case_no=174 label=Case6.162 nb_sol=0 ticks=617280 tps=100 nb_sec=6172
case_no=174 label=Case6.162 nb_sol=0 ticks=645084 tps=100 nb_sec=6450
case_no=174 label=Case6.162 nb_sol=0 ticks=666246 tps=100 nb_sec=6662
case_no=174 label=Case6.162 nb_sol=0 ticks=587589 tps=100 nb_sec=5875
case_no=174 label=Case6.162 nb_sol=0 ticks=653879 tps=100 nb_sec=6538
case_no=174 label=Case6.162 nb_sol=0 ticks=642006 tps=100 nb_sec=6420
case_no=174 label=Case6.162 nb_sol=0 ticks=563164 tps=100 nb_sec=5631
case_no=174 label=Case6.162 nb_sol=0 ticks=760559 tps=100 nb_sec=7605
case_no=174 label=Case6.162 nb_sol=0 ticks=269769 tps=100 nb_sec=2697
case_no=174 label=Case6.162 nb_sol=0 ticks=246380 tps=100 nb_sec=2463
case_no=174 label=Case6.162 nb_sol=0 ticks=314474 tps=100 nb_sec=3144
case_no=174 label=Case6.162 nb_sol=0 ticks=755358 tps=100 nb_sec=7553
case_no=174 label=Case6.162 nb_sol=0 ticks=758017 tps=100 nb_sec=7580
case_no=174 label=Case6.162 nb_sol=0 ticks=336764 tps=100 nb_sec=3367
case_no=174 label=Case6.162 nb_sol=0 ticks=682747 tps=100 nb_sec=6827
case_no=174 label=Case6.162 nb_sol=0 ticks=273996 tps=100 nb_sec=2739
case_no=174 label=Case6.162 nb_sol=0 ticks=569287 tps=100 nb_sec=5692
case_no=174 label=Case6.162 nb_sol=0 ticks=685096 tps=100 nb_sec=6850
case_no=174 label=Case6.162 nb_sol=0 ticks=317436 tps=100 nb_sec=3174
case_no=174 label=Case6.162 nb_sol=0 ticks=422801 tps=100 nb_sec=4228
case_no=174 label=Case6.162 nb_sol=0 ticks=591373 tps=100 nb_sec=5913
case_no=174 label=Case6.162 nb_sol=0 ticks=621986 tps=100 nb_sec=6219
case_no=174 label=Case6.162 nb_sol=0 ticks=521483 tps=100 nb_sec=5214
case_no=174 label=Case6.162 nb_sol=0 ticks=629862 tps=100 nb_sec=6298
case_no=174 label=Case6.162 nb_sol=0 ticks=536427 tps=100 nb_sec=5364
case_no=174 label=Case6.162 nb_sol=0 ticks=697788 tps=100 nb_sec=6977
case_no=174 label=Case6.162 nb_sol=0 ticks=650838 tps=100 nb_sec=6508
case_no=174 label=Case6.162 nb_sol=0 ticks=523264 tps=100 nb_sec=5232
case_no=174 label=Case6.162 nb_sol=0 ticks=259597 tps=100 nb_sec=2595
case_no=174 label=Case6.162 nb_sol=0 ticks=511885 tps=100 nb_sec=5118
case_no=174 label=Case6.162 nb_sol=0 ticks=313509 tps=100 nb_sec=3135
case_no=174 label=Case6.162 nb_sol=0 ticks=250072 tps=100 nb_sec=2500
case_no=174 label=Case6.162 nb_sol=0 ticks=564903 tps=100 nb_sec=5649
case_no=174 label=Case6.162 nb_sol=0 ticks=281741 tps=100 nb_sec=2817
case_no=174 label=Case6.162 nb_sol=0 ticks=297783 tps=100 nb_sec=2977
case_no=174 label=Case6.162 nb_sol=0 ticks=564352 tps=100 nb_sec=5643
case_no=174 label=Case6.162 nb_sol=0 ticks=730228 tps=100 nb_sec=7302
case_no=174 label=Case6.162 nb_sol=0 ticks=309099 tps=100 nb_sec=3090
case_no=174 label=Case6.162 nb_sol=0 ticks=433577 tps=100 nb_sec=4335
case_no=174 label=Case6.162 nb_sol=0 ticks=507668 tps=100 nb_sec=5076
case_no=174 label=Case6.162 nb_sol=0 ticks=489882 tps=100 nb_sec=4898
case_no=174 label=Case6.162 nb_sol=0 ticks=499284 tps=100 nb_sec=4992
case_no=174 label=Case6.162 nb_sol=0 ticks=518394 tps=100 nb_sec=5183
case_no=174 label=Case6.162 nb_sol=0 ticks=450760 tps=100 nb_sec=4507
case_no=174 label=Case6.162 nb_sol=0 ticks=585387 tps=100 nb_sec=5853
case_no=174 label=Case6.162 nb_sol=0 ticks=569255 tps=100 nb_sec=5692
case_no=174 label=Case6.162 nb_sol=0 ticks=552293 tps=100 nb_sec=5522
case_no=174 label=Case6.162 nb_sol=0 ticks=485879 tps=100 nb_sec=4858
case_no=174 label=Case6.162 nb_sol=0 ticks=450002 tps=100 nb_sec=4500
case_no=174 label=Case6.162 nb_sol=0 ticks=659862 tps=100 nb_sec=6598
case_no=174 label=Case6.162 nb_sol=0 ticks=641520 tps=100 nb_sec=6415
case_no=174 label=Case6.162 nb_sol=0 ticks=502255 tps=100 nb_sec=5022
case_no=174 label=Case6.162 nb_sol=0 ticks=690249 tps=100 nb_sec=6902
case_no=174 label=Case6.162 nb_sol=0 ticks=599738 tps=100 nb_sec=5997
case_no=174 label=Case6.162 nb_sol=0 ticks=473651 tps=100 nb_sec=4736
case_no=174 label=Case6.162 nb_sol=0 ticks=619930 tps=100 nb_sec=6199
case_no=174 label=Case6.162 nb_sol=0 ticks=570701 tps=100 nb_sec=5707
case_no=174 label=Case6.162 nb_sol=0 ticks=630255 tps=100 nb_sec=6302
case_no=174 label=Case6.162 nb_sol=0 ticks=665400 tps=100 nb_sec=6654
case_no=174 label=Case6.162 nb_sol=0 ticks=552400 tps=100 nb_sec=5524
case_no=174 label=Case6.162 nb_sol=0 ticks=712169 tps=100 nb_sec=7121
case_no=174 label=Case6.162 nb_sol=0 ticks=652771 tps=100 nb_sec=6527
case_no=174 label=Case6.162 nb_sol=0 ticks=596814 tps=100 nb_sec=5968
case_no=174 label=Case6.162 nb_sol=0 ticks=610130 tps=100 nb_sec=6101
case_no=174 label=Case6.162 nb_sol=0 ticks=683232 tps=100 nb_sec=6832
case_no=174 label=Case6.162 nb_sol=0 ticks=360092 tps=100 nb_sec=3600
case_no=174 label=Case6.162 nb_sol=0 ticks=594799 tps=100 nb_sec=5947
case_no=174 label=Case6.162 nb_sol=0 ticks=474979 tps=100 nb_sec=4749
case_no=174 label=Case6.162 nb_sol=0 ticks=714259 tps=100 nb_sec=7142
case_no=174 label=Case6.162 nb_sol=0 ticks=482765 tps=100 nb_sec=4827
case_no=174 label=Case6.162 nb_sol=0 ticks=595902 tps=100 nb_sec=5959
case_no=174 label=Case6.162 nb_sol=0 ticks=508557 tps=100 nb_sec=5085
case_no=174 label=Case6.162 nb_sol=0 ticks=587384 tps=100 nb_sec=5873
case_no=174 label=Case6.162 nb_sol=0 ticks=614863 tps=100 nb_sec=6148
case_no=174 label=Case6.162 nb_sol=0 ticks=647067 tps=100 nb_sec=6470
case_no=174 label=Case6.162 nb_sol=0 ticks=650268 tps=100 nb_sec=6502
case_no=174 label=Case6.162 nb_sol=0 ticks=769581 tps=100 nb_sec=7695
case_no=174 label=Case6.162 nb_sol=0 ticks=663500 tps=100 nb_sec=6635
case_no=174 label=Case6.162 nb_sol=0 ticks=677105 tps=100 nb_sec=6771
case_no=174 label=Case6.162 nb_sol=0 ticks=576828 tps=100 nb_sec=5768
case_no=174 label=Case6.162 nb_sol=0 ticks=639806 tps=100 nb_sec=6398
case_no=174 label=Case6.162 nb_sol=0 ticks=544952 tps=100 nb_sec=5449
case_no=174 label=Case6.162 nb_sol=0 ticks=626723 tps=100 nb_sec=6267
case_no=174 label=Case6.162 nb_sol=0 ticks=527161 tps=100 nb_sec=5271
case_no=174 label=Case6.162 nb_sol=0 ticks=420230 tps=100 nb_sec=4202
case_no=174 label=Case6.162 nb_sol=0 ticks=567169 tps=100 nb_sec=5671
case_no=174 label=Case6.162 nb_sol=0 ticks=215942 tps=100 nb_sec=2159
case_no=174 label=Case6.162 nb_sol=0 ticks=309763 tps=100 nb_sec=3097
case_no=174 label=Case6.162 nb_sol=0 ticks=244598 tps=100 nb_sec=2445
case_no=174 label=Case6.162 nb_sol=0 ticks=327755 tps=100 nb_sec=3277
case_no=174 label=Case6.162 nb_sol=0 ticks=514412 tps=100 nb_sec=5144
case_no=174 label=Case6.162 nb_sol=0 ticks=319128 tps=100 nb_sec=3191
case_no=174 label=Case6.162 nb_sol=0 ticks=301485 tps=100 nb_sec=3014
case_no=174 label=Case6.162 nb_sol=0 ticks=361164 tps=100 nb_sec=3611
case_no=174 label=Case6.162 nb_sol=0 ticks=308746 tps=100 nb_sec=3087
case_no=174 label=Case6.162 nb_sol=0 ticks=487067 tps=100 nb_sec=4870
case_no=174 label=Case6.162 nb_sol=0 ticks=663285 tps=100 nb_sec=6632
case_no=174 label=Case6.162 nb_sol=0 ticks=496228 tps=100 nb_sec=4962
case_no=174 label=Case6.162 nb_sol=0 ticks=617191 tps=100 nb_sec=6171
case_no=174 label=Case6.162 nb_sol=0 ticks=548574 tps=100 nb_sec=5485
case_no=174 label=Case6.162 nb_sol=0 ticks=714548 tps=100 nb_sec=7145
case_no=174 label=Case6.162 nb_sol=0 ticks=669428 tps=100 nb_sec=6694
case_no=174 label=Case6.162 nb_sol=0 ticks=637013 tps=100 nb_sec=6370
case_no=174 label=Case6.162 nb_sol=0 ticks=701666 tps=100 nb_sec=7016
case_no=174 label=Case6.162 nb_sol=0 ticks=656504 tps=100 nb_sec=6565
case_no=174 label=Case6.162 nb_sol=0 ticks=350169 tps=100 nb_sec=3501
case_no=174 label=Case6.162 nb_sol=0 ticks=623711 tps=100 nb_sec=6237
case_no=174 label=Case6.162 nb_sol=0 ticks=468001 tps=100 nb_sec=4680
case_no=174 label=Case6.162 nb_sol=0 ticks=654099 tps=100 nb_sec=6540
case_no=174 label=Case6.162 nb_sol=0 ticks=314954 tps=100 nb_sec=3149
case_no=174 label=Case6.162 nb_sol=0 ticks=308751 tps=100 nb_sec=3087
case_no=174 label=Case6.162 nb_sol=0 ticks=522622 tps=100 nb_sec=5226
case_no=174 label=Case6.162 nb_sol=0 ticks=380997 tps=100 nb_sec=3809
case_no=174 label=Case6.162 nb_sol=0 ticks=338373 tps=100 nb_sec=3383
case_no=174 label=Case6.162 nb_sol=0 ticks=423478 tps=100 nb_sec=4234
case_no=174 label=Case6.162 nb_sol=0 ticks=715796 tps=100 nb_sec=7157
case_no=174 label=Case6.162 nb_sol=0 ticks=585544 tps=100 nb_sec=5855
case_no=174 label=Case6.162 nb_sol=0 ticks=411627 tps=100 nb_sec=4116
case_no=174 label=Case6.162 nb_sol=0 ticks=683850 tps=100 nb_sec=6838
case_no=174 label=Case6.162 nb_sol=0 ticks=355089 tps=100 nb_sec=3550
case_no=174 label=Case6.162 nb_sol=0 ticks=781301 tps=100 nb_sec=7813
case_no=174 label=Case6.162 nb_sol=0 ticks=544033 tps=100 nb_sec=5440
case_no=174 label=Case6.162 nb_sol=0 ticks=707216 tps=100 nb_sec=7072
case_no=174 label=Case6.162 nb_sol=0 ticks=607779 tps=100 nb_sec=6077
case_no=174 label=Case6.162 nb_sol=0 ticks=681795 tps=100 nb_sec=6817
case_no=174 label=Case6.162 nb_sol=0 ticks=520102 tps=100 nb_sec=5201
case_no=174 label=Case6.162 nb_sol=0 ticks=692648 tps=100 nb_sec=6926
case_no=174 label=Case6.162 nb_sol=0 ticks=916185 tps=100 nb_sec=9161
case_no=174 label=Case6.162 nb_sol=0 ticks=652534 tps=100 nb_sec=6525
case_no=174 label=Case6.162 nb_sol=0 ticks=650100 tps=100 nb_sec=6501
case_no=174 label=Case6.162 nb_sol=0 ticks=792831 tps=100 nb_sec=7928
case_no=174 label=Case6.162 nb_sol=0 ticks=653924 tps=100 nb_sec=6539
case_no=174 label=Case6.162 nb_sol=0 ticks=698723 tps=100 nb_sec=6987
case_no=174 label=Case6.162 nb_sol=0 ticks=729460 tps=100 nb_sec=7294
case_no=174 label=Case6.162 nb_sol=0 ticks=657450 tps=100 nb_sec=6574
case_no=174 label=Case6.162 nb_sol=0 ticks=344642 tps=100 nb_sec=3446
case_no=174 label=Case6.162 nb_sol=0 ticks=351662 tps=100 nb_sec=3516
case_no=174 label=Case6.162 nb_sol=0 ticks=199595 tps=100 nb_sec=1995
case_no=174 label=Case6.162 nb_sol=0 ticks=320680 tps=100 nb_sec=3206
case_no=174 label=Case6.162 nb_sol=0 ticks=247235 tps=100 nb_sec=2472
case_no=174 label=Case6.162 nb_sol=0 ticks=212358 tps=100 nb_sec=2123
case_no=174 label=Case6.162 nb_sol=0 ticks=253869 tps=100 nb_sec=2538
case_no=174 label=Case6.162 nb_sol=0 ticks=473542 tps=100 nb_sec=4735
case_no=174 label=Case6.162 nb_sol=0 ticks=707855 tps=100 nb_sec=7078
case_no=174 label=Case6.162 nb_sol=0 ticks=740190 tps=100 nb_sec=7401
case_no=174 label=Case6.162 nb_sol=0 ticks=306111 tps=100 nb_sec=3061
case_no=174 label=Case6.162 nb_sol=0 ticks=777228 tps=100 nb_sec=7772
case_no=174 label=Case6.162 nb_sol=0 ticks=578500 tps=100 nb_sec=5785
case_no=174 label=Case6.162 nb_sol=0 ticks=550497 tps=100 nb_sec=5504
case_no=174 label=Case6.162 nb_sol=0 ticks=326420 tps=100 nb_sec=3264
case_no=174 label=Case6.162 nb_sol=0 ticks=538504 tps=100 nb_sec=5385
case_no=174 label=Case6.162 nb_sol=0 ticks=490040 tps=100 nb_sec=4900
case_no=174 label=Case6.162 nb_sol=0 ticks=675688 tps=100 nb_sec=6756
case_no=174 label=Case6.162 nb_sol=0 ticks=602597 tps=100 nb_sec=6025
case_no=174 label=Case6.162 nb_sol=0 ticks=695020 tps=100 nb_sec=6950
case_no=174 label=Case6.162 nb_sol=0 ticks=342085 tps=100 nb_sec=3420
case_no=174 label=Case6.162 nb_sol=0 ticks=547088 tps=100 nb_sec=5470
case_no=174 label=Case6.162 nb_sol=0 ticks=560623 tps=100 nb_sec=5606
case_no=174 label=Case6.162 nb_sol=0 ticks=555344 tps=100 nb_sec=5553
case_no=174 label=Case6.162 nb_sol=0 ticks=604765 tps=100 nb_sec=6047
case_no=174 label=Case6.162 nb_sol=0 ticks=655545 tps=100 nb_sec=6555
case_no=174 label=Case6.162 nb_sol=0 ticks=480490 tps=100 nb_sec=4804
case_no=174 label=Case6.162 nb_sol=0 ticks=749572 tps=100 nb_sec=7495
case_no=174 label=Case6.162 nb_sol=0 ticks=604903 tps=100 nb_sec=6049
case_no=174 label=Case6.162 nb_sol=0 ticks=625807 tps=100 nb_sec=6258
case_no=174 label=Case6.162 nb_sol=0 ticks=518315 tps=100 nb_sec=5183
case_no=174 label=Case6.162 nb_sol=0 ticks=529872 tps=100 nb_sec=5298
case_no=174 label=Case6.162 nb_sol=0 ticks=334866 tps=100 nb_sec=3348
case_no=174 label=Case6.162 nb_sol=0 ticks=329001 tps=100 nb_sec=3290
case_no=174 label=Case6.162 nb_sol=0 ticks=263373 tps=100 nb_sec=2633
case_no=174 label=Case6.162 nb_sol=0 ticks=348330 tps=100 nb_sec=3483
case_no=174 label=Case6.162 nb_sol=0 ticks=315186 tps=100 nb_sec=3151
case_no=174 label=Case6.162 nb_sol=0 ticks=566344 tps=100 nb_sec=5663
case_no=174 label=Case6.162 nb_sol=0 ticks=492172 tps=100 nb_sec=4921
case_no=174 label=Case6.162 nb_sol=0 ticks=531492 tps=100 nb_sec=5314
case_no=174 label=Case6.162 nb_sol=0 ticks=269018 tps=100 nb_sec=2690
case_no=174 label=Case6.162 nb_sol=0 ticks=293068 tps=100 nb_sec=2930
case_no=174 label=Case6.162 nb_sol=0 ticks=534984 tps=100 nb_sec=5349
case_no=174 label=Case6.162 nb_sol=0 ticks=643259 tps=100 nb_sec=6432
case_no=174 label=Case6.162 nb_sol=0 ticks=410416 tps=100 nb_sec=4104
case_no=174 label=Case6.162 nb_sol=0 ticks=274798 tps=100 nb_sec=2747
case_no=174 label=Case6.162 nb_sol=0 ticks=289877 tps=100 nb_sec=2898
case_no=174 label=Case6.162 nb_sol=0 ticks=617898 tps=100 nb_sec=6178
case_no=174 label=Case6.162 nb_sol=0 ticks=519163 tps=100 nb_sec=5191
case_no=174 label=Case6.162 nb_sol=0 ticks=288593 tps=100 nb_sec=2885
case_no=174 label=Case6.162 nb_sol=0 ticks=277530 tps=100 nb_sec=2775
case_no=174 label=Case6.162 nb_sol=0 ticks=648222 tps=100 nb_sec=6482
case_no=174 label=Case6.162 nb_sol=0 ticks=455297 tps=100 nb_sec=4552
case_no=174 label=Case6.162 nb_sol=0 ticks=283906 tps=100 nb_sec=2839
case_no=174 label=Case6.162 nb_sol=0 ticks=575509 tps=100 nb_sec=5755
case_no=174 label=Case6.162 nb_sol=0 ticks=318914 tps=100 nb_sec=3189
case_no=174 label=Case6.162 nb_sol=0 ticks=259092 tps=100 nb_sec=2590
case_no=174 label=Case6.162 nb_sol=0 ticks=387427 tps=100 nb_sec=3874
case_no=174 label=Case6.162 nb_sol=0 ticks=637945 tps=100 nb_sec=6379
case_no=174 label=Case6.162 nb_sol=0 ticks=683824 tps=100 nb_sec=6838
case_no=174 label=Case6.162 nb_sol=0 ticks=502667 tps=100 nb_sec=5026
case_no=174 label=Case6.162 nb_sol=0 ticks=643294 tps=100 nb_sec=6432
case_no=174 label=Case6.162 nb_sol=0 ticks=666253 tps=100 nb_sec=6662
case_no=174 label=Case6.162 nb_sol=0 ticks=541789 tps=100 nb_sec=5417
case_no=174 label=Case6.162 nb_sol=0 ticks=473160 tps=100 nb_sec=4731
case_no=174 label=Case6.162 nb_sol=0 ticks=478255 tps=100 nb_sec=4782
case_no=174 label=Case6.162 nb_sol=0 ticks=466933 tps=100 nb_sec=4669
case_no=174 label=Case6.162 nb_sol=0 ticks=454505 tps=100 nb_sec=4545
case_no=174 label=Case6.162 nb_sol=0 ticks=442219 tps=100 nb_sec=4422
case_no=174 label=Case6.162 nb_sol=0 ticks=434030 tps=100 nb_sec=4340
case_no=174 label=Case6.162 nb_sol=0 ticks=307824 tps=100 nb_sec=3078
case_no=174 label=Case6.162 nb_sol=0 ticks=352757 tps=100 nb_sec=3527
case_no=174 label=Case6.162 nb_sol=0 ticks=317797 tps=100 nb_sec=3177
case_no=174 label=Case6.162 nb_sol=0 ticks=333952 tps=100 nb_sec=3339
case_no=174 label=Case6.162 nb_sol=0 ticks=334342 tps=100 nb_sec=3343
case_no=174 label=Case6.162 nb_sol=0 ticks=587686 tps=100 nb_sec=5876
case_no=174 label=Case6.162 nb_sol=0 ticks=517627 tps=100 nb_sec=5176
case_no=174 label=Case6.162 nb_sol=0 ticks=610379 tps=100 nb_sec=6103
case_no=174 label=Case6.162 nb_sol=0 ticks=306305 tps=100 nb_sec=3063
case_no=174 label=Case6.162 nb_sol=0 ticks=611066 tps=100 nb_sec=6110
case_no=174 label=Case6.162 nb_sol=0 ticks=423480 tps=100 nb_sec=4234
case_no=174 label=Case6.162 nb_sol=0 ticks=281383 tps=100 nb_sec=2813
case_no=174 label=Case6.162 nb_sol=0 ticks=464758 tps=100 nb_sec=4647
case_no=174 label=Case6.162 nb_sol=0 ticks=298297 tps=100 nb_sec=2982
case_no=174 label=Case6.162 nb_sol=0 ticks=286846 tps=100 nb_sec=2868
case_no=174 label=Case6.162 nb_sol=0 ticks=289233 tps=100 nb_sec=2892
case_no=174 label=Case6.162 nb_sol=0 ticks=551938 tps=100 nb_sec=5519
case_no=174 label=Case6.162 nb_sol=0 ticks=513302 tps=100 nb_sec=5133
case_no=174 label=Case6.162 nb_sol=0 ticks=559160 tps=100 nb_sec=5591
case_no=174 label=Case6.162 nb_sol=0 ticks=574203 tps=100 nb_sec=5742
case_no=174 label=Case6.162 nb_sol=0 ticks=453096 tps=100 nb_sec=4530
case_no=174 label=Case6.162 nb_sol=0 ticks=538366 tps=100 nb_sec=5383
case_no=174 label=Case6.162 nb_sol=0 ticks=191315 tps=100 nb_sec=1913
case_no=174 label=Case6.162 nb_sol=0 ticks=342173 tps=100 nb_sec=3421
case_no=174 label=Case6.162 nb_sol=0 ticks=571833 tps=100 nb_sec=5718
case_no=174 label=Case6.162 nb_sol=0 ticks=387120 tps=100 nb_sec=3871
case_no=174 label=Case6.162 nb_sol=0 ticks=383285 tps=100 nb_sec=3832
case_no=174 label=Case6.162 nb_sol=0 ticks=624653 tps=100 nb_sec=6246
case_no=174 label=Case6.162 nb_sol=0 ticks=528295 tps=100 nb_sec=5282
case_no=174 label=Case6.162 nb_sol=0 ticks=570098 tps=100 nb_sec=5700
case_no=174 label=Case6.162 nb_sol=0 ticks=482872 tps=100 nb_sec=4828
case_no=174 label=Case6.162 nb_sol=0 ticks=269037 tps=100 nb_sec=2690
case_no=174 label=Case6.162 nb_sol=0 ticks=285099 tps=100 nb_sec=2850
case_no=174 label=Case6.162 nb_sol=0 ticks=335039 tps=100 nb_sec=3350
case_no=174 label=Case6.162 nb_sol=0 ticks=296123 tps=100 nb_sec=2961
case_no=174 label=Case6.162 nb_sol=0 ticks=365731 tps=100 nb_sec=3657
case_no=174 label=Case6.162 nb_sol=0 ticks=393561 tps=100 nb_sec=3935
case_no=174 label=Case6.162 nb_sol=0 ticks=655939 tps=100 nb_sec=6559
case_no=174 label=Case6.162 nb_sol=0 ticks=232352 tps=100 nb_sec=2323
case_no=174 label=Case6.162 nb_sol=0 ticks=319424 tps=100 nb_sec=3194
case_no=174 label=Case6.162 nb_sol=0 ticks=751067 tps=100 nb_sec=7510
case_no=174 label=Case6.162 nb_sol=0 ticks=727880 tps=100 nb_sec=7278
case_no=174 label=Case6.162 nb_sol=0 ticks=318740 tps=100 nb_sec=3187
case_no=174 label=Case6.162 nb_sol=0 ticks=322547 tps=100 nb_sec=3225
case_no=174 label=Case6.162 nb_sol=0 ticks=226278 tps=100 nb_sec=2262
case_no=174 label=Case6.162 nb_sol=0 ticks=558965 tps=100 nb_sec=5589
case_no=174 label=Case6.162 nb_sol=0 ticks=544595 tps=100 nb_sec=5445
case_no=174 label=Case6.162 nb_sol=0 ticks=455660 tps=100 nb_sec=4556
case_no=174 label=Case6.162 nb_sol=0 ticks=481541 tps=100 nb_sec=4815
case_no=174 label=Case6.162 nb_sol=0 ticks=520974 tps=100 nb_sec=5209
case_no=174 label=Case6.162 nb_sol=0 ticks=430273 tps=100 nb_sec=4302
case_no=174 label=Case6.162 nb_sol=0 ticks=656540 tps=100 nb_sec=6565
case_no=174 label=Case6.162 nb_sol=0 ticks=477977 tps=100 nb_sec=4779
case_no=174 label=Case6.162 nb_sol=0 ticks=690736 tps=100 nb_sec=6907
case_no=174 label=Case6.162 nb_sol=0 ticks=263712 tps=100 nb_sec=2637
case_no=174 label=Case6.162 nb_sol=0 ticks=513069 tps=100 nb_sec=5130
case_no=174 label=Case6.162 nb_sol=0 ticks=324654 tps=100 nb_sec=3246
case_no=174 label=Case6.162 nb_sol=0 ticks=468035 tps=100 nb_sec=4680
case_no=174 label=Case6.162 nb_sol=0 ticks=261555 tps=100 nb_sec=2615
case_no=174 label=Case6.162 nb_sol=0 ticks=596162 tps=100 nb_sec=5961
case_no=174 label=Case6.162 nb_sol=0 ticks=295958 tps=100 nb_sec=2959
case_no=174 label=Case6.162 nb_sol=0 ticks=645719 tps=100 nb_sec=6457
case_no=174 label=Case6.162 nb_sol=0 ticks=572477 tps=100 nb_sec=5724
case_no=174 label=Case6.162 nb_sol=0 ticks=774934 tps=100 nb_sec=7749
case_no=174 label=Case6.162 nb_sol=0 ticks=663179 tps=100 nb_sec=6631
case_no=174 label=Case6.162 nb_sol=0 ticks=617319 tps=100 nb_sec=6173
case_no=174 label=Case6.162 nb_sol=0 ticks=606011 tps=100 nb_sec=6060
case_no=174 label=Case6.162 nb_sol=0 ticks=765044 tps=100 nb_sec=7650
case_no=174 label=Case6.162 nb_sol=0 ticks=584503 tps=100 nb_sec=5845
case_no=174 label=Case6.162 nb_sol=0 ticks=724273 tps=100 nb_sec=7242
case_no=174 label=Case6.162 nb_sol=0 ticks=658179 tps=100 nb_sec=6581
case_no=174 label=Case6.162 nb_sol=0 ticks=638619 tps=100 nb_sec=6386
case_no=174 label=Case6.162 nb_sol=0 ticks=622992 tps=100 nb_sec=6229
case_no=174 label=Case6.162 nb_sol=0 ticks=652772 tps=100 nb_sec=6527
case_no=174 label=Case6.162 nb_sol=0 ticks=584079 tps=100 nb_sec=5840
case_no=174 label=Case6.162 nb_sol=0 ticks=631123 tps=100 nb_sec=6311
case_no=174 label=Case6.162 nb_sol=0 ticks=511152 tps=100 nb_sec=5111
case_no=174 label=Case6.162 nb_sol=0 ticks=662698 tps=100 nb_sec=6626
case_no=174 label=Case6.162 nb_sol=0 ticks=538820 tps=100 nb_sec=5388
case_no=174 label=Case6.162 nb_sol=0 ticks=522402 tps=100 nb_sec=5224
case_no=174 label=Case6.162 nb_sol=0 ticks=539494 tps=100 nb_sec=5394
case_no=174 label=Case6.162 nb_sol=0 ticks=565526 tps=100 nb_sec=5655
case_no=174 label=Case6.162 nb_sol=0 ticks=535749 tps=100 nb_sec=5357
case_no=174 label=Case6.162 nb_sol=0 ticks=524119 tps=100 nb_sec=5241
case_no=174 label=Case6.162 nb_sol=0 ticks=534792 tps=100 nb_sec=5347
case_no=174 label=Case6.162 nb_sol=0 ticks=491149 tps=100 nb_sec=4911
case_no=174 label=Case6.162 nb_sol=0 ticks=401044 tps=100 nb_sec=4010
case_no=174 label=Case6.162 nb_sol=0 ticks=573293 tps=100 nb_sec=5732
case_no=174 label=Case6.162 nb_sol=0 ticks=628902 tps=100 nb_sec=6289
case_no=174 label=Case6.162 nb_sol=0 ticks=757742 tps=100 nb_sec=7577
case_no=174 label=Case6.162 nb_sol=0 ticks=284911 tps=100 nb_sec=2849
case_no=174 label=Case6.162 nb_sol=0 ticks=382330 tps=100 nb_sec=3823
case_no=174 label=Case6.162 nb_sol=0 ticks=320427 tps=100 nb_sec=3204
case_no=174 label=Case6.162 nb_sol=0 ticks=358808 tps=100 nb_sec=3588
case_no=174 label=Case6.162 nb_sol=0 ticks=595278 tps=100 nb_sec=5952
case_no=174 label=Case6.162 nb_sol=0 ticks=323963 tps=100 nb_sec=3239
case_no=174 label=Case6.162 nb_sol=0 ticks=474984 tps=100 nb_sec=4749
case_no=174 label=Case6.162 nb_sol=0 ticks=299582 tps=100 nb_sec=2995
case_no=174 label=Case6.162 nb_sol=0 ticks=199347 tps=100 nb_sec=1993
case_no=174 label=Case6.162 nb_sol=0 ticks=456833 tps=100 nb_sec=4568
case_no=174 label=Case6.162 nb_sol=0 ticks=263636 tps=100 nb_sec=2636
case_no=174 label=Case6.162 nb_sol=0 ticks=244457 tps=100 nb_sec=2444
case_no=174 label=Case6.162 nb_sol=0 ticks=288705 tps=100 nb_sec=2887
case_no=174 label=Case6.162 nb_sol=0 ticks=330110 tps=100 nb_sec=3301
case_no=174 label=Case6.162 nb_sol=0 ticks=319850 tps=100 nb_sec=3198
case_no=174 label=Case6.162 nb_sol=0 ticks=331186 tps=100 nb_sec=3311
case_no=174 label=Case6.162 nb_sol=0 ticks=343447 tps=100 nb_sec=3434
case_no=174 label=Case6.162 nb_sol=0 ticks=263325 tps=100 nb_sec=2633
case_no=174 label=Case6.162 nb_sol=0 ticks=227873 tps=100 nb_sec=2278
case_no=174 label=Case6.162 nb_sol=0 ticks=661893 tps=100 nb_sec=6618
case_no=174 label=Case6.162 nb_sol=0 ticks=439684 tps=100 nb_sec=4396
case_no=174 label=Case6.162 nb_sol=0 ticks=297898 tps=100 nb_sec=2978
case_no=174 label=Case6.162 nb_sol=0 ticks=553182 tps=100 nb_sec=5531
case_no=174 label=Case6.162 nb_sol=0 ticks=666941 tps=100 nb_sec=6669
case_no=174 label=Case6.162 nb_sol=0 ticks=470868 tps=100 nb_sec=4708
case_no=174 label=Case6.162 nb_sol=0 ticks=749191 tps=100 nb_sec=7491
case_no=174 label=Case6.162 nb_sol=0 ticks=420718 tps=100 nb_sec=4207
case_no=174 label=Case6.162 nb_sol=0 ticks=886599 tps=100 nb_sec=8865
case_no=174 label=Case6.162 nb_sol=0 ticks=698686 tps=100 nb_sec=6986
case_no=174 label=Case6.162 nb_sol=0 ticks=439701 tps=100 nb_sec=4397
case_no=174 label=Case6.162 nb_sol=0 ticks=603519 tps=100 nb_sec=6035
case_no=174 label=Case6.162 nb_sol=0 ticks=630461 tps=100 nb_sec=6304
case_no=174 label=Case6.162 nb_sol=0 ticks=535217 tps=100 nb_sec=5352
case_no=174 label=Case6.162 nb_sol=0 ticks=579167 tps=100 nb_sec=5791
case_no=174 label=Case6.162 nb_sol=0 ticks=284989 tps=100 nb_sec=2849
case_no=174 label=Case6.162 nb_sol=0 ticks=277114 tps=100 nb_sec=2771
case_no=174 label=Case6.162 nb_sol=0 ticks=534600 tps=100 nb_sec=5346
case_no=174 label=Case6.162 nb_sol=0 ticks=315757 tps=100 nb_sec=3157
case_no=174 label=Case6.162 nb_sol=0 ticks=567484 tps=100 nb_sec=5674
case_no=174 label=Case6.162 nb_sol=0 ticks=337515 tps=100 nb_sec=3375
case_no=174 label=Case6.162 nb_sol=0 ticks=566721 tps=100 nb_sec=5667
case_no=174 label=Case6.162 nb_sol=0 ticks=573716 tps=100 nb_sec=5737
case_no=174 label=Case6.162 nb_sol=0 ticks=664896 tps=100 nb_sec=6648
case_no=174 label=Case6.162 nb_sol=0 ticks=393212 tps=100 nb_sec=3932
case_no=174 label=Case6.162 nb_sol=0 ticks=322305 tps=100 nb_sec=3223
case_no=174 label=Case6.162 nb_sol=0 ticks=535171 tps=100 nb_sec=5351
case_no=174 label=Case6.162 nb_sol=0 ticks=616105 tps=100 nb_sec=6161
case_no=174 label=Case6.162 nb_sol=0 ticks=597100 tps=100 nb_sec=5971
case_no=174 label=Case6.162 nb_sol=0 ticks=347817 tps=100 nb_sec=3478
case_no=174 label=Case6.162 nb_sol=0 ticks=568397 tps=100 nb_sec=5683
case_no=174 label=Case6.162 nb_sol=0 ticks=256773 tps=100 nb_sec=2567
case_no=174 label=Case6.162 nb_sol=0 ticks=275086 tps=100 nb_sec=2750
case_no=174 label=Case6.162 nb_sol=0 ticks=632174 tps=100 nb_sec=6321
case_no=174 label=Case6.162 nb_sol=0 ticks=366880 tps=100 nb_sec=3668
case_no=174 label=Case6.162 nb_sol=0 ticks=524465 tps=100 nb_sec=5244
case_no=174 label=Case6.162 nb_sol=0 ticks=716138 tps=100 nb_sec=7161
case_no=174 label=Case6.162 nb_sol=0 ticks=292703 tps=100 nb_sec=2927
case_no=174 label=Case6.162 nb_sol=0 ticks=531019 tps=100 nb_sec=5310
case_no=174 label=Case6.162 nb_sol=0 ticks=573742 tps=100 nb_sec=5737
case_no=174 label=Case6.162 nb_sol=0 ticks=366759 tps=100 nb_sec=3667
case_no=174 label=Case6.162 nb_sol=0 ticks=439051 tps=100 nb_sec=4390
case_no=174 label=Case6.162 nb_sol=0 ticks=305556 tps=100 nb_sec=3055
case_no=174 label=Case6.162 nb_sol=0 ticks=316709 tps=100 nb_sec=3167
case_no=174 label=Case6.162 nb_sol=0 ticks=307882 tps=100 nb_sec=3078
case_no=174 label=Case6.162 nb_sol=0 ticks=494278 tps=100 nb_sec=4942
case_no=174 label=Case6.162 nb_sol=0 ticks=271566 tps=100 nb_sec=2715
case_no=174 label=Case6.162 nb_sol=0 ticks=332501 tps=100 nb_sec=3325
case_no=174 label=Case6.162 nb_sol=0 ticks=575827 tps=100 nb_sec=5758
case_no=174 label=Case6.162 nb_sol=0 ticks=411521 tps=100 nb_sec=4115
case_no=174 label=Case6.162 nb_sol=0 ticks=312524 tps=100 nb_sec=3125
case_no=174 label=Case6.162 nb_sol=0 ticks=290323 tps=100 nb_sec=2903
case_no=174 label=Case6.162 nb_sol=0 ticks=394610 tps=100 nb_sec=3946
case_no=174 label=Case6.162 nb_sol=0 ticks=610454 tps=100 nb_sec=6104
case_no=174 label=Case6.162 nb_sol=0 ticks=663368 tps=100 nb_sec=6633
case_no=174 label=Case6.162 nb_sol=0 ticks=652827 tps=100 nb_sec=6528
case_no=174 label=Case6.162 nb_sol=0 ticks=394399 tps=100 nb_sec=3943
case_no=174 label=Case6.162 nb_sol=0 ticks=388191 tps=100 nb_sec=3881
case_no=174 label=Case6.162 nb_sol=0 ticks=579666 tps=100 nb_sec=5796
case_no=174 label=Case6.162 nb_sol=0 ticks=652598 tps=100 nb_sec=6525
case_no=174 label=Case6.162 nb_sol=0 ticks=514843 tps=100 nb_sec=5148
case_no=174 label=Case6.162 nb_sol=0 ticks=646729 tps=100 nb_sec=6467
case_no=174 label=Case6.162 nb_sol=0 ticks=462066 tps=100 nb_sec=4620
case_no=174 label=Case6.162 nb_sol=0 ticks=385393 tps=100 nb_sec=3853
case_no=174 label=Case6.162 nb_sol=0 ticks=611976 tps=100 nb_sec=6119
case_no=174 label=Case6.162 nb_sol=0 ticks=479876 tps=100 nb_sec=4798
case_no=174 label=Case6.162 nb_sol=0 ticks=385587 tps=100 nb_sec=3855
case_no=174 label=Case6.162 nb_sol=0 ticks=715990 tps=100 nb_sec=7159
case_no=174 label=Case6.162 nb_sol=0 ticks=601680 tps=100 nb_sec=6016
case_no=174 label=Case6.162 nb_sol=0 ticks=665994 tps=100 nb_sec=6659
case_no=174 label=Case6.162 nb_sol=0 ticks=279755 tps=100 nb_sec=2797
case_no=174 label=Case6.162 nb_sol=0 ticks=312008 tps=100 nb_sec=3120
case_no=174 label=Case6.162 nb_sol=0 ticks=609483 tps=100 nb_sec=6094
case_no=174 label=Case6.162 nb_sol=0 ticks=250658 tps=100 nb_sec=2506
case_no=174 label=Case6.162 nb_sol=0 ticks=651196 tps=100 nb_sec=6511
case_no=174 label=Case6.162 nb_sol=0 ticks=616857 tps=100 nb_sec=6168
case_no=174 label=Case6.162 nb_sol=0 ticks=311424 tps=100 nb_sec=3114
case_no=174 label=Case6.162 nb_sol=0 ticks=649236 tps=100 nb_sec=6492
case_no=174 label=Case6.162 nb_sol=0 ticks=589595 tps=100 nb_sec=5895
case_no=174 label=Case6.162 nb_sol=0 ticks=544337 tps=100 nb_sec=5443
case_no=174 label=Case6.162 nb_sol=0 ticks=569638 tps=100 nb_sec=5696
case_no=174 label=Case6.162 nb_sol=0 ticks=510117 tps=100 nb_sec=5101
case_no=174 label=Case6.162 nb_sol=0 ticks=507570 tps=100 nb_sec=5075
case_no=174 label=Case6.162 nb_sol=0 ticks=661105 tps=100 nb_sec=6611
case_no=174 label=Case6.162 nb_sol=0 ticks=315196 tps=100 nb_sec=3151
case_no=174 label=Case6.162 nb_sol=0 ticks=636179 tps=100 nb_sec=6361
case_no=174 label=Case6.162 nb_sol=0 ticks=577397 tps=100 nb_sec=5773
case_no=174 label=Case6.162 nb_sol=0 ticks=255343 tps=100 nb_sec=2553
case_no=174 label=Case6.162 nb_sol=0 ticks=583008 tps=100 nb_sec=5830
case_no=174 label=Case6.162 nb_sol=0 ticks=502105 tps=100 nb_sec=5021
case_no=174 label=Case6.162 nb_sol=0 ticks=223137 tps=100 nb_sec=2231
case_no=174 label=Case6.162 nb_sol=0 ticks=343512 tps=100 nb_sec=3435
case_no=174 label=Case6.162 nb_sol=0 ticks=461985 tps=100 nb_sec=4619
case_no=174 label=Case6.162 nb_sol=0 ticks=531107 tps=100 nb_sec=5311
case_no=174 label=Case6.162 nb_sol=0 ticks=227550 tps=100 nb_sec=2275
case_no=174 label=Case6.162 nb_sol=0 ticks=439357 tps=100 nb_sec=4393
case_no=174 label=Case6.162 nb_sol=0 ticks=480765 tps=100 nb_sec=4807
case_no=174 label=Case6.162 nb_sol=0 ticks=696095 tps=100 nb_sec=6960
case_no=174 label=Case6.162 nb_sol=0 ticks=547852 tps=100 nb_sec=5478
case_no=174 label=Case6.162 nb_sol=0 ticks=506122 tps=100 nb_sec=5061
case_no=174 label=Case6.162 nb_sol=0 ticks=611684 tps=100 nb_sec=6116
case_no=174 label=Case6.162 nb_sol=0 ticks=236277 tps=100 nb_sec=2362
case_no=174 label=Case6.162 nb_sol=0 ticks=520374 tps=100 nb_sec=5203
case_no=174 label=Case6.162 nb_sol=0 ticks=398620 tps=100 nb_sec=3986
case_no=174 label=Case6.162 nb_sol=0 ticks=627447 tps=100 nb_sec=6274
case_no=174 label=Case6.162 nb_sol=0 ticks=539936 tps=100 nb_sec=5399
case_no=174 label=Case6.162 nb_sol=0 ticks=500411 tps=100 nb_sec=5004
case_no=174 label=Case6.162 nb_sol=0 ticks=642991 tps=100 nb_sec=6429
case_no=174 label=Case6.162 nb_sol=0 ticks=375906 tps=100 nb_sec=3759
case_no=174 label=Case6.162 nb_sol=0 ticks=520265 tps=100 nb_sec=5202
case_no=174 label=Case6.162 nb_sol=0 ticks=603587 tps=100 nb_sec=6035
case_no=174 label=Case6.162 nb_sol=0 ticks=528605 tps=100 nb_sec=5286
case_no=174 label=Case6.162 nb_sol=0 ticks=513578 tps=100 nb_sec=5135
case_no=174 label=Case6.162 nb_sol=0 ticks=235297 tps=100 nb_sec=2352
case_no=174 label=Case6.162 nb_sol=0 ticks=309023 tps=100 nb_sec=3090
case_no=174 label=Case6.162 nb_sol=0 ticks=257269 tps=100 nb_sec=2572
case_no=174 label=Case6.162 nb_sol=0 ticks=311315 tps=100 nb_sec=3113
case_no=174 label=Case6.162 nb_sol=0 ticks=213291 tps=100 nb_sec=2132
case_no=174 label=Case6.162 nb_sol=0 ticks=499380 tps=100 nb_sec=4993
case_no=174 label=Case6.162 nb_sol=0 ticks=352371 tps=100 nb_sec=3523
case_no=174 label=Case6.162 nb_sol=0 ticks=650145 tps=100 nb_sec=6501
case_no=174 label=Case6.162 nb_sol=0 ticks=654811 tps=100 nb_sec=6548
case_no=174 label=Case6.162 nb_sol=0 ticks=266719 tps=100 nb_sec=2667
case_no=174 label=Case6.162 nb_sol=0 ticks=552775 tps=100 nb_sec=5527
case_no=174 label=Case6.162 nb_sol=0 ticks=220572 tps=100 nb_sec=2205
case_no=174 label=Case6.162 nb_sol=0 ticks=327569 tps=100 nb_sec=3275
case_no=174 label=Case6.162 nb_sol=0 ticks=738780 tps=100 nb_sec=7387
case_no=174 label=Case6.162 nb_sol=0 ticks=362717 tps=100 nb_sec=3627
case_no=174 label=Case6.162 nb_sol=0 ticks=592749 tps=100 nb_sec=5927
case_no=174 label=Case6.162 nb_sol=0 ticks=265100 tps=100 nb_sec=2651
case_no=174 label=Case6.162 nb_sol=0 ticks=483354 tps=100 nb_sec=4833
case_no=174 label=Case6.162 nb_sol=0 ticks=309812 tps=100 nb_sec=3098
case_no=174 label=Case6.162 nb_sol=0 ticks=506945 tps=100 nb_sec=5069
case_no=174 label=Case6.162 nb_sol=0 ticks=426662 tps=100 nb_sec=4266
case_no=174 label=Case6.162 nb_sol=0 ticks=592692 tps=100 nb_sec=5926
case_no=174 label=Case6.162 nb_sol=0 ticks=555213 tps=100 nb_sec=5552
case_no=174 label=Case6.162 nb_sol=0 ticks=518132 tps=100 nb_sec=5181
case_no=174 label=Case6.162 nb_sol=0 ticks=587253 tps=100 nb_sec=5872
case_no=174 label=Case6.162 nb_sol=0 ticks=322140 tps=100 nb_sec=3221
case_no=174 label=Case6.162 nb_sol=0 ticks=341835 tps=100 nb_sec=3418
case_no=174 label=Case6.162 nb_sol=0 ticks=290172 tps=100 nb_sec=2901
case_no=174 label=Case6.162 nb_sol=0 ticks=510570 tps=100 nb_sec=5105
case_no=174 label=Case6.162 nb_sol=0 ticks=545890 tps=100 nb_sec=5458
case_no=174 label=Case6.162 nb_sol=0 ticks=590165 tps=100 nb_sec=5901
case_no=174 label=Case6.162 nb_sol=0 ticks=229104 tps=100 nb_sec=2291
case_no=174 label=Case6.162 nb_sol=0 ticks=290541 tps=100 nb_sec=2905
case_no=174 label=Case6.162 nb_sol=0 ticks=252679 tps=100 nb_sec=2526
case_no=174 label=Case6.162 nb_sol=0 ticks=237877 tps=100 nb_sec=2378
case_no=174 label=Case6.162 nb_sol=0 ticks=300619 tps=100 nb_sec=3006
case_no=174 label=Case6.162 nb_sol=0 ticks=610627 tps=100 nb_sec=6106
case_no=174 label=Case6.162 nb_sol=0 ticks=273763 tps=100 nb_sec=2737
case_no=174 label=Case6.162 nb_sol=0 ticks=622428 tps=100 nb_sec=6224
case_no=174 label=Case6.162 nb_sol=0 ticks=819763 tps=100 nb_sec=8197
case_no=174 label=Case6.162 nb_sol=0 ticks=687273 tps=100 nb_sec=6872
case_no=174 label=Case6.162 nb_sol=0 ticks=670585 tps=100 nb_sec=6705
case_no=174 label=Case6.162 nb_sol=0 ticks=770680 tps=100 nb_sec=7706
case_no=174 label=Case6.162 nb_sol=0 ticks=729322 tps=100 nb_sec=7293
case_no=174 label=Case6.162 nb_sol=0 ticks=591411 tps=100 nb_sec=5914
case_no=174 label=Case6.162 nb_sol=0 ticks=633223 tps=100 nb_sec=6332
case_no=174 label=Case6.162 nb_sol=0 ticks=715859 tps=100 nb_sec=7158
case_no=174 label=Case6.162 nb_sol=0 ticks=770225 tps=100 nb_sec=7702
case_no=174 label=Case6.162 nb_sol=0 ticks=744756 tps=100 nb_sec=7447
case_no=174 label=Case6.162 nb_sol=0 ticks=612751 tps=100 nb_sec=6127
case_no=174 label=Case6.162 nb_sol=0 ticks=669162 tps=100 nb_sec=6691
case_no=174 label=Case6.162 nb_sol=0 ticks=811459 tps=100 nb_sec=8114
case_no=174 label=Case6.162 nb_sol=0 ticks=841378 tps=100 nb_sec=8413
case_no=174 label=Case6.162 nb_sol=0 ticks=636249 tps=100 nb_sec=6362
case_no=174 label=Case6.162 nb_sol=0 ticks=678925 tps=100 nb_sec=6789
case_no=174 label=Case6.162 nb_sol=0 ticks=324725 tps=100 nb_sec=3247
case_no=174 label=Case6.162 nb_sol=0 ticks=298357 tps=100 nb_sec=2983
case_no=174 label=Case6.162 nb_sol=0 ticks=641787 tps=100 nb_sec=6417
case_no=174 label=Case6.162 nb_sol=0 ticks=509321 tps=100 nb_sec=5093
case_no=174 label=Case6.162 nb_sol=0 ticks=324825 tps=100 nb_sec=3248
case_no=174 label=Case6.162 nb_sol=0 ticks=755140 tps=100 nb_sec=7551
case_no=174 label=Case6.162 nb_sol=0 ticks=381464 tps=100 nb_sec=3814
case_no=174 label=Case6.162 nb_sol=0 ticks=819653 tps=100 nb_sec=8196
case_no=174 label=Case6.162 nb_sol=0 ticks=459113 tps=100 nb_sec=4591
case_no=174 label=Case6.162 nb_sol=0 ticks=664931 tps=100 nb_sec=6649
case_no=174 label=Case6.162 nb_sol=0 ticks=685632 tps=100 nb_sec=6856
case_no=174 label=Case6.162 nb_sol=0 ticks=266017 tps=100 nb_sec=2660
case_no=174 label=Case6.162 nb_sol=0 ticks=542005 tps=100 nb_sec=5420
case_no=174 label=Case6.162 nb_sol=0 ticks=595791 tps=100 nb_sec=5957
case_no=174 label=Case6.162 nb_sol=0 ticks=246001 tps=100 nb_sec=2460
case_no=174 label=Case6.162 nb_sol=0 ticks=577913 tps=100 nb_sec=5779
case_no=174 label=Case6.162 nb_sol=0 ticks=600317 tps=100 nb_sec=6003
case_no=174 label=Case6.162 nb_sol=0 ticks=342376 tps=100 nb_sec=3423
case_no=174 label=Case6.162 nb_sol=0 ticks=267405 tps=100 nb_sec=2674
case_no=174 label=Case6.162 nb_sol=0 ticks=386963 tps=100 nb_sec=3869
case_no=174 label=Case6.162 nb_sol=0 ticks=317111 tps=100 nb_sec=3171
case_no=174 label=Case6.162 nb_sol=0 ticks=836683 tps=100 nb_sec=8366
case_no=174 label=Case6.162 nb_sol=0 ticks=663787 tps=100 nb_sec=6637
case_no=174 label=Case6.162 nb_sol=0 ticks=683957 tps=100 nb_sec=6839
case_no=174 label=Case6.162 nb_sol=0 ticks=750737 tps=100 nb_sec=7507
case_no=174 label=Case6.162 nb_sol=0 ticks=422664 tps=100 nb_sec=4226
case_no=174 label=Case6.162 nb_sol=0 ticks=596055 tps=100 nb_sec=5960
case_no=174 label=Case6.162 nb_sol=0 ticks=633631 tps=100 nb_sec=6336
case_no=174 label=Case6.162 nb_sol=0 ticks=668290 tps=100 nb_sec=6682
case_no=174 label=Case6.162 nb_sol=0 ticks=787485 tps=100 nb_sec=7874
case_no=174 label=Case6.162 nb_sol=0 ticks=514688 tps=100 nb_sec=5146
case_no=174 label=Case6.162 nb_sol=0 ticks=639794 tps=100 nb_sec=6397
case_no=174 label=Case6.162 nb_sol=0 ticks=754267 tps=100 nb_sec=7542
case_no=174 label=Case6.162 nb_sol=0 ticks=694941 tps=100 nb_sec=6949
case_no=174 label=Case6.162 nb_sol=0 ticks=634000 tps=100 nb_sec=6340
case_no=174 label=Case6.162 nb_sol=0 ticks=850541 tps=100 nb_sec=8505
case_no=174 label=Case6.162 nb_sol=0 ticks=419703 tps=100 nb_sec=4197
case_no=174 label=Case6.162 nb_sol=0 ticks=682928 tps=100 nb_sec=6829
case_no=174 label=Case6.162 nb_sol=0 ticks=566786 tps=100 nb_sec=5667
case_no=174 label=Case6.162 nb_sol=0 ticks=297790 tps=100 nb_sec=2977
case_no=174 label=Case6.162 nb_sol=0 ticks=386613 tps=100 nb_sec=3866
case_no=174 label=Case6.162 nb_sol=0 ticks=401702 tps=100 nb_sec=4017
case_no=174 label=Case6.162 nb_sol=0 ticks=277202 tps=100 nb_sec=2772
case_no=174 label=Case6.162 nb_sol=0 ticks=349337 tps=100 nb_sec=3493
case_no=174 label=Case6.162 nb_sol=0 ticks=605868 tps=100 nb_sec=6058
case_no=174 label=Case6.162 nb_sol=0 ticks=719903 tps=100 nb_sec=7199
case_no=174 label=Case6.162 nb_sol=0 ticks=513463 tps=100 nb_sec=5134
case_no=174 label=Case6.162 nb_sol=0 ticks=664271 tps=100 nb_sec=6642
case_no=174 label=Case6.162 nb_sol=0 ticks=388075 tps=100 nb_sec=3880
case_no=174 label=Case6.162 nb_sol=0 ticks=310292 tps=100 nb_sec=3102
case_no=174 label=Case6.162 nb_sol=0 ticks=273333 tps=100 nb_sec=2733
case_no=174 label=Case6.162 nb_sol=0 ticks=571607 tps=100 nb_sec=5716
case_no=174 label=Case6.162 nb_sol=0 ticks=281087 tps=100 nb_sec=2810
case_no=174 label=Case6.162 nb_sol=0 ticks=303682 tps=100 nb_sec=3036
case_no=174 label=Case6.162 nb_sol=0 ticks=288381 tps=100 nb_sec=2883
case_no=174 label=Case6.162 nb_sol=0 ticks=252140 tps=100 nb_sec=2521
case_no=174 label=Case6.162 nb_sol=0 ticks=388842 tps=100 nb_sec=3888
case_no=174 label=Case6.162 nb_sol=0 ticks=332504 tps=100 nb_sec=3325
case_no=174 label=Case6.162 nb_sol=0 ticks=313716 tps=100 nb_sec=3137
case_no=174 label=Case6.162 nb_sol=0 ticks=512253 tps=100 nb_sec=5122
case_no=174 label=Case6.162 nb_sol=0 ticks=552689 tps=100 nb_sec=5526
case_no=174 label=Case6.162 nb_sol=0 ticks=467917 tps=100 nb_sec=4679
case_no=174 label=Case6.162 nb_sol=0 ticks=594724 tps=100 nb_sec=5947
case_no=174 label=Case6.162 nb_sol=0 ticks=583576 tps=100 nb_sec=5835
case_no=174 label=Case6.162 nb_sol=0 ticks=335628 tps=100 nb_sec=3356
case_no=174 label=Case6.162 nb_sol=0 ticks=262497 tps=100 nb_sec=2624
case_no=174 label=Case6.162 nb_sol=0 ticks=268617 tps=100 nb_sec=2686
case_no=174 label=Case6.162 nb_sol=0 ticks=488002 tps=100 nb_sec=4880
case_no=174 label=Case6.162 nb_sol=0 ticks=424905 tps=100 nb_sec=4249
case_no=174 label=Case6.162 nb_sol=0 ticks=531066 tps=100 nb_sec=5310
case_no=174 label=Case6.162 nb_sol=0 ticks=489606 tps=100 nb_sec=4896
case_no=174 label=Case6.162 nb_sol=0 ticks=508906 tps=100 nb_sec=5089
case_no=174 label=Case6.162 nb_sol=0 ticks=461792 tps=100 nb_sec=4617
case_no=174 label=Case6.162 nb_sol=0 ticks=589243 tps=100 nb_sec=5892
case_no=174 label=Case6.162 nb_sol=0 ticks=582168 tps=100 nb_sec=5821
case_no=174 label=Case6.162 nb_sol=0 ticks=630894 tps=100 nb_sec=6308
case_no=174 label=Case6.162 nb_sol=0 ticks=519833 tps=100 nb_sec=5198
case_no=174 label=Case6.162 nb_sol=0 ticks=364512 tps=100 nb_sec=3645
case_no=174 label=Case6.162 nb_sol=0 ticks=381780 tps=100 nb_sec=3817
case_no=174 label=Case6.162 nb_sol=0 ticks=359588 tps=100 nb_sec=3595
case_no=174 label=Case6.162 nb_sol=0 ticks=331953 tps=100 nb_sec=3319
case_no=174 label=Case6.162 nb_sol=0 ticks=298902 tps=100 nb_sec=2989
case_no=174 label=Case6.162 nb_sol=0 ticks=321266 tps=100 nb_sec=3212
case_no=174 label=Case6.162 nb_sol=0 ticks=306965 tps=100 nb_sec=3069
case_no=174 label=Case6.162 nb_sol=0 ticks=354689 tps=100 nb_sec=3546
case_no=174 label=Case6.162 nb_sol=0 ticks=284419 tps=100 nb_sec=2844
case_no=174 label=Case6.162 nb_sol=0 ticks=361612 tps=100 nb_sec=3616
case_no=174 label=Case6.162 nb_sol=0 ticks=272150 tps=100 nb_sec=2721
case_no=174 label=Case6.162 nb_sol=0 ticks=287155 tps=100 nb_sec=2871
case_no=174 label=Case6.162 nb_sol=0 ticks=402578 tps=100 nb_sec=4025
case_no=174 label=Case6.162 nb_sol=0 ticks=322253 tps=100 nb_sec=3222
case_no=174 label=Case6.162 nb_sol=0 ticks=382875 tps=100 nb_sec=3828
case_no=174 label=Case6.162 nb_sol=0 ticks=390386 tps=100 nb_sec=3903
case_no=174 label=Case6.162 nb_sol=0 ticks=360276 tps=100 nb_sec=3602
case_no=174 label=Case6.162 nb_sol=0 ticks=340078 tps=100 nb_sec=3400
case_no=174 label=Case6.162 nb_sol=0 ticks=321317 tps=100 nb_sec=3213
case_no=174 label=Case6.162 nb_sol=0 ticks=375814 tps=100 nb_sec=3758
case_no=174 label=Case6.162 nb_sol=0 ticks=335072 tps=100 nb_sec=3350
case_no=174 label=Case6.162 nb_sol=0 ticks=533012 tps=100 nb_sec=5330
case_no=174 label=Case6.162 nb_sol=0 ticks=405800 tps=100 nb_sec=4058
case_no=174 label=Case6.162 nb_sol=0 ticks=669752 tps=100 nb_sec=6697
case_no=174 label=Case6.162 nb_sol=0 ticks=378430 tps=100 nb_sec=3784
case_no=174 label=Case6.162 nb_sol=0 ticks=569234 tps=100 nb_sec=5692
case_no=174 label=Case6.162 nb_sol=0 ticks=518633 tps=100 nb_sec=5186
case_no=174 label=Case6.162 nb_sol=0 ticks=507273 tps=100 nb_sec=5072
case_no=174 label=Case6.162 nb_sol=0 ticks=452550 tps=100 nb_sec=4525
case_no=174 label=Case6.162 nb_sol=0 ticks=349356 tps=100 nb_sec=3493
case_no=174 label=Case6.162 nb_sol=0 ticks=226715 tps=100 nb_sec=2267
case_no=174 label=Case6.162 nb_sol=0 ticks=564718 tps=100 nb_sec=5647
case_no=174 label=Case6.162 nb_sol=0 ticks=334194 tps=100 nb_sec=3341
case_no=174 label=Case6.162 nb_sol=0 ticks=309430 tps=100 nb_sec=3094
case_no=174 label=Case6.162 nb_sol=0 ticks=302519 tps=100 nb_sec=3025
case_no=174 label=Case6.162 nb_sol=0 ticks=215818 tps=100 nb_sec=2158
case_no=174 label=Case6.162 nb_sol=0 ticks=579404 tps=100 nb_sec=5794
case_no=174 label=Case6.162 nb_sol=0 ticks=568125 tps=100 nb_sec=5681
case_no=174 label=Case6.162 nb_sol=0 ticks=675933 tps=100 nb_sec=6759
case_no=174 label=Case6.162 nb_sol=0 ticks=359914 tps=100 nb_sec=3599
case_no=174 label=Case6.162 nb_sol=0 ticks=482820 tps=100 nb_sec=4828
case_no=174 label=Case6.162 nb_sol=0 ticks=516232 tps=100 nb_sec=5162
case_no=174 label=Case6.162 nb_sol=0 ticks=550496 tps=100 nb_sec=5504
case_no=174 label=Case6.162 nb_sol=0 ticks=245521 tps=100 nb_sec=2455
case_no=174 label=Case6.162 nb_sol=0 ticks=720338 tps=100 nb_sec=7203
case_no=174 label=Case6.162 nb_sol=0 ticks=613425 tps=100 nb_sec=6134
case_no=174 label=Case6.162 nb_sol=0 ticks=492835 tps=100 nb_sec=4928
case_no=174 label=Case6.162 nb_sol=0 ticks=571869 tps=100 nb_sec=5718
case_no=174 label=Case6.162 nb_sol=0 ticks=641944 tps=100 nb_sec=6419
case_no=174 label=Case6.162 nb_sol=0 ticks=619528 tps=100 nb_sec=6195
case_no=174 label=Case6.162 nb_sol=0 ticks=765696 tps=100 nb_sec=7656
case_no=174 label=Case6.162 nb_sol=0 ticks=478088 tps=100 nb_sec=4780
case_no=174 label=Case6.162 nb_sol=0 ticks=559259 tps=100 nb_sec=5592
case_no=174 label=Case6.162 nb_sol=0 ticks=586794 tps=100 nb_sec=5867
case_no=174 label=Case6.162 nb_sol=0 ticks=763327 tps=100 nb_sec=7633
case_no=174 label=Case6.162 nb_sol=0 ticks=690003 tps=100 nb_sec=6900
case_no=174 label=Case6.162 nb_sol=0 ticks=622587 tps=100 nb_sec=6225
case_no=174 label=Case6.162 nb_sol=0 ticks=616690 tps=100 nb_sec=6166
case_no=174 label=Case6.162 nb_sol=0 ticks=569860 tps=100 nb_sec=5698
case_no=174 label=Case6.162 nb_sol=0 ticks=455470 tps=100 nb_sec=4554
case_no=174 label=Case6.162 nb_sol=0 ticks=721683 tps=100 nb_sec=7216
case_no=174 label=Case6.162 nb_sol=0 ticks=580506 tps=100 nb_sec=5805
case_no=174 label=Case6.162 nb_sol=0 ticks=603736 tps=100 nb_sec=6037
case_no=174 label=Case6.162 nb_sol=0 ticks=615161 tps=100 nb_sec=6151
case_no=174 label=Case6.162 nb_sol=0 ticks=581243 tps=100 nb_sec=5812
case_no=174 label=Case6.162 nb_sol=0 ticks=514909 tps=100 nb_sec=5149
case_no=174 label=Case6.162 nb_sol=0 ticks=375077 tps=100 nb_sec=3750
case_no=174 label=Case6.162 nb_sol=0 ticks=381380 tps=100 nb_sec=3813
case_no=174 label=Case6.162 nb_sol=0 ticks=318120 tps=100 nb_sec=3181
case_no=174 label=Case6.162 nb_sol=0 ticks=513180 tps=100 nb_sec=5131
case_no=174 label=Case6.162 nb_sol=0 ticks=572349 tps=100 nb_sec=5723
case_no=174 label=Case6.162 nb_sol=0 ticks=587231 tps=100 nb_sec=5872
case_no=174 label=Case6.162 nb_sol=0 ticks=580934 tps=100 nb_sec=5809
case_no=174 label=Case6.162 nb_sol=0 ticks=503500 tps=100 nb_sec=5035
case_no=174 label=Case6.162 nb_sol=0 ticks=351682 tps=100 nb_sec=3516
case_no=174 label=Case6.162 nb_sol=0 ticks=315424 tps=100 nb_sec=3154
case_no=174 label=Case6.162 nb_sol=0 ticks=425165 tps=100 nb_sec=4251
case_no=174 label=Case6.162 nb_sol=0 ticks=442582 tps=100 nb_sec=4425
case_no=174 label=Case6.162 nb_sol=0 ticks=452952 tps=100 nb_sec=4529
case_no=174 label=Case6.162 nb_sol=0 ticks=272051 tps=100 nb_sec=2720
case_no=174 label=Case6.162 nb_sol=0 ticks=298379 tps=100 nb_sec=2983
case_no=174 label=Case6.162 nb_sol=0 ticks=232634 tps=100 nb_sec=2326
case_no=174 label=Case6.162 nb_sol=0 ticks=595672 tps=100 nb_sec=5956
case_no=174 label=Case6.162 nb_sol=0 ticks=254083 tps=100 nb_sec=2540
case_no=174 label=Case6.162 nb_sol=0 ticks=416579 tps=100 nb_sec=4165
case_no=174 label=Case6.162 nb_sol=0 ticks=451612 tps=100 nb_sec=4516
case_no=174 label=Case6.162 nb_sol=0 ticks=280773 tps=100 nb_sec=2807
case_no=174 label=Case6.162 nb_sol=0 ticks=259418 tps=100 nb_sec=2594
case_no=174 label=Case6.162 nb_sol=0 ticks=354583 tps=100 nb_sec=3545
case_no=174 label=Case6.162 nb_sol=0 ticks=544375 tps=100 nb_sec=5443
case_no=174 label=Case6.162 nb_sol=0 ticks=282560 tps=100 nb_sec=2825
case_no=174 label=Case6.162 nb_sol=0 ticks=437313 tps=100 nb_sec=4373
case_no=174 label=Case6.162 nb_sol=0 ticks=207202 tps=100 nb_sec=2072
case_no=174 label=Case6.162 nb_sol=0 ticks=530454 tps=100 nb_sec=5304
case_no=174 label=Case6.162 nb_sol=0 ticks=225710 tps=100 nb_sec=2257
case_no=174 label=Case6.162 nb_sol=0 ticks=438757 tps=100 nb_sec=4387
case_no=174 label=Case6.162 nb_sol=0 ticks=282203 tps=100 nb_sec=2822
case_no=174 label=Case6.162 nb_sol=0 ticks=419646 tps=100 nb_sec=4196
case_no=174 label=Case6.162 nb_sol=0 ticks=320382 tps=100 nb_sec=3203
case_no=174 label=Case6.162 nb_sol=0 ticks=311612 tps=100 nb_sec=3116
case_no=174 label=Case6.162 nb_sol=0 ticks=588838 tps=100 nb_sec=5888
case_no=174 label=Case6.162 nb_sol=0 ticks=645287 tps=100 nb_sec=6452
case_no=174 label=Case6.162 nb_sol=0 ticks=532544 tps=100 nb_sec=5325
case_no=174 label=Case6.162 nb_sol=0 ticks=268276 tps=100 nb_sec=2682
case_no=174 label=Case6.162 nb_sol=0 ticks=276057 tps=100 nb_sec=2760
case_no=174 label=Case6.162 nb_sol=0 ticks=467331 tps=100 nb_sec=4673
case_no=174 label=Case6.162 nb_sol=0 ticks=260799 tps=100 nb_sec=2607
case_no=174 label=Case6.162 nb_sol=0 ticks=503401 tps=100 nb_sec=5034
case_no=174 label=Case6.162 nb_sol=0 ticks=461733 tps=100 nb_sec=4617
case_no=174 label=Case6.162 nb_sol=0 ticks=483513 tps=100 nb_sec=4835
case_no=174 label=Case6.162 nb_sol=0 ticks=281964 tps=100 nb_sec=2819
case_no=174 label=Case6.162 nb_sol=0 ticks=213506 tps=100 nb_sec=2135
case_no=174 label=Case6.162 nb_sol=0 ticks=292094 tps=100 nb_sec=2920
case_no=174 label=Case6.162 nb_sol=0 ticks=434209 tps=100 nb_sec=4342
case_no=174 label=Case6.162 nb_sol=0 ticks=279848 tps=100 nb_sec=2798
case_no=174 label=Case6.162 nb_sol=0 ticks=211545 tps=100 nb_sec=2115
case_no=174 label=Case6.162 nb_sol=0 ticks=236759 tps=100 nb_sec=2367
case_no=174 label=Case6.162 nb_sol=0 ticks=227146 tps=100 nb_sec=2271
case_no=174 label=Case6.162 nb_sol=0 ticks=205878 tps=100 nb_sec=2058
case_no=174 label=Case6.162 nb_sol=0 ticks=198862 tps=100 nb_sec=1988
case_no=174 label=Case6.162 nb_sol=0 ticks=545024 tps=100 nb_sec=5450
case_no=174 label=Case6.162 nb_sol=0 ticks=276901 tps=100 nb_sec=2769
case_no=174 label=Case6.162 nb_sol=0 ticks=302407 tps=100 nb_sec=3024
case_no=174 label=Case6.162 nb_sol=0 ticks=732493 tps=100 nb_sec=7324
case_no=174 label=Case6.162 nb_sol=0 ticks=299676 tps=100 nb_sec=2996
case_no=174 label=Case6.162 nb_sol=0 ticks=603871 tps=100 nb_sec=6038
case_no=174 label=Case6.162 nb_sol=0 ticks=485184 tps=100 nb_sec=4851
case_no=174 label=Case6.162 nb_sol=0 ticks=396190 tps=100 nb_sec=3961
case_no=174 label=Case6.162 nb_sol=0 ticks=404945 tps=100 nb_sec=4049
case_no=174 label=Case6.162 nb_sol=0 ticks=357508 tps=100 nb_sec=3575
case_no=174 label=Case6.162 nb_sol=0 ticks=230743 tps=100 nb_sec=2307
case_no=174 label=Case6.162 nb_sol=0 ticks=491014 tps=100 nb_sec=4910
case_no=174 label=Case6.162 nb_sol=0 ticks=484809 tps=100 nb_sec=4848
case_no=174 label=Case6.162 nb_sol=0 ticks=394998 tps=100 nb_sec=3949
case_no=174 label=Case6.162 nb_sol=0 ticks=611431 tps=100 nb_sec=6114
case_no=174 label=Case6.162 nb_sol=0 ticks=591843 tps=100 nb_sec=5918
case_no=174 label=Case6.162 nb_sol=0 ticks=576797 tps=100 nb_sec=5767
case_no=174 label=Case6.162 nb_sol=0 ticks=581010 tps=100 nb_sec=5810
case_no=174 label=Case6.162 nb_sol=0 ticks=299463 tps=100 nb_sec=2994
case_no=174 label=Case6.162 nb_sol=0 ticks=256915 tps=100 nb_sec=2569
case_no=174 label=Case6.162 nb_sol=0 ticks=218872 tps=100 nb_sec=2188
case_no=174 label=Case6.162 nb_sol=0 ticks=245774 tps=100 nb_sec=2457
case_no=174 label=Case6.162 nb_sol=0 ticks=262615 tps=100 nb_sec=2626
case_no=174 label=Case6.162 nb_sol=0 ticks=266898 tps=100 nb_sec=2668
case_no=174 label=Case6.162 nb_sol=0 ticks=250009 tps=100 nb_sec=2500
case_no=174 label=Case6.162 nb_sol=0 ticks=226702 tps=100 nb_sec=2267
case_no=174 label=Case6.162 nb_sol=0 ticks=244295 tps=100 nb_sec=2442
case_no=174 label=Case6.162 nb_sol=0 ticks=280712 tps=100 nb_sec=2807
case_no=174 label=Case6.162 nb_sol=0 ticks=500929 tps=100 nb_sec=5009
case_no=174 label=Case6.162 nb_sol=0 ticks=266101 tps=100 nb_sec=2661
case_no=174 label=Case6.162 nb_sol=0 ticks=272959 tps=100 nb_sec=2729
case_no=174 label=Case6.162 nb_sol=0 ticks=246150 tps=100 nb_sec=2461
case_no=174 label=Case6.162 nb_sol=0 ticks=197307 tps=100 nb_sec=1973
case_no=174 label=Case6.162 nb_sol=0 ticks=507801 tps=100 nb_sec=5078
case_no=174 label=Case6.162 nb_sol=0 ticks=527355 tps=100 nb_sec=5273
case_no=174 label=Case6.162 nb_sol=0 ticks=485441 tps=100 nb_sec=4854
case_no=174 label=Case6.162 nb_sol=0 ticks=476026 tps=100 nb_sec=4760
case_no=174 label=Case6.162 nb_sol=0 ticks=628578 tps=100 nb_sec=6285
case_no=174 label=Case6.162 nb_sol=0 ticks=599367 tps=100 nb_sec=5993
case_no=174 label=Case6.162 nb_sol=0 ticks=608658 tps=100 nb_sec=6086
case_no=174 label=Case6.162 nb_sol=0 ticks=561081 tps=100 nb_sec=5610
case_no=174 label=Case6.162 nb_sol=0 ticks=608169 tps=100 nb_sec=6081
case_no=174 label=Case6.162 nb_sol=0 ticks=686468 tps=100 nb_sec=6864
case_no=174 label=Case6.162 nb_sol=0 ticks=687725 tps=100 nb_sec=6877
case_no=174 label=Case6.162 nb_sol=0 ticks=647557 tps=100 nb_sec=6475
case_no=174 label=Case6.162 nb_sol=0 ticks=728483 tps=100 nb_sec=7284
case_no=174 label=Case6.162 nb_sol=0 ticks=680050 tps=100 nb_sec=6800
case_no=174 label=Case6.162 nb_sol=0 ticks=705756 tps=100 nb_sec=7057
case_no=174 label=Case6.162 nb_sol=0 ticks=540489 tps=100 nb_sec=5404
case_no=174 label=Case6.162 nb_sol=0 ticks=589890 tps=100 nb_sec=5898
case_no=174 label=Case6.162 nb_sol=0 ticks=642304 tps=100 nb_sec=6423
case_no=174 label=Case6.162 nb_sol=0 ticks=475077 tps=100 nb_sec=4750
case_no=174 label=Case6.162 nb_sol=0 ticks=773826 tps=100 nb_sec=7738
case_no=174 label=Case6.162 nb_sol=0 ticks=762262 tps=100 nb_sec=7622
case_no=174 label=Case6.162 nb_sol=0 ticks=639268 tps=100 nb_sec=6392
case_no=174 label=Case6.162 nb_sol=0 ticks=616803 tps=100 nb_sec=6168
case_no=174 label=Case6.162 nb_sol=0 ticks=656510 tps=100 nb_sec=6565
case_no=174 label=Case6.162 nb_sol=0 ticks=581862 tps=100 nb_sec=5818
case_no=174 label=Case6.162 nb_sol=0 ticks=266598 tps=100 nb_sec=2665
case_no=174 label=Case6.162 nb_sol=0 ticks=283274 tps=100 nb_sec=2832
case_no=174 label=Case6.162 nb_sol=0 ticks=313697 tps=100 nb_sec=3136
case_no=174 label=Case6.162 nb_sol=0 ticks=298135 tps=100 nb_sec=2981
case_no=174 label=Case6.162 nb_sol=0 ticks=300365 tps=100 nb_sec=3003
case_no=174 label=Case6.162 nb_sol=0 ticks=296825 tps=100 nb_sec=2968
case_no=174 label=Case6.162 nb_sol=0 ticks=270428 tps=100 nb_sec=2704
case_no=174 label=Case6.162 nb_sol=0 ticks=249584 tps=100 nb_sec=2495
case_no=174 label=Case6.162 nb_sol=0 ticks=296973 tps=100 nb_sec=2969
case_no=174 label=Case6.162 nb_sol=0 ticks=353549 tps=100 nb_sec=3535
case_no=174 label=Case6.162 nb_sol=0 ticks=280037 tps=100 nb_sec=2800
case_no=174 label=Case6.162 nb_sol=0 ticks=243301 tps=100 nb_sec=2433
case_no=174 label=Case6.162 nb_sol=0 ticks=530451 tps=100 nb_sec=5304
case_no=174 label=Case6.162 nb_sol=0 ticks=658419 tps=100 nb_sec=6584
case_no=174 label=Case6.162 nb_sol=0 ticks=370420 tps=100 nb_sec=3704
case_no=174 label=Case6.162 nb_sol=0 ticks=335600 tps=100 nb_sec=3356
case_no=174 label=Case6.162 nb_sol=0 ticks=313180 tps=100 nb_sec=3131
case_no=174 label=Case6.162 nb_sol=0 ticks=656313 tps=100 nb_sec=6563
case_no=174 label=Case6.162 nb_sol=0 ticks=273770 tps=100 nb_sec=2737
case_no=174 label=Case6.162 nb_sol=0 ticks=367816 tps=100 nb_sec=3678
case_no=174 label=Case6.162 nb_sol=0 ticks=391992 tps=100 nb_sec=3919
case_no=174 label=Case6.162 nb_sol=0 ticks=757917 tps=100 nb_sec=7579
case_no=174 label=Case6.162 nb_sol=0 ticks=597528 tps=100 nb_sec=5975
case_no=174 label=Case6.162 nb_sol=0 ticks=619982 tps=100 nb_sec=6199
case_no=174 label=Case6.162 nb_sol=0 ticks=626598 tps=100 nb_sec=6265
case_no=174 label=Case6.162 nb_sol=0 ticks=580493 tps=100 nb_sec=5804
case_no=174 label=Case6.162 nb_sol=0 ticks=606671 tps=100 nb_sec=6066
case_no=174 label=Case6.162 nb_sol=0 ticks=225181 tps=100 nb_sec=2251
case_no=174 label=Case6.162 nb_sol=0 ticks=216488 tps=100 nb_sec=2164
case_no=174 label=Case6.162 nb_sol=0 ticks=278356 tps=100 nb_sec=2783
case_no=174 label=Case6.162 nb_sol=0 ticks=248923 tps=100 nb_sec=2489
case_no=174 label=Case6.162 nb_sol=0 ticks=307706 tps=100 nb_sec=3077
case_no=174 label=Case6.162 nb_sol=0 ticks=273407 tps=100 nb_sec=2734
case_no=174 label=Case6.162 nb_sol=0 ticks=413227 tps=100 nb_sec=4132
case_no=174 label=Case6.162 nb_sol=0 ticks=189700 tps=100 nb_sec=1897
case_no=174 label=Case6.162 nb_sol=0 ticks=279855 tps=100 nb_sec=2798
case_no=174 label=Case6.162 nb_sol=0 ticks=352649 tps=100 nb_sec=3526
case_no=174 label=Case6.162 nb_sol=0 ticks=339319 tps=100 nb_sec=3393
case_no=174 label=Case6.162 nb_sol=0 ticks=263814 tps=100 nb_sec=2638
case_no=174 label=Case6.162 nb_sol=0 ticks=407175 tps=100 nb_sec=4071
case_no=174 label=Case6.162 nb_sol=0 ticks=265947 tps=100 nb_sec=2659
case_no=174 label=Case6.162 nb_sol=0 ticks=336497 tps=100 nb_sec=3364
case_no=174 label=Case6.162 nb_sol=0 ticks=232843 tps=100 nb_sec=2328
case_no=174 label=Case6.162 nb_sol=0 ticks=311568 tps=100 nb_sec=3115
case_no=174 label=Case6.162 nb_sol=0 ticks=340836 tps=100 nb_sec=3408
case_no=174 label=Case6.162 nb_sol=0 ticks=524511 tps=100 nb_sec=5245
case_no=174 label=Case6.162 nb_sol=0 ticks=569785 tps=100 nb_sec=5697
case_no=174 label=Case6.162 nb_sol=0 ticks=631651 tps=100 nb_sec=6316
case_no=174 label=Case6.162 nb_sol=0 ticks=506062 tps=100 nb_sec=5060
case_no=174 label=Case6.162 nb_sol=0 ticks=572413 tps=100 nb_sec=5724
case_no=174 label=Case6.162 nb_sol=0 ticks=528593 tps=100 nb_sec=5285
case_no=174 label=Case6.162 nb_sol=0 ticks=566320 tps=100 nb_sec=5663
case_no=174 label=Case6.162 nb_sol=0 ticks=518919 tps=100 nb_sec=5189
case_no=174 label=Case6.162 nb_sol=0 ticks=544157 tps=100 nb_sec=5441
case_no=174 label=Case6.162 nb_sol=0 ticks=228570 tps=100 nb_sec=2285
case_no=174 label=Case6.162 nb_sol=0 ticks=344924 tps=100 nb_sec=3449
case_no=174 label=Case6.162 nb_sol=0 ticks=245735 tps=100 nb_sec=2457
case_no=174 label=Case6.162 nb_sol=0 ticks=280060 tps=100 nb_sec=2800
case_no=174 label=Case6.162 nb_sol=0 ticks=585791 tps=100 nb_sec=5857
case_no=174 label=Case6.162 nb_sol=0 ticks=321280 tps=100 nb_sec=3212
case_no=174 label=Case6.162 nb_sol=0 ticks=452870 tps=100 nb_sec=4528
case_no=174 label=Case6.162 nb_sol=0 ticks=307262 tps=100 nb_sec=3072
case_no=174 label=Case6.162 nb_sol=0 ticks=281916 tps=100 nb_sec=2819
case_no=174 label=Case6.162 nb_sol=0 ticks=276070 tps=100 nb_sec=2760
case_no=174 label=Case6.162 nb_sol=0 ticks=265779 tps=100 nb_sec=2657
case_no=174 label=Case6.162 nb_sol=0 ticks=240098 tps=100 nb_sec=2400
case_no=174 label=Case6.162 nb_sol=0 ticks=225789 tps=100 nb_sec=2257
case_no=174 label=Case6.162 nb_sol=0 ticks=256156 tps=100 nb_sec=2561
case_no=174 label=Case6.162 nb_sol=0 ticks=241469 tps=100 nb_sec=2414
case_no=174 label=Case6.162 nb_sol=0 ticks=202503 tps=100 nb_sec=2025
case_no=174 label=Case6.162 nb_sol=0 ticks=239571 tps=100 nb_sec=2395
case_no=174 label=Case6.162 nb_sol=0 ticks=496646 tps=100 nb_sec=4966
case_no=174 label=Case6.162 nb_sol=0 ticks=477515 tps=100 nb_sec=4775
case_no=174 label=Case6.162 nb_sol=0 ticks=411010 tps=100 nb_sec=4110
case_no=174 label=Case6.162 nb_sol=0 ticks=589743 tps=100 nb_sec=5897
case_no=174 label=Case6.162 nb_sol=0 ticks=553624 tps=100 nb_sec=5536
case_no=174 label=Case6.162 nb_sol=0 ticks=410817 tps=100 nb_sec=4108
case_no=174 label=Case6.162 nb_sol=0 ticks=685362 tps=100 nb_sec=6853
case_no=174 label=Case6.162 nb_sol=0 ticks=681937 tps=100 nb_sec=6819
case_no=174 label=Case6.162 nb_sol=0 ticks=556785 tps=100 nb_sec=5567
case_no=174 label=Case6.162 nb_sol=0 ticks=489628 tps=100 nb_sec=4896
case_no=174 label=Case6.162 nb_sol=0 ticks=537012 tps=100 nb_sec=5370
case_no=174 label=Case6.162 nb_sol=0 ticks=549326 tps=100 nb_sec=5493
case_no=174 label=Case6.162 nb_sol=0 ticks=542566 tps=100 nb_sec=5425
case_no=174 label=Case6.162 nb_sol=0 ticks=425877 tps=100 nb_sec=4258
case_no=174 label=Case6.162 nb_sol=0 ticks=476834 tps=100 nb_sec=4768
case_no=174 label=Case6.162 nb_sol=0 ticks=596155 tps=100 nb_sec=5961
case_no=174 label=Case6.162 nb_sol=0 ticks=545283 tps=100 nb_sec=5452
case_no=174 label=Case6.162 nb_sol=0 ticks=257578 tps=100 nb_sec=2575
case_no=174 label=Case6.162 nb_sol=0 ticks=581571 tps=100 nb_sec=5815
case_no=174 label=Case6.162 nb_sol=0 ticks=254992 tps=100 nb_sec=2549
case_no=174 label=Case6.162 nb_sol=0 ticks=247807 tps=100 nb_sec=2478
case_no=174 label=Case6.162 nb_sol=0 ticks=198253 tps=100 nb_sec=1982
case_no=174 label=Case6.162 nb_sol=0 ticks=272194 tps=100 nb_sec=2721
case_no=174 label=Case6.162 nb_sol=0 ticks=281965 tps=100 nb_sec=2819
case_no=174 label=Case6.162 nb_sol=0 ticks=244939 tps=100 nb_sec=2449
case_no=174 label=Case6.162 nb_sol=0 ticks=183211 tps=100 nb_sec=1832
case_no=174 label=Case6.162 nb_sol=0 ticks=548776 tps=100 nb_sec=5487
case_no=174 label=Case6.162 nb_sol=0 ticks=246198 tps=100 nb_sec=2461
case_no=174 label=Case6.162 nb_sol=0 ticks=533542 tps=100 nb_sec=5335
case_no=174 label=Case6.162 nb_sol=0 ticks=241051 tps=100 nb_sec=2410
case_no=174 label=Case6.162 nb_sol=0 ticks=440307 tps=100 nb_sec=4403
case_no=174 label=Case6.162 nb_sol=0 ticks=240495 tps=100 nb_sec=2404
case_no=174 label=Case6.162 nb_sol=0 ticks=212318 tps=100 nb_sec=2123
case_no=174 label=Case6.162 nb_sol=0 ticks=343491 tps=100 nb_sec=3434
case_no=174 label=Case6.162 nb_sol=0 ticks=463937 tps=100 nb_sec=4639
case_no=174 label=Case6.162 nb_sol=0 ticks=438139 tps=100 nb_sec=4381
case_no=174 label=Case6.162 nb_sol=0 ticks=483991 tps=100 nb_sec=4839
case_no=174 label=Case6.162 nb_sol=0 ticks=288204 tps=100 nb_sec=2882
case_no=174 label=Case6.162 nb_sol=0 ticks=546538 tps=100 nb_sec=5465
case_no=174 label=Case6.162 nb_sol=0 ticks=550008 tps=100 nb_sec=5500
case_no=174 label=Case6.162 nb_sol=0 ticks=504147 tps=100 nb_sec=5041
case_no=174 label=Case6.162 nb_sol=0 ticks=445034 tps=100 nb_sec=4450
case_no=174 label=Case6.162 nb_sol=0 ticks=550991 tps=100 nb_sec=5509
case_no=174 label=Case6.162 nb_sol=0 ticks=450352 tps=100 nb_sec=4503
case_no=174 label=Case6.162 nb_sol=0 ticks=515011 tps=100 nb_sec=5150
case_no=174 label=Case6.162 nb_sol=0 ticks=454480 tps=100 nb_sec=4544
case_no=174 label=Case6.162 nb_sol=0 ticks=584897 tps=100 nb_sec=5848
case_no=174 label=Case6.162 nb_sol=0 ticks=256040 tps=100 nb_sec=2560
case_no=174 label=Case6.162 nb_sol=0 ticks=233973 tps=100 nb_sec=2339
case_no=174 label=Case6.162 nb_sol=0 ticks=222398 tps=100 nb_sec=2223
Nb_sol=0
Nb_sec=4988524
57-17:42:4 or 1385 hours
missing cases:
none