argc=5
-M 256
file2=30_select_Case6.47_starter_16_
checking files mod 256 from 0 to 255
case_no=59 label=Case6.47 nb_sol=0 ticks=105935 tps=100 nb_sec=1059
case_no=59 label=Case6.47 nb_sol=0 ticks=83628 tps=100 nb_sec=836
case_no=59 label=Case6.47 nb_sol=0 ticks=169228 tps=100 nb_sec=1692
case_no=59 label=Case6.47 nb_sol=0 ticks=150736 tps=100 nb_sec=1507
case_no=59 label=Case6.47 nb_sol=0 ticks=150226 tps=100 nb_sec=1502
case_no=59 label=Case6.47 nb_sol=0 ticks=119381 tps=100 nb_sec=1193
case_no=59 label=Case6.47 nb_sol=0 ticks=105171 tps=100 nb_sec=1051
case_no=59 label=Case6.47 nb_sol=0 ticks=76832 tps=100 nb_sec=768
case_no=59 label=Case6.47 nb_sol=0 ticks=83650 tps=100 nb_sec=836
case_no=59 label=Case6.47 nb_sol=0 ticks=55986 tps=100 nb_sec=559
case_no=59 label=Case6.47 nb_sol=0 ticks=81764 tps=100 nb_sec=817
case_no=59 label=Case6.47 nb_sol=0 ticks=100119 tps=100 nb_sec=1001
case_no=59 label=Case6.47 nb_sol=0 ticks=139527 tps=100 nb_sec=1395
case_no=59 label=Case6.47 nb_sol=0 ticks=170000 tps=100 nb_sec=1700
case_no=59 label=Case6.47 nb_sol=0 ticks=133274 tps=100 nb_sec=1332
case_no=59 label=Case6.47 nb_sol=0 ticks=104845 tps=100 nb_sec=1048
case_no=59 label=Case6.47 nb_sol=0 ticks=128483 tps=100 nb_sec=1284
case_no=59 label=Case6.47 nb_sol=0 ticks=124225 tps=100 nb_sec=1242
case_no=59 label=Case6.47 nb_sol=0 ticks=117396 tps=100 nb_sec=1173
case_no=59 label=Case6.47 nb_sol=0 ticks=103747 tps=100 nb_sec=1037
case_no=59 label=Case6.47 nb_sol=0 ticks=120480 tps=100 nb_sec=1204
case_no=59 label=Case6.47 nb_sol=0 ticks=129262 tps=100 nb_sec=1292
case_no=59 label=Case6.47 nb_sol=0 ticks=141968 tps=100 nb_sec=1419
case_no=59 label=Case6.47 nb_sol=0 ticks=108408 tps=100 nb_sec=1084
case_no=59 label=Case6.47 nb_sol=0 ticks=127632 tps=100 nb_sec=1276
case_no=59 label=Case6.47 nb_sol=0 ticks=123745 tps=100 nb_sec=1237
case_no=59 label=Case6.47 nb_sol=0 ticks=84695 tps=100 nb_sec=846
case_no=59 label=Case6.47 nb_sol=0 ticks=161525 tps=100 nb_sec=1615
case_no=59 label=Case6.47 nb_sol=0 ticks=112364 tps=100 nb_sec=1123
case_no=59 label=Case6.47 nb_sol=0 ticks=75245 tps=100 nb_sec=752
case_no=59 label=Case6.47 nb_sol=0 ticks=176474 tps=100 nb_sec=1764
case_no=59 label=Case6.47 nb_sol=0 ticks=105059 tps=100 nb_sec=1050
case_no=59 label=Case6.47 nb_sol=0 ticks=156619 tps=100 nb_sec=1566
case_no=59 label=Case6.47 nb_sol=0 ticks=209025 tps=100 nb_sec=2090
case_no=59 label=Case6.47 nb_sol=0 ticks=109805 tps=100 nb_sec=1098
case_no=59 label=Case6.47 nb_sol=0 ticks=163048 tps=100 nb_sec=1630
case_no=59 label=Case6.47 nb_sol=0 ticks=107678 tps=100 nb_sec=1076
case_no=59 label=Case6.47 nb_sol=0 ticks=147646 tps=100 nb_sec=1476
case_no=59 label=Case6.47 nb_sol=0 ticks=126276 tps=100 nb_sec=1262
case_no=59 label=Case6.47 nb_sol=0 ticks=196746 tps=100 nb_sec=1967
case_no=59 label=Case6.47 nb_sol=0 ticks=107299 tps=100 nb_sec=1072
case_no=59 label=Case6.47 nb_sol=0 ticks=109263 tps=100 nb_sec=1092
case_no=59 label=Case6.47 nb_sol=0 ticks=120079 tps=100 nb_sec=1200
case_no=59 label=Case6.47 nb_sol=0 ticks=111778 tps=100 nb_sec=1117
case_no=59 label=Case6.47 nb_sol=0 ticks=111659 tps=100 nb_sec=1116
case_no=59 label=Case6.47 nb_sol=0 ticks=106718 tps=100 nb_sec=1067
case_no=59 label=Case6.47 nb_sol=0 ticks=110251 tps=100 nb_sec=1102
case_no=59 label=Case6.47 nb_sol=0 ticks=118748 tps=100 nb_sec=1187
case_no=59 label=Case6.47 nb_sol=0 ticks=177907 tps=100 nb_sec=1779
case_no=59 label=Case6.47 nb_sol=0 ticks=121552 tps=100 nb_sec=1215
case_no=59 label=Case6.47 nb_sol=0 ticks=120483 tps=100 nb_sec=1204
case_no=59 label=Case6.47 nb_sol=0 ticks=122182 tps=100 nb_sec=1221
case_no=59 label=Case6.47 nb_sol=0 ticks=125004 tps=100 nb_sec=1250
case_no=59 label=Case6.47 nb_sol=0 ticks=102334 tps=100 nb_sec=1023
case_no=59 label=Case6.47 nb_sol=0 ticks=151794 tps=100 nb_sec=1517
case_no=59 label=Case6.47 nb_sol=0 ticks=116918 tps=100 nb_sec=1169
case_no=59 label=Case6.47 nb_sol=0 ticks=157775 tps=100 nb_sec=1577
case_no=59 label=Case6.47 nb_sol=0 ticks=161349 tps=100 nb_sec=1613
case_no=59 label=Case6.47 nb_sol=0 ticks=117998 tps=100 nb_sec=1179
case_no=59 label=Case6.47 nb_sol=0 ticks=205742 tps=100 nb_sec=2057
case_no=59 label=Case6.47 nb_sol=0 ticks=105749 tps=100 nb_sec=1057
case_no=59 label=Case6.47 nb_sol=0 ticks=81565 tps=100 nb_sec=815
case_no=59 label=Case6.47 nb_sol=0 ticks=156913 tps=100 nb_sec=1569
case_no=59 label=Case6.47 nb_sol=0 ticks=85876 tps=100 nb_sec=858
case_no=59 label=Case6.47 nb_sol=0 ticks=90267 tps=100 nb_sec=902
case_no=59 label=Case6.47 nb_sol=0 ticks=105867 tps=100 nb_sec=1058
case_no=59 label=Case6.47 nb_sol=0 ticks=89005 tps=100 nb_sec=890
case_no=59 label=Case6.47 nb_sol=0 ticks=50812 tps=100 nb_sec=508
case_no=59 label=Case6.47 nb_sol=0 ticks=91514 tps=100 nb_sec=915
case_no=59 label=Case6.47 nb_sol=0 ticks=93407 tps=100 nb_sec=934
case_no=59 label=Case6.47 nb_sol=0 ticks=107529 tps=100 nb_sec=1075
case_no=59 label=Case6.47 nb_sol=0 ticks=131511 tps=100 nb_sec=1315
case_no=59 label=Case6.47 nb_sol=0 ticks=67410 tps=100 nb_sec=674
case_no=59 label=Case6.47 nb_sol=0 ticks=124011 tps=100 nb_sec=1240
case_no=59 label=Case6.47 nb_sol=0 ticks=120421 tps=100 nb_sec=1204
case_no=59 label=Case6.47 nb_sol=0 ticks=96763 tps=100 nb_sec=967
case_no=59 label=Case6.47 nb_sol=0 ticks=106860 tps=100 nb_sec=1068
case_no=59 label=Case6.47 nb_sol=0 ticks=125396 tps=100 nb_sec=1253
case_no=59 label=Case6.47 nb_sol=0 ticks=114343 tps=100 nb_sec=1143
case_no=59 label=Case6.47 nb_sol=0 ticks=104206 tps=100 nb_sec=1042
case_no=59 label=Case6.47 nb_sol=0 ticks=126380 tps=100 nb_sec=1263
case_no=59 label=Case6.47 nb_sol=0 ticks=214004 tps=100 nb_sec=2140
case_no=59 label=Case6.47 nb_sol=0 ticks=105455 tps=100 nb_sec=1054
case_no=59 label=Case6.47 nb_sol=0 ticks=107102 tps=100 nb_sec=1071
case_no=59 label=Case6.47 nb_sol=0 ticks=143208 tps=100 nb_sec=1432
case_no=59 label=Case6.47 nb_sol=0 ticks=106713 tps=100 nb_sec=1067
case_no=59 label=Case6.47 nb_sol=0 ticks=121251 tps=100 nb_sec=1212
case_no=59 label=Case6.47 nb_sol=0 ticks=165606 tps=100 nb_sec=1656
case_no=59 label=Case6.47 nb_sol=0 ticks=131344 tps=100 nb_sec=1313
case_no=59 label=Case6.47 nb_sol=0 ticks=97755 tps=100 nb_sec=977
case_no=59 label=Case6.47 nb_sol=0 ticks=118175 tps=100 nb_sec=1181
case_no=59 label=Case6.47 nb_sol=0 ticks=174034 tps=100 nb_sec=1740
case_no=59 label=Case6.47 nb_sol=0 ticks=126363 tps=100 nb_sec=1263
case_no=59 label=Case6.47 nb_sol=0 ticks=111436 tps=100 nb_sec=1114
case_no=59 label=Case6.47 nb_sol=0 ticks=115647 tps=100 nb_sec=1156
case_no=59 label=Case6.47 nb_sol=0 ticks=116062 tps=100 nb_sec=1160
case_no=59 label=Case6.47 nb_sol=0 ticks=110674 tps=100 nb_sec=1106
case_no=59 label=Case6.47 nb_sol=0 ticks=116467 tps=100 nb_sec=1164
case_no=59 label=Case6.47 nb_sol=0 ticks=149002 tps=100 nb_sec=1490
case_no=59 label=Case6.47 nb_sol=0 ticks=156503 tps=100 nb_sec=1565
case_no=59 label=Case6.47 nb_sol=0 ticks=121883 tps=100 nb_sec=1218
case_no=59 label=Case6.47 nb_sol=0 ticks=105720 tps=100 nb_sec=1057
case_no=59 label=Case6.47 nb_sol=0 ticks=137401 tps=100 nb_sec=1374
case_no=59 label=Case6.47 nb_sol=0 ticks=161705 tps=100 nb_sec=1617
case_no=59 label=Case6.47 nb_sol=0 ticks=116598 tps=100 nb_sec=1165
case_no=59 label=Case6.47 nb_sol=0 ticks=111983 tps=100 nb_sec=1119
case_no=59 label=Case6.47 nb_sol=0 ticks=154144 tps=100 nb_sec=1541
case_no=59 label=Case6.47 nb_sol=0 ticks=123482 tps=100 nb_sec=1234
case_no=59 label=Case6.47 nb_sol=0 ticks=103625 tps=100 nb_sec=1036
case_no=59 label=Case6.47 nb_sol=0 ticks=126528 tps=100 nb_sec=1265
case_no=59 label=Case6.47 nb_sol=0 ticks=185327 tps=100 nb_sec=1853
case_no=59 label=Case6.47 nb_sol=0 ticks=127045 tps=100 nb_sec=1270
case_no=59 label=Case6.47 nb_sol=0 ticks=107301 tps=100 nb_sec=1073
case_no=59 label=Case6.47 nb_sol=0 ticks=117047 tps=100 nb_sec=1170
case_no=59 label=Case6.47 nb_sol=0 ticks=125025 tps=100 nb_sec=1250
case_no=59 label=Case6.47 nb_sol=0 ticks=178820 tps=100 nb_sec=1788
case_no=59 label=Case6.47 nb_sol=0 ticks=128010 tps=100 nb_sec=1280
case_no=59 label=Case6.47 nb_sol=0 ticks=127588 tps=100 nb_sec=1275
case_no=59 label=Case6.47 nb_sol=0 ticks=193840 tps=100 nb_sec=1938
case_no=59 label=Case6.47 nb_sol=0 ticks=128765 tps=100 nb_sec=1287
case_no=59 label=Case6.47 nb_sol=0 ticks=101075 tps=100 nb_sec=1010
case_no=59 label=Case6.47 nb_sol=0 ticks=117914 tps=100 nb_sec=1179
case_no=59 label=Case6.47 nb_sol=0 ticks=91688 tps=100 nb_sec=916
case_no=59 label=Case6.47 nb_sol=0 ticks=147448 tps=100 nb_sec=1474
case_no=59 label=Case6.47 nb_sol=0 ticks=122842 tps=100 nb_sec=1228
case_no=59 label=Case6.47 nb_sol=0 ticks=95157 tps=100 nb_sec=951
case_no=59 label=Case6.47 nb_sol=0 ticks=88402 tps=100 nb_sec=884
case_no=59 label=Case6.47 nb_sol=0 ticks=111568 tps=100 nb_sec=1115
case_no=59 label=Case6.47 nb_sol=0 ticks=184054 tps=100 nb_sec=1840
case_no=59 label=Case6.47 nb_sol=0 ticks=91645 tps=100 nb_sec=916
case_no=59 label=Case6.47 nb_sol=0 ticks=172050 tps=100 nb_sec=1720
case_no=59 label=Case6.47 nb_sol=0 ticks=124951 tps=100 nb_sec=1249
case_no=59 label=Case6.47 nb_sol=0 ticks=90382 tps=100 nb_sec=903
case_no=59 label=Case6.47 nb_sol=0 ticks=115919 tps=100 nb_sec=1159
case_no=59 label=Case6.47 nb_sol=0 ticks=51369 tps=100 nb_sec=513
case_no=59 label=Case6.47 nb_sol=0 ticks=180923 tps=100 nb_sec=1809
case_no=59 label=Case6.47 nb_sol=0 ticks=114605 tps=100 nb_sec=1146
case_no=59 label=Case6.47 nb_sol=0 ticks=118872 tps=100 nb_sec=1188
case_no=59 label=Case6.47 nb_sol=0 ticks=95223 tps=100 nb_sec=952
case_no=59 label=Case6.47 nb_sol=0 ticks=112939 tps=100 nb_sec=1129
case_no=59 label=Case6.47 nb_sol=0 ticks=51929 tps=100 nb_sec=519
case_no=59 label=Case6.47 nb_sol=0 ticks=112256 tps=100 nb_sec=1122
case_no=59 label=Case6.47 nb_sol=0 ticks=158337 tps=100 nb_sec=1583
case_no=59 label=Case6.47 nb_sol=0 ticks=106825 tps=100 nb_sec=1068
case_no=59 label=Case6.47 nb_sol=0 ticks=120860 tps=100 nb_sec=1208
case_no=59 label=Case6.47 nb_sol=0 ticks=91247 tps=100 nb_sec=912
case_no=59 label=Case6.47 nb_sol=0 ticks=117179 tps=100 nb_sec=1171
case_no=59 label=Case6.47 nb_sol=0 ticks=172093 tps=100 nb_sec=1720
case_no=59 label=Case6.47 nb_sol=0 ticks=157430 tps=100 nb_sec=1574
case_no=59 label=Case6.47 nb_sol=0 ticks=117929 tps=100 nb_sec=1179
case_no=59 label=Case6.47 nb_sol=0 ticks=116003 tps=100 nb_sec=1160
case_no=59 label=Case6.47 nb_sol=0 ticks=69628 tps=100 nb_sec=696
case_no=59 label=Case6.47 nb_sol=0 ticks=98794 tps=100 nb_sec=987
case_no=59 label=Case6.47 nb_sol=0 ticks=114450 tps=100 nb_sec=1144
case_no=59 label=Case6.47 nb_sol=0 ticks=125902 tps=100 nb_sec=1259
case_no=59 label=Case6.47 nb_sol=0 ticks=87254 tps=100 nb_sec=872
case_no=59 label=Case6.47 nb_sol=0 ticks=85799 tps=100 nb_sec=857
case_no=59 label=Case6.47 nb_sol=0 ticks=69599 tps=100 nb_sec=695
case_no=59 label=Case6.47 nb_sol=0 ticks=74311 tps=100 nb_sec=743
case_no=59 label=Case6.47 nb_sol=0 ticks=75743 tps=100 nb_sec=757
case_no=59 label=Case6.47 nb_sol=0 ticks=105773 tps=100 nb_sec=1057
case_no=59 label=Case6.47 nb_sol=0 ticks=95678 tps=100 nb_sec=956
case_no=59 label=Case6.47 nb_sol=0 ticks=74043 tps=100 nb_sec=740
case_no=59 label=Case6.47 nb_sol=0 ticks=81330 tps=100 nb_sec=813
case_no=59 label=Case6.47 nb_sol=0 ticks=124038 tps=100 nb_sec=1240
case_no=59 label=Case6.47 nb_sol=0 ticks=55791 tps=100 nb_sec=557
case_no=59 label=Case6.47 nb_sol=0 ticks=110364 tps=100 nb_sec=1103
case_no=59 label=Case6.47 nb_sol=0 ticks=70335 tps=100 nb_sec=703
case_no=59 label=Case6.47 nb_sol=0 ticks=121473 tps=100 nb_sec=1214
case_no=59 label=Case6.47 nb_sol=0 ticks=116043 tps=100 nb_sec=1160
case_no=59 label=Case6.47 nb_sol=0 ticks=80303 tps=100 nb_sec=803
case_no=59 label=Case6.47 nb_sol=0 ticks=121707 tps=100 nb_sec=1217
case_no=59 label=Case6.47 nb_sol=0 ticks=68767 tps=100 nb_sec=687
case_no=59 label=Case6.47 nb_sol=0 ticks=106464 tps=100 nb_sec=1064
case_no=59 label=Case6.47 nb_sol=0 ticks=118479 tps=100 nb_sec=1184
case_no=59 label=Case6.47 nb_sol=0 ticks=100327 tps=100 nb_sec=1003
case_no=59 label=Case6.47 nb_sol=0 ticks=133531 tps=100 nb_sec=1335
case_no=59 label=Case6.47 nb_sol=0 ticks=152358 tps=100 nb_sec=1523
case_no=59 label=Case6.47 nb_sol=0 ticks=67735 tps=100 nb_sec=677
case_no=59 label=Case6.47 nb_sol=0 ticks=54611 tps=100 nb_sec=546
case_no=59 label=Case6.47 nb_sol=0 ticks=55453 tps=100 nb_sec=554
case_no=59 label=Case6.47 nb_sol=0 ticks=121752 tps=100 nb_sec=1217
case_no=59 label=Case6.47 nb_sol=0 ticks=56041 tps=100 nb_sec=560
case_no=59 label=Case6.47 nb_sol=0 ticks=110530 tps=100 nb_sec=1105
case_no=59 label=Case6.47 nb_sol=0 ticks=52775 tps=100 nb_sec=527
case_no=59 label=Case6.47 nb_sol=0 ticks=108400 tps=100 nb_sec=1084
case_no=59 label=Case6.47 nb_sol=0 ticks=114072 tps=100 nb_sec=1140
case_no=59 label=Case6.47 nb_sol=0 ticks=111577 tps=100 nb_sec=1115
case_no=59 label=Case6.47 nb_sol=0 ticks=113696 tps=100 nb_sec=1136
case_no=59 label=Case6.47 nb_sol=0 ticks=126945 tps=100 nb_sec=1269
case_no=59 label=Case6.47 nb_sol=0 ticks=134672 tps=100 nb_sec=1346
case_no=59 label=Case6.47 nb_sol=0 ticks=54117 tps=100 nb_sec=541
case_no=59 label=Case6.47 nb_sol=0 ticks=106400 tps=100 nb_sec=1064
case_no=59 label=Case6.47 nb_sol=0 ticks=103762 tps=100 nb_sec=1037
case_no=59 label=Case6.47 nb_sol=0 ticks=108683 tps=100 nb_sec=1086
case_no=59 label=Case6.47 nb_sol=0 ticks=100839 tps=100 nb_sec=1008
case_no=59 label=Case6.47 nb_sol=0 ticks=62671 tps=100 nb_sec=626
case_no=59 label=Case6.47 nb_sol=0 ticks=110226 tps=100 nb_sec=1102
case_no=59 label=Case6.47 nb_sol=0 ticks=89081 tps=100 nb_sec=890
case_no=59 label=Case6.47 nb_sol=0 ticks=105879 tps=100 nb_sec=1058
case_no=59 label=Case6.47 nb_sol=0 ticks=101889 tps=100 nb_sec=1018
case_no=59 label=Case6.47 nb_sol=0 ticks=125555 tps=100 nb_sec=1255
case_no=59 label=Case6.47 nb_sol=0 ticks=55268 tps=100 nb_sec=552
case_no=59 label=Case6.47 nb_sol=0 ticks=116536 tps=100 nb_sec=1165
case_no=59 label=Case6.47 nb_sol=0 ticks=94364 tps=100 nb_sec=943
case_no=59 label=Case6.47 nb_sol=0 ticks=74713 tps=100 nb_sec=747
case_no=59 label=Case6.47 nb_sol=0 ticks=129842 tps=100 nb_sec=1298
case_no=59 label=Case6.47 nb_sol=0 ticks=92031 tps=100 nb_sec=920
case_no=59 label=Case6.47 nb_sol=0 ticks=130084 tps=100 nb_sec=1300
case_no=59 label=Case6.47 nb_sol=0 ticks=72725 tps=100 nb_sec=727
case_no=59 label=Case6.47 nb_sol=0 ticks=132468 tps=100 nb_sec=1324
case_no=59 label=Case6.47 nb_sol=0 ticks=122220 tps=100 nb_sec=1222
case_no=59 label=Case6.47 nb_sol=0 ticks=127106 tps=100 nb_sec=1271
case_no=59 label=Case6.47 nb_sol=0 ticks=128294 tps=100 nb_sec=1282
case_no=59 label=Case6.47 nb_sol=0 ticks=123213 tps=100 nb_sec=1232
case_no=59 label=Case6.47 nb_sol=0 ticks=123372 tps=100 nb_sec=1233
case_no=59 label=Case6.47 nb_sol=0 ticks=127803 tps=100 nb_sec=1278
case_no=59 label=Case6.47 nb_sol=0 ticks=126446 tps=100 nb_sec=1264
case_no=59 label=Case6.47 nb_sol=0 ticks=93900 tps=100 nb_sec=939
case_no=59 label=Case6.47 nb_sol=0 ticks=73335 tps=100 nb_sec=733
case_no=59 label=Case6.47 nb_sol=0 ticks=104124 tps=100 nb_sec=1041
case_no=59 label=Case6.47 nb_sol=0 ticks=120378 tps=100 nb_sec=1203
case_no=59 label=Case6.47 nb_sol=0 ticks=79531 tps=100 nb_sec=795
case_no=59 label=Case6.47 nb_sol=0 ticks=113830 tps=100 nb_sec=1138
case_no=59 label=Case6.47 nb_sol=0 ticks=71123 tps=100 nb_sec=711
case_no=59 label=Case6.47 nb_sol=0 ticks=122409 tps=100 nb_sec=1224
case_no=59 label=Case6.47 nb_sol=0 ticks=87094 tps=100 nb_sec=870
case_no=59 label=Case6.47 nb_sol=0 ticks=124542 tps=100 nb_sec=1245
case_no=59 label=Case6.47 nb_sol=0 ticks=73763 tps=100 nb_sec=737
case_no=59 label=Case6.47 nb_sol=0 ticks=169479 tps=100 nb_sec=1694
case_no=59 label=Case6.47 nb_sol=0 ticks=91912 tps=100 nb_sec=919
case_no=59 label=Case6.47 nb_sol=0 ticks=131346 tps=100 nb_sec=1313
case_no=59 label=Case6.47 nb_sol=0 ticks=53703 tps=100 nb_sec=537
case_no=59 label=Case6.47 nb_sol=0 ticks=123529 tps=100 nb_sec=1235
case_no=59 label=Case6.47 nb_sol=0 ticks=72936 tps=100 nb_sec=729
case_no=59 label=Case6.47 nb_sol=0 ticks=103343 tps=100 nb_sec=1033
case_no=59 label=Case6.47 nb_sol=0 ticks=58121 tps=100 nb_sec=581
case_no=59 label=Case6.47 nb_sol=0 ticks=109879 tps=100 nb_sec=1098
case_no=59 label=Case6.47 nb_sol=0 ticks=97712 tps=100 nb_sec=977
case_no=59 label=Case6.47 nb_sol=0 ticks=123552 tps=100 nb_sec=1235
case_no=59 label=Case6.47 nb_sol=0 ticks=67068 tps=100 nb_sec=670
case_no=59 label=Case6.47 nb_sol=0 ticks=147173 tps=100 nb_sec=1471
case_no=59 label=Case6.47 nb_sol=0 ticks=190807 tps=100 nb_sec=1908
case_no=59 label=Case6.47 nb_sol=0 ticks=60693 tps=100 nb_sec=606
case_no=59 label=Case6.47 nb_sol=0 ticks=61811 tps=100 nb_sec=618
case_no=59 label=Case6.47 nb_sol=0 ticks=66207 tps=100 nb_sec=662
case_no=59 label=Case6.47 nb_sol=0 ticks=118020 tps=100 nb_sec=1180
case_no=59 label=Case6.47 nb_sol=0 ticks=51178 tps=100 nb_sec=511
case_no=59 label=Case6.47 nb_sol=0 ticks=155436 tps=100 nb_sec=1554
case_no=59 label=Case6.47 nb_sol=0 ticks=119062 tps=100 nb_sec=1190
case_no=59 label=Case6.47 nb_sol=0 ticks=127409 tps=100 nb_sec=1274
case_no=59 label=Case6.47 nb_sol=0 ticks=66095 tps=100 nb_sec=660
case_no=59 label=Case6.47 nb_sol=0 ticks=72181 tps=100 nb_sec=721
case_no=59 label=Case6.47 nb_sol=0 ticks=117260 tps=100 nb_sec=1172
case_no=59 label=Case6.47 nb_sol=0 ticks=105070 tps=100 nb_sec=1050
case_no=59 label=Case6.47 nb_sol=0 ticks=75434 tps=100 nb_sec=754
Nb_sol=0
Nb_sec=290610
3-8:43:30 or 80 hours
missing cases:
none