argc=5
-M 128
file2=30_select_Case6.117_starter_15_
checking files mod 128 from 0 to 127
case_no=129 label=Case6.117 nb_sol=0 ticks=453540 tps=100 nb_sec=4535
case_no=129 label=Case6.117 nb_sol=0 ticks=555004 tps=100 nb_sec=5550
case_no=129 label=Case6.117 nb_sol=0 ticks=642573 tps=100 nb_sec=6425
case_no=129 label=Case6.117 nb_sol=0 ticks=513982 tps=100 nb_sec=5139
case_no=129 label=Case6.117 nb_sol=0 ticks=466898 tps=100 nb_sec=4668
case_no=129 label=Case6.117 nb_sol=0 ticks=507604 tps=100 nb_sec=5076
case_no=129 label=Case6.117 nb_sol=0 ticks=396384 tps=100 nb_sec=3963
case_no=129 label=Case6.117 nb_sol=0 ticks=495261 tps=100 nb_sec=4952
case_no=129 label=Case6.117 nb_sol=0 ticks=500129 tps=100 nb_sec=5001
case_no=129 label=Case6.117 nb_sol=0 ticks=425807 tps=100 nb_sec=4258
case_no=129 label=Case6.117 nb_sol=0 ticks=488818 tps=100 nb_sec=4888
case_no=129 label=Case6.117 nb_sol=0 ticks=427144 tps=100 nb_sec=4271
case_no=129 label=Case6.117 nb_sol=0 ticks=620006 tps=100 nb_sec=6200
case_no=129 label=Case6.117 nb_sol=0 ticks=531245 tps=100 nb_sec=5312
case_no=129 label=Case6.117 nb_sol=0 ticks=576072 tps=100 nb_sec=5760
case_no=129 label=Case6.117 nb_sol=0 ticks=411346 tps=100 nb_sec=4113
case_no=129 label=Case6.117 nb_sol=0 ticks=393337 tps=100 nb_sec=3933
case_no=129 label=Case6.117 nb_sol=0 ticks=508954 tps=100 nb_sec=5089
case_no=129 label=Case6.117 nb_sol=0 ticks=462490 tps=100 nb_sec=4624
case_no=129 label=Case6.117 nb_sol=0 ticks=337377 tps=100 nb_sec=3373
case_no=129 label=Case6.117 nb_sol=0 ticks=520234 tps=100 nb_sec=5202
case_no=129 label=Case6.117 nb_sol=0 ticks=539401 tps=100 nb_sec=5394
case_no=129 label=Case6.117 nb_sol=0 ticks=447089 tps=100 nb_sec=4470
case_no=129 label=Case6.117 nb_sol=0 ticks=363844 tps=100 nb_sec=3638
case_no=129 label=Case6.117 nb_sol=0 ticks=587746 tps=100 nb_sec=5877
case_no=129 label=Case6.117 nb_sol=0 ticks=534753 tps=100 nb_sec=5347
case_no=129 label=Case6.117 nb_sol=0 ticks=541179 tps=100 nb_sec=5411
case_no=129 label=Case6.117 nb_sol=0 ticks=544720 tps=100 nb_sec=5447
case_no=129 label=Case6.117 nb_sol=0 ticks=492952 tps=100 nb_sec=4929
case_no=129 label=Case6.117 nb_sol=0 ticks=431026 tps=100 nb_sec=4310
case_no=129 label=Case6.117 nb_sol=0 ticks=379606 tps=100 nb_sec=3796
case_no=129 label=Case6.117 nb_sol=0 ticks=546218 tps=100 nb_sec=5462
case_no=129 label=Case6.117 nb_sol=0 ticks=399438 tps=100 nb_sec=3994
case_no=129 label=Case6.117 nb_sol=0 ticks=462836 tps=100 nb_sec=4628
case_no=129 label=Case6.117 nb_sol=0 ticks=529742 tps=100 nb_sec=5297
case_no=129 label=Case6.117 nb_sol=0 ticks=344610 tps=100 nb_sec=3446
case_no=129 label=Case6.117 nb_sol=0 ticks=509036 tps=100 nb_sec=5090
case_no=129 label=Case6.117 nb_sol=0 ticks=516660 tps=100 nb_sec=5166
case_no=129 label=Case6.117 nb_sol=0 ticks=489644 tps=100 nb_sec=4896
case_no=129 label=Case6.117 nb_sol=0 ticks=504059 tps=100 nb_sec=5040
case_no=129 label=Case6.117 nb_sol=0 ticks=378066 tps=100 nb_sec=3780
case_no=129 label=Case6.117 nb_sol=0 ticks=429632 tps=100 nb_sec=4296
case_no=129 label=Case6.117 nb_sol=0 ticks=414570 tps=100 nb_sec=4145
case_no=129 label=Case6.117 nb_sol=0 ticks=249410 tps=100 nb_sec=2494
case_no=129 label=Case6.117 nb_sol=0 ticks=374574 tps=100 nb_sec=3745
case_no=129 label=Case6.117 nb_sol=0 ticks=345022 tps=100 nb_sec=3450
case_no=129 label=Case6.117 nb_sol=0 ticks=293551 tps=100 nb_sec=2935
case_no=129 label=Case6.117 nb_sol=0 ticks=238092 tps=100 nb_sec=2380
case_no=129 label=Case6.117 nb_sol=0 ticks=289761 tps=100 nb_sec=2897
case_no=129 label=Case6.117 nb_sol=0 ticks=450625 tps=100 nb_sec=4506
case_no=129 label=Case6.117 nb_sol=0 ticks=536720 tps=100 nb_sec=5367
case_no=129 label=Case6.117 nb_sol=0 ticks=436075 tps=100 nb_sec=4360
case_no=129 label=Case6.117 nb_sol=0 ticks=385920 tps=100 nb_sec=3859
case_no=129 label=Case6.117 nb_sol=0 ticks=476179 tps=100 nb_sec=4761
case_no=129 label=Case6.117 nb_sol=0 ticks=492533 tps=100 nb_sec=4925
case_no=129 label=Case6.117 nb_sol=0 ticks=235905 tps=100 nb_sec=2359
case_no=129 label=Case6.117 nb_sol=0 ticks=318252 tps=100 nb_sec=3182
case_no=129 label=Case6.117 nb_sol=0 ticks=567749 tps=100 nb_sec=5677
case_no=129 label=Case6.117 nb_sol=0 ticks=453913 tps=100 nb_sec=4539
case_no=129 label=Case6.117 nb_sol=0 ticks=421451 tps=100 nb_sec=4214
case_no=129 label=Case6.117 nb_sol=0 ticks=686761 tps=100 nb_sec=6867
case_no=129 label=Case6.117 nb_sol=0 ticks=389477 tps=100 nb_sec=3894
case_no=129 label=Case6.117 nb_sol=0 ticks=452398 tps=100 nb_sec=4523
case_no=129 label=Case6.117 nb_sol=0 ticks=470469 tps=100 nb_sec=4704
case_no=129 label=Case6.117 nb_sol=0 ticks=494830 tps=100 nb_sec=4948
case_no=129 label=Case6.117 nb_sol=0 ticks=382724 tps=100 nb_sec=3827
case_no=129 label=Case6.117 nb_sol=0 ticks=370468 tps=100 nb_sec=3704
case_no=129 label=Case6.117 nb_sol=0 ticks=571168 tps=100 nb_sec=5711
case_no=129 label=Case6.117 nb_sol=0 ticks=350784 tps=100 nb_sec=3507
case_no=129 label=Case6.117 nb_sol=0 ticks=623841 tps=100 nb_sec=6238
case_no=129 label=Case6.117 nb_sol=0 ticks=412806 tps=100 nb_sec=4128
case_no=129 label=Case6.117 nb_sol=0 ticks=417976 tps=100 nb_sec=4179
case_no=129 label=Case6.117 nb_sol=0 ticks=592915 tps=100 nb_sec=5929
case_no=129 label=Case6.117 nb_sol=0 ticks=260640 tps=100 nb_sec=2606
case_no=129 label=Case6.117 nb_sol=0 ticks=390538 tps=100 nb_sec=3905
case_no=129 label=Case6.117 nb_sol=0 ticks=496323 tps=100 nb_sec=4963
case_no=129 label=Case6.117 nb_sol=0 ticks=334844 tps=100 nb_sec=3348
case_no=129 label=Case6.117 nb_sol=0 ticks=375797 tps=100 nb_sec=3757
case_no=129 label=Case6.117 nb_sol=0 ticks=511840 tps=100 nb_sec=5118
case_no=129 label=Case6.117 nb_sol=0 ticks=341132 tps=100 nb_sec=3411
case_no=129 label=Case6.117 nb_sol=0 ticks=404751 tps=100 nb_sec=4047
case_no=129 label=Case6.117 nb_sol=0 ticks=433273 tps=100 nb_sec=4332
case_no=129 label=Case6.117 nb_sol=0 ticks=226926 tps=100 nb_sec=2269
case_no=129 label=Case6.117 nb_sol=0 ticks=339464 tps=100 nb_sec=3394
case_no=129 label=Case6.117 nb_sol=0 ticks=302711 tps=100 nb_sec=3027
case_no=129 label=Case6.117 nb_sol=0 ticks=398594 tps=100 nb_sec=3985
case_no=129 label=Case6.117 nb_sol=0 ticks=409007 tps=100 nb_sec=4090
case_no=129 label=Case6.117 nb_sol=0 ticks=360149 tps=100 nb_sec=3601
case_no=129 label=Case6.117 nb_sol=0 ticks=369751 tps=100 nb_sec=3697
case_no=129 label=Case6.117 nb_sol=0 ticks=335810 tps=100 nb_sec=3358
case_no=129 label=Case6.117 nb_sol=0 ticks=201451 tps=100 nb_sec=2014
case_no=129 label=Case6.117 nb_sol=0 ticks=177964 tps=100 nb_sec=1779
case_no=129 label=Case6.117 nb_sol=0 ticks=435987 tps=100 nb_sec=4359
case_no=129 label=Case6.117 nb_sol=0 ticks=290230 tps=100 nb_sec=2902
case_no=129 label=Case6.117 nb_sol=0 ticks=439968 tps=100 nb_sec=4399
case_no=129 label=Case6.117 nb_sol=0 ticks=283844 tps=100 nb_sec=2838
case_no=129 label=Case6.117 nb_sol=0 ticks=265350 tps=100 nb_sec=2653
case_no=129 label=Case6.117 nb_sol=0 ticks=222389 tps=100 nb_sec=2223
case_no=129 label=Case6.117 nb_sol=0 ticks=327646 tps=100 nb_sec=3276
case_no=129 label=Case6.117 nb_sol=0 ticks=348532 tps=100 nb_sec=3485
case_no=129 label=Case6.117 nb_sol=0 ticks=394962 tps=100 nb_sec=3949
case_no=129 label=Case6.117 nb_sol=0 ticks=383501 tps=100 nb_sec=3835
case_no=129 label=Case6.117 nb_sol=0 ticks=305304 tps=100 nb_sec=3053
case_no=129 label=Case6.117 nb_sol=0 ticks=450339 tps=100 nb_sec=4503
case_no=129 label=Case6.117 nb_sol=0 ticks=481890 tps=100 nb_sec=4818
case_no=129 label=Case6.117 nb_sol=0 ticks=314631 tps=100 nb_sec=3146
case_no=129 label=Case6.117 nb_sol=0 ticks=288735 tps=100 nb_sec=2887
case_no=129 label=Case6.117 nb_sol=0 ticks=455175 tps=100 nb_sec=4551
case_no=129 label=Case6.117 nb_sol=0 ticks=448459 tps=100 nb_sec=4484
case_no=129 label=Case6.117 nb_sol=0 ticks=394756 tps=100 nb_sec=3947
case_no=129 label=Case6.117 nb_sol=0 ticks=449033 tps=100 nb_sec=4490
case_no=129 label=Case6.117 nb_sol=0 ticks=292154 tps=100 nb_sec=2921
case_no=129 label=Case6.117 nb_sol=0 ticks=223324 tps=100 nb_sec=2233
case_no=129 label=Case6.117 nb_sol=0 ticks=327988 tps=100 nb_sec=3279
case_no=129 label=Case6.117 nb_sol=0 ticks=203497 tps=100 nb_sec=2034
case_no=129 label=Case6.117 nb_sol=0 ticks=258577 tps=100 nb_sec=2585
case_no=129 label=Case6.117 nb_sol=0 ticks=312298 tps=100 nb_sec=3122
case_no=129 label=Case6.117 nb_sol=0 ticks=289284 tps=100 nb_sec=2892
case_no=129 label=Case6.117 nb_sol=0 ticks=177468 tps=100 nb_sec=1774
case_no=129 label=Case6.117 nb_sol=0 ticks=291391 tps=100 nb_sec=2913
case_no=129 label=Case6.117 nb_sol=0 ticks=398493 tps=100 nb_sec=3984
case_no=129 label=Case6.117 nb_sol=0 ticks=197317 tps=100 nb_sec=1973
case_no=129 label=Case6.117 nb_sol=0 ticks=328465 tps=100 nb_sec=3284
case_no=129 label=Case6.117 nb_sol=0 ticks=372572 tps=100 nb_sec=3725
case_no=129 label=Case6.117 nb_sol=0 ticks=267967 tps=100 nb_sec=2679
case_no=129 label=Case6.117 nb_sol=0 ticks=150183 tps=100 nb_sec=1501
case_no=129 label=Case6.117 nb_sol=0 ticks=189888 tps=100 nb_sec=1898
case_no=129 label=Case6.117 nb_sol=0 ticks=321114 tps=100 nb_sec=3211
Nb_sol=0
Nb_sec=516507
5-23:28:27 or 143 hours
missing cases:
none