argc=5
-M 1024
file2=30_select_Case6.123_starter_15_
checking files mod 1024 from 0 to 1023
case_no=135 label=Case6.123 nb_sol=0 ticks=220597 tps=100 nb_sec=2205
case_no=135 label=Case6.123 nb_sol=0 ticks=425363 tps=100 nb_sec=4253
case_no=135 label=Case6.123 nb_sol=0 ticks=527610 tps=100 nb_sec=5276
case_no=135 label=Case6.123 nb_sol=0 ticks=617596 tps=100 nb_sec=6175
case_no=135 label=Case6.123 nb_sol=0 ticks=315558 tps=100 nb_sec=3155
case_no=135 label=Case6.123 nb_sol=0 ticks=337660 tps=100 nb_sec=3376
case_no=135 label=Case6.123 nb_sol=0 ticks=264213 tps=100 nb_sec=2642
case_no=135 label=Case6.123 nb_sol=0 ticks=530444 tps=100 nb_sec=5304
case_no=135 label=Case6.123 nb_sol=0 ticks=286801 tps=100 nb_sec=2868
case_no=135 label=Case6.123 nb_sol=0 ticks=562599 tps=100 nb_sec=5625
case_no=135 label=Case6.123 nb_sol=0 ticks=479845 tps=100 nb_sec=4798
case_no=135 label=Case6.123 nb_sol=0 ticks=255633 tps=100 nb_sec=2556
case_no=135 label=Case6.123 nb_sol=0 ticks=517181 tps=100 nb_sec=5171
case_no=135 label=Case6.123 nb_sol=0 ticks=238229 tps=100 nb_sec=2382
case_no=135 label=Case6.123 nb_sol=0 ticks=503388 tps=100 nb_sec=5033
case_no=135 label=Case6.123 nb_sol=0 ticks=420809 tps=100 nb_sec=4208
case_no=135 label=Case6.123 nb_sol=0 ticks=310520 tps=100 nb_sec=3105
case_no=135 label=Case6.123 nb_sol=0 ticks=688196 tps=100 nb_sec=6881
case_no=135 label=Case6.123 nb_sol=0 ticks=335014 tps=100 nb_sec=3350
case_no=135 label=Case6.123 nb_sol=0 ticks=390083 tps=100 nb_sec=3900
case_no=135 label=Case6.123 nb_sol=0 ticks=540126 tps=100 nb_sec=5401
case_no=135 label=Case6.123 nb_sol=0 ticks=554556 tps=100 nb_sec=5545
case_no=135 label=Case6.123 nb_sol=0 ticks=228356 tps=100 nb_sec=2283
case_no=135 label=Case6.123 nb_sol=0 ticks=262343 tps=100 nb_sec=2623
case_no=135 label=Case6.123 nb_sol=0 ticks=464186 tps=100 nb_sec=4641
case_no=135 label=Case6.123 nb_sol=0 ticks=637143 tps=100 nb_sec=6371
case_no=135 label=Case6.123 nb_sol=0 ticks=535599 tps=100 nb_sec=5355
case_no=135 label=Case6.123 nb_sol=0 ticks=513314 tps=100 nb_sec=5133
case_no=135 label=Case6.123 nb_sol=0 ticks=469434 tps=100 nb_sec=4694
case_no=135 label=Case6.123 nb_sol=0 ticks=308830 tps=100 nb_sec=3088
case_no=135 label=Case6.123 nb_sol=0 ticks=491911 tps=100 nb_sec=4919
case_no=135 label=Case6.123 nb_sol=0 ticks=556706 tps=100 nb_sec=5567
case_no=135 label=Case6.123 nb_sol=0 ticks=232679 tps=100 nb_sec=2326
case_no=135 label=Case6.123 nb_sol=0 ticks=552305 tps=100 nb_sec=5523
case_no=135 label=Case6.123 nb_sol=0 ticks=460815 tps=100 nb_sec=4608
case_no=135 label=Case6.123 nb_sol=0 ticks=270721 tps=100 nb_sec=2707
case_no=135 label=Case6.123 nb_sol=0 ticks=475887 tps=100 nb_sec=4758
case_no=135 label=Case6.123 nb_sol=0 ticks=455335 tps=100 nb_sec=4553
case_no=135 label=Case6.123 nb_sol=0 ticks=301854 tps=100 nb_sec=3018
case_no=135 label=Case6.123 nb_sol=0 ticks=498904 tps=100 nb_sec=4989
case_no=135 label=Case6.123 nb_sol=0 ticks=231595 tps=100 nb_sec=2315
case_no=135 label=Case6.123 nb_sol=0 ticks=252036 tps=100 nb_sec=2520
case_no=135 label=Case6.123 nb_sol=0 ticks=428494 tps=100 nb_sec=4284
case_no=135 label=Case6.123 nb_sol=0 ticks=388755 tps=100 nb_sec=3887
case_no=135 label=Case6.123 nb_sol=0 ticks=397618 tps=100 nb_sec=3976
case_no=135 label=Case6.123 nb_sol=0 ticks=231037 tps=100 nb_sec=2310
case_no=135 label=Case6.123 nb_sol=0 ticks=399899 tps=100 nb_sec=3998
case_no=135 label=Case6.123 nb_sol=0 ticks=414915 tps=100 nb_sec=4149
case_no=135 label=Case6.123 nb_sol=0 ticks=301410 tps=100 nb_sec=3014
case_no=135 label=Case6.123 nb_sol=0 ticks=358474 tps=100 nb_sec=3584
case_no=135 label=Case6.123 nb_sol=0 ticks=622074 tps=100 nb_sec=6220
case_no=135 label=Case6.123 nb_sol=0 ticks=241488 tps=100 nb_sec=2414
case_no=135 label=Case6.123 nb_sol=0 ticks=226633 tps=100 nb_sec=2266
case_no=135 label=Case6.123 nb_sol=0 ticks=491089 tps=100 nb_sec=4910
case_no=135 label=Case6.123 nb_sol=0 ticks=284505 tps=100 nb_sec=2845
case_no=135 label=Case6.123 nb_sol=0 ticks=442060 tps=100 nb_sec=4420
case_no=135 label=Case6.123 nb_sol=0 ticks=476514 tps=100 nb_sec=4765
case_no=135 label=Case6.123 nb_sol=0 ticks=249668 tps=100 nb_sec=2496
case_no=135 label=Case6.123 nb_sol=0 ticks=325465 tps=100 nb_sec=3254
case_no=135 label=Case6.123 nb_sol=0 ticks=227781 tps=100 nb_sec=2277
case_no=135 label=Case6.123 nb_sol=0 ticks=273877 tps=100 nb_sec=2738
case_no=135 label=Case6.123 nb_sol=0 ticks=529849 tps=100 nb_sec=5298
case_no=135 label=Case6.123 nb_sol=0 ticks=281207 tps=100 nb_sec=2812
case_no=135 label=Case6.123 nb_sol=0 ticks=634584 tps=100 nb_sec=6345
case_no=135 label=Case6.123 nb_sol=0 ticks=283749 tps=100 nb_sec=2837
case_no=135 label=Case6.123 nb_sol=0 ticks=447679 tps=100 nb_sec=4476
case_no=135 label=Case6.123 nb_sol=0 ticks=222416 tps=100 nb_sec=2224
case_no=135 label=Case6.123 nb_sol=0 ticks=438923 tps=100 nb_sec=4389
case_no=135 label=Case6.123 nb_sol=0 ticks=473460 tps=100 nb_sec=4734
case_no=135 label=Case6.123 nb_sol=0 ticks=204317 tps=100 nb_sec=2043
case_no=135 label=Case6.123 nb_sol=0 ticks=482825 tps=100 nb_sec=4828
case_no=135 label=Case6.123 nb_sol=0 ticks=527033 tps=100 nb_sec=5270
case_no=135 label=Case6.123 nb_sol=0 ticks=528503 tps=100 nb_sec=5285
case_no=135 label=Case6.123 nb_sol=0 ticks=253005 tps=100 nb_sec=2530
case_no=135 label=Case6.123 nb_sol=0 ticks=427484 tps=100 nb_sec=4274
case_no=135 label=Case6.123 nb_sol=0 ticks=457656 tps=100 nb_sec=4576
case_no=135 label=Case6.123 nb_sol=0 ticks=227807 tps=100 nb_sec=2278
case_no=135 label=Case6.123 nb_sol=0 ticks=262634 tps=100 nb_sec=2626
case_no=135 label=Case6.123 nb_sol=0 ticks=470518 tps=100 nb_sec=4705
case_no=135 label=Case6.123 nb_sol=0 ticks=499472 tps=100 nb_sec=4994
case_no=135 label=Case6.123 nb_sol=0 ticks=225470 tps=100 nb_sec=2254
case_no=135 label=Case6.123 nb_sol=0 ticks=233824 tps=100 nb_sec=2338
case_no=135 label=Case6.123 nb_sol=0 ticks=377250 tps=100 nb_sec=3772
case_no=135 label=Case6.123 nb_sol=0 ticks=362869 tps=100 nb_sec=3628
case_no=135 label=Case6.123 nb_sol=0 ticks=446723 tps=100 nb_sec=4467
case_no=135 label=Case6.123 nb_sol=0 ticks=537677 tps=100 nb_sec=5376
case_no=135 label=Case6.123 nb_sol=0 ticks=201485 tps=100 nb_sec=2014
case_no=135 label=Case6.123 nb_sol=0 ticks=410541 tps=100 nb_sec=4105
case_no=135 label=Case6.123 nb_sol=0 ticks=367608 tps=100 nb_sec=3676
case_no=135 label=Case6.123 nb_sol=0 ticks=387022 tps=100 nb_sec=3870
case_no=135 label=Case6.123 nb_sol=0 ticks=219041 tps=100 nb_sec=2190
case_no=135 label=Case6.123 nb_sol=0 ticks=464892 tps=100 nb_sec=4648
case_no=135 label=Case6.123 nb_sol=0 ticks=184382 tps=100 nb_sec=1843
case_no=135 label=Case6.123 nb_sol=0 ticks=441649 tps=100 nb_sec=4416
case_no=135 label=Case6.123 nb_sol=0 ticks=535229 tps=100 nb_sec=5352
case_no=135 label=Case6.123 nb_sol=0 ticks=424275 tps=100 nb_sec=4242
case_no=135 label=Case6.123 nb_sol=0 ticks=483920 tps=100 nb_sec=4839
case_no=135 label=Case6.123 nb_sol=0 ticks=457210 tps=100 nb_sec=4572
case_no=135 label=Case6.123 nb_sol=0 ticks=498945 tps=100 nb_sec=4989
case_no=135 label=Case6.123 nb_sol=0 ticks=338743 tps=100 nb_sec=3387
case_no=135 label=Case6.123 nb_sol=0 ticks=194015 tps=100 nb_sec=1940
case_no=135 label=Case6.123 nb_sol=0 ticks=465568 tps=100 nb_sec=4655
case_no=135 label=Case6.123 nb_sol=0 ticks=494826 tps=100 nb_sec=4948
case_no=135 label=Case6.123 nb_sol=0 ticks=482589 tps=100 nb_sec=4825
case_no=135 label=Case6.123 nb_sol=0 ticks=491212 tps=100 nb_sec=4912
case_no=135 label=Case6.123 nb_sol=0 ticks=466923 tps=100 nb_sec=4669
case_no=135 label=Case6.123 nb_sol=0 ticks=600668 tps=100 nb_sec=6006
case_no=135 label=Case6.123 nb_sol=0 ticks=528269 tps=100 nb_sec=5282
case_no=135 label=Case6.123 nb_sol=0 ticks=482625 tps=100 nb_sec=4826
case_no=135 label=Case6.123 nb_sol=0 ticks=548119 tps=100 nb_sec=5481
case_no=135 label=Case6.123 nb_sol=0 ticks=374750 tps=100 nb_sec=3747
case_no=135 label=Case6.123 nb_sol=0 ticks=650696 tps=100 nb_sec=6506
case_no=135 label=Case6.123 nb_sol=0 ticks=217559 tps=100 nb_sec=2175
case_no=135 label=Case6.123 nb_sol=0 ticks=431592 tps=100 nb_sec=4315
case_no=135 label=Case6.123 nb_sol=0 ticks=426812 tps=100 nb_sec=4268
case_no=135 label=Case6.123 nb_sol=0 ticks=373143 tps=100 nb_sec=3731
case_no=135 label=Case6.123 nb_sol=0 ticks=533828 tps=100 nb_sec=5338
case_no=135 label=Case6.123 nb_sol=0 ticks=403283 tps=100 nb_sec=4032
case_no=135 label=Case6.123 nb_sol=0 ticks=491666 tps=100 nb_sec=4916
case_no=135 label=Case6.123 nb_sol=0 ticks=401997 tps=100 nb_sec=4019
case_no=135 label=Case6.123 nb_sol=0 ticks=499399 tps=100 nb_sec=4993
case_no=135 label=Case6.123 nb_sol=0 ticks=234040 tps=100 nb_sec=2340
case_no=135 label=Case6.123 nb_sol=0 ticks=338191 tps=100 nb_sec=3381
case_no=135 label=Case6.123 nb_sol=0 ticks=441810 tps=100 nb_sec=4418
case_no=135 label=Case6.123 nb_sol=0 ticks=524965 tps=100 nb_sec=5249
case_no=135 label=Case6.123 nb_sol=0 ticks=193616 tps=100 nb_sec=1936
case_no=135 label=Case6.123 nb_sol=0 ticks=603383 tps=100 nb_sec=6033
case_no=135 label=Case6.123 nb_sol=0 ticks=547313 tps=100 nb_sec=5473
case_no=135 label=Case6.123 nb_sol=0 ticks=225165 tps=100 nb_sec=2251
case_no=135 label=Case6.123 nb_sol=0 ticks=578723 tps=100 nb_sec=5787
case_no=135 label=Case6.123 nb_sol=0 ticks=251226 tps=100 nb_sec=2512
case_no=135 label=Case6.123 nb_sol=0 ticks=331501 tps=100 nb_sec=3315
case_no=135 label=Case6.123 nb_sol=0 ticks=518929 tps=100 nb_sec=5189
case_no=135 label=Case6.123 nb_sol=0 ticks=482374 tps=100 nb_sec=4823
case_no=135 label=Case6.123 nb_sol=0 ticks=711371 tps=100 nb_sec=7113
case_no=135 label=Case6.123 nb_sol=0 ticks=472814 tps=100 nb_sec=4728
case_no=135 label=Case6.123 nb_sol=0 ticks=241077 tps=100 nb_sec=2410
case_no=135 label=Case6.123 nb_sol=0 ticks=438991 tps=100 nb_sec=4389
case_no=135 label=Case6.123 nb_sol=0 ticks=187260 tps=100 nb_sec=1872
case_no=135 label=Case6.123 nb_sol=0 ticks=506749 tps=100 nb_sec=5067
case_no=135 label=Case6.123 nb_sol=0 ticks=574582 tps=100 nb_sec=5745
case_no=135 label=Case6.123 nb_sol=0 ticks=642166 tps=100 nb_sec=6421
case_no=135 label=Case6.123 nb_sol=0 ticks=609914 tps=100 nb_sec=6099
case_no=135 label=Case6.123 nb_sol=0 ticks=551808 tps=100 nb_sec=5518
case_no=135 label=Case6.123 nb_sol=0 ticks=597464 tps=100 nb_sec=5974
case_no=135 label=Case6.123 nb_sol=0 ticks=228476 tps=100 nb_sec=2284
case_no=135 label=Case6.123 nb_sol=0 ticks=604089 tps=100 nb_sec=6040
case_no=135 label=Case6.123 nb_sol=0 ticks=233874 tps=100 nb_sec=2338
case_no=135 label=Case6.123 nb_sol=0 ticks=257210 tps=100 nb_sec=2572
case_no=135 label=Case6.123 nb_sol=0 ticks=229722 tps=100 nb_sec=2297
case_no=135 label=Case6.123 nb_sol=0 ticks=299660 tps=100 nb_sec=2996
case_no=135 label=Case6.123 nb_sol=0 ticks=575390 tps=100 nb_sec=5753
case_no=135 label=Case6.123 nb_sol=0 ticks=242381 tps=100 nb_sec=2423
case_no=135 label=Case6.123 nb_sol=0 ticks=519257 tps=100 nb_sec=5192
case_no=135 label=Case6.123 nb_sol=0 ticks=471316 tps=100 nb_sec=4713
case_no=135 label=Case6.123 nb_sol=0 ticks=534929 tps=100 nb_sec=5349
case_no=135 label=Case6.123 nb_sol=0 ticks=659176 tps=100 nb_sec=6591
case_no=135 label=Case6.123 nb_sol=0 ticks=295592 tps=100 nb_sec=2955
case_no=135 label=Case6.123 nb_sol=0 ticks=258576 tps=100 nb_sec=2585
case_no=135 label=Case6.123 nb_sol=0 ticks=252667 tps=100 nb_sec=2526
case_no=135 label=Case6.123 nb_sol=0 ticks=582782 tps=100 nb_sec=5827
case_no=135 label=Case6.123 nb_sol=0 ticks=546369 tps=100 nb_sec=5463
case_no=135 label=Case6.123 nb_sol=0 ticks=619381 tps=100 nb_sec=6193
case_no=135 label=Case6.123 nb_sol=0 ticks=529263 tps=100 nb_sec=5292
case_no=135 label=Case6.123 nb_sol=0 ticks=519798 tps=100 nb_sec=5197
case_no=135 label=Case6.123 nb_sol=0 ticks=555407 tps=100 nb_sec=5554
case_no=135 label=Case6.123 nb_sol=0 ticks=472593 tps=100 nb_sec=4725
case_no=135 label=Case6.123 nb_sol=0 ticks=520969 tps=100 nb_sec=5209
case_no=135 label=Case6.123 nb_sol=0 ticks=444064 tps=100 nb_sec=4440
case_no=135 label=Case6.123 nb_sol=0 ticks=478599 tps=100 nb_sec=4785
case_no=135 label=Case6.123 nb_sol=0 ticks=537198 tps=100 nb_sec=5371
case_no=135 label=Case6.123 nb_sol=0 ticks=460061 tps=100 nb_sec=4600
case_no=135 label=Case6.123 nb_sol=0 ticks=447338 tps=100 nb_sec=4473
case_no=135 label=Case6.123 nb_sol=0 ticks=538747 tps=100 nb_sec=5387
case_no=135 label=Case6.123 nb_sol=0 ticks=302264 tps=100 nb_sec=3022
case_no=135 label=Case6.123 nb_sol=0 ticks=748440 tps=100 nb_sec=7484
case_no=135 label=Case6.123 nb_sol=0 ticks=479061 tps=100 nb_sec=4790
case_no=135 label=Case6.123 nb_sol=0 ticks=443225 tps=100 nb_sec=4432
case_no=135 label=Case6.123 nb_sol=0 ticks=365900 tps=100 nb_sec=3659
case_no=135 label=Case6.123 nb_sol=0 ticks=243356 tps=100 nb_sec=2433
case_no=135 label=Case6.123 nb_sol=0 ticks=617349 tps=100 nb_sec=6173
case_no=135 label=Case6.123 nb_sol=0 ticks=487233 tps=100 nb_sec=4872
case_no=135 label=Case6.123 nb_sol=0 ticks=249116 tps=100 nb_sec=2491
case_no=135 label=Case6.123 nb_sol=0 ticks=257441 tps=100 nb_sec=2574
case_no=135 label=Case6.123 nb_sol=0 ticks=582342 tps=100 nb_sec=5823
case_no=135 label=Case6.123 nb_sol=0 ticks=562746 tps=100 nb_sec=5627
case_no=135 label=Case6.123 nb_sol=0 ticks=357241 tps=100 nb_sec=3572
case_no=135 label=Case6.123 nb_sol=0 ticks=226300 tps=100 nb_sec=2263
case_no=135 label=Case6.123 nb_sol=0 ticks=541038 tps=100 nb_sec=5410
case_no=135 label=Case6.123 nb_sol=0 ticks=346268 tps=100 nb_sec=3462
case_no=135 label=Case6.123 nb_sol=0 ticks=230521 tps=100 nb_sec=2305
case_no=135 label=Case6.123 nb_sol=0 ticks=593900 tps=100 nb_sec=5939
case_no=135 label=Case6.123 nb_sol=0 ticks=477502 tps=100 nb_sec=4775
case_no=135 label=Case6.123 nb_sol=0 ticks=675291 tps=100 nb_sec=6752
case_no=135 label=Case6.123 nb_sol=0 ticks=590678 tps=100 nb_sec=5906
case_no=135 label=Case6.123 nb_sol=0 ticks=395569 tps=100 nb_sec=3955
case_no=135 label=Case6.123 nb_sol=0 ticks=432671 tps=100 nb_sec=4326
case_no=135 label=Case6.123 nb_sol=0 ticks=391454 tps=100 nb_sec=3914
case_no=135 label=Case6.123 nb_sol=0 ticks=350750 tps=100 nb_sec=3507
case_no=135 label=Case6.123 nb_sol=0 ticks=467851 tps=100 nb_sec=4678
case_no=135 label=Case6.123 nb_sol=0 ticks=245912 tps=100 nb_sec=2459
case_no=135 label=Case6.123 nb_sol=0 ticks=237534 tps=100 nb_sec=2375
case_no=135 label=Case6.123 nb_sol=0 ticks=402601 tps=100 nb_sec=4026
case_no=135 label=Case6.123 nb_sol=0 ticks=397026 tps=100 nb_sec=3970
case_no=135 label=Case6.123 nb_sol=0 ticks=350384 tps=100 nb_sec=3503
case_no=135 label=Case6.123 nb_sol=0 ticks=637825 tps=100 nb_sec=6378
case_no=135 label=Case6.123 nb_sol=0 ticks=235764 tps=100 nb_sec=2357
case_no=135 label=Case6.123 nb_sol=0 ticks=474578 tps=100 nb_sec=4745
case_no=135 label=Case6.123 nb_sol=0 ticks=382190 tps=100 nb_sec=3821
case_no=135 label=Case6.123 nb_sol=0 ticks=203516 tps=100 nb_sec=2035
case_no=135 label=Case6.123 nb_sol=0 ticks=401056 tps=100 nb_sec=4010
case_no=135 label=Case6.123 nb_sol=0 ticks=569275 tps=100 nb_sec=5692
case_no=135 label=Case6.123 nb_sol=0 ticks=247976 tps=100 nb_sec=2479
case_no=135 label=Case6.123 nb_sol=0 ticks=273425 tps=100 nb_sec=2734
case_no=135 label=Case6.123 nb_sol=0 ticks=236985 tps=100 nb_sec=2369
case_no=135 label=Case6.123 nb_sol=0 ticks=252768 tps=100 nb_sec=2527
case_no=135 label=Case6.123 nb_sol=0 ticks=241738 tps=100 nb_sec=2417
case_no=135 label=Case6.123 nb_sol=0 ticks=211323 tps=100 nb_sec=2113
case_no=135 label=Case6.123 nb_sol=0 ticks=224284 tps=100 nb_sec=2242
case_no=135 label=Case6.123 nb_sol=0 ticks=208208 tps=100 nb_sec=2082
case_no=135 label=Case6.123 nb_sol=0 ticks=540999 tps=100 nb_sec=5409
case_no=135 label=Case6.123 nb_sol=0 ticks=190701 tps=100 nb_sec=1907
case_no=135 label=Case6.123 nb_sol=0 ticks=213737 tps=100 nb_sec=2137
case_no=135 label=Case6.123 nb_sol=0 ticks=239159 tps=100 nb_sec=2391
case_no=135 label=Case6.123 nb_sol=0 ticks=235243 tps=100 nb_sec=2352
case_no=135 label=Case6.123 nb_sol=0 ticks=274891 tps=100 nb_sec=2748
case_no=135 label=Case6.123 nb_sol=0 ticks=232014 tps=100 nb_sec=2320
case_no=135 label=Case6.123 nb_sol=0 ticks=232059 tps=100 nb_sec=2320
case_no=135 label=Case6.123 nb_sol=0 ticks=182479 tps=100 nb_sec=1824
case_no=135 label=Case6.123 nb_sol=0 ticks=232291 tps=100 nb_sec=2322
case_no=135 label=Case6.123 nb_sol=0 ticks=209555 tps=100 nb_sec=2095
case_no=135 label=Case6.123 nb_sol=0 ticks=231972 tps=100 nb_sec=2319
case_no=135 label=Case6.123 nb_sol=0 ticks=225416 tps=100 nb_sec=2254
case_no=135 label=Case6.123 nb_sol=0 ticks=187270 tps=100 nb_sec=1872
case_no=135 label=Case6.123 nb_sol=0 ticks=232426 tps=100 nb_sec=2324
case_no=135 label=Case6.123 nb_sol=0 ticks=256705 tps=100 nb_sec=2567
case_no=135 label=Case6.123 nb_sol=0 ticks=268911 tps=100 nb_sec=2689
case_no=135 label=Case6.123 nb_sol=0 ticks=243005 tps=100 nb_sec=2430
case_no=135 label=Case6.123 nb_sol=0 ticks=220480 tps=100 nb_sec=2204
case_no=135 label=Case6.123 nb_sol=0 ticks=399725 tps=100 nb_sec=3997
case_no=135 label=Case6.123 nb_sol=0 ticks=239379 tps=100 nb_sec=2393
case_no=135 label=Case6.123 nb_sol=0 ticks=223600 tps=100 nb_sec=2236
case_no=135 label=Case6.123 nb_sol=0 ticks=221480 tps=100 nb_sec=2214
case_no=135 label=Case6.123 nb_sol=0 ticks=279101 tps=100 nb_sec=2791
case_no=135 label=Case6.123 nb_sol=0 ticks=258484 tps=100 nb_sec=2584
case_no=135 label=Case6.123 nb_sol=0 ticks=573203 tps=100 nb_sec=5732
case_no=135 label=Case6.123 nb_sol=0 ticks=257801 tps=100 nb_sec=2578
case_no=135 label=Case6.123 nb_sol=0 ticks=459745 tps=100 nb_sec=4597
case_no=135 label=Case6.123 nb_sol=0 ticks=226231 tps=100 nb_sec=2262
case_no=135 label=Case6.123 nb_sol=0 ticks=199668 tps=100 nb_sec=1996
case_no=135 label=Case6.123 nb_sol=0 ticks=431313 tps=100 nb_sec=4313
case_no=135 label=Case6.123 nb_sol=0 ticks=245834 tps=100 nb_sec=2458
case_no=135 label=Case6.123 nb_sol=0 ticks=216062 tps=100 nb_sec=2160
case_no=135 label=Case6.123 nb_sol=0 ticks=169581 tps=100 nb_sec=1695
case_no=135 label=Case6.123 nb_sol=0 ticks=231040 tps=100 nb_sec=2310
case_no=135 label=Case6.123 nb_sol=0 ticks=218866 tps=100 nb_sec=2188
case_no=135 label=Case6.123 nb_sol=0 ticks=361468 tps=100 nb_sec=3614
case_no=135 label=Case6.123 nb_sol=0 ticks=267924 tps=100 nb_sec=2679
case_no=135 label=Case6.123 nb_sol=0 ticks=430267 tps=100 nb_sec=4302
case_no=135 label=Case6.123 nb_sol=0 ticks=416374 tps=100 nb_sec=4163
case_no=135 label=Case6.123 nb_sol=0 ticks=275826 tps=100 nb_sec=2758
case_no=135 label=Case6.123 nb_sol=0 ticks=513258 tps=100 nb_sec=5132
case_no=135 label=Case6.123 nb_sol=0 ticks=238523 tps=100 nb_sec=2385
case_no=135 label=Case6.123 nb_sol=0 ticks=191340 tps=100 nb_sec=1913
case_no=135 label=Case6.123 nb_sol=0 ticks=451798 tps=100 nb_sec=4517
case_no=135 label=Case6.123 nb_sol=0 ticks=593123 tps=100 nb_sec=5931
case_no=135 label=Case6.123 nb_sol=0 ticks=242808 tps=100 nb_sec=2428
case_no=135 label=Case6.123 nb_sol=0 ticks=423946 tps=100 nb_sec=4239
case_no=135 label=Case6.123 nb_sol=0 ticks=387070 tps=100 nb_sec=3870
case_no=135 label=Case6.123 nb_sol=0 ticks=467764 tps=100 nb_sec=4677
case_no=135 label=Case6.123 nb_sol=0 ticks=263226 tps=100 nb_sec=2632
case_no=135 label=Case6.123 nb_sol=0 ticks=396566 tps=100 nb_sec=3965
case_no=135 label=Case6.123 nb_sol=0 ticks=277617 tps=100 nb_sec=2776
case_no=135 label=Case6.123 nb_sol=0 ticks=371864 tps=100 nb_sec=3718
case_no=135 label=Case6.123 nb_sol=0 ticks=436562 tps=100 nb_sec=4365
case_no=135 label=Case6.123 nb_sol=0 ticks=574782 tps=100 nb_sec=5747
case_no=135 label=Case6.123 nb_sol=0 ticks=398406 tps=100 nb_sec=3984
case_no=135 label=Case6.123 nb_sol=0 ticks=374249 tps=100 nb_sec=3742
case_no=135 label=Case6.123 nb_sol=0 ticks=431618 tps=100 nb_sec=4316
case_no=135 label=Case6.123 nb_sol=0 ticks=478083 tps=100 nb_sec=4780
case_no=135 label=Case6.123 nb_sol=0 ticks=220105 tps=100 nb_sec=2201
case_no=135 label=Case6.123 nb_sol=0 ticks=367888 tps=100 nb_sec=3678
case_no=135 label=Case6.123 nb_sol=0 ticks=193990 tps=100 nb_sec=1939
case_no=135 label=Case6.123 nb_sol=0 ticks=221600 tps=100 nb_sec=2216
case_no=135 label=Case6.123 nb_sol=0 ticks=215432 tps=100 nb_sec=2154
case_no=135 label=Case6.123 nb_sol=0 ticks=190654 tps=100 nb_sec=1906
case_no=135 label=Case6.123 nb_sol=0 ticks=163657 tps=100 nb_sec=1636
case_no=135 label=Case6.123 nb_sol=0 ticks=264581 tps=100 nb_sec=2645
case_no=135 label=Case6.123 nb_sol=0 ticks=208995 tps=100 nb_sec=2089
case_no=135 label=Case6.123 nb_sol=0 ticks=203322 tps=100 nb_sec=2033
case_no=135 label=Case6.123 nb_sol=0 ticks=252316 tps=100 nb_sec=2523
case_no=135 label=Case6.123 nb_sol=0 ticks=344918 tps=100 nb_sec=3449
case_no=135 label=Case6.123 nb_sol=0 ticks=331899 tps=100 nb_sec=3318
case_no=135 label=Case6.123 nb_sol=0 ticks=232256 tps=100 nb_sec=2322
case_no=135 label=Case6.123 nb_sol=0 ticks=357645 tps=100 nb_sec=3576
case_no=135 label=Case6.123 nb_sol=0 ticks=313933 tps=100 nb_sec=3139
case_no=135 label=Case6.123 nb_sol=0 ticks=314749 tps=100 nb_sec=3147
case_no=135 label=Case6.123 nb_sol=0 ticks=334155 tps=100 nb_sec=3341
case_no=135 label=Case6.123 nb_sol=0 ticks=343992 tps=100 nb_sec=3439
case_no=135 label=Case6.123 nb_sol=0 ticks=411442 tps=100 nb_sec=4114
case_no=135 label=Case6.123 nb_sol=0 ticks=233229 tps=100 nb_sec=2332
case_no=135 label=Case6.123 nb_sol=0 ticks=315411 tps=100 nb_sec=3154
case_no=135 label=Case6.123 nb_sol=0 ticks=290290 tps=100 nb_sec=2902
case_no=135 label=Case6.123 nb_sol=0 ticks=262132 tps=100 nb_sec=2621
case_no=135 label=Case6.123 nb_sol=0 ticks=213041 tps=100 nb_sec=2130
case_no=135 label=Case6.123 nb_sol=0 ticks=477767 tps=100 nb_sec=4777
case_no=135 label=Case6.123 nb_sol=0 ticks=417511 tps=100 nb_sec=4175
case_no=135 label=Case6.123 nb_sol=0 ticks=402338 tps=100 nb_sec=4023
case_no=135 label=Case6.123 nb_sol=0 ticks=351408 tps=100 nb_sec=3514
case_no=135 label=Case6.123 nb_sol=0 ticks=483658 tps=100 nb_sec=4836
case_no=135 label=Case6.123 nb_sol=0 ticks=476656 tps=100 nb_sec=4766
case_no=135 label=Case6.123 nb_sol=0 ticks=470678 tps=100 nb_sec=4706
case_no=135 label=Case6.123 nb_sol=0 ticks=469229 tps=100 nb_sec=4692
case_no=135 label=Case6.123 nb_sol=0 ticks=621699 tps=100 nb_sec=6216
case_no=135 label=Case6.123 nb_sol=0 ticks=208960 tps=100 nb_sec=2089
case_no=135 label=Case6.123 nb_sol=0 ticks=456851 tps=100 nb_sec=4568
case_no=135 label=Case6.123 nb_sol=0 ticks=244725 tps=100 nb_sec=2447
case_no=135 label=Case6.123 nb_sol=0 ticks=535790 tps=100 nb_sec=5357
case_no=135 label=Case6.123 nb_sol=0 ticks=211658 tps=100 nb_sec=2116
case_no=135 label=Case6.123 nb_sol=0 ticks=469011 tps=100 nb_sec=4690
case_no=135 label=Case6.123 nb_sol=0 ticks=442721 tps=100 nb_sec=4427
case_no=135 label=Case6.123 nb_sol=0 ticks=427088 tps=100 nb_sec=4270
case_no=135 label=Case6.123 nb_sol=0 ticks=267889 tps=100 nb_sec=2678
case_no=135 label=Case6.123 nb_sol=0 ticks=541547 tps=100 nb_sec=5415
case_no=135 label=Case6.123 nb_sol=0 ticks=358953 tps=100 nb_sec=3589
case_no=135 label=Case6.123 nb_sol=0 ticks=222241 tps=100 nb_sec=2222
case_no=135 label=Case6.123 nb_sol=0 ticks=241879 tps=100 nb_sec=2418
case_no=135 label=Case6.123 nb_sol=0 ticks=238236 tps=100 nb_sec=2382
case_no=135 label=Case6.123 nb_sol=0 ticks=432685 tps=100 nb_sec=4326
case_no=135 label=Case6.123 nb_sol=0 ticks=533112 tps=100 nb_sec=5331
case_no=135 label=Case6.123 nb_sol=0 ticks=483063 tps=100 nb_sec=4830
case_no=135 label=Case6.123 nb_sol=0 ticks=309442 tps=100 nb_sec=3094
case_no=135 label=Case6.123 nb_sol=0 ticks=308584 tps=100 nb_sec=3085
case_no=135 label=Case6.123 nb_sol=0 ticks=474227 tps=100 nb_sec=4742
case_no=135 label=Case6.123 nb_sol=0 ticks=241640 tps=100 nb_sec=2416
case_no=135 label=Case6.123 nb_sol=0 ticks=211067 tps=100 nb_sec=2110
case_no=135 label=Case6.123 nb_sol=0 ticks=196838 tps=100 nb_sec=1968
case_no=135 label=Case6.123 nb_sol=0 ticks=333211 tps=100 nb_sec=3332
case_no=135 label=Case6.123 nb_sol=0 ticks=422512 tps=100 nb_sec=4225
case_no=135 label=Case6.123 nb_sol=0 ticks=394779 tps=100 nb_sec=3947
case_no=135 label=Case6.123 nb_sol=0 ticks=220421 tps=100 nb_sec=2204
case_no=135 label=Case6.123 nb_sol=0 ticks=293050 tps=100 nb_sec=2930
case_no=135 label=Case6.123 nb_sol=0 ticks=234146 tps=100 nb_sec=2341
case_no=135 label=Case6.123 nb_sol=0 ticks=212655 tps=100 nb_sec=2126
case_no=135 label=Case6.123 nb_sol=0 ticks=419356 tps=100 nb_sec=4193
case_no=135 label=Case6.123 nb_sol=0 ticks=423028 tps=100 nb_sec=4230
case_no=135 label=Case6.123 nb_sol=0 ticks=294094 tps=100 nb_sec=2940
case_no=135 label=Case6.123 nb_sol=0 ticks=604787 tps=100 nb_sec=6047
case_no=135 label=Case6.123 nb_sol=0 ticks=247965 tps=100 nb_sec=2479
case_no=135 label=Case6.123 nb_sol=0 ticks=258556 tps=100 nb_sec=2585
case_no=135 label=Case6.123 nb_sol=0 ticks=461993 tps=100 nb_sec=4619
case_no=135 label=Case6.123 nb_sol=0 ticks=533628 tps=100 nb_sec=5336
case_no=135 label=Case6.123 nb_sol=0 ticks=226000 tps=100 nb_sec=2260
case_no=135 label=Case6.123 nb_sol=0 ticks=261107 tps=100 nb_sec=2611
case_no=135 label=Case6.123 nb_sol=0 ticks=683504 tps=100 nb_sec=6835
case_no=135 label=Case6.123 nb_sol=0 ticks=526789 tps=100 nb_sec=5267
case_no=135 label=Case6.123 nb_sol=0 ticks=235985 tps=100 nb_sec=2359
case_no=135 label=Case6.123 nb_sol=0 ticks=198861 tps=100 nb_sec=1988
case_no=135 label=Case6.123 nb_sol=0 ticks=278715 tps=100 nb_sec=2787
case_no=135 label=Case6.123 nb_sol=0 ticks=289200 tps=100 nb_sec=2892
case_no=135 label=Case6.123 nb_sol=0 ticks=313522 tps=100 nb_sec=3135
case_no=135 label=Case6.123 nb_sol=0 ticks=519671 tps=100 nb_sec=5196
case_no=135 label=Case6.123 nb_sol=0 ticks=219107 tps=100 nb_sec=2191
case_no=135 label=Case6.123 nb_sol=0 ticks=582534 tps=100 nb_sec=5825
case_no=135 label=Case6.123 nb_sol=0 ticks=267864 tps=100 nb_sec=2678
case_no=135 label=Case6.123 nb_sol=0 ticks=280079 tps=100 nb_sec=2800
case_no=135 label=Case6.123 nb_sol=0 ticks=295122 tps=100 nb_sec=2951
case_no=135 label=Case6.123 nb_sol=0 ticks=225551 tps=100 nb_sec=2255
case_no=135 label=Case6.123 nb_sol=0 ticks=251887 tps=100 nb_sec=2518
case_no=135 label=Case6.123 nb_sol=0 ticks=406725 tps=100 nb_sec=4067
case_no=135 label=Case6.123 nb_sol=0 ticks=347258 tps=100 nb_sec=3472
case_no=135 label=Case6.123 nb_sol=0 ticks=446663 tps=100 nb_sec=4466
case_no=135 label=Case6.123 nb_sol=0 ticks=503376 tps=100 nb_sec=5033
case_no=135 label=Case6.123 nb_sol=0 ticks=375709 tps=100 nb_sec=3757
case_no=135 label=Case6.123 nb_sol=0 ticks=500273 tps=100 nb_sec=5002
case_no=135 label=Case6.123 nb_sol=0 ticks=286829 tps=100 nb_sec=2868
case_no=135 label=Case6.123 nb_sol=0 ticks=465866 tps=100 nb_sec=4658
case_no=135 label=Case6.123 nb_sol=0 ticks=226083 tps=100 nb_sec=2260
case_no=135 label=Case6.123 nb_sol=0 ticks=219646 tps=100 nb_sec=2196
case_no=135 label=Case6.123 nb_sol=0 ticks=263263 tps=100 nb_sec=2632
case_no=135 label=Case6.123 nb_sol=0 ticks=529982 tps=100 nb_sec=5299
case_no=135 label=Case6.123 nb_sol=0 ticks=484955 tps=100 nb_sec=4849
case_no=135 label=Case6.123 nb_sol=0 ticks=443897 tps=100 nb_sec=4438
case_no=135 label=Case6.123 nb_sol=0 ticks=485272 tps=100 nb_sec=4852
case_no=135 label=Case6.123 nb_sol=0 ticks=231842 tps=100 nb_sec=2318
case_no=135 label=Case6.123 nb_sol=0 ticks=294336 tps=100 nb_sec=2943
case_no=135 label=Case6.123 nb_sol=0 ticks=489162 tps=100 nb_sec=4891
case_no=135 label=Case6.123 nb_sol=0 ticks=234092 tps=100 nb_sec=2340
case_no=135 label=Case6.123 nb_sol=0 ticks=501757 tps=100 nb_sec=5017
case_no=135 label=Case6.123 nb_sol=0 ticks=201827 tps=100 nb_sec=2018
case_no=135 label=Case6.123 nb_sol=0 ticks=402349 tps=100 nb_sec=4023
case_no=135 label=Case6.123 nb_sol=0 ticks=292408 tps=100 nb_sec=2924
case_no=135 label=Case6.123 nb_sol=0 ticks=442029 tps=100 nb_sec=4420
case_no=135 label=Case6.123 nb_sol=0 ticks=333175 tps=100 nb_sec=3331
case_no=135 label=Case6.123 nb_sol=0 ticks=500857 tps=100 nb_sec=5008
case_no=135 label=Case6.123 nb_sol=0 ticks=303597 tps=100 nb_sec=3035
case_no=135 label=Case6.123 nb_sol=0 ticks=258965 tps=100 nb_sec=2589
case_no=135 label=Case6.123 nb_sol=0 ticks=303910 tps=100 nb_sec=3039
case_no=135 label=Case6.123 nb_sol=0 ticks=526957 tps=100 nb_sec=5269
case_no=135 label=Case6.123 nb_sol=0 ticks=427652 tps=100 nb_sec=4276
case_no=135 label=Case6.123 nb_sol=0 ticks=613046 tps=100 nb_sec=6130
case_no=135 label=Case6.123 nb_sol=0 ticks=222242 tps=100 nb_sec=2222
case_no=135 label=Case6.123 nb_sol=0 ticks=270090 tps=100 nb_sec=2700
case_no=135 label=Case6.123 nb_sol=0 ticks=514227 tps=100 nb_sec=5142
case_no=135 label=Case6.123 nb_sol=0 ticks=230069 tps=100 nb_sec=2300
case_no=135 label=Case6.123 nb_sol=0 ticks=251995 tps=100 nb_sec=2519
case_no=135 label=Case6.123 nb_sol=0 ticks=205212 tps=100 nb_sec=2052
case_no=135 label=Case6.123 nb_sol=0 ticks=358066 tps=100 nb_sec=3580
case_no=135 label=Case6.123 nb_sol=0 ticks=662152 tps=100 nb_sec=6621
case_no=135 label=Case6.123 nb_sol=0 ticks=222050 tps=100 nb_sec=2220
case_no=135 label=Case6.123 nb_sol=0 ticks=605051 tps=100 nb_sec=6050
case_no=135 label=Case6.123 nb_sol=0 ticks=392907 tps=100 nb_sec=3929
case_no=135 label=Case6.123 nb_sol=0 ticks=364210 tps=100 nb_sec=3642
case_no=135 label=Case6.123 nb_sol=0 ticks=193261 tps=100 nb_sec=1932
case_no=135 label=Case6.123 nb_sol=0 ticks=217267 tps=100 nb_sec=2172
case_no=135 label=Case6.123 nb_sol=0 ticks=390923 tps=100 nb_sec=3909
case_no=135 label=Case6.123 nb_sol=0 ticks=449808 tps=100 nb_sec=4498
case_no=135 label=Case6.123 nb_sol=0 ticks=427773 tps=100 nb_sec=4277
case_no=135 label=Case6.123 nb_sol=0 ticks=494055 tps=100 nb_sec=4940
case_no=135 label=Case6.123 nb_sol=0 ticks=311744 tps=100 nb_sec=3117
case_no=135 label=Case6.123 nb_sol=0 ticks=325383 tps=100 nb_sec=3253
case_no=135 label=Case6.123 nb_sol=0 ticks=244619 tps=100 nb_sec=2446
case_no=135 label=Case6.123 nb_sol=0 ticks=243670 tps=100 nb_sec=2436
case_no=135 label=Case6.123 nb_sol=0 ticks=279086 tps=100 nb_sec=2790
case_no=135 label=Case6.123 nb_sol=0 ticks=241397 tps=100 nb_sec=2413
case_no=135 label=Case6.123 nb_sol=0 ticks=273182 tps=100 nb_sec=2731
case_no=135 label=Case6.123 nb_sol=0 ticks=147903 tps=100 nb_sec=1479
case_no=135 label=Case6.123 nb_sol=0 ticks=227978 tps=100 nb_sec=2279
case_no=135 label=Case6.123 nb_sol=0 ticks=329287 tps=100 nb_sec=3292
case_no=135 label=Case6.123 nb_sol=0 ticks=210132 tps=100 nb_sec=2101
case_no=135 label=Case6.123 nb_sol=0 ticks=221657 tps=100 nb_sec=2216
case_no=135 label=Case6.123 nb_sol=0 ticks=210251 tps=100 nb_sec=2102
case_no=135 label=Case6.123 nb_sol=0 ticks=491932 tps=100 nb_sec=4919
case_no=135 label=Case6.123 nb_sol=0 ticks=205474 tps=100 nb_sec=2054
case_no=135 label=Case6.123 nb_sol=0 ticks=418952 tps=100 nb_sec=4189
case_no=135 label=Case6.123 nb_sol=0 ticks=255051 tps=100 nb_sec=2550
case_no=135 label=Case6.123 nb_sol=0 ticks=503448 tps=100 nb_sec=5034
case_no=135 label=Case6.123 nb_sol=0 ticks=238210 tps=100 nb_sec=2382
case_no=135 label=Case6.123 nb_sol=0 ticks=227157 tps=100 nb_sec=2271
case_no=135 label=Case6.123 nb_sol=0 ticks=389923 tps=100 nb_sec=3899
case_no=135 label=Case6.123 nb_sol=0 ticks=513326 tps=100 nb_sec=5133
case_no=135 label=Case6.123 nb_sol=0 ticks=451338 tps=100 nb_sec=4513
case_no=135 label=Case6.123 nb_sol=0 ticks=469784 tps=100 nb_sec=4697
case_no=135 label=Case6.123 nb_sol=0 ticks=437496 tps=100 nb_sec=4374
case_no=135 label=Case6.123 nb_sol=0 ticks=216595 tps=100 nb_sec=2165
case_no=135 label=Case6.123 nb_sol=0 ticks=201784 tps=100 nb_sec=2017
case_no=135 label=Case6.123 nb_sol=0 ticks=221542 tps=100 nb_sec=2215
case_no=135 label=Case6.123 nb_sol=0 ticks=437347 tps=100 nb_sec=4373
case_no=135 label=Case6.123 nb_sol=0 ticks=177148 tps=100 nb_sec=1771
case_no=135 label=Case6.123 nb_sol=0 ticks=214896 tps=100 nb_sec=2148
case_no=135 label=Case6.123 nb_sol=0 ticks=457045 tps=100 nb_sec=4570
case_no=135 label=Case6.123 nb_sol=0 ticks=244689 tps=100 nb_sec=2446
case_no=135 label=Case6.123 nb_sol=0 ticks=446396 tps=100 nb_sec=4463
case_no=135 label=Case6.123 nb_sol=0 ticks=231921 tps=100 nb_sec=2319
case_no=135 label=Case6.123 nb_sol=0 ticks=445553 tps=100 nb_sec=4455
case_no=135 label=Case6.123 nb_sol=0 ticks=263806 tps=100 nb_sec=2638
case_no=135 label=Case6.123 nb_sol=0 ticks=490719 tps=100 nb_sec=4907
case_no=135 label=Case6.123 nb_sol=0 ticks=260924 tps=100 nb_sec=2609
case_no=135 label=Case6.123 nb_sol=0 ticks=415056 tps=100 nb_sec=4150
case_no=135 label=Case6.123 nb_sol=0 ticks=260806 tps=100 nb_sec=2608
case_no=135 label=Case6.123 nb_sol=0 ticks=495811 tps=100 nb_sec=4958
case_no=135 label=Case6.123 nb_sol=0 ticks=338564 tps=100 nb_sec=3385
case_no=135 label=Case6.123 nb_sol=0 ticks=471776 tps=100 nb_sec=4717
case_no=135 label=Case6.123 nb_sol=0 ticks=239975 tps=100 nb_sec=2399
case_no=135 label=Case6.123 nb_sol=0 ticks=485315 tps=100 nb_sec=4853
case_no=135 label=Case6.123 nb_sol=0 ticks=218985 tps=100 nb_sec=2189
case_no=135 label=Case6.123 nb_sol=0 ticks=464038 tps=100 nb_sec=4640
case_no=135 label=Case6.123 nb_sol=0 ticks=198706 tps=100 nb_sec=1987
case_no=135 label=Case6.123 nb_sol=0 ticks=252683 tps=100 nb_sec=2526
case_no=135 label=Case6.123 nb_sol=0 ticks=402038 tps=100 nb_sec=4020
case_no=135 label=Case6.123 nb_sol=0 ticks=551084 tps=100 nb_sec=5510
case_no=135 label=Case6.123 nb_sol=0 ticks=275627 tps=100 nb_sec=2756
case_no=135 label=Case6.123 nb_sol=0 ticks=578301 tps=100 nb_sec=5783
case_no=135 label=Case6.123 nb_sol=0 ticks=229376 tps=100 nb_sec=2293
case_no=135 label=Case6.123 nb_sol=0 ticks=498382 tps=100 nb_sec=4983
case_no=135 label=Case6.123 nb_sol=0 ticks=472558 tps=100 nb_sec=4725
case_no=135 label=Case6.123 nb_sol=0 ticks=278977 tps=100 nb_sec=2789
case_no=135 label=Case6.123 nb_sol=0 ticks=579219 tps=100 nb_sec=5792
case_no=135 label=Case6.123 nb_sol=0 ticks=253229 tps=100 nb_sec=2532
case_no=135 label=Case6.123 nb_sol=0 ticks=586138 tps=100 nb_sec=5861
case_no=135 label=Case6.123 nb_sol=0 ticks=252362 tps=100 nb_sec=2523
case_no=135 label=Case6.123 nb_sol=0 ticks=762115 tps=100 nb_sec=7621
case_no=135 label=Case6.123 nb_sol=0 ticks=548125 tps=100 nb_sec=5481
case_no=135 label=Case6.123 nb_sol=0 ticks=425605 tps=100 nb_sec=4256
case_no=135 label=Case6.123 nb_sol=0 ticks=432890 tps=100 nb_sec=4328
case_no=135 label=Case6.123 nb_sol=0 ticks=271819 tps=100 nb_sec=2718
case_no=135 label=Case6.123 nb_sol=0 ticks=526443 tps=100 nb_sec=5264
case_no=135 label=Case6.123 nb_sol=0 ticks=493102 tps=100 nb_sec=4931
case_no=135 label=Case6.123 nb_sol=0 ticks=662912 tps=100 nb_sec=6629
case_no=135 label=Case6.123 nb_sol=0 ticks=196705 tps=100 nb_sec=1967
case_no=135 label=Case6.123 nb_sol=0 ticks=538450 tps=100 nb_sec=5384
case_no=135 label=Case6.123 nb_sol=0 ticks=201589 tps=100 nb_sec=2015
case_no=135 label=Case6.123 nb_sol=0 ticks=642231 tps=100 nb_sec=6422
case_no=135 label=Case6.123 nb_sol=0 ticks=378398 tps=100 nb_sec=3783
case_no=135 label=Case6.123 nb_sol=0 ticks=225393 tps=100 nb_sec=2253
case_no=135 label=Case6.123 nb_sol=0 ticks=578096 tps=100 nb_sec=5780
case_no=135 label=Case6.123 nb_sol=0 ticks=230160 tps=100 nb_sec=2301
case_no=135 label=Case6.123 nb_sol=0 ticks=621821 tps=100 nb_sec=6218
case_no=135 label=Case6.123 nb_sol=0 ticks=295121 tps=100 nb_sec=2951
case_no=135 label=Case6.123 nb_sol=0 ticks=214209 tps=100 nb_sec=2142
case_no=135 label=Case6.123 nb_sol=0 ticks=685940 tps=100 nb_sec=6859
case_no=135 label=Case6.123 nb_sol=0 ticks=269486 tps=100 nb_sec=2694
case_no=135 label=Case6.123 nb_sol=0 ticks=289122 tps=100 nb_sec=2891
case_no=135 label=Case6.123 nb_sol=0 ticks=455106 tps=100 nb_sec=4551
case_no=135 label=Case6.123 nb_sol=0 ticks=223993 tps=100 nb_sec=2239
case_no=135 label=Case6.123 nb_sol=0 ticks=241716 tps=100 nb_sec=2417
case_no=135 label=Case6.123 nb_sol=0 ticks=241260 tps=100 nb_sec=2412
case_no=135 label=Case6.123 nb_sol=0 ticks=620266 tps=100 nb_sec=6202
case_no=135 label=Case6.123 nb_sol=0 ticks=322250 tps=100 nb_sec=3222
case_no=135 label=Case6.123 nb_sol=0 ticks=249023 tps=100 nb_sec=2490
case_no=135 label=Case6.123 nb_sol=0 ticks=323273 tps=100 nb_sec=3232
case_no=135 label=Case6.123 nb_sol=0 ticks=250004 tps=100 nb_sec=2500
case_no=135 label=Case6.123 nb_sol=0 ticks=298570 tps=100 nb_sec=2985
case_no=135 label=Case6.123 nb_sol=0 ticks=327278 tps=100 nb_sec=3272
case_no=135 label=Case6.123 nb_sol=0 ticks=356059 tps=100 nb_sec=3560
case_no=135 label=Case6.123 nb_sol=0 ticks=299350 tps=100 nb_sec=2993
case_no=135 label=Case6.123 nb_sol=0 ticks=235460 tps=100 nb_sec=2354
case_no=135 label=Case6.123 nb_sol=0 ticks=253202 tps=100 nb_sec=2532
case_no=135 label=Case6.123 nb_sol=0 ticks=215659 tps=100 nb_sec=2156
case_no=135 label=Case6.123 nb_sol=0 ticks=278780 tps=100 nb_sec=2787
case_no=135 label=Case6.123 nb_sol=0 ticks=241539 tps=100 nb_sec=2415
case_no=135 label=Case6.123 nb_sol=0 ticks=235967 tps=100 nb_sec=2359
case_no=135 label=Case6.123 nb_sol=0 ticks=273760 tps=100 nb_sec=2737
case_no=135 label=Case6.123 nb_sol=0 ticks=245111 tps=100 nb_sec=2451
case_no=135 label=Case6.123 nb_sol=0 ticks=263652 tps=100 nb_sec=2636
case_no=135 label=Case6.123 nb_sol=0 ticks=334920 tps=100 nb_sec=3349
case_no=135 label=Case6.123 nb_sol=0 ticks=264905 tps=100 nb_sec=2649
case_no=135 label=Case6.123 nb_sol=0 ticks=260879 tps=100 nb_sec=2608
case_no=135 label=Case6.123 nb_sol=0 ticks=236996 tps=100 nb_sec=2369
case_no=135 label=Case6.123 nb_sol=0 ticks=247949 tps=100 nb_sec=2479
case_no=135 label=Case6.123 nb_sol=0 ticks=276163 tps=100 nb_sec=2761
case_no=135 label=Case6.123 nb_sol=0 ticks=276554 tps=100 nb_sec=2765
case_no=135 label=Case6.123 nb_sol=0 ticks=257638 tps=100 nb_sec=2576
case_no=135 label=Case6.123 nb_sol=0 ticks=256775 tps=100 nb_sec=2567
case_no=135 label=Case6.123 nb_sol=0 ticks=266570 tps=100 nb_sec=2665
case_no=135 label=Case6.123 nb_sol=0 ticks=574168 tps=100 nb_sec=5741
case_no=135 label=Case6.123 nb_sol=0 ticks=324698 tps=100 nb_sec=3246
case_no=135 label=Case6.123 nb_sol=0 ticks=415226 tps=100 nb_sec=4152
case_no=135 label=Case6.123 nb_sol=0 ticks=255811 tps=100 nb_sec=2558
case_no=135 label=Case6.123 nb_sol=0 ticks=383479 tps=100 nb_sec=3834
case_no=135 label=Case6.123 nb_sol=0 ticks=308539 tps=100 nb_sec=3085
case_no=135 label=Case6.123 nb_sol=0 ticks=653600 tps=100 nb_sec=6536
case_no=135 label=Case6.123 nb_sol=0 ticks=388262 tps=100 nb_sec=3882
case_no=135 label=Case6.123 nb_sol=0 ticks=224642 tps=100 nb_sec=2246
case_no=135 label=Case6.123 nb_sol=0 ticks=287568 tps=100 nb_sec=2875
case_no=135 label=Case6.123 nb_sol=0 ticks=219416 tps=100 nb_sec=2194
case_no=135 label=Case6.123 nb_sol=0 ticks=428674 tps=100 nb_sec=4286
case_no=135 label=Case6.123 nb_sol=0 ticks=297482 tps=100 nb_sec=2974
case_no=135 label=Case6.123 nb_sol=0 ticks=568474 tps=100 nb_sec=5684
case_no=135 label=Case6.123 nb_sol=0 ticks=783552 tps=100 nb_sec=7835
case_no=135 label=Case6.123 nb_sol=0 ticks=504266 tps=100 nb_sec=5042
case_no=135 label=Case6.123 nb_sol=0 ticks=403539 tps=100 nb_sec=4035
case_no=135 label=Case6.123 nb_sol=0 ticks=531545 tps=100 nb_sec=5315
case_no=135 label=Case6.123 nb_sol=0 ticks=510658 tps=100 nb_sec=5106
case_no=135 label=Case6.123 nb_sol=0 ticks=306070 tps=100 nb_sec=3060
case_no=135 label=Case6.123 nb_sol=0 ticks=452239 tps=100 nb_sec=4522
case_no=135 label=Case6.123 nb_sol=0 ticks=312494 tps=100 nb_sec=3124
case_no=135 label=Case6.123 nb_sol=0 ticks=491439 tps=100 nb_sec=4914
case_no=135 label=Case6.123 nb_sol=0 ticks=304493 tps=100 nb_sec=3044
case_no=135 label=Case6.123 nb_sol=0 ticks=436831 tps=100 nb_sec=4368
case_no=135 label=Case6.123 nb_sol=0 ticks=324015 tps=100 nb_sec=3240
case_no=135 label=Case6.123 nb_sol=0 ticks=385049 tps=100 nb_sec=3850
case_no=135 label=Case6.123 nb_sol=0 ticks=392235 tps=100 nb_sec=3922
case_no=135 label=Case6.123 nb_sol=0 ticks=562815 tps=100 nb_sec=5628
case_no=135 label=Case6.123 nb_sol=0 ticks=387561 tps=100 nb_sec=3875
case_no=135 label=Case6.123 nb_sol=0 ticks=418163 tps=100 nb_sec=4181
case_no=135 label=Case6.123 nb_sol=0 ticks=314392 tps=100 nb_sec=3143
case_no=135 label=Case6.123 nb_sol=0 ticks=430283 tps=100 nb_sec=4302
case_no=135 label=Case6.123 nb_sol=0 ticks=424535 tps=100 nb_sec=4245
case_no=135 label=Case6.123 nb_sol=0 ticks=396580 tps=100 nb_sec=3965
case_no=135 label=Case6.123 nb_sol=0 ticks=221161 tps=100 nb_sec=2211
case_no=135 label=Case6.123 nb_sol=0 ticks=403191 tps=100 nb_sec=4031
case_no=135 label=Case6.123 nb_sol=0 ticks=428028 tps=100 nb_sec=4280
case_no=135 label=Case6.123 nb_sol=0 ticks=431729 tps=100 nb_sec=4317
case_no=135 label=Case6.123 nb_sol=0 ticks=418529 tps=100 nb_sec=4185
case_no=135 label=Case6.123 nb_sol=0 ticks=384796 tps=100 nb_sec=3847
case_no=135 label=Case6.123 nb_sol=0 ticks=254990 tps=100 nb_sec=2549
case_no=135 label=Case6.123 nb_sol=0 ticks=223745 tps=100 nb_sec=2237
case_no=135 label=Case6.123 nb_sol=0 ticks=352030 tps=100 nb_sec=3520
case_no=135 label=Case6.123 nb_sol=0 ticks=252013 tps=100 nb_sec=2520
case_no=135 label=Case6.123 nb_sol=0 ticks=228996 tps=100 nb_sec=2289
case_no=135 label=Case6.123 nb_sol=0 ticks=216549 tps=100 nb_sec=2165
case_no=135 label=Case6.123 nb_sol=0 ticks=464469 tps=100 nb_sec=4644
case_no=135 label=Case6.123 nb_sol=0 ticks=488240 tps=100 nb_sec=4882
case_no=135 label=Case6.123 nb_sol=0 ticks=373873 tps=100 nb_sec=3738
case_no=135 label=Case6.123 nb_sol=0 ticks=482509 tps=100 nb_sec=4825
case_no=135 label=Case6.123 nb_sol=0 ticks=348494 tps=100 nb_sec=3484
case_no=135 label=Case6.123 nb_sol=0 ticks=536865 tps=100 nb_sec=5368
case_no=135 label=Case6.123 nb_sol=0 ticks=276929 tps=100 nb_sec=2769
case_no=135 label=Case6.123 nb_sol=0 ticks=556041 tps=100 nb_sec=5560
case_no=135 label=Case6.123 nb_sol=0 ticks=308848 tps=100 nb_sec=3088
case_no=135 label=Case6.123 nb_sol=0 ticks=296294 tps=100 nb_sec=2962
case_no=135 label=Case6.123 nb_sol=0 ticks=224036 tps=100 nb_sec=2240
case_no=135 label=Case6.123 nb_sol=0 ticks=430189 tps=100 nb_sec=4301
case_no=135 label=Case6.123 nb_sol=0 ticks=242908 tps=100 nb_sec=2429
case_no=135 label=Case6.123 nb_sol=0 ticks=482876 tps=100 nb_sec=4828
case_no=135 label=Case6.123 nb_sol=0 ticks=259604 tps=100 nb_sec=2596
case_no=135 label=Case6.123 nb_sol=0 ticks=597169 tps=100 nb_sec=5971
case_no=135 label=Case6.123 nb_sol=0 ticks=327071 tps=100 nb_sec=3270
case_no=135 label=Case6.123 nb_sol=0 ticks=492201 tps=100 nb_sec=4922
case_no=135 label=Case6.123 nb_sol=0 ticks=454353 tps=100 nb_sec=4543
case_no=135 label=Case6.123 nb_sol=0 ticks=486660 tps=100 nb_sec=4866
case_no=135 label=Case6.123 nb_sol=0 ticks=486969 tps=100 nb_sec=4869
case_no=135 label=Case6.123 nb_sol=0 ticks=258911 tps=100 nb_sec=2589
case_no=135 label=Case6.123 nb_sol=0 ticks=204691 tps=100 nb_sec=2046
case_no=135 label=Case6.123 nb_sol=0 ticks=297328 tps=100 nb_sec=2973
case_no=135 label=Case6.123 nb_sol=0 ticks=206255 tps=100 nb_sec=2062
case_no=135 label=Case6.123 nb_sol=0 ticks=563769 tps=100 nb_sec=5637
case_no=135 label=Case6.123 nb_sol=0 ticks=546804 tps=100 nb_sec=5468
case_no=135 label=Case6.123 nb_sol=0 ticks=501423 tps=100 nb_sec=5014
case_no=135 label=Case6.123 nb_sol=0 ticks=193400 tps=100 nb_sec=1934
case_no=135 label=Case6.123 nb_sol=0 ticks=442868 tps=100 nb_sec=4428
case_no=135 label=Case6.123 nb_sol=0 ticks=534835 tps=100 nb_sec=5348
case_no=135 label=Case6.123 nb_sol=0 ticks=505310 tps=100 nb_sec=5053
case_no=135 label=Case6.123 nb_sol=0 ticks=524958 tps=100 nb_sec=5249
case_no=135 label=Case6.123 nb_sol=0 ticks=492543 tps=100 nb_sec=4925
case_no=135 label=Case6.123 nb_sol=0 ticks=223494 tps=100 nb_sec=2234
case_no=135 label=Case6.123 nb_sol=0 ticks=447848 tps=100 nb_sec=4478
case_no=135 label=Case6.123 nb_sol=0 ticks=258090 tps=100 nb_sec=2580
case_no=135 label=Case6.123 nb_sol=0 ticks=438724 tps=100 nb_sec=4387
case_no=135 label=Case6.123 nb_sol=0 ticks=483244 tps=100 nb_sec=4832
case_no=135 label=Case6.123 nb_sol=0 ticks=296601 tps=100 nb_sec=2966
case_no=135 label=Case6.123 nb_sol=0 ticks=559043 tps=100 nb_sec=5590
case_no=135 label=Case6.123 nb_sol=0 ticks=423250 tps=100 nb_sec=4232
case_no=135 label=Case6.123 nb_sol=0 ticks=540958 tps=100 nb_sec=5409
case_no=135 label=Case6.123 nb_sol=0 ticks=231818 tps=100 nb_sec=2318
case_no=135 label=Case6.123 nb_sol=0 ticks=251551 tps=100 nb_sec=2515
case_no=135 label=Case6.123 nb_sol=0 ticks=591469 tps=100 nb_sec=5914
case_no=135 label=Case6.123 nb_sol=0 ticks=286838 tps=100 nb_sec=2868
case_no=135 label=Case6.123 nb_sol=0 ticks=477659 tps=100 nb_sec=4776
case_no=135 label=Case6.123 nb_sol=0 ticks=677210 tps=100 nb_sec=6772
case_no=135 label=Case6.123 nb_sol=0 ticks=346032 tps=100 nb_sec=3460
case_no=135 label=Case6.123 nb_sol=0 ticks=437692 tps=100 nb_sec=4376
case_no=135 label=Case6.123 nb_sol=0 ticks=306018 tps=100 nb_sec=3060
case_no=135 label=Case6.123 nb_sol=0 ticks=516840 tps=100 nb_sec=5168
case_no=135 label=Case6.123 nb_sol=0 ticks=411032 tps=100 nb_sec=4110
case_no=135 label=Case6.123 nb_sol=0 ticks=223045 tps=100 nb_sec=2230
case_no=135 label=Case6.123 nb_sol=0 ticks=467037 tps=100 nb_sec=4670
case_no=135 label=Case6.123 nb_sol=0 ticks=370091 tps=100 nb_sec=3700
case_no=135 label=Case6.123 nb_sol=0 ticks=436710 tps=100 nb_sec=4367
case_no=135 label=Case6.123 nb_sol=0 ticks=229364 tps=100 nb_sec=2293
case_no=135 label=Case6.123 nb_sol=0 ticks=353336 tps=100 nb_sec=3533
case_no=135 label=Case6.123 nb_sol=0 ticks=430399 tps=100 nb_sec=4303
case_no=135 label=Case6.123 nb_sol=0 ticks=216163 tps=100 nb_sec=2161
case_no=135 label=Case6.123 nb_sol=0 ticks=394818 tps=100 nb_sec=3948
case_no=135 label=Case6.123 nb_sol=0 ticks=457922 tps=100 nb_sec=4579
case_no=135 label=Case6.123 nb_sol=0 ticks=403043 tps=100 nb_sec=4030
case_no=135 label=Case6.123 nb_sol=0 ticks=196983 tps=100 nb_sec=1969
case_no=135 label=Case6.123 nb_sol=0 ticks=193161 tps=100 nb_sec=1931
case_no=135 label=Case6.123 nb_sol=0 ticks=437476 tps=100 nb_sec=4374
case_no=135 label=Case6.123 nb_sol=0 ticks=475852 tps=100 nb_sec=4758
case_no=135 label=Case6.123 nb_sol=0 ticks=469704 tps=100 nb_sec=4697
case_no=135 label=Case6.123 nb_sol=0 ticks=177487 tps=100 nb_sec=1774
case_no=135 label=Case6.123 nb_sol=0 ticks=254704 tps=100 nb_sec=2547
case_no=135 label=Case6.123 nb_sol=0 ticks=317016 tps=100 nb_sec=3170
case_no=135 label=Case6.123 nb_sol=0 ticks=351431 tps=100 nb_sec=3514
case_no=135 label=Case6.123 nb_sol=0 ticks=318703 tps=100 nb_sec=3187
case_no=135 label=Case6.123 nb_sol=0 ticks=383446 tps=100 nb_sec=3834
case_no=135 label=Case6.123 nb_sol=0 ticks=422491 tps=100 nb_sec=4224
case_no=135 label=Case6.123 nb_sol=0 ticks=210147 tps=100 nb_sec=2101
case_no=135 label=Case6.123 nb_sol=0 ticks=414421 tps=100 nb_sec=4144
case_no=135 label=Case6.123 nb_sol=0 ticks=379655 tps=100 nb_sec=3796
case_no=135 label=Case6.123 nb_sol=0 ticks=460808 tps=100 nb_sec=4608
case_no=135 label=Case6.123 nb_sol=0 ticks=239754 tps=100 nb_sec=2397
case_no=135 label=Case6.123 nb_sol=0 ticks=245424 tps=100 nb_sec=2454
case_no=135 label=Case6.123 nb_sol=0 ticks=407607 tps=100 nb_sec=4076
case_no=135 label=Case6.123 nb_sol=0 ticks=346239 tps=100 nb_sec=3462
case_no=135 label=Case6.123 nb_sol=0 ticks=210902 tps=100 nb_sec=2109
case_no=135 label=Case6.123 nb_sol=0 ticks=261176 tps=100 nb_sec=2611
case_no=135 label=Case6.123 nb_sol=0 ticks=204603 tps=100 nb_sec=2046
case_no=135 label=Case6.123 nb_sol=0 ticks=341702 tps=100 nb_sec=3417
case_no=135 label=Case6.123 nb_sol=0 ticks=334835 tps=100 nb_sec=3348
case_no=135 label=Case6.123 nb_sol=0 ticks=233932 tps=100 nb_sec=2339
case_no=135 label=Case6.123 nb_sol=0 ticks=274807 tps=100 nb_sec=2748
case_no=135 label=Case6.123 nb_sol=0 ticks=344917 tps=100 nb_sec=3449
case_no=135 label=Case6.123 nb_sol=0 ticks=258807 tps=100 nb_sec=2588
case_no=135 label=Case6.123 nb_sol=0 ticks=164999 tps=100 nb_sec=1649
case_no=135 label=Case6.123 nb_sol=0 ticks=122681 tps=100 nb_sec=1226
case_no=135 label=Case6.123 nb_sol=0 ticks=364533 tps=100 nb_sec=3645
case_no=135 label=Case6.123 nb_sol=0 ticks=354252 tps=100 nb_sec=3542
case_no=135 label=Case6.123 nb_sol=0 ticks=177702 tps=100 nb_sec=1777
case_no=135 label=Case6.123 nb_sol=0 ticks=410399 tps=100 nb_sec=4103
case_no=135 label=Case6.123 nb_sol=0 ticks=407312 tps=100 nb_sec=4073
case_no=135 label=Case6.123 nb_sol=0 ticks=173893 tps=100 nb_sec=1738
case_no=135 label=Case6.123 nb_sol=0 ticks=320155 tps=100 nb_sec=3201
case_no=135 label=Case6.123 nb_sol=0 ticks=411822 tps=100 nb_sec=4118
case_no=135 label=Case6.123 nb_sol=0 ticks=207006 tps=100 nb_sec=2070
case_no=135 label=Case6.123 nb_sol=0 ticks=300690 tps=100 nb_sec=3006
case_no=135 label=Case6.123 nb_sol=0 ticks=389926 tps=100 nb_sec=3899
case_no=135 label=Case6.123 nb_sol=0 ticks=230881 tps=100 nb_sec=2308
case_no=135 label=Case6.123 nb_sol=0 ticks=194202 tps=100 nb_sec=1942
case_no=135 label=Case6.123 nb_sol=0 ticks=436443 tps=100 nb_sec=4364
case_no=135 label=Case6.123 nb_sol=0 ticks=211216 tps=100 nb_sec=2112
case_no=135 label=Case6.123 nb_sol=0 ticks=329103 tps=100 nb_sec=3291
case_no=135 label=Case6.123 nb_sol=0 ticks=417146 tps=100 nb_sec=4171
case_no=135 label=Case6.123 nb_sol=0 ticks=223507 tps=100 nb_sec=2235
case_no=135 label=Case6.123 nb_sol=0 ticks=559105 tps=100 nb_sec=5591
case_no=135 label=Case6.123 nb_sol=0 ticks=304425 tps=100 nb_sec=3044
case_no=135 label=Case6.123 nb_sol=0 ticks=238280 tps=100 nb_sec=2382
case_no=135 label=Case6.123 nb_sol=0 ticks=175190 tps=100 nb_sec=1751
case_no=135 label=Case6.123 nb_sol=0 ticks=183557 tps=100 nb_sec=1835
case_no=135 label=Case6.123 nb_sol=0 ticks=216907 tps=100 nb_sec=2169
case_no=135 label=Case6.123 nb_sol=0 ticks=171459 tps=100 nb_sec=1714
case_no=135 label=Case6.123 nb_sol=0 ticks=286931 tps=100 nb_sec=2869
case_no=135 label=Case6.123 nb_sol=0 ticks=730000 tps=100 nb_sec=7300
case_no=135 label=Case6.123 nb_sol=0 ticks=227209 tps=100 nb_sec=2272
case_no=135 label=Case6.123 nb_sol=0 ticks=422963 tps=100 nb_sec=4229
case_no=135 label=Case6.123 nb_sol=0 ticks=229192 tps=100 nb_sec=2291
case_no=135 label=Case6.123 nb_sol=0 ticks=218961 tps=100 nb_sec=2189
case_no=135 label=Case6.123 nb_sol=0 ticks=530977 tps=100 nb_sec=5309
case_no=135 label=Case6.123 nb_sol=0 ticks=208970 tps=100 nb_sec=2089
case_no=135 label=Case6.123 nb_sol=0 ticks=227050 tps=100 nb_sec=2270
case_no=135 label=Case6.123 nb_sol=0 ticks=495155 tps=100 nb_sec=4951
case_no=135 label=Case6.123 nb_sol=0 ticks=180720 tps=100 nb_sec=1807
case_no=135 label=Case6.123 nb_sol=0 ticks=194374 tps=100 nb_sec=1943
case_no=135 label=Case6.123 nb_sol=0 ticks=435714 tps=100 nb_sec=4357
case_no=135 label=Case6.123 nb_sol=0 ticks=331350 tps=100 nb_sec=3313
case_no=135 label=Case6.123 nb_sol=0 ticks=425599 tps=100 nb_sec=4255
case_no=135 label=Case6.123 nb_sol=0 ticks=421510 tps=100 nb_sec=4215
case_no=135 label=Case6.123 nb_sol=0 ticks=223128 tps=100 nb_sec=2231
case_no=135 label=Case6.123 nb_sol=0 ticks=239778 tps=100 nb_sec=2397
case_no=135 label=Case6.123 nb_sol=0 ticks=502007 tps=100 nb_sec=5020
case_no=135 label=Case6.123 nb_sol=0 ticks=290953 tps=100 nb_sec=2909
case_no=135 label=Case6.123 nb_sol=0 ticks=278474 tps=100 nb_sec=2784
case_no=135 label=Case6.123 nb_sol=0 ticks=202422 tps=100 nb_sec=2024
case_no=135 label=Case6.123 nb_sol=0 ticks=212350 tps=100 nb_sec=2123
case_no=135 label=Case6.123 nb_sol=0 ticks=325005 tps=100 nb_sec=3250
case_no=135 label=Case6.123 nb_sol=0 ticks=328950 tps=100 nb_sec=3289
case_no=135 label=Case6.123 nb_sol=0 ticks=174494 tps=100 nb_sec=1744
case_no=135 label=Case6.123 nb_sol=0 ticks=509968 tps=100 nb_sec=5099
case_no=135 label=Case6.123 nb_sol=0 ticks=272474 tps=100 nb_sec=2724
case_no=135 label=Case6.123 nb_sol=0 ticks=401652 tps=100 nb_sec=4016
case_no=135 label=Case6.123 nb_sol=0 ticks=205250 tps=100 nb_sec=2052
case_no=135 label=Case6.123 nb_sol=0 ticks=453471 tps=100 nb_sec=4534
case_no=135 label=Case6.123 nb_sol=0 ticks=305193 tps=100 nb_sec=3051
case_no=135 label=Case6.123 nb_sol=0 ticks=347903 tps=100 nb_sec=3479
case_no=135 label=Case6.123 nb_sol=0 ticks=232769 tps=100 nb_sec=2327
case_no=135 label=Case6.123 nb_sol=0 ticks=356863 tps=100 nb_sec=3568
case_no=135 label=Case6.123 nb_sol=0 ticks=221767 tps=100 nb_sec=2217
case_no=135 label=Case6.123 nb_sol=0 ticks=420419 tps=100 nb_sec=4204
case_no=135 label=Case6.123 nb_sol=0 ticks=320149 tps=100 nb_sec=3201
case_no=135 label=Case6.123 nb_sol=0 ticks=255609 tps=100 nb_sec=2556
case_no=135 label=Case6.123 nb_sol=0 ticks=455486 tps=100 nb_sec=4554
case_no=135 label=Case6.123 nb_sol=0 ticks=335826 tps=100 nb_sec=3358
case_no=135 label=Case6.123 nb_sol=0 ticks=197067 tps=100 nb_sec=1970
case_no=135 label=Case6.123 nb_sol=0 ticks=183494 tps=100 nb_sec=1834
case_no=135 label=Case6.123 nb_sol=0 ticks=292068 tps=100 nb_sec=2920
case_no=135 label=Case6.123 nb_sol=0 ticks=290399 tps=100 nb_sec=2903
case_no=135 label=Case6.123 nb_sol=0 ticks=266841 tps=100 nb_sec=2668
case_no=135 label=Case6.123 nb_sol=0 ticks=468900 tps=100 nb_sec=4689
case_no=135 label=Case6.123 nb_sol=0 ticks=580757 tps=100 nb_sec=5807
case_no=135 label=Case6.123 nb_sol=0 ticks=183202 tps=100 nb_sec=1832
case_no=135 label=Case6.123 nb_sol=0 ticks=187804 tps=100 nb_sec=1878
case_no=135 label=Case6.123 nb_sol=0 ticks=340233 tps=100 nb_sec=3402
case_no=135 label=Case6.123 nb_sol=0 ticks=488838 tps=100 nb_sec=4888
case_no=135 label=Case6.123 nb_sol=0 ticks=372995 tps=100 nb_sec=3729
case_no=135 label=Case6.123 nb_sol=0 ticks=254054 tps=100 nb_sec=2540
case_no=135 label=Case6.123 nb_sol=0 ticks=496452 tps=100 nb_sec=4964
case_no=135 label=Case6.123 nb_sol=0 ticks=302961 tps=100 nb_sec=3029
case_no=135 label=Case6.123 nb_sol=0 ticks=484785 tps=100 nb_sec=4847
case_no=135 label=Case6.123 nb_sol=0 ticks=192966 tps=100 nb_sec=1929
case_no=135 label=Case6.123 nb_sol=0 ticks=374189 tps=100 nb_sec=3741
case_no=135 label=Case6.123 nb_sol=0 ticks=435088 tps=100 nb_sec=4350
case_no=135 label=Case6.123 nb_sol=0 ticks=242155 tps=100 nb_sec=2421
case_no=135 label=Case6.123 nb_sol=0 ticks=350834 tps=100 nb_sec=3508
case_no=135 label=Case6.123 nb_sol=0 ticks=358330 tps=100 nb_sec=3583
case_no=135 label=Case6.123 nb_sol=0 ticks=382672 tps=100 nb_sec=3826
case_no=135 label=Case6.123 nb_sol=0 ticks=356374 tps=100 nb_sec=3563
case_no=135 label=Case6.123 nb_sol=0 ticks=168216 tps=100 nb_sec=1682
case_no=135 label=Case6.123 nb_sol=0 ticks=156611 tps=100 nb_sec=1566
case_no=135 label=Case6.123 nb_sol=0 ticks=184021 tps=100 nb_sec=1840
case_no=135 label=Case6.123 nb_sol=0 ticks=199343 tps=100 nb_sec=1993
case_no=135 label=Case6.123 nb_sol=0 ticks=394526 tps=100 nb_sec=3945
case_no=135 label=Case6.123 nb_sol=0 ticks=266684 tps=100 nb_sec=2666
case_no=135 label=Case6.123 nb_sol=0 ticks=347180 tps=100 nb_sec=3471
case_no=135 label=Case6.123 nb_sol=0 ticks=162421 tps=100 nb_sec=1624
case_no=135 label=Case6.123 nb_sol=0 ticks=356863 tps=100 nb_sec=3568
case_no=135 label=Case6.123 nb_sol=0 ticks=203692 tps=100 nb_sec=2036
case_no=135 label=Case6.123 nb_sol=0 ticks=498347 tps=100 nb_sec=4983
case_no=135 label=Case6.123 nb_sol=0 ticks=323804 tps=100 nb_sec=3238
case_no=135 label=Case6.123 nb_sol=0 ticks=411499 tps=100 nb_sec=4114
case_no=135 label=Case6.123 nb_sol=0 ticks=194850 tps=100 nb_sec=1948
case_no=135 label=Case6.123 nb_sol=0 ticks=399938 tps=100 nb_sec=3999
case_no=135 label=Case6.123 nb_sol=0 ticks=294791 tps=100 nb_sec=2947
case_no=135 label=Case6.123 nb_sol=0 ticks=492196 tps=100 nb_sec=4921
case_no=135 label=Case6.123 nb_sol=0 ticks=389933 tps=100 nb_sec=3899
case_no=135 label=Case6.123 nb_sol=0 ticks=626954 tps=100 nb_sec=6269
case_no=135 label=Case6.123 nb_sol=0 ticks=322584 tps=100 nb_sec=3225
case_no=135 label=Case6.123 nb_sol=0 ticks=453312 tps=100 nb_sec=4533
case_no=135 label=Case6.123 nb_sol=0 ticks=215709 tps=100 nb_sec=2157
case_no=135 label=Case6.123 nb_sol=0 ticks=305247 tps=100 nb_sec=3052
case_no=135 label=Case6.123 nb_sol=0 ticks=357397 tps=100 nb_sec=3573
case_no=135 label=Case6.123 nb_sol=0 ticks=227663 tps=100 nb_sec=2276
case_no=135 label=Case6.123 nb_sol=0 ticks=369976 tps=100 nb_sec=3699
case_no=135 label=Case6.123 nb_sol=0 ticks=208292 tps=100 nb_sec=2082
case_no=135 label=Case6.123 nb_sol=0 ticks=318955 tps=100 nb_sec=3189
case_no=135 label=Case6.123 nb_sol=0 ticks=394500 tps=100 nb_sec=3945
case_no=135 label=Case6.123 nb_sol=0 ticks=171735 tps=100 nb_sec=1717
case_no=135 label=Case6.123 nb_sol=0 ticks=414266 tps=100 nb_sec=4142
case_no=135 label=Case6.123 nb_sol=0 ticks=351060 tps=100 nb_sec=3510
case_no=135 label=Case6.123 nb_sol=0 ticks=317801 tps=100 nb_sec=3178
case_no=135 label=Case6.123 nb_sol=0 ticks=354560 tps=100 nb_sec=3545
case_no=135 label=Case6.123 nb_sol=0 ticks=427465 tps=100 nb_sec=4274
case_no=135 label=Case6.123 nb_sol=0 ticks=382255 tps=100 nb_sec=3822
case_no=135 label=Case6.123 nb_sol=0 ticks=277489 tps=100 nb_sec=2774
case_no=135 label=Case6.123 nb_sol=0 ticks=429283 tps=100 nb_sec=4292
case_no=135 label=Case6.123 nb_sol=0 ticks=392568 tps=100 nb_sec=3925
case_no=135 label=Case6.123 nb_sol=0 ticks=374892 tps=100 nb_sec=3748
case_no=135 label=Case6.123 nb_sol=0 ticks=360543 tps=100 nb_sec=3605
case_no=135 label=Case6.123 nb_sol=0 ticks=277587 tps=100 nb_sec=2775
case_no=135 label=Case6.123 nb_sol=0 ticks=223940 tps=100 nb_sec=2239
case_no=135 label=Case6.123 nb_sol=0 ticks=359821 tps=100 nb_sec=3598
case_no=135 label=Case6.123 nb_sol=0 ticks=442312 tps=100 nb_sec=4423
case_no=135 label=Case6.123 nb_sol=0 ticks=327808 tps=100 nb_sec=3278
case_no=135 label=Case6.123 nb_sol=0 ticks=426332 tps=100 nb_sec=4263
case_no=135 label=Case6.123 nb_sol=0 ticks=317690 tps=100 nb_sec=3176
case_no=135 label=Case6.123 nb_sol=0 ticks=372765 tps=100 nb_sec=3727
case_no=135 label=Case6.123 nb_sol=0 ticks=386737 tps=100 nb_sec=3867
case_no=135 label=Case6.123 nb_sol=0 ticks=317585 tps=100 nb_sec=3175
case_no=135 label=Case6.123 nb_sol=0 ticks=332491 tps=100 nb_sec=3324
case_no=135 label=Case6.123 nb_sol=0 ticks=427006 tps=100 nb_sec=4270
case_no=135 label=Case6.123 nb_sol=0 ticks=367456 tps=100 nb_sec=3674
case_no=135 label=Case6.123 nb_sol=0 ticks=458901 tps=100 nb_sec=4589
case_no=135 label=Case6.123 nb_sol=0 ticks=387912 tps=100 nb_sec=3879
case_no=135 label=Case6.123 nb_sol=0 ticks=414031 tps=100 nb_sec=4140
case_no=135 label=Case6.123 nb_sol=0 ticks=460940 tps=100 nb_sec=4609
case_no=135 label=Case6.123 nb_sol=0 ticks=439128 tps=100 nb_sec=4391
case_no=135 label=Case6.123 nb_sol=0 ticks=332766 tps=100 nb_sec=3327
case_no=135 label=Case6.123 nb_sol=0 ticks=282089 tps=100 nb_sec=2820
case_no=135 label=Case6.123 nb_sol=0 ticks=386073 tps=100 nb_sec=3860
case_no=135 label=Case6.123 nb_sol=0 ticks=499058 tps=100 nb_sec=4990
case_no=135 label=Case6.123 nb_sol=0 ticks=389394 tps=100 nb_sec=3893
case_no=135 label=Case6.123 nb_sol=0 ticks=461153 tps=100 nb_sec=4611
case_no=135 label=Case6.123 nb_sol=0 ticks=417069 tps=100 nb_sec=4170
case_no=135 label=Case6.123 nb_sol=0 ticks=346922 tps=100 nb_sec=3469
case_no=135 label=Case6.123 nb_sol=0 ticks=378488 tps=100 nb_sec=3784
case_no=135 label=Case6.123 nb_sol=0 ticks=451346 tps=100 nb_sec=4513
case_no=135 label=Case6.123 nb_sol=0 ticks=379845 tps=100 nb_sec=3798
case_no=135 label=Case6.123 nb_sol=0 ticks=376257 tps=100 nb_sec=3762
case_no=135 label=Case6.123 nb_sol=0 ticks=521587 tps=100 nb_sec=5215
case_no=135 label=Case6.123 nb_sol=0 ticks=512055 tps=100 nb_sec=5120
case_no=135 label=Case6.123 nb_sol=0 ticks=424169 tps=100 nb_sec=4241
case_no=135 label=Case6.123 nb_sol=0 ticks=256487 tps=100 nb_sec=2564
case_no=135 label=Case6.123 nb_sol=0 ticks=441375 tps=100 nb_sec=4413
case_no=135 label=Case6.123 nb_sol=0 ticks=225457 tps=100 nb_sec=2254
case_no=135 label=Case6.123 nb_sol=0 ticks=240214 tps=100 nb_sec=2402
case_no=135 label=Case6.123 nb_sol=0 ticks=436696 tps=100 nb_sec=4366
case_no=135 label=Case6.123 nb_sol=0 ticks=425548 tps=100 nb_sec=4255
case_no=135 label=Case6.123 nb_sol=0 ticks=367115 tps=100 nb_sec=3671
case_no=135 label=Case6.123 nb_sol=0 ticks=248941 tps=100 nb_sec=2489
case_no=135 label=Case6.123 nb_sol=0 ticks=384476 tps=100 nb_sec=3844
case_no=135 label=Case6.123 nb_sol=0 ticks=631663 tps=100 nb_sec=6316
case_no=135 label=Case6.123 nb_sol=0 ticks=468894 tps=100 nb_sec=4688
case_no=135 label=Case6.123 nb_sol=0 ticks=410785 tps=100 nb_sec=4107
case_no=135 label=Case6.123 nb_sol=0 ticks=476650 tps=100 nb_sec=4766
case_no=135 label=Case6.123 nb_sol=0 ticks=374838 tps=100 nb_sec=3748
case_no=135 label=Case6.123 nb_sol=0 ticks=515234 tps=100 nb_sec=5152
case_no=135 label=Case6.123 nb_sol=0 ticks=357838 tps=100 nb_sec=3578
case_no=135 label=Case6.123 nb_sol=0 ticks=428121 tps=100 nb_sec=4281
case_no=135 label=Case6.123 nb_sol=0 ticks=422224 tps=100 nb_sec=4222
case_no=135 label=Case6.123 nb_sol=0 ticks=442040 tps=100 nb_sec=4420
case_no=135 label=Case6.123 nb_sol=0 ticks=423089 tps=100 nb_sec=4230
case_no=135 label=Case6.123 nb_sol=0 ticks=247467 tps=100 nb_sec=2474
case_no=135 label=Case6.123 nb_sol=0 ticks=303655 tps=100 nb_sec=3036
case_no=135 label=Case6.123 nb_sol=0 ticks=388321 tps=100 nb_sec=3883
case_no=135 label=Case6.123 nb_sol=0 ticks=429761 tps=100 nb_sec=4297
case_no=135 label=Case6.123 nb_sol=0 ticks=491202 tps=100 nb_sec=4912
case_no=135 label=Case6.123 nb_sol=0 ticks=417111 tps=100 nb_sec=4171
case_no=135 label=Case6.123 nb_sol=0 ticks=548440 tps=100 nb_sec=5484
case_no=135 label=Case6.123 nb_sol=0 ticks=502288 tps=100 nb_sec=5022
case_no=135 label=Case6.123 nb_sol=0 ticks=472052 tps=100 nb_sec=4720
case_no=135 label=Case6.123 nb_sol=0 ticks=357246 tps=100 nb_sec=3572
case_no=135 label=Case6.123 nb_sol=0 ticks=351854 tps=100 nb_sec=3518
case_no=135 label=Case6.123 nb_sol=0 ticks=539942 tps=100 nb_sec=5399
case_no=135 label=Case6.123 nb_sol=0 ticks=227910 tps=100 nb_sec=2279
case_no=135 label=Case6.123 nb_sol=0 ticks=493599 tps=100 nb_sec=4935
case_no=135 label=Case6.123 nb_sol=0 ticks=329244 tps=100 nb_sec=3292
case_no=135 label=Case6.123 nb_sol=0 ticks=440089 tps=100 nb_sec=4400
case_no=135 label=Case6.123 nb_sol=0 ticks=532561 tps=100 nb_sec=5325
case_no=135 label=Case6.123 nb_sol=0 ticks=251525 tps=100 nb_sec=2515
case_no=135 label=Case6.123 nb_sol=0 ticks=226332 tps=100 nb_sec=2263
case_no=135 label=Case6.123 nb_sol=0 ticks=477265 tps=100 nb_sec=4772
case_no=135 label=Case6.123 nb_sol=0 ticks=456733 tps=100 nb_sec=4567
case_no=135 label=Case6.123 nb_sol=0 ticks=462351 tps=100 nb_sec=4623
case_no=135 label=Case6.123 nb_sol=0 ticks=204991 tps=100 nb_sec=2049
case_no=135 label=Case6.123 nb_sol=0 ticks=443808 tps=100 nb_sec=4438
case_no=135 label=Case6.123 nb_sol=0 ticks=457553 tps=100 nb_sec=4575
case_no=135 label=Case6.123 nb_sol=0 ticks=582988 tps=100 nb_sec=5829
case_no=135 label=Case6.123 nb_sol=0 ticks=216093 tps=100 nb_sec=2160
case_no=135 label=Case6.123 nb_sol=0 ticks=262325 tps=100 nb_sec=2623
case_no=135 label=Case6.123 nb_sol=0 ticks=345683 tps=100 nb_sec=3456
case_no=135 label=Case6.123 nb_sol=0 ticks=539899 tps=100 nb_sec=5398
case_no=135 label=Case6.123 nb_sol=0 ticks=432868 tps=100 nb_sec=4328
case_no=135 label=Case6.123 nb_sol=0 ticks=476898 tps=100 nb_sec=4768
case_no=135 label=Case6.123 nb_sol=0 ticks=336114 tps=100 nb_sec=3361
case_no=135 label=Case6.123 nb_sol=0 ticks=313181 tps=100 nb_sec=3131
case_no=135 label=Case6.123 nb_sol=0 ticks=357014 tps=100 nb_sec=3570
case_no=135 label=Case6.123 nb_sol=0 ticks=384629 tps=100 nb_sec=3846
case_no=135 label=Case6.123 nb_sol=0 ticks=428737 tps=100 nb_sec=4287
case_no=135 label=Case6.123 nb_sol=0 ticks=396135 tps=100 nb_sec=3961
case_no=135 label=Case6.123 nb_sol=0 ticks=247214 tps=100 nb_sec=2472
case_no=135 label=Case6.123 nb_sol=0 ticks=433118 tps=100 nb_sec=4331
case_no=135 label=Case6.123 nb_sol=0 ticks=165756 tps=100 nb_sec=1657
case_no=135 label=Case6.123 nb_sol=0 ticks=427318 tps=100 nb_sec=4273
case_no=135 label=Case6.123 nb_sol=0 ticks=574520 tps=100 nb_sec=5745
case_no=135 label=Case6.123 nb_sol=0 ticks=280910 tps=100 nb_sec=2809
case_no=135 label=Case6.123 nb_sol=0 ticks=249502 tps=100 nb_sec=2495
case_no=135 label=Case6.123 nb_sol=0 ticks=299075 tps=100 nb_sec=2990
case_no=135 label=Case6.123 nb_sol=0 ticks=439640 tps=100 nb_sec=4396
case_no=135 label=Case6.123 nb_sol=0 ticks=251572 tps=100 nb_sec=2515
case_no=135 label=Case6.123 nb_sol=0 ticks=499590 tps=100 nb_sec=4995
case_no=135 label=Case6.123 nb_sol=0 ticks=410995 tps=100 nb_sec=4109
case_no=135 label=Case6.123 nb_sol=0 ticks=221808 tps=100 nb_sec=2218
case_no=135 label=Case6.123 nb_sol=0 ticks=226287 tps=100 nb_sec=2262
case_no=135 label=Case6.123 nb_sol=0 ticks=200599 tps=100 nb_sec=2005
case_no=135 label=Case6.123 nb_sol=0 ticks=427454 tps=100 nb_sec=4274
case_no=135 label=Case6.123 nb_sol=0 ticks=184899 tps=100 nb_sec=1848
case_no=135 label=Case6.123 nb_sol=0 ticks=287186 tps=100 nb_sec=2871
case_no=135 label=Case6.123 nb_sol=0 ticks=249487 tps=100 nb_sec=2494
case_no=135 label=Case6.123 nb_sol=0 ticks=465451 tps=100 nb_sec=4654
case_no=135 label=Case6.123 nb_sol=0 ticks=213929 tps=100 nb_sec=2139
case_no=135 label=Case6.123 nb_sol=0 ticks=211935 tps=100 nb_sec=2119
case_no=135 label=Case6.123 nb_sol=0 ticks=575190 tps=100 nb_sec=5751
case_no=135 label=Case6.123 nb_sol=0 ticks=227487 tps=100 nb_sec=2274
case_no=135 label=Case6.123 nb_sol=0 ticks=217598 tps=100 nb_sec=2175
case_no=135 label=Case6.123 nb_sol=0 ticks=175777 tps=100 nb_sec=1757
case_no=135 label=Case6.123 nb_sol=0 ticks=353687 tps=100 nb_sec=3536
case_no=135 label=Case6.123 nb_sol=0 ticks=214673 tps=100 nb_sec=2146
case_no=135 label=Case6.123 nb_sol=0 ticks=184611 tps=100 nb_sec=1846
case_no=135 label=Case6.123 nb_sol=0 ticks=379629 tps=100 nb_sec=3796
case_no=135 label=Case6.123 nb_sol=0 ticks=235402 tps=100 nb_sec=2354
case_no=135 label=Case6.123 nb_sol=0 ticks=773120 tps=100 nb_sec=7731
case_no=135 label=Case6.123 nb_sol=0 ticks=202967 tps=100 nb_sec=2029
case_no=135 label=Case6.123 nb_sol=0 ticks=353891 tps=100 nb_sec=3538
case_no=135 label=Case6.123 nb_sol=0 ticks=210156 tps=100 nb_sec=2101
case_no=135 label=Case6.123 nb_sol=0 ticks=725955 tps=100 nb_sec=7259
case_no=135 label=Case6.123 nb_sol=0 ticks=457874 tps=100 nb_sec=4578
case_no=135 label=Case6.123 nb_sol=0 ticks=226479 tps=100 nb_sec=2264
case_no=135 label=Case6.123 nb_sol=0 ticks=464513 tps=100 nb_sec=4645
case_no=135 label=Case6.123 nb_sol=0 ticks=227591 tps=100 nb_sec=2275
case_no=135 label=Case6.123 nb_sol=0 ticks=441453 tps=100 nb_sec=4414
case_no=135 label=Case6.123 nb_sol=0 ticks=240685 tps=100 nb_sec=2406
case_no=135 label=Case6.123 nb_sol=0 ticks=429416 tps=100 nb_sec=4294
case_no=135 label=Case6.123 nb_sol=0 ticks=267265 tps=100 nb_sec=2672
case_no=135 label=Case6.123 nb_sol=0 ticks=165463 tps=100 nb_sec=1654
case_no=135 label=Case6.123 nb_sol=0 ticks=452353 tps=100 nb_sec=4523
case_no=135 label=Case6.123 nb_sol=0 ticks=213481 tps=100 nb_sec=2134
case_no=135 label=Case6.123 nb_sol=0 ticks=209498 tps=100 nb_sec=2094
case_no=135 label=Case6.123 nb_sol=0 ticks=383166 tps=100 nb_sec=3831
case_no=135 label=Case6.123 nb_sol=0 ticks=216043 tps=100 nb_sec=2160
case_no=135 label=Case6.123 nb_sol=0 ticks=308836 tps=100 nb_sec=3088
case_no=135 label=Case6.123 nb_sol=0 ticks=378323 tps=100 nb_sec=3783
case_no=135 label=Case6.123 nb_sol=0 ticks=348237 tps=100 nb_sec=3482
case_no=135 label=Case6.123 nb_sol=0 ticks=373765 tps=100 nb_sec=3737
case_no=135 label=Case6.123 nb_sol=0 ticks=153208 tps=100 nb_sec=1532
case_no=135 label=Case6.123 nb_sol=0 ticks=496464 tps=100 nb_sec=4964
case_no=135 label=Case6.123 nb_sol=0 ticks=527267 tps=100 nb_sec=5272
case_no=135 label=Case6.123 nb_sol=0 ticks=242499 tps=100 nb_sec=2424
case_no=135 label=Case6.123 nb_sol=0 ticks=531660 tps=100 nb_sec=5316
case_no=135 label=Case6.123 nb_sol=0 ticks=638695 tps=100 nb_sec=6386
case_no=135 label=Case6.123 nb_sol=0 ticks=248660 tps=100 nb_sec=2486
case_no=135 label=Case6.123 nb_sol=0 ticks=272267 tps=100 nb_sec=2722
case_no=135 label=Case6.123 nb_sol=0 ticks=461196 tps=100 nb_sec=4611
case_no=135 label=Case6.123 nb_sol=0 ticks=515026 tps=100 nb_sec=5150
case_no=135 label=Case6.123 nb_sol=0 ticks=426356 tps=100 nb_sec=4263
case_no=135 label=Case6.123 nb_sol=0 ticks=224621 tps=100 nb_sec=2246
case_no=135 label=Case6.123 nb_sol=0 ticks=374440 tps=100 nb_sec=3744
case_no=135 label=Case6.123 nb_sol=0 ticks=398757 tps=100 nb_sec=3987
case_no=135 label=Case6.123 nb_sol=0 ticks=406726 tps=100 nb_sec=4067
case_no=135 label=Case6.123 nb_sol=0 ticks=217899 tps=100 nb_sec=2178
case_no=135 label=Case6.123 nb_sol=0 ticks=537473 tps=100 nb_sec=5374
case_no=135 label=Case6.123 nb_sol=0 ticks=469652 tps=100 nb_sec=4696
case_no=135 label=Case6.123 nb_sol=0 ticks=410065 tps=100 nb_sec=4100
case_no=135 label=Case6.123 nb_sol=0 ticks=419725 tps=100 nb_sec=4197
case_no=135 label=Case6.123 nb_sol=0 ticks=349337 tps=100 nb_sec=3493
case_no=135 label=Case6.123 nb_sol=0 ticks=412637 tps=100 nb_sec=4126
case_no=135 label=Case6.123 nb_sol=0 ticks=202515 tps=100 nb_sec=2025
case_no=135 label=Case6.123 nb_sol=0 ticks=187059 tps=100 nb_sec=1870
case_no=135 label=Case6.123 nb_sol=0 ticks=353387 tps=100 nb_sec=3533
case_no=135 label=Case6.123 nb_sol=0 ticks=540831 tps=100 nb_sec=5408
case_no=135 label=Case6.123 nb_sol=0 ticks=270930 tps=100 nb_sec=2709
case_no=135 label=Case6.123 nb_sol=0 ticks=349240 tps=100 nb_sec=3492
case_no=135 label=Case6.123 nb_sol=0 ticks=450175 tps=100 nb_sec=4501
case_no=135 label=Case6.123 nb_sol=0 ticks=354069 tps=100 nb_sec=3540
case_no=135 label=Case6.123 nb_sol=0 ticks=454419 tps=100 nb_sec=4544
case_no=135 label=Case6.123 nb_sol=0 ticks=398126 tps=100 nb_sec=3981
case_no=135 label=Case6.123 nb_sol=0 ticks=554114 tps=100 nb_sec=5541
case_no=135 label=Case6.123 nb_sol=0 ticks=231750 tps=100 nb_sec=2317
case_no=135 label=Case6.123 nb_sol=0 ticks=458850 tps=100 nb_sec=4588
case_no=135 label=Case6.123 nb_sol=0 ticks=298251 tps=100 nb_sec=2982
case_no=135 label=Case6.123 nb_sol=0 ticks=559732 tps=100 nb_sec=5597
case_no=135 label=Case6.123 nb_sol=0 ticks=412062 tps=100 nb_sec=4120
case_no=135 label=Case6.123 nb_sol=0 ticks=474357 tps=100 nb_sec=4743
case_no=135 label=Case6.123 nb_sol=0 ticks=529756 tps=100 nb_sec=5297
case_no=135 label=Case6.123 nb_sol=0 ticks=539428 tps=100 nb_sec=5394
case_no=135 label=Case6.123 nb_sol=0 ticks=455280 tps=100 nb_sec=4552
case_no=135 label=Case6.123 nb_sol=0 ticks=405911 tps=100 nb_sec=4059
case_no=135 label=Case6.123 nb_sol=0 ticks=458101 tps=100 nb_sec=4581
case_no=135 label=Case6.123 nb_sol=0 ticks=310845 tps=100 nb_sec=3108
case_no=135 label=Case6.123 nb_sol=0 ticks=391991 tps=100 nb_sec=3919
case_no=135 label=Case6.123 nb_sol=0 ticks=487908 tps=100 nb_sec=4879
case_no=135 label=Case6.123 nb_sol=0 ticks=443098 tps=100 nb_sec=4430
case_no=135 label=Case6.123 nb_sol=0 ticks=750028 tps=100 nb_sec=7500
case_no=135 label=Case6.123 nb_sol=0 ticks=463536 tps=100 nb_sec=4635
case_no=135 label=Case6.123 nb_sol=0 ticks=394447 tps=100 nb_sec=3944
case_no=135 label=Case6.123 nb_sol=0 ticks=343395 tps=100 nb_sec=3433
case_no=135 label=Case6.123 nb_sol=0 ticks=327840 tps=100 nb_sec=3278
case_no=135 label=Case6.123 nb_sol=0 ticks=296973 tps=100 nb_sec=2969
case_no=135 label=Case6.123 nb_sol=0 ticks=271397 tps=100 nb_sec=2713
case_no=135 label=Case6.123 nb_sol=0 ticks=356193 tps=100 nb_sec=3561
case_no=135 label=Case6.123 nb_sol=0 ticks=345094 tps=100 nb_sec=3450
case_no=135 label=Case6.123 nb_sol=0 ticks=396548 tps=100 nb_sec=3965
case_no=135 label=Case6.123 nb_sol=0 ticks=413805 tps=100 nb_sec=4138
case_no=135 label=Case6.123 nb_sol=0 ticks=394334 tps=100 nb_sec=3943
case_no=135 label=Case6.123 nb_sol=0 ticks=354466 tps=100 nb_sec=3544
case_no=135 label=Case6.123 nb_sol=0 ticks=406315 tps=100 nb_sec=4063
case_no=135 label=Case6.123 nb_sol=0 ticks=422211 tps=100 nb_sec=4222
case_no=135 label=Case6.123 nb_sol=0 ticks=404373 tps=100 nb_sec=4043
case_no=135 label=Case6.123 nb_sol=0 ticks=384368 tps=100 nb_sec=3843
case_no=135 label=Case6.123 nb_sol=0 ticks=334873 tps=100 nb_sec=3348
case_no=135 label=Case6.123 nb_sol=0 ticks=409827 tps=100 nb_sec=4098
case_no=135 label=Case6.123 nb_sol=0 ticks=449687 tps=100 nb_sec=4496
case_no=135 label=Case6.123 nb_sol=0 ticks=212135 tps=100 nb_sec=2121
case_no=135 label=Case6.123 nb_sol=0 ticks=395454 tps=100 nb_sec=3954
Nb_sol=0
Nb_sec=3754743
43-10:59:3 or 1042 hours
missing cases:
none