argc=5
-M 512
file2=30_select_Case6.169_starter_15_
checking files mod 512 from 0 to 511
case_no=181 label=Case6.169 nb_sol=0 ticks=206425 tps=100 nb_sec=2064
case_no=181 label=Case6.169 nb_sol=0 ticks=241791 tps=100 nb_sec=2417
case_no=181 label=Case6.169 nb_sol=0 ticks=154393 tps=100 nb_sec=1543
case_no=181 label=Case6.169 nb_sol=0 ticks=214898 tps=100 nb_sec=2148
case_no=181 label=Case6.169 nb_sol=0 ticks=209329 tps=100 nb_sec=2093
case_no=181 label=Case6.169 nb_sol=0 ticks=138152 tps=100 nb_sec=1381
case_no=181 label=Case6.169 nb_sol=0 ticks=117083 tps=100 nb_sec=1170
case_no=181 label=Case6.169 nb_sol=0 ticks=238029 tps=100 nb_sec=2380
case_no=181 label=Case6.169 nb_sol=0 ticks=293996 tps=100 nb_sec=2939
case_no=181 label=Case6.169 nb_sol=0 ticks=339193 tps=100 nb_sec=3391
case_no=181 label=Case6.169 nb_sol=0 ticks=545243 tps=100 nb_sec=5452
case_no=181 label=Case6.169 nb_sol=0 ticks=306528 tps=100 nb_sec=3065
case_no=181 label=Case6.169 nb_sol=0 ticks=363013 tps=100 nb_sec=3630
case_no=181 label=Case6.169 nb_sol=0 ticks=280279 tps=100 nb_sec=2802
case_no=181 label=Case6.169 nb_sol=0 ticks=178273 tps=100 nb_sec=1782
case_no=181 label=Case6.169 nb_sol=0 ticks=185582 tps=100 nb_sec=1855
case_no=181 label=Case6.169 nb_sol=0 ticks=430005 tps=100 nb_sec=4300
case_no=181 label=Case6.169 nb_sol=0 ticks=177988 tps=100 nb_sec=1779
case_no=181 label=Case6.169 nb_sol=0 ticks=192410 tps=100 nb_sec=1924
case_no=181 label=Case6.169 nb_sol=0 ticks=265762 tps=100 nb_sec=2657
case_no=181 label=Case6.169 nb_sol=0 ticks=152029 tps=100 nb_sec=1520
case_no=181 label=Case6.169 nb_sol=0 ticks=192735 tps=100 nb_sec=1927
case_no=181 label=Case6.169 nb_sol=0 ticks=215587 tps=100 nb_sec=2155
case_no=181 label=Case6.169 nb_sol=0 ticks=78963 tps=100 nb_sec=789
case_no=181 label=Case6.169 nb_sol=0 ticks=61020 tps=100 nb_sec=610
case_no=181 label=Case6.169 nb_sol=0 ticks=410375 tps=100 nb_sec=4103
case_no=181 label=Case6.169 nb_sol=0 ticks=259700 tps=100 nb_sec=2597
case_no=181 label=Case6.169 nb_sol=0 ticks=381355 tps=100 nb_sec=3813
case_no=181 label=Case6.169 nb_sol=0 ticks=170112 tps=100 nb_sec=1701
case_no=181 label=Case6.169 nb_sol=0 ticks=452642 tps=100 nb_sec=4526
case_no=181 label=Case6.169 nb_sol=0 ticks=405742 tps=100 nb_sec=4057
case_no=181 label=Case6.169 nb_sol=0 ticks=386631 tps=100 nb_sec=3866
case_no=181 label=Case6.169 nb_sol=0 ticks=213117 tps=100 nb_sec=2131
case_no=181 label=Case6.169 nb_sol=0 ticks=245434 tps=100 nb_sec=2454
case_no=181 label=Case6.169 nb_sol=0 ticks=459593 tps=100 nb_sec=4595
case_no=181 label=Case6.169 nb_sol=0 ticks=122810 tps=100 nb_sec=1228
case_no=181 label=Case6.169 nb_sol=0 ticks=144922 tps=100 nb_sec=1449
case_no=181 label=Case6.169 nb_sol=0 ticks=272905 tps=100 nb_sec=2729
case_no=181 label=Case6.169 nb_sol=0 ticks=128583 tps=100 nb_sec=1285
case_no=181 label=Case6.169 nb_sol=0 ticks=166202 tps=100 nb_sec=1662
case_no=181 label=Case6.169 nb_sol=0 ticks=159921 tps=100 nb_sec=1599
case_no=181 label=Case6.169 nb_sol=0 ticks=91156 tps=100 nb_sec=911
case_no=181 label=Case6.169 nb_sol=0 ticks=174833 tps=100 nb_sec=1748
case_no=181 label=Case6.169 nb_sol=0 ticks=408176 tps=100 nb_sec=4081
case_no=181 label=Case6.169 nb_sol=0 ticks=445475 tps=100 nb_sec=4454
case_no=181 label=Case6.169 nb_sol=0 ticks=488112 tps=100 nb_sec=4881
case_no=181 label=Case6.169 nb_sol=0 ticks=364243 tps=100 nb_sec=3642
case_no=181 label=Case6.169 nb_sol=0 ticks=231137 tps=100 nb_sec=2311
case_no=181 label=Case6.169 nb_sol=0 ticks=239286 tps=100 nb_sec=2392
case_no=181 label=Case6.169 nb_sol=0 ticks=371839 tps=100 nb_sec=3718
case_no=181 label=Case6.169 nb_sol=0 ticks=279168 tps=100 nb_sec=2791
case_no=181 label=Case6.169 nb_sol=0 ticks=223673 tps=100 nb_sec=2236
case_no=181 label=Case6.169 nb_sol=0 ticks=236245 tps=100 nb_sec=2362
case_no=181 label=Case6.169 nb_sol=0 ticks=209732 tps=100 nb_sec=2097
case_no=181 label=Case6.169 nb_sol=0 ticks=126579 tps=100 nb_sec=1265
case_no=181 label=Case6.169 nb_sol=0 ticks=364715 tps=100 nb_sec=3647
case_no=181 label=Case6.169 nb_sol=0 ticks=266020 tps=100 nb_sec=2660
case_no=181 label=Case6.169 nb_sol=0 ticks=241284 tps=100 nb_sec=2412
case_no=181 label=Case6.169 nb_sol=0 ticks=234439 tps=100 nb_sec=2344
case_no=181 label=Case6.169 nb_sol=0 ticks=147712 tps=100 nb_sec=1477
case_no=181 label=Case6.169 nb_sol=0 ticks=250189 tps=100 nb_sec=2501
case_no=181 label=Case6.169 nb_sol=0 ticks=366019 tps=100 nb_sec=3660
case_no=181 label=Case6.169 nb_sol=0 ticks=254385 tps=100 nb_sec=2543
case_no=181 label=Case6.169 nb_sol=0 ticks=289495 tps=100 nb_sec=2894
case_no=181 label=Case6.169 nb_sol=0 ticks=258953 tps=100 nb_sec=2589
case_no=181 label=Case6.169 nb_sol=0 ticks=77460 tps=100 nb_sec=774
case_no=181 label=Case6.169 nb_sol=0 ticks=173402 tps=100 nb_sec=1734
case_no=181 label=Case6.169 nb_sol=0 ticks=239594 tps=100 nb_sec=2395
case_no=181 label=Case6.169 nb_sol=0 ticks=287390 tps=100 nb_sec=2873
case_no=181 label=Case6.169 nb_sol=0 ticks=243734 tps=100 nb_sec=2437
case_no=181 label=Case6.169 nb_sol=0 ticks=301106 tps=100 nb_sec=3011
case_no=181 label=Case6.169 nb_sol=0 ticks=290756 tps=100 nb_sec=2907
case_no=181 label=Case6.169 nb_sol=0 ticks=251304 tps=100 nb_sec=2513
case_no=181 label=Case6.169 nb_sol=0 ticks=235865 tps=100 nb_sec=2358
case_no=181 label=Case6.169 nb_sol=0 ticks=236150 tps=100 nb_sec=2361
case_no=181 label=Case6.169 nb_sol=0 ticks=142964 tps=100 nb_sec=1429
case_no=181 label=Case6.169 nb_sol=0 ticks=226014 tps=100 nb_sec=2260
case_no=181 label=Case6.169 nb_sol=0 ticks=146506 tps=100 nb_sec=1465
case_no=181 label=Case6.169 nb_sol=0 ticks=330109 tps=100 nb_sec=3301
case_no=181 label=Case6.169 nb_sol=0 ticks=420871 tps=100 nb_sec=4208
case_no=181 label=Case6.169 nb_sol=0 ticks=355086 tps=100 nb_sec=3550
case_no=181 label=Case6.169 nb_sol=0 ticks=436779 tps=100 nb_sec=4367
case_no=181 label=Case6.169 nb_sol=0 ticks=509964 tps=100 nb_sec=5099
case_no=181 label=Case6.169 nb_sol=0 ticks=344695 tps=100 nb_sec=3446
case_no=181 label=Case6.169 nb_sol=0 ticks=296126 tps=100 nb_sec=2961
case_no=181 label=Case6.169 nb_sol=0 ticks=292825 tps=100 nb_sec=2928
case_no=181 label=Case6.169 nb_sol=0 ticks=195845 tps=100 nb_sec=1958
case_no=181 label=Case6.169 nb_sol=0 ticks=215575 tps=100 nb_sec=2155
case_no=181 label=Case6.169 nb_sol=0 ticks=249493 tps=100 nb_sec=2494
case_no=181 label=Case6.169 nb_sol=0 ticks=199533 tps=100 nb_sec=1995
case_no=181 label=Case6.169 nb_sol=0 ticks=139518 tps=100 nb_sec=1395
case_no=181 label=Case6.169 nb_sol=0 ticks=395392 tps=100 nb_sec=3953
case_no=181 label=Case6.169 nb_sol=0 ticks=261164 tps=100 nb_sec=2611
case_no=181 label=Case6.169 nb_sol=0 ticks=240559 tps=100 nb_sec=2405
case_no=181 label=Case6.169 nb_sol=0 ticks=214403 tps=100 nb_sec=2144
case_no=181 label=Case6.169 nb_sol=0 ticks=189703 tps=100 nb_sec=1897
case_no=181 label=Case6.169 nb_sol=0 ticks=248403 tps=100 nb_sec=2484
case_no=181 label=Case6.169 nb_sol=0 ticks=462019 tps=100 nb_sec=4620
case_no=181 label=Case6.169 nb_sol=0 ticks=305115 tps=100 nb_sec=3051
case_no=181 label=Case6.169 nb_sol=0 ticks=329898 tps=100 nb_sec=3298
case_no=181 label=Case6.169 nb_sol=0 ticks=271224 tps=100 nb_sec=2712
case_no=181 label=Case6.169 nb_sol=0 ticks=266634 tps=100 nb_sec=2666
case_no=181 label=Case6.169 nb_sol=0 ticks=156032 tps=100 nb_sec=1560
case_no=181 label=Case6.169 nb_sol=0 ticks=341274 tps=100 nb_sec=3412
case_no=181 label=Case6.169 nb_sol=0 ticks=199618 tps=100 nb_sec=1996
case_no=181 label=Case6.169 nb_sol=0 ticks=308609 tps=100 nb_sec=3086
case_no=181 label=Case6.169 nb_sol=0 ticks=362859 tps=100 nb_sec=3628
case_no=181 label=Case6.169 nb_sol=0 ticks=211217 tps=100 nb_sec=2112
case_no=181 label=Case6.169 nb_sol=0 ticks=241150 tps=100 nb_sec=2411
case_no=181 label=Case6.169 nb_sol=0 ticks=343189 tps=100 nb_sec=3431
case_no=181 label=Case6.169 nb_sol=0 ticks=219954 tps=100 nb_sec=2199
case_no=181 label=Case6.169 nb_sol=0 ticks=173898 tps=100 nb_sec=1738
case_no=181 label=Case6.169 nb_sol=0 ticks=195291 tps=100 nb_sec=1952
case_no=181 label=Case6.169 nb_sol=0 ticks=51656 tps=100 nb_sec=516
case_no=181 label=Case6.169 nb_sol=0 ticks=212757 tps=100 nb_sec=2127
case_no=181 label=Case6.169 nb_sol=0 ticks=297111 tps=100 nb_sec=2971
case_no=181 label=Case6.169 nb_sol=0 ticks=220506 tps=100 nb_sec=2205
case_no=181 label=Case6.169 nb_sol=0 ticks=253456 tps=100 nb_sec=2534
case_no=181 label=Case6.169 nb_sol=0 ticks=299242 tps=100 nb_sec=2992
case_no=181 label=Case6.169 nb_sol=0 ticks=213731 tps=100 nb_sec=2137
case_no=181 label=Case6.169 nb_sol=0 ticks=178857 tps=100 nb_sec=1788
case_no=181 label=Case6.169 nb_sol=0 ticks=287758 tps=100 nb_sec=2877
case_no=181 label=Case6.169 nb_sol=0 ticks=228583 tps=100 nb_sec=2285
case_no=181 label=Case6.169 nb_sol=0 ticks=186085 tps=100 nb_sec=1860
case_no=181 label=Case6.169 nb_sol=0 ticks=217916 tps=100 nb_sec=2179
case_no=181 label=Case6.169 nb_sol=0 ticks=155117 tps=100 nb_sec=1551
case_no=181 label=Case6.169 nb_sol=0 ticks=100318 tps=100 nb_sec=1003
case_no=181 label=Case6.169 nb_sol=0 ticks=310015 tps=100 nb_sec=3100
case_no=181 label=Case6.169 nb_sol=0 ticks=170681 tps=100 nb_sec=1706
case_no=181 label=Case6.169 nb_sol=0 ticks=345199 tps=100 nb_sec=3451
case_no=181 label=Case6.169 nb_sol=0 ticks=259728 tps=100 nb_sec=2597
case_no=181 label=Case6.169 nb_sol=0 ticks=243073 tps=100 nb_sec=2430
case_no=181 label=Case6.169 nb_sol=0 ticks=260331 tps=100 nb_sec=2603
case_no=181 label=Case6.169 nb_sol=0 ticks=267766 tps=100 nb_sec=2677
case_no=181 label=Case6.169 nb_sol=0 ticks=203997 tps=100 nb_sec=2039
case_no=181 label=Case6.169 nb_sol=0 ticks=184025 tps=100 nb_sec=1840
case_no=181 label=Case6.169 nb_sol=0 ticks=209512 tps=100 nb_sec=2095
case_no=181 label=Case6.169 nb_sol=0 ticks=125973 tps=100 nb_sec=1259
case_no=181 label=Case6.169 nb_sol=0 ticks=192276 tps=100 nb_sec=1922
case_no=181 label=Case6.169 nb_sol=0 ticks=597082 tps=100 nb_sec=5970
case_no=181 label=Case6.169 nb_sol=0 ticks=327533 tps=100 nb_sec=3275
case_no=181 label=Case6.169 nb_sol=0 ticks=508660 tps=100 nb_sec=5086
case_no=181 label=Case6.169 nb_sol=0 ticks=449140 tps=100 nb_sec=4491
case_no=181 label=Case6.169 nb_sol=0 ticks=325751 tps=100 nb_sec=3257
case_no=181 label=Case6.169 nb_sol=0 ticks=173790 tps=100 nb_sec=1737
case_no=181 label=Case6.169 nb_sol=0 ticks=320905 tps=100 nb_sec=3209
case_no=181 label=Case6.169 nb_sol=0 ticks=336084 tps=100 nb_sec=3360
case_no=181 label=Case6.169 nb_sol=0 ticks=291014 tps=100 nb_sec=2910
case_no=181 label=Case6.169 nb_sol=0 ticks=123351 tps=100 nb_sec=1233
case_no=181 label=Case6.169 nb_sol=0 ticks=412395 tps=100 nb_sec=4123
case_no=181 label=Case6.169 nb_sol=0 ticks=174322 tps=100 nb_sec=1743
case_no=181 label=Case6.169 nb_sol=0 ticks=401416 tps=100 nb_sec=4014
case_no=181 label=Case6.169 nb_sol=0 ticks=120397 tps=100 nb_sec=1203
case_no=181 label=Case6.169 nb_sol=0 ticks=206226 tps=100 nb_sec=2062
case_no=181 label=Case6.169 nb_sol=0 ticks=339641 tps=100 nb_sec=3396
case_no=181 label=Case6.169 nb_sol=0 ticks=198088 tps=100 nb_sec=1980
case_no=181 label=Case6.169 nb_sol=0 ticks=290267 tps=100 nb_sec=2902
case_no=181 label=Case6.169 nb_sol=0 ticks=303024 tps=100 nb_sec=3030
case_no=181 label=Case6.169 nb_sol=0 ticks=178912 tps=100 nb_sec=1789
case_no=181 label=Case6.169 nb_sol=0 ticks=315623 tps=100 nb_sec=3156
case_no=181 label=Case6.169 nb_sol=0 ticks=283345 tps=100 nb_sec=2833
case_no=181 label=Case6.169 nb_sol=0 ticks=99433 tps=100 nb_sec=994
case_no=181 label=Case6.169 nb_sol=0 ticks=252390 tps=100 nb_sec=2523
case_no=181 label=Case6.169 nb_sol=0 ticks=142028 tps=100 nb_sec=1420
case_no=181 label=Case6.169 nb_sol=0 ticks=229444 tps=100 nb_sec=2294
case_no=181 label=Case6.169 nb_sol=0 ticks=384655 tps=100 nb_sec=3846
case_no=181 label=Case6.169 nb_sol=0 ticks=248654 tps=100 nb_sec=2486
case_no=181 label=Case6.169 nb_sol=0 ticks=195873 tps=100 nb_sec=1958
case_no=181 label=Case6.169 nb_sol=0 ticks=206322 tps=100 nb_sec=2063
case_no=181 label=Case6.169 nb_sol=0 ticks=107373 tps=100 nb_sec=1073
case_no=181 label=Case6.169 nb_sol=0 ticks=147721 tps=100 nb_sec=1477
case_no=181 label=Case6.169 nb_sol=0 ticks=333818 tps=100 nb_sec=3338
case_no=181 label=Case6.169 nb_sol=0 ticks=265397 tps=100 nb_sec=2653
case_no=181 label=Case6.169 nb_sol=0 ticks=256928 tps=100 nb_sec=2569
case_no=181 label=Case6.169 nb_sol=0 ticks=411378 tps=100 nb_sec=4113
case_no=181 label=Case6.169 nb_sol=0 ticks=318716 tps=100 nb_sec=3187
case_no=181 label=Case6.169 nb_sol=0 ticks=215054 tps=100 nb_sec=2150
case_no=181 label=Case6.169 nb_sol=0 ticks=242003 tps=100 nb_sec=2420
case_no=181 label=Case6.169 nb_sol=0 ticks=184256 tps=100 nb_sec=1842
case_no=181 label=Case6.169 nb_sol=0 ticks=149398 tps=100 nb_sec=1493
case_no=181 label=Case6.169 nb_sol=0 ticks=235648 tps=100 nb_sec=2356
case_no=181 label=Case6.169 nb_sol=0 ticks=116531 tps=100 nb_sec=1165
case_no=181 label=Case6.169 nb_sol=0 ticks=312889 tps=100 nb_sec=3128
case_no=181 label=Case6.169 nb_sol=0 ticks=269586 tps=100 nb_sec=2695
case_no=181 label=Case6.169 nb_sol=0 ticks=216432 tps=100 nb_sec=2164
case_no=181 label=Case6.169 nb_sol=0 ticks=131702 tps=100 nb_sec=1317
case_no=181 label=Case6.169 nb_sol=0 ticks=379391 tps=100 nb_sec=3793
case_no=181 label=Case6.169 nb_sol=0 ticks=252410 tps=100 nb_sec=2524
case_no=181 label=Case6.169 nb_sol=0 ticks=378937 tps=100 nb_sec=3789
case_no=181 label=Case6.169 nb_sol=0 ticks=393740 tps=100 nb_sec=3937
case_no=181 label=Case6.169 nb_sol=0 ticks=214008 tps=100 nb_sec=2140
case_no=181 label=Case6.169 nb_sol=0 ticks=229002 tps=100 nb_sec=2290
case_no=181 label=Case6.169 nb_sol=0 ticks=140615 tps=100 nb_sec=1406
case_no=181 label=Case6.169 nb_sol=0 ticks=173446 tps=100 nb_sec=1734
case_no=181 label=Case6.169 nb_sol=0 ticks=285077 tps=100 nb_sec=2850
case_no=181 label=Case6.169 nb_sol=0 ticks=331394 tps=100 nb_sec=3313
case_no=181 label=Case6.169 nb_sol=0 ticks=204010 tps=100 nb_sec=2040
case_no=181 label=Case6.169 nb_sol=0 ticks=272879 tps=100 nb_sec=2728
case_no=181 label=Case6.169 nb_sol=0 ticks=299893 tps=100 nb_sec=2998
case_no=181 label=Case6.169 nb_sol=0 ticks=207267 tps=100 nb_sec=2072
case_no=181 label=Case6.169 nb_sol=0 ticks=361041 tps=100 nb_sec=3610
case_no=181 label=Case6.169 nb_sol=0 ticks=383046 tps=100 nb_sec=3830
case_no=181 label=Case6.169 nb_sol=0 ticks=287885 tps=100 nb_sec=2878
case_no=181 label=Case6.169 nb_sol=0 ticks=232282 tps=100 nb_sec=2322
case_no=181 label=Case6.169 nb_sol=0 ticks=332346 tps=100 nb_sec=3323
case_no=181 label=Case6.169 nb_sol=0 ticks=209765 tps=100 nb_sec=2097
case_no=181 label=Case6.169 nb_sol=0 ticks=262714 tps=100 nb_sec=2627
case_no=181 label=Case6.169 nb_sol=0 ticks=337153 tps=100 nb_sec=3371
case_no=181 label=Case6.169 nb_sol=0 ticks=241313 tps=100 nb_sec=2413
case_no=181 label=Case6.169 nb_sol=0 ticks=285576 tps=100 nb_sec=2855
case_no=181 label=Case6.169 nb_sol=0 ticks=201166 tps=100 nb_sec=2011
case_no=181 label=Case6.169 nb_sol=0 ticks=138375 tps=100 nb_sec=1383
case_no=181 label=Case6.169 nb_sol=0 ticks=161852 tps=100 nb_sec=1618
case_no=181 label=Case6.169 nb_sol=0 ticks=437199 tps=100 nb_sec=4371
case_no=181 label=Case6.169 nb_sol=0 ticks=324467 tps=100 nb_sec=3244
case_no=181 label=Case6.169 nb_sol=0 ticks=285269 tps=100 nb_sec=2852
case_no=181 label=Case6.169 nb_sol=0 ticks=414457 tps=100 nb_sec=4144
case_no=181 label=Case6.169 nb_sol=0 ticks=307175 tps=100 nb_sec=3071
case_no=181 label=Case6.169 nb_sol=0 ticks=307080 tps=100 nb_sec=3070
case_no=181 label=Case6.169 nb_sol=0 ticks=261718 tps=100 nb_sec=2617
case_no=181 label=Case6.169 nb_sol=0 ticks=255613 tps=100 nb_sec=2556
case_no=181 label=Case6.169 nb_sol=0 ticks=284025 tps=100 nb_sec=2840
case_no=181 label=Case6.169 nb_sol=0 ticks=325322 tps=100 nb_sec=3253
case_no=181 label=Case6.169 nb_sol=0 ticks=284905 tps=100 nb_sec=2849
case_no=181 label=Case6.169 nb_sol=0 ticks=170390 tps=100 nb_sec=1703
case_no=181 label=Case6.169 nb_sol=0 ticks=420999 tps=100 nb_sec=4209
case_no=181 label=Case6.169 nb_sol=0 ticks=276951 tps=100 nb_sec=2769
case_no=181 label=Case6.169 nb_sol=0 ticks=244491 tps=100 nb_sec=2444
case_no=181 label=Case6.169 nb_sol=0 ticks=460966 tps=100 nb_sec=4609
case_no=181 label=Case6.169 nb_sol=0 ticks=272810 tps=100 nb_sec=2728
case_no=181 label=Case6.169 nb_sol=0 ticks=154496 tps=100 nb_sec=1544
case_no=181 label=Case6.169 nb_sol=0 ticks=453129 tps=100 nb_sec=4531
case_no=181 label=Case6.169 nb_sol=0 ticks=256819 tps=100 nb_sec=2568
case_no=181 label=Case6.169 nb_sol=0 ticks=205790 tps=100 nb_sec=2057
case_no=181 label=Case6.169 nb_sol=0 ticks=393830 tps=100 nb_sec=3938
case_no=181 label=Case6.169 nb_sol=0 ticks=291506 tps=100 nb_sec=2915
case_no=181 label=Case6.169 nb_sol=0 ticks=146567 tps=100 nb_sec=1465
case_no=181 label=Case6.169 nb_sol=0 ticks=264005 tps=100 nb_sec=2640
case_no=181 label=Case6.169 nb_sol=0 ticks=309226 tps=100 nb_sec=3092
case_no=181 label=Case6.169 nb_sol=0 ticks=183326 tps=100 nb_sec=1833
case_no=181 label=Case6.169 nb_sol=0 ticks=370116 tps=100 nb_sec=3701
case_no=181 label=Case6.169 nb_sol=0 ticks=425576 tps=100 nb_sec=4255
case_no=181 label=Case6.169 nb_sol=0 ticks=270165 tps=100 nb_sec=2701
case_no=181 label=Case6.169 nb_sol=0 ticks=303733 tps=100 nb_sec=3037
case_no=181 label=Case6.169 nb_sol=0 ticks=252425 tps=100 nb_sec=2524
case_no=181 label=Case6.169 nb_sol=0 ticks=312369 tps=100 nb_sec=3123
case_no=181 label=Case6.169 nb_sol=0 ticks=273918 tps=100 nb_sec=2739
case_no=181 label=Case6.169 nb_sol=0 ticks=170845 tps=100 nb_sec=1708
case_no=181 label=Case6.169 nb_sol=0 ticks=236791 tps=100 nb_sec=2367
case_no=181 label=Case6.169 nb_sol=0 ticks=272479 tps=100 nb_sec=2724
case_no=181 label=Case6.169 nb_sol=0 ticks=281757 tps=100 nb_sec=2817
case_no=181 label=Case6.169 nb_sol=0 ticks=295026 tps=100 nb_sec=2950
case_no=181 label=Case6.169 nb_sol=0 ticks=190440 tps=100 nb_sec=1904
case_no=181 label=Case6.169 nb_sol=0 ticks=387308 tps=100 nb_sec=3873
case_no=181 label=Case6.169 nb_sol=0 ticks=306945 tps=100 nb_sec=3069
case_no=181 label=Case6.169 nb_sol=0 ticks=245393 tps=100 nb_sec=2453
case_no=181 label=Case6.169 nb_sol=0 ticks=319659 tps=100 nb_sec=3196
case_no=181 label=Case6.169 nb_sol=0 ticks=119538 tps=100 nb_sec=1195
case_no=181 label=Case6.169 nb_sol=0 ticks=245454 tps=100 nb_sec=2454
case_no=181 label=Case6.169 nb_sol=0 ticks=345582 tps=100 nb_sec=3455
case_no=181 label=Case6.169 nb_sol=0 ticks=223317 tps=100 nb_sec=2233
case_no=181 label=Case6.169 nb_sol=0 ticks=266642 tps=100 nb_sec=2666
case_no=181 label=Case6.169 nb_sol=0 ticks=247025 tps=100 nb_sec=2470
case_no=181 label=Case6.169 nb_sol=0 ticks=155279 tps=100 nb_sec=1552
case_no=181 label=Case6.169 nb_sol=0 ticks=129933 tps=100 nb_sec=1299
case_no=181 label=Case6.169 nb_sol=0 ticks=200157 tps=100 nb_sec=2001
case_no=181 label=Case6.169 nb_sol=0 ticks=141687 tps=100 nb_sec=1416
case_no=181 label=Case6.169 nb_sol=0 ticks=354291 tps=100 nb_sec=3542
case_no=181 label=Case6.169 nb_sol=0 ticks=305567 tps=100 nb_sec=3055
case_no=181 label=Case6.169 nb_sol=0 ticks=231234 tps=100 nb_sec=2312
case_no=181 label=Case6.169 nb_sol=0 ticks=350577 tps=100 nb_sec=3505
case_no=181 label=Case6.169 nb_sol=0 ticks=288522 tps=100 nb_sec=2885
case_no=181 label=Case6.169 nb_sol=0 ticks=203873 tps=100 nb_sec=2038
case_no=181 label=Case6.169 nb_sol=0 ticks=195920 tps=100 nb_sec=1959
case_no=181 label=Case6.169 nb_sol=0 ticks=187492 tps=100 nb_sec=1874
case_no=181 label=Case6.169 nb_sol=0 ticks=78067 tps=100 nb_sec=780
case_no=181 label=Case6.169 nb_sol=0 ticks=154346 tps=100 nb_sec=1543
case_no=181 label=Case6.169 nb_sol=0 ticks=160485 tps=100 nb_sec=1604
case_no=181 label=Case6.169 nb_sol=0 ticks=65914 tps=100 nb_sec=659
case_no=181 label=Case6.169 nb_sol=0 ticks=148096 tps=100 nb_sec=1480
case_no=181 label=Case6.169 nb_sol=0 ticks=132710 tps=100 nb_sec=1327
case_no=181 label=Case6.169 nb_sol=0 ticks=65346 tps=100 nb_sec=653
case_no=181 label=Case6.169 nb_sol=0 ticks=73929 tps=100 nb_sec=739
case_no=181 label=Case6.169 nb_sol=0 ticks=75295 tps=100 nb_sec=752
case_no=181 label=Case6.169 nb_sol=0 ticks=16863 tps=100 nb_sec=168
case_no=181 label=Case6.169 nb_sol=0 ticks=199104 tps=100 nb_sec=1991
case_no=181 label=Case6.169 nb_sol=0 ticks=193401 tps=100 nb_sec=1934
case_no=181 label=Case6.169 nb_sol=0 ticks=142615 tps=100 nb_sec=1426
case_no=181 label=Case6.169 nb_sol=0 ticks=177920 tps=100 nb_sec=1779
case_no=181 label=Case6.169 nb_sol=0 ticks=162880 tps=100 nb_sec=1628
case_no=181 label=Case6.169 nb_sol=0 ticks=110893 tps=100 nb_sec=1108
case_no=181 label=Case6.169 nb_sol=0 ticks=156519 tps=100 nb_sec=1565
case_no=181 label=Case6.169 nb_sol=0 ticks=112215 tps=100 nb_sec=1122
case_no=181 label=Case6.169 nb_sol=0 ticks=73931 tps=100 nb_sec=739
case_no=181 label=Case6.169 nb_sol=0 ticks=161383 tps=100 nb_sec=1613
case_no=181 label=Case6.169 nb_sol=0 ticks=140208 tps=100 nb_sec=1402
case_no=181 label=Case6.169 nb_sol=0 ticks=70622 tps=100 nb_sec=706
case_no=181 label=Case6.169 nb_sol=0 ticks=139954 tps=100 nb_sec=1399
case_no=181 label=Case6.169 nb_sol=0 ticks=114778 tps=100 nb_sec=1147
case_no=181 label=Case6.169 nb_sol=0 ticks=73484 tps=100 nb_sec=734
case_no=181 label=Case6.169 nb_sol=0 ticks=68046 tps=100 nb_sec=680
case_no=181 label=Case6.169 nb_sol=0 ticks=79261 tps=100 nb_sec=792
case_no=181 label=Case6.169 nb_sol=0 ticks=23213 tps=100 nb_sec=232
case_no=181 label=Case6.169 nb_sol=0 ticks=177567 tps=100 nb_sec=1775
case_no=181 label=Case6.169 nb_sol=0 ticks=171281 tps=100 nb_sec=1712
case_no=181 label=Case6.169 nb_sol=0 ticks=173405 tps=100 nb_sec=1734
case_no=181 label=Case6.169 nb_sol=0 ticks=200258 tps=100 nb_sec=2002
case_no=181 label=Case6.169 nb_sol=0 ticks=236012 tps=100 nb_sec=2360
case_no=181 label=Case6.169 nb_sol=0 ticks=152478 tps=100 nb_sec=1524
case_no=181 label=Case6.169 nb_sol=0 ticks=152785 tps=100 nb_sec=1527
case_no=181 label=Case6.169 nb_sol=0 ticks=147452 tps=100 nb_sec=1474
case_no=181 label=Case6.169 nb_sol=0 ticks=81207 tps=100 nb_sec=812
case_no=181 label=Case6.169 nb_sol=0 ticks=128611 tps=100 nb_sec=1286
case_no=181 label=Case6.169 nb_sol=0 ticks=158579 tps=100 nb_sec=1585
case_no=181 label=Case6.169 nb_sol=0 ticks=63497 tps=100 nb_sec=634
case_no=181 label=Case6.169 nb_sol=0 ticks=121473 tps=100 nb_sec=1214
case_no=181 label=Case6.169 nb_sol=0 ticks=103962 tps=100 nb_sec=1039
case_no=181 label=Case6.169 nb_sol=0 ticks=58478 tps=100 nb_sec=584
case_no=181 label=Case6.169 nb_sol=0 ticks=63278 tps=100 nb_sec=632
case_no=181 label=Case6.169 nb_sol=0 ticks=59338 tps=100 nb_sec=593
case_no=181 label=Case6.169 nb_sol=0 ticks=16441 tps=100 nb_sec=164
case_no=181 label=Case6.169 nb_sol=0 ticks=161049 tps=100 nb_sec=1610
case_no=181 label=Case6.169 nb_sol=0 ticks=153280 tps=100 nb_sec=1532
case_no=181 label=Case6.169 nb_sol=0 ticks=112309 tps=100 nb_sec=1123
case_no=181 label=Case6.169 nb_sol=0 ticks=176827 tps=100 nb_sec=1768
case_no=181 label=Case6.169 nb_sol=0 ticks=136225 tps=100 nb_sec=1362
case_no=181 label=Case6.169 nb_sol=0 ticks=106597 tps=100 nb_sec=1065
case_no=181 label=Case6.169 nb_sol=0 ticks=103672 tps=100 nb_sec=1036
case_no=181 label=Case6.169 nb_sol=0 ticks=99856 tps=100 nb_sec=998
case_no=181 label=Case6.169 nb_sol=0 ticks=41154 tps=100 nb_sec=411
case_no=181 label=Case6.169 nb_sol=0 ticks=139836 tps=100 nb_sec=1398
case_no=181 label=Case6.169 nb_sol=0 ticks=100703 tps=100 nb_sec=1007
case_no=181 label=Case6.169 nb_sol=0 ticks=63609 tps=100 nb_sec=636
case_no=181 label=Case6.169 nb_sol=0 ticks=92894 tps=100 nb_sec=928
case_no=181 label=Case6.169 nb_sol=0 ticks=99320 tps=100 nb_sec=993
case_no=181 label=Case6.169 nb_sol=0 ticks=45270 tps=100 nb_sec=452
case_no=181 label=Case6.169 nb_sol=0 ticks=65780 tps=100 nb_sec=657
case_no=181 label=Case6.169 nb_sol=0 ticks=52797 tps=100 nb_sec=527
case_no=181 label=Case6.169 nb_sol=0 ticks=17187 tps=100 nb_sec=171
case_no=181 label=Case6.169 nb_sol=0 ticks=223699 tps=100 nb_sec=2236
case_no=181 label=Case6.169 nb_sol=0 ticks=128978 tps=100 nb_sec=1289
case_no=181 label=Case6.169 nb_sol=0 ticks=152656 tps=100 nb_sec=1526
case_no=181 label=Case6.169 nb_sol=0 ticks=192289 tps=100 nb_sec=1922
case_no=181 label=Case6.169 nb_sol=0 ticks=150067 tps=100 nb_sec=1500
case_no=181 label=Case6.169 nb_sol=0 ticks=156202 tps=100 nb_sec=1562
case_no=181 label=Case6.169 nb_sol=0 ticks=166257 tps=100 nb_sec=1662
case_no=181 label=Case6.169 nb_sol=0 ticks=131791 tps=100 nb_sec=1317
case_no=181 label=Case6.169 nb_sol=0 ticks=95983 tps=100 nb_sec=959
case_no=181 label=Case6.169 nb_sol=0 ticks=143053 tps=100 nb_sec=1430
case_no=181 label=Case6.169 nb_sol=0 ticks=100166 tps=100 nb_sec=1001
case_no=181 label=Case6.169 nb_sol=0 ticks=83313 tps=100 nb_sec=833
case_no=181 label=Case6.169 nb_sol=0 ticks=119070 tps=100 nb_sec=1190
case_no=181 label=Case6.169 nb_sol=0 ticks=82644 tps=100 nb_sec=826
case_no=181 label=Case6.169 nb_sol=0 ticks=59236 tps=100 nb_sec=592
case_no=181 label=Case6.169 nb_sol=0 ticks=65034 tps=100 nb_sec=650
case_no=181 label=Case6.169 nb_sol=0 ticks=49550 tps=100 nb_sec=495
case_no=181 label=Case6.169 nb_sol=0 ticks=25017 tps=100 nb_sec=250
case_no=181 label=Case6.169 nb_sol=0 ticks=210740 tps=100 nb_sec=2107
case_no=181 label=Case6.169 nb_sol=0 ticks=210551 tps=100 nb_sec=2105
case_no=181 label=Case6.169 nb_sol=0 ticks=171253 tps=100 nb_sec=1712
case_no=181 label=Case6.169 nb_sol=0 ticks=146503 tps=100 nb_sec=1465
case_no=181 label=Case6.169 nb_sol=0 ticks=142767 tps=100 nb_sec=1427
case_no=181 label=Case6.169 nb_sol=0 ticks=107223 tps=100 nb_sec=1072
case_no=181 label=Case6.169 nb_sol=0 ticks=194333 tps=100 nb_sec=1943
case_no=181 label=Case6.169 nb_sol=0 ticks=140583 tps=100 nb_sec=1405
case_no=181 label=Case6.169 nb_sol=0 ticks=75104 tps=100 nb_sec=751
case_no=181 label=Case6.169 nb_sol=0 ticks=184697 tps=100 nb_sec=1846
case_no=181 label=Case6.169 nb_sol=0 ticks=203509 tps=100 nb_sec=2035
case_no=181 label=Case6.169 nb_sol=0 ticks=137250 tps=100 nb_sec=1372
case_no=181 label=Case6.169 nb_sol=0 ticks=92567 tps=100 nb_sec=925
case_no=181 label=Case6.169 nb_sol=0 ticks=118021 tps=100 nb_sec=1180
case_no=181 label=Case6.169 nb_sol=0 ticks=59055 tps=100 nb_sec=590
case_no=181 label=Case6.169 nb_sol=0 ticks=166694 tps=100 nb_sec=1666
case_no=181 label=Case6.169 nb_sol=0 ticks=82677 tps=100 nb_sec=826
case_no=181 label=Case6.169 nb_sol=0 ticks=31588 tps=100 nb_sec=315
case_no=181 label=Case6.169 nb_sol=0 ticks=285019 tps=100 nb_sec=2850
case_no=181 label=Case6.169 nb_sol=0 ticks=224534 tps=100 nb_sec=2245
case_no=181 label=Case6.169 nb_sol=0 ticks=169396 tps=100 nb_sec=1693
case_no=181 label=Case6.169 nb_sol=0 ticks=201600 tps=100 nb_sec=2016
case_no=181 label=Case6.169 nb_sol=0 ticks=153914 tps=100 nb_sec=1539
case_no=181 label=Case6.169 nb_sol=0 ticks=119047 tps=100 nb_sec=1190
case_no=181 label=Case6.169 nb_sol=0 ticks=230177 tps=100 nb_sec=2301
case_no=181 label=Case6.169 nb_sol=0 ticks=173708 tps=100 nb_sec=1737
case_no=181 label=Case6.169 nb_sol=0 ticks=102677 tps=100 nb_sec=1026
case_no=181 label=Case6.169 nb_sol=0 ticks=138068 tps=100 nb_sec=1380
case_no=181 label=Case6.169 nb_sol=0 ticks=132339 tps=100 nb_sec=1323
case_no=181 label=Case6.169 nb_sol=0 ticks=70035 tps=100 nb_sec=700
case_no=181 label=Case6.169 nb_sol=0 ticks=70648 tps=100 nb_sec=706
case_no=181 label=Case6.169 nb_sol=0 ticks=63358 tps=100 nb_sec=633
case_no=181 label=Case6.169 nb_sol=0 ticks=50061 tps=100 nb_sec=500
case_no=181 label=Case6.169 nb_sol=0 ticks=81750 tps=100 nb_sec=817
case_no=181 label=Case6.169 nb_sol=0 ticks=69053 tps=100 nb_sec=690
case_no=181 label=Case6.169 nb_sol=0 ticks=23532 tps=100 nb_sec=235
case_no=181 label=Case6.169 nb_sol=0 ticks=133911 tps=100 nb_sec=1339
case_no=181 label=Case6.169 nb_sol=0 ticks=127492 tps=100 nb_sec=1274
case_no=181 label=Case6.169 nb_sol=0 ticks=110973 tps=100 nb_sec=1109
case_no=181 label=Case6.169 nb_sol=0 ticks=101548 tps=100 nb_sec=1015
case_no=181 label=Case6.169 nb_sol=0 ticks=128475 tps=100 nb_sec=1284
case_no=181 label=Case6.169 nb_sol=0 ticks=73104 tps=100 nb_sec=731
case_no=181 label=Case6.169 nb_sol=0 ticks=82045 tps=100 nb_sec=820
case_no=181 label=Case6.169 nb_sol=0 ticks=82340 tps=100 nb_sec=823
case_no=181 label=Case6.169 nb_sol=0 ticks=48923 tps=100 nb_sec=489
case_no=181 label=Case6.169 nb_sol=0 ticks=143116 tps=100 nb_sec=1431
case_no=181 label=Case6.169 nb_sol=0 ticks=145397 tps=100 nb_sec=1453
case_no=181 label=Case6.169 nb_sol=0 ticks=72767 tps=100 nb_sec=727
case_no=181 label=Case6.169 nb_sol=0 ticks=141904 tps=100 nb_sec=1419
case_no=181 label=Case6.169 nb_sol=0 ticks=111886 tps=100 nb_sec=1118
case_no=181 label=Case6.169 nb_sol=0 ticks=72064 tps=100 nb_sec=720
case_no=181 label=Case6.169 nb_sol=0 ticks=71496 tps=100 nb_sec=714
case_no=181 label=Case6.169 nb_sol=0 ticks=63152 tps=100 nb_sec=631
case_no=181 label=Case6.169 nb_sol=0 ticks=22450 tps=100 nb_sec=224
case_no=181 label=Case6.169 nb_sol=0 ticks=181375 tps=100 nb_sec=1813
case_no=181 label=Case6.169 nb_sol=0 ticks=118430 tps=100 nb_sec=1184
case_no=181 label=Case6.169 nb_sol=0 ticks=133607 tps=100 nb_sec=1336
case_no=181 label=Case6.169 nb_sol=0 ticks=172220 tps=100 nb_sec=1722
case_no=181 label=Case6.169 nb_sol=0 ticks=105418 tps=100 nb_sec=1054
case_no=181 label=Case6.169 nb_sol=0 ticks=96905 tps=100 nb_sec=969
case_no=181 label=Case6.169 nb_sol=0 ticks=166385 tps=100 nb_sec=1663
case_no=181 label=Case6.169 nb_sol=0 ticks=87507 tps=100 nb_sec=875
case_no=181 label=Case6.169 nb_sol=0 ticks=58609 tps=100 nb_sec=586
case_no=181 label=Case6.169 nb_sol=0 ticks=129958 tps=100 nb_sec=1299
case_no=181 label=Case6.169 nb_sol=0 ticks=78276 tps=100 nb_sec=782
case_no=181 label=Case6.169 nb_sol=0 ticks=68725 tps=100 nb_sec=687
case_no=181 label=Case6.169 nb_sol=0 ticks=115812 tps=100 nb_sec=1158
case_no=181 label=Case6.169 nb_sol=0 ticks=62144 tps=100 nb_sec=621
case_no=181 label=Case6.169 nb_sol=0 ticks=51224 tps=100 nb_sec=512
case_no=181 label=Case6.169 nb_sol=0 ticks=74589 tps=100 nb_sec=745
case_no=181 label=Case6.169 nb_sol=0 ticks=44734 tps=100 nb_sec=447
case_no=181 label=Case6.169 nb_sol=0 ticks=21301 tps=100 nb_sec=213
case_no=181 label=Case6.169 nb_sol=0 ticks=190917 tps=100 nb_sec=1909
case_no=181 label=Case6.169 nb_sol=0 ticks=167723 tps=100 nb_sec=1677
case_no=181 label=Case6.169 nb_sol=0 ticks=132024 tps=100 nb_sec=1320
case_no=181 label=Case6.169 nb_sol=0 ticks=123044 tps=100 nb_sec=1230
case_no=181 label=Case6.169 nb_sol=0 ticks=158732 tps=100 nb_sec=1587
case_no=181 label=Case6.169 nb_sol=0 ticks=74505 tps=100 nb_sec=745
case_no=181 label=Case6.169 nb_sol=0 ticks=134110 tps=100 nb_sec=1341
case_no=181 label=Case6.169 nb_sol=0 ticks=107493 tps=100 nb_sec=1074
case_no=181 label=Case6.169 nb_sol=0 ticks=64403 tps=100 nb_sec=644
case_no=181 label=Case6.169 nb_sol=0 ticks=134897 tps=100 nb_sec=1348
case_no=181 label=Case6.169 nb_sol=0 ticks=119554 tps=100 nb_sec=1195
case_no=181 label=Case6.169 nb_sol=0 ticks=67058 tps=100 nb_sec=670
case_no=181 label=Case6.169 nb_sol=0 ticks=92267 tps=100 nb_sec=922
case_no=181 label=Case6.169 nb_sol=0 ticks=71362 tps=100 nb_sec=713
case_no=181 label=Case6.169 nb_sol=0 ticks=42536 tps=100 nb_sec=425
case_no=181 label=Case6.169 nb_sol=0 ticks=79222 tps=100 nb_sec=792
case_no=181 label=Case6.169 nb_sol=0 ticks=63468 tps=100 nb_sec=634
case_no=181 label=Case6.169 nb_sol=0 ticks=21706 tps=100 nb_sec=217
case_no=181 label=Case6.169 nb_sol=0 ticks=179876 tps=100 nb_sec=1798
case_no=181 label=Case6.169 nb_sol=0 ticks=130587 tps=100 nb_sec=1305
case_no=181 label=Case6.169 nb_sol=0 ticks=147247 tps=100 nb_sec=1472
case_no=181 label=Case6.169 nb_sol=0 ticks=232072 tps=100 nb_sec=2320
case_no=181 label=Case6.169 nb_sol=0 ticks=170082 tps=100 nb_sec=1700
case_no=181 label=Case6.169 nb_sol=0 ticks=158464 tps=100 nb_sec=1584
case_no=181 label=Case6.169 nb_sol=0 ticks=185551 tps=100 nb_sec=1855
case_no=181 label=Case6.169 nb_sol=0 ticks=116912 tps=100 nb_sec=1169
case_no=181 label=Case6.169 nb_sol=0 ticks=61735 tps=100 nb_sec=617
case_no=181 label=Case6.169 nb_sol=0 ticks=151420 tps=100 nb_sec=1514
case_no=181 label=Case6.169 nb_sol=0 ticks=109368 tps=100 nb_sec=1093
case_no=181 label=Case6.169 nb_sol=0 ticks=78960 tps=100 nb_sec=789
case_no=181 label=Case6.169 nb_sol=0 ticks=119681 tps=100 nb_sec=1196
case_no=181 label=Case6.169 nb_sol=0 ticks=78950 tps=100 nb_sec=789
case_no=181 label=Case6.169 nb_sol=0 ticks=69763 tps=100 nb_sec=697
case_no=181 label=Case6.169 nb_sol=0 ticks=81640 tps=100 nb_sec=816
case_no=181 label=Case6.169 nb_sol=0 ticks=38803 tps=100 nb_sec=388
case_no=181 label=Case6.169 nb_sol=0 ticks=19249 tps=100 nb_sec=192
case_no=181 label=Case6.169 nb_sol=0 ticks=188100 tps=100 nb_sec=1881
case_no=181 label=Case6.169 nb_sol=0 ticks=103277 tps=100 nb_sec=1032
case_no=181 label=Case6.169 nb_sol=0 ticks=158226 tps=100 nb_sec=1582
case_no=181 label=Case6.169 nb_sol=0 ticks=170310 tps=100 nb_sec=1703
case_no=181 label=Case6.169 nb_sol=0 ticks=132722 tps=100 nb_sec=1327
case_no=181 label=Case6.169 nb_sol=0 ticks=131784 tps=100 nb_sec=1317
case_no=181 label=Case6.169 nb_sol=0 ticks=138350 tps=100 nb_sec=1383
case_no=181 label=Case6.169 nb_sol=0 ticks=103959 tps=100 nb_sec=1039
case_no=181 label=Case6.169 nb_sol=0 ticks=80654 tps=100 nb_sec=806
case_no=181 label=Case6.169 nb_sol=0 ticks=163495 tps=100 nb_sec=1634
case_no=181 label=Case6.169 nb_sol=0 ticks=92496 tps=100 nb_sec=924
case_no=181 label=Case6.169 nb_sol=0 ticks=65411 tps=100 nb_sec=654
case_no=181 label=Case6.169 nb_sol=0 ticks=137690 tps=100 nb_sec=1376
case_no=181 label=Case6.169 nb_sol=0 ticks=55851 tps=100 nb_sec=558
case_no=181 label=Case6.169 nb_sol=0 ticks=55299 tps=100 nb_sec=552
case_no=181 label=Case6.169 nb_sol=0 ticks=88232 tps=100 nb_sec=882
case_no=181 label=Case6.169 nb_sol=0 ticks=45911 tps=100 nb_sec=459
case_no=181 label=Case6.169 nb_sol=0 ticks=24472 tps=100 nb_sec=244
case_no=181 label=Case6.169 nb_sol=0 ticks=147400 tps=100 nb_sec=1474
case_no=181 label=Case6.169 nb_sol=0 ticks=125992 tps=100 nb_sec=1259
case_no=181 label=Case6.169 nb_sol=0 ticks=124758 tps=100 nb_sec=1247
case_no=181 label=Case6.169 nb_sol=0 ticks=133046 tps=100 nb_sec=1330
case_no=181 label=Case6.169 nb_sol=0 ticks=98947 tps=100 nb_sec=989
case_no=181 label=Case6.169 nb_sol=0 ticks=88739 tps=100 nb_sec=887
case_no=181 label=Case6.169 nb_sol=0 ticks=93346 tps=100 nb_sec=933
case_no=181 label=Case6.169 nb_sol=0 ticks=71019 tps=100 nb_sec=710
case_no=181 label=Case6.169 nb_sol=0 ticks=47739 tps=100 nb_sec=477
case_no=181 label=Case6.169 nb_sol=0 ticks=172257 tps=100 nb_sec=1722
case_no=181 label=Case6.169 nb_sol=0 ticks=144411 tps=100 nb_sec=1444
case_no=181 label=Case6.169 nb_sol=0 ticks=61230 tps=100 nb_sec=612
case_no=181 label=Case6.169 nb_sol=0 ticks=141548 tps=100 nb_sec=1415
case_no=181 label=Case6.169 nb_sol=0 ticks=121567 tps=100 nb_sec=1215
case_no=181 label=Case6.169 nb_sol=0 ticks=67456 tps=100 nb_sec=674
case_no=181 label=Case6.169 nb_sol=0 ticks=85590 tps=100 nb_sec=855
case_no=181 label=Case6.169 nb_sol=0 ticks=99848 tps=100 nb_sec=998
case_no=181 label=Case6.169 nb_sol=0 ticks=23970 tps=100 nb_sec=239
case_no=181 label=Case6.169 nb_sol=0 ticks=230720 tps=100 nb_sec=2307
case_no=181 label=Case6.169 nb_sol=0 ticks=142632 tps=100 nb_sec=1426
case_no=181 label=Case6.169 nb_sol=0 ticks=155893 tps=100 nb_sec=1558
case_no=181 label=Case6.169 nb_sol=0 ticks=161763 tps=100 nb_sec=1617
case_no=181 label=Case6.169 nb_sol=0 ticks=111149 tps=100 nb_sec=1111
case_no=181 label=Case6.169 nb_sol=0 ticks=121090 tps=100 nb_sec=1210
case_no=181 label=Case6.169 nb_sol=0 ticks=119554 tps=100 nb_sec=1195
case_no=181 label=Case6.169 nb_sol=0 ticks=70185 tps=100 nb_sec=701
case_no=181 label=Case6.169 nb_sol=0 ticks=63912 tps=100 nb_sec=639
case_no=181 label=Case6.169 nb_sol=0 ticks=148439 tps=100 nb_sec=1484
case_no=181 label=Case6.169 nb_sol=0 ticks=100671 tps=100 nb_sec=1006
Nb_sol=0
Nb_sec=986468
11-10:1:8 or 274 hours
missing cases:
none