argc=5 -M 16 file2=30_select_Case6.13_starter_16_ checking files mod 16 from 0 to 15 case_no=25 label=Case6.13 nb_sol=0 ticks=22349 tps=100 nb_sec=223 case_no=25 label=Case6.13 nb_sol=0 ticks=27596 tps=100 nb_sec=275 case_no=25 label=Case6.13 nb_sol=0 ticks=20186 tps=100 nb_sec=201 case_no=25 label=Case6.13 nb_sol=0 ticks=20455 tps=100 nb_sec=204 case_no=25 label=Case6.13 nb_sol=0 ticks=28297 tps=100 nb_sec=282 case_no=25 label=Case6.13 nb_sol=0 ticks=29695 tps=100 nb_sec=296 case_no=25 label=Case6.13 nb_sol=0 ticks=26833 tps=100 nb_sec=268 case_no=25 label=Case6.13 nb_sol=0 ticks=26025 tps=100 nb_sec=260 case_no=25 label=Case6.13 nb_sol=0 ticks=18444 tps=100 nb_sec=184 case_no=25 label=Case6.13 nb_sol=0 ticks=28207 tps=100 nb_sec=282 case_no=25 label=Case6.13 nb_sol=0 ticks=25700 tps=100 nb_sec=257 case_no=25 label=Case6.13 nb_sol=0 ticks=26452 tps=100 nb_sec=264 case_no=25 label=Case6.13 nb_sol=0 ticks=24329 tps=100 nb_sec=243 case_no=25 label=Case6.13 nb_sol=0 ticks=24111 tps=100 nb_sec=241 case_no=25 label=Case6.13 nb_sol=0 ticks=19243 tps=100 nb_sec=192 case_no=25 label=Case6.13 nb_sol=0 ticks=20546 tps=100 nb_sec=205 Nb_sol=0 Nb_sec=3877 0-1:4:37 or 1 hours missing cases: none