argc=5
-M 256
file2=30_select_Case6.36_starter_16_
checking files mod 256 from 0 to 255
case_no=48 label=Case6.36 nb_sol=0 ticks=2336 tps=100 nb_sec=23
case_no=48 label=Case6.36 nb_sol=0 ticks=1291 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=2390 tps=100 nb_sec=23
case_no=48 label=Case6.36 nb_sol=0 ticks=1569 tps=100 nb_sec=15
case_no=48 label=Case6.36 nb_sol=0 ticks=2288 tps=100 nb_sec=22
case_no=48 label=Case6.36 nb_sol=0 ticks=1306 tps=100 nb_sec=13
case_no=48 label=Case6.36 nb_sol=0 ticks=1273 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1754 tps=100 nb_sec=17
case_no=48 label=Case6.36 nb_sol=0 ticks=2130 tps=100 nb_sec=21
case_no=48 label=Case6.36 nb_sol=0 ticks=1582 tps=100 nb_sec=15
case_no=48 label=Case6.36 nb_sol=0 ticks=1518 tps=100 nb_sec=15
case_no=48 label=Case6.36 nb_sol=0 ticks=2358 tps=100 nb_sec=23
case_no=48 label=Case6.36 nb_sol=0 ticks=2367 tps=100 nb_sec=23
case_no=48 label=Case6.36 nb_sol=0 ticks=1950 tps=100 nb_sec=19
case_no=48 label=Case6.36 nb_sol=0 ticks=1270 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=2457 tps=100 nb_sec=24
case_no=48 label=Case6.36 nb_sol=0 ticks=1511 tps=100 nb_sec=15
case_no=48 label=Case6.36 nb_sol=0 ticks=2055 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=1239 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1294 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=2278 tps=100 nb_sec=22
case_no=48 label=Case6.36 nb_sol=0 ticks=1227 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1231 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1311 tps=100 nb_sec=13
case_no=48 label=Case6.36 nb_sol=0 ticks=1993 tps=100 nb_sec=19
case_no=48 label=Case6.36 nb_sol=0 ticks=2040 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=1306 tps=100 nb_sec=13
case_no=48 label=Case6.36 nb_sol=0 ticks=1478 tps=100 nb_sec=14
case_no=48 label=Case6.36 nb_sol=0 ticks=1282 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=2149 tps=100 nb_sec=21
case_no=48 label=Case6.36 nb_sol=0 ticks=1202 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1823 tps=100 nb_sec=18
case_no=48 label=Case6.36 nb_sol=0 ticks=1933 tps=100 nb_sec=19
case_no=48 label=Case6.36 nb_sol=0 ticks=1202 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1257 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1267 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1281 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1215 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1958 tps=100 nb_sec=19
case_no=48 label=Case6.36 nb_sol=0 ticks=1189 tps=100 nb_sec=11
case_no=48 label=Case6.36 nb_sol=0 ticks=1187 tps=100 nb_sec=11
case_no=48 label=Case6.36 nb_sol=0 ticks=1234 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1209 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1225 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1216 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=2037 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=1198 tps=100 nb_sec=11
case_no=48 label=Case6.36 nb_sol=0 ticks=2426 tps=100 nb_sec=24
case_no=48 label=Case6.36 nb_sol=0 ticks=1200 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=2467 tps=100 nb_sec=24
case_no=48 label=Case6.36 nb_sol=0 ticks=1951 tps=100 nb_sec=19
case_no=48 label=Case6.36 nb_sol=0 ticks=1207 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1964 tps=100 nb_sec=19
case_no=48 label=Case6.36 nb_sol=0 ticks=1166 tps=100 nb_sec=11
case_no=48 label=Case6.36 nb_sol=0 ticks=1560 tps=100 nb_sec=15
case_no=48 label=Case6.36 nb_sol=0 ticks=2521 tps=100 nb_sec=25
case_no=48 label=Case6.36 nb_sol=0 ticks=1532 tps=100 nb_sec=15
case_no=48 label=Case6.36 nb_sol=0 ticks=1222 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1267 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1246 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1964 tps=100 nb_sec=19
case_no=48 label=Case6.36 nb_sol=0 ticks=2467 tps=100 nb_sec=24
case_no=48 label=Case6.36 nb_sol=0 ticks=1484 tps=100 nb_sec=14
case_no=48 label=Case6.36 nb_sol=0 ticks=1283 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1552 tps=100 nb_sec=15
case_no=48 label=Case6.36 nb_sol=0 ticks=1199 tps=100 nb_sec=11
case_no=48 label=Case6.36 nb_sol=0 ticks=2002 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=1227 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1201 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1495 tps=100 nb_sec=14
case_no=48 label=Case6.36 nb_sol=0 ticks=1994 tps=100 nb_sec=19
case_no=48 label=Case6.36 nb_sol=0 ticks=1230 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=2094 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=1211 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1194 tps=100 nb_sec=11
case_no=48 label=Case6.36 nb_sol=0 ticks=2217 tps=100 nb_sec=22
case_no=48 label=Case6.36 nb_sol=0 ticks=1224 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1228 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=2012 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=1484 tps=100 nb_sec=14
case_no=48 label=Case6.36 nb_sol=0 ticks=1234 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1955 tps=100 nb_sec=19
case_no=48 label=Case6.36 nb_sol=0 ticks=2451 tps=100 nb_sec=24
case_no=48 label=Case6.36 nb_sol=0 ticks=1208 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1204 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1249 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=2428 tps=100 nb_sec=24
case_no=48 label=Case6.36 nb_sol=0 ticks=1264 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1273 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=2410 tps=100 nb_sec=24
case_no=48 label=Case6.36 nb_sol=0 ticks=1291 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1245 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1240 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1285 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1974 tps=100 nb_sec=19
case_no=48 label=Case6.36 nb_sol=0 ticks=1179 tps=100 nb_sec=11
case_no=48 label=Case6.36 nb_sol=0 ticks=1245 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1219 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1085 tps=100 nb_sec=10
case_no=48 label=Case6.36 nb_sol=0 ticks=1253 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1286 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1335 tps=100 nb_sec=13
case_no=48 label=Case6.36 nb_sol=0 ticks=1247 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=2410 tps=100 nb_sec=24
case_no=48 label=Case6.36 nb_sol=0 ticks=2054 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=1229 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=2000 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=1234 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=2000 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=1203 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1597 tps=100 nb_sec=15
case_no=48 label=Case6.36 nb_sol=0 ticks=3207 tps=100 nb_sec=32
case_no=48 label=Case6.36 nb_sol=0 ticks=1955 tps=100 nb_sec=19
case_no=48 label=Case6.36 nb_sol=0 ticks=2182 tps=100 nb_sec=21
case_no=48 label=Case6.36 nb_sol=0 ticks=1233 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=3379 tps=100 nb_sec=33
case_no=48 label=Case6.36 nb_sol=0 ticks=2000 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=1234 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=2260 tps=100 nb_sec=22
case_no=48 label=Case6.36 nb_sol=0 ticks=3112 tps=100 nb_sec=31
case_no=48 label=Case6.36 nb_sol=0 ticks=1957 tps=100 nb_sec=19
case_no=48 label=Case6.36 nb_sol=0 ticks=1589 tps=100 nb_sec=15
case_no=48 label=Case6.36 nb_sol=0 ticks=1285 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1954 tps=100 nb_sec=19
case_no=48 label=Case6.36 nb_sol=0 ticks=1261 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1540 tps=100 nb_sec=15
case_no=48 label=Case6.36 nb_sol=0 ticks=3243 tps=100 nb_sec=32
case_no=48 label=Case6.36 nb_sol=0 ticks=2028 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=3139 tps=100 nb_sec=31
case_no=48 label=Case6.36 nb_sol=0 ticks=1223 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1198 tps=100 nb_sec=11
case_no=48 label=Case6.36 nb_sol=0 ticks=3212 tps=100 nb_sec=32
case_no=48 label=Case6.36 nb_sol=0 ticks=1296 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1500 tps=100 nb_sec=15
case_no=48 label=Case6.36 nb_sol=0 ticks=3331 tps=100 nb_sec=33
case_no=48 label=Case6.36 nb_sol=0 ticks=1937 tps=100 nb_sec=19
case_no=48 label=Case6.36 nb_sol=0 ticks=2373 tps=100 nb_sec=23
case_no=48 label=Case6.36 nb_sol=0 ticks=1439 tps=100 nb_sec=14
case_no=48 label=Case6.36 nb_sol=0 ticks=1271 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=3469 tps=100 nb_sec=34
case_no=48 label=Case6.36 nb_sol=0 ticks=2010 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=1306 tps=100 nb_sec=13
case_no=48 label=Case6.36 nb_sol=0 ticks=3535 tps=100 nb_sec=35
case_no=48 label=Case6.36 nb_sol=0 ticks=2270 tps=100 nb_sec=22
case_no=48 label=Case6.36 nb_sol=0 ticks=1270 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1913 tps=100 nb_sec=19
case_no=48 label=Case6.36 nb_sol=0 ticks=1453 tps=100 nb_sec=14
case_no=48 label=Case6.36 nb_sol=0 ticks=1536 tps=100 nb_sec=15
case_no=48 label=Case6.36 nb_sol=0 ticks=3218 tps=100 nb_sec=32
case_no=48 label=Case6.36 nb_sol=0 ticks=2029 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=3922 tps=100 nb_sec=39
case_no=48 label=Case6.36 nb_sol=0 ticks=2199 tps=100 nb_sec=21
case_no=48 label=Case6.36 nb_sol=0 ticks=2027 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=1294 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1206 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=3080 tps=100 nb_sec=30
case_no=48 label=Case6.36 nb_sol=0 ticks=1221 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1984 tps=100 nb_sec=19
case_no=48 label=Case6.36 nb_sol=0 ticks=3491 tps=100 nb_sec=34
case_no=48 label=Case6.36 nb_sol=0 ticks=2040 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=1229 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=2137 tps=100 nb_sec=21
case_no=48 label=Case6.36 nb_sol=0 ticks=1252 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=3176 tps=100 nb_sec=31
case_no=48 label=Case6.36 nb_sol=0 ticks=1961 tps=100 nb_sec=19
case_no=48 label=Case6.36 nb_sol=0 ticks=1215 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1521 tps=100 nb_sec=15
case_no=48 label=Case6.36 nb_sol=0 ticks=3271 tps=100 nb_sec=32
case_no=48 label=Case6.36 nb_sol=0 ticks=1947 tps=100 nb_sec=19
case_no=48 label=Case6.36 nb_sol=0 ticks=1249 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=2291 tps=100 nb_sec=22
case_no=48 label=Case6.36 nb_sol=0 ticks=3749 tps=100 nb_sec=37
case_no=48 label=Case6.36 nb_sol=0 ticks=2007 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=1210 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=3209 tps=100 nb_sec=32
case_no=48 label=Case6.36 nb_sol=0 ticks=1886 tps=100 nb_sec=18
case_no=48 label=Case6.36 nb_sol=0 ticks=1218 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1187 tps=100 nb_sec=11
case_no=48 label=Case6.36 nb_sol=0 ticks=1175 tps=100 nb_sec=11
case_no=48 label=Case6.36 nb_sol=0 ticks=1248 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=2012 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=1444 tps=100 nb_sec=14
case_no=48 label=Case6.36 nb_sol=0 ticks=2491 tps=100 nb_sec=24
case_no=48 label=Case6.36 nb_sol=0 ticks=1280 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1288 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=2671 tps=100 nb_sec=26
case_no=48 label=Case6.36 nb_sol=0 ticks=2560 tps=100 nb_sec=25
case_no=48 label=Case6.36 nb_sol=0 ticks=1220 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1189 tps=100 nb_sec=11
case_no=48 label=Case6.36 nb_sol=0 ticks=1224 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1118 tps=100 nb_sec=11
case_no=48 label=Case6.36 nb_sol=0 ticks=2398 tps=100 nb_sec=23
case_no=48 label=Case6.36 nb_sol=0 ticks=1189 tps=100 nb_sec=11
case_no=48 label=Case6.36 nb_sol=0 ticks=1527 tps=100 nb_sec=15
case_no=48 label=Case6.36 nb_sol=0 ticks=2074 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=1223 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1491 tps=100 nb_sec=14
case_no=48 label=Case6.36 nb_sol=0 ticks=2405 tps=100 nb_sec=24
case_no=48 label=Case6.36 nb_sol=0 ticks=1219 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1442 tps=100 nb_sec=14
case_no=48 label=Case6.36 nb_sol=0 ticks=1381 tps=100 nb_sec=13
case_no=48 label=Case6.36 nb_sol=0 ticks=1524 tps=100 nb_sec=15
case_no=48 label=Case6.36 nb_sol=0 ticks=2032 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=1417 tps=100 nb_sec=14
case_no=48 label=Case6.36 nb_sol=0 ticks=2066 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=1919 tps=100 nb_sec=19
case_no=48 label=Case6.36 nb_sol=0 ticks=2064 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=1148 tps=100 nb_sec=11
case_no=48 label=Case6.36 nb_sol=0 ticks=1448 tps=100 nb_sec=14
case_no=48 label=Case6.36 nb_sol=0 ticks=2114 tps=100 nb_sec=21
case_no=48 label=Case6.36 nb_sol=0 ticks=1177 tps=100 nb_sec=11
case_no=48 label=Case6.36 nb_sol=0 ticks=1482 tps=100 nb_sec=14
case_no=48 label=Case6.36 nb_sol=0 ticks=1198 tps=100 nb_sec=11
case_no=48 label=Case6.36 nb_sol=0 ticks=1450 tps=100 nb_sec=14
case_no=48 label=Case6.36 nb_sol=0 ticks=2400 tps=100 nb_sec=24
case_no=48 label=Case6.36 nb_sol=0 ticks=1168 tps=100 nb_sec=11
case_no=48 label=Case6.36 nb_sol=0 ticks=1501 tps=100 nb_sec=15
case_no=48 label=Case6.36 nb_sol=0 ticks=2362 tps=100 nb_sec=23
case_no=48 label=Case6.36 nb_sol=0 ticks=2055 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=1210 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1527 tps=100 nb_sec=15
case_no=48 label=Case6.36 nb_sol=0 ticks=1188 tps=100 nb_sec=11
case_no=48 label=Case6.36 nb_sol=0 ticks=1988 tps=100 nb_sec=19
case_no=48 label=Case6.36 nb_sol=0 ticks=1230 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1209 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1227 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1288 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=2042 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=1225 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1227 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=2094 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=1193 tps=100 nb_sec=11
case_no=48 label=Case6.36 nb_sol=0 ticks=3337 tps=100 nb_sec=33
case_no=48 label=Case6.36 nb_sol=0 ticks=1974 tps=100 nb_sec=19
case_no=48 label=Case6.36 nb_sol=0 ticks=1207 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=3502 tps=100 nb_sec=35
case_no=48 label=Case6.36 nb_sol=0 ticks=1248 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=2395 tps=100 nb_sec=23
case_no=48 label=Case6.36 nb_sol=0 ticks=1175 tps=100 nb_sec=11
case_no=48 label=Case6.36 nb_sol=0 ticks=1216 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=3383 tps=100 nb_sec=33
case_no=48 label=Case6.36 nb_sol=0 ticks=3325 tps=100 nb_sec=33
case_no=48 label=Case6.36 nb_sol=0 ticks=2048 tps=100 nb_sec=20
case_no=48 label=Case6.36 nb_sol=0 ticks=3223 tps=100 nb_sec=32
case_no=48 label=Case6.36 nb_sol=0 ticks=2281 tps=100 nb_sec=22
case_no=48 label=Case6.36 nb_sol=0 ticks=1185 tps=100 nb_sec=11
case_no=48 label=Case6.36 nb_sol=0 ticks=2597 tps=100 nb_sec=25
case_no=48 label=Case6.36 nb_sol=0 ticks=1229 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=3408 tps=100 nb_sec=34
case_no=48 label=Case6.36 nb_sol=0 ticks=3463 tps=100 nb_sec=34
case_no=48 label=Case6.36 nb_sol=0 ticks=2312 tps=100 nb_sec=23
case_no=48 label=Case6.36 nb_sol=0 ticks=2168 tps=100 nb_sec=21
case_no=48 label=Case6.36 nb_sol=0 ticks=1280 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1246 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1207 tps=100 nb_sec=12
case_no=48 label=Case6.36 nb_sol=0 ticks=1219 tps=100 nb_sec=12
Nb_sol=0
Nb_sec=4419
0-1:13:39 or 1 hours
missing cases:
none