argc=5 -M 256 file2=30_select_Case6.96_starter_15_ checking files mod 256 from 0 to 255 case_no=108 label=Case6.96 nb_sol=0 ticks=2122 tps=100 nb_sec=21 case_no=108 label=Case6.96 nb_sol=0 ticks=2614 tps=100 nb_sec=26 case_no=108 label=Case6.96 nb_sol=0 ticks=2122 tps=100 nb_sec=21 case_no=108 label=Case6.96 nb_sol=0 ticks=1991 tps=100 nb_sec=19 case_no=108 label=Case6.96 nb_sol=0 ticks=1817 tps=100 nb_sec=18 case_no=108 label=Case6.96 nb_sol=0 ticks=1607 tps=100 nb_sec=16 case_no=108 label=Case6.96 nb_sol=0 ticks=2437 tps=100 nb_sec=24 case_no=108 label=Case6.96 nb_sol=0 ticks=2061 tps=100 nb_sec=20 case_no=108 label=Case6.96 nb_sol=0 ticks=3095 tps=100 nb_sec=30 case_no=108 label=Case6.96 nb_sol=0 ticks=2178 tps=100 nb_sec=21 case_no=108 label=Case6.96 nb_sol=0 ticks=2989 tps=100 nb_sec=29 case_no=108 label=Case6.96 nb_sol=0 ticks=2275 tps=100 nb_sec=22 case_no=108 label=Case6.96 nb_sol=0 ticks=2581 tps=100 nb_sec=25 case_no=108 label=Case6.96 nb_sol=0 ticks=2003 tps=100 nb_sec=20 case_no=108 label=Case6.96 nb_sol=0 ticks=2326 tps=100 nb_sec=23 case_no=108 label=Case6.96 nb_sol=0 ticks=1165 tps=100 nb_sec=11 case_no=108 label=Case6.96 nb_sol=0 ticks=2770 tps=100 nb_sec=27 case_no=108 label=Case6.96 nb_sol=0 ticks=2812 tps=100 nb_sec=28 case_no=108 label=Case6.96 nb_sol=0 ticks=3028 tps=100 nb_sec=30 case_no=108 label=Case6.96 nb_sol=0 ticks=2710 tps=100 nb_sec=27 case_no=108 label=Case6.96 nb_sol=0 ticks=1222 tps=100 nb_sec=12 case_no=108 label=Case6.96 nb_sol=0 ticks=2449 tps=100 nb_sec=24 case_no=108 label=Case6.96 nb_sol=0 ticks=2223 tps=100 nb_sec=22 case_no=108 label=Case6.96 nb_sol=0 ticks=2119 tps=100 nb_sec=21 case_no=108 label=Case6.96 nb_sol=0 ticks=2996 tps=100 nb_sec=29 case_no=108 label=Case6.96 nb_sol=0 ticks=2788 tps=100 nb_sec=27 case_no=108 label=Case6.96 nb_sol=0 ticks=2458 tps=100 nb_sec=24 case_no=108 label=Case6.96 nb_sol=0 ticks=2162 tps=100 nb_sec=21 case_no=108 label=Case6.96 nb_sol=0 ticks=2442 tps=100 nb_sec=24 case_no=108 label=Case6.96 nb_sol=0 ticks=1801 tps=100 nb_sec=18 case_no=108 label=Case6.96 nb_sol=0 ticks=2244 tps=100 nb_sec=22 case_no=108 label=Case6.96 nb_sol=0 ticks=993 tps=100 nb_sec=9 case_no=108 label=Case6.96 nb_sol=0 ticks=1614 tps=100 nb_sec=16 case_no=108 label=Case6.96 nb_sol=0 ticks=1895 tps=100 nb_sec=18 case_no=108 label=Case6.96 nb_sol=0 ticks=2138 tps=100 nb_sec=21 case_no=108 label=Case6.96 nb_sol=0 ticks=1667 tps=100 nb_sec=16 case_no=108 label=Case6.96 nb_sol=0 ticks=2480 tps=100 nb_sec=24 case_no=108 label=Case6.96 nb_sol=0 ticks=1907 tps=100 nb_sec=19 case_no=108 label=Case6.96 nb_sol=0 ticks=2525 tps=100 nb_sec=25 case_no=108 label=Case6.96 nb_sol=0 ticks=1387 tps=100 nb_sec=13 case_no=108 label=Case6.96 nb_sol=0 ticks=2652 tps=100 nb_sec=26 case_no=108 label=Case6.96 nb_sol=0 ticks=2045 tps=100 nb_sec=20 case_no=108 label=Case6.96 nb_sol=0 ticks=2809 tps=100 nb_sec=28 case_no=108 label=Case6.96 nb_sol=0 ticks=1232 tps=100 nb_sec=12 case_no=108 label=Case6.96 nb_sol=0 ticks=2621 tps=100 nb_sec=26 case_no=108 label=Case6.96 nb_sol=0 ticks=1918 tps=100 nb_sec=19 case_no=108 label=Case6.96 nb_sol=0 ticks=2535 tps=100 nb_sec=25 case_no=108 label=Case6.96 nb_sol=0 ticks=2854 tps=100 nb_sec=28 case_no=108 label=Case6.96 nb_sol=0 ticks=2493 tps=100 nb_sec=24 case_no=108 label=Case6.96 nb_sol=0 ticks=2043 tps=100 nb_sec=20 case_no=108 label=Case6.96 nb_sol=0 ticks=1640 tps=100 nb_sec=16 case_no=108 label=Case6.96 nb_sol=0 ticks=2151 tps=100 nb_sec=21 case_no=108 label=Case6.96 nb_sol=0 ticks=2198 tps=100 nb_sec=21 case_no=108 label=Case6.96 nb_sol=0 ticks=1807 tps=100 nb_sec=18 case_no=108 label=Case6.96 nb_sol=0 ticks=2666 tps=100 nb_sec=26 case_no=108 label=Case6.96 nb_sol=0 ticks=2477 tps=100 nb_sec=24 case_no=108 label=Case6.96 nb_sol=0 ticks=1557 tps=100 nb_sec=15 case_no=108 label=Case6.96 nb_sol=0 ticks=1827 tps=100 nb_sec=18 case_no=108 label=Case6.96 nb_sol=0 ticks=2681 tps=100 nb_sec=26 case_no=108 label=Case6.96 nb_sol=0 ticks=1984 tps=100 nb_sec=19 case_no=108 label=Case6.96 nb_sol=0 ticks=2099 tps=100 nb_sec=20 case_no=108 label=Case6.96 nb_sol=0 ticks=1965 tps=100 nb_sec=19 case_no=108 label=Case6.96 nb_sol=0 ticks=1749 tps=100 nb_sec=17 case_no=108 label=Case6.96 nb_sol=0 ticks=1794 tps=100 nb_sec=17 case_no=108 label=Case6.96 nb_sol=0 ticks=2627 tps=100 nb_sec=26 case_no=108 label=Case6.96 nb_sol=0 ticks=2367 tps=100 nb_sec=23 case_no=108 label=Case6.96 nb_sol=0 ticks=2226 tps=100 nb_sec=22 case_no=108 label=Case6.96 nb_sol=0 ticks=1955 tps=100 nb_sec=19 case_no=108 label=Case6.96 nb_sol=0 ticks=1780 tps=100 nb_sec=17 case_no=108 label=Case6.96 nb_sol=0 ticks=1170 tps=100 nb_sec=11 case_no=108 label=Case6.96 nb_sol=0 ticks=1763 tps=100 nb_sec=17 case_no=108 label=Case6.96 nb_sol=0 ticks=1988 tps=100 nb_sec=19 case_no=108 label=Case6.96 nb_sol=0 ticks=2200 tps=100 nb_sec=22 case_no=108 label=Case6.96 nb_sol=0 ticks=2117 tps=100 nb_sec=21 case_no=108 label=Case6.96 nb_sol=0 ticks=2068 tps=100 nb_sec=20 case_no=108 label=Case6.96 nb_sol=0 ticks=2261 tps=100 nb_sec=22 case_no=108 label=Case6.96 nb_sol=0 ticks=2579 tps=100 nb_sec=25 case_no=108 label=Case6.96 nb_sol=0 ticks=2145 tps=100 nb_sec=21 case_no=108 label=Case6.96 nb_sol=0 ticks=2392 tps=100 nb_sec=23 case_no=108 label=Case6.96 nb_sol=0 ticks=1651 tps=100 nb_sec=16 case_no=108 label=Case6.96 nb_sol=0 ticks=1181 tps=100 nb_sec=11 case_no=108 label=Case6.96 nb_sol=0 ticks=1949 tps=100 nb_sec=19 case_no=108 label=Case6.96 nb_sol=0 ticks=2496 tps=100 nb_sec=24 case_no=108 label=Case6.96 nb_sol=0 ticks=1524 tps=100 nb_sec=15 case_no=108 label=Case6.96 nb_sol=0 ticks=2549 tps=100 nb_sec=25 case_no=108 label=Case6.96 nb_sol=0 ticks=2620 tps=100 nb_sec=26 case_no=108 label=Case6.96 nb_sol=0 ticks=2439 tps=100 nb_sec=24 case_no=108 label=Case6.96 nb_sol=0 ticks=1566 tps=100 nb_sec=15 case_no=108 label=Case6.96 nb_sol=0 ticks=2197 tps=100 nb_sec=21 case_no=108 label=Case6.96 nb_sol=0 ticks=2435 tps=100 nb_sec=24 case_no=108 label=Case6.96 nb_sol=0 ticks=2873 tps=100 nb_sec=28 case_no=108 label=Case6.96 nb_sol=0 ticks=3493 tps=100 nb_sec=34 case_no=108 label=Case6.96 nb_sol=0 ticks=2327 tps=100 nb_sec=23 case_no=108 label=Case6.96 nb_sol=0 ticks=1468 tps=100 nb_sec=14 case_no=108 label=Case6.96 nb_sol=0 ticks=1059 tps=100 nb_sec=10 case_no=108 label=Case6.96 nb_sol=0 ticks=2030 tps=100 nb_sec=20 case_no=108 label=Case6.96 nb_sol=0 ticks=2234 tps=100 nb_sec=22 case_no=108 label=Case6.96 nb_sol=0 ticks=1437 tps=100 nb_sec=14 case_no=108 label=Case6.96 nb_sol=0 ticks=1503 tps=100 nb_sec=15 case_no=108 label=Case6.96 nb_sol=0 ticks=1386 tps=100 nb_sec=13 case_no=108 label=Case6.96 nb_sol=0 ticks=2011 tps=100 nb_sec=20 case_no=108 label=Case6.96 nb_sol=0 ticks=1933 tps=100 nb_sec=19 case_no=108 label=Case6.96 nb_sol=0 ticks=2341 tps=100 nb_sec=23 case_no=108 label=Case6.96 nb_sol=0 ticks=875 tps=100 nb_sec=8 case_no=108 label=Case6.96 nb_sol=0 ticks=2109 tps=100 nb_sec=21 case_no=108 label=Case6.96 nb_sol=0 ticks=2060 tps=100 nb_sec=20 case_no=108 label=Case6.96 nb_sol=0 ticks=1755 tps=100 nb_sec=17 case_no=108 label=Case6.96 nb_sol=0 ticks=1823 tps=100 nb_sec=18 case_no=108 label=Case6.96 nb_sol=0 ticks=2303 tps=100 nb_sec=23 case_no=108 label=Case6.96 nb_sol=0 ticks=1617 tps=100 nb_sec=16 case_no=108 label=Case6.96 nb_sol=0 ticks=2320 tps=100 nb_sec=23 case_no=108 label=Case6.96 nb_sol=0 ticks=1486 tps=100 nb_sec=14 case_no=108 label=Case6.96 nb_sol=0 ticks=4114 tps=100 nb_sec=41 case_no=108 label=Case6.96 nb_sol=0 ticks=2076 tps=100 nb_sec=20 case_no=108 label=Case6.96 nb_sol=0 ticks=2220 tps=100 nb_sec=22 case_no=108 label=Case6.96 nb_sol=0 ticks=1232 tps=100 nb_sec=12 case_no=108 label=Case6.96 nb_sol=0 ticks=1867 tps=100 nb_sec=18 case_no=108 label=Case6.96 nb_sol=0 ticks=1993 tps=100 nb_sec=19 case_no=108 label=Case6.96 nb_sol=0 ticks=2230 tps=100 nb_sec=22 case_no=108 label=Case6.96 nb_sol=0 ticks=1966 tps=100 nb_sec=19 case_no=108 label=Case6.96 nb_sol=0 ticks=2368 tps=100 nb_sec=23 case_no=108 label=Case6.96 nb_sol=0 ticks=2151 tps=100 nb_sec=21 case_no=108 label=Case6.96 nb_sol=0 ticks=2136 tps=100 nb_sec=21 case_no=108 label=Case6.96 nb_sol=0 ticks=2225 tps=100 nb_sec=22 case_no=108 label=Case6.96 nb_sol=0 ticks=1977 tps=100 nb_sec=19 case_no=108 label=Case6.96 nb_sol=0 ticks=2135 tps=100 nb_sec=21 case_no=108 label=Case6.96 nb_sol=0 ticks=2919 tps=100 nb_sec=29 case_no=108 label=Case6.96 nb_sol=0 ticks=2590 tps=100 nb_sec=25 case_no=108 label=Case6.96 nb_sol=0 ticks=1679 tps=100 nb_sec=16 case_no=108 label=Case6.96 nb_sol=0 ticks=1696 tps=100 nb_sec=16 case_no=108 label=Case6.96 nb_sol=0 ticks=2217 tps=100 nb_sec=22 case_no=108 label=Case6.96 nb_sol=0 ticks=2460 tps=100 nb_sec=24 case_no=108 label=Case6.96 nb_sol=0 ticks=1110 tps=100 nb_sec=11 case_no=108 label=Case6.96 nb_sol=0 ticks=2267 tps=100 nb_sec=22 case_no=108 label=Case6.96 nb_sol=0 ticks=2378 tps=100 nb_sec=23 case_no=108 label=Case6.96 nb_sol=0 ticks=1630 tps=100 nb_sec=16 case_no=108 label=Case6.96 nb_sol=0 ticks=2579 tps=100 nb_sec=25 case_no=108 label=Case6.96 nb_sol=0 ticks=2936 tps=100 nb_sec=29 case_no=108 label=Case6.96 nb_sol=0 ticks=2382 tps=100 nb_sec=23 case_no=108 label=Case6.96 nb_sol=0 ticks=2536 tps=100 nb_sec=25 case_no=108 label=Case6.96 nb_sol=0 ticks=1732 tps=100 nb_sec=17 case_no=108 label=Case6.96 nb_sol=0 ticks=3151 tps=100 nb_sec=31 case_no=108 label=Case6.96 nb_sol=0 ticks=2618 tps=100 nb_sec=26 case_no=108 label=Case6.96 nb_sol=0 ticks=3356 tps=100 nb_sec=33 case_no=108 label=Case6.96 nb_sol=0 ticks=1478 tps=100 nb_sec=14 case_no=108 label=Case6.96 nb_sol=0 ticks=2613 tps=100 nb_sec=26 case_no=108 label=Case6.96 nb_sol=0 ticks=1672 tps=100 nb_sec=16 case_no=108 label=Case6.96 nb_sol=0 ticks=2260 tps=100 nb_sec=22 case_no=108 label=Case6.96 nb_sol=0 ticks=2281 tps=100 nb_sec=22 case_no=108 label=Case6.96 nb_sol=0 ticks=2701 tps=100 nb_sec=27 case_no=108 label=Case6.96 nb_sol=0 ticks=2361 tps=100 nb_sec=23 case_no=108 label=Case6.96 nb_sol=0 ticks=2020 tps=100 nb_sec=20 case_no=108 label=Case6.96 nb_sol=0 ticks=2290 tps=100 nb_sec=22 case_no=108 label=Case6.96 nb_sol=0 ticks=1825 tps=100 nb_sec=18 case_no=108 label=Case6.96 nb_sol=0 ticks=2481 tps=100 nb_sec=24 case_no=108 label=Case6.96 nb_sol=0 ticks=2843 tps=100 nb_sec=28 case_no=108 label=Case6.96 nb_sol=0 ticks=2127 tps=100 nb_sec=21 case_no=108 label=Case6.96 nb_sol=0 ticks=2083 tps=100 nb_sec=20 case_no=108 label=Case6.96 nb_sol=0 ticks=2909 tps=100 nb_sec=29 case_no=108 label=Case6.96 nb_sol=0 ticks=1122 tps=100 nb_sec=11 case_no=108 label=Case6.96 nb_sol=0 ticks=1869 tps=100 nb_sec=18 case_no=108 label=Case6.96 nb_sol=0 ticks=2765 tps=100 nb_sec=27 case_no=108 label=Case6.96 nb_sol=0 ticks=1697 tps=100 nb_sec=16 case_no=108 label=Case6.96 nb_sol=0 ticks=2287 tps=100 nb_sec=22 case_no=108 label=Case6.96 nb_sol=0 ticks=2496 tps=100 nb_sec=24 case_no=108 label=Case6.96 nb_sol=0 ticks=1506 tps=100 nb_sec=15 case_no=108 label=Case6.96 nb_sol=0 ticks=1811 tps=100 nb_sec=18 case_no=108 label=Case6.96 nb_sol=0 ticks=2051 tps=100 nb_sec=20 case_no=108 label=Case6.96 nb_sol=0 ticks=2397 tps=100 nb_sec=23 case_no=108 label=Case6.96 nb_sol=0 ticks=1577 tps=100 nb_sec=15 case_no=108 label=Case6.96 nb_sol=0 ticks=2355 tps=100 nb_sec=23 case_no=108 label=Case6.96 nb_sol=0 ticks=1803 tps=100 nb_sec=18 case_no=108 label=Case6.96 nb_sol=0 ticks=2671 tps=100 nb_sec=26 case_no=108 label=Case6.96 nb_sol=0 ticks=1873 tps=100 nb_sec=18 case_no=108 label=Case6.96 nb_sol=0 ticks=2479 tps=100 nb_sec=24 case_no=108 label=Case6.96 nb_sol=0 ticks=2044 tps=100 nb_sec=20 case_no=108 label=Case6.96 nb_sol=0 ticks=1693 tps=100 nb_sec=16 case_no=108 label=Case6.96 nb_sol=0 ticks=1912 tps=100 nb_sec=19 case_no=108 label=Case6.96 nb_sol=0 ticks=1823 tps=100 nb_sec=18 case_no=108 label=Case6.96 nb_sol=0 ticks=1717 tps=100 nb_sec=17 case_no=108 label=Case6.96 nb_sol=0 ticks=2393 tps=100 nb_sec=23 case_no=108 label=Case6.96 nb_sol=0 ticks=1648 tps=100 nb_sec=16 case_no=108 label=Case6.96 nb_sol=0 ticks=2255 tps=100 nb_sec=22 case_no=108 label=Case6.96 nb_sol=0 ticks=2157 tps=100 nb_sec=21 case_no=108 label=Case6.96 nb_sol=0 ticks=1739 tps=100 nb_sec=17 case_no=108 label=Case6.96 nb_sol=0 ticks=1666 tps=100 nb_sec=16 case_no=108 label=Case6.96 nb_sol=0 ticks=2037 tps=100 nb_sec=20 case_no=108 label=Case6.96 nb_sol=0 ticks=3121 tps=100 nb_sec=31 case_no=108 label=Case6.96 nb_sol=0 ticks=1845 tps=100 nb_sec=18 case_no=108 label=Case6.96 nb_sol=0 ticks=1879 tps=100 nb_sec=18 case_no=108 label=Case6.96 nb_sol=0 ticks=1791 tps=100 nb_sec=17 case_no=108 label=Case6.96 nb_sol=0 ticks=723 tps=100 nb_sec=7 case_no=108 label=Case6.96 nb_sol=0 ticks=1501 tps=100 nb_sec=15 case_no=108 label=Case6.96 nb_sol=0 ticks=959 tps=100 nb_sec=9 case_no=108 label=Case6.96 nb_sol=0 ticks=1640 tps=100 nb_sec=16 case_no=108 label=Case6.96 nb_sol=0 ticks=1020 tps=100 nb_sec=10 case_no=108 label=Case6.96 nb_sol=0 ticks=1505 tps=100 nb_sec=15 case_no=108 label=Case6.96 nb_sol=0 ticks=802 tps=100 nb_sec=8 case_no=108 label=Case6.96 nb_sol=0 ticks=1412 tps=100 nb_sec=14 case_no=108 label=Case6.96 nb_sol=0 ticks=1646 tps=100 nb_sec=16 case_no=108 label=Case6.96 nb_sol=0 ticks=1373 tps=100 nb_sec=13 case_no=108 label=Case6.96 nb_sol=0 ticks=1279 tps=100 nb_sec=12 case_no=108 label=Case6.96 nb_sol=0 ticks=1932 tps=100 nb_sec=19 case_no=108 label=Case6.96 nb_sol=0 ticks=1679 tps=100 nb_sec=16 case_no=108 label=Case6.96 nb_sol=0 ticks=1572 tps=100 nb_sec=15 case_no=108 label=Case6.96 nb_sol=0 ticks=1584 tps=100 nb_sec=15 case_no=108 label=Case6.96 nb_sol=0 ticks=1658 tps=100 nb_sec=16 case_no=108 label=Case6.96 nb_sol=0 ticks=2547 tps=100 nb_sec=25 case_no=108 label=Case6.96 nb_sol=0 ticks=1765 tps=100 nb_sec=17 case_no=108 label=Case6.96 nb_sol=0 ticks=1646 tps=100 nb_sec=16 case_no=108 label=Case6.96 nb_sol=0 ticks=2008 tps=100 nb_sec=20 case_no=108 label=Case6.96 nb_sol=0 ticks=2120 tps=100 nb_sec=21 case_no=108 label=Case6.96 nb_sol=0 ticks=1764 tps=100 nb_sec=17 case_no=108 label=Case6.96 nb_sol=0 ticks=2155 tps=100 nb_sec=21 case_no=108 label=Case6.96 nb_sol=0 ticks=2520 tps=100 nb_sec=25 case_no=108 label=Case6.96 nb_sol=0 ticks=2007 tps=100 nb_sec=20 case_no=108 label=Case6.96 nb_sol=0 ticks=1874 tps=100 nb_sec=18 case_no=108 label=Case6.96 nb_sol=0 ticks=1378 tps=100 nb_sec=13 case_no=108 label=Case6.96 nb_sol=0 ticks=1868 tps=100 nb_sec=18 case_no=108 label=Case6.96 nb_sol=0 ticks=885 tps=100 nb_sec=8 case_no=108 label=Case6.96 nb_sol=0 ticks=757 tps=100 nb_sec=7 case_no=108 label=Case6.96 nb_sol=0 ticks=2020 tps=100 nb_sec=20 case_no=108 label=Case6.96 nb_sol=0 ticks=1630 tps=100 nb_sec=16 case_no=108 label=Case6.96 nb_sol=0 ticks=2101 tps=100 nb_sec=21 case_no=108 label=Case6.96 nb_sol=0 ticks=2943 tps=100 nb_sec=29 case_no=108 label=Case6.96 nb_sol=0 ticks=2226 tps=100 nb_sec=22 case_no=108 label=Case6.96 nb_sol=0 ticks=2723 tps=100 nb_sec=27 case_no=108 label=Case6.96 nb_sol=0 ticks=2523 tps=100 nb_sec=25 case_no=108 label=Case6.96 nb_sol=0 ticks=2374 tps=100 nb_sec=23 case_no=108 label=Case6.96 nb_sol=0 ticks=2536 tps=100 nb_sec=25 case_no=108 label=Case6.96 nb_sol=0 ticks=1919 tps=100 nb_sec=19 case_no=108 label=Case6.96 nb_sol=0 ticks=2036 tps=100 nb_sec=20 case_no=108 label=Case6.96 nb_sol=0 ticks=1917 tps=100 nb_sec=19 case_no=108 label=Case6.96 nb_sol=0 ticks=1809 tps=100 nb_sec=18 case_no=108 label=Case6.96 nb_sol=0 ticks=2436 tps=100 nb_sec=24 case_no=108 label=Case6.96 nb_sol=0 ticks=2490 tps=100 nb_sec=24 case_no=108 label=Case6.96 nb_sol=0 ticks=2260 tps=100 nb_sec=22 case_no=108 label=Case6.96 nb_sol=0 ticks=1899 tps=100 nb_sec=18 case_no=108 label=Case6.96 nb_sol=0 ticks=2617 tps=100 nb_sec=26 case_no=108 label=Case6.96 nb_sol=0 ticks=1129 tps=100 nb_sec=11 case_no=108 label=Case6.96 nb_sol=0 ticks=2789 tps=100 nb_sec=27 case_no=108 label=Case6.96 nb_sol=0 ticks=1860 tps=100 nb_sec=18 case_no=108 label=Case6.96 nb_sol=0 ticks=2248 tps=100 nb_sec=22 case_no=108 label=Case6.96 nb_sol=0 ticks=2285 tps=100 nb_sec=22 case_no=108 label=Case6.96 nb_sol=0 ticks=1534 tps=100 nb_sec=15 case_no=108 label=Case6.96 nb_sol=0 ticks=2156 tps=100 nb_sec=21 case_no=108 label=Case6.96 nb_sol=0 ticks=2070 tps=100 nb_sec=20 case_no=108 label=Case6.96 nb_sol=0 ticks=1973 tps=100 nb_sec=19 case_no=108 label=Case6.96 nb_sol=0 ticks=2591 tps=100 nb_sec=25 case_no=108 label=Case6.96 nb_sol=0 ticks=696 tps=100 nb_sec=6 case_no=108 label=Case6.96 nb_sol=0 ticks=3209 tps=100 nb_sec=32 case_no=108 label=Case6.96 nb_sol=0 ticks=1263 tps=100 nb_sec=12 case_no=108 label=Case6.96 nb_sol=0 ticks=2549 tps=100 nb_sec=25 case_no=108 label=Case6.96 nb_sol=0 ticks=1602 tps=100 nb_sec=16 case_no=108 label=Case6.96 nb_sol=0 ticks=2214 tps=100 nb_sec=22 case_no=108 label=Case6.96 nb_sol=0 ticks=2037 tps=100 nb_sec=20 Nb_sol=0 Nb_sec=5176 0-1:26:16 or 1 hours missing cases: none