argc=5
-M 512
file2=30_select_Case6.43_starter_16_
checking files mod 512 from 0 to 511
case_no=55 label=Case6.43 nb_sol=0 ticks=83891 tps=100 nb_sec=838
case_no=55 label=Case6.43 nb_sol=0 ticks=90861 tps=100 nb_sec=908
case_no=55 label=Case6.43 nb_sol=0 ticks=43372 tps=100 nb_sec=433
case_no=55 label=Case6.43 nb_sol=0 ticks=54800 tps=100 nb_sec=548
case_no=55 label=Case6.43 nb_sol=0 ticks=99917 tps=100 nb_sec=999
case_no=55 label=Case6.43 nb_sol=0 ticks=103575 tps=100 nb_sec=1035
case_no=55 label=Case6.43 nb_sol=0 ticks=85746 tps=100 nb_sec=857
case_no=55 label=Case6.43 nb_sol=0 ticks=87119 tps=100 nb_sec=871
case_no=55 label=Case6.43 nb_sol=0 ticks=120958 tps=100 nb_sec=1209
case_no=55 label=Case6.43 nb_sol=0 ticks=50066 tps=100 nb_sec=500
case_no=55 label=Case6.43 nb_sol=0 ticks=48348 tps=100 nb_sec=483
case_no=55 label=Case6.43 nb_sol=0 ticks=82495 tps=100 nb_sec=824
case_no=55 label=Case6.43 nb_sol=0 ticks=121707 tps=100 nb_sec=1217
case_no=55 label=Case6.43 nb_sol=0 ticks=80111 tps=100 nb_sec=801
case_no=55 label=Case6.43 nb_sol=0 ticks=65288 tps=100 nb_sec=652
case_no=55 label=Case6.43 nb_sol=0 ticks=127600 tps=100 nb_sec=1276
case_no=55 label=Case6.43 nb_sol=0 ticks=85436 tps=100 nb_sec=854
case_no=55 label=Case6.43 nb_sol=0 ticks=84941 tps=100 nb_sec=849
case_no=55 label=Case6.43 nb_sol=0 ticks=128353 tps=100 nb_sec=1283
case_no=55 label=Case6.43 nb_sol=0 ticks=87222 tps=100 nb_sec=872
case_no=55 label=Case6.43 nb_sol=0 ticks=87274 tps=100 nb_sec=872
case_no=55 label=Case6.43 nb_sol=0 ticks=49939 tps=100 nb_sec=499
case_no=55 label=Case6.43 nb_sol=0 ticks=93199 tps=100 nb_sec=931
case_no=55 label=Case6.43 nb_sol=0 ticks=42923 tps=100 nb_sec=429
case_no=55 label=Case6.43 nb_sol=0 ticks=83696 tps=100 nb_sec=836
case_no=55 label=Case6.43 nb_sol=0 ticks=144354 tps=100 nb_sec=1443
case_no=55 label=Case6.43 nb_sol=0 ticks=123005 tps=100 nb_sec=1230
case_no=55 label=Case6.43 nb_sol=0 ticks=82870 tps=100 nb_sec=828
case_no=55 label=Case6.43 nb_sol=0 ticks=125657 tps=100 nb_sec=1256
case_no=55 label=Case6.43 nb_sol=0 ticks=132249 tps=100 nb_sec=1322
case_no=55 label=Case6.43 nb_sol=0 ticks=84738 tps=100 nb_sec=847
case_no=55 label=Case6.43 nb_sol=0 ticks=43882 tps=100 nb_sec=438
case_no=55 label=Case6.43 nb_sol=0 ticks=123620 tps=100 nb_sec=1236
case_no=55 label=Case6.43 nb_sol=0 ticks=42763 tps=100 nb_sec=427
case_no=55 label=Case6.43 nb_sol=0 ticks=154881 tps=100 nb_sec=1548
case_no=55 label=Case6.43 nb_sol=0 ticks=147031 tps=100 nb_sec=1470
case_no=55 label=Case6.43 nb_sol=0 ticks=170912 tps=100 nb_sec=1709
case_no=55 label=Case6.43 nb_sol=0 ticks=120989 tps=100 nb_sec=1209
case_no=55 label=Case6.43 nb_sol=0 ticks=151519 tps=100 nb_sec=1515
case_no=55 label=Case6.43 nb_sol=0 ticks=87761 tps=100 nb_sec=877
case_no=55 label=Case6.43 nb_sol=0 ticks=123902 tps=100 nb_sec=1239
case_no=55 label=Case6.43 nb_sol=0 ticks=44488 tps=100 nb_sec=444
case_no=55 label=Case6.43 nb_sol=0 ticks=161430 tps=100 nb_sec=1614
case_no=55 label=Case6.43 nb_sol=0 ticks=129973 tps=100 nb_sec=1299
case_no=55 label=Case6.43 nb_sol=0 ticks=126953 tps=100 nb_sec=1269
case_no=55 label=Case6.43 nb_sol=0 ticks=139565 tps=100 nb_sec=1395
case_no=55 label=Case6.43 nb_sol=0 ticks=133613 tps=100 nb_sec=1336
case_no=55 label=Case6.43 nb_sol=0 ticks=107982 tps=100 nb_sec=1079
case_no=55 label=Case6.43 nb_sol=0 ticks=108179 tps=100 nb_sec=1081
case_no=55 label=Case6.43 nb_sol=0 ticks=123500 tps=100 nb_sec=1235
case_no=55 label=Case6.43 nb_sol=0 ticks=104016 tps=100 nb_sec=1040
case_no=55 label=Case6.43 nb_sol=0 ticks=103677 tps=100 nb_sec=1036
case_no=55 label=Case6.43 nb_sol=0 ticks=91198 tps=100 nb_sec=911
case_no=55 label=Case6.43 nb_sol=0 ticks=118964 tps=100 nb_sec=1189
case_no=55 label=Case6.43 nb_sol=0 ticks=104395 tps=100 nb_sec=1043
case_no=55 label=Case6.43 nb_sol=0 ticks=92723 tps=100 nb_sec=927
case_no=55 label=Case6.43 nb_sol=0 ticks=109421 tps=100 nb_sec=1094
case_no=55 label=Case6.43 nb_sol=0 ticks=134517 tps=100 nb_sec=1345
case_no=55 label=Case6.43 nb_sol=0 ticks=106866 tps=100 nb_sec=1068
case_no=55 label=Case6.43 nb_sol=0 ticks=136006 tps=100 nb_sec=1360
case_no=55 label=Case6.43 nb_sol=0 ticks=135286 tps=100 nb_sec=1352
case_no=55 label=Case6.43 nb_sol=0 ticks=132035 tps=100 nb_sec=1320
case_no=55 label=Case6.43 nb_sol=0 ticks=126814 tps=100 nb_sec=1268
case_no=55 label=Case6.43 nb_sol=0 ticks=119049 tps=100 nb_sec=1190
case_no=55 label=Case6.43 nb_sol=0 ticks=122918 tps=100 nb_sec=1229
case_no=55 label=Case6.43 nb_sol=0 ticks=103956 tps=100 nb_sec=1039
case_no=55 label=Case6.43 nb_sol=0 ticks=89974 tps=100 nb_sec=899
case_no=55 label=Case6.43 nb_sol=0 ticks=52872 tps=100 nb_sec=528
case_no=55 label=Case6.43 nb_sol=0 ticks=99481 tps=100 nb_sec=994
case_no=55 label=Case6.43 nb_sol=0 ticks=51231 tps=100 nb_sec=512
case_no=55 label=Case6.43 nb_sol=0 ticks=91367 tps=100 nb_sec=913
case_no=55 label=Case6.43 nb_sol=0 ticks=54325 tps=100 nb_sec=543
case_no=55 label=Case6.43 nb_sol=0 ticks=91447 tps=100 nb_sec=914
case_no=55 label=Case6.43 nb_sol=0 ticks=120135 tps=100 nb_sec=1201
case_no=55 label=Case6.43 nb_sol=0 ticks=108664 tps=100 nb_sec=1086
case_no=55 label=Case6.43 nb_sol=0 ticks=87077 tps=100 nb_sec=870
case_no=55 label=Case6.43 nb_sol=0 ticks=115981 tps=100 nb_sec=1159
case_no=55 label=Case6.43 nb_sol=0 ticks=132005 tps=100 nb_sec=1320
case_no=55 label=Case6.43 nb_sol=0 ticks=91928 tps=100 nb_sec=919
case_no=55 label=Case6.43 nb_sol=0 ticks=51472 tps=100 nb_sec=514
case_no=55 label=Case6.43 nb_sol=0 ticks=115352 tps=100 nb_sec=1153
case_no=55 label=Case6.43 nb_sol=0 ticks=96249 tps=100 nb_sec=962
case_no=55 label=Case6.43 nb_sol=0 ticks=42830 tps=100 nb_sec=428
case_no=55 label=Case6.43 nb_sol=0 ticks=42711 tps=100 nb_sec=427
case_no=55 label=Case6.43 nb_sol=0 ticks=45451 tps=100 nb_sec=454
case_no=55 label=Case6.43 nb_sol=0 ticks=41957 tps=100 nb_sec=419
case_no=55 label=Case6.43 nb_sol=0 ticks=126934 tps=100 nb_sec=1269
case_no=55 label=Case6.43 nb_sol=0 ticks=44398 tps=100 nb_sec=443
case_no=55 label=Case6.43 nb_sol=0 ticks=98568 tps=100 nb_sec=985
case_no=55 label=Case6.43 nb_sol=0 ticks=131332 tps=100 nb_sec=1313
case_no=55 label=Case6.43 nb_sol=0 ticks=92416 tps=100 nb_sec=924
case_no=55 label=Case6.43 nb_sol=0 ticks=153118 tps=100 nb_sec=1531
case_no=55 label=Case6.43 nb_sol=0 ticks=89477 tps=100 nb_sec=894
case_no=55 label=Case6.43 nb_sol=0 ticks=116785 tps=100 nb_sec=1167
case_no=55 label=Case6.43 nb_sol=0 ticks=92139 tps=100 nb_sec=921
case_no=55 label=Case6.43 nb_sol=0 ticks=117747 tps=100 nb_sec=1177
case_no=55 label=Case6.43 nb_sol=0 ticks=90942 tps=100 nb_sec=909
case_no=55 label=Case6.43 nb_sol=0 ticks=117728 tps=100 nb_sec=1177
case_no=55 label=Case6.43 nb_sol=0 ticks=106111 tps=100 nb_sec=1061
case_no=55 label=Case6.43 nb_sol=0 ticks=133405 tps=100 nb_sec=1334
case_no=55 label=Case6.43 nb_sol=0 ticks=94178 tps=100 nb_sec=941
case_no=55 label=Case6.43 nb_sol=0 ticks=109347 tps=100 nb_sec=1093
case_no=55 label=Case6.43 nb_sol=0 ticks=154326 tps=100 nb_sec=1543
case_no=55 label=Case6.43 nb_sol=0 ticks=88974 tps=100 nb_sec=889
case_no=55 label=Case6.43 nb_sol=0 ticks=138766 tps=100 nb_sec=1387
case_no=55 label=Case6.43 nb_sol=0 ticks=108093 tps=100 nb_sec=1080
case_no=55 label=Case6.43 nb_sol=0 ticks=142461 tps=100 nb_sec=1424
case_no=55 label=Case6.43 nb_sol=0 ticks=117257 tps=100 nb_sec=1172
case_no=55 label=Case6.43 nb_sol=0 ticks=163039 tps=100 nb_sec=1630
case_no=55 label=Case6.43 nb_sol=0 ticks=88454 tps=100 nb_sec=884
case_no=55 label=Case6.43 nb_sol=0 ticks=136858 tps=100 nb_sec=1368
case_no=55 label=Case6.43 nb_sol=0 ticks=110177 tps=100 nb_sec=1101
case_no=55 label=Case6.43 nb_sol=0 ticks=130875 tps=100 nb_sec=1308
case_no=55 label=Case6.43 nb_sol=0 ticks=123511 tps=100 nb_sec=1235
case_no=55 label=Case6.43 nb_sol=0 ticks=63624 tps=100 nb_sec=636
case_no=55 label=Case6.43 nb_sol=0 ticks=130480 tps=100 nb_sec=1304
case_no=55 label=Case6.43 nb_sol=0 ticks=111316 tps=100 nb_sec=1113
case_no=55 label=Case6.43 nb_sol=0 ticks=146509 tps=100 nb_sec=1465
case_no=55 label=Case6.43 nb_sol=0 ticks=114267 tps=100 nb_sec=1142
case_no=55 label=Case6.43 nb_sol=0 ticks=41631 tps=100 nb_sec=416
case_no=55 label=Case6.43 nb_sol=0 ticks=151005 tps=100 nb_sec=1510
case_no=55 label=Case6.43 nb_sol=0 ticks=142439 tps=100 nb_sec=1424
case_no=55 label=Case6.43 nb_sol=0 ticks=111432 tps=100 nb_sec=1114
case_no=55 label=Case6.43 nb_sol=0 ticks=150787 tps=100 nb_sec=1507
case_no=55 label=Case6.43 nb_sol=0 ticks=133885 tps=100 nb_sec=1338
case_no=55 label=Case6.43 nb_sol=0 ticks=84997 tps=100 nb_sec=849
case_no=55 label=Case6.43 nb_sol=0 ticks=142704 tps=100 nb_sec=1427
case_no=55 label=Case6.43 nb_sol=0 ticks=120452 tps=100 nb_sec=1204
case_no=55 label=Case6.43 nb_sol=0 ticks=140092 tps=100 nb_sec=1400
case_no=55 label=Case6.43 nb_sol=0 ticks=63108 tps=100 nb_sec=631
case_no=55 label=Case6.43 nb_sol=0 ticks=123735 tps=100 nb_sec=1237
case_no=55 label=Case6.43 nb_sol=0 ticks=108079 tps=100 nb_sec=1080
case_no=55 label=Case6.43 nb_sol=0 ticks=87675 tps=100 nb_sec=876
case_no=55 label=Case6.43 nb_sol=0 ticks=145233 tps=100 nb_sec=1452
case_no=55 label=Case6.43 nb_sol=0 ticks=94998 tps=100 nb_sec=949
case_no=55 label=Case6.43 nb_sol=0 ticks=135240 tps=100 nb_sec=1352
case_no=55 label=Case6.43 nb_sol=0 ticks=134940 tps=100 nb_sec=1349
case_no=55 label=Case6.43 nb_sol=0 ticks=147615 tps=100 nb_sec=1476
case_no=55 label=Case6.43 nb_sol=0 ticks=157818 tps=100 nb_sec=1578
case_no=55 label=Case6.43 nb_sol=0 ticks=85509 tps=100 nb_sec=855
case_no=55 label=Case6.43 nb_sol=0 ticks=100723 tps=100 nb_sec=1007
case_no=55 label=Case6.43 nb_sol=0 ticks=104542 tps=100 nb_sec=1045
case_no=55 label=Case6.43 nb_sol=0 ticks=88737 tps=100 nb_sec=887
case_no=55 label=Case6.43 nb_sol=0 ticks=104596 tps=100 nb_sec=1045
case_no=55 label=Case6.43 nb_sol=0 ticks=89295 tps=100 nb_sec=892
case_no=55 label=Case6.43 nb_sol=0 ticks=74035 tps=100 nb_sec=740
case_no=55 label=Case6.43 nb_sol=0 ticks=79771 tps=100 nb_sec=797
case_no=55 label=Case6.43 nb_sol=0 ticks=75907 tps=100 nb_sec=759
case_no=55 label=Case6.43 nb_sol=0 ticks=81172 tps=100 nb_sec=811
case_no=55 label=Case6.43 nb_sol=0 ticks=92136 tps=100 nb_sec=921
case_no=55 label=Case6.43 nb_sol=0 ticks=95352 tps=100 nb_sec=953
case_no=55 label=Case6.43 nb_sol=0 ticks=92405 tps=100 nb_sec=924
case_no=55 label=Case6.43 nb_sol=0 ticks=100662 tps=100 nb_sec=1006
case_no=55 label=Case6.43 nb_sol=0 ticks=95925 tps=100 nb_sec=959
case_no=55 label=Case6.43 nb_sol=0 ticks=94434 tps=100 nb_sec=944
case_no=55 label=Case6.43 nb_sol=0 ticks=101296 tps=100 nb_sec=1012
case_no=55 label=Case6.43 nb_sol=0 ticks=104322 tps=100 nb_sec=1043
case_no=55 label=Case6.43 nb_sol=0 ticks=96023 tps=100 nb_sec=960
case_no=55 label=Case6.43 nb_sol=0 ticks=91167 tps=100 nb_sec=911
case_no=55 label=Case6.43 nb_sol=0 ticks=97610 tps=100 nb_sec=976
case_no=55 label=Case6.43 nb_sol=0 ticks=113543 tps=100 nb_sec=1135
case_no=55 label=Case6.43 nb_sol=0 ticks=131094 tps=100 nb_sec=1310
case_no=55 label=Case6.43 nb_sol=0 ticks=108411 tps=100 nb_sec=1084
case_no=55 label=Case6.43 nb_sol=0 ticks=87928 tps=100 nb_sec=879
case_no=55 label=Case6.43 nb_sol=0 ticks=98605 tps=100 nb_sec=986
case_no=55 label=Case6.43 nb_sol=0 ticks=97745 tps=100 nb_sec=977
case_no=55 label=Case6.43 nb_sol=0 ticks=130996 tps=100 nb_sec=1309
case_no=55 label=Case6.43 nb_sol=0 ticks=86084 tps=100 nb_sec=860
case_no=55 label=Case6.43 nb_sol=0 ticks=139358 tps=100 nb_sec=1393
case_no=55 label=Case6.43 nb_sol=0 ticks=128659 tps=100 nb_sec=1286
case_no=55 label=Case6.43 nb_sol=0 ticks=149796 tps=100 nb_sec=1497
case_no=55 label=Case6.43 nb_sol=0 ticks=142007 tps=100 nb_sec=1420
case_no=55 label=Case6.43 nb_sol=0 ticks=98109 tps=100 nb_sec=981
case_no=55 label=Case6.43 nb_sol=0 ticks=176831 tps=100 nb_sec=1768
case_no=55 label=Case6.43 nb_sol=0 ticks=101540 tps=100 nb_sec=1015
case_no=55 label=Case6.43 nb_sol=0 ticks=171372 tps=100 nb_sec=1713
case_no=55 label=Case6.43 nb_sol=0 ticks=86286 tps=100 nb_sec=862
case_no=55 label=Case6.43 nb_sol=0 ticks=100098 tps=100 nb_sec=1000
case_no=55 label=Case6.43 nb_sol=0 ticks=98787 tps=100 nb_sec=987
case_no=55 label=Case6.43 nb_sol=0 ticks=98773 tps=100 nb_sec=987
case_no=55 label=Case6.43 nb_sol=0 ticks=80511 tps=100 nb_sec=805
case_no=55 label=Case6.43 nb_sol=0 ticks=111404 tps=100 nb_sec=1114
case_no=55 label=Case6.43 nb_sol=0 ticks=103812 tps=100 nb_sec=1038
case_no=55 label=Case6.43 nb_sol=0 ticks=95297 tps=100 nb_sec=952
case_no=55 label=Case6.43 nb_sol=0 ticks=100053 tps=100 nb_sec=1000
case_no=55 label=Case6.43 nb_sol=0 ticks=107841 tps=100 nb_sec=1078
case_no=55 label=Case6.43 nb_sol=0 ticks=84950 tps=100 nb_sec=849
case_no=55 label=Case6.43 nb_sol=0 ticks=114408 tps=100 nb_sec=1144
case_no=55 label=Case6.43 nb_sol=0 ticks=103428 tps=100 nb_sec=1034
case_no=55 label=Case6.43 nb_sol=0 ticks=88695 tps=100 nb_sec=886
case_no=55 label=Case6.43 nb_sol=0 ticks=140661 tps=100 nb_sec=1406
case_no=55 label=Case6.43 nb_sol=0 ticks=93223 tps=100 nb_sec=932
case_no=55 label=Case6.43 nb_sol=0 ticks=100057 tps=100 nb_sec=1000
case_no=55 label=Case6.43 nb_sol=0 ticks=104816 tps=100 nb_sec=1048
case_no=55 label=Case6.43 nb_sol=0 ticks=83045 tps=100 nb_sec=830
case_no=55 label=Case6.43 nb_sol=0 ticks=93684 tps=100 nb_sec=936
case_no=55 label=Case6.43 nb_sol=0 ticks=93443 tps=100 nb_sec=934
case_no=55 label=Case6.43 nb_sol=0 ticks=110414 tps=100 nb_sec=1104
case_no=55 label=Case6.43 nb_sol=0 ticks=92912 tps=100 nb_sec=929
case_no=55 label=Case6.43 nb_sol=0 ticks=102147 tps=100 nb_sec=1021
case_no=55 label=Case6.43 nb_sol=0 ticks=82755 tps=100 nb_sec=827
case_no=55 label=Case6.43 nb_sol=0 ticks=117936 tps=100 nb_sec=1179
case_no=55 label=Case6.43 nb_sol=0 ticks=92499 tps=100 nb_sec=924
case_no=55 label=Case6.43 nb_sol=0 ticks=94784 tps=100 nb_sec=947
case_no=55 label=Case6.43 nb_sol=0 ticks=109857 tps=100 nb_sec=1098
case_no=55 label=Case6.43 nb_sol=0 ticks=136711 tps=100 nb_sec=1367
case_no=55 label=Case6.43 nb_sol=0 ticks=79005 tps=100 nb_sec=790
case_no=55 label=Case6.43 nb_sol=0 ticks=86903 tps=100 nb_sec=869
case_no=55 label=Case6.43 nb_sol=0 ticks=86757 tps=100 nb_sec=867
case_no=55 label=Case6.43 nb_sol=0 ticks=81988 tps=100 nb_sec=819
case_no=55 label=Case6.43 nb_sol=0 ticks=88168 tps=100 nb_sec=881
case_no=55 label=Case6.43 nb_sol=0 ticks=142731 tps=100 nb_sec=1427
case_no=55 label=Case6.43 nb_sol=0 ticks=143449 tps=100 nb_sec=1434
case_no=55 label=Case6.43 nb_sol=0 ticks=120194 tps=100 nb_sec=1201
case_no=55 label=Case6.43 nb_sol=0 ticks=142653 tps=100 nb_sec=1426
case_no=55 label=Case6.43 nb_sol=0 ticks=136884 tps=100 nb_sec=1368
case_no=55 label=Case6.43 nb_sol=0 ticks=149335 tps=100 nb_sec=1493
case_no=55 label=Case6.43 nb_sol=0 ticks=91983 tps=100 nb_sec=919
case_no=55 label=Case6.43 nb_sol=0 ticks=128102 tps=100 nb_sec=1281
case_no=55 label=Case6.43 nb_sol=0 ticks=93101 tps=100 nb_sec=931
case_no=55 label=Case6.43 nb_sol=0 ticks=127473 tps=100 nb_sec=1274
case_no=55 label=Case6.43 nb_sol=0 ticks=145608 tps=100 nb_sec=1456
case_no=55 label=Case6.43 nb_sol=0 ticks=140807 tps=100 nb_sec=1408
case_no=55 label=Case6.43 nb_sol=0 ticks=161109 tps=100 nb_sec=1611
case_no=55 label=Case6.43 nb_sol=0 ticks=150378 tps=100 nb_sec=1503
case_no=55 label=Case6.43 nb_sol=0 ticks=94059 tps=100 nb_sec=940
case_no=55 label=Case6.43 nb_sol=0 ticks=131181 tps=100 nb_sec=1311
case_no=55 label=Case6.43 nb_sol=0 ticks=107267 tps=100 nb_sec=1072
case_no=55 label=Case6.43 nb_sol=0 ticks=137454 tps=100 nb_sec=1374
case_no=55 label=Case6.43 nb_sol=0 ticks=108027 tps=100 nb_sec=1080
case_no=55 label=Case6.43 nb_sol=0 ticks=136919 tps=100 nb_sec=1369
case_no=55 label=Case6.43 nb_sol=0 ticks=116252 tps=100 nb_sec=1162
case_no=55 label=Case6.43 nb_sol=0 ticks=89330 tps=100 nb_sec=893
case_no=55 label=Case6.43 nb_sol=0 ticks=42867 tps=100 nb_sec=428
case_no=55 label=Case6.43 nb_sol=0 ticks=104163 tps=100 nb_sec=1041
case_no=55 label=Case6.43 nb_sol=0 ticks=144212 tps=100 nb_sec=1442
case_no=55 label=Case6.43 nb_sol=0 ticks=164291 tps=100 nb_sec=1642
case_no=55 label=Case6.43 nb_sol=0 ticks=93595 tps=100 nb_sec=935
case_no=55 label=Case6.43 nb_sol=0 ticks=112152 tps=100 nb_sec=1121
case_no=55 label=Case6.43 nb_sol=0 ticks=88752 tps=100 nb_sec=887
case_no=55 label=Case6.43 nb_sol=0 ticks=119354 tps=100 nb_sec=1193
case_no=55 label=Case6.43 nb_sol=0 ticks=90223 tps=100 nb_sec=902
case_no=55 label=Case6.43 nb_sol=0 ticks=143515 tps=100 nb_sec=1435
case_no=55 label=Case6.43 nb_sol=0 ticks=99154 tps=100 nb_sec=991
case_no=55 label=Case6.43 nb_sol=0 ticks=141562 tps=100 nb_sec=1415
case_no=55 label=Case6.43 nb_sol=0 ticks=107099 tps=100 nb_sec=1070
case_no=55 label=Case6.43 nb_sol=0 ticks=94465 tps=100 nb_sec=944
case_no=55 label=Case6.43 nb_sol=0 ticks=80287 tps=100 nb_sec=802
case_no=55 label=Case6.43 nb_sol=0 ticks=140774 tps=100 nb_sec=1407
case_no=55 label=Case6.43 nb_sol=0 ticks=88624 tps=100 nb_sec=886
case_no=55 label=Case6.43 nb_sol=0 ticks=85624 tps=100 nb_sec=856
case_no=55 label=Case6.43 nb_sol=0 ticks=137058 tps=100 nb_sec=1370
case_no=55 label=Case6.43 nb_sol=0 ticks=87832 tps=100 nb_sec=878
case_no=55 label=Case6.43 nb_sol=0 ticks=131947 tps=100 nb_sec=1319
case_no=55 label=Case6.43 nb_sol=0 ticks=102591 tps=100 nb_sec=1025
case_no=55 label=Case6.43 nb_sol=0 ticks=138068 tps=100 nb_sec=1380
case_no=55 label=Case6.43 nb_sol=0 ticks=92123 tps=100 nb_sec=921
case_no=55 label=Case6.43 nb_sol=0 ticks=95851 tps=100 nb_sec=958
case_no=55 label=Case6.43 nb_sol=0 ticks=129413 tps=100 nb_sec=1294
case_no=55 label=Case6.43 nb_sol=0 ticks=93039 tps=100 nb_sec=930
case_no=55 label=Case6.43 nb_sol=0 ticks=70580 tps=100 nb_sec=705
case_no=55 label=Case6.43 nb_sol=0 ticks=113691 tps=100 nb_sec=1136
case_no=55 label=Case6.43 nb_sol=0 ticks=87378 tps=100 nb_sec=873
case_no=55 label=Case6.43 nb_sol=0 ticks=106434 tps=100 nb_sec=1064
case_no=55 label=Case6.43 nb_sol=0 ticks=117721 tps=100 nb_sec=1177
case_no=55 label=Case6.43 nb_sol=0 ticks=93159 tps=100 nb_sec=931
case_no=55 label=Case6.43 nb_sol=0 ticks=112589 tps=100 nb_sec=1125
case_no=55 label=Case6.43 nb_sol=0 ticks=88471 tps=100 nb_sec=884
case_no=55 label=Case6.43 nb_sol=0 ticks=96907 tps=100 nb_sec=969
case_no=55 label=Case6.43 nb_sol=0 ticks=90964 tps=100 nb_sec=909
case_no=55 label=Case6.43 nb_sol=0 ticks=100239 tps=100 nb_sec=1002
case_no=55 label=Case6.43 nb_sol=0 ticks=105227 tps=100 nb_sec=1052
case_no=55 label=Case6.43 nb_sol=0 ticks=91738 tps=100 nb_sec=917
case_no=55 label=Case6.43 nb_sol=0 ticks=119510 tps=100 nb_sec=1195
case_no=55 label=Case6.43 nb_sol=0 ticks=101182 tps=100 nb_sec=1011
case_no=55 label=Case6.43 nb_sol=0 ticks=86392 tps=100 nb_sec=863
case_no=55 label=Case6.43 nb_sol=0 ticks=95909 tps=100 nb_sec=959
case_no=55 label=Case6.43 nb_sol=0 ticks=94228 tps=100 nb_sec=942
case_no=55 label=Case6.43 nb_sol=0 ticks=85742 tps=100 nb_sec=857
case_no=55 label=Case6.43 nb_sol=0 ticks=120115 tps=100 nb_sec=1201
case_no=55 label=Case6.43 nb_sol=0 ticks=101715 tps=100 nb_sec=1017
case_no=55 label=Case6.43 nb_sol=0 ticks=90433 tps=100 nb_sec=904
case_no=55 label=Case6.43 nb_sol=0 ticks=100976 tps=100 nb_sec=1009
case_no=55 label=Case6.43 nb_sol=0 ticks=79226 tps=100 nb_sec=792
case_no=55 label=Case6.43 nb_sol=0 ticks=86246 tps=100 nb_sec=862
case_no=55 label=Case6.43 nb_sol=0 ticks=91657 tps=100 nb_sec=916
case_no=55 label=Case6.43 nb_sol=0 ticks=84875 tps=100 nb_sec=848
case_no=55 label=Case6.43 nb_sol=0 ticks=80975 tps=100 nb_sec=809
case_no=55 label=Case6.43 nb_sol=0 ticks=119672 tps=100 nb_sec=1196
case_no=55 label=Case6.43 nb_sol=0 ticks=85356 tps=100 nb_sec=853
case_no=55 label=Case6.43 nb_sol=0 ticks=79338 tps=100 nb_sec=793
case_no=55 label=Case6.43 nb_sol=0 ticks=132049 tps=100 nb_sec=1320
case_no=55 label=Case6.43 nb_sol=0 ticks=86062 tps=100 nb_sec=860
case_no=55 label=Case6.43 nb_sol=0 ticks=83018 tps=100 nb_sec=830
case_no=55 label=Case6.43 nb_sol=0 ticks=90081 tps=100 nb_sec=900
case_no=55 label=Case6.43 nb_sol=0 ticks=132227 tps=100 nb_sec=1322
case_no=55 label=Case6.43 nb_sol=0 ticks=95937 tps=100 nb_sec=959
case_no=55 label=Case6.43 nb_sol=0 ticks=152982 tps=100 nb_sec=1529
case_no=55 label=Case6.43 nb_sol=0 ticks=167614 tps=100 nb_sec=1676
case_no=55 label=Case6.43 nb_sol=0 ticks=134013 tps=100 nb_sec=1340
case_no=55 label=Case6.43 nb_sol=0 ticks=95102 tps=100 nb_sec=951
case_no=55 label=Case6.43 nb_sol=0 ticks=143363 tps=100 nb_sec=1433
case_no=55 label=Case6.43 nb_sol=0 ticks=79966 tps=100 nb_sec=799
case_no=55 label=Case6.43 nb_sol=0 ticks=139948 tps=100 nb_sec=1399
case_no=55 label=Case6.43 nb_sol=0 ticks=133786 tps=100 nb_sec=1337
case_no=55 label=Case6.43 nb_sol=0 ticks=135633 tps=100 nb_sec=1356
case_no=55 label=Case6.43 nb_sol=0 ticks=143002 tps=100 nb_sec=1430
case_no=55 label=Case6.43 nb_sol=0 ticks=133304 tps=100 nb_sec=1333
case_no=55 label=Case6.43 nb_sol=0 ticks=136850 tps=100 nb_sec=1368
case_no=55 label=Case6.43 nb_sol=0 ticks=90719 tps=100 nb_sec=907
case_no=55 label=Case6.43 nb_sol=0 ticks=86809 tps=100 nb_sec=868
case_no=55 label=Case6.43 nb_sol=0 ticks=88290 tps=100 nb_sec=882
case_no=55 label=Case6.43 nb_sol=0 ticks=83446 tps=100 nb_sec=834
case_no=55 label=Case6.43 nb_sol=0 ticks=93950 tps=100 nb_sec=939
case_no=55 label=Case6.43 nb_sol=0 ticks=59921 tps=100 nb_sec=599
case_no=55 label=Case6.43 nb_sol=0 ticks=95352 tps=100 nb_sec=953
case_no=55 label=Case6.43 nb_sol=0 ticks=83696 tps=100 nb_sec=836
case_no=55 label=Case6.43 nb_sol=0 ticks=130036 tps=100 nb_sec=1300
case_no=55 label=Case6.43 nb_sol=0 ticks=102234 tps=100 nb_sec=1022
case_no=55 label=Case6.43 nb_sol=0 ticks=78801 tps=100 nb_sec=788
case_no=55 label=Case6.43 nb_sol=0 ticks=118154 tps=100 nb_sec=1181
case_no=55 label=Case6.43 nb_sol=0 ticks=86706 tps=100 nb_sec=867
case_no=55 label=Case6.43 nb_sol=0 ticks=80504 tps=100 nb_sec=805
case_no=55 label=Case6.43 nb_sol=0 ticks=96733 tps=100 nb_sec=967
case_no=55 label=Case6.43 nb_sol=0 ticks=100634 tps=100 nb_sec=1006
case_no=55 label=Case6.43 nb_sol=0 ticks=64523 tps=100 nb_sec=645
case_no=55 label=Case6.43 nb_sol=0 ticks=158215 tps=100 nb_sec=1582
case_no=55 label=Case6.43 nb_sol=0 ticks=79694 tps=100 nb_sec=796
case_no=55 label=Case6.43 nb_sol=0 ticks=67522 tps=100 nb_sec=675
case_no=55 label=Case6.43 nb_sol=0 ticks=120756 tps=100 nb_sec=1207
case_no=55 label=Case6.43 nb_sol=0 ticks=90598 tps=100 nb_sec=905
case_no=55 label=Case6.43 nb_sol=0 ticks=54888 tps=100 nb_sec=548
case_no=55 label=Case6.43 nb_sol=0 ticks=92218 tps=100 nb_sec=922
case_no=55 label=Case6.43 nb_sol=0 ticks=104756 tps=100 nb_sec=1047
case_no=55 label=Case6.43 nb_sol=0 ticks=68125 tps=100 nb_sec=681
case_no=55 label=Case6.43 nb_sol=0 ticks=84791 tps=100 nb_sec=847
case_no=55 label=Case6.43 nb_sol=0 ticks=95911 tps=100 nb_sec=959
case_no=55 label=Case6.43 nb_sol=0 ticks=55386 tps=100 nb_sec=553
case_no=55 label=Case6.43 nb_sol=0 ticks=123297 tps=100 nb_sec=1232
case_no=55 label=Case6.43 nb_sol=0 ticks=96673 tps=100 nb_sec=966
case_no=55 label=Case6.43 nb_sol=0 ticks=68180 tps=100 nb_sec=681
case_no=55 label=Case6.43 nb_sol=0 ticks=89274 tps=100 nb_sec=892
case_no=55 label=Case6.43 nb_sol=0 ticks=90281 tps=100 nb_sec=902
case_no=55 label=Case6.43 nb_sol=0 ticks=99611 tps=100 nb_sec=996
case_no=55 label=Case6.43 nb_sol=0 ticks=121600 tps=100 nb_sec=1216
case_no=55 label=Case6.43 nb_sol=0 ticks=99160 tps=100 nb_sec=991
case_no=55 label=Case6.43 nb_sol=0 ticks=100537 tps=100 nb_sec=1005
case_no=55 label=Case6.43 nb_sol=0 ticks=84536 tps=100 nb_sec=845
case_no=55 label=Case6.43 nb_sol=0 ticks=127189 tps=100 nb_sec=1271
case_no=55 label=Case6.43 nb_sol=0 ticks=94875 tps=100 nb_sec=948
case_no=55 label=Case6.43 nb_sol=0 ticks=98039 tps=100 nb_sec=980
case_no=55 label=Case6.43 nb_sol=0 ticks=81777 tps=100 nb_sec=817
case_no=55 label=Case6.43 nb_sol=0 ticks=134128 tps=100 nb_sec=1341
case_no=55 label=Case6.43 nb_sol=0 ticks=137086 tps=100 nb_sec=1370
case_no=55 label=Case6.43 nb_sol=0 ticks=88685 tps=100 nb_sec=886
case_no=55 label=Case6.43 nb_sol=0 ticks=97778 tps=100 nb_sec=977
case_no=55 label=Case6.43 nb_sol=0 ticks=89185 tps=100 nb_sec=891
case_no=55 label=Case6.43 nb_sol=0 ticks=83323 tps=100 nb_sec=833
case_no=55 label=Case6.43 nb_sol=0 ticks=89158 tps=100 nb_sec=891
case_no=55 label=Case6.43 nb_sol=0 ticks=79730 tps=100 nb_sec=797
case_no=55 label=Case6.43 nb_sol=0 ticks=95979 tps=100 nb_sec=959
case_no=55 label=Case6.43 nb_sol=0 ticks=97873 tps=100 nb_sec=978
case_no=55 label=Case6.43 nb_sol=0 ticks=82171 tps=100 nb_sec=821
case_no=55 label=Case6.43 nb_sol=0 ticks=76901 tps=100 nb_sec=769
case_no=55 label=Case6.43 nb_sol=0 ticks=98460 tps=100 nb_sec=984
case_no=55 label=Case6.43 nb_sol=0 ticks=77726 tps=100 nb_sec=777
case_no=55 label=Case6.43 nb_sol=0 ticks=88389 tps=100 nb_sec=883
case_no=55 label=Case6.43 nb_sol=0 ticks=105702 tps=100 nb_sec=1057
case_no=55 label=Case6.43 nb_sol=0 ticks=98158 tps=100 nb_sec=981
case_no=55 label=Case6.43 nb_sol=0 ticks=103387 tps=100 nb_sec=1033
case_no=55 label=Case6.43 nb_sol=0 ticks=84183 tps=100 nb_sec=841
case_no=55 label=Case6.43 nb_sol=0 ticks=103819 tps=100 nb_sec=1038
case_no=55 label=Case6.43 nb_sol=0 ticks=124738 tps=100 nb_sec=1247
case_no=55 label=Case6.43 nb_sol=0 ticks=74576 tps=100 nb_sec=745
case_no=55 label=Case6.43 nb_sol=0 ticks=116895 tps=100 nb_sec=1168
case_no=55 label=Case6.43 nb_sol=0 ticks=84136 tps=100 nb_sec=841
case_no=55 label=Case6.43 nb_sol=0 ticks=93817 tps=100 nb_sec=938
case_no=55 label=Case6.43 nb_sol=0 ticks=106780 tps=100 nb_sec=1067
case_no=55 label=Case6.43 nb_sol=0 ticks=92163 tps=100 nb_sec=921
case_no=55 label=Case6.43 nb_sol=0 ticks=100486 tps=100 nb_sec=1004
case_no=55 label=Case6.43 nb_sol=0 ticks=100704 tps=100 nb_sec=1007
case_no=55 label=Case6.43 nb_sol=0 ticks=83378 tps=100 nb_sec=833
case_no=55 label=Case6.43 nb_sol=0 ticks=91306 tps=100 nb_sec=913
case_no=55 label=Case6.43 nb_sol=0 ticks=100811 tps=100 nb_sec=1008
case_no=55 label=Case6.43 nb_sol=0 ticks=91478 tps=100 nb_sec=914
case_no=55 label=Case6.43 nb_sol=0 ticks=125693 tps=100 nb_sec=1256
case_no=55 label=Case6.43 nb_sol=0 ticks=96205 tps=100 nb_sec=962
case_no=55 label=Case6.43 nb_sol=0 ticks=103744 tps=100 nb_sec=1037
case_no=55 label=Case6.43 nb_sol=0 ticks=99803 tps=100 nb_sec=998
case_no=55 label=Case6.43 nb_sol=0 ticks=89328 tps=100 nb_sec=893
case_no=55 label=Case6.43 nb_sol=0 ticks=93574 tps=100 nb_sec=935
case_no=55 label=Case6.43 nb_sol=0 ticks=88957 tps=100 nb_sec=889
case_no=55 label=Case6.43 nb_sol=0 ticks=125475 tps=100 nb_sec=1254
case_no=55 label=Case6.43 nb_sol=0 ticks=97322 tps=100 nb_sec=973
case_no=55 label=Case6.43 nb_sol=0 ticks=127039 tps=100 nb_sec=1270
case_no=55 label=Case6.43 nb_sol=0 ticks=136825 tps=100 nb_sec=1368
case_no=55 label=Case6.43 nb_sol=0 ticks=121870 tps=100 nb_sec=1218
case_no=55 label=Case6.43 nb_sol=0 ticks=105609 tps=100 nb_sec=1056
case_no=55 label=Case6.43 nb_sol=0 ticks=134537 tps=100 nb_sec=1345
case_no=55 label=Case6.43 nb_sol=0 ticks=120637 tps=100 nb_sec=1206
case_no=55 label=Case6.43 nb_sol=0 ticks=156411 tps=100 nb_sec=1564
case_no=55 label=Case6.43 nb_sol=0 ticks=145224 tps=100 nb_sec=1452
case_no=55 label=Case6.43 nb_sol=0 ticks=152352 tps=100 nb_sec=1523
case_no=55 label=Case6.43 nb_sol=0 ticks=155746 tps=100 nb_sec=1557
case_no=55 label=Case6.43 nb_sol=0 ticks=90106 tps=100 nb_sec=901
case_no=55 label=Case6.43 nb_sol=0 ticks=129237 tps=100 nb_sec=1292
case_no=55 label=Case6.43 nb_sol=0 ticks=90647 tps=100 nb_sec=906
case_no=55 label=Case6.43 nb_sol=0 ticks=148504 tps=100 nb_sec=1485
case_no=55 label=Case6.43 nb_sol=0 ticks=111140 tps=100 nb_sec=1111
case_no=55 label=Case6.43 nb_sol=0 ticks=137327 tps=100 nb_sec=1373
case_no=55 label=Case6.43 nb_sol=0 ticks=118957 tps=100 nb_sec=1189
case_no=55 label=Case6.43 nb_sol=0 ticks=139570 tps=100 nb_sec=1395
case_no=55 label=Case6.43 nb_sol=0 ticks=103691 tps=100 nb_sec=1036
case_no=55 label=Case6.43 nb_sol=0 ticks=100106 tps=100 nb_sec=1001
case_no=55 label=Case6.43 nb_sol=0 ticks=103983 tps=100 nb_sec=1039
case_no=55 label=Case6.43 nb_sol=0 ticks=90231 tps=100 nb_sec=902
case_no=55 label=Case6.43 nb_sol=0 ticks=90237 tps=100 nb_sec=902
case_no=55 label=Case6.43 nb_sol=0 ticks=99554 tps=100 nb_sec=995
case_no=55 label=Case6.43 nb_sol=0 ticks=91899 tps=100 nb_sec=918
case_no=55 label=Case6.43 nb_sol=0 ticks=102297 tps=100 nb_sec=1022
case_no=55 label=Case6.43 nb_sol=0 ticks=110156 tps=100 nb_sec=1101
case_no=55 label=Case6.43 nb_sol=0 ticks=92574 tps=100 nb_sec=925
case_no=55 label=Case6.43 nb_sol=0 ticks=101585 tps=100 nb_sec=1015
case_no=55 label=Case6.43 nb_sol=0 ticks=134887 tps=100 nb_sec=1348
case_no=55 label=Case6.43 nb_sol=0 ticks=99903 tps=100 nb_sec=999
case_no=55 label=Case6.43 nb_sol=0 ticks=126882 tps=100 nb_sec=1268
case_no=55 label=Case6.43 nb_sol=0 ticks=97556 tps=100 nb_sec=975
case_no=55 label=Case6.43 nb_sol=0 ticks=104366 tps=100 nb_sec=1043
case_no=55 label=Case6.43 nb_sol=0 ticks=145191 tps=100 nb_sec=1451
case_no=55 label=Case6.43 nb_sol=0 ticks=86895 tps=100 nb_sec=868
case_no=55 label=Case6.43 nb_sol=0 ticks=144665 tps=100 nb_sec=1446
case_no=55 label=Case6.43 nb_sol=0 ticks=108363 tps=100 nb_sec=1083
case_no=55 label=Case6.43 nb_sol=0 ticks=92990 tps=100 nb_sec=929
case_no=55 label=Case6.43 nb_sol=0 ticks=105298 tps=100 nb_sec=1052
case_no=55 label=Case6.43 nb_sol=0 ticks=134199 tps=100 nb_sec=1341
case_no=55 label=Case6.43 nb_sol=0 ticks=107305 tps=100 nb_sec=1073
case_no=55 label=Case6.43 nb_sol=0 ticks=101798 tps=100 nb_sec=1017
case_no=55 label=Case6.43 nb_sol=0 ticks=97825 tps=100 nb_sec=978
case_no=55 label=Case6.43 nb_sol=0 ticks=102540 tps=100 nb_sec=1025
case_no=55 label=Case6.43 nb_sol=0 ticks=94897 tps=100 nb_sec=948
case_no=55 label=Case6.43 nb_sol=0 ticks=136617 tps=100 nb_sec=1366
case_no=55 label=Case6.43 nb_sol=0 ticks=91501 tps=100 nb_sec=915
case_no=55 label=Case6.43 nb_sol=0 ticks=121521 tps=100 nb_sec=1215
case_no=55 label=Case6.43 nb_sol=0 ticks=79841 tps=100 nb_sec=798
case_no=55 label=Case6.43 nb_sol=0 ticks=97676 tps=100 nb_sec=976
case_no=55 label=Case6.43 nb_sol=0 ticks=127534 tps=100 nb_sec=1275
case_no=55 label=Case6.43 nb_sol=0 ticks=91561 tps=100 nb_sec=915
case_no=55 label=Case6.43 nb_sol=0 ticks=111018 tps=100 nb_sec=1110
case_no=55 label=Case6.43 nb_sol=0 ticks=80085 tps=100 nb_sec=800
case_no=55 label=Case6.43 nb_sol=0 ticks=94413 tps=100 nb_sec=944
case_no=55 label=Case6.43 nb_sol=0 ticks=132407 tps=100 nb_sec=1324
case_no=55 label=Case6.43 nb_sol=0 ticks=83095 tps=100 nb_sec=830
case_no=55 label=Case6.43 nb_sol=0 ticks=131041 tps=100 nb_sec=1310
case_no=55 label=Case6.43 nb_sol=0 ticks=135039 tps=100 nb_sec=1350
case_no=55 label=Case6.43 nb_sol=0 ticks=84727 tps=100 nb_sec=847
case_no=55 label=Case6.43 nb_sol=0 ticks=95404 tps=100 nb_sec=954
case_no=55 label=Case6.43 nb_sol=0 ticks=93697 tps=100 nb_sec=936
case_no=55 label=Case6.43 nb_sol=0 ticks=88040 tps=100 nb_sec=880
case_no=55 label=Case6.43 nb_sol=0 ticks=119043 tps=100 nb_sec=1190
case_no=55 label=Case6.43 nb_sol=0 ticks=93887 tps=100 nb_sec=938
case_no=55 label=Case6.43 nb_sol=0 ticks=94627 tps=100 nb_sec=946
case_no=55 label=Case6.43 nb_sol=0 ticks=128531 tps=100 nb_sec=1285
case_no=55 label=Case6.43 nb_sol=0 ticks=101957 tps=100 nb_sec=1019
case_no=55 label=Case6.43 nb_sol=0 ticks=84761 tps=100 nb_sec=847
case_no=55 label=Case6.43 nb_sol=0 ticks=82874 tps=100 nb_sec=828
case_no=55 label=Case6.43 nb_sol=0 ticks=129457 tps=100 nb_sec=1294
case_no=55 label=Case6.43 nb_sol=0 ticks=93031 tps=100 nb_sec=930
case_no=55 label=Case6.43 nb_sol=0 ticks=79275 tps=100 nb_sec=792
case_no=55 label=Case6.43 nb_sol=0 ticks=100080 tps=100 nb_sec=1000
case_no=55 label=Case6.43 nb_sol=0 ticks=94276 tps=100 nb_sec=942
case_no=55 label=Case6.43 nb_sol=0 ticks=93926 tps=100 nb_sec=939
case_no=55 label=Case6.43 nb_sol=0 ticks=97340 tps=100 nb_sec=973
case_no=55 label=Case6.43 nb_sol=0 ticks=87143 tps=100 nb_sec=871
case_no=55 label=Case6.43 nb_sol=0 ticks=95958 tps=100 nb_sec=959
case_no=55 label=Case6.43 nb_sol=0 ticks=105317 tps=100 nb_sec=1053
case_no=55 label=Case6.43 nb_sol=0 ticks=90419 tps=100 nb_sec=904
case_no=55 label=Case6.43 nb_sol=0 ticks=134486 tps=100 nb_sec=1344
case_no=55 label=Case6.43 nb_sol=0 ticks=110144 tps=100 nb_sec=1101
case_no=55 label=Case6.43 nb_sol=0 ticks=128542 tps=100 nb_sec=1285
case_no=55 label=Case6.43 nb_sol=0 ticks=97265 tps=100 nb_sec=972
case_no=55 label=Case6.43 nb_sol=0 ticks=101360 tps=100 nb_sec=1013
case_no=55 label=Case6.43 nb_sol=0 ticks=160342 tps=100 nb_sec=1603
case_no=55 label=Case6.43 nb_sol=0 ticks=111570 tps=100 nb_sec=1115
case_no=55 label=Case6.43 nb_sol=0 ticks=155567 tps=100 nb_sec=1555
case_no=55 label=Case6.43 nb_sol=0 ticks=99719 tps=100 nb_sec=997
case_no=55 label=Case6.43 nb_sol=0 ticks=98652 tps=100 nb_sec=986
case_no=55 label=Case6.43 nb_sol=0 ticks=140560 tps=100 nb_sec=1405
case_no=55 label=Case6.43 nb_sol=0 ticks=145919 tps=100 nb_sec=1459
case_no=55 label=Case6.43 nb_sol=0 ticks=143125 tps=100 nb_sec=1431
case_no=55 label=Case6.43 nb_sol=0 ticks=85801 tps=100 nb_sec=858
case_no=55 label=Case6.43 nb_sol=0 ticks=145434 tps=100 nb_sec=1454
case_no=55 label=Case6.43 nb_sol=0 ticks=84428 tps=100 nb_sec=844
case_no=55 label=Case6.43 nb_sol=0 ticks=142001 tps=100 nb_sec=1420
case_no=55 label=Case6.43 nb_sol=0 ticks=104033 tps=100 nb_sec=1040
case_no=55 label=Case6.43 nb_sol=0 ticks=168248 tps=100 nb_sec=1682
case_no=55 label=Case6.43 nb_sol=0 ticks=81752 tps=100 nb_sec=817
case_no=55 label=Case6.43 nb_sol=0 ticks=163626 tps=100 nb_sec=1636
case_no=55 label=Case6.43 nb_sol=0 ticks=122822 tps=100 nb_sec=1228
case_no=55 label=Case6.43 nb_sol=0 ticks=108837 tps=100 nb_sec=1088
case_no=55 label=Case6.43 nb_sol=0 ticks=80232 tps=100 nb_sec=802
case_no=55 label=Case6.43 nb_sol=0 ticks=90997 tps=100 nb_sec=909
case_no=55 label=Case6.43 nb_sol=0 ticks=137697 tps=100 nb_sec=1376
case_no=55 label=Case6.43 nb_sol=0 ticks=154020 tps=100 nb_sec=1540
case_no=55 label=Case6.43 nb_sol=0 ticks=153367 tps=100 nb_sec=1533
case_no=55 label=Case6.43 nb_sol=0 ticks=70981 tps=100 nb_sec=709
case_no=55 label=Case6.43 nb_sol=0 ticks=82798 tps=100 nb_sec=827
case_no=55 label=Case6.43 nb_sol=0 ticks=79719 tps=100 nb_sec=797
case_no=55 label=Case6.43 nb_sol=0 ticks=92558 tps=100 nb_sec=925
case_no=55 label=Case6.43 nb_sol=0 ticks=71272 tps=100 nb_sec=712
case_no=55 label=Case6.43 nb_sol=0 ticks=91276 tps=100 nb_sec=912
case_no=55 label=Case6.43 nb_sol=0 ticks=92509 tps=100 nb_sec=925
case_no=55 label=Case6.43 nb_sol=0 ticks=92748 tps=100 nb_sec=927
Nb_sol=0
Nb_sec=541025
6-6:17:5 or 150 hours
missing cases:
none