argc=5 -M 256 file2=30_select_Case6.48_starter_16_ checking files mod 256 from 0 to 255 case_no=60 label=Case6.48 nb_sol=0 ticks=31353 tps=100 nb_sec=313 case_no=60 label=Case6.48 nb_sol=0 ticks=33563 tps=100 nb_sec=335 case_no=60 label=Case6.48 nb_sol=0 ticks=16994 tps=100 nb_sec=169 case_no=60 label=Case6.48 nb_sol=0 ticks=32638 tps=100 nb_sec=326 case_no=60 label=Case6.48 nb_sol=0 ticks=36822 tps=100 nb_sec=368 case_no=60 label=Case6.48 nb_sol=0 ticks=32388 tps=100 nb_sec=323 case_no=60 label=Case6.48 nb_sol=0 ticks=16208 tps=100 nb_sec=162 case_no=60 label=Case6.48 nb_sol=0 ticks=23469 tps=100 nb_sec=234 case_no=60 label=Case6.48 nb_sol=0 ticks=27352 tps=100 nb_sec=273 case_no=60 label=Case6.48 nb_sol=0 ticks=30344 tps=100 nb_sec=303 case_no=60 label=Case6.48 nb_sol=0 ticks=17770 tps=100 nb_sec=177 case_no=60 label=Case6.48 nb_sol=0 ticks=32937 tps=100 nb_sec=329 case_no=60 label=Case6.48 nb_sol=0 ticks=30684 tps=100 nb_sec=306 case_no=60 label=Case6.48 nb_sol=0 ticks=16279 tps=100 nb_sec=162 case_no=60 label=Case6.48 nb_sol=0 ticks=17899 tps=100 nb_sec=178 case_no=60 label=Case6.48 nb_sol=0 ticks=30704 tps=100 nb_sec=307 case_no=60 label=Case6.48 nb_sol=0 ticks=29807 tps=100 nb_sec=298 case_no=60 label=Case6.48 nb_sol=0 ticks=36709 tps=100 nb_sec=367 case_no=60 label=Case6.48 nb_sol=0 ticks=25028 tps=100 nb_sec=250 case_no=60 label=Case6.48 nb_sol=0 ticks=20425 tps=100 nb_sec=204 case_no=60 label=Case6.48 nb_sol=0 ticks=20203 tps=100 nb_sec=202 case_no=60 label=Case6.48 nb_sol=0 ticks=30688 tps=100 nb_sec=306 case_no=60 label=Case6.48 nb_sol=0 ticks=33052 tps=100 nb_sec=330 case_no=60 label=Case6.48 nb_sol=0 ticks=16355 tps=100 nb_sec=163 case_no=60 label=Case6.48 nb_sol=0 ticks=46922 tps=100 nb_sec=469 case_no=60 label=Case6.48 nb_sol=0 ticks=39267 tps=100 nb_sec=392 case_no=60 label=Case6.48 nb_sol=0 ticks=31793 tps=100 nb_sec=317 case_no=60 label=Case6.48 nb_sol=0 ticks=23458 tps=100 nb_sec=234 case_no=60 label=Case6.48 nb_sol=0 ticks=34087 tps=100 nb_sec=340 case_no=60 label=Case6.48 nb_sol=0 ticks=48098 tps=100 nb_sec=480 case_no=60 label=Case6.48 nb_sol=0 ticks=17881 tps=100 nb_sec=178 case_no=60 label=Case6.48 nb_sol=0 ticks=32748 tps=100 nb_sec=327 case_no=60 label=Case6.48 nb_sol=0 ticks=32184 tps=100 nb_sec=321 case_no=60 label=Case6.48 nb_sol=0 ticks=24360 tps=100 nb_sec=243 case_no=60 label=Case6.48 nb_sol=0 ticks=37778 tps=100 nb_sec=377 case_no=60 label=Case6.48 nb_sol=0 ticks=35000 tps=100 nb_sec=350 case_no=60 label=Case6.48 nb_sol=0 ticks=37934 tps=100 nb_sec=379 case_no=60 label=Case6.48 nb_sol=0 ticks=32457 tps=100 nb_sec=324 case_no=60 label=Case6.48 nb_sol=0 ticks=25820 tps=100 nb_sec=258 case_no=60 label=Case6.48 nb_sol=0 ticks=24307 tps=100 nb_sec=243 case_no=60 label=Case6.48 nb_sol=0 ticks=29701 tps=100 nb_sec=297 case_no=60 label=Case6.48 nb_sol=0 ticks=32526 tps=100 nb_sec=325 case_no=60 label=Case6.48 nb_sol=0 ticks=39080 tps=100 nb_sec=390 case_no=60 label=Case6.48 nb_sol=0 ticks=35319 tps=100 nb_sec=353 case_no=60 label=Case6.48 nb_sol=0 ticks=32649 tps=100 nb_sec=326 case_no=60 label=Case6.48 nb_sol=0 ticks=32209 tps=100 nb_sec=322 case_no=60 label=Case6.48 nb_sol=0 ticks=33490 tps=100 nb_sec=334 case_no=60 label=Case6.48 nb_sol=0 ticks=24355 tps=100 nb_sec=243 case_no=60 label=Case6.48 nb_sol=0 ticks=41492 tps=100 nb_sec=414 case_no=60 label=Case6.48 nb_sol=0 ticks=24943 tps=100 nb_sec=249 case_no=60 label=Case6.48 nb_sol=0 ticks=20693 tps=100 nb_sec=206 case_no=60 label=Case6.48 nb_sol=0 ticks=35558 tps=100 nb_sec=355 case_no=60 label=Case6.48 nb_sol=0 ticks=33685 tps=100 nb_sec=336 case_no=60 label=Case6.48 nb_sol=0 ticks=30006 tps=100 nb_sec=300 case_no=60 label=Case6.48 nb_sol=0 ticks=32603 tps=100 nb_sec=326 case_no=60 label=Case6.48 nb_sol=0 ticks=46300 tps=100 nb_sec=463 case_no=60 label=Case6.48 nb_sol=0 ticks=24310 tps=100 nb_sec=243 case_no=60 label=Case6.48 nb_sol=0 ticks=39307 tps=100 nb_sec=393 case_no=60 label=Case6.48 nb_sol=0 ticks=30856 tps=100 nb_sec=308 case_no=60 label=Case6.48 nb_sol=0 ticks=34503 tps=100 nb_sec=345 case_no=60 label=Case6.48 nb_sol=0 ticks=38018 tps=100 nb_sec=380 case_no=60 label=Case6.48 nb_sol=0 ticks=34746 tps=100 nb_sec=347 case_no=60 label=Case6.48 nb_sol=0 ticks=36889 tps=100 nb_sec=368 case_no=60 label=Case6.48 nb_sol=0 ticks=36953 tps=100 nb_sec=369 case_no=60 label=Case6.48 nb_sol=0 ticks=38264 tps=100 nb_sec=382 case_no=60 label=Case6.48 nb_sol=0 ticks=33614 tps=100 nb_sec=336 case_no=60 label=Case6.48 nb_sol=0 ticks=26608 tps=100 nb_sec=266 case_no=60 label=Case6.48 nb_sol=0 ticks=29098 tps=100 nb_sec=290 case_no=60 label=Case6.48 nb_sol=0 ticks=33902 tps=100 nb_sec=339 case_no=60 label=Case6.48 nb_sol=0 ticks=34655 tps=100 nb_sec=346 case_no=60 label=Case6.48 nb_sol=0 ticks=28575 tps=100 nb_sec=285 case_no=60 label=Case6.48 nb_sol=0 ticks=34130 tps=100 nb_sec=341 case_no=60 label=Case6.48 nb_sol=0 ticks=30101 tps=100 nb_sec=301 case_no=60 label=Case6.48 nb_sol=0 ticks=26571 tps=100 nb_sec=265 case_no=60 label=Case6.48 nb_sol=0 ticks=45816 tps=100 nb_sec=458 case_no=60 label=Case6.48 nb_sol=0 ticks=25235 tps=100 nb_sec=252 case_no=60 label=Case6.48 nb_sol=0 ticks=16679 tps=100 nb_sec=166 case_no=60 label=Case6.48 nb_sol=0 ticks=31083 tps=100 nb_sec=310 case_no=60 label=Case6.48 nb_sol=0 ticks=25229 tps=100 nb_sec=252 case_no=60 label=Case6.48 nb_sol=0 ticks=16173 tps=100 nb_sec=161 case_no=60 label=Case6.48 nb_sol=0 ticks=45657 tps=100 nb_sec=456 case_no=60 label=Case6.48 nb_sol=0 ticks=32669 tps=100 nb_sec=326 case_no=60 label=Case6.48 nb_sol=0 ticks=43825 tps=100 nb_sec=438 case_no=60 label=Case6.48 nb_sol=0 ticks=15719 tps=100 nb_sec=157 case_no=60 label=Case6.48 nb_sol=0 ticks=24612 tps=100 nb_sec=246 case_no=60 label=Case6.48 nb_sol=0 ticks=32898 tps=100 nb_sec=328 case_no=60 label=Case6.48 nb_sol=0 ticks=42455 tps=100 nb_sec=424 case_no=60 label=Case6.48 nb_sol=0 ticks=15533 tps=100 nb_sec=155 case_no=60 label=Case6.48 nb_sol=0 ticks=25159 tps=100 nb_sec=251 case_no=60 label=Case6.48 nb_sol=0 ticks=29217 tps=100 nb_sec=292 case_no=60 label=Case6.48 nb_sol=0 ticks=32809 tps=100 nb_sec=328 case_no=60 label=Case6.48 nb_sol=0 ticks=18819 tps=100 nb_sec=188 case_no=60 label=Case6.48 nb_sol=0 ticks=43219 tps=100 nb_sec=432 case_no=60 label=Case6.48 nb_sol=0 ticks=43927 tps=100 nb_sec=439 case_no=60 label=Case6.48 nb_sol=0 ticks=42798 tps=100 nb_sec=427 case_no=60 label=Case6.48 nb_sol=0 ticks=19336 tps=100 nb_sec=193 case_no=60 label=Case6.48 nb_sol=0 ticks=29199 tps=100 nb_sec=291 case_no=60 label=Case6.48 nb_sol=0 ticks=24927 tps=100 nb_sec=249 case_no=60 label=Case6.48 nb_sol=0 ticks=30717 tps=100 nb_sec=307 case_no=60 label=Case6.48 nb_sol=0 ticks=27163 tps=100 nb_sec=271 case_no=60 label=Case6.48 nb_sol=0 ticks=29180 tps=100 nb_sec=291 case_no=60 label=Case6.48 nb_sol=0 ticks=33210 tps=100 nb_sec=332 case_no=60 label=Case6.48 nb_sol=0 ticks=25910 tps=100 nb_sec=259 case_no=60 label=Case6.48 nb_sol=0 ticks=25433 tps=100 nb_sec=254 case_no=60 label=Case6.48 nb_sol=0 ticks=32586 tps=100 nb_sec=325 case_no=60 label=Case6.48 nb_sol=0 ticks=26801 tps=100 nb_sec=268 case_no=60 label=Case6.48 nb_sol=0 ticks=21973 tps=100 nb_sec=219 case_no=60 label=Case6.48 nb_sol=0 ticks=48480 tps=100 nb_sec=484 case_no=60 label=Case6.48 nb_sol=0 ticks=19782 tps=100 nb_sec=197 case_no=60 label=Case6.48 nb_sol=0 ticks=44154 tps=100 nb_sec=441 case_no=60 label=Case6.48 nb_sol=0 ticks=21732 tps=100 nb_sec=217 case_no=60 label=Case6.48 nb_sol=0 ticks=25150 tps=100 nb_sec=251 case_no=60 label=Case6.48 nb_sol=0 ticks=24492 tps=100 nb_sec=244 case_no=60 label=Case6.48 nb_sol=0 ticks=24744 tps=100 nb_sec=247 case_no=60 label=Case6.48 nb_sol=0 ticks=41522 tps=100 nb_sec=415 case_no=60 label=Case6.48 nb_sol=0 ticks=40353 tps=100 nb_sec=403 case_no=60 label=Case6.48 nb_sol=0 ticks=35511 tps=100 nb_sec=355 case_no=60 label=Case6.48 nb_sol=0 ticks=32232 tps=100 nb_sec=322 case_no=60 label=Case6.48 nb_sol=0 ticks=15769 tps=100 nb_sec=157 case_no=60 label=Case6.48 nb_sol=0 ticks=26233 tps=100 nb_sec=262 case_no=60 label=Case6.48 nb_sol=0 ticks=37475 tps=100 nb_sec=374 case_no=60 label=Case6.48 nb_sol=0 ticks=29242 tps=100 nb_sec=292 case_no=60 label=Case6.48 nb_sol=0 ticks=37906 tps=100 nb_sec=379 case_no=60 label=Case6.48 nb_sol=0 ticks=47997 tps=100 nb_sec=479 case_no=60 label=Case6.48 nb_sol=0 ticks=28599 tps=100 nb_sec=285 case_no=60 label=Case6.48 nb_sol=0 ticks=30505 tps=100 nb_sec=305 case_no=60 label=Case6.48 nb_sol=0 ticks=29376 tps=100 nb_sec=293 case_no=60 label=Case6.48 nb_sol=0 ticks=32591 tps=100 nb_sec=325 case_no=60 label=Case6.48 nb_sol=0 ticks=29166 tps=100 nb_sec=291 case_no=60 label=Case6.48 nb_sol=0 ticks=47710 tps=100 nb_sec=477 case_no=60 label=Case6.48 nb_sol=0 ticks=16703 tps=100 nb_sec=167 case_no=60 label=Case6.48 nb_sol=0 ticks=21629 tps=100 nb_sec=216 case_no=60 label=Case6.48 nb_sol=0 ticks=30853 tps=100 nb_sec=308 case_no=60 label=Case6.48 nb_sol=0 ticks=15418 tps=100 nb_sec=154 case_no=60 label=Case6.48 nb_sol=0 ticks=16028 tps=100 nb_sec=160 case_no=60 label=Case6.48 nb_sol=0 ticks=16190 tps=100 nb_sec=161 case_no=60 label=Case6.48 nb_sol=0 ticks=45279 tps=100 nb_sec=452 case_no=60 label=Case6.48 nb_sol=0 ticks=33900 tps=100 nb_sec=339 case_no=60 label=Case6.48 nb_sol=0 ticks=19559 tps=100 nb_sec=195 case_no=60 label=Case6.48 nb_sol=0 ticks=29849 tps=100 nb_sec=298 case_no=60 label=Case6.48 nb_sol=0 ticks=16059 tps=100 nb_sec=160 case_no=60 label=Case6.48 nb_sol=0 ticks=32352 tps=100 nb_sec=323 case_no=60 label=Case6.48 nb_sol=0 ticks=30598 tps=100 nb_sec=305 case_no=60 label=Case6.48 nb_sol=0 ticks=31321 tps=100 nb_sec=313 case_no=60 label=Case6.48 nb_sol=0 ticks=28372 tps=100 nb_sec=283 case_no=60 label=Case6.48 nb_sol=0 ticks=23190 tps=100 nb_sec=231 case_no=60 label=Case6.48 nb_sol=0 ticks=33954 tps=100 nb_sec=339 case_no=60 label=Case6.48 nb_sol=0 ticks=23382 tps=100 nb_sec=233 case_no=60 label=Case6.48 nb_sol=0 ticks=31554 tps=100 nb_sec=315 case_no=60 label=Case6.48 nb_sol=0 ticks=34231 tps=100 nb_sec=342 case_no=60 label=Case6.48 nb_sol=0 ticks=28629 tps=100 nb_sec=286 case_no=60 label=Case6.48 nb_sol=0 ticks=33226 tps=100 nb_sec=332 case_no=60 label=Case6.48 nb_sol=0 ticks=38386 tps=100 nb_sec=383 case_no=60 label=Case6.48 nb_sol=0 ticks=32099 tps=100 nb_sec=320 case_no=60 label=Case6.48 nb_sol=0 ticks=19873 tps=100 nb_sec=198 case_no=60 label=Case6.48 nb_sol=0 ticks=22733 tps=100 nb_sec=227 case_no=60 label=Case6.48 nb_sol=0 ticks=34121 tps=100 nb_sec=341 case_no=60 label=Case6.48 nb_sol=0 ticks=31993 tps=100 nb_sec=319 case_no=60 label=Case6.48 nb_sol=0 ticks=32326 tps=100 nb_sec=323 case_no=60 label=Case6.48 nb_sol=0 ticks=31033 tps=100 nb_sec=310 case_no=60 label=Case6.48 nb_sol=0 ticks=32277 tps=100 nb_sec=322 case_no=60 label=Case6.48 nb_sol=0 ticks=16817 tps=100 nb_sec=168 case_no=60 label=Case6.48 nb_sol=0 ticks=49947 tps=100 nb_sec=499 case_no=60 label=Case6.48 nb_sol=0 ticks=15875 tps=100 nb_sec=158 case_no=60 label=Case6.48 nb_sol=0 ticks=32054 tps=100 nb_sec=320 case_no=60 label=Case6.48 nb_sol=0 ticks=30302 tps=100 nb_sec=303 case_no=60 label=Case6.48 nb_sol=0 ticks=30806 tps=100 nb_sec=308 case_no=60 label=Case6.48 nb_sol=0 ticks=39985 tps=100 nb_sec=399 case_no=60 label=Case6.48 nb_sol=0 ticks=31387 tps=100 nb_sec=313 case_no=60 label=Case6.48 nb_sol=0 ticks=22107 tps=100 nb_sec=221 case_no=60 label=Case6.48 nb_sol=0 ticks=29400 tps=100 nb_sec=294 case_no=60 label=Case6.48 nb_sol=0 ticks=33616 tps=100 nb_sec=336 case_no=60 label=Case6.48 nb_sol=0 ticks=44153 tps=100 nb_sec=441 case_no=60 label=Case6.48 nb_sol=0 ticks=29981 tps=100 nb_sec=299 case_no=60 label=Case6.48 nb_sol=0 ticks=32272 tps=100 nb_sec=322 case_no=60 label=Case6.48 nb_sol=0 ticks=31695 tps=100 nb_sec=316 case_no=60 label=Case6.48 nb_sol=0 ticks=34064 tps=100 nb_sec=340 case_no=60 label=Case6.48 nb_sol=0 ticks=31955 tps=100 nb_sec=319 case_no=60 label=Case6.48 nb_sol=0 ticks=33119 tps=100 nb_sec=331 case_no=60 label=Case6.48 nb_sol=0 ticks=39103 tps=100 nb_sec=391 case_no=60 label=Case6.48 nb_sol=0 ticks=33036 tps=100 nb_sec=330 case_no=60 label=Case6.48 nb_sol=0 ticks=28743 tps=100 nb_sec=287 case_no=60 label=Case6.48 nb_sol=0 ticks=28205 tps=100 nb_sec=282 case_no=60 label=Case6.48 nb_sol=0 ticks=35335 tps=100 nb_sec=353 case_no=60 label=Case6.48 nb_sol=0 ticks=31895 tps=100 nb_sec=318 case_no=60 label=Case6.48 nb_sol=0 ticks=43848 tps=100 nb_sec=438 case_no=60 label=Case6.48 nb_sol=0 ticks=37914 tps=100 nb_sec=379 case_no=60 label=Case6.48 nb_sol=0 ticks=34032 tps=100 nb_sec=340 case_no=60 label=Case6.48 nb_sol=0 ticks=29970 tps=100 nb_sec=299 case_no=60 label=Case6.48 nb_sol=0 ticks=34081 tps=100 nb_sec=340 case_no=60 label=Case6.48 nb_sol=0 ticks=32848 tps=100 nb_sec=328 case_no=60 label=Case6.48 nb_sol=0 ticks=32596 tps=100 nb_sec=325 case_no=60 label=Case6.48 nb_sol=0 ticks=33392 tps=100 nb_sec=333 case_no=60 label=Case6.48 nb_sol=0 ticks=51719 tps=100 nb_sec=517 case_no=60 label=Case6.48 nb_sol=0 ticks=32952 tps=100 nb_sec=329 case_no=60 label=Case6.48 nb_sol=0 ticks=19642 tps=100 nb_sec=196 case_no=60 label=Case6.48 nb_sol=0 ticks=28950 tps=100 nb_sec=289 case_no=60 label=Case6.48 nb_sol=0 ticks=26520 tps=100 nb_sec=265 case_no=60 label=Case6.48 nb_sol=0 ticks=18849 tps=100 nb_sec=188 case_no=60 label=Case6.48 nb_sol=0 ticks=34698 tps=100 nb_sec=346 case_no=60 label=Case6.48 nb_sol=0 ticks=36554 tps=100 nb_sec=365 case_no=60 label=Case6.48 nb_sol=0 ticks=32634 tps=100 nb_sec=326 case_no=60 label=Case6.48 nb_sol=0 ticks=32334 tps=100 nb_sec=323 case_no=60 label=Case6.48 nb_sol=0 ticks=30014 tps=100 nb_sec=300 case_no=60 label=Case6.48 nb_sol=0 ticks=34344 tps=100 nb_sec=343 case_no=60 label=Case6.48 nb_sol=0 ticks=40175 tps=100 nb_sec=401 case_no=60 label=Case6.48 nb_sol=0 ticks=40360 tps=100 nb_sec=403 case_no=60 label=Case6.48 nb_sol=0 ticks=49415 tps=100 nb_sec=494 case_no=60 label=Case6.48 nb_sol=0 ticks=52303 tps=100 nb_sec=523 case_no=60 label=Case6.48 nb_sol=0 ticks=41502 tps=100 nb_sec=415 case_no=60 label=Case6.48 nb_sol=0 ticks=26984 tps=100 nb_sec=269 case_no=60 label=Case6.48 nb_sol=0 ticks=35769 tps=100 nb_sec=357 case_no=60 label=Case6.48 nb_sol=0 ticks=47536 tps=100 nb_sec=475 case_no=60 label=Case6.48 nb_sol=0 ticks=26565 tps=100 nb_sec=265 case_no=60 label=Case6.48 nb_sol=0 ticks=39556 tps=100 nb_sec=395 case_no=60 label=Case6.48 nb_sol=0 ticks=19786 tps=100 nb_sec=197 case_no=60 label=Case6.48 nb_sol=0 ticks=14143 tps=100 nb_sec=141 case_no=60 label=Case6.48 nb_sol=0 ticks=28878 tps=100 nb_sec=288 case_no=60 label=Case6.48 nb_sol=0 ticks=16156 tps=100 nb_sec=161 case_no=60 label=Case6.48 nb_sol=0 ticks=15810 tps=100 nb_sec=158 case_no=60 label=Case6.48 nb_sol=0 ticks=26271 tps=100 nb_sec=262 case_no=60 label=Case6.48 nb_sol=0 ticks=30268 tps=100 nb_sec=302 case_no=60 label=Case6.48 nb_sol=0 ticks=32892 tps=100 nb_sec=328 case_no=60 label=Case6.48 nb_sol=0 ticks=28136 tps=100 nb_sec=281 case_no=60 label=Case6.48 nb_sol=0 ticks=24629 tps=100 nb_sec=246 case_no=60 label=Case6.48 nb_sol=0 ticks=25551 tps=100 nb_sec=255 case_no=60 label=Case6.48 nb_sol=0 ticks=32794 tps=100 nb_sec=327 case_no=60 label=Case6.48 nb_sol=0 ticks=31253 tps=100 nb_sec=312 case_no=60 label=Case6.48 nb_sol=0 ticks=32758 tps=100 nb_sec=327 case_no=60 label=Case6.48 nb_sol=0 ticks=31775 tps=100 nb_sec=317 case_no=60 label=Case6.48 nb_sol=0 ticks=32786 tps=100 nb_sec=327 case_no=60 label=Case6.48 nb_sol=0 ticks=34246 tps=100 nb_sec=342 case_no=60 label=Case6.48 nb_sol=0 ticks=25471 tps=100 nb_sec=254 case_no=60 label=Case6.48 nb_sol=0 ticks=29539 tps=100 nb_sec=295 case_no=60 label=Case6.48 nb_sol=0 ticks=26158 tps=100 nb_sec=261 case_no=60 label=Case6.48 nb_sol=0 ticks=32990 tps=100 nb_sec=329 case_no=60 label=Case6.48 nb_sol=0 ticks=46006 tps=100 nb_sec=460 case_no=60 label=Case6.48 nb_sol=0 ticks=30372 tps=100 nb_sec=303 case_no=60 label=Case6.48 nb_sol=0 ticks=27897 tps=100 nb_sec=278 case_no=60 label=Case6.48 nb_sol=0 ticks=28872 tps=100 nb_sec=288 case_no=60 label=Case6.48 nb_sol=0 ticks=24100 tps=100 nb_sec=241 case_no=60 label=Case6.48 nb_sol=0 ticks=32708 tps=100 nb_sec=327 case_no=60 label=Case6.48 nb_sol=0 ticks=34898 tps=100 nb_sec=348 case_no=60 label=Case6.48 nb_sol=0 ticks=34387 tps=100 nb_sec=343 case_no=60 label=Case6.48 nb_sol=0 ticks=30644 tps=100 nb_sec=306 case_no=60 label=Case6.48 nb_sol=0 ticks=31254 tps=100 nb_sec=312 case_no=60 label=Case6.48 nb_sol=0 ticks=27669 tps=100 nb_sec=276 case_no=60 label=Case6.48 nb_sol=0 ticks=29305 tps=100 nb_sec=293 case_no=60 label=Case6.48 nb_sol=0 ticks=29834 tps=100 nb_sec=298 case_no=60 label=Case6.48 nb_sol=0 ticks=35086 tps=100 nb_sec=350 case_no=60 label=Case6.48 nb_sol=0 ticks=29896 tps=100 nb_sec=298 case_no=60 label=Case6.48 nb_sol=0 ticks=28737 tps=100 nb_sec=287 case_no=60 label=Case6.48 nb_sol=0 ticks=43103 tps=100 nb_sec=431 case_no=60 label=Case6.48 nb_sol=0 ticks=31887 tps=100 nb_sec=318 case_no=60 label=Case6.48 nb_sol=0 ticks=27974 tps=100 nb_sec=279 case_no=60 label=Case6.48 nb_sol=0 ticks=39625 tps=100 nb_sec=396 Nb_sol=0 Nb_sec=79011 0-21:56:51 or 21 hours missing cases: none