argc=5 -M 256 file2=30_select_Case6.64_starter_16_ checking files mod 256 from 0 to 255 case_no=76 label=Case6.64 nb_sol=0 ticks=3431 tps=100 nb_sec=34 case_no=76 label=Case6.64 nb_sol=0 ticks=4143 tps=100 nb_sec=41 case_no=76 label=Case6.64 nb_sol=0 ticks=2973 tps=100 nb_sec=29 case_no=76 label=Case6.64 nb_sol=0 ticks=2520 tps=100 nb_sec=25 case_no=76 label=Case6.64 nb_sol=0 ticks=5100 tps=100 nb_sec=51 case_no=76 label=Case6.64 nb_sol=0 ticks=4967 tps=100 nb_sec=49 case_no=76 label=Case6.64 nb_sol=0 ticks=5046 tps=100 nb_sec=50 case_no=76 label=Case6.64 nb_sol=0 ticks=5076 tps=100 nb_sec=50 case_no=76 label=Case6.64 nb_sol=0 ticks=5289 tps=100 nb_sec=52 case_no=76 label=Case6.64 nb_sol=0 ticks=4146 tps=100 nb_sec=41 case_no=76 label=Case6.64 nb_sol=0 ticks=3475 tps=100 nb_sec=34 case_no=76 label=Case6.64 nb_sol=0 ticks=6117 tps=100 nb_sec=61 case_no=76 label=Case6.64 nb_sol=0 ticks=4694 tps=100 nb_sec=46 case_no=76 label=Case6.64 nb_sol=0 ticks=2810 tps=100 nb_sec=28 case_no=76 label=Case6.64 nb_sol=0 ticks=3405 tps=100 nb_sec=34 case_no=76 label=Case6.64 nb_sol=0 ticks=6234 tps=100 nb_sec=62 case_no=76 label=Case6.64 nb_sol=0 ticks=4952 tps=100 nb_sec=49 case_no=76 label=Case6.64 nb_sol=0 ticks=4590 tps=100 nb_sec=45 case_no=76 label=Case6.64 nb_sol=0 ticks=2439 tps=100 nb_sec=24 case_no=76 label=Case6.64 nb_sol=0 ticks=2785 tps=100 nb_sec=27 case_no=76 label=Case6.64 nb_sol=0 ticks=4428 tps=100 nb_sec=44 case_no=76 label=Case6.64 nb_sol=0 ticks=4764 tps=100 nb_sec=47 case_no=76 label=Case6.64 nb_sol=0 ticks=3386 tps=100 nb_sec=33 case_no=76 label=Case6.64 nb_sol=0 ticks=2605 tps=100 nb_sec=26 case_no=76 label=Case6.64 nb_sol=0 ticks=5059 tps=100 nb_sec=50 case_no=76 label=Case6.64 nb_sol=0 ticks=5027 tps=100 nb_sec=50 case_no=76 label=Case6.64 nb_sol=0 ticks=5046 tps=100 nb_sec=50 case_no=76 label=Case6.64 nb_sol=0 ticks=3821 tps=100 nb_sec=38 case_no=76 label=Case6.64 nb_sol=0 ticks=2802 tps=100 nb_sec=28 case_no=76 label=Case6.64 nb_sol=0 ticks=3764 tps=100 nb_sec=37 case_no=76 label=Case6.64 nb_sol=0 ticks=3333 tps=100 nb_sec=33 case_no=76 label=Case6.64 nb_sol=0 ticks=4741 tps=100 nb_sec=47 case_no=76 label=Case6.64 nb_sol=0 ticks=4800 tps=100 nb_sec=48 case_no=76 label=Case6.64 nb_sol=0 ticks=2560 tps=100 nb_sec=25 case_no=76 label=Case6.64 nb_sol=0 ticks=4421 tps=100 nb_sec=44 case_no=76 label=Case6.64 nb_sol=0 ticks=4593 tps=100 nb_sec=45 case_no=76 label=Case6.64 nb_sol=0 ticks=5418 tps=100 nb_sec=54 case_no=76 label=Case6.64 nb_sol=0 ticks=5187 tps=100 nb_sec=51 case_no=76 label=Case6.64 nb_sol=0 ticks=5529 tps=100 nb_sec=55 case_no=76 label=Case6.64 nb_sol=0 ticks=3529 tps=100 nb_sec=35 case_no=76 label=Case6.64 nb_sol=0 ticks=4594 tps=100 nb_sec=45 case_no=76 label=Case6.64 nb_sol=0 ticks=4614 tps=100 nb_sec=46 case_no=76 label=Case6.64 nb_sol=0 ticks=5044 tps=100 nb_sec=50 case_no=76 label=Case6.64 nb_sol=0 ticks=4731 tps=100 nb_sec=47 case_no=76 label=Case6.64 nb_sol=0 ticks=2462 tps=100 nb_sec=24 case_no=76 label=Case6.64 nb_sol=0 ticks=5034 tps=100 nb_sec=50 case_no=76 label=Case6.64 nb_sol=0 ticks=4916 tps=100 nb_sec=49 case_no=76 label=Case6.64 nb_sol=0 ticks=6062 tps=100 nb_sec=60 case_no=76 label=Case6.64 nb_sol=0 ticks=3445 tps=100 nb_sec=34 case_no=76 label=Case6.64 nb_sol=0 ticks=5641 tps=100 nb_sec=56 case_no=76 label=Case6.64 nb_sol=0 ticks=6109 tps=100 nb_sec=61 case_no=76 label=Case6.64 nb_sol=0 ticks=4762 tps=100 nb_sec=47 case_no=76 label=Case6.64 nb_sol=0 ticks=4344 tps=100 nb_sec=43 case_no=76 label=Case6.64 nb_sol=0 ticks=5364 tps=100 nb_sec=53 case_no=76 label=Case6.64 nb_sol=0 ticks=2437 tps=100 nb_sec=24 case_no=76 label=Case6.64 nb_sol=0 ticks=4071 tps=100 nb_sec=40 case_no=76 label=Case6.64 nb_sol=0 ticks=5663 tps=100 nb_sec=56 case_no=76 label=Case6.64 nb_sol=0 ticks=2957 tps=100 nb_sec=29 case_no=76 label=Case6.64 nb_sol=0 ticks=4254 tps=100 nb_sec=42 case_no=76 label=Case6.64 nb_sol=0 ticks=6283 tps=100 nb_sec=62 case_no=76 label=Case6.64 nb_sol=0 ticks=2874 tps=100 nb_sec=28 case_no=76 label=Case6.64 nb_sol=0 ticks=4285 tps=100 nb_sec=42 case_no=76 label=Case6.64 nb_sol=0 ticks=5110 tps=100 nb_sec=51 case_no=76 label=Case6.64 nb_sol=0 ticks=3000 tps=100 nb_sec=30 case_no=76 label=Case6.64 nb_sol=0 ticks=4100 tps=100 nb_sec=41 case_no=76 label=Case6.64 nb_sol=0 ticks=5222 tps=100 nb_sec=52 case_no=76 label=Case6.64 nb_sol=0 ticks=5000 tps=100 nb_sec=50 case_no=76 label=Case6.64 nb_sol=0 ticks=2976 tps=100 nb_sec=29 case_no=76 label=Case6.64 nb_sol=0 ticks=4012 tps=100 nb_sec=40 case_no=76 label=Case6.64 nb_sol=0 ticks=5812 tps=100 nb_sec=58 case_no=76 label=Case6.64 nb_sol=0 ticks=4944 tps=100 nb_sec=49 case_no=76 label=Case6.64 nb_sol=0 ticks=5807 tps=100 nb_sec=58 case_no=76 label=Case6.64 nb_sol=0 ticks=4110 tps=100 nb_sec=41 case_no=76 label=Case6.64 nb_sol=0 ticks=5004 tps=100 nb_sec=50 case_no=76 label=Case6.64 nb_sol=0 ticks=3722 tps=100 nb_sec=37 case_no=76 label=Case6.64 nb_sol=0 ticks=4072 tps=100 nb_sec=40 case_no=76 label=Case6.64 nb_sol=0 ticks=4849 tps=100 nb_sec=48 case_no=76 label=Case6.64 nb_sol=0 ticks=3713 tps=100 nb_sec=37 case_no=76 label=Case6.64 nb_sol=0 ticks=3187 tps=100 nb_sec=31 case_no=76 label=Case6.64 nb_sol=0 ticks=4892 tps=100 nb_sec=48 case_no=76 label=Case6.64 nb_sol=0 ticks=2815 tps=100 nb_sec=28 case_no=76 label=Case6.64 nb_sol=0 ticks=2600 tps=100 nb_sec=26 case_no=76 label=Case6.64 nb_sol=0 ticks=4567 tps=100 nb_sec=45 case_no=76 label=Case6.64 nb_sol=0 ticks=3550 tps=100 nb_sec=35 case_no=76 label=Case6.64 nb_sol=0 ticks=5289 tps=100 nb_sec=52 case_no=76 label=Case6.64 nb_sol=0 ticks=4044 tps=100 nb_sec=40 case_no=76 label=Case6.64 nb_sol=0 ticks=3364 tps=100 nb_sec=33 case_no=76 label=Case6.64 nb_sol=0 ticks=3602 tps=100 nb_sec=36 case_no=76 label=Case6.64 nb_sol=0 ticks=3256 tps=100 nb_sec=32 case_no=76 label=Case6.64 nb_sol=0 ticks=4626 tps=100 nb_sec=46 case_no=76 label=Case6.64 nb_sol=0 ticks=3512 tps=100 nb_sec=35 case_no=76 label=Case6.64 nb_sol=0 ticks=4358 tps=100 nb_sec=43 case_no=76 label=Case6.64 nb_sol=0 ticks=5442 tps=100 nb_sec=54 case_no=76 label=Case6.64 nb_sol=0 ticks=3588 tps=100 nb_sec=35 case_no=76 label=Case6.64 nb_sol=0 ticks=4899 tps=100 nb_sec=48 case_no=76 label=Case6.64 nb_sol=0 ticks=4048 tps=100 nb_sec=40 case_no=76 label=Case6.64 nb_sol=0 ticks=4195 tps=100 nb_sec=41 case_no=76 label=Case6.64 nb_sol=0 ticks=4727 tps=100 nb_sec=47 case_no=76 label=Case6.64 nb_sol=0 ticks=4993 tps=100 nb_sec=49 case_no=76 label=Case6.64 nb_sol=0 ticks=3321 tps=100 nb_sec=33 case_no=76 label=Case6.64 nb_sol=0 ticks=4170 tps=100 nb_sec=41 case_no=76 label=Case6.64 nb_sol=0 ticks=2759 tps=100 nb_sec=27 case_no=76 label=Case6.64 nb_sol=0 ticks=5496 tps=100 nb_sec=54 case_no=76 label=Case6.64 nb_sol=0 ticks=4506 tps=100 nb_sec=45 case_no=76 label=Case6.64 nb_sol=0 ticks=5619 tps=100 nb_sec=56 case_no=76 label=Case6.64 nb_sol=0 ticks=5015 tps=100 nb_sec=50 case_no=76 label=Case6.64 nb_sol=0 ticks=4069 tps=100 nb_sec=40 case_no=76 label=Case6.64 nb_sol=0 ticks=3449 tps=100 nb_sec=34 case_no=76 label=Case6.64 nb_sol=0 ticks=4166 tps=100 nb_sec=41 case_no=76 label=Case6.64 nb_sol=0 ticks=6217 tps=100 nb_sec=62 case_no=76 label=Case6.64 nb_sol=0 ticks=5315 tps=100 nb_sec=53 case_no=76 label=Case6.64 nb_sol=0 ticks=4934 tps=100 nb_sec=49 case_no=76 label=Case6.64 nb_sol=0 ticks=2907 tps=100 nb_sec=29 case_no=76 label=Case6.64 nb_sol=0 ticks=5777 tps=100 nb_sec=57 case_no=76 label=Case6.64 nb_sol=0 ticks=3613 tps=100 nb_sec=36 case_no=76 label=Case6.64 nb_sol=0 ticks=5503 tps=100 nb_sec=55 case_no=76 label=Case6.64 nb_sol=0 ticks=4863 tps=100 nb_sec=48 case_no=76 label=Case6.64 nb_sol=0 ticks=3280 tps=100 nb_sec=32 case_no=76 label=Case6.64 nb_sol=0 ticks=4118 tps=100 nb_sec=41 case_no=76 label=Case6.64 nb_sol=0 ticks=5567 tps=100 nb_sec=55 case_no=76 label=Case6.64 nb_sol=0 ticks=4084 tps=100 nb_sec=40 case_no=76 label=Case6.64 nb_sol=0 ticks=4679 tps=100 nb_sec=46 case_no=76 label=Case6.64 nb_sol=0 ticks=3366 tps=100 nb_sec=33 case_no=76 label=Case6.64 nb_sol=0 ticks=4146 tps=100 nb_sec=41 case_no=76 label=Case6.64 nb_sol=0 ticks=6762 tps=100 nb_sec=67 case_no=76 label=Case6.64 nb_sol=0 ticks=3980 tps=100 nb_sec=39 case_no=76 label=Case6.64 nb_sol=0 ticks=6366 tps=100 nb_sec=63 case_no=76 label=Case6.64 nb_sol=0 ticks=2887 tps=100 nb_sec=28 case_no=76 label=Case6.64 nb_sol=0 ticks=3845 tps=100 nb_sec=38 case_no=76 label=Case6.64 nb_sol=0 ticks=5849 tps=100 nb_sec=58 case_no=76 label=Case6.64 nb_sol=0 ticks=5072 tps=100 nb_sec=50 case_no=76 label=Case6.64 nb_sol=0 ticks=3930 tps=100 nb_sec=39 case_no=76 label=Case6.64 nb_sol=0 ticks=6565 tps=100 nb_sec=65 case_no=76 label=Case6.64 nb_sol=0 ticks=3766 tps=100 nb_sec=37 case_no=76 label=Case6.64 nb_sol=0 ticks=4960 tps=100 nb_sec=49 case_no=76 label=Case6.64 nb_sol=0 ticks=3367 tps=100 nb_sec=33 case_no=76 label=Case6.64 nb_sol=0 ticks=7701 tps=100 nb_sec=77 case_no=76 label=Case6.64 nb_sol=0 ticks=3919 tps=100 nb_sec=39 case_no=76 label=Case6.64 nb_sol=0 ticks=3287 tps=100 nb_sec=32 case_no=76 label=Case6.64 nb_sol=0 ticks=3533 tps=100 nb_sec=35 case_no=76 label=Case6.64 nb_sol=0 ticks=5783 tps=100 nb_sec=57 case_no=76 label=Case6.64 nb_sol=0 ticks=4621 tps=100 nb_sec=46 case_no=76 label=Case6.64 nb_sol=0 ticks=7263 tps=100 nb_sec=72 case_no=76 label=Case6.64 nb_sol=0 ticks=4055 tps=100 nb_sec=40 case_no=76 label=Case6.64 nb_sol=0 ticks=4654 tps=100 nb_sec=46 case_no=76 label=Case6.64 nb_sol=0 ticks=8887 tps=100 nb_sec=88 case_no=76 label=Case6.64 nb_sol=0 ticks=3935 tps=100 nb_sec=39 case_no=76 label=Case6.64 nb_sol=0 ticks=3589 tps=100 nb_sec=35 case_no=76 label=Case6.64 nb_sol=0 ticks=4706 tps=100 nb_sec=47 case_no=76 label=Case6.64 nb_sol=0 ticks=7647 tps=100 nb_sec=76 case_no=76 label=Case6.64 nb_sol=0 ticks=3911 tps=100 nb_sec=39 case_no=76 label=Case6.64 nb_sol=0 ticks=2716 tps=100 nb_sec=27 case_no=76 label=Case6.64 nb_sol=0 ticks=4598 tps=100 nb_sec=45 case_no=76 label=Case6.64 nb_sol=0 ticks=3821 tps=100 nb_sec=38 case_no=76 label=Case6.64 nb_sol=0 ticks=5052 tps=100 nb_sec=50 case_no=76 label=Case6.64 nb_sol=0 ticks=7574 tps=100 nb_sec=75 case_no=76 label=Case6.64 nb_sol=0 ticks=4036 tps=100 nb_sec=40 case_no=76 label=Case6.64 nb_sol=0 ticks=5193 tps=100 nb_sec=51 case_no=76 label=Case6.64 nb_sol=0 ticks=4007 tps=100 nb_sec=40 case_no=76 label=Case6.64 nb_sol=0 ticks=8641 tps=100 nb_sec=86 case_no=76 label=Case6.64 nb_sol=0 ticks=3474 tps=100 nb_sec=34 case_no=76 label=Case6.64 nb_sol=0 ticks=2822 tps=100 nb_sec=28 case_no=76 label=Case6.64 nb_sol=0 ticks=5402 tps=100 nb_sec=54 case_no=76 label=Case6.64 nb_sol=0 ticks=3530 tps=100 nb_sec=35 case_no=76 label=Case6.64 nb_sol=0 ticks=4031 tps=100 nb_sec=40 case_no=76 label=Case6.64 nb_sol=0 ticks=9627 tps=100 nb_sec=96 case_no=76 label=Case6.64 nb_sol=0 ticks=4006 tps=100 nb_sec=40 case_no=76 label=Case6.64 nb_sol=0 ticks=5027 tps=100 nb_sec=50 case_no=76 label=Case6.64 nb_sol=0 ticks=4816 tps=100 nb_sec=48 case_no=76 label=Case6.64 nb_sol=0 ticks=9604 tps=100 nb_sec=96 case_no=76 label=Case6.64 nb_sol=0 ticks=9511 tps=100 nb_sec=95 case_no=76 label=Case6.64 nb_sol=0 ticks=4167 tps=100 nb_sec=41 case_no=76 label=Case6.64 nb_sol=0 ticks=4836 tps=100 nb_sec=48 case_no=76 label=Case6.64 nb_sol=0 ticks=3464 tps=100 nb_sec=34 case_no=76 label=Case6.64 nb_sol=0 ticks=3992 tps=100 nb_sec=39 case_no=76 label=Case6.64 nb_sol=0 ticks=5921 tps=100 nb_sec=59 case_no=76 label=Case6.64 nb_sol=0 ticks=4837 tps=100 nb_sec=48 case_no=76 label=Case6.64 nb_sol=0 ticks=3553 tps=100 nb_sec=35 case_no=76 label=Case6.64 nb_sol=0 ticks=4881 tps=100 nb_sec=48 case_no=76 label=Case6.64 nb_sol=0 ticks=8191 tps=100 nb_sec=81 case_no=76 label=Case6.64 nb_sol=0 ticks=4506 tps=100 nb_sec=45 case_no=76 label=Case6.64 nb_sol=0 ticks=5238 tps=100 nb_sec=52 case_no=76 label=Case6.64 nb_sol=0 ticks=3493 tps=100 nb_sec=34 case_no=76 label=Case6.64 nb_sol=0 ticks=4715 tps=100 nb_sec=47 case_no=76 label=Case6.64 nb_sol=0 ticks=5576 tps=100 nb_sec=55 case_no=76 label=Case6.64 nb_sol=0 ticks=8450 tps=100 nb_sec=84 case_no=76 label=Case6.64 nb_sol=0 ticks=2647 tps=100 nb_sec=26 case_no=76 label=Case6.64 nb_sol=0 ticks=4424 tps=100 nb_sec=44 case_no=76 label=Case6.64 nb_sol=0 ticks=3740 tps=100 nb_sec=37 case_no=76 label=Case6.64 nb_sol=0 ticks=6682 tps=100 nb_sec=66 case_no=76 label=Case6.64 nb_sol=0 ticks=4199 tps=100 nb_sec=41 case_no=76 label=Case6.64 nb_sol=0 ticks=4667 tps=100 nb_sec=46 case_no=76 label=Case6.64 nb_sol=0 ticks=2669 tps=100 nb_sec=26 case_no=76 label=Case6.64 nb_sol=0 ticks=5120 tps=100 nb_sec=51 case_no=76 label=Case6.64 nb_sol=0 ticks=4111 tps=100 nb_sec=41 case_no=76 label=Case6.64 nb_sol=0 ticks=5566 tps=100 nb_sec=55 case_no=76 label=Case6.64 nb_sol=0 ticks=2594 tps=100 nb_sec=25 case_no=76 label=Case6.64 nb_sol=0 ticks=5579 tps=100 nb_sec=55 case_no=76 label=Case6.64 nb_sol=0 ticks=4088 tps=100 nb_sec=40 case_no=76 label=Case6.64 nb_sol=0 ticks=5001 tps=100 nb_sec=50 case_no=76 label=Case6.64 nb_sol=0 ticks=3518 tps=100 nb_sec=35 case_no=76 label=Case6.64 nb_sol=0 ticks=5107 tps=100 nb_sec=51 case_no=76 label=Case6.64 nb_sol=0 ticks=3440 tps=100 nb_sec=34 case_no=76 label=Case6.64 nb_sol=0 ticks=3183 tps=100 nb_sec=31 case_no=76 label=Case6.64 nb_sol=0 ticks=4894 tps=100 nb_sec=48 case_no=76 label=Case6.64 nb_sol=0 ticks=3218 tps=100 nb_sec=32 case_no=76 label=Case6.64 nb_sol=0 ticks=3510 tps=100 nb_sec=35 case_no=76 label=Case6.64 nb_sol=0 ticks=3538 tps=100 nb_sec=35 case_no=76 label=Case6.64 nb_sol=0 ticks=3375 tps=100 nb_sec=33 case_no=76 label=Case6.64 nb_sol=0 ticks=7644 tps=100 nb_sec=76 case_no=76 label=Case6.64 nb_sol=0 ticks=4750 tps=100 nb_sec=47 case_no=76 label=Case6.64 nb_sol=0 ticks=8208 tps=100 nb_sec=82 case_no=76 label=Case6.64 nb_sol=0 ticks=2705 tps=100 nb_sec=27 case_no=76 label=Case6.64 nb_sol=0 ticks=4424 tps=100 nb_sec=44 case_no=76 label=Case6.64 nb_sol=0 ticks=6738 tps=100 nb_sec=67 case_no=76 label=Case6.64 nb_sol=0 ticks=7879 tps=100 nb_sec=78 case_no=76 label=Case6.64 nb_sol=0 ticks=2794 tps=100 nb_sec=27 case_no=76 label=Case6.64 nb_sol=0 ticks=4617 tps=100 nb_sec=46 case_no=76 label=Case6.64 nb_sol=0 ticks=6509 tps=100 nb_sec=65 case_no=76 label=Case6.64 nb_sol=0 ticks=8703 tps=100 nb_sec=87 case_no=76 label=Case6.64 nb_sol=0 ticks=4354 tps=100 nb_sec=43 case_no=76 label=Case6.64 nb_sol=0 ticks=5829 tps=100 nb_sec=58 case_no=76 label=Case6.64 nb_sol=0 ticks=7435 tps=100 nb_sec=74 case_no=76 label=Case6.64 nb_sol=0 ticks=2711 tps=100 nb_sec=27 case_no=76 label=Case6.64 nb_sol=0 ticks=4558 tps=100 nb_sec=45 case_no=76 label=Case6.64 nb_sol=0 ticks=2638 tps=100 nb_sec=26 case_no=76 label=Case6.64 nb_sol=0 ticks=5584 tps=100 nb_sec=55 case_no=76 label=Case6.64 nb_sol=0 ticks=7744 tps=100 nb_sec=77 case_no=76 label=Case6.64 nb_sol=0 ticks=5605 tps=100 nb_sec=56 case_no=76 label=Case6.64 nb_sol=0 ticks=9157 tps=100 nb_sec=91 case_no=76 label=Case6.64 nb_sol=0 ticks=2639 tps=100 nb_sec=26 case_no=76 label=Case6.64 nb_sol=0 ticks=4846 tps=100 nb_sec=48 case_no=76 label=Case6.64 nb_sol=0 ticks=4438 tps=100 nb_sec=44 case_no=76 label=Case6.64 nb_sol=0 ticks=5390 tps=100 nb_sec=53 case_no=76 label=Case6.64 nb_sol=0 ticks=8571 tps=100 nb_sec=85 case_no=76 label=Case6.64 nb_sol=0 ticks=3560 tps=100 nb_sec=35 case_no=76 label=Case6.64 nb_sol=0 ticks=4663 tps=100 nb_sec=46 case_no=76 label=Case6.64 nb_sol=0 ticks=5127 tps=100 nb_sec=51 case_no=76 label=Case6.64 nb_sol=0 ticks=8197 tps=100 nb_sec=81 case_no=76 label=Case6.64 nb_sol=0 ticks=2828 tps=100 nb_sec=28 case_no=76 label=Case6.64 nb_sol=0 ticks=2803 tps=100 nb_sec=28 case_no=76 label=Case6.64 nb_sol=0 ticks=4423 tps=100 nb_sec=44 case_no=76 label=Case6.64 nb_sol=0 ticks=5646 tps=100 nb_sec=56 case_no=76 label=Case6.64 nb_sol=0 ticks=4979 tps=100 nb_sec=49 case_no=76 label=Case6.64 nb_sol=0 ticks=9013 tps=100 nb_sec=90 case_no=76 label=Case6.64 nb_sol=0 ticks=2875 tps=100 nb_sec=28 case_no=76 label=Case6.64 nb_sol=0 ticks=4665 tps=100 nb_sec=46 case_no=76 label=Case6.64 nb_sol=0 ticks=5388 tps=100 nb_sec=53 case_no=76 label=Case6.64 nb_sol=0 ticks=4771 tps=100 nb_sec=47 case_no=76 label=Case6.64 nb_sol=0 ticks=7911 tps=100 nb_sec=79 case_no=76 label=Case6.64 nb_sol=0 ticks=4668 tps=100 nb_sec=46 case_no=76 label=Case6.64 nb_sol=0 ticks=4587 tps=100 nb_sec=45 case_no=76 label=Case6.64 nb_sol=0 ticks=4538 tps=100 nb_sec=45 case_no=76 label=Case6.64 nb_sol=0 ticks=4354 tps=100 nb_sec=43 case_no=76 label=Case6.64 nb_sol=0 ticks=3661 tps=100 nb_sec=36 case_no=76 label=Case6.64 nb_sol=0 ticks=5287 tps=100 nb_sec=52 Nb_sol=0 Nb_sec=11884 0-3:18:4 or 3 hours missing cases: none