argc=5
-M 1024
file2=30_select_Case6.150_starter_15_
checking files mod 1024 from 0 to 1023
case_no=162 label=Case6.150 nb_sol=0 ticks=390965 tps=100 nb_sec=3909
case_no=162 label=Case6.150 nb_sol=0 ticks=541378 tps=100 nb_sec=5413
case_no=162 label=Case6.150 nb_sol=0 ticks=512746 tps=100 nb_sec=5127
case_no=162 label=Case6.150 nb_sol=0 ticks=494301 tps=100 nb_sec=4943
case_no=162 label=Case6.150 nb_sol=0 ticks=507456 tps=100 nb_sec=5074
case_no=162 label=Case6.150 nb_sol=0 ticks=447576 tps=100 nb_sec=4475
case_no=162 label=Case6.150 nb_sol=0 ticks=410011 tps=100 nb_sec=4100
case_no=162 label=Case6.150 nb_sol=0 ticks=438492 tps=100 nb_sec=4384
case_no=162 label=Case6.150 nb_sol=0 ticks=475234 tps=100 nb_sec=4752
case_no=162 label=Case6.150 nb_sol=0 ticks=362744 tps=100 nb_sec=3627
case_no=162 label=Case6.150 nb_sol=0 ticks=490402 tps=100 nb_sec=4904
case_no=162 label=Case6.150 nb_sol=0 ticks=711119 tps=100 nb_sec=7111
case_no=162 label=Case6.150 nb_sol=0 ticks=422521 tps=100 nb_sec=4225
case_no=162 label=Case6.150 nb_sol=0 ticks=675453 tps=100 nb_sec=6754
case_no=162 label=Case6.150 nb_sol=0 ticks=398252 tps=100 nb_sec=3982
case_no=162 label=Case6.150 nb_sol=0 ticks=636339 tps=100 nb_sec=6363
case_no=162 label=Case6.150 nb_sol=0 ticks=422616 tps=100 nb_sec=4226
case_no=162 label=Case6.150 nb_sol=0 ticks=602273 tps=100 nb_sec=6022
case_no=162 label=Case6.150 nb_sol=0 ticks=327575 tps=100 nb_sec=3275
case_no=162 label=Case6.150 nb_sol=0 ticks=507374 tps=100 nb_sec=5073
case_no=162 label=Case6.150 nb_sol=0 ticks=553886 tps=100 nb_sec=5538
case_no=162 label=Case6.150 nb_sol=0 ticks=493036 tps=100 nb_sec=4930
case_no=162 label=Case6.150 nb_sol=0 ticks=570697 tps=100 nb_sec=5706
case_no=162 label=Case6.150 nb_sol=0 ticks=565985 tps=100 nb_sec=5659
case_no=162 label=Case6.150 nb_sol=0 ticks=574725 tps=100 nb_sec=5747
case_no=162 label=Case6.150 nb_sol=0 ticks=613834 tps=100 nb_sec=6138
case_no=162 label=Case6.150 nb_sol=0 ticks=504181 tps=100 nb_sec=5041
case_no=162 label=Case6.150 nb_sol=0 ticks=615127 tps=100 nb_sec=6151
case_no=162 label=Case6.150 nb_sol=0 ticks=533183 tps=100 nb_sec=5331
case_no=162 label=Case6.150 nb_sol=0 ticks=397885 tps=100 nb_sec=3978
case_no=162 label=Case6.150 nb_sol=0 ticks=414036 tps=100 nb_sec=4140
case_no=162 label=Case6.150 nb_sol=0 ticks=377311 tps=100 nb_sec=3773
case_no=162 label=Case6.150 nb_sol=0 ticks=403172 tps=100 nb_sec=4031
case_no=162 label=Case6.150 nb_sol=0 ticks=436813 tps=100 nb_sec=4368
case_no=162 label=Case6.150 nb_sol=0 ticks=586417 tps=100 nb_sec=5864
case_no=162 label=Case6.150 nb_sol=0 ticks=528493 tps=100 nb_sec=5284
case_no=162 label=Case6.150 nb_sol=0 ticks=589222 tps=100 nb_sec=5892
case_no=162 label=Case6.150 nb_sol=0 ticks=452966 tps=100 nb_sec=4529
case_no=162 label=Case6.150 nb_sol=0 ticks=490638 tps=100 nb_sec=4906
case_no=162 label=Case6.150 nb_sol=0 ticks=529381 tps=100 nb_sec=5293
case_no=162 label=Case6.150 nb_sol=0 ticks=547864 tps=100 nb_sec=5478
case_no=162 label=Case6.150 nb_sol=0 ticks=507031 tps=100 nb_sec=5070
case_no=162 label=Case6.150 nb_sol=0 ticks=577916 tps=100 nb_sec=5779
case_no=162 label=Case6.150 nb_sol=0 ticks=563681 tps=100 nb_sec=5636
case_no=162 label=Case6.150 nb_sol=0 ticks=445581 tps=100 nb_sec=4455
case_no=162 label=Case6.150 nb_sol=0 ticks=517520 tps=100 nb_sec=5175
case_no=162 label=Case6.150 nb_sol=0 ticks=349467 tps=100 nb_sec=3494
case_no=162 label=Case6.150 nb_sol=0 ticks=752884 tps=100 nb_sec=7528
case_no=162 label=Case6.150 nb_sol=0 ticks=463410 tps=100 nb_sec=4634
case_no=162 label=Case6.150 nb_sol=0 ticks=786971 tps=100 nb_sec=7869
case_no=162 label=Case6.150 nb_sol=0 ticks=490021 tps=100 nb_sec=4900
case_no=162 label=Case6.150 nb_sol=0 ticks=453605 tps=100 nb_sec=4536
case_no=162 label=Case6.150 nb_sol=0 ticks=528635 tps=100 nb_sec=5286
case_no=162 label=Case6.150 nb_sol=0 ticks=479456 tps=100 nb_sec=4794
case_no=162 label=Case6.150 nb_sol=0 ticks=810625 tps=100 nb_sec=8106
case_no=162 label=Case6.150 nb_sol=0 ticks=683952 tps=100 nb_sec=6839
case_no=162 label=Case6.150 nb_sol=0 ticks=421970 tps=100 nb_sec=4219
case_no=162 label=Case6.150 nb_sol=0 ticks=457382 tps=100 nb_sec=4573
case_no=162 label=Case6.150 nb_sol=0 ticks=624596 tps=100 nb_sec=6245
case_no=162 label=Case6.150 nb_sol=0 ticks=417993 tps=100 nb_sec=4179
case_no=162 label=Case6.150 nb_sol=0 ticks=686876 tps=100 nb_sec=6868
case_no=162 label=Case6.150 nb_sol=0 ticks=437338 tps=100 nb_sec=4373
case_no=162 label=Case6.150 nb_sol=0 ticks=630431 tps=100 nb_sec=6304
case_no=162 label=Case6.150 nb_sol=0 ticks=354946 tps=100 nb_sec=3549
case_no=162 label=Case6.150 nb_sol=0 ticks=502192 tps=100 nb_sec=5021
case_no=162 label=Case6.150 nb_sol=0 ticks=525936 tps=100 nb_sec=5259
case_no=162 label=Case6.150 nb_sol=0 ticks=521748 tps=100 nb_sec=5217
case_no=162 label=Case6.150 nb_sol=0 ticks=546909 tps=100 nb_sec=5469
case_no=162 label=Case6.150 nb_sol=0 ticks=471788 tps=100 nb_sec=4717
case_no=162 label=Case6.150 nb_sol=0 ticks=640738 tps=100 nb_sec=6407
case_no=162 label=Case6.150 nb_sol=0 ticks=603362 tps=100 nb_sec=6033
case_no=162 label=Case6.150 nb_sol=0 ticks=591793 tps=100 nb_sec=5917
case_no=162 label=Case6.150 nb_sol=0 ticks=620180 tps=100 nb_sec=6201
case_no=162 label=Case6.150 nb_sol=0 ticks=590344 tps=100 nb_sec=5903
case_no=162 label=Case6.150 nb_sol=0 ticks=579094 tps=100 nb_sec=5790
case_no=162 label=Case6.150 nb_sol=0 ticks=502528 tps=100 nb_sec=5025
case_no=162 label=Case6.150 nb_sol=0 ticks=498817 tps=100 nb_sec=4988
case_no=162 label=Case6.150 nb_sol=0 ticks=759867 tps=100 nb_sec=7598
case_no=162 label=Case6.150 nb_sol=0 ticks=472039 tps=100 nb_sec=4720
case_no=162 label=Case6.150 nb_sol=0 ticks=530953 tps=100 nb_sec=5309
case_no=162 label=Case6.150 nb_sol=0 ticks=410540 tps=100 nb_sec=4105
case_no=162 label=Case6.150 nb_sol=0 ticks=461574 tps=100 nb_sec=4615
case_no=162 label=Case6.150 nb_sol=0 ticks=435684 tps=100 nb_sec=4356
case_no=162 label=Case6.150 nb_sol=0 ticks=411457 tps=100 nb_sec=4114
case_no=162 label=Case6.150 nb_sol=0 ticks=444505 tps=100 nb_sec=4445
case_no=162 label=Case6.150 nb_sol=0 ticks=471089 tps=100 nb_sec=4710
case_no=162 label=Case6.150 nb_sol=0 ticks=440811 tps=100 nb_sec=4408
case_no=162 label=Case6.150 nb_sol=0 ticks=427305 tps=100 nb_sec=4273
case_no=162 label=Case6.150 nb_sol=0 ticks=424709 tps=100 nb_sec=4247
case_no=162 label=Case6.150 nb_sol=0 ticks=480930 tps=100 nb_sec=4809
case_no=162 label=Case6.150 nb_sol=0 ticks=446387 tps=100 nb_sec=4463
case_no=162 label=Case6.150 nb_sol=0 ticks=389142 tps=100 nb_sec=3891
case_no=162 label=Case6.150 nb_sol=0 ticks=421464 tps=100 nb_sec=4214
case_no=162 label=Case6.150 nb_sol=0 ticks=333628 tps=100 nb_sec=3336
case_no=162 label=Case6.150 nb_sol=0 ticks=518739 tps=100 nb_sec=5187
case_no=162 label=Case6.150 nb_sol=0 ticks=472264 tps=100 nb_sec=4722
case_no=162 label=Case6.150 nb_sol=0 ticks=842963 tps=100 nb_sec=8429
case_no=162 label=Case6.150 nb_sol=0 ticks=565413 tps=100 nb_sec=5654
case_no=162 label=Case6.150 nb_sol=0 ticks=736372 tps=100 nb_sec=7363
case_no=162 label=Case6.150 nb_sol=0 ticks=570072 tps=100 nb_sec=5700
case_no=162 label=Case6.150 nb_sol=0 ticks=465401 tps=100 nb_sec=4654
case_no=162 label=Case6.150 nb_sol=0 ticks=394223 tps=100 nb_sec=3942
case_no=162 label=Case6.150 nb_sol=0 ticks=525151 tps=100 nb_sec=5251
case_no=162 label=Case6.150 nb_sol=0 ticks=446573 tps=100 nb_sec=4465
case_no=162 label=Case6.150 nb_sol=0 ticks=455523 tps=100 nb_sec=4555
case_no=162 label=Case6.150 nb_sol=0 ticks=431203 tps=100 nb_sec=4312
case_no=162 label=Case6.150 nb_sol=0 ticks=389233 tps=100 nb_sec=3892
case_no=162 label=Case6.150 nb_sol=0 ticks=395716 tps=100 nb_sec=3957
case_no=162 label=Case6.150 nb_sol=0 ticks=476846 tps=100 nb_sec=4768
case_no=162 label=Case6.150 nb_sol=0 ticks=426741 tps=100 nb_sec=4267
case_no=162 label=Case6.150 nb_sol=0 ticks=486037 tps=100 nb_sec=4860
case_no=162 label=Case6.150 nb_sol=0 ticks=406476 tps=100 nb_sec=4064
case_no=162 label=Case6.150 nb_sol=0 ticks=345976 tps=100 nb_sec=3459
case_no=162 label=Case6.150 nb_sol=0 ticks=478118 tps=100 nb_sec=4781
case_no=162 label=Case6.150 nb_sol=0 ticks=395260 tps=100 nb_sec=3952
case_no=162 label=Case6.150 nb_sol=0 ticks=436937 tps=100 nb_sec=4369
case_no=162 label=Case6.150 nb_sol=0 ticks=416577 tps=100 nb_sec=4165
case_no=162 label=Case6.150 nb_sol=0 ticks=396769 tps=100 nb_sec=3967
case_no=162 label=Case6.150 nb_sol=0 ticks=434253 tps=100 nb_sec=4342
case_no=162 label=Case6.150 nb_sol=0 ticks=381372 tps=100 nb_sec=3813
case_no=162 label=Case6.150 nb_sol=0 ticks=367851 tps=100 nb_sec=3678
case_no=162 label=Case6.150 nb_sol=0 ticks=592259 tps=100 nb_sec=5922
case_no=162 label=Case6.150 nb_sol=0 ticks=559373 tps=100 nb_sec=5593
case_no=162 label=Case6.150 nb_sol=0 ticks=417399 tps=100 nb_sec=4173
case_no=162 label=Case6.150 nb_sol=0 ticks=408966 tps=100 nb_sec=4089
case_no=162 label=Case6.150 nb_sol=0 ticks=446285 tps=100 nb_sec=4462
case_no=162 label=Case6.150 nb_sol=0 ticks=410531 tps=100 nb_sec=4105
case_no=162 label=Case6.150 nb_sol=0 ticks=402519 tps=100 nb_sec=4025
case_no=162 label=Case6.150 nb_sol=0 ticks=494071 tps=100 nb_sec=4940
case_no=162 label=Case6.150 nb_sol=0 ticks=428346 tps=100 nb_sec=4283
case_no=162 label=Case6.150 nb_sol=0 ticks=396785 tps=100 nb_sec=3967
case_no=162 label=Case6.150 nb_sol=0 ticks=551265 tps=100 nb_sec=5512
case_no=162 label=Case6.150 nb_sol=0 ticks=293230 tps=100 nb_sec=2932
case_no=162 label=Case6.150 nb_sol=0 ticks=349580 tps=100 nb_sec=3495
case_no=162 label=Case6.150 nb_sol=0 ticks=447497 tps=100 nb_sec=4474
case_no=162 label=Case6.150 nb_sol=0 ticks=656011 tps=100 nb_sec=6560
case_no=162 label=Case6.150 nb_sol=0 ticks=370931 tps=100 nb_sec=3709
case_no=162 label=Case6.150 nb_sol=0 ticks=394724 tps=100 nb_sec=3947
case_no=162 label=Case6.150 nb_sol=0 ticks=402276 tps=100 nb_sec=4022
case_no=162 label=Case6.150 nb_sol=0 ticks=419555 tps=100 nb_sec=4195
case_no=162 label=Case6.150 nb_sol=0 ticks=565216 tps=100 nb_sec=5652
case_no=162 label=Case6.150 nb_sol=0 ticks=488813 tps=100 nb_sec=4888
case_no=162 label=Case6.150 nb_sol=0 ticks=537977 tps=100 nb_sec=5379
case_no=162 label=Case6.150 nb_sol=0 ticks=443003 tps=100 nb_sec=4430
case_no=162 label=Case6.150 nb_sol=0 ticks=463385 tps=100 nb_sec=4633
case_no=162 label=Case6.150 nb_sol=0 ticks=460813 tps=100 nb_sec=4608
case_no=162 label=Case6.150 nb_sol=0 ticks=448417 tps=100 nb_sec=4484
case_no=162 label=Case6.150 nb_sol=0 ticks=499867 tps=100 nb_sec=4998
case_no=162 label=Case6.150 nb_sol=0 ticks=376864 tps=100 nb_sec=3768
case_no=162 label=Case6.150 nb_sol=0 ticks=533292 tps=100 nb_sec=5332
case_no=162 label=Case6.150 nb_sol=0 ticks=430884 tps=100 nb_sec=4308
case_no=162 label=Case6.150 nb_sol=0 ticks=465483 tps=100 nb_sec=4654
case_no=162 label=Case6.150 nb_sol=0 ticks=429208 tps=100 nb_sec=4292
case_no=162 label=Case6.150 nb_sol=0 ticks=415052 tps=100 nb_sec=4150
case_no=162 label=Case6.150 nb_sol=0 ticks=418406 tps=100 nb_sec=4184
case_no=162 label=Case6.150 nb_sol=0 ticks=484125 tps=100 nb_sec=4841
case_no=162 label=Case6.150 nb_sol=0 ticks=428844 tps=100 nb_sec=4288
case_no=162 label=Case6.150 nb_sol=0 ticks=430834 tps=100 nb_sec=4308
case_no=162 label=Case6.150 nb_sol=0 ticks=370641 tps=100 nb_sec=3706
case_no=162 label=Case6.150 nb_sol=0 ticks=794699 tps=100 nb_sec=7946
case_no=162 label=Case6.150 nb_sol=0 ticks=509956 tps=100 nb_sec=5099
case_no=162 label=Case6.150 nb_sol=0 ticks=777273 tps=100 nb_sec=7772
case_no=162 label=Case6.150 nb_sol=0 ticks=441826 tps=100 nb_sec=4418
case_no=162 label=Case6.150 nb_sol=0 ticks=417720 tps=100 nb_sec=4177
case_no=162 label=Case6.150 nb_sol=0 ticks=455393 tps=100 nb_sec=4553
case_no=162 label=Case6.150 nb_sol=0 ticks=559285 tps=100 nb_sec=5592
case_no=162 label=Case6.150 nb_sol=0 ticks=460468 tps=100 nb_sec=4604
case_no=162 label=Case6.150 nb_sol=0 ticks=664226 tps=100 nb_sec=6642
case_no=162 label=Case6.150 nb_sol=0 ticks=793875 tps=100 nb_sec=7938
case_no=162 label=Case6.150 nb_sol=0 ticks=518055 tps=100 nb_sec=5180
case_no=162 label=Case6.150 nb_sol=0 ticks=232418 tps=100 nb_sec=2324
case_no=162 label=Case6.150 nb_sol=0 ticks=642075 tps=100 nb_sec=6420
case_no=162 label=Case6.150 nb_sol=0 ticks=459901 tps=100 nb_sec=4599
case_no=162 label=Case6.150 nb_sol=0 ticks=365968 tps=100 nb_sec=3659
case_no=162 label=Case6.150 nb_sol=0 ticks=584030 tps=100 nb_sec=5840
case_no=162 label=Case6.150 nb_sol=0 ticks=481729 tps=100 nb_sec=4817
case_no=162 label=Case6.150 nb_sol=0 ticks=563757 tps=100 nb_sec=5637
case_no=162 label=Case6.150 nb_sol=0 ticks=390229 tps=100 nb_sec=3902
case_no=162 label=Case6.150 nb_sol=0 ticks=463609 tps=100 nb_sec=4636
case_no=162 label=Case6.150 nb_sol=0 ticks=402317 tps=100 nb_sec=4023
case_no=162 label=Case6.150 nb_sol=0 ticks=362773 tps=100 nb_sec=3627
case_no=162 label=Case6.150 nb_sol=0 ticks=447041 tps=100 nb_sec=4470
case_no=162 label=Case6.150 nb_sol=0 ticks=349883 tps=100 nb_sec=3498
case_no=162 label=Case6.150 nb_sol=0 ticks=710412 tps=100 nb_sec=7104
case_no=162 label=Case6.150 nb_sol=0 ticks=484752 tps=100 nb_sec=4847
case_no=162 label=Case6.150 nb_sol=0 ticks=839734 tps=100 nb_sec=8397
case_no=162 label=Case6.150 nb_sol=0 ticks=244397 tps=100 nb_sec=2443
case_no=162 label=Case6.150 nb_sol=0 ticks=565671 tps=100 nb_sec=5656
case_no=162 label=Case6.150 nb_sol=0 ticks=604632 tps=100 nb_sec=6046
case_no=162 label=Case6.150 nb_sol=0 ticks=580889 tps=100 nb_sec=5808
case_no=162 label=Case6.150 nb_sol=0 ticks=519758 tps=100 nb_sec=5197
case_no=162 label=Case6.150 nb_sol=0 ticks=486073 tps=100 nb_sec=4860
case_no=162 label=Case6.150 nb_sol=0 ticks=694780 tps=100 nb_sec=6947
case_no=162 label=Case6.150 nb_sol=0 ticks=764612 tps=100 nb_sec=7646
case_no=162 label=Case6.150 nb_sol=0 ticks=614498 tps=100 nb_sec=6144
case_no=162 label=Case6.150 nb_sol=0 ticks=632292 tps=100 nb_sec=6322
case_no=162 label=Case6.150 nb_sol=0 ticks=825843 tps=100 nb_sec=8258
case_no=162 label=Case6.150 nb_sol=0 ticks=501606 tps=100 nb_sec=5016
case_no=162 label=Case6.150 nb_sol=0 ticks=786958 tps=100 nb_sec=7869
case_no=162 label=Case6.150 nb_sol=0 ticks=375395 tps=100 nb_sec=3753
case_no=162 label=Case6.150 nb_sol=0 ticks=522059 tps=100 nb_sec=5220
case_no=162 label=Case6.150 nb_sol=0 ticks=648416 tps=100 nb_sec=6484
case_no=162 label=Case6.150 nb_sol=0 ticks=373388 tps=100 nb_sec=3733
case_no=162 label=Case6.150 nb_sol=0 ticks=442886 tps=100 nb_sec=4428
case_no=162 label=Case6.150 nb_sol=0 ticks=379032 tps=100 nb_sec=3790
case_no=162 label=Case6.150 nb_sol=0 ticks=557377 tps=100 nb_sec=5573
case_no=162 label=Case6.150 nb_sol=0 ticks=442302 tps=100 nb_sec=4423
case_no=162 label=Case6.150 nb_sol=0 ticks=712893 tps=100 nb_sec=7128
case_no=162 label=Case6.150 nb_sol=0 ticks=505493 tps=100 nb_sec=5054
case_no=162 label=Case6.150 nb_sol=0 ticks=492824 tps=100 nb_sec=4928
case_no=162 label=Case6.150 nb_sol=0 ticks=565666 tps=100 nb_sec=5656
case_no=162 label=Case6.150 nb_sol=0 ticks=453573 tps=100 nb_sec=4535
case_no=162 label=Case6.150 nb_sol=0 ticks=426457 tps=100 nb_sec=4264
case_no=162 label=Case6.150 nb_sol=0 ticks=478044 tps=100 nb_sec=4780
case_no=162 label=Case6.150 nb_sol=0 ticks=477612 tps=100 nb_sec=4776
case_no=162 label=Case6.150 nb_sol=0 ticks=542458 tps=100 nb_sec=5424
case_no=162 label=Case6.150 nb_sol=0 ticks=507503 tps=100 nb_sec=5075
case_no=162 label=Case6.150 nb_sol=0 ticks=498432 tps=100 nb_sec=4984
case_no=162 label=Case6.150 nb_sol=0 ticks=391619 tps=100 nb_sec=3916
case_no=162 label=Case6.150 nb_sol=0 ticks=457199 tps=100 nb_sec=4571
case_no=162 label=Case6.150 nb_sol=0 ticks=331182 tps=100 nb_sec=3311
case_no=162 label=Case6.150 nb_sol=0 ticks=450946 tps=100 nb_sec=4509
case_no=162 label=Case6.150 nb_sol=0 ticks=350044 tps=100 nb_sec=3500
case_no=162 label=Case6.150 nb_sol=0 ticks=484872 tps=100 nb_sec=4848
case_no=162 label=Case6.150 nb_sol=0 ticks=448737 tps=100 nb_sec=4487
case_no=162 label=Case6.150 nb_sol=0 ticks=466785 tps=100 nb_sec=4667
case_no=162 label=Case6.150 nb_sol=0 ticks=389671 tps=100 nb_sec=3896
case_no=162 label=Case6.150 nb_sol=0 ticks=391628 tps=100 nb_sec=3916
case_no=162 label=Case6.150 nb_sol=0 ticks=355242 tps=100 nb_sec=3552
case_no=162 label=Case6.150 nb_sol=0 ticks=494660 tps=100 nb_sec=4946
case_no=162 label=Case6.150 nb_sol=0 ticks=498365 tps=100 nb_sec=4983
case_no=162 label=Case6.150 nb_sol=0 ticks=421479 tps=100 nb_sec=4214
case_no=162 label=Case6.150 nb_sol=0 ticks=450921 tps=100 nb_sec=4509
case_no=162 label=Case6.150 nb_sol=0 ticks=656939 tps=100 nb_sec=6569
case_no=162 label=Case6.150 nb_sol=0 ticks=464932 tps=100 nb_sec=4649
case_no=162 label=Case6.150 nb_sol=0 ticks=310819 tps=100 nb_sec=3108
case_no=162 label=Case6.150 nb_sol=0 ticks=458807 tps=100 nb_sec=4588
case_no=162 label=Case6.150 nb_sol=0 ticks=671342 tps=100 nb_sec=6713
case_no=162 label=Case6.150 nb_sol=0 ticks=446813 tps=100 nb_sec=4468
case_no=162 label=Case6.150 nb_sol=0 ticks=223720 tps=100 nb_sec=2237
case_no=162 label=Case6.150 nb_sol=0 ticks=293734 tps=100 nb_sec=2937
case_no=162 label=Case6.150 nb_sol=0 ticks=465324 tps=100 nb_sec=4653
case_no=162 label=Case6.150 nb_sol=0 ticks=412438 tps=100 nb_sec=4124
case_no=162 label=Case6.150 nb_sol=0 ticks=363473 tps=100 nb_sec=3634
case_no=162 label=Case6.150 nb_sol=0 ticks=444480 tps=100 nb_sec=4444
case_no=162 label=Case6.150 nb_sol=0 ticks=416320 tps=100 nb_sec=4163
case_no=162 label=Case6.150 nb_sol=0 ticks=520651 tps=100 nb_sec=5206
case_no=162 label=Case6.150 nb_sol=0 ticks=530722 tps=100 nb_sec=5307
case_no=162 label=Case6.150 nb_sol=0 ticks=382309 tps=100 nb_sec=3823
case_no=162 label=Case6.150 nb_sol=0 ticks=329981 tps=100 nb_sec=3299
case_no=162 label=Case6.150 nb_sol=0 ticks=252890 tps=100 nb_sec=2528
case_no=162 label=Case6.150 nb_sol=0 ticks=406014 tps=100 nb_sec=4060
case_no=162 label=Case6.150 nb_sol=0 ticks=410045 tps=100 nb_sec=4100
case_no=162 label=Case6.150 nb_sol=0 ticks=440189 tps=100 nb_sec=4401
case_no=162 label=Case6.150 nb_sol=0 ticks=377144 tps=100 nb_sec=3771
case_no=162 label=Case6.150 nb_sol=0 ticks=533700 tps=100 nb_sec=5337
case_no=162 label=Case6.150 nb_sol=0 ticks=380351 tps=100 nb_sec=3803
case_no=162 label=Case6.150 nb_sol=0 ticks=623738 tps=100 nb_sec=6237
case_no=162 label=Case6.150 nb_sol=0 ticks=487935 tps=100 nb_sec=4879
case_no=162 label=Case6.150 nb_sol=0 ticks=477287 tps=100 nb_sec=4772
case_no=162 label=Case6.150 nb_sol=0 ticks=470889 tps=100 nb_sec=4708
case_no=162 label=Case6.150 nb_sol=0 ticks=387735 tps=100 nb_sec=3877
case_no=162 label=Case6.150 nb_sol=0 ticks=404147 tps=100 nb_sec=4041
case_no=162 label=Case6.150 nb_sol=0 ticks=371084 tps=100 nb_sec=3710
case_no=162 label=Case6.150 nb_sol=0 ticks=228510 tps=100 nb_sec=2285
case_no=162 label=Case6.150 nb_sol=0 ticks=452364 tps=100 nb_sec=4523
case_no=162 label=Case6.150 nb_sol=0 ticks=438459 tps=100 nb_sec=4384
case_no=162 label=Case6.150 nb_sol=0 ticks=285066 tps=100 nb_sec=2850
case_no=162 label=Case6.150 nb_sol=0 ticks=364669 tps=100 nb_sec=3646
case_no=162 label=Case6.150 nb_sol=0 ticks=237917 tps=100 nb_sec=2379
case_no=162 label=Case6.150 nb_sol=0 ticks=492885 tps=100 nb_sec=4928
case_no=162 label=Case6.150 nb_sol=0 ticks=391861 tps=100 nb_sec=3918
case_no=162 label=Case6.150 nb_sol=0 ticks=495558 tps=100 nb_sec=4955
case_no=162 label=Case6.150 nb_sol=0 ticks=348795 tps=100 nb_sec=3487
case_no=162 label=Case6.150 nb_sol=0 ticks=406010 tps=100 nb_sec=4060
case_no=162 label=Case6.150 nb_sol=0 ticks=362703 tps=100 nb_sec=3627
case_no=162 label=Case6.150 nb_sol=0 ticks=533024 tps=100 nb_sec=5330
case_no=162 label=Case6.150 nb_sol=0 ticks=405425 tps=100 nb_sec=4054
case_no=162 label=Case6.150 nb_sol=0 ticks=414382 tps=100 nb_sec=4143
case_no=162 label=Case6.150 nb_sol=0 ticks=422003 tps=100 nb_sec=4220
case_no=162 label=Case6.150 nb_sol=0 ticks=363140 tps=100 nb_sec=3631
case_no=162 label=Case6.150 nb_sol=0 ticks=373711 tps=100 nb_sec=3737
case_no=162 label=Case6.150 nb_sol=0 ticks=574002 tps=100 nb_sec=5740
case_no=162 label=Case6.150 nb_sol=0 ticks=519474 tps=100 nb_sec=5194
case_no=162 label=Case6.150 nb_sol=0 ticks=411476 tps=100 nb_sec=4114
case_no=162 label=Case6.150 nb_sol=0 ticks=448599 tps=100 nb_sec=4485
case_no=162 label=Case6.150 nb_sol=0 ticks=290526 tps=100 nb_sec=2905
case_no=162 label=Case6.150 nb_sol=0 ticks=524336 tps=100 nb_sec=5243
case_no=162 label=Case6.150 nb_sol=0 ticks=378251 tps=100 nb_sec=3782
case_no=162 label=Case6.150 nb_sol=0 ticks=474180 tps=100 nb_sec=4741
case_no=162 label=Case6.150 nb_sol=0 ticks=646263 tps=100 nb_sec=6462
case_no=162 label=Case6.150 nb_sol=0 ticks=645344 tps=100 nb_sec=6453
case_no=162 label=Case6.150 nb_sol=0 ticks=589152 tps=100 nb_sec=5891
case_no=162 label=Case6.150 nb_sol=0 ticks=482229 tps=100 nb_sec=4822
case_no=162 label=Case6.150 nb_sol=0 ticks=487057 tps=100 nb_sec=4870
case_no=162 label=Case6.150 nb_sol=0 ticks=559889 tps=100 nb_sec=5598
case_no=162 label=Case6.150 nb_sol=0 ticks=508367 tps=100 nb_sec=5083
case_no=162 label=Case6.150 nb_sol=0 ticks=415950 tps=100 nb_sec=4159
case_no=162 label=Case6.150 nb_sol=0 ticks=386500 tps=100 nb_sec=3865
case_no=162 label=Case6.150 nb_sol=0 ticks=545382 tps=100 nb_sec=5453
case_no=162 label=Case6.150 nb_sol=0 ticks=516249 tps=100 nb_sec=5162
case_no=162 label=Case6.150 nb_sol=0 ticks=434823 tps=100 nb_sec=4348
case_no=162 label=Case6.150 nb_sol=0 ticks=405917 tps=100 nb_sec=4059
case_no=162 label=Case6.150 nb_sol=0 ticks=489695 tps=100 nb_sec=4896
case_no=162 label=Case6.150 nb_sol=0 ticks=543194 tps=100 nb_sec=5431
case_no=162 label=Case6.150 nb_sol=0 ticks=460624 tps=100 nb_sec=4606
case_no=162 label=Case6.150 nb_sol=0 ticks=554651 tps=100 nb_sec=5546
case_no=162 label=Case6.150 nb_sol=0 ticks=399219 tps=100 nb_sec=3992
case_no=162 label=Case6.150 nb_sol=0 ticks=322960 tps=100 nb_sec=3229
case_no=162 label=Case6.150 nb_sol=0 ticks=446617 tps=100 nb_sec=4466
case_no=162 label=Case6.150 nb_sol=0 ticks=416759 tps=100 nb_sec=4167
case_no=162 label=Case6.150 nb_sol=0 ticks=448554 tps=100 nb_sec=4485
case_no=162 label=Case6.150 nb_sol=0 ticks=415745 tps=100 nb_sec=4157
case_no=162 label=Case6.150 nb_sol=0 ticks=439631 tps=100 nb_sec=4396
case_no=162 label=Case6.150 nb_sol=0 ticks=459672 tps=100 nb_sec=4596
case_no=162 label=Case6.150 nb_sol=0 ticks=552008 tps=100 nb_sec=5520
case_no=162 label=Case6.150 nb_sol=0 ticks=567396 tps=100 nb_sec=5673
case_no=162 label=Case6.150 nb_sol=0 ticks=399830 tps=100 nb_sec=3998
case_no=162 label=Case6.150 nb_sol=0 ticks=477033 tps=100 nb_sec=4770
case_no=162 label=Case6.150 nb_sol=0 ticks=466415 tps=100 nb_sec=4664
case_no=162 label=Case6.150 nb_sol=0 ticks=518623 tps=100 nb_sec=5186
case_no=162 label=Case6.150 nb_sol=0 ticks=501068 tps=100 nb_sec=5010
case_no=162 label=Case6.150 nb_sol=0 ticks=466618 tps=100 nb_sec=4666
case_no=162 label=Case6.150 nb_sol=0 ticks=436799 tps=100 nb_sec=4367
case_no=162 label=Case6.150 nb_sol=0 ticks=536573 tps=100 nb_sec=5365
case_no=162 label=Case6.150 nb_sol=0 ticks=546657 tps=100 nb_sec=5466
case_no=162 label=Case6.150 nb_sol=0 ticks=603918 tps=100 nb_sec=6039
case_no=162 label=Case6.150 nb_sol=0 ticks=482449 tps=100 nb_sec=4824
case_no=162 label=Case6.150 nb_sol=0 ticks=680476 tps=100 nb_sec=6804
case_no=162 label=Case6.150 nb_sol=0 ticks=349428 tps=100 nb_sec=3494
case_no=162 label=Case6.150 nb_sol=0 ticks=516937 tps=100 nb_sec=5169
case_no=162 label=Case6.150 nb_sol=0 ticks=458316 tps=100 nb_sec=4583
case_no=162 label=Case6.150 nb_sol=0 ticks=291365 tps=100 nb_sec=2913
case_no=162 label=Case6.150 nb_sol=0 ticks=369820 tps=100 nb_sec=3698
case_no=162 label=Case6.150 nb_sol=0 ticks=382831 tps=100 nb_sec=3828
case_no=162 label=Case6.150 nb_sol=0 ticks=366902 tps=100 nb_sec=3669
case_no=162 label=Case6.150 nb_sol=0 ticks=624028 tps=100 nb_sec=6240
case_no=162 label=Case6.150 nb_sol=0 ticks=396783 tps=100 nb_sec=3967
case_no=162 label=Case6.150 nb_sol=0 ticks=390846 tps=100 nb_sec=3908
case_no=162 label=Case6.150 nb_sol=0 ticks=442686 tps=100 nb_sec=4426
case_no=162 label=Case6.150 nb_sol=0 ticks=430289 tps=100 nb_sec=4302
case_no=162 label=Case6.150 nb_sol=0 ticks=414831 tps=100 nb_sec=4148
case_no=162 label=Case6.150 nb_sol=0 ticks=304168 tps=100 nb_sec=3041
case_no=162 label=Case6.150 nb_sol=0 ticks=344779 tps=100 nb_sec=3447
case_no=162 label=Case6.150 nb_sol=0 ticks=402957 tps=100 nb_sec=4029
case_no=162 label=Case6.150 nb_sol=0 ticks=543988 tps=100 nb_sec=5439
case_no=162 label=Case6.150 nb_sol=0 ticks=737034 tps=100 nb_sec=7370
case_no=162 label=Case6.150 nb_sol=0 ticks=580450 tps=100 nb_sec=5804
case_no=162 label=Case6.150 nb_sol=0 ticks=367357 tps=100 nb_sec=3673
case_no=162 label=Case6.150 nb_sol=0 ticks=411307 tps=100 nb_sec=4113
case_no=162 label=Case6.150 nb_sol=0 ticks=379654 tps=100 nb_sec=3796
case_no=162 label=Case6.150 nb_sol=0 ticks=546452 tps=100 nb_sec=5464
case_no=162 label=Case6.150 nb_sol=0 ticks=495612 tps=100 nb_sec=4956
case_no=162 label=Case6.150 nb_sol=0 ticks=501343 tps=100 nb_sec=5013
case_no=162 label=Case6.150 nb_sol=0 ticks=444733 tps=100 nb_sec=4447
case_no=162 label=Case6.150 nb_sol=0 ticks=396909 tps=100 nb_sec=3969
case_no=162 label=Case6.150 nb_sol=0 ticks=666486 tps=100 nb_sec=6664
case_no=162 label=Case6.150 nb_sol=0 ticks=526985 tps=100 nb_sec=5269
case_no=162 label=Case6.150 nb_sol=0 ticks=454392 tps=100 nb_sec=4543
case_no=162 label=Case6.150 nb_sol=0 ticks=627778 tps=100 nb_sec=6277
case_no=162 label=Case6.150 nb_sol=0 ticks=446116 tps=100 nb_sec=4461
case_no=162 label=Case6.150 nb_sol=0 ticks=507214 tps=100 nb_sec=5072
case_no=162 label=Case6.150 nb_sol=0 ticks=423290 tps=100 nb_sec=4232
case_no=162 label=Case6.150 nb_sol=0 ticks=293002 tps=100 nb_sec=2930
case_no=162 label=Case6.150 nb_sol=0 ticks=732358 tps=100 nb_sec=7323
case_no=162 label=Case6.150 nb_sol=0 ticks=442250 tps=100 nb_sec=4422
case_no=162 label=Case6.150 nb_sol=0 ticks=538461 tps=100 nb_sec=5384
case_no=162 label=Case6.150 nb_sol=0 ticks=677302 tps=100 nb_sec=6773
case_no=162 label=Case6.150 nb_sol=0 ticks=600089 tps=100 nb_sec=6000
case_no=162 label=Case6.150 nb_sol=0 ticks=675192 tps=100 nb_sec=6751
case_no=162 label=Case6.150 nb_sol=0 ticks=570068 tps=100 nb_sec=5700
case_no=162 label=Case6.150 nb_sol=0 ticks=589426 tps=100 nb_sec=5894
case_no=162 label=Case6.150 nb_sol=0 ticks=564688 tps=100 nb_sec=5646
case_no=162 label=Case6.150 nb_sol=0 ticks=473112 tps=100 nb_sec=4731
case_no=162 label=Case6.150 nb_sol=0 ticks=582991 tps=100 nb_sec=5829
case_no=162 label=Case6.150 nb_sol=0 ticks=415881 tps=100 nb_sec=4158
case_no=162 label=Case6.150 nb_sol=0 ticks=512546 tps=100 nb_sec=5125
case_no=162 label=Case6.150 nb_sol=0 ticks=416334 tps=100 nb_sec=4163
case_no=162 label=Case6.150 nb_sol=0 ticks=518903 tps=100 nb_sec=5189
case_no=162 label=Case6.150 nb_sol=0 ticks=453912 tps=100 nb_sec=4539
case_no=162 label=Case6.150 nb_sol=0 ticks=550923 tps=100 nb_sec=5509
case_no=162 label=Case6.150 nb_sol=0 ticks=472167 tps=100 nb_sec=4721
case_no=162 label=Case6.150 nb_sol=0 ticks=435239 tps=100 nb_sec=4352
case_no=162 label=Case6.150 nb_sol=0 ticks=540787 tps=100 nb_sec=5407
case_no=162 label=Case6.150 nb_sol=0 ticks=481100 tps=100 nb_sec=4811
case_no=162 label=Case6.150 nb_sol=0 ticks=499833 tps=100 nb_sec=4998
case_no=162 label=Case6.150 nb_sol=0 ticks=555771 tps=100 nb_sec=5557
case_no=162 label=Case6.150 nb_sol=0 ticks=531667 tps=100 nb_sec=5316
case_no=162 label=Case6.150 nb_sol=0 ticks=563112 tps=100 nb_sec=5631
case_no=162 label=Case6.150 nb_sol=0 ticks=627209 tps=100 nb_sec=6272
case_no=162 label=Case6.150 nb_sol=0 ticks=479877 tps=100 nb_sec=4798
case_no=162 label=Case6.150 nb_sol=0 ticks=573315 tps=100 nb_sec=5733
case_no=162 label=Case6.150 nb_sol=0 ticks=500393 tps=100 nb_sec=5003
case_no=162 label=Case6.150 nb_sol=0 ticks=540282 tps=100 nb_sec=5402
case_no=162 label=Case6.150 nb_sol=0 ticks=438734 tps=100 nb_sec=4387
case_no=162 label=Case6.150 nb_sol=0 ticks=448325 tps=100 nb_sec=4483
case_no=162 label=Case6.150 nb_sol=0 ticks=425213 tps=100 nb_sec=4252
case_no=162 label=Case6.150 nb_sol=0 ticks=490769 tps=100 nb_sec=4907
case_no=162 label=Case6.150 nb_sol=0 ticks=399696 tps=100 nb_sec=3996
case_no=162 label=Case6.150 nb_sol=0 ticks=535833 tps=100 nb_sec=5358
case_no=162 label=Case6.150 nb_sol=0 ticks=515860 tps=100 nb_sec=5158
case_no=162 label=Case6.150 nb_sol=0 ticks=590169 tps=100 nb_sec=5901
case_no=162 label=Case6.150 nb_sol=0 ticks=579861 tps=100 nb_sec=5798
case_no=162 label=Case6.150 nb_sol=0 ticks=603759 tps=100 nb_sec=6037
case_no=162 label=Case6.150 nb_sol=0 ticks=434531 tps=100 nb_sec=4345
case_no=162 label=Case6.150 nb_sol=0 ticks=576998 tps=100 nb_sec=5769
case_no=162 label=Case6.150 nb_sol=0 ticks=490402 tps=100 nb_sec=4904
case_no=162 label=Case6.150 nb_sol=0 ticks=571094 tps=100 nb_sec=5710
case_no=162 label=Case6.150 nb_sol=0 ticks=492435 tps=100 nb_sec=4924
case_no=162 label=Case6.150 nb_sol=0 ticks=496961 tps=100 nb_sec=4969
case_no=162 label=Case6.150 nb_sol=0 ticks=454974 tps=100 nb_sec=4549
case_no=162 label=Case6.150 nb_sol=0 ticks=499313 tps=100 nb_sec=4993
case_no=162 label=Case6.150 nb_sol=0 ticks=479646 tps=100 nb_sec=4796
case_no=162 label=Case6.150 nb_sol=0 ticks=447430 tps=100 nb_sec=4474
case_no=162 label=Case6.150 nb_sol=0 ticks=385278 tps=100 nb_sec=3852
case_no=162 label=Case6.150 nb_sol=0 ticks=469503 tps=100 nb_sec=4695
case_no=162 label=Case6.150 nb_sol=0 ticks=500524 tps=100 nb_sec=5005
case_no=162 label=Case6.150 nb_sol=0 ticks=582564 tps=100 nb_sec=5825
case_no=162 label=Case6.150 nb_sol=0 ticks=400102 tps=100 nb_sec=4001
case_no=162 label=Case6.150 nb_sol=0 ticks=488250 tps=100 nb_sec=4882
case_no=162 label=Case6.150 nb_sol=0 ticks=434918 tps=100 nb_sec=4349
case_no=162 label=Case6.150 nb_sol=0 ticks=480559 tps=100 nb_sec=4805
case_no=162 label=Case6.150 nb_sol=0 ticks=333754 tps=100 nb_sec=3337
case_no=162 label=Case6.150 nb_sol=0 ticks=413898 tps=100 nb_sec=4138
case_no=162 label=Case6.150 nb_sol=0 ticks=354365 tps=100 nb_sec=3543
case_no=162 label=Case6.150 nb_sol=0 ticks=433898 tps=100 nb_sec=4338
case_no=162 label=Case6.150 nb_sol=0 ticks=375269 tps=100 nb_sec=3752
case_no=162 label=Case6.150 nb_sol=0 ticks=337027 tps=100 nb_sec=3370
case_no=162 label=Case6.150 nb_sol=0 ticks=521294 tps=100 nb_sec=5212
case_no=162 label=Case6.150 nb_sol=0 ticks=467862 tps=100 nb_sec=4678
case_no=162 label=Case6.150 nb_sol=0 ticks=562247 tps=100 nb_sec=5622
case_no=162 label=Case6.150 nb_sol=0 ticks=511262 tps=100 nb_sec=5112
case_no=162 label=Case6.150 nb_sol=0 ticks=754928 tps=100 nb_sec=7549
case_no=162 label=Case6.150 nb_sol=0 ticks=464369 tps=100 nb_sec=4643
case_no=162 label=Case6.150 nb_sol=0 ticks=527314 tps=100 nb_sec=5273
case_no=162 label=Case6.150 nb_sol=0 ticks=554419 tps=100 nb_sec=5544
case_no=162 label=Case6.150 nb_sol=0 ticks=589829 tps=100 nb_sec=5898
case_no=162 label=Case6.150 nb_sol=0 ticks=529511 tps=100 nb_sec=5295
case_no=162 label=Case6.150 nb_sol=0 ticks=482970 tps=100 nb_sec=4829
case_no=162 label=Case6.150 nb_sol=0 ticks=457502 tps=100 nb_sec=4575
case_no=162 label=Case6.150 nb_sol=0 ticks=448773 tps=100 nb_sec=4487
case_no=162 label=Case6.150 nb_sol=0 ticks=455091 tps=100 nb_sec=4550
case_no=162 label=Case6.150 nb_sol=0 ticks=581178 tps=100 nb_sec=5811
case_no=162 label=Case6.150 nb_sol=0 ticks=476288 tps=100 nb_sec=4762
case_no=162 label=Case6.150 nb_sol=0 ticks=591731 tps=100 nb_sec=5917
case_no=162 label=Case6.150 nb_sol=0 ticks=516775 tps=100 nb_sec=5167
case_no=162 label=Case6.150 nb_sol=0 ticks=532337 tps=100 nb_sec=5323
case_no=162 label=Case6.150 nb_sol=0 ticks=479295 tps=100 nb_sec=4792
case_no=162 label=Case6.150 nb_sol=0 ticks=412347 tps=100 nb_sec=4123
case_no=162 label=Case6.150 nb_sol=0 ticks=400551 tps=100 nb_sec=4005
case_no=162 label=Case6.150 nb_sol=0 ticks=576851 tps=100 nb_sec=5768
case_no=162 label=Case6.150 nb_sol=0 ticks=484354 tps=100 nb_sec=4843
case_no=162 label=Case6.150 nb_sol=0 ticks=516806 tps=100 nb_sec=5168
case_no=162 label=Case6.150 nb_sol=0 ticks=563238 tps=100 nb_sec=5632
case_no=162 label=Case6.150 nb_sol=0 ticks=601920 tps=100 nb_sec=6019
case_no=162 label=Case6.150 nb_sol=0 ticks=421543 tps=100 nb_sec=4215
case_no=162 label=Case6.150 nb_sol=0 ticks=468984 tps=100 nb_sec=4689
case_no=162 label=Case6.150 nb_sol=0 ticks=404714 tps=100 nb_sec=4047
case_no=162 label=Case6.150 nb_sol=0 ticks=507744 tps=100 nb_sec=5077
case_no=162 label=Case6.150 nb_sol=0 ticks=431049 tps=100 nb_sec=4310
case_no=162 label=Case6.150 nb_sol=0 ticks=468451 tps=100 nb_sec=4684
case_no=162 label=Case6.150 nb_sol=0 ticks=536049 tps=100 nb_sec=5360
case_no=162 label=Case6.150 nb_sol=0 ticks=414575 tps=100 nb_sec=4145
case_no=162 label=Case6.150 nb_sol=0 ticks=504602 tps=100 nb_sec=5046
case_no=162 label=Case6.150 nb_sol=0 ticks=459465 tps=100 nb_sec=4594
case_no=162 label=Case6.150 nb_sol=0 ticks=339690 tps=100 nb_sec=3396
case_no=162 label=Case6.150 nb_sol=0 ticks=480521 tps=100 nb_sec=4805
case_no=162 label=Case6.150 nb_sol=0 ticks=337470 tps=100 nb_sec=3374
case_no=162 label=Case6.150 nb_sol=0 ticks=433412 tps=100 nb_sec=4334
case_no=162 label=Case6.150 nb_sol=0 ticks=404130 tps=100 nb_sec=4041
case_no=162 label=Case6.150 nb_sol=0 ticks=317540 tps=100 nb_sec=3175
case_no=162 label=Case6.150 nb_sol=0 ticks=441470 tps=100 nb_sec=4414
case_no=162 label=Case6.150 nb_sol=0 ticks=525824 tps=100 nb_sec=5258
case_no=162 label=Case6.150 nb_sol=0 ticks=491887 tps=100 nb_sec=4918
case_no=162 label=Case6.150 nb_sol=0 ticks=477729 tps=100 nb_sec=4777
case_no=162 label=Case6.150 nb_sol=0 ticks=578760 tps=100 nb_sec=5787
case_no=162 label=Case6.150 nb_sol=0 ticks=525892 tps=100 nb_sec=5258
case_no=162 label=Case6.150 nb_sol=0 ticks=541049 tps=100 nb_sec=5410
case_no=162 label=Case6.150 nb_sol=0 ticks=492034 tps=100 nb_sec=4920
case_no=162 label=Case6.150 nb_sol=0 ticks=412989 tps=100 nb_sec=4129
case_no=162 label=Case6.150 nb_sol=0 ticks=412388 tps=100 nb_sec=4123
case_no=162 label=Case6.150 nb_sol=0 ticks=377768 tps=100 nb_sec=3777
case_no=162 label=Case6.150 nb_sol=0 ticks=421806 tps=100 nb_sec=4218
case_no=162 label=Case6.150 nb_sol=0 ticks=218421 tps=100 nb_sec=2184
case_no=162 label=Case6.150 nb_sol=0 ticks=466849 tps=100 nb_sec=4668
case_no=162 label=Case6.150 nb_sol=0 ticks=497882 tps=100 nb_sec=4978
case_no=162 label=Case6.150 nb_sol=0 ticks=451395 tps=100 nb_sec=4513
case_no=162 label=Case6.150 nb_sol=0 ticks=258364 tps=100 nb_sec=2583
case_no=162 label=Case6.150 nb_sol=0 ticks=581282 tps=100 nb_sec=5812
case_no=162 label=Case6.150 nb_sol=0 ticks=430322 tps=100 nb_sec=4303
case_no=162 label=Case6.150 nb_sol=0 ticks=222233 tps=100 nb_sec=2222
case_no=162 label=Case6.150 nb_sol=0 ticks=383477 tps=100 nb_sec=3834
case_no=162 label=Case6.150 nb_sol=0 ticks=460675 tps=100 nb_sec=4606
case_no=162 label=Case6.150 nb_sol=0 ticks=315766 tps=100 nb_sec=3157
case_no=162 label=Case6.150 nb_sol=0 ticks=402519 tps=100 nb_sec=4025
case_no=162 label=Case6.150 nb_sol=0 ticks=506551 tps=100 nb_sec=5065
case_no=162 label=Case6.150 nb_sol=0 ticks=400457 tps=100 nb_sec=4004
case_no=162 label=Case6.150 nb_sol=0 ticks=439713 tps=100 nb_sec=4397
case_no=162 label=Case6.150 nb_sol=0 ticks=448571 tps=100 nb_sec=4485
case_no=162 label=Case6.150 nb_sol=0 ticks=398502 tps=100 nb_sec=3985
case_no=162 label=Case6.150 nb_sol=0 ticks=188905 tps=100 nb_sec=1889
case_no=162 label=Case6.150 nb_sol=0 ticks=312109 tps=100 nb_sec=3121
case_no=162 label=Case6.150 nb_sol=0 ticks=327165 tps=100 nb_sec=3271
case_no=162 label=Case6.150 nb_sol=0 ticks=413003 tps=100 nb_sec=4130
case_no=162 label=Case6.150 nb_sol=0 ticks=438441 tps=100 nb_sec=4384
case_no=162 label=Case6.150 nb_sol=0 ticks=169100 tps=100 nb_sec=1691
case_no=162 label=Case6.150 nb_sol=0 ticks=330606 tps=100 nb_sec=3306
case_no=162 label=Case6.150 nb_sol=0 ticks=362039 tps=100 nb_sec=3620
case_no=162 label=Case6.150 nb_sol=0 ticks=418357 tps=100 nb_sec=4183
case_no=162 label=Case6.150 nb_sol=0 ticks=433314 tps=100 nb_sec=4333
case_no=162 label=Case6.150 nb_sol=0 ticks=463857 tps=100 nb_sec=4638
case_no=162 label=Case6.150 nb_sol=0 ticks=545447 tps=100 nb_sec=5454
case_no=162 label=Case6.150 nb_sol=0 ticks=747836 tps=100 nb_sec=7478
case_no=162 label=Case6.150 nb_sol=0 ticks=464439 tps=100 nb_sec=4644
case_no=162 label=Case6.150 nb_sol=0 ticks=446114 tps=100 nb_sec=4461
case_no=162 label=Case6.150 nb_sol=0 ticks=728997 tps=100 nb_sec=7289
case_no=162 label=Case6.150 nb_sol=0 ticks=418525 tps=100 nb_sec=4185
case_no=162 label=Case6.150 nb_sol=0 ticks=464742 tps=100 nb_sec=4647
case_no=162 label=Case6.150 nb_sol=0 ticks=430967 tps=100 nb_sec=4309
case_no=162 label=Case6.150 nb_sol=0 ticks=588687 tps=100 nb_sec=5886
case_no=162 label=Case6.150 nb_sol=0 ticks=529834 tps=100 nb_sec=5298
case_no=162 label=Case6.150 nb_sol=0 ticks=465742 tps=100 nb_sec=4657
case_no=162 label=Case6.150 nb_sol=0 ticks=418559 tps=100 nb_sec=4185
case_no=162 label=Case6.150 nb_sol=0 ticks=428312 tps=100 nb_sec=4283
case_no=162 label=Case6.150 nb_sol=0 ticks=358359 tps=100 nb_sec=3583
case_no=162 label=Case6.150 nb_sol=0 ticks=223996 tps=100 nb_sec=2239
case_no=162 label=Case6.150 nb_sol=0 ticks=418597 tps=100 nb_sec=4185
case_no=162 label=Case6.150 nb_sol=0 ticks=632785 tps=100 nb_sec=6327
case_no=162 label=Case6.150 nb_sol=0 ticks=199901 tps=100 nb_sec=1999
case_no=162 label=Case6.150 nb_sol=0 ticks=454853 tps=100 nb_sec=4548
case_no=162 label=Case6.150 nb_sol=0 ticks=363640 tps=100 nb_sec=3636
case_no=162 label=Case6.150 nb_sol=0 ticks=509263 tps=100 nb_sec=5092
case_no=162 label=Case6.150 nb_sol=0 ticks=401413 tps=100 nb_sec=4014
case_no=162 label=Case6.150 nb_sol=0 ticks=477142 tps=100 nb_sec=4771
case_no=162 label=Case6.150 nb_sol=0 ticks=451983 tps=100 nb_sec=4519
case_no=162 label=Case6.150 nb_sol=0 ticks=470847 tps=100 nb_sec=4708
case_no=162 label=Case6.150 nb_sol=0 ticks=480561 tps=100 nb_sec=4805
case_no=162 label=Case6.150 nb_sol=0 ticks=485601 tps=100 nb_sec=4856
case_no=162 label=Case6.150 nb_sol=0 ticks=405327 tps=100 nb_sec=4053
case_no=162 label=Case6.150 nb_sol=0 ticks=505521 tps=100 nb_sec=5055
case_no=162 label=Case6.150 nb_sol=0 ticks=410657 tps=100 nb_sec=4106
case_no=162 label=Case6.150 nb_sol=0 ticks=656546 tps=100 nb_sec=6565
case_no=162 label=Case6.150 nb_sol=0 ticks=457187 tps=100 nb_sec=4571
case_no=162 label=Case6.150 nb_sol=0 ticks=564836 tps=100 nb_sec=5648
case_no=162 label=Case6.150 nb_sol=0 ticks=376632 tps=100 nb_sec=3766
case_no=162 label=Case6.150 nb_sol=0 ticks=417218 tps=100 nb_sec=4172
case_no=162 label=Case6.150 nb_sol=0 ticks=449392 tps=100 nb_sec=4493
case_no=162 label=Case6.150 nb_sol=0 ticks=513755 tps=100 nb_sec=5137
case_no=162 label=Case6.150 nb_sol=0 ticks=686189 tps=100 nb_sec=6861
case_no=162 label=Case6.150 nb_sol=0 ticks=292112 tps=100 nb_sec=2921
case_no=162 label=Case6.150 nb_sol=0 ticks=422729 tps=100 nb_sec=4227
case_no=162 label=Case6.150 nb_sol=0 ticks=338682 tps=100 nb_sec=3386
case_no=162 label=Case6.150 nb_sol=0 ticks=493758 tps=100 nb_sec=4937
case_no=162 label=Case6.150 nb_sol=0 ticks=320390 tps=100 nb_sec=3203
case_no=162 label=Case6.150 nb_sol=0 ticks=414635 tps=100 nb_sec=4146
case_no=162 label=Case6.150 nb_sol=0 ticks=327019 tps=100 nb_sec=3270
case_no=162 label=Case6.150 nb_sol=0 ticks=748731 tps=100 nb_sec=7487
case_no=162 label=Case6.150 nb_sol=0 ticks=516511 tps=100 nb_sec=5165
case_no=162 label=Case6.150 nb_sol=0 ticks=402135 tps=100 nb_sec=4021
case_no=162 label=Case6.150 nb_sol=0 ticks=749531 tps=100 nb_sec=7495
case_no=162 label=Case6.150 nb_sol=0 ticks=233589 tps=100 nb_sec=2335
case_no=162 label=Case6.150 nb_sol=0 ticks=253583 tps=100 nb_sec=2535
case_no=162 label=Case6.150 nb_sol=0 ticks=654471 tps=100 nb_sec=6544
case_no=162 label=Case6.150 nb_sol=0 ticks=197508 tps=100 nb_sec=1975
case_no=162 label=Case6.150 nb_sol=0 ticks=591240 tps=100 nb_sec=5912
case_no=162 label=Case6.150 nb_sol=0 ticks=365854 tps=100 nb_sec=3658
case_no=162 label=Case6.150 nb_sol=0 ticks=657472 tps=100 nb_sec=6574
case_no=162 label=Case6.150 nb_sol=0 ticks=328329 tps=100 nb_sec=3283
case_no=162 label=Case6.150 nb_sol=0 ticks=479109 tps=100 nb_sec=4791
case_no=162 label=Case6.150 nb_sol=0 ticks=406079 tps=100 nb_sec=4060
case_no=162 label=Case6.150 nb_sol=0 ticks=389502 tps=100 nb_sec=3895
case_no=162 label=Case6.150 nb_sol=0 ticks=214478 tps=100 nb_sec=2144
case_no=162 label=Case6.150 nb_sol=0 ticks=590434 tps=100 nb_sec=5904
case_no=162 label=Case6.150 nb_sol=0 ticks=210019 tps=100 nb_sec=2100
case_no=162 label=Case6.150 nb_sol=0 ticks=567658 tps=100 nb_sec=5676
case_no=162 label=Case6.150 nb_sol=0 ticks=710383 tps=100 nb_sec=7103
case_no=162 label=Case6.150 nb_sol=0 ticks=607738 tps=100 nb_sec=6077
case_no=162 label=Case6.150 nb_sol=0 ticks=573038 tps=100 nb_sec=5730
case_no=162 label=Case6.150 nb_sol=0 ticks=199487 tps=100 nb_sec=1994
case_no=162 label=Case6.150 nb_sol=0 ticks=423799 tps=100 nb_sec=4237
case_no=162 label=Case6.150 nb_sol=0 ticks=243324 tps=100 nb_sec=2433
case_no=162 label=Case6.150 nb_sol=0 ticks=215096 tps=100 nb_sec=2150
case_no=162 label=Case6.150 nb_sol=0 ticks=292992 tps=100 nb_sec=2929
case_no=162 label=Case6.150 nb_sol=0 ticks=248792 tps=100 nb_sec=2487
case_no=162 label=Case6.150 nb_sol=0 ticks=191584 tps=100 nb_sec=1915
case_no=162 label=Case6.150 nb_sol=0 ticks=232852 tps=100 nb_sec=2328
case_no=162 label=Case6.150 nb_sol=0 ticks=218914 tps=100 nb_sec=2189
case_no=162 label=Case6.150 nb_sol=0 ticks=386350 tps=100 nb_sec=3863
case_no=162 label=Case6.150 nb_sol=0 ticks=217234 tps=100 nb_sec=2172
case_no=162 label=Case6.150 nb_sol=0 ticks=189111 tps=100 nb_sec=1891
case_no=162 label=Case6.150 nb_sol=0 ticks=198079 tps=100 nb_sec=1980
case_no=162 label=Case6.150 nb_sol=0 ticks=197747 tps=100 nb_sec=1977
case_no=162 label=Case6.150 nb_sol=0 ticks=343926 tps=100 nb_sec=3439
case_no=162 label=Case6.150 nb_sol=0 ticks=195771 tps=100 nb_sec=1957
case_no=162 label=Case6.150 nb_sol=0 ticks=188120 tps=100 nb_sec=1881
case_no=162 label=Case6.150 nb_sol=0 ticks=206516 tps=100 nb_sec=2065
case_no=162 label=Case6.150 nb_sol=0 ticks=678966 tps=100 nb_sec=6789
case_no=162 label=Case6.150 nb_sol=0 ticks=603016 tps=100 nb_sec=6030
case_no=162 label=Case6.150 nb_sol=0 ticks=488466 tps=100 nb_sec=4884
case_no=162 label=Case6.150 nb_sol=0 ticks=742430 tps=100 nb_sec=7424
case_no=162 label=Case6.150 nb_sol=0 ticks=565114 tps=100 nb_sec=5651
case_no=162 label=Case6.150 nb_sol=0 ticks=232877 tps=100 nb_sec=2328
case_no=162 label=Case6.150 nb_sol=0 ticks=497361 tps=100 nb_sec=4973
case_no=162 label=Case6.150 nb_sol=0 ticks=200234 tps=100 nb_sec=2002
case_no=162 label=Case6.150 nb_sol=0 ticks=542091 tps=100 nb_sec=5420
case_no=162 label=Case6.150 nb_sol=0 ticks=207498 tps=100 nb_sec=2074
case_no=162 label=Case6.150 nb_sol=0 ticks=649089 tps=100 nb_sec=6490
case_no=162 label=Case6.150 nb_sol=0 ticks=475721 tps=100 nb_sec=4757
case_no=162 label=Case6.150 nb_sol=0 ticks=527323 tps=100 nb_sec=5273
case_no=162 label=Case6.150 nb_sol=0 ticks=213618 tps=100 nb_sec=2136
case_no=162 label=Case6.150 nb_sol=0 ticks=442728 tps=100 nb_sec=4427
case_no=162 label=Case6.150 nb_sol=0 ticks=225774 tps=100 nb_sec=2257
case_no=162 label=Case6.150 nb_sol=0 ticks=203384 tps=100 nb_sec=2033
case_no=162 label=Case6.150 nb_sol=0 ticks=333747 tps=100 nb_sec=3337
case_no=162 label=Case6.150 nb_sol=0 ticks=341049 tps=100 nb_sec=3410
case_no=162 label=Case6.150 nb_sol=0 ticks=464222 tps=100 nb_sec=4642
case_no=162 label=Case6.150 nb_sol=0 ticks=330841 tps=100 nb_sec=3308
case_no=162 label=Case6.150 nb_sol=0 ticks=401998 tps=100 nb_sec=4019
case_no=162 label=Case6.150 nb_sol=0 ticks=190145 tps=100 nb_sec=1901
case_no=162 label=Case6.150 nb_sol=0 ticks=388430 tps=100 nb_sec=3884
case_no=162 label=Case6.150 nb_sol=0 ticks=197645 tps=100 nb_sec=1976
case_no=162 label=Case6.150 nb_sol=0 ticks=340623 tps=100 nb_sec=3406
case_no=162 label=Case6.150 nb_sol=0 ticks=202189 tps=100 nb_sec=2021
case_no=162 label=Case6.150 nb_sol=0 ticks=287870 tps=100 nb_sec=2878
case_no=162 label=Case6.150 nb_sol=0 ticks=378881 tps=100 nb_sec=3788
case_no=162 label=Case6.150 nb_sol=0 ticks=185206 tps=100 nb_sec=1852
case_no=162 label=Case6.150 nb_sol=0 ticks=554961 tps=100 nb_sec=5549
case_no=162 label=Case6.150 nb_sol=0 ticks=432816 tps=100 nb_sec=4328
case_no=162 label=Case6.150 nb_sol=0 ticks=503997 tps=100 nb_sec=5039
case_no=162 label=Case6.150 nb_sol=0 ticks=243963 tps=100 nb_sec=2439
case_no=162 label=Case6.150 nb_sol=0 ticks=566929 tps=100 nb_sec=5669
case_no=162 label=Case6.150 nb_sol=0 ticks=465615 tps=100 nb_sec=4656
case_no=162 label=Case6.150 nb_sol=0 ticks=223471 tps=100 nb_sec=2234
case_no=162 label=Case6.150 nb_sol=0 ticks=525043 tps=100 nb_sec=5250
case_no=162 label=Case6.150 nb_sol=0 ticks=397456 tps=100 nb_sec=3974
case_no=162 label=Case6.150 nb_sol=0 ticks=438991 tps=100 nb_sec=4389
case_no=162 label=Case6.150 nb_sol=0 ticks=405730 tps=100 nb_sec=4057
case_no=162 label=Case6.150 nb_sol=0 ticks=441027 tps=100 nb_sec=4410
case_no=162 label=Case6.150 nb_sol=0 ticks=352976 tps=100 nb_sec=3529
case_no=162 label=Case6.150 nb_sol=0 ticks=542518 tps=100 nb_sec=5425
case_no=162 label=Case6.150 nb_sol=0 ticks=409039 tps=100 nb_sec=4090
case_no=162 label=Case6.150 nb_sol=0 ticks=493209 tps=100 nb_sec=4932
case_no=162 label=Case6.150 nb_sol=0 ticks=591936 tps=100 nb_sec=5919
case_no=162 label=Case6.150 nb_sol=0 ticks=482732 tps=100 nb_sec=4827
case_no=162 label=Case6.150 nb_sol=0 ticks=582816 tps=100 nb_sec=5828
case_no=162 label=Case6.150 nb_sol=0 ticks=215759 tps=100 nb_sec=2157
case_no=162 label=Case6.150 nb_sol=0 ticks=452941 tps=100 nb_sec=4529
case_no=162 label=Case6.150 nb_sol=0 ticks=531789 tps=100 nb_sec=5317
case_no=162 label=Case6.150 nb_sol=0 ticks=504473 tps=100 nb_sec=5044
case_no=162 label=Case6.150 nb_sol=0 ticks=365214 tps=100 nb_sec=3652
case_no=162 label=Case6.150 nb_sol=0 ticks=608193 tps=100 nb_sec=6081
case_no=162 label=Case6.150 nb_sol=0 ticks=527527 tps=100 nb_sec=5275
case_no=162 label=Case6.150 nb_sol=0 ticks=564272 tps=100 nb_sec=5642
case_no=162 label=Case6.150 nb_sol=0 ticks=246759 tps=100 nb_sec=2467
case_no=162 label=Case6.150 nb_sol=0 ticks=424678 tps=100 nb_sec=4246
case_no=162 label=Case6.150 nb_sol=0 ticks=517485 tps=100 nb_sec=5174
case_no=162 label=Case6.150 nb_sol=0 ticks=358271 tps=100 nb_sec=3582
case_no=162 label=Case6.150 nb_sol=0 ticks=484151 tps=100 nb_sec=4841
case_no=162 label=Case6.150 nb_sol=0 ticks=396704 tps=100 nb_sec=3967
case_no=162 label=Case6.150 nb_sol=0 ticks=389409 tps=100 nb_sec=3894
case_no=162 label=Case6.150 nb_sol=0 ticks=450007 tps=100 nb_sec=4500
case_no=162 label=Case6.150 nb_sol=0 ticks=426846 tps=100 nb_sec=4268
case_no=162 label=Case6.150 nb_sol=0 ticks=184723 tps=100 nb_sec=1847
case_no=162 label=Case6.150 nb_sol=0 ticks=507493 tps=100 nb_sec=5074
case_no=162 label=Case6.150 nb_sol=0 ticks=446164 tps=100 nb_sec=4461
case_no=162 label=Case6.150 nb_sol=0 ticks=495258 tps=100 nb_sec=4952
case_no=162 label=Case6.150 nb_sol=0 ticks=260880 tps=100 nb_sec=2608
case_no=162 label=Case6.150 nb_sol=0 ticks=518917 tps=100 nb_sec=5189
case_no=162 label=Case6.150 nb_sol=0 ticks=591275 tps=100 nb_sec=5912
case_no=162 label=Case6.150 nb_sol=0 ticks=468727 tps=100 nb_sec=4687
case_no=162 label=Case6.150 nb_sol=0 ticks=413456 tps=100 nb_sec=4134
case_no=162 label=Case6.150 nb_sol=0 ticks=468829 tps=100 nb_sec=4688
case_no=162 label=Case6.150 nb_sol=0 ticks=526926 tps=100 nb_sec=5269
case_no=162 label=Case6.150 nb_sol=0 ticks=438453 tps=100 nb_sec=4384
case_no=162 label=Case6.150 nb_sol=0 ticks=436901 tps=100 nb_sec=4369
case_no=162 label=Case6.150 nb_sol=0 ticks=480589 tps=100 nb_sec=4805
case_no=162 label=Case6.150 nb_sol=0 ticks=371915 tps=100 nb_sec=3719
case_no=162 label=Case6.150 nb_sol=0 ticks=405019 tps=100 nb_sec=4050
case_no=162 label=Case6.150 nb_sol=0 ticks=220135 tps=100 nb_sec=2201
case_no=162 label=Case6.150 nb_sol=0 ticks=360082 tps=100 nb_sec=3600
case_no=162 label=Case6.150 nb_sol=0 ticks=415042 tps=100 nb_sec=4150
case_no=162 label=Case6.150 nb_sol=0 ticks=400186 tps=100 nb_sec=4001
case_no=162 label=Case6.150 nb_sol=0 ticks=612449 tps=100 nb_sec=6124
case_no=162 label=Case6.150 nb_sol=0 ticks=214935 tps=100 nb_sec=2149
case_no=162 label=Case6.150 nb_sol=0 ticks=390282 tps=100 nb_sec=3902
case_no=162 label=Case6.150 nb_sol=0 ticks=596773 tps=100 nb_sec=5967
case_no=162 label=Case6.150 nb_sol=0 ticks=335034 tps=100 nb_sec=3350
case_no=162 label=Case6.150 nb_sol=0 ticks=456778 tps=100 nb_sec=4567
case_no=162 label=Case6.150 nb_sol=0 ticks=542688 tps=100 nb_sec=5426
case_no=162 label=Case6.150 nb_sol=0 ticks=254271 tps=100 nb_sec=2542
case_no=162 label=Case6.150 nb_sol=0 ticks=438347 tps=100 nb_sec=4383
case_no=162 label=Case6.150 nb_sol=0 ticks=412851 tps=100 nb_sec=4128
case_no=162 label=Case6.150 nb_sol=0 ticks=682740 tps=100 nb_sec=6827
case_no=162 label=Case6.150 nb_sol=0 ticks=482766 tps=100 nb_sec=4827
case_no=162 label=Case6.150 nb_sol=0 ticks=304270 tps=100 nb_sec=3042
case_no=162 label=Case6.150 nb_sol=0 ticks=361319 tps=100 nb_sec=3613
case_no=162 label=Case6.150 nb_sol=0 ticks=690865 tps=100 nb_sec=6908
case_no=162 label=Case6.150 nb_sol=0 ticks=328510 tps=100 nb_sec=3285
case_no=162 label=Case6.150 nb_sol=0 ticks=367216 tps=100 nb_sec=3672
case_no=162 label=Case6.150 nb_sol=0 ticks=347152 tps=100 nb_sec=3471
case_no=162 label=Case6.150 nb_sol=0 ticks=456749 tps=100 nb_sec=4567
case_no=162 label=Case6.150 nb_sol=0 ticks=368959 tps=100 nb_sec=3689
case_no=162 label=Case6.150 nb_sol=0 ticks=310281 tps=100 nb_sec=3102
case_no=162 label=Case6.150 nb_sol=0 ticks=465305 tps=100 nb_sec=4653
case_no=162 label=Case6.150 nb_sol=0 ticks=426875 tps=100 nb_sec=4268
case_no=162 label=Case6.150 nb_sol=0 ticks=528453 tps=100 nb_sec=5284
case_no=162 label=Case6.150 nb_sol=0 ticks=436341 tps=100 nb_sec=4363
case_no=162 label=Case6.150 nb_sol=0 ticks=608937 tps=100 nb_sec=6089
case_no=162 label=Case6.150 nb_sol=0 ticks=512689 tps=100 nb_sec=5126
case_no=162 label=Case6.150 nb_sol=0 ticks=412982 tps=100 nb_sec=4129
case_no=162 label=Case6.150 nb_sol=0 ticks=349719 tps=100 nb_sec=3497
case_no=162 label=Case6.150 nb_sol=0 ticks=411783 tps=100 nb_sec=4117
case_no=162 label=Case6.150 nb_sol=0 ticks=399927 tps=100 nb_sec=3999
case_no=162 label=Case6.150 nb_sol=0 ticks=336490 tps=100 nb_sec=3364
case_no=162 label=Case6.150 nb_sol=0 ticks=461218 tps=100 nb_sec=4612
case_no=162 label=Case6.150 nb_sol=0 ticks=615394 tps=100 nb_sec=6153
case_no=162 label=Case6.150 nb_sol=0 ticks=526070 tps=100 nb_sec=5260
case_no=162 label=Case6.150 nb_sol=0 ticks=496019 tps=100 nb_sec=4960
case_no=162 label=Case6.150 nb_sol=0 ticks=506389 tps=100 nb_sec=5063
case_no=162 label=Case6.150 nb_sol=0 ticks=419468 tps=100 nb_sec=4194
case_no=162 label=Case6.150 nb_sol=0 ticks=400931 tps=100 nb_sec=4009
case_no=162 label=Case6.150 nb_sol=0 ticks=459944 tps=100 nb_sec=4599
case_no=162 label=Case6.150 nb_sol=0 ticks=570354 tps=100 nb_sec=5703
case_no=162 label=Case6.150 nb_sol=0 ticks=516229 tps=100 nb_sec=5162
case_no=162 label=Case6.150 nb_sol=0 ticks=471713 tps=100 nb_sec=4717
case_no=162 label=Case6.150 nb_sol=0 ticks=365952 tps=100 nb_sec=3659
case_no=162 label=Case6.150 nb_sol=0 ticks=434466 tps=100 nb_sec=4344
case_no=162 label=Case6.150 nb_sol=0 ticks=448289 tps=100 nb_sec=4482
case_no=162 label=Case6.150 nb_sol=0 ticks=439344 tps=100 nb_sec=4393
case_no=162 label=Case6.150 nb_sol=0 ticks=390500 tps=100 nb_sec=3905
case_no=162 label=Case6.150 nb_sol=0 ticks=453943 tps=100 nb_sec=4539
case_no=162 label=Case6.150 nb_sol=0 ticks=474748 tps=100 nb_sec=4747
case_no=162 label=Case6.150 nb_sol=0 ticks=429213 tps=100 nb_sec=4292
case_no=162 label=Case6.150 nb_sol=0 ticks=476798 tps=100 nb_sec=4767
case_no=162 label=Case6.150 nb_sol=0 ticks=538449 tps=100 nb_sec=5384
case_no=162 label=Case6.150 nb_sol=0 ticks=446946 tps=100 nb_sec=4469
case_no=162 label=Case6.150 nb_sol=0 ticks=462528 tps=100 nb_sec=4625
case_no=162 label=Case6.150 nb_sol=0 ticks=407081 tps=100 nb_sec=4070
case_no=162 label=Case6.150 nb_sol=0 ticks=410897 tps=100 nb_sec=4108
case_no=162 label=Case6.150 nb_sol=0 ticks=427318 tps=100 nb_sec=4273
case_no=162 label=Case6.150 nb_sol=0 ticks=532133 tps=100 nb_sec=5321
case_no=162 label=Case6.150 nb_sol=0 ticks=466102 tps=100 nb_sec=4661
case_no=162 label=Case6.150 nb_sol=0 ticks=474004 tps=100 nb_sec=4740
case_no=162 label=Case6.150 nb_sol=0 ticks=498189 tps=100 nb_sec=4981
case_no=162 label=Case6.150 nb_sol=0 ticks=313608 tps=100 nb_sec=3136
case_no=162 label=Case6.150 nb_sol=0 ticks=390412 tps=100 nb_sec=3904
case_no=162 label=Case6.150 nb_sol=0 ticks=481159 tps=100 nb_sec=4811
case_no=162 label=Case6.150 nb_sol=0 ticks=499985 tps=100 nb_sec=4999
case_no=162 label=Case6.150 nb_sol=0 ticks=379792 tps=100 nb_sec=3797
case_no=162 label=Case6.150 nb_sol=0 ticks=463703 tps=100 nb_sec=4637
case_no=162 label=Case6.150 nb_sol=0 ticks=402323 tps=100 nb_sec=4023
case_no=162 label=Case6.150 nb_sol=0 ticks=467203 tps=100 nb_sec=4672
case_no=162 label=Case6.150 nb_sol=0 ticks=354856 tps=100 nb_sec=3548
case_no=162 label=Case6.150 nb_sol=0 ticks=387556 tps=100 nb_sec=3875
case_no=162 label=Case6.150 nb_sol=0 ticks=371990 tps=100 nb_sec=3719
case_no=162 label=Case6.150 nb_sol=0 ticks=355739 tps=100 nb_sec=3557
case_no=162 label=Case6.150 nb_sol=0 ticks=356015 tps=100 nb_sec=3560
case_no=162 label=Case6.150 nb_sol=0 ticks=386238 tps=100 nb_sec=3862
case_no=162 label=Case6.150 nb_sol=0 ticks=383384 tps=100 nb_sec=3833
case_no=162 label=Case6.150 nb_sol=0 ticks=366360 tps=100 nb_sec=3663
case_no=162 label=Case6.150 nb_sol=0 ticks=337439 tps=100 nb_sec=3374
case_no=162 label=Case6.150 nb_sol=0 ticks=441965 tps=100 nb_sec=4419
case_no=162 label=Case6.150 nb_sol=0 ticks=385193 tps=100 nb_sec=3851
case_no=162 label=Case6.150 nb_sol=0 ticks=379145 tps=100 nb_sec=3791
case_no=162 label=Case6.150 nb_sol=0 ticks=404633 tps=100 nb_sec=4046
case_no=162 label=Case6.150 nb_sol=0 ticks=279075 tps=100 nb_sec=2790
case_no=162 label=Case6.150 nb_sol=0 ticks=449724 tps=100 nb_sec=4497
case_no=162 label=Case6.150 nb_sol=0 ticks=394755 tps=100 nb_sec=3947
case_no=162 label=Case6.150 nb_sol=0 ticks=338543 tps=100 nb_sec=3385
case_no=162 label=Case6.150 nb_sol=0 ticks=428921 tps=100 nb_sec=4289
case_no=162 label=Case6.150 nb_sol=0 ticks=425623 tps=100 nb_sec=4256
case_no=162 label=Case6.150 nb_sol=0 ticks=379625 tps=100 nb_sec=3796
case_no=162 label=Case6.150 nb_sol=0 ticks=396627 tps=100 nb_sec=3966
case_no=162 label=Case6.150 nb_sol=0 ticks=338283 tps=100 nb_sec=3382
case_no=162 label=Case6.150 nb_sol=0 ticks=368596 tps=100 nb_sec=3685
case_no=162 label=Case6.150 nb_sol=0 ticks=349933 tps=100 nb_sec=3499
case_no=162 label=Case6.150 nb_sol=0 ticks=376750 tps=100 nb_sec=3767
case_no=162 label=Case6.150 nb_sol=0 ticks=406222 tps=100 nb_sec=4062
case_no=162 label=Case6.150 nb_sol=0 ticks=319837 tps=100 nb_sec=3198
case_no=162 label=Case6.150 nb_sol=0 ticks=316641 tps=100 nb_sec=3166
case_no=162 label=Case6.150 nb_sol=0 ticks=387362 tps=100 nb_sec=3873
case_no=162 label=Case6.150 nb_sol=0 ticks=314454 tps=100 nb_sec=3144
case_no=162 label=Case6.150 nb_sol=0 ticks=326989 tps=100 nb_sec=3269
case_no=162 label=Case6.150 nb_sol=0 ticks=281627 tps=100 nb_sec=2816
case_no=162 label=Case6.150 nb_sol=0 ticks=372537 tps=100 nb_sec=3725
case_no=162 label=Case6.150 nb_sol=0 ticks=430078 tps=100 nb_sec=4300
case_no=162 label=Case6.150 nb_sol=0 ticks=418158 tps=100 nb_sec=4181
case_no=162 label=Case6.150 nb_sol=0 ticks=386943 tps=100 nb_sec=3869
case_no=162 label=Case6.150 nb_sol=0 ticks=394959 tps=100 nb_sec=3949
case_no=162 label=Case6.150 nb_sol=0 ticks=451055 tps=100 nb_sec=4510
case_no=162 label=Case6.150 nb_sol=0 ticks=464576 tps=100 nb_sec=4645
case_no=162 label=Case6.150 nb_sol=0 ticks=431405 tps=100 nb_sec=4314
case_no=162 label=Case6.150 nb_sol=0 ticks=535840 tps=100 nb_sec=5358
case_no=162 label=Case6.150 nb_sol=0 ticks=541400 tps=100 nb_sec=5414
case_no=162 label=Case6.150 nb_sol=0 ticks=463871 tps=100 nb_sec=4638
case_no=162 label=Case6.150 nb_sol=0 ticks=458137 tps=100 nb_sec=4581
case_no=162 label=Case6.150 nb_sol=0 ticks=432749 tps=100 nb_sec=4327
case_no=162 label=Case6.150 nb_sol=0 ticks=467168 tps=100 nb_sec=4671
case_no=162 label=Case6.150 nb_sol=0 ticks=394832 tps=100 nb_sec=3948
case_no=162 label=Case6.150 nb_sol=0 ticks=416334 tps=100 nb_sec=4163
case_no=162 label=Case6.150 nb_sol=0 ticks=332624 tps=100 nb_sec=3326
case_no=162 label=Case6.150 nb_sol=0 ticks=523457 tps=100 nb_sec=5234
case_no=162 label=Case6.150 nb_sol=0 ticks=448701 tps=100 nb_sec=4487
case_no=162 label=Case6.150 nb_sol=0 ticks=361124 tps=100 nb_sec=3611
case_no=162 label=Case6.150 nb_sol=0 ticks=417672 tps=100 nb_sec=4176
case_no=162 label=Case6.150 nb_sol=0 ticks=374104 tps=100 nb_sec=3741
case_no=162 label=Case6.150 nb_sol=0 ticks=380773 tps=100 nb_sec=3807
case_no=162 label=Case6.150 nb_sol=0 ticks=413485 tps=100 nb_sec=4134
case_no=162 label=Case6.150 nb_sol=0 ticks=354757 tps=100 nb_sec=3547
case_no=162 label=Case6.150 nb_sol=0 ticks=376536 tps=100 nb_sec=3765
case_no=162 label=Case6.150 nb_sol=0 ticks=488471 tps=100 nb_sec=4884
case_no=162 label=Case6.150 nb_sol=0 ticks=326379 tps=100 nb_sec=3263
case_no=162 label=Case6.150 nb_sol=0 ticks=387315 tps=100 nb_sec=3873
case_no=162 label=Case6.150 nb_sol=0 ticks=456745 tps=100 nb_sec=4567
case_no=162 label=Case6.150 nb_sol=0 ticks=534334 tps=100 nb_sec=5343
case_no=162 label=Case6.150 nb_sol=0 ticks=534922 tps=100 nb_sec=5349
case_no=162 label=Case6.150 nb_sol=0 ticks=394462 tps=100 nb_sec=3944
case_no=162 label=Case6.150 nb_sol=0 ticks=534967 tps=100 nb_sec=5349
case_no=162 label=Case6.150 nb_sol=0 ticks=393893 tps=100 nb_sec=3938
case_no=162 label=Case6.150 nb_sol=0 ticks=418390 tps=100 nb_sec=4183
case_no=162 label=Case6.150 nb_sol=0 ticks=423210 tps=100 nb_sec=4232
case_no=162 label=Case6.150 nb_sol=0 ticks=364221 tps=100 nb_sec=3642
case_no=162 label=Case6.150 nb_sol=0 ticks=378414 tps=100 nb_sec=3784
case_no=162 label=Case6.150 nb_sol=0 ticks=359046 tps=100 nb_sec=3590
case_no=162 label=Case6.150 nb_sol=0 ticks=462374 tps=100 nb_sec=4623
case_no=162 label=Case6.150 nb_sol=0 ticks=402448 tps=100 nb_sec=4024
case_no=162 label=Case6.150 nb_sol=0 ticks=402180 tps=100 nb_sec=4021
case_no=162 label=Case6.150 nb_sol=0 ticks=398098 tps=100 nb_sec=3980
case_no=162 label=Case6.150 nb_sol=0 ticks=412199 tps=100 nb_sec=4121
case_no=162 label=Case6.150 nb_sol=0 ticks=341735 tps=100 nb_sec=3417
case_no=162 label=Case6.150 nb_sol=0 ticks=310086 tps=100 nb_sec=3100
case_no=162 label=Case6.150 nb_sol=0 ticks=210247 tps=100 nb_sec=2102
case_no=162 label=Case6.150 nb_sol=0 ticks=395414 tps=100 nb_sec=3954
case_no=162 label=Case6.150 nb_sol=0 ticks=350377 tps=100 nb_sec=3503
case_no=162 label=Case6.150 nb_sol=0 ticks=418519 tps=100 nb_sec=4185
case_no=162 label=Case6.150 nb_sol=0 ticks=187222 tps=100 nb_sec=1872
case_no=162 label=Case6.150 nb_sol=0 ticks=307573 tps=100 nb_sec=3075
case_no=162 label=Case6.150 nb_sol=0 ticks=478583 tps=100 nb_sec=4785
case_no=162 label=Case6.150 nb_sol=0 ticks=286331 tps=100 nb_sec=2863
case_no=162 label=Case6.150 nb_sol=0 ticks=341001 tps=100 nb_sec=3410
case_no=162 label=Case6.150 nb_sol=0 ticks=346791 tps=100 nb_sec=3467
case_no=162 label=Case6.150 nb_sol=0 ticks=304428 tps=100 nb_sec=3044
case_no=162 label=Case6.150 nb_sol=0 ticks=300574 tps=100 nb_sec=3005
case_no=162 label=Case6.150 nb_sol=0 ticks=190526 tps=100 nb_sec=1905
case_no=162 label=Case6.150 nb_sol=0 ticks=409637 tps=100 nb_sec=4096
case_no=162 label=Case6.150 nb_sol=0 ticks=390869 tps=100 nb_sec=3908
case_no=162 label=Case6.150 nb_sol=0 ticks=497992 tps=100 nb_sec=4979
case_no=162 label=Case6.150 nb_sol=0 ticks=384226 tps=100 nb_sec=3842
case_no=162 label=Case6.150 nb_sol=0 ticks=464281 tps=100 nb_sec=4642
case_no=162 label=Case6.150 nb_sol=0 ticks=213481 tps=100 nb_sec=2134
case_no=162 label=Case6.150 nb_sol=0 ticks=537762 tps=100 nb_sec=5377
case_no=162 label=Case6.150 nb_sol=0 ticks=187192 tps=100 nb_sec=1871
case_no=162 label=Case6.150 nb_sol=0 ticks=384759 tps=100 nb_sec=3847
case_no=162 label=Case6.150 nb_sol=0 ticks=396452 tps=100 nb_sec=3964
case_no=162 label=Case6.150 nb_sol=0 ticks=433725 tps=100 nb_sec=4337
case_no=162 label=Case6.150 nb_sol=0 ticks=192781 tps=100 nb_sec=1927
case_no=162 label=Case6.150 nb_sol=0 ticks=536050 tps=100 nb_sec=5360
case_no=162 label=Case6.150 nb_sol=0 ticks=361068 tps=100 nb_sec=3610
case_no=162 label=Case6.150 nb_sol=0 ticks=376001 tps=100 nb_sec=3760
case_no=162 label=Case6.150 nb_sol=0 ticks=402023 tps=100 nb_sec=4020
case_no=162 label=Case6.150 nb_sol=0 ticks=427089 tps=100 nb_sec=4270
case_no=162 label=Case6.150 nb_sol=0 ticks=405181 tps=100 nb_sec=4051
case_no=162 label=Case6.150 nb_sol=0 ticks=400076 tps=100 nb_sec=4000
case_no=162 label=Case6.150 nb_sol=0 ticks=427821 tps=100 nb_sec=4278
case_no=162 label=Case6.150 nb_sol=0 ticks=347341 tps=100 nb_sec=3473
case_no=162 label=Case6.150 nb_sol=0 ticks=396518 tps=100 nb_sec=3965
case_no=162 label=Case6.150 nb_sol=0 ticks=328967 tps=100 nb_sec=3289
case_no=162 label=Case6.150 nb_sol=0 ticks=405371 tps=100 nb_sec=4053
case_no=162 label=Case6.150 nb_sol=0 ticks=381868 tps=100 nb_sec=3818
case_no=162 label=Case6.150 nb_sol=0 ticks=436814 tps=100 nb_sec=4368
case_no=162 label=Case6.150 nb_sol=0 ticks=443614 tps=100 nb_sec=4436
case_no=162 label=Case6.150 nb_sol=0 ticks=409266 tps=100 nb_sec=4092
case_no=162 label=Case6.150 nb_sol=0 ticks=473249 tps=100 nb_sec=4732
case_no=162 label=Case6.150 nb_sol=0 ticks=426152 tps=100 nb_sec=4261
case_no=162 label=Case6.150 nb_sol=0 ticks=370893 tps=100 nb_sec=3708
case_no=162 label=Case6.150 nb_sol=0 ticks=425069 tps=100 nb_sec=4250
case_no=162 label=Case6.150 nb_sol=0 ticks=437367 tps=100 nb_sec=4373
case_no=162 label=Case6.150 nb_sol=0 ticks=477154 tps=100 nb_sec=4771
case_no=162 label=Case6.150 nb_sol=0 ticks=393296 tps=100 nb_sec=3932
case_no=162 label=Case6.150 nb_sol=0 ticks=424462 tps=100 nb_sec=4244
case_no=162 label=Case6.150 nb_sol=0 ticks=343863 tps=100 nb_sec=3438
case_no=162 label=Case6.150 nb_sol=0 ticks=337162 tps=100 nb_sec=3371
case_no=162 label=Case6.150 nb_sol=0 ticks=396496 tps=100 nb_sec=3964
case_no=162 label=Case6.150 nb_sol=0 ticks=364843 tps=100 nb_sec=3648
case_no=162 label=Case6.150 nb_sol=0 ticks=500742 tps=100 nb_sec=5007
case_no=162 label=Case6.150 nb_sol=0 ticks=527363 tps=100 nb_sec=5273
case_no=162 label=Case6.150 nb_sol=0 ticks=467043 tps=100 nb_sec=4670
case_no=162 label=Case6.150 nb_sol=0 ticks=412602 tps=100 nb_sec=4126
case_no=162 label=Case6.150 nb_sol=0 ticks=371401 tps=100 nb_sec=3714
case_no=162 label=Case6.150 nb_sol=0 ticks=335761 tps=100 nb_sec=3357
case_no=162 label=Case6.150 nb_sol=0 ticks=343709 tps=100 nb_sec=3437
case_no=162 label=Case6.150 nb_sol=0 ticks=344669 tps=100 nb_sec=3446
case_no=162 label=Case6.150 nb_sol=0 ticks=433713 tps=100 nb_sec=4337
case_no=162 label=Case6.150 nb_sol=0 ticks=305055 tps=100 nb_sec=3050
case_no=162 label=Case6.150 nb_sol=0 ticks=433805 tps=100 nb_sec=4338
case_no=162 label=Case6.150 nb_sol=0 ticks=319067 tps=100 nb_sec=3190
case_no=162 label=Case6.150 nb_sol=0 ticks=318805 tps=100 nb_sec=3188
case_no=162 label=Case6.150 nb_sol=0 ticks=402770 tps=100 nb_sec=4027
case_no=162 label=Case6.150 nb_sol=0 ticks=455290 tps=100 nb_sec=4552
case_no=162 label=Case6.150 nb_sol=0 ticks=325696 tps=100 nb_sec=3256
case_no=162 label=Case6.150 nb_sol=0 ticks=356708 tps=100 nb_sec=3567
case_no=162 label=Case6.150 nb_sol=0 ticks=235300 tps=100 nb_sec=2353
case_no=162 label=Case6.150 nb_sol=0 ticks=370871 tps=100 nb_sec=3708
case_no=162 label=Case6.150 nb_sol=0 ticks=377188 tps=100 nb_sec=3771
case_no=162 label=Case6.150 nb_sol=0 ticks=318324 tps=100 nb_sec=3183
case_no=162 label=Case6.150 nb_sol=0 ticks=346516 tps=100 nb_sec=3465
case_no=162 label=Case6.150 nb_sol=0 ticks=393805 tps=100 nb_sec=3938
case_no=162 label=Case6.150 nb_sol=0 ticks=445664 tps=100 nb_sec=4456
case_no=162 label=Case6.150 nb_sol=0 ticks=152461 tps=100 nb_sec=1524
case_no=162 label=Case6.150 nb_sol=0 ticks=340732 tps=100 nb_sec=3407
case_no=162 label=Case6.150 nb_sol=0 ticks=285659 tps=100 nb_sec=2856
case_no=162 label=Case6.150 nb_sol=0 ticks=375757 tps=100 nb_sec=3757
case_no=162 label=Case6.150 nb_sol=0 ticks=481871 tps=100 nb_sec=4818
case_no=162 label=Case6.150 nb_sol=0 ticks=358496 tps=100 nb_sec=3584
case_no=162 label=Case6.150 nb_sol=0 ticks=435769 tps=100 nb_sec=4357
case_no=162 label=Case6.150 nb_sol=0 ticks=413604 tps=100 nb_sec=4136
case_no=162 label=Case6.150 nb_sol=0 ticks=411079 tps=100 nb_sec=4110
case_no=162 label=Case6.150 nb_sol=0 ticks=424306 tps=100 nb_sec=4243
case_no=162 label=Case6.150 nb_sol=0 ticks=338422 tps=100 nb_sec=3384
case_no=162 label=Case6.150 nb_sol=0 ticks=419261 tps=100 nb_sec=4192
case_no=162 label=Case6.150 nb_sol=0 ticks=373316 tps=100 nb_sec=3733
case_no=162 label=Case6.150 nb_sol=0 ticks=352274 tps=100 nb_sec=3522
case_no=162 label=Case6.150 nb_sol=0 ticks=424597 tps=100 nb_sec=4245
case_no=162 label=Case6.150 nb_sol=0 ticks=252689 tps=100 nb_sec=2526
case_no=162 label=Case6.150 nb_sol=0 ticks=329225 tps=100 nb_sec=3292
case_no=162 label=Case6.150 nb_sol=0 ticks=343609 tps=100 nb_sec=3436
case_no=162 label=Case6.150 nb_sol=0 ticks=357429 tps=100 nb_sec=3574
case_no=162 label=Case6.150 nb_sol=0 ticks=268766 tps=100 nb_sec=2687
case_no=162 label=Case6.150 nb_sol=0 ticks=465067 tps=100 nb_sec=4650
case_no=162 label=Case6.150 nb_sol=0 ticks=337525 tps=100 nb_sec=3375
case_no=162 label=Case6.150 nb_sol=0 ticks=348451 tps=100 nb_sec=3484
case_no=162 label=Case6.150 nb_sol=0 ticks=323194 tps=100 nb_sec=3231
case_no=162 label=Case6.150 nb_sol=0 ticks=400810 tps=100 nb_sec=4008
case_no=162 label=Case6.150 nb_sol=0 ticks=374836 tps=100 nb_sec=3748
case_no=162 label=Case6.150 nb_sol=0 ticks=360073 tps=100 nb_sec=3600
case_no=162 label=Case6.150 nb_sol=0 ticks=332271 tps=100 nb_sec=3322
case_no=162 label=Case6.150 nb_sol=0 ticks=197822 tps=100 nb_sec=1978
case_no=162 label=Case6.150 nb_sol=0 ticks=428360 tps=100 nb_sec=4283
case_no=162 label=Case6.150 nb_sol=0 ticks=344547 tps=100 nb_sec=3445
case_no=162 label=Case6.150 nb_sol=0 ticks=300086 tps=100 nb_sec=3000
case_no=162 label=Case6.150 nb_sol=0 ticks=353520 tps=100 nb_sec=3535
case_no=162 label=Case6.150 nb_sol=0 ticks=195406 tps=100 nb_sec=1954
case_no=162 label=Case6.150 nb_sol=0 ticks=405534 tps=100 nb_sec=4055
case_no=162 label=Case6.150 nb_sol=0 ticks=490320 tps=100 nb_sec=4903
case_no=162 label=Case6.150 nb_sol=0 ticks=367948 tps=100 nb_sec=3679
case_no=162 label=Case6.150 nb_sol=0 ticks=406486 tps=100 nb_sec=4064
case_no=162 label=Case6.150 nb_sol=0 ticks=463949 tps=100 nb_sec=4639
case_no=162 label=Case6.150 nb_sol=0 ticks=518618 tps=100 nb_sec=5186
case_no=162 label=Case6.150 nb_sol=0 ticks=350559 tps=100 nb_sec=3505
case_no=162 label=Case6.150 nb_sol=0 ticks=472474 tps=100 nb_sec=4724
case_no=162 label=Case6.150 nb_sol=0 ticks=427352 tps=100 nb_sec=4273
case_no=162 label=Case6.150 nb_sol=0 ticks=327878 tps=100 nb_sec=3278
case_no=162 label=Case6.150 nb_sol=0 ticks=196686 tps=100 nb_sec=1966
case_no=162 label=Case6.150 nb_sol=0 ticks=301809 tps=100 nb_sec=3018
case_no=162 label=Case6.150 nb_sol=0 ticks=341737 tps=100 nb_sec=3417
case_no=162 label=Case6.150 nb_sol=0 ticks=443951 tps=100 nb_sec=4439
case_no=162 label=Case6.150 nb_sol=0 ticks=342585 tps=100 nb_sec=3425
case_no=162 label=Case6.150 nb_sol=0 ticks=206129 tps=100 nb_sec=2061
case_no=162 label=Case6.150 nb_sol=0 ticks=393792 tps=100 nb_sec=3937
case_no=162 label=Case6.150 nb_sol=0 ticks=447570 tps=100 nb_sec=4475
case_no=162 label=Case6.150 nb_sol=0 ticks=389435 tps=100 nb_sec=3894
case_no=162 label=Case6.150 nb_sol=0 ticks=409808 tps=100 nb_sec=4098
case_no=162 label=Case6.150 nb_sol=0 ticks=348264 tps=100 nb_sec=3482
case_no=162 label=Case6.150 nb_sol=0 ticks=382866 tps=100 nb_sec=3828
case_no=162 label=Case6.150 nb_sol=0 ticks=431307 tps=100 nb_sec=4313
case_no=162 label=Case6.150 nb_sol=0 ticks=272350 tps=100 nb_sec=2723
case_no=162 label=Case6.150 nb_sol=0 ticks=343788 tps=100 nb_sec=3437
case_no=162 label=Case6.150 nb_sol=0 ticks=346598 tps=100 nb_sec=3465
case_no=162 label=Case6.150 nb_sol=0 ticks=397821 tps=100 nb_sec=3978
case_no=162 label=Case6.150 nb_sol=0 ticks=387123 tps=100 nb_sec=3871
case_no=162 label=Case6.150 nb_sol=0 ticks=188223 tps=100 nb_sec=1882
case_no=162 label=Case6.150 nb_sol=0 ticks=226663 tps=100 nb_sec=2266
case_no=162 label=Case6.150 nb_sol=0 ticks=212904 tps=100 nb_sec=2129
case_no=162 label=Case6.150 nb_sol=0 ticks=328893 tps=100 nb_sec=3288
case_no=162 label=Case6.150 nb_sol=0 ticks=351275 tps=100 nb_sec=3512
case_no=162 label=Case6.150 nb_sol=0 ticks=328037 tps=100 nb_sec=3280
case_no=162 label=Case6.150 nb_sol=0 ticks=386314 tps=100 nb_sec=3863
case_no=162 label=Case6.150 nb_sol=0 ticks=368236 tps=100 nb_sec=3682
case_no=162 label=Case6.150 nb_sol=0 ticks=302732 tps=100 nb_sec=3027
case_no=162 label=Case6.150 nb_sol=0 ticks=521574 tps=100 nb_sec=5215
case_no=162 label=Case6.150 nb_sol=0 ticks=380048 tps=100 nb_sec=3800
case_no=162 label=Case6.150 nb_sol=0 ticks=391798 tps=100 nb_sec=3917
case_no=162 label=Case6.150 nb_sol=0 ticks=372912 tps=100 nb_sec=3729
case_no=162 label=Case6.150 nb_sol=0 ticks=337750 tps=100 nb_sec=3377
case_no=162 label=Case6.150 nb_sol=0 ticks=337465 tps=100 nb_sec=3374
case_no=162 label=Case6.150 nb_sol=0 ticks=371380 tps=100 nb_sec=3713
case_no=162 label=Case6.150 nb_sol=0 ticks=336126 tps=100 nb_sec=3361
case_no=162 label=Case6.150 nb_sol=0 ticks=338294 tps=100 nb_sec=3382
case_no=162 label=Case6.150 nb_sol=0 ticks=284518 tps=100 nb_sec=2845
case_no=162 label=Case6.150 nb_sol=0 ticks=157204 tps=100 nb_sec=1572
case_no=162 label=Case6.150 nb_sol=0 ticks=323176 tps=100 nb_sec=3231
case_no=162 label=Case6.150 nb_sol=0 ticks=183655 tps=100 nb_sec=1836
case_no=162 label=Case6.150 nb_sol=0 ticks=330648 tps=100 nb_sec=3306
case_no=162 label=Case6.150 nb_sol=0 ticks=330439 tps=100 nb_sec=3304
case_no=162 label=Case6.150 nb_sol=0 ticks=342472 tps=100 nb_sec=3424
case_no=162 label=Case6.150 nb_sol=0 ticks=341023 tps=100 nb_sec=3410
case_no=162 label=Case6.150 nb_sol=0 ticks=166785 tps=100 nb_sec=1667
case_no=162 label=Case6.150 nb_sol=0 ticks=327462 tps=100 nb_sec=3274
case_no=162 label=Case6.150 nb_sol=0 ticks=362110 tps=100 nb_sec=3621
case_no=162 label=Case6.150 nb_sol=0 ticks=303983 tps=100 nb_sec=3039
case_no=162 label=Case6.150 nb_sol=0 ticks=241286 tps=100 nb_sec=2412
case_no=162 label=Case6.150 nb_sol=0 ticks=494887 tps=100 nb_sec=4948
case_no=162 label=Case6.150 nb_sol=0 ticks=239073 tps=100 nb_sec=2390
case_no=162 label=Case6.150 nb_sol=0 ticks=415503 tps=100 nb_sec=4155
case_no=162 label=Case6.150 nb_sol=0 ticks=331301 tps=100 nb_sec=3313
case_no=162 label=Case6.150 nb_sol=0 ticks=456111 tps=100 nb_sec=4561
case_no=162 label=Case6.150 nb_sol=0 ticks=408483 tps=100 nb_sec=4084
case_no=162 label=Case6.150 nb_sol=0 ticks=419343 tps=100 nb_sec=4193
case_no=162 label=Case6.150 nb_sol=0 ticks=392823 tps=100 nb_sec=3928
case_no=162 label=Case6.150 nb_sol=0 ticks=408498 tps=100 nb_sec=4084
case_no=162 label=Case6.150 nb_sol=0 ticks=385027 tps=100 nb_sec=3850
case_no=162 label=Case6.150 nb_sol=0 ticks=286191 tps=100 nb_sec=2861
case_no=162 label=Case6.150 nb_sol=0 ticks=283874 tps=100 nb_sec=2838
case_no=162 label=Case6.150 nb_sol=0 ticks=447596 tps=100 nb_sec=4475
case_no=162 label=Case6.150 nb_sol=0 ticks=309853 tps=100 nb_sec=3098
case_no=162 label=Case6.150 nb_sol=0 ticks=302218 tps=100 nb_sec=3022
case_no=162 label=Case6.150 nb_sol=0 ticks=194290 tps=100 nb_sec=1942
case_no=162 label=Case6.150 nb_sol=0 ticks=433691 tps=100 nb_sec=4336
case_no=162 label=Case6.150 nb_sol=0 ticks=411574 tps=100 nb_sec=4115
case_no=162 label=Case6.150 nb_sol=0 ticks=173553 tps=100 nb_sec=1735
case_no=162 label=Case6.150 nb_sol=0 ticks=338049 tps=100 nb_sec=3380
case_no=162 label=Case6.150 nb_sol=0 ticks=326858 tps=100 nb_sec=3268
case_no=162 label=Case6.150 nb_sol=0 ticks=218666 tps=100 nb_sec=2186
case_no=162 label=Case6.150 nb_sol=0 ticks=294436 tps=100 nb_sec=2944
Nb_sol=0
Nb_sec=4478859
51-20:7:39 or 1244 hours
missing cases:
none