argc=5 -M 512 file2=30_select_Case6.79_starter_16_ checking files mod 512 from 0 to 511 case_no=91 label=Case6.79 nb_sol=0 ticks=124319 tps=100 nb_sec=1243 case_no=91 label=Case6.79 nb_sol=0 ticks=43311 tps=100 nb_sec=433 case_no=91 label=Case6.79 nb_sol=0 ticks=121879 tps=100 nb_sec=1218 case_no=91 label=Case6.79 nb_sol=0 ticks=89138 tps=100 nb_sec=891 case_no=91 label=Case6.79 nb_sol=0 ticks=66157 tps=100 nb_sec=661 case_no=91 label=Case6.79 nb_sol=0 ticks=66592 tps=100 nb_sec=665 case_no=91 label=Case6.79 nb_sol=0 ticks=75560 tps=100 nb_sec=755 case_no=91 label=Case6.79 nb_sol=0 ticks=97960 tps=100 nb_sec=979 case_no=91 label=Case6.79 nb_sol=0 ticks=75628 tps=100 nb_sec=756 case_no=91 label=Case6.79 nb_sol=0 ticks=114103 tps=100 nb_sec=1141 case_no=91 label=Case6.79 nb_sol=0 ticks=62446 tps=100 nb_sec=624 case_no=91 label=Case6.79 nb_sol=0 ticks=84189 tps=100 nb_sec=841 case_no=91 label=Case6.79 nb_sol=0 ticks=117880 tps=100 nb_sec=1178 case_no=91 label=Case6.79 nb_sol=0 ticks=45778 tps=100 nb_sec=457 case_no=91 label=Case6.79 nb_sol=0 ticks=56721 tps=100 nb_sec=567 case_no=91 label=Case6.79 nb_sol=0 ticks=55157 tps=100 nb_sec=551 case_no=91 label=Case6.79 nb_sol=0 ticks=105156 tps=100 nb_sec=1051 case_no=91 label=Case6.79 nb_sol=0 ticks=120463 tps=100 nb_sec=1204 case_no=91 label=Case6.79 nb_sol=0 ticks=96424 tps=100 nb_sec=964 case_no=91 label=Case6.79 nb_sol=0 ticks=77725 tps=100 nb_sec=777 case_no=91 label=Case6.79 nb_sol=0 ticks=67830 tps=100 nb_sec=678 case_no=91 label=Case6.79 nb_sol=0 ticks=93486 tps=100 nb_sec=934 case_no=91 label=Case6.79 nb_sol=0 ticks=117113 tps=100 nb_sec=1171 case_no=91 label=Case6.79 nb_sol=0 ticks=47547 tps=100 nb_sec=475 case_no=91 label=Case6.79 nb_sol=0 ticks=120354 tps=100 nb_sec=1203 case_no=91 label=Case6.79 nb_sol=0 ticks=38490 tps=100 nb_sec=384 case_no=91 label=Case6.79 nb_sol=0 ticks=117036 tps=100 nb_sec=1170 case_no=91 label=Case6.79 nb_sol=0 ticks=46926 tps=100 nb_sec=469 case_no=91 label=Case6.79 nb_sol=0 ticks=54551 tps=100 nb_sec=545 case_no=91 label=Case6.79 nb_sol=0 ticks=134672 tps=100 nb_sec=1346 case_no=91 label=Case6.79 nb_sol=0 ticks=84930 tps=100 nb_sec=849 case_no=91 label=Case6.79 nb_sol=0 ticks=74896 tps=100 nb_sec=748 case_no=91 label=Case6.79 nb_sol=0 ticks=66566 tps=100 nb_sec=665 case_no=91 label=Case6.79 nb_sol=0 ticks=141337 tps=100 nb_sec=1413 case_no=91 label=Case6.79 nb_sol=0 ticks=69754 tps=100 nb_sec=697 case_no=91 label=Case6.79 nb_sol=0 ticks=124974 tps=100 nb_sec=1249 case_no=91 label=Case6.79 nb_sol=0 ticks=80481 tps=100 nb_sec=804 case_no=91 label=Case6.79 nb_sol=0 ticks=86636 tps=100 nb_sec=866 case_no=91 label=Case6.79 nb_sol=0 ticks=115394 tps=100 nb_sec=1153 case_no=91 label=Case6.79 nb_sol=0 ticks=83244 tps=100 nb_sec=832 case_no=91 label=Case6.79 nb_sol=0 ticks=127317 tps=100 nb_sec=1273 case_no=91 label=Case6.79 nb_sol=0 ticks=54749 tps=100 nb_sec=547 case_no=91 label=Case6.79 nb_sol=0 ticks=102075 tps=100 nb_sec=1020 case_no=91 label=Case6.79 nb_sol=0 ticks=115921 tps=100 nb_sec=1159 case_no=91 label=Case6.79 nb_sol=0 ticks=64408 tps=100 nb_sec=644 case_no=91 label=Case6.79 nb_sol=0 ticks=91691 tps=100 nb_sec=916 case_no=91 label=Case6.79 nb_sol=0 ticks=84901 tps=100 nb_sec=849 case_no=91 label=Case6.79 nb_sol=0 ticks=127152 tps=100 nb_sec=1271 case_no=91 label=Case6.79 nb_sol=0 ticks=68116 tps=100 nb_sec=681 case_no=91 label=Case6.79 nb_sol=0 ticks=110072 tps=100 nb_sec=1100 case_no=91 label=Case6.79 nb_sol=0 ticks=62646 tps=100 nb_sec=626 case_no=91 label=Case6.79 nb_sol=0 ticks=81595 tps=100 nb_sec=815 case_no=91 label=Case6.79 nb_sol=0 ticks=88305 tps=100 nb_sec=883 case_no=91 label=Case6.79 nb_sol=0 ticks=53471 tps=100 nb_sec=534 case_no=91 label=Case6.79 nb_sol=0 ticks=65256 tps=100 nb_sec=652 case_no=91 label=Case6.79 nb_sol=0 ticks=123104 tps=100 nb_sec=1231 case_no=91 label=Case6.79 nb_sol=0 ticks=43629 tps=100 nb_sec=436 case_no=91 label=Case6.79 nb_sol=0 ticks=84897 tps=100 nb_sec=848 case_no=91 label=Case6.79 nb_sol=0 ticks=102436 tps=100 nb_sec=1024 case_no=91 label=Case6.79 nb_sol=0 ticks=53412 tps=100 nb_sec=534 case_no=91 label=Case6.79 nb_sol=0 ticks=121292 tps=100 nb_sec=1212 case_no=91 label=Case6.79 nb_sol=0 ticks=106028 tps=100 nb_sec=1060 case_no=91 label=Case6.79 nb_sol=0 ticks=55033 tps=100 nb_sec=550 case_no=91 label=Case6.79 nb_sol=0 ticks=109999 tps=100 nb_sec=1099 case_no=91 label=Case6.79 nb_sol=0 ticks=90379 tps=100 nb_sec=903 case_no=91 label=Case6.79 nb_sol=0 ticks=73617 tps=100 nb_sec=736 case_no=91 label=Case6.79 nb_sol=0 ticks=40002 tps=100 nb_sec=400 case_no=91 label=Case6.79 nb_sol=0 ticks=56006 tps=100 nb_sec=560 case_no=91 label=Case6.79 nb_sol=0 ticks=84105 tps=100 nb_sec=841 case_no=91 label=Case6.79 nb_sol=0 ticks=41579 tps=100 nb_sec=415 case_no=91 label=Case6.79 nb_sol=0 ticks=53652 tps=100 nb_sec=536 case_no=91 label=Case6.79 nb_sol=0 ticks=35191 tps=100 nb_sec=351 case_no=91 label=Case6.79 nb_sol=0 ticks=82421 tps=100 nb_sec=824 case_no=91 label=Case6.79 nb_sol=0 ticks=51440 tps=100 nb_sec=514 case_no=91 label=Case6.79 nb_sol=0 ticks=78128 tps=100 nb_sec=781 case_no=91 label=Case6.79 nb_sol=0 ticks=89014 tps=100 nb_sec=890 case_no=91 label=Case6.79 nb_sol=0 ticks=39283 tps=100 nb_sec=392 case_no=91 label=Case6.79 nb_sol=0 ticks=50354 tps=100 nb_sec=503 case_no=91 label=Case6.79 nb_sol=0 ticks=82479 tps=100 nb_sec=824 case_no=91 label=Case6.79 nb_sol=0 ticks=43354 tps=100 nb_sec=433 case_no=91 label=Case6.79 nb_sol=0 ticks=84356 tps=100 nb_sec=843 case_no=91 label=Case6.79 nb_sol=0 ticks=42539 tps=100 nb_sec=425 case_no=91 label=Case6.79 nb_sol=0 ticks=173029 tps=100 nb_sec=1730 case_no=91 label=Case6.79 nb_sol=0 ticks=178610 tps=100 nb_sec=1786 case_no=91 label=Case6.79 nb_sol=0 ticks=74501 tps=100 nb_sec=745 case_no=91 label=Case6.79 nb_sol=0 ticks=130373 tps=100 nb_sec=1303 case_no=91 label=Case6.79 nb_sol=0 ticks=124350 tps=100 nb_sec=1243 case_no=91 label=Case6.79 nb_sol=0 ticks=42272 tps=100 nb_sec=422 case_no=91 label=Case6.79 nb_sol=0 ticks=54138 tps=100 nb_sec=541 case_no=91 label=Case6.79 nb_sol=0 ticks=126960 tps=100 nb_sec=1269 case_no=91 label=Case6.79 nb_sol=0 ticks=38856 tps=100 nb_sec=388 case_no=91 label=Case6.79 nb_sol=0 ticks=73660 tps=100 nb_sec=736 case_no=91 label=Case6.79 nb_sol=0 ticks=138501 tps=100 nb_sec=1385 case_no=91 label=Case6.79 nb_sol=0 ticks=67888 tps=100 nb_sec=678 case_no=91 label=Case6.79 nb_sol=0 ticks=72668 tps=100 nb_sec=726 case_no=91 label=Case6.79 nb_sol=0 ticks=88962 tps=100 nb_sec=889 case_no=91 label=Case6.79 nb_sol=0 ticks=82861 tps=100 nb_sec=828 case_no=91 label=Case6.79 nb_sol=0 ticks=79570 tps=100 nb_sec=795 case_no=91 label=Case6.79 nb_sol=0 ticks=72937 tps=100 nb_sec=729 case_no=91 label=Case6.79 nb_sol=0 ticks=68351 tps=100 nb_sec=683 case_no=91 label=Case6.79 nb_sol=0 ticks=118627 tps=100 nb_sec=1186 case_no=91 label=Case6.79 nb_sol=0 ticks=85578 tps=100 nb_sec=855 case_no=91 label=Case6.79 nb_sol=0 ticks=113827 tps=100 nb_sec=1138 case_no=91 label=Case6.79 nb_sol=0 ticks=128455 tps=100 nb_sec=1284 case_no=91 label=Case6.79 nb_sol=0 ticks=67417 tps=100 nb_sec=674 case_no=91 label=Case6.79 nb_sol=0 ticks=68664 tps=100 nb_sec=686 case_no=91 label=Case6.79 nb_sol=0 ticks=73355 tps=100 nb_sec=733 case_no=91 label=Case6.79 nb_sol=0 ticks=104679 tps=100 nb_sec=1046 case_no=91 label=Case6.79 nb_sol=0 ticks=88690 tps=100 nb_sec=886 case_no=91 label=Case6.79 nb_sol=0 ticks=94239 tps=100 nb_sec=942 case_no=91 label=Case6.79 nb_sol=0 ticks=74851 tps=100 nb_sec=748 case_no=91 label=Case6.79 nb_sol=0 ticks=37840 tps=100 nb_sec=378 case_no=91 label=Case6.79 nb_sol=0 ticks=34349 tps=100 nb_sec=343 case_no=91 label=Case6.79 nb_sol=0 ticks=37258 tps=100 nb_sec=372 case_no=91 label=Case6.79 nb_sol=0 ticks=52310 tps=100 nb_sec=523 case_no=91 label=Case6.79 nb_sol=0 ticks=48611 tps=100 nb_sec=486 case_no=91 label=Case6.79 nb_sol=0 ticks=73557 tps=100 nb_sec=735 case_no=91 label=Case6.79 nb_sol=0 ticks=50155 tps=100 nb_sec=501 case_no=91 label=Case6.79 nb_sol=0 ticks=96322 tps=100 nb_sec=963 case_no=91 label=Case6.79 nb_sol=0 ticks=48556 tps=100 nb_sec=485 case_no=91 label=Case6.79 nb_sol=0 ticks=70209 tps=100 nb_sec=702 case_no=91 label=Case6.79 nb_sol=0 ticks=36075 tps=100 nb_sec=360 case_no=91 label=Case6.79 nb_sol=0 ticks=33000 tps=100 nb_sec=330 case_no=91 label=Case6.79 nb_sol=0 ticks=84845 tps=100 nb_sec=848 case_no=91 label=Case6.79 nb_sol=0 ticks=79271 tps=100 nb_sec=792 case_no=91 label=Case6.79 nb_sol=0 ticks=33811 tps=100 nb_sec=338 case_no=91 label=Case6.79 nb_sol=0 ticks=44993 tps=100 nb_sec=449 case_no=91 label=Case6.79 nb_sol=0 ticks=73422 tps=100 nb_sec=734 case_no=91 label=Case6.79 nb_sol=0 ticks=96472 tps=100 nb_sec=964 case_no=91 label=Case6.79 nb_sol=0 ticks=76151 tps=100 nb_sec=761 case_no=91 label=Case6.79 nb_sol=0 ticks=87733 tps=100 nb_sec=877 case_no=91 label=Case6.79 nb_sol=0 ticks=92929 tps=100 nb_sec=929 case_no=91 label=Case6.79 nb_sol=0 ticks=39673 tps=100 nb_sec=396 case_no=91 label=Case6.79 nb_sol=0 ticks=74856 tps=100 nb_sec=748 case_no=91 label=Case6.79 nb_sol=0 ticks=86774 tps=100 nb_sec=867 case_no=91 label=Case6.79 nb_sol=0 ticks=122543 tps=100 nb_sec=1225 case_no=91 label=Case6.79 nb_sol=0 ticks=41553 tps=100 nb_sec=415 case_no=91 label=Case6.79 nb_sol=0 ticks=54102 tps=100 nb_sec=541 case_no=91 label=Case6.79 nb_sol=0 ticks=77494 tps=100 nb_sec=774 case_no=91 label=Case6.79 nb_sol=0 ticks=42838 tps=100 nb_sec=428 case_no=91 label=Case6.79 nb_sol=0 ticks=125175 tps=100 nb_sec=1251 case_no=91 label=Case6.79 nb_sol=0 ticks=44547 tps=100 nb_sec=445 case_no=91 label=Case6.79 nb_sol=0 ticks=125238 tps=100 nb_sec=1252 case_no=91 label=Case6.79 nb_sol=0 ticks=128716 tps=100 nb_sec=1287 case_no=91 label=Case6.79 nb_sol=0 ticks=40039 tps=100 nb_sec=400 case_no=91 label=Case6.79 nb_sol=0 ticks=49381 tps=100 nb_sec=493 case_no=91 label=Case6.79 nb_sol=0 ticks=89389 tps=100 nb_sec=893 case_no=91 label=Case6.79 nb_sol=0 ticks=135404 tps=100 nb_sec=1354 case_no=91 label=Case6.79 nb_sol=0 ticks=34151 tps=100 nb_sec=341 case_no=91 label=Case6.79 nb_sol=0 ticks=41042 tps=100 nb_sec=410 case_no=91 label=Case6.79 nb_sol=0 ticks=40026 tps=100 nb_sec=400 case_no=91 label=Case6.79 nb_sol=0 ticks=51368 tps=100 nb_sec=513 case_no=91 label=Case6.79 nb_sol=0 ticks=147709 tps=100 nb_sec=1477 case_no=91 label=Case6.79 nb_sol=0 ticks=131484 tps=100 nb_sec=1314 case_no=91 label=Case6.79 nb_sol=0 ticks=39978 tps=100 nb_sec=399 case_no=91 label=Case6.79 nb_sol=0 ticks=50175 tps=100 nb_sec=501 case_no=91 label=Case6.79 nb_sol=0 ticks=128380 tps=100 nb_sec=1283 case_no=91 label=Case6.79 nb_sol=0 ticks=30920 tps=100 nb_sec=309 case_no=91 label=Case6.79 nb_sol=0 ticks=50196 tps=100 nb_sec=501 case_no=91 label=Case6.79 nb_sol=0 ticks=52457 tps=100 nb_sec=524 case_no=91 label=Case6.79 nb_sol=0 ticks=131882 tps=100 nb_sec=1318 case_no=91 label=Case6.79 nb_sol=0 ticks=126376 tps=100 nb_sec=1263 case_no=91 label=Case6.79 nb_sol=0 ticks=34879 tps=100 nb_sec=348 case_no=91 label=Case6.79 nb_sol=0 ticks=87168 tps=100 nb_sec=871 case_no=91 label=Case6.79 nb_sol=0 ticks=34653 tps=100 nb_sec=346 case_no=91 label=Case6.79 nb_sol=0 ticks=90578 tps=100 nb_sec=905 case_no=91 label=Case6.79 nb_sol=0 ticks=52789 tps=100 nb_sec=527 case_no=91 label=Case6.79 nb_sol=0 ticks=93451 tps=100 nb_sec=934 case_no=91 label=Case6.79 nb_sol=0 ticks=49441 tps=100 nb_sec=494 case_no=91 label=Case6.79 nb_sol=0 ticks=112384 tps=100 nb_sec=1123 case_no=91 label=Case6.79 nb_sol=0 ticks=88510 tps=100 nb_sec=885 case_no=91 label=Case6.79 nb_sol=0 ticks=78390 tps=100 nb_sec=783 case_no=91 label=Case6.79 nb_sol=0 ticks=70747 tps=100 nb_sec=707 case_no=91 label=Case6.79 nb_sol=0 ticks=102261 tps=100 nb_sec=1022 case_no=91 label=Case6.79 nb_sol=0 ticks=94351 tps=100 nb_sec=943 case_no=91 label=Case6.79 nb_sol=0 ticks=71237 tps=100 nb_sec=712 case_no=91 label=Case6.79 nb_sol=0 ticks=124131 tps=100 nb_sec=1241 case_no=91 label=Case6.79 nb_sol=0 ticks=100730 tps=100 nb_sec=1007 case_no=91 label=Case6.79 nb_sol=0 ticks=91265 tps=100 nb_sec=912 case_no=91 label=Case6.79 nb_sol=0 ticks=78241 tps=100 nb_sec=782 case_no=91 label=Case6.79 nb_sol=0 ticks=97768 tps=100 nb_sec=977 case_no=91 label=Case6.79 nb_sol=0 ticks=94508 tps=100 nb_sec=945 case_no=91 label=Case6.79 nb_sol=0 ticks=55486 tps=100 nb_sec=554 case_no=91 label=Case6.79 nb_sol=0 ticks=44584 tps=100 nb_sec=445 case_no=91 label=Case6.79 nb_sol=0 ticks=80530 tps=100 nb_sec=805 case_no=91 label=Case6.79 nb_sol=0 ticks=127294 tps=100 nb_sec=1272 case_no=91 label=Case6.79 nb_sol=0 ticks=93272 tps=100 nb_sec=932 case_no=91 label=Case6.79 nb_sol=0 ticks=87638 tps=100 nb_sec=876 case_no=91 label=Case6.79 nb_sol=0 ticks=44098 tps=100 nb_sec=440 case_no=91 label=Case6.79 nb_sol=0 ticks=78358 tps=100 nb_sec=783 case_no=91 label=Case6.79 nb_sol=0 ticks=96401 tps=100 nb_sec=964 case_no=91 label=Case6.79 nb_sol=0 ticks=33739 tps=100 nb_sec=337 case_no=91 label=Case6.79 nb_sol=0 ticks=35620 tps=100 nb_sec=356 case_no=91 label=Case6.79 nb_sol=0 ticks=57371 tps=100 nb_sec=573 case_no=91 label=Case6.79 nb_sol=0 ticks=94599 tps=100 nb_sec=945 case_no=91 label=Case6.79 nb_sol=0 ticks=110586 tps=100 nb_sec=1105 case_no=91 label=Case6.79 nb_sol=0 ticks=41829 tps=100 nb_sec=418 case_no=91 label=Case6.79 nb_sol=0 ticks=48145 tps=100 nb_sec=481 case_no=91 label=Case6.79 nb_sol=0 ticks=63480 tps=100 nb_sec=634 case_no=91 label=Case6.79 nb_sol=0 ticks=47306 tps=100 nb_sec=473 case_no=91 label=Case6.79 nb_sol=0 ticks=94553 tps=100 nb_sec=945 case_no=91 label=Case6.79 nb_sol=0 ticks=105832 tps=100 nb_sec=1058 case_no=91 label=Case6.79 nb_sol=0 ticks=93739 tps=100 nb_sec=937 case_no=91 label=Case6.79 nb_sol=0 ticks=114006 tps=100 nb_sec=1140 case_no=91 label=Case6.79 nb_sol=0 ticks=44259 tps=100 nb_sec=442 case_no=91 label=Case6.79 nb_sol=0 ticks=50729 tps=100 nb_sec=507 case_no=91 label=Case6.79 nb_sol=0 ticks=44838 tps=100 nb_sec=448 case_no=91 label=Case6.79 nb_sol=0 ticks=93828 tps=100 nb_sec=938 case_no=91 label=Case6.79 nb_sol=0 ticks=106406 tps=100 nb_sec=1064 case_no=91 label=Case6.79 nb_sol=0 ticks=58189 tps=100 nb_sec=581 case_no=91 label=Case6.79 nb_sol=0 ticks=36904 tps=100 nb_sec=369 case_no=91 label=Case6.79 nb_sol=0 ticks=99983 tps=100 nb_sec=999 case_no=91 label=Case6.79 nb_sol=0 ticks=38068 tps=100 nb_sec=380 case_no=91 label=Case6.79 nb_sol=0 ticks=120275 tps=100 nb_sec=1202 case_no=91 label=Case6.79 nb_sol=0 ticks=104756 tps=100 nb_sec=1047 case_no=91 label=Case6.79 nb_sol=0 ticks=86243 tps=100 nb_sec=862 case_no=91 label=Case6.79 nb_sol=0 ticks=41132 tps=100 nb_sec=411 case_no=91 label=Case6.79 nb_sol=0 ticks=118678 tps=100 nb_sec=1186 case_no=91 label=Case6.79 nb_sol=0 ticks=36313 tps=100 nb_sec=363 case_no=91 label=Case6.79 nb_sol=0 ticks=42913 tps=100 nb_sec=429 case_no=91 label=Case6.79 nb_sol=0 ticks=92215 tps=100 nb_sec=922 case_no=91 label=Case6.79 nb_sol=0 ticks=44204 tps=100 nb_sec=442 case_no=91 label=Case6.79 nb_sol=0 ticks=48308 tps=100 nb_sec=483 case_no=91 label=Case6.79 nb_sol=0 ticks=125120 tps=100 nb_sec=1251 case_no=91 label=Case6.79 nb_sol=0 ticks=121699 tps=100 nb_sec=1216 case_no=91 label=Case6.79 nb_sol=0 ticks=92455 tps=100 nb_sec=924 case_no=91 label=Case6.79 nb_sol=0 ticks=149854 tps=100 nb_sec=1498 case_no=91 label=Case6.79 nb_sol=0 ticks=129465 tps=100 nb_sec=1294 case_no=91 label=Case6.79 nb_sol=0 ticks=113464 tps=100 nb_sec=1134 case_no=91 label=Case6.79 nb_sol=0 ticks=38601 tps=100 nb_sec=386 case_no=91 label=Case6.79 nb_sol=0 ticks=36887 tps=100 nb_sec=368 case_no=91 label=Case6.79 nb_sol=0 ticks=37773 tps=100 nb_sec=377 case_no=91 label=Case6.79 nb_sol=0 ticks=91406 tps=100 nb_sec=914 case_no=91 label=Case6.79 nb_sol=0 ticks=142237 tps=100 nb_sec=1422 case_no=91 label=Case6.79 nb_sol=0 ticks=120056 tps=100 nb_sec=1200 case_no=91 label=Case6.79 nb_sol=0 ticks=80756 tps=100 nb_sec=807 case_no=91 label=Case6.79 nb_sol=0 ticks=93443 tps=100 nb_sec=934 case_no=91 label=Case6.79 nb_sol=0 ticks=108550 tps=100 nb_sec=1085 case_no=91 label=Case6.79 nb_sol=0 ticks=89611 tps=100 nb_sec=896 case_no=91 label=Case6.79 nb_sol=0 ticks=56504 tps=100 nb_sec=565 case_no=91 label=Case6.79 nb_sol=0 ticks=79346 tps=100 nb_sec=793 case_no=91 label=Case6.79 nb_sol=0 ticks=89537 tps=100 nb_sec=895 case_no=91 label=Case6.79 nb_sol=0 ticks=134877 tps=100 nb_sec=1348 case_no=91 label=Case6.79 nb_sol=0 ticks=83189 tps=100 nb_sec=831 case_no=91 label=Case6.79 nb_sol=0 ticks=73626 tps=100 nb_sec=736 case_no=91 label=Case6.79 nb_sol=0 ticks=82945 tps=100 nb_sec=829 case_no=91 label=Case6.79 nb_sol=0 ticks=87926 tps=100 nb_sec=879 case_no=91 label=Case6.79 nb_sol=0 ticks=133784 tps=100 nb_sec=1337 case_no=91 label=Case6.79 nb_sol=0 ticks=119058 tps=100 nb_sec=1190 case_no=91 label=Case6.79 nb_sol=0 ticks=83733 tps=100 nb_sec=837 case_no=91 label=Case6.79 nb_sol=0 ticks=82521 tps=100 nb_sec=825 case_no=91 label=Case6.79 nb_sol=0 ticks=116556 tps=100 nb_sec=1165 case_no=91 label=Case6.79 nb_sol=0 ticks=122918 tps=100 nb_sec=1229 case_no=91 label=Case6.79 nb_sol=0 ticks=114207 tps=100 nb_sec=1142 case_no=91 label=Case6.79 nb_sol=0 ticks=84734 tps=100 nb_sec=847 case_no=91 label=Case6.79 nb_sol=0 ticks=96714 tps=100 nb_sec=967 case_no=91 label=Case6.79 nb_sol=0 ticks=123970 tps=100 nb_sec=1239 case_no=91 label=Case6.79 nb_sol=0 ticks=106799 tps=100 nb_sec=1067 case_no=91 label=Case6.79 nb_sol=0 ticks=86714 tps=100 nb_sec=867 case_no=91 label=Case6.79 nb_sol=0 ticks=114777 tps=100 nb_sec=1147 case_no=91 label=Case6.79 nb_sol=0 ticks=67879 tps=100 nb_sec=678 case_no=91 label=Case6.79 nb_sol=0 ticks=134042 tps=100 nb_sec=1340 case_no=91 label=Case6.79 nb_sol=0 ticks=66108 tps=100 nb_sec=661 case_no=91 label=Case6.79 nb_sol=0 ticks=108045 tps=100 nb_sec=1080 case_no=91 label=Case6.79 nb_sol=0 ticks=120175 tps=100 nb_sec=1201 case_no=91 label=Case6.79 nb_sol=0 ticks=54919 tps=100 nb_sec=549 case_no=91 label=Case6.79 nb_sol=0 ticks=93219 tps=100 nb_sec=932 case_no=91 label=Case6.79 nb_sol=0 ticks=111768 tps=100 nb_sec=1117 case_no=91 label=Case6.79 nb_sol=0 ticks=52657 tps=100 nb_sec=526 case_no=91 label=Case6.79 nb_sol=0 ticks=73114 tps=100 nb_sec=731 case_no=91 label=Case6.79 nb_sol=0 ticks=118060 tps=100 nb_sec=1180 case_no=91 label=Case6.79 nb_sol=0 ticks=34839 tps=100 nb_sec=348 case_no=91 label=Case6.79 nb_sol=0 ticks=95385 tps=100 nb_sec=953 case_no=91 label=Case6.79 nb_sol=0 ticks=97340 tps=100 nb_sec=973 case_no=91 label=Case6.79 nb_sol=0 ticks=53549 tps=100 nb_sec=535 case_no=91 label=Case6.79 nb_sol=0 ticks=114228 tps=100 nb_sec=1142 case_no=91 label=Case6.79 nb_sol=0 ticks=139584 tps=100 nb_sec=1395 case_no=91 label=Case6.79 nb_sol=0 ticks=49447 tps=100 nb_sec=494 case_no=91 label=Case6.79 nb_sol=0 ticks=76349 tps=100 nb_sec=763 case_no=91 label=Case6.79 nb_sol=0 ticks=81481 tps=100 nb_sec=814 case_no=91 label=Case6.79 nb_sol=0 ticks=138044 tps=100 nb_sec=1380 case_no=91 label=Case6.79 nb_sol=0 ticks=57614 tps=100 nb_sec=576 case_no=91 label=Case6.79 nb_sol=0 ticks=37456 tps=100 nb_sec=374 case_no=91 label=Case6.79 nb_sol=0 ticks=81779 tps=100 nb_sec=817 case_no=91 label=Case6.79 nb_sol=0 ticks=67224 tps=100 nb_sec=672 case_no=91 label=Case6.79 nb_sol=0 ticks=85348 tps=100 nb_sec=853 case_no=91 label=Case6.79 nb_sol=0 ticks=149069 tps=100 nb_sec=1490 case_no=91 label=Case6.79 nb_sol=0 ticks=75936 tps=100 nb_sec=759 case_no=91 label=Case6.79 nb_sol=0 ticks=51367 tps=100 nb_sec=513 case_no=91 label=Case6.79 nb_sol=0 ticks=65726 tps=100 nb_sec=657 case_no=91 label=Case6.79 nb_sol=0 ticks=120068 tps=100 nb_sec=1200 case_no=91 label=Case6.79 nb_sol=0 ticks=149855 tps=100 nb_sec=1498 case_no=91 label=Case6.79 nb_sol=0 ticks=36539 tps=100 nb_sec=365 case_no=91 label=Case6.79 nb_sol=0 ticks=83445 tps=100 nb_sec=834 case_no=91 label=Case6.79 nb_sol=0 ticks=112827 tps=100 nb_sec=1128 case_no=91 label=Case6.79 nb_sol=0 ticks=80224 tps=100 nb_sec=802 case_no=91 label=Case6.79 nb_sol=0 ticks=36625 tps=100 nb_sec=366 case_no=91 label=Case6.79 nb_sol=0 ticks=63793 tps=100 nb_sec=637 case_no=91 label=Case6.79 nb_sol=0 ticks=82744 tps=100 nb_sec=827 case_no=91 label=Case6.79 nb_sol=0 ticks=120558 tps=100 nb_sec=1205 case_no=91 label=Case6.79 nb_sol=0 ticks=115921 tps=100 nb_sec=1159 case_no=91 label=Case6.79 nb_sol=0 ticks=130571 tps=100 nb_sec=1305 case_no=91 label=Case6.79 nb_sol=0 ticks=118473 tps=100 nb_sec=1184 case_no=91 label=Case6.79 nb_sol=0 ticks=39870 tps=100 nb_sec=398 case_no=91 label=Case6.79 nb_sol=0 ticks=75841 tps=100 nb_sec=758 case_no=91 label=Case6.79 nb_sol=0 ticks=120941 tps=100 nb_sec=1209 case_no=91 label=Case6.79 nb_sol=0 ticks=52950 tps=100 nb_sec=529 case_no=91 label=Case6.79 nb_sol=0 ticks=115270 tps=100 nb_sec=1152 case_no=91 label=Case6.79 nb_sol=0 ticks=135374 tps=100 nb_sec=1353 case_no=91 label=Case6.79 nb_sol=0 ticks=55308 tps=100 nb_sec=553 case_no=91 label=Case6.79 nb_sol=0 ticks=86040 tps=100 nb_sec=860 case_no=91 label=Case6.79 nb_sol=0 ticks=94100 tps=100 nb_sec=941 case_no=91 label=Case6.79 nb_sol=0 ticks=43459 tps=100 nb_sec=434 case_no=91 label=Case6.79 nb_sol=0 ticks=164043 tps=100 nb_sec=1640 case_no=91 label=Case6.79 nb_sol=0 ticks=122728 tps=100 nb_sec=1227 case_no=91 label=Case6.79 nb_sol=0 ticks=121938 tps=100 nb_sec=1219 case_no=91 label=Case6.79 nb_sol=0 ticks=56794 tps=100 nb_sec=567 case_no=91 label=Case6.79 nb_sol=0 ticks=188109 tps=100 nb_sec=1881 case_no=91 label=Case6.79 nb_sol=0 ticks=92925 tps=100 nb_sec=929 case_no=91 label=Case6.79 nb_sol=0 ticks=82073 tps=100 nb_sec=820 case_no=91 label=Case6.79 nb_sol=0 ticks=144831 tps=100 nb_sec=1448 case_no=91 label=Case6.79 nb_sol=0 ticks=45600 tps=100 nb_sec=456 case_no=91 label=Case6.79 nb_sol=0 ticks=62925 tps=100 nb_sec=629 case_no=91 label=Case6.79 nb_sol=0 ticks=91698 tps=100 nb_sec=916 case_no=91 label=Case6.79 nb_sol=0 ticks=82346 tps=100 nb_sec=823 case_no=91 label=Case6.79 nb_sol=0 ticks=96622 tps=100 nb_sec=966 case_no=91 label=Case6.79 nb_sol=0 ticks=45368 tps=100 nb_sec=453 case_no=91 label=Case6.79 nb_sol=0 ticks=145673 tps=100 nb_sec=1456 case_no=91 label=Case6.79 nb_sol=0 ticks=38373 tps=100 nb_sec=383 case_no=91 label=Case6.79 nb_sol=0 ticks=85906 tps=100 nb_sec=859 case_no=91 label=Case6.79 nb_sol=0 ticks=90458 tps=100 nb_sec=904 case_no=91 label=Case6.79 nb_sol=0 ticks=182600 tps=100 nb_sec=1826 case_no=91 label=Case6.79 nb_sol=0 ticks=45899 tps=100 nb_sec=458 case_no=91 label=Case6.79 nb_sol=0 ticks=38966 tps=100 nb_sec=389 case_no=91 label=Case6.79 nb_sol=0 ticks=85547 tps=100 nb_sec=855 case_no=91 label=Case6.79 nb_sol=0 ticks=91847 tps=100 nb_sec=918 case_no=91 label=Case6.79 nb_sol=0 ticks=113112 tps=100 nb_sec=1131 case_no=91 label=Case6.79 nb_sol=0 ticks=50999 tps=100 nb_sec=509 case_no=91 label=Case6.79 nb_sol=0 ticks=47046 tps=100 nb_sec=470 case_no=91 label=Case6.79 nb_sol=0 ticks=51553 tps=100 nb_sec=515 case_no=91 label=Case6.79 nb_sol=0 ticks=82348 tps=100 nb_sec=823 case_no=91 label=Case6.79 nb_sol=0 ticks=99245 tps=100 nb_sec=992 case_no=91 label=Case6.79 nb_sol=0 ticks=125420 tps=100 nb_sec=1254 case_no=91 label=Case6.79 nb_sol=0 ticks=123359 tps=100 nb_sec=1233 case_no=91 label=Case6.79 nb_sol=0 ticks=51441 tps=100 nb_sec=514 case_no=91 label=Case6.79 nb_sol=0 ticks=120656 tps=100 nb_sec=1206 case_no=91 label=Case6.79 nb_sol=0 ticks=104831 tps=100 nb_sec=1048 case_no=91 label=Case6.79 nb_sol=0 ticks=98008 tps=100 nb_sec=980 case_no=91 label=Case6.79 nb_sol=0 ticks=136607 tps=100 nb_sec=1366 case_no=91 label=Case6.79 nb_sol=0 ticks=38144 tps=100 nb_sec=381 case_no=91 label=Case6.79 nb_sol=0 ticks=86030 tps=100 nb_sec=860 case_no=91 label=Case6.79 nb_sol=0 ticks=144914 tps=100 nb_sec=1449 case_no=91 label=Case6.79 nb_sol=0 ticks=60465 tps=100 nb_sec=604 case_no=91 label=Case6.79 nb_sol=0 ticks=92735 tps=100 nb_sec=927 case_no=91 label=Case6.79 nb_sol=0 ticks=88102 tps=100 nb_sec=881 case_no=91 label=Case6.79 nb_sol=0 ticks=51984 tps=100 nb_sec=519 case_no=91 label=Case6.79 nb_sol=0 ticks=111249 tps=100 nb_sec=1112 case_no=91 label=Case6.79 nb_sol=0 ticks=78201 tps=100 nb_sec=782 case_no=91 label=Case6.79 nb_sol=0 ticks=83924 tps=100 nb_sec=839 case_no=91 label=Case6.79 nb_sol=0 ticks=85099 tps=100 nb_sec=850 case_no=91 label=Case6.79 nb_sol=0 ticks=149356 tps=100 nb_sec=1493 case_no=91 label=Case6.79 nb_sol=0 ticks=120025 tps=100 nb_sec=1200 case_no=91 label=Case6.79 nb_sol=0 ticks=78813 tps=100 nb_sec=788 case_no=91 label=Case6.79 nb_sol=0 ticks=71648 tps=100 nb_sec=716 case_no=91 label=Case6.79 nb_sol=0 ticks=91254 tps=100 nb_sec=912 case_no=91 label=Case6.79 nb_sol=0 ticks=91920 tps=100 nb_sec=919 case_no=91 label=Case6.79 nb_sol=0 ticks=82280 tps=100 nb_sec=822 case_no=91 label=Case6.79 nb_sol=0 ticks=112573 tps=100 nb_sec=1125 case_no=91 label=Case6.79 nb_sol=0 ticks=84029 tps=100 nb_sec=840 case_no=91 label=Case6.79 nb_sol=0 ticks=73738 tps=100 nb_sec=737 case_no=91 label=Case6.79 nb_sol=0 ticks=117072 tps=100 nb_sec=1170 case_no=91 label=Case6.79 nb_sol=0 ticks=119913 tps=100 nb_sec=1199 case_no=91 label=Case6.79 nb_sol=0 ticks=43764 tps=100 nb_sec=437 case_no=91 label=Case6.79 nb_sol=0 ticks=99342 tps=100 nb_sec=993 case_no=91 label=Case6.79 nb_sol=0 ticks=75668 tps=100 nb_sec=756 case_no=91 label=Case6.79 nb_sol=0 ticks=87016 tps=100 nb_sec=870 case_no=91 label=Case6.79 nb_sol=0 ticks=135247 tps=100 nb_sec=1352 case_no=91 label=Case6.79 nb_sol=0 ticks=45418 tps=100 nb_sec=454 case_no=91 label=Case6.79 nb_sol=0 ticks=84132 tps=100 nb_sec=841 case_no=91 label=Case6.79 nb_sol=0 ticks=77882 tps=100 nb_sec=778 case_no=91 label=Case6.79 nb_sol=0 ticks=116365 tps=100 nb_sec=1163 case_no=91 label=Case6.79 nb_sol=0 ticks=79097 tps=100 nb_sec=790 case_no=91 label=Case6.79 nb_sol=0 ticks=67919 tps=100 nb_sec=679 case_no=91 label=Case6.79 nb_sol=0 ticks=76607 tps=100 nb_sec=766 case_no=91 label=Case6.79 nb_sol=0 ticks=95940 tps=100 nb_sec=959 case_no=91 label=Case6.79 nb_sol=0 ticks=118324 tps=100 nb_sec=1183 case_no=91 label=Case6.79 nb_sol=0 ticks=101030 tps=100 nb_sec=1010 case_no=91 label=Case6.79 nb_sol=0 ticks=75265 tps=100 nb_sec=752 case_no=91 label=Case6.79 nb_sol=0 ticks=65335 tps=100 nb_sec=653 case_no=91 label=Case6.79 nb_sol=0 ticks=93895 tps=100 nb_sec=938 case_no=91 label=Case6.79 nb_sol=0 ticks=108607 tps=100 nb_sec=1086 case_no=91 label=Case6.79 nb_sol=0 ticks=118778 tps=100 nb_sec=1187 case_no=91 label=Case6.79 nb_sol=0 ticks=66234 tps=100 nb_sec=662 case_no=91 label=Case6.79 nb_sol=0 ticks=90991 tps=100 nb_sec=909 case_no=91 label=Case6.79 nb_sol=0 ticks=95804 tps=100 nb_sec=958 case_no=91 label=Case6.79 nb_sol=0 ticks=115308 tps=100 nb_sec=1153 case_no=91 label=Case6.79 nb_sol=0 ticks=86546 tps=100 nb_sec=865 case_no=91 label=Case6.79 nb_sol=0 ticks=67753 tps=100 nb_sec=677 case_no=91 label=Case6.79 nb_sol=0 ticks=57739 tps=100 nb_sec=577 case_no=91 label=Case6.79 nb_sol=0 ticks=74351 tps=100 nb_sec=743 case_no=91 label=Case6.79 nb_sol=0 ticks=45207 tps=100 nb_sec=452 case_no=91 label=Case6.79 nb_sol=0 ticks=42916 tps=100 nb_sec=429 case_no=91 label=Case6.79 nb_sol=0 ticks=67481 tps=100 nb_sec=674 case_no=91 label=Case6.79 nb_sol=0 ticks=91058 tps=100 nb_sec=910 case_no=91 label=Case6.79 nb_sol=0 ticks=113967 tps=100 nb_sec=1139 case_no=91 label=Case6.79 nb_sol=0 ticks=79308 tps=100 nb_sec=793 case_no=91 label=Case6.79 nb_sol=0 ticks=124948 tps=100 nb_sec=1249 case_no=91 label=Case6.79 nb_sol=0 ticks=90674 tps=100 nb_sec=906 case_no=91 label=Case6.79 nb_sol=0 ticks=125303 tps=100 nb_sec=1253 case_no=91 label=Case6.79 nb_sol=0 ticks=82340 tps=100 nb_sec=823 case_no=91 label=Case6.79 nb_sol=0 ticks=126180 tps=100 nb_sec=1261 case_no=91 label=Case6.79 nb_sol=0 ticks=119333 tps=100 nb_sec=1193 case_no=91 label=Case6.79 nb_sol=0 ticks=81383 tps=100 nb_sec=813 case_no=91 label=Case6.79 nb_sol=0 ticks=90545 tps=100 nb_sec=905 case_no=91 label=Case6.79 nb_sol=0 ticks=68870 tps=100 nb_sec=688 case_no=91 label=Case6.79 nb_sol=0 ticks=88141 tps=100 nb_sec=881 case_no=91 label=Case6.79 nb_sol=0 ticks=102323 tps=100 nb_sec=1023 case_no=91 label=Case6.79 nb_sol=0 ticks=119735 tps=100 nb_sec=1197 case_no=91 label=Case6.79 nb_sol=0 ticks=37722 tps=100 nb_sec=377 case_no=91 label=Case6.79 nb_sol=0 ticks=62915 tps=100 nb_sec=629 case_no=91 label=Case6.79 nb_sol=0 ticks=72161 tps=100 nb_sec=721 case_no=91 label=Case6.79 nb_sol=0 ticks=156181 tps=100 nb_sec=1561 case_no=91 label=Case6.79 nb_sol=0 ticks=122852 tps=100 nb_sec=1228 case_no=91 label=Case6.79 nb_sol=0 ticks=46491 tps=100 nb_sec=464 case_no=91 label=Case6.79 nb_sol=0 ticks=75125 tps=100 nb_sec=751 case_no=91 label=Case6.79 nb_sol=0 ticks=80185 tps=100 nb_sec=801 case_no=91 label=Case6.79 nb_sol=0 ticks=138227 tps=100 nb_sec=1382 case_no=91 label=Case6.79 nb_sol=0 ticks=57749 tps=100 nb_sec=577 case_no=91 label=Case6.79 nb_sol=0 ticks=97723 tps=100 nb_sec=977 case_no=91 label=Case6.79 nb_sol=0 ticks=125776 tps=100 nb_sec=1257 case_no=91 label=Case6.79 nb_sol=0 ticks=81234 tps=100 nb_sec=812 case_no=91 label=Case6.79 nb_sol=0 ticks=114875 tps=100 nb_sec=1148 case_no=91 label=Case6.79 nb_sol=0 ticks=46693 tps=100 nb_sec=466 case_no=91 label=Case6.79 nb_sol=0 ticks=54609 tps=100 nb_sec=546 case_no=91 label=Case6.79 nb_sol=0 ticks=59794 tps=100 nb_sec=597 case_no=91 label=Case6.79 nb_sol=0 ticks=58755 tps=100 nb_sec=587 case_no=91 label=Case6.79 nb_sol=0 ticks=92851 tps=100 nb_sec=928 case_no=91 label=Case6.79 nb_sol=0 ticks=116207 tps=100 nb_sec=1162 case_no=91 label=Case6.79 nb_sol=0 ticks=98779 tps=100 nb_sec=987 case_no=91 label=Case6.79 nb_sol=0 ticks=43172 tps=100 nb_sec=431 case_no=91 label=Case6.79 nb_sol=0 ticks=97957 tps=100 nb_sec=979 case_no=91 label=Case6.79 nb_sol=0 ticks=118440 tps=100 nb_sec=1184 case_no=91 label=Case6.79 nb_sol=0 ticks=157160 tps=100 nb_sec=1571 case_no=91 label=Case6.79 nb_sol=0 ticks=119824 tps=100 nb_sec=1198 case_no=91 label=Case6.79 nb_sol=0 ticks=89827 tps=100 nb_sec=898 case_no=91 label=Case6.79 nb_sol=0 ticks=80186 tps=100 nb_sec=801 case_no=91 label=Case6.79 nb_sol=0 ticks=133956 tps=100 nb_sec=1339 case_no=91 label=Case6.79 nb_sol=0 ticks=118624 tps=100 nb_sec=1186 case_no=91 label=Case6.79 nb_sol=0 ticks=111974 tps=100 nb_sec=1119 case_no=91 label=Case6.79 nb_sol=0 ticks=91277 tps=100 nb_sec=912 case_no=91 label=Case6.79 nb_sol=0 ticks=72903 tps=100 nb_sec=729 case_no=91 label=Case6.79 nb_sol=0 ticks=123162 tps=100 nb_sec=1231 case_no=91 label=Case6.79 nb_sol=0 ticks=77928 tps=100 nb_sec=779 case_no=91 label=Case6.79 nb_sol=0 ticks=121409 tps=100 nb_sec=1214 case_no=91 label=Case6.79 nb_sol=0 ticks=70507 tps=100 nb_sec=705 case_no=91 label=Case6.79 nb_sol=0 ticks=82450 tps=100 nb_sec=824 case_no=91 label=Case6.79 nb_sol=0 ticks=92586 tps=100 nb_sec=925 case_no=91 label=Case6.79 nb_sol=0 ticks=45771 tps=100 nb_sec=457 case_no=91 label=Case6.79 nb_sol=0 ticks=47884 tps=100 nb_sec=478 case_no=91 label=Case6.79 nb_sol=0 ticks=91020 tps=100 nb_sec=910 case_no=91 label=Case6.79 nb_sol=0 ticks=86968 tps=100 nb_sec=869 case_no=91 label=Case6.79 nb_sol=0 ticks=57431 tps=100 nb_sec=574 case_no=91 label=Case6.79 nb_sol=0 ticks=107552 tps=100 nb_sec=1075 case_no=91 label=Case6.79 nb_sol=0 ticks=71346 tps=100 nb_sec=713 case_no=91 label=Case6.79 nb_sol=0 ticks=84417 tps=100 nb_sec=844 case_no=91 label=Case6.79 nb_sol=0 ticks=116529 tps=100 nb_sec=1165 case_no=91 label=Case6.79 nb_sol=0 ticks=65743 tps=100 nb_sec=657 case_no=91 label=Case6.79 nb_sol=0 ticks=55045 tps=100 nb_sec=550 case_no=91 label=Case6.79 nb_sol=0 ticks=122860 tps=100 nb_sec=1228 case_no=91 label=Case6.79 nb_sol=0 ticks=54401 tps=100 nb_sec=544 case_no=91 label=Case6.79 nb_sol=0 ticks=84055 tps=100 nb_sec=840 case_no=91 label=Case6.79 nb_sol=0 ticks=119616 tps=100 nb_sec=1196 case_no=91 label=Case6.79 nb_sol=0 ticks=114027 tps=100 nb_sec=1140 case_no=91 label=Case6.79 nb_sol=0 ticks=62288 tps=100 nb_sec=622 case_no=91 label=Case6.79 nb_sol=0 ticks=120237 tps=100 nb_sec=1202 case_no=91 label=Case6.79 nb_sol=0 ticks=79579 tps=100 nb_sec=795 case_no=91 label=Case6.79 nb_sol=0 ticks=113283 tps=100 nb_sec=1132 case_no=91 label=Case6.79 nb_sol=0 ticks=117348 tps=100 nb_sec=1173 case_no=91 label=Case6.79 nb_sol=0 ticks=59379 tps=100 nb_sec=593 case_no=91 label=Case6.79 nb_sol=0 ticks=70841 tps=100 nb_sec=708 case_no=91 label=Case6.79 nb_sol=0 ticks=53649 tps=100 nb_sec=536 case_no=91 label=Case6.79 nb_sol=0 ticks=102763 tps=100 nb_sec=1027 case_no=91 label=Case6.79 nb_sol=0 ticks=70164 tps=100 nb_sec=701 case_no=91 label=Case6.79 nb_sol=0 ticks=117976 tps=100 nb_sec=1179 case_no=91 label=Case6.79 nb_sol=0 ticks=117281 tps=100 nb_sec=1172 case_no=91 label=Case6.79 nb_sol=0 ticks=39062 tps=100 nb_sec=390 case_no=91 label=Case6.79 nb_sol=0 ticks=49982 tps=100 nb_sec=499 case_no=91 label=Case6.79 nb_sol=0 ticks=75613 tps=100 nb_sec=756 case_no=91 label=Case6.79 nb_sol=0 ticks=112284 tps=100 nb_sec=1122 case_no=91 label=Case6.79 nb_sol=0 ticks=115895 tps=100 nb_sec=1158 case_no=91 label=Case6.79 nb_sol=0 ticks=61737 tps=100 nb_sec=617 case_no=91 label=Case6.79 nb_sol=0 ticks=106705 tps=100 nb_sec=1067 case_no=91 label=Case6.79 nb_sol=0 ticks=109229 tps=100 nb_sec=1092 case_no=91 label=Case6.79 nb_sol=0 ticks=42143 tps=100 nb_sec=421 case_no=91 label=Case6.79 nb_sol=0 ticks=82288 tps=100 nb_sec=822 case_no=91 label=Case6.79 nb_sol=0 ticks=55241 tps=100 nb_sec=552 case_no=91 label=Case6.79 nb_sol=0 ticks=42704 tps=100 nb_sec=427 case_no=91 label=Case6.79 nb_sol=0 ticks=119141 tps=100 nb_sec=1191 case_no=91 label=Case6.79 nb_sol=0 ticks=56677 tps=100 nb_sec=566 case_no=91 label=Case6.79 nb_sol=0 ticks=42445 tps=100 nb_sec=424 case_no=91 label=Case6.79 nb_sol=0 ticks=98145 tps=100 nb_sec=981 case_no=91 label=Case6.79 nb_sol=0 ticks=61026 tps=100 nb_sec=610 case_no=91 label=Case6.79 nb_sol=0 ticks=56919 tps=100 nb_sec=569 case_no=91 label=Case6.79 nb_sol=0 ticks=122495 tps=100 nb_sec=1224 case_no=91 label=Case6.79 nb_sol=0 ticks=42545 tps=100 nb_sec=425 case_no=91 label=Case6.79 nb_sol=0 ticks=55554 tps=100 nb_sec=555 case_no=91 label=Case6.79 nb_sol=0 ticks=120068 tps=100 nb_sec=1200 case_no=91 label=Case6.79 nb_sol=0 ticks=70054 tps=100 nb_sec=700 case_no=91 label=Case6.79 nb_sol=0 ticks=77589 tps=100 nb_sec=775 case_no=91 label=Case6.79 nb_sol=0 ticks=123587 tps=100 nb_sec=1235 case_no=91 label=Case6.79 nb_sol=0 ticks=44883 tps=100 nb_sec=448 case_no=91 label=Case6.79 nb_sol=0 ticks=112733 tps=100 nb_sec=1127 Nb_sol=0 Nb_sec=435625 5-1:0:25 or 121 hours missing cases: none