argc=5
-M 1024
file2=30_select_Case6.119_starter_15_
checking files mod 1024 from 0 to 1023
case_no=131 label=Case6.119 nb_sol=0 ticks=102173 tps=100 nb_sec=1021
case_no=131 label=Case6.119 nb_sol=0 ticks=93729 tps=100 nb_sec=937
case_no=131 label=Case6.119 nb_sol=0 ticks=125222 tps=100 nb_sec=1252
case_no=131 label=Case6.119 nb_sol=0 ticks=89790 tps=100 nb_sec=897
case_no=131 label=Case6.119 nb_sol=0 ticks=101415 tps=100 nb_sec=1014
case_no=131 label=Case6.119 nb_sol=0 ticks=111047 tps=100 nb_sec=1110
case_no=131 label=Case6.119 nb_sol=0 ticks=112266 tps=100 nb_sec=1122
case_no=131 label=Case6.119 nb_sol=0 ticks=115142 tps=100 nb_sec=1151
case_no=131 label=Case6.119 nb_sol=0 ticks=99193 tps=100 nb_sec=991
case_no=131 label=Case6.119 nb_sol=0 ticks=107500 tps=100 nb_sec=1075
case_no=131 label=Case6.119 nb_sol=0 ticks=117296 tps=100 nb_sec=1172
case_no=131 label=Case6.119 nb_sol=0 ticks=129156 tps=100 nb_sec=1291
case_no=131 label=Case6.119 nb_sol=0 ticks=113995 tps=100 nb_sec=1139
case_no=131 label=Case6.119 nb_sol=0 ticks=99421 tps=100 nb_sec=994
case_no=131 label=Case6.119 nb_sol=0 ticks=99769 tps=100 nb_sec=997
case_no=131 label=Case6.119 nb_sol=0 ticks=92232 tps=100 nb_sec=922
case_no=131 label=Case6.119 nb_sol=0 ticks=90115 tps=100 nb_sec=901
case_no=131 label=Case6.119 nb_sol=0 ticks=104919 tps=100 nb_sec=1049
case_no=131 label=Case6.119 nb_sol=0 ticks=106762 tps=100 nb_sec=1067
case_no=131 label=Case6.119 nb_sol=0 ticks=110610 tps=100 nb_sec=1106
case_no=131 label=Case6.119 nb_sol=0 ticks=122925 tps=100 nb_sec=1229
case_no=131 label=Case6.119 nb_sol=0 ticks=132429 tps=100 nb_sec=1324
case_no=131 label=Case6.119 nb_sol=0 ticks=108433 tps=100 nb_sec=1084
case_no=131 label=Case6.119 nb_sol=0 ticks=129834 tps=100 nb_sec=1298
case_no=131 label=Case6.119 nb_sol=0 ticks=111579 tps=100 nb_sec=1115
case_no=131 label=Case6.119 nb_sol=0 ticks=131309 tps=100 nb_sec=1313
case_no=131 label=Case6.119 nb_sol=0 ticks=132271 tps=100 nb_sec=1322
case_no=131 label=Case6.119 nb_sol=0 ticks=139075 tps=100 nb_sec=1390
case_no=131 label=Case6.119 nb_sol=0 ticks=148726 tps=100 nb_sec=1487
case_no=131 label=Case6.119 nb_sol=0 ticks=117892 tps=100 nb_sec=1178
case_no=131 label=Case6.119 nb_sol=0 ticks=110962 tps=100 nb_sec=1109
case_no=131 label=Case6.119 nb_sol=0 ticks=121433 tps=100 nb_sec=1214
case_no=131 label=Case6.119 nb_sol=0 ticks=116894 tps=100 nb_sec=1168
case_no=131 label=Case6.119 nb_sol=0 ticks=120940 tps=100 nb_sec=1209
case_no=131 label=Case6.119 nb_sol=0 ticks=103416 tps=100 nb_sec=1034
case_no=131 label=Case6.119 nb_sol=0 ticks=112963 tps=100 nb_sec=1129
case_no=131 label=Case6.119 nb_sol=0 ticks=121043 tps=100 nb_sec=1210
case_no=131 label=Case6.119 nb_sol=0 ticks=121744 tps=100 nb_sec=1217
case_no=131 label=Case6.119 nb_sol=0 ticks=110899 tps=100 nb_sec=1108
case_no=131 label=Case6.119 nb_sol=0 ticks=116588 tps=100 nb_sec=1165
case_no=131 label=Case6.119 nb_sol=0 ticks=103989 tps=100 nb_sec=1039
case_no=131 label=Case6.119 nb_sol=0 ticks=135040 tps=100 nb_sec=1350
case_no=131 label=Case6.119 nb_sol=0 ticks=135339 tps=100 nb_sec=1353
case_no=131 label=Case6.119 nb_sol=0 ticks=130255 tps=100 nb_sec=1302
case_no=131 label=Case6.119 nb_sol=0 ticks=95400 tps=100 nb_sec=954
case_no=131 label=Case6.119 nb_sol=0 ticks=110887 tps=100 nb_sec=1108
case_no=131 label=Case6.119 nb_sol=0 ticks=110355 tps=100 nb_sec=1103
case_no=131 label=Case6.119 nb_sol=0 ticks=115176 tps=100 nb_sec=1151
case_no=131 label=Case6.119 nb_sol=0 ticks=183452 tps=100 nb_sec=1834
case_no=131 label=Case6.119 nb_sol=0 ticks=148719 tps=100 nb_sec=1487
case_no=131 label=Case6.119 nb_sol=0 ticks=132227 tps=100 nb_sec=1322
case_no=131 label=Case6.119 nb_sol=0 ticks=115423 tps=100 nb_sec=1154
case_no=131 label=Case6.119 nb_sol=0 ticks=128066 tps=100 nb_sec=1280
case_no=131 label=Case6.119 nb_sol=0 ticks=123080 tps=100 nb_sec=1230
case_no=131 label=Case6.119 nb_sol=0 ticks=105597 tps=100 nb_sec=1055
case_no=131 label=Case6.119 nb_sol=0 ticks=118386 tps=100 nb_sec=1183
case_no=131 label=Case6.119 nb_sol=0 ticks=135034 tps=100 nb_sec=1350
case_no=131 label=Case6.119 nb_sol=0 ticks=115365 tps=100 nb_sec=1153
case_no=131 label=Case6.119 nb_sol=0 ticks=129663 tps=100 nb_sec=1296
case_no=131 label=Case6.119 nb_sol=0 ticks=102690 tps=100 nb_sec=1026
case_no=131 label=Case6.119 nb_sol=0 ticks=130593 tps=100 nb_sec=1305
case_no=131 label=Case6.119 nb_sol=0 ticks=111578 tps=100 nb_sec=1115
case_no=131 label=Case6.119 nb_sol=0 ticks=124808 tps=100 nb_sec=1248
case_no=131 label=Case6.119 nb_sol=0 ticks=178355 tps=100 nb_sec=1783
case_no=131 label=Case6.119 nb_sol=0 ticks=119878 tps=100 nb_sec=1198
case_no=131 label=Case6.119 nb_sol=0 ticks=120884 tps=100 nb_sec=1208
case_no=131 label=Case6.119 nb_sol=0 ticks=116676 tps=100 nb_sec=1166
case_no=131 label=Case6.119 nb_sol=0 ticks=314685 tps=100 nb_sec=3146
case_no=131 label=Case6.119 nb_sol=0 ticks=112660 tps=100 nb_sec=1126
case_no=131 label=Case6.119 nb_sol=0 ticks=121661 tps=100 nb_sec=1216
case_no=131 label=Case6.119 nb_sol=0 ticks=118435 tps=100 nb_sec=1184
case_no=131 label=Case6.119 nb_sol=0 ticks=296134 tps=100 nb_sec=2961
case_no=131 label=Case6.119 nb_sol=0 ticks=128344 tps=100 nb_sec=1283
case_no=131 label=Case6.119 nb_sol=0 ticks=144965 tps=100 nb_sec=1449
case_no=131 label=Case6.119 nb_sol=0 ticks=90894 tps=100 nb_sec=908
case_no=131 label=Case6.119 nb_sol=0 ticks=112007 tps=100 nb_sec=1120
case_no=131 label=Case6.119 nb_sol=0 ticks=125034 tps=100 nb_sec=1250
case_no=131 label=Case6.119 nb_sol=0 ticks=108507 tps=100 nb_sec=1085
case_no=131 label=Case6.119 nb_sol=0 ticks=106858 tps=100 nb_sec=1068
case_no=131 label=Case6.119 nb_sol=0 ticks=113558 tps=100 nb_sec=1135
case_no=131 label=Case6.119 nb_sol=0 ticks=157303 tps=100 nb_sec=1573
case_no=131 label=Case6.119 nb_sol=0 ticks=188173 tps=100 nb_sec=1881
case_no=131 label=Case6.119 nb_sol=0 ticks=159990 tps=100 nb_sec=1599
case_no=131 label=Case6.119 nb_sol=0 ticks=103931 tps=100 nb_sec=1039
case_no=131 label=Case6.119 nb_sol=0 ticks=135117 tps=100 nb_sec=1351
case_no=131 label=Case6.119 nb_sol=0 ticks=122379 tps=100 nb_sec=1223
case_no=131 label=Case6.119 nb_sol=0 ticks=115311 tps=100 nb_sec=1153
case_no=131 label=Case6.119 nb_sol=0 ticks=92787 tps=100 nb_sec=927
case_no=131 label=Case6.119 nb_sol=0 ticks=133853 tps=100 nb_sec=1338
case_no=131 label=Case6.119 nb_sol=0 ticks=106879 tps=100 nb_sec=1068
case_no=131 label=Case6.119 nb_sol=0 ticks=116886 tps=100 nb_sec=1168
case_no=131 label=Case6.119 nb_sol=0 ticks=95213 tps=100 nb_sec=952
case_no=131 label=Case6.119 nb_sol=0 ticks=84314 tps=100 nb_sec=843
case_no=131 label=Case6.119 nb_sol=0 ticks=86042 tps=100 nb_sec=860
case_no=131 label=Case6.119 nb_sol=0 ticks=141855 tps=100 nb_sec=1418
case_no=131 label=Case6.119 nb_sol=0 ticks=127664 tps=100 nb_sec=1276
case_no=131 label=Case6.119 nb_sol=0 ticks=129285 tps=100 nb_sec=1292
case_no=131 label=Case6.119 nb_sol=0 ticks=117088 tps=100 nb_sec=1170
case_no=131 label=Case6.119 nb_sol=0 ticks=116408 tps=100 nb_sec=1164
case_no=131 label=Case6.119 nb_sol=0 ticks=80364 tps=100 nb_sec=803
case_no=131 label=Case6.119 nb_sol=0 ticks=117117 tps=100 nb_sec=1171
case_no=131 label=Case6.119 nb_sol=0 ticks=109683 tps=100 nb_sec=1096
case_no=131 label=Case6.119 nb_sol=0 ticks=106272 tps=100 nb_sec=1062
case_no=131 label=Case6.119 nb_sol=0 ticks=97936 tps=100 nb_sec=979
case_no=131 label=Case6.119 nb_sol=0 ticks=104999 tps=100 nb_sec=1049
case_no=131 label=Case6.119 nb_sol=0 ticks=103757 tps=100 nb_sec=1037
case_no=131 label=Case6.119 nb_sol=0 ticks=109748 tps=100 nb_sec=1097
case_no=131 label=Case6.119 nb_sol=0 ticks=120881 tps=100 nb_sec=1208
case_no=131 label=Case6.119 nb_sol=0 ticks=133039 tps=100 nb_sec=1330
case_no=131 label=Case6.119 nb_sol=0 ticks=109825 tps=100 nb_sec=1098
case_no=131 label=Case6.119 nb_sol=0 ticks=85685 tps=100 nb_sec=856
case_no=131 label=Case6.119 nb_sol=0 ticks=96766 tps=100 nb_sec=967
case_no=131 label=Case6.119 nb_sol=0 ticks=102197 tps=100 nb_sec=1021
case_no=131 label=Case6.119 nb_sol=0 ticks=111263 tps=100 nb_sec=1112
case_no=131 label=Case6.119 nb_sol=0 ticks=107068 tps=100 nb_sec=1070
case_no=131 label=Case6.119 nb_sol=0 ticks=97087 tps=100 nb_sec=970
case_no=131 label=Case6.119 nb_sol=0 ticks=127503 tps=100 nb_sec=1275
case_no=131 label=Case6.119 nb_sol=0 ticks=110341 tps=100 nb_sec=1103
case_no=131 label=Case6.119 nb_sol=0 ticks=112863 tps=100 nb_sec=1128
case_no=131 label=Case6.119 nb_sol=0 ticks=147180 tps=100 nb_sec=1471
case_no=131 label=Case6.119 nb_sol=0 ticks=119085 tps=100 nb_sec=1190
case_no=131 label=Case6.119 nb_sol=0 ticks=100105 tps=100 nb_sec=1001
case_no=131 label=Case6.119 nb_sol=0 ticks=99527 tps=100 nb_sec=995
case_no=131 label=Case6.119 nb_sol=0 ticks=100278 tps=100 nb_sec=1002
case_no=131 label=Case6.119 nb_sol=0 ticks=106486 tps=100 nb_sec=1064
case_no=131 label=Case6.119 nb_sol=0 ticks=99338 tps=100 nb_sec=993
case_no=131 label=Case6.119 nb_sol=0 ticks=120047 tps=100 nb_sec=1200
case_no=131 label=Case6.119 nb_sol=0 ticks=115158 tps=100 nb_sec=1151
case_no=131 label=Case6.119 nb_sol=0 ticks=97480 tps=100 nb_sec=974
case_no=131 label=Case6.119 nb_sol=0 ticks=124409 tps=100 nb_sec=1244
case_no=131 label=Case6.119 nb_sol=0 ticks=108567 tps=100 nb_sec=1085
case_no=131 label=Case6.119 nb_sol=0 ticks=136739 tps=100 nb_sec=1367
case_no=131 label=Case6.119 nb_sol=0 ticks=89634 tps=100 nb_sec=896
case_no=131 label=Case6.119 nb_sol=0 ticks=167638 tps=100 nb_sec=1676
case_no=131 label=Case6.119 nb_sol=0 ticks=132311 tps=100 nb_sec=1323
case_no=131 label=Case6.119 nb_sol=0 ticks=116759 tps=100 nb_sec=1167
case_no=131 label=Case6.119 nb_sol=0 ticks=102257 tps=100 nb_sec=1022
case_no=131 label=Case6.119 nb_sol=0 ticks=101132 tps=100 nb_sec=1011
case_no=131 label=Case6.119 nb_sol=0 ticks=158154 tps=100 nb_sec=1581
case_no=131 label=Case6.119 nb_sol=0 ticks=104058 tps=100 nb_sec=1040
case_no=131 label=Case6.119 nb_sol=0 ticks=125641 tps=100 nb_sec=1256
case_no=131 label=Case6.119 nb_sol=0 ticks=147323 tps=100 nb_sec=1473
case_no=131 label=Case6.119 nb_sol=0 ticks=120496 tps=100 nb_sec=1204
case_no=131 label=Case6.119 nb_sol=0 ticks=173972 tps=100 nb_sec=1739
case_no=131 label=Case6.119 nb_sol=0 ticks=124592 tps=100 nb_sec=1245
case_no=131 label=Case6.119 nb_sol=0 ticks=108319 tps=100 nb_sec=1083
case_no=131 label=Case6.119 nb_sol=0 ticks=131185 tps=100 nb_sec=1311
case_no=131 label=Case6.119 nb_sol=0 ticks=112990 tps=100 nb_sec=1129
case_no=131 label=Case6.119 nb_sol=0 ticks=166433 tps=100 nb_sec=1664
case_no=131 label=Case6.119 nb_sol=0 ticks=115451 tps=100 nb_sec=1154
case_no=131 label=Case6.119 nb_sol=0 ticks=100985 tps=100 nb_sec=1009
case_no=131 label=Case6.119 nb_sol=0 ticks=121351 tps=100 nb_sec=1213
case_no=131 label=Case6.119 nb_sol=0 ticks=103722 tps=100 nb_sec=1037
case_no=131 label=Case6.119 nb_sol=0 ticks=120389 tps=100 nb_sec=1203
case_no=131 label=Case6.119 nb_sol=0 ticks=108301 tps=100 nb_sec=1083
case_no=131 label=Case6.119 nb_sol=0 ticks=109503 tps=100 nb_sec=1095
case_no=131 label=Case6.119 nb_sol=0 ticks=156334 tps=100 nb_sec=1563
case_no=131 label=Case6.119 nb_sol=0 ticks=116521 tps=100 nb_sec=1165
case_no=131 label=Case6.119 nb_sol=0 ticks=118193 tps=100 nb_sec=1181
case_no=131 label=Case6.119 nb_sol=0 ticks=179405 tps=100 nb_sec=1794
case_no=131 label=Case6.119 nb_sol=0 ticks=124806 tps=100 nb_sec=1248
case_no=131 label=Case6.119 nb_sol=0 ticks=178094 tps=100 nb_sec=1780
case_no=131 label=Case6.119 nb_sol=0 ticks=193260 tps=100 nb_sec=1932
case_no=131 label=Case6.119 nb_sol=0 ticks=112799 tps=100 nb_sec=1127
case_no=131 label=Case6.119 nb_sol=0 ticks=104692 tps=100 nb_sec=1046
case_no=131 label=Case6.119 nb_sol=0 ticks=112907 tps=100 nb_sec=1129
case_no=131 label=Case6.119 nb_sol=0 ticks=112833 tps=100 nb_sec=1128
case_no=131 label=Case6.119 nb_sol=0 ticks=116136 tps=100 nb_sec=1161
case_no=131 label=Case6.119 nb_sol=0 ticks=107875 tps=100 nb_sec=1078
case_no=131 label=Case6.119 nb_sol=0 ticks=118740 tps=100 nb_sec=1187
case_no=131 label=Case6.119 nb_sol=0 ticks=136863 tps=100 nb_sec=1368
case_no=131 label=Case6.119 nb_sol=0 ticks=113882 tps=100 nb_sec=1138
case_no=131 label=Case6.119 nb_sol=0 ticks=113449 tps=100 nb_sec=1134
case_no=131 label=Case6.119 nb_sol=0 ticks=132935 tps=100 nb_sec=1329
case_no=131 label=Case6.119 nb_sol=0 ticks=101519 tps=100 nb_sec=1015
case_no=131 label=Case6.119 nb_sol=0 ticks=178220 tps=100 nb_sec=1782
case_no=131 label=Case6.119 nb_sol=0 ticks=133860 tps=100 nb_sec=1338
case_no=131 label=Case6.119 nb_sol=0 ticks=135439 tps=100 nb_sec=1354
case_no=131 label=Case6.119 nb_sol=0 ticks=106962 tps=100 nb_sec=1069
case_no=131 label=Case6.119 nb_sol=0 ticks=129169 tps=100 nb_sec=1291
case_no=131 label=Case6.119 nb_sol=0 ticks=180698 tps=100 nb_sec=1806
case_no=131 label=Case6.119 nb_sol=0 ticks=139162 tps=100 nb_sec=1391
case_no=131 label=Case6.119 nb_sol=0 ticks=143843 tps=100 nb_sec=1438
case_no=131 label=Case6.119 nb_sol=0 ticks=132959 tps=100 nb_sec=1329
case_no=131 label=Case6.119 nb_sol=0 ticks=134904 tps=100 nb_sec=1349
case_no=131 label=Case6.119 nb_sol=0 ticks=149199 tps=100 nb_sec=1491
case_no=131 label=Case6.119 nb_sol=0 ticks=118062 tps=100 nb_sec=1180
case_no=131 label=Case6.119 nb_sol=0 ticks=109075 tps=100 nb_sec=1090
case_no=131 label=Case6.119 nb_sol=0 ticks=103538 tps=100 nb_sec=1035
case_no=131 label=Case6.119 nb_sol=0 ticks=106125 tps=100 nb_sec=1061
case_no=131 label=Case6.119 nb_sol=0 ticks=115482 tps=100 nb_sec=1154
case_no=131 label=Case6.119 nb_sol=0 ticks=107015 tps=100 nb_sec=1070
case_no=131 label=Case6.119 nb_sol=0 ticks=108366 tps=100 nb_sec=1083
case_no=131 label=Case6.119 nb_sol=0 ticks=145836 tps=100 nb_sec=1458
case_no=131 label=Case6.119 nb_sol=0 ticks=101130 tps=100 nb_sec=1011
case_no=131 label=Case6.119 nb_sol=0 ticks=96354 tps=100 nb_sec=963
case_no=131 label=Case6.119 nb_sol=0 ticks=108985 tps=100 nb_sec=1089
case_no=131 label=Case6.119 nb_sol=0 ticks=114240 tps=100 nb_sec=1142
case_no=131 label=Case6.119 nb_sol=0 ticks=125908 tps=100 nb_sec=1259
case_no=131 label=Case6.119 nb_sol=0 ticks=108875 tps=100 nb_sec=1088
case_no=131 label=Case6.119 nb_sol=0 ticks=136898 tps=100 nb_sec=1368
case_no=131 label=Case6.119 nb_sol=0 ticks=120020 tps=100 nb_sec=1200
case_no=131 label=Case6.119 nb_sol=0 ticks=92015 tps=100 nb_sec=920
case_no=131 label=Case6.119 nb_sol=0 ticks=94735 tps=100 nb_sec=947
case_no=131 label=Case6.119 nb_sol=0 ticks=109302 tps=100 nb_sec=1093
case_no=131 label=Case6.119 nb_sol=0 ticks=126576 tps=100 nb_sec=1265
case_no=131 label=Case6.119 nb_sol=0 ticks=138085 tps=100 nb_sec=1380
case_no=131 label=Case6.119 nb_sol=0 ticks=96498 tps=100 nb_sec=964
case_no=131 label=Case6.119 nb_sol=0 ticks=95701 tps=100 nb_sec=957
case_no=131 label=Case6.119 nb_sol=0 ticks=107426 tps=100 nb_sec=1074
case_no=131 label=Case6.119 nb_sol=0 ticks=140183 tps=100 nb_sec=1401
case_no=131 label=Case6.119 nb_sol=0 ticks=133108 tps=100 nb_sec=1331
case_no=131 label=Case6.119 nb_sol=0 ticks=109482 tps=100 nb_sec=1094
case_no=131 label=Case6.119 nb_sol=0 ticks=120771 tps=100 nb_sec=1207
case_no=131 label=Case6.119 nb_sol=0 ticks=132198 tps=100 nb_sec=1321
case_no=131 label=Case6.119 nb_sol=0 ticks=104379 tps=100 nb_sec=1043
case_no=131 label=Case6.119 nb_sol=0 ticks=99950 tps=100 nb_sec=999
case_no=131 label=Case6.119 nb_sol=0 ticks=146246 tps=100 nb_sec=1462
case_no=131 label=Case6.119 nb_sol=0 ticks=108688 tps=100 nb_sec=1086
case_no=131 label=Case6.119 nb_sol=0 ticks=120271 tps=100 nb_sec=1202
case_no=131 label=Case6.119 nb_sol=0 ticks=131734 tps=100 nb_sec=1317
case_no=131 label=Case6.119 nb_sol=0 ticks=96959 tps=100 nb_sec=969
case_no=131 label=Case6.119 nb_sol=0 ticks=135823 tps=100 nb_sec=1358
case_no=131 label=Case6.119 nb_sol=0 ticks=124850 tps=100 nb_sec=1248
case_no=131 label=Case6.119 nb_sol=0 ticks=124496 tps=100 nb_sec=1244
case_no=131 label=Case6.119 nb_sol=0 ticks=177208 tps=100 nb_sec=1772
case_no=131 label=Case6.119 nb_sol=0 ticks=298838 tps=100 nb_sec=2988
case_no=131 label=Case6.119 nb_sol=0 ticks=141006 tps=100 nb_sec=1410
case_no=131 label=Case6.119 nb_sol=0 ticks=80538 tps=100 nb_sec=805
case_no=131 label=Case6.119 nb_sol=0 ticks=97651 tps=100 nb_sec=976
case_no=131 label=Case6.119 nb_sol=0 ticks=103162 tps=100 nb_sec=1031
case_no=131 label=Case6.119 nb_sol=0 ticks=101955 tps=100 nb_sec=1019
case_no=131 label=Case6.119 nb_sol=0 ticks=110809 tps=100 nb_sec=1108
case_no=131 label=Case6.119 nb_sol=0 ticks=92916 tps=100 nb_sec=929
case_no=131 label=Case6.119 nb_sol=0 ticks=125840 tps=100 nb_sec=1258
case_no=131 label=Case6.119 nb_sol=0 ticks=128536 tps=100 nb_sec=1285
case_no=131 label=Case6.119 nb_sol=0 ticks=110055 tps=100 nb_sec=1100
case_no=131 label=Case6.119 nb_sol=0 ticks=117628 tps=100 nb_sec=1176
case_no=131 label=Case6.119 nb_sol=0 ticks=119928 tps=100 nb_sec=1199
case_no=131 label=Case6.119 nb_sol=0 ticks=127759 tps=100 nb_sec=1277
case_no=131 label=Case6.119 nb_sol=0 ticks=102279 tps=100 nb_sec=1022
case_no=131 label=Case6.119 nb_sol=0 ticks=94776 tps=100 nb_sec=947
case_no=131 label=Case6.119 nb_sol=0 ticks=98466 tps=100 nb_sec=984
case_no=131 label=Case6.119 nb_sol=0 ticks=122537 tps=100 nb_sec=1225
case_no=131 label=Case6.119 nb_sol=0 ticks=107539 tps=100 nb_sec=1075
case_no=131 label=Case6.119 nb_sol=0 ticks=137795 tps=100 nb_sec=1377
case_no=131 label=Case6.119 nb_sol=0 ticks=115448 tps=100 nb_sec=1154
case_no=131 label=Case6.119 nb_sol=0 ticks=139834 tps=100 nb_sec=1398
case_no=131 label=Case6.119 nb_sol=0 ticks=113512 tps=100 nb_sec=1135
case_no=131 label=Case6.119 nb_sol=0 ticks=93509 tps=100 nb_sec=935
case_no=131 label=Case6.119 nb_sol=0 ticks=119569 tps=100 nb_sec=1195
case_no=131 label=Case6.119 nb_sol=0 ticks=145238 tps=100 nb_sec=1452
case_no=131 label=Case6.119 nb_sol=0 ticks=132094 tps=100 nb_sec=1320
case_no=131 label=Case6.119 nb_sol=0 ticks=95618 tps=100 nb_sec=956
case_no=131 label=Case6.119 nb_sol=0 ticks=128251 tps=100 nb_sec=1282
case_no=131 label=Case6.119 nb_sol=0 ticks=105103 tps=100 nb_sec=1051
case_no=131 label=Case6.119 nb_sol=0 ticks=134909 tps=100 nb_sec=1349
case_no=131 label=Case6.119 nb_sol=0 ticks=140446 tps=100 nb_sec=1404
case_no=131 label=Case6.119 nb_sol=0 ticks=173099 tps=100 nb_sec=1730
case_no=131 label=Case6.119 nb_sol=0 ticks=127689 tps=100 nb_sec=1276
case_no=131 label=Case6.119 nb_sol=0 ticks=137195 tps=100 nb_sec=1371
case_no=131 label=Case6.119 nb_sol=0 ticks=115834 tps=100 nb_sec=1158
case_no=131 label=Case6.119 nb_sol=0 ticks=104897 tps=100 nb_sec=1048
case_no=131 label=Case6.119 nb_sol=0 ticks=103410 tps=100 nb_sec=1034
case_no=131 label=Case6.119 nb_sol=0 ticks=107852 tps=100 nb_sec=1078
case_no=131 label=Case6.119 nb_sol=0 ticks=117488 tps=100 nb_sec=1174
case_no=131 label=Case6.119 nb_sol=0 ticks=99776 tps=100 nb_sec=997
case_no=131 label=Case6.119 nb_sol=0 ticks=146246 tps=100 nb_sec=1462
case_no=131 label=Case6.119 nb_sol=0 ticks=125200 tps=100 nb_sec=1252
case_no=131 label=Case6.119 nb_sol=0 ticks=95290 tps=100 nb_sec=952
case_no=131 label=Case6.119 nb_sol=0 ticks=111590 tps=100 nb_sec=1115
case_no=131 label=Case6.119 nb_sol=0 ticks=148919 tps=100 nb_sec=1489
case_no=131 label=Case6.119 nb_sol=0 ticks=85586 tps=100 nb_sec=855
case_no=131 label=Case6.119 nb_sol=0 ticks=89083 tps=100 nb_sec=890
case_no=131 label=Case6.119 nb_sol=0 ticks=149409 tps=100 nb_sec=1494
case_no=131 label=Case6.119 nb_sol=0 ticks=131262 tps=100 nb_sec=1312
case_no=131 label=Case6.119 nb_sol=0 ticks=107962 tps=100 nb_sec=1079
case_no=131 label=Case6.119 nb_sol=0 ticks=117618 tps=100 nb_sec=1176
case_no=131 label=Case6.119 nb_sol=0 ticks=109333 tps=100 nb_sec=1093
case_no=131 label=Case6.119 nb_sol=0 ticks=102238 tps=100 nb_sec=1022
case_no=131 label=Case6.119 nb_sol=0 ticks=108386 tps=100 nb_sec=1083
case_no=131 label=Case6.119 nb_sol=0 ticks=100321 tps=100 nb_sec=1003
case_no=131 label=Case6.119 nb_sol=0 ticks=68630 tps=100 nb_sec=686
case_no=131 label=Case6.119 nb_sol=0 ticks=96477 tps=100 nb_sec=964
case_no=131 label=Case6.119 nb_sol=0 ticks=89463 tps=100 nb_sec=894
case_no=131 label=Case6.119 nb_sol=0 ticks=92954 tps=100 nb_sec=929
case_no=131 label=Case6.119 nb_sol=0 ticks=87772 tps=100 nb_sec=877
case_no=131 label=Case6.119 nb_sol=0 ticks=72019 tps=100 nb_sec=720
case_no=131 label=Case6.119 nb_sol=0 ticks=94291 tps=100 nb_sec=942
case_no=131 label=Case6.119 nb_sol=0 ticks=115019 tps=100 nb_sec=1150
case_no=131 label=Case6.119 nb_sol=0 ticks=138727 tps=100 nb_sec=1387
case_no=131 label=Case6.119 nb_sol=0 ticks=118572 tps=100 nb_sec=1185
case_no=131 label=Case6.119 nb_sol=0 ticks=128306 tps=100 nb_sec=1283
case_no=131 label=Case6.119 nb_sol=0 ticks=115459 tps=100 nb_sec=1154
case_no=131 label=Case6.119 nb_sol=0 ticks=127933 tps=100 nb_sec=1279
case_no=131 label=Case6.119 nb_sol=0 ticks=123836 tps=100 nb_sec=1238
case_no=131 label=Case6.119 nb_sol=0 ticks=354636 tps=100 nb_sec=3546
case_no=131 label=Case6.119 nb_sol=0 ticks=129843 tps=100 nb_sec=1298
case_no=131 label=Case6.119 nb_sol=0 ticks=137712 tps=100 nb_sec=1377
case_no=131 label=Case6.119 nb_sol=0 ticks=118660 tps=100 nb_sec=1186
case_no=131 label=Case6.119 nb_sol=0 ticks=112922 tps=100 nb_sec=1129
case_no=131 label=Case6.119 nb_sol=0 ticks=114911 tps=100 nb_sec=1149
case_no=131 label=Case6.119 nb_sol=0 ticks=115138 tps=100 nb_sec=1151
case_no=131 label=Case6.119 nb_sol=0 ticks=126379 tps=100 nb_sec=1263
case_no=131 label=Case6.119 nb_sol=0 ticks=95931 tps=100 nb_sec=959
case_no=131 label=Case6.119 nb_sol=0 ticks=97358 tps=100 nb_sec=973
case_no=131 label=Case6.119 nb_sol=0 ticks=92282 tps=100 nb_sec=922
case_no=131 label=Case6.119 nb_sol=0 ticks=107973 tps=100 nb_sec=1079
case_no=131 label=Case6.119 nb_sol=0 ticks=133320 tps=100 nb_sec=1333
case_no=131 label=Case6.119 nb_sol=0 ticks=89512 tps=100 nb_sec=895
case_no=131 label=Case6.119 nb_sol=0 ticks=98215 tps=100 nb_sec=982
case_no=131 label=Case6.119 nb_sol=0 ticks=131172 tps=100 nb_sec=1311
case_no=131 label=Case6.119 nb_sol=0 ticks=122769 tps=100 nb_sec=1227
case_no=131 label=Case6.119 nb_sol=0 ticks=139679 tps=100 nb_sec=1396
case_no=131 label=Case6.119 nb_sol=0 ticks=95603 tps=100 nb_sec=956
case_no=131 label=Case6.119 nb_sol=0 ticks=98236 tps=100 nb_sec=982
case_no=131 label=Case6.119 nb_sol=0 ticks=113245 tps=100 nb_sec=1132
case_no=131 label=Case6.119 nb_sol=0 ticks=155242 tps=100 nb_sec=1552
case_no=131 label=Case6.119 nb_sol=0 ticks=109855 tps=100 nb_sec=1098
case_no=131 label=Case6.119 nb_sol=0 ticks=136351 tps=100 nb_sec=1363
case_no=131 label=Case6.119 nb_sol=0 ticks=103225 tps=100 nb_sec=1032
case_no=131 label=Case6.119 nb_sol=0 ticks=99597 tps=100 nb_sec=995
case_no=131 label=Case6.119 nb_sol=0 ticks=142073 tps=100 nb_sec=1420
case_no=131 label=Case6.119 nb_sol=0 ticks=114406 tps=100 nb_sec=1144
case_no=131 label=Case6.119 nb_sol=0 ticks=148890 tps=100 nb_sec=1488
case_no=131 label=Case6.119 nb_sol=0 ticks=135641 tps=100 nb_sec=1356
case_no=131 label=Case6.119 nb_sol=0 ticks=119662 tps=100 nb_sec=1196
case_no=131 label=Case6.119 nb_sol=0 ticks=126500 tps=100 nb_sec=1265
case_no=131 label=Case6.119 nb_sol=0 ticks=115867 tps=100 nb_sec=1158
case_no=131 label=Case6.119 nb_sol=0 ticks=113529 tps=100 nb_sec=1135
case_no=131 label=Case6.119 nb_sol=0 ticks=128457 tps=100 nb_sec=1284
case_no=131 label=Case6.119 nb_sol=0 ticks=110280 tps=100 nb_sec=1102
case_no=131 label=Case6.119 nb_sol=0 ticks=126876 tps=100 nb_sec=1268
case_no=131 label=Case6.119 nb_sol=0 ticks=125930 tps=100 nb_sec=1259
case_no=131 label=Case6.119 nb_sol=0 ticks=132531 tps=100 nb_sec=1325
case_no=131 label=Case6.119 nb_sol=0 ticks=108865 tps=100 nb_sec=1088
case_no=131 label=Case6.119 nb_sol=0 ticks=116876 tps=100 nb_sec=1168
case_no=131 label=Case6.119 nb_sol=0 ticks=87378 tps=100 nb_sec=873
case_no=131 label=Case6.119 nb_sol=0 ticks=118610 tps=100 nb_sec=1186
case_no=131 label=Case6.119 nb_sol=0 ticks=104331 tps=100 nb_sec=1043
case_no=131 label=Case6.119 nb_sol=0 ticks=104490 tps=100 nb_sec=1044
case_no=131 label=Case6.119 nb_sol=0 ticks=117071 tps=100 nb_sec=1170
case_no=131 label=Case6.119 nb_sol=0 ticks=116264 tps=100 nb_sec=1162
case_no=131 label=Case6.119 nb_sol=0 ticks=133908 tps=100 nb_sec=1339
case_no=131 label=Case6.119 nb_sol=0 ticks=111534 tps=100 nb_sec=1115
case_no=131 label=Case6.119 nb_sol=0 ticks=110149 tps=100 nb_sec=1101
case_no=131 label=Case6.119 nb_sol=0 ticks=146910 tps=100 nb_sec=1469
case_no=131 label=Case6.119 nb_sol=0 ticks=133246 tps=100 nb_sec=1332
case_no=131 label=Case6.119 nb_sol=0 ticks=152271 tps=100 nb_sec=1522
case_no=131 label=Case6.119 nb_sol=0 ticks=125799 tps=100 nb_sec=1257
case_no=131 label=Case6.119 nb_sol=0 ticks=95333 tps=100 nb_sec=953
case_no=131 label=Case6.119 nb_sol=0 ticks=114917 tps=100 nb_sec=1149
case_no=131 label=Case6.119 nb_sol=0 ticks=97142 tps=100 nb_sec=971
case_no=131 label=Case6.119 nb_sol=0 ticks=127586 tps=100 nb_sec=1275
case_no=131 label=Case6.119 nb_sol=0 ticks=130609 tps=100 nb_sec=1306
case_no=131 label=Case6.119 nb_sol=0 ticks=101312 tps=100 nb_sec=1013
case_no=131 label=Case6.119 nb_sol=0 ticks=126133 tps=100 nb_sec=1261
case_no=131 label=Case6.119 nb_sol=0 ticks=78522 tps=100 nb_sec=785
case_no=131 label=Case6.119 nb_sol=0 ticks=157133 tps=100 nb_sec=1571
case_no=131 label=Case6.119 nb_sol=0 ticks=105395 tps=100 nb_sec=1053
case_no=131 label=Case6.119 nb_sol=0 ticks=134718 tps=100 nb_sec=1347
case_no=131 label=Case6.119 nb_sol=0 ticks=126101 tps=100 nb_sec=1261
case_no=131 label=Case6.119 nb_sol=0 ticks=88354 tps=100 nb_sec=883
case_no=131 label=Case6.119 nb_sol=0 ticks=146369 tps=100 nb_sec=1463
case_no=131 label=Case6.119 nb_sol=0 ticks=161890 tps=100 nb_sec=1618
case_no=131 label=Case6.119 nb_sol=0 ticks=140669 tps=100 nb_sec=1406
case_no=131 label=Case6.119 nb_sol=0 ticks=143016 tps=100 nb_sec=1430
case_no=131 label=Case6.119 nb_sol=0 ticks=127487 tps=100 nb_sec=1274
case_no=131 label=Case6.119 nb_sol=0 ticks=103337 tps=100 nb_sec=1033
case_no=131 label=Case6.119 nb_sol=0 ticks=124722 tps=100 nb_sec=1247
case_no=131 label=Case6.119 nb_sol=0 ticks=126198 tps=100 nb_sec=1261
case_no=131 label=Case6.119 nb_sol=0 ticks=93866 tps=100 nb_sec=938
case_no=131 label=Case6.119 nb_sol=0 ticks=110100 tps=100 nb_sec=1101
case_no=131 label=Case6.119 nb_sol=0 ticks=99835 tps=100 nb_sec=998
case_no=131 label=Case6.119 nb_sol=0 ticks=111319 tps=100 nb_sec=1113
case_no=131 label=Case6.119 nb_sol=0 ticks=150568 tps=100 nb_sec=1505
case_no=131 label=Case6.119 nb_sol=0 ticks=122190 tps=100 nb_sec=1221
case_no=131 label=Case6.119 nb_sol=0 ticks=112392 tps=100 nb_sec=1123
case_no=131 label=Case6.119 nb_sol=0 ticks=105784 tps=100 nb_sec=1057
case_no=131 label=Case6.119 nb_sol=0 ticks=147337 tps=100 nb_sec=1473
case_no=131 label=Case6.119 nb_sol=0 ticks=120159 tps=100 nb_sec=1201
case_no=131 label=Case6.119 nb_sol=0 ticks=102203 tps=100 nb_sec=1022
case_no=131 label=Case6.119 nb_sol=0 ticks=123378 tps=100 nb_sec=1233
case_no=131 label=Case6.119 nb_sol=0 ticks=139557 tps=100 nb_sec=1395
case_no=131 label=Case6.119 nb_sol=0 ticks=119034 tps=100 nb_sec=1190
case_no=131 label=Case6.119 nb_sol=0 ticks=123406 tps=100 nb_sec=1234
case_no=131 label=Case6.119 nb_sol=0 ticks=96878 tps=100 nb_sec=968
case_no=131 label=Case6.119 nb_sol=0 ticks=104505 tps=100 nb_sec=1045
case_no=131 label=Case6.119 nb_sol=0 ticks=102767 tps=100 nb_sec=1027
case_no=131 label=Case6.119 nb_sol=0 ticks=108898 tps=100 nb_sec=1088
case_no=131 label=Case6.119 nb_sol=0 ticks=182997 tps=100 nb_sec=1829
case_no=131 label=Case6.119 nb_sol=0 ticks=103125 tps=100 nb_sec=1031
case_no=131 label=Case6.119 nb_sol=0 ticks=135934 tps=100 nb_sec=1359
case_no=131 label=Case6.119 nb_sol=0 ticks=133392 tps=100 nb_sec=1333
case_no=131 label=Case6.119 nb_sol=0 ticks=136292 tps=100 nb_sec=1362
case_no=131 label=Case6.119 nb_sol=0 ticks=118451 tps=100 nb_sec=1184
case_no=131 label=Case6.119 nb_sol=0 ticks=127670 tps=100 nb_sec=1276
case_no=131 label=Case6.119 nb_sol=0 ticks=151074 tps=100 nb_sec=1510
case_no=131 label=Case6.119 nb_sol=0 ticks=168783 tps=100 nb_sec=1687
case_no=131 label=Case6.119 nb_sol=0 ticks=90057 tps=100 nb_sec=900
case_no=131 label=Case6.119 nb_sol=0 ticks=125084 tps=100 nb_sec=1250
case_no=131 label=Case6.119 nb_sol=0 ticks=121091 tps=100 nb_sec=1210
case_no=131 label=Case6.119 nb_sol=0 ticks=109428 tps=100 nb_sec=1094
case_no=131 label=Case6.119 nb_sol=0 ticks=125779 tps=100 nb_sec=1257
case_no=131 label=Case6.119 nb_sol=0 ticks=133554 tps=100 nb_sec=1335
case_no=131 label=Case6.119 nb_sol=0 ticks=168319 tps=100 nb_sec=1683
case_no=131 label=Case6.119 nb_sol=0 ticks=96502 tps=100 nb_sec=965
case_no=131 label=Case6.119 nb_sol=0 ticks=160093 tps=100 nb_sec=1600
case_no=131 label=Case6.119 nb_sol=0 ticks=88777 tps=100 nb_sec=887
case_no=131 label=Case6.119 nb_sol=0 ticks=114613 tps=100 nb_sec=1146
case_no=131 label=Case6.119 nb_sol=0 ticks=132615 tps=100 nb_sec=1326
case_no=131 label=Case6.119 nb_sol=0 ticks=118390 tps=100 nb_sec=1183
case_no=131 label=Case6.119 nb_sol=0 ticks=100926 tps=100 nb_sec=1009
case_no=131 label=Case6.119 nb_sol=0 ticks=158647 tps=100 nb_sec=1586
case_no=131 label=Case6.119 nb_sol=0 ticks=119767 tps=100 nb_sec=1197
case_no=131 label=Case6.119 nb_sol=0 ticks=111008 tps=100 nb_sec=1110
case_no=131 label=Case6.119 nb_sol=0 ticks=115413 tps=100 nb_sec=1154
case_no=131 label=Case6.119 nb_sol=0 ticks=90641 tps=100 nb_sec=906
case_no=131 label=Case6.119 nb_sol=0 ticks=112865 tps=100 nb_sec=1128
case_no=131 label=Case6.119 nb_sol=0 ticks=132468 tps=100 nb_sec=1324
case_no=131 label=Case6.119 nb_sol=0 ticks=119122 tps=100 nb_sec=1191
case_no=131 label=Case6.119 nb_sol=0 ticks=92176 tps=100 nb_sec=921
case_no=131 label=Case6.119 nb_sol=0 ticks=80266 tps=100 nb_sec=802
case_no=131 label=Case6.119 nb_sol=0 ticks=119363 tps=100 nb_sec=1193
case_no=131 label=Case6.119 nb_sol=0 ticks=98164 tps=100 nb_sec=981
case_no=131 label=Case6.119 nb_sol=0 ticks=84728 tps=100 nb_sec=847
case_no=131 label=Case6.119 nb_sol=0 ticks=76866 tps=100 nb_sec=768
case_no=131 label=Case6.119 nb_sol=0 ticks=242101 tps=100 nb_sec=2421
case_no=131 label=Case6.119 nb_sol=0 ticks=93394 tps=100 nb_sec=933
case_no=131 label=Case6.119 nb_sol=0 ticks=125579 tps=100 nb_sec=1255
case_no=131 label=Case6.119 nb_sol=0 ticks=86684 tps=100 nb_sec=866
case_no=131 label=Case6.119 nb_sol=0 ticks=104974 tps=100 nb_sec=1049
case_no=131 label=Case6.119 nb_sol=0 ticks=122565 tps=100 nb_sec=1225
case_no=131 label=Case6.119 nb_sol=0 ticks=108394 tps=100 nb_sec=1083
case_no=131 label=Case6.119 nb_sol=0 ticks=89498 tps=100 nb_sec=894
case_no=131 label=Case6.119 nb_sol=0 ticks=108268 tps=100 nb_sec=1082
case_no=131 label=Case6.119 nb_sol=0 ticks=126289 tps=100 nb_sec=1262
case_no=131 label=Case6.119 nb_sol=0 ticks=90129 tps=100 nb_sec=901
case_no=131 label=Case6.119 nb_sol=0 ticks=122031 tps=100 nb_sec=1220
case_no=131 label=Case6.119 nb_sol=0 ticks=92088 tps=100 nb_sec=920
case_no=131 label=Case6.119 nb_sol=0 ticks=118926 tps=100 nb_sec=1189
case_no=131 label=Case6.119 nb_sol=0 ticks=118085 tps=100 nb_sec=1180
case_no=131 label=Case6.119 nb_sol=0 ticks=117996 tps=100 nb_sec=1179
case_no=131 label=Case6.119 nb_sol=0 ticks=90249 tps=100 nb_sec=902
case_no=131 label=Case6.119 nb_sol=0 ticks=100006 tps=100 nb_sec=1000
case_no=131 label=Case6.119 nb_sol=0 ticks=112000 tps=100 nb_sec=1120
case_no=131 label=Case6.119 nb_sol=0 ticks=116854 tps=100 nb_sec=1168
case_no=131 label=Case6.119 nb_sol=0 ticks=100201 tps=100 nb_sec=1002
case_no=131 label=Case6.119 nb_sol=0 ticks=134703 tps=100 nb_sec=1347
case_no=131 label=Case6.119 nb_sol=0 ticks=118991 tps=100 nb_sec=1189
case_no=131 label=Case6.119 nb_sol=0 ticks=112645 tps=100 nb_sec=1126
case_no=131 label=Case6.119 nb_sol=0 ticks=135890 tps=100 nb_sec=1358
case_no=131 label=Case6.119 nb_sol=0 ticks=132872 tps=100 nb_sec=1328
case_no=131 label=Case6.119 nb_sol=0 ticks=115545 tps=100 nb_sec=1155
case_no=131 label=Case6.119 nb_sol=0 ticks=128347 tps=100 nb_sec=1283
case_no=131 label=Case6.119 nb_sol=0 ticks=123768 tps=100 nb_sec=1237
case_no=131 label=Case6.119 nb_sol=0 ticks=131501 tps=100 nb_sec=1315
case_no=131 label=Case6.119 nb_sol=0 ticks=120899 tps=100 nb_sec=1208
case_no=131 label=Case6.119 nb_sol=0 ticks=125102 tps=100 nb_sec=1251
case_no=131 label=Case6.119 nb_sol=0 ticks=106607 tps=100 nb_sec=1066
case_no=131 label=Case6.119 nb_sol=0 ticks=151449 tps=100 nb_sec=1514
case_no=131 label=Case6.119 nb_sol=0 ticks=165108 tps=100 nb_sec=1651
case_no=131 label=Case6.119 nb_sol=0 ticks=125908 tps=100 nb_sec=1259
case_no=131 label=Case6.119 nb_sol=0 ticks=104855 tps=100 nb_sec=1048
case_no=131 label=Case6.119 nb_sol=0 ticks=143569 tps=100 nb_sec=1435
case_no=131 label=Case6.119 nb_sol=0 ticks=104900 tps=100 nb_sec=1049
case_no=131 label=Case6.119 nb_sol=0 ticks=128583 tps=100 nb_sec=1285
case_no=131 label=Case6.119 nb_sol=0 ticks=101410 tps=100 nb_sec=1014
case_no=131 label=Case6.119 nb_sol=0 ticks=106724 tps=100 nb_sec=1067
case_no=131 label=Case6.119 nb_sol=0 ticks=110091 tps=100 nb_sec=1100
case_no=131 label=Case6.119 nb_sol=0 ticks=108451 tps=100 nb_sec=1084
case_no=131 label=Case6.119 nb_sol=0 ticks=157089 tps=100 nb_sec=1570
case_no=131 label=Case6.119 nb_sol=0 ticks=195064 tps=100 nb_sec=1950
case_no=131 label=Case6.119 nb_sol=0 ticks=116727 tps=100 nb_sec=1167
case_no=131 label=Case6.119 nb_sol=0 ticks=104641 tps=100 nb_sec=1046
case_no=131 label=Case6.119 nb_sol=0 ticks=133160 tps=100 nb_sec=1331
case_no=131 label=Case6.119 nb_sol=0 ticks=121587 tps=100 nb_sec=1215
case_no=131 label=Case6.119 nb_sol=0 ticks=137627 tps=100 nb_sec=1376
case_no=131 label=Case6.119 nb_sol=0 ticks=151601 tps=100 nb_sec=1516
case_no=131 label=Case6.119 nb_sol=0 ticks=148690 tps=100 nb_sec=1486
case_no=131 label=Case6.119 nb_sol=0 ticks=100147 tps=100 nb_sec=1001
case_no=131 label=Case6.119 nb_sol=0 ticks=114295 tps=100 nb_sec=1142
case_no=131 label=Case6.119 nb_sol=0 ticks=93805 tps=100 nb_sec=938
case_no=131 label=Case6.119 nb_sol=0 ticks=102234 tps=100 nb_sec=1022
case_no=131 label=Case6.119 nb_sol=0 ticks=102143 tps=100 nb_sec=1021
case_no=131 label=Case6.119 nb_sol=0 ticks=173709 tps=100 nb_sec=1737
case_no=131 label=Case6.119 nb_sol=0 ticks=132379 tps=100 nb_sec=1323
case_no=131 label=Case6.119 nb_sol=0 ticks=114698 tps=100 nb_sec=1146
case_no=131 label=Case6.119 nb_sol=0 ticks=117200 tps=100 nb_sec=1172
case_no=131 label=Case6.119 nb_sol=0 ticks=131709 tps=100 nb_sec=1317
case_no=131 label=Case6.119 nb_sol=0 ticks=140471 tps=100 nb_sec=1404
case_no=131 label=Case6.119 nb_sol=0 ticks=111593 tps=100 nb_sec=1115
case_no=131 label=Case6.119 nb_sol=0 ticks=128132 tps=100 nb_sec=1281
case_no=131 label=Case6.119 nb_sol=0 ticks=94404 tps=100 nb_sec=944
case_no=131 label=Case6.119 nb_sol=0 ticks=102868 tps=100 nb_sec=1028
case_no=131 label=Case6.119 nb_sol=0 ticks=105514 tps=100 nb_sec=1055
case_no=131 label=Case6.119 nb_sol=0 ticks=121179 tps=100 nb_sec=1211
case_no=131 label=Case6.119 nb_sol=0 ticks=114241 tps=100 nb_sec=1142
case_no=131 label=Case6.119 nb_sol=0 ticks=116607 tps=100 nb_sec=1166
case_no=131 label=Case6.119 nb_sol=0 ticks=114872 tps=100 nb_sec=1148
case_no=131 label=Case6.119 nb_sol=0 ticks=147437 tps=100 nb_sec=1474
case_no=131 label=Case6.119 nb_sol=0 ticks=115827 tps=100 nb_sec=1158
case_no=131 label=Case6.119 nb_sol=0 ticks=126334 tps=100 nb_sec=1263
case_no=131 label=Case6.119 nb_sol=0 ticks=145402 tps=100 nb_sec=1454
case_no=131 label=Case6.119 nb_sol=0 ticks=88105 tps=100 nb_sec=881
case_no=131 label=Case6.119 nb_sol=0 ticks=126082 tps=100 nb_sec=1260
case_no=131 label=Case6.119 nb_sol=0 ticks=103415 tps=100 nb_sec=1034
case_no=131 label=Case6.119 nb_sol=0 ticks=132816 tps=100 nb_sec=1328
case_no=131 label=Case6.119 nb_sol=0 ticks=112224 tps=100 nb_sec=1122
case_no=131 label=Case6.119 nb_sol=0 ticks=111983 tps=100 nb_sec=1119
case_no=131 label=Case6.119 nb_sol=0 ticks=117502 tps=100 nb_sec=1175
case_no=131 label=Case6.119 nb_sol=0 ticks=173258 tps=100 nb_sec=1732
case_no=131 label=Case6.119 nb_sol=0 ticks=165175 tps=100 nb_sec=1651
case_no=131 label=Case6.119 nb_sol=0 ticks=134990 tps=100 nb_sec=1349
case_no=131 label=Case6.119 nb_sol=0 ticks=127226 tps=100 nb_sec=1272
case_no=131 label=Case6.119 nb_sol=0 ticks=109453 tps=100 nb_sec=1094
case_no=131 label=Case6.119 nb_sol=0 ticks=117819 tps=100 nb_sec=1178
case_no=131 label=Case6.119 nb_sol=0 ticks=190648 tps=100 nb_sec=1906
case_no=131 label=Case6.119 nb_sol=0 ticks=118882 tps=100 nb_sec=1188
case_no=131 label=Case6.119 nb_sol=0 ticks=106223 tps=100 nb_sec=1062
case_no=131 label=Case6.119 nb_sol=0 ticks=168093 tps=100 nb_sec=1680
case_no=131 label=Case6.119 nb_sol=0 ticks=98391 tps=100 nb_sec=983
case_no=131 label=Case6.119 nb_sol=0 ticks=196792 tps=100 nb_sec=1967
case_no=131 label=Case6.119 nb_sol=0 ticks=132046 tps=100 nb_sec=1320
case_no=131 label=Case6.119 nb_sol=0 ticks=131876 tps=100 nb_sec=1318
case_no=131 label=Case6.119 nb_sol=0 ticks=116761 tps=100 nb_sec=1167
case_no=131 label=Case6.119 nb_sol=0 ticks=131672 tps=100 nb_sec=1316
case_no=131 label=Case6.119 nb_sol=0 ticks=132026 tps=100 nb_sec=1320
case_no=131 label=Case6.119 nb_sol=0 ticks=115526 tps=100 nb_sec=1155
case_no=131 label=Case6.119 nb_sol=0 ticks=101894 tps=100 nb_sec=1018
case_no=131 label=Case6.119 nb_sol=0 ticks=135634 tps=100 nb_sec=1356
case_no=131 label=Case6.119 nb_sol=0 ticks=141014 tps=100 nb_sec=1410
case_no=131 label=Case6.119 nb_sol=0 ticks=122070 tps=100 nb_sec=1220
case_no=131 label=Case6.119 nb_sol=0 ticks=134946 tps=100 nb_sec=1349
case_no=131 label=Case6.119 nb_sol=0 ticks=120625 tps=100 nb_sec=1206
case_no=131 label=Case6.119 nb_sol=0 ticks=145508 tps=100 nb_sec=1455
case_no=131 label=Case6.119 nb_sol=0 ticks=112338 tps=100 nb_sec=1123
case_no=131 label=Case6.119 nb_sol=0 ticks=105232 tps=100 nb_sec=1052
case_no=131 label=Case6.119 nb_sol=0 ticks=121916 tps=100 nb_sec=1219
case_no=131 label=Case6.119 nb_sol=0 ticks=81174 tps=100 nb_sec=811
case_no=131 label=Case6.119 nb_sol=0 ticks=119998 tps=100 nb_sec=1199
case_no=131 label=Case6.119 nb_sol=0 ticks=156030 tps=100 nb_sec=1560
case_no=131 label=Case6.119 nb_sol=0 ticks=100379 tps=100 nb_sec=1003
case_no=131 label=Case6.119 nb_sol=0 ticks=97798 tps=100 nb_sec=977
case_no=131 label=Case6.119 nb_sol=0 ticks=124335 tps=100 nb_sec=1243
case_no=131 label=Case6.119 nb_sol=0 ticks=134669 tps=100 nb_sec=1346
case_no=131 label=Case6.119 nb_sol=0 ticks=111453 tps=100 nb_sec=1114
case_no=131 label=Case6.119 nb_sol=0 ticks=119650 tps=100 nb_sec=1196
case_no=131 label=Case6.119 nb_sol=0 ticks=110609 tps=100 nb_sec=1106
case_no=131 label=Case6.119 nb_sol=0 ticks=144255 tps=100 nb_sec=1442
case_no=131 label=Case6.119 nb_sol=0 ticks=125601 tps=100 nb_sec=1256
case_no=131 label=Case6.119 nb_sol=0 ticks=95346 tps=100 nb_sec=953
case_no=131 label=Case6.119 nb_sol=0 ticks=102855 tps=100 nb_sec=1028
case_no=131 label=Case6.119 nb_sol=0 ticks=142915 tps=100 nb_sec=1429
case_no=131 label=Case6.119 nb_sol=0 ticks=126045 tps=100 nb_sec=1260
case_no=131 label=Case6.119 nb_sol=0 ticks=113169 tps=100 nb_sec=1131
case_no=131 label=Case6.119 nb_sol=0 ticks=80833 tps=100 nb_sec=808
case_no=131 label=Case6.119 nb_sol=0 ticks=91855 tps=100 nb_sec=918
case_no=131 label=Case6.119 nb_sol=0 ticks=107582 tps=100 nb_sec=1075
case_no=131 label=Case6.119 nb_sol=0 ticks=100879 tps=100 nb_sec=1008
case_no=131 label=Case6.119 nb_sol=0 ticks=116009 tps=100 nb_sec=1160
case_no=131 label=Case6.119 nb_sol=0 ticks=113267 tps=100 nb_sec=1132
case_no=131 label=Case6.119 nb_sol=0 ticks=99028 tps=100 nb_sec=990
case_no=131 label=Case6.119 nb_sol=0 ticks=117876 tps=100 nb_sec=1178
case_no=131 label=Case6.119 nb_sol=0 ticks=127379 tps=100 nb_sec=1273
case_no=131 label=Case6.119 nb_sol=0 ticks=100868 tps=100 nb_sec=1008
case_no=131 label=Case6.119 nb_sol=0 ticks=104067 tps=100 nb_sec=1040
case_no=131 label=Case6.119 nb_sol=0 ticks=96031 tps=100 nb_sec=960
case_no=131 label=Case6.119 nb_sol=0 ticks=118873 tps=100 nb_sec=1188
case_no=131 label=Case6.119 nb_sol=0 ticks=135677 tps=100 nb_sec=1356
case_no=131 label=Case6.119 nb_sol=0 ticks=122308 tps=100 nb_sec=1223
case_no=131 label=Case6.119 nb_sol=0 ticks=105426 tps=100 nb_sec=1054
case_no=131 label=Case6.119 nb_sol=0 ticks=99602 tps=100 nb_sec=996
case_no=131 label=Case6.119 nb_sol=0 ticks=123390 tps=100 nb_sec=1233
case_no=131 label=Case6.119 nb_sol=0 ticks=103556 tps=100 nb_sec=1035
case_no=131 label=Case6.119 nb_sol=0 ticks=98952 tps=100 nb_sec=989
case_no=131 label=Case6.119 nb_sol=0 ticks=110239 tps=100 nb_sec=1102
case_no=131 label=Case6.119 nb_sol=0 ticks=98021 tps=100 nb_sec=980
case_no=131 label=Case6.119 nb_sol=0 ticks=110103 tps=100 nb_sec=1101
case_no=131 label=Case6.119 nb_sol=0 ticks=86015 tps=100 nb_sec=860
case_no=131 label=Case6.119 nb_sol=0 ticks=97243 tps=100 nb_sec=972
case_no=131 label=Case6.119 nb_sol=0 ticks=82329 tps=100 nb_sec=823
case_no=131 label=Case6.119 nb_sol=0 ticks=119074 tps=100 nb_sec=1190
case_no=131 label=Case6.119 nb_sol=0 ticks=112774 tps=100 nb_sec=1127
case_no=131 label=Case6.119 nb_sol=0 ticks=118525 tps=100 nb_sec=1185
case_no=131 label=Case6.119 nb_sol=0 ticks=126671 tps=100 nb_sec=1266
case_no=131 label=Case6.119 nb_sol=0 ticks=98920 tps=100 nb_sec=989
case_no=131 label=Case6.119 nb_sol=0 ticks=127662 tps=100 nb_sec=1276
case_no=131 label=Case6.119 nb_sol=0 ticks=115709 tps=100 nb_sec=1157
case_no=131 label=Case6.119 nb_sol=0 ticks=143422 tps=100 nb_sec=1434
case_no=131 label=Case6.119 nb_sol=0 ticks=114617 tps=100 nb_sec=1146
case_no=131 label=Case6.119 nb_sol=0 ticks=105748 tps=100 nb_sec=1057
case_no=131 label=Case6.119 nb_sol=0 ticks=119080 tps=100 nb_sec=1190
case_no=131 label=Case6.119 nb_sol=0 ticks=103044 tps=100 nb_sec=1030
case_no=131 label=Case6.119 nb_sol=0 ticks=104309 tps=100 nb_sec=1043
case_no=131 label=Case6.119 nb_sol=0 ticks=86464 tps=100 nb_sec=864
case_no=131 label=Case6.119 nb_sol=0 ticks=83984 tps=100 nb_sec=839
case_no=131 label=Case6.119 nb_sol=0 ticks=99218 tps=100 nb_sec=992
case_no=131 label=Case6.119 nb_sol=0 ticks=123525 tps=100 nb_sec=1235
case_no=131 label=Case6.119 nb_sol=0 ticks=110012 tps=100 nb_sec=1100
case_no=131 label=Case6.119 nb_sol=0 ticks=107284 tps=100 nb_sec=1072
case_no=131 label=Case6.119 nb_sol=0 ticks=100045 tps=100 nb_sec=1000
case_no=131 label=Case6.119 nb_sol=0 ticks=133098 tps=100 nb_sec=1330
case_no=131 label=Case6.119 nb_sol=0 ticks=126218 tps=100 nb_sec=1262
case_no=131 label=Case6.119 nb_sol=0 ticks=93923 tps=100 nb_sec=939
case_no=131 label=Case6.119 nb_sol=0 ticks=125127 tps=100 nb_sec=1251
case_no=131 label=Case6.119 nb_sol=0 ticks=115643 tps=100 nb_sec=1156
case_no=131 label=Case6.119 nb_sol=0 ticks=128309 tps=100 nb_sec=1283
case_no=131 label=Case6.119 nb_sol=0 ticks=146240 tps=100 nb_sec=1462
case_no=131 label=Case6.119 nb_sol=0 ticks=92939 tps=100 nb_sec=929
case_no=131 label=Case6.119 nb_sol=0 ticks=86187 tps=100 nb_sec=861
case_no=131 label=Case6.119 nb_sol=0 ticks=98097 tps=100 nb_sec=980
case_no=131 label=Case6.119 nb_sol=0 ticks=121820 tps=100 nb_sec=1218
case_no=131 label=Case6.119 nb_sol=0 ticks=106321 tps=100 nb_sec=1063
case_no=131 label=Case6.119 nb_sol=0 ticks=142572 tps=100 nb_sec=1425
case_no=131 label=Case6.119 nb_sol=0 ticks=98489 tps=100 nb_sec=984
case_no=131 label=Case6.119 nb_sol=0 ticks=122176 tps=100 nb_sec=1221
case_no=131 label=Case6.119 nb_sol=0 ticks=113610 tps=100 nb_sec=1136
case_no=131 label=Case6.119 nb_sol=0 ticks=105445 tps=100 nb_sec=1054
case_no=131 label=Case6.119 nb_sol=0 ticks=92999 tps=100 nb_sec=929
case_no=131 label=Case6.119 nb_sol=0 ticks=99316 tps=100 nb_sec=993
case_no=131 label=Case6.119 nb_sol=0 ticks=79724 tps=100 nb_sec=797
case_no=131 label=Case6.119 nb_sol=0 ticks=140022 tps=100 nb_sec=1400
case_no=131 label=Case6.119 nb_sol=0 ticks=79460 tps=100 nb_sec=794
case_no=131 label=Case6.119 nb_sol=0 ticks=128831 tps=100 nb_sec=1288
case_no=131 label=Case6.119 nb_sol=0 ticks=58727 tps=100 nb_sec=587
case_no=131 label=Case6.119 nb_sol=0 ticks=119510 tps=100 nb_sec=1195
case_no=131 label=Case6.119 nb_sol=0 ticks=145953 tps=100 nb_sec=1459
case_no=131 label=Case6.119 nb_sol=0 ticks=120767 tps=100 nb_sec=1207
case_no=131 label=Case6.119 nb_sol=0 ticks=119089 tps=100 nb_sec=1190
case_no=131 label=Case6.119 nb_sol=0 ticks=133783 tps=100 nb_sec=1337
case_no=131 label=Case6.119 nb_sol=0 ticks=124782 tps=100 nb_sec=1247
case_no=131 label=Case6.119 nb_sol=0 ticks=70297 tps=100 nb_sec=702
case_no=131 label=Case6.119 nb_sol=0 ticks=63179 tps=100 nb_sec=631
case_no=131 label=Case6.119 nb_sol=0 ticks=103309 tps=100 nb_sec=1033
case_no=131 label=Case6.119 nb_sol=0 ticks=68517 tps=100 nb_sec=685
case_no=131 label=Case6.119 nb_sol=0 ticks=91807 tps=100 nb_sec=918
case_no=131 label=Case6.119 nb_sol=0 ticks=96775 tps=100 nb_sec=967
case_no=131 label=Case6.119 nb_sol=0 ticks=74361 tps=100 nb_sec=743
case_no=131 label=Case6.119 nb_sol=0 ticks=100875 tps=100 nb_sec=1008
case_no=131 label=Case6.119 nb_sol=0 ticks=99172 tps=100 nb_sec=991
case_no=131 label=Case6.119 nb_sol=0 ticks=92467 tps=100 nb_sec=924
case_no=131 label=Case6.119 nb_sol=0 ticks=57284 tps=100 nb_sec=572
case_no=131 label=Case6.119 nb_sol=0 ticks=57017 tps=100 nb_sec=570
case_no=131 label=Case6.119 nb_sol=0 ticks=87758 tps=100 nb_sec=877
case_no=131 label=Case6.119 nb_sol=0 ticks=60676 tps=100 nb_sec=606
case_no=131 label=Case6.119 nb_sol=0 ticks=96230 tps=100 nb_sec=962
case_no=131 label=Case6.119 nb_sol=0 ticks=59311 tps=100 nb_sec=593
case_no=131 label=Case6.119 nb_sol=0 ticks=58371 tps=100 nb_sec=583
case_no=131 label=Case6.119 nb_sol=0 ticks=57515 tps=100 nb_sec=575
case_no=131 label=Case6.119 nb_sol=0 ticks=94712 tps=100 nb_sec=947
case_no=131 label=Case6.119 nb_sol=0 ticks=88616 tps=100 nb_sec=886
case_no=131 label=Case6.119 nb_sol=0 ticks=93661 tps=100 nb_sec=936
case_no=131 label=Case6.119 nb_sol=0 ticks=81122 tps=100 nb_sec=811
case_no=131 label=Case6.119 nb_sol=0 ticks=84446 tps=100 nb_sec=844
case_no=131 label=Case6.119 nb_sol=0 ticks=95834 tps=100 nb_sec=958
case_no=131 label=Case6.119 nb_sol=0 ticks=79833 tps=100 nb_sec=798
case_no=131 label=Case6.119 nb_sol=0 ticks=54801 tps=100 nb_sec=548
case_no=131 label=Case6.119 nb_sol=0 ticks=81030 tps=100 nb_sec=810
case_no=131 label=Case6.119 nb_sol=0 ticks=111296 tps=100 nb_sec=1112
case_no=131 label=Case6.119 nb_sol=0 ticks=100013 tps=100 nb_sec=1000
case_no=131 label=Case6.119 nb_sol=0 ticks=87919 tps=100 nb_sec=879
case_no=131 label=Case6.119 nb_sol=0 ticks=66855 tps=100 nb_sec=668
case_no=131 label=Case6.119 nb_sol=0 ticks=116141 tps=100 nb_sec=1161
case_no=131 label=Case6.119 nb_sol=0 ticks=86774 tps=100 nb_sec=867
case_no=131 label=Case6.119 nb_sol=0 ticks=111102 tps=100 nb_sec=1111
case_no=131 label=Case6.119 nb_sol=0 ticks=91613 tps=100 nb_sec=916
case_no=131 label=Case6.119 nb_sol=0 ticks=82341 tps=100 nb_sec=823
case_no=131 label=Case6.119 nb_sol=0 ticks=82268 tps=100 nb_sec=822
case_no=131 label=Case6.119 nb_sol=0 ticks=86090 tps=100 nb_sec=860
case_no=131 label=Case6.119 nb_sol=0 ticks=95933 tps=100 nb_sec=959
case_no=131 label=Case6.119 nb_sol=0 ticks=69694 tps=100 nb_sec=696
case_no=131 label=Case6.119 nb_sol=0 ticks=86247 tps=100 nb_sec=862
case_no=131 label=Case6.119 nb_sol=0 ticks=84728 tps=100 nb_sec=847
case_no=131 label=Case6.119 nb_sol=0 ticks=78425 tps=100 nb_sec=784
case_no=131 label=Case6.119 nb_sol=0 ticks=93605 tps=100 nb_sec=936
case_no=131 label=Case6.119 nb_sol=0 ticks=90941 tps=100 nb_sec=909
case_no=131 label=Case6.119 nb_sol=0 ticks=60763 tps=100 nb_sec=607
case_no=131 label=Case6.119 nb_sol=0 ticks=123258 tps=100 nb_sec=1232
case_no=131 label=Case6.119 nb_sol=0 ticks=89507 tps=100 nb_sec=895
case_no=131 label=Case6.119 nb_sol=0 ticks=160262 tps=100 nb_sec=1602
case_no=131 label=Case6.119 nb_sol=0 ticks=92482 tps=100 nb_sec=924
case_no=131 label=Case6.119 nb_sol=0 ticks=89436 tps=100 nb_sec=894
case_no=131 label=Case6.119 nb_sol=0 ticks=96469 tps=100 nb_sec=964
case_no=131 label=Case6.119 nb_sol=0 ticks=112082 tps=100 nb_sec=1120
case_no=131 label=Case6.119 nb_sol=0 ticks=91764 tps=100 nb_sec=917
case_no=131 label=Case6.119 nb_sol=0 ticks=110634 tps=100 nb_sec=1106
case_no=131 label=Case6.119 nb_sol=0 ticks=84212 tps=100 nb_sec=842
case_no=131 label=Case6.119 nb_sol=0 ticks=101945 tps=100 nb_sec=1019
case_no=131 label=Case6.119 nb_sol=0 ticks=131452 tps=100 nb_sec=1314
case_no=131 label=Case6.119 nb_sol=0 ticks=102690 tps=100 nb_sec=1026
case_no=131 label=Case6.119 nb_sol=0 ticks=104355 tps=100 nb_sec=1043
case_no=131 label=Case6.119 nb_sol=0 ticks=111345 tps=100 nb_sec=1113
case_no=131 label=Case6.119 nb_sol=0 ticks=116304 tps=100 nb_sec=1163
case_no=131 label=Case6.119 nb_sol=0 ticks=122029 tps=100 nb_sec=1220
case_no=131 label=Case6.119 nb_sol=0 ticks=104090 tps=100 nb_sec=1040
case_no=131 label=Case6.119 nb_sol=0 ticks=108954 tps=100 nb_sec=1089
case_no=131 label=Case6.119 nb_sol=0 ticks=86061 tps=100 nb_sec=860
case_no=131 label=Case6.119 nb_sol=0 ticks=79568 tps=100 nb_sec=795
case_no=131 label=Case6.119 nb_sol=0 ticks=93813 tps=100 nb_sec=938
case_no=131 label=Case6.119 nb_sol=0 ticks=93287 tps=100 nb_sec=932
case_no=131 label=Case6.119 nb_sol=0 ticks=66531 tps=100 nb_sec=665
case_no=131 label=Case6.119 nb_sol=0 ticks=85916 tps=100 nb_sec=859
case_no=131 label=Case6.119 nb_sol=0 ticks=110966 tps=100 nb_sec=1109
case_no=131 label=Case6.119 nb_sol=0 ticks=142201 tps=100 nb_sec=1422
case_no=131 label=Case6.119 nb_sol=0 ticks=105980 tps=100 nb_sec=1059
case_no=131 label=Case6.119 nb_sol=0 ticks=101385 tps=100 nb_sec=1013
case_no=131 label=Case6.119 nb_sol=0 ticks=130994 tps=100 nb_sec=1309
case_no=131 label=Case6.119 nb_sol=0 ticks=112735 tps=100 nb_sec=1127
case_no=131 label=Case6.119 nb_sol=0 ticks=128178 tps=100 nb_sec=1281
case_no=131 label=Case6.119 nb_sol=0 ticks=66857 tps=100 nb_sec=668
case_no=131 label=Case6.119 nb_sol=0 ticks=110435 tps=100 nb_sec=1104
case_no=131 label=Case6.119 nb_sol=0 ticks=73946 tps=100 nb_sec=739
case_no=131 label=Case6.119 nb_sol=0 ticks=82319 tps=100 nb_sec=823
case_no=131 label=Case6.119 nb_sol=0 ticks=97448 tps=100 nb_sec=974
case_no=131 label=Case6.119 nb_sol=0 ticks=60466 tps=100 nb_sec=604
case_no=131 label=Case6.119 nb_sol=0 ticks=52185 tps=100 nb_sec=521
case_no=131 label=Case6.119 nb_sol=0 ticks=85322 tps=100 nb_sec=853
case_no=131 label=Case6.119 nb_sol=0 ticks=104191 tps=100 nb_sec=1041
case_no=131 label=Case6.119 nb_sol=0 ticks=87979 tps=100 nb_sec=879
case_no=131 label=Case6.119 nb_sol=0 ticks=82206 tps=100 nb_sec=822
case_no=131 label=Case6.119 nb_sol=0 ticks=122791 tps=100 nb_sec=1227
case_no=131 label=Case6.119 nb_sol=0 ticks=104684 tps=100 nb_sec=1046
case_no=131 label=Case6.119 nb_sol=0 ticks=148517 tps=100 nb_sec=1485
case_no=131 label=Case6.119 nb_sol=0 ticks=113962 tps=100 nb_sec=1139
case_no=131 label=Case6.119 nb_sol=0 ticks=94265 tps=100 nb_sec=942
case_no=131 label=Case6.119 nb_sol=0 ticks=102577 tps=100 nb_sec=1025
case_no=131 label=Case6.119 nb_sol=0 ticks=118214 tps=100 nb_sec=1182
case_no=131 label=Case6.119 nb_sol=0 ticks=81381 tps=100 nb_sec=813
case_no=131 label=Case6.119 nb_sol=0 ticks=118938 tps=100 nb_sec=1189
case_no=131 label=Case6.119 nb_sol=0 ticks=105907 tps=100 nb_sec=1059
case_no=131 label=Case6.119 nb_sol=0 ticks=90337 tps=100 nb_sec=903
case_no=131 label=Case6.119 nb_sol=0 ticks=119152 tps=100 nb_sec=1191
case_no=131 label=Case6.119 nb_sol=0 ticks=86094 tps=100 nb_sec=860
case_no=131 label=Case6.119 nb_sol=0 ticks=107900 tps=100 nb_sec=1079
case_no=131 label=Case6.119 nb_sol=0 ticks=112689 tps=100 nb_sec=1126
case_no=131 label=Case6.119 nb_sol=0 ticks=106502 tps=100 nb_sec=1065
case_no=131 label=Case6.119 nb_sol=0 ticks=97505 tps=100 nb_sec=975
case_no=131 label=Case6.119 nb_sol=0 ticks=73037 tps=100 nb_sec=730
case_no=131 label=Case6.119 nb_sol=0 ticks=84664 tps=100 nb_sec=846
case_no=131 label=Case6.119 nb_sol=0 ticks=71691 tps=100 nb_sec=716
case_no=131 label=Case6.119 nb_sol=0 ticks=88914 tps=100 nb_sec=889
case_no=131 label=Case6.119 nb_sol=0 ticks=115112 tps=100 nb_sec=1151
case_no=131 label=Case6.119 nb_sol=0 ticks=93396 tps=100 nb_sec=933
case_no=131 label=Case6.119 nb_sol=0 ticks=88095 tps=100 nb_sec=880
case_no=131 label=Case6.119 nb_sol=0 ticks=88169 tps=100 nb_sec=881
case_no=131 label=Case6.119 nb_sol=0 ticks=59315 tps=100 nb_sec=593
case_no=131 label=Case6.119 nb_sol=0 ticks=91451 tps=100 nb_sec=914
case_no=131 label=Case6.119 nb_sol=0 ticks=76679 tps=100 nb_sec=766
case_no=131 label=Case6.119 nb_sol=0 ticks=114825 tps=100 nb_sec=1148
case_no=131 label=Case6.119 nb_sol=0 ticks=101139 tps=100 nb_sec=1011
case_no=131 label=Case6.119 nb_sol=0 ticks=65503 tps=100 nb_sec=655
case_no=131 label=Case6.119 nb_sol=0 ticks=92470 tps=100 nb_sec=924
case_no=131 label=Case6.119 nb_sol=0 ticks=72555 tps=100 nb_sec=725
case_no=131 label=Case6.119 nb_sol=0 ticks=117583 tps=100 nb_sec=1175
case_no=131 label=Case6.119 nb_sol=0 ticks=56475 tps=100 nb_sec=564
case_no=131 label=Case6.119 nb_sol=0 ticks=112577 tps=100 nb_sec=1125
case_no=131 label=Case6.119 nb_sol=0 ticks=186418 tps=100 nb_sec=1864
case_no=131 label=Case6.119 nb_sol=0 ticks=82573 tps=100 nb_sec=825
case_no=131 label=Case6.119 nb_sol=0 ticks=66165 tps=100 nb_sec=661
case_no=131 label=Case6.119 nb_sol=0 ticks=86222 tps=100 nb_sec=862
case_no=131 label=Case6.119 nb_sol=0 ticks=85768 tps=100 nb_sec=857
case_no=131 label=Case6.119 nb_sol=0 ticks=81810 tps=100 nb_sec=818
case_no=131 label=Case6.119 nb_sol=0 ticks=101289 tps=100 nb_sec=1012
case_no=131 label=Case6.119 nb_sol=0 ticks=93344 tps=100 nb_sec=933
case_no=131 label=Case6.119 nb_sol=0 ticks=78950 tps=100 nb_sec=789
case_no=131 label=Case6.119 nb_sol=0 ticks=82192 tps=100 nb_sec=821
case_no=131 label=Case6.119 nb_sol=0 ticks=95283 tps=100 nb_sec=952
case_no=131 label=Case6.119 nb_sol=0 ticks=82821 tps=100 nb_sec=828
case_no=131 label=Case6.119 nb_sol=0 ticks=77312 tps=100 nb_sec=773
case_no=131 label=Case6.119 nb_sol=0 ticks=107480 tps=100 nb_sec=1074
case_no=131 label=Case6.119 nb_sol=0 ticks=142779 tps=100 nb_sec=1427
case_no=131 label=Case6.119 nb_sol=0 ticks=85870 tps=100 nb_sec=858
case_no=131 label=Case6.119 nb_sol=0 ticks=74862 tps=100 nb_sec=748
case_no=131 label=Case6.119 nb_sol=0 ticks=85595 tps=100 nb_sec=855
case_no=131 label=Case6.119 nb_sol=0 ticks=90520 tps=100 nb_sec=905
case_no=131 label=Case6.119 nb_sol=0 ticks=101383 tps=100 nb_sec=1013
case_no=131 label=Case6.119 nb_sol=0 ticks=80227 tps=100 nb_sec=802
case_no=131 label=Case6.119 nb_sol=0 ticks=46483 tps=100 nb_sec=464
case_no=131 label=Case6.119 nb_sol=0 ticks=108549 tps=100 nb_sec=1085
case_no=131 label=Case6.119 nb_sol=0 ticks=97532 tps=100 nb_sec=975
case_no=131 label=Case6.119 nb_sol=0 ticks=85867 tps=100 nb_sec=858
case_no=131 label=Case6.119 nb_sol=0 ticks=50277 tps=100 nb_sec=502
case_no=131 label=Case6.119 nb_sol=0 ticks=76970 tps=100 nb_sec=769
case_no=131 label=Case6.119 nb_sol=0 ticks=106033 tps=100 nb_sec=1060
case_no=131 label=Case6.119 nb_sol=0 ticks=84426 tps=100 nb_sec=844
case_no=131 label=Case6.119 nb_sol=0 ticks=82544 tps=100 nb_sec=825
case_no=131 label=Case6.119 nb_sol=0 ticks=87786 tps=100 nb_sec=877
case_no=131 label=Case6.119 nb_sol=0 ticks=64981 tps=100 nb_sec=649
case_no=131 label=Case6.119 nb_sol=0 ticks=78056 tps=100 nb_sec=780
case_no=131 label=Case6.119 nb_sol=0 ticks=76686 tps=100 nb_sec=766
case_no=131 label=Case6.119 nb_sol=0 ticks=84351 tps=100 nb_sec=843
case_no=131 label=Case6.119 nb_sol=0 ticks=79321 tps=100 nb_sec=793
case_no=131 label=Case6.119 nb_sol=0 ticks=86292 tps=100 nb_sec=862
case_no=131 label=Case6.119 nb_sol=0 ticks=90553 tps=100 nb_sec=905
case_no=131 label=Case6.119 nb_sol=0 ticks=54360 tps=100 nb_sec=543
case_no=131 label=Case6.119 nb_sol=0 ticks=95111 tps=100 nb_sec=951
case_no=131 label=Case6.119 nb_sol=0 ticks=85758 tps=100 nb_sec=857
case_no=131 label=Case6.119 nb_sol=0 ticks=98986 tps=100 nb_sec=989
case_no=131 label=Case6.119 nb_sol=0 ticks=81830 tps=100 nb_sec=818
case_no=131 label=Case6.119 nb_sol=0 ticks=69471 tps=100 nb_sec=694
case_no=131 label=Case6.119 nb_sol=0 ticks=80453 tps=100 nb_sec=804
case_no=131 label=Case6.119 nb_sol=0 ticks=64431 tps=100 nb_sec=644
case_no=131 label=Case6.119 nb_sol=0 ticks=50841 tps=100 nb_sec=508
case_no=131 label=Case6.119 nb_sol=0 ticks=140115 tps=100 nb_sec=1401
case_no=131 label=Case6.119 nb_sol=0 ticks=53854 tps=100 nb_sec=538
case_no=131 label=Case6.119 nb_sol=0 ticks=105859 tps=100 nb_sec=1058
case_no=131 label=Case6.119 nb_sol=0 ticks=98366 tps=100 nb_sec=983
case_no=131 label=Case6.119 nb_sol=0 ticks=75455 tps=100 nb_sec=754
case_no=131 label=Case6.119 nb_sol=0 ticks=75029 tps=100 nb_sec=750
case_no=131 label=Case6.119 nb_sol=0 ticks=45974 tps=100 nb_sec=459
case_no=131 label=Case6.119 nb_sol=0 ticks=66404 tps=100 nb_sec=664
case_no=131 label=Case6.119 nb_sol=0 ticks=102892 tps=100 nb_sec=1028
case_no=131 label=Case6.119 nb_sol=0 ticks=70840 tps=100 nb_sec=708
case_no=131 label=Case6.119 nb_sol=0 ticks=97721 tps=100 nb_sec=977
case_no=131 label=Case6.119 nb_sol=0 ticks=77215 tps=100 nb_sec=772
case_no=131 label=Case6.119 nb_sol=0 ticks=49738 tps=100 nb_sec=497
case_no=131 label=Case6.119 nb_sol=0 ticks=98539 tps=100 nb_sec=985
case_no=131 label=Case6.119 nb_sol=0 ticks=47777 tps=100 nb_sec=477
case_no=131 label=Case6.119 nb_sol=0 ticks=101362 tps=100 nb_sec=1013
case_no=131 label=Case6.119 nb_sol=0 ticks=98871 tps=100 nb_sec=988
case_no=131 label=Case6.119 nb_sol=0 ticks=52509 tps=100 nb_sec=525
case_no=131 label=Case6.119 nb_sol=0 ticks=154388 tps=100 nb_sec=1543
case_no=131 label=Case6.119 nb_sol=0 ticks=51911 tps=100 nb_sec=519
case_no=131 label=Case6.119 nb_sol=0 ticks=102381 tps=100 nb_sec=1023
case_no=131 label=Case6.119 nb_sol=0 ticks=54121 tps=100 nb_sec=541
case_no=131 label=Case6.119 nb_sol=0 ticks=130866 tps=100 nb_sec=1308
case_no=131 label=Case6.119 nb_sol=0 ticks=88427 tps=100 nb_sec=884
case_no=131 label=Case6.119 nb_sol=0 ticks=56920 tps=100 nb_sec=569
case_no=131 label=Case6.119 nb_sol=0 ticks=97239 tps=100 nb_sec=972
case_no=131 label=Case6.119 nb_sol=0 ticks=90757 tps=100 nb_sec=907
case_no=131 label=Case6.119 nb_sol=0 ticks=46945 tps=100 nb_sec=469
case_no=131 label=Case6.119 nb_sol=0 ticks=156652 tps=100 nb_sec=1566
case_no=131 label=Case6.119 nb_sol=0 ticks=50728 tps=100 nb_sec=507
case_no=131 label=Case6.119 nb_sol=0 ticks=145499 tps=100 nb_sec=1454
case_no=131 label=Case6.119 nb_sol=0 ticks=59933 tps=100 nb_sec=599
case_no=131 label=Case6.119 nb_sol=0 ticks=91730 tps=100 nb_sec=917
case_no=131 label=Case6.119 nb_sol=0 ticks=89258 tps=100 nb_sec=892
case_no=131 label=Case6.119 nb_sol=0 ticks=53119 tps=100 nb_sec=531
case_no=131 label=Case6.119 nb_sol=0 ticks=182673 tps=100 nb_sec=1826
case_no=131 label=Case6.119 nb_sol=0 ticks=73859 tps=100 nb_sec=738
case_no=131 label=Case6.119 nb_sol=0 ticks=70917 tps=100 nb_sec=709
case_no=131 label=Case6.119 nb_sol=0 ticks=120456 tps=100 nb_sec=1204
case_no=131 label=Case6.119 nb_sol=0 ticks=95123 tps=100 nb_sec=951
case_no=131 label=Case6.119 nb_sol=0 ticks=60567 tps=100 nb_sec=605
case_no=131 label=Case6.119 nb_sol=0 ticks=79366 tps=100 nb_sec=793
case_no=131 label=Case6.119 nb_sol=0 ticks=90267 tps=100 nb_sec=902
case_no=131 label=Case6.119 nb_sol=0 ticks=52704 tps=100 nb_sec=527
case_no=131 label=Case6.119 nb_sol=0 ticks=66963 tps=100 nb_sec=669
case_no=131 label=Case6.119 nb_sol=0 ticks=98741 tps=100 nb_sec=987
case_no=131 label=Case6.119 nb_sol=0 ticks=92663 tps=100 nb_sec=926
case_no=131 label=Case6.119 nb_sol=0 ticks=114079 tps=100 nb_sec=1140
case_no=131 label=Case6.119 nb_sol=0 ticks=93742 tps=100 nb_sec=937
case_no=131 label=Case6.119 nb_sol=0 ticks=95287 tps=100 nb_sec=952
case_no=131 label=Case6.119 nb_sol=0 ticks=56001 tps=100 nb_sec=560
case_no=131 label=Case6.119 nb_sol=0 ticks=86869 tps=100 nb_sec=868
case_no=131 label=Case6.119 nb_sol=0 ticks=75823 tps=100 nb_sec=758
case_no=131 label=Case6.119 nb_sol=0 ticks=91038 tps=100 nb_sec=910
case_no=131 label=Case6.119 nb_sol=0 ticks=78312 tps=100 nb_sec=783
case_no=131 label=Case6.119 nb_sol=0 ticks=96443 tps=100 nb_sec=964
case_no=131 label=Case6.119 nb_sol=0 ticks=84843 tps=100 nb_sec=848
case_no=131 label=Case6.119 nb_sol=0 ticks=87577 tps=100 nb_sec=875
case_no=131 label=Case6.119 nb_sol=0 ticks=59616 tps=100 nb_sec=596
case_no=131 label=Case6.119 nb_sol=0 ticks=91253 tps=100 nb_sec=912
case_no=131 label=Case6.119 nb_sol=0 ticks=94957 tps=100 nb_sec=949
case_no=131 label=Case6.119 nb_sol=0 ticks=84967 tps=100 nb_sec=849
case_no=131 label=Case6.119 nb_sol=0 ticks=84943 tps=100 nb_sec=849
case_no=131 label=Case6.119 nb_sol=0 ticks=92063 tps=100 nb_sec=920
case_no=131 label=Case6.119 nb_sol=0 ticks=84616 tps=100 nb_sec=846
case_no=131 label=Case6.119 nb_sol=0 ticks=96313 tps=100 nb_sec=963
case_no=131 label=Case6.119 nb_sol=0 ticks=132984 tps=100 nb_sec=1329
case_no=131 label=Case6.119 nb_sol=0 ticks=63449 tps=100 nb_sec=634
case_no=131 label=Case6.119 nb_sol=0 ticks=100572 tps=100 nb_sec=1005
case_no=131 label=Case6.119 nb_sol=0 ticks=144887 tps=100 nb_sec=1448
case_no=131 label=Case6.119 nb_sol=0 ticks=87956 tps=100 nb_sec=879
case_no=131 label=Case6.119 nb_sol=0 ticks=97577 tps=100 nb_sec=975
case_no=131 label=Case6.119 nb_sol=0 ticks=64501 tps=100 nb_sec=645
case_no=131 label=Case6.119 nb_sol=0 ticks=98843 tps=100 nb_sec=988
case_no=131 label=Case6.119 nb_sol=0 ticks=88750 tps=100 nb_sec=887
case_no=131 label=Case6.119 nb_sol=0 ticks=112597 tps=100 nb_sec=1125
case_no=131 label=Case6.119 nb_sol=0 ticks=106736 tps=100 nb_sec=1067
case_no=131 label=Case6.119 nb_sol=0 ticks=88334 tps=100 nb_sec=883
case_no=131 label=Case6.119 nb_sol=0 ticks=118864 tps=100 nb_sec=1188
case_no=131 label=Case6.119 nb_sol=0 ticks=103610 tps=100 nb_sec=1036
case_no=131 label=Case6.119 nb_sol=0 ticks=79946 tps=100 nb_sec=799
case_no=131 label=Case6.119 nb_sol=0 ticks=69664 tps=100 nb_sec=696
case_no=131 label=Case6.119 nb_sol=0 ticks=110907 tps=100 nb_sec=1109
case_no=131 label=Case6.119 nb_sol=0 ticks=81044 tps=100 nb_sec=810
case_no=131 label=Case6.119 nb_sol=0 ticks=89970 tps=100 nb_sec=899
case_no=131 label=Case6.119 nb_sol=0 ticks=48362 tps=100 nb_sec=483
case_no=131 label=Case6.119 nb_sol=0 ticks=56807 tps=100 nb_sec=568
case_no=131 label=Case6.119 nb_sol=0 ticks=117980 tps=100 nb_sec=1179
case_no=131 label=Case6.119 nb_sol=0 ticks=118193 tps=100 nb_sec=1181
case_no=131 label=Case6.119 nb_sol=0 ticks=95672 tps=100 nb_sec=956
case_no=131 label=Case6.119 nb_sol=0 ticks=48547 tps=100 nb_sec=485
case_no=131 label=Case6.119 nb_sol=0 ticks=100741 tps=100 nb_sec=1007
case_no=131 label=Case6.119 nb_sol=0 ticks=55516 tps=100 nb_sec=555
case_no=131 label=Case6.119 nb_sol=0 ticks=101561 tps=100 nb_sec=1015
case_no=131 label=Case6.119 nb_sol=0 ticks=85872 tps=100 nb_sec=858
case_no=131 label=Case6.119 nb_sol=0 ticks=74670 tps=100 nb_sec=746
case_no=131 label=Case6.119 nb_sol=0 ticks=117265 tps=100 nb_sec=1172
case_no=131 label=Case6.119 nb_sol=0 ticks=52869 tps=100 nb_sec=528
case_no=131 label=Case6.119 nb_sol=0 ticks=63848 tps=100 nb_sec=638
case_no=131 label=Case6.119 nb_sol=0 ticks=76180 tps=100 nb_sec=761
case_no=131 label=Case6.119 nb_sol=0 ticks=108936 tps=100 nb_sec=1089
case_no=131 label=Case6.119 nb_sol=0 ticks=151096 tps=100 nb_sec=1510
case_no=131 label=Case6.119 nb_sol=0 ticks=60844 tps=100 nb_sec=608
case_no=131 label=Case6.119 nb_sol=0 ticks=70444 tps=100 nb_sec=704
case_no=131 label=Case6.119 nb_sol=0 ticks=89351 tps=100 nb_sec=893
case_no=131 label=Case6.119 nb_sol=0 ticks=76245 tps=100 nb_sec=762
case_no=131 label=Case6.119 nb_sol=0 ticks=63332 tps=100 nb_sec=633
case_no=131 label=Case6.119 nb_sol=0 ticks=105404 tps=100 nb_sec=1054
case_no=131 label=Case6.119 nb_sol=0 ticks=132241 tps=100 nb_sec=1322
case_no=131 label=Case6.119 nb_sol=0 ticks=86793 tps=100 nb_sec=867
case_no=131 label=Case6.119 nb_sol=0 ticks=55226 tps=100 nb_sec=552
case_no=131 label=Case6.119 nb_sol=0 ticks=92204 tps=100 nb_sec=922
case_no=131 label=Case6.119 nb_sol=0 ticks=61506 tps=100 nb_sec=615
case_no=131 label=Case6.119 nb_sol=0 ticks=145988 tps=100 nb_sec=1459
case_no=131 label=Case6.119 nb_sol=0 ticks=117022 tps=100 nb_sec=1170
case_no=131 label=Case6.119 nb_sol=0 ticks=75142 tps=100 nb_sec=751
case_no=131 label=Case6.119 nb_sol=0 ticks=108410 tps=100 nb_sec=1084
case_no=131 label=Case6.119 nb_sol=0 ticks=111478 tps=100 nb_sec=1114
case_no=131 label=Case6.119 nb_sol=0 ticks=95844 tps=100 nb_sec=958
case_no=131 label=Case6.119 nb_sol=0 ticks=52810 tps=100 nb_sec=528
case_no=131 label=Case6.119 nb_sol=0 ticks=105826 tps=100 nb_sec=1058
case_no=131 label=Case6.119 nb_sol=0 ticks=83550 tps=100 nb_sec=835
case_no=131 label=Case6.119 nb_sol=0 ticks=88132 tps=100 nb_sec=881
case_no=131 label=Case6.119 nb_sol=0 ticks=87750 tps=100 nb_sec=877
case_no=131 label=Case6.119 nb_sol=0 ticks=63613 tps=100 nb_sec=636
case_no=131 label=Case6.119 nb_sol=0 ticks=91139 tps=100 nb_sec=911
case_no=131 label=Case6.119 nb_sol=0 ticks=69515 tps=100 nb_sec=695
case_no=131 label=Case6.119 nb_sol=0 ticks=118714 tps=100 nb_sec=1187
case_no=131 label=Case6.119 nb_sol=0 ticks=79676 tps=100 nb_sec=796
case_no=131 label=Case6.119 nb_sol=0 ticks=76864 tps=100 nb_sec=768
case_no=131 label=Case6.119 nb_sol=0 ticks=91033 tps=100 nb_sec=910
case_no=131 label=Case6.119 nb_sol=0 ticks=91874 tps=100 nb_sec=918
case_no=131 label=Case6.119 nb_sol=0 ticks=95568 tps=100 nb_sec=955
case_no=131 label=Case6.119 nb_sol=0 ticks=84718 tps=100 nb_sec=847
case_no=131 label=Case6.119 nb_sol=0 ticks=80140 tps=100 nb_sec=801
case_no=131 label=Case6.119 nb_sol=0 ticks=76391 tps=100 nb_sec=763
case_no=131 label=Case6.119 nb_sol=0 ticks=76556 tps=100 nb_sec=765
case_no=131 label=Case6.119 nb_sol=0 ticks=86931 tps=100 nb_sec=869
case_no=131 label=Case6.119 nb_sol=0 ticks=93348 tps=100 nb_sec=933
case_no=131 label=Case6.119 nb_sol=0 ticks=84834 tps=100 nb_sec=848
case_no=131 label=Case6.119 nb_sol=0 ticks=68234 tps=100 nb_sec=682
case_no=131 label=Case6.119 nb_sol=0 ticks=108990 tps=100 nb_sec=1089
case_no=131 label=Case6.119 nb_sol=0 ticks=67886 tps=100 nb_sec=678
case_no=131 label=Case6.119 nb_sol=0 ticks=94367 tps=100 nb_sec=943
case_no=131 label=Case6.119 nb_sol=0 ticks=93440 tps=100 nb_sec=934
case_no=131 label=Case6.119 nb_sol=0 ticks=91415 tps=100 nb_sec=914
case_no=131 label=Case6.119 nb_sol=0 ticks=55958 tps=100 nb_sec=559
case_no=131 label=Case6.119 nb_sol=0 ticks=60595 tps=100 nb_sec=605
case_no=131 label=Case6.119 nb_sol=0 ticks=81465 tps=100 nb_sec=814
case_no=131 label=Case6.119 nb_sol=0 ticks=83053 tps=100 nb_sec=830
case_no=131 label=Case6.119 nb_sol=0 ticks=73692 tps=100 nb_sec=736
case_no=131 label=Case6.119 nb_sol=0 ticks=104141 tps=100 nb_sec=1041
case_no=131 label=Case6.119 nb_sol=0 ticks=117628 tps=100 nb_sec=1176
case_no=131 label=Case6.119 nb_sol=0 ticks=103641 tps=100 nb_sec=1036
case_no=131 label=Case6.119 nb_sol=0 ticks=71576 tps=100 nb_sec=715
case_no=131 label=Case6.119 nb_sol=0 ticks=111420 tps=100 nb_sec=1114
case_no=131 label=Case6.119 nb_sol=0 ticks=71682 tps=100 nb_sec=716
case_no=131 label=Case6.119 nb_sol=0 ticks=106306 tps=100 nb_sec=1063
case_no=131 label=Case6.119 nb_sol=0 ticks=129921 tps=100 nb_sec=1299
case_no=131 label=Case6.119 nb_sol=0 ticks=88011 tps=100 nb_sec=880
case_no=131 label=Case6.119 nb_sol=0 ticks=95269 tps=100 nb_sec=952
case_no=131 label=Case6.119 nb_sol=0 ticks=102323 tps=100 nb_sec=1023
case_no=131 label=Case6.119 nb_sol=0 ticks=92107 tps=100 nb_sec=921
case_no=131 label=Case6.119 nb_sol=0 ticks=78349 tps=100 nb_sec=783
case_no=131 label=Case6.119 nb_sol=0 ticks=69926 tps=100 nb_sec=699
case_no=131 label=Case6.119 nb_sol=0 ticks=83781 tps=100 nb_sec=837
case_no=131 label=Case6.119 nb_sol=0 ticks=107115 tps=100 nb_sec=1071
case_no=131 label=Case6.119 nb_sol=0 ticks=88189 tps=100 nb_sec=881
case_no=131 label=Case6.119 nb_sol=0 ticks=99273 tps=100 nb_sec=992
case_no=131 label=Case6.119 nb_sol=0 ticks=100036 tps=100 nb_sec=1000
case_no=131 label=Case6.119 nb_sol=0 ticks=102905 tps=100 nb_sec=1029
case_no=131 label=Case6.119 nb_sol=0 ticks=84582 tps=100 nb_sec=845
case_no=131 label=Case6.119 nb_sol=0 ticks=68183 tps=100 nb_sec=681
case_no=131 label=Case6.119 nb_sol=0 ticks=96491 tps=100 nb_sec=964
case_no=131 label=Case6.119 nb_sol=0 ticks=82335 tps=100 nb_sec=823
case_no=131 label=Case6.119 nb_sol=0 ticks=80255 tps=100 nb_sec=802
case_no=131 label=Case6.119 nb_sol=0 ticks=108497 tps=100 nb_sec=1084
case_no=131 label=Case6.119 nb_sol=0 ticks=98118 tps=100 nb_sec=981
case_no=131 label=Case6.119 nb_sol=0 ticks=98988 tps=100 nb_sec=989
case_no=131 label=Case6.119 nb_sol=0 ticks=67266 tps=100 nb_sec=672
case_no=131 label=Case6.119 nb_sol=0 ticks=89202 tps=100 nb_sec=892
case_no=131 label=Case6.119 nb_sol=0 ticks=90338 tps=100 nb_sec=903
case_no=131 label=Case6.119 nb_sol=0 ticks=47948 tps=100 nb_sec=479
case_no=131 label=Case6.119 nb_sol=0 ticks=67624 tps=100 nb_sec=676
case_no=131 label=Case6.119 nb_sol=0 ticks=75431 tps=100 nb_sec=754
case_no=131 label=Case6.119 nb_sol=0 ticks=72705 tps=100 nb_sec=727
case_no=131 label=Case6.119 nb_sol=0 ticks=91174 tps=100 nb_sec=911
case_no=131 label=Case6.119 nb_sol=0 ticks=102894 tps=100 nb_sec=1028
case_no=131 label=Case6.119 nb_sol=0 ticks=106678 tps=100 nb_sec=1066
case_no=131 label=Case6.119 nb_sol=0 ticks=74937 tps=100 nb_sec=749
case_no=131 label=Case6.119 nb_sol=0 ticks=133022 tps=100 nb_sec=1330
case_no=131 label=Case6.119 nb_sol=0 ticks=111571 tps=100 nb_sec=1115
case_no=131 label=Case6.119 nb_sol=0 ticks=58557 tps=100 nb_sec=585
case_no=131 label=Case6.119 nb_sol=0 ticks=99514 tps=100 nb_sec=995
case_no=131 label=Case6.119 nb_sol=0 ticks=92313 tps=100 nb_sec=923
case_no=131 label=Case6.119 nb_sol=0 ticks=110992 tps=100 nb_sec=1109
case_no=131 label=Case6.119 nb_sol=0 ticks=115134 tps=100 nb_sec=1151
case_no=131 label=Case6.119 nb_sol=0 ticks=104098 tps=100 nb_sec=1040
case_no=131 label=Case6.119 nb_sol=0 ticks=66632 tps=100 nb_sec=666
case_no=131 label=Case6.119 nb_sol=0 ticks=68419 tps=100 nb_sec=684
case_no=131 label=Case6.119 nb_sol=0 ticks=110687 tps=100 nb_sec=1106
case_no=131 label=Case6.119 nb_sol=0 ticks=73998 tps=100 nb_sec=739
case_no=131 label=Case6.119 nb_sol=0 ticks=82596 tps=100 nb_sec=825
case_no=131 label=Case6.119 nb_sol=0 ticks=85999 tps=100 nb_sec=859
case_no=131 label=Case6.119 nb_sol=0 ticks=52679 tps=100 nb_sec=526
case_no=131 label=Case6.119 nb_sol=0 ticks=77628 tps=100 nb_sec=776
case_no=131 label=Case6.119 nb_sol=0 ticks=95542 tps=100 nb_sec=955
case_no=131 label=Case6.119 nb_sol=0 ticks=64330 tps=100 nb_sec=643
case_no=131 label=Case6.119 nb_sol=0 ticks=64080 tps=100 nb_sec=640
case_no=131 label=Case6.119 nb_sol=0 ticks=86573 tps=100 nb_sec=865
case_no=131 label=Case6.119 nb_sol=0 ticks=94451 tps=100 nb_sec=944
case_no=131 label=Case6.119 nb_sol=0 ticks=54508 tps=100 nb_sec=545
case_no=131 label=Case6.119 nb_sol=0 ticks=73615 tps=100 nb_sec=736
case_no=131 label=Case6.119 nb_sol=0 ticks=97395 tps=100 nb_sec=973
case_no=131 label=Case6.119 nb_sol=0 ticks=89370 tps=100 nb_sec=893
case_no=131 label=Case6.119 nb_sol=0 ticks=81582 tps=100 nb_sec=815
case_no=131 label=Case6.119 nb_sol=0 ticks=83227 tps=100 nb_sec=832
case_no=131 label=Case6.119 nb_sol=0 ticks=75707 tps=100 nb_sec=757
case_no=131 label=Case6.119 nb_sol=0 ticks=90749 tps=100 nb_sec=907
case_no=131 label=Case6.119 nb_sol=0 ticks=92094 tps=100 nb_sec=920
Nb_sol=0
Nb_sec=1106611
12-19:23:31 or 307 hours
missing cases:
none