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.r395-oct2-167903718400096.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ShieldIIPs-PT-010B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718400096
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 596K
-rw-r--r-- 1 mcc users 8.8K Feb 25 16:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 16:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 16:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 16:40 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 16:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:55 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:55 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 25 16:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 16:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 16:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 164K 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 1679552953408

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=ShieldIIPs-PT-010B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 06:29:15] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 06:29:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 06:29:16] [INFO ] Load time of PNML (sax parser for PT used): 120 ms
[2023-03-23 06:29:16] [INFO ] Transformed 603 places.
[2023-03-23 06:29:16] [INFO ] Transformed 593 transitions.
[2023-03-23 06:29:16] [INFO ] Found NUPN structural information;
[2023-03-23 06:29:16] [INFO ] Parsed PT model containing 603 places and 593 transitions and 1786 arcs in 229 ms.
[2023-03-23 06:29:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 603 places, 593 transitions and 1786 arcs took 8 ms.
Total runtime 299 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 010B
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: 603 places, 593 transitions, 1786 arcs.
AT ITER 0 NEW BEST:: SOT 190826 SOS 32357 HAS SOPS 32357 HAS SOUS 26899 HAS SOUPS 26899 WITH SCORE 26931.357
AT ITER 62 NEW BEST:: SOT 190826 SOS 32356 HAS SOPS 32356 HAS SOUS 26898 HAS SOUPS 26898 WITH SCORE 26930.356
AT ITER 84 NEW BEST:: SOT 190712 SOS 32280 HAS SOPS 32280 HAS SOUS 26822 HAS SOUPS 26822 WITH SCORE 26854.28
AT ITER 147 NEW BEST:: SOT 190696 SOS 32188 HAS SOPS 32188 HAS SOUS 26806 HAS SOUPS 26806 WITH SCORE 26838.188
AT ITER 156 NEW BEST:: SOT 190686 SOS 32176 HAS SOPS 32176 HAS SOUS 26794 HAS SOUPS 26794 WITH SCORE 26826.176
AT ITER 167 NEW BEST:: SOT 190708 SOS 32256 HAS SOPS 32256 HAS SOUS 26781 HAS SOUPS 26781 WITH SCORE 26813.256
AT ITER 195 NEW BEST:: SOT 190695 SOS 32230 HAS SOPS 32230 HAS SOUS 26755 HAS SOUPS 26755 WITH SCORE 26787.23
AT ITER 247 NEW BEST:: SOT 190673 SOS 32197 HAS SOPS 32197 HAS SOUS 26733 HAS SOUPS 26733 WITH SCORE 26765.197
AT ITER 277 NEW BEST:: SOT 190682 SOS 32184 HAS SOPS 32184 HAS SOUS 26731 HAS SOUPS 26731 WITH SCORE 26763.184
AT ITER 309 NEW BEST:: SOT 190658 SOS 32208 HAS SOPS 32208 HAS SOUS 26730 HAS SOUPS 26730 WITH SCORE 26762.208
AT ITER 311 NEW BEST:: SOT 190616 SOS 32196 HAS SOPS 32196 HAS SOUS 26671 HAS SOUPS 26671 WITH SCORE 26703.196
AT ITER 333 NEW BEST:: SOT 190633 SOS 32209 HAS SOPS 32209 HAS SOUS 26667 HAS SOUPS 26667 WITH SCORE 26699.209
AT ITER 353 NEW BEST:: SOT 190633 SOS 32171 HAS SOPS 32171 HAS SOUS 26629 HAS SOUPS 26629 WITH SCORE 26661.171
AT ITER 375 NEW BEST:: SOT 190626 SOS 32129 HAS SOPS 32129 HAS SOUS 26622 HAS SOUPS 26622 WITH SCORE 26654.129
AT ITER 399 NEW BEST:: SOT 190610 SOS 32122 HAS SOPS 32122 HAS SOUS 26615 HAS SOUPS 26615 WITH SCORE 26647.122
AT ITER 418 NEW BEST:: SOT 190610 SOS 32188 HAS SOPS 32188 HAS SOUS 26611 HAS SOUPS 26611 WITH SCORE 26643.188
AT ITER 428 NEW BEST:: SOT 190610 SOS 32154 HAS SOPS 32154 HAS SOUS 26577 HAS SOUPS 26577 WITH SCORE 26609.154
AT ITER 444 NEW BEST:: SOT 190579 SOS 32103 HAS SOPS 32103 HAS SOUS 26545 HAS SOUPS 26545 WITH SCORE 26577.103
AT ITER 448 NEW BEST:: SOT 190579 SOS 32121 HAS SOPS 32121 HAS SOUS 26544 HAS SOUPS 26544 WITH SCORE 26576.121
AT ITER 471 NEW BEST:: SOT 190582 SOS 32093 HAS SOPS 32093 HAS SOUS 26513 HAS SOUPS 26513 WITH SCORE 26545.093
AT ITER 505 NEW BEST:: SOT 190548 SOS 31927 HAS SOPS 31927 HAS SOUS 26475 HAS SOUPS 26475 WITH SCORE 26506.927
AT ITER 568 NEW BEST:: SOT 190526 SOS 31883 HAS SOPS 31883 HAS SOUS 26455 HAS SOUPS 26455 WITH SCORE 26486.883
AT ITER 582 NEW BEST:: SOT 190524 SOS 31871 HAS SOPS 31871 HAS SOUS 26443 HAS SOUPS 26443 WITH SCORE 26474.871
AT ITER 585 NEW BEST:: SOT 190511 SOS 31871 HAS SOPS 31871 HAS SOUS 26429 HAS SOUPS 26429 WITH SCORE 26460.871
AT ITER 630 NEW BEST:: SOT 190490 SOS 31806 HAS SOPS 31806 HAS SOUS 26422 HAS SOUPS 26422 WITH SCORE 26453.806
AT ITER 657 NEW BEST:: SOT 190485 SOS 31771 HAS SOPS 31771 HAS SOUS 26392 HAS SOUPS 26392 WITH SCORE 26423.771
AT ITER 667 NEW BEST:: SOT 190496 SOS 31741 HAS SOPS 31741 HAS SOUS 26391 HAS SOUPS 26391 WITH SCORE 26422.741
AT ITER 696 NEW BEST:: SOT 190496 SOS 31748 HAS SOPS 31748 HAS SOUS 26386 HAS SOUPS 26386 WITH SCORE 26417.748
AT ITER 703 NEW BEST:: SOT 190479 SOS 31757 HAS SOPS 31757 HAS SOUS 26369 HAS SOUPS 26369 WITH SCORE 26400.757
AT ITER 718 NEW BEST:: SOT 190479 SOS 31823 HAS SOPS 31823 HAS SOUS 26365 HAS SOUPS 26365 WITH SCORE 26396.823
AT ITER 730 NEW BEST:: SOT 190431 SOS 31775 HAS SOPS 31775 HAS SOUS 26317 HAS SOUPS 26317 WITH SCORE 26348.775
AT ITER 748 NEW BEST:: SOT 190431 SOS 31774 HAS SOPS 31774 HAS SOUS 26316 HAS SOUPS 26316 WITH SCORE 26347.774
AT ITER 757 NEW BEST:: SOT 190431 SOS 31739 HAS SOPS 31739 HAS SOUS 26281 HAS SOUPS 26281 WITH SCORE 26312.739
AT ITER 810 NEW BEST:: SOT 190431 SOS 31719 HAS SOPS 31719 HAS SOUS 26281 HAS SOUPS 26281 WITH SCORE 26312.719
AT ITER 814 NEW BEST:: SOT 190387 SOS 31680 HAS SOPS 31680 HAS SOUS 26236 HAS SOUPS 26236 WITH SCORE 26267.68
AT ITER 830 NEW BEST:: SOT 190377 SOS 31634 HAS SOPS 31634 HAS SOUS 26225 HAS SOUPS 26225 WITH SCORE 26256.634
AT ITER 882 NEW BEST:: SOT 190371 SOS 31622 HAS SOPS 31622 HAS SOUS 26219 HAS SOUPS 26219 WITH SCORE 26250.622
AT ITER 936 NEW BEST:: SOT 190377 SOS 31618 HAS SOPS 31618 HAS SOUS 26214 HAS SOUPS 26214 WITH SCORE 26245.618
AT ITER 968 NEW BEST:: SOT 190369 SOS 31602 HAS SOPS 31602 HAS SOUS 26197 HAS SOUPS 26197 WITH SCORE 26228.602
AT ITER 996 NEW BEST:: SOT 190347 SOS 31536 HAS SOPS 31536 HAS SOUS 26153 HAS SOUPS 26153 WITH SCORE 26184.536
AT ITER 1006 NEW BEST:: SOT 190318 SOS 31382 HAS SOPS 31382 HAS SOUS 26094 HAS SOUPS 26094 WITH SCORE 26125.382
AT ITER 1018 NEW BEST:: SOT 190311 SOS 31340 HAS SOPS 31340 HAS SOUS 26073 HAS SOUPS 26073 WITH SCORE 26104.34
AT ITER 1027 NEW BEST:: SOT 190236 SOS 31186 HAS SOPS 31186 HAS SOUS 26053 HAS SOUPS 26053 WITH SCORE 26084.186
AT ITER 1120 NEW BEST:: SOT 190214 SOS 31089 HAS SOPS 31089 HAS SOUS 25981 HAS SOUPS 25981 WITH SCORE 26012.089
AT ITER 1129 NEW BEST:: SOT 190197 SOS 31038 HAS SOPS 31038 HAS SOUS 25947 HAS SOUPS 25947 WITH SCORE 25978.038
AT ITER 1143 NEW BEST:: SOT 190196 SOS 30982 HAS SOPS 30982 HAS SOUS 25892 HAS SOUPS 25892 WITH SCORE 25922.982
AT ITER 1148 NEW BEST:: SOT 190202 SOS 30812 HAS SOPS 30812 HAS SOUS 25869 HAS SOUPS 25869 WITH SCORE 25899.812
AT ITER 1173 NEW BEST:: SOT 190178 SOS 30814 HAS SOPS 30814 HAS SOUS 25845 HAS SOUPS 25845 WITH SCORE 25875.814
AT ITER 1176 NEW BEST:: SOT 190178 SOS 30801 HAS SOPS 30801 HAS SOUS 25832 HAS SOUPS 25832 WITH SCORE 25862.801
AT ITER 1183 NEW BEST:: SOT 190191 SOS 30797 HAS SOPS 30797 HAS SOUS 25828 HAS SOUPS 25828 WITH SCORE 25858.797
AT ITER 1233 NEW BEST:: SOT 190180 SOS 30852 HAS SOPS 30852 HAS SOUS 25714 HAS SOUPS 25714 WITH SCORE 25744.852
AT ITER 1248 NEW BEST:: SOT 190172 SOS 30851 HAS SOPS 30851 HAS SOUS 25713 HAS SOUPS 25713 WITH SCORE 25743.851
AT ITER 1345 NEW BEST:: SOT 190159 SOS 30852 HAS SOPS 30852 HAS SOUS 25689 HAS SOUPS 25689 WITH SCORE 25719.852
AT ITER 1448 NEW BEST:: SOT 190159 SOS 30822 HAS SOPS 30822 HAS SOUS 25659 HAS SOUPS 25659 WITH SCORE 25689.822
AT ITER 1491 NEW BEST:: SOT 190141 SOS 30804 HAS SOPS 30804 HAS SOUS 25648 HAS SOUPS 25648 WITH SCORE 25678.804
AT ITER 1538 NEW BEST:: SOT 190076 SOS 30860 HAS SOPS 30860 HAS SOUS 25605 HAS SOUPS 25605 WITH SCORE 25635.86
AT ITER 1556 NEW BEST:: SOT 189947 SOS 30892 HAS SOPS 30892 HAS SOUS 25594 HAS SOUPS 25594 WITH SCORE 25624.892
AT ITER 1617 NEW BEST:: SOT 189931 SOS 30842 HAS SOPS 30842 HAS SOUS 25560 HAS SOUPS 25560 WITH SCORE 25590.842
AT ITER 1632 NEW BEST:: SOT 189916 SOS 30796 HAS SOPS 30796 HAS SOUS 25529 HAS SOUPS 25529 WITH SCORE 25559.796
AT ITER 1665 NEW BEST:: SOT 189908 SOS 30788 HAS SOPS 30788 HAS SOUS 25521 HAS SOUPS 25521 WITH SCORE 25551.788
AT ITER 1669 NEW BEST:: SOT 189904 SOS 30782 HAS SOPS 30782 HAS SOUS 25512 HAS SOUPS 25512 WITH SCORE 25542.782
AT ITER 1760 NEW BEST:: SOT 189904 SOS 30801 HAS SOPS 30801 HAS SOUS 25491 HAS SOUPS 25491 WITH SCORE 25521.801
AT ITER 1796 NEW BEST:: SOT 189903 SOS 30799 HAS SOPS 30799 HAS SOUS 25489 HAS SOUPS 25489 WITH SCORE 25519.799
AT ITER 1810 NEW BEST:: SOT 189903 SOS 30793 HAS SOPS 30793 HAS SOUS 25486 HAS SOUPS 25486 WITH SCORE 25516.793
AT ITER 1813 NEW BEST:: SOT 189903 SOS 30712 HAS SOPS 30712 HAS SOUS 25460 HAS SOUPS 25460 WITH SCORE 25490.712
AT ITER 1860 NEW BEST:: SOT 189880 SOS 30697 HAS SOPS 30697 HAS SOUS 25446 HAS SOUPS 25446 WITH SCORE 25476.697
AT ITER 1874 NEW BEST:: SOT 189856 SOS 30480 HAS SOPS 30480 HAS SOUS 25365 HAS SOUPS 25365 WITH SCORE 25395.48
AT ITER 1885 NEW BEST:: SOT 189856 SOS 30465 HAS SOPS 30465 HAS SOUS 25352 HAS SOUPS 25352 WITH SCORE 25382.465
AT ITER 1887 NEW BEST:: SOT 189848 SOS 30420 HAS SOPS 30420 HAS SOUS 25333 HAS SOUPS 25333 WITH SCORE 25363.42
AT ITER 1905 NEW BEST:: SOT 189848 SOS 30415 HAS SOPS 30415 HAS SOUS 25328 HAS SOUPS 25328 WITH SCORE 25358.415
AT ITER 1923 NEW BEST:: SOT 189848 SOS 30323 HAS SOPS 30323 HAS SOUS 25305 HAS SOUPS 25305 WITH SCORE 25335.323
AT ITER 1965 NEW BEST:: SOT 189835 SOS 30297 HAS SOPS 30297 HAS SOUS 25297 HAS SOUPS 25297 WITH SCORE 25327.297
AT ITER 1967 NEW BEST:: SOT 189824 SOS 30261 HAS SOPS 30261 HAS SOUS 25289 HAS SOUPS 25289 WITH SCORE 25319.261
AT ITER 2012 NEW BEST:: SOT 189836 SOS 30253 HAS SOPS 30253 HAS SOUS 25281 HAS SOUPS 25281 WITH SCORE 25311.253
AT ITER 2015 NEW BEST:: SOT 189830 SOS 30271 HAS SOPS 30271 HAS SOUS 25275 HAS SOUPS 25275 WITH SCORE 25305.271
AT ITER 2040 NEW BEST:: SOT 189830 SOS 30220 HAS SOPS 30220 HAS SOUS 25275 HAS SOUPS 25275 WITH SCORE 25305.22
AT ITER 2070 NEW BEST:: SOT 189756 SOS 30186 HAS SOPS 30186 HAS SOUS 25239 HAS SOUPS 25239 WITH SCORE 25269.186
AT ITER 2087 NEW BEST:: SOT 189766 SOS 30186 HAS SOPS 30186 HAS SOUS 25230 HAS SOUPS 25230 WITH SCORE 25260.186
AT ITER 2131 NEW BEST:: SOT 189765 SOS 30102 HAS SOPS 30102 HAS SOUS 25215 HAS SOUPS 25215 WITH SCORE 25245.102
AT ITER 2167 NEW BEST:: SOT 189765 SOS 30078 HAS SOPS 30078 HAS SOUS 25191 HAS SOUPS 25191 WITH SCORE 25221.078
AT ITER 2168 NEW BEST:: SOT 189765 SOS 30071 HAS SOPS 30071 HAS SOUS 25184 HAS SOUPS 25184 WITH SCORE 25214.071
AT ITER 2190 NEW BEST:: SOT 189675 SOS 30008 HAS SOPS 30008 HAS SOUS 25121 HAS SOUPS 25121 WITH SCORE 25151.008
AT ITER 2199 NEW BEST:: SOT 189675 SOS 30005 HAS SOPS 30005 HAS SOUS 25121 HAS SOUPS 25121 WITH SCORE 25151.005
AT ITER 2229 NEW BEST:: SOT 189660 SOS 29985 HAS SOPS 29985 HAS SOUS 25101 HAS SOUPS 25101 WITH SCORE 25130.985
AT ITER 2255 NEW BEST:: SOT 189670 SOS 29902 HAS SOPS 29902 HAS SOUS 25098 HAS SOUPS 25098 WITH SCORE 25127.902
AT ITER 2275 NEW BEST:: SOT 189670 SOS 29895 HAS SOPS 29895 HAS SOUS 25091 HAS SOUPS 25091 WITH SCORE 25120.895
AT ITER 2304 NEW BEST:: SOT 189670 SOS 29875 HAS SOPS 29875 HAS SOUS 25091 HAS SOUPS 25091 WITH SCORE 25120.875
AT ITER 2384 NEW BEST:: SOT 189637 SOS 29798 HAS SOPS 29798 HAS SOUS 25040 HAS SOUPS 25040 WITH SCORE 25069.798
AT ITER 2399 NEW BEST:: SOT 189619 SOS 29786 HAS SOPS 29786 HAS SOUS 25028 HAS SOUPS 25028 WITH SCORE 25057.786
AT ITER 2405 NEW BEST:: SOT 189556 SOS 29720 HAS SOPS 29720 HAS SOUS 24959 HAS SOUPS 24959 WITH SCORE 24988.72
AT ITER 2443 NEW BEST:: SOT 189539 SOS 29703 HAS SOPS 29703 HAS SOUS 24942 HAS SOUPS 24942 WITH SCORE 24971.703
AT ITER 2452 NEW BEST:: SOT 189512 SOS 29692 HAS SOPS 29692 HAS SOUS 24915 HAS SOUPS 24915 WITH SCORE 24944.692
AT ITER 2510 NEW BEST:: SOT 189512 SOS 29692 HAS SOPS 29692 HAS SOUS 24906 HAS SOUPS 24906 WITH SCORE 24935.692
AT ITER 2542 NEW BEST:: SOT 189512 SOS 29691 HAS SOPS 29691 HAS SOUS 24905 HAS SOUPS 24905 WITH SCORE 24934.691
AT ITER 2582 NEW BEST:: SOT 189512 SOS 29686 HAS SOPS 29686 HAS SOUS 24900 HAS SOUPS 24900 WITH SCORE 24929.686
AT ITER 2589 NEW BEST:: SOT 189443 SOS 29619 HAS SOPS 29619 HAS SOUS 24833 HAS SOUPS 24833 WITH SCORE 24862.619
AT ITER 2697 NEW BEST:: SOT 189354 SOS 29530 HAS SOPS 29530 HAS SOUS 24744 HAS SOUPS 24744 WITH SCORE 24773.53
AT ITER 2793 NEW BEST:: SOT 189240 SOS 29528 HAS SOPS 29528 HAS SOUS 24675 HAS SOUPS 24675 WITH SCORE 24704.528
AT ITER 2886 NEW BEST:: SOT 189224 SOS 29390 HAS SOPS 29390 HAS SOUS 24618 HAS SOUPS 24618 WITH SCORE 24647.39
AT ITER 2900 NEW BEST:: SOT 189224 SOS 29387 HAS SOPS 29387 HAS SOUS 24615 HAS SOUPS 24615 WITH SCORE 24644.387
AT ITER 2907 NEW BEST:: SOT 189225 SOS 29352 HAS SOPS 29352 HAS SOUS 24613 HAS SOUPS 24613 WITH SCORE 24642.352
AT ITER 2939 NEW BEST:: SOT 189225 SOS 29351 HAS SOPS 29351 HAS SOUS 24612 HAS SOUPS 24612 WITH SCORE 24641.351
AT ITER 2944 NEW BEST:: SOT 189225 SOS 29317 HAS SOPS 29317 HAS SOUS 24578 HAS SOUPS 24578 WITH SCORE 24607.317
AT ITER 3005 NEW BEST:: SOT 189225 SOS 29309 HAS SOPS 29309 HAS SOUS 24570 HAS SOUPS 24570 WITH SCORE 24599.309
AT ITER 3006 NEW BEST:: SOT 189189 SOS 29287 HAS SOPS 29287 HAS SOUS 24548 HAS SOUPS 24548 WITH SCORE 24577.287
AT ITER 3027 NEW BEST:: SOT 189196 SOS 29301 HAS SOPS 29301 HAS SOUS 24547 HAS SOUPS 24547 WITH SCORE 24576.301
AT ITER 3042 NEW BEST:: SOT 189161 SOS 29193 HAS SOPS 29193 HAS SOUS 24541 HAS SOUPS 24541 WITH SCORE 24570.193
AT ITER 3119 NEW BEST:: SOT 189053 SOS 29124 HAS SOPS 29124 HAS SOUS 24472 HAS SOUPS 24472 WITH SCORE 24501.124
AT ITER 3122 NEW BEST:: SOT 189085 SOS 29104 HAS SOPS 29104 HAS SOUS 24462 HAS SOUPS 24462 WITH SCORE 24491.104
AT ITER 3209 NEW BEST:: SOT 189060 SOS 29029 HAS SOPS 29029 HAS SOUS 24412 HAS SOUPS 24412 WITH SCORE 24441.029
AT ITER 3230 NEW BEST:: SOT 189058 SOS 29027 HAS SOPS 29027 HAS SOUS 24408 HAS SOUPS 24408 WITH SCORE 24437.027
AT ITER 3290 NEW BEST:: SOT 189058 SOS 28963 HAS SOPS 28963 HAS SOUS 24376 HAS SOUPS 24376 WITH SCORE 24404.963
AT ITER 3314 NEW BEST:: SOT 189015 SOS 28987 HAS SOPS 28987 HAS SOUS 24368 HAS SOUPS 24368 WITH SCORE 24396.987
AT ITER 3335 NEW BEST:: SOT 188925 SOS 28927 HAS SOPS 28927 HAS SOUS 24298 HAS SOUPS 24298 WITH SCORE 24326.927
AT ITER 3347 NEW BEST:: SOT 188924 SOS 28927 HAS SOPS 28927 HAS SOUS 24295 HAS SOUPS 24295 WITH SCORE 24323.927
AT ITER 3361 NEW BEST:: SOT 188933 SOS 28875 HAS SOPS 28875 HAS SOUS 24281 HAS SOUPS 24281 WITH SCORE 24309.875
AT ITER 3377 NEW BEST:: SOT 188932 SOS 28873 HAS SOPS 28873 HAS SOUS 24279 HAS SOUPS 24279 WITH SCORE 24307.873
AT ITER 3403 NEW BEST:: SOT 188932 SOS 28872 HAS SOPS 28872 HAS SOUS 24278 HAS SOUPS 24278 WITH SCORE 24306.872
AT ITER 3408 NEW BEST:: SOT 188935 SOS 28818 HAS SOPS 28818 HAS SOUS 24261 HAS SOUPS 24261 WITH SCORE 24289.818
AT ITER 3458 NEW BEST:: SOT 188942 SOS 28811 HAS SOPS 28811 HAS SOUS 24217 HAS SOUPS 24217 WITH SCORE 24245.811
AT ITER 3466 NEW BEST:: SOT 188945 SOS 28780 HAS SOPS 28780 HAS SOUS 24203 HAS SOUPS 24203 WITH SCORE 24231.78
AT ITER 3626 NEW BEST:: SOT 188910 SOS 28612 HAS SOPS 28612 HAS SOUS 24164 HAS SOUPS 24164 WITH SCORE 24192.612
AT ITER 3682 NEW BEST:: SOT 188910 SOS 28611 HAS SOPS 28611 HAS SOUS 24163 HAS SOUPS 24163 WITH SCORE 24191.611
AT ITER 3739 NEW BEST:: SOT 188910 SOS 28518 HAS SOPS 28518 HAS SOUS 24163 HAS SOUPS 24163 WITH SCORE 24191.518
AT ITER 3743 NEW BEST:: SOT 188916 SOS 28527 HAS SOPS 28527 HAS SOUS 24146 HAS SOUPS 24146 WITH SCORE 24174.527
AT ITER 3762 NEW BEST:: SOT 188898 SOS 28509 HAS SOPS 28509 HAS SOUS 24128 HAS SOUPS 24128 WITH SCORE 24156.509
AT ITER 3818 NEW BEST:: SOT 188898 SOS 28410 HAS SOPS 28410 HAS SOUS 24095 HAS SOUPS 24095 WITH SCORE 24123.41
AT ITER 3832 NEW BEST:: SOT 188880 SOS 28398 HAS SOPS 28398 HAS SOUS 24083 HAS SOUPS 24083 WITH SCORE 24111.398
AT ITER 3946 NEW BEST:: SOT 188856 SOS 28374 HAS SOPS 28374 HAS SOUS 24071 HAS SOUPS 24071 WITH SCORE 24099.374
AT ITER 4009 NEW BEST:: SOT 188845 SOS 28361 HAS SOPS 28361 HAS SOUS 24058 HAS SOUPS 24058 WITH SCORE 24086.361
AT ITER 4022 NEW BEST:: SOT 188845 SOS 28350 HAS SOPS 28350 HAS SOUS 24047 HAS SOUPS 24047 WITH SCORE 24075.35
AT ITER 4023 NEW BEST:: SOT 188843 SOS 28348 HAS SOPS 28348 HAS SOUS 24047 HAS SOUPS 24047 WITH SCORE 24075.348
AT ITER 4072 NEW BEST:: SOT 188843 SOS 28350 HAS SOPS 28350 HAS SOUS 24042 HAS SOUPS 24042 WITH SCORE 24070.35
AT ITER 4116 NEW BEST:: SOT 188830 SOS 28269 HAS SOPS 28269 HAS SOUS 23999 HAS SOUPS 23999 WITH SCORE 24027.269
AT ITER 4134 NEW BEST:: SOT 188830 SOS 28268 HAS SOPS 28268 HAS SOUS 23998 HAS SOUPS 23998 WITH SCORE 24026.268
AT ITER 4154 NEW BEST:: SOT 188830 SOS 28267 HAS SOPS 28267 HAS SOUS 23997 HAS SOUPS 23997 WITH SCORE 24025.267
AT ITER 4198 NEW BEST:: SOT 188830 SOS 28263 HAS SOPS 28263 HAS SOUS 23994 HAS SOUPS 23994 WITH SCORE 24022.263
AT ITER 4204 NEW BEST:: SOT 188830 SOS 28207 HAS SOPS 28207 HAS SOUS 23987 HAS SOUPS 23987 WITH SCORE 24015.207
AT ITER 4244 NEW BEST:: SOT 188796 SOS 28173 HAS SOPS 28173 HAS SOUS 23953 HAS SOUPS 23953 WITH SCORE 23981.173
AT ITER 4321 NEW BEST:: SOT 188784 SOS 28169 HAS SOPS 28169 HAS SOUS 23919 HAS SOUPS 23919 WITH SCORE 23947.169
AT ITER 4348 NEW BEST:: SOT 188779 SOS 28159 HAS SOPS 28159 HAS SOUS 23909 HAS SOUPS 23909 WITH SCORE 23937.159
AT ITER 4349 NEW BEST:: SOT 188774 SOS 28177 HAS SOPS 28177 HAS SOUS 23882 HAS SOUPS 23882 WITH SCORE 23910.177
AT ITER 4389 NEW BEST:: SOT 188768 SOS 28165 HAS SOPS 28165 HAS SOUS 23870 HAS SOUPS 23870 WITH SCORE 23898.165
AT ITER 4400 NEW BEST:: SOT 188726 SOS 28130 HAS SOPS 28130 HAS SOUS 23828 HAS SOUPS 23828 WITH SCORE 23856.13
AT ITER 4502 NEW BEST:: SOT 188721 SOS 28118 HAS SOPS 28118 HAS SOUS 23782 HAS SOUPS 23782 WITH SCORE 23810.118
AT ITER 4529 NEW BEST:: SOT 188708 SOS 28096 HAS SOPS 28096 HAS SOUS 23760 HAS SOUPS 23760 WITH SCORE 23788.096
AT ITER 4575 NEW BEST:: SOT 188691 SOS 28011 HAS SOPS 28011 HAS SOUS 23726 HAS SOUPS 23726 WITH SCORE 23754.011
AT ITER 4611 NEW BEST:: SOT 188661 SOS 28020 HAS SOPS 28020 HAS SOUS 23721 HAS SOUPS 23721 WITH SCORE 23749.02
AT ITER 4621 NEW BEST:: SOT 188622 SOS 27970 HAS SOPS 27970 HAS SOUS 23709 HAS SOUPS 23709 WITH SCORE 23736.97
AT ITER 4626 NEW BEST:: SOT 188597 SOS 27922 HAS SOPS 27922 HAS SOUS 23705 HAS SOUPS 23705 WITH SCORE 23732.922
AT ITER 4652 NEW BEST:: SOT 188584 SOS 27896 HAS SOPS 27896 HAS SOUS 23692 HAS SOUPS 23692 WITH SCORE 23719.896
AT ITER 4675 NEW BEST:: SOT 188580 SOS 27892 HAS SOPS 27892 HAS SOUS 23688 HAS SOUPS 23688 WITH SCORE 23715.892
AT ITER 4757 NEW BEST:: SOT 188593 SOS 27900 HAS SOPS 27900 HAS SOUS 23681 HAS SOUPS 23681 WITH SCORE 23708.9
AT ITER 4769 NEW BEST:: SOT 188563 SOS 27870 HAS SOPS 27870 HAS SOUS 23657 HAS SOUPS 23657 WITH SCORE 23684.87
AT ITER 4787 NEW BEST:: SOT 188563 SOS 27863 HAS SOPS 27863 HAS SOUS 23650 HAS SOUPS 23650 WITH SCORE 23677.863
AT ITER 4861 NEW BEST:: SOT 188529 SOS 27804 HAS SOPS 27804 HAS SOUS 23611 HAS SOUPS 23611 WITH SCORE 23638.804
AT ITER 4937 NEW BEST:: SOT 188460 SOS 27786 HAS SOPS 27786 HAS SOUS 23593 HAS SOUPS 23593 WITH SCORE 23620.786
AT ITER 5012 NEW BEST:: SOT 188452 SOS 27786 HAS SOPS 27786 HAS SOUS 23589 HAS SOUPS 23589 WITH SCORE 23616.786
AT ITER 5092 NEW BEST:: SOT 188394 SOS 27670 HAS SOPS 27670 HAS SOUS 23484 HAS SOUPS 23484 WITH SCORE 23511.67
AT ITER 5126 NEW BEST:: SOT 188326 SOS 27606 HAS SOPS 27606 HAS SOUS 23420 HAS SOUPS 23420 WITH SCORE 23447.606
AT ITER 5215 NEW BEST:: SOT 188313 SOS 27593 HAS SOPS 27593 HAS SOUS 23407 HAS SOUPS 23407 WITH SCORE 23434.593
AT ITER 5220 NEW BEST:: SOT 188347 SOS 27579 HAS SOPS 27579 HAS SOUS 23393 HAS SOUPS 23393 WITH SCORE 23420.579
AT ITER 5227 NEW BEST:: SOT 188328 SOS 27560 HAS SOPS 27560 HAS SOUS 23367 HAS SOUPS 23367 WITH SCORE 23394.56
AT ITER 5233 NEW BEST:: SOT 188328 SOS 27546 HAS SOPS 27546 HAS SOUS 23360 HAS SOUPS 23360 WITH SCORE 23387.546
AT ITER 5282 NEW BEST:: SOT 188328 SOS 27544 HAS SOPS 27544 HAS SOUS 23358 HAS SOUPS 23358 WITH SCORE 23385.544
AT ITER 5304 NEW BEST:: SOT 188316 SOS 27505 HAS SOPS 27505 HAS SOUS 23339 HAS SOUPS 23339 WITH SCORE 23366.505
AT ITER 5384 NEW BEST:: SOT 188307 SOS 27491 HAS SOPS 27491 HAS SOUS 23337 HAS SOUPS 23337 WITH SCORE 23364.491
AT ITER 5465 NEW BEST:: SOT 188276 SOS 27439 HAS SOPS 27439 HAS SOUS 23306 HAS SOUPS 23306 WITH SCORE 23333.439
AT ITER 5515 NEW BEST:: SOT 188267 SOS 27430 HAS SOPS 27430 HAS SOUS 23272 HAS SOUPS 23272 WITH SCORE 23299.43
AT ITER 5535 NEW BEST:: SOT 188247 SOS 27444 HAS SOPS 27444 HAS SOUS 23268 HAS SOUPS 23268 WITH SCORE 23295.444
AT ITER 5560 NEW BEST:: SOT 188245 SOS 27440 HAS SOPS 27440 HAS SOUS 23264 HAS SOUPS 23264 WITH SCORE 23291.44
AT ITER 5618 NEW BEST:: SOT 188244 SOS 27431 HAS SOPS 27431 HAS SOUS 23256 HAS SOUPS 23256 WITH SCORE 23283.431
AT ITER 5653 NEW BEST:: SOT 188241 SOS 27419 HAS SOPS 27419 HAS SOUS 23247 HAS SOUPS 23247 WITH SCORE 23274.419
AT ITER 5700 NEW BEST:: SOT 188246 SOS 27398 HAS SOPS 27398 HAS SOUS 23240 HAS SOUPS 23240 WITH SCORE 23267.398
AT ITER 5751 NEW BEST:: SOT 188230 SOS 27322 HAS SOPS 27322 HAS SOUS 23202 HAS SOUPS 23202 WITH SCORE 23229.322
AT ITER 5837 NEW BEST:: SOT 188211 SOS 27238 HAS SOPS 27238 HAS SOUS 23181 HAS SOUPS 23181 WITH SCORE 23208.238
AT ITER 5914 NEW BEST:: SOT 188209 SOS 27285 HAS SOPS 27285 HAS SOUS 23177 HAS SOUPS 23177 WITH SCORE 23204.285
AT ITER 5962 NEW BEST:: SOT 188209 SOS 27278 HAS SOPS 27278 HAS SOUS 23170 HAS SOUPS 23170 WITH SCORE 23197.278
AT ITER 6006 NEW BEST:: SOT 188209 SOS 27257 HAS SOPS 27257 HAS SOUS 23149 HAS SOUPS 23149 WITH SCORE 23176.257
AT ITER 6045 NEW BEST:: SOT 188186 SOS 27232 HAS SOPS 27232 HAS SOUS 23148 HAS SOUPS 23148 WITH SCORE 23175.232
AT ITER 6050 NEW BEST:: SOT 188193 SOS 27158 HAS SOPS 27158 HAS SOUS 23133 HAS SOUPS 23133 WITH SCORE 23160.158
AT ITER 6054 NEW BEST:: SOT 188179 SOS 27090 HAS SOPS 27090 HAS SOUS 23097 HAS SOUPS 23097 WITH SCORE 23124.09
AT ITER 6059 NEW BEST:: SOT 188177 SOS 27052 HAS SOPS 27052 HAS SOUS 23085 HAS SOUPS 23085 WITH SCORE 23112.052
AT ITER 6066 NEW BEST:: SOT 188169 SOS 27044 HAS SOPS 27044 HAS SOUS 23077 HAS SOUPS 23077 WITH SCORE 23104.044
AT ITER 6077 NEW BEST:: SOT 188165 SOS 27050 HAS SOPS 27050 HAS SOUS 23073 HAS SOUPS 23073 WITH SCORE 23100.05
AT ITER 6094 NEW BEST:: SOT 188164 SOS 27048 HAS SOPS 27048 HAS SOUS 23072 HAS SOUPS 23072 WITH SCORE 23099.048
AT ITER 6096 NEW BEST:: SOT 188124 SOS 26965 HAS SOPS 26965 HAS SOUS 23033 HAS SOUPS 23033 WITH SCORE 23059.965
AT ITER 6106 NEW BEST:: SOT 188096 SOS 26963 HAS SOPS 26963 HAS SOUS 23031 HAS SOUPS 23031 WITH SCORE 23057.963
AT ITER 6115 NEW BEST:: SOT 187974 SOS 26935 HAS SOPS 26935 HAS SOUS 22981 HAS SOUPS 22981 WITH SCORE 23007.935
AT ITER 6144 NEW BEST:: SOT 188009 SOS 26962 HAS SOPS 26962 HAS SOUS 22957 HAS SOUPS 22957 WITH SCORE 22983.962
AT ITER 6156 NEW BEST:: SOT 188009 SOS 26962 HAS SOPS 26962 HAS SOUS 22955 HAS SOUPS 22955 WITH SCORE 22981.962
AT ITER 6183 NEW BEST:: SOT 188009 SOS 26956 HAS SOPS 26956 HAS SOUS 22949 HAS SOUPS 22949 WITH SCORE 22975.956
AT ITER 6193 NEW BEST:: SOT 188009 SOS 26964 HAS SOPS 26964 HAS SOUS 22939 HAS SOUPS 22939 WITH SCORE 22965.964
AT ITER 6202 NEW BEST:: SOT 188015 SOS 26974 HAS SOPS 26974 HAS SOUS 22934 HAS SOUPS 22934 WITH SCORE 22960.974
AT ITER 6220 NEW BEST:: SOT 187971 SOS 26825 HAS SOPS 26825 HAS SOUS 22885 HAS SOUPS 22885 WITH SCORE 22911.825
AT ITER 6271 NEW BEST:: SOT 187970 SOS 26824 HAS SOPS 26824 HAS SOUS 22884 HAS SOUPS 22884 WITH SCORE 22910.824
AT ITER 6327 NEW BEST:: SOT 187976 SOS 26840 HAS SOPS 26840 HAS SOUS 22860 HAS SOUPS 22860 WITH SCORE 22886.84
AT ITER 6338 NEW BEST:: SOT 187965 SOS 26816 HAS SOPS 26816 HAS SOUS 22836 HAS SOUPS 22836 WITH SCORE 22862.816
AT ITER 6365 NEW BEST:: SOT 187993 SOS 26788 HAS SOPS 26788 HAS SOUS 22836 HAS SOUPS 22836 WITH SCORE 22862.788
AT ITER 6379 NEW BEST:: SOT 187987 SOS 26784 HAS SOPS 26784 HAS SOUS 22836 HAS SOUPS 22836 WITH SCORE 22862.784
AT ITER 6439 NEW BEST:: SOT 187985 SOS 26778 HAS SOPS 26778 HAS SOUS 22832 HAS SOUPS 22832 WITH SCORE 22858.778
AT ITER 6473 NEW BEST:: SOT 187975 SOS 26728 HAS SOPS 26728 HAS SOUS 22826 HAS SOUPS 22826 WITH SCORE 22852.728
AT ITER 6558 NEW BEST:: SOT 187937 SOS 26690 HAS SOPS 26690 HAS SOUS 22788 HAS SOUPS 22788 WITH SCORE 22814.69
AT ITER 6571 NEW BEST:: SOT 187930 SOS 26683 HAS SOPS 26683 HAS SOUS 22788 HAS SOUPS 22788 WITH SCORE 22814.683
AT ITER 6660 NEW BEST:: SOT 187930 SOS 26685 HAS SOPS 26685 HAS SOUS 22786 HAS SOUPS 22786 WITH SCORE 22812.685
AT ITER 6666 NEW BEST:: SOT 187922 SOS 26669 HAS SOPS 26669 HAS SOUS 22773 HAS SOUPS 22773 WITH SCORE 22799.669
AT ITER 6713 NEW BEST:: SOT 187901 SOS 26567 HAS SOPS 26567 HAS SOUS 22755 HAS SOUPS 22755 WITH SCORE 22781.567
AT ITER 6746 NEW BEST:: SOT 187920 SOS 26672 HAS SOPS 26672 HAS SOUS 22740 HAS SOUPS 22740 WITH SCORE 22766.672
AT ITER 6749 NEW BEST:: SOT 187913 SOS 26661 HAS SOPS 26661 HAS SOUS 22730 HAS SOUPS 22730 WITH SCORE 22756.661
AT ITER 6793 NEW BEST:: SOT 187911 SOS 26659 HAS SOPS 26659 HAS SOUS 22728 HAS SOUPS 22728 WITH SCORE 22754.659
AT ITER 6821 NEW BEST:: SOT 187900 SOS 26640 HAS SOPS 26640 HAS SOUS 22725 HAS SOUPS 22725 WITH SCORE 22751.64
AT ITER 6828 NEW BEST:: SOT 187899 SOS 26630 HAS SOPS 26630 HAS SOUS 22715 HAS SOUPS 22715 WITH SCORE 22741.63
AT ITER 6882 NEW BEST:: SOT 187885 SOS 26624 HAS SOPS 26624 HAS SOUS 22673 HAS SOUPS 22673 WITH SCORE 22699.624
AT ITER 6893 NEW BEST:: SOT 187881 SOS 26623 HAS SOPS 26623 HAS SOUS 22672 HAS SOUPS 22672 WITH SCORE 22698.623
AT ITER 6971 NEW BEST:: SOT 187857 SOS 26493 HAS SOPS 26493 HAS SOUS 22648 HAS SOUPS 22648 WITH SCORE 22674.493
AT ITER 7031 NEW BEST:: SOT 187860 SOS 26466 HAS SOPS 26466 HAS SOUS 22621 HAS SOUPS 22621 WITH SCORE 22647.466
AT ITER 7052 NEW BEST:: SOT 187834 SOS 26462 HAS SOPS 26462 HAS SOUS 22614 HAS SOUPS 22614 WITH SCORE 22640.462
AT ITER 7060 NEW BEST:: SOT 187816 SOS 26444 HAS SOPS 26444 HAS SOUS 22592 HAS SOUPS 22592 WITH SCORE 22618.444
AT ITER 7067 NEW BEST:: SOT 187855 SOS 26414 HAS SOPS 26414 HAS SOUS 22562 HAS SOUPS 22562 WITH SCORE 22588.414
AT ITER 7125 NEW BEST:: SOT 187841 SOS 26349 HAS SOPS 26349 HAS SOUS 22556 HAS SOUPS 22556 WITH SCORE 22582.349
AT ITER 7144 NEW BEST:: SOT 187812 SOS 26318 HAS SOPS 26318 HAS SOUS 22503 HAS SOUPS 22503 WITH SCORE 22529.318
AT ITER 7152 NEW BEST:: SOT 187796 SOS 26254 HAS SOPS 26254 HAS SOUS 22455 HAS SOUPS 22455 WITH SCORE 22481.254
AT ITER 7161 NEW BEST:: SOT 187796 SOS 26253 HAS SOPS 26253 HAS SOUS 22454 HAS SOUPS 22454 WITH SCORE 22480.253
AT ITER 7195 NEW BEST:: SOT 187796 SOS 26244 HAS SOPS 26244 HAS SOUS 22445 HAS SOUPS 22445 WITH SCORE 22471.244
AT ITER 7208 NEW BEST:: SOT 187784 SOS 26195 HAS SOPS 26195 HAS SOUS 22432 HAS SOUPS 22432 WITH SCORE 22458.195
AT ITER 7272 NEW BEST:: SOT 187779 SOS 26170 HAS SOPS 26170 HAS SOUS 22422 HAS SOUPS 22422 WITH SCORE 22448.17
AT ITER 7352 NEW BEST:: SOT 187778 SOS 26168 HAS SOPS 26168 HAS SOUS 22419 HAS SOUPS 22419 WITH SCORE 22445.168
AT ITER 7360 NEW BEST:: SOT 187778 SOS 26152 HAS SOPS 26152 HAS SOUS 22415 HAS SOUPS 22415 WITH SCORE 22441.152
AT ITER 7370 NEW BEST:: SOT 187779 SOS 26092 HAS SOPS 26092 HAS SOUS 22355 HAS SOUPS 22355 WITH SCORE 22381.092
AT ITER 7374 NEW BEST:: SOT 187764 SOS 26062 HAS SOPS 26062 HAS SOUS 22340 HAS SOUPS 22340 WITH SCORE 22366.062
AT ITER 7398 NEW BEST:: SOT 187763 SOS 26061 HAS SOPS 26061 HAS SOUS 22339 HAS SOUPS 22339 WITH SCORE 22365.061
AT ITER 7455 NEW BEST:: SOT 187757 SOS 26054 HAS SOPS 26054 HAS SOUS 22332 HAS SOUPS 22332 WITH SCORE 22358.054
AT ITER 7496 NEW BEST:: SOT 187742 SOS 26007 HAS SOPS 26007 HAS SOUS 22302 HAS SOUPS 22302 WITH SCORE 22328.007
AT ITER 7500 NEW BEST:: SOT 187742 SOS 26006 HAS SOPS 26006 HAS SOUS 22284 HAS SOUPS 22284 WITH SCORE 22310.006
AT ITER 7560 NEW BEST:: SOT 187731 SOS 25975 HAS SOPS 25975 HAS SOUS 22253 HAS SOUPS 22253 WITH SCORE 22278.975
AT ITER 7565 NEW BEST:: SOT 187728 SOS 25972 HAS SOPS 25972 HAS SOUS 22253 HAS SOUPS 22253 WITH SCORE 22278.972
AT ITER 7571 NEW BEST:: SOT 187725 SOS 25969 HAS SOPS 25969 HAS SOUS 22250 HAS SOUPS 22250 WITH SCORE 22275.969
AT ITER 7582 NEW BEST:: SOT 187706 SOS 25941 HAS SOPS 25941 HAS SOUS 22247 HAS SOUPS 22247 WITH SCORE 22272.941
AT ITER 7624 NEW BEST:: SOT 187696 SOS 25924 HAS SOPS 25924 HAS SOUS 22231 HAS SOUPS 22231 WITH SCORE 22256.924
AT ITER 7681 NEW BEST:: SOT 187673 SOS 25855 HAS SOPS 25855 HAS SOUS 22210 HAS SOUPS 22210 WITH SCORE 22235.855
AT ITER 7685 NEW BEST:: SOT 187651 SOS 25823 HAS SOPS 25823 HAS SOUS 22210 HAS SOUPS 22210 WITH SCORE 22235.823
AT ITER 7688 NEW BEST:: SOT 187638 SOS 25812 HAS SOPS 25812 HAS SOUS 22186 HAS SOUPS 22186 WITH SCORE 22211.812
AT ITER 7698 NEW BEST:: SOT 187597 SOS 25805 HAS SOPS 25805 HAS SOUS 22179 HAS SOUPS 22179 WITH SCORE 22204.805
AT ITER 7759 NEW BEST:: SOT 187587 SOS 25775 HAS SOPS 25775 HAS SOUS 22169 HAS SOUPS 22169 WITH SCORE 22194.775
AT ITER 7806 NEW BEST:: SOT 187565 SOS 25748 HAS SOPS 25748 HAS SOUS 22142 HAS SOUPS 22142 WITH SCORE 22167.748
AT ITER 7836 NEW BEST:: SOT 187565 SOS 25713 HAS SOPS 25713 HAS SOUS 22119 HAS SOUPS 22119 WITH SCORE 22144.713
AT ITER 7863 NEW BEST:: SOT 187562 SOS 25710 HAS SOPS 25710 HAS SOUS 22113 HAS SOUPS 22113 WITH SCORE 22138.71
AT ITER 7910 NEW BEST:: SOT 187562 SOS 25690 HAS SOPS 25690 HAS SOUS 22099 HAS SOUPS 22099 WITH SCORE 22124.69
AT ITER 7943 NEW BEST:: SOT 187550 SOS 25660 HAS SOPS 25660 HAS SOUS 22078 HAS SOUPS 22078 WITH SCORE 22103.66
AT ITER 7971 NEW BEST:: SOT 187556 SOS 25643 HAS SOPS 25643 HAS SOUS 22061 HAS SOUPS 22061 WITH SCORE 22086.643
AT ITER 8059 NEW BEST:: SOT 187536 SOS 25685 HAS SOPS 25685 HAS SOUS 22057 HAS SOUPS 22057 WITH SCORE 22082.685
AT ITER 8144 NEW BEST:: SOT 187532 SOS 25677 HAS SOPS 25677 HAS SOUS 22049 HAS SOUPS 22049 WITH SCORE 22074.677
AT ITER 8163 NEW BEST:: SOT 187528 SOS 25660 HAS SOPS 25660 HAS SOUS 22041 HAS SOUPS 22041 WITH SCORE 22066.66
AT ITER 8199 NEW BEST:: SOT 187527 SOS 25658 HAS SOPS 25658 HAS SOUS 22039 HAS SOUPS 22039 WITH SCORE 22064.658
AT ITER 8208 NEW BEST:: SOT 187522 SOS 25653 HAS SOPS 25653 HAS SOUS 22039 HAS SOUPS 22039 WITH SCORE 22064.653
AT ITER 8221 NEW BEST:: SOT 187522 SOS 25648 HAS SOPS 25648 HAS SOUS 22034 HAS SOUPS 22034 WITH SCORE 22059.648
AT ITER 8238 NEW BEST:: SOT 187493 SOS 25597 HAS SOPS 25597 HAS SOUS 22000 HAS SOUPS 22000 WITH SCORE 22025.597
AT ITER 8336 NEW BEST:: SOT 187493 SOS 25587 HAS SOPS 25587 HAS SOUS 21990 HAS SOUPS 21990 WITH SCORE 22015.587
AT ITER 8436 NEW BEST:: SOT 187485 SOS 25595 HAS SOPS 25595 HAS SOUS 21955 HAS SOUPS 21955 WITH SCORE 21980.595
AT ITER 8453 NEW BEST:: SOT 187474 SOS 25596 HAS SOPS 25596 HAS SOUS 21952 HAS SOUPS 21952 WITH SCORE 21977.596
AT ITER 8469 NEW BEST:: SOT 187471 SOS 25588 HAS SOPS 25588 HAS SOUS 21949 HAS SOUPS 21949 WITH SCORE 21974.588
AT ITER 8486 NEW BEST:: SOT 187486 SOS 25594 HAS SOPS 25594 HAS SOUS 21919 HAS SOUPS 21919 WITH SCORE 21944.594
AT ITER 8487 NEW BEST:: SOT 187487 SOS 25589 HAS SOPS 25589 HAS SOUS 21887 HAS SOUPS 21887 WITH SCORE 21912.589
AT ITER 8506 NEW BEST:: SOT 187480 SOS 25554 HAS SOPS 25554 HAS SOUS 21869 HAS SOUPS 21869 WITH SCORE 21894.554
AT ITER 8508 NEW BEST:: SOT 187447 SOS 25536 HAS SOPS 25536 HAS SOUS 21822 HAS SOUPS 21822 WITH SCORE 21847.536
AT ITER 8509 NEW BEST:: SOT 187436 SOS 25536 HAS SOPS 25536 HAS SOUS 21818 HAS SOUPS 21818 WITH SCORE 21843.536
AT ITER 8664 NEW BEST:: SOT 187428 SOS 25484 HAS SOPS 25484 HAS SOUS 21802 HAS SOUPS 21802 WITH SCORE 21827.484
AT ITER 8677 NEW BEST:: SOT 187402 SOS 25400 HAS SOPS 25400 HAS SOUS 21748 HAS SOUPS 21748 WITH SCORE 21773.4
AT ITER 8741 NEW BEST:: SOT 187395 SOS 25436 HAS SOPS 25436 HAS SOUS 21741 HAS SOUPS 21741 WITH SCORE 21766.436
AT ITER 8778 NEW BEST:: SOT 187392 SOS 25415 HAS SOPS 25415 HAS SOUS 21720 HAS SOUPS 21720 WITH SCORE 21745.415
AT ITER 8814 NEW BEST:: SOT 187392 SOS 25415 HAS SOPS 25415 HAS SOUS 21719 HAS SOUPS 21719 WITH SCORE 21744.415
AT ITER 8819 NEW BEST:: SOT 187388 SOS 25403 HAS SOPS 25403 HAS SOUS 21712 HAS SOUPS 21712 WITH SCORE 21737.403
AT ITER 8830 NEW BEST:: SOT 187379 SOS 25366 HAS SOPS 25366 HAS SOUS 21675 HAS SOUPS 21675 WITH SCORE 21700.366
AT ITER 8843 NEW BEST:: SOT 187391 SOS 25364 HAS SOPS 25364 HAS SOUS 21673 HAS SOUPS 21673 WITH SCORE 21698.364
AT ITER 8844 NEW BEST:: SOT 187377 SOS 25290 HAS SOPS 25290 HAS SOUS 21626 HAS SOUPS 21626 WITH SCORE 21651.29
AT ITER 8872 NEW BEST:: SOT 187380 SOS 25204 HAS SOPS 25204 HAS SOUS 21592 HAS SOUPS 21592 WITH SCORE 21617.204
AT ITER 8876 NEW BEST:: SOT 187354 SOS 25120 HAS SOPS 25120 HAS SOUS 21551 HAS SOUPS 21551 WITH SCORE 21576.12
AT ITER 9021 NEW BEST:: SOT 187354 SOS 25084 HAS SOPS 25084 HAS SOUS 21528 HAS SOUPS 21528 WITH SCORE 21553.084
AT ITER 9033 NEW BEST:: SOT 187348 SOS 25058 HAS SOPS 25058 HAS SOUS 21512 HAS SOUPS 21512 WITH SCORE 21537.058
AT ITER 9071 NEW BEST:: SOT 187313 SOS 25051 HAS SOPS 25051 HAS SOUS 21504 HAS SOUPS 21504 WITH SCORE 21529.051
AT ITER 9106 NEW BEST:: SOT 187308 SOS 25058 HAS SOPS 25058 HAS SOUS 21499 HAS SOUPS 21499 WITH SCORE 21524.058
AT ITER 9154 NEW BEST:: SOT 187297 SOS 25052 HAS SOPS 25052 HAS SOUS 21495 HAS SOUPS 21495 WITH SCORE 21520.052
AT ITER 9319 NEW BEST:: SOT 187296 SOS 25049 HAS SOPS 25049 HAS SOUS 21493 HAS SOUPS 21493 WITH SCORE 21518.049
AT ITER 9348 NEW BEST:: SOT 187297 SOS 25048 HAS SOPS 25048 HAS SOUS 21493 HAS SOUPS 21493 WITH SCORE 21518.048
AT ITER 9360 NEW BEST:: SOT 187283 SOS 25020 HAS SOPS 25020 HAS SOUS 21465 HAS SOUPS 21465 WITH SCORE 21490.02
AT ITER 9387 NEW BEST:: SOT 187309 SOS 25068 HAS SOPS 25068 HAS SOUS 21435 HAS SOUPS 21435 WITH SCORE 21460.068
AT ITER 9407 NEW BEST:: SOT 187303 SOS 25067 HAS SOPS 25067 HAS SOUS 21429 HAS SOUPS 21429 WITH SCORE 21454.067
AT ITER 9659 NEW BEST:: SOT 187294 SOS 25057 HAS SOPS 25057 HAS SOUS 21428 HAS SOUPS 21428 WITH SCORE 21453.057
AT ITER 9663 NEW BEST:: SOT 187237 SOS 25001 HAS SOPS 25001 HAS SOUS 21372 HAS SOUPS 21372 WITH SCORE 21397.001
AT ITER 9676 NEW BEST:: SOT 187223 SOS 24973 HAS SOPS 24973 HAS SOUS 21345 HAS SOUPS 21345 WITH SCORE 21369.973
AT ITER 9753 NEW BEST:: SOT 187225 SOS 24977 HAS SOPS 24977 HAS SOUS 21336 HAS SOUPS 21336 WITH SCORE 21360.977
AT ITER 9814 NEW BEST:: SOT 187226 SOS 24978 HAS SOPS 24978 HAS SOUS 21335 HAS SOUPS 21335 WITH SCORE 21359.978
AT ITER 9828 NEW BEST:: SOT 187225 SOS 24976 HAS SOPS 24976 HAS SOUS 21314 HAS SOUPS 21314 WITH SCORE 21338.976
AT ITER 9846 NEW BEST:: SOT 187230 SOS 24971 HAS SOPS 24971 HAS SOUS 21314 HAS SOUPS 21314 WITH SCORE 21338.971
AT ITER 9875 NEW BEST:: SOT 187223 SOS 24947 HAS SOPS 24947 HAS SOUS 21302 HAS SOUPS 21302 WITH SCORE 21326.947
AT ITER 9937 NEW BEST:: SOT 187229 SOS 24929 HAS SOPS 24929 HAS SOUS 21283 HAS SOUPS 21283 WITH SCORE 21307.929
AT ITER 9961 NEW BEST:: SOT 187230 SOS 24901 HAS SOPS 24901 HAS SOUS 21281 HAS SOUPS 21281 WITH SCORE 21305.901
AT ITER 9970 NEW BEST:: SOT 187242 SOS 24913 HAS SOPS 24913 HAS SOUS 21280 HAS SOUPS 21280 WITH SCORE 21304.913
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393236 kB
MemFree: 1939632 kB
After kill :
MemTotal: 16393236 kB
MemFree: 16118500 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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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="ShieldIIPs-PT-010B"
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 ShieldIIPs-PT-010B, 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 r395-oct2-167903718400096"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPs-PT-010B.tgz
mv ShieldIIPs-PT-010B 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 ;