argc=5
-M 128
file2=30_select_Case6.93_starter_15_
checking files mod 128 from 0 to 127
case_no=105 label=Case6.93 nb_sol=0 ticks=253903 tps=100 nb_sec=2539
case_no=105 label=Case6.93 nb_sol=0 ticks=336230 tps=100 nb_sec=3362
case_no=105 label=Case6.93 nb_sol=0 ticks=294162 tps=100 nb_sec=2941
case_no=105 label=Case6.93 nb_sol=0 ticks=246569 tps=100 nb_sec=2465
case_no=105 label=Case6.93 nb_sol=0 ticks=257823 tps=100 nb_sec=2578
case_no=105 label=Case6.93 nb_sol=0 ticks=422928 tps=100 nb_sec=4229
case_no=105 label=Case6.93 nb_sol=0 ticks=311786 tps=100 nb_sec=3117
case_no=105 label=Case6.93 nb_sol=0 ticks=316838 tps=100 nb_sec=3168
case_no=105 label=Case6.93 nb_sol=0 ticks=364251 tps=100 nb_sec=3642
case_no=105 label=Case6.93 nb_sol=0 ticks=356539 tps=100 nb_sec=3565
case_no=105 label=Case6.93 nb_sol=0 ticks=327218 tps=100 nb_sec=3272
case_no=105 label=Case6.93 nb_sol=0 ticks=328089 tps=100 nb_sec=3280
case_no=105 label=Case6.93 nb_sol=0 ticks=408454 tps=100 nb_sec=4084
case_no=105 label=Case6.93 nb_sol=0 ticks=233597 tps=100 nb_sec=2335
case_no=105 label=Case6.93 nb_sol=0 ticks=275310 tps=100 nb_sec=2753
case_no=105 label=Case6.93 nb_sol=0 ticks=345140 tps=100 nb_sec=3451
case_no=105 label=Case6.93 nb_sol=0 ticks=348886 tps=100 nb_sec=3488
case_no=105 label=Case6.93 nb_sol=0 ticks=325948 tps=100 nb_sec=3259
case_no=105 label=Case6.93 nb_sol=0 ticks=308209 tps=100 nb_sec=3082
case_no=105 label=Case6.93 nb_sol=0 ticks=290823 tps=100 nb_sec=2908
case_no=105 label=Case6.93 nb_sol=0 ticks=310642 tps=100 nb_sec=3106
case_no=105 label=Case6.93 nb_sol=0 ticks=295567 tps=100 nb_sec=2955
case_no=105 label=Case6.93 nb_sol=0 ticks=321180 tps=100 nb_sec=3211
case_no=105 label=Case6.93 nb_sol=0 ticks=385006 tps=100 nb_sec=3850
case_no=105 label=Case6.93 nb_sol=0 ticks=385020 tps=100 nb_sec=3850
case_no=105 label=Case6.93 nb_sol=0 ticks=325549 tps=100 nb_sec=3255
case_no=105 label=Case6.93 nb_sol=0 ticks=359399 tps=100 nb_sec=3593
case_no=105 label=Case6.93 nb_sol=0 ticks=339616 tps=100 nb_sec=3396
case_no=105 label=Case6.93 nb_sol=0 ticks=240285 tps=100 nb_sec=2402
case_no=105 label=Case6.93 nb_sol=0 ticks=341540 tps=100 nb_sec=3415
case_no=105 label=Case6.93 nb_sol=0 ticks=328670 tps=100 nb_sec=3286
case_no=105 label=Case6.93 nb_sol=0 ticks=347281 tps=100 nb_sec=3472
case_no=105 label=Case6.93 nb_sol=0 ticks=269344 tps=100 nb_sec=2693
case_no=105 label=Case6.93 nb_sol=0 ticks=297431 tps=100 nb_sec=2974
case_no=105 label=Case6.93 nb_sol=0 ticks=187389 tps=100 nb_sec=1873
case_no=105 label=Case6.93 nb_sol=0 ticks=395672 tps=100 nb_sec=3956
case_no=105 label=Case6.93 nb_sol=0 ticks=261912 tps=100 nb_sec=2619
case_no=105 label=Case6.93 nb_sol=0 ticks=291883 tps=100 nb_sec=2918
case_no=105 label=Case6.93 nb_sol=0 ticks=308890 tps=100 nb_sec=3088
case_no=105 label=Case6.93 nb_sol=0 ticks=265761 tps=100 nb_sec=2657
case_no=105 label=Case6.93 nb_sol=0 ticks=301029 tps=100 nb_sec=3010
case_no=105 label=Case6.93 nb_sol=0 ticks=338492 tps=100 nb_sec=3384
case_no=105 label=Case6.93 nb_sol=0 ticks=430714 tps=100 nb_sec=4307
case_no=105 label=Case6.93 nb_sol=0 ticks=515941 tps=100 nb_sec=5159
case_no=105 label=Case6.93 nb_sol=0 ticks=474046 tps=100 nb_sec=4740
case_no=105 label=Case6.93 nb_sol=0 ticks=494089 tps=100 nb_sec=4940
case_no=105 label=Case6.93 nb_sol=0 ticks=396480 tps=100 nb_sec=3964
case_no=105 label=Case6.93 nb_sol=0 ticks=520960 tps=100 nb_sec=5209
case_no=105 label=Case6.93 nb_sol=0 ticks=382396 tps=100 nb_sec=3823
case_no=105 label=Case6.93 nb_sol=0 ticks=292948 tps=100 nb_sec=2929
case_no=105 label=Case6.93 nb_sol=0 ticks=324832 tps=100 nb_sec=3248
case_no=105 label=Case6.93 nb_sol=0 ticks=299986 tps=100 nb_sec=2999
case_no=105 label=Case6.93 nb_sol=0 ticks=345157 tps=100 nb_sec=3451
case_no=105 label=Case6.93 nb_sol=0 ticks=255010 tps=100 nb_sec=2550
case_no=105 label=Case6.93 nb_sol=0 ticks=320877 tps=100 nb_sec=3208
case_no=105 label=Case6.93 nb_sol=0 ticks=526385 tps=100 nb_sec=5263
case_no=105 label=Case6.93 nb_sol=0 ticks=377550 tps=100 nb_sec=3775
case_no=105 label=Case6.93 nb_sol=0 ticks=320815 tps=100 nb_sec=3208
case_no=105 label=Case6.93 nb_sol=0 ticks=222981 tps=100 nb_sec=2229
case_no=105 label=Case6.93 nb_sol=0 ticks=379663 tps=100 nb_sec=3796
case_no=105 label=Case6.93 nb_sol=0 ticks=331664 tps=100 nb_sec=3316
case_no=105 label=Case6.93 nb_sol=0 ticks=321514 tps=100 nb_sec=3215
case_no=105 label=Case6.93 nb_sol=0 ticks=475338 tps=100 nb_sec=4753
case_no=105 label=Case6.93 nb_sol=0 ticks=254592 tps=100 nb_sec=2545
case_no=105 label=Case6.93 nb_sol=0 ticks=264812 tps=100 nb_sec=2648
case_no=105 label=Case6.93 nb_sol=0 ticks=334128 tps=100 nb_sec=3341
case_no=105 label=Case6.93 nb_sol=0 ticks=130476 tps=100 nb_sec=1304
case_no=105 label=Case6.93 nb_sol=0 ticks=330827 tps=100 nb_sec=3308
case_no=105 label=Case6.93 nb_sol=0 ticks=316011 tps=100 nb_sec=3160
case_no=105 label=Case6.93 nb_sol=0 ticks=270734 tps=100 nb_sec=2707
case_no=105 label=Case6.93 nb_sol=0 ticks=367304 tps=100 nb_sec=3673
case_no=105 label=Case6.93 nb_sol=0 ticks=475351 tps=100 nb_sec=4753
case_no=105 label=Case6.93 nb_sol=0 ticks=341689 tps=100 nb_sec=3416
case_no=105 label=Case6.93 nb_sol=0 ticks=263895 tps=100 nb_sec=2638
case_no=105 label=Case6.93 nb_sol=0 ticks=361614 tps=100 nb_sec=3616
case_no=105 label=Case6.93 nb_sol=0 ticks=302753 tps=100 nb_sec=3027
case_no=105 label=Case6.93 nb_sol=0 ticks=317058 tps=100 nb_sec=3170
case_no=105 label=Case6.93 nb_sol=0 ticks=339956 tps=100 nb_sec=3399
case_no=105 label=Case6.93 nb_sol=0 ticks=310357 tps=100 nb_sec=3103
case_no=105 label=Case6.93 nb_sol=0 ticks=331987 tps=100 nb_sec=3319
case_no=105 label=Case6.93 nb_sol=0 ticks=298325 tps=100 nb_sec=2983
case_no=105 label=Case6.93 nb_sol=0 ticks=140765 tps=100 nb_sec=1407
case_no=105 label=Case6.93 nb_sol=0 ticks=204089 tps=100 nb_sec=2040
case_no=105 label=Case6.93 nb_sol=0 ticks=232701 tps=100 nb_sec=2327
case_no=105 label=Case6.93 nb_sol=0 ticks=173180 tps=100 nb_sec=1731
case_no=105 label=Case6.93 nb_sol=0 ticks=336331 tps=100 nb_sec=3363
case_no=105 label=Case6.93 nb_sol=0 ticks=315446 tps=100 nb_sec=3154
case_no=105 label=Case6.93 nb_sol=0 ticks=306296 tps=100 nb_sec=3062
case_no=105 label=Case6.93 nb_sol=0 ticks=431132 tps=100 nb_sec=4311
case_no=105 label=Case6.93 nb_sol=0 ticks=241605 tps=100 nb_sec=2416
case_no=105 label=Case6.93 nb_sol=0 ticks=219174 tps=100 nb_sec=2191
case_no=105 label=Case6.93 nb_sol=0 ticks=193267 tps=100 nb_sec=1932
case_no=105 label=Case6.93 nb_sol=0 ticks=231511 tps=100 nb_sec=2315
case_no=105 label=Case6.93 nb_sol=0 ticks=162814 tps=100 nb_sec=1628
case_no=105 label=Case6.93 nb_sol=0 ticks=145702 tps=100 nb_sec=1457
case_no=105 label=Case6.93 nb_sol=0 ticks=363428 tps=100 nb_sec=3634
case_no=105 label=Case6.93 nb_sol=0 ticks=281106 tps=100 nb_sec=2811
case_no=105 label=Case6.93 nb_sol=0 ticks=499231 tps=100 nb_sec=4992
case_no=105 label=Case6.93 nb_sol=0 ticks=374955 tps=100 nb_sec=3749
case_no=105 label=Case6.93 nb_sol=0 ticks=249545 tps=100 nb_sec=2495
case_no=105 label=Case6.93 nb_sol=0 ticks=302904 tps=100 nb_sec=3029
case_no=105 label=Case6.93 nb_sol=0 ticks=153366 tps=100 nb_sec=1533
case_no=105 label=Case6.93 nb_sol=0 ticks=114512 tps=100 nb_sec=1145
case_no=105 label=Case6.93 nb_sol=0 ticks=527607 tps=100 nb_sec=5276
case_no=105 label=Case6.93 nb_sol=0 ticks=282792 tps=100 nb_sec=2827
case_no=105 label=Case6.93 nb_sol=0 ticks=323993 tps=100 nb_sec=3239
case_no=105 label=Case6.93 nb_sol=0 ticks=263492 tps=100 nb_sec=2634
case_no=105 label=Case6.93 nb_sol=0 ticks=237626 tps=100 nb_sec=2376
case_no=105 label=Case6.93 nb_sol=0 ticks=198694 tps=100 nb_sec=1986
case_no=105 label=Case6.93 nb_sol=0 ticks=208528 tps=100 nb_sec=2085
case_no=105 label=Case6.93 nb_sol=0 ticks=267880 tps=100 nb_sec=2678
case_no=105 label=Case6.93 nb_sol=0 ticks=214488 tps=100 nb_sec=2144
case_no=105 label=Case6.93 nb_sol=0 ticks=280138 tps=100 nb_sec=2801
case_no=105 label=Case6.93 nb_sol=0 ticks=320201 tps=100 nb_sec=3202
case_no=105 label=Case6.93 nb_sol=0 ticks=258945 tps=100 nb_sec=2589
case_no=105 label=Case6.93 nb_sol=0 ticks=284748 tps=100 nb_sec=2847
case_no=105 label=Case6.93 nb_sol=0 ticks=286104 tps=100 nb_sec=2861
case_no=105 label=Case6.93 nb_sol=0 ticks=338203 tps=100 nb_sec=3382
case_no=105 label=Case6.93 nb_sol=0 ticks=249473 tps=100 nb_sec=2494
case_no=105 label=Case6.93 nb_sol=0 ticks=224023 tps=100 nb_sec=2240
case_no=105 label=Case6.93 nb_sol=0 ticks=314022 tps=100 nb_sec=3140
case_no=105 label=Case6.93 nb_sol=0 ticks=285459 tps=100 nb_sec=2854
case_no=105 label=Case6.93 nb_sol=0 ticks=275067 tps=100 nb_sec=2750
case_no=105 label=Case6.93 nb_sol=0 ticks=245403 tps=100 nb_sec=2454
case_no=105 label=Case6.93 nb_sol=0 ticks=229465 tps=100 nb_sec=2294
case_no=105 label=Case6.93 nb_sol=0 ticks=222071 tps=100 nb_sec=2220
case_no=105 label=Case6.93 nb_sol=0 ticks=303510 tps=100 nb_sec=3035
case_no=105 label=Case6.93 nb_sol=0 ticks=248659 tps=100 nb_sec=2486
Nb_sol=0
Nb_sec=394289
4-13:31:29 or 109 hours
missing cases:
none