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-167903719000624.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 ShieldPPPt-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-167903719000624
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 572K
-rw-r--r-- 1 mcc users 6.0K Feb 25 21:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 21:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 21:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 21:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 17:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 17:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 21:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 116K Feb 25 21:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 21:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 34K Feb 25 21:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:00 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 185K 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 1679574250748

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=ShieldPPPt-PT-010B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 12:24:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 12:24:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 12:24:13] [INFO ] Load time of PNML (sax parser for PT used): 78 ms
[2023-03-23 12:24:13] [INFO ] Transformed 783 places.
[2023-03-23 12:24:13] [INFO ] Transformed 713 transitions.
[2023-03-23 12:24:13] [INFO ] Found NUPN structural information;
[2023-03-23 12:24:13] [INFO ] Parsed PT model containing 783 places and 713 transitions and 1786 arcs in 152 ms.
[2023-03-23 12:24:13] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 783 places, 713 transitions and 1786 arcs took 6 ms.
Total runtime 192 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (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: 783 places, 713 transitions, 1786 arcs.
AT ITER 0 NEW BEST:: SOT 296304 SOS 49797 HAS SOPS 49797 HAS SOUS 46379 HAS SOUPS 46379 WITH SCORE 46428.797
AT ITER 15 NEW BEST:: SOT 296248 SOS 49649 HAS SOPS 49649 HAS SOUS 46204 HAS SOUPS 46204 WITH SCORE 46253.649
AT ITER 26 NEW BEST:: SOT 296248 SOS 49639 HAS SOPS 49639 HAS SOUS 46194 HAS SOUPS 46194 WITH SCORE 46243.639
AT ITER 33 NEW BEST:: SOT 296248 SOS 49638 HAS SOPS 49638 HAS SOUS 46193 HAS SOUPS 46193 WITH SCORE 46242.638
AT ITER 69 NEW BEST:: SOT 296205 SOS 49637 HAS SOPS 49637 HAS SOUS 46192 HAS SOUPS 46192 WITH SCORE 46241.637
AT ITER 79 NEW BEST:: SOT 296196 SOS 49651 HAS SOPS 49651 HAS SOUS 46162 HAS SOUPS 46162 WITH SCORE 46211.651
AT ITER 81 NEW BEST:: SOT 296178 SOS 49649 HAS SOPS 49649 HAS SOUS 46162 HAS SOUPS 46162 WITH SCORE 46211.649
AT ITER 101 NEW BEST:: SOT 296144 SOS 49612 HAS SOPS 49612 HAS SOUS 46159 HAS SOUPS 46159 WITH SCORE 46208.612
AT ITER 110 NEW BEST:: SOT 296026 SOS 49358 HAS SOPS 49358 HAS SOUS 45951 HAS SOUPS 45951 WITH SCORE 46000.358
AT ITER 115 NEW BEST:: SOT 296017 SOS 49340 HAS SOPS 49340 HAS SOUS 45933 HAS SOUPS 45933 WITH SCORE 45982.34
AT ITER 127 NEW BEST:: SOT 296014 SOS 49334 HAS SOPS 49334 HAS SOUS 45927 HAS SOUPS 45927 WITH SCORE 45976.334
AT ITER 148 NEW BEST:: SOT 296000 SOS 49320 HAS SOPS 49320 HAS SOUS 45899 HAS SOUPS 45899 WITH SCORE 45948.32
AT ITER 204 NEW BEST:: SOT 296010 SOS 49306 HAS SOPS 49306 HAS SOUS 45885 HAS SOUPS 45885 WITH SCORE 45934.306
AT ITER 205 NEW BEST:: SOT 296010 SOS 49306 HAS SOPS 49306 HAS SOUS 45833 HAS SOUPS 45833 WITH SCORE 45882.306
AT ITER 213 NEW BEST:: SOT 295986 SOS 49306 HAS SOPS 49306 HAS SOUS 45809 HAS SOUPS 45809 WITH SCORE 45858.306
AT ITER 217 NEW BEST:: SOT 295986 SOS 49301 HAS SOPS 49301 HAS SOUS 45804 HAS SOUPS 45804 WITH SCORE 45853.301
AT ITER 232 NEW BEST:: SOT 295986 SOS 49301 HAS SOPS 49301 HAS SOUS 45750 HAS SOUPS 45750 WITH SCORE 45799.301
AT ITER 248 NEW BEST:: SOT 295939 SOS 49207 HAS SOPS 49207 HAS SOUS 45643 HAS SOUPS 45643 WITH SCORE 45692.207
AT ITER 263 NEW BEST:: SOT 295981 SOS 49193 HAS SOPS 49193 HAS SOUS 45592 HAS SOUPS 45592 WITH SCORE 45641.193
AT ITER 273 NEW BEST:: SOT 295981 SOS 49188 HAS SOPS 49188 HAS SOUS 45587 HAS SOUPS 45587 WITH SCORE 45636.188
AT ITER 275 NEW BEST:: SOT 295896 SOS 49072 HAS SOPS 49072 HAS SOUS 45502 HAS SOUPS 45502 WITH SCORE 45551.072
AT ITER 319 NEW BEST:: SOT 295896 SOS 49071 HAS SOPS 49071 HAS SOUS 45501 HAS SOUPS 45501 WITH SCORE 45550.071
AT ITER 320 NEW BEST:: SOT 295922 SOS 49061 HAS SOPS 49061 HAS SOUS 45494 HAS SOUPS 45494 WITH SCORE 45543.061
AT ITER 338 NEW BEST:: SOT 295932 SOS 49005 HAS SOPS 49005 HAS SOUS 45465 HAS SOUPS 45465 WITH SCORE 45514.005
AT ITER 376 NEW BEST:: SOT 295797 SOS 48830 HAS SOPS 48830 HAS SOUS 45284 HAS SOUPS 45284 WITH SCORE 45332.83
AT ITER 395 NEW BEST:: SOT 295742 SOS 48686 HAS SOPS 48686 HAS SOUS 45158 HAS SOUPS 45158 WITH SCORE 45206.686
AT ITER 405 NEW BEST:: SOT 295742 SOS 48673 HAS SOPS 48673 HAS SOUS 45145 HAS SOUPS 45145 WITH SCORE 45193.673
AT ITER 414 NEW BEST:: SOT 295742 SOS 48672 HAS SOPS 48672 HAS SOUS 45144 HAS SOUPS 45144 WITH SCORE 45192.672
AT ITER 468 NEW BEST:: SOT 295741 SOS 48630 HAS SOPS 48630 HAS SOUS 45102 HAS SOUPS 45102 WITH SCORE 45150.63
AT ITER 475 NEW BEST:: SOT 295719 SOS 48578 HAS SOPS 48578 HAS SOUS 45050 HAS SOUPS 45050 WITH SCORE 45098.578
AT ITER 509 NEW BEST:: SOT 295715 SOS 48574 HAS SOPS 48574 HAS SOUS 45046 HAS SOUPS 45046 WITH SCORE 45094.574
AT ITER 512 NEW BEST:: SOT 295689 SOS 48524 HAS SOPS 48524 HAS SOUS 45040 HAS SOUPS 45040 WITH SCORE 45088.524
AT ITER 518 NEW BEST:: SOT 295689 SOS 48523 HAS SOPS 48523 HAS SOUS 45039 HAS SOUPS 45039 WITH SCORE 45087.523
AT ITER 570 NEW BEST:: SOT 295677 SOS 48510 HAS SOPS 48510 HAS SOUS 45026 HAS SOUPS 45026 WITH SCORE 45074.51
AT ITER 588 NEW BEST:: SOT 295671 SOS 48498 HAS SOPS 48498 HAS SOUS 45020 HAS SOUPS 45020 WITH SCORE 45068.498
AT ITER 597 NEW BEST:: SOT 295671 SOS 48381 HAS SOPS 48381 HAS SOUS 44967 HAS SOUPS 44967 WITH SCORE 45015.381
AT ITER 630 NEW BEST:: SOT 295685 SOS 48409 HAS SOPS 48409 HAS SOUS 44944 HAS SOUPS 44944 WITH SCORE 44992.409
AT ITER 654 NEW BEST:: SOT 295651 SOS 48383 HAS SOPS 48383 HAS SOUS 44918 HAS SOUPS 44918 WITH SCORE 44966.383
AT ITER 724 NEW BEST:: SOT 295638 SOS 48302 HAS SOPS 48302 HAS SOUS 44910 HAS SOUPS 44910 WITH SCORE 44958.302
AT ITER 744 NEW BEST:: SOT 295617 SOS 48281 HAS SOPS 48281 HAS SOUS 44910 HAS SOUPS 44910 WITH SCORE 44958.281
AT ITER 778 NEW BEST:: SOT 295603 SOS 48280 HAS SOPS 48280 HAS SOUS 44909 HAS SOUPS 44909 WITH SCORE 44957.28
AT ITER 780 NEW BEST:: SOT 295602 SOS 48233 HAS SOPS 48233 HAS SOUS 44906 HAS SOUPS 44906 WITH SCORE 44954.233
AT ITER 783 NEW BEST:: SOT 295602 SOS 48227 HAS SOPS 48227 HAS SOUS 44900 HAS SOUPS 44900 WITH SCORE 44948.227
AT ITER 804 NEW BEST:: SOT 295543 SOS 48109 HAS SOPS 48109 HAS SOUS 44782 HAS SOUPS 44782 WITH SCORE 44830.109
AT ITER 830 NEW BEST:: SOT 295469 SOS 48097 HAS SOPS 48097 HAS SOUS 44767 HAS SOUPS 44767 WITH SCORE 44815.097
AT ITER 856 NEW BEST:: SOT 295452 SOS 48080 HAS SOPS 48080 HAS SOUS 44750 HAS SOUPS 44750 WITH SCORE 44798.08
AT ITER 879 NEW BEST:: SOT 295385 SOS 48118 HAS SOPS 48118 HAS SOUS 44725 HAS SOUPS 44725 WITH SCORE 44773.118
AT ITER 922 NEW BEST:: SOT 295384 SOS 48110 HAS SOPS 48110 HAS SOUS 44723 HAS SOUPS 44723 WITH SCORE 44771.11
AT ITER 937 NEW BEST:: SOT 295361 SOS 48096 HAS SOPS 48096 HAS SOUS 44709 HAS SOUPS 44709 WITH SCORE 44757.096
AT ITER 953 NEW BEST:: SOT 295361 SOS 48089 HAS SOPS 48089 HAS SOUS 44702 HAS SOUPS 44702 WITH SCORE 44750.089
AT ITER 962 NEW BEST:: SOT 295334 SOS 48090 HAS SOPS 48090 HAS SOUS 44678 HAS SOUPS 44678 WITH SCORE 44726.09
AT ITER 1001 NEW BEST:: SOT 295338 SOS 48060 HAS SOPS 48060 HAS SOUS 44555 HAS SOUPS 44555 WITH SCORE 44603.06
AT ITER 1005 NEW BEST:: SOT 295321 SOS 48023 HAS SOPS 48023 HAS SOUS 44541 HAS SOUPS 44541 WITH SCORE 44589.023
AT ITER 1029 NEW BEST:: SOT 295272 SOS 48029 HAS SOPS 48029 HAS SOUS 44525 HAS SOUPS 44525 WITH SCORE 44573.029
AT ITER 1043 NEW BEST:: SOT 295272 SOS 48020 HAS SOPS 48020 HAS SOUS 44516 HAS SOUPS 44516 WITH SCORE 44564.02
AT ITER 1056 NEW BEST:: SOT 295262 SOS 48010 HAS SOPS 48010 HAS SOUS 44506 HAS SOUPS 44506 WITH SCORE 44554.01
AT ITER 1100 NEW BEST:: SOT 295203 SOS 48018 HAS SOPS 48018 HAS SOUS 44493 HAS SOUPS 44493 WITH SCORE 44541.018
AT ITER 1118 NEW BEST:: SOT 295203 SOS 48010 HAS SOPS 48010 HAS SOUS 44485 HAS SOUPS 44485 WITH SCORE 44533.01
AT ITER 1134 NEW BEST:: SOT 295195 SOS 48280 HAS SOPS 48280 HAS SOUS 44455 HAS SOUPS 44455 WITH SCORE 44503.28
AT ITER 1154 NEW BEST:: SOT 295161 SOS 48246 HAS SOPS 48246 HAS SOUS 44421 HAS SOUPS 44421 WITH SCORE 44469.246
AT ITER 1178 NEW BEST:: SOT 295154 SOS 48225 HAS SOPS 48225 HAS SOUS 44407 HAS SOUPS 44407 WITH SCORE 44455.225
AT ITER 1209 NEW BEST:: SOT 295150 SOS 48217 HAS SOPS 48217 HAS SOUS 44399 HAS SOUPS 44399 WITH SCORE 44447.217
AT ITER 1270 NEW BEST:: SOT 295135 SOS 48208 HAS SOPS 48208 HAS SOUS 44390 HAS SOUPS 44390 WITH SCORE 44438.208
AT ITER 1272 NEW BEST:: SOT 295088 SOS 48089 HAS SOPS 48089 HAS SOUS 44356 HAS SOUPS 44356 WITH SCORE 44404.089
AT ITER 1343 NEW BEST:: SOT 295041 SOS 48058 HAS SOPS 48058 HAS SOUS 44313 HAS SOUPS 44313 WITH SCORE 44361.058
AT ITER 1348 NEW BEST:: SOT 295101 SOS 48035 HAS SOPS 48035 HAS SOUS 44290 HAS SOUPS 44290 WITH SCORE 44338.035
AT ITER 1361 NEW BEST:: SOT 295101 SOS 48031 HAS SOPS 48031 HAS SOUS 44286 HAS SOUPS 44286 WITH SCORE 44334.031
AT ITER 1407 NEW BEST:: SOT 295081 SOS 48011 HAS SOPS 48011 HAS SOUS 44266 HAS SOUPS 44266 WITH SCORE 44314.011
AT ITER 1470 NEW BEST:: SOT 295081 SOS 48011 HAS SOPS 48011 HAS SOUS 44260 HAS SOUPS 44260 WITH SCORE 44308.011
AT ITER 1474 NEW BEST:: SOT 295106 SOS 47875 HAS SOPS 47875 HAS SOUS 44242 HAS SOUPS 44242 WITH SCORE 44289.875
AT ITER 1482 NEW BEST:: SOT 295082 SOS 47865 HAS SOPS 47865 HAS SOUS 44218 HAS SOUPS 44218 WITH SCORE 44265.865
AT ITER 1493 NEW BEST:: SOT 295069 SOS 47858 HAS SOPS 47858 HAS SOUS 44211 HAS SOUPS 44211 WITH SCORE 44258.858
AT ITER 1499 NEW BEST:: SOT 295068 SOS 47857 HAS SOPS 47857 HAS SOUS 44210 HAS SOUPS 44210 WITH SCORE 44257.857
AT ITER 1508 NEW BEST:: SOT 295066 SOS 47854 HAS SOPS 47854 HAS SOUS 44208 HAS SOUPS 44208 WITH SCORE 44255.854
AT ITER 1523 NEW BEST:: SOT 295055 SOS 47849 HAS SOPS 47849 HAS SOUS 44198 HAS SOUPS 44198 WITH SCORE 44245.849
AT ITER 1584 NEW BEST:: SOT 295000 SOS 47765 HAS SOPS 47765 HAS SOUS 44114 HAS SOUPS 44114 WITH SCORE 44161.765
AT ITER 1591 NEW BEST:: SOT 294970 SOS 47759 HAS SOPS 47759 HAS SOUS 44108 HAS SOUPS 44108 WITH SCORE 44155.759
AT ITER 1592 NEW BEST:: SOT 294907 SOS 47696 HAS SOPS 47696 HAS SOUS 44045 HAS SOUPS 44045 WITH SCORE 44092.696
AT ITER 1599 NEW BEST:: SOT 294899 SOS 47687 HAS SOPS 47687 HAS SOUS 44036 HAS SOUPS 44036 WITH SCORE 44083.687
AT ITER 1621 NEW BEST:: SOT 294893 SOS 47684 HAS SOPS 47684 HAS SOUS 44033 HAS SOUPS 44033 WITH SCORE 44080.684
AT ITER 1627 NEW BEST:: SOT 294893 SOS 47681 HAS SOPS 47681 HAS SOUS 44030 HAS SOUPS 44030 WITH SCORE 44077.681
AT ITER 1644 NEW BEST:: SOT 294893 SOS 47676 HAS SOPS 47676 HAS SOUS 44025 HAS SOUPS 44025 WITH SCORE 44072.676
AT ITER 1665 NEW BEST:: SOT 294823 SOS 47536 HAS SOPS 47536 HAS SOUS 43990 HAS SOUPS 43990 WITH SCORE 44037.536
AT ITER 1666 NEW BEST:: SOT 294823 SOS 47530 HAS SOPS 47530 HAS SOUS 43984 HAS SOUPS 43984 WITH SCORE 44031.53
AT ITER 1668 NEW BEST:: SOT 294809 SOS 47483 HAS SOPS 47483 HAS SOUS 43937 HAS SOUPS 43937 WITH SCORE 43984.483
AT ITER 1686 NEW BEST:: SOT 294808 SOS 47464 HAS SOPS 47464 HAS SOUS 43935 HAS SOUPS 43935 WITH SCORE 43982.464
AT ITER 1710 NEW BEST:: SOT 294808 SOS 47464 HAS SOPS 47464 HAS SOUS 43932 HAS SOUPS 43932 WITH SCORE 43979.464
AT ITER 1744 NEW BEST:: SOT 294763 SOS 47284 HAS SOPS 47284 HAS SOUS 43797 HAS SOUPS 43797 WITH SCORE 43844.284
AT ITER 1770 NEW BEST:: SOT 294763 SOS 47283 HAS SOPS 47283 HAS SOUS 43796 HAS SOUPS 43796 WITH SCORE 43843.283
AT ITER 1787 NEW BEST:: SOT 294731 SOS 47282 HAS SOPS 47282 HAS SOUS 43795 HAS SOUPS 43795 WITH SCORE 43842.282
AT ITER 1812 NEW BEST:: SOT 294731 SOS 47266 HAS SOPS 47266 HAS SOUS 43779 HAS SOUPS 43779 WITH SCORE 43826.266
AT ITER 1828 NEW BEST:: SOT 294720 SOS 47244 HAS SOPS 47244 HAS SOUS 43688 HAS SOUPS 43688 WITH SCORE 43735.244
AT ITER 1838 NEW BEST:: SOT 294720 SOS 47179 HAS SOPS 47179 HAS SOUS 43688 HAS SOUPS 43688 WITH SCORE 43735.179
AT ITER 1878 NEW BEST:: SOT 294751 SOS 47129 HAS SOPS 47129 HAS SOUS 43681 HAS SOUPS 43681 WITH SCORE 43728.129
AT ITER 1881 NEW BEST:: SOT 294723 SOS 47115 HAS SOPS 47115 HAS SOUS 43667 HAS SOUPS 43667 WITH SCORE 43714.115
AT ITER 1891 NEW BEST:: SOT 294698 SOS 47065 HAS SOPS 47065 HAS SOUS 43609 HAS SOUPS 43609 WITH SCORE 43656.065
AT ITER 1924 NEW BEST:: SOT 294735 SOS 47139 HAS SOPS 47139 HAS SOUS 43589 HAS SOUPS 43589 WITH SCORE 43636.139
AT ITER 1940 NEW BEST:: SOT 294732 SOS 47136 HAS SOPS 47136 HAS SOUS 43589 HAS SOUPS 43589 WITH SCORE 43636.136
AT ITER 1945 NEW BEST:: SOT 294732 SOS 47108 HAS SOPS 47108 HAS SOUS 43561 HAS SOUPS 43561 WITH SCORE 43608.108
AT ITER 1957 NEW BEST:: SOT 294734 SOS 47112 HAS SOPS 47112 HAS SOUS 43521 HAS SOUPS 43521 WITH SCORE 43568.112
AT ITER 2025 NEW BEST:: SOT 294734 SOS 47111 HAS SOPS 47111 HAS SOUS 43520 HAS SOUPS 43520 WITH SCORE 43567.111
AT ITER 2033 NEW BEST:: SOT 294707 SOS 47050 HAS SOPS 47050 HAS SOUS 43496 HAS SOUPS 43496 WITH SCORE 43543.05
AT ITER 2060 NEW BEST:: SOT 294707 SOS 47023 HAS SOPS 47023 HAS SOUS 43442 HAS SOUPS 43442 WITH SCORE 43489.023
AT ITER 2107 NEW BEST:: SOT 294682 SOS 47017 HAS SOPS 47017 HAS SOUS 43436 HAS SOUPS 43436 WITH SCORE 43483.017
AT ITER 2108 NEW BEST:: SOT 294682 SOS 47013 HAS SOPS 47013 HAS SOUS 43432 HAS SOUPS 43432 WITH SCORE 43479.013
AT ITER 2135 NEW BEST:: SOT 294712 SOS 46991 HAS SOPS 46991 HAS SOUS 43411 HAS SOUPS 43411 WITH SCORE 43457.991
AT ITER 2142 NEW BEST:: SOT 294725 SOS 47017 HAS SOPS 47017 HAS SOUS 43398 HAS SOUPS 43398 WITH SCORE 43445.017
AT ITER 2149 NEW BEST:: SOT 294687 SOS 47017 HAS SOPS 47017 HAS SOUS 43379 HAS SOUPS 43379 WITH SCORE 43426.017
AT ITER 2164 NEW BEST:: SOT 294687 SOS 46976 HAS SOPS 46976 HAS SOUS 43356 HAS SOUPS 43356 WITH SCORE 43402.976
AT ITER 2177 NEW BEST:: SOT 294686 SOS 46992 HAS SOPS 46992 HAS SOUS 43355 HAS SOUPS 43355 WITH SCORE 43401.992
AT ITER 2191 NEW BEST:: SOT 294686 SOS 46992 HAS SOPS 46992 HAS SOUS 43345 HAS SOUPS 43345 WITH SCORE 43391.992
AT ITER 2196 NEW BEST:: SOT 294670 SOS 46960 HAS SOPS 46960 HAS SOUS 43329 HAS SOUPS 43329 WITH SCORE 43375.96
AT ITER 2207 NEW BEST:: SOT 294618 SOS 46856 HAS SOPS 46856 HAS SOUS 43207 HAS SOUPS 43207 WITH SCORE 43253.856
AT ITER 2217 NEW BEST:: SOT 294614 SOS 46848 HAS SOPS 46848 HAS SOUS 43181 HAS SOUPS 43181 WITH SCORE 43227.848
AT ITER 2229 NEW BEST:: SOT 294631 SOS 46882 HAS SOPS 46882 HAS SOUS 43175 HAS SOUPS 43175 WITH SCORE 43221.882
AT ITER 2264 NEW BEST:: SOT 294631 SOS 46886 HAS SOPS 46886 HAS SOUS 43171 HAS SOUPS 43171 WITH SCORE 43217.886
AT ITER 2278 NEW BEST:: SOT 294621 SOS 46886 HAS SOPS 46886 HAS SOUS 43148 HAS SOUPS 43148 WITH SCORE 43194.886
AT ITER 2331 NEW BEST:: SOT 294621 SOS 46886 HAS SOPS 46886 HAS SOUS 43058 HAS SOUPS 43058 WITH SCORE 43104.886
AT ITER 2415 NEW BEST:: SOT 294621 SOS 46885 HAS SOPS 46885 HAS SOUS 43029 HAS SOUPS 43029 WITH SCORE 43075.885
AT ITER 2427 NEW BEST:: SOT 294599 SOS 46863 HAS SOPS 46863 HAS SOUS 43007 HAS SOUPS 43007 WITH SCORE 43053.863
AT ITER 2428 NEW BEST:: SOT 294611 SOS 46875 HAS SOPS 46875 HAS SOUS 42939 HAS SOUPS 42939 WITH SCORE 42985.875
AT ITER 2443 NEW BEST:: SOT 294584 SOS 46783 HAS SOPS 46783 HAS SOUS 42922 HAS SOUPS 42922 WITH SCORE 42968.783
AT ITER 2460 NEW BEST:: SOT 294584 SOS 46777 HAS SOPS 46777 HAS SOUS 42916 HAS SOUPS 42916 WITH SCORE 42962.777
AT ITER 2472 NEW BEST:: SOT 294584 SOS 46777 HAS SOPS 46777 HAS SOUS 42906 HAS SOUPS 42906 WITH SCORE 42952.777
AT ITER 2484 NEW BEST:: SOT 294568 SOS 46751 HAS SOPS 46751 HAS SOUS 42896 HAS SOUPS 42896 WITH SCORE 42942.751
AT ITER 2495 NEW BEST:: SOT 294542 SOS 46715 HAS SOPS 46715 HAS SOUS 42860 HAS SOUPS 42860 WITH SCORE 42906.715
AT ITER 2525 NEW BEST:: SOT 294542 SOS 46714 HAS SOPS 46714 HAS SOUS 42859 HAS SOUPS 42859 WITH SCORE 42905.714
AT ITER 2597 NEW BEST:: SOT 294537 SOS 46704 HAS SOPS 46704 HAS SOUS 42849 HAS SOUPS 42849 WITH SCORE 42895.704
AT ITER 2598 NEW BEST:: SOT 294541 SOS 46707 HAS SOPS 46707 HAS SOUS 42848 HAS SOUPS 42848 WITH SCORE 42894.707
AT ITER 2600 NEW BEST:: SOT 294515 SOS 46676 HAS SOPS 46676 HAS SOUS 42815 HAS SOUPS 42815 WITH SCORE 42861.676
AT ITER 2641 NEW BEST:: SOT 294513 SOS 46674 HAS SOPS 46674 HAS SOUS 42815 HAS SOUPS 42815 WITH SCORE 42861.674
AT ITER 2659 NEW BEST:: SOT 294513 SOS 46638 HAS SOPS 46638 HAS SOUS 42779 HAS SOUPS 42779 WITH SCORE 42825.638
AT ITER 2703 NEW BEST:: SOT 294516 SOS 46638 HAS SOPS 46638 HAS SOUS 42776 HAS SOUPS 42776 WITH SCORE 42822.638
AT ITER 2704 NEW BEST:: SOT 294464 SOS 46534 HAS SOPS 46534 HAS SOUS 42746 HAS SOUPS 42746 WITH SCORE 42792.534
AT ITER 2715 NEW BEST:: SOT 294463 SOS 46486 HAS SOPS 46486 HAS SOUS 42744 HAS SOUPS 42744 WITH SCORE 42790.486
AT ITER 2747 NEW BEST:: SOT 294467 SOS 46517 HAS SOPS 46517 HAS SOUS 42678 HAS SOUPS 42678 WITH SCORE 42724.517
AT ITER 2754 NEW BEST:: SOT 294466 SOS 46513 HAS SOPS 46513 HAS SOUS 42676 HAS SOUPS 42676 WITH SCORE 42722.513
AT ITER 2800 NEW BEST:: SOT 294466 SOS 46483 HAS SOPS 46483 HAS SOUS 42646 HAS SOUPS 42646 WITH SCORE 42692.483
AT ITER 2803 NEW BEST:: SOT 294458 SOS 46467 HAS SOPS 46467 HAS SOUS 42622 HAS SOUPS 42622 WITH SCORE 42668.467
AT ITER 2827 NEW BEST:: SOT 294469 SOS 46333 HAS SOPS 46333 HAS SOUS 42475 HAS SOUPS 42475 WITH SCORE 42521.333
AT ITER 2830 NEW BEST:: SOT 294468 SOS 46188 HAS SOPS 46188 HAS SOUS 42403 HAS SOUPS 42403 WITH SCORE 42449.188
AT ITER 2840 NEW BEST:: SOT 294445 SOS 46162 HAS SOPS 46162 HAS SOUS 42400 HAS SOUPS 42400 WITH SCORE 42446.162
AT ITER 2850 NEW BEST:: SOT 294440 SOS 46159 HAS SOPS 46159 HAS SOUS 42397 HAS SOUPS 42397 WITH SCORE 42443.159
AT ITER 2857 NEW BEST:: SOT 294405 SOS 46097 HAS SOPS 46097 HAS SOUS 42337 HAS SOUPS 42337 WITH SCORE 42383.097
AT ITER 2870 NEW BEST:: SOT 294371 SOS 46071 HAS SOPS 46071 HAS SOUS 42337 HAS SOUPS 42337 WITH SCORE 42383.071
AT ITER 2906 NEW BEST:: SOT 294370 SOS 46071 HAS SOPS 46071 HAS SOUS 42336 HAS SOUPS 42336 WITH SCORE 42382.071
AT ITER 2918 NEW BEST:: SOT 294320 SOS 46072 HAS SOPS 46072 HAS SOUS 42311 HAS SOUPS 42311 WITH SCORE 42357.072
AT ITER 2932 NEW BEST:: SOT 294320 SOS 46066 HAS SOPS 46066 HAS SOUS 42305 HAS SOUPS 42305 WITH SCORE 42351.066
AT ITER 2943 NEW BEST:: SOT 294320 SOS 46050 HAS SOPS 46050 HAS SOUS 42282 HAS SOUPS 42282 WITH SCORE 42328.05
AT ITER 2968 NEW BEST:: SOT 294342 SOS 46034 HAS SOPS 46034 HAS SOUS 42266 HAS SOUPS 42266 WITH SCORE 42312.034
AT ITER 2975 NEW BEST:: SOT 294342 SOS 46044 HAS SOPS 46044 HAS SOUS 42265 HAS SOUPS 42265 WITH SCORE 42311.044
AT ITER 2985 NEW BEST:: SOT 294340 SOS 46040 HAS SOPS 46040 HAS SOUS 42256 HAS SOUPS 42256 WITH SCORE 42302.04
AT ITER 2988 NEW BEST:: SOT 294340 SOS 46037 HAS SOPS 46037 HAS SOUS 42253 HAS SOUPS 42253 WITH SCORE 42299.037
AT ITER 3014 NEW BEST:: SOT 294314 SOS 46011 HAS SOPS 46011 HAS SOUS 42227 HAS SOUPS 42227 WITH SCORE 42273.011
AT ITER 3016 NEW BEST:: SOT 294314 SOS 46010 HAS SOPS 46010 HAS SOUS 42226 HAS SOUPS 42226 WITH SCORE 42272.01
AT ITER 3032 NEW BEST:: SOT 294322 SOS 46026 HAS SOPS 46026 HAS SOUS 42223 HAS SOUPS 42223 WITH SCORE 42269.026
AT ITER 3066 NEW BEST:: SOT 294223 SOS 46032 HAS SOPS 46032 HAS SOUS 42183 HAS SOUPS 42183 WITH SCORE 42229.032
AT ITER 3087 NEW BEST:: SOT 294223 SOS 46031 HAS SOPS 46031 HAS SOUS 42182 HAS SOUPS 42182 WITH SCORE 42228.031
AT ITER 3125 NEW BEST:: SOT 294223 SOS 45962 HAS SOPS 45962 HAS SOUS 42113 HAS SOUPS 42113 WITH SCORE 42158.962
AT ITER 3141 NEW BEST:: SOT 294220 SOS 45955 HAS SOPS 45955 HAS SOUS 42109 HAS SOUPS 42109 WITH SCORE 42154.955
AT ITER 3142 NEW BEST:: SOT 294209 SOS 45941 HAS SOPS 45941 HAS SOUS 42095 HAS SOUPS 42095 WITH SCORE 42140.941
AT ITER 3158 NEW BEST:: SOT 294209 SOS 45936 HAS SOPS 45936 HAS SOUS 42090 HAS SOUPS 42090 WITH SCORE 42135.936
AT ITER 3254 NEW BEST:: SOT 294209 SOS 45888 HAS SOPS 45888 HAS SOUS 42090 HAS SOUPS 42090 WITH SCORE 42135.888
AT ITER 3256 NEW BEST:: SOT 294186 SOS 45903 HAS SOPS 45903 HAS SOUS 42082 HAS SOUPS 42082 WITH SCORE 42127.903
AT ITER 3257 NEW BEST:: SOT 294199 SOS 45831 HAS SOPS 45831 HAS SOUS 42069 HAS SOUPS 42069 WITH SCORE 42114.831
AT ITER 3310 NEW BEST:: SOT 294198 SOS 45807 HAS SOPS 45807 HAS SOUS 42068 HAS SOUPS 42068 WITH SCORE 42113.807
AT ITER 3325 NEW BEST:: SOT 294185 SOS 45794 HAS SOPS 45794 HAS SOUS 42068 HAS SOUPS 42068 WITH SCORE 42113.794
AT ITER 3353 NEW BEST:: SOT 294184 SOS 45792 HAS SOPS 45792 HAS SOUS 42066 HAS SOUPS 42066 WITH SCORE 42111.792
AT ITER 3358 NEW BEST:: SOT 294184 SOS 45790 HAS SOPS 45790 HAS SOUS 42064 HAS SOUPS 42064 WITH SCORE 42109.79
AT ITER 3359 NEW BEST:: SOT 294181 SOS 45784 HAS SOPS 45784 HAS SOUS 42058 HAS SOUPS 42058 WITH SCORE 42103.784
AT ITER 3372 NEW BEST:: SOT 294180 SOS 45783 HAS SOPS 45783 HAS SOUS 42057 HAS SOUPS 42057 WITH SCORE 42102.783
AT ITER 3384 NEW BEST:: SOT 294180 SOS 45796 HAS SOPS 45796 HAS SOUS 42047 HAS SOUPS 42047 WITH SCORE 42092.796
AT ITER 3414 NEW BEST:: SOT 294179 SOS 45795 HAS SOPS 45795 HAS SOUS 42046 HAS SOUPS 42046 WITH SCORE 42091.795
AT ITER 3416 NEW BEST:: SOT 294179 SOS 45786 HAS SOPS 45786 HAS SOUS 42046 HAS SOUPS 42046 WITH SCORE 42091.786
AT ITER 3472 NEW BEST:: SOT 294179 SOS 45756 HAS SOPS 45756 HAS SOUS 42017 HAS SOUPS 42017 WITH SCORE 42062.756
AT ITER 3476 NEW BEST:: SOT 294179 SOS 45750 HAS SOPS 45750 HAS SOUS 42013 HAS SOUPS 42013 WITH SCORE 42058.75
AT ITER 3484 NEW BEST:: SOT 294179 SOS 45747 HAS SOPS 45747 HAS SOUS 42010 HAS SOUPS 42010 WITH SCORE 42055.747
AT ITER 3490 NEW BEST:: SOT 294179 SOS 45746 HAS SOPS 45746 HAS SOUS 42009 HAS SOUPS 42009 WITH SCORE 42054.746
AT ITER 3552 NEW BEST:: SOT 294147 SOS 45730 HAS SOPS 45730 HAS SOUS 41993 HAS SOUPS 41993 WITH SCORE 42038.73
AT ITER 3553 NEW BEST:: SOT 294147 SOS 45730 HAS SOPS 45730 HAS SOUS 41990 HAS SOUPS 41990 WITH SCORE 42035.73
AT ITER 3579 NEW BEST:: SOT 294098 SOS 45667 HAS SOPS 45667 HAS SOUS 41927 HAS SOUPS 41927 WITH SCORE 41972.667
AT ITER 3589 NEW BEST:: SOT 294035 SOS 45676 HAS SOPS 45676 HAS SOUS 41914 HAS SOUPS 41914 WITH SCORE 41959.676
AT ITER 3614 NEW BEST:: SOT 294026 SOS 45662 HAS SOPS 45662 HAS SOUS 41886 HAS SOUPS 41886 WITH SCORE 41931.662
AT ITER 3733 NEW BEST:: SOT 294029 SOS 45608 HAS SOPS 45608 HAS SOUS 41832 HAS SOUPS 41832 WITH SCORE 41877.608
AT ITER 3738 NEW BEST:: SOT 294004 SOS 45608 HAS SOPS 45608 HAS SOUS 41829 HAS SOUPS 41829 WITH SCORE 41874.608
AT ITER 3742 NEW BEST:: SOT 294004 SOS 45607 HAS SOPS 45607 HAS SOUS 41828 HAS SOUPS 41828 WITH SCORE 41873.607
AT ITER 3751 NEW BEST:: SOT 293991 SOS 45607 HAS SOPS 45607 HAS SOUS 41815 HAS SOUPS 41815 WITH SCORE 41860.607
AT ITER 3799 NEW BEST:: SOT 293981 SOS 45578 HAS SOPS 45578 HAS SOUS 41795 HAS SOUPS 41795 WITH SCORE 41840.578
AT ITER 3892 NEW BEST:: SOT 293980 SOS 45518 HAS SOPS 45518 HAS SOUS 41793 HAS SOUPS 41793 WITH SCORE 41838.518
AT ITER 3911 NEW BEST:: SOT 293990 SOS 45414 HAS SOPS 45414 HAS SOUS 41754 HAS SOUPS 41754 WITH SCORE 41799.414
AT ITER 3925 NEW BEST:: SOT 293987 SOS 45411 HAS SOPS 45411 HAS SOUS 41749 HAS SOUPS 41749 WITH SCORE 41794.411
AT ITER 3929 NEW BEST:: SOT 293991 SOS 45405 HAS SOPS 45405 HAS SOUS 41743 HAS SOUPS 41743 WITH SCORE 41788.405
AT ITER 3936 NEW BEST:: SOT 293987 SOS 45397 HAS SOPS 45397 HAS SOUS 41737 HAS SOUPS 41737 WITH SCORE 41782.397
AT ITER 3942 NEW BEST:: SOT 293987 SOS 45395 HAS SOPS 45395 HAS SOUS 41735 HAS SOUPS 41735 WITH SCORE 41780.395
AT ITER 3962 NEW BEST:: SOT 293987 SOS 45391 HAS SOPS 45391 HAS SOUS 41735 HAS SOUPS 41735 WITH SCORE 41780.391
AT ITER 3983 NEW BEST:: SOT 293951 SOS 45337 HAS SOPS 45337 HAS SOUS 41699 HAS SOUPS 41699 WITH SCORE 41744.337
AT ITER 4047 NEW BEST:: SOT 293942 SOS 45331 HAS SOPS 45331 HAS SOUS 41693 HAS SOUPS 41693 WITH SCORE 41738.331
AT ITER 4052 NEW BEST:: SOT 293942 SOS 45328 HAS SOPS 45328 HAS SOUS 41690 HAS SOUPS 41690 WITH SCORE 41735.328
AT ITER 4071 NEW BEST:: SOT 293985 SOS 45296 HAS SOPS 45296 HAS SOUS 41675 HAS SOUPS 41675 WITH SCORE 41720.296
AT ITER 4084 NEW BEST:: SOT 293985 SOS 45296 HAS SOPS 45296 HAS SOUS 41632 HAS SOUPS 41632 WITH SCORE 41677.296
AT ITER 4090 NEW BEST:: SOT 293962 SOS 45281 HAS SOPS 45281 HAS SOUS 41609 HAS SOUPS 41609 WITH SCORE 41654.281
AT ITER 4097 NEW BEST:: SOT 293916 SOS 45279 HAS SOPS 45279 HAS SOUS 41607 HAS SOUPS 41607 WITH SCORE 41652.279
AT ITER 4100 NEW BEST:: SOT 293876 SOS 45239 HAS SOPS 45239 HAS SOUS 41567 HAS SOUPS 41567 WITH SCORE 41612.239
AT ITER 4121 NEW BEST:: SOT 293875 SOS 45214 HAS SOPS 45214 HAS SOUS 41542 HAS SOUPS 41542 WITH SCORE 41587.214
AT ITER 4150 NEW BEST:: SOT 293875 SOS 45213 HAS SOPS 45213 HAS SOUS 41541 HAS SOUPS 41541 WITH SCORE 41586.213
AT ITER 4155 NEW BEST:: SOT 293875 SOS 45205 HAS SOPS 45205 HAS SOUS 41537 HAS SOUPS 41537 WITH SCORE 41582.205
AT ITER 4180 NEW BEST:: SOT 293863 SOS 45199 HAS SOPS 45199 HAS SOUS 41531 HAS SOUPS 41531 WITH SCORE 41576.199
AT ITER 4193 NEW BEST:: SOT 293863 SOS 45193 HAS SOPS 45193 HAS SOUS 41525 HAS SOUPS 41525 WITH SCORE 41570.193
AT ITER 4238 NEW BEST:: SOT 293860 SOS 45191 HAS SOPS 45191 HAS SOUS 41523 HAS SOUPS 41523 WITH SCORE 41568.191
AT ITER 4256 NEW BEST:: SOT 293860 SOS 45170 HAS SOPS 45170 HAS SOUS 41513 HAS SOUPS 41513 WITH SCORE 41558.17
AT ITER 4287 NEW BEST:: SOT 293859 SOS 45116 HAS SOPS 45116 HAS SOUS 41503 HAS SOUPS 41503 WITH SCORE 41548.116
AT ITER 4337 NEW BEST:: SOT 293841 SOS 44941 HAS SOPS 44941 HAS SOUS 41435 HAS SOUPS 41435 WITH SCORE 41479.941
AT ITER 4358 NEW BEST:: SOT 293841 SOS 44935 HAS SOPS 44935 HAS SOUS 41429 HAS SOUPS 41429 WITH SCORE 41473.935
AT ITER 4402 NEW BEST:: SOT 293817 SOS 44812 HAS SOPS 44812 HAS SOUS 41239 HAS SOUPS 41239 WITH SCORE 41283.812
AT ITER 4428 NEW BEST:: SOT 293816 SOS 44810 HAS SOPS 44810 HAS SOUS 41238 HAS SOUPS 41238 WITH SCORE 41282.81
AT ITER 4500 NEW BEST:: SOT 293810 SOS 44792 HAS SOPS 44792 HAS SOUS 41220 HAS SOUPS 41220 WITH SCORE 41264.792
AT ITER 4511 NEW BEST:: SOT 293859 SOS 44761 HAS SOPS 44761 HAS SOUS 41174 HAS SOUPS 41174 WITH SCORE 41218.761
AT ITER 4514 NEW BEST:: SOT 293836 SOS 44691 HAS SOPS 44691 HAS SOUS 41141 HAS SOUPS 41141 WITH SCORE 41185.691
AT ITER 4530 NEW BEST:: SOT 293836 SOS 44682 HAS SOPS 44682 HAS SOUS 41140 HAS SOUPS 41140 WITH SCORE 41184.682
AT ITER 4539 NEW BEST:: SOT 293858 SOS 44661 HAS SOPS 44661 HAS SOUS 41140 HAS SOUPS 41140 WITH SCORE 41184.661
AT ITER 4566 NEW BEST:: SOT 293808 SOS 44670 HAS SOPS 44670 HAS SOUS 41102 HAS SOUPS 41102 WITH SCORE 41146.67
AT ITER 4582 NEW BEST:: SOT 293782 SOS 44663 HAS SOPS 44663 HAS SOUS 41095 HAS SOUPS 41095 WITH SCORE 41139.663
AT ITER 4599 NEW BEST:: SOT 293738 SOS 44657 HAS SOPS 44657 HAS SOUS 41086 HAS SOUPS 41086 WITH SCORE 41130.657
AT ITER 4608 NEW BEST:: SOT 293738 SOS 44656 HAS SOPS 44656 HAS SOUS 41085 HAS SOUPS 41085 WITH SCORE 41129.656
AT ITER 4636 NEW BEST:: SOT 293738 SOS 44593 HAS SOPS 44593 HAS SOUS 41068 HAS SOUPS 41068 WITH SCORE 41112.593
AT ITER 4657 NEW BEST:: SOT 293706 SOS 44583 HAS SOPS 44583 HAS SOUS 41058 HAS SOUPS 41058 WITH SCORE 41102.583
AT ITER 4664 NEW BEST:: SOT 293697 SOS 44562 HAS SOPS 44562 HAS SOUS 41035 HAS SOUPS 41035 WITH SCORE 41079.562
AT ITER 4692 NEW BEST:: SOT 293671 SOS 44536 HAS SOPS 44536 HAS SOUS 41009 HAS SOUPS 41009 WITH SCORE 41053.536
AT ITER 4738 NEW BEST:: SOT 293664 SOS 44522 HAS SOPS 44522 HAS SOUS 40995 HAS SOUPS 40995 WITH SCORE 41039.522
AT ITER 4778 NEW BEST:: SOT 293664 SOS 44498 HAS SOPS 44498 HAS SOUS 40971 HAS SOUPS 40971 WITH SCORE 41015.498
AT ITER 4828 NEW BEST:: SOT 293664 SOS 44497 HAS SOPS 44497 HAS SOUS 40971 HAS SOUPS 40971 WITH SCORE 41015.497
AT ITER 4870 NEW BEST:: SOT 293646 SOS 44476 HAS SOPS 44476 HAS SOUS 40950 HAS SOUPS 40950 WITH SCORE 40994.476
AT ITER 4887 NEW BEST:: SOT 293646 SOS 44491 HAS SOPS 44491 HAS SOUS 40949 HAS SOUPS 40949 WITH SCORE 40993.491
AT ITER 4909 NEW BEST:: SOT 293639 SOS 44490 HAS SOPS 44490 HAS SOUS 40948 HAS SOUPS 40948 WITH SCORE 40992.49
AT ITER 4932 NEW BEST:: SOT 293590 SOS 44462 HAS SOPS 44462 HAS SOUS 40899 HAS SOUPS 40899 WITH SCORE 40943.462
AT ITER 4936 NEW BEST:: SOT 293556 SOS 44394 HAS SOPS 44394 HAS SOUS 40806 HAS SOUPS 40806 WITH SCORE 40850.394
AT ITER 4968 NEW BEST:: SOT 293550 SOS 44337 HAS SOPS 44337 HAS SOUS 40756 HAS SOUPS 40756 WITH SCORE 40800.337
AT ITER 4987 NEW BEST:: SOT 293533 SOS 44317 HAS SOPS 44317 HAS SOUS 40749 HAS SOUPS 40749 WITH SCORE 40793.317
AT ITER 4988 NEW BEST:: SOT 293533 SOS 44313 HAS SOPS 44313 HAS SOUS 40745 HAS SOUPS 40745 WITH SCORE 40789.313
AT ITER 4994 NEW BEST:: SOT 293531 SOS 44309 HAS SOPS 44309 HAS SOUS 40743 HAS SOUPS 40743 WITH SCORE 40787.309
AT ITER 5000 NEW BEST:: SOT 293509 SOS 44309 HAS SOPS 44309 HAS SOUS 40721 HAS SOUPS 40721 WITH SCORE 40765.309
AT ITER 5006 NEW BEST:: SOT 293553 SOS 44287 HAS SOPS 44287 HAS SOUS 40719 HAS SOUPS 40719 WITH SCORE 40763.287
AT ITER 5082 NEW BEST:: SOT 293541 SOS 44209 HAS SOPS 44209 HAS SOUS 40641 HAS SOUPS 40641 WITH SCORE 40685.209
AT ITER 5106 NEW BEST:: SOT 293512 SOS 43998 HAS SOPS 43998 HAS SOUS 40528 HAS SOUPS 40528 WITH SCORE 40571.998
AT ITER 5134 NEW BEST:: SOT 293501 SOS 43987 HAS SOPS 43987 HAS SOUS 40517 HAS SOUPS 40517 WITH SCORE 40560.987
AT ITER 5178 NEW BEST:: SOT 293518 SOS 43981 HAS SOPS 43981 HAS SOUS 40514 HAS SOUPS 40514 WITH SCORE 40557.981
AT ITER 5187 NEW BEST:: SOT 293492 SOS 43901 HAS SOPS 43901 HAS SOUS 40487 HAS SOUPS 40487 WITH SCORE 40530.901
AT ITER 5197 NEW BEST:: SOT 293477 SOS 43856 HAS SOPS 43856 HAS SOUS 40442 HAS SOUPS 40442 WITH SCORE 40485.856
AT ITER 5201 NEW BEST:: SOT 293455 SOS 43834 HAS SOPS 43834 HAS SOUS 40420 HAS SOUPS 40420 WITH SCORE 40463.834
AT ITER 5223 NEW BEST:: SOT 293416 SOS 43772 HAS SOPS 43772 HAS SOUS 40358 HAS SOUPS 40358 WITH SCORE 40401.772
AT ITER 5242 NEW BEST:: SOT 293409 SOS 43758 HAS SOPS 43758 HAS SOUS 40342 HAS SOUPS 40342 WITH SCORE 40385.758
AT ITER 5293 NEW BEST:: SOT 293384 SOS 43733 HAS SOPS 43733 HAS SOUS 40342 HAS SOUPS 40342 WITH SCORE 40385.733
AT ITER 5339 NEW BEST:: SOT 293334 SOS 43633 HAS SOPS 43633 HAS SOUS 40242 HAS SOUPS 40242 WITH SCORE 40285.633
AT ITER 5341 NEW BEST:: SOT 293335 SOS 43633 HAS SOPS 43633 HAS SOUS 40241 HAS SOUPS 40241 WITH SCORE 40284.633
AT ITER 5347 NEW BEST:: SOT 293331 SOS 43629 HAS SOPS 43629 HAS SOUS 40237 HAS SOUPS 40237 WITH SCORE 40280.629
AT ITER 5370 NEW BEST:: SOT 293331 SOS 43624 HAS SOPS 43624 HAS SOUS 40232 HAS SOUPS 40232 WITH SCORE 40275.624
AT ITER 5384 NEW BEST:: SOT 293330 SOS 43592 HAS SOPS 43592 HAS SOUS 40200 HAS SOUPS 40200 WITH SCORE 40243.592
AT ITER 5441 NEW BEST:: SOT 293327 SOS 43586 HAS SOPS 43586 HAS SOUS 40191 HAS SOUPS 40191 WITH SCORE 40234.586
AT ITER 5488 NEW BEST:: SOT 293326 SOS 43584 HAS SOPS 43584 HAS SOUS 40189 HAS SOUPS 40189 WITH SCORE 40232.584
AT ITER 5495 NEW BEST:: SOT 293384 SOS 43509 HAS SOPS 43509 HAS SOUS 40129 HAS SOUPS 40129 WITH SCORE 40172.509
AT ITER 5531 NEW BEST:: SOT 293416 SOS 43489 HAS SOPS 43489 HAS SOUS 40125 HAS SOUPS 40125 WITH SCORE 40168.489
AT ITER 5567 NEW BEST:: SOT 293399 SOS 43483 HAS SOPS 43483 HAS SOUS 40119 HAS SOUPS 40119 WITH SCORE 40162.483
AT ITER 5569 NEW BEST:: SOT 293397 SOS 43463 HAS SOPS 43463 HAS SOUS 40110 HAS SOUPS 40110 WITH SCORE 40153.463
AT ITER 5581 NEW BEST:: SOT 293357 SOS 43451 HAS SOPS 43451 HAS SOUS 40096 HAS SOUPS 40096 WITH SCORE 40139.451
AT ITER 5582 NEW BEST:: SOT 293352 SOS 43424 HAS SOPS 43424 HAS SOUS 40091 HAS SOUPS 40091 WITH SCORE 40134.424
AT ITER 5591 NEW BEST:: SOT 293362 SOS 43430 HAS SOPS 43430 HAS SOUS 40087 HAS SOUPS 40087 WITH SCORE 40130.43
AT ITER 5651 NEW BEST:: SOT 293394 SOS 43459 HAS SOPS 43459 HAS SOUS 40084 HAS SOUPS 40084 WITH SCORE 40127.459
AT ITER 5652 NEW BEST:: SOT 293354 SOS 43419 HAS SOPS 43419 HAS SOUS 40053 HAS SOUPS 40053 WITH SCORE 40096.419
AT ITER 5688 NEW BEST:: SOT 293355 SOS 43421 HAS SOPS 43421 HAS SOUS 40011 HAS SOUPS 40011 WITH SCORE 40054.421
AT ITER 5700 NEW BEST:: SOT 293337 SOS 43385 HAS SOPS 43385 HAS SOUS 39993 HAS SOUPS 39993 WITH SCORE 40036.385
AT ITER 5715 NEW BEST:: SOT 293333 SOS 43373 HAS SOPS 43373 HAS SOUS 39985 HAS SOUPS 39985 WITH SCORE 40028.373
AT ITER 5746 NEW BEST:: SOT 293340 SOS 43366 HAS SOPS 43366 HAS SOUS 39985 HAS SOUPS 39985 WITH SCORE 40028.366
AT ITER 5802 NEW BEST:: SOT 293340 SOS 43347 HAS SOPS 43347 HAS SOUS 39966 HAS SOUPS 39966 WITH SCORE 40009.347
AT ITER 5919 NEW BEST:: SOT 293330 SOS 43300 HAS SOPS 43300 HAS SOUS 39946 HAS SOUPS 39946 WITH SCORE 39989.3
AT ITER 5926 NEW BEST:: SOT 293334 SOS 43272 HAS SOPS 43272 HAS SOUS 39942 HAS SOUPS 39942 WITH SCORE 39985.272
AT ITER 6020 NEW BEST:: SOT 293328 SOS 43255 HAS SOPS 43255 HAS SOUS 39925 HAS SOUPS 39925 WITH SCORE 39968.255
AT ITER 6043 NEW BEST:: SOT 293284 SOS 43154 HAS SOPS 43154 HAS SOUS 39828 HAS SOUPS 39828 WITH SCORE 39871.154
AT ITER 6126 NEW BEST:: SOT 293278 SOS 43079 HAS SOPS 43079 HAS SOUS 39724 HAS SOUPS 39724 WITH SCORE 39767.079
AT ITER 6206 NEW BEST:: SOT 293278 SOS 43071 HAS SOPS 43071 HAS SOUS 39716 HAS SOUPS 39716 WITH SCORE 39759.071
AT ITER 6214 NEW BEST:: SOT 293273 SOS 43057 HAS SOPS 43057 HAS SOUS 39710 HAS SOUPS 39710 WITH SCORE 39753.057
AT ITER 6221 NEW BEST:: SOT 293235 SOS 42997 HAS SOPS 42997 HAS SOUS 39680 HAS SOUPS 39680 WITH SCORE 39722.997
AT ITER 6258 NEW BEST:: SOT 293249 SOS 42985 HAS SOPS 42985 HAS SOUS 39668 HAS SOUPS 39668 WITH SCORE 39710.985
AT ITER 6321 NEW BEST:: SOT 293241 SOS 42980 HAS SOPS 42980 HAS SOUS 39663 HAS SOUPS 39663 WITH SCORE 39705.98
AT ITER 6337 NEW BEST:: SOT 293195 SOS 42888 HAS SOPS 42888 HAS SOUS 39571 HAS SOUPS 39571 WITH SCORE 39613.888
AT ITER 6341 NEW BEST:: SOT 293194 SOS 42886 HAS SOPS 42886 HAS SOUS 39569 HAS SOUPS 39569 WITH SCORE 39611.886
AT ITER 6420 NEW BEST:: SOT 293186 SOS 42876 HAS SOPS 42876 HAS SOUS 39559 HAS SOUPS 39559 WITH SCORE 39601.876
AT ITER 6460 NEW BEST:: SOT 293177 SOS 42858 HAS SOPS 42858 HAS SOUS 39550 HAS SOUPS 39550 WITH SCORE 39592.858
AT ITER 6482 NEW BEST:: SOT 293095 SOS 42738 HAS SOPS 42738 HAS SOUS 39468 HAS SOUPS 39468 WITH SCORE 39510.738
AT ITER 6498 NEW BEST:: SOT 293095 SOS 42722 HAS SOPS 42722 HAS SOUS 39457 HAS SOUPS 39457 WITH SCORE 39499.722
AT ITER 6503 NEW BEST:: SOT 293095 SOS 42722 HAS SOPS 42722 HAS SOUS 39455 HAS SOUPS 39455 WITH SCORE 39497.722
AT ITER 6507 NEW BEST:: SOT 293104 SOS 42718 HAS SOPS 42718 HAS SOUS 39427 HAS SOUPS 39427 WITH SCORE 39469.718
AT ITER 6519 NEW BEST:: SOT 293104 SOS 42717 HAS SOPS 42717 HAS SOUS 39426 HAS SOUPS 39426 WITH SCORE 39468.717
AT ITER 6525 NEW BEST:: SOT 293104 SOS 42710 HAS SOPS 42710 HAS SOUS 39419 HAS SOUPS 39419 WITH SCORE 39461.71
AT ITER 6560 NEW BEST:: SOT 293104 SOS 42709 HAS SOPS 42709 HAS SOUS 39418 HAS SOUPS 39418 WITH SCORE 39460.709
AT ITER 6562 NEW BEST:: SOT 293100 SOS 42538 HAS SOPS 42538 HAS SOUS 39334 HAS SOUPS 39334 WITH SCORE 39376.538
AT ITER 6583 NEW BEST:: SOT 293092 SOS 42514 HAS SOPS 42514 HAS SOUS 39310 HAS SOUPS 39310 WITH SCORE 39352.514
AT ITER 6718 NEW BEST:: SOT 293066 SOS 42455 HAS SOPS 42455 HAS SOUS 39251 HAS SOUPS 39251 WITH SCORE 39293.455
AT ITER 6731 NEW BEST:: SOT 293045 SOS 42426 HAS SOPS 42426 HAS SOUS 39229 HAS SOUPS 39229 WITH SCORE 39271.426
AT ITER 6760 NEW BEST:: SOT 292927 SOS 42358 HAS SOPS 42358 HAS SOUS 39123 HAS SOUPS 39123 WITH SCORE 39165.358
AT ITER 6776 NEW BEST:: SOT 292920 SOS 42350 HAS SOPS 42350 HAS SOUS 39115 HAS SOUPS 39115 WITH SCORE 39157.35
AT ITER 6823 NEW BEST:: SOT 292902 SOS 42332 HAS SOPS 42332 HAS SOUS 39097 HAS SOUPS 39097 WITH SCORE 39139.332
AT ITER 6831 NEW BEST:: SOT 292894 SOS 42314 HAS SOPS 42314 HAS SOUS 39064 HAS SOUPS 39064 WITH SCORE 39106.314
AT ITER 6878 NEW BEST:: SOT 292840 SOS 42206 HAS SOPS 42206 HAS SOUS 39014 HAS SOUPS 39014 WITH SCORE 39056.206
AT ITER 6882 NEW BEST:: SOT 292812 SOS 42206 HAS SOPS 42206 HAS SOUS 39012 HAS SOUPS 39012 WITH SCORE 39054.206
AT ITER 6905 NEW BEST:: SOT 292776 SOS 42190 HAS SOPS 42190 HAS SOUS 38993 HAS SOUPS 38993 WITH SCORE 39035.19
AT ITER 6915 NEW BEST:: SOT 292758 SOS 42142 HAS SOPS 42142 HAS SOUS 38945 HAS SOUPS 38945 WITH SCORE 38987.142
AT ITER 6970 NEW BEST:: SOT 292740 SOS 42100 HAS SOPS 42100 HAS SOUS 38900 HAS SOUPS 38900 WITH SCORE 38942.1
AT ITER 7070 NEW BEST:: SOT 292738 SOS 42101 HAS SOPS 42101 HAS SOUS 38896 HAS SOUPS 38896 WITH SCORE 38938.101
AT ITER 7118 NEW BEST:: SOT 292729 SOS 42083 HAS SOPS 42083 HAS SOUS 38878 HAS SOUPS 38878 WITH SCORE 38920.083
AT ITER 7219 NEW BEST:: SOT 292724 SOS 42079 HAS SOPS 42079 HAS SOUS 38874 HAS SOUPS 38874 WITH SCORE 38916.079
AT ITER 7232 NEW BEST:: SOT 292678 SOS 42027 HAS SOPS 42027 HAS SOUS 38822 HAS SOUPS 38822 WITH SCORE 38864.027
AT ITER 7239 NEW BEST:: SOT 292677 SOS 41938 HAS SOPS 41938 HAS SOUS 38812 HAS SOUPS 38812 WITH SCORE 38853.938
AT ITER 7255 NEW BEST:: SOT 292682 SOS 41934 HAS SOPS 41934 HAS SOUS 38808 HAS SOUPS 38808 WITH SCORE 38849.934
AT ITER 7271 NEW BEST:: SOT 292641 SOS 41974 HAS SOPS 41974 HAS SOUS 38807 HAS SOUPS 38807 WITH SCORE 38848.974
AT ITER 7291 NEW BEST:: SOT 292641 SOS 41973 HAS SOPS 41973 HAS SOUS 38806 HAS SOUPS 38806 WITH SCORE 38847.973
AT ITER 7296 NEW BEST:: SOT 292620 SOS 41931 HAS SOPS 41931 HAS SOUS 38785 HAS SOUPS 38785 WITH SCORE 38826.931
AT ITER 7369 NEW BEST:: SOT 292604 SOS 41915 HAS SOPS 41915 HAS SOUS 38769 HAS SOUPS 38769 WITH SCORE 38810.915
AT ITER 7412 NEW BEST:: SOT 292609 SOS 41894 HAS SOPS 41894 HAS SOUS 38748 HAS SOUPS 38748 WITH SCORE 38789.894
AT ITER 7414 NEW BEST:: SOT 292602 SOS 41913 HAS SOPS 41913 HAS SOUS 38732 HAS SOUPS 38732 WITH SCORE 38773.913
AT ITER 7435 NEW BEST:: SOT 292588 SOS 41885 HAS SOPS 41885 HAS SOUS 38704 HAS SOUPS 38704 WITH SCORE 38745.885
AT ITER 7498 NEW BEST:: SOT 292583 SOS 41873 HAS SOPS 41873 HAS SOUS 38692 HAS SOUPS 38692 WITH SCORE 38733.873
AT ITER 7503 NEW BEST:: SOT 292564 SOS 41891 HAS SOPS 41891 HAS SOUS 38691 HAS SOUPS 38691 WITH SCORE 38732.891
AT ITER 7592 NEW BEST:: SOT 292552 SOS 41882 HAS SOPS 41882 HAS SOUS 38682 HAS SOUPS 38682 WITH SCORE 38723.882
AT ITER 7602 NEW BEST:: SOT 292535 SOS 41846 HAS SOPS 41846 HAS SOUS 38646 HAS SOUPS 38646 WITH SCORE 38687.846
AT ITER 7777 NEW BEST:: SOT 292535 SOS 41817 HAS SOPS 41817 HAS SOUS 38640 HAS SOUPS 38640 WITH SCORE 38681.817
AT ITER 7813 NEW BEST:: SOT 292535 SOS 41797 HAS SOPS 41797 HAS SOUS 38620 HAS SOUPS 38620 WITH SCORE 38661.797
AT ITER 7820 NEW BEST:: SOT 292525 SOS 41787 HAS SOPS 41787 HAS SOUS 38610 HAS SOUPS 38610 WITH SCORE 38651.787
AT ITER 7836 NEW BEST:: SOT 292525 SOS 41795 HAS SOPS 41795 HAS SOUS 38602 HAS SOUPS 38602 WITH SCORE 38643.795
AT ITER 7908 NEW BEST:: SOT 292504 SOS 41743 HAS SOPS 41743 HAS SOUS 38568 HAS SOUPS 38568 WITH SCORE 38609.743
AT ITER 7946 NEW BEST:: SOT 292506 SOS 41740 HAS SOPS 41740 HAS SOUS 38565 HAS SOUPS 38565 WITH SCORE 38606.74
AT ITER 7958 NEW BEST:: SOT 292490 SOS 41737 HAS SOPS 41737 HAS SOUS 38562 HAS SOUPS 38562 WITH SCORE 38603.737
AT ITER 7982 NEW BEST:: SOT 292486 SOS 41729 HAS SOPS 41729 HAS SOUS 38557 HAS SOUPS 38557 WITH SCORE 38598.729
AT ITER 8006 NEW BEST:: SOT 292481 SOS 41724 HAS SOPS 41724 HAS SOUS 38547 HAS SOUPS 38547 WITH SCORE 38588.724
AT ITER 8036 NEW BEST:: SOT 292474 SOS 41700 HAS SOPS 41700 HAS SOUS 38523 HAS SOUPS 38523 WITH SCORE 38564.7
AT ITER 8047 NEW BEST:: SOT 292472 SOS 41696 HAS SOPS 41696 HAS SOUS 38519 HAS SOUPS 38519 WITH SCORE 38560.696
AT ITER 8079 NEW BEST:: SOT 292488 SOS 41728 HAS SOPS 41728 HAS SOUS 38476 HAS SOUPS 38476 WITH SCORE 38517.728
AT ITER 8203 NEW BEST:: SOT 292489 SOS 41679 HAS SOPS 41679 HAS SOUS 38457 HAS SOUPS 38457 WITH SCORE 38498.679
AT ITER 8226 NEW BEST:: SOT 292445 SOS 41591 HAS SOPS 41591 HAS SOUS 38369 HAS SOUPS 38369 WITH SCORE 38410.591
AT ITER 8230 NEW BEST:: SOT 292454 SOS 41567 HAS SOPS 41567 HAS SOUS 38357 HAS SOUPS 38357 WITH SCORE 38398.567
AT ITER 8330 NEW BEST:: SOT 292439 SOS 41592 HAS SOPS 41592 HAS SOUS 38344 HAS SOUPS 38344 WITH SCORE 38385.592
AT ITER 8366 NEW BEST:: SOT 292376 SOS 41617 HAS SOPS 41617 HAS SOUS 38281 HAS SOUPS 38281 WITH SCORE 38322.617
AT ITER 8393 NEW BEST:: SOT 292374 SOS 41613 HAS SOPS 41613 HAS SOUS 38277 HAS SOUPS 38277 WITH SCORE 38318.613
AT ITER 8400 NEW BEST:: SOT 292436 SOS 41653 HAS SOPS 41653 HAS SOUS 38244 HAS SOUPS 38244 WITH SCORE 38285.653
AT ITER 8421 NEW BEST:: SOT 292451 SOS 41638 HAS SOPS 41638 HAS SOUS 38229 HAS SOUPS 38229 WITH SCORE 38270.638
AT ITER 8438 NEW BEST:: SOT 292451 SOS 41629 HAS SOPS 41629 HAS SOUS 38220 HAS SOUPS 38220 WITH SCORE 38261.629
AT ITER 8462 NEW BEST:: SOT 292451 SOS 41597 HAS SOPS 41597 HAS SOUS 38188 HAS SOUPS 38188 WITH SCORE 38229.597
AT ITER 8491 NEW BEST:: SOT 292451 SOS 41630 HAS SOPS 41630 HAS SOUS 38184 HAS SOUPS 38184 WITH SCORE 38225.63
AT ITER 8502 NEW BEST:: SOT 292451 SOS 41629 HAS SOPS 41629 HAS SOUS 38183 HAS SOUPS 38183 WITH SCORE 38224.629
AT ITER 8516 NEW BEST:: SOT 292448 SOS 41626 HAS SOPS 41626 HAS SOUS 38180 HAS SOUPS 38180 WITH SCORE 38221.626
AT ITER 8569 NEW BEST:: SOT 292448 SOS 41587 HAS SOPS 41587 HAS SOUS 38141 HAS SOUPS 38141 WITH SCORE 38182.587
AT ITER 8579 NEW BEST:: SOT 292421 SOS 41533 HAS SOPS 41533 HAS SOUS 38087 HAS SOUPS 38087 WITH SCORE 38128.533
AT ITER 8580 NEW BEST:: SOT 292421 SOS 41527 HAS SOPS 41527 HAS SOUS 38081 HAS SOUPS 38081 WITH SCORE 38122.527
AT ITER 8585 NEW BEST:: SOT 292417 SOS 41488 HAS SOPS 41488 HAS SOUS 38042 HAS SOUPS 38042 WITH SCORE 38083.488
AT ITER 8623 NEW BEST:: SOT 292381 SOS 41447 HAS SOPS 41447 HAS SOUS 38001 HAS SOUPS 38001 WITH SCORE 38042.447
AT ITER 8631 NEW BEST:: SOT 292365 SOS 41455 HAS SOPS 41455 HAS SOUS 37994 HAS SOUPS 37994 WITH SCORE 38035.455
AT ITER 8813 NEW BEST:: SOT 292365 SOS 41435 HAS SOPS 41435 HAS SOUS 37974 HAS SOUPS 37974 WITH SCORE 38015.435
AT ITER 8842 NEW BEST:: SOT 292311 SOS 41653 HAS SOPS 41653 HAS SOUS 37895 HAS SOUPS 37895 WITH SCORE 37936.653
AT ITER 8883 NEW BEST:: SOT 292328 SOS 41637 HAS SOPS 41637 HAS SOUS 37879 HAS SOUPS 37879 WITH SCORE 37920.637
AT ITER 8901 NEW BEST:: SOT 292293 SOS 41605 HAS SOPS 41605 HAS SOUS 37842 HAS SOUPS 37842 WITH SCORE 37883.605
AT ITER 8911 NEW BEST:: SOT 292293 SOS 41601 HAS SOPS 41601 HAS SOUS 37838 HAS SOUPS 37838 WITH SCORE 37879.601
AT ITER 9012 NEW BEST:: SOT 292289 SOS 41572 HAS SOPS 41572 HAS SOUS 37834 HAS SOUPS 37834 WITH SCORE 37875.572
AT ITER 9017 NEW BEST:: SOT 292289 SOS 41553 HAS SOPS 41553 HAS SOUS 37815 HAS SOUPS 37815 WITH SCORE 37856.553
AT ITER 9065 NEW BEST:: SOT 292281 SOS 41520 HAS SOPS 41520 HAS SOUS 37768 HAS SOUPS 37768 WITH SCORE 37809.52
AT ITER 9256 NEW BEST:: SOT 292268 SOS 41452 HAS SOPS 41452 HAS SOUS 37742 HAS SOUPS 37742 WITH SCORE 37783.452
AT ITER 9284 NEW BEST:: SOT 292247 SOS 41450 HAS SOPS 41450 HAS SOUS 37740 HAS SOUPS 37740 WITH SCORE 37781.45
AT ITER 9297 NEW BEST:: SOT 292247 SOS 41447 HAS SOPS 41447 HAS SOUS 37740 HAS SOUPS 37740 WITH SCORE 37781.447
AT ITER 9370 NEW BEST:: SOT 292237 SOS 41437 HAS SOPS 41437 HAS SOUS 37730 HAS SOUPS 37730 WITH SCORE 37771.437
AT ITER 9403 NEW BEST:: SOT 292195 SOS 41304 HAS SOPS 41304 HAS SOUS 37681 HAS SOUPS 37681 WITH SCORE 37722.304
AT ITER 9446 NEW BEST:: SOT 292195 SOS 41301 HAS SOPS 41301 HAS SOUS 37678 HAS SOUPS 37678 WITH SCORE 37719.301
AT ITER 9467 NEW BEST:: SOT 292195 SOS 41291 HAS SOPS 41291 HAS SOUS 37637 HAS SOUPS 37637 WITH SCORE 37678.291
AT ITER 9480 NEW BEST:: SOT 292195 SOS 41291 HAS SOPS 41291 HAS SOUS 37630 HAS SOUPS 37630 WITH SCORE 37671.291
AT ITER 9557 NEW BEST:: SOT 292195 SOS 41267 HAS SOPS 41267 HAS SOUS 37606 HAS SOUPS 37606 WITH SCORE 37647.267
AT ITER 9561 NEW BEST:: SOT 292187 SOS 41220 HAS SOPS 41220 HAS SOUS 37585 HAS SOUPS 37585 WITH SCORE 37626.22
AT ITER 9611 NEW BEST:: SOT 292155 SOS 41195 HAS SOPS 41195 HAS SOUS 37553 HAS SOUPS 37553 WITH SCORE 37594.195
AT ITER 9633 NEW BEST:: SOT 292156 SOS 41189 HAS SOPS 41189 HAS SOUS 37516 HAS SOUPS 37516 WITH SCORE 37557.189
AT ITER 9802 NEW BEST:: SOT 292155 SOS 41186 HAS SOPS 41186 HAS SOUS 37513 HAS SOUPS 37513 WITH SCORE 37554.186
AT ITER 9838 NEW BEST:: SOT 292187 SOS 41180 HAS SOPS 41180 HAS SOUS 37511 HAS SOUPS 37511 WITH SCORE 37552.18
AT ITER 9840 NEW BEST:: SOT 292137 SOS 41060 HAS SOPS 41060 HAS SOUS 37426 HAS SOUPS 37426 WITH SCORE 37467.06
AT ITER 9864 NEW BEST:: SOT 292137 SOS 41059 HAS SOPS 41059 HAS SOUS 37425 HAS SOUPS 37425 WITH SCORE 37466.059
AT ITER 9887 NEW BEST:: SOT 292108 SOS 41049 HAS SOPS 41049 HAS SOUS 37415 HAS SOUPS 37415 WITH SCORE 37456.049
AT ITER 9992 NEW BEST:: SOT 292076 SOS 41046 HAS SOPS 41046 HAS SOUS 37386 HAS SOUPS 37386 WITH SCORE 37427.046
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 8329112 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16121540 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="ShieldPPPt-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 ShieldPPPt-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-167903719000624"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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