argc=5
-M 256
file2=30_select_Case6.46_starter_16_
checking files mod 256 from 0 to 255
case_no=58 label=Case6.46 nb_sol=0 ticks=144717 tps=100 nb_sec=1447
case_no=58 label=Case6.46 nb_sol=0 ticks=184900 tps=100 nb_sec=1849
case_no=58 label=Case6.46 nb_sol=0 ticks=190532 tps=100 nb_sec=1905
case_no=58 label=Case6.46 nb_sol=0 ticks=281359 tps=100 nb_sec=2813
case_no=58 label=Case6.46 nb_sol=0 ticks=122026 tps=100 nb_sec=1220
case_no=58 label=Case6.46 nb_sol=0 ticks=190727 tps=100 nb_sec=1907
case_no=58 label=Case6.46 nb_sol=0 ticks=210302 tps=100 nb_sec=2103
case_no=58 label=Case6.46 nb_sol=0 ticks=203011 tps=100 nb_sec=2030
case_no=58 label=Case6.46 nb_sol=0 ticks=190400 tps=100 nb_sec=1904
case_no=58 label=Case6.46 nb_sol=0 ticks=255741 tps=100 nb_sec=2557
case_no=58 label=Case6.46 nb_sol=0 ticks=277940 tps=100 nb_sec=2779
case_no=58 label=Case6.46 nb_sol=0 ticks=182014 tps=100 nb_sec=1820
case_no=58 label=Case6.46 nb_sol=0 ticks=92738 tps=100 nb_sec=927
case_no=58 label=Case6.46 nb_sol=0 ticks=275973 tps=100 nb_sec=2759
case_no=58 label=Case6.46 nb_sol=0 ticks=221787 tps=100 nb_sec=2217
case_no=58 label=Case6.46 nb_sol=0 ticks=128689 tps=100 nb_sec=1286
case_no=58 label=Case6.46 nb_sol=0 ticks=215096 tps=100 nb_sec=2150
case_no=58 label=Case6.46 nb_sol=0 ticks=254514 tps=100 nb_sec=2545
case_no=58 label=Case6.46 nb_sol=0 ticks=248304 tps=100 nb_sec=2483
case_no=58 label=Case6.46 nb_sol=0 ticks=272810 tps=100 nb_sec=2728
case_no=58 label=Case6.46 nb_sol=0 ticks=90421 tps=100 nb_sec=904
case_no=58 label=Case6.46 nb_sol=0 ticks=208298 tps=100 nb_sec=2082
case_no=58 label=Case6.46 nb_sol=0 ticks=249236 tps=100 nb_sec=2492
case_no=58 label=Case6.46 nb_sol=0 ticks=173487 tps=100 nb_sec=1734
case_no=58 label=Case6.46 nb_sol=0 ticks=93985 tps=100 nb_sec=939
case_no=58 label=Case6.46 nb_sol=0 ticks=206668 tps=100 nb_sec=2066
case_no=58 label=Case6.46 nb_sol=0 ticks=220158 tps=100 nb_sec=2201
case_no=58 label=Case6.46 nb_sol=0 ticks=241768 tps=100 nb_sec=2417
case_no=58 label=Case6.46 nb_sol=0 ticks=95888 tps=100 nb_sec=958
case_no=58 label=Case6.46 nb_sol=0 ticks=308725 tps=100 nb_sec=3087
case_no=58 label=Case6.46 nb_sol=0 ticks=145870 tps=100 nb_sec=1458
case_no=58 label=Case6.46 nb_sol=0 ticks=246534 tps=100 nb_sec=2465
case_no=58 label=Case6.46 nb_sol=0 ticks=189736 tps=100 nb_sec=1897
case_no=58 label=Case6.46 nb_sol=0 ticks=273114 tps=100 nb_sec=2731
case_no=58 label=Case6.46 nb_sol=0 ticks=244080 tps=100 nb_sec=2440
case_no=58 label=Case6.46 nb_sol=0 ticks=288300 tps=100 nb_sec=2883
case_no=58 label=Case6.46 nb_sol=0 ticks=93777 tps=100 nb_sec=937
case_no=58 label=Case6.46 nb_sol=0 ticks=260442 tps=100 nb_sec=2604
case_no=58 label=Case6.46 nb_sol=0 ticks=93938 tps=100 nb_sec=939
case_no=58 label=Case6.46 nb_sol=0 ticks=226513 tps=100 nb_sec=2265
case_no=58 label=Case6.46 nb_sol=0 ticks=142257 tps=100 nb_sec=1422
case_no=58 label=Case6.46 nb_sol=0 ticks=228729 tps=100 nb_sec=2287
case_no=58 label=Case6.46 nb_sol=0 ticks=225652 tps=100 nb_sec=2256
case_no=58 label=Case6.46 nb_sol=0 ticks=228034 tps=100 nb_sec=2280
case_no=58 label=Case6.46 nb_sol=0 ticks=140417 tps=100 nb_sec=1404
case_no=58 label=Case6.46 nb_sol=0 ticks=126611 tps=100 nb_sec=1266
case_no=58 label=Case6.46 nb_sol=0 ticks=210146 tps=100 nb_sec=2101
case_no=58 label=Case6.46 nb_sol=0 ticks=120039 tps=100 nb_sec=1200
case_no=58 label=Case6.46 nb_sol=0 ticks=92479 tps=100 nb_sec=924
case_no=58 label=Case6.46 nb_sol=0 ticks=236513 tps=100 nb_sec=2365
case_no=58 label=Case6.46 nb_sol=0 ticks=135586 tps=100 nb_sec=1355
case_no=58 label=Case6.46 nb_sol=0 ticks=189424 tps=100 nb_sec=1894
case_no=58 label=Case6.46 nb_sol=0 ticks=140831 tps=100 nb_sec=1408
case_no=58 label=Case6.46 nb_sol=0 ticks=122717 tps=100 nb_sec=1227
case_no=58 label=Case6.46 nb_sol=0 ticks=266125 tps=100 nb_sec=2661
case_no=58 label=Case6.46 nb_sol=0 ticks=189213 tps=100 nb_sec=1892
case_no=58 label=Case6.46 nb_sol=0 ticks=130309 tps=100 nb_sec=1303
case_no=58 label=Case6.46 nb_sol=0 ticks=242529 tps=100 nb_sec=2425
case_no=58 label=Case6.46 nb_sol=0 ticks=92064 tps=100 nb_sec=920
case_no=58 label=Case6.46 nb_sol=0 ticks=130886 tps=100 nb_sec=1308
case_no=58 label=Case6.46 nb_sol=0 ticks=122267 tps=100 nb_sec=1222
case_no=58 label=Case6.46 nb_sol=0 ticks=128323 tps=100 nb_sec=1283
case_no=58 label=Case6.46 nb_sol=0 ticks=127019 tps=100 nb_sec=1270
case_no=58 label=Case6.46 nb_sol=0 ticks=85337 tps=100 nb_sec=853
case_no=58 label=Case6.46 nb_sol=0 ticks=133111 tps=100 nb_sec=1331
case_no=58 label=Case6.46 nb_sol=0 ticks=125229 tps=100 nb_sec=1252
case_no=58 label=Case6.46 nb_sol=0 ticks=142433 tps=100 nb_sec=1424
case_no=58 label=Case6.46 nb_sol=0 ticks=143632 tps=100 nb_sec=1436
case_no=58 label=Case6.46 nb_sol=0 ticks=177067 tps=100 nb_sec=1770
case_no=58 label=Case6.46 nb_sol=0 ticks=141047 tps=100 nb_sec=1410
case_no=58 label=Case6.46 nb_sol=0 ticks=95008 tps=100 nb_sec=950
case_no=58 label=Case6.46 nb_sol=0 ticks=98729 tps=100 nb_sec=987
case_no=58 label=Case6.46 nb_sol=0 ticks=145817 tps=100 nb_sec=1458
case_no=58 label=Case6.46 nb_sol=0 ticks=140771 tps=100 nb_sec=1407
case_no=58 label=Case6.46 nb_sol=0 ticks=91455 tps=100 nb_sec=914
case_no=58 label=Case6.46 nb_sol=0 ticks=195551 tps=100 nb_sec=1955
case_no=58 label=Case6.46 nb_sol=0 ticks=120499 tps=100 nb_sec=1204
case_no=58 label=Case6.46 nb_sol=0 ticks=165580 tps=100 nb_sec=1655
case_no=58 label=Case6.46 nb_sol=0 ticks=96428 tps=100 nb_sec=964
case_no=58 label=Case6.46 nb_sol=0 ticks=229912 tps=100 nb_sec=2299
case_no=58 label=Case6.46 nb_sol=0 ticks=314480 tps=100 nb_sec=3144
case_no=58 label=Case6.46 nb_sol=0 ticks=92915 tps=100 nb_sec=929
case_no=58 label=Case6.46 nb_sol=0 ticks=137617 tps=100 nb_sec=1376
case_no=58 label=Case6.46 nb_sol=0 ticks=348538 tps=100 nb_sec=3485
case_no=58 label=Case6.46 nb_sol=0 ticks=305118 tps=100 nb_sec=3051
case_no=58 label=Case6.46 nb_sol=0 ticks=104111 tps=100 nb_sec=1041
case_no=58 label=Case6.46 nb_sol=0 ticks=239622 tps=100 nb_sec=2396
case_no=58 label=Case6.46 nb_sol=0 ticks=235361 tps=100 nb_sec=2353
case_no=58 label=Case6.46 nb_sol=0 ticks=372045 tps=100 nb_sec=3720
case_no=58 label=Case6.46 nb_sol=0 ticks=269390 tps=100 nb_sec=2693
case_no=58 label=Case6.46 nb_sol=0 ticks=375267 tps=100 nb_sec=3752
case_no=58 label=Case6.46 nb_sol=0 ticks=283715 tps=100 nb_sec=2837
case_no=58 label=Case6.46 nb_sol=0 ticks=140091 tps=100 nb_sec=1400
case_no=58 label=Case6.46 nb_sol=0 ticks=205607 tps=100 nb_sec=2056
case_no=58 label=Case6.46 nb_sol=0 ticks=116688 tps=100 nb_sec=1166
case_no=58 label=Case6.46 nb_sol=0 ticks=191108 tps=100 nb_sec=1911
case_no=58 label=Case6.46 nb_sol=0 ticks=105987 tps=100 nb_sec=1059
case_no=58 label=Case6.46 nb_sol=0 ticks=93221 tps=100 nb_sec=932
case_no=58 label=Case6.46 nb_sol=0 ticks=92458 tps=100 nb_sec=924
case_no=58 label=Case6.46 nb_sol=0 ticks=99424 tps=100 nb_sec=994
case_no=58 label=Case6.46 nb_sol=0 ticks=90521 tps=100 nb_sec=905
case_no=58 label=Case6.46 nb_sol=0 ticks=132703 tps=100 nb_sec=1327
case_no=58 label=Case6.46 nb_sol=0 ticks=206561 tps=100 nb_sec=2065
case_no=58 label=Case6.46 nb_sol=0 ticks=93859 tps=100 nb_sec=938
case_no=58 label=Case6.46 nb_sol=0 ticks=114191 tps=100 nb_sec=1141
case_no=58 label=Case6.46 nb_sol=0 ticks=94798 tps=100 nb_sec=947
case_no=58 label=Case6.46 nb_sol=0 ticks=233528 tps=100 nb_sec=2335
case_no=58 label=Case6.46 nb_sol=0 ticks=144556 tps=100 nb_sec=1445
case_no=58 label=Case6.46 nb_sol=0 ticks=207812 tps=100 nb_sec=2078
case_no=58 label=Case6.46 nb_sol=0 ticks=135225 tps=100 nb_sec=1352
case_no=58 label=Case6.46 nb_sol=0 ticks=222479 tps=100 nb_sec=2224
case_no=58 label=Case6.46 nb_sol=0 ticks=125158 tps=100 nb_sec=1251
case_no=58 label=Case6.46 nb_sol=0 ticks=378781 tps=100 nb_sec=3787
case_no=58 label=Case6.46 nb_sol=0 ticks=330065 tps=100 nb_sec=3300
case_no=58 label=Case6.46 nb_sol=0 ticks=130766 tps=100 nb_sec=1307
case_no=58 label=Case6.46 nb_sol=0 ticks=121266 tps=100 nb_sec=1212
case_no=58 label=Case6.46 nb_sol=0 ticks=95561 tps=100 nb_sec=955
case_no=58 label=Case6.46 nb_sol=0 ticks=330475 tps=100 nb_sec=3304
case_no=58 label=Case6.46 nb_sol=0 ticks=87943 tps=100 nb_sec=879
case_no=58 label=Case6.46 nb_sol=0 ticks=272233 tps=100 nb_sec=2722
case_no=58 label=Case6.46 nb_sol=0 ticks=125607 tps=100 nb_sec=1256
case_no=58 label=Case6.46 nb_sol=0 ticks=224266 tps=100 nb_sec=2242
case_no=58 label=Case6.46 nb_sol=0 ticks=241562 tps=100 nb_sec=2415
case_no=58 label=Case6.46 nb_sol=0 ticks=185016 tps=100 nb_sec=1850
case_no=58 label=Case6.46 nb_sol=0 ticks=168050 tps=100 nb_sec=1680
case_no=58 label=Case6.46 nb_sol=0 ticks=187247 tps=100 nb_sec=1872
case_no=58 label=Case6.46 nb_sol=0 ticks=121433 tps=100 nb_sec=1214
case_no=58 label=Case6.46 nb_sol=0 ticks=122037 tps=100 nb_sec=1220
case_no=58 label=Case6.46 nb_sol=0 ticks=128684 tps=100 nb_sec=1286
case_no=58 label=Case6.46 nb_sol=0 ticks=134447 tps=100 nb_sec=1344
case_no=58 label=Case6.46 nb_sol=0 ticks=120780 tps=100 nb_sec=1207
case_no=58 label=Case6.46 nb_sol=0 ticks=223208 tps=100 nb_sec=2232
case_no=58 label=Case6.46 nb_sol=0 ticks=285608 tps=100 nb_sec=2856
case_no=58 label=Case6.46 nb_sol=0 ticks=142150 tps=100 nb_sec=1421
case_no=58 label=Case6.46 nb_sol=0 ticks=91594 tps=100 nb_sec=915
case_no=58 label=Case6.46 nb_sol=0 ticks=93775 tps=100 nb_sec=937
case_no=58 label=Case6.46 nb_sol=0 ticks=126062 tps=100 nb_sec=1260
case_no=58 label=Case6.46 nb_sol=0 ticks=284273 tps=100 nb_sec=2842
case_no=58 label=Case6.46 nb_sol=0 ticks=282509 tps=100 nb_sec=2825
case_no=58 label=Case6.46 nb_sol=0 ticks=127853 tps=100 nb_sec=1278
case_no=58 label=Case6.46 nb_sol=0 ticks=94975 tps=100 nb_sec=949
case_no=58 label=Case6.46 nb_sol=0 ticks=132315 tps=100 nb_sec=1323
case_no=58 label=Case6.46 nb_sol=0 ticks=136945 tps=100 nb_sec=1369
case_no=58 label=Case6.46 nb_sol=0 ticks=268807 tps=100 nb_sec=2688
case_no=58 label=Case6.46 nb_sol=0 ticks=96082 tps=100 nb_sec=960
case_no=58 label=Case6.46 nb_sol=0 ticks=94521 tps=100 nb_sec=945
case_no=58 label=Case6.46 nb_sol=0 ticks=94662 tps=100 nb_sec=946
case_no=58 label=Case6.46 nb_sol=0 ticks=288627 tps=100 nb_sec=2886
case_no=58 label=Case6.46 nb_sol=0 ticks=109875 tps=100 nb_sec=1098
case_no=58 label=Case6.46 nb_sol=0 ticks=285286 tps=100 nb_sec=2852
case_no=58 label=Case6.46 nb_sol=0 ticks=139544 tps=100 nb_sec=1395
case_no=58 label=Case6.46 nb_sol=0 ticks=294706 tps=100 nb_sec=2947
case_no=58 label=Case6.46 nb_sol=0 ticks=130093 tps=100 nb_sec=1300
case_no=58 label=Case6.46 nb_sol=0 ticks=357440 tps=100 nb_sec=3574
case_no=58 label=Case6.46 nb_sol=0 ticks=141905 tps=100 nb_sec=1419
case_no=58 label=Case6.46 nb_sol=0 ticks=132139 tps=100 nb_sec=1321
case_no=58 label=Case6.46 nb_sol=0 ticks=176290 tps=100 nb_sec=1762
case_no=58 label=Case6.46 nb_sol=0 ticks=144277 tps=100 nb_sec=1442
case_no=58 label=Case6.46 nb_sol=0 ticks=124017 tps=100 nb_sec=1240
case_no=58 label=Case6.46 nb_sol=0 ticks=148304 tps=100 nb_sec=1483
case_no=58 label=Case6.46 nb_sol=0 ticks=198733 tps=100 nb_sec=1987
case_no=58 label=Case6.46 nb_sol=0 ticks=149126 tps=100 nb_sec=1491
case_no=58 label=Case6.46 nb_sol=0 ticks=98653 tps=100 nb_sec=986
case_no=58 label=Case6.46 nb_sol=0 ticks=142473 tps=100 nb_sec=1424
case_no=58 label=Case6.46 nb_sol=0 ticks=111508 tps=100 nb_sec=1115
case_no=58 label=Case6.46 nb_sol=0 ticks=145786 tps=100 nb_sec=1457
case_no=58 label=Case6.46 nb_sol=0 ticks=114237 tps=100 nb_sec=1142
case_no=58 label=Case6.46 nb_sol=0 ticks=105909 tps=100 nb_sec=1059
case_no=58 label=Case6.46 nb_sol=0 ticks=91956 tps=100 nb_sec=919
case_no=58 label=Case6.46 nb_sol=0 ticks=128366 tps=100 nb_sec=1283
case_no=58 label=Case6.46 nb_sol=0 ticks=107955 tps=100 nb_sec=1079
case_no=58 label=Case6.46 nb_sol=0 ticks=98612 tps=100 nb_sec=986
case_no=58 label=Case6.46 nb_sol=0 ticks=98004 tps=100 nb_sec=980
case_no=58 label=Case6.46 nb_sol=0 ticks=98877 tps=100 nb_sec=988
case_no=58 label=Case6.46 nb_sol=0 ticks=142182 tps=100 nb_sec=1421
case_no=58 label=Case6.46 nb_sol=0 ticks=95945 tps=100 nb_sec=959
case_no=58 label=Case6.46 nb_sol=0 ticks=143691 tps=100 nb_sec=1436
case_no=58 label=Case6.46 nb_sol=0 ticks=86250 tps=100 nb_sec=862
case_no=58 label=Case6.46 nb_sol=0 ticks=131107 tps=100 nb_sec=1311
case_no=58 label=Case6.46 nb_sol=0 ticks=126085 tps=100 nb_sec=1260
case_no=58 label=Case6.46 nb_sol=0 ticks=104389 tps=100 nb_sec=1043
case_no=58 label=Case6.46 nb_sol=0 ticks=95638 tps=100 nb_sec=956
case_no=58 label=Case6.46 nb_sol=0 ticks=161350 tps=100 nb_sec=1613
case_no=58 label=Case6.46 nb_sol=0 ticks=109966 tps=100 nb_sec=1099
case_no=58 label=Case6.46 nb_sol=0 ticks=114298 tps=100 nb_sec=1142
case_no=58 label=Case6.46 nb_sol=0 ticks=111314 tps=100 nb_sec=1113
case_no=58 label=Case6.46 nb_sol=0 ticks=144713 tps=100 nb_sec=1447
case_no=58 label=Case6.46 nb_sol=0 ticks=101252 tps=100 nb_sec=1012
case_no=58 label=Case6.46 nb_sol=0 ticks=102655 tps=100 nb_sec=1026
case_no=58 label=Case6.46 nb_sol=0 ticks=197368 tps=100 nb_sec=1973
case_no=58 label=Case6.46 nb_sol=0 ticks=165471 tps=100 nb_sec=1654
case_no=58 label=Case6.46 nb_sol=0 ticks=137437 tps=100 nb_sec=1374
case_no=58 label=Case6.46 nb_sol=0 ticks=127345 tps=100 nb_sec=1273
case_no=58 label=Case6.46 nb_sol=0 ticks=101552 tps=100 nb_sec=1015
case_no=58 label=Case6.46 nb_sol=0 ticks=92126 tps=100 nb_sec=921
case_no=58 label=Case6.46 nb_sol=0 ticks=124575 tps=100 nb_sec=1245
case_no=58 label=Case6.46 nb_sol=0 ticks=98060 tps=100 nb_sec=980
case_no=58 label=Case6.46 nb_sol=0 ticks=130938 tps=100 nb_sec=1309
case_no=58 label=Case6.46 nb_sol=0 ticks=92347 tps=100 nb_sec=923
case_no=58 label=Case6.46 nb_sol=0 ticks=156055 tps=100 nb_sec=1560
case_no=58 label=Case6.46 nb_sol=0 ticks=95572 tps=100 nb_sec=955
case_no=58 label=Case6.46 nb_sol=0 ticks=221036 tps=100 nb_sec=2210
case_no=58 label=Case6.46 nb_sol=0 ticks=239169 tps=100 nb_sec=2391
case_no=58 label=Case6.46 nb_sol=0 ticks=230482 tps=100 nb_sec=2304
case_no=58 label=Case6.46 nb_sol=0 ticks=244047 tps=100 nb_sec=2440
case_no=58 label=Case6.46 nb_sol=0 ticks=219813 tps=100 nb_sec=2198
case_no=58 label=Case6.46 nb_sol=0 ticks=360836 tps=100 nb_sec=3608
case_no=58 label=Case6.46 nb_sol=0 ticks=249365 tps=100 nb_sec=2493
case_no=58 label=Case6.46 nb_sol=0 ticks=227028 tps=100 nb_sec=2270
case_no=58 label=Case6.46 nb_sol=0 ticks=337041 tps=100 nb_sec=3370
case_no=58 label=Case6.46 nb_sol=0 ticks=305093 tps=100 nb_sec=3050
case_no=58 label=Case6.46 nb_sol=0 ticks=329534 tps=100 nb_sec=3295
case_no=58 label=Case6.46 nb_sol=0 ticks=373814 tps=100 nb_sec=3738
case_no=58 label=Case6.46 nb_sol=0 ticks=196171 tps=100 nb_sec=1961
case_no=58 label=Case6.46 nb_sol=0 ticks=248537 tps=100 nb_sec=2485
case_no=58 label=Case6.46 nb_sol=0 ticks=317117 tps=100 nb_sec=3171
case_no=58 label=Case6.46 nb_sol=0 ticks=204207 tps=100 nb_sec=2042
case_no=58 label=Case6.46 nb_sol=0 ticks=313303 tps=100 nb_sec=3133
case_no=58 label=Case6.46 nb_sol=0 ticks=137904 tps=100 nb_sec=1379
case_no=58 label=Case6.46 nb_sol=0 ticks=89341 tps=100 nb_sec=893
case_no=58 label=Case6.46 nb_sol=0 ticks=224557 tps=100 nb_sec=2245
case_no=58 label=Case6.46 nb_sol=0 ticks=109329 tps=100 nb_sec=1093
case_no=58 label=Case6.46 nb_sol=0 ticks=340394 tps=100 nb_sec=3403
case_no=58 label=Case6.46 nb_sol=0 ticks=107806 tps=100 nb_sec=1078
case_no=58 label=Case6.46 nb_sol=0 ticks=324795 tps=100 nb_sec=3247
case_no=58 label=Case6.46 nb_sol=0 ticks=135094 tps=100 nb_sec=1350
case_no=58 label=Case6.46 nb_sol=0 ticks=354522 tps=100 nb_sec=3545
case_no=58 label=Case6.46 nb_sol=0 ticks=328453 tps=100 nb_sec=3284
case_no=58 label=Case6.46 nb_sol=0 ticks=299985 tps=100 nb_sec=2999
case_no=58 label=Case6.46 nb_sol=0 ticks=140829 tps=100 nb_sec=1408
case_no=58 label=Case6.46 nb_sol=0 ticks=128896 tps=100 nb_sec=1288
case_no=58 label=Case6.46 nb_sol=0 ticks=142497 tps=100 nb_sec=1424
case_no=58 label=Case6.46 nb_sol=0 ticks=149185 tps=100 nb_sec=1491
case_no=58 label=Case6.46 nb_sol=0 ticks=147059 tps=100 nb_sec=1470
case_no=58 label=Case6.46 nb_sol=0 ticks=123899 tps=100 nb_sec=1238
case_no=58 label=Case6.46 nb_sol=0 ticks=151317 tps=100 nb_sec=1513
case_no=58 label=Case6.46 nb_sol=0 ticks=134641 tps=100 nb_sec=1346
case_no=58 label=Case6.46 nb_sol=0 ticks=96045 tps=100 nb_sec=960
case_no=58 label=Case6.46 nb_sol=0 ticks=96289 tps=100 nb_sec=962
case_no=58 label=Case6.46 nb_sol=0 ticks=155772 tps=100 nb_sec=1557
case_no=58 label=Case6.46 nb_sol=0 ticks=283584 tps=100 nb_sec=2835
case_no=58 label=Case6.46 nb_sol=0 ticks=227921 tps=100 nb_sec=2279
case_no=58 label=Case6.46 nb_sol=0 ticks=137438 tps=100 nb_sec=1374
case_no=58 label=Case6.46 nb_sol=0 ticks=147757 tps=100 nb_sec=1477
case_no=58 label=Case6.46 nb_sol=0 ticks=140463 tps=100 nb_sec=1404
case_no=58 label=Case6.46 nb_sol=0 ticks=91433 tps=100 nb_sec=914
case_no=58 label=Case6.46 nb_sol=0 ticks=121519 tps=100 nb_sec=1215
case_no=58 label=Case6.46 nb_sol=0 ticks=282778 tps=100 nb_sec=2827
case_no=58 label=Case6.46 nb_sol=0 ticks=286529 tps=100 nb_sec=2865
case_no=58 label=Case6.46 nb_sol=0 ticks=287908 tps=100 nb_sec=2879
case_no=58 label=Case6.46 nb_sol=0 ticks=283220 tps=100 nb_sec=2832
case_no=58 label=Case6.46 nb_sol=0 ticks=350983 tps=100 nb_sec=3509
case_no=58 label=Case6.46 nb_sol=0 ticks=119669 tps=100 nb_sec=1196
case_no=58 label=Case6.46 nb_sol=0 ticks=136591 tps=100 nb_sec=1365
case_no=58 label=Case6.46 nb_sol=0 ticks=150027 tps=100 nb_sec=1500
case_no=58 label=Case6.46 nb_sol=0 ticks=122299 tps=100 nb_sec=1222
Nb_sol=0
Nb_sec=453417
5-5:56:57 or 125 hours
missing cases:
none