argc=5
-M 1024
file2=30_select_Case6.120_starter_15_
checking files mod 1024 from 0 to 1023
case_no=132 label=Case6.120 nb_sol=0 ticks=265212 tps=100 nb_sec=2652
case_no=132 label=Case6.120 nb_sol=0 ticks=435004 tps=100 nb_sec=4350
case_no=132 label=Case6.120 nb_sol=0 ticks=384282 tps=100 nb_sec=3842
case_no=132 label=Case6.120 nb_sol=0 ticks=210387 tps=100 nb_sec=2103
case_no=132 label=Case6.120 nb_sol=0 ticks=271868 tps=100 nb_sec=2718
case_no=132 label=Case6.120 nb_sol=0 ticks=204127 tps=100 nb_sec=2041
case_no=132 label=Case6.120 nb_sol=0 ticks=328021 tps=100 nb_sec=3280
case_no=132 label=Case6.120 nb_sol=0 ticks=495058 tps=100 nb_sec=4950
case_no=132 label=Case6.120 nb_sol=0 ticks=409214 tps=100 nb_sec=4092
case_no=132 label=Case6.120 nb_sol=0 ticks=306569 tps=100 nb_sec=3065
case_no=132 label=Case6.120 nb_sol=0 ticks=429873 tps=100 nb_sec=4298
case_no=132 label=Case6.120 nb_sol=0 ticks=554182 tps=100 nb_sec=5541
case_no=132 label=Case6.120 nb_sol=0 ticks=544109 tps=100 nb_sec=5441
case_no=132 label=Case6.120 nb_sol=0 ticks=255824 tps=100 nb_sec=2558
case_no=132 label=Case6.120 nb_sol=0 ticks=345756 tps=100 nb_sec=3457
case_no=132 label=Case6.120 nb_sol=0 ticks=264356 tps=100 nb_sec=2643
case_no=132 label=Case6.120 nb_sol=0 ticks=396043 tps=100 nb_sec=3960
case_no=132 label=Case6.120 nb_sol=0 ticks=319812 tps=100 nb_sec=3198
case_no=132 label=Case6.120 nb_sol=0 ticks=290106 tps=100 nb_sec=2901
case_no=132 label=Case6.120 nb_sol=0 ticks=347147 tps=100 nb_sec=3471
case_no=132 label=Case6.120 nb_sol=0 ticks=361681 tps=100 nb_sec=3616
case_no=132 label=Case6.120 nb_sol=0 ticks=545419 tps=100 nb_sec=5454
case_no=132 label=Case6.120 nb_sol=0 ticks=382796 tps=100 nb_sec=3827
case_no=132 label=Case6.120 nb_sol=0 ticks=276332 tps=100 nb_sec=2763
case_no=132 label=Case6.120 nb_sol=0 ticks=367457 tps=100 nb_sec=3674
case_no=132 label=Case6.120 nb_sol=0 ticks=262314 tps=100 nb_sec=2623
case_no=132 label=Case6.120 nb_sol=0 ticks=385357 tps=100 nb_sec=3853
case_no=132 label=Case6.120 nb_sol=0 ticks=419679 tps=100 nb_sec=4196
case_no=132 label=Case6.120 nb_sol=0 ticks=275794 tps=100 nb_sec=2757
case_no=132 label=Case6.120 nb_sol=0 ticks=312325 tps=100 nb_sec=3123
case_no=132 label=Case6.120 nb_sol=0 ticks=301343 tps=100 nb_sec=3013
case_no=132 label=Case6.120 nb_sol=0 ticks=343876 tps=100 nb_sec=3438
case_no=132 label=Case6.120 nb_sol=0 ticks=398235 tps=100 nb_sec=3982
case_no=132 label=Case6.120 nb_sol=0 ticks=350527 tps=100 nb_sec=3505
case_no=132 label=Case6.120 nb_sol=0 ticks=352241 tps=100 nb_sec=3522
case_no=132 label=Case6.120 nb_sol=0 ticks=407723 tps=100 nb_sec=4077
case_no=132 label=Case6.120 nb_sol=0 ticks=203769 tps=100 nb_sec=2037
case_no=132 label=Case6.120 nb_sol=0 ticks=304430 tps=100 nb_sec=3044
case_no=132 label=Case6.120 nb_sol=0 ticks=293699 tps=100 nb_sec=2936
case_no=132 label=Case6.120 nb_sol=0 ticks=377568 tps=100 nb_sec=3775
case_no=132 label=Case6.120 nb_sol=0 ticks=539749 tps=100 nb_sec=5397
case_no=132 label=Case6.120 nb_sol=0 ticks=286854 tps=100 nb_sec=2868
case_no=132 label=Case6.120 nb_sol=0 ticks=431574 tps=100 nb_sec=4315
case_no=132 label=Case6.120 nb_sol=0 ticks=178622 tps=100 nb_sec=1786
case_no=132 label=Case6.120 nb_sol=0 ticks=275818 tps=100 nb_sec=2758
case_no=132 label=Case6.120 nb_sol=0 ticks=355718 tps=100 nb_sec=3557
case_no=132 label=Case6.120 nb_sol=0 ticks=369958 tps=100 nb_sec=3699
case_no=132 label=Case6.120 nb_sol=0 ticks=324391 tps=100 nb_sec=3243
case_no=132 label=Case6.120 nb_sol=0 ticks=645271 tps=100 nb_sec=6452
case_no=132 label=Case6.120 nb_sol=0 ticks=377437 tps=100 nb_sec=3774
case_no=132 label=Case6.120 nb_sol=0 ticks=551826 tps=100 nb_sec=5518
case_no=132 label=Case6.120 nb_sol=0 ticks=306174 tps=100 nb_sec=3061
case_no=132 label=Case6.120 nb_sol=0 ticks=272187 tps=100 nb_sec=2721
case_no=132 label=Case6.120 nb_sol=0 ticks=271045 tps=100 nb_sec=2710
case_no=132 label=Case6.120 nb_sol=0 ticks=368467 tps=100 nb_sec=3684
case_no=132 label=Case6.120 nb_sol=0 ticks=294310 tps=100 nb_sec=2943
case_no=132 label=Case6.120 nb_sol=0 ticks=325323 tps=100 nb_sec=3253
case_no=132 label=Case6.120 nb_sol=0 ticks=343415 tps=100 nb_sec=3434
case_no=132 label=Case6.120 nb_sol=0 ticks=404241 tps=100 nb_sec=4042
case_no=132 label=Case6.120 nb_sol=0 ticks=333236 tps=100 nb_sec=3332
case_no=132 label=Case6.120 nb_sol=0 ticks=339233 tps=100 nb_sec=3392
case_no=132 label=Case6.120 nb_sol=0 ticks=354361 tps=100 nb_sec=3543
case_no=132 label=Case6.120 nb_sol=0 ticks=391537 tps=100 nb_sec=3915
case_no=132 label=Case6.120 nb_sol=0 ticks=405295 tps=100 nb_sec=4052
case_no=132 label=Case6.120 nb_sol=0 ticks=371819 tps=100 nb_sec=3718
case_no=132 label=Case6.120 nb_sol=0 ticks=341908 tps=100 nb_sec=3419
case_no=132 label=Case6.120 nb_sol=0 ticks=318296 tps=100 nb_sec=3182
case_no=132 label=Case6.120 nb_sol=0 ticks=324194 tps=100 nb_sec=3241
case_no=132 label=Case6.120 nb_sol=0 ticks=362301 tps=100 nb_sec=3623
case_no=132 label=Case6.120 nb_sol=0 ticks=315877 tps=100 nb_sec=3158
case_no=132 label=Case6.120 nb_sol=0 ticks=345774 tps=100 nb_sec=3457
case_no=132 label=Case6.120 nb_sol=0 ticks=336075 tps=100 nb_sec=3360
case_no=132 label=Case6.120 nb_sol=0 ticks=342078 tps=100 nb_sec=3420
case_no=132 label=Case6.120 nb_sol=0 ticks=375372 tps=100 nb_sec=3753
case_no=132 label=Case6.120 nb_sol=0 ticks=254915 tps=100 nb_sec=2549
case_no=132 label=Case6.120 nb_sol=0 ticks=396415 tps=100 nb_sec=3964
case_no=132 label=Case6.120 nb_sol=0 ticks=366931 tps=100 nb_sec=3669
case_no=132 label=Case6.120 nb_sol=0 ticks=362237 tps=100 nb_sec=3622
case_no=132 label=Case6.120 nb_sol=0 ticks=308585 tps=100 nb_sec=3085
case_no=132 label=Case6.120 nb_sol=0 ticks=279178 tps=100 nb_sec=2791
case_no=132 label=Case6.120 nb_sol=0 ticks=339487 tps=100 nb_sec=3394
case_no=132 label=Case6.120 nb_sol=0 ticks=318417 tps=100 nb_sec=3184
case_no=132 label=Case6.120 nb_sol=0 ticks=417013 tps=100 nb_sec=4170
case_no=132 label=Case6.120 nb_sol=0 ticks=326528 tps=100 nb_sec=3265
case_no=132 label=Case6.120 nb_sol=0 ticks=371327 tps=100 nb_sec=3713
case_no=132 label=Case6.120 nb_sol=0 ticks=318430 tps=100 nb_sec=3184
case_no=132 label=Case6.120 nb_sol=0 ticks=515035 tps=100 nb_sec=5150
case_no=132 label=Case6.120 nb_sol=0 ticks=280672 tps=100 nb_sec=2806
case_no=132 label=Case6.120 nb_sol=0 ticks=315782 tps=100 nb_sec=3157
case_no=132 label=Case6.120 nb_sol=0 ticks=442322 tps=100 nb_sec=4423
case_no=132 label=Case6.120 nb_sol=0 ticks=323987 tps=100 nb_sec=3239
case_no=132 label=Case6.120 nb_sol=0 ticks=385304 tps=100 nb_sec=3853
case_no=132 label=Case6.120 nb_sol=0 ticks=248455 tps=100 nb_sec=2484
case_no=132 label=Case6.120 nb_sol=0 ticks=503994 tps=100 nb_sec=5039
case_no=132 label=Case6.120 nb_sol=0 ticks=371079 tps=100 nb_sec=3710
case_no=132 label=Case6.120 nb_sol=0 ticks=362960 tps=100 nb_sec=3629
case_no=132 label=Case6.120 nb_sol=0 ticks=294557 tps=100 nb_sec=2945
case_no=132 label=Case6.120 nb_sol=0 ticks=227649 tps=100 nb_sec=2276
case_no=132 label=Case6.120 nb_sol=0 ticks=433307 tps=100 nb_sec=4333
case_no=132 label=Case6.120 nb_sol=0 ticks=198695 tps=100 nb_sec=1986
case_no=132 label=Case6.120 nb_sol=0 ticks=240414 tps=100 nb_sec=2404
case_no=132 label=Case6.120 nb_sol=0 ticks=259807 tps=100 nb_sec=2598
case_no=132 label=Case6.120 nb_sol=0 ticks=427955 tps=100 nb_sec=4279
case_no=132 label=Case6.120 nb_sol=0 ticks=291751 tps=100 nb_sec=2917
case_no=132 label=Case6.120 nb_sol=0 ticks=373078 tps=100 nb_sec=3730
case_no=132 label=Case6.120 nb_sol=0 ticks=340394 tps=100 nb_sec=3403
case_no=132 label=Case6.120 nb_sol=0 ticks=283638 tps=100 nb_sec=2836
case_no=132 label=Case6.120 nb_sol=0 ticks=386221 tps=100 nb_sec=3862
case_no=132 label=Case6.120 nb_sol=0 ticks=312567 tps=100 nb_sec=3125
case_no=132 label=Case6.120 nb_sol=0 ticks=284375 tps=100 nb_sec=2843
case_no=132 label=Case6.120 nb_sol=0 ticks=316577 tps=100 nb_sec=3165
case_no=132 label=Case6.120 nb_sol=0 ticks=254230 tps=100 nb_sec=2542
case_no=132 label=Case6.120 nb_sol=0 ticks=379031 tps=100 nb_sec=3790
case_no=132 label=Case6.120 nb_sol=0 ticks=256316 tps=100 nb_sec=2563
case_no=132 label=Case6.120 nb_sol=0 ticks=397997 tps=100 nb_sec=3979
case_no=132 label=Case6.120 nb_sol=0 ticks=336010 tps=100 nb_sec=3360
case_no=132 label=Case6.120 nb_sol=0 ticks=282809 tps=100 nb_sec=2828
case_no=132 label=Case6.120 nb_sol=0 ticks=331195 tps=100 nb_sec=3311
case_no=132 label=Case6.120 nb_sol=0 ticks=452067 tps=100 nb_sec=4520
case_no=132 label=Case6.120 nb_sol=0 ticks=367225 tps=100 nb_sec=3672
case_no=132 label=Case6.120 nb_sol=0 ticks=408917 tps=100 nb_sec=4089
case_no=132 label=Case6.120 nb_sol=0 ticks=486920 tps=100 nb_sec=4869
case_no=132 label=Case6.120 nb_sol=0 ticks=478559 tps=100 nb_sec=4785
case_no=132 label=Case6.120 nb_sol=0 ticks=296508 tps=100 nb_sec=2965
case_no=132 label=Case6.120 nb_sol=0 ticks=370403 tps=100 nb_sec=3704
case_no=132 label=Case6.120 nb_sol=0 ticks=303340 tps=100 nb_sec=3033
case_no=132 label=Case6.120 nb_sol=0 ticks=486263 tps=100 nb_sec=4862
case_no=132 label=Case6.120 nb_sol=0 ticks=484910 tps=100 nb_sec=4849
case_no=132 label=Case6.120 nb_sol=0 ticks=286760 tps=100 nb_sec=2867
case_no=132 label=Case6.120 nb_sol=0 ticks=400412 tps=100 nb_sec=4004
case_no=132 label=Case6.120 nb_sol=0 ticks=311683 tps=100 nb_sec=3116
case_no=132 label=Case6.120 nb_sol=0 ticks=308022 tps=100 nb_sec=3080
case_no=132 label=Case6.120 nb_sol=0 ticks=457942 tps=100 nb_sec=4579
case_no=132 label=Case6.120 nb_sol=0 ticks=322051 tps=100 nb_sec=3220
case_no=132 label=Case6.120 nb_sol=0 ticks=558897 tps=100 nb_sec=5588
case_no=132 label=Case6.120 nb_sol=0 ticks=338592 tps=100 nb_sec=3385
case_no=132 label=Case6.120 nb_sol=0 ticks=407340 tps=100 nb_sec=4073
case_no=132 label=Case6.120 nb_sol=0 ticks=303932 tps=100 nb_sec=3039
case_no=132 label=Case6.120 nb_sol=0 ticks=259292 tps=100 nb_sec=2592
case_no=132 label=Case6.120 nb_sol=0 ticks=438155 tps=100 nb_sec=4381
case_no=132 label=Case6.120 nb_sol=0 ticks=323202 tps=100 nb_sec=3232
case_no=132 label=Case6.120 nb_sol=0 ticks=369583 tps=100 nb_sec=3695
case_no=132 label=Case6.120 nb_sol=0 ticks=430999 tps=100 nb_sec=4309
case_no=132 label=Case6.120 nb_sol=0 ticks=393742 tps=100 nb_sec=3937
case_no=132 label=Case6.120 nb_sol=0 ticks=334633 tps=100 nb_sec=3346
case_no=132 label=Case6.120 nb_sol=0 ticks=307231 tps=100 nb_sec=3072
case_no=132 label=Case6.120 nb_sol=0 ticks=393275 tps=100 nb_sec=3932
case_no=132 label=Case6.120 nb_sol=0 ticks=351275 tps=100 nb_sec=3512
case_no=132 label=Case6.120 nb_sol=0 ticks=421254 tps=100 nb_sec=4212
case_no=132 label=Case6.120 nb_sol=0 ticks=439341 tps=100 nb_sec=4393
case_no=132 label=Case6.120 nb_sol=0 ticks=278868 tps=100 nb_sec=2788
case_no=132 label=Case6.120 nb_sol=0 ticks=337265 tps=100 nb_sec=3372
case_no=132 label=Case6.120 nb_sol=0 ticks=298572 tps=100 nb_sec=2985
case_no=132 label=Case6.120 nb_sol=0 ticks=340678 tps=100 nb_sec=3406
case_no=132 label=Case6.120 nb_sol=0 ticks=269467 tps=100 nb_sec=2694
case_no=132 label=Case6.120 nb_sol=0 ticks=303863 tps=100 nb_sec=3038
case_no=132 label=Case6.120 nb_sol=0 ticks=371165 tps=100 nb_sec=3711
case_no=132 label=Case6.120 nb_sol=0 ticks=353614 tps=100 nb_sec=3536
case_no=132 label=Case6.120 nb_sol=0 ticks=404999 tps=100 nb_sec=4049
case_no=132 label=Case6.120 nb_sol=0 ticks=299711 tps=100 nb_sec=2997
case_no=132 label=Case6.120 nb_sol=0 ticks=398054 tps=100 nb_sec=3980
case_no=132 label=Case6.120 nb_sol=0 ticks=330191 tps=100 nb_sec=3301
case_no=132 label=Case6.120 nb_sol=0 ticks=392886 tps=100 nb_sec=3928
case_no=132 label=Case6.120 nb_sol=0 ticks=331573 tps=100 nb_sec=3315
case_no=132 label=Case6.120 nb_sol=0 ticks=321187 tps=100 nb_sec=3211
case_no=132 label=Case6.120 nb_sol=0 ticks=383068 tps=100 nb_sec=3830
case_no=132 label=Case6.120 nb_sol=0 ticks=301355 tps=100 nb_sec=3013
case_no=132 label=Case6.120 nb_sol=0 ticks=364432 tps=100 nb_sec=3644
case_no=132 label=Case6.120 nb_sol=0 ticks=306182 tps=100 nb_sec=3061
case_no=132 label=Case6.120 nb_sol=0 ticks=344950 tps=100 nb_sec=3449
case_no=132 label=Case6.120 nb_sol=0 ticks=355047 tps=100 nb_sec=3550
case_no=132 label=Case6.120 nb_sol=0 ticks=306319 tps=100 nb_sec=3063
case_no=132 label=Case6.120 nb_sol=0 ticks=294293 tps=100 nb_sec=2942
case_no=132 label=Case6.120 nb_sol=0 ticks=357729 tps=100 nb_sec=3577
case_no=132 label=Case6.120 nb_sol=0 ticks=319547 tps=100 nb_sec=3195
case_no=132 label=Case6.120 nb_sol=0 ticks=369861 tps=100 nb_sec=3698
case_no=132 label=Case6.120 nb_sol=0 ticks=380248 tps=100 nb_sec=3802
case_no=132 label=Case6.120 nb_sol=0 ticks=350383 tps=100 nb_sec=3503
case_no=132 label=Case6.120 nb_sol=0 ticks=272632 tps=100 nb_sec=2726
case_no=132 label=Case6.120 nb_sol=0 ticks=340659 tps=100 nb_sec=3406
case_no=132 label=Case6.120 nb_sol=0 ticks=330725 tps=100 nb_sec=3307
case_no=132 label=Case6.120 nb_sol=0 ticks=341722 tps=100 nb_sec=3417
case_no=132 label=Case6.120 nb_sol=0 ticks=304506 tps=100 nb_sec=3045
case_no=132 label=Case6.120 nb_sol=0 ticks=334287 tps=100 nb_sec=3342
case_no=132 label=Case6.120 nb_sol=0 ticks=394383 tps=100 nb_sec=3943
case_no=132 label=Case6.120 nb_sol=0 ticks=386040 tps=100 nb_sec=3860
case_no=132 label=Case6.120 nb_sol=0 ticks=361730 tps=100 nb_sec=3617
case_no=132 label=Case6.120 nb_sol=0 ticks=315749 tps=100 nb_sec=3157
case_no=132 label=Case6.120 nb_sol=0 ticks=315256 tps=100 nb_sec=3152
case_no=132 label=Case6.120 nb_sol=0 ticks=321502 tps=100 nb_sec=3215
case_no=132 label=Case6.120 nb_sol=0 ticks=287415 tps=100 nb_sec=2874
case_no=132 label=Case6.120 nb_sol=0 ticks=324037 tps=100 nb_sec=3240
case_no=132 label=Case6.120 nb_sol=0 ticks=376182 tps=100 nb_sec=3761
case_no=132 label=Case6.120 nb_sol=0 ticks=365108 tps=100 nb_sec=3651
case_no=132 label=Case6.120 nb_sol=0 ticks=315097 tps=100 nb_sec=3150
case_no=132 label=Case6.120 nb_sol=0 ticks=317864 tps=100 nb_sec=3178
case_no=132 label=Case6.120 nb_sol=0 ticks=258472 tps=100 nb_sec=2584
case_no=132 label=Case6.120 nb_sol=0 ticks=286659 tps=100 nb_sec=2866
case_no=132 label=Case6.120 nb_sol=0 ticks=343954 tps=100 nb_sec=3439
case_no=132 label=Case6.120 nb_sol=0 ticks=327234 tps=100 nb_sec=3272
case_no=132 label=Case6.120 nb_sol=0 ticks=325666 tps=100 nb_sec=3256
case_no=132 label=Case6.120 nb_sol=0 ticks=385223 tps=100 nb_sec=3852
case_no=132 label=Case6.120 nb_sol=0 ticks=281795 tps=100 nb_sec=2817
case_no=132 label=Case6.120 nb_sol=0 ticks=281212 tps=100 nb_sec=2812
case_no=132 label=Case6.120 nb_sol=0 ticks=343002 tps=100 nb_sec=3430
case_no=132 label=Case6.120 nb_sol=0 ticks=346555 tps=100 nb_sec=3465
case_no=132 label=Case6.120 nb_sol=0 ticks=338139 tps=100 nb_sec=3381
case_no=132 label=Case6.120 nb_sol=0 ticks=277354 tps=100 nb_sec=2773
case_no=132 label=Case6.120 nb_sol=0 ticks=249059 tps=100 nb_sec=2490
case_no=132 label=Case6.120 nb_sol=0 ticks=262154 tps=100 nb_sec=2621
case_no=132 label=Case6.120 nb_sol=0 ticks=358859 tps=100 nb_sec=3588
case_no=132 label=Case6.120 nb_sol=0 ticks=393960 tps=100 nb_sec=3939
case_no=132 label=Case6.120 nb_sol=0 ticks=325936 tps=100 nb_sec=3259
case_no=132 label=Case6.120 nb_sol=0 ticks=364569 tps=100 nb_sec=3645
case_no=132 label=Case6.120 nb_sol=0 ticks=332488 tps=100 nb_sec=3324
case_no=132 label=Case6.120 nb_sol=0 ticks=320625 tps=100 nb_sec=3206
case_no=132 label=Case6.120 nb_sol=0 ticks=380712 tps=100 nb_sec=3807
case_no=132 label=Case6.120 nb_sol=0 ticks=262796 tps=100 nb_sec=2627
case_no=132 label=Case6.120 nb_sol=0 ticks=308946 tps=100 nb_sec=3089
case_no=132 label=Case6.120 nb_sol=0 ticks=303026 tps=100 nb_sec=3030
case_no=132 label=Case6.120 nb_sol=0 ticks=395894 tps=100 nb_sec=3958
case_no=132 label=Case6.120 nb_sol=0 ticks=276283 tps=100 nb_sec=2762
case_no=132 label=Case6.120 nb_sol=0 ticks=291602 tps=100 nb_sec=2916
case_no=132 label=Case6.120 nb_sol=0 ticks=316063 tps=100 nb_sec=3160
case_no=132 label=Case6.120 nb_sol=0 ticks=366666 tps=100 nb_sec=3666
case_no=132 label=Case6.120 nb_sol=0 ticks=416527 tps=100 nb_sec=4165
case_no=132 label=Case6.120 nb_sol=0 ticks=323416 tps=100 nb_sec=3234
case_no=132 label=Case6.120 nb_sol=0 ticks=281122 tps=100 nb_sec=2811
case_no=132 label=Case6.120 nb_sol=0 ticks=203328 tps=100 nb_sec=2033
case_no=132 label=Case6.120 nb_sol=0 ticks=409791 tps=100 nb_sec=4097
case_no=132 label=Case6.120 nb_sol=0 ticks=261690 tps=100 nb_sec=2616
case_no=132 label=Case6.120 nb_sol=0 ticks=335669 tps=100 nb_sec=3356
case_no=132 label=Case6.120 nb_sol=0 ticks=357123 tps=100 nb_sec=3571
case_no=132 label=Case6.120 nb_sol=0 ticks=273067 tps=100 nb_sec=2730
case_no=132 label=Case6.120 nb_sol=0 ticks=362847 tps=100 nb_sec=3628
case_no=132 label=Case6.120 nb_sol=0 ticks=359624 tps=100 nb_sec=3596
case_no=132 label=Case6.120 nb_sol=0 ticks=309666 tps=100 nb_sec=3096
case_no=132 label=Case6.120 nb_sol=0 ticks=290360 tps=100 nb_sec=2903
case_no=132 label=Case6.120 nb_sol=0 ticks=301720 tps=100 nb_sec=3017
case_no=132 label=Case6.120 nb_sol=0 ticks=324608 tps=100 nb_sec=3246
case_no=132 label=Case6.120 nb_sol=0 ticks=369466 tps=100 nb_sec=3694
case_no=132 label=Case6.120 nb_sol=0 ticks=289077 tps=100 nb_sec=2890
case_no=132 label=Case6.120 nb_sol=0 ticks=357925 tps=100 nb_sec=3579
case_no=132 label=Case6.120 nb_sol=0 ticks=531593 tps=100 nb_sec=5315
case_no=132 label=Case6.120 nb_sol=0 ticks=331274 tps=100 nb_sec=3312
case_no=132 label=Case6.120 nb_sol=0 ticks=262743 tps=100 nb_sec=2627
case_no=132 label=Case6.120 nb_sol=0 ticks=352879 tps=100 nb_sec=3528
case_no=132 label=Case6.120 nb_sol=0 ticks=422639 tps=100 nb_sec=4226
case_no=132 label=Case6.120 nb_sol=0 ticks=274565 tps=100 nb_sec=2745
case_no=132 label=Case6.120 nb_sol=0 ticks=266287 tps=100 nb_sec=2662
case_no=132 label=Case6.120 nb_sol=0 ticks=333141 tps=100 nb_sec=3331
case_no=132 label=Case6.120 nb_sol=0 ticks=439696 tps=100 nb_sec=4396
case_no=132 label=Case6.120 nb_sol=0 ticks=340837 tps=100 nb_sec=3408
case_no=132 label=Case6.120 nb_sol=0 ticks=189152 tps=100 nb_sec=1891
case_no=132 label=Case6.120 nb_sol=0 ticks=313766 tps=100 nb_sec=3137
case_no=132 label=Case6.120 nb_sol=0 ticks=281484 tps=100 nb_sec=2814
case_no=132 label=Case6.120 nb_sol=0 ticks=351320 tps=100 nb_sec=3513
case_no=132 label=Case6.120 nb_sol=0 ticks=406763 tps=100 nb_sec=4067
case_no=132 label=Case6.120 nb_sol=0 ticks=358562 tps=100 nb_sec=3585
case_no=132 label=Case6.120 nb_sol=0 ticks=288068 tps=100 nb_sec=2880
case_no=132 label=Case6.120 nb_sol=0 ticks=415940 tps=100 nb_sec=4159
case_no=132 label=Case6.120 nb_sol=0 ticks=388250 tps=100 nb_sec=3882
case_no=132 label=Case6.120 nb_sol=0 ticks=364674 tps=100 nb_sec=3646
case_no=132 label=Case6.120 nb_sol=0 ticks=258518 tps=100 nb_sec=2585
case_no=132 label=Case6.120 nb_sol=0 ticks=277095 tps=100 nb_sec=2770
case_no=132 label=Case6.120 nb_sol=0 ticks=346481 tps=100 nb_sec=3464
case_no=132 label=Case6.120 nb_sol=0 ticks=299095 tps=100 nb_sec=2990
case_no=132 label=Case6.120 nb_sol=0 ticks=348585 tps=100 nb_sec=3485
case_no=132 label=Case6.120 nb_sol=0 ticks=266117 tps=100 nb_sec=2661
case_no=132 label=Case6.120 nb_sol=0 ticks=335176 tps=100 nb_sec=3351
case_no=132 label=Case6.120 nb_sol=0 ticks=325246 tps=100 nb_sec=3252
case_no=132 label=Case6.120 nb_sol=0 ticks=341278 tps=100 nb_sec=3412
case_no=132 label=Case6.120 nb_sol=0 ticks=183295 tps=100 nb_sec=1832
case_no=132 label=Case6.120 nb_sol=0 ticks=262773 tps=100 nb_sec=2627
case_no=132 label=Case6.120 nb_sol=0 ticks=219270 tps=100 nb_sec=2192
case_no=132 label=Case6.120 nb_sol=0 ticks=421653 tps=100 nb_sec=4216
case_no=132 label=Case6.120 nb_sol=0 ticks=267042 tps=100 nb_sec=2670
case_no=132 label=Case6.120 nb_sol=0 ticks=254317 tps=100 nb_sec=2543
case_no=132 label=Case6.120 nb_sol=0 ticks=331421 tps=100 nb_sec=3314
case_no=132 label=Case6.120 nb_sol=0 ticks=287471 tps=100 nb_sec=2874
case_no=132 label=Case6.120 nb_sol=0 ticks=373145 tps=100 nb_sec=3731
case_no=132 label=Case6.120 nb_sol=0 ticks=296335 tps=100 nb_sec=2963
case_no=132 label=Case6.120 nb_sol=0 ticks=277558 tps=100 nb_sec=2775
case_no=132 label=Case6.120 nb_sol=0 ticks=303355 tps=100 nb_sec=3033
case_no=132 label=Case6.120 nb_sol=0 ticks=308397 tps=100 nb_sec=3083
case_no=132 label=Case6.120 nb_sol=0 ticks=254750 tps=100 nb_sec=2547
case_no=132 label=Case6.120 nb_sol=0 ticks=203383 tps=100 nb_sec=2033
case_no=132 label=Case6.120 nb_sol=0 ticks=315795 tps=100 nb_sec=3157
case_no=132 label=Case6.120 nb_sol=0 ticks=339508 tps=100 nb_sec=3395
case_no=132 label=Case6.120 nb_sol=0 ticks=279776 tps=100 nb_sec=2797
case_no=132 label=Case6.120 nb_sol=0 ticks=322049 tps=100 nb_sec=3220
case_no=132 label=Case6.120 nb_sol=0 ticks=422302 tps=100 nb_sec=4223
case_no=132 label=Case6.120 nb_sol=0 ticks=328713 tps=100 nb_sec=3287
case_no=132 label=Case6.120 nb_sol=0 ticks=314205 tps=100 nb_sec=3142
case_no=132 label=Case6.120 nb_sol=0 ticks=360859 tps=100 nb_sec=3608
case_no=132 label=Case6.120 nb_sol=0 ticks=429899 tps=100 nb_sec=4298
case_no=132 label=Case6.120 nb_sol=0 ticks=361434 tps=100 nb_sec=3614
case_no=132 label=Case6.120 nb_sol=0 ticks=384169 tps=100 nb_sec=3841
case_no=132 label=Case6.120 nb_sol=0 ticks=515342 tps=100 nb_sec=5153
case_no=132 label=Case6.120 nb_sol=0 ticks=351702 tps=100 nb_sec=3517
case_no=132 label=Case6.120 nb_sol=0 ticks=437167 tps=100 nb_sec=4371
case_no=132 label=Case6.120 nb_sol=0 ticks=321551 tps=100 nb_sec=3215
case_no=132 label=Case6.120 nb_sol=0 ticks=375704 tps=100 nb_sec=3757
case_no=132 label=Case6.120 nb_sol=0 ticks=342468 tps=100 nb_sec=3424
case_no=132 label=Case6.120 nb_sol=0 ticks=390031 tps=100 nb_sec=3900
case_no=132 label=Case6.120 nb_sol=0 ticks=296090 tps=100 nb_sec=2960
case_no=132 label=Case6.120 nb_sol=0 ticks=264217 tps=100 nb_sec=2642
case_no=132 label=Case6.120 nb_sol=0 ticks=386640 tps=100 nb_sec=3866
case_no=132 label=Case6.120 nb_sol=0 ticks=390544 tps=100 nb_sec=3905
case_no=132 label=Case6.120 nb_sol=0 ticks=257216 tps=100 nb_sec=2572
case_no=132 label=Case6.120 nb_sol=0 ticks=341876 tps=100 nb_sec=3418
case_no=132 label=Case6.120 nb_sol=0 ticks=366655 tps=100 nb_sec=3666
case_no=132 label=Case6.120 nb_sol=0 ticks=286799 tps=100 nb_sec=2867
case_no=132 label=Case6.120 nb_sol=0 ticks=401053 tps=100 nb_sec=4010
case_no=132 label=Case6.120 nb_sol=0 ticks=258884 tps=100 nb_sec=2588
case_no=132 label=Case6.120 nb_sol=0 ticks=344298 tps=100 nb_sec=3442
case_no=132 label=Case6.120 nb_sol=0 ticks=258559 tps=100 nb_sec=2585
case_no=132 label=Case6.120 nb_sol=0 ticks=497641 tps=100 nb_sec=4976
case_no=132 label=Case6.120 nb_sol=0 ticks=294309 tps=100 nb_sec=2943
case_no=132 label=Case6.120 nb_sol=0 ticks=294632 tps=100 nb_sec=2946
case_no=132 label=Case6.120 nb_sol=0 ticks=314009 tps=100 nb_sec=3140
case_no=132 label=Case6.120 nb_sol=0 ticks=226032 tps=100 nb_sec=2260
case_no=132 label=Case6.120 nb_sol=0 ticks=423810 tps=100 nb_sec=4238
case_no=132 label=Case6.120 nb_sol=0 ticks=257002 tps=100 nb_sec=2570
case_no=132 label=Case6.120 nb_sol=0 ticks=390563 tps=100 nb_sec=3905
case_no=132 label=Case6.120 nb_sol=0 ticks=428319 tps=100 nb_sec=4283
case_no=132 label=Case6.120 nb_sol=0 ticks=346859 tps=100 nb_sec=3468
case_no=132 label=Case6.120 nb_sol=0 ticks=487723 tps=100 nb_sec=4877
case_no=132 label=Case6.120 nb_sol=0 ticks=304457 tps=100 nb_sec=3044
case_no=132 label=Case6.120 nb_sol=0 ticks=366707 tps=100 nb_sec=3667
case_no=132 label=Case6.120 nb_sol=0 ticks=312051 tps=100 nb_sec=3120
case_no=132 label=Case6.120 nb_sol=0 ticks=290272 tps=100 nb_sec=2902
case_no=132 label=Case6.120 nb_sol=0 ticks=285124 tps=100 nb_sec=2851
case_no=132 label=Case6.120 nb_sol=0 ticks=385597 tps=100 nb_sec=3855
case_no=132 label=Case6.120 nb_sol=0 ticks=314664 tps=100 nb_sec=3146
case_no=132 label=Case6.120 nb_sol=0 ticks=293001 tps=100 nb_sec=2930
case_no=132 label=Case6.120 nb_sol=0 ticks=368959 tps=100 nb_sec=3689
case_no=132 label=Case6.120 nb_sol=0 ticks=272733 tps=100 nb_sec=2727
case_no=132 label=Case6.120 nb_sol=0 ticks=338781 tps=100 nb_sec=3387
case_no=132 label=Case6.120 nb_sol=0 ticks=252043 tps=100 nb_sec=2520
case_no=132 label=Case6.120 nb_sol=0 ticks=387947 tps=100 nb_sec=3879
case_no=132 label=Case6.120 nb_sol=0 ticks=253067 tps=100 nb_sec=2530
case_no=132 label=Case6.120 nb_sol=0 ticks=307096 tps=100 nb_sec=3070
case_no=132 label=Case6.120 nb_sol=0 ticks=334939 tps=100 nb_sec=3349
case_no=132 label=Case6.120 nb_sol=0 ticks=319131 tps=100 nb_sec=3191
case_no=132 label=Case6.120 nb_sol=0 ticks=300752 tps=100 nb_sec=3007
case_no=132 label=Case6.120 nb_sol=0 ticks=555218 tps=100 nb_sec=5552
case_no=132 label=Case6.120 nb_sol=0 ticks=406720 tps=100 nb_sec=4067
case_no=132 label=Case6.120 nb_sol=0 ticks=546122 tps=100 nb_sec=5461
case_no=132 label=Case6.120 nb_sol=0 ticks=241566 tps=100 nb_sec=2415
case_no=132 label=Case6.120 nb_sol=0 ticks=379739 tps=100 nb_sec=3797
case_no=132 label=Case6.120 nb_sol=0 ticks=218925 tps=100 nb_sec=2189
case_no=132 label=Case6.120 nb_sol=0 ticks=327211 tps=100 nb_sec=3272
case_no=132 label=Case6.120 nb_sol=0 ticks=189211 tps=100 nb_sec=1892
case_no=132 label=Case6.120 nb_sol=0 ticks=247891 tps=100 nb_sec=2478
case_no=132 label=Case6.120 nb_sol=0 ticks=306280 tps=100 nb_sec=3062
case_no=132 label=Case6.120 nb_sol=0 ticks=289448 tps=100 nb_sec=2894
case_no=132 label=Case6.120 nb_sol=0 ticks=390866 tps=100 nb_sec=3908
case_no=132 label=Case6.120 nb_sol=0 ticks=583406 tps=100 nb_sec=5834
case_no=132 label=Case6.120 nb_sol=0 ticks=256248 tps=100 nb_sec=2562
case_no=132 label=Case6.120 nb_sol=0 ticks=546362 tps=100 nb_sec=5463
case_no=132 label=Case6.120 nb_sol=0 ticks=374432 tps=100 nb_sec=3744
case_no=132 label=Case6.120 nb_sol=0 ticks=308441 tps=100 nb_sec=3084
case_no=132 label=Case6.120 nb_sol=0 ticks=500239 tps=100 nb_sec=5002
case_no=132 label=Case6.120 nb_sol=0 ticks=376404 tps=100 nb_sec=3764
case_no=132 label=Case6.120 nb_sol=0 ticks=381793 tps=100 nb_sec=3817
case_no=132 label=Case6.120 nb_sol=0 ticks=359384 tps=100 nb_sec=3593
case_no=132 label=Case6.120 nb_sol=0 ticks=311136 tps=100 nb_sec=3111
case_no=132 label=Case6.120 nb_sol=0 ticks=349602 tps=100 nb_sec=3496
case_no=132 label=Case6.120 nb_sol=0 ticks=277636 tps=100 nb_sec=2776
case_no=132 label=Case6.120 nb_sol=0 ticks=346856 tps=100 nb_sec=3468
case_no=132 label=Case6.120 nb_sol=0 ticks=346758 tps=100 nb_sec=3467
case_no=132 label=Case6.120 nb_sol=0 ticks=335709 tps=100 nb_sec=3357
case_no=132 label=Case6.120 nb_sol=0 ticks=309278 tps=100 nb_sec=3092
case_no=132 label=Case6.120 nb_sol=0 ticks=354203 tps=100 nb_sec=3542
case_no=132 label=Case6.120 nb_sol=0 ticks=362948 tps=100 nb_sec=3629
case_no=132 label=Case6.120 nb_sol=0 ticks=316078 tps=100 nb_sec=3160
case_no=132 label=Case6.120 nb_sol=0 ticks=303818 tps=100 nb_sec=3038
case_no=132 label=Case6.120 nb_sol=0 ticks=325048 tps=100 nb_sec=3250
case_no=132 label=Case6.120 nb_sol=0 ticks=395226 tps=100 nb_sec=3952
case_no=132 label=Case6.120 nb_sol=0 ticks=356227 tps=100 nb_sec=3562
case_no=132 label=Case6.120 nb_sol=0 ticks=341349 tps=100 nb_sec=3413
case_no=132 label=Case6.120 nb_sol=0 ticks=264946 tps=100 nb_sec=2649
case_no=132 label=Case6.120 nb_sol=0 ticks=514280 tps=100 nb_sec=5142
case_no=132 label=Case6.120 nb_sol=0 ticks=393308 tps=100 nb_sec=3933
case_no=132 label=Case6.120 nb_sol=0 ticks=334891 tps=100 nb_sec=3348
case_no=132 label=Case6.120 nb_sol=0 ticks=322485 tps=100 nb_sec=3224
case_no=132 label=Case6.120 nb_sol=0 ticks=466727 tps=100 nb_sec=4667
case_no=132 label=Case6.120 nb_sol=0 ticks=343933 tps=100 nb_sec=3439
case_no=132 label=Case6.120 nb_sol=0 ticks=442129 tps=100 nb_sec=4421
case_no=132 label=Case6.120 nb_sol=0 ticks=419671 tps=100 nb_sec=4196
case_no=132 label=Case6.120 nb_sol=0 ticks=327393 tps=100 nb_sec=3273
case_no=132 label=Case6.120 nb_sol=0 ticks=346242 tps=100 nb_sec=3462
case_no=132 label=Case6.120 nb_sol=0 ticks=343585 tps=100 nb_sec=3435
case_no=132 label=Case6.120 nb_sol=0 ticks=372994 tps=100 nb_sec=3729
case_no=132 label=Case6.120 nb_sol=0 ticks=355611 tps=100 nb_sec=3556
case_no=132 label=Case6.120 nb_sol=0 ticks=347407 tps=100 nb_sec=3474
case_no=132 label=Case6.120 nb_sol=0 ticks=428582 tps=100 nb_sec=4285
case_no=132 label=Case6.120 nb_sol=0 ticks=403327 tps=100 nb_sec=4033
case_no=132 label=Case6.120 nb_sol=0 ticks=258776 tps=100 nb_sec=2587
case_no=132 label=Case6.120 nb_sol=0 ticks=429002 tps=100 nb_sec=4290
case_no=132 label=Case6.120 nb_sol=0 ticks=349618 tps=100 nb_sec=3496
case_no=132 label=Case6.120 nb_sol=0 ticks=348988 tps=100 nb_sec=3489
case_no=132 label=Case6.120 nb_sol=0 ticks=339786 tps=100 nb_sec=3397
case_no=132 label=Case6.120 nb_sol=0 ticks=502306 tps=100 nb_sec=5023
case_no=132 label=Case6.120 nb_sol=0 ticks=504645 tps=100 nb_sec=5046
case_no=132 label=Case6.120 nb_sol=0 ticks=246582 tps=100 nb_sec=2465
case_no=132 label=Case6.120 nb_sol=0 ticks=417867 tps=100 nb_sec=4178
case_no=132 label=Case6.120 nb_sol=0 ticks=291373 tps=100 nb_sec=2913
case_no=132 label=Case6.120 nb_sol=0 ticks=346281 tps=100 nb_sec=3462
case_no=132 label=Case6.120 nb_sol=0 ticks=338656 tps=100 nb_sec=3386
case_no=132 label=Case6.120 nb_sol=0 ticks=343022 tps=100 nb_sec=3430
case_no=132 label=Case6.120 nb_sol=0 ticks=252073 tps=100 nb_sec=2520
case_no=132 label=Case6.120 nb_sol=0 ticks=298376 tps=100 nb_sec=2983
case_no=132 label=Case6.120 nb_sol=0 ticks=327010 tps=100 nb_sec=3270
case_no=132 label=Case6.120 nb_sol=0 ticks=290515 tps=100 nb_sec=2905
case_no=132 label=Case6.120 nb_sol=0 ticks=313156 tps=100 nb_sec=3131
case_no=132 label=Case6.120 nb_sol=0 ticks=246761 tps=100 nb_sec=2467
case_no=132 label=Case6.120 nb_sol=0 ticks=299314 tps=100 nb_sec=2993
case_no=132 label=Case6.120 nb_sol=0 ticks=302148 tps=100 nb_sec=3021
case_no=132 label=Case6.120 nb_sol=0 ticks=341748 tps=100 nb_sec=3417
case_no=132 label=Case6.120 nb_sol=0 ticks=257603 tps=100 nb_sec=2576
case_no=132 label=Case6.120 nb_sol=0 ticks=225621 tps=100 nb_sec=2256
case_no=132 label=Case6.120 nb_sol=0 ticks=335621 tps=100 nb_sec=3356
case_no=132 label=Case6.120 nb_sol=0 ticks=344543 tps=100 nb_sec=3445
case_no=132 label=Case6.120 nb_sol=0 ticks=278432 tps=100 nb_sec=2784
case_no=132 label=Case6.120 nb_sol=0 ticks=213329 tps=100 nb_sec=2133
case_no=132 label=Case6.120 nb_sol=0 ticks=215765 tps=100 nb_sec=2157
case_no=132 label=Case6.120 nb_sol=0 ticks=288092 tps=100 nb_sec=2880
case_no=132 label=Case6.120 nb_sol=0 ticks=326326 tps=100 nb_sec=3263
case_no=132 label=Case6.120 nb_sol=0 ticks=344190 tps=100 nb_sec=3441
case_no=132 label=Case6.120 nb_sol=0 ticks=249416 tps=100 nb_sec=2494
case_no=132 label=Case6.120 nb_sol=0 ticks=340494 tps=100 nb_sec=3404
case_no=132 label=Case6.120 nb_sol=0 ticks=360326 tps=100 nb_sec=3603
case_no=132 label=Case6.120 nb_sol=0 ticks=270035 tps=100 nb_sec=2700
case_no=132 label=Case6.120 nb_sol=0 ticks=326192 tps=100 nb_sec=3261
case_no=132 label=Case6.120 nb_sol=0 ticks=311493 tps=100 nb_sec=3114
case_no=132 label=Case6.120 nb_sol=0 ticks=316620 tps=100 nb_sec=3166
case_no=132 label=Case6.120 nb_sol=0 ticks=443349 tps=100 nb_sec=4433
case_no=132 label=Case6.120 nb_sol=0 ticks=233009 tps=100 nb_sec=2330
case_no=132 label=Case6.120 nb_sol=0 ticks=319200 tps=100 nb_sec=3192
case_no=132 label=Case6.120 nb_sol=0 ticks=320032 tps=100 nb_sec=3200
case_no=132 label=Case6.120 nb_sol=0 ticks=271708 tps=100 nb_sec=2717
case_no=132 label=Case6.120 nb_sol=0 ticks=318499 tps=100 nb_sec=3184
case_no=132 label=Case6.120 nb_sol=0 ticks=342556 tps=100 nb_sec=3425
case_no=132 label=Case6.120 nb_sol=0 ticks=267274 tps=100 nb_sec=2672
case_no=132 label=Case6.120 nb_sol=0 ticks=285650 tps=100 nb_sec=2856
case_no=132 label=Case6.120 nb_sol=0 ticks=315757 tps=100 nb_sec=3157
case_no=132 label=Case6.120 nb_sol=0 ticks=218493 tps=100 nb_sec=2184
case_no=132 label=Case6.120 nb_sol=0 ticks=324874 tps=100 nb_sec=3248
case_no=132 label=Case6.120 nb_sol=0 ticks=303330 tps=100 nb_sec=3033
case_no=132 label=Case6.120 nb_sol=0 ticks=351621 tps=100 nb_sec=3516
case_no=132 label=Case6.120 nb_sol=0 ticks=321985 tps=100 nb_sec=3219
case_no=132 label=Case6.120 nb_sol=0 ticks=293430 tps=100 nb_sec=2934
case_no=132 label=Case6.120 nb_sol=0 ticks=318332 tps=100 nb_sec=3183
case_no=132 label=Case6.120 nb_sol=0 ticks=374998 tps=100 nb_sec=3749
case_no=132 label=Case6.120 nb_sol=0 ticks=330861 tps=100 nb_sec=3308
case_no=132 label=Case6.120 nb_sol=0 ticks=361097 tps=100 nb_sec=3610
case_no=132 label=Case6.120 nb_sol=0 ticks=320942 tps=100 nb_sec=3209
case_no=132 label=Case6.120 nb_sol=0 ticks=333309 tps=100 nb_sec=3333
case_no=132 label=Case6.120 nb_sol=0 ticks=351388 tps=100 nb_sec=3513
case_no=132 label=Case6.120 nb_sol=0 ticks=409673 tps=100 nb_sec=4096
case_no=132 label=Case6.120 nb_sol=0 ticks=310999 tps=100 nb_sec=3109
case_no=132 label=Case6.120 nb_sol=0 ticks=382356 tps=100 nb_sec=3823
case_no=132 label=Case6.120 nb_sol=0 ticks=394425 tps=100 nb_sec=3944
case_no=132 label=Case6.120 nb_sol=0 ticks=404127 tps=100 nb_sec=4041
case_no=132 label=Case6.120 nb_sol=0 ticks=380384 tps=100 nb_sec=3803
case_no=132 label=Case6.120 nb_sol=0 ticks=231353 tps=100 nb_sec=2313
case_no=132 label=Case6.120 nb_sol=0 ticks=347170 tps=100 nb_sec=3471
case_no=132 label=Case6.120 nb_sol=0 ticks=319942 tps=100 nb_sec=3199
case_no=132 label=Case6.120 nb_sol=0 ticks=554524 tps=100 nb_sec=5545
case_no=132 label=Case6.120 nb_sol=0 ticks=365647 tps=100 nb_sec=3656
case_no=132 label=Case6.120 nb_sol=0 ticks=611104 tps=100 nb_sec=6111
case_no=132 label=Case6.120 nb_sol=0 ticks=331039 tps=100 nb_sec=3310
case_no=132 label=Case6.120 nb_sol=0 ticks=504879 tps=100 nb_sec=5048
case_no=132 label=Case6.120 nb_sol=0 ticks=342086 tps=100 nb_sec=3420
case_no=132 label=Case6.120 nb_sol=0 ticks=563757 tps=100 nb_sec=5637
case_no=132 label=Case6.120 nb_sol=0 ticks=450049 tps=100 nb_sec=4500
case_no=132 label=Case6.120 nb_sol=0 ticks=426695 tps=100 nb_sec=4266
case_no=132 label=Case6.120 nb_sol=0 ticks=396055 tps=100 nb_sec=3960
case_no=132 label=Case6.120 nb_sol=0 ticks=377748 tps=100 nb_sec=3777
case_no=132 label=Case6.120 nb_sol=0 ticks=382170 tps=100 nb_sec=3821
case_no=132 label=Case6.120 nb_sol=0 ticks=320393 tps=100 nb_sec=3203
case_no=132 label=Case6.120 nb_sol=0 ticks=296561 tps=100 nb_sec=2965
case_no=132 label=Case6.120 nb_sol=0 ticks=297977 tps=100 nb_sec=2979
case_no=132 label=Case6.120 nb_sol=0 ticks=350124 tps=100 nb_sec=3501
case_no=132 label=Case6.120 nb_sol=0 ticks=286637 tps=100 nb_sec=2866
case_no=132 label=Case6.120 nb_sol=0 ticks=351366 tps=100 nb_sec=3513
case_no=132 label=Case6.120 nb_sol=0 ticks=322841 tps=100 nb_sec=3228
case_no=132 label=Case6.120 nb_sol=0 ticks=308770 tps=100 nb_sec=3087
case_no=132 label=Case6.120 nb_sol=0 ticks=370097 tps=100 nb_sec=3700
case_no=132 label=Case6.120 nb_sol=0 ticks=357146 tps=100 nb_sec=3571
case_no=132 label=Case6.120 nb_sol=0 ticks=513711 tps=100 nb_sec=5137
case_no=132 label=Case6.120 nb_sol=0 ticks=253824 tps=100 nb_sec=2538
case_no=132 label=Case6.120 nb_sol=0 ticks=315536 tps=100 nb_sec=3155
case_no=132 label=Case6.120 nb_sol=0 ticks=355657 tps=100 nb_sec=3556
case_no=132 label=Case6.120 nb_sol=0 ticks=338828 tps=100 nb_sec=3388
case_no=132 label=Case6.120 nb_sol=0 ticks=348778 tps=100 nb_sec=3487
case_no=132 label=Case6.120 nb_sol=0 ticks=215462 tps=100 nb_sec=2154
case_no=132 label=Case6.120 nb_sol=0 ticks=326319 tps=100 nb_sec=3263
case_no=132 label=Case6.120 nb_sol=0 ticks=376471 tps=100 nb_sec=3764
case_no=132 label=Case6.120 nb_sol=0 ticks=478149 tps=100 nb_sec=4781
case_no=132 label=Case6.120 nb_sol=0 ticks=357417 tps=100 nb_sec=3574
case_no=132 label=Case6.120 nb_sol=0 ticks=282894 tps=100 nb_sec=2828
case_no=132 label=Case6.120 nb_sol=0 ticks=250495 tps=100 nb_sec=2504
case_no=132 label=Case6.120 nb_sol=0 ticks=391111 tps=100 nb_sec=3911
case_no=132 label=Case6.120 nb_sol=0 ticks=335463 tps=100 nb_sec=3354
case_no=132 label=Case6.120 nb_sol=0 ticks=436639 tps=100 nb_sec=4366
case_no=132 label=Case6.120 nb_sol=0 ticks=362810 tps=100 nb_sec=3628
case_no=132 label=Case6.120 nb_sol=0 ticks=394248 tps=100 nb_sec=3942
case_no=132 label=Case6.120 nb_sol=0 ticks=492841 tps=100 nb_sec=4928
case_no=132 label=Case6.120 nb_sol=0 ticks=377747 tps=100 nb_sec=3777
case_no=132 label=Case6.120 nb_sol=0 ticks=349030 tps=100 nb_sec=3490
case_no=132 label=Case6.120 nb_sol=0 ticks=429911 tps=100 nb_sec=4299
case_no=132 label=Case6.120 nb_sol=0 ticks=399144 tps=100 nb_sec=3991
case_no=132 label=Case6.120 nb_sol=0 ticks=340473 tps=100 nb_sec=3404
case_no=132 label=Case6.120 nb_sol=0 ticks=319495 tps=100 nb_sec=3194
case_no=132 label=Case6.120 nb_sol=0 ticks=393728 tps=100 nb_sec=3937
case_no=132 label=Case6.120 nb_sol=0 ticks=334766 tps=100 nb_sec=3347
case_no=132 label=Case6.120 nb_sol=0 ticks=344617 tps=100 nb_sec=3446
case_no=132 label=Case6.120 nb_sol=0 ticks=356197 tps=100 nb_sec=3561
case_no=132 label=Case6.120 nb_sol=0 ticks=296249 tps=100 nb_sec=2962
case_no=132 label=Case6.120 nb_sol=0 ticks=329121 tps=100 nb_sec=3291
case_no=132 label=Case6.120 nb_sol=0 ticks=348257 tps=100 nb_sec=3482
case_no=132 label=Case6.120 nb_sol=0 ticks=378986 tps=100 nb_sec=3789
case_no=132 label=Case6.120 nb_sol=0 ticks=407094 tps=100 nb_sec=4070
case_no=132 label=Case6.120 nb_sol=0 ticks=325889 tps=100 nb_sec=3258
case_no=132 label=Case6.120 nb_sol=0 ticks=342563 tps=100 nb_sec=3425
case_no=132 label=Case6.120 nb_sol=0 ticks=355873 tps=100 nb_sec=3558
case_no=132 label=Case6.120 nb_sol=0 ticks=330643 tps=100 nb_sec=3306
case_no=132 label=Case6.120 nb_sol=0 ticks=349836 tps=100 nb_sec=3498
case_no=132 label=Case6.120 nb_sol=0 ticks=502687 tps=100 nb_sec=5026
case_no=132 label=Case6.120 nb_sol=0 ticks=316891 tps=100 nb_sec=3168
case_no=132 label=Case6.120 nb_sol=0 ticks=347036 tps=100 nb_sec=3470
case_no=132 label=Case6.120 nb_sol=0 ticks=404324 tps=100 nb_sec=4043
case_no=132 label=Case6.120 nb_sol=0 ticks=318743 tps=100 nb_sec=3187
case_no=132 label=Case6.120 nb_sol=0 ticks=381576 tps=100 nb_sec=3815
case_no=132 label=Case6.120 nb_sol=0 ticks=254518 tps=100 nb_sec=2545
case_no=132 label=Case6.120 nb_sol=0 ticks=353803 tps=100 nb_sec=3538
case_no=132 label=Case6.120 nb_sol=0 ticks=329043 tps=100 nb_sec=3290
case_no=132 label=Case6.120 nb_sol=0 ticks=322491 tps=100 nb_sec=3224
case_no=132 label=Case6.120 nb_sol=0 ticks=349721 tps=100 nb_sec=3497
case_no=132 label=Case6.120 nb_sol=0 ticks=241621 tps=100 nb_sec=2416
case_no=132 label=Case6.120 nb_sol=0 ticks=314293 tps=100 nb_sec=3142
case_no=132 label=Case6.120 nb_sol=0 ticks=319007 tps=100 nb_sec=3190
case_no=132 label=Case6.120 nb_sol=0 ticks=278154 tps=100 nb_sec=2781
case_no=132 label=Case6.120 nb_sol=0 ticks=242369 tps=100 nb_sec=2423
case_no=132 label=Case6.120 nb_sol=0 ticks=314312 tps=100 nb_sec=3143
case_no=132 label=Case6.120 nb_sol=0 ticks=283068 tps=100 nb_sec=2830
case_no=132 label=Case6.120 nb_sol=0 ticks=453910 tps=100 nb_sec=4539
case_no=132 label=Case6.120 nb_sol=0 ticks=354859 tps=100 nb_sec=3548
case_no=132 label=Case6.120 nb_sol=0 ticks=316648 tps=100 nb_sec=3166
case_no=132 label=Case6.120 nb_sol=0 ticks=288538 tps=100 nb_sec=2885
case_no=132 label=Case6.120 nb_sol=0 ticks=419304 tps=100 nb_sec=4193
case_no=132 label=Case6.120 nb_sol=0 ticks=317978 tps=100 nb_sec=3179
case_no=132 label=Case6.120 nb_sol=0 ticks=335378 tps=100 nb_sec=3353
case_no=132 label=Case6.120 nb_sol=0 ticks=330981 tps=100 nb_sec=3309
case_no=132 label=Case6.120 nb_sol=0 ticks=307926 tps=100 nb_sec=3079
case_no=132 label=Case6.120 nb_sol=0 ticks=301479 tps=100 nb_sec=3014
case_no=132 label=Case6.120 nb_sol=0 ticks=292322 tps=100 nb_sec=2923
case_no=132 label=Case6.120 nb_sol=0 ticks=319315 tps=100 nb_sec=3193
case_no=132 label=Case6.120 nb_sol=0 ticks=270794 tps=100 nb_sec=2707
case_no=132 label=Case6.120 nb_sol=0 ticks=280877 tps=100 nb_sec=2808
case_no=132 label=Case6.120 nb_sol=0 ticks=360289 tps=100 nb_sec=3602
case_no=132 label=Case6.120 nb_sol=0 ticks=296568 tps=100 nb_sec=2965
case_no=132 label=Case6.120 nb_sol=0 ticks=324441 tps=100 nb_sec=3244
case_no=132 label=Case6.120 nb_sol=0 ticks=260953 tps=100 nb_sec=2609
case_no=132 label=Case6.120 nb_sol=0 ticks=266439 tps=100 nb_sec=2664
case_no=132 label=Case6.120 nb_sol=0 ticks=335525 tps=100 nb_sec=3355
case_no=132 label=Case6.120 nb_sol=0 ticks=279868 tps=100 nb_sec=2798
case_no=132 label=Case6.120 nb_sol=0 ticks=345187 tps=100 nb_sec=3451
case_no=132 label=Case6.120 nb_sol=0 ticks=272129 tps=100 nb_sec=2721
case_no=132 label=Case6.120 nb_sol=0 ticks=292130 tps=100 nb_sec=2921
case_no=132 label=Case6.120 nb_sol=0 ticks=305066 tps=100 nb_sec=3050
case_no=132 label=Case6.120 nb_sol=0 ticks=293863 tps=100 nb_sec=2938
case_no=132 label=Case6.120 nb_sol=0 ticks=304006 tps=100 nb_sec=3040
case_no=132 label=Case6.120 nb_sol=0 ticks=308322 tps=100 nb_sec=3083
case_no=132 label=Case6.120 nb_sol=0 ticks=273308 tps=100 nb_sec=2733
case_no=132 label=Case6.120 nb_sol=0 ticks=218821 tps=100 nb_sec=2188
case_no=132 label=Case6.120 nb_sol=0 ticks=266090 tps=100 nb_sec=2660
case_no=132 label=Case6.120 nb_sol=0 ticks=234327 tps=100 nb_sec=2343
case_no=132 label=Case6.120 nb_sol=0 ticks=228241 tps=100 nb_sec=2282
case_no=132 label=Case6.120 nb_sol=0 ticks=384647 tps=100 nb_sec=3846
case_no=132 label=Case6.120 nb_sol=0 ticks=357324 tps=100 nb_sec=3573
case_no=132 label=Case6.120 nb_sol=0 ticks=334410 tps=100 nb_sec=3344
case_no=132 label=Case6.120 nb_sol=0 ticks=347355 tps=100 nb_sec=3473
case_no=132 label=Case6.120 nb_sol=0 ticks=347120 tps=100 nb_sec=3471
case_no=132 label=Case6.120 nb_sol=0 ticks=316221 tps=100 nb_sec=3162
case_no=132 label=Case6.120 nb_sol=0 ticks=340842 tps=100 nb_sec=3408
case_no=132 label=Case6.120 nb_sol=0 ticks=431779 tps=100 nb_sec=4317
case_no=132 label=Case6.120 nb_sol=0 ticks=383447 tps=100 nb_sec=3834
case_no=132 label=Case6.120 nb_sol=0 ticks=310493 tps=100 nb_sec=3104
case_no=132 label=Case6.120 nb_sol=0 ticks=374546 tps=100 nb_sec=3745
case_no=132 label=Case6.120 nb_sol=0 ticks=328825 tps=100 nb_sec=3288
case_no=132 label=Case6.120 nb_sol=0 ticks=381245 tps=100 nb_sec=3812
case_no=132 label=Case6.120 nb_sol=0 ticks=331676 tps=100 nb_sec=3316
case_no=132 label=Case6.120 nb_sol=0 ticks=311429 tps=100 nb_sec=3114
case_no=132 label=Case6.120 nb_sol=0 ticks=400285 tps=100 nb_sec=4002
case_no=132 label=Case6.120 nb_sol=0 ticks=345672 tps=100 nb_sec=3456
case_no=132 label=Case6.120 nb_sol=0 ticks=320553 tps=100 nb_sec=3205
case_no=132 label=Case6.120 nb_sol=0 ticks=330344 tps=100 nb_sec=3303
case_no=132 label=Case6.120 nb_sol=0 ticks=499134 tps=100 nb_sec=4991
case_no=132 label=Case6.120 nb_sol=0 ticks=334777 tps=100 nb_sec=3347
case_no=132 label=Case6.120 nb_sol=0 ticks=394799 tps=100 nb_sec=3947
case_no=132 label=Case6.120 nb_sol=0 ticks=466023 tps=100 nb_sec=4660
case_no=132 label=Case6.120 nb_sol=0 ticks=357128 tps=100 nb_sec=3571
case_no=132 label=Case6.120 nb_sol=0 ticks=270141 tps=100 nb_sec=2701
case_no=132 label=Case6.120 nb_sol=0 ticks=322134 tps=100 nb_sec=3221
case_no=132 label=Case6.120 nb_sol=0 ticks=400753 tps=100 nb_sec=4007
case_no=132 label=Case6.120 nb_sol=0 ticks=295078 tps=100 nb_sec=2950
case_no=132 label=Case6.120 nb_sol=0 ticks=233063 tps=100 nb_sec=2330
case_no=132 label=Case6.120 nb_sol=0 ticks=290588 tps=100 nb_sec=2905
case_no=132 label=Case6.120 nb_sol=0 ticks=337591 tps=100 nb_sec=3375
case_no=132 label=Case6.120 nb_sol=0 ticks=340127 tps=100 nb_sec=3401
case_no=132 label=Case6.120 nb_sol=0 ticks=372729 tps=100 nb_sec=3727
case_no=132 label=Case6.120 nb_sol=0 ticks=345563 tps=100 nb_sec=3455
case_no=132 label=Case6.120 nb_sol=0 ticks=337560 tps=100 nb_sec=3375
case_no=132 label=Case6.120 nb_sol=0 ticks=333430 tps=100 nb_sec=3334
case_no=132 label=Case6.120 nb_sol=0 ticks=311102 tps=100 nb_sec=3111
case_no=132 label=Case6.120 nb_sol=0 ticks=302374 tps=100 nb_sec=3023
case_no=132 label=Case6.120 nb_sol=0 ticks=256839 tps=100 nb_sec=2568
case_no=132 label=Case6.120 nb_sol=0 ticks=249413 tps=100 nb_sec=2494
case_no=132 label=Case6.120 nb_sol=0 ticks=350066 tps=100 nb_sec=3500
case_no=132 label=Case6.120 nb_sol=0 ticks=296006 tps=100 nb_sec=2960
case_no=132 label=Case6.120 nb_sol=0 ticks=325948 tps=100 nb_sec=3259
case_no=132 label=Case6.120 nb_sol=0 ticks=343610 tps=100 nb_sec=3436
case_no=132 label=Case6.120 nb_sol=0 ticks=418713 tps=100 nb_sec=4187
case_no=132 label=Case6.120 nb_sol=0 ticks=297866 tps=100 nb_sec=2978
case_no=132 label=Case6.120 nb_sol=0 ticks=371106 tps=100 nb_sec=3711
case_no=132 label=Case6.120 nb_sol=0 ticks=302506 tps=100 nb_sec=3025
case_no=132 label=Case6.120 nb_sol=0 ticks=359235 tps=100 nb_sec=3592
case_no=132 label=Case6.120 nb_sol=0 ticks=345741 tps=100 nb_sec=3457
case_no=132 label=Case6.120 nb_sol=0 ticks=343022 tps=100 nb_sec=3430
case_no=132 label=Case6.120 nb_sol=0 ticks=352407 tps=100 nb_sec=3524
case_no=132 label=Case6.120 nb_sol=0 ticks=393467 tps=100 nb_sec=3934
case_no=132 label=Case6.120 nb_sol=0 ticks=359513 tps=100 nb_sec=3595
case_no=132 label=Case6.120 nb_sol=0 ticks=280038 tps=100 nb_sec=2800
case_no=132 label=Case6.120 nb_sol=0 ticks=321965 tps=100 nb_sec=3219
case_no=132 label=Case6.120 nb_sol=0 ticks=284991 tps=100 nb_sec=2849
case_no=132 label=Case6.120 nb_sol=0 ticks=294663 tps=100 nb_sec=2946
case_no=132 label=Case6.120 nb_sol=0 ticks=351713 tps=100 nb_sec=3517
case_no=132 label=Case6.120 nb_sol=0 ticks=242112 tps=100 nb_sec=2421
case_no=132 label=Case6.120 nb_sol=0 ticks=342370 tps=100 nb_sec=3423
case_no=132 label=Case6.120 nb_sol=0 ticks=374552 tps=100 nb_sec=3745
case_no=132 label=Case6.120 nb_sol=0 ticks=268366 tps=100 nb_sec=2683
case_no=132 label=Case6.120 nb_sol=0 ticks=293728 tps=100 nb_sec=2937
case_no=132 label=Case6.120 nb_sol=0 ticks=256738 tps=100 nb_sec=2567
case_no=132 label=Case6.120 nb_sol=0 ticks=324549 tps=100 nb_sec=3245
case_no=132 label=Case6.120 nb_sol=0 ticks=271763 tps=100 nb_sec=2717
case_no=132 label=Case6.120 nb_sol=0 ticks=333043 tps=100 nb_sec=3330
case_no=132 label=Case6.120 nb_sol=0 ticks=255764 tps=100 nb_sec=2557
case_no=132 label=Case6.120 nb_sol=0 ticks=330941 tps=100 nb_sec=3309
case_no=132 label=Case6.120 nb_sol=0 ticks=278921 tps=100 nb_sec=2789
case_no=132 label=Case6.120 nb_sol=0 ticks=401157 tps=100 nb_sec=4011
case_no=132 label=Case6.120 nb_sol=0 ticks=215265 tps=100 nb_sec=2152
case_no=132 label=Case6.120 nb_sol=0 ticks=389607 tps=100 nb_sec=3896
case_no=132 label=Case6.120 nb_sol=0 ticks=260608 tps=100 nb_sec=2606
case_no=132 label=Case6.120 nb_sol=0 ticks=276620 tps=100 nb_sec=2766
case_no=132 label=Case6.120 nb_sol=0 ticks=380302 tps=100 nb_sec=3803
case_no=132 label=Case6.120 nb_sol=0 ticks=260243 tps=100 nb_sec=2602
case_no=132 label=Case6.120 nb_sol=0 ticks=329050 tps=100 nb_sec=3290
case_no=132 label=Case6.120 nb_sol=0 ticks=207219 tps=100 nb_sec=2072
case_no=132 label=Case6.120 nb_sol=0 ticks=252915 tps=100 nb_sec=2529
case_no=132 label=Case6.120 nb_sol=0 ticks=323181 tps=100 nb_sec=3231
case_no=132 label=Case6.120 nb_sol=0 ticks=265986 tps=100 nb_sec=2659
case_no=132 label=Case6.120 nb_sol=0 ticks=261871 tps=100 nb_sec=2618
case_no=132 label=Case6.120 nb_sol=0 ticks=338055 tps=100 nb_sec=3380
case_no=132 label=Case6.120 nb_sol=0 ticks=272095 tps=100 nb_sec=2720
case_no=132 label=Case6.120 nb_sol=0 ticks=260205 tps=100 nb_sec=2602
case_no=132 label=Case6.120 nb_sol=0 ticks=218045 tps=100 nb_sec=2180
case_no=132 label=Case6.120 nb_sol=0 ticks=312677 tps=100 nb_sec=3126
case_no=132 label=Case6.120 nb_sol=0 ticks=185825 tps=100 nb_sec=1858
case_no=132 label=Case6.120 nb_sol=0 ticks=170569 tps=100 nb_sec=1705
case_no=132 label=Case6.120 nb_sol=0 ticks=373792 tps=100 nb_sec=3737
case_no=132 label=Case6.120 nb_sol=0 ticks=182226 tps=100 nb_sec=1822
case_no=132 label=Case6.120 nb_sol=0 ticks=396878 tps=100 nb_sec=3968
case_no=132 label=Case6.120 nb_sol=0 ticks=189447 tps=100 nb_sec=1894
case_no=132 label=Case6.120 nb_sol=0 ticks=269197 tps=100 nb_sec=2691
case_no=132 label=Case6.120 nb_sol=0 ticks=256067 tps=100 nb_sec=2560
case_no=132 label=Case6.120 nb_sol=0 ticks=235522 tps=100 nb_sec=2355
case_no=132 label=Case6.120 nb_sol=0 ticks=291726 tps=100 nb_sec=2917
case_no=132 label=Case6.120 nb_sol=0 ticks=238087 tps=100 nb_sec=2380
case_no=132 label=Case6.120 nb_sol=0 ticks=236939 tps=100 nb_sec=2369
case_no=132 label=Case6.120 nb_sol=0 ticks=345395 tps=100 nb_sec=3453
case_no=132 label=Case6.120 nb_sol=0 ticks=216868 tps=100 nb_sec=2168
case_no=132 label=Case6.120 nb_sol=0 ticks=321488 tps=100 nb_sec=3214
case_no=132 label=Case6.120 nb_sol=0 ticks=316813 tps=100 nb_sec=3168
case_no=132 label=Case6.120 nb_sol=0 ticks=325176 tps=100 nb_sec=3251
case_no=132 label=Case6.120 nb_sol=0 ticks=299098 tps=100 nb_sec=2990
case_no=132 label=Case6.120 nb_sol=0 ticks=339170 tps=100 nb_sec=3391
case_no=132 label=Case6.120 nb_sol=0 ticks=309728 tps=100 nb_sec=3097
case_no=132 label=Case6.120 nb_sol=0 ticks=323687 tps=100 nb_sec=3236
case_no=132 label=Case6.120 nb_sol=0 ticks=354531 tps=100 nb_sec=3545
case_no=132 label=Case6.120 nb_sol=0 ticks=278488 tps=100 nb_sec=2784
case_no=132 label=Case6.120 nb_sol=0 ticks=475312 tps=100 nb_sec=4753
case_no=132 label=Case6.120 nb_sol=0 ticks=331813 tps=100 nb_sec=3318
case_no=132 label=Case6.120 nb_sol=0 ticks=271865 tps=100 nb_sec=2718
case_no=132 label=Case6.120 nb_sol=0 ticks=247852 tps=100 nb_sec=2478
case_no=132 label=Case6.120 nb_sol=0 ticks=823287 tps=100 nb_sec=8232
case_no=132 label=Case6.120 nb_sol=0 ticks=246368 tps=100 nb_sec=2463
case_no=132 label=Case6.120 nb_sol=0 ticks=226757 tps=100 nb_sec=2267
case_no=132 label=Case6.120 nb_sol=0 ticks=372965 tps=100 nb_sec=3729
case_no=132 label=Case6.120 nb_sol=0 ticks=238411 tps=100 nb_sec=2384
case_no=132 label=Case6.120 nb_sol=0 ticks=325840 tps=100 nb_sec=3258
case_no=132 label=Case6.120 nb_sol=0 ticks=473875 tps=100 nb_sec=4738
case_no=132 label=Case6.120 nb_sol=0 ticks=316480 tps=100 nb_sec=3164
case_no=132 label=Case6.120 nb_sol=0 ticks=232062 tps=100 nb_sec=2320
case_no=132 label=Case6.120 nb_sol=0 ticks=339837 tps=100 nb_sec=3398
case_no=132 label=Case6.120 nb_sol=0 ticks=386061 tps=100 nb_sec=3860
case_no=132 label=Case6.120 nb_sol=0 ticks=321609 tps=100 nb_sec=3216
case_no=132 label=Case6.120 nb_sol=0 ticks=388852 tps=100 nb_sec=3888
case_no=132 label=Case6.120 nb_sol=0 ticks=329905 tps=100 nb_sec=3299
case_no=132 label=Case6.120 nb_sol=0 ticks=291263 tps=100 nb_sec=2912
case_no=132 label=Case6.120 nb_sol=0 ticks=248730 tps=100 nb_sec=2487
case_no=132 label=Case6.120 nb_sol=0 ticks=319632 tps=100 nb_sec=3196
case_no=132 label=Case6.120 nb_sol=0 ticks=328991 tps=100 nb_sec=3289
case_no=132 label=Case6.120 nb_sol=0 ticks=280136 tps=100 nb_sec=2801
case_no=132 label=Case6.120 nb_sol=0 ticks=239426 tps=100 nb_sec=2394
case_no=132 label=Case6.120 nb_sol=0 ticks=329541 tps=100 nb_sec=3295
case_no=132 label=Case6.120 nb_sol=0 ticks=361913 tps=100 nb_sec=3619
case_no=132 label=Case6.120 nb_sol=0 ticks=325954 tps=100 nb_sec=3259
case_no=132 label=Case6.120 nb_sol=0 ticks=361303 tps=100 nb_sec=3613
case_no=132 label=Case6.120 nb_sol=0 ticks=497207 tps=100 nb_sec=4972
case_no=132 label=Case6.120 nb_sol=0 ticks=335728 tps=100 nb_sec=3357
case_no=132 label=Case6.120 nb_sol=0 ticks=402512 tps=100 nb_sec=4025
case_no=132 label=Case6.120 nb_sol=0 ticks=337927 tps=100 nb_sec=3379
case_no=132 label=Case6.120 nb_sol=0 ticks=298582 tps=100 nb_sec=2985
case_no=132 label=Case6.120 nb_sol=0 ticks=308521 tps=100 nb_sec=3085
case_no=132 label=Case6.120 nb_sol=0 ticks=271345 tps=100 nb_sec=2713
case_no=132 label=Case6.120 nb_sol=0 ticks=288392 tps=100 nb_sec=2883
case_no=132 label=Case6.120 nb_sol=0 ticks=322021 tps=100 nb_sec=3220
case_no=132 label=Case6.120 nb_sol=0 ticks=235088 tps=100 nb_sec=2350
case_no=132 label=Case6.120 nb_sol=0 ticks=347508 tps=100 nb_sec=3475
case_no=132 label=Case6.120 nb_sol=0 ticks=220667 tps=100 nb_sec=2206
case_no=132 label=Case6.120 nb_sol=0 ticks=335702 tps=100 nb_sec=3357
case_no=132 label=Case6.120 nb_sol=0 ticks=315853 tps=100 nb_sec=3158
case_no=132 label=Case6.120 nb_sol=0 ticks=331509 tps=100 nb_sec=3315
case_no=132 label=Case6.120 nb_sol=0 ticks=285665 tps=100 nb_sec=2856
case_no=132 label=Case6.120 nb_sol=0 ticks=163951 tps=100 nb_sec=1639
case_no=132 label=Case6.120 nb_sol=0 ticks=254270 tps=100 nb_sec=2542
case_no=132 label=Case6.120 nb_sol=0 ticks=312997 tps=100 nb_sec=3129
case_no=132 label=Case6.120 nb_sol=0 ticks=288609 tps=100 nb_sec=2886
case_no=132 label=Case6.120 nb_sol=0 ticks=359832 tps=100 nb_sec=3598
case_no=132 label=Case6.120 nb_sol=0 ticks=296922 tps=100 nb_sec=2969
case_no=132 label=Case6.120 nb_sol=0 ticks=259682 tps=100 nb_sec=2596
case_no=132 label=Case6.120 nb_sol=0 ticks=243220 tps=100 nb_sec=2432
case_no=132 label=Case6.120 nb_sol=0 ticks=278521 tps=100 nb_sec=2785
case_no=132 label=Case6.120 nb_sol=0 ticks=224886 tps=100 nb_sec=2248
case_no=132 label=Case6.120 nb_sol=0 ticks=227304 tps=100 nb_sec=2273
case_no=132 label=Case6.120 nb_sol=0 ticks=336959 tps=100 nb_sec=3369
case_no=132 label=Case6.120 nb_sol=0 ticks=380721 tps=100 nb_sec=3807
case_no=132 label=Case6.120 nb_sol=0 ticks=288930 tps=100 nb_sec=2889
case_no=132 label=Case6.120 nb_sol=0 ticks=325070 tps=100 nb_sec=3250
case_no=132 label=Case6.120 nb_sol=0 ticks=226315 tps=100 nb_sec=2263
case_no=132 label=Case6.120 nb_sol=0 ticks=418236 tps=100 nb_sec=4182
case_no=132 label=Case6.120 nb_sol=0 ticks=285939 tps=100 nb_sec=2859
case_no=132 label=Case6.120 nb_sol=0 ticks=396133 tps=100 nb_sec=3961
case_no=132 label=Case6.120 nb_sol=0 ticks=393947 tps=100 nb_sec=3939
case_no=132 label=Case6.120 nb_sol=0 ticks=294719 tps=100 nb_sec=2947
case_no=132 label=Case6.120 nb_sol=0 ticks=423515 tps=100 nb_sec=4235
case_no=132 label=Case6.120 nb_sol=0 ticks=252511 tps=100 nb_sec=2525
case_no=132 label=Case6.120 nb_sol=0 ticks=274707 tps=100 nb_sec=2747
case_no=132 label=Case6.120 nb_sol=0 ticks=283585 tps=100 nb_sec=2835
case_no=132 label=Case6.120 nb_sol=0 ticks=214918 tps=100 nb_sec=2149
case_no=132 label=Case6.120 nb_sol=0 ticks=311781 tps=100 nb_sec=3117
case_no=132 label=Case6.120 nb_sol=0 ticks=614610 tps=100 nb_sec=6146
case_no=132 label=Case6.120 nb_sol=0 ticks=243757 tps=100 nb_sec=2437
case_no=132 label=Case6.120 nb_sol=0 ticks=203479 tps=100 nb_sec=2034
case_no=132 label=Case6.120 nb_sol=0 ticks=193693 tps=100 nb_sec=1936
case_no=132 label=Case6.120 nb_sol=0 ticks=202974 tps=100 nb_sec=2029
case_no=132 label=Case6.120 nb_sol=0 ticks=268495 tps=100 nb_sec=2684
case_no=132 label=Case6.120 nb_sol=0 ticks=272924 tps=100 nb_sec=2729
case_no=132 label=Case6.120 nb_sol=0 ticks=261450 tps=100 nb_sec=2614
case_no=132 label=Case6.120 nb_sol=0 ticks=262291 tps=100 nb_sec=2622
case_no=132 label=Case6.120 nb_sol=0 ticks=200416 tps=100 nb_sec=2004
case_no=132 label=Case6.120 nb_sol=0 ticks=272079 tps=100 nb_sec=2720
case_no=132 label=Case6.120 nb_sol=0 ticks=273766 tps=100 nb_sec=2737
case_no=132 label=Case6.120 nb_sol=0 ticks=177310 tps=100 nb_sec=1773
case_no=132 label=Case6.120 nb_sol=0 ticks=195721 tps=100 nb_sec=1957
case_no=132 label=Case6.120 nb_sol=0 ticks=279593 tps=100 nb_sec=2795
case_no=132 label=Case6.120 nb_sol=0 ticks=205078 tps=100 nb_sec=2050
case_no=132 label=Case6.120 nb_sol=0 ticks=226238 tps=100 nb_sec=2262
case_no=132 label=Case6.120 nb_sol=0 ticks=376827 tps=100 nb_sec=3768
case_no=132 label=Case6.120 nb_sol=0 ticks=213158 tps=100 nb_sec=2131
case_no=132 label=Case6.120 nb_sol=0 ticks=335688 tps=100 nb_sec=3356
case_no=132 label=Case6.120 nb_sol=0 ticks=314317 tps=100 nb_sec=3143
case_no=132 label=Case6.120 nb_sol=0 ticks=303173 tps=100 nb_sec=3031
case_no=132 label=Case6.120 nb_sol=0 ticks=261509 tps=100 nb_sec=2615
case_no=132 label=Case6.120 nb_sol=0 ticks=233185 tps=100 nb_sec=2331
case_no=132 label=Case6.120 nb_sol=0 ticks=336661 tps=100 nb_sec=3366
case_no=132 label=Case6.120 nb_sol=0 ticks=184598 tps=100 nb_sec=1845
case_no=132 label=Case6.120 nb_sol=0 ticks=276138 tps=100 nb_sec=2761
case_no=132 label=Case6.120 nb_sol=0 ticks=231046 tps=100 nb_sec=2310
case_no=132 label=Case6.120 nb_sol=0 ticks=242297 tps=100 nb_sec=2422
case_no=132 label=Case6.120 nb_sol=0 ticks=241227 tps=100 nb_sec=2412
case_no=132 label=Case6.120 nb_sol=0 ticks=270060 tps=100 nb_sec=2700
case_no=132 label=Case6.120 nb_sol=0 ticks=254004 tps=100 nb_sec=2540
case_no=132 label=Case6.120 nb_sol=0 ticks=224637 tps=100 nb_sec=2246
case_no=132 label=Case6.120 nb_sol=0 ticks=329243 tps=100 nb_sec=3292
case_no=132 label=Case6.120 nb_sol=0 ticks=271453 tps=100 nb_sec=2714
case_no=132 label=Case6.120 nb_sol=0 ticks=174368 tps=100 nb_sec=1743
case_no=132 label=Case6.120 nb_sol=0 ticks=253665 tps=100 nb_sec=2536
case_no=132 label=Case6.120 nb_sol=0 ticks=286407 tps=100 nb_sec=2864
case_no=132 label=Case6.120 nb_sol=0 ticks=263477 tps=100 nb_sec=2634
case_no=132 label=Case6.120 nb_sol=0 ticks=317332 tps=100 nb_sec=3173
case_no=132 label=Case6.120 nb_sol=0 ticks=304556 tps=100 nb_sec=3045
case_no=132 label=Case6.120 nb_sol=0 ticks=279537 tps=100 nb_sec=2795
case_no=132 label=Case6.120 nb_sol=0 ticks=299504 tps=100 nb_sec=2995
case_no=132 label=Case6.120 nb_sol=0 ticks=226936 tps=100 nb_sec=2269
case_no=132 label=Case6.120 nb_sol=0 ticks=130827 tps=100 nb_sec=1308
case_no=132 label=Case6.120 nb_sol=0 ticks=235884 tps=100 nb_sec=2358
case_no=132 label=Case6.120 nb_sol=0 ticks=301257 tps=100 nb_sec=3012
case_no=132 label=Case6.120 nb_sol=0 ticks=352579 tps=100 nb_sec=3525
case_no=132 label=Case6.120 nb_sol=0 ticks=235634 tps=100 nb_sec=2356
case_no=132 label=Case6.120 nb_sol=0 ticks=272218 tps=100 nb_sec=2722
case_no=132 label=Case6.120 nb_sol=0 ticks=262718 tps=100 nb_sec=2627
case_no=132 label=Case6.120 nb_sol=0 ticks=260908 tps=100 nb_sec=2609
case_no=132 label=Case6.120 nb_sol=0 ticks=299868 tps=100 nb_sec=2998
case_no=132 label=Case6.120 nb_sol=0 ticks=231476 tps=100 nb_sec=2314
case_no=132 label=Case6.120 nb_sol=0 ticks=267337 tps=100 nb_sec=2673
case_no=132 label=Case6.120 nb_sol=0 ticks=271230 tps=100 nb_sec=2712
case_no=132 label=Case6.120 nb_sol=0 ticks=251391 tps=100 nb_sec=2513
case_no=132 label=Case6.120 nb_sol=0 ticks=194772 tps=100 nb_sec=1947
case_no=132 label=Case6.120 nb_sol=0 ticks=288736 tps=100 nb_sec=2887
case_no=132 label=Case6.120 nb_sol=0 ticks=298616 tps=100 nb_sec=2986
case_no=132 label=Case6.120 nb_sol=0 ticks=337729 tps=100 nb_sec=3377
case_no=132 label=Case6.120 nb_sol=0 ticks=314703 tps=100 nb_sec=3147
case_no=132 label=Case6.120 nb_sol=0 ticks=262625 tps=100 nb_sec=2626
case_no=132 label=Case6.120 nb_sol=0 ticks=185164 tps=100 nb_sec=1851
case_no=132 label=Case6.120 nb_sol=0 ticks=301374 tps=100 nb_sec=3013
case_no=132 label=Case6.120 nb_sol=0 ticks=300441 tps=100 nb_sec=3004
case_no=132 label=Case6.120 nb_sol=0 ticks=297643 tps=100 nb_sec=2976
case_no=132 label=Case6.120 nb_sol=0 ticks=315085 tps=100 nb_sec=3150
case_no=132 label=Case6.120 nb_sol=0 ticks=216224 tps=100 nb_sec=2162
case_no=132 label=Case6.120 nb_sol=0 ticks=472473 tps=100 nb_sec=4724
case_no=132 label=Case6.120 nb_sol=0 ticks=303363 tps=100 nb_sec=3033
case_no=132 label=Case6.120 nb_sol=0 ticks=283471 tps=100 nb_sec=2834
case_no=132 label=Case6.120 nb_sol=0 ticks=275251 tps=100 nb_sec=2752
case_no=132 label=Case6.120 nb_sol=0 ticks=312498 tps=100 nb_sec=3124
case_no=132 label=Case6.120 nb_sol=0 ticks=373597 tps=100 nb_sec=3735
case_no=132 label=Case6.120 nb_sol=0 ticks=343806 tps=100 nb_sec=3438
case_no=132 label=Case6.120 nb_sol=0 ticks=351293 tps=100 nb_sec=3512
case_no=132 label=Case6.120 nb_sol=0 ticks=349676 tps=100 nb_sec=3496
case_no=132 label=Case6.120 nb_sol=0 ticks=302236 tps=100 nb_sec=3022
case_no=132 label=Case6.120 nb_sol=0 ticks=331646 tps=100 nb_sec=3316
case_no=132 label=Case6.120 nb_sol=0 ticks=149194 tps=100 nb_sec=1491
case_no=132 label=Case6.120 nb_sol=0 ticks=300304 tps=100 nb_sec=3003
case_no=132 label=Case6.120 nb_sol=0 ticks=177940 tps=100 nb_sec=1779
case_no=132 label=Case6.120 nb_sol=0 ticks=268307 tps=100 nb_sec=2683
case_no=132 label=Case6.120 nb_sol=0 ticks=286660 tps=100 nb_sec=2866
case_no=132 label=Case6.120 nb_sol=0 ticks=357857 tps=100 nb_sec=3578
case_no=132 label=Case6.120 nb_sol=0 ticks=382527 tps=100 nb_sec=3825
case_no=132 label=Case6.120 nb_sol=0 ticks=245953 tps=100 nb_sec=2459
case_no=132 label=Case6.120 nb_sol=0 ticks=304148 tps=100 nb_sec=3041
case_no=132 label=Case6.120 nb_sol=0 ticks=289482 tps=100 nb_sec=2894
case_no=132 label=Case6.120 nb_sol=0 ticks=156017 tps=100 nb_sec=1560
case_no=132 label=Case6.120 nb_sol=0 ticks=292145 tps=100 nb_sec=2921
case_no=132 label=Case6.120 nb_sol=0 ticks=250611 tps=100 nb_sec=2506
case_no=132 label=Case6.120 nb_sol=0 ticks=261059 tps=100 nb_sec=2610
case_no=132 label=Case6.120 nb_sol=0 ticks=256645 tps=100 nb_sec=2566
case_no=132 label=Case6.120 nb_sol=0 ticks=260260 tps=100 nb_sec=2602
case_no=132 label=Case6.120 nb_sol=0 ticks=281106 tps=100 nb_sec=2811
case_no=132 label=Case6.120 nb_sol=0 ticks=146515 tps=100 nb_sec=1465
case_no=132 label=Case6.120 nb_sol=0 ticks=108803 tps=100 nb_sec=1088
case_no=132 label=Case6.120 nb_sol=0 ticks=142595 tps=100 nb_sec=1425
case_no=132 label=Case6.120 nb_sol=0 ticks=268939 tps=100 nb_sec=2689
case_no=132 label=Case6.120 nb_sol=0 ticks=163791 tps=100 nb_sec=1637
case_no=132 label=Case6.120 nb_sol=0 ticks=260767 tps=100 nb_sec=2607
case_no=132 label=Case6.120 nb_sol=0 ticks=284548 tps=100 nb_sec=2845
case_no=132 label=Case6.120 nb_sol=0 ticks=275345 tps=100 nb_sec=2753
case_no=132 label=Case6.120 nb_sol=0 ticks=319707 tps=100 nb_sec=3197
case_no=132 label=Case6.120 nb_sol=0 ticks=238691 tps=100 nb_sec=2386
case_no=132 label=Case6.120 nb_sol=0 ticks=302117 tps=100 nb_sec=3021
case_no=132 label=Case6.120 nb_sol=0 ticks=233255 tps=100 nb_sec=2332
case_no=132 label=Case6.120 nb_sol=0 ticks=260212 tps=100 nb_sec=2602
case_no=132 label=Case6.120 nb_sol=0 ticks=337393 tps=100 nb_sec=3373
case_no=132 label=Case6.120 nb_sol=0 ticks=178109 tps=100 nb_sec=1781
case_no=132 label=Case6.120 nb_sol=0 ticks=335694 tps=100 nb_sec=3356
case_no=132 label=Case6.120 nb_sol=0 ticks=185910 tps=100 nb_sec=1859
case_no=132 label=Case6.120 nb_sol=0 ticks=329909 tps=100 nb_sec=3299
case_no=132 label=Case6.120 nb_sol=0 ticks=330847 tps=100 nb_sec=3308
case_no=132 label=Case6.120 nb_sol=0 ticks=263613 tps=100 nb_sec=2636
case_no=132 label=Case6.120 nb_sol=0 ticks=202994 tps=100 nb_sec=2029
case_no=132 label=Case6.120 nb_sol=0 ticks=162344 tps=100 nb_sec=1623
case_no=132 label=Case6.120 nb_sol=0 ticks=286464 tps=100 nb_sec=2864
case_no=132 label=Case6.120 nb_sol=0 ticks=299779 tps=100 nb_sec=2997
case_no=132 label=Case6.120 nb_sol=0 ticks=234634 tps=100 nb_sec=2346
case_no=132 label=Case6.120 nb_sol=0 ticks=323121 tps=100 nb_sec=3231
case_no=132 label=Case6.120 nb_sol=0 ticks=315680 tps=100 nb_sec=3156
case_no=132 label=Case6.120 nb_sol=0 ticks=228435 tps=100 nb_sec=2284
case_no=132 label=Case6.120 nb_sol=0 ticks=276705 tps=100 nb_sec=2767
case_no=132 label=Case6.120 nb_sol=0 ticks=184186 tps=100 nb_sec=1841
case_no=132 label=Case6.120 nb_sol=0 ticks=264486 tps=100 nb_sec=2644
case_no=132 label=Case6.120 nb_sol=0 ticks=299104 tps=100 nb_sec=2991
case_no=132 label=Case6.120 nb_sol=0 ticks=147401 tps=100 nb_sec=1474
case_no=132 label=Case6.120 nb_sol=0 ticks=335776 tps=100 nb_sec=3357
case_no=132 label=Case6.120 nb_sol=0 ticks=236871 tps=100 nb_sec=2368
case_no=132 label=Case6.120 nb_sol=0 ticks=268989 tps=100 nb_sec=2689
case_no=132 label=Case6.120 nb_sol=0 ticks=237274 tps=100 nb_sec=2372
case_no=132 label=Case6.120 nb_sol=0 ticks=246353 tps=100 nb_sec=2463
case_no=132 label=Case6.120 nb_sol=0 ticks=465044 tps=100 nb_sec=4650
case_no=132 label=Case6.120 nb_sol=0 ticks=318603 tps=100 nb_sec=3186
case_no=132 label=Case6.120 nb_sol=0 ticks=245286 tps=100 nb_sec=2452
case_no=132 label=Case6.120 nb_sol=0 ticks=477275 tps=100 nb_sec=4772
case_no=132 label=Case6.120 nb_sol=0 ticks=354162 tps=100 nb_sec=3541
case_no=132 label=Case6.120 nb_sol=0 ticks=434857 tps=100 nb_sec=4348
case_no=132 label=Case6.120 nb_sol=0 ticks=352879 tps=100 nb_sec=3528
case_no=132 label=Case6.120 nb_sol=0 ticks=264557 tps=100 nb_sec=2645
case_no=132 label=Case6.120 nb_sol=0 ticks=451175 tps=100 nb_sec=4511
case_no=132 label=Case6.120 nb_sol=0 ticks=320419 tps=100 nb_sec=3204
case_no=132 label=Case6.120 nb_sol=0 ticks=244715 tps=100 nb_sec=2447
case_no=132 label=Case6.120 nb_sol=0 ticks=223726 tps=100 nb_sec=2237
case_no=132 label=Case6.120 nb_sol=0 ticks=314718 tps=100 nb_sec=3147
case_no=132 label=Case6.120 nb_sol=0 ticks=302006 tps=100 nb_sec=3020
case_no=132 label=Case6.120 nb_sol=0 ticks=278296 tps=100 nb_sec=2782
case_no=132 label=Case6.120 nb_sol=0 ticks=299669 tps=100 nb_sec=2996
case_no=132 label=Case6.120 nb_sol=0 ticks=211473 tps=100 nb_sec=2114
case_no=132 label=Case6.120 nb_sol=0 ticks=357147 tps=100 nb_sec=3571
case_no=132 label=Case6.120 nb_sol=0 ticks=282974 tps=100 nb_sec=2829
case_no=132 label=Case6.120 nb_sol=0 ticks=315869 tps=100 nb_sec=3158
case_no=132 label=Case6.120 nb_sol=0 ticks=346889 tps=100 nb_sec=3468
case_no=132 label=Case6.120 nb_sol=0 ticks=347635 tps=100 nb_sec=3476
case_no=132 label=Case6.120 nb_sol=0 ticks=288937 tps=100 nb_sec=2889
case_no=132 label=Case6.120 nb_sol=0 ticks=291784 tps=100 nb_sec=2917
case_no=132 label=Case6.120 nb_sol=0 ticks=201154 tps=100 nb_sec=2011
case_no=132 label=Case6.120 nb_sol=0 ticks=265461 tps=100 nb_sec=2654
case_no=132 label=Case6.120 nb_sol=0 ticks=228498 tps=100 nb_sec=2284
case_no=132 label=Case6.120 nb_sol=0 ticks=304273 tps=100 nb_sec=3042
case_no=132 label=Case6.120 nb_sol=0 ticks=253942 tps=100 nb_sec=2539
case_no=132 label=Case6.120 nb_sol=0 ticks=231244 tps=100 nb_sec=2312
case_no=132 label=Case6.120 nb_sol=0 ticks=345153 tps=100 nb_sec=3451
case_no=132 label=Case6.120 nb_sol=0 ticks=293319 tps=100 nb_sec=2933
case_no=132 label=Case6.120 nb_sol=0 ticks=344330 tps=100 nb_sec=3443
case_no=132 label=Case6.120 nb_sol=0 ticks=285649 tps=100 nb_sec=2856
case_no=132 label=Case6.120 nb_sol=0 ticks=156874 tps=100 nb_sec=1568
case_no=132 label=Case6.120 nb_sol=0 ticks=452520 tps=100 nb_sec=4525
case_no=132 label=Case6.120 nb_sol=0 ticks=228942 tps=100 nb_sec=2289
case_no=132 label=Case6.120 nb_sol=0 ticks=338042 tps=100 nb_sec=3380
case_no=132 label=Case6.120 nb_sol=0 ticks=365085 tps=100 nb_sec=3650
case_no=132 label=Case6.120 nb_sol=0 ticks=237688 tps=100 nb_sec=2376
case_no=132 label=Case6.120 nb_sol=0 ticks=342014 tps=100 nb_sec=3420
case_no=132 label=Case6.120 nb_sol=0 ticks=281147 tps=100 nb_sec=2811
case_no=132 label=Case6.120 nb_sol=0 ticks=319175 tps=100 nb_sec=3191
case_no=132 label=Case6.120 nb_sol=0 ticks=199934 tps=100 nb_sec=1999
case_no=132 label=Case6.120 nb_sol=0 ticks=188936 tps=100 nb_sec=1889
case_no=132 label=Case6.120 nb_sol=0 ticks=350212 tps=100 nb_sec=3502
case_no=132 label=Case6.120 nb_sol=0 ticks=191754 tps=100 nb_sec=1917
case_no=132 label=Case6.120 nb_sol=0 ticks=337548 tps=100 nb_sec=3375
case_no=132 label=Case6.120 nb_sol=0 ticks=237823 tps=100 nb_sec=2378
case_no=132 label=Case6.120 nb_sol=0 ticks=303130 tps=100 nb_sec=3031
case_no=132 label=Case6.120 nb_sol=0 ticks=299274 tps=100 nb_sec=2992
case_no=132 label=Case6.120 nb_sol=0 ticks=282413 tps=100 nb_sec=2824
case_no=132 label=Case6.120 nb_sol=0 ticks=235436 tps=100 nb_sec=2354
case_no=132 label=Case6.120 nb_sol=0 ticks=263976 tps=100 nb_sec=2639
case_no=132 label=Case6.120 nb_sol=0 ticks=223634 tps=100 nb_sec=2236
case_no=132 label=Case6.120 nb_sol=0 ticks=234422 tps=100 nb_sec=2344
case_no=132 label=Case6.120 nb_sol=0 ticks=293746 tps=100 nb_sec=2937
case_no=132 label=Case6.120 nb_sol=0 ticks=378853 tps=100 nb_sec=3788
case_no=132 label=Case6.120 nb_sol=0 ticks=207685 tps=100 nb_sec=2076
case_no=132 label=Case6.120 nb_sol=0 ticks=411157 tps=100 nb_sec=4111
case_no=132 label=Case6.120 nb_sol=0 ticks=512341 tps=100 nb_sec=5123
case_no=132 label=Case6.120 nb_sol=0 ticks=304178 tps=100 nb_sec=3041
case_no=132 label=Case6.120 nb_sol=0 ticks=188360 tps=100 nb_sec=1883
case_no=132 label=Case6.120 nb_sol=0 ticks=367934 tps=100 nb_sec=3679
case_no=132 label=Case6.120 nb_sol=0 ticks=471017 tps=100 nb_sec=4710
case_no=132 label=Case6.120 nb_sol=0 ticks=280014 tps=100 nb_sec=2800
case_no=132 label=Case6.120 nb_sol=0 ticks=199553 tps=100 nb_sec=1995
case_no=132 label=Case6.120 nb_sol=0 ticks=318743 tps=100 nb_sec=3187
case_no=132 label=Case6.120 nb_sol=0 ticks=413465 tps=100 nb_sec=4134
case_no=132 label=Case6.120 nb_sol=0 ticks=244287 tps=100 nb_sec=2442
case_no=132 label=Case6.120 nb_sol=0 ticks=300449 tps=100 nb_sec=3004
case_no=132 label=Case6.120 nb_sol=0 ticks=309647 tps=100 nb_sec=3096
case_no=132 label=Case6.120 nb_sol=0 ticks=279403 tps=100 nb_sec=2794
case_no=132 label=Case6.120 nb_sol=0 ticks=278068 tps=100 nb_sec=2780
case_no=132 label=Case6.120 nb_sol=0 ticks=276312 tps=100 nb_sec=2763
case_no=132 label=Case6.120 nb_sol=0 ticks=136388 tps=100 nb_sec=1363
case_no=132 label=Case6.120 nb_sol=0 ticks=235837 tps=100 nb_sec=2358
case_no=132 label=Case6.120 nb_sol=0 ticks=311398 tps=100 nb_sec=3113
case_no=132 label=Case6.120 nb_sol=0 ticks=273620 tps=100 nb_sec=2736
case_no=132 label=Case6.120 nb_sol=0 ticks=307456 tps=100 nb_sec=3074
case_no=132 label=Case6.120 nb_sol=0 ticks=408651 tps=100 nb_sec=4086
case_no=132 label=Case6.120 nb_sol=0 ticks=268519 tps=100 nb_sec=2685
case_no=132 label=Case6.120 nb_sol=0 ticks=332826 tps=100 nb_sec=3328
case_no=132 label=Case6.120 nb_sol=0 ticks=281948 tps=100 nb_sec=2819
case_no=132 label=Case6.120 nb_sol=0 ticks=330513 tps=100 nb_sec=3305
case_no=132 label=Case6.120 nb_sol=0 ticks=202025 tps=100 nb_sec=2020
case_no=132 label=Case6.120 nb_sol=0 ticks=155646 tps=100 nb_sec=1556
case_no=132 label=Case6.120 nb_sol=0 ticks=295582 tps=100 nb_sec=2955
case_no=132 label=Case6.120 nb_sol=0 ticks=176195 tps=100 nb_sec=1761
case_no=132 label=Case6.120 nb_sol=0 ticks=108357 tps=100 nb_sec=1083
case_no=132 label=Case6.120 nb_sol=0 ticks=331804 tps=100 nb_sec=3318
case_no=132 label=Case6.120 nb_sol=0 ticks=272838 tps=100 nb_sec=2728
case_no=132 label=Case6.120 nb_sol=0 ticks=189888 tps=100 nb_sec=1898
case_no=132 label=Case6.120 nb_sol=0 ticks=226969 tps=100 nb_sec=2269
case_no=132 label=Case6.120 nb_sol=0 ticks=322939 tps=100 nb_sec=3229
case_no=132 label=Case6.120 nb_sol=0 ticks=230948 tps=100 nb_sec=2309
case_no=132 label=Case6.120 nb_sol=0 ticks=149683 tps=100 nb_sec=1496
case_no=132 label=Case6.120 nb_sol=0 ticks=199699 tps=100 nb_sec=1996
case_no=132 label=Case6.120 nb_sol=0 ticks=280757 tps=100 nb_sec=2807
case_no=132 label=Case6.120 nb_sol=0 ticks=282872 tps=100 nb_sec=2828
case_no=132 label=Case6.120 nb_sol=0 ticks=364646 tps=100 nb_sec=3646
case_no=132 label=Case6.120 nb_sol=0 ticks=281162 tps=100 nb_sec=2811
case_no=132 label=Case6.120 nb_sol=0 ticks=345817 tps=100 nb_sec=3458
case_no=132 label=Case6.120 nb_sol=0 ticks=254541 tps=100 nb_sec=2545
case_no=132 label=Case6.120 nb_sol=0 ticks=315152 tps=100 nb_sec=3151
case_no=132 label=Case6.120 nb_sol=0 ticks=171343 tps=100 nb_sec=1713
case_no=132 label=Case6.120 nb_sol=0 ticks=245420 tps=100 nb_sec=2454
case_no=132 label=Case6.120 nb_sol=0 ticks=211916 tps=100 nb_sec=2119
case_no=132 label=Case6.120 nb_sol=0 ticks=262694 tps=100 nb_sec=2626
case_no=132 label=Case6.120 nb_sol=0 ticks=177970 tps=100 nb_sec=1779
case_no=132 label=Case6.120 nb_sol=0 ticks=277301 tps=100 nb_sec=2773
case_no=132 label=Case6.120 nb_sol=0 ticks=287292 tps=100 nb_sec=2872
case_no=132 label=Case6.120 nb_sol=0 ticks=309502 tps=100 nb_sec=3095
case_no=132 label=Case6.120 nb_sol=0 ticks=184719 tps=100 nb_sec=1847
case_no=132 label=Case6.120 nb_sol=0 ticks=258444 tps=100 nb_sec=2584
case_no=132 label=Case6.120 nb_sol=0 ticks=288958 tps=100 nb_sec=2889
case_no=132 label=Case6.120 nb_sol=0 ticks=160524 tps=100 nb_sec=1605
case_no=132 label=Case6.120 nb_sol=0 ticks=300186 tps=100 nb_sec=3001
case_no=132 label=Case6.120 nb_sol=0 ticks=268755 tps=100 nb_sec=2687
case_no=132 label=Case6.120 nb_sol=0 ticks=270898 tps=100 nb_sec=2708
case_no=132 label=Case6.120 nb_sol=0 ticks=171088 tps=100 nb_sec=1710
case_no=132 label=Case6.120 nb_sol=0 ticks=427803 tps=100 nb_sec=4278
case_no=132 label=Case6.120 nb_sol=0 ticks=162698 tps=100 nb_sec=1626
case_no=132 label=Case6.120 nb_sol=0 ticks=248614 tps=100 nb_sec=2486
Nb_sol=0
Nb_sec=3275991
37-21:59:51 or 909 hours
missing cases:
none