argc=5
-M 1024
file2=30_select_Case6.161_starter_15_
checking files mod 1024 from 0 to 1023
case_no=173 label=Case6.161 nb_sol=0 ticks=392934 tps=100 nb_sec=3929
case_no=173 label=Case6.161 nb_sol=0 ticks=526281 tps=100 nb_sec=5262
case_no=173 label=Case6.161 nb_sol=0 ticks=638890 tps=100 nb_sec=6388
case_no=173 label=Case6.161 nb_sol=0 ticks=303435 tps=100 nb_sec=3034
case_no=173 label=Case6.161 nb_sol=0 ticks=776082 tps=100 nb_sec=7760
case_no=173 label=Case6.161 nb_sol=0 ticks=408378 tps=100 nb_sec=4083
case_no=173 label=Case6.161 nb_sol=0 ticks=327282 tps=100 nb_sec=3272
case_no=173 label=Case6.161 nb_sol=0 ticks=340236 tps=100 nb_sec=3402
case_no=173 label=Case6.161 nb_sol=0 ticks=750440 tps=100 nb_sec=7504
case_no=173 label=Case6.161 nb_sol=0 ticks=760613 tps=100 nb_sec=7606
case_no=173 label=Case6.161 nb_sol=0 ticks=789421 tps=100 nb_sec=7894
case_no=173 label=Case6.161 nb_sol=0 ticks=368814 tps=100 nb_sec=3688
case_no=173 label=Case6.161 nb_sol=0 ticks=660792 tps=100 nb_sec=6607
case_no=173 label=Case6.161 nb_sol=0 ticks=316156 tps=100 nb_sec=3161
case_no=173 label=Case6.161 nb_sol=0 ticks=709370 tps=100 nb_sec=7093
case_no=173 label=Case6.161 nb_sol=0 ticks=628901 tps=100 nb_sec=6289
case_no=173 label=Case6.161 nb_sol=0 ticks=861010 tps=100 nb_sec=8610
case_no=173 label=Case6.161 nb_sol=0 ticks=669183 tps=100 nb_sec=6691
case_no=173 label=Case6.161 nb_sol=0 ticks=859637 tps=100 nb_sec=8596
case_no=173 label=Case6.161 nb_sol=0 ticks=334295 tps=100 nb_sec=3342
case_no=173 label=Case6.161 nb_sol=0 ticks=653487 tps=100 nb_sec=6534
case_no=173 label=Case6.161 nb_sol=0 ticks=1296371 tps=100 nb_sec=12963
case_no=173 label=Case6.161 nb_sol=0 ticks=720925 tps=100 nb_sec=7209
case_no=173 label=Case6.161 nb_sol=0 ticks=745881 tps=100 nb_sec=7458
case_no=173 label=Case6.161 nb_sol=0 ticks=449859 tps=100 nb_sec=4498
case_no=173 label=Case6.161 nb_sol=0 ticks=401337 tps=100 nb_sec=4013
case_no=173 label=Case6.161 nb_sol=0 ticks=926071 tps=100 nb_sec=9260
case_no=173 label=Case6.161 nb_sol=0 ticks=947320 tps=100 nb_sec=9473
case_no=173 label=Case6.161 nb_sol=0 ticks=376690 tps=100 nb_sec=3766
case_no=173 label=Case6.161 nb_sol=0 ticks=1030677 tps=100 nb_sec=10306
case_no=173 label=Case6.161 nb_sol=0 ticks=507912 tps=100 nb_sec=5079
case_no=173 label=Case6.161 nb_sol=0 ticks=356950 tps=100 nb_sec=3569
case_no=173 label=Case6.161 nb_sol=0 ticks=367136 tps=100 nb_sec=3671
case_no=173 label=Case6.161 nb_sol=0 ticks=673135 tps=100 nb_sec=6731
case_no=173 label=Case6.161 nb_sol=0 ticks=1028441 tps=100 nb_sec=10284
case_no=173 label=Case6.161 nb_sol=0 ticks=351234 tps=100 nb_sec=3512
case_no=173 label=Case6.161 nb_sol=0 ticks=631442 tps=100 nb_sec=6314
case_no=173 label=Case6.161 nb_sol=0 ticks=637930 tps=100 nb_sec=6379
case_no=173 label=Case6.161 nb_sol=0 ticks=304939 tps=100 nb_sec=3049
case_no=173 label=Case6.161 nb_sol=0 ticks=283232 tps=100 nb_sec=2832
case_no=173 label=Case6.161 nb_sol=0 ticks=889264 tps=100 nb_sec=8892
case_no=173 label=Case6.161 nb_sol=0 ticks=753948 tps=100 nb_sec=7539
case_no=173 label=Case6.161 nb_sol=0 ticks=645637 tps=100 nb_sec=6456
case_no=173 label=Case6.161 nb_sol=0 ticks=373606 tps=100 nb_sec=3736
case_no=173 label=Case6.161 nb_sol=0 ticks=1043516 tps=100 nb_sec=10435
case_no=173 label=Case6.161 nb_sol=0 ticks=613920 tps=100 nb_sec=6139
case_no=173 label=Case6.161 nb_sol=0 ticks=1071109 tps=100 nb_sec=10711
case_no=173 label=Case6.161 nb_sol=0 ticks=722227 tps=100 nb_sec=7222
case_no=173 label=Case6.161 nb_sol=0 ticks=769438 tps=100 nb_sec=7694
case_no=173 label=Case6.161 nb_sol=0 ticks=344842 tps=100 nb_sec=3448
case_no=173 label=Case6.161 nb_sol=0 ticks=381068 tps=100 nb_sec=3810
case_no=173 label=Case6.161 nb_sol=0 ticks=757860 tps=100 nb_sec=7578
case_no=173 label=Case6.161 nb_sol=0 ticks=750444 tps=100 nb_sec=7504
case_no=173 label=Case6.161 nb_sol=0 ticks=727791 tps=100 nb_sec=7277
case_no=173 label=Case6.161 nb_sol=0 ticks=521338 tps=100 nb_sec=5213
case_no=173 label=Case6.161 nb_sol=0 ticks=562090 tps=100 nb_sec=5620
case_no=173 label=Case6.161 nb_sol=0 ticks=354775 tps=100 nb_sec=3547
case_no=173 label=Case6.161 nb_sol=0 ticks=360914 tps=100 nb_sec=3609
case_no=173 label=Case6.161 nb_sol=0 ticks=851353 tps=100 nb_sec=8513
case_no=173 label=Case6.161 nb_sol=0 ticks=675405 tps=100 nb_sec=6754
case_no=173 label=Case6.161 nb_sol=0 ticks=296870 tps=100 nb_sec=2968
case_no=173 label=Case6.161 nb_sol=0 ticks=634296 tps=100 nb_sec=6342
case_no=173 label=Case6.161 nb_sol=0 ticks=714796 tps=100 nb_sec=7147
case_no=173 label=Case6.161 nb_sol=0 ticks=716055 tps=100 nb_sec=7160
case_no=173 label=Case6.161 nb_sol=0 ticks=545741 tps=100 nb_sec=5457
case_no=173 label=Case6.161 nb_sol=0 ticks=798981 tps=100 nb_sec=7989
case_no=173 label=Case6.161 nb_sol=0 ticks=648413 tps=100 nb_sec=6484
case_no=173 label=Case6.161 nb_sol=0 ticks=729137 tps=100 nb_sec=7291
case_no=173 label=Case6.161 nb_sol=0 ticks=867028 tps=100 nb_sec=8670
case_no=173 label=Case6.161 nb_sol=0 ticks=731672 tps=100 nb_sec=7316
case_no=173 label=Case6.161 nb_sol=0 ticks=761689 tps=100 nb_sec=7616
case_no=173 label=Case6.161 nb_sol=0 ticks=733257 tps=100 nb_sec=7332
case_no=173 label=Case6.161 nb_sol=0 ticks=823660 tps=100 nb_sec=8236
case_no=173 label=Case6.161 nb_sol=0 ticks=747513 tps=100 nb_sec=7475
case_no=173 label=Case6.161 nb_sol=0 ticks=711006 tps=100 nb_sec=7110
case_no=173 label=Case6.161 nb_sol=0 ticks=643542 tps=100 nb_sec=6435
case_no=173 label=Case6.161 nb_sol=0 ticks=948590 tps=100 nb_sec=9485
case_no=173 label=Case6.161 nb_sol=0 ticks=338540 tps=100 nb_sec=3385
case_no=173 label=Case6.161 nb_sol=0 ticks=565248 tps=100 nb_sec=5652
case_no=173 label=Case6.161 nb_sol=0 ticks=425521 tps=100 nb_sec=4255
case_no=173 label=Case6.161 nb_sol=0 ticks=369474 tps=100 nb_sec=3694
case_no=173 label=Case6.161 nb_sol=0 ticks=760432 tps=100 nb_sec=7604
case_no=173 label=Case6.161 nb_sol=0 ticks=857545 tps=100 nb_sec=8575
case_no=173 label=Case6.161 nb_sol=0 ticks=429136 tps=100 nb_sec=4291
case_no=173 label=Case6.161 nb_sol=0 ticks=1041471 tps=100 nb_sec=10414
case_no=173 label=Case6.161 nb_sol=0 ticks=452090 tps=100 nb_sec=4520
case_no=173 label=Case6.161 nb_sol=0 ticks=830844 tps=100 nb_sec=8308
case_no=173 label=Case6.161 nb_sol=0 ticks=961258 tps=100 nb_sec=9612
case_no=173 label=Case6.161 nb_sol=0 ticks=926353 tps=100 nb_sec=9263
case_no=173 label=Case6.161 nb_sol=0 ticks=939488 tps=100 nb_sec=9394
case_no=173 label=Case6.161 nb_sol=0 ticks=1089807 tps=100 nb_sec=10898
case_no=173 label=Case6.161 nb_sol=0 ticks=876366 tps=100 nb_sec=8763
case_no=173 label=Case6.161 nb_sol=0 ticks=900891 tps=100 nb_sec=9008
case_no=173 label=Case6.161 nb_sol=0 ticks=458040 tps=100 nb_sec=4580
case_no=173 label=Case6.161 nb_sol=0 ticks=969606 tps=100 nb_sec=9696
case_no=173 label=Case6.161 nb_sol=0 ticks=709098 tps=100 nb_sec=7090
case_no=173 label=Case6.161 nb_sol=0 ticks=693499 tps=100 nb_sec=6934
case_no=173 label=Case6.161 nb_sol=0 ticks=764903 tps=100 nb_sec=7649
case_no=173 label=Case6.161 nb_sol=0 ticks=838459 tps=100 nb_sec=8384
case_no=173 label=Case6.161 nb_sol=0 ticks=724234 tps=100 nb_sec=7242
case_no=173 label=Case6.161 nb_sol=0 ticks=842119 tps=100 nb_sec=8421
case_no=173 label=Case6.161 nb_sol=0 ticks=635735 tps=100 nb_sec=6357
case_no=173 label=Case6.161 nb_sol=0 ticks=705362 tps=100 nb_sec=7053
case_no=173 label=Case6.161 nb_sol=0 ticks=512207 tps=100 nb_sec=5122
case_no=173 label=Case6.161 nb_sol=0 ticks=672521 tps=100 nb_sec=6725
case_no=173 label=Case6.161 nb_sol=0 ticks=693312 tps=100 nb_sec=6933
case_no=173 label=Case6.161 nb_sol=0 ticks=676590 tps=100 nb_sec=6765
case_no=173 label=Case6.161 nb_sol=0 ticks=910754 tps=100 nb_sec=9107
case_no=173 label=Case6.161 nb_sol=0 ticks=702602 tps=100 nb_sec=7026
case_no=173 label=Case6.161 nb_sol=0 ticks=745418 tps=100 nb_sec=7454
case_no=173 label=Case6.161 nb_sol=0 ticks=787944 tps=100 nb_sec=7879
case_no=173 label=Case6.161 nb_sol=0 ticks=757005 tps=100 nb_sec=7570
case_no=173 label=Case6.161 nb_sol=0 ticks=550827 tps=100 nb_sec=5508
case_no=173 label=Case6.161 nb_sol=0 ticks=690668 tps=100 nb_sec=6906
case_no=173 label=Case6.161 nb_sol=0 ticks=783516 tps=100 nb_sec=7835
case_no=173 label=Case6.161 nb_sol=0 ticks=607566 tps=100 nb_sec=6075
case_no=173 label=Case6.161 nb_sol=0 ticks=902064 tps=100 nb_sec=9020
case_no=173 label=Case6.161 nb_sol=0 ticks=806198 tps=100 nb_sec=8061
case_no=173 label=Case6.161 nb_sol=0 ticks=687650 tps=100 nb_sec=6876
case_no=173 label=Case6.161 nb_sol=0 ticks=662152 tps=100 nb_sec=6621
case_no=173 label=Case6.161 nb_sol=0 ticks=659679 tps=100 nb_sec=6596
case_no=173 label=Case6.161 nb_sol=0 ticks=607517 tps=100 nb_sec=6075
case_no=173 label=Case6.161 nb_sol=0 ticks=635851 tps=100 nb_sec=6358
case_no=173 label=Case6.161 nb_sol=0 ticks=680788 tps=100 nb_sec=6807
case_no=173 label=Case6.161 nb_sol=0 ticks=766591 tps=100 nb_sec=7665
case_no=173 label=Case6.161 nb_sol=0 ticks=627546 tps=100 nb_sec=6275
case_no=173 label=Case6.161 nb_sol=0 ticks=593576 tps=100 nb_sec=5935
case_no=173 label=Case6.161 nb_sol=0 ticks=523603 tps=100 nb_sec=5236
case_no=173 label=Case6.161 nb_sol=0 ticks=767788 tps=100 nb_sec=7677
case_no=173 label=Case6.161 nb_sol=0 ticks=332509 tps=100 nb_sec=3325
case_no=173 label=Case6.161 nb_sol=0 ticks=899269 tps=100 nb_sec=8992
case_no=173 label=Case6.161 nb_sol=0 ticks=370548 tps=100 nb_sec=3705
case_no=173 label=Case6.161 nb_sol=0 ticks=758490 tps=100 nb_sec=7584
case_no=173 label=Case6.161 nb_sol=0 ticks=518152 tps=100 nb_sec=5181
case_no=173 label=Case6.161 nb_sol=0 ticks=883951 tps=100 nb_sec=8839
case_no=173 label=Case6.161 nb_sol=0 ticks=429277 tps=100 nb_sec=4292
case_no=173 label=Case6.161 nb_sol=0 ticks=521390 tps=100 nb_sec=5213
case_no=173 label=Case6.161 nb_sol=0 ticks=367924 tps=100 nb_sec=3679
case_no=173 label=Case6.161 nb_sol=0 ticks=794254 tps=100 nb_sec=7942
case_no=173 label=Case6.161 nb_sol=0 ticks=764150 tps=100 nb_sec=7641
case_no=173 label=Case6.161 nb_sol=0 ticks=868750 tps=100 nb_sec=8687
case_no=173 label=Case6.161 nb_sol=0 ticks=1018636 tps=100 nb_sec=10186
case_no=173 label=Case6.161 nb_sol=0 ticks=1037453 tps=100 nb_sec=10374
case_no=173 label=Case6.161 nb_sol=0 ticks=317058 tps=100 nb_sec=3170
case_no=173 label=Case6.161 nb_sol=0 ticks=847664 tps=100 nb_sec=8476
case_no=173 label=Case6.161 nb_sol=0 ticks=324351 tps=100 nb_sec=3243
case_no=173 label=Case6.161 nb_sol=0 ticks=767797 tps=100 nb_sec=7677
case_no=173 label=Case6.161 nb_sol=0 ticks=506617 tps=100 nb_sec=5066
case_no=173 label=Case6.161 nb_sol=0 ticks=1032038 tps=100 nb_sec=10320
case_no=173 label=Case6.161 nb_sol=0 ticks=814802 tps=100 nb_sec=8148
case_no=173 label=Case6.161 nb_sol=0 ticks=970543 tps=100 nb_sec=9705
case_no=173 label=Case6.161 nb_sol=0 ticks=850002 tps=100 nb_sec=8500
case_no=173 label=Case6.161 nb_sol=0 ticks=613146 tps=100 nb_sec=6131
case_no=173 label=Case6.161 nb_sol=0 ticks=661394 tps=100 nb_sec=6613
case_no=173 label=Case6.161 nb_sol=0 ticks=912311 tps=100 nb_sec=9123
case_no=173 label=Case6.161 nb_sol=0 ticks=970476 tps=100 nb_sec=9704
case_no=173 label=Case6.161 nb_sol=0 ticks=949149 tps=100 nb_sec=9491
case_no=173 label=Case6.161 nb_sol=0 ticks=669124 tps=100 nb_sec=6691
case_no=173 label=Case6.161 nb_sol=0 ticks=699471 tps=100 nb_sec=6994
case_no=173 label=Case6.161 nb_sol=0 ticks=604459 tps=100 nb_sec=6044
case_no=173 label=Case6.161 nb_sol=0 ticks=711921 tps=100 nb_sec=7119
case_no=173 label=Case6.161 nb_sol=0 ticks=748462 tps=100 nb_sec=7484
case_no=173 label=Case6.161 nb_sol=0 ticks=631782 tps=100 nb_sec=6317
case_no=173 label=Case6.161 nb_sol=0 ticks=365364 tps=100 nb_sec=3653
case_no=173 label=Case6.161 nb_sol=0 ticks=676629 tps=100 nb_sec=6766
case_no=173 label=Case6.161 nb_sol=0 ticks=641267 tps=100 nb_sec=6412
case_no=173 label=Case6.161 nb_sol=0 ticks=651956 tps=100 nb_sec=6519
case_no=173 label=Case6.161 nb_sol=0 ticks=597758 tps=100 nb_sec=5977
case_no=173 label=Case6.161 nb_sol=0 ticks=693098 tps=100 nb_sec=6930
case_no=173 label=Case6.161 nb_sol=0 ticks=674171 tps=100 nb_sec=6741
case_no=173 label=Case6.161 nb_sol=0 ticks=331354 tps=100 nb_sec=3313
case_no=173 label=Case6.161 nb_sol=0 ticks=702981 tps=100 nb_sec=7029
case_no=173 label=Case6.161 nb_sol=0 ticks=594731 tps=100 nb_sec=5947
case_no=173 label=Case6.161 nb_sol=0 ticks=803602 tps=100 nb_sec=8036
case_no=173 label=Case6.161 nb_sol=0 ticks=707034 tps=100 nb_sec=7070
case_no=173 label=Case6.161 nb_sol=0 ticks=330278 tps=100 nb_sec=3302
case_no=173 label=Case6.161 nb_sol=0 ticks=887074 tps=100 nb_sec=8870
case_no=173 label=Case6.161 nb_sol=0 ticks=906935 tps=100 nb_sec=9069
case_no=173 label=Case6.161 nb_sol=0 ticks=839768 tps=100 nb_sec=8397
case_no=173 label=Case6.161 nb_sol=0 ticks=910059 tps=100 nb_sec=9100
case_no=173 label=Case6.161 nb_sol=0 ticks=937509 tps=100 nb_sec=9375
case_no=173 label=Case6.161 nb_sol=0 ticks=720122 tps=100 nb_sec=7201
case_no=173 label=Case6.161 nb_sol=0 ticks=757198 tps=100 nb_sec=7571
case_no=173 label=Case6.161 nb_sol=0 ticks=991247 tps=100 nb_sec=9912
case_no=173 label=Case6.161 nb_sol=0 ticks=763977 tps=100 nb_sec=7639
case_no=173 label=Case6.161 nb_sol=0 ticks=718673 tps=100 nb_sec=7186
case_no=173 label=Case6.161 nb_sol=0 ticks=803185 tps=100 nb_sec=8031
case_no=173 label=Case6.161 nb_sol=0 ticks=854585 tps=100 nb_sec=8545
case_no=173 label=Case6.161 nb_sol=0 ticks=656384 tps=100 nb_sec=6563
case_no=173 label=Case6.161 nb_sol=0 ticks=787495 tps=100 nb_sec=7874
case_no=173 label=Case6.161 nb_sol=0 ticks=784825 tps=100 nb_sec=7848
case_no=173 label=Case6.161 nb_sol=0 ticks=970662 tps=100 nb_sec=9706
case_no=173 label=Case6.161 nb_sol=0 ticks=793816 tps=100 nb_sec=7938
case_no=173 label=Case6.161 nb_sol=0 ticks=795524 tps=100 nb_sec=7955
case_no=173 label=Case6.161 nb_sol=0 ticks=659363 tps=100 nb_sec=6593
case_no=173 label=Case6.161 nb_sol=0 ticks=711046 tps=100 nb_sec=7110
case_no=173 label=Case6.161 nb_sol=0 ticks=817182 tps=100 nb_sec=8171
case_no=173 label=Case6.161 nb_sol=0 ticks=711902 tps=100 nb_sec=7119
case_no=173 label=Case6.161 nb_sol=0 ticks=643429 tps=100 nb_sec=6434
case_no=173 label=Case6.161 nb_sol=0 ticks=639906 tps=100 nb_sec=6399
case_no=173 label=Case6.161 nb_sol=0 ticks=651135 tps=100 nb_sec=6511
case_no=173 label=Case6.161 nb_sol=0 ticks=762654 tps=100 nb_sec=7626
case_no=173 label=Case6.161 nb_sol=0 ticks=806253 tps=100 nb_sec=8062
case_no=173 label=Case6.161 nb_sol=0 ticks=761538 tps=100 nb_sec=7615
case_no=173 label=Case6.161 nb_sol=0 ticks=699267 tps=100 nb_sec=6992
case_no=173 label=Case6.161 nb_sol=0 ticks=764209 tps=100 nb_sec=7642
case_no=173 label=Case6.161 nb_sol=0 ticks=587610 tps=100 nb_sec=5876
case_no=173 label=Case6.161 nb_sol=0 ticks=739628 tps=100 nb_sec=7396
case_no=173 label=Case6.161 nb_sol=0 ticks=587387 tps=100 nb_sec=5873
case_no=173 label=Case6.161 nb_sol=0 ticks=680655 tps=100 nb_sec=6806
case_no=173 label=Case6.161 nb_sol=0 ticks=744256 tps=100 nb_sec=7442
case_no=173 label=Case6.161 nb_sol=0 ticks=691318 tps=100 nb_sec=6913
case_no=173 label=Case6.161 nb_sol=0 ticks=786243 tps=100 nb_sec=7862
case_no=173 label=Case6.161 nb_sol=0 ticks=781000 tps=100 nb_sec=7810
case_no=173 label=Case6.161 nb_sol=0 ticks=807961 tps=100 nb_sec=8079
case_no=173 label=Case6.161 nb_sol=0 ticks=876156 tps=100 nb_sec=8761
case_no=173 label=Case6.161 nb_sol=0 ticks=864009 tps=100 nb_sec=8640
case_no=173 label=Case6.161 nb_sol=0 ticks=613703 tps=100 nb_sec=6137
case_no=173 label=Case6.161 nb_sol=0 ticks=847031 tps=100 nb_sec=8470
case_no=173 label=Case6.161 nb_sol=0 ticks=908358 tps=100 nb_sec=9083
case_no=173 label=Case6.161 nb_sol=0 ticks=602985 tps=100 nb_sec=6029
case_no=173 label=Case6.161 nb_sol=0 ticks=739526 tps=100 nb_sec=7395
case_no=173 label=Case6.161 nb_sol=0 ticks=694152 tps=100 nb_sec=6941
case_no=173 label=Case6.161 nb_sol=0 ticks=830388 tps=100 nb_sec=8303
case_no=173 label=Case6.161 nb_sol=0 ticks=683990 tps=100 nb_sec=6839
case_no=173 label=Case6.161 nb_sol=0 ticks=879671 tps=100 nb_sec=8796
case_no=173 label=Case6.161 nb_sol=0 ticks=747459 tps=100 nb_sec=7474
case_no=173 label=Case6.161 nb_sol=0 ticks=881797 tps=100 nb_sec=8817
case_no=173 label=Case6.161 nb_sol=0 ticks=822488 tps=100 nb_sec=8224
case_no=173 label=Case6.161 nb_sol=0 ticks=811527 tps=100 nb_sec=8115
case_no=173 label=Case6.161 nb_sol=0 ticks=840291 tps=100 nb_sec=8402
case_no=173 label=Case6.161 nb_sol=0 ticks=837808 tps=100 nb_sec=8378
case_no=173 label=Case6.161 nb_sol=0 ticks=697320 tps=100 nb_sec=6973
case_no=173 label=Case6.161 nb_sol=0 ticks=717709 tps=100 nb_sec=7177
case_no=173 label=Case6.161 nb_sol=0 ticks=894689 tps=100 nb_sec=8946
case_no=173 label=Case6.161 nb_sol=0 ticks=766556 tps=100 nb_sec=7665
case_no=173 label=Case6.161 nb_sol=0 ticks=773743 tps=100 nb_sec=7737
case_no=173 label=Case6.161 nb_sol=0 ticks=752600 tps=100 nb_sec=7526
case_no=173 label=Case6.161 nb_sol=0 ticks=727418 tps=100 nb_sec=7274
case_no=173 label=Case6.161 nb_sol=0 ticks=827936 tps=100 nb_sec=8279
case_no=173 label=Case6.161 nb_sol=0 ticks=866493 tps=100 nb_sec=8664
case_no=173 label=Case6.161 nb_sol=0 ticks=788749 tps=100 nb_sec=7887
case_no=173 label=Case6.161 nb_sol=0 ticks=692659 tps=100 nb_sec=6926
case_no=173 label=Case6.161 nb_sol=0 ticks=665074 tps=100 nb_sec=6650
case_no=173 label=Case6.161 nb_sol=0 ticks=718957 tps=100 nb_sec=7189
case_no=173 label=Case6.161 nb_sol=0 ticks=714993 tps=100 nb_sec=7149
case_no=173 label=Case6.161 nb_sol=0 ticks=702631 tps=100 nb_sec=7026
case_no=173 label=Case6.161 nb_sol=0 ticks=751118 tps=100 nb_sec=7511
case_no=173 label=Case6.161 nb_sol=0 ticks=603537 tps=100 nb_sec=6035
case_no=173 label=Case6.161 nb_sol=0 ticks=645164 tps=100 nb_sec=6451
case_no=173 label=Case6.161 nb_sol=0 ticks=707277 tps=100 nb_sec=7072
case_no=173 label=Case6.161 nb_sol=0 ticks=1044612 tps=100 nb_sec=10446
case_no=173 label=Case6.161 nb_sol=0 ticks=539959 tps=100 nb_sec=5399
case_no=173 label=Case6.161 nb_sol=0 ticks=1099302 tps=100 nb_sec=10993
case_no=173 label=Case6.161 nb_sol=0 ticks=727689 tps=100 nb_sec=7276
case_no=173 label=Case6.161 nb_sol=0 ticks=828657 tps=100 nb_sec=8286
case_no=173 label=Case6.161 nb_sol=0 ticks=747209 tps=100 nb_sec=7472
case_no=173 label=Case6.161 nb_sol=0 ticks=480568 tps=100 nb_sec=4805
case_no=173 label=Case6.161 nb_sol=0 ticks=580494 tps=100 nb_sec=5804
case_no=173 label=Case6.161 nb_sol=0 ticks=812548 tps=100 nb_sec=8125
case_no=173 label=Case6.161 nb_sol=0 ticks=713195 tps=100 nb_sec=7131
case_no=173 label=Case6.161 nb_sol=0 ticks=453232 tps=100 nb_sec=4532
case_no=173 label=Case6.161 nb_sol=0 ticks=785895 tps=100 nb_sec=7858
case_no=173 label=Case6.161 nb_sol=0 ticks=785363 tps=100 nb_sec=7853
case_no=173 label=Case6.161 nb_sol=0 ticks=845264 tps=100 nb_sec=8452
case_no=173 label=Case6.161 nb_sol=0 ticks=402692 tps=100 nb_sec=4026
case_no=173 label=Case6.161 nb_sol=0 ticks=379842 tps=100 nb_sec=3798
case_no=173 label=Case6.161 nb_sol=0 ticks=873635 tps=100 nb_sec=8736
case_no=173 label=Case6.161 nb_sol=0 ticks=452815 tps=100 nb_sec=4528
case_no=173 label=Case6.161 nb_sol=0 ticks=893931 tps=100 nb_sec=8939
case_no=173 label=Case6.161 nb_sol=0 ticks=411064 tps=100 nb_sec=4110
case_no=173 label=Case6.161 nb_sol=0 ticks=857584 tps=100 nb_sec=8575
case_no=173 label=Case6.161 nb_sol=0 ticks=852709 tps=100 nb_sec=8527
case_no=173 label=Case6.161 nb_sol=0 ticks=794155 tps=100 nb_sec=7941
case_no=173 label=Case6.161 nb_sol=0 ticks=912613 tps=100 nb_sec=9126
case_no=173 label=Case6.161 nb_sol=0 ticks=892150 tps=100 nb_sec=8921
case_no=173 label=Case6.161 nb_sol=0 ticks=348058 tps=100 nb_sec=3480
case_no=173 label=Case6.161 nb_sol=0 ticks=667319 tps=100 nb_sec=6673
case_no=173 label=Case6.161 nb_sol=0 ticks=896050 tps=100 nb_sec=8960
case_no=173 label=Case6.161 nb_sol=0 ticks=699851 tps=100 nb_sec=6998
case_no=173 label=Case6.161 nb_sol=0 ticks=1134044 tps=100 nb_sec=11340
case_no=173 label=Case6.161 nb_sol=0 ticks=866708 tps=100 nb_sec=8667
case_no=173 label=Case6.161 nb_sol=0 ticks=971463 tps=100 nb_sec=9714
case_no=173 label=Case6.161 nb_sol=0 ticks=1079799 tps=100 nb_sec=10797
case_no=173 label=Case6.161 nb_sol=0 ticks=858193 tps=100 nb_sec=8581
case_no=173 label=Case6.161 nb_sol=0 ticks=1015740 tps=100 nb_sec=10157
case_no=173 label=Case6.161 nb_sol=0 ticks=909902 tps=100 nb_sec=9099
case_no=173 label=Case6.161 nb_sol=0 ticks=473859 tps=100 nb_sec=4738
case_no=173 label=Case6.161 nb_sol=0 ticks=1008590 tps=100 nb_sec=10085
case_no=173 label=Case6.161 nb_sol=0 ticks=571109 tps=100 nb_sec=5711
case_no=173 label=Case6.161 nb_sol=0 ticks=804429 tps=100 nb_sec=8044
case_no=173 label=Case6.161 nb_sol=0 ticks=756053 tps=100 nb_sec=7560
case_no=173 label=Case6.161 nb_sol=0 ticks=1024097 tps=100 nb_sec=10240
case_no=173 label=Case6.161 nb_sol=0 ticks=1085454 tps=100 nb_sec=10854
case_no=173 label=Case6.161 nb_sol=0 ticks=851999 tps=100 nb_sec=8519
case_no=173 label=Case6.161 nb_sol=0 ticks=653091 tps=100 nb_sec=6530
case_no=173 label=Case6.161 nb_sol=0 ticks=698752 tps=100 nb_sec=6987
case_no=173 label=Case6.161 nb_sol=0 ticks=669474 tps=100 nb_sec=6694
case_no=173 label=Case6.161 nb_sol=0 ticks=599089 tps=100 nb_sec=5990
case_no=173 label=Case6.161 nb_sol=0 ticks=877591 tps=100 nb_sec=8775
case_no=173 label=Case6.161 nb_sol=0 ticks=708638 tps=100 nb_sec=7086
case_no=173 label=Case6.161 nb_sol=0 ticks=781732 tps=100 nb_sec=7817
case_no=173 label=Case6.161 nb_sol=0 ticks=730599 tps=100 nb_sec=7305
case_no=173 label=Case6.161 nb_sol=0 ticks=409433 tps=100 nb_sec=4094
case_no=173 label=Case6.161 nb_sol=0 ticks=887740 tps=100 nb_sec=8877
case_no=173 label=Case6.161 nb_sol=0 ticks=668785 tps=100 nb_sec=6687
case_no=173 label=Case6.161 nb_sol=0 ticks=577739 tps=100 nb_sec=5777
case_no=173 label=Case6.161 nb_sol=0 ticks=742818 tps=100 nb_sec=7428
case_no=173 label=Case6.161 nb_sol=0 ticks=602825 tps=100 nb_sec=6028
case_no=173 label=Case6.161 nb_sol=0 ticks=1026629 tps=100 nb_sec=10266
case_no=173 label=Case6.161 nb_sol=0 ticks=933910 tps=100 nb_sec=9339
case_no=173 label=Case6.161 nb_sol=0 ticks=769129 tps=100 nb_sec=7691
case_no=173 label=Case6.161 nb_sol=0 ticks=885472 tps=100 nb_sec=8854
case_no=173 label=Case6.161 nb_sol=0 ticks=764629 tps=100 nb_sec=7646
case_no=173 label=Case6.161 nb_sol=0 ticks=661982 tps=100 nb_sec=6619
case_no=173 label=Case6.161 nb_sol=0 ticks=876838 tps=100 nb_sec=8768
case_no=173 label=Case6.161 nb_sol=0 ticks=818766 tps=100 nb_sec=8187
case_no=173 label=Case6.161 nb_sol=0 ticks=667149 tps=100 nb_sec=6671
case_no=173 label=Case6.161 nb_sol=0 ticks=853007 tps=100 nb_sec=8530
case_no=173 label=Case6.161 nb_sol=0 ticks=674378 tps=100 nb_sec=6743
case_no=173 label=Case6.161 nb_sol=0 ticks=695967 tps=100 nb_sec=6959
case_no=173 label=Case6.161 nb_sol=0 ticks=716769 tps=100 nb_sec=7167
case_no=173 label=Case6.161 nb_sol=0 ticks=580492 tps=100 nb_sec=5804
case_no=173 label=Case6.161 nb_sol=0 ticks=827397 tps=100 nb_sec=8273
case_no=173 label=Case6.161 nb_sol=0 ticks=666674 tps=100 nb_sec=6666
case_no=173 label=Case6.161 nb_sol=0 ticks=685675 tps=100 nb_sec=6856
case_no=173 label=Case6.161 nb_sol=0 ticks=834660 tps=100 nb_sec=8346
case_no=173 label=Case6.161 nb_sol=0 ticks=603981 tps=100 nb_sec=6039
case_no=173 label=Case6.161 nb_sol=0 ticks=702192 tps=100 nb_sec=7021
case_no=173 label=Case6.161 nb_sol=0 ticks=908429 tps=100 nb_sec=9084
case_no=173 label=Case6.161 nb_sol=0 ticks=654670 tps=100 nb_sec=6546
case_no=173 label=Case6.161 nb_sol=0 ticks=730172 tps=100 nb_sec=7301
case_no=173 label=Case6.161 nb_sol=0 ticks=740734 tps=100 nb_sec=7407
case_no=173 label=Case6.161 nb_sol=0 ticks=686323 tps=100 nb_sec=6863
case_no=173 label=Case6.161 nb_sol=0 ticks=798610 tps=100 nb_sec=7986
case_no=173 label=Case6.161 nb_sol=0 ticks=723622 tps=100 nb_sec=7236
case_no=173 label=Case6.161 nb_sol=0 ticks=891077 tps=100 nb_sec=8910
case_no=173 label=Case6.161 nb_sol=0 ticks=843403 tps=100 nb_sec=8434
case_no=173 label=Case6.161 nb_sol=0 ticks=860857 tps=100 nb_sec=8608
case_no=173 label=Case6.161 nb_sol=0 ticks=669415 tps=100 nb_sec=6694
case_no=173 label=Case6.161 nb_sol=0 ticks=687855 tps=100 nb_sec=6878
case_no=173 label=Case6.161 nb_sol=0 ticks=640381 tps=100 nb_sec=6403
case_no=173 label=Case6.161 nb_sol=0 ticks=903961 tps=100 nb_sec=9039
case_no=173 label=Case6.161 nb_sol=0 ticks=762304 tps=100 nb_sec=7623
case_no=173 label=Case6.161 nb_sol=0 ticks=538854 tps=100 nb_sec=5388
case_no=173 label=Case6.161 nb_sol=0 ticks=570138 tps=100 nb_sec=5701
case_no=173 label=Case6.161 nb_sol=0 ticks=307819 tps=100 nb_sec=3078
case_no=173 label=Case6.161 nb_sol=0 ticks=784144 tps=100 nb_sec=7841
case_no=173 label=Case6.161 nb_sol=0 ticks=484036 tps=100 nb_sec=4840
case_no=173 label=Case6.161 nb_sol=0 ticks=542908 tps=100 nb_sec=5429
case_no=173 label=Case6.161 nb_sol=0 ticks=884284 tps=100 nb_sec=8842
case_no=173 label=Case6.161 nb_sol=0 ticks=630340 tps=100 nb_sec=6303
case_no=173 label=Case6.161 nb_sol=0 ticks=795071 tps=100 nb_sec=7950
case_no=173 label=Case6.161 nb_sol=0 ticks=732918 tps=100 nb_sec=7329
case_no=173 label=Case6.161 nb_sol=0 ticks=561683 tps=100 nb_sec=5616
case_no=173 label=Case6.161 nb_sol=0 ticks=547341 tps=100 nb_sec=5473
case_no=173 label=Case6.161 nb_sol=0 ticks=691817 tps=100 nb_sec=6918
case_no=173 label=Case6.161 nb_sol=0 ticks=616414 tps=100 nb_sec=6164
case_no=173 label=Case6.161 nb_sol=0 ticks=755482 tps=100 nb_sec=7554
case_no=173 label=Case6.161 nb_sol=0 ticks=719530 tps=100 nb_sec=7195
case_no=173 label=Case6.161 nb_sol=0 ticks=847799 tps=100 nb_sec=8477
case_no=173 label=Case6.161 nb_sol=0 ticks=727130 tps=100 nb_sec=7271
case_no=173 label=Case6.161 nb_sol=0 ticks=588701 tps=100 nb_sec=5887
case_no=173 label=Case6.161 nb_sol=0 ticks=673030 tps=100 nb_sec=6730
case_no=173 label=Case6.161 nb_sol=0 ticks=765173 tps=100 nb_sec=7651
case_no=173 label=Case6.161 nb_sol=0 ticks=708224 tps=100 nb_sec=7082
case_no=173 label=Case6.161 nb_sol=0 ticks=266743 tps=100 nb_sec=2667
case_no=173 label=Case6.161 nb_sol=0 ticks=561223 tps=100 nb_sec=5612
case_no=173 label=Case6.161 nb_sol=0 ticks=623802 tps=100 nb_sec=6238
case_no=173 label=Case6.161 nb_sol=0 ticks=551406 tps=100 nb_sec=5514
case_no=173 label=Case6.161 nb_sol=0 ticks=354540 tps=100 nb_sec=3545
case_no=173 label=Case6.161 nb_sol=0 ticks=472255 tps=100 nb_sec=4722
case_no=173 label=Case6.161 nb_sol=0 ticks=787213 tps=100 nb_sec=7872
case_no=173 label=Case6.161 nb_sol=0 ticks=1058433 tps=100 nb_sec=10584
case_no=173 label=Case6.161 nb_sol=0 ticks=698979 tps=100 nb_sec=6989
case_no=173 label=Case6.161 nb_sol=0 ticks=955313 tps=100 nb_sec=9553
case_no=173 label=Case6.161 nb_sol=0 ticks=726196 tps=100 nb_sec=7261
case_no=173 label=Case6.161 nb_sol=0 ticks=959240 tps=100 nb_sec=9592
case_no=173 label=Case6.161 nb_sol=0 ticks=775756 tps=100 nb_sec=7757
case_no=173 label=Case6.161 nb_sol=0 ticks=745003 tps=100 nb_sec=7450
case_no=173 label=Case6.161 nb_sol=0 ticks=828321 tps=100 nb_sec=8283
case_no=173 label=Case6.161 nb_sol=0 ticks=1032619 tps=100 nb_sec=10326
case_no=173 label=Case6.161 nb_sol=0 ticks=669360 tps=100 nb_sec=6693
case_no=173 label=Case6.161 nb_sol=0 ticks=619498 tps=100 nb_sec=6194
case_no=173 label=Case6.161 nb_sol=0 ticks=1083719 tps=100 nb_sec=10837
case_no=173 label=Case6.161 nb_sol=0 ticks=798572 tps=100 nb_sec=7985
case_no=173 label=Case6.161 nb_sol=0 ticks=691466 tps=100 nb_sec=6914
case_no=173 label=Case6.161 nb_sol=0 ticks=914227 tps=100 nb_sec=9142
case_no=173 label=Case6.161 nb_sol=0 ticks=745999 tps=100 nb_sec=7459
case_no=173 label=Case6.161 nb_sol=0 ticks=724472 tps=100 nb_sec=7244
case_no=173 label=Case6.161 nb_sol=0 ticks=816737 tps=100 nb_sec=8167
case_no=173 label=Case6.161 nb_sol=0 ticks=596968 tps=100 nb_sec=5969
case_no=173 label=Case6.161 nb_sol=0 ticks=613633 tps=100 nb_sec=6136
case_no=173 label=Case6.161 nb_sol=0 ticks=484572 tps=100 nb_sec=4845
case_no=173 label=Case6.161 nb_sol=0 ticks=895351 tps=100 nb_sec=8953
case_no=173 label=Case6.161 nb_sol=0 ticks=924327 tps=100 nb_sec=9243
case_no=173 label=Case6.161 nb_sol=0 ticks=1087030 tps=100 nb_sec=10870
case_no=173 label=Case6.161 nb_sol=0 ticks=1036064 tps=100 nb_sec=10360
case_no=173 label=Case6.161 nb_sol=0 ticks=885086 tps=100 nb_sec=8850
case_no=173 label=Case6.161 nb_sol=0 ticks=782306 tps=100 nb_sec=7823
case_no=173 label=Case6.161 nb_sol=0 ticks=767102 tps=100 nb_sec=7671
case_no=173 label=Case6.161 nb_sol=0 ticks=594704 tps=100 nb_sec=5947
case_no=173 label=Case6.161 nb_sol=0 ticks=690043 tps=100 nb_sec=6900
case_no=173 label=Case6.161 nb_sol=0 ticks=685595 tps=100 nb_sec=6855
case_no=173 label=Case6.161 nb_sol=0 ticks=898224 tps=100 nb_sec=8982
case_no=173 label=Case6.161 nb_sol=0 ticks=810052 tps=100 nb_sec=8100
case_no=173 label=Case6.161 nb_sol=0 ticks=739196 tps=100 nb_sec=7391
case_no=173 label=Case6.161 nb_sol=0 ticks=719224 tps=100 nb_sec=7192
case_no=173 label=Case6.161 nb_sol=0 ticks=785041 tps=100 nb_sec=7850
case_no=173 label=Case6.161 nb_sol=0 ticks=582713 tps=100 nb_sec=5827
case_no=173 label=Case6.161 nb_sol=0 ticks=844771 tps=100 nb_sec=8447
case_no=173 label=Case6.161 nb_sol=0 ticks=889630 tps=100 nb_sec=8896
case_no=173 label=Case6.161 nb_sol=0 ticks=940511 tps=100 nb_sec=9405
case_no=173 label=Case6.161 nb_sol=0 ticks=790268 tps=100 nb_sec=7902
case_no=173 label=Case6.161 nb_sol=0 ticks=736743 tps=100 nb_sec=7367
case_no=173 label=Case6.161 nb_sol=0 ticks=524300 tps=100 nb_sec=5243
case_no=173 label=Case6.161 nb_sol=0 ticks=673132 tps=100 nb_sec=6731
case_no=173 label=Case6.161 nb_sol=0 ticks=734624 tps=100 nb_sec=7346
case_no=173 label=Case6.161 nb_sol=0 ticks=560856 tps=100 nb_sec=5608
case_no=173 label=Case6.161 nb_sol=0 ticks=282260 tps=100 nb_sec=2822
case_no=173 label=Case6.161 nb_sol=0 ticks=674591 tps=100 nb_sec=6745
case_no=173 label=Case6.161 nb_sol=0 ticks=603281 tps=100 nb_sec=6032
case_no=173 label=Case6.161 nb_sol=0 ticks=457653 tps=100 nb_sec=4576
case_no=173 label=Case6.161 nb_sol=0 ticks=648797 tps=100 nb_sec=6487
case_no=173 label=Case6.161 nb_sol=0 ticks=894076 tps=100 nb_sec=8940
case_no=173 label=Case6.161 nb_sol=0 ticks=685171 tps=100 nb_sec=6851
case_no=173 label=Case6.161 nb_sol=0 ticks=701140 tps=100 nb_sec=7011
case_no=173 label=Case6.161 nb_sol=0 ticks=894022 tps=100 nb_sec=8940
case_no=173 label=Case6.161 nb_sol=0 ticks=885764 tps=100 nb_sec=8857
case_no=173 label=Case6.161 nb_sol=0 ticks=651410 tps=100 nb_sec=6514
case_no=173 label=Case6.161 nb_sol=0 ticks=926845 tps=100 nb_sec=9268
case_no=173 label=Case6.161 nb_sol=0 ticks=687097 tps=100 nb_sec=6870
case_no=173 label=Case6.161 nb_sol=0 ticks=875098 tps=100 nb_sec=8750
case_no=173 label=Case6.161 nb_sol=0 ticks=892247 tps=100 nb_sec=8922
case_no=173 label=Case6.161 nb_sol=0 ticks=909087 tps=100 nb_sec=9090
case_no=173 label=Case6.161 nb_sol=0 ticks=503590 tps=100 nb_sec=5035
case_no=173 label=Case6.161 nb_sol=0 ticks=757718 tps=100 nb_sec=7577
case_no=173 label=Case6.161 nb_sol=0 ticks=754617 tps=100 nb_sec=7546
case_no=173 label=Case6.161 nb_sol=0 ticks=752324 tps=100 nb_sec=7523
case_no=173 label=Case6.161 nb_sol=0 ticks=489019 tps=100 nb_sec=4890
case_no=173 label=Case6.161 nb_sol=0 ticks=705070 tps=100 nb_sec=7050
case_no=173 label=Case6.161 nb_sol=0 ticks=639337 tps=100 nb_sec=6393
case_no=173 label=Case6.161 nb_sol=0 ticks=710595 tps=100 nb_sec=7105
case_no=173 label=Case6.161 nb_sol=0 ticks=467671 tps=100 nb_sec=4676
case_no=173 label=Case6.161 nb_sol=0 ticks=819609 tps=100 nb_sec=8196
case_no=173 label=Case6.161 nb_sol=0 ticks=716056 tps=100 nb_sec=7160
case_no=173 label=Case6.161 nb_sol=0 ticks=706019 tps=100 nb_sec=7060
case_no=173 label=Case6.161 nb_sol=0 ticks=669244 tps=100 nb_sec=6692
case_no=173 label=Case6.161 nb_sol=0 ticks=715271 tps=100 nb_sec=7152
case_no=173 label=Case6.161 nb_sol=0 ticks=718424 tps=100 nb_sec=7184
case_no=173 label=Case6.161 nb_sol=0 ticks=757325 tps=100 nb_sec=7573
case_no=173 label=Case6.161 nb_sol=0 ticks=662779 tps=100 nb_sec=6627
case_no=173 label=Case6.161 nb_sol=0 ticks=731918 tps=100 nb_sec=7319
case_no=173 label=Case6.161 nb_sol=0 ticks=593832 tps=100 nb_sec=5938
case_no=173 label=Case6.161 nb_sol=0 ticks=628185 tps=100 nb_sec=6281
case_no=173 label=Case6.161 nb_sol=0 ticks=682170 tps=100 nb_sec=6821
case_no=173 label=Case6.161 nb_sol=0 ticks=742730 tps=100 nb_sec=7427
case_no=173 label=Case6.161 nb_sol=0 ticks=639936 tps=100 nb_sec=6399
case_no=173 label=Case6.161 nb_sol=0 ticks=686673 tps=100 nb_sec=6866
case_no=173 label=Case6.161 nb_sol=0 ticks=777069 tps=100 nb_sec=7770
case_no=173 label=Case6.161 nb_sol=0 ticks=846183 tps=100 nb_sec=8461
case_no=173 label=Case6.161 nb_sol=0 ticks=717414 tps=100 nb_sec=7174
case_no=173 label=Case6.161 nb_sol=0 ticks=859935 tps=100 nb_sec=8599
case_no=173 label=Case6.161 nb_sol=0 ticks=905924 tps=100 nb_sec=9059
case_no=173 label=Case6.161 nb_sol=0 ticks=966833 tps=100 nb_sec=9668
case_no=173 label=Case6.161 nb_sol=0 ticks=909704 tps=100 nb_sec=9097
case_no=173 label=Case6.161 nb_sol=0 ticks=930911 tps=100 nb_sec=9309
case_no=173 label=Case6.161 nb_sol=0 ticks=710009 tps=100 nb_sec=7100
case_no=173 label=Case6.161 nb_sol=0 ticks=782306 tps=100 nb_sec=7823
case_no=173 label=Case6.161 nb_sol=0 ticks=427141 tps=100 nb_sec=4271
case_no=173 label=Case6.161 nb_sol=0 ticks=732353 tps=100 nb_sec=7323
case_no=173 label=Case6.161 nb_sol=0 ticks=354530 tps=100 nb_sec=3545
case_no=173 label=Case6.161 nb_sol=0 ticks=612965 tps=100 nb_sec=6129
case_no=173 label=Case6.161 nb_sol=0 ticks=311690 tps=100 nb_sec=3116
case_no=173 label=Case6.161 nb_sol=0 ticks=979428 tps=100 nb_sec=9794
case_no=173 label=Case6.161 nb_sol=0 ticks=633320 tps=100 nb_sec=6333
case_no=173 label=Case6.161 nb_sol=0 ticks=702260 tps=100 nb_sec=7022
case_no=173 label=Case6.161 nb_sol=0 ticks=404139 tps=100 nb_sec=4041
case_no=173 label=Case6.161 nb_sol=0 ticks=728940 tps=100 nb_sec=7289
case_no=173 label=Case6.161 nb_sol=0 ticks=584643 tps=100 nb_sec=5846
case_no=173 label=Case6.161 nb_sol=0 ticks=1138148 tps=100 nb_sec=11381
case_no=173 label=Case6.161 nb_sol=0 ticks=589575 tps=100 nb_sec=5895
case_no=173 label=Case6.161 nb_sol=0 ticks=716352 tps=100 nb_sec=7163
case_no=173 label=Case6.161 nb_sol=0 ticks=727387 tps=100 nb_sec=7273
case_no=173 label=Case6.161 nb_sol=0 ticks=730355 tps=100 nb_sec=7303
case_no=173 label=Case6.161 nb_sol=0 ticks=599372 tps=100 nb_sec=5993
case_no=173 label=Case6.161 nb_sol=0 ticks=1116106 tps=100 nb_sec=11161
case_no=173 label=Case6.161 nb_sol=0 ticks=635082 tps=100 nb_sec=6350
case_no=173 label=Case6.161 nb_sol=0 ticks=1294009 tps=100 nb_sec=12940
case_no=173 label=Case6.161 nb_sol=0 ticks=885652 tps=100 nb_sec=8856
case_no=173 label=Case6.161 nb_sol=0 ticks=972578 tps=100 nb_sec=9725
case_no=173 label=Case6.161 nb_sol=0 ticks=706220 tps=100 nb_sec=7062
case_no=173 label=Case6.161 nb_sol=0 ticks=846741 tps=100 nb_sec=8467
case_no=173 label=Case6.161 nb_sol=0 ticks=957689 tps=100 nb_sec=9576
case_no=173 label=Case6.161 nb_sol=0 ticks=978278 tps=100 nb_sec=9782
case_no=173 label=Case6.161 nb_sol=0 ticks=971386 tps=100 nb_sec=9713
case_no=173 label=Case6.161 nb_sol=0 ticks=656893 tps=100 nb_sec=6568
case_no=173 label=Case6.161 nb_sol=0 ticks=594971 tps=100 nb_sec=5949
case_no=173 label=Case6.161 nb_sol=0 ticks=1188253 tps=100 nb_sec=11882
case_no=173 label=Case6.161 nb_sol=0 ticks=661318 tps=100 nb_sec=6613
case_no=173 label=Case6.161 nb_sol=0 ticks=799854 tps=100 nb_sec=7998
case_no=173 label=Case6.161 nb_sol=0 ticks=1008397 tps=100 nb_sec=10083
case_no=173 label=Case6.161 nb_sol=0 ticks=650814 tps=100 nb_sec=6508
case_no=173 label=Case6.161 nb_sol=0 ticks=864183 tps=100 nb_sec=8641
case_no=173 label=Case6.161 nb_sol=0 ticks=1331341 tps=100 nb_sec=13313
case_no=173 label=Case6.161 nb_sol=0 ticks=702561 tps=100 nb_sec=7025
case_no=173 label=Case6.161 nb_sol=0 ticks=744952 tps=100 nb_sec=7449
case_no=173 label=Case6.161 nb_sol=0 ticks=843690 tps=100 nb_sec=8436
case_no=173 label=Case6.161 nb_sol=0 ticks=731787 tps=100 nb_sec=7317
case_no=173 label=Case6.161 nb_sol=0 ticks=864050 tps=100 nb_sec=8640
case_no=173 label=Case6.161 nb_sol=0 ticks=554673 tps=100 nb_sec=5546
case_no=173 label=Case6.161 nb_sol=0 ticks=671244 tps=100 nb_sec=6712
case_no=173 label=Case6.161 nb_sol=0 ticks=887291 tps=100 nb_sec=8872
case_no=173 label=Case6.161 nb_sol=0 ticks=650487 tps=100 nb_sec=6504
case_no=173 label=Case6.161 nb_sol=0 ticks=961111 tps=100 nb_sec=9611
case_no=173 label=Case6.161 nb_sol=0 ticks=733956 tps=100 nb_sec=7339
case_no=173 label=Case6.161 nb_sol=0 ticks=828341 tps=100 nb_sec=8283
case_no=173 label=Case6.161 nb_sol=0 ticks=730617 tps=100 nb_sec=7306
case_no=173 label=Case6.161 nb_sol=0 ticks=778150 tps=100 nb_sec=7781
case_no=173 label=Case6.161 nb_sol=0 ticks=616705 tps=100 nb_sec=6167
case_no=173 label=Case6.161 nb_sol=0 ticks=653304 tps=100 nb_sec=6533
case_no=173 label=Case6.161 nb_sol=0 ticks=667008 tps=100 nb_sec=6670
case_no=173 label=Case6.161 nb_sol=0 ticks=524848 tps=100 nb_sec=5248
case_no=173 label=Case6.161 nb_sol=0 ticks=757204 tps=100 nb_sec=7572
case_no=173 label=Case6.161 nb_sol=0 ticks=603074 tps=100 nb_sec=6030
case_no=173 label=Case6.161 nb_sol=0 ticks=930669 tps=100 nb_sec=9306
case_no=173 label=Case6.161 nb_sol=0 ticks=536988 tps=100 nb_sec=5369
case_no=173 label=Case6.161 nb_sol=0 ticks=651740 tps=100 nb_sec=6517
case_no=173 label=Case6.161 nb_sol=0 ticks=798799 tps=100 nb_sec=7987
case_no=173 label=Case6.161 nb_sol=0 ticks=553050 tps=100 nb_sec=5530
case_no=173 label=Case6.161 nb_sol=0 ticks=660196 tps=100 nb_sec=6601
case_no=173 label=Case6.161 nb_sol=0 ticks=766065 tps=100 nb_sec=7660
case_no=173 label=Case6.161 nb_sol=0 ticks=1023107 tps=100 nb_sec=10231
case_no=173 label=Case6.161 nb_sol=0 ticks=949174 tps=100 nb_sec=9491
case_no=173 label=Case6.161 nb_sol=0 ticks=868004 tps=100 nb_sec=8680
case_no=173 label=Case6.161 nb_sol=0 ticks=805378 tps=100 nb_sec=8053
case_no=173 label=Case6.161 nb_sol=0 ticks=951941 tps=100 nb_sec=9519
case_no=173 label=Case6.161 nb_sol=0 ticks=730176 tps=100 nb_sec=7301
case_no=173 label=Case6.161 nb_sol=0 ticks=785327 tps=100 nb_sec=7853
case_no=173 label=Case6.161 nb_sol=0 ticks=924617 tps=100 nb_sec=9246
case_no=173 label=Case6.161 nb_sol=0 ticks=721555 tps=100 nb_sec=7215
case_no=173 label=Case6.161 nb_sol=0 ticks=731867 tps=100 nb_sec=7318
case_no=173 label=Case6.161 nb_sol=0 ticks=669327 tps=100 nb_sec=6693
case_no=173 label=Case6.161 nb_sol=0 ticks=1066555 tps=100 nb_sec=10665
case_no=173 label=Case6.161 nb_sol=0 ticks=872448 tps=100 nb_sec=8724
case_no=173 label=Case6.161 nb_sol=0 ticks=905417 tps=100 nb_sec=9054
case_no=173 label=Case6.161 nb_sol=0 ticks=1020792 tps=100 nb_sec=10207
case_no=173 label=Case6.161 nb_sol=0 ticks=708016 tps=100 nb_sec=7080
case_no=173 label=Case6.161 nb_sol=0 ticks=787240 tps=100 nb_sec=7872
case_no=173 label=Case6.161 nb_sol=0 ticks=886380 tps=100 nb_sec=8863
case_no=173 label=Case6.161 nb_sol=0 ticks=698477 tps=100 nb_sec=6984
case_no=173 label=Case6.161 nb_sol=0 ticks=660113 tps=100 nb_sec=6601
case_no=173 label=Case6.161 nb_sol=0 ticks=893440 tps=100 nb_sec=8934
case_no=173 label=Case6.161 nb_sol=0 ticks=597670 tps=100 nb_sec=5976
case_no=173 label=Case6.161 nb_sol=0 ticks=851896 tps=100 nb_sec=8518
case_no=173 label=Case6.161 nb_sol=0 ticks=787122 tps=100 nb_sec=7871
case_no=173 label=Case6.161 nb_sol=0 ticks=945407 tps=100 nb_sec=9454
case_no=173 label=Case6.161 nb_sol=0 ticks=896242 tps=100 nb_sec=8962
case_no=173 label=Case6.161 nb_sol=0 ticks=684536 tps=100 nb_sec=6845
case_no=173 label=Case6.161 nb_sol=0 ticks=610335 tps=100 nb_sec=6103
case_no=173 label=Case6.161 nb_sol=0 ticks=538270 tps=100 nb_sec=5382
case_no=173 label=Case6.161 nb_sol=0 ticks=661453 tps=100 nb_sec=6614
case_no=173 label=Case6.161 nb_sol=0 ticks=483708 tps=100 nb_sec=4837
case_no=173 label=Case6.161 nb_sol=0 ticks=694162 tps=100 nb_sec=6941
case_no=173 label=Case6.161 nb_sol=0 ticks=720950 tps=100 nb_sec=7209
case_no=173 label=Case6.161 nb_sol=0 ticks=567672 tps=100 nb_sec=5676
case_no=173 label=Case6.161 nb_sol=0 ticks=901980 tps=100 nb_sec=9019
case_no=173 label=Case6.161 nb_sol=0 ticks=628410 tps=100 nb_sec=6284
case_no=173 label=Case6.161 nb_sol=0 ticks=883558 tps=100 nb_sec=8835
case_no=173 label=Case6.161 nb_sol=0 ticks=693926 tps=100 nb_sec=6939
case_no=173 label=Case6.161 nb_sol=0 ticks=491865 tps=100 nb_sec=4918
case_no=173 label=Case6.161 nb_sol=0 ticks=666850 tps=100 nb_sec=6668
case_no=173 label=Case6.161 nb_sol=0 ticks=501136 tps=100 nb_sec=5011
case_no=173 label=Case6.161 nb_sol=0 ticks=595969 tps=100 nb_sec=5959
case_no=173 label=Case6.161 nb_sol=0 ticks=536708 tps=100 nb_sec=5367
case_no=173 label=Case6.161 nb_sol=0 ticks=667104 tps=100 nb_sec=6671
case_no=173 label=Case6.161 nb_sol=0 ticks=660592 tps=100 nb_sec=6605
case_no=173 label=Case6.161 nb_sol=0 ticks=1080997 tps=100 nb_sec=10809
case_no=173 label=Case6.161 nb_sol=0 ticks=645726 tps=100 nb_sec=6457
case_no=173 label=Case6.161 nb_sol=0 ticks=1077652 tps=100 nb_sec=10776
case_no=173 label=Case6.161 nb_sol=0 ticks=794543 tps=100 nb_sec=7945
case_no=173 label=Case6.161 nb_sol=0 ticks=480652 tps=100 nb_sec=4806
case_no=173 label=Case6.161 nb_sol=0 ticks=759422 tps=100 nb_sec=7594
case_no=173 label=Case6.161 nb_sol=0 ticks=689091 tps=100 nb_sec=6890
case_no=173 label=Case6.161 nb_sol=0 ticks=1007066 tps=100 nb_sec=10070
case_no=173 label=Case6.161 nb_sol=0 ticks=921969 tps=100 nb_sec=9219
case_no=173 label=Case6.161 nb_sol=0 ticks=914689 tps=100 nb_sec=9146
case_no=173 label=Case6.161 nb_sol=0 ticks=624158 tps=100 nb_sec=6241
case_no=173 label=Case6.161 nb_sol=0 ticks=686005 tps=100 nb_sec=6860
case_no=173 label=Case6.161 nb_sol=0 ticks=1067170 tps=100 nb_sec=10671
case_no=173 label=Case6.161 nb_sol=0 ticks=1070619 tps=100 nb_sec=10706
case_no=173 label=Case6.161 nb_sol=0 ticks=772041 tps=100 nb_sec=7720
case_no=173 label=Case6.161 nb_sol=0 ticks=733812 tps=100 nb_sec=7338
case_no=173 label=Case6.161 nb_sol=0 ticks=627565 tps=100 nb_sec=6275
case_no=173 label=Case6.161 nb_sol=0 ticks=944947 tps=100 nb_sec=9449
case_no=173 label=Case6.161 nb_sol=0 ticks=701288 tps=100 nb_sec=7012
case_no=173 label=Case6.161 nb_sol=0 ticks=788903 tps=100 nb_sec=7889
case_no=173 label=Case6.161 nb_sol=0 ticks=711038 tps=100 nb_sec=7110
case_no=173 label=Case6.161 nb_sol=0 ticks=622206 tps=100 nb_sec=6222
case_no=173 label=Case6.161 nb_sol=0 ticks=496586 tps=100 nb_sec=4965
case_no=173 label=Case6.161 nb_sol=0 ticks=751320 tps=100 nb_sec=7513
case_no=173 label=Case6.161 nb_sol=0 ticks=718562 tps=100 nb_sec=7185
case_no=173 label=Case6.161 nb_sol=0 ticks=656786 tps=100 nb_sec=6567
case_no=173 label=Case6.161 nb_sol=0 ticks=485070 tps=100 nb_sec=4850
case_no=173 label=Case6.161 nb_sol=0 ticks=528346 tps=100 nb_sec=5283
case_no=173 label=Case6.161 nb_sol=0 ticks=757964 tps=100 nb_sec=7579
case_no=173 label=Case6.161 nb_sol=0 ticks=956415 tps=100 nb_sec=9564
case_no=173 label=Case6.161 nb_sol=0 ticks=757695 tps=100 nb_sec=7576
case_no=173 label=Case6.161 nb_sol=0 ticks=818500 tps=100 nb_sec=8185
case_no=173 label=Case6.161 nb_sol=0 ticks=551798 tps=100 nb_sec=5517
case_no=173 label=Case6.161 nb_sol=0 ticks=603828 tps=100 nb_sec=6038
case_no=173 label=Case6.161 nb_sol=0 ticks=680848 tps=100 nb_sec=6808
case_no=173 label=Case6.161 nb_sol=0 ticks=553616 tps=100 nb_sec=5536
case_no=173 label=Case6.161 nb_sol=0 ticks=751123 tps=100 nb_sec=7511
case_no=173 label=Case6.161 nb_sol=0 ticks=719909 tps=100 nb_sec=7199
case_no=173 label=Case6.161 nb_sol=0 ticks=595050 tps=100 nb_sec=5950
case_no=173 label=Case6.161 nb_sol=0 ticks=669495 tps=100 nb_sec=6694
case_no=173 label=Case6.161 nb_sol=0 ticks=761509 tps=100 nb_sec=7615
case_no=173 label=Case6.161 nb_sol=0 ticks=680993 tps=100 nb_sec=6809
case_no=173 label=Case6.161 nb_sol=0 ticks=758305 tps=100 nb_sec=7583
case_no=173 label=Case6.161 nb_sol=0 ticks=761748 tps=100 nb_sec=7617
case_no=173 label=Case6.161 nb_sol=0 ticks=704253 tps=100 nb_sec=7042
case_no=173 label=Case6.161 nb_sol=0 ticks=659801 tps=100 nb_sec=6598
case_no=173 label=Case6.161 nb_sol=0 ticks=713013 tps=100 nb_sec=7130
case_no=173 label=Case6.161 nb_sol=0 ticks=564818 tps=100 nb_sec=5648
case_no=173 label=Case6.161 nb_sol=0 ticks=665124 tps=100 nb_sec=6651
case_no=173 label=Case6.161 nb_sol=0 ticks=599340 tps=100 nb_sec=5993
case_no=173 label=Case6.161 nb_sol=0 ticks=525029 tps=100 nb_sec=5250
case_no=173 label=Case6.161 nb_sol=0 ticks=619836 tps=100 nb_sec=6198
case_no=173 label=Case6.161 nb_sol=0 ticks=746748 tps=100 nb_sec=7467
case_no=173 label=Case6.161 nb_sol=0 ticks=581003 tps=100 nb_sec=5810
case_no=173 label=Case6.161 nb_sol=0 ticks=676548 tps=100 nb_sec=6765
case_no=173 label=Case6.161 nb_sol=0 ticks=854765 tps=100 nb_sec=8547
case_no=173 label=Case6.161 nb_sol=0 ticks=722963 tps=100 nb_sec=7229
case_no=173 label=Case6.161 nb_sol=0 ticks=799493 tps=100 nb_sec=7994
case_no=173 label=Case6.161 nb_sol=0 ticks=819099 tps=100 nb_sec=8190
case_no=173 label=Case6.161 nb_sol=0 ticks=978774 tps=100 nb_sec=9787
case_no=173 label=Case6.161 nb_sol=0 ticks=725196 tps=100 nb_sec=7251
case_no=173 label=Case6.161 nb_sol=0 ticks=960299 tps=100 nb_sec=9602
case_no=173 label=Case6.161 nb_sol=0 ticks=785255 tps=100 nb_sec=7852
case_no=173 label=Case6.161 nb_sol=0 ticks=763426 tps=100 nb_sec=7634
case_no=173 label=Case6.161 nb_sol=0 ticks=744593 tps=100 nb_sec=7445
case_no=173 label=Case6.161 nb_sol=0 ticks=844647 tps=100 nb_sec=8446
case_no=173 label=Case6.161 nb_sol=0 ticks=837621 tps=100 nb_sec=8376
case_no=173 label=Case6.161 nb_sol=0 ticks=881485 tps=100 nb_sec=8814
case_no=173 label=Case6.161 nb_sol=0 ticks=811025 tps=100 nb_sec=8110
case_no=173 label=Case6.161 nb_sol=0 ticks=630054 tps=100 nb_sec=6300
case_no=173 label=Case6.161 nb_sol=0 ticks=690497 tps=100 nb_sec=6904
case_no=173 label=Case6.161 nb_sol=0 ticks=877035 tps=100 nb_sec=8770
case_no=173 label=Case6.161 nb_sol=0 ticks=691233 tps=100 nb_sec=6912
case_no=173 label=Case6.161 nb_sol=0 ticks=770656 tps=100 nb_sec=7706
case_no=173 label=Case6.161 nb_sol=0 ticks=644625 tps=100 nb_sec=6446
case_no=173 label=Case6.161 nb_sol=0 ticks=711098 tps=100 nb_sec=7110
case_no=173 label=Case6.161 nb_sol=0 ticks=953911 tps=100 nb_sec=9539
case_no=173 label=Case6.161 nb_sol=0 ticks=1050458 tps=100 nb_sec=10504
case_no=173 label=Case6.161 nb_sol=0 ticks=895925 tps=100 nb_sec=8959
case_no=173 label=Case6.161 nb_sol=0 ticks=1076377 tps=100 nb_sec=10763
case_no=173 label=Case6.161 nb_sol=0 ticks=715450 tps=100 nb_sec=7154
case_no=173 label=Case6.161 nb_sol=0 ticks=905752 tps=100 nb_sec=9057
case_no=173 label=Case6.161 nb_sol=0 ticks=685252 tps=100 nb_sec=6852
case_no=173 label=Case6.161 nb_sol=0 ticks=693688 tps=100 nb_sec=6936
case_no=173 label=Case6.161 nb_sol=0 ticks=731460 tps=100 nb_sec=7314
case_no=173 label=Case6.161 nb_sol=0 ticks=580788 tps=100 nb_sec=5807
case_no=173 label=Case6.161 nb_sol=0 ticks=888507 tps=100 nb_sec=8885
case_no=173 label=Case6.161 nb_sol=0 ticks=708271 tps=100 nb_sec=7082
case_no=173 label=Case6.161 nb_sol=0 ticks=824474 tps=100 nb_sec=8244
case_no=173 label=Case6.161 nb_sol=0 ticks=756486 tps=100 nb_sec=7564
case_no=173 label=Case6.161 nb_sol=0 ticks=804109 tps=100 nb_sec=8041
case_no=173 label=Case6.161 nb_sol=0 ticks=763356 tps=100 nb_sec=7633
case_no=173 label=Case6.161 nb_sol=0 ticks=917923 tps=100 nb_sec=9179
case_no=173 label=Case6.161 nb_sol=0 ticks=829662 tps=100 nb_sec=8296
case_no=173 label=Case6.161 nb_sol=0 ticks=768862 tps=100 nb_sec=7688
case_no=173 label=Case6.161 nb_sol=0 ticks=991985 tps=100 nb_sec=9919
case_no=173 label=Case6.161 nb_sol=0 ticks=953985 tps=100 nb_sec=9539
case_no=173 label=Case6.161 nb_sol=0 ticks=866645 tps=100 nb_sec=8666
case_no=173 label=Case6.161 nb_sol=0 ticks=763832 tps=100 nb_sec=7638
case_no=173 label=Case6.161 nb_sol=0 ticks=808808 tps=100 nb_sec=8088
case_no=173 label=Case6.161 nb_sol=0 ticks=919240 tps=100 nb_sec=9192
case_no=173 label=Case6.161 nb_sol=0 ticks=845964 tps=100 nb_sec=8459
case_no=173 label=Case6.161 nb_sol=0 ticks=849858 tps=100 nb_sec=8498
case_no=173 label=Case6.161 nb_sol=0 ticks=962852 tps=100 nb_sec=9628
case_no=173 label=Case6.161 nb_sol=0 ticks=1039277 tps=100 nb_sec=10392
case_no=173 label=Case6.161 nb_sol=0 ticks=886923 tps=100 nb_sec=8869
case_no=173 label=Case6.161 nb_sol=0 ticks=1134793 tps=100 nb_sec=11347
case_no=173 label=Case6.161 nb_sol=0 ticks=1016086 tps=100 nb_sec=10160
case_no=173 label=Case6.161 nb_sol=0 ticks=1054337 tps=100 nb_sec=10543
case_no=173 label=Case6.161 nb_sol=0 ticks=966955 tps=100 nb_sec=9669
case_no=173 label=Case6.161 nb_sol=0 ticks=610802 tps=100 nb_sec=6108
case_no=173 label=Case6.161 nb_sol=0 ticks=1043297 tps=100 nb_sec=10432
case_no=173 label=Case6.161 nb_sol=0 ticks=1126255 tps=100 nb_sec=11262
case_no=173 label=Case6.161 nb_sol=0 ticks=689112 tps=100 nb_sec=6891
case_no=173 label=Case6.161 nb_sol=0 ticks=797466 tps=100 nb_sec=7974
case_no=173 label=Case6.161 nb_sol=0 ticks=826006 tps=100 nb_sec=8260
case_no=173 label=Case6.161 nb_sol=0 ticks=944221 tps=100 nb_sec=9442
case_no=173 label=Case6.161 nb_sol=0 ticks=762644 tps=100 nb_sec=7626
case_no=173 label=Case6.161 nb_sol=0 ticks=905927 tps=100 nb_sec=9059
case_no=173 label=Case6.161 nb_sol=0 ticks=921376 tps=100 nb_sec=9213
case_no=173 label=Case6.161 nb_sol=0 ticks=863030 tps=100 nb_sec=8630
case_no=173 label=Case6.161 nb_sol=0 ticks=821472 tps=100 nb_sec=8214
case_no=173 label=Case6.161 nb_sol=0 ticks=830549 tps=100 nb_sec=8305
case_no=173 label=Case6.161 nb_sol=0 ticks=752987 tps=100 nb_sec=7529
case_no=173 label=Case6.161 nb_sol=0 ticks=754285 tps=100 nb_sec=7542
case_no=173 label=Case6.161 nb_sol=0 ticks=559684 tps=100 nb_sec=5596
case_no=173 label=Case6.161 nb_sol=0 ticks=551925 tps=100 nb_sec=5519
case_no=173 label=Case6.161 nb_sol=0 ticks=778259 tps=100 nb_sec=7782
case_no=173 label=Case6.161 nb_sol=0 ticks=743997 tps=100 nb_sec=7439
case_no=173 label=Case6.161 nb_sol=0 ticks=730065 tps=100 nb_sec=7300
case_no=173 label=Case6.161 nb_sol=0 ticks=856101 tps=100 nb_sec=8561
case_no=173 label=Case6.161 nb_sol=0 ticks=881835 tps=100 nb_sec=8818
case_no=173 label=Case6.161 nb_sol=0 ticks=857943 tps=100 nb_sec=8579
case_no=173 label=Case6.161 nb_sol=0 ticks=871934 tps=100 nb_sec=8719
case_no=173 label=Case6.161 nb_sol=0 ticks=619107 tps=100 nb_sec=6191
case_no=173 label=Case6.161 nb_sol=0 ticks=670483 tps=100 nb_sec=6704
case_no=173 label=Case6.161 nb_sol=0 ticks=643361 tps=100 nb_sec=6433
case_no=173 label=Case6.161 nb_sol=0 ticks=572697 tps=100 nb_sec=5726
case_no=173 label=Case6.161 nb_sol=0 ticks=748918 tps=100 nb_sec=7489
case_no=173 label=Case6.161 nb_sol=0 ticks=863557 tps=100 nb_sec=8635
case_no=173 label=Case6.161 nb_sol=0 ticks=915627 tps=100 nb_sec=9156
case_no=173 label=Case6.161 nb_sol=0 ticks=765768 tps=100 nb_sec=7657
case_no=173 label=Case6.161 nb_sol=0 ticks=756306 tps=100 nb_sec=7563
case_no=173 label=Case6.161 nb_sol=0 ticks=575005 tps=100 nb_sec=5750
case_no=173 label=Case6.161 nb_sol=0 ticks=686065 tps=100 nb_sec=6860
case_no=173 label=Case6.161 nb_sol=0 ticks=704884 tps=100 nb_sec=7048
case_no=173 label=Case6.161 nb_sol=0 ticks=748174 tps=100 nb_sec=7481
case_no=173 label=Case6.161 nb_sol=0 ticks=536285 tps=100 nb_sec=5362
case_no=173 label=Case6.161 nb_sol=0 ticks=508537 tps=100 nb_sec=5085
case_no=173 label=Case6.161 nb_sol=0 ticks=813716 tps=100 nb_sec=8137
case_no=173 label=Case6.161 nb_sol=0 ticks=936363 tps=100 nb_sec=9363
case_no=173 label=Case6.161 nb_sol=0 ticks=924967 tps=100 nb_sec=9249
case_no=173 label=Case6.161 nb_sol=0 ticks=545654 tps=100 nb_sec=5456
case_no=173 label=Case6.161 nb_sol=0 ticks=923431 tps=100 nb_sec=9234
case_no=173 label=Case6.161 nb_sol=0 ticks=577974 tps=100 nb_sec=5779
case_no=173 label=Case6.161 nb_sol=0 ticks=1021830 tps=100 nb_sec=10218
case_no=173 label=Case6.161 nb_sol=0 ticks=646048 tps=100 nb_sec=6460
case_no=173 label=Case6.161 nb_sol=0 ticks=1113343 tps=100 nb_sec=11133
case_no=173 label=Case6.161 nb_sol=0 ticks=580895 tps=100 nb_sec=5808
case_no=173 label=Case6.161 nb_sol=0 ticks=929765 tps=100 nb_sec=9297
case_no=173 label=Case6.161 nb_sol=0 ticks=1282607 tps=100 nb_sec=12826
case_no=173 label=Case6.161 nb_sol=0 ticks=620851 tps=100 nb_sec=6208
case_no=173 label=Case6.161 nb_sol=0 ticks=851524 tps=100 nb_sec=8515
case_no=173 label=Case6.161 nb_sol=0 ticks=1133496 tps=100 nb_sec=11334
case_no=173 label=Case6.161 nb_sol=0 ticks=730405 tps=100 nb_sec=7304
case_no=173 label=Case6.161 nb_sol=0 ticks=661718 tps=100 nb_sec=6617
case_no=173 label=Case6.161 nb_sol=0 ticks=1072096 tps=100 nb_sec=10720
case_no=173 label=Case6.161 nb_sol=0 ticks=747700 tps=100 nb_sec=7477
case_no=173 label=Case6.161 nb_sol=0 ticks=1132207 tps=100 nb_sec=11322
case_no=173 label=Case6.161 nb_sol=0 ticks=1093480 tps=100 nb_sec=10934
case_no=173 label=Case6.161 nb_sol=0 ticks=772234 tps=100 nb_sec=7722
case_no=173 label=Case6.161 nb_sol=0 ticks=1229832 tps=100 nb_sec=12298
case_no=173 label=Case6.161 nb_sol=0 ticks=691587 tps=100 nb_sec=6915
case_no=173 label=Case6.161 nb_sol=0 ticks=603960 tps=100 nb_sec=6039
case_no=173 label=Case6.161 nb_sol=0 ticks=568925 tps=100 nb_sec=5689
case_no=173 label=Case6.161 nb_sol=0 ticks=484571 tps=100 nb_sec=4845
case_no=173 label=Case6.161 nb_sol=0 ticks=837608 tps=100 nb_sec=8376
case_no=173 label=Case6.161 nb_sol=0 ticks=549704 tps=100 nb_sec=5497
case_no=173 label=Case6.161 nb_sol=0 ticks=637337 tps=100 nb_sec=6373
case_no=173 label=Case6.161 nb_sol=0 ticks=875242 tps=100 nb_sec=8752
case_no=173 label=Case6.161 nb_sol=0 ticks=794900 tps=100 nb_sec=7949
case_no=173 label=Case6.161 nb_sol=0 ticks=635095 tps=100 nb_sec=6350
case_no=173 label=Case6.161 nb_sol=0 ticks=606887 tps=100 nb_sec=6068
case_no=173 label=Case6.161 nb_sol=0 ticks=429706 tps=100 nb_sec=4297
case_no=173 label=Case6.161 nb_sol=0 ticks=673441 tps=100 nb_sec=6734
case_no=173 label=Case6.161 nb_sol=0 ticks=637345 tps=100 nb_sec=6373
case_no=173 label=Case6.161 nb_sol=0 ticks=750206 tps=100 nb_sec=7502
case_no=173 label=Case6.161 nb_sol=0 ticks=947574 tps=100 nb_sec=9475
case_no=173 label=Case6.161 nb_sol=0 ticks=568859 tps=100 nb_sec=5688
case_no=173 label=Case6.161 nb_sol=0 ticks=704488 tps=100 nb_sec=7044
case_no=173 label=Case6.161 nb_sol=0 ticks=695351 tps=100 nb_sec=6953
case_no=173 label=Case6.161 nb_sol=0 ticks=426051 tps=100 nb_sec=4260
case_no=173 label=Case6.161 nb_sol=0 ticks=781619 tps=100 nb_sec=7816
case_no=173 label=Case6.161 nb_sol=0 ticks=774906 tps=100 nb_sec=7749
case_no=173 label=Case6.161 nb_sol=0 ticks=566441 tps=100 nb_sec=5664
case_no=173 label=Case6.161 nb_sol=0 ticks=661245 tps=100 nb_sec=6612
case_no=173 label=Case6.161 nb_sol=0 ticks=701249 tps=100 nb_sec=7012
case_no=173 label=Case6.161 nb_sol=0 ticks=692331 tps=100 nb_sec=6923
case_no=173 label=Case6.161 nb_sol=0 ticks=766854 tps=100 nb_sec=7668
case_no=173 label=Case6.161 nb_sol=0 ticks=627931 tps=100 nb_sec=6279
case_no=173 label=Case6.161 nb_sol=0 ticks=592813 tps=100 nb_sec=5928
case_no=173 label=Case6.161 nb_sol=0 ticks=551931 tps=100 nb_sec=5519
case_no=173 label=Case6.161 nb_sol=0 ticks=715487 tps=100 nb_sec=7154
case_no=173 label=Case6.161 nb_sol=0 ticks=747936 tps=100 nb_sec=7479
case_no=173 label=Case6.161 nb_sol=0 ticks=582071 tps=100 nb_sec=5820
case_no=173 label=Case6.161 nb_sol=0 ticks=716831 tps=100 nb_sec=7168
case_no=173 label=Case6.161 nb_sol=0 ticks=666686 tps=100 nb_sec=6666
case_no=173 label=Case6.161 nb_sol=0 ticks=524786 tps=100 nb_sec=5247
case_no=173 label=Case6.161 nb_sol=0 ticks=771371 tps=100 nb_sec=7713
case_no=173 label=Case6.161 nb_sol=0 ticks=709455 tps=100 nb_sec=7094
case_no=173 label=Case6.161 nb_sol=0 ticks=634804 tps=100 nb_sec=6348
case_no=173 label=Case6.161 nb_sol=0 ticks=775364 tps=100 nb_sec=7753
case_no=173 label=Case6.161 nb_sol=0 ticks=638120 tps=100 nb_sec=6381
case_no=173 label=Case6.161 nb_sol=0 ticks=554048 tps=100 nb_sec=5540
case_no=173 label=Case6.161 nb_sol=0 ticks=523537 tps=100 nb_sec=5235
case_no=173 label=Case6.161 nb_sol=0 ticks=398169 tps=100 nb_sec=3981
case_no=173 label=Case6.161 nb_sol=0 ticks=504716 tps=100 nb_sec=5047
case_no=173 label=Case6.161 nb_sol=0 ticks=669055 tps=100 nb_sec=6690
case_no=173 label=Case6.161 nb_sol=0 ticks=647536 tps=100 nb_sec=6475
case_no=173 label=Case6.161 nb_sol=0 ticks=851570 tps=100 nb_sec=8515
case_no=173 label=Case6.161 nb_sol=0 ticks=758951 tps=100 nb_sec=7589
case_no=173 label=Case6.161 nb_sol=0 ticks=859139 tps=100 nb_sec=8591
case_no=173 label=Case6.161 nb_sol=0 ticks=802977 tps=100 nb_sec=8029
case_no=173 label=Case6.161 nb_sol=0 ticks=701488 tps=100 nb_sec=7014
case_no=173 label=Case6.161 nb_sol=0 ticks=799272 tps=100 nb_sec=7992
case_no=173 label=Case6.161 nb_sol=0 ticks=844603 tps=100 nb_sec=8446
case_no=173 label=Case6.161 nb_sol=0 ticks=630979 tps=100 nb_sec=6309
case_no=173 label=Case6.161 nb_sol=0 ticks=599150 tps=100 nb_sec=5991
case_no=173 label=Case6.161 nb_sol=0 ticks=719284 tps=100 nb_sec=7192
case_no=173 label=Case6.161 nb_sol=0 ticks=631091 tps=100 nb_sec=6310
case_no=173 label=Case6.161 nb_sol=0 ticks=732948 tps=100 nb_sec=7329
case_no=173 label=Case6.161 nb_sol=0 ticks=481590 tps=100 nb_sec=4815
case_no=173 label=Case6.161 nb_sol=0 ticks=511955 tps=100 nb_sec=5119
case_no=173 label=Case6.161 nb_sol=0 ticks=483956 tps=100 nb_sec=4839
case_no=173 label=Case6.161 nb_sol=0 ticks=683833 tps=100 nb_sec=6838
case_no=173 label=Case6.161 nb_sol=0 ticks=632770 tps=100 nb_sec=6327
case_no=173 label=Case6.161 nb_sol=0 ticks=550990 tps=100 nb_sec=5509
case_no=173 label=Case6.161 nb_sol=0 ticks=758413 tps=100 nb_sec=7584
case_no=173 label=Case6.161 nb_sol=0 ticks=670083 tps=100 nb_sec=6700
case_no=173 label=Case6.161 nb_sol=0 ticks=649091 tps=100 nb_sec=6490
case_no=173 label=Case6.161 nb_sol=0 ticks=455953 tps=100 nb_sec=4559
case_no=173 label=Case6.161 nb_sol=0 ticks=580828 tps=100 nb_sec=5808
case_no=173 label=Case6.161 nb_sol=0 ticks=460401 tps=100 nb_sec=4604
case_no=173 label=Case6.161 nb_sol=0 ticks=488805 tps=100 nb_sec=4888
case_no=173 label=Case6.161 nb_sol=0 ticks=670760 tps=100 nb_sec=6707
case_no=173 label=Case6.161 nb_sol=0 ticks=561924 tps=100 nb_sec=5619
case_no=173 label=Case6.161 nb_sol=0 ticks=774375 tps=100 nb_sec=7743
case_no=173 label=Case6.161 nb_sol=0 ticks=680146 tps=100 nb_sec=6801
case_no=173 label=Case6.161 nb_sol=0 ticks=729193 tps=100 nb_sec=7291
case_no=173 label=Case6.161 nb_sol=0 ticks=742574 tps=100 nb_sec=7425
case_no=173 label=Case6.161 nb_sol=0 ticks=565202 tps=100 nb_sec=5652
case_no=173 label=Case6.161 nb_sol=0 ticks=470681 tps=100 nb_sec=4706
case_no=173 label=Case6.161 nb_sol=0 ticks=673654 tps=100 nb_sec=6736
case_no=173 label=Case6.161 nb_sol=0 ticks=653177 tps=100 nb_sec=6531
case_no=173 label=Case6.161 nb_sol=0 ticks=628623 tps=100 nb_sec=6286
case_no=173 label=Case6.161 nb_sol=0 ticks=706109 tps=100 nb_sec=7061
case_no=173 label=Case6.161 nb_sol=0 ticks=567748 tps=100 nb_sec=5677
case_no=173 label=Case6.161 nb_sol=0 ticks=627708 tps=100 nb_sec=6277
case_no=173 label=Case6.161 nb_sol=0 ticks=611335 tps=100 nb_sec=6113
case_no=173 label=Case6.161 nb_sol=0 ticks=533991 tps=100 nb_sec=5339
case_no=173 label=Case6.161 nb_sol=0 ticks=599541 tps=100 nb_sec=5995
case_no=173 label=Case6.161 nb_sol=0 ticks=523258 tps=100 nb_sec=5232
case_no=173 label=Case6.161 nb_sol=0 ticks=610460 tps=100 nb_sec=6104
case_no=173 label=Case6.161 nb_sol=0 ticks=427465 tps=100 nb_sec=4274
case_no=173 label=Case6.161 nb_sol=0 ticks=626061 tps=100 nb_sec=6260
case_no=173 label=Case6.161 nb_sol=0 ticks=631722 tps=100 nb_sec=6317
case_no=173 label=Case6.161 nb_sol=0 ticks=506983 tps=100 nb_sec=5069
case_no=173 label=Case6.161 nb_sol=0 ticks=518165 tps=100 nb_sec=5181
case_no=173 label=Case6.161 nb_sol=0 ticks=694059 tps=100 nb_sec=6940
case_no=173 label=Case6.161 nb_sol=0 ticks=651517 tps=100 nb_sec=6515
case_no=173 label=Case6.161 nb_sol=0 ticks=829406 tps=100 nb_sec=8294
case_no=173 label=Case6.161 nb_sol=0 ticks=878325 tps=100 nb_sec=8783
case_no=173 label=Case6.161 nb_sol=0 ticks=593330 tps=100 nb_sec=5933
case_no=173 label=Case6.161 nb_sol=0 ticks=720422 tps=100 nb_sec=7204
case_no=173 label=Case6.161 nb_sol=0 ticks=666816 tps=100 nb_sec=6668
case_no=173 label=Case6.161 nb_sol=0 ticks=643543 tps=100 nb_sec=6435
case_no=173 label=Case6.161 nb_sol=0 ticks=522799 tps=100 nb_sec=5227
case_no=173 label=Case6.161 nb_sol=0 ticks=726055 tps=100 nb_sec=7260
case_no=173 label=Case6.161 nb_sol=0 ticks=576996 tps=100 nb_sec=5769
case_no=173 label=Case6.161 nb_sol=0 ticks=772345 tps=100 nb_sec=7723
case_no=173 label=Case6.161 nb_sol=0 ticks=604685 tps=100 nb_sec=6046
case_no=173 label=Case6.161 nb_sol=0 ticks=932501 tps=100 nb_sec=9325
case_no=173 label=Case6.161 nb_sol=0 ticks=791183 tps=100 nb_sec=7911
case_no=173 label=Case6.161 nb_sol=0 ticks=729943 tps=100 nb_sec=7299
case_no=173 label=Case6.161 nb_sol=0 ticks=724550 tps=100 nb_sec=7245
case_no=173 label=Case6.161 nb_sol=0 ticks=760755 tps=100 nb_sec=7607
case_no=173 label=Case6.161 nb_sol=0 ticks=680270 tps=100 nb_sec=6802
case_no=173 label=Case6.161 nb_sol=0 ticks=602276 tps=100 nb_sec=6022
case_no=173 label=Case6.161 nb_sol=0 ticks=463161 tps=100 nb_sec=4631
case_no=173 label=Case6.161 nb_sol=0 ticks=559304 tps=100 nb_sec=5593
case_no=173 label=Case6.161 nb_sol=0 ticks=476307 tps=100 nb_sec=4763
case_no=173 label=Case6.161 nb_sol=0 ticks=571543 tps=100 nb_sec=5715
case_no=173 label=Case6.161 nb_sol=0 ticks=474197 tps=100 nb_sec=4741
case_no=173 label=Case6.161 nb_sol=0 ticks=485055 tps=100 nb_sec=4850
case_no=173 label=Case6.161 nb_sol=0 ticks=457005 tps=100 nb_sec=4570
case_no=173 label=Case6.161 nb_sol=0 ticks=590950 tps=100 nb_sec=5909
case_no=173 label=Case6.161 nb_sol=0 ticks=565605 tps=100 nb_sec=5656
case_no=173 label=Case6.161 nb_sol=0 ticks=610133 tps=100 nb_sec=6101
case_no=173 label=Case6.161 nb_sol=0 ticks=562839 tps=100 nb_sec=5628
case_no=173 label=Case6.161 nb_sol=0 ticks=473392 tps=100 nb_sec=4733
case_no=173 label=Case6.161 nb_sol=0 ticks=367434 tps=100 nb_sec=3674
case_no=173 label=Case6.161 nb_sol=0 ticks=523767 tps=100 nb_sec=5237
case_no=173 label=Case6.161 nb_sol=0 ticks=552712 tps=100 nb_sec=5527
case_no=173 label=Case6.161 nb_sol=0 ticks=646599 tps=100 nb_sec=6465
case_no=173 label=Case6.161 nb_sol=0 ticks=757169 tps=100 nb_sec=7571
case_no=173 label=Case6.161 nb_sol=0 ticks=752888 tps=100 nb_sec=7528
case_no=173 label=Case6.161 nb_sol=0 ticks=571735 tps=100 nb_sec=5717
case_no=173 label=Case6.161 nb_sol=0 ticks=750357 tps=100 nb_sec=7503
case_no=173 label=Case6.161 nb_sol=0 ticks=750407 tps=100 nb_sec=7504
case_no=173 label=Case6.161 nb_sol=0 ticks=678785 tps=100 nb_sec=6787
case_no=173 label=Case6.161 nb_sol=0 ticks=835006 tps=100 nb_sec=8350
case_no=173 label=Case6.161 nb_sol=0 ticks=825713 tps=100 nb_sec=8257
case_no=173 label=Case6.161 nb_sol=0 ticks=711455 tps=100 nb_sec=7114
case_no=173 label=Case6.161 nb_sol=0 ticks=869423 tps=100 nb_sec=8694
case_no=173 label=Case6.161 nb_sol=0 ticks=788404 tps=100 nb_sec=7884
case_no=173 label=Case6.161 nb_sol=0 ticks=769331 tps=100 nb_sec=7693
case_no=173 label=Case6.161 nb_sol=0 ticks=523618 tps=100 nb_sec=5236
case_no=173 label=Case6.161 nb_sol=0 ticks=504917 tps=100 nb_sec=5049
case_no=173 label=Case6.161 nb_sol=0 ticks=911063 tps=100 nb_sec=9110
case_no=173 label=Case6.161 nb_sol=0 ticks=886732 tps=100 nb_sec=8867
case_no=173 label=Case6.161 nb_sol=0 ticks=1337838 tps=100 nb_sec=13378
case_no=173 label=Case6.161 nb_sol=0 ticks=1191169 tps=100 nb_sec=11911
case_no=173 label=Case6.161 nb_sol=0 ticks=1054304 tps=100 nb_sec=10543
case_no=173 label=Case6.161 nb_sol=0 ticks=719000 tps=100 nb_sec=7190
case_no=173 label=Case6.161 nb_sol=0 ticks=556250 tps=100 nb_sec=5562
case_no=173 label=Case6.161 nb_sol=0 ticks=643437 tps=100 nb_sec=6434
case_no=173 label=Case6.161 nb_sol=0 ticks=460046 tps=100 nb_sec=4600
case_no=173 label=Case6.161 nb_sol=0 ticks=667059 tps=100 nb_sec=6670
case_no=173 label=Case6.161 nb_sol=0 ticks=778194 tps=100 nb_sec=7781
case_no=173 label=Case6.161 nb_sol=0 ticks=620274 tps=100 nb_sec=6202
case_no=173 label=Case6.161 nb_sol=0 ticks=693951 tps=100 nb_sec=6939
case_no=173 label=Case6.161 nb_sol=0 ticks=754121 tps=100 nb_sec=7541
case_no=173 label=Case6.161 nb_sol=0 ticks=603357 tps=100 nb_sec=6033
case_no=173 label=Case6.161 nb_sol=0 ticks=638677 tps=100 nb_sec=6386
case_no=173 label=Case6.161 nb_sol=0 ticks=746133 tps=100 nb_sec=7461
case_no=173 label=Case6.161 nb_sol=0 ticks=667285 tps=100 nb_sec=6672
case_no=173 label=Case6.161 nb_sol=0 ticks=776948 tps=100 nb_sec=7769
case_no=173 label=Case6.161 nb_sol=0 ticks=571716 tps=100 nb_sec=5717
case_no=173 label=Case6.161 nb_sol=0 ticks=709673 tps=100 nb_sec=7096
case_no=173 label=Case6.161 nb_sol=0 ticks=855838 tps=100 nb_sec=8558
case_no=173 label=Case6.161 nb_sol=0 ticks=719905 tps=100 nb_sec=7199
case_no=173 label=Case6.161 nb_sol=0 ticks=817716 tps=100 nb_sec=8177
case_no=173 label=Case6.161 nb_sol=0 ticks=617475 tps=100 nb_sec=6174
case_no=173 label=Case6.161 nb_sol=0 ticks=757399 tps=100 nb_sec=7573
case_no=173 label=Case6.161 nb_sol=0 ticks=597998 tps=100 nb_sec=5979
case_no=173 label=Case6.161 nb_sol=0 ticks=893486 tps=100 nb_sec=8934
case_no=173 label=Case6.161 nb_sol=0 ticks=832361 tps=100 nb_sec=8323
case_no=173 label=Case6.161 nb_sol=0 ticks=880622 tps=100 nb_sec=8806
case_no=173 label=Case6.161 nb_sol=0 ticks=798246 tps=100 nb_sec=7982
case_no=173 label=Case6.161 nb_sol=0 ticks=760812 tps=100 nb_sec=7608
case_no=173 label=Case6.161 nb_sol=0 ticks=801498 tps=100 nb_sec=8014
case_no=173 label=Case6.161 nb_sol=0 ticks=718252 tps=100 nb_sec=7182
case_no=173 label=Case6.161 nb_sol=0 ticks=607646 tps=100 nb_sec=6076
case_no=173 label=Case6.161 nb_sol=0 ticks=533550 tps=100 nb_sec=5335
case_no=173 label=Case6.161 nb_sol=0 ticks=480462 tps=100 nb_sec=4804
case_no=173 label=Case6.161 nb_sol=0 ticks=617492 tps=100 nb_sec=6174
case_no=173 label=Case6.161 nb_sol=0 ticks=588281 tps=100 nb_sec=5882
case_no=173 label=Case6.161 nb_sol=0 ticks=609358 tps=100 nb_sec=6093
case_no=173 label=Case6.161 nb_sol=0 ticks=610701 tps=100 nb_sec=6107
case_no=173 label=Case6.161 nb_sol=0 ticks=547095 tps=100 nb_sec=5470
case_no=173 label=Case6.161 nb_sol=0 ticks=463674 tps=100 nb_sec=4636
case_no=173 label=Case6.161 nb_sol=0 ticks=614921 tps=100 nb_sec=6149
case_no=173 label=Case6.161 nb_sol=0 ticks=496017 tps=100 nb_sec=4960
case_no=173 label=Case6.161 nb_sol=0 ticks=741752 tps=100 nb_sec=7417
case_no=173 label=Case6.161 nb_sol=0 ticks=625974 tps=100 nb_sec=6259
case_no=173 label=Case6.161 nb_sol=0 ticks=514284 tps=100 nb_sec=5142
case_no=173 label=Case6.161 nb_sol=0 ticks=662674 tps=100 nb_sec=6626
case_no=173 label=Case6.161 nb_sol=0 ticks=732626 tps=100 nb_sec=7326
case_no=173 label=Case6.161 nb_sol=0 ticks=617734 tps=100 nb_sec=6177
case_no=173 label=Case6.161 nb_sol=0 ticks=517942 tps=100 nb_sec=5179
case_no=173 label=Case6.161 nb_sol=0 ticks=412022 tps=100 nb_sec=4120
case_no=173 label=Case6.161 nb_sol=0 ticks=516332 tps=100 nb_sec=5163
case_no=173 label=Case6.161 nb_sol=0 ticks=661014 tps=100 nb_sec=6610
case_no=173 label=Case6.161 nb_sol=0 ticks=833872 tps=100 nb_sec=8338
case_no=173 label=Case6.161 nb_sol=0 ticks=686852 tps=100 nb_sec=6868
case_no=173 label=Case6.161 nb_sol=0 ticks=775309 tps=100 nb_sec=7753
case_no=173 label=Case6.161 nb_sol=0 ticks=679662 tps=100 nb_sec=6796
case_no=173 label=Case6.161 nb_sol=0 ticks=754828 tps=100 nb_sec=7548
case_no=173 label=Case6.161 nb_sol=0 ticks=646509 tps=100 nb_sec=6465
case_no=173 label=Case6.161 nb_sol=0 ticks=683407 tps=100 nb_sec=6834
case_no=173 label=Case6.161 nb_sol=0 ticks=529777 tps=100 nb_sec=5297
case_no=173 label=Case6.161 nb_sol=0 ticks=443581 tps=100 nb_sec=4435
case_no=173 label=Case6.161 nb_sol=0 ticks=555038 tps=100 nb_sec=5550
case_no=173 label=Case6.161 nb_sol=0 ticks=624321 tps=100 nb_sec=6243
case_no=173 label=Case6.161 nb_sol=0 ticks=644553 tps=100 nb_sec=6445
case_no=173 label=Case6.161 nb_sol=0 ticks=701861 tps=100 nb_sec=7018
case_no=173 label=Case6.161 nb_sol=0 ticks=626352 tps=100 nb_sec=6263
case_no=173 label=Case6.161 nb_sol=0 ticks=621251 tps=100 nb_sec=6212
case_no=173 label=Case6.161 nb_sol=0 ticks=628675 tps=100 nb_sec=6286
case_no=173 label=Case6.161 nb_sol=0 ticks=608017 tps=100 nb_sec=6080
case_no=173 label=Case6.161 nb_sol=0 ticks=695689 tps=100 nb_sec=6956
case_no=173 label=Case6.161 nb_sol=0 ticks=409123 tps=100 nb_sec=4091
case_no=173 label=Case6.161 nb_sol=0 ticks=686627 tps=100 nb_sec=6866
case_no=173 label=Case6.161 nb_sol=0 ticks=557386 tps=100 nb_sec=5573
case_no=173 label=Case6.161 nb_sol=0 ticks=677094 tps=100 nb_sec=6770
case_no=173 label=Case6.161 nb_sol=0 ticks=481268 tps=100 nb_sec=4812
case_no=173 label=Case6.161 nb_sol=0 ticks=752868 tps=100 nb_sec=7528
case_no=173 label=Case6.161 nb_sol=0 ticks=574064 tps=100 nb_sec=5740
case_no=173 label=Case6.161 nb_sol=0 ticks=570654 tps=100 nb_sec=5706
case_no=173 label=Case6.161 nb_sol=0 ticks=856438 tps=100 nb_sec=8564
case_no=173 label=Case6.161 nb_sol=0 ticks=830958 tps=100 nb_sec=8309
case_no=173 label=Case6.161 nb_sol=0 ticks=883440 tps=100 nb_sec=8834
case_no=173 label=Case6.161 nb_sol=0 ticks=483621 tps=100 nb_sec=4836
case_no=173 label=Case6.161 nb_sol=0 ticks=634796 tps=100 nb_sec=6347
case_no=173 label=Case6.161 nb_sol=0 ticks=1097619 tps=100 nb_sec=10976
case_no=173 label=Case6.161 nb_sol=0 ticks=673154 tps=100 nb_sec=6731
case_no=173 label=Case6.161 nb_sol=0 ticks=890529 tps=100 nb_sec=8905
case_no=173 label=Case6.161 nb_sol=0 ticks=1045805 tps=100 nb_sec=10458
case_no=173 label=Case6.161 nb_sol=0 ticks=900032 tps=100 nb_sec=9000
case_no=173 label=Case6.161 nb_sol=0 ticks=850438 tps=100 nb_sec=8504
case_no=173 label=Case6.161 nb_sol=0 ticks=693034 tps=100 nb_sec=6930
case_no=173 label=Case6.161 nb_sol=0 ticks=604722 tps=100 nb_sec=6047
case_no=173 label=Case6.161 nb_sol=0 ticks=473425 tps=100 nb_sec=4734
case_no=173 label=Case6.161 nb_sol=0 ticks=613459 tps=100 nb_sec=6134
case_no=173 label=Case6.161 nb_sol=0 ticks=624085 tps=100 nb_sec=6240
case_no=173 label=Case6.161 nb_sol=0 ticks=623255 tps=100 nb_sec=6232
case_no=173 label=Case6.161 nb_sol=0 ticks=523086 tps=100 nb_sec=5230
case_no=173 label=Case6.161 nb_sol=0 ticks=631293 tps=100 nb_sec=6312
case_no=173 label=Case6.161 nb_sol=0 ticks=435110 tps=100 nb_sec=4351
case_no=173 label=Case6.161 nb_sol=0 ticks=604315 tps=100 nb_sec=6043
case_no=173 label=Case6.161 nb_sol=0 ticks=626437 tps=100 nb_sec=6264
case_no=173 label=Case6.161 nb_sol=0 ticks=618295 tps=100 nb_sec=6182
case_no=173 label=Case6.161 nb_sol=0 ticks=443149 tps=100 nb_sec=4431
case_no=173 label=Case6.161 nb_sol=0 ticks=615375 tps=100 nb_sec=6153
case_no=173 label=Case6.161 nb_sol=0 ticks=438104 tps=100 nb_sec=4381
case_no=173 label=Case6.161 nb_sol=0 ticks=607536 tps=100 nb_sec=6075
case_no=173 label=Case6.161 nb_sol=0 ticks=508685 tps=100 nb_sec=5086
case_no=173 label=Case6.161 nb_sol=0 ticks=546227 tps=100 nb_sec=5462
case_no=173 label=Case6.161 nb_sol=0 ticks=554628 tps=100 nb_sec=5546
case_no=173 label=Case6.161 nb_sol=0 ticks=513585 tps=100 nb_sec=5135
case_no=173 label=Case6.161 nb_sol=0 ticks=491846 tps=100 nb_sec=4918
case_no=173 label=Case6.161 nb_sol=0 ticks=568560 tps=100 nb_sec=5685
case_no=173 label=Case6.161 nb_sol=0 ticks=528164 tps=100 nb_sec=5281
case_no=173 label=Case6.161 nb_sol=0 ticks=562120 tps=100 nb_sec=5621
case_no=173 label=Case6.161 nb_sol=0 ticks=409276 tps=100 nb_sec=4092
case_no=173 label=Case6.161 nb_sol=0 ticks=644357 tps=100 nb_sec=6443
case_no=173 label=Case6.161 nb_sol=0 ticks=679116 tps=100 nb_sec=6791
case_no=173 label=Case6.161 nb_sol=0 ticks=566819 tps=100 nb_sec=5668
case_no=173 label=Case6.161 nb_sol=0 ticks=475012 tps=100 nb_sec=4750
case_no=173 label=Case6.161 nb_sol=0 ticks=576976 tps=100 nb_sec=5769
case_no=173 label=Case6.161 nb_sol=0 ticks=517485 tps=100 nb_sec=5174
case_no=173 label=Case6.161 nb_sol=0 ticks=621158 tps=100 nb_sec=6211
case_no=173 label=Case6.161 nb_sol=0 ticks=1224091 tps=100 nb_sec=12240
case_no=173 label=Case6.161 nb_sol=0 ticks=577016 tps=100 nb_sec=5770
case_no=173 label=Case6.161 nb_sol=0 ticks=695604 tps=100 nb_sec=6956
case_no=173 label=Case6.161 nb_sol=0 ticks=478226 tps=100 nb_sec=4782
case_no=173 label=Case6.161 nb_sol=0 ticks=611324 tps=100 nb_sec=6113
Nb_sol=0
Nb_sec=7338334
84-22:25:34 or 2038 hours
missing cases:
none