argc=5 -M 512 file2=30_select_Case6.159_starter_15_ checking files mod 512 from 0 to 511 case_no=171 label=Case6.159 nb_sol=0 ticks=1108350 tps=100 nb_sec=11083 case_no=171 label=Case6.159 nb_sol=0 ticks=1136988 tps=100 nb_sec=11369 case_no=171 label=Case6.159 nb_sol=0 ticks=901682 tps=100 nb_sec=9016 case_no=171 label=Case6.159 nb_sol=0 ticks=1093390 tps=100 nb_sec=10933 case_no=171 label=Case6.159 nb_sol=0 ticks=835196 tps=100 nb_sec=8351 case_no=171 label=Case6.159 nb_sol=0 ticks=878009 tps=100 nb_sec=8780 case_no=171 label=Case6.159 nb_sol=0 ticks=1308756 tps=100 nb_sec=13087 case_no=171 label=Case6.159 nb_sol=0 ticks=1380613 tps=100 nb_sec=13806 case_no=171 label=Case6.159 nb_sol=0 ticks=1456404 tps=100 nb_sec=14564 case_no=171 label=Case6.159 nb_sol=0 ticks=871535 tps=100 nb_sec=8715 case_no=171 label=Case6.159 nb_sol=0 ticks=1276618 tps=100 nb_sec=12766 case_no=171 label=Case6.159 nb_sol=0 ticks=1684110 tps=100 nb_sec=16841 case_no=171 label=Case6.159 nb_sol=0 ticks=1227985 tps=100 nb_sec=12279 case_no=171 label=Case6.159 nb_sol=0 ticks=1712617 tps=100 nb_sec=17126 case_no=171 label=Case6.159 nb_sol=0 ticks=923653 tps=100 nb_sec=9236 case_no=171 label=Case6.159 nb_sol=0 ticks=1193516 tps=100 nb_sec=11935 case_no=171 label=Case6.159 nb_sol=0 ticks=1237932 tps=100 nb_sec=12379 case_no=171 label=Case6.159 nb_sol=0 ticks=1385003 tps=100 nb_sec=13850 case_no=171 label=Case6.159 nb_sol=0 ticks=1355807 tps=100 nb_sec=13558 case_no=171 label=Case6.159 nb_sol=0 ticks=1348360 tps=100 nb_sec=13483 case_no=171 label=Case6.159 nb_sol=0 ticks=967053 tps=100 nb_sec=9670 case_no=171 label=Case6.159 nb_sol=0 ticks=1507794 tps=100 nb_sec=15077 case_no=171 label=Case6.159 nb_sol=0 ticks=1479158 tps=100 nb_sec=14791 case_no=171 label=Case6.159 nb_sol=0 ticks=818092 tps=100 nb_sec=8180 case_no=171 label=Case6.159 nb_sol=0 ticks=1699131 tps=100 nb_sec=16991 case_no=171 label=Case6.159 nb_sol=0 ticks=1803723 tps=100 nb_sec=18037 case_no=171 label=Case6.159 nb_sol=0 ticks=1444058 tps=100 nb_sec=14440 case_no=171 label=Case6.159 nb_sol=0 ticks=1227724 tps=100 nb_sec=12277 case_no=171 label=Case6.159 nb_sol=0 ticks=1646687 tps=100 nb_sec=16466 case_no=171 label=Case6.159 nb_sol=0 ticks=1402056 tps=100 nb_sec=14020 case_no=171 label=Case6.159 nb_sol=0 ticks=946682 tps=100 nb_sec=9466 case_no=171 label=Case6.159 nb_sol=0 ticks=1044706 tps=100 nb_sec=10447 case_no=171 label=Case6.159 nb_sol=0 ticks=1154978 tps=100 nb_sec=11549 case_no=171 label=Case6.159 nb_sol=0 ticks=1009442 tps=100 nb_sec=10094 case_no=171 label=Case6.159 nb_sol=0 ticks=1554424 tps=100 nb_sec=15544 case_no=171 label=Case6.159 nb_sol=0 ticks=1285876 tps=100 nb_sec=12858 case_no=171 label=Case6.159 nb_sol=0 ticks=1391449 tps=100 nb_sec=13914 case_no=171 label=Case6.159 nb_sol=0 ticks=943783 tps=100 nb_sec=9437 case_no=171 label=Case6.159 nb_sol=0 ticks=847580 tps=100 nb_sec=8475 case_no=171 label=Case6.159 nb_sol=0 ticks=757601 tps=100 nb_sec=7576 case_no=171 label=Case6.159 nb_sol=0 ticks=1046883 tps=100 nb_sec=10468 case_no=171 label=Case6.159 nb_sol=0 ticks=694053 tps=100 nb_sec=6940 case_no=171 label=Case6.159 nb_sol=0 ticks=1272881 tps=100 nb_sec=12728 case_no=171 label=Case6.159 nb_sol=0 ticks=1332579 tps=100 nb_sec=13325 case_no=171 label=Case6.159 nb_sol=0 ticks=648044 tps=100 nb_sec=6480 case_no=171 label=Case6.159 nb_sol=0 ticks=678528 tps=100 nb_sec=6785 case_no=171 label=Case6.159 nb_sol=0 ticks=1120492 tps=100 nb_sec=11204 case_no=171 label=Case6.159 nb_sol=0 ticks=759481 tps=100 nb_sec=7594 case_no=171 label=Case6.159 nb_sol=0 ticks=793751 tps=100 nb_sec=7937 case_no=171 label=Case6.159 nb_sol=0 ticks=772233 tps=100 nb_sec=7722 case_no=171 label=Case6.159 nb_sol=0 ticks=967842 tps=100 nb_sec=9678 case_no=171 label=Case6.159 nb_sol=0 ticks=983239 tps=100 nb_sec=9832 case_no=171 label=Case6.159 nb_sol=0 ticks=1394457 tps=100 nb_sec=13944 case_no=171 label=Case6.159 nb_sol=0 ticks=1343233 tps=100 nb_sec=13432 case_no=171 label=Case6.159 nb_sol=0 ticks=1571754 tps=100 nb_sec=15717 case_no=171 label=Case6.159 nb_sol=0 ticks=1025401 tps=100 nb_sec=10254 case_no=171 label=Case6.159 nb_sol=0 ticks=1254768 tps=100 nb_sec=12547 case_no=171 label=Case6.159 nb_sol=0 ticks=1214677 tps=100 nb_sec=12146 case_no=171 label=Case6.159 nb_sol=0 ticks=1252543 tps=100 nb_sec=12525 case_no=171 label=Case6.159 nb_sol=0 ticks=1147322 tps=100 nb_sec=11473 case_no=171 label=Case6.159 nb_sol=0 ticks=991782 tps=100 nb_sec=9917 case_no=171 label=Case6.159 nb_sol=0 ticks=1157143 tps=100 nb_sec=11571 case_no=171 label=Case6.159 nb_sol=0 ticks=1127769 tps=100 nb_sec=11277 case_no=171 label=Case6.159 nb_sol=0 ticks=1359993 tps=100 nb_sec=13599 case_no=171 label=Case6.159 nb_sol=0 ticks=1105161 tps=100 nb_sec=11051 case_no=171 label=Case6.159 nb_sol=0 ticks=1508682 tps=100 nb_sec=15086 case_no=171 label=Case6.159 nb_sol=0 ticks=1155118 tps=100 nb_sec=11551 case_no=171 label=Case6.159 nb_sol=0 ticks=1295597 tps=100 nb_sec=12955 case_no=171 label=Case6.159 nb_sol=0 ticks=802909 tps=100 nb_sec=8029 case_no=171 label=Case6.159 nb_sol=0 ticks=568385 tps=100 nb_sec=5683 case_no=171 label=Case6.159 nb_sol=0 ticks=1581511 tps=100 nb_sec=15815 case_no=171 label=Case6.159 nb_sol=0 ticks=1206497 tps=100 nb_sec=12064 case_no=171 label=Case6.159 nb_sol=0 ticks=1544211 tps=100 nb_sec=15442 case_no=171 label=Case6.159 nb_sol=0 ticks=1308420 tps=100 nb_sec=13084 case_no=171 label=Case6.159 nb_sol=0 ticks=1310866 tps=100 nb_sec=13108 case_no=171 label=Case6.159 nb_sol=0 ticks=999266 tps=100 nb_sec=9992 case_no=171 label=Case6.159 nb_sol=0 ticks=750705 tps=100 nb_sec=7507 case_no=171 label=Case6.159 nb_sol=0 ticks=749385 tps=100 nb_sec=7493 case_no=171 label=Case6.159 nb_sol=0 ticks=1401607 tps=100 nb_sec=14016 case_no=171 label=Case6.159 nb_sol=0 ticks=819780 tps=100 nb_sec=8197 case_no=171 label=Case6.159 nb_sol=0 ticks=621389 tps=100 nb_sec=6213 case_no=171 label=Case6.159 nb_sol=0 ticks=1414122 tps=100 nb_sec=14141 case_no=171 label=Case6.159 nb_sol=0 ticks=1440750 tps=100 nb_sec=14407 case_no=171 label=Case6.159 nb_sol=0 ticks=1434335 tps=100 nb_sec=14343 case_no=171 label=Case6.159 nb_sol=0 ticks=1616513 tps=100 nb_sec=16165 case_no=171 label=Case6.159 nb_sol=0 ticks=1443222 tps=100 nb_sec=14432 case_no=171 label=Case6.159 nb_sol=0 ticks=1352746 tps=100 nb_sec=13527 case_no=171 label=Case6.159 nb_sol=0 ticks=708604 tps=100 nb_sec=7086 case_no=171 label=Case6.159 nb_sol=0 ticks=1513466 tps=100 nb_sec=15134 case_no=171 label=Case6.159 nb_sol=0 ticks=1363286 tps=100 nb_sec=13632 case_no=171 label=Case6.159 nb_sol=0 ticks=1604120 tps=100 nb_sec=16041 case_no=171 label=Case6.159 nb_sol=0 ticks=1426609 tps=100 nb_sec=14266 case_no=171 label=Case6.159 nb_sol=0 ticks=1313928 tps=100 nb_sec=13139 case_no=171 label=Case6.159 nb_sol=0 ticks=1630093 tps=100 nb_sec=16300 case_no=171 label=Case6.159 nb_sol=0 ticks=1839296 tps=100 nb_sec=18392 case_no=171 label=Case6.159 nb_sol=0 ticks=1001494 tps=100 nb_sec=10014 case_no=171 label=Case6.159 nb_sol=0 ticks=1160696 tps=100 nb_sec=11606 case_no=171 label=Case6.159 nb_sol=0 ticks=1362379 tps=100 nb_sec=13623 case_no=171 label=Case6.159 nb_sol=0 ticks=1639417 tps=100 nb_sec=16394 case_no=171 label=Case6.159 nb_sol=0 ticks=1462848 tps=100 nb_sec=14628 case_no=171 label=Case6.159 nb_sol=0 ticks=1021819 tps=100 nb_sec=10218 case_no=171 label=Case6.159 nb_sol=0 ticks=1084783 tps=100 nb_sec=10847 case_no=171 label=Case6.159 nb_sol=0 ticks=1372528 tps=100 nb_sec=13725 case_no=171 label=Case6.159 nb_sol=0 ticks=1337220 tps=100 nb_sec=13372 case_no=171 label=Case6.159 nb_sol=0 ticks=1346945 tps=100 nb_sec=13469 case_no=171 label=Case6.159 nb_sol=0 ticks=718931 tps=100 nb_sec=7189 case_no=171 label=Case6.159 nb_sol=0 ticks=1860948 tps=100 nb_sec=18609 case_no=171 label=Case6.159 nb_sol=0 ticks=1640259 tps=100 nb_sec=16402 case_no=171 label=Case6.159 nb_sol=0 ticks=677760 tps=100 nb_sec=6777 case_no=171 label=Case6.159 nb_sol=0 ticks=1567976 tps=100 nb_sec=15679 case_no=171 label=Case6.159 nb_sol=0 ticks=1494061 tps=100 nb_sec=14940 case_no=171 label=Case6.159 nb_sol=0 ticks=747973 tps=100 nb_sec=7479 case_no=171 label=Case6.159 nb_sol=0 ticks=1153275 tps=100 nb_sec=11532 case_no=171 label=Case6.159 nb_sol=0 ticks=825799 tps=100 nb_sec=8257 case_no=171 label=Case6.159 nb_sol=0 ticks=876552 tps=100 nb_sec=8765 case_no=171 label=Case6.159 nb_sol=0 ticks=1230795 tps=100 nb_sec=12307 case_no=171 label=Case6.159 nb_sol=0 ticks=1406594 tps=100 nb_sec=14065 case_no=171 label=Case6.159 nb_sol=0 ticks=1409239 tps=100 nb_sec=14092 case_no=171 label=Case6.159 nb_sol=0 ticks=1180410 tps=100 nb_sec=11804 case_no=171 label=Case6.159 nb_sol=0 ticks=1068683 tps=100 nb_sec=10686 case_no=171 label=Case6.159 nb_sol=0 ticks=1361436 tps=100 nb_sec=13614 case_no=171 label=Case6.159 nb_sol=0 ticks=942469 tps=100 nb_sec=9424 case_no=171 label=Case6.159 nb_sol=0 ticks=1328497 tps=100 nb_sec=13284 case_no=171 label=Case6.159 nb_sol=0 ticks=910937 tps=100 nb_sec=9109 case_no=171 label=Case6.159 nb_sol=0 ticks=1418347 tps=100 nb_sec=14183 case_no=171 label=Case6.159 nb_sol=0 ticks=1108578 tps=100 nb_sec=11085 case_no=171 label=Case6.159 nb_sol=0 ticks=1286389 tps=100 nb_sec=12863 case_no=171 label=Case6.159 nb_sol=0 ticks=769671 tps=100 nb_sec=7696 case_no=171 label=Case6.159 nb_sol=0 ticks=1607883 tps=100 nb_sec=16078 case_no=171 label=Case6.159 nb_sol=0 ticks=1352209 tps=100 nb_sec=13522 case_no=171 label=Case6.159 nb_sol=0 ticks=1064353 tps=100 nb_sec=10643 case_no=171 label=Case6.159 nb_sol=0 ticks=1036416 tps=100 nb_sec=10364 case_no=171 label=Case6.159 nb_sol=0 ticks=1694539 tps=100 nb_sec=16945 case_no=171 label=Case6.159 nb_sol=0 ticks=1495398 tps=100 nb_sec=14953 case_no=171 label=Case6.159 nb_sol=0 ticks=1330338 tps=100 nb_sec=13303 case_no=171 label=Case6.159 nb_sol=0 ticks=1426118 tps=100 nb_sec=14261 case_no=171 label=Case6.159 nb_sol=0 ticks=1413716 tps=100 nb_sec=14137 case_no=171 label=Case6.159 nb_sol=0 ticks=847613 tps=100 nb_sec=8476 case_no=171 label=Case6.159 nb_sol=0 ticks=1197151 tps=100 nb_sec=11971 case_no=171 label=Case6.159 nb_sol=0 ticks=1317909 tps=100 nb_sec=13179 case_no=171 label=Case6.159 nb_sol=0 ticks=1949717 tps=100 nb_sec=19497 case_no=171 label=Case6.159 nb_sol=0 ticks=1505316 tps=100 nb_sec=15053 case_no=171 label=Case6.159 nb_sol=0 ticks=884703 tps=100 nb_sec=8847 case_no=171 label=Case6.159 nb_sol=0 ticks=1415752 tps=100 nb_sec=14157 case_no=171 label=Case6.159 nb_sol=0 ticks=1654162 tps=100 nb_sec=16541 case_no=171 label=Case6.159 nb_sol=0 ticks=880255 tps=100 nb_sec=8802 case_no=171 label=Case6.159 nb_sol=0 ticks=1840741 tps=100 nb_sec=18407 case_no=171 label=Case6.159 nb_sol=0 ticks=1030778 tps=100 nb_sec=10307 case_no=171 label=Case6.159 nb_sol=0 ticks=1481443 tps=100 nb_sec=14814 case_no=171 label=Case6.159 nb_sol=0 ticks=1494373 tps=100 nb_sec=14943 case_no=171 label=Case6.159 nb_sol=0 ticks=1028950 tps=100 nb_sec=10289 case_no=171 label=Case6.159 nb_sol=0 ticks=728744 tps=100 nb_sec=7287 case_no=171 label=Case6.159 nb_sol=0 ticks=1349299 tps=100 nb_sec=13492 case_no=171 label=Case6.159 nb_sol=0 ticks=1249444 tps=100 nb_sec=12494 case_no=171 label=Case6.159 nb_sol=0 ticks=1072642 tps=100 nb_sec=10726 case_no=171 label=Case6.159 nb_sol=0 ticks=1262338 tps=100 nb_sec=12623 case_no=171 label=Case6.159 nb_sol=0 ticks=1160078 tps=100 nb_sec=11600 case_no=171 label=Case6.159 nb_sol=0 ticks=1717592 tps=100 nb_sec=17175 case_no=171 label=Case6.159 nb_sol=0 ticks=1139984 tps=100 nb_sec=11399 case_no=171 label=Case6.159 nb_sol=0 ticks=1082154 tps=100 nb_sec=10821 case_no=171 label=Case6.159 nb_sol=0 ticks=2406186 tps=100 nb_sec=24061 case_no=171 label=Case6.159 nb_sol=0 ticks=1363316 tps=100 nb_sec=13633 case_no=171 label=Case6.159 nb_sol=0 ticks=741458 tps=100 nb_sec=7414 case_no=171 label=Case6.159 nb_sol=0 ticks=824061 tps=100 nb_sec=8240 case_no=171 label=Case6.159 nb_sol=0 ticks=1149520 tps=100 nb_sec=11495 case_no=171 label=Case6.159 nb_sol=0 ticks=1721587 tps=100 nb_sec=17215 case_no=171 label=Case6.159 nb_sol=0 ticks=628942 tps=100 nb_sec=6289 case_no=171 label=Case6.159 nb_sol=0 ticks=1385514 tps=100 nb_sec=13855 case_no=171 label=Case6.159 nb_sol=0 ticks=1070217 tps=100 nb_sec=10702 case_no=171 label=Case6.159 nb_sol=0 ticks=1518981 tps=100 nb_sec=15189 case_no=171 label=Case6.159 nb_sol=0 ticks=1102356 tps=100 nb_sec=11023 case_no=171 label=Case6.159 nb_sol=0 ticks=1659053 tps=100 nb_sec=16590 case_no=171 label=Case6.159 nb_sol=0 ticks=1555463 tps=100 nb_sec=15554 case_no=171 label=Case6.159 nb_sol=0 ticks=1658205 tps=100 nb_sec=16582 case_no=171 label=Case6.159 nb_sol=0 ticks=2516881 tps=100 nb_sec=25168 case_no=171 label=Case6.159 nb_sol=0 ticks=969793 tps=100 nb_sec=9697 case_no=171 label=Case6.159 nb_sol=0 ticks=1111313 tps=100 nb_sec=11113 case_no=171 label=Case6.159 nb_sol=0 ticks=1322696 tps=100 nb_sec=13226 case_no=171 label=Case6.159 nb_sol=0 ticks=964328 tps=100 nb_sec=9643 case_no=171 label=Case6.159 nb_sol=0 ticks=1608484 tps=100 nb_sec=16084 case_no=171 label=Case6.159 nb_sol=0 ticks=1192365 tps=100 nb_sec=11923 case_no=171 label=Case6.159 nb_sol=0 ticks=1189700 tps=100 nb_sec=11897 case_no=171 label=Case6.159 nb_sol=0 ticks=1413942 tps=100 nb_sec=14139 case_no=171 label=Case6.159 nb_sol=0 ticks=1518551 tps=100 nb_sec=15185 case_no=171 label=Case6.159 nb_sol=0 ticks=1261685 tps=100 nb_sec=12616 case_no=171 label=Case6.159 nb_sol=0 ticks=1339771 tps=100 nb_sec=13397 case_no=171 label=Case6.159 nb_sol=0 ticks=920821 tps=100 nb_sec=9208 case_no=171 label=Case6.159 nb_sol=0 ticks=810341 tps=100 nb_sec=8103 case_no=171 label=Case6.159 nb_sol=0 ticks=860301 tps=100 nb_sec=8603 case_no=171 label=Case6.159 nb_sol=0 ticks=1357455 tps=100 nb_sec=13574 case_no=171 label=Case6.159 nb_sol=0 ticks=1057150 tps=100 nb_sec=10571 case_no=171 label=Case6.159 nb_sol=0 ticks=863394 tps=100 nb_sec=8633 case_no=171 label=Case6.159 nb_sol=0 ticks=1506302 tps=100 nb_sec=15063 case_no=171 label=Case6.159 nb_sol=0 ticks=944339 tps=100 nb_sec=9443 case_no=171 label=Case6.159 nb_sol=0 ticks=1125358 tps=100 nb_sec=11253 case_no=171 label=Case6.159 nb_sol=0 ticks=907322 tps=100 nb_sec=9073 case_no=171 label=Case6.159 nb_sol=0 ticks=1344987 tps=100 nb_sec=13449 case_no=171 label=Case6.159 nb_sol=0 ticks=1500964 tps=100 nb_sec=15009 case_no=171 label=Case6.159 nb_sol=0 ticks=1430102 tps=100 nb_sec=14301 case_no=171 label=Case6.159 nb_sol=0 ticks=1952174 tps=100 nb_sec=19521 case_no=171 label=Case6.159 nb_sol=0 ticks=1290493 tps=100 nb_sec=12904 case_no=171 label=Case6.159 nb_sol=0 ticks=952391 tps=100 nb_sec=9523 case_no=171 label=Case6.159 nb_sol=0 ticks=1528334 tps=100 nb_sec=15283 case_no=171 label=Case6.159 nb_sol=0 ticks=2634106 tps=100 nb_sec=26341 case_no=171 label=Case6.159 nb_sol=0 ticks=1276326 tps=100 nb_sec=12763 case_no=171 label=Case6.159 nb_sol=0 ticks=1071413 tps=100 nb_sec=10714 case_no=171 label=Case6.159 nb_sol=0 ticks=1033780 tps=100 nb_sec=10337 case_no=171 label=Case6.159 nb_sol=0 ticks=1231712 tps=100 nb_sec=12317 case_no=171 label=Case6.159 nb_sol=0 ticks=724667 tps=100 nb_sec=7246 case_no=171 label=Case6.159 nb_sol=0 ticks=1108578 tps=100 nb_sec=11085 case_no=171 label=Case6.159 nb_sol=0 ticks=1066974 tps=100 nb_sec=10669 case_no=171 label=Case6.159 nb_sol=0 ticks=1448379 tps=100 nb_sec=14483 case_no=171 label=Case6.159 nb_sol=0 ticks=1152173 tps=100 nb_sec=11521 case_no=171 label=Case6.159 nb_sol=0 ticks=992515 tps=100 nb_sec=9925 case_no=171 label=Case6.159 nb_sol=0 ticks=1290180 tps=100 nb_sec=12901 case_no=171 label=Case6.159 nb_sol=0 ticks=1290906 tps=100 nb_sec=12909 case_no=171 label=Case6.159 nb_sol=0 ticks=1006731 tps=100 nb_sec=10067 case_no=171 label=Case6.159 nb_sol=0 ticks=1403441 tps=100 nb_sec=14034 case_no=171 label=Case6.159 nb_sol=0 ticks=1570643 tps=100 nb_sec=15706 case_no=171 label=Case6.159 nb_sol=0 ticks=1347273 tps=100 nb_sec=13472 case_no=171 label=Case6.159 nb_sol=0 ticks=1436665 tps=100 nb_sec=14366 case_no=171 label=Case6.159 nb_sol=0 ticks=1168469 tps=100 nb_sec=11684 case_no=171 label=Case6.159 nb_sol=0 ticks=1368397 tps=100 nb_sec=13683 case_no=171 label=Case6.159 nb_sol=0 ticks=1457312 tps=100 nb_sec=14573 case_no=171 label=Case6.159 nb_sol=0 ticks=1455568 tps=100 nb_sec=14555 case_no=171 label=Case6.159 nb_sol=0 ticks=2298408 tps=100 nb_sec=22984 case_no=171 label=Case6.159 nb_sol=0 ticks=1002069 tps=100 nb_sec=10020 case_no=171 label=Case6.159 nb_sol=0 ticks=1343382 tps=100 nb_sec=13433 case_no=171 label=Case6.159 nb_sol=0 ticks=1002623 tps=100 nb_sec=10026 case_no=171 label=Case6.159 nb_sol=0 ticks=1510378 tps=100 nb_sec=15103 case_no=171 label=Case6.159 nb_sol=0 ticks=945546 tps=100 nb_sec=9455 case_no=171 label=Case6.159 nb_sol=0 ticks=1763009 tps=100 nb_sec=17630 case_no=171 label=Case6.159 nb_sol=0 ticks=1149242 tps=100 nb_sec=11492 case_no=171 label=Case6.159 nb_sol=0 ticks=1090944 tps=100 nb_sec=10909 case_no=171 label=Case6.159 nb_sol=0 ticks=1824981 tps=100 nb_sec=18249 case_no=171 label=Case6.159 nb_sol=0 ticks=774508 tps=100 nb_sec=7745 case_no=171 label=Case6.159 nb_sol=0 ticks=1693458 tps=100 nb_sec=16934 case_no=171 label=Case6.159 nb_sol=0 ticks=1269557 tps=100 nb_sec=12695 case_no=171 label=Case6.159 nb_sol=0 ticks=1985640 tps=100 nb_sec=19856 case_no=171 label=Case6.159 nb_sol=0 ticks=1335007 tps=100 nb_sec=13350 case_no=171 label=Case6.159 nb_sol=0 ticks=1338163 tps=100 nb_sec=13381 case_no=171 label=Case6.159 nb_sol=0 ticks=1243211 tps=100 nb_sec=12432 case_no=171 label=Case6.159 nb_sol=0 ticks=1398685 tps=100 nb_sec=13986 case_no=171 label=Case6.159 nb_sol=0 ticks=513378 tps=100 nb_sec=5133 case_no=171 label=Case6.159 nb_sol=0 ticks=1478910 tps=100 nb_sec=14789 case_no=171 label=Case6.159 nb_sol=0 ticks=997023 tps=100 nb_sec=9970 case_no=171 label=Case6.159 nb_sol=0 ticks=931723 tps=100 nb_sec=9317 case_no=171 label=Case6.159 nb_sol=0 ticks=878290 tps=100 nb_sec=8782 case_no=171 label=Case6.159 nb_sol=0 ticks=1071088 tps=100 nb_sec=10710 case_no=171 label=Case6.159 nb_sol=0 ticks=944737 tps=100 nb_sec=9447 case_no=171 label=Case6.159 nb_sol=0 ticks=1434162 tps=100 nb_sec=14341 case_no=171 label=Case6.159 nb_sol=0 ticks=1278187 tps=100 nb_sec=12781 case_no=171 label=Case6.159 nb_sol=0 ticks=1079610 tps=100 nb_sec=10796 case_no=171 label=Case6.159 nb_sol=0 ticks=1190898 tps=100 nb_sec=11908 case_no=171 label=Case6.159 nb_sol=0 ticks=1023571 tps=100 nb_sec=10235 case_no=171 label=Case6.159 nb_sol=0 ticks=1236222 tps=100 nb_sec=12362 case_no=171 label=Case6.159 nb_sol=0 ticks=1203953 tps=100 nb_sec=12039 case_no=171 label=Case6.159 nb_sol=0 ticks=1378979 tps=100 nb_sec=13789 case_no=171 label=Case6.159 nb_sol=0 ticks=1325326 tps=100 nb_sec=13253 case_no=171 label=Case6.159 nb_sol=0 ticks=1411534 tps=100 nb_sec=14115 case_no=171 label=Case6.159 nb_sol=0 ticks=1458753 tps=100 nb_sec=14587 case_no=171 label=Case6.159 nb_sol=0 ticks=817741 tps=100 nb_sec=8177 case_no=171 label=Case6.159 nb_sol=0 ticks=858413 tps=100 nb_sec=8584 case_no=171 label=Case6.159 nb_sol=0 ticks=1285697 tps=100 nb_sec=12856 case_no=171 label=Case6.159 nb_sol=0 ticks=1255855 tps=100 nb_sec=12558 case_no=171 label=Case6.159 nb_sol=0 ticks=997012 tps=100 nb_sec=9970 case_no=171 label=Case6.159 nb_sol=0 ticks=1313815 tps=100 nb_sec=13138 case_no=171 label=Case6.159 nb_sol=0 ticks=1312598 tps=100 nb_sec=13125 case_no=171 label=Case6.159 nb_sol=0 ticks=1452002 tps=100 nb_sec=14520 case_no=171 label=Case6.159 nb_sol=0 ticks=1239940 tps=100 nb_sec=12399 case_no=171 label=Case6.159 nb_sol=0 ticks=1167074 tps=100 nb_sec=11670 case_no=171 label=Case6.159 nb_sol=0 ticks=619761 tps=100 nb_sec=6197 case_no=171 label=Case6.159 nb_sol=0 ticks=778266 tps=100 nb_sec=7782 case_no=171 label=Case6.159 nb_sol=0 ticks=1378196 tps=100 nb_sec=13781 case_no=171 label=Case6.159 nb_sol=0 ticks=1358380 tps=100 nb_sec=13583 case_no=171 label=Case6.159 nb_sol=0 ticks=1026304 tps=100 nb_sec=10263 case_no=171 label=Case6.159 nb_sol=0 ticks=1362846 tps=100 nb_sec=13628 case_no=171 label=Case6.159 nb_sol=0 ticks=779180 tps=100 nb_sec=7791 case_no=171 label=Case6.159 nb_sol=0 ticks=1102314 tps=100 nb_sec=11023 case_no=171 label=Case6.159 nb_sol=0 ticks=1171458 tps=100 nb_sec=11714 case_no=171 label=Case6.159 nb_sol=0 ticks=973670 tps=100 nb_sec=9736 case_no=171 label=Case6.159 nb_sol=0 ticks=1405284 tps=100 nb_sec=14052 case_no=171 label=Case6.159 nb_sol=0 ticks=1101883 tps=100 nb_sec=11018 case_no=171 label=Case6.159 nb_sol=0 ticks=1217458 tps=100 nb_sec=12174 case_no=171 label=Case6.159 nb_sol=0 ticks=1439675 tps=100 nb_sec=14396 case_no=171 label=Case6.159 nb_sol=0 ticks=1633467 tps=100 nb_sec=16334 case_no=171 label=Case6.159 nb_sol=0 ticks=1190315 tps=100 nb_sec=11903 case_no=171 label=Case6.159 nb_sol=0 ticks=1260527 tps=100 nb_sec=12605 case_no=171 label=Case6.159 nb_sol=0 ticks=1343874 tps=100 nb_sec=13438 case_no=171 label=Case6.159 nb_sol=0 ticks=1325075 tps=100 nb_sec=13250 case_no=171 label=Case6.159 nb_sol=0 ticks=1510233 tps=100 nb_sec=15102 case_no=171 label=Case6.159 nb_sol=0 ticks=1097466 tps=100 nb_sec=10974 case_no=171 label=Case6.159 nb_sol=0 ticks=1202962 tps=100 nb_sec=12029 case_no=171 label=Case6.159 nb_sol=0 ticks=996296 tps=100 nb_sec=9962 case_no=171 label=Case6.159 nb_sol=0 ticks=1308130 tps=100 nb_sec=13081 case_no=171 label=Case6.159 nb_sol=0 ticks=1732561 tps=100 nb_sec=17325 case_no=171 label=Case6.159 nb_sol=0 ticks=1090885 tps=100 nb_sec=10908 case_no=171 label=Case6.159 nb_sol=0 ticks=1127007 tps=100 nb_sec=11270 case_no=171 label=Case6.159 nb_sol=0 ticks=1174854 tps=100 nb_sec=11748 case_no=171 label=Case6.159 nb_sol=0 ticks=966405 tps=100 nb_sec=9664 case_no=171 label=Case6.159 nb_sol=0 ticks=695323 tps=100 nb_sec=6953 case_no=171 label=Case6.159 nb_sol=0 ticks=1273028 tps=100 nb_sec=12730 case_no=171 label=Case6.159 nb_sol=0 ticks=1195937 tps=100 nb_sec=11959 case_no=171 label=Case6.159 nb_sol=0 ticks=977588 tps=100 nb_sec=9775 case_no=171 label=Case6.159 nb_sol=0 ticks=742919 tps=100 nb_sec=7429 case_no=171 label=Case6.159 nb_sol=0 ticks=922656 tps=100 nb_sec=9226 case_no=171 label=Case6.159 nb_sol=0 ticks=1008635 tps=100 nb_sec=10086 case_no=171 label=Case6.159 nb_sol=0 ticks=1008086 tps=100 nb_sec=10080 case_no=171 label=Case6.159 nb_sol=0 ticks=987656 tps=100 nb_sec=9876 case_no=171 label=Case6.159 nb_sol=0 ticks=1321240 tps=100 nb_sec=13212 case_no=171 label=Case6.159 nb_sol=0 ticks=1384595 tps=100 nb_sec=13845 case_no=171 label=Case6.159 nb_sol=0 ticks=780378 tps=100 nb_sec=7803 case_no=171 label=Case6.159 nb_sol=0 ticks=1212084 tps=100 nb_sec=12120 case_no=171 label=Case6.159 nb_sol=0 ticks=1211861 tps=100 nb_sec=12118 case_no=171 label=Case6.159 nb_sol=0 ticks=1183802 tps=100 nb_sec=11838 case_no=171 label=Case6.159 nb_sol=0 ticks=1519243 tps=100 nb_sec=15192 case_no=171 label=Case6.159 nb_sol=0 ticks=819629 tps=100 nb_sec=8196 case_no=171 label=Case6.159 nb_sol=0 ticks=1072748 tps=100 nb_sec=10727 case_no=171 label=Case6.159 nb_sol=0 ticks=1490637 tps=100 nb_sec=14906 case_no=171 label=Case6.159 nb_sol=0 ticks=763466 tps=100 nb_sec=7634 case_no=171 label=Case6.159 nb_sol=0 ticks=1432365 tps=100 nb_sec=14323 case_no=171 label=Case6.159 nb_sol=0 ticks=1331394 tps=100 nb_sec=13313 case_no=171 label=Case6.159 nb_sol=0 ticks=1020674 tps=100 nb_sec=10206 case_no=171 label=Case6.159 nb_sol=0 ticks=753905 tps=100 nb_sec=7539 case_no=171 label=Case6.159 nb_sol=0 ticks=1174175 tps=100 nb_sec=11741 case_no=171 label=Case6.159 nb_sol=0 ticks=1345158 tps=100 nb_sec=13451 case_no=171 label=Case6.159 nb_sol=0 ticks=1164981 tps=100 nb_sec=11649 case_no=171 label=Case6.159 nb_sol=0 ticks=1369371 tps=100 nb_sec=13693 case_no=171 label=Case6.159 nb_sol=0 ticks=1291791 tps=100 nb_sec=12917 case_no=171 label=Case6.159 nb_sol=0 ticks=1222531 tps=100 nb_sec=12225 case_no=171 label=Case6.159 nb_sol=0 ticks=984695 tps=100 nb_sec=9846 case_no=171 label=Case6.159 nb_sol=0 ticks=1322739 tps=100 nb_sec=13227 case_no=171 label=Case6.159 nb_sol=0 ticks=867564 tps=100 nb_sec=8675 case_no=171 label=Case6.159 nb_sol=0 ticks=1244802 tps=100 nb_sec=12448 case_no=171 label=Case6.159 nb_sol=0 ticks=975327 tps=100 nb_sec=9753 case_no=171 label=Case6.159 nb_sol=0 ticks=1195612 tps=100 nb_sec=11956 case_no=171 label=Case6.159 nb_sol=0 ticks=2456400 tps=100 nb_sec=24564 case_no=171 label=Case6.159 nb_sol=0 ticks=1027673 tps=100 nb_sec=10276 case_no=171 label=Case6.159 nb_sol=0 ticks=1591664 tps=100 nb_sec=15916 case_no=171 label=Case6.159 nb_sol=0 ticks=1218859 tps=100 nb_sec=12188 case_no=171 label=Case6.159 nb_sol=0 ticks=1140077 tps=100 nb_sec=11400 case_no=171 label=Case6.159 nb_sol=0 ticks=812101 tps=100 nb_sec=8121 case_no=171 label=Case6.159 nb_sol=0 ticks=1262422 tps=100 nb_sec=12624 case_no=171 label=Case6.159 nb_sol=0 ticks=1056057 tps=100 nb_sec=10560 case_no=171 label=Case6.159 nb_sol=0 ticks=899314 tps=100 nb_sec=8993 case_no=171 label=Case6.159 nb_sol=0 ticks=1558016 tps=100 nb_sec=15580 case_no=171 label=Case6.159 nb_sol=0 ticks=833355 tps=100 nb_sec=8333 case_no=171 label=Case6.159 nb_sol=0 ticks=998007 tps=100 nb_sec=9980 case_no=171 label=Case6.159 nb_sol=0 ticks=969960 tps=100 nb_sec=9699 case_no=171 label=Case6.159 nb_sol=0 ticks=1189332 tps=100 nb_sec=11893 case_no=171 label=Case6.159 nb_sol=0 ticks=1145766 tps=100 nb_sec=11457 case_no=171 label=Case6.159 nb_sol=0 ticks=1256435 tps=100 nb_sec=12564 case_no=171 label=Case6.159 nb_sol=0 ticks=1388574 tps=100 nb_sec=13885 case_no=171 label=Case6.159 nb_sol=0 ticks=1318331 tps=100 nb_sec=13183 case_no=171 label=Case6.159 nb_sol=0 ticks=1522398 tps=100 nb_sec=15223 case_no=171 label=Case6.159 nb_sol=0 ticks=1078900 tps=100 nb_sec=10789 case_no=171 label=Case6.159 nb_sol=0 ticks=676110 tps=100 nb_sec=6761 case_no=171 label=Case6.159 nb_sol=0 ticks=1232486 tps=100 nb_sec=12324 case_no=171 label=Case6.159 nb_sol=0 ticks=699004 tps=100 nb_sec=6990 case_no=171 label=Case6.159 nb_sol=0 ticks=1220753 tps=100 nb_sec=12207 case_no=171 label=Case6.159 nb_sol=0 ticks=1273952 tps=100 nb_sec=12739 case_no=171 label=Case6.159 nb_sol=0 ticks=1268447 tps=100 nb_sec=12684 case_no=171 label=Case6.159 nb_sol=0 ticks=1287909 tps=100 nb_sec=12879 case_no=171 label=Case6.159 nb_sol=0 ticks=1347086 tps=100 nb_sec=13470 case_no=171 label=Case6.159 nb_sol=0 ticks=591817 tps=100 nb_sec=5918 case_no=171 label=Case6.159 nb_sol=0 ticks=1134860 tps=100 nb_sec=11348 case_no=171 label=Case6.159 nb_sol=0 ticks=527682 tps=100 nb_sec=5276 case_no=171 label=Case6.159 nb_sol=0 ticks=484942 tps=100 nb_sec=4849 case_no=171 label=Case6.159 nb_sol=0 ticks=1238539 tps=100 nb_sec=12385 case_no=171 label=Case6.159 nb_sol=0 ticks=1313702 tps=100 nb_sec=13137 case_no=171 label=Case6.159 nb_sol=0 ticks=695725 tps=100 nb_sec=6957 case_no=171 label=Case6.159 nb_sol=0 ticks=643220 tps=100 nb_sec=6432 case_no=171 label=Case6.159 nb_sol=0 ticks=882374 tps=100 nb_sec=8823 case_no=171 label=Case6.159 nb_sol=0 ticks=1264452 tps=100 nb_sec=12644 case_no=171 label=Case6.159 nb_sol=0 ticks=1404992 tps=100 nb_sec=14049 case_no=171 label=Case6.159 nb_sol=0 ticks=734301 tps=100 nb_sec=7343 case_no=171 label=Case6.159 nb_sol=0 ticks=1446554 tps=100 nb_sec=14465 case_no=171 label=Case6.159 nb_sol=0 ticks=1301374 tps=100 nb_sec=13013 case_no=171 label=Case6.159 nb_sol=0 ticks=1580461 tps=100 nb_sec=15804 case_no=171 label=Case6.159 nb_sol=0 ticks=1397327 tps=100 nb_sec=13973 case_no=171 label=Case6.159 nb_sol=0 ticks=1399600 tps=100 nb_sec=13996 case_no=171 label=Case6.159 nb_sol=0 ticks=1144408 tps=100 nb_sec=11444 case_no=171 label=Case6.159 nb_sol=0 ticks=1203947 tps=100 nb_sec=12039 case_no=171 label=Case6.159 nb_sol=0 ticks=1096150 tps=100 nb_sec=10961 case_no=171 label=Case6.159 nb_sol=0 ticks=1266183 tps=100 nb_sec=12661 case_no=171 label=Case6.159 nb_sol=0 ticks=1499045 tps=100 nb_sec=14990 case_no=171 label=Case6.159 nb_sol=0 ticks=1454737 tps=100 nb_sec=14547 case_no=171 label=Case6.159 nb_sol=0 ticks=803614 tps=100 nb_sec=8036 case_no=171 label=Case6.159 nb_sol=0 ticks=1487812 tps=100 nb_sec=14878 case_no=171 label=Case6.159 nb_sol=0 ticks=1203813 tps=100 nb_sec=12038 case_no=171 label=Case6.159 nb_sol=0 ticks=1093392 tps=100 nb_sec=10933 case_no=171 label=Case6.159 nb_sol=0 ticks=1144112 tps=100 nb_sec=11441 case_no=171 label=Case6.159 nb_sol=0 ticks=641677 tps=100 nb_sec=6416 case_no=171 label=Case6.159 nb_sol=0 ticks=724674 tps=100 nb_sec=7246 case_no=171 label=Case6.159 nb_sol=0 ticks=2294833 tps=100 nb_sec=22948 case_no=171 label=Case6.159 nb_sol=0 ticks=1280665 tps=100 nb_sec=12806 case_no=171 label=Case6.159 nb_sol=0 ticks=1486782 tps=100 nb_sec=14867 case_no=171 label=Case6.159 nb_sol=0 ticks=1288913 tps=100 nb_sec=12889 case_no=171 label=Case6.159 nb_sol=0 ticks=1432816 tps=100 nb_sec=14328 case_no=171 label=Case6.159 nb_sol=0 ticks=778092 tps=100 nb_sec=7780 case_no=171 label=Case6.159 nb_sol=0 ticks=1458502 tps=100 nb_sec=14585 case_no=171 label=Case6.159 nb_sol=0 ticks=1216632 tps=100 nb_sec=12166 case_no=171 label=Case6.159 nb_sol=0 ticks=1287745 tps=100 nb_sec=12877 case_no=171 label=Case6.159 nb_sol=0 ticks=1132149 tps=100 nb_sec=11321 case_no=171 label=Case6.159 nb_sol=0 ticks=1560199 tps=100 nb_sec=15601 case_no=171 label=Case6.159 nb_sol=0 ticks=1263919 tps=100 nb_sec=12639 case_no=171 label=Case6.159 nb_sol=0 ticks=1967139 tps=100 nb_sec=19671 case_no=171 label=Case6.159 nb_sol=0 ticks=643096 tps=100 nb_sec=6430 case_no=171 label=Case6.159 nb_sol=0 ticks=1260507 tps=100 nb_sec=12605 case_no=171 label=Case6.159 nb_sol=0 ticks=1171719 tps=100 nb_sec=11717 case_no=171 label=Case6.159 nb_sol=0 ticks=782101 tps=100 nb_sec=7821 case_no=171 label=Case6.159 nb_sol=0 ticks=1660348 tps=100 nb_sec=16603 case_no=171 label=Case6.159 nb_sol=0 ticks=1290813 tps=100 nb_sec=12908 case_no=171 label=Case6.159 nb_sol=0 ticks=1580548 tps=100 nb_sec=15805 case_no=171 label=Case6.159 nb_sol=0 ticks=1241887 tps=100 nb_sec=12418 case_no=171 label=Case6.159 nb_sol=0 ticks=1196627 tps=100 nb_sec=11966 case_no=171 label=Case6.159 nb_sol=0 ticks=1631173 tps=100 nb_sec=16311 case_no=171 label=Case6.159 nb_sol=0 ticks=942869 tps=100 nb_sec=9428 case_no=171 label=Case6.159 nb_sol=0 ticks=763026 tps=100 nb_sec=7630 case_no=171 label=Case6.159 nb_sol=0 ticks=1109089 tps=100 nb_sec=11090 case_no=171 label=Case6.159 nb_sol=0 ticks=1083777 tps=100 nb_sec=10837 case_no=171 label=Case6.159 nb_sol=0 ticks=1054497 tps=100 nb_sec=10544 case_no=171 label=Case6.159 nb_sol=0 ticks=915499 tps=100 nb_sec=9154 case_no=171 label=Case6.159 nb_sol=0 ticks=1183256 tps=100 nb_sec=11832 case_no=171 label=Case6.159 nb_sol=0 ticks=1572791 tps=100 nb_sec=15727 case_no=171 label=Case6.159 nb_sol=0 ticks=653780 tps=100 nb_sec=6537 case_no=171 label=Case6.159 nb_sol=0 ticks=1318948 tps=100 nb_sec=13189 case_no=171 label=Case6.159 nb_sol=0 ticks=901222 tps=100 nb_sec=9012 case_no=171 label=Case6.159 nb_sol=0 ticks=1358337 tps=100 nb_sec=13583 case_no=171 label=Case6.159 nb_sol=0 ticks=906197 tps=100 nb_sec=9061 case_no=171 label=Case6.159 nb_sol=0 ticks=2135219 tps=100 nb_sec=21352 case_no=171 label=Case6.159 nb_sol=0 ticks=630328 tps=100 nb_sec=6303 case_no=171 label=Case6.159 nb_sol=0 ticks=1499130 tps=100 nb_sec=14991 case_no=171 label=Case6.159 nb_sol=0 ticks=1261084 tps=100 nb_sec=12610 case_no=171 label=Case6.159 nb_sol=0 ticks=1359166 tps=100 nb_sec=13591 case_no=171 label=Case6.159 nb_sol=0 ticks=620521 tps=100 nb_sec=6205 case_no=171 label=Case6.159 nb_sol=0 ticks=1176229 tps=100 nb_sec=11762 case_no=171 label=Case6.159 nb_sol=0 ticks=709037 tps=100 nb_sec=7090 case_no=171 label=Case6.159 nb_sol=0 ticks=933020 tps=100 nb_sec=9330 case_no=171 label=Case6.159 nb_sol=0 ticks=628741 tps=100 nb_sec=6287 case_no=171 label=Case6.159 nb_sol=0 ticks=1815923 tps=100 nb_sec=18159 case_no=171 label=Case6.159 nb_sol=0 ticks=646209 tps=100 nb_sec=6462 case_no=171 label=Case6.159 nb_sol=0 ticks=703738 tps=100 nb_sec=7037 case_no=171 label=Case6.159 nb_sol=0 ticks=621982 tps=100 nb_sec=6219 case_no=171 label=Case6.159 nb_sol=0 ticks=1383082 tps=100 nb_sec=13830 case_no=171 label=Case6.159 nb_sol=0 ticks=1289150 tps=100 nb_sec=12891 case_no=171 label=Case6.159 nb_sol=0 ticks=1399349 tps=100 nb_sec=13993 case_no=171 label=Case6.159 nb_sol=0 ticks=876564 tps=100 nb_sec=8765 case_no=171 label=Case6.159 nb_sol=0 ticks=1166119 tps=100 nb_sec=11661 case_no=171 label=Case6.159 nb_sol=0 ticks=865543 tps=100 nb_sec=8655 case_no=171 label=Case6.159 nb_sol=0 ticks=1339212 tps=100 nb_sec=13392 case_no=171 label=Case6.159 nb_sol=0 ticks=1222686 tps=100 nb_sec=12226 case_no=171 label=Case6.159 nb_sol=0 ticks=2008180 tps=100 nb_sec=20081 case_no=171 label=Case6.159 nb_sol=0 ticks=579870 tps=100 nb_sec=5798 case_no=171 label=Case6.159 nb_sol=0 ticks=1615382 tps=100 nb_sec=16153 case_no=171 label=Case6.159 nb_sol=0 ticks=1017748 tps=100 nb_sec=10177 case_no=171 label=Case6.159 nb_sol=0 ticks=1056023 tps=100 nb_sec=10560 case_no=171 label=Case6.159 nb_sol=0 ticks=1074452 tps=100 nb_sec=10744 case_no=171 label=Case6.159 nb_sol=0 ticks=1087910 tps=100 nb_sec=10879 case_no=171 label=Case6.159 nb_sol=0 ticks=1013123 tps=100 nb_sec=10131 case_no=171 label=Case6.159 nb_sol=0 ticks=1629536 tps=100 nb_sec=16295 case_no=171 label=Case6.159 nb_sol=0 ticks=905371 tps=100 nb_sec=9053 case_no=171 label=Case6.159 nb_sol=0 ticks=947729 tps=100 nb_sec=9477 case_no=171 label=Case6.159 nb_sol=0 ticks=792448 tps=100 nb_sec=7924 case_no=171 label=Case6.159 nb_sol=0 ticks=1467759 tps=100 nb_sec=14677 case_no=171 label=Case6.159 nb_sol=0 ticks=1093851 tps=100 nb_sec=10938 case_no=171 label=Case6.159 nb_sol=0 ticks=1802490 tps=100 nb_sec=18024 case_no=171 label=Case6.159 nb_sol=0 ticks=825158 tps=100 nb_sec=8251 case_no=171 label=Case6.159 nb_sol=0 ticks=1303964 tps=100 nb_sec=13039 case_no=171 label=Case6.159 nb_sol=0 ticks=662420 tps=100 nb_sec=6624 case_no=171 label=Case6.159 nb_sol=0 ticks=1431551 tps=100 nb_sec=14315 case_no=171 label=Case6.159 nb_sol=0 ticks=779255 tps=100 nb_sec=7792 case_no=171 label=Case6.159 nb_sol=0 ticks=1887594 tps=100 nb_sec=18875 case_no=171 label=Case6.159 nb_sol=0 ticks=1092668 tps=100 nb_sec=10926 case_no=171 label=Case6.159 nb_sol=0 ticks=1326057 tps=100 nb_sec=13260 case_no=171 label=Case6.159 nb_sol=0 ticks=1315214 tps=100 nb_sec=13152 case_no=171 label=Case6.159 nb_sol=0 ticks=1129986 tps=100 nb_sec=11299 case_no=171 label=Case6.159 nb_sol=0 ticks=708475 tps=100 nb_sec=7084 case_no=171 label=Case6.159 nb_sol=0 ticks=910305 tps=100 nb_sec=9103 case_no=171 label=Case6.159 nb_sol=0 ticks=1068827 tps=100 nb_sec=10688 case_no=171 label=Case6.159 nb_sol=0 ticks=1201305 tps=100 nb_sec=12013 case_no=171 label=Case6.159 nb_sol=0 ticks=1026156 tps=100 nb_sec=10261 case_no=171 label=Case6.159 nb_sol=0 ticks=1240637 tps=100 nb_sec=12406 case_no=171 label=Case6.159 nb_sol=0 ticks=948776 tps=100 nb_sec=9487 case_no=171 label=Case6.159 nb_sol=0 ticks=1288722 tps=100 nb_sec=12887 case_no=171 label=Case6.159 nb_sol=0 ticks=1108648 tps=100 nb_sec=11086 case_no=171 label=Case6.159 nb_sol=0 ticks=1186358 tps=100 nb_sec=11863 case_no=171 label=Case6.159 nb_sol=0 ticks=759072 tps=100 nb_sec=7590 case_no=171 label=Case6.159 nb_sol=0 ticks=1545484 tps=100 nb_sec=15454 case_no=171 label=Case6.159 nb_sol=0 ticks=1159176 tps=100 nb_sec=11591 case_no=171 label=Case6.159 nb_sol=0 ticks=1489222 tps=100 nb_sec=14892 case_no=171 label=Case6.159 nb_sol=0 ticks=1134196 tps=100 nb_sec=11341 case_no=171 label=Case6.159 nb_sol=0 ticks=1266250 tps=100 nb_sec=12662 case_no=171 label=Case6.159 nb_sol=0 ticks=806790 tps=100 nb_sec=8067 case_no=171 label=Case6.159 nb_sol=0 ticks=1182734 tps=100 nb_sec=11827 case_no=171 label=Case6.159 nb_sol=0 ticks=1108310 tps=100 nb_sec=11083 case_no=171 label=Case6.159 nb_sol=0 ticks=1342982 tps=100 nb_sec=13429 case_no=171 label=Case6.159 nb_sol=0 ticks=652004 tps=100 nb_sec=6520 case_no=171 label=Case6.159 nb_sol=0 ticks=1509182 tps=100 nb_sec=15091 case_no=171 label=Case6.159 nb_sol=0 ticks=812073 tps=100 nb_sec=8120 case_no=171 label=Case6.159 nb_sol=0 ticks=1238158 tps=100 nb_sec=12381 case_no=171 label=Case6.159 nb_sol=0 ticks=962995 tps=100 nb_sec=9629 case_no=171 label=Case6.159 nb_sol=0 ticks=1126197 tps=100 nb_sec=11261 case_no=171 label=Case6.159 nb_sol=0 ticks=1169669 tps=100 nb_sec=11696 case_no=171 label=Case6.159 nb_sol=0 ticks=1383466 tps=100 nb_sec=13834 case_no=171 label=Case6.159 nb_sol=0 ticks=1325562 tps=100 nb_sec=13255 case_no=171 label=Case6.159 nb_sol=0 ticks=1416127 tps=100 nb_sec=14161 case_no=171 label=Case6.159 nb_sol=0 ticks=1189612 tps=100 nb_sec=11896 case_no=171 label=Case6.159 nb_sol=0 ticks=1175734 tps=100 nb_sec=11757 case_no=171 label=Case6.159 nb_sol=0 ticks=778990 tps=100 nb_sec=7789 case_no=171 label=Case6.159 nb_sol=0 ticks=1432730 tps=100 nb_sec=14327 case_no=171 label=Case6.159 nb_sol=0 ticks=719647 tps=100 nb_sec=7196 Nb_sol=0 Nb_sec=6166911 71-9:1:51 or 1713 hours missing cases: none