About the Execution of smart for TokenRing-PT-030
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15768.010 | 3600000.00 | 3600040.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2020-input.r190-csrt-159033382800512.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
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 r190-csrt-159033382800512
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 140M
-rw-r--r-- 1 mcc users 476K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.6M Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 16M Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 42M Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 664K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.4M Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 8.4M Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 23M Apr 28 14:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 246K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 743K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1M Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19M Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 110K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 262K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 4 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rw-r--r-- 1 mcc users 20M Apr 27 15:14 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 1590408344175
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running TokenRing (PT), instance 030
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 28 NEW BEST:: SOT 13990132 SOS 1893784 HAS SOPS 1142551 HAS SOUS 946190 HAS SOUPS 917567 WITH SCORE 919460.784
AT ITER 61 NEW BEST:: SOT 13990009 SOS 1894177 HAS SOPS 1144026 HAS SOUS 945923 HAS SOUPS 917330 WITH SCORE 919224.177
AT ITER 77 NEW BEST:: SOT 13990267 SOS 1895377 HAS SOPS 1145480 HAS SOUS 945456 HAS SOUPS 916868 WITH SCORE 918763.377
AT ITER 94 NEW BEST:: SOT 13989950 SOS 1895266 HAS SOPS 1145811 HAS SOUS 944716 HAS SOUPS 916135 WITH SCORE 918030.266
AT ITER 193 NEW BEST:: SOT 13987844 SOS 1892487 HAS SOPS 1143792 HAS SOUS 943748 HAS SOUPS 915239 WITH SCORE 917131.487
AT ITER 228 NEW BEST:: SOT 13987778 SOS 1892381 HAS SOPS 1143765 HAS SOUS 943567 HAS SOUPS 915102 WITH SCORE 916994.381
AT ITER 281 NEW BEST:: SOT 13986411 SOS 1891029 HAS SOPS 1144635 HAS SOUS 943053 HAS SOUPS 914645 WITH SCORE 916536.029
AT ITER 358 NEW BEST:: SOT 13986577 SOS 1893529 HAS SOPS 1147135 HAS SOUS 940885 HAS SOUPS 912477 WITH SCORE 914370.529
AT ITER 393 NEW BEST:: SOT 13986760 SOS 1896508 HAS SOPS 1150114 HAS SOUS 940752 HAS SOUPS 912344 WITH SCORE 914240.508
AT ITER 497 NEW BEST:: SOT 13987084 SOS 1897306 HAS SOPS 1151234 HAS SOUS 940741 HAS SOUPS 912336 WITH SCORE 914233.306
AT ITER 550 NEW BEST:: SOT 13987187 SOS 1899745 HAS SOPS 1153673 HAS SOUS 940616 HAS SOUPS 912211 WITH SCORE 914110.745
AT ITER 612 NEW BEST:: SOT 13987449 SOS 1901205 HAS SOPS 1155315 HAS SOUS 939571 HAS SOUPS 911161 WITH SCORE 913062.205
AT ITER 624 NEW BEST:: SOT 13987707 SOS 1902279 HAS SOPS 1156591 HAS SOUS 938980 HAS SOUPS 910570 WITH SCORE 912472.279
AT ITER 627 NEW BEST:: SOT 13987751 SOS 1902979 HAS SOPS 1157291 HAS SOUS 938864 HAS SOUPS 910454 WITH SCORE 912356.979
AT ITER 699 NEW BEST:: SOT 13985940 SOS 1901293 HAS SOPS 1157515 HAS SOUS 938137 HAS SOUPS 909771 WITH SCORE 911672.293
AT ITER 746 NEW BEST:: SOT 13986119 SOS 1904338 HAS SOPS 1160560 HAS SOUS 937806 HAS SOUPS 909440 WITH SCORE 911344.338
AT ITER 763 NEW BEST:: SOT 13986375 SOS 1905694 HAS SOPS 1161916 HAS SOUS 937768 HAS SOUPS 909402 WITH SCORE 911307.694
AT ITER 803 NEW BEST:: SOT 13986760 SOS 1906927 HAS SOPS 1163461 HAS SOUS 937586 HAS SOUPS 909227 WITH SCORE 911133.927
AT ITER 1039 NEW BEST:: SOT 13988175 SOS 1910998 HAS SOPS 1167448 HAS SOUS 937306 HAS SOUPS 908916 WITH SCORE 910826.998
AT ITER 1108 NEW BEST:: SOT 13988578 SOS 1912304 HAS SOPS 1169117 HAS SOUS 937118 HAS SOUPS 908736 WITH SCORE 910648.304
AT ITER 1206 NEW BEST:: SOT 13988452 SOS 1912101 HAS SOPS 1168991 HAS SOUS 936852 HAS SOUPS 908477 WITH SCORE 910389.101
AT ITER 1235 NEW BEST:: SOT 13988720 SOS 1912833 HAS SOPS 1169935 HAS SOUS 936635 HAS SOUPS 908260 WITH SCORE 910172.833
AT ITER 1290 NEW BEST:: SOT 13989944 SOS 1917544 HAS SOPS 1174423 HAS SOUS 935550 HAS SOUPS 907161 WITH SCORE 909078.544
AT ITER 1314 NEW BEST:: SOT 13990415 SOS 1918879 HAS SOPS 1176138 HAS SOUS 935120 HAS SOUPS 906731 WITH SCORE 908649.879
AT ITER 1329 NEW BEST:: SOT 13992562 SOS 1925860 HAS SOPS 1181855 HAS SOUS 934789 HAS SOUPS 906354 WITH SCORE 908279.86
AT ITER 1340 NEW BEST:: SOT 13992952 SOS 1926964 HAS SOPS 1183349 HAS SOUS 934703 HAS SOUPS 906274 WITH SCORE 908200.964
AT ITER 1365 NEW BEST:: SOT 13992950 SOS 1926906 HAS SOPS 1183347 HAS SOUS 934695 HAS SOUPS 906268 WITH SCORE 908194.906
AT ITER 1370 NEW BEST:: SOT 13992435 SOS 1926455 HAS SOPS 1183489 HAS SOUS 934581 HAS SOUPS 906168 WITH SCORE 908094.455
AT ITER 1421 NEW BEST:: SOT 13992579 SOS 1926763 HAS SOPS 1183921 HAS SOUS 934553 HAS SOUPS 906140 WITH SCORE 908066.763
AT ITER 1427 NEW BEST:: SOT 13992960 SOS 1929916 HAS SOPS 1187074 HAS SOUS 932906 HAS SOUPS 904493 WITH SCORE 906422.916
AT ITER 1551 NEW BEST:: SOT 13992699 SOS 1929817 HAS SOPS 1186705 HAS SOUS 932492 HAS SOUPS 904079 WITH SCORE 906008.817
AT ITER 1553 NEW BEST:: SOT 13992865 SOS 1932689 HAS SOPS 1189577 HAS SOUS 932308 HAS SOUPS 903895 WITH SCORE 905827.689
AT ITER 1554 NEW BEST:: SOT 13993667 SOS 1936063 HAS SOPS 1192927 HAS SOUS 931468 HAS SOUPS 903041 WITH SCORE 904977.063
AT ITER 1630 NEW BEST:: SOT 13994574 SOS 1939542 HAS SOPS 1196744 HAS SOUS 931275 HAS SOUPS 902799 WITH SCORE 904738.542
AT ITER 1632 NEW BEST:: SOT 13993810 SOS 1938869 HAS SOPS 1196777 HAS SOUS 931071 HAS SOUPS 902615 WITH SCORE 904553.869
AT ITER 1652 NEW BEST:: SOT 13994457 SOS 1941741 HAS SOPS 1199634 HAS SOUS 929493 HAS SOUPS 901037 WITH SCORE 902978.741
AT ITER 1717 NEW BEST:: SOT 13994097 SOS 1941529 HAS SOPS 1200010 HAS SOUS 928489 HAS SOUPS 900049 WITH SCORE 901990.529
AT ITER 1747 NEW BEST:: SOT 13994460 SOS 1945153 HAS SOPS 1203615 HAS SOUS 928288 HAS SOUPS 899847 WITH SCORE 901792.153
AT ITER 1781 NEW BEST:: SOT 13994535 SOS 1945542 HAS SOPS 1204004 HAS SOUS 928049 HAS SOUPS 899608 WITH SCORE 901553.542
AT ITER 1813 NEW BEST:: SOT 13995044 SOS 1948431 HAS SOPS 1206513 HAS SOUS 927416 HAS SOUPS 898963 WITH SCORE 900911.431
AT ITER 1815 NEW BEST:: SOT 13995408 SOS 1951509 HAS SOPS 1209591 HAS SOUS 926988 HAS SOUPS 898535 WITH SCORE 900486.509
AT ITER 1858 NEW BEST:: SOT 13995999 SOS 1952904 HAS SOPS 1211540 HAS SOUS 926739 HAS SOUPS 898286 WITH SCORE 900238.904
AT ITER 1967 NEW BEST:: SOT 13996025 SOS 1953126 HAS SOPS 1211762 HAS SOUS 926569 HAS SOUPS 898116 WITH SCORE 900069.126
AT ITER 1994 NEW BEST:: SOT 13996482 SOS 1954384 HAS SOPS 1213433 HAS SOUS 926415 HAS SOUPS 897963 WITH SCORE 899917.384
AT ITER 2042 NEW BEST:: SOT 13996792 SOS 1955627 HAS SOPS 1214981 HAS SOUS 926040 HAS SOUPS 897594 WITH SCORE 899549.627
AT ITER 2139 NEW BEST:: SOT 13997321 SOS 1957700 HAS SOPS 1216908 HAS SOUS 925242 HAS SOUPS 896789 WITH SCORE 898746.7
AT ITER 2165 NEW BEST:: SOT 13996648 SOS 1956119 HAS SOPS 1215663 HAS SOUS 924702 HAS SOUPS 896284 WITH SCORE 898240.119
AT ITER 2172 NEW BEST:: SOT 13997414 SOS 1958647 HAS SOPS 1218681 HAS SOUS 924701 HAS SOUPS 896279 WITH SCORE 898237.647
AT ITER 2182 NEW BEST:: SOT 13999103 SOS 1964207 HAS SOPS 1223674 HAS SOUS 924720 HAS SOUPS 896271 WITH SCORE 898235.207
AT ITER 2231 NEW BEST:: SOT 13999552 SOS 1966976 HAS SOPS 1226443 HAS SOUS 923221 HAS SOUPS 894772 WITH SCORE 896738.976
AT ITER 2250 NEW BEST:: SOT 13999652 SOS 1966996 HAS SOPS 1227511 HAS SOUS 923130 HAS SOUPS 894702 WITH SCORE 896668.996
AT ITER 2304 NEW BEST:: SOT 14000356 SOS 1969999 HAS SOPS 1230501 HAS SOUS 921535 HAS SOUPS 893107 WITH SCORE 895076.999
AT ITER 2332 NEW BEST:: SOT 14000796 SOS 1973320 HAS SOPS 1233821 HAS SOUS 919094 HAS SOUPS 890666 WITH SCORE 892639.32
AT ITER 2375 NEW BEST:: SOT 14001423 SOS 1974547 HAS SOPS 1235616 HAS SOUS 919091 HAS SOUPS 890663 WITH SCORE 892637.547
AT ITER 2406 NEW BEST:: SOT 14001981 SOS 1978047 HAS SOPS 1239116 HAS SOUS 918877 HAS SOUPS 890449 WITH SCORE 892427.047
AT ITER 2458 NEW BEST:: SOT 14002510 SOS 1981162 HAS SOPS 1242219 HAS SOUS 917099 HAS SOUPS 888662 WITH SCORE 890643.162
AT ITER 2503 NEW BEST:: SOT 14002752 SOS 1984150 HAS SOPS 1245207 HAS SOUS 916703 HAS SOUPS 888266 WITH SCORE 890250.15
AT ITER 2507 NEW BEST:: SOT 14003245 SOS 1986843 HAS SOPS 1247936 HAS SOUS 914996 HAS SOUPS 886559 WITH SCORE 888545.843
AT ITER 2551 NEW BEST:: SOT 14003513 SOS 1987613 HAS SOPS 1248974 HAS SOUS 914841 HAS SOUPS 886405 WITH SCORE 888392.613
AT ITER 2565 NEW BEST:: SOT 14003431 SOS 1987343 HAS SOPS 1248698 HAS SOUS 914575 HAS SOUPS 886139 WITH SCORE 888126.343
AT ITER 2584 NEW BEST:: SOT 14003849 SOS 1990272 HAS SOPS 1251626 HAS SOUS 912575 HAS SOUPS 884138 WITH SCORE 886128.272
AT ITER 2592 NEW BEST:: SOT 14005651 SOS 1997111 HAS SOPS 1257014 HAS SOUS 911789 HAS SOUPS 883293 WITH SCORE 885290.111
AT ITER 2613 NEW BEST:: SOT 14006201 SOS 1999429 HAS SOPS 1259554 HAS SOUS 911472 HAS SOUPS 882975 WITH SCORE 884974.429
AT ITER 2615 NEW BEST:: SOT 14006327 SOS 2001800 HAS SOPS 1261482 HAS SOUS 910560 HAS SOUPS 882059 WITH SCORE 884060.8
AT ITER 2619 NEW BEST:: SOT 14007158 SOS 2004927 HAS SOPS 1264601 HAS SOUS 910304 HAS SOUPS 881802 WITH SCORE 883806.927
AT ITER 2666 NEW BEST:: SOT 14007158 SOS 2004912 HAS SOPS 1264601 HAS SOUS 910289 HAS SOUPS 881802 WITH SCORE 883806.912
AT ITER 2673 NEW BEST:: SOT 14007114 SOS 2004877 HAS SOPS 1264615 HAS SOUS 910241 HAS SOUPS 881753 WITH SCORE 883757.877
AT ITER 2692 NEW BEST:: SOT 14005995 SOS 2003468 HAS SOPS 1264663 HAS SOUS 909358 HAS SOUPS 880922 WITH SCORE 882925.468
AT ITER 2783 NEW BEST:: SOT 14007074 SOS 2006915 HAS SOPS 1268030 HAS SOUS 908379 HAS SOUPS 879933 WITH SCORE 881939.915
AT ITER 2785 NEW BEST:: SOT 14006803 SOS 2006335 HAS SOPS 1267759 HAS SOUS 907797 HAS SOUPS 879371 WITH SCORE 881377.335
AT ITER 3017 NEW BEST:: SOT 14007325 SOS 2007759 HAS SOPS 1269659 HAS SOUS 907380 HAS SOUPS 878954 WITH SCORE 880961.759
AT ITER 3064 NEW BEST:: SOT 14007457 SOS 2008181 HAS SOPS 1270085 HAS SOUS 907222 HAS SOUPS 878796 WITH SCORE 880804.181
AT ITER 3087 NEW BEST:: SOT 14007925 SOS 2009184 HAS SOPS 1272445 HAS SOUS 905357 HAS SOUPS 876989 WITH SCORE 878998.184
AT ITER 3114 NEW BEST:: SOT 14008489 SOS 2013329 HAS SOPS 1276331 HAS SOUS 905223 HAS SOUPS 876844 WITH SCORE 878857.329
AT ITER 3136 NEW BEST:: SOT 14009415 SOS 2015151 HAS SOPS 1279015 HAS SOUS 905199 HAS SOUPS 876820 WITH SCORE 878835.151
AT ITER 3158 NEW BEST:: SOT 14010033 SOS 2018378 HAS SOPS 1282219 HAS SOUS 903270 HAS SOUPS 874889 WITH SCORE 876907.378
AT ITER 3191 NEW BEST:: SOT 14010609 SOS 2021026 HAS SOPS 1284913 HAS SOUS 901774 HAS SOUPS 873393 WITH SCORE 875414.026
AT ITER 3233 NEW BEST:: SOT 14011149 SOS 2024899 HAS SOPS 1288699 HAS SOUS 901585 HAS SOUPS 873200 WITH SCORE 875224.899
AT ITER 3237 NEW BEST:: SOT 14011529 SOS 2025815 HAS SOPS 1289917 HAS SOUS 901403 HAS SOUPS 873018 WITH SCORE 875043.815
AT ITER 3273 NEW BEST:: SOT 14011825 SOS 2026631 HAS SOPS 1290887 HAS SOUS 901206 HAS SOUPS 872820 WITH SCORE 874846.631
AT ITER 3327 NEW BEST:: SOT 14012241 SOS 2029245 HAS SOPS 1293507 HAS SOUS 899610 HAS SOUPS 871224 WITH SCORE 873253.245
AT ITER 3331 NEW BEST:: SOT 14011907 SOS 2028979 HAS SOPS 1293837 HAS SOUS 898588 HAS SOUPS 870222 WITH SCORE 872250.979
AT ITER 3342 NEW BEST:: SOT 14013724 SOS 2034629 HAS SOPS 1299184 HAS SOUS 898587 HAS SOUPS 870194 WITH SCORE 872228.629
AT ITER 3386 NEW BEST:: SOT 14013933 SOS 2037639 HAS SOPS 1302195 HAS SOUS 898475 HAS SOUPS 870082 WITH SCORE 872119.639
AT ITER 3405 NEW BEST:: SOT 14014439 SOS 2039135 HAS SOPS 1304139 HAS SOUS 897943 HAS SOUPS 869551 WITH SCORE 871590.135
AT ITER 3441 NEW BEST:: SOT 14016230 SOS 2044529 HAS SOPS 1309524 HAS SOUS 897063 HAS SOUPS 868666 WITH SCORE 870710.529
AT ITER 3456 NEW BEST:: SOT 14017678 SOS 2048826 HAS SOPS 1313746 HAS SOUS 896813 HAS SOUPS 868383 WITH SCORE 870431.826
AT ITER 3670 NEW BEST:: SOT 14019606 SOS 2055304 HAS SOPS 1318980 HAS SOUS 896609 HAS SOUPS 868129 WITH SCORE 870184.304
AT ITER 3701 NEW BEST:: SOT 14021425 SOS 2060081 HAS SOPS 1323417 HAS SOUS 896524 HAS SOUPS 868010 WITH SCORE 870070.081
AT ITER 3717 NEW BEST:: SOT 14021872 SOS 2062486 HAS SOPS 1325822 HAS SOUS 895013 HAS SOUPS 866499 WITH SCORE 868561.486
AT ITER 3751 NEW BEST:: SOT 14023330 SOS 2067315 HAS SOPS 1330230 HAS SOUS 894712 HAS SOUPS 866162 WITH SCORE 868229.315
AT ITER 3801 NEW BEST:: SOT 14023776 SOS 2069466 HAS SOPS 1332380 HAS SOUS 893453 HAS SOUPS 864903 WITH SCORE 866972.466
AT ITER 3814 NEW BEST:: SOT 14024228 SOS 2072947 HAS SOPS 1335852 HAS SOUS 891155 HAS SOUPS 862604 WITH SCORE 864676.947
AT ITER 3848 NEW BEST:: SOT 14023864 SOS 2072570 HAS SOPS 1335488 HAS SOUS 890401 HAS SOUPS 861863 WITH SCORE 863935.57
AT ITER 3922 NEW BEST:: SOT 14024736 SOS 2075660 HAS SOPS 1338570 HAS SOUS 889272 HAS SOUPS 860733 WITH SCORE 862808.66
AT ITER 3932 NEW BEST:: SOT 14026891 SOS 2083007 HAS SOPS 1344049 HAS SOUS 888405 HAS SOUPS 859802 WITH SCORE 861885.007
AT ITER 3996 NEW BEST:: SOT 14028516 SOS 2086952 HAS SOPS 1347940 HAS SOUS 888113 HAS SOUPS 859497 WITH SCORE 861583.952
AT ITER 4022 NEW BEST:: SOT 14029089 SOS 2088127 HAS SOPS 1349441 HAS SOUS 888049 HAS SOUPS 859433 WITH SCORE 861521.127
AT ITER 4033 NEW BEST:: SOT 14031005 SOS 2094462 HAS SOPS 1354109 HAS SOUS 887251 HAS SOUPS 858580 WITH SCORE 860674.462
AT ITER 4060 NEW BEST:: SOT 14031579 SOS 2097599 HAS SOPS 1357281 HAS SOUS 886037 HAS SOUPS 857367 WITH SCORE 859464.599
AT ITER 4094 NEW BEST:: SOT 14031979 SOS 2098531 HAS SOPS 1358481 HAS SOUS 885872 HAS SOUPS 857202 WITH SCORE 859300.531
AT ITER 4112 NEW BEST:: SOT 14032459 SOS 2101346 HAS SOPS 1361289 HAS SOUS 884079 HAS SOUPS 855407 WITH SCORE 857508.346
AT ITER 4115 NEW BEST:: SOT 14032183 SOS 2100734 HAS SOPS 1360785 HAS SOUS 883755 HAS SOUPS 855095 WITH SCORE 857195.734
AT ITER 4129 NEW BEST:: SOT 14032901 SOS 2103922 HAS SOPS 1363977 HAS SOUS 882065 HAS SOUPS 853403 WITH SCORE 855506.922
AT ITER 4252 NEW BEST:: SOT 14033191 SOS 2104850 HAS SOPS 1365023 HAS SOUS 881685 HAS SOUPS 853023 WITH SCORE 855127.85
AT ITER 4263 NEW BEST:: SOT 14032764 SOS 2103738 HAS SOPS 1364162 HAS SOUS 881447 HAS SOUPS 852801 WITH SCORE 854904.738
AT ITER 4265 NEW BEST:: SOT 14032754 SOS 2103748 HAS SOPS 1364158 HAS SOUS 881416 HAS SOUPS 852770 WITH SCORE 854873.748
AT ITER 4272 NEW BEST:: SOT 14032742 SOS 2103719 HAS SOPS 1364146 HAS SOUS 881390 HAS SOUPS 852745 WITH SCORE 854848.719
AT ITER 4285 NEW BEST:: SOT 14032021 SOS 2102463 HAS SOPS 1362359 HAS SOUS 880471 HAS SOUPS 851826 WITH SCORE 853928.463
AT ITER 4332 NEW BEST:: SOT 14032340 SOS 2105047 HAS SOPS 1364932 HAS SOUS 878740 HAS SOUPS 850089 WITH SCORE 852194.047
AT ITER 4396 NEW BEST:: SOT 14032877 SOS 2108112 HAS SOPS 1367997 HAS SOUS 876749 HAS SOUPS 848098 WITH SCORE 850206.112
AT ITER 4444 NEW BEST:: SOT 14033392 SOS 2109390 HAS SOPS 1369728 HAS SOUS 876478 HAS SOUPS 847827 WITH SCORE 849936.39
AT ITER 4451 NEW BEST:: SOT 14033961 SOS 2111254 HAS SOPS 1371631 HAS SOUS 876422 HAS SOUPS 847783 WITH SCORE 849894.254
AT ITER 4457 NEW BEST:: SOT 14034484 SOS 2112739 HAS SOPS 1373532 HAS SOUS 876250 HAS SOUPS 847611 WITH SCORE 849723.739
AT ITER 4509 NEW BEST:: SOT 14034743 SOS 2113563 HAS SOPS 1374517 HAS SOUS 875971 HAS SOUPS 847332 WITH SCORE 849445.563
AT ITER 4556 NEW BEST:: SOT 14036516 SOS 2118467 HAS SOPS 1378460 HAS SOUS 875884 HAS SOUPS 847204 WITH SCORE 849322.467
AT ITER 4569 NEW BEST:: SOT 14037570 SOS 2122564 HAS SOPS 1382438 HAS SOUS 875786 HAS SOUPS 847093 WITH SCORE 849215.564
AT ITER 4621 NEW BEST:: SOT 14037930 SOS 2123794 HAS SOPS 1383918 HAS SOUS 875205 HAS SOUPS 846512 WITH SCORE 848635.794
AT ITER 4706 NEW BEST:: SOT 14037795 SOS 2123599 HAS SOPS 1383603 HAS SOUS 875135 HAS SOUPS 846442 WITH SCORE 848565.599
AT ITER 4737 NEW BEST:: SOT 14038303 SOS 2124750 HAS SOPS 1385195 HAS SOUS 874970 HAS SOUPS 846277 WITH SCORE 848401.75
AT ITER 4762 NEW BEST:: SOT 14038285 SOS 2124721 HAS SOPS 1385177 HAS SOUS 874932 HAS SOUPS 846240 WITH SCORE 848364.721
AT ITER 4836 NEW BEST:: SOT 14038037 SOS 2124692 HAS SOPS 1385697 HAS SOUS 874031 HAS SOUPS 845353 WITH SCORE 847477.692
AT ITER 4867 NEW BEST:: SOT 14038021 SOS 2124663 HAS SOPS 1385681 HAS SOUS 873997 HAS SOUPS 845320 WITH SCORE 847444.663
AT ITER 4931 NEW BEST:: SOT 14038096 SOS 2126641 HAS SOPS 1387268 HAS SOUS 873232 HAS SOUPS 844548 WITH SCORE 846674.641
AT ITER 4979 NEW BEST:: SOT 14038315 SOS 2127288 HAS SOPS 1387905 HAS SOUS 873023 HAS SOUPS 844339 WITH SCORE 846466.288
AT ITER 5003 NEW BEST:: SOT 14040225 SOS 2132272 HAS SOPS 1391977 HAS SOUS 873037 HAS SOUPS 844317 WITH SCORE 846449.272
AT ITER 5011 NEW BEST:: SOT 14040594 SOS 2133285 HAS SOPS 1393218 HAS SOUS 872732 HAS SOUPS 844012 WITH SCORE 846145.285
AT ITER 5021 NEW BEST:: SOT 14040569 SOS 2133256 HAS SOPS 1393193 HAS SOUS 872680 HAS SOUPS 843961 WITH SCORE 846094.256
AT ITER 5083 NEW BEST:: SOT 14040785 SOS 2134342 HAS SOPS 1394279 HAS SOUS 872026 HAS SOUPS 843307 WITH SCORE 845441.342
AT ITER 5102 NEW BEST:: SOT 14040620 SOS 2133886 HAS SOPS 1393808 HAS SOUS 871563 HAS SOUPS 842847 WITH SCORE 844980.886
AT ITER 5119 NEW BEST:: SOT 14040652 SOS 2134102 HAS SOPS 1394024 HAS SOUS 871411 HAS SOUPS 842695 WITH SCORE 844829.102
AT ITER 5159 NEW BEST:: SOT 14042041 SOS 2138305 HAS SOPS 1397245 HAS SOUS 871195 HAS SOUPS 842440 WITH SCORE 844578.305
AT ITER 5166 NEW BEST:: SOT 14043506 SOS 2142529 HAS SOPS 1402814 HAS SOUS 870990 HAS SOUPS 842272 WITH SCORE 844414.529
AT ITER 5221 NEW BEST:: SOT 14043626 SOS 2143025 HAS SOPS 1403310 HAS SOUS 870734 HAS SOUPS 842016 WITH SCORE 844159.025
AT ITER 5280 NEW BEST:: SOT 14043482 SOS 2142822 HAS SOPS 1403166 HAS SOUS 870432 HAS SOUPS 841721 WITH SCORE 843863.822
AT ITER 5332 NEW BEST:: SOT 14043875 SOS 2143809 HAS SOPS 1404475 HAS SOUS 870202 HAS SOUPS 841491 WITH SCORE 843634.809
AT ITER 5367 NEW BEST:: SOT 14044881 SOS 2147046 HAS SOPS 1407711 HAS SOUS 870031 HAS SOUPS 841320 WITH SCORE 843467.046
AT ITER 5417 NEW BEST:: SOT 14045529 SOS 2148479 HAS SOPS 1409665 HAS SOUS 869972 HAS SOUPS 841255 WITH SCORE 843403.479
AT ITER 5425 NEW BEST:: SOT 14046587 SOS 2151766 HAS SOPS 1412937 HAS SOUS 869370 HAS SOUPS 840633 WITH SCORE 842784.766
AT ITER 5426 NEW BEST:: SOT 14046307 SOS 2151229 HAS SOPS 1412409 HAS SOUS 869130 HAS SOUPS 840400 WITH SCORE 842551.229
AT ITER 5493 NEW BEST:: SOT 14046595 SOS 2152272 HAS SOPS 1413547 HAS SOUS 868625 HAS SOUPS 839895 WITH SCORE 842047.272
AT ITER 5512 NEW BEST:: SOT 14048078 SOS 2156844 HAS SOPS 1418852 HAS SOUS 868254 HAS SOUPS 839503 WITH SCORE 841659.844
AT ITER 5527 NEW BEST:: SOT 14048137 SOS 2156705 HAS SOPS 1419723 HAS SOUS 868046 HAS SOUPS 839310 WITH SCORE 841466.705
AT ITER 5580 NEW BEST:: SOT 14049700 SOS 2161361 HAS SOPS 1424492 HAS SOUS 867353 HAS SOUPS 838592 WITH SCORE 840753.361
AT ITER 5584 NEW BEST:: SOT 14049497 SOS 2161158 HAS SOPS 1424289 HAS SOUS 867150 HAS SOUPS 838389 WITH SCORE 840550.158
AT ITER 5616 NEW BEST:: SOT 14047470 SOS 2158671 HAS SOPS 1422587 HAS SOUS 865823 HAS SOUPS 837081 WITH SCORE 839239.671
AT ITER 5629 NEW BEST:: SOT 14048301 SOS 2162470 HAS SOPS 1426084 HAS SOUS 863934 HAS SOUPS 835184 WITH SCORE 837346.47
AT ITER 5657 NEW BEST:: SOT 14048684 SOS 2163361 HAS SOPS 1427283 HAS SOUS 863784 HAS SOUPS 835034 WITH SCORE 837197.361
AT ITER 5712 NEW BEST:: SOT 14051722 SOS 2171102 HAS SOPS 1433679 HAS SOUS 863328 HAS SOUPS 834539 WITH SCORE 836710.102
AT ITER 5746 NEW BEST:: SOT 14052206 SOS 2172060 HAS SOPS 1434979 HAS SOUS 863306 HAS SOUPS 834517 WITH SCORE 836689.06
AT ITER 5782 NEW BEST:: SOT 14051930 SOS 2171587 HAS SOPS 1435209 HAS SOUS 862545 HAS SOUPS 833778 WITH SCORE 835949.587
AT ITER 5802 NEW BEST:: SOT 14052281 SOS 2172316 HAS SOPS 1436158 HAS SOUS 862490 HAS SOUPS 833723 WITH SCORE 835895.316
AT ITER 5886 NEW BEST:: SOT 14053878 SOS 2176383 HAS SOPS 1439841 HAS SOUS 862485 HAS SOUPS 833690 WITH SCORE 835866.383
AT ITER 5989 NEW BEST:: SOT 14053766 SOS 2176146 HAS SOPS 1439927 HAS SOUS 862188 HAS SOUPS 833403 WITH SCORE 835579.146
AT ITER 5996 NEW BEST:: SOT 14054691 SOS 2179721 HAS SOPS 1443394 HAS SOUS 860773 HAS SOUPS 831978 WITH SCORE 834157.721
AT ITER 6060 NEW BEST:: SOT 14054959 SOS 2182076 HAS SOPS 1445864 HAS SOUS 858520 HAS SOUPS 829739 WITH SCORE 831921.076
AT ITER 6088 NEW BEST:: SOT 14055153 SOS 2182856 HAS SOPS 1446698 HAS SOUS 858158 HAS SOUPS 829376 WITH SCORE 831558.856
AT ITER 6119 NEW BEST:: SOT 14055153 SOS 2183816 HAS SOPS 1446698 HAS SOUS 857710 HAS SOUPS 828912 WITH SCORE 831095.816
AT ITER 6203 NEW BEST:: SOT 14056354 SOS 2187477 HAS SOPS 1450271 HAS SOUS 856947 HAS SOUPS 828137 WITH SCORE 830324.477
AT ITER 6230 NEW BEST:: SOT 14056328 SOS 2187448 HAS SOPS 1450245 HAS SOUS 856893 HAS SOUPS 828084 WITH SCORE 830271.448
AT ITER 6232 NEW BEST:: SOT 14056333 SOS 2187543 HAS SOPS 1450310 HAS SOUS 856813 HAS SOUPS 828004 WITH SCORE 830191.543
AT ITER 6260 NEW BEST:: SOT 14056736 SOS 2188489 HAS SOPS 1451209 HAS SOUS 856766 HAS SOUPS 827954 WITH SCORE 830142.489
AT ITER 6315 NEW BEST:: SOT 14057430 SOS 2190370 HAS SOPS 1452959 HAS SOUS 856676 HAS SOUPS 827851 WITH SCORE 830041.37
AT ITER 6325 NEW BEST:: SOT 14057330 SOS 2190133 HAS SOPS 1452817 HAS SOUS 856589 HAS SOUPS 827768 WITH SCORE 829958.133
AT ITER 6328 NEW BEST:: SOT 14059381 SOS 2195319 HAS SOPS 1457518 HAS SOUS 856404 HAS SOUPS 827558 WITH SCORE 829753.319
AT ITER 6387 NEW BEST:: SOT 14059706 SOS 2196601 HAS SOPS 1458813 HAS SOUS 856113 HAS SOUPS 827266 WITH SCORE 829462.601
AT ITER 6459 NEW BEST:: SOT 14059965 SOS 2197558 HAS SOPS 1460264 HAS SOUS 855144 HAS SOUPS 826314 WITH SCORE 828511.558
AT ITER 6477 NEW BEST:: SOT 14059518 SOS 2198936 HAS SOPS 1461751 HAS SOUS 851922 HAS SOUPS 823132 WITH SCORE 825330.936
AT ITER 6589 NEW BEST:: SOT 14060339 SOS 2201646 HAS SOPS 1464482 HAS SOUS 850761 HAS SOUPS 821974 WITH SCORE 824175.646
AT ITER 6597 NEW BEST:: SOT 14060320 SOS 2201588 HAS SOPS 1464463 HAS SOUS 850719 HAS SOUPS 821934 WITH SCORE 824135.588
AT ITER 6616 NEW BEST:: SOT 14060238 SOS 2201588 HAS SOPS 1464381 HAS SOUS 850555 HAS SOUPS 821770 WITH SCORE 823971.588
AT ITER 6617 NEW BEST:: SOT 14061930 SOS 2206252 HAS SOPS 1468715 HAS SOUS 850267 HAS SOUPS 821450 WITH SCORE 823656.252
AT ITER 6669 NEW BEST:: SOT 14062027 SOS 2207182 HAS SOPS 1469500 HAS SOUS 849577 HAS SOUPS 820757 WITH SCORE 822964.182
AT ITER 6689 NEW BEST:: SOT 14062164 SOS 2207699 HAS SOPS 1470023 HAS SOUS 849334 HAS SOUPS 820514 WITH SCORE 822721.699
AT ITER 6762 NEW BEST:: SOT 14062825 SOS 2210305 HAS SOPS 1472634 HAS SOUS 848050 HAS SOUPS 819230 WITH SCORE 821440.305
AT ITER 6942 NEW BEST:: SOT 14062814 SOS 2210276 HAS SOPS 1472623 HAS SOUS 848026 HAS SOUPS 819207 WITH SCORE 821417.276
AT ITER 7005 NEW BEST:: SOT 14062788 SOS 2210247 HAS SOPS 1472597 HAS SOUS 847972 HAS SOUPS 819154 WITH SCORE 821364.247
AT ITER 7072 NEW BEST:: SOT 14062559 SOS 2209986 HAS SOPS 1472368 HAS SOUS 847496 HAS SOUPS 818687 WITH SCORE 820896.986
AT ITER 7080 NEW BEST:: SOT 14062536 SOS 2209841 HAS SOPS 1472345 HAS SOUS 847440 HAS SOUPS 818636 WITH SCORE 820845.841
AT ITER 7100 NEW BEST:: SOT 14062754 SOS 2210420 HAS SOPS 1473075 HAS SOUS 847279 HAS SOUPS 818475 WITH SCORE 820685.42
AT ITER 7106 NEW BEST:: SOT 14063120 SOS 2211424 HAS SOPS 1474259 HAS SOUS 846969 HAS SOUPS 818165 WITH SCORE 820376.424
AT ITER 7164 NEW BEST:: SOT 14062989 SOS 2211247 HAS SOPS 1473962 HAS SOUS 846760 HAS SOUPS 817952 WITH SCORE 820163.247
AT ITER 7176 NEW BEST:: SOT 14063257 SOS 2211981 HAS SOPS 1474798 HAS SOUS 846593 HAS SOUPS 817783 WITH SCORE 819994.981
AT ITER 7189 NEW BEST:: SOT 14063876 SOS 2213442 HAS SOPS 1476255 HAS SOUS 846401 HAS SOUPS 817590 WITH SCORE 819803.442
AT ITER 7222 NEW BEST:: SOT 14063730 SOS 2213152 HAS SOPS 1476109 HAS SOUS 846089 HAS SOUPS 817288 WITH SCORE 819501.152
AT ITER 7295 NEW BEST:: SOT 14063454 SOS 2211450 HAS SOPS 1475741 HAS SOUS 845813 HAS SOUPS 817058 WITH SCORE 819269.45
AT ITER 7384 NEW BEST:: SOT 14063832 SOS 2213655 HAS SOPS 1477923 HAS SOUS 844701 HAS SOUPS 815943 WITH SCORE 818156.655
AT ITER 7421 NEW BEST:: SOT 14064193 SOS 2214032 HAS SOPS 1479270 HAS SOUS 844259 HAS SOUPS 815525 WITH SCORE 817739.032
AT ITER 7440 NEW BEST:: SOT 14064098 SOS 2213612 HAS SOPS 1479190 HAS SOUS 844024 HAS SOUPS 815320 WITH SCORE 817533.612
AT ITER 7442 NEW BEST:: SOT 14064369 SOS 2214869 HAS SOPS 1480425 HAS SOUS 843433 HAS SOUPS 814729 WITH SCORE 816943.869
AT ITER 7470 NEW BEST:: SOT 14063550 SOS 2214330 HAS SOPS 1480582 HAS SOUS 842861 HAS SOUPS 814170 WITH SCORE 816384.33
AT ITER 7478 NEW BEST:: SOT 14064099 SOS 2215880 HAS SOPS 1482445 HAS SOUS 842099 HAS SOUPS 813422 WITH SCORE 815637.88
AT ITER 7503 NEW BEST:: SOT 14064715 SOS 2216196 HAS SOPS 1485385 HAS SOUS 841248 HAS SOUPS 812628 WITH SCORE 814844.196
AT ITER 7513 NEW BEST:: SOT 14065002 SOS 2217111 HAS SOPS 1486292 HAS SOUS 840907 HAS SOUPS 812287 WITH SCORE 814504.111
AT ITER 7527 NEW BEST:: SOT 14064785 SOS 2216792 HAS SOPS 1486075 HAS SOUS 840451 HAS SOUPS 811842 WITH SCORE 814058.792
AT ITER 7566 NEW BEST:: SOT 14064342 SOS 2216012 HAS SOPS 1485258 HAS SOUS 839942 HAS SOUPS 811338 WITH SCORE 813554.012
AT ITER 7570 NEW BEST:: SOT 14065229 SOS 2218353 HAS SOPS 1487573 HAS SOUS 839375 HAS SOUPS 810771 WITH SCORE 812989.353
AT ITER 7593 NEW BEST:: SOT 14064968 SOS 2217744 HAS SOPS 1487312 HAS SOUS 838811 HAS SOUPS 810228 WITH SCORE 812445.744
AT ITER 7600 NEW BEST:: SOT 14064639 SOS 2217338 HAS SOPS 1486983 HAS SOUS 838125 HAS SOUPS 809556 WITH SCORE 811773.338
AT ITER 7744 NEW BEST:: SOT 14065125 SOS 2218295 HAS SOPS 1488333 HAS SOUS 837985 HAS SOUPS 809421 WITH SCORE 811639.295
AT ITER 7759 NEW BEST:: SOT 14065214 SOS 2218637 HAS SOPS 1488672 HAS SOUS 837821 HAS SOUPS 809257 WITH SCORE 811475.637
AT ITER 7948 NEW BEST:: SOT 14065514 SOS 2219321 HAS SOPS 1489516 HAS SOUS 837713 HAS SOUPS 809149 WITH SCORE 811368.321
AT ITER 7950 NEW BEST:: SOT 14065981 SOS 2220523 HAS SOPS 1490697 HAS SOUS 837538 HAS SOUPS 808971 WITH SCORE 811191.523
AT ITER 8009 NEW BEST:: SOT 14065371 SOS 2219827 HAS SOPS 1490087 HAS SOUS 836301 HAS SOUPS 807757 WITH SCORE 809976.827
AT ITER 8062 NEW BEST:: SOT 14066980 SOS 2224189 HAS SOPS 1494124 HAS SOUS 835932 HAS SOUPS 807363 WITH SCORE 809587.189
AT ITER 8116 NEW BEST:: SOT 14066846 SOS 2223856 HAS SOPS 1493890 HAS SOUS 835842 HAS SOUPS 807278 WITH SCORE 809501.856
AT ITER 8163 NEW BEST:: SOT 14066707 SOS 2223508 HAS SOPS 1493751 HAS SOUS 835540 HAS SOUPS 806988 WITH SCORE 809211.508
AT ITER 8179 NEW BEST:: SOT 14066515 SOS 2223081 HAS SOPS 1493409 HAS SOUS 835428 HAS SOUPS 806881 WITH SCORE 809104.081
AT ITER 8214 NEW BEST:: SOT 14066346 SOS 2223192 HAS SOPS 1493254 HAS SOUS 834990 HAS SOUPS 806443 WITH SCORE 808666.192
AT ITER 8231 NEW BEST:: SOT 14066615 SOS 2223955 HAS SOPS 1494011 HAS SOUS 834765 HAS SOUPS 806218 WITH SCORE 808441.955
AT ITER 8322 NEW BEST:: SOT 14066688 SOS 2224214 HAS SOPS 1494270 HAS SOUS 834652 HAS SOUPS 806105 WITH SCORE 808329.214
AT ITER 8396 NEW BEST:: SOT 14066550 SOS 2223992 HAS SOPS 1493958 HAS SOUS 834604 HAS SOUPS 806057 WITH SCORE 808280.992
AT ITER 8445 NEW BEST:: SOT 14066507 SOS 2223846 HAS SOPS 1493919 HAS SOUS 834509 HAS SOUPS 805971 WITH SCORE 808194.846
AT ITER 8457 NEW BEST:: SOT 14066635 SOS 2224817 HAS SOPS 1495041 HAS SOUS 834178 HAS SOUPS 805655 WITH SCORE 807879.817
AT ITER 8464 NEW BEST:: SOT 14066840 SOS 2225488 HAS SOPS 1495772 HAS SOUS 833888 HAS SOUPS 805365 WITH SCORE 807590.488
AT ITER 8550 NEW BEST:: SOT 14067088 SOS 2226006 HAS SOPS 1496460 HAS SOUS 833849 HAS SOUPS 805326 WITH SCORE 807552.006
AT ITER 8569 NEW BEST:: SOT 14066588 SOS 2225441 HAS SOPS 1496231 HAS SOUS 833414 HAS SOUPS 804900 WITH SCORE 807125.441
AT ITER 8628 NEW BEST:: SOT 14066517 SOS 2226489 HAS SOPS 1497250 HAS SOUS 833029 HAS SOUPS 804519 WITH SCORE 806745.489
AT ITER 8812 NEW BEST:: SOT 14066451 SOS 2226312 HAS SOPS 1497324 HAS SOUS 832826 HAS SOUPS 804324 WITH SCORE 806550.312
AT ITER 8833 NEW BEST:: SOT 14066556 SOS 2226709 HAS SOPS 1497715 HAS SOUS 832701 HAS SOUPS 804199 WITH SCORE 806425.709
AT ITER 8851 NEW BEST:: SOT 14066537 SOS 2226680 HAS SOPS 1497696 HAS SOUS 832661 HAS SOUPS 804160 WITH SCORE 806386.68
AT ITER 8877 NEW BEST:: SOT 14065996 SOS 2226181 HAS SOPS 1496657 HAS SOUS 832084 HAS SOUPS 803583 WITH SCORE 805809.181
AT ITER 8880 NEW BEST:: SOT 14066549 SOS 2227750 HAS SOPS 1497858 HAS SOUS 832024 HAS SOUPS 803510 WITH SCORE 805737.75
AT ITER 8927 NEW BEST:: SOT 14067501 SOS 2230257 HAS SOPS 1500324 HAS SOUS 831545 HAS SOUPS 803027 WITH SCORE 805257.257
AT ITER 8973 NEW BEST:: SOT 14070525 SOS 2235026 HAS SOPS 1507038 HAS SOUS 830127 HAS SOUPS 801696 WITH SCORE 803931.026
AT ITER 9071 NEW BEST:: SOT 14070339 SOS 2233895 HAS SOPS 1506852 HAS SOUS 829677 HAS SOUPS 801285 WITH SCORE 803518.895
AT ITER 9220 NEW BEST:: SOT 14070192 SOS 2233565 HAS SOPS 1506579 HAS SOUS 829558 HAS SOUPS 801171 WITH SCORE 803404.565
AT ITER 9340 NEW BEST:: SOT 14071171 SOS 2236504 HAS SOPS 1509440 HAS SOUS 828794 HAS SOUPS 800400 WITH SCORE 802636.504
AT ITER 9570 NEW BEST:: SOT 14071143 SOS 2236475 HAS SOPS 1509412 HAS SOUS 828736 HAS SOUPS 800343 WITH SCORE 802579.475
AT ITER 9613 NEW BEST:: SOT 14074069 SOS 2244053 HAS SOPS 1516816 HAS SOUS 828126 HAS SOUPS 799731 WITH SCORE 801975.053
AT ITER 9629 NEW BEST:: SOT 14073930 SOS 2243840 HAS SOPS 1516529 HAS SOUS 828061 HAS SOUPS 799666 WITH SCORE 801909.84
AT ITER 9648 NEW BEST:: SOT 14074322 SOS 2244987 HAS SOPS 1517427 HAS SOUS 828039 HAS SOUPS 799633 WITH SCORE 801877.987
AT ITER 9672 NEW BEST:: SOT 14074525 SOS 2248517 HAS SOPS 1521032 HAS SOUS 826558 HAS SOUPS 798173 WITH SCORE 800421.517
AT ITER 9708 NEW BEST:: SOT 14074379 SOS 2248473 HAS SOPS 1520794 HAS SOUS 826300 HAS SOUPS 797917 WITH SCORE 800165.473
AT ITER 9734 NEW BEST:: SOT 14075841 SOS 2251007 HAS SOPS 1524988 HAS SOUS 826247 HAS SOUPS 797846 WITH SCORE 800097.007
AT ITER 9873 NEW BEST:: SOT 14075825 SOS 2250978 HAS SOPS 1524972 HAS SOUS 826213 HAS SOUPS 797813 WITH SCORE 800063.978
AT ITER 9906 NEW BEST:: SOT 14076003 SOS 2251363 HAS SOPS 1525352 HAS SOUS 826184 HAS SOUPS 797784 WITH SCORE 800035.363
AT ITER 9919 NEW BEST:: SOT 14079017 SOS 2260232 HAS SOPS 1532000 HAS SOUS 826133 HAS SOUPS 797645 WITH SCORE 799905.232
AT ITER 9923 NEW BEST:: SOT 14080043 SOS 2265652 HAS SOPS 1537122 HAS SOUS 824439 HAS SOUPS 795935 WITH SCORE 798200.652
AT ITER 9974 NEW BEST:: SOT 14080464 SOS 2266619 HAS SOPS 1538089 HAS SOUS 824314 HAS SOUPS 795810 WITH SCORE 798076.619
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
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"
# 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-4028"
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 r190-csrt-159033382800512"
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 '
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 ;