argc=5 -M 512 file2=30_select_Case6.38_starter_16_ checking files mod 512 from 0 to 511 case_no=50 label=Case6.38 nb_sol=0 ticks=45548 tps=100 nb_sec=455 case_no=50 label=Case6.38 nb_sol=0 ticks=38189 tps=100 nb_sec=381 case_no=50 label=Case6.38 nb_sol=0 ticks=20879 tps=100 nb_sec=208 case_no=50 label=Case6.38 nb_sol=0 ticks=47789 tps=100 nb_sec=477 case_no=50 label=Case6.38 nb_sol=0 ticks=38861 tps=100 nb_sec=388 case_no=50 label=Case6.38 nb_sol=0 ticks=27481 tps=100 nb_sec=274 case_no=50 label=Case6.38 nb_sol=0 ticks=27288 tps=100 nb_sec=272 case_no=50 label=Case6.38 nb_sol=0 ticks=23952 tps=100 nb_sec=239 case_no=50 label=Case6.38 nb_sol=0 ticks=41574 tps=100 nb_sec=415 case_no=50 label=Case6.38 nb_sol=0 ticks=21118 tps=100 nb_sec=211 case_no=50 label=Case6.38 nb_sol=0 ticks=28307 tps=100 nb_sec=283 case_no=50 label=Case6.38 nb_sol=0 ticks=22148 tps=100 nb_sec=221 case_no=50 label=Case6.38 nb_sol=0 ticks=38767 tps=100 nb_sec=387 case_no=50 label=Case6.38 nb_sol=0 ticks=21504 tps=100 nb_sec=215 case_no=50 label=Case6.38 nb_sol=0 ticks=37392 tps=100 nb_sec=373 case_no=50 label=Case6.38 nb_sol=0 ticks=46005 tps=100 nb_sec=460 case_no=50 label=Case6.38 nb_sol=0 ticks=35738 tps=100 nb_sec=357 case_no=50 label=Case6.38 nb_sol=0 ticks=41207 tps=100 nb_sec=412 case_no=50 label=Case6.38 nb_sol=0 ticks=43026 tps=100 nb_sec=430 case_no=50 label=Case6.38 nb_sol=0 ticks=40016 tps=100 nb_sec=400 case_no=50 label=Case6.38 nb_sol=0 ticks=37334 tps=100 nb_sec=373 case_no=50 label=Case6.38 nb_sol=0 ticks=37807 tps=100 nb_sec=378 case_no=50 label=Case6.38 nb_sol=0 ticks=26788 tps=100 nb_sec=267 case_no=50 label=Case6.38 nb_sol=0 ticks=24440 tps=100 nb_sec=244 case_no=50 label=Case6.38 nb_sol=0 ticks=22195 tps=100 nb_sec=221 case_no=50 label=Case6.38 nb_sol=0 ticks=26835 tps=100 nb_sec=268 case_no=50 label=Case6.38 nb_sol=0 ticks=19577 tps=100 nb_sec=195 case_no=50 label=Case6.38 nb_sol=0 ticks=24871 tps=100 nb_sec=248 case_no=50 label=Case6.38 nb_sol=0 ticks=31472 tps=100 nb_sec=314 case_no=50 label=Case6.38 nb_sol=0 ticks=38771 tps=100 nb_sec=387 case_no=50 label=Case6.38 nb_sol=0 ticks=28133 tps=100 nb_sec=281 case_no=50 label=Case6.38 nb_sol=0 ticks=23212 tps=100 nb_sec=232 case_no=50 label=Case6.38 nb_sol=0 ticks=34367 tps=100 nb_sec=343 case_no=50 label=Case6.38 nb_sol=0 ticks=19134 tps=100 nb_sec=191 case_no=50 label=Case6.38 nb_sol=0 ticks=21055 tps=100 nb_sec=210 case_no=50 label=Case6.38 nb_sol=0 ticks=32276 tps=100 nb_sec=322 case_no=50 label=Case6.38 nb_sol=0 ticks=21490 tps=100 nb_sec=214 case_no=50 label=Case6.38 nb_sol=0 ticks=35174 tps=100 nb_sec=351 case_no=50 label=Case6.38 nb_sol=0 ticks=23112 tps=100 nb_sec=231 case_no=50 label=Case6.38 nb_sol=0 ticks=25974 tps=100 nb_sec=259 case_no=50 label=Case6.38 nb_sol=0 ticks=23453 tps=100 nb_sec=234 case_no=50 label=Case6.38 nb_sol=0 ticks=21950 tps=100 nb_sec=219 case_no=50 label=Case6.38 nb_sol=0 ticks=34648 tps=100 nb_sec=346 case_no=50 label=Case6.38 nb_sol=0 ticks=21257 tps=100 nb_sec=212 case_no=50 label=Case6.38 nb_sol=0 ticks=28268 tps=100 nb_sec=282 case_no=50 label=Case6.38 nb_sol=0 ticks=33624 tps=100 nb_sec=336 case_no=50 label=Case6.38 nb_sol=0 ticks=22816 tps=100 nb_sec=228 case_no=50 label=Case6.38 nb_sol=0 ticks=20131 tps=100 nb_sec=201 case_no=50 label=Case6.38 nb_sol=0 ticks=31020 tps=100 nb_sec=310 case_no=50 label=Case6.38 nb_sol=0 ticks=28203 tps=100 nb_sec=282 case_no=50 label=Case6.38 nb_sol=0 ticks=43377 tps=100 nb_sec=433 case_no=50 label=Case6.38 nb_sol=0 ticks=35047 tps=100 nb_sec=350 case_no=50 label=Case6.38 nb_sol=0 ticks=43677 tps=100 nb_sec=436 case_no=50 label=Case6.38 nb_sol=0 ticks=26164 tps=100 nb_sec=261 case_no=50 label=Case6.38 nb_sol=0 ticks=33821 tps=100 nb_sec=338 case_no=50 label=Case6.38 nb_sol=0 ticks=30575 tps=100 nb_sec=305 case_no=50 label=Case6.38 nb_sol=0 ticks=38693 tps=100 nb_sec=386 case_no=50 label=Case6.38 nb_sol=0 ticks=45454 tps=100 nb_sec=454 case_no=50 label=Case6.38 nb_sol=0 ticks=41790 tps=100 nb_sec=417 case_no=50 label=Case6.38 nb_sol=0 ticks=40041 tps=100 nb_sec=400 case_no=50 label=Case6.38 nb_sol=0 ticks=35358 tps=100 nb_sec=353 case_no=50 label=Case6.38 nb_sol=0 ticks=23509 tps=100 nb_sec=235 case_no=50 label=Case6.38 nb_sol=0 ticks=32276 tps=100 nb_sec=322 case_no=50 label=Case6.38 nb_sol=0 ticks=22657 tps=100 nb_sec=226 case_no=50 label=Case6.38 nb_sol=0 ticks=35419 tps=100 nb_sec=354 case_no=50 label=Case6.38 nb_sol=0 ticks=31401 tps=100 nb_sec=314 case_no=50 label=Case6.38 nb_sol=0 ticks=47060 tps=100 nb_sec=470 case_no=50 label=Case6.38 nb_sol=0 ticks=23528 tps=100 nb_sec=235 case_no=50 label=Case6.38 nb_sol=0 ticks=27467 tps=100 nb_sec=274 case_no=50 label=Case6.38 nb_sol=0 ticks=47906 tps=100 nb_sec=479 case_no=50 label=Case6.38 nb_sol=0 ticks=23955 tps=100 nb_sec=239 case_no=50 label=Case6.38 nb_sol=0 ticks=22915 tps=100 nb_sec=229 case_no=50 label=Case6.38 nb_sol=0 ticks=24238 tps=100 nb_sec=242 case_no=50 label=Case6.38 nb_sol=0 ticks=24493 tps=100 nb_sec=244 case_no=50 label=Case6.38 nb_sol=0 ticks=52884 tps=100 nb_sec=528 case_no=50 label=Case6.38 nb_sol=0 ticks=25854 tps=100 nb_sec=258 case_no=50 label=Case6.38 nb_sol=0 ticks=46642 tps=100 nb_sec=466 case_no=50 label=Case6.38 nb_sol=0 ticks=49946 tps=100 nb_sec=499 case_no=50 label=Case6.38 nb_sol=0 ticks=34792 tps=100 nb_sec=347 case_no=50 label=Case6.38 nb_sol=0 ticks=41015 tps=100 nb_sec=410 case_no=50 label=Case6.38 nb_sol=0 ticks=52292 tps=100 nb_sec=522 case_no=50 label=Case6.38 nb_sol=0 ticks=39065 tps=100 nb_sec=390 case_no=50 label=Case6.38 nb_sol=0 ticks=42549 tps=100 nb_sec=425 case_no=50 label=Case6.38 nb_sol=0 ticks=43281 tps=100 nb_sec=432 case_no=50 label=Case6.38 nb_sol=0 ticks=53127 tps=100 nb_sec=531 case_no=50 label=Case6.38 nb_sol=0 ticks=23899 tps=100 nb_sec=238 case_no=50 label=Case6.38 nb_sol=0 ticks=43899 tps=100 nb_sec=438 case_no=50 label=Case6.38 nb_sol=0 ticks=31928 tps=100 nb_sec=319 case_no=50 label=Case6.38 nb_sol=0 ticks=23744 tps=100 nb_sec=237 case_no=50 label=Case6.38 nb_sol=0 ticks=40158 tps=100 nb_sec=401 case_no=50 label=Case6.38 nb_sol=0 ticks=35207 tps=100 nb_sec=352 case_no=50 label=Case6.38 nb_sol=0 ticks=36861 tps=100 nb_sec=368 case_no=50 label=Case6.38 nb_sol=0 ticks=55179 tps=100 nb_sec=551 case_no=50 label=Case6.38 nb_sol=0 ticks=28080 tps=100 nb_sec=280 case_no=50 label=Case6.38 nb_sol=0 ticks=24093 tps=100 nb_sec=240 case_no=50 label=Case6.38 nb_sol=0 ticks=33110 tps=100 nb_sec=331 case_no=50 label=Case6.38 nb_sol=0 ticks=30312 tps=100 nb_sec=303 case_no=50 label=Case6.38 nb_sol=0 ticks=38173 tps=100 nb_sec=381 case_no=50 label=Case6.38 nb_sol=0 ticks=21200 tps=100 nb_sec=212 case_no=50 label=Case6.38 nb_sol=0 ticks=32222 tps=100 nb_sec=322 case_no=50 label=Case6.38 nb_sol=0 ticks=34350 tps=100 nb_sec=343 case_no=50 label=Case6.38 nb_sol=0 ticks=44023 tps=100 nb_sec=440 case_no=50 label=Case6.38 nb_sol=0 ticks=23857 tps=100 nb_sec=238 case_no=50 label=Case6.38 nb_sol=0 ticks=30747 tps=100 nb_sec=307 case_no=50 label=Case6.38 nb_sol=0 ticks=33993 tps=100 nb_sec=339 case_no=50 label=Case6.38 nb_sol=0 ticks=22493 tps=100 nb_sec=224 case_no=50 label=Case6.38 nb_sol=0 ticks=23082 tps=100 nb_sec=230 case_no=50 label=Case6.38 nb_sol=0 ticks=21644 tps=100 nb_sec=216 case_no=50 label=Case6.38 nb_sol=0 ticks=24346 tps=100 nb_sec=243 case_no=50 label=Case6.38 nb_sol=0 ticks=26338 tps=100 nb_sec=263 case_no=50 label=Case6.38 nb_sol=0 ticks=26048 tps=100 nb_sec=260 case_no=50 label=Case6.38 nb_sol=0 ticks=21276 tps=100 nb_sec=212 case_no=50 label=Case6.38 nb_sol=0 ticks=23146 tps=100 nb_sec=231 case_no=50 label=Case6.38 nb_sol=0 ticks=22585 tps=100 nb_sec=225 case_no=50 label=Case6.38 nb_sol=0 ticks=55548 tps=100 nb_sec=555 case_no=50 label=Case6.38 nb_sol=0 ticks=44242 tps=100 nb_sec=442 case_no=50 label=Case6.38 nb_sol=0 ticks=45034 tps=100 nb_sec=450 case_no=50 label=Case6.38 nb_sol=0 ticks=26763 tps=100 nb_sec=267 case_no=50 label=Case6.38 nb_sol=0 ticks=37680 tps=100 nb_sec=376 case_no=50 label=Case6.38 nb_sol=0 ticks=25405 tps=100 nb_sec=254 case_no=50 label=Case6.38 nb_sol=0 ticks=26380 tps=100 nb_sec=263 case_no=50 label=Case6.38 nb_sol=0 ticks=24846 tps=100 nb_sec=248 case_no=50 label=Case6.38 nb_sol=0 ticks=44193 tps=100 nb_sec=441 case_no=50 label=Case6.38 nb_sol=0 ticks=34540 tps=100 nb_sec=345 case_no=50 label=Case6.38 nb_sol=0 ticks=42302 tps=100 nb_sec=423 case_no=50 label=Case6.38 nb_sol=0 ticks=38018 tps=100 nb_sec=380 case_no=50 label=Case6.38 nb_sol=0 ticks=46051 tps=100 nb_sec=460 case_no=50 label=Case6.38 nb_sol=0 ticks=46851 tps=100 nb_sec=468 case_no=50 label=Case6.38 nb_sol=0 ticks=52792 tps=100 nb_sec=527 case_no=50 label=Case6.38 nb_sol=0 ticks=37864 tps=100 nb_sec=378 case_no=50 label=Case6.38 nb_sol=0 ticks=42212 tps=100 nb_sec=422 case_no=50 label=Case6.38 nb_sol=0 ticks=40661 tps=100 nb_sec=406 case_no=50 label=Case6.38 nb_sol=0 ticks=62818 tps=100 nb_sec=628 case_no=50 label=Case6.38 nb_sol=0 ticks=50083 tps=100 nb_sec=500 case_no=50 label=Case6.38 nb_sol=0 ticks=31117 tps=100 nb_sec=311 case_no=50 label=Case6.38 nb_sol=0 ticks=50162 tps=100 nb_sec=501 case_no=50 label=Case6.38 nb_sol=0 ticks=47817 tps=100 nb_sec=478 case_no=50 label=Case6.38 nb_sol=0 ticks=32117 tps=100 nb_sec=321 case_no=50 label=Case6.38 nb_sol=0 ticks=51413 tps=100 nb_sec=514 case_no=50 label=Case6.38 nb_sol=0 ticks=32396 tps=100 nb_sec=323 case_no=50 label=Case6.38 nb_sol=0 ticks=49816 tps=100 nb_sec=498 case_no=50 label=Case6.38 nb_sol=0 ticks=33625 tps=100 nb_sec=336 case_no=50 label=Case6.38 nb_sol=0 ticks=39494 tps=100 nb_sec=394 case_no=50 label=Case6.38 nb_sol=0 ticks=42013 tps=100 nb_sec=420 case_no=50 label=Case6.38 nb_sol=0 ticks=31534 tps=100 nb_sec=315 case_no=50 label=Case6.38 nb_sol=0 ticks=36695 tps=100 nb_sec=366 case_no=50 label=Case6.38 nb_sol=0 ticks=34913 tps=100 nb_sec=349 case_no=50 label=Case6.38 nb_sol=0 ticks=30784 tps=100 nb_sec=307 case_no=50 label=Case6.38 nb_sol=0 ticks=51689 tps=100 nb_sec=516 case_no=50 label=Case6.38 nb_sol=0 ticks=64185 tps=100 nb_sec=641 case_no=50 label=Case6.38 nb_sol=0 ticks=37109 tps=100 nb_sec=371 case_no=50 label=Case6.38 nb_sol=0 ticks=37815 tps=100 nb_sec=378 case_no=50 label=Case6.38 nb_sol=0 ticks=53666 tps=100 nb_sec=536 case_no=50 label=Case6.38 nb_sol=0 ticks=44783 tps=100 nb_sec=447 case_no=50 label=Case6.38 nb_sol=0 ticks=36833 tps=100 nb_sec=368 case_no=50 label=Case6.38 nb_sol=0 ticks=45860 tps=100 nb_sec=458 case_no=50 label=Case6.38 nb_sol=0 ticks=20372 tps=100 nb_sec=203 case_no=50 label=Case6.38 nb_sol=0 ticks=51188 tps=100 nb_sec=511 case_no=50 label=Case6.38 nb_sol=0 ticks=53954 tps=100 nb_sec=539 case_no=50 label=Case6.38 nb_sol=0 ticks=21544 tps=100 nb_sec=215 case_no=50 label=Case6.38 nb_sol=0 ticks=46740 tps=100 nb_sec=467 case_no=50 label=Case6.38 nb_sol=0 ticks=26294 tps=100 nb_sec=262 case_no=50 label=Case6.38 nb_sol=0 ticks=31483 tps=100 nb_sec=314 case_no=50 label=Case6.38 nb_sol=0 ticks=42405 tps=100 nb_sec=424 case_no=50 label=Case6.38 nb_sol=0 ticks=26242 tps=100 nb_sec=262 case_no=50 label=Case6.38 nb_sol=0 ticks=37753 tps=100 nb_sec=377 case_no=50 label=Case6.38 nb_sol=0 ticks=25182 tps=100 nb_sec=251 case_no=50 label=Case6.38 nb_sol=0 ticks=37589 tps=100 nb_sec=375 case_no=50 label=Case6.38 nb_sol=0 ticks=27895 tps=100 nb_sec=278 case_no=50 label=Case6.38 nb_sol=0 ticks=21225 tps=100 nb_sec=212 case_no=50 label=Case6.38 nb_sol=0 ticks=38833 tps=100 nb_sec=388 case_no=50 label=Case6.38 nb_sol=0 ticks=32998 tps=100 nb_sec=329 case_no=50 label=Case6.38 nb_sol=0 ticks=30752 tps=100 nb_sec=307 case_no=50 label=Case6.38 nb_sol=0 ticks=38655 tps=100 nb_sec=386 case_no=50 label=Case6.38 nb_sol=0 ticks=26731 tps=100 nb_sec=267 case_no=50 label=Case6.38 nb_sol=0 ticks=35568 tps=100 nb_sec=355 case_no=50 label=Case6.38 nb_sol=0 ticks=25755 tps=100 nb_sec=257 case_no=50 label=Case6.38 nb_sol=0 ticks=44578 tps=100 nb_sec=445 case_no=50 label=Case6.38 nb_sol=0 ticks=28110 tps=100 nb_sec=281 case_no=50 label=Case6.38 nb_sol=0 ticks=28278 tps=100 nb_sec=282 case_no=50 label=Case6.38 nb_sol=0 ticks=23888 tps=100 nb_sec=238 case_no=50 label=Case6.38 nb_sol=0 ticks=40108 tps=100 nb_sec=401 case_no=50 label=Case6.38 nb_sol=0 ticks=22183 tps=100 nb_sec=221 case_no=50 label=Case6.38 nb_sol=0 ticks=28909 tps=100 nb_sec=289 case_no=50 label=Case6.38 nb_sol=0 ticks=42428 tps=100 nb_sec=424 case_no=50 label=Case6.38 nb_sol=0 ticks=20816 tps=100 nb_sec=208 case_no=50 label=Case6.38 nb_sol=0 ticks=22174 tps=100 nb_sec=221 case_no=50 label=Case6.38 nb_sol=0 ticks=34407 tps=100 nb_sec=344 case_no=50 label=Case6.38 nb_sol=0 ticks=43371 tps=100 nb_sec=433 case_no=50 label=Case6.38 nb_sol=0 ticks=46163 tps=100 nb_sec=461 case_no=50 label=Case6.38 nb_sol=0 ticks=38107 tps=100 nb_sec=381 case_no=50 label=Case6.38 nb_sol=0 ticks=41638 tps=100 nb_sec=416 case_no=50 label=Case6.38 nb_sol=0 ticks=38259 tps=100 nb_sec=382 case_no=50 label=Case6.38 nb_sol=0 ticks=40356 tps=100 nb_sec=403 case_no=50 label=Case6.38 nb_sol=0 ticks=39086 tps=100 nb_sec=390 case_no=50 label=Case6.38 nb_sol=0 ticks=45056 tps=100 nb_sec=450 case_no=50 label=Case6.38 nb_sol=0 ticks=52553 tps=100 nb_sec=525 case_no=50 label=Case6.38 nb_sol=0 ticks=33606 tps=100 nb_sec=336 case_no=50 label=Case6.38 nb_sol=0 ticks=45525 tps=100 nb_sec=455 case_no=50 label=Case6.38 nb_sol=0 ticks=41911 tps=100 nb_sec=419 case_no=50 label=Case6.38 nb_sol=0 ticks=40699 tps=100 nb_sec=406 case_no=50 label=Case6.38 nb_sol=0 ticks=45473 tps=100 nb_sec=454 case_no=50 label=Case6.38 nb_sol=0 ticks=35042 tps=100 nb_sec=350 case_no=50 label=Case6.38 nb_sol=0 ticks=44133 tps=100 nb_sec=441 case_no=50 label=Case6.38 nb_sol=0 ticks=39886 tps=100 nb_sec=398 case_no=50 label=Case6.38 nb_sol=0 ticks=39245 tps=100 nb_sec=392 case_no=50 label=Case6.38 nb_sol=0 ticks=49960 tps=100 nb_sec=499 case_no=50 label=Case6.38 nb_sol=0 ticks=39554 tps=100 nb_sec=395 case_no=50 label=Case6.38 nb_sol=0 ticks=25728 tps=100 nb_sec=257 case_no=50 label=Case6.38 nb_sol=0 ticks=38587 tps=100 nb_sec=385 case_no=50 label=Case6.38 nb_sol=0 ticks=47598 tps=100 nb_sec=475 case_no=50 label=Case6.38 nb_sol=0 ticks=23459 tps=100 nb_sec=234 case_no=50 label=Case6.38 nb_sol=0 ticks=25849 tps=100 nb_sec=258 case_no=50 label=Case6.38 nb_sol=0 ticks=37667 tps=100 nb_sec=376 case_no=50 label=Case6.38 nb_sol=0 ticks=27329 tps=100 nb_sec=273 case_no=50 label=Case6.38 nb_sol=0 ticks=18868 tps=100 nb_sec=188 case_no=50 label=Case6.38 nb_sol=0 ticks=44679 tps=100 nb_sec=446 case_no=50 label=Case6.38 nb_sol=0 ticks=32349 tps=100 nb_sec=323 case_no=50 label=Case6.38 nb_sol=0 ticks=32434 tps=100 nb_sec=324 case_no=50 label=Case6.38 nb_sol=0 ticks=50741 tps=100 nb_sec=507 case_no=50 label=Case6.38 nb_sol=0 ticks=25070 tps=100 nb_sec=250 case_no=50 label=Case6.38 nb_sol=0 ticks=32994 tps=100 nb_sec=329 case_no=50 label=Case6.38 nb_sol=0 ticks=28993 tps=100 nb_sec=289 case_no=50 label=Case6.38 nb_sol=0 ticks=34574 tps=100 nb_sec=345 case_no=50 label=Case6.38 nb_sol=0 ticks=25550 tps=100 nb_sec=255 case_no=50 label=Case6.38 nb_sol=0 ticks=41491 tps=100 nb_sec=414 case_no=50 label=Case6.38 nb_sol=0 ticks=22641 tps=100 nb_sec=226 case_no=50 label=Case6.38 nb_sol=0 ticks=34651 tps=100 nb_sec=346 case_no=50 label=Case6.38 nb_sol=0 ticks=24788 tps=100 nb_sec=247 case_no=50 label=Case6.38 nb_sol=0 ticks=28810 tps=100 nb_sec=288 case_no=50 label=Case6.38 nb_sol=0 ticks=33925 tps=100 nb_sec=339 case_no=50 label=Case6.38 nb_sol=0 ticks=24449 tps=100 nb_sec=244 case_no=50 label=Case6.38 nb_sol=0 ticks=34286 tps=100 nb_sec=342 case_no=50 label=Case6.38 nb_sol=0 ticks=31179 tps=100 nb_sec=311 case_no=50 label=Case6.38 nb_sol=0 ticks=24976 tps=100 nb_sec=249 case_no=50 label=Case6.38 nb_sol=0 ticks=36080 tps=100 nb_sec=360 case_no=50 label=Case6.38 nb_sol=0 ticks=32953 tps=100 nb_sec=329 case_no=50 label=Case6.38 nb_sol=0 ticks=32464 tps=100 nb_sec=324 case_no=50 label=Case6.38 nb_sol=0 ticks=33563 tps=100 nb_sec=335 case_no=50 label=Case6.38 nb_sol=0 ticks=32914 tps=100 nb_sec=329 case_no=50 label=Case6.38 nb_sol=0 ticks=34927 tps=100 nb_sec=349 case_no=50 label=Case6.38 nb_sol=0 ticks=33867 tps=100 nb_sec=338 case_no=50 label=Case6.38 nb_sol=0 ticks=32531 tps=100 nb_sec=325 case_no=50 label=Case6.38 nb_sol=0 ticks=31774 tps=100 nb_sec=317 case_no=50 label=Case6.38 nb_sol=0 ticks=58255 tps=100 nb_sec=582 case_no=50 label=Case6.38 nb_sol=0 ticks=21551 tps=100 nb_sec=215 case_no=50 label=Case6.38 nb_sol=0 ticks=41717 tps=100 nb_sec=417 case_no=50 label=Case6.38 nb_sol=0 ticks=34738 tps=100 nb_sec=347 case_no=50 label=Case6.38 nb_sol=0 ticks=51579 tps=100 nb_sec=515 case_no=50 label=Case6.38 nb_sol=0 ticks=24806 tps=100 nb_sec=248 case_no=50 label=Case6.38 nb_sol=0 ticks=43177 tps=100 nb_sec=431 case_no=50 label=Case6.38 nb_sol=0 ticks=33657 tps=100 nb_sec=336 case_no=50 label=Case6.38 nb_sol=0 ticks=31280 tps=100 nb_sec=312 case_no=50 label=Case6.38 nb_sol=0 ticks=32879 tps=100 nb_sec=328 case_no=50 label=Case6.38 nb_sol=0 ticks=25308 tps=100 nb_sec=253 case_no=50 label=Case6.38 nb_sol=0 ticks=43407 tps=100 nb_sec=434 case_no=50 label=Case6.38 nb_sol=0 ticks=44709 tps=100 nb_sec=447 case_no=50 label=Case6.38 nb_sol=0 ticks=48988 tps=100 nb_sec=489 case_no=50 label=Case6.38 nb_sol=0 ticks=37592 tps=100 nb_sec=375 case_no=50 label=Case6.38 nb_sol=0 ticks=25091 tps=100 nb_sec=250 case_no=50 label=Case6.38 nb_sol=0 ticks=32812 tps=100 nb_sec=328 case_no=50 label=Case6.38 nb_sol=0 ticks=25272 tps=100 nb_sec=252 case_no=50 label=Case6.38 nb_sol=0 ticks=41735 tps=100 nb_sec=417 case_no=50 label=Case6.38 nb_sol=0 ticks=22802 tps=100 nb_sec=228 case_no=50 label=Case6.38 nb_sol=0 ticks=30499 tps=100 nb_sec=304 case_no=50 label=Case6.38 nb_sol=0 ticks=37054 tps=100 nb_sec=370 case_no=50 label=Case6.38 nb_sol=0 ticks=43436 tps=100 nb_sec=434 case_no=50 label=Case6.38 nb_sol=0 ticks=52004 tps=100 nb_sec=520 case_no=50 label=Case6.38 nb_sol=0 ticks=47244 tps=100 nb_sec=472 case_no=50 label=Case6.38 nb_sol=0 ticks=43918 tps=100 nb_sec=439 case_no=50 label=Case6.38 nb_sol=0 ticks=26364 tps=100 nb_sec=263 case_no=50 label=Case6.38 nb_sol=0 ticks=35073 tps=100 nb_sec=350 case_no=50 label=Case6.38 nb_sol=0 ticks=37657 tps=100 nb_sec=376 case_no=50 label=Case6.38 nb_sol=0 ticks=47411 tps=100 nb_sec=474 case_no=50 label=Case6.38 nb_sol=0 ticks=36029 tps=100 nb_sec=360 case_no=50 label=Case6.38 nb_sol=0 ticks=30405 tps=100 nb_sec=304 case_no=50 label=Case6.38 nb_sol=0 ticks=49952 tps=100 nb_sec=499 case_no=50 label=Case6.38 nb_sol=0 ticks=26767 tps=100 nb_sec=267 case_no=50 label=Case6.38 nb_sol=0 ticks=33024 tps=100 nb_sec=330 case_no=50 label=Case6.38 nb_sol=0 ticks=58159 tps=100 nb_sec=581 case_no=50 label=Case6.38 nb_sol=0 ticks=54739 tps=100 nb_sec=547 case_no=50 label=Case6.38 nb_sol=0 ticks=52292 tps=100 nb_sec=522 case_no=50 label=Case6.38 nb_sol=0 ticks=36857 tps=100 nb_sec=368 case_no=50 label=Case6.38 nb_sol=0 ticks=50075 tps=100 nb_sec=500 case_no=50 label=Case6.38 nb_sol=0 ticks=27489 tps=100 nb_sec=274 case_no=50 label=Case6.38 nb_sol=0 ticks=35850 tps=100 nb_sec=358 case_no=50 label=Case6.38 nb_sol=0 ticks=57930 tps=100 nb_sec=579 case_no=50 label=Case6.38 nb_sol=0 ticks=32781 tps=100 nb_sec=327 case_no=50 label=Case6.38 nb_sol=0 ticks=27007 tps=100 nb_sec=270 case_no=50 label=Case6.38 nb_sol=0 ticks=45720 tps=100 nb_sec=457 case_no=50 label=Case6.38 nb_sol=0 ticks=54464 tps=100 nb_sec=544 case_no=50 label=Case6.38 nb_sol=0 ticks=41459 tps=100 nb_sec=414 case_no=50 label=Case6.38 nb_sol=0 ticks=50758 tps=100 nb_sec=507 case_no=50 label=Case6.38 nb_sol=0 ticks=29256 tps=100 nb_sec=292 case_no=50 label=Case6.38 nb_sol=0 ticks=27702 tps=100 nb_sec=277 case_no=50 label=Case6.38 nb_sol=0 ticks=24403 tps=100 nb_sec=244 case_no=50 label=Case6.38 nb_sol=0 ticks=21729 tps=100 nb_sec=217 case_no=50 label=Case6.38 nb_sol=0 ticks=24462 tps=100 nb_sec=244 case_no=50 label=Case6.38 nb_sol=0 ticks=22863 tps=100 nb_sec=228 case_no=50 label=Case6.38 nb_sol=0 ticks=38757 tps=100 nb_sec=387 case_no=50 label=Case6.38 nb_sol=0 ticks=35399 tps=100 nb_sec=353 case_no=50 label=Case6.38 nb_sol=0 ticks=31302 tps=100 nb_sec=313 case_no=50 label=Case6.38 nb_sol=0 ticks=47951 tps=100 nb_sec=479 case_no=50 label=Case6.38 nb_sol=0 ticks=38530 tps=100 nb_sec=385 case_no=50 label=Case6.38 nb_sol=0 ticks=41554 tps=100 nb_sec=415 case_no=50 label=Case6.38 nb_sol=0 ticks=42446 tps=100 nb_sec=424 case_no=50 label=Case6.38 nb_sol=0 ticks=31177 tps=100 nb_sec=311 case_no=50 label=Case6.38 nb_sol=0 ticks=19901 tps=100 nb_sec=199 case_no=50 label=Case6.38 nb_sol=0 ticks=39908 tps=100 nb_sec=399 case_no=50 label=Case6.38 nb_sol=0 ticks=32716 tps=100 nb_sec=327 case_no=50 label=Case6.38 nb_sol=0 ticks=21691 tps=100 nb_sec=216 case_no=50 label=Case6.38 nb_sol=0 ticks=39945 tps=100 nb_sec=399 case_no=50 label=Case6.38 nb_sol=0 ticks=24666 tps=100 nb_sec=246 case_no=50 label=Case6.38 nb_sol=0 ticks=35832 tps=100 nb_sec=358 case_no=50 label=Case6.38 nb_sol=0 ticks=35342 tps=100 nb_sec=353 case_no=50 label=Case6.38 nb_sol=0 ticks=26603 tps=100 nb_sec=266 case_no=50 label=Case6.38 nb_sol=0 ticks=24591 tps=100 nb_sec=245 case_no=50 label=Case6.38 nb_sol=0 ticks=39476 tps=100 nb_sec=394 case_no=50 label=Case6.38 nb_sol=0 ticks=52333 tps=100 nb_sec=523 case_no=50 label=Case6.38 nb_sol=0 ticks=46317 tps=100 nb_sec=463 case_no=50 label=Case6.38 nb_sol=0 ticks=24406 tps=100 nb_sec=244 case_no=50 label=Case6.38 nb_sol=0 ticks=22773 tps=100 nb_sec=227 case_no=50 label=Case6.38 nb_sol=0 ticks=23911 tps=100 nb_sec=239 case_no=50 label=Case6.38 nb_sol=0 ticks=30207 tps=100 nb_sec=302 case_no=50 label=Case6.38 nb_sol=0 ticks=37865 tps=100 nb_sec=378 case_no=50 label=Case6.38 nb_sol=0 ticks=42876 tps=100 nb_sec=428 case_no=50 label=Case6.38 nb_sol=0 ticks=39019 tps=100 nb_sec=390 case_no=50 label=Case6.38 nb_sol=0 ticks=26690 tps=100 nb_sec=266 case_no=50 label=Case6.38 nb_sol=0 ticks=26540 tps=100 nb_sec=265 case_no=50 label=Case6.38 nb_sol=0 ticks=43520 tps=100 nb_sec=435 case_no=50 label=Case6.38 nb_sol=0 ticks=35609 tps=100 nb_sec=356 case_no=50 label=Case6.38 nb_sol=0 ticks=40664 tps=100 nb_sec=406 case_no=50 label=Case6.38 nb_sol=0 ticks=25207 tps=100 nb_sec=252 case_no=50 label=Case6.38 nb_sol=0 ticks=40542 tps=100 nb_sec=405 case_no=50 label=Case6.38 nb_sol=0 ticks=44059 tps=100 nb_sec=440 case_no=50 label=Case6.38 nb_sol=0 ticks=44211 tps=100 nb_sec=442 case_no=50 label=Case6.38 nb_sol=0 ticks=37660 tps=100 nb_sec=376 case_no=50 label=Case6.38 nb_sol=0 ticks=32416 tps=100 nb_sec=324 case_no=50 label=Case6.38 nb_sol=0 ticks=29362 tps=100 nb_sec=293 case_no=50 label=Case6.38 nb_sol=0 ticks=41014 tps=100 nb_sec=410 case_no=50 label=Case6.38 nb_sol=0 ticks=36643 tps=100 nb_sec=366 case_no=50 label=Case6.38 nb_sol=0 ticks=30097 tps=100 nb_sec=300 case_no=50 label=Case6.38 nb_sol=0 ticks=34818 tps=100 nb_sec=348 case_no=50 label=Case6.38 nb_sol=0 ticks=46379 tps=100 nb_sec=463 case_no=50 label=Case6.38 nb_sol=0 ticks=22236 tps=100 nb_sec=222 case_no=50 label=Case6.38 nb_sol=0 ticks=32113 tps=100 nb_sec=321 case_no=50 label=Case6.38 nb_sol=0 ticks=40220 tps=100 nb_sec=402 case_no=50 label=Case6.38 nb_sol=0 ticks=32698 tps=100 nb_sec=326 case_no=50 label=Case6.38 nb_sol=0 ticks=18817 tps=100 nb_sec=188 case_no=50 label=Case6.38 nb_sol=0 ticks=32896 tps=100 nb_sec=328 case_no=50 label=Case6.38 nb_sol=0 ticks=23035 tps=100 nb_sec=230 case_no=50 label=Case6.38 nb_sol=0 ticks=19140 tps=100 nb_sec=191 case_no=50 label=Case6.38 nb_sol=0 ticks=32536 tps=100 nb_sec=325 case_no=50 label=Case6.38 nb_sol=0 ticks=25092 tps=100 nb_sec=250 case_no=50 label=Case6.38 nb_sol=0 ticks=19839 tps=100 nb_sec=198 case_no=50 label=Case6.38 nb_sol=0 ticks=17528 tps=100 nb_sec=175 case_no=50 label=Case6.38 nb_sol=0 ticks=42312 tps=100 nb_sec=423 case_no=50 label=Case6.38 nb_sol=0 ticks=38321 tps=100 nb_sec=383 case_no=50 label=Case6.38 nb_sol=0 ticks=22067 tps=100 nb_sec=220 case_no=50 label=Case6.38 nb_sol=0 ticks=31247 tps=100 nb_sec=312 case_no=50 label=Case6.38 nb_sol=0 ticks=31292 tps=100 nb_sec=312 case_no=50 label=Case6.38 nb_sol=0 ticks=36289 tps=100 nb_sec=362 case_no=50 label=Case6.38 nb_sol=0 ticks=44907 tps=100 nb_sec=449 case_no=50 label=Case6.38 nb_sol=0 ticks=28111 tps=100 nb_sec=281 case_no=50 label=Case6.38 nb_sol=0 ticks=54166 tps=100 nb_sec=541 case_no=50 label=Case6.38 nb_sol=0 ticks=49007 tps=100 nb_sec=490 case_no=50 label=Case6.38 nb_sol=0 ticks=24178 tps=100 nb_sec=241 case_no=50 label=Case6.38 nb_sol=0 ticks=20572 tps=100 nb_sec=205 case_no=50 label=Case6.38 nb_sol=0 ticks=38360 tps=100 nb_sec=383 case_no=50 label=Case6.38 nb_sol=0 ticks=28004 tps=100 nb_sec=280 case_no=50 label=Case6.38 nb_sol=0 ticks=42091 tps=100 nb_sec=420 case_no=50 label=Case6.38 nb_sol=0 ticks=36605 tps=100 nb_sec=366 case_no=50 label=Case6.38 nb_sol=0 ticks=31744 tps=100 nb_sec=317 case_no=50 label=Case6.38 nb_sol=0 ticks=22520 tps=100 nb_sec=225 case_no=50 label=Case6.38 nb_sol=0 ticks=33376 tps=100 nb_sec=333 case_no=50 label=Case6.38 nb_sol=0 ticks=45154 tps=100 nb_sec=451 case_no=50 label=Case6.38 nb_sol=0 ticks=27719 tps=100 nb_sec=277 case_no=50 label=Case6.38 nb_sol=0 ticks=48844 tps=100 nb_sec=488 case_no=50 label=Case6.38 nb_sol=0 ticks=35842 tps=100 nb_sec=358 case_no=50 label=Case6.38 nb_sol=0 ticks=44015 tps=100 nb_sec=440 case_no=50 label=Case6.38 nb_sol=0 ticks=30046 tps=100 nb_sec=300 case_no=50 label=Case6.38 nb_sol=0 ticks=45489 tps=100 nb_sec=454 case_no=50 label=Case6.38 nb_sol=0 ticks=29869 tps=100 nb_sec=298 case_no=50 label=Case6.38 nb_sol=0 ticks=31671 tps=100 nb_sec=316 case_no=50 label=Case6.38 nb_sol=0 ticks=26486 tps=100 nb_sec=264 case_no=50 label=Case6.38 nb_sol=0 ticks=24423 tps=100 nb_sec=244 case_no=50 label=Case6.38 nb_sol=0 ticks=24351 tps=100 nb_sec=243 case_no=50 label=Case6.38 nb_sol=0 ticks=27035 tps=100 nb_sec=270 case_no=50 label=Case6.38 nb_sol=0 ticks=25664 tps=100 nb_sec=256 case_no=50 label=Case6.38 nb_sol=0 ticks=37922 tps=100 nb_sec=379 case_no=50 label=Case6.38 nb_sol=0 ticks=33632 tps=100 nb_sec=336 case_no=50 label=Case6.38 nb_sol=0 ticks=38716 tps=100 nb_sec=387 case_no=50 label=Case6.38 nb_sol=0 ticks=25936 tps=100 nb_sec=259 case_no=50 label=Case6.38 nb_sol=0 ticks=36010 tps=100 nb_sec=360 case_no=50 label=Case6.38 nb_sol=0 ticks=23012 tps=100 nb_sec=230 case_no=50 label=Case6.38 nb_sol=0 ticks=37593 tps=100 nb_sec=375 case_no=50 label=Case6.38 nb_sol=0 ticks=26030 tps=100 nb_sec=260 case_no=50 label=Case6.38 nb_sol=0 ticks=40122 tps=100 nb_sec=401 case_no=50 label=Case6.38 nb_sol=0 ticks=22434 tps=100 nb_sec=224 case_no=50 label=Case6.38 nb_sol=0 ticks=22826 tps=100 nb_sec=228 case_no=50 label=Case6.38 nb_sol=0 ticks=31649 tps=100 nb_sec=316 case_no=50 label=Case6.38 nb_sol=0 ticks=32395 tps=100 nb_sec=323 case_no=50 label=Case6.38 nb_sol=0 ticks=28245 tps=100 nb_sec=282 case_no=50 label=Case6.38 nb_sol=0 ticks=40119 tps=100 nb_sec=401 case_no=50 label=Case6.38 nb_sol=0 ticks=27523 tps=100 nb_sec=275 case_no=50 label=Case6.38 nb_sol=0 ticks=28561 tps=100 nb_sec=285 case_no=50 label=Case6.38 nb_sol=0 ticks=30214 tps=100 nb_sec=302 case_no=50 label=Case6.38 nb_sol=0 ticks=37596 tps=100 nb_sec=375 case_no=50 label=Case6.38 nb_sol=0 ticks=32723 tps=100 nb_sec=327 case_no=50 label=Case6.38 nb_sol=0 ticks=32639 tps=100 nb_sec=326 case_no=50 label=Case6.38 nb_sol=0 ticks=29624 tps=100 nb_sec=296 case_no=50 label=Case6.38 nb_sol=0 ticks=28936 tps=100 nb_sec=289 case_no=50 label=Case6.38 nb_sol=0 ticks=25728 tps=100 nb_sec=257 case_no=50 label=Case6.38 nb_sol=0 ticks=23838 tps=100 nb_sec=238 case_no=50 label=Case6.38 nb_sol=0 ticks=29384 tps=100 nb_sec=293 case_no=50 label=Case6.38 nb_sol=0 ticks=23858 tps=100 nb_sec=238 case_no=50 label=Case6.38 nb_sol=0 ticks=34575 tps=100 nb_sec=345 case_no=50 label=Case6.38 nb_sol=0 ticks=34815 tps=100 nb_sec=348 case_no=50 label=Case6.38 nb_sol=0 ticks=42594 tps=100 nb_sec=425 case_no=50 label=Case6.38 nb_sol=0 ticks=35390 tps=100 nb_sec=353 case_no=50 label=Case6.38 nb_sol=0 ticks=25243 tps=100 nb_sec=252 case_no=50 label=Case6.38 nb_sol=0 ticks=37209 tps=100 nb_sec=372 case_no=50 label=Case6.38 nb_sol=0 ticks=21156 tps=100 nb_sec=211 case_no=50 label=Case6.38 nb_sol=0 ticks=21812 tps=100 nb_sec=218 case_no=50 label=Case6.38 nb_sol=0 ticks=36425 tps=100 nb_sec=364 case_no=50 label=Case6.38 nb_sol=0 ticks=26689 tps=100 nb_sec=266 case_no=50 label=Case6.38 nb_sol=0 ticks=29850 tps=100 nb_sec=298 case_no=50 label=Case6.38 nb_sol=0 ticks=25667 tps=100 nb_sec=256 case_no=50 label=Case6.38 nb_sol=0 ticks=23815 tps=100 nb_sec=238 case_no=50 label=Case6.38 nb_sol=0 ticks=26833 tps=100 nb_sec=268 case_no=50 label=Case6.38 nb_sol=0 ticks=23782 tps=100 nb_sec=237 case_no=50 label=Case6.38 nb_sol=0 ticks=45585 tps=100 nb_sec=455 case_no=50 label=Case6.38 nb_sol=0 ticks=23658 tps=100 nb_sec=236 case_no=50 label=Case6.38 nb_sol=0 ticks=27673 tps=100 nb_sec=276 case_no=50 label=Case6.38 nb_sol=0 ticks=21623 tps=100 nb_sec=216 case_no=50 label=Case6.38 nb_sol=0 ticks=23130 tps=100 nb_sec=231 case_no=50 label=Case6.38 nb_sol=0 ticks=50361 tps=100 nb_sec=503 case_no=50 label=Case6.38 nb_sol=0 ticks=23878 tps=100 nb_sec=238 case_no=50 label=Case6.38 nb_sol=0 ticks=33111 tps=100 nb_sec=331 case_no=50 label=Case6.38 nb_sol=0 ticks=25840 tps=100 nb_sec=258 case_no=50 label=Case6.38 nb_sol=0 ticks=20912 tps=100 nb_sec=209 case_no=50 label=Case6.38 nb_sol=0 ticks=21974 tps=100 nb_sec=219 case_no=50 label=Case6.38 nb_sol=0 ticks=35751 tps=100 nb_sec=357 case_no=50 label=Case6.38 nb_sol=0 ticks=34945 tps=100 nb_sec=349 case_no=50 label=Case6.38 nb_sol=0 ticks=37510 tps=100 nb_sec=375 case_no=50 label=Case6.38 nb_sol=0 ticks=32221 tps=100 nb_sec=322 case_no=50 label=Case6.38 nb_sol=0 ticks=36630 tps=100 nb_sec=366 case_no=50 label=Case6.38 nb_sol=0 ticks=34677 tps=100 nb_sec=346 case_no=50 label=Case6.38 nb_sol=0 ticks=33139 tps=100 nb_sec=331 case_no=50 label=Case6.38 nb_sol=0 ticks=38023 tps=100 nb_sec=380 case_no=50 label=Case6.38 nb_sol=0 ticks=39328 tps=100 nb_sec=393 case_no=50 label=Case6.38 nb_sol=0 ticks=39078 tps=100 nb_sec=390 case_no=50 label=Case6.38 nb_sol=0 ticks=54033 tps=100 nb_sec=540 case_no=50 label=Case6.38 nb_sol=0 ticks=35445 tps=100 nb_sec=354 case_no=50 label=Case6.38 nb_sol=0 ticks=38927 tps=100 nb_sec=389 case_no=50 label=Case6.38 nb_sol=0 ticks=32461 tps=100 nb_sec=324 case_no=50 label=Case6.38 nb_sol=0 ticks=29793 tps=100 nb_sec=297 case_no=50 label=Case6.38 nb_sol=0 ticks=33878 tps=100 nb_sec=338 case_no=50 label=Case6.38 nb_sol=0 ticks=47090 tps=100 nb_sec=470 case_no=50 label=Case6.38 nb_sol=0 ticks=23378 tps=100 nb_sec=233 case_no=50 label=Case6.38 nb_sol=0 ticks=37835 tps=100 nb_sec=378 case_no=50 label=Case6.38 nb_sol=0 ticks=37242 tps=100 nb_sec=372 case_no=50 label=Case6.38 nb_sol=0 ticks=23891 tps=100 nb_sec=238 case_no=50 label=Case6.38 nb_sol=0 ticks=35591 tps=100 nb_sec=355 case_no=50 label=Case6.38 nb_sol=0 ticks=18435 tps=100 nb_sec=184 case_no=50 label=Case6.38 nb_sol=0 ticks=30535 tps=100 nb_sec=305 case_no=50 label=Case6.38 nb_sol=0 ticks=23286 tps=100 nb_sec=232 case_no=50 label=Case6.38 nb_sol=0 ticks=37698 tps=100 nb_sec=376 case_no=50 label=Case6.38 nb_sol=0 ticks=39093 tps=100 nb_sec=390 case_no=50 label=Case6.38 nb_sol=0 ticks=19017 tps=100 nb_sec=190 case_no=50 label=Case6.38 nb_sol=0 ticks=38796 tps=100 nb_sec=387 case_no=50 label=Case6.38 nb_sol=0 ticks=23580 tps=100 nb_sec=235 case_no=50 label=Case6.38 nb_sol=0 ticks=44081 tps=100 nb_sec=440 case_no=50 label=Case6.38 nb_sol=0 ticks=51623 tps=100 nb_sec=516 case_no=50 label=Case6.38 nb_sol=0 ticks=25514 tps=100 nb_sec=255 case_no=50 label=Case6.38 nb_sol=0 ticks=28464 tps=100 nb_sec=284 case_no=50 label=Case6.38 nb_sol=0 ticks=45190 tps=100 nb_sec=451 case_no=50 label=Case6.38 nb_sol=0 ticks=52959 tps=100 nb_sec=529 case_no=50 label=Case6.38 nb_sol=0 ticks=25314 tps=100 nb_sec=253 case_no=50 label=Case6.38 nb_sol=0 ticks=65272 tps=100 nb_sec=652 case_no=50 label=Case6.38 nb_sol=0 ticks=53756 tps=100 nb_sec=537 case_no=50 label=Case6.38 nb_sol=0 ticks=55265 tps=100 nb_sec=552 case_no=50 label=Case6.38 nb_sol=0 ticks=24914 tps=100 nb_sec=249 case_no=50 label=Case6.38 nb_sol=0 ticks=35936 tps=100 nb_sec=359 case_no=50 label=Case6.38 nb_sol=0 ticks=26382 tps=100 nb_sec=263 case_no=50 label=Case6.38 nb_sol=0 ticks=41867 tps=100 nb_sec=418 case_no=50 label=Case6.38 nb_sol=0 ticks=50774 tps=100 nb_sec=507 case_no=50 label=Case6.38 nb_sol=0 ticks=34502 tps=100 nb_sec=345 case_no=50 label=Case6.38 nb_sol=0 ticks=22732 tps=100 nb_sec=227 case_no=50 label=Case6.38 nb_sol=0 ticks=23003 tps=100 nb_sec=230 case_no=50 label=Case6.38 nb_sol=0 ticks=36942 tps=100 nb_sec=369 case_no=50 label=Case6.38 nb_sol=0 ticks=43885 tps=100 nb_sec=438 case_no=50 label=Case6.38 nb_sol=0 ticks=48439 tps=100 nb_sec=484 case_no=50 label=Case6.38 nb_sol=0 ticks=33583 tps=100 nb_sec=335 case_no=50 label=Case6.38 nb_sol=0 ticks=56837 tps=100 nb_sec=568 case_no=50 label=Case6.38 nb_sol=0 ticks=31774 tps=100 nb_sec=317 case_no=50 label=Case6.38 nb_sol=0 ticks=30810 tps=100 nb_sec=308 case_no=50 label=Case6.38 nb_sol=0 ticks=43772 tps=100 nb_sec=437 case_no=50 label=Case6.38 nb_sol=0 ticks=25162 tps=100 nb_sec=251 case_no=50 label=Case6.38 nb_sol=0 ticks=51002 tps=100 nb_sec=510 case_no=50 label=Case6.38 nb_sol=0 ticks=26401 tps=100 nb_sec=264 case_no=50 label=Case6.38 nb_sol=0 ticks=25708 tps=100 nb_sec=257 case_no=50 label=Case6.38 nb_sol=0 ticks=33662 tps=100 nb_sec=336 case_no=50 label=Case6.38 nb_sol=0 ticks=24512 tps=100 nb_sec=245 case_no=50 label=Case6.38 nb_sol=0 ticks=23751 tps=100 nb_sec=237 case_no=50 label=Case6.38 nb_sol=0 ticks=27621 tps=100 nb_sec=276 case_no=50 label=Case6.38 nb_sol=0 ticks=31946 tps=100 nb_sec=319 case_no=50 label=Case6.38 nb_sol=0 ticks=30114 tps=100 nb_sec=301 case_no=50 label=Case6.38 nb_sol=0 ticks=33266 tps=100 nb_sec=332 case_no=50 label=Case6.38 nb_sol=0 ticks=22097 tps=100 nb_sec=220 case_no=50 label=Case6.38 nb_sol=0 ticks=24611 tps=100 nb_sec=246 case_no=50 label=Case6.38 nb_sol=0 ticks=21733 tps=100 nb_sec=217 Nb_sol=0 Nb_sec=175510 2-0:45:10 or 48 hours missing cases: none