argc=5
-M 1024
file2=30_select_Case6.155_starter_15_
checking files mod 1024 from 0 to 1023
case_no=167 label=Case6.155 nb_sol=0 ticks=332649 tps=100 nb_sec=3326
case_no=167 label=Case6.155 nb_sol=0 ticks=381097 tps=100 nb_sec=3810
case_no=167 label=Case6.155 nb_sol=0 ticks=387709 tps=100 nb_sec=3877
case_no=167 label=Case6.155 nb_sol=0 ticks=297417 tps=100 nb_sec=2974
case_no=167 label=Case6.155 nb_sol=0 ticks=245278 tps=100 nb_sec=2452
case_no=167 label=Case6.155 nb_sol=0 ticks=270802 tps=100 nb_sec=2708
case_no=167 label=Case6.155 nb_sol=0 ticks=160105 tps=100 nb_sec=1601
case_no=167 label=Case6.155 nb_sol=0 ticks=205961 tps=100 nb_sec=2059
case_no=167 label=Case6.155 nb_sol=0 ticks=265598 tps=100 nb_sec=2655
case_no=167 label=Case6.155 nb_sol=0 ticks=263293 tps=100 nb_sec=2632
case_no=167 label=Case6.155 nb_sol=0 ticks=340242 tps=100 nb_sec=3402
case_no=167 label=Case6.155 nb_sol=0 ticks=284934 tps=100 nb_sec=2849
case_no=167 label=Case6.155 nb_sol=0 ticks=263279 tps=100 nb_sec=2632
case_no=167 label=Case6.155 nb_sol=0 ticks=434246 tps=100 nb_sec=4342
case_no=167 label=Case6.155 nb_sol=0 ticks=175378 tps=100 nb_sec=1753
case_no=167 label=Case6.155 nb_sol=0 ticks=231846 tps=100 nb_sec=2318
case_no=167 label=Case6.155 nb_sol=0 ticks=300675 tps=100 nb_sec=3006
case_no=167 label=Case6.155 nb_sol=0 ticks=407263 tps=100 nb_sec=4072
case_no=167 label=Case6.155 nb_sol=0 ticks=304289 tps=100 nb_sec=3042
case_no=167 label=Case6.155 nb_sol=0 ticks=233709 tps=100 nb_sec=2337
case_no=167 label=Case6.155 nb_sol=0 ticks=199448 tps=100 nb_sec=1994
case_no=167 label=Case6.155 nb_sol=0 ticks=204907 tps=100 nb_sec=2049
case_no=167 label=Case6.155 nb_sol=0 ticks=284029 tps=100 nb_sec=2840
case_no=167 label=Case6.155 nb_sol=0 ticks=269158 tps=100 nb_sec=2691
case_no=167 label=Case6.155 nb_sol=0 ticks=349232 tps=100 nb_sec=3492
case_no=167 label=Case6.155 nb_sol=0 ticks=460438 tps=100 nb_sec=4604
case_no=167 label=Case6.155 nb_sol=0 ticks=404828 tps=100 nb_sec=4048
case_no=167 label=Case6.155 nb_sol=0 ticks=436860 tps=100 nb_sec=4368
case_no=167 label=Case6.155 nb_sol=0 ticks=337149 tps=100 nb_sec=3371
case_no=167 label=Case6.155 nb_sol=0 ticks=186065 tps=100 nb_sec=1860
case_no=167 label=Case6.155 nb_sol=0 ticks=242230 tps=100 nb_sec=2422
case_no=167 label=Case6.155 nb_sol=0 ticks=318031 tps=100 nb_sec=3180
case_no=167 label=Case6.155 nb_sol=0 ticks=352642 tps=100 nb_sec=3526
case_no=167 label=Case6.155 nb_sol=0 ticks=297925 tps=100 nb_sec=2979
case_no=167 label=Case6.155 nb_sol=0 ticks=333463 tps=100 nb_sec=3334
case_no=167 label=Case6.155 nb_sol=0 ticks=441702 tps=100 nb_sec=4417
case_no=167 label=Case6.155 nb_sol=0 ticks=375559 tps=100 nb_sec=3755
case_no=167 label=Case6.155 nb_sol=0 ticks=377305 tps=100 nb_sec=3773
case_no=167 label=Case6.155 nb_sol=0 ticks=327993 tps=100 nb_sec=3279
case_no=167 label=Case6.155 nb_sol=0 ticks=394486 tps=100 nb_sec=3944
case_no=167 label=Case6.155 nb_sol=0 ticks=231257 tps=100 nb_sec=2312
case_no=167 label=Case6.155 nb_sol=0 ticks=313437 tps=100 nb_sec=3134
case_no=167 label=Case6.155 nb_sol=0 ticks=190151 tps=100 nb_sec=1901
case_no=167 label=Case6.155 nb_sol=0 ticks=335095 tps=100 nb_sec=3350
case_no=167 label=Case6.155 nb_sol=0 ticks=217712 tps=100 nb_sec=2177
case_no=167 label=Case6.155 nb_sol=0 ticks=238714 tps=100 nb_sec=2387
case_no=167 label=Case6.155 nb_sol=0 ticks=244865 tps=100 nb_sec=2448
case_no=167 label=Case6.155 nb_sol=0 ticks=302635 tps=100 nb_sec=3026
case_no=167 label=Case6.155 nb_sol=0 ticks=348872 tps=100 nb_sec=3488
case_no=167 label=Case6.155 nb_sol=0 ticks=251442 tps=100 nb_sec=2514
case_no=167 label=Case6.155 nb_sol=0 ticks=171843 tps=100 nb_sec=1718
case_no=167 label=Case6.155 nb_sol=0 ticks=311506 tps=100 nb_sec=3115
case_no=167 label=Case6.155 nb_sol=0 ticks=297435 tps=100 nb_sec=2974
case_no=167 label=Case6.155 nb_sol=0 ticks=246009 tps=100 nb_sec=2460
case_no=167 label=Case6.155 nb_sol=0 ticks=247142 tps=100 nb_sec=2471
case_no=167 label=Case6.155 nb_sol=0 ticks=280648 tps=100 nb_sec=2806
case_no=167 label=Case6.155 nb_sol=0 ticks=215350 tps=100 nb_sec=2153
case_no=167 label=Case6.155 nb_sol=0 ticks=293309 tps=100 nb_sec=2933
case_no=167 label=Case6.155 nb_sol=0 ticks=244155 tps=100 nb_sec=2441
case_no=167 label=Case6.155 nb_sol=0 ticks=164399 tps=100 nb_sec=1643
case_no=167 label=Case6.155 nb_sol=0 ticks=281622 tps=100 nb_sec=2816
case_no=167 label=Case6.155 nb_sol=0 ticks=307544 tps=100 nb_sec=3075
case_no=167 label=Case6.155 nb_sol=0 ticks=324095 tps=100 nb_sec=3240
case_no=167 label=Case6.155 nb_sol=0 ticks=290401 tps=100 nb_sec=2904
case_no=167 label=Case6.155 nb_sol=0 ticks=313399 tps=100 nb_sec=3133
case_no=167 label=Case6.155 nb_sol=0 ticks=172001 tps=100 nb_sec=1720
case_no=167 label=Case6.155 nb_sol=0 ticks=416408 tps=100 nb_sec=4164
case_no=167 label=Case6.155 nb_sol=0 ticks=554573 tps=100 nb_sec=5545
case_no=167 label=Case6.155 nb_sol=0 ticks=162606 tps=100 nb_sec=1626
case_no=167 label=Case6.155 nb_sol=0 ticks=429400 tps=100 nb_sec=4294
case_no=167 label=Case6.155 nb_sol=0 ticks=195592 tps=100 nb_sec=1955
case_no=167 label=Case6.155 nb_sol=0 ticks=201355 tps=100 nb_sec=2013
case_no=167 label=Case6.155 nb_sol=0 ticks=220285 tps=100 nb_sec=2202
case_no=167 label=Case6.155 nb_sol=0 ticks=529913 tps=100 nb_sec=5299
case_no=167 label=Case6.155 nb_sol=0 ticks=464404 tps=100 nb_sec=4644
case_no=167 label=Case6.155 nb_sol=0 ticks=318084 tps=100 nb_sec=3180
case_no=167 label=Case6.155 nb_sol=0 ticks=252585 tps=100 nb_sec=2525
case_no=167 label=Case6.155 nb_sol=0 ticks=400430 tps=100 nb_sec=4004
case_no=167 label=Case6.155 nb_sol=0 ticks=361340 tps=100 nb_sec=3613
case_no=167 label=Case6.155 nb_sol=0 ticks=362557 tps=100 nb_sec=3625
case_no=167 label=Case6.155 nb_sol=0 ticks=288520 tps=100 nb_sec=2885
case_no=167 label=Case6.155 nb_sol=0 ticks=282895 tps=100 nb_sec=2828
case_no=167 label=Case6.155 nb_sol=0 ticks=314249 tps=100 nb_sec=3142
case_no=167 label=Case6.155 nb_sol=0 ticks=256956 tps=100 nb_sec=2569
case_no=167 label=Case6.155 nb_sol=0 ticks=335755 tps=100 nb_sec=3357
case_no=167 label=Case6.155 nb_sol=0 ticks=262431 tps=100 nb_sec=2624
case_no=167 label=Case6.155 nb_sol=0 ticks=169302 tps=100 nb_sec=1693
case_no=167 label=Case6.155 nb_sol=0 ticks=380632 tps=100 nb_sec=3806
case_no=167 label=Case6.155 nb_sol=0 ticks=141071 tps=100 nb_sec=1410
case_no=167 label=Case6.155 nb_sol=0 ticks=324760 tps=100 nb_sec=3247
case_no=167 label=Case6.155 nb_sol=0 ticks=296492 tps=100 nb_sec=2964
case_no=167 label=Case6.155 nb_sol=0 ticks=322920 tps=100 nb_sec=3229
case_no=167 label=Case6.155 nb_sol=0 ticks=300238 tps=100 nb_sec=3002
case_no=167 label=Case6.155 nb_sol=0 ticks=134813 tps=100 nb_sec=1348
case_no=167 label=Case6.155 nb_sol=0 ticks=377150 tps=100 nb_sec=3771
case_no=167 label=Case6.155 nb_sol=0 ticks=370089 tps=100 nb_sec=3700
case_no=167 label=Case6.155 nb_sol=0 ticks=354852 tps=100 nb_sec=3548
case_no=167 label=Case6.155 nb_sol=0 ticks=287479 tps=100 nb_sec=2874
case_no=167 label=Case6.155 nb_sol=0 ticks=172219 tps=100 nb_sec=1722
case_no=167 label=Case6.155 nb_sol=0 ticks=406621 tps=100 nb_sec=4066
case_no=167 label=Case6.155 nb_sol=0 ticks=281401 tps=100 nb_sec=2814
case_no=167 label=Case6.155 nb_sol=0 ticks=289633 tps=100 nb_sec=2896
case_no=167 label=Case6.155 nb_sol=0 ticks=162503 tps=100 nb_sec=1625
case_no=167 label=Case6.155 nb_sol=0 ticks=341733 tps=100 nb_sec=3417
case_no=167 label=Case6.155 nb_sol=0 ticks=338397 tps=100 nb_sec=3383
case_no=167 label=Case6.155 nb_sol=0 ticks=316819 tps=100 nb_sec=3168
case_no=167 label=Case6.155 nb_sol=0 ticks=248217 tps=100 nb_sec=2482
case_no=167 label=Case6.155 nb_sol=0 ticks=304722 tps=100 nb_sec=3047
case_no=167 label=Case6.155 nb_sol=0 ticks=341740 tps=100 nb_sec=3417
case_no=167 label=Case6.155 nb_sol=0 ticks=298805 tps=100 nb_sec=2988
case_no=167 label=Case6.155 nb_sol=0 ticks=243331 tps=100 nb_sec=2433
case_no=167 label=Case6.155 nb_sol=0 ticks=295157 tps=100 nb_sec=2951
case_no=167 label=Case6.155 nb_sol=0 ticks=286291 tps=100 nb_sec=2862
case_no=167 label=Case6.155 nb_sol=0 ticks=339660 tps=100 nb_sec=3396
case_no=167 label=Case6.155 nb_sol=0 ticks=348919 tps=100 nb_sec=3489
case_no=167 label=Case6.155 nb_sol=0 ticks=337267 tps=100 nb_sec=3372
case_no=167 label=Case6.155 nb_sol=0 ticks=335946 tps=100 nb_sec=3359
case_no=167 label=Case6.155 nb_sol=0 ticks=320952 tps=100 nb_sec=3209
case_no=167 label=Case6.155 nb_sol=0 ticks=325619 tps=100 nb_sec=3256
case_no=167 label=Case6.155 nb_sol=0 ticks=212009 tps=100 nb_sec=2120
case_no=167 label=Case6.155 nb_sol=0 ticks=227447 tps=100 nb_sec=2274
case_no=167 label=Case6.155 nb_sol=0 ticks=278601 tps=100 nb_sec=2786
case_no=167 label=Case6.155 nb_sol=0 ticks=364885 tps=100 nb_sec=3648
case_no=167 label=Case6.155 nb_sol=0 ticks=291661 tps=100 nb_sec=2916
case_no=167 label=Case6.155 nb_sol=0 ticks=300952 tps=100 nb_sec=3009
case_no=167 label=Case6.155 nb_sol=0 ticks=315539 tps=100 nb_sec=3155
case_no=167 label=Case6.155 nb_sol=0 ticks=148755 tps=100 nb_sec=1487
case_no=167 label=Case6.155 nb_sol=0 ticks=250176 tps=100 nb_sec=2501
case_no=167 label=Case6.155 nb_sol=0 ticks=134886 tps=100 nb_sec=1348
case_no=167 label=Case6.155 nb_sol=0 ticks=287766 tps=100 nb_sec=2877
case_no=167 label=Case6.155 nb_sol=0 ticks=281818 tps=100 nb_sec=2818
case_no=167 label=Case6.155 nb_sol=0 ticks=322771 tps=100 nb_sec=3227
case_no=167 label=Case6.155 nb_sol=0 ticks=257546 tps=100 nb_sec=2575
case_no=167 label=Case6.155 nb_sol=0 ticks=158315 tps=100 nb_sec=1583
case_no=167 label=Case6.155 nb_sol=0 ticks=328754 tps=100 nb_sec=3287
case_no=167 label=Case6.155 nb_sol=0 ticks=323244 tps=100 nb_sec=3232
case_no=167 label=Case6.155 nb_sol=0 ticks=168502 tps=100 nb_sec=1685
case_no=167 label=Case6.155 nb_sol=0 ticks=310207 tps=100 nb_sec=3102
case_no=167 label=Case6.155 nb_sol=0 ticks=349426 tps=100 nb_sec=3494
case_no=167 label=Case6.155 nb_sol=0 ticks=170654 tps=100 nb_sec=1706
case_no=167 label=Case6.155 nb_sol=0 ticks=409444 tps=100 nb_sec=4094
case_no=167 label=Case6.155 nb_sol=0 ticks=311295 tps=100 nb_sec=3112
case_no=167 label=Case6.155 nb_sol=0 ticks=452386 tps=100 nb_sec=4523
case_no=167 label=Case6.155 nb_sol=0 ticks=139275 tps=100 nb_sec=1392
case_no=167 label=Case6.155 nb_sol=0 ticks=344666 tps=100 nb_sec=3446
case_no=167 label=Case6.155 nb_sol=0 ticks=284757 tps=100 nb_sec=2847
case_no=167 label=Case6.155 nb_sol=0 ticks=291094 tps=100 nb_sec=2910
case_no=167 label=Case6.155 nb_sol=0 ticks=183303 tps=100 nb_sec=1833
case_no=167 label=Case6.155 nb_sol=0 ticks=289662 tps=100 nb_sec=2896
case_no=167 label=Case6.155 nb_sol=0 ticks=326697 tps=100 nb_sec=3266
case_no=167 label=Case6.155 nb_sol=0 ticks=413492 tps=100 nb_sec=4134
case_no=167 label=Case6.155 nb_sol=0 ticks=261739 tps=100 nb_sec=2617
case_no=167 label=Case6.155 nb_sol=0 ticks=161563 tps=100 nb_sec=1615
case_no=167 label=Case6.155 nb_sol=0 ticks=325455 tps=100 nb_sec=3254
case_no=167 label=Case6.155 nb_sol=0 ticks=307759 tps=100 nb_sec=3077
case_no=167 label=Case6.155 nb_sol=0 ticks=178170 tps=100 nb_sec=1781
case_no=167 label=Case6.155 nb_sol=0 ticks=198106 tps=100 nb_sec=1981
case_no=167 label=Case6.155 nb_sol=0 ticks=356333 tps=100 nb_sec=3563
case_no=167 label=Case6.155 nb_sol=0 ticks=256891 tps=100 nb_sec=2568
case_no=167 label=Case6.155 nb_sol=0 ticks=181744 tps=100 nb_sec=1817
case_no=167 label=Case6.155 nb_sol=0 ticks=282991 tps=100 nb_sec=2829
case_no=167 label=Case6.155 nb_sol=0 ticks=367038 tps=100 nb_sec=3670
case_no=167 label=Case6.155 nb_sol=0 ticks=309100 tps=100 nb_sec=3091
case_no=167 label=Case6.155 nb_sol=0 ticks=287740 tps=100 nb_sec=2877
case_no=167 label=Case6.155 nb_sol=0 ticks=143511 tps=100 nb_sec=1435
case_no=167 label=Case6.155 nb_sol=0 ticks=330132 tps=100 nb_sec=3301
case_no=167 label=Case6.155 nb_sol=0 ticks=285802 tps=100 nb_sec=2858
case_no=167 label=Case6.155 nb_sol=0 ticks=153209 tps=100 nb_sec=1532
case_no=167 label=Case6.155 nb_sol=0 ticks=313841 tps=100 nb_sec=3138
case_no=167 label=Case6.155 nb_sol=0 ticks=309800 tps=100 nb_sec=3098
case_no=167 label=Case6.155 nb_sol=0 ticks=190806 tps=100 nb_sec=1908
case_no=167 label=Case6.155 nb_sol=0 ticks=293733 tps=100 nb_sec=2937
case_no=167 label=Case6.155 nb_sol=0 ticks=291530 tps=100 nb_sec=2915
case_no=167 label=Case6.155 nb_sol=0 ticks=163741 tps=100 nb_sec=1637
case_no=167 label=Case6.155 nb_sol=0 ticks=249312 tps=100 nb_sec=2493
case_no=167 label=Case6.155 nb_sol=0 ticks=120975 tps=100 nb_sec=1209
case_no=167 label=Case6.155 nb_sol=0 ticks=121547 tps=100 nb_sec=1215
case_no=167 label=Case6.155 nb_sol=0 ticks=258758 tps=100 nb_sec=2587
case_no=167 label=Case6.155 nb_sol=0 ticks=263739 tps=100 nb_sec=2637
case_no=167 label=Case6.155 nb_sol=0 ticks=328819 tps=100 nb_sec=3288
case_no=167 label=Case6.155 nb_sol=0 ticks=189140 tps=100 nb_sec=1891
case_no=167 label=Case6.155 nb_sol=0 ticks=281516 tps=100 nb_sec=2815
case_no=167 label=Case6.155 nb_sol=0 ticks=154186 tps=100 nb_sec=1541
case_no=167 label=Case6.155 nb_sol=0 ticks=338604 tps=100 nb_sec=3386
case_no=167 label=Case6.155 nb_sol=0 ticks=189081 tps=100 nb_sec=1890
case_no=167 label=Case6.155 nb_sol=0 ticks=170978 tps=100 nb_sec=1709
case_no=167 label=Case6.155 nb_sol=0 ticks=318297 tps=100 nb_sec=3182
case_no=167 label=Case6.155 nb_sol=0 ticks=143691 tps=100 nb_sec=1436
case_no=167 label=Case6.155 nb_sol=0 ticks=292248 tps=100 nb_sec=2922
case_no=167 label=Case6.155 nb_sol=0 ticks=390022 tps=100 nb_sec=3900
case_no=167 label=Case6.155 nb_sol=0 ticks=205420 tps=100 nb_sec=2054
case_no=167 label=Case6.155 nb_sol=0 ticks=371639 tps=100 nb_sec=3716
case_no=167 label=Case6.155 nb_sol=0 ticks=162821 tps=100 nb_sec=1628
case_no=167 label=Case6.155 nb_sol=0 ticks=339126 tps=100 nb_sec=3391
case_no=167 label=Case6.155 nb_sol=0 ticks=247544 tps=100 nb_sec=2475
case_no=167 label=Case6.155 nb_sol=0 ticks=391330 tps=100 nb_sec=3913
case_no=167 label=Case6.155 nb_sol=0 ticks=405117 tps=100 nb_sec=4051
case_no=167 label=Case6.155 nb_sol=0 ticks=364751 tps=100 nb_sec=3647
case_no=167 label=Case6.155 nb_sol=0 ticks=333833 tps=100 nb_sec=3338
case_no=167 label=Case6.155 nb_sol=0 ticks=280263 tps=100 nb_sec=2802
case_no=167 label=Case6.155 nb_sol=0 ticks=331105 tps=100 nb_sec=3311
case_no=167 label=Case6.155 nb_sol=0 ticks=323578 tps=100 nb_sec=3235
case_no=167 label=Case6.155 nb_sol=0 ticks=137702 tps=100 nb_sec=1377
case_no=167 label=Case6.155 nb_sol=0 ticks=188900 tps=100 nb_sec=1889
case_no=167 label=Case6.155 nb_sol=0 ticks=211463 tps=100 nb_sec=2114
case_no=167 label=Case6.155 nb_sol=0 ticks=372869 tps=100 nb_sec=3728
case_no=167 label=Case6.155 nb_sol=0 ticks=174828 tps=100 nb_sec=1748
case_no=167 label=Case6.155 nb_sol=0 ticks=180220 tps=100 nb_sec=1802
case_no=167 label=Case6.155 nb_sol=0 ticks=354013 tps=100 nb_sec=3540
case_no=167 label=Case6.155 nb_sol=0 ticks=168521 tps=100 nb_sec=1685
case_no=167 label=Case6.155 nb_sol=0 ticks=355559 tps=100 nb_sec=3555
case_no=167 label=Case6.155 nb_sol=0 ticks=325025 tps=100 nb_sec=3250
case_no=167 label=Case6.155 nb_sol=0 ticks=240325 tps=100 nb_sec=2403
case_no=167 label=Case6.155 nb_sol=0 ticks=156000 tps=100 nb_sec=1560
case_no=167 label=Case6.155 nb_sol=0 ticks=289017 tps=100 nb_sec=2890
case_no=167 label=Case6.155 nb_sol=0 ticks=164332 tps=100 nb_sec=1643
case_no=167 label=Case6.155 nb_sol=0 ticks=314875 tps=100 nb_sec=3148
case_no=167 label=Case6.155 nb_sol=0 ticks=318039 tps=100 nb_sec=3180
case_no=167 label=Case6.155 nb_sol=0 ticks=183458 tps=100 nb_sec=1834
case_no=167 label=Case6.155 nb_sol=0 ticks=341864 tps=100 nb_sec=3418
case_no=167 label=Case6.155 nb_sol=0 ticks=254053 tps=100 nb_sec=2540
case_no=167 label=Case6.155 nb_sol=0 ticks=220989 tps=100 nb_sec=2209
case_no=167 label=Case6.155 nb_sol=0 ticks=154558 tps=100 nb_sec=1545
case_no=167 label=Case6.155 nb_sol=0 ticks=251352 tps=100 nb_sec=2513
case_no=167 label=Case6.155 nb_sol=0 ticks=146671 tps=100 nb_sec=1466
case_no=167 label=Case6.155 nb_sol=0 ticks=325127 tps=100 nb_sec=3251
case_no=167 label=Case6.155 nb_sol=0 ticks=323217 tps=100 nb_sec=3232
case_no=167 label=Case6.155 nb_sol=0 ticks=328933 tps=100 nb_sec=3289
case_no=167 label=Case6.155 nb_sol=0 ticks=137297 tps=100 nb_sec=1372
case_no=167 label=Case6.155 nb_sol=0 ticks=345697 tps=100 nb_sec=3456
case_no=167 label=Case6.155 nb_sol=0 ticks=248965 tps=100 nb_sec=2489
case_no=167 label=Case6.155 nb_sol=0 ticks=310747 tps=100 nb_sec=3107
case_no=167 label=Case6.155 nb_sol=0 ticks=261035 tps=100 nb_sec=2610
case_no=167 label=Case6.155 nb_sol=0 ticks=159253 tps=100 nb_sec=1592
case_no=167 label=Case6.155 nb_sol=0 ticks=321114 tps=100 nb_sec=3211
case_no=167 label=Case6.155 nb_sol=0 ticks=157050 tps=100 nb_sec=1570
case_no=167 label=Case6.155 nb_sol=0 ticks=260871 tps=100 nb_sec=2608
case_no=167 label=Case6.155 nb_sol=0 ticks=188640 tps=100 nb_sec=1886
case_no=167 label=Case6.155 nb_sol=0 ticks=253269 tps=100 nb_sec=2532
case_no=167 label=Case6.155 nb_sol=0 ticks=344759 tps=100 nb_sec=3447
case_no=167 label=Case6.155 nb_sol=0 ticks=279188 tps=100 nb_sec=2791
case_no=167 label=Case6.155 nb_sol=0 ticks=291839 tps=100 nb_sec=2918
case_no=167 label=Case6.155 nb_sol=0 ticks=139308 tps=100 nb_sec=1393
case_no=167 label=Case6.155 nb_sol=0 ticks=231189 tps=100 nb_sec=2311
case_no=167 label=Case6.155 nb_sol=0 ticks=396347 tps=100 nb_sec=3963
case_no=167 label=Case6.155 nb_sol=0 ticks=264256 tps=100 nb_sec=2642
case_no=167 label=Case6.155 nb_sol=0 ticks=152603 tps=100 nb_sec=1526
case_no=167 label=Case6.155 nb_sol=0 ticks=275043 tps=100 nb_sec=2750
case_no=167 label=Case6.155 nb_sol=0 ticks=281845 tps=100 nb_sec=2818
case_no=167 label=Case6.155 nb_sol=0 ticks=288215 tps=100 nb_sec=2882
case_no=167 label=Case6.155 nb_sol=0 ticks=170511 tps=100 nb_sec=1705
case_no=167 label=Case6.155 nb_sol=0 ticks=166523 tps=100 nb_sec=1665
case_no=167 label=Case6.155 nb_sol=0 ticks=316460 tps=100 nb_sec=3164
case_no=167 label=Case6.155 nb_sol=0 ticks=152922 tps=100 nb_sec=1529
case_no=167 label=Case6.155 nb_sol=0 ticks=262525 tps=100 nb_sec=2625
case_no=167 label=Case6.155 nb_sol=0 ticks=324681 tps=100 nb_sec=3246
case_no=167 label=Case6.155 nb_sol=0 ticks=176856 tps=100 nb_sec=1768
case_no=167 label=Case6.155 nb_sol=0 ticks=250253 tps=100 nb_sec=2502
case_no=167 label=Case6.155 nb_sol=0 ticks=160191 tps=100 nb_sec=1601
case_no=167 label=Case6.155 nb_sol=0 ticks=305897 tps=100 nb_sec=3058
case_no=167 label=Case6.155 nb_sol=0 ticks=375652 tps=100 nb_sec=3756
case_no=167 label=Case6.155 nb_sol=0 ticks=309989 tps=100 nb_sec=3099
case_no=167 label=Case6.155 nb_sol=0 ticks=236452 tps=100 nb_sec=2364
case_no=167 label=Case6.155 nb_sol=0 ticks=137879 tps=100 nb_sec=1378
case_no=167 label=Case6.155 nb_sol=0 ticks=284018 tps=100 nb_sec=2840
case_no=167 label=Case6.155 nb_sol=0 ticks=223912 tps=100 nb_sec=2239
case_no=167 label=Case6.155 nb_sol=0 ticks=327038 tps=100 nb_sec=3270
case_no=167 label=Case6.155 nb_sol=0 ticks=238432 tps=100 nb_sec=2384
case_no=167 label=Case6.155 nb_sol=0 ticks=207370 tps=100 nb_sec=2073
case_no=167 label=Case6.155 nb_sol=0 ticks=333966 tps=100 nb_sec=3339
case_no=167 label=Case6.155 nb_sol=0 ticks=360758 tps=100 nb_sec=3607
case_no=167 label=Case6.155 nb_sol=0 ticks=266867 tps=100 nb_sec=2668
case_no=167 label=Case6.155 nb_sol=0 ticks=275246 tps=100 nb_sec=2752
case_no=167 label=Case6.155 nb_sol=0 ticks=241054 tps=100 nb_sec=2410
case_no=167 label=Case6.155 nb_sol=0 ticks=139986 tps=100 nb_sec=1399
case_no=167 label=Case6.155 nb_sol=0 ticks=321473 tps=100 nb_sec=3214
case_no=167 label=Case6.155 nb_sol=0 ticks=346213 tps=100 nb_sec=3462
case_no=167 label=Case6.155 nb_sol=0 ticks=306788 tps=100 nb_sec=3067
case_no=167 label=Case6.155 nb_sol=0 ticks=252045 tps=100 nb_sec=2520
case_no=167 label=Case6.155 nb_sol=0 ticks=357970 tps=100 nb_sec=3579
case_no=167 label=Case6.155 nb_sol=0 ticks=147557 tps=100 nb_sec=1475
case_no=167 label=Case6.155 nb_sol=0 ticks=349993 tps=100 nb_sec=3499
case_no=167 label=Case6.155 nb_sol=0 ticks=367650 tps=100 nb_sec=3676
case_no=167 label=Case6.155 nb_sol=0 ticks=167830 tps=100 nb_sec=1678
case_no=167 label=Case6.155 nb_sol=0 ticks=333095 tps=100 nb_sec=3330
case_no=167 label=Case6.155 nb_sol=0 ticks=293875 tps=100 nb_sec=2938
case_no=167 label=Case6.155 nb_sol=0 ticks=310068 tps=100 nb_sec=3100
case_no=167 label=Case6.155 nb_sol=0 ticks=157443 tps=100 nb_sec=1574
case_no=167 label=Case6.155 nb_sol=0 ticks=150233 tps=100 nb_sec=1502
case_no=167 label=Case6.155 nb_sol=0 ticks=347929 tps=100 nb_sec=3479
case_no=167 label=Case6.155 nb_sol=0 ticks=213052 tps=100 nb_sec=2130
case_no=167 label=Case6.155 nb_sol=0 ticks=450582 tps=100 nb_sec=4505
case_no=167 label=Case6.155 nb_sol=0 ticks=404909 tps=100 nb_sec=4049
case_no=167 label=Case6.155 nb_sol=0 ticks=357294 tps=100 nb_sec=3572
case_no=167 label=Case6.155 nb_sol=0 ticks=367545 tps=100 nb_sec=3675
case_no=167 label=Case6.155 nb_sol=0 ticks=423530 tps=100 nb_sec=4235
case_no=167 label=Case6.155 nb_sol=0 ticks=347339 tps=100 nb_sec=3473
case_no=167 label=Case6.155 nb_sol=0 ticks=132051 tps=100 nb_sec=1320
case_no=167 label=Case6.155 nb_sol=0 ticks=286724 tps=100 nb_sec=2867
case_no=167 label=Case6.155 nb_sol=0 ticks=192965 tps=100 nb_sec=1929
case_no=167 label=Case6.155 nb_sol=0 ticks=394701 tps=100 nb_sec=3947
case_no=167 label=Case6.155 nb_sol=0 ticks=314577 tps=100 nb_sec=3145
case_no=167 label=Case6.155 nb_sol=0 ticks=305607 tps=100 nb_sec=3056
case_no=167 label=Case6.155 nb_sol=0 ticks=154600 tps=100 nb_sec=1546
case_no=167 label=Case6.155 nb_sol=0 ticks=150907 tps=100 nb_sec=1509
case_no=167 label=Case6.155 nb_sol=0 ticks=351551 tps=100 nb_sec=3515
case_no=167 label=Case6.155 nb_sol=0 ticks=375958 tps=100 nb_sec=3759
case_no=167 label=Case6.155 nb_sol=0 ticks=408363 tps=100 nb_sec=4083
case_no=167 label=Case6.155 nb_sol=0 ticks=132493 tps=100 nb_sec=1324
case_no=167 label=Case6.155 nb_sol=0 ticks=342069 tps=100 nb_sec=3420
case_no=167 label=Case6.155 nb_sol=0 ticks=280914 tps=100 nb_sec=2809
case_no=167 label=Case6.155 nb_sol=0 ticks=424425 tps=100 nb_sec=4244
case_no=167 label=Case6.155 nb_sol=0 ticks=285675 tps=100 nb_sec=2856
case_no=167 label=Case6.155 nb_sol=0 ticks=497909 tps=100 nb_sec=4979
case_no=167 label=Case6.155 nb_sol=0 ticks=400839 tps=100 nb_sec=4008
case_no=167 label=Case6.155 nb_sol=0 ticks=207416 tps=100 nb_sec=2074
case_no=167 label=Case6.155 nb_sol=0 ticks=415261 tps=100 nb_sec=4152
case_no=167 label=Case6.155 nb_sol=0 ticks=309326 tps=100 nb_sec=3093
case_no=167 label=Case6.155 nb_sol=0 ticks=384733 tps=100 nb_sec=3847
case_no=167 label=Case6.155 nb_sol=0 ticks=152598 tps=100 nb_sec=1525
case_no=167 label=Case6.155 nb_sol=0 ticks=394895 tps=100 nb_sec=3948
case_no=167 label=Case6.155 nb_sol=0 ticks=285917 tps=100 nb_sec=2859
case_no=167 label=Case6.155 nb_sol=0 ticks=309667 tps=100 nb_sec=3096
case_no=167 label=Case6.155 nb_sol=0 ticks=140497 tps=100 nb_sec=1404
case_no=167 label=Case6.155 nb_sol=0 ticks=386003 tps=100 nb_sec=3860
case_no=167 label=Case6.155 nb_sol=0 ticks=518841 tps=100 nb_sec=5188
case_no=167 label=Case6.155 nb_sol=0 ticks=416294 tps=100 nb_sec=4162
case_no=167 label=Case6.155 nb_sol=0 ticks=143951 tps=100 nb_sec=1439
case_no=167 label=Case6.155 nb_sol=0 ticks=334504 tps=100 nb_sec=3345
case_no=167 label=Case6.155 nb_sol=0 ticks=345040 tps=100 nb_sec=3450
case_no=167 label=Case6.155 nb_sol=0 ticks=254313 tps=100 nb_sec=2543
case_no=167 label=Case6.155 nb_sol=0 ticks=190241 tps=100 nb_sec=1902
case_no=167 label=Case6.155 nb_sol=0 ticks=356061 tps=100 nb_sec=3560
case_no=167 label=Case6.155 nb_sol=0 ticks=238211 tps=100 nb_sec=2382
case_no=167 label=Case6.155 nb_sol=0 ticks=277810 tps=100 nb_sec=2778
case_no=167 label=Case6.155 nb_sol=0 ticks=183241 tps=100 nb_sec=1832
case_no=167 label=Case6.155 nb_sol=0 ticks=248317 tps=100 nb_sec=2483
case_no=167 label=Case6.155 nb_sol=0 ticks=265483 tps=100 nb_sec=2654
case_no=167 label=Case6.155 nb_sol=0 ticks=311291 tps=100 nb_sec=3112
case_no=167 label=Case6.155 nb_sol=0 ticks=270633 tps=100 nb_sec=2706
case_no=167 label=Case6.155 nb_sol=0 ticks=347167 tps=100 nb_sec=3471
case_no=167 label=Case6.155 nb_sol=0 ticks=146602 tps=100 nb_sec=1466
case_no=167 label=Case6.155 nb_sol=0 ticks=231958 tps=100 nb_sec=2319
case_no=167 label=Case6.155 nb_sol=0 ticks=276897 tps=100 nb_sec=2768
case_no=167 label=Case6.155 nb_sol=0 ticks=170683 tps=100 nb_sec=1706
case_no=167 label=Case6.155 nb_sol=0 ticks=388098 tps=100 nb_sec=3880
case_no=167 label=Case6.155 nb_sol=0 ticks=169773 tps=100 nb_sec=1697
case_no=167 label=Case6.155 nb_sol=0 ticks=306787 tps=100 nb_sec=3067
case_no=167 label=Case6.155 nb_sol=0 ticks=236430 tps=100 nb_sec=2364
case_no=167 label=Case6.155 nb_sol=0 ticks=251628 tps=100 nb_sec=2516
case_no=167 label=Case6.155 nb_sol=0 ticks=270269 tps=100 nb_sec=2702
case_no=167 label=Case6.155 nb_sol=0 ticks=238756 tps=100 nb_sec=2387
case_no=167 label=Case6.155 nb_sol=0 ticks=145030 tps=100 nb_sec=1450
case_no=167 label=Case6.155 nb_sol=0 ticks=269689 tps=100 nb_sec=2696
case_no=167 label=Case6.155 nb_sol=0 ticks=374777 tps=100 nb_sec=3747
case_no=167 label=Case6.155 nb_sol=0 ticks=295140 tps=100 nb_sec=2951
case_no=167 label=Case6.155 nb_sol=0 ticks=311244 tps=100 nb_sec=3112
case_no=167 label=Case6.155 nb_sol=0 ticks=175575 tps=100 nb_sec=1755
case_no=167 label=Case6.155 nb_sol=0 ticks=326779 tps=100 nb_sec=3267
case_no=167 label=Case6.155 nb_sol=0 ticks=436330 tps=100 nb_sec=4363
case_no=167 label=Case6.155 nb_sol=0 ticks=315332 tps=100 nb_sec=3153
case_no=167 label=Case6.155 nb_sol=0 ticks=304025 tps=100 nb_sec=3040
case_no=167 label=Case6.155 nb_sol=0 ticks=158746 tps=100 nb_sec=1587
case_no=167 label=Case6.155 nb_sol=0 ticks=150399 tps=100 nb_sec=1503
case_no=167 label=Case6.155 nb_sol=0 ticks=343535 tps=100 nb_sec=3435
case_no=167 label=Case6.155 nb_sol=0 ticks=344477 tps=100 nb_sec=3444
case_no=167 label=Case6.155 nb_sol=0 ticks=393944 tps=100 nb_sec=3939
case_no=167 label=Case6.155 nb_sol=0 ticks=207741 tps=100 nb_sec=2077
case_no=167 label=Case6.155 nb_sol=0 ticks=358185 tps=100 nb_sec=3581
case_no=167 label=Case6.155 nb_sol=0 ticks=456306 tps=100 nb_sec=4563
case_no=167 label=Case6.155 nb_sol=0 ticks=315909 tps=100 nb_sec=3159
case_no=167 label=Case6.155 nb_sol=0 ticks=196917 tps=100 nb_sec=1969
case_no=167 label=Case6.155 nb_sol=0 ticks=351836 tps=100 nb_sec=3518
case_no=167 label=Case6.155 nb_sol=0 ticks=298505 tps=100 nb_sec=2985
case_no=167 label=Case6.155 nb_sol=0 ticks=365487 tps=100 nb_sec=3654
case_no=167 label=Case6.155 nb_sol=0 ticks=328039 tps=100 nb_sec=3280
case_no=167 label=Case6.155 nb_sol=0 ticks=407591 tps=100 nb_sec=4075
case_no=167 label=Case6.155 nb_sol=0 ticks=290274 tps=100 nb_sec=2902
case_no=167 label=Case6.155 nb_sol=0 ticks=171332 tps=100 nb_sec=1713
case_no=167 label=Case6.155 nb_sol=0 ticks=184178 tps=100 nb_sec=1841
case_no=167 label=Case6.155 nb_sol=0 ticks=361545 tps=100 nb_sec=3615
case_no=167 label=Case6.155 nb_sol=0 ticks=340651 tps=100 nb_sec=3406
case_no=167 label=Case6.155 nb_sol=0 ticks=343609 tps=100 nb_sec=3436
case_no=167 label=Case6.155 nb_sol=0 ticks=189874 tps=100 nb_sec=1898
case_no=167 label=Case6.155 nb_sol=0 ticks=361010 tps=100 nb_sec=3610
case_no=167 label=Case6.155 nb_sol=0 ticks=322471 tps=100 nb_sec=3224
case_no=167 label=Case6.155 nb_sol=0 ticks=392555 tps=100 nb_sec=3925
case_no=167 label=Case6.155 nb_sol=0 ticks=405748 tps=100 nb_sec=4057
case_no=167 label=Case6.155 nb_sol=0 ticks=436770 tps=100 nb_sec=4367
case_no=167 label=Case6.155 nb_sol=0 ticks=377370 tps=100 nb_sec=3773
case_no=167 label=Case6.155 nb_sol=0 ticks=380251 tps=100 nb_sec=3802
case_no=167 label=Case6.155 nb_sol=0 ticks=313546 tps=100 nb_sec=3135
case_no=167 label=Case6.155 nb_sol=0 ticks=199639 tps=100 nb_sec=1996
case_no=167 label=Case6.155 nb_sol=0 ticks=165789 tps=100 nb_sec=1657
case_no=167 label=Case6.155 nb_sol=0 ticks=303416 tps=100 nb_sec=3034
case_no=167 label=Case6.155 nb_sol=0 ticks=182771 tps=100 nb_sec=1827
case_no=167 label=Case6.155 nb_sol=0 ticks=337233 tps=100 nb_sec=3372
case_no=167 label=Case6.155 nb_sol=0 ticks=368318 tps=100 nb_sec=3683
case_no=167 label=Case6.155 nb_sol=0 ticks=303946 tps=100 nb_sec=3039
case_no=167 label=Case6.155 nb_sol=0 ticks=192348 tps=100 nb_sec=1923
case_no=167 label=Case6.155 nb_sol=0 ticks=334809 tps=100 nb_sec=3348
case_no=167 label=Case6.155 nb_sol=0 ticks=352400 tps=100 nb_sec=3524
case_no=167 label=Case6.155 nb_sol=0 ticks=358619 tps=100 nb_sec=3586
case_no=167 label=Case6.155 nb_sol=0 ticks=167486 tps=100 nb_sec=1674
case_no=167 label=Case6.155 nb_sol=0 ticks=268896 tps=100 nb_sec=2688
case_no=167 label=Case6.155 nb_sol=0 ticks=291484 tps=100 nb_sec=2914
case_no=167 label=Case6.155 nb_sol=0 ticks=420419 tps=100 nb_sec=4204
case_no=167 label=Case6.155 nb_sol=0 ticks=409415 tps=100 nb_sec=4094
case_no=167 label=Case6.155 nb_sol=0 ticks=451471 tps=100 nb_sec=4514
case_no=167 label=Case6.155 nb_sol=0 ticks=301836 tps=100 nb_sec=3018
case_no=167 label=Case6.155 nb_sol=0 ticks=304039 tps=100 nb_sec=3040
case_no=167 label=Case6.155 nb_sol=0 ticks=349931 tps=100 nb_sec=3499
case_no=167 label=Case6.155 nb_sol=0 ticks=415551 tps=100 nb_sec=4155
case_no=167 label=Case6.155 nb_sol=0 ticks=378619 tps=100 nb_sec=3786
case_no=167 label=Case6.155 nb_sol=0 ticks=227956 tps=100 nb_sec=2279
case_no=167 label=Case6.155 nb_sol=0 ticks=164778 tps=100 nb_sec=1647
case_no=167 label=Case6.155 nb_sol=0 ticks=321038 tps=100 nb_sec=3210
case_no=167 label=Case6.155 nb_sol=0 ticks=437996 tps=100 nb_sec=4379
case_no=167 label=Case6.155 nb_sol=0 ticks=314863 tps=100 nb_sec=3148
case_no=167 label=Case6.155 nb_sol=0 ticks=304721 tps=100 nb_sec=3047
case_no=167 label=Case6.155 nb_sol=0 ticks=357021 tps=100 nb_sec=3570
case_no=167 label=Case6.155 nb_sol=0 ticks=409455 tps=100 nb_sec=4094
case_no=167 label=Case6.155 nb_sol=0 ticks=299593 tps=100 nb_sec=2995
case_no=167 label=Case6.155 nb_sol=0 ticks=264724 tps=100 nb_sec=2647
case_no=167 label=Case6.155 nb_sol=0 ticks=293867 tps=100 nb_sec=2938
case_no=167 label=Case6.155 nb_sol=0 ticks=357127 tps=100 nb_sec=3571
case_no=167 label=Case6.155 nb_sol=0 ticks=230140 tps=100 nb_sec=2301
case_no=167 label=Case6.155 nb_sol=0 ticks=221498 tps=100 nb_sec=2214
case_no=167 label=Case6.155 nb_sol=0 ticks=176547 tps=100 nb_sec=1765
case_no=167 label=Case6.155 nb_sol=0 ticks=181367 tps=100 nb_sec=1813
case_no=167 label=Case6.155 nb_sol=0 ticks=332392 tps=100 nb_sec=3323
case_no=167 label=Case6.155 nb_sol=0 ticks=169109 tps=100 nb_sec=1691
case_no=167 label=Case6.155 nb_sol=0 ticks=190296 tps=100 nb_sec=1902
case_no=167 label=Case6.155 nb_sol=0 ticks=184619 tps=100 nb_sec=1846
case_no=167 label=Case6.155 nb_sol=0 ticks=272258 tps=100 nb_sec=2722
case_no=167 label=Case6.155 nb_sol=0 ticks=330646 tps=100 nb_sec=3306
case_no=167 label=Case6.155 nb_sol=0 ticks=316181 tps=100 nb_sec=3161
case_no=167 label=Case6.155 nb_sol=0 ticks=330219 tps=100 nb_sec=3302
case_no=167 label=Case6.155 nb_sol=0 ticks=352398 tps=100 nb_sec=3523
case_no=167 label=Case6.155 nb_sol=0 ticks=231647 tps=100 nb_sec=2316
case_no=167 label=Case6.155 nb_sol=0 ticks=317630 tps=100 nb_sec=3176
case_no=167 label=Case6.155 nb_sol=0 ticks=157293 tps=100 nb_sec=1572
case_no=167 label=Case6.155 nb_sol=0 ticks=376854 tps=100 nb_sec=3768
case_no=167 label=Case6.155 nb_sol=0 ticks=368650 tps=100 nb_sec=3686
case_no=167 label=Case6.155 nb_sol=0 ticks=316028 tps=100 nb_sec=3160
case_no=167 label=Case6.155 nb_sol=0 ticks=317966 tps=100 nb_sec=3179
case_no=167 label=Case6.155 nb_sol=0 ticks=313301 tps=100 nb_sec=3133
case_no=167 label=Case6.155 nb_sol=0 ticks=169917 tps=100 nb_sec=1699
case_no=167 label=Case6.155 nb_sol=0 ticks=246768 tps=100 nb_sec=2467
case_no=167 label=Case6.155 nb_sol=0 ticks=243029 tps=100 nb_sec=2430
case_no=167 label=Case6.155 nb_sol=0 ticks=279669 tps=100 nb_sec=2796
case_no=167 label=Case6.155 nb_sol=0 ticks=214832 tps=100 nb_sec=2148
case_no=167 label=Case6.155 nb_sol=0 ticks=305926 tps=100 nb_sec=3059
case_no=167 label=Case6.155 nb_sol=0 ticks=245544 tps=100 nb_sec=2455
case_no=167 label=Case6.155 nb_sol=0 ticks=242500 tps=100 nb_sec=2425
case_no=167 label=Case6.155 nb_sol=0 ticks=208677 tps=100 nb_sec=2086
case_no=167 label=Case6.155 nb_sol=0 ticks=317154 tps=100 nb_sec=3171
case_no=167 label=Case6.155 nb_sol=0 ticks=237601 tps=100 nb_sec=2376
case_no=167 label=Case6.155 nb_sol=0 ticks=239112 tps=100 nb_sec=2391
case_no=167 label=Case6.155 nb_sol=0 ticks=248573 tps=100 nb_sec=2485
case_no=167 label=Case6.155 nb_sol=0 ticks=208361 tps=100 nb_sec=2083
case_no=167 label=Case6.155 nb_sol=0 ticks=250612 tps=100 nb_sec=2506
case_no=167 label=Case6.155 nb_sol=0 ticks=208233 tps=100 nb_sec=2082
case_no=167 label=Case6.155 nb_sol=0 ticks=255978 tps=100 nb_sec=2559
case_no=167 label=Case6.155 nb_sol=0 ticks=196436 tps=100 nb_sec=1964
case_no=167 label=Case6.155 nb_sol=0 ticks=195001 tps=100 nb_sec=1950
case_no=167 label=Case6.155 nb_sol=0 ticks=220560 tps=100 nb_sec=2205
case_no=167 label=Case6.155 nb_sol=0 ticks=309493 tps=100 nb_sec=3094
case_no=167 label=Case6.155 nb_sol=0 ticks=188393 tps=100 nb_sec=1883
case_no=167 label=Case6.155 nb_sol=0 ticks=213944 tps=100 nb_sec=2139
case_no=167 label=Case6.155 nb_sol=0 ticks=268202 tps=100 nb_sec=2682
case_no=167 label=Case6.155 nb_sol=0 ticks=206921 tps=100 nb_sec=2069
case_no=167 label=Case6.155 nb_sol=0 ticks=251274 tps=100 nb_sec=2512
case_no=167 label=Case6.155 nb_sol=0 ticks=213864 tps=100 nb_sec=2138
case_no=167 label=Case6.155 nb_sol=0 ticks=305076 tps=100 nb_sec=3050
case_no=167 label=Case6.155 nb_sol=0 ticks=233572 tps=100 nb_sec=2335
case_no=167 label=Case6.155 nb_sol=0 ticks=324556 tps=100 nb_sec=3245
case_no=167 label=Case6.155 nb_sol=0 ticks=283563 tps=100 nb_sec=2835
case_no=167 label=Case6.155 nb_sol=0 ticks=224593 tps=100 nb_sec=2245
case_no=167 label=Case6.155 nb_sol=0 ticks=191244 tps=100 nb_sec=1912
case_no=167 label=Case6.155 nb_sol=0 ticks=321884 tps=100 nb_sec=3218
case_no=167 label=Case6.155 nb_sol=0 ticks=310876 tps=100 nb_sec=3108
case_no=167 label=Case6.155 nb_sol=0 ticks=149089 tps=100 nb_sec=1490
case_no=167 label=Case6.155 nb_sol=0 ticks=147929 tps=100 nb_sec=1479
case_no=167 label=Case6.155 nb_sol=0 ticks=249215 tps=100 nb_sec=2492
case_no=167 label=Case6.155 nb_sol=0 ticks=231858 tps=100 nb_sec=2318
case_no=167 label=Case6.155 nb_sol=0 ticks=353851 tps=100 nb_sec=3538
case_no=167 label=Case6.155 nb_sol=0 ticks=327829 tps=100 nb_sec=3278
case_no=167 label=Case6.155 nb_sol=0 ticks=285944 tps=100 nb_sec=2859
case_no=167 label=Case6.155 nb_sol=0 ticks=323204 tps=100 nb_sec=3232
case_no=167 label=Case6.155 nb_sol=0 ticks=152520 tps=100 nb_sec=1525
case_no=167 label=Case6.155 nb_sol=0 ticks=350042 tps=100 nb_sec=3500
case_no=167 label=Case6.155 nb_sol=0 ticks=331244 tps=100 nb_sec=3312
case_no=167 label=Case6.155 nb_sol=0 ticks=131745 tps=100 nb_sec=1317
case_no=167 label=Case6.155 nb_sol=0 ticks=387608 tps=100 nb_sec=3876
case_no=167 label=Case6.155 nb_sol=0 ticks=364979 tps=100 nb_sec=3649
case_no=167 label=Case6.155 nb_sol=0 ticks=258636 tps=100 nb_sec=2586
case_no=167 label=Case6.155 nb_sol=0 ticks=149084 tps=100 nb_sec=1490
case_no=167 label=Case6.155 nb_sol=0 ticks=370170 tps=100 nb_sec=3701
case_no=167 label=Case6.155 nb_sol=0 ticks=240381 tps=100 nb_sec=2403
case_no=167 label=Case6.155 nb_sol=0 ticks=147378 tps=100 nb_sec=1473
case_no=167 label=Case6.155 nb_sol=0 ticks=245236 tps=100 nb_sec=2452
case_no=167 label=Case6.155 nb_sol=0 ticks=215468 tps=100 nb_sec=2154
case_no=167 label=Case6.155 nb_sol=0 ticks=137253 tps=100 nb_sec=1372
case_no=167 label=Case6.155 nb_sol=0 ticks=287784 tps=100 nb_sec=2877
case_no=167 label=Case6.155 nb_sol=0 ticks=122231 tps=100 nb_sec=1222
case_no=167 label=Case6.155 nb_sol=0 ticks=284232 tps=100 nb_sec=2842
case_no=167 label=Case6.155 nb_sol=0 ticks=228776 tps=100 nb_sec=2287
case_no=167 label=Case6.155 nb_sol=0 ticks=152709 tps=100 nb_sec=1527
case_no=167 label=Case6.155 nb_sol=0 ticks=337155 tps=100 nb_sec=3371
case_no=167 label=Case6.155 nb_sol=0 ticks=259949 tps=100 nb_sec=2599
case_no=167 label=Case6.155 nb_sol=0 ticks=361882 tps=100 nb_sec=3618
case_no=167 label=Case6.155 nb_sol=0 ticks=343857 tps=100 nb_sec=3438
case_no=167 label=Case6.155 nb_sol=0 ticks=151502 tps=100 nb_sec=1515
case_no=167 label=Case6.155 nb_sol=0 ticks=437278 tps=100 nb_sec=4372
case_no=167 label=Case6.155 nb_sol=0 ticks=354909 tps=100 nb_sec=3549
case_no=167 label=Case6.155 nb_sol=0 ticks=138737 tps=100 nb_sec=1387
case_no=167 label=Case6.155 nb_sol=0 ticks=330516 tps=100 nb_sec=3305
case_no=167 label=Case6.155 nb_sol=0 ticks=268402 tps=100 nb_sec=2684
case_no=167 label=Case6.155 nb_sol=0 ticks=186363 tps=100 nb_sec=1863
case_no=167 label=Case6.155 nb_sol=0 ticks=136881 tps=100 nb_sec=1368
case_no=167 label=Case6.155 nb_sol=0 ticks=301612 tps=100 nb_sec=3016
case_no=167 label=Case6.155 nb_sol=0 ticks=147309 tps=100 nb_sec=1473
case_no=167 label=Case6.155 nb_sol=0 ticks=351847 tps=100 nb_sec=3518
case_no=167 label=Case6.155 nb_sol=0 ticks=279365 tps=100 nb_sec=2793
case_no=167 label=Case6.155 nb_sol=0 ticks=312440 tps=100 nb_sec=3124
case_no=167 label=Case6.155 nb_sol=0 ticks=154076 tps=100 nb_sec=1540
case_no=167 label=Case6.155 nb_sol=0 ticks=298677 tps=100 nb_sec=2986
case_no=167 label=Case6.155 nb_sol=0 ticks=268853 tps=100 nb_sec=2688
case_no=167 label=Case6.155 nb_sol=0 ticks=442891 tps=100 nb_sec=4428
case_no=167 label=Case6.155 nb_sol=0 ticks=212446 tps=100 nb_sec=2124
case_no=167 label=Case6.155 nb_sol=0 ticks=275725 tps=100 nb_sec=2757
case_no=167 label=Case6.155 nb_sol=0 ticks=232097 tps=100 nb_sec=2320
case_no=167 label=Case6.155 nb_sol=0 ticks=281798 tps=100 nb_sec=2817
case_no=167 label=Case6.155 nb_sol=0 ticks=303160 tps=100 nb_sec=3031
case_no=167 label=Case6.155 nb_sol=0 ticks=316045 tps=100 nb_sec=3160
case_no=167 label=Case6.155 nb_sol=0 ticks=247451 tps=100 nb_sec=2474
case_no=167 label=Case6.155 nb_sol=0 ticks=293252 tps=100 nb_sec=2932
case_no=167 label=Case6.155 nb_sol=0 ticks=287544 tps=100 nb_sec=2875
case_no=167 label=Case6.155 nb_sol=0 ticks=265515 tps=100 nb_sec=2655
case_no=167 label=Case6.155 nb_sol=0 ticks=243080 tps=100 nb_sec=2430
case_no=167 label=Case6.155 nb_sol=0 ticks=220430 tps=100 nb_sec=2204
case_no=167 label=Case6.155 nb_sol=0 ticks=233394 tps=100 nb_sec=2333
case_no=167 label=Case6.155 nb_sol=0 ticks=218366 tps=100 nb_sec=2183
case_no=167 label=Case6.155 nb_sol=0 ticks=279923 tps=100 nb_sec=2799
case_no=167 label=Case6.155 nb_sol=0 ticks=275318 tps=100 nb_sec=2753
case_no=167 label=Case6.155 nb_sol=0 ticks=297676 tps=100 nb_sec=2976
case_no=167 label=Case6.155 nb_sol=0 ticks=304201 tps=100 nb_sec=3042
case_no=167 label=Case6.155 nb_sol=0 ticks=281016 tps=100 nb_sec=2810
case_no=167 label=Case6.155 nb_sol=0 ticks=249546 tps=100 nb_sec=2495
case_no=167 label=Case6.155 nb_sol=0 ticks=315127 tps=100 nb_sec=3151
case_no=167 label=Case6.155 nb_sol=0 ticks=187121 tps=100 nb_sec=1871
case_no=167 label=Case6.155 nb_sol=0 ticks=229837 tps=100 nb_sec=2298
case_no=167 label=Case6.155 nb_sol=0 ticks=227554 tps=100 nb_sec=2275
case_no=167 label=Case6.155 nb_sol=0 ticks=216328 tps=100 nb_sec=2163
case_no=167 label=Case6.155 nb_sol=0 ticks=296942 tps=100 nb_sec=2969
case_no=167 label=Case6.155 nb_sol=0 ticks=311091 tps=100 nb_sec=3110
case_no=167 label=Case6.155 nb_sol=0 ticks=291544 tps=100 nb_sec=2915
case_no=167 label=Case6.155 nb_sol=0 ticks=259472 tps=100 nb_sec=2594
case_no=167 label=Case6.155 nb_sol=0 ticks=308408 tps=100 nb_sec=3084
case_no=167 label=Case6.155 nb_sol=0 ticks=241021 tps=100 nb_sec=2410
case_no=167 label=Case6.155 nb_sol=0 ticks=341780 tps=100 nb_sec=3417
case_no=167 label=Case6.155 nb_sol=0 ticks=341268 tps=100 nb_sec=3412
case_no=167 label=Case6.155 nb_sol=0 ticks=290825 tps=100 nb_sec=2908
case_no=167 label=Case6.155 nb_sol=0 ticks=271050 tps=100 nb_sec=2710
case_no=167 label=Case6.155 nb_sol=0 ticks=312574 tps=100 nb_sec=3125
case_no=167 label=Case6.155 nb_sol=0 ticks=213402 tps=100 nb_sec=2134
case_no=167 label=Case6.155 nb_sol=0 ticks=178220 tps=100 nb_sec=1782
case_no=167 label=Case6.155 nb_sol=0 ticks=229891 tps=100 nb_sec=2298
case_no=167 label=Case6.155 nb_sol=0 ticks=345850 tps=100 nb_sec=3458
case_no=167 label=Case6.155 nb_sol=0 ticks=257137 tps=100 nb_sec=2571
case_no=167 label=Case6.155 nb_sol=0 ticks=301677 tps=100 nb_sec=3016
case_no=167 label=Case6.155 nb_sol=0 ticks=283062 tps=100 nb_sec=2830
case_no=167 label=Case6.155 nb_sol=0 ticks=317589 tps=100 nb_sec=3175
case_no=167 label=Case6.155 nb_sol=0 ticks=240425 tps=100 nb_sec=2404
case_no=167 label=Case6.155 nb_sol=0 ticks=385553 tps=100 nb_sec=3855
case_no=167 label=Case6.155 nb_sol=0 ticks=222489 tps=100 nb_sec=2224
case_no=167 label=Case6.155 nb_sol=0 ticks=262423 tps=100 nb_sec=2624
case_no=167 label=Case6.155 nb_sol=0 ticks=351108 tps=100 nb_sec=3511
case_no=167 label=Case6.155 nb_sol=0 ticks=338637 tps=100 nb_sec=3386
case_no=167 label=Case6.155 nb_sol=0 ticks=264581 tps=100 nb_sec=2645
case_no=167 label=Case6.155 nb_sol=0 ticks=197975 tps=100 nb_sec=1979
case_no=167 label=Case6.155 nb_sol=0 ticks=184309 tps=100 nb_sec=1843
case_no=167 label=Case6.155 nb_sol=0 ticks=361202 tps=100 nb_sec=3612
case_no=167 label=Case6.155 nb_sol=0 ticks=339056 tps=100 nb_sec=3390
case_no=167 label=Case6.155 nb_sol=0 ticks=335539 tps=100 nb_sec=3355
case_no=167 label=Case6.155 nb_sol=0 ticks=215761 tps=100 nb_sec=2157
case_no=167 label=Case6.155 nb_sol=0 ticks=323091 tps=100 nb_sec=3230
case_no=167 label=Case6.155 nb_sol=0 ticks=269865 tps=100 nb_sec=2698
case_no=167 label=Case6.155 nb_sol=0 ticks=315587 tps=100 nb_sec=3155
case_no=167 label=Case6.155 nb_sol=0 ticks=416388 tps=100 nb_sec=4163
case_no=167 label=Case6.155 nb_sol=0 ticks=198656 tps=100 nb_sec=1986
case_no=167 label=Case6.155 nb_sol=0 ticks=237300 tps=100 nb_sec=2373
case_no=167 label=Case6.155 nb_sol=0 ticks=300966 tps=100 nb_sec=3009
case_no=167 label=Case6.155 nb_sol=0 ticks=298613 tps=100 nb_sec=2986
case_no=167 label=Case6.155 nb_sol=0 ticks=291611 tps=100 nb_sec=2916
case_no=167 label=Case6.155 nb_sol=0 ticks=240679 tps=100 nb_sec=2406
case_no=167 label=Case6.155 nb_sol=0 ticks=185321 tps=100 nb_sec=1853
case_no=167 label=Case6.155 nb_sol=0 ticks=295250 tps=100 nb_sec=2952
case_no=167 label=Case6.155 nb_sol=0 ticks=274366 tps=100 nb_sec=2743
case_no=167 label=Case6.155 nb_sol=0 ticks=370968 tps=100 nb_sec=3709
case_no=167 label=Case6.155 nb_sol=0 ticks=241451 tps=100 nb_sec=2414
case_no=167 label=Case6.155 nb_sol=0 ticks=442524 tps=100 nb_sec=4425
case_no=167 label=Case6.155 nb_sol=0 ticks=292782 tps=100 nb_sec=2927
case_no=167 label=Case6.155 nb_sol=0 ticks=409573 tps=100 nb_sec=4095
case_no=167 label=Case6.155 nb_sol=0 ticks=268526 tps=100 nb_sec=2685
case_no=167 label=Case6.155 nb_sol=0 ticks=366658 tps=100 nb_sec=3666
case_no=167 label=Case6.155 nb_sol=0 ticks=322254 tps=100 nb_sec=3222
case_no=167 label=Case6.155 nb_sol=0 ticks=334399 tps=100 nb_sec=3343
case_no=167 label=Case6.155 nb_sol=0 ticks=349308 tps=100 nb_sec=3493
case_no=167 label=Case6.155 nb_sol=0 ticks=301476 tps=100 nb_sec=3014
case_no=167 label=Case6.155 nb_sol=0 ticks=400089 tps=100 nb_sec=4000
case_no=167 label=Case6.155 nb_sol=0 ticks=299542 tps=100 nb_sec=2995
case_no=167 label=Case6.155 nb_sol=0 ticks=249947 tps=100 nb_sec=2499
case_no=167 label=Case6.155 nb_sol=0 ticks=305785 tps=100 nb_sec=3057
case_no=167 label=Case6.155 nb_sol=0 ticks=387599 tps=100 nb_sec=3875
case_no=167 label=Case6.155 nb_sol=0 ticks=278247 tps=100 nb_sec=2782
case_no=167 label=Case6.155 nb_sol=0 ticks=259026 tps=100 nb_sec=2590
case_no=167 label=Case6.155 nb_sol=0 ticks=276245 tps=100 nb_sec=2762
case_no=167 label=Case6.155 nb_sol=0 ticks=185610 tps=100 nb_sec=1856
case_no=167 label=Case6.155 nb_sol=0 ticks=226413 tps=100 nb_sec=2264
case_no=167 label=Case6.155 nb_sol=0 ticks=193132 tps=100 nb_sec=1931
case_no=167 label=Case6.155 nb_sol=0 ticks=234900 tps=100 nb_sec=2349
case_no=167 label=Case6.155 nb_sol=0 ticks=170256 tps=100 nb_sec=1702
case_no=167 label=Case6.155 nb_sol=0 ticks=225969 tps=100 nb_sec=2259
case_no=167 label=Case6.155 nb_sol=0 ticks=195786 tps=100 nb_sec=1957
case_no=167 label=Case6.155 nb_sol=0 ticks=292007 tps=100 nb_sec=2920
case_no=167 label=Case6.155 nb_sol=0 ticks=155555 tps=100 nb_sec=1555
case_no=167 label=Case6.155 nb_sol=0 ticks=200344 tps=100 nb_sec=2003
case_no=167 label=Case6.155 nb_sol=0 ticks=284013 tps=100 nb_sec=2840
case_no=167 label=Case6.155 nb_sol=0 ticks=398800 tps=100 nb_sec=3988
case_no=167 label=Case6.155 nb_sol=0 ticks=420190 tps=100 nb_sec=4201
case_no=167 label=Case6.155 nb_sol=0 ticks=398560 tps=100 nb_sec=3985
case_no=167 label=Case6.155 nb_sol=0 ticks=247512 tps=100 nb_sec=2475
case_no=167 label=Case6.155 nb_sol=0 ticks=329064 tps=100 nb_sec=3290
case_no=167 label=Case6.155 nb_sol=0 ticks=396408 tps=100 nb_sec=3964
case_no=167 label=Case6.155 nb_sol=0 ticks=173021 tps=100 nb_sec=1730
case_no=167 label=Case6.155 nb_sol=0 ticks=188260 tps=100 nb_sec=1882
case_no=167 label=Case6.155 nb_sol=0 ticks=280446 tps=100 nb_sec=2804
case_no=167 label=Case6.155 nb_sol=0 ticks=245374 tps=100 nb_sec=2453
case_no=167 label=Case6.155 nb_sol=0 ticks=291028 tps=100 nb_sec=2910
case_no=167 label=Case6.155 nb_sol=0 ticks=224293 tps=100 nb_sec=2242
case_no=167 label=Case6.155 nb_sol=0 ticks=441370 tps=100 nb_sec=4413
case_no=167 label=Case6.155 nb_sol=0 ticks=355823 tps=100 nb_sec=3558
case_no=167 label=Case6.155 nb_sol=0 ticks=364532 tps=100 nb_sec=3645
case_no=167 label=Case6.155 nb_sol=0 ticks=280180 tps=100 nb_sec=2801
case_no=167 label=Case6.155 nb_sol=0 ticks=276926 tps=100 nb_sec=2769
case_no=167 label=Case6.155 nb_sol=0 ticks=311060 tps=100 nb_sec=3110
case_no=167 label=Case6.155 nb_sol=0 ticks=262485 tps=100 nb_sec=2624
case_no=167 label=Case6.155 nb_sol=0 ticks=291275 tps=100 nb_sec=2912
case_no=167 label=Case6.155 nb_sol=0 ticks=463099 tps=100 nb_sec=4630
case_no=167 label=Case6.155 nb_sol=0 ticks=172766 tps=100 nb_sec=1727
case_no=167 label=Case6.155 nb_sol=0 ticks=389745 tps=100 nb_sec=3897
case_no=167 label=Case6.155 nb_sol=0 ticks=315036 tps=100 nb_sec=3150
case_no=167 label=Case6.155 nb_sol=0 ticks=284451 tps=100 nb_sec=2844
case_no=167 label=Case6.155 nb_sol=0 ticks=357758 tps=100 nb_sec=3577
case_no=167 label=Case6.155 nb_sol=0 ticks=283208 tps=100 nb_sec=2832
case_no=167 label=Case6.155 nb_sol=0 ticks=266289 tps=100 nb_sec=2662
case_no=167 label=Case6.155 nb_sol=0 ticks=309009 tps=100 nb_sec=3090
case_no=167 label=Case6.155 nb_sol=0 ticks=329210 tps=100 nb_sec=3292
case_no=167 label=Case6.155 nb_sol=0 ticks=217353 tps=100 nb_sec=2173
case_no=167 label=Case6.155 nb_sol=0 ticks=263146 tps=100 nb_sec=2631
case_no=167 label=Case6.155 nb_sol=0 ticks=266849 tps=100 nb_sec=2668
case_no=167 label=Case6.155 nb_sol=0 ticks=255658 tps=100 nb_sec=2556
case_no=167 label=Case6.155 nb_sol=0 ticks=313556 tps=100 nb_sec=3135
case_no=167 label=Case6.155 nb_sol=0 ticks=293461 tps=100 nb_sec=2934
case_no=167 label=Case6.155 nb_sol=0 ticks=344568 tps=100 nb_sec=3445
case_no=167 label=Case6.155 nb_sol=0 ticks=276584 tps=100 nb_sec=2765
case_no=167 label=Case6.155 nb_sol=0 ticks=325515 tps=100 nb_sec=3255
case_no=167 label=Case6.155 nb_sol=0 ticks=301702 tps=100 nb_sec=3017
case_no=167 label=Case6.155 nb_sol=0 ticks=253285 tps=100 nb_sec=2532
case_no=167 label=Case6.155 nb_sol=0 ticks=383592 tps=100 nb_sec=3835
case_no=167 label=Case6.155 nb_sol=0 ticks=307178 tps=100 nb_sec=3071
case_no=167 label=Case6.155 nb_sol=0 ticks=189485 tps=100 nb_sec=1894
case_no=167 label=Case6.155 nb_sol=0 ticks=221764 tps=100 nb_sec=2217
case_no=167 label=Case6.155 nb_sol=0 ticks=275980 tps=100 nb_sec=2759
case_no=167 label=Case6.155 nb_sol=0 ticks=440845 tps=100 nb_sec=4408
case_no=167 label=Case6.155 nb_sol=0 ticks=318625 tps=100 nb_sec=3186
case_no=167 label=Case6.155 nb_sol=0 ticks=293127 tps=100 nb_sec=2931
case_no=167 label=Case6.155 nb_sol=0 ticks=275539 tps=100 nb_sec=2755
case_no=167 label=Case6.155 nb_sol=0 ticks=333390 tps=100 nb_sec=3333
case_no=167 label=Case6.155 nb_sol=0 ticks=266160 tps=100 nb_sec=2661
case_no=167 label=Case6.155 nb_sol=0 ticks=302669 tps=100 nb_sec=3026
case_no=167 label=Case6.155 nb_sol=0 ticks=317250 tps=100 nb_sec=3172
case_no=167 label=Case6.155 nb_sol=0 ticks=279721 tps=100 nb_sec=2797
case_no=167 label=Case6.155 nb_sol=0 ticks=221659 tps=100 nb_sec=2216
case_no=167 label=Case6.155 nb_sol=0 ticks=312521 tps=100 nb_sec=3125
case_no=167 label=Case6.155 nb_sol=0 ticks=282772 tps=100 nb_sec=2827
case_no=167 label=Case6.155 nb_sol=0 ticks=329682 tps=100 nb_sec=3296
case_no=167 label=Case6.155 nb_sol=0 ticks=321094 tps=100 nb_sec=3210
case_no=167 label=Case6.155 nb_sol=0 ticks=372407 tps=100 nb_sec=3724
case_no=167 label=Case6.155 nb_sol=0 ticks=332973 tps=100 nb_sec=3329
case_no=167 label=Case6.155 nb_sol=0 ticks=339178 tps=100 nb_sec=3391
case_no=167 label=Case6.155 nb_sol=0 ticks=384607 tps=100 nb_sec=3846
case_no=167 label=Case6.155 nb_sol=0 ticks=261909 tps=100 nb_sec=2619
case_no=167 label=Case6.155 nb_sol=0 ticks=252138 tps=100 nb_sec=2521
case_no=167 label=Case6.155 nb_sol=0 ticks=405166 tps=100 nb_sec=4051
case_no=167 label=Case6.155 nb_sol=0 ticks=221619 tps=100 nb_sec=2216
case_no=167 label=Case6.155 nb_sol=0 ticks=267151 tps=100 nb_sec=2671
case_no=167 label=Case6.155 nb_sol=0 ticks=203199 tps=100 nb_sec=2031
case_no=167 label=Case6.155 nb_sol=0 ticks=299463 tps=100 nb_sec=2994
case_no=167 label=Case6.155 nb_sol=0 ticks=281749 tps=100 nb_sec=2817
case_no=167 label=Case6.155 nb_sol=0 ticks=197868 tps=100 nb_sec=1978
case_no=167 label=Case6.155 nb_sol=0 ticks=286108 tps=100 nb_sec=2861
case_no=167 label=Case6.155 nb_sol=0 ticks=243601 tps=100 nb_sec=2436
case_no=167 label=Case6.155 nb_sol=0 ticks=257101 tps=100 nb_sec=2571
case_no=167 label=Case6.155 nb_sol=0 ticks=383897 tps=100 nb_sec=3838
case_no=167 label=Case6.155 nb_sol=0 ticks=364094 tps=100 nb_sec=3640
case_no=167 label=Case6.155 nb_sol=0 ticks=190403 tps=100 nb_sec=1904
case_no=167 label=Case6.155 nb_sol=0 ticks=315420 tps=100 nb_sec=3154
case_no=167 label=Case6.155 nb_sol=0 ticks=147969 tps=100 nb_sec=1479
case_no=167 label=Case6.155 nb_sol=0 ticks=285419 tps=100 nb_sec=2854
case_no=167 label=Case6.155 nb_sol=0 ticks=252535 tps=100 nb_sec=2525
case_no=167 label=Case6.155 nb_sol=0 ticks=322052 tps=100 nb_sec=3220
case_no=167 label=Case6.155 nb_sol=0 ticks=342945 tps=100 nb_sec=3429
case_no=167 label=Case6.155 nb_sol=0 ticks=305238 tps=100 nb_sec=3052
case_no=167 label=Case6.155 nb_sol=0 ticks=314876 tps=100 nb_sec=3148
case_no=167 label=Case6.155 nb_sol=0 ticks=175388 tps=100 nb_sec=1753
case_no=167 label=Case6.155 nb_sol=0 ticks=171923 tps=100 nb_sec=1719
case_no=167 label=Case6.155 nb_sol=0 ticks=160830 tps=100 nb_sec=1608
case_no=167 label=Case6.155 nb_sol=0 ticks=226886 tps=100 nb_sec=2268
case_no=167 label=Case6.155 nb_sol=0 ticks=291271 tps=100 nb_sec=2912
case_no=167 label=Case6.155 nb_sol=0 ticks=397500 tps=100 nb_sec=3975
case_no=167 label=Case6.155 nb_sol=0 ticks=394839 tps=100 nb_sec=3948
case_no=167 label=Case6.155 nb_sol=0 ticks=335203 tps=100 nb_sec=3352
case_no=167 label=Case6.155 nb_sol=0 ticks=418905 tps=100 nb_sec=4189
case_no=167 label=Case6.155 nb_sol=0 ticks=163696 tps=100 nb_sec=1636
case_no=167 label=Case6.155 nb_sol=0 ticks=161039 tps=100 nb_sec=1610
case_no=167 label=Case6.155 nb_sol=0 ticks=156723 tps=100 nb_sec=1567
case_no=167 label=Case6.155 nb_sol=0 ticks=222663 tps=100 nb_sec=2226
case_no=167 label=Case6.155 nb_sol=0 ticks=171542 tps=100 nb_sec=1715
case_no=167 label=Case6.155 nb_sol=0 ticks=539080 tps=100 nb_sec=5390
case_no=167 label=Case6.155 nb_sol=0 ticks=426713 tps=100 nb_sec=4267
case_no=167 label=Case6.155 nb_sol=0 ticks=159161 tps=100 nb_sec=1591
case_no=167 label=Case6.155 nb_sol=0 ticks=397306 tps=100 nb_sec=3973
case_no=167 label=Case6.155 nb_sol=0 ticks=317597 tps=100 nb_sec=3175
case_no=167 label=Case6.155 nb_sol=0 ticks=162835 tps=100 nb_sec=1628
case_no=167 label=Case6.155 nb_sol=0 ticks=412649 tps=100 nb_sec=4126
case_no=167 label=Case6.155 nb_sol=0 ticks=268328 tps=100 nb_sec=2683
case_no=167 label=Case6.155 nb_sol=0 ticks=413824 tps=100 nb_sec=4138
case_no=167 label=Case6.155 nb_sol=0 ticks=367724 tps=100 nb_sec=3677
case_no=167 label=Case6.155 nb_sol=0 ticks=384237 tps=100 nb_sec=3842
case_no=167 label=Case6.155 nb_sol=0 ticks=159853 tps=100 nb_sec=1598
case_no=167 label=Case6.155 nb_sol=0 ticks=161005 tps=100 nb_sec=1610
case_no=167 label=Case6.155 nb_sol=0 ticks=350833 tps=100 nb_sec=3508
case_no=167 label=Case6.155 nb_sol=0 ticks=326947 tps=100 nb_sec=3269
case_no=167 label=Case6.155 nb_sol=0 ticks=514654 tps=100 nb_sec=5146
case_no=167 label=Case6.155 nb_sol=0 ticks=434159 tps=100 nb_sec=4341
case_no=167 label=Case6.155 nb_sol=0 ticks=335648 tps=100 nb_sec=3356
case_no=167 label=Case6.155 nb_sol=0 ticks=268402 tps=100 nb_sec=2684
case_no=167 label=Case6.155 nb_sol=0 ticks=338616 tps=100 nb_sec=3386
case_no=167 label=Case6.155 nb_sol=0 ticks=353815 tps=100 nb_sec=3538
case_no=167 label=Case6.155 nb_sol=0 ticks=364427 tps=100 nb_sec=3644
case_no=167 label=Case6.155 nb_sol=0 ticks=262605 tps=100 nb_sec=2626
case_no=167 label=Case6.155 nb_sol=0 ticks=364799 tps=100 nb_sec=3647
case_no=167 label=Case6.155 nb_sol=0 ticks=273000 tps=100 nb_sec=2730
case_no=167 label=Case6.155 nb_sol=0 ticks=264752 tps=100 nb_sec=2647
case_no=167 label=Case6.155 nb_sol=0 ticks=303231 tps=100 nb_sec=3032
case_no=167 label=Case6.155 nb_sol=0 ticks=314775 tps=100 nb_sec=3147
case_no=167 label=Case6.155 nb_sol=0 ticks=348006 tps=100 nb_sec=3480
case_no=167 label=Case6.155 nb_sol=0 ticks=295419 tps=100 nb_sec=2954
case_no=167 label=Case6.155 nb_sol=0 ticks=321118 tps=100 nb_sec=3211
case_no=167 label=Case6.155 nb_sol=0 ticks=330699 tps=100 nb_sec=3306
case_no=167 label=Case6.155 nb_sol=0 ticks=267485 tps=100 nb_sec=2674
case_no=167 label=Case6.155 nb_sol=0 ticks=330188 tps=100 nb_sec=3301
case_no=167 label=Case6.155 nb_sol=0 ticks=191714 tps=100 nb_sec=1917
case_no=167 label=Case6.155 nb_sol=0 ticks=268054 tps=100 nb_sec=2680
case_no=167 label=Case6.155 nb_sol=0 ticks=211977 tps=100 nb_sec=2119
case_no=167 label=Case6.155 nb_sol=0 ticks=237024 tps=100 nb_sec=2370
case_no=167 label=Case6.155 nb_sol=0 ticks=266708 tps=100 nb_sec=2667
case_no=167 label=Case6.155 nb_sol=0 ticks=259146 tps=100 nb_sec=2591
case_no=167 label=Case6.155 nb_sol=0 ticks=249516 tps=100 nb_sec=2495
case_no=167 label=Case6.155 nb_sol=0 ticks=325658 tps=100 nb_sec=3256
case_no=167 label=Case6.155 nb_sol=0 ticks=364900 tps=100 nb_sec=3649
case_no=167 label=Case6.155 nb_sol=0 ticks=245405 tps=100 nb_sec=2454
case_no=167 label=Case6.155 nb_sol=0 ticks=169151 tps=100 nb_sec=1691
case_no=167 label=Case6.155 nb_sol=0 ticks=244100 tps=100 nb_sec=2441
case_no=167 label=Case6.155 nb_sol=0 ticks=209517 tps=100 nb_sec=2095
case_no=167 label=Case6.155 nb_sol=0 ticks=228970 tps=100 nb_sec=2289
case_no=167 label=Case6.155 nb_sol=0 ticks=179703 tps=100 nb_sec=1797
case_no=167 label=Case6.155 nb_sol=0 ticks=329706 tps=100 nb_sec=3297
case_no=167 label=Case6.155 nb_sol=0 ticks=182523 tps=100 nb_sec=1825
case_no=167 label=Case6.155 nb_sol=0 ticks=355811 tps=100 nb_sec=3558
case_no=167 label=Case6.155 nb_sol=0 ticks=246494 tps=100 nb_sec=2464
case_no=167 label=Case6.155 nb_sol=0 ticks=234958 tps=100 nb_sec=2349
case_no=167 label=Case6.155 nb_sol=0 ticks=318730 tps=100 nb_sec=3187
case_no=167 label=Case6.155 nb_sol=0 ticks=287912 tps=100 nb_sec=2879
case_no=167 label=Case6.155 nb_sol=0 ticks=276079 tps=100 nb_sec=2760
case_no=167 label=Case6.155 nb_sol=0 ticks=248831 tps=100 nb_sec=2488
case_no=167 label=Case6.155 nb_sol=0 ticks=331168 tps=100 nb_sec=3311
case_no=167 label=Case6.155 nb_sol=0 ticks=287994 tps=100 nb_sec=2879
case_no=167 label=Case6.155 nb_sol=0 ticks=239783 tps=100 nb_sec=2397
case_no=167 label=Case6.155 nb_sol=0 ticks=282682 tps=100 nb_sec=2826
case_no=167 label=Case6.155 nb_sol=0 ticks=304640 tps=100 nb_sec=3046
case_no=167 label=Case6.155 nb_sol=0 ticks=263091 tps=100 nb_sec=2630
case_no=167 label=Case6.155 nb_sol=0 ticks=242175 tps=100 nb_sec=2421
case_no=167 label=Case6.155 nb_sol=0 ticks=282345 tps=100 nb_sec=2823
case_no=167 label=Case6.155 nb_sol=0 ticks=329254 tps=100 nb_sec=3292
case_no=167 label=Case6.155 nb_sol=0 ticks=306825 tps=100 nb_sec=3068
case_no=167 label=Case6.155 nb_sol=0 ticks=327504 tps=100 nb_sec=3275
case_no=167 label=Case6.155 nb_sol=0 ticks=205996 tps=100 nb_sec=2059
case_no=167 label=Case6.155 nb_sol=0 ticks=313020 tps=100 nb_sec=3130
case_no=167 label=Case6.155 nb_sol=0 ticks=321751 tps=100 nb_sec=3217
case_no=167 label=Case6.155 nb_sol=0 ticks=273377 tps=100 nb_sec=2733
case_no=167 label=Case6.155 nb_sol=0 ticks=239312 tps=100 nb_sec=2393
case_no=167 label=Case6.155 nb_sol=0 ticks=232626 tps=100 nb_sec=2326
case_no=167 label=Case6.155 nb_sol=0 ticks=279583 tps=100 nb_sec=2795
case_no=167 label=Case6.155 nb_sol=0 ticks=297378 tps=100 nb_sec=2973
case_no=167 label=Case6.155 nb_sol=0 ticks=238744 tps=100 nb_sec=2387
case_no=167 label=Case6.155 nb_sol=0 ticks=325630 tps=100 nb_sec=3256
case_no=167 label=Case6.155 nb_sol=0 ticks=318096 tps=100 nb_sec=3180
case_no=167 label=Case6.155 nb_sol=0 ticks=333021 tps=100 nb_sec=3330
case_no=167 label=Case6.155 nb_sol=0 ticks=316100 tps=100 nb_sec=3161
case_no=167 label=Case6.155 nb_sol=0 ticks=394224 tps=100 nb_sec=3942
case_no=167 label=Case6.155 nb_sol=0 ticks=407844 tps=100 nb_sec=4078
case_no=167 label=Case6.155 nb_sol=0 ticks=614177 tps=100 nb_sec=6141
case_no=167 label=Case6.155 nb_sol=0 ticks=360216 tps=100 nb_sec=3602
case_no=167 label=Case6.155 nb_sol=0 ticks=385028 tps=100 nb_sec=3850
case_no=167 label=Case6.155 nb_sol=0 ticks=417257 tps=100 nb_sec=4172
case_no=167 label=Case6.155 nb_sol=0 ticks=480377 tps=100 nb_sec=4803
case_no=167 label=Case6.155 nb_sol=0 ticks=426002 tps=100 nb_sec=4260
case_no=167 label=Case6.155 nb_sol=0 ticks=278045 tps=100 nb_sec=2780
case_no=167 label=Case6.155 nb_sol=0 ticks=428968 tps=100 nb_sec=4289
case_no=167 label=Case6.155 nb_sol=0 ticks=491773 tps=100 nb_sec=4917
case_no=167 label=Case6.155 nb_sol=0 ticks=344944 tps=100 nb_sec=3449
case_no=167 label=Case6.155 nb_sol=0 ticks=510021 tps=100 nb_sec=5100
case_no=167 label=Case6.155 nb_sol=0 ticks=453935 tps=100 nb_sec=4539
case_no=167 label=Case6.155 nb_sol=0 ticks=282128 tps=100 nb_sec=2821
case_no=167 label=Case6.155 nb_sol=0 ticks=278658 tps=100 nb_sec=2786
case_no=167 label=Case6.155 nb_sol=0 ticks=228154 tps=100 nb_sec=2281
case_no=167 label=Case6.155 nb_sol=0 ticks=213265 tps=100 nb_sec=2132
case_no=167 label=Case6.155 nb_sol=0 ticks=245117 tps=100 nb_sec=2451
case_no=167 label=Case6.155 nb_sol=0 ticks=249735 tps=100 nb_sec=2497
case_no=167 label=Case6.155 nb_sol=0 ticks=250754 tps=100 nb_sec=2507
case_no=167 label=Case6.155 nb_sol=0 ticks=326618 tps=100 nb_sec=3266
case_no=167 label=Case6.155 nb_sol=0 ticks=280618 tps=100 nb_sec=2806
case_no=167 label=Case6.155 nb_sol=0 ticks=368988 tps=100 nb_sec=3689
case_no=167 label=Case6.155 nb_sol=0 ticks=351866 tps=100 nb_sec=3518
case_no=167 label=Case6.155 nb_sol=0 ticks=259071 tps=100 nb_sec=2590
case_no=167 label=Case6.155 nb_sol=0 ticks=275926 tps=100 nb_sec=2759
case_no=167 label=Case6.155 nb_sol=0 ticks=208995 tps=100 nb_sec=2089
case_no=167 label=Case6.155 nb_sol=0 ticks=239212 tps=100 nb_sec=2392
case_no=167 label=Case6.155 nb_sol=0 ticks=237358 tps=100 nb_sec=2373
case_no=167 label=Case6.155 nb_sol=0 ticks=229084 tps=100 nb_sec=2290
case_no=167 label=Case6.155 nb_sol=0 ticks=290008 tps=100 nb_sec=2900
case_no=167 label=Case6.155 nb_sol=0 ticks=324899 tps=100 nb_sec=3248
case_no=167 label=Case6.155 nb_sol=0 ticks=339867 tps=100 nb_sec=3398
case_no=167 label=Case6.155 nb_sol=0 ticks=295715 tps=100 nb_sec=2957
case_no=167 label=Case6.155 nb_sol=0 ticks=249490 tps=100 nb_sec=2494
case_no=167 label=Case6.155 nb_sol=0 ticks=494133 tps=100 nb_sec=4941
case_no=167 label=Case6.155 nb_sol=0 ticks=340003 tps=100 nb_sec=3400
case_no=167 label=Case6.155 nb_sol=0 ticks=245017 tps=100 nb_sec=2450
case_no=167 label=Case6.155 nb_sol=0 ticks=230575 tps=100 nb_sec=2305
case_no=167 label=Case6.155 nb_sol=0 ticks=188694 tps=100 nb_sec=1886
case_no=167 label=Case6.155 nb_sol=0 ticks=280394 tps=100 nb_sec=2803
case_no=167 label=Case6.155 nb_sol=0 ticks=246388 tps=100 nb_sec=2463
case_no=167 label=Case6.155 nb_sol=0 ticks=188031 tps=100 nb_sec=1880
case_no=167 label=Case6.155 nb_sol=0 ticks=284923 tps=100 nb_sec=2849
case_no=167 label=Case6.155 nb_sol=0 ticks=306810 tps=100 nb_sec=3068
case_no=167 label=Case6.155 nb_sol=0 ticks=343595 tps=100 nb_sec=3435
case_no=167 label=Case6.155 nb_sol=0 ticks=353087 tps=100 nb_sec=3530
case_no=167 label=Case6.155 nb_sol=0 ticks=336201 tps=100 nb_sec=3362
case_no=167 label=Case6.155 nb_sol=0 ticks=322139 tps=100 nb_sec=3221
case_no=167 label=Case6.155 nb_sol=0 ticks=341616 tps=100 nb_sec=3416
case_no=167 label=Case6.155 nb_sol=0 ticks=319470 tps=100 nb_sec=3194
case_no=167 label=Case6.155 nb_sol=0 ticks=278981 tps=100 nb_sec=2789
case_no=167 label=Case6.155 nb_sol=0 ticks=323545 tps=100 nb_sec=3235
case_no=167 label=Case6.155 nb_sol=0 ticks=327323 tps=100 nb_sec=3273
case_no=167 label=Case6.155 nb_sol=0 ticks=316370 tps=100 nb_sec=3163
case_no=167 label=Case6.155 nb_sol=0 ticks=315808 tps=100 nb_sec=3158
case_no=167 label=Case6.155 nb_sol=0 ticks=358281 tps=100 nb_sec=3582
case_no=167 label=Case6.155 nb_sol=0 ticks=238377 tps=100 nb_sec=2383
case_no=167 label=Case6.155 nb_sol=0 ticks=277041 tps=100 nb_sec=2770
case_no=167 label=Case6.155 nb_sol=0 ticks=228839 tps=100 nb_sec=2288
case_no=167 label=Case6.155 nb_sol=0 ticks=265898 tps=100 nb_sec=2658
case_no=167 label=Case6.155 nb_sol=0 ticks=310039 tps=100 nb_sec=3100
case_no=167 label=Case6.155 nb_sol=0 ticks=265040 tps=100 nb_sec=2650
case_no=167 label=Case6.155 nb_sol=0 ticks=335394 tps=100 nb_sec=3353
case_no=167 label=Case6.155 nb_sol=0 ticks=338543 tps=100 nb_sec=3385
case_no=167 label=Case6.155 nb_sol=0 ticks=361558 tps=100 nb_sec=3615
case_no=167 label=Case6.155 nb_sol=0 ticks=230589 tps=100 nb_sec=2305
case_no=167 label=Case6.155 nb_sol=0 ticks=255523 tps=100 nb_sec=2555
case_no=167 label=Case6.155 nb_sol=0 ticks=365091 tps=100 nb_sec=3650
case_no=167 label=Case6.155 nb_sol=0 ticks=386754 tps=100 nb_sec=3867
case_no=167 label=Case6.155 nb_sol=0 ticks=363055 tps=100 nb_sec=3630
case_no=167 label=Case6.155 nb_sol=0 ticks=288140 tps=100 nb_sec=2881
case_no=167 label=Case6.155 nb_sol=0 ticks=457496 tps=100 nb_sec=4574
case_no=167 label=Case6.155 nb_sol=0 ticks=315607 tps=100 nb_sec=3156
case_no=167 label=Case6.155 nb_sol=0 ticks=384571 tps=100 nb_sec=3845
case_no=167 label=Case6.155 nb_sol=0 ticks=343702 tps=100 nb_sec=3437
case_no=167 label=Case6.155 nb_sol=0 ticks=241729 tps=100 nb_sec=2417
case_no=167 label=Case6.155 nb_sol=0 ticks=214548 tps=100 nb_sec=2145
case_no=167 label=Case6.155 nb_sol=0 ticks=393466 tps=100 nb_sec=3934
case_no=167 label=Case6.155 nb_sol=0 ticks=296556 tps=100 nb_sec=2965
case_no=167 label=Case6.155 nb_sol=0 ticks=324213 tps=100 nb_sec=3242
case_no=167 label=Case6.155 nb_sol=0 ticks=225231 tps=100 nb_sec=2252
case_no=167 label=Case6.155 nb_sol=0 ticks=226698 tps=100 nb_sec=2266
case_no=167 label=Case6.155 nb_sol=0 ticks=342909 tps=100 nb_sec=3429
case_no=167 label=Case6.155 nb_sol=0 ticks=331683 tps=100 nb_sec=3316
case_no=167 label=Case6.155 nb_sol=0 ticks=267544 tps=100 nb_sec=2675
case_no=167 label=Case6.155 nb_sol=0 ticks=216880 tps=100 nb_sec=2168
case_no=167 label=Case6.155 nb_sol=0 ticks=228735 tps=100 nb_sec=2287
case_no=167 label=Case6.155 nb_sol=0 ticks=306124 tps=100 nb_sec=3061
case_no=167 label=Case6.155 nb_sol=0 ticks=240010 tps=100 nb_sec=2400
case_no=167 label=Case6.155 nb_sol=0 ticks=315390 tps=100 nb_sec=3153
case_no=167 label=Case6.155 nb_sol=0 ticks=274680 tps=100 nb_sec=2746
case_no=167 label=Case6.155 nb_sol=0 ticks=358159 tps=100 nb_sec=3581
case_no=167 label=Case6.155 nb_sol=0 ticks=298028 tps=100 nb_sec=2980
case_no=167 label=Case6.155 nb_sol=0 ticks=241383 tps=100 nb_sec=2413
case_no=167 label=Case6.155 nb_sol=0 ticks=305472 tps=100 nb_sec=3054
case_no=167 label=Case6.155 nb_sol=0 ticks=287796 tps=100 nb_sec=2877
case_no=167 label=Case6.155 nb_sol=0 ticks=312237 tps=100 nb_sec=3122
case_no=167 label=Case6.155 nb_sol=0 ticks=365758 tps=100 nb_sec=3657
case_no=167 label=Case6.155 nb_sol=0 ticks=345813 tps=100 nb_sec=3458
case_no=167 label=Case6.155 nb_sol=0 ticks=241890 tps=100 nb_sec=2418
case_no=167 label=Case6.155 nb_sol=0 ticks=239467 tps=100 nb_sec=2394
case_no=167 label=Case6.155 nb_sol=0 ticks=230952 tps=100 nb_sec=2309
case_no=167 label=Case6.155 nb_sol=0 ticks=263617 tps=100 nb_sec=2636
case_no=167 label=Case6.155 nb_sol=0 ticks=271653 tps=100 nb_sec=2716
case_no=167 label=Case6.155 nb_sol=0 ticks=208780 tps=100 nb_sec=2087
case_no=167 label=Case6.155 nb_sol=0 ticks=313833 tps=100 nb_sec=3138
case_no=167 label=Case6.155 nb_sol=0 ticks=371440 tps=100 nb_sec=3714
case_no=167 label=Case6.155 nb_sol=0 ticks=346641 tps=100 nb_sec=3466
case_no=167 label=Case6.155 nb_sol=0 ticks=248961 tps=100 nb_sec=2489
case_no=167 label=Case6.155 nb_sol=0 ticks=184589 tps=100 nb_sec=1845
case_no=167 label=Case6.155 nb_sol=0 ticks=375423 tps=100 nb_sec=3754
case_no=167 label=Case6.155 nb_sol=0 ticks=312271 tps=100 nb_sec=3122
case_no=167 label=Case6.155 nb_sol=0 ticks=262014 tps=100 nb_sec=2620
case_no=167 label=Case6.155 nb_sol=0 ticks=326260 tps=100 nb_sec=3262
case_no=167 label=Case6.155 nb_sol=0 ticks=249204 tps=100 nb_sec=2492
case_no=167 label=Case6.155 nb_sol=0 ticks=310705 tps=100 nb_sec=3107
case_no=167 label=Case6.155 nb_sol=0 ticks=252874 tps=100 nb_sec=2528
case_no=167 label=Case6.155 nb_sol=0 ticks=296578 tps=100 nb_sec=2965
case_no=167 label=Case6.155 nb_sol=0 ticks=353575 tps=100 nb_sec=3535
case_no=167 label=Case6.155 nb_sol=0 ticks=231687 tps=100 nb_sec=2316
case_no=167 label=Case6.155 nb_sol=0 ticks=284279 tps=100 nb_sec=2842
case_no=167 label=Case6.155 nb_sol=0 ticks=316919 tps=100 nb_sec=3169
case_no=167 label=Case6.155 nb_sol=0 ticks=274612 tps=100 nb_sec=2746
case_no=167 label=Case6.155 nb_sol=0 ticks=269563 tps=100 nb_sec=2695
case_no=167 label=Case6.155 nb_sol=0 ticks=226718 tps=100 nb_sec=2267
case_no=167 label=Case6.155 nb_sol=0 ticks=327722 tps=100 nb_sec=3277
case_no=167 label=Case6.155 nb_sol=0 ticks=262080 tps=100 nb_sec=2620
case_no=167 label=Case6.155 nb_sol=0 ticks=551204 tps=100 nb_sec=5512
case_no=167 label=Case6.155 nb_sol=0 ticks=382886 tps=100 nb_sec=3828
case_no=167 label=Case6.155 nb_sol=0 ticks=278512 tps=100 nb_sec=2785
case_no=167 label=Case6.155 nb_sol=0 ticks=232689 tps=100 nb_sec=2326
case_no=167 label=Case6.155 nb_sol=0 ticks=246235 tps=100 nb_sec=2462
case_no=167 label=Case6.155 nb_sol=0 ticks=431021 tps=100 nb_sec=4310
case_no=167 label=Case6.155 nb_sol=0 ticks=325224 tps=100 nb_sec=3252
case_no=167 label=Case6.155 nb_sol=0 ticks=347037 tps=100 nb_sec=3470
case_no=167 label=Case6.155 nb_sol=0 ticks=324929 tps=100 nb_sec=3249
case_no=167 label=Case6.155 nb_sol=0 ticks=265212 tps=100 nb_sec=2652
case_no=167 label=Case6.155 nb_sol=0 ticks=285922 tps=100 nb_sec=2859
case_no=167 label=Case6.155 nb_sol=0 ticks=267306 tps=100 nb_sec=2673
case_no=167 label=Case6.155 nb_sol=0 ticks=229481 tps=100 nb_sec=2294
case_no=167 label=Case6.155 nb_sol=0 ticks=253064 tps=100 nb_sec=2530
case_no=167 label=Case6.155 nb_sol=0 ticks=290915 tps=100 nb_sec=2909
case_no=167 label=Case6.155 nb_sol=0 ticks=364162 tps=100 nb_sec=3641
case_no=167 label=Case6.155 nb_sol=0 ticks=361646 tps=100 nb_sec=3616
case_no=167 label=Case6.155 nb_sol=0 ticks=373802 tps=100 nb_sec=3738
case_no=167 label=Case6.155 nb_sol=0 ticks=290488 tps=100 nb_sec=2904
case_no=167 label=Case6.155 nb_sol=0 ticks=431077 tps=100 nb_sec=4310
case_no=167 label=Case6.155 nb_sol=0 ticks=292531 tps=100 nb_sec=2925
case_no=167 label=Case6.155 nb_sol=0 ticks=324409 tps=100 nb_sec=3244
case_no=167 label=Case6.155 nb_sol=0 ticks=277465 tps=100 nb_sec=2774
case_no=167 label=Case6.155 nb_sol=0 ticks=203457 tps=100 nb_sec=2034
case_no=167 label=Case6.155 nb_sol=0 ticks=417183 tps=100 nb_sec=4171
case_no=167 label=Case6.155 nb_sol=0 ticks=324026 tps=100 nb_sec=3240
case_no=167 label=Case6.155 nb_sol=0 ticks=221733 tps=100 nb_sec=2217
case_no=167 label=Case6.155 nb_sol=0 ticks=280829 tps=100 nb_sec=2808
case_no=167 label=Case6.155 nb_sol=0 ticks=376781 tps=100 nb_sec=3767
case_no=167 label=Case6.155 nb_sol=0 ticks=320633 tps=100 nb_sec=3206
case_no=167 label=Case6.155 nb_sol=0 ticks=302726 tps=100 nb_sec=3027
case_no=167 label=Case6.155 nb_sol=0 ticks=229056 tps=100 nb_sec=2290
case_no=167 label=Case6.155 nb_sol=0 ticks=254642 tps=100 nb_sec=2546
case_no=167 label=Case6.155 nb_sol=0 ticks=198880 tps=100 nb_sec=1988
case_no=167 label=Case6.155 nb_sol=0 ticks=312658 tps=100 nb_sec=3126
case_no=167 label=Case6.155 nb_sol=0 ticks=306402 tps=100 nb_sec=3064
case_no=167 label=Case6.155 nb_sol=0 ticks=400813 tps=100 nb_sec=4008
case_no=167 label=Case6.155 nb_sol=0 ticks=266991 tps=100 nb_sec=2669
case_no=167 label=Case6.155 nb_sol=0 ticks=261424 tps=100 nb_sec=2614
case_no=167 label=Case6.155 nb_sol=0 ticks=284913 tps=100 nb_sec=2849
case_no=167 label=Case6.155 nb_sol=0 ticks=319382 tps=100 nb_sec=3193
case_no=167 label=Case6.155 nb_sol=0 ticks=229163 tps=100 nb_sec=2291
case_no=167 label=Case6.155 nb_sol=0 ticks=254366 tps=100 nb_sec=2543
case_no=167 label=Case6.155 nb_sol=0 ticks=271754 tps=100 nb_sec=2717
case_no=167 label=Case6.155 nb_sol=0 ticks=208074 tps=100 nb_sec=2080
case_no=167 label=Case6.155 nb_sol=0 ticks=305339 tps=100 nb_sec=3053
case_no=167 label=Case6.155 nb_sol=0 ticks=190634 tps=100 nb_sec=1906
case_no=167 label=Case6.155 nb_sol=0 ticks=196577 tps=100 nb_sec=1965
case_no=167 label=Case6.155 nb_sol=0 ticks=223470 tps=100 nb_sec=2234
case_no=167 label=Case6.155 nb_sol=0 ticks=240816 tps=100 nb_sec=2408
case_no=167 label=Case6.155 nb_sol=0 ticks=204700 tps=100 nb_sec=2047
case_no=167 label=Case6.155 nb_sol=0 ticks=226321 tps=100 nb_sec=2263
case_no=167 label=Case6.155 nb_sol=0 ticks=283758 tps=100 nb_sec=2837
case_no=167 label=Case6.155 nb_sol=0 ticks=275299 tps=100 nb_sec=2752
case_no=167 label=Case6.155 nb_sol=0 ticks=236530 tps=100 nb_sec=2365
case_no=167 label=Case6.155 nb_sol=0 ticks=310027 tps=100 nb_sec=3100
case_no=167 label=Case6.155 nb_sol=0 ticks=259928 tps=100 nb_sec=2599
case_no=167 label=Case6.155 nb_sol=0 ticks=268521 tps=100 nb_sec=2685
case_no=167 label=Case6.155 nb_sol=0 ticks=376362 tps=100 nb_sec=3763
case_no=167 label=Case6.155 nb_sol=0 ticks=414864 tps=100 nb_sec=4148
case_no=167 label=Case6.155 nb_sol=0 ticks=401819 tps=100 nb_sec=4018
case_no=167 label=Case6.155 nb_sol=0 ticks=286440 tps=100 nb_sec=2864
case_no=167 label=Case6.155 nb_sol=0 ticks=324262 tps=100 nb_sec=3242
case_no=167 label=Case6.155 nb_sol=0 ticks=372712 tps=100 nb_sec=3727
case_no=167 label=Case6.155 nb_sol=0 ticks=267773 tps=100 nb_sec=2677
case_no=167 label=Case6.155 nb_sol=0 ticks=250384 tps=100 nb_sec=2503
case_no=167 label=Case6.155 nb_sol=0 ticks=292083 tps=100 nb_sec=2920
case_no=167 label=Case6.155 nb_sol=0 ticks=342374 tps=100 nb_sec=3423
case_no=167 label=Case6.155 nb_sol=0 ticks=279806 tps=100 nb_sec=2798
case_no=167 label=Case6.155 nb_sol=0 ticks=269231 tps=100 nb_sec=2692
case_no=167 label=Case6.155 nb_sol=0 ticks=381593 tps=100 nb_sec=3815
case_no=167 label=Case6.155 nb_sol=0 ticks=327885 tps=100 nb_sec=3278
case_no=167 label=Case6.155 nb_sol=0 ticks=262471 tps=100 nb_sec=2624
case_no=167 label=Case6.155 nb_sol=0 ticks=329365 tps=100 nb_sec=3293
case_no=167 label=Case6.155 nb_sol=0 ticks=269241 tps=100 nb_sec=2692
case_no=167 label=Case6.155 nb_sol=0 ticks=319432 tps=100 nb_sec=3194
case_no=167 label=Case6.155 nb_sol=0 ticks=342275 tps=100 nb_sec=3422
case_no=167 label=Case6.155 nb_sol=0 ticks=248717 tps=100 nb_sec=2487
case_no=167 label=Case6.155 nb_sol=0 ticks=260304 tps=100 nb_sec=2603
case_no=167 label=Case6.155 nb_sol=0 ticks=264712 tps=100 nb_sec=2647
case_no=167 label=Case6.155 nb_sol=0 ticks=344982 tps=100 nb_sec=3449
case_no=167 label=Case6.155 nb_sol=0 ticks=260817 tps=100 nb_sec=2608
Nb_sol=0
Nb_sec=2940872
34-0:54:32 or 816 hours
missing cases:
none