argc=6
-M 512
file2=30_select_Case6.78_starter_16_
checking files mod 512 from 0 to 511
case_no=90 label=Case6.78 nb_sol=0 ticks=119547 tps=100 nb_sec=1195
case_no=90 label=Case6.78 nb_sol=0 ticks=57883 tps=100 nb_sec=578
case_no=90 label=Case6.78 nb_sol=0 ticks=95723 tps=100 nb_sec=957
case_no=90 label=Case6.78 nb_sol=0 ticks=77037 tps=100 nb_sec=770
case_no=90 label=Case6.78 nb_sol=0 ticks=76761 tps=100 nb_sec=767
case_no=90 label=Case6.78 nb_sol=0 ticks=118686 tps=100 nb_sec=1186
case_no=90 label=Case6.78 nb_sol=0 ticks=97109 tps=100 nb_sec=971
case_no=90 label=Case6.78 nb_sol=0 ticks=91270 tps=100 nb_sec=912
case_no=90 label=Case6.78 nb_sol=0 ticks=93339 tps=100 nb_sec=933
case_no=90 label=Case6.78 nb_sol=0 ticks=93361 tps=100 nb_sec=933
case_no=90 label=Case6.78 nb_sol=0 ticks=116774 tps=100 nb_sec=1167
case_no=90 label=Case6.78 nb_sol=0 ticks=65361 tps=100 nb_sec=653
case_no=90 label=Case6.78 nb_sol=0 ticks=115481 tps=100 nb_sec=1154
case_no=90 label=Case6.78 nb_sol=0 ticks=87079 tps=100 nb_sec=870
case_no=90 label=Case6.78 nb_sol=0 ticks=78700 tps=100 nb_sec=787
case_no=90 label=Case6.78 nb_sol=0 ticks=85602 tps=100 nb_sec=856
case_no=90 label=Case6.78 nb_sol=0 ticks=65217 tps=100 nb_sec=652
case_no=90 label=Case6.78 nb_sol=0 ticks=54600 tps=100 nb_sec=546
case_no=90 label=Case6.78 nb_sol=0 ticks=61789 tps=100 nb_sec=617
case_no=90 label=Case6.78 nb_sol=0 ticks=99858 tps=100 nb_sec=998
case_no=90 label=Case6.78 nb_sol=0 ticks=99306 tps=100 nb_sec=993
case_no=90 label=Case6.78 nb_sol=0 ticks=89537 tps=100 nb_sec=895
case_no=90 label=Case6.78 nb_sol=0 ticks=121121 tps=100 nb_sec=1211
case_no=90 label=Case6.78 nb_sol=0 ticks=67760 tps=100 nb_sec=677
case_no=90 label=Case6.78 nb_sol=0 ticks=90743 tps=100 nb_sec=907
case_no=90 label=Case6.78 nb_sol=0 ticks=61365 tps=100 nb_sec=613
case_no=90 label=Case6.78 nb_sol=0 ticks=41052 tps=100 nb_sec=410
case_no=90 label=Case6.78 nb_sol=0 ticks=56005 tps=100 nb_sec=560
case_no=90 label=Case6.78 nb_sol=0 ticks=110962 tps=100 nb_sec=1109
case_no=90 label=Case6.78 nb_sol=0 ticks=87641 tps=100 nb_sec=876
case_no=90 label=Case6.78 nb_sol=0 ticks=92590 tps=100 nb_sec=925
case_no=90 label=Case6.78 nb_sol=0 ticks=108475 tps=100 nb_sec=1084
case_no=90 label=Case6.78 nb_sol=0 ticks=75181 tps=100 nb_sec=751
case_no=90 label=Case6.78 nb_sol=0 ticks=83383 tps=100 nb_sec=833
case_no=90 label=Case6.78 nb_sol=0 ticks=42805 tps=100 nb_sec=428
case_no=90 label=Case6.78 nb_sol=0 ticks=88443 tps=100 nb_sec=884
case_no=90 label=Case6.78 nb_sol=0 ticks=81245 tps=100 nb_sec=812
case_no=90 label=Case6.78 nb_sol=0 ticks=117162 tps=100 nb_sec=1171
case_no=90 label=Case6.78 nb_sol=0 ticks=60592 tps=100 nb_sec=605
case_no=90 label=Case6.78 nb_sol=0 ticks=44209 tps=100 nb_sec=442
case_no=90 label=Case6.78 nb_sol=0 ticks=85821 tps=100 nb_sec=858
case_no=90 label=Case6.78 nb_sol=0 ticks=79559 tps=100 nb_sec=795
case_no=90 label=Case6.78 nb_sol=0 ticks=54956 tps=100 nb_sec=549
case_no=90 label=Case6.78 nb_sol=0 ticks=117981 tps=100 nb_sec=1179
case_no=90 label=Case6.78 nb_sol=0 ticks=120603 tps=100 nb_sec=1206
case_no=90 label=Case6.78 nb_sol=0 ticks=121546 tps=100 nb_sec=1215
case_no=90 label=Case6.78 nb_sol=0 ticks=68795 tps=100 nb_sec=687
case_no=90 label=Case6.78 nb_sol=0 ticks=81355 tps=100 nb_sec=813
case_no=90 label=Case6.78 nb_sol=0 ticks=81279 tps=100 nb_sec=812
case_no=90 label=Case6.78 nb_sol=0 ticks=70586 tps=100 nb_sec=705
case_no=90 label=Case6.78 nb_sol=0 ticks=42965 tps=100 nb_sec=429
case_no=90 label=Case6.78 nb_sol=0 ticks=86887 tps=100 nb_sec=868
case_no=90 label=Case6.78 nb_sol=0 ticks=73619 tps=100 nb_sec=736
case_no=90 label=Case6.78 nb_sol=0 ticks=198310 tps=100 nb_sec=1983
case_no=90 label=Case6.78 nb_sol=0 ticks=83478 tps=100 nb_sec=834
case_no=90 label=Case6.78 nb_sol=0 ticks=128398 tps=100 nb_sec=1283
case_no=90 label=Case6.78 nb_sol=0 ticks=126206 tps=100 nb_sec=1262
case_no=90 label=Case6.78 nb_sol=0 ticks=179759 tps=100 nb_sec=1797
case_no=90 label=Case6.78 nb_sol=0 ticks=61488 tps=100 nb_sec=614
case_no=90 label=Case6.78 nb_sol=0 ticks=86184 tps=100 nb_sec=861
case_no=90 label=Case6.78 nb_sol=0 ticks=82401 tps=100 nb_sec=824
case_no=90 label=Case6.78 nb_sol=0 ticks=40706 tps=100 nb_sec=407
case_no=90 label=Case6.78 nb_sol=0 ticks=121584 tps=100 nb_sec=1215
case_no=90 label=Case6.78 nb_sol=0 ticks=119005 tps=100 nb_sec=1190
case_no=90 label=Case6.78 nb_sol=0 ticks=70561 tps=100 nb_sec=705
case_no=90 label=Case6.78 nb_sol=0 ticks=87966 tps=100 nb_sec=879
case_no=90 label=Case6.78 nb_sol=0 ticks=81435 tps=100 nb_sec=814
case_no=90 label=Case6.78 nb_sol=0 ticks=44182 tps=100 nb_sec=441
case_no=90 label=Case6.78 nb_sol=0 ticks=135145 tps=100 nb_sec=1351
case_no=90 label=Case6.78 nb_sol=0 ticks=121596 tps=100 nb_sec=1215
case_no=90 label=Case6.78 nb_sol=0 ticks=67706 tps=100 nb_sec=677
case_no=90 label=Case6.78 nb_sol=0 ticks=74217 tps=100 nb_sec=742
case_no=90 label=Case6.78 nb_sol=0 ticks=64303 tps=100 nb_sec=643
case_no=90 label=Case6.78 nb_sol=0 ticks=57369 tps=100 nb_sec=573
case_no=90 label=Case6.78 nb_sol=0 ticks=99777 tps=100 nb_sec=997
case_no=90 label=Case6.78 nb_sol=0 ticks=112757 tps=100 nb_sec=1127
case_no=90 label=Case6.78 nb_sol=0 ticks=67128 tps=100 nb_sec=671
case_no=90 label=Case6.78 nb_sol=0 ticks=89655 tps=100 nb_sec=896
case_no=90 label=Case6.78 nb_sol=0 ticks=57668 tps=100 nb_sec=576
case_no=90 label=Case6.78 nb_sol=0 ticks=81289 tps=100 nb_sec=812
case_no=90 label=Case6.78 nb_sol=0 ticks=96888 tps=100 nb_sec=968
case_no=90 label=Case6.78 nb_sol=0 ticks=124058 tps=100 nb_sec=1240
case_no=90 label=Case6.78 nb_sol=0 ticks=65252 tps=100 nb_sec=652
case_no=90 label=Case6.78 nb_sol=0 ticks=78919 tps=100 nb_sec=789
case_no=90 label=Case6.78 nb_sol=0 ticks=77604 tps=100 nb_sec=776
case_no=90 label=Case6.78 nb_sol=0 ticks=69831 tps=100 nb_sec=698
case_no=90 label=Case6.78 nb_sol=0 ticks=91647 tps=100 nb_sec=916
case_no=90 label=Case6.78 nb_sol=0 ticks=97118 tps=100 nb_sec=971
case_no=90 label=Case6.78 nb_sol=0 ticks=101984 tps=100 nb_sec=1019
case_no=90 label=Case6.78 nb_sol=0 ticks=97788 tps=100 nb_sec=977
case_no=90 label=Case6.78 nb_sol=0 ticks=66088 tps=100 nb_sec=660
case_no=90 label=Case6.78 nb_sol=0 ticks=52332 tps=100 nb_sec=523
case_no=90 label=Case6.78 nb_sol=0 ticks=81250 tps=100 nb_sec=812
case_no=90 label=Case6.78 nb_sol=0 ticks=71367 tps=100 nb_sec=713
case_no=90 label=Case6.78 nb_sol=0 ticks=90192 tps=100 nb_sec=901
case_no=90 label=Case6.78 nb_sol=0 ticks=55661 tps=100 nb_sec=556
case_no=90 label=Case6.78 nb_sol=0 ticks=103598 tps=100 nb_sec=1035
case_no=90 label=Case6.78 nb_sol=0 ticks=112774 tps=100 nb_sec=1127
case_no=90 label=Case6.78 nb_sol=0 ticks=57866 tps=100 nb_sec=578
case_no=90 label=Case6.78 nb_sol=0 ticks=37950 tps=100 nb_sec=379
case_no=90 label=Case6.78 nb_sol=0 ticks=87793 tps=100 nb_sec=877
case_no=90 label=Case6.78 nb_sol=0 ticks=69559 tps=100 nb_sec=695
case_no=90 label=Case6.78 nb_sol=0 ticks=82840 tps=100 nb_sec=828
case_no=90 label=Case6.78 nb_sol=0 ticks=81857 tps=100 nb_sec=818
case_no=90 label=Case6.78 nb_sol=0 ticks=84844 tps=100 nb_sec=848
case_no=90 label=Case6.78 nb_sol=0 ticks=103737 tps=100 nb_sec=1037
case_no=90 label=Case6.78 nb_sol=0 ticks=97269 tps=100 nb_sec=972
case_no=90 label=Case6.78 nb_sol=0 ticks=80605 tps=100 nb_sec=806
case_no=90 label=Case6.78 nb_sol=0 ticks=122606 tps=100 nb_sec=1226
case_no=90 label=Case6.78 nb_sol=0 ticks=79633 tps=100 nb_sec=796
case_no=90 label=Case6.78 nb_sol=0 ticks=116739 tps=100 nb_sec=1167
case_no=90 label=Case6.78 nb_sol=0 ticks=73283 tps=100 nb_sec=732
case_no=90 label=Case6.78 nb_sol=0 ticks=105258 tps=100 nb_sec=1052
case_no=90 label=Case6.78 nb_sol=0 ticks=80428 tps=100 nb_sec=804
case_no=90 label=Case6.78 nb_sol=0 ticks=88516 tps=100 nb_sec=885
case_no=90 label=Case6.78 nb_sol=0 ticks=110913 tps=100 nb_sec=1109
case_no=90 label=Case6.78 nb_sol=0 ticks=77881 tps=100 nb_sec=778
case_no=90 label=Case6.78 nb_sol=0 ticks=78191 tps=100 nb_sec=781
case_no=90 label=Case6.78 nb_sol=0 ticks=48695 tps=100 nb_sec=486
case_no=90 label=Case6.78 nb_sol=0 ticks=117478 tps=100 nb_sec=1174
case_no=90 label=Case6.78 nb_sol=0 ticks=109291 tps=100 nb_sec=1092
case_no=90 label=Case6.78 nb_sol=0 ticks=53909 tps=100 nb_sec=539
case_no=90 label=Case6.78 nb_sol=0 ticks=76438 tps=100 nb_sec=764
case_no=90 label=Case6.78 nb_sol=0 ticks=34007 tps=100 nb_sec=340
case_no=90 label=Case6.78 nb_sol=0 ticks=77351 tps=100 nb_sec=773
case_no=90 label=Case6.78 nb_sol=0 ticks=55962 tps=100 nb_sec=559
case_no=90 label=Case6.78 nb_sol=0 ticks=101943 tps=100 nb_sec=1019
case_no=90 label=Case6.78 nb_sol=0 ticks=59974 tps=100 nb_sec=599
case_no=90 label=Case6.78 nb_sol=0 ticks=34881 tps=100 nb_sec=348
case_no=90 label=Case6.78 nb_sol=0 ticks=60818 tps=100 nb_sec=608
case_no=90 label=Case6.78 nb_sol=0 ticks=108977 tps=100 nb_sec=1089
case_no=90 label=Case6.78 nb_sol=0 ticks=77967 tps=100 nb_sec=779
case_no=90 label=Case6.78 nb_sol=0 ticks=90863 tps=100 nb_sec=908
case_no=90 label=Case6.78 nb_sol=0 ticks=44232 tps=100 nb_sec=442
case_no=90 label=Case6.78 nb_sol=0 ticks=59962 tps=100 nb_sec=599
case_no=90 label=Case6.78 nb_sol=0 ticks=71543 tps=100 nb_sec=715
case_no=90 label=Case6.78 nb_sol=0 ticks=72328 tps=100 nb_sec=723
case_no=90 label=Case6.78 nb_sol=0 ticks=108497 tps=100 nb_sec=1084
case_no=90 label=Case6.78 nb_sol=0 ticks=92011 tps=100 nb_sec=920
case_no=90 label=Case6.78 nb_sol=0 ticks=61075 tps=100 nb_sec=610
case_no=90 label=Case6.78 nb_sol=0 ticks=37461 tps=100 nb_sec=374
case_no=90 label=Case6.78 nb_sol=0 ticks=110429 tps=100 nb_sec=1104
case_no=90 label=Case6.78 nb_sol=0 ticks=134208 tps=100 nb_sec=1342
case_no=90 label=Case6.78 nb_sol=0 ticks=61549 tps=100 nb_sec=615
case_no=90 label=Case6.78 nb_sol=0 ticks=70969 tps=100 nb_sec=709
case_no=90 label=Case6.78 nb_sol=0 ticks=81165 tps=100 nb_sec=811
case_no=90 label=Case6.78 nb_sol=0 ticks=57286 tps=100 nb_sec=572
case_no=90 label=Case6.78 nb_sol=0 ticks=39807 tps=100 nb_sec=398
case_no=90 label=Case6.78 nb_sol=0 ticks=104752 tps=100 nb_sec=1047
case_no=90 label=Case6.78 nb_sol=0 ticks=117774 tps=100 nb_sec=1177
case_no=90 label=Case6.78 nb_sol=0 ticks=76753 tps=100 nb_sec=767
case_no=90 label=Case6.78 nb_sol=0 ticks=54224 tps=100 nb_sec=542
case_no=90 label=Case6.78 nb_sol=0 ticks=39523 tps=100 nb_sec=395
case_no=90 label=Case6.78 nb_sol=0 ticks=97508 tps=100 nb_sec=975
case_no=90 label=Case6.78 nb_sol=0 ticks=148419 tps=100 nb_sec=1484
case_no=90 label=Case6.78 nb_sol=0 ticks=56935 tps=100 nb_sec=569
case_no=90 label=Case6.78 nb_sol=0 ticks=73916 tps=100 nb_sec=739
case_no=90 label=Case6.78 nb_sol=0 ticks=62640 tps=100 nb_sec=626
case_no=90 label=Case6.78 nb_sol=0 ticks=39281 tps=100 nb_sec=392
case_no=90 label=Case6.78 nb_sol=0 ticks=92546 tps=100 nb_sec=925
case_no=90 label=Case6.78 nb_sol=0 ticks=122238 tps=100 nb_sec=1222
case_no=90 label=Case6.78 nb_sol=0 ticks=73515 tps=100 nb_sec=735
case_no=90 label=Case6.78 nb_sol=0 ticks=60113 tps=100 nb_sec=601
case_no=90 label=Case6.78 nb_sol=0 ticks=92388 tps=100 nb_sec=923
case_no=90 label=Case6.78 nb_sol=0 ticks=131754 tps=100 nb_sec=1317
case_no=90 label=Case6.78 nb_sol=0 ticks=73272 tps=100 nb_sec=732
case_no=90 label=Case6.78 nb_sol=0 ticks=55620 tps=100 nb_sec=556
case_no=90 label=Case6.78 nb_sol=0 ticks=117501 tps=100 nb_sec=1175
case_no=90 label=Case6.78 nb_sol=0 ticks=77850 tps=100 nb_sec=778
case_no=90 label=Case6.78 nb_sol=0 ticks=87517 tps=100 nb_sec=875
case_no=90 label=Case6.78 nb_sol=0 ticks=77517 tps=100 nb_sec=775
case_no=90 label=Case6.78 nb_sol=0 ticks=110658 tps=100 nb_sec=1106
case_no=90 label=Case6.78 nb_sol=0 ticks=147441 tps=100 nb_sec=1474
case_no=90 label=Case6.78 nb_sol=0 ticks=74752 tps=100 nb_sec=747
case_no=90 label=Case6.78 nb_sol=0 ticks=73734 tps=100 nb_sec=737
case_no=90 label=Case6.78 nb_sol=0 ticks=77647 tps=100 nb_sec=776
case_no=90 label=Case6.78 nb_sol=0 ticks=74312 tps=100 nb_sec=743
case_no=90 label=Case6.78 nb_sol=0 ticks=78503 tps=100 nb_sec=785
case_no=90 label=Case6.78 nb_sol=0 ticks=63813 tps=100 nb_sec=638
case_no=90 label=Case6.78 nb_sol=0 ticks=77959 tps=100 nb_sec=779
case_no=90 label=Case6.78 nb_sol=0 ticks=39279 tps=100 nb_sec=392
case_no=90 label=Case6.78 nb_sol=0 ticks=63465 tps=100 nb_sec=634
case_no=90 label=Case6.78 nb_sol=0 ticks=99378 tps=100 nb_sec=993
case_no=90 label=Case6.78 nb_sol=0 ticks=126706 tps=100 nb_sec=1267
case_no=90 label=Case6.78 nb_sol=0 ticks=75640 tps=100 nb_sec=756
case_no=90 label=Case6.78 nb_sol=0 ticks=90054 tps=100 nb_sec=900
case_no=90 label=Case6.78 nb_sol=0 ticks=124230 tps=100 nb_sec=1242
case_no=90 label=Case6.78 nb_sol=0 ticks=77341 tps=100 nb_sec=773
case_no=90 label=Case6.78 nb_sol=0 ticks=141341 tps=100 nb_sec=1413
case_no=90 label=Case6.78 nb_sol=0 ticks=71377 tps=100 nb_sec=713
case_no=90 label=Case6.78 nb_sol=0 ticks=61817 tps=100 nb_sec=618
case_no=90 label=Case6.78 nb_sol=0 ticks=95474 tps=100 nb_sec=954
case_no=90 label=Case6.78 nb_sol=0 ticks=134530 tps=100 nb_sec=1345
case_no=90 label=Case6.78 nb_sol=0 ticks=69686 tps=100 nb_sec=696
case_no=90 label=Case6.78 nb_sol=0 ticks=56782 tps=100 nb_sec=567
case_no=90 label=Case6.78 nb_sol=0 ticks=45951 tps=100 nb_sec=459
case_no=90 label=Case6.78 nb_sol=0 ticks=72331 tps=100 nb_sec=723
case_no=90 label=Case6.78 nb_sol=0 ticks=38985 tps=100 nb_sec=389
case_no=90 label=Case6.78 nb_sol=0 ticks=65042 tps=100 nb_sec=650
case_no=90 label=Case6.78 nb_sol=0 ticks=64190 tps=100 nb_sec=641
case_no=90 label=Case6.78 nb_sol=0 ticks=70732 tps=100 nb_sec=707
case_no=90 label=Case6.78 nb_sol=0 ticks=54525 tps=100 nb_sec=545
case_no=90 label=Case6.78 nb_sol=0 ticks=113652 tps=100 nb_sec=1136
case_no=90 label=Case6.78 nb_sol=0 ticks=142309 tps=100 nb_sec=1423
case_no=90 label=Case6.78 nb_sol=0 ticks=66777 tps=100 nb_sec=667
case_no=90 label=Case6.78 nb_sol=0 ticks=57450 tps=100 nb_sec=574
case_no=90 label=Case6.78 nb_sol=0 ticks=156952 tps=100 nb_sec=1569
case_no=90 label=Case6.78 nb_sol=0 ticks=49160 tps=100 nb_sec=491
case_no=90 label=Case6.78 nb_sol=0 ticks=36375 tps=100 nb_sec=363
case_no=90 label=Case6.78 nb_sol=0 ticks=143003 tps=100 nb_sec=1430
case_no=90 label=Case6.78 nb_sol=0 ticks=84112 tps=100 nb_sec=841
case_no=90 label=Case6.78 nb_sol=0 ticks=76887 tps=100 nb_sec=768
case_no=90 label=Case6.78 nb_sol=0 ticks=63639 tps=100 nb_sec=636
case_no=90 label=Case6.78 nb_sol=0 ticks=41970 tps=100 nb_sec=419
case_no=90 label=Case6.78 nb_sol=0 ticks=64292 tps=100 nb_sec=642
case_no=90 label=Case6.78 nb_sol=0 ticks=68419 tps=100 nb_sec=684
case_no=90 label=Case6.78 nb_sol=0 ticks=51478 tps=100 nb_sec=514
case_no=90 label=Case6.78 nb_sol=0 ticks=102727 tps=100 nb_sec=1027
case_no=90 label=Case6.78 nb_sol=0 ticks=39746 tps=100 nb_sec=397
case_no=90 label=Case6.78 nb_sol=0 ticks=54850 tps=100 nb_sec=548
case_no=90 label=Case6.78 nb_sol=0 ticks=84536 tps=100 nb_sec=845
case_no=90 label=Case6.78 nb_sol=0 ticks=101761 tps=100 nb_sec=1017
case_no=90 label=Case6.78 nb_sol=0 ticks=90895 tps=100 nb_sec=908
case_no=90 label=Case6.78 nb_sol=0 ticks=73713 tps=100 nb_sec=737
case_no=90 label=Case6.78 nb_sol=0 ticks=41898 tps=100 nb_sec=418
case_no=90 label=Case6.78 nb_sol=0 ticks=65029 tps=100 nb_sec=650
case_no=90 label=Case6.78 nb_sol=0 ticks=85775 tps=100 nb_sec=857
case_no=90 label=Case6.78 nb_sol=0 ticks=103263 tps=100 nb_sec=1032
case_no=90 label=Case6.78 nb_sol=0 ticks=69637 tps=100 nb_sec=696
case_no=90 label=Case6.78 nb_sol=0 ticks=39703 tps=100 nb_sec=397
case_no=90 label=Case6.78 nb_sol=0 ticks=85214 tps=100 nb_sec=852
case_no=90 label=Case6.78 nb_sol=0 ticks=104312 tps=100 nb_sec=1043
case_no=90 label=Case6.78 nb_sol=0 ticks=81820 tps=100 nb_sec=818
case_no=90 label=Case6.78 nb_sol=0 ticks=87767 tps=100 nb_sec=877
case_no=90 label=Case6.78 nb_sol=0 ticks=99375 tps=100 nb_sec=993
case_no=90 label=Case6.78 nb_sol=0 ticks=45572 tps=100 nb_sec=455
case_no=90 label=Case6.78 nb_sol=0 ticks=54941 tps=100 nb_sec=549
case_no=90 label=Case6.78 nb_sol=0 ticks=39233 tps=100 nb_sec=392
case_no=90 label=Case6.78 nb_sol=0 ticks=44268 tps=100 nb_sec=442
case_no=90 label=Case6.78 nb_sol=0 ticks=54781 tps=100 nb_sec=547
case_no=90 label=Case6.78 nb_sol=0 ticks=87653 tps=100 nb_sec=876
case_no=90 label=Case6.78 nb_sol=0 ticks=69134 tps=100 nb_sec=691
case_no=90 label=Case6.78 nb_sol=0 ticks=95462 tps=100 nb_sec=954
case_no=90 label=Case6.78 nb_sol=0 ticks=80021 tps=100 nb_sec=800
case_no=90 label=Case6.78 nb_sol=0 ticks=94018 tps=100 nb_sec=940
case_no=90 label=Case6.78 nb_sol=0 ticks=94467 tps=100 nb_sec=944
case_no=90 label=Case6.78 nb_sol=0 ticks=82433 tps=100 nb_sec=824
case_no=90 label=Case6.78 nb_sol=0 ticks=84690 tps=100 nb_sec=846
case_no=90 label=Case6.78 nb_sol=0 ticks=76368 tps=100 nb_sec=763
case_no=90 label=Case6.78 nb_sol=0 ticks=38748 tps=100 nb_sec=387
case_no=90 label=Case6.78 nb_sol=0 ticks=35934 tps=100 nb_sec=359
case_no=90 label=Case6.78 nb_sol=0 ticks=66803 tps=100 nb_sec=668
case_no=90 label=Case6.78 nb_sol=0 ticks=91657 tps=100 nb_sec=916
case_no=90 label=Case6.78 nb_sol=0 ticks=105042 tps=100 nb_sec=1050
case_no=90 label=Case6.78 nb_sol=0 ticks=41552 tps=100 nb_sec=415
case_no=90 label=Case6.78 nb_sol=0 ticks=71855 tps=100 nb_sec=718
case_no=90 label=Case6.78 nb_sol=0 ticks=77962 tps=100 nb_sec=779
case_no=90 label=Case6.78 nb_sol=0 ticks=36029 tps=100 nb_sec=360
case_no=90 label=Case6.78 nb_sol=0 ticks=96669 tps=100 nb_sec=966
case_no=90 label=Case6.78 nb_sol=0 ticks=118888 tps=100 nb_sec=1188
case_no=90 label=Case6.78 nb_sol=0 ticks=92148 tps=100 nb_sec=921
case_no=90 label=Case6.78 nb_sol=0 ticks=52625 tps=100 nb_sec=526
case_no=90 label=Case6.78 nb_sol=0 ticks=67027 tps=100 nb_sec=670
case_no=90 label=Case6.78 nb_sol=0 ticks=80443 tps=100 nb_sec=804
case_no=90 label=Case6.78 nb_sol=0 ticks=56594 tps=100 nb_sec=565
case_no=90 label=Case6.78 nb_sol=0 ticks=95239 tps=100 nb_sec=952
case_no=90 label=Case6.78 nb_sol=0 ticks=118266 tps=100 nb_sec=1182
case_no=90 label=Case6.78 nb_sol=0 ticks=123912 tps=100 nb_sec=1239
case_no=90 label=Case6.78 nb_sol=0 ticks=58904 tps=100 nb_sec=589
case_no=90 label=Case6.78 nb_sol=0 ticks=74196 tps=100 nb_sec=741
case_no=90 label=Case6.78 nb_sol=0 ticks=42073 tps=100 nb_sec=420
case_no=90 label=Case6.78 nb_sol=0 ticks=89700 tps=100 nb_sec=897
case_no=90 label=Case6.78 nb_sol=0 ticks=108563 tps=100 nb_sec=1085
case_no=90 label=Case6.78 nb_sol=0 ticks=94810 tps=100 nb_sec=948
case_no=90 label=Case6.78 nb_sol=0 ticks=97558 tps=100 nb_sec=975
case_no=90 label=Case6.78 nb_sol=0 ticks=78319 tps=100 nb_sec=783
case_no=90 label=Case6.78 nb_sol=0 ticks=120309 tps=100 nb_sec=1203
case_no=90 label=Case6.78 nb_sol=0 ticks=92487 tps=100 nb_sec=924
case_no=90 label=Case6.78 nb_sol=0 ticks=57699 tps=100 nb_sec=576
case_no=90 label=Case6.78 nb_sol=0 ticks=123309 tps=100 nb_sec=1233
case_no=90 label=Case6.78 nb_sol=0 ticks=125737 tps=100 nb_sec=1257
case_no=90 label=Case6.78 nb_sol=0 ticks=140606 tps=100 nb_sec=1406
case_no=90 label=Case6.78 nb_sol=0 ticks=117701 tps=100 nb_sec=1177
case_no=90 label=Case6.78 nb_sol=0 ticks=94773 tps=100 nb_sec=947
case_no=90 label=Case6.78 nb_sol=0 ticks=65838 tps=100 nb_sec=658
case_no=90 label=Case6.78 nb_sol=0 ticks=60832 tps=100 nb_sec=608
case_no=90 label=Case6.78 nb_sol=0 ticks=89390 tps=100 nb_sec=893
case_no=90 label=Case6.78 nb_sol=0 ticks=41877 tps=100 nb_sec=418
case_no=90 label=Case6.78 nb_sol=0 ticks=124191 tps=100 nb_sec=1241
case_no=90 label=Case6.78 nb_sol=0 ticks=115244 tps=100 nb_sec=1152
case_no=90 label=Case6.78 nb_sol=0 ticks=75303 tps=100 nb_sec=753
case_no=90 label=Case6.78 nb_sol=0 ticks=123226 tps=100 nb_sec=1232
case_no=90 label=Case6.78 nb_sol=0 ticks=56125 tps=100 nb_sec=561
case_no=90 label=Case6.78 nb_sol=0 ticks=90712 tps=100 nb_sec=907
case_no=90 label=Case6.78 nb_sol=0 ticks=59615 tps=100 nb_sec=596
case_no=90 label=Case6.78 nb_sol=0 ticks=74790 tps=100 nb_sec=747
case_no=90 label=Case6.78 nb_sol=0 ticks=133000 tps=100 nb_sec=1330
case_no=90 label=Case6.78 nb_sol=0 ticks=67196 tps=100 nb_sec=671
case_no=90 label=Case6.78 nb_sol=0 ticks=139996 tps=100 nb_sec=1399
case_no=90 label=Case6.78 nb_sol=0 ticks=126064 tps=100 nb_sec=1260
case_no=90 label=Case6.78 nb_sol=0 ticks=108766 tps=100 nb_sec=1087
case_no=90 label=Case6.78 nb_sol=0 ticks=91716 tps=100 nb_sec=917
case_no=90 label=Case6.78 nb_sol=0 ticks=37853 tps=100 nb_sec=378
case_no=90 label=Case6.78 nb_sol=0 ticks=71701 tps=100 nb_sec=717
case_no=90 label=Case6.78 nb_sol=0 ticks=41720 tps=100 nb_sec=417
case_no=90 label=Case6.78 nb_sol=0 ticks=82662 tps=100 nb_sec=826
case_no=90 label=Case6.78 nb_sol=0 ticks=40454 tps=100 nb_sec=404
case_no=90 label=Case6.78 nb_sol=0 ticks=80328 tps=100 nb_sec=803
case_no=90 label=Case6.78 nb_sol=0 ticks=111033 tps=100 nb_sec=1110
case_no=90 label=Case6.78 nb_sol=0 ticks=40559 tps=100 nb_sec=405
case_no=90 label=Case6.78 nb_sol=0 ticks=91701 tps=100 nb_sec=917
case_no=90 label=Case6.78 nb_sol=0 ticks=84288 tps=100 nb_sec=842
case_no=90 label=Case6.78 nb_sol=0 ticks=121695 tps=100 nb_sec=1216
case_no=90 label=Case6.78 nb_sol=0 ticks=96727 tps=100 nb_sec=967
case_no=90 label=Case6.78 nb_sol=0 ticks=99864 tps=100 nb_sec=998
case_no=90 label=Case6.78 nb_sol=0 ticks=59875 tps=100 nb_sec=598
case_no=90 label=Case6.78 nb_sol=0 ticks=121698 tps=100 nb_sec=1216
case_no=90 label=Case6.78 nb_sol=0 ticks=63390 tps=100 nb_sec=633
case_no=90 label=Case6.78 nb_sol=0 ticks=99519 tps=100 nb_sec=995
case_no=90 label=Case6.78 nb_sol=0 ticks=63753 tps=100 nb_sec=637
case_no=90 label=Case6.78 nb_sol=0 ticks=100000 tps=100 nb_sec=1000
case_no=90 label=Case6.78 nb_sol=0 ticks=64347 tps=100 nb_sec=643
case_no=90 label=Case6.78 nb_sol=0 ticks=84845 tps=100 nb_sec=848
case_no=90 label=Case6.78 nb_sol=0 ticks=62844 tps=100 nb_sec=628
case_no=90 label=Case6.78 nb_sol=0 ticks=74450 tps=100 nb_sec=744
case_no=90 label=Case6.78 nb_sol=0 ticks=107774 tps=100 nb_sec=1077
case_no=90 label=Case6.78 nb_sol=0 ticks=88541 tps=100 nb_sec=885
case_no=90 label=Case6.78 nb_sol=0 ticks=115606 tps=100 nb_sec=1156
case_no=90 label=Case6.78 nb_sol=0 ticks=102280 tps=100 nb_sec=1022
case_no=90 label=Case6.78 nb_sol=0 ticks=41890 tps=100 nb_sec=418
case_no=90 label=Case6.78 nb_sol=0 ticks=47480 tps=100 nb_sec=474
case_no=90 label=Case6.78 nb_sol=0 ticks=104071 tps=100 nb_sec=1040
case_no=90 label=Case6.78 nb_sol=0 ticks=65375 tps=100 nb_sec=653
case_no=90 label=Case6.78 nb_sol=0 ticks=84221 tps=100 nb_sec=842
case_no=90 label=Case6.78 nb_sol=0 ticks=83701 tps=100 nb_sec=837
case_no=90 label=Case6.78 nb_sol=0 ticks=66338 tps=100 nb_sec=663
case_no=90 label=Case6.78 nb_sol=0 ticks=110791 tps=100 nb_sec=1107
case_no=90 label=Case6.78 nb_sol=0 ticks=76022 tps=100 nb_sec=760
case_no=90 label=Case6.78 nb_sol=0 ticks=85578 tps=100 nb_sec=855
case_no=90 label=Case6.78 nb_sol=0 ticks=79201 tps=100 nb_sec=792
case_no=90 label=Case6.78 nb_sol=0 ticks=41514 tps=100 nb_sec=415
case_no=90 label=Case6.78 nb_sol=0 ticks=70231 tps=100 nb_sec=702
case_no=90 label=Case6.78 nb_sol=0 ticks=93033 tps=100 nb_sec=930
case_no=90 label=Case6.78 nb_sol=0 ticks=90260 tps=100 nb_sec=902
case_no=90 label=Case6.78 nb_sol=0 ticks=77175 tps=100 nb_sec=771
case_no=90 label=Case6.78 nb_sol=0 ticks=138545 tps=100 nb_sec=1385
case_no=90 label=Case6.78 nb_sol=0 ticks=42152 tps=100 nb_sec=421
case_no=90 label=Case6.78 nb_sol=0 ticks=105902 tps=100 nb_sec=1059
case_no=90 label=Case6.78 nb_sol=0 ticks=125025 tps=100 nb_sec=1250
case_no=90 label=Case6.78 nb_sol=0 ticks=77128 tps=100 nb_sec=771
case_no=90 label=Case6.78 nb_sol=0 ticks=73080 tps=100 nb_sec=730
case_no=90 label=Case6.78 nb_sol=0 ticks=74624 tps=100 nb_sec=746
case_no=90 label=Case6.78 nb_sol=0 ticks=83717 tps=100 nb_sec=837
case_no=90 label=Case6.78 nb_sol=0 ticks=111766 tps=100 nb_sec=1117
case_no=90 label=Case6.78 nb_sol=0 ticks=63112 tps=100 nb_sec=631
case_no=90 label=Case6.78 nb_sol=0 ticks=60928 tps=100 nb_sec=609
case_no=90 label=Case6.78 nb_sol=0 ticks=71540 tps=100 nb_sec=715
case_no=90 label=Case6.78 nb_sol=0 ticks=59587 tps=100 nb_sec=595
case_no=90 label=Case6.78 nb_sol=0 ticks=35084 tps=100 nb_sec=350
case_no=90 label=Case6.78 nb_sol=0 ticks=136675 tps=100 nb_sec=1366
case_no=90 label=Case6.78 nb_sol=0 ticks=80179 tps=100 nb_sec=801
case_no=90 label=Case6.78 nb_sol=0 ticks=111520 tps=100 nb_sec=1115
case_no=90 label=Case6.78 nb_sol=0 ticks=95346 tps=100 nb_sec=953
case_no=90 label=Case6.78 nb_sol=0 ticks=110862 tps=100 nb_sec=1108
case_no=90 label=Case6.78 nb_sol=0 ticks=36424 tps=100 nb_sec=364
case_no=90 label=Case6.78 nb_sol=0 ticks=112678 tps=100 nb_sec=1126
case_no=90 label=Case6.78 nb_sol=0 ticks=71760 tps=100 nb_sec=717
case_no=90 label=Case6.78 nb_sol=0 ticks=120525 tps=100 nb_sec=1205
case_no=90 label=Case6.78 nb_sol=0 ticks=115385 tps=100 nb_sec=1153
case_no=90 label=Case6.78 nb_sol=0 ticks=66529 tps=100 nb_sec=665
case_no=90 label=Case6.78 nb_sol=0 ticks=135510 tps=100 nb_sec=1355
case_no=90 label=Case6.78 nb_sol=0 ticks=62295 tps=100 nb_sec=622
case_no=90 label=Case6.78 nb_sol=0 ticks=112778 tps=100 nb_sec=1127
case_no=90 label=Case6.78 nb_sol=0 ticks=71261 tps=100 nb_sec=712
case_no=90 label=Case6.78 nb_sol=0 ticks=114523 tps=100 nb_sec=1145
case_no=90 label=Case6.78 nb_sol=0 ticks=63925 tps=100 nb_sec=639
case_no=90 label=Case6.78 nb_sol=0 ticks=114426 tps=100 nb_sec=1144
case_no=90 label=Case6.78 nb_sol=0 ticks=114658 tps=100 nb_sec=1146
case_no=90 label=Case6.78 nb_sol=0 ticks=84620 tps=100 nb_sec=846
case_no=90 label=Case6.78 nb_sol=0 ticks=60281 tps=100 nb_sec=602
case_no=90 label=Case6.78 nb_sol=0 ticks=73792 tps=100 nb_sec=737
case_no=90 label=Case6.78 nb_sol=0 ticks=114352 tps=100 nb_sec=1143
case_no=90 label=Case6.78 nb_sol=0 ticks=90895 tps=100 nb_sec=908
case_no=90 label=Case6.78 nb_sol=0 ticks=108113 tps=100 nb_sec=1081
case_no=90 label=Case6.78 nb_sol=0 ticks=45501 tps=100 nb_sec=455
case_no=90 label=Case6.78 nb_sol=0 ticks=119837 tps=100 nb_sec=1198
case_no=90 label=Case6.78 nb_sol=0 ticks=81399 tps=100 nb_sec=813
case_no=90 label=Case6.78 nb_sol=0 ticks=78086 tps=100 nb_sec=780
case_no=90 label=Case6.78 nb_sol=0 ticks=111863 tps=100 nb_sec=1118
case_no=90 label=Case6.78 nb_sol=0 ticks=77321 tps=100 nb_sec=773
case_no=90 label=Case6.78 nb_sol=0 ticks=102705 tps=100 nb_sec=1027
case_no=90 label=Case6.78 nb_sol=0 ticks=87089 tps=100 nb_sec=870
case_no=90 label=Case6.78 nb_sol=0 ticks=38026 tps=100 nb_sec=380
case_no=90 label=Case6.78 nb_sol=0 ticks=80754 tps=100 nb_sec=807
case_no=90 label=Case6.78 nb_sol=0 ticks=119036 tps=100 nb_sec=1190
case_no=90 label=Case6.78 nb_sol=0 ticks=49535 tps=100 nb_sec=495
case_no=90 label=Case6.78 nb_sol=0 ticks=51048 tps=100 nb_sec=510
case_no=90 label=Case6.78 nb_sol=0 ticks=79973 tps=100 nb_sec=799
case_no=90 label=Case6.78 nb_sol=0 ticks=114432 tps=100 nb_sec=1144
case_no=90 label=Case6.78 nb_sol=0 ticks=82351 tps=100 nb_sec=823
case_no=90 label=Case6.78 nb_sol=0 ticks=58675 tps=100 nb_sec=586
case_no=90 label=Case6.78 nb_sol=0 ticks=42237 tps=100 nb_sec=422
case_no=90 label=Case6.78 nb_sol=0 ticks=61716 tps=100 nb_sec=617
case_no=90 label=Case6.78 nb_sol=0 ticks=121229 tps=100 nb_sec=1212
case_no=90 label=Case6.78 nb_sol=0 ticks=84730 tps=100 nb_sec=847
case_no=90 label=Case6.78 nb_sol=0 ticks=118109 tps=100 nb_sec=1181
case_no=90 label=Case6.78 nb_sol=0 ticks=39462 tps=100 nb_sec=394
case_no=90 label=Case6.78 nb_sol=0 ticks=58742 tps=100 nb_sec=587
case_no=90 label=Case6.78 nb_sol=0 ticks=77609 tps=100 nb_sec=776
case_no=90 label=Case6.78 nb_sol=0 ticks=58897 tps=100 nb_sec=588
case_no=90 label=Case6.78 nb_sol=0 ticks=38404 tps=100 nb_sec=384
case_no=90 label=Case6.78 nb_sol=0 ticks=83905 tps=100 nb_sec=839
case_no=90 label=Case6.78 nb_sol=0 ticks=41318 tps=100 nb_sec=413
case_no=90 label=Case6.78 nb_sol=0 ticks=124020 tps=100 nb_sec=1240
case_no=90 label=Case6.78 nb_sol=0 ticks=85489 tps=100 nb_sec=854
case_no=90 label=Case6.78 nb_sol=0 ticks=85212 tps=100 nb_sec=852
case_no=90 label=Case6.78 nb_sol=0 ticks=82118 tps=100 nb_sec=821
case_no=90 label=Case6.78 nb_sol=0 ticks=138066 tps=100 nb_sec=1380
case_no=90 label=Case6.78 nb_sol=0 ticks=42548 tps=100 nb_sec=425
case_no=90 label=Case6.78 nb_sol=0 ticks=113454 tps=100 nb_sec=1134
case_no=90 label=Case6.78 nb_sol=0 ticks=49572 tps=100 nb_sec=495
case_no=90 label=Case6.78 nb_sol=0 ticks=40530 tps=100 nb_sec=405
case_no=90 label=Case6.78 nb_sol=0 ticks=78138 tps=100 nb_sec=781
case_no=90 label=Case6.78 nb_sol=0 ticks=125599 tps=100 nb_sec=1255
case_no=90 label=Case6.78 nb_sol=0 ticks=119228 tps=100 nb_sec=1192
case_no=90 label=Case6.78 nb_sol=0 ticks=92471 tps=100 nb_sec=924
case_no=90 label=Case6.78 nb_sol=0 ticks=45316 tps=100 nb_sec=453
case_no=90 label=Case6.78 nb_sol=0 ticks=66088 tps=100 nb_sec=660
case_no=90 label=Case6.78 nb_sol=0 ticks=47038 tps=100 nb_sec=470
case_no=90 label=Case6.78 nb_sol=0 ticks=38692 tps=100 nb_sec=386
case_no=90 label=Case6.78 nb_sol=0 ticks=46523 tps=100 nb_sec=465
case_no=90 label=Case6.78 nb_sol=0 ticks=45125 tps=100 nb_sec=451
case_no=90 label=Case6.78 nb_sol=0 ticks=63675 tps=100 nb_sec=636
case_no=90 label=Case6.78 nb_sol=0 ticks=107317 tps=100 nb_sec=1073
case_no=90 label=Case6.78 nb_sol=0 ticks=102216 tps=100 nb_sec=1022
case_no=90 label=Case6.78 nb_sol=0 ticks=72799 tps=100 nb_sec=727
case_no=90 label=Case6.78 nb_sol=0 ticks=162919 tps=100 nb_sec=1629
case_no=90 label=Case6.78 nb_sol=0 ticks=55803 tps=100 nb_sec=558
case_no=90 label=Case6.78 nb_sol=0 ticks=57143 tps=100 nb_sec=571
case_no=90 label=Case6.78 nb_sol=0 ticks=55499 tps=100 nb_sec=554
case_no=90 label=Case6.78 nb_sol=0 ticks=136351 tps=100 nb_sec=1363
case_no=90 label=Case6.78 nb_sol=0 ticks=58923 tps=100 nb_sec=589
case_no=90 label=Case6.78 nb_sol=0 ticks=71192 tps=100 nb_sec=711
case_no=90 label=Case6.78 nb_sol=0 ticks=77881 tps=100 nb_sec=778
case_no=90 label=Case6.78 nb_sol=0 ticks=163699 tps=100 nb_sec=1636
case_no=90 label=Case6.78 nb_sol=0 ticks=59286 tps=100 nb_sec=592
case_no=90 label=Case6.78 nb_sol=0 ticks=60392 tps=100 nb_sec=603
case_no=90 label=Case6.78 nb_sol=0 ticks=63659 tps=100 nb_sec=636
case_no=90 label=Case6.78 nb_sol=0 ticks=116685 tps=100 nb_sec=1166
case_no=90 label=Case6.78 nb_sol=0 ticks=36152 tps=100 nb_sec=361
case_no=90 label=Case6.78 nb_sol=0 ticks=128479 tps=100 nb_sec=1284
case_no=90 label=Case6.78 nb_sol=0 ticks=75271 tps=100 nb_sec=752
case_no=90 label=Case6.78 nb_sol=0 ticks=50966 tps=100 nb_sec=509
case_no=90 label=Case6.78 nb_sol=0 ticks=36403 tps=100 nb_sec=364
case_no=90 label=Case6.78 nb_sol=0 ticks=157285 tps=100 nb_sec=1572
case_no=90 label=Case6.78 nb_sol=0 ticks=73139 tps=100 nb_sec=731
case_no=90 label=Case6.78 nb_sol=0 ticks=66931 tps=100 nb_sec=669
case_no=90 label=Case6.78 nb_sol=0 ticks=66233 tps=100 nb_sec=662
case_no=90 label=Case6.78 nb_sol=0 ticks=163606 tps=100 nb_sec=1636
case_no=90 label=Case6.78 nb_sol=0 ticks=60517 tps=100 nb_sec=605
case_no=90 label=Case6.78 nb_sol=0 ticks=38451 tps=100 nb_sec=384
case_no=90 label=Case6.78 nb_sol=0 ticks=40576 tps=100 nb_sec=405
case_no=90 label=Case6.78 nb_sol=0 ticks=67656 tps=100 nb_sec=676
case_no=90 label=Case6.78 nb_sol=0 ticks=76996 tps=100 nb_sec=769
case_no=90 label=Case6.78 nb_sol=0 ticks=74017 tps=100 nb_sec=740
case_no=90 label=Case6.78 nb_sol=0 ticks=122069 tps=100 nb_sec=1220
case_no=90 label=Case6.78 nb_sol=0 ticks=129709 tps=100 nb_sec=1297
case_no=90 label=Case6.78 nb_sol=0 ticks=57081 tps=100 nb_sec=570
case_no=90 label=Case6.78 nb_sol=0 ticks=70105 tps=100 nb_sec=701
case_no=90 label=Case6.78 nb_sol=0 ticks=84827 tps=100 nb_sec=848
case_no=90 label=Case6.78 nb_sol=0 ticks=90845 tps=100 nb_sec=908
case_no=90 label=Case6.78 nb_sol=0 ticks=58705 tps=100 nb_sec=587
case_no=90 label=Case6.78 nb_sol=0 ticks=108137 tps=100 nb_sec=1081
case_no=90 label=Case6.78 nb_sol=0 ticks=82037 tps=100 nb_sec=820
case_no=90 label=Case6.78 nb_sol=0 ticks=59866 tps=100 nb_sec=598
case_no=90 label=Case6.78 nb_sol=0 ticks=85837 tps=100 nb_sec=858
case_no=90 label=Case6.78 nb_sol=0 ticks=112211 tps=100 nb_sec=1122
case_no=90 label=Case6.78 nb_sol=0 ticks=86800 tps=100 nb_sec=868
case_no=90 label=Case6.78 nb_sol=0 ticks=72653 tps=100 nb_sec=726
case_no=90 label=Case6.78 nb_sol=0 ticks=106267 tps=100 nb_sec=1062
case_no=90 label=Case6.78 nb_sol=0 ticks=54370 tps=100 nb_sec=543
case_no=90 label=Case6.78 nb_sol=0 ticks=135235 tps=100 nb_sec=1352
case_no=90 label=Case6.78 nb_sol=0 ticks=94830 tps=100 nb_sec=948
case_no=90 label=Case6.78 nb_sol=0 ticks=70384 tps=100 nb_sec=703
case_no=90 label=Case6.78 nb_sol=0 ticks=74910 tps=100 nb_sec=749
case_no=90 label=Case6.78 nb_sol=0 ticks=61090 tps=100 nb_sec=610
case_no=90 label=Case6.78 nb_sol=0 ticks=107178 tps=100 nb_sec=1071
case_no=90 label=Case6.78 nb_sol=0 ticks=63540 tps=100 nb_sec=635
case_no=90 label=Case6.78 nb_sol=0 ticks=69680 tps=100 nb_sec=696
case_no=90 label=Case6.78 nb_sol=0 ticks=70931 tps=100 nb_sec=709
case_no=90 label=Case6.78 nb_sol=0 ticks=158508 tps=100 nb_sec=1585
case_no=90 label=Case6.78 nb_sol=0 ticks=68968 tps=100 nb_sec=689
case_no=90 label=Case6.78 nb_sol=0 ticks=83728 tps=100 nb_sec=837
case_no=90 label=Case6.78 nb_sol=0 ticks=62186 tps=100 nb_sec=621
case_no=90 label=Case6.78 nb_sol=0 ticks=95119 tps=100 nb_sec=951
case_no=90 label=Case6.78 nb_sol=0 ticks=81488 tps=100 nb_sec=814
case_no=90 label=Case6.78 nb_sol=0 ticks=36479 tps=100 nb_sec=364
case_no=90 label=Case6.78 nb_sol=0 ticks=73207 tps=100 nb_sec=732
case_no=90 label=Case6.78 nb_sol=0 ticks=98229 tps=100 nb_sec=982
case_no=90 label=Case6.78 nb_sol=0 ticks=40153 tps=100 nb_sec=401
case_no=90 label=Case6.78 nb_sol=0 ticks=77058 tps=100 nb_sec=770
case_no=90 label=Case6.78 nb_sol=0 ticks=82650 tps=100 nb_sec=826
case_no=90 label=Case6.78 nb_sol=0 ticks=35483 tps=100 nb_sec=354
case_no=90 label=Case6.78 nb_sol=0 ticks=84451 tps=100 nb_sec=844
case_no=90 label=Case6.78 nb_sol=0 ticks=94311 tps=100 nb_sec=943
case_no=90 label=Case6.78 nb_sol=0 ticks=54765 tps=100 nb_sec=547
case_no=90 label=Case6.78 nb_sol=0 ticks=105360 tps=100 nb_sec=1053
case_no=90 label=Case6.78 nb_sol=0 ticks=51684 tps=100 nb_sec=516
case_no=90 label=Case6.78 nb_sol=0 ticks=67402 tps=100 nb_sec=674
case_no=90 label=Case6.78 nb_sol=0 ticks=81293 tps=100 nb_sec=812
case_no=90 label=Case6.78 nb_sol=0 ticks=88930 tps=100 nb_sec=889
case_no=90 label=Case6.78 nb_sol=0 ticks=37932 tps=100 nb_sec=379
Nb_sol=0
Nb_sec=422300
4-21:18:20 or 117 hours
missing cases:
none