argc=5
-M 512
file2=30_select_Case6.160_starter_15_
checking files mod 512 from 0 to 511
case_no=172 label=Case6.160 nb_sol=0 ticks=653051 tps=100 nb_sec=6530
case_no=172 label=Case6.160 nb_sol=0 ticks=626940 tps=100 nb_sec=6269
case_no=172 label=Case6.160 nb_sol=0 ticks=1614070 tps=100 nb_sec=16140
case_no=172 label=Case6.160 nb_sol=0 ticks=1101875 tps=100 nb_sec=11018
case_no=172 label=Case6.160 nb_sol=0 ticks=1536400 tps=100 nb_sec=15364
case_no=172 label=Case6.160 nb_sol=0 ticks=583555 tps=100 nb_sec=5835
case_no=172 label=Case6.160 nb_sol=0 ticks=659998 tps=100 nb_sec=6599
case_no=172 label=Case6.160 nb_sol=0 ticks=1181301 tps=100 nb_sec=11813
case_no=172 label=Case6.160 nb_sol=0 ticks=873825 tps=100 nb_sec=8738
case_no=172 label=Case6.160 nb_sol=0 ticks=642861 tps=100 nb_sec=6428
case_no=172 label=Case6.160 nb_sol=0 ticks=1794589 tps=100 nb_sec=17945
case_no=172 label=Case6.160 nb_sol=0 ticks=1273057 tps=100 nb_sec=12730
case_no=172 label=Case6.160 nb_sol=0 ticks=769076 tps=100 nb_sec=7690
case_no=172 label=Case6.160 nb_sol=0 ticks=687468 tps=100 nb_sec=6874
case_no=172 label=Case6.160 nb_sol=0 ticks=873429 tps=100 nb_sec=8734
case_no=172 label=Case6.160 nb_sol=0 ticks=1377046 tps=100 nb_sec=13770
case_no=172 label=Case6.160 nb_sol=0 ticks=1479413 tps=100 nb_sec=14794
case_no=172 label=Case6.160 nb_sol=0 ticks=824274 tps=100 nb_sec=8242
case_no=172 label=Case6.160 nb_sol=0 ticks=1121787 tps=100 nb_sec=11217
case_no=172 label=Case6.160 nb_sol=0 ticks=600863 tps=100 nb_sec=6008
case_no=172 label=Case6.160 nb_sol=0 ticks=1245720 tps=100 nb_sec=12457
case_no=172 label=Case6.160 nb_sol=0 ticks=1708955 tps=100 nb_sec=17089
case_no=172 label=Case6.160 nb_sol=0 ticks=1120523 tps=100 nb_sec=11205
case_no=172 label=Case6.160 nb_sol=0 ticks=798960 tps=100 nb_sec=7989
case_no=172 label=Case6.160 nb_sol=0 ticks=1672404 tps=100 nb_sec=16724
case_no=172 label=Case6.160 nb_sol=0 ticks=1335635 tps=100 nb_sec=13356
case_no=172 label=Case6.160 nb_sol=0 ticks=1583195 tps=100 nb_sec=15831
case_no=172 label=Case6.160 nb_sol=0 ticks=1279471 tps=100 nb_sec=12794
case_no=172 label=Case6.160 nb_sol=0 ticks=1651808 tps=100 nb_sec=16518
case_no=172 label=Case6.160 nb_sol=0 ticks=1515062 tps=100 nb_sec=15150
case_no=172 label=Case6.160 nb_sol=0 ticks=857472 tps=100 nb_sec=8574
case_no=172 label=Case6.160 nb_sol=0 ticks=767904 tps=100 nb_sec=7679
case_no=172 label=Case6.160 nb_sol=0 ticks=1369970 tps=100 nb_sec=13699
case_no=172 label=Case6.160 nb_sol=0 ticks=1437327 tps=100 nb_sec=14373
case_no=172 label=Case6.160 nb_sol=0 ticks=679483 tps=100 nb_sec=6794
case_no=172 label=Case6.160 nb_sol=0 ticks=1295953 tps=100 nb_sec=12959
case_no=172 label=Case6.160 nb_sol=0 ticks=1402997 tps=100 nb_sec=14029
case_no=172 label=Case6.160 nb_sol=0 ticks=971273 tps=100 nb_sec=9712
case_no=172 label=Case6.160 nb_sol=0 ticks=1611481 tps=100 nb_sec=16114
case_no=172 label=Case6.160 nb_sol=0 ticks=1399066 tps=100 nb_sec=13990
case_no=172 label=Case6.160 nb_sol=0 ticks=1502638 tps=100 nb_sec=15026
case_no=172 label=Case6.160 nb_sol=0 ticks=1362824 tps=100 nb_sec=13628
case_no=172 label=Case6.160 nb_sol=0 ticks=732626 tps=100 nb_sec=7326
case_no=172 label=Case6.160 nb_sol=0 ticks=1169330 tps=100 nb_sec=11693
case_no=172 label=Case6.160 nb_sol=0 ticks=1443754 tps=100 nb_sec=14437
case_no=172 label=Case6.160 nb_sol=0 ticks=837678 tps=100 nb_sec=8376
case_no=172 label=Case6.160 nb_sol=0 ticks=1205946 tps=100 nb_sec=12059
case_no=172 label=Case6.160 nb_sol=0 ticks=851959 tps=100 nb_sec=8519
case_no=172 label=Case6.160 nb_sol=0 ticks=1609177 tps=100 nb_sec=16091
case_no=172 label=Case6.160 nb_sol=0 ticks=1215071 tps=100 nb_sec=12150
case_no=172 label=Case6.160 nb_sol=0 ticks=1003242 tps=100 nb_sec=10032
case_no=172 label=Case6.160 nb_sol=0 ticks=970207 tps=100 nb_sec=9702
case_no=172 label=Case6.160 nb_sol=0 ticks=1106836 tps=100 nb_sec=11068
case_no=172 label=Case6.160 nb_sol=0 ticks=744202 tps=100 nb_sec=7442
case_no=172 label=Case6.160 nb_sol=0 ticks=1145119 tps=100 nb_sec=11451
case_no=172 label=Case6.160 nb_sol=0 ticks=813671 tps=100 nb_sec=8136
case_no=172 label=Case6.160 nb_sol=0 ticks=1070650 tps=100 nb_sec=10706
case_no=172 label=Case6.160 nb_sol=0 ticks=1050640 tps=100 nb_sec=10506
case_no=172 label=Case6.160 nb_sol=0 ticks=712553 tps=100 nb_sec=7125
case_no=172 label=Case6.160 nb_sol=0 ticks=1149797 tps=100 nb_sec=11497
case_no=172 label=Case6.160 nb_sol=0 ticks=1195023 tps=100 nb_sec=11950
case_no=172 label=Case6.160 nb_sol=0 ticks=1172105 tps=100 nb_sec=11721
case_no=172 label=Case6.160 nb_sol=0 ticks=600981 tps=100 nb_sec=6009
case_no=172 label=Case6.160 nb_sol=0 ticks=682889 tps=100 nb_sec=6828
case_no=172 label=Case6.160 nb_sol=0 ticks=1399224 tps=100 nb_sec=13992
case_no=172 label=Case6.160 nb_sol=0 ticks=1260874 tps=100 nb_sec=12608
case_no=172 label=Case6.160 nb_sol=0 ticks=1030775 tps=100 nb_sec=10307
case_no=172 label=Case6.160 nb_sol=0 ticks=1460945 tps=100 nb_sec=14609
case_no=172 label=Case6.160 nb_sol=0 ticks=1526031 tps=100 nb_sec=15260
case_no=172 label=Case6.160 nb_sol=0 ticks=1147470 tps=100 nb_sec=11474
case_no=172 label=Case6.160 nb_sol=0 ticks=1394949 tps=100 nb_sec=13949
case_no=172 label=Case6.160 nb_sol=0 ticks=1208040 tps=100 nb_sec=12080
case_no=172 label=Case6.160 nb_sol=0 ticks=794164 tps=100 nb_sec=7941
case_no=172 label=Case6.160 nb_sol=0 ticks=875089 tps=100 nb_sec=8750
case_no=172 label=Case6.160 nb_sol=0 ticks=1218296 tps=100 nb_sec=12182
case_no=172 label=Case6.160 nb_sol=0 ticks=737339 tps=100 nb_sec=7373
case_no=172 label=Case6.160 nb_sol=0 ticks=1655131 tps=100 nb_sec=16551
case_no=172 label=Case6.160 nb_sol=0 ticks=1644853 tps=100 nb_sec=16448
case_no=172 label=Case6.160 nb_sol=0 ticks=1074259 tps=100 nb_sec=10742
case_no=172 label=Case6.160 nb_sol=0 ticks=1482391 tps=100 nb_sec=14823
case_no=172 label=Case6.160 nb_sol=0 ticks=1707487 tps=100 nb_sec=17074
case_no=172 label=Case6.160 nb_sol=0 ticks=732327 tps=100 nb_sec=7323
case_no=172 label=Case6.160 nb_sol=0 ticks=802623 tps=100 nb_sec=8026
case_no=172 label=Case6.160 nb_sol=0 ticks=1429463 tps=100 nb_sec=14294
case_no=172 label=Case6.160 nb_sol=0 ticks=1519966 tps=100 nb_sec=15199
case_no=172 label=Case6.160 nb_sol=0 ticks=1436280 tps=100 nb_sec=14362
case_no=172 label=Case6.160 nb_sol=0 ticks=921973 tps=100 nb_sec=9219
case_no=172 label=Case6.160 nb_sol=0 ticks=1082873 tps=100 nb_sec=10828
case_no=172 label=Case6.160 nb_sol=0 ticks=1763536 tps=100 nb_sec=17635
case_no=172 label=Case6.160 nb_sol=0 ticks=1582017 tps=100 nb_sec=15820
case_no=172 label=Case6.160 nb_sol=0 ticks=1083677 tps=100 nb_sec=10836
case_no=172 label=Case6.160 nb_sol=0 ticks=807998 tps=100 nb_sec=8079
case_no=172 label=Case6.160 nb_sol=0 ticks=1194521 tps=100 nb_sec=11945
case_no=172 label=Case6.160 nb_sol=0 ticks=884564 tps=100 nb_sec=8845
case_no=172 label=Case6.160 nb_sol=0 ticks=1754293 tps=100 nb_sec=17542
case_no=172 label=Case6.160 nb_sol=0 ticks=1192368 tps=100 nb_sec=11923
case_no=172 label=Case6.160 nb_sol=0 ticks=793271 tps=100 nb_sec=7932
case_no=172 label=Case6.160 nb_sol=0 ticks=1206465 tps=100 nb_sec=12064
case_no=172 label=Case6.160 nb_sol=0 ticks=1281975 tps=100 nb_sec=12819
case_no=172 label=Case6.160 nb_sol=0 ticks=1278117 tps=100 nb_sec=12781
case_no=172 label=Case6.160 nb_sol=0 ticks=1420802 tps=100 nb_sec=14208
case_no=172 label=Case6.160 nb_sol=0 ticks=788563 tps=100 nb_sec=7885
case_no=172 label=Case6.160 nb_sol=0 ticks=730337 tps=100 nb_sec=7303
case_no=172 label=Case6.160 nb_sol=0 ticks=1366411 tps=100 nb_sec=13664
case_no=172 label=Case6.160 nb_sol=0 ticks=1366374 tps=100 nb_sec=13663
case_no=172 label=Case6.160 nb_sol=0 ticks=1505281 tps=100 nb_sec=15052
case_no=172 label=Case6.160 nb_sol=0 ticks=1485533 tps=100 nb_sec=14855
case_no=172 label=Case6.160 nb_sol=0 ticks=1678663 tps=100 nb_sec=16786
case_no=172 label=Case6.160 nb_sol=0 ticks=925743 tps=100 nb_sec=9257
case_no=172 label=Case6.160 nb_sol=0 ticks=784743 tps=100 nb_sec=7847
case_no=172 label=Case6.160 nb_sol=0 ticks=1337566 tps=100 nb_sec=13375
case_no=172 label=Case6.160 nb_sol=0 ticks=775418 tps=100 nb_sec=7754
case_no=172 label=Case6.160 nb_sol=0 ticks=1155607 tps=100 nb_sec=11556
case_no=172 label=Case6.160 nb_sol=0 ticks=857303 tps=100 nb_sec=8573
case_no=172 label=Case6.160 nb_sol=0 ticks=1318395 tps=100 nb_sec=13183
case_no=172 label=Case6.160 nb_sol=0 ticks=635090 tps=100 nb_sec=6350
case_no=172 label=Case6.160 nb_sol=0 ticks=1473264 tps=100 nb_sec=14732
case_no=172 label=Case6.160 nb_sol=0 ticks=1005106 tps=100 nb_sec=10051
case_no=172 label=Case6.160 nb_sol=0 ticks=1395134 tps=100 nb_sec=13951
case_no=172 label=Case6.160 nb_sol=0 ticks=827816 tps=100 nb_sec=8278
case_no=172 label=Case6.160 nb_sol=0 ticks=1496736 tps=100 nb_sec=14967
case_no=172 label=Case6.160 nb_sol=0 ticks=1282303 tps=100 nb_sec=12823
case_no=172 label=Case6.160 nb_sol=0 ticks=830756 tps=100 nb_sec=8307
case_no=172 label=Case6.160 nb_sol=0 ticks=1552543 tps=100 nb_sec=15525
case_no=172 label=Case6.160 nb_sol=0 ticks=820447 tps=100 nb_sec=8204
case_no=172 label=Case6.160 nb_sol=0 ticks=1349077 tps=100 nb_sec=13490
case_no=172 label=Case6.160 nb_sol=0 ticks=797707 tps=100 nb_sec=7977
case_no=172 label=Case6.160 nb_sol=0 ticks=1419606 tps=100 nb_sec=14196
case_no=172 label=Case6.160 nb_sol=0 ticks=1429375 tps=100 nb_sec=14293
case_no=172 label=Case6.160 nb_sol=0 ticks=1495864 tps=100 nb_sec=14958
case_no=172 label=Case6.160 nb_sol=0 ticks=1541522 tps=100 nb_sec=15415
case_no=172 label=Case6.160 nb_sol=0 ticks=703774 tps=100 nb_sec=7037
case_no=172 label=Case6.160 nb_sol=0 ticks=1034055 tps=100 nb_sec=10340
case_no=172 label=Case6.160 nb_sol=0 ticks=974053 tps=100 nb_sec=9740
case_no=172 label=Case6.160 nb_sol=0 ticks=968145 tps=100 nb_sec=9681
case_no=172 label=Case6.160 nb_sol=0 ticks=1653021 tps=100 nb_sec=16530
case_no=172 label=Case6.160 nb_sol=0 ticks=1538427 tps=100 nb_sec=15384
case_no=172 label=Case6.160 nb_sol=0 ticks=655464 tps=100 nb_sec=6554
case_no=172 label=Case6.160 nb_sol=0 ticks=1571655 tps=100 nb_sec=15716
case_no=172 label=Case6.160 nb_sol=0 ticks=653214 tps=100 nb_sec=6532
case_no=172 label=Case6.160 nb_sol=0 ticks=1540725 tps=100 nb_sec=15407
case_no=172 label=Case6.160 nb_sol=0 ticks=1378317 tps=100 nb_sec=13783
case_no=172 label=Case6.160 nb_sol=0 ticks=1634651 tps=100 nb_sec=16346
case_no=172 label=Case6.160 nb_sol=0 ticks=1262977 tps=100 nb_sec=12629
case_no=172 label=Case6.160 nb_sol=0 ticks=1780735 tps=100 nb_sec=17807
case_no=172 label=Case6.160 nb_sol=0 ticks=707584 tps=100 nb_sec=7075
case_no=172 label=Case6.160 nb_sol=0 ticks=1043713 tps=100 nb_sec=10437
case_no=172 label=Case6.160 nb_sol=0 ticks=1190230 tps=100 nb_sec=11902
case_no=172 label=Case6.160 nb_sol=0 ticks=1533360 tps=100 nb_sec=15333
case_no=172 label=Case6.160 nb_sol=0 ticks=998123 tps=100 nb_sec=9981
case_no=172 label=Case6.160 nb_sol=0 ticks=1642188 tps=100 nb_sec=16421
case_no=172 label=Case6.160 nb_sol=0 ticks=1509988 tps=100 nb_sec=15099
case_no=172 label=Case6.160 nb_sol=0 ticks=1263384 tps=100 nb_sec=12633
case_no=172 label=Case6.160 nb_sol=0 ticks=1007532 tps=100 nb_sec=10075
case_no=172 label=Case6.160 nb_sol=0 ticks=1420232 tps=100 nb_sec=14202
case_no=172 label=Case6.160 nb_sol=0 ticks=1072776 tps=100 nb_sec=10727
case_no=172 label=Case6.160 nb_sol=0 ticks=1373971 tps=100 nb_sec=13739
case_no=172 label=Case6.160 nb_sol=0 ticks=1665121 tps=100 nb_sec=16651
case_no=172 label=Case6.160 nb_sol=0 ticks=1333637 tps=100 nb_sec=13336
case_no=172 label=Case6.160 nb_sol=0 ticks=1065004 tps=100 nb_sec=10650
case_no=172 label=Case6.160 nb_sol=0 ticks=1559989 tps=100 nb_sec=15599
case_no=172 label=Case6.160 nb_sol=0 ticks=1506313 tps=100 nb_sec=15063
case_no=172 label=Case6.160 nb_sol=0 ticks=1606353 tps=100 nb_sec=16063
case_no=172 label=Case6.160 nb_sol=0 ticks=976060 tps=100 nb_sec=9760
case_no=172 label=Case6.160 nb_sol=0 ticks=1352909 tps=100 nb_sec=13529
case_no=172 label=Case6.160 nb_sol=0 ticks=1390744 tps=100 nb_sec=13907
case_no=172 label=Case6.160 nb_sol=0 ticks=677018 tps=100 nb_sec=6770
case_no=172 label=Case6.160 nb_sol=0 ticks=1319096 tps=100 nb_sec=13190
case_no=172 label=Case6.160 nb_sol=0 ticks=1485076 tps=100 nb_sec=14850
case_no=172 label=Case6.160 nb_sol=0 ticks=1455952 tps=100 nb_sec=14559
case_no=172 label=Case6.160 nb_sol=0 ticks=898336 tps=100 nb_sec=8983
case_no=172 label=Case6.160 nb_sol=0 ticks=1635139 tps=100 nb_sec=16351
case_no=172 label=Case6.160 nb_sol=0 ticks=1448059 tps=100 nb_sec=14480
case_no=172 label=Case6.160 nb_sol=0 ticks=1821485 tps=100 nb_sec=18214
case_no=172 label=Case6.160 nb_sol=0 ticks=801982 tps=100 nb_sec=8019
case_no=172 label=Case6.160 nb_sol=0 ticks=1258450 tps=100 nb_sec=12584
case_no=172 label=Case6.160 nb_sol=0 ticks=1695002 tps=100 nb_sec=16950
case_no=172 label=Case6.160 nb_sol=0 ticks=1723712 tps=100 nb_sec=17237
case_no=172 label=Case6.160 nb_sol=0 ticks=1047095 tps=100 nb_sec=10470
case_no=172 label=Case6.160 nb_sol=0 ticks=1864760 tps=100 nb_sec=18647
case_no=172 label=Case6.160 nb_sol=0 ticks=1667793 tps=100 nb_sec=16677
case_no=172 label=Case6.160 nb_sol=0 ticks=1442640 tps=100 nb_sec=14426
case_no=172 label=Case6.160 nb_sol=0 ticks=1395340 tps=100 nb_sec=13953
case_no=172 label=Case6.160 nb_sol=0 ticks=1151706 tps=100 nb_sec=11517
case_no=172 label=Case6.160 nb_sol=0 ticks=1508529 tps=100 nb_sec=15085
case_no=172 label=Case6.160 nb_sol=0 ticks=1353505 tps=100 nb_sec=13535
case_no=172 label=Case6.160 nb_sol=0 ticks=1008268 tps=100 nb_sec=10082
case_no=172 label=Case6.160 nb_sol=0 ticks=1348746 tps=100 nb_sec=13487
case_no=172 label=Case6.160 nb_sol=0 ticks=1153712 tps=100 nb_sec=11537
case_no=172 label=Case6.160 nb_sol=0 ticks=1483503 tps=100 nb_sec=14835
case_no=172 label=Case6.160 nb_sol=0 ticks=1200871 tps=100 nb_sec=12008
case_no=172 label=Case6.160 nb_sol=0 ticks=979453 tps=100 nb_sec=9794
case_no=172 label=Case6.160 nb_sol=0 ticks=1346151 tps=100 nb_sec=13461
case_no=172 label=Case6.160 nb_sol=0 ticks=1440263 tps=100 nb_sec=14402
case_no=172 label=Case6.160 nb_sol=0 ticks=1276515 tps=100 nb_sec=12765
case_no=172 label=Case6.160 nb_sol=0 ticks=1021793 tps=100 nb_sec=10217
case_no=172 label=Case6.160 nb_sol=0 ticks=1367008 tps=100 nb_sec=13670
case_no=172 label=Case6.160 nb_sol=0 ticks=1244354 tps=100 nb_sec=12443
case_no=172 label=Case6.160 nb_sol=0 ticks=988461 tps=100 nb_sec=9884
case_no=172 label=Case6.160 nb_sol=0 ticks=611544 tps=100 nb_sec=6115
case_no=172 label=Case6.160 nb_sol=0 ticks=1013056 tps=100 nb_sec=10130
case_no=172 label=Case6.160 nb_sol=0 ticks=741136 tps=100 nb_sec=7411
case_no=172 label=Case6.160 nb_sol=0 ticks=1257054 tps=100 nb_sec=12570
case_no=172 label=Case6.160 nb_sol=0 ticks=1438713 tps=100 nb_sec=14387
case_no=172 label=Case6.160 nb_sol=0 ticks=674791 tps=100 nb_sec=6747
case_no=172 label=Case6.160 nb_sol=0 ticks=1204740 tps=100 nb_sec=12047
case_no=172 label=Case6.160 nb_sol=0 ticks=1258183 tps=100 nb_sec=12581
case_no=172 label=Case6.160 nb_sol=0 ticks=1377777 tps=100 nb_sec=13777
case_no=172 label=Case6.160 nb_sol=0 ticks=1111053 tps=100 nb_sec=11110
case_no=172 label=Case6.160 nb_sol=0 ticks=1384608 tps=100 nb_sec=13846
case_no=172 label=Case6.160 nb_sol=0 ticks=1402804 tps=100 nb_sec=14028
case_no=172 label=Case6.160 nb_sol=0 ticks=1314952 tps=100 nb_sec=13149
case_no=172 label=Case6.160 nb_sol=0 ticks=1266586 tps=100 nb_sec=12665
case_no=172 label=Case6.160 nb_sol=0 ticks=674694 tps=100 nb_sec=6746
case_no=172 label=Case6.160 nb_sol=0 ticks=1787161 tps=100 nb_sec=17871
case_no=172 label=Case6.160 nb_sol=0 ticks=856763 tps=100 nb_sec=8567
case_no=172 label=Case6.160 nb_sol=0 ticks=2080921 tps=100 nb_sec=20809
case_no=172 label=Case6.160 nb_sol=0 ticks=1162992 tps=100 nb_sec=11629
case_no=172 label=Case6.160 nb_sol=0 ticks=1375932 tps=100 nb_sec=13759
case_no=172 label=Case6.160 nb_sol=0 ticks=799307 tps=100 nb_sec=7993
case_no=172 label=Case6.160 nb_sol=0 ticks=1657539 tps=100 nb_sec=16575
case_no=172 label=Case6.160 nb_sol=0 ticks=1227462 tps=100 nb_sec=12274
case_no=172 label=Case6.160 nb_sol=0 ticks=1322257 tps=100 nb_sec=13222
case_no=172 label=Case6.160 nb_sol=0 ticks=1752564 tps=100 nb_sec=17525
case_no=172 label=Case6.160 nb_sol=0 ticks=1210086 tps=100 nb_sec=12100
case_no=172 label=Case6.160 nb_sol=0 ticks=1260908 tps=100 nb_sec=12609
case_no=172 label=Case6.160 nb_sol=0 ticks=1373478 tps=100 nb_sec=13734
case_no=172 label=Case6.160 nb_sol=0 ticks=863727 tps=100 nb_sec=8637
case_no=172 label=Case6.160 nb_sol=0 ticks=1265099 tps=100 nb_sec=12650
case_no=172 label=Case6.160 nb_sol=0 ticks=1225782 tps=100 nb_sec=12257
case_no=172 label=Case6.160 nb_sol=0 ticks=1323133 tps=100 nb_sec=13231
case_no=172 label=Case6.160 nb_sol=0 ticks=729053 tps=100 nb_sec=7290
case_no=172 label=Case6.160 nb_sol=0 ticks=1047912 tps=100 nb_sec=10479
case_no=172 label=Case6.160 nb_sol=0 ticks=718018 tps=100 nb_sec=7180
case_no=172 label=Case6.160 nb_sol=0 ticks=1373356 tps=100 nb_sec=13733
case_no=172 label=Case6.160 nb_sol=0 ticks=862445 tps=100 nb_sec=8624
case_no=172 label=Case6.160 nb_sol=0 ticks=1060801 tps=100 nb_sec=10608
case_no=172 label=Case6.160 nb_sol=0 ticks=1414166 tps=100 nb_sec=14141
case_no=172 label=Case6.160 nb_sol=0 ticks=1265221 tps=100 nb_sec=12652
case_no=172 label=Case6.160 nb_sol=0 ticks=824307 tps=100 nb_sec=8243
case_no=172 label=Case6.160 nb_sol=0 ticks=853238 tps=100 nb_sec=8532
case_no=172 label=Case6.160 nb_sol=0 ticks=1401784 tps=100 nb_sec=14017
case_no=172 label=Case6.160 nb_sol=0 ticks=712575 tps=100 nb_sec=7125
case_no=172 label=Case6.160 nb_sol=0 ticks=1213526 tps=100 nb_sec=12135
case_no=172 label=Case6.160 nb_sol=0 ticks=960924 tps=100 nb_sec=9609
case_no=172 label=Case6.160 nb_sol=0 ticks=993286 tps=100 nb_sec=9932
case_no=172 label=Case6.160 nb_sol=0 ticks=1224310 tps=100 nb_sec=12243
case_no=172 label=Case6.160 nb_sol=0 ticks=703866 tps=100 nb_sec=7038
case_no=172 label=Case6.160 nb_sol=0 ticks=1351071 tps=100 nb_sec=13510
case_no=172 label=Case6.160 nb_sol=0 ticks=819172 tps=100 nb_sec=8191
case_no=172 label=Case6.160 nb_sol=0 ticks=1025003 tps=100 nb_sec=10250
case_no=172 label=Case6.160 nb_sol=0 ticks=1701072 tps=100 nb_sec=17010
case_no=172 label=Case6.160 nb_sol=0 ticks=948364 tps=100 nb_sec=9483
case_no=172 label=Case6.160 nb_sol=0 ticks=981594 tps=100 nb_sec=9815
case_no=172 label=Case6.160 nb_sol=0 ticks=1519992 tps=100 nb_sec=15199
case_no=172 label=Case6.160 nb_sol=0 ticks=1346329 tps=100 nb_sec=13463
case_no=172 label=Case6.160 nb_sol=0 ticks=1235873 tps=100 nb_sec=12358
case_no=172 label=Case6.160 nb_sol=0 ticks=785195 tps=100 nb_sec=7851
case_no=172 label=Case6.160 nb_sol=0 ticks=1550726 tps=100 nb_sec=15507
case_no=172 label=Case6.160 nb_sol=0 ticks=649864 tps=100 nb_sec=6498
case_no=172 label=Case6.160 nb_sol=0 ticks=1658818 tps=100 nb_sec=16588
case_no=172 label=Case6.160 nb_sol=0 ticks=1246190 tps=100 nb_sec=12461
case_no=172 label=Case6.160 nb_sol=0 ticks=1012700 tps=100 nb_sec=10127
case_no=172 label=Case6.160 nb_sol=0 ticks=1338809 tps=100 nb_sec=13388
case_no=172 label=Case6.160 nb_sol=0 ticks=1035947 tps=100 nb_sec=10359
case_no=172 label=Case6.160 nb_sol=0 ticks=620993 tps=100 nb_sec=6209
case_no=172 label=Case6.160 nb_sol=0 ticks=1439196 tps=100 nb_sec=14391
case_no=172 label=Case6.160 nb_sol=0 ticks=1328405 tps=100 nb_sec=13284
case_no=172 label=Case6.160 nb_sol=0 ticks=945819 tps=100 nb_sec=9458
case_no=172 label=Case6.160 nb_sol=0 ticks=1430578 tps=100 nb_sec=14305
case_no=172 label=Case6.160 nb_sol=0 ticks=1454978 tps=100 nb_sec=14549
case_no=172 label=Case6.160 nb_sol=0 ticks=1348757 tps=100 nb_sec=13487
case_no=172 label=Case6.160 nb_sol=0 ticks=818565 tps=100 nb_sec=8185
case_no=172 label=Case6.160 nb_sol=0 ticks=1663113 tps=100 nb_sec=16631
case_no=172 label=Case6.160 nb_sol=0 ticks=703119 tps=100 nb_sec=7031
case_no=172 label=Case6.160 nb_sol=0 ticks=1424178 tps=100 nb_sec=14241
case_no=172 label=Case6.160 nb_sol=0 ticks=1118850 tps=100 nb_sec=11188
case_no=172 label=Case6.160 nb_sol=0 ticks=1362805 tps=100 nb_sec=13628
case_no=172 label=Case6.160 nb_sol=0 ticks=1689783 tps=100 nb_sec=16897
case_no=172 label=Case6.160 nb_sol=0 ticks=1439162 tps=100 nb_sec=14391
case_no=172 label=Case6.160 nb_sol=0 ticks=1141820 tps=100 nb_sec=11418
case_no=172 label=Case6.160 nb_sol=0 ticks=1330447 tps=100 nb_sec=13304
case_no=172 label=Case6.160 nb_sol=0 ticks=1423322 tps=100 nb_sec=14233
case_no=172 label=Case6.160 nb_sol=0 ticks=1383290 tps=100 nb_sec=13832
case_no=172 label=Case6.160 nb_sol=0 ticks=1438717 tps=100 nb_sec=14387
case_no=172 label=Case6.160 nb_sol=0 ticks=1574501 tps=100 nb_sec=15745
case_no=172 label=Case6.160 nb_sol=0 ticks=1450873 tps=100 nb_sec=14508
case_no=172 label=Case6.160 nb_sol=0 ticks=1299198 tps=100 nb_sec=12991
case_no=172 label=Case6.160 nb_sol=0 ticks=1419243 tps=100 nb_sec=14192
case_no=172 label=Case6.160 nb_sol=0 ticks=1714939 tps=100 nb_sec=17149
case_no=172 label=Case6.160 nb_sol=0 ticks=1379327 tps=100 nb_sec=13793
case_no=172 label=Case6.160 nb_sol=0 ticks=1720589 tps=100 nb_sec=17205
case_no=172 label=Case6.160 nb_sol=0 ticks=758579 tps=100 nb_sec=7585
case_no=172 label=Case6.160 nb_sol=0 ticks=1885524 tps=100 nb_sec=18855
case_no=172 label=Case6.160 nb_sol=0 ticks=980876 tps=100 nb_sec=9808
case_no=172 label=Case6.160 nb_sol=0 ticks=698389 tps=100 nb_sec=6983
case_no=172 label=Case6.160 nb_sol=0 ticks=924465 tps=100 nb_sec=9244
case_no=172 label=Case6.160 nb_sol=0 ticks=815991 tps=100 nb_sec=8159
case_no=172 label=Case6.160 nb_sol=0 ticks=1308321 tps=100 nb_sec=13083
case_no=172 label=Case6.160 nb_sol=0 ticks=1182582 tps=100 nb_sec=11825
case_no=172 label=Case6.160 nb_sol=0 ticks=874174 tps=100 nb_sec=8741
case_no=172 label=Case6.160 nb_sol=0 ticks=946293 tps=100 nb_sec=9462
case_no=172 label=Case6.160 nb_sol=0 ticks=922072 tps=100 nb_sec=9220
case_no=172 label=Case6.160 nb_sol=0 ticks=638064 tps=100 nb_sec=6380
case_no=172 label=Case6.160 nb_sol=0 ticks=947485 tps=100 nb_sec=9474
case_no=172 label=Case6.160 nb_sol=0 ticks=778622 tps=100 nb_sec=7786
case_no=172 label=Case6.160 nb_sol=0 ticks=1131952 tps=100 nb_sec=11319
case_no=172 label=Case6.160 nb_sol=0 ticks=1071746 tps=100 nb_sec=10717
case_no=172 label=Case6.160 nb_sol=0 ticks=1111852 tps=100 nb_sec=11118
case_no=172 label=Case6.160 nb_sol=0 ticks=929379 tps=100 nb_sec=9293
case_no=172 label=Case6.160 nb_sol=0 ticks=1209379 tps=100 nb_sec=12093
case_no=172 label=Case6.160 nb_sol=0 ticks=1269587 tps=100 nb_sec=12695
case_no=172 label=Case6.160 nb_sol=0 ticks=1421211 tps=100 nb_sec=14212
case_no=172 label=Case6.160 nb_sol=0 ticks=1492037 tps=100 nb_sec=14920
case_no=172 label=Case6.160 nb_sol=0 ticks=1255224 tps=100 nb_sec=12552
case_no=172 label=Case6.160 nb_sol=0 ticks=871989 tps=100 nb_sec=8719
case_no=172 label=Case6.160 nb_sol=0 ticks=834843 tps=100 nb_sec=8348
case_no=172 label=Case6.160 nb_sol=0 ticks=1750034 tps=100 nb_sec=17500
case_no=172 label=Case6.160 nb_sol=0 ticks=1292191 tps=100 nb_sec=12921
case_no=172 label=Case6.160 nb_sol=0 ticks=706905 tps=100 nb_sec=7069
case_no=172 label=Case6.160 nb_sol=0 ticks=711580 tps=100 nb_sec=7115
case_no=172 label=Case6.160 nb_sol=0 ticks=598797 tps=100 nb_sec=5987
case_no=172 label=Case6.160 nb_sol=0 ticks=1162822 tps=100 nb_sec=11628
case_no=172 label=Case6.160 nb_sol=0 ticks=721202 tps=100 nb_sec=7212
case_no=172 label=Case6.160 nb_sol=0 ticks=1053404 tps=100 nb_sec=10534
case_no=172 label=Case6.160 nb_sol=0 ticks=1016387 tps=100 nb_sec=10163
case_no=172 label=Case6.160 nb_sol=0 ticks=1393793 tps=100 nb_sec=13937
case_no=172 label=Case6.160 nb_sol=0 ticks=1278197 tps=100 nb_sec=12781
case_no=172 label=Case6.160 nb_sol=0 ticks=813718 tps=100 nb_sec=8137
case_no=172 label=Case6.160 nb_sol=0 ticks=1561681 tps=100 nb_sec=15616
case_no=172 label=Case6.160 nb_sol=0 ticks=698655 tps=100 nb_sec=6986
case_no=172 label=Case6.160 nb_sol=0 ticks=1295800 tps=100 nb_sec=12958
case_no=172 label=Case6.160 nb_sol=0 ticks=1354552 tps=100 nb_sec=13545
case_no=172 label=Case6.160 nb_sol=0 ticks=1737593 tps=100 nb_sec=17375
case_no=172 label=Case6.160 nb_sol=0 ticks=632244 tps=100 nb_sec=6322
case_no=172 label=Case6.160 nb_sol=0 ticks=1332976 tps=100 nb_sec=13329
case_no=172 label=Case6.160 nb_sol=0 ticks=1028235 tps=100 nb_sec=10282
case_no=172 label=Case6.160 nb_sol=0 ticks=687341 tps=100 nb_sec=6873
case_no=172 label=Case6.160 nb_sol=0 ticks=1280846 tps=100 nb_sec=12808
case_no=172 label=Case6.160 nb_sol=0 ticks=777768 tps=100 nb_sec=7777
case_no=172 label=Case6.160 nb_sol=0 ticks=1676658 tps=100 nb_sec=16766
case_no=172 label=Case6.160 nb_sol=0 ticks=1194953 tps=100 nb_sec=11949
case_no=172 label=Case6.160 nb_sol=0 ticks=1062611 tps=100 nb_sec=10626
case_no=172 label=Case6.160 nb_sol=0 ticks=1205353 tps=100 nb_sec=12053
case_no=172 label=Case6.160 nb_sol=0 ticks=1248711 tps=100 nb_sec=12487
case_no=172 label=Case6.160 nb_sol=0 ticks=1705175 tps=100 nb_sec=17051
case_no=172 label=Case6.160 nb_sol=0 ticks=850240 tps=100 nb_sec=8502
case_no=172 label=Case6.160 nb_sol=0 ticks=1610011 tps=100 nb_sec=16100
case_no=172 label=Case6.160 nb_sol=0 ticks=940443 tps=100 nb_sec=9404
case_no=172 label=Case6.160 nb_sol=0 ticks=1307252 tps=100 nb_sec=13072
case_no=172 label=Case6.160 nb_sol=0 ticks=1254113 tps=100 nb_sec=12541
case_no=172 label=Case6.160 nb_sol=0 ticks=700933 tps=100 nb_sec=7009
case_no=172 label=Case6.160 nb_sol=0 ticks=654029 tps=100 nb_sec=6540
case_no=172 label=Case6.160 nb_sol=0 ticks=1261391 tps=100 nb_sec=12613
case_no=172 label=Case6.160 nb_sol=0 ticks=1116989 tps=100 nb_sec=11169
case_no=172 label=Case6.160 nb_sol=0 ticks=1172475 tps=100 nb_sec=11724
case_no=172 label=Case6.160 nb_sol=0 ticks=1433986 tps=100 nb_sec=14339
case_no=172 label=Case6.160 nb_sol=0 ticks=984665 tps=100 nb_sec=9846
case_no=172 label=Case6.160 nb_sol=0 ticks=1334595 tps=100 nb_sec=13345
case_no=172 label=Case6.160 nb_sol=0 ticks=731447 tps=100 nb_sec=7314
case_no=172 label=Case6.160 nb_sol=0 ticks=684383 tps=100 nb_sec=6843
case_no=172 label=Case6.160 nb_sol=0 ticks=733068 tps=100 nb_sec=7330
case_no=172 label=Case6.160 nb_sol=0 ticks=712560 tps=100 nb_sec=7125
case_no=172 label=Case6.160 nb_sol=0 ticks=1446676 tps=100 nb_sec=14466
case_no=172 label=Case6.160 nb_sol=0 ticks=677346 tps=100 nb_sec=6773
case_no=172 label=Case6.160 nb_sol=0 ticks=1161011 tps=100 nb_sec=11610
case_no=172 label=Case6.160 nb_sol=0 ticks=1058651 tps=100 nb_sec=10586
case_no=172 label=Case6.160 nb_sol=0 ticks=1072701 tps=100 nb_sec=10727
case_no=172 label=Case6.160 nb_sol=0 ticks=863609 tps=100 nb_sec=8636
case_no=172 label=Case6.160 nb_sol=0 ticks=1255259 tps=100 nb_sec=12552
case_no=172 label=Case6.160 nb_sol=0 ticks=841114 tps=100 nb_sec=8411
case_no=172 label=Case6.160 nb_sol=0 ticks=1207375 tps=100 nb_sec=12073
case_no=172 label=Case6.160 nb_sol=0 ticks=918481 tps=100 nb_sec=9184
case_no=172 label=Case6.160 nb_sol=0 ticks=1400256 tps=100 nb_sec=14002
case_no=172 label=Case6.160 nb_sol=0 ticks=806282 tps=100 nb_sec=8062
case_no=172 label=Case6.160 nb_sol=0 ticks=1494693 tps=100 nb_sec=14946
case_no=172 label=Case6.160 nb_sol=0 ticks=1439476 tps=100 nb_sec=14394
case_no=172 label=Case6.160 nb_sol=0 ticks=1326064 tps=100 nb_sec=13260
case_no=172 label=Case6.160 nb_sol=0 ticks=1084924 tps=100 nb_sec=10849
case_no=172 label=Case6.160 nb_sol=0 ticks=1134481 tps=100 nb_sec=11344
case_no=172 label=Case6.160 nb_sol=0 ticks=1539048 tps=100 nb_sec=15390
case_no=172 label=Case6.160 nb_sol=0 ticks=910482 tps=100 nb_sec=9104
case_no=172 label=Case6.160 nb_sol=0 ticks=706430 tps=100 nb_sec=7064
case_no=172 label=Case6.160 nb_sol=0 ticks=1324048 tps=100 nb_sec=13240
case_no=172 label=Case6.160 nb_sol=0 ticks=649898 tps=100 nb_sec=6498
case_no=172 label=Case6.160 nb_sol=0 ticks=1368324 tps=100 nb_sec=13683
case_no=172 label=Case6.160 nb_sol=0 ticks=1433520 tps=100 nb_sec=14335
case_no=172 label=Case6.160 nb_sol=0 ticks=584840 tps=100 nb_sec=5848
case_no=172 label=Case6.160 nb_sol=0 ticks=873956 tps=100 nb_sec=8739
case_no=172 label=Case6.160 nb_sol=0 ticks=1207624 tps=100 nb_sec=12076
case_no=172 label=Case6.160 nb_sol=0 ticks=746271 tps=100 nb_sec=7462
case_no=172 label=Case6.160 nb_sol=0 ticks=1051784 tps=100 nb_sec=10517
case_no=172 label=Case6.160 nb_sol=0 ticks=1033984 tps=100 nb_sec=10339
case_no=172 label=Case6.160 nb_sol=0 ticks=1153518 tps=100 nb_sec=11535
case_no=172 label=Case6.160 nb_sol=0 ticks=2039001 tps=100 nb_sec=20390
case_no=172 label=Case6.160 nb_sol=0 ticks=1484078 tps=100 nb_sec=14840
case_no=172 label=Case6.160 nb_sol=0 ticks=1706737 tps=100 nb_sec=17067
case_no=172 label=Case6.160 nb_sol=0 ticks=1632918 tps=100 nb_sec=16329
case_no=172 label=Case6.160 nb_sol=0 ticks=1529036 tps=100 nb_sec=15290
case_no=172 label=Case6.160 nb_sol=0 ticks=1362711 tps=100 nb_sec=13627
case_no=172 label=Case6.160 nb_sol=0 ticks=1542967 tps=100 nb_sec=15429
case_no=172 label=Case6.160 nb_sol=0 ticks=1359740 tps=100 nb_sec=13597
case_no=172 label=Case6.160 nb_sol=0 ticks=971321 tps=100 nb_sec=9713
case_no=172 label=Case6.160 nb_sol=0 ticks=1068208 tps=100 nb_sec=10682
case_no=172 label=Case6.160 nb_sol=0 ticks=1041080 tps=100 nb_sec=10410
case_no=172 label=Case6.160 nb_sol=0 ticks=809940 tps=100 nb_sec=8099
case_no=172 label=Case6.160 nb_sol=0 ticks=1198822 tps=100 nb_sec=11988
case_no=172 label=Case6.160 nb_sol=0 ticks=572566 tps=100 nb_sec=5725
case_no=172 label=Case6.160 nb_sol=0 ticks=1462493 tps=100 nb_sec=14624
case_no=172 label=Case6.160 nb_sol=0 ticks=605244 tps=100 nb_sec=6052
case_no=172 label=Case6.160 nb_sol=0 ticks=1381244 tps=100 nb_sec=13812
case_no=172 label=Case6.160 nb_sol=0 ticks=1043903 tps=100 nb_sec=10439
case_no=172 label=Case6.160 nb_sol=0 ticks=1430358 tps=100 nb_sec=14303
case_no=172 label=Case6.160 nb_sol=0 ticks=1465626 tps=100 nb_sec=14656
case_no=172 label=Case6.160 nb_sol=0 ticks=805297 tps=100 nb_sec=8052
case_no=172 label=Case6.160 nb_sol=0 ticks=1103519 tps=100 nb_sec=11035
case_no=172 label=Case6.160 nb_sol=0 ticks=1615592 tps=100 nb_sec=16155
case_no=172 label=Case6.160 nb_sol=0 ticks=948358 tps=100 nb_sec=9483
case_no=172 label=Case6.160 nb_sol=0 ticks=606410 tps=100 nb_sec=6064
case_no=172 label=Case6.160 nb_sol=0 ticks=765556 tps=100 nb_sec=7655
case_no=172 label=Case6.160 nb_sol=0 ticks=693252 tps=100 nb_sec=6932
case_no=172 label=Case6.160 nb_sol=0 ticks=1150547 tps=100 nb_sec=11505
case_no=172 label=Case6.160 nb_sol=0 ticks=1433567 tps=100 nb_sec=14335
case_no=172 label=Case6.160 nb_sol=0 ticks=968967 tps=100 nb_sec=9689
case_no=172 label=Case6.160 nb_sol=0 ticks=1126734 tps=100 nb_sec=11267
case_no=172 label=Case6.160 nb_sol=0 ticks=515959 tps=100 nb_sec=5159
case_no=172 label=Case6.160 nb_sol=0 ticks=1251701 tps=100 nb_sec=12517
case_no=172 label=Case6.160 nb_sol=0 ticks=754579 tps=100 nb_sec=7545
case_no=172 label=Case6.160 nb_sol=0 ticks=1404637 tps=100 nb_sec=14046
case_no=172 label=Case6.160 nb_sol=0 ticks=970228 tps=100 nb_sec=9702
case_no=172 label=Case6.160 nb_sol=0 ticks=1518336 tps=100 nb_sec=15183
case_no=172 label=Case6.160 nb_sol=0 ticks=1014453 tps=100 nb_sec=10144
case_no=172 label=Case6.160 nb_sol=0 ticks=787560 tps=100 nb_sec=7875
case_no=172 label=Case6.160 nb_sol=0 ticks=1559738 tps=100 nb_sec=15597
case_no=172 label=Case6.160 nb_sol=0 ticks=1384514 tps=100 nb_sec=13845
case_no=172 label=Case6.160 nb_sol=0 ticks=1231972 tps=100 nb_sec=12319
case_no=172 label=Case6.160 nb_sol=0 ticks=610087 tps=100 nb_sec=6100
case_no=172 label=Case6.160 nb_sol=0 ticks=1348810 tps=100 nb_sec=13488
case_no=172 label=Case6.160 nb_sol=0 ticks=1888256 tps=100 nb_sec=18882
case_no=172 label=Case6.160 nb_sol=0 ticks=765815 tps=100 nb_sec=7658
case_no=172 label=Case6.160 nb_sol=0 ticks=813548 tps=100 nb_sec=8135
case_no=172 label=Case6.160 nb_sol=0 ticks=626326 tps=100 nb_sec=6263
case_no=172 label=Case6.160 nb_sol=0 ticks=1504529 tps=100 nb_sec=15045
case_no=172 label=Case6.160 nb_sol=0 ticks=1064451 tps=100 nb_sec=10644
case_no=172 label=Case6.160 nb_sol=0 ticks=765512 tps=100 nb_sec=7655
case_no=172 label=Case6.160 nb_sol=0 ticks=1198682 tps=100 nb_sec=11986
case_no=172 label=Case6.160 nb_sol=0 ticks=1042721 tps=100 nb_sec=10427
case_no=172 label=Case6.160 nb_sol=0 ticks=1064577 tps=100 nb_sec=10645
case_no=172 label=Case6.160 nb_sol=0 ticks=806063 tps=100 nb_sec=8060
case_no=172 label=Case6.160 nb_sol=0 ticks=1312694 tps=100 nb_sec=13126
case_no=172 label=Case6.160 nb_sol=0 ticks=1676284 tps=100 nb_sec=16762
case_no=172 label=Case6.160 nb_sol=0 ticks=663064 tps=100 nb_sec=6630
case_no=172 label=Case6.160 nb_sol=0 ticks=1389206 tps=100 nb_sec=13892
case_no=172 label=Case6.160 nb_sol=0 ticks=1079151 tps=100 nb_sec=10791
case_no=172 label=Case6.160 nb_sol=0 ticks=1193959 tps=100 nb_sec=11939
case_no=172 label=Case6.160 nb_sol=0 ticks=1235581 tps=100 nb_sec=12355
case_no=172 label=Case6.160 nb_sol=0 ticks=1174846 tps=100 nb_sec=11748
case_no=172 label=Case6.160 nb_sol=0 ticks=1060730 tps=100 nb_sec=10607
case_no=172 label=Case6.160 nb_sol=0 ticks=643093 tps=100 nb_sec=6430
case_no=172 label=Case6.160 nb_sol=0 ticks=1230214 tps=100 nb_sec=12302
case_no=172 label=Case6.160 nb_sol=0 ticks=1582705 tps=100 nb_sec=15827
case_no=172 label=Case6.160 nb_sol=0 ticks=632930 tps=100 nb_sec=6329
case_no=172 label=Case6.160 nb_sol=0 ticks=1384747 tps=100 nb_sec=13847
case_no=172 label=Case6.160 nb_sol=0 ticks=1293513 tps=100 nb_sec=12935
case_no=172 label=Case6.160 nb_sol=0 ticks=1212110 tps=100 nb_sec=12121
case_no=172 label=Case6.160 nb_sol=0 ticks=1155974 tps=100 nb_sec=11559
case_no=172 label=Case6.160 nb_sol=0 ticks=1209540 tps=100 nb_sec=12095
case_no=172 label=Case6.160 nb_sol=0 ticks=1258044 tps=100 nb_sec=12580
case_no=172 label=Case6.160 nb_sol=0 ticks=854094 tps=100 nb_sec=8540
case_no=172 label=Case6.160 nb_sol=0 ticks=1120273 tps=100 nb_sec=11202
case_no=172 label=Case6.160 nb_sol=0 ticks=1362048 tps=100 nb_sec=13620
case_no=172 label=Case6.160 nb_sol=0 ticks=1038775 tps=100 nb_sec=10387
case_no=172 label=Case6.160 nb_sol=0 ticks=1136200 tps=100 nb_sec=11362
case_no=172 label=Case6.160 nb_sol=0 ticks=1097388 tps=100 nb_sec=10973
case_no=172 label=Case6.160 nb_sol=0 ticks=1356983 tps=100 nb_sec=13569
case_no=172 label=Case6.160 nb_sol=0 ticks=1015094 tps=100 nb_sec=10150
case_no=172 label=Case6.160 nb_sol=0 ticks=1125160 tps=100 nb_sec=11251
case_no=172 label=Case6.160 nb_sol=0 ticks=1087640 tps=100 nb_sec=10876
case_no=172 label=Case6.160 nb_sol=0 ticks=1982761 tps=100 nb_sec=19827
case_no=172 label=Case6.160 nb_sol=0 ticks=839537 tps=100 nb_sec=8395
case_no=172 label=Case6.160 nb_sol=0 ticks=1518503 tps=100 nb_sec=15185
case_no=172 label=Case6.160 nb_sol=0 ticks=1366339 tps=100 nb_sec=13663
case_no=172 label=Case6.160 nb_sol=0 ticks=585910 tps=100 nb_sec=5859
case_no=172 label=Case6.160 nb_sol=0 ticks=525476 tps=100 nb_sec=5254
case_no=172 label=Case6.160 nb_sol=0 ticks=1326824 tps=100 nb_sec=13268
case_no=172 label=Case6.160 nb_sol=0 ticks=1437079 tps=100 nb_sec=14370
case_no=172 label=Case6.160 nb_sol=0 ticks=1120790 tps=100 nb_sec=11207
case_no=172 label=Case6.160 nb_sol=0 ticks=1656302 tps=100 nb_sec=16563
case_no=172 label=Case6.160 nb_sol=0 ticks=1543407 tps=100 nb_sec=15434
case_no=172 label=Case6.160 nb_sol=0 ticks=1007830 tps=100 nb_sec=10078
case_no=172 label=Case6.160 nb_sol=0 ticks=993056 tps=100 nb_sec=9930
case_no=172 label=Case6.160 nb_sol=0 ticks=893542 tps=100 nb_sec=8935
case_no=172 label=Case6.160 nb_sol=0 ticks=1299298 tps=100 nb_sec=12992
case_no=172 label=Case6.160 nb_sol=0 ticks=937239 tps=100 nb_sec=9372
case_no=172 label=Case6.160 nb_sol=0 ticks=1171411 tps=100 nb_sec=11714
case_no=172 label=Case6.160 nb_sol=0 ticks=876824 tps=100 nb_sec=8768
case_no=172 label=Case6.160 nb_sol=0 ticks=1161968 tps=100 nb_sec=11619
case_no=172 label=Case6.160 nb_sol=0 ticks=1003050 tps=100 nb_sec=10030
case_no=172 label=Case6.160 nb_sol=0 ticks=1004957 tps=100 nb_sec=10049
case_no=172 label=Case6.160 nb_sol=0 ticks=1154582 tps=100 nb_sec=11545
case_no=172 label=Case6.160 nb_sol=0 ticks=1172314 tps=100 nb_sec=11723
case_no=172 label=Case6.160 nb_sol=0 ticks=1041726 tps=100 nb_sec=10417
case_no=172 label=Case6.160 nb_sol=0 ticks=829688 tps=100 nb_sec=8296
case_no=172 label=Case6.160 nb_sol=0 ticks=1222168 tps=100 nb_sec=12221
case_no=172 label=Case6.160 nb_sol=0 ticks=1151956 tps=100 nb_sec=11519
case_no=172 label=Case6.160 nb_sol=0 ticks=1426631 tps=100 nb_sec=14266
case_no=172 label=Case6.160 nb_sol=0 ticks=1417545 tps=100 nb_sec=14175
case_no=172 label=Case6.160 nb_sol=0 ticks=1164918 tps=100 nb_sec=11649
case_no=172 label=Case6.160 nb_sol=0 ticks=1316697 tps=100 nb_sec=13166
case_no=172 label=Case6.160 nb_sol=0 ticks=1221672 tps=100 nb_sec=12216
case_no=172 label=Case6.160 nb_sol=0 ticks=811789 tps=100 nb_sec=8117
case_no=172 label=Case6.160 nb_sol=0 ticks=1694168 tps=100 nb_sec=16941
Nb_sol=0
Nb_sec=6002768
69-11:26:8 or 1667 hours
missing cases:
none