argc=5
-M 256
file2=30_select_Case6.102_starter_15_
checking files mod 256 from 0 to 255
case_no=114 label=Case6.102 nb_sol=0 ticks=378766 tps=100 nb_sec=3787
case_no=114 label=Case6.102 nb_sol=0 ticks=227960 tps=100 nb_sec=2279
case_no=114 label=Case6.102 nb_sol=0 ticks=250176 tps=100 nb_sec=2501
case_no=114 label=Case6.102 nb_sol=0 ticks=288241 tps=100 nb_sec=2882
case_no=114 label=Case6.102 nb_sol=0 ticks=326055 tps=100 nb_sec=3260
case_no=114 label=Case6.102 nb_sol=0 ticks=212451 tps=100 nb_sec=2124
case_no=114 label=Case6.102 nb_sol=0 ticks=349132 tps=100 nb_sec=3491
case_no=114 label=Case6.102 nb_sol=0 ticks=372723 tps=100 nb_sec=3727
case_no=114 label=Case6.102 nb_sol=0 ticks=431150 tps=100 nb_sec=4311
case_no=114 label=Case6.102 nb_sol=0 ticks=250794 tps=100 nb_sec=2507
case_no=114 label=Case6.102 nb_sol=0 ticks=401362 tps=100 nb_sec=4013
case_no=114 label=Case6.102 nb_sol=0 ticks=296986 tps=100 nb_sec=2969
case_no=114 label=Case6.102 nb_sol=0 ticks=423212 tps=100 nb_sec=4232
case_no=114 label=Case6.102 nb_sol=0 ticks=266408 tps=100 nb_sec=2664
case_no=114 label=Case6.102 nb_sol=0 ticks=300797 tps=100 nb_sec=3007
case_no=114 label=Case6.102 nb_sol=0 ticks=239383 tps=100 nb_sec=2393
case_no=114 label=Case6.102 nb_sol=0 ticks=375117 tps=100 nb_sec=3751
case_no=114 label=Case6.102 nb_sol=0 ticks=310318 tps=100 nb_sec=3103
case_no=114 label=Case6.102 nb_sol=0 ticks=380557 tps=100 nb_sec=3805
case_no=114 label=Case6.102 nb_sol=0 ticks=292046 tps=100 nb_sec=2920
case_no=114 label=Case6.102 nb_sol=0 ticks=300947 tps=100 nb_sec=3009
case_no=114 label=Case6.102 nb_sol=0 ticks=200144 tps=100 nb_sec=2001
case_no=114 label=Case6.102 nb_sol=0 ticks=244864 tps=100 nb_sec=2448
case_no=114 label=Case6.102 nb_sol=0 ticks=482827 tps=100 nb_sec=4828
case_no=114 label=Case6.102 nb_sol=0 ticks=372249 tps=100 nb_sec=3722
case_no=114 label=Case6.102 nb_sol=0 ticks=263777 tps=100 nb_sec=2637
case_no=114 label=Case6.102 nb_sol=0 ticks=548397 tps=100 nb_sec=5483
case_no=114 label=Case6.102 nb_sol=0 ticks=441489 tps=100 nb_sec=4414
case_no=114 label=Case6.102 nb_sol=0 ticks=459814 tps=100 nb_sec=4598
case_no=114 label=Case6.102 nb_sol=0 ticks=306390 tps=100 nb_sec=3063
case_no=114 label=Case6.102 nb_sol=0 ticks=425353 tps=100 nb_sec=4253
case_no=114 label=Case6.102 nb_sol=0 ticks=241528 tps=100 nb_sec=2415
case_no=114 label=Case6.102 nb_sol=0 ticks=460027 tps=100 nb_sec=4600
case_no=114 label=Case6.102 nb_sol=0 ticks=296483 tps=100 nb_sec=2964
case_no=114 label=Case6.102 nb_sol=0 ticks=288566 tps=100 nb_sec=2885
case_no=114 label=Case6.102 nb_sol=0 ticks=440049 tps=100 nb_sec=4400
case_no=114 label=Case6.102 nb_sol=0 ticks=402547 tps=100 nb_sec=4025
case_no=114 label=Case6.102 nb_sol=0 ticks=261850 tps=100 nb_sec=2618
case_no=114 label=Case6.102 nb_sol=0 ticks=437456 tps=100 nb_sec=4374
case_no=114 label=Case6.102 nb_sol=0 ticks=371794 tps=100 nb_sec=3717
case_no=114 label=Case6.102 nb_sol=0 ticks=372877 tps=100 nb_sec=3728
case_no=114 label=Case6.102 nb_sol=0 ticks=371292 tps=100 nb_sec=3712
case_no=114 label=Case6.102 nb_sol=0 ticks=352246 tps=100 nb_sec=3522
case_no=114 label=Case6.102 nb_sol=0 ticks=357474 tps=100 nb_sec=3574
case_no=114 label=Case6.102 nb_sol=0 ticks=344468 tps=100 nb_sec=3444
case_no=114 label=Case6.102 nb_sol=0 ticks=191404 tps=100 nb_sec=1914
case_no=114 label=Case6.102 nb_sol=0 ticks=402415 tps=100 nb_sec=4024
case_no=114 label=Case6.102 nb_sol=0 ticks=431215 tps=100 nb_sec=4312
case_no=114 label=Case6.102 nb_sol=0 ticks=421281 tps=100 nb_sec=4212
case_no=114 label=Case6.102 nb_sol=0 ticks=351959 tps=100 nb_sec=3519
case_no=114 label=Case6.102 nb_sol=0 ticks=330159 tps=100 nb_sec=3301
case_no=114 label=Case6.102 nb_sol=0 ticks=407888 tps=100 nb_sec=4078
case_no=114 label=Case6.102 nb_sol=0 ticks=317441 tps=100 nb_sec=3174
case_no=114 label=Case6.102 nb_sol=0 ticks=266687 tps=100 nb_sec=2666
case_no=114 label=Case6.102 nb_sol=0 ticks=352907 tps=100 nb_sec=3529
case_no=114 label=Case6.102 nb_sol=0 ticks=435861 tps=100 nb_sec=4358
case_no=114 label=Case6.102 nb_sol=0 ticks=368225 tps=100 nb_sec=3682
case_no=114 label=Case6.102 nb_sol=0 ticks=244821 tps=100 nb_sec=2448
case_no=114 label=Case6.102 nb_sol=0 ticks=360112 tps=100 nb_sec=3601
case_no=114 label=Case6.102 nb_sol=0 ticks=283584 tps=100 nb_sec=2835
case_no=114 label=Case6.102 nb_sol=0 ticks=359584 tps=100 nb_sec=3595
case_no=114 label=Case6.102 nb_sol=0 ticks=375108 tps=100 nb_sec=3751
case_no=114 label=Case6.102 nb_sol=0 ticks=261778 tps=100 nb_sec=2617
case_no=114 label=Case6.102 nb_sol=0 ticks=254948 tps=100 nb_sec=2549
case_no=114 label=Case6.102 nb_sol=0 ticks=403934 tps=100 nb_sec=4039
case_no=114 label=Case6.102 nb_sol=0 ticks=246851 tps=100 nb_sec=2468
case_no=114 label=Case6.102 nb_sol=0 ticks=261402 tps=100 nb_sec=2614
case_no=114 label=Case6.102 nb_sol=0 ticks=287370 tps=100 nb_sec=2873
case_no=114 label=Case6.102 nb_sol=0 ticks=290808 tps=100 nb_sec=2908
case_no=114 label=Case6.102 nb_sol=0 ticks=244531 tps=100 nb_sec=2445
case_no=114 label=Case6.102 nb_sol=0 ticks=158656 tps=100 nb_sec=1586
case_no=114 label=Case6.102 nb_sol=0 ticks=270927 tps=100 nb_sec=2709
case_no=114 label=Case6.102 nb_sol=0 ticks=295771 tps=100 nb_sec=2957
case_no=114 label=Case6.102 nb_sol=0 ticks=179269 tps=100 nb_sec=1792
case_no=114 label=Case6.102 nb_sol=0 ticks=289353 tps=100 nb_sec=2893
case_no=114 label=Case6.102 nb_sol=0 ticks=353802 tps=100 nb_sec=3538
case_no=114 label=Case6.102 nb_sol=0 ticks=394602 tps=100 nb_sec=3946
case_no=114 label=Case6.102 nb_sol=0 ticks=290176 tps=100 nb_sec=2901
case_no=114 label=Case6.102 nb_sol=0 ticks=338699 tps=100 nb_sec=3386
case_no=114 label=Case6.102 nb_sol=0 ticks=296649 tps=100 nb_sec=2966
case_no=114 label=Case6.102 nb_sol=0 ticks=347593 tps=100 nb_sec=3475
case_no=114 label=Case6.102 nb_sol=0 ticks=266869 tps=100 nb_sec=2668
case_no=114 label=Case6.102 nb_sol=0 ticks=282532 tps=100 nb_sec=2825
case_no=114 label=Case6.102 nb_sol=0 ticks=161940 tps=100 nb_sec=1619
case_no=114 label=Case6.102 nb_sol=0 ticks=334344 tps=100 nb_sec=3343
case_no=114 label=Case6.102 nb_sol=0 ticks=463861 tps=100 nb_sec=4638
case_no=114 label=Case6.102 nb_sol=0 ticks=378783 tps=100 nb_sec=3787
case_no=114 label=Case6.102 nb_sol=0 ticks=310619 tps=100 nb_sec=3106
case_no=114 label=Case6.102 nb_sol=0 ticks=398253 tps=100 nb_sec=3982
case_no=114 label=Case6.102 nb_sol=0 ticks=290077 tps=100 nb_sec=2900
case_no=114 label=Case6.102 nb_sol=0 ticks=385016 tps=100 nb_sec=3850
case_no=114 label=Case6.102 nb_sol=0 ticks=412157 tps=100 nb_sec=4121
case_no=114 label=Case6.102 nb_sol=0 ticks=454408 tps=100 nb_sec=4544
case_no=114 label=Case6.102 nb_sol=0 ticks=283833 tps=100 nb_sec=2838
case_no=114 label=Case6.102 nb_sol=0 ticks=348207 tps=100 nb_sec=3482
case_no=114 label=Case6.102 nb_sol=0 ticks=310687 tps=100 nb_sec=3106
case_no=114 label=Case6.102 nb_sol=0 ticks=261469 tps=100 nb_sec=2614
case_no=114 label=Case6.102 nb_sol=0 ticks=238857 tps=100 nb_sec=2388
case_no=114 label=Case6.102 nb_sol=0 ticks=259972 tps=100 nb_sec=2599
case_no=114 label=Case6.102 nb_sol=0 ticks=101059 tps=100 nb_sec=1010
case_no=114 label=Case6.102 nb_sol=0 ticks=302440 tps=100 nb_sec=3024
case_no=114 label=Case6.102 nb_sol=0 ticks=207740 tps=100 nb_sec=2077
case_no=114 label=Case6.102 nb_sol=0 ticks=418714 tps=100 nb_sec=4187
case_no=114 label=Case6.102 nb_sol=0 ticks=200103 tps=100 nb_sec=2001
case_no=114 label=Case6.102 nb_sol=0 ticks=384544 tps=100 nb_sec=3845
case_no=114 label=Case6.102 nb_sol=0 ticks=212840 tps=100 nb_sec=2128
case_no=114 label=Case6.102 nb_sol=0 ticks=224719 tps=100 nb_sec=2247
case_no=114 label=Case6.102 nb_sol=0 ticks=256250 tps=100 nb_sec=2562
case_no=114 label=Case6.102 nb_sol=0 ticks=289152 tps=100 nb_sec=2891
case_no=114 label=Case6.102 nb_sol=0 ticks=182298 tps=100 nb_sec=1822
case_no=114 label=Case6.102 nb_sol=0 ticks=277877 tps=100 nb_sec=2778
case_no=114 label=Case6.102 nb_sol=0 ticks=198497 tps=100 nb_sec=1984
case_no=114 label=Case6.102 nb_sol=0 ticks=357054 tps=100 nb_sec=3570
case_no=114 label=Case6.102 nb_sol=0 ticks=184049 tps=100 nb_sec=1840
case_no=114 label=Case6.102 nb_sol=0 ticks=331965 tps=100 nb_sec=3319
case_no=114 label=Case6.102 nb_sol=0 ticks=219510 tps=100 nb_sec=2195
case_no=114 label=Case6.102 nb_sol=0 ticks=302289 tps=100 nb_sec=3022
case_no=114 label=Case6.102 nb_sol=0 ticks=132358 tps=100 nb_sec=1323
case_no=114 label=Case6.102 nb_sol=0 ticks=309408 tps=100 nb_sec=3094
case_no=114 label=Case6.102 nb_sol=0 ticks=162300 tps=100 nb_sec=1623
case_no=114 label=Case6.102 nb_sol=0 ticks=358998 tps=100 nb_sec=3589
case_no=114 label=Case6.102 nb_sol=0 ticks=206415 tps=100 nb_sec=2064
case_no=114 label=Case6.102 nb_sol=0 ticks=354754 tps=100 nb_sec=3547
case_no=114 label=Case6.102 nb_sol=0 ticks=331513 tps=100 nb_sec=3315
case_no=114 label=Case6.102 nb_sol=0 ticks=265468 tps=100 nb_sec=2654
case_no=114 label=Case6.102 nb_sol=0 ticks=281689 tps=100 nb_sec=2816
case_no=114 label=Case6.102 nb_sol=0 ticks=254907 tps=100 nb_sec=2549
case_no=114 label=Case6.102 nb_sol=0 ticks=285036 tps=100 nb_sec=2850
case_no=114 label=Case6.102 nb_sol=0 ticks=183054 tps=100 nb_sec=1830
case_no=114 label=Case6.102 nb_sol=0 ticks=240093 tps=100 nb_sec=2400
case_no=114 label=Case6.102 nb_sol=0 ticks=177472 tps=100 nb_sec=1774
case_no=114 label=Case6.102 nb_sol=0 ticks=312713 tps=100 nb_sec=3127
case_no=114 label=Case6.102 nb_sol=0 ticks=375184 tps=100 nb_sec=3751
case_no=114 label=Case6.102 nb_sol=0 ticks=164707 tps=100 nb_sec=1647
case_no=114 label=Case6.102 nb_sol=0 ticks=348055 tps=100 nb_sec=3480
case_no=114 label=Case6.102 nb_sol=0 ticks=214151 tps=100 nb_sec=2141
case_no=114 label=Case6.102 nb_sol=0 ticks=168837 tps=100 nb_sec=1688
case_no=114 label=Case6.102 nb_sol=0 ticks=249088 tps=100 nb_sec=2490
case_no=114 label=Case6.102 nb_sol=0 ticks=211519 tps=100 nb_sec=2115
case_no=114 label=Case6.102 nb_sol=0 ticks=448299 tps=100 nb_sec=4482
case_no=114 label=Case6.102 nb_sol=0 ticks=213948 tps=100 nb_sec=2139
case_no=114 label=Case6.102 nb_sol=0 ticks=398823 tps=100 nb_sec=3988
case_no=114 label=Case6.102 nb_sol=0 ticks=231228 tps=100 nb_sec=2312
case_no=114 label=Case6.102 nb_sol=0 ticks=376218 tps=100 nb_sec=3762
case_no=114 label=Case6.102 nb_sol=0 ticks=157571 tps=100 nb_sec=1575
case_no=114 label=Case6.102 nb_sol=0 ticks=292292 tps=100 nb_sec=2922
case_no=114 label=Case6.102 nb_sol=0 ticks=108736 tps=100 nb_sec=1087
case_no=114 label=Case6.102 nb_sol=0 ticks=327736 tps=100 nb_sec=3277
case_no=114 label=Case6.102 nb_sol=0 ticks=280143 tps=100 nb_sec=2801
case_no=114 label=Case6.102 nb_sol=0 ticks=296620 tps=100 nb_sec=2966
case_no=114 label=Case6.102 nb_sol=0 ticks=350394 tps=100 nb_sec=3503
case_no=114 label=Case6.102 nb_sol=0 ticks=294022 tps=100 nb_sec=2940
case_no=114 label=Case6.102 nb_sol=0 ticks=379646 tps=100 nb_sec=3796
case_no=114 label=Case6.102 nb_sol=0 ticks=294247 tps=100 nb_sec=2942
case_no=114 label=Case6.102 nb_sol=0 ticks=222100 tps=100 nb_sec=2221
case_no=114 label=Case6.102 nb_sol=0 ticks=305714 tps=100 nb_sec=3057
case_no=114 label=Case6.102 nb_sol=0 ticks=382407 tps=100 nb_sec=3824
case_no=114 label=Case6.102 nb_sol=0 ticks=196082 tps=100 nb_sec=1960
case_no=114 label=Case6.102 nb_sol=0 ticks=327572 tps=100 nb_sec=3275
case_no=114 label=Case6.102 nb_sol=0 ticks=245759 tps=100 nb_sec=2457
case_no=114 label=Case6.102 nb_sol=0 ticks=204686 tps=100 nb_sec=2046
case_no=114 label=Case6.102 nb_sol=0 ticks=293585 tps=100 nb_sec=2935
case_no=114 label=Case6.102 nb_sol=0 ticks=210909 tps=100 nb_sec=2109
case_no=114 label=Case6.102 nb_sol=0 ticks=253571 tps=100 nb_sec=2535
case_no=114 label=Case6.102 nb_sol=0 ticks=282825 tps=100 nb_sec=2828
case_no=114 label=Case6.102 nb_sol=0 ticks=201033 tps=100 nb_sec=2010
case_no=114 label=Case6.102 nb_sol=0 ticks=295674 tps=100 nb_sec=2956
case_no=114 label=Case6.102 nb_sol=0 ticks=333522 tps=100 nb_sec=3335
case_no=114 label=Case6.102 nb_sol=0 ticks=309711 tps=100 nb_sec=3097
case_no=114 label=Case6.102 nb_sol=0 ticks=215657 tps=100 nb_sec=2156
case_no=114 label=Case6.102 nb_sol=0 ticks=205458 tps=100 nb_sec=2054
case_no=114 label=Case6.102 nb_sol=0 ticks=383196 tps=100 nb_sec=3831
case_no=114 label=Case6.102 nb_sol=0 ticks=389601 tps=100 nb_sec=3896
case_no=114 label=Case6.102 nb_sol=0 ticks=133839 tps=100 nb_sec=1338
case_no=114 label=Case6.102 nb_sol=0 ticks=384591 tps=100 nb_sec=3845
case_no=114 label=Case6.102 nb_sol=0 ticks=133878 tps=100 nb_sec=1338
case_no=114 label=Case6.102 nb_sol=0 ticks=209640 tps=100 nb_sec=2096
case_no=114 label=Case6.102 nb_sol=0 ticks=223554 tps=100 nb_sec=2235
case_no=114 label=Case6.102 nb_sol=0 ticks=241598 tps=100 nb_sec=2415
case_no=114 label=Case6.102 nb_sol=0 ticks=128329 tps=100 nb_sec=1283
case_no=114 label=Case6.102 nb_sol=0 ticks=343530 tps=100 nb_sec=3435
case_no=114 label=Case6.102 nb_sol=0 ticks=282595 tps=100 nb_sec=2825
case_no=114 label=Case6.102 nb_sol=0 ticks=242012 tps=100 nb_sec=2420
case_no=114 label=Case6.102 nb_sol=0 ticks=337889 tps=100 nb_sec=3378
case_no=114 label=Case6.102 nb_sol=0 ticks=268638 tps=100 nb_sec=2686
case_no=114 label=Case6.102 nb_sol=0 ticks=217782 tps=100 nb_sec=2177
case_no=114 label=Case6.102 nb_sol=0 ticks=265480 tps=100 nb_sec=2654
case_no=114 label=Case6.102 nb_sol=0 ticks=332309 tps=100 nb_sec=3323
case_no=114 label=Case6.102 nb_sol=0 ticks=253756 tps=100 nb_sec=2537
case_no=114 label=Case6.102 nb_sol=0 ticks=304096 tps=100 nb_sec=3040
case_no=114 label=Case6.102 nb_sol=0 ticks=105255 tps=100 nb_sec=1052
case_no=114 label=Case6.102 nb_sol=0 ticks=208543 tps=100 nb_sec=2085
case_no=114 label=Case6.102 nb_sol=0 ticks=164651 tps=100 nb_sec=1646
case_no=114 label=Case6.102 nb_sol=0 ticks=249891 tps=100 nb_sec=2498
case_no=114 label=Case6.102 nb_sol=0 ticks=204957 tps=100 nb_sec=2049
case_no=114 label=Case6.102 nb_sol=0 ticks=206262 tps=100 nb_sec=2062
case_no=114 label=Case6.102 nb_sol=0 ticks=180873 tps=100 nb_sec=1808
case_no=114 label=Case6.102 nb_sol=0 ticks=200557 tps=100 nb_sec=2005
case_no=114 label=Case6.102 nb_sol=0 ticks=266124 tps=100 nb_sec=2661
case_no=114 label=Case6.102 nb_sol=0 ticks=235173 tps=100 nb_sec=2351
case_no=114 label=Case6.102 nb_sol=0 ticks=218762 tps=100 nb_sec=2187
case_no=114 label=Case6.102 nb_sol=0 ticks=214901 tps=100 nb_sec=2149
case_no=114 label=Case6.102 nb_sol=0 ticks=80837 tps=100 nb_sec=808
case_no=114 label=Case6.102 nb_sol=0 ticks=266128 tps=100 nb_sec=2661
case_no=114 label=Case6.102 nb_sol=0 ticks=174223 tps=100 nb_sec=1742
case_no=114 label=Case6.102 nb_sol=0 ticks=250291 tps=100 nb_sec=2502
case_no=114 label=Case6.102 nb_sol=0 ticks=289751 tps=100 nb_sec=2897
case_no=114 label=Case6.102 nb_sol=0 ticks=318463 tps=100 nb_sec=3184
case_no=114 label=Case6.102 nb_sol=0 ticks=286837 tps=100 nb_sec=2868
case_no=114 label=Case6.102 nb_sol=0 ticks=303680 tps=100 nb_sec=3036
case_no=114 label=Case6.102 nb_sol=0 ticks=207688 tps=100 nb_sec=2076
case_no=114 label=Case6.102 nb_sol=0 ticks=271979 tps=100 nb_sec=2719
case_no=114 label=Case6.102 nb_sol=0 ticks=206506 tps=100 nb_sec=2065
case_no=114 label=Case6.102 nb_sol=0 ticks=121172 tps=100 nb_sec=1211
case_no=114 label=Case6.102 nb_sol=0 ticks=275238 tps=100 nb_sec=2752
case_no=114 label=Case6.102 nb_sol=0 ticks=277209 tps=100 nb_sec=2772
case_no=114 label=Case6.102 nb_sol=0 ticks=153150 tps=100 nb_sec=1531
case_no=114 label=Case6.102 nb_sol=0 ticks=195108 tps=100 nb_sec=1951
case_no=114 label=Case6.102 nb_sol=0 ticks=198850 tps=100 nb_sec=1988
case_no=114 label=Case6.102 nb_sol=0 ticks=385418 tps=100 nb_sec=3854
case_no=114 label=Case6.102 nb_sol=0 ticks=221304 tps=100 nb_sec=2213
case_no=114 label=Case6.102 nb_sol=0 ticks=257965 tps=100 nb_sec=2579
case_no=114 label=Case6.102 nb_sol=0 ticks=279262 tps=100 nb_sec=2792
case_no=114 label=Case6.102 nb_sol=0 ticks=248828 tps=100 nb_sec=2488
case_no=114 label=Case6.102 nb_sol=0 ticks=373986 tps=100 nb_sec=3739
case_no=114 label=Case6.102 nb_sol=0 ticks=324026 tps=100 nb_sec=3240
case_no=114 label=Case6.102 nb_sol=0 ticks=194020 tps=100 nb_sec=1940
case_no=114 label=Case6.102 nb_sol=0 ticks=149550 tps=100 nb_sec=1495
case_no=114 label=Case6.102 nb_sol=0 ticks=179110 tps=100 nb_sec=1791
case_no=114 label=Case6.102 nb_sol=0 ticks=260730 tps=100 nb_sec=2607
case_no=114 label=Case6.102 nb_sol=0 ticks=239145 tps=100 nb_sec=2391
case_no=114 label=Case6.102 nb_sol=0 ticks=156389 tps=100 nb_sec=1563
case_no=114 label=Case6.102 nb_sol=0 ticks=107060 tps=100 nb_sec=1070
case_no=114 label=Case6.102 nb_sol=0 ticks=205303 tps=100 nb_sec=2053
case_no=114 label=Case6.102 nb_sol=0 ticks=250766 tps=100 nb_sec=2507
case_no=114 label=Case6.102 nb_sol=0 ticks=325110 tps=100 nb_sec=3251
case_no=114 label=Case6.102 nb_sol=0 ticks=311211 tps=100 nb_sec=3112
case_no=114 label=Case6.102 nb_sol=0 ticks=250534 tps=100 nb_sec=2505
case_no=114 label=Case6.102 nb_sol=0 ticks=286578 tps=100 nb_sec=2865
case_no=114 label=Case6.102 nb_sol=0 ticks=309615 tps=100 nb_sec=3096
case_no=114 label=Case6.102 nb_sol=0 ticks=362587 tps=100 nb_sec=3625
case_no=114 label=Case6.102 nb_sol=0 ticks=270167 tps=100 nb_sec=2701
case_no=114 label=Case6.102 nb_sol=0 ticks=214015 tps=100 nb_sec=2140
case_no=114 label=Case6.102 nb_sol=0 ticks=264053 tps=100 nb_sec=2640
case_no=114 label=Case6.102 nb_sol=0 ticks=285663 tps=100 nb_sec=2856
case_no=114 label=Case6.102 nb_sol=0 ticks=175844 tps=100 nb_sec=1758
case_no=114 label=Case6.102 nb_sol=0 ticks=286983 tps=100 nb_sec=2869
case_no=114 label=Case6.102 nb_sol=0 ticks=181818 tps=100 nb_sec=1818
case_no=114 label=Case6.102 nb_sol=0 ticks=330851 tps=100 nb_sec=3308
case_no=114 label=Case6.102 nb_sol=0 ticks=175302 tps=100 nb_sec=1753
case_no=114 label=Case6.102 nb_sol=0 ticks=338208 tps=100 nb_sec=3382
case_no=114 label=Case6.102 nb_sol=0 ticks=120549 tps=100 nb_sec=1205
case_no=114 label=Case6.102 nb_sol=0 ticks=473210 tps=100 nb_sec=4732
case_no=114 label=Case6.102 nb_sol=0 ticks=266810 tps=100 nb_sec=2668
case_no=114 label=Case6.102 nb_sol=0 ticks=328394 tps=100 nb_sec=3283
case_no=114 label=Case6.102 nb_sol=0 ticks=370479 tps=100 nb_sec=3704
Nb_sol=0
Nb_sec=729608
8-10:40:8 or 202 hours
missing cases:
none