argc=5
-M 512
file2=30_select_Case6.74_starter_16_
checking files mod 512 from 0 to 511
case_no=86 label=Case6.74 nb_sol=0 ticks=171510 tps=100 nb_sec=1715
case_no=86 label=Case6.74 nb_sol=0 ticks=187743 tps=100 nb_sec=1877
case_no=86 label=Case6.74 nb_sol=0 ticks=168847 tps=100 nb_sec=1688
case_no=86 label=Case6.74 nb_sol=0 ticks=186069 tps=100 nb_sec=1860
case_no=86 label=Case6.74 nb_sol=0 ticks=165360 tps=100 nb_sec=1653
case_no=86 label=Case6.74 nb_sol=0 ticks=215652 tps=100 nb_sec=2156
case_no=86 label=Case6.74 nb_sol=0 ticks=245826 tps=100 nb_sec=2458
case_no=86 label=Case6.74 nb_sol=0 ticks=285992 tps=100 nb_sec=2859
case_no=86 label=Case6.74 nb_sol=0 ticks=276972 tps=100 nb_sec=2769
case_no=86 label=Case6.74 nb_sol=0 ticks=127801 tps=100 nb_sec=1278
case_no=86 label=Case6.74 nb_sol=0 ticks=95065 tps=100 nb_sec=950
case_no=86 label=Case6.74 nb_sol=0 ticks=170360 tps=100 nb_sec=1703
case_no=86 label=Case6.74 nb_sol=0 ticks=186484 tps=100 nb_sec=1864
case_no=86 label=Case6.74 nb_sol=0 ticks=248973 tps=100 nb_sec=2489
case_no=86 label=Case6.74 nb_sol=0 ticks=201669 tps=100 nb_sec=2016
case_no=86 label=Case6.74 nb_sol=0 ticks=211154 tps=100 nb_sec=2111
case_no=86 label=Case6.74 nb_sol=0 ticks=247307 tps=100 nb_sec=2473
case_no=86 label=Case6.74 nb_sol=0 ticks=201522 tps=100 nb_sec=2015
case_no=86 label=Case6.74 nb_sol=0 ticks=175346 tps=100 nb_sec=1753
case_no=86 label=Case6.74 nb_sol=0 ticks=186065 tps=100 nb_sec=1860
case_no=86 label=Case6.74 nb_sol=0 ticks=255369 tps=100 nb_sec=2553
case_no=86 label=Case6.74 nb_sol=0 ticks=264126 tps=100 nb_sec=2641
case_no=86 label=Case6.74 nb_sol=0 ticks=328963 tps=100 nb_sec=3289
case_no=86 label=Case6.74 nb_sol=0 ticks=181198 tps=100 nb_sec=1811
case_no=86 label=Case6.74 nb_sol=0 ticks=204648 tps=100 nb_sec=2046
case_no=86 label=Case6.74 nb_sol=0 ticks=275382 tps=100 nb_sec=2753
case_no=86 label=Case6.74 nb_sol=0 ticks=204564 tps=100 nb_sec=2045
case_no=86 label=Case6.74 nb_sol=0 ticks=205757 tps=100 nb_sec=2057
case_no=86 label=Case6.74 nb_sol=0 ticks=181455 tps=100 nb_sec=1814
case_no=86 label=Case6.74 nb_sol=0 ticks=245120 tps=100 nb_sec=2451
case_no=86 label=Case6.74 nb_sol=0 ticks=237225 tps=100 nb_sec=2372
case_no=86 label=Case6.74 nb_sol=0 ticks=216808 tps=100 nb_sec=2168
case_no=86 label=Case6.74 nb_sol=0 ticks=220401 tps=100 nb_sec=2204
case_no=86 label=Case6.74 nb_sol=0 ticks=150314 tps=100 nb_sec=1503
case_no=86 label=Case6.74 nb_sol=0 ticks=190883 tps=100 nb_sec=1908
case_no=86 label=Case6.74 nb_sol=0 ticks=146856 tps=100 nb_sec=1468
case_no=86 label=Case6.74 nb_sol=0 ticks=279834 tps=100 nb_sec=2798
case_no=86 label=Case6.74 nb_sol=0 ticks=182763 tps=100 nb_sec=1827
case_no=86 label=Case6.74 nb_sol=0 ticks=196713 tps=100 nb_sec=1967
case_no=86 label=Case6.74 nb_sol=0 ticks=190250 tps=100 nb_sec=1902
case_no=86 label=Case6.74 nb_sol=0 ticks=255504 tps=100 nb_sec=2555
case_no=86 label=Case6.74 nb_sol=0 ticks=186316 tps=100 nb_sec=1863
case_no=86 label=Case6.74 nb_sol=0 ticks=244059 tps=100 nb_sec=2440
case_no=86 label=Case6.74 nb_sol=0 ticks=199957 tps=100 nb_sec=1999
case_no=86 label=Case6.74 nb_sol=0 ticks=185241 tps=100 nb_sec=1852
case_no=86 label=Case6.74 nb_sol=0 ticks=187740 tps=100 nb_sec=1877
case_no=86 label=Case6.74 nb_sol=0 ticks=278008 tps=100 nb_sec=2780
case_no=86 label=Case6.74 nb_sol=0 ticks=227305 tps=100 nb_sec=2273
case_no=86 label=Case6.74 nb_sol=0 ticks=188535 tps=100 nb_sec=1885
case_no=86 label=Case6.74 nb_sol=0 ticks=239223 tps=100 nb_sec=2392
case_no=86 label=Case6.74 nb_sol=0 ticks=202620 tps=100 nb_sec=2026
case_no=86 label=Case6.74 nb_sol=0 ticks=172647 tps=100 nb_sec=1726
case_no=86 label=Case6.74 nb_sol=0 ticks=298731 tps=100 nb_sec=2987
case_no=86 label=Case6.74 nb_sol=0 ticks=177322 tps=100 nb_sec=1773
case_no=86 label=Case6.74 nb_sol=0 ticks=114810 tps=100 nb_sec=1148
case_no=86 label=Case6.74 nb_sol=0 ticks=173867 tps=100 nb_sec=1738
case_no=86 label=Case6.74 nb_sol=0 ticks=185518 tps=100 nb_sec=1855
case_no=86 label=Case6.74 nb_sol=0 ticks=208383 tps=100 nb_sec=2083
case_no=86 label=Case6.74 nb_sol=0 ticks=282549 tps=100 nb_sec=2825
case_no=86 label=Case6.74 nb_sol=0 ticks=87295 tps=100 nb_sec=872
case_no=86 label=Case6.74 nb_sol=0 ticks=173047 tps=100 nb_sec=1730
case_no=86 label=Case6.74 nb_sol=0 ticks=191121 tps=100 nb_sec=1911
case_no=86 label=Case6.74 nb_sol=0 ticks=229665 tps=100 nb_sec=2296
case_no=86 label=Case6.74 nb_sol=0 ticks=188118 tps=100 nb_sec=1881
case_no=86 label=Case6.74 nb_sol=0 ticks=105903 tps=100 nb_sec=1059
case_no=86 label=Case6.74 nb_sol=0 ticks=174739 tps=100 nb_sec=1747
case_no=86 label=Case6.74 nb_sol=0 ticks=185959 tps=100 nb_sec=1859
case_no=86 label=Case6.74 nb_sol=0 ticks=197454 tps=100 nb_sec=1974
case_no=86 label=Case6.74 nb_sol=0 ticks=188460 tps=100 nb_sec=1884
case_no=86 label=Case6.74 nb_sol=0 ticks=122054 tps=100 nb_sec=1220
case_no=86 label=Case6.74 nb_sol=0 ticks=173775 tps=100 nb_sec=1737
case_no=86 label=Case6.74 nb_sol=0 ticks=213781 tps=100 nb_sec=2137
case_no=86 label=Case6.74 nb_sol=0 ticks=206321 tps=100 nb_sec=2063
case_no=86 label=Case6.74 nb_sol=0 ticks=114057 tps=100 nb_sec=1140
case_no=86 label=Case6.74 nb_sol=0 ticks=293765 tps=100 nb_sec=2937
case_no=86 label=Case6.74 nb_sol=0 ticks=126275 tps=100 nb_sec=1262
case_no=86 label=Case6.74 nb_sol=0 ticks=186530 tps=100 nb_sec=1865
case_no=86 label=Case6.74 nb_sol=0 ticks=290952 tps=100 nb_sec=2909
case_no=86 label=Case6.74 nb_sol=0 ticks=271022 tps=100 nb_sec=2710
case_no=86 label=Case6.74 nb_sol=0 ticks=216495 tps=100 nb_sec=2164
case_no=86 label=Case6.74 nb_sol=0 ticks=196849 tps=100 nb_sec=1968
case_no=86 label=Case6.74 nb_sol=0 ticks=181242 tps=100 nb_sec=1812
case_no=86 label=Case6.74 nb_sol=0 ticks=181527 tps=100 nb_sec=1815
case_no=86 label=Case6.74 nb_sol=0 ticks=98867 tps=100 nb_sec=988
case_no=86 label=Case6.74 nb_sol=0 ticks=174409 tps=100 nb_sec=1744
case_no=86 label=Case6.74 nb_sol=0 ticks=224417 tps=100 nb_sec=2244
case_no=86 label=Case6.74 nb_sol=0 ticks=184761 tps=100 nb_sec=1847
case_no=86 label=Case6.74 nb_sol=0 ticks=210055 tps=100 nb_sec=2100
case_no=86 label=Case6.74 nb_sol=0 ticks=184299 tps=100 nb_sec=1842
case_no=86 label=Case6.74 nb_sol=0 ticks=205463 tps=100 nb_sec=2054
case_no=86 label=Case6.74 nb_sol=0 ticks=202697 tps=100 nb_sec=2026
case_no=86 label=Case6.74 nb_sol=0 ticks=178001 tps=100 nb_sec=1780
case_no=86 label=Case6.74 nb_sol=0 ticks=185126 tps=100 nb_sec=1851
case_no=86 label=Case6.74 nb_sol=0 ticks=225934 tps=100 nb_sec=2259
case_no=86 label=Case6.74 nb_sol=0 ticks=157782 tps=100 nb_sec=1577
case_no=86 label=Case6.74 nb_sol=0 ticks=210773 tps=100 nb_sec=2107
case_no=86 label=Case6.74 nb_sol=0 ticks=236518 tps=100 nb_sec=2365
case_no=86 label=Case6.74 nb_sol=0 ticks=182296 tps=100 nb_sec=1822
case_no=86 label=Case6.74 nb_sol=0 ticks=223134 tps=100 nb_sec=2231
case_no=86 label=Case6.74 nb_sol=0 ticks=210759 tps=100 nb_sec=2107
case_no=86 label=Case6.74 nb_sol=0 ticks=211895 tps=100 nb_sec=2118
case_no=86 label=Case6.74 nb_sol=0 ticks=176285 tps=100 nb_sec=1762
case_no=86 label=Case6.74 nb_sol=0 ticks=174307 tps=100 nb_sec=1743
case_no=86 label=Case6.74 nb_sol=0 ticks=206563 tps=100 nb_sec=2065
case_no=86 label=Case6.74 nb_sol=0 ticks=193991 tps=100 nb_sec=1939
case_no=86 label=Case6.74 nb_sol=0 ticks=183112 tps=100 nb_sec=1831
case_no=86 label=Case6.74 nb_sol=0 ticks=213099 tps=100 nb_sec=2130
case_no=86 label=Case6.74 nb_sol=0 ticks=182501 tps=100 nb_sec=1825
case_no=86 label=Case6.74 nb_sol=0 ticks=206110 tps=100 nb_sec=2061
case_no=86 label=Case6.74 nb_sol=0 ticks=211192 tps=100 nb_sec=2111
case_no=86 label=Case6.74 nb_sol=0 ticks=227438 tps=100 nb_sec=2274
case_no=86 label=Case6.74 nb_sol=0 ticks=222411 tps=100 nb_sec=2224
case_no=86 label=Case6.74 nb_sol=0 ticks=182239 tps=100 nb_sec=1822
case_no=86 label=Case6.74 nb_sol=0 ticks=216287 tps=100 nb_sec=2162
case_no=86 label=Case6.74 nb_sol=0 ticks=227063 tps=100 nb_sec=2270
case_no=86 label=Case6.74 nb_sol=0 ticks=174724 tps=100 nb_sec=1747
case_no=86 label=Case6.74 nb_sol=0 ticks=214659 tps=100 nb_sec=2146
case_no=86 label=Case6.74 nb_sol=0 ticks=210062 tps=100 nb_sec=2100
case_no=86 label=Case6.74 nb_sol=0 ticks=200804 tps=100 nb_sec=2008
case_no=86 label=Case6.74 nb_sol=0 ticks=218432 tps=100 nb_sec=2184
case_no=86 label=Case6.74 nb_sol=0 ticks=181579 tps=100 nb_sec=1815
case_no=86 label=Case6.74 nb_sol=0 ticks=202492 tps=100 nb_sec=2024
case_no=86 label=Case6.74 nb_sol=0 ticks=211119 tps=100 nb_sec=2111
case_no=86 label=Case6.74 nb_sol=0 ticks=176320 tps=100 nb_sec=1763
case_no=86 label=Case6.74 nb_sol=0 ticks=262460 tps=100 nb_sec=2624
case_no=86 label=Case6.74 nb_sol=0 ticks=168002 tps=100 nb_sec=1680
case_no=86 label=Case6.74 nb_sol=0 ticks=247208 tps=100 nb_sec=2472
case_no=86 label=Case6.74 nb_sol=0 ticks=89156 tps=100 nb_sec=891
case_no=86 label=Case6.74 nb_sol=0 ticks=185661 tps=100 nb_sec=1856
case_no=86 label=Case6.74 nb_sol=0 ticks=178162 tps=100 nb_sec=1781
case_no=86 label=Case6.74 nb_sol=0 ticks=184771 tps=100 nb_sec=1847
case_no=86 label=Case6.74 nb_sol=0 ticks=216722 tps=100 nb_sec=2167
case_no=86 label=Case6.74 nb_sol=0 ticks=182024 tps=100 nb_sec=1820
case_no=86 label=Case6.74 nb_sol=0 ticks=210213 tps=100 nb_sec=2102
case_no=86 label=Case6.74 nb_sol=0 ticks=210915 tps=100 nb_sec=2109
case_no=86 label=Case6.74 nb_sol=0 ticks=224239 tps=100 nb_sec=2242
case_no=86 label=Case6.74 nb_sol=0 ticks=211761 tps=100 nb_sec=2117
case_no=86 label=Case6.74 nb_sol=0 ticks=179221 tps=100 nb_sec=1792
case_no=86 label=Case6.74 nb_sol=0 ticks=167384 tps=100 nb_sec=1673
case_no=86 label=Case6.74 nb_sol=0 ticks=209866 tps=100 nb_sec=2098
case_no=86 label=Case6.74 nb_sol=0 ticks=199522 tps=100 nb_sec=1995
case_no=86 label=Case6.74 nb_sol=0 ticks=193797 tps=100 nb_sec=1937
case_no=86 label=Case6.74 nb_sol=0 ticks=225141 tps=100 nb_sec=2251
case_no=86 label=Case6.74 nb_sol=0 ticks=209406 tps=100 nb_sec=2094
case_no=86 label=Case6.74 nb_sol=0 ticks=178283 tps=100 nb_sec=1782
case_no=86 label=Case6.74 nb_sol=0 ticks=203958 tps=100 nb_sec=2039
case_no=86 label=Case6.74 nb_sol=0 ticks=203933 tps=100 nb_sec=2039
case_no=86 label=Case6.74 nb_sol=0 ticks=160996 tps=100 nb_sec=1609
case_no=86 label=Case6.74 nb_sol=0 ticks=207061 tps=100 nb_sec=2070
case_no=86 label=Case6.74 nb_sol=0 ticks=205637 tps=100 nb_sec=2056
case_no=86 label=Case6.74 nb_sol=0 ticks=197578 tps=100 nb_sec=1975
case_no=86 label=Case6.74 nb_sol=0 ticks=206079 tps=100 nb_sec=2060
case_no=86 label=Case6.74 nb_sol=0 ticks=214066 tps=100 nb_sec=2140
case_no=86 label=Case6.74 nb_sol=0 ticks=194413 tps=100 nb_sec=1944
case_no=86 label=Case6.74 nb_sol=0 ticks=212214 tps=100 nb_sec=2122
case_no=86 label=Case6.74 nb_sol=0 ticks=202298 tps=100 nb_sec=2022
case_no=86 label=Case6.74 nb_sol=0 ticks=202460 tps=100 nb_sec=2024
case_no=86 label=Case6.74 nb_sol=0 ticks=214443 tps=100 nb_sec=2144
case_no=86 label=Case6.74 nb_sol=0 ticks=220347 tps=100 nb_sec=2203
case_no=86 label=Case6.74 nb_sol=0 ticks=215713 tps=100 nb_sec=2157
case_no=86 label=Case6.74 nb_sol=0 ticks=204043 tps=100 nb_sec=2040
case_no=86 label=Case6.74 nb_sol=0 ticks=166552 tps=100 nb_sec=1665
case_no=86 label=Case6.74 nb_sol=0 ticks=229581 tps=100 nb_sec=2295
case_no=86 label=Case6.74 nb_sol=0 ticks=176494 tps=100 nb_sec=1764
case_no=86 label=Case6.74 nb_sol=0 ticks=212393 tps=100 nb_sec=2123
case_no=86 label=Case6.74 nb_sol=0 ticks=185626 tps=100 nb_sec=1856
case_no=86 label=Case6.74 nb_sol=0 ticks=204617 tps=100 nb_sec=2046
case_no=86 label=Case6.74 nb_sol=0 ticks=183251 tps=100 nb_sec=1832
case_no=86 label=Case6.74 nb_sol=0 ticks=214339 tps=100 nb_sec=2143
case_no=86 label=Case6.74 nb_sol=0 ticks=182977 tps=100 nb_sec=1829
case_no=86 label=Case6.74 nb_sol=0 ticks=222918 tps=100 nb_sec=2229
case_no=86 label=Case6.74 nb_sol=0 ticks=183268 tps=100 nb_sec=1832
case_no=86 label=Case6.74 nb_sol=0 ticks=209870 tps=100 nb_sec=2098
case_no=86 label=Case6.74 nb_sol=0 ticks=179184 tps=100 nb_sec=1791
case_no=86 label=Case6.74 nb_sol=0 ticks=194521 tps=100 nb_sec=1945
case_no=86 label=Case6.74 nb_sol=0 ticks=207359 tps=100 nb_sec=2073
case_no=86 label=Case6.74 nb_sol=0 ticks=172122 tps=100 nb_sec=1721
case_no=86 label=Case6.74 nb_sol=0 ticks=179893 tps=100 nb_sec=1798
case_no=86 label=Case6.74 nb_sol=0 ticks=199883 tps=100 nb_sec=1998
case_no=86 label=Case6.74 nb_sol=0 ticks=198393 tps=100 nb_sec=1983
case_no=86 label=Case6.74 nb_sol=0 ticks=204308 tps=100 nb_sec=2043
case_no=86 label=Case6.74 nb_sol=0 ticks=168222 tps=100 nb_sec=1682
case_no=86 label=Case6.74 nb_sol=0 ticks=230860 tps=100 nb_sec=2308
case_no=86 label=Case6.74 nb_sol=0 ticks=177234 tps=100 nb_sec=1772
case_no=86 label=Case6.74 nb_sol=0 ticks=233851 tps=100 nb_sec=2338
case_no=86 label=Case6.74 nb_sol=0 ticks=183018 tps=100 nb_sec=1830
case_no=86 label=Case6.74 nb_sol=0 ticks=239862 tps=100 nb_sec=2398
case_no=86 label=Case6.74 nb_sol=0 ticks=187371 tps=100 nb_sec=1873
case_no=86 label=Case6.74 nb_sol=0 ticks=266584 tps=100 nb_sec=2665
case_no=86 label=Case6.74 nb_sol=0 ticks=183755 tps=100 nb_sec=1837
case_no=86 label=Case6.74 nb_sol=0 ticks=269143 tps=100 nb_sec=2691
case_no=86 label=Case6.74 nb_sol=0 ticks=161683 tps=100 nb_sec=1616
case_no=86 label=Case6.74 nb_sol=0 ticks=210269 tps=100 nb_sec=2102
case_no=86 label=Case6.74 nb_sol=0 ticks=202240 tps=100 nb_sec=2022
case_no=86 label=Case6.74 nb_sol=0 ticks=251644 tps=100 nb_sec=2516
case_no=86 label=Case6.74 nb_sol=0 ticks=181993 tps=100 nb_sec=1819
case_no=86 label=Case6.74 nb_sol=0 ticks=117380 tps=100 nb_sec=1173
case_no=86 label=Case6.74 nb_sol=0 ticks=188867 tps=100 nb_sec=1888
case_no=86 label=Case6.74 nb_sol=0 ticks=182802 tps=100 nb_sec=1828
case_no=86 label=Case6.74 nb_sol=0 ticks=135112 tps=100 nb_sec=1351
case_no=86 label=Case6.74 nb_sol=0 ticks=254508 tps=100 nb_sec=2545
case_no=86 label=Case6.74 nb_sol=0 ticks=179535 tps=100 nb_sec=1795
case_no=86 label=Case6.74 nb_sol=0 ticks=118439 tps=100 nb_sec=1184
case_no=86 label=Case6.74 nb_sol=0 ticks=217017 tps=100 nb_sec=2170
case_no=86 label=Case6.74 nb_sol=0 ticks=185945 tps=100 nb_sec=1859
case_no=86 label=Case6.74 nb_sol=0 ticks=243890 tps=100 nb_sec=2438
case_no=86 label=Case6.74 nb_sol=0 ticks=192130 tps=100 nb_sec=1921
case_no=86 label=Case6.74 nb_sol=0 ticks=212439 tps=100 nb_sec=2124
case_no=86 label=Case6.74 nb_sol=0 ticks=194859 tps=100 nb_sec=1948
case_no=86 label=Case6.74 nb_sol=0 ticks=227880 tps=100 nb_sec=2278
case_no=86 label=Case6.74 nb_sol=0 ticks=179709 tps=100 nb_sec=1797
case_no=86 label=Case6.74 nb_sol=0 ticks=207099 tps=100 nb_sec=2070
case_no=86 label=Case6.74 nb_sol=0 ticks=190981 tps=100 nb_sec=1909
case_no=86 label=Case6.74 nb_sol=0 ticks=306559 tps=100 nb_sec=3065
case_no=86 label=Case6.74 nb_sol=0 ticks=181235 tps=100 nb_sec=1812
case_no=86 label=Case6.74 nb_sol=0 ticks=198370 tps=100 nb_sec=1983
case_no=86 label=Case6.74 nb_sol=0 ticks=292916 tps=100 nb_sec=2929
case_no=86 label=Case6.74 nb_sol=0 ticks=188999 tps=100 nb_sec=1889
case_no=86 label=Case6.74 nb_sol=0 ticks=185129 tps=100 nb_sec=1851
case_no=86 label=Case6.74 nb_sol=0 ticks=230473 tps=100 nb_sec=2304
case_no=86 label=Case6.74 nb_sol=0 ticks=225213 tps=100 nb_sec=2252
case_no=86 label=Case6.74 nb_sol=0 ticks=208103 tps=100 nb_sec=2081
case_no=86 label=Case6.74 nb_sol=0 ticks=279938 tps=100 nb_sec=2799
case_no=86 label=Case6.74 nb_sol=0 ticks=208655 tps=100 nb_sec=2086
case_no=86 label=Case6.74 nb_sol=0 ticks=188882 tps=100 nb_sec=1888
case_no=86 label=Case6.74 nb_sol=0 ticks=269436 tps=100 nb_sec=2694
case_no=86 label=Case6.74 nb_sol=0 ticks=213132 tps=100 nb_sec=2131
case_no=86 label=Case6.74 nb_sol=0 ticks=186823 tps=100 nb_sec=1868
case_no=86 label=Case6.74 nb_sol=0 ticks=263819 tps=100 nb_sec=2638
case_no=86 label=Case6.74 nb_sol=0 ticks=287601 tps=100 nb_sec=2876
case_no=86 label=Case6.74 nb_sol=0 ticks=208572 tps=100 nb_sec=2085
case_no=86 label=Case6.74 nb_sol=0 ticks=180882 tps=100 nb_sec=1808
case_no=86 label=Case6.74 nb_sol=0 ticks=240305 tps=100 nb_sec=2403
case_no=86 label=Case6.74 nb_sol=0 ticks=252783 tps=100 nb_sec=2527
case_no=86 label=Case6.74 nb_sol=0 ticks=250089 tps=100 nb_sec=2500
case_no=86 label=Case6.74 nb_sol=0 ticks=198152 tps=100 nb_sec=1981
case_no=86 label=Case6.74 nb_sol=0 ticks=185919 tps=100 nb_sec=1859
case_no=86 label=Case6.74 nb_sol=0 ticks=306525 tps=100 nb_sec=3065
case_no=86 label=Case6.74 nb_sol=0 ticks=255202 tps=100 nb_sec=2552
case_no=86 label=Case6.74 nb_sol=0 ticks=208467 tps=100 nb_sec=2084
case_no=86 label=Case6.74 nb_sol=0 ticks=183881 tps=100 nb_sec=1838
case_no=86 label=Case6.74 nb_sol=0 ticks=214205 tps=100 nb_sec=2142
case_no=86 label=Case6.74 nb_sol=0 ticks=251497 tps=100 nb_sec=2514
case_no=86 label=Case6.74 nb_sol=0 ticks=196968 tps=100 nb_sec=1969
case_no=86 label=Case6.74 nb_sol=0 ticks=183000 tps=100 nb_sec=1830
case_no=86 label=Case6.74 nb_sol=0 ticks=254296 tps=100 nb_sec=2542
case_no=86 label=Case6.74 nb_sol=0 ticks=181096 tps=100 nb_sec=1810
case_no=86 label=Case6.74 nb_sol=0 ticks=250564 tps=100 nb_sec=2505
case_no=86 label=Case6.74 nb_sol=0 ticks=176971 tps=100 nb_sec=1769
case_no=86 label=Case6.74 nb_sol=0 ticks=260513 tps=100 nb_sec=2605
case_no=86 label=Case6.74 nb_sol=0 ticks=184383 tps=100 nb_sec=1843
case_no=86 label=Case6.74 nb_sol=0 ticks=272747 tps=100 nb_sec=2727
case_no=86 label=Case6.74 nb_sol=0 ticks=179007 tps=100 nb_sec=1790
case_no=86 label=Case6.74 nb_sol=0 ticks=248239 tps=100 nb_sec=2482
case_no=86 label=Case6.74 nb_sol=0 ticks=176529 tps=100 nb_sec=1765
case_no=86 label=Case6.74 nb_sol=0 ticks=180286 tps=100 nb_sec=1802
case_no=86 label=Case6.74 nb_sol=0 ticks=249634 tps=100 nb_sec=2496
case_no=86 label=Case6.74 nb_sol=0 ticks=188898 tps=100 nb_sec=1888
case_no=86 label=Case6.74 nb_sol=0 ticks=277344 tps=100 nb_sec=2773
case_no=86 label=Case6.74 nb_sol=0 ticks=195256 tps=100 nb_sec=1952
case_no=86 label=Case6.74 nb_sol=0 ticks=285190 tps=100 nb_sec=2851
case_no=86 label=Case6.74 nb_sol=0 ticks=271506 tps=100 nb_sec=2715
case_no=86 label=Case6.74 nb_sol=0 ticks=183446 tps=100 nb_sec=1834
case_no=86 label=Case6.74 nb_sol=0 ticks=207166 tps=100 nb_sec=2071
case_no=86 label=Case6.74 nb_sol=0 ticks=187425 tps=100 nb_sec=1874
case_no=86 label=Case6.74 nb_sol=0 ticks=263968 tps=100 nb_sec=2639
case_no=86 label=Case6.74 nb_sol=0 ticks=182642 tps=100 nb_sec=1826
case_no=86 label=Case6.74 nb_sol=0 ticks=301131 tps=100 nb_sec=3011
case_no=86 label=Case6.74 nb_sol=0 ticks=183768 tps=100 nb_sec=1837
case_no=86 label=Case6.74 nb_sol=0 ticks=293407 tps=100 nb_sec=2934
case_no=86 label=Case6.74 nb_sol=0 ticks=184366 tps=100 nb_sec=1843
case_no=86 label=Case6.74 nb_sol=0 ticks=275715 tps=100 nb_sec=2757
case_no=86 label=Case6.74 nb_sol=0 ticks=177487 tps=100 nb_sec=1774
case_no=86 label=Case6.74 nb_sol=0 ticks=237869 tps=100 nb_sec=2378
case_no=86 label=Case6.74 nb_sol=0 ticks=177222 tps=100 nb_sec=1772
case_no=86 label=Case6.74 nb_sol=0 ticks=238985 tps=100 nb_sec=2389
case_no=86 label=Case6.74 nb_sol=0 ticks=242918 tps=100 nb_sec=2429
case_no=86 label=Case6.74 nb_sol=0 ticks=198826 tps=100 nb_sec=1988
case_no=86 label=Case6.74 nb_sol=0 ticks=227233 tps=100 nb_sec=2272
case_no=86 label=Case6.74 nb_sol=0 ticks=264703 tps=100 nb_sec=2647
case_no=86 label=Case6.74 nb_sol=0 ticks=186500 tps=100 nb_sec=1865
case_no=86 label=Case6.74 nb_sol=0 ticks=230730 tps=100 nb_sec=2307
case_no=86 label=Case6.74 nb_sol=0 ticks=263452 tps=100 nb_sec=2634
case_no=86 label=Case6.74 nb_sol=0 ticks=193401 tps=100 nb_sec=1934
case_no=86 label=Case6.74 nb_sol=0 ticks=182805 tps=100 nb_sec=1828
case_no=86 label=Case6.74 nb_sol=0 ticks=221549 tps=100 nb_sec=2215
case_no=86 label=Case6.74 nb_sol=0 ticks=280462 tps=100 nb_sec=2804
case_no=86 label=Case6.74 nb_sol=0 ticks=247136 tps=100 nb_sec=2471
case_no=86 label=Case6.74 nb_sol=0 ticks=257481 tps=100 nb_sec=2574
case_no=86 label=Case6.74 nb_sol=0 ticks=181722 tps=100 nb_sec=1817
case_no=86 label=Case6.74 nb_sol=0 ticks=193978 tps=100 nb_sec=1939
case_no=86 label=Case6.74 nb_sol=0 ticks=186581 tps=100 nb_sec=1865
case_no=86 label=Case6.74 nb_sol=0 ticks=202402 tps=100 nb_sec=2024
case_no=86 label=Case6.74 nb_sol=0 ticks=183167 tps=100 nb_sec=1831
case_no=86 label=Case6.74 nb_sol=0 ticks=182623 tps=100 nb_sec=1826
case_no=86 label=Case6.74 nb_sol=0 ticks=227823 tps=100 nb_sec=2278
case_no=86 label=Case6.74 nb_sol=0 ticks=180641 tps=100 nb_sec=1806
case_no=86 label=Case6.74 nb_sol=0 ticks=249845 tps=100 nb_sec=2498
case_no=86 label=Case6.74 nb_sol=0 ticks=190563 tps=100 nb_sec=1905
case_no=86 label=Case6.74 nb_sol=0 ticks=244916 tps=100 nb_sec=2449
case_no=86 label=Case6.74 nb_sol=0 ticks=178354 tps=100 nb_sec=1783
case_no=86 label=Case6.74 nb_sol=0 ticks=234476 tps=100 nb_sec=2344
case_no=86 label=Case6.74 nb_sol=0 ticks=182625 tps=100 nb_sec=1826
case_no=86 label=Case6.74 nb_sol=0 ticks=242475 tps=100 nb_sec=2424
case_no=86 label=Case6.74 nb_sol=0 ticks=182226 tps=100 nb_sec=1822
case_no=86 label=Case6.74 nb_sol=0 ticks=224084 tps=100 nb_sec=2240
case_no=86 label=Case6.74 nb_sol=0 ticks=179921 tps=100 nb_sec=1799
case_no=86 label=Case6.74 nb_sol=0 ticks=238017 tps=100 nb_sec=2380
case_no=86 label=Case6.74 nb_sol=0 ticks=190011 tps=100 nb_sec=1900
case_no=86 label=Case6.74 nb_sol=0 ticks=244351 tps=100 nb_sec=2443
case_no=86 label=Case6.74 nb_sol=0 ticks=182939 tps=100 nb_sec=1829
case_no=86 label=Case6.74 nb_sol=0 ticks=224601 tps=100 nb_sec=2246
case_no=86 label=Case6.74 nb_sol=0 ticks=179801 tps=100 nb_sec=1798
case_no=86 label=Case6.74 nb_sol=0 ticks=233516 tps=100 nb_sec=2335
case_no=86 label=Case6.74 nb_sol=0 ticks=177984 tps=100 nb_sec=1779
case_no=86 label=Case6.74 nb_sol=0 ticks=204503 tps=100 nb_sec=2045
case_no=86 label=Case6.74 nb_sol=0 ticks=191691 tps=100 nb_sec=1916
case_no=86 label=Case6.74 nb_sol=0 ticks=202434 tps=100 nb_sec=2024
case_no=86 label=Case6.74 nb_sol=0 ticks=191921 tps=100 nb_sec=1919
case_no=86 label=Case6.74 nb_sol=0 ticks=240537 tps=100 nb_sec=2405
case_no=86 label=Case6.74 nb_sol=0 ticks=180388 tps=100 nb_sec=1803
case_no=86 label=Case6.74 nb_sol=0 ticks=256928 tps=100 nb_sec=2569
case_no=86 label=Case6.74 nb_sol=0 ticks=177949 tps=100 nb_sec=1779
case_no=86 label=Case6.74 nb_sol=0 ticks=242244 tps=100 nb_sec=2422
case_no=86 label=Case6.74 nb_sol=0 ticks=191313 tps=100 nb_sec=1913
case_no=86 label=Case6.74 nb_sol=0 ticks=181444 tps=100 nb_sec=1814
case_no=86 label=Case6.74 nb_sol=0 ticks=248922 tps=100 nb_sec=2489
case_no=86 label=Case6.74 nb_sol=0 ticks=209140 tps=100 nb_sec=2091
case_no=86 label=Case6.74 nb_sol=0 ticks=182059 tps=100 nb_sec=1820
case_no=86 label=Case6.74 nb_sol=0 ticks=273254 tps=100 nb_sec=2732
case_no=86 label=Case6.74 nb_sol=0 ticks=208911 tps=100 nb_sec=2089
case_no=86 label=Case6.74 nb_sol=0 ticks=189649 tps=100 nb_sec=1896
case_no=86 label=Case6.74 nb_sol=0 ticks=239805 tps=100 nb_sec=2398
case_no=86 label=Case6.74 nb_sol=0 ticks=208951 tps=100 nb_sec=2089
case_no=86 label=Case6.74 nb_sol=0 ticks=182854 tps=100 nb_sec=1828
case_no=86 label=Case6.74 nb_sol=0 ticks=280070 tps=100 nb_sec=2800
case_no=86 label=Case6.74 nb_sol=0 ticks=196131 tps=100 nb_sec=1961
case_no=86 label=Case6.74 nb_sol=0 ticks=184361 tps=100 nb_sec=1843
case_no=86 label=Case6.74 nb_sol=0 ticks=212251 tps=100 nb_sec=2122
case_no=86 label=Case6.74 nb_sol=0 ticks=309472 tps=100 nb_sec=3094
case_no=86 label=Case6.74 nb_sol=0 ticks=207832 tps=100 nb_sec=2078
case_no=86 label=Case6.74 nb_sol=0 ticks=187505 tps=100 nb_sec=1875
case_no=86 label=Case6.74 nb_sol=0 ticks=227504 tps=100 nb_sec=2275
case_no=86 label=Case6.74 nb_sol=0 ticks=296560 tps=100 nb_sec=2965
case_no=86 label=Case6.74 nb_sol=0 ticks=206721 tps=100 nb_sec=2067
case_no=86 label=Case6.74 nb_sol=0 ticks=179001 tps=100 nb_sec=1790
case_no=86 label=Case6.74 nb_sol=0 ticks=230510 tps=100 nb_sec=2305
case_no=86 label=Case6.74 nb_sol=0 ticks=270527 tps=100 nb_sec=2705
case_no=86 label=Case6.74 nb_sol=0 ticks=158277 tps=100 nb_sec=1582
case_no=86 label=Case6.74 nb_sol=0 ticks=248684 tps=100 nb_sec=2486
case_no=86 label=Case6.74 nb_sol=0 ticks=243819 tps=100 nb_sec=2438
case_no=86 label=Case6.74 nb_sol=0 ticks=212752 tps=100 nb_sec=2127
case_no=86 label=Case6.74 nb_sol=0 ticks=179171 tps=100 nb_sec=1791
case_no=86 label=Case6.74 nb_sol=0 ticks=215006 tps=100 nb_sec=2150
case_no=86 label=Case6.74 nb_sol=0 ticks=280931 tps=100 nb_sec=2809
case_no=86 label=Case6.74 nb_sol=0 ticks=182142 tps=100 nb_sec=1821
case_no=86 label=Case6.74 nb_sol=0 ticks=209270 tps=100 nb_sec=2092
case_no=86 label=Case6.74 nb_sol=0 ticks=177070 tps=100 nb_sec=1770
case_no=86 label=Case6.74 nb_sol=0 ticks=186886 tps=100 nb_sec=1868
case_no=86 label=Case6.74 nb_sol=0 ticks=185061 tps=100 nb_sec=1850
case_no=86 label=Case6.74 nb_sol=0 ticks=241208 tps=100 nb_sec=2412
case_no=86 label=Case6.74 nb_sol=0 ticks=205615 tps=100 nb_sec=2056
case_no=86 label=Case6.74 nb_sol=0 ticks=252905 tps=100 nb_sec=2529
case_no=86 label=Case6.74 nb_sol=0 ticks=177787 tps=100 nb_sec=1777
case_no=86 label=Case6.74 nb_sol=0 ticks=205039 tps=100 nb_sec=2050
case_no=86 label=Case6.74 nb_sol=0 ticks=188476 tps=100 nb_sec=1884
case_no=86 label=Case6.74 nb_sol=0 ticks=171868 tps=100 nb_sec=1718
case_no=86 label=Case6.74 nb_sol=0 ticks=260834 tps=100 nb_sec=2608
case_no=86 label=Case6.74 nb_sol=0 ticks=205753 tps=100 nb_sec=2057
case_no=86 label=Case6.74 nb_sol=0 ticks=179067 tps=100 nb_sec=1790
case_no=86 label=Case6.74 nb_sol=0 ticks=271960 tps=100 nb_sec=2719
case_no=86 label=Case6.74 nb_sol=0 ticks=187304 tps=100 nb_sec=1873
case_no=86 label=Case6.74 nb_sol=0 ticks=175952 tps=100 nb_sec=1759
case_no=86 label=Case6.74 nb_sol=0 ticks=248022 tps=100 nb_sec=2480
case_no=86 label=Case6.74 nb_sol=0 ticks=172706 tps=100 nb_sec=1727
case_no=86 label=Case6.74 nb_sol=0 ticks=221912 tps=100 nb_sec=2219
case_no=86 label=Case6.74 nb_sol=0 ticks=191032 tps=100 nb_sec=1910
case_no=86 label=Case6.74 nb_sol=0 ticks=239989 tps=100 nb_sec=2399
case_no=86 label=Case6.74 nb_sol=0 ticks=244884 tps=100 nb_sec=2448
case_no=86 label=Case6.74 nb_sol=0 ticks=257176 tps=100 nb_sec=2571
case_no=86 label=Case6.74 nb_sol=0 ticks=178171 tps=100 nb_sec=1781
case_no=86 label=Case6.74 nb_sol=0 ticks=178436 tps=100 nb_sec=1784
case_no=86 label=Case6.74 nb_sol=0 ticks=204595 tps=100 nb_sec=2045
case_no=86 label=Case6.74 nb_sol=0 ticks=186141 tps=100 nb_sec=1861
case_no=86 label=Case6.74 nb_sol=0 ticks=180362 tps=100 nb_sec=1803
case_no=86 label=Case6.74 nb_sol=0 ticks=212867 tps=100 nb_sec=2128
case_no=86 label=Case6.74 nb_sol=0 ticks=176009 tps=100 nb_sec=1760
case_no=86 label=Case6.74 nb_sol=0 ticks=183868 tps=100 nb_sec=1838
case_no=86 label=Case6.74 nb_sol=0 ticks=177478 tps=100 nb_sec=1774
case_no=86 label=Case6.74 nb_sol=0 ticks=246075 tps=100 nb_sec=2460
case_no=86 label=Case6.74 nb_sol=0 ticks=222144 tps=100 nb_sec=2221
case_no=86 label=Case6.74 nb_sol=0 ticks=178277 tps=100 nb_sec=1782
case_no=86 label=Case6.74 nb_sol=0 ticks=261966 tps=100 nb_sec=2619
case_no=86 label=Case6.74 nb_sol=0 ticks=167199 tps=100 nb_sec=1671
case_no=86 label=Case6.74 nb_sol=0 ticks=252015 tps=100 nb_sec=2520
case_no=86 label=Case6.74 nb_sol=0 ticks=175686 tps=100 nb_sec=1756
case_no=86 label=Case6.74 nb_sol=0 ticks=240462 tps=100 nb_sec=2404
case_no=86 label=Case6.74 nb_sol=0 ticks=182760 tps=100 nb_sec=1827
case_no=86 label=Case6.74 nb_sol=0 ticks=177858 tps=100 nb_sec=1778
case_no=86 label=Case6.74 nb_sol=0 ticks=251670 tps=100 nb_sec=2516
case_no=86 label=Case6.74 nb_sol=0 ticks=180744 tps=100 nb_sec=1807
case_no=86 label=Case6.74 nb_sol=0 ticks=166826 tps=100 nb_sec=1668
case_no=86 label=Case6.74 nb_sol=0 ticks=264572 tps=100 nb_sec=2645
case_no=86 label=Case6.74 nb_sol=0 ticks=200743 tps=100 nb_sec=2007
case_no=86 label=Case6.74 nb_sol=0 ticks=185022 tps=100 nb_sec=1850
case_no=86 label=Case6.74 nb_sol=0 ticks=302855 tps=100 nb_sec=3028
case_no=86 label=Case6.74 nb_sol=0 ticks=186745 tps=100 nb_sec=1867
case_no=86 label=Case6.74 nb_sol=0 ticks=180433 tps=100 nb_sec=1804
case_no=86 label=Case6.74 nb_sol=0 ticks=271300 tps=100 nb_sec=2713
case_no=86 label=Case6.74 nb_sol=0 ticks=183582 tps=100 nb_sec=1835
case_no=86 label=Case6.74 nb_sol=0 ticks=177964 tps=100 nb_sec=1779
case_no=86 label=Case6.74 nb_sol=0 ticks=267198 tps=100 nb_sec=2671
case_no=86 label=Case6.74 nb_sol=0 ticks=197573 tps=100 nb_sec=1975
case_no=86 label=Case6.74 nb_sol=0 ticks=175356 tps=100 nb_sec=1753
case_no=86 label=Case6.74 nb_sol=0 ticks=270626 tps=100 nb_sec=2706
case_no=86 label=Case6.74 nb_sol=0 ticks=195059 tps=100 nb_sec=1950
case_no=86 label=Case6.74 nb_sol=0 ticks=166492 tps=100 nb_sec=1664
case_no=86 label=Case6.74 nb_sol=0 ticks=245872 tps=100 nb_sec=2458
case_no=86 label=Case6.74 nb_sol=0 ticks=188836 tps=100 nb_sec=1888
case_no=86 label=Case6.74 nb_sol=0 ticks=174877 tps=100 nb_sec=1748
case_no=86 label=Case6.74 nb_sol=0 ticks=245087 tps=100 nb_sec=2450
case_no=86 label=Case6.74 nb_sol=0 ticks=171213 tps=100 nb_sec=1712
case_no=86 label=Case6.74 nb_sol=0 ticks=180248 tps=100 nb_sec=1802
case_no=86 label=Case6.74 nb_sol=0 ticks=207684 tps=100 nb_sec=2076
case_no=86 label=Case6.74 nb_sol=0 ticks=197728 tps=100 nb_sec=1977
case_no=86 label=Case6.74 nb_sol=0 ticks=186765 tps=100 nb_sec=1867
case_no=86 label=Case6.74 nb_sol=0 ticks=248041 tps=100 nb_sec=2480
case_no=86 label=Case6.74 nb_sol=0 ticks=180480 tps=100 nb_sec=1804
case_no=86 label=Case6.74 nb_sol=0 ticks=173905 tps=100 nb_sec=1739
case_no=86 label=Case6.74 nb_sol=0 ticks=214286 tps=100 nb_sec=2142
case_no=86 label=Case6.74 nb_sol=0 ticks=180327 tps=100 nb_sec=1803
case_no=86 label=Case6.74 nb_sol=0 ticks=98178 tps=100 nb_sec=981
case_no=86 label=Case6.74 nb_sol=0 ticks=248999 tps=100 nb_sec=2489
case_no=86 label=Case6.74 nb_sol=0 ticks=217314 tps=100 nb_sec=2173
case_no=86 label=Case6.74 nb_sol=0 ticks=173267 tps=100 nb_sec=1732
case_no=86 label=Case6.74 nb_sol=0 ticks=234942 tps=100 nb_sec=2349
case_no=86 label=Case6.74 nb_sol=0 ticks=209265 tps=100 nb_sec=2092
case_no=86 label=Case6.74 nb_sol=0 ticks=177948 tps=100 nb_sec=1779
case_no=86 label=Case6.74 nb_sol=0 ticks=179489 tps=100 nb_sec=1794
case_no=86 label=Case6.74 nb_sol=0 ticks=277238 tps=100 nb_sec=2772
case_no=86 label=Case6.74 nb_sol=0 ticks=186131 tps=100 nb_sec=1861
case_no=86 label=Case6.74 nb_sol=0 ticks=188046 tps=100 nb_sec=1880
case_no=86 label=Case6.74 nb_sol=0 ticks=171700 tps=100 nb_sec=1717
case_no=86 label=Case6.74 nb_sol=0 ticks=203978 tps=100 nb_sec=2039
case_no=86 label=Case6.74 nb_sol=0 ticks=257357 tps=100 nb_sec=2573
case_no=86 label=Case6.74 nb_sol=0 ticks=184462 tps=100 nb_sec=1844
case_no=86 label=Case6.74 nb_sol=0 ticks=198839 tps=100 nb_sec=1988
case_no=86 label=Case6.74 nb_sol=0 ticks=297613 tps=100 nb_sec=2976
case_no=86 label=Case6.74 nb_sol=0 ticks=181931 tps=100 nb_sec=1819
case_no=86 label=Case6.74 nb_sol=0 ticks=185701 tps=100 nb_sec=1857
case_no=86 label=Case6.74 nb_sol=0 ticks=229385 tps=100 nb_sec=2293
case_no=86 label=Case6.74 nb_sol=0 ticks=274560 tps=100 nb_sec=2745
case_no=86 label=Case6.74 nb_sol=0 ticks=179905 tps=100 nb_sec=1799
case_no=86 label=Case6.74 nb_sol=0 ticks=169983 tps=100 nb_sec=1699
case_no=86 label=Case6.74 nb_sol=0 ticks=178847 tps=100 nb_sec=1788
case_no=86 label=Case6.74 nb_sol=0 ticks=181117 tps=100 nb_sec=1811
case_no=86 label=Case6.74 nb_sol=0 ticks=177828 tps=100 nb_sec=1778
case_no=86 label=Case6.74 nb_sol=0 ticks=189201 tps=100 nb_sec=1892
case_no=86 label=Case6.74 nb_sol=0 ticks=181133 tps=100 nb_sec=1811
case_no=86 label=Case6.74 nb_sol=0 ticks=183349 tps=100 nb_sec=1833
case_no=86 label=Case6.74 nb_sol=0 ticks=175956 tps=100 nb_sec=1759
case_no=86 label=Case6.74 nb_sol=0 ticks=272189 tps=100 nb_sec=2721
case_no=86 label=Case6.74 nb_sol=0 ticks=187917 tps=100 nb_sec=1879
case_no=86 label=Case6.74 nb_sol=0 ticks=181884 tps=100 nb_sec=1818
case_no=86 label=Case6.74 nb_sol=0 ticks=279906 tps=100 nb_sec=2799
case_no=86 label=Case6.74 nb_sol=0 ticks=194596 tps=100 nb_sec=1945
case_no=86 label=Case6.74 nb_sol=0 ticks=181901 tps=100 nb_sec=1819
case_no=86 label=Case6.74 nb_sol=0 ticks=286177 tps=100 nb_sec=2861
case_no=86 label=Case6.74 nb_sol=0 ticks=184299 tps=100 nb_sec=1842
case_no=86 label=Case6.74 nb_sol=0 ticks=179401 tps=100 nb_sec=1794
case_no=86 label=Case6.74 nb_sol=0 ticks=184000 tps=100 nb_sec=1840
case_no=86 label=Case6.74 nb_sol=0 ticks=265455 tps=100 nb_sec=2654
case_no=86 label=Case6.74 nb_sol=0 ticks=216010 tps=100 nb_sec=2160
case_no=86 label=Case6.74 nb_sol=0 ticks=264098 tps=100 nb_sec=2640
case_no=86 label=Case6.74 nb_sol=0 ticks=177942 tps=100 nb_sec=1779
case_no=86 label=Case6.74 nb_sol=0 ticks=275160 tps=100 nb_sec=2751
case_no=86 label=Case6.74 nb_sol=0 ticks=179780 tps=100 nb_sec=1797
case_no=86 label=Case6.74 nb_sol=0 ticks=183068 tps=100 nb_sec=1830
case_no=86 label=Case6.74 nb_sol=0 ticks=177247 tps=100 nb_sec=1772
case_no=86 label=Case6.74 nb_sol=0 ticks=247814 tps=100 nb_sec=2478
case_no=86 label=Case6.74 nb_sol=0 ticks=198687 tps=100 nb_sec=1986
case_no=86 label=Case6.74 nb_sol=0 ticks=177117 tps=100 nb_sec=1771
case_no=86 label=Case6.74 nb_sol=0 ticks=184606 tps=100 nb_sec=1846
case_no=86 label=Case6.74 nb_sol=0 ticks=270639 tps=100 nb_sec=2706
case_no=86 label=Case6.74 nb_sol=0 ticks=259573 tps=100 nb_sec=2595
case_no=86 label=Case6.74 nb_sol=0 ticks=192824 tps=100 nb_sec=1928
case_no=86 label=Case6.74 nb_sol=0 ticks=180974 tps=100 nb_sec=1809
case_no=86 label=Case6.74 nb_sol=0 ticks=264377 tps=100 nb_sec=2643
case_no=86 label=Case6.74 nb_sol=0 ticks=288435 tps=100 nb_sec=2884
case_no=86 label=Case6.74 nb_sol=0 ticks=185611 tps=100 nb_sec=1856
case_no=86 label=Case6.74 nb_sol=0 ticks=183335 tps=100 nb_sec=1833
case_no=86 label=Case6.74 nb_sol=0 ticks=201423 tps=100 nb_sec=2014
case_no=86 label=Case6.74 nb_sol=0 ticks=188196 tps=100 nb_sec=1881
case_no=86 label=Case6.74 nb_sol=0 ticks=305107 tps=100 nb_sec=3051
case_no=86 label=Case6.74 nb_sol=0 ticks=188227 tps=100 nb_sec=1882
case_no=86 label=Case6.74 nb_sol=0 ticks=180253 tps=100 nb_sec=1802
case_no=86 label=Case6.74 nb_sol=0 ticks=169552 tps=100 nb_sec=1695
case_no=86 label=Case6.74 nb_sol=0 ticks=177395 tps=100 nb_sec=1773
case_no=86 label=Case6.74 nb_sol=0 ticks=180149 tps=100 nb_sec=1801
case_no=86 label=Case6.74 nb_sol=0 ticks=230289 tps=100 nb_sec=2302
case_no=86 label=Case6.74 nb_sol=0 ticks=169790 tps=100 nb_sec=1697
case_no=86 label=Case6.74 nb_sol=0 ticks=282375 tps=100 nb_sec=2823
case_no=86 label=Case6.74 nb_sol=0 ticks=184054 tps=100 nb_sec=1840
case_no=86 label=Case6.74 nb_sol=0 ticks=276676 tps=100 nb_sec=2766
case_no=86 label=Case6.74 nb_sol=0 ticks=183920 tps=100 nb_sec=1839
case_no=86 label=Case6.74 nb_sol=0 ticks=246182 tps=100 nb_sec=2461
case_no=86 label=Case6.74 nb_sol=0 ticks=136493 tps=100 nb_sec=1364
case_no=86 label=Case6.74 nb_sol=0 ticks=184258 tps=100 nb_sec=1842
case_no=86 label=Case6.74 nb_sol=0 ticks=192871 tps=100 nb_sec=1928
case_no=86 label=Case6.74 nb_sol=0 ticks=109488 tps=100 nb_sec=1094
case_no=86 label=Case6.74 nb_sol=0 ticks=183323 tps=100 nb_sec=1833
case_no=86 label=Case6.74 nb_sol=0 ticks=305304 tps=100 nb_sec=3053
Nb_sol=0
Nb_sec=1062215
12-7:3:35 or 295 hours
missing cases:
none