argc=5
-M 256
file2=30_select_Case6.164_starter_15_
checking files mod 256 from 0 to 255
case_no=176 label=Case6.164 nb_sol=0 ticks=63607 tps=100 nb_sec=636
case_no=176 label=Case6.164 nb_sol=0 ticks=123560 tps=100 nb_sec=1235
case_no=176 label=Case6.164 nb_sol=0 ticks=95853 tps=100 nb_sec=958
case_no=176 label=Case6.164 nb_sol=0 ticks=123382 tps=100 nb_sec=1233
case_no=176 label=Case6.164 nb_sol=0 ticks=58789 tps=100 nb_sec=587
case_no=176 label=Case6.164 nb_sol=0 ticks=108039 tps=100 nb_sec=1080
case_no=176 label=Case6.164 nb_sol=0 ticks=92073 tps=100 nb_sec=920
case_no=176 label=Case6.164 nb_sol=0 ticks=144558 tps=100 nb_sec=1445
case_no=176 label=Case6.164 nb_sol=0 ticks=51264 tps=100 nb_sec=512
case_no=176 label=Case6.164 nb_sol=0 ticks=76102 tps=100 nb_sec=761
case_no=176 label=Case6.164 nb_sol=0 ticks=81286 tps=100 nb_sec=812
case_no=176 label=Case6.164 nb_sol=0 ticks=135091 tps=100 nb_sec=1350
case_no=176 label=Case6.164 nb_sol=0 ticks=256448 tps=100 nb_sec=2564
case_no=176 label=Case6.164 nb_sol=0 ticks=158634 tps=100 nb_sec=1586
case_no=176 label=Case6.164 nb_sol=0 ticks=70474 tps=100 nb_sec=704
case_no=176 label=Case6.164 nb_sol=0 ticks=119883 tps=100 nb_sec=1198
case_no=176 label=Case6.164 nb_sol=0 ticks=125836 tps=100 nb_sec=1258
case_no=176 label=Case6.164 nb_sol=0 ticks=91846 tps=100 nb_sec=918
case_no=176 label=Case6.164 nb_sol=0 ticks=87112 tps=100 nb_sec=871
case_no=176 label=Case6.164 nb_sol=0 ticks=52989 tps=100 nb_sec=529
case_no=176 label=Case6.164 nb_sol=0 ticks=71798 tps=100 nb_sec=717
case_no=176 label=Case6.164 nb_sol=0 ticks=85552 tps=100 nb_sec=855
case_no=176 label=Case6.164 nb_sol=0 ticks=127938 tps=100 nb_sec=1279
case_no=176 label=Case6.164 nb_sol=0 ticks=53899 tps=100 nb_sec=538
case_no=176 label=Case6.164 nb_sol=0 ticks=54551 tps=100 nb_sec=545
case_no=176 label=Case6.164 nb_sol=0 ticks=82964 tps=100 nb_sec=829
case_no=176 label=Case6.164 nb_sol=0 ticks=99931 tps=100 nb_sec=999
case_no=176 label=Case6.164 nb_sol=0 ticks=91012 tps=100 nb_sec=910
case_no=176 label=Case6.164 nb_sol=0 ticks=123580 tps=100 nb_sec=1235
case_no=176 label=Case6.164 nb_sol=0 ticks=110198 tps=100 nb_sec=1101
case_no=176 label=Case6.164 nb_sol=0 ticks=104564 tps=100 nb_sec=1045
case_no=176 label=Case6.164 nb_sol=0 ticks=99911 tps=100 nb_sec=999
case_no=176 label=Case6.164 nb_sol=0 ticks=130837 tps=100 nb_sec=1308
case_no=176 label=Case6.164 nb_sol=0 ticks=84594 tps=100 nb_sec=845
case_no=176 label=Case6.164 nb_sol=0 ticks=128604 tps=100 nb_sec=1286
case_no=176 label=Case6.164 nb_sol=0 ticks=102520 tps=100 nb_sec=1025
case_no=176 label=Case6.164 nb_sol=0 ticks=97027 tps=100 nb_sec=970
case_no=176 label=Case6.164 nb_sol=0 ticks=53254 tps=100 nb_sec=532
case_no=176 label=Case6.164 nb_sol=0 ticks=82450 tps=100 nb_sec=824
case_no=176 label=Case6.164 nb_sol=0 ticks=65453 tps=100 nb_sec=654
case_no=176 label=Case6.164 nb_sol=0 ticks=82943 tps=100 nb_sec=829
case_no=176 label=Case6.164 nb_sol=0 ticks=39952 tps=100 nb_sec=399
case_no=176 label=Case6.164 nb_sol=0 ticks=70569 tps=100 nb_sec=705
case_no=176 label=Case6.164 nb_sol=0 ticks=127983 tps=100 nb_sec=1279
case_no=176 label=Case6.164 nb_sol=0 ticks=103243 tps=100 nb_sec=1032
case_no=176 label=Case6.164 nb_sol=0 ticks=125228 tps=100 nb_sec=1252
case_no=176 label=Case6.164 nb_sol=0 ticks=99345 tps=100 nb_sec=993
case_no=176 label=Case6.164 nb_sol=0 ticks=104110 tps=100 nb_sec=1041
case_no=176 label=Case6.164 nb_sol=0 ticks=73473 tps=100 nb_sec=734
case_no=176 label=Case6.164 nb_sol=0 ticks=116309 tps=100 nb_sec=1163
case_no=176 label=Case6.164 nb_sol=0 ticks=158988 tps=100 nb_sec=1589
case_no=176 label=Case6.164 nb_sol=0 ticks=120665 tps=100 nb_sec=1206
case_no=176 label=Case6.164 nb_sol=0 ticks=67498 tps=100 nb_sec=674
case_no=176 label=Case6.164 nb_sol=0 ticks=42041 tps=100 nb_sec=420
case_no=176 label=Case6.164 nb_sol=0 ticks=89151 tps=100 nb_sec=891
case_no=176 label=Case6.164 nb_sol=0 ticks=60385 tps=100 nb_sec=603
case_no=176 label=Case6.164 nb_sol=0 ticks=64212 tps=100 nb_sec=642
case_no=176 label=Case6.164 nb_sol=0 ticks=61711 tps=100 nb_sec=617
case_no=176 label=Case6.164 nb_sol=0 ticks=56128 tps=100 nb_sec=561
case_no=176 label=Case6.164 nb_sol=0 ticks=70131 tps=100 nb_sec=701
case_no=176 label=Case6.164 nb_sol=0 ticks=85714 tps=100 nb_sec=857
case_no=176 label=Case6.164 nb_sol=0 ticks=65736 tps=100 nb_sec=657
case_no=176 label=Case6.164 nb_sol=0 ticks=84711 tps=100 nb_sec=847
case_no=176 label=Case6.164 nb_sol=0 ticks=158621 tps=100 nb_sec=1586
case_no=176 label=Case6.164 nb_sol=0 ticks=48743 tps=100 nb_sec=487
case_no=176 label=Case6.164 nb_sol=0 ticks=104910 tps=100 nb_sec=1049
case_no=176 label=Case6.164 nb_sol=0 ticks=140408 tps=100 nb_sec=1404
case_no=176 label=Case6.164 nb_sol=0 ticks=79852 tps=100 nb_sec=798
case_no=176 label=Case6.164 nb_sol=0 ticks=60872 tps=100 nb_sec=608
case_no=176 label=Case6.164 nb_sol=0 ticks=72098 tps=100 nb_sec=720
case_no=176 label=Case6.164 nb_sol=0 ticks=98702 tps=100 nb_sec=987
case_no=176 label=Case6.164 nb_sol=0 ticks=99745 tps=100 nb_sec=997
case_no=176 label=Case6.164 nb_sol=0 ticks=80005 tps=100 nb_sec=800
case_no=176 label=Case6.164 nb_sol=0 ticks=94985 tps=100 nb_sec=949
case_no=176 label=Case6.164 nb_sol=0 ticks=88140 tps=100 nb_sec=881
case_no=176 label=Case6.164 nb_sol=0 ticks=77595 tps=100 nb_sec=775
case_no=176 label=Case6.164 nb_sol=0 ticks=62767 tps=100 nb_sec=627
case_no=176 label=Case6.164 nb_sol=0 ticks=58668 tps=100 nb_sec=586
case_no=176 label=Case6.164 nb_sol=0 ticks=101293 tps=100 nb_sec=1012
case_no=176 label=Case6.164 nb_sol=0 ticks=120557 tps=100 nb_sec=1205
case_no=176 label=Case6.164 nb_sol=0 ticks=73509 tps=100 nb_sec=735
case_no=176 label=Case6.164 nb_sol=0 ticks=136269 tps=100 nb_sec=1362
case_no=176 label=Case6.164 nb_sol=0 ticks=83754 tps=100 nb_sec=837
case_no=176 label=Case6.164 nb_sol=0 ticks=147568 tps=100 nb_sec=1475
case_no=176 label=Case6.164 nb_sol=0 ticks=75091 tps=100 nb_sec=750
case_no=176 label=Case6.164 nb_sol=0 ticks=60782 tps=100 nb_sec=607
case_no=176 label=Case6.164 nb_sol=0 ticks=88118 tps=100 nb_sec=881
case_no=176 label=Case6.164 nb_sol=0 ticks=91398 tps=100 nb_sec=913
case_no=176 label=Case6.164 nb_sol=0 ticks=91940 tps=100 nb_sec=919
case_no=176 label=Case6.164 nb_sol=0 ticks=116037 tps=100 nb_sec=1160
case_no=176 label=Case6.164 nb_sol=0 ticks=77777 tps=100 nb_sec=777
case_no=176 label=Case6.164 nb_sol=0 ticks=123020 tps=100 nb_sec=1230
case_no=176 label=Case6.164 nb_sol=0 ticks=51510 tps=100 nb_sec=515
case_no=176 label=Case6.164 nb_sol=0 ticks=102153 tps=100 nb_sec=1021
case_no=176 label=Case6.164 nb_sol=0 ticks=48604 tps=100 nb_sec=486
case_no=176 label=Case6.164 nb_sol=0 ticks=86277 tps=100 nb_sec=862
case_no=176 label=Case6.164 nb_sol=0 ticks=49380 tps=100 nb_sec=493
case_no=176 label=Case6.164 nb_sol=0 ticks=157905 tps=100 nb_sec=1579
case_no=176 label=Case6.164 nb_sol=0 ticks=110871 tps=100 nb_sec=1108
case_no=176 label=Case6.164 nb_sol=0 ticks=62896 tps=100 nb_sec=628
case_no=176 label=Case6.164 nb_sol=0 ticks=76117 tps=100 nb_sec=761
case_no=176 label=Case6.164 nb_sol=0 ticks=105510 tps=100 nb_sec=1055
case_no=176 label=Case6.164 nb_sol=0 ticks=58401 tps=100 nb_sec=584
case_no=176 label=Case6.164 nb_sol=0 ticks=146888 tps=100 nb_sec=1468
case_no=176 label=Case6.164 nb_sol=0 ticks=47186 tps=100 nb_sec=471
case_no=176 label=Case6.164 nb_sol=0 ticks=116153 tps=100 nb_sec=1161
case_no=176 label=Case6.164 nb_sol=0 ticks=59208 tps=100 nb_sec=592
case_no=176 label=Case6.164 nb_sol=0 ticks=102898 tps=100 nb_sec=1028
case_no=176 label=Case6.164 nb_sol=0 ticks=75559 tps=100 nb_sec=755
case_no=176 label=Case6.164 nb_sol=0 ticks=158159 tps=100 nb_sec=1581
case_no=176 label=Case6.164 nb_sol=0 ticks=59523 tps=100 nb_sec=595
case_no=176 label=Case6.164 nb_sol=0 ticks=79641 tps=100 nb_sec=796
case_no=176 label=Case6.164 nb_sol=0 ticks=74291 tps=100 nb_sec=742
case_no=176 label=Case6.164 nb_sol=0 ticks=52071 tps=100 nb_sec=520
case_no=176 label=Case6.164 nb_sol=0 ticks=79114 tps=100 nb_sec=791
case_no=176 label=Case6.164 nb_sol=0 ticks=62497 tps=100 nb_sec=624
case_no=176 label=Case6.164 nb_sol=0 ticks=58634 tps=100 nb_sec=586
case_no=176 label=Case6.164 nb_sol=0 ticks=52604 tps=100 nb_sec=526
case_no=176 label=Case6.164 nb_sol=0 ticks=76995 tps=100 nb_sec=769
case_no=176 label=Case6.164 nb_sol=0 ticks=125856 tps=100 nb_sec=1258
case_no=176 label=Case6.164 nb_sol=0 ticks=58882 tps=100 nb_sec=588
case_no=176 label=Case6.164 nb_sol=0 ticks=97514 tps=100 nb_sec=975
case_no=176 label=Case6.164 nb_sol=0 ticks=121071 tps=100 nb_sec=1210
case_no=176 label=Case6.164 nb_sol=0 ticks=66938 tps=100 nb_sec=669
case_no=176 label=Case6.164 nb_sol=0 ticks=63075 tps=100 nb_sec=630
case_no=176 label=Case6.164 nb_sol=0 ticks=123669 tps=100 nb_sec=1236
case_no=176 label=Case6.164 nb_sol=0 ticks=62992 tps=100 nb_sec=629
case_no=176 label=Case6.164 nb_sol=0 ticks=129735 tps=100 nb_sec=1297
case_no=176 label=Case6.164 nb_sol=0 ticks=74037 tps=100 nb_sec=740
case_no=176 label=Case6.164 nb_sol=0 ticks=117221 tps=100 nb_sec=1172
case_no=176 label=Case6.164 nb_sol=0 ticks=51620 tps=100 nb_sec=516
case_no=176 label=Case6.164 nb_sol=0 ticks=78396 tps=100 nb_sec=783
case_no=176 label=Case6.164 nb_sol=0 ticks=82241 tps=100 nb_sec=822
case_no=176 label=Case6.164 nb_sol=0 ticks=109979 tps=100 nb_sec=1099
case_no=176 label=Case6.164 nb_sol=0 ticks=81812 tps=100 nb_sec=818
case_no=176 label=Case6.164 nb_sol=0 ticks=69392 tps=100 nb_sec=693
case_no=176 label=Case6.164 nb_sol=0 ticks=90371 tps=100 nb_sec=903
case_no=176 label=Case6.164 nb_sol=0 ticks=57071 tps=100 nb_sec=570
case_no=176 label=Case6.164 nb_sol=0 ticks=107611 tps=100 nb_sec=1076
case_no=176 label=Case6.164 nb_sol=0 ticks=149325 tps=100 nb_sec=1493
case_no=176 label=Case6.164 nb_sol=0 ticks=55312 tps=100 nb_sec=553
case_no=176 label=Case6.164 nb_sol=0 ticks=111290 tps=100 nb_sec=1112
case_no=176 label=Case6.164 nb_sol=0 ticks=124473 tps=100 nb_sec=1244
case_no=176 label=Case6.164 nb_sol=0 ticks=50187 tps=100 nb_sec=501
case_no=176 label=Case6.164 nb_sol=0 ticks=62745 tps=100 nb_sec=627
case_no=176 label=Case6.164 nb_sol=0 ticks=62585 tps=100 nb_sec=625
case_no=176 label=Case6.164 nb_sol=0 ticks=53627 tps=100 nb_sec=536
case_no=176 label=Case6.164 nb_sol=0 ticks=100291 tps=100 nb_sec=1002
case_no=176 label=Case6.164 nb_sol=0 ticks=69450 tps=100 nb_sec=694
case_no=176 label=Case6.164 nb_sol=0 ticks=103863 tps=100 nb_sec=1038
case_no=176 label=Case6.164 nb_sol=0 ticks=52532 tps=100 nb_sec=525
case_no=176 label=Case6.164 nb_sol=0 ticks=49766 tps=100 nb_sec=497
case_no=176 label=Case6.164 nb_sol=0 ticks=92248 tps=100 nb_sec=922
case_no=176 label=Case6.164 nb_sol=0 ticks=41575 tps=100 nb_sec=415
case_no=176 label=Case6.164 nb_sol=0 ticks=38103 tps=100 nb_sec=381
case_no=176 label=Case6.164 nb_sol=0 ticks=43436 tps=100 nb_sec=434
case_no=176 label=Case6.164 nb_sol=0 ticks=81344 tps=100 nb_sec=813
case_no=176 label=Case6.164 nb_sol=0 ticks=102712 tps=100 nb_sec=1027
case_no=176 label=Case6.164 nb_sol=0 ticks=76281 tps=100 nb_sec=762
case_no=176 label=Case6.164 nb_sol=0 ticks=84810 tps=100 nb_sec=848
case_no=176 label=Case6.164 nb_sol=0 ticks=84198 tps=100 nb_sec=841
case_no=176 label=Case6.164 nb_sol=0 ticks=44297 tps=100 nb_sec=442
case_no=176 label=Case6.164 nb_sol=0 ticks=73995 tps=100 nb_sec=739
case_no=176 label=Case6.164 nb_sol=0 ticks=33691 tps=100 nb_sec=336
case_no=176 label=Case6.164 nb_sol=0 ticks=87433 tps=100 nb_sec=874
case_no=176 label=Case6.164 nb_sol=0 ticks=110113 tps=100 nb_sec=1101
case_no=176 label=Case6.164 nb_sol=0 ticks=73590 tps=100 nb_sec=735
case_no=176 label=Case6.164 nb_sol=0 ticks=55874 tps=100 nb_sec=558
case_no=176 label=Case6.164 nb_sol=0 ticks=65121 tps=100 nb_sec=651
case_no=176 label=Case6.164 nb_sol=0 ticks=32698 tps=100 nb_sec=326
case_no=176 label=Case6.164 nb_sol=0 ticks=31865 tps=100 nb_sec=318
case_no=176 label=Case6.164 nb_sol=0 ticks=55903 tps=100 nb_sec=559
case_no=176 label=Case6.164 nb_sol=0 ticks=91259 tps=100 nb_sec=912
case_no=176 label=Case6.164 nb_sol=0 ticks=77349 tps=100 nb_sec=773
case_no=176 label=Case6.164 nb_sol=0 ticks=140127 tps=100 nb_sec=1401
case_no=176 label=Case6.164 nb_sol=0 ticks=111883 tps=100 nb_sec=1118
case_no=176 label=Case6.164 nb_sol=0 ticks=116060 tps=100 nb_sec=1160
case_no=176 label=Case6.164 nb_sol=0 ticks=85998 tps=100 nb_sec=859
case_no=176 label=Case6.164 nb_sol=0 ticks=34302 tps=100 nb_sec=343
case_no=176 label=Case6.164 nb_sol=0 ticks=50779 tps=100 nb_sec=507
case_no=176 label=Case6.164 nb_sol=0 ticks=48088 tps=100 nb_sec=480
case_no=176 label=Case6.164 nb_sol=0 ticks=68212 tps=100 nb_sec=682
case_no=176 label=Case6.164 nb_sol=0 ticks=47362 tps=100 nb_sec=473
case_no=176 label=Case6.164 nb_sol=0 ticks=116068 tps=100 nb_sec=1160
case_no=176 label=Case6.164 nb_sol=0 ticks=39117 tps=100 nb_sec=391
case_no=176 label=Case6.164 nb_sol=0 ticks=66573 tps=100 nb_sec=665
case_no=176 label=Case6.164 nb_sol=0 ticks=67520 tps=100 nb_sec=675
case_no=176 label=Case6.164 nb_sol=0 ticks=159133 tps=100 nb_sec=1591
case_no=176 label=Case6.164 nb_sol=0 ticks=165150 tps=100 nb_sec=1651
case_no=176 label=Case6.164 nb_sol=0 ticks=214352 tps=100 nb_sec=2143
case_no=176 label=Case6.164 nb_sol=0 ticks=36724 tps=100 nb_sec=367
case_no=176 label=Case6.164 nb_sol=0 ticks=103421 tps=100 nb_sec=1034
case_no=176 label=Case6.164 nb_sol=0 ticks=56336 tps=100 nb_sec=563
case_no=176 label=Case6.164 nb_sol=0 ticks=89345 tps=100 nb_sec=893
case_no=176 label=Case6.164 nb_sol=0 ticks=71861 tps=100 nb_sec=718
case_no=176 label=Case6.164 nb_sol=0 ticks=70785 tps=100 nb_sec=707
case_no=176 label=Case6.164 nb_sol=0 ticks=65249 tps=100 nb_sec=652
case_no=176 label=Case6.164 nb_sol=0 ticks=147693 tps=100 nb_sec=1476
case_no=176 label=Case6.164 nb_sol=0 ticks=219310 tps=100 nb_sec=2193
case_no=176 label=Case6.164 nb_sol=0 ticks=70287 tps=100 nb_sec=702
case_no=176 label=Case6.164 nb_sol=0 ticks=139295 tps=100 nb_sec=1392
case_no=176 label=Case6.164 nb_sol=0 ticks=81366 tps=100 nb_sec=813
case_no=176 label=Case6.164 nb_sol=0 ticks=54121 tps=100 nb_sec=541
case_no=176 label=Case6.164 nb_sol=0 ticks=97401 tps=100 nb_sec=974
case_no=176 label=Case6.164 nb_sol=0 ticks=87234 tps=100 nb_sec=872
case_no=176 label=Case6.164 nb_sol=0 ticks=45402 tps=100 nb_sec=454
case_no=176 label=Case6.164 nb_sol=0 ticks=83040 tps=100 nb_sec=830
case_no=176 label=Case6.164 nb_sol=0 ticks=94090 tps=100 nb_sec=940
case_no=176 label=Case6.164 nb_sol=0 ticks=34016 tps=100 nb_sec=340
case_no=176 label=Case6.164 nb_sol=0 ticks=204108 tps=100 nb_sec=2041
case_no=176 label=Case6.164 nb_sol=0 ticks=82232 tps=100 nb_sec=822
case_no=176 label=Case6.164 nb_sol=0 ticks=37100 tps=100 nb_sec=371
case_no=176 label=Case6.164 nb_sol=0 ticks=83056 tps=100 nb_sec=830
case_no=176 label=Case6.164 nb_sol=0 ticks=110093 tps=100 nb_sec=1100
case_no=176 label=Case6.164 nb_sol=0 ticks=62010 tps=100 nb_sec=620
case_no=176 label=Case6.164 nb_sol=0 ticks=108045 tps=100 nb_sec=1080
case_no=176 label=Case6.164 nb_sol=0 ticks=159607 tps=100 nb_sec=1596
case_no=176 label=Case6.164 nb_sol=0 ticks=45000 tps=100 nb_sec=450
case_no=176 label=Case6.164 nb_sol=0 ticks=108970 tps=100 nb_sec=1089
case_no=176 label=Case6.164 nb_sol=0 ticks=142751 tps=100 nb_sec=1427
case_no=176 label=Case6.164 nb_sol=0 ticks=49789 tps=100 nb_sec=497
case_no=176 label=Case6.164 nb_sol=0 ticks=83299 tps=100 nb_sec=832
case_no=176 label=Case6.164 nb_sol=0 ticks=123673 tps=100 nb_sec=1236
case_no=176 label=Case6.164 nb_sol=0 ticks=47436 tps=100 nb_sec=474
case_no=176 label=Case6.164 nb_sol=0 ticks=56242 tps=100 nb_sec=562
case_no=176 label=Case6.164 nb_sol=0 ticks=146119 tps=100 nb_sec=1461
case_no=176 label=Case6.164 nb_sol=0 ticks=85697 tps=100 nb_sec=856
case_no=176 label=Case6.164 nb_sol=0 ticks=108209 tps=100 nb_sec=1082
case_no=176 label=Case6.164 nb_sol=0 ticks=103912 tps=100 nb_sec=1039
case_no=176 label=Case6.164 nb_sol=0 ticks=125870 tps=100 nb_sec=1258
case_no=176 label=Case6.164 nb_sol=0 ticks=168271 tps=100 nb_sec=1682
case_no=176 label=Case6.164 nb_sol=0 ticks=167640 tps=100 nb_sec=1676
case_no=176 label=Case6.164 nb_sol=0 ticks=92247 tps=100 nb_sec=922
case_no=176 label=Case6.164 nb_sol=0 ticks=42094 tps=100 nb_sec=420
case_no=176 label=Case6.164 nb_sol=0 ticks=112063 tps=100 nb_sec=1120
case_no=176 label=Case6.164 nb_sol=0 ticks=82429 tps=100 nb_sec=824
case_no=176 label=Case6.164 nb_sol=0 ticks=67410 tps=100 nb_sec=674
case_no=176 label=Case6.164 nb_sol=0 ticks=57304 tps=100 nb_sec=573
case_no=176 label=Case6.164 nb_sol=0 ticks=43610 tps=100 nb_sec=436
case_no=176 label=Case6.164 nb_sol=0 ticks=58484 tps=100 nb_sec=584
case_no=176 label=Case6.164 nb_sol=0 ticks=81724 tps=100 nb_sec=817
case_no=176 label=Case6.164 nb_sol=0 ticks=60725 tps=100 nb_sec=607
case_no=176 label=Case6.164 nb_sol=0 ticks=118725 tps=100 nb_sec=1187
case_no=176 label=Case6.164 nb_sol=0 ticks=152795 tps=100 nb_sec=1527
case_no=176 label=Case6.164 nb_sol=0 ticks=32597 tps=100 nb_sec=325
case_no=176 label=Case6.164 nb_sol=0 ticks=56288 tps=100 nb_sec=562
case_no=176 label=Case6.164 nb_sol=0 ticks=93510 tps=100 nb_sec=935
case_no=176 label=Case6.164 nb_sol=0 ticks=44040 tps=100 nb_sec=440
case_no=176 label=Case6.164 nb_sol=0 ticks=64510 tps=100 nb_sec=645
case_no=176 label=Case6.164 nb_sol=0 ticks=166763 tps=100 nb_sec=1667
case_no=176 label=Case6.164 nb_sol=0 ticks=87804 tps=100 nb_sec=878
case_no=176 label=Case6.164 nb_sol=0 ticks=121837 tps=100 nb_sec=1218
case_no=176 label=Case6.164 nb_sol=0 ticks=60244 tps=100 nb_sec=602
case_no=176 label=Case6.164 nb_sol=0 ticks=126018 tps=100 nb_sec=1260
case_no=176 label=Case6.164 nb_sol=0 ticks=94124 tps=100 nb_sec=941
case_no=176 label=Case6.164 nb_sol=0 ticks=102085 tps=100 nb_sec=1020
Nb_sol=0
Nb_sec=227482
2-15:11:22 or 63 hours
missing cases:
none