argc=5
-M 1024
file2=30_select_Case6.148_starter_15_
checking files mod 1024 from 0 to 1023
case_no=160 label=Case6.148 nb_sol=0 ticks=118825 tps=100 nb_sec=1188
case_no=160 label=Case6.148 nb_sol=0 ticks=150423 tps=100 nb_sec=1504
case_no=160 label=Case6.148 nb_sol=0 ticks=167384 tps=100 nb_sec=1673
case_no=160 label=Case6.148 nb_sol=0 ticks=77442 tps=100 nb_sec=774
case_no=160 label=Case6.148 nb_sol=0 ticks=147345 tps=100 nb_sec=1473
case_no=160 label=Case6.148 nb_sol=0 ticks=64099 tps=100 nb_sec=640
case_no=160 label=Case6.148 nb_sol=0 ticks=70390 tps=100 nb_sec=703
case_no=160 label=Case6.148 nb_sol=0 ticks=55901 tps=100 nb_sec=559
case_no=160 label=Case6.148 nb_sol=0 ticks=111288 tps=100 nb_sec=1112
case_no=160 label=Case6.148 nb_sol=0 ticks=48836 tps=100 nb_sec=488
case_no=160 label=Case6.148 nb_sol=0 ticks=230306 tps=100 nb_sec=2303
case_no=160 label=Case6.148 nb_sol=0 ticks=104094 tps=100 nb_sec=1040
case_no=160 label=Case6.148 nb_sol=0 ticks=112056 tps=100 nb_sec=1120
case_no=160 label=Case6.148 nb_sol=0 ticks=186117 tps=100 nb_sec=1861
case_no=160 label=Case6.148 nb_sol=0 ticks=62830 tps=100 nb_sec=628
case_no=160 label=Case6.148 nb_sol=0 ticks=47868 tps=100 nb_sec=478
case_no=160 label=Case6.148 nb_sol=0 ticks=169533 tps=100 nb_sec=1695
case_no=160 label=Case6.148 nb_sol=0 ticks=58363 tps=100 nb_sec=583
case_no=160 label=Case6.148 nb_sol=0 ticks=60670 tps=100 nb_sec=606
case_no=160 label=Case6.148 nb_sol=0 ticks=75271 tps=100 nb_sec=752
case_no=160 label=Case6.148 nb_sol=0 ticks=64747 tps=100 nb_sec=647
case_no=160 label=Case6.148 nb_sol=0 ticks=66444 tps=100 nb_sec=664
case_no=160 label=Case6.148 nb_sol=0 ticks=96600 tps=100 nb_sec=966
case_no=160 label=Case6.148 nb_sol=0 ticks=97158 tps=100 nb_sec=971
case_no=160 label=Case6.148 nb_sol=0 ticks=133518 tps=100 nb_sec=1335
case_no=160 label=Case6.148 nb_sol=0 ticks=126596 tps=100 nb_sec=1265
case_no=160 label=Case6.148 nb_sol=0 ticks=57191 tps=100 nb_sec=571
case_no=160 label=Case6.148 nb_sol=0 ticks=69339 tps=100 nb_sec=693
case_no=160 label=Case6.148 nb_sol=0 ticks=74064 tps=100 nb_sec=740
case_no=160 label=Case6.148 nb_sol=0 ticks=77095 tps=100 nb_sec=770
case_no=160 label=Case6.148 nb_sol=0 ticks=42959 tps=100 nb_sec=429
case_no=160 label=Case6.148 nb_sol=0 ticks=66232 tps=100 nb_sec=662
case_no=160 label=Case6.148 nb_sol=0 ticks=42302 tps=100 nb_sec=423
case_no=160 label=Case6.148 nb_sol=0 ticks=46792 tps=100 nb_sec=467
case_no=160 label=Case6.148 nb_sol=0 ticks=80066 tps=100 nb_sec=800
case_no=160 label=Case6.148 nb_sol=0 ticks=35707 tps=100 nb_sec=357
case_no=160 label=Case6.148 nb_sol=0 ticks=128728 tps=100 nb_sec=1287
case_no=160 label=Case6.148 nb_sol=0 ticks=77796 tps=100 nb_sec=777
case_no=160 label=Case6.148 nb_sol=0 ticks=131670 tps=100 nb_sec=1316
case_no=160 label=Case6.148 nb_sol=0 ticks=76720 tps=100 nb_sec=767
case_no=160 label=Case6.148 nb_sol=0 ticks=106113 tps=100 nb_sec=1061
case_no=160 label=Case6.148 nb_sol=0 ticks=76538 tps=100 nb_sec=765
case_no=160 label=Case6.148 nb_sol=0 ticks=116775 tps=100 nb_sec=1167
case_no=160 label=Case6.148 nb_sol=0 ticks=53538 tps=100 nb_sec=535
case_no=160 label=Case6.148 nb_sol=0 ticks=59625 tps=100 nb_sec=596
case_no=160 label=Case6.148 nb_sol=0 ticks=74070 tps=100 nb_sec=740
case_no=160 label=Case6.148 nb_sol=0 ticks=65875 tps=100 nb_sec=658
case_no=160 label=Case6.148 nb_sol=0 ticks=107930 tps=100 nb_sec=1079
case_no=160 label=Case6.148 nb_sol=0 ticks=135658 tps=100 nb_sec=1356
case_no=160 label=Case6.148 nb_sol=0 ticks=75182 tps=100 nb_sec=751
case_no=160 label=Case6.148 nb_sol=0 ticks=129519 tps=100 nb_sec=1295
case_no=160 label=Case6.148 nb_sol=0 ticks=152143 tps=100 nb_sec=1521
case_no=160 label=Case6.148 nb_sol=0 ticks=103850 tps=100 nb_sec=1038
case_no=160 label=Case6.148 nb_sol=0 ticks=115600 tps=100 nb_sec=1156
case_no=160 label=Case6.148 nb_sol=0 ticks=75763 tps=100 nb_sec=757
case_no=160 label=Case6.148 nb_sol=0 ticks=148449 tps=100 nb_sec=1484
case_no=160 label=Case6.148 nb_sol=0 ticks=123615 tps=100 nb_sec=1236
case_no=160 label=Case6.148 nb_sol=0 ticks=129774 tps=100 nb_sec=1297
case_no=160 label=Case6.148 nb_sol=0 ticks=111011 tps=100 nb_sec=1110
case_no=160 label=Case6.148 nb_sol=0 ticks=78795 tps=100 nb_sec=787
case_no=160 label=Case6.148 nb_sol=0 ticks=69695 tps=100 nb_sec=696
case_no=160 label=Case6.148 nb_sol=0 ticks=101824 tps=100 nb_sec=1018
case_no=160 label=Case6.148 nb_sol=0 ticks=80998 tps=100 nb_sec=809
case_no=160 label=Case6.148 nb_sol=0 ticks=109741 tps=100 nb_sec=1097
case_no=160 label=Case6.148 nb_sol=0 ticks=82604 tps=100 nb_sec=826
case_no=160 label=Case6.148 nb_sol=0 ticks=113232 tps=100 nb_sec=1132
case_no=160 label=Case6.148 nb_sol=0 ticks=81078 tps=100 nb_sec=810
case_no=160 label=Case6.148 nb_sol=0 ticks=61604 tps=100 nb_sec=616
case_no=160 label=Case6.148 nb_sol=0 ticks=66860 tps=100 nb_sec=668
case_no=160 label=Case6.148 nb_sol=0 ticks=102190 tps=100 nb_sec=1021
case_no=160 label=Case6.148 nb_sol=0 ticks=82593 tps=100 nb_sec=825
case_no=160 label=Case6.148 nb_sol=0 ticks=103752 tps=100 nb_sec=1037
case_no=160 label=Case6.148 nb_sol=0 ticks=50749 tps=100 nb_sec=507
case_no=160 label=Case6.148 nb_sol=0 ticks=50622 tps=100 nb_sec=506
case_no=160 label=Case6.148 nb_sol=0 ticks=111072 tps=100 nb_sec=1110
case_no=160 label=Case6.148 nb_sol=0 ticks=106137 tps=100 nb_sec=1061
case_no=160 label=Case6.148 nb_sol=0 ticks=39673 tps=100 nb_sec=396
case_no=160 label=Case6.148 nb_sol=0 ticks=106388 tps=100 nb_sec=1063
case_no=160 label=Case6.148 nb_sol=0 ticks=63305 tps=100 nb_sec=633
case_no=160 label=Case6.148 nb_sol=0 ticks=69218 tps=100 nb_sec=692
case_no=160 label=Case6.148 nb_sol=0 ticks=95638 tps=100 nb_sec=956
case_no=160 label=Case6.148 nb_sol=0 ticks=68379 tps=100 nb_sec=683
case_no=160 label=Case6.148 nb_sol=0 ticks=76605 tps=100 nb_sec=766
case_no=160 label=Case6.148 nb_sol=0 ticks=164680 tps=100 nb_sec=1646
case_no=160 label=Case6.148 nb_sol=0 ticks=110372 tps=100 nb_sec=1103
case_no=160 label=Case6.148 nb_sol=0 ticks=77262 tps=100 nb_sec=772
case_no=160 label=Case6.148 nb_sol=0 ticks=82029 tps=100 nb_sec=820
case_no=160 label=Case6.148 nb_sol=0 ticks=55741 tps=100 nb_sec=557
case_no=160 label=Case6.148 nb_sol=0 ticks=175353 tps=100 nb_sec=1753
case_no=160 label=Case6.148 nb_sol=0 ticks=68347 tps=100 nb_sec=683
case_no=160 label=Case6.148 nb_sol=0 ticks=105543 tps=100 nb_sec=1055
case_no=160 label=Case6.148 nb_sol=0 ticks=62092 tps=100 nb_sec=620
case_no=160 label=Case6.148 nb_sol=0 ticks=95531 tps=100 nb_sec=955
case_no=160 label=Case6.148 nb_sol=0 ticks=98334 tps=100 nb_sec=983
case_no=160 label=Case6.148 nb_sol=0 ticks=142075 tps=100 nb_sec=1420
case_no=160 label=Case6.148 nb_sol=0 ticks=67067 tps=100 nb_sec=670
case_no=160 label=Case6.148 nb_sol=0 ticks=112831 tps=100 nb_sec=1128
case_no=160 label=Case6.148 nb_sol=0 ticks=46216 tps=100 nb_sec=462
case_no=160 label=Case6.148 nb_sol=0 ticks=158025 tps=100 nb_sec=1580
case_no=160 label=Case6.148 nb_sol=0 ticks=76915 tps=100 nb_sec=769
case_no=160 label=Case6.148 nb_sol=0 ticks=64297 tps=100 nb_sec=642
case_no=160 label=Case6.148 nb_sol=0 ticks=71850 tps=100 nb_sec=718
case_no=160 label=Case6.148 nb_sol=0 ticks=56635 tps=100 nb_sec=566
case_no=160 label=Case6.148 nb_sol=0 ticks=60391 tps=100 nb_sec=603
case_no=160 label=Case6.148 nb_sol=0 ticks=62567 tps=100 nb_sec=625
case_no=160 label=Case6.148 nb_sol=0 ticks=66854 tps=100 nb_sec=668
case_no=160 label=Case6.148 nb_sol=0 ticks=59126 tps=100 nb_sec=591
case_no=160 label=Case6.148 nb_sol=0 ticks=45369 tps=100 nb_sec=453
case_no=160 label=Case6.148 nb_sol=0 ticks=125149 tps=100 nb_sec=1251
case_no=160 label=Case6.148 nb_sol=0 ticks=100602 tps=100 nb_sec=1006
case_no=160 label=Case6.148 nb_sol=0 ticks=77827 tps=100 nb_sec=778
case_no=160 label=Case6.148 nb_sol=0 ticks=214076 tps=100 nb_sec=2140
case_no=160 label=Case6.148 nb_sol=0 ticks=105036 tps=100 nb_sec=1050
case_no=160 label=Case6.148 nb_sol=0 ticks=93932 tps=100 nb_sec=939
case_no=160 label=Case6.148 nb_sol=0 ticks=99102 tps=100 nb_sec=991
case_no=160 label=Case6.148 nb_sol=0 ticks=155511 tps=100 nb_sec=1555
case_no=160 label=Case6.148 nb_sol=0 ticks=97505 tps=100 nb_sec=975
case_no=160 label=Case6.148 nb_sol=0 ticks=62568 tps=100 nb_sec=625
case_no=160 label=Case6.148 nb_sol=0 ticks=144595 tps=100 nb_sec=1445
case_no=160 label=Case6.148 nb_sol=0 ticks=130306 tps=100 nb_sec=1303
case_no=160 label=Case6.148 nb_sol=0 ticks=113456 tps=100 nb_sec=1134
case_no=160 label=Case6.148 nb_sol=0 ticks=115566 tps=100 nb_sec=1155
case_no=160 label=Case6.148 nb_sol=0 ticks=102424 tps=100 nb_sec=1024
case_no=160 label=Case6.148 nb_sol=0 ticks=158365 tps=100 nb_sec=1583
case_no=160 label=Case6.148 nb_sol=0 ticks=72797 tps=100 nb_sec=727
case_no=160 label=Case6.148 nb_sol=0 ticks=63736 tps=100 nb_sec=637
case_no=160 label=Case6.148 nb_sol=0 ticks=88890 tps=100 nb_sec=888
case_no=160 label=Case6.148 nb_sol=0 ticks=152981 tps=100 nb_sec=1529
case_no=160 label=Case6.148 nb_sol=0 ticks=82587 tps=100 nb_sec=825
case_no=160 label=Case6.148 nb_sol=0 ticks=149837 tps=100 nb_sec=1498
case_no=160 label=Case6.148 nb_sol=0 ticks=92095 tps=100 nb_sec=920
case_no=160 label=Case6.148 nb_sol=0 ticks=68836 tps=100 nb_sec=688
case_no=160 label=Case6.148 nb_sol=0 ticks=40041 tps=100 nb_sec=400
case_no=160 label=Case6.148 nb_sol=0 ticks=146708 tps=100 nb_sec=1467
case_no=160 label=Case6.148 nb_sol=0 ticks=102332 tps=100 nb_sec=1023
case_no=160 label=Case6.148 nb_sol=0 ticks=100998 tps=100 nb_sec=1009
case_no=160 label=Case6.148 nb_sol=0 ticks=125023 tps=100 nb_sec=1250
case_no=160 label=Case6.148 nb_sol=0 ticks=49545 tps=100 nb_sec=495
case_no=160 label=Case6.148 nb_sol=0 ticks=52384 tps=100 nb_sec=523
case_no=160 label=Case6.148 nb_sol=0 ticks=70256 tps=100 nb_sec=702
case_no=160 label=Case6.148 nb_sol=0 ticks=64297 tps=100 nb_sec=642
case_no=160 label=Case6.148 nb_sol=0 ticks=96623 tps=100 nb_sec=966
case_no=160 label=Case6.148 nb_sol=0 ticks=79504 tps=100 nb_sec=795
case_no=160 label=Case6.148 nb_sol=0 ticks=109249 tps=100 nb_sec=1092
case_no=160 label=Case6.148 nb_sol=0 ticks=113033 tps=100 nb_sec=1130
case_no=160 label=Case6.148 nb_sol=0 ticks=72994 tps=100 nb_sec=729
case_no=160 label=Case6.148 nb_sol=0 ticks=75269 tps=100 nb_sec=752
case_no=160 label=Case6.148 nb_sol=0 ticks=58769 tps=100 nb_sec=587
case_no=160 label=Case6.148 nb_sol=0 ticks=50950 tps=100 nb_sec=509
case_no=160 label=Case6.148 nb_sol=0 ticks=77191 tps=100 nb_sec=771
case_no=160 label=Case6.148 nb_sol=0 ticks=84606 tps=100 nb_sec=846
case_no=160 label=Case6.148 nb_sol=0 ticks=100797 tps=100 nb_sec=1007
case_no=160 label=Case6.148 nb_sol=0 ticks=131195 tps=100 nb_sec=1311
case_no=160 label=Case6.148 nb_sol=0 ticks=185330 tps=100 nb_sec=1853
case_no=160 label=Case6.148 nb_sol=0 ticks=76950 tps=100 nb_sec=769
case_no=160 label=Case6.148 nb_sol=0 ticks=78226 tps=100 nb_sec=782
case_no=160 label=Case6.148 nb_sol=0 ticks=104721 tps=100 nb_sec=1047
case_no=160 label=Case6.148 nb_sol=0 ticks=57019 tps=100 nb_sec=570
case_no=160 label=Case6.148 nb_sol=0 ticks=63339 tps=100 nb_sec=633
case_no=160 label=Case6.148 nb_sol=0 ticks=55130 tps=100 nb_sec=551
case_no=160 label=Case6.148 nb_sol=0 ticks=70908 tps=100 nb_sec=709
case_no=160 label=Case6.148 nb_sol=0 ticks=90001 tps=100 nb_sec=900
case_no=160 label=Case6.148 nb_sol=0 ticks=102709 tps=100 nb_sec=1027
case_no=160 label=Case6.148 nb_sol=0 ticks=130960 tps=100 nb_sec=1309
case_no=160 label=Case6.148 nb_sol=0 ticks=56968 tps=100 nb_sec=569
case_no=160 label=Case6.148 nb_sol=0 ticks=85687 tps=100 nb_sec=856
case_no=160 label=Case6.148 nb_sol=0 ticks=52081 tps=100 nb_sec=520
case_no=160 label=Case6.148 nb_sol=0 ticks=94020 tps=100 nb_sec=940
case_no=160 label=Case6.148 nb_sol=0 ticks=68039 tps=100 nb_sec=680
case_no=160 label=Case6.148 nb_sol=0 ticks=105997 tps=100 nb_sec=1059
case_no=160 label=Case6.148 nb_sol=0 ticks=163304 tps=100 nb_sec=1633
case_no=160 label=Case6.148 nb_sol=0 ticks=117921 tps=100 nb_sec=1179
case_no=160 label=Case6.148 nb_sol=0 ticks=66503 tps=100 nb_sec=665
case_no=160 label=Case6.148 nb_sol=0 ticks=76631 tps=100 nb_sec=766
case_no=160 label=Case6.148 nb_sol=0 ticks=76391 tps=100 nb_sec=763
case_no=160 label=Case6.148 nb_sol=0 ticks=37467 tps=100 nb_sec=374
case_no=160 label=Case6.148 nb_sol=0 ticks=81391 tps=100 nb_sec=813
case_no=160 label=Case6.148 nb_sol=0 ticks=102552 tps=100 nb_sec=1025
case_no=160 label=Case6.148 nb_sol=0 ticks=97272 tps=100 nb_sec=972
case_no=160 label=Case6.148 nb_sol=0 ticks=75453 tps=100 nb_sec=754
case_no=160 label=Case6.148 nb_sol=0 ticks=138109 tps=100 nb_sec=1381
case_no=160 label=Case6.148 nb_sol=0 ticks=81687 tps=100 nb_sec=816
case_no=160 label=Case6.148 nb_sol=0 ticks=74627 tps=100 nb_sec=746
case_no=160 label=Case6.148 nb_sol=0 ticks=80941 tps=100 nb_sec=809
case_no=160 label=Case6.148 nb_sol=0 ticks=96960 tps=100 nb_sec=969
case_no=160 label=Case6.148 nb_sol=0 ticks=85360 tps=100 nb_sec=853
case_no=160 label=Case6.148 nb_sol=0 ticks=42350 tps=100 nb_sec=423
case_no=160 label=Case6.148 nb_sol=0 ticks=117307 tps=100 nb_sec=1173
case_no=160 label=Case6.148 nb_sol=0 ticks=116045 tps=100 nb_sec=1160
case_no=160 label=Case6.148 nb_sol=0 ticks=62499 tps=100 nb_sec=624
case_no=160 label=Case6.148 nb_sol=0 ticks=98323 tps=100 nb_sec=983
case_no=160 label=Case6.148 nb_sol=0 ticks=90619 tps=100 nb_sec=906
case_no=160 label=Case6.148 nb_sol=0 ticks=58591 tps=100 nb_sec=585
case_no=160 label=Case6.148 nb_sol=0 ticks=92544 tps=100 nb_sec=925
case_no=160 label=Case6.148 nb_sol=0 ticks=111093 tps=100 nb_sec=1110
case_no=160 label=Case6.148 nb_sol=0 ticks=65899 tps=100 nb_sec=658
case_no=160 label=Case6.148 nb_sol=0 ticks=100103 tps=100 nb_sec=1001
case_no=160 label=Case6.148 nb_sol=0 ticks=91281 tps=100 nb_sec=912
case_no=160 label=Case6.148 nb_sol=0 ticks=144701 tps=100 nb_sec=1447
case_no=160 label=Case6.148 nb_sol=0 ticks=105649 tps=100 nb_sec=1056
case_no=160 label=Case6.148 nb_sol=0 ticks=64755 tps=100 nb_sec=647
case_no=160 label=Case6.148 nb_sol=0 ticks=53919 tps=100 nb_sec=539
case_no=160 label=Case6.148 nb_sol=0 ticks=84671 tps=100 nb_sec=846
case_no=160 label=Case6.148 nb_sol=0 ticks=85875 tps=100 nb_sec=858
case_no=160 label=Case6.148 nb_sol=0 ticks=56492 tps=100 nb_sec=564
case_no=160 label=Case6.148 nb_sol=0 ticks=86219 tps=100 nb_sec=862
case_no=160 label=Case6.148 nb_sol=0 ticks=64616 tps=100 nb_sec=646
case_no=160 label=Case6.148 nb_sol=0 ticks=81966 tps=100 nb_sec=819
case_no=160 label=Case6.148 nb_sol=0 ticks=30959 tps=100 nb_sec=309
case_no=160 label=Case6.148 nb_sol=0 ticks=167921 tps=100 nb_sec=1679
case_no=160 label=Case6.148 nb_sol=0 ticks=119086 tps=100 nb_sec=1190
case_no=160 label=Case6.148 nb_sol=0 ticks=129561 tps=100 nb_sec=1295
case_no=160 label=Case6.148 nb_sol=0 ticks=99274 tps=100 nb_sec=992
case_no=160 label=Case6.148 nb_sol=0 ticks=307320 tps=100 nb_sec=3073
case_no=160 label=Case6.148 nb_sol=0 ticks=72883 tps=100 nb_sec=728
case_no=160 label=Case6.148 nb_sol=0 ticks=178344 tps=100 nb_sec=1783
case_no=160 label=Case6.148 nb_sol=0 ticks=79854 tps=100 nb_sec=798
case_no=160 label=Case6.148 nb_sol=0 ticks=197019 tps=100 nb_sec=1970
case_no=160 label=Case6.148 nb_sol=0 ticks=49190 tps=100 nb_sec=491
case_no=160 label=Case6.148 nb_sol=0 ticks=120268 tps=100 nb_sec=1202
case_no=160 label=Case6.148 nb_sol=0 ticks=71516 tps=100 nb_sec=715
case_no=160 label=Case6.148 nb_sol=0 ticks=82410 tps=100 nb_sec=824
case_no=160 label=Case6.148 nb_sol=0 ticks=55327 tps=100 nb_sec=553
case_no=160 label=Case6.148 nb_sol=0 ticks=166696 tps=100 nb_sec=1666
case_no=160 label=Case6.148 nb_sol=0 ticks=121820 tps=100 nb_sec=1218
case_no=160 label=Case6.148 nb_sol=0 ticks=226052 tps=100 nb_sec=2260
case_no=160 label=Case6.148 nb_sol=0 ticks=133457 tps=100 nb_sec=1334
case_no=160 label=Case6.148 nb_sol=0 ticks=234599 tps=100 nb_sec=2345
case_no=160 label=Case6.148 nb_sol=0 ticks=158741 tps=100 nb_sec=1587
case_no=160 label=Case6.148 nb_sol=0 ticks=73504 tps=100 nb_sec=735
case_no=160 label=Case6.148 nb_sol=0 ticks=39713 tps=100 nb_sec=397
case_no=160 label=Case6.148 nb_sol=0 ticks=175305 tps=100 nb_sec=1753
case_no=160 label=Case6.148 nb_sol=0 ticks=61557 tps=100 nb_sec=615
case_no=160 label=Case6.148 nb_sol=0 ticks=57816 tps=100 nb_sec=578
case_no=160 label=Case6.148 nb_sol=0 ticks=121906 tps=100 nb_sec=1219
case_no=160 label=Case6.148 nb_sol=0 ticks=28236 tps=100 nb_sec=282
case_no=160 label=Case6.148 nb_sol=0 ticks=92700 tps=100 nb_sec=927
case_no=160 label=Case6.148 nb_sol=0 ticks=29767 tps=100 nb_sec=297
case_no=160 label=Case6.148 nb_sol=0 ticks=74763 tps=100 nb_sec=747
case_no=160 label=Case6.148 nb_sol=0 ticks=72470 tps=100 nb_sec=724
case_no=160 label=Case6.148 nb_sol=0 ticks=97999 tps=100 nb_sec=979
case_no=160 label=Case6.148 nb_sol=0 ticks=56414 tps=100 nb_sec=564
case_no=160 label=Case6.148 nb_sol=0 ticks=46252 tps=100 nb_sec=462
case_no=160 label=Case6.148 nb_sol=0 ticks=60776 tps=100 nb_sec=607
case_no=160 label=Case6.148 nb_sol=0 ticks=93456 tps=100 nb_sec=934
case_no=160 label=Case6.148 nb_sol=0 ticks=95480 tps=100 nb_sec=954
case_no=160 label=Case6.148 nb_sol=0 ticks=70272 tps=100 nb_sec=702
case_no=160 label=Case6.148 nb_sol=0 ticks=77678 tps=100 nb_sec=776
case_no=160 label=Case6.148 nb_sol=0 ticks=45914 tps=100 nb_sec=459
case_no=160 label=Case6.148 nb_sol=0 ticks=46963 tps=100 nb_sec=469
case_no=160 label=Case6.148 nb_sol=0 ticks=64387 tps=100 nb_sec=643
case_no=160 label=Case6.148 nb_sol=0 ticks=34080 tps=100 nb_sec=340
case_no=160 label=Case6.148 nb_sol=0 ticks=60968 tps=100 nb_sec=609
case_no=160 label=Case6.148 nb_sol=0 ticks=45097 tps=100 nb_sec=450
case_no=160 label=Case6.148 nb_sol=0 ticks=68056 tps=100 nb_sec=680
case_no=160 label=Case6.148 nb_sol=0 ticks=61182 tps=100 nb_sec=611
case_no=160 label=Case6.148 nb_sol=0 ticks=41114 tps=100 nb_sec=411
case_no=160 label=Case6.148 nb_sol=0 ticks=51763 tps=100 nb_sec=517
case_no=160 label=Case6.148 nb_sol=0 ticks=148656 tps=100 nb_sec=1486
case_no=160 label=Case6.148 nb_sol=0 ticks=71841 tps=100 nb_sec=718
case_no=160 label=Case6.148 nb_sol=0 ticks=47939 tps=100 nb_sec=479
case_no=160 label=Case6.148 nb_sol=0 ticks=150230 tps=100 nb_sec=1502
case_no=160 label=Case6.148 nb_sol=0 ticks=123938 tps=100 nb_sec=1239
case_no=160 label=Case6.148 nb_sol=0 ticks=35547 tps=100 nb_sec=355
case_no=160 label=Case6.148 nb_sol=0 ticks=68168 tps=100 nb_sec=681
case_no=160 label=Case6.148 nb_sol=0 ticks=35685 tps=100 nb_sec=356
case_no=160 label=Case6.148 nb_sol=0 ticks=60201 tps=100 nb_sec=602
case_no=160 label=Case6.148 nb_sol=0 ticks=35205 tps=100 nb_sec=352
case_no=160 label=Case6.148 nb_sol=0 ticks=81986 tps=100 nb_sec=819
case_no=160 label=Case6.148 nb_sol=0 ticks=128983 tps=100 nb_sec=1289
case_no=160 label=Case6.148 nb_sol=0 ticks=113946 tps=100 nb_sec=1139
case_no=160 label=Case6.148 nb_sol=0 ticks=60187 tps=100 nb_sec=601
case_no=160 label=Case6.148 nb_sol=0 ticks=80457 tps=100 nb_sec=804
case_no=160 label=Case6.148 nb_sol=0 ticks=70937 tps=100 nb_sec=709
case_no=160 label=Case6.148 nb_sol=0 ticks=143278 tps=100 nb_sec=1432
case_no=160 label=Case6.148 nb_sol=0 ticks=26366 tps=100 nb_sec=263
case_no=160 label=Case6.148 nb_sol=0 ticks=126291 tps=100 nb_sec=1262
case_no=160 label=Case6.148 nb_sol=0 ticks=63969 tps=100 nb_sec=639
case_no=160 label=Case6.148 nb_sol=0 ticks=81035 tps=100 nb_sec=810
case_no=160 label=Case6.148 nb_sol=0 ticks=256610 tps=100 nb_sec=2566
case_no=160 label=Case6.148 nb_sol=0 ticks=114213 tps=100 nb_sec=1142
case_no=160 label=Case6.148 nb_sol=0 ticks=90747 tps=100 nb_sec=907
case_no=160 label=Case6.148 nb_sol=0 ticks=70756 tps=100 nb_sec=707
case_no=160 label=Case6.148 nb_sol=0 ticks=59319 tps=100 nb_sec=593
case_no=160 label=Case6.148 nb_sol=0 ticks=75304 tps=100 nb_sec=753
case_no=160 label=Case6.148 nb_sol=0 ticks=117193 tps=100 nb_sec=1171
case_no=160 label=Case6.148 nb_sol=0 ticks=92520 tps=100 nb_sec=925
case_no=160 label=Case6.148 nb_sol=0 ticks=48231 tps=100 nb_sec=482
case_no=160 label=Case6.148 nb_sol=0 ticks=123527 tps=100 nb_sec=1235
case_no=160 label=Case6.148 nb_sol=0 ticks=51026 tps=100 nb_sec=510
case_no=160 label=Case6.148 nb_sol=0 ticks=126422 tps=100 nb_sec=1264
case_no=160 label=Case6.148 nb_sol=0 ticks=42519 tps=100 nb_sec=425
case_no=160 label=Case6.148 nb_sol=0 ticks=129848 tps=100 nb_sec=1298
case_no=160 label=Case6.148 nb_sol=0 ticks=85117 tps=100 nb_sec=851
case_no=160 label=Case6.148 nb_sol=0 ticks=112917 tps=100 nb_sec=1129
case_no=160 label=Case6.148 nb_sol=0 ticks=67016 tps=100 nb_sec=670
case_no=160 label=Case6.148 nb_sol=0 ticks=71177 tps=100 nb_sec=711
case_no=160 label=Case6.148 nb_sol=0 ticks=62754 tps=100 nb_sec=627
case_no=160 label=Case6.148 nb_sol=0 ticks=107796 tps=100 nb_sec=1077
case_no=160 label=Case6.148 nb_sol=0 ticks=96874 tps=100 nb_sec=968
case_no=160 label=Case6.148 nb_sol=0 ticks=110780 tps=100 nb_sec=1107
case_no=160 label=Case6.148 nb_sol=0 ticks=102818 tps=100 nb_sec=1028
case_no=160 label=Case6.148 nb_sol=0 ticks=58181 tps=100 nb_sec=581
case_no=160 label=Case6.148 nb_sol=0 ticks=62504 tps=100 nb_sec=625
case_no=160 label=Case6.148 nb_sol=0 ticks=68345 tps=100 nb_sec=683
case_no=160 label=Case6.148 nb_sol=0 ticks=30823 tps=100 nb_sec=308
case_no=160 label=Case6.148 nb_sol=0 ticks=118078 tps=100 nb_sec=1180
case_no=160 label=Case6.148 nb_sol=0 ticks=72210 tps=100 nb_sec=722
case_no=160 label=Case6.148 nb_sol=0 ticks=75757 tps=100 nb_sec=757
case_no=160 label=Case6.148 nb_sol=0 ticks=58403 tps=100 nb_sec=584
case_no=160 label=Case6.148 nb_sol=0 ticks=88165 tps=100 nb_sec=881
case_no=160 label=Case6.148 nb_sol=0 ticks=38871 tps=100 nb_sec=388
case_no=160 label=Case6.148 nb_sol=0 ticks=55504 tps=100 nb_sec=555
case_no=160 label=Case6.148 nb_sol=0 ticks=48749 tps=100 nb_sec=487
case_no=160 label=Case6.148 nb_sol=0 ticks=75205 tps=100 nb_sec=752
case_no=160 label=Case6.148 nb_sol=0 ticks=23655 tps=100 nb_sec=236
case_no=160 label=Case6.148 nb_sol=0 ticks=134223 tps=100 nb_sec=1342
case_no=160 label=Case6.148 nb_sol=0 ticks=63736 tps=100 nb_sec=637
case_no=160 label=Case6.148 nb_sol=0 ticks=69372 tps=100 nb_sec=693
case_no=160 label=Case6.148 nb_sol=0 ticks=55030 tps=100 nb_sec=550
case_no=160 label=Case6.148 nb_sol=0 ticks=137052 tps=100 nb_sec=1370
case_no=160 label=Case6.148 nb_sol=0 ticks=109137 tps=100 nb_sec=1091
case_no=160 label=Case6.148 nb_sol=0 ticks=80488 tps=100 nb_sec=804
case_no=160 label=Case6.148 nb_sol=0 ticks=82668 tps=100 nb_sec=826
case_no=160 label=Case6.148 nb_sol=0 ticks=74659 tps=100 nb_sec=746
case_no=160 label=Case6.148 nb_sol=0 ticks=116342 tps=100 nb_sec=1163
case_no=160 label=Case6.148 nb_sol=0 ticks=60936 tps=100 nb_sec=609
case_no=160 label=Case6.148 nb_sol=0 ticks=166269 tps=100 nb_sec=1662
case_no=160 label=Case6.148 nb_sol=0 ticks=48662 tps=100 nb_sec=486
case_no=160 label=Case6.148 nb_sol=0 ticks=44984 tps=100 nb_sec=449
case_no=160 label=Case6.148 nb_sol=0 ticks=61679 tps=100 nb_sec=616
case_no=160 label=Case6.148 nb_sol=0 ticks=37269 tps=100 nb_sec=372
case_no=160 label=Case6.148 nb_sol=0 ticks=108296 tps=100 nb_sec=1082
case_no=160 label=Case6.148 nb_sol=0 ticks=76450 tps=100 nb_sec=764
case_no=160 label=Case6.148 nb_sol=0 ticks=95319 tps=100 nb_sec=953
case_no=160 label=Case6.148 nb_sol=0 ticks=88690 tps=100 nb_sec=886
case_no=160 label=Case6.148 nb_sol=0 ticks=57210 tps=100 nb_sec=572
case_no=160 label=Case6.148 nb_sol=0 ticks=106322 tps=100 nb_sec=1063
case_no=160 label=Case6.148 nb_sol=0 ticks=64726 tps=100 nb_sec=647
case_no=160 label=Case6.148 nb_sol=0 ticks=74931 tps=100 nb_sec=749
case_no=160 label=Case6.148 nb_sol=0 ticks=90539 tps=100 nb_sec=905
case_no=160 label=Case6.148 nb_sol=0 ticks=26863 tps=100 nb_sec=268
case_no=160 label=Case6.148 nb_sol=0 ticks=89524 tps=100 nb_sec=895
case_no=160 label=Case6.148 nb_sol=0 ticks=31338 tps=100 nb_sec=313
case_no=160 label=Case6.148 nb_sol=0 ticks=118710 tps=100 nb_sec=1187
case_no=160 label=Case6.148 nb_sol=0 ticks=90229 tps=100 nb_sec=902
case_no=160 label=Case6.148 nb_sol=0 ticks=184545 tps=100 nb_sec=1845
case_no=160 label=Case6.148 nb_sol=0 ticks=72134 tps=100 nb_sec=721
case_no=160 label=Case6.148 nb_sol=0 ticks=106857 tps=100 nb_sec=1068
case_no=160 label=Case6.148 nb_sol=0 ticks=52610 tps=100 nb_sec=526
case_no=160 label=Case6.148 nb_sol=0 ticks=70337 tps=100 nb_sec=703
case_no=160 label=Case6.148 nb_sol=0 ticks=75141 tps=100 nb_sec=751
case_no=160 label=Case6.148 nb_sol=0 ticks=175231 tps=100 nb_sec=1752
case_no=160 label=Case6.148 nb_sol=0 ticks=78466 tps=100 nb_sec=784
case_no=160 label=Case6.148 nb_sol=0 ticks=117516 tps=100 nb_sec=1175
case_no=160 label=Case6.148 nb_sol=0 ticks=99929 tps=100 nb_sec=999
case_no=160 label=Case6.148 nb_sol=0 ticks=79564 tps=100 nb_sec=795
case_no=160 label=Case6.148 nb_sol=0 ticks=88559 tps=100 nb_sec=885
case_no=160 label=Case6.148 nb_sol=0 ticks=53489 tps=100 nb_sec=534
case_no=160 label=Case6.148 nb_sol=0 ticks=103614 tps=100 nb_sec=1036
case_no=160 label=Case6.148 nb_sol=0 ticks=66208 tps=100 nb_sec=662
case_no=160 label=Case6.148 nb_sol=0 ticks=49971 tps=100 nb_sec=499
case_no=160 label=Case6.148 nb_sol=0 ticks=100357 tps=100 nb_sec=1003
case_no=160 label=Case6.148 nb_sol=0 ticks=76357 tps=100 nb_sec=763
case_no=160 label=Case6.148 nb_sol=0 ticks=82449 tps=100 nb_sec=824
case_no=160 label=Case6.148 nb_sol=0 ticks=65871 tps=100 nb_sec=658
case_no=160 label=Case6.148 nb_sol=0 ticks=117443 tps=100 nb_sec=1174
case_no=160 label=Case6.148 nb_sol=0 ticks=61408 tps=100 nb_sec=614
case_no=160 label=Case6.148 nb_sol=0 ticks=70928 tps=100 nb_sec=709
case_no=160 label=Case6.148 nb_sol=0 ticks=75293 tps=100 nb_sec=752
case_no=160 label=Case6.148 nb_sol=0 ticks=131627 tps=100 nb_sec=1316
case_no=160 label=Case6.148 nb_sol=0 ticks=113385 tps=100 nb_sec=1133
case_no=160 label=Case6.148 nb_sol=0 ticks=110487 tps=100 nb_sec=1104
case_no=160 label=Case6.148 nb_sol=0 ticks=216027 tps=100 nb_sec=2160
case_no=160 label=Case6.148 nb_sol=0 ticks=115748 tps=100 nb_sec=1157
case_no=160 label=Case6.148 nb_sol=0 ticks=198401 tps=100 nb_sec=1984
case_no=160 label=Case6.148 nb_sol=0 ticks=51517 tps=100 nb_sec=515
case_no=160 label=Case6.148 nb_sol=0 ticks=90654 tps=100 nb_sec=906
case_no=160 label=Case6.148 nb_sol=0 ticks=91599 tps=100 nb_sec=915
case_no=160 label=Case6.148 nb_sol=0 ticks=33866 tps=100 nb_sec=338
case_no=160 label=Case6.148 nb_sol=0 ticks=56587 tps=100 nb_sec=565
case_no=160 label=Case6.148 nb_sol=0 ticks=29422 tps=100 nb_sec=294
case_no=160 label=Case6.148 nb_sol=0 ticks=83643 tps=100 nb_sec=836
case_no=160 label=Case6.148 nb_sol=0 ticks=37509 tps=100 nb_sec=375
case_no=160 label=Case6.148 nb_sol=0 ticks=140710 tps=100 nb_sec=1407
case_no=160 label=Case6.148 nb_sol=0 ticks=106921 tps=100 nb_sec=1069
case_no=160 label=Case6.148 nb_sol=0 ticks=42296 tps=100 nb_sec=422
case_no=160 label=Case6.148 nb_sol=0 ticks=84274 tps=100 nb_sec=842
case_no=160 label=Case6.148 nb_sol=0 ticks=48053 tps=100 nb_sec=480
case_no=160 label=Case6.148 nb_sol=0 ticks=30120 tps=100 nb_sec=301
case_no=160 label=Case6.148 nb_sol=0 ticks=61433 tps=100 nb_sec=614
case_no=160 label=Case6.148 nb_sol=0 ticks=25881 tps=100 nb_sec=258
case_no=160 label=Case6.148 nb_sol=0 ticks=94067 tps=100 nb_sec=940
case_no=160 label=Case6.148 nb_sol=0 ticks=53750 tps=100 nb_sec=537
case_no=160 label=Case6.148 nb_sol=0 ticks=46836 tps=100 nb_sec=468
case_no=160 label=Case6.148 nb_sol=0 ticks=40718 tps=100 nb_sec=407
case_no=160 label=Case6.148 nb_sol=0 ticks=43520 tps=100 nb_sec=435
case_no=160 label=Case6.148 nb_sol=0 ticks=55869 tps=100 nb_sec=558
case_no=160 label=Case6.148 nb_sol=0 ticks=29919 tps=100 nb_sec=299
case_no=160 label=Case6.148 nb_sol=0 ticks=63266 tps=100 nb_sec=632
case_no=160 label=Case6.148 nb_sol=0 ticks=21418 tps=100 nb_sec=214
case_no=160 label=Case6.148 nb_sol=0 ticks=34790 tps=100 nb_sec=347
case_no=160 label=Case6.148 nb_sol=0 ticks=33811 tps=100 nb_sec=338
case_no=160 label=Case6.148 nb_sol=0 ticks=50651 tps=100 nb_sec=506
case_no=160 label=Case6.148 nb_sol=0 ticks=76440 tps=100 nb_sec=764
case_no=160 label=Case6.148 nb_sol=0 ticks=39663 tps=100 nb_sec=396
case_no=160 label=Case6.148 nb_sol=0 ticks=64592 tps=100 nb_sec=645
case_no=160 label=Case6.148 nb_sol=0 ticks=40907 tps=100 nb_sec=409
case_no=160 label=Case6.148 nb_sol=0 ticks=72849 tps=100 nb_sec=728
case_no=160 label=Case6.148 nb_sol=0 ticks=48717 tps=100 nb_sec=487
case_no=160 label=Case6.148 nb_sol=0 ticks=65247 tps=100 nb_sec=652
case_no=160 label=Case6.148 nb_sol=0 ticks=49125 tps=100 nb_sec=491
case_no=160 label=Case6.148 nb_sol=0 ticks=105226 tps=100 nb_sec=1052
case_no=160 label=Case6.148 nb_sol=0 ticks=68615 tps=100 nb_sec=686
case_no=160 label=Case6.148 nb_sol=0 ticks=61945 tps=100 nb_sec=619
case_no=160 label=Case6.148 nb_sol=0 ticks=140647 tps=100 nb_sec=1406
case_no=160 label=Case6.148 nb_sol=0 ticks=88533 tps=100 nb_sec=885
case_no=160 label=Case6.148 nb_sol=0 ticks=118108 tps=100 nb_sec=1181
case_no=160 label=Case6.148 nb_sol=0 ticks=137139 tps=100 nb_sec=1371
case_no=160 label=Case6.148 nb_sol=0 ticks=80258 tps=100 nb_sec=802
case_no=160 label=Case6.148 nb_sol=0 ticks=108680 tps=100 nb_sec=1086
case_no=160 label=Case6.148 nb_sol=0 ticks=78625 tps=100 nb_sec=786
case_no=160 label=Case6.148 nb_sol=0 ticks=132491 tps=100 nb_sec=1324
case_no=160 label=Case6.148 nb_sol=0 ticks=71207 tps=100 nb_sec=712
case_no=160 label=Case6.148 nb_sol=0 ticks=102935 tps=100 nb_sec=1029
case_no=160 label=Case6.148 nb_sol=0 ticks=313252 tps=100 nb_sec=3132
case_no=160 label=Case6.148 nb_sol=0 ticks=122997 tps=100 nb_sec=1229
case_no=160 label=Case6.148 nb_sol=0 ticks=88789 tps=100 nb_sec=887
case_no=160 label=Case6.148 nb_sol=0 ticks=65661 tps=100 nb_sec=656
case_no=160 label=Case6.148 nb_sol=0 ticks=60567 tps=100 nb_sec=605
case_no=160 label=Case6.148 nb_sol=0 ticks=86011 tps=100 nb_sec=860
case_no=160 label=Case6.148 nb_sol=0 ticks=52784 tps=100 nb_sec=527
case_no=160 label=Case6.148 nb_sol=0 ticks=64222 tps=100 nb_sec=642
case_no=160 label=Case6.148 nb_sol=0 ticks=89164 tps=100 nb_sec=891
case_no=160 label=Case6.148 nb_sol=0 ticks=95257 tps=100 nb_sec=952
case_no=160 label=Case6.148 nb_sol=0 ticks=47403 tps=100 nb_sec=474
case_no=160 label=Case6.148 nb_sol=0 ticks=53602 tps=100 nb_sec=536
case_no=160 label=Case6.148 nb_sol=0 ticks=61757 tps=100 nb_sec=617
case_no=160 label=Case6.148 nb_sol=0 ticks=79877 tps=100 nb_sec=798
case_no=160 label=Case6.148 nb_sol=0 ticks=56935 tps=100 nb_sec=569
case_no=160 label=Case6.148 nb_sol=0 ticks=114193 tps=100 nb_sec=1141
case_no=160 label=Case6.148 nb_sol=0 ticks=134593 tps=100 nb_sec=1345
case_no=160 label=Case6.148 nb_sol=0 ticks=42049 tps=100 nb_sec=420
case_no=160 label=Case6.148 nb_sol=0 ticks=84877 tps=100 nb_sec=848
case_no=160 label=Case6.148 nb_sol=0 ticks=140728 tps=100 nb_sec=1407
case_no=160 label=Case6.148 nb_sol=0 ticks=72272 tps=100 nb_sec=722
case_no=160 label=Case6.148 nb_sol=0 ticks=89864 tps=100 nb_sec=898
case_no=160 label=Case6.148 nb_sol=0 ticks=64992 tps=100 nb_sec=649
case_no=160 label=Case6.148 nb_sol=0 ticks=192326 tps=100 nb_sec=1923
case_no=160 label=Case6.148 nb_sol=0 ticks=112448 tps=100 nb_sec=1124
case_no=160 label=Case6.148 nb_sol=0 ticks=69458 tps=100 nb_sec=694
case_no=160 label=Case6.148 nb_sol=0 ticks=122402 tps=100 nb_sec=1224
case_no=160 label=Case6.148 nb_sol=0 ticks=145299 tps=100 nb_sec=1452
case_no=160 label=Case6.148 nb_sol=0 ticks=104956 tps=100 nb_sec=1049
case_no=160 label=Case6.148 nb_sol=0 ticks=149401 tps=100 nb_sec=1494
case_no=160 label=Case6.148 nb_sol=0 ticks=46802 tps=100 nb_sec=468
case_no=160 label=Case6.148 nb_sol=0 ticks=70505 tps=100 nb_sec=705
case_no=160 label=Case6.148 nb_sol=0 ticks=32762 tps=100 nb_sec=327
case_no=160 label=Case6.148 nb_sol=0 ticks=101343 tps=100 nb_sec=1013
case_no=160 label=Case6.148 nb_sol=0 ticks=105260 tps=100 nb_sec=1052
case_no=160 label=Case6.148 nb_sol=0 ticks=54189 tps=100 nb_sec=541
case_no=160 label=Case6.148 nb_sol=0 ticks=85248 tps=100 nb_sec=852
case_no=160 label=Case6.148 nb_sol=0 ticks=144722 tps=100 nb_sec=1447
case_no=160 label=Case6.148 nb_sol=0 ticks=62762 tps=100 nb_sec=627
case_no=160 label=Case6.148 nb_sol=0 ticks=89492 tps=100 nb_sec=894
case_no=160 label=Case6.148 nb_sol=0 ticks=140559 tps=100 nb_sec=1405
case_no=160 label=Case6.148 nb_sol=0 ticks=47358 tps=100 nb_sec=473
case_no=160 label=Case6.148 nb_sol=0 ticks=39746 tps=100 nb_sec=397
case_no=160 label=Case6.148 nb_sol=0 ticks=109219 tps=100 nb_sec=1092
case_no=160 label=Case6.148 nb_sol=0 ticks=149372 tps=100 nb_sec=1493
case_no=160 label=Case6.148 nb_sol=0 ticks=85590 tps=100 nb_sec=855
case_no=160 label=Case6.148 nb_sol=0 ticks=53984 tps=100 nb_sec=539
case_no=160 label=Case6.148 nb_sol=0 ticks=90893 tps=100 nb_sec=908
case_no=160 label=Case6.148 nb_sol=0 ticks=87507 tps=100 nb_sec=875
case_no=160 label=Case6.148 nb_sol=0 ticks=96516 tps=100 nb_sec=965
case_no=160 label=Case6.148 nb_sol=0 ticks=111363 tps=100 nb_sec=1113
case_no=160 label=Case6.148 nb_sol=0 ticks=105381 tps=100 nb_sec=1053
case_no=160 label=Case6.148 nb_sol=0 ticks=60565 tps=100 nb_sec=605
case_no=160 label=Case6.148 nb_sol=0 ticks=194527 tps=100 nb_sec=1945
case_no=160 label=Case6.148 nb_sol=0 ticks=89274 tps=100 nb_sec=892
case_no=160 label=Case6.148 nb_sol=0 ticks=83864 tps=100 nb_sec=838
case_no=160 label=Case6.148 nb_sol=0 ticks=108317 tps=100 nb_sec=1083
case_no=160 label=Case6.148 nb_sol=0 ticks=97335 tps=100 nb_sec=973
case_no=160 label=Case6.148 nb_sol=0 ticks=81142 tps=100 nb_sec=811
case_no=160 label=Case6.148 nb_sol=0 ticks=53495 tps=100 nb_sec=534
case_no=160 label=Case6.148 nb_sol=0 ticks=51680 tps=100 nb_sec=516
case_no=160 label=Case6.148 nb_sol=0 ticks=58720 tps=100 nb_sec=587
case_no=160 label=Case6.148 nb_sol=0 ticks=72023 tps=100 nb_sec=720
case_no=160 label=Case6.148 nb_sol=0 ticks=116964 tps=100 nb_sec=1169
case_no=160 label=Case6.148 nb_sol=0 ticks=56971 tps=100 nb_sec=569
case_no=160 label=Case6.148 nb_sol=0 ticks=148003 tps=100 nb_sec=1480
case_no=160 label=Case6.148 nb_sol=0 ticks=94090 tps=100 nb_sec=940
case_no=160 label=Case6.148 nb_sol=0 ticks=54899 tps=100 nb_sec=548
case_no=160 label=Case6.148 nb_sol=0 ticks=81272 tps=100 nb_sec=812
case_no=160 label=Case6.148 nb_sol=0 ticks=121739 tps=100 nb_sec=1217
case_no=160 label=Case6.148 nb_sol=0 ticks=115275 tps=100 nb_sec=1152
case_no=160 label=Case6.148 nb_sol=0 ticks=63713 tps=100 nb_sec=637
case_no=160 label=Case6.148 nb_sol=0 ticks=65278 tps=100 nb_sec=652
case_no=160 label=Case6.148 nb_sol=0 ticks=90626 tps=100 nb_sec=906
case_no=160 label=Case6.148 nb_sol=0 ticks=61796 tps=100 nb_sec=617
case_no=160 label=Case6.148 nb_sol=0 ticks=91848 tps=100 nb_sec=918
case_no=160 label=Case6.148 nb_sol=0 ticks=45708 tps=100 nb_sec=457
case_no=160 label=Case6.148 nb_sol=0 ticks=59728 tps=100 nb_sec=597
case_no=160 label=Case6.148 nb_sol=0 ticks=81159 tps=100 nb_sec=811
case_no=160 label=Case6.148 nb_sol=0 ticks=69540 tps=100 nb_sec=695
case_no=160 label=Case6.148 nb_sol=0 ticks=108752 tps=100 nb_sec=1087
case_no=160 label=Case6.148 nb_sol=0 ticks=89098 tps=100 nb_sec=890
case_no=160 label=Case6.148 nb_sol=0 ticks=70786 tps=100 nb_sec=707
case_no=160 label=Case6.148 nb_sol=0 ticks=127189 tps=100 nb_sec=1271
case_no=160 label=Case6.148 nb_sol=0 ticks=74214 tps=100 nb_sec=742
case_no=160 label=Case6.148 nb_sol=0 ticks=126573 tps=100 nb_sec=1265
case_no=160 label=Case6.148 nb_sol=0 ticks=136397 tps=100 nb_sec=1363
case_no=160 label=Case6.148 nb_sol=0 ticks=99654 tps=100 nb_sec=996
case_no=160 label=Case6.148 nb_sol=0 ticks=65963 tps=100 nb_sec=659
case_no=160 label=Case6.148 nb_sol=0 ticks=106971 tps=100 nb_sec=1069
case_no=160 label=Case6.148 nb_sol=0 ticks=118947 tps=100 nb_sec=1189
case_no=160 label=Case6.148 nb_sol=0 ticks=78426 tps=100 nb_sec=784
case_no=160 label=Case6.148 nb_sol=0 ticks=47176 tps=100 nb_sec=471
case_no=160 label=Case6.148 nb_sol=0 ticks=65350 tps=100 nb_sec=653
case_no=160 label=Case6.148 nb_sol=0 ticks=51139 tps=100 nb_sec=511
case_no=160 label=Case6.148 nb_sol=0 ticks=72802 tps=100 nb_sec=728
case_no=160 label=Case6.148 nb_sol=0 ticks=54420 tps=100 nb_sec=544
case_no=160 label=Case6.148 nb_sol=0 ticks=91880 tps=100 nb_sec=918
case_no=160 label=Case6.148 nb_sol=0 ticks=131344 tps=100 nb_sec=1313
case_no=160 label=Case6.148 nb_sol=0 ticks=57053 tps=100 nb_sec=570
case_no=160 label=Case6.148 nb_sol=0 ticks=79845 tps=100 nb_sec=798
case_no=160 label=Case6.148 nb_sol=0 ticks=92892 tps=100 nb_sec=928
case_no=160 label=Case6.148 nb_sol=0 ticks=126378 tps=100 nb_sec=1263
case_no=160 label=Case6.148 nb_sol=0 ticks=68122 tps=100 nb_sec=681
case_no=160 label=Case6.148 nb_sol=0 ticks=70149 tps=100 nb_sec=701
case_no=160 label=Case6.148 nb_sol=0 ticks=84118 tps=100 nb_sec=841
case_no=160 label=Case6.148 nb_sol=0 ticks=43090 tps=100 nb_sec=430
case_no=160 label=Case6.148 nb_sol=0 ticks=107067 tps=100 nb_sec=1070
case_no=160 label=Case6.148 nb_sol=0 ticks=46263 tps=100 nb_sec=462
case_no=160 label=Case6.148 nb_sol=0 ticks=73533 tps=100 nb_sec=735
case_no=160 label=Case6.148 nb_sol=0 ticks=48774 tps=100 nb_sec=487
case_no=160 label=Case6.148 nb_sol=0 ticks=52767 tps=100 nb_sec=527
case_no=160 label=Case6.148 nb_sol=0 ticks=45643 tps=100 nb_sec=456
case_no=160 label=Case6.148 nb_sol=0 ticks=52719 tps=100 nb_sec=527
case_no=160 label=Case6.148 nb_sol=0 ticks=77528 tps=100 nb_sec=775
case_no=160 label=Case6.148 nb_sol=0 ticks=76426 tps=100 nb_sec=764
case_no=160 label=Case6.148 nb_sol=0 ticks=23715 tps=100 nb_sec=237
case_no=160 label=Case6.148 nb_sol=0 ticks=74715 tps=100 nb_sec=747
case_no=160 label=Case6.148 nb_sol=0 ticks=60945 tps=100 nb_sec=609
case_no=160 label=Case6.148 nb_sol=0 ticks=100475 tps=100 nb_sec=1004
case_no=160 label=Case6.148 nb_sol=0 ticks=82837 tps=100 nb_sec=828
case_no=160 label=Case6.148 nb_sol=0 ticks=33905 tps=100 nb_sec=339
case_no=160 label=Case6.148 nb_sol=0 ticks=86609 tps=100 nb_sec=866
case_no=160 label=Case6.148 nb_sol=0 ticks=50048 tps=100 nb_sec=500
case_no=160 label=Case6.148 nb_sol=0 ticks=18802 tps=100 nb_sec=188
case_no=160 label=Case6.148 nb_sol=0 ticks=43289 tps=100 nb_sec=432
case_no=160 label=Case6.148 nb_sol=0 ticks=79686 tps=100 nb_sec=796
case_no=160 label=Case6.148 nb_sol=0 ticks=107413 tps=100 nb_sec=1074
case_no=160 label=Case6.148 nb_sol=0 ticks=61272 tps=100 nb_sec=612
case_no=160 label=Case6.148 nb_sol=0 ticks=115967 tps=100 nb_sec=1159
case_no=160 label=Case6.148 nb_sol=0 ticks=101181 tps=100 nb_sec=1011
case_no=160 label=Case6.148 nb_sol=0 ticks=47044 tps=100 nb_sec=470
case_no=160 label=Case6.148 nb_sol=0 ticks=33330 tps=100 nb_sec=333
case_no=160 label=Case6.148 nb_sol=0 ticks=69956 tps=100 nb_sec=699
case_no=160 label=Case6.148 nb_sol=0 ticks=45433 tps=100 nb_sec=454
case_no=160 label=Case6.148 nb_sol=0 ticks=65822 tps=100 nb_sec=658
case_no=160 label=Case6.148 nb_sol=0 ticks=61663 tps=100 nb_sec=616
case_no=160 label=Case6.148 nb_sol=0 ticks=31878 tps=100 nb_sec=318
case_no=160 label=Case6.148 nb_sol=0 ticks=66665 tps=100 nb_sec=666
case_no=160 label=Case6.148 nb_sol=0 ticks=85480 tps=100 nb_sec=854
case_no=160 label=Case6.148 nb_sol=0 ticks=124082 tps=100 nb_sec=1240
case_no=160 label=Case6.148 nb_sol=0 ticks=56408 tps=100 nb_sec=564
case_no=160 label=Case6.148 nb_sol=0 ticks=104508 tps=100 nb_sec=1045
case_no=160 label=Case6.148 nb_sol=0 ticks=65845 tps=100 nb_sec=658
case_no=160 label=Case6.148 nb_sol=0 ticks=43117 tps=100 nb_sec=431
case_no=160 label=Case6.148 nb_sol=0 ticks=78068 tps=100 nb_sec=780
case_no=160 label=Case6.148 nb_sol=0 ticks=63205 tps=100 nb_sec=632
case_no=160 label=Case6.148 nb_sol=0 ticks=49079 tps=100 nb_sec=490
case_no=160 label=Case6.148 nb_sol=0 ticks=71725 tps=100 nb_sec=717
case_no=160 label=Case6.148 nb_sol=0 ticks=122133 tps=100 nb_sec=1221
case_no=160 label=Case6.148 nb_sol=0 ticks=71620 tps=100 nb_sec=716
case_no=160 label=Case6.148 nb_sol=0 ticks=110872 tps=100 nb_sec=1108
case_no=160 label=Case6.148 nb_sol=0 ticks=84100 tps=100 nb_sec=841
case_no=160 label=Case6.148 nb_sol=0 ticks=114022 tps=100 nb_sec=1140
case_no=160 label=Case6.148 nb_sol=0 ticks=42046 tps=100 nb_sec=420
case_no=160 label=Case6.148 nb_sol=0 ticks=75925 tps=100 nb_sec=759
case_no=160 label=Case6.148 nb_sol=0 ticks=44061 tps=100 nb_sec=440
case_no=160 label=Case6.148 nb_sol=0 ticks=80409 tps=100 nb_sec=804
case_no=160 label=Case6.148 nb_sol=0 ticks=54739 tps=100 nb_sec=547
case_no=160 label=Case6.148 nb_sol=0 ticks=88764 tps=100 nb_sec=887
case_no=160 label=Case6.148 nb_sol=0 ticks=61867 tps=100 nb_sec=618
case_no=160 label=Case6.148 nb_sol=0 ticks=76079 tps=100 nb_sec=760
case_no=160 label=Case6.148 nb_sol=0 ticks=90296 tps=100 nb_sec=902
case_no=160 label=Case6.148 nb_sol=0 ticks=66187 tps=100 nb_sec=661
case_no=160 label=Case6.148 nb_sol=0 ticks=52730 tps=100 nb_sec=527
case_no=160 label=Case6.148 nb_sol=0 ticks=80960 tps=100 nb_sec=809
case_no=160 label=Case6.148 nb_sol=0 ticks=94301 tps=100 nb_sec=943
case_no=160 label=Case6.148 nb_sol=0 ticks=99571 tps=100 nb_sec=995
case_no=160 label=Case6.148 nb_sol=0 ticks=75748 tps=100 nb_sec=757
case_no=160 label=Case6.148 nb_sol=0 ticks=96910 tps=100 nb_sec=969
case_no=160 label=Case6.148 nb_sol=0 ticks=62511 tps=100 nb_sec=625
case_no=160 label=Case6.148 nb_sol=0 ticks=79991 tps=100 nb_sec=799
case_no=160 label=Case6.148 nb_sol=0 ticks=43048 tps=100 nb_sec=430
case_no=160 label=Case6.148 nb_sol=0 ticks=72227 tps=100 nb_sec=722
case_no=160 label=Case6.148 nb_sol=0 ticks=42785 tps=100 nb_sec=427
case_no=160 label=Case6.148 nb_sol=0 ticks=44637 tps=100 nb_sec=446
case_no=160 label=Case6.148 nb_sol=0 ticks=28048 tps=100 nb_sec=280
case_no=160 label=Case6.148 nb_sol=0 ticks=50940 tps=100 nb_sec=509
case_no=160 label=Case6.148 nb_sol=0 ticks=108983 tps=100 nb_sec=1089
case_no=160 label=Case6.148 nb_sol=0 ticks=76052 tps=100 nb_sec=760
case_no=160 label=Case6.148 nb_sol=0 ticks=56835 tps=100 nb_sec=568
case_no=160 label=Case6.148 nb_sol=0 ticks=109005 tps=100 nb_sec=1090
case_no=160 label=Case6.148 nb_sol=0 ticks=44269 tps=100 nb_sec=442
case_no=160 label=Case6.148 nb_sol=0 ticks=58549 tps=100 nb_sec=585
case_no=160 label=Case6.148 nb_sol=0 ticks=98869 tps=100 nb_sec=988
case_no=160 label=Case6.148 nb_sol=0 ticks=51860 tps=100 nb_sec=518
case_no=160 label=Case6.148 nb_sol=0 ticks=83139 tps=100 nb_sec=831
case_no=160 label=Case6.148 nb_sol=0 ticks=79718 tps=100 nb_sec=797
case_no=160 label=Case6.148 nb_sol=0 ticks=88126 tps=100 nb_sec=881
case_no=160 label=Case6.148 nb_sol=0 ticks=87297 tps=100 nb_sec=872
case_no=160 label=Case6.148 nb_sol=0 ticks=61092 tps=100 nb_sec=610
case_no=160 label=Case6.148 nb_sol=0 ticks=117342 tps=100 nb_sec=1173
case_no=160 label=Case6.148 nb_sol=0 ticks=64233 tps=100 nb_sec=642
case_no=160 label=Case6.148 nb_sol=0 ticks=72619 tps=100 nb_sec=726
case_no=160 label=Case6.148 nb_sol=0 ticks=31577 tps=100 nb_sec=315
case_no=160 label=Case6.148 nb_sol=0 ticks=57200 tps=100 nb_sec=572
case_no=160 label=Case6.148 nb_sol=0 ticks=67476 tps=100 nb_sec=674
case_no=160 label=Case6.148 nb_sol=0 ticks=92327 tps=100 nb_sec=923
case_no=160 label=Case6.148 nb_sol=0 ticks=32203 tps=100 nb_sec=322
case_no=160 label=Case6.148 nb_sol=0 ticks=62893 tps=100 nb_sec=628
case_no=160 label=Case6.148 nb_sol=0 ticks=38229 tps=100 nb_sec=382
case_no=160 label=Case6.148 nb_sol=0 ticks=52393 tps=100 nb_sec=523
case_no=160 label=Case6.148 nb_sol=0 ticks=46641 tps=100 nb_sec=466
case_no=160 label=Case6.148 nb_sol=0 ticks=117650 tps=100 nb_sec=1176
case_no=160 label=Case6.148 nb_sol=0 ticks=61443 tps=100 nb_sec=614
case_no=160 label=Case6.148 nb_sol=0 ticks=79778 tps=100 nb_sec=797
case_no=160 label=Case6.148 nb_sol=0 ticks=141291 tps=100 nb_sec=1412
case_no=160 label=Case6.148 nb_sol=0 ticks=67903 tps=100 nb_sec=679
case_no=160 label=Case6.148 nb_sol=0 ticks=38569 tps=100 nb_sec=385
case_no=160 label=Case6.148 nb_sol=0 ticks=104644 tps=100 nb_sec=1046
case_no=160 label=Case6.148 nb_sol=0 ticks=23544 tps=100 nb_sec=235
case_no=160 label=Case6.148 nb_sol=0 ticks=59194 tps=100 nb_sec=591
case_no=160 label=Case6.148 nb_sol=0 ticks=66861 tps=100 nb_sec=668
case_no=160 label=Case6.148 nb_sol=0 ticks=76644 tps=100 nb_sec=766
case_no=160 label=Case6.148 nb_sol=0 ticks=72624 tps=100 nb_sec=726
case_no=160 label=Case6.148 nb_sol=0 ticks=88549 tps=100 nb_sec=885
case_no=160 label=Case6.148 nb_sol=0 ticks=99596 tps=100 nb_sec=995
case_no=160 label=Case6.148 nb_sol=0 ticks=55434 tps=100 nb_sec=554
case_no=160 label=Case6.148 nb_sol=0 ticks=125832 tps=100 nb_sec=1258
case_no=160 label=Case6.148 nb_sol=0 ticks=48786 tps=100 nb_sec=487
case_no=160 label=Case6.148 nb_sol=0 ticks=26550 tps=100 nb_sec=265
case_no=160 label=Case6.148 nb_sol=0 ticks=94599 tps=100 nb_sec=945
case_no=160 label=Case6.148 nb_sol=0 ticks=82417 tps=100 nb_sec=824
case_no=160 label=Case6.148 nb_sol=0 ticks=61543 tps=100 nb_sec=615
case_no=160 label=Case6.148 nb_sol=0 ticks=58797 tps=100 nb_sec=587
case_no=160 label=Case6.148 nb_sol=0 ticks=111967 tps=100 nb_sec=1119
case_no=160 label=Case6.148 nb_sol=0 ticks=98933 tps=100 nb_sec=989
case_no=160 label=Case6.148 nb_sol=0 ticks=96365 tps=100 nb_sec=963
case_no=160 label=Case6.148 nb_sol=0 ticks=67575 tps=100 nb_sec=675
case_no=160 label=Case6.148 nb_sol=0 ticks=97229 tps=100 nb_sec=972
case_no=160 label=Case6.148 nb_sol=0 ticks=49554 tps=100 nb_sec=495
case_no=160 label=Case6.148 nb_sol=0 ticks=103333 tps=100 nb_sec=1033
case_no=160 label=Case6.148 nb_sol=0 ticks=81974 tps=100 nb_sec=819
case_no=160 label=Case6.148 nb_sol=0 ticks=44865 tps=100 nb_sec=448
case_no=160 label=Case6.148 nb_sol=0 ticks=59902 tps=100 nb_sec=599
case_no=160 label=Case6.148 nb_sol=0 ticks=101279 tps=100 nb_sec=1012
case_no=160 label=Case6.148 nb_sol=0 ticks=53425 tps=100 nb_sec=534
case_no=160 label=Case6.148 nb_sol=0 ticks=34303 tps=100 nb_sec=343
case_no=160 label=Case6.148 nb_sol=0 ticks=84460 tps=100 nb_sec=844
case_no=160 label=Case6.148 nb_sol=0 ticks=27129 tps=100 nb_sec=271
case_no=160 label=Case6.148 nb_sol=0 ticks=116388 tps=100 nb_sec=1163
case_no=160 label=Case6.148 nb_sol=0 ticks=45112 tps=100 nb_sec=451
case_no=160 label=Case6.148 nb_sol=0 ticks=67468 tps=100 nb_sec=674
case_no=160 label=Case6.148 nb_sol=0 ticks=22788 tps=100 nb_sec=227
case_no=160 label=Case6.148 nb_sol=0 ticks=69285 tps=100 nb_sec=692
case_no=160 label=Case6.148 nb_sol=0 ticks=102867 tps=100 nb_sec=1028
case_no=160 label=Case6.148 nb_sol=0 ticks=100235 tps=100 nb_sec=1002
case_no=160 label=Case6.148 nb_sol=0 ticks=61736 tps=100 nb_sec=617
case_no=160 label=Case6.148 nb_sol=0 ticks=66722 tps=100 nb_sec=667
case_no=160 label=Case6.148 nb_sol=0 ticks=66978 tps=100 nb_sec=669
case_no=160 label=Case6.148 nb_sol=0 ticks=48436 tps=100 nb_sec=484
case_no=160 label=Case6.148 nb_sol=0 ticks=86480 tps=100 nb_sec=864
case_no=160 label=Case6.148 nb_sol=0 ticks=71006 tps=100 nb_sec=710
case_no=160 label=Case6.148 nb_sol=0 ticks=124590 tps=100 nb_sec=1245
case_no=160 label=Case6.148 nb_sol=0 ticks=89838 tps=100 nb_sec=898
case_no=160 label=Case6.148 nb_sol=0 ticks=98534 tps=100 nb_sec=985
case_no=160 label=Case6.148 nb_sol=0 ticks=117076 tps=100 nb_sec=1170
case_no=160 label=Case6.148 nb_sol=0 ticks=89755 tps=100 nb_sec=897
case_no=160 label=Case6.148 nb_sol=0 ticks=119938 tps=100 nb_sec=1199
case_no=160 label=Case6.148 nb_sol=0 ticks=95853 tps=100 nb_sec=958
case_no=160 label=Case6.148 nb_sol=0 ticks=91089 tps=100 nb_sec=910
case_no=160 label=Case6.148 nb_sol=0 ticks=64500 tps=100 nb_sec=645
case_no=160 label=Case6.148 nb_sol=0 ticks=179246 tps=100 nb_sec=1792
case_no=160 label=Case6.148 nb_sol=0 ticks=81278 tps=100 nb_sec=812
case_no=160 label=Case6.148 nb_sol=0 ticks=54103 tps=100 nb_sec=541
case_no=160 label=Case6.148 nb_sol=0 ticks=83079 tps=100 nb_sec=830
case_no=160 label=Case6.148 nb_sol=0 ticks=93239 tps=100 nb_sec=932
case_no=160 label=Case6.148 nb_sol=0 ticks=32182 tps=100 nb_sec=321
case_no=160 label=Case6.148 nb_sol=0 ticks=22565 tps=100 nb_sec=225
case_no=160 label=Case6.148 nb_sol=0 ticks=68688 tps=100 nb_sec=686
case_no=160 label=Case6.148 nb_sol=0 ticks=59401 tps=100 nb_sec=594
case_no=160 label=Case6.148 nb_sol=0 ticks=49537 tps=100 nb_sec=495
case_no=160 label=Case6.148 nb_sol=0 ticks=61024 tps=100 nb_sec=610
case_no=160 label=Case6.148 nb_sol=0 ticks=129553 tps=100 nb_sec=1295
case_no=160 label=Case6.148 nb_sol=0 ticks=101526 tps=100 nb_sec=1015
case_no=160 label=Case6.148 nb_sol=0 ticks=66629 tps=100 nb_sec=666
case_no=160 label=Case6.148 nb_sol=0 ticks=54079 tps=100 nb_sec=540
case_no=160 label=Case6.148 nb_sol=0 ticks=46471 tps=100 nb_sec=464
case_no=160 label=Case6.148 nb_sol=0 ticks=46105 tps=100 nb_sec=461
case_no=160 label=Case6.148 nb_sol=0 ticks=72569 tps=100 nb_sec=725
case_no=160 label=Case6.148 nb_sol=0 ticks=90133 tps=100 nb_sec=901
case_no=160 label=Case6.148 nb_sol=0 ticks=108814 tps=100 nb_sec=1088
case_no=160 label=Case6.148 nb_sol=0 ticks=67658 tps=100 nb_sec=676
case_no=160 label=Case6.148 nb_sol=0 ticks=95480 tps=100 nb_sec=954
case_no=160 label=Case6.148 nb_sol=0 ticks=112069 tps=100 nb_sec=1120
case_no=160 label=Case6.148 nb_sol=0 ticks=57563 tps=100 nb_sec=575
case_no=160 label=Case6.148 nb_sol=0 ticks=44289 tps=100 nb_sec=442
case_no=160 label=Case6.148 nb_sol=0 ticks=92958 tps=100 nb_sec=929
case_no=160 label=Case6.148 nb_sol=0 ticks=104904 tps=100 nb_sec=1049
case_no=160 label=Case6.148 nb_sol=0 ticks=59541 tps=100 nb_sec=595
case_no=160 label=Case6.148 nb_sol=0 ticks=38969 tps=100 nb_sec=389
case_no=160 label=Case6.148 nb_sol=0 ticks=75055 tps=100 nb_sec=750
case_no=160 label=Case6.148 nb_sol=0 ticks=46901 tps=100 nb_sec=469
case_no=160 label=Case6.148 nb_sol=0 ticks=42013 tps=100 nb_sec=420
case_no=160 label=Case6.148 nb_sol=0 ticks=100557 tps=100 nb_sec=1005
case_no=160 label=Case6.148 nb_sol=0 ticks=68553 tps=100 nb_sec=685
case_no=160 label=Case6.148 nb_sol=0 ticks=51775 tps=100 nb_sec=517
case_no=160 label=Case6.148 nb_sol=0 ticks=75249 tps=100 nb_sec=752
case_no=160 label=Case6.148 nb_sol=0 ticks=58061 tps=100 nb_sec=580
case_no=160 label=Case6.148 nb_sol=0 ticks=68629 tps=100 nb_sec=686
case_no=160 label=Case6.148 nb_sol=0 ticks=45697 tps=100 nb_sec=456
case_no=160 label=Case6.148 nb_sol=0 ticks=43060 tps=100 nb_sec=430
case_no=160 label=Case6.148 nb_sol=0 ticks=42546 tps=100 nb_sec=425
case_no=160 label=Case6.148 nb_sol=0 ticks=74792 tps=100 nb_sec=747
case_no=160 label=Case6.148 nb_sol=0 ticks=65710 tps=100 nb_sec=657
case_no=160 label=Case6.148 nb_sol=0 ticks=67202 tps=100 nb_sec=672
case_no=160 label=Case6.148 nb_sol=0 ticks=121391 tps=100 nb_sec=1213
case_no=160 label=Case6.148 nb_sol=0 ticks=62423 tps=100 nb_sec=624
case_no=160 label=Case6.148 nb_sol=0 ticks=74707 tps=100 nb_sec=747
case_no=160 label=Case6.148 nb_sol=0 ticks=60722 tps=100 nb_sec=607
case_no=160 label=Case6.148 nb_sol=0 ticks=64705 tps=100 nb_sec=647
case_no=160 label=Case6.148 nb_sol=0 ticks=90414 tps=100 nb_sec=904
case_no=160 label=Case6.148 nb_sol=0 ticks=47040 tps=100 nb_sec=470
case_no=160 label=Case6.148 nb_sol=0 ticks=77442 tps=100 nb_sec=774
case_no=160 label=Case6.148 nb_sol=0 ticks=87527 tps=100 nb_sec=875
case_no=160 label=Case6.148 nb_sol=0 ticks=61179 tps=100 nb_sec=611
case_no=160 label=Case6.148 nb_sol=0 ticks=35621 tps=100 nb_sec=356
case_no=160 label=Case6.148 nb_sol=0 ticks=37043 tps=100 nb_sec=370
case_no=160 label=Case6.148 nb_sol=0 ticks=86715 tps=100 nb_sec=867
case_no=160 label=Case6.148 nb_sol=0 ticks=29374 tps=100 nb_sec=293
case_no=160 label=Case6.148 nb_sol=0 ticks=93666 tps=100 nb_sec=936
case_no=160 label=Case6.148 nb_sol=0 ticks=24551 tps=100 nb_sec=245
case_no=160 label=Case6.148 nb_sol=0 ticks=54100 tps=100 nb_sec=541
case_no=160 label=Case6.148 nb_sol=0 ticks=35941 tps=100 nb_sec=359
case_no=160 label=Case6.148 nb_sol=0 ticks=74777 tps=100 nb_sec=747
case_no=160 label=Case6.148 nb_sol=0 ticks=110000 tps=100 nb_sec=1100
case_no=160 label=Case6.148 nb_sol=0 ticks=42646 tps=100 nb_sec=426
case_no=160 label=Case6.148 nb_sol=0 ticks=83961 tps=100 nb_sec=839
case_no=160 label=Case6.148 nb_sol=0 ticks=36617 tps=100 nb_sec=366
case_no=160 label=Case6.148 nb_sol=0 ticks=64963 tps=100 nb_sec=649
case_no=160 label=Case6.148 nb_sol=0 ticks=110966 tps=100 nb_sec=1109
case_no=160 label=Case6.148 nb_sol=0 ticks=93167 tps=100 nb_sec=931
case_no=160 label=Case6.148 nb_sol=0 ticks=25601 tps=100 nb_sec=256
case_no=160 label=Case6.148 nb_sol=0 ticks=75108 tps=100 nb_sec=751
case_no=160 label=Case6.148 nb_sol=0 ticks=81972 tps=100 nb_sec=819
case_no=160 label=Case6.148 nb_sol=0 ticks=76096 tps=100 nb_sec=760
case_no=160 label=Case6.148 nb_sol=0 ticks=34579 tps=100 nb_sec=345
case_no=160 label=Case6.148 nb_sol=0 ticks=70067 tps=100 nb_sec=700
case_no=160 label=Case6.148 nb_sol=0 ticks=39175 tps=100 nb_sec=391
case_no=160 label=Case6.148 nb_sol=0 ticks=42014 tps=100 nb_sec=420
case_no=160 label=Case6.148 nb_sol=0 ticks=61750 tps=100 nb_sec=617
case_no=160 label=Case6.148 nb_sol=0 ticks=39352 tps=100 nb_sec=393
case_no=160 label=Case6.148 nb_sol=0 ticks=23607 tps=100 nb_sec=236
case_no=160 label=Case6.148 nb_sol=0 ticks=71102 tps=100 nb_sec=711
case_no=160 label=Case6.148 nb_sol=0 ticks=54394 tps=100 nb_sec=543
case_no=160 label=Case6.148 nb_sol=0 ticks=74725 tps=100 nb_sec=747
case_no=160 label=Case6.148 nb_sol=0 ticks=52348 tps=100 nb_sec=523
case_no=160 label=Case6.148 nb_sol=0 ticks=51690 tps=100 nb_sec=516
case_no=160 label=Case6.148 nb_sol=0 ticks=40315 tps=100 nb_sec=403
case_no=160 label=Case6.148 nb_sol=0 ticks=49894 tps=100 nb_sec=498
case_no=160 label=Case6.148 nb_sol=0 ticks=29981 tps=100 nb_sec=299
case_no=160 label=Case6.148 nb_sol=0 ticks=46588 tps=100 nb_sec=465
case_no=160 label=Case6.148 nb_sol=0 ticks=37770 tps=100 nb_sec=377
case_no=160 label=Case6.148 nb_sol=0 ticks=56741 tps=100 nb_sec=567
case_no=160 label=Case6.148 nb_sol=0 ticks=55551 tps=100 nb_sec=555
case_no=160 label=Case6.148 nb_sol=0 ticks=41618 tps=100 nb_sec=416
case_no=160 label=Case6.148 nb_sol=0 ticks=92027 tps=100 nb_sec=920
case_no=160 label=Case6.148 nb_sol=0 ticks=38121 tps=100 nb_sec=381
case_no=160 label=Case6.148 nb_sol=0 ticks=40703 tps=100 nb_sec=407
case_no=160 label=Case6.148 nb_sol=0 ticks=40604 tps=100 nb_sec=406
case_no=160 label=Case6.148 nb_sol=0 ticks=44934 tps=100 nb_sec=449
case_no=160 label=Case6.148 nb_sol=0 ticks=89880 tps=100 nb_sec=898
case_no=160 label=Case6.148 nb_sol=0 ticks=45180 tps=100 nb_sec=451
case_no=160 label=Case6.148 nb_sol=0 ticks=72602 tps=100 nb_sec=726
case_no=160 label=Case6.148 nb_sol=0 ticks=30840 tps=100 nb_sec=308
case_no=160 label=Case6.148 nb_sol=0 ticks=94378 tps=100 nb_sec=943
case_no=160 label=Case6.148 nb_sol=0 ticks=67548 tps=100 nb_sec=675
case_no=160 label=Case6.148 nb_sol=0 ticks=96890 tps=100 nb_sec=968
case_no=160 label=Case6.148 nb_sol=0 ticks=41162 tps=100 nb_sec=411
case_no=160 label=Case6.148 nb_sol=0 ticks=40666 tps=100 nb_sec=406
case_no=160 label=Case6.148 nb_sol=0 ticks=39885 tps=100 nb_sec=398
case_no=160 label=Case6.148 nb_sol=0 ticks=80547 tps=100 nb_sec=805
case_no=160 label=Case6.148 nb_sol=0 ticks=29736 tps=100 nb_sec=297
case_no=160 label=Case6.148 nb_sol=0 ticks=80236 tps=100 nb_sec=802
case_no=160 label=Case6.148 nb_sol=0 ticks=54935 tps=100 nb_sec=549
case_no=160 label=Case6.148 nb_sol=0 ticks=35904 tps=100 nb_sec=359
case_no=160 label=Case6.148 nb_sol=0 ticks=102268 tps=100 nb_sec=1022
case_no=160 label=Case6.148 nb_sol=0 ticks=61558 tps=100 nb_sec=615
case_no=160 label=Case6.148 nb_sol=0 ticks=52374 tps=100 nb_sec=523
case_no=160 label=Case6.148 nb_sol=0 ticks=46229 tps=100 nb_sec=462
case_no=160 label=Case6.148 nb_sol=0 ticks=34845 tps=100 nb_sec=348
case_no=160 label=Case6.148 nb_sol=0 ticks=78229 tps=100 nb_sec=782
case_no=160 label=Case6.148 nb_sol=0 ticks=52203 tps=100 nb_sec=522
case_no=160 label=Case6.148 nb_sol=0 ticks=34587 tps=100 nb_sec=345
case_no=160 label=Case6.148 nb_sol=0 ticks=91805 tps=100 nb_sec=918
case_no=160 label=Case6.148 nb_sol=0 ticks=60506 tps=100 nb_sec=605
case_no=160 label=Case6.148 nb_sol=0 ticks=72746 tps=100 nb_sec=727
case_no=160 label=Case6.148 nb_sol=0 ticks=63984 tps=100 nb_sec=639
case_no=160 label=Case6.148 nb_sol=0 ticks=46360 tps=100 nb_sec=463
case_no=160 label=Case6.148 nb_sol=0 ticks=66563 tps=100 nb_sec=665
case_no=160 label=Case6.148 nb_sol=0 ticks=56348 tps=100 nb_sec=563
case_no=160 label=Case6.148 nb_sol=0 ticks=68439 tps=100 nb_sec=684
case_no=160 label=Case6.148 nb_sol=0 ticks=61454 tps=100 nb_sec=614
case_no=160 label=Case6.148 nb_sol=0 ticks=41627 tps=100 nb_sec=416
case_no=160 label=Case6.148 nb_sol=0 ticks=63086 tps=100 nb_sec=630
case_no=160 label=Case6.148 nb_sol=0 ticks=25008 tps=100 nb_sec=250
case_no=160 label=Case6.148 nb_sol=0 ticks=59811 tps=100 nb_sec=598
case_no=160 label=Case6.148 nb_sol=0 ticks=57887 tps=100 nb_sec=578
case_no=160 label=Case6.148 nb_sol=0 ticks=38079 tps=100 nb_sec=380
case_no=160 label=Case6.148 nb_sol=0 ticks=114707 tps=100 nb_sec=1147
case_no=160 label=Case6.148 nb_sol=0 ticks=34411 tps=100 nb_sec=344
case_no=160 label=Case6.148 nb_sol=0 ticks=44294 tps=100 nb_sec=442
case_no=160 label=Case6.148 nb_sol=0 ticks=32748 tps=100 nb_sec=327
case_no=160 label=Case6.148 nb_sol=0 ticks=66508 tps=100 nb_sec=665
case_no=160 label=Case6.148 nb_sol=0 ticks=56770 tps=100 nb_sec=567
case_no=160 label=Case6.148 nb_sol=0 ticks=29010 tps=100 nb_sec=290
case_no=160 label=Case6.148 nb_sol=0 ticks=87542 tps=100 nb_sec=875
case_no=160 label=Case6.148 nb_sol=0 ticks=33764 tps=100 nb_sec=337
case_no=160 label=Case6.148 nb_sol=0 ticks=41911 tps=100 nb_sec=419
case_no=160 label=Case6.148 nb_sol=0 ticks=106730 tps=100 nb_sec=1067
case_no=160 label=Case6.148 nb_sol=0 ticks=49125 tps=100 nb_sec=491
case_no=160 label=Case6.148 nb_sol=0 ticks=35351 tps=100 nb_sec=353
case_no=160 label=Case6.148 nb_sol=0 ticks=63638 tps=100 nb_sec=636
case_no=160 label=Case6.148 nb_sol=0 ticks=43189 tps=100 nb_sec=431
case_no=160 label=Case6.148 nb_sol=0 ticks=40195 tps=100 nb_sec=401
case_no=160 label=Case6.148 nb_sol=0 ticks=36873 tps=100 nb_sec=368
case_no=160 label=Case6.148 nb_sol=0 ticks=82073 tps=100 nb_sec=820
case_no=160 label=Case6.148 nb_sol=0 ticks=77271 tps=100 nb_sec=772
case_no=160 label=Case6.148 nb_sol=0 ticks=60464 tps=100 nb_sec=604
case_no=160 label=Case6.148 nb_sol=0 ticks=51674 tps=100 nb_sec=516
case_no=160 label=Case6.148 nb_sol=0 ticks=176116 tps=100 nb_sec=1761
case_no=160 label=Case6.148 nb_sol=0 ticks=57138 tps=100 nb_sec=571
case_no=160 label=Case6.148 nb_sol=0 ticks=48179 tps=100 nb_sec=481
case_no=160 label=Case6.148 nb_sol=0 ticks=47573 tps=100 nb_sec=475
case_no=160 label=Case6.148 nb_sol=0 ticks=18084 tps=100 nb_sec=180
case_no=160 label=Case6.148 nb_sol=0 ticks=18204 tps=100 nb_sec=182
case_no=160 label=Case6.148 nb_sol=0 ticks=42236 tps=100 nb_sec=422
case_no=160 label=Case6.148 nb_sol=0 ticks=49526 tps=100 nb_sec=495
case_no=160 label=Case6.148 nb_sol=0 ticks=42789 tps=100 nb_sec=427
case_no=160 label=Case6.148 nb_sol=0 ticks=56172 tps=100 nb_sec=561
case_no=160 label=Case6.148 nb_sol=0 ticks=118633 tps=100 nb_sec=1186
case_no=160 label=Case6.148 nb_sol=0 ticks=62970 tps=100 nb_sec=629
case_no=160 label=Case6.148 nb_sol=0 ticks=106418 tps=100 nb_sec=1064
case_no=160 label=Case6.148 nb_sol=0 ticks=82773 tps=100 nb_sec=827
case_no=160 label=Case6.148 nb_sol=0 ticks=86799 tps=100 nb_sec=867
case_no=160 label=Case6.148 nb_sol=0 ticks=53364 tps=100 nb_sec=533
case_no=160 label=Case6.148 nb_sol=0 ticks=46313 tps=100 nb_sec=463
case_no=160 label=Case6.148 nb_sol=0 ticks=36673 tps=100 nb_sec=366
case_no=160 label=Case6.148 nb_sol=0 ticks=55506 tps=100 nb_sec=555
case_no=160 label=Case6.148 nb_sol=0 ticks=63643 tps=100 nb_sec=636
case_no=160 label=Case6.148 nb_sol=0 ticks=41421 tps=100 nb_sec=414
case_no=160 label=Case6.148 nb_sol=0 ticks=67206 tps=100 nb_sec=672
case_no=160 label=Case6.148 nb_sol=0 ticks=37167 tps=100 nb_sec=371
case_no=160 label=Case6.148 nb_sol=0 ticks=60631 tps=100 nb_sec=606
case_no=160 label=Case6.148 nb_sol=0 ticks=77050 tps=100 nb_sec=770
case_no=160 label=Case6.148 nb_sol=0 ticks=62106 tps=100 nb_sec=621
case_no=160 label=Case6.148 nb_sol=0 ticks=36450 tps=100 nb_sec=364
case_no=160 label=Case6.148 nb_sol=0 ticks=59272 tps=100 nb_sec=592
case_no=160 label=Case6.148 nb_sol=0 ticks=78727 tps=100 nb_sec=787
case_no=160 label=Case6.148 nb_sol=0 ticks=47694 tps=100 nb_sec=476
case_no=160 label=Case6.148 nb_sol=0 ticks=65702 tps=100 nb_sec=657
case_no=160 label=Case6.148 nb_sol=0 ticks=108813 tps=100 nb_sec=1088
case_no=160 label=Case6.148 nb_sol=0 ticks=51650 tps=100 nb_sec=516
case_no=160 label=Case6.148 nb_sol=0 ticks=49931 tps=100 nb_sec=499
case_no=160 label=Case6.148 nb_sol=0 ticks=39173 tps=100 nb_sec=391
case_no=160 label=Case6.148 nb_sol=0 ticks=36667 tps=100 nb_sec=366
case_no=160 label=Case6.148 nb_sol=0 ticks=59416 tps=100 nb_sec=594
case_no=160 label=Case6.148 nb_sol=0 ticks=66595 tps=100 nb_sec=665
case_no=160 label=Case6.148 nb_sol=0 ticks=32969 tps=100 nb_sec=329
case_no=160 label=Case6.148 nb_sol=0 ticks=39370 tps=100 nb_sec=393
case_no=160 label=Case6.148 nb_sol=0 ticks=74490 tps=100 nb_sec=744
case_no=160 label=Case6.148 nb_sol=0 ticks=45613 tps=100 nb_sec=456
case_no=160 label=Case6.148 nb_sol=0 ticks=16855 tps=100 nb_sec=168
case_no=160 label=Case6.148 nb_sol=0 ticks=27681 tps=100 nb_sec=276
case_no=160 label=Case6.148 nb_sol=0 ticks=23924 tps=100 nb_sec=239
case_no=160 label=Case6.148 nb_sol=0 ticks=62461 tps=100 nb_sec=624
case_no=160 label=Case6.148 nb_sol=0 ticks=52974 tps=100 nb_sec=529
case_no=160 label=Case6.148 nb_sol=0 ticks=47058 tps=100 nb_sec=470
case_no=160 label=Case6.148 nb_sol=0 ticks=34759 tps=100 nb_sec=347
case_no=160 label=Case6.148 nb_sol=0 ticks=35196 tps=100 nb_sec=351
case_no=160 label=Case6.148 nb_sol=0 ticks=21895 tps=100 nb_sec=218
case_no=160 label=Case6.148 nb_sol=0 ticks=52962 tps=100 nb_sec=529
case_no=160 label=Case6.148 nb_sol=0 ticks=44284 tps=100 nb_sec=442
case_no=160 label=Case6.148 nb_sol=0 ticks=26582 tps=100 nb_sec=265
case_no=160 label=Case6.148 nb_sol=0 ticks=35917 tps=100 nb_sec=359
case_no=160 label=Case6.148 nb_sol=0 ticks=62512 tps=100 nb_sec=625
case_no=160 label=Case6.148 nb_sol=0 ticks=53303 tps=100 nb_sec=533
case_no=160 label=Case6.148 nb_sol=0 ticks=67216 tps=100 nb_sec=672
case_no=160 label=Case6.148 nb_sol=0 ticks=74532 tps=100 nb_sec=745
case_no=160 label=Case6.148 nb_sol=0 ticks=31699 tps=100 nb_sec=316
case_no=160 label=Case6.148 nb_sol=0 ticks=20035 tps=100 nb_sec=200
case_no=160 label=Case6.148 nb_sol=0 ticks=27136 tps=100 nb_sec=271
case_no=160 label=Case6.148 nb_sol=0 ticks=20169 tps=100 nb_sec=201
case_no=160 label=Case6.148 nb_sol=0 ticks=41932 tps=100 nb_sec=419
case_no=160 label=Case6.148 nb_sol=0 ticks=74074 tps=100 nb_sec=740
case_no=160 label=Case6.148 nb_sol=0 ticks=38357 tps=100 nb_sec=383
case_no=160 label=Case6.148 nb_sol=0 ticks=54358 tps=100 nb_sec=543
case_no=160 label=Case6.148 nb_sol=0 ticks=58656 tps=100 nb_sec=586
case_no=160 label=Case6.148 nb_sol=0 ticks=69530 tps=100 nb_sec=695
case_no=160 label=Case6.148 nb_sol=0 ticks=65721 tps=100 nb_sec=657
case_no=160 label=Case6.148 nb_sol=0 ticks=51950 tps=100 nb_sec=519
case_no=160 label=Case6.148 nb_sol=0 ticks=53427 tps=100 nb_sec=534
case_no=160 label=Case6.148 nb_sol=0 ticks=36433 tps=100 nb_sec=364
case_no=160 label=Case6.148 nb_sol=0 ticks=100133 tps=100 nb_sec=1001
case_no=160 label=Case6.148 nb_sol=0 ticks=24894 tps=100 nb_sec=248
case_no=160 label=Case6.148 nb_sol=0 ticks=43603 tps=100 nb_sec=436
case_no=160 label=Case6.148 nb_sol=0 ticks=31201 tps=100 nb_sec=312
case_no=160 label=Case6.148 nb_sol=0 ticks=23280 tps=100 nb_sec=232
case_no=160 label=Case6.148 nb_sol=0 ticks=118214 tps=100 nb_sec=1182
case_no=160 label=Case6.148 nb_sol=0 ticks=29843 tps=100 nb_sec=298
case_no=160 label=Case6.148 nb_sol=0 ticks=35813 tps=100 nb_sec=358
case_no=160 label=Case6.148 nb_sol=0 ticks=23065 tps=100 nb_sec=230
case_no=160 label=Case6.148 nb_sol=0 ticks=34187 tps=100 nb_sec=341
case_no=160 label=Case6.148 nb_sol=0 ticks=36627 tps=100 nb_sec=366
case_no=160 label=Case6.148 nb_sol=0 ticks=40945 tps=100 nb_sec=409
case_no=160 label=Case6.148 nb_sol=0 ticks=50797 tps=100 nb_sec=507
case_no=160 label=Case6.148 nb_sol=0 ticks=22879 tps=100 nb_sec=228
case_no=160 label=Case6.148 nb_sol=0 ticks=42399 tps=100 nb_sec=423
case_no=160 label=Case6.148 nb_sol=0 ticks=21543 tps=100 nb_sec=215
case_no=160 label=Case6.148 nb_sol=0 ticks=45538 tps=100 nb_sec=455
case_no=160 label=Case6.148 nb_sol=0 ticks=66880 tps=100 nb_sec=668
case_no=160 label=Case6.148 nb_sol=0 ticks=44761 tps=100 nb_sec=447
case_no=160 label=Case6.148 nb_sol=0 ticks=41066 tps=100 nb_sec=410
case_no=160 label=Case6.148 nb_sol=0 ticks=50154 tps=100 nb_sec=501
case_no=160 label=Case6.148 nb_sol=0 ticks=78983 tps=100 nb_sec=789
case_no=160 label=Case6.148 nb_sol=0 ticks=31365 tps=100 nb_sec=313
case_no=160 label=Case6.148 nb_sol=0 ticks=51248 tps=100 nb_sec=512
case_no=160 label=Case6.148 nb_sol=0 ticks=55144 tps=100 nb_sec=551
case_no=160 label=Case6.148 nb_sol=0 ticks=73739 tps=100 nb_sec=737
case_no=160 label=Case6.148 nb_sol=0 ticks=43163 tps=100 nb_sec=431
case_no=160 label=Case6.148 nb_sol=0 ticks=41852 tps=100 nb_sec=418
case_no=160 label=Case6.148 nb_sol=0 ticks=44655 tps=100 nb_sec=446
case_no=160 label=Case6.148 nb_sol=0 ticks=44732 tps=100 nb_sec=447
case_no=160 label=Case6.148 nb_sol=0 ticks=71973 tps=100 nb_sec=719
case_no=160 label=Case6.148 nb_sol=0 ticks=43741 tps=100 nb_sec=437
case_no=160 label=Case6.148 nb_sol=0 ticks=66831 tps=100 nb_sec=668
case_no=160 label=Case6.148 nb_sol=0 ticks=55907 tps=100 nb_sec=559
case_no=160 label=Case6.148 nb_sol=0 ticks=33968 tps=100 nb_sec=339
case_no=160 label=Case6.148 nb_sol=0 ticks=32542 tps=100 nb_sec=325
case_no=160 label=Case6.148 nb_sol=0 ticks=39651 tps=100 nb_sec=396
case_no=160 label=Case6.148 nb_sol=0 ticks=33961 tps=100 nb_sec=339
case_no=160 label=Case6.148 nb_sol=0 ticks=59462 tps=100 nb_sec=594
case_no=160 label=Case6.148 nb_sol=0 ticks=50401 tps=100 nb_sec=504
case_no=160 label=Case6.148 nb_sol=0 ticks=48975 tps=100 nb_sec=489
case_no=160 label=Case6.148 nb_sol=0 ticks=62839 tps=100 nb_sec=628
case_no=160 label=Case6.148 nb_sol=0 ticks=53818 tps=100 nb_sec=538
case_no=160 label=Case6.148 nb_sol=0 ticks=55633 tps=100 nb_sec=556
case_no=160 label=Case6.148 nb_sol=0 ticks=46856 tps=100 nb_sec=468
case_no=160 label=Case6.148 nb_sol=0 ticks=54898 tps=100 nb_sec=548
case_no=160 label=Case6.148 nb_sol=0 ticks=66457 tps=100 nb_sec=664
case_no=160 label=Case6.148 nb_sol=0 ticks=39641 tps=100 nb_sec=396
case_no=160 label=Case6.148 nb_sol=0 ticks=106534 tps=100 nb_sec=1065
case_no=160 label=Case6.148 nb_sol=0 ticks=33329 tps=100 nb_sec=333
case_no=160 label=Case6.148 nb_sol=0 ticks=78422 tps=100 nb_sec=784
case_no=160 label=Case6.148 nb_sol=0 ticks=31715 tps=100 nb_sec=317
case_no=160 label=Case6.148 nb_sol=0 ticks=58074 tps=100 nb_sec=580
case_no=160 label=Case6.148 nb_sol=0 ticks=43943 tps=100 nb_sec=439
case_no=160 label=Case6.148 nb_sol=0 ticks=38333 tps=100 nb_sec=383
case_no=160 label=Case6.148 nb_sol=0 ticks=34024 tps=100 nb_sec=340
case_no=160 label=Case6.148 nb_sol=0 ticks=40908 tps=100 nb_sec=409
case_no=160 label=Case6.148 nb_sol=0 ticks=37352 tps=100 nb_sec=373
case_no=160 label=Case6.148 nb_sol=0 ticks=47246 tps=100 nb_sec=472
case_no=160 label=Case6.148 nb_sol=0 ticks=42089 tps=100 nb_sec=420
case_no=160 label=Case6.148 nb_sol=0 ticks=68420 tps=100 nb_sec=684
case_no=160 label=Case6.148 nb_sol=0 ticks=31748 tps=100 nb_sec=317
case_no=160 label=Case6.148 nb_sol=0 ticks=60451 tps=100 nb_sec=604
case_no=160 label=Case6.148 nb_sol=0 ticks=44731 tps=100 nb_sec=447
case_no=160 label=Case6.148 nb_sol=0 ticks=38847 tps=100 nb_sec=388
case_no=160 label=Case6.148 nb_sol=0 ticks=48065 tps=100 nb_sec=480
case_no=160 label=Case6.148 nb_sol=0 ticks=41856 tps=100 nb_sec=418
case_no=160 label=Case6.148 nb_sol=0 ticks=40075 tps=100 nb_sec=400
case_no=160 label=Case6.148 nb_sol=0 ticks=28495 tps=100 nb_sec=284
case_no=160 label=Case6.148 nb_sol=0 ticks=22578 tps=100 nb_sec=225
case_no=160 label=Case6.148 nb_sol=0 ticks=28038 tps=100 nb_sec=280
case_no=160 label=Case6.148 nb_sol=0 ticks=16769 tps=100 nb_sec=167
case_no=160 label=Case6.148 nb_sol=0 ticks=33383 tps=100 nb_sec=333
case_no=160 label=Case6.148 nb_sol=0 ticks=24068 tps=100 nb_sec=240
case_no=160 label=Case6.148 nb_sol=0 ticks=49818 tps=100 nb_sec=498
case_no=160 label=Case6.148 nb_sol=0 ticks=27587 tps=100 nb_sec=275
case_no=160 label=Case6.148 nb_sol=0 ticks=51896 tps=100 nb_sec=518
case_no=160 label=Case6.148 nb_sol=0 ticks=47116 tps=100 nb_sec=471
case_no=160 label=Case6.148 nb_sol=0 ticks=51027 tps=100 nb_sec=510
case_no=160 label=Case6.148 nb_sol=0 ticks=57396 tps=100 nb_sec=573
case_no=160 label=Case6.148 nb_sol=0 ticks=51554 tps=100 nb_sec=515
case_no=160 label=Case6.148 nb_sol=0 ticks=21754 tps=100 nb_sec=217
case_no=160 label=Case6.148 nb_sol=0 ticks=56937 tps=100 nb_sec=569
case_no=160 label=Case6.148 nb_sol=0 ticks=43564 tps=100 nb_sec=435
case_no=160 label=Case6.148 nb_sol=0 ticks=31881 tps=100 nb_sec=318
case_no=160 label=Case6.148 nb_sol=0 ticks=29541 tps=100 nb_sec=295
case_no=160 label=Case6.148 nb_sol=0 ticks=14161 tps=100 nb_sec=141
case_no=160 label=Case6.148 nb_sol=0 ticks=38384 tps=100 nb_sec=383
case_no=160 label=Case6.148 nb_sol=0 ticks=58859 tps=100 nb_sec=588
case_no=160 label=Case6.148 nb_sol=0 ticks=46466 tps=100 nb_sec=464
case_no=160 label=Case6.148 nb_sol=0 ticks=90067 tps=100 nb_sec=900
case_no=160 label=Case6.148 nb_sol=0 ticks=66032 tps=100 nb_sec=660
case_no=160 label=Case6.148 nb_sol=0 ticks=63066 tps=100 nb_sec=630
case_no=160 label=Case6.148 nb_sol=0 ticks=50355 tps=100 nb_sec=503
case_no=160 label=Case6.148 nb_sol=0 ticks=52925 tps=100 nb_sec=529
case_no=160 label=Case6.148 nb_sol=0 ticks=46448 tps=100 nb_sec=464
case_no=160 label=Case6.148 nb_sol=0 ticks=66045 tps=100 nb_sec=660
case_no=160 label=Case6.148 nb_sol=0 ticks=46415 tps=100 nb_sec=464
case_no=160 label=Case6.148 nb_sol=0 ticks=40974 tps=100 nb_sec=409
case_no=160 label=Case6.148 nb_sol=0 ticks=40210 tps=100 nb_sec=402
case_no=160 label=Case6.148 nb_sol=0 ticks=60113 tps=100 nb_sec=601
case_no=160 label=Case6.148 nb_sol=0 ticks=69876 tps=100 nb_sec=698
case_no=160 label=Case6.148 nb_sol=0 ticks=63031 tps=100 nb_sec=630
case_no=160 label=Case6.148 nb_sol=0 ticks=41359 tps=100 nb_sec=413
case_no=160 label=Case6.148 nb_sol=0 ticks=46642 tps=100 nb_sec=466
case_no=160 label=Case6.148 nb_sol=0 ticks=36304 tps=100 nb_sec=363
Nb_sol=0
Nb_sec=769169
8-21:39:29 or 213 hours
missing cases:
none