argc=5
-M 1024
file2=30_select_Case6.163_starter_15_
checking files mod 1024 from 0 to 1023
case_no=175 label=Case6.163 nb_sol=0 ticks=72746 tps=100 nb_sec=727
case_no=175 label=Case6.163 nb_sol=0 ticks=101483 tps=100 nb_sec=1014
case_no=175 label=Case6.163 nb_sol=0 ticks=148759 tps=100 nb_sec=1487
case_no=175 label=Case6.163 nb_sol=0 ticks=85058 tps=100 nb_sec=850
case_no=175 label=Case6.163 nb_sol=0 ticks=83601 tps=100 nb_sec=836
case_no=175 label=Case6.163 nb_sol=0 ticks=46403 tps=100 nb_sec=464
case_no=175 label=Case6.163 nb_sol=0 ticks=68222 tps=100 nb_sec=682
case_no=175 label=Case6.163 nb_sol=0 ticks=111597 tps=100 nb_sec=1115
case_no=175 label=Case6.163 nb_sol=0 ticks=92467 tps=100 nb_sec=924
case_no=175 label=Case6.163 nb_sol=0 ticks=97115 tps=100 nb_sec=971
case_no=175 label=Case6.163 nb_sol=0 ticks=159386 tps=100 nb_sec=1593
case_no=175 label=Case6.163 nb_sol=0 ticks=83873 tps=100 nb_sec=838
case_no=175 label=Case6.163 nb_sol=0 ticks=148673 tps=100 nb_sec=1486
case_no=175 label=Case6.163 nb_sol=0 ticks=59980 tps=100 nb_sec=599
case_no=175 label=Case6.163 nb_sol=0 ticks=95640 tps=100 nb_sec=956
case_no=175 label=Case6.163 nb_sol=0 ticks=67159 tps=100 nb_sec=671
case_no=175 label=Case6.163 nb_sol=0 ticks=123102 tps=100 nb_sec=1231
case_no=175 label=Case6.163 nb_sol=0 ticks=163312 tps=100 nb_sec=1633
case_no=175 label=Case6.163 nb_sol=0 ticks=82218 tps=100 nb_sec=822
case_no=175 label=Case6.163 nb_sol=0 ticks=82148 tps=100 nb_sec=821
case_no=175 label=Case6.163 nb_sol=0 ticks=126025 tps=100 nb_sec=1260
case_no=175 label=Case6.163 nb_sol=0 ticks=99377 tps=100 nb_sec=993
case_no=175 label=Case6.163 nb_sol=0 ticks=194288 tps=100 nb_sec=1942
case_no=175 label=Case6.163 nb_sol=0 ticks=88850 tps=100 nb_sec=888
case_no=175 label=Case6.163 nb_sol=0 ticks=179271 tps=100 nb_sec=1792
case_no=175 label=Case6.163 nb_sol=0 ticks=214095 tps=100 nb_sec=2140
case_no=175 label=Case6.163 nb_sol=0 ticks=151566 tps=100 nb_sec=1515
case_no=175 label=Case6.163 nb_sol=0 ticks=81420 tps=100 nb_sec=814
case_no=175 label=Case6.163 nb_sol=0 ticks=96681 tps=100 nb_sec=966
case_no=175 label=Case6.163 nb_sol=0 ticks=161485 tps=100 nb_sec=1614
case_no=175 label=Case6.163 nb_sol=0 ticks=66805 tps=100 nb_sec=668
case_no=175 label=Case6.163 nb_sol=0 ticks=195011 tps=100 nb_sec=1950
case_no=175 label=Case6.163 nb_sol=0 ticks=65066 tps=100 nb_sec=650
case_no=175 label=Case6.163 nb_sol=0 ticks=119933 tps=100 nb_sec=1199
case_no=175 label=Case6.163 nb_sol=0 ticks=65046 tps=100 nb_sec=650
case_no=175 label=Case6.163 nb_sol=0 ticks=150092 tps=100 nb_sec=1500
case_no=175 label=Case6.163 nb_sol=0 ticks=70258 tps=100 nb_sec=702
case_no=175 label=Case6.163 nb_sol=0 ticks=133379 tps=100 nb_sec=1333
case_no=175 label=Case6.163 nb_sol=0 ticks=71118 tps=100 nb_sec=711
case_no=175 label=Case6.163 nb_sol=0 ticks=103676 tps=100 nb_sec=1036
case_no=175 label=Case6.163 nb_sol=0 ticks=62686 tps=100 nb_sec=626
case_no=175 label=Case6.163 nb_sol=0 ticks=73316 tps=100 nb_sec=733
case_no=175 label=Case6.163 nb_sol=0 ticks=150030 tps=100 nb_sec=1500
case_no=175 label=Case6.163 nb_sol=0 ticks=126279 tps=100 nb_sec=1262
case_no=175 label=Case6.163 nb_sol=0 ticks=62167 tps=100 nb_sec=621
case_no=175 label=Case6.163 nb_sol=0 ticks=117517 tps=100 nb_sec=1175
case_no=175 label=Case6.163 nb_sol=0 ticks=138705 tps=100 nb_sec=1387
case_no=175 label=Case6.163 nb_sol=0 ticks=154080 tps=100 nb_sec=1540
case_no=175 label=Case6.163 nb_sol=0 ticks=130696 tps=100 nb_sec=1306
case_no=175 label=Case6.163 nb_sol=0 ticks=160852 tps=100 nb_sec=1608
case_no=175 label=Case6.163 nb_sol=0 ticks=132395 tps=100 nb_sec=1323
case_no=175 label=Case6.163 nb_sol=0 ticks=160034 tps=100 nb_sec=1600
case_no=175 label=Case6.163 nb_sol=0 ticks=160771 tps=100 nb_sec=1607
case_no=175 label=Case6.163 nb_sol=0 ticks=85464 tps=100 nb_sec=854
case_no=175 label=Case6.163 nb_sol=0 ticks=71545 tps=100 nb_sec=715
case_no=175 label=Case6.163 nb_sol=0 ticks=147044 tps=100 nb_sec=1470
case_no=175 label=Case6.163 nb_sol=0 ticks=145446 tps=100 nb_sec=1454
case_no=175 label=Case6.163 nb_sol=0 ticks=174627 tps=100 nb_sec=1746
case_no=175 label=Case6.163 nb_sol=0 ticks=155935 tps=100 nb_sec=1559
case_no=175 label=Case6.163 nb_sol=0 ticks=134655 tps=100 nb_sec=1346
case_no=175 label=Case6.163 nb_sol=0 ticks=129050 tps=100 nb_sec=1290
case_no=175 label=Case6.163 nb_sol=0 ticks=70293 tps=100 nb_sec=702
case_no=175 label=Case6.163 nb_sol=0 ticks=74869 tps=100 nb_sec=748
case_no=175 label=Case6.163 nb_sol=0 ticks=140360 tps=100 nb_sec=1403
case_no=175 label=Case6.163 nb_sol=0 ticks=124718 tps=100 nb_sec=1247
case_no=175 label=Case6.163 nb_sol=0 ticks=78169 tps=100 nb_sec=781
case_no=175 label=Case6.163 nb_sol=0 ticks=66688 tps=100 nb_sec=666
case_no=175 label=Case6.163 nb_sol=0 ticks=121727 tps=100 nb_sec=1217
case_no=175 label=Case6.163 nb_sol=0 ticks=155212 tps=100 nb_sec=1552
case_no=175 label=Case6.163 nb_sol=0 ticks=62897 tps=100 nb_sec=628
case_no=175 label=Case6.163 nb_sol=0 ticks=123518 tps=100 nb_sec=1235
case_no=175 label=Case6.163 nb_sol=0 ticks=64803 tps=100 nb_sec=648
case_no=175 label=Case6.163 nb_sol=0 ticks=188214 tps=100 nb_sec=1882
case_no=175 label=Case6.163 nb_sol=0 ticks=62868 tps=100 nb_sec=628
case_no=175 label=Case6.163 nb_sol=0 ticks=57899 tps=100 nb_sec=578
case_no=175 label=Case6.163 nb_sol=0 ticks=134128 tps=100 nb_sec=1341
case_no=175 label=Case6.163 nb_sol=0 ticks=160744 tps=100 nb_sec=1607
case_no=175 label=Case6.163 nb_sol=0 ticks=72596 tps=100 nb_sec=725
case_no=175 label=Case6.163 nb_sol=0 ticks=193187 tps=100 nb_sec=1931
case_no=175 label=Case6.163 nb_sol=0 ticks=123061 tps=100 nb_sec=1230
case_no=175 label=Case6.163 nb_sol=0 ticks=169039 tps=100 nb_sec=1690
case_no=175 label=Case6.163 nb_sol=0 ticks=97641 tps=100 nb_sec=976
case_no=175 label=Case6.163 nb_sol=0 ticks=213829 tps=100 nb_sec=2138
case_no=175 label=Case6.163 nb_sol=0 ticks=90401 tps=100 nb_sec=904
case_no=175 label=Case6.163 nb_sol=0 ticks=180879 tps=100 nb_sec=1808
case_no=175 label=Case6.163 nb_sol=0 ticks=294913 tps=100 nb_sec=2949
case_no=175 label=Case6.163 nb_sol=0 ticks=86929 tps=100 nb_sec=869
case_no=175 label=Case6.163 nb_sol=0 ticks=142216 tps=100 nb_sec=1422
case_no=175 label=Case6.163 nb_sol=0 ticks=178207 tps=100 nb_sec=1782
case_no=175 label=Case6.163 nb_sol=0 ticks=149934 tps=100 nb_sec=1499
case_no=175 label=Case6.163 nb_sol=0 ticks=120788 tps=100 nb_sec=1207
case_no=175 label=Case6.163 nb_sol=0 ticks=173445 tps=100 nb_sec=1734
case_no=175 label=Case6.163 nb_sol=0 ticks=104095 tps=100 nb_sec=1040
case_no=175 label=Case6.163 nb_sol=0 ticks=180857 tps=100 nb_sec=1808
case_no=175 label=Case6.163 nb_sol=0 ticks=101848 tps=100 nb_sec=1018
case_no=175 label=Case6.163 nb_sol=0 ticks=154897 tps=100 nb_sec=1548
case_no=175 label=Case6.163 nb_sol=0 ticks=70530 tps=100 nb_sec=705
case_no=175 label=Case6.163 nb_sol=0 ticks=70767 tps=100 nb_sec=707
case_no=175 label=Case6.163 nb_sol=0 ticks=165920 tps=100 nb_sec=1659
case_no=175 label=Case6.163 nb_sol=0 ticks=135381 tps=100 nb_sec=1353
case_no=175 label=Case6.163 nb_sol=0 ticks=123459 tps=100 nb_sec=1234
case_no=175 label=Case6.163 nb_sol=0 ticks=124117 tps=100 nb_sec=1241
case_no=175 label=Case6.163 nb_sol=0 ticks=108763 tps=100 nb_sec=1087
case_no=175 label=Case6.163 nb_sol=0 ticks=172520 tps=100 nb_sec=1725
case_no=175 label=Case6.163 nb_sol=0 ticks=68338 tps=100 nb_sec=683
case_no=175 label=Case6.163 nb_sol=0 ticks=144036 tps=100 nb_sec=1440
case_no=175 label=Case6.163 nb_sol=0 ticks=78836 tps=100 nb_sec=788
case_no=175 label=Case6.163 nb_sol=0 ticks=185201 tps=100 nb_sec=1852
case_no=175 label=Case6.163 nb_sol=0 ticks=136576 tps=100 nb_sec=1365
case_no=175 label=Case6.163 nb_sol=0 ticks=54283 tps=100 nb_sec=542
case_no=175 label=Case6.163 nb_sol=0 ticks=119827 tps=100 nb_sec=1198
case_no=175 label=Case6.163 nb_sol=0 ticks=67113 tps=100 nb_sec=671
case_no=175 label=Case6.163 nb_sol=0 ticks=120312 tps=100 nb_sec=1203
case_no=175 label=Case6.163 nb_sol=0 ticks=76226 tps=100 nb_sec=762
case_no=175 label=Case6.163 nb_sol=0 ticks=143188 tps=100 nb_sec=1431
case_no=175 label=Case6.163 nb_sol=0 ticks=71656 tps=100 nb_sec=716
case_no=175 label=Case6.163 nb_sol=0 ticks=147354 tps=100 nb_sec=1473
case_no=175 label=Case6.163 nb_sol=0 ticks=132411 tps=100 nb_sec=1324
case_no=175 label=Case6.163 nb_sol=0 ticks=69962 tps=100 nb_sec=699
case_no=175 label=Case6.163 nb_sol=0 ticks=132810 tps=100 nb_sec=1328
case_no=175 label=Case6.163 nb_sol=0 ticks=114404 tps=100 nb_sec=1144
case_no=175 label=Case6.163 nb_sol=0 ticks=76494 tps=100 nb_sec=764
case_no=175 label=Case6.163 nb_sol=0 ticks=78790 tps=100 nb_sec=787
case_no=175 label=Case6.163 nb_sol=0 ticks=70258 tps=100 nb_sec=702
case_no=175 label=Case6.163 nb_sol=0 ticks=167795 tps=100 nb_sec=1677
case_no=175 label=Case6.163 nb_sol=0 ticks=68387 tps=100 nb_sec=683
case_no=175 label=Case6.163 nb_sol=0 ticks=138070 tps=100 nb_sec=1380
case_no=175 label=Case6.163 nb_sol=0 ticks=121035 tps=100 nb_sec=1210
case_no=175 label=Case6.163 nb_sol=0 ticks=171073 tps=100 nb_sec=1710
case_no=175 label=Case6.163 nb_sol=0 ticks=136720 tps=100 nb_sec=1367
case_no=175 label=Case6.163 nb_sol=0 ticks=174138 tps=100 nb_sec=1741
case_no=175 label=Case6.163 nb_sol=0 ticks=62252 tps=100 nb_sec=622
case_no=175 label=Case6.163 nb_sol=0 ticks=103540 tps=100 nb_sec=1035
case_no=175 label=Case6.163 nb_sol=0 ticks=151217 tps=100 nb_sec=1512
case_no=175 label=Case6.163 nb_sol=0 ticks=151208 tps=100 nb_sec=1512
case_no=175 label=Case6.163 nb_sol=0 ticks=159749 tps=100 nb_sec=1597
case_no=175 label=Case6.163 nb_sol=0 ticks=96771 tps=100 nb_sec=967
case_no=175 label=Case6.163 nb_sol=0 ticks=151273 tps=100 nb_sec=1512
case_no=175 label=Case6.163 nb_sol=0 ticks=185126 tps=100 nb_sec=1851
case_no=175 label=Case6.163 nb_sol=0 ticks=148564 tps=100 nb_sec=1485
case_no=175 label=Case6.163 nb_sol=0 ticks=95049 tps=100 nb_sec=950
case_no=175 label=Case6.163 nb_sol=0 ticks=164457 tps=100 nb_sec=1644
case_no=175 label=Case6.163 nb_sol=0 ticks=158385 tps=100 nb_sec=1583
case_no=175 label=Case6.163 nb_sol=0 ticks=77906 tps=100 nb_sec=779
case_no=175 label=Case6.163 nb_sol=0 ticks=89349 tps=100 nb_sec=893
case_no=175 label=Case6.163 nb_sol=0 ticks=111893 tps=100 nb_sec=1118
case_no=175 label=Case6.163 nb_sol=0 ticks=127749 tps=100 nb_sec=1277
case_no=175 label=Case6.163 nb_sol=0 ticks=102036 tps=100 nb_sec=1020
case_no=175 label=Case6.163 nb_sol=0 ticks=170050 tps=100 nb_sec=1700
case_no=175 label=Case6.163 nb_sol=0 ticks=118169 tps=100 nb_sec=1181
case_no=175 label=Case6.163 nb_sol=0 ticks=162171 tps=100 nb_sec=1621
case_no=175 label=Case6.163 nb_sol=0 ticks=124612 tps=100 nb_sec=1246
case_no=175 label=Case6.163 nb_sol=0 ticks=73742 tps=100 nb_sec=737
case_no=175 label=Case6.163 nb_sol=0 ticks=121215 tps=100 nb_sec=1212
case_no=175 label=Case6.163 nb_sol=0 ticks=167441 tps=100 nb_sec=1674
case_no=175 label=Case6.163 nb_sol=0 ticks=82788 tps=100 nb_sec=827
case_no=175 label=Case6.163 nb_sol=0 ticks=85555 tps=100 nb_sec=855
case_no=175 label=Case6.163 nb_sol=0 ticks=160114 tps=100 nb_sec=1601
case_no=175 label=Case6.163 nb_sol=0 ticks=148849 tps=100 nb_sec=1488
case_no=175 label=Case6.163 nb_sol=0 ticks=65325 tps=100 nb_sec=653
case_no=175 label=Case6.163 nb_sol=0 ticks=161687 tps=100 nb_sec=1616
case_no=175 label=Case6.163 nb_sol=0 ticks=123957 tps=100 nb_sec=1239
case_no=175 label=Case6.163 nb_sol=0 ticks=72953 tps=100 nb_sec=729
case_no=175 label=Case6.163 nb_sol=0 ticks=67898 tps=100 nb_sec=678
case_no=175 label=Case6.163 nb_sol=0 ticks=67574 tps=100 nb_sec=675
case_no=175 label=Case6.163 nb_sol=0 ticks=128350 tps=100 nb_sec=1283
case_no=175 label=Case6.163 nb_sol=0 ticks=142033 tps=100 nb_sec=1420
case_no=175 label=Case6.163 nb_sol=0 ticks=64690 tps=100 nb_sec=646
case_no=175 label=Case6.163 nb_sol=0 ticks=69780 tps=100 nb_sec=697
case_no=175 label=Case6.163 nb_sol=0 ticks=131969 tps=100 nb_sec=1319
case_no=175 label=Case6.163 nb_sol=0 ticks=71619 tps=100 nb_sec=716
case_no=175 label=Case6.163 nb_sol=0 ticks=79219 tps=100 nb_sec=792
case_no=175 label=Case6.163 nb_sol=0 ticks=147613 tps=100 nb_sec=1476
case_no=175 label=Case6.163 nb_sol=0 ticks=185157 tps=100 nb_sec=1851
case_no=175 label=Case6.163 nb_sol=0 ticks=140587 tps=100 nb_sec=1405
case_no=175 label=Case6.163 nb_sol=0 ticks=120409 tps=100 nb_sec=1204
case_no=175 label=Case6.163 nb_sol=0 ticks=90080 tps=100 nb_sec=900
case_no=175 label=Case6.163 nb_sol=0 ticks=176710 tps=100 nb_sec=1767
case_no=175 label=Case6.163 nb_sol=0 ticks=188212 tps=100 nb_sec=1882
case_no=175 label=Case6.163 nb_sol=0 ticks=167468 tps=100 nb_sec=1674
case_no=175 label=Case6.163 nb_sol=0 ticks=170642 tps=100 nb_sec=1706
case_no=175 label=Case6.163 nb_sol=0 ticks=150114 tps=100 nb_sec=1501
case_no=175 label=Case6.163 nb_sol=0 ticks=195534 tps=100 nb_sec=1955
case_no=175 label=Case6.163 nb_sol=0 ticks=168905 tps=100 nb_sec=1689
case_no=175 label=Case6.163 nb_sol=0 ticks=170995 tps=100 nb_sec=1709
case_no=175 label=Case6.163 nb_sol=0 ticks=230221 tps=100 nb_sec=2302
case_no=175 label=Case6.163 nb_sol=0 ticks=184545 tps=100 nb_sec=1845
case_no=175 label=Case6.163 nb_sol=0 ticks=83182 tps=100 nb_sec=831
case_no=175 label=Case6.163 nb_sol=0 ticks=114230 tps=100 nb_sec=1142
case_no=175 label=Case6.163 nb_sol=0 ticks=207062 tps=100 nb_sec=2070
case_no=175 label=Case6.163 nb_sol=0 ticks=163786 tps=100 nb_sec=1637
case_no=175 label=Case6.163 nb_sol=0 ticks=167178 tps=100 nb_sec=1671
case_no=175 label=Case6.163 nb_sol=0 ticks=83967 tps=100 nb_sec=839
case_no=175 label=Case6.163 nb_sol=0 ticks=158970 tps=100 nb_sec=1589
case_no=175 label=Case6.163 nb_sol=0 ticks=110396 tps=100 nb_sec=1103
case_no=175 label=Case6.163 nb_sol=0 ticks=151429 tps=100 nb_sec=1514
case_no=175 label=Case6.163 nb_sol=0 ticks=87927 tps=100 nb_sec=879
case_no=175 label=Case6.163 nb_sol=0 ticks=71745 tps=100 nb_sec=717
case_no=175 label=Case6.163 nb_sol=0 ticks=112318 tps=100 nb_sec=1123
case_no=175 label=Case6.163 nb_sol=0 ticks=78542 tps=100 nb_sec=785
case_no=175 label=Case6.163 nb_sol=0 ticks=168917 tps=100 nb_sec=1689
case_no=175 label=Case6.163 nb_sol=0 ticks=85692 tps=100 nb_sec=856
case_no=175 label=Case6.163 nb_sol=0 ticks=192910 tps=100 nb_sec=1929
case_no=175 label=Case6.163 nb_sol=0 ticks=81101 tps=100 nb_sec=811
case_no=175 label=Case6.163 nb_sol=0 ticks=130025 tps=100 nb_sec=1300
case_no=175 label=Case6.163 nb_sol=0 ticks=75106 tps=100 nb_sec=751
case_no=175 label=Case6.163 nb_sol=0 ticks=130306 tps=100 nb_sec=1303
case_no=175 label=Case6.163 nb_sol=0 ticks=64535 tps=100 nb_sec=645
case_no=175 label=Case6.163 nb_sol=0 ticks=64959 tps=100 nb_sec=649
case_no=175 label=Case6.163 nb_sol=0 ticks=57557 tps=100 nb_sec=575
case_no=175 label=Case6.163 nb_sol=0 ticks=132064 tps=100 nb_sec=1320
case_no=175 label=Case6.163 nb_sol=0 ticks=108844 tps=100 nb_sec=1088
case_no=175 label=Case6.163 nb_sol=0 ticks=129198 tps=100 nb_sec=1291
case_no=175 label=Case6.163 nb_sol=0 ticks=178724 tps=100 nb_sec=1787
case_no=175 label=Case6.163 nb_sol=0 ticks=142547 tps=100 nb_sec=1425
case_no=175 label=Case6.163 nb_sol=0 ticks=83613 tps=100 nb_sec=836
case_no=175 label=Case6.163 nb_sol=0 ticks=89286 tps=100 nb_sec=892
case_no=175 label=Case6.163 nb_sol=0 ticks=142943 tps=100 nb_sec=1429
case_no=175 label=Case6.163 nb_sol=0 ticks=83000 tps=100 nb_sec=830
case_no=175 label=Case6.163 nb_sol=0 ticks=138267 tps=100 nb_sec=1382
case_no=175 label=Case6.163 nb_sol=0 ticks=62639 tps=100 nb_sec=626
case_no=175 label=Case6.163 nb_sol=0 ticks=156788 tps=100 nb_sec=1567
case_no=175 label=Case6.163 nb_sol=0 ticks=76803 tps=100 nb_sec=768
case_no=175 label=Case6.163 nb_sol=0 ticks=137347 tps=100 nb_sec=1373
case_no=175 label=Case6.163 nb_sol=0 ticks=81278 tps=100 nb_sec=812
case_no=175 label=Case6.163 nb_sol=0 ticks=68496 tps=100 nb_sec=684
case_no=175 label=Case6.163 nb_sol=0 ticks=140144 tps=100 nb_sec=1401
case_no=175 label=Case6.163 nb_sol=0 ticks=106963 tps=100 nb_sec=1069
case_no=175 label=Case6.163 nb_sol=0 ticks=151266 tps=100 nb_sec=1512
case_no=175 label=Case6.163 nb_sol=0 ticks=86552 tps=100 nb_sec=865
case_no=175 label=Case6.163 nb_sol=0 ticks=74477 tps=100 nb_sec=744
case_no=175 label=Case6.163 nb_sol=0 ticks=83033 tps=100 nb_sec=830
case_no=175 label=Case6.163 nb_sol=0 ticks=67550 tps=100 nb_sec=675
case_no=175 label=Case6.163 nb_sol=0 ticks=138185 tps=100 nb_sec=1381
case_no=175 label=Case6.163 nb_sol=0 ticks=147946 tps=100 nb_sec=1479
case_no=175 label=Case6.163 nb_sol=0 ticks=148533 tps=100 nb_sec=1485
case_no=175 label=Case6.163 nb_sol=0 ticks=71774 tps=100 nb_sec=717
case_no=175 label=Case6.163 nb_sol=0 ticks=88046 tps=100 nb_sec=880
case_no=175 label=Case6.163 nb_sol=0 ticks=80814 tps=100 nb_sec=808
case_no=175 label=Case6.163 nb_sol=0 ticks=77144 tps=100 nb_sec=771
case_no=175 label=Case6.163 nb_sol=0 ticks=72624 tps=100 nb_sec=726
case_no=175 label=Case6.163 nb_sol=0 ticks=73222 tps=100 nb_sec=732
case_no=175 label=Case6.163 nb_sol=0 ticks=92103 tps=100 nb_sec=921
case_no=175 label=Case6.163 nb_sol=0 ticks=70263 tps=100 nb_sec=702
case_no=175 label=Case6.163 nb_sol=0 ticks=77625 tps=100 nb_sec=776
case_no=175 label=Case6.163 nb_sol=0 ticks=94979 tps=100 nb_sec=949
case_no=175 label=Case6.163 nb_sol=0 ticks=87568 tps=100 nb_sec=875
case_no=175 label=Case6.163 nb_sol=0 ticks=72490 tps=100 nb_sec=724
case_no=175 label=Case6.163 nb_sol=0 ticks=72481 tps=100 nb_sec=724
case_no=175 label=Case6.163 nb_sol=0 ticks=70691 tps=100 nb_sec=706
case_no=175 label=Case6.163 nb_sol=0 ticks=72751 tps=100 nb_sec=727
case_no=175 label=Case6.163 nb_sol=0 ticks=88902 tps=100 nb_sec=889
case_no=175 label=Case6.163 nb_sol=0 ticks=73188 tps=100 nb_sec=731
case_no=175 label=Case6.163 nb_sol=0 ticks=106483 tps=100 nb_sec=1064
case_no=175 label=Case6.163 nb_sol=0 ticks=77812 tps=100 nb_sec=778
case_no=175 label=Case6.163 nb_sol=0 ticks=169273 tps=100 nb_sec=1692
case_no=175 label=Case6.163 nb_sol=0 ticks=185171 tps=100 nb_sec=1851
case_no=175 label=Case6.163 nb_sol=0 ticks=155743 tps=100 nb_sec=1557
case_no=175 label=Case6.163 nb_sol=0 ticks=139002 tps=100 nb_sec=1390
case_no=175 label=Case6.163 nb_sol=0 ticks=152767 tps=100 nb_sec=1527
case_no=175 label=Case6.163 nb_sol=0 ticks=153766 tps=100 nb_sec=1537
case_no=175 label=Case6.163 nb_sol=0 ticks=160709 tps=100 nb_sec=1607
case_no=175 label=Case6.163 nb_sol=0 ticks=167499 tps=100 nb_sec=1674
case_no=175 label=Case6.163 nb_sol=0 ticks=159292 tps=100 nb_sec=1592
case_no=175 label=Case6.163 nb_sol=0 ticks=160564 tps=100 nb_sec=1605
case_no=175 label=Case6.163 nb_sol=0 ticks=150035 tps=100 nb_sec=1500
case_no=175 label=Case6.163 nb_sol=0 ticks=165095 tps=100 nb_sec=1650
case_no=175 label=Case6.163 nb_sol=0 ticks=170547 tps=100 nb_sec=1705
case_no=175 label=Case6.163 nb_sol=0 ticks=138535 tps=100 nb_sec=1385
case_no=175 label=Case6.163 nb_sol=0 ticks=210687 tps=100 nb_sec=2106
case_no=175 label=Case6.163 nb_sol=0 ticks=165204 tps=100 nb_sec=1652
case_no=175 label=Case6.163 nb_sol=0 ticks=169701 tps=100 nb_sec=1697
case_no=175 label=Case6.163 nb_sol=0 ticks=77921 tps=100 nb_sec=779
case_no=175 label=Case6.163 nb_sol=0 ticks=141239 tps=100 nb_sec=1412
case_no=175 label=Case6.163 nb_sol=0 ticks=212600 tps=100 nb_sec=2126
case_no=175 label=Case6.163 nb_sol=0 ticks=130105 tps=100 nb_sec=1301
case_no=175 label=Case6.163 nb_sol=0 ticks=93663 tps=100 nb_sec=936
case_no=175 label=Case6.163 nb_sol=0 ticks=88145 tps=100 nb_sec=881
case_no=175 label=Case6.163 nb_sol=0 ticks=180582 tps=100 nb_sec=1805
case_no=175 label=Case6.163 nb_sol=0 ticks=151456 tps=100 nb_sec=1514
case_no=175 label=Case6.163 nb_sol=0 ticks=182937 tps=100 nb_sec=1829
case_no=175 label=Case6.163 nb_sol=0 ticks=142335 tps=100 nb_sec=1423
case_no=175 label=Case6.163 nb_sol=0 ticks=95702 tps=100 nb_sec=957
case_no=175 label=Case6.163 nb_sol=0 ticks=155450 tps=100 nb_sec=1554
case_no=175 label=Case6.163 nb_sol=0 ticks=86721 tps=100 nb_sec=867
case_no=175 label=Case6.163 nb_sol=0 ticks=95219 tps=100 nb_sec=952
case_no=175 label=Case6.163 nb_sol=0 ticks=98700 tps=100 nb_sec=987
case_no=175 label=Case6.163 nb_sol=0 ticks=75605 tps=100 nb_sec=756
case_no=175 label=Case6.163 nb_sol=0 ticks=111316 tps=100 nb_sec=1113
case_no=175 label=Case6.163 nb_sol=0 ticks=63449 tps=100 nb_sec=634
case_no=175 label=Case6.163 nb_sol=0 ticks=72105 tps=100 nb_sec=721
case_no=175 label=Case6.163 nb_sol=0 ticks=88577 tps=100 nb_sec=885
case_no=175 label=Case6.163 nb_sol=0 ticks=188991 tps=100 nb_sec=1889
case_no=175 label=Case6.163 nb_sol=0 ticks=207736 tps=100 nb_sec=2077
case_no=175 label=Case6.163 nb_sol=0 ticks=95203 tps=100 nb_sec=952
case_no=175 label=Case6.163 nb_sol=0 ticks=97602 tps=100 nb_sec=976
case_no=175 label=Case6.163 nb_sol=0 ticks=92440 tps=100 nb_sec=924
case_no=175 label=Case6.163 nb_sol=0 ticks=95502 tps=100 nb_sec=955
case_no=175 label=Case6.163 nb_sol=0 ticks=137227 tps=100 nb_sec=1372
case_no=175 label=Case6.163 nb_sol=0 ticks=97670 tps=100 nb_sec=976
case_no=175 label=Case6.163 nb_sol=0 ticks=152085 tps=100 nb_sec=1520
case_no=175 label=Case6.163 nb_sol=0 ticks=133214 tps=100 nb_sec=1332
case_no=175 label=Case6.163 nb_sol=0 ticks=105740 tps=100 nb_sec=1057
case_no=175 label=Case6.163 nb_sol=0 ticks=111618 tps=100 nb_sec=1116
case_no=175 label=Case6.163 nb_sol=0 ticks=70828 tps=100 nb_sec=708
case_no=175 label=Case6.163 nb_sol=0 ticks=166905 tps=100 nb_sec=1669
case_no=175 label=Case6.163 nb_sol=0 ticks=52365 tps=100 nb_sec=523
case_no=175 label=Case6.163 nb_sol=0 ticks=78233 tps=100 nb_sec=782
case_no=175 label=Case6.163 nb_sol=0 ticks=64733 tps=100 nb_sec=647
case_no=175 label=Case6.163 nb_sol=0 ticks=91094 tps=100 nb_sec=910
case_no=175 label=Case6.163 nb_sol=0 ticks=175554 tps=100 nb_sec=1755
case_no=175 label=Case6.163 nb_sol=0 ticks=152020 tps=100 nb_sec=1520
case_no=175 label=Case6.163 nb_sol=0 ticks=85203 tps=100 nb_sec=852
case_no=175 label=Case6.163 nb_sol=0 ticks=81235 tps=100 nb_sec=812
case_no=175 label=Case6.163 nb_sol=0 ticks=115229 tps=100 nb_sec=1152
case_no=175 label=Case6.163 nb_sol=0 ticks=73476 tps=100 nb_sec=734
case_no=175 label=Case6.163 nb_sol=0 ticks=64749 tps=100 nb_sec=647
case_no=175 label=Case6.163 nb_sol=0 ticks=108638 tps=100 nb_sec=1086
case_no=175 label=Case6.163 nb_sol=0 ticks=89023 tps=100 nb_sec=890
case_no=175 label=Case6.163 nb_sol=0 ticks=149053 tps=100 nb_sec=1490
case_no=175 label=Case6.163 nb_sol=0 ticks=74295 tps=100 nb_sec=742
case_no=175 label=Case6.163 nb_sol=0 ticks=84476 tps=100 nb_sec=844
case_no=175 label=Case6.163 nb_sol=0 ticks=118619 tps=100 nb_sec=1186
case_no=175 label=Case6.163 nb_sol=0 ticks=73023 tps=100 nb_sec=730
case_no=175 label=Case6.163 nb_sol=0 ticks=67076 tps=100 nb_sec=670
case_no=175 label=Case6.163 nb_sol=0 ticks=126073 tps=100 nb_sec=1260
case_no=175 label=Case6.163 nb_sol=0 ticks=72497 tps=100 nb_sec=724
case_no=175 label=Case6.163 nb_sol=0 ticks=52028 tps=100 nb_sec=520
case_no=175 label=Case6.163 nb_sol=0 ticks=169465 tps=100 nb_sec=1694
case_no=175 label=Case6.163 nb_sol=0 ticks=96355 tps=100 nb_sec=963
case_no=175 label=Case6.163 nb_sol=0 ticks=156831 tps=100 nb_sec=1568
case_no=175 label=Case6.163 nb_sol=0 ticks=104648 tps=100 nb_sec=1046
case_no=175 label=Case6.163 nb_sol=0 ticks=102480 tps=100 nb_sec=1024
case_no=175 label=Case6.163 nb_sol=0 ticks=75827 tps=100 nb_sec=758
case_no=175 label=Case6.163 nb_sol=0 ticks=83100 tps=100 nb_sec=831
case_no=175 label=Case6.163 nb_sol=0 ticks=72453 tps=100 nb_sec=724
case_no=175 label=Case6.163 nb_sol=0 ticks=83303 tps=100 nb_sec=833
case_no=175 label=Case6.163 nb_sol=0 ticks=69193 tps=100 nb_sec=691
case_no=175 label=Case6.163 nb_sol=0 ticks=127614 tps=100 nb_sec=1276
case_no=175 label=Case6.163 nb_sol=0 ticks=78286 tps=100 nb_sec=782
case_no=175 label=Case6.163 nb_sol=0 ticks=141683 tps=100 nb_sec=1416
case_no=175 label=Case6.163 nb_sol=0 ticks=117599 tps=100 nb_sec=1175
case_no=175 label=Case6.163 nb_sol=0 ticks=147996 tps=100 nb_sec=1479
case_no=175 label=Case6.163 nb_sol=0 ticks=165078 tps=100 nb_sec=1650
case_no=175 label=Case6.163 nb_sol=0 ticks=89714 tps=100 nb_sec=897
case_no=175 label=Case6.163 nb_sol=0 ticks=72686 tps=100 nb_sec=726
case_no=175 label=Case6.163 nb_sol=0 ticks=135030 tps=100 nb_sec=1350
case_no=175 label=Case6.163 nb_sol=0 ticks=67515 tps=100 nb_sec=675
case_no=175 label=Case6.163 nb_sol=0 ticks=70180 tps=100 nb_sec=701
case_no=175 label=Case6.163 nb_sol=0 ticks=59244 tps=100 nb_sec=592
case_no=175 label=Case6.163 nb_sol=0 ticks=139376 tps=100 nb_sec=1393
case_no=175 label=Case6.163 nb_sol=0 ticks=118503 tps=100 nb_sec=1185
case_no=175 label=Case6.163 nb_sol=0 ticks=139473 tps=100 nb_sec=1394
case_no=175 label=Case6.163 nb_sol=0 ticks=75731 tps=100 nb_sec=757
case_no=175 label=Case6.163 nb_sol=0 ticks=150709 tps=100 nb_sec=1507
case_no=175 label=Case6.163 nb_sol=0 ticks=64025 tps=100 nb_sec=640
case_no=175 label=Case6.163 nb_sol=0 ticks=167746 tps=100 nb_sec=1677
case_no=175 label=Case6.163 nb_sol=0 ticks=100033 tps=100 nb_sec=1000
case_no=175 label=Case6.163 nb_sol=0 ticks=88653 tps=100 nb_sec=886
case_no=175 label=Case6.163 nb_sol=0 ticks=147466 tps=100 nb_sec=1474
case_no=175 label=Case6.163 nb_sol=0 ticks=90707 tps=100 nb_sec=907
case_no=175 label=Case6.163 nb_sol=0 ticks=122421 tps=100 nb_sec=1224
case_no=175 label=Case6.163 nb_sol=0 ticks=99056 tps=100 nb_sec=990
case_no=175 label=Case6.163 nb_sol=0 ticks=68306 tps=100 nb_sec=683
case_no=175 label=Case6.163 nb_sol=0 ticks=134330 tps=100 nb_sec=1343
case_no=175 label=Case6.163 nb_sol=0 ticks=108459 tps=100 nb_sec=1084
case_no=175 label=Case6.163 nb_sol=0 ticks=93816 tps=100 nb_sec=938
case_no=175 label=Case6.163 nb_sol=0 ticks=111931 tps=100 nb_sec=1119
case_no=175 label=Case6.163 nb_sol=0 ticks=69514 tps=100 nb_sec=695
case_no=175 label=Case6.163 nb_sol=0 ticks=117170 tps=100 nb_sec=1171
case_no=175 label=Case6.163 nb_sol=0 ticks=66013 tps=100 nb_sec=660
case_no=175 label=Case6.163 nb_sol=0 ticks=137193 tps=100 nb_sec=1371
case_no=175 label=Case6.163 nb_sol=0 ticks=137547 tps=100 nb_sec=1375
case_no=175 label=Case6.163 nb_sol=0 ticks=107565 tps=100 nb_sec=1075
case_no=175 label=Case6.163 nb_sol=0 ticks=77152 tps=100 nb_sec=771
case_no=175 label=Case6.163 nb_sol=0 ticks=142145 tps=100 nb_sec=1421
case_no=175 label=Case6.163 nb_sol=0 ticks=181973 tps=100 nb_sec=1819
case_no=175 label=Case6.163 nb_sol=0 ticks=124511 tps=100 nb_sec=1245
case_no=175 label=Case6.163 nb_sol=0 ticks=167689 tps=100 nb_sec=1676
case_no=175 label=Case6.163 nb_sol=0 ticks=67754 tps=100 nb_sec=677
case_no=175 label=Case6.163 nb_sol=0 ticks=148007 tps=100 nb_sec=1480
case_no=175 label=Case6.163 nb_sol=0 ticks=120698 tps=100 nb_sec=1206
case_no=175 label=Case6.163 nb_sol=0 ticks=126792 tps=100 nb_sec=1267
case_no=175 label=Case6.163 nb_sol=0 ticks=59366 tps=100 nb_sec=593
case_no=175 label=Case6.163 nb_sol=0 ticks=74177 tps=100 nb_sec=741
case_no=175 label=Case6.163 nb_sol=0 ticks=58949 tps=100 nb_sec=589
case_no=175 label=Case6.163 nb_sol=0 ticks=133478 tps=100 nb_sec=1334
case_no=175 label=Case6.163 nb_sol=0 ticks=109020 tps=100 nb_sec=1090
case_no=175 label=Case6.163 nb_sol=0 ticks=85690 tps=100 nb_sec=856
case_no=175 label=Case6.163 nb_sol=0 ticks=171218 tps=100 nb_sec=1712
case_no=175 label=Case6.163 nb_sol=0 ticks=109099 tps=100 nb_sec=1090
case_no=175 label=Case6.163 nb_sol=0 ticks=62212 tps=100 nb_sec=622
case_no=175 label=Case6.163 nb_sol=0 ticks=68305 tps=100 nb_sec=683
case_no=175 label=Case6.163 nb_sol=0 ticks=99714 tps=100 nb_sec=997
case_no=175 label=Case6.163 nb_sol=0 ticks=163275 tps=100 nb_sec=1632
case_no=175 label=Case6.163 nb_sol=0 ticks=75469 tps=100 nb_sec=754
case_no=175 label=Case6.163 nb_sol=0 ticks=90971 tps=100 nb_sec=909
case_no=175 label=Case6.163 nb_sol=0 ticks=163537 tps=100 nb_sec=1635
case_no=175 label=Case6.163 nb_sol=0 ticks=142303 tps=100 nb_sec=1423
case_no=175 label=Case6.163 nb_sol=0 ticks=77451 tps=100 nb_sec=774
case_no=175 label=Case6.163 nb_sol=0 ticks=75588 tps=100 nb_sec=755
case_no=175 label=Case6.163 nb_sol=0 ticks=76186 tps=100 nb_sec=761
case_no=175 label=Case6.163 nb_sol=0 ticks=68908 tps=100 nb_sec=689
case_no=175 label=Case6.163 nb_sol=0 ticks=68078 tps=100 nb_sec=680
case_no=175 label=Case6.163 nb_sol=0 ticks=96761 tps=100 nb_sec=967
case_no=175 label=Case6.163 nb_sol=0 ticks=87427 tps=100 nb_sec=874
case_no=175 label=Case6.163 nb_sol=0 ticks=100149 tps=100 nb_sec=1001
case_no=175 label=Case6.163 nb_sol=0 ticks=121853 tps=100 nb_sec=1218
case_no=175 label=Case6.163 nb_sol=0 ticks=83468 tps=100 nb_sec=834
case_no=175 label=Case6.163 nb_sol=0 ticks=135543 tps=100 nb_sec=1355
case_no=175 label=Case6.163 nb_sol=0 ticks=161465 tps=100 nb_sec=1614
case_no=175 label=Case6.163 nb_sol=0 ticks=85695 tps=100 nb_sec=856
case_no=175 label=Case6.163 nb_sol=0 ticks=80310 tps=100 nb_sec=803
case_no=175 label=Case6.163 nb_sol=0 ticks=124252 tps=100 nb_sec=1242
case_no=175 label=Case6.163 nb_sol=0 ticks=121022 tps=100 nb_sec=1210
case_no=175 label=Case6.163 nb_sol=0 ticks=99967 tps=100 nb_sec=999
case_no=175 label=Case6.163 nb_sol=0 ticks=72393 tps=100 nb_sec=723
case_no=175 label=Case6.163 nb_sol=0 ticks=70050 tps=100 nb_sec=700
case_no=175 label=Case6.163 nb_sol=0 ticks=103912 tps=100 nb_sec=1039
case_no=175 label=Case6.163 nb_sol=0 ticks=60176 tps=100 nb_sec=601
case_no=175 label=Case6.163 nb_sol=0 ticks=109879 tps=100 nb_sec=1098
case_no=175 label=Case6.163 nb_sol=0 ticks=101804 tps=100 nb_sec=1018
case_no=175 label=Case6.163 nb_sol=0 ticks=164025 tps=100 nb_sec=1640
case_no=175 label=Case6.163 nb_sol=0 ticks=118596 tps=100 nb_sec=1185
case_no=175 label=Case6.163 nb_sol=0 ticks=99730 tps=100 nb_sec=997
case_no=175 label=Case6.163 nb_sol=0 ticks=69862 tps=100 nb_sec=698
case_no=175 label=Case6.163 nb_sol=0 ticks=123749 tps=100 nb_sec=1237
case_no=175 label=Case6.163 nb_sol=0 ticks=75060 tps=100 nb_sec=750
case_no=175 label=Case6.163 nb_sol=0 ticks=155643 tps=100 nb_sec=1556
case_no=175 label=Case6.163 nb_sol=0 ticks=96984 tps=100 nb_sec=969
case_no=175 label=Case6.163 nb_sol=0 ticks=68327 tps=100 nb_sec=683
case_no=175 label=Case6.163 nb_sol=0 ticks=131390 tps=100 nb_sec=1313
case_no=175 label=Case6.163 nb_sol=0 ticks=89372 tps=100 nb_sec=893
case_no=175 label=Case6.163 nb_sol=0 ticks=125856 tps=100 nb_sec=1258
case_no=175 label=Case6.163 nb_sol=0 ticks=178960 tps=100 nb_sec=1789
case_no=175 label=Case6.163 nb_sol=0 ticks=76215 tps=100 nb_sec=762
case_no=175 label=Case6.163 nb_sol=0 ticks=134239 tps=100 nb_sec=1342
case_no=175 label=Case6.163 nb_sol=0 ticks=128892 tps=100 nb_sec=1288
case_no=175 label=Case6.163 nb_sol=0 ticks=99697 tps=100 nb_sec=996
case_no=175 label=Case6.163 nb_sol=0 ticks=160839 tps=100 nb_sec=1608
case_no=175 label=Case6.163 nb_sol=0 ticks=86074 tps=100 nb_sec=860
case_no=175 label=Case6.163 nb_sol=0 ticks=126748 tps=100 nb_sec=1267
case_no=175 label=Case6.163 nb_sol=0 ticks=163538 tps=100 nb_sec=1635
case_no=175 label=Case6.163 nb_sol=0 ticks=66165 tps=100 nb_sec=661
case_no=175 label=Case6.163 nb_sol=0 ticks=226409 tps=100 nb_sec=2264
case_no=175 label=Case6.163 nb_sol=0 ticks=69939 tps=100 nb_sec=699
case_no=175 label=Case6.163 nb_sol=0 ticks=145452 tps=100 nb_sec=1454
case_no=175 label=Case6.163 nb_sol=0 ticks=96997 tps=100 nb_sec=969
case_no=175 label=Case6.163 nb_sol=0 ticks=72946 tps=100 nb_sec=729
case_no=175 label=Case6.163 nb_sol=0 ticks=68952 tps=100 nb_sec=689
case_no=175 label=Case6.163 nb_sol=0 ticks=171071 tps=100 nb_sec=1710
case_no=175 label=Case6.163 nb_sol=0 ticks=76762 tps=100 nb_sec=767
case_no=175 label=Case6.163 nb_sol=0 ticks=112449 tps=100 nb_sec=1124
case_no=175 label=Case6.163 nb_sol=0 ticks=60092 tps=100 nb_sec=600
case_no=175 label=Case6.163 nb_sol=0 ticks=65577 tps=100 nb_sec=655
case_no=175 label=Case6.163 nb_sol=0 ticks=144040 tps=100 nb_sec=1440
case_no=175 label=Case6.163 nb_sol=0 ticks=145053 tps=100 nb_sec=1450
case_no=175 label=Case6.163 nb_sol=0 ticks=105706 tps=100 nb_sec=1057
case_no=175 label=Case6.163 nb_sol=0 ticks=165756 tps=100 nb_sec=1657
case_no=175 label=Case6.163 nb_sol=0 ticks=73066 tps=100 nb_sec=730
case_no=175 label=Case6.163 nb_sol=0 ticks=88067 tps=100 nb_sec=880
case_no=175 label=Case6.163 nb_sol=0 ticks=76405 tps=100 nb_sec=764
case_no=175 label=Case6.163 nb_sol=0 ticks=99009 tps=100 nb_sec=990
case_no=175 label=Case6.163 nb_sol=0 ticks=99698 tps=100 nb_sec=996
case_no=175 label=Case6.163 nb_sol=0 ticks=160451 tps=100 nb_sec=1604
case_no=175 label=Case6.163 nb_sol=0 ticks=71878 tps=100 nb_sec=718
case_no=175 label=Case6.163 nb_sol=0 ticks=82081 tps=100 nb_sec=820
case_no=175 label=Case6.163 nb_sol=0 ticks=111153 tps=100 nb_sec=1111
case_no=175 label=Case6.163 nb_sol=0 ticks=68078 tps=100 nb_sec=680
case_no=175 label=Case6.163 nb_sol=0 ticks=55674 tps=100 nb_sec=556
case_no=175 label=Case6.163 nb_sol=0 ticks=152720 tps=100 nb_sec=1527
case_no=175 label=Case6.163 nb_sol=0 ticks=129469 tps=100 nb_sec=1294
case_no=175 label=Case6.163 nb_sol=0 ticks=124283 tps=100 nb_sec=1242
case_no=175 label=Case6.163 nb_sol=0 ticks=86132 tps=100 nb_sec=861
case_no=175 label=Case6.163 nb_sol=0 ticks=68408 tps=100 nb_sec=684
case_no=175 label=Case6.163 nb_sol=0 ticks=73589 tps=100 nb_sec=735
case_no=175 label=Case6.163 nb_sol=0 ticks=59183 tps=100 nb_sec=591
case_no=175 label=Case6.163 nb_sol=0 ticks=139010 tps=100 nb_sec=1390
case_no=175 label=Case6.163 nb_sol=0 ticks=63788 tps=100 nb_sec=637
case_no=175 label=Case6.163 nb_sol=0 ticks=72075 tps=100 nb_sec=720
case_no=175 label=Case6.163 nb_sol=0 ticks=105140 tps=100 nb_sec=1051
case_no=175 label=Case6.163 nb_sol=0 ticks=126788 tps=100 nb_sec=1267
case_no=175 label=Case6.163 nb_sol=0 ticks=64388 tps=100 nb_sec=643
case_no=175 label=Case6.163 nb_sol=0 ticks=116971 tps=100 nb_sec=1169
case_no=175 label=Case6.163 nb_sol=0 ticks=72279 tps=100 nb_sec=722
case_no=175 label=Case6.163 nb_sol=0 ticks=58528 tps=100 nb_sec=585
case_no=175 label=Case6.163 nb_sol=0 ticks=124261 tps=100 nb_sec=1242
case_no=175 label=Case6.163 nb_sol=0 ticks=83683 tps=100 nb_sec=836
case_no=175 label=Case6.163 nb_sol=0 ticks=195751 tps=100 nb_sec=1957
case_no=175 label=Case6.163 nb_sol=0 ticks=150158 tps=100 nb_sec=1501
case_no=175 label=Case6.163 nb_sol=0 ticks=67110 tps=100 nb_sec=671
case_no=175 label=Case6.163 nb_sol=0 ticks=65789 tps=100 nb_sec=657
case_no=175 label=Case6.163 nb_sol=0 ticks=85350 tps=100 nb_sec=853
case_no=175 label=Case6.163 nb_sol=0 ticks=75277 tps=100 nb_sec=752
case_no=175 label=Case6.163 nb_sol=0 ticks=89528 tps=100 nb_sec=895
case_no=175 label=Case6.163 nb_sol=0 ticks=172885 tps=100 nb_sec=1728
case_no=175 label=Case6.163 nb_sol=0 ticks=126046 tps=100 nb_sec=1260
case_no=175 label=Case6.163 nb_sol=0 ticks=97784 tps=100 nb_sec=977
case_no=175 label=Case6.163 nb_sol=0 ticks=87945 tps=100 nb_sec=879
case_no=175 label=Case6.163 nb_sol=0 ticks=134342 tps=100 nb_sec=1343
case_no=175 label=Case6.163 nb_sol=0 ticks=137922 tps=100 nb_sec=1379
case_no=175 label=Case6.163 nb_sol=0 ticks=77397 tps=100 nb_sec=773
case_no=175 label=Case6.163 nb_sol=0 ticks=118588 tps=100 nb_sec=1185
case_no=175 label=Case6.163 nb_sol=0 ticks=77460 tps=100 nb_sec=774
case_no=175 label=Case6.163 nb_sol=0 ticks=197653 tps=100 nb_sec=1976
case_no=175 label=Case6.163 nb_sol=0 ticks=188347 tps=100 nb_sec=1883
case_no=175 label=Case6.163 nb_sol=0 ticks=186730 tps=100 nb_sec=1867
case_no=175 label=Case6.163 nb_sol=0 ticks=75027 tps=100 nb_sec=750
case_no=175 label=Case6.163 nb_sol=0 ticks=149243 tps=100 nb_sec=1492
case_no=175 label=Case6.163 nb_sol=0 ticks=146715 tps=100 nb_sec=1467
case_no=175 label=Case6.163 nb_sol=0 ticks=123170 tps=100 nb_sec=1231
case_no=175 label=Case6.163 nb_sol=0 ticks=123387 tps=100 nb_sec=1233
case_no=175 label=Case6.163 nb_sol=0 ticks=70661 tps=100 nb_sec=706
case_no=175 label=Case6.163 nb_sol=0 ticks=70369 tps=100 nb_sec=703
case_no=175 label=Case6.163 nb_sol=0 ticks=90035 tps=100 nb_sec=900
case_no=175 label=Case6.163 nb_sol=0 ticks=123584 tps=100 nb_sec=1235
case_no=175 label=Case6.163 nb_sol=0 ticks=83418 tps=100 nb_sec=834
case_no=175 label=Case6.163 nb_sol=0 ticks=136546 tps=100 nb_sec=1365
case_no=175 label=Case6.163 nb_sol=0 ticks=65003 tps=100 nb_sec=650
case_no=175 label=Case6.163 nb_sol=0 ticks=138212 tps=100 nb_sec=1382
case_no=175 label=Case6.163 nb_sol=0 ticks=182141 tps=100 nb_sec=1821
case_no=175 label=Case6.163 nb_sol=0 ticks=76346 tps=100 nb_sec=763
case_no=175 label=Case6.163 nb_sol=0 ticks=82353 tps=100 nb_sec=823
case_no=175 label=Case6.163 nb_sol=0 ticks=79101 tps=100 nb_sec=791
case_no=175 label=Case6.163 nb_sol=0 ticks=143755 tps=100 nb_sec=1437
case_no=175 label=Case6.163 nb_sol=0 ticks=142226 tps=100 nb_sec=1422
case_no=175 label=Case6.163 nb_sol=0 ticks=58083 tps=100 nb_sec=580
case_no=175 label=Case6.163 nb_sol=0 ticks=59607 tps=100 nb_sec=596
case_no=175 label=Case6.163 nb_sol=0 ticks=149009 tps=100 nb_sec=1490
case_no=175 label=Case6.163 nb_sol=0 ticks=65654 tps=100 nb_sec=656
case_no=175 label=Case6.163 nb_sol=0 ticks=124315 tps=100 nb_sec=1243
case_no=175 label=Case6.163 nb_sol=0 ticks=135473 tps=100 nb_sec=1354
case_no=175 label=Case6.163 nb_sol=0 ticks=151530 tps=100 nb_sec=1515
case_no=175 label=Case6.163 nb_sol=0 ticks=68757 tps=100 nb_sec=687
case_no=175 label=Case6.163 nb_sol=0 ticks=92201 tps=100 nb_sec=922
case_no=175 label=Case6.163 nb_sol=0 ticks=97077 tps=100 nb_sec=970
case_no=175 label=Case6.163 nb_sol=0 ticks=175471 tps=100 nb_sec=1754
case_no=175 label=Case6.163 nb_sol=0 ticks=74450 tps=100 nb_sec=744
case_no=175 label=Case6.163 nb_sol=0 ticks=90274 tps=100 nb_sec=902
case_no=175 label=Case6.163 nb_sol=0 ticks=136360 tps=100 nb_sec=1363
case_no=175 label=Case6.163 nb_sol=0 ticks=88713 tps=100 nb_sec=887
case_no=175 label=Case6.163 nb_sol=0 ticks=80501 tps=100 nb_sec=805
case_no=175 label=Case6.163 nb_sol=0 ticks=179160 tps=100 nb_sec=1791
case_no=175 label=Case6.163 nb_sol=0 ticks=106666 tps=100 nb_sec=1066
case_no=175 label=Case6.163 nb_sol=0 ticks=220757 tps=100 nb_sec=2207
case_no=175 label=Case6.163 nb_sol=0 ticks=141888 tps=100 nb_sec=1418
case_no=175 label=Case6.163 nb_sol=0 ticks=79441 tps=100 nb_sec=794
case_no=175 label=Case6.163 nb_sol=0 ticks=129110 tps=100 nb_sec=1291
case_no=175 label=Case6.163 nb_sol=0 ticks=79151 tps=100 nb_sec=791
case_no=175 label=Case6.163 nb_sol=0 ticks=123843 tps=100 nb_sec=1238
case_no=175 label=Case6.163 nb_sol=0 ticks=63931 tps=100 nb_sec=639
case_no=175 label=Case6.163 nb_sol=0 ticks=116050 tps=100 nb_sec=1160
case_no=175 label=Case6.163 nb_sol=0 ticks=75016 tps=100 nb_sec=750
case_no=175 label=Case6.163 nb_sol=0 ticks=66234 tps=100 nb_sec=662
case_no=175 label=Case6.163 nb_sol=0 ticks=64177 tps=100 nb_sec=641
case_no=175 label=Case6.163 nb_sol=0 ticks=88783 tps=100 nb_sec=887
case_no=175 label=Case6.163 nb_sol=0 ticks=163478 tps=100 nb_sec=1634
case_no=175 label=Case6.163 nb_sol=0 ticks=67895 tps=100 nb_sec=678
case_no=175 label=Case6.163 nb_sol=0 ticks=127886 tps=100 nb_sec=1278
case_no=175 label=Case6.163 nb_sol=0 ticks=117257 tps=100 nb_sec=1172
case_no=175 label=Case6.163 nb_sol=0 ticks=70359 tps=100 nb_sec=703
case_no=175 label=Case6.163 nb_sol=0 ticks=120281 tps=100 nb_sec=1202
case_no=175 label=Case6.163 nb_sol=0 ticks=60458 tps=100 nb_sec=604
case_no=175 label=Case6.163 nb_sol=0 ticks=74497 tps=100 nb_sec=744
case_no=175 label=Case6.163 nb_sol=0 ticks=175907 tps=100 nb_sec=1759
case_no=175 label=Case6.163 nb_sol=0 ticks=75885 tps=100 nb_sec=758
case_no=175 label=Case6.163 nb_sol=0 ticks=136331 tps=100 nb_sec=1363
case_no=175 label=Case6.163 nb_sol=0 ticks=71028 tps=100 nb_sec=710
case_no=175 label=Case6.163 nb_sol=0 ticks=74121 tps=100 nb_sec=741
case_no=175 label=Case6.163 nb_sol=0 ticks=146413 tps=100 nb_sec=1464
case_no=175 label=Case6.163 nb_sol=0 ticks=98370 tps=100 nb_sec=983
case_no=175 label=Case6.163 nb_sol=0 ticks=70879 tps=100 nb_sec=708
case_no=175 label=Case6.163 nb_sol=0 ticks=58829 tps=100 nb_sec=588
case_no=175 label=Case6.163 nb_sol=0 ticks=114805 tps=100 nb_sec=1148
case_no=175 label=Case6.163 nb_sol=0 ticks=99541 tps=100 nb_sec=995
case_no=175 label=Case6.163 nb_sol=0 ticks=81005 tps=100 nb_sec=810
case_no=175 label=Case6.163 nb_sol=0 ticks=206895 tps=100 nb_sec=2068
case_no=175 label=Case6.163 nb_sol=0 ticks=81065 tps=100 nb_sec=810
case_no=175 label=Case6.163 nb_sol=0 ticks=75700 tps=100 nb_sec=757
case_no=175 label=Case6.163 nb_sol=0 ticks=203073 tps=100 nb_sec=2030
case_no=175 label=Case6.163 nb_sol=0 ticks=113389 tps=100 nb_sec=1133
case_no=175 label=Case6.163 nb_sol=0 ticks=164021 tps=100 nb_sec=1640
case_no=175 label=Case6.163 nb_sol=0 ticks=159263 tps=100 nb_sec=1592
case_no=175 label=Case6.163 nb_sol=0 ticks=65996 tps=100 nb_sec=659
case_no=175 label=Case6.163 nb_sol=0 ticks=169744 tps=100 nb_sec=1697
case_no=175 label=Case6.163 nb_sol=0 ticks=148027 tps=100 nb_sec=1480
case_no=175 label=Case6.163 nb_sol=0 ticks=80468 tps=100 nb_sec=804
case_no=175 label=Case6.163 nb_sol=0 ticks=162944 tps=100 nb_sec=1629
case_no=175 label=Case6.163 nb_sol=0 ticks=127706 tps=100 nb_sec=1277
case_no=175 label=Case6.163 nb_sol=0 ticks=75097 tps=100 nb_sec=750
case_no=175 label=Case6.163 nb_sol=0 ticks=134817 tps=100 nb_sec=1348
case_no=175 label=Case6.163 nb_sol=0 ticks=137894 tps=100 nb_sec=1378
case_no=175 label=Case6.163 nb_sol=0 ticks=154620 tps=100 nb_sec=1546
case_no=175 label=Case6.163 nb_sol=0 ticks=116526 tps=100 nb_sec=1165
case_no=175 label=Case6.163 nb_sol=0 ticks=71217 tps=100 nb_sec=712
case_no=175 label=Case6.163 nb_sol=0 ticks=127602 tps=100 nb_sec=1276
case_no=175 label=Case6.163 nb_sol=0 ticks=76413 tps=100 nb_sec=764
case_no=175 label=Case6.163 nb_sol=0 ticks=124374 tps=100 nb_sec=1243
case_no=175 label=Case6.163 nb_sol=0 ticks=69898 tps=100 nb_sec=698
case_no=175 label=Case6.163 nb_sol=0 ticks=59718 tps=100 nb_sec=597
case_no=175 label=Case6.163 nb_sol=0 ticks=76006 tps=100 nb_sec=760
case_no=175 label=Case6.163 nb_sol=0 ticks=79956 tps=100 nb_sec=799
case_no=175 label=Case6.163 nb_sol=0 ticks=61131 tps=100 nb_sec=611
case_no=175 label=Case6.163 nb_sol=0 ticks=93349 tps=100 nb_sec=933
case_no=175 label=Case6.163 nb_sol=0 ticks=51752 tps=100 nb_sec=517
case_no=175 label=Case6.163 nb_sol=0 ticks=99698 tps=100 nb_sec=996
case_no=175 label=Case6.163 nb_sol=0 ticks=93486 tps=100 nb_sec=934
case_no=175 label=Case6.163 nb_sol=0 ticks=174261 tps=100 nb_sec=1742
case_no=175 label=Case6.163 nb_sol=0 ticks=153003 tps=100 nb_sec=1530
case_no=175 label=Case6.163 nb_sol=0 ticks=85247 tps=100 nb_sec=852
case_no=175 label=Case6.163 nb_sol=0 ticks=132240 tps=100 nb_sec=1322
case_no=175 label=Case6.163 nb_sol=0 ticks=163922 tps=100 nb_sec=1639
case_no=175 label=Case6.163 nb_sol=0 ticks=75526 tps=100 nb_sec=755
case_no=175 label=Case6.163 nb_sol=0 ticks=73397 tps=100 nb_sec=733
case_no=175 label=Case6.163 nb_sol=0 ticks=91249 tps=100 nb_sec=912
case_no=175 label=Case6.163 nb_sol=0 ticks=72454 tps=100 nb_sec=724
case_no=175 label=Case6.163 nb_sol=0 ticks=87479 tps=100 nb_sec=874
case_no=175 label=Case6.163 nb_sol=0 ticks=141781 tps=100 nb_sec=1417
case_no=175 label=Case6.163 nb_sol=0 ticks=73705 tps=100 nb_sec=737
case_no=175 label=Case6.163 nb_sol=0 ticks=153058 tps=100 nb_sec=1530
case_no=175 label=Case6.163 nb_sol=0 ticks=86733 tps=100 nb_sec=867
case_no=175 label=Case6.163 nb_sol=0 ticks=131091 tps=100 nb_sec=1310
case_no=175 label=Case6.163 nb_sol=0 ticks=87030 tps=100 nb_sec=870
case_no=175 label=Case6.163 nb_sol=0 ticks=153684 tps=100 nb_sec=1536
case_no=175 label=Case6.163 nb_sol=0 ticks=96780 tps=100 nb_sec=967
case_no=175 label=Case6.163 nb_sol=0 ticks=136789 tps=100 nb_sec=1367
case_no=175 label=Case6.163 nb_sol=0 ticks=66380 tps=100 nb_sec=663
case_no=175 label=Case6.163 nb_sol=0 ticks=56106 tps=100 nb_sec=561
case_no=175 label=Case6.163 nb_sol=0 ticks=126883 tps=100 nb_sec=1268
case_no=175 label=Case6.163 nb_sol=0 ticks=158682 tps=100 nb_sec=1586
case_no=175 label=Case6.163 nb_sol=0 ticks=87797 tps=100 nb_sec=877
case_no=175 label=Case6.163 nb_sol=0 ticks=88829 tps=100 nb_sec=888
case_no=175 label=Case6.163 nb_sol=0 ticks=100677 tps=100 nb_sec=1006
case_no=175 label=Case6.163 nb_sol=0 ticks=88084 tps=100 nb_sec=880
case_no=175 label=Case6.163 nb_sol=0 ticks=145528 tps=100 nb_sec=1455
case_no=175 label=Case6.163 nb_sol=0 ticks=98744 tps=100 nb_sec=987
case_no=175 label=Case6.163 nb_sol=0 ticks=182959 tps=100 nb_sec=1829
case_no=175 label=Case6.163 nb_sol=0 ticks=100112 tps=100 nb_sec=1001
case_no=175 label=Case6.163 nb_sol=0 ticks=161221 tps=100 nb_sec=1612
case_no=175 label=Case6.163 nb_sol=0 ticks=93650 tps=100 nb_sec=936
case_no=175 label=Case6.163 nb_sol=0 ticks=191801 tps=100 nb_sec=1918
case_no=175 label=Case6.163 nb_sol=0 ticks=162564 tps=100 nb_sec=1625
case_no=175 label=Case6.163 nb_sol=0 ticks=150781 tps=100 nb_sec=1507
case_no=175 label=Case6.163 nb_sol=0 ticks=71055 tps=100 nb_sec=710
case_no=175 label=Case6.163 nb_sol=0 ticks=192214 tps=100 nb_sec=1922
case_no=175 label=Case6.163 nb_sol=0 ticks=224718 tps=100 nb_sec=2247
case_no=175 label=Case6.163 nb_sol=0 ticks=86443 tps=100 nb_sec=864
case_no=175 label=Case6.163 nb_sol=0 ticks=91222 tps=100 nb_sec=912
case_no=175 label=Case6.163 nb_sol=0 ticks=83416 tps=100 nb_sec=834
case_no=175 label=Case6.163 nb_sol=0 ticks=128018 tps=100 nb_sec=1280
case_no=175 label=Case6.163 nb_sol=0 ticks=153522 tps=100 nb_sec=1535
case_no=175 label=Case6.163 nb_sol=0 ticks=60847 tps=100 nb_sec=608
case_no=175 label=Case6.163 nb_sol=0 ticks=85883 tps=100 nb_sec=858
case_no=175 label=Case6.163 nb_sol=0 ticks=175635 tps=100 nb_sec=1756
case_no=175 label=Case6.163 nb_sol=0 ticks=180924 tps=100 nb_sec=1809
case_no=175 label=Case6.163 nb_sol=0 ticks=78195 tps=100 nb_sec=781
case_no=175 label=Case6.163 nb_sol=0 ticks=167303 tps=100 nb_sec=1673
case_no=175 label=Case6.163 nb_sol=0 ticks=162579 tps=100 nb_sec=1625
case_no=175 label=Case6.163 nb_sol=0 ticks=89138 tps=100 nb_sec=891
case_no=175 label=Case6.163 nb_sol=0 ticks=85157 tps=100 nb_sec=851
case_no=175 label=Case6.163 nb_sol=0 ticks=66983 tps=100 nb_sec=669
case_no=175 label=Case6.163 nb_sol=0 ticks=141851 tps=100 nb_sec=1418
case_no=175 label=Case6.163 nb_sol=0 ticks=124766 tps=100 nb_sec=1247
case_no=175 label=Case6.163 nb_sol=0 ticks=132433 tps=100 nb_sec=1324
case_no=175 label=Case6.163 nb_sol=0 ticks=60994 tps=100 nb_sec=609
case_no=175 label=Case6.163 nb_sol=0 ticks=126039 tps=100 nb_sec=1260
case_no=175 label=Case6.163 nb_sol=0 ticks=92846 tps=100 nb_sec=928
case_no=175 label=Case6.163 nb_sol=0 ticks=196603 tps=100 nb_sec=1966
case_no=175 label=Case6.163 nb_sol=0 ticks=155495 tps=100 nb_sec=1554
case_no=175 label=Case6.163 nb_sol=0 ticks=214297 tps=100 nb_sec=2142
case_no=175 label=Case6.163 nb_sol=0 ticks=175546 tps=100 nb_sec=1755
case_no=175 label=Case6.163 nb_sol=0 ticks=89114 tps=100 nb_sec=891
case_no=175 label=Case6.163 nb_sol=0 ticks=238491 tps=100 nb_sec=2384
case_no=175 label=Case6.163 nb_sol=0 ticks=122267 tps=100 nb_sec=1222
case_no=175 label=Case6.163 nb_sol=0 ticks=204202 tps=100 nb_sec=2042
case_no=175 label=Case6.163 nb_sol=0 ticks=174459 tps=100 nb_sec=1744
case_no=175 label=Case6.163 nb_sol=0 ticks=154170 tps=100 nb_sec=1541
case_no=175 label=Case6.163 nb_sol=0 ticks=187333 tps=100 nb_sec=1873
case_no=175 label=Case6.163 nb_sol=0 ticks=138151 tps=100 nb_sec=1381
case_no=175 label=Case6.163 nb_sol=0 ticks=84107 tps=100 nb_sec=841
case_no=175 label=Case6.163 nb_sol=0 ticks=99715 tps=100 nb_sec=997
case_no=175 label=Case6.163 nb_sol=0 ticks=96926 tps=100 nb_sec=969
case_no=175 label=Case6.163 nb_sol=0 ticks=169127 tps=100 nb_sec=1691
case_no=175 label=Case6.163 nb_sol=0 ticks=114310 tps=100 nb_sec=1143
case_no=175 label=Case6.163 nb_sol=0 ticks=234049 tps=100 nb_sec=2340
case_no=175 label=Case6.163 nb_sol=0 ticks=158082 tps=100 nb_sec=1580
case_no=175 label=Case6.163 nb_sol=0 ticks=175071 tps=100 nb_sec=1750
case_no=175 label=Case6.163 nb_sol=0 ticks=132786 tps=100 nb_sec=1327
case_no=175 label=Case6.163 nb_sol=0 ticks=206956 tps=100 nb_sec=2069
case_no=175 label=Case6.163 nb_sol=0 ticks=122035 tps=100 nb_sec=1220
case_no=175 label=Case6.163 nb_sol=0 ticks=133988 tps=100 nb_sec=1339
case_no=175 label=Case6.163 nb_sol=0 ticks=81268 tps=100 nb_sec=812
case_no=175 label=Case6.163 nb_sol=0 ticks=140527 tps=100 nb_sec=1405
case_no=175 label=Case6.163 nb_sol=0 ticks=145273 tps=100 nb_sec=1452
case_no=175 label=Case6.163 nb_sol=0 ticks=66491 tps=100 nb_sec=664
case_no=175 label=Case6.163 nb_sol=0 ticks=149262 tps=100 nb_sec=1492
case_no=175 label=Case6.163 nb_sol=0 ticks=80666 tps=100 nb_sec=806
case_no=175 label=Case6.163 nb_sol=0 ticks=141239 tps=100 nb_sec=1412
case_no=175 label=Case6.163 nb_sol=0 ticks=68165 tps=100 nb_sec=681
case_no=175 label=Case6.163 nb_sol=0 ticks=133321 tps=100 nb_sec=1333
case_no=175 label=Case6.163 nb_sol=0 ticks=85632 tps=100 nb_sec=856
case_no=175 label=Case6.163 nb_sol=0 ticks=153019 tps=100 nb_sec=1530
case_no=175 label=Case6.163 nb_sol=0 ticks=125963 tps=100 nb_sec=1259
case_no=175 label=Case6.163 nb_sol=0 ticks=106144 tps=100 nb_sec=1061
case_no=175 label=Case6.163 nb_sol=0 ticks=76361 tps=100 nb_sec=763
case_no=175 label=Case6.163 nb_sol=0 ticks=156194 tps=100 nb_sec=1561
case_no=175 label=Case6.163 nb_sol=0 ticks=59213 tps=100 nb_sec=592
case_no=175 label=Case6.163 nb_sol=0 ticks=100794 tps=100 nb_sec=1007
case_no=175 label=Case6.163 nb_sol=0 ticks=81372 tps=100 nb_sec=813
case_no=175 label=Case6.163 nb_sol=0 ticks=167076 tps=100 nb_sec=1670
case_no=175 label=Case6.163 nb_sol=0 ticks=77846 tps=100 nb_sec=778
case_no=175 label=Case6.163 nb_sol=0 ticks=129666 tps=100 nb_sec=1296
case_no=175 label=Case6.163 nb_sol=0 ticks=77727 tps=100 nb_sec=777
case_no=175 label=Case6.163 nb_sol=0 ticks=158532 tps=100 nb_sec=1585
case_no=175 label=Case6.163 nb_sol=0 ticks=111095 tps=100 nb_sec=1110
case_no=175 label=Case6.163 nb_sol=0 ticks=148933 tps=100 nb_sec=1489
case_no=175 label=Case6.163 nb_sol=0 ticks=147257 tps=100 nb_sec=1472
case_no=175 label=Case6.163 nb_sol=0 ticks=72617 tps=100 nb_sec=726
case_no=175 label=Case6.163 nb_sol=0 ticks=196746 tps=100 nb_sec=1967
case_no=175 label=Case6.163 nb_sol=0 ticks=78597 tps=100 nb_sec=785
case_no=175 label=Case6.163 nb_sol=0 ticks=124723 tps=100 nb_sec=1247
case_no=175 label=Case6.163 nb_sol=0 ticks=150804 tps=100 nb_sec=1508
case_no=175 label=Case6.163 nb_sol=0 ticks=81214 tps=100 nb_sec=812
case_no=175 label=Case6.163 nb_sol=0 ticks=84154 tps=100 nb_sec=841
case_no=175 label=Case6.163 nb_sol=0 ticks=148430 tps=100 nb_sec=1484
case_no=175 label=Case6.163 nb_sol=0 ticks=64440 tps=100 nb_sec=644
case_no=175 label=Case6.163 nb_sol=0 ticks=161545 tps=100 nb_sec=1615
case_no=175 label=Case6.163 nb_sol=0 ticks=158133 tps=100 nb_sec=1581
case_no=175 label=Case6.163 nb_sol=0 ticks=141030 tps=100 nb_sec=1410
case_no=175 label=Case6.163 nb_sol=0 ticks=118161 tps=100 nb_sec=1181
case_no=175 label=Case6.163 nb_sol=0 ticks=78867 tps=100 nb_sec=788
case_no=175 label=Case6.163 nb_sol=0 ticks=129819 tps=100 nb_sec=1298
case_no=175 label=Case6.163 nb_sol=0 ticks=142986 tps=100 nb_sec=1429
case_no=175 label=Case6.163 nb_sol=0 ticks=148062 tps=100 nb_sec=1480
case_no=175 label=Case6.163 nb_sol=0 ticks=170124 tps=100 nb_sec=1701
case_no=175 label=Case6.163 nb_sol=0 ticks=147912 tps=100 nb_sec=1479
case_no=175 label=Case6.163 nb_sol=0 ticks=123035 tps=100 nb_sec=1230
case_no=175 label=Case6.163 nb_sol=0 ticks=95634 tps=100 nb_sec=956
case_no=175 label=Case6.163 nb_sol=0 ticks=146669 tps=100 nb_sec=1466
case_no=175 label=Case6.163 nb_sol=0 ticks=145190 tps=100 nb_sec=1451
case_no=175 label=Case6.163 nb_sol=0 ticks=96355 tps=100 nb_sec=963
case_no=175 label=Case6.163 nb_sol=0 ticks=160636 tps=100 nb_sec=1606
case_no=175 label=Case6.163 nb_sol=0 ticks=161279 tps=100 nb_sec=1612
case_no=175 label=Case6.163 nb_sol=0 ticks=116184 tps=100 nb_sec=1161
case_no=175 label=Case6.163 nb_sol=0 ticks=95600 tps=100 nb_sec=956
case_no=175 label=Case6.163 nb_sol=0 ticks=144590 tps=100 nb_sec=1445
case_no=175 label=Case6.163 nb_sol=0 ticks=97695 tps=100 nb_sec=976
case_no=175 label=Case6.163 nb_sol=0 ticks=95711 tps=100 nb_sec=957
case_no=175 label=Case6.163 nb_sol=0 ticks=205383 tps=100 nb_sec=2053
case_no=175 label=Case6.163 nb_sol=0 ticks=99079 tps=100 nb_sec=990
case_no=175 label=Case6.163 nb_sol=0 ticks=95160 tps=100 nb_sec=951
case_no=175 label=Case6.163 nb_sol=0 ticks=83165 tps=100 nb_sec=831
case_no=175 label=Case6.163 nb_sol=0 ticks=74681 tps=100 nb_sec=746
case_no=175 label=Case6.163 nb_sol=0 ticks=79489 tps=100 nb_sec=794
case_no=175 label=Case6.163 nb_sol=0 ticks=142305 tps=100 nb_sec=1423
case_no=175 label=Case6.163 nb_sol=0 ticks=61606 tps=100 nb_sec=616
case_no=175 label=Case6.163 nb_sol=0 ticks=171651 tps=100 nb_sec=1716
case_no=175 label=Case6.163 nb_sol=0 ticks=104170 tps=100 nb_sec=1041
case_no=175 label=Case6.163 nb_sol=0 ticks=134178 tps=100 nb_sec=1341
case_no=175 label=Case6.163 nb_sol=0 ticks=176751 tps=100 nb_sec=1767
case_no=175 label=Case6.163 nb_sol=0 ticks=86406 tps=100 nb_sec=864
case_no=175 label=Case6.163 nb_sol=0 ticks=132362 tps=100 nb_sec=1323
case_no=175 label=Case6.163 nb_sol=0 ticks=78772 tps=100 nb_sec=787
case_no=175 label=Case6.163 nb_sol=0 ticks=247246 tps=100 nb_sec=2472
case_no=175 label=Case6.163 nb_sol=0 ticks=200109 tps=100 nb_sec=2001
case_no=175 label=Case6.163 nb_sol=0 ticks=72377 tps=100 nb_sec=723
case_no=175 label=Case6.163 nb_sol=0 ticks=197587 tps=100 nb_sec=1975
case_no=175 label=Case6.163 nb_sol=0 ticks=171743 tps=100 nb_sec=1717
case_no=175 label=Case6.163 nb_sol=0 ticks=134058 tps=100 nb_sec=1340
case_no=175 label=Case6.163 nb_sol=0 ticks=150538 tps=100 nb_sec=1505
case_no=175 label=Case6.163 nb_sol=0 ticks=155806 tps=100 nb_sec=1558
case_no=175 label=Case6.163 nb_sol=0 ticks=108557 tps=100 nb_sec=1085
case_no=175 label=Case6.163 nb_sol=0 ticks=135504 tps=100 nb_sec=1355
case_no=175 label=Case6.163 nb_sol=0 ticks=155280 tps=100 nb_sec=1552
case_no=175 label=Case6.163 nb_sol=0 ticks=115987 tps=100 nb_sec=1159
case_no=175 label=Case6.163 nb_sol=0 ticks=141501 tps=100 nb_sec=1415
case_no=175 label=Case6.163 nb_sol=0 ticks=115335 tps=100 nb_sec=1153
case_no=175 label=Case6.163 nb_sol=0 ticks=150742 tps=100 nb_sec=1507
case_no=175 label=Case6.163 nb_sol=0 ticks=149754 tps=100 nb_sec=1497
case_no=175 label=Case6.163 nb_sol=0 ticks=149963 tps=100 nb_sec=1499
case_no=175 label=Case6.163 nb_sol=0 ticks=193662 tps=100 nb_sec=1936
case_no=175 label=Case6.163 nb_sol=0 ticks=166897 tps=100 nb_sec=1668
case_no=175 label=Case6.163 nb_sol=0 ticks=119642 tps=100 nb_sec=1196
case_no=175 label=Case6.163 nb_sol=0 ticks=140714 tps=100 nb_sec=1407
case_no=175 label=Case6.163 nb_sol=0 ticks=97304 tps=100 nb_sec=973
case_no=175 label=Case6.163 nb_sol=0 ticks=134749 tps=100 nb_sec=1347
case_no=175 label=Case6.163 nb_sol=0 ticks=119797 tps=100 nb_sec=1197
case_no=175 label=Case6.163 nb_sol=0 ticks=120057 tps=100 nb_sec=1200
case_no=175 label=Case6.163 nb_sol=0 ticks=81152 tps=100 nb_sec=811
case_no=175 label=Case6.163 nb_sol=0 ticks=156206 tps=100 nb_sec=1562
case_no=175 label=Case6.163 nb_sol=0 ticks=124654 tps=100 nb_sec=1246
case_no=175 label=Case6.163 nb_sol=0 ticks=123072 tps=100 nb_sec=1230
case_no=175 label=Case6.163 nb_sol=0 ticks=54578 tps=100 nb_sec=545
case_no=175 label=Case6.163 nb_sol=0 ticks=59729 tps=100 nb_sec=597
case_no=175 label=Case6.163 nb_sol=0 ticks=114593 tps=100 nb_sec=1145
case_no=175 label=Case6.163 nb_sol=0 ticks=141911 tps=100 nb_sec=1419
case_no=175 label=Case6.163 nb_sol=0 ticks=164408 tps=100 nb_sec=1644
case_no=175 label=Case6.163 nb_sol=0 ticks=110140 tps=100 nb_sec=1101
case_no=175 label=Case6.163 nb_sol=0 ticks=90152 tps=100 nb_sec=901
case_no=175 label=Case6.163 nb_sol=0 ticks=156444 tps=100 nb_sec=1564
case_no=175 label=Case6.163 nb_sol=0 ticks=162255 tps=100 nb_sec=1622
case_no=175 label=Case6.163 nb_sol=0 ticks=224706 tps=100 nb_sec=2247
case_no=175 label=Case6.163 nb_sol=0 ticks=93077 tps=100 nb_sec=930
case_no=175 label=Case6.163 nb_sol=0 ticks=89987 tps=100 nb_sec=899
case_no=175 label=Case6.163 nb_sol=0 ticks=83741 tps=100 nb_sec=837
case_no=175 label=Case6.163 nb_sol=0 ticks=136856 tps=100 nb_sec=1368
case_no=175 label=Case6.163 nb_sol=0 ticks=66314 tps=100 nb_sec=663
case_no=175 label=Case6.163 nb_sol=0 ticks=141485 tps=100 nb_sec=1414
case_no=175 label=Case6.163 nb_sol=0 ticks=117841 tps=100 nb_sec=1178
case_no=175 label=Case6.163 nb_sol=0 ticks=57984 tps=100 nb_sec=579
case_no=175 label=Case6.163 nb_sol=0 ticks=126365 tps=100 nb_sec=1263
case_no=175 label=Case6.163 nb_sol=0 ticks=149271 tps=100 nb_sec=1492
case_no=175 label=Case6.163 nb_sol=0 ticks=108426 tps=100 nb_sec=1084
case_no=175 label=Case6.163 nb_sol=0 ticks=155216 tps=100 nb_sec=1552
case_no=175 label=Case6.163 nb_sol=0 ticks=154161 tps=100 nb_sec=1541
case_no=175 label=Case6.163 nb_sol=0 ticks=82359 tps=100 nb_sec=823
case_no=175 label=Case6.163 nb_sol=0 ticks=127560 tps=100 nb_sec=1275
case_no=175 label=Case6.163 nb_sol=0 ticks=109170 tps=100 nb_sec=1091
case_no=175 label=Case6.163 nb_sol=0 ticks=206158 tps=100 nb_sec=2061
case_no=175 label=Case6.163 nb_sol=0 ticks=98013 tps=100 nb_sec=980
case_no=175 label=Case6.163 nb_sol=0 ticks=113753 tps=100 nb_sec=1137
case_no=175 label=Case6.163 nb_sol=0 ticks=71769 tps=100 nb_sec=717
case_no=175 label=Case6.163 nb_sol=0 ticks=65364 tps=100 nb_sec=653
case_no=175 label=Case6.163 nb_sol=0 ticks=132186 tps=100 nb_sec=1321
case_no=175 label=Case6.163 nb_sol=0 ticks=75728 tps=100 nb_sec=757
case_no=175 label=Case6.163 nb_sol=0 ticks=170349 tps=100 nb_sec=1703
case_no=175 label=Case6.163 nb_sol=0 ticks=85105 tps=100 nb_sec=851
case_no=175 label=Case6.163 nb_sol=0 ticks=139669 tps=100 nb_sec=1396
case_no=175 label=Case6.163 nb_sol=0 ticks=82308 tps=100 nb_sec=823
case_no=175 label=Case6.163 nb_sol=0 ticks=166077 tps=100 nb_sec=1660
case_no=175 label=Case6.163 nb_sol=0 ticks=138810 tps=100 nb_sec=1388
case_no=175 label=Case6.163 nb_sol=0 ticks=66503 tps=100 nb_sec=665
case_no=175 label=Case6.163 nb_sol=0 ticks=132002 tps=100 nb_sec=1320
case_no=175 label=Case6.163 nb_sol=0 ticks=123062 tps=100 nb_sec=1230
case_no=175 label=Case6.163 nb_sol=0 ticks=67042 tps=100 nb_sec=670
case_no=175 label=Case6.163 nb_sol=0 ticks=69192 tps=100 nb_sec=691
case_no=175 label=Case6.163 nb_sol=0 ticks=86437 tps=100 nb_sec=864
case_no=175 label=Case6.163 nb_sol=0 ticks=162759 tps=100 nb_sec=1627
case_no=175 label=Case6.163 nb_sol=0 ticks=133862 tps=100 nb_sec=1338
case_no=175 label=Case6.163 nb_sol=0 ticks=123637 tps=100 nb_sec=1236
case_no=175 label=Case6.163 nb_sol=0 ticks=115142 tps=100 nb_sec=1151
case_no=175 label=Case6.163 nb_sol=0 ticks=108075 tps=100 nb_sec=1080
case_no=175 label=Case6.163 nb_sol=0 ticks=101159 tps=100 nb_sec=1011
case_no=175 label=Case6.163 nb_sol=0 ticks=92132 tps=100 nb_sec=921
case_no=175 label=Case6.163 nb_sol=0 ticks=111482 tps=100 nb_sec=1114
case_no=175 label=Case6.163 nb_sol=0 ticks=130496 tps=100 nb_sec=1304
case_no=175 label=Case6.163 nb_sol=0 ticks=138669 tps=100 nb_sec=1386
case_no=175 label=Case6.163 nb_sol=0 ticks=106616 tps=100 nb_sec=1066
case_no=175 label=Case6.163 nb_sol=0 ticks=175191 tps=100 nb_sec=1751
case_no=175 label=Case6.163 nb_sol=0 ticks=177259 tps=100 nb_sec=1772
case_no=175 label=Case6.163 nb_sol=0 ticks=66274 tps=100 nb_sec=662
case_no=175 label=Case6.163 nb_sol=0 ticks=101933 tps=100 nb_sec=1019
case_no=175 label=Case6.163 nb_sol=0 ticks=113852 tps=100 nb_sec=1138
case_no=175 label=Case6.163 nb_sol=0 ticks=53293 tps=100 nb_sec=532
case_no=175 label=Case6.163 nb_sol=0 ticks=117999 tps=100 nb_sec=1179
case_no=175 label=Case6.163 nb_sol=0 ticks=115925 tps=100 nb_sec=1159
case_no=175 label=Case6.163 nb_sol=0 ticks=65424 tps=100 nb_sec=654
case_no=175 label=Case6.163 nb_sol=0 ticks=147672 tps=100 nb_sec=1476
case_no=175 label=Case6.163 nb_sol=0 ticks=108787 tps=100 nb_sec=1087
case_no=175 label=Case6.163 nb_sol=0 ticks=71480 tps=100 nb_sec=714
case_no=175 label=Case6.163 nb_sol=0 ticks=157292 tps=100 nb_sec=1572
case_no=175 label=Case6.163 nb_sol=0 ticks=227875 tps=100 nb_sec=2278
case_no=175 label=Case6.163 nb_sol=0 ticks=78387 tps=100 nb_sec=783
case_no=175 label=Case6.163 nb_sol=0 ticks=139303 tps=100 nb_sec=1393
case_no=175 label=Case6.163 nb_sol=0 ticks=136387 tps=100 nb_sec=1363
case_no=175 label=Case6.163 nb_sol=0 ticks=54417 tps=100 nb_sec=544
case_no=175 label=Case6.163 nb_sol=0 ticks=55722 tps=100 nb_sec=557
case_no=175 label=Case6.163 nb_sol=0 ticks=151371 tps=100 nb_sec=1513
case_no=175 label=Case6.163 nb_sol=0 ticks=120723 tps=100 nb_sec=1207
case_no=175 label=Case6.163 nb_sol=0 ticks=55683 tps=100 nb_sec=556
case_no=175 label=Case6.163 nb_sol=0 ticks=101602 tps=100 nb_sec=1016
case_no=175 label=Case6.163 nb_sol=0 ticks=97361 tps=100 nb_sec=973
case_no=175 label=Case6.163 nb_sol=0 ticks=146876 tps=100 nb_sec=1468
case_no=175 label=Case6.163 nb_sol=0 ticks=127973 tps=100 nb_sec=1279
case_no=175 label=Case6.163 nb_sol=0 ticks=114148 tps=100 nb_sec=1141
case_no=175 label=Case6.163 nb_sol=0 ticks=114198 tps=100 nb_sec=1141
case_no=175 label=Case6.163 nb_sol=0 ticks=121404 tps=100 nb_sec=1214
case_no=175 label=Case6.163 nb_sol=0 ticks=82038 tps=100 nb_sec=820
case_no=175 label=Case6.163 nb_sol=0 ticks=123916 tps=100 nb_sec=1239
case_no=175 label=Case6.163 nb_sol=0 ticks=124927 tps=100 nb_sec=1249
case_no=175 label=Case6.163 nb_sol=0 ticks=104173 tps=100 nb_sec=1041
case_no=175 label=Case6.163 nb_sol=0 ticks=147009 tps=100 nb_sec=1470
case_no=175 label=Case6.163 nb_sol=0 ticks=159246 tps=100 nb_sec=1592
case_no=175 label=Case6.163 nb_sol=0 ticks=109652 tps=100 nb_sec=1096
case_no=175 label=Case6.163 nb_sol=0 ticks=171896 tps=100 nb_sec=1718
case_no=175 label=Case6.163 nb_sol=0 ticks=151587 tps=100 nb_sec=1515
case_no=175 label=Case6.163 nb_sol=0 ticks=127670 tps=100 nb_sec=1276
case_no=175 label=Case6.163 nb_sol=0 ticks=161367 tps=100 nb_sec=1613
case_no=175 label=Case6.163 nb_sol=0 ticks=160819 tps=100 nb_sec=1608
case_no=175 label=Case6.163 nb_sol=0 ticks=175696 tps=100 nb_sec=1756
case_no=175 label=Case6.163 nb_sol=0 ticks=171019 tps=100 nb_sec=1710
case_no=175 label=Case6.163 nb_sol=0 ticks=145078 tps=100 nb_sec=1450
case_no=175 label=Case6.163 nb_sol=0 ticks=170340 tps=100 nb_sec=1703
case_no=175 label=Case6.163 nb_sol=0 ticks=145725 tps=100 nb_sec=1457
case_no=175 label=Case6.163 nb_sol=0 ticks=120731 tps=100 nb_sec=1207
case_no=175 label=Case6.163 nb_sol=0 ticks=75963 tps=100 nb_sec=759
case_no=175 label=Case6.163 nb_sol=0 ticks=72810 tps=100 nb_sec=728
case_no=175 label=Case6.163 nb_sol=0 ticks=166221 tps=100 nb_sec=1662
case_no=175 label=Case6.163 nb_sol=0 ticks=79687 tps=100 nb_sec=796
case_no=175 label=Case6.163 nb_sol=0 ticks=132004 tps=100 nb_sec=1320
case_no=175 label=Case6.163 nb_sol=0 ticks=67867 tps=100 nb_sec=678
case_no=175 label=Case6.163 nb_sol=0 ticks=141732 tps=100 nb_sec=1417
case_no=175 label=Case6.163 nb_sol=0 ticks=62776 tps=100 nb_sec=627
case_no=175 label=Case6.163 nb_sol=0 ticks=115130 tps=100 nb_sec=1151
case_no=175 label=Case6.163 nb_sol=0 ticks=137482 tps=100 nb_sec=1374
case_no=175 label=Case6.163 nb_sol=0 ticks=173154 tps=100 nb_sec=1731
case_no=175 label=Case6.163 nb_sol=0 ticks=75903 tps=100 nb_sec=759
case_no=175 label=Case6.163 nb_sol=0 ticks=121135 tps=100 nb_sec=1211
case_no=175 label=Case6.163 nb_sol=0 ticks=127705 tps=100 nb_sec=1277
case_no=175 label=Case6.163 nb_sol=0 ticks=113821 tps=100 nb_sec=1138
case_no=175 label=Case6.163 nb_sol=0 ticks=57584 tps=100 nb_sec=575
case_no=175 label=Case6.163 nb_sol=0 ticks=68730 tps=100 nb_sec=687
case_no=175 label=Case6.163 nb_sol=0 ticks=149222 tps=100 nb_sec=1492
case_no=175 label=Case6.163 nb_sol=0 ticks=61769 tps=100 nb_sec=617
case_no=175 label=Case6.163 nb_sol=0 ticks=96121 tps=100 nb_sec=961
case_no=175 label=Case6.163 nb_sol=0 ticks=157640 tps=100 nb_sec=1576
case_no=175 label=Case6.163 nb_sol=0 ticks=180589 tps=100 nb_sec=1805
case_no=175 label=Case6.163 nb_sol=0 ticks=159972 tps=100 nb_sec=1599
case_no=175 label=Case6.163 nb_sol=0 ticks=171774 tps=100 nb_sec=1717
case_no=175 label=Case6.163 nb_sol=0 ticks=135916 tps=100 nb_sec=1359
case_no=175 label=Case6.163 nb_sol=0 ticks=170141 tps=100 nb_sec=1701
case_no=175 label=Case6.163 nb_sol=0 ticks=114958 tps=100 nb_sec=1149
case_no=175 label=Case6.163 nb_sol=0 ticks=134040 tps=100 nb_sec=1340
case_no=175 label=Case6.163 nb_sol=0 ticks=116954 tps=100 nb_sec=1169
case_no=175 label=Case6.163 nb_sol=0 ticks=167652 tps=100 nb_sec=1676
case_no=175 label=Case6.163 nb_sol=0 ticks=131840 tps=100 nb_sec=1318
case_no=175 label=Case6.163 nb_sol=0 ticks=195793 tps=100 nb_sec=1957
case_no=175 label=Case6.163 nb_sol=0 ticks=160597 tps=100 nb_sec=1605
case_no=175 label=Case6.163 nb_sol=0 ticks=139575 tps=100 nb_sec=1395
case_no=175 label=Case6.163 nb_sol=0 ticks=132237 tps=100 nb_sec=1322
case_no=175 label=Case6.163 nb_sol=0 ticks=86790 tps=100 nb_sec=867
case_no=175 label=Case6.163 nb_sol=0 ticks=85658 tps=100 nb_sec=856
case_no=175 label=Case6.163 nb_sol=0 ticks=164495 tps=100 nb_sec=1644
case_no=175 label=Case6.163 nb_sol=0 ticks=131454 tps=100 nb_sec=1314
case_no=175 label=Case6.163 nb_sol=0 ticks=142261 tps=100 nb_sec=1422
case_no=175 label=Case6.163 nb_sol=0 ticks=159978 tps=100 nb_sec=1599
case_no=175 label=Case6.163 nb_sol=0 ticks=127541 tps=100 nb_sec=1275
case_no=175 label=Case6.163 nb_sol=0 ticks=104110 tps=100 nb_sec=1041
case_no=175 label=Case6.163 nb_sol=0 ticks=112832 tps=100 nb_sec=1128
case_no=175 label=Case6.163 nb_sol=0 ticks=89559 tps=100 nb_sec=895
case_no=175 label=Case6.163 nb_sol=0 ticks=196938 tps=100 nb_sec=1969
case_no=175 label=Case6.163 nb_sol=0 ticks=110503 tps=100 nb_sec=1105
case_no=175 label=Case6.163 nb_sol=0 ticks=101159 tps=100 nb_sec=1011
case_no=175 label=Case6.163 nb_sol=0 ticks=63860 tps=100 nb_sec=638
case_no=175 label=Case6.163 nb_sol=0 ticks=164929 tps=100 nb_sec=1649
case_no=175 label=Case6.163 nb_sol=0 ticks=62105 tps=100 nb_sec=621
case_no=175 label=Case6.163 nb_sol=0 ticks=104106 tps=100 nb_sec=1041
case_no=175 label=Case6.163 nb_sol=0 ticks=52245 tps=100 nb_sec=522
case_no=175 label=Case6.163 nb_sol=0 ticks=146412 tps=100 nb_sec=1464
case_no=175 label=Case6.163 nb_sol=0 ticks=77237 tps=100 nb_sec=772
case_no=175 label=Case6.163 nb_sol=0 ticks=154283 tps=100 nb_sec=1542
case_no=175 label=Case6.163 nb_sol=0 ticks=68683 tps=100 nb_sec=686
case_no=175 label=Case6.163 nb_sol=0 ticks=139741 tps=100 nb_sec=1397
case_no=175 label=Case6.163 nb_sol=0 ticks=62885 tps=100 nb_sec=628
case_no=175 label=Case6.163 nb_sol=0 ticks=137384 tps=100 nb_sec=1373
case_no=175 label=Case6.163 nb_sol=0 ticks=70361 tps=100 nb_sec=703
case_no=175 label=Case6.163 nb_sol=0 ticks=127597 tps=100 nb_sec=1275
case_no=175 label=Case6.163 nb_sol=0 ticks=117700 tps=100 nb_sec=1177
case_no=175 label=Case6.163 nb_sol=0 ticks=58161 tps=100 nb_sec=581
case_no=175 label=Case6.163 nb_sol=0 ticks=122427 tps=100 nb_sec=1224
case_no=175 label=Case6.163 nb_sol=0 ticks=131583 tps=100 nb_sec=1315
case_no=175 label=Case6.163 nb_sol=0 ticks=151668 tps=100 nb_sec=1516
case_no=175 label=Case6.163 nb_sol=0 ticks=149250 tps=100 nb_sec=1492
case_no=175 label=Case6.163 nb_sol=0 ticks=57290 tps=100 nb_sec=572
case_no=175 label=Case6.163 nb_sol=0 ticks=154721 tps=100 nb_sec=1547
case_no=175 label=Case6.163 nb_sol=0 ticks=143038 tps=100 nb_sec=1430
case_no=175 label=Case6.163 nb_sol=0 ticks=193907 tps=100 nb_sec=1939
case_no=175 label=Case6.163 nb_sol=0 ticks=118260 tps=100 nb_sec=1182
case_no=175 label=Case6.163 nb_sol=0 ticks=106580 tps=100 nb_sec=1065
case_no=175 label=Case6.163 nb_sol=0 ticks=109232 tps=100 nb_sec=1092
case_no=175 label=Case6.163 nb_sol=0 ticks=109887 tps=100 nb_sec=1098
case_no=175 label=Case6.163 nb_sol=0 ticks=120136 tps=100 nb_sec=1201
case_no=175 label=Case6.163 nb_sol=0 ticks=107420 tps=100 nb_sec=1074
case_no=175 label=Case6.163 nb_sol=0 ticks=120518 tps=100 nb_sec=1205
case_no=175 label=Case6.163 nb_sol=0 ticks=125934 tps=100 nb_sec=1259
case_no=175 label=Case6.163 nb_sol=0 ticks=57439 tps=100 nb_sec=574
case_no=175 label=Case6.163 nb_sol=0 ticks=59326 tps=100 nb_sec=593
case_no=175 label=Case6.163 nb_sol=0 ticks=116484 tps=100 nb_sec=1164
case_no=175 label=Case6.163 nb_sol=0 ticks=61787 tps=100 nb_sec=617
case_no=175 label=Case6.163 nb_sol=0 ticks=98212 tps=100 nb_sec=982
case_no=175 label=Case6.163 nb_sol=0 ticks=161935 tps=100 nb_sec=1619
case_no=175 label=Case6.163 nb_sol=0 ticks=169957 tps=100 nb_sec=1699
case_no=175 label=Case6.163 nb_sol=0 ticks=128144 tps=100 nb_sec=1281
case_no=175 label=Case6.163 nb_sol=0 ticks=65047 tps=100 nb_sec=650
case_no=175 label=Case6.163 nb_sol=0 ticks=150334 tps=100 nb_sec=1503
case_no=175 label=Case6.163 nb_sol=0 ticks=121388 tps=100 nb_sec=1213
case_no=175 label=Case6.163 nb_sol=0 ticks=71807 tps=100 nb_sec=718
case_no=175 label=Case6.163 nb_sol=0 ticks=107408 tps=100 nb_sec=1074
case_no=175 label=Case6.163 nb_sol=0 ticks=122680 tps=100 nb_sec=1226
case_no=175 label=Case6.163 nb_sol=0 ticks=77360 tps=100 nb_sec=773
case_no=175 label=Case6.163 nb_sol=0 ticks=115237 tps=100 nb_sec=1152
case_no=175 label=Case6.163 nb_sol=0 ticks=107948 tps=100 nb_sec=1079
case_no=175 label=Case6.163 nb_sol=0 ticks=137759 tps=100 nb_sec=1377
case_no=175 label=Case6.163 nb_sol=0 ticks=124281 tps=100 nb_sec=1242
case_no=175 label=Case6.163 nb_sol=0 ticks=56708 tps=100 nb_sec=567
case_no=175 label=Case6.163 nb_sol=0 ticks=53783 tps=100 nb_sec=537
case_no=175 label=Case6.163 nb_sol=0 ticks=158618 tps=100 nb_sec=1586
case_no=175 label=Case6.163 nb_sol=0 ticks=144849 tps=100 nb_sec=1448
case_no=175 label=Case6.163 nb_sol=0 ticks=68346 tps=100 nb_sec=683
case_no=175 label=Case6.163 nb_sol=0 ticks=122596 tps=100 nb_sec=1225
case_no=175 label=Case6.163 nb_sol=0 ticks=140591 tps=100 nb_sec=1405
case_no=175 label=Case6.163 nb_sol=0 ticks=124988 tps=100 nb_sec=1249
case_no=175 label=Case6.163 nb_sol=0 ticks=120879 tps=100 nb_sec=1208
case_no=175 label=Case6.163 nb_sol=0 ticks=90350 tps=100 nb_sec=903
case_no=175 label=Case6.163 nb_sol=0 ticks=89371 tps=100 nb_sec=893
case_no=175 label=Case6.163 nb_sol=0 ticks=100807 tps=100 nb_sec=1008
case_no=175 label=Case6.163 nb_sol=0 ticks=90033 tps=100 nb_sec=900
case_no=175 label=Case6.163 nb_sol=0 ticks=130718 tps=100 nb_sec=1307
case_no=175 label=Case6.163 nb_sol=0 ticks=103855 tps=100 nb_sec=1038
case_no=175 label=Case6.163 nb_sol=0 ticks=114298 tps=100 nb_sec=1142
case_no=175 label=Case6.163 nb_sol=0 ticks=107190 tps=100 nb_sec=1071
case_no=175 label=Case6.163 nb_sol=0 ticks=47094 tps=100 nb_sec=470
case_no=175 label=Case6.163 nb_sol=0 ticks=137462 tps=100 nb_sec=1374
case_no=175 label=Case6.163 nb_sol=0 ticks=173091 tps=100 nb_sec=1730
case_no=175 label=Case6.163 nb_sol=0 ticks=118723 tps=100 nb_sec=1187
case_no=175 label=Case6.163 nb_sol=0 ticks=53207 tps=100 nb_sec=532
case_no=175 label=Case6.163 nb_sol=0 ticks=110568 tps=100 nb_sec=1105
case_no=175 label=Case6.163 nb_sol=0 ticks=85292 tps=100 nb_sec=852
case_no=175 label=Case6.163 nb_sol=0 ticks=105557 tps=100 nb_sec=1055
case_no=175 label=Case6.163 nb_sol=0 ticks=159912 tps=100 nb_sec=1599
case_no=175 label=Case6.163 nb_sol=0 ticks=65919 tps=100 nb_sec=659
case_no=175 label=Case6.163 nb_sol=0 ticks=113456 tps=100 nb_sec=1134
case_no=175 label=Case6.163 nb_sol=0 ticks=60469 tps=100 nb_sec=604
case_no=175 label=Case6.163 nb_sol=0 ticks=99613 tps=100 nb_sec=996
Nb_sol=0
Nb_sec=1196521
13-20:22:1 or 332 hours
missing cases:
none