argc=5
-M 1024
file2=30_select_Case6.154_starter_15_
checking files mod 1024 from 0 to 1023
case_no=166 label=Case6.154 nb_sol=0 ticks=714732 tps=100 nb_sec=7147
case_no=166 label=Case6.154 nb_sol=0 ticks=339649 tps=100 nb_sec=3396
case_no=166 label=Case6.154 nb_sol=0 ticks=774903 tps=100 nb_sec=7749
case_no=166 label=Case6.154 nb_sol=0 ticks=660094 tps=100 nb_sec=6600
case_no=166 label=Case6.154 nb_sol=0 ticks=307574 tps=100 nb_sec=3075
case_no=166 label=Case6.154 nb_sol=0 ticks=340597 tps=100 nb_sec=3405
case_no=166 label=Case6.154 nb_sol=0 ticks=616313 tps=100 nb_sec=6163
case_no=166 label=Case6.154 nb_sol=0 ticks=460401 tps=100 nb_sec=4604
case_no=166 label=Case6.154 nb_sol=0 ticks=332027 tps=100 nb_sec=3320
case_no=166 label=Case6.154 nb_sol=0 ticks=326825 tps=100 nb_sec=3268
case_no=166 label=Case6.154 nb_sol=0 ticks=347066 tps=100 nb_sec=3470
case_no=166 label=Case6.154 nb_sol=0 ticks=718586 tps=100 nb_sec=7185
case_no=166 label=Case6.154 nb_sol=0 ticks=479947 tps=100 nb_sec=4799
case_no=166 label=Case6.154 nb_sol=0 ticks=654663 tps=100 nb_sec=6546
case_no=166 label=Case6.154 nb_sol=0 ticks=586923 tps=100 nb_sec=5869
case_no=166 label=Case6.154 nb_sol=0 ticks=320169 tps=100 nb_sec=3201
case_no=166 label=Case6.154 nb_sol=0 ticks=295017 tps=100 nb_sec=2950
case_no=166 label=Case6.154 nb_sol=0 ticks=313327 tps=100 nb_sec=3133
case_no=166 label=Case6.154 nb_sol=0 ticks=497579 tps=100 nb_sec=4975
case_no=166 label=Case6.154 nb_sol=0 ticks=480060 tps=100 nb_sec=4800
case_no=166 label=Case6.154 nb_sol=0 ticks=787856 tps=100 nb_sec=7878
case_no=166 label=Case6.154 nb_sol=0 ticks=350847 tps=100 nb_sec=3508
case_no=166 label=Case6.154 nb_sol=0 ticks=739188 tps=100 nb_sec=7391
case_no=166 label=Case6.154 nb_sol=0 ticks=909897 tps=100 nb_sec=9098
case_no=166 label=Case6.154 nb_sol=0 ticks=344141 tps=100 nb_sec=3441
case_no=166 label=Case6.154 nb_sol=0 ticks=386321 tps=100 nb_sec=3863
case_no=166 label=Case6.154 nb_sol=0 ticks=657347 tps=100 nb_sec=6573
case_no=166 label=Case6.154 nb_sol=0 ticks=588733 tps=100 nb_sec=5887
case_no=166 label=Case6.154 nb_sol=0 ticks=402139 tps=100 nb_sec=4021
case_no=166 label=Case6.154 nb_sol=0 ticks=583015 tps=100 nb_sec=5830
case_no=166 label=Case6.154 nb_sol=0 ticks=304023 tps=100 nb_sec=3040
case_no=166 label=Case6.154 nb_sol=0 ticks=481510 tps=100 nb_sec=4815
case_no=166 label=Case6.154 nb_sol=0 ticks=285065 tps=100 nb_sec=2850
case_no=166 label=Case6.154 nb_sol=0 ticks=514615 tps=100 nb_sec=5146
case_no=166 label=Case6.154 nb_sol=0 ticks=397207 tps=100 nb_sec=3972
case_no=166 label=Case6.154 nb_sol=0 ticks=405125 tps=100 nb_sec=4051
case_no=166 label=Case6.154 nb_sol=0 ticks=767113 tps=100 nb_sec=7671
case_no=166 label=Case6.154 nb_sol=0 ticks=582539 tps=100 nb_sec=5825
case_no=166 label=Case6.154 nb_sol=0 ticks=774027 tps=100 nb_sec=7740
case_no=166 label=Case6.154 nb_sol=0 ticks=338017 tps=100 nb_sec=3380
case_no=166 label=Case6.154 nb_sol=0 ticks=606280 tps=100 nb_sec=6062
case_no=166 label=Case6.154 nb_sol=0 ticks=776118 tps=100 nb_sec=7761
case_no=166 label=Case6.154 nb_sol=0 ticks=384511 tps=100 nb_sec=3845
case_no=166 label=Case6.154 nb_sol=0 ticks=700104 tps=100 nb_sec=7001
case_no=166 label=Case6.154 nb_sol=0 ticks=324972 tps=100 nb_sec=3249
case_no=166 label=Case6.154 nb_sol=0 ticks=656617 tps=100 nb_sec=6566
case_no=166 label=Case6.154 nb_sol=0 ticks=679719 tps=100 nb_sec=6797
case_no=166 label=Case6.154 nb_sol=0 ticks=564881 tps=100 nb_sec=5648
case_no=166 label=Case6.154 nb_sol=0 ticks=568282 tps=100 nb_sec=5682
case_no=166 label=Case6.154 nb_sol=0 ticks=579986 tps=100 nb_sec=5799
case_no=166 label=Case6.154 nb_sol=0 ticks=862327 tps=100 nb_sec=8623
case_no=166 label=Case6.154 nb_sol=0 ticks=586080 tps=100 nb_sec=5860
case_no=166 label=Case6.154 nb_sol=0 ticks=334449 tps=100 nb_sec=3344
case_no=166 label=Case6.154 nb_sol=0 ticks=877300 tps=100 nb_sec=8773
case_no=166 label=Case6.154 nb_sol=0 ticks=599539 tps=100 nb_sec=5995
case_no=166 label=Case6.154 nb_sol=0 ticks=907735 tps=100 nb_sec=9077
case_no=166 label=Case6.154 nb_sol=0 ticks=581622 tps=100 nb_sec=5816
case_no=166 label=Case6.154 nb_sol=0 ticks=590557 tps=100 nb_sec=5905
case_no=166 label=Case6.154 nb_sol=0 ticks=627233 tps=100 nb_sec=6272
case_no=166 label=Case6.154 nb_sol=0 ticks=692597 tps=100 nb_sec=6925
case_no=166 label=Case6.154 nb_sol=0 ticks=456418 tps=100 nb_sec=4564
case_no=166 label=Case6.154 nb_sol=0 ticks=997158 tps=100 nb_sec=9971
case_no=166 label=Case6.154 nb_sol=0 ticks=949502 tps=100 nb_sec=9495
case_no=166 label=Case6.154 nb_sol=0 ticks=478022 tps=100 nb_sec=4780
case_no=166 label=Case6.154 nb_sol=0 ticks=653753 tps=100 nb_sec=6537
case_no=166 label=Case6.154 nb_sol=0 ticks=1034599 tps=100 nb_sec=10345
case_no=166 label=Case6.154 nb_sol=0 ticks=975526 tps=100 nb_sec=9755
case_no=166 label=Case6.154 nb_sol=0 ticks=728800 tps=100 nb_sec=7288
case_no=166 label=Case6.154 nb_sol=0 ticks=781639 tps=100 nb_sec=7816
case_no=166 label=Case6.154 nb_sol=0 ticks=753486 tps=100 nb_sec=7534
case_no=166 label=Case6.154 nb_sol=0 ticks=941732 tps=100 nb_sec=9417
case_no=166 label=Case6.154 nb_sol=0 ticks=1009140 tps=100 nb_sec=10091
case_no=166 label=Case6.154 nb_sol=0 ticks=711267 tps=100 nb_sec=7112
case_no=166 label=Case6.154 nb_sol=0 ticks=788183 tps=100 nb_sec=7881
case_no=166 label=Case6.154 nb_sol=0 ticks=433192 tps=100 nb_sec=4331
case_no=166 label=Case6.154 nb_sol=0 ticks=915769 tps=100 nb_sec=9157
case_no=166 label=Case6.154 nb_sol=0 ticks=609844 tps=100 nb_sec=6098
case_no=166 label=Case6.154 nb_sol=0 ticks=698806 tps=100 nb_sec=6988
case_no=166 label=Case6.154 nb_sol=0 ticks=715816 tps=100 nb_sec=7158
case_no=166 label=Case6.154 nb_sol=0 ticks=863671 tps=100 nb_sec=8636
case_no=166 label=Case6.154 nb_sol=0 ticks=531359 tps=100 nb_sec=5313
case_no=166 label=Case6.154 nb_sol=0 ticks=778710 tps=100 nb_sec=7787
case_no=166 label=Case6.154 nb_sol=0 ticks=612803 tps=100 nb_sec=6128
case_no=166 label=Case6.154 nb_sol=0 ticks=482566 tps=100 nb_sec=4825
case_no=166 label=Case6.154 nb_sol=0 ticks=592096 tps=100 nb_sec=5920
case_no=166 label=Case6.154 nb_sol=0 ticks=684195 tps=100 nb_sec=6841
case_no=166 label=Case6.154 nb_sol=0 ticks=490467 tps=100 nb_sec=4904
case_no=166 label=Case6.154 nb_sol=0 ticks=567881 tps=100 nb_sec=5678
case_no=166 label=Case6.154 nb_sol=0 ticks=597976 tps=100 nb_sec=5979
case_no=166 label=Case6.154 nb_sol=0 ticks=584798 tps=100 nb_sec=5847
case_no=166 label=Case6.154 nb_sol=0 ticks=579906 tps=100 nb_sec=5799
case_no=166 label=Case6.154 nb_sol=0 ticks=437158 tps=100 nb_sec=4371
case_no=166 label=Case6.154 nb_sol=0 ticks=635548 tps=100 nb_sec=6355
case_no=166 label=Case6.154 nb_sol=0 ticks=584560 tps=100 nb_sec=5845
case_no=166 label=Case6.154 nb_sol=0 ticks=659887 tps=100 nb_sec=6598
case_no=166 label=Case6.154 nb_sol=0 ticks=695576 tps=100 nb_sec=6955
case_no=166 label=Case6.154 nb_sol=0 ticks=769861 tps=100 nb_sec=7698
case_no=166 label=Case6.154 nb_sol=0 ticks=753228 tps=100 nb_sec=7532
case_no=166 label=Case6.154 nb_sol=0 ticks=761122 tps=100 nb_sec=7611
case_no=166 label=Case6.154 nb_sol=0 ticks=605560 tps=100 nb_sec=6055
case_no=166 label=Case6.154 nb_sol=0 ticks=634597 tps=100 nb_sec=6345
case_no=166 label=Case6.154 nb_sol=0 ticks=658079 tps=100 nb_sec=6580
case_no=166 label=Case6.154 nb_sol=0 ticks=601879 tps=100 nb_sec=6018
case_no=166 label=Case6.154 nb_sol=0 ticks=631207 tps=100 nb_sec=6312
case_no=166 label=Case6.154 nb_sol=0 ticks=787234 tps=100 nb_sec=7872
case_no=166 label=Case6.154 nb_sol=0 ticks=687621 tps=100 nb_sec=6876
case_no=166 label=Case6.154 nb_sol=0 ticks=542441 tps=100 nb_sec=5424
case_no=166 label=Case6.154 nb_sol=0 ticks=549992 tps=100 nb_sec=5499
case_no=166 label=Case6.154 nb_sol=0 ticks=659281 tps=100 nb_sec=6592
case_no=166 label=Case6.154 nb_sol=0 ticks=677590 tps=100 nb_sec=6775
case_no=166 label=Case6.154 nb_sol=0 ticks=638348 tps=100 nb_sec=6383
case_no=166 label=Case6.154 nb_sol=0 ticks=615045 tps=100 nb_sec=6150
case_no=166 label=Case6.154 nb_sol=0 ticks=559744 tps=100 nb_sec=5597
case_no=166 label=Case6.154 nb_sol=0 ticks=514695 tps=100 nb_sec=5146
case_no=166 label=Case6.154 nb_sol=0 ticks=650557 tps=100 nb_sec=6505
case_no=166 label=Case6.154 nb_sol=0 ticks=616446 tps=100 nb_sec=6164
case_no=166 label=Case6.154 nb_sol=0 ticks=661081 tps=100 nb_sec=6610
case_no=166 label=Case6.154 nb_sol=0 ticks=672015 tps=100 nb_sec=6720
case_no=166 label=Case6.154 nb_sol=0 ticks=700004 tps=100 nb_sec=7000
case_no=166 label=Case6.154 nb_sol=0 ticks=583427 tps=100 nb_sec=5834
case_no=166 label=Case6.154 nb_sol=0 ticks=630123 tps=100 nb_sec=6301
case_no=166 label=Case6.154 nb_sol=0 ticks=599629 tps=100 nb_sec=5996
case_no=166 label=Case6.154 nb_sol=0 ticks=784814 tps=100 nb_sec=7848
case_no=166 label=Case6.154 nb_sol=0 ticks=631575 tps=100 nb_sec=6315
case_no=166 label=Case6.154 nb_sol=0 ticks=683586 tps=100 nb_sec=6835
case_no=166 label=Case6.154 nb_sol=0 ticks=605609 tps=100 nb_sec=6056
case_no=166 label=Case6.154 nb_sol=0 ticks=708626 tps=100 nb_sec=7086
case_no=166 label=Case6.154 nb_sol=0 ticks=667930 tps=100 nb_sec=6679
case_no=166 label=Case6.154 nb_sol=0 ticks=560443 tps=100 nb_sec=5604
case_no=166 label=Case6.154 nb_sol=0 ticks=685270 tps=100 nb_sec=6852
case_no=166 label=Case6.154 nb_sol=0 ticks=492520 tps=100 nb_sec=4925
case_no=166 label=Case6.154 nb_sol=0 ticks=566072 tps=100 nb_sec=5660
case_no=166 label=Case6.154 nb_sol=0 ticks=481104 tps=100 nb_sec=4811
case_no=166 label=Case6.154 nb_sol=0 ticks=515589 tps=100 nb_sec=5155
case_no=166 label=Case6.154 nb_sol=0 ticks=648833 tps=100 nb_sec=6488
case_no=166 label=Case6.154 nb_sol=0 ticks=620602 tps=100 nb_sec=6206
case_no=166 label=Case6.154 nb_sol=0 ticks=512526 tps=100 nb_sec=5125
case_no=166 label=Case6.154 nb_sol=0 ticks=530547 tps=100 nb_sec=5305
case_no=166 label=Case6.154 nb_sol=0 ticks=621572 tps=100 nb_sec=6215
case_no=166 label=Case6.154 nb_sol=0 ticks=500330 tps=100 nb_sec=5003
case_no=166 label=Case6.154 nb_sol=0 ticks=804909 tps=100 nb_sec=8049
case_no=166 label=Case6.154 nb_sol=0 ticks=743408 tps=100 nb_sec=7434
case_no=166 label=Case6.154 nb_sol=0 ticks=645052 tps=100 nb_sec=6450
case_no=166 label=Case6.154 nb_sol=0 ticks=595997 tps=100 nb_sec=5959
case_no=166 label=Case6.154 nb_sol=0 ticks=645948 tps=100 nb_sec=6459
case_no=166 label=Case6.154 nb_sol=0 ticks=664434 tps=100 nb_sec=6644
case_no=166 label=Case6.154 nb_sol=0 ticks=688805 tps=100 nb_sec=6888
case_no=166 label=Case6.154 nb_sol=0 ticks=634476 tps=100 nb_sec=6344
case_no=166 label=Case6.154 nb_sol=0 ticks=577415 tps=100 nb_sec=5774
case_no=166 label=Case6.154 nb_sol=0 ticks=667165 tps=100 nb_sec=6671
case_no=166 label=Case6.154 nb_sol=0 ticks=542304 tps=100 nb_sec=5423
case_no=166 label=Case6.154 nb_sol=0 ticks=588731 tps=100 nb_sec=5887
case_no=166 label=Case6.154 nb_sol=0 ticks=593541 tps=100 nb_sec=5935
case_no=166 label=Case6.154 nb_sol=0 ticks=393485 tps=100 nb_sec=3934
case_no=166 label=Case6.154 nb_sol=0 ticks=577153 tps=100 nb_sec=5771
case_no=166 label=Case6.154 nb_sol=0 ticks=638096 tps=100 nb_sec=6380
case_no=166 label=Case6.154 nb_sol=0 ticks=649520 tps=100 nb_sec=6495
case_no=166 label=Case6.154 nb_sol=0 ticks=789695 tps=100 nb_sec=7896
case_no=166 label=Case6.154 nb_sol=0 ticks=547809 tps=100 nb_sec=5478
case_no=166 label=Case6.154 nb_sol=0 ticks=752050 tps=100 nb_sec=7520
case_no=166 label=Case6.154 nb_sol=0 ticks=667766 tps=100 nb_sec=6677
case_no=166 label=Case6.154 nb_sol=0 ticks=678911 tps=100 nb_sec=6789
case_no=166 label=Case6.154 nb_sol=0 ticks=668193 tps=100 nb_sec=6681
case_no=166 label=Case6.154 nb_sol=0 ticks=315413 tps=100 nb_sec=3154
case_no=166 label=Case6.154 nb_sol=0 ticks=617435 tps=100 nb_sec=6174
case_no=166 label=Case6.154 nb_sol=0 ticks=733882 tps=100 nb_sec=7338
case_no=166 label=Case6.154 nb_sol=0 ticks=580123 tps=100 nb_sec=5801
case_no=166 label=Case6.154 nb_sol=0 ticks=302606 tps=100 nb_sec=3026
case_no=166 label=Case6.154 nb_sol=0 ticks=635752 tps=100 nb_sec=6357
case_no=166 label=Case6.154 nb_sol=0 ticks=335007 tps=100 nb_sec=3350
case_no=166 label=Case6.154 nb_sol=0 ticks=591853 tps=100 nb_sec=5918
case_no=166 label=Case6.154 nb_sol=0 ticks=557767 tps=100 nb_sec=5577
case_no=166 label=Case6.154 nb_sol=0 ticks=733362 tps=100 nb_sec=7333
case_no=166 label=Case6.154 nb_sol=0 ticks=579577 tps=100 nb_sec=5795
case_no=166 label=Case6.154 nb_sol=0 ticks=541665 tps=100 nb_sec=5416
case_no=166 label=Case6.154 nb_sol=0 ticks=435566 tps=100 nb_sec=4355
case_no=166 label=Case6.154 nb_sol=0 ticks=437478 tps=100 nb_sec=4374
case_no=166 label=Case6.154 nb_sol=0 ticks=510778 tps=100 nb_sec=5107
case_no=166 label=Case6.154 nb_sol=0 ticks=500294 tps=100 nb_sec=5002
case_no=166 label=Case6.154 nb_sol=0 ticks=661716 tps=100 nb_sec=6617
case_no=166 label=Case6.154 nb_sol=0 ticks=312353 tps=100 nb_sec=3123
case_no=166 label=Case6.154 nb_sol=0 ticks=306736 tps=100 nb_sec=3067
case_no=166 label=Case6.154 nb_sol=0 ticks=470775 tps=100 nb_sec=4707
case_no=166 label=Case6.154 nb_sol=0 ticks=722926 tps=100 nb_sec=7229
case_no=166 label=Case6.154 nb_sol=0 ticks=298984 tps=100 nb_sec=2989
case_no=166 label=Case6.154 nb_sol=0 ticks=735773 tps=100 nb_sec=7357
case_no=166 label=Case6.154 nb_sol=0 ticks=588762 tps=100 nb_sec=5887
case_no=166 label=Case6.154 nb_sol=0 ticks=716605 tps=100 nb_sec=7166
case_no=166 label=Case6.154 nb_sol=0 ticks=849607 tps=100 nb_sec=8496
case_no=166 label=Case6.154 nb_sol=0 ticks=344270 tps=100 nb_sec=3442
case_no=166 label=Case6.154 nb_sol=0 ticks=738252 tps=100 nb_sec=7382
case_no=166 label=Case6.154 nb_sol=0 ticks=351587 tps=100 nb_sec=3515
case_no=166 label=Case6.154 nb_sol=0 ticks=636195 tps=100 nb_sec=6361
case_no=166 label=Case6.154 nb_sol=0 ticks=340964 tps=100 nb_sec=3409
case_no=166 label=Case6.154 nb_sol=0 ticks=583765 tps=100 nb_sec=5837
case_no=166 label=Case6.154 nb_sol=0 ticks=409451 tps=100 nb_sec=4094
case_no=166 label=Case6.154 nb_sol=0 ticks=805266 tps=100 nb_sec=8052
case_no=166 label=Case6.154 nb_sol=0 ticks=364260 tps=100 nb_sec=3642
case_no=166 label=Case6.154 nb_sol=0 ticks=673166 tps=100 nb_sec=6731
case_no=166 label=Case6.154 nb_sol=0 ticks=529249 tps=100 nb_sec=5292
case_no=166 label=Case6.154 nb_sol=0 ticks=604395 tps=100 nb_sec=6043
case_no=166 label=Case6.154 nb_sol=0 ticks=689909 tps=100 nb_sec=6899
case_no=166 label=Case6.154 nb_sol=0 ticks=446270 tps=100 nb_sec=4462
case_no=166 label=Case6.154 nb_sol=0 ticks=260342 tps=100 nb_sec=2603
case_no=166 label=Case6.154 nb_sol=0 ticks=646207 tps=100 nb_sec=6462
case_no=166 label=Case6.154 nb_sol=0 ticks=416488 tps=100 nb_sec=4164
case_no=166 label=Case6.154 nb_sol=0 ticks=815011 tps=100 nb_sec=8150
case_no=166 label=Case6.154 nb_sol=0 ticks=652086 tps=100 nb_sec=6520
case_no=166 label=Case6.154 nb_sol=0 ticks=775726 tps=100 nb_sec=7757
case_no=166 label=Case6.154 nb_sol=0 ticks=715486 tps=100 nb_sec=7154
case_no=166 label=Case6.154 nb_sol=0 ticks=881899 tps=100 nb_sec=8818
case_no=166 label=Case6.154 nb_sol=0 ticks=519169 tps=100 nb_sec=5191
case_no=166 label=Case6.154 nb_sol=0 ticks=586671 tps=100 nb_sec=5866
case_no=166 label=Case6.154 nb_sol=0 ticks=639010 tps=100 nb_sec=6390
case_no=166 label=Case6.154 nb_sol=0 ticks=628542 tps=100 nb_sec=6285
case_no=166 label=Case6.154 nb_sol=0 ticks=686522 tps=100 nb_sec=6865
case_no=166 label=Case6.154 nb_sol=0 ticks=830575 tps=100 nb_sec=8305
case_no=166 label=Case6.154 nb_sol=0 ticks=654400 tps=100 nb_sec=6544
case_no=166 label=Case6.154 nb_sol=0 ticks=435007 tps=100 nb_sec=4350
case_no=166 label=Case6.154 nb_sol=0 ticks=639278 tps=100 nb_sec=6392
case_no=166 label=Case6.154 nb_sol=0 ticks=473695 tps=100 nb_sec=4736
case_no=166 label=Case6.154 nb_sol=0 ticks=556925 tps=100 nb_sec=5569
case_no=166 label=Case6.154 nb_sol=0 ticks=552412 tps=100 nb_sec=5524
case_no=166 label=Case6.154 nb_sol=0 ticks=550085 tps=100 nb_sec=5500
case_no=166 label=Case6.154 nb_sol=0 ticks=329669 tps=100 nb_sec=3296
case_no=166 label=Case6.154 nb_sol=0 ticks=771312 tps=100 nb_sec=7713
case_no=166 label=Case6.154 nb_sol=0 ticks=276075 tps=100 nb_sec=2760
case_no=166 label=Case6.154 nb_sol=0 ticks=361526 tps=100 nb_sec=3615
case_no=166 label=Case6.154 nb_sol=0 ticks=550080 tps=100 nb_sec=5500
case_no=166 label=Case6.154 nb_sol=0 ticks=437545 tps=100 nb_sec=4375
case_no=166 label=Case6.154 nb_sol=0 ticks=708943 tps=100 nb_sec=7089
case_no=166 label=Case6.154 nb_sol=0 ticks=501926 tps=100 nb_sec=5019
case_no=166 label=Case6.154 nb_sol=0 ticks=456501 tps=100 nb_sec=4565
case_no=166 label=Case6.154 nb_sol=0 ticks=571579 tps=100 nb_sec=5715
case_no=166 label=Case6.154 nb_sol=0 ticks=553465 tps=100 nb_sec=5534
case_no=166 label=Case6.154 nb_sol=0 ticks=551225 tps=100 nb_sec=5512
case_no=166 label=Case6.154 nb_sol=0 ticks=700117 tps=100 nb_sec=7001
case_no=166 label=Case6.154 nb_sol=0 ticks=573947 tps=100 nb_sec=5739
case_no=166 label=Case6.154 nb_sol=0 ticks=650192 tps=100 nb_sec=6501
case_no=166 label=Case6.154 nb_sol=0 ticks=591670 tps=100 nb_sec=5916
case_no=166 label=Case6.154 nb_sol=0 ticks=485320 tps=100 nb_sec=4853
case_no=166 label=Case6.154 nb_sol=0 ticks=499287 tps=100 nb_sec=4992
case_no=166 label=Case6.154 nb_sol=0 ticks=540836 tps=100 nb_sec=5408
case_no=166 label=Case6.154 nb_sol=0 ticks=263211 tps=100 nb_sec=2632
case_no=166 label=Case6.154 nb_sol=0 ticks=425217 tps=100 nb_sec=4252
case_no=166 label=Case6.154 nb_sol=0 ticks=250559 tps=100 nb_sec=2505
case_no=166 label=Case6.154 nb_sol=0 ticks=697002 tps=100 nb_sec=6970
case_no=166 label=Case6.154 nb_sol=0 ticks=686683 tps=100 nb_sec=6866
case_no=166 label=Case6.154 nb_sol=0 ticks=277442 tps=100 nb_sec=2774
case_no=166 label=Case6.154 nb_sol=0 ticks=589146 tps=100 nb_sec=5891
case_no=166 label=Case6.154 nb_sol=0 ticks=659335 tps=100 nb_sec=6593
case_no=166 label=Case6.154 nb_sol=0 ticks=370575 tps=100 nb_sec=3705
case_no=166 label=Case6.154 nb_sol=0 ticks=281301 tps=100 nb_sec=2813
case_no=166 label=Case6.154 nb_sol=0 ticks=568588 tps=100 nb_sec=5685
case_no=166 label=Case6.154 nb_sol=0 ticks=430811 tps=100 nb_sec=4308
case_no=166 label=Case6.154 nb_sol=0 ticks=715336 tps=100 nb_sec=7153
case_no=166 label=Case6.154 nb_sol=0 ticks=290029 tps=100 nb_sec=2900
case_no=166 label=Case6.154 nb_sol=0 ticks=258348 tps=100 nb_sec=2583
case_no=166 label=Case6.154 nb_sol=0 ticks=536113 tps=100 nb_sec=5361
case_no=166 label=Case6.154 nb_sol=0 ticks=355826 tps=100 nb_sec=3558
case_no=166 label=Case6.154 nb_sol=0 ticks=594979 tps=100 nb_sec=5949
case_no=166 label=Case6.154 nb_sol=0 ticks=354932 tps=100 nb_sec=3549
case_no=166 label=Case6.154 nb_sol=0 ticks=481026 tps=100 nb_sec=4810
case_no=166 label=Case6.154 nb_sol=0 ticks=244128 tps=100 nb_sec=2441
case_no=166 label=Case6.154 nb_sol=0 ticks=443986 tps=100 nb_sec=4439
case_no=166 label=Case6.154 nb_sol=0 ticks=272889 tps=100 nb_sec=2728
case_no=166 label=Case6.154 nb_sol=0 ticks=302046 tps=100 nb_sec=3020
case_no=166 label=Case6.154 nb_sol=0 ticks=414501 tps=100 nb_sec=4145
case_no=166 label=Case6.154 nb_sol=0 ticks=499195 tps=100 nb_sec=4991
case_no=166 label=Case6.154 nb_sol=0 ticks=283957 tps=100 nb_sec=2839
case_no=166 label=Case6.154 nb_sol=0 ticks=316277 tps=100 nb_sec=3162
case_no=166 label=Case6.154 nb_sol=0 ticks=305656 tps=100 nb_sec=3056
case_no=166 label=Case6.154 nb_sol=0 ticks=776905 tps=100 nb_sec=7769
case_no=166 label=Case6.154 nb_sol=0 ticks=242238 tps=100 nb_sec=2422
case_no=166 label=Case6.154 nb_sol=0 ticks=553607 tps=100 nb_sec=5536
case_no=166 label=Case6.154 nb_sol=0 ticks=777466 tps=100 nb_sec=7774
case_no=166 label=Case6.154 nb_sol=0 ticks=443562 tps=100 nb_sec=4435
case_no=166 label=Case6.154 nb_sol=0 ticks=535092 tps=100 nb_sec=5350
case_no=166 label=Case6.154 nb_sol=0 ticks=570788 tps=100 nb_sec=5707
case_no=166 label=Case6.154 nb_sol=0 ticks=555101 tps=100 nb_sec=5551
case_no=166 label=Case6.154 nb_sol=0 ticks=790216 tps=100 nb_sec=7902
case_no=166 label=Case6.154 nb_sol=0 ticks=703963 tps=100 nb_sec=7039
case_no=166 label=Case6.154 nb_sol=0 ticks=788014 tps=100 nb_sec=7880
case_no=166 label=Case6.154 nb_sol=0 ticks=532356 tps=100 nb_sec=5323
case_no=166 label=Case6.154 nb_sol=0 ticks=556350 tps=100 nb_sec=5563
case_no=166 label=Case6.154 nb_sol=0 ticks=387159 tps=100 nb_sec=3871
case_no=166 label=Case6.154 nb_sol=0 ticks=599694 tps=100 nb_sec=5996
case_no=166 label=Case6.154 nb_sol=0 ticks=639180 tps=100 nb_sec=6391
case_no=166 label=Case6.154 nb_sol=0 ticks=288327 tps=100 nb_sec=2883
case_no=166 label=Case6.154 nb_sol=0 ticks=794939 tps=100 nb_sec=7949
case_no=166 label=Case6.154 nb_sol=0 ticks=482187 tps=100 nb_sec=4821
case_no=166 label=Case6.154 nb_sol=0 ticks=873054 tps=100 nb_sec=8730
case_no=166 label=Case6.154 nb_sol=0 ticks=865116 tps=100 nb_sec=8651
case_no=166 label=Case6.154 nb_sol=0 ticks=376193 tps=100 nb_sec=3761
case_no=166 label=Case6.154 nb_sol=0 ticks=742711 tps=100 nb_sec=7427
case_no=166 label=Case6.154 nb_sol=0 ticks=740509 tps=100 nb_sec=7405
case_no=166 label=Case6.154 nb_sol=0 ticks=651990 tps=100 nb_sec=6519
case_no=166 label=Case6.154 nb_sol=0 ticks=513215 tps=100 nb_sec=5132
case_no=166 label=Case6.154 nb_sol=0 ticks=281418 tps=100 nb_sec=2814
case_no=166 label=Case6.154 nb_sol=0 ticks=350851 tps=100 nb_sec=3508
case_no=166 label=Case6.154 nb_sol=0 ticks=712374 tps=100 nb_sec=7123
case_no=166 label=Case6.154 nb_sol=0 ticks=613543 tps=100 nb_sec=6135
case_no=166 label=Case6.154 nb_sol=0 ticks=278974 tps=100 nb_sec=2789
case_no=166 label=Case6.154 nb_sol=0 ticks=668592 tps=100 nb_sec=6685
case_no=166 label=Case6.154 nb_sol=0 ticks=658183 tps=100 nb_sec=6581
case_no=166 label=Case6.154 nb_sol=0 ticks=708971 tps=100 nb_sec=7089
case_no=166 label=Case6.154 nb_sol=0 ticks=762630 tps=100 nb_sec=7626
case_no=166 label=Case6.154 nb_sol=0 ticks=538598 tps=100 nb_sec=5385
case_no=166 label=Case6.154 nb_sol=0 ticks=573360 tps=100 nb_sec=5733
case_no=166 label=Case6.154 nb_sol=0 ticks=718236 tps=100 nb_sec=7182
case_no=166 label=Case6.154 nb_sol=0 ticks=684528 tps=100 nb_sec=6845
case_no=166 label=Case6.154 nb_sol=0 ticks=319747 tps=100 nb_sec=3197
case_no=166 label=Case6.154 nb_sol=0 ticks=289284 tps=100 nb_sec=2892
case_no=166 label=Case6.154 nb_sol=0 ticks=303991 tps=100 nb_sec=3039
case_no=166 label=Case6.154 nb_sol=0 ticks=702539 tps=100 nb_sec=7025
case_no=166 label=Case6.154 nb_sol=0 ticks=302880 tps=100 nb_sec=3028
case_no=166 label=Case6.154 nb_sol=0 ticks=354687 tps=100 nb_sec=3546
case_no=166 label=Case6.154 nb_sol=0 ticks=705025 tps=100 nb_sec=7050
case_no=166 label=Case6.154 nb_sol=0 ticks=654854 tps=100 nb_sec=6548
case_no=166 label=Case6.154 nb_sol=0 ticks=541298 tps=100 nb_sec=5412
case_no=166 label=Case6.154 nb_sol=0 ticks=345981 tps=100 nb_sec=3459
case_no=166 label=Case6.154 nb_sol=0 ticks=605276 tps=100 nb_sec=6052
case_no=166 label=Case6.154 nb_sol=0 ticks=325266 tps=100 nb_sec=3252
case_no=166 label=Case6.154 nb_sol=0 ticks=560194 tps=100 nb_sec=5601
case_no=166 label=Case6.154 nb_sol=0 ticks=834165 tps=100 nb_sec=8341
case_no=166 label=Case6.154 nb_sol=0 ticks=642204 tps=100 nb_sec=6422
case_no=166 label=Case6.154 nb_sol=0 ticks=793010 tps=100 nb_sec=7930
case_no=166 label=Case6.154 nb_sol=0 ticks=289042 tps=100 nb_sec=2890
case_no=166 label=Case6.154 nb_sol=0 ticks=695089 tps=100 nb_sec=6950
case_no=166 label=Case6.154 nb_sol=0 ticks=307900 tps=100 nb_sec=3079
case_no=166 label=Case6.154 nb_sol=0 ticks=608230 tps=100 nb_sec=6082
case_no=166 label=Case6.154 nb_sol=0 ticks=728836 tps=100 nb_sec=7288
case_no=166 label=Case6.154 nb_sol=0 ticks=518605 tps=100 nb_sec=5186
case_no=166 label=Case6.154 nb_sol=0 ticks=233646 tps=100 nb_sec=2336
case_no=166 label=Case6.154 nb_sol=0 ticks=268660 tps=100 nb_sec=2686
case_no=166 label=Case6.154 nb_sol=0 ticks=500801 tps=100 nb_sec=5008
case_no=166 label=Case6.154 nb_sol=0 ticks=313805 tps=100 nb_sec=3138
case_no=166 label=Case6.154 nb_sol=0 ticks=427660 tps=100 nb_sec=4276
case_no=166 label=Case6.154 nb_sol=0 ticks=291577 tps=100 nb_sec=2915
case_no=166 label=Case6.154 nb_sol=0 ticks=490558 tps=100 nb_sec=4905
case_no=166 label=Case6.154 nb_sol=0 ticks=516352 tps=100 nb_sec=5163
case_no=166 label=Case6.154 nb_sol=0 ticks=722406 tps=100 nb_sec=7224
case_no=166 label=Case6.154 nb_sol=0 ticks=402557 tps=100 nb_sec=4025
case_no=166 label=Case6.154 nb_sol=0 ticks=306711 tps=100 nb_sec=3067
case_no=166 label=Case6.154 nb_sol=0 ticks=674890 tps=100 nb_sec=6748
case_no=166 label=Case6.154 nb_sol=0 ticks=343067 tps=100 nb_sec=3430
case_no=166 label=Case6.154 nb_sol=0 ticks=292541 tps=100 nb_sec=2925
case_no=166 label=Case6.154 nb_sol=0 ticks=261964 tps=100 nb_sec=2619
case_no=166 label=Case6.154 nb_sol=0 ticks=437219 tps=100 nb_sec=4372
case_no=166 label=Case6.154 nb_sol=0 ticks=245489 tps=100 nb_sec=2454
case_no=166 label=Case6.154 nb_sol=0 ticks=257118 tps=100 nb_sec=2571
case_no=166 label=Case6.154 nb_sol=0 ticks=420594 tps=100 nb_sec=4205
case_no=166 label=Case6.154 nb_sol=0 ticks=480401 tps=100 nb_sec=4804
case_no=166 label=Case6.154 nb_sol=0 ticks=350865 tps=100 nb_sec=3508
case_no=166 label=Case6.154 nb_sol=0 ticks=628894 tps=100 nb_sec=6288
case_no=166 label=Case6.154 nb_sol=0 ticks=262675 tps=100 nb_sec=2626
case_no=166 label=Case6.154 nb_sol=0 ticks=612907 tps=100 nb_sec=6129
case_no=166 label=Case6.154 nb_sol=0 ticks=356148 tps=100 nb_sec=3561
case_no=166 label=Case6.154 nb_sol=0 ticks=513242 tps=100 nb_sec=5132
case_no=166 label=Case6.154 nb_sol=0 ticks=377475 tps=100 nb_sec=3774
case_no=166 label=Case6.154 nb_sol=0 ticks=668012 tps=100 nb_sec=6680
case_no=166 label=Case6.154 nb_sol=0 ticks=539319 tps=100 nb_sec=5393
case_no=166 label=Case6.154 nb_sol=0 ticks=497049 tps=100 nb_sec=4970
case_no=166 label=Case6.154 nb_sol=0 ticks=276259 tps=100 nb_sec=2762
case_no=166 label=Case6.154 nb_sol=0 ticks=574774 tps=100 nb_sec=5747
case_no=166 label=Case6.154 nb_sol=0 ticks=475894 tps=100 nb_sec=4758
case_no=166 label=Case6.154 nb_sol=0 ticks=406940 tps=100 nb_sec=4069
case_no=166 label=Case6.154 nb_sol=0 ticks=414562 tps=100 nb_sec=4145
case_no=166 label=Case6.154 nb_sol=0 ticks=798737 tps=100 nb_sec=7987
case_no=166 label=Case6.154 nb_sol=0 ticks=740499 tps=100 nb_sec=7404
case_no=166 label=Case6.154 nb_sol=0 ticks=740014 tps=100 nb_sec=7400
case_no=166 label=Case6.154 nb_sol=0 ticks=689769 tps=100 nb_sec=6897
case_no=166 label=Case6.154 nb_sol=0 ticks=739764 tps=100 nb_sec=7397
case_no=166 label=Case6.154 nb_sol=0 ticks=680906 tps=100 nb_sec=6809
case_no=166 label=Case6.154 nb_sol=0 ticks=823016 tps=100 nb_sec=8230
case_no=166 label=Case6.154 nb_sol=0 ticks=283058 tps=100 nb_sec=2830
case_no=166 label=Case6.154 nb_sol=0 ticks=914605 tps=100 nb_sec=9146
case_no=166 label=Case6.154 nb_sol=0 ticks=599369 tps=100 nb_sec=5993
case_no=166 label=Case6.154 nb_sol=0 ticks=650364 tps=100 nb_sec=6503
case_no=166 label=Case6.154 nb_sol=0 ticks=709609 tps=100 nb_sec=7096
case_no=166 label=Case6.154 nb_sol=0 ticks=844522 tps=100 nb_sec=8445
case_no=166 label=Case6.154 nb_sol=0 ticks=697385 tps=100 nb_sec=6973
case_no=166 label=Case6.154 nb_sol=0 ticks=678051 tps=100 nb_sec=6780
case_no=166 label=Case6.154 nb_sol=0 ticks=731408 tps=100 nb_sec=7314
case_no=166 label=Case6.154 nb_sol=0 ticks=678373 tps=100 nb_sec=6783
case_no=166 label=Case6.154 nb_sol=0 ticks=637748 tps=100 nb_sec=6377
case_no=166 label=Case6.154 nb_sol=0 ticks=649493 tps=100 nb_sec=6494
case_no=166 label=Case6.154 nb_sol=0 ticks=633047 tps=100 nb_sec=6330
case_no=166 label=Case6.154 nb_sol=0 ticks=771111 tps=100 nb_sec=7711
case_no=166 label=Case6.154 nb_sol=0 ticks=950650 tps=100 nb_sec=9506
case_no=166 label=Case6.154 nb_sol=0 ticks=623312 tps=100 nb_sec=6233
case_no=166 label=Case6.154 nb_sol=0 ticks=860852 tps=100 nb_sec=8608
case_no=166 label=Case6.154 nb_sol=0 ticks=602485 tps=100 nb_sec=6024
case_no=166 label=Case6.154 nb_sol=0 ticks=695675 tps=100 nb_sec=6956
case_no=166 label=Case6.154 nb_sol=0 ticks=350341 tps=100 nb_sec=3503
case_no=166 label=Case6.154 nb_sol=0 ticks=472581 tps=100 nb_sec=4725
case_no=166 label=Case6.154 nb_sol=0 ticks=610618 tps=100 nb_sec=6106
case_no=166 label=Case6.154 nb_sol=0 ticks=459032 tps=100 nb_sec=4590
case_no=166 label=Case6.154 nb_sol=0 ticks=573789 tps=100 nb_sec=5737
case_no=166 label=Case6.154 nb_sol=0 ticks=464127 tps=100 nb_sec=4641
case_no=166 label=Case6.154 nb_sol=0 ticks=336863 tps=100 nb_sec=3368
case_no=166 label=Case6.154 nb_sol=0 ticks=458165 tps=100 nb_sec=4581
case_no=166 label=Case6.154 nb_sol=0 ticks=427095 tps=100 nb_sec=4270
case_no=166 label=Case6.154 nb_sol=0 ticks=421945 tps=100 nb_sec=4219
case_no=166 label=Case6.154 nb_sol=0 ticks=335870 tps=100 nb_sec=3358
case_no=166 label=Case6.154 nb_sol=0 ticks=354456 tps=100 nb_sec=3544
case_no=166 label=Case6.154 nb_sol=0 ticks=608065 tps=100 nb_sec=6080
case_no=166 label=Case6.154 nb_sol=0 ticks=710427 tps=100 nb_sec=7104
case_no=166 label=Case6.154 nb_sol=0 ticks=589418 tps=100 nb_sec=5894
case_no=166 label=Case6.154 nb_sol=0 ticks=377445 tps=100 nb_sec=3774
case_no=166 label=Case6.154 nb_sol=0 ticks=319507 tps=100 nb_sec=3195
case_no=166 label=Case6.154 nb_sol=0 ticks=630958 tps=100 nb_sec=6309
case_no=166 label=Case6.154 nb_sol=0 ticks=661918 tps=100 nb_sec=6619
case_no=166 label=Case6.154 nb_sol=0 ticks=524758 tps=100 nb_sec=5247
case_no=166 label=Case6.154 nb_sol=0 ticks=494286 tps=100 nb_sec=4942
case_no=166 label=Case6.154 nb_sol=0 ticks=684952 tps=100 nb_sec=6849
case_no=166 label=Case6.154 nb_sol=0 ticks=638477 tps=100 nb_sec=6384
case_no=166 label=Case6.154 nb_sol=0 ticks=846857 tps=100 nb_sec=8468
case_no=166 label=Case6.154 nb_sol=0 ticks=700272 tps=100 nb_sec=7002
case_no=166 label=Case6.154 nb_sol=0 ticks=760469 tps=100 nb_sec=7604
case_no=166 label=Case6.154 nb_sol=0 ticks=722692 tps=100 nb_sec=7226
case_no=166 label=Case6.154 nb_sol=0 ticks=814564 tps=100 nb_sec=8145
case_no=166 label=Case6.154 nb_sol=0 ticks=279310 tps=100 nb_sec=2793
case_no=166 label=Case6.154 nb_sol=0 ticks=273024 tps=100 nb_sec=2730
case_no=166 label=Case6.154 nb_sol=0 ticks=519868 tps=100 nb_sec=5198
case_no=166 label=Case6.154 nb_sol=0 ticks=340183 tps=100 nb_sec=3401
case_no=166 label=Case6.154 nb_sol=0 ticks=595500 tps=100 nb_sec=5955
case_no=166 label=Case6.154 nb_sol=0 ticks=249445 tps=100 nb_sec=2494
case_no=166 label=Case6.154 nb_sol=0 ticks=334807 tps=100 nb_sec=3348
case_no=166 label=Case6.154 nb_sol=0 ticks=652481 tps=100 nb_sec=6524
case_no=166 label=Case6.154 nb_sol=0 ticks=387064 tps=100 nb_sec=3870
case_no=166 label=Case6.154 nb_sol=0 ticks=370172 tps=100 nb_sec=3701
case_no=166 label=Case6.154 nb_sol=0 ticks=371333 tps=100 nb_sec=3713
case_no=166 label=Case6.154 nb_sol=0 ticks=539844 tps=100 nb_sec=5398
case_no=166 label=Case6.154 nb_sol=0 ticks=365235 tps=100 nb_sec=3652
case_no=166 label=Case6.154 nb_sol=0 ticks=364926 tps=100 nb_sec=3649
case_no=166 label=Case6.154 nb_sol=0 ticks=678008 tps=100 nb_sec=6780
case_no=166 label=Case6.154 nb_sol=0 ticks=312888 tps=100 nb_sec=3128
case_no=166 label=Case6.154 nb_sol=0 ticks=308318 tps=100 nb_sec=3083
case_no=166 label=Case6.154 nb_sol=0 ticks=724830 tps=100 nb_sec=7248
case_no=166 label=Case6.154 nb_sol=0 ticks=351973 tps=100 nb_sec=3519
case_no=166 label=Case6.154 nb_sol=0 ticks=315389 tps=100 nb_sec=3153
case_no=166 label=Case6.154 nb_sol=0 ticks=811994 tps=100 nb_sec=8119
case_no=166 label=Case6.154 nb_sol=0 ticks=369230 tps=100 nb_sec=3692
case_no=166 label=Case6.154 nb_sol=0 ticks=376038 tps=100 nb_sec=3760
case_no=166 label=Case6.154 nb_sol=0 ticks=743180 tps=100 nb_sec=7431
case_no=166 label=Case6.154 nb_sol=0 ticks=391898 tps=100 nb_sec=3918
case_no=166 label=Case6.154 nb_sol=0 ticks=351555 tps=100 nb_sec=3515
case_no=166 label=Case6.154 nb_sol=0 ticks=369125 tps=100 nb_sec=3691
case_no=166 label=Case6.154 nb_sol=0 ticks=599991 tps=100 nb_sec=5999
case_no=166 label=Case6.154 nb_sol=0 ticks=733802 tps=100 nb_sec=7338
case_no=166 label=Case6.154 nb_sol=0 ticks=618404 tps=100 nb_sec=6184
case_no=166 label=Case6.154 nb_sol=0 ticks=359701 tps=100 nb_sec=3597
case_no=166 label=Case6.154 nb_sol=0 ticks=683969 tps=100 nb_sec=6839
case_no=166 label=Case6.154 nb_sol=0 ticks=754936 tps=100 nb_sec=7549
case_no=166 label=Case6.154 nb_sol=0 ticks=569561 tps=100 nb_sec=5695
case_no=166 label=Case6.154 nb_sol=0 ticks=324314 tps=100 nb_sec=3243
case_no=166 label=Case6.154 nb_sol=0 ticks=756452 tps=100 nb_sec=7564
case_no=166 label=Case6.154 nb_sol=0 ticks=330709 tps=100 nb_sec=3307
case_no=166 label=Case6.154 nb_sol=0 ticks=592071 tps=100 nb_sec=5920
case_no=166 label=Case6.154 nb_sol=0 ticks=364542 tps=100 nb_sec=3645
case_no=166 label=Case6.154 nb_sol=0 ticks=349277 tps=100 nb_sec=3492
case_no=166 label=Case6.154 nb_sol=0 ticks=369651 tps=100 nb_sec=3696
case_no=166 label=Case6.154 nb_sol=0 ticks=677039 tps=100 nb_sec=6770
case_no=166 label=Case6.154 nb_sol=0 ticks=296490 tps=100 nb_sec=2964
case_no=166 label=Case6.154 nb_sol=0 ticks=447845 tps=100 nb_sec=4478
case_no=166 label=Case6.154 nb_sol=0 ticks=613636 tps=100 nb_sec=6136
case_no=166 label=Case6.154 nb_sol=0 ticks=577205 tps=100 nb_sec=5772
case_no=166 label=Case6.154 nb_sol=0 ticks=612996 tps=100 nb_sec=6129
case_no=166 label=Case6.154 nb_sol=0 ticks=484025 tps=100 nb_sec=4840
case_no=166 label=Case6.154 nb_sol=0 ticks=605702 tps=100 nb_sec=6057
case_no=166 label=Case6.154 nb_sol=0 ticks=385264 tps=100 nb_sec=3852
case_no=166 label=Case6.154 nb_sol=0 ticks=774461 tps=100 nb_sec=7744
case_no=166 label=Case6.154 nb_sol=0 ticks=660961 tps=100 nb_sec=6609
case_no=166 label=Case6.154 nb_sol=0 ticks=359967 tps=100 nb_sec=3599
case_no=166 label=Case6.154 nb_sol=0 ticks=819171 tps=100 nb_sec=8191
case_no=166 label=Case6.154 nb_sol=0 ticks=772881 tps=100 nb_sec=7728
case_no=166 label=Case6.154 nb_sol=0 ticks=803237 tps=100 nb_sec=8032
case_no=166 label=Case6.154 nb_sol=0 ticks=744114 tps=100 nb_sec=7441
case_no=166 label=Case6.154 nb_sol=0 ticks=721391 tps=100 nb_sec=7213
case_no=166 label=Case6.154 nb_sol=0 ticks=679318 tps=100 nb_sec=6793
case_no=166 label=Case6.154 nb_sol=0 ticks=659871 tps=100 nb_sec=6598
case_no=166 label=Case6.154 nb_sol=0 ticks=305730 tps=100 nb_sec=3057
case_no=166 label=Case6.154 nb_sol=0 ticks=638230 tps=100 nb_sec=6382
case_no=166 label=Case6.154 nb_sol=0 ticks=729305 tps=100 nb_sec=7293
case_no=166 label=Case6.154 nb_sol=0 ticks=386126 tps=100 nb_sec=3861
case_no=166 label=Case6.154 nb_sol=0 ticks=681972 tps=100 nb_sec=6819
case_no=166 label=Case6.154 nb_sol=0 ticks=944705 tps=100 nb_sec=9447
case_no=166 label=Case6.154 nb_sol=0 ticks=397232 tps=100 nb_sec=3972
case_no=166 label=Case6.154 nb_sol=0 ticks=665930 tps=100 nb_sec=6659
case_no=166 label=Case6.154 nb_sol=0 ticks=729812 tps=100 nb_sec=7298
case_no=166 label=Case6.154 nb_sol=0 ticks=320896 tps=100 nb_sec=3208
case_no=166 label=Case6.154 nb_sol=0 ticks=332787 tps=100 nb_sec=3327
case_no=166 label=Case6.154 nb_sol=0 ticks=582770 tps=100 nb_sec=5827
case_no=166 label=Case6.154 nb_sol=0 ticks=762554 tps=100 nb_sec=7625
case_no=166 label=Case6.154 nb_sol=0 ticks=649482 tps=100 nb_sec=6494
case_no=166 label=Case6.154 nb_sol=0 ticks=716944 tps=100 nb_sec=7169
case_no=166 label=Case6.154 nb_sol=0 ticks=573014 tps=100 nb_sec=5730
case_no=166 label=Case6.154 nb_sol=0 ticks=372278 tps=100 nb_sec=3722
case_no=166 label=Case6.154 nb_sol=0 ticks=638395 tps=100 nb_sec=6383
case_no=166 label=Case6.154 nb_sol=0 ticks=609313 tps=100 nb_sec=6093
case_no=166 label=Case6.154 nb_sol=0 ticks=454883 tps=100 nb_sec=4548
case_no=166 label=Case6.154 nb_sol=0 ticks=481000 tps=100 nb_sec=4810
case_no=166 label=Case6.154 nb_sol=0 ticks=485261 tps=100 nb_sec=4852
case_no=166 label=Case6.154 nb_sol=0 ticks=603070 tps=100 nb_sec=6030
case_no=166 label=Case6.154 nb_sol=0 ticks=513644 tps=100 nb_sec=5136
case_no=166 label=Case6.154 nb_sol=0 ticks=261971 tps=100 nb_sec=2619
case_no=166 label=Case6.154 nb_sol=0 ticks=591730 tps=100 nb_sec=5917
case_no=166 label=Case6.154 nb_sol=0 ticks=458134 tps=100 nb_sec=4581
case_no=166 label=Case6.154 nb_sol=0 ticks=608363 tps=100 nb_sec=6083
case_no=166 label=Case6.154 nb_sol=0 ticks=651186 tps=100 nb_sec=6511
case_no=166 label=Case6.154 nb_sol=0 ticks=676013 tps=100 nb_sec=6760
case_no=166 label=Case6.154 nb_sol=0 ticks=750957 tps=100 nb_sec=7509
case_no=166 label=Case6.154 nb_sol=0 ticks=599398 tps=100 nb_sec=5993
case_no=166 label=Case6.154 nb_sol=0 ticks=385436 tps=100 nb_sec=3854
case_no=166 label=Case6.154 nb_sol=0 ticks=686205 tps=100 nb_sec=6862
case_no=166 label=Case6.154 nb_sol=0 ticks=490079 tps=100 nb_sec=4900
case_no=166 label=Case6.154 nb_sol=0 ticks=642670 tps=100 nb_sec=6426
case_no=166 label=Case6.154 nb_sol=0 ticks=575210 tps=100 nb_sec=5752
case_no=166 label=Case6.154 nb_sol=0 ticks=687132 tps=100 nb_sec=6871
case_no=166 label=Case6.154 nb_sol=0 ticks=540811 tps=100 nb_sec=5408
case_no=166 label=Case6.154 nb_sol=0 ticks=342334 tps=100 nb_sec=3423
case_no=166 label=Case6.154 nb_sol=0 ticks=640530 tps=100 nb_sec=6405
case_no=166 label=Case6.154 nb_sol=0 ticks=335954 tps=100 nb_sec=3359
case_no=166 label=Case6.154 nb_sol=0 ticks=669489 tps=100 nb_sec=6694
case_no=166 label=Case6.154 nb_sol=0 ticks=347128 tps=100 nb_sec=3471
case_no=166 label=Case6.154 nb_sol=0 ticks=620088 tps=100 nb_sec=6200
case_no=166 label=Case6.154 nb_sol=0 ticks=689960 tps=100 nb_sec=6899
case_no=166 label=Case6.154 nb_sol=0 ticks=601149 tps=100 nb_sec=6011
case_no=166 label=Case6.154 nb_sol=0 ticks=692418 tps=100 nb_sec=6924
case_no=166 label=Case6.154 nb_sol=0 ticks=443243 tps=100 nb_sec=4432
case_no=166 label=Case6.154 nb_sol=0 ticks=342239 tps=100 nb_sec=3422
case_no=166 label=Case6.154 nb_sol=0 ticks=420557 tps=100 nb_sec=4205
case_no=166 label=Case6.154 nb_sol=0 ticks=669528 tps=100 nb_sec=6695
case_no=166 label=Case6.154 nb_sol=0 ticks=742807 tps=100 nb_sec=7428
case_no=166 label=Case6.154 nb_sol=0 ticks=381579 tps=100 nb_sec=3815
case_no=166 label=Case6.154 nb_sol=0 ticks=372591 tps=100 nb_sec=3725
case_no=166 label=Case6.154 nb_sol=0 ticks=367770 tps=100 nb_sec=3677
case_no=166 label=Case6.154 nb_sol=0 ticks=657216 tps=100 nb_sec=6572
case_no=166 label=Case6.154 nb_sol=0 ticks=734281 tps=100 nb_sec=7342
case_no=166 label=Case6.154 nb_sol=0 ticks=710166 tps=100 nb_sec=7101
case_no=166 label=Case6.154 nb_sol=0 ticks=735394 tps=100 nb_sec=7353
case_no=166 label=Case6.154 nb_sol=0 ticks=588331 tps=100 nb_sec=5883
case_no=166 label=Case6.154 nb_sol=0 ticks=647509 tps=100 nb_sec=6475
case_no=166 label=Case6.154 nb_sol=0 ticks=661107 tps=100 nb_sec=6611
case_no=166 label=Case6.154 nb_sol=0 ticks=566278 tps=100 nb_sec=5662
case_no=166 label=Case6.154 nb_sol=0 ticks=520033 tps=100 nb_sec=5200
case_no=166 label=Case6.154 nb_sol=0 ticks=792266 tps=100 nb_sec=7922
case_no=166 label=Case6.154 nb_sol=0 ticks=716291 tps=100 nb_sec=7162
case_no=166 label=Case6.154 nb_sol=0 ticks=728680 tps=100 nb_sec=7286
case_no=166 label=Case6.154 nb_sol=0 ticks=819959 tps=100 nb_sec=8199
case_no=166 label=Case6.154 nb_sol=0 ticks=590106 tps=100 nb_sec=5901
case_no=166 label=Case6.154 nb_sol=0 ticks=637597 tps=100 nb_sec=6375
case_no=166 label=Case6.154 nb_sol=0 ticks=762491 tps=100 nb_sec=7624
case_no=166 label=Case6.154 nb_sol=0 ticks=579129 tps=100 nb_sec=5791
case_no=166 label=Case6.154 nb_sol=0 ticks=587714 tps=100 nb_sec=5877
case_no=166 label=Case6.154 nb_sol=0 ticks=710080 tps=100 nb_sec=7100
case_no=166 label=Case6.154 nb_sol=0 ticks=584578 tps=100 nb_sec=5845
case_no=166 label=Case6.154 nb_sol=0 ticks=649448 tps=100 nb_sec=6494
case_no=166 label=Case6.154 nb_sol=0 ticks=753694 tps=100 nb_sec=7536
case_no=166 label=Case6.154 nb_sol=0 ticks=720773 tps=100 nb_sec=7207
case_no=166 label=Case6.154 nb_sol=0 ticks=683124 tps=100 nb_sec=6831
case_no=166 label=Case6.154 nb_sol=0 ticks=644591 tps=100 nb_sec=6445
case_no=166 label=Case6.154 nb_sol=0 ticks=639044 tps=100 nb_sec=6390
case_no=166 label=Case6.154 nb_sol=0 ticks=542989 tps=100 nb_sec=5429
case_no=166 label=Case6.154 nb_sol=0 ticks=586164 tps=100 nb_sec=5861
case_no=166 label=Case6.154 nb_sol=0 ticks=608984 tps=100 nb_sec=6089
case_no=166 label=Case6.154 nb_sol=0 ticks=576997 tps=100 nb_sec=5769
case_no=166 label=Case6.154 nb_sol=0 ticks=673541 tps=100 nb_sec=6735
case_no=166 label=Case6.154 nb_sol=0 ticks=707875 tps=100 nb_sec=7078
case_no=166 label=Case6.154 nb_sol=0 ticks=748607 tps=100 nb_sec=7486
case_no=166 label=Case6.154 nb_sol=0 ticks=695459 tps=100 nb_sec=6954
case_no=166 label=Case6.154 nb_sol=0 ticks=561952 tps=100 nb_sec=5619
case_no=166 label=Case6.154 nb_sol=0 ticks=567185 tps=100 nb_sec=5671
case_no=166 label=Case6.154 nb_sol=0 ticks=517630 tps=100 nb_sec=5176
case_no=166 label=Case6.154 nb_sol=0 ticks=704222 tps=100 nb_sec=7042
case_no=166 label=Case6.154 nb_sol=0 ticks=613941 tps=100 nb_sec=6139
case_no=166 label=Case6.154 nb_sol=0 ticks=686981 tps=100 nb_sec=6869
case_no=166 label=Case6.154 nb_sol=0 ticks=562757 tps=100 nb_sec=5627
case_no=166 label=Case6.154 nb_sol=0 ticks=590363 tps=100 nb_sec=5903
case_no=166 label=Case6.154 nb_sol=0 ticks=687966 tps=100 nb_sec=6879
case_no=166 label=Case6.154 nb_sol=0 ticks=694441 tps=100 nb_sec=6944
case_no=166 label=Case6.154 nb_sol=0 ticks=706863 tps=100 nb_sec=7068
case_no=166 label=Case6.154 nb_sol=0 ticks=691182 tps=100 nb_sec=6911
case_no=166 label=Case6.154 nb_sol=0 ticks=508584 tps=100 nb_sec=5085
case_no=166 label=Case6.154 nb_sol=0 ticks=723572 tps=100 nb_sec=7235
case_no=166 label=Case6.154 nb_sol=0 ticks=581040 tps=100 nb_sec=5810
case_no=166 label=Case6.154 nb_sol=0 ticks=687221 tps=100 nb_sec=6872
case_no=166 label=Case6.154 nb_sol=0 ticks=660529 tps=100 nb_sec=6605
case_no=166 label=Case6.154 nb_sol=0 ticks=610249 tps=100 nb_sec=6102
case_no=166 label=Case6.154 nb_sol=0 ticks=786429 tps=100 nb_sec=7864
case_no=166 label=Case6.154 nb_sol=0 ticks=477048 tps=100 nb_sec=4770
case_no=166 label=Case6.154 nb_sol=0 ticks=537741 tps=100 nb_sec=5377
case_no=166 label=Case6.154 nb_sol=0 ticks=531899 tps=100 nb_sec=5318
case_no=166 label=Case6.154 nb_sol=0 ticks=532175 tps=100 nb_sec=5321
case_no=166 label=Case6.154 nb_sol=0 ticks=551587 tps=100 nb_sec=5515
case_no=166 label=Case6.154 nb_sol=0 ticks=584602 tps=100 nb_sec=5846
case_no=166 label=Case6.154 nb_sol=0 ticks=580947 tps=100 nb_sec=5809
case_no=166 label=Case6.154 nb_sol=0 ticks=604249 tps=100 nb_sec=6042
case_no=166 label=Case6.154 nb_sol=0 ticks=704811 tps=100 nb_sec=7048
case_no=166 label=Case6.154 nb_sol=0 ticks=867115 tps=100 nb_sec=8671
case_no=166 label=Case6.154 nb_sol=0 ticks=669841 tps=100 nb_sec=6698
case_no=166 label=Case6.154 nb_sol=0 ticks=701750 tps=100 nb_sec=7017
case_no=166 label=Case6.154 nb_sol=0 ticks=525883 tps=100 nb_sec=5258
case_no=166 label=Case6.154 nb_sol=0 ticks=690381 tps=100 nb_sec=6903
case_no=166 label=Case6.154 nb_sol=0 ticks=683113 tps=100 nb_sec=6831
case_no=166 label=Case6.154 nb_sol=0 ticks=564419 tps=100 nb_sec=5644
case_no=166 label=Case6.154 nb_sol=0 ticks=746976 tps=100 nb_sec=7469
case_no=166 label=Case6.154 nb_sol=0 ticks=689307 tps=100 nb_sec=6893
case_no=166 label=Case6.154 nb_sol=0 ticks=627228 tps=100 nb_sec=6272
case_no=166 label=Case6.154 nb_sol=0 ticks=767822 tps=100 nb_sec=7678
case_no=166 label=Case6.154 nb_sol=0 ticks=668868 tps=100 nb_sec=6688
case_no=166 label=Case6.154 nb_sol=0 ticks=627411 tps=100 nb_sec=6274
case_no=166 label=Case6.154 nb_sol=0 ticks=536748 tps=100 nb_sec=5367
case_no=166 label=Case6.154 nb_sol=0 ticks=506048 tps=100 nb_sec=5060
case_no=166 label=Case6.154 nb_sol=0 ticks=562896 tps=100 nb_sec=5628
case_no=166 label=Case6.154 nb_sol=0 ticks=723613 tps=100 nb_sec=7236
case_no=166 label=Case6.154 nb_sol=0 ticks=589070 tps=100 nb_sec=5890
case_no=166 label=Case6.154 nb_sol=0 ticks=661105 tps=100 nb_sec=6611
case_no=166 label=Case6.154 nb_sol=0 ticks=606472 tps=100 nb_sec=6064
case_no=166 label=Case6.154 nb_sol=0 ticks=614874 tps=100 nb_sec=6148
case_no=166 label=Case6.154 nb_sol=0 ticks=495067 tps=100 nb_sec=4950
case_no=166 label=Case6.154 nb_sol=0 ticks=592840 tps=100 nb_sec=5928
case_no=166 label=Case6.154 nb_sol=0 ticks=570960 tps=100 nb_sec=5709
case_no=166 label=Case6.154 nb_sol=0 ticks=607457 tps=100 nb_sec=6074
case_no=166 label=Case6.154 nb_sol=0 ticks=595584 tps=100 nb_sec=5955
case_no=166 label=Case6.154 nb_sol=0 ticks=757420 tps=100 nb_sec=7574
case_no=166 label=Case6.154 nb_sol=0 ticks=608748 tps=100 nb_sec=6087
case_no=166 label=Case6.154 nb_sol=0 ticks=706429 tps=100 nb_sec=7064
case_no=166 label=Case6.154 nb_sol=0 ticks=851608 tps=100 nb_sec=8516
case_no=166 label=Case6.154 nb_sol=0 ticks=863104 tps=100 nb_sec=8631
case_no=166 label=Case6.154 nb_sol=0 ticks=740868 tps=100 nb_sec=7408
case_no=166 label=Case6.154 nb_sol=0 ticks=735109 tps=100 nb_sec=7351
case_no=166 label=Case6.154 nb_sol=0 ticks=875006 tps=100 nb_sec=8750
case_no=166 label=Case6.154 nb_sol=0 ticks=658685 tps=100 nb_sec=6586
case_no=166 label=Case6.154 nb_sol=0 ticks=903583 tps=100 nb_sec=9035
case_no=166 label=Case6.154 nb_sol=0 ticks=886126 tps=100 nb_sec=8861
case_no=166 label=Case6.154 nb_sol=0 ticks=687740 tps=100 nb_sec=6877
case_no=166 label=Case6.154 nb_sol=0 ticks=570778 tps=100 nb_sec=5707
case_no=166 label=Case6.154 nb_sol=0 ticks=1099502 tps=100 nb_sec=10995
case_no=166 label=Case6.154 nb_sol=0 ticks=604682 tps=100 nb_sec=6046
case_no=166 label=Case6.154 nb_sol=0 ticks=867722 tps=100 nb_sec=8677
case_no=166 label=Case6.154 nb_sol=0 ticks=843841 tps=100 nb_sec=8438
case_no=166 label=Case6.154 nb_sol=0 ticks=1136539 tps=100 nb_sec=11365
case_no=166 label=Case6.154 nb_sol=0 ticks=901010 tps=100 nb_sec=9010
case_no=166 label=Case6.154 nb_sol=0 ticks=694917 tps=100 nb_sec=6949
case_no=166 label=Case6.154 nb_sol=0 ticks=638486 tps=100 nb_sec=6384
case_no=166 label=Case6.154 nb_sol=0 ticks=484248 tps=100 nb_sec=4842
case_no=166 label=Case6.154 nb_sol=0 ticks=666992 tps=100 nb_sec=6669
case_no=166 label=Case6.154 nb_sol=0 ticks=328000 tps=100 nb_sec=3280
case_no=166 label=Case6.154 nb_sol=0 ticks=362018 tps=100 nb_sec=3620
case_no=166 label=Case6.154 nb_sol=0 ticks=783754 tps=100 nb_sec=7837
case_no=166 label=Case6.154 nb_sol=0 ticks=340917 tps=100 nb_sec=3409
case_no=166 label=Case6.154 nb_sol=0 ticks=736214 tps=100 nb_sec=7362
case_no=166 label=Case6.154 nb_sol=0 ticks=306307 tps=100 nb_sec=3063
case_no=166 label=Case6.154 nb_sol=0 ticks=911127 tps=100 nb_sec=9111
case_no=166 label=Case6.154 nb_sol=0 ticks=317105 tps=100 nb_sec=3171
case_no=166 label=Case6.154 nb_sol=0 ticks=289511 tps=100 nb_sec=2895
case_no=166 label=Case6.154 nb_sol=0 ticks=696054 tps=100 nb_sec=6960
case_no=166 label=Case6.154 nb_sol=0 ticks=683240 tps=100 nb_sec=6832
case_no=166 label=Case6.154 nb_sol=0 ticks=450414 tps=100 nb_sec=4504
case_no=166 label=Case6.154 nb_sol=0 ticks=827645 tps=100 nb_sec=8276
case_no=166 label=Case6.154 nb_sol=0 ticks=505127 tps=100 nb_sec=5051
case_no=166 label=Case6.154 nb_sol=0 ticks=370884 tps=100 nb_sec=3708
case_no=166 label=Case6.154 nb_sol=0 ticks=422081 tps=100 nb_sec=4220
case_no=166 label=Case6.154 nb_sol=0 ticks=393326 tps=100 nb_sec=3933
case_no=166 label=Case6.154 nb_sol=0 ticks=514343 tps=100 nb_sec=5143
case_no=166 label=Case6.154 nb_sol=0 ticks=745135 tps=100 nb_sec=7451
case_no=166 label=Case6.154 nb_sol=0 ticks=358100 tps=100 nb_sec=3581
case_no=166 label=Case6.154 nb_sol=0 ticks=756502 tps=100 nb_sec=7565
case_no=166 label=Case6.154 nb_sol=0 ticks=629912 tps=100 nb_sec=6299
case_no=166 label=Case6.154 nb_sol=0 ticks=805081 tps=100 nb_sec=8050
case_no=166 label=Case6.154 nb_sol=0 ticks=500777 tps=100 nb_sec=5007
case_no=166 label=Case6.154 nb_sol=0 ticks=708396 tps=100 nb_sec=7083
case_no=166 label=Case6.154 nb_sol=0 ticks=279070 tps=100 nb_sec=2790
case_no=166 label=Case6.154 nb_sol=0 ticks=634266 tps=100 nb_sec=6342
case_no=166 label=Case6.154 nb_sol=0 ticks=290032 tps=100 nb_sec=2900
case_no=166 label=Case6.154 nb_sol=0 ticks=741794 tps=100 nb_sec=7417
case_no=166 label=Case6.154 nb_sol=0 ticks=953900 tps=100 nb_sec=9539
case_no=166 label=Case6.154 nb_sol=0 ticks=879261 tps=100 nb_sec=8792
case_no=166 label=Case6.154 nb_sol=0 ticks=898962 tps=100 nb_sec=8989
case_no=166 label=Case6.154 nb_sol=0 ticks=538384 tps=100 nb_sec=5383
case_no=166 label=Case6.154 nb_sol=0 ticks=667242 tps=100 nb_sec=6672
case_no=166 label=Case6.154 nb_sol=0 ticks=941933 tps=100 nb_sec=9419
case_no=166 label=Case6.154 nb_sol=0 ticks=721627 tps=100 nb_sec=7216
case_no=166 label=Case6.154 nb_sol=0 ticks=708679 tps=100 nb_sec=7086
case_no=166 label=Case6.154 nb_sol=0 ticks=667129 tps=100 nb_sec=6671
case_no=166 label=Case6.154 nb_sol=0 ticks=590005 tps=100 nb_sec=5900
case_no=166 label=Case6.154 nb_sol=0 ticks=935430 tps=100 nb_sec=9354
case_no=166 label=Case6.154 nb_sol=0 ticks=581353 tps=100 nb_sec=5813
case_no=166 label=Case6.154 nb_sol=0 ticks=958469 tps=100 nb_sec=9584
case_no=166 label=Case6.154 nb_sol=0 ticks=568897 tps=100 nb_sec=5688
case_no=166 label=Case6.154 nb_sol=0 ticks=867843 tps=100 nb_sec=8678
case_no=166 label=Case6.154 nb_sol=0 ticks=740069 tps=100 nb_sec=7400
case_no=166 label=Case6.154 nb_sol=0 ticks=954839 tps=100 nb_sec=9548
case_no=166 label=Case6.154 nb_sol=0 ticks=650055 tps=100 nb_sec=6500
case_no=166 label=Case6.154 nb_sol=0 ticks=725473 tps=100 nb_sec=7254
case_no=166 label=Case6.154 nb_sol=0 ticks=260703 tps=100 nb_sec=2607
case_no=166 label=Case6.154 nb_sol=0 ticks=497343 tps=100 nb_sec=4973
case_no=166 label=Case6.154 nb_sol=0 ticks=247587 tps=100 nb_sec=2475
case_no=166 label=Case6.154 nb_sol=0 ticks=547886 tps=100 nb_sec=5478
case_no=166 label=Case6.154 nb_sol=0 ticks=562857 tps=100 nb_sec=5628
case_no=166 label=Case6.154 nb_sol=0 ticks=569537 tps=100 nb_sec=5695
case_no=166 label=Case6.154 nb_sol=0 ticks=521274 tps=100 nb_sec=5212
case_no=166 label=Case6.154 nb_sol=0 ticks=358945 tps=100 nb_sec=3589
case_no=166 label=Case6.154 nb_sol=0 ticks=404075 tps=100 nb_sec=4040
case_no=166 label=Case6.154 nb_sol=0 ticks=840348 tps=100 nb_sec=8403
case_no=166 label=Case6.154 nb_sol=0 ticks=448468 tps=100 nb_sec=4484
case_no=166 label=Case6.154 nb_sol=0 ticks=844387 tps=100 nb_sec=8443
case_no=166 label=Case6.154 nb_sol=0 ticks=315632 tps=100 nb_sec=3156
case_no=166 label=Case6.154 nb_sol=0 ticks=600239 tps=100 nb_sec=6002
case_no=166 label=Case6.154 nb_sol=0 ticks=268396 tps=100 nb_sec=2683
case_no=166 label=Case6.154 nb_sol=0 ticks=650177 tps=100 nb_sec=6501
case_no=166 label=Case6.154 nb_sol=0 ticks=615192 tps=100 nb_sec=6151
case_no=166 label=Case6.154 nb_sol=0 ticks=607759 tps=100 nb_sec=6077
case_no=166 label=Case6.154 nb_sol=0 ticks=604247 tps=100 nb_sec=6042
case_no=166 label=Case6.154 nb_sol=0 ticks=675145 tps=100 nb_sec=6751
case_no=166 label=Case6.154 nb_sol=0 ticks=801382 tps=100 nb_sec=8013
case_no=166 label=Case6.154 nb_sol=0 ticks=485657 tps=100 nb_sec=4856
case_no=166 label=Case6.154 nb_sol=0 ticks=663984 tps=100 nb_sec=6639
case_no=166 label=Case6.154 nb_sol=0 ticks=615828 tps=100 nb_sec=6158
case_no=166 label=Case6.154 nb_sol=0 ticks=656209 tps=100 nb_sec=6562
case_no=166 label=Case6.154 nb_sol=0 ticks=906886 tps=100 nb_sec=9068
case_no=166 label=Case6.154 nb_sol=0 ticks=757924 tps=100 nb_sec=7579
case_no=166 label=Case6.154 nb_sol=0 ticks=743893 tps=100 nb_sec=7438
case_no=166 label=Case6.154 nb_sol=0 ticks=785378 tps=100 nb_sec=7853
case_no=166 label=Case6.154 nb_sol=0 ticks=737265 tps=100 nb_sec=7372
case_no=166 label=Case6.154 nb_sol=0 ticks=491529 tps=100 nb_sec=4915
case_no=166 label=Case6.154 nb_sol=0 ticks=671272 tps=100 nb_sec=6712
case_no=166 label=Case6.154 nb_sol=0 ticks=411192 tps=100 nb_sec=4111
case_no=166 label=Case6.154 nb_sol=0 ticks=624759 tps=100 nb_sec=6247
case_no=166 label=Case6.154 nb_sol=0 ticks=707819 tps=100 nb_sec=7078
case_no=166 label=Case6.154 nb_sol=0 ticks=619848 tps=100 nb_sec=6198
case_no=166 label=Case6.154 nb_sol=0 ticks=652625 tps=100 nb_sec=6526
case_no=166 label=Case6.154 nb_sol=0 ticks=787325 tps=100 nb_sec=7873
case_no=166 label=Case6.154 nb_sol=0 ticks=590341 tps=100 nb_sec=5903
case_no=166 label=Case6.154 nb_sol=0 ticks=638068 tps=100 nb_sec=6380
case_no=166 label=Case6.154 nb_sol=0 ticks=514715 tps=100 nb_sec=5147
case_no=166 label=Case6.154 nb_sol=0 ticks=551840 tps=100 nb_sec=5518
case_no=166 label=Case6.154 nb_sol=0 ticks=600206 tps=100 nb_sec=6002
case_no=166 label=Case6.154 nb_sol=0 ticks=716806 tps=100 nb_sec=7168
case_no=166 label=Case6.154 nb_sol=0 ticks=672492 tps=100 nb_sec=6724
case_no=166 label=Case6.154 nb_sol=0 ticks=552046 tps=100 nb_sec=5520
case_no=166 label=Case6.154 nb_sol=0 ticks=566191 tps=100 nb_sec=5661
case_no=166 label=Case6.154 nb_sol=0 ticks=486709 tps=100 nb_sec=4867
case_no=166 label=Case6.154 nb_sol=0 ticks=590292 tps=100 nb_sec=5902
case_no=166 label=Case6.154 nb_sol=0 ticks=793514 tps=100 nb_sec=7935
case_no=166 label=Case6.154 nb_sol=0 ticks=553131 tps=100 nb_sec=5531
case_no=166 label=Case6.154 nb_sol=0 ticks=641834 tps=100 nb_sec=6418
case_no=166 label=Case6.154 nb_sol=0 ticks=308622 tps=100 nb_sec=3086
case_no=166 label=Case6.154 nb_sol=0 ticks=630256 tps=100 nb_sec=6302
case_no=166 label=Case6.154 nb_sol=0 ticks=663406 tps=100 nb_sec=6634
case_no=166 label=Case6.154 nb_sol=0 ticks=578108 tps=100 nb_sec=5781
case_no=166 label=Case6.154 nb_sol=0 ticks=508370 tps=100 nb_sec=5083
case_no=166 label=Case6.154 nb_sol=0 ticks=690221 tps=100 nb_sec=6902
case_no=166 label=Case6.154 nb_sol=0 ticks=515350 tps=100 nb_sec=5153
case_no=166 label=Case6.154 nb_sol=0 ticks=392005 tps=100 nb_sec=3920
case_no=166 label=Case6.154 nb_sol=0 ticks=298943 tps=100 nb_sec=2989
case_no=166 label=Case6.154 nb_sol=0 ticks=660331 tps=100 nb_sec=6603
case_no=166 label=Case6.154 nb_sol=0 ticks=600691 tps=100 nb_sec=6006
case_no=166 label=Case6.154 nb_sol=0 ticks=462402 tps=100 nb_sec=4624
case_no=166 label=Case6.154 nb_sol=0 ticks=579665 tps=100 nb_sec=5796
case_no=166 label=Case6.154 nb_sol=0 ticks=322490 tps=100 nb_sec=3224
case_no=166 label=Case6.154 nb_sol=0 ticks=558869 tps=100 nb_sec=5588
case_no=166 label=Case6.154 nb_sol=0 ticks=730217 tps=100 nb_sec=7302
case_no=166 label=Case6.154 nb_sol=0 ticks=642579 tps=100 nb_sec=6425
case_no=166 label=Case6.154 nb_sol=0 ticks=617343 tps=100 nb_sec=6173
case_no=166 label=Case6.154 nb_sol=0 ticks=475275 tps=100 nb_sec=4752
case_no=166 label=Case6.154 nb_sol=0 ticks=537957 tps=100 nb_sec=5379
case_no=166 label=Case6.154 nb_sol=0 ticks=307058 tps=100 nb_sec=3070
case_no=166 label=Case6.154 nb_sol=0 ticks=332781 tps=100 nb_sec=3327
case_no=166 label=Case6.154 nb_sol=0 ticks=295527 tps=100 nb_sec=2955
case_no=166 label=Case6.154 nb_sol=0 ticks=716639 tps=100 nb_sec=7166
case_no=166 label=Case6.154 nb_sol=0 ticks=600133 tps=100 nb_sec=6001
case_no=166 label=Case6.154 nb_sol=0 ticks=435001 tps=100 nb_sec=4350
case_no=166 label=Case6.154 nb_sol=0 ticks=376850 tps=100 nb_sec=3768
case_no=166 label=Case6.154 nb_sol=0 ticks=301366 tps=100 nb_sec=3013
case_no=166 label=Case6.154 nb_sol=0 ticks=631591 tps=100 nb_sec=6315
case_no=166 label=Case6.154 nb_sol=0 ticks=210036 tps=100 nb_sec=2100
case_no=166 label=Case6.154 nb_sol=0 ticks=216640 tps=100 nb_sec=2166
case_no=166 label=Case6.154 nb_sol=0 ticks=419338 tps=100 nb_sec=4193
case_no=166 label=Case6.154 nb_sol=0 ticks=214727 tps=100 nb_sec=2147
case_no=166 label=Case6.154 nb_sol=0 ticks=557812 tps=100 nb_sec=5578
case_no=166 label=Case6.154 nb_sol=0 ticks=230297 tps=100 nb_sec=2302
case_no=166 label=Case6.154 nb_sol=0 ticks=302370 tps=100 nb_sec=3023
case_no=166 label=Case6.154 nb_sol=0 ticks=279004 tps=100 nb_sec=2790
case_no=166 label=Case6.154 nb_sol=0 ticks=265067 tps=100 nb_sec=2650
case_no=166 label=Case6.154 nb_sol=0 ticks=698192 tps=100 nb_sec=6981
case_no=166 label=Case6.154 nb_sol=0 ticks=575277 tps=100 nb_sec=5752
case_no=166 label=Case6.154 nb_sol=0 ticks=543367 tps=100 nb_sec=5433
case_no=166 label=Case6.154 nb_sol=0 ticks=472536 tps=100 nb_sec=4725
case_no=166 label=Case6.154 nb_sol=0 ticks=550043 tps=100 nb_sec=5500
case_no=166 label=Case6.154 nb_sol=0 ticks=498372 tps=100 nb_sec=4983
case_no=166 label=Case6.154 nb_sol=0 ticks=670476 tps=100 nb_sec=6704
case_no=166 label=Case6.154 nb_sol=0 ticks=497358 tps=100 nb_sec=4973
case_no=166 label=Case6.154 nb_sol=0 ticks=619232 tps=100 nb_sec=6192
case_no=166 label=Case6.154 nb_sol=0 ticks=685750 tps=100 nb_sec=6857
case_no=166 label=Case6.154 nb_sol=0 ticks=529391 tps=100 nb_sec=5293
case_no=166 label=Case6.154 nb_sol=0 ticks=355311 tps=100 nb_sec=3553
case_no=166 label=Case6.154 nb_sol=0 ticks=623593 tps=100 nb_sec=6235
case_no=166 label=Case6.154 nb_sol=0 ticks=455085 tps=100 nb_sec=4550
case_no=166 label=Case6.154 nb_sol=0 ticks=659973 tps=100 nb_sec=6599
case_no=166 label=Case6.154 nb_sol=0 ticks=516481 tps=100 nb_sec=5164
case_no=166 label=Case6.154 nb_sol=0 ticks=248070 tps=100 nb_sec=2480
case_no=166 label=Case6.154 nb_sol=0 ticks=507902 tps=100 nb_sec=5079
case_no=166 label=Case6.154 nb_sol=0 ticks=449271 tps=100 nb_sec=4492
case_no=166 label=Case6.154 nb_sol=0 ticks=290036 tps=100 nb_sec=2900
case_no=166 label=Case6.154 nb_sol=0 ticks=460620 tps=100 nb_sec=4606
case_no=166 label=Case6.154 nb_sol=0 ticks=465149 tps=100 nb_sec=4651
case_no=166 label=Case6.154 nb_sol=0 ticks=298972 tps=100 nb_sec=2989
case_no=166 label=Case6.154 nb_sol=0 ticks=292847 tps=100 nb_sec=2928
case_no=166 label=Case6.154 nb_sol=0 ticks=288382 tps=100 nb_sec=2883
case_no=166 label=Case6.154 nb_sol=0 ticks=571811 tps=100 nb_sec=5718
case_no=166 label=Case6.154 nb_sol=0 ticks=306667 tps=100 nb_sec=3066
case_no=166 label=Case6.154 nb_sol=0 ticks=774575 tps=100 nb_sec=7745
case_no=166 label=Case6.154 nb_sol=0 ticks=803032 tps=100 nb_sec=8030
case_no=166 label=Case6.154 nb_sol=0 ticks=303277 tps=100 nb_sec=3032
case_no=166 label=Case6.154 nb_sol=0 ticks=329582 tps=100 nb_sec=3295
case_no=166 label=Case6.154 nb_sol=0 ticks=297128 tps=100 nb_sec=2971
case_no=166 label=Case6.154 nb_sol=0 ticks=346075 tps=100 nb_sec=3460
case_no=166 label=Case6.154 nb_sol=0 ticks=372542 tps=100 nb_sec=3725
case_no=166 label=Case6.154 nb_sol=0 ticks=255326 tps=100 nb_sec=2553
case_no=166 label=Case6.154 nb_sol=0 ticks=304728 tps=100 nb_sec=3047
case_no=166 label=Case6.154 nb_sol=0 ticks=545143 tps=100 nb_sec=5451
case_no=166 label=Case6.154 nb_sol=0 ticks=307437 tps=100 nb_sec=3074
case_no=166 label=Case6.154 nb_sol=0 ticks=644630 tps=100 nb_sec=6446
case_no=166 label=Case6.154 nb_sol=0 ticks=650284 tps=100 nb_sec=6502
case_no=166 label=Case6.154 nb_sol=0 ticks=659194 tps=100 nb_sec=6591
case_no=166 label=Case6.154 nb_sol=0 ticks=517355 tps=100 nb_sec=5173
case_no=166 label=Case6.154 nb_sol=0 ticks=520577 tps=100 nb_sec=5205
case_no=166 label=Case6.154 nb_sol=0 ticks=226758 tps=100 nb_sec=2267
case_no=166 label=Case6.154 nb_sol=0 ticks=475583 tps=100 nb_sec=4755
case_no=166 label=Case6.154 nb_sol=0 ticks=561455 tps=100 nb_sec=5614
case_no=166 label=Case6.154 nb_sol=0 ticks=597482 tps=100 nb_sec=5974
case_no=166 label=Case6.154 nb_sol=0 ticks=801032 tps=100 nb_sec=8010
case_no=166 label=Case6.154 nb_sol=0 ticks=617606 tps=100 nb_sec=6176
case_no=166 label=Case6.154 nb_sol=0 ticks=543802 tps=100 nb_sec=5438
case_no=166 label=Case6.154 nb_sol=0 ticks=717300 tps=100 nb_sec=7173
case_no=166 label=Case6.154 nb_sol=0 ticks=459936 tps=100 nb_sec=4599
case_no=166 label=Case6.154 nb_sol=0 ticks=597037 tps=100 nb_sec=5970
case_no=166 label=Case6.154 nb_sol=0 ticks=508002 tps=100 nb_sec=5080
case_no=166 label=Case6.154 nb_sol=0 ticks=532464 tps=100 nb_sec=5324
case_no=166 label=Case6.154 nb_sol=0 ticks=465693 tps=100 nb_sec=4656
case_no=166 label=Case6.154 nb_sol=0 ticks=508910 tps=100 nb_sec=5089
case_no=166 label=Case6.154 nb_sol=0 ticks=669998 tps=100 nb_sec=6699
case_no=166 label=Case6.154 nb_sol=0 ticks=613567 tps=100 nb_sec=6135
case_no=166 label=Case6.154 nb_sol=0 ticks=522310 tps=100 nb_sec=5223
case_no=166 label=Case6.154 nb_sol=0 ticks=571776 tps=100 nb_sec=5717
case_no=166 label=Case6.154 nb_sol=0 ticks=586254 tps=100 nb_sec=5862
case_no=166 label=Case6.154 nb_sol=0 ticks=570895 tps=100 nb_sec=5708
case_no=166 label=Case6.154 nb_sol=0 ticks=664953 tps=100 nb_sec=6649
case_no=166 label=Case6.154 nb_sol=0 ticks=475427 tps=100 nb_sec=4754
case_no=166 label=Case6.154 nb_sol=0 ticks=621918 tps=100 nb_sec=6219
case_no=166 label=Case6.154 nb_sol=0 ticks=537916 tps=100 nb_sec=5379
case_no=166 label=Case6.154 nb_sol=0 ticks=581731 tps=100 nb_sec=5817
case_no=166 label=Case6.154 nb_sol=0 ticks=505803 tps=100 nb_sec=5058
case_no=166 label=Case6.154 nb_sol=0 ticks=493115 tps=100 nb_sec=4931
case_no=166 label=Case6.154 nb_sol=0 ticks=645583 tps=100 nb_sec=6455
case_no=166 label=Case6.154 nb_sol=0 ticks=510997 tps=100 nb_sec=5109
case_no=166 label=Case6.154 nb_sol=0 ticks=642674 tps=100 nb_sec=6426
case_no=166 label=Case6.154 nb_sol=0 ticks=537481 tps=100 nb_sec=5374
case_no=166 label=Case6.154 nb_sol=0 ticks=554747 tps=100 nb_sec=5547
case_no=166 label=Case6.154 nb_sol=0 ticks=708512 tps=100 nb_sec=7085
case_no=166 label=Case6.154 nb_sol=0 ticks=577009 tps=100 nb_sec=5770
case_no=166 label=Case6.154 nb_sol=0 ticks=649032 tps=100 nb_sec=6490
case_no=166 label=Case6.154 nb_sol=0 ticks=653199 tps=100 nb_sec=6531
case_no=166 label=Case6.154 nb_sol=0 ticks=539358 tps=100 nb_sec=5393
case_no=166 label=Case6.154 nb_sol=0 ticks=641177 tps=100 nb_sec=6411
case_no=166 label=Case6.154 nb_sol=0 ticks=509241 tps=100 nb_sec=5092
case_no=166 label=Case6.154 nb_sol=0 ticks=655764 tps=100 nb_sec=6557
case_no=166 label=Case6.154 nb_sol=0 ticks=743180 tps=100 nb_sec=7431
case_no=166 label=Case6.154 nb_sol=0 ticks=523996 tps=100 nb_sec=5239
case_no=166 label=Case6.154 nb_sol=0 ticks=671902 tps=100 nb_sec=6719
case_no=166 label=Case6.154 nb_sol=0 ticks=604340 tps=100 nb_sec=6043
case_no=166 label=Case6.154 nb_sol=0 ticks=561551 tps=100 nb_sec=5615
case_no=166 label=Case6.154 nb_sol=0 ticks=682516 tps=100 nb_sec=6825
case_no=166 label=Case6.154 nb_sol=0 ticks=633556 tps=100 nb_sec=6335
case_no=166 label=Case6.154 nb_sol=0 ticks=663371 tps=100 nb_sec=6633
case_no=166 label=Case6.154 nb_sol=0 ticks=638039 tps=100 nb_sec=6380
case_no=166 label=Case6.154 nb_sol=0 ticks=724213 tps=100 nb_sec=7242
case_no=166 label=Case6.154 nb_sol=0 ticks=587237 tps=100 nb_sec=5872
case_no=166 label=Case6.154 nb_sol=0 ticks=238489 tps=100 nb_sec=2384
case_no=166 label=Case6.154 nb_sol=0 ticks=324943 tps=100 nb_sec=3249
case_no=166 label=Case6.154 nb_sol=0 ticks=485965 tps=100 nb_sec=4859
case_no=166 label=Case6.154 nb_sol=0 ticks=769590 tps=100 nb_sec=7695
case_no=166 label=Case6.154 nb_sol=0 ticks=722481 tps=100 nb_sec=7224
case_no=166 label=Case6.154 nb_sol=0 ticks=728545 tps=100 nb_sec=7285
case_no=166 label=Case6.154 nb_sol=0 ticks=617323 tps=100 nb_sec=6173
case_no=166 label=Case6.154 nb_sol=0 ticks=593744 tps=100 nb_sec=5937
case_no=166 label=Case6.154 nb_sol=0 ticks=627646 tps=100 nb_sec=6276
case_no=166 label=Case6.154 nb_sol=0 ticks=516572 tps=100 nb_sec=5165
case_no=166 label=Case6.154 nb_sol=0 ticks=330872 tps=100 nb_sec=3308
case_no=166 label=Case6.154 nb_sol=0 ticks=271090 tps=100 nb_sec=2710
case_no=166 label=Case6.154 nb_sol=0 ticks=567050 tps=100 nb_sec=5670
case_no=166 label=Case6.154 nb_sol=0 ticks=368895 tps=100 nb_sec=3688
case_no=166 label=Case6.154 nb_sol=0 ticks=566502 tps=100 nb_sec=5665
case_no=166 label=Case6.154 nb_sol=0 ticks=569305 tps=100 nb_sec=5693
case_no=166 label=Case6.154 nb_sol=0 ticks=347615 tps=100 nb_sec=3476
case_no=166 label=Case6.154 nb_sol=0 ticks=670718 tps=100 nb_sec=6707
case_no=166 label=Case6.154 nb_sol=0 ticks=579441 tps=100 nb_sec=5794
case_no=166 label=Case6.154 nb_sol=0 ticks=274167 tps=100 nb_sec=2741
case_no=166 label=Case6.154 nb_sol=0 ticks=600946 tps=100 nb_sec=6009
case_no=166 label=Case6.154 nb_sol=0 ticks=614668 tps=100 nb_sec=6146
case_no=166 label=Case6.154 nb_sol=0 ticks=264906 tps=100 nb_sec=2649
case_no=166 label=Case6.154 nb_sol=0 ticks=630763 tps=100 nb_sec=6307
case_no=166 label=Case6.154 nb_sol=0 ticks=497809 tps=100 nb_sec=4978
case_no=166 label=Case6.154 nb_sol=0 ticks=491302 tps=100 nb_sec=4913
case_no=166 label=Case6.154 nb_sol=0 ticks=276254 tps=100 nb_sec=2762
case_no=166 label=Case6.154 nb_sol=0 ticks=491389 tps=100 nb_sec=4913
case_no=166 label=Case6.154 nb_sol=0 ticks=364350 tps=100 nb_sec=3643
case_no=166 label=Case6.154 nb_sol=0 ticks=437558 tps=100 nb_sec=4375
case_no=166 label=Case6.154 nb_sol=0 ticks=404642 tps=100 nb_sec=4046
case_no=166 label=Case6.154 nb_sol=0 ticks=577400 tps=100 nb_sec=5774
case_no=166 label=Case6.154 nb_sol=0 ticks=513327 tps=100 nb_sec=5133
case_no=166 label=Case6.154 nb_sol=0 ticks=624903 tps=100 nb_sec=6249
case_no=166 label=Case6.154 nb_sol=0 ticks=282545 tps=100 nb_sec=2825
case_no=166 label=Case6.154 nb_sol=0 ticks=545734 tps=100 nb_sec=5457
case_no=166 label=Case6.154 nb_sol=0 ticks=576176 tps=100 nb_sec=5761
case_no=166 label=Case6.154 nb_sol=0 ticks=409482 tps=100 nb_sec=4094
case_no=166 label=Case6.154 nb_sol=0 ticks=570671 tps=100 nb_sec=5706
case_no=166 label=Case6.154 nb_sol=0 ticks=617249 tps=100 nb_sec=6172
case_no=166 label=Case6.154 nb_sol=0 ticks=493684 tps=100 nb_sec=4936
case_no=166 label=Case6.154 nb_sol=0 ticks=658428 tps=100 nb_sec=6584
case_no=166 label=Case6.154 nb_sol=0 ticks=622068 tps=100 nb_sec=6220
case_no=166 label=Case6.154 nb_sol=0 ticks=461793 tps=100 nb_sec=4617
case_no=166 label=Case6.154 nb_sol=0 ticks=472227 tps=100 nb_sec=4722
case_no=166 label=Case6.154 nb_sol=0 ticks=565511 tps=100 nb_sec=5655
case_no=166 label=Case6.154 nb_sol=0 ticks=485540 tps=100 nb_sec=4855
case_no=166 label=Case6.154 nb_sol=0 ticks=494253 tps=100 nb_sec=4942
case_no=166 label=Case6.154 nb_sol=0 ticks=457015 tps=100 nb_sec=4570
case_no=166 label=Case6.154 nb_sol=0 ticks=533939 tps=100 nb_sec=5339
case_no=166 label=Case6.154 nb_sol=0 ticks=487849 tps=100 nb_sec=4878
case_no=166 label=Case6.154 nb_sol=0 ticks=593883 tps=100 nb_sec=5938
case_no=166 label=Case6.154 nb_sol=0 ticks=534270 tps=100 nb_sec=5342
case_no=166 label=Case6.154 nb_sol=0 ticks=526399 tps=100 nb_sec=5263
case_no=166 label=Case6.154 nb_sol=0 ticks=621753 tps=100 nb_sec=6217
case_no=166 label=Case6.154 nb_sol=0 ticks=329268 tps=100 nb_sec=3292
case_no=166 label=Case6.154 nb_sol=0 ticks=319796 tps=100 nb_sec=3197
case_no=166 label=Case6.154 nb_sol=0 ticks=313954 tps=100 nb_sec=3139
case_no=166 label=Case6.154 nb_sol=0 ticks=270133 tps=100 nb_sec=2701
case_no=166 label=Case6.154 nb_sol=0 ticks=665628 tps=100 nb_sec=6656
case_no=166 label=Case6.154 nb_sol=0 ticks=319226 tps=100 nb_sec=3192
case_no=166 label=Case6.154 nb_sol=0 ticks=435515 tps=100 nb_sec=4355
case_no=166 label=Case6.154 nb_sol=0 ticks=690537 tps=100 nb_sec=6905
case_no=166 label=Case6.154 nb_sol=0 ticks=411087 tps=100 nb_sec=4110
case_no=166 label=Case6.154 nb_sol=0 ticks=673284 tps=100 nb_sec=6732
case_no=166 label=Case6.154 nb_sol=0 ticks=614344 tps=100 nb_sec=6143
case_no=166 label=Case6.154 nb_sol=0 ticks=435424 tps=100 nb_sec=4354
case_no=166 label=Case6.154 nb_sol=0 ticks=296191 tps=100 nb_sec=2961
case_no=166 label=Case6.154 nb_sol=0 ticks=367633 tps=100 nb_sec=3676
case_no=166 label=Case6.154 nb_sol=0 ticks=342133 tps=100 nb_sec=3421
case_no=166 label=Case6.154 nb_sol=0 ticks=565766 tps=100 nb_sec=5657
case_no=166 label=Case6.154 nb_sol=0 ticks=565185 tps=100 nb_sec=5651
case_no=166 label=Case6.154 nb_sol=0 ticks=501546 tps=100 nb_sec=5015
case_no=166 label=Case6.154 nb_sol=0 ticks=685056 tps=100 nb_sec=6850
case_no=166 label=Case6.154 nb_sol=0 ticks=600645 tps=100 nb_sec=6006
case_no=166 label=Case6.154 nb_sol=0 ticks=467350 tps=100 nb_sec=4673
case_no=166 label=Case6.154 nb_sol=0 ticks=636800 tps=100 nb_sec=6368
case_no=166 label=Case6.154 nb_sol=0 ticks=637999 tps=100 nb_sec=6379
case_no=166 label=Case6.154 nb_sol=0 ticks=627775 tps=100 nb_sec=6277
case_no=166 label=Case6.154 nb_sol=0 ticks=429903 tps=100 nb_sec=4299
case_no=166 label=Case6.154 nb_sol=0 ticks=660731 tps=100 nb_sec=6607
case_no=166 label=Case6.154 nb_sol=0 ticks=599320 tps=100 nb_sec=5993
case_no=166 label=Case6.154 nb_sol=0 ticks=412564 tps=100 nb_sec=4125
case_no=166 label=Case6.154 nb_sol=0 ticks=548093 tps=100 nb_sec=5480
case_no=166 label=Case6.154 nb_sol=0 ticks=409626 tps=100 nb_sec=4096
case_no=166 label=Case6.154 nb_sol=0 ticks=574651 tps=100 nb_sec=5746
case_no=166 label=Case6.154 nb_sol=0 ticks=371699 tps=100 nb_sec=3716
case_no=166 label=Case6.154 nb_sol=0 ticks=550621 tps=100 nb_sec=5506
case_no=166 label=Case6.154 nb_sol=0 ticks=365069 tps=100 nb_sec=3650
case_no=166 label=Case6.154 nb_sol=0 ticks=561276 tps=100 nb_sec=5612
case_no=166 label=Case6.154 nb_sol=0 ticks=556159 tps=100 nb_sec=5561
case_no=166 label=Case6.154 nb_sol=0 ticks=603219 tps=100 nb_sec=6032
case_no=166 label=Case6.154 nb_sol=0 ticks=533326 tps=100 nb_sec=5333
case_no=166 label=Case6.154 nb_sol=0 ticks=523189 tps=100 nb_sec=5231
case_no=166 label=Case6.154 nb_sol=0 ticks=467219 tps=100 nb_sec=4672
case_no=166 label=Case6.154 nb_sol=0 ticks=764062 tps=100 nb_sec=7640
case_no=166 label=Case6.154 nb_sol=0 ticks=357333 tps=100 nb_sec=3573
case_no=166 label=Case6.154 nb_sol=0 ticks=526724 tps=100 nb_sec=5267
case_no=166 label=Case6.154 nb_sol=0 ticks=523186 tps=100 nb_sec=5231
case_no=166 label=Case6.154 nb_sol=0 ticks=278772 tps=100 nb_sec=2787
case_no=166 label=Case6.154 nb_sol=0 ticks=627333 tps=100 nb_sec=6273
case_no=166 label=Case6.154 nb_sol=0 ticks=586508 tps=100 nb_sec=5865
case_no=166 label=Case6.154 nb_sol=0 ticks=430190 tps=100 nb_sec=4301
case_no=166 label=Case6.154 nb_sol=0 ticks=243462 tps=100 nb_sec=2434
case_no=166 label=Case6.154 nb_sol=0 ticks=538683 tps=100 nb_sec=5386
case_no=166 label=Case6.154 nb_sol=0 ticks=464703 tps=100 nb_sec=4647
case_no=166 label=Case6.154 nb_sol=0 ticks=621658 tps=100 nb_sec=6216
case_no=166 label=Case6.154 nb_sol=0 ticks=478032 tps=100 nb_sec=4780
case_no=166 label=Case6.154 nb_sol=0 ticks=496570 tps=100 nb_sec=4965
case_no=166 label=Case6.154 nb_sol=0 ticks=484971 tps=100 nb_sec=4849
case_no=166 label=Case6.154 nb_sol=0 ticks=529642 tps=100 nb_sec=5296
case_no=166 label=Case6.154 nb_sol=0 ticks=257343 tps=100 nb_sec=2573
case_no=166 label=Case6.154 nb_sol=0 ticks=398305 tps=100 nb_sec=3983
case_no=166 label=Case6.154 nb_sol=0 ticks=361140 tps=100 nb_sec=3611
case_no=166 label=Case6.154 nb_sol=0 ticks=439065 tps=100 nb_sec=4390
case_no=166 label=Case6.154 nb_sol=0 ticks=375436 tps=100 nb_sec=3754
case_no=166 label=Case6.154 nb_sol=0 ticks=570639 tps=100 nb_sec=5706
case_no=166 label=Case6.154 nb_sol=0 ticks=496173 tps=100 nb_sec=4961
case_no=166 label=Case6.154 nb_sol=0 ticks=416523 tps=100 nb_sec=4165
case_no=166 label=Case6.154 nb_sol=0 ticks=640157 tps=100 nb_sec=6401
case_no=166 label=Case6.154 nb_sol=0 ticks=641672 tps=100 nb_sec=6416
case_no=166 label=Case6.154 nb_sol=0 ticks=683005 tps=100 nb_sec=6830
case_no=166 label=Case6.154 nb_sol=0 ticks=527048 tps=100 nb_sec=5270
case_no=166 label=Case6.154 nb_sol=0 ticks=600446 tps=100 nb_sec=6004
case_no=166 label=Case6.154 nb_sol=0 ticks=692729 tps=100 nb_sec=6927
case_no=166 label=Case6.154 nb_sol=0 ticks=576783 tps=100 nb_sec=5767
case_no=166 label=Case6.154 nb_sol=0 ticks=540428 tps=100 nb_sec=5404
case_no=166 label=Case6.154 nb_sol=0 ticks=546434 tps=100 nb_sec=5464
case_no=166 label=Case6.154 nb_sol=0 ticks=550277 tps=100 nb_sec=5502
case_no=166 label=Case6.154 nb_sol=0 ticks=576641 tps=100 nb_sec=5766
case_no=166 label=Case6.154 nb_sol=0 ticks=541713 tps=100 nb_sec=5417
case_no=166 label=Case6.154 nb_sol=0 ticks=756552 tps=100 nb_sec=7565
case_no=166 label=Case6.154 nb_sol=0 ticks=729631 tps=100 nb_sec=7296
case_no=166 label=Case6.154 nb_sol=0 ticks=613253 tps=100 nb_sec=6132
case_no=166 label=Case6.154 nb_sol=0 ticks=497183 tps=100 nb_sec=4971
case_no=166 label=Case6.154 nb_sol=0 ticks=511717 tps=100 nb_sec=5117
case_no=166 label=Case6.154 nb_sol=0 ticks=499591 tps=100 nb_sec=4995
case_no=166 label=Case6.154 nb_sol=0 ticks=584490 tps=100 nb_sec=5844
case_no=166 label=Case6.154 nb_sol=0 ticks=403172 tps=100 nb_sec=4031
case_no=166 label=Case6.154 nb_sol=0 ticks=290969 tps=100 nb_sec=2909
case_no=166 label=Case6.154 nb_sol=0 ticks=468409 tps=100 nb_sec=4684
case_no=166 label=Case6.154 nb_sol=0 ticks=461220 tps=100 nb_sec=4612
case_no=166 label=Case6.154 nb_sol=0 ticks=427683 tps=100 nb_sec=4276
Nb_sol=0
Nb_sec=5778344
66-21:5:44 or 1605 hours
missing cases:
none