fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r483-tall-167912695900608
Last Updated
May 14, 2023

About the Execution of Smart for TokenRing-COL-030

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
10933.136 3600000.00 3578758.00 1608.60 [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 '/data/fkordon/mcc2023-input.r483-tall-167912695900608.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-COL-030, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912695900608
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 7.6K Feb 25 17:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 17:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 25 16:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 16:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 17:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 20:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 163K Feb 25 20:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 18:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 25 18:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 23K 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 1679171788498

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-COL-030
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-18 20:36:31] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-18 20:36:31] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-18 20:36:31] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-18 20:36:31] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-18 20:36:32] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 895 ms
[2023-03-18 20:36:32] [INFO ] Imported 1 HL places and 2 HL transitions for a total of 961 PT places and 29822.0 transition bindings in 24 ms.
[2023-03-18 20:36:32] [INFO ] Unfolded HLPN to a Petri net with 961 places and 27931 transitions 111724 arcs in 550 ms.
[2023-03-18 20:36:32] [INFO ] Unfolded 0 HLPN properties in 1 ms.
[2023-03-18 20:36:33] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 961 places, 27931 transitions and 111724 arcs took 280 ms.
Total runtime 2186 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running TokenRing (COL), 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 13983278 SOS 1896085 HAS SOPS 1138641 HAS SOUS 927867 HAS SOUPS 899263 WITH SCORE 901159.085
AT ITER 5 NEW BEST:: SOT 13983444 SOS 1898895 HAS SOPS 1141451 HAS SOUS 927621 HAS SOUPS 899017 WITH SCORE 900915.895
AT ITER 66 NEW BEST:: SOT 13983718 SOS 1901969 HAS SOPS 1144525 HAS SOUS 927451 HAS SOUPS 898847 WITH SCORE 900748.969
AT ITER 111 NEW BEST:: SOT 13984012 SOS 1902677 HAS SOPS 1145527 HAS SOUS 927437 HAS SOUPS 898835 WITH SCORE 900737.677
AT ITER 174 NEW BEST:: SOT 13984162 SOS 1903835 HAS SOPS 1146835 HAS SOUS 926771 HAS SOUPS 898171 WITH SCORE 900074.835
AT ITER 191 NEW BEST:: SOT 13984447 SOS 1904594 HAS SOPS 1147858 HAS SOUS 926635 HAS SOUPS 898034 WITH SCORE 899938.594
AT ITER 217 NEW BEST:: SOT 13984799 SOS 1907776 HAS SOPS 1151040 HAS SOUS 924653 HAS SOUPS 896052 WITH SCORE 897959.776
AT ITER 239 NEW BEST:: SOT 13984845 SOS 1908350 HAS SOPS 1151614 HAS SOUS 924295 HAS SOUPS 895694 WITH SCORE 897602.35
AT ITER 272 NEW BEST:: SOT 13984384 SOS 1908134 HAS SOPS 1152113 HAS SOUS 923093 HAS SOUPS 894516 WITH SCORE 896424.134
AT ITER 290 NEW BEST:: SOT 13984954 SOS 1909586 HAS SOPS 1154031 HAS SOUS 922742 HAS SOUPS 894165 WITH SCORE 896074.586
AT ITER 313 NEW BEST:: SOT 13985254 SOS 1910696 HAS SOPS 1155441 HAS SOUS 922443 HAS SOUPS 893871 WITH SCORE 895781.696
AT ITER 328 NEW BEST:: SOT 13985630 SOS 1913668 HAS SOPS 1158413 HAS SOUS 920409 HAS SOUPS 891837 WITH SCORE 893750.668
AT ITER 343 NEW BEST:: SOT 13986080 SOS 1914988 HAS SOPS 1160183 HAS SOUS 920355 HAS SOUPS 891793 WITH SCORE 893707.988
AT ITER 366 NEW BEST:: SOT 13986565 SOS 1916527 HAS SOPS 1162030 HAS SOUS 919740 HAS SOUPS 891180 WITH SCORE 893096.527
AT ITER 410 NEW BEST:: SOT 13987034 SOS 1919778 HAS SOPS 1165281 HAS SOUS 919473 HAS SOUPS 890913 WITH SCORE 892832.778
AT ITER 467 NEW BEST:: SOT 13987419 SOS 1922989 HAS SOPS 1168492 HAS SOUS 919326 HAS SOUPS 890766 WITH SCORE 892688.989
AT ITER 474 NEW BEST:: SOT 13987804 SOS 1924326 HAS SOPS 1170151 HAS SOUS 918723 HAS SOUPS 890163 WITH SCORE 892087.326
AT ITER 520 NEW BEST:: SOT 13988022 SOS 1925062 HAS SOPS 1171105 HAS SOUS 918445 HAS SOUPS 889883 WITH SCORE 891808.062
AT ITER 533 NEW BEST:: SOT 13988431 SOS 1927939 HAS SOPS 1173982 HAS SOUS 917626 HAS SOUPS 889064 WITH SCORE 890991.939
AT ITER 660 NEW BEST:: SOT 13989597 SOS 1932104 HAS SOPS 1178032 HAS SOUS 916444 HAS SOUPS 887867 WITH SCORE 889799.104
AT ITER 662 NEW BEST:: SOT 13989713 SOS 1934716 HAS SOPS 1180644 HAS SOUS 916420 HAS SOUPS 887843 WITH SCORE 889777.716
AT ITER 677 NEW BEST:: SOT 13990621 SOS 1938952 HAS SOPS 1184756 HAS SOUS 915054 HAS SOUPS 886469 WITH SCORE 888407.952
AT ITER 680 NEW BEST:: SOT 13990964 SOS 1940677 HAS SOPS 1186395 HAS SOUS 914635 HAS SOUPS 886046 WITH SCORE 887986.677
AT ITER 750 NEW BEST:: SOT 13991228 SOS 1941613 HAS SOPS 1187479 HAS SOUS 914199 HAS SOUPS 885610 WITH SCORE 887551.613
AT ITER 781 NEW BEST:: SOT 13990188 SOS 1940501 HAS SOPS 1188178 HAS SOUS 913913 HAS SOUPS 885367 WITH SCORE 887307.501
AT ITER 785 NEW BEST:: SOT 13989885 SOS 1940402 HAS SOPS 1188499 HAS SOUS 913592 HAS SOUPS 885060 WITH SCORE 887000.402
AT ITER 791 NEW BEST:: SOT 13990334 SOS 1941559 HAS SOPS 1190026 HAS SOUS 913575 HAS SOUPS 885049 WITH SCORE 886990.559
AT ITER 851 NEW BEST:: SOT 13990703 SOS 1944162 HAS SOPS 1192625 HAS SOUS 911710 HAS SOUPS 883184 WITH SCORE 885128.162
AT ITER 854 NEW BEST:: SOT 13990808 SOS 1946103 HAS SOPS 1194566 HAS SOUS 911529 HAS SOUPS 883003 WITH SCORE 884949.103
AT ITER 916 NEW BEST:: SOT 13990437 SOS 1945942 HAS SOPS 1194975 HAS SOUS 910359 HAS SOUPS 881852 WITH SCORE 883797.942
AT ITER 946 NEW BEST:: SOT 13990827 SOS 1947412 HAS SOPS 1196835 HAS SOUS 910166 HAS SOUPS 881673 WITH SCORE 883620.412
AT ITER 956 NEW BEST:: SOT 13991499 SOS 1950745 HAS SOPS 1200151 HAS SOUS 908332 HAS SOUPS 879838 WITH SCORE 881788.745
AT ITER 1076 NEW BEST:: SOT 13993149 SOS 1956663 HAS SOPS 1205119 HAS SOUS 907915 HAS SOUPS 879384 WITH SCORE 881340.663
AT ITER 1104 NEW BEST:: SOT 13993107 SOS 1956997 HAS SOPS 1206559 HAS SOUS 907311 HAS SOUPS 878798 WITH SCORE 880754.997
AT ITER 1231 NEW BEST:: SOT 13992283 SOS 1955889 HAS SOPS 1207132 HAS SOUS 907019 HAS SOUPS 878549 WITH SCORE 880504.889
AT ITER 1267 NEW BEST:: SOT 13992953 SOS 1958930 HAS SOPS 1210164 HAS SOUS 905318 HAS SOUPS 876848 WITH SCORE 878806.93
AT ITER 1275 NEW BEST:: SOT 13993407 SOS 1959904 HAS SOPS 1211514 HAS SOUS 905227 HAS SOUPS 876757 WITH SCORE 878716.904
AT ITER 1356 NEW BEST:: SOT 13993937 SOS 1963431 HAS SOPS 1215042 HAS SOUS 904062 HAS SOUPS 875592 WITH SCORE 877555.431
AT ITER 1383 NEW BEST:: SOT 13994176 SOS 1964458 HAS SOPS 1215999 HAS SOUS 903854 HAS SOUPS 875377 WITH SCORE 877341.458
AT ITER 1385 NEW BEST:: SOT 13995266 SOS 1968024 HAS SOPS 1219557 HAS SOUS 903398 HAS SOUPS 874913 WITH SCORE 876881.024
AT ITER 1398 NEW BEST:: SOT 13995922 SOS 1970646 HAS SOPS 1222171 HAS SOUS 902088 HAS SOUPS 873603 WITH SCORE 875573.646
AT ITER 1424 NEW BEST:: SOT 13997710 SOS 1975982 HAS SOPS 1226599 HAS SOUS 901506 HAS SOUPS 872983 WITH SCORE 874958.982
AT ITER 1437 NEW BEST:: SOT 13999419 SOS 1980442 HAS SOPS 1230714 HAS SOUS 901394 HAS SOUPS 872841 WITH SCORE 874821.442
AT ITER 1558 NEW BEST:: SOT 14000594 SOS 1983658 HAS SOPS 1233877 HAS SOUS 900683 HAS SOUPS 872125 WITH SCORE 874108.658
AT ITER 1567 NEW BEST:: SOT 14000654 SOS 1986333 HAS SOPS 1236607 HAS SOUS 900608 HAS SOUPS 872050 WITH SCORE 874036.333
AT ITER 1571 NEW BEST:: SOT 14000799 SOS 1987134 HAS SOPS 1237378 HAS SOUS 900407 HAS SOUPS 871845 WITH SCORE 873832.134
AT ITER 1662 NEW BEST:: SOT 14001567 SOS 1990644 HAS SOPS 1240816 HAS SOUS 898619 HAS SOUPS 870051 WITH SCORE 872041.644
AT ITER 1734 NEW BEST:: SOT 14000611 SOS 1989448 HAS SOPS 1241169 HAS SOUS 898213 HAS SOUPS 869688 WITH SCORE 871677.448
AT ITER 1820 NEW BEST:: SOT 14002214 SOS 1994060 HAS SOPS 1245382 HAS SOUS 897801 HAS SOUPS 869243 WITH SCORE 871237.06
AT ITER 1847 NEW BEST:: SOT 14003030 SOS 1997679 HAS SOPS 1249014 HAS SOUS 897464 HAS SOUPS 868887 WITH SCORE 870884.679
AT ITER 1871 NEW BEST:: SOT 14003452 SOS 1999007 HAS SOPS 1250764 HAS SOUS 897069 HAS SOUPS 868478 WITH SCORE 870477.007
AT ITER 1960 NEW BEST:: SOT 14002447 SOS 1997813 HAS SOPS 1250989 HAS SOUS 896563 HAS SOUPS 867990 WITH SCORE 869987.813
AT ITER 2031 NEW BEST:: SOT 14002687 SOS 1998473 HAS SOPS 1251889 HAS SOUS 896429 HAS SOUPS 867856 WITH SCORE 869854.473
AT ITER 2044 NEW BEST:: SOT 14003221 SOS 1999781 HAS SOPS 1253187 HAS SOUS 896346 HAS SOUPS 867769 WITH SCORE 869768.781
AT ITER 2079 NEW BEST:: SOT 14003551 SOS 2002105 HAS SOPS 1256415 HAS SOUS 895984 HAS SOUPS 867445 WITH SCORE 869447.105
AT ITER 2101 NEW BEST:: SOT 14003521 SOS 2001989 HAS SOPS 1256385 HAS SOUS 895916 HAS SOUPS 867381 WITH SCORE 869382.989
AT ITER 2124 NEW BEST:: SOT 14003432 SOS 2001904 HAS SOPS 1256346 HAS SOUS 895885 HAS SOUPS 867352 WITH SCORE 869353.904
AT ITER 2125 NEW BEST:: SOT 14003791 SOS 2002709 HAS SOPS 1257399 HAS SOUS 895829 HAS SOUPS 867293 WITH SCORE 869295.709
AT ITER 2193 NEW BEST:: SOT 14004019 SOS 2003537 HAS SOPS 1258291 HAS SOUS 895425 HAS SOUPS 866889 WITH SCORE 868892.537
AT ITER 2227 NEW BEST:: SOT 14004565 SOS 2006649 HAS SOPS 1261403 HAS SOUS 893405 HAS SOUPS 864869 WITH SCORE 866875.649
AT ITER 2242 NEW BEST:: SOT 14005278 SOS 2009463 HAS SOPS 1264210 HAS SOUS 892017 HAS SOUPS 863481 WITH SCORE 865490.463
AT ITER 2254 NEW BEST:: SOT 14005465 SOS 2010313 HAS SOPS 1265025 HAS SOUS 891851 HAS SOUPS 863309 WITH SCORE 865319.313
AT ITER 2274 NEW BEST:: SOT 14004567 SOS 2009269 HAS SOPS 1265532 HAS SOUS 891254 HAS SOUPS 862760 WITH SCORE 864769.269
AT ITER 2313 NEW BEST:: SOT 14004169 SOS 2008841 HAS SOPS 1265104 HAS SOUS 890576 HAS SOUPS 862082 WITH SCORE 864090.841
AT ITER 2338 NEW BEST:: SOT 14006050 SOS 2012219 HAS SOPS 1267014 HAS SOUS 890271 HAS SOUPS 861790 WITH SCORE 863802.219
AT ITER 2364 NEW BEST:: SOT 14006148 SOS 2013013 HAS SOPS 1267692 HAS SOUS 889542 HAS SOUPS 861059 WITH SCORE 863072.013
AT ITER 2371 NEW BEST:: SOT 14007201 SOS 2016118 HAS SOPS 1270755 HAS SOUS 889099 HAS SOUPS 860609 WITH SCORE 862625.118
AT ITER 2405 NEW BEST:: SOT 14007514 SOS 2017489 HAS SOPS 1272178 HAS SOUS 888690 HAS SOUPS 860202 WITH SCORE 862219.489
AT ITER 2424 NEW BEST:: SOT 14008179 SOS 2019009 HAS SOPS 1275113 HAS SOUS 888491 HAS SOUPS 860038 WITH SCORE 862057.009
AT ITER 2438 NEW BEST:: SOT 14008445 SOS 2022087 HAS SOPS 1278191 HAS SOUS 888487 HAS SOUPS 860034 WITH SCORE 862056.087
AT ITER 2487 NEW BEST:: SOT 14009672 SOS 2027771 HAS SOPS 1284104 HAS SOUS 887179 HAS SOUPS 858720 WITH SCORE 860747.771
AT ITER 2503 NEW BEST:: SOT 14010415 SOS 2030681 HAS SOPS 1287017 HAS SOUS 886220 HAS SOUPS 857760 WITH SCORE 859790.681
AT ITER 2549 NEW BEST:: SOT 14010276 SOS 2030575 HAS SOPS 1287052 HAS SOUS 886172 HAS SOUPS 857716 WITH SCORE 859746.575
AT ITER 2552 NEW BEST:: SOT 14012371 SOS 2037060 HAS SOPS 1292239 HAS SOUS 885582 HAS SOUPS 857071 WITH SCORE 859108.06
AT ITER 2577 NEW BEST:: SOT 14012004 SOS 2036828 HAS SOPS 1292960 HAS SOUS 884305 HAS SOUPS 855819 WITH SCORE 857855.828
AT ITER 2708 NEW BEST:: SOT 14013432 SOS 2040569 HAS SOPS 1296408 HAS SOUS 883947 HAS SOUPS 855444 WITH SCORE 857484.569
AT ITER 2734 NEW BEST:: SOT 14013326 SOS 2040369 HAS SOPS 1296208 HAS SOUS 883935 HAS SOUPS 855432 WITH SCORE 857472.369
AT ITER 2847 NEW BEST:: SOT 14013325 SOS 2040368 HAS SOPS 1296206 HAS SOUS 883934 HAS SOUPS 855430 WITH SCORE 857470.368
AT ITER 2851 NEW BEST:: SOT 14011855 SOS 2038680 HAS SOPS 1295705 HAS SOUS 882961 HAS SOUPS 854509 WITH SCORE 856547.68
AT ITER 2866 NEW BEST:: SOT 14011996 SOS 2039044 HAS SOPS 1296060 HAS SOUS 882879 HAS SOUPS 854427 WITH SCORE 856466.044
AT ITER 2869 NEW BEST:: SOT 14012221 SOS 2042063 HAS SOPS 1299763 HAS SOUS 879690 HAS SOUPS 851258 WITH SCORE 853300.063
AT ITER 2886 NEW BEST:: SOT 14013709 SOS 2045582 HAS SOPS 1303021 HAS SOUS 879643 HAS SOUPS 851195 WITH SCORE 853240.582
AT ITER 2896 NEW BEST:: SOT 14013573 SOS 2045321 HAS SOPS 1302885 HAS SOUS 879353 HAS SOUPS 850914 WITH SCORE 852959.321
AT ITER 2898 NEW BEST:: SOT 14013534 SOS 2045302 HAS SOPS 1302928 HAS SOUS 879232 HAS SOUPS 850795 WITH SCORE 852840.302
AT ITER 2916 NEW BEST:: SOT 14013506 SOS 2045184 HAS SOPS 1302908 HAS SOUS 879166 HAS SOUPS 850743 WITH SCORE 852788.184
AT ITER 2924 NEW BEST:: SOT 14013483 SOS 2045161 HAS SOPS 1302862 HAS SOUS 879143 HAS SOUPS 850697 WITH SCORE 852742.161
AT ITER 2962 NEW BEST:: SOT 14013593 SOS 2045391 HAS SOPS 1303202 HAS SOUS 879138 HAS SOUPS 850692 WITH SCORE 852737.391
AT ITER 2987 NEW BEST:: SOT 14015605 SOS 2052060 HAS SOPS 1308730 HAS SOUS 878105 HAS SOUPS 849607 WITH SCORE 851659.06
AT ITER 3000 NEW BEST:: SOT 14016191 SOS 2055817 HAS SOPS 1312480 HAS SOUS 877814 HAS SOUPS 849316 WITH SCORE 851371.817
AT ITER 3002 NEW BEST:: SOT 14016514 SOS 2057006 HAS SOPS 1313963 HAS SOUS 877547 HAS SOUPS 849056 WITH SCORE 851113.006
AT ITER 3059 NEW BEST:: SOT 14016855 SOS 2059765 HAS SOPS 1316722 HAS SOUS 875470 HAS SOUPS 846979 WITH SCORE 849038.765
AT ITER 3097 NEW BEST:: SOT 14016840 SOS 2059736 HAS SOPS 1316707 HAS SOUS 875438 HAS SOUPS 846948 WITH SCORE 849007.736
AT ITER 3155 NEW BEST:: SOT 14017064 SOS 2061099 HAS SOPS 1318531 HAS SOUS 875116 HAS SOUPS 846609 WITH SCORE 848670.099
AT ITER 3190 NEW BEST:: SOT 14014413 SOS 2058299 HAS SOPS 1317424 HAS SOUS 872924 HAS SOUPS 844515 WITH SCORE 846573.299
AT ITER 3201 NEW BEST:: SOT 14014548 SOS 2058764 HAS SOPS 1317949 HAS SOUS 872714 HAS SOUPS 844305 WITH SCORE 846363.764
AT ITER 3232 NEW BEST:: SOT 14014575 SOS 2058983 HAS SOPS 1318404 HAS SOUS 872270 HAS SOUPS 843870 WITH SCORE 845928.983
AT ITER 3290 NEW BEST:: SOT 14014517 SOS 2058925 HAS SOPS 1318346 HAS SOUS 872212 HAS SOUPS 843812 WITH SCORE 845870.925
AT ITER 3299 NEW BEST:: SOT 14015063 SOS 2060007 HAS SOPS 1319824 HAS SOUS 872137 HAS SOUPS 843737 WITH SCORE 845797.007
AT ITER 3300 NEW BEST:: SOT 14015006 SOS 2060059 HAS SOPS 1319755 HAS SOUS 871847 HAS SOUPS 843443 WITH SCORE 845503.059
AT ITER 3406 NEW BEST:: SOT 14015190 SOS 2060467 HAS SOPS 1320347 HAS SOUS 871846 HAS SOUPS 843442 WITH SCORE 845502.467
AT ITER 3417 NEW BEST:: SOT 14015805 SOS 2062947 HAS SOPS 1322858 HAS SOUS 870596 HAS SOUPS 842192 WITH SCORE 844254.947
AT ITER 3455 NEW BEST:: SOT 14018274 SOS 2069720 HAS SOPS 1328623 HAS SOUS 870218 HAS SOUPS 841773 WITH SCORE 843842.72
AT ITER 3491 NEW BEST:: SOT 14017815 SOS 2068748 HAS SOPS 1327862 HAS SOUS 870024 HAS SOUPS 841587 WITH SCORE 843655.748
AT ITER 3563 NEW BEST:: SOT 14017789 SOS 2068661 HAS SOPS 1327836 HAS SOUS 869966 HAS SOUPS 841532 WITH SCORE 843600.661
AT ITER 3602 NEW BEST:: SOT 14018106 SOS 2069646 HAS SOPS 1329071 HAS SOUS 869591 HAS SOUPS 841157 WITH SCORE 843226.646
AT ITER 3670 NEW BEST:: SOT 14018312 SOS 2070301 HAS SOPS 1329733 HAS SOUS 869348 HAS SOUPS 840914 WITH SCORE 842984.301
AT ITER 3699 NEW BEST:: SOT 14018740 SOS 2073076 HAS SOPS 1332505 HAS SOUS 867553 HAS SOUPS 839119 WITH SCORE 841192.076
AT ITER 3714 NEW BEST:: SOT 14018615 SOS 2072931 HAS SOPS 1332380 HAS SOUS 867293 HAS SOUPS 838864 WITH SCORE 840936.931
AT ITER 3744 NEW BEST:: SOT 14020850 SOS 2079367 HAS SOPS 1337513 HAS SOUS 867156 HAS SOUPS 838668 WITH SCORE 840747.367
AT ITER 3761 NEW BEST:: SOT 14019666 SOS 2078908 HAS SOPS 1337522 HAS SOUS 867045 HAS SOUPS 838578 WITH SCORE 840656.908
AT ITER 3873 NEW BEST:: SOT 14020497 SOS 2081470 HAS SOPS 1340225 HAS SOUS 865959 HAS SOUPS 837498 WITH SCORE 839579.47
AT ITER 3964 NEW BEST:: SOT 14021418 SOS 2083445 HAS SOPS 1342838 HAS SOUS 865779 HAS SOUPS 837318 WITH SCORE 839401.445
AT ITER 4024 NEW BEST:: SOT 14021577 SOS 2086426 HAS SOPS 1345823 HAS SOUS 865658 HAS SOUPS 837197 WITH SCORE 839283.426
AT ITER 4065 NEW BEST:: SOT 14021863 SOS 2085830 HAS SOPS 1346941 HAS SOUS 864254 HAS SOUPS 835819 WITH SCORE 837904.83
AT ITER 4074 NEW BEST:: SOT 14022056 SOS 2086649 HAS SOPS 1347892 HAS SOUS 863855 HAS SOUPS 835417 WITH SCORE 837503.649
AT ITER 4082 NEW BEST:: SOT 14023119 SOS 2089743 HAS SOPS 1350943 HAS SOUS 863011 HAS SOUPS 834569 WITH SCORE 836658.743
AT ITER 4145 NEW BEST:: SOT 14023396 SOS 2092297 HAS SOPS 1353492 HAS SOUS 861352 HAS SOUPS 832905 WITH SCORE 834997.297
AT ITER 4210 NEW BEST:: SOT 14023119 SOS 2092072 HAS SOPS 1352997 HAS SOUS 861032 HAS SOUPS 832585 WITH SCORE 834677.072
AT ITER 4213 NEW BEST:: SOT 14023611 SOS 2093056 HAS SOPS 1354389 HAS SOUS 861011 HAS SOUPS 832564 WITH SCORE 834657.056
AT ITER 4250 NEW BEST:: SOT 14023870 SOS 2093631 HAS SOPS 1355152 HAS SOUS 860926 HAS SOUPS 832479 WITH SCORE 834572.631
AT ITER 4258 NEW BEST:: SOT 14023851 SOS 2093573 HAS SOPS 1355133 HAS SOUS 860884 HAS SOUPS 832439 WITH SCORE 834532.573
AT ITER 4290 NEW BEST:: SOT 14024296 SOS 2094594 HAS SOPS 1356312 HAS SOUS 860721 HAS SOUPS 832276 WITH SCORE 834370.594
AT ITER 4318 NEW BEST:: SOT 14024266 SOS 2094732 HAS SOPS 1356420 HAS SOUS 860529 HAS SOUPS 832084 WITH SCORE 834178.732
AT ITER 4323 NEW BEST:: SOT 14025332 SOS 2098117 HAS SOPS 1359042 HAS SOUS 860547 HAS SOUPS 832061 WITH SCORE 834159.117
AT ITER 4357 NEW BEST:: SOT 14026208 SOS 2102089 HAS SOPS 1363014 HAS SOUS 859753 HAS SOUPS 831267 WITH SCORE 833369.089
AT ITER 4384 NEW BEST:: SOT 14026782 SOS 2105821 HAS SOPS 1366674 HAS SOUS 859742 HAS SOUPS 831253 WITH SCORE 833358.821
AT ITER 4389 NEW BEST:: SOT 14027094 SOS 2107159 HAS SOPS 1368250 HAS SOUS 858958 HAS SOUPS 830469 WITH SCORE 832576.159
AT ITER 4408 NEW BEST:: SOT 14028874 SOS 2112693 HAS SOPS 1373368 HAS SOUS 858850 HAS SOUPS 830330 WITH SCORE 832442.693
AT ITER 4418 NEW BEST:: SOT 14029522 SOS 2115812 HAS SOPS 1376464 HAS SOUS 857027 HAS SOUPS 828507 WITH SCORE 830622.812
AT ITER 4475 NEW BEST:: SOT 14029699 SOS 2117805 HAS SOPS 1378457 HAS SOUS 855388 HAS SOUPS 826868 WITH SCORE 828985.805
AT ITER 4478 NEW BEST:: SOT 14028125 SOS 2113520 HAS SOPS 1375315 HAS SOUS 854594 HAS SOUPS 826114 WITH SCORE 828227.52
AT ITER 4490 NEW BEST:: SOT 14029052 SOS 2117323 HAS SOPS 1378938 HAS SOUS 853513 HAS SOUPS 825023 WITH SCORE 827140.323
AT ITER 4493 NEW BEST:: SOT 14028620 SOS 2116864 HAS SOPS 1379444 HAS SOUS 852178 HAS SOUPS 823718 WITH SCORE 825834.864
AT ITER 4572 NEW BEST:: SOT 14028573 SOS 2116913 HAS SOPS 1379479 HAS SOUS 851818 HAS SOUPS 823365 WITH SCORE 825481.913
AT ITER 4581 NEW BEST:: SOT 14029970 SOS 2122397 HAS SOPS 1384082 HAS SOUS 850306 HAS SOUPS 821815 WITH SCORE 823937.397
AT ITER 4627 NEW BEST:: SOT 14031625 SOS 2127541 HAS SOPS 1388233 HAS SOUS 849991 HAS SOUPS 821457 WITH SCORE 823584.541
AT ITER 4661 NEW BEST:: SOT 14030793 SOS 2126640 HAS SOPS 1387883 HAS SOUS 849228 HAS SOUPS 820694 WITH SCORE 822820.64
AT ITER 4705 NEW BEST:: SOT 14031000 SOS 2127507 HAS SOPS 1388838 HAS SOUS 848866 HAS SOUPS 820333 WITH SCORE 822460.507
AT ITER 4779 NEW BEST:: SOT 14031014 SOS 2127593 HAS SOPS 1389024 HAS SOUS 848684 HAS SOUPS 820155 WITH SCORE 822282.593
AT ITER 4819 NEW BEST:: SOT 14032008 SOS 2130257 HAS SOPS 1391630 HAS SOUS 848411 HAS SOUPS 819881 WITH SCORE 822011.257
AT ITER 4831 NEW BEST:: SOT 14031965 SOS 2130143 HAS SOPS 1391533 HAS SOUS 848408 HAS SOUPS 819879 WITH SCORE 822009.143
AT ITER 4862 NEW BEST:: SOT 14032194 SOS 2130724 HAS SOPS 1392236 HAS SOUS 848247 HAS SOUPS 819718 WITH SCORE 821848.724
AT ITER 5087 NEW BEST:: SOT 14032527 SOS 2132025 HAS SOPS 1393863 HAS SOUS 847953 HAS SOUPS 819433 WITH SCORE 821565.025
AT ITER 5103 NEW BEST:: SOT 14033311 SOS 2133759 HAS SOPS 1395559 HAS SOUS 847821 HAS SOUPS 819301 WITH SCORE 821434.759
AT ITER 5246 NEW BEST:: SOT 14033565 SOS 2134633 HAS SOPS 1396631 HAS SOUS 847574 HAS SOUPS 819056 WITH SCORE 821190.633
AT ITER 5266 NEW BEST:: SOT 14033993 SOS 2135767 HAS SOPS 1398121 HAS SOUS 847270 HAS SOUPS 818752 WITH SCORE 820887.767
AT ITER 5267 NEW BEST:: SOT 14034325 SOS 2136507 HAS SOPS 1399097 HAS SOUS 847222 HAS SOUPS 818704 WITH SCORE 820840.507
AT ITER 5316 NEW BEST:: SOT 14034418 SOS 2136739 HAS SOPS 1399706 HAS SOUS 847176 HAS SOUPS 818658 WITH SCORE 820794.739
AT ITER 5318 NEW BEST:: SOT 14034266 SOS 2136482 HAS SOPS 1399460 HAS SOUS 847129 HAS SOUPS 818611 WITH SCORE 820747.482
AT ITER 5319 NEW BEST:: SOT 14034790 SOS 2137591 HAS SOPS 1401094 HAS SOUS 847136 HAS SOUPS 818609 WITH SCORE 820746.591
AT ITER 5320 NEW BEST:: SOT 14035381 SOS 2140459 HAS SOPS 1403983 HAS SOUS 846194 HAS SOUPS 817667 WITH SCORE 819807.459
AT ITER 5336 NEW BEST:: SOT 14035456 SOS 2140990 HAS SOPS 1404408 HAS SOUS 845832 HAS SOUPS 817305 WITH SCORE 819445.99
AT ITER 5637 NEW BEST:: SOT 14036103 SOS 2143670 HAS SOPS 1407085 HAS SOUS 844508 HAS SOUPS 815981 WITH SCORE 818124.67
AT ITER 5645 NEW BEST:: SOT 14036106 SOS 2143745 HAS SOPS 1407274 HAS SOUS 844284 HAS SOUPS 815762 WITH SCORE 817905.745
AT ITER 5861 NEW BEST:: SOT 14036620 SOS 2146021 HAS SOPS 1409550 HAS SOUS 843036 HAS SOUPS 814514 WITH SCORE 816660.021
AT ITER 5933 NEW BEST:: SOT 14037434 SOS 2148834 HAS SOPS 1412368 HAS SOUS 841851 HAS SOUPS 813329 WITH SCORE 815477.834
AT ITER 5977 NEW BEST:: SOT 14038326 SOS 2148516 HAS SOPS 1413976 HAS SOUS 841572 HAS SOUPS 813043 WITH SCORE 815191.516
AT ITER 6051 NEW BEST:: SOT 14037839 SOS 2148023 HAS SOPS 1413489 HAS SOUS 840992 HAS SOUPS 812469 WITH SCORE 814617.023
AT ITER 6094 NEW BEST:: SOT 14038010 SOS 2148484 HAS SOPS 1413914 HAS SOUS 840935 HAS SOUPS 812410 WITH SCORE 814558.484
AT ITER 6115 NEW BEST:: SOT 14038141 SOS 2149326 HAS SOPS 1414887 HAS SOUS 840355 HAS SOUPS 811830 WITH SCORE 813979.326
AT ITER 6122 NEW BEST:: SOT 14038094 SOS 2149267 HAS SOPS 1414839 HAS SOUS 840258 HAS SOUPS 811734 WITH SCORE 813883.267
AT ITER 6193 NEW BEST:: SOT 14037936 SOS 2149081 HAS SOPS 1414655 HAS SOUS 839973 HAS SOUPS 811454 WITH SCORE 813603.081
AT ITER 6208 NEW BEST:: SOT 14039910 SOS 2153877 HAS SOPS 1418875 HAS SOUS 839683 HAS SOUPS 811146 WITH SCORE 813299.877
AT ITER 6290 NEW BEST:: SOT 14040054 SOS 2154500 HAS SOPS 1419501 HAS SOUS 839379 HAS SOUPS 810841 WITH SCORE 812995.5
AT ITER 6407 NEW BEST:: SOT 14041150 SOS 2158307 HAS SOPS 1423231 HAS SOUS 838663 HAS SOUPS 810120 WITH SCORE 812278.307
AT ITER 6549 NEW BEST:: SOT 14041547 SOS 2161154 HAS SOPS 1426098 HAS SOUS 838222 HAS SOUPS 809679 WITH SCORE 811840.154
AT ITER 6668 NEW BEST:: SOT 14041469 SOS 2160690 HAS SOPS 1426020 HAS SOUS 838034 HAS SOUPS 809507 WITH SCORE 811667.69
AT ITER 6701 NEW BEST:: SOT 14041310 SOS 2160531 HAS SOPS 1425881 HAS SOUS 838025 HAS SOUPS 809503 WITH SCORE 811663.531
AT ITER 6743 NEW BEST:: SOT 14041843 SOS 2163568 HAS SOPS 1428904 HAS SOUS 836054 HAS SOUPS 807532 WITH SCORE 809695.568
AT ITER 6762 NEW BEST:: SOT 14042329 SOS 2164802 HAS SOPS 1430466 HAS SOUS 835760 HAS SOUPS 807238 WITH SCORE 809402.802
AT ITER 6815 NEW BEST:: SOT 14042662 SOS 2165500 HAS SOPS 1431473 HAS SOUS 835747 HAS SOUPS 807225 WITH SCORE 809390.5
AT ITER 6844 NEW BEST:: SOT 14043031 SOS 2166353 HAS SOPS 1432656 HAS SOUS 835660 HAS SOUPS 807138 WITH SCORE 809304.353
AT ITER 6902 NEW BEST:: SOT 14045691 SOS 2173964 HAS SOPS 1438900 HAS SOUS 835415 HAS SOUPS 806829 WITH SCORE 809002.964
AT ITER 6967 NEW BEST:: SOT 14045769 SOS 2174784 HAS SOPS 1439714 HAS SOUS 834875 HAS SOUPS 806289 WITH SCORE 808463.784
AT ITER 7082 NEW BEST:: SOT 14047262 SOS 2179516 HAS SOPS 1443809 HAS SOUS 833935 HAS SOUPS 805323 WITH SCORE 807502.516
AT ITER 7170 NEW BEST:: SOT 14049092 SOS 2184277 HAS SOPS 1448575 HAS SOUS 832772 HAS SOUPS 804162 WITH SCORE 806346.277
AT ITER 7186 NEW BEST:: SOT 14046731 SOS 2177629 HAS SOPS 1443344 HAS SOUS 832497 HAS SOUPS 803950 WITH SCORE 806127.629
AT ITER 7210 NEW BEST:: SOT 14046671 SOS 2177512 HAS SOPS 1443230 HAS SOUS 832494 HAS SOUPS 803947 WITH SCORE 806124.512
AT ITER 7239 NEW BEST:: SOT 14046343 SOS 2176641 HAS SOPS 1442574 HAS SOUS 832389 HAS SOUPS 803852 WITH SCORE 806028.641
AT ITER 7363 NEW BEST:: SOT 14046767 SOS 2177785 HAS SOPS 1443920 HAS SOUS 832056 HAS SOUPS 803519 WITH SCORE 805696.785
AT ITER 7383 NEW BEST:: SOT 14047135 SOS 2178855 HAS SOPS 1444968 HAS SOUS 831722 HAS SOUPS 803185 WITH SCORE 805363.855
AT ITER 7400 NEW BEST:: SOT 14047251 SOS 2178954 HAS SOPS 1445828 HAS SOUS 831669 HAS SOUPS 803138 WITH SCORE 805316.954
AT ITER 7423 NEW BEST:: SOT 14047781 SOS 2179994 HAS SOPS 1447226 HAS SOUS 831658 HAS SOUPS 803127 WITH SCORE 805306.994
AT ITER 7474 NEW BEST:: SOT 14049704 SOS 2185789 HAS SOPS 1452313 HAS SOUS 830515 HAS SOUPS 801958 WITH SCORE 804143.789
AT ITER 7532 NEW BEST:: SOT 14051198 SOS 2190528 HAS SOPS 1456779 HAS SOUS 830035 HAS SOUPS 801443 WITH SCORE 803633.528
AT ITER 7637 NEW BEST:: SOT 14052707 SOS 2194828 HAS SOPS 1460490 HAS SOUS 829249 HAS SOUPS 800641 WITH SCORE 802835.828
AT ITER 7649 NEW BEST:: SOT 14052562 SOS 2194683 HAS SOPS 1460345 HAS SOUS 829104 HAS SOUPS 800496 WITH SCORE 802690.683
AT ITER 7759 NEW BEST:: SOT 14053378 SOS 2197122 HAS SOPS 1462781 HAS SOUS 828359 HAS SOUPS 799751 WITH SCORE 801948.122
AT ITER 7765 NEW BEST:: SOT 14054520 SOS 2200898 HAS SOPS 1465275 HAS SOUS 827921 HAS SOUPS 799279 WITH SCORE 801479.898
AT ITER 7914 NEW BEST:: SOT 14055179 SOS 2203167 HAS SOPS 1467626 HAS SOUS 827280 HAS SOUPS 798638 WITH SCORE 800841.167
AT ITER 7947 NEW BEST:: SOT 14055499 SOS 2204790 HAS SOPS 1469598 HAS SOUS 825801 HAS SOUPS 797175 WITH SCORE 799379.79
AT ITER 8049 NEW BEST:: SOT 14056559 SOS 2207258 HAS SOPS 1471830 HAS SOUS 825732 HAS SOUPS 797097 WITH SCORE 799304.258
AT ITER 8068 NEW BEST:: SOT 14056255 SOS 2206702 HAS SOPS 1471336 HAS SOUS 825380 HAS SOUPS 796755 WITH SCORE 798961.702
AT ITER 8087 NEW BEST:: SOT 14055611 SOS 2205321 HAS SOPS 1470368 HAS SOUS 824915 HAS SOUPS 796308 WITH SCORE 798513.321
AT ITER 8091 NEW BEST:: SOT 14055584 SOS 2205290 HAS SOPS 1470311 HAS SOUS 824893 HAS SOUPS 796286 WITH SCORE 798491.29
AT ITER 8182 NEW BEST:: SOT 14056106 SOS 2207284 HAS SOPS 1472317 HAS SOUS 823943 HAS SOUPS 795336 WITH SCORE 797543.284
AT ITER 8192 NEW BEST:: SOT 14056355 SOS 2207892 HAS SOPS 1473122 HAS SOUS 823774 HAS SOUPS 795170 WITH SCORE 797377.892
AT ITER 8283 NEW BEST:: SOT 14056973 SOS 2209164 HAS SOPS 1474856 HAS SOUS 823703 HAS SOUPS 795099 WITH SCORE 797308.164
AT ITER 8393 NEW BEST:: SOT 14057500 SOS 2210548 HAS SOPS 1476245 HAS SOUS 823373 HAS SOUPS 794769 WITH SCORE 796979.548
AT ITER 8415 NEW BEST:: SOT 14056775 SOS 2208743 HAS SOPS 1474782 HAS SOUS 823046 HAS SOUPS 794464 WITH SCORE 796672.743
AT ITER 8421 NEW BEST:: SOT 14057012 SOS 2208892 HAS SOPS 1475521 HAS SOUS 823012 HAS SOUPS 794443 WITH SCORE 796651.892
AT ITER 8426 NEW BEST:: SOT 14060350 SOS 2219301 HAS SOPS 1482553 HAS SOUS 822844 HAS SOUPS 794160 WITH SCORE 796379.301
AT ITER 8488 NEW BEST:: SOT 14060713 SOS 2220064 HAS SOPS 1483508 HAS SOUS 822782 HAS SOUPS 794098 WITH SCORE 796318.064
AT ITER 8543 NEW BEST:: SOT 14062874 SOS 2225302 HAS SOPS 1488745 HAS SOUS 822610 HAS SOUPS 793926 WITH SCORE 796151.302
AT ITER 8562 NEW BEST:: SOT 14063393 SOS 2226715 HAS SOPS 1490150 HAS SOUS 822607 HAS SOUPS 793923 WITH SCORE 796149.715
AT ITER 8758 NEW BEST:: SOT 14062046 SOS 2225213 HAS SOPS 1488879 HAS SOUS 821499 HAS SOUPS 792877 WITH SCORE 795102.213
AT ITER 8772 NEW BEST:: SOT 14062032 SOS 2225184 HAS SOPS 1488865 HAS SOUS 821469 HAS SOUPS 792848 WITH SCORE 795073.184
AT ITER 8810 NEW BEST:: SOT 14061795 SOS 2224923 HAS SOPS 1488628 HAS SOUS 820977 HAS SOUPS 792365 WITH SCORE 794589.923
AT ITER 8946 NEW BEST:: SOT 14061599 SOS 2224635 HAS SOPS 1488226 HAS SOUS 820866 HAS SOUPS 792257 WITH SCORE 794481.635
AT ITER 9008 NEW BEST:: SOT 14061937 SOS 2225373 HAS SOPS 1489198 HAS SOUS 820782 HAS SOUPS 792173 WITH SCORE 794398.373
AT ITER 9070 NEW BEST:: SOT 14061173 SOS 2223373 HAS SOPS 1487986 HAS SOUS 820169 HAS SOUPS 791595 WITH SCORE 793818.373
AT ITER 9129 NEW BEST:: SOT 14060469 SOS 2222492 HAS SOPS 1487333 HAS SOUS 819629 HAS SOUPS 791080 WITH SCORE 793302.492
AT ITER 9154 NEW BEST:: SOT 14060636 SOS 2223045 HAS SOPS 1487892 HAS SOUS 819383 HAS SOUPS 790834 WITH SCORE 793057.045
AT ITER 9309 NEW BEST:: SOT 14061356 SOS 2225296 HAS SOPS 1490202 HAS SOUS 818572 HAS SOUPS 790023 WITH SCORE 792248.296
AT ITER 9325 NEW BEST:: SOT 14060642 SOS 2224092 HAS SOPS 1488630 HAS SOUS 818298 HAS SOUPS 789750 WITH SCORE 791974.092
AT ITER 9437 NEW BEST:: SOT 14062006 SOS 2227488 HAS SOPS 1492026 HAS SOUS 817630 HAS SOUPS 789082 WITH SCORE 791309.488
AT ITER 9446 NEW BEST:: SOT 14061653 SOS 2227099 HAS SOPS 1492367 HAS SOUS 816693 HAS SOUPS 788165 WITH SCORE 790392.099
AT ITER 9457 NEW BEST:: SOT 14061731 SOS 2227311 HAS SOPS 1492579 HAS SOUS 816637 HAS SOUPS 788109 WITH SCORE 790336.311
AT ITER 9542 NEW BEST:: SOT 14061601 SOS 2227103 HAS SOPS 1492245 HAS SOUS 816580 HAS SOUPS 788052 WITH SCORE 790279.103
AT ITER 9590 NEW BEST:: SOT 14062117 SOS 2228148 HAS SOPS 1494555 HAS SOUS 815575 HAS SOUPS 787103 WITH SCORE 789331.148
AT ITER 9592 NEW BEST:: SOT 14062384 SOS 2228710 HAS SOPS 1495110 HAS SOUS 815547 HAS SOUPS 787075 WITH SCORE 789303.71
AT ITER 9598 NEW BEST:: SOT 14062809 SOS 2229680 HAS SOPS 1496077 HAS SOUS 815520 HAS SOUPS 787045 WITH SCORE 789274.68
AT ITER 9622 NEW BEST:: SOT 14063003 SOS 2230428 HAS SOPS 1497019 HAS SOUS 815184 HAS SOUPS 786709 WITH SCORE 788939.428
AT ITER 9669 NEW BEST:: SOT 14064055 SOS 2233741 HAS SOPS 1500231 HAS SOUS 814285 HAS SOUPS 785800 WITH SCORE 788033.741
AT ITER 9697 NEW BEST:: SOT 14064446 SOS 2234582 HAS SOPS 1501466 HAS SOUS 814251 HAS SOUPS 785766 WITH SCORE 788000.582
AT ITER 9725 NEW BEST:: SOT 14064418 SOS 2234553 HAS SOPS 1501438 HAS SOUS 814193 HAS SOUPS 785709 WITH SCORE 787943.553
AT ITER 9745 NEW BEST:: SOT 14064073 SOS 2234129 HAS SOPS 1501737 HAS SOUS 813431 HAS SOUPS 784967 WITH SCORE 787201.129
AT ITER 9818 NEW BEST:: SOT 14065318 SOS 2237360 HAS SOPS 1504850 HAS SOUS 813031 HAS SOUPS 784558 WITH SCORE 786795.36
AT ITER 9891 NEW BEST:: SOT 14065224 SOS 2237187 HAS SOPS 1504757 HAS SOUS 812830 HAS SOUPS 784364 WITH SCORE 786601.187
AT ITER 9898 NEW BEST:: SOT 14065366 SOS 2237597 HAS SOPS 1505309 HAS SOUS 812718 HAS SOUPS 784252 WITH SCORE 786489.597
AT ITER 9905 NEW BEST:: SOT 14068845 SOS 2247671 HAS SOPS 1512880 HAS SOUS 812702 HAS SOUPS 784148 WITH SCORE 786395.671
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 5226840 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16119548 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-COL-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-COL-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-167912695900608"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-COL-030.tgz
mv TokenRing-COL-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 ;