argc=5
-M 512
file2=30_select_Case6.118_starter_15_
checking files mod 512 from 0 to 511
case_no=130 label=Case6.118 nb_sol=0 ticks=85391 tps=100 nb_sec=853
case_no=130 label=Case6.118 nb_sol=0 ticks=147308 tps=100 nb_sec=1473
case_no=130 label=Case6.118 nb_sol=0 ticks=173020 tps=100 nb_sec=1730
case_no=130 label=Case6.118 nb_sol=0 ticks=193341 tps=100 nb_sec=1933
case_no=130 label=Case6.118 nb_sol=0 ticks=122999 tps=100 nb_sec=1229
case_no=130 label=Case6.118 nb_sol=0 ticks=187021 tps=100 nb_sec=1870
case_no=130 label=Case6.118 nb_sol=0 ticks=127500 tps=100 nb_sec=1275
case_no=130 label=Case6.118 nb_sol=0 ticks=118848 tps=100 nb_sec=1188
case_no=130 label=Case6.118 nb_sol=0 ticks=76622 tps=100 nb_sec=766
case_no=130 label=Case6.118 nb_sol=0 ticks=82801 tps=100 nb_sec=828
case_no=130 label=Case6.118 nb_sol=0 ticks=185362 tps=100 nb_sec=1853
case_no=130 label=Case6.118 nb_sol=0 ticks=254214 tps=100 nb_sec=2542
case_no=130 label=Case6.118 nb_sol=0 ticks=125216 tps=100 nb_sec=1252
case_no=130 label=Case6.118 nb_sol=0 ticks=162521 tps=100 nb_sec=1625
case_no=130 label=Case6.118 nb_sol=0 ticks=163493 tps=100 nb_sec=1634
case_no=130 label=Case6.118 nb_sol=0 ticks=73415 tps=100 nb_sec=734
case_no=130 label=Case6.118 nb_sol=0 ticks=154447 tps=100 nb_sec=1544
case_no=130 label=Case6.118 nb_sol=0 ticks=90707 tps=100 nb_sec=907
case_no=130 label=Case6.118 nb_sol=0 ticks=195655 tps=100 nb_sec=1956
case_no=130 label=Case6.118 nb_sol=0 ticks=209276 tps=100 nb_sec=2092
case_no=130 label=Case6.118 nb_sol=0 ticks=158928 tps=100 nb_sec=1589
case_no=130 label=Case6.118 nb_sol=0 ticks=270982 tps=100 nb_sec=2709
case_no=130 label=Case6.118 nb_sol=0 ticks=224628 tps=100 nb_sec=2246
case_no=130 label=Case6.118 nb_sol=0 ticks=119018 tps=100 nb_sec=1190
case_no=130 label=Case6.118 nb_sol=0 ticks=182844 tps=100 nb_sec=1828
case_no=130 label=Case6.118 nb_sol=0 ticks=196523 tps=100 nb_sec=1965
case_no=130 label=Case6.118 nb_sol=0 ticks=188940 tps=100 nb_sec=1889
case_no=130 label=Case6.118 nb_sol=0 ticks=84076 tps=100 nb_sec=840
case_no=130 label=Case6.118 nb_sol=0 ticks=205220 tps=100 nb_sec=2052
case_no=130 label=Case6.118 nb_sol=0 ticks=170010 tps=100 nb_sec=1700
case_no=130 label=Case6.118 nb_sol=0 ticks=51207 tps=100 nb_sec=512
case_no=130 label=Case6.118 nb_sol=0 ticks=173278 tps=100 nb_sec=1732
case_no=130 label=Case6.118 nb_sol=0 ticks=144717 tps=100 nb_sec=1447
case_no=130 label=Case6.118 nb_sol=0 ticks=121816 tps=100 nb_sec=1218
case_no=130 label=Case6.118 nb_sol=0 ticks=89693 tps=100 nb_sec=896
case_no=130 label=Case6.118 nb_sol=0 ticks=128070 tps=100 nb_sec=1280
case_no=130 label=Case6.118 nb_sol=0 ticks=111506 tps=100 nb_sec=1115
case_no=130 label=Case6.118 nb_sol=0 ticks=183910 tps=100 nb_sec=1839
case_no=130 label=Case6.118 nb_sol=0 ticks=153296 tps=100 nb_sec=1532
case_no=130 label=Case6.118 nb_sol=0 ticks=113047 tps=100 nb_sec=1130
case_no=130 label=Case6.118 nb_sol=0 ticks=68228 tps=100 nb_sec=682
case_no=130 label=Case6.118 nb_sol=0 ticks=128597 tps=100 nb_sec=1285
case_no=130 label=Case6.118 nb_sol=0 ticks=66257 tps=100 nb_sec=662
case_no=130 label=Case6.118 nb_sol=0 ticks=57785 tps=100 nb_sec=577
case_no=130 label=Case6.118 nb_sol=0 ticks=92965 tps=100 nb_sec=929
case_no=130 label=Case6.118 nb_sol=0 ticks=129890 tps=100 nb_sec=1298
case_no=130 label=Case6.118 nb_sol=0 ticks=47391 tps=100 nb_sec=473
case_no=130 label=Case6.118 nb_sol=0 ticks=74052 tps=100 nb_sec=740
case_no=130 label=Case6.118 nb_sol=0 ticks=68483 tps=100 nb_sec=684
case_no=130 label=Case6.118 nb_sol=0 ticks=73272 tps=100 nb_sec=732
case_no=130 label=Case6.118 nb_sol=0 ticks=149286 tps=100 nb_sec=1492
case_no=130 label=Case6.118 nb_sol=0 ticks=163052 tps=100 nb_sec=1630
case_no=130 label=Case6.118 nb_sol=0 ticks=165943 tps=100 nb_sec=1659
case_no=130 label=Case6.118 nb_sol=0 ticks=168641 tps=100 nb_sec=1686
case_no=130 label=Case6.118 nb_sol=0 ticks=192264 tps=100 nb_sec=1922
case_no=130 label=Case6.118 nb_sol=0 ticks=209095 tps=100 nb_sec=2090
case_no=130 label=Case6.118 nb_sol=0 ticks=153375 tps=100 nb_sec=1533
case_no=130 label=Case6.118 nb_sol=0 ticks=189646 tps=100 nb_sec=1896
case_no=130 label=Case6.118 nb_sol=0 ticks=144793 tps=100 nb_sec=1447
case_no=130 label=Case6.118 nb_sol=0 ticks=170886 tps=100 nb_sec=1708
case_no=130 label=Case6.118 nb_sol=0 ticks=174939 tps=100 nb_sec=1749
case_no=130 label=Case6.118 nb_sol=0 ticks=66808 tps=100 nb_sec=668
case_no=130 label=Case6.118 nb_sol=0 ticks=94318 tps=100 nb_sec=943
case_no=130 label=Case6.118 nb_sol=0 ticks=125648 tps=100 nb_sec=1256
case_no=130 label=Case6.118 nb_sol=0 ticks=158505 tps=100 nb_sec=1585
case_no=130 label=Case6.118 nb_sol=0 ticks=160346 tps=100 nb_sec=1603
case_no=130 label=Case6.118 nb_sol=0 ticks=135585 tps=100 nb_sec=1355
case_no=130 label=Case6.118 nb_sol=0 ticks=93401 tps=100 nb_sec=934
case_no=130 label=Case6.118 nb_sol=0 ticks=137014 tps=100 nb_sec=1370
case_no=130 label=Case6.118 nb_sol=0 ticks=210997 tps=100 nb_sec=2109
case_no=130 label=Case6.118 nb_sol=0 ticks=108009 tps=100 nb_sec=1080
case_no=130 label=Case6.118 nb_sol=0 ticks=150130 tps=100 nb_sec=1501
case_no=130 label=Case6.118 nb_sol=0 ticks=155061 tps=100 nb_sec=1550
case_no=130 label=Case6.118 nb_sol=0 ticks=120672 tps=100 nb_sec=1206
case_no=130 label=Case6.118 nb_sol=0 ticks=119738 tps=100 nb_sec=1197
case_no=130 label=Case6.118 nb_sol=0 ticks=142011 tps=100 nb_sec=1420
case_no=130 label=Case6.118 nb_sol=0 ticks=123958 tps=100 nb_sec=1239
case_no=130 label=Case6.118 nb_sol=0 ticks=131987 tps=100 nb_sec=1319
case_no=130 label=Case6.118 nb_sol=0 ticks=79203 tps=100 nb_sec=792
case_no=130 label=Case6.118 nb_sol=0 ticks=183001 tps=100 nb_sec=1830
case_no=130 label=Case6.118 nb_sol=0 ticks=190332 tps=100 nb_sec=1903
case_no=130 label=Case6.118 nb_sol=0 ticks=140176 tps=100 nb_sec=1401
case_no=130 label=Case6.118 nb_sol=0 ticks=171079 tps=100 nb_sec=1710
case_no=130 label=Case6.118 nb_sol=0 ticks=161827 tps=100 nb_sec=1618
case_no=130 label=Case6.118 nb_sol=0 ticks=123378 tps=100 nb_sec=1233
case_no=130 label=Case6.118 nb_sol=0 ticks=169409 tps=100 nb_sec=1694
case_no=130 label=Case6.118 nb_sol=0 ticks=125138 tps=100 nb_sec=1251
case_no=130 label=Case6.118 nb_sol=0 ticks=69536 tps=100 nb_sec=695
case_no=130 label=Case6.118 nb_sol=0 ticks=133457 tps=100 nb_sec=1334
case_no=130 label=Case6.118 nb_sol=0 ticks=134470 tps=100 nb_sec=1344
case_no=130 label=Case6.118 nb_sol=0 ticks=144361 tps=100 nb_sec=1443
case_no=130 label=Case6.118 nb_sol=0 ticks=129241 tps=100 nb_sec=1292
case_no=130 label=Case6.118 nb_sol=0 ticks=54084 tps=100 nb_sec=540
case_no=130 label=Case6.118 nb_sol=0 ticks=121765 tps=100 nb_sec=1217
case_no=130 label=Case6.118 nb_sol=0 ticks=101615 tps=100 nb_sec=1016
case_no=130 label=Case6.118 nb_sol=0 ticks=92742 tps=100 nb_sec=927
case_no=130 label=Case6.118 nb_sol=0 ticks=120080 tps=100 nb_sec=1200
case_no=130 label=Case6.118 nb_sol=0 ticks=100601 tps=100 nb_sec=1006
case_no=130 label=Case6.118 nb_sol=0 ticks=90824 tps=100 nb_sec=908
case_no=130 label=Case6.118 nb_sol=0 ticks=132095 tps=100 nb_sec=1320
case_no=130 label=Case6.118 nb_sol=0 ticks=112939 tps=100 nb_sec=1129
case_no=130 label=Case6.118 nb_sol=0 ticks=81673 tps=100 nb_sec=816
case_no=130 label=Case6.118 nb_sol=0 ticks=128515 tps=100 nb_sec=1285
case_no=130 label=Case6.118 nb_sol=0 ticks=91234 tps=100 nb_sec=912
case_no=130 label=Case6.118 nb_sol=0 ticks=93441 tps=100 nb_sec=934
case_no=130 label=Case6.118 nb_sol=0 ticks=76398 tps=100 nb_sec=763
case_no=130 label=Case6.118 nb_sol=0 ticks=182697 tps=100 nb_sec=1826
case_no=130 label=Case6.118 nb_sol=0 ticks=156047 tps=100 nb_sec=1560
case_no=130 label=Case6.118 nb_sol=0 ticks=118279 tps=100 nb_sec=1182
case_no=130 label=Case6.118 nb_sol=0 ticks=70851 tps=100 nb_sec=708
case_no=130 label=Case6.118 nb_sol=0 ticks=115870 tps=100 nb_sec=1158
case_no=130 label=Case6.118 nb_sol=0 ticks=97888 tps=100 nb_sec=978
case_no=130 label=Case6.118 nb_sol=0 ticks=205792 tps=100 nb_sec=2057
case_no=130 label=Case6.118 nb_sol=0 ticks=147136 tps=100 nb_sec=1471
case_no=130 label=Case6.118 nb_sol=0 ticks=190032 tps=100 nb_sec=1900
case_no=130 label=Case6.118 nb_sol=0 ticks=120836 tps=100 nb_sec=1208
case_no=130 label=Case6.118 nb_sol=0 ticks=143007 tps=100 nb_sec=1430
case_no=130 label=Case6.118 nb_sol=0 ticks=153866 tps=100 nb_sec=1538
case_no=130 label=Case6.118 nb_sol=0 ticks=116667 tps=100 nb_sec=1166
case_no=130 label=Case6.118 nb_sol=0 ticks=122952 tps=100 nb_sec=1229
case_no=130 label=Case6.118 nb_sol=0 ticks=90399 tps=100 nb_sec=903
case_no=130 label=Case6.118 nb_sol=0 ticks=144256 tps=100 nb_sec=1442
case_no=130 label=Case6.118 nb_sol=0 ticks=99270 tps=100 nb_sec=992
case_no=130 label=Case6.118 nb_sol=0 ticks=105161 tps=100 nb_sec=1051
case_no=130 label=Case6.118 nb_sol=0 ticks=98240 tps=100 nb_sec=982
case_no=130 label=Case6.118 nb_sol=0 ticks=68623 tps=100 nb_sec=686
case_no=130 label=Case6.118 nb_sol=0 ticks=134168 tps=100 nb_sec=1341
case_no=130 label=Case6.118 nb_sol=0 ticks=121594 tps=100 nb_sec=1215
case_no=130 label=Case6.118 nb_sol=0 ticks=87297 tps=100 nb_sec=872
case_no=130 label=Case6.118 nb_sol=0 ticks=91859 tps=100 nb_sec=918
case_no=130 label=Case6.118 nb_sol=0 ticks=147701 tps=100 nb_sec=1477
case_no=130 label=Case6.118 nb_sol=0 ticks=126504 tps=100 nb_sec=1265
case_no=130 label=Case6.118 nb_sol=0 ticks=101685 tps=100 nb_sec=1016
case_no=130 label=Case6.118 nb_sol=0 ticks=91985 tps=100 nb_sec=919
case_no=130 label=Case6.118 nb_sol=0 ticks=206730 tps=100 nb_sec=2067
case_no=130 label=Case6.118 nb_sol=0 ticks=205207 tps=100 nb_sec=2052
case_no=130 label=Case6.118 nb_sol=0 ticks=142961 tps=100 nb_sec=1429
case_no=130 label=Case6.118 nb_sol=0 ticks=187888 tps=100 nb_sec=1878
case_no=130 label=Case6.118 nb_sol=0 ticks=122934 tps=100 nb_sec=1229
case_no=130 label=Case6.118 nb_sol=0 ticks=104324 tps=100 nb_sec=1043
case_no=130 label=Case6.118 nb_sol=0 ticks=79812 tps=100 nb_sec=798
case_no=130 label=Case6.118 nb_sol=0 ticks=161631 tps=100 nb_sec=1616
case_no=130 label=Case6.118 nb_sol=0 ticks=191390 tps=100 nb_sec=1913
case_no=130 label=Case6.118 nb_sol=0 ticks=64403 tps=100 nb_sec=644
case_no=130 label=Case6.118 nb_sol=0 ticks=141686 tps=100 nb_sec=1416
case_no=130 label=Case6.118 nb_sol=0 ticks=116181 tps=100 nb_sec=1161
case_no=130 label=Case6.118 nb_sol=0 ticks=166324 tps=100 nb_sec=1663
case_no=130 label=Case6.118 nb_sol=0 ticks=132003 tps=100 nb_sec=1320
case_no=130 label=Case6.118 nb_sol=0 ticks=160697 tps=100 nb_sec=1606
case_no=130 label=Case6.118 nb_sol=0 ticks=132794 tps=100 nb_sec=1327
case_no=130 label=Case6.118 nb_sol=0 ticks=72814 tps=100 nb_sec=728
case_no=130 label=Case6.118 nb_sol=0 ticks=115796 tps=100 nb_sec=1157
case_no=130 label=Case6.118 nb_sol=0 ticks=143586 tps=100 nb_sec=1435
case_no=130 label=Case6.118 nb_sol=0 ticks=163999 tps=100 nb_sec=1639
case_no=130 label=Case6.118 nb_sol=0 ticks=112687 tps=100 nb_sec=1126
case_no=130 label=Case6.118 nb_sol=0 ticks=114995 tps=100 nb_sec=1149
case_no=130 label=Case6.118 nb_sol=0 ticks=125625 tps=100 nb_sec=1256
case_no=130 label=Case6.118 nb_sol=0 ticks=46434 tps=100 nb_sec=464
case_no=130 label=Case6.118 nb_sol=0 ticks=136422 tps=100 nb_sec=1364
case_no=130 label=Case6.118 nb_sol=0 ticks=75494 tps=100 nb_sec=754
case_no=130 label=Case6.118 nb_sol=0 ticks=72000 tps=100 nb_sec=720
case_no=130 label=Case6.118 nb_sol=0 ticks=97934 tps=100 nb_sec=979
case_no=130 label=Case6.118 nb_sol=0 ticks=99640 tps=100 nb_sec=996
case_no=130 label=Case6.118 nb_sol=0 ticks=150026 tps=100 nb_sec=1500
case_no=130 label=Case6.118 nb_sol=0 ticks=146911 tps=100 nb_sec=1469
case_no=130 label=Case6.118 nb_sol=0 ticks=79702 tps=100 nb_sec=797
case_no=130 label=Case6.118 nb_sol=0 ticks=219538 tps=100 nb_sec=2195
case_no=130 label=Case6.118 nb_sol=0 ticks=62378 tps=100 nb_sec=623
case_no=130 label=Case6.118 nb_sol=0 ticks=95606 tps=100 nb_sec=956
case_no=130 label=Case6.118 nb_sol=0 ticks=64511 tps=100 nb_sec=645
case_no=130 label=Case6.118 nb_sol=0 ticks=100734 tps=100 nb_sec=1007
case_no=130 label=Case6.118 nb_sol=0 ticks=123408 tps=100 nb_sec=1234
case_no=130 label=Case6.118 nb_sol=0 ticks=81536 tps=100 nb_sec=815
case_no=130 label=Case6.118 nb_sol=0 ticks=102238 tps=100 nb_sec=1022
case_no=130 label=Case6.118 nb_sol=0 ticks=75597 tps=100 nb_sec=755
case_no=130 label=Case6.118 nb_sol=0 ticks=154271 tps=100 nb_sec=1542
case_no=130 label=Case6.118 nb_sol=0 ticks=122860 tps=100 nb_sec=1228
case_no=130 label=Case6.118 nb_sol=0 ticks=173843 tps=100 nb_sec=1738
case_no=130 label=Case6.118 nb_sol=0 ticks=136850 tps=100 nb_sec=1368
case_no=130 label=Case6.118 nb_sol=0 ticks=71861 tps=100 nb_sec=718
case_no=130 label=Case6.118 nb_sol=0 ticks=117401 tps=100 nb_sec=1174
case_no=130 label=Case6.118 nb_sol=0 ticks=90909 tps=100 nb_sec=909
case_no=130 label=Case6.118 nb_sol=0 ticks=119827 tps=100 nb_sec=1198
case_no=130 label=Case6.118 nb_sol=0 ticks=90282 tps=100 nb_sec=902
case_no=130 label=Case6.118 nb_sol=0 ticks=204474 tps=100 nb_sec=2044
case_no=130 label=Case6.118 nb_sol=0 ticks=83135 tps=100 nb_sec=831
case_no=130 label=Case6.118 nb_sol=0 ticks=95274 tps=100 nb_sec=952
case_no=130 label=Case6.118 nb_sol=0 ticks=118044 tps=100 nb_sec=1180
case_no=130 label=Case6.118 nb_sol=0 ticks=206281 tps=100 nb_sec=2062
case_no=130 label=Case6.118 nb_sol=0 ticks=110191 tps=100 nb_sec=1101
case_no=130 label=Case6.118 nb_sol=0 ticks=100354 tps=100 nb_sec=1003
case_no=130 label=Case6.118 nb_sol=0 ticks=207846 tps=100 nb_sec=2078
case_no=130 label=Case6.118 nb_sol=0 ticks=160255 tps=100 nb_sec=1602
case_no=130 label=Case6.118 nb_sol=0 ticks=53513 tps=100 nb_sec=535
case_no=130 label=Case6.118 nb_sol=0 ticks=89715 tps=100 nb_sec=897
case_no=130 label=Case6.118 nb_sol=0 ticks=52509 tps=100 nb_sec=525
case_no=130 label=Case6.118 nb_sol=0 ticks=76520 tps=100 nb_sec=765
case_no=130 label=Case6.118 nb_sol=0 ticks=50390 tps=100 nb_sec=503
case_no=130 label=Case6.118 nb_sol=0 ticks=123759 tps=100 nb_sec=1237
case_no=130 label=Case6.118 nb_sol=0 ticks=210562 tps=100 nb_sec=2105
case_no=130 label=Case6.118 nb_sol=0 ticks=115914 tps=100 nb_sec=1159
case_no=130 label=Case6.118 nb_sol=0 ticks=82279 tps=100 nb_sec=822
case_no=130 label=Case6.118 nb_sol=0 ticks=172263 tps=100 nb_sec=1722
case_no=130 label=Case6.118 nb_sol=0 ticks=124099 tps=100 nb_sec=1240
case_no=130 label=Case6.118 nb_sol=0 ticks=115430 tps=100 nb_sec=1154
case_no=130 label=Case6.118 nb_sol=0 ticks=129424 tps=100 nb_sec=1294
case_no=130 label=Case6.118 nb_sol=0 ticks=93488 tps=100 nb_sec=934
case_no=130 label=Case6.118 nb_sol=0 ticks=119367 tps=100 nb_sec=1193
case_no=130 label=Case6.118 nb_sol=0 ticks=45792 tps=100 nb_sec=457
case_no=130 label=Case6.118 nb_sol=0 ticks=184957 tps=100 nb_sec=1849
case_no=130 label=Case6.118 nb_sol=0 ticks=115741 tps=100 nb_sec=1157
case_no=130 label=Case6.118 nb_sol=0 ticks=82171 tps=100 nb_sec=821
case_no=130 label=Case6.118 nb_sol=0 ticks=145946 tps=100 nb_sec=1459
case_no=130 label=Case6.118 nb_sol=0 ticks=95815 tps=100 nb_sec=958
case_no=130 label=Case6.118 nb_sol=0 ticks=164030 tps=100 nb_sec=1640
case_no=130 label=Case6.118 nb_sol=0 ticks=126853 tps=100 nb_sec=1268
case_no=130 label=Case6.118 nb_sol=0 ticks=99630 tps=100 nb_sec=996
case_no=130 label=Case6.118 nb_sol=0 ticks=174543 tps=100 nb_sec=1745
case_no=130 label=Case6.118 nb_sol=0 ticks=108650 tps=100 nb_sec=1086
case_no=130 label=Case6.118 nb_sol=0 ticks=88050 tps=100 nb_sec=880
case_no=130 label=Case6.118 nb_sol=0 ticks=120581 tps=100 nb_sec=1205
case_no=130 label=Case6.118 nb_sol=0 ticks=60864 tps=100 nb_sec=608
case_no=130 label=Case6.118 nb_sol=0 ticks=105337 tps=100 nb_sec=1053
case_no=130 label=Case6.118 nb_sol=0 ticks=49539 tps=100 nb_sec=495
case_no=130 label=Case6.118 nb_sol=0 ticks=55026 tps=100 nb_sec=550
case_no=130 label=Case6.118 nb_sol=0 ticks=103507 tps=100 nb_sec=1035
case_no=130 label=Case6.118 nb_sol=0 ticks=118798 tps=100 nb_sec=1187
case_no=130 label=Case6.118 nb_sol=0 ticks=67496 tps=100 nb_sec=674
case_no=130 label=Case6.118 nb_sol=0 ticks=91931 tps=100 nb_sec=919
case_no=130 label=Case6.118 nb_sol=0 ticks=121997 tps=100 nb_sec=1219
case_no=130 label=Case6.118 nb_sol=0 ticks=209246 tps=100 nb_sec=2092
case_no=130 label=Case6.118 nb_sol=0 ticks=114404 tps=100 nb_sec=1144
case_no=130 label=Case6.118 nb_sol=0 ticks=160083 tps=100 nb_sec=1600
case_no=130 label=Case6.118 nb_sol=0 ticks=173410 tps=100 nb_sec=1734
case_no=130 label=Case6.118 nb_sol=0 ticks=190509 tps=100 nb_sec=1905
case_no=130 label=Case6.118 nb_sol=0 ticks=193479 tps=100 nb_sec=1934
case_no=130 label=Case6.118 nb_sol=0 ticks=204929 tps=100 nb_sec=2049
case_no=130 label=Case6.118 nb_sol=0 ticks=135512 tps=100 nb_sec=1355
case_no=130 label=Case6.118 nb_sol=0 ticks=118902 tps=100 nb_sec=1189
case_no=130 label=Case6.118 nb_sol=0 ticks=87495 tps=100 nb_sec=874
case_no=130 label=Case6.118 nb_sol=0 ticks=126685 tps=100 nb_sec=1266
case_no=130 label=Case6.118 nb_sol=0 ticks=89474 tps=100 nb_sec=894
case_no=130 label=Case6.118 nb_sol=0 ticks=95809 tps=100 nb_sec=958
case_no=130 label=Case6.118 nb_sol=0 ticks=75430 tps=100 nb_sec=754
case_no=130 label=Case6.118 nb_sol=0 ticks=201489 tps=100 nb_sec=2014
case_no=130 label=Case6.118 nb_sol=0 ticks=107478 tps=100 nb_sec=1074
case_no=130 label=Case6.118 nb_sol=0 ticks=76698 tps=100 nb_sec=766
case_no=130 label=Case6.118 nb_sol=0 ticks=84958 tps=100 nb_sec=849
case_no=130 label=Case6.118 nb_sol=0 ticks=49041 tps=100 nb_sec=490
case_no=130 label=Case6.118 nb_sol=0 ticks=67303 tps=100 nb_sec=673
case_no=130 label=Case6.118 nb_sol=0 ticks=58813 tps=100 nb_sec=588
case_no=130 label=Case6.118 nb_sol=0 ticks=83832 tps=100 nb_sec=838
case_no=130 label=Case6.118 nb_sol=0 ticks=72818 tps=100 nb_sec=728
case_no=130 label=Case6.118 nb_sol=0 ticks=73527 tps=100 nb_sec=735
case_no=130 label=Case6.118 nb_sol=0 ticks=129687 tps=100 nb_sec=1296
case_no=130 label=Case6.118 nb_sol=0 ticks=36763 tps=100 nb_sec=367
case_no=130 label=Case6.118 nb_sol=0 ticks=59206 tps=100 nb_sec=592
case_no=130 label=Case6.118 nb_sol=0 ticks=74394 tps=100 nb_sec=743
case_no=130 label=Case6.118 nb_sol=0 ticks=127652 tps=100 nb_sec=1276
case_no=130 label=Case6.118 nb_sol=0 ticks=112515 tps=100 nb_sec=1125
case_no=130 label=Case6.118 nb_sol=0 ticks=173981 tps=100 nb_sec=1739
case_no=130 label=Case6.118 nb_sol=0 ticks=81848 tps=100 nb_sec=818
case_no=130 label=Case6.118 nb_sol=0 ticks=79293 tps=100 nb_sec=792
case_no=130 label=Case6.118 nb_sol=0 ticks=52033 tps=100 nb_sec=520
case_no=130 label=Case6.118 nb_sol=0 ticks=99418 tps=100 nb_sec=994
case_no=130 label=Case6.118 nb_sol=0 ticks=153585 tps=100 nb_sec=1535
case_no=130 label=Case6.118 nb_sol=0 ticks=80555 tps=100 nb_sec=805
case_no=130 label=Case6.118 nb_sol=0 ticks=126035 tps=100 nb_sec=1260
case_no=130 label=Case6.118 nb_sol=0 ticks=131417 tps=100 nb_sec=1314
case_no=130 label=Case6.118 nb_sol=0 ticks=111136 tps=100 nb_sec=1111
case_no=130 label=Case6.118 nb_sol=0 ticks=104187 tps=100 nb_sec=1041
case_no=130 label=Case6.118 nb_sol=0 ticks=127509 tps=100 nb_sec=1275
case_no=130 label=Case6.118 nb_sol=0 ticks=84733 tps=100 nb_sec=847
case_no=130 label=Case6.118 nb_sol=0 ticks=106372 tps=100 nb_sec=1063
case_no=130 label=Case6.118 nb_sol=0 ticks=65027 tps=100 nb_sec=650
case_no=130 label=Case6.118 nb_sol=0 ticks=89377 tps=100 nb_sec=893
case_no=130 label=Case6.118 nb_sol=0 ticks=55017 tps=100 nb_sec=550
case_no=130 label=Case6.118 nb_sol=0 ticks=64179 tps=100 nb_sec=641
case_no=130 label=Case6.118 nb_sol=0 ticks=87459 tps=100 nb_sec=874
case_no=130 label=Case6.118 nb_sol=0 ticks=73400 tps=100 nb_sec=734
case_no=130 label=Case6.118 nb_sol=0 ticks=37382 tps=100 nb_sec=373
case_no=130 label=Case6.118 nb_sol=0 ticks=84578 tps=100 nb_sec=845
case_no=130 label=Case6.118 nb_sol=0 ticks=181391 tps=100 nb_sec=1813
case_no=130 label=Case6.118 nb_sol=0 ticks=82247 tps=100 nb_sec=822
case_no=130 label=Case6.118 nb_sol=0 ticks=115538 tps=100 nb_sec=1155
case_no=130 label=Case6.118 nb_sol=0 ticks=102439 tps=100 nb_sec=1024
case_no=130 label=Case6.118 nb_sol=0 ticks=119672 tps=100 nb_sec=1196
case_no=130 label=Case6.118 nb_sol=0 ticks=115736 tps=100 nb_sec=1157
case_no=130 label=Case6.118 nb_sol=0 ticks=100218 tps=100 nb_sec=1002
case_no=130 label=Case6.118 nb_sol=0 ticks=85844 tps=100 nb_sec=858
case_no=130 label=Case6.118 nb_sol=0 ticks=191321 tps=100 nb_sec=1913
case_no=130 label=Case6.118 nb_sol=0 ticks=102695 tps=100 nb_sec=1026
case_no=130 label=Case6.118 nb_sol=0 ticks=169761 tps=100 nb_sec=1697
case_no=130 label=Case6.118 nb_sol=0 ticks=164416 tps=100 nb_sec=1644
case_no=130 label=Case6.118 nb_sol=0 ticks=239496 tps=100 nb_sec=2394
case_no=130 label=Case6.118 nb_sol=0 ticks=74723 tps=100 nb_sec=747
case_no=130 label=Case6.118 nb_sol=0 ticks=97509 tps=100 nb_sec=975
case_no=130 label=Case6.118 nb_sol=0 ticks=80005 tps=100 nb_sec=800
case_no=130 label=Case6.118 nb_sol=0 ticks=69096 tps=100 nb_sec=690
case_no=130 label=Case6.118 nb_sol=0 ticks=105875 tps=100 nb_sec=1058
case_no=130 label=Case6.118 nb_sol=0 ticks=112861 tps=100 nb_sec=1128
case_no=130 label=Case6.118 nb_sol=0 ticks=71082 tps=100 nb_sec=710
case_no=130 label=Case6.118 nb_sol=0 ticks=56893 tps=100 nb_sec=568
case_no=130 label=Case6.118 nb_sol=0 ticks=85256 tps=100 nb_sec=852
case_no=130 label=Case6.118 nb_sol=0 ticks=113125 tps=100 nb_sec=1131
case_no=130 label=Case6.118 nb_sol=0 ticks=102548 tps=100 nb_sec=1025
case_no=130 label=Case6.118 nb_sol=0 ticks=174016 tps=100 nb_sec=1740
case_no=130 label=Case6.118 nb_sol=0 ticks=191413 tps=100 nb_sec=1914
case_no=130 label=Case6.118 nb_sol=0 ticks=73532 tps=100 nb_sec=735
case_no=130 label=Case6.118 nb_sol=0 ticks=120067 tps=100 nb_sec=1200
case_no=130 label=Case6.118 nb_sol=0 ticks=198783 tps=100 nb_sec=1987
case_no=130 label=Case6.118 nb_sol=0 ticks=74521 tps=100 nb_sec=745
case_no=130 label=Case6.118 nb_sol=0 ticks=78052 tps=100 nb_sec=780
case_no=130 label=Case6.118 nb_sol=0 ticks=150079 tps=100 nb_sec=1500
case_no=130 label=Case6.118 nb_sol=0 ticks=162884 tps=100 nb_sec=1628
case_no=130 label=Case6.118 nb_sol=0 ticks=254080 tps=100 nb_sec=2540
case_no=130 label=Case6.118 nb_sol=0 ticks=137190 tps=100 nb_sec=1371
case_no=130 label=Case6.118 nb_sol=0 ticks=111156 tps=100 nb_sec=1111
case_no=130 label=Case6.118 nb_sol=0 ticks=220732 tps=100 nb_sec=2207
case_no=130 label=Case6.118 nb_sol=0 ticks=93996 tps=100 nb_sec=939
case_no=130 label=Case6.118 nb_sol=0 ticks=173401 tps=100 nb_sec=1734
case_no=130 label=Case6.118 nb_sol=0 ticks=115346 tps=100 nb_sec=1153
case_no=130 label=Case6.118 nb_sol=0 ticks=143784 tps=100 nb_sec=1437
case_no=130 label=Case6.118 nb_sol=0 ticks=107168 tps=100 nb_sec=1071
case_no=130 label=Case6.118 nb_sol=0 ticks=143837 tps=100 nb_sec=1438
case_no=130 label=Case6.118 nb_sol=0 ticks=265723 tps=100 nb_sec=2657
case_no=130 label=Case6.118 nb_sol=0 ticks=138900 tps=100 nb_sec=1389
case_no=130 label=Case6.118 nb_sol=0 ticks=81557 tps=100 nb_sec=815
case_no=130 label=Case6.118 nb_sol=0 ticks=66003 tps=100 nb_sec=660
case_no=130 label=Case6.118 nb_sol=0 ticks=55001 tps=100 nb_sec=550
case_no=130 label=Case6.118 nb_sol=0 ticks=198493 tps=100 nb_sec=1984
case_no=130 label=Case6.118 nb_sol=0 ticks=106619 tps=100 nb_sec=1066
case_no=130 label=Case6.118 nb_sol=0 ticks=119098 tps=100 nb_sec=1190
case_no=130 label=Case6.118 nb_sol=0 ticks=96769 tps=100 nb_sec=967
case_no=130 label=Case6.118 nb_sol=0 ticks=138235 tps=100 nb_sec=1382
case_no=130 label=Case6.118 nb_sol=0 ticks=100758 tps=100 nb_sec=1007
case_no=130 label=Case6.118 nb_sol=0 ticks=156962 tps=100 nb_sec=1569
case_no=130 label=Case6.118 nb_sol=0 ticks=104392 tps=100 nb_sec=1043
case_no=130 label=Case6.118 nb_sol=0 ticks=171618 tps=100 nb_sec=1716
case_no=130 label=Case6.118 nb_sol=0 ticks=93028 tps=100 nb_sec=930
case_no=130 label=Case6.118 nb_sol=0 ticks=61181 tps=100 nb_sec=611
case_no=130 label=Case6.118 nb_sol=0 ticks=126163 tps=100 nb_sec=1261
case_no=130 label=Case6.118 nb_sol=0 ticks=97585 tps=100 nb_sec=975
case_no=130 label=Case6.118 nb_sol=0 ticks=78109 tps=100 nb_sec=781
case_no=130 label=Case6.118 nb_sol=0 ticks=151046 tps=100 nb_sec=1510
case_no=130 label=Case6.118 nb_sol=0 ticks=95080 tps=100 nb_sec=950
case_no=130 label=Case6.118 nb_sol=0 ticks=104572 tps=100 nb_sec=1045
case_no=130 label=Case6.118 nb_sol=0 ticks=104164 tps=100 nb_sec=1041
case_no=130 label=Case6.118 nb_sol=0 ticks=121099 tps=100 nb_sec=1210
case_no=130 label=Case6.118 nb_sol=0 ticks=115019 tps=100 nb_sec=1150
case_no=130 label=Case6.118 nb_sol=0 ticks=214366 tps=100 nb_sec=2143
case_no=130 label=Case6.118 nb_sol=0 ticks=198635 tps=100 nb_sec=1986
case_no=130 label=Case6.118 nb_sol=0 ticks=128510 tps=100 nb_sec=1285
case_no=130 label=Case6.118 nb_sol=0 ticks=171448 tps=100 nb_sec=1714
case_no=130 label=Case6.118 nb_sol=0 ticks=126511 tps=100 nb_sec=1265
case_no=130 label=Case6.118 nb_sol=0 ticks=120448 tps=100 nb_sec=1204
case_no=130 label=Case6.118 nb_sol=0 ticks=123271 tps=100 nb_sec=1232
case_no=130 label=Case6.118 nb_sol=0 ticks=95422 tps=100 nb_sec=954
case_no=130 label=Case6.118 nb_sol=0 ticks=117697 tps=100 nb_sec=1176
case_no=130 label=Case6.118 nb_sol=0 ticks=126297 tps=100 nb_sec=1262
case_no=130 label=Case6.118 nb_sol=0 ticks=91313 tps=100 nb_sec=913
case_no=130 label=Case6.118 nb_sol=0 ticks=130802 tps=100 nb_sec=1308
case_no=130 label=Case6.118 nb_sol=0 ticks=175947 tps=100 nb_sec=1759
case_no=130 label=Case6.118 nb_sol=0 ticks=111274 tps=100 nb_sec=1112
case_no=130 label=Case6.118 nb_sol=0 ticks=63618 tps=100 nb_sec=636
case_no=130 label=Case6.118 nb_sol=0 ticks=88360 tps=100 nb_sec=883
case_no=130 label=Case6.118 nb_sol=0 ticks=149422 tps=100 nb_sec=1494
case_no=130 label=Case6.118 nb_sol=0 ticks=70218 tps=100 nb_sec=702
case_no=130 label=Case6.118 nb_sol=0 ticks=144999 tps=100 nb_sec=1449
case_no=130 label=Case6.118 nb_sol=0 ticks=115923 tps=100 nb_sec=1159
case_no=130 label=Case6.118 nb_sol=0 ticks=285556 tps=100 nb_sec=2855
case_no=130 label=Case6.118 nb_sol=0 ticks=100388 tps=100 nb_sec=1003
case_no=130 label=Case6.118 nb_sol=0 ticks=175286 tps=100 nb_sec=1752
case_no=130 label=Case6.118 nb_sol=0 ticks=112524 tps=100 nb_sec=1125
case_no=130 label=Case6.118 nb_sol=0 ticks=177784 tps=100 nb_sec=1777
case_no=130 label=Case6.118 nb_sol=0 ticks=145636 tps=100 nb_sec=1456
case_no=130 label=Case6.118 nb_sol=0 ticks=119089 tps=100 nb_sec=1190
case_no=130 label=Case6.118 nb_sol=0 ticks=146178 tps=100 nb_sec=1461
case_no=130 label=Case6.118 nb_sol=0 ticks=123157 tps=100 nb_sec=1231
case_no=130 label=Case6.118 nb_sol=0 ticks=55565 tps=100 nb_sec=555
case_no=130 label=Case6.118 nb_sol=0 ticks=47341 tps=100 nb_sec=473
case_no=130 label=Case6.118 nb_sol=0 ticks=90717 tps=100 nb_sec=907
case_no=130 label=Case6.118 nb_sol=0 ticks=115718 tps=100 nb_sec=1157
case_no=130 label=Case6.118 nb_sol=0 ticks=110291 tps=100 nb_sec=1102
case_no=130 label=Case6.118 nb_sol=0 ticks=116712 tps=100 nb_sec=1167
case_no=130 label=Case6.118 nb_sol=0 ticks=210777 tps=100 nb_sec=2107
case_no=130 label=Case6.118 nb_sol=0 ticks=129542 tps=100 nb_sec=1295
case_no=130 label=Case6.118 nb_sol=0 ticks=79914 tps=100 nb_sec=799
case_no=130 label=Case6.118 nb_sol=0 ticks=60378 tps=100 nb_sec=603
case_no=130 label=Case6.118 nb_sol=0 ticks=59413 tps=100 nb_sec=594
case_no=130 label=Case6.118 nb_sol=0 ticks=56755 tps=100 nb_sec=567
case_no=130 label=Case6.118 nb_sol=0 ticks=144160 tps=100 nb_sec=1441
case_no=130 label=Case6.118 nb_sol=0 ticks=49583 tps=100 nb_sec=495
case_no=130 label=Case6.118 nb_sol=0 ticks=51521 tps=100 nb_sec=515
case_no=130 label=Case6.118 nb_sol=0 ticks=88444 tps=100 nb_sec=884
case_no=130 label=Case6.118 nb_sol=0 ticks=44125 tps=100 nb_sec=441
case_no=130 label=Case6.118 nb_sol=0 ticks=125924 tps=100 nb_sec=1259
case_no=130 label=Case6.118 nb_sol=0 ticks=104342 tps=100 nb_sec=1043
case_no=130 label=Case6.118 nb_sol=0 ticks=109356 tps=100 nb_sec=1093
case_no=130 label=Case6.118 nb_sol=0 ticks=66136 tps=100 nb_sec=661
case_no=130 label=Case6.118 nb_sol=0 ticks=95982 tps=100 nb_sec=959
case_no=130 label=Case6.118 nb_sol=0 ticks=74797 tps=100 nb_sec=747
case_no=130 label=Case6.118 nb_sol=0 ticks=73224 tps=100 nb_sec=732
case_no=130 label=Case6.118 nb_sol=0 ticks=83675 tps=100 nb_sec=836
case_no=130 label=Case6.118 nb_sol=0 ticks=71827 tps=100 nb_sec=718
case_no=130 label=Case6.118 nb_sol=0 ticks=130503 tps=100 nb_sec=1305
case_no=130 label=Case6.118 nb_sol=0 ticks=106645 tps=100 nb_sec=1066
case_no=130 label=Case6.118 nb_sol=0 ticks=97681 tps=100 nb_sec=976
case_no=130 label=Case6.118 nb_sol=0 ticks=125641 tps=100 nb_sec=1256
case_no=130 label=Case6.118 nb_sol=0 ticks=149311 tps=100 nb_sec=1493
case_no=130 label=Case6.118 nb_sol=0 ticks=78826 tps=100 nb_sec=788
case_no=130 label=Case6.118 nb_sol=0 ticks=127422 tps=100 nb_sec=1274
case_no=130 label=Case6.118 nb_sol=0 ticks=56127 tps=100 nb_sec=561
case_no=130 label=Case6.118 nb_sol=0 ticks=79977 tps=100 nb_sec=799
case_no=130 label=Case6.118 nb_sol=0 ticks=122225 tps=100 nb_sec=1222
case_no=130 label=Case6.118 nb_sol=0 ticks=192482 tps=100 nb_sec=1924
case_no=130 label=Case6.118 nb_sol=0 ticks=165561 tps=100 nb_sec=1655
case_no=130 label=Case6.118 nb_sol=0 ticks=158308 tps=100 nb_sec=1583
case_no=130 label=Case6.118 nb_sol=0 ticks=81133 tps=100 nb_sec=811
case_no=130 label=Case6.118 nb_sol=0 ticks=122130 tps=100 nb_sec=1221
case_no=130 label=Case6.118 nb_sol=0 ticks=148106 tps=100 nb_sec=1481
case_no=130 label=Case6.118 nb_sol=0 ticks=133806 tps=100 nb_sec=1338
case_no=130 label=Case6.118 nb_sol=0 ticks=215101 tps=100 nb_sec=2151
case_no=130 label=Case6.118 nb_sol=0 ticks=147399 tps=100 nb_sec=1473
case_no=130 label=Case6.118 nb_sol=0 ticks=74293 tps=100 nb_sec=742
case_no=130 label=Case6.118 nb_sol=0 ticks=183758 tps=100 nb_sec=1837
case_no=130 label=Case6.118 nb_sol=0 ticks=191664 tps=100 nb_sec=1916
case_no=130 label=Case6.118 nb_sol=0 ticks=57212 tps=100 nb_sec=572
case_no=130 label=Case6.118 nb_sol=0 ticks=101471 tps=100 nb_sec=1014
case_no=130 label=Case6.118 nb_sol=0 ticks=104417 tps=100 nb_sec=1044
case_no=130 label=Case6.118 nb_sol=0 ticks=127757 tps=100 nb_sec=1277
case_no=130 label=Case6.118 nb_sol=0 ticks=93695 tps=100 nb_sec=936
case_no=130 label=Case6.118 nb_sol=0 ticks=114190 tps=100 nb_sec=1141
case_no=130 label=Case6.118 nb_sol=0 ticks=126485 tps=100 nb_sec=1264
case_no=130 label=Case6.118 nb_sol=0 ticks=152455 tps=100 nb_sec=1524
case_no=130 label=Case6.118 nb_sol=0 ticks=146636 tps=100 nb_sec=1466
case_no=130 label=Case6.118 nb_sol=0 ticks=108085 tps=100 nb_sec=1080
case_no=130 label=Case6.118 nb_sol=0 ticks=111893 tps=100 nb_sec=1118
case_no=130 label=Case6.118 nb_sol=0 ticks=138815 tps=100 nb_sec=1388
case_no=130 label=Case6.118 nb_sol=0 ticks=116036 tps=100 nb_sec=1160
case_no=130 label=Case6.118 nb_sol=0 ticks=71747 tps=100 nb_sec=717
case_no=130 label=Case6.118 nb_sol=0 ticks=58019 tps=100 nb_sec=580
case_no=130 label=Case6.118 nb_sol=0 ticks=61281 tps=100 nb_sec=612
case_no=130 label=Case6.118 nb_sol=0 ticks=51512 tps=100 nb_sec=515
case_no=130 label=Case6.118 nb_sol=0 ticks=193940 tps=100 nb_sec=1939
case_no=130 label=Case6.118 nb_sol=0 ticks=123671 tps=100 nb_sec=1236
case_no=130 label=Case6.118 nb_sol=0 ticks=102988 tps=100 nb_sec=1029
case_no=130 label=Case6.118 nb_sol=0 ticks=63106 tps=100 nb_sec=631
case_no=130 label=Case6.118 nb_sol=0 ticks=106809 tps=100 nb_sec=1068
case_no=130 label=Case6.118 nb_sol=0 ticks=115068 tps=100 nb_sec=1150
case_no=130 label=Case6.118 nb_sol=0 ticks=71522 tps=100 nb_sec=715
case_no=130 label=Case6.118 nb_sol=0 ticks=127974 tps=100 nb_sec=1279
case_no=130 label=Case6.118 nb_sol=0 ticks=157085 tps=100 nb_sec=1570
case_no=130 label=Case6.118 nb_sol=0 ticks=100152 tps=100 nb_sec=1001
case_no=130 label=Case6.118 nb_sol=0 ticks=192851 tps=100 nb_sec=1928
case_no=130 label=Case6.118 nb_sol=0 ticks=141053 tps=100 nb_sec=1410
case_no=130 label=Case6.118 nb_sol=0 ticks=170616 tps=100 nb_sec=1706
case_no=130 label=Case6.118 nb_sol=0 ticks=133610 tps=100 nb_sec=1336
case_no=130 label=Case6.118 nb_sol=0 ticks=148144 tps=100 nb_sec=1481
case_no=130 label=Case6.118 nb_sol=0 ticks=66221 tps=100 nb_sec=662
case_no=130 label=Case6.118 nb_sol=0 ticks=76389 tps=100 nb_sec=763
case_no=130 label=Case6.118 nb_sol=0 ticks=104521 tps=100 nb_sec=1045
case_no=130 label=Case6.118 nb_sol=0 ticks=115182 tps=100 nb_sec=1151
case_no=130 label=Case6.118 nb_sol=0 ticks=114375 tps=100 nb_sec=1143
case_no=130 label=Case6.118 nb_sol=0 ticks=103296 tps=100 nb_sec=1032
case_no=130 label=Case6.118 nb_sol=0 ticks=67607 tps=100 nb_sec=676
case_no=130 label=Case6.118 nb_sol=0 ticks=123382 tps=100 nb_sec=1233
case_no=130 label=Case6.118 nb_sol=0 ticks=188718 tps=100 nb_sec=1887
case_no=130 label=Case6.118 nb_sol=0 ticks=126132 tps=100 nb_sec=1261
case_no=130 label=Case6.118 nb_sol=0 ticks=94563 tps=100 nb_sec=945
case_no=130 label=Case6.118 nb_sol=0 ticks=126867 tps=100 nb_sec=1268
case_no=130 label=Case6.118 nb_sol=0 ticks=118718 tps=100 nb_sec=1187
case_no=130 label=Case6.118 nb_sol=0 ticks=254152 tps=100 nb_sec=2541
case_no=130 label=Case6.118 nb_sol=0 ticks=205767 tps=100 nb_sec=2057
case_no=130 label=Case6.118 nb_sol=0 ticks=68177 tps=100 nb_sec=681
case_no=130 label=Case6.118 nb_sol=0 ticks=83910 tps=100 nb_sec=839
case_no=130 label=Case6.118 nb_sol=0 ticks=136188 tps=100 nb_sec=1361
case_no=130 label=Case6.118 nb_sol=0 ticks=76215 tps=100 nb_sec=762
case_no=130 label=Case6.118 nb_sol=0 ticks=131561 tps=100 nb_sec=1315
case_no=130 label=Case6.118 nb_sol=0 ticks=129023 tps=100 nb_sec=1290
case_no=130 label=Case6.118 nb_sol=0 ticks=110513 tps=100 nb_sec=1105
case_no=130 label=Case6.118 nb_sol=0 ticks=95595 tps=100 nb_sec=955
case_no=130 label=Case6.118 nb_sol=0 ticks=155347 tps=100 nb_sec=1553
case_no=130 label=Case6.118 nb_sol=0 ticks=134610 tps=100 nb_sec=1346
case_no=130 label=Case6.118 nb_sol=0 ticks=44353 tps=100 nb_sec=443
case_no=130 label=Case6.118 nb_sol=0 ticks=168819 tps=100 nb_sec=1688
case_no=130 label=Case6.118 nb_sol=0 ticks=116750 tps=100 nb_sec=1167
case_no=130 label=Case6.118 nb_sol=0 ticks=124392 tps=100 nb_sec=1243
case_no=130 label=Case6.118 nb_sol=0 ticks=72153 tps=100 nb_sec=721
case_no=130 label=Case6.118 nb_sol=0 ticks=53393 tps=100 nb_sec=533
case_no=130 label=Case6.118 nb_sol=0 ticks=141948 tps=100 nb_sec=1419
case_no=130 label=Case6.118 nb_sol=0 ticks=143737 tps=100 nb_sec=1437
case_no=130 label=Case6.118 nb_sol=0 ticks=84021 tps=100 nb_sec=840
case_no=130 label=Case6.118 nb_sol=0 ticks=115137 tps=100 nb_sec=1151
case_no=130 label=Case6.118 nb_sol=0 ticks=133159 tps=100 nb_sec=1331
case_no=130 label=Case6.118 nb_sol=0 ticks=124927 tps=100 nb_sec=1249
case_no=130 label=Case6.118 nb_sol=0 ticks=35481 tps=100 nb_sec=354
case_no=130 label=Case6.118 nb_sol=0 ticks=77332 tps=100 nb_sec=773
case_no=130 label=Case6.118 nb_sol=0 ticks=97925 tps=100 nb_sec=979
case_no=130 label=Case6.118 nb_sol=0 ticks=75861 tps=100 nb_sec=758
case_no=130 label=Case6.118 nb_sol=0 ticks=141262 tps=100 nb_sec=1412
case_no=130 label=Case6.118 nb_sol=0 ticks=66611 tps=100 nb_sec=666
case_no=130 label=Case6.118 nb_sol=0 ticks=45799 tps=100 nb_sec=457
case_no=130 label=Case6.118 nb_sol=0 ticks=121872 tps=100 nb_sec=1218
case_no=130 label=Case6.118 nb_sol=0 ticks=142971 tps=100 nb_sec=1429
case_no=130 label=Case6.118 nb_sol=0 ticks=81450 tps=100 nb_sec=814
case_no=130 label=Case6.118 nb_sol=0 ticks=47867 tps=100 nb_sec=478
case_no=130 label=Case6.118 nb_sol=0 ticks=90776 tps=100 nb_sec=907
case_no=130 label=Case6.118 nb_sol=0 ticks=107171 tps=100 nb_sec=1071
case_no=130 label=Case6.118 nb_sol=0 ticks=75631 tps=100 nb_sec=756
case_no=130 label=Case6.118 nb_sol=0 ticks=79793 tps=100 nb_sec=797
case_no=130 label=Case6.118 nb_sol=0 ticks=89645 tps=100 nb_sec=896
Nb_sol=0
Nb_sec=614218
7-2:36:58 or 170 hours
missing cases:
none