argc=5 -M 512 file2=30_select_Case6.39_starter_16_ checking files mod 512 from 0 to 511 case_no=51 label=Case6.39 nb_sol=0 ticks=25744 tps=100 nb_sec=257 case_no=51 label=Case6.39 nb_sol=0 ticks=57141 tps=100 nb_sec=571 case_no=51 label=Case6.39 nb_sol=0 ticks=52260 tps=100 nb_sec=522 case_no=51 label=Case6.39 nb_sol=0 ticks=53940 tps=100 nb_sec=539 case_no=51 label=Case6.39 nb_sol=0 ticks=32739 tps=100 nb_sec=327 case_no=51 label=Case6.39 nb_sol=0 ticks=23997 tps=100 nb_sec=239 case_no=51 label=Case6.39 nb_sol=0 ticks=58454 tps=100 nb_sec=584 case_no=51 label=Case6.39 nb_sol=0 ticks=23085 tps=100 nb_sec=230 case_no=51 label=Case6.39 nb_sol=0 ticks=30326 tps=100 nb_sec=303 case_no=51 label=Case6.39 nb_sol=0 ticks=29740 tps=100 nb_sec=297 case_no=51 label=Case6.39 nb_sol=0 ticks=63279 tps=100 nb_sec=632 case_no=51 label=Case6.39 nb_sol=0 ticks=23315 tps=100 nb_sec=233 case_no=51 label=Case6.39 nb_sol=0 ticks=60459 tps=100 nb_sec=604 case_no=51 label=Case6.39 nb_sol=0 ticks=22765 tps=100 nb_sec=227 case_no=51 label=Case6.39 nb_sol=0 ticks=24411 tps=100 nb_sec=244 case_no=51 label=Case6.39 nb_sol=0 ticks=34107 tps=100 nb_sec=341 case_no=51 label=Case6.39 nb_sol=0 ticks=42181 tps=100 nb_sec=421 case_no=51 label=Case6.39 nb_sol=0 ticks=36522 tps=100 nb_sec=365 case_no=51 label=Case6.39 nb_sol=0 ticks=42347 tps=100 nb_sec=423 case_no=51 label=Case6.39 nb_sol=0 ticks=28302 tps=100 nb_sec=283 case_no=51 label=Case6.39 nb_sol=0 ticks=49089 tps=100 nb_sec=490 case_no=51 label=Case6.39 nb_sol=0 ticks=33473 tps=100 nb_sec=334 case_no=51 label=Case6.39 nb_sol=0 ticks=32257 tps=100 nb_sec=322 case_no=51 label=Case6.39 nb_sol=0 ticks=52633 tps=100 nb_sec=526 case_no=51 label=Case6.39 nb_sol=0 ticks=51522 tps=100 nb_sec=515 case_no=51 label=Case6.39 nb_sol=0 ticks=36079 tps=100 nb_sec=360 case_no=51 label=Case6.39 nb_sol=0 ticks=36195 tps=100 nb_sec=361 case_no=51 label=Case6.39 nb_sol=0 ticks=37785 tps=100 nb_sec=377 case_no=51 label=Case6.39 nb_sol=0 ticks=45591 tps=100 nb_sec=455 case_no=51 label=Case6.39 nb_sol=0 ticks=53202 tps=100 nb_sec=532 case_no=51 label=Case6.39 nb_sol=0 ticks=42102 tps=100 nb_sec=421 case_no=51 label=Case6.39 nb_sol=0 ticks=23576 tps=100 nb_sec=235 case_no=51 label=Case6.39 nb_sol=0 ticks=22900 tps=100 nb_sec=229 case_no=51 label=Case6.39 nb_sol=0 ticks=22196 tps=100 nb_sec=221 case_no=51 label=Case6.39 nb_sol=0 ticks=30912 tps=100 nb_sec=309 case_no=51 label=Case6.39 nb_sol=0 ticks=34315 tps=100 nb_sec=343 case_no=51 label=Case6.39 nb_sol=0 ticks=37976 tps=100 nb_sec=379 case_no=51 label=Case6.39 nb_sol=0 ticks=50379 tps=100 nb_sec=503 case_no=51 label=Case6.39 nb_sol=0 ticks=24562 tps=100 nb_sec=245 case_no=51 label=Case6.39 nb_sol=0 ticks=53589 tps=100 nb_sec=535 case_no=51 label=Case6.39 nb_sol=0 ticks=51307 tps=100 nb_sec=513 case_no=51 label=Case6.39 nb_sol=0 ticks=19204 tps=100 nb_sec=192 case_no=51 label=Case6.39 nb_sol=0 ticks=22989 tps=100 nb_sec=229 case_no=51 label=Case6.39 nb_sol=0 ticks=38547 tps=100 nb_sec=385 case_no=51 label=Case6.39 nb_sol=0 ticks=34595 tps=100 nb_sec=345 case_no=51 label=Case6.39 nb_sol=0 ticks=48210 tps=100 nb_sec=482 case_no=51 label=Case6.39 nb_sol=0 ticks=23579 tps=100 nb_sec=235 case_no=51 label=Case6.39 nb_sol=0 ticks=43022 tps=100 nb_sec=430 case_no=51 label=Case6.39 nb_sol=0 ticks=33109 tps=100 nb_sec=331 case_no=51 label=Case6.39 nb_sol=0 ticks=45211 tps=100 nb_sec=452 case_no=51 label=Case6.39 nb_sol=0 ticks=23910 tps=100 nb_sec=239 case_no=51 label=Case6.39 nb_sol=0 ticks=28224 tps=100 nb_sec=282 case_no=51 label=Case6.39 nb_sol=0 ticks=24773 tps=100 nb_sec=247 case_no=51 label=Case6.39 nb_sol=0 ticks=50075 tps=100 nb_sec=500 case_no=51 label=Case6.39 nb_sol=0 ticks=48267 tps=100 nb_sec=482 case_no=51 label=Case6.39 nb_sol=0 ticks=47541 tps=100 nb_sec=475 case_no=51 label=Case6.39 nb_sol=0 ticks=44343 tps=100 nb_sec=443 case_no=51 label=Case6.39 nb_sol=0 ticks=49676 tps=100 nb_sec=496 case_no=51 label=Case6.39 nb_sol=0 ticks=50080 tps=100 nb_sec=500 case_no=51 label=Case6.39 nb_sol=0 ticks=23275 tps=100 nb_sec=232 case_no=51 label=Case6.39 nb_sol=0 ticks=58881 tps=100 nb_sec=588 case_no=51 label=Case6.39 nb_sol=0 ticks=57911 tps=100 nb_sec=579 case_no=51 label=Case6.39 nb_sol=0 ticks=29099 tps=100 nb_sec=290 case_no=51 label=Case6.39 nb_sol=0 ticks=21871 tps=100 nb_sec=218 case_no=51 label=Case6.39 nb_sol=0 ticks=45117 tps=100 nb_sec=451 case_no=51 label=Case6.39 nb_sol=0 ticks=34348 tps=100 nb_sec=343 case_no=51 label=Case6.39 nb_sol=0 ticks=26649 tps=100 nb_sec=266 case_no=51 label=Case6.39 nb_sol=0 ticks=50662 tps=100 nb_sec=506 case_no=51 label=Case6.39 nb_sol=0 ticks=56187 tps=100 nb_sec=561 case_no=51 label=Case6.39 nb_sol=0 ticks=30694 tps=100 nb_sec=306 case_no=51 label=Case6.39 nb_sol=0 ticks=41900 tps=100 nb_sec=419 case_no=51 label=Case6.39 nb_sol=0 ticks=43245 tps=100 nb_sec=432 case_no=51 label=Case6.39 nb_sol=0 ticks=21734 tps=100 nb_sec=217 case_no=51 label=Case6.39 nb_sol=0 ticks=29505 tps=100 nb_sec=295 case_no=51 label=Case6.39 nb_sol=0 ticks=18595 tps=100 nb_sec=185 case_no=51 label=Case6.39 nb_sol=0 ticks=26431 tps=100 nb_sec=264 case_no=51 label=Case6.39 nb_sol=0 ticks=27992 tps=100 nb_sec=279 case_no=51 label=Case6.39 nb_sol=0 ticks=31404 tps=100 nb_sec=314 case_no=51 label=Case6.39 nb_sol=0 ticks=32040 tps=100 nb_sec=320 case_no=51 label=Case6.39 nb_sol=0 ticks=30960 tps=100 nb_sec=309 case_no=51 label=Case6.39 nb_sol=0 ticks=45540 tps=100 nb_sec=455 case_no=51 label=Case6.39 nb_sol=0 ticks=19226 tps=100 nb_sec=192 case_no=51 label=Case6.39 nb_sol=0 ticks=23795 tps=100 nb_sec=237 case_no=51 label=Case6.39 nb_sol=0 ticks=31904 tps=100 nb_sec=319 case_no=51 label=Case6.39 nb_sol=0 ticks=26487 tps=100 nb_sec=264 case_no=51 label=Case6.39 nb_sol=0 ticks=18686 tps=100 nb_sec=186 case_no=51 label=Case6.39 nb_sol=0 ticks=51185 tps=100 nb_sec=511 case_no=51 label=Case6.39 nb_sol=0 ticks=31735 tps=100 nb_sec=317 case_no=51 label=Case6.39 nb_sol=0 ticks=30932 tps=100 nb_sec=309 case_no=51 label=Case6.39 nb_sol=0 ticks=49872 tps=100 nb_sec=498 case_no=51 label=Case6.39 nb_sol=0 ticks=40310 tps=100 nb_sec=403 case_no=51 label=Case6.39 nb_sol=0 ticks=25653 tps=100 nb_sec=256 case_no=51 label=Case6.39 nb_sol=0 ticks=21846 tps=100 nb_sec=218 case_no=51 label=Case6.39 nb_sol=0 ticks=21396 tps=100 nb_sec=213 case_no=51 label=Case6.39 nb_sol=0 ticks=26226 tps=100 nb_sec=262 case_no=51 label=Case6.39 nb_sol=0 ticks=26577 tps=100 nb_sec=265 case_no=51 label=Case6.39 nb_sol=0 ticks=31056 tps=100 nb_sec=310 case_no=51 label=Case6.39 nb_sol=0 ticks=26110 tps=100 nb_sec=261 case_no=51 label=Case6.39 nb_sol=0 ticks=23361 tps=100 nb_sec=233 case_no=51 label=Case6.39 nb_sol=0 ticks=37052 tps=100 nb_sec=370 case_no=51 label=Case6.39 nb_sol=0 ticks=32681 tps=100 nb_sec=326 case_no=51 label=Case6.39 nb_sol=0 ticks=35672 tps=100 nb_sec=356 case_no=51 label=Case6.39 nb_sol=0 ticks=18231 tps=100 nb_sec=182 case_no=51 label=Case6.39 nb_sol=0 ticks=29810 tps=100 nb_sec=298 case_no=51 label=Case6.39 nb_sol=0 ticks=27734 tps=100 nb_sec=277 case_no=51 label=Case6.39 nb_sol=0 ticks=46320 tps=100 nb_sec=463 case_no=51 label=Case6.39 nb_sol=0 ticks=19627 tps=100 nb_sec=196 case_no=51 label=Case6.39 nb_sol=0 ticks=32612 tps=100 nb_sec=326 case_no=51 label=Case6.39 nb_sol=0 ticks=30018 tps=100 nb_sec=300 case_no=51 label=Case6.39 nb_sol=0 ticks=26532 tps=100 nb_sec=265 case_no=51 label=Case6.39 nb_sol=0 ticks=31133 tps=100 nb_sec=311 case_no=51 label=Case6.39 nb_sol=0 ticks=32262 tps=100 nb_sec=322 case_no=51 label=Case6.39 nb_sol=0 ticks=25289 tps=100 nb_sec=252 case_no=51 label=Case6.39 nb_sol=0 ticks=29913 tps=100 nb_sec=299 case_no=51 label=Case6.39 nb_sol=0 ticks=33715 tps=100 nb_sec=337 case_no=51 label=Case6.39 nb_sol=0 ticks=25764 tps=100 nb_sec=257 case_no=51 label=Case6.39 nb_sol=0 ticks=28058 tps=100 nb_sec=280 case_no=51 label=Case6.39 nb_sol=0 ticks=31806 tps=100 nb_sec=318 case_no=51 label=Case6.39 nb_sol=0 ticks=23674 tps=100 nb_sec=236 case_no=51 label=Case6.39 nb_sol=0 ticks=45802 tps=100 nb_sec=458 case_no=51 label=Case6.39 nb_sol=0 ticks=25449 tps=100 nb_sec=254 case_no=51 label=Case6.39 nb_sol=0 ticks=50694 tps=100 nb_sec=506 case_no=51 label=Case6.39 nb_sol=0 ticks=26989 tps=100 nb_sec=269 case_no=51 label=Case6.39 nb_sol=0 ticks=24301 tps=100 nb_sec=243 case_no=51 label=Case6.39 nb_sol=0 ticks=42288 tps=100 nb_sec=422 case_no=51 label=Case6.39 nb_sol=0 ticks=25322 tps=100 nb_sec=253 case_no=51 label=Case6.39 nb_sol=0 ticks=29526 tps=100 nb_sec=295 case_no=51 label=Case6.39 nb_sol=0 ticks=36469 tps=100 nb_sec=364 case_no=51 label=Case6.39 nb_sol=0 ticks=47800 tps=100 nb_sec=478 case_no=51 label=Case6.39 nb_sol=0 ticks=25682 tps=100 nb_sec=256 case_no=51 label=Case6.39 nb_sol=0 ticks=23369 tps=100 nb_sec=233 case_no=51 label=Case6.39 nb_sol=0 ticks=49188 tps=100 nb_sec=491 case_no=51 label=Case6.39 nb_sol=0 ticks=26953 tps=100 nb_sec=269 case_no=51 label=Case6.39 nb_sol=0 ticks=42182 tps=100 nb_sec=421 case_no=51 label=Case6.39 nb_sol=0 ticks=40691 tps=100 nb_sec=406 case_no=51 label=Case6.39 nb_sol=0 ticks=24433 tps=100 nb_sec=244 case_no=51 label=Case6.39 nb_sol=0 ticks=35533 tps=100 nb_sec=355 case_no=51 label=Case6.39 nb_sol=0 ticks=33591 tps=100 nb_sec=335 case_no=51 label=Case6.39 nb_sol=0 ticks=27461 tps=100 nb_sec=274 case_no=51 label=Case6.39 nb_sol=0 ticks=21618 tps=100 nb_sec=216 case_no=51 label=Case6.39 nb_sol=0 ticks=36663 tps=100 nb_sec=366 case_no=51 label=Case6.39 nb_sol=0 ticks=23209 tps=100 nb_sec=232 case_no=51 label=Case6.39 nb_sol=0 ticks=46290 tps=100 nb_sec=462 case_no=51 label=Case6.39 nb_sol=0 ticks=20041 tps=100 nb_sec=200 case_no=51 label=Case6.39 nb_sol=0 ticks=20472 tps=100 nb_sec=204 case_no=51 label=Case6.39 nb_sol=0 ticks=23303 tps=100 nb_sec=233 case_no=51 label=Case6.39 nb_sol=0 ticks=25933 tps=100 nb_sec=259 case_no=51 label=Case6.39 nb_sol=0 ticks=20354 tps=100 nb_sec=203 case_no=51 label=Case6.39 nb_sol=0 ticks=24865 tps=100 nb_sec=248 case_no=51 label=Case6.39 nb_sol=0 ticks=26714 tps=100 nb_sec=267 case_no=51 label=Case6.39 nb_sol=0 ticks=32786 tps=100 nb_sec=327 case_no=51 label=Case6.39 nb_sol=0 ticks=38666 tps=100 nb_sec=386 case_no=51 label=Case6.39 nb_sol=0 ticks=25262 tps=100 nb_sec=252 case_no=51 label=Case6.39 nb_sol=0 ticks=23387 tps=100 nb_sec=233 case_no=51 label=Case6.39 nb_sol=0 ticks=43231 tps=100 nb_sec=432 case_no=51 label=Case6.39 nb_sol=0 ticks=45598 tps=100 nb_sec=455 case_no=51 label=Case6.39 nb_sol=0 ticks=26694 tps=100 nb_sec=266 case_no=51 label=Case6.39 nb_sol=0 ticks=42454 tps=100 nb_sec=424 case_no=51 label=Case6.39 nb_sol=0 ticks=28675 tps=100 nb_sec=286 case_no=51 label=Case6.39 nb_sol=0 ticks=35521 tps=100 nb_sec=355 case_no=51 label=Case6.39 nb_sol=0 ticks=47191 tps=100 nb_sec=471 case_no=51 label=Case6.39 nb_sol=0 ticks=37322 tps=100 nb_sec=373 case_no=51 label=Case6.39 nb_sol=0 ticks=32394 tps=100 nb_sec=323 case_no=51 label=Case6.39 nb_sol=0 ticks=39283 tps=100 nb_sec=392 case_no=51 label=Case6.39 nb_sol=0 ticks=24929 tps=100 nb_sec=249 case_no=51 label=Case6.39 nb_sol=0 ticks=29621 tps=100 nb_sec=296 case_no=51 label=Case6.39 nb_sol=0 ticks=24343 tps=100 nb_sec=243 case_no=51 label=Case6.39 nb_sol=0 ticks=25866 tps=100 nb_sec=258 case_no=51 label=Case6.39 nb_sol=0 ticks=34884 tps=100 nb_sec=348 case_no=51 label=Case6.39 nb_sol=0 ticks=31699 tps=100 nb_sec=316 case_no=51 label=Case6.39 nb_sol=0 ticks=31696 tps=100 nb_sec=316 case_no=51 label=Case6.39 nb_sol=0 ticks=28209 tps=100 nb_sec=282 case_no=51 label=Case6.39 nb_sol=0 ticks=39407 tps=100 nb_sec=394 case_no=51 label=Case6.39 nb_sol=0 ticks=31930 tps=100 nb_sec=319 case_no=51 label=Case6.39 nb_sol=0 ticks=18820 tps=100 nb_sec=188 case_no=51 label=Case6.39 nb_sol=0 ticks=42666 tps=100 nb_sec=426 case_no=51 label=Case6.39 nb_sol=0 ticks=18414 tps=100 nb_sec=184 case_no=51 label=Case6.39 nb_sol=0 ticks=28283 tps=100 nb_sec=282 case_no=51 label=Case6.39 nb_sol=0 ticks=29596 tps=100 nb_sec=295 case_no=51 label=Case6.39 nb_sol=0 ticks=14782 tps=100 nb_sec=147 case_no=51 label=Case6.39 nb_sol=0 ticks=24508 tps=100 nb_sec=245 case_no=51 label=Case6.39 nb_sol=0 ticks=28388 tps=100 nb_sec=283 case_no=51 label=Case6.39 nb_sol=0 ticks=29529 tps=100 nb_sec=295 case_no=51 label=Case6.39 nb_sol=0 ticks=21879 tps=100 nb_sec=218 case_no=51 label=Case6.39 nb_sol=0 ticks=23372 tps=100 nb_sec=233 case_no=51 label=Case6.39 nb_sol=0 ticks=29584 tps=100 nb_sec=295 case_no=51 label=Case6.39 nb_sol=0 ticks=32584 tps=100 nb_sec=325 case_no=51 label=Case6.39 nb_sol=0 ticks=28306 tps=100 nb_sec=283 case_no=51 label=Case6.39 nb_sol=0 ticks=25954 tps=100 nb_sec=259 case_no=51 label=Case6.39 nb_sol=0 ticks=19049 tps=100 nb_sec=190 case_no=51 label=Case6.39 nb_sol=0 ticks=25351 tps=100 nb_sec=253 case_no=51 label=Case6.39 nb_sol=0 ticks=22076 tps=100 nb_sec=220 case_no=51 label=Case6.39 nb_sol=0 ticks=25716 tps=100 nb_sec=257 case_no=51 label=Case6.39 nb_sol=0 ticks=19396 tps=100 nb_sec=193 case_no=51 label=Case6.39 nb_sol=0 ticks=26874 tps=100 nb_sec=268 case_no=51 label=Case6.39 nb_sol=0 ticks=29319 tps=100 nb_sec=293 case_no=51 label=Case6.39 nb_sol=0 ticks=50769 tps=100 nb_sec=507 case_no=51 label=Case6.39 nb_sol=0 ticks=48816 tps=100 nb_sec=488 case_no=51 label=Case6.39 nb_sol=0 ticks=24025 tps=100 nb_sec=240 case_no=51 label=Case6.39 nb_sol=0 ticks=17815 tps=100 nb_sec=178 case_no=51 label=Case6.39 nb_sol=0 ticks=41505 tps=100 nb_sec=415 case_no=51 label=Case6.39 nb_sol=0 ticks=52663 tps=100 nb_sec=526 case_no=51 label=Case6.39 nb_sol=0 ticks=52025 tps=100 nb_sec=520 case_no=51 label=Case6.39 nb_sol=0 ticks=30864 tps=100 nb_sec=308 case_no=51 label=Case6.39 nb_sol=0 ticks=29079 tps=100 nb_sec=290 case_no=51 label=Case6.39 nb_sol=0 ticks=53355 tps=100 nb_sec=533 case_no=51 label=Case6.39 nb_sol=0 ticks=21299 tps=100 nb_sec=212 case_no=51 label=Case6.39 nb_sol=0 ticks=33327 tps=100 nb_sec=333 case_no=51 label=Case6.39 nb_sol=0 ticks=53945 tps=100 nb_sec=539 case_no=51 label=Case6.39 nb_sol=0 ticks=23906 tps=100 nb_sec=239 case_no=51 label=Case6.39 nb_sol=0 ticks=31191 tps=100 nb_sec=311 case_no=51 label=Case6.39 nb_sol=0 ticks=39700 tps=100 nb_sec=397 case_no=51 label=Case6.39 nb_sol=0 ticks=24675 tps=100 nb_sec=246 case_no=51 label=Case6.39 nb_sol=0 ticks=70608 tps=100 nb_sec=706 case_no=51 label=Case6.39 nb_sol=0 ticks=27635 tps=100 nb_sec=276 case_no=51 label=Case6.39 nb_sol=0 ticks=22101 tps=100 nb_sec=221 case_no=51 label=Case6.39 nb_sol=0 ticks=37048 tps=100 nb_sec=370 case_no=51 label=Case6.39 nb_sol=0 ticks=25620 tps=100 nb_sec=256 case_no=51 label=Case6.39 nb_sol=0 ticks=31861 tps=100 nb_sec=318 case_no=51 label=Case6.39 nb_sol=0 ticks=44924 tps=100 nb_sec=449 case_no=51 label=Case6.39 nb_sol=0 ticks=54706 tps=100 nb_sec=547 case_no=51 label=Case6.39 nb_sol=0 ticks=52850 tps=100 nb_sec=528 case_no=51 label=Case6.39 nb_sol=0 ticks=23636 tps=100 nb_sec=236 case_no=51 label=Case6.39 nb_sol=0 ticks=26247 tps=100 nb_sec=262 case_no=51 label=Case6.39 nb_sol=0 ticks=44255 tps=100 nb_sec=442 case_no=51 label=Case6.39 nb_sol=0 ticks=25543 tps=100 nb_sec=255 case_no=51 label=Case6.39 nb_sol=0 ticks=35745 tps=100 nb_sec=357 case_no=51 label=Case6.39 nb_sol=0 ticks=24344 tps=100 nb_sec=243 case_no=51 label=Case6.39 nb_sol=0 ticks=24148 tps=100 nb_sec=241 case_no=51 label=Case6.39 nb_sol=0 ticks=31042 tps=100 nb_sec=310 case_no=51 label=Case6.39 nb_sol=0 ticks=37082 tps=100 nb_sec=370 case_no=51 label=Case6.39 nb_sol=0 ticks=25927 tps=100 nb_sec=259 case_no=51 label=Case6.39 nb_sol=0 ticks=58793 tps=100 nb_sec=587 case_no=51 label=Case6.39 nb_sol=0 ticks=36143 tps=100 nb_sec=361 case_no=51 label=Case6.39 nb_sol=0 ticks=39143 tps=100 nb_sec=391 case_no=51 label=Case6.39 nb_sol=0 ticks=20374 tps=100 nb_sec=203 case_no=51 label=Case6.39 nb_sol=0 ticks=47461 tps=100 nb_sec=474 case_no=51 label=Case6.39 nb_sol=0 ticks=23993 tps=100 nb_sec=239 case_no=51 label=Case6.39 nb_sol=0 ticks=43712 tps=100 nb_sec=437 case_no=51 label=Case6.39 nb_sol=0 ticks=23220 tps=100 nb_sec=232 case_no=51 label=Case6.39 nb_sol=0 ticks=27873 tps=100 nb_sec=278 case_no=51 label=Case6.39 nb_sol=0 ticks=24637 tps=100 nb_sec=246 case_no=51 label=Case6.39 nb_sol=0 ticks=44086 tps=100 nb_sec=440 case_no=51 label=Case6.39 nb_sol=0 ticks=36509 tps=100 nb_sec=365 case_no=51 label=Case6.39 nb_sol=0 ticks=25470 tps=100 nb_sec=254 case_no=51 label=Case6.39 nb_sol=0 ticks=27346 tps=100 nb_sec=273 case_no=51 label=Case6.39 nb_sol=0 ticks=18771 tps=100 nb_sec=187 case_no=51 label=Case6.39 nb_sol=0 ticks=25007 tps=100 nb_sec=250 case_no=51 label=Case6.39 nb_sol=0 ticks=38884 tps=100 nb_sec=388 case_no=51 label=Case6.39 nb_sol=0 ticks=26461 tps=100 nb_sec=264 case_no=51 label=Case6.39 nb_sol=0 ticks=22266 tps=100 nb_sec=222 case_no=51 label=Case6.39 nb_sol=0 ticks=21426 tps=100 nb_sec=214 case_no=51 label=Case6.39 nb_sol=0 ticks=38583 tps=100 nb_sec=385 case_no=51 label=Case6.39 nb_sol=0 ticks=34881 tps=100 nb_sec=348 case_no=51 label=Case6.39 nb_sol=0 ticks=52279 tps=100 nb_sec=522 case_no=51 label=Case6.39 nb_sol=0 ticks=20849 tps=100 nb_sec=208 case_no=51 label=Case6.39 nb_sol=0 ticks=35039 tps=100 nb_sec=350 case_no=51 label=Case6.39 nb_sol=0 ticks=24890 tps=100 nb_sec=248 case_no=51 label=Case6.39 nb_sol=0 ticks=41895 tps=100 nb_sec=418 case_no=51 label=Case6.39 nb_sol=0 ticks=23848 tps=100 nb_sec=238 case_no=51 label=Case6.39 nb_sol=0 ticks=18360 tps=100 nb_sec=183 case_no=51 label=Case6.39 nb_sol=0 ticks=30939 tps=100 nb_sec=309 case_no=51 label=Case6.39 nb_sol=0 ticks=40144 tps=100 nb_sec=401 case_no=51 label=Case6.39 nb_sol=0 ticks=24002 tps=100 nb_sec=240 case_no=51 label=Case6.39 nb_sol=0 ticks=36965 tps=100 nb_sec=369 case_no=51 label=Case6.39 nb_sol=0 ticks=45632 tps=100 nb_sec=456 case_no=51 label=Case6.39 nb_sol=0 ticks=22311 tps=100 nb_sec=223 case_no=51 label=Case6.39 nb_sol=0 ticks=33697 tps=100 nb_sec=336 case_no=51 label=Case6.39 nb_sol=0 ticks=24907 tps=100 nb_sec=249 case_no=51 label=Case6.39 nb_sol=0 ticks=29041 tps=100 nb_sec=290 case_no=51 label=Case6.39 nb_sol=0 ticks=25145 tps=100 nb_sec=251 case_no=51 label=Case6.39 nb_sol=0 ticks=24923 tps=100 nb_sec=249 case_no=51 label=Case6.39 nb_sol=0 ticks=27864 tps=100 nb_sec=278 case_no=51 label=Case6.39 nb_sol=0 ticks=49784 tps=100 nb_sec=497 case_no=51 label=Case6.39 nb_sol=0 ticks=26100 tps=100 nb_sec=261 case_no=51 label=Case6.39 nb_sol=0 ticks=32677 tps=100 nb_sec=326 case_no=51 label=Case6.39 nb_sol=0 ticks=26530 tps=100 nb_sec=265 case_no=51 label=Case6.39 nb_sol=0 ticks=17235 tps=100 nb_sec=172 case_no=51 label=Case6.39 nb_sol=0 ticks=28757 tps=100 nb_sec=287 case_no=51 label=Case6.39 nb_sol=0 ticks=26897 tps=100 nb_sec=268 case_no=51 label=Case6.39 nb_sol=0 ticks=26478 tps=100 nb_sec=264 case_no=51 label=Case6.39 nb_sol=0 ticks=25707 tps=100 nb_sec=257 case_no=51 label=Case6.39 nb_sol=0 ticks=34338 tps=100 nb_sec=343 case_no=51 label=Case6.39 nb_sol=0 ticks=27223 tps=100 nb_sec=272 case_no=51 label=Case6.39 nb_sol=0 ticks=26510 tps=100 nb_sec=265 case_no=51 label=Case6.39 nb_sol=0 ticks=29129 tps=100 nb_sec=291 case_no=51 label=Case6.39 nb_sol=0 ticks=31449 tps=100 nb_sec=314 case_no=51 label=Case6.39 nb_sol=0 ticks=29471 tps=100 nb_sec=294 case_no=51 label=Case6.39 nb_sol=0 ticks=27543 tps=100 nb_sec=275 case_no=51 label=Case6.39 nb_sol=0 ticks=27832 tps=100 nb_sec=278 case_no=51 label=Case6.39 nb_sol=0 ticks=34972 tps=100 nb_sec=349 case_no=51 label=Case6.39 nb_sol=0 ticks=28493 tps=100 nb_sec=284 case_no=51 label=Case6.39 nb_sol=0 ticks=27085 tps=100 nb_sec=270 case_no=51 label=Case6.39 nb_sol=0 ticks=25883 tps=100 nb_sec=258 case_no=51 label=Case6.39 nb_sol=0 ticks=37814 tps=100 nb_sec=378 case_no=51 label=Case6.39 nb_sol=0 ticks=50846 tps=100 nb_sec=508 case_no=51 label=Case6.39 nb_sol=0 ticks=26281 tps=100 nb_sec=262 case_no=51 label=Case6.39 nb_sol=0 ticks=28204 tps=100 nb_sec=282 case_no=51 label=Case6.39 nb_sol=0 ticks=28376 tps=100 nb_sec=283 case_no=51 label=Case6.39 nb_sol=0 ticks=42014 tps=100 nb_sec=420 case_no=51 label=Case6.39 nb_sol=0 ticks=36794 tps=100 nb_sec=367 case_no=51 label=Case6.39 nb_sol=0 ticks=46965 tps=100 nb_sec=469 case_no=51 label=Case6.39 nb_sol=0 ticks=37122 tps=100 nb_sec=371 case_no=51 label=Case6.39 nb_sol=0 ticks=35994 tps=100 nb_sec=359 case_no=51 label=Case6.39 nb_sol=0 ticks=30407 tps=100 nb_sec=304 case_no=51 label=Case6.39 nb_sol=0 ticks=22967 tps=100 nb_sec=229 case_no=51 label=Case6.39 nb_sol=0 ticks=24475 tps=100 nb_sec=244 case_no=51 label=Case6.39 nb_sol=0 ticks=48003 tps=100 nb_sec=480 case_no=51 label=Case6.39 nb_sol=0 ticks=34680 tps=100 nb_sec=346 case_no=51 label=Case6.39 nb_sol=0 ticks=41985 tps=100 nb_sec=419 case_no=51 label=Case6.39 nb_sol=0 ticks=36321 tps=100 nb_sec=363 case_no=51 label=Case6.39 nb_sol=0 ticks=26195 tps=100 nb_sec=261 case_no=51 label=Case6.39 nb_sol=0 ticks=36654 tps=100 nb_sec=366 case_no=51 label=Case6.39 nb_sol=0 ticks=29905 tps=100 nb_sec=299 case_no=51 label=Case6.39 nb_sol=0 ticks=27499 tps=100 nb_sec=274 case_no=51 label=Case6.39 nb_sol=0 ticks=41980 tps=100 nb_sec=419 case_no=51 label=Case6.39 nb_sol=0 ticks=33937 tps=100 nb_sec=339 case_no=51 label=Case6.39 nb_sol=0 ticks=34782 tps=100 nb_sec=347 case_no=51 label=Case6.39 nb_sol=0 ticks=33899 tps=100 nb_sec=338 case_no=51 label=Case6.39 nb_sol=0 ticks=37017 tps=100 nb_sec=370 case_no=51 label=Case6.39 nb_sol=0 ticks=23617 tps=100 nb_sec=236 case_no=51 label=Case6.39 nb_sol=0 ticks=25901 tps=100 nb_sec=259 case_no=51 label=Case6.39 nb_sol=0 ticks=24976 tps=100 nb_sec=249 case_no=51 label=Case6.39 nb_sol=0 ticks=41718 tps=100 nb_sec=417 case_no=51 label=Case6.39 nb_sol=0 ticks=30202 tps=100 nb_sec=302 case_no=51 label=Case6.39 nb_sol=0 ticks=27625 tps=100 nb_sec=276 case_no=51 label=Case6.39 nb_sol=0 ticks=39223 tps=100 nb_sec=392 case_no=51 label=Case6.39 nb_sol=0 ticks=26228 tps=100 nb_sec=262 case_no=51 label=Case6.39 nb_sol=0 ticks=29286 tps=100 nb_sec=292 case_no=51 label=Case6.39 nb_sol=0 ticks=24865 tps=100 nb_sec=248 case_no=51 label=Case6.39 nb_sol=0 ticks=25915 tps=100 nb_sec=259 case_no=51 label=Case6.39 nb_sol=0 ticks=29435 tps=100 nb_sec=294 case_no=51 label=Case6.39 nb_sol=0 ticks=28375 tps=100 nb_sec=283 case_no=51 label=Case6.39 nb_sol=0 ticks=24075 tps=100 nb_sec=240 case_no=51 label=Case6.39 nb_sol=0 ticks=26587 tps=100 nb_sec=265 case_no=51 label=Case6.39 nb_sol=0 ticks=36942 tps=100 nb_sec=369 case_no=51 label=Case6.39 nb_sol=0 ticks=36398 tps=100 nb_sec=363 case_no=51 label=Case6.39 nb_sol=0 ticks=32448 tps=100 nb_sec=324 case_no=51 label=Case6.39 nb_sol=0 ticks=28158 tps=100 nb_sec=281 case_no=51 label=Case6.39 nb_sol=0 ticks=26518 tps=100 nb_sec=265 case_no=51 label=Case6.39 nb_sol=0 ticks=33697 tps=100 nb_sec=336 case_no=51 label=Case6.39 nb_sol=0 ticks=30820 tps=100 nb_sec=308 case_no=51 label=Case6.39 nb_sol=0 ticks=27779 tps=100 nb_sec=277 case_no=51 label=Case6.39 nb_sol=0 ticks=26136 tps=100 nb_sec=261 case_no=51 label=Case6.39 nb_sol=0 ticks=45784 tps=100 nb_sec=457 case_no=51 label=Case6.39 nb_sol=0 ticks=30921 tps=100 nb_sec=309 case_no=51 label=Case6.39 nb_sol=0 ticks=26158 tps=100 nb_sec=261 case_no=51 label=Case6.39 nb_sol=0 ticks=51200 tps=100 nb_sec=512 case_no=51 label=Case6.39 nb_sol=0 ticks=54286 tps=100 nb_sec=542 case_no=51 label=Case6.39 nb_sol=0 ticks=30565 tps=100 nb_sec=305 case_no=51 label=Case6.39 nb_sol=0 ticks=51500 tps=100 nb_sec=515 case_no=51 label=Case6.39 nb_sol=0 ticks=34386 tps=100 nb_sec=343 case_no=51 label=Case6.39 nb_sol=0 ticks=51107 tps=100 nb_sec=511 case_no=51 label=Case6.39 nb_sol=0 ticks=56456 tps=100 nb_sec=564 case_no=51 label=Case6.39 nb_sol=0 ticks=53267 tps=100 nb_sec=532 case_no=51 label=Case6.39 nb_sol=0 ticks=46355 tps=100 nb_sec=463 case_no=51 label=Case6.39 nb_sol=0 ticks=28357 tps=100 nb_sec=283 case_no=51 label=Case6.39 nb_sol=0 ticks=29174 tps=100 nb_sec=291 case_no=51 label=Case6.39 nb_sol=0 ticks=54617 tps=100 nb_sec=546 case_no=51 label=Case6.39 nb_sol=0 ticks=23056 tps=100 nb_sec=230 case_no=51 label=Case6.39 nb_sol=0 ticks=35792 tps=100 nb_sec=357 case_no=51 label=Case6.39 nb_sol=0 ticks=24381 tps=100 nb_sec=243 case_no=51 label=Case6.39 nb_sol=0 ticks=49524 tps=100 nb_sec=495 case_no=51 label=Case6.39 nb_sol=0 ticks=48268 tps=100 nb_sec=482 case_no=51 label=Case6.39 nb_sol=0 ticks=37257 tps=100 nb_sec=372 case_no=51 label=Case6.39 nb_sol=0 ticks=49579 tps=100 nb_sec=495 case_no=51 label=Case6.39 nb_sol=0 ticks=40325 tps=100 nb_sec=403 case_no=51 label=Case6.39 nb_sol=0 ticks=63567 tps=100 nb_sec=635 case_no=51 label=Case6.39 nb_sol=0 ticks=30996 tps=100 nb_sec=309 case_no=51 label=Case6.39 nb_sol=0 ticks=47609 tps=100 nb_sec=476 case_no=51 label=Case6.39 nb_sol=0 ticks=58592 tps=100 nb_sec=585 case_no=51 label=Case6.39 nb_sol=0 ticks=59285 tps=100 nb_sec=592 case_no=51 label=Case6.39 nb_sol=0 ticks=26555 tps=100 nb_sec=265 case_no=51 label=Case6.39 nb_sol=0 ticks=34584 tps=100 nb_sec=345 case_no=51 label=Case6.39 nb_sol=0 ticks=49637 tps=100 nb_sec=496 case_no=51 label=Case6.39 nb_sol=0 ticks=51656 tps=100 nb_sec=516 case_no=51 label=Case6.39 nb_sol=0 ticks=26424 tps=100 nb_sec=264 case_no=51 label=Case6.39 nb_sol=0 ticks=52620 tps=100 nb_sec=526 case_no=51 label=Case6.39 nb_sol=0 ticks=43254 tps=100 nb_sec=432 case_no=51 label=Case6.39 nb_sol=0 ticks=56043 tps=100 nb_sec=560 case_no=51 label=Case6.39 nb_sol=0 ticks=30344 tps=100 nb_sec=303 case_no=51 label=Case6.39 nb_sol=0 ticks=53755 tps=100 nb_sec=537 case_no=51 label=Case6.39 nb_sol=0 ticks=54387 tps=100 nb_sec=543 case_no=51 label=Case6.39 nb_sol=0 ticks=48502 tps=100 nb_sec=485 case_no=51 label=Case6.39 nb_sol=0 ticks=35775 tps=100 nb_sec=357 case_no=51 label=Case6.39 nb_sol=0 ticks=35322 tps=100 nb_sec=353 case_no=51 label=Case6.39 nb_sol=0 ticks=51027 tps=100 nb_sec=510 case_no=51 label=Case6.39 nb_sol=0 ticks=54863 tps=100 nb_sec=548 case_no=51 label=Case6.39 nb_sol=0 ticks=31103 tps=100 nb_sec=311 case_no=51 label=Case6.39 nb_sol=0 ticks=56743 tps=100 nb_sec=567 case_no=51 label=Case6.39 nb_sol=0 ticks=40448 tps=100 nb_sec=404 case_no=51 label=Case6.39 nb_sol=0 ticks=55840 tps=100 nb_sec=558 case_no=51 label=Case6.39 nb_sol=0 ticks=35852 tps=100 nb_sec=358 case_no=51 label=Case6.39 nb_sol=0 ticks=66359 tps=100 nb_sec=663 case_no=51 label=Case6.39 nb_sol=0 ticks=45259 tps=100 nb_sec=452 case_no=51 label=Case6.39 nb_sol=0 ticks=48976 tps=100 nb_sec=489 case_no=51 label=Case6.39 nb_sol=0 ticks=36578 tps=100 nb_sec=365 case_no=51 label=Case6.39 nb_sol=0 ticks=49358 tps=100 nb_sec=493 case_no=51 label=Case6.39 nb_sol=0 ticks=54066 tps=100 nb_sec=540 case_no=51 label=Case6.39 nb_sol=0 ticks=31150 tps=100 nb_sec=311 case_no=51 label=Case6.39 nb_sol=0 ticks=58073 tps=100 nb_sec=580 case_no=51 label=Case6.39 nb_sol=0 ticks=34228 tps=100 nb_sec=342 case_no=51 label=Case6.39 nb_sol=0 ticks=28864 tps=100 nb_sec=288 case_no=51 label=Case6.39 nb_sol=0 ticks=53149 tps=100 nb_sec=531 case_no=51 label=Case6.39 nb_sol=0 ticks=28457 tps=100 nb_sec=284 case_no=51 label=Case6.39 nb_sol=0 ticks=45153 tps=100 nb_sec=451 case_no=51 label=Case6.39 nb_sol=0 ticks=49636 tps=100 nb_sec=496 case_no=51 label=Case6.39 nb_sol=0 ticks=56912 tps=100 nb_sec=569 case_no=51 label=Case6.39 nb_sol=0 ticks=23882 tps=100 nb_sec=238 case_no=51 label=Case6.39 nb_sol=0 ticks=51852 tps=100 nb_sec=518 case_no=51 label=Case6.39 nb_sol=0 ticks=53031 tps=100 nb_sec=530 case_no=51 label=Case6.39 nb_sol=0 ticks=27969 tps=100 nb_sec=279 case_no=51 label=Case6.39 nb_sol=0 ticks=52804 tps=100 nb_sec=528 case_no=51 label=Case6.39 nb_sol=0 ticks=55505 tps=100 nb_sec=555 case_no=51 label=Case6.39 nb_sol=0 ticks=21943 tps=100 nb_sec=219 case_no=51 label=Case6.39 nb_sol=0 ticks=28739 tps=100 nb_sec=287 case_no=51 label=Case6.39 nb_sol=0 ticks=47827 tps=100 nb_sec=478 case_no=51 label=Case6.39 nb_sol=0 ticks=58381 tps=100 nb_sec=583 case_no=51 label=Case6.39 nb_sol=0 ticks=59763 tps=100 nb_sec=597 case_no=51 label=Case6.39 nb_sol=0 ticks=54213 tps=100 nb_sec=542 case_no=51 label=Case6.39 nb_sol=0 ticks=47014 tps=100 nb_sec=470 case_no=51 label=Case6.39 nb_sol=0 ticks=30688 tps=100 nb_sec=306 case_no=51 label=Case6.39 nb_sol=0 ticks=43362 tps=100 nb_sec=433 case_no=51 label=Case6.39 nb_sol=0 ticks=24076 tps=100 nb_sec=240 case_no=51 label=Case6.39 nb_sol=0 ticks=22462 tps=100 nb_sec=224 case_no=51 label=Case6.39 nb_sol=0 ticks=41005 tps=100 nb_sec=410 case_no=51 label=Case6.39 nb_sol=0 ticks=46778 tps=100 nb_sec=467 case_no=51 label=Case6.39 nb_sol=0 ticks=42536 tps=100 nb_sec=425 case_no=51 label=Case6.39 nb_sol=0 ticks=24290 tps=100 nb_sec=242 case_no=51 label=Case6.39 nb_sol=0 ticks=23078 tps=100 nb_sec=230 case_no=51 label=Case6.39 nb_sol=0 ticks=36299 tps=100 nb_sec=362 case_no=51 label=Case6.39 nb_sol=0 ticks=54551 tps=100 nb_sec=545 case_no=51 label=Case6.39 nb_sol=0 ticks=33844 tps=100 nb_sec=338 case_no=51 label=Case6.39 nb_sol=0 ticks=27143 tps=100 nb_sec=271 case_no=51 label=Case6.39 nb_sol=0 ticks=33571 tps=100 nb_sec=335 case_no=51 label=Case6.39 nb_sol=0 ticks=28803 tps=100 nb_sec=288 case_no=51 label=Case6.39 nb_sol=0 ticks=21412 tps=100 nb_sec=214 case_no=51 label=Case6.39 nb_sol=0 ticks=29593 tps=100 nb_sec=295 case_no=51 label=Case6.39 nb_sol=0 ticks=24759 tps=100 nb_sec=247 case_no=51 label=Case6.39 nb_sol=0 ticks=23699 tps=100 nb_sec=236 case_no=51 label=Case6.39 nb_sol=0 ticks=24252 tps=100 nb_sec=242 case_no=51 label=Case6.39 nb_sol=0 ticks=25183 tps=100 nb_sec=251 case_no=51 label=Case6.39 nb_sol=0 ticks=26358 tps=100 nb_sec=263 case_no=51 label=Case6.39 nb_sol=0 ticks=52445 tps=100 nb_sec=524 case_no=51 label=Case6.39 nb_sol=0 ticks=51054 tps=100 nb_sec=510 case_no=51 label=Case6.39 nb_sol=0 ticks=36181 tps=100 nb_sec=361 case_no=51 label=Case6.39 nb_sol=0 ticks=39615 tps=100 nb_sec=396 case_no=51 label=Case6.39 nb_sol=0 ticks=52750 tps=100 nb_sec=527 case_no=51 label=Case6.39 nb_sol=0 ticks=20825 tps=100 nb_sec=208 case_no=51 label=Case6.39 nb_sol=0 ticks=44990 tps=100 nb_sec=449 case_no=51 label=Case6.39 nb_sol=0 ticks=42211 tps=100 nb_sec=422 case_no=51 label=Case6.39 nb_sol=0 ticks=28540 tps=100 nb_sec=285 case_no=51 label=Case6.39 nb_sol=0 ticks=53237 tps=100 nb_sec=532 case_no=51 label=Case6.39 nb_sol=0 ticks=50229 tps=100 nb_sec=502 case_no=51 label=Case6.39 nb_sol=0 ticks=47814 tps=100 nb_sec=478 case_no=51 label=Case6.39 nb_sol=0 ticks=28984 tps=100 nb_sec=289 case_no=51 label=Case6.39 nb_sol=0 ticks=34579 tps=100 nb_sec=345 case_no=51 label=Case6.39 nb_sol=0 ticks=33973 tps=100 nb_sec=339 case_no=51 label=Case6.39 nb_sol=0 ticks=25482 tps=100 nb_sec=254 case_no=51 label=Case6.39 nb_sol=0 ticks=36816 tps=100 nb_sec=368 case_no=51 label=Case6.39 nb_sol=0 ticks=25159 tps=100 nb_sec=251 case_no=51 label=Case6.39 nb_sol=0 ticks=36387 tps=100 nb_sec=363 case_no=51 label=Case6.39 nb_sol=0 ticks=35390 tps=100 nb_sec=353 case_no=51 label=Case6.39 nb_sol=0 ticks=31162 tps=100 nb_sec=311 case_no=51 label=Case6.39 nb_sol=0 ticks=38346 tps=100 nb_sec=383 case_no=51 label=Case6.39 nb_sol=0 ticks=44941 tps=100 nb_sec=449 case_no=51 label=Case6.39 nb_sol=0 ticks=29304 tps=100 nb_sec=293 case_no=51 label=Case6.39 nb_sol=0 ticks=32898 tps=100 nb_sec=328 case_no=51 label=Case6.39 nb_sol=0 ticks=35785 tps=100 nb_sec=357 case_no=51 label=Case6.39 nb_sol=0 ticks=35865 tps=100 nb_sec=358 case_no=51 label=Case6.39 nb_sol=0 ticks=24920 tps=100 nb_sec=249 case_no=51 label=Case6.39 nb_sol=0 ticks=31829 tps=100 nb_sec=318 case_no=51 label=Case6.39 nb_sol=0 ticks=46384 tps=100 nb_sec=463 case_no=51 label=Case6.39 nb_sol=0 ticks=22276 tps=100 nb_sec=222 case_no=51 label=Case6.39 nb_sol=0 ticks=34804 tps=100 nb_sec=348 case_no=51 label=Case6.39 nb_sol=0 ticks=37992 tps=100 nb_sec=379 case_no=51 label=Case6.39 nb_sol=0 ticks=21935 tps=100 nb_sec=219 case_no=51 label=Case6.39 nb_sol=0 ticks=45287 tps=100 nb_sec=452 case_no=51 label=Case6.39 nb_sol=0 ticks=21486 tps=100 nb_sec=214 case_no=51 label=Case6.39 nb_sol=0 ticks=46950 tps=100 nb_sec=469 case_no=51 label=Case6.39 nb_sol=0 ticks=23340 tps=100 nb_sec=233 case_no=51 label=Case6.39 nb_sol=0 ticks=21243 tps=100 nb_sec=212 case_no=51 label=Case6.39 nb_sol=0 ticks=20915 tps=100 nb_sec=209 case_no=51 label=Case6.39 nb_sol=0 ticks=19716 tps=100 nb_sec=197 case_no=51 label=Case6.39 nb_sol=0 ticks=42682 tps=100 nb_sec=426 case_no=51 label=Case6.39 nb_sol=0 ticks=45482 tps=100 nb_sec=454 case_no=51 label=Case6.39 nb_sol=0 ticks=25621 tps=100 nb_sec=256 case_no=51 label=Case6.39 nb_sol=0 ticks=24168 tps=100 nb_sec=241 case_no=51 label=Case6.39 nb_sol=0 ticks=25493 tps=100 nb_sec=254 case_no=51 label=Case6.39 nb_sol=0 ticks=44285 tps=100 nb_sec=442 case_no=51 label=Case6.39 nb_sol=0 ticks=25347 tps=100 nb_sec=253 case_no=51 label=Case6.39 nb_sol=0 ticks=32292 tps=100 nb_sec=322 case_no=51 label=Case6.39 nb_sol=0 ticks=37341 tps=100 nb_sec=373 case_no=51 label=Case6.39 nb_sol=0 ticks=38660 tps=100 nb_sec=386 case_no=51 label=Case6.39 nb_sol=0 ticks=32813 tps=100 nb_sec=328 case_no=51 label=Case6.39 nb_sol=0 ticks=40143 tps=100 nb_sec=401 case_no=51 label=Case6.39 nb_sol=0 ticks=37802 tps=100 nb_sec=378 case_no=51 label=Case6.39 nb_sol=0 ticks=34341 tps=100 nb_sec=343 case_no=51 label=Case6.39 nb_sol=0 ticks=28172 tps=100 nb_sec=281 case_no=51 label=Case6.39 nb_sol=0 ticks=25661 tps=100 nb_sec=256 case_no=51 label=Case6.39 nb_sol=0 ticks=41573 tps=100 nb_sec=415 case_no=51 label=Case6.39 nb_sol=0 ticks=20880 tps=100 nb_sec=208 case_no=51 label=Case6.39 nb_sol=0 ticks=54332 tps=100 nb_sec=543 case_no=51 label=Case6.39 nb_sol=0 ticks=20213 tps=100 nb_sec=202 case_no=51 label=Case6.39 nb_sol=0 ticks=35509 tps=100 nb_sec=355 case_no=51 label=Case6.39 nb_sol=0 ticks=29802 tps=100 nb_sec=298 case_no=51 label=Case6.39 nb_sol=0 ticks=25336 tps=100 nb_sec=253 case_no=51 label=Case6.39 nb_sol=0 ticks=47989 tps=100 nb_sec=479 case_no=51 label=Case6.39 nb_sol=0 ticks=52122 tps=100 nb_sec=521 case_no=51 label=Case6.39 nb_sol=0 ticks=45688 tps=100 nb_sec=456 case_no=51 label=Case6.39 nb_sol=0 ticks=36149 tps=100 nb_sec=361 case_no=51 label=Case6.39 nb_sol=0 ticks=50820 tps=100 nb_sec=508 Nb_sol=0 Nb_sec=178319 2-1:31:59 or 49 hours missing cases: none