argc=5 -M 512 file2=30_select_Case6.134_starter_15_ checking files mod 512 from 0 to 511 case_no=146 label=Case6.134 nb_sol=0 ticks=33795 tps=100 nb_sec=337 case_no=146 label=Case6.134 nb_sol=0 ticks=41281 tps=100 nb_sec=412 case_no=146 label=Case6.134 nb_sol=0 ticks=28309 tps=100 nb_sec=283 case_no=146 label=Case6.134 nb_sol=0 ticks=40274 tps=100 nb_sec=402 case_no=146 label=Case6.134 nb_sol=0 ticks=25575 tps=100 nb_sec=255 case_no=146 label=Case6.134 nb_sol=0 ticks=19046 tps=100 nb_sec=190 case_no=146 label=Case6.134 nb_sol=0 ticks=23007 tps=100 nb_sec=230 case_no=146 label=Case6.134 nb_sol=0 ticks=61261 tps=100 nb_sec=612 case_no=146 label=Case6.134 nb_sol=0 ticks=47428 tps=100 nb_sec=474 case_no=146 label=Case6.134 nb_sol=0 ticks=27628 tps=100 nb_sec=276 case_no=146 label=Case6.134 nb_sol=0 ticks=46366 tps=100 nb_sec=463 case_no=146 label=Case6.134 nb_sol=0 ticks=30361 tps=100 nb_sec=303 case_no=146 label=Case6.134 nb_sol=0 ticks=34585 tps=100 nb_sec=345 case_no=146 label=Case6.134 nb_sol=0 ticks=60236 tps=100 nb_sec=602 case_no=146 label=Case6.134 nb_sol=0 ticks=36663 tps=100 nb_sec=366 case_no=146 label=Case6.134 nb_sol=0 ticks=56071 tps=100 nb_sec=560 case_no=146 label=Case6.134 nb_sol=0 ticks=48217 tps=100 nb_sec=482 case_no=146 label=Case6.134 nb_sol=0 ticks=19815 tps=100 nb_sec=198 case_no=146 label=Case6.134 nb_sol=0 ticks=47234 tps=100 nb_sec=472 case_no=146 label=Case6.134 nb_sol=0 ticks=34221 tps=100 nb_sec=342 case_no=146 label=Case6.134 nb_sol=0 ticks=54315 tps=100 nb_sec=543 case_no=146 label=Case6.134 nb_sol=0 ticks=48328 tps=100 nb_sec=483 case_no=146 label=Case6.134 nb_sol=0 ticks=37595 tps=100 nb_sec=375 case_no=146 label=Case6.134 nb_sol=0 ticks=36287 tps=100 nb_sec=362 case_no=146 label=Case6.134 nb_sol=0 ticks=31797 tps=100 nb_sec=317 case_no=146 label=Case6.134 nb_sol=0 ticks=67658 tps=100 nb_sec=676 case_no=146 label=Case6.134 nb_sol=0 ticks=47622 tps=100 nb_sec=476 case_no=146 label=Case6.134 nb_sol=0 ticks=36080 tps=100 nb_sec=360 case_no=146 label=Case6.134 nb_sol=0 ticks=49282 tps=100 nb_sec=492 case_no=146 label=Case6.134 nb_sol=0 ticks=43340 tps=100 nb_sec=433 case_no=146 label=Case6.134 nb_sol=0 ticks=45158 tps=100 nb_sec=451 case_no=146 label=Case6.134 nb_sol=0 ticks=52245 tps=100 nb_sec=522 case_no=146 label=Case6.134 nb_sol=0 ticks=38628 tps=100 nb_sec=386 case_no=146 label=Case6.134 nb_sol=0 ticks=62007 tps=100 nb_sec=620 case_no=146 label=Case6.134 nb_sol=0 ticks=57092 tps=100 nb_sec=570 case_no=146 label=Case6.134 nb_sol=0 ticks=30203 tps=100 nb_sec=302 case_no=146 label=Case6.134 nb_sol=0 ticks=59494 tps=100 nb_sec=594 case_no=146 label=Case6.134 nb_sol=0 ticks=37852 tps=100 nb_sec=378 case_no=146 label=Case6.134 nb_sol=0 ticks=35698 tps=100 nb_sec=356 case_no=146 label=Case6.134 nb_sol=0 ticks=52672 tps=100 nb_sec=526 case_no=146 label=Case6.134 nb_sol=0 ticks=40619 tps=100 nb_sec=406 case_no=146 label=Case6.134 nb_sol=0 ticks=34270 tps=100 nb_sec=342 case_no=146 label=Case6.134 nb_sol=0 ticks=39467 tps=100 nb_sec=394 case_no=146 label=Case6.134 nb_sol=0 ticks=35130 tps=100 nb_sec=351 case_no=146 label=Case6.134 nb_sol=0 ticks=28098 tps=100 nb_sec=280 case_no=146 label=Case6.134 nb_sol=0 ticks=39645 tps=100 nb_sec=396 case_no=146 label=Case6.134 nb_sol=0 ticks=21559 tps=100 nb_sec=215 case_no=146 label=Case6.134 nb_sol=0 ticks=73570 tps=100 nb_sec=735 case_no=146 label=Case6.134 nb_sol=0 ticks=40842 tps=100 nb_sec=408 case_no=146 label=Case6.134 nb_sol=0 ticks=71294 tps=100 nb_sec=712 case_no=146 label=Case6.134 nb_sol=0 ticks=39776 tps=100 nb_sec=397 case_no=146 label=Case6.134 nb_sol=0 ticks=33690 tps=100 nb_sec=336 case_no=146 label=Case6.134 nb_sol=0 ticks=31907 tps=100 nb_sec=319 case_no=146 label=Case6.134 nb_sol=0 ticks=31514 tps=100 nb_sec=315 case_no=146 label=Case6.134 nb_sol=0 ticks=38754 tps=100 nb_sec=387 case_no=146 label=Case6.134 nb_sol=0 ticks=39505 tps=100 nb_sec=395 case_no=146 label=Case6.134 nb_sol=0 ticks=52652 tps=100 nb_sec=526 case_no=146 label=Case6.134 nb_sol=0 ticks=23101 tps=100 nb_sec=231 case_no=146 label=Case6.134 nb_sol=0 ticks=48824 tps=100 nb_sec=488 case_no=146 label=Case6.134 nb_sol=0 ticks=65731 tps=100 nb_sec=657 case_no=146 label=Case6.134 nb_sol=0 ticks=42709 tps=100 nb_sec=427 case_no=146 label=Case6.134 nb_sol=0 ticks=27835 tps=100 nb_sec=278 case_no=146 label=Case6.134 nb_sol=0 ticks=50141 tps=100 nb_sec=501 case_no=146 label=Case6.134 nb_sol=0 ticks=43406 tps=100 nb_sec=434 case_no=146 label=Case6.134 nb_sol=0 ticks=69763 tps=100 nb_sec=697 case_no=146 label=Case6.134 nb_sol=0 ticks=39932 tps=100 nb_sec=399 case_no=146 label=Case6.134 nb_sol=0 ticks=27317 tps=100 nb_sec=273 case_no=146 label=Case6.134 nb_sol=0 ticks=42075 tps=100 nb_sec=420 case_no=146 label=Case6.134 nb_sol=0 ticks=40120 tps=100 nb_sec=401 case_no=146 label=Case6.134 nb_sol=0 ticks=81383 tps=100 nb_sec=813 case_no=146 label=Case6.134 nb_sol=0 ticks=37969 tps=100 nb_sec=379 case_no=146 label=Case6.134 nb_sol=0 ticks=55882 tps=100 nb_sec=558 case_no=146 label=Case6.134 nb_sol=0 ticks=57942 tps=100 nb_sec=579 case_no=146 label=Case6.134 nb_sol=0 ticks=36804 tps=100 nb_sec=368 case_no=146 label=Case6.134 nb_sol=0 ticks=72593 tps=100 nb_sec=725 case_no=146 label=Case6.134 nb_sol=0 ticks=37017 tps=100 nb_sec=370 case_no=146 label=Case6.134 nb_sol=0 ticks=32270 tps=100 nb_sec=322 case_no=146 label=Case6.134 nb_sol=0 ticks=42886 tps=100 nb_sec=428 case_no=146 label=Case6.134 nb_sol=0 ticks=39538 tps=100 nb_sec=395 case_no=146 label=Case6.134 nb_sol=0 ticks=56047 tps=100 nb_sec=560 case_no=146 label=Case6.134 nb_sol=0 ticks=35672 tps=100 nb_sec=356 case_no=146 label=Case6.134 nb_sol=0 ticks=46235 tps=100 nb_sec=462 case_no=146 label=Case6.134 nb_sol=0 ticks=63505 tps=100 nb_sec=635 case_no=146 label=Case6.134 nb_sol=0 ticks=67285 tps=100 nb_sec=672 case_no=146 label=Case6.134 nb_sol=0 ticks=70002 tps=100 nb_sec=700 case_no=146 label=Case6.134 nb_sol=0 ticks=54456 tps=100 nb_sec=544 case_no=146 label=Case6.134 nb_sol=0 ticks=64504 tps=100 nb_sec=645 case_no=146 label=Case6.134 nb_sol=0 ticks=55990 tps=100 nb_sec=559 case_no=146 label=Case6.134 nb_sol=0 ticks=24625 tps=100 nb_sec=246 case_no=146 label=Case6.134 nb_sol=0 ticks=50379 tps=100 nb_sec=503 case_no=146 label=Case6.134 nb_sol=0 ticks=25078 tps=100 nb_sec=250 case_no=146 label=Case6.134 nb_sol=0 ticks=20146 tps=100 nb_sec=201 case_no=146 label=Case6.134 nb_sol=0 ticks=42552 tps=100 nb_sec=425 case_no=146 label=Case6.134 nb_sol=0 ticks=57443 tps=100 nb_sec=574 case_no=146 label=Case6.134 nb_sol=0 ticks=38203 tps=100 nb_sec=382 case_no=146 label=Case6.134 nb_sol=0 ticks=37231 tps=100 nb_sec=372 case_no=146 label=Case6.134 nb_sol=0 ticks=34040 tps=100 nb_sec=340 case_no=146 label=Case6.134 nb_sol=0 ticks=12555 tps=100 nb_sec=125 case_no=146 label=Case6.134 nb_sol=0 ticks=57226 tps=100 nb_sec=572 case_no=146 label=Case6.134 nb_sol=0 ticks=27319 tps=100 nb_sec=273 case_no=146 label=Case6.134 nb_sol=0 ticks=33698 tps=100 nb_sec=336 case_no=146 label=Case6.134 nb_sol=0 ticks=24603 tps=100 nb_sec=246 case_no=146 label=Case6.134 nb_sol=0 ticks=44616 tps=100 nb_sec=446 case_no=146 label=Case6.134 nb_sol=0 ticks=22608 tps=100 nb_sec=226 case_no=146 label=Case6.134 nb_sol=0 ticks=49325 tps=100 nb_sec=493 case_no=146 label=Case6.134 nb_sol=0 ticks=31386 tps=100 nb_sec=313 case_no=146 label=Case6.134 nb_sol=0 ticks=22608 tps=100 nb_sec=226 case_no=146 label=Case6.134 nb_sol=0 ticks=37610 tps=100 nb_sec=376 case_no=146 label=Case6.134 nb_sol=0 ticks=44482 tps=100 nb_sec=444 case_no=146 label=Case6.134 nb_sol=0 ticks=39332 tps=100 nb_sec=393 case_no=146 label=Case6.134 nb_sol=0 ticks=26639 tps=100 nb_sec=266 case_no=146 label=Case6.134 nb_sol=0 ticks=27637 tps=100 nb_sec=276 case_no=146 label=Case6.134 nb_sol=0 ticks=13141 tps=100 nb_sec=131 case_no=146 label=Case6.134 nb_sol=0 ticks=69099 tps=100 nb_sec=690 case_no=146 label=Case6.134 nb_sol=0 ticks=40282 tps=100 nb_sec=402 case_no=146 label=Case6.134 nb_sol=0 ticks=45792 tps=100 nb_sec=457 case_no=146 label=Case6.134 nb_sol=0 ticks=52743 tps=100 nb_sec=527 case_no=146 label=Case6.134 nb_sol=0 ticks=40134 tps=100 nb_sec=401 case_no=146 label=Case6.134 nb_sol=0 ticks=28137 tps=100 nb_sec=281 case_no=146 label=Case6.134 nb_sol=0 ticks=66929 tps=100 nb_sec=669 case_no=146 label=Case6.134 nb_sol=0 ticks=47628 tps=100 nb_sec=476 case_no=146 label=Case6.134 nb_sol=0 ticks=22664 tps=100 nb_sec=226 case_no=146 label=Case6.134 nb_sol=0 ticks=68412 tps=100 nb_sec=684 case_no=146 label=Case6.134 nb_sol=0 ticks=42715 tps=100 nb_sec=427 case_no=146 label=Case6.134 nb_sol=0 ticks=40844 tps=100 nb_sec=408 case_no=146 label=Case6.134 nb_sol=0 ticks=53459 tps=100 nb_sec=534 case_no=146 label=Case6.134 nb_sol=0 ticks=37462 tps=100 nb_sec=374 case_no=146 label=Case6.134 nb_sol=0 ticks=24858 tps=100 nb_sec=248 case_no=146 label=Case6.134 nb_sol=0 ticks=72112 tps=100 nb_sec=721 case_no=146 label=Case6.134 nb_sol=0 ticks=74130 tps=100 nb_sec=741 case_no=146 label=Case6.134 nb_sol=0 ticks=52183 tps=100 nb_sec=521 case_no=146 label=Case6.134 nb_sol=0 ticks=59307 tps=100 nb_sec=593 case_no=146 label=Case6.134 nb_sol=0 ticks=45209 tps=100 nb_sec=452 case_no=146 label=Case6.134 nb_sol=0 ticks=28036 tps=100 nb_sec=280 case_no=146 label=Case6.134 nb_sol=0 ticks=71382 tps=100 nb_sec=713 case_no=146 label=Case6.134 nb_sol=0 ticks=68630 tps=100 nb_sec=686 case_no=146 label=Case6.134 nb_sol=0 ticks=38190 tps=100 nb_sec=381 case_no=146 label=Case6.134 nb_sol=0 ticks=67938 tps=100 nb_sec=679 case_no=146 label=Case6.134 nb_sol=0 ticks=56963 tps=100 nb_sec=569 case_no=146 label=Case6.134 nb_sol=0 ticks=37155 tps=100 nb_sec=371 case_no=146 label=Case6.134 nb_sol=0 ticks=46860 tps=100 nb_sec=468 case_no=146 label=Case6.134 nb_sol=0 ticks=50098 tps=100 nb_sec=500 case_no=146 label=Case6.134 nb_sol=0 ticks=24646 tps=100 nb_sec=246 case_no=146 label=Case6.134 nb_sol=0 ticks=76494 tps=100 nb_sec=764 case_no=146 label=Case6.134 nb_sol=0 ticks=40199 tps=100 nb_sec=401 case_no=146 label=Case6.134 nb_sol=0 ticks=36664 tps=100 nb_sec=366 case_no=146 label=Case6.134 nb_sol=0 ticks=54820 tps=100 nb_sec=548 case_no=146 label=Case6.134 nb_sol=0 ticks=43040 tps=100 nb_sec=430 case_no=146 label=Case6.134 nb_sol=0 ticks=27969 tps=100 nb_sec=279 case_no=146 label=Case6.134 nb_sol=0 ticks=51948 tps=100 nb_sec=519 case_no=146 label=Case6.134 nb_sol=0 ticks=33980 tps=100 nb_sec=339 case_no=146 label=Case6.134 nb_sol=0 ticks=31925 tps=100 nb_sec=319 case_no=146 label=Case6.134 nb_sol=0 ticks=43990 tps=100 nb_sec=439 case_no=146 label=Case6.134 nb_sol=0 ticks=28879 tps=100 nb_sec=288 case_no=146 label=Case6.134 nb_sol=0 ticks=42645 tps=100 nb_sec=426 case_no=146 label=Case6.134 nb_sol=0 ticks=35255 tps=100 nb_sec=352 case_no=146 label=Case6.134 nb_sol=0 ticks=54919 tps=100 nb_sec=549 case_no=146 label=Case6.134 nb_sol=0 ticks=34369 tps=100 nb_sec=343 case_no=146 label=Case6.134 nb_sol=0 ticks=70556 tps=100 nb_sec=705 case_no=146 label=Case6.134 nb_sol=0 ticks=65914 tps=100 nb_sec=659 case_no=146 label=Case6.134 nb_sol=0 ticks=41737 tps=100 nb_sec=417 case_no=146 label=Case6.134 nb_sol=0 ticks=76800 tps=100 nb_sec=768 case_no=146 label=Case6.134 nb_sol=0 ticks=42505 tps=100 nb_sec=425 case_no=146 label=Case6.134 nb_sol=0 ticks=36220 tps=100 nb_sec=362 case_no=146 label=Case6.134 nb_sol=0 ticks=55831 tps=100 nb_sec=558 case_no=146 label=Case6.134 nb_sol=0 ticks=46159 tps=100 nb_sec=461 case_no=146 label=Case6.134 nb_sol=0 ticks=28538 tps=100 nb_sec=285 case_no=146 label=Case6.134 nb_sol=0 ticks=46411 tps=100 nb_sec=464 case_no=146 label=Case6.134 nb_sol=0 ticks=29406 tps=100 nb_sec=294 case_no=146 label=Case6.134 nb_sol=0 ticks=23408 tps=100 nb_sec=234 case_no=146 label=Case6.134 nb_sol=0 ticks=70864 tps=100 nb_sec=708 case_no=146 label=Case6.134 nb_sol=0 ticks=54618 tps=100 nb_sec=546 case_no=146 label=Case6.134 nb_sol=0 ticks=35485 tps=100 nb_sec=354 case_no=146 label=Case6.134 nb_sol=0 ticks=28973 tps=100 nb_sec=289 case_no=146 label=Case6.134 nb_sol=0 ticks=46184 tps=100 nb_sec=461 case_no=146 label=Case6.134 nb_sol=0 ticks=45905 tps=100 nb_sec=459 case_no=146 label=Case6.134 nb_sol=0 ticks=44607 tps=100 nb_sec=446 case_no=146 label=Case6.134 nb_sol=0 ticks=33592 tps=100 nb_sec=335 case_no=146 label=Case6.134 nb_sol=0 ticks=19155 tps=100 nb_sec=191 case_no=146 label=Case6.134 nb_sol=0 ticks=22018 tps=100 nb_sec=220 case_no=146 label=Case6.134 nb_sol=0 ticks=34341 tps=100 nb_sec=343 case_no=146 label=Case6.134 nb_sol=0 ticks=17154 tps=100 nb_sec=171 case_no=146 label=Case6.134 nb_sol=0 ticks=44832 tps=100 nb_sec=448 case_no=146 label=Case6.134 nb_sol=0 ticks=69665 tps=100 nb_sec=696 case_no=146 label=Case6.134 nb_sol=0 ticks=41725 tps=100 nb_sec=417 case_no=146 label=Case6.134 nb_sol=0 ticks=46264 tps=100 nb_sec=462 case_no=146 label=Case6.134 nb_sol=0 ticks=47510 tps=100 nb_sec=475 case_no=146 label=Case6.134 nb_sol=0 ticks=16226 tps=100 nb_sec=162 case_no=146 label=Case6.134 nb_sol=0 ticks=45937 tps=100 nb_sec=459 case_no=146 label=Case6.134 nb_sol=0 ticks=71411 tps=100 nb_sec=714 case_no=146 label=Case6.134 nb_sol=0 ticks=50604 tps=100 nb_sec=506 case_no=146 label=Case6.134 nb_sol=0 ticks=46053 tps=100 nb_sec=460 case_no=146 label=Case6.134 nb_sol=0 ticks=63438 tps=100 nb_sec=634 case_no=146 label=Case6.134 nb_sol=0 ticks=45422 tps=100 nb_sec=454 case_no=146 label=Case6.134 nb_sol=0 ticks=48720 tps=100 nb_sec=487 case_no=146 label=Case6.134 nb_sol=0 ticks=27583 tps=100 nb_sec=275 case_no=146 label=Case6.134 nb_sol=0 ticks=40216 tps=100 nb_sec=402 case_no=146 label=Case6.134 nb_sol=0 ticks=81457 tps=100 nb_sec=814 case_no=146 label=Case6.134 nb_sol=0 ticks=41690 tps=100 nb_sec=416 case_no=146 label=Case6.134 nb_sol=0 ticks=31084 tps=100 nb_sec=310 case_no=146 label=Case6.134 nb_sol=0 ticks=45703 tps=100 nb_sec=457 case_no=146 label=Case6.134 nb_sol=0 ticks=70376 tps=100 nb_sec=703 case_no=146 label=Case6.134 nb_sol=0 ticks=56239 tps=100 nb_sec=562 case_no=146 label=Case6.134 nb_sol=0 ticks=57203 tps=100 nb_sec=572 case_no=146 label=Case6.134 nb_sol=0 ticks=35057 tps=100 nb_sec=350 case_no=146 label=Case6.134 nb_sol=0 ticks=31718 tps=100 nb_sec=317 case_no=146 label=Case6.134 nb_sol=0 ticks=62442 tps=100 nb_sec=624 case_no=146 label=Case6.134 nb_sol=0 ticks=47953 tps=100 nb_sec=479 case_no=146 label=Case6.134 nb_sol=0 ticks=34668 tps=100 nb_sec=346 case_no=146 label=Case6.134 nb_sol=0 ticks=20241 tps=100 nb_sec=202 case_no=146 label=Case6.134 nb_sol=0 ticks=45624 tps=100 nb_sec=456 case_no=146 label=Case6.134 nb_sol=0 ticks=45459 tps=100 nb_sec=454 case_no=146 label=Case6.134 nb_sol=0 ticks=34546 tps=100 nb_sec=345 case_no=146 label=Case6.134 nb_sol=0 ticks=61844 tps=100 nb_sec=618 case_no=146 label=Case6.134 nb_sol=0 ticks=40671 tps=100 nb_sec=406 case_no=146 label=Case6.134 nb_sol=0 ticks=38393 tps=100 nb_sec=383 case_no=146 label=Case6.134 nb_sol=0 ticks=32853 tps=100 nb_sec=328 case_no=146 label=Case6.134 nb_sol=0 ticks=33692 tps=100 nb_sec=336 case_no=146 label=Case6.134 nb_sol=0 ticks=40199 tps=100 nb_sec=401 case_no=146 label=Case6.134 nb_sol=0 ticks=22070 tps=100 nb_sec=220 case_no=146 label=Case6.134 nb_sol=0 ticks=25399 tps=100 nb_sec=253 case_no=146 label=Case6.134 nb_sol=0 ticks=51818 tps=100 nb_sec=518 case_no=146 label=Case6.134 nb_sol=0 ticks=31752 tps=100 nb_sec=317 case_no=146 label=Case6.134 nb_sol=0 ticks=47683 tps=100 nb_sec=476 case_no=146 label=Case6.134 nb_sol=0 ticks=59395 tps=100 nb_sec=593 case_no=146 label=Case6.134 nb_sol=0 ticks=44516 tps=100 nb_sec=445 case_no=146 label=Case6.134 nb_sol=0 ticks=32457 tps=100 nb_sec=324 case_no=146 label=Case6.134 nb_sol=0 ticks=30782 tps=100 nb_sec=307 case_no=146 label=Case6.134 nb_sol=0 ticks=40466 tps=100 nb_sec=404 case_no=146 label=Case6.134 nb_sol=0 ticks=37460 tps=100 nb_sec=374 case_no=146 label=Case6.134 nb_sol=0 ticks=36059 tps=100 nb_sec=360 case_no=146 label=Case6.134 nb_sol=0 ticks=43995 tps=100 nb_sec=439 case_no=146 label=Case6.134 nb_sol=0 ticks=46165 tps=100 nb_sec=461 case_no=146 label=Case6.134 nb_sol=0 ticks=34877 tps=100 nb_sec=348 case_no=146 label=Case6.134 nb_sol=0 ticks=32960 tps=100 nb_sec=329 case_no=146 label=Case6.134 nb_sol=0 ticks=67647 tps=100 nb_sec=676 case_no=146 label=Case6.134 nb_sol=0 ticks=37887 tps=100 nb_sec=378 case_no=146 label=Case6.134 nb_sol=0 ticks=56573 tps=100 nb_sec=565 case_no=146 label=Case6.134 nb_sol=0 ticks=65012 tps=100 nb_sec=650 case_no=146 label=Case6.134 nb_sol=0 ticks=36267 tps=100 nb_sec=362 case_no=146 label=Case6.134 nb_sol=0 ticks=29437 tps=100 nb_sec=294 case_no=146 label=Case6.134 nb_sol=0 ticks=51812 tps=100 nb_sec=518 case_no=146 label=Case6.134 nb_sol=0 ticks=53663 tps=100 nb_sec=536 case_no=146 label=Case6.134 nb_sol=0 ticks=30697 tps=100 nb_sec=306 case_no=146 label=Case6.134 nb_sol=0 ticks=36658 tps=100 nb_sec=366 case_no=146 label=Case6.134 nb_sol=0 ticks=14537 tps=100 nb_sec=145 case_no=146 label=Case6.134 nb_sol=0 ticks=13535 tps=100 nb_sec=135 case_no=146 label=Case6.134 nb_sol=0 ticks=32190 tps=100 nb_sec=321 case_no=146 label=Case6.134 nb_sol=0 ticks=20266 tps=100 nb_sec=202 case_no=146 label=Case6.134 nb_sol=0 ticks=35331 tps=100 nb_sec=353 case_no=146 label=Case6.134 nb_sol=0 ticks=15406 tps=100 nb_sec=154 case_no=146 label=Case6.134 nb_sol=0 ticks=17364 tps=100 nb_sec=173 case_no=146 label=Case6.134 nb_sol=0 ticks=30116 tps=100 nb_sec=301 case_no=146 label=Case6.134 nb_sol=0 ticks=15044 tps=100 nb_sec=150 case_no=146 label=Case6.134 nb_sol=0 ticks=22051 tps=100 nb_sec=220 case_no=146 label=Case6.134 nb_sol=0 ticks=11906 tps=100 nb_sec=119 case_no=146 label=Case6.134 nb_sol=0 ticks=25318 tps=100 nb_sec=253 case_no=146 label=Case6.134 nb_sol=0 ticks=17092 tps=100 nb_sec=170 case_no=146 label=Case6.134 nb_sol=0 ticks=17660 tps=100 nb_sec=176 case_no=146 label=Case6.134 nb_sol=0 ticks=19483 tps=100 nb_sec=194 case_no=146 label=Case6.134 nb_sol=0 ticks=18594 tps=100 nb_sec=185 case_no=146 label=Case6.134 nb_sol=0 ticks=10740 tps=100 nb_sec=107 case_no=146 label=Case6.134 nb_sol=0 ticks=35915 tps=100 nb_sec=359 case_no=146 label=Case6.134 nb_sol=0 ticks=19554 tps=100 nb_sec=195 case_no=146 label=Case6.134 nb_sol=0 ticks=21366 tps=100 nb_sec=213 case_no=146 label=Case6.134 nb_sol=0 ticks=17976 tps=100 nb_sec=179 case_no=146 label=Case6.134 nb_sol=0 ticks=8567 tps=100 nb_sec=85 case_no=146 label=Case6.134 nb_sol=0 ticks=24436 tps=100 nb_sec=244 case_no=146 label=Case6.134 nb_sol=0 ticks=18938 tps=100 nb_sec=189 case_no=146 label=Case6.134 nb_sol=0 ticks=8490 tps=100 nb_sec=84 case_no=146 label=Case6.134 nb_sol=0 ticks=16347 tps=100 nb_sec=163 case_no=146 label=Case6.134 nb_sol=0 ticks=7773 tps=100 nb_sec=77 case_no=146 label=Case6.134 nb_sol=0 ticks=18561 tps=100 nb_sec=185 case_no=146 label=Case6.134 nb_sol=0 ticks=12632 tps=100 nb_sec=126 case_no=146 label=Case6.134 nb_sol=0 ticks=8771 tps=100 nb_sec=87 case_no=146 label=Case6.134 nb_sol=0 ticks=13522 tps=100 nb_sec=135 case_no=146 label=Case6.134 nb_sol=0 ticks=11340 tps=100 nb_sec=113 case_no=146 label=Case6.134 nb_sol=0 ticks=31481 tps=100 nb_sec=314 case_no=146 label=Case6.134 nb_sol=0 ticks=21192 tps=100 nb_sec=211 case_no=146 label=Case6.134 nb_sol=0 ticks=22704 tps=100 nb_sec=227 case_no=146 label=Case6.134 nb_sol=0 ticks=22043 tps=100 nb_sec=220 case_no=146 label=Case6.134 nb_sol=0 ticks=15481 tps=100 nb_sec=154 case_no=146 label=Case6.134 nb_sol=0 ticks=24583 tps=100 nb_sec=245 case_no=146 label=Case6.134 nb_sol=0 ticks=19519 tps=100 nb_sec=195 case_no=146 label=Case6.134 nb_sol=0 ticks=11991 tps=100 nb_sec=119 case_no=146 label=Case6.134 nb_sol=0 ticks=10759 tps=100 nb_sec=107 case_no=146 label=Case6.134 nb_sol=0 ticks=26576 tps=100 nb_sec=265 case_no=146 label=Case6.134 nb_sol=0 ticks=20925 tps=100 nb_sec=209 case_no=146 label=Case6.134 nb_sol=0 ticks=23817 tps=100 nb_sec=238 case_no=146 label=Case6.134 nb_sol=0 ticks=23832 tps=100 nb_sec=238 case_no=146 label=Case6.134 nb_sol=0 ticks=11112 tps=100 nb_sec=111 case_no=146 label=Case6.134 nb_sol=0 ticks=10408 tps=100 nb_sec=104 case_no=146 label=Case6.134 nb_sol=0 ticks=29081 tps=100 nb_sec=290 case_no=146 label=Case6.134 nb_sol=0 ticks=20514 tps=100 nb_sec=205 case_no=146 label=Case6.134 nb_sol=0 ticks=15201 tps=100 nb_sec=152 case_no=146 label=Case6.134 nb_sol=0 ticks=9816 tps=100 nb_sec=98 case_no=146 label=Case6.134 nb_sol=0 ticks=15683 tps=100 nb_sec=156 case_no=146 label=Case6.134 nb_sol=0 ticks=5239 tps=100 nb_sec=52 case_no=146 label=Case6.134 nb_sol=0 ticks=24073 tps=100 nb_sec=240 case_no=146 label=Case6.134 nb_sol=0 ticks=16977 tps=100 nb_sec=169 case_no=146 label=Case6.134 nb_sol=0 ticks=8298 tps=100 nb_sec=82 case_no=146 label=Case6.134 nb_sol=0 ticks=25915 tps=100 nb_sec=259 case_no=146 label=Case6.134 nb_sol=0 ticks=15002 tps=100 nb_sec=150 case_no=146 label=Case6.134 nb_sol=0 ticks=15445 tps=100 nb_sec=154 case_no=146 label=Case6.134 nb_sol=0 ticks=18680 tps=100 nb_sec=186 case_no=146 label=Case6.134 nb_sol=0 ticks=10014 tps=100 nb_sec=100 case_no=146 label=Case6.134 nb_sol=0 ticks=8982 tps=100 nb_sec=89 case_no=146 label=Case6.134 nb_sol=0 ticks=33151 tps=100 nb_sec=331 case_no=146 label=Case6.134 nb_sol=0 ticks=31366 tps=100 nb_sec=313 case_no=146 label=Case6.134 nb_sol=0 ticks=18019 tps=100 nb_sec=180 case_no=146 label=Case6.134 nb_sol=0 ticks=14561 tps=100 nb_sec=145 case_no=146 label=Case6.134 nb_sol=0 ticks=27545 tps=100 nb_sec=275 case_no=146 label=Case6.134 nb_sol=0 ticks=22058 tps=100 nb_sec=220 case_no=146 label=Case6.134 nb_sol=0 ticks=16907 tps=100 nb_sec=169 case_no=146 label=Case6.134 nb_sol=0 ticks=14845 tps=100 nb_sec=148 case_no=146 label=Case6.134 nb_sol=0 ticks=9827 tps=100 nb_sec=98 case_no=146 label=Case6.134 nb_sol=0 ticks=17342 tps=100 nb_sec=173 case_no=146 label=Case6.134 nb_sol=0 ticks=16617 tps=100 nb_sec=166 case_no=146 label=Case6.134 nb_sol=0 ticks=10771 tps=100 nb_sec=107 case_no=146 label=Case6.134 nb_sol=0 ticks=17745 tps=100 nb_sec=177 case_no=146 label=Case6.134 nb_sol=0 ticks=11118 tps=100 nb_sec=111 case_no=146 label=Case6.134 nb_sol=0 ticks=6622 tps=100 nb_sec=66 case_no=146 label=Case6.134 nb_sol=0 ticks=37047 tps=100 nb_sec=370 case_no=146 label=Case6.134 nb_sol=0 ticks=16817 tps=100 nb_sec=168 case_no=146 label=Case6.134 nb_sol=0 ticks=20885 tps=100 nb_sec=208 case_no=146 label=Case6.134 nb_sol=0 ticks=33689 tps=100 nb_sec=336 case_no=146 label=Case6.134 nb_sol=0 ticks=16012 tps=100 nb_sec=160 case_no=146 label=Case6.134 nb_sol=0 ticks=16213 tps=100 nb_sec=162 case_no=146 label=Case6.134 nb_sol=0 ticks=21090 tps=100 nb_sec=210 case_no=146 label=Case6.134 nb_sol=0 ticks=11531 tps=100 nb_sec=115 case_no=146 label=Case6.134 nb_sol=0 ticks=9766 tps=100 nb_sec=97 case_no=146 label=Case6.134 nb_sol=0 ticks=18626 tps=100 nb_sec=186 case_no=146 label=Case6.134 nb_sol=0 ticks=24573 tps=100 nb_sec=245 case_no=146 label=Case6.134 nb_sol=0 ticks=10554 tps=100 nb_sec=105 case_no=146 label=Case6.134 nb_sol=0 ticks=16106 tps=100 nb_sec=161 case_no=146 label=Case6.134 nb_sol=0 ticks=12996 tps=100 nb_sec=129 case_no=146 label=Case6.134 nb_sol=0 ticks=8132 tps=100 nb_sec=81 case_no=146 label=Case6.134 nb_sol=0 ticks=30472 tps=100 nb_sec=304 case_no=146 label=Case6.134 nb_sol=0 ticks=12836 tps=100 nb_sec=128 case_no=146 label=Case6.134 nb_sol=0 ticks=14876 tps=100 nb_sec=148 case_no=146 label=Case6.134 nb_sol=0 ticks=21125 tps=100 nb_sec=211 case_no=146 label=Case6.134 nb_sol=0 ticks=24317 tps=100 nb_sec=243 case_no=146 label=Case6.134 nb_sol=0 ticks=7407 tps=100 nb_sec=74 case_no=146 label=Case6.134 nb_sol=0 ticks=21214 tps=100 nb_sec=212 case_no=146 label=Case6.134 nb_sol=0 ticks=16897 tps=100 nb_sec=168 case_no=146 label=Case6.134 nb_sol=0 ticks=11336 tps=100 nb_sec=113 case_no=146 label=Case6.134 nb_sol=0 ticks=16501 tps=100 nb_sec=165 case_no=146 label=Case6.134 nb_sol=0 ticks=14749 tps=100 nb_sec=147 case_no=146 label=Case6.134 nb_sol=0 ticks=11500 tps=100 nb_sec=115 case_no=146 label=Case6.134 nb_sol=0 ticks=15919 tps=100 nb_sec=159 case_no=146 label=Case6.134 nb_sol=0 ticks=13907 tps=100 nb_sec=139 case_no=146 label=Case6.134 nb_sol=0 ticks=10413 tps=100 nb_sec=104 case_no=146 label=Case6.134 nb_sol=0 ticks=36657 tps=100 nb_sec=366 case_no=146 label=Case6.134 nb_sol=0 ticks=13163 tps=100 nb_sec=131 case_no=146 label=Case6.134 nb_sol=0 ticks=31646 tps=100 nb_sec=316 case_no=146 label=Case6.134 nb_sol=0 ticks=40541 tps=100 nb_sec=405 case_no=146 label=Case6.134 nb_sol=0 ticks=31865 tps=100 nb_sec=318 case_no=146 label=Case6.134 nb_sol=0 ticks=18658 tps=100 nb_sec=186 case_no=146 label=Case6.134 nb_sol=0 ticks=12955 tps=100 nb_sec=129 case_no=146 label=Case6.134 nb_sol=0 ticks=14138 tps=100 nb_sec=141 case_no=146 label=Case6.134 nb_sol=0 ticks=45545 tps=100 nb_sec=455 case_no=146 label=Case6.134 nb_sol=0 ticks=18086 tps=100 nb_sec=180 case_no=146 label=Case6.134 nb_sol=0 ticks=21367 tps=100 nb_sec=213 case_no=146 label=Case6.134 nb_sol=0 ticks=26059 tps=100 nb_sec=260 case_no=146 label=Case6.134 nb_sol=0 ticks=26629 tps=100 nb_sec=266 case_no=146 label=Case6.134 nb_sol=0 ticks=23807 tps=100 nb_sec=238 case_no=146 label=Case6.134 nb_sol=0 ticks=23531 tps=100 nb_sec=235 case_no=146 label=Case6.134 nb_sol=0 ticks=14694 tps=100 nb_sec=146 case_no=146 label=Case6.134 nb_sol=0 ticks=11433 tps=100 nb_sec=114 case_no=146 label=Case6.134 nb_sol=0 ticks=21885 tps=100 nb_sec=218 case_no=146 label=Case6.134 nb_sol=0 ticks=13990 tps=100 nb_sec=139 case_no=146 label=Case6.134 nb_sol=0 ticks=11657 tps=100 nb_sec=116 case_no=146 label=Case6.134 nb_sol=0 ticks=23565 tps=100 nb_sec=235 case_no=146 label=Case6.134 nb_sol=0 ticks=14876 tps=100 nb_sec=148 case_no=146 label=Case6.134 nb_sol=0 ticks=12449 tps=100 nb_sec=124 case_no=146 label=Case6.134 nb_sol=0 ticks=43981 tps=100 nb_sec=439 case_no=146 label=Case6.134 nb_sol=0 ticks=27051 tps=100 nb_sec=270 case_no=146 label=Case6.134 nb_sol=0 ticks=38329 tps=100 nb_sec=383 case_no=146 label=Case6.134 nb_sol=0 ticks=38928 tps=100 nb_sec=389 case_no=146 label=Case6.134 nb_sol=0 ticks=28419 tps=100 nb_sec=284 case_no=146 label=Case6.134 nb_sol=0 ticks=29087 tps=100 nb_sec=290 case_no=146 label=Case6.134 nb_sol=0 ticks=22874 tps=100 nb_sec=228 case_no=146 label=Case6.134 nb_sol=0 ticks=13363 tps=100 nb_sec=133 case_no=146 label=Case6.134 nb_sol=0 ticks=14061 tps=100 nb_sec=140 case_no=146 label=Case6.134 nb_sol=0 ticks=16067 tps=100 nb_sec=160 case_no=146 label=Case6.134 nb_sol=0 ticks=14550 tps=100 nb_sec=145 case_no=146 label=Case6.134 nb_sol=0 ticks=14106 tps=100 nb_sec=141 case_no=146 label=Case6.134 nb_sol=0 ticks=32852 tps=100 nb_sec=328 case_no=146 label=Case6.134 nb_sol=0 ticks=23787 tps=100 nb_sec=237 case_no=146 label=Case6.134 nb_sol=0 ticks=15941 tps=100 nb_sec=159 case_no=146 label=Case6.134 nb_sol=0 ticks=27737 tps=100 nb_sec=277 case_no=146 label=Case6.134 nb_sol=0 ticks=14915 tps=100 nb_sec=149 case_no=146 label=Case6.134 nb_sol=0 ticks=32007 tps=100 nb_sec=320 case_no=146 label=Case6.134 nb_sol=0 ticks=25330 tps=100 nb_sec=253 case_no=146 label=Case6.134 nb_sol=0 ticks=14796 tps=100 nb_sec=147 case_no=146 label=Case6.134 nb_sol=0 ticks=20284 tps=100 nb_sec=202 case_no=146 label=Case6.134 nb_sol=0 ticks=12617 tps=100 nb_sec=126 case_no=146 label=Case6.134 nb_sol=0 ticks=28545 tps=100 nb_sec=285 case_no=146 label=Case6.134 nb_sol=0 ticks=22740 tps=100 nb_sec=227 case_no=146 label=Case6.134 nb_sol=0 ticks=15945 tps=100 nb_sec=159 case_no=146 label=Case6.134 nb_sol=0 ticks=13598 tps=100 nb_sec=135 case_no=146 label=Case6.134 nb_sol=0 ticks=14242 tps=100 nb_sec=142 case_no=146 label=Case6.134 nb_sol=0 ticks=68497 tps=100 nb_sec=684 case_no=146 label=Case6.134 nb_sol=0 ticks=24734 tps=100 nb_sec=247 case_no=146 label=Case6.134 nb_sol=0 ticks=8651 tps=100 nb_sec=86 case_no=146 label=Case6.134 nb_sol=0 ticks=23215 tps=100 nb_sec=232 case_no=146 label=Case6.134 nb_sol=0 ticks=16938 tps=100 nb_sec=169 case_no=146 label=Case6.134 nb_sol=0 ticks=47572 tps=100 nb_sec=475 case_no=146 label=Case6.134 nb_sol=0 ticks=22645 tps=100 nb_sec=226 case_no=146 label=Case6.134 nb_sol=0 ticks=12902 tps=100 nb_sec=129 case_no=146 label=Case6.134 nb_sol=0 ticks=20340 tps=100 nb_sec=203 case_no=146 label=Case6.134 nb_sol=0 ticks=28868 tps=100 nb_sec=288 case_no=146 label=Case6.134 nb_sol=0 ticks=30079 tps=100 nb_sec=300 case_no=146 label=Case6.134 nb_sol=0 ticks=35857 tps=100 nb_sec=358 case_no=146 label=Case6.134 nb_sol=0 ticks=9010 tps=100 nb_sec=90 case_no=146 label=Case6.134 nb_sol=0 ticks=19037 tps=100 nb_sec=190 case_no=146 label=Case6.134 nb_sol=0 ticks=14967 tps=100 nb_sec=149 case_no=146 label=Case6.134 nb_sol=0 ticks=35727 tps=100 nb_sec=357 case_no=146 label=Case6.134 nb_sol=0 ticks=25802 tps=100 nb_sec=258 case_no=146 label=Case6.134 nb_sol=0 ticks=19295 tps=100 nb_sec=192 case_no=146 label=Case6.134 nb_sol=0 ticks=15672 tps=100 nb_sec=156 case_no=146 label=Case6.134 nb_sol=0 ticks=9465 tps=100 nb_sec=94 case_no=146 label=Case6.134 nb_sol=0 ticks=13360 tps=100 nb_sec=133 case_no=146 label=Case6.134 nb_sol=0 ticks=17748 tps=100 nb_sec=177 case_no=146 label=Case6.134 nb_sol=0 ticks=11974 tps=100 nb_sec=119 case_no=146 label=Case6.134 nb_sol=0 ticks=9489 tps=100 nb_sec=94 case_no=146 label=Case6.134 nb_sol=0 ticks=19393 tps=100 nb_sec=193 case_no=146 label=Case6.134 nb_sol=0 ticks=11632 tps=100 nb_sec=116 case_no=146 label=Case6.134 nb_sol=0 ticks=9987 tps=100 nb_sec=99 case_no=146 label=Case6.134 nb_sol=0 ticks=42208 tps=100 nb_sec=422 case_no=146 label=Case6.134 nb_sol=0 ticks=31876 tps=100 nb_sec=318 case_no=146 label=Case6.134 nb_sol=0 ticks=18025 tps=100 nb_sec=180 case_no=146 label=Case6.134 nb_sol=0 ticks=19746 tps=100 nb_sec=197 case_no=146 label=Case6.134 nb_sol=0 ticks=9896 tps=100 nb_sec=98 case_no=146 label=Case6.134 nb_sol=0 ticks=9321 tps=100 nb_sec=93 case_no=146 label=Case6.134 nb_sol=0 ticks=20627 tps=100 nb_sec=206 case_no=146 label=Case6.134 nb_sol=0 ticks=10561 tps=100 nb_sec=105 case_no=146 label=Case6.134 nb_sol=0 ticks=8109 tps=100 nb_sec=81 case_no=146 label=Case6.134 nb_sol=0 ticks=22530 tps=100 nb_sec=225 case_no=146 label=Case6.134 nb_sol=0 ticks=11539 tps=100 nb_sec=115 case_no=146 label=Case6.134 nb_sol=0 ticks=11802 tps=100 nb_sec=118 case_no=146 label=Case6.134 nb_sol=0 ticks=17621 tps=100 nb_sec=176 case_no=146 label=Case6.134 nb_sol=0 ticks=14699 tps=100 nb_sec=146 case_no=146 label=Case6.134 nb_sol=0 ticks=21215 tps=100 nb_sec=212 case_no=146 label=Case6.134 nb_sol=0 ticks=29395 tps=100 nb_sec=293 case_no=146 label=Case6.134 nb_sol=0 ticks=15638 tps=100 nb_sec=156 case_no=146 label=Case6.134 nb_sol=0 ticks=18483 tps=100 nb_sec=184 case_no=146 label=Case6.134 nb_sol=0 ticks=29060 tps=100 nb_sec=290 case_no=146 label=Case6.134 nb_sol=0 ticks=15391 tps=100 nb_sec=153 case_no=146 label=Case6.134 nb_sol=0 ticks=13521 tps=100 nb_sec=135 case_no=146 label=Case6.134 nb_sol=0 ticks=15240 tps=100 nb_sec=152 case_no=146 label=Case6.134 nb_sol=0 ticks=15068 tps=100 nb_sec=150 case_no=146 label=Case6.134 nb_sol=0 ticks=7412 tps=100 nb_sec=74 case_no=146 label=Case6.134 nb_sol=0 ticks=30904 tps=100 nb_sec=309 case_no=146 label=Case6.134 nb_sol=0 ticks=23169 tps=100 nb_sec=231 case_no=146 label=Case6.134 nb_sol=0 ticks=16233 tps=100 nb_sec=162 case_no=146 label=Case6.134 nb_sol=0 ticks=28223 tps=100 nb_sec=282 case_no=146 label=Case6.134 nb_sol=0 ticks=22787 tps=100 nb_sec=227 case_no=146 label=Case6.134 nb_sol=0 ticks=27232 tps=100 nb_sec=272 case_no=146 label=Case6.134 nb_sol=0 ticks=12841 tps=100 nb_sec=128 case_no=146 label=Case6.134 nb_sol=0 ticks=11343 tps=100 nb_sec=113 case_no=146 label=Case6.134 nb_sol=0 ticks=19435 tps=100 nb_sec=194 case_no=146 label=Case6.134 nb_sol=0 ticks=16510 tps=100 nb_sec=165 case_no=146 label=Case6.134 nb_sol=0 ticks=50385 tps=100 nb_sec=503 case_no=146 label=Case6.134 nb_sol=0 ticks=38320 tps=100 nb_sec=383 case_no=146 label=Case6.134 nb_sol=0 ticks=42956 tps=100 nb_sec=429 case_no=146 label=Case6.134 nb_sol=0 ticks=23672 tps=100 nb_sec=236 case_no=146 label=Case6.134 nb_sol=0 ticks=36862 tps=100 nb_sec=368 case_no=146 label=Case6.134 nb_sol=0 ticks=39262 tps=100 nb_sec=392 case_no=146 label=Case6.134 nb_sol=0 ticks=30324 tps=100 nb_sec=303 case_no=146 label=Case6.134 nb_sol=0 ticks=13686 tps=100 nb_sec=136 case_no=146 label=Case6.134 nb_sol=0 ticks=12766 tps=100 nb_sec=127 case_no=146 label=Case6.134 nb_sol=0 ticks=14278 tps=100 nb_sec=142 case_no=146 label=Case6.134 nb_sol=0 ticks=27014 tps=100 nb_sec=270 case_no=146 label=Case6.134 nb_sol=0 ticks=16732 tps=100 nb_sec=167 case_no=146 label=Case6.134 nb_sol=0 ticks=35968 tps=100 nb_sec=359 case_no=146 label=Case6.134 nb_sol=0 ticks=29477 tps=100 nb_sec=294 case_no=146 label=Case6.134 nb_sol=0 ticks=24769 tps=100 nb_sec=247 case_no=146 label=Case6.134 nb_sol=0 ticks=42210 tps=100 nb_sec=422 case_no=146 label=Case6.134 nb_sol=0 ticks=30234 tps=100 nb_sec=302 case_no=146 label=Case6.134 nb_sol=0 ticks=46974 tps=100 nb_sec=469 case_no=146 label=Case6.134 nb_sol=0 ticks=27328 tps=100 nb_sec=273 case_no=146 label=Case6.134 nb_sol=0 ticks=11173 tps=100 nb_sec=111 case_no=146 label=Case6.134 nb_sol=0 ticks=33008 tps=100 nb_sec=330 case_no=146 label=Case6.134 nb_sol=0 ticks=23707 tps=100 nb_sec=237 case_no=146 label=Case6.134 nb_sol=0 ticks=38599 tps=100 nb_sec=385 case_no=146 label=Case6.134 nb_sol=0 ticks=30722 tps=100 nb_sec=307 case_no=146 label=Case6.134 nb_sol=0 ticks=33047 tps=100 nb_sec=330 case_no=146 label=Case6.134 nb_sol=0 ticks=31239 tps=100 nb_sec=312 case_no=146 label=Case6.134 nb_sol=0 ticks=19427 tps=100 nb_sec=194 case_no=146 label=Case6.134 nb_sol=0 ticks=19836 tps=100 nb_sec=198 case_no=146 label=Case6.134 nb_sol=0 ticks=29017 tps=100 nb_sec=290 case_no=146 label=Case6.134 nb_sol=0 ticks=18955 tps=100 nb_sec=189 case_no=146 label=Case6.134 nb_sol=0 ticks=18892 tps=100 nb_sec=188 case_no=146 label=Case6.134 nb_sol=0 ticks=31423 tps=100 nb_sec=314 case_no=146 label=Case6.134 nb_sol=0 ticks=9827 tps=100 nb_sec=98 case_no=146 label=Case6.134 nb_sol=0 ticks=15126 tps=100 nb_sec=151 case_no=146 label=Case6.134 nb_sol=0 ticks=28040 tps=100 nb_sec=280 case_no=146 label=Case6.134 nb_sol=0 ticks=25418 tps=100 nb_sec=254 case_no=146 label=Case6.134 nb_sol=0 ticks=16561 tps=100 nb_sec=165 case_no=146 label=Case6.134 nb_sol=0 ticks=14551 tps=100 nb_sec=145 case_no=146 label=Case6.134 nb_sol=0 ticks=25521 tps=100 nb_sec=255 case_no=146 label=Case6.134 nb_sol=0 ticks=18431 tps=100 nb_sec=184 case_no=146 label=Case6.134 nb_sol=0 ticks=19289 tps=100 nb_sec=192 case_no=146 label=Case6.134 nb_sol=0 ticks=14766 tps=100 nb_sec=147 case_no=146 label=Case6.134 nb_sol=0 ticks=17539 tps=100 nb_sec=175 case_no=146 label=Case6.134 nb_sol=0 ticks=16267 tps=100 nb_sec=162 case_no=146 label=Case6.134 nb_sol=0 ticks=25226 tps=100 nb_sec=252 case_no=146 label=Case6.134 nb_sol=0 ticks=42013 tps=100 nb_sec=420 case_no=146 label=Case6.134 nb_sol=0 ticks=46452 tps=100 nb_sec=464 case_no=146 label=Case6.134 nb_sol=0 ticks=22514 tps=100 nb_sec=225 case_no=146 label=Case6.134 nb_sol=0 ticks=30117 tps=100 nb_sec=301 Nb_sol=0 Nb_sec=161895 1-20:58:15 or 44 hours missing cases: none