argc=5
-M 512
file2=30_select_Case6.68_starter_16_
checking files mod 512 from 0 to 511
case_no=80 label=Case6.68 nb_sol=0 ticks=50381 tps=100 nb_sec=503
case_no=80 label=Case6.68 nb_sol=0 ticks=147865 tps=100 nb_sec=1478
case_no=80 label=Case6.68 nb_sol=0 ticks=77906 tps=100 nb_sec=779
case_no=80 label=Case6.68 nb_sol=0 ticks=99491 tps=100 nb_sec=994
case_no=80 label=Case6.68 nb_sol=0 ticks=85441 tps=100 nb_sec=854
case_no=80 label=Case6.68 nb_sol=0 ticks=64401 tps=100 nb_sec=644
case_no=80 label=Case6.68 nb_sol=0 ticks=66479 tps=100 nb_sec=664
case_no=80 label=Case6.68 nb_sol=0 ticks=96810 tps=100 nb_sec=968
case_no=80 label=Case6.68 nb_sol=0 ticks=145245 tps=100 nb_sec=1452
case_no=80 label=Case6.68 nb_sol=0 ticks=134997 tps=100 nb_sec=1349
case_no=80 label=Case6.68 nb_sol=0 ticks=95088 tps=100 nb_sec=950
case_no=80 label=Case6.68 nb_sol=0 ticks=49398 tps=100 nb_sec=493
case_no=80 label=Case6.68 nb_sol=0 ticks=39893 tps=100 nb_sec=398
case_no=80 label=Case6.68 nb_sol=0 ticks=44407 tps=100 nb_sec=444
case_no=80 label=Case6.68 nb_sol=0 ticks=47244 tps=100 nb_sec=472
case_no=80 label=Case6.68 nb_sol=0 ticks=99958 tps=100 nb_sec=999
case_no=80 label=Case6.68 nb_sol=0 ticks=48419 tps=100 nb_sec=484
case_no=80 label=Case6.68 nb_sol=0 ticks=89990 tps=100 nb_sec=899
case_no=80 label=Case6.68 nb_sol=0 ticks=91973 tps=100 nb_sec=919
case_no=80 label=Case6.68 nb_sol=0 ticks=86683 tps=100 nb_sec=866
case_no=80 label=Case6.68 nb_sol=0 ticks=47491 tps=100 nb_sec=474
case_no=80 label=Case6.68 nb_sol=0 ticks=95126 tps=100 nb_sec=951
case_no=80 label=Case6.68 nb_sol=0 ticks=100294 tps=100 nb_sec=1002
case_no=80 label=Case6.68 nb_sol=0 ticks=107255 tps=100 nb_sec=1072
case_no=80 label=Case6.68 nb_sol=0 ticks=90611 tps=100 nb_sec=906
case_no=80 label=Case6.68 nb_sol=0 ticks=102935 tps=100 nb_sec=1029
case_no=80 label=Case6.68 nb_sol=0 ticks=46705 tps=100 nb_sec=467
case_no=80 label=Case6.68 nb_sol=0 ticks=73281 tps=100 nb_sec=732
case_no=80 label=Case6.68 nb_sol=0 ticks=88047 tps=100 nb_sec=880
case_no=80 label=Case6.68 nb_sol=0 ticks=92066 tps=100 nb_sec=920
case_no=80 label=Case6.68 nb_sol=0 ticks=79482 tps=100 nb_sec=794
case_no=80 label=Case6.68 nb_sol=0 ticks=68131 tps=100 nb_sec=681
case_no=80 label=Case6.68 nb_sol=0 ticks=76497 tps=100 nb_sec=764
case_no=80 label=Case6.68 nb_sol=0 ticks=108449 tps=100 nb_sec=1084
case_no=80 label=Case6.68 nb_sol=0 ticks=81644 tps=100 nb_sec=816
case_no=80 label=Case6.68 nb_sol=0 ticks=107981 tps=100 nb_sec=1079
case_no=80 label=Case6.68 nb_sol=0 ticks=75006 tps=100 nb_sec=750
case_no=80 label=Case6.68 nb_sol=0 ticks=102848 tps=100 nb_sec=1028
case_no=80 label=Case6.68 nb_sol=0 ticks=88664 tps=100 nb_sec=886
case_no=80 label=Case6.68 nb_sol=0 ticks=109011 tps=100 nb_sec=1090
case_no=80 label=Case6.68 nb_sol=0 ticks=81367 tps=100 nb_sec=813
case_no=80 label=Case6.68 nb_sol=0 ticks=103017 tps=100 nb_sec=1030
case_no=80 label=Case6.68 nb_sol=0 ticks=108730 tps=100 nb_sec=1087
case_no=80 label=Case6.68 nb_sol=0 ticks=66602 tps=100 nb_sec=666
case_no=80 label=Case6.68 nb_sol=0 ticks=111750 tps=100 nb_sec=1117
case_no=80 label=Case6.68 nb_sol=0 ticks=69044 tps=100 nb_sec=690
case_no=80 label=Case6.68 nb_sol=0 ticks=52923 tps=100 nb_sec=529
case_no=80 label=Case6.68 nb_sol=0 ticks=101342 tps=100 nb_sec=1013
case_no=80 label=Case6.68 nb_sol=0 ticks=77400 tps=100 nb_sec=774
case_no=80 label=Case6.68 nb_sol=0 ticks=66277 tps=100 nb_sec=662
case_no=80 label=Case6.68 nb_sol=0 ticks=106466 tps=100 nb_sec=1064
case_no=80 label=Case6.68 nb_sol=0 ticks=80745 tps=100 nb_sec=807
case_no=80 label=Case6.68 nb_sol=0 ticks=84445 tps=100 nb_sec=844
case_no=80 label=Case6.68 nb_sol=0 ticks=91856 tps=100 nb_sec=918
case_no=80 label=Case6.68 nb_sol=0 ticks=75211 tps=100 nb_sec=752
case_no=80 label=Case6.68 nb_sol=0 ticks=50840 tps=100 nb_sec=508
case_no=80 label=Case6.68 nb_sol=0 ticks=94715 tps=100 nb_sec=947
case_no=80 label=Case6.68 nb_sol=0 ticks=95242 tps=100 nb_sec=952
case_no=80 label=Case6.68 nb_sol=0 ticks=84725 tps=100 nb_sec=847
case_no=80 label=Case6.68 nb_sol=0 ticks=106156 tps=100 nb_sec=1061
case_no=80 label=Case6.68 nb_sol=0 ticks=92399 tps=100 nb_sec=923
case_no=80 label=Case6.68 nb_sol=0 ticks=91732 tps=100 nb_sec=917
case_no=80 label=Case6.68 nb_sol=0 ticks=45337 tps=100 nb_sec=453
case_no=80 label=Case6.68 nb_sol=0 ticks=97262 tps=100 nb_sec=972
case_no=80 label=Case6.68 nb_sol=0 ticks=86723 tps=100 nb_sec=867
case_no=80 label=Case6.68 nb_sol=0 ticks=96846 tps=100 nb_sec=968
case_no=80 label=Case6.68 nb_sol=0 ticks=108730 tps=100 nb_sec=1087
case_no=80 label=Case6.68 nb_sol=0 ticks=84748 tps=100 nb_sec=847
case_no=80 label=Case6.68 nb_sol=0 ticks=96024 tps=100 nb_sec=960
case_no=80 label=Case6.68 nb_sol=0 ticks=96772 tps=100 nb_sec=967
case_no=80 label=Case6.68 nb_sol=0 ticks=86450 tps=100 nb_sec=864
case_no=80 label=Case6.68 nb_sol=0 ticks=97243 tps=100 nb_sec=972
case_no=80 label=Case6.68 nb_sol=0 ticks=90687 tps=100 nb_sec=906
case_no=80 label=Case6.68 nb_sol=0 ticks=51166 tps=100 nb_sec=511
case_no=80 label=Case6.68 nb_sol=0 ticks=80998 tps=100 nb_sec=809
case_no=80 label=Case6.68 nb_sol=0 ticks=109028 tps=100 nb_sec=1090
case_no=80 label=Case6.68 nb_sol=0 ticks=93311 tps=100 nb_sec=933
case_no=80 label=Case6.68 nb_sol=0 ticks=86511 tps=100 nb_sec=865
case_no=80 label=Case6.68 nb_sol=0 ticks=98771 tps=100 nb_sec=987
case_no=80 label=Case6.68 nb_sol=0 ticks=83543 tps=100 nb_sec=835
case_no=80 label=Case6.68 nb_sol=0 ticks=89004 tps=100 nb_sec=890
case_no=80 label=Case6.68 nb_sol=0 ticks=105618 tps=100 nb_sec=1056
case_no=80 label=Case6.68 nb_sol=0 ticks=100620 tps=100 nb_sec=1006
case_no=80 label=Case6.68 nb_sol=0 ticks=86448 tps=100 nb_sec=864
case_no=80 label=Case6.68 nb_sol=0 ticks=98634 tps=100 nb_sec=986
case_no=80 label=Case6.68 nb_sol=0 ticks=89121 tps=100 nb_sec=891
case_no=80 label=Case6.68 nb_sol=0 ticks=59730 tps=100 nb_sec=597
case_no=80 label=Case6.68 nb_sol=0 ticks=87447 tps=100 nb_sec=874
case_no=80 label=Case6.68 nb_sol=0 ticks=66224 tps=100 nb_sec=662
case_no=80 label=Case6.68 nb_sol=0 ticks=72384 tps=100 nb_sec=723
case_no=80 label=Case6.68 nb_sol=0 ticks=102116 tps=100 nb_sec=1021
case_no=80 label=Case6.68 nb_sol=0 ticks=88537 tps=100 nb_sec=885
case_no=80 label=Case6.68 nb_sol=0 ticks=96164 tps=100 nb_sec=961
case_no=80 label=Case6.68 nb_sol=0 ticks=88031 tps=100 nb_sec=880
case_no=80 label=Case6.68 nb_sol=0 ticks=89439 tps=100 nb_sec=894
case_no=80 label=Case6.68 nb_sol=0 ticks=161127 tps=100 nb_sec=1611
case_no=80 label=Case6.68 nb_sol=0 ticks=92611 tps=100 nb_sec=926
case_no=80 label=Case6.68 nb_sol=0 ticks=83218 tps=100 nb_sec=832
case_no=80 label=Case6.68 nb_sol=0 ticks=84800 tps=100 nb_sec=848
case_no=80 label=Case6.68 nb_sol=0 ticks=186633 tps=100 nb_sec=1866
case_no=80 label=Case6.68 nb_sol=0 ticks=90931 tps=100 nb_sec=909
case_no=80 label=Case6.68 nb_sol=0 ticks=84569 tps=100 nb_sec=845
case_no=80 label=Case6.68 nb_sol=0 ticks=72551 tps=100 nb_sec=725
case_no=80 label=Case6.68 nb_sol=0 ticks=104147 tps=100 nb_sec=1041
case_no=80 label=Case6.68 nb_sol=0 ticks=98451 tps=100 nb_sec=984
case_no=80 label=Case6.68 nb_sol=0 ticks=89097 tps=100 nb_sec=890
case_no=80 label=Case6.68 nb_sol=0 ticks=65402 tps=100 nb_sec=654
case_no=80 label=Case6.68 nb_sol=0 ticks=93903 tps=100 nb_sec=939
case_no=80 label=Case6.68 nb_sol=0 ticks=101077 tps=100 nb_sec=1010
case_no=80 label=Case6.68 nb_sol=0 ticks=94609 tps=100 nb_sec=946
case_no=80 label=Case6.68 nb_sol=0 ticks=96205 tps=100 nb_sec=962
case_no=80 label=Case6.68 nb_sol=0 ticks=100014 tps=100 nb_sec=1000
case_no=80 label=Case6.68 nb_sol=0 ticks=52190 tps=100 nb_sec=521
case_no=80 label=Case6.68 nb_sol=0 ticks=51105 tps=100 nb_sec=511
case_no=80 label=Case6.68 nb_sol=0 ticks=49652 tps=100 nb_sec=496
case_no=80 label=Case6.68 nb_sol=0 ticks=47326 tps=100 nb_sec=473
case_no=80 label=Case6.68 nb_sol=0 ticks=95481 tps=100 nb_sec=954
case_no=80 label=Case6.68 nb_sol=0 ticks=141530 tps=100 nb_sec=1415
case_no=80 label=Case6.68 nb_sol=0 ticks=95361 tps=100 nb_sec=953
case_no=80 label=Case6.68 nb_sol=0 ticks=56927 tps=100 nb_sec=569
case_no=80 label=Case6.68 nb_sol=0 ticks=109197 tps=100 nb_sec=1091
case_no=80 label=Case6.68 nb_sol=0 ticks=53174 tps=100 nb_sec=531
case_no=80 label=Case6.68 nb_sol=0 ticks=91768 tps=100 nb_sec=917
case_no=80 label=Case6.68 nb_sol=0 ticks=149877 tps=100 nb_sec=1498
case_no=80 label=Case6.68 nb_sol=0 ticks=56521 tps=100 nb_sec=565
case_no=80 label=Case6.68 nb_sol=0 ticks=97114 tps=100 nb_sec=971
case_no=80 label=Case6.68 nb_sol=0 ticks=52892 tps=100 nb_sec=528
case_no=80 label=Case6.68 nb_sol=0 ticks=78533 tps=100 nb_sec=785
case_no=80 label=Case6.68 nb_sol=0 ticks=179707 tps=100 nb_sec=1797
case_no=80 label=Case6.68 nb_sol=0 ticks=84680 tps=100 nb_sec=846
case_no=80 label=Case6.68 nb_sol=0 ticks=97670 tps=100 nb_sec=976
case_no=80 label=Case6.68 nb_sol=0 ticks=51888 tps=100 nb_sec=518
case_no=80 label=Case6.68 nb_sol=0 ticks=95756 tps=100 nb_sec=957
case_no=80 label=Case6.68 nb_sol=0 ticks=166128 tps=100 nb_sec=1661
case_no=80 label=Case6.68 nb_sol=0 ticks=69243 tps=100 nb_sec=692
case_no=80 label=Case6.68 nb_sol=0 ticks=101236 tps=100 nb_sec=1012
case_no=80 label=Case6.68 nb_sol=0 ticks=55219 tps=100 nb_sec=552
case_no=80 label=Case6.68 nb_sol=0 ticks=92845 tps=100 nb_sec=928
case_no=80 label=Case6.68 nb_sol=0 ticks=116729 tps=100 nb_sec=1167
case_no=80 label=Case6.68 nb_sol=0 ticks=55168 tps=100 nb_sec=551
case_no=80 label=Case6.68 nb_sol=0 ticks=106723 tps=100 nb_sec=1067
case_no=80 label=Case6.68 nb_sol=0 ticks=51968 tps=100 nb_sec=519
case_no=80 label=Case6.68 nb_sol=0 ticks=95141 tps=100 nb_sec=951
case_no=80 label=Case6.68 nb_sol=0 ticks=122203 tps=100 nb_sec=1222
case_no=80 label=Case6.68 nb_sol=0 ticks=70222 tps=100 nb_sec=702
case_no=80 label=Case6.68 nb_sol=0 ticks=104967 tps=100 nb_sec=1049
case_no=80 label=Case6.68 nb_sol=0 ticks=54003 tps=100 nb_sec=540
case_no=80 label=Case6.68 nb_sol=0 ticks=101206 tps=100 nb_sec=1012
case_no=80 label=Case6.68 nb_sol=0 ticks=123977 tps=100 nb_sec=1239
case_no=80 label=Case6.68 nb_sol=0 ticks=72676 tps=100 nb_sec=726
case_no=80 label=Case6.68 nb_sol=0 ticks=106751 tps=100 nb_sec=1067
case_no=80 label=Case6.68 nb_sol=0 ticks=53860 tps=100 nb_sec=538
case_no=80 label=Case6.68 nb_sol=0 ticks=75922 tps=100 nb_sec=759
case_no=80 label=Case6.68 nb_sol=0 ticks=108755 tps=100 nb_sec=1087
case_no=80 label=Case6.68 nb_sol=0 ticks=44621 tps=100 nb_sec=446
case_no=80 label=Case6.68 nb_sol=0 ticks=109601 tps=100 nb_sec=1096
case_no=80 label=Case6.68 nb_sol=0 ticks=52820 tps=100 nb_sec=528
case_no=80 label=Case6.68 nb_sol=0 ticks=54308 tps=100 nb_sec=543
case_no=80 label=Case6.68 nb_sol=0 ticks=79345 tps=100 nb_sec=793
case_no=80 label=Case6.68 nb_sol=0 ticks=159304 tps=100 nb_sec=1593
case_no=80 label=Case6.68 nb_sol=0 ticks=94479 tps=100 nb_sec=944
case_no=80 label=Case6.68 nb_sol=0 ticks=51713 tps=100 nb_sec=517
case_no=80 label=Case6.68 nb_sol=0 ticks=63419 tps=100 nb_sec=634
case_no=80 label=Case6.68 nb_sol=0 ticks=99281 tps=100 nb_sec=992
case_no=80 label=Case6.68 nb_sol=0 ticks=155837 tps=100 nb_sec=1558
case_no=80 label=Case6.68 nb_sol=0 ticks=96292 tps=100 nb_sec=962
case_no=80 label=Case6.68 nb_sol=0 ticks=54260 tps=100 nb_sec=542
case_no=80 label=Case6.68 nb_sol=0 ticks=140070 tps=100 nb_sec=1400
case_no=80 label=Case6.68 nb_sol=0 ticks=44603 tps=100 nb_sec=446
case_no=80 label=Case6.68 nb_sol=0 ticks=84396 tps=100 nb_sec=843
case_no=80 label=Case6.68 nb_sol=0 ticks=105929 tps=100 nb_sec=1059
case_no=80 label=Case6.68 nb_sol=0 ticks=103829 tps=100 nb_sec=1038
case_no=80 label=Case6.68 nb_sol=0 ticks=43723 tps=100 nb_sec=437
case_no=80 label=Case6.68 nb_sol=0 ticks=72645 tps=100 nb_sec=726
case_no=80 label=Case6.68 nb_sol=0 ticks=112386 tps=100 nb_sec=1123
case_no=80 label=Case6.68 nb_sol=0 ticks=51981 tps=100 nb_sec=519
case_no=80 label=Case6.68 nb_sol=0 ticks=103476 tps=100 nb_sec=1034
case_no=80 label=Case6.68 nb_sol=0 ticks=85639 tps=100 nb_sec=856
case_no=80 label=Case6.68 nb_sol=0 ticks=98178 tps=100 nb_sec=981
case_no=80 label=Case6.68 nb_sol=0 ticks=135710 tps=100 nb_sec=1357
case_no=80 label=Case6.68 nb_sol=0 ticks=61106 tps=100 nb_sec=611
case_no=80 label=Case6.68 nb_sol=0 ticks=81305 tps=100 nb_sec=813
case_no=80 label=Case6.68 nb_sol=0 ticks=103677 tps=100 nb_sec=1036
case_no=80 label=Case6.68 nb_sol=0 ticks=54982 tps=100 nb_sec=549
case_no=80 label=Case6.68 nb_sol=0 ticks=160941 tps=100 nb_sec=1609
case_no=80 label=Case6.68 nb_sol=0 ticks=115624 tps=100 nb_sec=1156
case_no=80 label=Case6.68 nb_sol=0 ticks=69591 tps=100 nb_sec=695
case_no=80 label=Case6.68 nb_sol=0 ticks=86522 tps=100 nb_sec=865
case_no=80 label=Case6.68 nb_sol=0 ticks=101267 tps=100 nb_sec=1012
case_no=80 label=Case6.68 nb_sol=0 ticks=115010 tps=100 nb_sec=1150
case_no=80 label=Case6.68 nb_sol=0 ticks=67402 tps=100 nb_sec=674
case_no=80 label=Case6.68 nb_sol=0 ticks=93428 tps=100 nb_sec=934
case_no=80 label=Case6.68 nb_sol=0 ticks=98943 tps=100 nb_sec=989
case_no=80 label=Case6.68 nb_sol=0 ticks=121594 tps=100 nb_sec=1215
case_no=80 label=Case6.68 nb_sol=0 ticks=159431 tps=100 nb_sec=1594
case_no=80 label=Case6.68 nb_sol=0 ticks=106375 tps=100 nb_sec=1063
case_no=80 label=Case6.68 nb_sol=0 ticks=47624 tps=100 nb_sec=476
case_no=80 label=Case6.68 nb_sol=0 ticks=90567 tps=100 nb_sec=905
case_no=80 label=Case6.68 nb_sol=0 ticks=105423 tps=100 nb_sec=1054
case_no=80 label=Case6.68 nb_sol=0 ticks=115254 tps=100 nb_sec=1152
case_no=80 label=Case6.68 nb_sol=0 ticks=84918 tps=100 nb_sec=849
case_no=80 label=Case6.68 nb_sol=0 ticks=102394 tps=100 nb_sec=1023
case_no=80 label=Case6.68 nb_sol=0 ticks=63011 tps=100 nb_sec=630
case_no=80 label=Case6.68 nb_sol=0 ticks=117430 tps=100 nb_sec=1174
case_no=80 label=Case6.68 nb_sol=0 ticks=90190 tps=100 nb_sec=901
case_no=80 label=Case6.68 nb_sol=0 ticks=115381 tps=100 nb_sec=1153
case_no=80 label=Case6.68 nb_sol=0 ticks=99446 tps=100 nb_sec=994
case_no=80 label=Case6.68 nb_sol=0 ticks=65077 tps=100 nb_sec=650
case_no=80 label=Case6.68 nb_sol=0 ticks=129067 tps=100 nb_sec=1290
case_no=80 label=Case6.68 nb_sol=0 ticks=90384 tps=100 nb_sec=903
case_no=80 label=Case6.68 nb_sol=0 ticks=94562 tps=100 nb_sec=945
case_no=80 label=Case6.68 nb_sol=0 ticks=117147 tps=100 nb_sec=1171
case_no=80 label=Case6.68 nb_sol=0 ticks=73896 tps=100 nb_sec=738
case_no=80 label=Case6.68 nb_sol=0 ticks=122694 tps=100 nb_sec=1226
case_no=80 label=Case6.68 nb_sol=0 ticks=99033 tps=100 nb_sec=990
case_no=80 label=Case6.68 nb_sol=0 ticks=88632 tps=100 nb_sec=886
case_no=80 label=Case6.68 nb_sol=0 ticks=52513 tps=100 nb_sec=525
case_no=80 label=Case6.68 nb_sol=0 ticks=66247 tps=100 nb_sec=662
case_no=80 label=Case6.68 nb_sol=0 ticks=87111 tps=100 nb_sec=871
case_no=80 label=Case6.68 nb_sol=0 ticks=101809 tps=100 nb_sec=1018
case_no=80 label=Case6.68 nb_sol=0 ticks=94898 tps=100 nb_sec=948
case_no=80 label=Case6.68 nb_sol=0 ticks=137899 tps=100 nb_sec=1378
case_no=80 label=Case6.68 nb_sol=0 ticks=77623 tps=100 nb_sec=776
case_no=80 label=Case6.68 nb_sol=0 ticks=95561 tps=100 nb_sec=955
case_no=80 label=Case6.68 nb_sol=0 ticks=119517 tps=100 nb_sec=1195
case_no=80 label=Case6.68 nb_sol=0 ticks=90449 tps=100 nb_sec=904
case_no=80 label=Case6.68 nb_sol=0 ticks=92214 tps=100 nb_sec=922
case_no=80 label=Case6.68 nb_sol=0 ticks=47405 tps=100 nb_sec=474
case_no=80 label=Case6.68 nb_sol=0 ticks=103949 tps=100 nb_sec=1039
case_no=80 label=Case6.68 nb_sol=0 ticks=78993 tps=100 nb_sec=789
case_no=80 label=Case6.68 nb_sol=0 ticks=81308 tps=100 nb_sec=813
case_no=80 label=Case6.68 nb_sol=0 ticks=74754 tps=100 nb_sec=747
case_no=80 label=Case6.68 nb_sol=0 ticks=106501 tps=100 nb_sec=1065
case_no=80 label=Case6.68 nb_sol=0 ticks=88483 tps=100 nb_sec=884
case_no=80 label=Case6.68 nb_sol=0 ticks=95812 tps=100 nb_sec=958
case_no=80 label=Case6.68 nb_sol=0 ticks=102005 tps=100 nb_sec=1020
case_no=80 label=Case6.68 nb_sol=0 ticks=99644 tps=100 nb_sec=996
case_no=80 label=Case6.68 nb_sol=0 ticks=114424 tps=100 nb_sec=1144
case_no=80 label=Case6.68 nb_sol=0 ticks=51945 tps=100 nb_sec=519
case_no=80 label=Case6.68 nb_sol=0 ticks=88844 tps=100 nb_sec=888
case_no=80 label=Case6.68 nb_sol=0 ticks=89762 tps=100 nb_sec=897
case_no=80 label=Case6.68 nb_sol=0 ticks=108036 tps=100 nb_sec=1080
case_no=80 label=Case6.68 nb_sol=0 ticks=99907 tps=100 nb_sec=999
case_no=80 label=Case6.68 nb_sol=0 ticks=95487 tps=100 nb_sec=954
case_no=80 label=Case6.68 nb_sol=0 ticks=62973 tps=100 nb_sec=629
case_no=80 label=Case6.68 nb_sol=0 ticks=113084 tps=100 nb_sec=1130
case_no=80 label=Case6.68 nb_sol=0 ticks=150707 tps=100 nb_sec=1507
case_no=80 label=Case6.68 nb_sol=0 ticks=87315 tps=100 nb_sec=873
case_no=80 label=Case6.68 nb_sol=0 ticks=80416 tps=100 nb_sec=804
case_no=80 label=Case6.68 nb_sol=0 ticks=74434 tps=100 nb_sec=744
case_no=80 label=Case6.68 nb_sol=0 ticks=80951 tps=100 nb_sec=809
case_no=80 label=Case6.68 nb_sol=0 ticks=119705 tps=100 nb_sec=1197
case_no=80 label=Case6.68 nb_sol=0 ticks=105021 tps=100 nb_sec=1050
case_no=80 label=Case6.68 nb_sol=0 ticks=135568 tps=100 nb_sec=1355
case_no=80 label=Case6.68 nb_sol=0 ticks=49969 tps=100 nb_sec=499
case_no=80 label=Case6.68 nb_sol=0 ticks=88224 tps=100 nb_sec=882
case_no=80 label=Case6.68 nb_sol=0 ticks=117590 tps=100 nb_sec=1175
case_no=80 label=Case6.68 nb_sol=0 ticks=89094 tps=100 nb_sec=890
case_no=80 label=Case6.68 nb_sol=0 ticks=96459 tps=100 nb_sec=964
case_no=80 label=Case6.68 nb_sol=0 ticks=163013 tps=100 nb_sec=1630
case_no=80 label=Case6.68 nb_sol=0 ticks=68384 tps=100 nb_sec=683
case_no=80 label=Case6.68 nb_sol=0 ticks=92368 tps=100 nb_sec=923
case_no=80 label=Case6.68 nb_sol=0 ticks=82628 tps=100 nb_sec=826
case_no=80 label=Case6.68 nb_sol=0 ticks=91108 tps=100 nb_sec=911
case_no=80 label=Case6.68 nb_sol=0 ticks=138011 tps=100 nb_sec=1380
case_no=80 label=Case6.68 nb_sol=0 ticks=95106 tps=100 nb_sec=951
case_no=80 label=Case6.68 nb_sol=0 ticks=61505 tps=100 nb_sec=615
case_no=80 label=Case6.68 nb_sol=0 ticks=97869 tps=100 nb_sec=978
case_no=80 label=Case6.68 nb_sol=0 ticks=60470 tps=100 nb_sec=604
case_no=80 label=Case6.68 nb_sol=0 ticks=125076 tps=100 nb_sec=1250
case_no=80 label=Case6.68 nb_sol=0 ticks=89456 tps=100 nb_sec=894
case_no=80 label=Case6.68 nb_sol=0 ticks=102812 tps=100 nb_sec=1028
case_no=80 label=Case6.68 nb_sol=0 ticks=82566 tps=100 nb_sec=825
case_no=80 label=Case6.68 nb_sol=0 ticks=101410 tps=100 nb_sec=1014
case_no=80 label=Case6.68 nb_sol=0 ticks=57891 tps=100 nb_sec=578
case_no=80 label=Case6.68 nb_sol=0 ticks=99262 tps=100 nb_sec=992
case_no=80 label=Case6.68 nb_sol=0 ticks=105727 tps=100 nb_sec=1057
case_no=80 label=Case6.68 nb_sol=0 ticks=97072 tps=100 nb_sec=970
case_no=80 label=Case6.68 nb_sol=0 ticks=115174 tps=100 nb_sec=1151
case_no=80 label=Case6.68 nb_sol=0 ticks=75920 tps=100 nb_sec=759
case_no=80 label=Case6.68 nb_sol=0 ticks=81176 tps=100 nb_sec=811
case_no=80 label=Case6.68 nb_sol=0 ticks=81106 tps=100 nb_sec=811
case_no=80 label=Case6.68 nb_sol=0 ticks=96536 tps=100 nb_sec=965
case_no=80 label=Case6.68 nb_sol=0 ticks=103935 tps=100 nb_sec=1039
case_no=80 label=Case6.68 nb_sol=0 ticks=46687 tps=100 nb_sec=466
case_no=80 label=Case6.68 nb_sol=0 ticks=79039 tps=100 nb_sec=790
case_no=80 label=Case6.68 nb_sol=0 ticks=91011 tps=100 nb_sec=910
case_no=80 label=Case6.68 nb_sol=0 ticks=104250 tps=100 nb_sec=1042
case_no=80 label=Case6.68 nb_sol=0 ticks=91165 tps=100 nb_sec=911
case_no=80 label=Case6.68 nb_sol=0 ticks=66107 tps=100 nb_sec=661
case_no=80 label=Case6.68 nb_sol=0 ticks=42148 tps=100 nb_sec=421
case_no=80 label=Case6.68 nb_sol=0 ticks=99968 tps=100 nb_sec=999
case_no=80 label=Case6.68 nb_sol=0 ticks=91885 tps=100 nb_sec=918
case_no=80 label=Case6.68 nb_sol=0 ticks=83151 tps=100 nb_sec=831
case_no=80 label=Case6.68 nb_sol=0 ticks=93705 tps=100 nb_sec=937
case_no=80 label=Case6.68 nb_sol=0 ticks=91383 tps=100 nb_sec=913
case_no=80 label=Case6.68 nb_sol=0 ticks=47097 tps=100 nb_sec=470
case_no=80 label=Case6.68 nb_sol=0 ticks=81339 tps=100 nb_sec=813
case_no=80 label=Case6.68 nb_sol=0 ticks=103411 tps=100 nb_sec=1034
case_no=80 label=Case6.68 nb_sol=0 ticks=72583 tps=100 nb_sec=725
case_no=80 label=Case6.68 nb_sol=0 ticks=103884 tps=100 nb_sec=1038
case_no=80 label=Case6.68 nb_sol=0 ticks=99063 tps=100 nb_sec=990
case_no=80 label=Case6.68 nb_sol=0 ticks=91377 tps=100 nb_sec=913
case_no=80 label=Case6.68 nb_sol=0 ticks=81593 tps=100 nb_sec=815
case_no=80 label=Case6.68 nb_sol=0 ticks=89106 tps=100 nb_sec=891
case_no=80 label=Case6.68 nb_sol=0 ticks=74600 tps=100 nb_sec=746
case_no=80 label=Case6.68 nb_sol=0 ticks=46574 tps=100 nb_sec=465
case_no=80 label=Case6.68 nb_sol=0 ticks=101543 tps=100 nb_sec=1015
case_no=80 label=Case6.68 nb_sol=0 ticks=65994 tps=100 nb_sec=659
case_no=80 label=Case6.68 nb_sol=0 ticks=90758 tps=100 nb_sec=907
case_no=80 label=Case6.68 nb_sol=0 ticks=97362 tps=100 nb_sec=973
case_no=80 label=Case6.68 nb_sol=0 ticks=85574 tps=100 nb_sec=855
case_no=80 label=Case6.68 nb_sol=0 ticks=67738 tps=100 nb_sec=677
case_no=80 label=Case6.68 nb_sol=0 ticks=54057 tps=100 nb_sec=540
case_no=80 label=Case6.68 nb_sol=0 ticks=58188 tps=100 nb_sec=581
case_no=80 label=Case6.68 nb_sol=0 ticks=93219 tps=100 nb_sec=932
case_no=80 label=Case6.68 nb_sol=0 ticks=80748 tps=100 nb_sec=807
case_no=80 label=Case6.68 nb_sol=0 ticks=45778 tps=100 nb_sec=457
case_no=80 label=Case6.68 nb_sol=0 ticks=39904 tps=100 nb_sec=399
case_no=80 label=Case6.68 nb_sol=0 ticks=54734 tps=100 nb_sec=547
case_no=80 label=Case6.68 nb_sol=0 ticks=107375 tps=100 nb_sec=1073
case_no=80 label=Case6.68 nb_sol=0 ticks=89036 tps=100 nb_sec=890
case_no=80 label=Case6.68 nb_sol=0 ticks=61997 tps=100 nb_sec=619
case_no=80 label=Case6.68 nb_sol=0 ticks=46548 tps=100 nb_sec=465
case_no=80 label=Case6.68 nb_sol=0 ticks=84873 tps=100 nb_sec=848
case_no=80 label=Case6.68 nb_sol=0 ticks=90224 tps=100 nb_sec=902
case_no=80 label=Case6.68 nb_sol=0 ticks=81229 tps=100 nb_sec=812
case_no=80 label=Case6.68 nb_sol=0 ticks=65307 tps=100 nb_sec=653
case_no=80 label=Case6.68 nb_sol=0 ticks=91145 tps=100 nb_sec=911
case_no=80 label=Case6.68 nb_sol=0 ticks=94982 tps=100 nb_sec=949
case_no=80 label=Case6.68 nb_sol=0 ticks=85063 tps=100 nb_sec=850
case_no=80 label=Case6.68 nb_sol=0 ticks=87787 tps=100 nb_sec=877
case_no=80 label=Case6.68 nb_sol=0 ticks=60131 tps=100 nb_sec=601
case_no=80 label=Case6.68 nb_sol=0 ticks=94159 tps=100 nb_sec=941
case_no=80 label=Case6.68 nb_sol=0 ticks=101441 tps=100 nb_sec=1014
case_no=80 label=Case6.68 nb_sol=0 ticks=58443 tps=100 nb_sec=584
case_no=80 label=Case6.68 nb_sol=0 ticks=46356 tps=100 nb_sec=463
case_no=80 label=Case6.68 nb_sol=0 ticks=87482 tps=100 nb_sec=874
case_no=80 label=Case6.68 nb_sol=0 ticks=101261 tps=100 nb_sec=1012
case_no=80 label=Case6.68 nb_sol=0 ticks=77330 tps=100 nb_sec=773
case_no=80 label=Case6.68 nb_sol=0 ticks=62259 tps=100 nb_sec=622
case_no=80 label=Case6.68 nb_sol=0 ticks=111500 tps=100 nb_sec=1115
case_no=80 label=Case6.68 nb_sol=0 ticks=134597 tps=100 nb_sec=1345
case_no=80 label=Case6.68 nb_sol=0 ticks=63851 tps=100 nb_sec=638
case_no=80 label=Case6.68 nb_sol=0 ticks=50012 tps=100 nb_sec=500
case_no=80 label=Case6.68 nb_sol=0 ticks=67520 tps=100 nb_sec=675
case_no=80 label=Case6.68 nb_sol=0 ticks=95543 tps=100 nb_sec=955
case_no=80 label=Case6.68 nb_sol=0 ticks=95583 tps=100 nb_sec=955
case_no=80 label=Case6.68 nb_sol=0 ticks=88549 tps=100 nb_sec=885
case_no=80 label=Case6.68 nb_sol=0 ticks=89382 tps=100 nb_sec=893
case_no=80 label=Case6.68 nb_sol=0 ticks=98260 tps=100 nb_sec=982
case_no=80 label=Case6.68 nb_sol=0 ticks=112189 tps=100 nb_sec=1121
case_no=80 label=Case6.68 nb_sol=0 ticks=97212 tps=100 nb_sec=972
case_no=80 label=Case6.68 nb_sol=0 ticks=112407 tps=100 nb_sec=1124
case_no=80 label=Case6.68 nb_sol=0 ticks=182367 tps=100 nb_sec=1823
case_no=80 label=Case6.68 nb_sol=0 ticks=106902 tps=100 nb_sec=1069
case_no=80 label=Case6.68 nb_sol=0 ticks=115108 tps=100 nb_sec=1151
case_no=80 label=Case6.68 nb_sol=0 ticks=105668 tps=100 nb_sec=1056
case_no=80 label=Case6.68 nb_sol=0 ticks=93242 tps=100 nb_sec=932
case_no=80 label=Case6.68 nb_sol=0 ticks=129754 tps=100 nb_sec=1297
case_no=80 label=Case6.68 nb_sol=0 ticks=65840 tps=100 nb_sec=658
case_no=80 label=Case6.68 nb_sol=0 ticks=97886 tps=100 nb_sec=978
case_no=80 label=Case6.68 nb_sol=0 ticks=86178 tps=100 nb_sec=861
case_no=80 label=Case6.68 nb_sol=0 ticks=50027 tps=100 nb_sec=500
case_no=80 label=Case6.68 nb_sol=0 ticks=114038 tps=100 nb_sec=1140
case_no=80 label=Case6.68 nb_sol=0 ticks=64261 tps=100 nb_sec=642
case_no=80 label=Case6.68 nb_sol=0 ticks=86590 tps=100 nb_sec=865
case_no=80 label=Case6.68 nb_sol=0 ticks=100990 tps=100 nb_sec=1009
case_no=80 label=Case6.68 nb_sol=0 ticks=82965 tps=100 nb_sec=829
case_no=80 label=Case6.68 nb_sol=0 ticks=101998 tps=100 nb_sec=1019
case_no=80 label=Case6.68 nb_sol=0 ticks=45785 tps=100 nb_sec=457
case_no=80 label=Case6.68 nb_sol=0 ticks=126460 tps=100 nb_sec=1264
case_no=80 label=Case6.68 nb_sol=0 ticks=113669 tps=100 nb_sec=1136
case_no=80 label=Case6.68 nb_sol=0 ticks=130558 tps=100 nb_sec=1305
case_no=80 label=Case6.68 nb_sol=0 ticks=97777 tps=100 nb_sec=977
case_no=80 label=Case6.68 nb_sol=0 ticks=72730 tps=100 nb_sec=727
case_no=80 label=Case6.68 nb_sol=0 ticks=84522 tps=100 nb_sec=845
case_no=80 label=Case6.68 nb_sol=0 ticks=44569 tps=100 nb_sec=445
case_no=80 label=Case6.68 nb_sol=0 ticks=70426 tps=100 nb_sec=704
case_no=80 label=Case6.68 nb_sol=0 ticks=127396 tps=100 nb_sec=1273
case_no=80 label=Case6.68 nb_sol=0 ticks=54192 tps=100 nb_sec=541
case_no=80 label=Case6.68 nb_sol=0 ticks=105127 tps=100 nb_sec=1051
case_no=80 label=Case6.68 nb_sol=0 ticks=67342 tps=100 nb_sec=673
case_no=80 label=Case6.68 nb_sol=0 ticks=67592 tps=100 nb_sec=675
case_no=80 label=Case6.68 nb_sol=0 ticks=123722 tps=100 nb_sec=1237
case_no=80 label=Case6.68 nb_sol=0 ticks=42392 tps=100 nb_sec=423
case_no=80 label=Case6.68 nb_sol=0 ticks=97182 tps=100 nb_sec=971
case_no=80 label=Case6.68 nb_sol=0 ticks=72246 tps=100 nb_sec=722
case_no=80 label=Case6.68 nb_sol=0 ticks=62399 tps=100 nb_sec=623
case_no=80 label=Case6.68 nb_sol=0 ticks=121749 tps=100 nb_sec=1217
case_no=80 label=Case6.68 nb_sol=0 ticks=78769 tps=100 nb_sec=787
case_no=80 label=Case6.68 nb_sol=0 ticks=100625 tps=100 nb_sec=1006
case_no=80 label=Case6.68 nb_sol=0 ticks=70074 tps=100 nb_sec=700
case_no=80 label=Case6.68 nb_sol=0 ticks=76376 tps=100 nb_sec=763
case_no=80 label=Case6.68 nb_sol=0 ticks=95876 tps=100 nb_sec=958
case_no=80 label=Case6.68 nb_sol=0 ticks=58970 tps=100 nb_sec=589
case_no=80 label=Case6.68 nb_sol=0 ticks=97546 tps=100 nb_sec=975
case_no=80 label=Case6.68 nb_sol=0 ticks=90014 tps=100 nb_sec=900
case_no=80 label=Case6.68 nb_sol=0 ticks=115692 tps=100 nb_sec=1156
case_no=80 label=Case6.68 nb_sol=0 ticks=56522 tps=100 nb_sec=565
case_no=80 label=Case6.68 nb_sol=0 ticks=87808 tps=100 nb_sec=878
case_no=80 label=Case6.68 nb_sol=0 ticks=88317 tps=100 nb_sec=883
case_no=80 label=Case6.68 nb_sol=0 ticks=88035 tps=100 nb_sec=880
case_no=80 label=Case6.68 nb_sol=0 ticks=96973 tps=100 nb_sec=969
case_no=80 label=Case6.68 nb_sol=0 ticks=97958 tps=100 nb_sec=979
case_no=80 label=Case6.68 nb_sol=0 ticks=77346 tps=100 nb_sec=773
case_no=80 label=Case6.68 nb_sol=0 ticks=85659 tps=100 nb_sec=856
case_no=80 label=Case6.68 nb_sol=0 ticks=94392 tps=100 nb_sec=943
case_no=80 label=Case6.68 nb_sol=0 ticks=43646 tps=100 nb_sec=436
case_no=80 label=Case6.68 nb_sol=0 ticks=117316 tps=100 nb_sec=1173
case_no=80 label=Case6.68 nb_sol=0 ticks=79352 tps=100 nb_sec=793
case_no=80 label=Case6.68 nb_sol=0 ticks=42023 tps=100 nb_sec=420
case_no=80 label=Case6.68 nb_sol=0 ticks=88612 tps=100 nb_sec=886
case_no=80 label=Case6.68 nb_sol=0 ticks=88433 tps=100 nb_sec=884
case_no=80 label=Case6.68 nb_sol=0 ticks=71420 tps=100 nb_sec=714
case_no=80 label=Case6.68 nb_sol=0 ticks=99889 tps=100 nb_sec=998
case_no=80 label=Case6.68 nb_sol=0 ticks=66650 tps=100 nb_sec=666
case_no=80 label=Case6.68 nb_sol=0 ticks=120588 tps=100 nb_sec=1205
case_no=80 label=Case6.68 nb_sol=0 ticks=86548 tps=100 nb_sec=865
case_no=80 label=Case6.68 nb_sol=0 ticks=89949 tps=100 nb_sec=899
case_no=80 label=Case6.68 nb_sol=0 ticks=84518 tps=100 nb_sec=845
case_no=80 label=Case6.68 nb_sol=0 ticks=102816 tps=100 nb_sec=1028
case_no=80 label=Case6.68 nb_sol=0 ticks=113867 tps=100 nb_sec=1138
case_no=80 label=Case6.68 nb_sol=0 ticks=72460 tps=100 nb_sec=724
case_no=80 label=Case6.68 nb_sol=0 ticks=100279 tps=100 nb_sec=1002
case_no=80 label=Case6.68 nb_sol=0 ticks=118594 tps=100 nb_sec=1185
case_no=80 label=Case6.68 nb_sol=0 ticks=88103 tps=100 nb_sec=881
case_no=80 label=Case6.68 nb_sol=0 ticks=56640 tps=100 nb_sec=566
case_no=80 label=Case6.68 nb_sol=0 ticks=74762 tps=100 nb_sec=747
case_no=80 label=Case6.68 nb_sol=0 ticks=103382 tps=100 nb_sec=1033
case_no=80 label=Case6.68 nb_sol=0 ticks=46595 tps=100 nb_sec=465
case_no=80 label=Case6.68 nb_sol=0 ticks=116731 tps=100 nb_sec=1167
case_no=80 label=Case6.68 nb_sol=0 ticks=85942 tps=100 nb_sec=859
case_no=80 label=Case6.68 nb_sol=0 ticks=57860 tps=100 nb_sec=578
case_no=80 label=Case6.68 nb_sol=0 ticks=60583 tps=100 nb_sec=605
case_no=80 label=Case6.68 nb_sol=0 ticks=101770 tps=100 nb_sec=1017
case_no=80 label=Case6.68 nb_sol=0 ticks=61012 tps=100 nb_sec=610
case_no=80 label=Case6.68 nb_sol=0 ticks=89461 tps=100 nb_sec=894
case_no=80 label=Case6.68 nb_sol=0 ticks=79738 tps=100 nb_sec=797
case_no=80 label=Case6.68 nb_sol=0 ticks=85684 tps=100 nb_sec=856
case_no=80 label=Case6.68 nb_sol=0 ticks=82547 tps=100 nb_sec=825
case_no=80 label=Case6.68 nb_sol=0 ticks=60996 tps=100 nb_sec=609
case_no=80 label=Case6.68 nb_sol=0 ticks=113442 tps=100 nb_sec=1134
case_no=80 label=Case6.68 nb_sol=0 ticks=75669 tps=100 nb_sec=756
case_no=80 label=Case6.68 nb_sol=0 ticks=65720 tps=100 nb_sec=657
case_no=80 label=Case6.68 nb_sol=0 ticks=84146 tps=100 nb_sec=841
case_no=80 label=Case6.68 nb_sol=0 ticks=101741 tps=100 nb_sec=1017
case_no=80 label=Case6.68 nb_sol=0 ticks=104427 tps=100 nb_sec=1044
case_no=80 label=Case6.68 nb_sol=0 ticks=130127 tps=100 nb_sec=1301
case_no=80 label=Case6.68 nb_sol=0 ticks=60579 tps=100 nb_sec=605
case_no=80 label=Case6.68 nb_sol=0 ticks=87703 tps=100 nb_sec=877
case_no=80 label=Case6.68 nb_sol=0 ticks=86249 tps=100 nb_sec=862
case_no=80 label=Case6.68 nb_sol=0 ticks=86862 tps=100 nb_sec=868
case_no=80 label=Case6.68 nb_sol=0 ticks=101206 tps=100 nb_sec=1012
case_no=80 label=Case6.68 nb_sol=0 ticks=88005 tps=100 nb_sec=880
case_no=80 label=Case6.68 nb_sol=0 ticks=40856 tps=100 nb_sec=408
case_no=80 label=Case6.68 nb_sol=0 ticks=86887 tps=100 nb_sec=868
case_no=80 label=Case6.68 nb_sol=0 ticks=71922 tps=100 nb_sec=719
case_no=80 label=Case6.68 nb_sol=0 ticks=71867 tps=100 nb_sec=718
case_no=80 label=Case6.68 nb_sol=0 ticks=115323 tps=100 nb_sec=1153
case_no=80 label=Case6.68 nb_sol=0 ticks=54782 tps=100 nb_sec=547
case_no=80 label=Case6.68 nb_sol=0 ticks=88071 tps=100 nb_sec=880
case_no=80 label=Case6.68 nb_sol=0 ticks=86456 tps=100 nb_sec=864
case_no=80 label=Case6.68 nb_sol=0 ticks=115009 tps=100 nb_sec=1150
case_no=80 label=Case6.68 nb_sol=0 ticks=53121 tps=100 nb_sec=531
case_no=80 label=Case6.68 nb_sol=0 ticks=58012 tps=100 nb_sec=580
case_no=80 label=Case6.68 nb_sol=0 ticks=115002 tps=100 nb_sec=1150
case_no=80 label=Case6.68 nb_sol=0 ticks=113706 tps=100 nb_sec=1137
case_no=80 label=Case6.68 nb_sol=0 ticks=114396 tps=100 nb_sec=1143
case_no=80 label=Case6.68 nb_sol=0 ticks=105064 tps=100 nb_sec=1050
case_no=80 label=Case6.68 nb_sol=0 ticks=86855 tps=100 nb_sec=868
case_no=80 label=Case6.68 nb_sol=0 ticks=59244 tps=100 nb_sec=592
case_no=80 label=Case6.68 nb_sol=0 ticks=83388 tps=100 nb_sec=833
case_no=80 label=Case6.68 nb_sol=0 ticks=113522 tps=100 nb_sec=1135
case_no=80 label=Case6.68 nb_sol=0 ticks=42324 tps=100 nb_sec=423
case_no=80 label=Case6.68 nb_sol=0 ticks=42586 tps=100 nb_sec=425
case_no=80 label=Case6.68 nb_sol=0 ticks=69846 tps=100 nb_sec=698
case_no=80 label=Case6.68 nb_sol=0 ticks=78126 tps=100 nb_sec=781
case_no=80 label=Case6.68 nb_sol=0 ticks=60217 tps=100 nb_sec=602
case_no=80 label=Case6.68 nb_sol=0 ticks=87422 tps=100 nb_sec=874
case_no=80 label=Case6.68 nb_sol=0 ticks=92953 tps=100 nb_sec=929
case_no=80 label=Case6.68 nb_sol=0 ticks=87361 tps=100 nb_sec=873
case_no=80 label=Case6.68 nb_sol=0 ticks=60744 tps=100 nb_sec=607
case_no=80 label=Case6.68 nb_sol=0 ticks=155935 tps=100 nb_sec=1559
case_no=80 label=Case6.68 nb_sol=0 ticks=52618 tps=100 nb_sec=526
case_no=80 label=Case6.68 nb_sol=0 ticks=150680 tps=100 nb_sec=1506
case_no=80 label=Case6.68 nb_sol=0 ticks=82525 tps=100 nb_sec=825
case_no=80 label=Case6.68 nb_sol=0 ticks=100822 tps=100 nb_sec=1008
case_no=80 label=Case6.68 nb_sol=0 ticks=44053 tps=100 nb_sec=440
case_no=80 label=Case6.68 nb_sol=0 ticks=85110 tps=100 nb_sec=851
case_no=80 label=Case6.68 nb_sol=0 ticks=84625 tps=100 nb_sec=846
case_no=80 label=Case6.68 nb_sol=0 ticks=88518 tps=100 nb_sec=885
case_no=80 label=Case6.68 nb_sol=0 ticks=65828 tps=100 nb_sec=658
case_no=80 label=Case6.68 nb_sol=0 ticks=87126 tps=100 nb_sec=871
case_no=80 label=Case6.68 nb_sol=0 ticks=44133 tps=100 nb_sec=441
case_no=80 label=Case6.68 nb_sol=0 ticks=94131 tps=100 nb_sec=941
case_no=80 label=Case6.68 nb_sol=0 ticks=134480 tps=100 nb_sec=1344
case_no=80 label=Case6.68 nb_sol=0 ticks=84024 tps=100 nb_sec=840
case_no=80 label=Case6.68 nb_sol=0 ticks=97750 tps=100 nb_sec=977
case_no=80 label=Case6.68 nb_sol=0 ticks=88437 tps=100 nb_sec=884
case_no=80 label=Case6.68 nb_sol=0 ticks=94416 tps=100 nb_sec=944
case_no=80 label=Case6.68 nb_sol=0 ticks=87544 tps=100 nb_sec=875
case_no=80 label=Case6.68 nb_sol=0 ticks=58145 tps=100 nb_sec=581
case_no=80 label=Case6.68 nb_sol=0 ticks=80053 tps=100 nb_sec=800
case_no=80 label=Case6.68 nb_sol=0 ticks=82829 tps=100 nb_sec=828
case_no=80 label=Case6.68 nb_sol=0 ticks=40992 tps=100 nb_sec=409
case_no=80 label=Case6.68 nb_sol=0 ticks=84115 tps=100 nb_sec=841
case_no=80 label=Case6.68 nb_sol=0 ticks=94921 tps=100 nb_sec=949
case_no=80 label=Case6.68 nb_sol=0 ticks=96799 tps=100 nb_sec=967
case_no=80 label=Case6.68 nb_sol=0 ticks=83436 tps=100 nb_sec=834
case_no=80 label=Case6.68 nb_sol=0 ticks=80919 tps=100 nb_sec=809
case_no=80 label=Case6.68 nb_sol=0 ticks=58011 tps=100 nb_sec=580
Nb_sol=0
Nb_sec=450711
5-5:11:51 or 125 hours
missing cases:
none