argc=5
-M 1024
file2=30_select_Case6.131_starter_15_
checking files mod 1024 from 0 to 1023
case_no=143 label=Case6.131 nb_sol=0 ticks=711457 tps=100 nb_sec=7114
case_no=143 label=Case6.131 nb_sol=0 ticks=638940 tps=100 nb_sec=6389
case_no=143 label=Case6.131 nb_sol=0 ticks=811921 tps=100 nb_sec=8119
case_no=143 label=Case6.131 nb_sol=0 ticks=348296 tps=100 nb_sec=3482
case_no=143 label=Case6.131 nb_sol=0 ticks=667167 tps=100 nb_sec=6671
case_no=143 label=Case6.131 nb_sol=0 ticks=637300 tps=100 nb_sec=6373
case_no=143 label=Case6.131 nb_sol=0 ticks=747732 tps=100 nb_sec=7477
case_no=143 label=Case6.131 nb_sol=0 ticks=629862 tps=100 nb_sec=6298
case_no=143 label=Case6.131 nb_sol=0 ticks=730046 tps=100 nb_sec=7300
case_no=143 label=Case6.131 nb_sol=0 ticks=580039 tps=100 nb_sec=5800
case_no=143 label=Case6.131 nb_sol=0 ticks=713703 tps=100 nb_sec=7137
case_no=143 label=Case6.131 nb_sol=0 ticks=686749 tps=100 nb_sec=6867
case_no=143 label=Case6.131 nb_sol=0 ticks=804336 tps=100 nb_sec=8043
case_no=143 label=Case6.131 nb_sol=0 ticks=566942 tps=100 nb_sec=5669
case_no=143 label=Case6.131 nb_sol=0 ticks=841813 tps=100 nb_sec=8418
case_no=143 label=Case6.131 nb_sol=0 ticks=391033 tps=100 nb_sec=3910
case_no=143 label=Case6.131 nb_sol=0 ticks=398870 tps=100 nb_sec=3988
case_no=143 label=Case6.131 nb_sol=0 ticks=695314 tps=100 nb_sec=6953
case_no=143 label=Case6.131 nb_sol=0 ticks=473833 tps=100 nb_sec=4738
case_no=143 label=Case6.131 nb_sol=0 ticks=759067 tps=100 nb_sec=7590
case_no=143 label=Case6.131 nb_sol=0 ticks=714991 tps=100 nb_sec=7149
case_no=143 label=Case6.131 nb_sol=0 ticks=676281 tps=100 nb_sec=6762
case_no=143 label=Case6.131 nb_sol=0 ticks=382979 tps=100 nb_sec=3829
case_no=143 label=Case6.131 nb_sol=0 ticks=914323 tps=100 nb_sec=9143
case_no=143 label=Case6.131 nb_sol=0 ticks=270074 tps=100 nb_sec=2700
case_no=143 label=Case6.131 nb_sol=0 ticks=700877 tps=100 nb_sec=7008
case_no=143 label=Case6.131 nb_sol=0 ticks=844815 tps=100 nb_sec=8448
case_no=143 label=Case6.131 nb_sol=0 ticks=714031 tps=100 nb_sec=7140
case_no=143 label=Case6.131 nb_sol=0 ticks=400851 tps=100 nb_sec=4008
case_no=143 label=Case6.131 nb_sol=0 ticks=784439 tps=100 nb_sec=7844
case_no=143 label=Case6.131 nb_sol=0 ticks=527419 tps=100 nb_sec=5274
case_no=143 label=Case6.131 nb_sol=0 ticks=532928 tps=100 nb_sec=5329
case_no=143 label=Case6.131 nb_sol=0 ticks=337903 tps=100 nb_sec=3379
case_no=143 label=Case6.131 nb_sol=0 ticks=651357 tps=100 nb_sec=6513
case_no=143 label=Case6.131 nb_sol=0 ticks=333582 tps=100 nb_sec=3335
case_no=143 label=Case6.131 nb_sol=0 ticks=578120 tps=100 nb_sec=5781
case_no=143 label=Case6.131 nb_sol=0 ticks=626715 tps=100 nb_sec=6267
case_no=143 label=Case6.131 nb_sol=0 ticks=581303 tps=100 nb_sec=5813
case_no=143 label=Case6.131 nb_sol=0 ticks=939296 tps=100 nb_sec=9392
case_no=143 label=Case6.131 nb_sol=0 ticks=917225 tps=100 nb_sec=9172
case_no=143 label=Case6.131 nb_sol=0 ticks=722900 tps=100 nb_sec=7229
case_no=143 label=Case6.131 nb_sol=0 ticks=758355 tps=100 nb_sec=7583
case_no=143 label=Case6.131 nb_sol=0 ticks=780902 tps=100 nb_sec=7809
case_no=143 label=Case6.131 nb_sol=0 ticks=933821 tps=100 nb_sec=9338
case_no=143 label=Case6.131 nb_sol=0 ticks=984987 tps=100 nb_sec=9849
case_no=143 label=Case6.131 nb_sol=0 ticks=1038255 tps=100 nb_sec=10382
case_no=143 label=Case6.131 nb_sol=0 ticks=776276 tps=100 nb_sec=7762
case_no=143 label=Case6.131 nb_sol=0 ticks=889894 tps=100 nb_sec=8898
case_no=143 label=Case6.131 nb_sol=0 ticks=1087691 tps=100 nb_sec=10876
case_no=143 label=Case6.131 nb_sol=0 ticks=756006 tps=100 nb_sec=7560
case_no=143 label=Case6.131 nb_sol=0 ticks=661637 tps=100 nb_sec=6616
case_no=143 label=Case6.131 nb_sol=0 ticks=668246 tps=100 nb_sec=6682
case_no=143 label=Case6.131 nb_sol=0 ticks=976293 tps=100 nb_sec=9762
case_no=143 label=Case6.131 nb_sol=0 ticks=585918 tps=100 nb_sec=5859
case_no=143 label=Case6.131 nb_sol=0 ticks=357463 tps=100 nb_sec=3574
case_no=143 label=Case6.131 nb_sol=0 ticks=665305 tps=100 nb_sec=6653
case_no=143 label=Case6.131 nb_sol=0 ticks=594531 tps=100 nb_sec=5945
case_no=143 label=Case6.131 nb_sol=0 ticks=937851 tps=100 nb_sec=9378
case_no=143 label=Case6.131 nb_sol=0 ticks=688554 tps=100 nb_sec=6885
case_no=143 label=Case6.131 nb_sol=0 ticks=934447 tps=100 nb_sec=9344
case_no=143 label=Case6.131 nb_sol=0 ticks=324591 tps=100 nb_sec=3245
case_no=143 label=Case6.131 nb_sol=0 ticks=1285108 tps=100 nb_sec=12851
case_no=143 label=Case6.131 nb_sol=0 ticks=1119533 tps=100 nb_sec=11195
case_no=143 label=Case6.131 nb_sol=0 ticks=758566 tps=100 nb_sec=7585
case_no=143 label=Case6.131 nb_sol=0 ticks=602040 tps=100 nb_sec=6020
case_no=143 label=Case6.131 nb_sol=0 ticks=345150 tps=100 nb_sec=3451
case_no=143 label=Case6.131 nb_sol=0 ticks=339499 tps=100 nb_sec=3394
case_no=143 label=Case6.131 nb_sol=0 ticks=706258 tps=100 nb_sec=7062
case_no=143 label=Case6.131 nb_sol=0 ticks=276938 tps=100 nb_sec=2769
case_no=143 label=Case6.131 nb_sol=0 ticks=738748 tps=100 nb_sec=7387
case_no=143 label=Case6.131 nb_sol=0 ticks=358560 tps=100 nb_sec=3585
case_no=143 label=Case6.131 nb_sol=0 ticks=367406 tps=100 nb_sec=3674
case_no=143 label=Case6.131 nb_sol=0 ticks=850078 tps=100 nb_sec=8500
case_no=143 label=Case6.131 nb_sol=0 ticks=695374 tps=100 nb_sec=6953
case_no=143 label=Case6.131 nb_sol=0 ticks=518357 tps=100 nb_sec=5183
case_no=143 label=Case6.131 nb_sol=0 ticks=427954 tps=100 nb_sec=4279
case_no=143 label=Case6.131 nb_sol=0 ticks=950574 tps=100 nb_sec=9505
case_no=143 label=Case6.131 nb_sol=0 ticks=726384 tps=100 nb_sec=7263
case_no=143 label=Case6.131 nb_sol=0 ticks=311549 tps=100 nb_sec=3115
case_no=143 label=Case6.131 nb_sol=0 ticks=600917 tps=100 nb_sec=6009
case_no=143 label=Case6.131 nb_sol=0 ticks=444001 tps=100 nb_sec=4440
case_no=143 label=Case6.131 nb_sol=0 ticks=796920 tps=100 nb_sec=7969
case_no=143 label=Case6.131 nb_sol=0 ticks=546761 tps=100 nb_sec=5467
case_no=143 label=Case6.131 nb_sol=0 ticks=881376 tps=100 nb_sec=8813
case_no=143 label=Case6.131 nb_sol=0 ticks=406219 tps=100 nb_sec=4062
case_no=143 label=Case6.131 nb_sol=0 ticks=1145957 tps=100 nb_sec=11459
case_no=143 label=Case6.131 nb_sol=0 ticks=816556 tps=100 nb_sec=8165
case_no=143 label=Case6.131 nb_sol=0 ticks=1040404 tps=100 nb_sec=10404
case_no=143 label=Case6.131 nb_sol=0 ticks=1025069 tps=100 nb_sec=10250
case_no=143 label=Case6.131 nb_sol=0 ticks=925784 tps=100 nb_sec=9257
case_no=143 label=Case6.131 nb_sol=0 ticks=652567 tps=100 nb_sec=6525
case_no=143 label=Case6.131 nb_sol=0 ticks=743167 tps=100 nb_sec=7431
case_no=143 label=Case6.131 nb_sol=0 ticks=877980 tps=100 nb_sec=8779
case_no=143 label=Case6.131 nb_sol=0 ticks=474374 tps=100 nb_sec=4743
case_no=143 label=Case6.131 nb_sol=0 ticks=813142 tps=100 nb_sec=8131
case_no=143 label=Case6.131 nb_sol=0 ticks=469363 tps=100 nb_sec=4693
case_no=143 label=Case6.131 nb_sol=0 ticks=792055 tps=100 nb_sec=7920
case_no=143 label=Case6.131 nb_sol=0 ticks=353345 tps=100 nb_sec=3533
case_no=143 label=Case6.131 nb_sol=0 ticks=668191 tps=100 nb_sec=6681
case_no=143 label=Case6.131 nb_sol=0 ticks=717149 tps=100 nb_sec=7171
case_no=143 label=Case6.131 nb_sol=0 ticks=326361 tps=100 nb_sec=3263
case_no=143 label=Case6.131 nb_sol=0 ticks=741727 tps=100 nb_sec=7417
case_no=143 label=Case6.131 nb_sol=0 ticks=659939 tps=100 nb_sec=6599
case_no=143 label=Case6.131 nb_sol=0 ticks=400741 tps=100 nb_sec=4007
case_no=143 label=Case6.131 nb_sol=0 ticks=278339 tps=100 nb_sec=2783
case_no=143 label=Case6.131 nb_sol=0 ticks=841174 tps=100 nb_sec=8411
case_no=143 label=Case6.131 nb_sol=0 ticks=268532 tps=100 nb_sec=2685
case_no=143 label=Case6.131 nb_sol=0 ticks=1008801 tps=100 nb_sec=10088
case_no=143 label=Case6.131 nb_sol=0 ticks=803408 tps=100 nb_sec=8034
case_no=143 label=Case6.131 nb_sol=0 ticks=887228 tps=100 nb_sec=8872
case_no=143 label=Case6.131 nb_sol=0 ticks=778311 tps=100 nb_sec=7783
case_no=143 label=Case6.131 nb_sol=0 ticks=902788 tps=100 nb_sec=9027
case_no=143 label=Case6.131 nb_sol=0 ticks=782816 tps=100 nb_sec=7828
case_no=143 label=Case6.131 nb_sol=0 ticks=741107 tps=100 nb_sec=7411
case_no=143 label=Case6.131 nb_sol=0 ticks=820310 tps=100 nb_sec=8203
case_no=143 label=Case6.131 nb_sol=0 ticks=817092 tps=100 nb_sec=8170
case_no=143 label=Case6.131 nb_sol=0 ticks=703512 tps=100 nb_sec=7035
case_no=143 label=Case6.131 nb_sol=0 ticks=675939 tps=100 nb_sec=6759
case_no=143 label=Case6.131 nb_sol=0 ticks=432981 tps=100 nb_sec=4329
case_no=143 label=Case6.131 nb_sol=0 ticks=668750 tps=100 nb_sec=6687
case_no=143 label=Case6.131 nb_sol=0 ticks=414289 tps=100 nb_sec=4142
case_no=143 label=Case6.131 nb_sol=0 ticks=798615 tps=100 nb_sec=7986
case_no=143 label=Case6.131 nb_sol=0 ticks=683020 tps=100 nb_sec=6830
case_no=143 label=Case6.131 nb_sol=0 ticks=312401 tps=100 nb_sec=3124
case_no=143 label=Case6.131 nb_sol=0 ticks=496741 tps=100 nb_sec=4967
case_no=143 label=Case6.131 nb_sol=0 ticks=749469 tps=100 nb_sec=7494
case_no=143 label=Case6.131 nb_sol=0 ticks=705400 tps=100 nb_sec=7054
case_no=143 label=Case6.131 nb_sol=0 ticks=780143 tps=100 nb_sec=7801
case_no=143 label=Case6.131 nb_sol=0 ticks=915697 tps=100 nb_sec=9156
case_no=143 label=Case6.131 nb_sol=0 ticks=413763 tps=100 nb_sec=4137
case_no=143 label=Case6.131 nb_sol=0 ticks=576941 tps=100 nb_sec=5769
case_no=143 label=Case6.131 nb_sol=0 ticks=850162 tps=100 nb_sec=8501
case_no=143 label=Case6.131 nb_sol=0 ticks=789160 tps=100 nb_sec=7891
case_no=143 label=Case6.131 nb_sol=0 ticks=482467 tps=100 nb_sec=4824
case_no=143 label=Case6.131 nb_sol=0 ticks=681508 tps=100 nb_sec=6815
case_no=143 label=Case6.131 nb_sol=0 ticks=859966 tps=100 nb_sec=8599
case_no=143 label=Case6.131 nb_sol=0 ticks=970189 tps=100 nb_sec=9701
case_no=143 label=Case6.131 nb_sol=0 ticks=754761 tps=100 nb_sec=7547
case_no=143 label=Case6.131 nb_sol=0 ticks=716446 tps=100 nb_sec=7164
case_no=143 label=Case6.131 nb_sol=0 ticks=840280 tps=100 nb_sec=8402
case_no=143 label=Case6.131 nb_sol=0 ticks=618944 tps=100 nb_sec=6189
case_no=143 label=Case6.131 nb_sol=0 ticks=770121 tps=100 nb_sec=7701
case_no=143 label=Case6.131 nb_sol=0 ticks=729817 tps=100 nb_sec=7298
case_no=143 label=Case6.131 nb_sol=0 ticks=863367 tps=100 nb_sec=8633
case_no=143 label=Case6.131 nb_sol=0 ticks=707015 tps=100 nb_sec=7070
case_no=143 label=Case6.131 nb_sol=0 ticks=625883 tps=100 nb_sec=6258
case_no=143 label=Case6.131 nb_sol=0 ticks=408593 tps=100 nb_sec=4085
case_no=143 label=Case6.131 nb_sol=0 ticks=604924 tps=100 nb_sec=6049
case_no=143 label=Case6.131 nb_sol=0 ticks=582042 tps=100 nb_sec=5820
case_no=143 label=Case6.131 nb_sol=0 ticks=773543 tps=100 nb_sec=7735
case_no=143 label=Case6.131 nb_sol=0 ticks=370613 tps=100 nb_sec=3706
case_no=143 label=Case6.131 nb_sol=0 ticks=418527 tps=100 nb_sec=4185
case_no=143 label=Case6.131 nb_sol=0 ticks=465678 tps=100 nb_sec=4656
case_no=143 label=Case6.131 nb_sol=0 ticks=329586 tps=100 nb_sec=3295
case_no=143 label=Case6.131 nb_sol=0 ticks=425205 tps=100 nb_sec=4252
case_no=143 label=Case6.131 nb_sol=0 ticks=349511 tps=100 nb_sec=3495
case_no=143 label=Case6.131 nb_sol=0 ticks=599336 tps=100 nb_sec=5993
case_no=143 label=Case6.131 nb_sol=0 ticks=700528 tps=100 nb_sec=7005
case_no=143 label=Case6.131 nb_sol=0 ticks=393571 tps=100 nb_sec=3935
case_no=143 label=Case6.131 nb_sol=0 ticks=462116 tps=100 nb_sec=4621
case_no=143 label=Case6.131 nb_sol=0 ticks=692702 tps=100 nb_sec=6927
case_no=143 label=Case6.131 nb_sol=0 ticks=365369 tps=100 nb_sec=3653
case_no=143 label=Case6.131 nb_sol=0 ticks=365044 tps=100 nb_sec=3650
case_no=143 label=Case6.131 nb_sol=0 ticks=652290 tps=100 nb_sec=6522
case_no=143 label=Case6.131 nb_sol=0 ticks=516846 tps=100 nb_sec=5168
case_no=143 label=Case6.131 nb_sol=0 ticks=633484 tps=100 nb_sec=6334
case_no=143 label=Case6.131 nb_sol=0 ticks=690642 tps=100 nb_sec=6906
case_no=143 label=Case6.131 nb_sol=0 ticks=675739 tps=100 nb_sec=6757
case_no=143 label=Case6.131 nb_sol=0 ticks=408055 tps=100 nb_sec=4080
case_no=143 label=Case6.131 nb_sol=0 ticks=949847 tps=100 nb_sec=9498
case_no=143 label=Case6.131 nb_sol=0 ticks=737858 tps=100 nb_sec=7378
case_no=143 label=Case6.131 nb_sol=0 ticks=772584 tps=100 nb_sec=7725
case_no=143 label=Case6.131 nb_sol=0 ticks=744418 tps=100 nb_sec=7444
case_no=143 label=Case6.131 nb_sol=0 ticks=715399 tps=100 nb_sec=7153
case_no=143 label=Case6.131 nb_sol=0 ticks=559628 tps=100 nb_sec=5596
case_no=143 label=Case6.131 nb_sol=0 ticks=746631 tps=100 nb_sec=7466
case_no=143 label=Case6.131 nb_sol=0 ticks=597287 tps=100 nb_sec=5972
case_no=143 label=Case6.131 nb_sol=0 ticks=951942 tps=100 nb_sec=9519
case_no=143 label=Case6.131 nb_sol=0 ticks=777455 tps=100 nb_sec=7774
case_no=143 label=Case6.131 nb_sol=0 ticks=499179 tps=100 nb_sec=4991
case_no=143 label=Case6.131 nb_sol=0 ticks=309975 tps=100 nb_sec=3099
case_no=143 label=Case6.131 nb_sol=0 ticks=522359 tps=100 nb_sec=5223
case_no=143 label=Case6.131 nb_sol=0 ticks=356159 tps=100 nb_sec=3561
case_no=143 label=Case6.131 nb_sol=0 ticks=862527 tps=100 nb_sec=8625
case_no=143 label=Case6.131 nb_sol=0 ticks=728263 tps=100 nb_sec=7282
case_no=143 label=Case6.131 nb_sol=0 ticks=797226 tps=100 nb_sec=7972
case_no=143 label=Case6.131 nb_sol=0 ticks=601161 tps=100 nb_sec=6011
case_no=143 label=Case6.131 nb_sol=0 ticks=693754 tps=100 nb_sec=6937
case_no=143 label=Case6.131 nb_sol=0 ticks=754459 tps=100 nb_sec=7544
case_no=143 label=Case6.131 nb_sol=0 ticks=925338 tps=100 nb_sec=9253
case_no=143 label=Case6.131 nb_sol=0 ticks=640374 tps=100 nb_sec=6403
case_no=143 label=Case6.131 nb_sol=0 ticks=830135 tps=100 nb_sec=8301
case_no=143 label=Case6.131 nb_sol=0 ticks=644453 tps=100 nb_sec=6444
case_no=143 label=Case6.131 nb_sol=0 ticks=659547 tps=100 nb_sec=6595
case_no=143 label=Case6.131 nb_sol=0 ticks=789697 tps=100 nb_sec=7896
case_no=143 label=Case6.131 nb_sol=0 ticks=959581 tps=100 nb_sec=9595
case_no=143 label=Case6.131 nb_sol=0 ticks=969856 tps=100 nb_sec=9698
case_no=143 label=Case6.131 nb_sol=0 ticks=877683 tps=100 nb_sec=8776
case_no=143 label=Case6.131 nb_sol=0 ticks=939227 tps=100 nb_sec=9392
case_no=143 label=Case6.131 nb_sol=0 ticks=803759 tps=100 nb_sec=8037
case_no=143 label=Case6.131 nb_sol=0 ticks=389418 tps=100 nb_sec=3894
case_no=143 label=Case6.131 nb_sol=0 ticks=693194 tps=100 nb_sec=6931
case_no=143 label=Case6.131 nb_sol=0 ticks=646903 tps=100 nb_sec=6469
case_no=143 label=Case6.131 nb_sol=0 ticks=567493 tps=100 nb_sec=5674
case_no=143 label=Case6.131 nb_sol=0 ticks=658296 tps=100 nb_sec=6582
case_no=143 label=Case6.131 nb_sol=0 ticks=710274 tps=100 nb_sec=7102
case_no=143 label=Case6.131 nb_sol=0 ticks=263846 tps=100 nb_sec=2638
case_no=143 label=Case6.131 nb_sol=0 ticks=800393 tps=100 nb_sec=8003
case_no=143 label=Case6.131 nb_sol=0 ticks=494308 tps=100 nb_sec=4943
case_no=143 label=Case6.131 nb_sol=0 ticks=735098 tps=100 nb_sec=7350
case_no=143 label=Case6.131 nb_sol=0 ticks=316559 tps=100 nb_sec=3165
case_no=143 label=Case6.131 nb_sol=0 ticks=943228 tps=100 nb_sec=9432
case_no=143 label=Case6.131 nb_sol=0 ticks=782016 tps=100 nb_sec=7820
case_no=143 label=Case6.131 nb_sol=0 ticks=448851 tps=100 nb_sec=4488
case_no=143 label=Case6.131 nb_sol=0 ticks=378686 tps=100 nb_sec=3786
case_no=143 label=Case6.131 nb_sol=0 ticks=388989 tps=100 nb_sec=3889
case_no=143 label=Case6.131 nb_sol=0 ticks=913284 tps=100 nb_sec=9132
case_no=143 label=Case6.131 nb_sol=0 ticks=929295 tps=100 nb_sec=9292
case_no=143 label=Case6.131 nb_sol=0 ticks=299551 tps=100 nb_sec=2995
case_no=143 label=Case6.131 nb_sol=0 ticks=682737 tps=100 nb_sec=6827
case_no=143 label=Case6.131 nb_sol=0 ticks=553440 tps=100 nb_sec=5534
case_no=143 label=Case6.131 nb_sol=0 ticks=898134 tps=100 nb_sec=8981
case_no=143 label=Case6.131 nb_sol=0 ticks=497542 tps=100 nb_sec=4975
case_no=143 label=Case6.131 nb_sol=0 ticks=760147 tps=100 nb_sec=7601
case_no=143 label=Case6.131 nb_sol=0 ticks=690164 tps=100 nb_sec=6901
case_no=143 label=Case6.131 nb_sol=0 ticks=732436 tps=100 nb_sec=7324
case_no=143 label=Case6.131 nb_sol=0 ticks=518111 tps=100 nb_sec=5181
case_no=143 label=Case6.131 nb_sol=0 ticks=840620 tps=100 nb_sec=8406
case_no=143 label=Case6.131 nb_sol=0 ticks=715731 tps=100 nb_sec=7157
case_no=143 label=Case6.131 nb_sol=0 ticks=705555 tps=100 nb_sec=7055
case_no=143 label=Case6.131 nb_sol=0 ticks=678068 tps=100 nb_sec=6780
case_no=143 label=Case6.131 nb_sol=0 ticks=657580 tps=100 nb_sec=6575
case_no=143 label=Case6.131 nb_sol=0 ticks=734395 tps=100 nb_sec=7343
case_no=143 label=Case6.131 nb_sol=0 ticks=687095 tps=100 nb_sec=6870
case_no=143 label=Case6.131 nb_sol=0 ticks=572442 tps=100 nb_sec=5724
case_no=143 label=Case6.131 nb_sol=0 ticks=725081 tps=100 nb_sec=7250
case_no=143 label=Case6.131 nb_sol=0 ticks=718850 tps=100 nb_sec=7188
case_no=143 label=Case6.131 nb_sol=0 ticks=711782 tps=100 nb_sec=7117
case_no=143 label=Case6.131 nb_sol=0 ticks=552846 tps=100 nb_sec=5528
case_no=143 label=Case6.131 nb_sol=0 ticks=750232 tps=100 nb_sec=7502
case_no=143 label=Case6.131 nb_sol=0 ticks=424516 tps=100 nb_sec=4245
case_no=143 label=Case6.131 nb_sol=0 ticks=725472 tps=100 nb_sec=7254
case_no=143 label=Case6.131 nb_sol=0 ticks=613495 tps=100 nb_sec=6134
case_no=143 label=Case6.131 nb_sol=0 ticks=389939 tps=100 nb_sec=3899
case_no=143 label=Case6.131 nb_sol=0 ticks=720322 tps=100 nb_sec=7203
case_no=143 label=Case6.131 nb_sol=0 ticks=377425 tps=100 nb_sec=3774
case_no=143 label=Case6.131 nb_sol=0 ticks=775218 tps=100 nb_sec=7752
case_no=143 label=Case6.131 nb_sol=0 ticks=329946 tps=100 nb_sec=3299
case_no=143 label=Case6.131 nb_sol=0 ticks=674534 tps=100 nb_sec=6745
case_no=143 label=Case6.131 nb_sol=0 ticks=801918 tps=100 nb_sec=8019
case_no=143 label=Case6.131 nb_sol=0 ticks=738126 tps=100 nb_sec=7381
case_no=143 label=Case6.131 nb_sol=0 ticks=416474 tps=100 nb_sec=4164
case_no=143 label=Case6.131 nb_sol=0 ticks=355640 tps=100 nb_sec=3556
case_no=143 label=Case6.131 nb_sol=0 ticks=540543 tps=100 nb_sec=5405
case_no=143 label=Case6.131 nb_sol=0 ticks=722133 tps=100 nb_sec=7221
case_no=143 label=Case6.131 nb_sol=0 ticks=914175 tps=100 nb_sec=9141
case_no=143 label=Case6.131 nb_sol=0 ticks=895201 tps=100 nb_sec=8952
case_no=143 label=Case6.131 nb_sol=0 ticks=361602 tps=100 nb_sec=3616
case_no=143 label=Case6.131 nb_sol=0 ticks=329582 tps=100 nb_sec=3295
case_no=143 label=Case6.131 nb_sol=0 ticks=854281 tps=100 nb_sec=8542
case_no=143 label=Case6.131 nb_sol=0 ticks=408714 tps=100 nb_sec=4087
case_no=143 label=Case6.131 nb_sol=0 ticks=903556 tps=100 nb_sec=9035
case_no=143 label=Case6.131 nb_sol=0 ticks=812814 tps=100 nb_sec=8128
case_no=143 label=Case6.131 nb_sol=0 ticks=753961 tps=100 nb_sec=7539
case_no=143 label=Case6.131 nb_sol=0 ticks=293943 tps=100 nb_sec=2939
case_no=143 label=Case6.131 nb_sol=0 ticks=770999 tps=100 nb_sec=7709
case_no=143 label=Case6.131 nb_sol=0 ticks=814610 tps=100 nb_sec=8146
case_no=143 label=Case6.131 nb_sol=0 ticks=735228 tps=100 nb_sec=7352
case_no=143 label=Case6.131 nb_sol=0 ticks=832404 tps=100 nb_sec=8324
case_no=143 label=Case6.131 nb_sol=0 ticks=781113 tps=100 nb_sec=7811
case_no=143 label=Case6.131 nb_sol=0 ticks=615336 tps=100 nb_sec=6153
case_no=143 label=Case6.131 nb_sol=0 ticks=804096 tps=100 nb_sec=8040
case_no=143 label=Case6.131 nb_sol=0 ticks=737824 tps=100 nb_sec=7378
case_no=143 label=Case6.131 nb_sol=0 ticks=737353 tps=100 nb_sec=7373
case_no=143 label=Case6.131 nb_sol=0 ticks=744145 tps=100 nb_sec=7441
case_no=143 label=Case6.131 nb_sol=0 ticks=788614 tps=100 nb_sec=7886
case_no=143 label=Case6.131 nb_sol=0 ticks=905977 tps=100 nb_sec=9059
case_no=143 label=Case6.131 nb_sol=0 ticks=844378 tps=100 nb_sec=8443
case_no=143 label=Case6.131 nb_sol=0 ticks=749235 tps=100 nb_sec=7492
case_no=143 label=Case6.131 nb_sol=0 ticks=863397 tps=100 nb_sec=8633
case_no=143 label=Case6.131 nb_sol=0 ticks=627972 tps=100 nb_sec=6279
case_no=143 label=Case6.131 nb_sol=0 ticks=709385 tps=100 nb_sec=7093
case_no=143 label=Case6.131 nb_sol=0 ticks=912270 tps=100 nb_sec=9122
case_no=143 label=Case6.131 nb_sol=0 ticks=794633 tps=100 nb_sec=7946
case_no=143 label=Case6.131 nb_sol=0 ticks=344185 tps=100 nb_sec=3441
case_no=143 label=Case6.131 nb_sol=0 ticks=896640 tps=100 nb_sec=8966
case_no=143 label=Case6.131 nb_sol=0 ticks=745274 tps=100 nb_sec=7452
case_no=143 label=Case6.131 nb_sol=0 ticks=842302 tps=100 nb_sec=8423
case_no=143 label=Case6.131 nb_sol=0 ticks=452438 tps=100 nb_sec=4524
case_no=143 label=Case6.131 nb_sol=0 ticks=561814 tps=100 nb_sec=5618
case_no=143 label=Case6.131 nb_sol=0 ticks=719077 tps=100 nb_sec=7190
case_no=143 label=Case6.131 nb_sol=0 ticks=804135 tps=100 nb_sec=8041
case_no=143 label=Case6.131 nb_sol=0 ticks=587128 tps=100 nb_sec=5871
case_no=143 label=Case6.131 nb_sol=0 ticks=327877 tps=100 nb_sec=3278
case_no=143 label=Case6.131 nb_sol=0 ticks=828738 tps=100 nb_sec=8287
case_no=143 label=Case6.131 nb_sol=0 ticks=315228 tps=100 nb_sec=3152
case_no=143 label=Case6.131 nb_sol=0 ticks=582863 tps=100 nb_sec=5828
case_no=143 label=Case6.131 nb_sol=0 ticks=417518 tps=100 nb_sec=4175
case_no=143 label=Case6.131 nb_sol=0 ticks=257198 tps=100 nb_sec=2571
case_no=143 label=Case6.131 nb_sol=0 ticks=438883 tps=100 nb_sec=4388
case_no=143 label=Case6.131 nb_sol=0 ticks=299352 tps=100 nb_sec=2993
case_no=143 label=Case6.131 nb_sol=0 ticks=686901 tps=100 nb_sec=6869
case_no=143 label=Case6.131 nb_sol=0 ticks=664100 tps=100 nb_sec=6641
case_no=143 label=Case6.131 nb_sol=0 ticks=782267 tps=100 nb_sec=7822
case_no=143 label=Case6.131 nb_sol=0 ticks=500402 tps=100 nb_sec=5004
case_no=143 label=Case6.131 nb_sol=0 ticks=657263 tps=100 nb_sec=6572
case_no=143 label=Case6.131 nb_sol=0 ticks=282224 tps=100 nb_sec=2822
case_no=143 label=Case6.131 nb_sol=0 ticks=663613 tps=100 nb_sec=6636
case_no=143 label=Case6.131 nb_sol=0 ticks=262031 tps=100 nb_sec=2620
case_no=143 label=Case6.131 nb_sol=0 ticks=745662 tps=100 nb_sec=7456
case_no=143 label=Case6.131 nb_sol=0 ticks=528010 tps=100 nb_sec=5280
case_no=143 label=Case6.131 nb_sol=0 ticks=634984 tps=100 nb_sec=6349
case_no=143 label=Case6.131 nb_sol=0 ticks=623255 tps=100 nb_sec=6232
case_no=143 label=Case6.131 nb_sol=0 ticks=648007 tps=100 nb_sec=6480
case_no=143 label=Case6.131 nb_sol=0 ticks=457231 tps=100 nb_sec=4572
case_no=143 label=Case6.131 nb_sol=0 ticks=650263 tps=100 nb_sec=6502
case_no=143 label=Case6.131 nb_sol=0 ticks=551157 tps=100 nb_sec=5511
case_no=143 label=Case6.131 nb_sol=0 ticks=318708 tps=100 nb_sec=3187
case_no=143 label=Case6.131 nb_sol=0 ticks=543486 tps=100 nb_sec=5434
case_no=143 label=Case6.131 nb_sol=0 ticks=647697 tps=100 nb_sec=6476
case_no=143 label=Case6.131 nb_sol=0 ticks=498643 tps=100 nb_sec=4986
case_no=143 label=Case6.131 nb_sol=0 ticks=432559 tps=100 nb_sec=4325
case_no=143 label=Case6.131 nb_sol=0 ticks=538828 tps=100 nb_sec=5388
case_no=143 label=Case6.131 nb_sol=0 ticks=598148 tps=100 nb_sec=5981
case_no=143 label=Case6.131 nb_sol=0 ticks=602073 tps=100 nb_sec=6020
case_no=143 label=Case6.131 nb_sol=0 ticks=661262 tps=100 nb_sec=6612
case_no=143 label=Case6.131 nb_sol=0 ticks=262739 tps=100 nb_sec=2627
case_no=143 label=Case6.131 nb_sol=0 ticks=486199 tps=100 nb_sec=4861
case_no=143 label=Case6.131 nb_sol=0 ticks=489548 tps=100 nb_sec=4895
case_no=143 label=Case6.131 nb_sol=0 ticks=523908 tps=100 nb_sec=5239
case_no=143 label=Case6.131 nb_sol=0 ticks=429229 tps=100 nb_sec=4292
case_no=143 label=Case6.131 nb_sol=0 ticks=536802 tps=100 nb_sec=5368
case_no=143 label=Case6.131 nb_sol=0 ticks=528780 tps=100 nb_sec=5287
case_no=143 label=Case6.131 nb_sol=0 ticks=487543 tps=100 nb_sec=4875
case_no=143 label=Case6.131 nb_sol=0 ticks=605172 tps=100 nb_sec=6051
case_no=143 label=Case6.131 nb_sol=0 ticks=484555 tps=100 nb_sec=4845
case_no=143 label=Case6.131 nb_sol=0 ticks=533669 tps=100 nb_sec=5336
case_no=143 label=Case6.131 nb_sol=0 ticks=262029 tps=100 nb_sec=2620
case_no=143 label=Case6.131 nb_sol=0 ticks=477315 tps=100 nb_sec=4773
case_no=143 label=Case6.131 nb_sol=0 ticks=402313 tps=100 nb_sec=4023
case_no=143 label=Case6.131 nb_sol=0 ticks=528597 tps=100 nb_sec=5285
case_no=143 label=Case6.131 nb_sol=0 ticks=499103 tps=100 nb_sec=4991
case_no=143 label=Case6.131 nb_sol=0 ticks=466694 tps=100 nb_sec=4666
case_no=143 label=Case6.131 nb_sol=0 ticks=401087 tps=100 nb_sec=4010
case_no=143 label=Case6.131 nb_sol=0 ticks=327858 tps=100 nb_sec=3278
case_no=143 label=Case6.131 nb_sol=0 ticks=573656 tps=100 nb_sec=5736
case_no=143 label=Case6.131 nb_sol=0 ticks=653713 tps=100 nb_sec=6537
case_no=143 label=Case6.131 nb_sol=0 ticks=275512 tps=100 nb_sec=2755
case_no=143 label=Case6.131 nb_sol=0 ticks=667703 tps=100 nb_sec=6677
case_no=143 label=Case6.131 nb_sol=0 ticks=329861 tps=100 nb_sec=3298
case_no=143 label=Case6.131 nb_sol=0 ticks=634701 tps=100 nb_sec=6347
case_no=143 label=Case6.131 nb_sol=0 ticks=528478 tps=100 nb_sec=5284
case_no=143 label=Case6.131 nb_sol=0 ticks=574051 tps=100 nb_sec=5740
case_no=143 label=Case6.131 nb_sol=0 ticks=547035 tps=100 nb_sec=5470
case_no=143 label=Case6.131 nb_sol=0 ticks=589406 tps=100 nb_sec=5894
case_no=143 label=Case6.131 nb_sol=0 ticks=595087 tps=100 nb_sec=5950
case_no=143 label=Case6.131 nb_sol=0 ticks=582797 tps=100 nb_sec=5827
case_no=143 label=Case6.131 nb_sol=0 ticks=502004 tps=100 nb_sec=5020
case_no=143 label=Case6.131 nb_sol=0 ticks=545705 tps=100 nb_sec=5457
case_no=143 label=Case6.131 nb_sol=0 ticks=597037 tps=100 nb_sec=5970
case_no=143 label=Case6.131 nb_sol=0 ticks=533210 tps=100 nb_sec=5332
case_no=143 label=Case6.131 nb_sol=0 ticks=304277 tps=100 nb_sec=3042
case_no=143 label=Case6.131 nb_sol=0 ticks=454835 tps=100 nb_sec=4548
case_no=143 label=Case6.131 nb_sol=0 ticks=367805 tps=100 nb_sec=3678
case_no=143 label=Case6.131 nb_sol=0 ticks=293558 tps=100 nb_sec=2935
case_no=143 label=Case6.131 nb_sol=0 ticks=777491 tps=100 nb_sec=7774
case_no=143 label=Case6.131 nb_sol=0 ticks=442054 tps=100 nb_sec=4420
case_no=143 label=Case6.131 nb_sol=0 ticks=882515 tps=100 nb_sec=8825
case_no=143 label=Case6.131 nb_sol=0 ticks=875281 tps=100 nb_sec=8752
case_no=143 label=Case6.131 nb_sol=0 ticks=644082 tps=100 nb_sec=6440
case_no=143 label=Case6.131 nb_sol=0 ticks=450970 tps=100 nb_sec=4509
case_no=143 label=Case6.131 nb_sol=0 ticks=739481 tps=100 nb_sec=7394
case_no=143 label=Case6.131 nb_sol=0 ticks=389352 tps=100 nb_sec=3893
case_no=143 label=Case6.131 nb_sol=0 ticks=389282 tps=100 nb_sec=3892
case_no=143 label=Case6.131 nb_sol=0 ticks=348034 tps=100 nb_sec=3480
case_no=143 label=Case6.131 nb_sol=0 ticks=580151 tps=100 nb_sec=5801
case_no=143 label=Case6.131 nb_sol=0 ticks=352505 tps=100 nb_sec=3525
case_no=143 label=Case6.131 nb_sol=0 ticks=659372 tps=100 nb_sec=6593
case_no=143 label=Case6.131 nb_sol=0 ticks=238282 tps=100 nb_sec=2382
case_no=143 label=Case6.131 nb_sol=0 ticks=301478 tps=100 nb_sec=3014
case_no=143 label=Case6.131 nb_sol=0 ticks=641544 tps=100 nb_sec=6415
case_no=143 label=Case6.131 nb_sol=0 ticks=431514 tps=100 nb_sec=4315
case_no=143 label=Case6.131 nb_sol=0 ticks=467750 tps=100 nb_sec=4677
case_no=143 label=Case6.131 nb_sol=0 ticks=690619 tps=100 nb_sec=6906
case_no=143 label=Case6.131 nb_sol=0 ticks=338858 tps=100 nb_sec=3388
case_no=143 label=Case6.131 nb_sol=0 ticks=354896 tps=100 nb_sec=3548
case_no=143 label=Case6.131 nb_sol=0 ticks=283611 tps=100 nb_sec=2836
case_no=143 label=Case6.131 nb_sol=0 ticks=302179 tps=100 nb_sec=3021
case_no=143 label=Case6.131 nb_sol=0 ticks=377577 tps=100 nb_sec=3775
case_no=143 label=Case6.131 nb_sol=0 ticks=560767 tps=100 nb_sec=5607
case_no=143 label=Case6.131 nb_sol=0 ticks=375212 tps=100 nb_sec=3752
case_no=143 label=Case6.131 nb_sol=0 ticks=658063 tps=100 nb_sec=6580
case_no=143 label=Case6.131 nb_sol=0 ticks=365999 tps=100 nb_sec=3659
case_no=143 label=Case6.131 nb_sol=0 ticks=344901 tps=100 nb_sec=3449
case_no=143 label=Case6.131 nb_sol=0 ticks=548251 tps=100 nb_sec=5482
case_no=143 label=Case6.131 nb_sol=0 ticks=412401 tps=100 nb_sec=4124
case_no=143 label=Case6.131 nb_sol=0 ticks=332673 tps=100 nb_sec=3326
case_no=143 label=Case6.131 nb_sol=0 ticks=248795 tps=100 nb_sec=2487
case_no=143 label=Case6.131 nb_sol=0 ticks=438121 tps=100 nb_sec=4381
case_no=143 label=Case6.131 nb_sol=0 ticks=792523 tps=100 nb_sec=7925
case_no=143 label=Case6.131 nb_sol=0 ticks=833950 tps=100 nb_sec=8339
case_no=143 label=Case6.131 nb_sol=0 ticks=318688 tps=100 nb_sec=3186
case_no=143 label=Case6.131 nb_sol=0 ticks=387276 tps=100 nb_sec=3872
case_no=143 label=Case6.131 nb_sol=0 ticks=360272 tps=100 nb_sec=3602
case_no=143 label=Case6.131 nb_sol=0 ticks=814842 tps=100 nb_sec=8148
case_no=143 label=Case6.131 nb_sol=0 ticks=654603 tps=100 nb_sec=6546
case_no=143 label=Case6.131 nb_sol=0 ticks=697064 tps=100 nb_sec=6970
case_no=143 label=Case6.131 nb_sol=0 ticks=679772 tps=100 nb_sec=6797
case_no=143 label=Case6.131 nb_sol=0 ticks=575787 tps=100 nb_sec=5757
case_no=143 label=Case6.131 nb_sol=0 ticks=303731 tps=100 nb_sec=3037
case_no=143 label=Case6.131 nb_sol=0 ticks=296793 tps=100 nb_sec=2967
case_no=143 label=Case6.131 nb_sol=0 ticks=328491 tps=100 nb_sec=3284
case_no=143 label=Case6.131 nb_sol=0 ticks=738537 tps=100 nb_sec=7385
case_no=143 label=Case6.131 nb_sol=0 ticks=734057 tps=100 nb_sec=7340
case_no=143 label=Case6.131 nb_sol=0 ticks=519121 tps=100 nb_sec=5191
case_no=143 label=Case6.131 nb_sol=0 ticks=614967 tps=100 nb_sec=6149
case_no=143 label=Case6.131 nb_sol=0 ticks=716117 tps=100 nb_sec=7161
case_no=143 label=Case6.131 nb_sol=0 ticks=648724 tps=100 nb_sec=6487
case_no=143 label=Case6.131 nb_sol=0 ticks=351555 tps=100 nb_sec=3515
case_no=143 label=Case6.131 nb_sol=0 ticks=289888 tps=100 nb_sec=2898
case_no=143 label=Case6.131 nb_sol=0 ticks=570685 tps=100 nb_sec=5706
case_no=143 label=Case6.131 nb_sol=0 ticks=641830 tps=100 nb_sec=6418
case_no=143 label=Case6.131 nb_sol=0 ticks=247259 tps=100 nb_sec=2472
case_no=143 label=Case6.131 nb_sol=0 ticks=582355 tps=100 nb_sec=5823
case_no=143 label=Case6.131 nb_sol=0 ticks=732820 tps=100 nb_sec=7328
case_no=143 label=Case6.131 nb_sol=0 ticks=457958 tps=100 nb_sec=4579
case_no=143 label=Case6.131 nb_sol=0 ticks=822922 tps=100 nb_sec=8229
case_no=143 label=Case6.131 nb_sol=0 ticks=947853 tps=100 nb_sec=9478
case_no=143 label=Case6.131 nb_sol=0 ticks=1202975 tps=100 nb_sec=12029
case_no=143 label=Case6.131 nb_sol=0 ticks=309270 tps=100 nb_sec=3092
case_no=143 label=Case6.131 nb_sol=0 ticks=848183 tps=100 nb_sec=8481
case_no=143 label=Case6.131 nb_sol=0 ticks=787232 tps=100 nb_sec=7872
case_no=143 label=Case6.131 nb_sol=0 ticks=759987 tps=100 nb_sec=7599
case_no=143 label=Case6.131 nb_sol=0 ticks=745303 tps=100 nb_sec=7453
case_no=143 label=Case6.131 nb_sol=0 ticks=641527 tps=100 nb_sec=6415
case_no=143 label=Case6.131 nb_sol=0 ticks=769126 tps=100 nb_sec=7691
case_no=143 label=Case6.131 nb_sol=0 ticks=320045 tps=100 nb_sec=3200
case_no=143 label=Case6.131 nb_sol=0 ticks=803494 tps=100 nb_sec=8034
case_no=143 label=Case6.131 nb_sol=0 ticks=714600 tps=100 nb_sec=7146
case_no=143 label=Case6.131 nb_sol=0 ticks=1149151 tps=100 nb_sec=11491
case_no=143 label=Case6.131 nb_sol=0 ticks=767797 tps=100 nb_sec=7677
case_no=143 label=Case6.131 nb_sol=0 ticks=761690 tps=100 nb_sec=7616
case_no=143 label=Case6.131 nb_sol=0 ticks=793208 tps=100 nb_sec=7932
case_no=143 label=Case6.131 nb_sol=0 ticks=839054 tps=100 nb_sec=8390
case_no=143 label=Case6.131 nb_sol=0 ticks=729167 tps=100 nb_sec=7291
case_no=143 label=Case6.131 nb_sol=0 ticks=1142980 tps=100 nb_sec=11429
case_no=143 label=Case6.131 nb_sol=0 ticks=602199 tps=100 nb_sec=6021
case_no=143 label=Case6.131 nb_sol=0 ticks=859481 tps=100 nb_sec=8594
case_no=143 label=Case6.131 nb_sol=0 ticks=585071 tps=100 nb_sec=5850
case_no=143 label=Case6.131 nb_sol=0 ticks=1012364 tps=100 nb_sec=10123
case_no=143 label=Case6.131 nb_sol=0 ticks=636779 tps=100 nb_sec=6367
case_no=143 label=Case6.131 nb_sol=0 ticks=360622 tps=100 nb_sec=3606
case_no=143 label=Case6.131 nb_sol=0 ticks=700667 tps=100 nb_sec=7006
case_no=143 label=Case6.131 nb_sol=0 ticks=867499 tps=100 nb_sec=8674
case_no=143 label=Case6.131 nb_sol=0 ticks=414996 tps=100 nb_sec=4149
case_no=143 label=Case6.131 nb_sol=0 ticks=821116 tps=100 nb_sec=8211
case_no=143 label=Case6.131 nb_sol=0 ticks=613357 tps=100 nb_sec=6133
case_no=143 label=Case6.131 nb_sol=0 ticks=354127 tps=100 nb_sec=3541
case_no=143 label=Case6.131 nb_sol=0 ticks=726542 tps=100 nb_sec=7265
case_no=143 label=Case6.131 nb_sol=0 ticks=836736 tps=100 nb_sec=8367
case_no=143 label=Case6.131 nb_sol=0 ticks=816788 tps=100 nb_sec=8167
case_no=143 label=Case6.131 nb_sol=0 ticks=573422 tps=100 nb_sec=5734
case_no=143 label=Case6.131 nb_sol=0 ticks=580426 tps=100 nb_sec=5804
case_no=143 label=Case6.131 nb_sol=0 ticks=786515 tps=100 nb_sec=7865
case_no=143 label=Case6.131 nb_sol=0 ticks=563765 tps=100 nb_sec=5637
case_no=143 label=Case6.131 nb_sol=0 ticks=623365 tps=100 nb_sec=6233
case_no=143 label=Case6.131 nb_sol=0 ticks=492729 tps=100 nb_sec=4927
case_no=143 label=Case6.131 nb_sol=0 ticks=634898 tps=100 nb_sec=6348
case_no=143 label=Case6.131 nb_sol=0 ticks=889724 tps=100 nb_sec=8897
case_no=143 label=Case6.131 nb_sol=0 ticks=739134 tps=100 nb_sec=7391
case_no=143 label=Case6.131 nb_sol=0 ticks=660978 tps=100 nb_sec=6609
case_no=143 label=Case6.131 nb_sol=0 ticks=936231 tps=100 nb_sec=9362
case_no=143 label=Case6.131 nb_sol=0 ticks=511811 tps=100 nb_sec=5118
case_no=143 label=Case6.131 nb_sol=0 ticks=690542 tps=100 nb_sec=6905
case_no=143 label=Case6.131 nb_sol=0 ticks=755086 tps=100 nb_sec=7550
case_no=143 label=Case6.131 nb_sol=0 ticks=788204 tps=100 nb_sec=7882
case_no=143 label=Case6.131 nb_sol=0 ticks=901889 tps=100 nb_sec=9018
case_no=143 label=Case6.131 nb_sol=0 ticks=804700 tps=100 nb_sec=8047
case_no=143 label=Case6.131 nb_sol=0 ticks=824337 tps=100 nb_sec=8243
case_no=143 label=Case6.131 nb_sol=0 ticks=545463 tps=100 nb_sec=5454
case_no=143 label=Case6.131 nb_sol=0 ticks=675910 tps=100 nb_sec=6759
case_no=143 label=Case6.131 nb_sol=0 ticks=640292 tps=100 nb_sec=6402
case_no=143 label=Case6.131 nb_sol=0 ticks=712082 tps=100 nb_sec=7120
case_no=143 label=Case6.131 nb_sol=0 ticks=735566 tps=100 nb_sec=7355
case_no=143 label=Case6.131 nb_sol=0 ticks=610289 tps=100 nb_sec=6102
case_no=143 label=Case6.131 nb_sol=0 ticks=571156 tps=100 nb_sec=5711
case_no=143 label=Case6.131 nb_sol=0 ticks=1056393 tps=100 nb_sec=10563
case_no=143 label=Case6.131 nb_sol=0 ticks=1192477 tps=100 nb_sec=11924
case_no=143 label=Case6.131 nb_sol=0 ticks=719577 tps=100 nb_sec=7195
case_no=143 label=Case6.131 nb_sol=0 ticks=710557 tps=100 nb_sec=7105
case_no=143 label=Case6.131 nb_sol=0 ticks=852490 tps=100 nb_sec=8524
case_no=143 label=Case6.131 nb_sol=0 ticks=806683 tps=100 nb_sec=8066
case_no=143 label=Case6.131 nb_sol=0 ticks=1102801 tps=100 nb_sec=11028
case_no=143 label=Case6.131 nb_sol=0 ticks=876882 tps=100 nb_sec=8768
case_no=143 label=Case6.131 nb_sol=0 ticks=772064 tps=100 nb_sec=7720
case_no=143 label=Case6.131 nb_sol=0 ticks=722950 tps=100 nb_sec=7229
case_no=143 label=Case6.131 nb_sol=0 ticks=699795 tps=100 nb_sec=6997
case_no=143 label=Case6.131 nb_sol=0 ticks=595961 tps=100 nb_sec=5959
case_no=143 label=Case6.131 nb_sol=0 ticks=487115 tps=100 nb_sec=4871
case_no=143 label=Case6.131 nb_sol=0 ticks=458519 tps=100 nb_sec=4585
case_no=143 label=Case6.131 nb_sol=0 ticks=633630 tps=100 nb_sec=6336
case_no=143 label=Case6.131 nb_sol=0 ticks=623127 tps=100 nb_sec=6231
case_no=143 label=Case6.131 nb_sol=0 ticks=734992 tps=100 nb_sec=7349
case_no=143 label=Case6.131 nb_sol=0 ticks=759758 tps=100 nb_sec=7597
case_no=143 label=Case6.131 nb_sol=0 ticks=889809 tps=100 nb_sec=8898
case_no=143 label=Case6.131 nb_sol=0 ticks=437927 tps=100 nb_sec=4379
case_no=143 label=Case6.131 nb_sol=0 ticks=637463 tps=100 nb_sec=6374
case_no=143 label=Case6.131 nb_sol=0 ticks=609169 tps=100 nb_sec=6091
case_no=143 label=Case6.131 nb_sol=0 ticks=986814 tps=100 nb_sec=9868
case_no=143 label=Case6.131 nb_sol=0 ticks=470056 tps=100 nb_sec=4700
case_no=143 label=Case6.131 nb_sol=0 ticks=678686 tps=100 nb_sec=6786
case_no=143 label=Case6.131 nb_sol=0 ticks=520482 tps=100 nb_sec=5204
case_no=143 label=Case6.131 nb_sol=0 ticks=627299 tps=100 nb_sec=6272
case_no=143 label=Case6.131 nb_sol=0 ticks=595524 tps=100 nb_sec=5955
case_no=143 label=Case6.131 nb_sol=0 ticks=551209 tps=100 nb_sec=5512
case_no=143 label=Case6.131 nb_sol=0 ticks=547916 tps=100 nb_sec=5479
case_no=143 label=Case6.131 nb_sol=0 ticks=784551 tps=100 nb_sec=7845
case_no=143 label=Case6.131 nb_sol=0 ticks=552020 tps=100 nb_sec=5520
case_no=143 label=Case6.131 nb_sol=0 ticks=332617 tps=100 nb_sec=3326
case_no=143 label=Case6.131 nb_sol=0 ticks=820246 tps=100 nb_sec=8202
case_no=143 label=Case6.131 nb_sol=0 ticks=640976 tps=100 nb_sec=6409
case_no=143 label=Case6.131 nb_sol=0 ticks=659641 tps=100 nb_sec=6596
case_no=143 label=Case6.131 nb_sol=0 ticks=790908 tps=100 nb_sec=7909
case_no=143 label=Case6.131 nb_sol=0 ticks=562296 tps=100 nb_sec=5622
case_no=143 label=Case6.131 nb_sol=0 ticks=701863 tps=100 nb_sec=7018
case_no=143 label=Case6.131 nb_sol=0 ticks=609947 tps=100 nb_sec=6099
case_no=143 label=Case6.131 nb_sol=0 ticks=508348 tps=100 nb_sec=5083
case_no=143 label=Case6.131 nb_sol=0 ticks=538199 tps=100 nb_sec=5381
case_no=143 label=Case6.131 nb_sol=0 ticks=478223 tps=100 nb_sec=4782
case_no=143 label=Case6.131 nb_sol=0 ticks=749463 tps=100 nb_sec=7494
case_no=143 label=Case6.131 nb_sol=0 ticks=639735 tps=100 nb_sec=6397
case_no=143 label=Case6.131 nb_sol=0 ticks=535509 tps=100 nb_sec=5355
case_no=143 label=Case6.131 nb_sol=0 ticks=576479 tps=100 nb_sec=5764
case_no=143 label=Case6.131 nb_sol=0 ticks=643429 tps=100 nb_sec=6434
case_no=143 label=Case6.131 nb_sol=0 ticks=692889 tps=100 nb_sec=6928
case_no=143 label=Case6.131 nb_sol=0 ticks=553018 tps=100 nb_sec=5530
case_no=143 label=Case6.131 nb_sol=0 ticks=439341 tps=100 nb_sec=4393
case_no=143 label=Case6.131 nb_sol=0 ticks=410870 tps=100 nb_sec=4108
case_no=143 label=Case6.131 nb_sol=0 ticks=413797 tps=100 nb_sec=4137
case_no=143 label=Case6.131 nb_sol=0 ticks=457902 tps=100 nb_sec=4579
case_no=143 label=Case6.131 nb_sol=0 ticks=621297 tps=100 nb_sec=6212
case_no=143 label=Case6.131 nb_sol=0 ticks=610937 tps=100 nb_sec=6109
case_no=143 label=Case6.131 nb_sol=0 ticks=556491 tps=100 nb_sec=5564
case_no=143 label=Case6.131 nb_sol=0 ticks=826932 tps=100 nb_sec=8269
case_no=143 label=Case6.131 nb_sol=0 ticks=713824 tps=100 nb_sec=7138
case_no=143 label=Case6.131 nb_sol=0 ticks=720785 tps=100 nb_sec=7207
case_no=143 label=Case6.131 nb_sol=0 ticks=675503 tps=100 nb_sec=6755
case_no=143 label=Case6.131 nb_sol=0 ticks=537592 tps=100 nb_sec=5375
case_no=143 label=Case6.131 nb_sol=0 ticks=848764 tps=100 nb_sec=8487
case_no=143 label=Case6.131 nb_sol=0 ticks=682627 tps=100 nb_sec=6826
case_no=143 label=Case6.131 nb_sol=0 ticks=544870 tps=100 nb_sec=5448
case_no=143 label=Case6.131 nb_sol=0 ticks=642244 tps=100 nb_sec=6422
case_no=143 label=Case6.131 nb_sol=0 ticks=735020 tps=100 nb_sec=7350
case_no=143 label=Case6.131 nb_sol=0 ticks=809182 tps=100 nb_sec=8091
case_no=143 label=Case6.131 nb_sol=0 ticks=495174 tps=100 nb_sec=4951
case_no=143 label=Case6.131 nb_sol=0 ticks=581718 tps=100 nb_sec=5817
case_no=143 label=Case6.131 nb_sol=0 ticks=801575 tps=100 nb_sec=8015
case_no=143 label=Case6.131 nb_sol=0 ticks=720608 tps=100 nb_sec=7206
case_no=143 label=Case6.131 nb_sol=0 ticks=569588 tps=100 nb_sec=5695
case_no=143 label=Case6.131 nb_sol=0 ticks=765113 tps=100 nb_sec=7651
case_no=143 label=Case6.131 nb_sol=0 ticks=645942 tps=100 nb_sec=6459
case_no=143 label=Case6.131 nb_sol=0 ticks=688301 tps=100 nb_sec=6883
case_no=143 label=Case6.131 nb_sol=0 ticks=851652 tps=100 nb_sec=8516
case_no=143 label=Case6.131 nb_sol=0 ticks=612484 tps=100 nb_sec=6124
case_no=143 label=Case6.131 nb_sol=0 ticks=654607 tps=100 nb_sec=6546
case_no=143 label=Case6.131 nb_sol=0 ticks=593765 tps=100 nb_sec=5937
case_no=143 label=Case6.131 nb_sol=0 ticks=672519 tps=100 nb_sec=6725
case_no=143 label=Case6.131 nb_sol=0 ticks=418374 tps=100 nb_sec=4183
case_no=143 label=Case6.131 nb_sol=0 ticks=576859 tps=100 nb_sec=5768
case_no=143 label=Case6.131 nb_sol=0 ticks=711144 tps=100 nb_sec=7111
case_no=143 label=Case6.131 nb_sol=0 ticks=539067 tps=100 nb_sec=5390
case_no=143 label=Case6.131 nb_sol=0 ticks=598657 tps=100 nb_sec=5986
case_no=143 label=Case6.131 nb_sol=0 ticks=442154 tps=100 nb_sec=4421
case_no=143 label=Case6.131 nb_sol=0 ticks=575619 tps=100 nb_sec=5756
case_no=143 label=Case6.131 nb_sol=0 ticks=559523 tps=100 nb_sec=5595
case_no=143 label=Case6.131 nb_sol=0 ticks=788352 tps=100 nb_sec=7883
case_no=143 label=Case6.131 nb_sol=0 ticks=519006 tps=100 nb_sec=5190
case_no=143 label=Case6.131 nb_sol=0 ticks=605653 tps=100 nb_sec=6056
case_no=143 label=Case6.131 nb_sol=0 ticks=655720 tps=100 nb_sec=6557
case_no=143 label=Case6.131 nb_sol=0 ticks=579334 tps=100 nb_sec=5793
case_no=143 label=Case6.131 nb_sol=0 ticks=562023 tps=100 nb_sec=5620
case_no=143 label=Case6.131 nb_sol=0 ticks=767165 tps=100 nb_sec=7671
case_no=143 label=Case6.131 nb_sol=0 ticks=627116 tps=100 nb_sec=6271
case_no=143 label=Case6.131 nb_sol=0 ticks=620498 tps=100 nb_sec=6204
case_no=143 label=Case6.131 nb_sol=0 ticks=473913 tps=100 nb_sec=4739
case_no=143 label=Case6.131 nb_sol=0 ticks=777695 tps=100 nb_sec=7776
case_no=143 label=Case6.131 nb_sol=0 ticks=727235 tps=100 nb_sec=7272
case_no=143 label=Case6.131 nb_sol=0 ticks=766453 tps=100 nb_sec=7664
case_no=143 label=Case6.131 nb_sol=0 ticks=552616 tps=100 nb_sec=5526
case_no=143 label=Case6.131 nb_sol=0 ticks=634513 tps=100 nb_sec=6345
case_no=143 label=Case6.131 nb_sol=0 ticks=511621 tps=100 nb_sec=5116
case_no=143 label=Case6.131 nb_sol=0 ticks=904426 tps=100 nb_sec=9044
case_no=143 label=Case6.131 nb_sol=0 ticks=721793 tps=100 nb_sec=7217
case_no=143 label=Case6.131 nb_sol=0 ticks=606960 tps=100 nb_sec=6069
case_no=143 label=Case6.131 nb_sol=0 ticks=670478 tps=100 nb_sec=6704
case_no=143 label=Case6.131 nb_sol=0 ticks=926532 tps=100 nb_sec=9265
case_no=143 label=Case6.131 nb_sol=0 ticks=366634 tps=100 nb_sec=3666
case_no=143 label=Case6.131 nb_sol=0 ticks=785672 tps=100 nb_sec=7856
case_no=143 label=Case6.131 nb_sol=0 ticks=601675 tps=100 nb_sec=6016
case_no=143 label=Case6.131 nb_sol=0 ticks=971656 tps=100 nb_sec=9716
case_no=143 label=Case6.131 nb_sol=0 ticks=693521 tps=100 nb_sec=6935
case_no=143 label=Case6.131 nb_sol=0 ticks=980388 tps=100 nb_sec=9803
case_no=143 label=Case6.131 nb_sol=0 ticks=783554 tps=100 nb_sec=7835
case_no=143 label=Case6.131 nb_sol=0 ticks=717651 tps=100 nb_sec=7176
case_no=143 label=Case6.131 nb_sol=0 ticks=839648 tps=100 nb_sec=8396
case_no=143 label=Case6.131 nb_sol=0 ticks=638387 tps=100 nb_sec=6383
case_no=143 label=Case6.131 nb_sol=0 ticks=534422 tps=100 nb_sec=5344
case_no=143 label=Case6.131 nb_sol=0 ticks=692781 tps=100 nb_sec=6927
case_no=143 label=Case6.131 nb_sol=0 ticks=555178 tps=100 nb_sec=5551
case_no=143 label=Case6.131 nb_sol=0 ticks=665337 tps=100 nb_sec=6653
case_no=143 label=Case6.131 nb_sol=0 ticks=460913 tps=100 nb_sec=4609
case_no=143 label=Case6.131 nb_sol=0 ticks=535528 tps=100 nb_sec=5355
case_no=143 label=Case6.131 nb_sol=0 ticks=597350 tps=100 nb_sec=5973
case_no=143 label=Case6.131 nb_sol=0 ticks=723498 tps=100 nb_sec=7234
case_no=143 label=Case6.131 nb_sol=0 ticks=523421 tps=100 nb_sec=5234
case_no=143 label=Case6.131 nb_sol=0 ticks=688677 tps=100 nb_sec=6886
case_no=143 label=Case6.131 nb_sol=0 ticks=658923 tps=100 nb_sec=6589
case_no=143 label=Case6.131 nb_sol=0 ticks=496044 tps=100 nb_sec=4960
case_no=143 label=Case6.131 nb_sol=0 ticks=711596 tps=100 nb_sec=7115
case_no=143 label=Case6.131 nb_sol=0 ticks=640720 tps=100 nb_sec=6407
case_no=143 label=Case6.131 nb_sol=0 ticks=602400 tps=100 nb_sec=6024
case_no=143 label=Case6.131 nb_sol=0 ticks=1007433 tps=100 nb_sec=10074
case_no=143 label=Case6.131 nb_sol=0 ticks=588472 tps=100 nb_sec=5884
case_no=143 label=Case6.131 nb_sol=0 ticks=727564 tps=100 nb_sec=7275
case_no=143 label=Case6.131 nb_sol=0 ticks=796533 tps=100 nb_sec=7965
case_no=143 label=Case6.131 nb_sol=0 ticks=668459 tps=100 nb_sec=6684
case_no=143 label=Case6.131 nb_sol=0 ticks=645169 tps=100 nb_sec=6451
case_no=143 label=Case6.131 nb_sol=0 ticks=520069 tps=100 nb_sec=5200
case_no=143 label=Case6.131 nb_sol=0 ticks=522008 tps=100 nb_sec=5220
case_no=143 label=Case6.131 nb_sol=0 ticks=416067 tps=100 nb_sec=4160
case_no=143 label=Case6.131 nb_sol=0 ticks=576217 tps=100 nb_sec=5762
case_no=143 label=Case6.131 nb_sol=0 ticks=916073 tps=100 nb_sec=9160
case_no=143 label=Case6.131 nb_sol=0 ticks=680495 tps=100 nb_sec=6804
case_no=143 label=Case6.131 nb_sol=0 ticks=576946 tps=100 nb_sec=5769
case_no=143 label=Case6.131 nb_sol=0 ticks=657723 tps=100 nb_sec=6577
case_no=143 label=Case6.131 nb_sol=0 ticks=825982 tps=100 nb_sec=8259
case_no=143 label=Case6.131 nb_sol=0 ticks=502034 tps=100 nb_sec=5020
case_no=143 label=Case6.131 nb_sol=0 ticks=949947 tps=100 nb_sec=9499
case_no=143 label=Case6.131 nb_sol=0 ticks=535390 tps=100 nb_sec=5353
case_no=143 label=Case6.131 nb_sol=0 ticks=772237 tps=100 nb_sec=7722
case_no=143 label=Case6.131 nb_sol=0 ticks=491986 tps=100 nb_sec=4919
case_no=143 label=Case6.131 nb_sol=0 ticks=569960 tps=100 nb_sec=5699
case_no=143 label=Case6.131 nb_sol=0 ticks=717213 tps=100 nb_sec=7172
case_no=143 label=Case6.131 nb_sol=0 ticks=644702 tps=100 nb_sec=6447
case_no=143 label=Case6.131 nb_sol=0 ticks=550414 tps=100 nb_sec=5504
case_no=143 label=Case6.131 nb_sol=0 ticks=716507 tps=100 nb_sec=7165
case_no=143 label=Case6.131 nb_sol=0 ticks=717326 tps=100 nb_sec=7173
case_no=143 label=Case6.131 nb_sol=0 ticks=638876 tps=100 nb_sec=6388
case_no=143 label=Case6.131 nb_sol=0 ticks=718025 tps=100 nb_sec=7180
case_no=143 label=Case6.131 nb_sol=0 ticks=588485 tps=100 nb_sec=5884
case_no=143 label=Case6.131 nb_sol=0 ticks=668325 tps=100 nb_sec=6683
case_no=143 label=Case6.131 nb_sol=0 ticks=756988 tps=100 nb_sec=7569
case_no=143 label=Case6.131 nb_sol=0 ticks=594910 tps=100 nb_sec=5949
case_no=143 label=Case6.131 nb_sol=0 ticks=655316 tps=100 nb_sec=6553
case_no=143 label=Case6.131 nb_sol=0 ticks=658805 tps=100 nb_sec=6588
case_no=143 label=Case6.131 nb_sol=0 ticks=697220 tps=100 nb_sec=6972
case_no=143 label=Case6.131 nb_sol=0 ticks=612937 tps=100 nb_sec=6129
case_no=143 label=Case6.131 nb_sol=0 ticks=689589 tps=100 nb_sec=6895
case_no=143 label=Case6.131 nb_sol=0 ticks=487350 tps=100 nb_sec=4873
case_no=143 label=Case6.131 nb_sol=0 ticks=608403 tps=100 nb_sec=6084
case_no=143 label=Case6.131 nb_sol=0 ticks=494029 tps=100 nb_sec=4940
case_no=143 label=Case6.131 nb_sol=0 ticks=658572 tps=100 nb_sec=6585
case_no=143 label=Case6.131 nb_sol=0 ticks=684357 tps=100 nb_sec=6843
case_no=143 label=Case6.131 nb_sol=0 ticks=820944 tps=100 nb_sec=8209
case_no=143 label=Case6.131 nb_sol=0 ticks=560761 tps=100 nb_sec=5607
case_no=143 label=Case6.131 nb_sol=0 ticks=565827 tps=100 nb_sec=5658
case_no=143 label=Case6.131 nb_sol=0 ticks=546851 tps=100 nb_sec=5468
case_no=143 label=Case6.131 nb_sol=0 ticks=661101 tps=100 nb_sec=6611
case_no=143 label=Case6.131 nb_sol=0 ticks=542438 tps=100 nb_sec=5424
case_no=143 label=Case6.131 nb_sol=0 ticks=697810 tps=100 nb_sec=6978
case_no=143 label=Case6.131 nb_sol=0 ticks=408195 tps=100 nb_sec=4081
case_no=143 label=Case6.131 nb_sol=0 ticks=662205 tps=100 nb_sec=6622
case_no=143 label=Case6.131 nb_sol=0 ticks=697034 tps=100 nb_sec=6970
case_no=143 label=Case6.131 nb_sol=0 ticks=730001 tps=100 nb_sec=7300
case_no=143 label=Case6.131 nb_sol=0 ticks=717280 tps=100 nb_sec=7172
case_no=143 label=Case6.131 nb_sol=0 ticks=850613 tps=100 nb_sec=8506
case_no=143 label=Case6.131 nb_sol=0 ticks=693785 tps=100 nb_sec=6937
case_no=143 label=Case6.131 nb_sol=0 ticks=775067 tps=100 nb_sec=7750
case_no=143 label=Case6.131 nb_sol=0 ticks=909916 tps=100 nb_sec=9099
case_no=143 label=Case6.131 nb_sol=0 ticks=656787 tps=100 nb_sec=6567
case_no=143 label=Case6.131 nb_sol=0 ticks=800538 tps=100 nb_sec=8005
case_no=143 label=Case6.131 nb_sol=0 ticks=817958 tps=100 nb_sec=8179
case_no=143 label=Case6.131 nb_sol=0 ticks=500124 tps=100 nb_sec=5001
case_no=143 label=Case6.131 nb_sol=0 ticks=834199 tps=100 nb_sec=8341
case_no=143 label=Case6.131 nb_sol=0 ticks=902691 tps=100 nb_sec=9026
case_no=143 label=Case6.131 nb_sol=0 ticks=717673 tps=100 nb_sec=7176
case_no=143 label=Case6.131 nb_sol=0 ticks=973417 tps=100 nb_sec=9734
case_no=143 label=Case6.131 nb_sol=0 ticks=916523 tps=100 nb_sec=9165
case_no=143 label=Case6.131 nb_sol=0 ticks=682610 tps=100 nb_sec=6826
case_no=143 label=Case6.131 nb_sol=0 ticks=590097 tps=100 nb_sec=5900
case_no=143 label=Case6.131 nb_sol=0 ticks=935338 tps=100 nb_sec=9353
case_no=143 label=Case6.131 nb_sol=0 ticks=810522 tps=100 nb_sec=8105
case_no=143 label=Case6.131 nb_sol=0 ticks=1017348 tps=100 nb_sec=10173
case_no=143 label=Case6.131 nb_sol=0 ticks=562270 tps=100 nb_sec=5622
case_no=143 label=Case6.131 nb_sol=0 ticks=947409 tps=100 nb_sec=9474
case_no=143 label=Case6.131 nb_sol=0 ticks=513759 tps=100 nb_sec=5137
case_no=143 label=Case6.131 nb_sol=0 ticks=660919 tps=100 nb_sec=6609
case_no=143 label=Case6.131 nb_sol=0 ticks=535416 tps=100 nb_sec=5354
case_no=143 label=Case6.131 nb_sol=0 ticks=503584 tps=100 nb_sec=5035
case_no=143 label=Case6.131 nb_sol=0 ticks=697037 tps=100 nb_sec=6970
case_no=143 label=Case6.131 nb_sol=0 ticks=640610 tps=100 nb_sec=6406
case_no=143 label=Case6.131 nb_sol=0 ticks=611915 tps=100 nb_sec=6119
case_no=143 label=Case6.131 nb_sol=0 ticks=825385 tps=100 nb_sec=8253
case_no=143 label=Case6.131 nb_sol=0 ticks=782266 tps=100 nb_sec=7822
case_no=143 label=Case6.131 nb_sol=0 ticks=869559 tps=100 nb_sec=8695
case_no=143 label=Case6.131 nb_sol=0 ticks=701305 tps=100 nb_sec=7013
case_no=143 label=Case6.131 nb_sol=0 ticks=644855 tps=100 nb_sec=6448
case_no=143 label=Case6.131 nb_sol=0 ticks=604189 tps=100 nb_sec=6041
case_no=143 label=Case6.131 nb_sol=0 ticks=532415 tps=100 nb_sec=5324
case_no=143 label=Case6.131 nb_sol=0 ticks=651370 tps=100 nb_sec=6513
case_no=143 label=Case6.131 nb_sol=0 ticks=494861 tps=100 nb_sec=4948
case_no=143 label=Case6.131 nb_sol=0 ticks=518527 tps=100 nb_sec=5185
case_no=143 label=Case6.131 nb_sol=0 ticks=442008 tps=100 nb_sec=4420
case_no=143 label=Case6.131 nb_sol=0 ticks=756509 tps=100 nb_sec=7565
case_no=143 label=Case6.131 nb_sol=0 ticks=520115 tps=100 nb_sec=5201
case_no=143 label=Case6.131 nb_sol=0 ticks=806061 tps=100 nb_sec=8060
case_no=143 label=Case6.131 nb_sol=0 ticks=703565 tps=100 nb_sec=7035
case_no=143 label=Case6.131 nb_sol=0 ticks=737010 tps=100 nb_sec=7370
case_no=143 label=Case6.131 nb_sol=0 ticks=858867 tps=100 nb_sec=8588
case_no=143 label=Case6.131 nb_sol=0 ticks=885748 tps=100 nb_sec=8857
case_no=143 label=Case6.131 nb_sol=0 ticks=1058113 tps=100 nb_sec=10581
case_no=143 label=Case6.131 nb_sol=0 ticks=792963 tps=100 nb_sec=7929
case_no=143 label=Case6.131 nb_sol=0 ticks=1134329 tps=100 nb_sec=11343
case_no=143 label=Case6.131 nb_sol=0 ticks=963721 tps=100 nb_sec=9637
case_no=143 label=Case6.131 nb_sol=0 ticks=655254 tps=100 nb_sec=6552
case_no=143 label=Case6.131 nb_sol=0 ticks=672431 tps=100 nb_sec=6724
case_no=143 label=Case6.131 nb_sol=0 ticks=551784 tps=100 nb_sec=5517
case_no=143 label=Case6.131 nb_sol=0 ticks=681054 tps=100 nb_sec=6810
case_no=143 label=Case6.131 nb_sol=0 ticks=629417 tps=100 nb_sec=6294
case_no=143 label=Case6.131 nb_sol=0 ticks=793006 tps=100 nb_sec=7930
case_no=143 label=Case6.131 nb_sol=0 ticks=524732 tps=100 nb_sec=5247
case_no=143 label=Case6.131 nb_sol=0 ticks=522590 tps=100 nb_sec=5225
case_no=143 label=Case6.131 nb_sol=0 ticks=830684 tps=100 nb_sec=8306
case_no=143 label=Case6.131 nb_sol=0 ticks=535815 tps=100 nb_sec=5358
case_no=143 label=Case6.131 nb_sol=0 ticks=729834 tps=100 nb_sec=7298
case_no=143 label=Case6.131 nb_sol=0 ticks=560445 tps=100 nb_sec=5604
case_no=143 label=Case6.131 nb_sol=0 ticks=755493 tps=100 nb_sec=7554
case_no=143 label=Case6.131 nb_sol=0 ticks=463399 tps=100 nb_sec=4633
case_no=143 label=Case6.131 nb_sol=0 ticks=413203 tps=100 nb_sec=4132
case_no=143 label=Case6.131 nb_sol=0 ticks=556562 tps=100 nb_sec=5565
case_no=143 label=Case6.131 nb_sol=0 ticks=533744 tps=100 nb_sec=5337
case_no=143 label=Case6.131 nb_sol=0 ticks=512228 tps=100 nb_sec=5122
case_no=143 label=Case6.131 nb_sol=0 ticks=631011 tps=100 nb_sec=6310
case_no=143 label=Case6.131 nb_sol=0 ticks=549289 tps=100 nb_sec=5492
case_no=143 label=Case6.131 nb_sol=0 ticks=539308 tps=100 nb_sec=5393
case_no=143 label=Case6.131 nb_sol=0 ticks=475666 tps=100 nb_sec=4756
case_no=143 label=Case6.131 nb_sol=0 ticks=574842 tps=100 nb_sec=5748
case_no=143 label=Case6.131 nb_sol=0 ticks=639014 tps=100 nb_sec=6390
case_no=143 label=Case6.131 nb_sol=0 ticks=606898 tps=100 nb_sec=6068
case_no=143 label=Case6.131 nb_sol=0 ticks=520715 tps=100 nb_sec=5207
case_no=143 label=Case6.131 nb_sol=0 ticks=631030 tps=100 nb_sec=6310
case_no=143 label=Case6.131 nb_sol=0 ticks=441613 tps=100 nb_sec=4416
case_no=143 label=Case6.131 nb_sol=0 ticks=629838 tps=100 nb_sec=6298
case_no=143 label=Case6.131 nb_sol=0 ticks=575872 tps=100 nb_sec=5758
case_no=143 label=Case6.131 nb_sol=0 ticks=832058 tps=100 nb_sec=8320
case_no=143 label=Case6.131 nb_sol=0 ticks=544313 tps=100 nb_sec=5443
case_no=143 label=Case6.131 nb_sol=0 ticks=763232 tps=100 nb_sec=7632
case_no=143 label=Case6.131 nb_sol=0 ticks=591217 tps=100 nb_sec=5912
case_no=143 label=Case6.131 nb_sol=0 ticks=521630 tps=100 nb_sec=5216
case_no=143 label=Case6.131 nb_sol=0 ticks=838162 tps=100 nb_sec=8381
case_no=143 label=Case6.131 nb_sol=0 ticks=479330 tps=100 nb_sec=4793
case_no=143 label=Case6.131 nb_sol=0 ticks=617504 tps=100 nb_sec=6175
case_no=143 label=Case6.131 nb_sol=0 ticks=566462 tps=100 nb_sec=5664
case_no=143 label=Case6.131 nb_sol=0 ticks=744318 tps=100 nb_sec=7443
case_no=143 label=Case6.131 nb_sol=0 ticks=507585 tps=100 nb_sec=5075
case_no=143 label=Case6.131 nb_sol=0 ticks=695139 tps=100 nb_sec=6951
case_no=143 label=Case6.131 nb_sol=0 ticks=530779 tps=100 nb_sec=5307
case_no=143 label=Case6.131 nb_sol=0 ticks=606777 tps=100 nb_sec=6067
case_no=143 label=Case6.131 nb_sol=0 ticks=539937 tps=100 nb_sec=5399
case_no=143 label=Case6.131 nb_sol=0 ticks=696431 tps=100 nb_sec=6964
case_no=143 label=Case6.131 nb_sol=0 ticks=519226 tps=100 nb_sec=5192
case_no=143 label=Case6.131 nb_sol=0 ticks=682647 tps=100 nb_sec=6826
case_no=143 label=Case6.131 nb_sol=0 ticks=502144 tps=100 nb_sec=5021
case_no=143 label=Case6.131 nb_sol=0 ticks=793140 tps=100 nb_sec=7931
case_no=143 label=Case6.131 nb_sol=0 ticks=599035 tps=100 nb_sec=5990
case_no=143 label=Case6.131 nb_sol=0 ticks=606444 tps=100 nb_sec=6064
case_no=143 label=Case6.131 nb_sol=0 ticks=621288 tps=100 nb_sec=6212
case_no=143 label=Case6.131 nb_sol=0 ticks=607752 tps=100 nb_sec=6077
case_no=143 label=Case6.131 nb_sol=0 ticks=544775 tps=100 nb_sec=5447
case_no=143 label=Case6.131 nb_sol=0 ticks=664057 tps=100 nb_sec=6640
case_no=143 label=Case6.131 nb_sol=0 ticks=531367 tps=100 nb_sec=5313
case_no=143 label=Case6.131 nb_sol=0 ticks=721747 tps=100 nb_sec=7217
case_no=143 label=Case6.131 nb_sol=0 ticks=565834 tps=100 nb_sec=5658
case_no=143 label=Case6.131 nb_sol=0 ticks=480010 tps=100 nb_sec=4800
case_no=143 label=Case6.131 nb_sol=0 ticks=426864 tps=100 nb_sec=4268
case_no=143 label=Case6.131 nb_sol=0 ticks=571422 tps=100 nb_sec=5714
case_no=143 label=Case6.131 nb_sol=0 ticks=369364 tps=100 nb_sec=3693
case_no=143 label=Case6.131 nb_sol=0 ticks=641918 tps=100 nb_sec=6419
case_no=143 label=Case6.131 nb_sol=0 ticks=519870 tps=100 nb_sec=5198
case_no=143 label=Case6.131 nb_sol=0 ticks=536819 tps=100 nb_sec=5368
case_no=143 label=Case6.131 nb_sol=0 ticks=533794 tps=100 nb_sec=5337
case_no=143 label=Case6.131 nb_sol=0 ticks=815138 tps=100 nb_sec=8151
case_no=143 label=Case6.131 nb_sol=0 ticks=684984 tps=100 nb_sec=6849
case_no=143 label=Case6.131 nb_sol=0 ticks=695971 tps=100 nb_sec=6959
case_no=143 label=Case6.131 nb_sol=0 ticks=599152 tps=100 nb_sec=5991
case_no=143 label=Case6.131 nb_sol=0 ticks=689465 tps=100 nb_sec=6894
case_no=143 label=Case6.131 nb_sol=0 ticks=493982 tps=100 nb_sec=4939
case_no=143 label=Case6.131 nb_sol=0 ticks=726197 tps=100 nb_sec=7261
case_no=143 label=Case6.131 nb_sol=0 ticks=592908 tps=100 nb_sec=5929
case_no=143 label=Case6.131 nb_sol=0 ticks=583190 tps=100 nb_sec=5831
case_no=143 label=Case6.131 nb_sol=0 ticks=541509 tps=100 nb_sec=5415
case_no=143 label=Case6.131 nb_sol=0 ticks=590078 tps=100 nb_sec=5900
case_no=143 label=Case6.131 nb_sol=0 ticks=642348 tps=100 nb_sec=6423
case_no=143 label=Case6.131 nb_sol=0 ticks=636872 tps=100 nb_sec=6368
case_no=143 label=Case6.131 nb_sol=0 ticks=674590 tps=100 nb_sec=6745
case_no=143 label=Case6.131 nb_sol=0 ticks=694786 tps=100 nb_sec=6947
case_no=143 label=Case6.131 nb_sol=0 ticks=730331 tps=100 nb_sec=7303
case_no=143 label=Case6.131 nb_sol=0 ticks=676818 tps=100 nb_sec=6768
case_no=143 label=Case6.131 nb_sol=0 ticks=848242 tps=100 nb_sec=8482
case_no=143 label=Case6.131 nb_sol=0 ticks=675853 tps=100 nb_sec=6758
case_no=143 label=Case6.131 nb_sol=0 ticks=710137 tps=100 nb_sec=7101
case_no=143 label=Case6.131 nb_sol=0 ticks=633238 tps=100 nb_sec=6332
case_no=143 label=Case6.131 nb_sol=0 ticks=704328 tps=100 nb_sec=7043
case_no=143 label=Case6.131 nb_sol=0 ticks=695179 tps=100 nb_sec=6951
case_no=143 label=Case6.131 nb_sol=0 ticks=581973 tps=100 nb_sec=5819
case_no=143 label=Case6.131 nb_sol=0 ticks=729870 tps=100 nb_sec=7298
case_no=143 label=Case6.131 nb_sol=0 ticks=577587 tps=100 nb_sec=5775
case_no=143 label=Case6.131 nb_sol=0 ticks=642732 tps=100 nb_sec=6427
case_no=143 label=Case6.131 nb_sol=0 ticks=674581 tps=100 nb_sec=6745
case_no=143 label=Case6.131 nb_sol=0 ticks=809154 tps=100 nb_sec=8091
case_no=143 label=Case6.131 nb_sol=0 ticks=592131 tps=100 nb_sec=5921
case_no=143 label=Case6.131 nb_sol=0 ticks=662754 tps=100 nb_sec=6627
case_no=143 label=Case6.131 nb_sol=0 ticks=611841 tps=100 nb_sec=6118
case_no=143 label=Case6.131 nb_sol=0 ticks=731537 tps=100 nb_sec=7315
case_no=143 label=Case6.131 nb_sol=0 ticks=608734 tps=100 nb_sec=6087
case_no=143 label=Case6.131 nb_sol=0 ticks=701522 tps=100 nb_sec=7015
case_no=143 label=Case6.131 nb_sol=0 ticks=419051 tps=100 nb_sec=4190
case_no=143 label=Case6.131 nb_sol=0 ticks=711075 tps=100 nb_sec=7110
case_no=143 label=Case6.131 nb_sol=0 ticks=607056 tps=100 nb_sec=6070
case_no=143 label=Case6.131 nb_sol=0 ticks=582214 tps=100 nb_sec=5822
case_no=143 label=Case6.131 nb_sol=0 ticks=481345 tps=100 nb_sec=4813
case_no=143 label=Case6.131 nb_sol=0 ticks=576956 tps=100 nb_sec=5769
case_no=143 label=Case6.131 nb_sol=0 ticks=390307 tps=100 nb_sec=3903
case_no=143 label=Case6.131 nb_sol=0 ticks=616655 tps=100 nb_sec=6166
case_no=143 label=Case6.131 nb_sol=0 ticks=649303 tps=100 nb_sec=6493
case_no=143 label=Case6.131 nb_sol=0 ticks=630452 tps=100 nb_sec=6304
case_no=143 label=Case6.131 nb_sol=0 ticks=380910 tps=100 nb_sec=3809
case_no=143 label=Case6.131 nb_sol=0 ticks=600833 tps=100 nb_sec=6008
case_no=143 label=Case6.131 nb_sol=0 ticks=510489 tps=100 nb_sec=5104
case_no=143 label=Case6.131 nb_sol=0 ticks=595418 tps=100 nb_sec=5954
case_no=143 label=Case6.131 nb_sol=0 ticks=501761 tps=100 nb_sec=5017
case_no=143 label=Case6.131 nb_sol=0 ticks=522764 tps=100 nb_sec=5227
case_no=143 label=Case6.131 nb_sol=0 ticks=428175 tps=100 nb_sec=4281
case_no=143 label=Case6.131 nb_sol=0 ticks=464645 tps=100 nb_sec=4646
case_no=143 label=Case6.131 nb_sol=0 ticks=521522 tps=100 nb_sec=5215
case_no=143 label=Case6.131 nb_sol=0 ticks=509844 tps=100 nb_sec=5098
case_no=143 label=Case6.131 nb_sol=0 ticks=549328 tps=100 nb_sec=5493
case_no=143 label=Case6.131 nb_sol=0 ticks=614703 tps=100 nb_sec=6147
case_no=143 label=Case6.131 nb_sol=0 ticks=595539 tps=100 nb_sec=5955
case_no=143 label=Case6.131 nb_sol=0 ticks=657212 tps=100 nb_sec=6572
case_no=143 label=Case6.131 nb_sol=0 ticks=487871 tps=100 nb_sec=4878
case_no=143 label=Case6.131 nb_sol=0 ticks=652877 tps=100 nb_sec=6528
case_no=143 label=Case6.131 nb_sol=0 ticks=583088 tps=100 nb_sec=5830
case_no=143 label=Case6.131 nb_sol=0 ticks=580208 tps=100 nb_sec=5802
case_no=143 label=Case6.131 nb_sol=0 ticks=584018 tps=100 nb_sec=5840
case_no=143 label=Case6.131 nb_sol=0 ticks=589556 tps=100 nb_sec=5895
case_no=143 label=Case6.131 nb_sol=0 ticks=565792 tps=100 nb_sec=5657
case_no=143 label=Case6.131 nb_sol=0 ticks=450411 tps=100 nb_sec=4504
case_no=143 label=Case6.131 nb_sol=0 ticks=528316 tps=100 nb_sec=5283
case_no=143 label=Case6.131 nb_sol=0 ticks=514195 tps=100 nb_sec=5141
case_no=143 label=Case6.131 nb_sol=0 ticks=647107 tps=100 nb_sec=6471
case_no=143 label=Case6.131 nb_sol=0 ticks=662819 tps=100 nb_sec=6628
case_no=143 label=Case6.131 nb_sol=0 ticks=630799 tps=100 nb_sec=6307
case_no=143 label=Case6.131 nb_sol=0 ticks=673812 tps=100 nb_sec=6738
case_no=143 label=Case6.131 nb_sol=0 ticks=618209 tps=100 nb_sec=6182
case_no=143 label=Case6.131 nb_sol=0 ticks=740621 tps=100 nb_sec=7406
case_no=143 label=Case6.131 nb_sol=0 ticks=492895 tps=100 nb_sec=4928
case_no=143 label=Case6.131 nb_sol=0 ticks=491931 tps=100 nb_sec=4919
case_no=143 label=Case6.131 nb_sol=0 ticks=569017 tps=100 nb_sec=5690
case_no=143 label=Case6.131 nb_sol=0 ticks=373834 tps=100 nb_sec=3738
case_no=143 label=Case6.131 nb_sol=0 ticks=725822 tps=100 nb_sec=7258
case_no=143 label=Case6.131 nb_sol=0 ticks=755700 tps=100 nb_sec=7557
case_no=143 label=Case6.131 nb_sol=0 ticks=548717 tps=100 nb_sec=5487
case_no=143 label=Case6.131 nb_sol=0 ticks=511843 tps=100 nb_sec=5118
case_no=143 label=Case6.131 nb_sol=0 ticks=429591 tps=100 nb_sec=4295
case_no=143 label=Case6.131 nb_sol=0 ticks=669049 tps=100 nb_sec=6690
case_no=143 label=Case6.131 nb_sol=0 ticks=813901 tps=100 nb_sec=8139
case_no=143 label=Case6.131 nb_sol=0 ticks=483988 tps=100 nb_sec=4839
case_no=143 label=Case6.131 nb_sol=0 ticks=607247 tps=100 nb_sec=6072
case_no=143 label=Case6.131 nb_sol=0 ticks=932918 tps=100 nb_sec=9329
case_no=143 label=Case6.131 nb_sol=0 ticks=756950 tps=100 nb_sec=7569
case_no=143 label=Case6.131 nb_sol=0 ticks=1213312 tps=100 nb_sec=12133
case_no=143 label=Case6.131 nb_sol=0 ticks=603441 tps=100 nb_sec=6034
case_no=143 label=Case6.131 nb_sol=0 ticks=769326 tps=100 nb_sec=7693
case_no=143 label=Case6.131 nb_sol=0 ticks=573212 tps=100 nb_sec=5732
case_no=143 label=Case6.131 nb_sol=0 ticks=635463 tps=100 nb_sec=6354
case_no=143 label=Case6.131 nb_sol=0 ticks=643078 tps=100 nb_sec=6430
case_no=143 label=Case6.131 nb_sol=0 ticks=805393 tps=100 nb_sec=8053
case_no=143 label=Case6.131 nb_sol=0 ticks=582532 tps=100 nb_sec=5825
case_no=143 label=Case6.131 nb_sol=0 ticks=957871 tps=100 nb_sec=9578
case_no=143 label=Case6.131 nb_sol=0 ticks=701137 tps=100 nb_sec=7011
case_no=143 label=Case6.131 nb_sol=0 ticks=981219 tps=100 nb_sec=9812
case_no=143 label=Case6.131 nb_sol=0 ticks=869653 tps=100 nb_sec=8696
case_no=143 label=Case6.131 nb_sol=0 ticks=929200 tps=100 nb_sec=9292
case_no=143 label=Case6.131 nb_sol=0 ticks=593802 tps=100 nb_sec=5938
case_no=143 label=Case6.131 nb_sol=0 ticks=717569 tps=100 nb_sec=7175
case_no=143 label=Case6.131 nb_sol=0 ticks=760965 tps=100 nb_sec=7609
case_no=143 label=Case6.131 nb_sol=0 ticks=757519 tps=100 nb_sec=7575
case_no=143 label=Case6.131 nb_sol=0 ticks=693369 tps=100 nb_sec=6933
case_no=143 label=Case6.131 nb_sol=0 ticks=533948 tps=100 nb_sec=5339
case_no=143 label=Case6.131 nb_sol=0 ticks=422189 tps=100 nb_sec=4221
case_no=143 label=Case6.131 nb_sol=0 ticks=820759 tps=100 nb_sec=8207
case_no=143 label=Case6.131 nb_sol=0 ticks=509331 tps=100 nb_sec=5093
case_no=143 label=Case6.131 nb_sol=0 ticks=857467 tps=100 nb_sec=8574
case_no=143 label=Case6.131 nb_sol=0 ticks=561620 tps=100 nb_sec=5616
case_no=143 label=Case6.131 nb_sol=0 ticks=572210 tps=100 nb_sec=5722
case_no=143 label=Case6.131 nb_sol=0 ticks=581074 tps=100 nb_sec=5810
case_no=143 label=Case6.131 nb_sol=0 ticks=701780 tps=100 nb_sec=7017
case_no=143 label=Case6.131 nb_sol=0 ticks=587509 tps=100 nb_sec=5875
case_no=143 label=Case6.131 nb_sol=0 ticks=563845 tps=100 nb_sec=5638
case_no=143 label=Case6.131 nb_sol=0 ticks=364101 tps=100 nb_sec=3641
case_no=143 label=Case6.131 nb_sol=0 ticks=780475 tps=100 nb_sec=7804
case_no=143 label=Case6.131 nb_sol=0 ticks=590174 tps=100 nb_sec=5901
case_no=143 label=Case6.131 nb_sol=0 ticks=598519 tps=100 nb_sec=5985
case_no=143 label=Case6.131 nb_sol=0 ticks=548945 tps=100 nb_sec=5489
case_no=143 label=Case6.131 nb_sol=0 ticks=642744 tps=100 nb_sec=6427
case_no=143 label=Case6.131 nb_sol=0 ticks=420076 tps=100 nb_sec=4200
case_no=143 label=Case6.131 nb_sol=0 ticks=521259 tps=100 nb_sec=5212
case_no=143 label=Case6.131 nb_sol=0 ticks=417649 tps=100 nb_sec=4176
case_no=143 label=Case6.131 nb_sol=0 ticks=820589 tps=100 nb_sec=8205
case_no=143 label=Case6.131 nb_sol=0 ticks=546594 tps=100 nb_sec=5465
case_no=143 label=Case6.131 nb_sol=0 ticks=552435 tps=100 nb_sec=5524
case_no=143 label=Case6.131 nb_sol=0 ticks=544976 tps=100 nb_sec=5449
case_no=143 label=Case6.131 nb_sol=0 ticks=692559 tps=100 nb_sec=6925
case_no=143 label=Case6.131 nb_sol=0 ticks=474266 tps=100 nb_sec=4742
case_no=143 label=Case6.131 nb_sol=0 ticks=890036 tps=100 nb_sec=8900
case_no=143 label=Case6.131 nb_sol=0 ticks=548146 tps=100 nb_sec=5481
case_no=143 label=Case6.131 nb_sol=0 ticks=597351 tps=100 nb_sec=5973
case_no=143 label=Case6.131 nb_sol=0 ticks=674145 tps=100 nb_sec=6741
case_no=143 label=Case6.131 nb_sol=0 ticks=661108 tps=100 nb_sec=6611
case_no=143 label=Case6.131 nb_sol=0 ticks=679646 tps=100 nb_sec=6796
case_no=143 label=Case6.131 nb_sol=0 ticks=934783 tps=100 nb_sec=9347
case_no=143 label=Case6.131 nb_sol=0 ticks=710904 tps=100 nb_sec=7109
case_no=143 label=Case6.131 nb_sol=0 ticks=649828 tps=100 nb_sec=6498
case_no=143 label=Case6.131 nb_sol=0 ticks=543033 tps=100 nb_sec=5430
case_no=143 label=Case6.131 nb_sol=0 ticks=687272 tps=100 nb_sec=6872
case_no=143 label=Case6.131 nb_sol=0 ticks=862806 tps=100 nb_sec=8628
case_no=143 label=Case6.131 nb_sol=0 ticks=831829 tps=100 nb_sec=8318
case_no=143 label=Case6.131 nb_sol=0 ticks=716700 tps=100 nb_sec=7167
case_no=143 label=Case6.131 nb_sol=0 ticks=699070 tps=100 nb_sec=6990
case_no=143 label=Case6.131 nb_sol=0 ticks=902468 tps=100 nb_sec=9024
case_no=143 label=Case6.131 nb_sol=0 ticks=752987 tps=100 nb_sec=7529
case_no=143 label=Case6.131 nb_sol=0 ticks=785653 tps=100 nb_sec=7856
case_no=143 label=Case6.131 nb_sol=0 ticks=781419 tps=100 nb_sec=7814
case_no=143 label=Case6.131 nb_sol=0 ticks=740756 tps=100 nb_sec=7407
case_no=143 label=Case6.131 nb_sol=0 ticks=625353 tps=100 nb_sec=6253
case_no=143 label=Case6.131 nb_sol=0 ticks=726887 tps=100 nb_sec=7268
case_no=143 label=Case6.131 nb_sol=0 ticks=798343 tps=100 nb_sec=7983
case_no=143 label=Case6.131 nb_sol=0 ticks=655180 tps=100 nb_sec=6551
case_no=143 label=Case6.131 nb_sol=0 ticks=782551 tps=100 nb_sec=7825
case_no=143 label=Case6.131 nb_sol=0 ticks=693592 tps=100 nb_sec=6935
case_no=143 label=Case6.131 nb_sol=0 ticks=675649 tps=100 nb_sec=6756
case_no=143 label=Case6.131 nb_sol=0 ticks=637246 tps=100 nb_sec=6372
case_no=143 label=Case6.131 nb_sol=0 ticks=797004 tps=100 nb_sec=7970
case_no=143 label=Case6.131 nb_sol=0 ticks=559538 tps=100 nb_sec=5595
case_no=143 label=Case6.131 nb_sol=0 ticks=586022 tps=100 nb_sec=5860
case_no=143 label=Case6.131 nb_sol=0 ticks=566512 tps=100 nb_sec=5665
case_no=143 label=Case6.131 nb_sol=0 ticks=558277 tps=100 nb_sec=5582
case_no=143 label=Case6.131 nb_sol=0 ticks=569920 tps=100 nb_sec=5699
case_no=143 label=Case6.131 nb_sol=0 ticks=448633 tps=100 nb_sec=4486
case_no=143 label=Case6.131 nb_sol=0 ticks=793056 tps=100 nb_sec=7930
case_no=143 label=Case6.131 nb_sol=0 ticks=561531 tps=100 nb_sec=5615
case_no=143 label=Case6.131 nb_sol=0 ticks=630796 tps=100 nb_sec=6307
case_no=143 label=Case6.131 nb_sol=0 ticks=667333 tps=100 nb_sec=6673
case_no=143 label=Case6.131 nb_sol=0 ticks=393479 tps=100 nb_sec=3934
case_no=143 label=Case6.131 nb_sol=0 ticks=568971 tps=100 nb_sec=5689
case_no=143 label=Case6.131 nb_sol=0 ticks=576101 tps=100 nb_sec=5761
case_no=143 label=Case6.131 nb_sol=0 ticks=509042 tps=100 nb_sec=5090
case_no=143 label=Case6.131 nb_sol=0 ticks=655492 tps=100 nb_sec=6554
case_no=143 label=Case6.131 nb_sol=0 ticks=621593 tps=100 nb_sec=6215
case_no=143 label=Case6.131 nb_sol=0 ticks=536775 tps=100 nb_sec=5367
case_no=143 label=Case6.131 nb_sol=0 ticks=548306 tps=100 nb_sec=5483
case_no=143 label=Case6.131 nb_sol=0 ticks=671608 tps=100 nb_sec=6716
case_no=143 label=Case6.131 nb_sol=0 ticks=615757 tps=100 nb_sec=6157
case_no=143 label=Case6.131 nb_sol=0 ticks=631069 tps=100 nb_sec=6310
case_no=143 label=Case6.131 nb_sol=0 ticks=601460 tps=100 nb_sec=6014
case_no=143 label=Case6.131 nb_sol=0 ticks=675297 tps=100 nb_sec=6752
case_no=143 label=Case6.131 nb_sol=0 ticks=634192 tps=100 nb_sec=6341
case_no=143 label=Case6.131 nb_sol=0 ticks=494604 tps=100 nb_sec=4946
case_no=143 label=Case6.131 nb_sol=0 ticks=486556 tps=100 nb_sec=4865
case_no=143 label=Case6.131 nb_sol=0 ticks=673577 tps=100 nb_sec=6735
case_no=143 label=Case6.131 nb_sol=0 ticks=468358 tps=100 nb_sec=4683
case_no=143 label=Case6.131 nb_sol=0 ticks=520149 tps=100 nb_sec=5201
case_no=143 label=Case6.131 nb_sol=0 ticks=533808 tps=100 nb_sec=5338
case_no=143 label=Case6.131 nb_sol=0 ticks=453157 tps=100 nb_sec=4531
case_no=143 label=Case6.131 nb_sol=0 ticks=528813 tps=100 nb_sec=5288
case_no=143 label=Case6.131 nb_sol=0 ticks=433946 tps=100 nb_sec=4339
case_no=143 label=Case6.131 nb_sol=0 ticks=462002 tps=100 nb_sec=4620
case_no=143 label=Case6.131 nb_sol=0 ticks=575474 tps=100 nb_sec=5754
case_no=143 label=Case6.131 nb_sol=0 ticks=480121 tps=100 nb_sec=4801
case_no=143 label=Case6.131 nb_sol=0 ticks=305782 tps=100 nb_sec=3057
case_no=143 label=Case6.131 nb_sol=0 ticks=593028 tps=100 nb_sec=5930
case_no=143 label=Case6.131 nb_sol=0 ticks=547017 tps=100 nb_sec=5470
case_no=143 label=Case6.131 nb_sol=0 ticks=733176 tps=100 nb_sec=7331
case_no=143 label=Case6.131 nb_sol=0 ticks=679298 tps=100 nb_sec=6792
case_no=143 label=Case6.131 nb_sol=0 ticks=778077 tps=100 nb_sec=7780
case_no=143 label=Case6.131 nb_sol=0 ticks=662965 tps=100 nb_sec=6629
case_no=143 label=Case6.131 nb_sol=0 ticks=499815 tps=100 nb_sec=4998
case_no=143 label=Case6.131 nb_sol=0 ticks=610274 tps=100 nb_sec=6102
case_no=143 label=Case6.131 nb_sol=0 ticks=680406 tps=100 nb_sec=6804
case_no=143 label=Case6.131 nb_sol=0 ticks=468501 tps=100 nb_sec=4685
case_no=143 label=Case6.131 nb_sol=0 ticks=783841 tps=100 nb_sec=7838
case_no=143 label=Case6.131 nb_sol=0 ticks=461422 tps=100 nb_sec=4614
case_no=143 label=Case6.131 nb_sol=0 ticks=596218 tps=100 nb_sec=5962
case_no=143 label=Case6.131 nb_sol=0 ticks=679545 tps=100 nb_sec=6795
case_no=143 label=Case6.131 nb_sol=0 ticks=597017 tps=100 nb_sec=5970
case_no=143 label=Case6.131 nb_sol=0 ticks=446780 tps=100 nb_sec=4467
case_no=143 label=Case6.131 nb_sol=0 ticks=680146 tps=100 nb_sec=6801
case_no=143 label=Case6.131 nb_sol=0 ticks=505350 tps=100 nb_sec=5053
case_no=143 label=Case6.131 nb_sol=0 ticks=687203 tps=100 nb_sec=6872
case_no=143 label=Case6.131 nb_sol=0 ticks=588115 tps=100 nb_sec=5881
case_no=143 label=Case6.131 nb_sol=0 ticks=538014 tps=100 nb_sec=5380
case_no=143 label=Case6.131 nb_sol=0 ticks=608874 tps=100 nb_sec=6088
case_no=143 label=Case6.131 nb_sol=0 ticks=437171 tps=100 nb_sec=4371
case_no=143 label=Case6.131 nb_sol=0 ticks=431705 tps=100 nb_sec=4317
case_no=143 label=Case6.131 nb_sol=0 ticks=532973 tps=100 nb_sec=5329
case_no=143 label=Case6.131 nb_sol=0 ticks=429142 tps=100 nb_sec=4291
case_no=143 label=Case6.131 nb_sol=0 ticks=616015 tps=100 nb_sec=6160
case_no=143 label=Case6.131 nb_sol=0 ticks=492482 tps=100 nb_sec=4924
case_no=143 label=Case6.131 nb_sol=0 ticks=526177 tps=100 nb_sec=5261
case_no=143 label=Case6.131 nb_sol=0 ticks=584415 tps=100 nb_sec=5844
case_no=143 label=Case6.131 nb_sol=0 ticks=594895 tps=100 nb_sec=5948
case_no=143 label=Case6.131 nb_sol=0 ticks=451386 tps=100 nb_sec=4513
case_no=143 label=Case6.131 nb_sol=0 ticks=564100 tps=100 nb_sec=5641
Nb_sol=0
Nb_sec=6513445
75-9:17:25 or 1809 hours
missing cases:
none