argc=5
-M 256
file2=30_select_Case6.49_starter_16_
checking files mod 256 from 0 to 255
case_no=61 label=Case6.49 nb_sol=0 ticks=70997 tps=100 nb_sec=709
case_no=61 label=Case6.49 nb_sol=0 ticks=59122 tps=100 nb_sec=591
case_no=61 label=Case6.49 nb_sol=0 ticks=29654 tps=100 nb_sec=296
case_no=61 label=Case6.49 nb_sol=0 ticks=104815 tps=100 nb_sec=1048
case_no=61 label=Case6.49 nb_sol=0 ticks=79526 tps=100 nb_sec=795
case_no=61 label=Case6.49 nb_sol=0 ticks=65795 tps=100 nb_sec=657
case_no=61 label=Case6.49 nb_sol=0 ticks=52917 tps=100 nb_sec=529
case_no=61 label=Case6.49 nb_sol=0 ticks=64113 tps=100 nb_sec=641
case_no=61 label=Case6.49 nb_sol=0 ticks=92215 tps=100 nb_sec=922
case_no=61 label=Case6.49 nb_sol=0 ticks=74205 tps=100 nb_sec=742
case_no=61 label=Case6.49 nb_sol=0 ticks=55205 tps=100 nb_sec=552
case_no=61 label=Case6.49 nb_sol=0 ticks=72738 tps=100 nb_sec=727
case_no=61 label=Case6.49 nb_sol=0 ticks=56194 tps=100 nb_sec=561
case_no=61 label=Case6.49 nb_sol=0 ticks=68146 tps=100 nb_sec=681
case_no=61 label=Case6.49 nb_sol=0 ticks=64937 tps=100 nb_sec=649
case_no=61 label=Case6.49 nb_sol=0 ticks=57441 tps=100 nb_sec=574
case_no=61 label=Case6.49 nb_sol=0 ticks=55814 tps=100 nb_sec=558
case_no=61 label=Case6.49 nb_sol=0 ticks=63983 tps=100 nb_sec=639
case_no=61 label=Case6.49 nb_sol=0 ticks=127798 tps=100 nb_sec=1277
case_no=61 label=Case6.49 nb_sol=0 ticks=53246 tps=100 nb_sec=532
case_no=61 label=Case6.49 nb_sol=0 ticks=69531 tps=100 nb_sec=695
case_no=61 label=Case6.49 nb_sol=0 ticks=71323 tps=100 nb_sec=713
case_no=61 label=Case6.49 nb_sol=0 ticks=66446 tps=100 nb_sec=664
case_no=61 label=Case6.49 nb_sol=0 ticks=53579 tps=100 nb_sec=535
case_no=61 label=Case6.49 nb_sol=0 ticks=62257 tps=100 nb_sec=622
case_no=61 label=Case6.49 nb_sol=0 ticks=60397 tps=100 nb_sec=603
case_no=61 label=Case6.49 nb_sol=0 ticks=60993 tps=100 nb_sec=609
case_no=61 label=Case6.49 nb_sol=0 ticks=55361 tps=100 nb_sec=553
case_no=61 label=Case6.49 nb_sol=0 ticks=55192 tps=100 nb_sec=551
case_no=61 label=Case6.49 nb_sol=0 ticks=63345 tps=100 nb_sec=633
case_no=61 label=Case6.49 nb_sol=0 ticks=27742 tps=100 nb_sec=277
case_no=61 label=Case6.49 nb_sol=0 ticks=42979 tps=100 nb_sec=429
case_no=61 label=Case6.49 nb_sol=0 ticks=72680 tps=100 nb_sec=726
case_no=61 label=Case6.49 nb_sol=0 ticks=66932 tps=100 nb_sec=669
case_no=61 label=Case6.49 nb_sol=0 ticks=47473 tps=100 nb_sec=474
case_no=61 label=Case6.49 nb_sol=0 ticks=68946 tps=100 nb_sec=689
case_no=61 label=Case6.49 nb_sol=0 ticks=62729 tps=100 nb_sec=627
case_no=61 label=Case6.49 nb_sol=0 ticks=75625 tps=100 nb_sec=756
case_no=61 label=Case6.49 nb_sol=0 ticks=59885 tps=100 nb_sec=598
case_no=61 label=Case6.49 nb_sol=0 ticks=67004 tps=100 nb_sec=670
case_no=61 label=Case6.49 nb_sol=0 ticks=59822 tps=100 nb_sec=598
case_no=61 label=Case6.49 nb_sol=0 ticks=60302 tps=100 nb_sec=603
case_no=61 label=Case6.49 nb_sol=0 ticks=49118 tps=100 nb_sec=491
case_no=61 label=Case6.49 nb_sol=0 ticks=72486 tps=100 nb_sec=724
case_no=61 label=Case6.49 nb_sol=0 ticks=33969 tps=100 nb_sec=339
case_no=61 label=Case6.49 nb_sol=0 ticks=29556 tps=100 nb_sec=295
case_no=61 label=Case6.49 nb_sol=0 ticks=62872 tps=100 nb_sec=628
case_no=61 label=Case6.49 nb_sol=0 ticks=36166 tps=100 nb_sec=361
case_no=61 label=Case6.49 nb_sol=0 ticks=89185 tps=100 nb_sec=891
case_no=61 label=Case6.49 nb_sol=0 ticks=62170 tps=100 nb_sec=621
case_no=61 label=Case6.49 nb_sol=0 ticks=92192 tps=100 nb_sec=921
case_no=61 label=Case6.49 nb_sol=0 ticks=64778 tps=100 nb_sec=647
case_no=61 label=Case6.49 nb_sol=0 ticks=33109 tps=100 nb_sec=331
case_no=61 label=Case6.49 nb_sol=0 ticks=46293 tps=100 nb_sec=462
case_no=61 label=Case6.49 nb_sol=0 ticks=107516 tps=100 nb_sec=1075
case_no=61 label=Case6.49 nb_sol=0 ticks=57723 tps=100 nb_sec=577
case_no=61 label=Case6.49 nb_sol=0 ticks=92711 tps=100 nb_sec=927
case_no=61 label=Case6.49 nb_sol=0 ticks=72198 tps=100 nb_sec=721
case_no=61 label=Case6.49 nb_sol=0 ticks=45703 tps=100 nb_sec=457
case_no=61 label=Case6.49 nb_sol=0 ticks=65775 tps=100 nb_sec=657
case_no=61 label=Case6.49 nb_sol=0 ticks=92633 tps=100 nb_sec=926
case_no=61 label=Case6.49 nb_sol=0 ticks=30820 tps=100 nb_sec=308
case_no=61 label=Case6.49 nb_sol=0 ticks=74731 tps=100 nb_sec=747
case_no=61 label=Case6.49 nb_sol=0 ticks=59825 tps=100 nb_sec=598
case_no=61 label=Case6.49 nb_sol=0 ticks=64369 tps=100 nb_sec=643
case_no=61 label=Case6.49 nb_sol=0 ticks=27787 tps=100 nb_sec=277
case_no=61 label=Case6.49 nb_sol=0 ticks=63706 tps=100 nb_sec=637
case_no=61 label=Case6.49 nb_sol=0 ticks=79789 tps=100 nb_sec=797
case_no=61 label=Case6.49 nb_sol=0 ticks=68099 tps=100 nb_sec=680
case_no=61 label=Case6.49 nb_sol=0 ticks=27926 tps=100 nb_sec=279
case_no=61 label=Case6.49 nb_sol=0 ticks=60316 tps=100 nb_sec=603
case_no=61 label=Case6.49 nb_sol=0 ticks=67574 tps=100 nb_sec=675
case_no=61 label=Case6.49 nb_sol=0 ticks=59770 tps=100 nb_sec=597
case_no=61 label=Case6.49 nb_sol=0 ticks=41771 tps=100 nb_sec=417
case_no=61 label=Case6.49 nb_sol=0 ticks=57795 tps=100 nb_sec=577
case_no=61 label=Case6.49 nb_sol=0 ticks=60454 tps=100 nb_sec=604
case_no=61 label=Case6.49 nb_sol=0 ticks=89841 tps=100 nb_sec=898
case_no=61 label=Case6.49 nb_sol=0 ticks=32106 tps=100 nb_sec=321
case_no=61 label=Case6.49 nb_sol=0 ticks=71145 tps=100 nb_sec=711
case_no=61 label=Case6.49 nb_sol=0 ticks=30791 tps=100 nb_sec=307
case_no=61 label=Case6.49 nb_sol=0 ticks=57556 tps=100 nb_sec=575
case_no=61 label=Case6.49 nb_sol=0 ticks=52299 tps=100 nb_sec=522
case_no=61 label=Case6.49 nb_sol=0 ticks=64548 tps=100 nb_sec=645
case_no=61 label=Case6.49 nb_sol=0 ticks=60842 tps=100 nb_sec=608
case_no=61 label=Case6.49 nb_sol=0 ticks=27087 tps=100 nb_sec=270
case_no=61 label=Case6.49 nb_sol=0 ticks=28883 tps=100 nb_sec=288
case_no=61 label=Case6.49 nb_sol=0 ticks=65665 tps=100 nb_sec=656
case_no=61 label=Case6.49 nb_sol=0 ticks=64246 tps=100 nb_sec=642
case_no=61 label=Case6.49 nb_sol=0 ticks=69587 tps=100 nb_sec=695
case_no=61 label=Case6.49 nb_sol=0 ticks=60828 tps=100 nb_sec=608
case_no=61 label=Case6.49 nb_sol=0 ticks=64741 tps=100 nb_sec=647
case_no=61 label=Case6.49 nb_sol=0 ticks=63518 tps=100 nb_sec=635
case_no=61 label=Case6.49 nb_sol=0 ticks=48145 tps=100 nb_sec=481
case_no=61 label=Case6.49 nb_sol=0 ticks=59529 tps=100 nb_sec=595
case_no=61 label=Case6.49 nb_sol=0 ticks=72254 tps=100 nb_sec=722
case_no=61 label=Case6.49 nb_sol=0 ticks=62344 tps=100 nb_sec=623
case_no=61 label=Case6.49 nb_sol=0 ticks=36627 tps=100 nb_sec=366
case_no=61 label=Case6.49 nb_sol=0 ticks=60974 tps=100 nb_sec=609
case_no=61 label=Case6.49 nb_sol=0 ticks=61893 tps=100 nb_sec=618
case_no=61 label=Case6.49 nb_sol=0 ticks=32183 tps=100 nb_sec=321
case_no=61 label=Case6.49 nb_sol=0 ticks=86988 tps=100 nb_sec=869
case_no=61 label=Case6.49 nb_sol=0 ticks=28757 tps=100 nb_sec=287
case_no=61 label=Case6.49 nb_sol=0 ticks=60334 tps=100 nb_sec=603
case_no=61 label=Case6.49 nb_sol=0 ticks=42644 tps=100 nb_sec=426
case_no=61 label=Case6.49 nb_sol=0 ticks=63789 tps=100 nb_sec=637
case_no=61 label=Case6.49 nb_sol=0 ticks=36099 tps=100 nb_sec=360
case_no=61 label=Case6.49 nb_sol=0 ticks=70759 tps=100 nb_sec=707
case_no=61 label=Case6.49 nb_sol=0 ticks=91867 tps=100 nb_sec=918
case_no=61 label=Case6.49 nb_sol=0 ticks=58635 tps=100 nb_sec=586
case_no=61 label=Case6.49 nb_sol=0 ticks=84594 tps=100 nb_sec=845
case_no=61 label=Case6.49 nb_sol=0 ticks=58012 tps=100 nb_sec=580
case_no=61 label=Case6.49 nb_sol=0 ticks=46669 tps=100 nb_sec=466
case_no=61 label=Case6.49 nb_sol=0 ticks=101406 tps=100 nb_sec=1014
case_no=61 label=Case6.49 nb_sol=0 ticks=48974 tps=100 nb_sec=489
case_no=61 label=Case6.49 nb_sol=0 ticks=70218 tps=100 nb_sec=702
case_no=61 label=Case6.49 nb_sol=0 ticks=68595 tps=100 nb_sec=685
case_no=61 label=Case6.49 nb_sol=0 ticks=91740 tps=100 nb_sec=917
case_no=61 label=Case6.49 nb_sol=0 ticks=58553 tps=100 nb_sec=585
case_no=61 label=Case6.49 nb_sol=0 ticks=97443 tps=100 nb_sec=974
case_no=61 label=Case6.49 nb_sol=0 ticks=41682 tps=100 nb_sec=416
case_no=61 label=Case6.49 nb_sol=0 ticks=27804 tps=100 nb_sec=278
case_no=61 label=Case6.49 nb_sol=0 ticks=106282 tps=100 nb_sec=1062
case_no=61 label=Case6.49 nb_sol=0 ticks=55953 tps=100 nb_sec=559
case_no=61 label=Case6.49 nb_sol=0 ticks=84967 tps=100 nb_sec=849
case_no=61 label=Case6.49 nb_sol=0 ticks=39238 tps=100 nb_sec=392
case_no=61 label=Case6.49 nb_sol=0 ticks=60935 tps=100 nb_sec=609
case_no=61 label=Case6.49 nb_sol=0 ticks=100117 tps=100 nb_sec=1001
case_no=61 label=Case6.49 nb_sol=0 ticks=90142 tps=100 nb_sec=901
case_no=61 label=Case6.49 nb_sol=0 ticks=30850 tps=100 nb_sec=308
case_no=61 label=Case6.49 nb_sol=0 ticks=92855 tps=100 nb_sec=928
case_no=61 label=Case6.49 nb_sol=0 ticks=29575 tps=100 nb_sec=295
case_no=61 label=Case6.49 nb_sol=0 ticks=54988 tps=100 nb_sec=549
case_no=61 label=Case6.49 nb_sol=0 ticks=99839 tps=100 nb_sec=998
case_no=61 label=Case6.49 nb_sol=0 ticks=81595 tps=100 nb_sec=815
case_no=61 label=Case6.49 nb_sol=0 ticks=68632 tps=100 nb_sec=686
case_no=61 label=Case6.49 nb_sol=0 ticks=55792 tps=100 nb_sec=557
case_no=61 label=Case6.49 nb_sol=0 ticks=46655 tps=100 nb_sec=466
case_no=61 label=Case6.49 nb_sol=0 ticks=57960 tps=100 nb_sec=579
case_no=61 label=Case6.49 nb_sol=0 ticks=92409 tps=100 nb_sec=924
case_no=61 label=Case6.49 nb_sol=0 ticks=92704 tps=100 nb_sec=927
case_no=61 label=Case6.49 nb_sol=0 ticks=44531 tps=100 nb_sec=445
case_no=61 label=Case6.49 nb_sol=0 ticks=56593 tps=100 nb_sec=565
case_no=61 label=Case6.49 nb_sol=0 ticks=91466 tps=100 nb_sec=914
case_no=61 label=Case6.49 nb_sol=0 ticks=109219 tps=100 nb_sec=1092
case_no=61 label=Case6.49 nb_sol=0 ticks=28640 tps=100 nb_sec=286
case_no=61 label=Case6.49 nb_sol=0 ticks=61159 tps=100 nb_sec=611
case_no=61 label=Case6.49 nb_sol=0 ticks=63128 tps=100 nb_sec=631
case_no=61 label=Case6.49 nb_sol=0 ticks=62495 tps=100 nb_sec=624
case_no=61 label=Case6.49 nb_sol=0 ticks=64225 tps=100 nb_sec=642
case_no=61 label=Case6.49 nb_sol=0 ticks=64166 tps=100 nb_sec=641
case_no=61 label=Case6.49 nb_sol=0 ticks=57067 tps=100 nb_sec=570
case_no=61 label=Case6.49 nb_sol=0 ticks=31193 tps=100 nb_sec=311
case_no=61 label=Case6.49 nb_sol=0 ticks=86038 tps=100 nb_sec=860
case_no=61 label=Case6.49 nb_sol=0 ticks=51692 tps=100 nb_sec=516
case_no=61 label=Case6.49 nb_sol=0 ticks=65598 tps=100 nb_sec=655
case_no=61 label=Case6.49 nb_sol=0 ticks=42440 tps=100 nb_sec=424
case_no=61 label=Case6.49 nb_sol=0 ticks=135666 tps=100 nb_sec=1356
case_no=61 label=Case6.49 nb_sol=0 ticks=63913 tps=100 nb_sec=639
case_no=61 label=Case6.49 nb_sol=0 ticks=58995 tps=100 nb_sec=589
case_no=61 label=Case6.49 nb_sol=0 ticks=66780 tps=100 nb_sec=667
case_no=61 label=Case6.49 nb_sol=0 ticks=75675 tps=100 nb_sec=756
case_no=61 label=Case6.49 nb_sol=0 ticks=46201 tps=100 nb_sec=462
case_no=61 label=Case6.49 nb_sol=0 ticks=54651 tps=100 nb_sec=546
case_no=61 label=Case6.49 nb_sol=0 ticks=76020 tps=100 nb_sec=760
case_no=61 label=Case6.49 nb_sol=0 ticks=53697 tps=100 nb_sec=536
case_no=61 label=Case6.49 nb_sol=0 ticks=29598 tps=100 nb_sec=295
case_no=61 label=Case6.49 nb_sol=0 ticks=65637 tps=100 nb_sec=656
case_no=61 label=Case6.49 nb_sol=0 ticks=28279 tps=100 nb_sec=282
case_no=61 label=Case6.49 nb_sol=0 ticks=58729 tps=100 nb_sec=587
case_no=61 label=Case6.49 nb_sol=0 ticks=68535 tps=100 nb_sec=685
case_no=61 label=Case6.49 nb_sol=0 ticks=32745 tps=100 nb_sec=327
case_no=61 label=Case6.49 nb_sol=0 ticks=82437 tps=100 nb_sec=824
case_no=61 label=Case6.49 nb_sol=0 ticks=71497 tps=100 nb_sec=714
case_no=61 label=Case6.49 nb_sol=0 ticks=52436 tps=100 nb_sec=524
case_no=61 label=Case6.49 nb_sol=0 ticks=64845 tps=100 nb_sec=648
case_no=61 label=Case6.49 nb_sol=0 ticks=28540 tps=100 nb_sec=285
case_no=61 label=Case6.49 nb_sol=0 ticks=65175 tps=100 nb_sec=651
case_no=61 label=Case6.49 nb_sol=0 ticks=46114 tps=100 nb_sec=461
case_no=61 label=Case6.49 nb_sol=0 ticks=72715 tps=100 nb_sec=727
case_no=61 label=Case6.49 nb_sol=0 ticks=66499 tps=100 nb_sec=664
case_no=61 label=Case6.49 nb_sol=0 ticks=62628 tps=100 nb_sec=626
case_no=61 label=Case6.49 nb_sol=0 ticks=39457 tps=100 nb_sec=394
case_no=61 label=Case6.49 nb_sol=0 ticks=75454 tps=100 nb_sec=754
case_no=61 label=Case6.49 nb_sol=0 ticks=30601 tps=100 nb_sec=306
case_no=61 label=Case6.49 nb_sol=0 ticks=66712 tps=100 nb_sec=667
case_no=61 label=Case6.49 nb_sol=0 ticks=48735 tps=100 nb_sec=487
case_no=61 label=Case6.49 nb_sol=0 ticks=51195 tps=100 nb_sec=511
case_no=61 label=Case6.49 nb_sol=0 ticks=42894 tps=100 nb_sec=428
case_no=61 label=Case6.49 nb_sol=0 ticks=47388 tps=100 nb_sec=473
case_no=61 label=Case6.49 nb_sol=0 ticks=64770 tps=100 nb_sec=647
case_no=61 label=Case6.49 nb_sol=0 ticks=38068 tps=100 nb_sec=380
case_no=61 label=Case6.49 nb_sol=0 ticks=106034 tps=100 nb_sec=1060
case_no=61 label=Case6.49 nb_sol=0 ticks=106785 tps=100 nb_sec=1067
case_no=61 label=Case6.49 nb_sol=0 ticks=48031 tps=100 nb_sec=480
case_no=61 label=Case6.49 nb_sol=0 ticks=73980 tps=100 nb_sec=739
case_no=61 label=Case6.49 nb_sol=0 ticks=27759 tps=100 nb_sec=277
case_no=61 label=Case6.49 nb_sol=0 ticks=93974 tps=100 nb_sec=939
case_no=61 label=Case6.49 nb_sol=0 ticks=52512 tps=100 nb_sec=525
case_no=61 label=Case6.49 nb_sol=0 ticks=109250 tps=100 nb_sec=1092
case_no=61 label=Case6.49 nb_sol=0 ticks=92826 tps=100 nb_sec=928
case_no=61 label=Case6.49 nb_sol=0 ticks=100237 tps=100 nb_sec=1002
case_no=61 label=Case6.49 nb_sol=0 ticks=66959 tps=100 nb_sec=669
case_no=61 label=Case6.49 nb_sol=0 ticks=83357 tps=100 nb_sec=833
case_no=61 label=Case6.49 nb_sol=0 ticks=97686 tps=100 nb_sec=976
case_no=61 label=Case6.49 nb_sol=0 ticks=64095 tps=100 nb_sec=640
case_no=61 label=Case6.49 nb_sol=0 ticks=59161 tps=100 nb_sec=591
case_no=61 label=Case6.49 nb_sol=0 ticks=65181 tps=100 nb_sec=651
case_no=61 label=Case6.49 nb_sol=0 ticks=84584 tps=100 nb_sec=845
case_no=61 label=Case6.49 nb_sol=0 ticks=65659 tps=100 nb_sec=656
case_no=61 label=Case6.49 nb_sol=0 ticks=74658 tps=100 nb_sec=746
case_no=61 label=Case6.49 nb_sol=0 ticks=27016 tps=100 nb_sec=270
case_no=61 label=Case6.49 nb_sol=0 ticks=47356 tps=100 nb_sec=473
case_no=61 label=Case6.49 nb_sol=0 ticks=46324 tps=100 nb_sec=463
case_no=61 label=Case6.49 nb_sol=0 ticks=67984 tps=100 nb_sec=679
case_no=61 label=Case6.49 nb_sol=0 ticks=28813 tps=100 nb_sec=288
case_no=61 label=Case6.49 nb_sol=0 ticks=59909 tps=100 nb_sec=599
case_no=61 label=Case6.49 nb_sol=0 ticks=39013 tps=100 nb_sec=390
case_no=61 label=Case6.49 nb_sol=0 ticks=109278 tps=100 nb_sec=1092
case_no=61 label=Case6.49 nb_sol=0 ticks=55191 tps=100 nb_sec=551
case_no=61 label=Case6.49 nb_sol=0 ticks=67125 tps=100 nb_sec=671
case_no=61 label=Case6.49 nb_sol=0 ticks=72356 tps=100 nb_sec=723
case_no=61 label=Case6.49 nb_sol=0 ticks=56368 tps=100 nb_sec=563
case_no=61 label=Case6.49 nb_sol=0 ticks=63411 tps=100 nb_sec=634
case_no=61 label=Case6.49 nb_sol=0 ticks=75013 tps=100 nb_sec=750
case_no=61 label=Case6.49 nb_sol=0 ticks=65740 tps=100 nb_sec=657
case_no=61 label=Case6.49 nb_sol=0 ticks=107770 tps=100 nb_sec=1077
case_no=61 label=Case6.49 nb_sol=0 ticks=64393 tps=100 nb_sec=643
case_no=61 label=Case6.49 nb_sol=0 ticks=87870 tps=100 nb_sec=878
case_no=61 label=Case6.49 nb_sol=0 ticks=68857 tps=100 nb_sec=688
case_no=61 label=Case6.49 nb_sol=0 ticks=65969 tps=100 nb_sec=659
case_no=61 label=Case6.49 nb_sol=0 ticks=31606 tps=100 nb_sec=316
case_no=61 label=Case6.49 nb_sol=0 ticks=49467 tps=100 nb_sec=494
case_no=61 label=Case6.49 nb_sol=0 ticks=38118 tps=100 nb_sec=381
case_no=61 label=Case6.49 nb_sol=0 ticks=39625 tps=100 nb_sec=396
case_no=61 label=Case6.49 nb_sol=0 ticks=62450 tps=100 nb_sec=624
case_no=61 label=Case6.49 nb_sol=0 ticks=30058 tps=100 nb_sec=300
case_no=61 label=Case6.49 nb_sol=0 ticks=71068 tps=100 nb_sec=710
case_no=61 label=Case6.49 nb_sol=0 ticks=63286 tps=100 nb_sec=632
case_no=61 label=Case6.49 nb_sol=0 ticks=60596 tps=100 nb_sec=605
case_no=61 label=Case6.49 nb_sol=0 ticks=97680 tps=100 nb_sec=976
case_no=61 label=Case6.49 nb_sol=0 ticks=63619 tps=100 nb_sec=636
case_no=61 label=Case6.49 nb_sol=0 ticks=96005 tps=100 nb_sec=960
case_no=61 label=Case6.49 nb_sol=0 ticks=65375 tps=100 nb_sec=653
case_no=61 label=Case6.49 nb_sol=0 ticks=29234 tps=100 nb_sec=292
case_no=61 label=Case6.49 nb_sol=0 ticks=42289 tps=100 nb_sec=422
case_no=61 label=Case6.49 nb_sol=0 ticks=41313 tps=100 nb_sec=413
case_no=61 label=Case6.49 nb_sol=0 ticks=60241 tps=100 nb_sec=602
case_no=61 label=Case6.49 nb_sol=0 ticks=63573 tps=100 nb_sec=635
case_no=61 label=Case6.49 nb_sol=0 ticks=52020 tps=100 nb_sec=520
case_no=61 label=Case6.49 nb_sol=0 ticks=67862 tps=100 nb_sec=678
case_no=61 label=Case6.49 nb_sol=0 ticks=45307 tps=100 nb_sec=453
case_no=61 label=Case6.49 nb_sol=0 ticks=62293 tps=100 nb_sec=622
case_no=61 label=Case6.49 nb_sol=0 ticks=94956 tps=100 nb_sec=949
case_no=61 label=Case6.49 nb_sol=0 ticks=41552 tps=100 nb_sec=415
case_no=61 label=Case6.49 nb_sol=0 ticks=57371 tps=100 nb_sec=573
case_no=61 label=Case6.49 nb_sol=0 ticks=27490 tps=100 nb_sec=274
Nb_sol=0
Nb_sec=159672
1-20:21:12 or 44 hours
missing cases:
none