Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r483-tall-167912696000688.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is TokenRing-PT-030, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696000688
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 231M
-rw-r--r-- 1 mcc users 842K Feb 25 17:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 4.0M Feb 25 17:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 20M Feb 25 16:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 69M Feb 25 16:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 583K Feb 25 17:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.0M Feb 25 17:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.7M Feb 25 17:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 26M Feb 25 17:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.6M Feb 25 20:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13M Feb 25 20:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17M Feb 25 19:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57M Feb 25 18:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 102K Feb 25 17:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 262K Feb 25 17:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 14M Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679175614770

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=TokenRing-PT-030
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running TokenRing (PT), instance 030
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 961 places, 27931 transitions, 111724 arcs.
AT ITER 0 NEW BEST:: SOT 13990011 SOS 1890929 HAS SOPS 1139696 HAS SOUS 946323 HAS SOUPS 917700 WITH SCORE 919590.929
AT ITER 139 NEW BEST:: SOT 13990341 SOS 1891998 HAS SOPS 1141092 HAS SOUS 946093 HAS SOUPS 917474 WITH SCORE 919365.998
AT ITER 156 NEW BEST:: SOT 13990663 SOS 1895272 HAS SOPS 1144366 HAS SOUS 945695 HAS SOUPS 917076 WITH SCORE 918971.272
AT ITER 168 NEW BEST:: SOT 13990933 SOS 1896334 HAS SOPS 1145698 HAS SOUS 945353 HAS SOUPS 916738 WITH SCORE 918634.334
AT ITER 194 NEW BEST:: SOT 13991333 SOS 1899654 HAS SOPS 1149018 HAS SOUS 945065 HAS SOUPS 916450 WITH SCORE 918349.654
AT ITER 202 NEW BEST:: SOT 13991573 SOS 1900374 HAS SOPS 1149978 HAS SOUS 944872 HAS SOUPS 916257 WITH SCORE 918157.374
AT ITER 230 NEW BEST:: SOT 13993358 SOS 1906045 HAS SOPS 1155159 HAS SOUS 944786 HAS SOUPS 916146 WITH SCORE 918052.045
AT ITER 231 NEW BEST:: SOT 13993748 SOS 1907149 HAS SOPS 1156653 HAS SOUS 944700 HAS SOUPS 916066 WITH SCORE 917973.149
AT ITER 232 NEW BEST:: SOT 13994002 SOS 1908089 HAS SOPS 1157847 HAS SOUS 944300 HAS SOUPS 915661 WITH SCORE 917569.089
AT ITER 248 NEW BEST:: SOT 13993740 SOS 1908043 HAS SOPS 1158131 HAS SOUS 944101 HAS SOUPS 915473 WITH SCORE 917381.043
AT ITER 319 NEW BEST:: SOT 13993913 SOS 1909978 HAS SOPS 1160066 HAS SOUS 942512 HAS SOUPS 913884 WITH SCORE 915793.978
AT ITER 321 NEW BEST:: SOT 13994793 SOS 1913444 HAS SOPS 1164056 HAS SOUS 942286 HAS SOUPS 913638 WITH SCORE 915551.444
AT ITER 337 NEW BEST:: SOT 13995221 SOS 1916798 HAS SOPS 1167410 HAS SOUS 940718 HAS SOUPS 912070 WITH SCORE 913986.798
AT ITER 355 NEW BEST:: SOT 13995549 SOS 1918711 HAS SOPS 1169300 HAS SOUS 940236 HAS SOUPS 911587 WITH SCORE 913505.711
AT ITER 366 NEW BEST:: SOT 13995843 SOS 1919929 HAS SOPS 1170812 HAS SOUS 939882 HAS SOUPS 911240 WITH SCORE 913159.929
AT ITER 421 NEW BEST:: SOT 13995488 SOS 1919323 HAS SOPS 1171064 HAS SOUS 939778 HAS SOUPS 911157 WITH SCORE 913076.323
AT ITER 460 NEW BEST:: SOT 13995514 SOS 1919802 HAS SOPS 1172686 HAS SOUS 939444 HAS SOUPS 910848 WITH SCORE 912767.802
AT ITER 488 NEW BEST:: SOT 13995776 SOS 1923012 HAS SOPS 1175896 HAS SOUS 939052 HAS SOUPS 910456 WITH SCORE 912379.012
AT ITER 501 NEW BEST:: SOT 13996148 SOS 1924272 HAS SOPS 1177490 HAS SOUS 938816 HAS SOUPS 910227 WITH SCORE 912151.272
AT ITER 507 NEW BEST:: SOT 13996380 SOS 1924906 HAS SOPS 1178356 HAS SOUS 938663 HAS SOUPS 910074 WITH SCORE 911998.906
AT ITER 523 NEW BEST:: SOT 13996775 SOS 1926748 HAS SOPS 1180157 HAS SOUS 938417 HAS SOUPS 909826 WITH SCORE 911752.748
AT ITER 558 NEW BEST:: SOT 13996991 SOS 1927540 HAS SOPS 1181117 HAS SOUS 938112 HAS SOUPS 909521 WITH SCORE 911448.54
AT ITER 626 NEW BEST:: SOT 13997289 SOS 1928905 HAS SOPS 1182781 HAS SOUS 937658 HAS SOUPS 909075 WITH SCORE 911003.905
AT ITER 639 NEW BEST:: SOT 13997367 SOS 1929659 HAS SOPS 1183613 HAS SOUS 937087 HAS SOUPS 908503 WITH SCORE 910432.659
AT ITER 726 NEW BEST:: SOT 13997566 SOS 1932126 HAS SOPS 1186080 HAS SOUS 935204 HAS SOUPS 906620 WITH SCORE 908552.126
AT ITER 730 NEW BEST:: SOT 13997269 SOS 1932027 HAS SOPS 1186397 HAS SOUS 934275 HAS SOUPS 905705 WITH SCORE 907637.027
AT ITER 743 NEW BEST:: SOT 13997605 SOS 1933119 HAS SOPS 1187825 HAS SOUS 933987 HAS SOUPS 905413 WITH SCORE 907346.119
AT ITER 810 NEW BEST:: SOT 13998604 SOS 1937058 HAS SOPS 1191612 HAS SOUS 932711 HAS SOUPS 904109 WITH SCORE 906046.058
AT ITER 823 NEW BEST:: SOT 13998546 SOS 1937000 HAS SOPS 1191554 HAS SOUS 932653 HAS SOUPS 904051 WITH SCORE 905988.0
AT ITER 826 NEW BEST:: SOT 13998325 SOS 1936449 HAS SOPS 1191333 HAS SOUS 932173 HAS SOUPS 903590 WITH SCORE 905526.449
AT ITER 858 NEW BEST:: SOT 13998769 SOS 1939393 HAS SOPS 1194277 HAS SOUS 931419 HAS SOUPS 902836 WITH SCORE 904775.393
AT ITER 885 NEW BEST:: SOT 13999706 SOS 1943284 HAS SOPS 1198090 HAS SOUS 930890 HAS SOUPS 902301 WITH SCORE 904244.284
AT ITER 1003 NEW BEST:: SOT 13999882 SOS 1944430 HAS SOPS 1199408 HAS SOUS 930285 HAS SOUPS 901700 WITH SCORE 903644.43
AT ITER 1063 NEW BEST:: SOT 14000391 SOS 1947614 HAS SOPS 1202593 HAS SOUS 928119 HAS SOUPS 899534 WITH SCORE 901481.614
AT ITER 1072 NEW BEST:: SOT 14001443 SOS 1951439 HAS SOPS 1206383 HAS SOUS 927886 HAS SOUPS 899295 WITH SCORE 901246.439
AT ITER 1082 NEW BEST:: SOT 14001875 SOS 1953883 HAS SOPS 1208849 HAS SOUS 926275 HAS SOUPS 897685 WITH SCORE 899638.883
AT ITER 1129 NEW BEST:: SOT 14001996 SOS 1954506 HAS SOPS 1209472 HAS SOUS 925894 HAS SOUPS 897304 WITH SCORE 899258.506
AT ITER 1170 NEW BEST:: SOT 14001912 SOS 1954419 HAS SOPS 1209388 HAS SOUS 925807 HAS SOUPS 897220 WITH SCORE 899174.419
AT ITER 1231 NEW BEST:: SOT 14002034 SOS 1957273 HAS SOPS 1212242 HAS SOUS 925615 HAS SOUPS 897028 WITH SCORE 898985.273
AT ITER 1331 NEW BEST:: SOT 14002244 SOS 1959977 HAS SOPS 1214946 HAS SOUS 923331 HAS SOUPS 894744 WITH SCORE 896703.977
AT ITER 1335 NEW BEST:: SOT 14003676 SOS 1964353 HAS SOPS 1219150 HAS SOUS 922567 HAS SOUPS 893954 WITH SCORE 895918.353
AT ITER 1389 NEW BEST:: SOT 14005029 SOS 1968495 HAS SOPS 1222985 HAS SOUS 921813 HAS SOUPS 893178 WITH SCORE 895146.495
AT ITER 1433 NEW BEST:: SOT 14005640 SOS 1971084 HAS SOPS 1225574 HAS SOUS 920446 HAS SOUPS 891811 WITH SCORE 893782.084
AT ITER 1462 NEW BEST:: SOT 14005854 SOS 1971968 HAS SOPS 1226672 HAS SOUS 920075 HAS SOUPS 891441 WITH SCORE 893412.968
AT ITER 1507 NEW BEST:: SOT 14006383 SOS 1975436 HAS SOPS 1230115 HAS SOUS 919928 HAS SOUPS 891293 WITH SCORE 893268.436
AT ITER 1570 NEW BEST:: SOT 14006748 SOS 1978357 HAS SOPS 1233036 HAS SOUS 917923 HAS SOUPS 889288 WITH SCORE 891266.357
AT ITER 1587 NEW BEST:: SOT 14007737 SOS 1981898 HAS SOPS 1236551 HAS SOUS 917662 HAS SOUPS 889023 WITH SCORE 891004.898
AT ITER 1596 NEW BEST:: SOT 14008309 SOS 1985871 HAS SOPS 1240439 HAS SOUS 917654 HAS SOUPS 889010 WITH SCORE 890995.871
AT ITER 1607 NEW BEST:: SOT 14008600 SOS 1988494 HAS SOPS 1243062 HAS SOUS 915613 HAS SOUPS 886969 WITH SCORE 888957.494
AT ITER 1618 NEW BEST:: SOT 14008886 SOS 1989372 HAS SOPS 1244078 HAS SOUS 915277 HAS SOUPS 886633 WITH SCORE 888622.372
AT ITER 1628 NEW BEST:: SOT 14008710 SOS 1991175 HAS SOPS 1245288 HAS SOUS 913481 HAS SOUPS 884841 WITH SCORE 886832.175
AT ITER 1698 NEW BEST:: SOT 14008302 SOS 1990363 HAS SOPS 1244880 HAS SOUS 912609 HAS SOUPS 883997 WITH SCORE 885987.363
AT ITER 1702 NEW BEST:: SOT 14008713 SOS 1991182 HAS SOPS 1246041 HAS SOUS 912595 HAS SOUPS 883983 WITH SCORE 885974.182
AT ITER 1746 NEW BEST:: SOT 14010677 SOS 1998341 HAS SOPS 1251693 HAS SOUS 911999 HAS SOUPS 883320 WITH SCORE 885318.341
AT ITER 1817 NEW BEST:: SOT 14010489 SOS 1998280 HAS SOPS 1252659 HAS SOUS 911324 HAS SOUPS 882655 WITH SCORE 884653.28
AT ITER 1829 NEW BEST:: SOT 14010524 SOS 1998601 HAS SOPS 1252952 HAS SOUS 911062 HAS SOUPS 882393 WITH SCORE 884391.601
AT ITER 1839 NEW BEST:: SOT 14010353 SOS 1998603 HAS SOPS 1252253 HAS SOUS 910931 HAS SOUPS 882251 WITH SCORE 884249.603
AT ITER 1915 NEW BEST:: SOT 14010353 SOS 1999083 HAS SOPS 1252565 HAS SOUS 910396 HAS SOUPS 881716 WITH SCORE 883715.083
AT ITER 1930 NEW BEST:: SOT 14010339 SOS 2002055 HAS SOPS 1255537 HAS SOUS 909527 HAS SOUPS 880860 WITH SCORE 882862.055
AT ITER 1936 NEW BEST:: SOT 14008819 SOS 1998497 HAS SOPS 1253469 HAS SOUS 908216 HAS SOUPS 879608 WITH SCORE 881606.497
AT ITER 2146 NEW BEST:: SOT 14009362 SOS 2001234 HAS SOPS 1256202 HAS SOUS 906565 HAS SOUPS 877957 WITH SCORE 879958.234
AT ITER 2173 NEW BEST:: SOT 14009478 SOS 2004734 HAS SOPS 1259616 HAS SOUS 905734 HAS SOUPS 877139 WITH SCORE 879143.734
AT ITER 2177 NEW BEST:: SOT 14007272 SOS 2001836 HAS SOPS 1257587 HAS SOUS 904848 HAS SOUPS 876289 WITH SCORE 878290.836
AT ITER 2199 NEW BEST:: SOT 14007819 SOS 2004119 HAS SOPS 1259866 HAS SOUS 903659 HAS SOUPS 875100 WITH SCORE 877104.119
AT ITER 2299 NEW BEST:: SOT 14009074 SOS 2007831 HAS SOPS 1263523 HAS SOUS 902798 HAS SOUPS 874228 WITH SCORE 876235.831
AT ITER 2328 NEW BEST:: SOT 14009956 SOS 2009709 HAS SOPS 1266171 HAS SOUS 902634 HAS SOUPS 874064 WITH SCORE 876073.709
AT ITER 2441 NEW BEST:: SOT 14011012 SOS 2012905 HAS SOPS 1269253 HAS SOUS 901736 HAS SOUPS 873160 WITH SCORE 875172.905
AT ITER 2442 NEW BEST:: SOT 14011000 SOS 2012818 HAS SOPS 1269241 HAS SOUS 901706 HAS SOUPS 873133 WITH SCORE 875145.818
AT ITER 2502 NEW BEST:: SOT 14011200 SOS 2013498 HAS SOPS 1270101 HAS SOUS 901447 HAS SOUPS 872873 WITH SCORE 874886.498
AT ITER 2504 NEW BEST:: SOT 14010337 SOS 2012570 HAS SOPS 1268320 HAS SOUS 900665 HAS SOUPS 872091 WITH SCORE 874103.57
AT ITER 2507 NEW BEST:: SOT 14011174 SOS 2015071 HAS SOPS 1271437 HAS SOUS 900515 HAS SOUPS 871947 WITH SCORE 873962.071
AT ITER 2622 NEW BEST:: SOT 14012323 SOS 2019013 HAS SOPS 1275222 HAS SOUS 899367 HAS SOUPS 870783 WITH SCORE 872802.013
AT ITER 2661 NEW BEST:: SOT 14013494 SOS 2023163 HAS SOPS 1279283 HAS SOUS 899295 HAS SOUPS 870701 WITH SCORE 872724.163
AT ITER 2715 NEW BEST:: SOT 14013572 SOS 2023937 HAS SOPS 1280057 HAS SOUS 898677 HAS SOUPS 870083 WITH SCORE 872106.937
AT ITER 2760 NEW BEST:: SOT 14014003 SOS 2025861 HAS SOPS 1281980 HAS SOUS 897615 HAS SOUPS 869021 WITH SCORE 871046.861
AT ITER 2769 NEW BEST:: SOT 14015127 SOS 2029385 HAS SOPS 1285488 HAS SOUS 896562 HAS SOUPS 867958 WITH SCORE 869987.385
AT ITER 2780 NEW BEST:: SOT 14016779 SOS 2034999 HAS SOPS 1289662 HAS SOUS 895864 HAS SOUPS 867208 WITH SCORE 869242.999
AT ITER 2782 NEW BEST:: SOT 14017911 SOS 2038896 HAS SOPS 1293504 HAS SOUS 895812 HAS SOUPS 867147 WITH SCORE 869185.896
AT ITER 2807 NEW BEST:: SOT 14018312 SOS 2042159 HAS SOPS 1296761 HAS SOUS 893785 HAS SOUPS 865114 WITH SCORE 867156.159
AT ITER 2843 NEW BEST:: SOT 14018517 SOS 2042770 HAS SOPS 1297446 HAS SOUS 893611 HAS SOUPS 864940 WITH SCORE 866982.77
AT ITER 2849 NEW BEST:: SOT 14018882 SOS 2046433 HAS SOPS 1301091 HAS SOUS 893375 HAS SOUPS 864703 WITH SCORE 866749.433
AT ITER 2871 NEW BEST:: SOT 14019112 SOS 2046969 HAS SOPS 1301595 HAS SOUS 893361 HAS SOUPS 864687 WITH SCORE 866733.969
AT ITER 2883 NEW BEST:: SOT 14020782 SOS 2051605 HAS SOPS 1306227 HAS SOUS 892158 HAS SOUPS 863481 WITH SCORE 865532.605
AT ITER 2941 NEW BEST:: SOT 14021635 SOS 2054235 HAS SOPS 1308848 HAS SOUS 891358 HAS SOUPS 862681 WITH SCORE 864735.235
AT ITER 2953 NEW BEST:: SOT 14022297 SOS 2055747 HAS SOPS 1310986 HAS SOUS 891133 HAS SOUPS 862456 WITH SCORE 864511.747
AT ITER 2993 NEW BEST:: SOT 14022599 SOS 2056803 HAS SOPS 1312224 HAS SOUS 890652 HAS SOUPS 861975 WITH SCORE 864031.803
AT ITER 3000 NEW BEST:: SOT 14022879 SOS 2057633 HAS SOPS 1313288 HAS SOUS 890409 HAS SOUPS 861729 WITH SCORE 863786.633
AT ITER 3067 NEW BEST:: SOT 14022702 SOS 2057357 HAS SOPS 1313374 HAS SOUS 890331 HAS SOUPS 861660 WITH SCORE 863717.357
AT ITER 3099 NEW BEST:: SOT 14022653 SOS 2057288 HAS SOPS 1313307 HAS SOUS 890269 HAS SOUPS 861600 WITH SCORE 863657.288
AT ITER 3113 NEW BEST:: SOT 14021604 SOS 2055912 HAS SOPS 1313898 HAS SOUS 889671 HAS SOUPS 861058 WITH SCORE 863113.912
AT ITER 3118 NEW BEST:: SOT 14021976 SOS 2057249 HAS SOPS 1315226 HAS SOUS 889078 HAS SOUPS 860465 WITH SCORE 862522.249
AT ITER 3233 NEW BEST:: SOT 14022101 SOS 2057594 HAS SOPS 1315603 HAS SOUS 888972 HAS SOUPS 860359 WITH SCORE 862416.594
AT ITER 3239 NEW BEST:: SOT 14022607 SOS 2058500 HAS SOPS 1317297 HAS SOUS 888958 HAS SOUPS 860356 WITH SCORE 862414.5
AT ITER 3297 NEW BEST:: SOT 14022759 SOS 2059608 HAS SOPS 1318405 HAS SOUS 888154 HAS SOUPS 859552 WITH SCORE 861611.608
AT ITER 3340 NEW BEST:: SOT 14023481 SOS 2063464 HAS SOPS 1322191 HAS SOUS 886424 HAS SOUPS 857816 WITH SCORE 859879.464
AT ITER 3499 NEW BEST:: SOT 14025535 SOS 2070090 HAS SOPS 1327253 HAS SOUS 885797 HAS SOUPS 857128 WITH SCORE 859198.09
AT ITER 3505 NEW BEST:: SOT 14026711 SOS 2074158 HAS SOPS 1331225 HAS SOUS 885135 HAS SOUPS 856442 WITH SCORE 858516.158
AT ITER 3528 NEW BEST:: SOT 14027161 SOS 2075390 HAS SOPS 1332253 HAS SOUS 885144 HAS SOUPS 856440 WITH SCORE 858515.39
AT ITER 3542 NEW BEST:: SOT 14027530 SOS 2077970 HAS SOPS 1334830 HAS SOUS 883302 HAS SOUPS 854598 WITH SCORE 856675.97
AT ITER 3558 NEW BEST:: SOT 14028815 SOS 2081768 HAS SOPS 1338361 HAS SOUS 882477 HAS SOUPS 853760 WITH SCORE 855841.768
AT ITER 3582 NEW BEST:: SOT 14028789 SOS 2081829 HAS SOPS 1339507 HAS SOUS 881872 HAS SOUPS 853171 WITH SCORE 855252.829
AT ITER 3627 NEW BEST:: SOT 14029035 SOS 2082590 HAS SOPS 1340259 HAS SOUS 881603 HAS SOUPS 852902 WITH SCORE 854984.59
AT ITER 3659 NEW BEST:: SOT 14030670 SOS 2087776 HAS SOPS 1344714 HAS SOUS 880834 HAS SOUPS 852096 WITH SCORE 854183.776
AT ITER 3743 NEW BEST:: SOT 14031154 SOS 2089259 HAS SOPS 1346922 HAS SOUS 880674 HAS SOUPS 851961 WITH SCORE 854050.259
AT ITER 3777 NEW BEST:: SOT 14031431 SOS 2090024 HAS SOPS 1347857 HAS SOUS 880491 HAS SOUPS 851778 WITH SCORE 853868.024
AT ITER 3795 NEW BEST:: SOT 14031591 SOS 2090416 HAS SOPS 1348243 HAS SOUS 880419 HAS SOUPS 851706 WITH SCORE 853796.416
AT ITER 3879 NEW BEST:: SOT 14031864 SOS 2091860 HAS SOPS 1349688 HAS SOUS 879769 HAS SOUPS 851056 WITH SCORE 853147.86
AT ITER 3893 NEW BEST:: SOT 14032812 SOS 2094688 HAS SOPS 1351918 HAS SOUS 879550 HAS SOUPS 850814 WITH SCORE 852908.688
AT ITER 3899 NEW BEST:: SOT 14032775 SOS 2094635 HAS SOPS 1351932 HAS SOUS 879529 HAS SOUPS 850794 WITH SCORE 852888.635
AT ITER 3980 NEW BEST:: SOT 14032806 SOS 2094714 HAS SOPS 1352011 HAS SOUS 879512 HAS SOUPS 850777 WITH SCORE 852871.714
AT ITER 4031 NEW BEST:: SOT 14032776 SOS 2094656 HAS SOPS 1351981 HAS SOUS 879448 HAS SOUPS 850715 WITH SCORE 852809.656
AT ITER 4041 NEW BEST:: SOT 14033202 SOS 2097752 HAS SOPS 1355011 HAS SOUS 878848 HAS SOUPS 850086 WITH SCORE 852183.752
AT ITER 4061 NEW BEST:: SOT 14033698 SOS 2099030 HAS SOPS 1356443 HAS SOUS 878263 HAS SOUPS 849494 WITH SCORE 851593.03
AT ITER 4099 NEW BEST:: SOT 14034400 SOS 2101301 HAS SOPS 1358711 HAS SOUS 877396 HAS SOUPS 848627 WITH SCORE 850728.301
AT ITER 4115 NEW BEST:: SOT 14034641 SOS 2101892 HAS SOPS 1359352 HAS SOUS 877318 HAS SOUPS 848549 WITH SCORE 850650.892
AT ITER 4123 NEW BEST:: SOT 14034253 SOS 2101190 HAS SOPS 1358638 HAS SOUS 876562 HAS SOUPS 847793 WITH SCORE 849894.19
AT ITER 4137 NEW BEST:: SOT 14033982 SOS 2100684 HAS SOPS 1358157 HAS SOUS 876495 HAS SOUPS 847727 WITH SCORE 849827.684
AT ITER 4142 NEW BEST:: SOT 14035624 SOS 2104547 HAS SOPS 1361981 HAS SOUS 876350 HAS SOUPS 847568 WITH SCORE 849672.547
AT ITER 4148 NEW BEST:: SOT 14035602 SOS 2104526 HAS SOPS 1361959 HAS SOUS 876329 HAS SOUPS 847546 WITH SCORE 849650.526
AT ITER 4190 NEW BEST:: SOT 14036301 SOS 2106206 HAS SOPS 1364364 HAS SOUS 876300 HAS SOUPS 847505 WITH SCORE 849611.206
AT ITER 4289 NEW BEST:: SOT 14037514 SOS 2109285 HAS SOPS 1367357 HAS SOUS 875833 HAS SOUPS 847032 WITH SCORE 849141.285
AT ITER 4301 NEW BEST:: SOT 14037482 SOS 2109233 HAS SOPS 1367203 HAS SOUS 875818 HAS SOUPS 847017 WITH SCORE 849126.233
AT ITER 4302 NEW BEST:: SOT 14037854 SOS 2110235 HAS SOPS 1368487 HAS SOUS 875688 HAS SOUPS 846885 WITH SCORE 848995.235
AT ITER 4473 NEW BEST:: SOT 14037770 SOS 2110085 HAS SOPS 1368269 HAS SOUS 875673 HAS SOUPS 846870 WITH SCORE 848980.085
AT ITER 4509 NEW BEST:: SOT 14038087 SOS 2110868 HAS SOPS 1369052 HAS SOUS 875524 HAS SOUPS 846721 WITH SCORE 848831.868
AT ITER 4528 NEW BEST:: SOT 14037850 SOS 2110428 HAS SOPS 1368655 HAS SOUS 875304 HAS SOUPS 846507 WITH SCORE 848617.428
AT ITER 4579 NEW BEST:: SOT 14037790 SOS 2110254 HAS SOPS 1368537 HAS SOUS 875296 HAS SOUPS 846501 WITH SCORE 848611.254
AT ITER 4602 NEW BEST:: SOT 14037541 SOS 2110004 HAS SOPS 1369224 HAS SOUS 874304 HAS SOUPS 845533 WITH SCORE 847643.004
AT ITER 4639 NEW BEST:: SOT 14038733 SOS 2113540 HAS SOPS 1372642 HAS SOUS 874020 HAS SOUPS 845221 WITH SCORE 847334.54
AT ITER 4667 NEW BEST:: SOT 14039041 SOS 2114539 HAS SOPS 1373944 HAS SOUS 873665 HAS SOUPS 844866 WITH SCORE 846980.539
AT ITER 4749 NEW BEST:: SOT 14039275 SOS 2119059 HAS SOPS 1378476 HAS SOUS 873643 HAS SOUPS 844844 WITH SCORE 846963.059
AT ITER 4774 NEW BEST:: SOT 14040342 SOS 2120967 HAS SOPS 1381505 HAS SOUS 873584 HAS SOUPS 844794 WITH SCORE 846914.967
AT ITER 4809 NEW BEST:: SOT 14040425 SOS 2121191 HAS SOPS 1381726 HAS SOUS 873526 HAS SOUPS 844736 WITH SCORE 846857.191
AT ITER 4888 NEW BEST:: SOT 14040365 SOS 2121215 HAS SOPS 1381678 HAS SOUS 873386 HAS SOUPS 844596 WITH SCORE 846717.215
AT ITER 4963 NEW BEST:: SOT 14042396 SOS 2127022 HAS SOPS 1385945 HAS SOUS 873408 HAS SOUPS 844561 WITH SCORE 846688.022
AT ITER 5014 NEW BEST:: SOT 14042918 SOS 2129928 HAS SOPS 1388849 HAS SOUS 871546 HAS SOUPS 842699 WITH SCORE 844828.928
AT ITER 5029 NEW BEST:: SOT 14041757 SOS 2127962 HAS SOPS 1385860 HAS SOUS 871251 HAS SOUPS 842404 WITH SCORE 844531.962
AT ITER 5148 NEW BEST:: SOT 14041703 SOS 2127916 HAS SOPS 1385754 HAS SOUS 871191 HAS SOUPS 842344 WITH SCORE 844471.916
AT ITER 5166 NEW BEST:: SOT 14042140 SOS 2128922 HAS SOPS 1387063 HAS SOUS 871032 HAS SOUPS 842185 WITH SCORE 844313.922
AT ITER 5172 NEW BEST:: SOT 14043074 SOS 2136162 HAS SOPS 1394323 HAS SOUS 867613 HAS SOUPS 838773 WITH SCORE 840909.162
AT ITER 5266 NEW BEST:: SOT 14043597 SOS 2136953 HAS SOPS 1395910 HAS SOUS 867315 HAS SOUPS 838495 WITH SCORE 840631.953
AT ITER 5291 NEW BEST:: SOT 14043422 SOS 2136731 HAS SOPS 1396031 HAS SOUS 866784 HAS SOUPS 837977 WITH SCORE 840113.731
AT ITER 5333 NEW BEST:: SOT 14044151 SOS 2138279 HAS SOPS 1398242 HAS SOUS 866647 HAS SOUPS 837840 WITH SCORE 839978.279
AT ITER 5537 NEW BEST:: SOT 14044372 SOS 2138806 HAS SOPS 1398939 HAS SOUS 866579 HAS SOUPS 837772 WITH SCORE 839910.806
AT ITER 5557 NEW BEST:: SOT 14044257 SOS 2138690 HAS SOPS 1398824 HAS SOUS 866434 HAS SOUPS 837628 WITH SCORE 839766.69
AT ITER 5561 NEW BEST:: SOT 14044580 SOS 2139573 HAS SOPS 1399857 HAS SOUS 866169 HAS SOUPS 837363 WITH SCORE 839502.573
AT ITER 5574 NEW BEST:: SOT 14044685 SOS 2139902 HAS SOPS 1400186 HAS SOUS 866050 HAS SOUPS 837244 WITH SCORE 839383.902
AT ITER 5588 NEW BEST:: SOT 14044476 SOS 2139713 HAS SOPS 1400383 HAS SOUS 865387 HAS SOUPS 836595 WITH SCORE 838734.713
AT ITER 5603 NEW BEST:: SOT 14044649 SOS 2140638 HAS SOPS 1401014 HAS SOUS 864979 HAS SOUPS 836190 WITH SCORE 838330.638
AT ITER 5650 NEW BEST:: SOT 14044618 SOS 2140551 HAS SOPS 1400983 HAS SOUS 864911 HAS SOUPS 836125 WITH SCORE 838265.551
AT ITER 5657 NEW BEST:: SOT 14047242 SOS 2144817 HAS SOPS 1403082 HAS SOUS 863731 HAS SOUPS 834865 WITH SCORE 837009.817
AT ITER 5700 NEW BEST:: SOT 14045495 SOS 2143854 HAS SOPS 1402991 HAS SOUS 863173 HAS SOUPS 834281 WITH SCORE 836424.854
AT ITER 5706 NEW BEST:: SOT 14046026 SOS 2145157 HAS SOPS 1404606 HAS SOUS 862895 HAS SOUPS 834003 WITH SCORE 836148.157
AT ITER 5730 NEW BEST:: SOT 14046956 SOS 2147987 HAS SOPS 1407436 HAS SOUS 861925 HAS SOUPS 833033 WITH SCORE 835180.987
AT ITER 5751 NEW BEST:: SOT 14047336 SOS 2150043 HAS SOPS 1409532 HAS SOUS 860629 HAS SOUPS 831737 WITH SCORE 833887.043
AT ITER 5798 NEW BEST:: SOT 14049562 SOS 2156769 HAS SOPS 1414812 HAS SOUS 860556 HAS SOUPS 831603 WITH SCORE 833759.769
AT ITER 5969 NEW BEST:: SOT 14049236 SOS 2156093 HAS SOPS 1414276 HAS SOUS 860301 HAS SOUPS 831357 WITH SCORE 833513.093
AT ITER 5976 NEW BEST:: SOT 14048815 SOS 2155009 HAS SOPS 1413361 HAS SOUS 860233 HAS SOUPS 831299 WITH SCORE 833454.009
AT ITER 5988 NEW BEST:: SOT 14048698 SOS 2154848 HAS SOPS 1413082 HAS SOUS 860065 HAS SOUPS 831129 WITH SCORE 833283.848
AT ITER 6038 NEW BEST:: SOT 14049723 SOS 2157278 HAS SOPS 1415495 HAS SOUS 859685 HAS SOUPS 830749 WITH SCORE 832906.278
AT ITER 6131 NEW BEST:: SOT 14049981 SOS 2158116 HAS SOPS 1416465 HAS SOUS 859400 HAS SOUPS 830462 WITH SCORE 832620.116
AT ITER 6157 NEW BEST:: SOT 14050081 SOS 2158373 HAS SOPS 1416719 HAS SOUS 859343 HAS SOUPS 830405 WITH SCORE 832563.373
AT ITER 6168 NEW BEST:: SOT 14050763 SOS 2159742 HAS SOPS 1418577 HAS SOUS 859304 HAS SOUPS 830366 WITH SCORE 832525.742
AT ITER 6199 NEW BEST:: SOT 14051934 SOS 2162749 HAS SOPS 1421454 HAS SOUS 858763 HAS SOUPS 829821 WITH SCORE 831983.749
AT ITER 6229 NEW BEST:: SOT 14052283 SOS 2163434 HAS SOPS 1422213 HAS SOUS 858748 HAS SOUPS 829806 WITH SCORE 831969.434
AT ITER 6246 NEW BEST:: SOT 14052380 SOS 2164756 HAS SOPS 1423122 HAS SOUS 858147 HAS SOUPS 829188 WITH SCORE 831352.756
AT ITER 6266 NEW BEST:: SOT 14054554 SOS 2170349 HAS SOPS 1428350 HAS SOUS 857435 HAS SOUPS 828456 WITH SCORE 830626.349
AT ITER 6305 NEW BEST:: SOT 14053227 SOS 2168350 HAS SOPS 1425641 HAS SOUS 856414 HAS SOUPS 827446 WITH SCORE 829614.35
AT ITER 6309 NEW BEST:: SOT 14053362 SOS 2168650 HAS SOPS 1425928 HAS SOUS 856384 HAS SOUPS 827416 WITH SCORE 829584.65
AT ITER 6325 NEW BEST:: SOT 14054257 SOS 2170969 HAS SOPS 1428237 HAS SOUS 855855 HAS SOUPS 826887 WITH SCORE 829057.969
AT ITER 6381 NEW BEST:: SOT 14054234 SOS 2170911 HAS SOPS 1428214 HAS SOUS 855805 HAS SOUPS 826839 WITH SCORE 829009.911
AT ITER 6385 NEW BEST:: SOT 14053672 SOS 2170161 HAS SOPS 1428347 HAS SOUS 855431 HAS SOUPS 826494 WITH SCORE 828664.161
AT ITER 6392 NEW BEST:: SOT 14053629 SOS 2170074 HAS SOPS 1428304 HAS SOUS 855339 HAS SOUPS 826405 WITH SCORE 828575.074
AT ITER 6438 NEW BEST:: SOT 14053709 SOS 2170411 HAS SOPS 1428652 HAS SOUS 855162 HAS SOUPS 826228 WITH SCORE 828398.411
AT ITER 6458 NEW BEST:: SOT 14055839 SOS 2173337 HAS SOPS 1430354 HAS SOUS 853815 HAS SOUPS 824863 WITH SCORE 827036.337
AT ITER 6520 NEW BEST:: SOT 14055696 SOS 2173264 HAS SOPS 1430031 HAS SOUS 853602 HAS SOUPS 824650 WITH SCORE 826823.264
AT ITER 6572 NEW BEST:: SOT 14056069 SOS 2175266 HAS SOPS 1432090 HAS SOUS 852156 HAS SOUPS 823212 WITH SCORE 825387.266
AT ITER 6681 NEW BEST:: SOT 14056569 SOS 2177264 HAS SOPS 1434126 HAS SOUS 851096 HAS SOUPS 822154 WITH SCORE 824331.264
AT ITER 6707 NEW BEST:: SOT 14056028 SOS 2176070 HAS SOPS 1433051 HAS SOUS 850774 HAS SOUPS 821840 WITH SCORE 824016.07
AT ITER 6786 NEW BEST:: SOT 14056274 SOS 2176641 HAS SOPS 1433865 HAS SOUS 850709 HAS SOUPS 821775 WITH SCORE 823951.641
AT ITER 6829 NEW BEST:: SOT 14056796 SOS 2179360 HAS SOPS 1436081 HAS SOUS 850489 HAS SOUPS 821510 WITH SCORE 823689.36
AT ITER 6860 NEW BEST:: SOT 14058277 SOS 2181564 HAS SOPS 1439978 HAS SOUS 850372 HAS SOUPS 821371 WITH SCORE 823552.564
AT ITER 6975 NEW BEST:: SOT 14058074 SOS 2181361 HAS SOPS 1439775 HAS SOUS 850169 HAS SOUPS 821168 WITH SCORE 823349.361
AT ITER 7069 NEW BEST:: SOT 14058038 SOS 2181541 HAS SOPS 1439919 HAS SOUS 849926 HAS SOUPS 820925 WITH SCORE 823106.541
AT ITER 7105 NEW BEST:: SOT 14058790 SOS 2183003 HAS SOPS 1441991 HAS SOUS 849922 HAS SOUPS 820921 WITH SCORE 823104.003
AT ITER 7108 NEW BEST:: SOT 14059124 SOS 2184347 HAS SOPS 1443353 HAS SOUS 849370 HAS SOUPS 820369 WITH SCORE 822553.347
AT ITER 7169 NEW BEST:: SOT 14059703 SOS 2185760 HAS SOPS 1445418 HAS SOUS 849364 HAS SOUPS 820363 WITH SCORE 822548.76
AT ITER 7196 NEW BEST:: SOT 14059725 SOS 2186462 HAS SOPS 1446968 HAS SOUS 848655 HAS SOUPS 819684 WITH SCORE 821870.462
AT ITER 7285 NEW BEST:: SOT 14059980 SOS 2187059 HAS SOPS 1447555 HAS SOUS 848568 HAS SOUPS 819597 WITH SCORE 821784.059
AT ITER 7293 NEW BEST:: SOT 14059930 SOS 2187001 HAS SOPS 1447505 HAS SOUS 848464 HAS SOUPS 819495 WITH SCORE 821682.001
AT ITER 7297 NEW BEST:: SOT 14059754 SOS 2187279 HAS SOPS 1447213 HAS SOUS 847853 HAS SOUPS 818884 WITH SCORE 821071.279
AT ITER 7323 NEW BEST:: SOT 14059790 SOS 2187362 HAS SOPS 1447295 HAS SOUS 847842 HAS SOUPS 818873 WITH SCORE 821060.362
AT ITER 7328 NEW BEST:: SOT 14061453 SOS 2191683 HAS SOPS 1451228 HAS SOUS 847655 HAS SOUPS 818659 WITH SCORE 820850.683
AT ITER 7339 NEW BEST:: SOT 14061954 SOS 2193144 HAS SOPS 1454285 HAS SOUS 846997 HAS SOUPS 818027 WITH SCORE 820220.144
AT ITER 7420 NEW BEST:: SOT 14063738 SOS 2197740 HAS SOPS 1458551 HAS SOUS 846124 HAS SOUPS 817149 WITH SCORE 819346.74
AT ITER 7439 NEW BEST:: SOT 14063564 SOS 2196870 HAS SOPS 1458377 HAS SOUS 845716 HAS SOUPS 816771 WITH SCORE 818967.87
AT ITER 7487 NEW BEST:: SOT 14064719 SOS 2199440 HAS SOPS 1460970 HAS SOUS 845456 HAS SOUPS 816511 WITH SCORE 818710.44
AT ITER 7498 NEW BEST:: SOT 14064523 SOS 2199181 HAS SOPS 1461142 HAS SOUS 844858 HAS SOUPS 815928 WITH SCORE 818127.181
AT ITER 7527 NEW BEST:: SOT 14064494 SOS 2199118 HAS SOPS 1461101 HAS SOUS 844832 HAS SOUPS 815903 WITH SCORE 818102.118
AT ITER 7565 NEW BEST:: SOT 14065432 SOS 2203935 HAS SOPS 1466839 HAS SOUS 841860 HAS SOUPS 812954 WITH SCORE 815157.935
AT ITER 7587 NEW BEST:: SOT 14065436 SOS 2203988 HAS SOPS 1466959 HAS SOUS 841815 HAS SOUPS 812909 WITH SCORE 815112.988
AT ITER 7626 NEW BEST:: SOT 14063916 SOS 2200028 HAS SOPS 1464431 HAS SOUS 840937 HAS SOUPS 812089 WITH SCORE 814289.028
AT ITER 7689 NEW BEST:: SOT 14063737 SOS 2199634 HAS SOPS 1464852 HAS SOUS 840229 HAS SOUPS 811405 WITH SCORE 813604.634
AT ITER 7717 NEW BEST:: SOT 14067100 SOS 2203888 HAS SOPS 1466518 HAS SOUS 839860 HAS SOUPS 810991 WITH SCORE 813194.888
AT ITER 7755 NEW BEST:: SOT 14068228 SOS 2209508 HAS SOPS 1471288 HAS SOUS 839875 HAS SOUPS 810969 WITH SCORE 813178.508
AT ITER 7827 NEW BEST:: SOT 14069384 SOS 2211148 HAS SOPS 1472344 HAS SOUS 839617 HAS SOUPS 810719 WITH SCORE 812930.148
AT ITER 7854 NEW BEST:: SOT 14068264 SOS 2209613 HAS SOPS 1471343 HAS SOUS 838891 HAS SOUPS 809998 WITH SCORE 812207.613
AT ITER 7893 NEW BEST:: SOT 14068812 SOS 2210914 HAS SOPS 1473037 HAS SOUS 838851 HAS SOUPS 809957 WITH SCORE 812167.914
AT ITER 7975 NEW BEST:: SOT 14069200 SOS 2212107 HAS SOPS 1474223 HAS SOUS 838496 HAS SOUPS 809600 WITH SCORE 811812.107
AT ITER 8041 NEW BEST:: SOT 14070166 SOS 2216192 HAS SOPS 1479071 HAS SOUS 836126 HAS SOUPS 807237 WITH SCORE 809453.192
AT ITER 8065 NEW BEST:: SOT 14070437 SOS 2216915 HAS SOPS 1479810 HAS SOUS 835945 HAS SOUPS 807056 WITH SCORE 809272.915
AT ITER 8080 NEW BEST:: SOT 14073133 SOS 2223882 HAS SOPS 1486262 HAS SOUS 835856 HAS SOUPS 806942 WITH SCORE 809165.882
AT ITER 8087 NEW BEST:: SOT 14073089 SOS 2224130 HAS SOPS 1486190 HAS SOUS 835582 HAS SOUPS 806666 WITH SCORE 808890.13
AT ITER 8089 NEW BEST:: SOT 14073313 SOS 2226490 HAS SOPS 1488556 HAS SOUS 833577 HAS SOUPS 804664 WITH SCORE 806890.49
AT ITER 8106 NEW BEST:: SOT 14072742 SOS 2223912 HAS SOPS 1486145 HAS SOUS 833471 HAS SOUPS 804609 WITH SCORE 806832.912
AT ITER 8179 NEW BEST:: SOT 14073815 SOS 2227121 HAS SOPS 1489932 HAS SOUS 831974 HAS SOUPS 803126 WITH SCORE 805353.121
AT ITER 8191 NEW BEST:: SOT 14073795 SOS 2227034 HAS SOPS 1489912 HAS SOUS 831928 HAS SOUPS 803083 WITH SCORE 805310.034
AT ITER 8316 NEW BEST:: SOT 14073871 SOS 2227190 HAS SOPS 1490072 HAS SOUS 831924 HAS SOUPS 803079 WITH SCORE 805306.19
AT ITER 8337 NEW BEST:: SOT 14073798 SOS 2227074 HAS SOPS 1489999 HAS SOUS 831770 HAS SOUPS 802929 WITH SCORE 805156.074
AT ITER 8398 NEW BEST:: SOT 14075320 SOS 2231518 HAS SOPS 1494251 HAS SOUS 830494 HAS SOUPS 801649 WITH SCORE 803880.518
AT ITER 8414 NEW BEST:: SOT 14079243 SOS 2241451 HAS SOPS 1502862 HAS SOUS 830360 HAS SOUPS 801462 WITH SCORE 803703.451
AT ITER 8513 NEW BEST:: SOT 14079243 SOS 2241439 HAS SOPS 1502850 HAS SOUS 830348 HAS SOUPS 801450 WITH SCORE 803691.439
AT ITER 8631 NEW BEST:: SOT 14079192 SOS 2241381 HAS SOPS 1502799 HAS SOUS 830242 HAS SOUPS 801346 WITH SCORE 803587.381
AT ITER 8678 NEW BEST:: SOT 14077229 SOS 2236189 HAS SOPS 1498534 HAS SOUS 830175 HAS SOUPS 801322 WITH SCORE 803558.189
AT ITER 8771 NEW BEST:: SOT 14077184 SOS 2236099 HAS SOPS 1498435 HAS SOUS 829977 HAS SOUPS 801136 WITH SCORE 803372.099
AT ITER 8826 NEW BEST:: SOT 14077627 SOS 2237006 HAS SOPS 1499702 HAS SOUS 829938 HAS SOUPS 801097 WITH SCORE 803334.006
AT ITER 8861 NEW BEST:: SOT 14077637 SOS 2237368 HAS SOPS 1500064 HAS SOUS 829906 HAS SOUPS 801065 WITH SCORE 803302.368
AT ITER 8918 NEW BEST:: SOT 14079719 SOS 2242656 HAS SOPS 1505326 HAS SOUS 829336 HAS SOUPS 800491 WITH SCORE 802733.656
AT ITER 8923 NEW BEST:: SOT 14079719 SOS 2242192 HAS SOPS 1505326 HAS SOUS 829304 HAS SOUPS 800475 WITH SCORE 802717.192
AT ITER 8990 NEW BEST:: SOT 14080677 SOS 2243429 HAS SOPS 1506129 HAS SOUS 829239 HAS SOUPS 800429 WITH SCORE 802672.429
AT ITER 9053 NEW BEST:: SOT 14080676 SOS 2243428 HAS SOPS 1506127 HAS SOUS 829238 HAS SOUPS 800427 WITH SCORE 802670.428
AT ITER 9054 NEW BEST:: SOT 14081596 SOS 2245458 HAS SOPS 1508151 HAS SOUS 829048 HAS SOUPS 800237 WITH SCORE 802482.458
AT ITER 9100 NEW BEST:: SOT 14082197 SOS 2247520 HAS SOPS 1510134 HAS SOUS 828560 HAS SOUPS 799737 WITH SCORE 801984.52
AT ITER 9154 NEW BEST:: SOT 14081902 SOS 2247133 HAS SOPS 1509509 HAS SOUS 828357 HAS SOUPS 799534 WITH SCORE 801781.133
AT ITER 9299 NEW BEST:: SOT 14082740 SOS 2249953 HAS SOPS 1512331 HAS SOUS 827244 HAS SOUPS 798420 WITH SCORE 800669.953
AT ITER 9402 NEW BEST:: SOT 14082396 SOS 2249654 HAS SOPS 1512338 HAS SOUS 827165 HAS SOUPS 798348 WITH SCORE 800597.654
AT ITER 9451 NEW BEST:: SOT 14081537 SOS 2248819 HAS SOPS 1511483 HAS SOUS 826649 HAS SOUPS 797812 WITH SCORE 800060.819
AT ITER 9455 NEW BEST:: SOT 14083265 SOS 2252917 HAS SOPS 1515575 HAS SOUS 826007 HAS SOUPS 797170 WITH SCORE 799422.917
AT ITER 9510 NEW BEST:: SOT 14084750 SOS 2256659 HAS SOPS 1520400 HAS SOUS 824491 HAS SOUPS 795678 WITH SCORE 797934.659
AT ITER 9511 NEW BEST:: SOT 14084667 SOS 2256470 HAS SOPS 1520279 HAS SOUS 824421 HAS SOUPS 795611 WITH SCORE 797867.47
AT ITER 9516 NEW BEST:: SOT 14084946 SOS 2257191 HAS SOPS 1521000 HAS SOUS 824258 HAS SOUPS 795448 WITH SCORE 797705.191
AT ITER 9531 NEW BEST:: SOT 14084957 SOS 2257241 HAS SOPS 1521051 HAS SOUS 824230 HAS SOUPS 795420 WITH SCORE 797677.241
AT ITER 9596 NEW BEST:: SOT 14085581 SOS 2259528 HAS SOPS 1524611 HAS SOUS 823005 HAS SOUPS 794241 WITH SCORE 796500.528
AT ITER 9614 NEW BEST:: SOT 14085959 SOS 2260257 HAS SOPS 1525477 HAS SOUS 823003 HAS SOUPS 794239 WITH SCORE 796499.257
AT ITER 9632 NEW BEST:: SOT 14088686 SOS 2262335 HAS SOPS 1525044 HAS SOUS 822973 HAS SOUPS 794227 WITH SCORE 796489.335
AT ITER 9709 NEW BEST:: SOT 14088411 SOS 2261514 HAS SOPS 1524575 HAS SOUS 822810 HAS SOUPS 794078 WITH SCORE 796339.514
AT ITER 9715 NEW BEST:: SOT 14088363 SOS 2261538 HAS SOPS 1524523 HAS SOUS 822686 HAS SOUPS 793954 WITH SCORE 796215.538
AT ITER 9717 NEW BEST:: SOT 14088985 SOS 2265056 HAS SOPS 1527979 HAS SOUS 821621 HAS SOUPS 792890 WITH SCORE 795155.056
AT ITER 9938 NEW BEST:: SOT 14089849 SOS 2266741 HAS SOPS 1530553 HAS SOUS 821013 HAS SOUPS 792303 WITH SCORE 794569.741
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 8494368 kB
After kill :
MemTotal: 16393916 kB
MemFree: 15875408 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="TokenRing-PT-030"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is TokenRing-PT-030, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r483-tall-167912696000688"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-030.tgz
mv TokenRing-PT-030 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;