argc=5
-M 256
file2=30_select_Case6.50_starter_16_
checking files mod 256 from 0 to 255
case_no=62 label=Case6.50 nb_sol=0 ticks=112784 tps=100 nb_sec=1127
case_no=62 label=Case6.50 nb_sol=0 ticks=69947 tps=100 nb_sec=699
case_no=62 label=Case6.50 nb_sol=0 ticks=68754 tps=100 nb_sec=687
case_no=62 label=Case6.50 nb_sol=0 ticks=30201 tps=100 nb_sec=302
case_no=62 label=Case6.50 nb_sol=0 ticks=47952 tps=100 nb_sec=479
case_no=62 label=Case6.50 nb_sol=0 ticks=74485 tps=100 nb_sec=744
case_no=62 label=Case6.50 nb_sol=0 ticks=76377 tps=100 nb_sec=763
case_no=62 label=Case6.50 nb_sol=0 ticks=68612 tps=100 nb_sec=686
case_no=62 label=Case6.50 nb_sol=0 ticks=66302 tps=100 nb_sec=663
case_no=62 label=Case6.50 nb_sol=0 ticks=75482 tps=100 nb_sec=754
case_no=62 label=Case6.50 nb_sol=0 ticks=87880 tps=100 nb_sec=878
case_no=62 label=Case6.50 nb_sol=0 ticks=112339 tps=100 nb_sec=1123
case_no=62 label=Case6.50 nb_sol=0 ticks=43708 tps=100 nb_sec=437
case_no=62 label=Case6.50 nb_sol=0 ticks=29094 tps=100 nb_sec=290
case_no=62 label=Case6.50 nb_sol=0 ticks=64905 tps=100 nb_sec=649
case_no=62 label=Case6.50 nb_sol=0 ticks=69822 tps=100 nb_sec=698
case_no=62 label=Case6.50 nb_sol=0 ticks=67751 tps=100 nb_sec=677
case_no=62 label=Case6.50 nb_sol=0 ticks=80394 tps=100 nb_sec=803
case_no=62 label=Case6.50 nb_sol=0 ticks=89613 tps=100 nb_sec=896
case_no=62 label=Case6.50 nb_sol=0 ticks=30111 tps=100 nb_sec=301
case_no=62 label=Case6.50 nb_sol=0 ticks=62794 tps=100 nb_sec=627
case_no=62 label=Case6.50 nb_sol=0 ticks=73716 tps=100 nb_sec=737
case_no=62 label=Case6.50 nb_sol=0 ticks=74613 tps=100 nb_sec=746
case_no=62 label=Case6.50 nb_sol=0 ticks=63168 tps=100 nb_sec=631
case_no=62 label=Case6.50 nb_sol=0 ticks=39388 tps=100 nb_sec=393
case_no=62 label=Case6.50 nb_sol=0 ticks=66564 tps=100 nb_sec=665
case_no=62 label=Case6.50 nb_sol=0 ticks=73504 tps=100 nb_sec=735
case_no=62 label=Case6.50 nb_sol=0 ticks=75068 tps=100 nb_sec=750
case_no=62 label=Case6.50 nb_sol=0 ticks=66171 tps=100 nb_sec=661
case_no=62 label=Case6.50 nb_sol=0 ticks=54886 tps=100 nb_sec=548
case_no=62 label=Case6.50 nb_sol=0 ticks=28557 tps=100 nb_sec=285
case_no=62 label=Case6.50 nb_sol=0 ticks=70804 tps=100 nb_sec=708
case_no=62 label=Case6.50 nb_sol=0 ticks=97781 tps=100 nb_sec=977
case_no=62 label=Case6.50 nb_sol=0 ticks=93719 tps=100 nb_sec=937
case_no=62 label=Case6.50 nb_sol=0 ticks=72649 tps=100 nb_sec=726
case_no=62 label=Case6.50 nb_sol=0 ticks=59002 tps=100 nb_sec=590
case_no=62 label=Case6.50 nb_sol=0 ticks=107866 tps=100 nb_sec=1078
case_no=62 label=Case6.50 nb_sol=0 ticks=67784 tps=100 nb_sec=677
case_no=62 label=Case6.50 nb_sol=0 ticks=68200 tps=100 nb_sec=682
case_no=62 label=Case6.50 nb_sol=0 ticks=77635 tps=100 nb_sec=776
case_no=62 label=Case6.50 nb_sol=0 ticks=31371 tps=100 nb_sec=313
case_no=62 label=Case6.50 nb_sol=0 ticks=46386 tps=100 nb_sec=463
case_no=62 label=Case6.50 nb_sol=0 ticks=108122 tps=100 nb_sec=1081
case_no=62 label=Case6.50 nb_sol=0 ticks=63695 tps=100 nb_sec=636
case_no=62 label=Case6.50 nb_sol=0 ticks=63674 tps=100 nb_sec=636
case_no=62 label=Case6.50 nb_sol=0 ticks=63597 tps=100 nb_sec=635
case_no=62 label=Case6.50 nb_sol=0 ticks=62170 tps=100 nb_sec=621
case_no=62 label=Case6.50 nb_sol=0 ticks=42603 tps=100 nb_sec=426
case_no=62 label=Case6.50 nb_sol=0 ticks=67785 tps=100 nb_sec=677
case_no=62 label=Case6.50 nb_sol=0 ticks=105937 tps=100 nb_sec=1059
case_no=62 label=Case6.50 nb_sol=0 ticks=61389 tps=100 nb_sec=613
case_no=62 label=Case6.50 nb_sol=0 ticks=62177 tps=100 nb_sec=621
case_no=62 label=Case6.50 nb_sol=0 ticks=104203 tps=100 nb_sec=1042
case_no=62 label=Case6.50 nb_sol=0 ticks=64868 tps=100 nb_sec=648
case_no=62 label=Case6.50 nb_sol=0 ticks=28785 tps=100 nb_sec=287
case_no=62 label=Case6.50 nb_sol=0 ticks=70503 tps=100 nb_sec=705
case_no=62 label=Case6.50 nb_sol=0 ticks=73965 tps=100 nb_sec=739
case_no=62 label=Case6.50 nb_sol=0 ticks=50504 tps=100 nb_sec=505
case_no=62 label=Case6.50 nb_sol=0 ticks=54513 tps=100 nb_sec=545
case_no=62 label=Case6.50 nb_sol=0 ticks=97521 tps=100 nb_sec=975
case_no=62 label=Case6.50 nb_sol=0 ticks=87178 tps=100 nb_sec=871
case_no=62 label=Case6.50 nb_sol=0 ticks=68893 tps=100 nb_sec=688
case_no=62 label=Case6.50 nb_sol=0 ticks=76384 tps=100 nb_sec=763
case_no=62 label=Case6.50 nb_sol=0 ticks=63704 tps=100 nb_sec=637
case_no=62 label=Case6.50 nb_sol=0 ticks=96706 tps=100 nb_sec=967
case_no=62 label=Case6.50 nb_sol=0 ticks=49539 tps=100 nb_sec=495
case_no=62 label=Case6.50 nb_sol=0 ticks=67785 tps=100 nb_sec=677
case_no=62 label=Case6.50 nb_sol=0 ticks=64249 tps=100 nb_sec=642
case_no=62 label=Case6.50 nb_sol=0 ticks=56072 tps=100 nb_sec=560
case_no=62 label=Case6.50 nb_sol=0 ticks=61356 tps=100 nb_sec=613
case_no=62 label=Case6.50 nb_sol=0 ticks=81246 tps=100 nb_sec=812
case_no=62 label=Case6.50 nb_sol=0 ticks=54252 tps=100 nb_sec=542
case_no=62 label=Case6.50 nb_sol=0 ticks=56432 tps=100 nb_sec=564
case_no=62 label=Case6.50 nb_sol=0 ticks=59385 tps=100 nb_sec=593
case_no=62 label=Case6.50 nb_sol=0 ticks=60762 tps=100 nb_sec=607
case_no=62 label=Case6.50 nb_sol=0 ticks=69086 tps=100 nb_sec=690
case_no=62 label=Case6.50 nb_sol=0 ticks=66192 tps=100 nb_sec=661
case_no=62 label=Case6.50 nb_sol=0 ticks=66437 tps=100 nb_sec=664
case_no=62 label=Case6.50 nb_sol=0 ticks=29935 tps=100 nb_sec=299
case_no=62 label=Case6.50 nb_sol=0 ticks=101810 tps=100 nb_sec=1018
case_no=62 label=Case6.50 nb_sol=0 ticks=81250 tps=100 nb_sec=812
case_no=62 label=Case6.50 nb_sol=0 ticks=68771 tps=100 nb_sec=687
case_no=62 label=Case6.50 nb_sol=0 ticks=27867 tps=100 nb_sec=278
case_no=62 label=Case6.50 nb_sol=0 ticks=63212 tps=100 nb_sec=632
case_no=62 label=Case6.50 nb_sol=0 ticks=67979 tps=100 nb_sec=679
case_no=62 label=Case6.50 nb_sol=0 ticks=86672 tps=100 nb_sec=866
case_no=62 label=Case6.50 nb_sol=0 ticks=28696 tps=100 nb_sec=286
case_no=62 label=Case6.50 nb_sol=0 ticks=90226 tps=100 nb_sec=902
case_no=62 label=Case6.50 nb_sol=0 ticks=62641 tps=100 nb_sec=626
case_no=62 label=Case6.50 nb_sol=0 ticks=95122 tps=100 nb_sec=951
case_no=62 label=Case6.50 nb_sol=0 ticks=28791 tps=100 nb_sec=287
case_no=62 label=Case6.50 nb_sol=0 ticks=48823 tps=100 nb_sec=488
case_no=62 label=Case6.50 nb_sol=0 ticks=57828 tps=100 nb_sec=578
case_no=62 label=Case6.50 nb_sol=0 ticks=63606 tps=100 nb_sec=636
case_no=62 label=Case6.50 nb_sol=0 ticks=104833 tps=100 nb_sec=1048
case_no=62 label=Case6.50 nb_sol=0 ticks=46598 tps=100 nb_sec=465
case_no=62 label=Case6.50 nb_sol=0 ticks=60919 tps=100 nb_sec=609
case_no=62 label=Case6.50 nb_sol=0 ticks=64940 tps=100 nb_sec=649
case_no=62 label=Case6.50 nb_sol=0 ticks=66011 tps=100 nb_sec=660
case_no=62 label=Case6.50 nb_sol=0 ticks=66365 tps=100 nb_sec=663
case_no=62 label=Case6.50 nb_sol=0 ticks=106799 tps=100 nb_sec=1067
case_no=62 label=Case6.50 nb_sol=0 ticks=78792 tps=100 nb_sec=787
case_no=62 label=Case6.50 nb_sol=0 ticks=37274 tps=100 nb_sec=372
case_no=62 label=Case6.50 nb_sol=0 ticks=38852 tps=100 nb_sec=388
case_no=62 label=Case6.50 nb_sol=0 ticks=59186 tps=100 nb_sec=591
case_no=62 label=Case6.50 nb_sol=0 ticks=72144 tps=100 nb_sec=721
case_no=62 label=Case6.50 nb_sol=0 ticks=89036 tps=100 nb_sec=890
case_no=62 label=Case6.50 nb_sol=0 ticks=111472 tps=100 nb_sec=1114
case_no=62 label=Case6.50 nb_sol=0 ticks=62790 tps=100 nb_sec=627
case_no=62 label=Case6.50 nb_sol=0 ticks=35099 tps=100 nb_sec=350
case_no=62 label=Case6.50 nb_sol=0 ticks=30788 tps=100 nb_sec=307
case_no=62 label=Case6.50 nb_sol=0 ticks=87815 tps=100 nb_sec=878
case_no=62 label=Case6.50 nb_sol=0 ticks=63412 tps=100 nb_sec=634
case_no=62 label=Case6.50 nb_sol=0 ticks=75891 tps=100 nb_sec=758
case_no=62 label=Case6.50 nb_sol=0 ticks=90159 tps=100 nb_sec=901
case_no=62 label=Case6.50 nb_sol=0 ticks=62087 tps=100 nb_sec=620
case_no=62 label=Case6.50 nb_sol=0 ticks=30361 tps=100 nb_sec=303
case_no=62 label=Case6.50 nb_sol=0 ticks=60466 tps=100 nb_sec=604
case_no=62 label=Case6.50 nb_sol=0 ticks=68404 tps=100 nb_sec=684
case_no=62 label=Case6.50 nb_sol=0 ticks=34095 tps=100 nb_sec=340
case_no=62 label=Case6.50 nb_sol=0 ticks=70450 tps=100 nb_sec=704
case_no=62 label=Case6.50 nb_sol=0 ticks=102999 tps=100 nb_sec=1029
case_no=62 label=Case6.50 nb_sol=0 ticks=61119 tps=100 nb_sec=611
case_no=62 label=Case6.50 nb_sol=0 ticks=70243 tps=100 nb_sec=702
case_no=62 label=Case6.50 nb_sol=0 ticks=60051 tps=100 nb_sec=600
case_no=62 label=Case6.50 nb_sol=0 ticks=107900 tps=100 nb_sec=1079
case_no=62 label=Case6.50 nb_sol=0 ticks=62737 tps=100 nb_sec=627
case_no=62 label=Case6.50 nb_sol=0 ticks=72890 tps=100 nb_sec=728
case_no=62 label=Case6.50 nb_sol=0 ticks=91681 tps=100 nb_sec=916
case_no=62 label=Case6.50 nb_sol=0 ticks=85646 tps=100 nb_sec=856
case_no=62 label=Case6.50 nb_sol=0 ticks=63861 tps=100 nb_sec=638
case_no=62 label=Case6.50 nb_sol=0 ticks=65720 tps=100 nb_sec=657
case_no=62 label=Case6.50 nb_sol=0 ticks=87515 tps=100 nb_sec=875
case_no=62 label=Case6.50 nb_sol=0 ticks=36418 tps=100 nb_sec=364
case_no=62 label=Case6.50 nb_sol=0 ticks=62515 tps=100 nb_sec=625
case_no=62 label=Case6.50 nb_sol=0 ticks=61536 tps=100 nb_sec=615
case_no=62 label=Case6.50 nb_sol=0 ticks=69560 tps=100 nb_sec=695
case_no=62 label=Case6.50 nb_sol=0 ticks=80834 tps=100 nb_sec=808
case_no=62 label=Case6.50 nb_sol=0 ticks=92868 tps=100 nb_sec=928
case_no=62 label=Case6.50 nb_sol=0 ticks=104496 tps=100 nb_sec=1044
case_no=62 label=Case6.50 nb_sol=0 ticks=44967 tps=100 nb_sec=449
case_no=62 label=Case6.50 nb_sol=0 ticks=29689 tps=100 nb_sec=296
case_no=62 label=Case6.50 nb_sol=0 ticks=87340 tps=100 nb_sec=873
case_no=62 label=Case6.50 nb_sol=0 ticks=72950 tps=100 nb_sec=729
case_no=62 label=Case6.50 nb_sol=0 ticks=56409 tps=100 nb_sec=564
case_no=62 label=Case6.50 nb_sol=0 ticks=58662 tps=100 nb_sec=586
case_no=62 label=Case6.50 nb_sol=0 ticks=98760 tps=100 nb_sec=987
case_no=62 label=Case6.50 nb_sol=0 ticks=94475 tps=100 nb_sec=944
case_no=62 label=Case6.50 nb_sol=0 ticks=38683 tps=100 nb_sec=386
case_no=62 label=Case6.50 nb_sol=0 ticks=79256 tps=100 nb_sec=792
case_no=62 label=Case6.50 nb_sol=0 ticks=86635 tps=100 nb_sec=866
case_no=62 label=Case6.50 nb_sol=0 ticks=76176 tps=100 nb_sec=761
case_no=62 label=Case6.50 nb_sol=0 ticks=93539 tps=100 nb_sec=935
case_no=62 label=Case6.50 nb_sol=0 ticks=63877 tps=100 nb_sec=638
case_no=62 label=Case6.50 nb_sol=0 ticks=45035 tps=100 nb_sec=450
case_no=62 label=Case6.50 nb_sol=0 ticks=77432 tps=100 nb_sec=774
case_no=62 label=Case6.50 nb_sol=0 ticks=41324 tps=100 nb_sec=413
case_no=62 label=Case6.50 nb_sol=0 ticks=64624 tps=100 nb_sec=646
case_no=62 label=Case6.50 nb_sol=0 ticks=111981 tps=100 nb_sec=1119
case_no=62 label=Case6.50 nb_sol=0 ticks=70181 tps=100 nb_sec=701
case_no=62 label=Case6.50 nb_sol=0 ticks=82040 tps=100 nb_sec=820
case_no=62 label=Case6.50 nb_sol=0 ticks=45871 tps=100 nb_sec=458
case_no=62 label=Case6.50 nb_sol=0 ticks=113190 tps=100 nb_sec=1131
case_no=62 label=Case6.50 nb_sol=0 ticks=71287 tps=100 nb_sec=712
case_no=62 label=Case6.50 nb_sol=0 ticks=39702 tps=100 nb_sec=397
case_no=62 label=Case6.50 nb_sol=0 ticks=80576 tps=100 nb_sec=805
case_no=62 label=Case6.50 nb_sol=0 ticks=64319 tps=100 nb_sec=643
case_no=62 label=Case6.50 nb_sol=0 ticks=44592 tps=100 nb_sec=445
case_no=62 label=Case6.50 nb_sol=0 ticks=43753 tps=100 nb_sec=437
case_no=62 label=Case6.50 nb_sol=0 ticks=46059 tps=100 nb_sec=460
case_no=62 label=Case6.50 nb_sol=0 ticks=70645 tps=100 nb_sec=706
case_no=62 label=Case6.50 nb_sol=0 ticks=66243 tps=100 nb_sec=662
case_no=62 label=Case6.50 nb_sol=0 ticks=84147 tps=100 nb_sec=841
case_no=62 label=Case6.50 nb_sol=0 ticks=60493 tps=100 nb_sec=604
case_no=62 label=Case6.50 nb_sol=0 ticks=78800 tps=100 nb_sec=788
case_no=62 label=Case6.50 nb_sol=0 ticks=72202 tps=100 nb_sec=722
case_no=62 label=Case6.50 nb_sol=0 ticks=70313 tps=100 nb_sec=703
case_no=62 label=Case6.50 nb_sol=0 ticks=62389 tps=100 nb_sec=623
case_no=62 label=Case6.50 nb_sol=0 ticks=31718 tps=100 nb_sec=317
case_no=62 label=Case6.50 nb_sol=0 ticks=55068 tps=100 nb_sec=550
case_no=62 label=Case6.50 nb_sol=0 ticks=62118 tps=100 nb_sec=621
case_no=62 label=Case6.50 nb_sol=0 ticks=68562 tps=100 nb_sec=685
case_no=62 label=Case6.50 nb_sol=0 ticks=28925 tps=100 nb_sec=289
case_no=62 label=Case6.50 nb_sol=0 ticks=71164 tps=100 nb_sec=711
case_no=62 label=Case6.50 nb_sol=0 ticks=103477 tps=100 nb_sec=1034
case_no=62 label=Case6.50 nb_sol=0 ticks=76593 tps=100 nb_sec=765
case_no=62 label=Case6.50 nb_sol=0 ticks=67987 tps=100 nb_sec=679
case_no=62 label=Case6.50 nb_sol=0 ticks=109903 tps=100 nb_sec=1099
case_no=62 label=Case6.50 nb_sol=0 ticks=29768 tps=100 nb_sec=297
case_no=62 label=Case6.50 nb_sol=0 ticks=71050 tps=100 nb_sec=710
case_no=62 label=Case6.50 nb_sol=0 ticks=63382 tps=100 nb_sec=633
case_no=62 label=Case6.50 nb_sol=0 ticks=28467 tps=100 nb_sec=284
case_no=62 label=Case6.50 nb_sol=0 ticks=102121 tps=100 nb_sec=1021
case_no=62 label=Case6.50 nb_sol=0 ticks=65396 tps=100 nb_sec=653
case_no=62 label=Case6.50 nb_sol=0 ticks=63271 tps=100 nb_sec=632
case_no=62 label=Case6.50 nb_sol=0 ticks=26686 tps=100 nb_sec=266
case_no=62 label=Case6.50 nb_sol=0 ticks=91637 tps=100 nb_sec=916
case_no=62 label=Case6.50 nb_sol=0 ticks=62951 tps=100 nb_sec=629
case_no=62 label=Case6.50 nb_sol=0 ticks=61655 tps=100 nb_sec=616
case_no=62 label=Case6.50 nb_sol=0 ticks=53872 tps=100 nb_sec=538
case_no=62 label=Case6.50 nb_sol=0 ticks=28065 tps=100 nb_sec=280
case_no=62 label=Case6.50 nb_sol=0 ticks=29348 tps=100 nb_sec=293
case_no=62 label=Case6.50 nb_sol=0 ticks=44508 tps=100 nb_sec=445
case_no=62 label=Case6.50 nb_sol=0 ticks=60269 tps=100 nb_sec=602
case_no=62 label=Case6.50 nb_sol=0 ticks=56675 tps=100 nb_sec=566
case_no=62 label=Case6.50 nb_sol=0 ticks=60091 tps=100 nb_sec=600
case_no=62 label=Case6.50 nb_sol=0 ticks=37010 tps=100 nb_sec=370
case_no=62 label=Case6.50 nb_sol=0 ticks=29310 tps=100 nb_sec=293
case_no=62 label=Case6.50 nb_sol=0 ticks=28870 tps=100 nb_sec=288
case_no=62 label=Case6.50 nb_sol=0 ticks=29322 tps=100 nb_sec=293
case_no=62 label=Case6.50 nb_sol=0 ticks=36680 tps=100 nb_sec=366
case_no=62 label=Case6.50 nb_sol=0 ticks=54703 tps=100 nb_sec=547
case_no=62 label=Case6.50 nb_sol=0 ticks=64401 tps=100 nb_sec=644
case_no=62 label=Case6.50 nb_sol=0 ticks=57305 tps=100 nb_sec=573
case_no=62 label=Case6.50 nb_sol=0 ticks=66818 tps=100 nb_sec=668
case_no=62 label=Case6.50 nb_sol=0 ticks=73230 tps=100 nb_sec=732
case_no=62 label=Case6.50 nb_sol=0 ticks=66619 tps=100 nb_sec=666
case_no=62 label=Case6.50 nb_sol=0 ticks=59393 tps=100 nb_sec=593
case_no=62 label=Case6.50 nb_sol=0 ticks=54587 tps=100 nb_sec=545
case_no=62 label=Case6.50 nb_sol=0 ticks=70562 tps=100 nb_sec=705
case_no=62 label=Case6.50 nb_sol=0 ticks=56542 tps=100 nb_sec=565
case_no=62 label=Case6.50 nb_sol=0 ticks=100612 tps=100 nb_sec=1006
case_no=62 label=Case6.50 nb_sol=0 ticks=75423 tps=100 nb_sec=754
case_no=62 label=Case6.50 nb_sol=0 ticks=75520 tps=100 nb_sec=755
case_no=62 label=Case6.50 nb_sol=0 ticks=62567 tps=100 nb_sec=625
case_no=62 label=Case6.50 nb_sol=0 ticks=112644 tps=100 nb_sec=1126
case_no=62 label=Case6.50 nb_sol=0 ticks=29836 tps=100 nb_sec=298
case_no=62 label=Case6.50 nb_sol=0 ticks=69160 tps=100 nb_sec=691
case_no=62 label=Case6.50 nb_sol=0 ticks=66147 tps=100 nb_sec=661
case_no=62 label=Case6.50 nb_sol=0 ticks=61671 tps=100 nb_sec=616
case_no=62 label=Case6.50 nb_sol=0 ticks=75223 tps=100 nb_sec=752
case_no=62 label=Case6.50 nb_sol=0 ticks=70956 tps=100 nb_sec=709
case_no=62 label=Case6.50 nb_sol=0 ticks=57176 tps=100 nb_sec=571
case_no=62 label=Case6.50 nb_sol=0 ticks=55791 tps=100 nb_sec=557
case_no=62 label=Case6.50 nb_sol=0 ticks=59312 tps=100 nb_sec=593
case_no=62 label=Case6.50 nb_sol=0 ticks=30906 tps=100 nb_sec=309
case_no=62 label=Case6.50 nb_sol=0 ticks=55669 tps=100 nb_sec=556
case_no=62 label=Case6.50 nb_sol=0 ticks=65777 tps=100 nb_sec=657
case_no=62 label=Case6.50 nb_sol=0 ticks=28100 tps=100 nb_sec=281
case_no=62 label=Case6.50 nb_sol=0 ticks=55688 tps=100 nb_sec=556
case_no=62 label=Case6.50 nb_sol=0 ticks=30640 tps=100 nb_sec=306
case_no=62 label=Case6.50 nb_sol=0 ticks=62370 tps=100 nb_sec=623
case_no=62 label=Case6.50 nb_sol=0 ticks=61677 tps=100 nb_sec=616
case_no=62 label=Case6.50 nb_sol=0 ticks=29893 tps=100 nb_sec=298
case_no=62 label=Case6.50 nb_sol=0 ticks=64794 tps=100 nb_sec=647
case_no=62 label=Case6.50 nb_sol=0 ticks=49328 tps=100 nb_sec=493
case_no=62 label=Case6.50 nb_sol=0 ticks=76317 tps=100 nb_sec=763
case_no=62 label=Case6.50 nb_sol=0 ticks=61424 tps=100 nb_sec=614
case_no=62 label=Case6.50 nb_sol=0 ticks=58388 tps=100 nb_sec=583
case_no=62 label=Case6.50 nb_sol=0 ticks=65403 tps=100 nb_sec=654
case_no=62 label=Case6.50 nb_sol=0 ticks=65069 tps=100 nb_sec=650
case_no=62 label=Case6.50 nb_sol=0 ticks=31716 tps=100 nb_sec=317
case_no=62 label=Case6.50 nb_sol=0 ticks=29761 tps=100 nb_sec=297
case_no=62 label=Case6.50 nb_sol=0 ticks=37929 tps=100 nb_sec=379
case_no=62 label=Case6.50 nb_sol=0 ticks=60796 tps=100 nb_sec=607
case_no=62 label=Case6.50 nb_sol=0 ticks=30836 tps=100 nb_sec=308
Nb_sol=0
Nb_sec=165687
1-22:1:27 or 46 hours
missing cases:
none