argc=5
-M 256
file2=30_select_Case6.58_starter_16_
checking files mod 256 from 0 to 255
case_no=70 label=Case6.58 nb_sol=0 ticks=2736 tps=100 nb_sec=27
case_no=70 label=Case6.58 nb_sol=0 ticks=2051 tps=100 nb_sec=20
case_no=70 label=Case6.58 nb_sol=0 ticks=3271 tps=100 nb_sec=32
case_no=70 label=Case6.58 nb_sol=0 ticks=2026 tps=100 nb_sec=20
case_no=70 label=Case6.58 nb_sol=0 ticks=5529 tps=100 nb_sec=55
case_no=70 label=Case6.58 nb_sol=0 ticks=1573 tps=100 nb_sec=15
case_no=70 label=Case6.58 nb_sol=0 ticks=1067 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=1212 tps=100 nb_sec=12
case_no=70 label=Case6.58 nb_sol=0 ticks=1842 tps=100 nb_sec=18
case_no=70 label=Case6.58 nb_sol=0 ticks=2669 tps=100 nb_sec=26
case_no=70 label=Case6.58 nb_sol=0 ticks=2537 tps=100 nb_sec=25
case_no=70 label=Case6.58 nb_sol=0 ticks=910 tps=100 nb_sec=9
case_no=70 label=Case6.58 nb_sol=0 ticks=1934 tps=100 nb_sec=19
case_no=70 label=Case6.58 nb_sol=0 ticks=2077 tps=100 nb_sec=20
case_no=70 label=Case6.58 nb_sol=0 ticks=715 tps=100 nb_sec=7
case_no=70 label=Case6.58 nb_sol=0 ticks=1281 tps=100 nb_sec=12
case_no=70 label=Case6.58 nb_sol=0 ticks=1297 tps=100 nb_sec=12
case_no=70 label=Case6.58 nb_sol=0 ticks=2003 tps=100 nb_sec=20
case_no=70 label=Case6.58 nb_sol=0 ticks=1020 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=2275 tps=100 nb_sec=22
case_no=70 label=Case6.58 nb_sol=0 ticks=1464 tps=100 nb_sec=14
case_no=70 label=Case6.58 nb_sol=0 ticks=1679 tps=100 nb_sec=16
case_no=70 label=Case6.58 nb_sol=0 ticks=2026 tps=100 nb_sec=20
case_no=70 label=Case6.58 nb_sol=0 ticks=1584 tps=100 nb_sec=15
case_no=70 label=Case6.58 nb_sol=0 ticks=1462 tps=100 nb_sec=14
case_no=70 label=Case6.58 nb_sol=0 ticks=213 tps=100 nb_sec=2
case_no=70 label=Case6.58 nb_sol=0 ticks=1390 tps=100 nb_sec=13
case_no=70 label=Case6.58 nb_sol=0 ticks=1711 tps=100 nb_sec=17
case_no=70 label=Case6.58 nb_sol=0 ticks=1866 tps=100 nb_sec=18
case_no=70 label=Case6.58 nb_sol=0 ticks=1508 tps=100 nb_sec=15
case_no=70 label=Case6.58 nb_sol=0 ticks=1237 tps=100 nb_sec=12
case_no=70 label=Case6.58 nb_sol=0 ticks=506 tps=100 nb_sec=5
case_no=70 label=Case6.58 nb_sol=0 ticks=953 tps=100 nb_sec=9
case_no=70 label=Case6.58 nb_sol=0 ticks=813 tps=100 nb_sec=8
case_no=70 label=Case6.58 nb_sol=0 ticks=2325 tps=100 nb_sec=23
case_no=70 label=Case6.58 nb_sol=0 ticks=945 tps=100 nb_sec=9
case_no=70 label=Case6.58 nb_sol=0 ticks=217 tps=100 nb_sec=2
case_no=70 label=Case6.58 nb_sol=0 ticks=560 tps=100 nb_sec=5
case_no=70 label=Case6.58 nb_sol=0 ticks=999 tps=100 nb_sec=9
case_no=70 label=Case6.58 nb_sol=0 ticks=1017 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=1749 tps=100 nb_sec=17
case_no=70 label=Case6.58 nb_sol=0 ticks=651 tps=100 nb_sec=6
case_no=70 label=Case6.58 nb_sol=0 ticks=867 tps=100 nb_sec=8
case_no=70 label=Case6.58 nb_sol=0 ticks=278 tps=100 nb_sec=2
case_no=70 label=Case6.58 nb_sol=0 ticks=538 tps=100 nb_sec=5
case_no=70 label=Case6.58 nb_sol=0 ticks=719 tps=100 nb_sec=7
case_no=70 label=Case6.58 nb_sol=0 ticks=657 tps=100 nb_sec=6
case_no=70 label=Case6.58 nb_sol=0 ticks=655 tps=100 nb_sec=6
case_no=70 label=Case6.58 nb_sol=0 ticks=745 tps=100 nb_sec=7
case_no=70 label=Case6.58 nb_sol=0 ticks=309 tps=100 nb_sec=3
case_no=70 label=Case6.58 nb_sol=0 ticks=221 tps=100 nb_sec=2
case_no=70 label=Case6.58 nb_sol=0 ticks=224 tps=100 nb_sec=2
case_no=70 label=Case6.58 nb_sol=0 ticks=1200 tps=100 nb_sec=12
case_no=70 label=Case6.58 nb_sol=0 ticks=1205 tps=100 nb_sec=12
case_no=70 label=Case6.58 nb_sol=0 ticks=1367 tps=100 nb_sec=13
case_no=70 label=Case6.58 nb_sol=0 ticks=1266 tps=100 nb_sec=12
case_no=70 label=Case6.58 nb_sol=0 ticks=1678 tps=100 nb_sec=16
case_no=70 label=Case6.58 nb_sol=0 ticks=2000 tps=100 nb_sec=20
case_no=70 label=Case6.58 nb_sol=0 ticks=1271 tps=100 nb_sec=12
case_no=70 label=Case6.58 nb_sol=0 ticks=1017 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=775 tps=100 nb_sec=7
case_no=70 label=Case6.58 nb_sol=0 ticks=1163 tps=100 nb_sec=11
case_no=70 label=Case6.58 nb_sol=0 ticks=1081 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=1874 tps=100 nb_sec=18
case_no=70 label=Case6.58 nb_sol=0 ticks=455 tps=100 nb_sec=4
case_no=70 label=Case6.58 nb_sol=0 ticks=1621 tps=100 nb_sec=16
case_no=70 label=Case6.58 nb_sol=0 ticks=810 tps=100 nb_sec=8
case_no=70 label=Case6.58 nb_sol=0 ticks=532 tps=100 nb_sec=5
case_no=70 label=Case6.58 nb_sol=0 ticks=457 tps=100 nb_sec=4
case_no=70 label=Case6.58 nb_sol=0 ticks=932 tps=100 nb_sec=9
case_no=70 label=Case6.58 nb_sol=0 ticks=698 tps=100 nb_sec=6
case_no=70 label=Case6.58 nb_sol=0 ticks=1894 tps=100 nb_sec=18
case_no=70 label=Case6.58 nb_sol=0 ticks=1591 tps=100 nb_sec=15
case_no=70 label=Case6.58 nb_sol=0 ticks=908 tps=100 nb_sec=9
case_no=70 label=Case6.58 nb_sol=0 ticks=1977 tps=100 nb_sec=19
case_no=70 label=Case6.58 nb_sol=0 ticks=1036 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=1643 tps=100 nb_sec=16
case_no=70 label=Case6.58 nb_sol=0 ticks=709 tps=100 nb_sec=7
case_no=70 label=Case6.58 nb_sol=0 ticks=1713 tps=100 nb_sec=17
case_no=70 label=Case6.58 nb_sol=0 ticks=1819 tps=100 nb_sec=18
case_no=70 label=Case6.58 nb_sol=0 ticks=903 tps=100 nb_sec=9
case_no=70 label=Case6.58 nb_sol=0 ticks=470 tps=100 nb_sec=4
case_no=70 label=Case6.58 nb_sol=0 ticks=560 tps=100 nb_sec=5
case_no=70 label=Case6.58 nb_sol=0 ticks=1108 tps=100 nb_sec=11
case_no=70 label=Case6.58 nb_sol=0 ticks=1021 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=1560 tps=100 nb_sec=15
case_no=70 label=Case6.58 nb_sol=0 ticks=451 tps=100 nb_sec=4
case_no=70 label=Case6.58 nb_sol=0 ticks=1807 tps=100 nb_sec=18
case_no=70 label=Case6.58 nb_sol=0 ticks=1962 tps=100 nb_sec=19
case_no=70 label=Case6.58 nb_sol=0 ticks=1076 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=1566 tps=100 nb_sec=15
case_no=70 label=Case6.58 nb_sol=0 ticks=277 tps=100 nb_sec=2
case_no=70 label=Case6.58 nb_sol=0 ticks=838 tps=100 nb_sec=8
case_no=70 label=Case6.58 nb_sol=0 ticks=1487 tps=100 nb_sec=14
case_no=70 label=Case6.58 nb_sol=0 ticks=532 tps=100 nb_sec=5
case_no=70 label=Case6.58 nb_sol=0 ticks=471 tps=100 nb_sec=4
case_no=70 label=Case6.58 nb_sol=0 ticks=1916 tps=100 nb_sec=19
case_no=70 label=Case6.58 nb_sol=0 ticks=2190 tps=100 nb_sec=21
case_no=70 label=Case6.58 nb_sol=0 ticks=743 tps=100 nb_sec=7
case_no=70 label=Case6.58 nb_sol=0 ticks=1266 tps=100 nb_sec=12
case_no=70 label=Case6.58 nb_sol=0 ticks=530 tps=100 nb_sec=5
case_no=70 label=Case6.58 nb_sol=0 ticks=1154 tps=100 nb_sec=11
case_no=70 label=Case6.58 nb_sol=0 ticks=814 tps=100 nb_sec=8
case_no=70 label=Case6.58 nb_sol=0 ticks=1041 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=923 tps=100 nb_sec=9
case_no=70 label=Case6.58 nb_sol=0 ticks=1135 tps=100 nb_sec=11
case_no=70 label=Case6.58 nb_sol=0 ticks=1607 tps=100 nb_sec=16
case_no=70 label=Case6.58 nb_sol=0 ticks=1763 tps=100 nb_sec=17
case_no=70 label=Case6.58 nb_sol=0 ticks=1541 tps=100 nb_sec=15
case_no=70 label=Case6.58 nb_sol=0 ticks=1087 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=529 tps=100 nb_sec=5
case_no=70 label=Case6.58 nb_sol=0 ticks=663 tps=100 nb_sec=6
case_no=70 label=Case6.58 nb_sol=0 ticks=817 tps=100 nb_sec=8
case_no=70 label=Case6.58 nb_sol=0 ticks=809 tps=100 nb_sec=8
case_no=70 label=Case6.58 nb_sol=0 ticks=762 tps=100 nb_sec=7
case_no=70 label=Case6.58 nb_sol=0 ticks=1056 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=1308 tps=100 nb_sec=13
case_no=70 label=Case6.58 nb_sol=0 ticks=997 tps=100 nb_sec=9
case_no=70 label=Case6.58 nb_sol=0 ticks=1156 tps=100 nb_sec=11
case_no=70 label=Case6.58 nb_sol=0 ticks=1067 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=1495 tps=100 nb_sec=14
case_no=70 label=Case6.58 nb_sol=0 ticks=872 tps=100 nb_sec=8
case_no=70 label=Case6.58 nb_sol=0 ticks=1241 tps=100 nb_sec=12
case_no=70 label=Case6.58 nb_sol=0 ticks=526 tps=100 nb_sec=5
case_no=70 label=Case6.58 nb_sol=0 ticks=1759 tps=100 nb_sec=17
case_no=70 label=Case6.58 nb_sol=0 ticks=1593 tps=100 nb_sec=15
case_no=70 label=Case6.58 nb_sol=0 ticks=920 tps=100 nb_sec=9
case_no=70 label=Case6.58 nb_sol=0 ticks=1588 tps=100 nb_sec=15
case_no=70 label=Case6.58 nb_sol=0 ticks=1428 tps=100 nb_sec=14
case_no=70 label=Case6.58 nb_sol=0 ticks=1281 tps=100 nb_sec=12
case_no=70 label=Case6.58 nb_sol=0 ticks=1325 tps=100 nb_sec=13
case_no=70 label=Case6.58 nb_sol=0 ticks=1578 tps=100 nb_sec=15
case_no=70 label=Case6.58 nb_sol=0 ticks=355 tps=100 nb_sec=3
case_no=70 label=Case6.58 nb_sol=0 ticks=1899 tps=100 nb_sec=18
case_no=70 label=Case6.58 nb_sol=0 ticks=2004 tps=100 nb_sec=20
case_no=70 label=Case6.58 nb_sol=0 ticks=1753 tps=100 nb_sec=17
case_no=70 label=Case6.58 nb_sol=0 ticks=1739 tps=100 nb_sec=17
case_no=70 label=Case6.58 nb_sol=0 ticks=280 tps=100 nb_sec=2
case_no=70 label=Case6.58 nb_sol=0 ticks=454 tps=100 nb_sec=4
case_no=70 label=Case6.58 nb_sol=0 ticks=680 tps=100 nb_sec=6
case_no=70 label=Case6.58 nb_sol=0 ticks=922 tps=100 nb_sec=9
case_no=70 label=Case6.58 nb_sol=0 ticks=442 tps=100 nb_sec=4
case_no=70 label=Case6.58 nb_sol=0 ticks=740 tps=100 nb_sec=7
case_no=70 label=Case6.58 nb_sol=0 ticks=607 tps=100 nb_sec=6
case_no=70 label=Case6.58 nb_sol=0 ticks=845 tps=100 nb_sec=8
case_no=70 label=Case6.58 nb_sol=0 ticks=842 tps=100 nb_sec=8
case_no=70 label=Case6.58 nb_sol=0 ticks=889 tps=100 nb_sec=8
case_no=70 label=Case6.58 nb_sol=0 ticks=881 tps=100 nb_sec=8
case_no=70 label=Case6.58 nb_sol=0 ticks=1286 tps=100 nb_sec=12
case_no=70 label=Case6.58 nb_sol=0 ticks=860 tps=100 nb_sec=8
case_no=70 label=Case6.58 nb_sol=0 ticks=1744 tps=100 nb_sec=17
case_no=70 label=Case6.58 nb_sol=0 ticks=454 tps=100 nb_sec=4
case_no=70 label=Case6.58 nb_sol=0 ticks=518 tps=100 nb_sec=5
case_no=70 label=Case6.58 nb_sol=0 ticks=813 tps=100 nb_sec=8
case_no=70 label=Case6.58 nb_sol=0 ticks=641 tps=100 nb_sec=6
case_no=70 label=Case6.58 nb_sol=0 ticks=1534 tps=100 nb_sec=15
case_no=70 label=Case6.58 nb_sol=0 ticks=684 tps=100 nb_sec=6
case_no=70 label=Case6.58 nb_sol=0 ticks=573 tps=100 nb_sec=5
case_no=70 label=Case6.58 nb_sol=0 ticks=938 tps=100 nb_sec=9
case_no=70 label=Case6.58 nb_sol=0 ticks=1865 tps=100 nb_sec=18
case_no=70 label=Case6.58 nb_sol=0 ticks=809 tps=100 nb_sec=8
case_no=70 label=Case6.58 nb_sol=0 ticks=1508 tps=100 nb_sec=15
case_no=70 label=Case6.58 nb_sol=0 ticks=1520 tps=100 nb_sec=15
case_no=70 label=Case6.58 nb_sol=0 ticks=1354 tps=100 nb_sec=13
case_no=70 label=Case6.58 nb_sol=0 ticks=1784 tps=100 nb_sec=17
case_no=70 label=Case6.58 nb_sol=0 ticks=1813 tps=100 nb_sec=18
case_no=70 label=Case6.58 nb_sol=0 ticks=1090 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=1093 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=1215 tps=100 nb_sec=12
case_no=70 label=Case6.58 nb_sol=0 ticks=722 tps=100 nb_sec=7
case_no=70 label=Case6.58 nb_sol=0 ticks=1444 tps=100 nb_sec=14
case_no=70 label=Case6.58 nb_sol=0 ticks=3240 tps=100 nb_sec=32
case_no=70 label=Case6.58 nb_sol=0 ticks=1919 tps=100 nb_sec=19
case_no=70 label=Case6.58 nb_sol=0 ticks=1085 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=1024 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=1076 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=1548 tps=100 nb_sec=15
case_no=70 label=Case6.58 nb_sol=0 ticks=1182 tps=100 nb_sec=11
case_no=70 label=Case6.58 nb_sol=0 ticks=1638 tps=100 nb_sec=16
case_no=70 label=Case6.58 nb_sol=0 ticks=1089 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=1698 tps=100 nb_sec=16
case_no=70 label=Case6.58 nb_sol=0 ticks=833 tps=100 nb_sec=8
case_no=70 label=Case6.58 nb_sol=0 ticks=1265 tps=100 nb_sec=12
case_no=70 label=Case6.58 nb_sol=0 ticks=1458 tps=100 nb_sec=14
case_no=70 label=Case6.58 nb_sol=0 ticks=1070 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=1349 tps=100 nb_sec=13
case_no=70 label=Case6.58 nb_sol=0 ticks=1339 tps=100 nb_sec=13
case_no=70 label=Case6.58 nb_sol=0 ticks=1100 tps=100 nb_sec=11
case_no=70 label=Case6.58 nb_sol=0 ticks=1080 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=1552 tps=100 nb_sec=15
case_no=70 label=Case6.58 nb_sol=0 ticks=594 tps=100 nb_sec=5
case_no=70 label=Case6.58 nb_sol=0 ticks=646 tps=100 nb_sec=6
case_no=70 label=Case6.58 nb_sol=0 ticks=758 tps=100 nb_sec=7
case_no=70 label=Case6.58 nb_sol=0 ticks=1307 tps=100 nb_sec=13
case_no=70 label=Case6.58 nb_sol=0 ticks=1188 tps=100 nb_sec=11
case_no=70 label=Case6.58 nb_sol=0 ticks=1735 tps=100 nb_sec=17
case_no=70 label=Case6.58 nb_sol=0 ticks=1332 tps=100 nb_sec=13
case_no=70 label=Case6.58 nb_sol=0 ticks=1240 tps=100 nb_sec=12
case_no=70 label=Case6.58 nb_sol=0 ticks=1889 tps=100 nb_sec=18
case_no=70 label=Case6.58 nb_sol=0 ticks=1624 tps=100 nb_sec=16
case_no=70 label=Case6.58 nb_sol=0 ticks=1034 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=2263 tps=100 nb_sec=22
case_no=70 label=Case6.58 nb_sol=0 ticks=739 tps=100 nb_sec=7
case_no=70 label=Case6.58 nb_sol=0 ticks=575 tps=100 nb_sec=5
case_no=70 label=Case6.58 nb_sol=0 ticks=1371 tps=100 nb_sec=13
case_no=70 label=Case6.58 nb_sol=0 ticks=1258 tps=100 nb_sec=12
case_no=70 label=Case6.58 nb_sol=0 ticks=837 tps=100 nb_sec=8
case_no=70 label=Case6.58 nb_sol=0 ticks=1023 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=1242 tps=100 nb_sec=12
case_no=70 label=Case6.58 nb_sol=0 ticks=1267 tps=100 nb_sec=12
case_no=70 label=Case6.58 nb_sol=0 ticks=926 tps=100 nb_sec=9
case_no=70 label=Case6.58 nb_sol=0 ticks=1092 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=1088 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=1443 tps=100 nb_sec=14
case_no=70 label=Case6.58 nb_sol=0 ticks=1379 tps=100 nb_sec=13
case_no=70 label=Case6.58 nb_sol=0 ticks=395 tps=100 nb_sec=3
case_no=70 label=Case6.58 nb_sol=0 ticks=1316 tps=100 nb_sec=13
case_no=70 label=Case6.58 nb_sol=0 ticks=787 tps=100 nb_sec=7
case_no=70 label=Case6.58 nb_sol=0 ticks=956 tps=100 nb_sec=9
case_no=70 label=Case6.58 nb_sol=0 ticks=912 tps=100 nb_sec=9
case_no=70 label=Case6.58 nb_sol=0 ticks=619 tps=100 nb_sec=6
case_no=70 label=Case6.58 nb_sol=0 ticks=804 tps=100 nb_sec=8
case_no=70 label=Case6.58 nb_sol=0 ticks=1710 tps=100 nb_sec=17
case_no=70 label=Case6.58 nb_sol=0 ticks=1976 tps=100 nb_sec=19
case_no=70 label=Case6.58 nb_sol=0 ticks=568 tps=100 nb_sec=5
case_no=70 label=Case6.58 nb_sol=0 ticks=1467 tps=100 nb_sec=14
case_no=70 label=Case6.58 nb_sol=0 ticks=1243 tps=100 nb_sec=12
case_no=70 label=Case6.58 nb_sol=0 ticks=1512 tps=100 nb_sec=15
case_no=70 label=Case6.58 nb_sol=0 ticks=1072 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=2643 tps=100 nb_sec=26
case_no=70 label=Case6.58 nb_sol=0 ticks=2285 tps=100 nb_sec=22
case_no=70 label=Case6.58 nb_sol=0 ticks=817 tps=100 nb_sec=8
case_no=70 label=Case6.58 nb_sol=0 ticks=2237 tps=100 nb_sec=22
case_no=70 label=Case6.58 nb_sol=0 ticks=1704 tps=100 nb_sec=17
case_no=70 label=Case6.58 nb_sol=0 ticks=1191 tps=100 nb_sec=11
case_no=70 label=Case6.58 nb_sol=0 ticks=1327 tps=100 nb_sec=13
case_no=70 label=Case6.58 nb_sol=0 ticks=959 tps=100 nb_sec=9
case_no=70 label=Case6.58 nb_sol=0 ticks=1590 tps=100 nb_sec=15
case_no=70 label=Case6.58 nb_sol=0 ticks=1067 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=1052 tps=100 nb_sec=10
case_no=70 label=Case6.58 nb_sol=0 ticks=1311 tps=100 nb_sec=13
case_no=70 label=Case6.58 nb_sol=0 ticks=2088 tps=100 nb_sec=20
case_no=70 label=Case6.58 nb_sol=0 ticks=1687 tps=100 nb_sec=16
case_no=70 label=Case6.58 nb_sol=0 ticks=555 tps=100 nb_sec=5
case_no=70 label=Case6.58 nb_sol=0 ticks=2990 tps=100 nb_sec=29
case_no=70 label=Case6.58 nb_sol=0 ticks=2053 tps=100 nb_sec=20
case_no=70 label=Case6.58 nb_sol=0 ticks=2907 tps=100 nb_sec=29
case_no=70 label=Case6.58 nb_sol=0 ticks=1932 tps=100 nb_sec=19
case_no=70 label=Case6.58 nb_sol=0 ticks=1861 tps=100 nb_sec=18
case_no=70 label=Case6.58 nb_sol=0 ticks=2180 tps=100 nb_sec=21
case_no=70 label=Case6.58 nb_sol=0 ticks=762 tps=100 nb_sec=7
case_no=70 label=Case6.58 nb_sol=0 ticks=986 tps=100 nb_sec=9
case_no=70 label=Case6.58 nb_sol=0 ticks=1509 tps=100 nb_sec=15
case_no=70 label=Case6.58 nb_sol=0 ticks=1276 tps=100 nb_sec=12
case_no=70 label=Case6.58 nb_sol=0 ticks=1154 tps=100 nb_sec=11
case_no=70 label=Case6.58 nb_sol=0 ticks=749 tps=100 nb_sec=7
Nb_sol=0
Nb_sec=3090
0-0:51:30 or 0 hours
missing cases:
none