argc=5
-M 256
file2=30_select_Case6.33_starter_16_
checking files mod 256 from 0 to 255
case_no=45 label=Case6.33 nb_sol=0 ticks=4876 tps=100 nb_sec=48
case_no=45 label=Case6.33 nb_sol=0 ticks=3291 tps=100 nb_sec=32
case_no=45 label=Case6.33 nb_sol=0 ticks=3762 tps=100 nb_sec=37
case_no=45 label=Case6.33 nb_sol=0 ticks=3063 tps=100 nb_sec=30
case_no=45 label=Case6.33 nb_sol=0 ticks=1534 tps=100 nb_sec=15
case_no=45 label=Case6.33 nb_sol=0 ticks=1218 tps=100 nb_sec=12
case_no=45 label=Case6.33 nb_sol=0 ticks=1638 tps=100 nb_sec=16
case_no=45 label=Case6.33 nb_sol=0 ticks=3205 tps=100 nb_sec=32
case_no=45 label=Case6.33 nb_sol=0 ticks=1928 tps=100 nb_sec=19
case_no=45 label=Case6.33 nb_sol=0 ticks=1685 tps=100 nb_sec=16
case_no=45 label=Case6.33 nb_sol=0 ticks=3694 tps=100 nb_sec=36
case_no=45 label=Case6.33 nb_sol=0 ticks=2323 tps=100 nb_sec=23
case_no=45 label=Case6.33 nb_sol=0 ticks=4685 tps=100 nb_sec=46
case_no=45 label=Case6.33 nb_sol=0 ticks=1390 tps=100 nb_sec=13
case_no=45 label=Case6.33 nb_sol=0 ticks=2599 tps=100 nb_sec=25
case_no=45 label=Case6.33 nb_sol=0 ticks=3605 tps=100 nb_sec=36
case_no=45 label=Case6.33 nb_sol=0 ticks=1600 tps=100 nb_sec=16
case_no=45 label=Case6.33 nb_sol=0 ticks=2343 tps=100 nb_sec=23
case_no=45 label=Case6.33 nb_sol=0 ticks=1942 tps=100 nb_sec=19
case_no=45 label=Case6.33 nb_sol=0 ticks=1627 tps=100 nb_sec=16
case_no=45 label=Case6.33 nb_sol=0 ticks=1658 tps=100 nb_sec=16
case_no=45 label=Case6.33 nb_sol=0 ticks=2245 tps=100 nb_sec=22
case_no=45 label=Case6.33 nb_sol=0 ticks=2576 tps=100 nb_sec=25
case_no=45 label=Case6.33 nb_sol=0 ticks=1269 tps=100 nb_sec=12
case_no=45 label=Case6.33 nb_sol=0 ticks=3383 tps=100 nb_sec=33
case_no=45 label=Case6.33 nb_sol=0 ticks=1643 tps=100 nb_sec=16
case_no=45 label=Case6.33 nb_sol=0 ticks=1819 tps=100 nb_sec=18
case_no=45 label=Case6.33 nb_sol=0 ticks=1567 tps=100 nb_sec=15
case_no=45 label=Case6.33 nb_sol=0 ticks=1542 tps=100 nb_sec=15
case_no=45 label=Case6.33 nb_sol=0 ticks=1840 tps=100 nb_sec=18
case_no=45 label=Case6.33 nb_sol=0 ticks=4141 tps=100 nb_sec=41
case_no=45 label=Case6.33 nb_sol=0 ticks=2472 tps=100 nb_sec=24
case_no=45 label=Case6.33 nb_sol=0 ticks=3270 tps=100 nb_sec=32
case_no=45 label=Case6.33 nb_sol=0 ticks=1256 tps=100 nb_sec=12
case_no=45 label=Case6.33 nb_sol=0 ticks=2382 tps=100 nb_sec=23
case_no=45 label=Case6.33 nb_sol=0 ticks=1160 tps=100 nb_sec=11
case_no=45 label=Case6.33 nb_sol=0 ticks=2134 tps=100 nb_sec=21
case_no=45 label=Case6.33 nb_sol=0 ticks=1208 tps=100 nb_sec=12
case_no=45 label=Case6.33 nb_sol=0 ticks=4081 tps=100 nb_sec=40
case_no=45 label=Case6.33 nb_sol=0 ticks=1097 tps=100 nb_sec=10
case_no=45 label=Case6.33 nb_sol=0 ticks=6968 tps=100 nb_sec=69
case_no=45 label=Case6.33 nb_sol=0 ticks=2092 tps=100 nb_sec=20
case_no=45 label=Case6.33 nb_sol=0 ticks=2671 tps=100 nb_sec=26
case_no=45 label=Case6.33 nb_sol=0 ticks=1968 tps=100 nb_sec=19
case_no=45 label=Case6.33 nb_sol=0 ticks=1029 tps=100 nb_sec=10
case_no=45 label=Case6.33 nb_sol=0 ticks=3157 tps=100 nb_sec=31
case_no=45 label=Case6.33 nb_sol=0 ticks=2725 tps=100 nb_sec=27
case_no=45 label=Case6.33 nb_sol=0 ticks=1521 tps=100 nb_sec=15
case_no=45 label=Case6.33 nb_sol=0 ticks=2360 tps=100 nb_sec=23
case_no=45 label=Case6.33 nb_sol=0 ticks=1605 tps=100 nb_sec=16
case_no=45 label=Case6.33 nb_sol=0 ticks=1138 tps=100 nb_sec=11
case_no=45 label=Case6.33 nb_sol=0 ticks=2111 tps=100 nb_sec=21
case_no=45 label=Case6.33 nb_sol=0 ticks=1155 tps=100 nb_sec=11
case_no=45 label=Case6.33 nb_sol=0 ticks=1962 tps=100 nb_sec=19
case_no=45 label=Case6.33 nb_sol=0 ticks=1045 tps=100 nb_sec=10
case_no=45 label=Case6.33 nb_sol=0 ticks=1794 tps=100 nb_sec=17
case_no=45 label=Case6.33 nb_sol=0 ticks=2231 tps=100 nb_sec=22
case_no=45 label=Case6.33 nb_sol=0 ticks=2118 tps=100 nb_sec=21
case_no=45 label=Case6.33 nb_sol=0 ticks=2156 tps=100 nb_sec=21
case_no=45 label=Case6.33 nb_sol=0 ticks=2414 tps=100 nb_sec=24
case_no=45 label=Case6.33 nb_sol=0 ticks=1393 tps=100 nb_sec=13
case_no=45 label=Case6.33 nb_sol=0 ticks=2317 tps=100 nb_sec=23
case_no=45 label=Case6.33 nb_sol=0 ticks=1439 tps=100 nb_sec=14
case_no=45 label=Case6.33 nb_sol=0 ticks=2881 tps=100 nb_sec=28
case_no=45 label=Case6.33 nb_sol=0 ticks=2099 tps=100 nb_sec=20
case_no=45 label=Case6.33 nb_sol=0 ticks=3098 tps=100 nb_sec=30
case_no=45 label=Case6.33 nb_sol=0 ticks=3291 tps=100 nb_sec=32
case_no=45 label=Case6.33 nb_sol=0 ticks=2485 tps=100 nb_sec=24
case_no=45 label=Case6.33 nb_sol=0 ticks=1610 tps=100 nb_sec=16
case_no=45 label=Case6.33 nb_sol=0 ticks=2597 tps=100 nb_sec=25
case_no=45 label=Case6.33 nb_sol=0 ticks=3248 tps=100 nb_sec=32
case_no=45 label=Case6.33 nb_sol=0 ticks=1344 tps=100 nb_sec=13
case_no=45 label=Case6.33 nb_sol=0 ticks=1251 tps=100 nb_sec=12
case_no=45 label=Case6.33 nb_sol=0 ticks=3612 tps=100 nb_sec=36
case_no=45 label=Case6.33 nb_sol=0 ticks=2024 tps=100 nb_sec=20
case_no=45 label=Case6.33 nb_sol=0 ticks=2985 tps=100 nb_sec=29
case_no=45 label=Case6.33 nb_sol=0 ticks=1875 tps=100 nb_sec=18
case_no=45 label=Case6.33 nb_sol=0 ticks=1921 tps=100 nb_sec=19
case_no=45 label=Case6.33 nb_sol=0 ticks=2230 tps=100 nb_sec=22
case_no=45 label=Case6.33 nb_sol=0 ticks=4302 tps=100 nb_sec=43
case_no=45 label=Case6.33 nb_sol=0 ticks=2928 tps=100 nb_sec=29
case_no=45 label=Case6.33 nb_sol=0 ticks=1699 tps=100 nb_sec=16
case_no=45 label=Case6.33 nb_sol=0 ticks=1963 tps=100 nb_sec=19
case_no=45 label=Case6.33 nb_sol=0 ticks=3257 tps=100 nb_sec=32
case_no=45 label=Case6.33 nb_sol=0 ticks=1637 tps=100 nb_sec=16
case_no=45 label=Case6.33 nb_sol=0 ticks=1386 tps=100 nb_sec=13
case_no=45 label=Case6.33 nb_sol=0 ticks=6067 tps=100 nb_sec=60
case_no=45 label=Case6.33 nb_sol=0 ticks=1656 tps=100 nb_sec=16
case_no=45 label=Case6.33 nb_sol=0 ticks=4158 tps=100 nb_sec=41
case_no=45 label=Case6.33 nb_sol=0 ticks=5470 tps=100 nb_sec=54
case_no=45 label=Case6.33 nb_sol=0 ticks=1334 tps=100 nb_sec=13
case_no=45 label=Case6.33 nb_sol=0 ticks=3881 tps=100 nb_sec=38
case_no=45 label=Case6.33 nb_sol=0 ticks=4449 tps=100 nb_sec=44
case_no=45 label=Case6.33 nb_sol=0 ticks=2426 tps=100 nb_sec=24
case_no=45 label=Case6.33 nb_sol=0 ticks=2822 tps=100 nb_sec=28
case_no=45 label=Case6.33 nb_sol=0 ticks=2733 tps=100 nb_sec=27
case_no=45 label=Case6.33 nb_sol=0 ticks=1434 tps=100 nb_sec=14
case_no=45 label=Case6.33 nb_sol=0 ticks=1986 tps=100 nb_sec=19
case_no=45 label=Case6.33 nb_sol=0 ticks=1457 tps=100 nb_sec=14
case_no=45 label=Case6.33 nb_sol=0 ticks=3619 tps=100 nb_sec=36
case_no=45 label=Case6.33 nb_sol=0 ticks=1884 tps=100 nb_sec=18
case_no=45 label=Case6.33 nb_sol=0 ticks=2606 tps=100 nb_sec=26
case_no=45 label=Case6.33 nb_sol=0 ticks=2140 tps=100 nb_sec=21
case_no=45 label=Case6.33 nb_sol=0 ticks=1945 tps=100 nb_sec=19
case_no=45 label=Case6.33 nb_sol=0 ticks=3579 tps=100 nb_sec=35
case_no=45 label=Case6.33 nb_sol=0 ticks=3449 tps=100 nb_sec=34
case_no=45 label=Case6.33 nb_sol=0 ticks=1688 tps=100 nb_sec=16
case_no=45 label=Case6.33 nb_sol=0 ticks=2729 tps=100 nb_sec=27
case_no=45 label=Case6.33 nb_sol=0 ticks=1660 tps=100 nb_sec=16
case_no=45 label=Case6.33 nb_sol=0 ticks=1487 tps=100 nb_sec=14
case_no=45 label=Case6.33 nb_sol=0 ticks=1718 tps=100 nb_sec=17
case_no=45 label=Case6.33 nb_sol=0 ticks=2805 tps=100 nb_sec=28
case_no=45 label=Case6.33 nb_sol=0 ticks=3252 tps=100 nb_sec=32
case_no=45 label=Case6.33 nb_sol=0 ticks=1275 tps=100 nb_sec=12
case_no=45 label=Case6.33 nb_sol=0 ticks=1925 tps=100 nb_sec=19
case_no=45 label=Case6.33 nb_sol=0 ticks=2556 tps=100 nb_sec=25
case_no=45 label=Case6.33 nb_sol=0 ticks=2786 tps=100 nb_sec=27
case_no=45 label=Case6.33 nb_sol=0 ticks=1486 tps=100 nb_sec=14
case_no=45 label=Case6.33 nb_sol=0 ticks=1158 tps=100 nb_sec=11
case_no=45 label=Case6.33 nb_sol=0 ticks=1551 tps=100 nb_sec=15
case_no=45 label=Case6.33 nb_sol=0 ticks=1311 tps=100 nb_sec=13
case_no=45 label=Case6.33 nb_sol=0 ticks=2440 tps=100 nb_sec=24
case_no=45 label=Case6.33 nb_sol=0 ticks=4054 tps=100 nb_sec=40
case_no=45 label=Case6.33 nb_sol=0 ticks=4272 tps=100 nb_sec=42
case_no=45 label=Case6.33 nb_sol=0 ticks=1448 tps=100 nb_sec=14
case_no=45 label=Case6.33 nb_sol=0 ticks=2565 tps=100 nb_sec=25
case_no=45 label=Case6.33 nb_sol=0 ticks=1531 tps=100 nb_sec=15
case_no=45 label=Case6.33 nb_sol=0 ticks=5123 tps=100 nb_sec=51
case_no=45 label=Case6.33 nb_sol=0 ticks=1258 tps=100 nb_sec=12
case_no=45 label=Case6.33 nb_sol=0 ticks=2300 tps=100 nb_sec=23
case_no=45 label=Case6.33 nb_sol=0 ticks=4112 tps=100 nb_sec=41
case_no=45 label=Case6.33 nb_sol=0 ticks=2271 tps=100 nb_sec=22
case_no=45 label=Case6.33 nb_sol=0 ticks=1467 tps=100 nb_sec=14
case_no=45 label=Case6.33 nb_sol=0 ticks=2084 tps=100 nb_sec=20
case_no=45 label=Case6.33 nb_sol=0 ticks=2949 tps=100 nb_sec=29
case_no=45 label=Case6.33 nb_sol=0 ticks=3848 tps=100 nb_sec=38
case_no=45 label=Case6.33 nb_sol=0 ticks=3160 tps=100 nb_sec=31
case_no=45 label=Case6.33 nb_sol=0 ticks=3852 tps=100 nb_sec=38
case_no=45 label=Case6.33 nb_sol=0 ticks=1284 tps=100 nb_sec=12
case_no=45 label=Case6.33 nb_sol=0 ticks=2180 tps=100 nb_sec=21
case_no=45 label=Case6.33 nb_sol=0 ticks=1801 tps=100 nb_sec=18
case_no=45 label=Case6.33 nb_sol=0 ticks=1187 tps=100 nb_sec=11
case_no=45 label=Case6.33 nb_sol=0 ticks=2306 tps=100 nb_sec=23
case_no=45 label=Case6.33 nb_sol=0 ticks=2702 tps=100 nb_sec=27
case_no=45 label=Case6.33 nb_sol=0 ticks=2355 tps=100 nb_sec=23
case_no=45 label=Case6.33 nb_sol=0 ticks=1615 tps=100 nb_sec=16
case_no=45 label=Case6.33 nb_sol=0 ticks=1328 tps=100 nb_sec=13
case_no=45 label=Case6.33 nb_sol=0 ticks=4740 tps=100 nb_sec=47
case_no=45 label=Case6.33 nb_sol=0 ticks=1773 tps=100 nb_sec=17
case_no=45 label=Case6.33 nb_sol=0 ticks=3719 tps=100 nb_sec=37
case_no=45 label=Case6.33 nb_sol=0 ticks=3170 tps=100 nb_sec=31
case_no=45 label=Case6.33 nb_sol=0 ticks=1525 tps=100 nb_sec=15
case_no=45 label=Case6.33 nb_sol=0 ticks=1697 tps=100 nb_sec=16
case_no=45 label=Case6.33 nb_sol=0 ticks=1340 tps=100 nb_sec=13
case_no=45 label=Case6.33 nb_sol=0 ticks=953 tps=100 nb_sec=9
case_no=45 label=Case6.33 nb_sol=0 ticks=1198 tps=100 nb_sec=11
case_no=45 label=Case6.33 nb_sol=0 ticks=1076 tps=100 nb_sec=10
case_no=45 label=Case6.33 nb_sol=0 ticks=2889 tps=100 nb_sec=28
case_no=45 label=Case6.33 nb_sol=0 ticks=1508 tps=100 nb_sec=15
case_no=45 label=Case6.33 nb_sol=0 ticks=1824 tps=100 nb_sec=18
case_no=45 label=Case6.33 nb_sol=0 ticks=1638 tps=100 nb_sec=16
case_no=45 label=Case6.33 nb_sol=0 ticks=1235 tps=100 nb_sec=12
case_no=45 label=Case6.33 nb_sol=0 ticks=1061 tps=100 nb_sec=10
case_no=45 label=Case6.33 nb_sol=0 ticks=3289 tps=100 nb_sec=32
case_no=45 label=Case6.33 nb_sol=0 ticks=4132 tps=100 nb_sec=41
case_no=45 label=Case6.33 nb_sol=0 ticks=2789 tps=100 nb_sec=27
case_no=45 label=Case6.33 nb_sol=0 ticks=1068 tps=100 nb_sec=10
case_no=45 label=Case6.33 nb_sol=0 ticks=1269 tps=100 nb_sec=12
case_no=45 label=Case6.33 nb_sol=0 ticks=3176 tps=100 nb_sec=31
case_no=45 label=Case6.33 nb_sol=0 ticks=2744 tps=100 nb_sec=27
case_no=45 label=Case6.33 nb_sol=0 ticks=1211 tps=100 nb_sec=12
case_no=45 label=Case6.33 nb_sol=0 ticks=1563 tps=100 nb_sec=15
case_no=45 label=Case6.33 nb_sol=0 ticks=1748 tps=100 nb_sec=17
case_no=45 label=Case6.33 nb_sol=0 ticks=3554 tps=100 nb_sec=35
case_no=45 label=Case6.33 nb_sol=0 ticks=2914 tps=100 nb_sec=29
case_no=45 label=Case6.33 nb_sol=0 ticks=2553 tps=100 nb_sec=25
case_no=45 label=Case6.33 nb_sol=0 ticks=2317 tps=100 nb_sec=23
case_no=45 label=Case6.33 nb_sol=0 ticks=1615 tps=100 nb_sec=16
case_no=45 label=Case6.33 nb_sol=0 ticks=2039 tps=100 nb_sec=20
case_no=45 label=Case6.33 nb_sol=0 ticks=1418 tps=100 nb_sec=14
case_no=45 label=Case6.33 nb_sol=0 ticks=2772 tps=100 nb_sec=27
case_no=45 label=Case6.33 nb_sol=0 ticks=2251 tps=100 nb_sec=22
case_no=45 label=Case6.33 nb_sol=0 ticks=3216 tps=100 nb_sec=32
case_no=45 label=Case6.33 nb_sol=0 ticks=1503 tps=100 nb_sec=15
case_no=45 label=Case6.33 nb_sol=0 ticks=2410 tps=100 nb_sec=24
case_no=45 label=Case6.33 nb_sol=0 ticks=1638 tps=100 nb_sec=16
case_no=45 label=Case6.33 nb_sol=0 ticks=1499 tps=100 nb_sec=14
case_no=45 label=Case6.33 nb_sol=0 ticks=1499 tps=100 nb_sec=14
case_no=45 label=Case6.33 nb_sol=0 ticks=3221 tps=100 nb_sec=32
case_no=45 label=Case6.33 nb_sol=0 ticks=1140 tps=100 nb_sec=11
case_no=45 label=Case6.33 nb_sol=0 ticks=4466 tps=100 nb_sec=44
case_no=45 label=Case6.33 nb_sol=0 ticks=2136 tps=100 nb_sec=21
case_no=45 label=Case6.33 nb_sol=0 ticks=1522 tps=100 nb_sec=15
case_no=45 label=Case6.33 nb_sol=0 ticks=2994 tps=100 nb_sec=29
case_no=45 label=Case6.33 nb_sol=0 ticks=2131 tps=100 nb_sec=21
case_no=45 label=Case6.33 nb_sol=0 ticks=1139 tps=100 nb_sec=11
case_no=45 label=Case6.33 nb_sol=0 ticks=3837 tps=100 nb_sec=38
case_no=45 label=Case6.33 nb_sol=0 ticks=2566 tps=100 nb_sec=25
case_no=45 label=Case6.33 nb_sol=0 ticks=1777 tps=100 nb_sec=17
case_no=45 label=Case6.33 nb_sol=0 ticks=1771 tps=100 nb_sec=17
case_no=45 label=Case6.33 nb_sol=0 ticks=3093 tps=100 nb_sec=30
case_no=45 label=Case6.33 nb_sol=0 ticks=2550 tps=100 nb_sec=25
case_no=45 label=Case6.33 nb_sol=0 ticks=1428 tps=100 nb_sec=14
case_no=45 label=Case6.33 nb_sol=0 ticks=1628 tps=100 nb_sec=16
case_no=45 label=Case6.33 nb_sol=0 ticks=3854 tps=100 nb_sec=38
case_no=45 label=Case6.33 nb_sol=0 ticks=1690 tps=100 nb_sec=16
case_no=45 label=Case6.33 nb_sol=0 ticks=4825 tps=100 nb_sec=48
case_no=45 label=Case6.33 nb_sol=0 ticks=3152 tps=100 nb_sec=31
case_no=45 label=Case6.33 nb_sol=0 ticks=5702 tps=100 nb_sec=57
case_no=45 label=Case6.33 nb_sol=0 ticks=1360 tps=100 nb_sec=13
case_no=45 label=Case6.33 nb_sol=0 ticks=1447 tps=100 nb_sec=14
case_no=45 label=Case6.33 nb_sol=0 ticks=2593 tps=100 nb_sec=25
case_no=45 label=Case6.33 nb_sol=0 ticks=1307 tps=100 nb_sec=13
case_no=45 label=Case6.33 nb_sol=0 ticks=1939 tps=100 nb_sec=19
case_no=45 label=Case6.33 nb_sol=0 ticks=3471 tps=100 nb_sec=34
case_no=45 label=Case6.33 nb_sol=0 ticks=4280 tps=100 nb_sec=42
case_no=45 label=Case6.33 nb_sol=0 ticks=1700 tps=100 nb_sec=17
case_no=45 label=Case6.33 nb_sol=0 ticks=2411 tps=100 nb_sec=24
case_no=45 label=Case6.33 nb_sol=0 ticks=2249 tps=100 nb_sec=22
case_no=45 label=Case6.33 nb_sol=0 ticks=2036 tps=100 nb_sec=20
case_no=45 label=Case6.33 nb_sol=0 ticks=1753 tps=100 nb_sec=17
case_no=45 label=Case6.33 nb_sol=0 ticks=1363 tps=100 nb_sec=13
case_no=45 label=Case6.33 nb_sol=0 ticks=2472 tps=100 nb_sec=24
case_no=45 label=Case6.33 nb_sol=0 ticks=1510 tps=100 nb_sec=15
case_no=45 label=Case6.33 nb_sol=0 ticks=2030 tps=100 nb_sec=20
case_no=45 label=Case6.33 nb_sol=0 ticks=1692 tps=100 nb_sec=16
case_no=45 label=Case6.33 nb_sol=0 ticks=4136 tps=100 nb_sec=41
case_no=45 label=Case6.33 nb_sol=0 ticks=2001 tps=100 nb_sec=20
case_no=45 label=Case6.33 nb_sol=0 ticks=2328 tps=100 nb_sec=23
case_no=45 label=Case6.33 nb_sol=0 ticks=1234 tps=100 nb_sec=12
case_no=45 label=Case6.33 nb_sol=0 ticks=984 tps=100 nb_sec=9
case_no=45 label=Case6.33 nb_sol=0 ticks=1212 tps=100 nb_sec=12
case_no=45 label=Case6.33 nb_sol=0 ticks=1668 tps=100 nb_sec=16
case_no=45 label=Case6.33 nb_sol=0 ticks=1867 tps=100 nb_sec=18
case_no=45 label=Case6.33 nb_sol=0 ticks=3596 tps=100 nb_sec=35
case_no=45 label=Case6.33 nb_sol=0 ticks=1990 tps=100 nb_sec=19
case_no=45 label=Case6.33 nb_sol=0 ticks=987 tps=100 nb_sec=9
case_no=45 label=Case6.33 nb_sol=0 ticks=3490 tps=100 nb_sec=34
case_no=45 label=Case6.33 nb_sol=0 ticks=3154 tps=100 nb_sec=31
case_no=45 label=Case6.33 nb_sol=0 ticks=1782 tps=100 nb_sec=17
case_no=45 label=Case6.33 nb_sol=0 ticks=1734 tps=100 nb_sec=17
case_no=45 label=Case6.33 nb_sol=0 ticks=2277 tps=100 nb_sec=22
case_no=45 label=Case6.33 nb_sol=0 ticks=3200 tps=100 nb_sec=32
case_no=45 label=Case6.33 nb_sol=0 ticks=2858 tps=100 nb_sec=28
case_no=45 label=Case6.33 nb_sol=0 ticks=3381 tps=100 nb_sec=33
case_no=45 label=Case6.33 nb_sol=0 ticks=2083 tps=100 nb_sec=20
case_no=45 label=Case6.33 nb_sol=0 ticks=2207 tps=100 nb_sec=22
case_no=45 label=Case6.33 nb_sol=0 ticks=3760 tps=100 nb_sec=37
case_no=45 label=Case6.33 nb_sol=0 ticks=2329 tps=100 nb_sec=23
case_no=45 label=Case6.33 nb_sol=0 ticks=3691 tps=100 nb_sec=36
case_no=45 label=Case6.33 nb_sol=0 ticks=2005 tps=100 nb_sec=20
case_no=45 label=Case6.33 nb_sol=0 ticks=2612 tps=100 nb_sec=26
case_no=45 label=Case6.33 nb_sol=0 ticks=1351 tps=100 nb_sec=13
case_no=45 label=Case6.33 nb_sol=0 ticks=1718 tps=100 nb_sec=17
case_no=45 label=Case6.33 nb_sol=0 ticks=3947 tps=100 nb_sec=39
case_no=45 label=Case6.33 nb_sol=0 ticks=4067 tps=100 nb_sec=40
Nb_sol=0
Nb_sec=5943
0-1:39:3 or 1 hours
missing cases:
none