argc=5
-M 512
file2=30_select_Case6.167_starter_15_
checking files mod 512 from 0 to 511
case_no=179 label=Case6.167 nb_sol=0 ticks=213533 tps=100 nb_sec=2135
case_no=179 label=Case6.167 nb_sol=0 ticks=310946 tps=100 nb_sec=3109
case_no=179 label=Case6.167 nb_sol=0 ticks=172840 tps=100 nb_sec=1728
case_no=179 label=Case6.167 nb_sol=0 ticks=171632 tps=100 nb_sec=1716
case_no=179 label=Case6.167 nb_sol=0 ticks=182076 tps=100 nb_sec=1820
case_no=179 label=Case6.167 nb_sol=0 ticks=107893 tps=100 nb_sec=1078
case_no=179 label=Case6.167 nb_sol=0 ticks=120158 tps=100 nb_sec=1201
case_no=179 label=Case6.167 nb_sol=0 ticks=398042 tps=100 nb_sec=3980
case_no=179 label=Case6.167 nb_sol=0 ticks=157600 tps=100 nb_sec=1576
case_no=179 label=Case6.167 nb_sol=0 ticks=414574 tps=100 nb_sec=4145
case_no=179 label=Case6.167 nb_sol=0 ticks=412789 tps=100 nb_sec=4127
case_no=179 label=Case6.167 nb_sol=0 ticks=274863 tps=100 nb_sec=2748
case_no=179 label=Case6.167 nb_sol=0 ticks=239052 tps=100 nb_sec=2390
case_no=179 label=Case6.167 nb_sol=0 ticks=304253 tps=100 nb_sec=3042
case_no=179 label=Case6.167 nb_sol=0 ticks=196727 tps=100 nb_sec=1967
case_no=179 label=Case6.167 nb_sol=0 ticks=139021 tps=100 nb_sec=1390
case_no=179 label=Case6.167 nb_sol=0 ticks=311829 tps=100 nb_sec=3118
case_no=179 label=Case6.167 nb_sol=0 ticks=162816 tps=100 nb_sec=1628
case_no=179 label=Case6.167 nb_sol=0 ticks=160984 tps=100 nb_sec=1609
case_no=179 label=Case6.167 nb_sol=0 ticks=280904 tps=100 nb_sec=2809
case_no=179 label=Case6.167 nb_sol=0 ticks=108266 tps=100 nb_sec=1082
case_no=179 label=Case6.167 nb_sol=0 ticks=189181 tps=100 nb_sec=1891
case_no=179 label=Case6.167 nb_sol=0 ticks=231273 tps=100 nb_sec=2312
case_no=179 label=Case6.167 nb_sol=0 ticks=135299 tps=100 nb_sec=1352
case_no=179 label=Case6.167 nb_sol=0 ticks=82325 tps=100 nb_sec=823
case_no=179 label=Case6.167 nb_sol=0 ticks=258562 tps=100 nb_sec=2585
case_no=179 label=Case6.167 nb_sol=0 ticks=213371 tps=100 nb_sec=2133
case_no=179 label=Case6.167 nb_sol=0 ticks=372864 tps=100 nb_sec=3728
case_no=179 label=Case6.167 nb_sol=0 ticks=398672 tps=100 nb_sec=3986
case_no=179 label=Case6.167 nb_sol=0 ticks=257727 tps=100 nb_sec=2577
case_no=179 label=Case6.167 nb_sol=0 ticks=454386 tps=100 nb_sec=4543
case_no=179 label=Case6.167 nb_sol=0 ticks=418364 tps=100 nb_sec=4183
case_no=179 label=Case6.167 nb_sol=0 ticks=276582 tps=100 nb_sec=2765
case_no=179 label=Case6.167 nb_sol=0 ticks=228337 tps=100 nb_sec=2283
case_no=179 label=Case6.167 nb_sol=0 ticks=387255 tps=100 nb_sec=3872
case_no=179 label=Case6.167 nb_sol=0 ticks=186757 tps=100 nb_sec=1867
case_no=179 label=Case6.167 nb_sol=0 ticks=105496 tps=100 nb_sec=1054
case_no=179 label=Case6.167 nb_sol=0 ticks=246697 tps=100 nb_sec=2466
case_no=179 label=Case6.167 nb_sol=0 ticks=208097 tps=100 nb_sec=2080
case_no=179 label=Case6.167 nb_sol=0 ticks=103951 tps=100 nb_sec=1039
case_no=179 label=Case6.167 nb_sol=0 ticks=137702 tps=100 nb_sec=1377
case_no=179 label=Case6.167 nb_sol=0 ticks=74711 tps=100 nb_sec=747
case_no=179 label=Case6.167 nb_sol=0 ticks=260293 tps=100 nb_sec=2602
case_no=179 label=Case6.167 nb_sol=0 ticks=603867 tps=100 nb_sec=6038
case_no=179 label=Case6.167 nb_sol=0 ticks=331402 tps=100 nb_sec=3314
case_no=179 label=Case6.167 nb_sol=0 ticks=385742 tps=100 nb_sec=3857
case_no=179 label=Case6.167 nb_sol=0 ticks=421756 tps=100 nb_sec=4217
case_no=179 label=Case6.167 nb_sol=0 ticks=239630 tps=100 nb_sec=2396
case_no=179 label=Case6.167 nb_sol=0 ticks=207666 tps=100 nb_sec=2076
case_no=179 label=Case6.167 nb_sol=0 ticks=391255 tps=100 nb_sec=3912
case_no=179 label=Case6.167 nb_sol=0 ticks=168713 tps=100 nb_sec=1687
case_no=179 label=Case6.167 nb_sol=0 ticks=220294 tps=100 nb_sec=2202
case_no=179 label=Case6.167 nb_sol=0 ticks=201396 tps=100 nb_sec=2013
case_no=179 label=Case6.167 nb_sol=0 ticks=115438 tps=100 nb_sec=1154
case_no=179 label=Case6.167 nb_sol=0 ticks=238583 tps=100 nb_sec=2385
case_no=179 label=Case6.167 nb_sol=0 ticks=337918 tps=100 nb_sec=3379
case_no=179 label=Case6.167 nb_sol=0 ticks=261390 tps=100 nb_sec=2613
case_no=179 label=Case6.167 nb_sol=0 ticks=222195 tps=100 nb_sec=2221
case_no=179 label=Case6.167 nb_sol=0 ticks=296566 tps=100 nb_sec=2965
case_no=179 label=Case6.167 nb_sol=0 ticks=136610 tps=100 nb_sec=1366
case_no=179 label=Case6.167 nb_sol=0 ticks=251765 tps=100 nb_sec=2517
case_no=179 label=Case6.167 nb_sol=0 ticks=551537 tps=100 nb_sec=5515
case_no=179 label=Case6.167 nb_sol=0 ticks=265144 tps=100 nb_sec=2651
case_no=179 label=Case6.167 nb_sol=0 ticks=323980 tps=100 nb_sec=3239
case_no=179 label=Case6.167 nb_sol=0 ticks=218818 tps=100 nb_sec=2188
case_no=179 label=Case6.167 nb_sol=0 ticks=166183 tps=100 nb_sec=1661
case_no=179 label=Case6.167 nb_sol=0 ticks=153941 tps=100 nb_sec=1539
case_no=179 label=Case6.167 nb_sol=0 ticks=269315 tps=100 nb_sec=2693
case_no=179 label=Case6.167 nb_sol=0 ticks=208617 tps=100 nb_sec=2086
case_no=179 label=Case6.167 nb_sol=0 ticks=242037 tps=100 nb_sec=2420
case_no=179 label=Case6.167 nb_sol=0 ticks=331031 tps=100 nb_sec=3310
case_no=179 label=Case6.167 nb_sol=0 ticks=283702 tps=100 nb_sec=2837
case_no=179 label=Case6.167 nb_sol=0 ticks=294132 tps=100 nb_sec=2941
case_no=179 label=Case6.167 nb_sol=0 ticks=231227 tps=100 nb_sec=2312
case_no=179 label=Case6.167 nb_sol=0 ticks=219026 tps=100 nb_sec=2190
case_no=179 label=Case6.167 nb_sol=0 ticks=155231 tps=100 nb_sec=1552
case_no=179 label=Case6.167 nb_sol=0 ticks=167391 tps=100 nb_sec=1673
case_no=179 label=Case6.167 nb_sol=0 ticks=185433 tps=100 nb_sec=1854
case_no=179 label=Case6.167 nb_sol=0 ticks=247438 tps=100 nb_sec=2474
case_no=179 label=Case6.167 nb_sol=0 ticks=411118 tps=100 nb_sec=4111
case_no=179 label=Case6.167 nb_sol=0 ticks=347473 tps=100 nb_sec=3474
case_no=179 label=Case6.167 nb_sol=0 ticks=405248 tps=100 nb_sec=4052
case_no=179 label=Case6.167 nb_sol=0 ticks=459078 tps=100 nb_sec=4590
case_no=179 label=Case6.167 nb_sol=0 ticks=349808 tps=100 nb_sec=3498
case_no=179 label=Case6.167 nb_sol=0 ticks=251549 tps=100 nb_sec=2515
case_no=179 label=Case6.167 nb_sol=0 ticks=300029 tps=100 nb_sec=3000
case_no=179 label=Case6.167 nb_sol=0 ticks=222241 tps=100 nb_sec=2222
case_no=179 label=Case6.167 nb_sol=0 ticks=181383 tps=100 nb_sec=1813
case_no=179 label=Case6.167 nb_sol=0 ticks=216869 tps=100 nb_sec=2168
case_no=179 label=Case6.167 nb_sol=0 ticks=163765 tps=100 nb_sec=1637
case_no=179 label=Case6.167 nb_sol=0 ticks=150095 tps=100 nb_sec=1500
case_no=179 label=Case6.167 nb_sol=0 ticks=297908 tps=100 nb_sec=2979
case_no=179 label=Case6.167 nb_sol=0 ticks=290672 tps=100 nb_sec=2906
case_no=179 label=Case6.167 nb_sol=0 ticks=206913 tps=100 nb_sec=2069
case_no=179 label=Case6.167 nb_sol=0 ticks=199273 tps=100 nb_sec=1992
case_no=179 label=Case6.167 nb_sol=0 ticks=202366 tps=100 nb_sec=2023
case_no=179 label=Case6.167 nb_sol=0 ticks=262977 tps=100 nb_sec=2629
case_no=179 label=Case6.167 nb_sol=0 ticks=477478 tps=100 nb_sec=4774
case_no=179 label=Case6.167 nb_sol=0 ticks=357194 tps=100 nb_sec=3571
case_no=179 label=Case6.167 nb_sol=0 ticks=265037 tps=100 nb_sec=2650
case_no=179 label=Case6.167 nb_sol=0 ticks=309992 tps=100 nb_sec=3099
case_no=179 label=Case6.167 nb_sol=0 ticks=220521 tps=100 nb_sec=2205
case_no=179 label=Case6.167 nb_sol=0 ticks=180672 tps=100 nb_sec=1806
case_no=179 label=Case6.167 nb_sol=0 ticks=345443 tps=100 nb_sec=3454
case_no=179 label=Case6.167 nb_sol=0 ticks=208155 tps=100 nb_sec=2081
case_no=179 label=Case6.167 nb_sol=0 ticks=396433 tps=100 nb_sec=3964
case_no=179 label=Case6.167 nb_sol=0 ticks=338871 tps=100 nb_sec=3388
case_no=179 label=Case6.167 nb_sol=0 ticks=230916 tps=100 nb_sec=2309
case_no=179 label=Case6.167 nb_sol=0 ticks=242075 tps=100 nb_sec=2420
case_no=179 label=Case6.167 nb_sol=0 ticks=374747 tps=100 nb_sec=3747
case_no=179 label=Case6.167 nb_sol=0 ticks=214762 tps=100 nb_sec=2147
case_no=179 label=Case6.167 nb_sol=0 ticks=183213 tps=100 nb_sec=1832
case_no=179 label=Case6.167 nb_sol=0 ticks=241830 tps=100 nb_sec=2418
case_no=179 label=Case6.167 nb_sol=0 ticks=126979 tps=100 nb_sec=1269
case_no=179 label=Case6.167 nb_sol=0 ticks=258700 tps=100 nb_sec=2587
case_no=179 label=Case6.167 nb_sol=0 ticks=320565 tps=100 nb_sec=3205
case_no=179 label=Case6.167 nb_sol=0 ticks=349257 tps=100 nb_sec=3492
case_no=179 label=Case6.167 nb_sol=0 ticks=239186 tps=100 nb_sec=2391
case_no=179 label=Case6.167 nb_sol=0 ticks=277004 tps=100 nb_sec=2770
case_no=179 label=Case6.167 nb_sol=0 ticks=208515 tps=100 nb_sec=2085
case_no=179 label=Case6.167 nb_sol=0 ticks=131045 tps=100 nb_sec=1310
case_no=179 label=Case6.167 nb_sol=0 ticks=289086 tps=100 nb_sec=2890
case_no=179 label=Case6.167 nb_sol=0 ticks=192835 tps=100 nb_sec=1928
case_no=179 label=Case6.167 nb_sol=0 ticks=186682 tps=100 nb_sec=1866
case_no=179 label=Case6.167 nb_sol=0 ticks=238518 tps=100 nb_sec=2385
case_no=179 label=Case6.167 nb_sol=0 ticks=156018 tps=100 nb_sec=1560
case_no=179 label=Case6.167 nb_sol=0 ticks=113472 tps=100 nb_sec=1134
case_no=179 label=Case6.167 nb_sol=0 ticks=297829 tps=100 nb_sec=2978
case_no=179 label=Case6.167 nb_sol=0 ticks=155736 tps=100 nb_sec=1557
case_no=179 label=Case6.167 nb_sol=0 ticks=336810 tps=100 nb_sec=3368
case_no=179 label=Case6.167 nb_sol=0 ticks=311463 tps=100 nb_sec=3114
case_no=179 label=Case6.167 nb_sol=0 ticks=251409 tps=100 nb_sec=2514
case_no=179 label=Case6.167 nb_sol=0 ticks=168258 tps=100 nb_sec=1682
case_no=179 label=Case6.167 nb_sol=0 ticks=271733 tps=100 nb_sec=2717
case_no=179 label=Case6.167 nb_sol=0 ticks=193279 tps=100 nb_sec=1932
case_no=179 label=Case6.167 nb_sol=0 ticks=187408 tps=100 nb_sec=1874
case_no=179 label=Case6.167 nb_sol=0 ticks=228749 tps=100 nb_sec=2287
case_no=179 label=Case6.167 nb_sol=0 ticks=129895 tps=100 nb_sec=1298
case_no=179 label=Case6.167 nb_sol=0 ticks=182481 tps=100 nb_sec=1824
case_no=179 label=Case6.167 nb_sol=0 ticks=412997 tps=100 nb_sec=4129
case_no=179 label=Case6.167 nb_sol=0 ticks=420326 tps=100 nb_sec=4203
case_no=179 label=Case6.167 nb_sol=0 ticks=448437 tps=100 nb_sec=4484
case_no=179 label=Case6.167 nb_sol=0 ticks=431732 tps=100 nb_sec=4317
case_no=179 label=Case6.167 nb_sol=0 ticks=323110 tps=100 nb_sec=3231
case_no=179 label=Case6.167 nb_sol=0 ticks=217249 tps=100 nb_sec=2172
case_no=179 label=Case6.167 nb_sol=0 ticks=329325 tps=100 nb_sec=3293
case_no=179 label=Case6.167 nb_sol=0 ticks=460341 tps=100 nb_sec=4603
case_no=179 label=Case6.167 nb_sol=0 ticks=301898 tps=100 nb_sec=3018
case_no=179 label=Case6.167 nb_sol=0 ticks=147175 tps=100 nb_sec=1471
case_no=179 label=Case6.167 nb_sol=0 ticks=416794 tps=100 nb_sec=4167
case_no=179 label=Case6.167 nb_sol=0 ticks=320913 tps=100 nb_sec=3209
case_no=179 label=Case6.167 nb_sol=0 ticks=393311 tps=100 nb_sec=3933
case_no=179 label=Case6.167 nb_sol=0 ticks=231829 tps=100 nb_sec=2318
case_no=179 label=Case6.167 nb_sol=0 ticks=254702 tps=100 nb_sec=2547
case_no=179 label=Case6.167 nb_sol=0 ticks=344837 tps=100 nb_sec=3448
case_no=179 label=Case6.167 nb_sol=0 ticks=86787 tps=100 nb_sec=867
case_no=179 label=Case6.167 nb_sol=0 ticks=302489 tps=100 nb_sec=3024
case_no=179 label=Case6.167 nb_sol=0 ticks=316069 tps=100 nb_sec=3160
case_no=179 label=Case6.167 nb_sol=0 ticks=172698 tps=100 nb_sec=1726
case_no=179 label=Case6.167 nb_sol=0 ticks=331255 tps=100 nb_sec=3312
case_no=179 label=Case6.167 nb_sol=0 ticks=326948 tps=100 nb_sec=3269
case_no=179 label=Case6.167 nb_sol=0 ticks=163805 tps=100 nb_sec=1638
case_no=179 label=Case6.167 nb_sol=0 ticks=245456 tps=100 nb_sec=2454
case_no=179 label=Case6.167 nb_sol=0 ticks=195001 tps=100 nb_sec=1950
case_no=179 label=Case6.167 nb_sol=0 ticks=196674 tps=100 nb_sec=1966
case_no=179 label=Case6.167 nb_sol=0 ticks=285874 tps=100 nb_sec=2858
case_no=179 label=Case6.167 nb_sol=0 ticks=234800 tps=100 nb_sec=2348
case_no=179 label=Case6.167 nb_sol=0 ticks=186174 tps=100 nb_sec=1861
case_no=179 label=Case6.167 nb_sol=0 ticks=179496 tps=100 nb_sec=1794
case_no=179 label=Case6.167 nb_sol=0 ticks=139384 tps=100 nb_sec=1393
case_no=179 label=Case6.167 nb_sol=0 ticks=148372 tps=100 nb_sec=1483
case_no=179 label=Case6.167 nb_sol=0 ticks=325794 tps=100 nb_sec=3257
case_no=179 label=Case6.167 nb_sol=0 ticks=258280 tps=100 nb_sec=2582
case_no=179 label=Case6.167 nb_sol=0 ticks=319174 tps=100 nb_sec=3191
case_no=179 label=Case6.167 nb_sol=0 ticks=390685 tps=100 nb_sec=3906
case_no=179 label=Case6.167 nb_sol=0 ticks=255801 tps=100 nb_sec=2558
case_no=179 label=Case6.167 nb_sol=0 ticks=260991 tps=100 nb_sec=2609
case_no=179 label=Case6.167 nb_sol=0 ticks=102538 tps=100 nb_sec=1025
case_no=179 label=Case6.167 nb_sol=0 ticks=181298 tps=100 nb_sec=1812
case_no=179 label=Case6.167 nb_sol=0 ticks=159005 tps=100 nb_sec=1590
case_no=179 label=Case6.167 nb_sol=0 ticks=261761 tps=100 nb_sec=2617
case_no=179 label=Case6.167 nb_sol=0 ticks=134491 tps=100 nb_sec=1344
case_no=179 label=Case6.167 nb_sol=0 ticks=240132 tps=100 nb_sec=2401
case_no=179 label=Case6.167 nb_sol=0 ticks=277352 tps=100 nb_sec=2773
case_no=179 label=Case6.167 nb_sol=0 ticks=210457 tps=100 nb_sec=2104
case_no=179 label=Case6.167 nb_sol=0 ticks=162503 tps=100 nb_sec=1625
case_no=179 label=Case6.167 nb_sol=0 ticks=437563 tps=100 nb_sec=4375
case_no=179 label=Case6.167 nb_sol=0 ticks=290113 tps=100 nb_sec=2901
case_no=179 label=Case6.167 nb_sol=0 ticks=313927 tps=100 nb_sec=3139
case_no=179 label=Case6.167 nb_sol=0 ticks=381324 tps=100 nb_sec=3813
case_no=179 label=Case6.167 nb_sol=0 ticks=223224 tps=100 nb_sec=2232
case_no=179 label=Case6.167 nb_sol=0 ticks=307236 tps=100 nb_sec=3072
case_no=179 label=Case6.167 nb_sol=0 ticks=335596 tps=100 nb_sec=3355
case_no=179 label=Case6.167 nb_sol=0 ticks=161024 tps=100 nb_sec=1610
case_no=179 label=Case6.167 nb_sol=0 ticks=194031 tps=100 nb_sec=1940
case_no=179 label=Case6.167 nb_sol=0 ticks=345329 tps=100 nb_sec=3453
case_no=179 label=Case6.167 nb_sol=0 ticks=247203 tps=100 nb_sec=2472
case_no=179 label=Case6.167 nb_sol=0 ticks=190424 tps=100 nb_sec=1904
case_no=179 label=Case6.167 nb_sol=0 ticks=319500 tps=100 nb_sec=3195
case_no=179 label=Case6.167 nb_sol=0 ticks=148808 tps=100 nb_sec=1488
case_no=179 label=Case6.167 nb_sol=0 ticks=414371 tps=100 nb_sec=4143
case_no=179 label=Case6.167 nb_sol=0 ticks=299035 tps=100 nb_sec=2990
case_no=179 label=Case6.167 nb_sol=0 ticks=319435 tps=100 nb_sec=3194
case_no=179 label=Case6.167 nb_sol=0 ticks=227622 tps=100 nb_sec=2276
case_no=179 label=Case6.167 nb_sol=0 ticks=260751 tps=100 nb_sec=2607
case_no=179 label=Case6.167 nb_sol=0 ticks=233147 tps=100 nb_sec=2331
case_no=179 label=Case6.167 nb_sol=0 ticks=254030 tps=100 nb_sec=2540
case_no=179 label=Case6.167 nb_sol=0 ticks=312827 tps=100 nb_sec=3128
case_no=179 label=Case6.167 nb_sol=0 ticks=241961 tps=100 nb_sec=2419
case_no=179 label=Case6.167 nb_sol=0 ticks=352279 tps=100 nb_sec=3522
case_no=179 label=Case6.167 nb_sol=0 ticks=203543 tps=100 nb_sec=2035
case_no=179 label=Case6.167 nb_sol=0 ticks=102266 tps=100 nb_sec=1022
case_no=179 label=Case6.167 nb_sol=0 ticks=184692 tps=100 nb_sec=1846
case_no=179 label=Case6.167 nb_sol=0 ticks=415579 tps=100 nb_sec=4155
case_no=179 label=Case6.167 nb_sol=0 ticks=412866 tps=100 nb_sec=4128
case_no=179 label=Case6.167 nb_sol=0 ticks=334074 tps=100 nb_sec=3340
case_no=179 label=Case6.167 nb_sol=0 ticks=362617 tps=100 nb_sec=3626
case_no=179 label=Case6.167 nb_sol=0 ticks=280241 tps=100 nb_sec=2802
case_no=179 label=Case6.167 nb_sol=0 ticks=286399 tps=100 nb_sec=2863
case_no=179 label=Case6.167 nb_sol=0 ticks=261486 tps=100 nb_sec=2614
case_no=179 label=Case6.167 nb_sol=0 ticks=266853 tps=100 nb_sec=2668
case_no=179 label=Case6.167 nb_sol=0 ticks=195598 tps=100 nb_sec=1955
case_no=179 label=Case6.167 nb_sol=0 ticks=244506 tps=100 nb_sec=2445
case_no=179 label=Case6.167 nb_sol=0 ticks=308222 tps=100 nb_sec=3082
case_no=179 label=Case6.167 nb_sol=0 ticks=160417 tps=100 nb_sec=1604
case_no=179 label=Case6.167 nb_sol=0 ticks=357578 tps=100 nb_sec=3575
case_no=179 label=Case6.167 nb_sol=0 ticks=260440 tps=100 nb_sec=2604
case_no=179 label=Case6.167 nb_sol=0 ticks=189816 tps=100 nb_sec=1898
case_no=179 label=Case6.167 nb_sol=0 ticks=347135 tps=100 nb_sec=3471
case_no=179 label=Case6.167 nb_sol=0 ticks=273355 tps=100 nb_sec=2733
case_no=179 label=Case6.167 nb_sol=0 ticks=170979 tps=100 nb_sec=1709
case_no=179 label=Case6.167 nb_sol=0 ticks=351612 tps=100 nb_sec=3516
case_no=179 label=Case6.167 nb_sol=0 ticks=322697 tps=100 nb_sec=3226
case_no=179 label=Case6.167 nb_sol=0 ticks=193390 tps=100 nb_sec=1933
case_no=179 label=Case6.167 nb_sol=0 ticks=410112 tps=100 nb_sec=4101
case_no=179 label=Case6.167 nb_sol=0 ticks=260319 tps=100 nb_sec=2603
case_no=179 label=Case6.167 nb_sol=0 ticks=164712 tps=100 nb_sec=1647
case_no=179 label=Case6.167 nb_sol=0 ticks=287803 tps=100 nb_sec=2878
case_no=179 label=Case6.167 nb_sol=0 ticks=239200 tps=100 nb_sec=2392
case_no=179 label=Case6.167 nb_sol=0 ticks=159899 tps=100 nb_sec=1598
case_no=179 label=Case6.167 nb_sol=0 ticks=453378 tps=100 nb_sec=4533
case_no=179 label=Case6.167 nb_sol=0 ticks=374576 tps=100 nb_sec=3745
case_no=179 label=Case6.167 nb_sol=0 ticks=252006 tps=100 nb_sec=2520
case_no=179 label=Case6.167 nb_sol=0 ticks=344284 tps=100 nb_sec=3442
case_no=179 label=Case6.167 nb_sol=0 ticks=232474 tps=100 nb_sec=2324
case_no=179 label=Case6.167 nb_sol=0 ticks=217337 tps=100 nb_sec=2173
case_no=179 label=Case6.167 nb_sol=0 ticks=237253 tps=100 nb_sec=2372
case_no=179 label=Case6.167 nb_sol=0 ticks=245546 tps=100 nb_sec=2455
case_no=179 label=Case6.167 nb_sol=0 ticks=197399 tps=100 nb_sec=1973
case_no=179 label=Case6.167 nb_sol=0 ticks=244474 tps=100 nb_sec=2444
case_no=179 label=Case6.167 nb_sol=0 ticks=172173 tps=100 nb_sec=1721
case_no=179 label=Case6.167 nb_sol=0 ticks=186342 tps=100 nb_sec=1863
case_no=179 label=Case6.167 nb_sol=0 ticks=215474 tps=100 nb_sec=2154
case_no=179 label=Case6.167 nb_sol=0 ticks=339515 tps=100 nb_sec=3395
case_no=179 label=Case6.167 nb_sol=0 ticks=232472 tps=100 nb_sec=2324
case_no=179 label=Case6.167 nb_sol=0 ticks=200458 tps=100 nb_sec=2004
case_no=179 label=Case6.167 nb_sol=0 ticks=227952 tps=100 nb_sec=2279
case_no=179 label=Case6.167 nb_sol=0 ticks=143557 tps=100 nb_sec=1435
case_no=179 label=Case6.167 nb_sol=0 ticks=285447 tps=100 nb_sec=2854
case_no=179 label=Case6.167 nb_sol=0 ticks=290769 tps=100 nb_sec=2907
case_no=179 label=Case6.167 nb_sol=0 ticks=210173 tps=100 nb_sec=2101
case_no=179 label=Case6.167 nb_sol=0 ticks=249836 tps=100 nb_sec=2498
case_no=179 label=Case6.167 nb_sol=0 ticks=239375 tps=100 nb_sec=2393
case_no=179 label=Case6.167 nb_sol=0 ticks=136244 tps=100 nb_sec=1362
case_no=179 label=Case6.167 nb_sol=0 ticks=82548 tps=100 nb_sec=825
case_no=179 label=Case6.167 nb_sol=0 ticks=235304 tps=100 nb_sec=2353
case_no=179 label=Case6.167 nb_sol=0 ticks=154157 tps=100 nb_sec=1541
case_no=179 label=Case6.167 nb_sol=0 ticks=334786 tps=100 nb_sec=3347
case_no=179 label=Case6.167 nb_sol=0 ticks=257053 tps=100 nb_sec=2570
case_no=179 label=Case6.167 nb_sol=0 ticks=265525 tps=100 nb_sec=2655
case_no=179 label=Case6.167 nb_sol=0 ticks=311418 tps=100 nb_sec=3114
case_no=179 label=Case6.167 nb_sol=0 ticks=339398 tps=100 nb_sec=3393
case_no=179 label=Case6.167 nb_sol=0 ticks=189167 tps=100 nb_sec=1891
case_no=179 label=Case6.167 nb_sol=0 ticks=176115 tps=100 nb_sec=1761
case_no=179 label=Case6.167 nb_sol=0 ticks=188263 tps=100 nb_sec=1882
case_no=179 label=Case6.167 nb_sol=0 ticks=99361 tps=100 nb_sec=993
case_no=179 label=Case6.167 nb_sol=0 ticks=137898 tps=100 nb_sec=1378
case_no=179 label=Case6.167 nb_sol=0 ticks=164945 tps=100 nb_sec=1649
case_no=179 label=Case6.167 nb_sol=0 ticks=60600 tps=100 nb_sec=606
case_no=179 label=Case6.167 nb_sol=0 ticks=121069 tps=100 nb_sec=1210
case_no=179 label=Case6.167 nb_sol=0 ticks=158492 tps=100 nb_sec=1584
case_no=179 label=Case6.167 nb_sol=0 ticks=63967 tps=100 nb_sec=639
case_no=179 label=Case6.167 nb_sol=0 ticks=67546 tps=100 nb_sec=675
case_no=179 label=Case6.167 nb_sol=0 ticks=59097 tps=100 nb_sec=590
case_no=179 label=Case6.167 nb_sol=0 ticks=22270 tps=100 nb_sec=222
case_no=179 label=Case6.167 nb_sol=0 ticks=205558 tps=100 nb_sec=2055
case_no=179 label=Case6.167 nb_sol=0 ticks=155818 tps=100 nb_sec=1558
case_no=179 label=Case6.167 nb_sol=0 ticks=134394 tps=100 nb_sec=1343
case_no=179 label=Case6.167 nb_sol=0 ticks=179035 tps=100 nb_sec=1790
case_no=179 label=Case6.167 nb_sol=0 ticks=158155 tps=100 nb_sec=1581
case_no=179 label=Case6.167 nb_sol=0 ticks=157644 tps=100 nb_sec=1576
case_no=179 label=Case6.167 nb_sol=0 ticks=145593 tps=100 nb_sec=1455
case_no=179 label=Case6.167 nb_sol=0 ticks=87896 tps=100 nb_sec=878
case_no=179 label=Case6.167 nb_sol=0 ticks=49439 tps=100 nb_sec=494
case_no=179 label=Case6.167 nb_sol=0 ticks=142731 tps=100 nb_sec=1427
case_no=179 label=Case6.167 nb_sol=0 ticks=141101 tps=100 nb_sec=1411
case_no=179 label=Case6.167 nb_sol=0 ticks=78559 tps=100 nb_sec=785
case_no=179 label=Case6.167 nb_sol=0 ticks=128983 tps=100 nb_sec=1289
case_no=179 label=Case6.167 nb_sol=0 ticks=119124 tps=100 nb_sec=1191
case_no=179 label=Case6.167 nb_sol=0 ticks=68519 tps=100 nb_sec=685
case_no=179 label=Case6.167 nb_sol=0 ticks=85338 tps=100 nb_sec=853
case_no=179 label=Case6.167 nb_sol=0 ticks=83226 tps=100 nb_sec=832
case_no=179 label=Case6.167 nb_sol=0 ticks=28059 tps=100 nb_sec=280
case_no=179 label=Case6.167 nb_sol=0 ticks=184372 tps=100 nb_sec=1843
case_no=179 label=Case6.167 nb_sol=0 ticks=196891 tps=100 nb_sec=1968
case_no=179 label=Case6.167 nb_sol=0 ticks=139688 tps=100 nb_sec=1396
case_no=179 label=Case6.167 nb_sol=0 ticks=249286 tps=100 nb_sec=2492
case_no=179 label=Case6.167 nb_sol=0 ticks=201023 tps=100 nb_sec=2010
case_no=179 label=Case6.167 nb_sol=0 ticks=143423 tps=100 nb_sec=1434
case_no=179 label=Case6.167 nb_sol=0 ticks=133843 tps=100 nb_sec=1338
case_no=179 label=Case6.167 nb_sol=0 ticks=172169 tps=100 nb_sec=1721
case_no=179 label=Case6.167 nb_sol=0 ticks=101009 tps=100 nb_sec=1010
case_no=179 label=Case6.167 nb_sol=0 ticks=119885 tps=100 nb_sec=1198
case_no=179 label=Case6.167 nb_sol=0 ticks=173673 tps=100 nb_sec=1736
case_no=179 label=Case6.167 nb_sol=0 ticks=58437 tps=100 nb_sec=584
case_no=179 label=Case6.167 nb_sol=0 ticks=122299 tps=100 nb_sec=1222
case_no=179 label=Case6.167 nb_sol=0 ticks=104552 tps=100 nb_sec=1045
case_no=179 label=Case6.167 nb_sol=0 ticks=69912 tps=100 nb_sec=699
case_no=179 label=Case6.167 nb_sol=0 ticks=61981 tps=100 nb_sec=619
case_no=179 label=Case6.167 nb_sol=0 ticks=65258 tps=100 nb_sec=652
case_no=179 label=Case6.167 nb_sol=0 ticks=21723 tps=100 nb_sec=217
case_no=179 label=Case6.167 nb_sol=0 ticks=169897 tps=100 nb_sec=1698
case_no=179 label=Case6.167 nb_sol=0 ticks=151105 tps=100 nb_sec=1511
case_no=179 label=Case6.167 nb_sol=0 ticks=129824 tps=100 nb_sec=1298
case_no=179 label=Case6.167 nb_sol=0 ticks=164941 tps=100 nb_sec=1649
case_no=179 label=Case6.167 nb_sol=0 ticks=169135 tps=100 nb_sec=1691
case_no=179 label=Case6.167 nb_sol=0 ticks=96741 tps=100 nb_sec=967
case_no=179 label=Case6.167 nb_sol=0 ticks=105143 tps=100 nb_sec=1051
case_no=179 label=Case6.167 nb_sol=0 ticks=85508 tps=100 nb_sec=855
case_no=179 label=Case6.167 nb_sol=0 ticks=59283 tps=100 nb_sec=592
case_no=179 label=Case6.167 nb_sol=0 ticks=141032 tps=100 nb_sec=1410
case_no=179 label=Case6.167 nb_sol=0 ticks=94574 tps=100 nb_sec=945
case_no=179 label=Case6.167 nb_sol=0 ticks=58028 tps=100 nb_sec=580
case_no=179 label=Case6.167 nb_sol=0 ticks=108004 tps=100 nb_sec=1080
case_no=179 label=Case6.167 nb_sol=0 ticks=43681 tps=100 nb_sec=436
case_no=179 label=Case6.167 nb_sol=0 ticks=45303 tps=100 nb_sec=453
case_no=179 label=Case6.167 nb_sol=0 ticks=49819 tps=100 nb_sec=498
case_no=179 label=Case6.167 nb_sol=0 ticks=41411 tps=100 nb_sec=414
case_no=179 label=Case6.167 nb_sol=0 ticks=16560 tps=100 nb_sec=165
case_no=179 label=Case6.167 nb_sol=0 ticks=178847 tps=100 nb_sec=1788
case_no=179 label=Case6.167 nb_sol=0 ticks=177281 tps=100 nb_sec=1772
case_no=179 label=Case6.167 nb_sol=0 ticks=133973 tps=100 nb_sec=1339
case_no=179 label=Case6.167 nb_sol=0 ticks=210629 tps=100 nb_sec=2106
case_no=179 label=Case6.167 nb_sol=0 ticks=119463 tps=100 nb_sec=1194
case_no=179 label=Case6.167 nb_sol=0 ticks=162396 tps=100 nb_sec=1623
case_no=179 label=Case6.167 nb_sol=0 ticks=157349 tps=100 nb_sec=1573
case_no=179 label=Case6.167 nb_sol=0 ticks=142038 tps=100 nb_sec=1420
case_no=179 label=Case6.167 nb_sol=0 ticks=61999 tps=100 nb_sec=619
case_no=179 label=Case6.167 nb_sol=0 ticks=154189 tps=100 nb_sec=1541
case_no=179 label=Case6.167 nb_sol=0 ticks=84046 tps=100 nb_sec=840
case_no=179 label=Case6.167 nb_sol=0 ticks=81112 tps=100 nb_sec=811
case_no=179 label=Case6.167 nb_sol=0 ticks=127309 tps=100 nb_sec=1273
case_no=179 label=Case6.167 nb_sol=0 ticks=33688 tps=100 nb_sec=336
case_no=179 label=Case6.167 nb_sol=0 ticks=56342 tps=100 nb_sec=563
case_no=179 label=Case6.167 nb_sol=0 ticks=64762 tps=100 nb_sec=647
case_no=179 label=Case6.167 nb_sol=0 ticks=33053 tps=100 nb_sec=330
case_no=179 label=Case6.167 nb_sol=0 ticks=14210 tps=100 nb_sec=142
case_no=179 label=Case6.167 nb_sol=0 ticks=245710 tps=100 nb_sec=2457
case_no=179 label=Case6.167 nb_sol=0 ticks=274965 tps=100 nb_sec=2749
case_no=179 label=Case6.167 nb_sol=0 ticks=156006 tps=100 nb_sec=1560
case_no=179 label=Case6.167 nb_sol=0 ticks=178552 tps=100 nb_sec=1785
case_no=179 label=Case6.167 nb_sol=0 ticks=122962 tps=100 nb_sec=1229
case_no=179 label=Case6.167 nb_sol=0 ticks=97083 tps=100 nb_sec=970
case_no=179 label=Case6.167 nb_sol=0 ticks=138964 tps=100 nb_sec=1389
case_no=179 label=Case6.167 nb_sol=0 ticks=131847 tps=100 nb_sec=1318
case_no=179 label=Case6.167 nb_sol=0 ticks=72353 tps=100 nb_sec=723
case_no=179 label=Case6.167 nb_sol=0 ticks=163246 tps=100 nb_sec=1632
case_no=179 label=Case6.167 nb_sol=0 ticks=161227 tps=100 nb_sec=1612
case_no=179 label=Case6.167 nb_sol=0 ticks=73882 tps=100 nb_sec=738
case_no=179 label=Case6.167 nb_sol=0 ticks=116067 tps=100 nb_sec=1160
case_no=179 label=Case6.167 nb_sol=0 ticks=87609 tps=100 nb_sec=876
case_no=179 label=Case6.167 nb_sol=0 ticks=49911 tps=100 nb_sec=499
case_no=179 label=Case6.167 nb_sol=0 ticks=75550 tps=100 nb_sec=755
case_no=179 label=Case6.167 nb_sol=0 ticks=70061 tps=100 nb_sec=700
case_no=179 label=Case6.167 nb_sol=0 ticks=19199 tps=100 nb_sec=191
case_no=179 label=Case6.167 nb_sol=0 ticks=207787 tps=100 nb_sec=2077
case_no=179 label=Case6.167 nb_sol=0 ticks=198567 tps=100 nb_sec=1985
case_no=179 label=Case6.167 nb_sol=0 ticks=135968 tps=100 nb_sec=1359
case_no=179 label=Case6.167 nb_sol=0 ticks=103890 tps=100 nb_sec=1038
case_no=179 label=Case6.167 nb_sol=0 ticks=186361 tps=100 nb_sec=1863
case_no=179 label=Case6.167 nb_sol=0 ticks=103047 tps=100 nb_sec=1030
case_no=179 label=Case6.167 nb_sol=0 ticks=177052 tps=100 nb_sec=1770
case_no=179 label=Case6.167 nb_sol=0 ticks=162264 tps=100 nb_sec=1622
case_no=179 label=Case6.167 nb_sol=0 ticks=76540 tps=100 nb_sec=765
case_no=179 label=Case6.167 nb_sol=0 ticks=129768 tps=100 nb_sec=1297
case_no=179 label=Case6.167 nb_sol=0 ticks=140739 tps=100 nb_sec=1407
case_no=179 label=Case6.167 nb_sol=0 ticks=49144 tps=100 nb_sec=491
case_no=179 label=Case6.167 nb_sol=0 ticks=70903 tps=100 nb_sec=709
case_no=179 label=Case6.167 nb_sol=0 ticks=75366 tps=100 nb_sec=753
case_no=179 label=Case6.167 nb_sol=0 ticks=34117 tps=100 nb_sec=341
case_no=179 label=Case6.167 nb_sol=0 ticks=76649 tps=100 nb_sec=766
case_no=179 label=Case6.167 nb_sol=0 ticks=67061 tps=100 nb_sec=670
case_no=179 label=Case6.167 nb_sol=0 ticks=20584 tps=100 nb_sec=205
case_no=179 label=Case6.167 nb_sol=0 ticks=120026 tps=100 nb_sec=1200
case_no=179 label=Case6.167 nb_sol=0 ticks=113202 tps=100 nb_sec=1132
case_no=179 label=Case6.167 nb_sol=0 ticks=97556 tps=100 nb_sec=975
case_no=179 label=Case6.167 nb_sol=0 ticks=127573 tps=100 nb_sec=1275
case_no=179 label=Case6.167 nb_sol=0 ticks=115749 tps=100 nb_sec=1157
case_no=179 label=Case6.167 nb_sol=0 ticks=63209 tps=100 nb_sec=632
case_no=179 label=Case6.167 nb_sol=0 ticks=71266 tps=100 nb_sec=712
case_no=179 label=Case6.167 nb_sol=0 ticks=75372 tps=100 nb_sec=753
case_no=179 label=Case6.167 nb_sol=0 ticks=52599 tps=100 nb_sec=525
case_no=179 label=Case6.167 nb_sol=0 ticks=125902 tps=100 nb_sec=1259
case_no=179 label=Case6.167 nb_sol=0 ticks=132960 tps=100 nb_sec=1329
case_no=179 label=Case6.167 nb_sol=0 ticks=63632 tps=100 nb_sec=636
case_no=179 label=Case6.167 nb_sol=0 ticks=143885 tps=100 nb_sec=1438
case_no=179 label=Case6.167 nb_sol=0 ticks=110790 tps=100 nb_sec=1107
case_no=179 label=Case6.167 nb_sol=0 ticks=52105 tps=100 nb_sec=521
case_no=179 label=Case6.167 nb_sol=0 ticks=64955 tps=100 nb_sec=649
case_no=179 label=Case6.167 nb_sol=0 ticks=67791 tps=100 nb_sec=677
case_no=179 label=Case6.167 nb_sol=0 ticks=18724 tps=100 nb_sec=187
case_no=179 label=Case6.167 nb_sol=0 ticks=125448 tps=100 nb_sec=1254
case_no=179 label=Case6.167 nb_sol=0 ticks=139723 tps=100 nb_sec=1397
case_no=179 label=Case6.167 nb_sol=0 ticks=125518 tps=100 nb_sec=1255
case_no=179 label=Case6.167 nb_sol=0 ticks=175549 tps=100 nb_sec=1755
case_no=179 label=Case6.167 nb_sol=0 ticks=120973 tps=100 nb_sec=1209
case_no=179 label=Case6.167 nb_sol=0 ticks=73850 tps=100 nb_sec=738
case_no=179 label=Case6.167 nb_sol=0 ticks=138916 tps=100 nb_sec=1389
case_no=179 label=Case6.167 nb_sol=0 ticks=71737 tps=100 nb_sec=717
case_no=179 label=Case6.167 nb_sol=0 ticks=56124 tps=100 nb_sec=561
case_no=179 label=Case6.167 nb_sol=0 ticks=116517 tps=100 nb_sec=1165
case_no=179 label=Case6.167 nb_sol=0 ticks=70087 tps=100 nb_sec=700
case_no=179 label=Case6.167 nb_sol=0 ticks=61032 tps=100 nb_sec=610
case_no=179 label=Case6.167 nb_sol=0 ticks=114534 tps=100 nb_sec=1145
case_no=179 label=Case6.167 nb_sol=0 ticks=63078 tps=100 nb_sec=630
case_no=179 label=Case6.167 nb_sol=0 ticks=55685 tps=100 nb_sec=556
case_no=179 label=Case6.167 nb_sol=0 ticks=67618 tps=100 nb_sec=676
case_no=179 label=Case6.167 nb_sol=0 ticks=46251 tps=100 nb_sec=462
case_no=179 label=Case6.167 nb_sol=0 ticks=15838 tps=100 nb_sec=158
case_no=179 label=Case6.167 nb_sol=0 ticks=154085 tps=100 nb_sec=1540
case_no=179 label=Case6.167 nb_sol=0 ticks=206897 tps=100 nb_sec=2068
case_no=179 label=Case6.167 nb_sol=0 ticks=119759 tps=100 nb_sec=1197
case_no=179 label=Case6.167 nb_sol=0 ticks=128067 tps=100 nb_sec=1280
case_no=179 label=Case6.167 nb_sol=0 ticks=83718 tps=100 nb_sec=837
case_no=179 label=Case6.167 nb_sol=0 ticks=85277 tps=100 nb_sec=852
case_no=179 label=Case6.167 nb_sol=0 ticks=127521 tps=100 nb_sec=1275
case_no=179 label=Case6.167 nb_sol=0 ticks=109530 tps=100 nb_sec=1095
case_no=179 label=Case6.167 nb_sol=0 ticks=56522 tps=100 nb_sec=565
case_no=179 label=Case6.167 nb_sol=0 ticks=120964 tps=100 nb_sec=1209
case_no=179 label=Case6.167 nb_sol=0 ticks=132926 tps=100 nb_sec=1329
case_no=179 label=Case6.167 nb_sol=0 ticks=57912 tps=100 nb_sec=579
case_no=179 label=Case6.167 nb_sol=0 ticks=86765 tps=100 nb_sec=867
case_no=179 label=Case6.167 nb_sol=0 ticks=55634 tps=100 nb_sec=556
case_no=179 label=Case6.167 nb_sol=0 ticks=42893 tps=100 nb_sec=428
case_no=179 label=Case6.167 nb_sol=0 ticks=69505 tps=100 nb_sec=695
case_no=179 label=Case6.167 nb_sol=0 ticks=63923 tps=100 nb_sec=639
case_no=179 label=Case6.167 nb_sol=0 ticks=16154 tps=100 nb_sec=161
case_no=179 label=Case6.167 nb_sol=0 ticks=228848 tps=100 nb_sec=2288
case_no=179 label=Case6.167 nb_sol=0 ticks=135914 tps=100 nb_sec=1359
case_no=179 label=Case6.167 nb_sol=0 ticks=130196 tps=100 nb_sec=1301
case_no=179 label=Case6.167 nb_sol=0 ticks=189521 tps=100 nb_sec=1895
case_no=179 label=Case6.167 nb_sol=0 ticks=142321 tps=100 nb_sec=1423
case_no=179 label=Case6.167 nb_sol=0 ticks=166415 tps=100 nb_sec=1664
case_no=179 label=Case6.167 nb_sol=0 ticks=135769 tps=100 nb_sec=1357
case_no=179 label=Case6.167 nb_sol=0 ticks=81544 tps=100 nb_sec=815
case_no=179 label=Case6.167 nb_sol=0 ticks=64744 tps=100 nb_sec=647
case_no=179 label=Case6.167 nb_sol=0 ticks=132020 tps=100 nb_sec=1320
case_no=179 label=Case6.167 nb_sol=0 ticks=97200 tps=100 nb_sec=972
case_no=179 label=Case6.167 nb_sol=0 ticks=81195 tps=100 nb_sec=811
case_no=179 label=Case6.167 nb_sol=0 ticks=124365 tps=100 nb_sec=1243
case_no=179 label=Case6.167 nb_sol=0 ticks=69249 tps=100 nb_sec=692
case_no=179 label=Case6.167 nb_sol=0 ticks=67843 tps=100 nb_sec=678
case_no=179 label=Case6.167 nb_sol=0 ticks=69889 tps=100 nb_sec=698
case_no=179 label=Case6.167 nb_sol=0 ticks=51834 tps=100 nb_sec=518
case_no=179 label=Case6.167 nb_sol=0 ticks=17052 tps=100 nb_sec=170
case_no=179 label=Case6.167 nb_sol=0 ticks=156333 tps=100 nb_sec=1563
case_no=179 label=Case6.167 nb_sol=0 ticks=158646 tps=100 nb_sec=1586
case_no=179 label=Case6.167 nb_sol=0 ticks=151313 tps=100 nb_sec=1513
case_no=179 label=Case6.167 nb_sol=0 ticks=193841 tps=100 nb_sec=1938
case_no=179 label=Case6.167 nb_sol=0 ticks=132605 tps=100 nb_sec=1326
case_no=179 label=Case6.167 nb_sol=0 ticks=108393 tps=100 nb_sec=1083
case_no=179 label=Case6.167 nb_sol=0 ticks=122822 tps=100 nb_sec=1228
case_no=179 label=Case6.167 nb_sol=0 ticks=107618 tps=100 nb_sec=1076
case_no=179 label=Case6.167 nb_sol=0 ticks=55156 tps=100 nb_sec=551
case_no=179 label=Case6.167 nb_sol=0 ticks=142439 tps=100 nb_sec=1424
case_no=179 label=Case6.167 nb_sol=0 ticks=70288 tps=100 nb_sec=702
case_no=179 label=Case6.167 nb_sol=0 ticks=64739 tps=100 nb_sec=647
case_no=179 label=Case6.167 nb_sol=0 ticks=136514 tps=100 nb_sec=1365
case_no=179 label=Case6.167 nb_sol=0 ticks=84054 tps=100 nb_sec=840
case_no=179 label=Case6.167 nb_sol=0 ticks=41294 tps=100 nb_sec=412
case_no=179 label=Case6.167 nb_sol=0 ticks=76461 tps=100 nb_sec=764
case_no=179 label=Case6.167 nb_sol=0 ticks=56130 tps=100 nb_sec=561
case_no=179 label=Case6.167 nb_sol=0 ticks=18291 tps=100 nb_sec=182
case_no=179 label=Case6.167 nb_sol=0 ticks=141661 tps=100 nb_sec=1416
case_no=179 label=Case6.167 nb_sol=0 ticks=150478 tps=100 nb_sec=1504
case_no=179 label=Case6.167 nb_sol=0 ticks=104158 tps=100 nb_sec=1041
case_no=179 label=Case6.167 nb_sol=0 ticks=149859 tps=100 nb_sec=1498
case_no=179 label=Case6.167 nb_sol=0 ticks=104679 tps=100 nb_sec=1046
case_no=179 label=Case6.167 nb_sol=0 ticks=82415 tps=100 nb_sec=824
case_no=179 label=Case6.167 nb_sol=0 ticks=93435 tps=100 nb_sec=934
case_no=179 label=Case6.167 nb_sol=0 ticks=59117 tps=100 nb_sec=591
case_no=179 label=Case6.167 nb_sol=0 ticks=47997 tps=100 nb_sec=479
case_no=179 label=Case6.167 nb_sol=0 ticks=151143 tps=100 nb_sec=1511
case_no=179 label=Case6.167 nb_sol=0 ticks=138554 tps=100 nb_sec=1385
case_no=179 label=Case6.167 nb_sol=0 ticks=64119 tps=100 nb_sec=641
case_no=179 label=Case6.167 nb_sol=0 ticks=160767 tps=100 nb_sec=1607
case_no=179 label=Case6.167 nb_sol=0 ticks=106011 tps=100 nb_sec=1060
case_no=179 label=Case6.167 nb_sol=0 ticks=60843 tps=100 nb_sec=608
case_no=179 label=Case6.167 nb_sol=0 ticks=83440 tps=100 nb_sec=834
case_no=179 label=Case6.167 nb_sol=0 ticks=74014 tps=100 nb_sec=740
case_no=179 label=Case6.167 nb_sol=0 ticks=23752 tps=100 nb_sec=237
case_no=179 label=Case6.167 nb_sol=0 ticks=169327 tps=100 nb_sec=1693
case_no=179 label=Case6.167 nb_sol=0 ticks=133522 tps=100 nb_sec=1335
case_no=179 label=Case6.167 nb_sol=0 ticks=129850 tps=100 nb_sec=1298
case_no=179 label=Case6.167 nb_sol=0 ticks=170462 tps=100 nb_sec=1704
case_no=179 label=Case6.167 nb_sol=0 ticks=132712 tps=100 nb_sec=1327
case_no=179 label=Case6.167 nb_sol=0 ticks=114055 tps=100 nb_sec=1140
case_no=179 label=Case6.167 nb_sol=0 ticks=151538 tps=100 nb_sec=1515
case_no=179 label=Case6.167 nb_sol=0 ticks=71953 tps=100 nb_sec=719
case_no=179 label=Case6.167 nb_sol=0 ticks=65723 tps=100 nb_sec=657
case_no=179 label=Case6.167 nb_sol=0 ticks=168592 tps=100 nb_sec=1685
case_no=179 label=Case6.167 nb_sol=0 ticks=90834 tps=100 nb_sec=908
Nb_sol=0
Nb_sec=961157
11-2:59:17 or 266 hours
missing cases:
none