argc=5
-M 1024
file2=30_select_Case6.151_starter_15_
checking files mod 1024 from 0 to 1023
case_no=163 label=Case6.151 nb_sol=0 ticks=499623 tps=100 nb_sec=4996
case_no=163 label=Case6.151 nb_sol=0 ticks=558982 tps=100 nb_sec=5589
case_no=163 label=Case6.151 nb_sol=0 ticks=579913 tps=100 nb_sec=5799
case_no=163 label=Case6.151 nb_sol=0 ticks=622277 tps=100 nb_sec=6222
case_no=163 label=Case6.151 nb_sol=0 ticks=643767 tps=100 nb_sec=6437
case_no=163 label=Case6.151 nb_sol=0 ticks=585227 tps=100 nb_sec=5852
case_no=163 label=Case6.151 nb_sol=0 ticks=463906 tps=100 nb_sec=4639
case_no=163 label=Case6.151 nb_sol=0 ticks=539871 tps=100 nb_sec=5398
case_no=163 label=Case6.151 nb_sol=0 ticks=605818 tps=100 nb_sec=6058
case_no=163 label=Case6.151 nb_sol=0 ticks=459838 tps=100 nb_sec=4598
case_no=163 label=Case6.151 nb_sol=0 ticks=680010 tps=100 nb_sec=6800
case_no=163 label=Case6.151 nb_sol=0 ticks=453896 tps=100 nb_sec=4538
case_no=163 label=Case6.151 nb_sol=0 ticks=613225 tps=100 nb_sec=6132
case_no=163 label=Case6.151 nb_sol=0 ticks=427736 tps=100 nb_sec=4277
case_no=163 label=Case6.151 nb_sol=0 ticks=559386 tps=100 nb_sec=5593
case_no=163 label=Case6.151 nb_sol=0 ticks=511582 tps=100 nb_sec=5115
case_no=163 label=Case6.151 nb_sol=0 ticks=452413 tps=100 nb_sec=4524
case_no=163 label=Case6.151 nb_sol=0 ticks=448100 tps=100 nb_sec=4481
case_no=163 label=Case6.151 nb_sol=0 ticks=467960 tps=100 nb_sec=4679
case_no=163 label=Case6.151 nb_sol=0 ticks=468059 tps=100 nb_sec=4680
case_no=163 label=Case6.151 nb_sol=0 ticks=532031 tps=100 nb_sec=5320
case_no=163 label=Case6.151 nb_sol=0 ticks=569061 tps=100 nb_sec=5690
case_no=163 label=Case6.151 nb_sol=0 ticks=574343 tps=100 nb_sec=5743
case_no=163 label=Case6.151 nb_sol=0 ticks=395481 tps=100 nb_sec=3954
case_no=163 label=Case6.151 nb_sol=0 ticks=604115 tps=100 nb_sec=6041
case_no=163 label=Case6.151 nb_sol=0 ticks=609021 tps=100 nb_sec=6090
case_no=163 label=Case6.151 nb_sol=0 ticks=613495 tps=100 nb_sec=6134
case_no=163 label=Case6.151 nb_sol=0 ticks=607282 tps=100 nb_sec=6072
case_no=163 label=Case6.151 nb_sol=0 ticks=560118 tps=100 nb_sec=5601
case_no=163 label=Case6.151 nb_sol=0 ticks=360702 tps=100 nb_sec=3607
case_no=163 label=Case6.151 nb_sol=0 ticks=402086 tps=100 nb_sec=4020
case_no=163 label=Case6.151 nb_sol=0 ticks=351698 tps=100 nb_sec=3516
case_no=163 label=Case6.151 nb_sol=0 ticks=329328 tps=100 nb_sec=3293
case_no=163 label=Case6.151 nb_sol=0 ticks=232950 tps=100 nb_sec=2329
case_no=163 label=Case6.151 nb_sol=0 ticks=470000 tps=100 nb_sec=4700
case_no=163 label=Case6.151 nb_sol=0 ticks=545872 tps=100 nb_sec=5458
case_no=163 label=Case6.151 nb_sol=0 ticks=436007 tps=100 nb_sec=4360
case_no=163 label=Case6.151 nb_sol=0 ticks=449808 tps=100 nb_sec=4498
case_no=163 label=Case6.151 nb_sol=0 ticks=628126 tps=100 nb_sec=6281
case_no=163 label=Case6.151 nb_sol=0 ticks=498602 tps=100 nb_sec=4986
case_no=163 label=Case6.151 nb_sol=0 ticks=611508 tps=100 nb_sec=6115
case_no=163 label=Case6.151 nb_sol=0 ticks=308815 tps=100 nb_sec=3088
case_no=163 label=Case6.151 nb_sol=0 ticks=544783 tps=100 nb_sec=5447
case_no=163 label=Case6.151 nb_sol=0 ticks=508406 tps=100 nb_sec=5084
case_no=163 label=Case6.151 nb_sol=0 ticks=305034 tps=100 nb_sec=3050
case_no=163 label=Case6.151 nb_sol=0 ticks=488325 tps=100 nb_sec=4883
case_no=163 label=Case6.151 nb_sol=0 ticks=343559 tps=100 nb_sec=3435
case_no=163 label=Case6.151 nb_sol=0 ticks=545830 tps=100 nb_sec=5458
case_no=163 label=Case6.151 nb_sol=0 ticks=339645 tps=100 nb_sec=3396
case_no=163 label=Case6.151 nb_sol=0 ticks=426396 tps=100 nb_sec=4263
case_no=163 label=Case6.151 nb_sol=0 ticks=296513 tps=100 nb_sec=2965
case_no=163 label=Case6.151 nb_sol=0 ticks=444613 tps=100 nb_sec=4446
case_no=163 label=Case6.151 nb_sol=0 ticks=543059 tps=100 nb_sec=5430
case_no=163 label=Case6.151 nb_sol=0 ticks=489374 tps=100 nb_sec=4893
case_no=163 label=Case6.151 nb_sol=0 ticks=607171 tps=100 nb_sec=6071
case_no=163 label=Case6.151 nb_sol=0 ticks=528767 tps=100 nb_sec=5287
case_no=163 label=Case6.151 nb_sol=0 ticks=421238 tps=100 nb_sec=4212
case_no=163 label=Case6.151 nb_sol=0 ticks=304862 tps=100 nb_sec=3048
case_no=163 label=Case6.151 nb_sol=0 ticks=455975 tps=100 nb_sec=4559
case_no=163 label=Case6.151 nb_sol=0 ticks=454443 tps=100 nb_sec=4544
case_no=163 label=Case6.151 nb_sol=0 ticks=549829 tps=100 nb_sec=5498
case_no=163 label=Case6.151 nb_sol=0 ticks=344303 tps=100 nb_sec=3443
case_no=163 label=Case6.151 nb_sol=0 ticks=501786 tps=100 nb_sec=5017
case_no=163 label=Case6.151 nb_sol=0 ticks=276836 tps=100 nb_sec=2768
case_no=163 label=Case6.151 nb_sol=0 ticks=484680 tps=100 nb_sec=4846
case_no=163 label=Case6.151 nb_sol=0 ticks=523269 tps=100 nb_sec=5232
case_no=163 label=Case6.151 nb_sol=0 ticks=566101 tps=100 nb_sec=5661
case_no=163 label=Case6.151 nb_sol=0 ticks=746695 tps=100 nb_sec=7466
case_no=163 label=Case6.151 nb_sol=0 ticks=452204 tps=100 nb_sec=4522
case_no=163 label=Case6.151 nb_sol=0 ticks=689920 tps=100 nb_sec=6899
case_no=163 label=Case6.151 nb_sol=0 ticks=593020 tps=100 nb_sec=5930
case_no=163 label=Case6.151 nb_sol=0 ticks=854868 tps=100 nb_sec=8548
case_no=163 label=Case6.151 nb_sol=0 ticks=719286 tps=100 nb_sec=7192
case_no=163 label=Case6.151 nb_sol=0 ticks=827008 tps=100 nb_sec=8270
case_no=163 label=Case6.151 nb_sol=0 ticks=580363 tps=100 nb_sec=5803
case_no=163 label=Case6.151 nb_sol=0 ticks=621538 tps=100 nb_sec=6215
case_no=163 label=Case6.151 nb_sol=0 ticks=545553 tps=100 nb_sec=5455
case_no=163 label=Case6.151 nb_sol=0 ticks=469514 tps=100 nb_sec=4695
case_no=163 label=Case6.151 nb_sol=0 ticks=523495 tps=100 nb_sec=5234
case_no=163 label=Case6.151 nb_sol=0 ticks=498451 tps=100 nb_sec=4984
case_no=163 label=Case6.151 nb_sol=0 ticks=547538 tps=100 nb_sec=5475
case_no=163 label=Case6.151 nb_sol=0 ticks=491139 tps=100 nb_sec=4911
case_no=163 label=Case6.151 nb_sol=0 ticks=604285 tps=100 nb_sec=6042
case_no=163 label=Case6.151 nb_sol=0 ticks=391793 tps=100 nb_sec=3917
case_no=163 label=Case6.151 nb_sol=0 ticks=443829 tps=100 nb_sec=4438
case_no=163 label=Case6.151 nb_sol=0 ticks=492038 tps=100 nb_sec=4920
case_no=163 label=Case6.151 nb_sol=0 ticks=468403 tps=100 nb_sec=4684
case_no=163 label=Case6.151 nb_sol=0 ticks=392251 tps=100 nb_sec=3922
case_no=163 label=Case6.151 nb_sol=0 ticks=471970 tps=100 nb_sec=4719
case_no=163 label=Case6.151 nb_sol=0 ticks=503115 tps=100 nb_sec=5031
case_no=163 label=Case6.151 nb_sol=0 ticks=428566 tps=100 nb_sec=4285
case_no=163 label=Case6.151 nb_sol=0 ticks=376153 tps=100 nb_sec=3761
case_no=163 label=Case6.151 nb_sol=0 ticks=529921 tps=100 nb_sec=5299
case_no=163 label=Case6.151 nb_sol=0 ticks=465233 tps=100 nb_sec=4652
case_no=163 label=Case6.151 nb_sol=0 ticks=512440 tps=100 nb_sec=5124
case_no=163 label=Case6.151 nb_sol=0 ticks=543125 tps=100 nb_sec=5431
case_no=163 label=Case6.151 nb_sol=0 ticks=539615 tps=100 nb_sec=5396
case_no=163 label=Case6.151 nb_sol=0 ticks=691397 tps=100 nb_sec=6913
case_no=163 label=Case6.151 nb_sol=0 ticks=536628 tps=100 nb_sec=5366
case_no=163 label=Case6.151 nb_sol=0 ticks=582284 tps=100 nb_sec=5822
case_no=163 label=Case6.151 nb_sol=0 ticks=441271 tps=100 nb_sec=4412
case_no=163 label=Case6.151 nb_sol=0 ticks=339821 tps=100 nb_sec=3398
case_no=163 label=Case6.151 nb_sol=0 ticks=591722 tps=100 nb_sec=5917
case_no=163 label=Case6.151 nb_sol=0 ticks=541332 tps=100 nb_sec=5413
case_no=163 label=Case6.151 nb_sol=0 ticks=503940 tps=100 nb_sec=5039
case_no=163 label=Case6.151 nb_sol=0 ticks=324121 tps=100 nb_sec=3241
case_no=163 label=Case6.151 nb_sol=0 ticks=363088 tps=100 nb_sec=3630
case_no=163 label=Case6.151 nb_sol=0 ticks=395629 tps=100 nb_sec=3956
case_no=163 label=Case6.151 nb_sol=0 ticks=295623 tps=100 nb_sec=2956
case_no=163 label=Case6.151 nb_sol=0 ticks=471231 tps=100 nb_sec=4712
case_no=163 label=Case6.151 nb_sol=0 ticks=454813 tps=100 nb_sec=4548
case_no=163 label=Case6.151 nb_sol=0 ticks=454412 tps=100 nb_sec=4544
case_no=163 label=Case6.151 nb_sol=0 ticks=311217 tps=100 nb_sec=3112
case_no=163 label=Case6.151 nb_sol=0 ticks=444497 tps=100 nb_sec=4444
case_no=163 label=Case6.151 nb_sol=0 ticks=302905 tps=100 nb_sec=3029
case_no=163 label=Case6.151 nb_sol=0 ticks=410214 tps=100 nb_sec=4102
case_no=163 label=Case6.151 nb_sol=0 ticks=261257 tps=100 nb_sec=2612
case_no=163 label=Case6.151 nb_sol=0 ticks=434600 tps=100 nb_sec=4346
case_no=163 label=Case6.151 nb_sol=0 ticks=453393 tps=100 nb_sec=4533
case_no=163 label=Case6.151 nb_sol=0 ticks=464125 tps=100 nb_sec=4641
case_no=163 label=Case6.151 nb_sol=0 ticks=480764 tps=100 nb_sec=4807
case_no=163 label=Case6.151 nb_sol=0 ticks=416456 tps=100 nb_sec=4164
case_no=163 label=Case6.151 nb_sol=0 ticks=609015 tps=100 nb_sec=6090
case_no=163 label=Case6.151 nb_sol=0 ticks=523726 tps=100 nb_sec=5237
case_no=163 label=Case6.151 nb_sol=0 ticks=433449 tps=100 nb_sec=4334
case_no=163 label=Case6.151 nb_sol=0 ticks=553901 tps=100 nb_sec=5539
case_no=163 label=Case6.151 nb_sol=0 ticks=476005 tps=100 nb_sec=4760
case_no=163 label=Case6.151 nb_sol=0 ticks=452547 tps=100 nb_sec=4525
case_no=163 label=Case6.151 nb_sol=0 ticks=479970 tps=100 nb_sec=4799
case_no=163 label=Case6.151 nb_sol=0 ticks=523895 tps=100 nb_sec=5238
case_no=163 label=Case6.151 nb_sol=0 ticks=435978 tps=100 nb_sec=4359
case_no=163 label=Case6.151 nb_sol=0 ticks=449454 tps=100 nb_sec=4494
case_no=163 label=Case6.151 nb_sol=0 ticks=405153 tps=100 nb_sec=4051
case_no=163 label=Case6.151 nb_sol=0 ticks=414241 tps=100 nb_sec=4142
case_no=163 label=Case6.151 nb_sol=0 ticks=490097 tps=100 nb_sec=4900
case_no=163 label=Case6.151 nb_sol=0 ticks=519444 tps=100 nb_sec=5194
case_no=163 label=Case6.151 nb_sol=0 ticks=456037 tps=100 nb_sec=4560
case_no=163 label=Case6.151 nb_sol=0 ticks=484473 tps=100 nb_sec=4844
case_no=163 label=Case6.151 nb_sol=0 ticks=520754 tps=100 nb_sec=5207
case_no=163 label=Case6.151 nb_sol=0 ticks=537023 tps=100 nb_sec=5370
case_no=163 label=Case6.151 nb_sol=0 ticks=544519 tps=100 nb_sec=5445
case_no=163 label=Case6.151 nb_sol=0 ticks=527175 tps=100 nb_sec=5271
case_no=163 label=Case6.151 nb_sol=0 ticks=565253 tps=100 nb_sec=5652
case_no=163 label=Case6.151 nb_sol=0 ticks=470307 tps=100 nb_sec=4703
case_no=163 label=Case6.151 nb_sol=0 ticks=368851 tps=100 nb_sec=3688
case_no=163 label=Case6.151 nb_sol=0 ticks=453583 tps=100 nb_sec=4535
case_no=163 label=Case6.151 nb_sol=0 ticks=308593 tps=100 nb_sec=3085
case_no=163 label=Case6.151 nb_sol=0 ticks=358703 tps=100 nb_sec=3587
case_no=163 label=Case6.151 nb_sol=0 ticks=292012 tps=100 nb_sec=2920
case_no=163 label=Case6.151 nb_sol=0 ticks=512003 tps=100 nb_sec=5120
case_no=163 label=Case6.151 nb_sol=0 ticks=300105 tps=100 nb_sec=3001
case_no=163 label=Case6.151 nb_sol=0 ticks=614392 tps=100 nb_sec=6143
case_no=163 label=Case6.151 nb_sol=0 ticks=315240 tps=100 nb_sec=3152
case_no=163 label=Case6.151 nb_sol=0 ticks=443040 tps=100 nb_sec=4430
case_no=163 label=Case6.151 nb_sol=0 ticks=302650 tps=100 nb_sec=3026
case_no=163 label=Case6.151 nb_sol=0 ticks=531656 tps=100 nb_sec=5316
case_no=163 label=Case6.151 nb_sol=0 ticks=473193 tps=100 nb_sec=4731
case_no=163 label=Case6.151 nb_sol=0 ticks=592117 tps=100 nb_sec=5921
case_no=163 label=Case6.151 nb_sol=0 ticks=296842 tps=100 nb_sec=2968
case_no=163 label=Case6.151 nb_sol=0 ticks=408374 tps=100 nb_sec=4083
case_no=163 label=Case6.151 nb_sol=0 ticks=326929 tps=100 nb_sec=3269
case_no=163 label=Case6.151 nb_sol=0 ticks=339555 tps=100 nb_sec=3395
case_no=163 label=Case6.151 nb_sol=0 ticks=403599 tps=100 nb_sec=4035
case_no=163 label=Case6.151 nb_sol=0 ticks=299780 tps=100 nb_sec=2997
case_no=163 label=Case6.151 nb_sol=0 ticks=330367 tps=100 nb_sec=3303
case_no=163 label=Case6.151 nb_sol=0 ticks=389237 tps=100 nb_sec=3892
case_no=163 label=Case6.151 nb_sol=0 ticks=350760 tps=100 nb_sec=3507
case_no=163 label=Case6.151 nb_sol=0 ticks=332169 tps=100 nb_sec=3321
case_no=163 label=Case6.151 nb_sol=0 ticks=373354 tps=100 nb_sec=3733
case_no=163 label=Case6.151 nb_sol=0 ticks=501420 tps=100 nb_sec=5014
case_no=163 label=Case6.151 nb_sol=0 ticks=526594 tps=100 nb_sec=5265
case_no=163 label=Case6.151 nb_sol=0 ticks=476387 tps=100 nb_sec=4763
case_no=163 label=Case6.151 nb_sol=0 ticks=562553 tps=100 nb_sec=5625
case_no=163 label=Case6.151 nb_sol=0 ticks=338001 tps=100 nb_sec=3380
case_no=163 label=Case6.151 nb_sol=0 ticks=482093 tps=100 nb_sec=4820
case_no=163 label=Case6.151 nb_sol=0 ticks=382547 tps=100 nb_sec=3825
case_no=163 label=Case6.151 nb_sol=0 ticks=432914 tps=100 nb_sec=4329
case_no=163 label=Case6.151 nb_sol=0 ticks=443760 tps=100 nb_sec=4437
case_no=163 label=Case6.151 nb_sol=0 ticks=465415 tps=100 nb_sec=4654
case_no=163 label=Case6.151 nb_sol=0 ticks=515815 tps=100 nb_sec=5158
case_no=163 label=Case6.151 nb_sol=0 ticks=404511 tps=100 nb_sec=4045
case_no=163 label=Case6.151 nb_sol=0 ticks=421349 tps=100 nb_sec=4213
case_no=163 label=Case6.151 nb_sol=0 ticks=447489 tps=100 nb_sec=4474
case_no=163 label=Case6.151 nb_sol=0 ticks=497522 tps=100 nb_sec=4975
case_no=163 label=Case6.151 nb_sol=0 ticks=541658 tps=100 nb_sec=5416
case_no=163 label=Case6.151 nb_sol=0 ticks=535208 tps=100 nb_sec=5352
case_no=163 label=Case6.151 nb_sol=0 ticks=611160 tps=100 nb_sec=6111
case_no=163 label=Case6.151 nb_sol=0 ticks=517371 tps=100 nb_sec=5173
case_no=163 label=Case6.151 nb_sol=0 ticks=561728 tps=100 nb_sec=5617
case_no=163 label=Case6.151 nb_sol=0 ticks=557417 tps=100 nb_sec=5574
case_no=163 label=Case6.151 nb_sol=0 ticks=678495 tps=100 nb_sec=6784
case_no=163 label=Case6.151 nb_sol=0 ticks=530515 tps=100 nb_sec=5305
case_no=163 label=Case6.151 nb_sol=0 ticks=436120 tps=100 nb_sec=4361
case_no=163 label=Case6.151 nb_sol=0 ticks=613792 tps=100 nb_sec=6137
case_no=163 label=Case6.151 nb_sol=0 ticks=439424 tps=100 nb_sec=4394
case_no=163 label=Case6.151 nb_sol=0 ticks=619168 tps=100 nb_sec=6191
case_no=163 label=Case6.151 nb_sol=0 ticks=535018 tps=100 nb_sec=5350
case_no=163 label=Case6.151 nb_sol=0 ticks=459634 tps=100 nb_sec=4596
case_no=163 label=Case6.151 nb_sol=0 ticks=565908 tps=100 nb_sec=5659
case_no=163 label=Case6.151 nb_sol=0 ticks=393462 tps=100 nb_sec=3934
case_no=163 label=Case6.151 nb_sol=0 ticks=579423 tps=100 nb_sec=5794
case_no=163 label=Case6.151 nb_sol=0 ticks=528728 tps=100 nb_sec=5287
case_no=163 label=Case6.151 nb_sol=0 ticks=288105 tps=100 nb_sec=2881
case_no=163 label=Case6.151 nb_sol=0 ticks=415158 tps=100 nb_sec=4151
case_no=163 label=Case6.151 nb_sol=0 ticks=271221 tps=100 nb_sec=2712
case_no=163 label=Case6.151 nb_sol=0 ticks=607300 tps=100 nb_sec=6073
case_no=163 label=Case6.151 nb_sol=0 ticks=318609 tps=100 nb_sec=3186
case_no=163 label=Case6.151 nb_sol=0 ticks=476436 tps=100 nb_sec=4764
case_no=163 label=Case6.151 nb_sol=0 ticks=535938 tps=100 nb_sec=5359
case_no=163 label=Case6.151 nb_sol=0 ticks=301805 tps=100 nb_sec=3018
case_no=163 label=Case6.151 nb_sol=0 ticks=619916 tps=100 nb_sec=6199
case_no=163 label=Case6.151 nb_sol=0 ticks=522732 tps=100 nb_sec=5227
case_no=163 label=Case6.151 nb_sol=0 ticks=400172 tps=100 nb_sec=4001
case_no=163 label=Case6.151 nb_sol=0 ticks=317882 tps=100 nb_sec=3178
case_no=163 label=Case6.151 nb_sol=0 ticks=459397 tps=100 nb_sec=4593
case_no=163 label=Case6.151 nb_sol=0 ticks=714206 tps=100 nb_sec=7142
case_no=163 label=Case6.151 nb_sol=0 ticks=557567 tps=100 nb_sec=5575
case_no=163 label=Case6.151 nb_sol=0 ticks=782333 tps=100 nb_sec=7823
case_no=163 label=Case6.151 nb_sol=0 ticks=375720 tps=100 nb_sec=3757
case_no=163 label=Case6.151 nb_sol=0 ticks=513750 tps=100 nb_sec=5137
case_no=163 label=Case6.151 nb_sol=0 ticks=385648 tps=100 nb_sec=3856
case_no=163 label=Case6.151 nb_sol=0 ticks=591370 tps=100 nb_sec=5913
case_no=163 label=Case6.151 nb_sol=0 ticks=672959 tps=100 nb_sec=6729
case_no=163 label=Case6.151 nb_sol=0 ticks=454170 tps=100 nb_sec=4541
case_no=163 label=Case6.151 nb_sol=0 ticks=417453 tps=100 nb_sec=4174
case_no=163 label=Case6.151 nb_sol=0 ticks=500089 tps=100 nb_sec=5000
case_no=163 label=Case6.151 nb_sol=0 ticks=507280 tps=100 nb_sec=5072
case_no=163 label=Case6.151 nb_sol=0 ticks=649426 tps=100 nb_sec=6494
case_no=163 label=Case6.151 nb_sol=0 ticks=478986 tps=100 nb_sec=4789
case_no=163 label=Case6.151 nb_sol=0 ticks=640953 tps=100 nb_sec=6409
case_no=163 label=Case6.151 nb_sol=0 ticks=555701 tps=100 nb_sec=5557
case_no=163 label=Case6.151 nb_sol=0 ticks=542349 tps=100 nb_sec=5423
case_no=163 label=Case6.151 nb_sol=0 ticks=416006 tps=100 nb_sec=4160
case_no=163 label=Case6.151 nb_sol=0 ticks=596285 tps=100 nb_sec=5962
case_no=163 label=Case6.151 nb_sol=0 ticks=431665 tps=100 nb_sec=4316
case_no=163 label=Case6.151 nb_sol=0 ticks=352182 tps=100 nb_sec=3521
case_no=163 label=Case6.151 nb_sol=0 ticks=614314 tps=100 nb_sec=6143
case_no=163 label=Case6.151 nb_sol=0 ticks=619754 tps=100 nb_sec=6197
case_no=163 label=Case6.151 nb_sol=0 ticks=536434 tps=100 nb_sec=5364
case_no=163 label=Case6.151 nb_sol=0 ticks=450004 tps=100 nb_sec=4500
case_no=163 label=Case6.151 nb_sol=0 ticks=474314 tps=100 nb_sec=4743
case_no=163 label=Case6.151 nb_sol=0 ticks=533676 tps=100 nb_sec=5336
case_no=163 label=Case6.151 nb_sol=0 ticks=570695 tps=100 nb_sec=5706
case_no=163 label=Case6.151 nb_sol=0 ticks=392981 tps=100 nb_sec=3929
case_no=163 label=Case6.151 nb_sol=0 ticks=471470 tps=100 nb_sec=4714
case_no=163 label=Case6.151 nb_sol=0 ticks=449330 tps=100 nb_sec=4493
case_no=163 label=Case6.151 nb_sol=0 ticks=520153 tps=100 nb_sec=5201
case_no=163 label=Case6.151 nb_sol=0 ticks=592283 tps=100 nb_sec=5922
case_no=163 label=Case6.151 nb_sol=0 ticks=527712 tps=100 nb_sec=5277
case_no=163 label=Case6.151 nb_sol=0 ticks=437341 tps=100 nb_sec=4373
case_no=163 label=Case6.151 nb_sol=0 ticks=591186 tps=100 nb_sec=5911
case_no=163 label=Case6.151 nb_sol=0 ticks=591612 tps=100 nb_sec=5916
case_no=163 label=Case6.151 nb_sol=0 ticks=471767 tps=100 nb_sec=4717
case_no=163 label=Case6.151 nb_sol=0 ticks=417836 tps=100 nb_sec=4178
case_no=163 label=Case6.151 nb_sol=0 ticks=545591 tps=100 nb_sec=5455
case_no=163 label=Case6.151 nb_sol=0 ticks=602422 tps=100 nb_sec=6024
case_no=163 label=Case6.151 nb_sol=0 ticks=429365 tps=100 nb_sec=4293
case_no=163 label=Case6.151 nb_sol=0 ticks=389413 tps=100 nb_sec=3894
case_no=163 label=Case6.151 nb_sol=0 ticks=524271 tps=100 nb_sec=5242
case_no=163 label=Case6.151 nb_sol=0 ticks=519707 tps=100 nb_sec=5197
case_no=163 label=Case6.151 nb_sol=0 ticks=587391 tps=100 nb_sec=5873
case_no=163 label=Case6.151 nb_sol=0 ticks=574071 tps=100 nb_sec=5740
case_no=163 label=Case6.151 nb_sol=0 ticks=488743 tps=100 nb_sec=4887
case_no=163 label=Case6.151 nb_sol=0 ticks=520197 tps=100 nb_sec=5201
case_no=163 label=Case6.151 nb_sol=0 ticks=399939 tps=100 nb_sec=3999
case_no=163 label=Case6.151 nb_sol=0 ticks=488774 tps=100 nb_sec=4887
case_no=163 label=Case6.151 nb_sol=0 ticks=458202 tps=100 nb_sec=4582
case_no=163 label=Case6.151 nb_sol=0 ticks=505275 tps=100 nb_sec=5052
case_no=163 label=Case6.151 nb_sol=0 ticks=451234 tps=100 nb_sec=4512
case_no=163 label=Case6.151 nb_sol=0 ticks=443380 tps=100 nb_sec=4433
case_no=163 label=Case6.151 nb_sol=0 ticks=526947 tps=100 nb_sec=5269
case_no=163 label=Case6.151 nb_sol=0 ticks=494298 tps=100 nb_sec=4942
case_no=163 label=Case6.151 nb_sol=0 ticks=476509 tps=100 nb_sec=4765
case_no=163 label=Case6.151 nb_sol=0 ticks=406340 tps=100 nb_sec=4063
case_no=163 label=Case6.151 nb_sol=0 ticks=440754 tps=100 nb_sec=4407
case_no=163 label=Case6.151 nb_sol=0 ticks=485155 tps=100 nb_sec=4851
case_no=163 label=Case6.151 nb_sol=0 ticks=601126 tps=100 nb_sec=6011
case_no=163 label=Case6.151 nb_sol=0 ticks=530993 tps=100 nb_sec=5309
case_no=163 label=Case6.151 nb_sol=0 ticks=522748 tps=100 nb_sec=5227
case_no=163 label=Case6.151 nb_sol=0 ticks=781283 tps=100 nb_sec=7812
case_no=163 label=Case6.151 nb_sol=0 ticks=618462 tps=100 nb_sec=6184
case_no=163 label=Case6.151 nb_sol=0 ticks=638297 tps=100 nb_sec=6382
case_no=163 label=Case6.151 nb_sol=0 ticks=562217 tps=100 nb_sec=5622
case_no=163 label=Case6.151 nb_sol=0 ticks=809692 tps=100 nb_sec=8096
case_no=163 label=Case6.151 nb_sol=0 ticks=554571 tps=100 nb_sec=5545
case_no=163 label=Case6.151 nb_sol=0 ticks=488233 tps=100 nb_sec=4882
case_no=163 label=Case6.151 nb_sol=0 ticks=515189 tps=100 nb_sec=5151
case_no=163 label=Case6.151 nb_sol=0 ticks=571507 tps=100 nb_sec=5715
case_no=163 label=Case6.151 nb_sol=0 ticks=446236 tps=100 nb_sec=4462
case_no=163 label=Case6.151 nb_sol=0 ticks=583934 tps=100 nb_sec=5839
case_no=163 label=Case6.151 nb_sol=0 ticks=716754 tps=100 nb_sec=7167
case_no=163 label=Case6.151 nb_sol=0 ticks=739295 tps=100 nb_sec=7392
case_no=163 label=Case6.151 nb_sol=0 ticks=407657 tps=100 nb_sec=4076
case_no=163 label=Case6.151 nb_sol=0 ticks=541911 tps=100 nb_sec=5419
case_no=163 label=Case6.151 nb_sol=0 ticks=525599 tps=100 nb_sec=5255
case_no=163 label=Case6.151 nb_sol=0 ticks=641502 tps=100 nb_sec=6415
case_no=163 label=Case6.151 nb_sol=0 ticks=553843 tps=100 nb_sec=5538
case_no=163 label=Case6.151 nb_sol=0 ticks=440123 tps=100 nb_sec=4401
case_no=163 label=Case6.151 nb_sol=0 ticks=358474 tps=100 nb_sec=3584
case_no=163 label=Case6.151 nb_sol=0 ticks=506619 tps=100 nb_sec=5066
case_no=163 label=Case6.151 nb_sol=0 ticks=539682 tps=100 nb_sec=5396
case_no=163 label=Case6.151 nb_sol=0 ticks=539365 tps=100 nb_sec=5393
case_no=163 label=Case6.151 nb_sol=0 ticks=432416 tps=100 nb_sec=4324
case_no=163 label=Case6.151 nb_sol=0 ticks=447268 tps=100 nb_sec=4472
case_no=163 label=Case6.151 nb_sol=0 ticks=505942 tps=100 nb_sec=5059
case_no=163 label=Case6.151 nb_sol=0 ticks=504005 tps=100 nb_sec=5040
case_no=163 label=Case6.151 nb_sol=0 ticks=576780 tps=100 nb_sec=5767
case_no=163 label=Case6.151 nb_sol=0 ticks=511092 tps=100 nb_sec=5110
case_no=163 label=Case6.151 nb_sol=0 ticks=354997 tps=100 nb_sec=3549
case_no=163 label=Case6.151 nb_sol=0 ticks=415848 tps=100 nb_sec=4158
case_no=163 label=Case6.151 nb_sol=0 ticks=456214 tps=100 nb_sec=4562
case_no=163 label=Case6.151 nb_sol=0 ticks=567501 tps=100 nb_sec=5675
case_no=163 label=Case6.151 nb_sol=0 ticks=409063 tps=100 nb_sec=4090
case_no=163 label=Case6.151 nb_sol=0 ticks=563793 tps=100 nb_sec=5637
case_no=163 label=Case6.151 nb_sol=0 ticks=505781 tps=100 nb_sec=5057
case_no=163 label=Case6.151 nb_sol=0 ticks=617973 tps=100 nb_sec=6179
case_no=163 label=Case6.151 nb_sol=0 ticks=545494 tps=100 nb_sec=5454
case_no=163 label=Case6.151 nb_sol=0 ticks=515303 tps=100 nb_sec=5153
case_no=163 label=Case6.151 nb_sol=0 ticks=460630 tps=100 nb_sec=4606
case_no=163 label=Case6.151 nb_sol=0 ticks=483816 tps=100 nb_sec=4838
case_no=163 label=Case6.151 nb_sol=0 ticks=569607 tps=100 nb_sec=5696
case_no=163 label=Case6.151 nb_sol=0 ticks=364806 tps=100 nb_sec=3648
case_no=163 label=Case6.151 nb_sol=0 ticks=432057 tps=100 nb_sec=4320
case_no=163 label=Case6.151 nb_sol=0 ticks=331970 tps=100 nb_sec=3319
case_no=163 label=Case6.151 nb_sol=0 ticks=598369 tps=100 nb_sec=5983
case_no=163 label=Case6.151 nb_sol=0 ticks=343952 tps=100 nb_sec=3439
case_no=163 label=Case6.151 nb_sol=0 ticks=660128 tps=100 nb_sec=6601
case_no=163 label=Case6.151 nb_sol=0 ticks=288861 tps=100 nb_sec=2888
case_no=163 label=Case6.151 nb_sol=0 ticks=350368 tps=100 nb_sec=3503
case_no=163 label=Case6.151 nb_sol=0 ticks=394388 tps=100 nb_sec=3943
case_no=163 label=Case6.151 nb_sol=0 ticks=334302 tps=100 nb_sec=3343
case_no=163 label=Case6.151 nb_sol=0 ticks=479710 tps=100 nb_sec=4797
case_no=163 label=Case6.151 nb_sol=0 ticks=238491 tps=100 nb_sec=2384
case_no=163 label=Case6.151 nb_sol=0 ticks=346308 tps=100 nb_sec=3463
case_no=163 label=Case6.151 nb_sol=0 ticks=281296 tps=100 nb_sec=2812
case_no=163 label=Case6.151 nb_sol=0 ticks=467439 tps=100 nb_sec=4674
case_no=163 label=Case6.151 nb_sol=0 ticks=511327 tps=100 nb_sec=5113
case_no=163 label=Case6.151 nb_sol=0 ticks=401590 tps=100 nb_sec=4015
case_no=163 label=Case6.151 nb_sol=0 ticks=300121 tps=100 nb_sec=3001
case_no=163 label=Case6.151 nb_sol=0 ticks=473217 tps=100 nb_sec=4732
case_no=163 label=Case6.151 nb_sol=0 ticks=344038 tps=100 nb_sec=3440
case_no=163 label=Case6.151 nb_sol=0 ticks=530871 tps=100 nb_sec=5308
case_no=163 label=Case6.151 nb_sol=0 ticks=242176 tps=100 nb_sec=2421
case_no=163 label=Case6.151 nb_sol=0 ticks=488198 tps=100 nb_sec=4881
case_no=163 label=Case6.151 nb_sol=0 ticks=490582 tps=100 nb_sec=4905
case_no=163 label=Case6.151 nb_sol=0 ticks=525738 tps=100 nb_sec=5257
case_no=163 label=Case6.151 nb_sol=0 ticks=318611 tps=100 nb_sec=3186
case_no=163 label=Case6.151 nb_sol=0 ticks=210034 tps=100 nb_sec=2100
case_no=163 label=Case6.151 nb_sol=0 ticks=406670 tps=100 nb_sec=4066
case_no=163 label=Case6.151 nb_sol=0 ticks=386722 tps=100 nb_sec=3867
case_no=163 label=Case6.151 nb_sol=0 ticks=372087 tps=100 nb_sec=3720
case_no=163 label=Case6.151 nb_sol=0 ticks=381356 tps=100 nb_sec=3813
case_no=163 label=Case6.151 nb_sol=0 ticks=527905 tps=100 nb_sec=5279
case_no=163 label=Case6.151 nb_sol=0 ticks=395214 tps=100 nb_sec=3952
case_no=163 label=Case6.151 nb_sol=0 ticks=573023 tps=100 nb_sec=5730
case_no=163 label=Case6.151 nb_sol=0 ticks=467999 tps=100 nb_sec=4679
case_no=163 label=Case6.151 nb_sol=0 ticks=471712 tps=100 nb_sec=4717
case_no=163 label=Case6.151 nb_sol=0 ticks=573677 tps=100 nb_sec=5736
case_no=163 label=Case6.151 nb_sol=0 ticks=427460 tps=100 nb_sec=4274
case_no=163 label=Case6.151 nb_sol=0 ticks=559359 tps=100 nb_sec=5593
case_no=163 label=Case6.151 nb_sol=0 ticks=540532 tps=100 nb_sec=5405
case_no=163 label=Case6.151 nb_sol=0 ticks=492223 tps=100 nb_sec=4922
case_no=163 label=Case6.151 nb_sol=0 ticks=463641 tps=100 nb_sec=4636
case_no=163 label=Case6.151 nb_sol=0 ticks=382755 tps=100 nb_sec=3827
case_no=163 label=Case6.151 nb_sol=0 ticks=461494 tps=100 nb_sec=4614
case_no=163 label=Case6.151 nb_sol=0 ticks=422089 tps=100 nb_sec=4220
case_no=163 label=Case6.151 nb_sol=0 ticks=567437 tps=100 nb_sec=5674
case_no=163 label=Case6.151 nb_sol=0 ticks=655058 tps=100 nb_sec=6550
case_no=163 label=Case6.151 nb_sol=0 ticks=462016 tps=100 nb_sec=4620
case_no=163 label=Case6.151 nb_sol=0 ticks=783564 tps=100 nb_sec=7835
case_no=163 label=Case6.151 nb_sol=0 ticks=663282 tps=100 nb_sec=6632
case_no=163 label=Case6.151 nb_sol=0 ticks=638574 tps=100 nb_sec=6385
case_no=163 label=Case6.151 nb_sol=0 ticks=551179 tps=100 nb_sec=5511
case_no=163 label=Case6.151 nb_sol=0 ticks=547761 tps=100 nb_sec=5477
case_no=163 label=Case6.151 nb_sol=0 ticks=634949 tps=100 nb_sec=6349
case_no=163 label=Case6.151 nb_sol=0 ticks=419178 tps=100 nb_sec=4191
case_no=163 label=Case6.151 nb_sol=0 ticks=495565 tps=100 nb_sec=4955
case_no=163 label=Case6.151 nb_sol=0 ticks=530363 tps=100 nb_sec=5303
case_no=163 label=Case6.151 nb_sol=0 ticks=573927 tps=100 nb_sec=5739
case_no=163 label=Case6.151 nb_sol=0 ticks=591004 tps=100 nb_sec=5910
case_no=163 label=Case6.151 nb_sol=0 ticks=560082 tps=100 nb_sec=5600
case_no=163 label=Case6.151 nb_sol=0 ticks=546977 tps=100 nb_sec=5469
case_no=163 label=Case6.151 nb_sol=0 ticks=413699 tps=100 nb_sec=4136
case_no=163 label=Case6.151 nb_sol=0 ticks=522074 tps=100 nb_sec=5220
case_no=163 label=Case6.151 nb_sol=0 ticks=549327 tps=100 nb_sec=5493
case_no=163 label=Case6.151 nb_sol=0 ticks=681481 tps=100 nb_sec=6814
case_no=163 label=Case6.151 nb_sol=0 ticks=638966 tps=100 nb_sec=6389
case_no=163 label=Case6.151 nb_sol=0 ticks=392930 tps=100 nb_sec=3929
case_no=163 label=Case6.151 nb_sol=0 ticks=759789 tps=100 nb_sec=7597
case_no=163 label=Case6.151 nb_sol=0 ticks=447304 tps=100 nb_sec=4473
case_no=163 label=Case6.151 nb_sol=0 ticks=513066 tps=100 nb_sec=5130
case_no=163 label=Case6.151 nb_sol=0 ticks=619795 tps=100 nb_sec=6197
case_no=163 label=Case6.151 nb_sol=0 ticks=722333 tps=100 nb_sec=7223
case_no=163 label=Case6.151 nb_sol=0 ticks=516813 tps=100 nb_sec=5168
case_no=163 label=Case6.151 nb_sol=0 ticks=551419 tps=100 nb_sec=5514
case_no=163 label=Case6.151 nb_sol=0 ticks=452905 tps=100 nb_sec=4529
case_no=163 label=Case6.151 nb_sol=0 ticks=469317 tps=100 nb_sec=4693
case_no=163 label=Case6.151 nb_sol=0 ticks=526689 tps=100 nb_sec=5266
case_no=163 label=Case6.151 nb_sol=0 ticks=349220 tps=100 nb_sec=3492
case_no=163 label=Case6.151 nb_sol=0 ticks=628385 tps=100 nb_sec=6283
case_no=163 label=Case6.151 nb_sol=0 ticks=544595 tps=100 nb_sec=5445
case_no=163 label=Case6.151 nb_sol=0 ticks=639811 tps=100 nb_sec=6398
case_no=163 label=Case6.151 nb_sol=0 ticks=668617 tps=100 nb_sec=6686
case_no=163 label=Case6.151 nb_sol=0 ticks=592699 tps=100 nb_sec=5926
case_no=163 label=Case6.151 nb_sol=0 ticks=401081 tps=100 nb_sec=4010
case_no=163 label=Case6.151 nb_sol=0 ticks=639625 tps=100 nb_sec=6396
case_no=163 label=Case6.151 nb_sol=0 ticks=549991 tps=100 nb_sec=5499
case_no=163 label=Case6.151 nb_sol=0 ticks=530282 tps=100 nb_sec=5302
case_no=163 label=Case6.151 nb_sol=0 ticks=541081 tps=100 nb_sec=5410
case_no=163 label=Case6.151 nb_sol=0 ticks=558933 tps=100 nb_sec=5589
case_no=163 label=Case6.151 nb_sol=0 ticks=567664 tps=100 nb_sec=5676
case_no=163 label=Case6.151 nb_sol=0 ticks=550245 tps=100 nb_sec=5502
case_no=163 label=Case6.151 nb_sol=0 ticks=574645 tps=100 nb_sec=5746
case_no=163 label=Case6.151 nb_sol=0 ticks=478425 tps=100 nb_sec=4784
case_no=163 label=Case6.151 nb_sol=0 ticks=415032 tps=100 nb_sec=4150
case_no=163 label=Case6.151 nb_sol=0 ticks=574873 tps=100 nb_sec=5748
case_no=163 label=Case6.151 nb_sol=0 ticks=642251 tps=100 nb_sec=6422
case_no=163 label=Case6.151 nb_sol=0 ticks=402620 tps=100 nb_sec=4026
case_no=163 label=Case6.151 nb_sol=0 ticks=614024 tps=100 nb_sec=6140
case_no=163 label=Case6.151 nb_sol=0 ticks=545763 tps=100 nb_sec=5457
case_no=163 label=Case6.151 nb_sol=0 ticks=527173 tps=100 nb_sec=5271
case_no=163 label=Case6.151 nb_sol=0 ticks=799322 tps=100 nb_sec=7993
case_no=163 label=Case6.151 nb_sol=0 ticks=452253 tps=100 nb_sec=4522
case_no=163 label=Case6.151 nb_sol=0 ticks=486060 tps=100 nb_sec=4860
case_no=163 label=Case6.151 nb_sol=0 ticks=390016 tps=100 nb_sec=3900
case_no=163 label=Case6.151 nb_sol=0 ticks=404806 tps=100 nb_sec=4048
case_no=163 label=Case6.151 nb_sol=0 ticks=609691 tps=100 nb_sec=6096
case_no=163 label=Case6.151 nb_sol=0 ticks=389852 tps=100 nb_sec=3898
case_no=163 label=Case6.151 nb_sol=0 ticks=559669 tps=100 nb_sec=5596
case_no=163 label=Case6.151 nb_sol=0 ticks=517190 tps=100 nb_sec=5171
case_no=163 label=Case6.151 nb_sol=0 ticks=540475 tps=100 nb_sec=5404
case_no=163 label=Case6.151 nb_sol=0 ticks=482753 tps=100 nb_sec=4827
case_no=163 label=Case6.151 nb_sol=0 ticks=603595 tps=100 nb_sec=6035
case_no=163 label=Case6.151 nb_sol=0 ticks=514164 tps=100 nb_sec=5141
case_no=163 label=Case6.151 nb_sol=0 ticks=501562 tps=100 nb_sec=5015
case_no=163 label=Case6.151 nb_sol=0 ticks=525657 tps=100 nb_sec=5256
case_no=163 label=Case6.151 nb_sol=0 ticks=563546 tps=100 nb_sec=5635
case_no=163 label=Case6.151 nb_sol=0 ticks=515623 tps=100 nb_sec=5156
case_no=163 label=Case6.151 nb_sol=0 ticks=550091 tps=100 nb_sec=5500
case_no=163 label=Case6.151 nb_sol=0 ticks=647257 tps=100 nb_sec=6472
case_no=163 label=Case6.151 nb_sol=0 ticks=503042 tps=100 nb_sec=5030
case_no=163 label=Case6.151 nb_sol=0 ticks=546754 tps=100 nb_sec=5467
case_no=163 label=Case6.151 nb_sol=0 ticks=567007 tps=100 nb_sec=5670
case_no=163 label=Case6.151 nb_sol=0 ticks=704631 tps=100 nb_sec=7046
case_no=163 label=Case6.151 nb_sol=0 ticks=643384 tps=100 nb_sec=6433
case_no=163 label=Case6.151 nb_sol=0 ticks=770977 tps=100 nb_sec=7709
case_no=163 label=Case6.151 nb_sol=0 ticks=589949 tps=100 nb_sec=5899
case_no=163 label=Case6.151 nb_sol=0 ticks=590782 tps=100 nb_sec=5907
case_no=163 label=Case6.151 nb_sol=0 ticks=602737 tps=100 nb_sec=6027
case_no=163 label=Case6.151 nb_sol=0 ticks=504110 tps=100 nb_sec=5041
case_no=163 label=Case6.151 nb_sol=0 ticks=518309 tps=100 nb_sec=5183
case_no=163 label=Case6.151 nb_sol=0 ticks=481969 tps=100 nb_sec=4819
case_no=163 label=Case6.151 nb_sol=0 ticks=494847 tps=100 nb_sec=4948
case_no=163 label=Case6.151 nb_sol=0 ticks=627486 tps=100 nb_sec=6274
case_no=163 label=Case6.151 nb_sol=0 ticks=876064 tps=100 nb_sec=8760
case_no=163 label=Case6.151 nb_sol=0 ticks=557263 tps=100 nb_sec=5572
case_no=163 label=Case6.151 nb_sol=0 ticks=515776 tps=100 nb_sec=5157
case_no=163 label=Case6.151 nb_sol=0 ticks=495874 tps=100 nb_sec=4958
case_no=163 label=Case6.151 nb_sol=0 ticks=518777 tps=100 nb_sec=5187
case_no=163 label=Case6.151 nb_sol=0 ticks=414297 tps=100 nb_sec=4142
case_no=163 label=Case6.151 nb_sol=0 ticks=447603 tps=100 nb_sec=4476
case_no=163 label=Case6.151 nb_sol=0 ticks=592928 tps=100 nb_sec=5929
case_no=163 label=Case6.151 nb_sol=0 ticks=617374 tps=100 nb_sec=6173
case_no=163 label=Case6.151 nb_sol=0 ticks=465734 tps=100 nb_sec=4657
case_no=163 label=Case6.151 nb_sol=0 ticks=448105 tps=100 nb_sec=4481
case_no=163 label=Case6.151 nb_sol=0 ticks=347221 tps=100 nb_sec=3472
case_no=163 label=Case6.151 nb_sol=0 ticks=459401 tps=100 nb_sec=4594
case_no=163 label=Case6.151 nb_sol=0 ticks=369732 tps=100 nb_sec=3697
case_no=163 label=Case6.151 nb_sol=0 ticks=403114 tps=100 nb_sec=4031
case_no=163 label=Case6.151 nb_sol=0 ticks=483726 tps=100 nb_sec=4837
case_no=163 label=Case6.151 nb_sol=0 ticks=347525 tps=100 nb_sec=3475
case_no=163 label=Case6.151 nb_sol=0 ticks=488790 tps=100 nb_sec=4887
case_no=163 label=Case6.151 nb_sol=0 ticks=560917 tps=100 nb_sec=5609
case_no=163 label=Case6.151 nb_sol=0 ticks=782017 tps=100 nb_sec=7820
case_no=163 label=Case6.151 nb_sol=0 ticks=835557 tps=100 nb_sec=8355
case_no=163 label=Case6.151 nb_sol=0 ticks=663402 tps=100 nb_sec=6634
case_no=163 label=Case6.151 nb_sol=0 ticks=836911 tps=100 nb_sec=8369
case_no=163 label=Case6.151 nb_sol=0 ticks=500370 tps=100 nb_sec=5003
case_no=163 label=Case6.151 nb_sol=0 ticks=643753 tps=100 nb_sec=6437
case_no=163 label=Case6.151 nb_sol=0 ticks=524577 tps=100 nb_sec=5245
case_no=163 label=Case6.151 nb_sol=0 ticks=758457 tps=100 nb_sec=7584
case_no=163 label=Case6.151 nb_sol=0 ticks=414934 tps=100 nb_sec=4149
case_no=163 label=Case6.151 nb_sol=0 ticks=415958 tps=100 nb_sec=4159
case_no=163 label=Case6.151 nb_sol=0 ticks=436221 tps=100 nb_sec=4362
case_no=163 label=Case6.151 nb_sol=0 ticks=520628 tps=100 nb_sec=5206
case_no=163 label=Case6.151 nb_sol=0 ticks=590002 tps=100 nb_sec=5900
case_no=163 label=Case6.151 nb_sol=0 ticks=842507 tps=100 nb_sec=8425
case_no=163 label=Case6.151 nb_sol=0 ticks=682328 tps=100 nb_sec=6823
case_no=163 label=Case6.151 nb_sol=0 ticks=907750 tps=100 nb_sec=9077
case_no=163 label=Case6.151 nb_sol=0 ticks=609572 tps=100 nb_sec=6095
case_no=163 label=Case6.151 nb_sol=0 ticks=500035 tps=100 nb_sec=5000
case_no=163 label=Case6.151 nb_sol=0 ticks=433313 tps=100 nb_sec=4333
case_no=163 label=Case6.151 nb_sol=0 ticks=503160 tps=100 nb_sec=5031
case_no=163 label=Case6.151 nb_sol=0 ticks=345775 tps=100 nb_sec=3457
case_no=163 label=Case6.151 nb_sol=0 ticks=438465 tps=100 nb_sec=4384
case_no=163 label=Case6.151 nb_sol=0 ticks=557981 tps=100 nb_sec=5579
case_no=163 label=Case6.151 nb_sol=0 ticks=444065 tps=100 nb_sec=4440
case_no=163 label=Case6.151 nb_sol=0 ticks=464636 tps=100 nb_sec=4646
case_no=163 label=Case6.151 nb_sol=0 ticks=464325 tps=100 nb_sec=4643
case_no=163 label=Case6.151 nb_sol=0 ticks=261887 tps=100 nb_sec=2618
case_no=163 label=Case6.151 nb_sol=0 ticks=416435 tps=100 nb_sec=4164
case_no=163 label=Case6.151 nb_sol=0 ticks=261871 tps=100 nb_sec=2618
case_no=163 label=Case6.151 nb_sol=0 ticks=322225 tps=100 nb_sec=3222
case_no=163 label=Case6.151 nb_sol=0 ticks=290299 tps=100 nb_sec=2902
case_no=163 label=Case6.151 nb_sol=0 ticks=417182 tps=100 nb_sec=4171
case_no=163 label=Case6.151 nb_sol=0 ticks=247305 tps=100 nb_sec=2473
case_no=163 label=Case6.151 nb_sol=0 ticks=383808 tps=100 nb_sec=3838
case_no=163 label=Case6.151 nb_sol=0 ticks=391107 tps=100 nb_sec=3911
case_no=163 label=Case6.151 nb_sol=0 ticks=393655 tps=100 nb_sec=3936
case_no=163 label=Case6.151 nb_sol=0 ticks=309998 tps=100 nb_sec=3099
case_no=163 label=Case6.151 nb_sol=0 ticks=427604 tps=100 nb_sec=4276
case_no=163 label=Case6.151 nb_sol=0 ticks=508017 tps=100 nb_sec=5080
case_no=163 label=Case6.151 nb_sol=0 ticks=608731 tps=100 nb_sec=6087
case_no=163 label=Case6.151 nb_sol=0 ticks=512420 tps=100 nb_sec=5124
case_no=163 label=Case6.151 nb_sol=0 ticks=580126 tps=100 nb_sec=5801
case_no=163 label=Case6.151 nb_sol=0 ticks=584275 tps=100 nb_sec=5842
case_no=163 label=Case6.151 nb_sol=0 ticks=453413 tps=100 nb_sec=4534
case_no=163 label=Case6.151 nb_sol=0 ticks=567493 tps=100 nb_sec=5674
case_no=163 label=Case6.151 nb_sol=0 ticks=411183 tps=100 nb_sec=4111
case_no=163 label=Case6.151 nb_sol=0 ticks=640423 tps=100 nb_sec=6404
case_no=163 label=Case6.151 nb_sol=0 ticks=430010 tps=100 nb_sec=4300
case_no=163 label=Case6.151 nb_sol=0 ticks=481811 tps=100 nb_sec=4818
case_no=163 label=Case6.151 nb_sol=0 ticks=487508 tps=100 nb_sec=4875
case_no=163 label=Case6.151 nb_sol=0 ticks=496487 tps=100 nb_sec=4964
case_no=163 label=Case6.151 nb_sol=0 ticks=462959 tps=100 nb_sec=4629
case_no=163 label=Case6.151 nb_sol=0 ticks=548416 tps=100 nb_sec=5484
case_no=163 label=Case6.151 nb_sol=0 ticks=450482 tps=100 nb_sec=4504
case_no=163 label=Case6.151 nb_sol=0 ticks=554636 tps=100 nb_sec=5546
case_no=163 label=Case6.151 nb_sol=0 ticks=451084 tps=100 nb_sec=4510
case_no=163 label=Case6.151 nb_sol=0 ticks=488271 tps=100 nb_sec=4882
case_no=163 label=Case6.151 nb_sol=0 ticks=393946 tps=100 nb_sec=3939
case_no=163 label=Case6.151 nb_sol=0 ticks=509446 tps=100 nb_sec=5094
case_no=163 label=Case6.151 nb_sol=0 ticks=432669 tps=100 nb_sec=4326
case_no=163 label=Case6.151 nb_sol=0 ticks=439425 tps=100 nb_sec=4394
case_no=163 label=Case6.151 nb_sol=0 ticks=506061 tps=100 nb_sec=5060
case_no=163 label=Case6.151 nb_sol=0 ticks=457442 tps=100 nb_sec=4574
case_no=163 label=Case6.151 nb_sol=0 ticks=531037 tps=100 nb_sec=5310
case_no=163 label=Case6.151 nb_sol=0 ticks=538472 tps=100 nb_sec=5384
case_no=163 label=Case6.151 nb_sol=0 ticks=409734 tps=100 nb_sec=4097
case_no=163 label=Case6.151 nb_sol=0 ticks=476370 tps=100 nb_sec=4763
case_no=163 label=Case6.151 nb_sol=0 ticks=538377 tps=100 nb_sec=5383
case_no=163 label=Case6.151 nb_sol=0 ticks=442802 tps=100 nb_sec=4428
case_no=163 label=Case6.151 nb_sol=0 ticks=434837 tps=100 nb_sec=4348
case_no=163 label=Case6.151 nb_sol=0 ticks=375647 tps=100 nb_sec=3756
case_no=163 label=Case6.151 nb_sol=0 ticks=352522 tps=100 nb_sec=3525
case_no=163 label=Case6.151 nb_sol=0 ticks=476596 tps=100 nb_sec=4765
case_no=163 label=Case6.151 nb_sol=0 ticks=421121 tps=100 nb_sec=4211
case_no=163 label=Case6.151 nb_sol=0 ticks=471309 tps=100 nb_sec=4713
case_no=163 label=Case6.151 nb_sol=0 ticks=556561 tps=100 nb_sec=5565
case_no=163 label=Case6.151 nb_sol=0 ticks=310380 tps=100 nb_sec=3103
case_no=163 label=Case6.151 nb_sol=0 ticks=449606 tps=100 nb_sec=4496
case_no=163 label=Case6.151 nb_sol=0 ticks=593234 tps=100 nb_sec=5932
case_no=163 label=Case6.151 nb_sol=0 ticks=337476 tps=100 nb_sec=3374
case_no=163 label=Case6.151 nb_sol=0 ticks=259134 tps=100 nb_sec=2591
case_no=163 label=Case6.151 nb_sol=0 ticks=384890 tps=100 nb_sec=3848
case_no=163 label=Case6.151 nb_sol=0 ticks=308414 tps=100 nb_sec=3084
case_no=163 label=Case6.151 nb_sol=0 ticks=469151 tps=100 nb_sec=4691
case_no=163 label=Case6.151 nb_sol=0 ticks=494170 tps=100 nb_sec=4941
case_no=163 label=Case6.151 nb_sol=0 ticks=425743 tps=100 nb_sec=4257
case_no=163 label=Case6.151 nb_sol=0 ticks=548445 tps=100 nb_sec=5484
case_no=163 label=Case6.151 nb_sol=0 ticks=508528 tps=100 nb_sec=5085
case_no=163 label=Case6.151 nb_sol=0 ticks=508971 tps=100 nb_sec=5089
case_no=163 label=Case6.151 nb_sol=0 ticks=489319 tps=100 nb_sec=4893
case_no=163 label=Case6.151 nb_sol=0 ticks=486026 tps=100 nb_sec=4860
case_no=163 label=Case6.151 nb_sol=0 ticks=400438 tps=100 nb_sec=4004
case_no=163 label=Case6.151 nb_sol=0 ticks=443978 tps=100 nb_sec=4439
case_no=163 label=Case6.151 nb_sol=0 ticks=456706 tps=100 nb_sec=4567
case_no=163 label=Case6.151 nb_sol=0 ticks=453095 tps=100 nb_sec=4530
case_no=163 label=Case6.151 nb_sol=0 ticks=450758 tps=100 nb_sec=4507
case_no=163 label=Case6.151 nb_sol=0 ticks=471052 tps=100 nb_sec=4710
case_no=163 label=Case6.151 nb_sol=0 ticks=559657 tps=100 nb_sec=5596
case_no=163 label=Case6.151 nb_sol=0 ticks=458255 tps=100 nb_sec=4582
case_no=163 label=Case6.151 nb_sol=0 ticks=438273 tps=100 nb_sec=4382
case_no=163 label=Case6.151 nb_sol=0 ticks=462555 tps=100 nb_sec=4625
case_no=163 label=Case6.151 nb_sol=0 ticks=394826 tps=100 nb_sec=3948
case_no=163 label=Case6.151 nb_sol=0 ticks=575294 tps=100 nb_sec=5752
case_no=163 label=Case6.151 nb_sol=0 ticks=496134 tps=100 nb_sec=4961
case_no=163 label=Case6.151 nb_sol=0 ticks=485006 tps=100 nb_sec=4850
case_no=163 label=Case6.151 nb_sol=0 ticks=494495 tps=100 nb_sec=4944
case_no=163 label=Case6.151 nb_sol=0 ticks=474754 tps=100 nb_sec=4747
case_no=163 label=Case6.151 nb_sol=0 ticks=507187 tps=100 nb_sec=5071
case_no=163 label=Case6.151 nb_sol=0 ticks=628107 tps=100 nb_sec=6281
case_no=163 label=Case6.151 nb_sol=0 ticks=518386 tps=100 nb_sec=5183
case_no=163 label=Case6.151 nb_sol=0 ticks=553271 tps=100 nb_sec=5532
case_no=163 label=Case6.151 nb_sol=0 ticks=482445 tps=100 nb_sec=4824
case_no=163 label=Case6.151 nb_sol=0 ticks=630338 tps=100 nb_sec=6303
case_no=163 label=Case6.151 nb_sol=0 ticks=450976 tps=100 nb_sec=4509
case_no=163 label=Case6.151 nb_sol=0 ticks=542600 tps=100 nb_sec=5426
case_no=163 label=Case6.151 nb_sol=0 ticks=523396 tps=100 nb_sec=5233
case_no=163 label=Case6.151 nb_sol=0 ticks=457484 tps=100 nb_sec=4574
case_no=163 label=Case6.151 nb_sol=0 ticks=403185 tps=100 nb_sec=4031
case_no=163 label=Case6.151 nb_sol=0 ticks=407165 tps=100 nb_sec=4071
case_no=163 label=Case6.151 nb_sol=0 ticks=461210 tps=100 nb_sec=4612
case_no=163 label=Case6.151 nb_sol=0 ticks=406734 tps=100 nb_sec=4067
case_no=163 label=Case6.151 nb_sol=0 ticks=436108 tps=100 nb_sec=4361
case_no=163 label=Case6.151 nb_sol=0 ticks=473102 tps=100 nb_sec=4731
case_no=163 label=Case6.151 nb_sol=0 ticks=486561 tps=100 nb_sec=4865
case_no=163 label=Case6.151 nb_sol=0 ticks=417846 tps=100 nb_sec=4178
case_no=163 label=Case6.151 nb_sol=0 ticks=543719 tps=100 nb_sec=5437
case_no=163 label=Case6.151 nb_sol=0 ticks=604001 tps=100 nb_sec=6040
case_no=163 label=Case6.151 nb_sol=0 ticks=582302 tps=100 nb_sec=5823
case_no=163 label=Case6.151 nb_sol=0 ticks=455989 tps=100 nb_sec=4559
case_no=163 label=Case6.151 nb_sol=0 ticks=621851 tps=100 nb_sec=6218
case_no=163 label=Case6.151 nb_sol=0 ticks=484530 tps=100 nb_sec=4845
case_no=163 label=Case6.151 nb_sol=0 ticks=350950 tps=100 nb_sec=3509
case_no=163 label=Case6.151 nb_sol=0 ticks=596789 tps=100 nb_sec=5967
case_no=163 label=Case6.151 nb_sol=0 ticks=509180 tps=100 nb_sec=5091
case_no=163 label=Case6.151 nb_sol=0 ticks=492137 tps=100 nb_sec=4921
case_no=163 label=Case6.151 nb_sol=0 ticks=505670 tps=100 nb_sec=5056
case_no=163 label=Case6.151 nb_sol=0 ticks=551064 tps=100 nb_sec=5510
case_no=163 label=Case6.151 nb_sol=0 ticks=427256 tps=100 nb_sec=4272
case_no=163 label=Case6.151 nb_sol=0 ticks=376657 tps=100 nb_sec=3766
case_no=163 label=Case6.151 nb_sol=0 ticks=418615 tps=100 nb_sec=4186
case_no=163 label=Case6.151 nb_sol=0 ticks=425434 tps=100 nb_sec=4254
case_no=163 label=Case6.151 nb_sol=0 ticks=540335 tps=100 nb_sec=5403
case_no=163 label=Case6.151 nb_sol=0 ticks=489046 tps=100 nb_sec=4890
case_no=163 label=Case6.151 nb_sol=0 ticks=679191 tps=100 nb_sec=6791
case_no=163 label=Case6.151 nb_sol=0 ticks=730046 tps=100 nb_sec=7300
case_no=163 label=Case6.151 nb_sol=0 ticks=452583 tps=100 nb_sec=4525
case_no=163 label=Case6.151 nb_sol=0 ticks=625402 tps=100 nb_sec=6254
case_no=163 label=Case6.151 nb_sol=0 ticks=411622 tps=100 nb_sec=4116
case_no=163 label=Case6.151 nb_sol=0 ticks=534845 tps=100 nb_sec=5348
case_no=163 label=Case6.151 nb_sol=0 ticks=280850 tps=100 nb_sec=2808
case_no=163 label=Case6.151 nb_sol=0 ticks=387758 tps=100 nb_sec=3877
case_no=163 label=Case6.151 nb_sol=0 ticks=489262 tps=100 nb_sec=4892
case_no=163 label=Case6.151 nb_sol=0 ticks=453964 tps=100 nb_sec=4539
case_no=163 label=Case6.151 nb_sol=0 ticks=597111 tps=100 nb_sec=5971
case_no=163 label=Case6.151 nb_sol=0 ticks=445652 tps=100 nb_sec=4456
case_no=163 label=Case6.151 nb_sol=0 ticks=514052 tps=100 nb_sec=5140
case_no=163 label=Case6.151 nb_sol=0 ticks=568245 tps=100 nb_sec=5682
case_no=163 label=Case6.151 nb_sol=0 ticks=625659 tps=100 nb_sec=6256
case_no=163 label=Case6.151 nb_sol=0 ticks=604758 tps=100 nb_sec=6047
case_no=163 label=Case6.151 nb_sol=0 ticks=546240 tps=100 nb_sec=5462
case_no=163 label=Case6.151 nb_sol=0 ticks=597559 tps=100 nb_sec=5975
case_no=163 label=Case6.151 nb_sol=0 ticks=518633 tps=100 nb_sec=5186
case_no=163 label=Case6.151 nb_sol=0 ticks=565185 tps=100 nb_sec=5651
case_no=163 label=Case6.151 nb_sol=0 ticks=575390 tps=100 nb_sec=5753
case_no=163 label=Case6.151 nb_sol=0 ticks=551240 tps=100 nb_sec=5512
case_no=163 label=Case6.151 nb_sol=0 ticks=453613 tps=100 nb_sec=4536
case_no=163 label=Case6.151 nb_sol=0 ticks=592528 tps=100 nb_sec=5925
case_no=163 label=Case6.151 nb_sol=0 ticks=449877 tps=100 nb_sec=4498
case_no=163 label=Case6.151 nb_sol=0 ticks=537520 tps=100 nb_sec=5375
case_no=163 label=Case6.151 nb_sol=0 ticks=768090 tps=100 nb_sec=7680
case_no=163 label=Case6.151 nb_sol=0 ticks=621149 tps=100 nb_sec=6211
case_no=163 label=Case6.151 nb_sol=0 ticks=544741 tps=100 nb_sec=5447
case_no=163 label=Case6.151 nb_sol=0 ticks=454429 tps=100 nb_sec=4544
case_no=163 label=Case6.151 nb_sol=0 ticks=498417 tps=100 nb_sec=4984
case_no=163 label=Case6.151 nb_sol=0 ticks=578977 tps=100 nb_sec=5789
case_no=163 label=Case6.151 nb_sol=0 ticks=548394 tps=100 nb_sec=5483
case_no=163 label=Case6.151 nb_sol=0 ticks=520247 tps=100 nb_sec=5202
case_no=163 label=Case6.151 nb_sol=0 ticks=677431 tps=100 nb_sec=6774
case_no=163 label=Case6.151 nb_sol=0 ticks=705585 tps=100 nb_sec=7055
case_no=163 label=Case6.151 nb_sol=0 ticks=596046 tps=100 nb_sec=5960
case_no=163 label=Case6.151 nb_sol=0 ticks=574109 tps=100 nb_sec=5741
case_no=163 label=Case6.151 nb_sol=0 ticks=542999 tps=100 nb_sec=5429
case_no=163 label=Case6.151 nb_sol=0 ticks=578895 tps=100 nb_sec=5788
case_no=163 label=Case6.151 nb_sol=0 ticks=621443 tps=100 nb_sec=6214
case_no=163 label=Case6.151 nb_sol=0 ticks=503769 tps=100 nb_sec=5037
case_no=163 label=Case6.151 nb_sol=0 ticks=416856 tps=100 nb_sec=4168
case_no=163 label=Case6.151 nb_sol=0 ticks=510146 tps=100 nb_sec=5101
case_no=163 label=Case6.151 nb_sol=0 ticks=495563 tps=100 nb_sec=4955
case_no=163 label=Case6.151 nb_sol=0 ticks=532956 tps=100 nb_sec=5329
case_no=163 label=Case6.151 nb_sol=0 ticks=399144 tps=100 nb_sec=3991
case_no=163 label=Case6.151 nb_sol=0 ticks=541443 tps=100 nb_sec=5414
case_no=163 label=Case6.151 nb_sol=0 ticks=508587 tps=100 nb_sec=5085
case_no=163 label=Case6.151 nb_sol=0 ticks=541316 tps=100 nb_sec=5413
case_no=163 label=Case6.151 nb_sol=0 ticks=905840 tps=100 nb_sec=9058
case_no=163 label=Case6.151 nb_sol=0 ticks=528832 tps=100 nb_sec=5288
case_no=163 label=Case6.151 nb_sol=0 ticks=909030 tps=100 nb_sec=9090
case_no=163 label=Case6.151 nb_sol=0 ticks=548900 tps=100 nb_sec=5489
case_no=163 label=Case6.151 nb_sol=0 ticks=489066 tps=100 nb_sec=4890
case_no=163 label=Case6.151 nb_sol=0 ticks=517392 tps=100 nb_sec=5173
case_no=163 label=Case6.151 nb_sol=0 ticks=349306 tps=100 nb_sec=3493
case_no=163 label=Case6.151 nb_sol=0 ticks=502977 tps=100 nb_sec=5029
case_no=163 label=Case6.151 nb_sol=0 ticks=397757 tps=100 nb_sec=3977
case_no=163 label=Case6.151 nb_sol=0 ticks=470517 tps=100 nb_sec=4705
case_no=163 label=Case6.151 nb_sol=0 ticks=486121 tps=100 nb_sec=4861
case_no=163 label=Case6.151 nb_sol=0 ticks=307045 tps=100 nb_sec=3070
case_no=163 label=Case6.151 nb_sol=0 ticks=527866 tps=100 nb_sec=5278
case_no=163 label=Case6.151 nb_sol=0 ticks=402135 tps=100 nb_sec=4021
case_no=163 label=Case6.151 nb_sol=0 ticks=536737 tps=100 nb_sec=5367
case_no=163 label=Case6.151 nb_sol=0 ticks=516387 tps=100 nb_sec=5163
case_no=163 label=Case6.151 nb_sol=0 ticks=718448 tps=100 nb_sec=7184
case_no=163 label=Case6.151 nb_sol=0 ticks=479099 tps=100 nb_sec=4790
case_no=163 label=Case6.151 nb_sol=0 ticks=529842 tps=100 nb_sec=5298
case_no=163 label=Case6.151 nb_sol=0 ticks=370465 tps=100 nb_sec=3704
case_no=163 label=Case6.151 nb_sol=0 ticks=413924 tps=100 nb_sec=4139
case_no=163 label=Case6.151 nb_sol=0 ticks=358735 tps=100 nb_sec=3587
case_no=163 label=Case6.151 nb_sol=0 ticks=431922 tps=100 nb_sec=4319
case_no=163 label=Case6.151 nb_sol=0 ticks=378246 tps=100 nb_sec=3782
case_no=163 label=Case6.151 nb_sol=0 ticks=484521 tps=100 nb_sec=4845
case_no=163 label=Case6.151 nb_sol=0 ticks=454731 tps=100 nb_sec=4547
case_no=163 label=Case6.151 nb_sol=0 ticks=430820 tps=100 nb_sec=4308
case_no=163 label=Case6.151 nb_sol=0 ticks=617214 tps=100 nb_sec=6172
case_no=163 label=Case6.151 nb_sol=0 ticks=542479 tps=100 nb_sec=5424
case_no=163 label=Case6.151 nb_sol=0 ticks=426672 tps=100 nb_sec=4266
case_no=163 label=Case6.151 nb_sol=0 ticks=473532 tps=100 nb_sec=4735
case_no=163 label=Case6.151 nb_sol=0 ticks=393104 tps=100 nb_sec=3931
case_no=163 label=Case6.151 nb_sol=0 ticks=402489 tps=100 nb_sec=4024
case_no=163 label=Case6.151 nb_sol=0 ticks=402647 tps=100 nb_sec=4026
case_no=163 label=Case6.151 nb_sol=0 ticks=460758 tps=100 nb_sec=4607
case_no=163 label=Case6.151 nb_sol=0 ticks=415938 tps=100 nb_sec=4159
case_no=163 label=Case6.151 nb_sol=0 ticks=396046 tps=100 nb_sec=3960
case_no=163 label=Case6.151 nb_sol=0 ticks=516792 tps=100 nb_sec=5167
case_no=163 label=Case6.151 nb_sol=0 ticks=492519 tps=100 nb_sec=4925
case_no=163 label=Case6.151 nb_sol=0 ticks=850666 tps=100 nb_sec=8506
case_no=163 label=Case6.151 nb_sol=0 ticks=563866 tps=100 nb_sec=5638
case_no=163 label=Case6.151 nb_sol=0 ticks=646582 tps=100 nb_sec=6465
case_no=163 label=Case6.151 nb_sol=0 ticks=486783 tps=100 nb_sec=4867
case_no=163 label=Case6.151 nb_sol=0 ticks=558622 tps=100 nb_sec=5586
case_no=163 label=Case6.151 nb_sol=0 ticks=448900 tps=100 nb_sec=4489
case_no=163 label=Case6.151 nb_sol=0 ticks=509431 tps=100 nb_sec=5094
case_no=163 label=Case6.151 nb_sol=0 ticks=592373 tps=100 nb_sec=5923
case_no=163 label=Case6.151 nb_sol=0 ticks=453322 tps=100 nb_sec=4533
case_no=163 label=Case6.151 nb_sol=0 ticks=341830 tps=100 nb_sec=3418
case_no=163 label=Case6.151 nb_sol=0 ticks=294716 tps=100 nb_sec=2947
case_no=163 label=Case6.151 nb_sol=0 ticks=598725 tps=100 nb_sec=5987
case_no=163 label=Case6.151 nb_sol=0 ticks=402696 tps=100 nb_sec=4026
case_no=163 label=Case6.151 nb_sol=0 ticks=373028 tps=100 nb_sec=3730
case_no=163 label=Case6.151 nb_sol=0 ticks=566328 tps=100 nb_sec=5663
case_no=163 label=Case6.151 nb_sol=0 ticks=528973 tps=100 nb_sec=5289
case_no=163 label=Case6.151 nb_sol=0 ticks=554823 tps=100 nb_sec=5548
case_no=163 label=Case6.151 nb_sol=0 ticks=756552 tps=100 nb_sec=7565
case_no=163 label=Case6.151 nb_sol=0 ticks=602894 tps=100 nb_sec=6028
case_no=163 label=Case6.151 nb_sol=0 ticks=535410 tps=100 nb_sec=5354
case_no=163 label=Case6.151 nb_sol=0 ticks=646947 tps=100 nb_sec=6469
case_no=163 label=Case6.151 nb_sol=0 ticks=494176 tps=100 nb_sec=4941
case_no=163 label=Case6.151 nb_sol=0 ticks=576396 tps=100 nb_sec=5763
case_no=163 label=Case6.151 nb_sol=0 ticks=578574 tps=100 nb_sec=5785
case_no=163 label=Case6.151 nb_sol=0 ticks=604028 tps=100 nb_sec=6040
case_no=163 label=Case6.151 nb_sol=0 ticks=499331 tps=100 nb_sec=4993
case_no=163 label=Case6.151 nb_sol=0 ticks=543360 tps=100 nb_sec=5433
case_no=163 label=Case6.151 nb_sol=0 ticks=469671 tps=100 nb_sec=4696
case_no=163 label=Case6.151 nb_sol=0 ticks=755755 tps=100 nb_sec=7557
case_no=163 label=Case6.151 nb_sol=0 ticks=879896 tps=100 nb_sec=8798
case_no=163 label=Case6.151 nb_sol=0 ticks=419384 tps=100 nb_sec=4193
case_no=163 label=Case6.151 nb_sol=0 ticks=511424 tps=100 nb_sec=5114
case_no=163 label=Case6.151 nb_sol=0 ticks=371772 tps=100 nb_sec=3717
case_no=163 label=Case6.151 nb_sol=0 ticks=377822 tps=100 nb_sec=3778
case_no=163 label=Case6.151 nb_sol=0 ticks=449355 tps=100 nb_sec=4493
case_no=163 label=Case6.151 nb_sol=0 ticks=808703 tps=100 nb_sec=8087
case_no=163 label=Case6.151 nb_sol=0 ticks=558126 tps=100 nb_sec=5581
case_no=163 label=Case6.151 nb_sol=0 ticks=569921 tps=100 nb_sec=5699
case_no=163 label=Case6.151 nb_sol=0 ticks=458388 tps=100 nb_sec=4583
case_no=163 label=Case6.151 nb_sol=0 ticks=712490 tps=100 nb_sec=7124
case_no=163 label=Case6.151 nb_sol=0 ticks=498972 tps=100 nb_sec=4989
case_no=163 label=Case6.151 nb_sol=0 ticks=531933 tps=100 nb_sec=5319
case_no=163 label=Case6.151 nb_sol=0 ticks=469991 tps=100 nb_sec=4699
case_no=163 label=Case6.151 nb_sol=0 ticks=493144 tps=100 nb_sec=4931
case_no=163 label=Case6.151 nb_sol=0 ticks=448581 tps=100 nb_sec=4485
case_no=163 label=Case6.151 nb_sol=0 ticks=472187 tps=100 nb_sec=4721
case_no=163 label=Case6.151 nb_sol=0 ticks=527138 tps=100 nb_sec=5271
case_no=163 label=Case6.151 nb_sol=0 ticks=393525 tps=100 nb_sec=3935
case_no=163 label=Case6.151 nb_sol=0 ticks=377138 tps=100 nb_sec=3771
case_no=163 label=Case6.151 nb_sol=0 ticks=406994 tps=100 nb_sec=4069
case_no=163 label=Case6.151 nb_sol=0 ticks=404285 tps=100 nb_sec=4042
case_no=163 label=Case6.151 nb_sol=0 ticks=293562 tps=100 nb_sec=2935
case_no=163 label=Case6.151 nb_sol=0 ticks=417904 tps=100 nb_sec=4179
case_no=163 label=Case6.151 nb_sol=0 ticks=337862 tps=100 nb_sec=3378
case_no=163 label=Case6.151 nb_sol=0 ticks=319487 tps=100 nb_sec=3194
case_no=163 label=Case6.151 nb_sol=0 ticks=372270 tps=100 nb_sec=3722
case_no=163 label=Case6.151 nb_sol=0 ticks=508504 tps=100 nb_sec=5085
case_no=163 label=Case6.151 nb_sol=0 ticks=489772 tps=100 nb_sec=4897
case_no=163 label=Case6.151 nb_sol=0 ticks=416335 tps=100 nb_sec=4163
case_no=163 label=Case6.151 nb_sol=0 ticks=448972 tps=100 nb_sec=4489
case_no=163 label=Case6.151 nb_sol=0 ticks=378238 tps=100 nb_sec=3782
case_no=163 label=Case6.151 nb_sol=0 ticks=468225 tps=100 nb_sec=4682
case_no=163 label=Case6.151 nb_sol=0 ticks=401029 tps=100 nb_sec=4010
case_no=163 label=Case6.151 nb_sol=0 ticks=472980 tps=100 nb_sec=4729
case_no=163 label=Case6.151 nb_sol=0 ticks=473446 tps=100 nb_sec=4734
case_no=163 label=Case6.151 nb_sol=0 ticks=545946 tps=100 nb_sec=5459
case_no=163 label=Case6.151 nb_sol=0 ticks=415480 tps=100 nb_sec=4154
case_no=163 label=Case6.151 nb_sol=0 ticks=441201 tps=100 nb_sec=4412
case_no=163 label=Case6.151 nb_sol=0 ticks=377141 tps=100 nb_sec=3771
case_no=163 label=Case6.151 nb_sol=0 ticks=454655 tps=100 nb_sec=4546
case_no=163 label=Case6.151 nb_sol=0 ticks=373499 tps=100 nb_sec=3734
case_no=163 label=Case6.151 nb_sol=0 ticks=489973 tps=100 nb_sec=4899
case_no=163 label=Case6.151 nb_sol=0 ticks=442072 tps=100 nb_sec=4420
case_no=163 label=Case6.151 nb_sol=0 ticks=352247 tps=100 nb_sec=3522
case_no=163 label=Case6.151 nb_sol=0 ticks=292137 tps=100 nb_sec=2921
case_no=163 label=Case6.151 nb_sol=0 ticks=422653 tps=100 nb_sec=4226
case_no=163 label=Case6.151 nb_sol=0 ticks=292709 tps=100 nb_sec=2927
case_no=163 label=Case6.151 nb_sol=0 ticks=409403 tps=100 nb_sec=4094
case_no=163 label=Case6.151 nb_sol=0 ticks=378338 tps=100 nb_sec=3783
case_no=163 label=Case6.151 nb_sol=0 ticks=525946 tps=100 nb_sec=5259
case_no=163 label=Case6.151 nb_sol=0 ticks=407652 tps=100 nb_sec=4076
case_no=163 label=Case6.151 nb_sol=0 ticks=393720 tps=100 nb_sec=3937
case_no=163 label=Case6.151 nb_sol=0 ticks=494588 tps=100 nb_sec=4945
case_no=163 label=Case6.151 nb_sol=0 ticks=434249 tps=100 nb_sec=4342
case_no=163 label=Case6.151 nb_sol=0 ticks=514692 tps=100 nb_sec=5146
case_no=163 label=Case6.151 nb_sol=0 ticks=468844 tps=100 nb_sec=4688
case_no=163 label=Case6.151 nb_sol=0 ticks=532134 tps=100 nb_sec=5321
case_no=163 label=Case6.151 nb_sol=0 ticks=586213 tps=100 nb_sec=5862
case_no=163 label=Case6.151 nb_sol=0 ticks=689695 tps=100 nb_sec=6896
case_no=163 label=Case6.151 nb_sol=0 ticks=507110 tps=100 nb_sec=5071
case_no=163 label=Case6.151 nb_sol=0 ticks=758286 tps=100 nb_sec=7582
case_no=163 label=Case6.151 nb_sol=0 ticks=574520 tps=100 nb_sec=5745
case_no=163 label=Case6.151 nb_sol=0 ticks=605154 tps=100 nb_sec=6051
case_no=163 label=Case6.151 nb_sol=0 ticks=523127 tps=100 nb_sec=5231
case_no=163 label=Case6.151 nb_sol=0 ticks=413461 tps=100 nb_sec=4134
case_no=163 label=Case6.151 nb_sol=0 ticks=426912 tps=100 nb_sec=4269
case_no=163 label=Case6.151 nb_sol=0 ticks=641215 tps=100 nb_sec=6412
case_no=163 label=Case6.151 nb_sol=0 ticks=511085 tps=100 nb_sec=5110
case_no=163 label=Case6.151 nb_sol=0 ticks=469048 tps=100 nb_sec=4690
case_no=163 label=Case6.151 nb_sol=0 ticks=546740 tps=100 nb_sec=5467
case_no=163 label=Case6.151 nb_sol=0 ticks=407307 tps=100 nb_sec=4073
case_no=163 label=Case6.151 nb_sol=0 ticks=726061 tps=100 nb_sec=7260
case_no=163 label=Case6.151 nb_sol=0 ticks=463422 tps=100 nb_sec=4634
case_no=163 label=Case6.151 nb_sol=0 ticks=386703 tps=100 nb_sec=3867
case_no=163 label=Case6.151 nb_sol=0 ticks=731114 tps=100 nb_sec=7311
case_no=163 label=Case6.151 nb_sol=0 ticks=525113 tps=100 nb_sec=5251
case_no=163 label=Case6.151 nb_sol=0 ticks=579093 tps=100 nb_sec=5790
case_no=163 label=Case6.151 nb_sol=0 ticks=531234 tps=100 nb_sec=5312
case_no=163 label=Case6.151 nb_sol=0 ticks=615975 tps=100 nb_sec=6159
case_no=163 label=Case6.151 nb_sol=0 ticks=643388 tps=100 nb_sec=6433
case_no=163 label=Case6.151 nb_sol=0 ticks=638876 tps=100 nb_sec=6388
case_no=163 label=Case6.151 nb_sol=0 ticks=547138 tps=100 nb_sec=5471
case_no=163 label=Case6.151 nb_sol=0 ticks=501544 tps=100 nb_sec=5015
case_no=163 label=Case6.151 nb_sol=0 ticks=508852 tps=100 nb_sec=5088
case_no=163 label=Case6.151 nb_sol=0 ticks=685118 tps=100 nb_sec=6851
case_no=163 label=Case6.151 nb_sol=0 ticks=453443 tps=100 nb_sec=4534
case_no=163 label=Case6.151 nb_sol=0 ticks=649779 tps=100 nb_sec=6497
case_no=163 label=Case6.151 nb_sol=0 ticks=613574 tps=100 nb_sec=6135
case_no=163 label=Case6.151 nb_sol=0 ticks=590555 tps=100 nb_sec=5905
case_no=163 label=Case6.151 nb_sol=0 ticks=527670 tps=100 nb_sec=5276
case_no=163 label=Case6.151 nb_sol=0 ticks=612301 tps=100 nb_sec=6123
case_no=163 label=Case6.151 nb_sol=0 ticks=445035 tps=100 nb_sec=4450
case_no=163 label=Case6.151 nb_sol=0 ticks=523009 tps=100 nb_sec=5230
case_no=163 label=Case6.151 nb_sol=0 ticks=450854 tps=100 nb_sec=4508
case_no=163 label=Case6.151 nb_sol=0 ticks=356036 tps=100 nb_sec=3560
case_no=163 label=Case6.151 nb_sol=0 ticks=331405 tps=100 nb_sec=3314
case_no=163 label=Case6.151 nb_sol=0 ticks=334931 tps=100 nb_sec=3349
case_no=163 label=Case6.151 nb_sol=0 ticks=426215 tps=100 nb_sec=4262
case_no=163 label=Case6.151 nb_sol=0 ticks=370195 tps=100 nb_sec=3701
case_no=163 label=Case6.151 nb_sol=0 ticks=547721 tps=100 nb_sec=5477
case_no=163 label=Case6.151 nb_sol=0 ticks=451257 tps=100 nb_sec=4512
case_no=163 label=Case6.151 nb_sol=0 ticks=399921 tps=100 nb_sec=3999
case_no=163 label=Case6.151 nb_sol=0 ticks=518121 tps=100 nb_sec=5181
case_no=163 label=Case6.151 nb_sol=0 ticks=376904 tps=100 nb_sec=3769
case_no=163 label=Case6.151 nb_sol=0 ticks=382808 tps=100 nb_sec=3828
case_no=163 label=Case6.151 nb_sol=0 ticks=398719 tps=100 nb_sec=3987
case_no=163 label=Case6.151 nb_sol=0 ticks=375373 tps=100 nb_sec=3753
case_no=163 label=Case6.151 nb_sol=0 ticks=333764 tps=100 nb_sec=3337
case_no=163 label=Case6.151 nb_sol=0 ticks=220884 tps=100 nb_sec=2208
case_no=163 label=Case6.151 nb_sol=0 ticks=289183 tps=100 nb_sec=2891
case_no=163 label=Case6.151 nb_sol=0 ticks=412164 tps=100 nb_sec=4121
case_no=163 label=Case6.151 nb_sol=0 ticks=542966 tps=100 nb_sec=5429
case_no=163 label=Case6.151 nb_sol=0 ticks=329764 tps=100 nb_sec=3297
case_no=163 label=Case6.151 nb_sol=0 ticks=443374 tps=100 nb_sec=4433
case_no=163 label=Case6.151 nb_sol=0 ticks=330040 tps=100 nb_sec=3300
case_no=163 label=Case6.151 nb_sol=0 ticks=507188 tps=100 nb_sec=5071
case_no=163 label=Case6.151 nb_sol=0 ticks=290824 tps=100 nb_sec=2908
case_no=163 label=Case6.151 nb_sol=0 ticks=448235 tps=100 nb_sec=4482
case_no=163 label=Case6.151 nb_sol=0 ticks=440445 tps=100 nb_sec=4404
case_no=163 label=Case6.151 nb_sol=0 ticks=414744 tps=100 nb_sec=4147
case_no=163 label=Case6.151 nb_sol=0 ticks=276379 tps=100 nb_sec=2763
case_no=163 label=Case6.151 nb_sol=0 ticks=417365 tps=100 nb_sec=4173
case_no=163 label=Case6.151 nb_sol=0 ticks=494626 tps=100 nb_sec=4946
case_no=163 label=Case6.151 nb_sol=0 ticks=400476 tps=100 nb_sec=4004
case_no=163 label=Case6.151 nb_sol=0 ticks=485719 tps=100 nb_sec=4857
case_no=163 label=Case6.151 nb_sol=0 ticks=524980 tps=100 nb_sec=5249
case_no=163 label=Case6.151 nb_sol=0 ticks=460337 tps=100 nb_sec=4603
case_no=163 label=Case6.151 nb_sol=0 ticks=514927 tps=100 nb_sec=5149
case_no=163 label=Case6.151 nb_sol=0 ticks=489711 tps=100 nb_sec=4897
case_no=163 label=Case6.151 nb_sol=0 ticks=486814 tps=100 nb_sec=4868
case_no=163 label=Case6.151 nb_sol=0 ticks=493417 tps=100 nb_sec=4934
case_no=163 label=Case6.151 nb_sol=0 ticks=459120 tps=100 nb_sec=4591
case_no=163 label=Case6.151 nb_sol=0 ticks=555333 tps=100 nb_sec=5553
case_no=163 label=Case6.151 nb_sol=0 ticks=375581 tps=100 nb_sec=3755
case_no=163 label=Case6.151 nb_sol=0 ticks=510944 tps=100 nb_sec=5109
case_no=163 label=Case6.151 nb_sol=0 ticks=383558 tps=100 nb_sec=3835
case_no=163 label=Case6.151 nb_sol=0 ticks=539043 tps=100 nb_sec=5390
case_no=163 label=Case6.151 nb_sol=0 ticks=557481 tps=100 nb_sec=5574
case_no=163 label=Case6.151 nb_sol=0 ticks=477247 tps=100 nb_sec=4772
case_no=163 label=Case6.151 nb_sol=0 ticks=485144 tps=100 nb_sec=4851
case_no=163 label=Case6.151 nb_sol=0 ticks=288868 tps=100 nb_sec=2888
case_no=163 label=Case6.151 nb_sol=0 ticks=481025 tps=100 nb_sec=4810
case_no=163 label=Case6.151 nb_sol=0 ticks=313416 tps=100 nb_sec=3134
case_no=163 label=Case6.151 nb_sol=0 ticks=451885 tps=100 nb_sec=4518
case_no=163 label=Case6.151 nb_sol=0 ticks=488050 tps=100 nb_sec=4880
case_no=163 label=Case6.151 nb_sol=0 ticks=461914 tps=100 nb_sec=4619
case_no=163 label=Case6.151 nb_sol=0 ticks=384844 tps=100 nb_sec=3848
case_no=163 label=Case6.151 nb_sol=0 ticks=551834 tps=100 nb_sec=5518
case_no=163 label=Case6.151 nb_sol=0 ticks=398181 tps=100 nb_sec=3981
case_no=163 label=Case6.151 nb_sol=0 ticks=582695 tps=100 nb_sec=5826
case_no=163 label=Case6.151 nb_sol=0 ticks=583496 tps=100 nb_sec=5834
case_no=163 label=Case6.151 nb_sol=0 ticks=576273 tps=100 nb_sec=5762
case_no=163 label=Case6.151 nb_sol=0 ticks=464149 tps=100 nb_sec=4641
case_no=163 label=Case6.151 nb_sol=0 ticks=366910 tps=100 nb_sec=3669
case_no=163 label=Case6.151 nb_sol=0 ticks=511874 tps=100 nb_sec=5118
case_no=163 label=Case6.151 nb_sol=0 ticks=394166 tps=100 nb_sec=3941
case_no=163 label=Case6.151 nb_sol=0 ticks=379589 tps=100 nb_sec=3795
case_no=163 label=Case6.151 nb_sol=0 ticks=496830 tps=100 nb_sec=4968
case_no=163 label=Case6.151 nb_sol=0 ticks=396676 tps=100 nb_sec=3966
case_no=163 label=Case6.151 nb_sol=0 ticks=429869 tps=100 nb_sec=4298
case_no=163 label=Case6.151 nb_sol=0 ticks=365728 tps=100 nb_sec=3657
case_no=163 label=Case6.151 nb_sol=0 ticks=388446 tps=100 nb_sec=3884
case_no=163 label=Case6.151 nb_sol=0 ticks=611259 tps=100 nb_sec=6112
case_no=163 label=Case6.151 nb_sol=0 ticks=512178 tps=100 nb_sec=5121
case_no=163 label=Case6.151 nb_sol=0 ticks=394204 tps=100 nb_sec=3942
case_no=163 label=Case6.151 nb_sol=0 ticks=468482 tps=100 nb_sec=4684
case_no=163 label=Case6.151 nb_sol=0 ticks=503044 tps=100 nb_sec=5030
case_no=163 label=Case6.151 nb_sol=0 ticks=430192 tps=100 nb_sec=4301
case_no=163 label=Case6.151 nb_sol=0 ticks=408096 tps=100 nb_sec=4080
case_no=163 label=Case6.151 nb_sol=0 ticks=498360 tps=100 nb_sec=4983
case_no=163 label=Case6.151 nb_sol=0 ticks=427672 tps=100 nb_sec=4276
case_no=163 label=Case6.151 nb_sol=0 ticks=360950 tps=100 nb_sec=3609
case_no=163 label=Case6.151 nb_sol=0 ticks=484339 tps=100 nb_sec=4843
case_no=163 label=Case6.151 nb_sol=0 ticks=306150 tps=100 nb_sec=3061
case_no=163 label=Case6.151 nb_sol=0 ticks=484105 tps=100 nb_sec=4841
case_no=163 label=Case6.151 nb_sol=0 ticks=352327 tps=100 nb_sec=3523
case_no=163 label=Case6.151 nb_sol=0 ticks=460868 tps=100 nb_sec=4608
case_no=163 label=Case6.151 nb_sol=0 ticks=781694 tps=100 nb_sec=7816
case_no=163 label=Case6.151 nb_sol=0 ticks=432471 tps=100 nb_sec=4324
case_no=163 label=Case6.151 nb_sol=0 ticks=471625 tps=100 nb_sec=4716
case_no=163 label=Case6.151 nb_sol=0 ticks=389434 tps=100 nb_sec=3894
case_no=163 label=Case6.151 nb_sol=0 ticks=349959 tps=100 nb_sec=3499
case_no=163 label=Case6.151 nb_sol=0 ticks=480328 tps=100 nb_sec=4803
case_no=163 label=Case6.151 nb_sol=0 ticks=463864 tps=100 nb_sec=4638
case_no=163 label=Case6.151 nb_sol=0 ticks=394159 tps=100 nb_sec=3941
case_no=163 label=Case6.151 nb_sol=0 ticks=354207 tps=100 nb_sec=3542
case_no=163 label=Case6.151 nb_sol=0 ticks=397088 tps=100 nb_sec=3970
case_no=163 label=Case6.151 nb_sol=0 ticks=471862 tps=100 nb_sec=4718
case_no=163 label=Case6.151 nb_sol=0 ticks=361095 tps=100 nb_sec=3610
case_no=163 label=Case6.151 nb_sol=0 ticks=348209 tps=100 nb_sec=3482
case_no=163 label=Case6.151 nb_sol=0 ticks=388440 tps=100 nb_sec=3884
case_no=163 label=Case6.151 nb_sol=0 ticks=333236 tps=100 nb_sec=3332
case_no=163 label=Case6.151 nb_sol=0 ticks=296960 tps=100 nb_sec=2969
case_no=163 label=Case6.151 nb_sol=0 ticks=398706 tps=100 nb_sec=3987
case_no=163 label=Case6.151 nb_sol=0 ticks=386520 tps=100 nb_sec=3865
case_no=163 label=Case6.151 nb_sol=0 ticks=414071 tps=100 nb_sec=4140
case_no=163 label=Case6.151 nb_sol=0 ticks=339703 tps=100 nb_sec=3397
case_no=163 label=Case6.151 nb_sol=0 ticks=506097 tps=100 nb_sec=5060
case_no=163 label=Case6.151 nb_sol=0 ticks=472928 tps=100 nb_sec=4729
case_no=163 label=Case6.151 nb_sol=0 ticks=409499 tps=100 nb_sec=4094
case_no=163 label=Case6.151 nb_sol=0 ticks=398398 tps=100 nb_sec=3983
case_no=163 label=Case6.151 nb_sol=0 ticks=404695 tps=100 nb_sec=4046
case_no=163 label=Case6.151 nb_sol=0 ticks=491523 tps=100 nb_sec=4915
case_no=163 label=Case6.151 nb_sol=0 ticks=421970 tps=100 nb_sec=4219
case_no=163 label=Case6.151 nb_sol=0 ticks=386042 tps=100 nb_sec=3860
case_no=163 label=Case6.151 nb_sol=0 ticks=458764 tps=100 nb_sec=4587
case_no=163 label=Case6.151 nb_sol=0 ticks=410471 tps=100 nb_sec=4104
case_no=163 label=Case6.151 nb_sol=0 ticks=570950 tps=100 nb_sec=5709
case_no=163 label=Case6.151 nb_sol=0 ticks=606192 tps=100 nb_sec=6061
case_no=163 label=Case6.151 nb_sol=0 ticks=403582 tps=100 nb_sec=4035
case_no=163 label=Case6.151 nb_sol=0 ticks=424234 tps=100 nb_sec=4242
case_no=163 label=Case6.151 nb_sol=0 ticks=530703 tps=100 nb_sec=5307
case_no=163 label=Case6.151 nb_sol=0 ticks=510278 tps=100 nb_sec=5102
case_no=163 label=Case6.151 nb_sol=0 ticks=446143 tps=100 nb_sec=4461
case_no=163 label=Case6.151 nb_sol=0 ticks=535349 tps=100 nb_sec=5353
case_no=163 label=Case6.151 nb_sol=0 ticks=546751 tps=100 nb_sec=5467
case_no=163 label=Case6.151 nb_sol=0 ticks=423863 tps=100 nb_sec=4238
case_no=163 label=Case6.151 nb_sol=0 ticks=403118 tps=100 nb_sec=4031
case_no=163 label=Case6.151 nb_sol=0 ticks=375043 tps=100 nb_sec=3750
case_no=163 label=Case6.151 nb_sol=0 ticks=472573 tps=100 nb_sec=4725
case_no=163 label=Case6.151 nb_sol=0 ticks=444768 tps=100 nb_sec=4447
case_no=163 label=Case6.151 nb_sol=0 ticks=401334 tps=100 nb_sec=4013
case_no=163 label=Case6.151 nb_sol=0 ticks=437189 tps=100 nb_sec=4371
case_no=163 label=Case6.151 nb_sol=0 ticks=434142 tps=100 nb_sec=4341
case_no=163 label=Case6.151 nb_sol=0 ticks=509942 tps=100 nb_sec=5099
case_no=163 label=Case6.151 nb_sol=0 ticks=444270 tps=100 nb_sec=4442
case_no=163 label=Case6.151 nb_sol=0 ticks=516526 tps=100 nb_sec=5165
case_no=163 label=Case6.151 nb_sol=0 ticks=476700 tps=100 nb_sec=4767
case_no=163 label=Case6.151 nb_sol=0 ticks=409937 tps=100 nb_sec=4099
case_no=163 label=Case6.151 nb_sol=0 ticks=418857 tps=100 nb_sec=4188
case_no=163 label=Case6.151 nb_sol=0 ticks=315711 tps=100 nb_sec=3157
case_no=163 label=Case6.151 nb_sol=0 ticks=416870 tps=100 nb_sec=4168
case_no=163 label=Case6.151 nb_sol=0 ticks=425840 tps=100 nb_sec=4258
case_no=163 label=Case6.151 nb_sol=0 ticks=641245 tps=100 nb_sec=6412
case_no=163 label=Case6.151 nb_sol=0 ticks=467756 tps=100 nb_sec=4677
case_no=163 label=Case6.151 nb_sol=0 ticks=648996 tps=100 nb_sec=6489
case_no=163 label=Case6.151 nb_sol=0 ticks=526543 tps=100 nb_sec=5265
case_no=163 label=Case6.151 nb_sol=0 ticks=534377 tps=100 nb_sec=5343
case_no=163 label=Case6.151 nb_sol=0 ticks=414754 tps=100 nb_sec=4147
case_no=163 label=Case6.151 nb_sol=0 ticks=615495 tps=100 nb_sec=6154
case_no=163 label=Case6.151 nb_sol=0 ticks=423943 tps=100 nb_sec=4239
case_no=163 label=Case6.151 nb_sol=0 ticks=516797 tps=100 nb_sec=5167
case_no=163 label=Case6.151 nb_sol=0 ticks=367389 tps=100 nb_sec=3673
case_no=163 label=Case6.151 nb_sol=0 ticks=400319 tps=100 nb_sec=4003
case_no=163 label=Case6.151 nb_sol=0 ticks=462400 tps=100 nb_sec=4624
case_no=163 label=Case6.151 nb_sol=0 ticks=506044 tps=100 nb_sec=5060
case_no=163 label=Case6.151 nb_sol=0 ticks=414963 tps=100 nb_sec=4149
case_no=163 label=Case6.151 nb_sol=0 ticks=520717 tps=100 nb_sec=5207
case_no=163 label=Case6.151 nb_sol=0 ticks=357303 tps=100 nb_sec=3573
case_no=163 label=Case6.151 nb_sol=0 ticks=372644 tps=100 nb_sec=3726
case_no=163 label=Case6.151 nb_sol=0 ticks=519655 tps=100 nb_sec=5196
case_no=163 label=Case6.151 nb_sol=0 ticks=419517 tps=100 nb_sec=4195
case_no=163 label=Case6.151 nb_sol=0 ticks=432904 tps=100 nb_sec=4329
case_no=163 label=Case6.151 nb_sol=0 ticks=352370 tps=100 nb_sec=3523
case_no=163 label=Case6.151 nb_sol=0 ticks=374070 tps=100 nb_sec=3740
case_no=163 label=Case6.151 nb_sol=0 ticks=405473 tps=100 nb_sec=4054
case_no=163 label=Case6.151 nb_sol=0 ticks=384015 tps=100 nb_sec=3840
case_no=163 label=Case6.151 nb_sol=0 ticks=437191 tps=100 nb_sec=4371
case_no=163 label=Case6.151 nb_sol=0 ticks=380216 tps=100 nb_sec=3802
case_no=163 label=Case6.151 nb_sol=0 ticks=393901 tps=100 nb_sec=3939
case_no=163 label=Case6.151 nb_sol=0 ticks=422120 tps=100 nb_sec=4221
case_no=163 label=Case6.151 nb_sol=0 ticks=382275 tps=100 nb_sec=3822
case_no=163 label=Case6.151 nb_sol=0 ticks=404443 tps=100 nb_sec=4044
case_no=163 label=Case6.151 nb_sol=0 ticks=372043 tps=100 nb_sec=3720
case_no=163 label=Case6.151 nb_sol=0 ticks=394059 tps=100 nb_sec=3940
case_no=163 label=Case6.151 nb_sol=0 ticks=598693 tps=100 nb_sec=5986
case_no=163 label=Case6.151 nb_sol=0 ticks=601504 tps=100 nb_sec=6015
case_no=163 label=Case6.151 nb_sol=0 ticks=495471 tps=100 nb_sec=4954
case_no=163 label=Case6.151 nb_sol=0 ticks=480320 tps=100 nb_sec=4803
case_no=163 label=Case6.151 nb_sol=0 ticks=589580 tps=100 nb_sec=5895
case_no=163 label=Case6.151 nb_sol=0 ticks=554568 tps=100 nb_sec=5545
case_no=163 label=Case6.151 nb_sol=0 ticks=525013 tps=100 nb_sec=5250
case_no=163 label=Case6.151 nb_sol=0 ticks=421828 tps=100 nb_sec=4218
case_no=163 label=Case6.151 nb_sol=0 ticks=435389 tps=100 nb_sec=4353
case_no=163 label=Case6.151 nb_sol=0 ticks=508205 tps=100 nb_sec=5082
case_no=163 label=Case6.151 nb_sol=0 ticks=580778 tps=100 nb_sec=5807
case_no=163 label=Case6.151 nb_sol=0 ticks=497709 tps=100 nb_sec=4977
case_no=163 label=Case6.151 nb_sol=0 ticks=721027 tps=100 nb_sec=7210
case_no=163 label=Case6.151 nb_sol=0 ticks=502204 tps=100 nb_sec=5022
case_no=163 label=Case6.151 nb_sol=0 ticks=478835 tps=100 nb_sec=4788
case_no=163 label=Case6.151 nb_sol=0 ticks=546466 tps=100 nb_sec=5464
case_no=163 label=Case6.151 nb_sol=0 ticks=471022 tps=100 nb_sec=4710
case_no=163 label=Case6.151 nb_sol=0 ticks=567154 tps=100 nb_sec=5671
case_no=163 label=Case6.151 nb_sol=0 ticks=435428 tps=100 nb_sec=4354
case_no=163 label=Case6.151 nb_sol=0 ticks=399142 tps=100 nb_sec=3991
case_no=163 label=Case6.151 nb_sol=0 ticks=664298 tps=100 nb_sec=6642
case_no=163 label=Case6.151 nb_sol=0 ticks=561750 tps=100 nb_sec=5617
case_no=163 label=Case6.151 nb_sol=0 ticks=559078 tps=100 nb_sec=5590
case_no=163 label=Case6.151 nb_sol=0 ticks=348224 tps=100 nb_sec=3482
Nb_sol=0
Nb_sec=5010477
57-23:47:57 or 1391 hours
missing cases:
none