argc=5 -M 512 file2=30_select_Case6.41_starter_16_ checking files mod 512 from 0 to 511 case_no=53 label=Case6.41 nb_sol=0 ticks=33309 tps=100 nb_sec=333 case_no=53 label=Case6.41 nb_sol=0 ticks=24424 tps=100 nb_sec=244 case_no=53 label=Case6.41 nb_sol=0 ticks=40907 tps=100 nb_sec=409 case_no=53 label=Case6.41 nb_sol=0 ticks=46903 tps=100 nb_sec=469 case_no=53 label=Case6.41 nb_sol=0 ticks=26717 tps=100 nb_sec=267 case_no=53 label=Case6.41 nb_sol=0 ticks=27253 tps=100 nb_sec=272 case_no=53 label=Case6.41 nb_sol=0 ticks=57457 tps=100 nb_sec=574 case_no=53 label=Case6.41 nb_sol=0 ticks=25908 tps=100 nb_sec=259 case_no=53 label=Case6.41 nb_sol=0 ticks=35436 tps=100 nb_sec=354 case_no=53 label=Case6.41 nb_sol=0 ticks=27930 tps=100 nb_sec=279 case_no=53 label=Case6.41 nb_sol=0 ticks=42967 tps=100 nb_sec=429 case_no=53 label=Case6.41 nb_sol=0 ticks=33994 tps=100 nb_sec=339 case_no=53 label=Case6.41 nb_sol=0 ticks=43600 tps=100 nb_sec=436 case_no=53 label=Case6.41 nb_sol=0 ticks=54006 tps=100 nb_sec=540 case_no=53 label=Case6.41 nb_sol=0 ticks=62127 tps=100 nb_sec=621 case_no=53 label=Case6.41 nb_sol=0 ticks=27045 tps=100 nb_sec=270 case_no=53 label=Case6.41 nb_sol=0 ticks=25356 tps=100 nb_sec=253 case_no=53 label=Case6.41 nb_sol=0 ticks=24855 tps=100 nb_sec=248 case_no=53 label=Case6.41 nb_sol=0 ticks=20184 tps=100 nb_sec=201 case_no=53 label=Case6.41 nb_sol=0 ticks=21945 tps=100 nb_sec=219 case_no=53 label=Case6.41 nb_sol=0 ticks=25706 tps=100 nb_sec=257 case_no=53 label=Case6.41 nb_sol=0 ticks=29427 tps=100 nb_sec=294 case_no=53 label=Case6.41 nb_sol=0 ticks=53476 tps=100 nb_sec=534 case_no=53 label=Case6.41 nb_sol=0 ticks=50762 tps=100 nb_sec=507 case_no=53 label=Case6.41 nb_sol=0 ticks=34247 tps=100 nb_sec=342 case_no=53 label=Case6.41 nb_sol=0 ticks=19953 tps=100 nb_sec=199 case_no=53 label=Case6.41 nb_sol=0 ticks=18588 tps=100 nb_sec=185 case_no=53 label=Case6.41 nb_sol=0 ticks=30212 tps=100 nb_sec=302 case_no=53 label=Case6.41 nb_sol=0 ticks=47136 tps=100 nb_sec=471 case_no=53 label=Case6.41 nb_sol=0 ticks=18324 tps=100 nb_sec=183 case_no=53 label=Case6.41 nb_sol=0 ticks=26160 tps=100 nb_sec=261 case_no=53 label=Case6.41 nb_sol=0 ticks=24225 tps=100 nb_sec=242 case_no=53 label=Case6.41 nb_sol=0 ticks=21566 tps=100 nb_sec=215 case_no=53 label=Case6.41 nb_sol=0 ticks=21293 tps=100 nb_sec=212 case_no=53 label=Case6.41 nb_sol=0 ticks=56794 tps=100 nb_sec=567 case_no=53 label=Case6.41 nb_sol=0 ticks=49174 tps=100 nb_sec=491 case_no=53 label=Case6.41 nb_sol=0 ticks=32043 tps=100 nb_sec=320 case_no=53 label=Case6.41 nb_sol=0 ticks=54334 tps=100 nb_sec=543 case_no=53 label=Case6.41 nb_sol=0 ticks=44759 tps=100 nb_sec=447 case_no=53 label=Case6.41 nb_sol=0 ticks=24272 tps=100 nb_sec=242 case_no=53 label=Case6.41 nb_sol=0 ticks=53758 tps=100 nb_sec=537 case_no=53 label=Case6.41 nb_sol=0 ticks=33632 tps=100 nb_sec=336 case_no=53 label=Case6.41 nb_sol=0 ticks=21295 tps=100 nb_sec=212 case_no=53 label=Case6.41 nb_sol=0 ticks=32642 tps=100 nb_sec=326 case_no=53 label=Case6.41 nb_sol=0 ticks=16669 tps=100 nb_sec=166 case_no=53 label=Case6.41 nb_sol=0 ticks=25701 tps=100 nb_sec=257 case_no=53 label=Case6.41 nb_sol=0 ticks=64413 tps=100 nb_sec=644 case_no=53 label=Case6.41 nb_sol=0 ticks=23861 tps=100 nb_sec=238 case_no=53 label=Case6.41 nb_sol=0 ticks=53029 tps=100 nb_sec=530 case_no=53 label=Case6.41 nb_sol=0 ticks=26692 tps=100 nb_sec=266 case_no=53 label=Case6.41 nb_sol=0 ticks=42046 tps=100 nb_sec=420 case_no=53 label=Case6.41 nb_sol=0 ticks=23203 tps=100 nb_sec=232 case_no=53 label=Case6.41 nb_sol=0 ticks=62113 tps=100 nb_sec=621 case_no=53 label=Case6.41 nb_sol=0 ticks=22738 tps=100 nb_sec=227 case_no=53 label=Case6.41 nb_sol=0 ticks=57474 tps=100 nb_sec=574 case_no=53 label=Case6.41 nb_sol=0 ticks=23098 tps=100 nb_sec=230 case_no=53 label=Case6.41 nb_sol=0 ticks=34178 tps=100 nb_sec=341 case_no=53 label=Case6.41 nb_sol=0 ticks=57246 tps=100 nb_sec=572 case_no=53 label=Case6.41 nb_sol=0 ticks=23181 tps=100 nb_sec=231 case_no=53 label=Case6.41 nb_sol=0 ticks=71952 tps=100 nb_sec=719 case_no=53 label=Case6.41 nb_sol=0 ticks=44632 tps=100 nb_sec=446 case_no=53 label=Case6.41 nb_sol=0 ticks=55756 tps=100 nb_sec=557 case_no=53 label=Case6.41 nb_sol=0 ticks=53280 tps=100 nb_sec=532 case_no=53 label=Case6.41 nb_sol=0 ticks=34738 tps=100 nb_sec=347 case_no=53 label=Case6.41 nb_sol=0 ticks=24489 tps=100 nb_sec=244 case_no=53 label=Case6.41 nb_sol=0 ticks=24093 tps=100 nb_sec=240 case_no=53 label=Case6.41 nb_sol=0 ticks=56623 tps=100 nb_sec=566 case_no=53 label=Case6.41 nb_sol=0 ticks=44821 tps=100 nb_sec=448 case_no=53 label=Case6.41 nb_sol=0 ticks=56646 tps=100 nb_sec=566 case_no=53 label=Case6.41 nb_sol=0 ticks=51852 tps=100 nb_sec=518 case_no=53 label=Case6.41 nb_sol=0 ticks=28486 tps=100 nb_sec=284 case_no=53 label=Case6.41 nb_sol=0 ticks=24840 tps=100 nb_sec=248 case_no=53 label=Case6.41 nb_sol=0 ticks=29064 tps=100 nb_sec=290 case_no=53 label=Case6.41 nb_sol=0 ticks=49147 tps=100 nb_sec=491 case_no=53 label=Case6.41 nb_sol=0 ticks=34042 tps=100 nb_sec=340 case_no=53 label=Case6.41 nb_sol=0 ticks=56389 tps=100 nb_sec=563 case_no=53 label=Case6.41 nb_sol=0 ticks=31795 tps=100 nb_sec=317 case_no=53 label=Case6.41 nb_sol=0 ticks=34363 tps=100 nb_sec=343 case_no=53 label=Case6.41 nb_sol=0 ticks=40235 tps=100 nb_sec=402 case_no=53 label=Case6.41 nb_sol=0 ticks=44685 tps=100 nb_sec=446 case_no=53 label=Case6.41 nb_sol=0 ticks=60512 tps=100 nb_sec=605 case_no=53 label=Case6.41 nb_sol=0 ticks=28709 tps=100 nb_sec=287 case_no=53 label=Case6.41 nb_sol=0 ticks=38254 tps=100 nb_sec=382 case_no=53 label=Case6.41 nb_sol=0 ticks=36310 tps=100 nb_sec=363 case_no=53 label=Case6.41 nb_sol=0 ticks=43542 tps=100 nb_sec=435 case_no=53 label=Case6.41 nb_sol=0 ticks=62222 tps=100 nb_sec=622 case_no=53 label=Case6.41 nb_sol=0 ticks=64047 tps=100 nb_sec=640 case_no=53 label=Case6.41 nb_sol=0 ticks=64833 tps=100 nb_sec=648 case_no=53 label=Case6.41 nb_sol=0 ticks=35866 tps=100 nb_sec=358 case_no=53 label=Case6.41 nb_sol=0 ticks=48562 tps=100 nb_sec=485 case_no=53 label=Case6.41 nb_sol=0 ticks=35545 tps=100 nb_sec=355 case_no=53 label=Case6.41 nb_sol=0 ticks=59173 tps=100 nb_sec=591 case_no=53 label=Case6.41 nb_sol=0 ticks=37971 tps=100 nb_sec=379 case_no=53 label=Case6.41 nb_sol=0 ticks=30675 tps=100 nb_sec=306 case_no=53 label=Case6.41 nb_sol=0 ticks=33489 tps=100 nb_sec=334 case_no=53 label=Case6.41 nb_sol=0 ticks=32011 tps=100 nb_sec=320 case_no=53 label=Case6.41 nb_sol=0 ticks=32808 tps=100 nb_sec=328 case_no=53 label=Case6.41 nb_sol=0 ticks=54862 tps=100 nb_sec=548 case_no=53 label=Case6.41 nb_sol=0 ticks=40484 tps=100 nb_sec=404 case_no=53 label=Case6.41 nb_sol=0 ticks=50893 tps=100 nb_sec=508 case_no=53 label=Case6.41 nb_sol=0 ticks=31745 tps=100 nb_sec=317 case_no=53 label=Case6.41 nb_sol=0 ticks=26389 tps=100 nb_sec=263 case_no=53 label=Case6.41 nb_sol=0 ticks=37469 tps=100 nb_sec=374 case_no=53 label=Case6.41 nb_sol=0 ticks=52259 tps=100 nb_sec=522 case_no=53 label=Case6.41 nb_sol=0 ticks=23507 tps=100 nb_sec=235 case_no=53 label=Case6.41 nb_sol=0 ticks=51405 tps=100 nb_sec=514 case_no=53 label=Case6.41 nb_sol=0 ticks=26288 tps=100 nb_sec=262 case_no=53 label=Case6.41 nb_sol=0 ticks=46343 tps=100 nb_sec=463 case_no=53 label=Case6.41 nb_sol=0 ticks=31489 tps=100 nb_sec=314 case_no=53 label=Case6.41 nb_sol=0 ticks=28692 tps=100 nb_sec=286 case_no=53 label=Case6.41 nb_sol=0 ticks=33031 tps=100 nb_sec=330 case_no=53 label=Case6.41 nb_sol=0 ticks=56632 tps=100 nb_sec=566 case_no=53 label=Case6.41 nb_sol=0 ticks=20183 tps=100 nb_sec=201 case_no=53 label=Case6.41 nb_sol=0 ticks=17634 tps=100 nb_sec=176 case_no=53 label=Case6.41 nb_sol=0 ticks=19773 tps=100 nb_sec=197 case_no=53 label=Case6.41 nb_sol=0 ticks=22991 tps=100 nb_sec=229 case_no=53 label=Case6.41 nb_sol=0 ticks=24190 tps=100 nb_sec=241 case_no=53 label=Case6.41 nb_sol=0 ticks=52661 tps=100 nb_sec=526 case_no=53 label=Case6.41 nb_sol=0 ticks=54449 tps=100 nb_sec=544 case_no=53 label=Case6.41 nb_sol=0 ticks=23993 tps=100 nb_sec=239 case_no=53 label=Case6.41 nb_sol=0 ticks=26213 tps=100 nb_sec=262 case_no=53 label=Case6.41 nb_sol=0 ticks=57924 tps=100 nb_sec=579 case_no=53 label=Case6.41 nb_sol=0 ticks=26964 tps=100 nb_sec=269 case_no=53 label=Case6.41 nb_sol=0 ticks=53574 tps=100 nb_sec=535 case_no=53 label=Case6.41 nb_sol=0 ticks=24814 tps=100 nb_sec=248 case_no=53 label=Case6.41 nb_sol=0 ticks=56291 tps=100 nb_sec=562 case_no=53 label=Case6.41 nb_sol=0 ticks=41835 tps=100 nb_sec=418 case_no=53 label=Case6.41 nb_sol=0 ticks=24573 tps=100 nb_sec=245 case_no=53 label=Case6.41 nb_sol=0 ticks=33705 tps=100 nb_sec=337 case_no=53 label=Case6.41 nb_sol=0 ticks=43373 tps=100 nb_sec=433 case_no=53 label=Case6.41 nb_sol=0 ticks=54417 tps=100 nb_sec=544 case_no=53 label=Case6.41 nb_sol=0 ticks=46729 tps=100 nb_sec=467 case_no=53 label=Case6.41 nb_sol=0 ticks=44244 tps=100 nb_sec=442 case_no=53 label=Case6.41 nb_sol=0 ticks=58358 tps=100 nb_sec=583 case_no=53 label=Case6.41 nb_sol=0 ticks=22573 tps=100 nb_sec=225 case_no=53 label=Case6.41 nb_sol=0 ticks=37466 tps=100 nb_sec=374 case_no=53 label=Case6.41 nb_sol=0 ticks=22752 tps=100 nb_sec=227 case_no=53 label=Case6.41 nb_sol=0 ticks=45993 tps=100 nb_sec=459 case_no=53 label=Case6.41 nb_sol=0 ticks=33196 tps=100 nb_sec=331 case_no=53 label=Case6.41 nb_sol=0 ticks=24102 tps=100 nb_sec=241 case_no=53 label=Case6.41 nb_sol=0 ticks=34133 tps=100 nb_sec=341 case_no=53 label=Case6.41 nb_sol=0 ticks=27047 tps=100 nb_sec=270 case_no=53 label=Case6.41 nb_sol=0 ticks=51945 tps=100 nb_sec=519 case_no=53 label=Case6.41 nb_sol=0 ticks=24957 tps=100 nb_sec=249 case_no=53 label=Case6.41 nb_sol=0 ticks=54563 tps=100 nb_sec=545 case_no=53 label=Case6.41 nb_sol=0 ticks=30222 tps=100 nb_sec=302 case_no=53 label=Case6.41 nb_sol=0 ticks=28502 tps=100 nb_sec=285 case_no=53 label=Case6.41 nb_sol=0 ticks=50359 tps=100 nb_sec=503 case_no=53 label=Case6.41 nb_sol=0 ticks=53838 tps=100 nb_sec=538 case_no=53 label=Case6.41 nb_sol=0 ticks=26578 tps=100 nb_sec=265 case_no=53 label=Case6.41 nb_sol=0 ticks=54316 tps=100 nb_sec=543 case_no=53 label=Case6.41 nb_sol=0 ticks=56461 tps=100 nb_sec=564 case_no=53 label=Case6.41 nb_sol=0 ticks=22450 tps=100 nb_sec=224 case_no=53 label=Case6.41 nb_sol=0 ticks=54270 tps=100 nb_sec=542 case_no=53 label=Case6.41 nb_sol=0 ticks=39854 tps=100 nb_sec=398 case_no=53 label=Case6.41 nb_sol=0 ticks=50338 tps=100 nb_sec=503 case_no=53 label=Case6.41 nb_sol=0 ticks=34048 tps=100 nb_sec=340 case_no=53 label=Case6.41 nb_sol=0 ticks=30497 tps=100 nb_sec=304 case_no=53 label=Case6.41 nb_sol=0 ticks=21372 tps=100 nb_sec=213 case_no=53 label=Case6.41 nb_sol=0 ticks=37447 tps=100 nb_sec=374 case_no=53 label=Case6.41 nb_sol=0 ticks=50243 tps=100 nb_sec=502 case_no=53 label=Case6.41 nb_sol=0 ticks=22888 tps=100 nb_sec=228 case_no=53 label=Case6.41 nb_sol=0 ticks=31906 tps=100 nb_sec=319 case_no=53 label=Case6.41 nb_sol=0 ticks=34207 tps=100 nb_sec=342 case_no=53 label=Case6.41 nb_sol=0 ticks=36712 tps=100 nb_sec=367 case_no=53 label=Case6.41 nb_sol=0 ticks=33495 tps=100 nb_sec=334 case_no=53 label=Case6.41 nb_sol=0 ticks=32602 tps=100 nb_sec=326 case_no=53 label=Case6.41 nb_sol=0 ticks=34888 tps=100 nb_sec=348 case_no=53 label=Case6.41 nb_sol=0 ticks=20806 tps=100 nb_sec=208 case_no=53 label=Case6.41 nb_sol=0 ticks=37130 tps=100 nb_sec=371 case_no=53 label=Case6.41 nb_sol=0 ticks=25825 tps=100 nb_sec=258 case_no=53 label=Case6.41 nb_sol=0 ticks=23947 tps=100 nb_sec=239 case_no=53 label=Case6.41 nb_sol=0 ticks=20352 tps=100 nb_sec=203 case_no=53 label=Case6.41 nb_sol=0 ticks=21907 tps=100 nb_sec=219 case_no=53 label=Case6.41 nb_sol=0 ticks=24314 tps=100 nb_sec=243 case_no=53 label=Case6.41 nb_sol=0 ticks=60859 tps=100 nb_sec=608 case_no=53 label=Case6.41 nb_sol=0 ticks=22418 tps=100 nb_sec=224 case_no=53 label=Case6.41 nb_sol=0 ticks=30767 tps=100 nb_sec=307 case_no=53 label=Case6.41 nb_sol=0 ticks=29646 tps=100 nb_sec=296 case_no=53 label=Case6.41 nb_sol=0 ticks=30347 tps=100 nb_sec=303 case_no=53 label=Case6.41 nb_sol=0 ticks=31636 tps=100 nb_sec=316 case_no=53 label=Case6.41 nb_sol=0 ticks=43065 tps=100 nb_sec=430 case_no=53 label=Case6.41 nb_sol=0 ticks=26178 tps=100 nb_sec=261 case_no=53 label=Case6.41 nb_sol=0 ticks=22353 tps=100 nb_sec=223 case_no=53 label=Case6.41 nb_sol=0 ticks=28111 tps=100 nb_sec=281 case_no=53 label=Case6.41 nb_sol=0 ticks=21887 tps=100 nb_sec=218 case_no=53 label=Case6.41 nb_sol=0 ticks=36362 tps=100 nb_sec=363 case_no=53 label=Case6.41 nb_sol=0 ticks=24529 tps=100 nb_sec=245 case_no=53 label=Case6.41 nb_sol=0 ticks=50753 tps=100 nb_sec=507 case_no=53 label=Case6.41 nb_sol=0 ticks=22517 tps=100 nb_sec=225 case_no=53 label=Case6.41 nb_sol=0 ticks=38450 tps=100 nb_sec=384 case_no=53 label=Case6.41 nb_sol=0 ticks=27011 tps=100 nb_sec=270 case_no=53 label=Case6.41 nb_sol=0 ticks=57808 tps=100 nb_sec=578 case_no=53 label=Case6.41 nb_sol=0 ticks=39435 tps=100 nb_sec=394 case_no=53 label=Case6.41 nb_sol=0 ticks=21780 tps=100 nb_sec=217 case_no=53 label=Case6.41 nb_sol=0 ticks=45639 tps=100 nb_sec=456 case_no=53 label=Case6.41 nb_sol=0 ticks=27582 tps=100 nb_sec=275 case_no=53 label=Case6.41 nb_sol=0 ticks=34010 tps=100 nb_sec=340 case_no=53 label=Case6.41 nb_sol=0 ticks=29492 tps=100 nb_sec=294 case_no=53 label=Case6.41 nb_sol=0 ticks=34662 tps=100 nb_sec=346 case_no=53 label=Case6.41 nb_sol=0 ticks=20153 tps=100 nb_sec=201 case_no=53 label=Case6.41 nb_sol=0 ticks=36529 tps=100 nb_sec=365 case_no=53 label=Case6.41 nb_sol=0 ticks=26178 tps=100 nb_sec=261 case_no=53 label=Case6.41 nb_sol=0 ticks=38347 tps=100 nb_sec=383 case_no=53 label=Case6.41 nb_sol=0 ticks=23642 tps=100 nb_sec=236 case_no=53 label=Case6.41 nb_sol=0 ticks=40792 tps=100 nb_sec=407 case_no=53 label=Case6.41 nb_sol=0 ticks=33089 tps=100 nb_sec=330 case_no=53 label=Case6.41 nb_sol=0 ticks=38536 tps=100 nb_sec=385 case_no=53 label=Case6.41 nb_sol=0 ticks=31367 tps=100 nb_sec=313 case_no=53 label=Case6.41 nb_sol=0 ticks=36534 tps=100 nb_sec=365 case_no=53 label=Case6.41 nb_sol=0 ticks=27378 tps=100 nb_sec=273 case_no=53 label=Case6.41 nb_sol=0 ticks=21486 tps=100 nb_sec=214 case_no=53 label=Case6.41 nb_sol=0 ticks=51678 tps=100 nb_sec=516 case_no=53 label=Case6.41 nb_sol=0 ticks=25335 tps=100 nb_sec=253 case_no=53 label=Case6.41 nb_sol=0 ticks=23524 tps=100 nb_sec=235 case_no=53 label=Case6.41 nb_sol=0 ticks=54566 tps=100 nb_sec=545 case_no=53 label=Case6.41 nb_sol=0 ticks=21926 tps=100 nb_sec=219 case_no=53 label=Case6.41 nb_sol=0 ticks=44352 tps=100 nb_sec=443 case_no=53 label=Case6.41 nb_sol=0 ticks=24960 tps=100 nb_sec=249 case_no=53 label=Case6.41 nb_sol=0 ticks=47922 tps=100 nb_sec=479 case_no=53 label=Case6.41 nb_sol=0 ticks=26425 tps=100 nb_sec=264 case_no=53 label=Case6.41 nb_sol=0 ticks=49691 tps=100 nb_sec=496 case_no=53 label=Case6.41 nb_sol=0 ticks=22275 tps=100 nb_sec=222 case_no=53 label=Case6.41 nb_sol=0 ticks=53620 tps=100 nb_sec=536 case_no=53 label=Case6.41 nb_sol=0 ticks=28469 tps=100 nb_sec=284 case_no=53 label=Case6.41 nb_sol=0 ticks=55348 tps=100 nb_sec=553 case_no=53 label=Case6.41 nb_sol=0 ticks=21851 tps=100 nb_sec=218 case_no=53 label=Case6.41 nb_sol=0 ticks=27835 tps=100 nb_sec=278 case_no=53 label=Case6.41 nb_sol=0 ticks=22306 tps=100 nb_sec=223 case_no=53 label=Case6.41 nb_sol=0 ticks=22984 tps=100 nb_sec=229 case_no=53 label=Case6.41 nb_sol=0 ticks=48925 tps=100 nb_sec=489 case_no=53 label=Case6.41 nb_sol=0 ticks=20026 tps=100 nb_sec=200 case_no=53 label=Case6.41 nb_sol=0 ticks=57903 tps=100 nb_sec=579 case_no=53 label=Case6.41 nb_sol=0 ticks=21300 tps=100 nb_sec=213 case_no=53 label=Case6.41 nb_sol=0 ticks=62207 tps=100 nb_sec=622 case_no=53 label=Case6.41 nb_sol=0 ticks=21201 tps=100 nb_sec=212 case_no=53 label=Case6.41 nb_sol=0 ticks=22431 tps=100 nb_sec=224 case_no=53 label=Case6.41 nb_sol=0 ticks=52977 tps=100 nb_sec=529 case_no=53 label=Case6.41 nb_sol=0 ticks=19329 tps=100 nb_sec=193 case_no=53 label=Case6.41 nb_sol=0 ticks=50283 tps=100 nb_sec=502 case_no=53 label=Case6.41 nb_sol=0 ticks=26379 tps=100 nb_sec=263 case_no=53 label=Case6.41 nb_sol=0 ticks=24876 tps=100 nb_sec=248 case_no=53 label=Case6.41 nb_sol=0 ticks=55271 tps=100 nb_sec=552 case_no=53 label=Case6.41 nb_sol=0 ticks=45174 tps=100 nb_sec=451 case_no=53 label=Case6.41 nb_sol=0 ticks=35372 tps=100 nb_sec=353 case_no=53 label=Case6.41 nb_sol=0 ticks=22733 tps=100 nb_sec=227 case_no=53 label=Case6.41 nb_sol=0 ticks=21378 tps=100 nb_sec=213 case_no=53 label=Case6.41 nb_sol=0 ticks=52423 tps=100 nb_sec=524 case_no=53 label=Case6.41 nb_sol=0 ticks=21777 tps=100 nb_sec=217 case_no=53 label=Case6.41 nb_sol=0 ticks=45049 tps=100 nb_sec=450 case_no=53 label=Case6.41 nb_sol=0 ticks=22676 tps=100 nb_sec=226 case_no=53 label=Case6.41 nb_sol=0 ticks=30901 tps=100 nb_sec=309 case_no=53 label=Case6.41 nb_sol=0 ticks=26454 tps=100 nb_sec=264 case_no=53 label=Case6.41 nb_sol=0 ticks=20639 tps=100 nb_sec=206 case_no=53 label=Case6.41 nb_sol=0 ticks=24797 tps=100 nb_sec=247 case_no=53 label=Case6.41 nb_sol=0 ticks=22857 tps=100 nb_sec=228 case_no=53 label=Case6.41 nb_sol=0 ticks=23151 tps=100 nb_sec=231 case_no=53 label=Case6.41 nb_sol=0 ticks=51134 tps=100 nb_sec=511 case_no=53 label=Case6.41 nb_sol=0 ticks=33114 tps=100 nb_sec=331 case_no=53 label=Case6.41 nb_sol=0 ticks=32129 tps=100 nb_sec=321 case_no=53 label=Case6.41 nb_sol=0 ticks=44600 tps=100 nb_sec=446 case_no=53 label=Case6.41 nb_sol=0 ticks=25182 tps=100 nb_sec=251 case_no=53 label=Case6.41 nb_sol=0 ticks=34088 tps=100 nb_sec=340 case_no=53 label=Case6.41 nb_sol=0 ticks=20733 tps=100 nb_sec=207 case_no=53 label=Case6.41 nb_sol=0 ticks=47660 tps=100 nb_sec=476 case_no=53 label=Case6.41 nb_sol=0 ticks=32094 tps=100 nb_sec=320 case_no=53 label=Case6.41 nb_sol=0 ticks=19921 tps=100 nb_sec=199 case_no=53 label=Case6.41 nb_sol=0 ticks=21893 tps=100 nb_sec=218 case_no=53 label=Case6.41 nb_sol=0 ticks=21209 tps=100 nb_sec=212 case_no=53 label=Case6.41 nb_sol=0 ticks=21876 tps=100 nb_sec=218 case_no=53 label=Case6.41 nb_sol=0 ticks=21686 tps=100 nb_sec=216 case_no=53 label=Case6.41 nb_sol=0 ticks=31300 tps=100 nb_sec=313 case_no=53 label=Case6.41 nb_sol=0 ticks=24227 tps=100 nb_sec=242 case_no=53 label=Case6.41 nb_sol=0 ticks=31470 tps=100 nb_sec=314 case_no=53 label=Case6.41 nb_sol=0 ticks=26117 tps=100 nb_sec=261 case_no=53 label=Case6.41 nb_sol=0 ticks=33667 tps=100 nb_sec=336 case_no=53 label=Case6.41 nb_sol=0 ticks=21806 tps=100 nb_sec=218 case_no=53 label=Case6.41 nb_sol=0 ticks=21040 tps=100 nb_sec=210 case_no=53 label=Case6.41 nb_sol=0 ticks=21552 tps=100 nb_sec=215 case_no=53 label=Case6.41 nb_sol=0 ticks=31098 tps=100 nb_sec=310 case_no=53 label=Case6.41 nb_sol=0 ticks=24667 tps=100 nb_sec=246 case_no=53 label=Case6.41 nb_sol=0 ticks=26904 tps=100 nb_sec=269 case_no=53 label=Case6.41 nb_sol=0 ticks=52938 tps=100 nb_sec=529 case_no=53 label=Case6.41 nb_sol=0 ticks=21699 tps=100 nb_sec=216 case_no=53 label=Case6.41 nb_sol=0 ticks=38440 tps=100 nb_sec=384 case_no=53 label=Case6.41 nb_sol=0 ticks=28551 tps=100 nb_sec=285 case_no=53 label=Case6.41 nb_sol=0 ticks=61566 tps=100 nb_sec=615 case_no=53 label=Case6.41 nb_sol=0 ticks=24043 tps=100 nb_sec=240 case_no=53 label=Case6.41 nb_sol=0 ticks=40879 tps=100 nb_sec=408 case_no=53 label=Case6.41 nb_sol=0 ticks=55550 tps=100 nb_sec=555 case_no=53 label=Case6.41 nb_sol=0 ticks=28405 tps=100 nb_sec=284 case_no=53 label=Case6.41 nb_sol=0 ticks=34135 tps=100 nb_sec=341 case_no=53 label=Case6.41 nb_sol=0 ticks=30794 tps=100 nb_sec=307 case_no=53 label=Case6.41 nb_sol=0 ticks=50232 tps=100 nb_sec=502 case_no=53 label=Case6.41 nb_sol=0 ticks=24744 tps=100 nb_sec=247 case_no=53 label=Case6.41 nb_sol=0 ticks=31808 tps=100 nb_sec=318 case_no=53 label=Case6.41 nb_sol=0 ticks=40812 tps=100 nb_sec=408 case_no=53 label=Case6.41 nb_sol=0 ticks=60741 tps=100 nb_sec=607 case_no=53 label=Case6.41 nb_sol=0 ticks=20850 tps=100 nb_sec=208 case_no=53 label=Case6.41 nb_sol=0 ticks=37149 tps=100 nb_sec=371 case_no=53 label=Case6.41 nb_sol=0 ticks=41300 tps=100 nb_sec=413 case_no=53 label=Case6.41 nb_sol=0 ticks=47066 tps=100 nb_sec=470 case_no=53 label=Case6.41 nb_sol=0 ticks=19493 tps=100 nb_sec=194 case_no=53 label=Case6.41 nb_sol=0 ticks=36692 tps=100 nb_sec=366 case_no=53 label=Case6.41 nb_sol=0 ticks=35795 tps=100 nb_sec=357 case_no=53 label=Case6.41 nb_sol=0 ticks=45605 tps=100 nb_sec=456 case_no=53 label=Case6.41 nb_sol=0 ticks=34489 tps=100 nb_sec=344 case_no=53 label=Case6.41 nb_sol=0 ticks=37360 tps=100 nb_sec=373 case_no=53 label=Case6.41 nb_sol=0 ticks=38632 tps=100 nb_sec=386 case_no=53 label=Case6.41 nb_sol=0 ticks=50910 tps=100 nb_sec=509 case_no=53 label=Case6.41 nb_sol=0 ticks=57245 tps=100 nb_sec=572 case_no=53 label=Case6.41 nb_sol=0 ticks=23183 tps=100 nb_sec=231 case_no=53 label=Case6.41 nb_sol=0 ticks=35543 tps=100 nb_sec=355 case_no=53 label=Case6.41 nb_sol=0 ticks=52191 tps=100 nb_sec=521 case_no=53 label=Case6.41 nb_sol=0 ticks=50748 tps=100 nb_sec=507 case_no=53 label=Case6.41 nb_sol=0 ticks=35434 tps=100 nb_sec=354 case_no=53 label=Case6.41 nb_sol=0 ticks=24760 tps=100 nb_sec=247 case_no=53 label=Case6.41 nb_sol=0 ticks=55489 tps=100 nb_sec=554 case_no=53 label=Case6.41 nb_sol=0 ticks=32763 tps=100 nb_sec=327 case_no=53 label=Case6.41 nb_sol=0 ticks=36871 tps=100 nb_sec=368 case_no=53 label=Case6.41 nb_sol=0 ticks=39891 tps=100 nb_sec=398 case_no=53 label=Case6.41 nb_sol=0 ticks=24201 tps=100 nb_sec=242 case_no=53 label=Case6.41 nb_sol=0 ticks=24168 tps=100 nb_sec=241 case_no=53 label=Case6.41 nb_sol=0 ticks=49852 tps=100 nb_sec=498 case_no=53 label=Case6.41 nb_sol=0 ticks=32828 tps=100 nb_sec=328 case_no=53 label=Case6.41 nb_sol=0 ticks=33581 tps=100 nb_sec=335 case_no=53 label=Case6.41 nb_sol=0 ticks=35088 tps=100 nb_sec=350 case_no=53 label=Case6.41 nb_sol=0 ticks=39125 tps=100 nb_sec=391 case_no=53 label=Case6.41 nb_sol=0 ticks=24323 tps=100 nb_sec=243 case_no=53 label=Case6.41 nb_sol=0 ticks=46555 tps=100 nb_sec=465 case_no=53 label=Case6.41 nb_sol=0 ticks=27147 tps=100 nb_sec=271 case_no=53 label=Case6.41 nb_sol=0 ticks=22975 tps=100 nb_sec=229 case_no=53 label=Case6.41 nb_sol=0 ticks=34875 tps=100 nb_sec=348 case_no=53 label=Case6.41 nb_sol=0 ticks=38488 tps=100 nb_sec=384 case_no=53 label=Case6.41 nb_sol=0 ticks=49003 tps=100 nb_sec=490 case_no=53 label=Case6.41 nb_sol=0 ticks=31322 tps=100 nb_sec=313 case_no=53 label=Case6.41 nb_sol=0 ticks=51517 tps=100 nb_sec=515 case_no=53 label=Case6.41 nb_sol=0 ticks=23257 tps=100 nb_sec=232 case_no=53 label=Case6.41 nb_sol=0 ticks=46957 tps=100 nb_sec=469 case_no=53 label=Case6.41 nb_sol=0 ticks=30871 tps=100 nb_sec=308 case_no=53 label=Case6.41 nb_sol=0 ticks=53178 tps=100 nb_sec=531 case_no=53 label=Case6.41 nb_sol=0 ticks=36856 tps=100 nb_sec=368 case_no=53 label=Case6.41 nb_sol=0 ticks=29322 tps=100 nb_sec=293 case_no=53 label=Case6.41 nb_sol=0 ticks=52076 tps=100 nb_sec=520 case_no=53 label=Case6.41 nb_sol=0 ticks=50138 tps=100 nb_sec=501 case_no=53 label=Case6.41 nb_sol=0 ticks=25454 tps=100 nb_sec=254 case_no=53 label=Case6.41 nb_sol=0 ticks=46610 tps=100 nb_sec=466 case_no=53 label=Case6.41 nb_sol=0 ticks=25732 tps=100 nb_sec=257 case_no=53 label=Case6.41 nb_sol=0 ticks=48158 tps=100 nb_sec=481 case_no=53 label=Case6.41 nb_sol=0 ticks=34657 tps=100 nb_sec=346 case_no=53 label=Case6.41 nb_sol=0 ticks=50113 tps=100 nb_sec=501 case_no=53 label=Case6.41 nb_sol=0 ticks=23366 tps=100 nb_sec=233 case_no=53 label=Case6.41 nb_sol=0 ticks=37762 tps=100 nb_sec=377 case_no=53 label=Case6.41 nb_sol=0 ticks=25557 tps=100 nb_sec=255 case_no=53 label=Case6.41 nb_sol=0 ticks=46993 tps=100 nb_sec=469 case_no=53 label=Case6.41 nb_sol=0 ticks=49763 tps=100 nb_sec=497 case_no=53 label=Case6.41 nb_sol=0 ticks=50639 tps=100 nb_sec=506 case_no=53 label=Case6.41 nb_sol=0 ticks=28905 tps=100 nb_sec=289 case_no=53 label=Case6.41 nb_sol=0 ticks=24180 tps=100 nb_sec=241 case_no=53 label=Case6.41 nb_sol=0 ticks=36466 tps=100 nb_sec=364 case_no=53 label=Case6.41 nb_sol=0 ticks=33884 tps=100 nb_sec=338 case_no=53 label=Case6.41 nb_sol=0 ticks=49859 tps=100 nb_sec=498 case_no=53 label=Case6.41 nb_sol=0 ticks=31579 tps=100 nb_sec=315 case_no=53 label=Case6.41 nb_sol=0 ticks=25931 tps=100 nb_sec=259 case_no=53 label=Case6.41 nb_sol=0 ticks=26277 tps=100 nb_sec=262 case_no=53 label=Case6.41 nb_sol=0 ticks=25213 tps=100 nb_sec=252 case_no=53 label=Case6.41 nb_sol=0 ticks=25306 tps=100 nb_sec=253 case_no=53 label=Case6.41 nb_sol=0 ticks=31212 tps=100 nb_sec=312 case_no=53 label=Case6.41 nb_sol=0 ticks=32316 tps=100 nb_sec=323 case_no=53 label=Case6.41 nb_sol=0 ticks=24360 tps=100 nb_sec=243 case_no=53 label=Case6.41 nb_sol=0 ticks=25157 tps=100 nb_sec=251 case_no=53 label=Case6.41 nb_sol=0 ticks=25028 tps=100 nb_sec=250 case_no=53 label=Case6.41 nb_sol=0 ticks=26020 tps=100 nb_sec=260 case_no=53 label=Case6.41 nb_sol=0 ticks=24748 tps=100 nb_sec=247 case_no=53 label=Case6.41 nb_sol=0 ticks=26003 tps=100 nb_sec=260 case_no=53 label=Case6.41 nb_sol=0 ticks=31547 tps=100 nb_sec=315 case_no=53 label=Case6.41 nb_sol=0 ticks=23498 tps=100 nb_sec=234 case_no=53 label=Case6.41 nb_sol=0 ticks=22387 tps=100 nb_sec=223 case_no=53 label=Case6.41 nb_sol=0 ticks=26756 tps=100 nb_sec=267 case_no=53 label=Case6.41 nb_sol=0 ticks=19897 tps=100 nb_sec=198 case_no=53 label=Case6.41 nb_sol=0 ticks=25178 tps=100 nb_sec=251 case_no=53 label=Case6.41 nb_sol=0 ticks=51514 tps=100 nb_sec=515 case_no=53 label=Case6.41 nb_sol=0 ticks=43354 tps=100 nb_sec=433 case_no=53 label=Case6.41 nb_sol=0 ticks=22858 tps=100 nb_sec=228 case_no=53 label=Case6.41 nb_sol=0 ticks=47976 tps=100 nb_sec=479 case_no=53 label=Case6.41 nb_sol=0 ticks=42059 tps=100 nb_sec=420 case_no=53 label=Case6.41 nb_sol=0 ticks=46281 tps=100 nb_sec=462 case_no=53 label=Case6.41 nb_sol=0 ticks=59175 tps=100 nb_sec=591 case_no=53 label=Case6.41 nb_sol=0 ticks=53367 tps=100 nb_sec=533 case_no=53 label=Case6.41 nb_sol=0 ticks=28054 tps=100 nb_sec=280 case_no=53 label=Case6.41 nb_sol=0 ticks=42235 tps=100 nb_sec=422 case_no=53 label=Case6.41 nb_sol=0 ticks=37319 tps=100 nb_sec=373 case_no=53 label=Case6.41 nb_sol=0 ticks=24142 tps=100 nb_sec=241 case_no=53 label=Case6.41 nb_sol=0 ticks=27813 tps=100 nb_sec=278 case_no=53 label=Case6.41 nb_sol=0 ticks=45655 tps=100 nb_sec=456 case_no=53 label=Case6.41 nb_sol=0 ticks=26873 tps=100 nb_sec=268 case_no=53 label=Case6.41 nb_sol=0 ticks=47395 tps=100 nb_sec=473 case_no=53 label=Case6.41 nb_sol=0 ticks=34092 tps=100 nb_sec=340 case_no=53 label=Case6.41 nb_sol=0 ticks=26368 tps=100 nb_sec=263 case_no=53 label=Case6.41 nb_sol=0 ticks=32743 tps=100 nb_sec=327 case_no=53 label=Case6.41 nb_sol=0 ticks=40444 tps=100 nb_sec=404 case_no=53 label=Case6.41 nb_sol=0 ticks=32163 tps=100 nb_sec=321 case_no=53 label=Case6.41 nb_sol=0 ticks=24310 tps=100 nb_sec=243 case_no=53 label=Case6.41 nb_sol=0 ticks=21628 tps=100 nb_sec=216 case_no=53 label=Case6.41 nb_sol=0 ticks=43739 tps=100 nb_sec=437 case_no=53 label=Case6.41 nb_sol=0 ticks=41729 tps=100 nb_sec=417 case_no=53 label=Case6.41 nb_sol=0 ticks=54454 tps=100 nb_sec=544 case_no=53 label=Case6.41 nb_sol=0 ticks=25385 tps=100 nb_sec=253 case_no=53 label=Case6.41 nb_sol=0 ticks=54760 tps=100 nb_sec=547 case_no=53 label=Case6.41 nb_sol=0 ticks=37741 tps=100 nb_sec=377 case_no=53 label=Case6.41 nb_sol=0 ticks=22048 tps=100 nb_sec=220 case_no=53 label=Case6.41 nb_sol=0 ticks=51653 tps=100 nb_sec=516 case_no=53 label=Case6.41 nb_sol=0 ticks=36937 tps=100 nb_sec=369 case_no=53 label=Case6.41 nb_sol=0 ticks=23582 tps=100 nb_sec=235 case_no=53 label=Case6.41 nb_sol=0 ticks=50967 tps=100 nb_sec=509 case_no=53 label=Case6.41 nb_sol=0 ticks=39356 tps=100 nb_sec=393 case_no=53 label=Case6.41 nb_sol=0 ticks=25830 tps=100 nb_sec=258 case_no=53 label=Case6.41 nb_sol=0 ticks=23944 tps=100 nb_sec=239 case_no=53 label=Case6.41 nb_sol=0 ticks=32824 tps=100 nb_sec=328 case_no=53 label=Case6.41 nb_sol=0 ticks=26449 tps=100 nb_sec=264 case_no=53 label=Case6.41 nb_sol=0 ticks=41758 tps=100 nb_sec=417 case_no=53 label=Case6.41 nb_sol=0 ticks=56871 tps=100 nb_sec=568 case_no=53 label=Case6.41 nb_sol=0 ticks=57898 tps=100 nb_sec=578 case_no=53 label=Case6.41 nb_sol=0 ticks=34865 tps=100 nb_sec=348 case_no=53 label=Case6.41 nb_sol=0 ticks=38992 tps=100 nb_sec=389 case_no=53 label=Case6.41 nb_sol=0 ticks=25283 tps=100 nb_sec=252 case_no=53 label=Case6.41 nb_sol=0 ticks=22724 tps=100 nb_sec=227 case_no=53 label=Case6.41 nb_sol=0 ticks=27199 tps=100 nb_sec=271 case_no=53 label=Case6.41 nb_sol=0 ticks=23056 tps=100 nb_sec=230 case_no=53 label=Case6.41 nb_sol=0 ticks=22256 tps=100 nb_sec=222 case_no=53 label=Case6.41 nb_sol=0 ticks=23359 tps=100 nb_sec=233 case_no=53 label=Case6.41 nb_sol=0 ticks=22838 tps=100 nb_sec=228 case_no=53 label=Case6.41 nb_sol=0 ticks=23933 tps=100 nb_sec=239 case_no=53 label=Case6.41 nb_sol=0 ticks=25565 tps=100 nb_sec=255 case_no=53 label=Case6.41 nb_sol=0 ticks=24464 tps=100 nb_sec=244 case_no=53 label=Case6.41 nb_sol=0 ticks=28126 tps=100 nb_sec=281 case_no=53 label=Case6.41 nb_sol=0 ticks=23789 tps=100 nb_sec=237 case_no=53 label=Case6.41 nb_sol=0 ticks=23612 tps=100 nb_sec=236 case_no=53 label=Case6.41 nb_sol=0 ticks=21164 tps=100 nb_sec=211 case_no=53 label=Case6.41 nb_sol=0 ticks=24698 tps=100 nb_sec=246 case_no=53 label=Case6.41 nb_sol=0 ticks=43768 tps=100 nb_sec=437 case_no=53 label=Case6.41 nb_sol=0 ticks=24852 tps=100 nb_sec=248 case_no=53 label=Case6.41 nb_sol=0 ticks=27813 tps=100 nb_sec=278 case_no=53 label=Case6.41 nb_sol=0 ticks=48694 tps=100 nb_sec=486 case_no=53 label=Case6.41 nb_sol=0 ticks=21067 tps=100 nb_sec=210 case_no=53 label=Case6.41 nb_sol=0 ticks=20618 tps=100 nb_sec=206 case_no=53 label=Case6.41 nb_sol=0 ticks=35091 tps=100 nb_sec=350 case_no=53 label=Case6.41 nb_sol=0 ticks=24295 tps=100 nb_sec=242 case_no=53 label=Case6.41 nb_sol=0 ticks=22948 tps=100 nb_sec=229 case_no=53 label=Case6.41 nb_sol=0 ticks=23133 tps=100 nb_sec=231 case_no=53 label=Case6.41 nb_sol=0 ticks=25052 tps=100 nb_sec=250 case_no=53 label=Case6.41 nb_sol=0 ticks=27110 tps=100 nb_sec=271 case_no=53 label=Case6.41 nb_sol=0 ticks=24922 tps=100 nb_sec=249 case_no=53 label=Case6.41 nb_sol=0 ticks=34698 tps=100 nb_sec=346 case_no=53 label=Case6.41 nb_sol=0 ticks=50399 tps=100 nb_sec=503 case_no=53 label=Case6.41 nb_sol=0 ticks=37876 tps=100 nb_sec=378 case_no=53 label=Case6.41 nb_sol=0 ticks=31359 tps=100 nb_sec=313 case_no=53 label=Case6.41 nb_sol=0 ticks=35923 tps=100 nb_sec=359 case_no=53 label=Case6.41 nb_sol=0 ticks=45305 tps=100 nb_sec=453 case_no=53 label=Case6.41 nb_sol=0 ticks=41149 tps=100 nb_sec=411 case_no=53 label=Case6.41 nb_sol=0 ticks=24848 tps=100 nb_sec=248 case_no=53 label=Case6.41 nb_sol=0 ticks=25581 tps=100 nb_sec=255 case_no=53 label=Case6.41 nb_sol=0 ticks=23892 tps=100 nb_sec=238 case_no=53 label=Case6.41 nb_sol=0 ticks=23806 tps=100 nb_sec=238 case_no=53 label=Case6.41 nb_sol=0 ticks=22080 tps=100 nb_sec=220 case_no=53 label=Case6.41 nb_sol=0 ticks=20306 tps=100 nb_sec=203 case_no=53 label=Case6.41 nb_sol=0 ticks=23115 tps=100 nb_sec=231 case_no=53 label=Case6.41 nb_sol=0 ticks=28976 tps=100 nb_sec=289 case_no=53 label=Case6.41 nb_sol=0 ticks=23914 tps=100 nb_sec=239 case_no=53 label=Case6.41 nb_sol=0 ticks=40053 tps=100 nb_sec=400 case_no=53 label=Case6.41 nb_sol=0 ticks=25936 tps=100 nb_sec=259 case_no=53 label=Case6.41 nb_sol=0 ticks=22452 tps=100 nb_sec=224 case_no=53 label=Case6.41 nb_sol=0 ticks=32939 tps=100 nb_sec=329 case_no=53 label=Case6.41 nb_sol=0 ticks=25555 tps=100 nb_sec=255 case_no=53 label=Case6.41 nb_sol=0 ticks=24098 tps=100 nb_sec=240 case_no=53 label=Case6.41 nb_sol=0 ticks=24364 tps=100 nb_sec=243 case_no=53 label=Case6.41 nb_sol=0 ticks=51694 tps=100 nb_sec=516 case_no=53 label=Case6.41 nb_sol=0 ticks=50401 tps=100 nb_sec=504 case_no=53 label=Case6.41 nb_sol=0 ticks=44540 tps=100 nb_sec=445 case_no=53 label=Case6.41 nb_sol=0 ticks=25473 tps=100 nb_sec=254 case_no=53 label=Case6.41 nb_sol=0 ticks=47624 tps=100 nb_sec=476 case_no=53 label=Case6.41 nb_sol=0 ticks=30045 tps=100 nb_sec=300 case_no=53 label=Case6.41 nb_sol=0 ticks=30958 tps=100 nb_sec=309 case_no=53 label=Case6.41 nb_sol=0 ticks=31698 tps=100 nb_sec=316 case_no=53 label=Case6.41 nb_sol=0 ticks=19862 tps=100 nb_sec=198 case_no=53 label=Case6.41 nb_sol=0 ticks=31970 tps=100 nb_sec=319 case_no=53 label=Case6.41 nb_sol=0 ticks=29956 tps=100 nb_sec=299 case_no=53 label=Case6.41 nb_sol=0 ticks=28571 tps=100 nb_sec=285 case_no=53 label=Case6.41 nb_sol=0 ticks=34766 tps=100 nb_sec=347 case_no=53 label=Case6.41 nb_sol=0 ticks=31313 tps=100 nb_sec=313 case_no=53 label=Case6.41 nb_sol=0 ticks=23378 tps=100 nb_sec=233 case_no=53 label=Case6.41 nb_sol=0 ticks=30847 tps=100 nb_sec=308 case_no=53 label=Case6.41 nb_sol=0 ticks=58046 tps=100 nb_sec=580 case_no=53 label=Case6.41 nb_sol=0 ticks=21245 tps=100 nb_sec=212 case_no=53 label=Case6.41 nb_sol=0 ticks=19841 tps=100 nb_sec=198 case_no=53 label=Case6.41 nb_sol=0 ticks=22360 tps=100 nb_sec=223 case_no=53 label=Case6.41 nb_sol=0 ticks=50791 tps=100 nb_sec=507 case_no=53 label=Case6.41 nb_sol=0 ticks=35332 tps=100 nb_sec=353 case_no=53 label=Case6.41 nb_sol=0 ticks=54521 tps=100 nb_sec=545 case_no=53 label=Case6.41 nb_sol=0 ticks=36112 tps=100 nb_sec=361 case_no=53 label=Case6.41 nb_sol=0 ticks=29201 tps=100 nb_sec=292 case_no=53 label=Case6.41 nb_sol=0 ticks=28278 tps=100 nb_sec=282 case_no=53 label=Case6.41 nb_sol=0 ticks=26664 tps=100 nb_sec=266 case_no=53 label=Case6.41 nb_sol=0 ticks=33404 tps=100 nb_sec=334 case_no=53 label=Case6.41 nb_sol=0 ticks=27393 tps=100 nb_sec=273 case_no=53 label=Case6.41 nb_sol=0 ticks=52263 tps=100 nb_sec=522 case_no=53 label=Case6.41 nb_sol=0 ticks=51873 tps=100 nb_sec=518 case_no=53 label=Case6.41 nb_sol=0 ticks=42941 tps=100 nb_sec=429 case_no=53 label=Case6.41 nb_sol=0 ticks=25635 tps=100 nb_sec=256 case_no=53 label=Case6.41 nb_sol=0 ticks=49047 tps=100 nb_sec=490 case_no=53 label=Case6.41 nb_sol=0 ticks=28036 tps=100 nb_sec=280 case_no=53 label=Case6.41 nb_sol=0 ticks=28657 tps=100 nb_sec=286 Nb_sol=0 Nb_sec=178925 2-1:42:5 or 49 hours missing cases: none