argc=5
-M 512
file2=30_select_Case6.168_starter_15_
checking files mod 512 from 0 to 511
case_no=180 label=Case6.168 nb_sol=0 ticks=191646 tps=100 nb_sec=1916
case_no=180 label=Case6.168 nb_sol=0 ticks=196296 tps=100 nb_sec=1962
case_no=180 label=Case6.168 nb_sol=0 ticks=174694 tps=100 nb_sec=1746
case_no=180 label=Case6.168 nb_sol=0 ticks=142450 tps=100 nb_sec=1424
case_no=180 label=Case6.168 nb_sol=0 ticks=133021 tps=100 nb_sec=1330
case_no=180 label=Case6.168 nb_sol=0 ticks=119948 tps=100 nb_sec=1199
case_no=180 label=Case6.168 nb_sol=0 ticks=78550 tps=100 nb_sec=785
case_no=180 label=Case6.168 nb_sol=0 ticks=212044 tps=100 nb_sec=2120
case_no=180 label=Case6.168 nb_sol=0 ticks=118140 tps=100 nb_sec=1181
case_no=180 label=Case6.168 nb_sol=0 ticks=257059 tps=100 nb_sec=2570
case_no=180 label=Case6.168 nb_sol=0 ticks=454920 tps=100 nb_sec=4549
case_no=180 label=Case6.168 nb_sol=0 ticks=271375 tps=100 nb_sec=2713
case_no=180 label=Case6.168 nb_sol=0 ticks=298105 tps=100 nb_sec=2981
case_no=180 label=Case6.168 nb_sol=0 ticks=192440 tps=100 nb_sec=1924
case_no=180 label=Case6.168 nb_sol=0 ticks=138818 tps=100 nb_sec=1388
case_no=180 label=Case6.168 nb_sol=0 ticks=108934 tps=100 nb_sec=1089
case_no=180 label=Case6.168 nb_sol=0 ticks=301504 tps=100 nb_sec=3015
case_no=180 label=Case6.168 nb_sol=0 ticks=157056 tps=100 nb_sec=1570
case_no=180 label=Case6.168 nb_sol=0 ticks=111739 tps=100 nb_sec=1117
case_no=180 label=Case6.168 nb_sol=0 ticks=189577 tps=100 nb_sec=1895
case_no=180 label=Case6.168 nb_sol=0 ticks=133972 tps=100 nb_sec=1339
case_no=180 label=Case6.168 nb_sol=0 ticks=196903 tps=100 nb_sec=1969
case_no=180 label=Case6.168 nb_sol=0 ticks=151126 tps=100 nb_sec=1511
case_no=180 label=Case6.168 nb_sol=0 ticks=62542 tps=100 nb_sec=625
case_no=180 label=Case6.168 nb_sol=0 ticks=62774 tps=100 nb_sec=627
case_no=180 label=Case6.168 nb_sol=0 ticks=270765 tps=100 nb_sec=2707
case_no=180 label=Case6.168 nb_sol=0 ticks=162423 tps=100 nb_sec=1624
case_no=180 label=Case6.168 nb_sol=0 ticks=337088 tps=100 nb_sec=3370
case_no=180 label=Case6.168 nb_sol=0 ticks=435505 tps=100 nb_sec=4355
case_no=180 label=Case6.168 nb_sol=0 ticks=184825 tps=100 nb_sec=1848
case_no=180 label=Case6.168 nb_sol=0 ticks=251710 tps=100 nb_sec=2517
case_no=180 label=Case6.168 nb_sol=0 ticks=256238 tps=100 nb_sec=2562
case_no=180 label=Case6.168 nb_sol=0 ticks=216644 tps=100 nb_sec=2166
case_no=180 label=Case6.168 nb_sol=0 ticks=223270 tps=100 nb_sec=2232
case_no=180 label=Case6.168 nb_sol=0 ticks=267341 tps=100 nb_sec=2673
case_no=180 label=Case6.168 nb_sol=0 ticks=183985 tps=100 nb_sec=1839
case_no=180 label=Case6.168 nb_sol=0 ticks=154059 tps=100 nb_sec=1540
case_no=180 label=Case6.168 nb_sol=0 ticks=177360 tps=100 nb_sec=1773
case_no=180 label=Case6.168 nb_sol=0 ticks=95324 tps=100 nb_sec=953
case_no=180 label=Case6.168 nb_sol=0 ticks=104266 tps=100 nb_sec=1042
case_no=180 label=Case6.168 nb_sol=0 ticks=149113 tps=100 nb_sec=1491
case_no=180 label=Case6.168 nb_sol=0 ticks=65401 tps=100 nb_sec=654
case_no=180 label=Case6.168 nb_sol=0 ticks=183700 tps=100 nb_sec=1837
case_no=180 label=Case6.168 nb_sol=0 ticks=478180 tps=100 nb_sec=4781
case_no=180 label=Case6.168 nb_sol=0 ticks=259061 tps=100 nb_sec=2590
case_no=180 label=Case6.168 nb_sol=0 ticks=344514 tps=100 nb_sec=3445
case_no=180 label=Case6.168 nb_sol=0 ticks=275864 tps=100 nb_sec=2758
case_no=180 label=Case6.168 nb_sol=0 ticks=241854 tps=100 nb_sec=2418
case_no=180 label=Case6.168 nb_sol=0 ticks=154662 tps=100 nb_sec=1546
case_no=180 label=Case6.168 nb_sol=0 ticks=231126 tps=100 nb_sec=2311
case_no=180 label=Case6.168 nb_sol=0 ticks=126509 tps=100 nb_sec=1265
case_no=180 label=Case6.168 nb_sol=0 ticks=211698 tps=100 nb_sec=2116
case_no=180 label=Case6.168 nb_sol=0 ticks=179317 tps=100 nb_sec=1793
case_no=180 label=Case6.168 nb_sol=0 ticks=92873 tps=100 nb_sec=928
case_no=180 label=Case6.168 nb_sol=0 ticks=158790 tps=100 nb_sec=1587
case_no=180 label=Case6.168 nb_sol=0 ticks=312569 tps=100 nb_sec=3125
case_no=180 label=Case6.168 nb_sol=0 ticks=206777 tps=100 nb_sec=2067
case_no=180 label=Case6.168 nb_sol=0 ticks=206695 tps=100 nb_sec=2066
case_no=180 label=Case6.168 nb_sol=0 ticks=308476 tps=100 nb_sec=3084
case_no=180 label=Case6.168 nb_sol=0 ticks=95426 tps=100 nb_sec=954
case_no=180 label=Case6.168 nb_sol=0 ticks=247617 tps=100 nb_sec=2476
case_no=180 label=Case6.168 nb_sol=0 ticks=366847 tps=100 nb_sec=3668
case_no=180 label=Case6.168 nb_sol=0 ticks=233584 tps=100 nb_sec=2335
case_no=180 label=Case6.168 nb_sol=0 ticks=285183 tps=100 nb_sec=2851
case_no=180 label=Case6.168 nb_sol=0 ticks=128159 tps=100 nb_sec=1281
case_no=180 label=Case6.168 nb_sol=0 ticks=183561 tps=100 nb_sec=1835
case_no=180 label=Case6.168 nb_sol=0 ticks=171514 tps=100 nb_sec=1715
case_no=180 label=Case6.168 nb_sol=0 ticks=185163 tps=100 nb_sec=1851
case_no=180 label=Case6.168 nb_sol=0 ticks=162644 tps=100 nb_sec=1626
case_no=180 label=Case6.168 nb_sol=0 ticks=134787 tps=100 nb_sec=1347
case_no=180 label=Case6.168 nb_sol=0 ticks=376706 tps=100 nb_sec=3767
case_no=180 label=Case6.168 nb_sol=0 ticks=271740 tps=100 nb_sec=2717
case_no=180 label=Case6.168 nb_sol=0 ticks=245841 tps=100 nb_sec=2458
case_no=180 label=Case6.168 nb_sol=0 ticks=276650 tps=100 nb_sec=2766
case_no=180 label=Case6.168 nb_sol=0 ticks=204941 tps=100 nb_sec=2049
case_no=180 label=Case6.168 nb_sol=0 ticks=164711 tps=100 nb_sec=1647
case_no=180 label=Case6.168 nb_sol=0 ticks=187131 tps=100 nb_sec=1871
case_no=180 label=Case6.168 nb_sol=0 ticks=76951 tps=100 nb_sec=769
case_no=180 label=Case6.168 nb_sol=0 ticks=363668 tps=100 nb_sec=3636
case_no=180 label=Case6.168 nb_sol=0 ticks=288941 tps=100 nb_sec=2889
case_no=180 label=Case6.168 nb_sol=0 ticks=195550 tps=100 nb_sec=1955
case_no=180 label=Case6.168 nb_sol=0 ticks=363620 tps=100 nb_sec=3636
case_no=180 label=Case6.168 nb_sol=0 ticks=464498 tps=100 nb_sec=4644
case_no=180 label=Case6.168 nb_sol=0 ticks=315092 tps=100 nb_sec=3150
case_no=180 label=Case6.168 nb_sol=0 ticks=109644 tps=100 nb_sec=1096
case_no=180 label=Case6.168 nb_sol=0 ticks=203701 tps=100 nb_sec=2037
case_no=180 label=Case6.168 nb_sol=0 ticks=102082 tps=100 nb_sec=1020
case_no=180 label=Case6.168 nb_sol=0 ticks=127015 tps=100 nb_sec=1270
case_no=180 label=Case6.168 nb_sol=0 ticks=228569 tps=100 nb_sec=2285
case_no=180 label=Case6.168 nb_sol=0 ticks=169538 tps=100 nb_sec=1695
case_no=180 label=Case6.168 nb_sol=0 ticks=90257 tps=100 nb_sec=902
case_no=180 label=Case6.168 nb_sol=0 ticks=240793 tps=100 nb_sec=2407
case_no=180 label=Case6.168 nb_sol=0 ticks=248788 tps=100 nb_sec=2487
case_no=180 label=Case6.168 nb_sol=0 ticks=98830 tps=100 nb_sec=988
case_no=180 label=Case6.168 nb_sol=0 ticks=236212 tps=100 nb_sec=2362
case_no=180 label=Case6.168 nb_sol=0 ticks=188860 tps=100 nb_sec=1888
case_no=180 label=Case6.168 nb_sol=0 ticks=273528 tps=100 nb_sec=2735
case_no=180 label=Case6.168 nb_sol=0 ticks=204780 tps=100 nb_sec=2047
case_no=180 label=Case6.168 nb_sol=0 ticks=353246 tps=100 nb_sec=3532
case_no=180 label=Case6.168 nb_sol=0 ticks=270711 tps=100 nb_sec=2707
case_no=180 label=Case6.168 nb_sol=0 ticks=276276 tps=100 nb_sec=2762
case_no=180 label=Case6.168 nb_sol=0 ticks=149488 tps=100 nb_sec=1494
case_no=180 label=Case6.168 nb_sol=0 ticks=124863 tps=100 nb_sec=1248
case_no=180 label=Case6.168 nb_sol=0 ticks=320309 tps=100 nb_sec=3203
case_no=180 label=Case6.168 nb_sol=0 ticks=107052 tps=100 nb_sec=1070
case_no=180 label=Case6.168 nb_sol=0 ticks=221323 tps=100 nb_sec=2213
case_no=180 label=Case6.168 nb_sol=0 ticks=268817 tps=100 nb_sec=2688
case_no=180 label=Case6.168 nb_sol=0 ticks=135217 tps=100 nb_sec=1352
case_no=180 label=Case6.168 nb_sol=0 ticks=154120 tps=100 nb_sec=1541
case_no=180 label=Case6.168 nb_sol=0 ticks=303521 tps=100 nb_sec=3035
case_no=180 label=Case6.168 nb_sol=0 ticks=203428 tps=100 nb_sec=2034
case_no=180 label=Case6.168 nb_sol=0 ticks=178203 tps=100 nb_sec=1782
case_no=180 label=Case6.168 nb_sol=0 ticks=211811 tps=100 nb_sec=2118
case_no=180 label=Case6.168 nb_sol=0 ticks=116833 tps=100 nb_sec=1168
case_no=180 label=Case6.168 nb_sol=0 ticks=226961 tps=100 nb_sec=2269
case_no=180 label=Case6.168 nb_sol=0 ticks=326275 tps=100 nb_sec=3262
case_no=180 label=Case6.168 nb_sol=0 ticks=112676 tps=100 nb_sec=1126
case_no=180 label=Case6.168 nb_sol=0 ticks=224404 tps=100 nb_sec=2244
case_no=180 label=Case6.168 nb_sol=0 ticks=272326 tps=100 nb_sec=2723
case_no=180 label=Case6.168 nb_sol=0 ticks=188632 tps=100 nb_sec=1886
case_no=180 label=Case6.168 nb_sol=0 ticks=162016 tps=100 nb_sec=1620
case_no=180 label=Case6.168 nb_sol=0 ticks=272987 tps=100 nb_sec=2729
case_no=180 label=Case6.168 nb_sol=0 ticks=207359 tps=100 nb_sec=2073
case_no=180 label=Case6.168 nb_sol=0 ticks=173468 tps=100 nb_sec=1734
case_no=180 label=Case6.168 nb_sol=0 ticks=203203 tps=100 nb_sec=2032
case_no=180 label=Case6.168 nb_sol=0 ticks=141836 tps=100 nb_sec=1418
case_no=180 label=Case6.168 nb_sol=0 ticks=104907 tps=100 nb_sec=1049
case_no=180 label=Case6.168 nb_sol=0 ticks=285758 tps=100 nb_sec=2857
case_no=180 label=Case6.168 nb_sol=0 ticks=105663 tps=100 nb_sec=1056
case_no=180 label=Case6.168 nb_sol=0 ticks=362711 tps=100 nb_sec=3627
case_no=180 label=Case6.168 nb_sol=0 ticks=284986 tps=100 nb_sec=2849
case_no=180 label=Case6.168 nb_sol=0 ticks=228727 tps=100 nb_sec=2287
case_no=180 label=Case6.168 nb_sol=0 ticks=334782 tps=100 nb_sec=3347
case_no=180 label=Case6.168 nb_sol=0 ticks=324585 tps=100 nb_sec=3245
case_no=180 label=Case6.168 nb_sol=0 ticks=207779 tps=100 nb_sec=2077
case_no=180 label=Case6.168 nb_sol=0 ticks=190800 tps=100 nb_sec=1908
case_no=180 label=Case6.168 nb_sol=0 ticks=225084 tps=100 nb_sec=2250
case_no=180 label=Case6.168 nb_sol=0 ticks=106289 tps=100 nb_sec=1062
case_no=180 label=Case6.168 nb_sol=0 ticks=190470 tps=100 nb_sec=1904
case_no=180 label=Case6.168 nb_sol=0 ticks=436818 tps=100 nb_sec=4368
case_no=180 label=Case6.168 nb_sol=0 ticks=245034 tps=100 nb_sec=2450
case_no=180 label=Case6.168 nb_sol=0 ticks=220471 tps=100 nb_sec=2204
case_no=180 label=Case6.168 nb_sol=0 ticks=490705 tps=100 nb_sec=4907
case_no=180 label=Case6.168 nb_sol=0 ticks=256844 tps=100 nb_sec=2568
case_no=180 label=Case6.168 nb_sol=0 ticks=236752 tps=100 nb_sec=2367
case_no=180 label=Case6.168 nb_sol=0 ticks=181475 tps=100 nb_sec=1814
case_no=180 label=Case6.168 nb_sol=0 ticks=336383 tps=100 nb_sec=3363
case_no=180 label=Case6.168 nb_sol=0 ticks=325067 tps=100 nb_sec=3250
case_no=180 label=Case6.168 nb_sol=0 ticks=82439 tps=100 nb_sec=824
case_no=180 label=Case6.168 nb_sol=0 ticks=256476 tps=100 nb_sec=2564
case_no=180 label=Case6.168 nb_sol=0 ticks=349910 tps=100 nb_sec=3499
case_no=180 label=Case6.168 nb_sol=0 ticks=366536 tps=100 nb_sec=3665
case_no=180 label=Case6.168 nb_sol=0 ticks=188972 tps=100 nb_sec=1889
case_no=180 label=Case6.168 nb_sol=0 ticks=272056 tps=100 nb_sec=2720
case_no=180 label=Case6.168 nb_sol=0 ticks=367171 tps=100 nb_sec=3671
case_no=180 label=Case6.168 nb_sol=0 ticks=118718 tps=100 nb_sec=1187
case_no=180 label=Case6.168 nb_sol=0 ticks=151981 tps=100 nb_sec=1519
case_no=180 label=Case6.168 nb_sol=0 ticks=298879 tps=100 nb_sec=2988
case_no=180 label=Case6.168 nb_sol=0 ticks=192920 tps=100 nb_sec=1929
case_no=180 label=Case6.168 nb_sol=0 ticks=277727 tps=100 nb_sec=2777
case_no=180 label=Case6.168 nb_sol=0 ticks=318131 tps=100 nb_sec=3181
case_no=180 label=Case6.168 nb_sol=0 ticks=103201 tps=100 nb_sec=1032
case_no=180 label=Case6.168 nb_sol=0 ticks=212099 tps=100 nb_sec=2120
case_no=180 label=Case6.168 nb_sol=0 ticks=161923 tps=100 nb_sec=1619
case_no=180 label=Case6.168 nb_sol=0 ticks=226283 tps=100 nb_sec=2262
case_no=180 label=Case6.168 nb_sol=0 ticks=308082 tps=100 nb_sec=3080
case_no=180 label=Case6.168 nb_sol=0 ticks=143892 tps=100 nb_sec=1438
case_no=180 label=Case6.168 nb_sol=0 ticks=181803 tps=100 nb_sec=1818
case_no=180 label=Case6.168 nb_sol=0 ticks=178697 tps=100 nb_sec=1786
case_no=180 label=Case6.168 nb_sol=0 ticks=102321 tps=100 nb_sec=1023
case_no=180 label=Case6.168 nb_sol=0 ticks=90684 tps=100 nb_sec=906
case_no=180 label=Case6.168 nb_sol=0 ticks=146110 tps=100 nb_sec=1461
case_no=180 label=Case6.168 nb_sol=0 ticks=371921 tps=100 nb_sec=3719
case_no=180 label=Case6.168 nb_sol=0 ticks=200896 tps=100 nb_sec=2008
case_no=180 label=Case6.168 nb_sol=0 ticks=422562 tps=100 nb_sec=4225
case_no=180 label=Case6.168 nb_sol=0 ticks=260720 tps=100 nb_sec=2607
case_no=180 label=Case6.168 nb_sol=0 ticks=112394 tps=100 nb_sec=1123
case_no=180 label=Case6.168 nb_sol=0 ticks=238769 tps=100 nb_sec=2387
case_no=180 label=Case6.168 nb_sol=0 ticks=188101 tps=100 nb_sec=1881
case_no=180 label=Case6.168 nb_sol=0 ticks=145885 tps=100 nb_sec=1458
case_no=180 label=Case6.168 nb_sol=0 ticks=234422 tps=100 nb_sec=2344
case_no=180 label=Case6.168 nb_sol=0 ticks=63515 tps=100 nb_sec=635
case_no=180 label=Case6.168 nb_sol=0 ticks=228060 tps=100 nb_sec=2280
case_no=180 label=Case6.168 nb_sol=0 ticks=283608 tps=100 nb_sec=2836
case_no=180 label=Case6.168 nb_sol=0 ticks=176204 tps=100 nb_sec=1762
case_no=180 label=Case6.168 nb_sol=0 ticks=173410 tps=100 nb_sec=1734
case_no=180 label=Case6.168 nb_sol=0 ticks=202996 tps=100 nb_sec=2029
case_no=180 label=Case6.168 nb_sol=0 ticks=257690 tps=100 nb_sec=2576
case_no=180 label=Case6.168 nb_sol=0 ticks=243496 tps=100 nb_sec=2434
case_no=180 label=Case6.168 nb_sol=0 ticks=381689 tps=100 nb_sec=3816
case_no=180 label=Case6.168 nb_sol=0 ticks=170295 tps=100 nb_sec=1702
case_no=180 label=Case6.168 nb_sol=0 ticks=221368 tps=100 nb_sec=2213
case_no=180 label=Case6.168 nb_sol=0 ticks=195666 tps=100 nb_sec=1956
case_no=180 label=Case6.168 nb_sol=0 ticks=97598 tps=100 nb_sec=975
case_no=180 label=Case6.168 nb_sol=0 ticks=198906 tps=100 nb_sec=1989
case_no=180 label=Case6.168 nb_sol=0 ticks=318099 tps=100 nb_sec=3180
case_no=180 label=Case6.168 nb_sol=0 ticks=200924 tps=100 nb_sec=2009
case_no=180 label=Case6.168 nb_sol=0 ticks=329216 tps=100 nb_sec=3292
case_no=180 label=Case6.168 nb_sol=0 ticks=363587 tps=100 nb_sec=3635
case_no=180 label=Case6.168 nb_sol=0 ticks=172993 tps=100 nb_sec=1729
case_no=180 label=Case6.168 nb_sol=0 ticks=380561 tps=100 nb_sec=3805
case_no=180 label=Case6.168 nb_sol=0 ticks=350656 tps=100 nb_sec=3506
case_no=180 label=Case6.168 nb_sol=0 ticks=277150 tps=100 nb_sec=2771
case_no=180 label=Case6.168 nb_sol=0 ticks=242960 tps=100 nb_sec=2429
case_no=180 label=Case6.168 nb_sol=0 ticks=223465 tps=100 nb_sec=2234
case_no=180 label=Case6.168 nb_sol=0 ticks=246517 tps=100 nb_sec=2465
case_no=180 label=Case6.168 nb_sol=0 ticks=276981 tps=100 nb_sec=2769
case_no=180 label=Case6.168 nb_sol=0 ticks=326333 tps=100 nb_sec=3263
case_no=180 label=Case6.168 nb_sol=0 ticks=179009 tps=100 nb_sec=1790
case_no=180 label=Case6.168 nb_sol=0 ticks=295727 tps=100 nb_sec=2957
case_no=180 label=Case6.168 nb_sol=0 ticks=203513 tps=100 nb_sec=2035
case_no=180 label=Case6.168 nb_sol=0 ticks=173181 tps=100 nb_sec=1731
case_no=180 label=Case6.168 nb_sol=0 ticks=156294 tps=100 nb_sec=1562
case_no=180 label=Case6.168 nb_sol=0 ticks=335977 tps=100 nb_sec=3359
case_no=180 label=Case6.168 nb_sol=0 ticks=313421 tps=100 nb_sec=3134
case_no=180 label=Case6.168 nb_sol=0 ticks=289452 tps=100 nb_sec=2894
case_no=180 label=Case6.168 nb_sol=0 ticks=364956 tps=100 nb_sec=3649
case_no=180 label=Case6.168 nb_sol=0 ticks=314802 tps=100 nb_sec=3148
case_no=180 label=Case6.168 nb_sol=0 ticks=276062 tps=100 nb_sec=2760
case_no=180 label=Case6.168 nb_sol=0 ticks=272670 tps=100 nb_sec=2726
case_no=180 label=Case6.168 nb_sol=0 ticks=268014 tps=100 nb_sec=2680
case_no=180 label=Case6.168 nb_sol=0 ticks=235565 tps=100 nb_sec=2355
case_no=180 label=Case6.168 nb_sol=0 ticks=252146 tps=100 nb_sec=2521
case_no=180 label=Case6.168 nb_sol=0 ticks=277687 tps=100 nb_sec=2776
case_no=180 label=Case6.168 nb_sol=0 ticks=144560 tps=100 nb_sec=1445
case_no=180 label=Case6.168 nb_sol=0 ticks=383875 tps=100 nb_sec=3838
case_no=180 label=Case6.168 nb_sol=0 ticks=264390 tps=100 nb_sec=2643
case_no=180 label=Case6.168 nb_sol=0 ticks=202241 tps=100 nb_sec=2022
case_no=180 label=Case6.168 nb_sol=0 ticks=305454 tps=100 nb_sec=3054
case_no=180 label=Case6.168 nb_sol=0 ticks=272947 tps=100 nb_sec=2729
case_no=180 label=Case6.168 nb_sol=0 ticks=138711 tps=100 nb_sec=1387
case_no=180 label=Case6.168 nb_sol=0 ticks=335730 tps=100 nb_sec=3357
case_no=180 label=Case6.168 nb_sol=0 ticks=184248 tps=100 nb_sec=1842
case_no=180 label=Case6.168 nb_sol=0 ticks=204760 tps=100 nb_sec=2047
case_no=180 label=Case6.168 nb_sol=0 ticks=262066 tps=100 nb_sec=2620
case_no=180 label=Case6.168 nb_sol=0 ticks=208494 tps=100 nb_sec=2084
case_no=180 label=Case6.168 nb_sol=0 ticks=122473 tps=100 nb_sec=1224
case_no=180 label=Case6.168 nb_sol=0 ticks=265264 tps=100 nb_sec=2652
case_no=180 label=Case6.168 nb_sol=0 ticks=287029 tps=100 nb_sec=2870
case_no=180 label=Case6.168 nb_sol=0 ticks=228078 tps=100 nb_sec=2280
case_no=180 label=Case6.168 nb_sol=0 ticks=406307 tps=100 nb_sec=4063
case_no=180 label=Case6.168 nb_sol=0 ticks=370167 tps=100 nb_sec=3701
case_no=180 label=Case6.168 nb_sol=0 ticks=301803 tps=100 nb_sec=3018
case_no=180 label=Case6.168 nb_sol=0 ticks=150660 tps=100 nb_sec=1506
case_no=180 label=Case6.168 nb_sol=0 ticks=261232 tps=100 nb_sec=2612
case_no=180 label=Case6.168 nb_sol=0 ticks=202301 tps=100 nb_sec=2023
case_no=180 label=Case6.168 nb_sol=0 ticks=458281 tps=100 nb_sec=4582
case_no=180 label=Case6.168 nb_sol=0 ticks=185095 tps=100 nb_sec=1850
case_no=180 label=Case6.168 nb_sol=0 ticks=249321 tps=100 nb_sec=2493
case_no=180 label=Case6.168 nb_sol=0 ticks=288352 tps=100 nb_sec=2883
case_no=180 label=Case6.168 nb_sol=0 ticks=167752 tps=100 nb_sec=1677
case_no=180 label=Case6.168 nb_sol=0 ticks=198510 tps=100 nb_sec=1985
case_no=180 label=Case6.168 nb_sol=0 ticks=175035 tps=100 nb_sec=1750
case_no=180 label=Case6.168 nb_sol=0 ticks=303956 tps=100 nb_sec=3039
case_no=180 label=Case6.168 nb_sol=0 ticks=153203 tps=100 nb_sec=1532
case_no=180 label=Case6.168 nb_sol=0 ticks=340846 tps=100 nb_sec=3408
case_no=180 label=Case6.168 nb_sol=0 ticks=130198 tps=100 nb_sec=1301
case_no=180 label=Case6.168 nb_sol=0 ticks=100851 tps=100 nb_sec=1008
case_no=180 label=Case6.168 nb_sol=0 ticks=130291 tps=100 nb_sec=1302
case_no=180 label=Case6.168 nb_sol=0 ticks=244550 tps=100 nb_sec=2445
case_no=180 label=Case6.168 nb_sol=0 ticks=185988 tps=100 nb_sec=1859
case_no=180 label=Case6.168 nb_sol=0 ticks=265737 tps=100 nb_sec=2657
case_no=180 label=Case6.168 nb_sol=0 ticks=193464 tps=100 nb_sec=1934
case_no=180 label=Case6.168 nb_sol=0 ticks=121770 tps=100 nb_sec=1217
case_no=180 label=Case6.168 nb_sol=0 ticks=79752 tps=100 nb_sec=797
case_no=180 label=Case6.168 nb_sol=0 ticks=164853 tps=100 nb_sec=1648
case_no=180 label=Case6.168 nb_sol=0 ticks=153289 tps=100 nb_sec=1532
case_no=180 label=Case6.168 nb_sol=0 ticks=329940 tps=100 nb_sec=3299
case_no=180 label=Case6.168 nb_sol=0 ticks=284165 tps=100 nb_sec=2841
case_no=180 label=Case6.168 nb_sol=0 ticks=365496 tps=100 nb_sec=3654
case_no=180 label=Case6.168 nb_sol=0 ticks=252958 tps=100 nb_sec=2529
case_no=180 label=Case6.168 nb_sol=0 ticks=225447 tps=100 nb_sec=2254
case_no=180 label=Case6.168 nb_sol=0 ticks=187295 tps=100 nb_sec=1872
case_no=180 label=Case6.168 nb_sol=0 ticks=150077 tps=100 nb_sec=1500
case_no=180 label=Case6.168 nb_sol=0 ticks=161387 tps=100 nb_sec=1613
case_no=180 label=Case6.168 nb_sol=0 ticks=46107 tps=100 nb_sec=461
case_no=180 label=Case6.168 nb_sol=0 ticks=127706 tps=100 nb_sec=1277
case_no=180 label=Case6.168 nb_sol=0 ticks=155191 tps=100 nb_sec=1551
case_no=180 label=Case6.168 nb_sol=0 ticks=68458 tps=100 nb_sec=684
case_no=180 label=Case6.168 nb_sol=0 ticks=118567 tps=100 nb_sec=1185
case_no=180 label=Case6.168 nb_sol=0 ticks=132937 tps=100 nb_sec=1329
case_no=180 label=Case6.168 nb_sol=0 ticks=36717 tps=100 nb_sec=367
case_no=180 label=Case6.168 nb_sol=0 ticks=44902 tps=100 nb_sec=449
case_no=180 label=Case6.168 nb_sol=0 ticks=45872 tps=100 nb_sec=458
case_no=180 label=Case6.168 nb_sol=0 ticks=10538 tps=100 nb_sec=105
case_no=180 label=Case6.168 nb_sol=0 ticks=143000 tps=100 nb_sec=1430
case_no=180 label=Case6.168 nb_sol=0 ticks=207129 tps=100 nb_sec=2071
case_no=180 label=Case6.168 nb_sol=0 ticks=113663 tps=100 nb_sec=1136
case_no=180 label=Case6.168 nb_sol=0 ticks=178991 tps=100 nb_sec=1789
case_no=180 label=Case6.168 nb_sol=0 ticks=102020 tps=100 nb_sec=1020
case_no=180 label=Case6.168 nb_sol=0 ticks=88713 tps=100 nb_sec=887
case_no=180 label=Case6.168 nb_sol=0 ticks=124167 tps=100 nb_sec=1241
case_no=180 label=Case6.168 nb_sol=0 ticks=80168 tps=100 nb_sec=801
case_no=180 label=Case6.168 nb_sol=0 ticks=33964 tps=100 nb_sec=339
case_no=180 label=Case6.168 nb_sol=0 ticks=101988 tps=100 nb_sec=1019
case_no=180 label=Case6.168 nb_sol=0 ticks=156604 tps=100 nb_sec=1566
case_no=180 label=Case6.168 nb_sol=0 ticks=83148 tps=100 nb_sec=831
case_no=180 label=Case6.168 nb_sol=0 ticks=66662 tps=100 nb_sec=666
case_no=180 label=Case6.168 nb_sol=0 ticks=74053 tps=100 nb_sec=740
case_no=180 label=Case6.168 nb_sol=0 ticks=58035 tps=100 nb_sec=580
case_no=180 label=Case6.168 nb_sol=0 ticks=86107 tps=100 nb_sec=861
case_no=180 label=Case6.168 nb_sol=0 ticks=58338 tps=100 nb_sec=583
case_no=180 label=Case6.168 nb_sol=0 ticks=14333 tps=100 nb_sec=143
case_no=180 label=Case6.168 nb_sol=0 ticks=91808 tps=100 nb_sec=918
case_no=180 label=Case6.168 nb_sol=0 ticks=171499 tps=100 nb_sec=1714
case_no=180 label=Case6.168 nb_sol=0 ticks=135986 tps=100 nb_sec=1359
case_no=180 label=Case6.168 nb_sol=0 ticks=135603 tps=100 nb_sec=1356
case_no=180 label=Case6.168 nb_sol=0 ticks=97851 tps=100 nb_sec=978
case_no=180 label=Case6.168 nb_sol=0 ticks=65972 tps=100 nb_sec=659
case_no=180 label=Case6.168 nb_sol=0 ticks=136152 tps=100 nb_sec=1361
case_no=180 label=Case6.168 nb_sol=0 ticks=130307 tps=100 nb_sec=1303
case_no=180 label=Case6.168 nb_sol=0 ticks=52773 tps=100 nb_sec=527
case_no=180 label=Case6.168 nb_sol=0 ticks=119193 tps=100 nb_sec=1191
case_no=180 label=Case6.168 nb_sol=0 ticks=61264 tps=100 nb_sec=612
case_no=180 label=Case6.168 nb_sol=0 ticks=68149 tps=100 nb_sec=681
case_no=180 label=Case6.168 nb_sol=0 ticks=107546 tps=100 nb_sec=1075
case_no=180 label=Case6.168 nb_sol=0 ticks=61621 tps=100 nb_sec=616
case_no=180 label=Case6.168 nb_sol=0 ticks=59390 tps=100 nb_sec=593
case_no=180 label=Case6.168 nb_sol=0 ticks=62926 tps=100 nb_sec=629
case_no=180 label=Case6.168 nb_sol=0 ticks=29982 tps=100 nb_sec=299
case_no=180 label=Case6.168 nb_sol=0 ticks=10340 tps=100 nb_sec=103
case_no=180 label=Case6.168 nb_sol=0 ticks=142619 tps=100 nb_sec=1426
case_no=180 label=Case6.168 nb_sol=0 ticks=153060 tps=100 nb_sec=1530
case_no=180 label=Case6.168 nb_sol=0 ticks=94499 tps=100 nb_sec=944
case_no=180 label=Case6.168 nb_sol=0 ticks=169259 tps=100 nb_sec=1692
case_no=180 label=Case6.168 nb_sol=0 ticks=79034 tps=100 nb_sec=790
case_no=180 label=Case6.168 nb_sol=0 ticks=93068 tps=100 nb_sec=930
case_no=180 label=Case6.168 nb_sol=0 ticks=93113 tps=100 nb_sec=931
case_no=180 label=Case6.168 nb_sol=0 ticks=92833 tps=100 nb_sec=928
case_no=180 label=Case6.168 nb_sol=0 ticks=24326 tps=100 nb_sec=243
case_no=180 label=Case6.168 nb_sol=0 ticks=108727 tps=100 nb_sec=1087
case_no=180 label=Case6.168 nb_sol=0 ticks=74633 tps=100 nb_sec=746
case_no=180 label=Case6.168 nb_sol=0 ticks=76739 tps=100 nb_sec=767
case_no=180 label=Case6.168 nb_sol=0 ticks=69950 tps=100 nb_sec=699
case_no=180 label=Case6.168 nb_sol=0 ticks=100208 tps=100 nb_sec=1002
case_no=180 label=Case6.168 nb_sol=0 ticks=52946 tps=100 nb_sec=529
case_no=180 label=Case6.168 nb_sol=0 ticks=34105 tps=100 nb_sec=341
case_no=180 label=Case6.168 nb_sol=0 ticks=40659 tps=100 nb_sec=406
case_no=180 label=Case6.168 nb_sol=0 ticks=14480 tps=100 nb_sec=144
case_no=180 label=Case6.168 nb_sol=0 ticks=192708 tps=100 nb_sec=1927
case_no=180 label=Case6.168 nb_sol=0 ticks=123761 tps=100 nb_sec=1237
case_no=180 label=Case6.168 nb_sol=0 ticks=102520 tps=100 nb_sec=1025
case_no=180 label=Case6.168 nb_sol=0 ticks=208570 tps=100 nb_sec=2085
case_no=180 label=Case6.168 nb_sol=0 ticks=110925 tps=100 nb_sec=1109
case_no=180 label=Case6.168 nb_sol=0 ticks=142935 tps=100 nb_sec=1429
case_no=180 label=Case6.168 nb_sol=0 ticks=77664 tps=100 nb_sec=776
case_no=180 label=Case6.168 nb_sol=0 ticks=50574 tps=100 nb_sec=505
case_no=180 label=Case6.168 nb_sol=0 ticks=81748 tps=100 nb_sec=817
case_no=180 label=Case6.168 nb_sol=0 ticks=121040 tps=100 nb_sec=1210
case_no=180 label=Case6.168 nb_sol=0 ticks=77459 tps=100 nb_sec=774
case_no=180 label=Case6.168 nb_sol=0 ticks=80723 tps=100 nb_sec=807
case_no=180 label=Case6.168 nb_sol=0 ticks=89825 tps=100 nb_sec=898
case_no=180 label=Case6.168 nb_sol=0 ticks=34363 tps=100 nb_sec=343
case_no=180 label=Case6.168 nb_sol=0 ticks=39317 tps=100 nb_sec=393
case_no=180 label=Case6.168 nb_sol=0 ticks=39343 tps=100 nb_sec=393
case_no=180 label=Case6.168 nb_sol=0 ticks=29594 tps=100 nb_sec=295
case_no=180 label=Case6.168 nb_sol=0 ticks=18170 tps=100 nb_sec=181
case_no=180 label=Case6.168 nb_sol=0 ticks=218371 tps=100 nb_sec=2183
case_no=180 label=Case6.168 nb_sol=0 ticks=122958 tps=100 nb_sec=1229
case_no=180 label=Case6.168 nb_sol=0 ticks=110306 tps=100 nb_sec=1103
case_no=180 label=Case6.168 nb_sol=0 ticks=153045 tps=100 nb_sec=1530
case_no=180 label=Case6.168 nb_sol=0 ticks=139267 tps=100 nb_sec=1392
case_no=180 label=Case6.168 nb_sol=0 ticks=59144 tps=100 nb_sec=591
case_no=180 label=Case6.168 nb_sol=0 ticks=146226 tps=100 nb_sec=1462
case_no=180 label=Case6.168 nb_sol=0 ticks=66413 tps=100 nb_sec=664
case_no=180 label=Case6.168 nb_sol=0 ticks=67659 tps=100 nb_sec=676
case_no=180 label=Case6.168 nb_sol=0 ticks=135014 tps=100 nb_sec=1350
case_no=180 label=Case6.168 nb_sol=0 ticks=163103 tps=100 nb_sec=1631
case_no=180 label=Case6.168 nb_sol=0 ticks=151977 tps=100 nb_sec=1519
case_no=180 label=Case6.168 nb_sol=0 ticks=107504 tps=100 nb_sec=1075
case_no=180 label=Case6.168 nb_sol=0 ticks=42931 tps=100 nb_sec=429
case_no=180 label=Case6.168 nb_sol=0 ticks=59726 tps=100 nb_sec=597
case_no=180 label=Case6.168 nb_sol=0 ticks=54583 tps=100 nb_sec=545
case_no=180 label=Case6.168 nb_sol=0 ticks=85899 tps=100 nb_sec=858
case_no=180 label=Case6.168 nb_sol=0 ticks=15389 tps=100 nb_sec=153
case_no=180 label=Case6.168 nb_sol=0 ticks=187145 tps=100 nb_sec=1871
case_no=180 label=Case6.168 nb_sol=0 ticks=142450 tps=100 nb_sec=1424
case_no=180 label=Case6.168 nb_sol=0 ticks=185789 tps=100 nb_sec=1857
case_no=180 label=Case6.168 nb_sol=0 ticks=131441 tps=100 nb_sec=1314
case_no=180 label=Case6.168 nb_sol=0 ticks=150976 tps=100 nb_sec=1509
case_no=180 label=Case6.168 nb_sol=0 ticks=105912 tps=100 nb_sec=1059
case_no=180 label=Case6.168 nb_sol=0 ticks=149737 tps=100 nb_sec=1497
case_no=180 label=Case6.168 nb_sol=0 ticks=174398 tps=100 nb_sec=1743
case_no=180 label=Case6.168 nb_sol=0 ticks=44559 tps=100 nb_sec=445
case_no=180 label=Case6.168 nb_sol=0 ticks=140318 tps=100 nb_sec=1403
case_no=180 label=Case6.168 nb_sol=0 ticks=61748 tps=100 nb_sec=617
case_no=180 label=Case6.168 nb_sol=0 ticks=32200 tps=100 nb_sec=322
case_no=180 label=Case6.168 nb_sol=0 ticks=116958 tps=100 nb_sec=1169
case_no=180 label=Case6.168 nb_sol=0 ticks=80463 tps=100 nb_sec=804
case_no=180 label=Case6.168 nb_sol=0 ticks=25249 tps=100 nb_sec=252
case_no=180 label=Case6.168 nb_sol=0 ticks=83239 tps=100 nb_sec=832
case_no=180 label=Case6.168 nb_sol=0 ticks=36364 tps=100 nb_sec=363
case_no=180 label=Case6.168 nb_sol=0 ticks=23391 tps=100 nb_sec=233
case_no=180 label=Case6.168 nb_sol=0 ticks=131315 tps=100 nb_sec=1313
case_no=180 label=Case6.168 nb_sol=0 ticks=64937 tps=100 nb_sec=649
case_no=180 label=Case6.168 nb_sol=0 ticks=41376 tps=100 nb_sec=413
case_no=180 label=Case6.168 nb_sol=0 ticks=138931 tps=100 nb_sec=1389
case_no=180 label=Case6.168 nb_sol=0 ticks=54820 tps=100 nb_sec=548
case_no=180 label=Case6.168 nb_sol=0 ticks=33649 tps=100 nb_sec=336
case_no=180 label=Case6.168 nb_sol=0 ticks=80093 tps=100 nb_sec=800
case_no=180 label=Case6.168 nb_sol=0 ticks=73913 tps=100 nb_sec=739
case_no=180 label=Case6.168 nb_sol=0 ticks=23121 tps=100 nb_sec=231
case_no=180 label=Case6.168 nb_sol=0 ticks=131381 tps=100 nb_sec=1313
case_no=180 label=Case6.168 nb_sol=0 ticks=73398 tps=100 nb_sec=733
case_no=180 label=Case6.168 nb_sol=0 ticks=58210 tps=100 nb_sec=582
case_no=180 label=Case6.168 nb_sol=0 ticks=108170 tps=100 nb_sec=1081
case_no=180 label=Case6.168 nb_sol=0 ticks=54901 tps=100 nb_sec=549
case_no=180 label=Case6.168 nb_sol=0 ticks=42978 tps=100 nb_sec=429
case_no=180 label=Case6.168 nb_sol=0 ticks=72466 tps=100 nb_sec=724
case_no=180 label=Case6.168 nb_sol=0 ticks=43042 tps=100 nb_sec=430
case_no=180 label=Case6.168 nb_sol=0 ticks=22609 tps=100 nb_sec=226
case_no=180 label=Case6.168 nb_sol=0 ticks=79374 tps=100 nb_sec=793
case_no=180 label=Case6.168 nb_sol=0 ticks=138390 tps=100 nb_sec=1383
case_no=180 label=Case6.168 nb_sol=0 ticks=58239 tps=100 nb_sec=582
case_no=180 label=Case6.168 nb_sol=0 ticks=93065 tps=100 nb_sec=930
case_no=180 label=Case6.168 nb_sol=0 ticks=69278 tps=100 nb_sec=692
case_no=180 label=Case6.168 nb_sol=0 ticks=48539 tps=100 nb_sec=485
case_no=180 label=Case6.168 nb_sol=0 ticks=70924 tps=100 nb_sec=709
case_no=180 label=Case6.168 nb_sol=0 ticks=53797 tps=100 nb_sec=537
case_no=180 label=Case6.168 nb_sol=0 ticks=60642 tps=100 nb_sec=606
case_no=180 label=Case6.168 nb_sol=0 ticks=171516 tps=100 nb_sec=1715
case_no=180 label=Case6.168 nb_sol=0 ticks=39517 tps=100 nb_sec=395
case_no=180 label=Case6.168 nb_sol=0 ticks=61895 tps=100 nb_sec=618
case_no=180 label=Case6.168 nb_sol=0 ticks=62583 tps=100 nb_sec=625
case_no=180 label=Case6.168 nb_sol=0 ticks=72460 tps=100 nb_sec=724
case_no=180 label=Case6.168 nb_sol=0 ticks=48020 tps=100 nb_sec=480
case_no=180 label=Case6.168 nb_sol=0 ticks=64091 tps=100 nb_sec=640
case_no=180 label=Case6.168 nb_sol=0 ticks=35075 tps=100 nb_sec=350
case_no=180 label=Case6.168 nb_sol=0 ticks=17512 tps=100 nb_sec=175
case_no=180 label=Case6.168 nb_sol=0 ticks=110220 tps=100 nb_sec=1102
case_no=180 label=Case6.168 nb_sol=0 ticks=139971 tps=100 nb_sec=1399
case_no=180 label=Case6.168 nb_sol=0 ticks=133178 tps=100 nb_sec=1331
case_no=180 label=Case6.168 nb_sol=0 ticks=121235 tps=100 nb_sec=1212
case_no=180 label=Case6.168 nb_sol=0 ticks=79292 tps=100 nb_sec=792
case_no=180 label=Case6.168 nb_sol=0 ticks=78624 tps=100 nb_sec=786
case_no=180 label=Case6.168 nb_sol=0 ticks=148563 tps=100 nb_sec=1485
case_no=180 label=Case6.168 nb_sol=0 ticks=107312 tps=100 nb_sec=1073
case_no=180 label=Case6.168 nb_sol=0 ticks=59548 tps=100 nb_sec=595
case_no=180 label=Case6.168 nb_sol=0 ticks=137932 tps=100 nb_sec=1379
case_no=180 label=Case6.168 nb_sol=0 ticks=144057 tps=100 nb_sec=1440
case_no=180 label=Case6.168 nb_sol=0 ticks=60321 tps=100 nb_sec=603
case_no=180 label=Case6.168 nb_sol=0 ticks=83149 tps=100 nb_sec=831
case_no=180 label=Case6.168 nb_sol=0 ticks=79620 tps=100 nb_sec=796
case_no=180 label=Case6.168 nb_sol=0 ticks=36358 tps=100 nb_sec=363
case_no=180 label=Case6.168 nb_sol=0 ticks=68715 tps=100 nb_sec=687
case_no=180 label=Case6.168 nb_sol=0 ticks=50538 tps=100 nb_sec=505
case_no=180 label=Case6.168 nb_sol=0 ticks=20253 tps=100 nb_sec=202
case_no=180 label=Case6.168 nb_sol=0 ticks=155134 tps=100 nb_sec=1551
case_no=180 label=Case6.168 nb_sol=0 ticks=115067 tps=100 nb_sec=1150
case_no=180 label=Case6.168 nb_sol=0 ticks=114980 tps=100 nb_sec=1149
case_no=180 label=Case6.168 nb_sol=0 ticks=276698 tps=100 nb_sec=2766
case_no=180 label=Case6.168 nb_sol=0 ticks=107669 tps=100 nb_sec=1076
case_no=180 label=Case6.168 nb_sol=0 ticks=143865 tps=100 nb_sec=1438
case_no=180 label=Case6.168 nb_sol=0 ticks=131171 tps=100 nb_sec=1311
case_no=180 label=Case6.168 nb_sol=0 ticks=72702 tps=100 nb_sec=727
case_no=180 label=Case6.168 nb_sol=0 ticks=63548 tps=100 nb_sec=635
case_no=180 label=Case6.168 nb_sol=0 ticks=143101 tps=100 nb_sec=1431
case_no=180 label=Case6.168 nb_sol=0 ticks=84096 tps=100 nb_sec=840
case_no=180 label=Case6.168 nb_sol=0 ticks=80681 tps=100 nb_sec=806
case_no=180 label=Case6.168 nb_sol=0 ticks=132284 tps=100 nb_sec=1322
case_no=180 label=Case6.168 nb_sol=0 ticks=81566 tps=100 nb_sec=815
case_no=180 label=Case6.168 nb_sol=0 ticks=36753 tps=100 nb_sec=367
case_no=180 label=Case6.168 nb_sol=0 ticks=59503 tps=100 nb_sec=595
case_no=180 label=Case6.168 nb_sol=0 ticks=31111 tps=100 nb_sec=311
case_no=180 label=Case6.168 nb_sol=0 ticks=12726 tps=100 nb_sec=127
case_no=180 label=Case6.168 nb_sol=0 ticks=168597 tps=100 nb_sec=1685
case_no=180 label=Case6.168 nb_sol=0 ticks=124468 tps=100 nb_sec=1244
case_no=180 label=Case6.168 nb_sol=0 ticks=136495 tps=100 nb_sec=1364
case_no=180 label=Case6.168 nb_sol=0 ticks=179041 tps=100 nb_sec=1790
case_no=180 label=Case6.168 nb_sol=0 ticks=98372 tps=100 nb_sec=983
case_no=180 label=Case6.168 nb_sol=0 ticks=69746 tps=100 nb_sec=697
case_no=180 label=Case6.168 nb_sol=0 ticks=151384 tps=100 nb_sec=1513
case_no=180 label=Case6.168 nb_sol=0 ticks=83236 tps=100 nb_sec=832
case_no=180 label=Case6.168 nb_sol=0 ticks=55180 tps=100 nb_sec=551
case_no=180 label=Case6.168 nb_sol=0 ticks=142016 tps=100 nb_sec=1420
case_no=180 label=Case6.168 nb_sol=0 ticks=85114 tps=100 nb_sec=851
case_no=180 label=Case6.168 nb_sol=0 ticks=51097 tps=100 nb_sec=510
case_no=180 label=Case6.168 nb_sol=0 ticks=184790 tps=100 nb_sec=1847
case_no=180 label=Case6.168 nb_sol=0 ticks=64415 tps=100 nb_sec=644
case_no=180 label=Case6.168 nb_sol=0 ticks=62447 tps=100 nb_sec=624
case_no=180 label=Case6.168 nb_sol=0 ticks=79883 tps=100 nb_sec=798
case_no=180 label=Case6.168 nb_sol=0 ticks=24086 tps=100 nb_sec=240
case_no=180 label=Case6.168 nb_sol=0 ticks=18719 tps=100 nb_sec=187
case_no=180 label=Case6.168 nb_sol=0 ticks=87600 tps=100 nb_sec=876
case_no=180 label=Case6.168 nb_sol=0 ticks=168383 tps=100 nb_sec=1683
case_no=180 label=Case6.168 nb_sol=0 ticks=47595 tps=100 nb_sec=475
case_no=180 label=Case6.168 nb_sol=0 ticks=132288 tps=100 nb_sec=1322
case_no=180 label=Case6.168 nb_sol=0 ticks=119575 tps=100 nb_sec=1195
case_no=180 label=Case6.168 nb_sol=0 ticks=73992 tps=100 nb_sec=739
case_no=180 label=Case6.168 nb_sol=0 ticks=98729 tps=100 nb_sec=987
case_no=180 label=Case6.168 nb_sol=0 ticks=87288 tps=100 nb_sec=872
case_no=180 label=Case6.168 nb_sol=0 ticks=48414 tps=100 nb_sec=484
case_no=180 label=Case6.168 nb_sol=0 ticks=87007 tps=100 nb_sec=870
case_no=180 label=Case6.168 nb_sol=0 ticks=85241 tps=100 nb_sec=852
case_no=180 label=Case6.168 nb_sol=0 ticks=97465 tps=100 nb_sec=974
case_no=180 label=Case6.168 nb_sol=0 ticks=74637 tps=100 nb_sec=746
case_no=180 label=Case6.168 nb_sol=0 ticks=128393 tps=100 nb_sec=1283
case_no=180 label=Case6.168 nb_sol=0 ticks=31750 tps=100 nb_sec=317
case_no=180 label=Case6.168 nb_sol=0 ticks=83602 tps=100 nb_sec=836
case_no=180 label=Case6.168 nb_sol=0 ticks=35898 tps=100 nb_sec=358
case_no=180 label=Case6.168 nb_sol=0 ticks=23342 tps=100 nb_sec=233
case_no=180 label=Case6.168 nb_sol=0 ticks=151784 tps=100 nb_sec=1517
case_no=180 label=Case6.168 nb_sol=0 ticks=99059 tps=100 nb_sec=990
case_no=180 label=Case6.168 nb_sol=0 ticks=105402 tps=100 nb_sec=1054
case_no=180 label=Case6.168 nb_sol=0 ticks=260232 tps=100 nb_sec=2602
case_no=180 label=Case6.168 nb_sol=0 ticks=112444 tps=100 nb_sec=1124
case_no=180 label=Case6.168 nb_sol=0 ticks=73561 tps=100 nb_sec=735
case_no=180 label=Case6.168 nb_sol=0 ticks=135029 tps=100 nb_sec=1350
case_no=180 label=Case6.168 nb_sol=0 ticks=58992 tps=100 nb_sec=589
case_no=180 label=Case6.168 nb_sol=0 ticks=61071 tps=100 nb_sec=610
case_no=180 label=Case6.168 nb_sol=0 ticks=160250 tps=100 nb_sec=1602
case_no=180 label=Case6.168 nb_sol=0 ticks=63697 tps=100 nb_sec=636
Nb_sol=0
Nb_sec=835077
9-15:57:57 or 231 hours
missing cases:
none