argc=5 -M 256 file2=30_select_Case6.147_starter_15_ checking files mod 256 from 0 to 255 case_no=159 label=Case6.147 nb_sol=0 ticks=422939 tps=100 nb_sec=4229 case_no=159 label=Case6.147 nb_sol=0 ticks=291581 tps=100 nb_sec=2915 case_no=159 label=Case6.147 nb_sol=0 ticks=214985 tps=100 nb_sec=2149 case_no=159 label=Case6.147 nb_sol=0 ticks=306545 tps=100 nb_sec=3065 case_no=159 label=Case6.147 nb_sol=0 ticks=181589 tps=100 nb_sec=1815 case_no=159 label=Case6.147 nb_sol=0 ticks=241068 tps=100 nb_sec=2410 case_no=159 label=Case6.147 nb_sol=0 ticks=369904 tps=100 nb_sec=3699 case_no=159 label=Case6.147 nb_sol=0 ticks=105799 tps=100 nb_sec=1057 case_no=159 label=Case6.147 nb_sol=0 ticks=297512 tps=100 nb_sec=2975 case_no=159 label=Case6.147 nb_sol=0 ticks=429648 tps=100 nb_sec=4296 case_no=159 label=Case6.147 nb_sol=0 ticks=348438 tps=100 nb_sec=3484 case_no=159 label=Case6.147 nb_sol=0 ticks=322300 tps=100 nb_sec=3223 case_no=159 label=Case6.147 nb_sol=0 ticks=459767 tps=100 nb_sec=4597 case_no=159 label=Case6.147 nb_sol=0 ticks=290007 tps=100 nb_sec=2900 case_no=159 label=Case6.147 nb_sol=0 ticks=154124 tps=100 nb_sec=1541 case_no=159 label=Case6.147 nb_sol=0 ticks=360002 tps=100 nb_sec=3600 case_no=159 label=Case6.147 nb_sol=0 ticks=215236 tps=100 nb_sec=2152 case_no=159 label=Case6.147 nb_sol=0 ticks=230029 tps=100 nb_sec=2300 case_no=159 label=Case6.147 nb_sol=0 ticks=382933 tps=100 nb_sec=3829 case_no=159 label=Case6.147 nb_sol=0 ticks=85880 tps=100 nb_sec=858 case_no=159 label=Case6.147 nb_sol=0 ticks=294844 tps=100 nb_sec=2948 case_no=159 label=Case6.147 nb_sol=0 ticks=237341 tps=100 nb_sec=2373 case_no=159 label=Case6.147 nb_sol=0 ticks=315967 tps=100 nb_sec=3159 case_no=159 label=Case6.147 nb_sol=0 ticks=517744 tps=100 nb_sec=5177 case_no=159 label=Case6.147 nb_sol=0 ticks=290502 tps=100 nb_sec=2905 case_no=159 label=Case6.147 nb_sol=0 ticks=350360 tps=100 nb_sec=3503 case_no=159 label=Case6.147 nb_sol=0 ticks=387182 tps=100 nb_sec=3871 case_no=159 label=Case6.147 nb_sol=0 ticks=242836 tps=100 nb_sec=2428 case_no=159 label=Case6.147 nb_sol=0 ticks=171793 tps=100 nb_sec=1717 case_no=159 label=Case6.147 nb_sol=0 ticks=160692 tps=100 nb_sec=1606 case_no=159 label=Case6.147 nb_sol=0 ticks=292204 tps=100 nb_sec=2922 case_no=159 label=Case6.147 nb_sol=0 ticks=171400 tps=100 nb_sec=1714 case_no=159 label=Case6.147 nb_sol=0 ticks=319752 tps=100 nb_sec=3197 case_no=159 label=Case6.147 nb_sol=0 ticks=177269 tps=100 nb_sec=1772 case_no=159 label=Case6.147 nb_sol=0 ticks=249031 tps=100 nb_sec=2490 case_no=159 label=Case6.147 nb_sol=0 ticks=166123 tps=100 nb_sec=1661 case_no=159 label=Case6.147 nb_sol=0 ticks=264479 tps=100 nb_sec=2644 case_no=159 label=Case6.147 nb_sol=0 ticks=188165 tps=100 nb_sec=1881 case_no=159 label=Case6.147 nb_sol=0 ticks=262372 tps=100 nb_sec=2623 case_no=159 label=Case6.147 nb_sol=0 ticks=272127 tps=100 nb_sec=2721 case_no=159 label=Case6.147 nb_sol=0 ticks=252193 tps=100 nb_sec=2521 case_no=159 label=Case6.147 nb_sol=0 ticks=255892 tps=100 nb_sec=2558 case_no=159 label=Case6.147 nb_sol=0 ticks=260648 tps=100 nb_sec=2606 case_no=159 label=Case6.147 nb_sol=0 ticks=439222 tps=100 nb_sec=4392 case_no=159 label=Case6.147 nb_sol=0 ticks=284773 tps=100 nb_sec=2847 case_no=159 label=Case6.147 nb_sol=0 ticks=352411 tps=100 nb_sec=3524 case_no=159 label=Case6.147 nb_sol=0 ticks=149589 tps=100 nb_sec=1495 case_no=159 label=Case6.147 nb_sol=0 ticks=475193 tps=100 nb_sec=4751 case_no=159 label=Case6.147 nb_sol=0 ticks=263727 tps=100 nb_sec=2637 case_no=159 label=Case6.147 nb_sol=0 ticks=182796 tps=100 nb_sec=1827 case_no=159 label=Case6.147 nb_sol=0 ticks=282011 tps=100 nb_sec=2820 case_no=159 label=Case6.147 nb_sol=0 ticks=331779 tps=100 nb_sec=3317 case_no=159 label=Case6.147 nb_sol=0 ticks=316778 tps=100 nb_sec=3167 case_no=159 label=Case6.147 nb_sol=0 ticks=189256 tps=100 nb_sec=1892 case_no=159 label=Case6.147 nb_sol=0 ticks=478812 tps=100 nb_sec=4788 case_no=159 label=Case6.147 nb_sol=0 ticks=318489 tps=100 nb_sec=3184 case_no=159 label=Case6.147 nb_sol=0 ticks=483643 tps=100 nb_sec=4836 case_no=159 label=Case6.147 nb_sol=0 ticks=251075 tps=100 nb_sec=2510 case_no=159 label=Case6.147 nb_sol=0 ticks=181247 tps=100 nb_sec=1812 case_no=159 label=Case6.147 nb_sol=0 ticks=365549 tps=100 nb_sec=3655 case_no=159 label=Case6.147 nb_sol=0 ticks=336687 tps=100 nb_sec=3366 case_no=159 label=Case6.147 nb_sol=0 ticks=362140 tps=100 nb_sec=3621 case_no=159 label=Case6.147 nb_sol=0 ticks=388929 tps=100 nb_sec=3889 case_no=159 label=Case6.147 nb_sol=0 ticks=433822 tps=100 nb_sec=4338 case_no=159 label=Case6.147 nb_sol=0 ticks=319565 tps=100 nb_sec=3195 case_no=159 label=Case6.147 nb_sol=0 ticks=352537 tps=100 nb_sec=3525 case_no=159 label=Case6.147 nb_sol=0 ticks=211267 tps=100 nb_sec=2112 case_no=159 label=Case6.147 nb_sol=0 ticks=255873 tps=100 nb_sec=2558 case_no=159 label=Case6.147 nb_sol=0 ticks=216106 tps=100 nb_sec=2161 case_no=159 label=Case6.147 nb_sol=0 ticks=261242 tps=100 nb_sec=2612 case_no=159 label=Case6.147 nb_sol=0 ticks=170689 tps=100 nb_sec=1706 case_no=159 label=Case6.147 nb_sol=0 ticks=297400 tps=100 nb_sec=2974 case_no=159 label=Case6.147 nb_sol=0 ticks=204691 tps=100 nb_sec=2046 case_no=159 label=Case6.147 nb_sol=0 ticks=313061 tps=100 nb_sec=3130 case_no=159 label=Case6.147 nb_sol=0 ticks=298686 tps=100 nb_sec=2986 case_no=159 label=Case6.147 nb_sol=0 ticks=285901 tps=100 nb_sec=2859 case_no=159 label=Case6.147 nb_sol=0 ticks=151283 tps=100 nb_sec=1512 case_no=159 label=Case6.147 nb_sol=0 ticks=490967 tps=100 nb_sec=4909 case_no=159 label=Case6.147 nb_sol=0 ticks=227361 tps=100 nb_sec=2273 case_no=159 label=Case6.147 nb_sol=0 ticks=153738 tps=100 nb_sec=1537 case_no=159 label=Case6.147 nb_sol=0 ticks=502385 tps=100 nb_sec=5023 case_no=159 label=Case6.147 nb_sol=0 ticks=117359 tps=100 nb_sec=1173 case_no=159 label=Case6.147 nb_sol=0 ticks=176358 tps=100 nb_sec=1763 case_no=159 label=Case6.147 nb_sol=0 ticks=514455 tps=100 nb_sec=5144 case_no=159 label=Case6.147 nb_sol=0 ticks=319757 tps=100 nb_sec=3197 case_no=159 label=Case6.147 nb_sol=0 ticks=260643 tps=100 nb_sec=2606 case_no=159 label=Case6.147 nb_sol=0 ticks=314003 tps=100 nb_sec=3140 case_no=159 label=Case6.147 nb_sol=0 ticks=292819 tps=100 nb_sec=2928 case_no=159 label=Case6.147 nb_sol=0 ticks=419906 tps=100 nb_sec=4199 case_no=159 label=Case6.147 nb_sol=0 ticks=338520 tps=100 nb_sec=3385 case_no=159 label=Case6.147 nb_sol=0 ticks=221715 tps=100 nb_sec=2217 case_no=159 label=Case6.147 nb_sol=0 ticks=206361 tps=100 nb_sec=2063 case_no=159 label=Case6.147 nb_sol=0 ticks=253097 tps=100 nb_sec=2530 case_no=159 label=Case6.147 nb_sol=0 ticks=569445 tps=100 nb_sec=5694 case_no=159 label=Case6.147 nb_sol=0 ticks=115470 tps=100 nb_sec=1154 case_no=159 label=Case6.147 nb_sol=0 ticks=129619 tps=100 nb_sec=1296 case_no=159 label=Case6.147 nb_sol=0 ticks=240132 tps=100 nb_sec=2401 case_no=159 label=Case6.147 nb_sol=0 ticks=436035 tps=100 nb_sec=4360 case_no=159 label=Case6.147 nb_sol=0 ticks=165313 tps=100 nb_sec=1653 case_no=159 label=Case6.147 nb_sol=0 ticks=362271 tps=100 nb_sec=3622 case_no=159 label=Case6.147 nb_sol=0 ticks=249898 tps=100 nb_sec=2498 case_no=159 label=Case6.147 nb_sol=0 ticks=358649 tps=100 nb_sec=3586 case_no=159 label=Case6.147 nb_sol=0 ticks=187870 tps=100 nb_sec=1878 case_no=159 label=Case6.147 nb_sol=0 ticks=334689 tps=100 nb_sec=3346 case_no=159 label=Case6.147 nb_sol=0 ticks=309113 tps=100 nb_sec=3091 case_no=159 label=Case6.147 nb_sol=0 ticks=283797 tps=100 nb_sec=2837 case_no=159 label=Case6.147 nb_sol=0 ticks=146101 tps=100 nb_sec=1461 case_no=159 label=Case6.147 nb_sol=0 ticks=209897 tps=100 nb_sec=2098 case_no=159 label=Case6.147 nb_sol=0 ticks=287532 tps=100 nb_sec=2875 case_no=159 label=Case6.147 nb_sol=0 ticks=410058 tps=100 nb_sec=4100 case_no=159 label=Case6.147 nb_sol=0 ticks=505012 tps=100 nb_sec=5050 case_no=159 label=Case6.147 nb_sol=0 ticks=260435 tps=100 nb_sec=2604 case_no=159 label=Case6.147 nb_sol=0 ticks=91790 tps=100 nb_sec=917 case_no=159 label=Case6.147 nb_sol=0 ticks=281112 tps=100 nb_sec=2811 case_no=159 label=Case6.147 nb_sol=0 ticks=417217 tps=100 nb_sec=4172 case_no=159 label=Case6.147 nb_sol=0 ticks=310987 tps=100 nb_sec=3109 case_no=159 label=Case6.147 nb_sol=0 ticks=471302 tps=100 nb_sec=4713 case_no=159 label=Case6.147 nb_sol=0 ticks=399748 tps=100 nb_sec=3997 case_no=159 label=Case6.147 nb_sol=0 ticks=393492 tps=100 nb_sec=3934 case_no=159 label=Case6.147 nb_sol=0 ticks=222665 tps=100 nb_sec=2226 case_no=159 label=Case6.147 nb_sol=0 ticks=213121 tps=100 nb_sec=2131 case_no=159 label=Case6.147 nb_sol=0 ticks=182587 tps=100 nb_sec=1825 case_no=159 label=Case6.147 nb_sol=0 ticks=124346 tps=100 nb_sec=1243 case_no=159 label=Case6.147 nb_sol=0 ticks=133503 tps=100 nb_sec=1335 case_no=159 label=Case6.147 nb_sol=0 ticks=128397 tps=100 nb_sec=1283 case_no=159 label=Case6.147 nb_sol=0 ticks=198560 tps=100 nb_sec=1985 case_no=159 label=Case6.147 nb_sol=0 ticks=217220 tps=100 nb_sec=2172 case_no=159 label=Case6.147 nb_sol=0 ticks=143434 tps=100 nb_sec=1434 case_no=159 label=Case6.147 nb_sol=0 ticks=134970 tps=100 nb_sec=1349 case_no=159 label=Case6.147 nb_sol=0 ticks=256535 tps=100 nb_sec=2565 case_no=159 label=Case6.147 nb_sol=0 ticks=259911 tps=100 nb_sec=2599 case_no=159 label=Case6.147 nb_sol=0 ticks=206095 tps=100 nb_sec=2060 case_no=159 label=Case6.147 nb_sol=0 ticks=226821 tps=100 nb_sec=2268 case_no=159 label=Case6.147 nb_sol=0 ticks=226371 tps=100 nb_sec=2263 case_no=159 label=Case6.147 nb_sol=0 ticks=301308 tps=100 nb_sec=3013 case_no=159 label=Case6.147 nb_sol=0 ticks=250301 tps=100 nb_sec=2503 case_no=159 label=Case6.147 nb_sol=0 ticks=127847 tps=100 nb_sec=1278 case_no=159 label=Case6.147 nb_sol=0 ticks=195666 tps=100 nb_sec=1956 case_no=159 label=Case6.147 nb_sol=0 ticks=171365 tps=100 nb_sec=1713 case_no=159 label=Case6.147 nb_sol=0 ticks=196997 tps=100 nb_sec=1969 case_no=159 label=Case6.147 nb_sol=0 ticks=333800 tps=100 nb_sec=3338 case_no=159 label=Case6.147 nb_sol=0 ticks=220216 tps=100 nb_sec=2202 case_no=159 label=Case6.147 nb_sol=0 ticks=305589 tps=100 nb_sec=3055 case_no=159 label=Case6.147 nb_sol=0 ticks=222538 tps=100 nb_sec=2225 case_no=159 label=Case6.147 nb_sol=0 ticks=276489 tps=100 nb_sec=2764 case_no=159 label=Case6.147 nb_sol=0 ticks=301406 tps=100 nb_sec=3014 case_no=159 label=Case6.147 nb_sol=0 ticks=251511 tps=100 nb_sec=2515 case_no=159 label=Case6.147 nb_sol=0 ticks=262003 tps=100 nb_sec=2620 case_no=159 label=Case6.147 nb_sol=0 ticks=269289 tps=100 nb_sec=2692 case_no=159 label=Case6.147 nb_sol=0 ticks=205202 tps=100 nb_sec=2052 case_no=159 label=Case6.147 nb_sol=0 ticks=305769 tps=100 nb_sec=3057 case_no=159 label=Case6.147 nb_sol=0 ticks=321687 tps=100 nb_sec=3216 case_no=159 label=Case6.147 nb_sol=0 ticks=289994 tps=100 nb_sec=2899 case_no=159 label=Case6.147 nb_sol=0 ticks=356248 tps=100 nb_sec=3562 case_no=159 label=Case6.147 nb_sol=0 ticks=229376 tps=100 nb_sec=2293 case_no=159 label=Case6.147 nb_sol=0 ticks=256359 tps=100 nb_sec=2563 case_no=159 label=Case6.147 nb_sol=0 ticks=250738 tps=100 nb_sec=2507 case_no=159 label=Case6.147 nb_sol=0 ticks=112052 tps=100 nb_sec=1120 case_no=159 label=Case6.147 nb_sol=0 ticks=278900 tps=100 nb_sec=2789 case_no=159 label=Case6.147 nb_sol=0 ticks=326186 tps=100 nb_sec=3261 case_no=159 label=Case6.147 nb_sol=0 ticks=254397 tps=100 nb_sec=2543 case_no=159 label=Case6.147 nb_sol=0 ticks=317938 tps=100 nb_sec=3179 case_no=159 label=Case6.147 nb_sol=0 ticks=236212 tps=100 nb_sec=2362 case_no=159 label=Case6.147 nb_sol=0 ticks=418503 tps=100 nb_sec=4185 case_no=159 label=Case6.147 nb_sol=0 ticks=274569 tps=100 nb_sec=2745 case_no=159 label=Case6.147 nb_sol=0 ticks=319501 tps=100 nb_sec=3195 case_no=159 label=Case6.147 nb_sol=0 ticks=417434 tps=100 nb_sec=4174 case_no=159 label=Case6.147 nb_sol=0 ticks=433912 tps=100 nb_sec=4339 case_no=159 label=Case6.147 nb_sol=0 ticks=406534 tps=100 nb_sec=4065 case_no=159 label=Case6.147 nb_sol=0 ticks=385550 tps=100 nb_sec=3855 case_no=159 label=Case6.147 nb_sol=0 ticks=493009 tps=100 nb_sec=4930 case_no=159 label=Case6.147 nb_sol=0 ticks=232087 tps=100 nb_sec=2320 case_no=159 label=Case6.147 nb_sol=0 ticks=391552 tps=100 nb_sec=3915 case_no=159 label=Case6.147 nb_sol=0 ticks=296772 tps=100 nb_sec=2967 case_no=159 label=Case6.147 nb_sol=0 ticks=216002 tps=100 nb_sec=2160 case_no=159 label=Case6.147 nb_sol=0 ticks=278631 tps=100 nb_sec=2786 case_no=159 label=Case6.147 nb_sol=0 ticks=232692 tps=100 nb_sec=2326 case_no=159 label=Case6.147 nb_sol=0 ticks=289161 tps=100 nb_sec=2891 case_no=159 label=Case6.147 nb_sol=0 ticks=130660 tps=100 nb_sec=1306 case_no=159 label=Case6.147 nb_sol=0 ticks=226966 tps=100 nb_sec=2269 case_no=159 label=Case6.147 nb_sol=0 ticks=334154 tps=100 nb_sec=3341 case_no=159 label=Case6.147 nb_sol=0 ticks=211202 tps=100 nb_sec=2112 case_no=159 label=Case6.147 nb_sol=0 ticks=288738 tps=100 nb_sec=2887 case_no=159 label=Case6.147 nb_sol=0 ticks=290717 tps=100 nb_sec=2907 case_no=159 label=Case6.147 nb_sol=0 ticks=324216 tps=100 nb_sec=3242 case_no=159 label=Case6.147 nb_sol=0 ticks=230660 tps=100 nb_sec=2306 case_no=159 label=Case6.147 nb_sol=0 ticks=171299 tps=100 nb_sec=1712 case_no=159 label=Case6.147 nb_sol=0 ticks=306328 tps=100 nb_sec=3063 case_no=159 label=Case6.147 nb_sol=0 ticks=135400 tps=100 nb_sec=1354 case_no=159 label=Case6.147 nb_sol=0 ticks=332558 tps=100 nb_sec=3325 case_no=159 label=Case6.147 nb_sol=0 ticks=238140 tps=100 nb_sec=2381 case_no=159 label=Case6.147 nb_sol=0 ticks=201961 tps=100 nb_sec=2019 case_no=159 label=Case6.147 nb_sol=0 ticks=260836 tps=100 nb_sec=2608 case_no=159 label=Case6.147 nb_sol=0 ticks=303456 tps=100 nb_sec=3034 case_no=159 label=Case6.147 nb_sol=0 ticks=148483 tps=100 nb_sec=1484 case_no=159 label=Case6.147 nb_sol=0 ticks=157263 tps=100 nb_sec=1572 case_no=159 label=Case6.147 nb_sol=0 ticks=321379 tps=100 nb_sec=3213 case_no=159 label=Case6.147 nb_sol=0 ticks=336830 tps=100 nb_sec=3368 case_no=159 label=Case6.147 nb_sol=0 ticks=425003 tps=100 nb_sec=4250 case_no=159 label=Case6.147 nb_sol=0 ticks=253758 tps=100 nb_sec=2537 case_no=159 label=Case6.147 nb_sol=0 ticks=160650 tps=100 nb_sec=1606 case_no=159 label=Case6.147 nb_sol=0 ticks=108871 tps=100 nb_sec=1088 case_no=159 label=Case6.147 nb_sol=0 ticks=278636 tps=100 nb_sec=2786 case_no=159 label=Case6.147 nb_sol=0 ticks=256986 tps=100 nb_sec=2569 case_no=159 label=Case6.147 nb_sol=0 ticks=253231 tps=100 nb_sec=2532 case_no=159 label=Case6.147 nb_sol=0 ticks=281483 tps=100 nb_sec=2814 case_no=159 label=Case6.147 nb_sol=0 ticks=141053 tps=100 nb_sec=1410 case_no=159 label=Case6.147 nb_sol=0 ticks=407422 tps=100 nb_sec=4074 case_no=159 label=Case6.147 nb_sol=0 ticks=183520 tps=100 nb_sec=1835 case_no=159 label=Case6.147 nb_sol=0 ticks=388012 tps=100 nb_sec=3880 case_no=159 label=Case6.147 nb_sol=0 ticks=280403 tps=100 nb_sec=2804 case_no=159 label=Case6.147 nb_sol=0 ticks=172983 tps=100 nb_sec=1729 case_no=159 label=Case6.147 nb_sol=0 ticks=349185 tps=100 nb_sec=3491 case_no=159 label=Case6.147 nb_sol=0 ticks=354303 tps=100 nb_sec=3543 case_no=159 label=Case6.147 nb_sol=0 ticks=209427 tps=100 nb_sec=2094 case_no=159 label=Case6.147 nb_sol=0 ticks=313024 tps=100 nb_sec=3130 case_no=159 label=Case6.147 nb_sol=0 ticks=163699 tps=100 nb_sec=1636 case_no=159 label=Case6.147 nb_sol=0 ticks=263947 tps=100 nb_sec=2639 case_no=159 label=Case6.147 nb_sol=0 ticks=121991 tps=100 nb_sec=1219 case_no=159 label=Case6.147 nb_sol=0 ticks=195804 tps=100 nb_sec=1958 case_no=159 label=Case6.147 nb_sol=0 ticks=110594 tps=100 nb_sec=1105 case_no=159 label=Case6.147 nb_sol=0 ticks=229022 tps=100 nb_sec=2290 case_no=159 label=Case6.147 nb_sol=0 ticks=158864 tps=100 nb_sec=1588 case_no=159 label=Case6.147 nb_sol=0 ticks=256710 tps=100 nb_sec=2567 case_no=159 label=Case6.147 nb_sol=0 ticks=344650 tps=100 nb_sec=3446 case_no=159 label=Case6.147 nb_sol=0 ticks=412047 tps=100 nb_sec=4120 case_no=159 label=Case6.147 nb_sol=0 ticks=253027 tps=100 nb_sec=2530 case_no=159 label=Case6.147 nb_sol=0 ticks=316142 tps=100 nb_sec=3161 case_no=159 label=Case6.147 nb_sol=0 ticks=238207 tps=100 nb_sec=2382 case_no=159 label=Case6.147 nb_sol=0 ticks=261736 tps=100 nb_sec=2617 case_no=159 label=Case6.147 nb_sol=0 ticks=182826 tps=100 nb_sec=1828 case_no=159 label=Case6.147 nb_sol=0 ticks=261907 tps=100 nb_sec=2619 case_no=159 label=Case6.147 nb_sol=0 ticks=235848 tps=100 nb_sec=2358 case_no=159 label=Case6.147 nb_sol=0 ticks=326295 tps=100 nb_sec=3262 case_no=159 label=Case6.147 nb_sol=0 ticks=174536 tps=100 nb_sec=1745 case_no=159 label=Case6.147 nb_sol=0 ticks=185549 tps=100 nb_sec=1855 case_no=159 label=Case6.147 nb_sol=0 ticks=210976 tps=100 nb_sec=2109 case_no=159 label=Case6.147 nb_sol=0 ticks=170444 tps=100 nb_sec=1704 case_no=159 label=Case6.147 nb_sol=0 ticks=344193 tps=100 nb_sec=3441 case_no=159 label=Case6.147 nb_sol=0 ticks=349524 tps=100 nb_sec=3495 case_no=159 label=Case6.147 nb_sol=0 ticks=406892 tps=100 nb_sec=4068 case_no=159 label=Case6.147 nb_sol=0 ticks=266173 tps=100 nb_sec=2661 case_no=159 label=Case6.147 nb_sol=0 ticks=260416 tps=100 nb_sec=2604 case_no=159 label=Case6.147 nb_sol=0 ticks=203627 tps=100 nb_sec=2036 case_no=159 label=Case6.147 nb_sol=0 ticks=242903 tps=100 nb_sec=2429 case_no=159 label=Case6.147 nb_sol=0 ticks=117118 tps=100 nb_sec=1171 case_no=159 label=Case6.147 nb_sol=0 ticks=207452 tps=100 nb_sec=2074 case_no=159 label=Case6.147 nb_sol=0 ticks=150229 tps=100 nb_sec=1502 case_no=159 label=Case6.147 nb_sol=0 ticks=178677 tps=100 nb_sec=1786 case_no=159 label=Case6.147 nb_sol=0 ticks=111227 tps=100 nb_sec=1112 case_no=159 label=Case6.147 nb_sol=0 ticks=297036 tps=100 nb_sec=2970 case_no=159 label=Case6.147 nb_sol=0 ticks=233052 tps=100 nb_sec=2330 case_no=159 label=Case6.147 nb_sol=0 ticks=253415 tps=100 nb_sec=2534 case_no=159 label=Case6.147 nb_sol=0 ticks=130305 tps=100 nb_sec=1303 case_no=159 label=Case6.147 nb_sol=0 ticks=277762 tps=100 nb_sec=2777 case_no=159 label=Case6.147 nb_sol=0 ticks=120350 tps=100 nb_sec=1203 Nb_sol=0 Nb_sec=691239 8-0:0:39 or 192 hours missing cases: none