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.r491-tall-167912710700608.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 smartxred
Input is TokenRing-COL-030, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912710700608
=====================================================================

--------------------
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 1679270498437

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=TokenRing-COL-030
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 00:01:40] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 00:01:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 00:01:40] [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-20 00:01:40] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-20 00:01:41] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 493 ms
[2023-03-20 00:01:41] [INFO ] Imported 1 HL places and 2 HL transitions for a total of 961 PT places and 29822.0 transition bindings in 23 ms.
[2023-03-20 00:01:41] [INFO ] Unfolded HLPN to a Petri net with 961 places and 27931 transitions 111724 arcs in 222 ms.
[2023-03-20 00:01:41] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-20 00:01:41] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 961 places, 27931 transitions and 111724 arcs took 162 ms.
Total runtime 1172 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running TokenRing (COL), instance 030
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/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 41 NEW BEST:: SOT 13983419 SOS 1898672 HAS SOPS 1141228 HAS SOUS 927608 HAS SOUPS 899004 WITH SCORE 900902.672
AT ITER 67 NEW BEST:: SOT 13981646 SOS 1896210 HAS SOPS 1141708 HAS SOUS 926524 HAS SOUPS 898011 WITH SCORE 899907.21
AT ITER 75 NEW BEST:: SOT 13981727 SOS 1898485 HAS SOPS 1143983 HAS SOUS 926519 HAS SOUPS 898006 WITH SCORE 899904.485
AT ITER 136 NEW BEST:: SOT 13981970 SOS 1901714 HAS SOPS 1147212 HAS SOUS 926442 HAS SOUPS 897929 WITH SCORE 899830.714
AT ITER 307 NEW BEST:: SOT 13982412 SOS 1903082 HAS SOPS 1149022 HAS SOUS 926394 HAS SOUPS 897892 WITH SCORE 899795.082
AT ITER 320 NEW BEST:: SOT 13981351 SOS 1901898 HAS SOPS 1149486 HAS SOUS 926014 HAS SOUPS 897555 WITH SCORE 899456.898
AT ITER 337 NEW BEST:: SOT 13981692 SOS 1905215 HAS SOPS 1152803 HAS SOUS 925735 HAS SOUPS 897276 WITH SCORE 899181.215
AT ITER 363 NEW BEST:: SOT 13981786 SOS 1907601 HAS SOPS 1155189 HAS SOUS 925645 HAS SOUPS 897186 WITH SCORE 899093.601
AT ITER 370 NEW BEST:: SOT 13982991 SOS 1912214 HAS SOPS 1159674 HAS SOUS 925302 HAS SOUPS 896831 WITH SCORE 898743.214
AT ITER 420 NEW BEST:: SOT 13983055 SOS 1912888 HAS SOPS 1160412 HAS SOUS 924782 HAS SOUPS 896311 WITH SCORE 898223.888
AT ITER 476 NEW BEST:: SOT 13983449 SOS 1915842 HAS SOPS 1163366 HAS SOUS 923546 HAS SOUPS 895075 WITH SCORE 896990.842
AT ITER 562 NEW BEST:: SOT 13983901 SOS 1917178 HAS SOPS 1165116 HAS SOUS 923514 HAS SOUPS 895054 WITH SCORE 896971.178
AT ITER 653 NEW BEST:: SOT 13984110 SOS 1919387 HAS SOPS 1167325 HAS SOUS 921723 HAS SOUPS 893263 WITH SCORE 895182.387
AT ITER 673 NEW BEST:: SOT 13984486 SOS 1922085 HAS SOPS 1170023 HAS SOUS 919777 HAS SOUPS 891317 WITH SCORE 893239.085
AT ITER 715 NEW BEST:: SOT 13983468 SOS 1920783 HAS SOPS 1170100 HAS SOUS 919229 HAS SOUPS 890812 WITH SCORE 892732.783
AT ITER 733 NEW BEST:: SOT 13982964 SOS 1920293 HAS SOPS 1169626 HAS SOUS 919174 HAS SOUPS 890773 WITH SCORE 892693.293
AT ITER 742 NEW BEST:: SOT 13983486 SOS 1923429 HAS SOPS 1172762 HAS SOUS 917082 HAS SOUPS 888681 WITH SCORE 890604.429
AT ITER 843 NEW BEST:: SOT 13983516 SOS 1924407 HAS SOPS 1173770 HAS SOUS 916289 HAS SOUPS 887890 WITH SCORE 889814.407
AT ITER 895 NEW BEST:: SOT 13982963 SOS 1924148 HAS SOPS 1174381 HAS SOUS 915907 HAS SOUPS 887537 WITH SCORE 889461.148
AT ITER 902 NEW BEST:: SOT 13983053 SOS 1924616 HAS SOPS 1174849 HAS SOUS 915619 HAS SOUPS 887249 WITH SCORE 889173.616
AT ITER 964 NEW BEST:: SOT 13983191 SOS 1927262 HAS SOPS 1177495 HAS SOUS 915357 HAS SOUPS 886987 WITH SCORE 888914.262
AT ITER 976 NEW BEST:: SOT 13983960 SOS 1928965 HAS SOPS 1179906 HAS SOUS 915158 HAS SOUPS 886788 WITH SCORE 888716.965
AT ITER 1016 NEW BEST:: SOT 13984172 SOS 1930135 HAS SOPS 1181220 HAS SOUS 914343 HAS SOUPS 885973 WITH SCORE 887903.135
AT ITER 1061 NEW BEST:: SOT 13984644 SOS 1933721 HAS SOPS 1184806 HAS SOUS 914119 HAS SOUPS 885749 WITH SCORE 887682.721
AT ITER 1159 NEW BEST:: SOT 13984266 SOS 1933722 HAS SOPS 1185760 HAS SOUS 912649 HAS SOUPS 884302 WITH SCORE 886235.722
AT ITER 1189 NEW BEST:: SOT 13983793 SOS 1933429 HAS SOPS 1186369 HAS SOUS 911097 HAS SOUPS 882779 WITH SCORE 884712.429
AT ITER 1215 NEW BEST:: SOT 13984127 SOS 1934611 HAS SOPS 1187829 HAS SOUS 910552 HAS SOUPS 882234 WITH SCORE 884168.611
AT ITER 1242 NEW BEST:: SOT 13984257 SOS 1935619 HAS SOPS 1188967 HAS SOUS 909858 HAS SOUPS 881530 WITH SCORE 883465.619
AT ITER 1286 NEW BEST:: SOT 13984515 SOS 1936543 HAS SOPS 1190149 HAS SOUS 909565 HAS SOUPS 881239 WITH SCORE 883175.543
AT ITER 1302 NEW BEST:: SOT 13984849 SOS 1939431 HAS SOPS 1193035 HAS SOUS 907903 HAS SOUPS 879575 WITH SCORE 881514.431
AT ITER 1396 NEW BEST:: SOT 13984916 SOS 1940034 HAS SOPS 1193630 HAS SOUS 907589 HAS SOUPS 879260 WITH SCORE 881200.034
AT ITER 1416 NEW BEST:: SOT 13984898 SOS 1940005 HAS SOPS 1193612 HAS SOUS 907551 HAS SOUPS 879223 WITH SCORE 881163.005
AT ITER 1473 NEW BEST:: SOT 13984431 SOS 1939633 HAS SOPS 1193830 HAS SOUS 907423 HAS SOUPS 879094 WITH SCORE 881033.633
AT ITER 1578 NEW BEST:: SOT 13984024 SOS 1938753 HAS SOPS 1192651 HAS SOUS 906186 HAS SOUPS 877859 WITH SCORE 879797.753
AT ITER 1601 NEW BEST:: SOT 13983847 SOS 1938678 HAS SOPS 1192846 HAS SOUS 905628 HAS SOUPS 877310 WITH SCORE 879248.678
AT ITER 1628 NEW BEST:: SOT 13984181 SOS 1941376 HAS SOPS 1195538 HAS SOUS 903598 HAS SOUPS 875280 WITH SCORE 877221.376
AT ITER 1642 NEW BEST:: SOT 13984598 SOS 1942199 HAS SOPS 1197067 HAS SOUS 903583 HAS SOUPS 875265 WITH SCORE 877207.199
AT ITER 1645 NEW BEST:: SOT 13984851 SOS 1944612 HAS SOPS 1199480 HAS SOUS 901986 HAS SOUPS 873668 WITH SCORE 875612.612
AT ITER 1700 NEW BEST:: SOT 13985694 SOS 1948228 HAS SOPS 1203213 HAS SOUS 901655 HAS SOUPS 873306 WITH SCORE 875254.228
AT ITER 1711 NEW BEST:: SOT 13986685 SOS 1952104 HAS SOPS 1206916 HAS SOUS 900195 HAS SOUPS 871832 WITH SCORE 873784.104
AT ITER 1720 NEW BEST:: SOT 13988559 SOS 1958570 HAS SOPS 1212118 HAS SOUS 899957 HAS SOUPS 871546 WITH SCORE 873504.57
AT ITER 1785 NEW BEST:: SOT 13988564 SOS 1958751 HAS SOPS 1212299 HAS SOUS 899910 HAS SOUPS 871499 WITH SCORE 873457.751
AT ITER 1800 NEW BEST:: SOT 13989012 SOS 1960193 HAS SOPS 1214189 HAS SOUS 899827 HAS SOUPS 871429 WITH SCORE 873389.193
AT ITER 1847 NEW BEST:: SOT 13989164 SOS 1961289 HAS SOPS 1215405 HAS SOUS 899253 HAS SOUPS 870860 WITH SCORE 872821.289
AT ITER 1889 NEW BEST:: SOT 13991133 SOS 1968074 HAS SOPS 1220646 HAS SOUS 898917 HAS SOUPS 870467 WITH SCORE 872435.074
AT ITER 1907 NEW BEST:: SOT 13993043 SOS 1973850 HAS SOPS 1225168 HAS SOUS 898387 HAS SOUPS 869891 WITH SCORE 871864.85
AT ITER 1920 NEW BEST:: SOT 13993248 SOS 1976744 HAS SOPS 1228061 HAS SOUS 898073 HAS SOUPS 869577 WITH SCORE 871553.744
AT ITER 1953 NEW BEST:: SOT 13993981 SOS 1978213 HAS SOPS 1230114 HAS SOUS 898025 HAS SOUPS 869529 WITH SCORE 871507.213
AT ITER 1981 NEW BEST:: SOT 13994235 SOS 1981169 HAS SOPS 1233070 HAS SOUS 897685 HAS SOUPS 869189 WITH SCORE 871170.169
AT ITER 1988 NEW BEST:: SOT 13994489 SOS 1981823 HAS SOPS 1233900 HAS SOUS 897519 HAS SOUPS 869023 WITH SCORE 871004.823
AT ITER 2026 NEW BEST:: SOT 13994263 SOS 1981508 HAS SOPS 1234778 HAS SOUS 896452 HAS SOUPS 867986 WITH SCORE 869967.508
AT ITER 2035 NEW BEST:: SOT 13993269 SOS 1980381 HAS SOPS 1235285 HAS SOUS 895808 HAS SOUPS 867364 WITH SCORE 869344.381
AT ITER 2049 NEW BEST:: SOT 13993607 SOS 1983257 HAS SOPS 1238161 HAS SOUS 893732 HAS SOUPS 865288 WITH SCORE 867271.257
AT ITER 2080 NEW BEST:: SOT 13993841 SOS 1986245 HAS SOPS 1241149 HAS SOUS 893630 HAS SOUPS 865186 WITH SCORE 867172.245
AT ITER 2166 NEW BEST:: SOT 13994239 SOS 1987073 HAS SOPS 1242329 HAS SOUS 893581 HAS SOUPS 865137 WITH SCORE 867124.073
AT ITER 2168 NEW BEST:: SOT 13994720 SOS 1990002 HAS SOPS 1245258 HAS SOUS 892606 HAS SOUPS 864162 WITH SCORE 866152.002
AT ITER 2210 NEW BEST:: SOT 13995244 SOS 1993211 HAS SOPS 1248210 HAS SOUS 891901 HAS SOUPS 863445 WITH SCORE 865438.211
AT ITER 2223 NEW BEST:: SOT 13995561 SOS 1993936 HAS SOPS 1249203 HAS SOUS 891793 HAS SOUPS 863337 WITH SCORE 865330.936
AT ITER 2233 NEW BEST:: SOT 13995853 SOS 1996124 HAS SOPS 1251391 HAS SOUS 890313 HAS SOUPS 861857 WITH SCORE 863853.124
AT ITER 2286 NEW BEST:: SOT 13996216 SOS 1997339 HAS SOPS 1252808 HAS SOUS 889787 HAS SOUPS 861332 WITH SCORE 863329.339
AT ITER 2293 NEW BEST:: SOT 13996740 SOS 1999768 HAS SOPS 1254810 HAS SOUS 889584 HAS SOUPS 861125 WITH SCORE 863124.768
AT ITER 2318 NEW BEST:: SOT 13996941 SOS 2002695 HAS SOPS 1257771 HAS SOUS 889291 HAS SOUPS 860832 WITH SCORE 862834.695
AT ITER 2322 NEW BEST:: SOT 13997185 SOS 2003333 HAS SOPS 1258653 HAS SOUS 889257 HAS SOUPS 860800 WITH SCORE 862803.333
AT ITER 2335 NEW BEST:: SOT 13998052 SOS 2007437 HAS SOPS 1262652 HAS SOUS 887972 HAS SOUPS 859508 WITH SCORE 861515.437
AT ITER 2392 NEW BEST:: SOT 13998615 SOS 2010574 HAS SOPS 1265781 HAS SOUS 885961 HAS SOUPS 857497 WITH SCORE 859507.574
AT ITER 2426 NEW BEST:: SOT 13998928 SOS 2011451 HAS SOPS 1266852 HAS SOUS 885678 HAS SOUPS 857214 WITH SCORE 859225.451
AT ITER 2445 NEW BEST:: SOT 13999274 SOS 2012331 HAS SOPS 1268016 HAS SOUS 885468 HAS SOUPS 857004 WITH SCORE 859016.331
AT ITER 2449 NEW BEST:: SOT 13999419 SOS 2013114 HAS SOPS 1268857 HAS SOUS 885035 HAS SOUPS 856571 WITH SCORE 858584.114
AT ITER 2516 NEW BEST:: SOT 13999497 SOS 2013842 HAS SOPS 1269585 HAS SOUS 884463 HAS SOUPS 855999 WITH SCORE 858012.842
AT ITER 2580 NEW BEST:: SOT 13999942 SOS 2016559 HAS SOPS 1272302 HAS SOUS 882636 HAS SOUPS 854172 WITH SCORE 856188.559
AT ITER 2609 NEW BEST:: SOT 14000227 SOS 2017126 HAS SOPS 1273087 HAS SOUS 882621 HAS SOUPS 854157 WITH SCORE 856174.126
AT ITER 2662 NEW BEST:: SOT 14001181 SOS 2020772 HAS SOPS 1276663 HAS SOUS 881534 HAS SOUPS 853065 WITH SCORE 855085.772
AT ITER 2666 NEW BEST:: SOT 14001337 SOS 2021991 HAS SOPS 1279161 HAS SOUS 879139 HAS SOUPS 850718 WITH SCORE 852739.991
AT ITER 2683 NEW BEST:: SOT 14002597 SOS 2026162 HAS SOPS 1283157 HAS SOUS 878108 HAS SOUPS 849667 WITH SCORE 851693.162
AT ITER 2686 NEW BEST:: SOT 14003307 SOS 2027574 HAS SOPS 1285197 HAS SOUS 878085 HAS SOUPS 849644 WITH SCORE 851671.574
AT ITER 2743 NEW BEST:: SOT 14004561 SOS 2031241 HAS SOPS 1288807 HAS SOUS 877918 HAS SOUPS 849465 WITH SCORE 851496.241
AT ITER 2763 NEW BEST:: SOT 14005052 SOS 2032390 HAS SOPS 1290414 HAS SOUS 877726 HAS SOUPS 849273 WITH SCORE 851305.39
AT ITER 2767 NEW BEST:: SOT 14005491 SOS 2033576 HAS SOPS 1291835 HAS SOUS 877506 HAS SOUPS 849049 WITH SCORE 851082.576
AT ITER 2862 NEW BEST:: SOT 14006620 SOS 2037686 HAS SOPS 1295752 HAS SOUS 876212 HAS SOUPS 847737 WITH SCORE 849774.686
AT ITER 2957 NEW BEST:: SOT 14007180 SOS 2040827 HAS SOPS 1298924 HAS SOUS 874191 HAS SOUPS 845716 WITH SCORE 847756.827
AT ITER 3020 NEW BEST:: SOT 14007785 SOS 2042942 HAS SOPS 1301033 HAS SOUS 873286 HAS SOUPS 844811 WITH SCORE 846853.942
AT ITER 3022 NEW BEST:: SOT 14008275 SOS 2045811 HAS SOPS 1303941 HAS SOUS 871397 HAS SOUPS 842922 WITH SCORE 844967.811
AT ITER 3036 NEW BEST:: SOT 14006870 SOS 2044340 HAS SOPS 1303980 HAS SOUS 870430 HAS SOUPS 841977 WITH SCORE 844021.34
AT ITER 3050 NEW BEST:: SOT 14007180 SOS 2046178 HAS SOPS 1306402 HAS SOUS 869981 HAS SOUPS 841549 WITH SCORE 843595.178
AT ITER 3070 NEW BEST:: SOT 14007279 SOS 2046347 HAS SOPS 1307637 HAS SOUS 869756 HAS SOUPS 841345 WITH SCORE 843391.347
AT ITER 3098 NEW BEST:: SOT 14007287 SOS 2046392 HAS SOPS 1307731 HAS SOUS 869665 HAS SOUPS 841256 WITH SCORE 843302.392
AT ITER 3141 NEW BEST:: SOT 14008807 SOS 2050786 HAS SOPS 1311847 HAS SOUS 869272 HAS SOUPS 840838 WITH SCORE 842888.786
AT ITER 3144 NEW BEST:: SOT 14009167 SOS 2051656 HAS SOPS 1312957 HAS SOUS 869158 HAS SOUPS 840718 WITH SCORE 842769.656
AT ITER 3209 NEW BEST:: SOT 14009377 SOS 2052136 HAS SOPS 1313647 HAS SOUS 869113 HAS SOUPS 840673 WITH SCORE 842725.136
AT ITER 3221 NEW BEST:: SOT 14008844 SOS 2051717 HAS SOPS 1313643 HAS SOUS 868900 HAS SOUPS 840473 WITH SCORE 842524.717
AT ITER 3233 NEW BEST:: SOT 14010742 SOS 2057833 HAS SOPS 1318175 HAS SOUS 868347 HAS SOUPS 839863 WITH SCORE 841920.833
AT ITER 3267 NEW BEST:: SOT 14011513 SOS 2060658 HAS SOPS 1320990 HAS SOUS 867064 HAS SOUPS 838580 WITH SCORE 840640.658
AT ITER 3295 NEW BEST:: SOT 14011771 SOS 2061212 HAS SOPS 1321802 HAS SOUS 867045 HAS SOUPS 838561 WITH SCORE 840622.212
AT ITER 3312 NEW BEST:: SOT 14012437 SOS 2063942 HAS SOPS 1324518 HAS SOUS 865647 HAS SOUPS 837163 WITH SCORE 839226.942
AT ITER 3313 NEW BEST:: SOT 14012703 SOS 2064667 HAS SOPS 1325192 HAS SOUS 865547 HAS SOUPS 837060 WITH SCORE 839124.667
AT ITER 3324 NEW BEST:: SOT 14014033 SOS 2069129 HAS SOPS 1329500 HAS SOUS 864923 HAS SOUPS 836422 WITH SCORE 838491.129
AT ITER 3440 NEW BEST:: SOT 14014602 SOS 2071954 HAS SOPS 1332361 HAS SOUS 863236 HAS SOUPS 834735 WITH SCORE 836806.954
AT ITER 3443 NEW BEST:: SOT 14015262 SOS 2074010 HAS SOPS 1333825 HAS SOUS 863151 HAS SOUPS 834629 WITH SCORE 836703.01
AT ITER 3486 NEW BEST:: SOT 14015262 SOS 2074090 HAS SOPS 1333885 HAS SOUS 863067 HAS SOUPS 834545 WITH SCORE 836619.09
AT ITER 3493 NEW BEST:: SOT 14014974 SOS 2073810 HAS SOPS 1333635 HAS SOUS 863027 HAS SOUPS 834505 WITH SCORE 836578.81
AT ITER 3515 NEW BEST:: SOT 14015487 SOS 2076209 HAS SOPS 1336034 HAS SOUS 861654 HAS SOUPS 833132 WITH SCORE 835208.209
AT ITER 3561 NEW BEST:: SOT 14017490 SOS 2081880 HAS SOPS 1340607 HAS SOUS 861198 HAS SOUPS 832637 WITH SCORE 834718.88
AT ITER 3566 NEW BEST:: SOT 14018554 SOS 2085824 HAS SOPS 1344551 HAS SOUS 860002 HAS SOUPS 831439 WITH SCORE 833524.824
AT ITER 3602 NEW BEST:: SOT 14017272 SOS 2082740 HAS SOPS 1342589 HAS SOUS 859158 HAS SOUPS 830639 WITH SCORE 832721.74
AT ITER 3603 NEW BEST:: SOT 14017626 SOS 2084800 HAS SOPS 1344643 HAS SOUS 858941 HAS SOUPS 830420 WITH SCORE 832504.8
AT ITER 3702 NEW BEST:: SOT 14017738 SOS 2085472 HAS SOPS 1345343 HAS SOUS 858522 HAS SOUPS 830000 WITH SCORE 832085.472
AT ITER 3712 NEW BEST:: SOT 14018103 SOS 2086324 HAS SOPS 1346352 HAS SOUS 858369 HAS SOUPS 829847 WITH SCORE 831933.324
AT ITER 3715 NEW BEST:: SOT 14018078 SOS 2086305 HAS SOPS 1346327 HAS SOUS 858350 HAS SOUPS 829822 WITH SCORE 831908.305
AT ITER 3743 NEW BEST:: SOT 14018125 SOS 2086878 HAS SOPS 1346900 HAS SOUS 857995 HAS SOUPS 829467 WITH SCORE 831553.878
AT ITER 3745 NEW BEST:: SOT 14019765 SOS 2091208 HAS SOPS 1351230 HAS SOUS 856945 HAS SOUPS 828417 WITH SCORE 830508.208
AT ITER 3824 NEW BEST:: SOT 14020976 SOS 2094725 HAS SOPS 1354263 HAS SOUS 856563 HAS SOUPS 828022 WITH SCORE 830116.725
AT ITER 3863 NEW BEST:: SOT 14021313 SOS 2095347 HAS SOPS 1355768 HAS SOUS 855437 HAS SOUPS 826934 WITH SCORE 829029.347
AT ITER 3885 NEW BEST:: SOT 14021531 SOS 2095843 HAS SOPS 1356482 HAS SOUS 855399 HAS SOUPS 826894 WITH SCORE 828989.843
AT ITER 3966 NEW BEST:: SOT 14022496 SOS 2099159 HAS SOPS 1359747 HAS SOUS 854354 HAS SOUPS 825846 WITH SCORE 827945.159
AT ITER 4018 NEW BEST:: SOT 14024121 SOS 2103599 HAS SOPS 1363934 HAS SOUS 854094 HAS SOUPS 825556 WITH SCORE 827659.599
AT ITER 4047 NEW BEST:: SOT 14024026 SOS 2103483 HAS SOPS 1363839 HAS SOUS 853710 HAS SOUPS 825182 WITH SCORE 827285.483
AT ITER 4209 NEW BEST:: SOT 14022770 SOS 2102227 HAS SOPS 1362804 HAS SOUS 853323 HAS SOUPS 824824 WITH SCORE 826926.227
AT ITER 4210 NEW BEST:: SOT 14023403 SOS 2103462 HAS SOPS 1364797 HAS SOUS 853315 HAS SOUPS 824816 WITH SCORE 826919.462
AT ITER 4228 NEW BEST:: SOT 14023966 SOS 2106017 HAS SOPS 1367388 HAS SOUS 852041 HAS SOUPS 823537 WITH SCORE 825643.017
AT ITER 4259 NEW BEST:: SOT 14024067 SOS 2106899 HAS SOPS 1367913 HAS SOUS 851841 HAS SOUPS 823337 WITH SCORE 825443.899
AT ITER 4331 NEW BEST:: SOT 14023976 SOS 2106696 HAS SOPS 1367822 HAS SOUS 851645 HAS SOUPS 823148 WITH SCORE 825254.696
AT ITER 4342 NEW BEST:: SOT 14022764 SOS 2103410 HAS SOPS 1366096 HAS SOUS 850895 HAS SOUPS 822450 WITH SCORE 824553.41
AT ITER 4387 NEW BEST:: SOT 14023122 SOS 2104668 HAS SOPS 1367500 HAS SOUS 850254 HAS SOUPS 821808 WITH SCORE 823912.668
AT ITER 4473 NEW BEST:: SOT 14022835 SOS 2104329 HAS SOPS 1367757 HAS SOUS 849368 HAS SOUPS 820943 WITH SCORE 823047.329
AT ITER 4553 NEW BEST:: SOT 14023296 SOS 2105224 HAS SOPS 1368834 HAS SOUS 849356 HAS SOUPS 820932 WITH SCORE 823037.224
AT ITER 4574 NEW BEST:: SOT 14024329 SOS 2108404 HAS SOPS 1371981 HAS SOUS 848459 HAS SOUPS 820030 WITH SCORE 822138.404
AT ITER 4588 NEW BEST:: SOT 14023133 SOS 2107233 HAS SOPS 1371874 HAS SOUS 847670 HAS SOUPS 819285 WITH SCORE 821392.233
AT ITER 4626 NEW BEST:: SOT 14023148 SOS 2107366 HAS SOPS 1372185 HAS SOUS 847578 HAS SOUPS 819193 WITH SCORE 821300.366
AT ITER 4631 NEW BEST:: SOT 14024561 SOS 2111678 HAS SOPS 1376272 HAS SOUS 846947 HAS SOUPS 818528 WITH SCORE 820639.678
AT ITER 4680 NEW BEST:: SOT 14025206 SOS 2113938 HAS SOPS 1378531 HAS SOUS 845977 HAS SOUPS 817558 WITH SCORE 819671.938
AT ITER 4771 NEW BEST:: SOT 14027404 SOS 2120075 HAS SOPS 1383327 HAS SOUS 845941 HAS SOUPS 817467 WITH SCORE 819587.075
AT ITER 4809 NEW BEST:: SOT 14027356 SOS 2120267 HAS SOPS 1383357 HAS SOUS 845638 HAS SOUPS 817164 WITH SCORE 819284.267
AT ITER 4846 NEW BEST:: SOT 14027430 SOS 2120483 HAS SOPS 1383573 HAS SOUS 845570 HAS SOUPS 817096 WITH SCORE 819216.483
AT ITER 4932 NEW BEST:: SOT 14027830 SOS 2121805 HAS SOPS 1385175 HAS SOUS 844908 HAS SOUPS 816432 WITH SCORE 818553.805
AT ITER 5071 NEW BEST:: SOT 14029757 SOS 2127973 HAS SOPS 1390250 HAS SOUS 844671 HAS SOUPS 816146 WITH SCORE 818273.973
AT ITER 5078 NEW BEST:: SOT 14029591 SOS 2127767 HAS SOPS 1389878 HAS SOUS 844534 HAS SOUPS 816014 WITH SCORE 818141.767
AT ITER 5086 NEW BEST:: SOT 14030018 SOS 2128626 HAS SOPS 1391105 HAS SOUS 844503 HAS SOUPS 815983 WITH SCORE 818111.626
AT ITER 5091 NEW BEST:: SOT 14028240 SOS 2126762 HAS SOPS 1389707 HAS SOUS 844081 HAS SOUPS 815579 WITH SCORE 817705.762
AT ITER 5105 NEW BEST:: SOT 14028470 SOS 2127725 HAS SOPS 1390865 HAS SOUS 843906 HAS SOUPS 815401 WITH SCORE 817528.725
AT ITER 5124 NEW BEST:: SOT 14028793 SOS 2129944 HAS SOPS 1393084 HAS SOUS 843635 HAS SOUPS 815130 WITH SCORE 817259.944
AT ITER 5425 NEW BEST:: SOT 14028846 SOS 2130134 HAS SOPS 1393277 HAS SOUS 843551 HAS SOUPS 815046 WITH SCORE 817176.134
AT ITER 5497 NEW BEST:: SOT 14028706 SOS 2129989 HAS SOPS 1393137 HAS SOUS 843261 HAS SOUPS 814761 WITH SCORE 816890.989
AT ITER 5555 NEW BEST:: SOT 14030376 SOS 2133913 HAS SOPS 1397009 HAS SOUS 843204 HAS SOUPS 814687 WITH SCORE 816820.913
AT ITER 5580 NEW BEST:: SOT 14030158 SOS 2133507 HAS SOPS 1396791 HAS SOUS 842740 HAS SOUPS 814237 WITH SCORE 816370.507
AT ITER 5773 NEW BEST:: SOT 14031535 SOS 2137542 HAS SOPS 1400592 HAS SOUS 842209 HAS SOUPS 813682 WITH SCORE 815819.542
AT ITER 5797 NEW BEST:: SOT 14031215 SOS 2136761 HAS SOPS 1399998 HAS SOUS 842009 HAS SOUPS 813493 WITH SCORE 815629.761
AT ITER 5806 NEW BEST:: SOT 14031749 SOS 2138079 HAS SOPS 1401700 HAS SOUS 841979 HAS SOUPS 813463 WITH SCORE 815601.079
AT ITER 5860 NEW BEST:: SOT 14031469 SOS 2137413 HAS SOPS 1400962 HAS SOUS 841868 HAS SOUPS 813359 WITH SCORE 815496.413
AT ITER 5866 NEW BEST:: SOT 14031911 SOS 2138369 HAS SOPS 1402276 HAS SOUS 841760 HAS SOUPS 813251 WITH SCORE 815389.369
AT ITER 5880 NEW BEST:: SOT 14031899 SOS 2138340 HAS SOPS 1402264 HAS SOUS 841734 HAS SOUPS 813226 WITH SCORE 815364.34
AT ITER 5900 NEW BEST:: SOT 14034073 SOS 2144155 HAS SOPS 1407090 HAS SOUS 841724 HAS SOUPS 813181 WITH SCORE 815325.155
AT ITER 5935 NEW BEST:: SOT 14034043 SOS 2144278 HAS SOPS 1407096 HAS SOUS 841631 HAS SOUPS 813088 WITH SCORE 815232.278
AT ITER 5938 NEW BEST:: SOT 14034610 SOS 2146202 HAS SOPS 1409053 HAS SOUS 840841 HAS SOUPS 812298 WITH SCORE 814444.202
AT ITER 6037 NEW BEST:: SOT 14035368 SOS 2147908 HAS SOPS 1411327 HAS SOUS 840797 HAS SOUPS 812254 WITH SCORE 814401.908
AT ITER 6172 NEW BEST:: SOT 14036427 SOS 2151134 HAS SOPS 1414544 HAS SOUS 840464 HAS SOUPS 811918 WITH SCORE 814069.134
AT ITER 6245 NEW BEST:: SOT 14036216 SOS 2150902 HAS SOPS 1414333 HAS SOUS 840166 HAS SOUPS 811628 WITH SCORE 813778.902
AT ITER 6403 NEW BEST:: SOT 14036622 SOS 2153101 HAS SOPS 1416589 HAS SOUS 838872 HAS SOUPS 810331 WITH SCORE 812484.101
AT ITER 6440 NEW BEST:: SOT 14038482 SOS 2157647 HAS SOPS 1421107 HAS SOUS 838626 HAS SOUPS 810084 WITH SCORE 812241.647
AT ITER 6464 NEW BEST:: SOT 14038698 SOS 2158385 HAS SOPS 1421899 HAS SOUS 838357 HAS SOUPS 809811 WITH SCORE 811969.385
AT ITER 6492 NEW BEST:: SOT 14038686 SOS 2158396 HAS SOPS 1421843 HAS SOUS 838363 HAS SOUPS 809767 WITH SCORE 811925.396
AT ITER 6516 NEW BEST:: SOT 14040642 SOS 2163743 HAS SOPS 1426337 HAS SOUS 837920 HAS SOUPS 809292 WITH SCORE 811455.743
AT ITER 6533 NEW BEST:: SOT 14041319 SOS 2165163 HAS SOPS 1428168 HAS SOUS 837815 HAS SOUPS 809187 WITH SCORE 811352.163
AT ITER 6603 NEW BEST:: SOT 14041300 SOS 2165072 HAS SOPS 1428079 HAS SOUS 837806 HAS SOUPS 809180 WITH SCORE 811345.072
AT ITER 6624 NEW BEST:: SOT 14041606 SOS 2165552 HAS SOPS 1429959 HAS SOUS 837256 HAS SOUPS 808652 WITH SCORE 810817.552
AT ITER 6714 NEW BEST:: SOT 14042902 SOS 2169134 HAS SOPS 1433041 HAS SOUS 836855 HAS SOUPS 808232 WITH SCORE 810401.134
AT ITER 6721 NEW BEST:: SOT 14043160 SOS 2170415 HAS SOPS 1434321 HAS SOUS 836152 HAS SOUPS 807527 WITH SCORE 809697.415
AT ITER 6729 NEW BEST:: SOT 14043542 SOS 2171223 HAS SOPS 1435369 HAS SOUS 836060 HAS SOUPS 807436 WITH SCORE 809607.223
AT ITER 6744 NEW BEST:: SOT 14043482 SOS 2171175 HAS SOPS 1435263 HAS SOUS 835990 HAS SOUPS 807366 WITH SCORE 809537.175
AT ITER 6788 NEW BEST:: SOT 14045132 SOS 2175015 HAS SOPS 1438847 HAS SOUS 835760 HAS SOUPS 807126 WITH SCORE 809301.015
AT ITER 6812 NEW BEST:: SOT 14045118 SOS 2176148 HAS SOPS 1439275 HAS SOUS 835319 HAS SOUPS 806685 WITH SCORE 808861.148
AT ITER 6857 NEW BEST:: SOT 14045950 SOS 2178602 HAS SOPS 1441703 HAS SOUS 834529 HAS SOUPS 805895 WITH SCORE 808073.602
AT ITER 7050 NEW BEST:: SOT 14046645 SOS 2181561 HAS SOPS 1444672 HAS SOUS 833208 HAS SOUPS 804574 WITH SCORE 806755.561
AT ITER 7120 NEW BEST:: SOT 14046851 SOS 2182011 HAS SOPS 1445218 HAS SOUS 833147 HAS SOUPS 804513 WITH SCORE 806695.011
AT ITER 7171 NEW BEST:: SOT 14047037 SOS 2182662 HAS SOPS 1445858 HAS SOUS 832899 HAS SOUPS 804264 WITH SCORE 806446.662
AT ITER 7216 NEW BEST:: SOT 14046486 SOS 2181724 HAS SOPS 1444971 HAS SOUS 832425 HAS SOUPS 803800 WITH SCORE 805981.724
AT ITER 7269 NEW BEST:: SOT 14046910 SOS 2183727 HAS SOPS 1446845 HAS SOUS 832417 HAS SOUPS 803781 WITH SCORE 805964.727
AT ITER 7288 NEW BEST:: SOT 14046027 SOS 2183051 HAS SOPS 1447762 HAS SOUS 831255 HAS SOUPS 802673 WITH SCORE 804856.051
AT ITER 7294 NEW BEST:: SOT 14045950 SOS 2182906 HAS SOPS 1447685 HAS SOUS 831091 HAS SOUPS 802514 WITH SCORE 804696.906
AT ITER 7371 NEW BEST:: SOT 14045938 SOS 2182894 HAS SOPS 1447661 HAS SOUS 831079 HAS SOUPS 802490 WITH SCORE 804672.894
AT ITER 7512 NEW BEST:: SOT 14046585 SOS 2185209 HAS SOPS 1450046 HAS SOUS 830058 HAS SOUPS 801469 WITH SCORE 803654.209
AT ITER 7522 NEW BEST:: SOT 14046663 SOS 2185683 HAS SOPS 1450586 HAS SOUS 829740 HAS SOUPS 801151 WITH SCORE 803336.683
AT ITER 7561 NEW BEST:: SOT 14047681 SOS 2188991 HAS SOPS 1453826 HAS SOUS 828840 HAS SOUPS 800245 WITH SCORE 802433.991
AT ITER 7570 NEW BEST:: SOT 14047817 SOS 2189671 HAS SOPS 1454522 HAS SOUS 828649 HAS SOUPS 800053 WITH SCORE 802242.671
AT ITER 7640 NEW BEST:: SOT 14047689 SOS 2189526 HAS SOPS 1454394 HAS SOUS 828383 HAS SOUPS 799792 WITH SCORE 801981.526
AT ITER 7709 NEW BEST:: SOT 14047719 SOS 2189612 HAS SOPS 1454480 HAS SOUS 828357 HAS SOUPS 799766 WITH SCORE 801955.612
AT ITER 7722 NEW BEST:: SOT 14047841 SOS 2189914 HAS SOPS 1454782 HAS SOUS 828299 HAS SOUPS 799708 WITH SCORE 801897.914
AT ITER 7753 NEW BEST:: SOT 14048524 SOS 2191642 HAS SOPS 1456505 HAS SOUS 827937 HAS SOUPS 799346 WITH SCORE 801537.642
AT ITER 7774 NEW BEST:: SOT 14046479 SOS 2190180 HAS SOPS 1456064 HAS SOUS 827293 HAS SOUPS 798742 WITH SCORE 800932.18
AT ITER 7892 NEW BEST:: SOT 14047788 SOS 2193860 HAS SOPS 1459597 HAS SOUS 826952 HAS SOUPS 798384 WITH SCORE 800577.86
AT ITER 7898 NEW BEST:: SOT 14048028 SOS 2194492 HAS SOPS 1460305 HAS SOUS 826828 HAS SOUPS 798260 WITH SCORE 800454.492
AT ITER 7992 NEW BEST:: SOT 14048631 SOS 2196468 HAS SOPS 1462070 HAS SOUS 826740 HAS SOUPS 798152 WITH SCORE 800348.468
AT ITER 7994 NEW BEST:: SOT 14049086 SOS 2198927 HAS SOPS 1464529 HAS SOUS 826059 HAS SOUPS 797471 WITH SCORE 799669.927
AT ITER 7999 NEW BEST:: SOT 14049398 SOS 2200707 HAS SOPS 1466297 HAS SOUS 824996 HAS SOUPS 796407 WITH SCORE 798607.707
AT ITER 8122 NEW BEST:: SOT 14050602 SOS 2203221 HAS SOPS 1468837 HAS SOUS 824983 HAS SOUPS 796391 WITH SCORE 798594.221
AT ITER 8159 NEW BEST:: SOT 14051275 SOS 2205398 HAS SOPS 1471012 HAS SOUS 824152 HAS SOUPS 795560 WITH SCORE 797765.398
AT ITER 8240 NEW BEST:: SOT 14051265 SOS 2205371 HAS SOPS 1471004 HAS SOUS 824128 HAS SOUPS 795539 WITH SCORE 797744.371
AT ITER 8268 NEW BEST:: SOT 14051151 SOS 2205302 HAS SOPS 1471080 HAS SOUS 824024 HAS SOUPS 795442 WITH SCORE 797647.302
AT ITER 8311 NEW BEST:: SOT 14051164 SOS 2205120 HAS SOPS 1471851 HAS SOUS 823209 HAS SOUPS 794660 WITH SCORE 796865.12
AT ITER 8361 NEW BEST:: SOT 14050991 SOS 2204801 HAS SOPS 1471678 HAS SOUS 822841 HAS SOUPS 794303 WITH SCORE 796507.801
AT ITER 8363 NEW BEST:: SOT 14050955 SOS 2204685 HAS SOPS 1471642 HAS SOUS 822761 HAS SOUPS 794227 WITH SCORE 796431.685
AT ITER 8398 NEW BEST:: SOT 14051189 SOS 2205255 HAS SOPS 1472284 HAS SOUS 822687 HAS SOUPS 794153 WITH SCORE 796358.255
AT ITER 8405 NEW BEST:: SOT 14052048 SOS 2208154 HAS SOPS 1476199 HAS SOUS 821690 HAS SOUPS 793191 WITH SCORE 795399.154
AT ITER 8433 NEW BEST:: SOT 14051997 SOS 2208067 HAS SOPS 1476148 HAS SOUS 821582 HAS SOUPS 793086 WITH SCORE 795294.067
AT ITER 8458 NEW BEST:: SOT 14051890 SOS 2207951 HAS SOPS 1476041 HAS SOUS 821360 HAS SOUPS 792868 WITH SCORE 795075.951
AT ITER 8627 NEW BEST:: SOT 14052167 SOS 2209750 HAS SOPS 1477334 HAS SOUS 821305 HAS SOUPS 792823 WITH SCORE 795032.75
AT ITER 8650 NEW BEST:: SOT 14052820 SOS 2212507 HAS SOPS 1480091 HAS SOUS 819854 HAS SOUPS 791372 WITH SCORE 793584.507
AT ITER 8686 NEW BEST:: SOT 14052549 SOS 2212210 HAS SOPS 1480020 HAS SOUS 819597 HAS SOUPS 791127 WITH SCORE 793339.21
AT ITER 8794 NEW BEST:: SOT 14052855 SOS 2212849 HAS SOPS 1480692 HAS SOUS 819570 HAS SOUPS 791100 WITH SCORE 793312.849
AT ITER 8815 NEW BEST:: SOT 14052744 SOS 2212675 HAS SOPS 1480581 HAS SOUS 819336 HAS SOUPS 790872 WITH SCORE 793084.675
AT ITER 8831 NEW BEST:: SOT 14052644 SOS 2212546 HAS SOPS 1480455 HAS SOUS 819203 HAS SOUPS 790741 WITH SCORE 792953.546
AT ITER 8854 NEW BEST:: SOT 14053233 SOS 2213963 HAS SOPS 1482158 HAS SOUS 818923 HAS SOUPS 790461 WITH SCORE 792674.963
AT ITER 8866 NEW BEST:: SOT 14053369 SOS 2214773 HAS SOPS 1482660 HAS SOUS 818883 HAS SOUPS 790413 WITH SCORE 792627.773
AT ITER 8870 NEW BEST:: SOT 14052855 SOS 2213779 HAS SOPS 1481716 HAS SOUS 818508 HAS SOUPS 790049 WITH SCORE 792262.779
AT ITER 8955 NEW BEST:: SOT 14053066 SOS 2214052 HAS SOPS 1482531 HAS SOUS 818359 HAS SOUPS 789909 WITH SCORE 792123.052
AT ITER 9045 NEW BEST:: SOT 14052856 SOS 2214371 HAS SOPS 1483653 HAS SOUS 816938 HAS SOUPS 788516 WITH SCORE 790730.371
AT ITER 9061 NEW BEST:: SOT 14053760 SOS 2216152 HAS SOPS 1485733 HAS SOUS 816777 HAS SOUPS 788349 WITH SCORE 790565.152
AT ITER 9088 NEW BEST:: SOT 14053675 SOS 2216065 HAS SOPS 1485648 HAS SOUS 816632 HAS SOUPS 788206 WITH SCORE 790422.065
AT ITER 9132 NEW BEST:: SOT 14054064 SOS 2217476 HAS SOPS 1488225 HAS SOUS 815242 HAS SOUPS 786840 WITH SCORE 789057.476
AT ITER 9187 NEW BEST:: SOT 14054152 SOS 2217762 HAS SOPS 1488533 HAS SOUS 815121 HAS SOUPS 786719 WITH SCORE 788936.762
AT ITER 9250 NEW BEST:: SOT 14055127 SOS 2220350 HAS SOPS 1491186 HAS SOUS 815041 HAS SOUPS 786637 WITH SCORE 788857.35
AT ITER 9268 NEW BEST:: SOT 14055521 SOS 2220761 HAS SOPS 1490738 HAS SOUS 814732 HAS SOUPS 786335 WITH SCORE 788555.761
AT ITER 9277 NEW BEST:: SOT 14055701 SOS 2222057 HAS SOPS 1492028 HAS SOUS 814416 HAS SOUPS 786019 WITH SCORE 788241.057
AT ITER 9341 NEW BEST:: SOT 14055645 SOS 2221999 HAS SOPS 1491972 HAS SOUS 814358 HAS SOUPS 785963 WITH SCORE 788184.999
AT ITER 9370 NEW BEST:: SOT 14055405 SOS 2221090 HAS SOPS 1491276 HAS SOUS 814051 HAS SOUPS 785679 WITH SCORE 787900.09
AT ITER 9479 NEW BEST:: SOT 14055649 SOS 2221694 HAS SOPS 1491928 HAS SOUS 814002 HAS SOUPS 785629 WITH SCORE 787850.694
AT ITER 9523 NEW BEST:: SOT 14055935 SOS 2222629 HAS SOPS 1493136 HAS SOUS 813639 HAS SOUPS 785266 WITH SCORE 787488.629
AT ITER 9567 NEW BEST:: SOT 14056959 SOS 2225360 HAS SOPS 1495860 HAS SOUS 813018 HAS SOUPS 784643 WITH SCORE 786868.36
AT ITER 9613 NEW BEST:: SOT 14056277 SOS 2224824 HAS SOPS 1495613 HAS SOUS 812717 HAS SOUPS 784344 WITH SCORE 786568.824
AT ITER 9725 NEW BEST:: SOT 14057575 SOS 2227761 HAS SOPS 1498549 HAS SOUS 812376 HAS SOUPS 784003 WITH SCORE 786230.761
AT ITER 9740 NEW BEST:: SOT 14058566 SOS 2230013 HAS SOPS 1500810 HAS SOUS 812106 HAS SOUPS 783733 WITH SCORE 785963.013
AT ITER 9768 NEW BEST:: SOT 14058527 SOS 2229875 HAS SOPS 1500673 HAS SOUS 812073 HAS SOUPS 783701 WITH SCORE 785930.875
AT ITER 9775 NEW BEST:: SOT 14058186 SOS 2229558 HAS SOPS 1500591 HAS SOUS 811801 HAS SOUPS 783433 WITH SCORE 785662.558
AT ITER 9829 NEW BEST:: SOT 14058163 SOS 2229529 HAS SOPS 1500568 HAS SOUS 811753 HAS SOUPS 783386 WITH SCORE 785615.529
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 1337680 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16089784 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="smartxred"
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 smartxred"
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 4"
echo " Run identifier is r491-tall-167912710700608"
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 ;