argc=5
-M 512
file2=30_select_Case6.72_starter_16_
checking files mod 512 from 0 to 511
case_no=84 label=Case6.72 nb_sol=0 ticks=180237 tps=100 nb_sec=1802
case_no=84 label=Case6.72 nb_sol=0 ticks=244546 tps=100 nb_sec=2445
case_no=84 label=Case6.72 nb_sol=0 ticks=166174 tps=100 nb_sec=1661
case_no=84 label=Case6.72 nb_sol=0 ticks=94898 tps=100 nb_sec=948
case_no=84 label=Case6.72 nb_sol=0 ticks=182301 tps=100 nb_sec=1823
case_no=84 label=Case6.72 nb_sol=0 ticks=292177 tps=100 nb_sec=2921
case_no=84 label=Case6.72 nb_sol=0 ticks=95322 tps=100 nb_sec=953
case_no=84 label=Case6.72 nb_sol=0 ticks=106394 tps=100 nb_sec=1063
case_no=84 label=Case6.72 nb_sol=0 ticks=191719 tps=100 nb_sec=1917
case_no=84 label=Case6.72 nb_sol=0 ticks=267925 tps=100 nb_sec=2679
case_no=84 label=Case6.72 nb_sol=0 ticks=268284 tps=100 nb_sec=2682
case_no=84 label=Case6.72 nb_sol=0 ticks=111549 tps=100 nb_sec=1115
case_no=84 label=Case6.72 nb_sol=0 ticks=191424 tps=100 nb_sec=1914
case_no=84 label=Case6.72 nb_sol=0 ticks=270114 tps=100 nb_sec=2701
case_no=84 label=Case6.72 nb_sol=0 ticks=181575 tps=100 nb_sec=1815
case_no=84 label=Case6.72 nb_sol=0 ticks=224126 tps=100 nb_sec=2241
case_no=84 label=Case6.72 nb_sol=0 ticks=187014 tps=100 nb_sec=1870
case_no=84 label=Case6.72 nb_sol=0 ticks=254033 tps=100 nb_sec=2540
case_no=84 label=Case6.72 nb_sol=0 ticks=194652 tps=100 nb_sec=1946
case_no=84 label=Case6.72 nb_sol=0 ticks=276966 tps=100 nb_sec=2769
case_no=84 label=Case6.72 nb_sol=0 ticks=193712 tps=100 nb_sec=1937
case_no=84 label=Case6.72 nb_sol=0 ticks=324973 tps=100 nb_sec=3249
case_no=84 label=Case6.72 nb_sol=0 ticks=195819 tps=100 nb_sec=1958
case_no=84 label=Case6.72 nb_sol=0 ticks=280322 tps=100 nb_sec=2803
case_no=84 label=Case6.72 nb_sol=0 ticks=192997 tps=100 nb_sec=1929
case_no=84 label=Case6.72 nb_sol=0 ticks=283026 tps=100 nb_sec=2830
case_no=84 label=Case6.72 nb_sol=0 ticks=190090 tps=100 nb_sec=1900
case_no=84 label=Case6.72 nb_sol=0 ticks=276419 tps=100 nb_sec=2764
case_no=84 label=Case6.72 nb_sol=0 ticks=200511 tps=100 nb_sec=2005
case_no=84 label=Case6.72 nb_sol=0 ticks=294673 tps=100 nb_sec=2946
case_no=84 label=Case6.72 nb_sol=0 ticks=194519 tps=100 nb_sec=1945
case_no=84 label=Case6.72 nb_sol=0 ticks=282116 tps=100 nb_sec=2821
case_no=84 label=Case6.72 nb_sol=0 ticks=303802 tps=100 nb_sec=3038
case_no=84 label=Case6.72 nb_sol=0 ticks=195009 tps=100 nb_sec=1950
case_no=84 label=Case6.72 nb_sol=0 ticks=278583 tps=100 nb_sec=2785
case_no=84 label=Case6.72 nb_sol=0 ticks=185281 tps=100 nb_sec=1852
case_no=84 label=Case6.72 nb_sol=0 ticks=188648 tps=100 nb_sec=1886
case_no=84 label=Case6.72 nb_sol=0 ticks=297336 tps=100 nb_sec=2973
case_no=84 label=Case6.72 nb_sol=0 ticks=188229 tps=100 nb_sec=1882
case_no=84 label=Case6.72 nb_sol=0 ticks=268108 tps=100 nb_sec=2681
case_no=84 label=Case6.72 nb_sol=0 ticks=176557 tps=100 nb_sec=1765
case_no=84 label=Case6.72 nb_sol=0 ticks=279605 tps=100 nb_sec=2796
case_no=84 label=Case6.72 nb_sol=0 ticks=126776 tps=100 nb_sec=1267
case_no=84 label=Case6.72 nb_sol=0 ticks=98011 tps=100 nb_sec=980
case_no=84 label=Case6.72 nb_sol=0 ticks=161397 tps=100 nb_sec=1613
case_no=84 label=Case6.72 nb_sol=0 ticks=272268 tps=100 nb_sec=2722
case_no=84 label=Case6.72 nb_sol=0 ticks=188843 tps=100 nb_sec=1888
case_no=84 label=Case6.72 nb_sol=0 ticks=294155 tps=100 nb_sec=2941
case_no=84 label=Case6.72 nb_sol=0 ticks=162010 tps=100 nb_sec=1620
case_no=84 label=Case6.72 nb_sol=0 ticks=285208 tps=100 nb_sec=2852
case_no=84 label=Case6.72 nb_sol=0 ticks=164979 tps=100 nb_sec=1649
case_no=84 label=Case6.72 nb_sol=0 ticks=94016 tps=100 nb_sec=940
case_no=84 label=Case6.72 nb_sol=0 ticks=175221 tps=100 nb_sec=1752
case_no=84 label=Case6.72 nb_sol=0 ticks=268405 tps=100 nb_sec=2684
case_no=84 label=Case6.72 nb_sol=0 ticks=89872 tps=100 nb_sec=898
case_no=84 label=Case6.72 nb_sol=0 ticks=175831 tps=100 nb_sec=1758
case_no=84 label=Case6.72 nb_sol=0 ticks=91427 tps=100 nb_sec=914
case_no=84 label=Case6.72 nb_sol=0 ticks=235280 tps=100 nb_sec=2352
case_no=84 label=Case6.72 nb_sol=0 ticks=257261 tps=100 nb_sec=2572
case_no=84 label=Case6.72 nb_sol=0 ticks=179387 tps=100 nb_sec=1793
case_no=84 label=Case6.72 nb_sol=0 ticks=175475 tps=100 nb_sec=1754
case_no=84 label=Case6.72 nb_sol=0 ticks=177909 tps=100 nb_sec=1779
case_no=84 label=Case6.72 nb_sol=0 ticks=248434 tps=100 nb_sec=2484
case_no=84 label=Case6.72 nb_sol=0 ticks=275518 tps=100 nb_sec=2755
case_no=84 label=Case6.72 nb_sol=0 ticks=265206 tps=100 nb_sec=2652
case_no=84 label=Case6.72 nb_sol=0 ticks=245095 tps=100 nb_sec=2450
case_no=84 label=Case6.72 nb_sol=0 ticks=290654 tps=100 nb_sec=2906
case_no=84 label=Case6.72 nb_sol=0 ticks=95158 tps=100 nb_sec=951
case_no=84 label=Case6.72 nb_sol=0 ticks=179436 tps=100 nb_sec=1794
case_no=84 label=Case6.72 nb_sol=0 ticks=302417 tps=100 nb_sec=3024
case_no=84 label=Case6.72 nb_sol=0 ticks=93450 tps=100 nb_sec=934
case_no=84 label=Case6.72 nb_sol=0 ticks=255805 tps=100 nb_sec=2558
case_no=84 label=Case6.72 nb_sol=0 ticks=181846 tps=100 nb_sec=1818
case_no=84 label=Case6.72 nb_sol=0 ticks=186163 tps=100 nb_sec=1861
case_no=84 label=Case6.72 nb_sol=0 ticks=290990 tps=100 nb_sec=2909
case_no=84 label=Case6.72 nb_sol=0 ticks=253970 tps=100 nb_sec=2539
case_no=84 label=Case6.72 nb_sol=0 ticks=189042 tps=100 nb_sec=1890
case_no=84 label=Case6.72 nb_sol=0 ticks=223062 tps=100 nb_sec=2230
case_no=84 label=Case6.72 nb_sol=0 ticks=169268 tps=100 nb_sec=1692
case_no=84 label=Case6.72 nb_sol=0 ticks=219510 tps=100 nb_sec=2195
case_no=84 label=Case6.72 nb_sol=0 ticks=186302 tps=100 nb_sec=1863
case_no=84 label=Case6.72 nb_sol=0 ticks=272193 tps=100 nb_sec=2721
case_no=84 label=Case6.72 nb_sol=0 ticks=181266 tps=100 nb_sec=1812
case_no=84 label=Case6.72 nb_sol=0 ticks=309831 tps=100 nb_sec=3098
case_no=84 label=Case6.72 nb_sol=0 ticks=295060 tps=100 nb_sec=2950
case_no=84 label=Case6.72 nb_sol=0 ticks=188238 tps=100 nb_sec=1882
case_no=84 label=Case6.72 nb_sol=0 ticks=282117 tps=100 nb_sec=2821
case_no=84 label=Case6.72 nb_sol=0 ticks=188741 tps=100 nb_sec=1887
case_no=84 label=Case6.72 nb_sol=0 ticks=161429 tps=100 nb_sec=1614
case_no=84 label=Case6.72 nb_sol=0 ticks=258785 tps=100 nb_sec=2587
case_no=84 label=Case6.72 nb_sol=0 ticks=283646 tps=100 nb_sec=2836
case_no=84 label=Case6.72 nb_sol=0 ticks=170865 tps=100 nb_sec=1708
case_no=84 label=Case6.72 nb_sol=0 ticks=171275 tps=100 nb_sec=1712
case_no=84 label=Case6.72 nb_sol=0 ticks=275853 tps=100 nb_sec=2758
case_no=84 label=Case6.72 nb_sol=0 ticks=250374 tps=100 nb_sec=2503
case_no=84 label=Case6.72 nb_sol=0 ticks=182796 tps=100 nb_sec=1827
case_no=84 label=Case6.72 nb_sol=0 ticks=188274 tps=100 nb_sec=1882
case_no=84 label=Case6.72 nb_sol=0 ticks=196402 tps=100 nb_sec=1964
case_no=84 label=Case6.72 nb_sol=0 ticks=205283 tps=100 nb_sec=2052
case_no=84 label=Case6.72 nb_sol=0 ticks=296212 tps=100 nb_sec=2962
case_no=84 label=Case6.72 nb_sol=0 ticks=203728 tps=100 nb_sec=2037
case_no=84 label=Case6.72 nb_sol=0 ticks=185141 tps=100 nb_sec=1851
case_no=84 label=Case6.72 nb_sol=0 ticks=285957 tps=100 nb_sec=2859
case_no=84 label=Case6.72 nb_sol=0 ticks=182773 tps=100 nb_sec=1827
case_no=84 label=Case6.72 nb_sol=0 ticks=182623 tps=100 nb_sec=1826
case_no=84 label=Case6.72 nb_sol=0 ticks=179966 tps=100 nb_sec=1799
case_no=84 label=Case6.72 nb_sol=0 ticks=184017 tps=100 nb_sec=1840
case_no=84 label=Case6.72 nb_sol=0 ticks=193776 tps=100 nb_sec=1937
case_no=84 label=Case6.72 nb_sol=0 ticks=176150 tps=100 nb_sec=1761
case_no=84 label=Case6.72 nb_sol=0 ticks=184533 tps=100 nb_sec=1845
case_no=84 label=Case6.72 nb_sol=0 ticks=190497 tps=100 nb_sec=1904
case_no=84 label=Case6.72 nb_sol=0 ticks=249746 tps=100 nb_sec=2497
case_no=84 label=Case6.72 nb_sol=0 ticks=181494 tps=100 nb_sec=1814
case_no=84 label=Case6.72 nb_sol=0 ticks=183281 tps=100 nb_sec=1832
case_no=84 label=Case6.72 nb_sol=0 ticks=275838 tps=100 nb_sec=2758
case_no=84 label=Case6.72 nb_sol=0 ticks=251295 tps=100 nb_sec=2512
case_no=84 label=Case6.72 nb_sol=0 ticks=192089 tps=100 nb_sec=1920
case_no=84 label=Case6.72 nb_sol=0 ticks=181437 tps=100 nb_sec=1814
case_no=84 label=Case6.72 nb_sol=0 ticks=258410 tps=100 nb_sec=2584
case_no=84 label=Case6.72 nb_sol=0 ticks=266014 tps=100 nb_sec=2660
case_no=84 label=Case6.72 nb_sol=0 ticks=293449 tps=100 nb_sec=2934
case_no=84 label=Case6.72 nb_sol=0 ticks=180361 tps=100 nb_sec=1803
case_no=84 label=Case6.72 nb_sol=0 ticks=208459 tps=100 nb_sec=2084
case_no=84 label=Case6.72 nb_sol=0 ticks=176858 tps=100 nb_sec=1768
case_no=84 label=Case6.72 nb_sol=0 ticks=271208 tps=100 nb_sec=2712
case_no=84 label=Case6.72 nb_sol=0 ticks=257499 tps=100 nb_sec=2574
case_no=84 label=Case6.72 nb_sol=0 ticks=189061 tps=100 nb_sec=1890
case_no=84 label=Case6.72 nb_sol=0 ticks=301337 tps=100 nb_sec=3013
case_no=84 label=Case6.72 nb_sol=0 ticks=179789 tps=100 nb_sec=1797
case_no=84 label=Case6.72 nb_sol=0 ticks=179585 tps=100 nb_sec=1795
case_no=84 label=Case6.72 nb_sol=0 ticks=295181 tps=100 nb_sec=2951
case_no=84 label=Case6.72 nb_sol=0 ticks=195565 tps=100 nb_sec=1955
case_no=84 label=Case6.72 nb_sol=0 ticks=183538 tps=100 nb_sec=1835
case_no=84 label=Case6.72 nb_sol=0 ticks=280628 tps=100 nb_sec=2806
case_no=84 label=Case6.72 nb_sol=0 ticks=188989 tps=100 nb_sec=1889
case_no=84 label=Case6.72 nb_sol=0 ticks=187461 tps=100 nb_sec=1874
case_no=84 label=Case6.72 nb_sol=0 ticks=255138 tps=100 nb_sec=2551
case_no=84 label=Case6.72 nb_sol=0 ticks=167864 tps=100 nb_sec=1678
case_no=84 label=Case6.72 nb_sol=0 ticks=181644 tps=100 nb_sec=1816
case_no=84 label=Case6.72 nb_sol=0 ticks=283252 tps=100 nb_sec=2832
case_no=84 label=Case6.72 nb_sol=0 ticks=172694 tps=100 nb_sec=1726
case_no=84 label=Case6.72 nb_sol=0 ticks=199232 tps=100 nb_sec=1992
case_no=84 label=Case6.72 nb_sol=0 ticks=296924 tps=100 nb_sec=2969
case_no=84 label=Case6.72 nb_sol=0 ticks=288875 tps=100 nb_sec=2888
case_no=84 label=Case6.72 nb_sol=0 ticks=189751 tps=100 nb_sec=1897
case_no=84 label=Case6.72 nb_sol=0 ticks=164796 tps=100 nb_sec=1647
case_no=84 label=Case6.72 nb_sol=0 ticks=186490 tps=100 nb_sec=1864
case_no=84 label=Case6.72 nb_sol=0 ticks=96528 tps=100 nb_sec=965
case_no=84 label=Case6.72 nb_sol=0 ticks=284534 tps=100 nb_sec=2845
case_no=84 label=Case6.72 nb_sol=0 ticks=195734 tps=100 nb_sec=1957
case_no=84 label=Case6.72 nb_sol=0 ticks=201368 tps=100 nb_sec=2013
case_no=84 label=Case6.72 nb_sol=0 ticks=187670 tps=100 nb_sec=1876
case_no=84 label=Case6.72 nb_sol=0 ticks=185707 tps=100 nb_sec=1857
case_no=84 label=Case6.72 nb_sol=0 ticks=181563 tps=100 nb_sec=1815
case_no=84 label=Case6.72 nb_sol=0 ticks=94827 tps=100 nb_sec=948
case_no=84 label=Case6.72 nb_sol=0 ticks=280483 tps=100 nb_sec=2804
case_no=84 label=Case6.72 nb_sol=0 ticks=167045 tps=100 nb_sec=1670
case_no=84 label=Case6.72 nb_sol=0 ticks=181241 tps=100 nb_sec=1812
case_no=84 label=Case6.72 nb_sol=0 ticks=263845 tps=100 nb_sec=2638
case_no=84 label=Case6.72 nb_sol=0 ticks=189718 tps=100 nb_sec=1897
case_no=84 label=Case6.72 nb_sol=0 ticks=184935 tps=100 nb_sec=1849
case_no=84 label=Case6.72 nb_sol=0 ticks=176677 tps=100 nb_sec=1766
case_no=84 label=Case6.72 nb_sol=0 ticks=288040 tps=100 nb_sec=2880
case_no=84 label=Case6.72 nb_sol=0 ticks=185732 tps=100 nb_sec=1857
case_no=84 label=Case6.72 nb_sol=0 ticks=97602 tps=100 nb_sec=976
case_no=84 label=Case6.72 nb_sol=0 ticks=185874 tps=100 nb_sec=1858
case_no=84 label=Case6.72 nb_sol=0 ticks=256613 tps=100 nb_sec=2566
case_no=84 label=Case6.72 nb_sol=0 ticks=196631 tps=100 nb_sec=1966
case_no=84 label=Case6.72 nb_sol=0 ticks=99875 tps=100 nb_sec=998
case_no=84 label=Case6.72 nb_sol=0 ticks=185276 tps=100 nb_sec=1852
case_no=84 label=Case6.72 nb_sol=0 ticks=308377 tps=100 nb_sec=3083
case_no=84 label=Case6.72 nb_sol=0 ticks=178571 tps=100 nb_sec=1785
case_no=84 label=Case6.72 nb_sol=0 ticks=160743 tps=100 nb_sec=1607
case_no=84 label=Case6.72 nb_sol=0 ticks=184649 tps=100 nb_sec=1846
case_no=84 label=Case6.72 nb_sol=0 ticks=269767 tps=100 nb_sec=2697
case_no=84 label=Case6.72 nb_sol=0 ticks=192706 tps=100 nb_sec=1927
case_no=84 label=Case6.72 nb_sol=0 ticks=174159 tps=100 nb_sec=1741
case_no=84 label=Case6.72 nb_sol=0 ticks=93077 tps=100 nb_sec=930
case_no=84 label=Case6.72 nb_sol=0 ticks=255523 tps=100 nb_sec=2555
case_no=84 label=Case6.72 nb_sol=0 ticks=184849 tps=100 nb_sec=1848
case_no=84 label=Case6.72 nb_sol=0 ticks=284145 tps=100 nb_sec=2841
case_no=84 label=Case6.72 nb_sol=0 ticks=191392 tps=100 nb_sec=1913
case_no=84 label=Case6.72 nb_sol=0 ticks=191316 tps=100 nb_sec=1913
case_no=84 label=Case6.72 nb_sol=0 ticks=268785 tps=100 nb_sec=2687
case_no=84 label=Case6.72 nb_sol=0 ticks=185294 tps=100 nb_sec=1852
case_no=84 label=Case6.72 nb_sol=0 ticks=172117 tps=100 nb_sec=1721
case_no=84 label=Case6.72 nb_sol=0 ticks=178435 tps=100 nb_sec=1784
case_no=84 label=Case6.72 nb_sol=0 ticks=278858 tps=100 nb_sec=2788
case_no=84 label=Case6.72 nb_sol=0 ticks=313475 tps=100 nb_sec=3134
case_no=84 label=Case6.72 nb_sol=0 ticks=191882 tps=100 nb_sec=1918
case_no=84 label=Case6.72 nb_sol=0 ticks=200642 tps=100 nb_sec=2006
case_no=84 label=Case6.72 nb_sol=0 ticks=192753 tps=100 nb_sec=1927
case_no=84 label=Case6.72 nb_sol=0 ticks=185364 tps=100 nb_sec=1853
case_no=84 label=Case6.72 nb_sol=0 ticks=95813 tps=100 nb_sec=958
case_no=84 label=Case6.72 nb_sol=0 ticks=183535 tps=100 nb_sec=1835
case_no=84 label=Case6.72 nb_sol=0 ticks=300169 tps=100 nb_sec=3001
case_no=84 label=Case6.72 nb_sol=0 ticks=92343 tps=100 nb_sec=923
case_no=84 label=Case6.72 nb_sol=0 ticks=257482 tps=100 nb_sec=2574
case_no=84 label=Case6.72 nb_sol=0 ticks=185444 tps=100 nb_sec=1854
case_no=84 label=Case6.72 nb_sol=0 ticks=185329 tps=100 nb_sec=1853
case_no=84 label=Case6.72 nb_sol=0 ticks=135612 tps=100 nb_sec=1356
case_no=84 label=Case6.72 nb_sol=0 ticks=270360 tps=100 nb_sec=2703
case_no=84 label=Case6.72 nb_sol=0 ticks=194355 tps=100 nb_sec=1943
case_no=84 label=Case6.72 nb_sol=0 ticks=189481 tps=100 nb_sec=1894
case_no=84 label=Case6.72 nb_sol=0 ticks=199273 tps=100 nb_sec=1992
case_no=84 label=Case6.72 nb_sol=0 ticks=303481 tps=100 nb_sec=3034
case_no=84 label=Case6.72 nb_sol=0 ticks=184599 tps=100 nb_sec=1845
case_no=84 label=Case6.72 nb_sol=0 ticks=89164 tps=100 nb_sec=891
case_no=84 label=Case6.72 nb_sol=0 ticks=302312 tps=100 nb_sec=3023
case_no=84 label=Case6.72 nb_sol=0 ticks=188692 tps=100 nb_sec=1886
case_no=84 label=Case6.72 nb_sol=0 ticks=169027 tps=100 nb_sec=1690
case_no=84 label=Case6.72 nb_sol=0 ticks=285900 tps=100 nb_sec=2859
case_no=84 label=Case6.72 nb_sol=0 ticks=96036 tps=100 nb_sec=960
case_no=84 label=Case6.72 nb_sol=0 ticks=296794 tps=100 nb_sec=2967
case_no=84 label=Case6.72 nb_sol=0 ticks=201295 tps=100 nb_sec=2012
case_no=84 label=Case6.72 nb_sol=0 ticks=96198 tps=100 nb_sec=961
case_no=84 label=Case6.72 nb_sol=0 ticks=305095 tps=100 nb_sec=3050
case_no=84 label=Case6.72 nb_sol=0 ticks=188856 tps=100 nb_sec=1888
case_no=84 label=Case6.72 nb_sol=0 ticks=188857 tps=100 nb_sec=1888
case_no=84 label=Case6.72 nb_sol=0 ticks=304467 tps=100 nb_sec=3044
case_no=84 label=Case6.72 nb_sol=0 ticks=307493 tps=100 nb_sec=3074
case_no=84 label=Case6.72 nb_sol=0 ticks=312100 tps=100 nb_sec=3121
case_no=84 label=Case6.72 nb_sol=0 ticks=193646 tps=100 nb_sec=1936
case_no=84 label=Case6.72 nb_sol=0 ticks=277794 tps=100 nb_sec=2777
case_no=84 label=Case6.72 nb_sol=0 ticks=303794 tps=100 nb_sec=3037
case_no=84 label=Case6.72 nb_sol=0 ticks=288182 tps=100 nb_sec=2881
case_no=84 label=Case6.72 nb_sol=0 ticks=283876 tps=100 nb_sec=2838
case_no=84 label=Case6.72 nb_sol=0 ticks=192197 tps=100 nb_sec=1921
case_no=84 label=Case6.72 nb_sol=0 ticks=267475 tps=100 nb_sec=2674
case_no=84 label=Case6.72 nb_sol=0 ticks=297476 tps=100 nb_sec=2974
case_no=84 label=Case6.72 nb_sol=0 ticks=191227 tps=100 nb_sec=1912
case_no=84 label=Case6.72 nb_sol=0 ticks=302386 tps=100 nb_sec=3023
case_no=84 label=Case6.72 nb_sol=0 ticks=250968 tps=100 nb_sec=2509
case_no=84 label=Case6.72 nb_sol=0 ticks=194362 tps=100 nb_sec=1943
case_no=84 label=Case6.72 nb_sol=0 ticks=305965 tps=100 nb_sec=3059
case_no=84 label=Case6.72 nb_sol=0 ticks=299366 tps=100 nb_sec=2993
case_no=84 label=Case6.72 nb_sol=0 ticks=189283 tps=100 nb_sec=1892
case_no=84 label=Case6.72 nb_sol=0 ticks=287559 tps=100 nb_sec=2875
case_no=84 label=Case6.72 nb_sol=0 ticks=252899 tps=100 nb_sec=2528
case_no=84 label=Case6.72 nb_sol=0 ticks=187691 tps=100 nb_sec=1876
case_no=84 label=Case6.72 nb_sol=0 ticks=306341 tps=100 nb_sec=3063
case_no=84 label=Case6.72 nb_sol=0 ticks=297089 tps=100 nb_sec=2970
case_no=84 label=Case6.72 nb_sol=0 ticks=187005 tps=100 nb_sec=1870
case_no=84 label=Case6.72 nb_sol=0 ticks=259499 tps=100 nb_sec=2594
case_no=84 label=Case6.72 nb_sol=0 ticks=180109 tps=100 nb_sec=1801
case_no=84 label=Case6.72 nb_sol=0 ticks=186887 tps=100 nb_sec=1868
case_no=84 label=Case6.72 nb_sol=0 ticks=276450 tps=100 nb_sec=2764
case_no=84 label=Case6.72 nb_sol=0 ticks=191238 tps=100 nb_sec=1912
case_no=84 label=Case6.72 nb_sol=0 ticks=183362 tps=100 nb_sec=1833
case_no=84 label=Case6.72 nb_sol=0 ticks=186297 tps=100 nb_sec=1862
case_no=84 label=Case6.72 nb_sol=0 ticks=189438 tps=100 nb_sec=1894
case_no=84 label=Case6.72 nb_sol=0 ticks=286856 tps=100 nb_sec=2868
case_no=84 label=Case6.72 nb_sol=0 ticks=270018 tps=100 nb_sec=2700
case_no=84 label=Case6.72 nb_sol=0 ticks=99569 tps=100 nb_sec=995
case_no=84 label=Case6.72 nb_sol=0 ticks=178667 tps=100 nb_sec=1786
case_no=84 label=Case6.72 nb_sol=0 ticks=209264 tps=100 nb_sec=2092
case_no=84 label=Case6.72 nb_sol=0 ticks=290622 tps=100 nb_sec=2906
case_no=84 label=Case6.72 nb_sol=0 ticks=278491 tps=100 nb_sec=2784
case_no=84 label=Case6.72 nb_sol=0 ticks=189524 tps=100 nb_sec=1895
case_no=84 label=Case6.72 nb_sol=0 ticks=317702 tps=100 nb_sec=3177
case_no=84 label=Case6.72 nb_sol=0 ticks=191254 tps=100 nb_sec=1912
case_no=84 label=Case6.72 nb_sol=0 ticks=330178 tps=100 nb_sec=3301
case_no=84 label=Case6.72 nb_sol=0 ticks=181211 tps=100 nb_sec=1812
case_no=84 label=Case6.72 nb_sol=0 ticks=192412 tps=100 nb_sec=1924
case_no=84 label=Case6.72 nb_sol=0 ticks=186892 tps=100 nb_sec=1868
case_no=84 label=Case6.72 nb_sol=0 ticks=281368 tps=100 nb_sec=2813
case_no=84 label=Case6.72 nb_sol=0 ticks=165156 tps=100 nb_sec=1651
case_no=84 label=Case6.72 nb_sol=0 ticks=197998 tps=100 nb_sec=1979
case_no=84 label=Case6.72 nb_sol=0 ticks=287270 tps=100 nb_sec=2872
case_no=84 label=Case6.72 nb_sol=0 ticks=153017 tps=100 nb_sec=1530
case_no=84 label=Case6.72 nb_sol=0 ticks=192600 tps=100 nb_sec=1926
case_no=84 label=Case6.72 nb_sol=0 ticks=310068 tps=100 nb_sec=3100
case_no=84 label=Case6.72 nb_sol=0 ticks=92601 tps=100 nb_sec=926
case_no=84 label=Case6.72 nb_sol=0 ticks=191161 tps=100 nb_sec=1911
case_no=84 label=Case6.72 nb_sol=0 ticks=296352 tps=100 nb_sec=2963
case_no=84 label=Case6.72 nb_sol=0 ticks=95916 tps=100 nb_sec=959
case_no=84 label=Case6.72 nb_sol=0 ticks=179216 tps=100 nb_sec=1792
case_no=84 label=Case6.72 nb_sol=0 ticks=293522 tps=100 nb_sec=2935
case_no=84 label=Case6.72 nb_sol=0 ticks=120403 tps=100 nb_sec=1204
case_no=84 label=Case6.72 nb_sol=0 ticks=192988 tps=100 nb_sec=1929
case_no=84 label=Case6.72 nb_sol=0 ticks=251948 tps=100 nb_sec=2519
case_no=84 label=Case6.72 nb_sol=0 ticks=188260 tps=100 nb_sec=1882
case_no=84 label=Case6.72 nb_sol=0 ticks=279353 tps=100 nb_sec=2793
case_no=84 label=Case6.72 nb_sol=0 ticks=191026 tps=100 nb_sec=1910
case_no=84 label=Case6.72 nb_sol=0 ticks=129383 tps=100 nb_sec=1293
case_no=84 label=Case6.72 nb_sol=0 ticks=185822 tps=100 nb_sec=1858
case_no=84 label=Case6.72 nb_sol=0 ticks=272853 tps=100 nb_sec=2728
case_no=84 label=Case6.72 nb_sol=0 ticks=95951 tps=100 nb_sec=959
case_no=84 label=Case6.72 nb_sol=0 ticks=296379 tps=100 nb_sec=2963
case_no=84 label=Case6.72 nb_sol=0 ticks=188160 tps=100 nb_sec=1881
case_no=84 label=Case6.72 nb_sol=0 ticks=276193 tps=100 nb_sec=2761
case_no=84 label=Case6.72 nb_sol=0 ticks=268786 tps=100 nb_sec=2687
case_no=84 label=Case6.72 nb_sol=0 ticks=181612 tps=100 nb_sec=1816
case_no=84 label=Case6.72 nb_sol=0 ticks=181431 tps=100 nb_sec=1814
case_no=84 label=Case6.72 nb_sol=0 ticks=308233 tps=100 nb_sec=3082
case_no=84 label=Case6.72 nb_sol=0 ticks=175466 tps=100 nb_sec=1754
case_no=84 label=Case6.72 nb_sol=0 ticks=304576 tps=100 nb_sec=3045
case_no=84 label=Case6.72 nb_sol=0 ticks=193566 tps=100 nb_sec=1935
case_no=84 label=Case6.72 nb_sol=0 ticks=311423 tps=100 nb_sec=3114
case_no=84 label=Case6.72 nb_sol=0 ticks=188855 tps=100 nb_sec=1888
case_no=84 label=Case6.72 nb_sol=0 ticks=202334 tps=100 nb_sec=2023
case_no=84 label=Case6.72 nb_sol=0 ticks=185663 tps=100 nb_sec=1856
case_no=84 label=Case6.72 nb_sol=0 ticks=295663 tps=100 nb_sec=2956
case_no=84 label=Case6.72 nb_sol=0 ticks=215404 tps=100 nb_sec=2154
case_no=84 label=Case6.72 nb_sol=0 ticks=185339 tps=100 nb_sec=1853
case_no=84 label=Case6.72 nb_sol=0 ticks=180267 tps=100 nb_sec=1802
case_no=84 label=Case6.72 nb_sol=0 ticks=261656 tps=100 nb_sec=2616
case_no=84 label=Case6.72 nb_sol=0 ticks=184661 tps=100 nb_sec=1846
case_no=84 label=Case6.72 nb_sol=0 ticks=306641 tps=100 nb_sec=3066
case_no=84 label=Case6.72 nb_sol=0 ticks=190708 tps=100 nb_sec=1907
case_no=84 label=Case6.72 nb_sol=0 ticks=166514 tps=100 nb_sec=1665
case_no=84 label=Case6.72 nb_sol=0 ticks=287041 tps=100 nb_sec=2870
case_no=84 label=Case6.72 nb_sol=0 ticks=281337 tps=100 nb_sec=2813
case_no=84 label=Case6.72 nb_sol=0 ticks=181616 tps=100 nb_sec=1816
case_no=84 label=Case6.72 nb_sol=0 ticks=187457 tps=100 nb_sec=1874
case_no=84 label=Case6.72 nb_sol=0 ticks=292786 tps=100 nb_sec=2927
case_no=84 label=Case6.72 nb_sol=0 ticks=277394 tps=100 nb_sec=2773
case_no=84 label=Case6.72 nb_sol=0 ticks=204533 tps=100 nb_sec=2045
case_no=84 label=Case6.72 nb_sol=0 ticks=96185 tps=100 nb_sec=961
case_no=84 label=Case6.72 nb_sol=0 ticks=262190 tps=100 nb_sec=2621
case_no=84 label=Case6.72 nb_sol=0 ticks=186042 tps=100 nb_sec=1860
case_no=84 label=Case6.72 nb_sol=0 ticks=181809 tps=100 nb_sec=1818
case_no=84 label=Case6.72 nb_sol=0 ticks=280202 tps=100 nb_sec=2802
case_no=84 label=Case6.72 nb_sol=0 ticks=93906 tps=100 nb_sec=939
case_no=84 label=Case6.72 nb_sol=0 ticks=189204 tps=100 nb_sec=1892
case_no=84 label=Case6.72 nb_sol=0 ticks=98809 tps=100 nb_sec=988
case_no=84 label=Case6.72 nb_sol=0 ticks=186477 tps=100 nb_sec=1864
case_no=84 label=Case6.72 nb_sol=0 ticks=165602 tps=100 nb_sec=1656
case_no=84 label=Case6.72 nb_sol=0 ticks=285755 tps=100 nb_sec=2857
case_no=84 label=Case6.72 nb_sol=0 ticks=90519 tps=100 nb_sec=905
case_no=84 label=Case6.72 nb_sol=0 ticks=287826 tps=100 nb_sec=2878
case_no=84 label=Case6.72 nb_sol=0 ticks=199157 tps=100 nb_sec=1991
case_no=84 label=Case6.72 nb_sol=0 ticks=269964 tps=100 nb_sec=2699
case_no=84 label=Case6.72 nb_sol=0 ticks=183581 tps=100 nb_sec=1835
case_no=84 label=Case6.72 nb_sol=0 ticks=186578 tps=100 nb_sec=1865
case_no=84 label=Case6.72 nb_sol=0 ticks=276096 tps=100 nb_sec=2760
case_no=84 label=Case6.72 nb_sol=0 ticks=194130 tps=100 nb_sec=1941
case_no=84 label=Case6.72 nb_sol=0 ticks=186039 tps=100 nb_sec=1860
case_no=84 label=Case6.72 nb_sol=0 ticks=172972 tps=100 nb_sec=1729
case_no=84 label=Case6.72 nb_sol=0 ticks=186964 tps=100 nb_sec=1869
case_no=84 label=Case6.72 nb_sol=0 ticks=202211 tps=100 nb_sec=2022
case_no=84 label=Case6.72 nb_sol=0 ticks=295547 tps=100 nb_sec=2955
case_no=84 label=Case6.72 nb_sol=0 ticks=209527 tps=100 nb_sec=2095
case_no=84 label=Case6.72 nb_sol=0 ticks=210531 tps=100 nb_sec=2105
case_no=84 label=Case6.72 nb_sol=0 ticks=194717 tps=100 nb_sec=1947
case_no=84 label=Case6.72 nb_sol=0 ticks=282659 tps=100 nb_sec=2826
case_no=84 label=Case6.72 nb_sol=0 ticks=293198 tps=100 nb_sec=2931
case_no=84 label=Case6.72 nb_sol=0 ticks=180880 tps=100 nb_sec=1808
case_no=84 label=Case6.72 nb_sol=0 ticks=177704 tps=100 nb_sec=1777
case_no=84 label=Case6.72 nb_sol=0 ticks=158501 tps=100 nb_sec=1585
case_no=84 label=Case6.72 nb_sol=0 ticks=279992 tps=100 nb_sec=2799
case_no=84 label=Case6.72 nb_sol=0 ticks=198717 tps=100 nb_sec=1987
case_no=84 label=Case6.72 nb_sol=0 ticks=184654 tps=100 nb_sec=1846
case_no=84 label=Case6.72 nb_sol=0 ticks=289253 tps=100 nb_sec=2892
case_no=84 label=Case6.72 nb_sol=0 ticks=186341 tps=100 nb_sec=1863
case_no=84 label=Case6.72 nb_sol=0 ticks=212867 tps=100 nb_sec=2128
case_no=84 label=Case6.72 nb_sol=0 ticks=157551 tps=100 nb_sec=1575
case_no=84 label=Case6.72 nb_sol=0 ticks=275549 tps=100 nb_sec=2755
case_no=84 label=Case6.72 nb_sol=0 ticks=270041 tps=100 nb_sec=2700
case_no=84 label=Case6.72 nb_sol=0 ticks=194942 tps=100 nb_sec=1949
case_no=84 label=Case6.72 nb_sol=0 ticks=276073 tps=100 nb_sec=2760
case_no=84 label=Case6.72 nb_sol=0 ticks=182668 tps=100 nb_sec=1826
case_no=84 label=Case6.72 nb_sol=0 ticks=293654 tps=100 nb_sec=2936
case_no=84 label=Case6.72 nb_sol=0 ticks=178427 tps=100 nb_sec=1784
case_no=84 label=Case6.72 nb_sol=0 ticks=178245 tps=100 nb_sec=1782
case_no=84 label=Case6.72 nb_sol=0 ticks=194498 tps=100 nb_sec=1944
case_no=84 label=Case6.72 nb_sol=0 ticks=276504 tps=100 nb_sec=2765
case_no=84 label=Case6.72 nb_sol=0 ticks=186992 tps=100 nb_sec=1869
case_no=84 label=Case6.72 nb_sol=0 ticks=187539 tps=100 nb_sec=1875
case_no=84 label=Case6.72 nb_sol=0 ticks=91868 tps=100 nb_sec=918
case_no=84 label=Case6.72 nb_sol=0 ticks=176615 tps=100 nb_sec=1766
case_no=84 label=Case6.72 nb_sol=0 ticks=175776 tps=100 nb_sec=1757
case_no=84 label=Case6.72 nb_sol=0 ticks=166378 tps=100 nb_sec=1663
case_no=84 label=Case6.72 nb_sol=0 ticks=287389 tps=100 nb_sec=2873
case_no=84 label=Case6.72 nb_sol=0 ticks=186753 tps=100 nb_sec=1867
case_no=84 label=Case6.72 nb_sol=0 ticks=292687 tps=100 nb_sec=2926
case_no=84 label=Case6.72 nb_sol=0 ticks=186732 tps=100 nb_sec=1867
case_no=84 label=Case6.72 nb_sol=0 ticks=299970 tps=100 nb_sec=2999
case_no=84 label=Case6.72 nb_sol=0 ticks=154926 tps=100 nb_sec=1549
case_no=84 label=Case6.72 nb_sol=0 ticks=151607 tps=100 nb_sec=1516
case_no=84 label=Case6.72 nb_sol=0 ticks=305658 tps=100 nb_sec=3056
case_no=84 label=Case6.72 nb_sol=0 ticks=90243 tps=100 nb_sec=902
case_no=84 label=Case6.72 nb_sol=0 ticks=182079 tps=100 nb_sec=1820
case_no=84 label=Case6.72 nb_sol=0 ticks=266156 tps=100 nb_sec=2661
case_no=84 label=Case6.72 nb_sol=0 ticks=161376 tps=100 nb_sec=1613
case_no=84 label=Case6.72 nb_sol=0 ticks=200580 tps=100 nb_sec=2005
case_no=84 label=Case6.72 nb_sol=0 ticks=156539 tps=100 nb_sec=1565
case_no=84 label=Case6.72 nb_sol=0 ticks=292468 tps=100 nb_sec=2924
case_no=84 label=Case6.72 nb_sol=0 ticks=178234 tps=100 nb_sec=1782
case_no=84 label=Case6.72 nb_sol=0 ticks=183977 tps=100 nb_sec=1839
case_no=84 label=Case6.72 nb_sol=0 ticks=204109 tps=100 nb_sec=2041
case_no=84 label=Case6.72 nb_sol=0 ticks=188771 tps=100 nb_sec=1887
case_no=84 label=Case6.72 nb_sol=0 ticks=156292 tps=100 nb_sec=1562
case_no=84 label=Case6.72 nb_sol=0 ticks=277499 tps=100 nb_sec=2774
case_no=84 label=Case6.72 nb_sol=0 ticks=92999 tps=100 nb_sec=929
case_no=84 label=Case6.72 nb_sol=0 ticks=179750 tps=100 nb_sec=1797
case_no=84 label=Case6.72 nb_sol=0 ticks=295172 tps=100 nb_sec=2951
case_no=84 label=Case6.72 nb_sol=0 ticks=182209 tps=100 nb_sec=1822
case_no=84 label=Case6.72 nb_sol=0 ticks=288582 tps=100 nb_sec=2885
case_no=84 label=Case6.72 nb_sol=0 ticks=258334 tps=100 nb_sec=2583
case_no=84 label=Case6.72 nb_sol=0 ticks=176501 tps=100 nb_sec=1765
case_no=84 label=Case6.72 nb_sol=0 ticks=175386 tps=100 nb_sec=1753
case_no=84 label=Case6.72 nb_sol=0 ticks=176985 tps=100 nb_sec=1769
case_no=84 label=Case6.72 nb_sol=0 ticks=170508 tps=100 nb_sec=1705
case_no=84 label=Case6.72 nb_sol=0 ticks=153923 tps=100 nb_sec=1539
case_no=84 label=Case6.72 nb_sol=0 ticks=275680 tps=100 nb_sec=2756
case_no=84 label=Case6.72 nb_sol=0 ticks=148327 tps=100 nb_sec=1483
case_no=84 label=Case6.72 nb_sol=0 ticks=175591 tps=100 nb_sec=1755
case_no=84 label=Case6.72 nb_sol=0 ticks=190915 tps=100 nb_sec=1909
case_no=84 label=Case6.72 nb_sol=0 ticks=94707 tps=100 nb_sec=947
case_no=84 label=Case6.72 nb_sol=0 ticks=157783 tps=100 nb_sec=1577
case_no=84 label=Case6.72 nb_sol=0 ticks=197323 tps=100 nb_sec=1973
case_no=84 label=Case6.72 nb_sol=0 ticks=291267 tps=100 nb_sec=2912
case_no=84 label=Case6.72 nb_sol=0 ticks=302327 tps=100 nb_sec=3023
case_no=84 label=Case6.72 nb_sol=0 ticks=185114 tps=100 nb_sec=1851
case_no=84 label=Case6.72 nb_sol=0 ticks=187207 tps=100 nb_sec=1872
case_no=84 label=Case6.72 nb_sol=0 ticks=183690 tps=100 nb_sec=1836
case_no=84 label=Case6.72 nb_sol=0 ticks=166131 tps=100 nb_sec=1661
case_no=84 label=Case6.72 nb_sol=0 ticks=176205 tps=100 nb_sec=1762
case_no=84 label=Case6.72 nb_sol=0 ticks=277046 tps=100 nb_sec=2770
case_no=84 label=Case6.72 nb_sol=0 ticks=187480 tps=100 nb_sec=1874
case_no=84 label=Case6.72 nb_sol=0 ticks=91807 tps=100 nb_sec=918
case_no=84 label=Case6.72 nb_sol=0 ticks=180281 tps=100 nb_sec=1802
case_no=84 label=Case6.72 nb_sol=0 ticks=302081 tps=100 nb_sec=3020
case_no=84 label=Case6.72 nb_sol=0 ticks=196309 tps=100 nb_sec=1963
case_no=84 label=Case6.72 nb_sol=0 ticks=197313 tps=100 nb_sec=1973
case_no=84 label=Case6.72 nb_sol=0 ticks=177348 tps=100 nb_sec=1773
case_no=84 label=Case6.72 nb_sol=0 ticks=183018 tps=100 nb_sec=1830
case_no=84 label=Case6.72 nb_sol=0 ticks=191588 tps=100 nb_sec=1915
case_no=84 label=Case6.72 nb_sol=0 ticks=181253 tps=100 nb_sec=1812
case_no=84 label=Case6.72 nb_sol=0 ticks=264220 tps=100 nb_sec=2642
case_no=84 label=Case6.72 nb_sol=0 ticks=271723 tps=100 nb_sec=2717
case_no=84 label=Case6.72 nb_sol=0 ticks=185750 tps=100 nb_sec=1857
case_no=84 label=Case6.72 nb_sol=0 ticks=278976 tps=100 nb_sec=2789
case_no=84 label=Case6.72 nb_sol=0 ticks=177230 tps=100 nb_sec=1772
case_no=84 label=Case6.72 nb_sol=0 ticks=285824 tps=100 nb_sec=2858
case_no=84 label=Case6.72 nb_sol=0 ticks=188159 tps=100 nb_sec=1881
case_no=84 label=Case6.72 nb_sol=0 ticks=287245 tps=100 nb_sec=2872
case_no=84 label=Case6.72 nb_sol=0 ticks=187741 tps=100 nb_sec=1877
case_no=84 label=Case6.72 nb_sol=0 ticks=292884 tps=100 nb_sec=2928
case_no=84 label=Case6.72 nb_sol=0 ticks=178326 tps=100 nb_sec=1783
case_no=84 label=Case6.72 nb_sol=0 ticks=284421 tps=100 nb_sec=2844
case_no=84 label=Case6.72 nb_sol=0 ticks=207640 tps=100 nb_sec=2076
case_no=84 label=Case6.72 nb_sol=0 ticks=156230 tps=100 nb_sec=1562
case_no=84 label=Case6.72 nb_sol=0 ticks=270369 tps=100 nb_sec=2703
case_no=84 label=Case6.72 nb_sol=0 ticks=271045 tps=100 nb_sec=2710
case_no=84 label=Case6.72 nb_sol=0 ticks=166265 tps=100 nb_sec=1662
case_no=84 label=Case6.72 nb_sol=0 ticks=197436 tps=100 nb_sec=1974
case_no=84 label=Case6.72 nb_sol=0 ticks=187191 tps=100 nb_sec=1871
case_no=84 label=Case6.72 nb_sol=0 ticks=262784 tps=100 nb_sec=2627
case_no=84 label=Case6.72 nb_sol=0 ticks=108936 tps=100 nb_sec=1089
case_no=84 label=Case6.72 nb_sol=0 ticks=219777 tps=100 nb_sec=2197
case_no=84 label=Case6.72 nb_sol=0 ticks=181674 tps=100 nb_sec=1816
case_no=84 label=Case6.72 nb_sol=0 ticks=263488 tps=100 nb_sec=2634
case_no=84 label=Case6.72 nb_sol=0 ticks=167351 tps=100 nb_sec=1673
case_no=84 label=Case6.72 nb_sol=0 ticks=205422 tps=100 nb_sec=2054
case_no=84 label=Case6.72 nb_sol=0 ticks=179624 tps=100 nb_sec=1796
case_no=84 label=Case6.72 nb_sol=0 ticks=257978 tps=100 nb_sec=2579
case_no=84 label=Case6.72 nb_sol=0 ticks=166365 tps=100 nb_sec=1663
case_no=84 label=Case6.72 nb_sol=0 ticks=182471 tps=100 nb_sec=1824
case_no=84 label=Case6.72 nb_sol=0 ticks=102605 tps=100 nb_sec=1026
case_no=84 label=Case6.72 nb_sol=0 ticks=291024 tps=100 nb_sec=2910
case_no=84 label=Case6.72 nb_sol=0 ticks=175691 tps=100 nb_sec=1756
case_no=84 label=Case6.72 nb_sol=0 ticks=150770 tps=100 nb_sec=1507
case_no=84 label=Case6.72 nb_sol=0 ticks=296065 tps=100 nb_sec=2960
case_no=84 label=Case6.72 nb_sol=0 ticks=178631 tps=100 nb_sec=1786
case_no=84 label=Case6.72 nb_sol=0 ticks=278045 tps=100 nb_sec=2780
case_no=84 label=Case6.72 nb_sol=0 ticks=291259 tps=100 nb_sec=2912
case_no=84 label=Case6.72 nb_sol=0 ticks=164364 tps=100 nb_sec=1643
case_no=84 label=Case6.72 nb_sol=0 ticks=280425 tps=100 nb_sec=2804
case_no=84 label=Case6.72 nb_sol=0 ticks=281933 tps=100 nb_sec=2819
case_no=84 label=Case6.72 nb_sol=0 ticks=286547 tps=100 nb_sec=2865
case_no=84 label=Case6.72 nb_sol=0 ticks=178802 tps=100 nb_sec=1788
case_no=84 label=Case6.72 nb_sol=0 ticks=177742 tps=100 nb_sec=1777
case_no=84 label=Case6.72 nb_sol=0 ticks=162214 tps=100 nb_sec=1622
case_no=84 label=Case6.72 nb_sol=0 ticks=185836 tps=100 nb_sec=1858
case_no=84 label=Case6.72 nb_sol=0 ticks=250429 tps=100 nb_sec=2504
case_no=84 label=Case6.72 nb_sol=0 ticks=186972 tps=100 nb_sec=1869
case_no=84 label=Case6.72 nb_sol=0 ticks=256197 tps=100 nb_sec=2561
case_no=84 label=Case6.72 nb_sol=0 ticks=182688 tps=100 nb_sec=1826
case_no=84 label=Case6.72 nb_sol=0 ticks=302090 tps=100 nb_sec=3020
case_no=84 label=Case6.72 nb_sol=0 ticks=180639 tps=100 nb_sec=1806
case_no=84 label=Case6.72 nb_sol=0 ticks=277896 tps=100 nb_sec=2778
case_no=84 label=Case6.72 nb_sol=0 ticks=252277 tps=100 nb_sec=2522
case_no=84 label=Case6.72 nb_sol=0 ticks=201655 tps=100 nb_sec=2016
case_no=84 label=Case6.72 nb_sol=0 ticks=165074 tps=100 nb_sec=1650
case_no=84 label=Case6.72 nb_sol=0 ticks=285167 tps=100 nb_sec=2851
case_no=84 label=Case6.72 nb_sol=0 ticks=283273 tps=100 nb_sec=2832
case_no=84 label=Case6.72 nb_sol=0 ticks=203778 tps=100 nb_sec=2037
case_no=84 label=Case6.72 nb_sol=0 ticks=250683 tps=100 nb_sec=2506
case_no=84 label=Case6.72 nb_sol=0 ticks=132618 tps=100 nb_sec=1326
case_no=84 label=Case6.72 nb_sol=0 ticks=169587 tps=100 nb_sec=1695
case_no=84 label=Case6.72 nb_sol=0 ticks=239078 tps=100 nb_sec=2390
case_no=84 label=Case6.72 nb_sol=0 ticks=255396 tps=100 nb_sec=2553
case_no=84 label=Case6.72 nb_sol=0 ticks=192665 tps=100 nb_sec=1926
case_no=84 label=Case6.72 nb_sol=0 ticks=186552 tps=100 nb_sec=1865
case_no=84 label=Case6.72 nb_sol=0 ticks=195547 tps=100 nb_sec=1955
case_no=84 label=Case6.72 nb_sol=0 ticks=281839 tps=100 nb_sec=2818
case_no=84 label=Case6.72 nb_sol=0 ticks=248465 tps=100 nb_sec=2484
case_no=84 label=Case6.72 nb_sol=0 ticks=208219 tps=100 nb_sec=2082
case_no=84 label=Case6.72 nb_sol=0 ticks=147451 tps=100 nb_sec=1474
case_no=84 label=Case6.72 nb_sol=0 ticks=189351 tps=100 nb_sec=1893
case_no=84 label=Case6.72 nb_sol=0 ticks=290248 tps=100 nb_sec=2902
case_no=84 label=Case6.72 nb_sol=0 ticks=165111 tps=100 nb_sec=1651
case_no=84 label=Case6.72 nb_sol=0 ticks=256662 tps=100 nb_sec=2566
case_no=84 label=Case6.72 nb_sol=0 ticks=183328 tps=100 nb_sec=1833
case_no=84 label=Case6.72 nb_sol=0 ticks=312785 tps=100 nb_sec=3127
case_no=84 label=Case6.72 nb_sol=0 ticks=133922 tps=100 nb_sec=1339
case_no=84 label=Case6.72 nb_sol=0 ticks=269794 tps=100 nb_sec=2697
case_no=84 label=Case6.72 nb_sol=0 ticks=127973 tps=100 nb_sec=1279
case_no=84 label=Case6.72 nb_sol=0 ticks=267236 tps=100 nb_sec=2672
case_no=84 label=Case6.72 nb_sol=0 ticks=181313 tps=100 nb_sec=1813
Nb_sol=0
Nb_sec=1093493
12-15:44:53 or 303 hours
missing cases:
none