argc=5
-M 512
file2=30_select_Case6.135_starter_15_
checking files mod 512 from 0 to 511
case_no=147 label=Case6.135 nb_sol=0 ticks=131337 tps=100 nb_sec=1313
case_no=147 label=Case6.135 nb_sol=0 ticks=275564 tps=100 nb_sec=2755
case_no=147 label=Case6.135 nb_sol=0 ticks=232729 tps=100 nb_sec=2327
case_no=147 label=Case6.135 nb_sol=0 ticks=101253 tps=100 nb_sec=1012
case_no=147 label=Case6.135 nb_sol=0 ticks=165506 tps=100 nb_sec=1655
case_no=147 label=Case6.135 nb_sol=0 ticks=78732 tps=100 nb_sec=787
case_no=147 label=Case6.135 nb_sol=0 ticks=75386 tps=100 nb_sec=753
case_no=147 label=Case6.135 nb_sol=0 ticks=324749 tps=100 nb_sec=3247
case_no=147 label=Case6.135 nb_sol=0 ticks=220430 tps=100 nb_sec=2204
case_no=147 label=Case6.135 nb_sol=0 ticks=133839 tps=100 nb_sec=1338
case_no=147 label=Case6.135 nb_sol=0 ticks=200505 tps=100 nb_sec=2005
case_no=147 label=Case6.135 nb_sol=0 ticks=123938 tps=100 nb_sec=1239
case_no=147 label=Case6.135 nb_sol=0 ticks=110153 tps=100 nb_sec=1101
case_no=147 label=Case6.135 nb_sol=0 ticks=159701 tps=100 nb_sec=1597
case_no=147 label=Case6.135 nb_sol=0 ticks=133794 tps=100 nb_sec=1337
case_no=147 label=Case6.135 nb_sol=0 ticks=221452 tps=100 nb_sec=2214
case_no=147 label=Case6.135 nb_sol=0 ticks=176582 tps=100 nb_sec=1765
case_no=147 label=Case6.135 nb_sol=0 ticks=97392 tps=100 nb_sec=973
case_no=147 label=Case6.135 nb_sol=0 ticks=217011 tps=100 nb_sec=2170
case_no=147 label=Case6.135 nb_sol=0 ticks=170882 tps=100 nb_sec=1708
case_no=147 label=Case6.135 nb_sol=0 ticks=268532 tps=100 nb_sec=2685
case_no=147 label=Case6.135 nb_sol=0 ticks=223347 tps=100 nb_sec=2233
case_no=147 label=Case6.135 nb_sol=0 ticks=149855 tps=100 nb_sec=1498
case_no=147 label=Case6.135 nb_sol=0 ticks=215020 tps=100 nb_sec=2150
case_no=147 label=Case6.135 nb_sol=0 ticks=136719 tps=100 nb_sec=1367
case_no=147 label=Case6.135 nb_sol=0 ticks=250903 tps=100 nb_sec=2509
case_no=147 label=Case6.135 nb_sol=0 ticks=210091 tps=100 nb_sec=2100
case_no=147 label=Case6.135 nb_sol=0 ticks=93095 tps=100 nb_sec=930
case_no=147 label=Case6.135 nb_sol=0 ticks=123896 tps=100 nb_sec=1238
case_no=147 label=Case6.135 nb_sol=0 ticks=196492 tps=100 nb_sec=1964
case_no=147 label=Case6.135 nb_sol=0 ticks=357596 tps=100 nb_sec=3575
case_no=147 label=Case6.135 nb_sol=0 ticks=271907 tps=100 nb_sec=2719
case_no=147 label=Case6.135 nb_sol=0 ticks=159656 tps=100 nb_sec=1596
case_no=147 label=Case6.135 nb_sol=0 ticks=170144 tps=100 nb_sec=1701
case_no=147 label=Case6.135 nb_sol=0 ticks=107182 tps=100 nb_sec=1071
case_no=147 label=Case6.135 nb_sol=0 ticks=148020 tps=100 nb_sec=1480
case_no=147 label=Case6.135 nb_sol=0 ticks=225096 tps=100 nb_sec=2250
case_no=147 label=Case6.135 nb_sol=0 ticks=200764 tps=100 nb_sec=2007
case_no=147 label=Case6.135 nb_sol=0 ticks=74314 tps=100 nb_sec=743
case_no=147 label=Case6.135 nb_sol=0 ticks=131663 tps=100 nb_sec=1316
case_no=147 label=Case6.135 nb_sol=0 ticks=158995 tps=100 nb_sec=1589
case_no=147 label=Case6.135 nb_sol=0 ticks=107816 tps=100 nb_sec=1078
case_no=147 label=Case6.135 nb_sol=0 ticks=93388 tps=100 nb_sec=933
case_no=147 label=Case6.135 nb_sol=0 ticks=105885 tps=100 nb_sec=1058
case_no=147 label=Case6.135 nb_sol=0 ticks=122717 tps=100 nb_sec=1227
case_no=147 label=Case6.135 nb_sol=0 ticks=107193 tps=100 nb_sec=1071
case_no=147 label=Case6.135 nb_sol=0 ticks=123716 tps=100 nb_sec=1237
case_no=147 label=Case6.135 nb_sol=0 ticks=227800 tps=100 nb_sec=2278
case_no=147 label=Case6.135 nb_sol=0 ticks=128377 tps=100 nb_sec=1283
case_no=147 label=Case6.135 nb_sol=0 ticks=352423 tps=100 nb_sec=3524
case_no=147 label=Case6.135 nb_sol=0 ticks=226580 tps=100 nb_sec=2265
case_no=147 label=Case6.135 nb_sol=0 ticks=141773 tps=100 nb_sec=1417
case_no=147 label=Case6.135 nb_sol=0 ticks=141430 tps=100 nb_sec=1414
case_no=147 label=Case6.135 nb_sol=0 ticks=140824 tps=100 nb_sec=1408
case_no=147 label=Case6.135 nb_sol=0 ticks=102912 tps=100 nb_sec=1029
case_no=147 label=Case6.135 nb_sol=0 ticks=140793 tps=100 nb_sec=1407
case_no=147 label=Case6.135 nb_sol=0 ticks=137920 tps=100 nb_sec=1379
case_no=147 label=Case6.135 nb_sol=0 ticks=92691 tps=100 nb_sec=926
case_no=147 label=Case6.135 nb_sol=0 ticks=178595 tps=100 nb_sec=1785
case_no=147 label=Case6.135 nb_sol=0 ticks=178186 tps=100 nb_sec=1781
case_no=147 label=Case6.135 nb_sol=0 ticks=131492 tps=100 nb_sec=1314
case_no=147 label=Case6.135 nb_sol=0 ticks=134267 tps=100 nb_sec=1342
case_no=147 label=Case6.135 nb_sol=0 ticks=136282 tps=100 nb_sec=1362
case_no=147 label=Case6.135 nb_sol=0 ticks=164615 tps=100 nb_sec=1646
case_no=147 label=Case6.135 nb_sol=0 ticks=177248 tps=100 nb_sec=1772
case_no=147 label=Case6.135 nb_sol=0 ticks=157316 tps=100 nb_sec=1573
case_no=147 label=Case6.135 nb_sol=0 ticks=90521 tps=100 nb_sec=905
case_no=147 label=Case6.135 nb_sol=0 ticks=142898 tps=100 nb_sec=1428
case_no=147 label=Case6.135 nb_sol=0 ticks=136126 tps=100 nb_sec=1361
case_no=147 label=Case6.135 nb_sol=0 ticks=267420 tps=100 nb_sec=2674
case_no=147 label=Case6.135 nb_sol=0 ticks=82931 tps=100 nb_sec=829
case_no=147 label=Case6.135 nb_sol=0 ticks=269771 tps=100 nb_sec=2697
case_no=147 label=Case6.135 nb_sol=0 ticks=190862 tps=100 nb_sec=1908
case_no=147 label=Case6.135 nb_sol=0 ticks=147030 tps=100 nb_sec=1470
case_no=147 label=Case6.135 nb_sol=0 ticks=117753 tps=100 nb_sec=1177
case_no=147 label=Case6.135 nb_sol=0 ticks=180390 tps=100 nb_sec=1803
case_no=147 label=Case6.135 nb_sol=0 ticks=96788 tps=100 nb_sec=967
case_no=147 label=Case6.135 nb_sol=0 ticks=264309 tps=100 nb_sec=2643
case_no=147 label=Case6.135 nb_sol=0 ticks=163377 tps=100 nb_sec=1633
case_no=147 label=Case6.135 nb_sol=0 ticks=197644 tps=100 nb_sec=1976
case_no=147 label=Case6.135 nb_sol=0 ticks=204802 tps=100 nb_sec=2048
case_no=147 label=Case6.135 nb_sol=0 ticks=171511 tps=100 nb_sec=1715
case_no=147 label=Case6.135 nb_sol=0 ticks=107075 tps=100 nb_sec=1070
case_no=147 label=Case6.135 nb_sol=0 ticks=249247 tps=100 nb_sec=2492
case_no=147 label=Case6.135 nb_sol=0 ticks=268733 tps=100 nb_sec=2687
case_no=147 label=Case6.135 nb_sol=0 ticks=85924 tps=100 nb_sec=859
case_no=147 label=Case6.135 nb_sol=0 ticks=192623 tps=100 nb_sec=1926
case_no=147 label=Case6.135 nb_sol=0 ticks=201437 tps=100 nb_sec=2014
case_no=147 label=Case6.135 nb_sol=0 ticks=162858 tps=100 nb_sec=1628
case_no=147 label=Case6.135 nb_sol=0 ticks=93844 tps=100 nb_sec=938
case_no=147 label=Case6.135 nb_sol=0 ticks=181211 tps=100 nb_sec=1812
case_no=147 label=Case6.135 nb_sol=0 ticks=46278 tps=100 nb_sec=462
case_no=147 label=Case6.135 nb_sol=0 ticks=230681 tps=100 nb_sec=2306
case_no=147 label=Case6.135 nb_sol=0 ticks=203325 tps=100 nb_sec=2033
case_no=147 label=Case6.135 nb_sol=0 ticks=171393 tps=100 nb_sec=1713
case_no=147 label=Case6.135 nb_sol=0 ticks=188831 tps=100 nb_sec=1888
case_no=147 label=Case6.135 nb_sol=0 ticks=276103 tps=100 nb_sec=2761
case_no=147 label=Case6.135 nb_sol=0 ticks=52344 tps=100 nb_sec=523
case_no=147 label=Case6.135 nb_sol=0 ticks=196703 tps=100 nb_sec=1967
case_no=147 label=Case6.135 nb_sol=0 ticks=169957 tps=100 nb_sec=1699
case_no=147 label=Case6.135 nb_sol=0 ticks=104798 tps=100 nb_sec=1047
case_no=147 label=Case6.135 nb_sol=0 ticks=210398 tps=100 nb_sec=2103
case_no=147 label=Case6.135 nb_sol=0 ticks=182382 tps=100 nb_sec=1823
case_no=147 label=Case6.135 nb_sol=0 ticks=131782 tps=100 nb_sec=1317
case_no=147 label=Case6.135 nb_sol=0 ticks=131194 tps=100 nb_sec=1311
case_no=147 label=Case6.135 nb_sol=0 ticks=116530 tps=100 nb_sec=1165
case_no=147 label=Case6.135 nb_sol=0 ticks=107555 tps=100 nb_sec=1075
case_no=147 label=Case6.135 nb_sol=0 ticks=228569 tps=100 nb_sec=2285
case_no=147 label=Case6.135 nb_sol=0 ticks=196993 tps=100 nb_sec=1969
case_no=147 label=Case6.135 nb_sol=0 ticks=171887 tps=100 nb_sec=1718
case_no=147 label=Case6.135 nb_sol=0 ticks=109320 tps=100 nb_sec=1093
case_no=147 label=Case6.135 nb_sol=0 ticks=69043 tps=100 nb_sec=690
case_no=147 label=Case6.135 nb_sol=0 ticks=88967 tps=100 nb_sec=889
case_no=147 label=Case6.135 nb_sol=0 ticks=264229 tps=100 nb_sec=2642
case_no=147 label=Case6.135 nb_sol=0 ticks=383749 tps=100 nb_sec=3837
case_no=147 label=Case6.135 nb_sol=0 ticks=244346 tps=100 nb_sec=2443
case_no=147 label=Case6.135 nb_sol=0 ticks=222500 tps=100 nb_sec=2225
case_no=147 label=Case6.135 nb_sol=0 ticks=187865 tps=100 nb_sec=1878
case_no=147 label=Case6.135 nb_sol=0 ticks=150594 tps=100 nb_sec=1505
case_no=147 label=Case6.135 nb_sol=0 ticks=182232 tps=100 nb_sec=1822
case_no=147 label=Case6.135 nb_sol=0 ticks=263333 tps=100 nb_sec=2633
case_no=147 label=Case6.135 nb_sol=0 ticks=50216 tps=100 nb_sec=502
case_no=147 label=Case6.135 nb_sol=0 ticks=238624 tps=100 nb_sec=2386
case_no=147 label=Case6.135 nb_sol=0 ticks=184893 tps=100 nb_sec=1848
case_no=147 label=Case6.135 nb_sol=0 ticks=151602 tps=100 nb_sec=1516
case_no=147 label=Case6.135 nb_sol=0 ticks=168109 tps=100 nb_sec=1681
case_no=147 label=Case6.135 nb_sol=0 ticks=92875 tps=100 nb_sec=928
case_no=147 label=Case6.135 nb_sol=0 ticks=94415 tps=100 nb_sec=944
case_no=147 label=Case6.135 nb_sol=0 ticks=291893 tps=100 nb_sec=2918
case_no=147 label=Case6.135 nb_sol=0 ticks=218495 tps=100 nb_sec=2184
case_no=147 label=Case6.135 nb_sol=0 ticks=172984 tps=100 nb_sec=1729
case_no=147 label=Case6.135 nb_sol=0 ticks=206168 tps=100 nb_sec=2061
case_no=147 label=Case6.135 nb_sol=0 ticks=271978 tps=100 nb_sec=2719
case_no=147 label=Case6.135 nb_sol=0 ticks=95806 tps=100 nb_sec=958
case_no=147 label=Case6.135 nb_sol=0 ticks=265691 tps=100 nb_sec=2656
case_no=147 label=Case6.135 nb_sol=0 ticks=358000 tps=100 nb_sec=3580
case_no=147 label=Case6.135 nb_sol=0 ticks=76469 tps=100 nb_sec=764
case_no=147 label=Case6.135 nb_sol=0 ticks=219438 tps=100 nb_sec=2194
case_no=147 label=Case6.135 nb_sol=0 ticks=194128 tps=100 nb_sec=1941
case_no=147 label=Case6.135 nb_sol=0 ticks=268366 tps=100 nb_sec=2683
case_no=147 label=Case6.135 nb_sol=0 ticks=170069 tps=100 nb_sec=1700
case_no=147 label=Case6.135 nb_sol=0 ticks=204691 tps=100 nb_sec=2046
case_no=147 label=Case6.135 nb_sol=0 ticks=80504 tps=100 nb_sec=805
case_no=147 label=Case6.135 nb_sol=0 ticks=236126 tps=100 nb_sec=2361
case_no=147 label=Case6.135 nb_sol=0 ticks=166207 tps=100 nb_sec=1662
case_no=147 label=Case6.135 nb_sol=0 ticks=150485 tps=100 nb_sec=1504
case_no=147 label=Case6.135 nb_sol=0 ticks=204020 tps=100 nb_sec=2040
case_no=147 label=Case6.135 nb_sol=0 ticks=90710 tps=100 nb_sec=907
case_no=147 label=Case6.135 nb_sol=0 ticks=77137 tps=100 nb_sec=771
case_no=147 label=Case6.135 nb_sol=0 ticks=159836 tps=100 nb_sec=1598
case_no=147 label=Case6.135 nb_sol=0 ticks=159754 tps=100 nb_sec=1597
case_no=147 label=Case6.135 nb_sol=0 ticks=75818 tps=100 nb_sec=758
case_no=147 label=Case6.135 nb_sol=0 ticks=68881 tps=100 nb_sec=688
case_no=147 label=Case6.135 nb_sol=0 ticks=146338 tps=100 nb_sec=1463
case_no=147 label=Case6.135 nb_sol=0 ticks=112649 tps=100 nb_sec=1126
case_no=147 label=Case6.135 nb_sol=0 ticks=218974 tps=100 nb_sec=2189
case_no=147 label=Case6.135 nb_sol=0 ticks=206280 tps=100 nb_sec=2062
case_no=147 label=Case6.135 nb_sol=0 ticks=138630 tps=100 nb_sec=1386
case_no=147 label=Case6.135 nb_sol=0 ticks=336298 tps=100 nb_sec=3362
case_no=147 label=Case6.135 nb_sol=0 ticks=308909 tps=100 nb_sec=3089
case_no=147 label=Case6.135 nb_sol=0 ticks=164893 tps=100 nb_sec=1648
case_no=147 label=Case6.135 nb_sol=0 ticks=342857 tps=100 nb_sec=3428
case_no=147 label=Case6.135 nb_sol=0 ticks=278067 tps=100 nb_sec=2780
case_no=147 label=Case6.135 nb_sol=0 ticks=126704 tps=100 nb_sec=1267
case_no=147 label=Case6.135 nb_sol=0 ticks=229523 tps=100 nb_sec=2295
case_no=147 label=Case6.135 nb_sol=0 ticks=181148 tps=100 nb_sec=1811
case_no=147 label=Case6.135 nb_sol=0 ticks=105133 tps=100 nb_sec=1051
case_no=147 label=Case6.135 nb_sol=0 ticks=190919 tps=100 nb_sec=1909
case_no=147 label=Case6.135 nb_sol=0 ticks=189678 tps=100 nb_sec=1896
case_no=147 label=Case6.135 nb_sol=0 ticks=128945 tps=100 nb_sec=1289
case_no=147 label=Case6.135 nb_sol=0 ticks=234026 tps=100 nb_sec=2340
case_no=147 label=Case6.135 nb_sol=0 ticks=263435 tps=100 nb_sec=2634
case_no=147 label=Case6.135 nb_sol=0 ticks=132607 tps=100 nb_sec=1326
case_no=147 label=Case6.135 nb_sol=0 ticks=206695 tps=100 nb_sec=2066
case_no=147 label=Case6.135 nb_sol=0 ticks=125744 tps=100 nb_sec=1257
case_no=147 label=Case6.135 nb_sol=0 ticks=119182 tps=100 nb_sec=1191
case_no=147 label=Case6.135 nb_sol=0 ticks=112155 tps=100 nb_sec=1121
case_no=147 label=Case6.135 nb_sol=0 ticks=68203 tps=100 nb_sec=682
case_no=147 label=Case6.135 nb_sol=0 ticks=71236 tps=100 nb_sec=712
case_no=147 label=Case6.135 nb_sol=0 ticks=151186 tps=100 nb_sec=1511
case_no=147 label=Case6.135 nb_sol=0 ticks=275792 tps=100 nb_sec=2757
case_no=147 label=Case6.135 nb_sol=0 ticks=116224 tps=100 nb_sec=1162
case_no=147 label=Case6.135 nb_sol=0 ticks=198666 tps=100 nb_sec=1986
case_no=147 label=Case6.135 nb_sol=0 ticks=246075 tps=100 nb_sec=2460
case_no=147 label=Case6.135 nb_sol=0 ticks=163476 tps=100 nb_sec=1634
case_no=147 label=Case6.135 nb_sol=0 ticks=177484 tps=100 nb_sec=1774
case_no=147 label=Case6.135 nb_sol=0 ticks=262247 tps=100 nb_sec=2622
case_no=147 label=Case6.135 nb_sol=0 ticks=49931 tps=100 nb_sec=499
case_no=147 label=Case6.135 nb_sol=0 ticks=91152 tps=100 nb_sec=911
case_no=147 label=Case6.135 nb_sol=0 ticks=201904 tps=100 nb_sec=2019
case_no=147 label=Case6.135 nb_sol=0 ticks=315143 tps=100 nb_sec=3151
case_no=147 label=Case6.135 nb_sol=0 ticks=131899 tps=100 nb_sec=1318
case_no=147 label=Case6.135 nb_sol=0 ticks=286099 tps=100 nb_sec=2860
case_no=147 label=Case6.135 nb_sol=0 ticks=190995 tps=100 nb_sec=1909
case_no=147 label=Case6.135 nb_sol=0 ticks=269204 tps=100 nb_sec=2692
case_no=147 label=Case6.135 nb_sol=0 ticks=146923 tps=100 nb_sec=1469
case_no=147 label=Case6.135 nb_sol=0 ticks=119661 tps=100 nb_sec=1196
case_no=147 label=Case6.135 nb_sol=0 ticks=173805 tps=100 nb_sec=1738
case_no=147 label=Case6.135 nb_sol=0 ticks=185577 tps=100 nb_sec=1855
case_no=147 label=Case6.135 nb_sol=0 ticks=120502 tps=100 nb_sec=1205
case_no=147 label=Case6.135 nb_sol=0 ticks=175787 tps=100 nb_sec=1757
case_no=147 label=Case6.135 nb_sol=0 ticks=291481 tps=100 nb_sec=2914
case_no=147 label=Case6.135 nb_sol=0 ticks=239167 tps=100 nb_sec=2391
case_no=147 label=Case6.135 nb_sol=0 ticks=278014 tps=100 nb_sec=2780
case_no=147 label=Case6.135 nb_sol=0 ticks=120512 tps=100 nb_sec=1205
case_no=147 label=Case6.135 nb_sol=0 ticks=112688 tps=100 nb_sec=1126
case_no=147 label=Case6.135 nb_sol=0 ticks=189836 tps=100 nb_sec=1898
case_no=147 label=Case6.135 nb_sol=0 ticks=183027 tps=100 nb_sec=1830
case_no=147 label=Case6.135 nb_sol=0 ticks=155181 tps=100 nb_sec=1551
case_no=147 label=Case6.135 nb_sol=0 ticks=149897 tps=100 nb_sec=1498
case_no=147 label=Case6.135 nb_sol=0 ticks=76415 tps=100 nb_sec=764
case_no=147 label=Case6.135 nb_sol=0 ticks=162675 tps=100 nb_sec=1626
case_no=147 label=Case6.135 nb_sol=0 ticks=230324 tps=100 nb_sec=2303
case_no=147 label=Case6.135 nb_sol=0 ticks=108510 tps=100 nb_sec=1085
case_no=147 label=Case6.135 nb_sol=0 ticks=200799 tps=100 nb_sec=2007
case_no=147 label=Case6.135 nb_sol=0 ticks=179422 tps=100 nb_sec=1794
case_no=147 label=Case6.135 nb_sol=0 ticks=99035 tps=100 nb_sec=990
case_no=147 label=Case6.135 nb_sol=0 ticks=127638 tps=100 nb_sec=1276
case_no=147 label=Case6.135 nb_sol=0 ticks=165442 tps=100 nb_sec=1654
case_no=147 label=Case6.135 nb_sol=0 ticks=138593 tps=100 nb_sec=1385
case_no=147 label=Case6.135 nb_sol=0 ticks=244641 tps=100 nb_sec=2446
case_no=147 label=Case6.135 nb_sol=0 ticks=262133 tps=100 nb_sec=2621
case_no=147 label=Case6.135 nb_sol=0 ticks=129290 tps=100 nb_sec=1292
case_no=147 label=Case6.135 nb_sol=0 ticks=250258 tps=100 nb_sec=2502
case_no=147 label=Case6.135 nb_sol=0 ticks=225132 tps=100 nb_sec=2251
case_no=147 label=Case6.135 nb_sol=0 ticks=218664 tps=100 nb_sec=2186
case_no=147 label=Case6.135 nb_sol=0 ticks=129092 tps=100 nb_sec=1290
case_no=147 label=Case6.135 nb_sol=0 ticks=117908 tps=100 nb_sec=1179
case_no=147 label=Case6.135 nb_sol=0 ticks=115008 tps=100 nb_sec=1150
case_no=147 label=Case6.135 nb_sol=0 ticks=134624 tps=100 nb_sec=1346
case_no=147 label=Case6.135 nb_sol=0 ticks=175264 tps=100 nb_sec=1752
case_no=147 label=Case6.135 nb_sol=0 ticks=81468 tps=100 nb_sec=814
case_no=147 label=Case6.135 nb_sol=0 ticks=133634 tps=100 nb_sec=1336
case_no=147 label=Case6.135 nb_sol=0 ticks=146030 tps=100 nb_sec=1460
case_no=147 label=Case6.135 nb_sol=0 ticks=125115 tps=100 nb_sec=1251
case_no=147 label=Case6.135 nb_sol=0 ticks=253027 tps=100 nb_sec=2530
case_no=147 label=Case6.135 nb_sol=0 ticks=195737 tps=100 nb_sec=1957
case_no=147 label=Case6.135 nb_sol=0 ticks=185077 tps=100 nb_sec=1850
case_no=147 label=Case6.135 nb_sol=0 ticks=399779 tps=100 nb_sec=3997
case_no=147 label=Case6.135 nb_sol=0 ticks=220303 tps=100 nb_sec=2203
case_no=147 label=Case6.135 nb_sol=0 ticks=138058 tps=100 nb_sec=1380
case_no=147 label=Case6.135 nb_sol=0 ticks=200410 tps=100 nb_sec=2004
case_no=147 label=Case6.135 nb_sol=0 ticks=76212 tps=100 nb_sec=762
case_no=147 label=Case6.135 nb_sol=0 ticks=125821 tps=100 nb_sec=1258
case_no=147 label=Case6.135 nb_sol=0 ticks=123558 tps=100 nb_sec=1235
case_no=147 label=Case6.135 nb_sol=0 ticks=44791 tps=100 nb_sec=447
case_no=147 label=Case6.135 nb_sol=0 ticks=46177 tps=100 nb_sec=461
case_no=147 label=Case6.135 nb_sol=0 ticks=61039 tps=100 nb_sec=610
case_no=147 label=Case6.135 nb_sol=0 ticks=67352 tps=100 nb_sec=673
case_no=147 label=Case6.135 nb_sol=0 ticks=126074 tps=100 nb_sec=1260
case_no=147 label=Case6.135 nb_sol=0 ticks=50917 tps=100 nb_sec=509
case_no=147 label=Case6.135 nb_sol=0 ticks=38366 tps=100 nb_sec=383
case_no=147 label=Case6.135 nb_sol=0 ticks=88151 tps=100 nb_sec=881
case_no=147 label=Case6.135 nb_sol=0 ticks=43823 tps=100 nb_sec=438
case_no=147 label=Case6.135 nb_sol=0 ticks=148848 tps=100 nb_sec=1488
case_no=147 label=Case6.135 nb_sol=0 ticks=47512 tps=100 nb_sec=475
case_no=147 label=Case6.135 nb_sol=0 ticks=153814 tps=100 nb_sec=1538
case_no=147 label=Case6.135 nb_sol=0 ticks=133318 tps=100 nb_sec=1333
case_no=147 label=Case6.135 nb_sol=0 ticks=106505 tps=100 nb_sec=1065
case_no=147 label=Case6.135 nb_sol=0 ticks=78116 tps=100 nb_sec=781
case_no=147 label=Case6.135 nb_sol=0 ticks=40468 tps=100 nb_sec=404
case_no=147 label=Case6.135 nb_sol=0 ticks=47816 tps=100 nb_sec=478
case_no=147 label=Case6.135 nb_sol=0 ticks=104544 tps=100 nb_sec=1045
case_no=147 label=Case6.135 nb_sol=0 ticks=81515 tps=100 nb_sec=815
case_no=147 label=Case6.135 nb_sol=0 ticks=56015 tps=100 nb_sec=560
case_no=147 label=Case6.135 nb_sol=0 ticks=95549 tps=100 nb_sec=955
case_no=147 label=Case6.135 nb_sol=0 ticks=61582 tps=100 nb_sec=615
case_no=147 label=Case6.135 nb_sol=0 ticks=105201 tps=100 nb_sec=1052
case_no=147 label=Case6.135 nb_sol=0 ticks=66773 tps=100 nb_sec=667
case_no=147 label=Case6.135 nb_sol=0 ticks=64015 tps=100 nb_sec=640
case_no=147 label=Case6.135 nb_sol=0 ticks=79017 tps=100 nb_sec=790
case_no=147 label=Case6.135 nb_sol=0 ticks=31945 tps=100 nb_sec=319
case_no=147 label=Case6.135 nb_sol=0 ticks=45444 tps=100 nb_sec=454
case_no=147 label=Case6.135 nb_sol=0 ticks=56767 tps=100 nb_sec=567
case_no=147 label=Case6.135 nb_sol=0 ticks=15830 tps=100 nb_sec=158
case_no=147 label=Case6.135 nb_sol=0 ticks=64127 tps=100 nb_sec=641
case_no=147 label=Case6.135 nb_sol=0 ticks=22738 tps=100 nb_sec=227
case_no=147 label=Case6.135 nb_sol=0 ticks=88090 tps=100 nb_sec=880
case_no=147 label=Case6.135 nb_sol=0 ticks=53322 tps=100 nb_sec=533
case_no=147 label=Case6.135 nb_sol=0 ticks=103211 tps=100 nb_sec=1032
case_no=147 label=Case6.135 nb_sol=0 ticks=165347 tps=100 nb_sec=1653
case_no=147 label=Case6.135 nb_sol=0 ticks=84732 tps=100 nb_sec=847
case_no=147 label=Case6.135 nb_sol=0 ticks=94708 tps=100 nb_sec=947
case_no=147 label=Case6.135 nb_sol=0 ticks=74769 tps=100 nb_sec=747
case_no=147 label=Case6.135 nb_sol=0 ticks=45153 tps=100 nb_sec=451
case_no=147 label=Case6.135 nb_sol=0 ticks=39166 tps=100 nb_sec=391
case_no=147 label=Case6.135 nb_sol=0 ticks=80058 tps=100 nb_sec=800
case_no=147 label=Case6.135 nb_sol=0 ticks=85979 tps=100 nb_sec=859
case_no=147 label=Case6.135 nb_sol=0 ticks=43606 tps=100 nb_sec=436
case_no=147 label=Case6.135 nb_sol=0 ticks=65067 tps=100 nb_sec=650
case_no=147 label=Case6.135 nb_sol=0 ticks=51470 tps=100 nb_sec=514
case_no=147 label=Case6.135 nb_sol=0 ticks=41717 tps=100 nb_sec=417
case_no=147 label=Case6.135 nb_sol=0 ticks=111460 tps=100 nb_sec=1114
case_no=147 label=Case6.135 nb_sol=0 ticks=105229 tps=100 nb_sec=1052
case_no=147 label=Case6.135 nb_sol=0 ticks=84286 tps=100 nb_sec=842
case_no=147 label=Case6.135 nb_sol=0 ticks=84599 tps=100 nb_sec=845
case_no=147 label=Case6.135 nb_sol=0 ticks=86988 tps=100 nb_sec=869
case_no=147 label=Case6.135 nb_sol=0 ticks=18288 tps=100 nb_sec=182
case_no=147 label=Case6.135 nb_sol=0 ticks=84484 tps=100 nb_sec=844
case_no=147 label=Case6.135 nb_sol=0 ticks=81059 tps=100 nb_sec=810
case_no=147 label=Case6.135 nb_sol=0 ticks=22774 tps=100 nb_sec=227
case_no=147 label=Case6.135 nb_sol=0 ticks=148583 tps=100 nb_sec=1485
case_no=147 label=Case6.135 nb_sol=0 ticks=65584 tps=100 nb_sec=655
case_no=147 label=Case6.135 nb_sol=0 ticks=97658 tps=100 nb_sec=976
case_no=147 label=Case6.135 nb_sol=0 ticks=74957 tps=100 nb_sec=749
case_no=147 label=Case6.135 nb_sol=0 ticks=50263 tps=100 nb_sec=502
case_no=147 label=Case6.135 nb_sol=0 ticks=34593 tps=100 nb_sec=345
case_no=147 label=Case6.135 nb_sol=0 ticks=125272 tps=100 nb_sec=1252
case_no=147 label=Case6.135 nb_sol=0 ticks=137921 tps=100 nb_sec=1379
case_no=147 label=Case6.135 nb_sol=0 ticks=79286 tps=100 nb_sec=792
case_no=147 label=Case6.135 nb_sol=0 ticks=74460 tps=100 nb_sec=744
case_no=147 label=Case6.135 nb_sol=0 ticks=99665 tps=100 nb_sec=996
case_no=147 label=Case6.135 nb_sol=0 ticks=81236 tps=100 nb_sec=812
case_no=147 label=Case6.135 nb_sol=0 ticks=55141 tps=100 nb_sec=551
case_no=147 label=Case6.135 nb_sol=0 ticks=35674 tps=100 nb_sec=356
case_no=147 label=Case6.135 nb_sol=0 ticks=31537 tps=100 nb_sec=315
case_no=147 label=Case6.135 nb_sol=0 ticks=38416 tps=100 nb_sec=384
case_no=147 label=Case6.135 nb_sol=0 ticks=29740 tps=100 nb_sec=297
case_no=147 label=Case6.135 nb_sol=0 ticks=44808 tps=100 nb_sec=448
case_no=147 label=Case6.135 nb_sol=0 ticks=65683 tps=100 nb_sec=656
case_no=147 label=Case6.135 nb_sol=0 ticks=75942 tps=100 nb_sec=759
case_no=147 label=Case6.135 nb_sol=0 ticks=36712 tps=100 nb_sec=367
case_no=147 label=Case6.135 nb_sol=0 ticks=191822 tps=100 nb_sec=1918
case_no=147 label=Case6.135 nb_sol=0 ticks=35855 tps=100 nb_sec=358
case_no=147 label=Case6.135 nb_sol=0 ticks=81170 tps=100 nb_sec=811
case_no=147 label=Case6.135 nb_sol=0 ticks=153965 tps=100 nb_sec=1539
case_no=147 label=Case6.135 nb_sol=0 ticks=59652 tps=100 nb_sec=596
case_no=147 label=Case6.135 nb_sol=0 ticks=77120 tps=100 nb_sec=771
case_no=147 label=Case6.135 nb_sol=0 ticks=81530 tps=100 nb_sec=815
case_no=147 label=Case6.135 nb_sol=0 ticks=49579 tps=100 nb_sec=495
case_no=147 label=Case6.135 nb_sol=0 ticks=36562 tps=100 nb_sec=365
case_no=147 label=Case6.135 nb_sol=0 ticks=90999 tps=100 nb_sec=909
case_no=147 label=Case6.135 nb_sol=0 ticks=97801 tps=100 nb_sec=978
case_no=147 label=Case6.135 nb_sol=0 ticks=41343 tps=100 nb_sec=413
case_no=147 label=Case6.135 nb_sol=0 ticks=34122 tps=100 nb_sec=341
case_no=147 label=Case6.135 nb_sol=0 ticks=58014 tps=100 nb_sec=580
case_no=147 label=Case6.135 nb_sol=0 ticks=36566 tps=100 nb_sec=365
case_no=147 label=Case6.135 nb_sol=0 ticks=138978 tps=100 nb_sec=1389
case_no=147 label=Case6.135 nb_sol=0 ticks=80765 tps=100 nb_sec=807
case_no=147 label=Case6.135 nb_sol=0 ticks=34405 tps=100 nb_sec=344
case_no=147 label=Case6.135 nb_sol=0 ticks=55611 tps=100 nb_sec=556
case_no=147 label=Case6.135 nb_sol=0 ticks=177703 tps=100 nb_sec=1777
case_no=147 label=Case6.135 nb_sol=0 ticks=75837 tps=100 nb_sec=758
case_no=147 label=Case6.135 nb_sol=0 ticks=38143 tps=100 nb_sec=381
case_no=147 label=Case6.135 nb_sol=0 ticks=72293 tps=100 nb_sec=722
case_no=147 label=Case6.135 nb_sol=0 ticks=34219 tps=100 nb_sec=342
case_no=147 label=Case6.135 nb_sol=0 ticks=79911 tps=100 nb_sec=799
case_no=147 label=Case6.135 nb_sol=0 ticks=55905 tps=100 nb_sec=559
case_no=147 label=Case6.135 nb_sol=0 ticks=46202 tps=100 nb_sec=462
case_no=147 label=Case6.135 nb_sol=0 ticks=92250 tps=100 nb_sec=922
case_no=147 label=Case6.135 nb_sol=0 ticks=52441 tps=100 nb_sec=524
case_no=147 label=Case6.135 nb_sol=0 ticks=17601 tps=100 nb_sec=176
case_no=147 label=Case6.135 nb_sol=0 ticks=111491 tps=100 nb_sec=1114
case_no=147 label=Case6.135 nb_sol=0 ticks=37549 tps=100 nb_sec=375
case_no=147 label=Case6.135 nb_sol=0 ticks=53412 tps=100 nb_sec=534
case_no=147 label=Case6.135 nb_sol=0 ticks=134241 tps=100 nb_sec=1342
case_no=147 label=Case6.135 nb_sol=0 ticks=150538 tps=100 nb_sec=1505
case_no=147 label=Case6.135 nb_sol=0 ticks=69877 tps=100 nb_sec=698
case_no=147 label=Case6.135 nb_sol=0 ticks=86148 tps=100 nb_sec=861
case_no=147 label=Case6.135 nb_sol=0 ticks=63530 tps=100 nb_sec=635
case_no=147 label=Case6.135 nb_sol=0 ticks=151545 tps=100 nb_sec=1515
case_no=147 label=Case6.135 nb_sol=0 ticks=63164 tps=100 nb_sec=631
case_no=147 label=Case6.135 nb_sol=0 ticks=86519 tps=100 nb_sec=865
case_no=147 label=Case6.135 nb_sol=0 ticks=118542 tps=100 nb_sec=1185
case_no=147 label=Case6.135 nb_sol=0 ticks=96299 tps=100 nb_sec=962
case_no=147 label=Case6.135 nb_sol=0 ticks=107840 tps=100 nb_sec=1078
case_no=147 label=Case6.135 nb_sol=0 ticks=104132 tps=100 nb_sec=1041
case_no=147 label=Case6.135 nb_sol=0 ticks=62907 tps=100 nb_sec=629
case_no=147 label=Case6.135 nb_sol=0 ticks=90800 tps=100 nb_sec=908
case_no=147 label=Case6.135 nb_sol=0 ticks=94303 tps=100 nb_sec=943
case_no=147 label=Case6.135 nb_sol=0 ticks=51945 tps=100 nb_sec=519
case_no=147 label=Case6.135 nb_sol=0 ticks=67324 tps=100 nb_sec=673
case_no=147 label=Case6.135 nb_sol=0 ticks=97496 tps=100 nb_sec=974
case_no=147 label=Case6.135 nb_sol=0 ticks=57953 tps=100 nb_sec=579
case_no=147 label=Case6.135 nb_sol=0 ticks=50481 tps=100 nb_sec=504
case_no=147 label=Case6.135 nb_sol=0 ticks=185919 tps=100 nb_sec=1859
case_no=147 label=Case6.135 nb_sol=0 ticks=174035 tps=100 nb_sec=1740
case_no=147 label=Case6.135 nb_sol=0 ticks=71820 tps=100 nb_sec=718
case_no=147 label=Case6.135 nb_sol=0 ticks=90992 tps=100 nb_sec=909
case_no=147 label=Case6.135 nb_sol=0 ticks=59254 tps=100 nb_sec=592
case_no=147 label=Case6.135 nb_sol=0 ticks=127719 tps=100 nb_sec=1277
case_no=147 label=Case6.135 nb_sol=0 ticks=57124 tps=100 nb_sec=571
case_no=147 label=Case6.135 nb_sol=0 ticks=61157 tps=100 nb_sec=611
case_no=147 label=Case6.135 nb_sol=0 ticks=57635 tps=100 nb_sec=576
case_no=147 label=Case6.135 nb_sol=0 ticks=136827 tps=100 nb_sec=1368
case_no=147 label=Case6.135 nb_sol=0 ticks=68776 tps=100 nb_sec=687
case_no=147 label=Case6.135 nb_sol=0 ticks=62707 tps=100 nb_sec=627
case_no=147 label=Case6.135 nb_sol=0 ticks=140437 tps=100 nb_sec=1404
case_no=147 label=Case6.135 nb_sol=0 ticks=147549 tps=100 nb_sec=1475
case_no=147 label=Case6.135 nb_sol=0 ticks=92621 tps=100 nb_sec=926
case_no=147 label=Case6.135 nb_sol=0 ticks=116288 tps=100 nb_sec=1162
case_no=147 label=Case6.135 nb_sol=0 ticks=45327 tps=100 nb_sec=453
case_no=147 label=Case6.135 nb_sol=0 ticks=86686 tps=100 nb_sec=866
case_no=147 label=Case6.135 nb_sol=0 ticks=64109 tps=100 nb_sec=641
case_no=147 label=Case6.135 nb_sol=0 ticks=68273 tps=100 nb_sec=682
case_no=147 label=Case6.135 nb_sol=0 ticks=154037 tps=100 nb_sec=1540
case_no=147 label=Case6.135 nb_sol=0 ticks=51987 tps=100 nb_sec=519
case_no=147 label=Case6.135 nb_sol=0 ticks=110581 tps=100 nb_sec=1105
case_no=147 label=Case6.135 nb_sol=0 ticks=55141 tps=100 nb_sec=551
case_no=147 label=Case6.135 nb_sol=0 ticks=56222 tps=100 nb_sec=562
case_no=147 label=Case6.135 nb_sol=0 ticks=119372 tps=100 nb_sec=1193
case_no=147 label=Case6.135 nb_sol=0 ticks=75373 tps=100 nb_sec=753
case_no=147 label=Case6.135 nb_sol=0 ticks=145855 tps=100 nb_sec=1458
case_no=147 label=Case6.135 nb_sol=0 ticks=179427 tps=100 nb_sec=1794
case_no=147 label=Case6.135 nb_sol=0 ticks=80727 tps=100 nb_sec=807
case_no=147 label=Case6.135 nb_sol=0 ticks=156837 tps=100 nb_sec=1568
case_no=147 label=Case6.135 nb_sol=0 ticks=34919 tps=100 nb_sec=349
case_no=147 label=Case6.135 nb_sol=0 ticks=96249 tps=100 nb_sec=962
case_no=147 label=Case6.135 nb_sol=0 ticks=128466 tps=100 nb_sec=1284
case_no=147 label=Case6.135 nb_sol=0 ticks=104487 tps=100 nb_sec=1044
case_no=147 label=Case6.135 nb_sol=0 ticks=129468 tps=100 nb_sec=1294
case_no=147 label=Case6.135 nb_sol=0 ticks=150375 tps=100 nb_sec=1503
case_no=147 label=Case6.135 nb_sol=0 ticks=141581 tps=100 nb_sec=1415
case_no=147 label=Case6.135 nb_sol=0 ticks=83770 tps=100 nb_sec=837
case_no=147 label=Case6.135 nb_sol=0 ticks=45528 tps=100 nb_sec=455
case_no=147 label=Case6.135 nb_sol=0 ticks=88356 tps=100 nb_sec=883
case_no=147 label=Case6.135 nb_sol=0 ticks=108602 tps=100 nb_sec=1086
case_no=147 label=Case6.135 nb_sol=0 ticks=130322 tps=100 nb_sec=1303
case_no=147 label=Case6.135 nb_sol=0 ticks=115512 tps=100 nb_sec=1155
case_no=147 label=Case6.135 nb_sol=0 ticks=106335 tps=100 nb_sec=1063
case_no=147 label=Case6.135 nb_sol=0 ticks=146013 tps=100 nb_sec=1460
case_no=147 label=Case6.135 nb_sol=0 ticks=74231 tps=100 nb_sec=742
case_no=147 label=Case6.135 nb_sol=0 ticks=59857 tps=100 nb_sec=598
case_no=147 label=Case6.135 nb_sol=0 ticks=111189 tps=100 nb_sec=1111
case_no=147 label=Case6.135 nb_sol=0 ticks=73316 tps=100 nb_sec=733
case_no=147 label=Case6.135 nb_sol=0 ticks=72087 tps=100 nb_sec=720
case_no=147 label=Case6.135 nb_sol=0 ticks=81552 tps=100 nb_sec=815
case_no=147 label=Case6.135 nb_sol=0 ticks=58442 tps=100 nb_sec=584
case_no=147 label=Case6.135 nb_sol=0 ticks=46779 tps=100 nb_sec=467
case_no=147 label=Case6.135 nb_sol=0 ticks=161636 tps=100 nb_sec=1616
case_no=147 label=Case6.135 nb_sol=0 ticks=89395 tps=100 nb_sec=893
case_no=147 label=Case6.135 nb_sol=0 ticks=140938 tps=100 nb_sec=1409
case_no=147 label=Case6.135 nb_sol=0 ticks=126560 tps=100 nb_sec=1265
case_no=147 label=Case6.135 nb_sol=0 ticks=62232 tps=100 nb_sec=622
case_no=147 label=Case6.135 nb_sol=0 ticks=44108 tps=100 nb_sec=441
case_no=147 label=Case6.135 nb_sol=0 ticks=138598 tps=100 nb_sec=1385
case_no=147 label=Case6.135 nb_sol=0 ticks=39126 tps=100 nb_sec=391
case_no=147 label=Case6.135 nb_sol=0 ticks=22658 tps=100 nb_sec=226
case_no=147 label=Case6.135 nb_sol=0 ticks=81694 tps=100 nb_sec=816
case_no=147 label=Case6.135 nb_sol=0 ticks=34385 tps=100 nb_sec=343
case_no=147 label=Case6.135 nb_sol=0 ticks=44759 tps=100 nb_sec=447
case_no=147 label=Case6.135 nb_sol=0 ticks=124840 tps=100 nb_sec=1248
case_no=147 label=Case6.135 nb_sol=0 ticks=86899 tps=100 nb_sec=868
case_no=147 label=Case6.135 nb_sol=0 ticks=79902 tps=100 nb_sec=799
case_no=147 label=Case6.135 nb_sol=0 ticks=158662 tps=100 nb_sec=1586
case_no=147 label=Case6.135 nb_sol=0 ticks=92573 tps=100 nb_sec=925
case_no=147 label=Case6.135 nb_sol=0 ticks=99248 tps=100 nb_sec=992
case_no=147 label=Case6.135 nb_sol=0 ticks=73155 tps=100 nb_sec=731
case_no=147 label=Case6.135 nb_sol=0 ticks=53361 tps=100 nb_sec=533
case_no=147 label=Case6.135 nb_sol=0 ticks=61299 tps=100 nb_sec=612
case_no=147 label=Case6.135 nb_sol=0 ticks=95346 tps=100 nb_sec=953
case_no=147 label=Case6.135 nb_sol=0 ticks=74387 tps=100 nb_sec=743
case_no=147 label=Case6.135 nb_sol=0 ticks=18506 tps=100 nb_sec=185
case_no=147 label=Case6.135 nb_sol=0 ticks=151689 tps=100 nb_sec=1516
case_no=147 label=Case6.135 nb_sol=0 ticks=74224 tps=100 nb_sec=742
case_no=147 label=Case6.135 nb_sol=0 ticks=88570 tps=100 nb_sec=885
case_no=147 label=Case6.135 nb_sol=0 ticks=63533 tps=100 nb_sec=635
case_no=147 label=Case6.135 nb_sol=0 ticks=94225 tps=100 nb_sec=942
case_no=147 label=Case6.135 nb_sol=0 ticks=93933 tps=100 nb_sec=939
case_no=147 label=Case6.135 nb_sol=0 ticks=74006 tps=100 nb_sec=740
case_no=147 label=Case6.135 nb_sol=0 ticks=38372 tps=100 nb_sec=383
case_no=147 label=Case6.135 nb_sol=0 ticks=88644 tps=100 nb_sec=886
case_no=147 label=Case6.135 nb_sol=0 ticks=50416 tps=100 nb_sec=504
case_no=147 label=Case6.135 nb_sol=0 ticks=131896 tps=100 nb_sec=1318
case_no=147 label=Case6.135 nb_sol=0 ticks=213935 tps=100 nb_sec=2139
case_no=147 label=Case6.135 nb_sol=0 ticks=120476 tps=100 nb_sec=1204
case_no=147 label=Case6.135 nb_sol=0 ticks=115138 tps=100 nb_sec=1151
case_no=147 label=Case6.135 nb_sol=0 ticks=127153 tps=100 nb_sec=1271
case_no=147 label=Case6.135 nb_sol=0 ticks=177231 tps=100 nb_sec=1772
case_no=147 label=Case6.135 nb_sol=0 ticks=88746 tps=100 nb_sec=887
case_no=147 label=Case6.135 nb_sol=0 ticks=37105 tps=100 nb_sec=371
case_no=147 label=Case6.135 nb_sol=0 ticks=37587 tps=100 nb_sec=375
case_no=147 label=Case6.135 nb_sol=0 ticks=81059 tps=100 nb_sec=810
case_no=147 label=Case6.135 nb_sol=0 ticks=89730 tps=100 nb_sec=897
case_no=147 label=Case6.135 nb_sol=0 ticks=73953 tps=100 nb_sec=739
case_no=147 label=Case6.135 nb_sol=0 ticks=159210 tps=100 nb_sec=1592
case_no=147 label=Case6.135 nb_sol=0 ticks=49495 tps=100 nb_sec=494
case_no=147 label=Case6.135 nb_sol=0 ticks=94077 tps=100 nb_sec=940
case_no=147 label=Case6.135 nb_sol=0 ticks=66880 tps=100 nb_sec=668
case_no=147 label=Case6.135 nb_sol=0 ticks=58520 tps=100 nb_sec=585
case_no=147 label=Case6.135 nb_sol=0 ticks=147370 tps=100 nb_sec=1473
case_no=147 label=Case6.135 nb_sol=0 ticks=96206 tps=100 nb_sec=962
case_no=147 label=Case6.135 nb_sol=0 ticks=75492 tps=100 nb_sec=754
case_no=147 label=Case6.135 nb_sol=0 ticks=125143 tps=100 nb_sec=1251
case_no=147 label=Case6.135 nb_sol=0 ticks=49299 tps=100 nb_sec=492
case_no=147 label=Case6.135 nb_sol=0 ticks=240433 tps=100 nb_sec=2404
case_no=147 label=Case6.135 nb_sol=0 ticks=111932 tps=100 nb_sec=1119
case_no=147 label=Case6.135 nb_sol=0 ticks=104605 tps=100 nb_sec=1046
case_no=147 label=Case6.135 nb_sol=0 ticks=94862 tps=100 nb_sec=948
case_no=147 label=Case6.135 nb_sol=0 ticks=57444 tps=100 nb_sec=574
case_no=147 label=Case6.135 nb_sol=0 ticks=67524 tps=100 nb_sec=675
case_no=147 label=Case6.135 nb_sol=0 ticks=123247 tps=100 nb_sec=1232
case_no=147 label=Case6.135 nb_sol=0 ticks=86094 tps=100 nb_sec=860
case_no=147 label=Case6.135 nb_sol=0 ticks=60580 tps=100 nb_sec=605
case_no=147 label=Case6.135 nb_sol=0 ticks=42115 tps=100 nb_sec=421
case_no=147 label=Case6.135 nb_sol=0 ticks=67720 tps=100 nb_sec=677
case_no=147 label=Case6.135 nb_sol=0 ticks=59675 tps=100 nb_sec=596
case_no=147 label=Case6.135 nb_sol=0 ticks=192091 tps=100 nb_sec=1920
case_no=147 label=Case6.135 nb_sol=0 ticks=121721 tps=100 nb_sec=1217
case_no=147 label=Case6.135 nb_sol=0 ticks=113546 tps=100 nb_sec=1135
case_no=147 label=Case6.135 nb_sol=0 ticks=86190 tps=100 nb_sec=861
case_no=147 label=Case6.135 nb_sol=0 ticks=64680 tps=100 nb_sec=646
case_no=147 label=Case6.135 nb_sol=0 ticks=135173 tps=100 nb_sec=1351
case_no=147 label=Case6.135 nb_sol=0 ticks=85595 tps=100 nb_sec=855
case_no=147 label=Case6.135 nb_sol=0 ticks=44921 tps=100 nb_sec=449
case_no=147 label=Case6.135 nb_sol=0 ticks=59047 tps=100 nb_sec=590
case_no=147 label=Case6.135 nb_sol=0 ticks=74084 tps=100 nb_sec=740
case_no=147 label=Case6.135 nb_sol=0 ticks=237922 tps=100 nb_sec=2379
case_no=147 label=Case6.135 nb_sol=0 ticks=267404 tps=100 nb_sec=2674
case_no=147 label=Case6.135 nb_sol=0 ticks=195220 tps=100 nb_sec=1952
case_no=147 label=Case6.135 nb_sol=0 ticks=79439 tps=100 nb_sec=794
case_no=147 label=Case6.135 nb_sol=0 ticks=132958 tps=100 nb_sec=1329
Nb_sol=0
Nb_sec=654420
7-13:47:0 or 181 hours
missing cases:
none