argc=5
-M 512
file2=30_select_Case6.133_starter_15_
checking files mod 512 from 0 to 511
case_no=145 label=Case6.133 nb_sol=0 ticks=403838 tps=100 nb_sec=4038
case_no=145 label=Case6.133 nb_sol=0 ticks=507915 tps=100 nb_sec=5079
case_no=145 label=Case6.133 nb_sol=0 ticks=264147 tps=100 nb_sec=2641
case_no=145 label=Case6.133 nb_sol=0 ticks=372464 tps=100 nb_sec=3724
case_no=145 label=Case6.133 nb_sol=0 ticks=379754 tps=100 nb_sec=3797
case_no=145 label=Case6.133 nb_sol=0 ticks=272238 tps=100 nb_sec=2722
case_no=145 label=Case6.133 nb_sol=0 ticks=471582 tps=100 nb_sec=4715
case_no=145 label=Case6.133 nb_sol=0 ticks=525952 tps=100 nb_sec=5259
case_no=145 label=Case6.133 nb_sol=0 ticks=407010 tps=100 nb_sec=4070
case_no=145 label=Case6.133 nb_sol=0 ticks=273686 tps=100 nb_sec=2736
case_no=145 label=Case6.133 nb_sol=0 ticks=318028 tps=100 nb_sec=3180
case_no=145 label=Case6.133 nb_sol=0 ticks=352720 tps=100 nb_sec=3527
case_no=145 label=Case6.133 nb_sol=0 ticks=261002 tps=100 nb_sec=2610
case_no=145 label=Case6.133 nb_sol=0 ticks=383917 tps=100 nb_sec=3839
case_no=145 label=Case6.133 nb_sol=0 ticks=576311 tps=100 nb_sec=5763
case_no=145 label=Case6.133 nb_sol=0 ticks=255724 tps=100 nb_sec=2557
case_no=145 label=Case6.133 nb_sol=0 ticks=627747 tps=100 nb_sec=6277
case_no=145 label=Case6.133 nb_sol=0 ticks=449266 tps=100 nb_sec=4492
case_no=145 label=Case6.133 nb_sol=0 ticks=359666 tps=100 nb_sec=3596
case_no=145 label=Case6.133 nb_sol=0 ticks=220964 tps=100 nb_sec=2209
case_no=145 label=Case6.133 nb_sol=0 ticks=539503 tps=100 nb_sec=5395
case_no=145 label=Case6.133 nb_sol=0 ticks=194707 tps=100 nb_sec=1947
case_no=145 label=Case6.133 nb_sol=0 ticks=575949 tps=100 nb_sec=5759
case_no=145 label=Case6.133 nb_sol=0 ticks=422814 tps=100 nb_sec=4228
case_no=145 label=Case6.133 nb_sol=0 ticks=316338 tps=100 nb_sec=3163
case_no=145 label=Case6.133 nb_sol=0 ticks=368584 tps=100 nb_sec=3685
case_no=145 label=Case6.133 nb_sol=0 ticks=358259 tps=100 nb_sec=3582
case_no=145 label=Case6.133 nb_sol=0 ticks=230946 tps=100 nb_sec=2309
case_no=145 label=Case6.133 nb_sol=0 ticks=742690 tps=100 nb_sec=7426
case_no=145 label=Case6.133 nb_sol=0 ticks=399773 tps=100 nb_sec=3997
case_no=145 label=Case6.133 nb_sol=0 ticks=378702 tps=100 nb_sec=3787
case_no=145 label=Case6.133 nb_sol=0 ticks=424724 tps=100 nb_sec=4247
case_no=145 label=Case6.133 nb_sol=0 ticks=422850 tps=100 nb_sec=4228
case_no=145 label=Case6.133 nb_sol=0 ticks=632915 tps=100 nb_sec=6329
case_no=145 label=Case6.133 nb_sol=0 ticks=414329 tps=100 nb_sec=4143
case_no=145 label=Case6.133 nb_sol=0 ticks=187350 tps=100 nb_sec=1873
case_no=145 label=Case6.133 nb_sol=0 ticks=443600 tps=100 nb_sec=4436
case_no=145 label=Case6.133 nb_sol=0 ticks=439052 tps=100 nb_sec=4390
case_no=145 label=Case6.133 nb_sol=0 ticks=582536 tps=100 nb_sec=5825
case_no=145 label=Case6.133 nb_sol=0 ticks=274255 tps=100 nb_sec=2742
case_no=145 label=Case6.133 nb_sol=0 ticks=447486 tps=100 nb_sec=4474
case_no=145 label=Case6.133 nb_sol=0 ticks=360242 tps=100 nb_sec=3602
case_no=145 label=Case6.133 nb_sol=0 ticks=567694 tps=100 nb_sec=5676
case_no=145 label=Case6.133 nb_sol=0 ticks=361475 tps=100 nb_sec=3614
case_no=145 label=Case6.133 nb_sol=0 ticks=238761 tps=100 nb_sec=2387
case_no=145 label=Case6.133 nb_sol=0 ticks=238756 tps=100 nb_sec=2387
case_no=145 label=Case6.133 nb_sol=0 ticks=688608 tps=100 nb_sec=6886
case_no=145 label=Case6.133 nb_sol=0 ticks=403905 tps=100 nb_sec=4039
case_no=145 label=Case6.133 nb_sol=0 ticks=421006 tps=100 nb_sec=4210
case_no=145 label=Case6.133 nb_sol=0 ticks=611713 tps=100 nb_sec=6117
case_no=145 label=Case6.133 nb_sol=0 ticks=229278 tps=100 nb_sec=2292
case_no=145 label=Case6.133 nb_sol=0 ticks=378617 tps=100 nb_sec=3786
case_no=145 label=Case6.133 nb_sol=0 ticks=414949 tps=100 nb_sec=4149
case_no=145 label=Case6.133 nb_sol=0 ticks=302581 tps=100 nb_sec=3025
case_no=145 label=Case6.133 nb_sol=0 ticks=459362 tps=100 nb_sec=4593
case_no=145 label=Case6.133 nb_sol=0 ticks=194906 tps=100 nb_sec=1949
case_no=145 label=Case6.133 nb_sol=0 ticks=372694 tps=100 nb_sec=3726
case_no=145 label=Case6.133 nb_sol=0 ticks=432901 tps=100 nb_sec=4329
case_no=145 label=Case6.133 nb_sol=0 ticks=350389 tps=100 nb_sec=3503
case_no=145 label=Case6.133 nb_sol=0 ticks=465983 tps=100 nb_sec=4659
case_no=145 label=Case6.133 nb_sol=0 ticks=404187 tps=100 nb_sec=4041
case_no=145 label=Case6.133 nb_sol=0 ticks=435001 tps=100 nb_sec=4350
case_no=145 label=Case6.133 nb_sol=0 ticks=373290 tps=100 nb_sec=3732
case_no=145 label=Case6.133 nb_sol=0 ticks=443292 tps=100 nb_sec=4432
case_no=145 label=Case6.133 nb_sol=0 ticks=339490 tps=100 nb_sec=3394
case_no=145 label=Case6.133 nb_sol=0 ticks=318655 tps=100 nb_sec=3186
case_no=145 label=Case6.133 nb_sol=0 ticks=341873 tps=100 nb_sec=3418
case_no=145 label=Case6.133 nb_sol=0 ticks=334304 tps=100 nb_sec=3343
case_no=145 label=Case6.133 nb_sol=0 ticks=347487 tps=100 nb_sec=3474
case_no=145 label=Case6.133 nb_sol=0 ticks=350747 tps=100 nb_sec=3507
case_no=145 label=Case6.133 nb_sol=0 ticks=333550 tps=100 nb_sec=3335
case_no=145 label=Case6.133 nb_sol=0 ticks=325036 tps=100 nb_sec=3250
case_no=145 label=Case6.133 nb_sol=0 ticks=363533 tps=100 nb_sec=3635
case_no=145 label=Case6.133 nb_sol=0 ticks=392448 tps=100 nb_sec=3924
case_no=145 label=Case6.133 nb_sol=0 ticks=329684 tps=100 nb_sec=3296
case_no=145 label=Case6.133 nb_sol=0 ticks=467357 tps=100 nb_sec=4673
case_no=145 label=Case6.133 nb_sol=0 ticks=418154 tps=100 nb_sec=4181
case_no=145 label=Case6.133 nb_sol=0 ticks=460034 tps=100 nb_sec=4600
case_no=145 label=Case6.133 nb_sol=0 ticks=411664 tps=100 nb_sec=4116
case_no=145 label=Case6.133 nb_sol=0 ticks=450900 tps=100 nb_sec=4509
case_no=145 label=Case6.133 nb_sol=0 ticks=357265 tps=100 nb_sec=3572
case_no=145 label=Case6.133 nb_sol=0 ticks=469716 tps=100 nb_sec=4697
case_no=145 label=Case6.133 nb_sol=0 ticks=301495 tps=100 nb_sec=3014
case_no=145 label=Case6.133 nb_sol=0 ticks=410064 tps=100 nb_sec=4100
case_no=145 label=Case6.133 nb_sol=0 ticks=342653 tps=100 nb_sec=3426
case_no=145 label=Case6.133 nb_sol=0 ticks=438031 tps=100 nb_sec=4380
case_no=145 label=Case6.133 nb_sol=0 ticks=395997 tps=100 nb_sec=3959
case_no=145 label=Case6.133 nb_sol=0 ticks=479893 tps=100 nb_sec=4798
case_no=145 label=Case6.133 nb_sol=0 ticks=440485 tps=100 nb_sec=4404
case_no=145 label=Case6.133 nb_sol=0 ticks=415148 tps=100 nb_sec=4151
case_no=145 label=Case6.133 nb_sol=0 ticks=315135 tps=100 nb_sec=3151
case_no=145 label=Case6.133 nb_sol=0 ticks=462866 tps=100 nb_sec=4628
case_no=145 label=Case6.133 nb_sol=0 ticks=203477 tps=100 nb_sec=2034
case_no=145 label=Case6.133 nb_sol=0 ticks=353758 tps=100 nb_sec=3537
case_no=145 label=Case6.133 nb_sol=0 ticks=241237 tps=100 nb_sec=2412
case_no=145 label=Case6.133 nb_sol=0 ticks=199825 tps=100 nb_sec=1998
case_no=145 label=Case6.133 nb_sol=0 ticks=463694 tps=100 nb_sec=4636
case_no=145 label=Case6.133 nb_sol=0 ticks=227819 tps=100 nb_sec=2278
case_no=145 label=Case6.133 nb_sol=0 ticks=178487 tps=100 nb_sec=1784
case_no=145 label=Case6.133 nb_sol=0 ticks=233206 tps=100 nb_sec=2332
case_no=145 label=Case6.133 nb_sol=0 ticks=350725 tps=100 nb_sec=3507
case_no=145 label=Case6.133 nb_sol=0 ticks=437500 tps=100 nb_sec=4375
case_no=145 label=Case6.133 nb_sol=0 ticks=175591 tps=100 nb_sec=1755
case_no=145 label=Case6.133 nb_sol=0 ticks=355016 tps=100 nb_sec=3550
case_no=145 label=Case6.133 nb_sol=0 ticks=294517 tps=100 nb_sec=2945
case_no=145 label=Case6.133 nb_sol=0 ticks=398227 tps=100 nb_sec=3982
case_no=145 label=Case6.133 nb_sol=0 ticks=203883 tps=100 nb_sec=2038
case_no=145 label=Case6.133 nb_sol=0 ticks=505199 tps=100 nb_sec=5051
case_no=145 label=Case6.133 nb_sol=0 ticks=285540 tps=100 nb_sec=2855
case_no=145 label=Case6.133 nb_sol=0 ticks=282698 tps=100 nb_sec=2826
case_no=145 label=Case6.133 nb_sol=0 ticks=486591 tps=100 nb_sec=4865
case_no=145 label=Case6.133 nb_sol=0 ticks=420166 tps=100 nb_sec=4201
case_no=145 label=Case6.133 nb_sol=0 ticks=419319 tps=100 nb_sec=4193
case_no=145 label=Case6.133 nb_sol=0 ticks=370473 tps=100 nb_sec=3704
case_no=145 label=Case6.133 nb_sol=0 ticks=206738 tps=100 nb_sec=2067
case_no=145 label=Case6.133 nb_sol=0 ticks=401268 tps=100 nb_sec=4012
case_no=145 label=Case6.133 nb_sol=0 ticks=365333 tps=100 nb_sec=3653
case_no=145 label=Case6.133 nb_sol=0 ticks=349795 tps=100 nb_sec=3497
case_no=145 label=Case6.133 nb_sol=0 ticks=435819 tps=100 nb_sec=4358
case_no=145 label=Case6.133 nb_sol=0 ticks=427254 tps=100 nb_sec=4272
case_no=145 label=Case6.133 nb_sol=0 ticks=401456 tps=100 nb_sec=4014
case_no=145 label=Case6.133 nb_sol=0 ticks=332867 tps=100 nb_sec=3328
case_no=145 label=Case6.133 nb_sol=0 ticks=367292 tps=100 nb_sec=3672
case_no=145 label=Case6.133 nb_sol=0 ticks=420131 tps=100 nb_sec=4201
case_no=145 label=Case6.133 nb_sol=0 ticks=392754 tps=100 nb_sec=3927
case_no=145 label=Case6.133 nb_sol=0 ticks=411076 tps=100 nb_sec=4110
case_no=145 label=Case6.133 nb_sol=0 ticks=294779 tps=100 nb_sec=2947
case_no=145 label=Case6.133 nb_sol=0 ticks=418532 tps=100 nb_sec=4185
case_no=145 label=Case6.133 nb_sol=0 ticks=298553 tps=100 nb_sec=2985
case_no=145 label=Case6.133 nb_sol=0 ticks=338170 tps=100 nb_sec=3381
case_no=145 label=Case6.133 nb_sol=0 ticks=382926 tps=100 nb_sec=3829
case_no=145 label=Case6.133 nb_sol=0 ticks=229891 tps=100 nb_sec=2298
case_no=145 label=Case6.133 nb_sol=0 ticks=220678 tps=100 nb_sec=2206
case_no=145 label=Case6.133 nb_sol=0 ticks=315784 tps=100 nb_sec=3157
case_no=145 label=Case6.133 nb_sol=0 ticks=362255 tps=100 nb_sec=3622
case_no=145 label=Case6.133 nb_sol=0 ticks=414310 tps=100 nb_sec=4143
case_no=145 label=Case6.133 nb_sol=0 ticks=290313 tps=100 nb_sec=2903
case_no=145 label=Case6.133 nb_sol=0 ticks=232356 tps=100 nb_sec=2323
case_no=145 label=Case6.133 nb_sol=0 ticks=231096 tps=100 nb_sec=2310
case_no=145 label=Case6.133 nb_sol=0 ticks=230681 tps=100 nb_sec=2306
case_no=145 label=Case6.133 nb_sol=0 ticks=199271 tps=100 nb_sec=1992
case_no=145 label=Case6.133 nb_sol=0 ticks=313587 tps=100 nb_sec=3135
case_no=145 label=Case6.133 nb_sol=0 ticks=180176 tps=100 nb_sec=1801
case_no=145 label=Case6.133 nb_sol=0 ticks=294498 tps=100 nb_sec=2944
case_no=145 label=Case6.133 nb_sol=0 ticks=235391 tps=100 nb_sec=2353
case_no=145 label=Case6.133 nb_sol=0 ticks=208351 tps=100 nb_sec=2083
case_no=145 label=Case6.133 nb_sol=0 ticks=188176 tps=100 nb_sec=1881
case_no=145 label=Case6.133 nb_sol=0 ticks=179524 tps=100 nb_sec=1795
case_no=145 label=Case6.133 nb_sol=0 ticks=182023 tps=100 nb_sec=1820
case_no=145 label=Case6.133 nb_sol=0 ticks=183193 tps=100 nb_sec=1831
case_no=145 label=Case6.133 nb_sol=0 ticks=245147 tps=100 nb_sec=2451
case_no=145 label=Case6.133 nb_sol=0 ticks=234286 tps=100 nb_sec=2342
case_no=145 label=Case6.133 nb_sol=0 ticks=175521 tps=100 nb_sec=1755
case_no=145 label=Case6.133 nb_sol=0 ticks=186650 tps=100 nb_sec=1866
case_no=145 label=Case6.133 nb_sol=0 ticks=186621 tps=100 nb_sec=1866
case_no=145 label=Case6.133 nb_sol=0 ticks=216495 tps=100 nb_sec=2164
case_no=145 label=Case6.133 nb_sol=0 ticks=253438 tps=100 nb_sec=2534
case_no=145 label=Case6.133 nb_sol=0 ticks=221695 tps=100 nb_sec=2216
case_no=145 label=Case6.133 nb_sol=0 ticks=183435 tps=100 nb_sec=1834
case_no=145 label=Case6.133 nb_sol=0 ticks=191842 tps=100 nb_sec=1918
case_no=145 label=Case6.133 nb_sol=0 ticks=184136 tps=100 nb_sec=1841
case_no=145 label=Case6.133 nb_sol=0 ticks=222010 tps=100 nb_sec=2220
case_no=145 label=Case6.133 nb_sol=0 ticks=209764 tps=100 nb_sec=2097
case_no=145 label=Case6.133 nb_sol=0 ticks=205581 tps=100 nb_sec=2055
case_no=145 label=Case6.133 nb_sol=0 ticks=200703 tps=100 nb_sec=2007
case_no=145 label=Case6.133 nb_sol=0 ticks=223814 tps=100 nb_sec=2238
case_no=145 label=Case6.133 nb_sol=0 ticks=177419 tps=100 nb_sec=1774
case_no=145 label=Case6.133 nb_sol=0 ticks=178820 tps=100 nb_sec=1788
case_no=145 label=Case6.133 nb_sol=0 ticks=212069 tps=100 nb_sec=2120
case_no=145 label=Case6.133 nb_sol=0 ticks=237746 tps=100 nb_sec=2377
case_no=145 label=Case6.133 nb_sol=0 ticks=160384 tps=100 nb_sec=1603
case_no=145 label=Case6.133 nb_sol=0 ticks=284194 tps=100 nb_sec=2841
case_no=145 label=Case6.133 nb_sol=0 ticks=237864 tps=100 nb_sec=2378
case_no=145 label=Case6.133 nb_sol=0 ticks=207744 tps=100 nb_sec=2077
case_no=145 label=Case6.133 nb_sol=0 ticks=192688 tps=100 nb_sec=1926
case_no=145 label=Case6.133 nb_sol=0 ticks=193748 tps=100 nb_sec=1937
case_no=145 label=Case6.133 nb_sol=0 ticks=194918 tps=100 nb_sec=1949
case_no=145 label=Case6.133 nb_sol=0 ticks=234330 tps=100 nb_sec=2343
case_no=145 label=Case6.133 nb_sol=0 ticks=314883 tps=100 nb_sec=3148
case_no=145 label=Case6.133 nb_sol=0 ticks=226360 tps=100 nb_sec=2263
case_no=145 label=Case6.133 nb_sol=0 ticks=223659 tps=100 nb_sec=2236
case_no=145 label=Case6.133 nb_sol=0 ticks=192291 tps=100 nb_sec=1922
case_no=145 label=Case6.133 nb_sol=0 ticks=207631 tps=100 nb_sec=2076
case_no=145 label=Case6.133 nb_sol=0 ticks=225962 tps=100 nb_sec=2259
case_no=145 label=Case6.133 nb_sol=0 ticks=247668 tps=100 nb_sec=2476
case_no=145 label=Case6.133 nb_sol=0 ticks=301763 tps=100 nb_sec=3017
case_no=145 label=Case6.133 nb_sol=0 ticks=140873 tps=100 nb_sec=1408
case_no=145 label=Case6.133 nb_sol=0 ticks=199627 tps=100 nb_sec=1996
case_no=145 label=Case6.133 nb_sol=0 ticks=290501 tps=100 nb_sec=2905
case_no=145 label=Case6.133 nb_sol=0 ticks=343800 tps=100 nb_sec=3438
case_no=145 label=Case6.133 nb_sol=0 ticks=180926 tps=100 nb_sec=1809
case_no=145 label=Case6.133 nb_sol=0 ticks=276458 tps=100 nb_sec=2764
case_no=145 label=Case6.133 nb_sol=0 ticks=207096 tps=100 nb_sec=2070
case_no=145 label=Case6.133 nb_sol=0 ticks=186036 tps=100 nb_sec=1860
case_no=145 label=Case6.133 nb_sol=0 ticks=395399 tps=100 nb_sec=3953
case_no=145 label=Case6.133 nb_sol=0 ticks=218980 tps=100 nb_sec=2189
case_no=145 label=Case6.133 nb_sol=0 ticks=348648 tps=100 nb_sec=3486
case_no=145 label=Case6.133 nb_sol=0 ticks=262909 tps=100 nb_sec=2629
case_no=145 label=Case6.133 nb_sol=0 ticks=395189 tps=100 nb_sec=3951
case_no=145 label=Case6.133 nb_sol=0 ticks=327414 tps=100 nb_sec=3274
case_no=145 label=Case6.133 nb_sol=0 ticks=416765 tps=100 nb_sec=4167
case_no=145 label=Case6.133 nb_sol=0 ticks=220445 tps=100 nb_sec=2204
case_no=145 label=Case6.133 nb_sol=0 ticks=262124 tps=100 nb_sec=2621
case_no=145 label=Case6.133 nb_sol=0 ticks=347170 tps=100 nb_sec=3471
case_no=145 label=Case6.133 nb_sol=0 ticks=333124 tps=100 nb_sec=3331
case_no=145 label=Case6.133 nb_sol=0 ticks=373771 tps=100 nb_sec=3737
case_no=145 label=Case6.133 nb_sol=0 ticks=380626 tps=100 nb_sec=3806
case_no=145 label=Case6.133 nb_sol=0 ticks=432247 tps=100 nb_sec=4322
case_no=145 label=Case6.133 nb_sol=0 ticks=470339 tps=100 nb_sec=4703
case_no=145 label=Case6.133 nb_sol=0 ticks=257268 tps=100 nb_sec=2572
case_no=145 label=Case6.133 nb_sol=0 ticks=255217 tps=100 nb_sec=2552
case_no=145 label=Case6.133 nb_sol=0 ticks=292630 tps=100 nb_sec=2926
case_no=145 label=Case6.133 nb_sol=0 ticks=403222 tps=100 nb_sec=4032
case_no=145 label=Case6.133 nb_sol=0 ticks=370537 tps=100 nb_sec=3705
case_no=145 label=Case6.133 nb_sol=0 ticks=341404 tps=100 nb_sec=3414
case_no=145 label=Case6.133 nb_sol=0 ticks=396805 tps=100 nb_sec=3968
case_no=145 label=Case6.133 nb_sol=0 ticks=377460 tps=100 nb_sec=3774
case_no=145 label=Case6.133 nb_sol=0 ticks=397387 tps=100 nb_sec=3973
case_no=145 label=Case6.133 nb_sol=0 ticks=344340 tps=100 nb_sec=3443
case_no=145 label=Case6.133 nb_sol=0 ticks=330439 tps=100 nb_sec=3304
case_no=145 label=Case6.133 nb_sol=0 ticks=319020 tps=100 nb_sec=3190
case_no=145 label=Case6.133 nb_sol=0 ticks=434057 tps=100 nb_sec=4340
case_no=145 label=Case6.133 nb_sol=0 ticks=354460 tps=100 nb_sec=3544
case_no=145 label=Case6.133 nb_sol=0 ticks=430587 tps=100 nb_sec=4305
case_no=145 label=Case6.133 nb_sol=0 ticks=419414 tps=100 nb_sec=4194
case_no=145 label=Case6.133 nb_sol=0 ticks=402083 tps=100 nb_sec=4020
case_no=145 label=Case6.133 nb_sol=0 ticks=267883 tps=100 nb_sec=2678
case_no=145 label=Case6.133 nb_sol=0 ticks=399747 tps=100 nb_sec=3997
case_no=145 label=Case6.133 nb_sol=0 ticks=360325 tps=100 nb_sec=3603
case_no=145 label=Case6.133 nb_sol=0 ticks=343812 tps=100 nb_sec=3438
case_no=145 label=Case6.133 nb_sol=0 ticks=316996 tps=100 nb_sec=3169
case_no=145 label=Case6.133 nb_sol=0 ticks=378557 tps=100 nb_sec=3785
case_no=145 label=Case6.133 nb_sol=0 ticks=390307 tps=100 nb_sec=3903
case_no=145 label=Case6.133 nb_sol=0 ticks=385459 tps=100 nb_sec=3854
case_no=145 label=Case6.133 nb_sol=0 ticks=296189 tps=100 nb_sec=2961
case_no=145 label=Case6.133 nb_sol=0 ticks=401634 tps=100 nb_sec=4016
case_no=145 label=Case6.133 nb_sol=0 ticks=210721 tps=100 nb_sec=2107
case_no=145 label=Case6.133 nb_sol=0 ticks=410671 tps=100 nb_sec=4106
case_no=145 label=Case6.133 nb_sol=0 ticks=336075 tps=100 nb_sec=3360
case_no=145 label=Case6.133 nb_sol=0 ticks=403514 tps=100 nb_sec=4035
case_no=145 label=Case6.133 nb_sol=0 ticks=197370 tps=100 nb_sec=1973
case_no=145 label=Case6.133 nb_sol=0 ticks=420213 tps=100 nb_sec=4202
case_no=145 label=Case6.133 nb_sol=0 ticks=377677 tps=100 nb_sec=3776
case_no=145 label=Case6.133 nb_sol=0 ticks=212099 tps=100 nb_sec=2120
case_no=145 label=Case6.133 nb_sol=0 ticks=452238 tps=100 nb_sec=4522
case_no=145 label=Case6.133 nb_sol=0 ticks=442954 tps=100 nb_sec=4429
case_no=145 label=Case6.133 nb_sol=0 ticks=398755 tps=100 nb_sec=3987
case_no=145 label=Case6.133 nb_sol=0 ticks=319915 tps=100 nb_sec=3199
case_no=145 label=Case6.133 nb_sol=0 ticks=483867 tps=100 nb_sec=4838
case_no=145 label=Case6.133 nb_sol=0 ticks=434817 tps=100 nb_sec=4348
case_no=145 label=Case6.133 nb_sol=0 ticks=204936 tps=100 nb_sec=2049
case_no=145 label=Case6.133 nb_sol=0 ticks=210170 tps=100 nb_sec=2101
case_no=145 label=Case6.133 nb_sol=0 ticks=397014 tps=100 nb_sec=3970
case_no=145 label=Case6.133 nb_sol=0 ticks=317783 tps=100 nb_sec=3177
case_no=145 label=Case6.133 nb_sol=0 ticks=408134 tps=100 nb_sec=4081
case_no=145 label=Case6.133 nb_sol=0 ticks=516723 tps=100 nb_sec=5167
case_no=145 label=Case6.133 nb_sol=0 ticks=476487 tps=100 nb_sec=4764
case_no=145 label=Case6.133 nb_sol=0 ticks=248101 tps=100 nb_sec=2481
case_no=145 label=Case6.133 nb_sol=0 ticks=427167 tps=100 nb_sec=4271
case_no=145 label=Case6.133 nb_sol=0 ticks=270669 tps=100 nb_sec=2706
case_no=145 label=Case6.133 nb_sol=0 ticks=485218 tps=100 nb_sec=4852
case_no=145 label=Case6.133 nb_sol=0 ticks=264153 tps=100 nb_sec=2641
case_no=145 label=Case6.133 nb_sol=0 ticks=444028 tps=100 nb_sec=4440
case_no=145 label=Case6.133 nb_sol=0 ticks=232720 tps=100 nb_sec=2327
case_no=145 label=Case6.133 nb_sol=0 ticks=383470 tps=100 nb_sec=3834
case_no=145 label=Case6.133 nb_sol=0 ticks=345820 tps=100 nb_sec=3458
case_no=145 label=Case6.133 nb_sol=0 ticks=184127 tps=100 nb_sec=1841
case_no=145 label=Case6.133 nb_sol=0 ticks=200654 tps=100 nb_sec=2006
case_no=145 label=Case6.133 nb_sol=0 ticks=482079 tps=100 nb_sec=4820
case_no=145 label=Case6.133 nb_sol=0 ticks=301134 tps=100 nb_sec=3011
case_no=145 label=Case6.133 nb_sol=0 ticks=191944 tps=100 nb_sec=1919
case_no=145 label=Case6.133 nb_sol=0 ticks=264691 tps=100 nb_sec=2646
case_no=145 label=Case6.133 nb_sol=0 ticks=262575 tps=100 nb_sec=2625
case_no=145 label=Case6.133 nb_sol=0 ticks=259307 tps=100 nb_sec=2593
case_no=145 label=Case6.133 nb_sol=0 ticks=377063 tps=100 nb_sec=3770
case_no=145 label=Case6.133 nb_sol=0 ticks=362394 tps=100 nb_sec=3623
case_no=145 label=Case6.133 nb_sol=0 ticks=521777 tps=100 nb_sec=5217
case_no=145 label=Case6.133 nb_sol=0 ticks=636731 tps=100 nb_sec=6367
case_no=145 label=Case6.133 nb_sol=0 ticks=499145 tps=100 nb_sec=4991
case_no=145 label=Case6.133 nb_sol=0 ticks=482832 tps=100 nb_sec=4828
case_no=145 label=Case6.133 nb_sol=0 ticks=375872 tps=100 nb_sec=3758
case_no=145 label=Case6.133 nb_sol=0 ticks=586452 tps=100 nb_sec=5864
case_no=145 label=Case6.133 nb_sol=0 ticks=621325 tps=100 nb_sec=6213
case_no=145 label=Case6.133 nb_sol=0 ticks=461359 tps=100 nb_sec=4613
case_no=145 label=Case6.133 nb_sol=0 ticks=382054 tps=100 nb_sec=3820
case_no=145 label=Case6.133 nb_sol=0 ticks=646787 tps=100 nb_sec=6467
case_no=145 label=Case6.133 nb_sol=0 ticks=425688 tps=100 nb_sec=4256
case_no=145 label=Case6.133 nb_sol=0 ticks=385496 tps=100 nb_sec=3854
case_no=145 label=Case6.133 nb_sol=0 ticks=588810 tps=100 nb_sec=5888
case_no=145 label=Case6.133 nb_sol=0 ticks=510786 tps=100 nb_sec=5107
case_no=145 label=Case6.133 nb_sol=0 ticks=320572 tps=100 nb_sec=3205
case_no=145 label=Case6.133 nb_sol=0 ticks=749114 tps=100 nb_sec=7491
case_no=145 label=Case6.133 nb_sol=0 ticks=404579 tps=100 nb_sec=4045
case_no=145 label=Case6.133 nb_sol=0 ticks=706677 tps=100 nb_sec=7066
case_no=145 label=Case6.133 nb_sol=0 ticks=475284 tps=100 nb_sec=4752
case_no=145 label=Case6.133 nb_sol=0 ticks=407301 tps=100 nb_sec=4073
case_no=145 label=Case6.133 nb_sol=0 ticks=475900 tps=100 nb_sec=4759
case_no=145 label=Case6.133 nb_sol=0 ticks=508924 tps=100 nb_sec=5089
case_no=145 label=Case6.133 nb_sol=0 ticks=627150 tps=100 nb_sec=6271
case_no=145 label=Case6.133 nb_sol=0 ticks=392589 tps=100 nb_sec=3925
case_no=145 label=Case6.133 nb_sol=0 ticks=204377 tps=100 nb_sec=2043
case_no=145 label=Case6.133 nb_sol=0 ticks=672439 tps=100 nb_sec=6724
case_no=145 label=Case6.133 nb_sol=0 ticks=405384 tps=100 nb_sec=4053
case_no=145 label=Case6.133 nb_sol=0 ticks=377972 tps=100 nb_sec=3779
case_no=145 label=Case6.133 nb_sol=0 ticks=174875 tps=100 nb_sec=1748
case_no=145 label=Case6.133 nb_sol=0 ticks=595010 tps=100 nb_sec=5950
case_no=145 label=Case6.133 nb_sol=0 ticks=374759 tps=100 nb_sec=3747
case_no=145 label=Case6.133 nb_sol=0 ticks=342713 tps=100 nb_sec=3427
case_no=145 label=Case6.133 nb_sol=0 ticks=470520 tps=100 nb_sec=4705
case_no=145 label=Case6.133 nb_sol=0 ticks=377547 tps=100 nb_sec=3775
case_no=145 label=Case6.133 nb_sol=0 ticks=325390 tps=100 nb_sec=3253
case_no=145 label=Case6.133 nb_sol=0 ticks=534489 tps=100 nb_sec=5344
case_no=145 label=Case6.133 nb_sol=0 ticks=465134 tps=100 nb_sec=4651
case_no=145 label=Case6.133 nb_sol=0 ticks=314615 tps=100 nb_sec=3146
case_no=145 label=Case6.133 nb_sol=0 ticks=140290 tps=100 nb_sec=1402
case_no=145 label=Case6.133 nb_sol=0 ticks=356448 tps=100 nb_sec=3564
case_no=145 label=Case6.133 nb_sol=0 ticks=303909 tps=100 nb_sec=3039
case_no=145 label=Case6.133 nb_sol=0 ticks=191668 tps=100 nb_sec=1916
case_no=145 label=Case6.133 nb_sol=0 ticks=329122 tps=100 nb_sec=3291
case_no=145 label=Case6.133 nb_sol=0 ticks=314717 tps=100 nb_sec=3147
case_no=145 label=Case6.133 nb_sol=0 ticks=259961 tps=100 nb_sec=2599
case_no=145 label=Case6.133 nb_sol=0 ticks=303279 tps=100 nb_sec=3032
case_no=145 label=Case6.133 nb_sol=0 ticks=350270 tps=100 nb_sec=3502
case_no=145 label=Case6.133 nb_sol=0 ticks=369221 tps=100 nb_sec=3692
case_no=145 label=Case6.133 nb_sol=0 ticks=295379 tps=100 nb_sec=2953
case_no=145 label=Case6.133 nb_sol=0 ticks=327045 tps=100 nb_sec=3270
case_no=145 label=Case6.133 nb_sol=0 ticks=297957 tps=100 nb_sec=2979
case_no=145 label=Case6.133 nb_sol=0 ticks=314536 tps=100 nb_sec=3145
case_no=145 label=Case6.133 nb_sol=0 ticks=204467 tps=100 nb_sec=2044
case_no=145 label=Case6.133 nb_sol=0 ticks=293937 tps=100 nb_sec=2939
case_no=145 label=Case6.133 nb_sol=0 ticks=233027 tps=100 nb_sec=2330
case_no=145 label=Case6.133 nb_sol=0 ticks=276098 tps=100 nb_sec=2760
case_no=145 label=Case6.133 nb_sol=0 ticks=306732 tps=100 nb_sec=3067
case_no=145 label=Case6.133 nb_sol=0 ticks=352771 tps=100 nb_sec=3527
case_no=145 label=Case6.133 nb_sol=0 ticks=256446 tps=100 nb_sec=2564
case_no=145 label=Case6.133 nb_sol=0 ticks=351639 tps=100 nb_sec=3516
case_no=145 label=Case6.133 nb_sol=0 ticks=239770 tps=100 nb_sec=2397
case_no=145 label=Case6.133 nb_sol=0 ticks=366785 tps=100 nb_sec=3667
case_no=145 label=Case6.133 nb_sol=0 ticks=258223 tps=100 nb_sec=2582
case_no=145 label=Case6.133 nb_sol=0 ticks=364674 tps=100 nb_sec=3646
case_no=145 label=Case6.133 nb_sol=0 ticks=357412 tps=100 nb_sec=3574
case_no=145 label=Case6.133 nb_sol=0 ticks=213376 tps=100 nb_sec=2133
case_no=145 label=Case6.133 nb_sol=0 ticks=216648 tps=100 nb_sec=2166
case_no=145 label=Case6.133 nb_sol=0 ticks=250074 tps=100 nb_sec=2500
case_no=145 label=Case6.133 nb_sol=0 ticks=235626 tps=100 nb_sec=2356
case_no=145 label=Case6.133 nb_sol=0 ticks=198063 tps=100 nb_sec=1980
case_no=145 label=Case6.133 nb_sol=0 ticks=258703 tps=100 nb_sec=2587
case_no=145 label=Case6.133 nb_sol=0 ticks=251786 tps=100 nb_sec=2517
case_no=145 label=Case6.133 nb_sol=0 ticks=329551 tps=100 nb_sec=3295
case_no=145 label=Case6.133 nb_sol=0 ticks=184185 tps=100 nb_sec=1841
case_no=145 label=Case6.133 nb_sol=0 ticks=321623 tps=100 nb_sec=3216
case_no=145 label=Case6.133 nb_sol=0 ticks=216750 tps=100 nb_sec=2167
case_no=145 label=Case6.133 nb_sol=0 ticks=298306 tps=100 nb_sec=2983
case_no=145 label=Case6.133 nb_sol=0 ticks=314507 tps=100 nb_sec=3145
case_no=145 label=Case6.133 nb_sol=0 ticks=316227 tps=100 nb_sec=3162
case_no=145 label=Case6.133 nb_sol=0 ticks=342842 tps=100 nb_sec=3428
case_no=145 label=Case6.133 nb_sol=0 ticks=277373 tps=100 nb_sec=2773
case_no=145 label=Case6.133 nb_sol=0 ticks=261271 tps=100 nb_sec=2612
case_no=145 label=Case6.133 nb_sol=0 ticks=352213 tps=100 nb_sec=3522
case_no=145 label=Case6.133 nb_sol=0 ticks=339967 tps=100 nb_sec=3399
case_no=145 label=Case6.133 nb_sol=0 ticks=280523 tps=100 nb_sec=2805
case_no=145 label=Case6.133 nb_sol=0 ticks=302786 tps=100 nb_sec=3027
case_no=145 label=Case6.133 nb_sol=0 ticks=319386 tps=100 nb_sec=3193
case_no=145 label=Case6.133 nb_sol=0 ticks=179373 tps=100 nb_sec=1793
case_no=145 label=Case6.133 nb_sol=0 ticks=443247 tps=100 nb_sec=4432
case_no=145 label=Case6.133 nb_sol=0 ticks=455699 tps=100 nb_sec=4556
case_no=145 label=Case6.133 nb_sol=0 ticks=447858 tps=100 nb_sec=4478
case_no=145 label=Case6.133 nb_sol=0 ticks=265970 tps=100 nb_sec=2659
case_no=145 label=Case6.133 nb_sol=0 ticks=372691 tps=100 nb_sec=3726
case_no=145 label=Case6.133 nb_sol=0 ticks=452139 tps=100 nb_sec=4521
case_no=145 label=Case6.133 nb_sol=0 ticks=202661 tps=100 nb_sec=2026
case_no=145 label=Case6.133 nb_sol=0 ticks=416830 tps=100 nb_sec=4168
case_no=145 label=Case6.133 nb_sol=0 ticks=173356 tps=100 nb_sec=1733
case_no=145 label=Case6.133 nb_sol=0 ticks=404417 tps=100 nb_sec=4044
case_no=145 label=Case6.133 nb_sol=0 ticks=202509 tps=100 nb_sec=2025
case_no=145 label=Case6.133 nb_sol=0 ticks=459379 tps=100 nb_sec=4593
case_no=145 label=Case6.133 nb_sol=0 ticks=385470 tps=100 nb_sec=3854
case_no=145 label=Case6.133 nb_sol=0 ticks=327898 tps=100 nb_sec=3278
case_no=145 label=Case6.133 nb_sol=0 ticks=341425 tps=100 nb_sec=3414
case_no=145 label=Case6.133 nb_sol=0 ticks=238305 tps=100 nb_sec=2383
case_no=145 label=Case6.133 nb_sol=0 ticks=416024 tps=100 nb_sec=4160
case_no=145 label=Case6.133 nb_sol=0 ticks=379265 tps=100 nb_sec=3792
case_no=145 label=Case6.133 nb_sol=0 ticks=379087 tps=100 nb_sec=3790
case_no=145 label=Case6.133 nb_sol=0 ticks=200590 tps=100 nb_sec=2005
case_no=145 label=Case6.133 nb_sol=0 ticks=377763 tps=100 nb_sec=3777
case_no=145 label=Case6.133 nb_sol=0 ticks=334734 tps=100 nb_sec=3347
case_no=145 label=Case6.133 nb_sol=0 ticks=375392 tps=100 nb_sec=3753
case_no=145 label=Case6.133 nb_sol=0 ticks=349085 tps=100 nb_sec=3490
case_no=145 label=Case6.133 nb_sol=0 ticks=175533 tps=100 nb_sec=1755
case_no=145 label=Case6.133 nb_sol=0 ticks=269875 tps=100 nb_sec=2698
case_no=145 label=Case6.133 nb_sol=0 ticks=306792 tps=100 nb_sec=3067
case_no=145 label=Case6.133 nb_sol=0 ticks=384138 tps=100 nb_sec=3841
case_no=145 label=Case6.133 nb_sol=0 ticks=303971 tps=100 nb_sec=3039
case_no=145 label=Case6.133 nb_sol=0 ticks=359018 tps=100 nb_sec=3590
case_no=145 label=Case6.133 nb_sol=0 ticks=157098 tps=100 nb_sec=1570
case_no=145 label=Case6.133 nb_sol=0 ticks=336041 tps=100 nb_sec=3360
case_no=145 label=Case6.133 nb_sol=0 ticks=374519 tps=100 nb_sec=3745
case_no=145 label=Case6.133 nb_sol=0 ticks=185567 tps=100 nb_sec=1855
case_no=145 label=Case6.133 nb_sol=0 ticks=180501 tps=100 nb_sec=1805
case_no=145 label=Case6.133 nb_sol=0 ticks=474649 tps=100 nb_sec=4746
case_no=145 label=Case6.133 nb_sol=0 ticks=467678 tps=100 nb_sec=4676
case_no=145 label=Case6.133 nb_sol=0 ticks=206233 tps=100 nb_sec=2062
case_no=145 label=Case6.133 nb_sol=0 ticks=369158 tps=100 nb_sec=3691
case_no=145 label=Case6.133 nb_sol=0 ticks=406528 tps=100 nb_sec=4065
case_no=145 label=Case6.133 nb_sol=0 ticks=173753 tps=100 nb_sec=1737
case_no=145 label=Case6.133 nb_sol=0 ticks=361691 tps=100 nb_sec=3616
case_no=145 label=Case6.133 nb_sol=0 ticks=320537 tps=100 nb_sec=3205
case_no=145 label=Case6.133 nb_sol=0 ticks=373209 tps=100 nb_sec=3732
case_no=145 label=Case6.133 nb_sol=0 ticks=174260 tps=100 nb_sec=1742
case_no=145 label=Case6.133 nb_sol=0 ticks=376903 tps=100 nb_sec=3769
case_no=145 label=Case6.133 nb_sol=0 ticks=189165 tps=100 nb_sec=1891
case_no=145 label=Case6.133 nb_sol=0 ticks=412977 tps=100 nb_sec=4129
case_no=145 label=Case6.133 nb_sol=0 ticks=218802 tps=100 nb_sec=2188
case_no=145 label=Case6.133 nb_sol=0 ticks=449358 tps=100 nb_sec=4493
case_no=145 label=Case6.133 nb_sol=0 ticks=383841 tps=100 nb_sec=3838
case_no=145 label=Case6.133 nb_sol=0 ticks=508726 tps=100 nb_sec=5087
case_no=145 label=Case6.133 nb_sol=0 ticks=200140 tps=100 nb_sec=2001
case_no=145 label=Case6.133 nb_sol=0 ticks=400777 tps=100 nb_sec=4007
case_no=145 label=Case6.133 nb_sol=0 ticks=376396 tps=100 nb_sec=3763
case_no=145 label=Case6.133 nb_sol=0 ticks=432430 tps=100 nb_sec=4324
case_no=145 label=Case6.133 nb_sol=0 ticks=385618 tps=100 nb_sec=3856
case_no=145 label=Case6.133 nb_sol=0 ticks=396848 tps=100 nb_sec=3968
case_no=145 label=Case6.133 nb_sol=0 ticks=323090 tps=100 nb_sec=3230
case_no=145 label=Case6.133 nb_sol=0 ticks=423827 tps=100 nb_sec=4238
case_no=145 label=Case6.133 nb_sol=0 ticks=464413 tps=100 nb_sec=4644
case_no=145 label=Case6.133 nb_sol=0 ticks=411432 tps=100 nb_sec=4114
case_no=145 label=Case6.133 nb_sol=0 ticks=414604 tps=100 nb_sec=4146
case_no=145 label=Case6.133 nb_sol=0 ticks=467059 tps=100 nb_sec=4670
case_no=145 label=Case6.133 nb_sol=0 ticks=445862 tps=100 nb_sec=4458
case_no=145 label=Case6.133 nb_sol=0 ticks=425195 tps=100 nb_sec=4251
case_no=145 label=Case6.133 nb_sol=0 ticks=411334 tps=100 nb_sec=4113
case_no=145 label=Case6.133 nb_sol=0 ticks=455880 tps=100 nb_sec=4558
case_no=145 label=Case6.133 nb_sol=0 ticks=236639 tps=100 nb_sec=2366
case_no=145 label=Case6.133 nb_sol=0 ticks=323855 tps=100 nb_sec=3238
case_no=145 label=Case6.133 nb_sol=0 ticks=390580 tps=100 nb_sec=3905
case_no=145 label=Case6.133 nb_sol=0 ticks=416380 tps=100 nb_sec=4163
case_no=145 label=Case6.133 nb_sol=0 ticks=379602 tps=100 nb_sec=3796
case_no=145 label=Case6.133 nb_sol=0 ticks=412747 tps=100 nb_sec=4127
case_no=145 label=Case6.133 nb_sol=0 ticks=381909 tps=100 nb_sec=3819
case_no=145 label=Case6.133 nb_sol=0 ticks=442510 tps=100 nb_sec=4425
case_no=145 label=Case6.133 nb_sol=0 ticks=382503 tps=100 nb_sec=3825
case_no=145 label=Case6.133 nb_sol=0 ticks=354119 tps=100 nb_sec=3541
case_no=145 label=Case6.133 nb_sol=0 ticks=172885 tps=100 nb_sec=1728
case_no=145 label=Case6.133 nb_sol=0 ticks=367547 tps=100 nb_sec=3675
case_no=145 label=Case6.133 nb_sol=0 ticks=196758 tps=100 nb_sec=1967
case_no=145 label=Case6.133 nb_sol=0 ticks=413743 tps=100 nb_sec=4137
case_no=145 label=Case6.133 nb_sol=0 ticks=344705 tps=100 nb_sec=3447
case_no=145 label=Case6.133 nb_sol=0 ticks=523683 tps=100 nb_sec=5236
case_no=145 label=Case6.133 nb_sol=0 ticks=306703 tps=100 nb_sec=3067
case_no=145 label=Case6.133 nb_sol=0 ticks=376709 tps=100 nb_sec=3767
case_no=145 label=Case6.133 nb_sol=0 ticks=348096 tps=100 nb_sec=3480
case_no=145 label=Case6.133 nb_sol=0 ticks=370589 tps=100 nb_sec=3705
case_no=145 label=Case6.133 nb_sol=0 ticks=228078 tps=100 nb_sec=2280
case_no=145 label=Case6.133 nb_sol=0 ticks=327053 tps=100 nb_sec=3270
case_no=145 label=Case6.133 nb_sol=0 ticks=154662 tps=100 nb_sec=1546
case_no=145 label=Case6.133 nb_sol=0 ticks=176691 tps=100 nb_sec=1766
case_no=145 label=Case6.133 nb_sol=0 ticks=361097 tps=100 nb_sec=3610
case_no=145 label=Case6.133 nb_sol=0 ticks=313924 tps=100 nb_sec=3139
case_no=145 label=Case6.133 nb_sol=0 ticks=158795 tps=100 nb_sec=1587
case_no=145 label=Case6.133 nb_sol=0 ticks=179938 tps=100 nb_sec=1799
case_no=145 label=Case6.133 nb_sol=0 ticks=326133 tps=100 nb_sec=3261
case_no=145 label=Case6.133 nb_sol=0 ticks=184173 tps=100 nb_sec=1841
case_no=145 label=Case6.133 nb_sol=0 ticks=175482 tps=100 nb_sec=1754
case_no=145 label=Case6.133 nb_sol=0 ticks=375037 tps=100 nb_sec=3750
case_no=145 label=Case6.133 nb_sol=0 ticks=529866 tps=100 nb_sec=5298
case_no=145 label=Case6.133 nb_sol=0 ticks=321702 tps=100 nb_sec=3217
case_no=145 label=Case6.133 nb_sol=0 ticks=290579 tps=100 nb_sec=2905
case_no=145 label=Case6.133 nb_sol=0 ticks=162081 tps=100 nb_sec=1620
case_no=145 label=Case6.133 nb_sol=0 ticks=187417 tps=100 nb_sec=1874
case_no=145 label=Case6.133 nb_sol=0 ticks=385980 tps=100 nb_sec=3859
case_no=145 label=Case6.133 nb_sol=0 ticks=333117 tps=100 nb_sec=3331
case_no=145 label=Case6.133 nb_sol=0 ticks=390658 tps=100 nb_sec=3906
case_no=145 label=Case6.133 nb_sol=0 ticks=166326 tps=100 nb_sec=1663
case_no=145 label=Case6.133 nb_sol=0 ticks=199736 tps=100 nb_sec=1997
case_no=145 label=Case6.133 nb_sol=0 ticks=224774 tps=100 nb_sec=2247
case_no=145 label=Case6.133 nb_sol=0 ticks=213735 tps=100 nb_sec=2137
case_no=145 label=Case6.133 nb_sol=0 ticks=155936 tps=100 nb_sec=1559
case_no=145 label=Case6.133 nb_sol=0 ticks=470741 tps=100 nb_sec=4707
case_no=145 label=Case6.133 nb_sol=0 ticks=120620 tps=100 nb_sec=1206
case_no=145 label=Case6.133 nb_sol=0 ticks=334146 tps=100 nb_sec=3341
case_no=145 label=Case6.133 nb_sol=0 ticks=358360 tps=100 nb_sec=3583
case_no=145 label=Case6.133 nb_sol=0 ticks=363640 tps=100 nb_sec=3636
case_no=145 label=Case6.133 nb_sol=0 ticks=366173 tps=100 nb_sec=3661
case_no=145 label=Case6.133 nb_sol=0 ticks=301103 tps=100 nb_sec=3011
case_no=145 label=Case6.133 nb_sol=0 ticks=417582 tps=100 nb_sec=4175
case_no=145 label=Case6.133 nb_sol=0 ticks=315945 tps=100 nb_sec=3159
case_no=145 label=Case6.133 nb_sol=0 ticks=529466 tps=100 nb_sec=5294
case_no=145 label=Case6.133 nb_sol=0 ticks=376656 tps=100 nb_sec=3766
case_no=145 label=Case6.133 nb_sol=0 ticks=243781 tps=100 nb_sec=2437
case_no=145 label=Case6.133 nb_sol=0 ticks=394548 tps=100 nb_sec=3945
case_no=145 label=Case6.133 nb_sol=0 ticks=149578 tps=100 nb_sec=1495
case_no=145 label=Case6.133 nb_sol=0 ticks=346703 tps=100 nb_sec=3467
case_no=145 label=Case6.133 nb_sol=0 ticks=289051 tps=100 nb_sec=2890
case_no=145 label=Case6.133 nb_sol=0 ticks=166803 tps=100 nb_sec=1668
case_no=145 label=Case6.133 nb_sol=0 ticks=318695 tps=100 nb_sec=3186
case_no=145 label=Case6.133 nb_sol=0 ticks=516441 tps=100 nb_sec=5164
case_no=145 label=Case6.133 nb_sol=0 ticks=324535 tps=100 nb_sec=3245
case_no=145 label=Case6.133 nb_sol=0 ticks=255425 tps=100 nb_sec=2554
case_no=145 label=Case6.133 nb_sol=0 ticks=214569 tps=100 nb_sec=2145
case_no=145 label=Case6.133 nb_sol=0 ticks=358111 tps=100 nb_sec=3581
case_no=145 label=Case6.133 nb_sol=0 ticks=404515 tps=100 nb_sec=4045
case_no=145 label=Case6.133 nb_sol=0 ticks=295968 tps=100 nb_sec=2959
case_no=145 label=Case6.133 nb_sol=0 ticks=164914 tps=100 nb_sec=1649
case_no=145 label=Case6.133 nb_sol=0 ticks=281809 tps=100 nb_sec=2818
case_no=145 label=Case6.133 nb_sol=0 ticks=204241 tps=100 nb_sec=2042
case_no=145 label=Case6.133 nb_sol=0 ticks=267839 tps=100 nb_sec=2678
case_no=145 label=Case6.133 nb_sol=0 ticks=278039 tps=100 nb_sec=2780
case_no=145 label=Case6.133 nb_sol=0 ticks=297420 tps=100 nb_sec=2974
case_no=145 label=Case6.133 nb_sol=0 ticks=544518 tps=100 nb_sec=5445
case_no=145 label=Case6.133 nb_sol=0 ticks=320306 tps=100 nb_sec=3203
case_no=145 label=Case6.133 nb_sol=0 ticks=416080 tps=100 nb_sec=4160
case_no=145 label=Case6.133 nb_sol=0 ticks=462300 tps=100 nb_sec=4623
Nb_sol=0
Nb_sec=1735110
20-1:58:30 or 481 hours
missing cases:
none