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-167903718800448.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 ShieldPPPs-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-167903718800448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 632K
-rw-r--r-- 1 mcc users 7.1K Feb 26 02:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 02:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 02:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 02:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 02:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 26 02:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 02:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 02:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:58 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:58 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 172K 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 1679567920383

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=ShieldPPPs-PT-010B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 10:38:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 10:38:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 10:38:43] [INFO ] Load time of PNML (sax parser for PT used): 141 ms
[2023-03-23 10:38:43] [INFO ] Transformed 683 places.
[2023-03-23 10:38:44] [INFO ] Transformed 633 transitions.
[2023-03-23 10:38:44] [INFO ] Found NUPN structural information;
[2023-03-23 10:38:44] [INFO ] Parsed PT model containing 683 places and 633 transitions and 1746 arcs in 323 ms.
[2023-03-23 10:38:44] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 683 places, 633 transitions and 1746 arcs took 6 ms.
Total runtime 405 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (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: 683 places, 633 transitions, 1746 arcs.
AT ITER 0 NEW BEST:: SOT 230892 SOS 38199 HAS SOPS 38199 HAS SOUS 35193 HAS SOUPS 35193 WITH SCORE 35231.199
AT ITER 13 NEW BEST:: SOT 230885 SOS 38198 HAS SOPS 38198 HAS SOUS 35192 HAS SOUPS 35192 WITH SCORE 35230.198
AT ITER 25 NEW BEST:: SOT 230843 SOS 38187 HAS SOPS 38187 HAS SOUS 35182 HAS SOUPS 35182 WITH SCORE 35220.187
AT ITER 41 NEW BEST:: SOT 230808 SOS 38150 HAS SOPS 38150 HAS SOUS 35146 HAS SOUPS 35146 WITH SCORE 35184.15
AT ITER 109 NEW BEST:: SOT 230808 SOS 38018 HAS SOPS 38018 HAS SOUS 35146 HAS SOUPS 35146 WITH SCORE 35184.018
AT ITER 123 NEW BEST:: SOT 230808 SOS 38002 HAS SOPS 38002 HAS SOUS 35130 HAS SOUPS 35130 WITH SCORE 35168.002
AT ITER 166 NEW BEST:: SOT 230788 SOS 37982 HAS SOPS 37982 HAS SOUS 35110 HAS SOUPS 35110 WITH SCORE 35147.982
AT ITER 169 NEW BEST:: SOT 230801 SOS 37961 HAS SOPS 37961 HAS SOUS 35090 HAS SOUPS 35090 WITH SCORE 35127.961
AT ITER 200 NEW BEST:: SOT 230796 SOS 37995 HAS SOPS 37995 HAS SOUS 35085 HAS SOUPS 35085 WITH SCORE 35122.995
AT ITER 220 NEW BEST:: SOT 230796 SOS 37992 HAS SOPS 37992 HAS SOUS 35082 HAS SOUPS 35082 WITH SCORE 35119.992
AT ITER 255 NEW BEST:: SOT 230796 SOS 37946 HAS SOPS 37946 HAS SOUS 35036 HAS SOUPS 35036 WITH SCORE 35073.946
AT ITER 300 NEW BEST:: SOT 230796 SOS 37937 HAS SOPS 37937 HAS SOUS 35034 HAS SOUPS 35034 WITH SCORE 35071.937
AT ITER 303 NEW BEST:: SOT 230794 SOS 37935 HAS SOPS 37935 HAS SOUS 35031 HAS SOUPS 35031 WITH SCORE 35068.935
AT ITER 365 NEW BEST:: SOT 230793 SOS 37934 HAS SOPS 37934 HAS SOUS 35030 HAS SOUPS 35030 WITH SCORE 35067.934
AT ITER 379 NEW BEST:: SOT 230665 SOS 37846 HAS SOPS 37846 HAS SOUS 34972 HAS SOUPS 34972 WITH SCORE 35009.846
AT ITER 380 NEW BEST:: SOT 230665 SOS 37846 HAS SOPS 37846 HAS SOUS 34958 HAS SOUPS 34958 WITH SCORE 34995.846
AT ITER 419 NEW BEST:: SOT 230639 SOS 37828 HAS SOPS 37828 HAS SOUS 34906 HAS SOUPS 34906 WITH SCORE 34943.828
AT ITER 428 NEW BEST:: SOT 230638 SOS 37823 HAS SOPS 37823 HAS SOUS 34901 HAS SOUPS 34901 WITH SCORE 34938.823
AT ITER 514 NEW BEST:: SOT 230634 SOS 37811 HAS SOPS 37811 HAS SOUS 34890 HAS SOUPS 34890 WITH SCORE 34927.811
AT ITER 519 NEW BEST:: SOT 230632 SOS 37800 HAS SOPS 37800 HAS SOUS 34888 HAS SOUPS 34888 WITH SCORE 34925.8
AT ITER 530 NEW BEST:: SOT 230631 SOS 37799 HAS SOPS 37799 HAS SOUS 34887 HAS SOUPS 34887 WITH SCORE 34924.799
AT ITER 549 NEW BEST:: SOT 230631 SOS 37798 HAS SOPS 37798 HAS SOUS 34862 HAS SOUPS 34862 WITH SCORE 34899.798
AT ITER 550 NEW BEST:: SOT 230631 SOS 37797 HAS SOPS 37797 HAS SOUS 34861 HAS SOUPS 34861 WITH SCORE 34898.797
AT ITER 560 NEW BEST:: SOT 230640 SOS 37790 HAS SOPS 37790 HAS SOUS 34854 HAS SOUPS 34854 WITH SCORE 34891.79
AT ITER 596 NEW BEST:: SOT 230640 SOS 37790 HAS SOPS 37790 HAS SOUS 34819 HAS SOUPS 34819 WITH SCORE 34856.79
AT ITER 599 NEW BEST:: SOT 230605 SOS 37796 HAS SOPS 37796 HAS SOUS 34812 HAS SOUPS 34812 WITH SCORE 34849.796
AT ITER 612 NEW BEST:: SOT 230639 SOS 37842 HAS SOPS 37842 HAS SOUS 34811 HAS SOUPS 34811 WITH SCORE 34848.842
AT ITER 624 NEW BEST:: SOT 230621 SOS 37841 HAS SOPS 37841 HAS SOUS 34810 HAS SOUPS 34810 WITH SCORE 34847.841
AT ITER 673 NEW BEST:: SOT 230621 SOS 37834 HAS SOPS 37834 HAS SOUS 34796 HAS SOUPS 34796 WITH SCORE 34833.834
AT ITER 715 NEW BEST:: SOT 230621 SOS 37789 HAS SOPS 37789 HAS SOUS 34751 HAS SOUPS 34751 WITH SCORE 34788.789
AT ITER 800 NEW BEST:: SOT 230621 SOS 37789 HAS SOPS 37789 HAS SOUS 34739 HAS SOUPS 34739 WITH SCORE 34776.789
AT ITER 803 NEW BEST:: SOT 230594 SOS 37788 HAS SOPS 37788 HAS SOUS 34738 HAS SOUPS 34738 WITH SCORE 34775.788
AT ITER 813 NEW BEST:: SOT 230594 SOS 37782 HAS SOPS 37782 HAS SOUS 34732 HAS SOUPS 34732 WITH SCORE 34769.782
AT ITER 844 NEW BEST:: SOT 230623 SOS 37806 HAS SOPS 37806 HAS SOUS 34727 HAS SOUPS 34727 WITH SCORE 34764.806
AT ITER 880 NEW BEST:: SOT 230599 SOS 37752 HAS SOPS 37752 HAS SOUS 34708 HAS SOUPS 34708 WITH SCORE 34745.752
AT ITER 890 NEW BEST:: SOT 230599 SOS 37716 HAS SOPS 37716 HAS SOUS 34690 HAS SOUPS 34690 WITH SCORE 34727.716
AT ITER 893 NEW BEST:: SOT 230602 SOS 37686 HAS SOPS 37686 HAS SOUS 34660 HAS SOUPS 34660 WITH SCORE 34697.686
AT ITER 906 NEW BEST:: SOT 230602 SOS 37676 HAS SOPS 37676 HAS SOUS 34650 HAS SOUPS 34650 WITH SCORE 34687.676
AT ITER 907 NEW BEST:: SOT 230576 SOS 37572 HAS SOPS 37572 HAS SOUS 34624 HAS SOUPS 34624 WITH SCORE 34661.572
AT ITER 949 NEW BEST:: SOT 230618 SOS 37474 HAS SOPS 37474 HAS SOUS 34610 HAS SOUPS 34610 WITH SCORE 34647.474
AT ITER 952 NEW BEST:: SOT 230614 SOS 37467 HAS SOPS 37467 HAS SOUS 34604 HAS SOUPS 34604 WITH SCORE 34641.467
AT ITER 970 NEW BEST:: SOT 230614 SOS 37466 HAS SOPS 37466 HAS SOUS 34603 HAS SOUPS 34603 WITH SCORE 34640.466
AT ITER 977 NEW BEST:: SOT 230621 SOS 37259 HAS SOPS 37259 HAS SOUS 34577 HAS SOUPS 34577 WITH SCORE 34614.259
AT ITER 981 NEW BEST:: SOT 230624 SOS 37222 HAS SOPS 37222 HAS SOUS 34569 HAS SOUPS 34569 WITH SCORE 34606.222
AT ITER 982 NEW BEST:: SOT 230599 SOS 37172 HAS SOPS 37172 HAS SOUS 34543 HAS SOUPS 34543 WITH SCORE 34580.172
AT ITER 990 NEW BEST:: SOT 230598 SOS 37171 HAS SOPS 37171 HAS SOUS 34541 HAS SOUPS 34541 WITH SCORE 34578.171
AT ITER 1015 NEW BEST:: SOT 230542 SOS 37125 HAS SOPS 37125 HAS SOUS 34445 HAS SOUPS 34445 WITH SCORE 34482.125
AT ITER 1031 NEW BEST:: SOT 230506 SOS 37099 HAS SOPS 37099 HAS SOUS 34366 HAS SOUPS 34366 WITH SCORE 34403.099
AT ITER 1087 NEW BEST:: SOT 230474 SOS 37035 HAS SOPS 37035 HAS SOUS 34302 HAS SOUPS 34302 WITH SCORE 34339.035
AT ITER 1104 NEW BEST:: SOT 230470 SOS 37015 HAS SOPS 37015 HAS SOUS 34285 HAS SOUPS 34285 WITH SCORE 34322.015
AT ITER 1191 NEW BEST:: SOT 230470 SOS 37015 HAS SOPS 37015 HAS SOUS 34282 HAS SOUPS 34282 WITH SCORE 34319.015
AT ITER 1195 NEW BEST:: SOT 230465 SOS 37010 HAS SOPS 37010 HAS SOUS 34251 HAS SOUPS 34251 WITH SCORE 34288.01
AT ITER 1217 NEW BEST:: SOT 230465 SOS 36994 HAS SOPS 36994 HAS SOUS 34235 HAS SOUPS 34235 WITH SCORE 34271.994
AT ITER 1226 NEW BEST:: SOT 230465 SOS 36991 HAS SOPS 36991 HAS SOUS 34232 HAS SOUPS 34232 WITH SCORE 34268.991
AT ITER 1246 NEW BEST:: SOT 230463 SOS 36989 HAS SOPS 36989 HAS SOUS 34230 HAS SOUPS 34230 WITH SCORE 34266.989
AT ITER 1257 NEW BEST:: SOT 230397 SOS 36923 HAS SOPS 36923 HAS SOUS 34164 HAS SOUPS 34164 WITH SCORE 34200.923
AT ITER 1267 NEW BEST:: SOT 230385 SOS 36910 HAS SOPS 36910 HAS SOUS 34147 HAS SOUPS 34147 WITH SCORE 34183.91
AT ITER 1277 NEW BEST:: SOT 230396 SOS 36916 HAS SOPS 36916 HAS SOUS 34145 HAS SOUPS 34145 WITH SCORE 34181.916
AT ITER 1305 NEW BEST:: SOT 230396 SOS 36912 HAS SOPS 36912 HAS SOUS 34141 HAS SOUPS 34141 WITH SCORE 34177.912
AT ITER 1309 NEW BEST:: SOT 230364 SOS 36847 HAS SOPS 36847 HAS SOUS 34076 HAS SOUPS 34076 WITH SCORE 34112.847
AT ITER 1314 NEW BEST:: SOT 230338 SOS 36821 HAS SOPS 36821 HAS SOUS 34050 HAS SOUPS 34050 WITH SCORE 34086.821
AT ITER 1330 NEW BEST:: SOT 230339 SOS 36821 HAS SOPS 36821 HAS SOUS 34045 HAS SOUPS 34045 WITH SCORE 34081.821
AT ITER 1348 NEW BEST:: SOT 230261 SOS 36762 HAS SOPS 36762 HAS SOUS 33953 HAS SOUPS 33953 WITH SCORE 33989.762
AT ITER 1393 NEW BEST:: SOT 230207 SOS 36787 HAS SOPS 36787 HAS SOUS 33920 HAS SOUPS 33920 WITH SCORE 33956.787
AT ITER 1396 NEW BEST:: SOT 230214 SOS 36781 HAS SOPS 36781 HAS SOUS 33914 HAS SOUPS 33914 WITH SCORE 33950.781
AT ITER 1417 NEW BEST:: SOT 230154 SOS 36720 HAS SOPS 36720 HAS SOUS 33853 HAS SOUPS 33853 WITH SCORE 33889.72
AT ITER 1424 NEW BEST:: SOT 230094 SOS 36388 HAS SOPS 36388 HAS SOUS 33730 HAS SOUPS 33730 WITH SCORE 33766.388
AT ITER 1507 NEW BEST:: SOT 230073 SOS 36367 HAS SOPS 36367 HAS SOUS 33709 HAS SOUPS 33709 WITH SCORE 33745.367
AT ITER 1526 NEW BEST:: SOT 230064 SOS 36369 HAS SOPS 36369 HAS SOUS 33703 HAS SOUPS 33703 WITH SCORE 33739.369
AT ITER 1538 NEW BEST:: SOT 230060 SOS 36361 HAS SOPS 36361 HAS SOUS 33695 HAS SOUPS 33695 WITH SCORE 33731.361
AT ITER 1561 NEW BEST:: SOT 230054 SOS 36352 HAS SOPS 36352 HAS SOUS 33686 HAS SOUPS 33686 WITH SCORE 33722.352
AT ITER 1584 NEW BEST:: SOT 229866 SOS 36325 HAS SOPS 36325 HAS SOUS 33651 HAS SOUPS 33651 WITH SCORE 33687.325
AT ITER 1641 NEW BEST:: SOT 229848 SOS 36309 HAS SOPS 36309 HAS SOUS 33629 HAS SOUPS 33629 WITH SCORE 33665.309
AT ITER 1656 NEW BEST:: SOT 229832 SOS 36309 HAS SOPS 36309 HAS SOUS 33613 HAS SOUPS 33613 WITH SCORE 33649.309
AT ITER 1697 NEW BEST:: SOT 229832 SOS 36301 HAS SOPS 36301 HAS SOUS 33605 HAS SOUPS 33605 WITH SCORE 33641.301
AT ITER 1728 NEW BEST:: SOT 229832 SOS 36231 HAS SOPS 36231 HAS SOUS 33570 HAS SOUPS 33570 WITH SCORE 33606.231
AT ITER 1750 NEW BEST:: SOT 229832 SOS 36226 HAS SOPS 36226 HAS SOUS 33570 HAS SOUPS 33570 WITH SCORE 33606.226
AT ITER 1773 NEW BEST:: SOT 229815 SOS 36209 HAS SOPS 36209 HAS SOUS 33553 HAS SOUPS 33553 WITH SCORE 33589.209
AT ITER 1774 NEW BEST:: SOT 229810 SOS 36199 HAS SOPS 36199 HAS SOUS 33552 HAS SOUPS 33552 WITH SCORE 33588.199
AT ITER 1818 NEW BEST:: SOT 229788 SOS 36176 HAS SOPS 36176 HAS SOUS 33529 HAS SOUPS 33529 WITH SCORE 33565.176
AT ITER 1845 NEW BEST:: SOT 229780 SOS 36160 HAS SOPS 36160 HAS SOUS 33505 HAS SOUPS 33505 WITH SCORE 33541.16
AT ITER 1862 NEW BEST:: SOT 229780 SOS 36187 HAS SOPS 36187 HAS SOUS 33478 HAS SOUPS 33478 WITH SCORE 33514.187
AT ITER 1900 NEW BEST:: SOT 229774 SOS 36181 HAS SOPS 36181 HAS SOUS 33472 HAS SOUPS 33472 WITH SCORE 33508.181
AT ITER 1941 NEW BEST:: SOT 229752 SOS 36184 HAS SOPS 36184 HAS SOUS 33463 HAS SOUPS 33463 WITH SCORE 33499.184
AT ITER 2041 NEW BEST:: SOT 229726 SOS 36092 HAS SOPS 36092 HAS SOUS 33436 HAS SOUPS 33436 WITH SCORE 33472.092
AT ITER 2046 NEW BEST:: SOT 229726 SOS 36063 HAS SOPS 36063 HAS SOUS 33434 HAS SOUPS 33434 WITH SCORE 33470.063
AT ITER 2094 NEW BEST:: SOT 229690 SOS 36031 HAS SOPS 36031 HAS SOUS 33398 HAS SOUPS 33398 WITH SCORE 33434.031
AT ITER 2115 NEW BEST:: SOT 229636 SOS 35950 HAS SOPS 35950 HAS SOUS 33343 HAS SOUPS 33343 WITH SCORE 33378.95
AT ITER 2176 NEW BEST:: SOT 229612 SOS 35899 HAS SOPS 35899 HAS SOUS 33292 HAS SOUPS 33292 WITH SCORE 33327.899
AT ITER 2248 NEW BEST:: SOT 229552 SOS 35821 HAS SOPS 35821 HAS SOUS 33201 HAS SOUPS 33201 WITH SCORE 33236.821
AT ITER 2264 NEW BEST:: SOT 229561 SOS 35817 HAS SOPS 35817 HAS SOUS 33197 HAS SOUPS 33197 WITH SCORE 33232.817
AT ITER 2299 NEW BEST:: SOT 229559 SOS 35813 HAS SOPS 35813 HAS SOUS 33193 HAS SOUPS 33193 WITH SCORE 33228.813
AT ITER 2308 NEW BEST:: SOT 229508 SOS 35741 HAS SOPS 35741 HAS SOUS 33119 HAS SOUPS 33119 WITH SCORE 33154.741
AT ITER 2324 NEW BEST:: SOT 229469 SOS 35738 HAS SOPS 35738 HAS SOUS 33116 HAS SOUPS 33116 WITH SCORE 33151.738
AT ITER 2358 NEW BEST:: SOT 229427 SOS 35698 HAS SOPS 35698 HAS SOUS 33076 HAS SOUPS 33076 WITH SCORE 33111.698
AT ITER 2385 NEW BEST:: SOT 229426 SOS 35691 HAS SOPS 35691 HAS SOUS 33069 HAS SOUPS 33069 WITH SCORE 33104.691
AT ITER 2402 NEW BEST:: SOT 229420 SOS 35679 HAS SOPS 35679 HAS SOUS 33057 HAS SOUPS 33057 WITH SCORE 33092.679
AT ITER 2403 NEW BEST:: SOT 229420 SOS 35627 HAS SOPS 35627 HAS SOUS 33046 HAS SOUPS 33046 WITH SCORE 33081.627
AT ITER 2449 NEW BEST:: SOT 229420 SOS 35599 HAS SOPS 35599 HAS SOUS 33018 HAS SOUPS 33018 WITH SCORE 33053.599
AT ITER 2455 NEW BEST:: SOT 229413 SOS 35585 HAS SOPS 35585 HAS SOUS 32989 HAS SOUPS 32989 WITH SCORE 33024.585
AT ITER 2466 NEW BEST:: SOT 229385 SOS 35545 HAS SOPS 35545 HAS SOUS 32977 HAS SOUPS 32977 WITH SCORE 33012.545
AT ITER 2470 NEW BEST:: SOT 229388 SOS 35643 HAS SOPS 35643 HAS SOUS 32952 HAS SOUPS 32952 WITH SCORE 32987.643
AT ITER 2515 NEW BEST:: SOT 229373 SOS 35641 HAS SOPS 35641 HAS SOUS 32950 HAS SOUPS 32950 WITH SCORE 32985.641
AT ITER 2541 NEW BEST:: SOT 229373 SOS 35646 HAS SOPS 35646 HAS SOUS 32949 HAS SOUPS 32949 WITH SCORE 32984.646
AT ITER 2544 NEW BEST:: SOT 229376 SOS 35576 HAS SOPS 35576 HAS SOUS 32934 HAS SOUPS 32934 WITH SCORE 32969.576
AT ITER 2545 NEW BEST:: SOT 229376 SOS 35575 HAS SOPS 35575 HAS SOUS 32933 HAS SOUPS 32933 WITH SCORE 32968.575
AT ITER 2557 NEW BEST:: SOT 229356 SOS 35515 HAS SOPS 35515 HAS SOUS 32873 HAS SOUPS 32873 WITH SCORE 32908.515
AT ITER 2570 NEW BEST:: SOT 229346 SOS 35495 HAS SOPS 35495 HAS SOUS 32853 HAS SOUPS 32853 WITH SCORE 32888.495
AT ITER 2592 NEW BEST:: SOT 229346 SOS 35484 HAS SOPS 35484 HAS SOUS 32850 HAS SOUPS 32850 WITH SCORE 32885.484
AT ITER 2597 NEW BEST:: SOT 229342 SOS 35472 HAS SOPS 35472 HAS SOUS 32842 HAS SOUPS 32842 WITH SCORE 32877.472
AT ITER 2656 NEW BEST:: SOT 229359 SOS 35442 HAS SOPS 35442 HAS SOUS 32812 HAS SOUPS 32812 WITH SCORE 32847.442
AT ITER 2658 NEW BEST:: SOT 229375 SOS 35438 HAS SOPS 35438 HAS SOUS 32794 HAS SOUPS 32794 WITH SCORE 32829.438
AT ITER 2682 NEW BEST:: SOT 229372 SOS 35522 HAS SOPS 35522 HAS SOUS 32791 HAS SOUPS 32791 WITH SCORE 32826.522
AT ITER 2691 NEW BEST:: SOT 229385 SOS 35521 HAS SOPS 35521 HAS SOUS 32790 HAS SOUPS 32790 WITH SCORE 32825.521
AT ITER 2693 NEW BEST:: SOT 229385 SOS 35519 HAS SOPS 35519 HAS SOUS 32789 HAS SOUPS 32789 WITH SCORE 32824.519
AT ITER 2694 NEW BEST:: SOT 229381 SOS 35500 HAS SOPS 35500 HAS SOUS 32770 HAS SOUPS 32770 WITH SCORE 32805.5
AT ITER 2760 NEW BEST:: SOT 229374 SOS 35484 HAS SOPS 35484 HAS SOUS 32756 HAS SOUPS 32756 WITH SCORE 32791.484
AT ITER 2777 NEW BEST:: SOT 229372 SOS 35482 HAS SOPS 35482 HAS SOUS 32754 HAS SOUPS 32754 WITH SCORE 32789.482
AT ITER 2827 NEW BEST:: SOT 229353 SOS 35463 HAS SOPS 35463 HAS SOUS 32716 HAS SOUPS 32716 WITH SCORE 32751.463
AT ITER 2867 NEW BEST:: SOT 229293 SOS 35371 HAS SOPS 35371 HAS SOUS 32626 HAS SOUPS 32626 WITH SCORE 32661.371
AT ITER 2884 NEW BEST:: SOT 229293 SOS 35373 HAS SOPS 35373 HAS SOUS 32622 HAS SOUPS 32622 WITH SCORE 32657.373
AT ITER 2913 NEW BEST:: SOT 229229 SOS 35368 HAS SOPS 35368 HAS SOUS 32595 HAS SOUPS 32595 WITH SCORE 32630.368
AT ITER 2917 NEW BEST:: SOT 229228 SOS 35366 HAS SOPS 35366 HAS SOUS 32593 HAS SOUPS 32593 WITH SCORE 32628.366
AT ITER 2953 NEW BEST:: SOT 229228 SOS 35348 HAS SOPS 35348 HAS SOUS 32575 HAS SOUPS 32575 WITH SCORE 32610.348
AT ITER 2969 NEW BEST:: SOT 229228 SOS 35343 HAS SOPS 35343 HAS SOUS 32575 HAS SOUPS 32575 WITH SCORE 32610.343
AT ITER 3028 NEW BEST:: SOT 229192 SOS 35303 HAS SOPS 35303 HAS SOUS 32535 HAS SOUPS 32535 WITH SCORE 32570.303
AT ITER 3053 NEW BEST:: SOT 229195 SOS 35297 HAS SOPS 35297 HAS SOUS 32535 HAS SOUPS 32535 WITH SCORE 32570.297
AT ITER 3130 NEW BEST:: SOT 229192 SOS 35282 HAS SOPS 35282 HAS SOUS 32520 HAS SOUPS 32520 WITH SCORE 32555.282
AT ITER 3133 NEW BEST:: SOT 229192 SOS 35278 HAS SOPS 35278 HAS SOUS 32516 HAS SOUPS 32516 WITH SCORE 32551.278
AT ITER 3136 NEW BEST:: SOT 229188 SOS 35269 HAS SOPS 35269 HAS SOUS 32507 HAS SOUPS 32507 WITH SCORE 32542.269
AT ITER 3164 NEW BEST:: SOT 229143 SOS 35219 HAS SOPS 35219 HAS SOUS 32445 HAS SOUPS 32445 WITH SCORE 32480.219
AT ITER 3228 NEW BEST:: SOT 229143 SOS 35219 HAS SOPS 35219 HAS SOUS 32439 HAS SOUPS 32439 WITH SCORE 32474.219
AT ITER 3250 NEW BEST:: SOT 229161 SOS 35231 HAS SOPS 35231 HAS SOUS 32434 HAS SOUPS 32434 WITH SCORE 32469.231
AT ITER 3256 NEW BEST:: SOT 229115 SOS 35185 HAS SOPS 35185 HAS SOUS 32388 HAS SOUPS 32388 WITH SCORE 32423.185
AT ITER 3258 NEW BEST:: SOT 229109 SOS 35208 HAS SOPS 35208 HAS SOUS 32303 HAS SOUPS 32303 WITH SCORE 32338.208
AT ITER 3284 NEW BEST:: SOT 229099 SOS 35146 HAS SOPS 35146 HAS SOUS 32266 HAS SOUPS 32266 WITH SCORE 32301.146
AT ITER 3373 NEW BEST:: SOT 229097 SOS 35071 HAS SOPS 35071 HAS SOUS 32224 HAS SOUPS 32224 WITH SCORE 32259.071
AT ITER 3377 NEW BEST:: SOT 229087 SOS 35051 HAS SOPS 35051 HAS SOUS 32204 HAS SOUPS 32204 WITH SCORE 32239.051
AT ITER 3427 NEW BEST:: SOT 229087 SOS 35061 HAS SOPS 35061 HAS SOUS 32194 HAS SOUPS 32194 WITH SCORE 32229.061
AT ITER 3428 NEW BEST:: SOT 229087 SOS 35061 HAS SOPS 35061 HAS SOUS 32193 HAS SOUPS 32193 WITH SCORE 32228.061
AT ITER 3443 NEW BEST:: SOT 229114 SOS 35057 HAS SOPS 35057 HAS SOUS 32189 HAS SOUPS 32189 WITH SCORE 32224.057
AT ITER 3447 NEW BEST:: SOT 229109 SOS 35063 HAS SOPS 35063 HAS SOUS 32186 HAS SOUPS 32186 WITH SCORE 32221.063
AT ITER 3481 NEW BEST:: SOT 229109 SOS 35051 HAS SOPS 35051 HAS SOUS 32186 HAS SOUPS 32186 WITH SCORE 32221.051
AT ITER 3498 NEW BEST:: SOT 229075 SOS 35036 HAS SOPS 35036 HAS SOUS 32171 HAS SOUPS 32171 WITH SCORE 32206.036
AT ITER 3566 NEW BEST:: SOT 229048 SOS 35009 HAS SOPS 35009 HAS SOUS 32144 HAS SOUPS 32144 WITH SCORE 32179.009
AT ITER 3610 NEW BEST:: SOT 228986 SOS 34985 HAS SOPS 34985 HAS SOUS 32120 HAS SOUPS 32120 WITH SCORE 32154.985
AT ITER 3615 NEW BEST:: SOT 228985 SOS 34984 HAS SOPS 34984 HAS SOUS 32119 HAS SOUPS 32119 WITH SCORE 32153.984
AT ITER 3625 NEW BEST:: SOT 228960 SOS 34927 HAS SOPS 34927 HAS SOUS 32111 HAS SOUPS 32111 WITH SCORE 32145.927
AT ITER 3728 NEW BEST:: SOT 228928 SOS 34879 HAS SOPS 34879 HAS SOUS 32063 HAS SOUPS 32063 WITH SCORE 32097.879
AT ITER 3825 NEW BEST:: SOT 228861 SOS 34851 HAS SOPS 34851 HAS SOUS 32035 HAS SOUPS 32035 WITH SCORE 32069.851
AT ITER 3874 NEW BEST:: SOT 228855 SOS 34842 HAS SOPS 34842 HAS SOUS 32026 HAS SOUPS 32026 WITH SCORE 32060.842
AT ITER 3894 NEW BEST:: SOT 228834 SOS 34832 HAS SOPS 34832 HAS SOUS 32006 HAS SOUPS 32006 WITH SCORE 32040.832
AT ITER 3918 NEW BEST:: SOT 228808 SOS 34832 HAS SOPS 34832 HAS SOUS 31980 HAS SOUPS 31980 WITH SCORE 32014.832
AT ITER 3922 NEW BEST:: SOT 228785 SOS 34809 HAS SOPS 34809 HAS SOUS 31957 HAS SOUPS 31957 WITH SCORE 31991.809
AT ITER 3948 NEW BEST:: SOT 228780 SOS 34792 HAS SOPS 34792 HAS SOUS 31923 HAS SOUPS 31923 WITH SCORE 31957.792
AT ITER 3960 NEW BEST:: SOT 228804 SOS 34771 HAS SOPS 34771 HAS SOUS 31878 HAS SOUPS 31878 WITH SCORE 31912.771
AT ITER 3998 NEW BEST:: SOT 228804 SOS 34723 HAS SOPS 34723 HAS SOUS 31878 HAS SOUPS 31878 WITH SCORE 31912.723
AT ITER 4017 NEW BEST:: SOT 228805 SOS 34713 HAS SOPS 34713 HAS SOUS 31878 HAS SOUPS 31878 WITH SCORE 31912.713
AT ITER 4078 NEW BEST:: SOT 228752 SOS 34602 HAS SOPS 34602 HAS SOUS 31798 HAS SOUPS 31798 WITH SCORE 31832.602
AT ITER 4240 NEW BEST:: SOT 228731 SOS 34556 HAS SOPS 34556 HAS SOUS 31771 HAS SOUPS 31771 WITH SCORE 31805.556
AT ITER 4301 NEW BEST:: SOT 228717 SOS 34549 HAS SOPS 34549 HAS SOUS 31758 HAS SOUPS 31758 WITH SCORE 31792.549
AT ITER 4356 NEW BEST:: SOT 228717 SOS 34547 HAS SOPS 34547 HAS SOUS 31756 HAS SOUPS 31756 WITH SCORE 31790.547
AT ITER 4373 NEW BEST:: SOT 228717 SOS 34538 HAS SOPS 34538 HAS SOUS 31750 HAS SOUPS 31750 WITH SCORE 31784.538
AT ITER 4425 NEW BEST:: SOT 228711 SOS 34532 HAS SOPS 34532 HAS SOUS 31744 HAS SOUPS 31744 WITH SCORE 31778.532
AT ITER 4444 NEW BEST:: SOT 228648 SOS 34490 HAS SOPS 34490 HAS SOUS 31697 HAS SOUPS 31697 WITH SCORE 31731.49
AT ITER 4507 NEW BEST:: SOT 228640 SOS 34458 HAS SOPS 34458 HAS SOUS 31689 HAS SOUPS 31689 WITH SCORE 31723.458
AT ITER 4511 NEW BEST:: SOT 228640 SOS 34436 HAS SOPS 34436 HAS SOUS 31667 HAS SOUPS 31667 WITH SCORE 31701.436
AT ITER 4610 NEW BEST:: SOT 228640 SOS 34428 HAS SOPS 34428 HAS SOUS 31659 HAS SOUPS 31659 WITH SCORE 31693.428
AT ITER 4619 NEW BEST:: SOT 228640 SOS 34419 HAS SOPS 34419 HAS SOUS 31659 HAS SOUPS 31659 WITH SCORE 31693.419
AT ITER 4745 NEW BEST:: SOT 228638 SOS 34412 HAS SOPS 34412 HAS SOUS 31656 HAS SOUPS 31656 WITH SCORE 31690.412
AT ITER 4794 NEW BEST:: SOT 228638 SOS 34411 HAS SOPS 34411 HAS SOUS 31655 HAS SOUPS 31655 WITH SCORE 31689.411
AT ITER 4817 NEW BEST:: SOT 228655 SOS 34340 HAS SOPS 34340 HAS SOUS 31593 HAS SOUPS 31593 WITH SCORE 31627.34
AT ITER 4958 NEW BEST:: SOT 228621 SOS 34272 HAS SOPS 34272 HAS SOUS 31542 HAS SOUPS 31542 WITH SCORE 31576.272
AT ITER 4963 NEW BEST:: SOT 228608 SOS 34259 HAS SOPS 34259 HAS SOUS 31529 HAS SOUPS 31529 WITH SCORE 31563.259
AT ITER 4974 NEW BEST:: SOT 228524 SOS 34212 HAS SOPS 34212 HAS SOUS 31482 HAS SOUPS 31482 WITH SCORE 31516.212
AT ITER 5013 NEW BEST:: SOT 228523 SOS 34211 HAS SOPS 34211 HAS SOUS 31481 HAS SOUPS 31481 WITH SCORE 31515.211
AT ITER 5035 NEW BEST:: SOT 228523 SOS 34190 HAS SOPS 34190 HAS SOUS 31481 HAS SOUPS 31481 WITH SCORE 31515.19
AT ITER 5038 NEW BEST:: SOT 228463 SOS 34127 HAS SOPS 34127 HAS SOUS 31421 HAS SOUPS 31421 WITH SCORE 31455.127
AT ITER 5113 NEW BEST:: SOT 228465 SOS 34104 HAS SOPS 34104 HAS SOUS 31371 HAS SOUPS 31371 WITH SCORE 31405.104
AT ITER 5161 NEW BEST:: SOT 228465 SOS 34077 HAS SOPS 34077 HAS SOUS 31344 HAS SOUPS 31344 WITH SCORE 31378.077
AT ITER 5172 NEW BEST:: SOT 228418 SOS 33973 HAS SOPS 33973 HAS SOUS 31284 HAS SOUPS 31284 WITH SCORE 31317.973
AT ITER 5191 NEW BEST:: SOT 228417 SOS 33971 HAS SOPS 33971 HAS SOUS 31284 HAS SOUPS 31284 WITH SCORE 31317.971
AT ITER 5217 NEW BEST:: SOT 228428 SOS 33967 HAS SOPS 33967 HAS SOUS 31280 HAS SOUPS 31280 WITH SCORE 31313.967
AT ITER 5268 NEW BEST:: SOT 228428 SOS 33964 HAS SOPS 33964 HAS SOUS 31277 HAS SOUPS 31277 WITH SCORE 31310.964
AT ITER 5328 NEW BEST:: SOT 228422 SOS 33975 HAS SOPS 33975 HAS SOUS 31268 HAS SOUPS 31268 WITH SCORE 31301.975
AT ITER 5355 NEW BEST:: SOT 228404 SOS 33931 HAS SOPS 33931 HAS SOUS 31229 HAS SOUPS 31229 WITH SCORE 31262.931
AT ITER 5384 NEW BEST:: SOT 228404 SOS 33925 HAS SOPS 33925 HAS SOUS 31223 HAS SOUPS 31223 WITH SCORE 31256.925
AT ITER 5388 NEW BEST:: SOT 228404 SOS 33922 HAS SOPS 33922 HAS SOUS 31220 HAS SOUPS 31220 WITH SCORE 31253.922
AT ITER 5420 NEW BEST:: SOT 228401 SOS 33942 HAS SOPS 33942 HAS SOUS 31217 HAS SOUPS 31217 WITH SCORE 31250.942
AT ITER 5488 NEW BEST:: SOT 228358 SOS 33922 HAS SOPS 33922 HAS SOUS 31134 HAS SOUPS 31134 WITH SCORE 31167.922
AT ITER 5534 NEW BEST:: SOT 228351 SOS 33915 HAS SOPS 33915 HAS SOUS 31127 HAS SOUPS 31127 WITH SCORE 31160.915
AT ITER 5536 NEW BEST:: SOT 228324 SOS 33912 HAS SOPS 33912 HAS SOUS 31117 HAS SOUPS 31117 WITH SCORE 31150.912
AT ITER 5538 NEW BEST:: SOT 228307 SOS 33920 HAS SOPS 33920 HAS SOUS 31100 HAS SOUPS 31100 WITH SCORE 31133.92
AT ITER 5552 NEW BEST:: SOT 228296 SOS 33962 HAS SOPS 33962 HAS SOUS 31089 HAS SOUPS 31089 WITH SCORE 31122.962
AT ITER 5557 NEW BEST:: SOT 228300 SOS 33958 HAS SOPS 33958 HAS SOUS 31081 HAS SOUPS 31081 WITH SCORE 31114.958
AT ITER 5561 NEW BEST:: SOT 228278 SOS 33925 HAS SOPS 33925 HAS SOUS 31048 HAS SOUPS 31048 WITH SCORE 31081.925
AT ITER 5576 NEW BEST:: SOT 228278 SOS 33906 HAS SOPS 33906 HAS SOUS 31048 HAS SOUPS 31048 WITH SCORE 31081.906
AT ITER 5578 NEW BEST:: SOT 228273 SOS 33901 HAS SOPS 33901 HAS SOUS 31037 HAS SOUPS 31037 WITH SCORE 31070.901
AT ITER 5586 NEW BEST:: SOT 228324 SOS 33868 HAS SOPS 33868 HAS SOUS 31004 HAS SOUPS 31004 WITH SCORE 31037.868
AT ITER 5675 NEW BEST:: SOT 228324 SOS 33868 HAS SOPS 33868 HAS SOUS 30966 HAS SOUPS 30966 WITH SCORE 30999.868
AT ITER 5705 NEW BEST:: SOT 228324 SOS 33873 HAS SOPS 33873 HAS SOUS 30964 HAS SOUPS 30964 WITH SCORE 30997.873
AT ITER 5714 NEW BEST:: SOT 228319 SOS 33841 HAS SOPS 33841 HAS SOUS 30954 HAS SOUPS 30954 WITH SCORE 30987.841
AT ITER 5741 NEW BEST:: SOT 228319 SOS 33809 HAS SOPS 33809 HAS SOUS 30922 HAS SOUPS 30922 WITH SCORE 30955.809
AT ITER 5763 NEW BEST:: SOT 228338 SOS 33807 HAS SOPS 33807 HAS SOUS 30901 HAS SOUPS 30901 WITH SCORE 30934.807
AT ITER 5790 NEW BEST:: SOT 228337 SOS 33804 HAS SOPS 33804 HAS SOUS 30898 HAS SOUPS 30898 WITH SCORE 30931.804
AT ITER 5806 NEW BEST:: SOT 228335 SOS 33800 HAS SOPS 33800 HAS SOUS 30894 HAS SOUPS 30894 WITH SCORE 30927.8
AT ITER 5823 NEW BEST:: SOT 228334 SOS 33797 HAS SOPS 33797 HAS SOUS 30892 HAS SOUPS 30892 WITH SCORE 30925.797
AT ITER 5889 NEW BEST:: SOT 228340 SOS 33596 HAS SOPS 33596 HAS SOUS 30839 HAS SOUPS 30839 WITH SCORE 30872.596
AT ITER 5893 NEW BEST:: SOT 228341 SOS 33634 HAS SOPS 33634 HAS SOUS 30835 HAS SOUPS 30835 WITH SCORE 30868.634
AT ITER 5897 NEW BEST:: SOT 228341 SOS 33624 HAS SOPS 33624 HAS SOUS 30825 HAS SOUPS 30825 WITH SCORE 30858.624
AT ITER 5960 NEW BEST:: SOT 228333 SOS 33616 HAS SOPS 33616 HAS SOUS 30817 HAS SOUPS 30817 WITH SCORE 30850.616
AT ITER 5976 NEW BEST:: SOT 228333 SOS 33611 HAS SOPS 33611 HAS SOUS 30815 HAS SOUPS 30815 WITH SCORE 30848.611
AT ITER 5996 NEW BEST:: SOT 228287 SOS 33582 HAS SOPS 33582 HAS SOUS 30786 HAS SOUPS 30786 WITH SCORE 30819.582
AT ITER 5998 NEW BEST:: SOT 228272 SOS 33575 HAS SOPS 33575 HAS SOUS 30779 HAS SOUPS 30779 WITH SCORE 30812.575
AT ITER 6011 NEW BEST:: SOT 228227 SOS 33538 HAS SOPS 33538 HAS SOUS 30742 HAS SOUPS 30742 WITH SCORE 30775.538
AT ITER 6030 NEW BEST:: SOT 228227 SOS 33535 HAS SOPS 33535 HAS SOUS 30742 HAS SOUPS 30742 WITH SCORE 30775.535
AT ITER 6058 NEW BEST:: SOT 228227 SOS 33532 HAS SOPS 33532 HAS SOUS 30742 HAS SOUPS 30742 WITH SCORE 30775.532
AT ITER 6111 NEW BEST:: SOT 228227 SOS 33514 HAS SOPS 33514 HAS SOUS 30742 HAS SOUPS 30742 WITH SCORE 30775.514
AT ITER 6134 NEW BEST:: SOT 228227 SOS 33516 HAS SOPS 33516 HAS SOUS 30738 HAS SOUPS 30738 WITH SCORE 30771.516
AT ITER 6172 NEW BEST:: SOT 228211 SOS 33516 HAS SOPS 33516 HAS SOUS 30722 HAS SOUPS 30722 WITH SCORE 30755.516
AT ITER 6209 NEW BEST:: SOT 228211 SOS 33511 HAS SOPS 33511 HAS SOUS 30717 HAS SOUPS 30717 WITH SCORE 30750.511
AT ITER 6220 NEW BEST:: SOT 228159 SOS 33265 HAS SOPS 33265 HAS SOUS 30608 HAS SOUPS 30608 WITH SCORE 30641.265
AT ITER 6228 NEW BEST:: SOT 228145 SOS 33237 HAS SOPS 33237 HAS SOUS 30580 HAS SOUPS 30580 WITH SCORE 30613.237
AT ITER 6250 NEW BEST:: SOT 228136 SOS 33206 HAS SOPS 33206 HAS SOUS 30576 HAS SOUPS 30576 WITH SCORE 30609.206
AT ITER 6322 NEW BEST:: SOT 228119 SOS 33160 HAS SOPS 33160 HAS SOUS 30530 HAS SOUPS 30530 WITH SCORE 30563.16
AT ITER 6402 NEW BEST:: SOT 228119 SOS 33156 HAS SOPS 33156 HAS SOUS 30526 HAS SOUPS 30526 WITH SCORE 30559.156
AT ITER 6432 NEW BEST:: SOT 228119 SOS 33131 HAS SOPS 33131 HAS SOUS 30526 HAS SOUPS 30526 WITH SCORE 30559.131
AT ITER 6457 NEW BEST:: SOT 228097 SOS 33109 HAS SOPS 33109 HAS SOUS 30504 HAS SOUPS 30504 WITH SCORE 30537.109
AT ITER 6466 NEW BEST:: SOT 228099 SOS 33093 HAS SOPS 33093 HAS SOUS 30501 HAS SOUPS 30501 WITH SCORE 30534.093
AT ITER 6498 NEW BEST:: SOT 228099 SOS 33054 HAS SOPS 33054 HAS SOUS 30488 HAS SOUPS 30488 WITH SCORE 30521.054
AT ITER 6532 NEW BEST:: SOT 228106 SOS 33053 HAS SOPS 33053 HAS SOUS 30487 HAS SOUPS 30487 WITH SCORE 30520.053
AT ITER 6533 NEW BEST:: SOT 228086 SOS 32756 HAS SOPS 32756 HAS SOUS 30371 HAS SOUPS 30371 WITH SCORE 30403.756
AT ITER 6560 NEW BEST:: SOT 228086 SOS 32751 HAS SOPS 32751 HAS SOUS 30366 HAS SOUPS 30366 WITH SCORE 30398.751
AT ITER 6616 NEW BEST:: SOT 228086 SOS 32737 HAS SOPS 32737 HAS SOUS 30352 HAS SOUPS 30352 WITH SCORE 30384.737
AT ITER 6637 NEW BEST:: SOT 228069 SOS 32703 HAS SOPS 32703 HAS SOUS 30316 HAS SOUPS 30316 WITH SCORE 30348.703
AT ITER 6648 NEW BEST:: SOT 227989 SOS 32608 HAS SOPS 32608 HAS SOUS 30201 HAS SOUPS 30201 WITH SCORE 30233.608
AT ITER 6667 NEW BEST:: SOT 227992 SOS 32602 HAS SOPS 32602 HAS SOUS 30201 HAS SOUPS 30201 WITH SCORE 30233.602
AT ITER 6720 NEW BEST:: SOT 227987 SOS 32624 HAS SOPS 32624 HAS SOUS 30190 HAS SOUPS 30190 WITH SCORE 30222.624
AT ITER 6749 NEW BEST:: SOT 228006 SOS 32624 HAS SOPS 32624 HAS SOUS 30171 HAS SOUPS 30171 WITH SCORE 30203.624
AT ITER 6834 NEW BEST:: SOT 227994 SOS 32615 HAS SOPS 32615 HAS SOUS 30162 HAS SOUPS 30162 WITH SCORE 30194.615
AT ITER 6884 NEW BEST:: SOT 227994 SOS 32603 HAS SOPS 32603 HAS SOUS 30150 HAS SOUPS 30150 WITH SCORE 30182.603
AT ITER 6925 NEW BEST:: SOT 227994 SOS 32605 HAS SOPS 32605 HAS SOUS 30143 HAS SOUPS 30143 WITH SCORE 30175.605
AT ITER 6932 NEW BEST:: SOT 227985 SOS 32590 HAS SOPS 32590 HAS SOUS 30128 HAS SOUPS 30128 WITH SCORE 30160.59
AT ITER 6945 NEW BEST:: SOT 228010 SOS 32659 HAS SOPS 32659 HAS SOUS 30116 HAS SOUPS 30116 WITH SCORE 30148.659
AT ITER 7003 NEW BEST:: SOT 228010 SOS 32673 HAS SOPS 32673 HAS SOUS 30073 HAS SOUPS 30073 WITH SCORE 30105.673
AT ITER 7038 NEW BEST:: SOT 228010 SOS 32658 HAS SOPS 32658 HAS SOUS 30071 HAS SOUPS 30071 WITH SCORE 30103.658
AT ITER 7051 NEW BEST:: SOT 228010 SOS 32656 HAS SOPS 32656 HAS SOUS 30070 HAS SOUPS 30070 WITH SCORE 30102.656
AT ITER 7066 NEW BEST:: SOT 227984 SOS 32628 HAS SOPS 32628 HAS SOUS 30042 HAS SOUPS 30042 WITH SCORE 30074.628
AT ITER 7072 NEW BEST:: SOT 227981 SOS 32625 HAS SOPS 32625 HAS SOUS 30039 HAS SOUPS 30039 WITH SCORE 30071.625
AT ITER 7084 NEW BEST:: SOT 227970 SOS 32603 HAS SOPS 32603 HAS SOUS 30017 HAS SOUPS 30017 WITH SCORE 30049.603
AT ITER 7166 NEW BEST:: SOT 227956 SOS 32598 HAS SOPS 32598 HAS SOUS 30012 HAS SOUPS 30012 WITH SCORE 30044.598
AT ITER 7197 NEW BEST:: SOT 227956 SOS 32587 HAS SOPS 32587 HAS SOUS 30012 HAS SOUPS 30012 WITH SCORE 30044.587
AT ITER 7206 NEW BEST:: SOT 227929 SOS 32610 HAS SOPS 32610 HAS SOUS 30001 HAS SOUPS 30001 WITH SCORE 30033.61
AT ITER 7208 NEW BEST:: SOT 227935 SOS 32627 HAS SOPS 32627 HAS SOUS 29976 HAS SOUPS 29976 WITH SCORE 30008.627
AT ITER 7250 NEW BEST:: SOT 227924 SOS 32607 HAS SOPS 32607 HAS SOUS 29956 HAS SOUPS 29956 WITH SCORE 29988.607
AT ITER 7312 NEW BEST:: SOT 227906 SOS 32579 HAS SOPS 32579 HAS SOUS 29928 HAS SOUPS 29928 WITH SCORE 29960.579
AT ITER 7317 NEW BEST:: SOT 227906 SOS 32579 HAS SOPS 32579 HAS SOUS 29926 HAS SOUPS 29926 WITH SCORE 29958.579
AT ITER 7332 NEW BEST:: SOT 227906 SOS 32576 HAS SOPS 32576 HAS SOUS 29923 HAS SOUPS 29923 WITH SCORE 29955.576
AT ITER 7463 NEW BEST:: SOT 227906 SOS 32575 HAS SOPS 32575 HAS SOUS 29897 HAS SOUPS 29897 WITH SCORE 29929.575
AT ITER 7476 NEW BEST:: SOT 227901 SOS 32560 HAS SOPS 32560 HAS SOUS 29887 HAS SOUPS 29887 WITH SCORE 29919.56
AT ITER 7516 NEW BEST:: SOT 227898 SOS 32559 HAS SOPS 32559 HAS SOUS 29886 HAS SOUPS 29886 WITH SCORE 29918.559
AT ITER 7520 NEW BEST:: SOT 227871 SOS 32478 HAS SOPS 32478 HAS SOUS 29805 HAS SOUPS 29805 WITH SCORE 29837.478
AT ITER 7527 NEW BEST:: SOT 227871 SOS 32465 HAS SOPS 32465 HAS SOUS 29792 HAS SOUPS 29792 WITH SCORE 29824.465
AT ITER 7574 NEW BEST:: SOT 227866 SOS 32462 HAS SOPS 32462 HAS SOUS 29788 HAS SOUPS 29788 WITH SCORE 29820.462
AT ITER 7631 NEW BEST:: SOT 227870 SOS 32450 HAS SOPS 32450 HAS SOUS 29787 HAS SOUPS 29787 WITH SCORE 29819.45
AT ITER 7636 NEW BEST:: SOT 227910 SOS 32412 HAS SOPS 32412 HAS SOUS 29740 HAS SOUPS 29740 WITH SCORE 29772.412
AT ITER 7647 NEW BEST:: SOT 227894 SOS 32377 HAS SOPS 32377 HAS SOUS 29734 HAS SOUPS 29734 WITH SCORE 29766.377
AT ITER 7655 NEW BEST:: SOT 227897 SOS 32347 HAS SOPS 32347 HAS SOUS 29729 HAS SOUPS 29729 WITH SCORE 29761.347
AT ITER 7668 NEW BEST:: SOT 227927 SOS 32391 HAS SOPS 32391 HAS SOUS 29701 HAS SOUPS 29701 WITH SCORE 29733.391
AT ITER 7683 NEW BEST:: SOT 227914 SOS 32378 HAS SOPS 32378 HAS SOUS 29688 HAS SOUPS 29688 WITH SCORE 29720.378
AT ITER 7708 NEW BEST:: SOT 227908 SOS 32372 HAS SOPS 32372 HAS SOUS 29682 HAS SOUPS 29682 WITH SCORE 29714.372
AT ITER 7801 NEW BEST:: SOT 227908 SOS 32372 HAS SOPS 32372 HAS SOUS 29672 HAS SOUPS 29672 WITH SCORE 29704.372
AT ITER 7829 NEW BEST:: SOT 227904 SOS 32364 HAS SOPS 32364 HAS SOUS 29664 HAS SOUPS 29664 WITH SCORE 29696.364
AT ITER 7871 NEW BEST:: SOT 227902 SOS 32360 HAS SOPS 32360 HAS SOUS 29662 HAS SOUPS 29662 WITH SCORE 29694.36
AT ITER 7931 NEW BEST:: SOT 227904 SOS 32381 HAS SOPS 32381 HAS SOUS 29659 HAS SOUPS 29659 WITH SCORE 29691.381
AT ITER 7978 NEW BEST:: SOT 227894 SOS 32361 HAS SOPS 32361 HAS SOUS 29649 HAS SOUPS 29649 WITH SCORE 29681.361
AT ITER 8078 NEW BEST:: SOT 227889 SOS 32356 HAS SOPS 32356 HAS SOUS 29644 HAS SOUPS 29644 WITH SCORE 29676.356
AT ITER 8079 NEW BEST:: SOT 227853 SOS 32324 HAS SOPS 32324 HAS SOUS 29612 HAS SOUPS 29612 WITH SCORE 29644.324
AT ITER 8100 NEW BEST:: SOT 227848 SOS 32304 HAS SOPS 32304 HAS SOUS 29612 HAS SOUPS 29612 WITH SCORE 29644.304
AT ITER 8111 NEW BEST:: SOT 227836 SOS 32274 HAS SOPS 32274 HAS SOUS 29582 HAS SOUPS 29582 WITH SCORE 29614.274
AT ITER 8118 NEW BEST:: SOT 227836 SOS 32273 HAS SOPS 32273 HAS SOUS 29581 HAS SOUPS 29581 WITH SCORE 29613.273
AT ITER 8212 NEW BEST:: SOT 227824 SOS 32249 HAS SOPS 32249 HAS SOUS 29569 HAS SOUPS 29569 WITH SCORE 29601.249
AT ITER 8275 NEW BEST:: SOT 227817 SOS 32248 HAS SOPS 32248 HAS SOUS 29568 HAS SOUPS 29568 WITH SCORE 29600.248
AT ITER 8291 NEW BEST:: SOT 227817 SOS 32247 HAS SOPS 32247 HAS SOUS 29567 HAS SOUPS 29567 WITH SCORE 29599.247
AT ITER 8314 NEW BEST:: SOT 227820 SOS 32240 HAS SOPS 32240 HAS SOUS 29535 HAS SOUPS 29535 WITH SCORE 29567.24
AT ITER 8376 NEW BEST:: SOT 227818 SOS 32238 HAS SOPS 32238 HAS SOUS 29533 HAS SOUPS 29533 WITH SCORE 29565.238
AT ITER 8406 NEW BEST:: SOT 227815 SOS 32238 HAS SOPS 32238 HAS SOUS 29530 HAS SOUPS 29530 WITH SCORE 29562.238
AT ITER 8430 NEW BEST:: SOT 227812 SOS 32203 HAS SOPS 32203 HAS SOUS 29527 HAS SOUPS 29527 WITH SCORE 29559.203
AT ITER 8544 NEW BEST:: SOT 227825 SOS 32203 HAS SOPS 32203 HAS SOUS 29523 HAS SOUPS 29523 WITH SCORE 29555.203
AT ITER 8553 NEW BEST:: SOT 227811 SOS 32161 HAS SOPS 32161 HAS SOUS 29495 HAS SOUPS 29495 WITH SCORE 29527.161
AT ITER 8601 NEW BEST:: SOT 227789 SOS 32121 HAS SOPS 32121 HAS SOUS 29444 HAS SOUPS 29444 WITH SCORE 29476.121
AT ITER 8604 NEW BEST:: SOT 227799 SOS 32123 HAS SOPS 32123 HAS SOUS 29436 HAS SOUPS 29436 WITH SCORE 29468.123
AT ITER 8669 NEW BEST:: SOT 227789 SOS 32108 HAS SOPS 32108 HAS SOUS 29426 HAS SOUPS 29426 WITH SCORE 29458.108
AT ITER 8831 NEW BEST:: SOT 227775 SOS 32094 HAS SOPS 32094 HAS SOUS 29412 HAS SOUPS 29412 WITH SCORE 29444.094
AT ITER 8853 NEW BEST:: SOT 227775 SOS 32093 HAS SOPS 32093 HAS SOUS 29412 HAS SOUPS 29412 WITH SCORE 29444.093
AT ITER 8864 NEW BEST:: SOT 227756 SOS 32080 HAS SOPS 32080 HAS SOUS 29399 HAS SOUPS 29399 WITH SCORE 29431.08
AT ITER 8872 NEW BEST:: SOT 227755 SOS 32081 HAS SOPS 32081 HAS SOUS 29398 HAS SOUPS 29398 WITH SCORE 29430.081
AT ITER 8921 NEW BEST:: SOT 227709 SOS 32051 HAS SOPS 32051 HAS SOUS 29368 HAS SOUPS 29368 WITH SCORE 29400.051
AT ITER 9019 NEW BEST:: SOT 227709 SOS 32046 HAS SOPS 32046 HAS SOUS 29368 HAS SOUPS 29368 WITH SCORE 29400.046
AT ITER 9028 NEW BEST:: SOT 227683 SOS 31997 HAS SOPS 31997 HAS SOUS 29361 HAS SOUPS 29361 WITH SCORE 29392.997
AT ITER 9061 NEW BEST:: SOT 227677 SOS 31973 HAS SOPS 31973 HAS SOUS 29350 HAS SOUPS 29350 WITH SCORE 29381.973
AT ITER 9139 NEW BEST:: SOT 227651 SOS 31915 HAS SOPS 31915 HAS SOUS 29292 HAS SOUPS 29292 WITH SCORE 29323.915
AT ITER 9204 NEW BEST:: SOT 227642 SOS 31906 HAS SOPS 31906 HAS SOUS 29283 HAS SOUPS 29283 WITH SCORE 29314.906
AT ITER 9332 NEW BEST:: SOT 227642 SOS 31895 HAS SOPS 31895 HAS SOUS 29272 HAS SOUPS 29272 WITH SCORE 29303.895
AT ITER 9442 NEW BEST:: SOT 227642 SOS 31946 HAS SOPS 31946 HAS SOUS 29257 HAS SOUPS 29257 WITH SCORE 29288.946
AT ITER 9480 NEW BEST:: SOT 227625 SOS 31929 HAS SOPS 31929 HAS SOUS 29240 HAS SOUPS 29240 WITH SCORE 29271.929
AT ITER 9489 NEW BEST:: SOT 227613 SOS 31917 HAS SOPS 31917 HAS SOUS 29228 HAS SOUPS 29228 WITH SCORE 29259.917
AT ITER 9585 NEW BEST:: SOT 227608 SOS 31905 HAS SOPS 31905 HAS SOUS 29216 HAS SOUPS 29216 WITH SCORE 29247.905
AT ITER 9648 NEW BEST:: SOT 227600 SOS 31908 HAS SOPS 31908 HAS SOUS 29208 HAS SOUPS 29208 WITH SCORE 29239.908
AT ITER 9685 NEW BEST:: SOT 227496 SOS 31889 HAS SOPS 31889 HAS SOUS 29168 HAS SOUPS 29168 WITH SCORE 29199.889
AT ITER 9728 NEW BEST:: SOT 227478 SOS 31888 HAS SOPS 31888 HAS SOUS 29167 HAS SOUPS 29167 WITH SCORE 29198.888
AT ITER 9757 NEW BEST:: SOT 227478 SOS 31882 HAS SOPS 31882 HAS SOUS 29161 HAS SOUPS 29161 WITH SCORE 29192.882
AT ITER 9808 NEW BEST:: SOT 227478 SOS 31878 HAS SOPS 31878 HAS SOUS 29157 HAS SOUPS 29157 WITH SCORE 29188.878
AT ITER 9811 NEW BEST:: SOT 227476 SOS 31876 HAS SOPS 31876 HAS SOUS 29155 HAS SOUPS 29155 WITH SCORE 29186.876
AT ITER 9846 NEW BEST:: SOT 227484 SOS 31875 HAS SOPS 31875 HAS SOUS 29148 HAS SOUPS 29148 WITH SCORE 29179.875
AT ITER 9868 NEW BEST:: SOT 227467 SOS 31841 HAS SOPS 31841 HAS SOUS 29131 HAS SOUPS 29131 WITH SCORE 29162.841
AT ITER 9888 NEW BEST:: SOT 227455 SOS 31824 HAS SOPS 31824 HAS SOUS 29114 HAS SOUPS 29114 WITH SCORE 29145.824
AT ITER 9921 NEW BEST:: SOT 227430 SOS 31828 HAS SOPS 31828 HAS SOUS 29108 HAS SOUPS 29108 WITH SCORE 29139.828
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 5937544 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16123720 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="ShieldPPPs-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 ShieldPPPs-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-167903718800448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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