Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r483-tall-167912696400976.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is UtilityControlRoom-COL-Z2T3N08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696400976
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 8.1K Feb 26 14:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 26 14:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 14:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 14:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 17:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 17:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 156K Feb 26 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 14:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 26 14:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 29K 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 1679183958706

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=UtilityControlRoom-COL-Z2T3N08
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-18 23:59:21] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-18 23:59:21] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-18 23:59:21] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-18 23:59:21] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-18 23:59:22] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 693 ms
[2023-03-18 23:59:22] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 140 PT places and 216.0 transition bindings in 19 ms.
[2023-03-18 23:59:22] [INFO ] Unfolded HLPN to a Petri net with 140 places and 216 transitions 680 arcs in 34 ms.
[2023-03-18 23:59:22] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 32 transitions
Reduce isomorphic transitions removed 32 transitions.
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
[2023-03-18 23:59:22] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 140 places, 168 transitions and 488 arcs took 7 ms.
Total runtime 953 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z2T3N08
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 140 places, 168 transitions, 488 arcs.
AT ITER 0 NEW BEST:: SOT 16555 SOS 10107 HAS SOPS 10107 HAS SOUS 7978 HAS SOUPS 7978 WITH SCORE 7988.107
AT ITER 1 NEW BEST:: SOT 16555 SOS 10060 HAS SOPS 10060 HAS SOUS 7932 HAS SOUPS 7932 WITH SCORE 7942.06
AT ITER 2 NEW BEST:: SOT 16555 SOS 10029 HAS SOPS 10029 HAS SOUS 7901 HAS SOUPS 7901 WITH SCORE 7911.029
AT ITER 3 NEW BEST:: SOT 16555 SOS 9994 HAS SOPS 9994 HAS SOUS 7829 HAS SOUPS 7829 WITH SCORE 7838.994
AT ITER 4 NEW BEST:: SOT 16513 SOS 9910 HAS SOPS 9910 HAS SOUS 7787 HAS SOUPS 7787 WITH SCORE 7796.91
AT ITER 7 NEW BEST:: SOT 16478 SOS 9852 HAS SOPS 9852 HAS SOUS 7681 HAS SOUPS 7681 WITH SCORE 7690.852
AT ITER 8 NEW BEST:: SOT 16478 SOS 9851 HAS SOPS 9851 HAS SOUS 7680 HAS SOUPS 7680 WITH SCORE 7689.851
AT ITER 9 NEW BEST:: SOT 16441 SOS 9805 HAS SOPS 9805 HAS SOUS 7620 HAS SOUPS 7620 WITH SCORE 7629.805
AT ITER 12 NEW BEST:: SOT 16441 SOS 9801 HAS SOPS 9801 HAS SOUS 7612 HAS SOUPS 7612 WITH SCORE 7621.801
AT ITER 14 NEW BEST:: SOT 16396 SOS 9644 HAS SOPS 9644 HAS SOUS 7466 HAS SOUPS 7466 WITH SCORE 7475.644
AT ITER 15 NEW BEST:: SOT 16396 SOS 9639 HAS SOPS 9639 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7470.639
AT ITER 19 NEW BEST:: SOT 16357 SOS 9599 HAS SOPS 9599 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7430.599
AT ITER 33 NEW BEST:: SOT 16357 SOS 9589 HAS SOPS 9589 HAS SOUS 7411 HAS SOUPS 7411 WITH SCORE 7420.589
AT ITER 43 NEW BEST:: SOT 16350 SOS 9520 HAS SOPS 9520 HAS SOUS 7404 HAS SOUPS 7404 WITH SCORE 7413.52
AT ITER 44 NEW BEST:: SOT 16350 SOS 9494 HAS SOPS 9494 HAS SOUS 7401 HAS SOUPS 7401 WITH SCORE 7410.494
AT ITER 46 NEW BEST:: SOT 16375 SOS 9513 HAS SOPS 9513 HAS SOUS 7382 HAS SOUPS 7382 WITH SCORE 7391.513
AT ITER 48 NEW BEST:: SOT 16442 SOS 9312 HAS SOPS 9312 HAS SOUS 7165 HAS SOUPS 7165 WITH SCORE 7174.312
AT ITER 50 NEW BEST:: SOT 16407 SOS 9195 HAS SOPS 9195 HAS SOUS 7089 HAS SOUPS 7089 WITH SCORE 7098.195
AT ITER 53 NEW BEST:: SOT 16382 SOS 9169 HAS SOPS 9169 HAS SOUS 7064 HAS SOUPS 7064 WITH SCORE 7073.169
AT ITER 56 NEW BEST:: SOT 16382 SOS 9166 HAS SOPS 9166 HAS SOUS 7061 HAS SOUPS 7061 WITH SCORE 7070.166
AT ITER 59 NEW BEST:: SOT 16378 SOS 9162 HAS SOPS 9162 HAS SOUS 7057 HAS SOUPS 7057 WITH SCORE 7066.162
AT ITER 71 NEW BEST:: SOT 16389 SOS 9168 HAS SOPS 9168 HAS SOUS 7052 HAS SOUPS 7052 WITH SCORE 7061.168
AT ITER 76 NEW BEST:: SOT 16356 SOS 8993 HAS SOPS 8993 HAS SOUS 7048 HAS SOUPS 7048 WITH SCORE 7056.993
AT ITER 80 NEW BEST:: SOT 16318 SOS 8920 HAS SOPS 8920 HAS SOUS 7036 HAS SOUPS 7036 WITH SCORE 7044.92
AT ITER 82 NEW BEST:: SOT 16318 SOS 8892 HAS SOPS 8892 HAS SOUS 7028 HAS SOUPS 7028 WITH SCORE 7036.892
AT ITER 89 NEW BEST:: SOT 16318 SOS 8886 HAS SOPS 8886 HAS SOUS 7028 HAS SOUPS 7028 WITH SCORE 7036.886
AT ITER 92 NEW BEST:: SOT 16318 SOS 8882 HAS SOPS 8882 HAS SOUS 7024 HAS SOUPS 7024 WITH SCORE 7032.882
AT ITER 95 NEW BEST:: SOT 16299 SOS 8863 HAS SOPS 8863 HAS SOUS 7005 HAS SOUPS 7005 WITH SCORE 7013.863
AT ITER 96 NEW BEST:: SOT 16298 SOS 8862 HAS SOPS 8862 HAS SOUS 7002 HAS SOUPS 7002 WITH SCORE 7010.862
AT ITER 101 NEW BEST:: SOT 16298 SOS 8819 HAS SOPS 8819 HAS SOUS 6990 HAS SOUPS 6990 WITH SCORE 6998.819
AT ITER 102 NEW BEST:: SOT 16319 SOS 8875 HAS SOPS 8875 HAS SOUS 6976 HAS SOUPS 6976 WITH SCORE 6984.875
AT ITER 104 NEW BEST:: SOT 16311 SOS 8851 HAS SOPS 8851 HAS SOUS 6960 HAS SOUPS 6960 WITH SCORE 6968.851
AT ITER 106 NEW BEST:: SOT 16311 SOS 8839 HAS SOPS 8839 HAS SOUS 6960 HAS SOUPS 6960 WITH SCORE 6968.839
AT ITER 116 NEW BEST:: SOT 16297 SOS 8822 HAS SOPS 8822 HAS SOUS 6943 HAS SOUPS 6943 WITH SCORE 6951.822
AT ITER 130 NEW BEST:: SOT 16297 SOS 8782 HAS SOPS 8782 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6942.782
AT ITER 135 NEW BEST:: SOT 16297 SOS 8793 HAS SOPS 8793 HAS SOUS 6923 HAS SOUPS 6923 WITH SCORE 6931.793
AT ITER 147 NEW BEST:: SOT 16269 SOS 8725 HAS SOPS 8725 HAS SOUS 6875 HAS SOUPS 6875 WITH SCORE 6883.725
AT ITER 150 NEW BEST:: SOT 16269 SOS 8702 HAS SOPS 8702 HAS SOUS 6867 HAS SOUPS 6867 WITH SCORE 6875.702
AT ITER 155 NEW BEST:: SOT 16261 SOS 8692 HAS SOPS 8692 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6862.692
AT ITER 163 NEW BEST:: SOT 16254 SOS 8678 HAS SOPS 8678 HAS SOUS 6833 HAS SOUPS 6833 WITH SCORE 6841.678
AT ITER 165 NEW BEST:: SOT 16254 SOS 8677 HAS SOPS 8677 HAS SOUS 6830 HAS SOUPS 6830 WITH SCORE 6838.677
AT ITER 183 NEW BEST:: SOT 16254 SOS 8675 HAS SOPS 8675 HAS SOUS 6828 HAS SOUPS 6828 WITH SCORE 6836.675
AT ITER 185 NEW BEST:: SOT 16254 SOS 8607 HAS SOPS 8607 HAS SOUS 6822 HAS SOUPS 6822 WITH SCORE 6830.607
AT ITER 195 NEW BEST:: SOT 16243 SOS 8591 HAS SOPS 8591 HAS SOUS 6806 HAS SOUPS 6806 WITH SCORE 6814.591
AT ITER 201 NEW BEST:: SOT 16243 SOS 8591 HAS SOPS 8591 HAS SOUS 6804 HAS SOUPS 6804 WITH SCORE 6812.591
AT ITER 204 NEW BEST:: SOT 15946 SOS 8315 HAS SOPS 8315 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6525.315
AT ITER 207 NEW BEST:: SOT 15696 SOS 8185 HAS SOPS 8185 HAS SOUS 6287 HAS SOUPS 6287 WITH SCORE 6295.185
AT ITER 212 NEW BEST:: SOT 15701 SOS 8195 HAS SOPS 8195 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6284.195
AT ITER 228 NEW BEST:: SOT 15703 SOS 8197 HAS SOPS 8197 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6282.197
AT ITER 243 NEW BEST:: SOT 15698 SOS 8192 HAS SOPS 8192 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6282.192
AT ITER 245 NEW BEST:: SOT 15698 SOS 8192 HAS SOPS 8192 HAS SOUS 6272 HAS SOUPS 6272 WITH SCORE 6280.192
AT ITER 247 NEW BEST:: SOT 15743 SOS 8214 HAS SOPS 8214 HAS SOUS 6239 HAS SOUPS 6239 WITH SCORE 6247.214
AT ITER 259 NEW BEST:: SOT 15743 SOS 8204 HAS SOPS 8204 HAS SOUS 6234 HAS SOUPS 6234 WITH SCORE 6242.204
AT ITER 260 NEW BEST:: SOT 15719 SOS 8174 HAS SOPS 8174 HAS SOUS 6172 HAS SOUPS 6172 WITH SCORE 6180.174
AT ITER 263 NEW BEST:: SOT 15715 SOS 8143 HAS SOPS 8143 HAS SOUS 6159 HAS SOUPS 6159 WITH SCORE 6167.143
AT ITER 276 NEW BEST:: SOT 15713 SOS 8139 HAS SOPS 8139 HAS SOUS 6155 HAS SOUPS 6155 WITH SCORE 6163.139
AT ITER 283 NEW BEST:: SOT 15709 SOS 8123 HAS SOPS 8123 HAS SOUS 6155 HAS SOUPS 6155 WITH SCORE 6163.123
AT ITER 290 NEW BEST:: SOT 15710 SOS 8126 HAS SOPS 8126 HAS SOUS 6152 HAS SOUPS 6152 WITH SCORE 6160.126
AT ITER 292 NEW BEST:: SOT 15679 SOS 8095 HAS SOPS 8095 HAS SOUS 6121 HAS SOUPS 6121 WITH SCORE 6129.095
AT ITER 299 NEW BEST:: SOT 15671 SOS 8090 HAS SOPS 8090 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6116.09
AT ITER 301 NEW BEST:: SOT 15677 SOS 8053 HAS SOPS 8053 HAS SOUS 6095 HAS SOUPS 6095 WITH SCORE 6103.053
AT ITER 305 NEW BEST:: SOT 15651 SOS 8001 HAS SOPS 8001 HAS SOUS 6043 HAS SOUPS 6043 WITH SCORE 6051.001
AT ITER 323 NEW BEST:: SOT 15651 SOS 8001 HAS SOPS 8001 HAS SOUS 6019 HAS SOUPS 6019 WITH SCORE 6027.001
AT ITER 330 NEW BEST:: SOT 15664 SOS 8019 HAS SOPS 8019 HAS SOUS 6004 HAS SOUPS 6004 WITH SCORE 6012.019
AT ITER 336 NEW BEST:: SOT 15684 SOS 8072 HAS SOPS 8072 HAS SOUS 5993 HAS SOUPS 5993 WITH SCORE 6001.072
AT ITER 339 NEW BEST:: SOT 15660 SOS 8024 HAS SOPS 8024 HAS SOUS 5992 HAS SOUPS 5992 WITH SCORE 6000.024
AT ITER 353 NEW BEST:: SOT 15663 SOS 8030 HAS SOPS 8030 HAS SOUS 5989 HAS SOUPS 5989 WITH SCORE 5997.03
AT ITER 356 NEW BEST:: SOT 15657 SOS 8018 HAS SOPS 8018 HAS SOUS 5980 HAS SOUPS 5980 WITH SCORE 5988.018
AT ITER 365 NEW BEST:: SOT 15643 SOS 7990 HAS SOPS 7990 HAS SOUS 5952 HAS SOUPS 5952 WITH SCORE 5959.99
AT ITER 378 NEW BEST:: SOT 15640 SOS 7987 HAS SOPS 7987 HAS SOUS 5949 HAS SOUPS 5949 WITH SCORE 5956.987
AT ITER 380 NEW BEST:: SOT 15478 SOS 7825 HAS SOPS 7825 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5794.825
AT ITER 385 NEW BEST:: SOT 15431 SOS 7825 HAS SOPS 7825 HAS SOUS 5740 HAS SOUPS 5740 WITH SCORE 5747.825
AT ITER 422 NEW BEST:: SOT 15420 SOS 7769 HAS SOPS 7769 HAS SOUS 5733 HAS SOUPS 5733 WITH SCORE 5740.769
AT ITER 444 NEW BEST:: SOT 15420 SOS 7741 HAS SOPS 7741 HAS SOUS 5733 HAS SOUPS 5733 WITH SCORE 5740.741
AT ITER 451 NEW BEST:: SOT 15409 SOS 7719 HAS SOPS 7719 HAS SOUS 5711 HAS SOUPS 5711 WITH SCORE 5718.719
AT ITER 452 NEW BEST:: SOT 15395 SOS 7708 HAS SOPS 7708 HAS SOUS 5700 HAS SOUPS 5700 WITH SCORE 5707.708
AT ITER 463 NEW BEST:: SOT 15395 SOS 7708 HAS SOPS 7708 HAS SOUS 5699 HAS SOUPS 5699 WITH SCORE 5706.708
AT ITER 468 NEW BEST:: SOT 15395 SOS 7708 HAS SOPS 7708 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5702.708
AT ITER 470 NEW BEST:: SOT 15096 SOS 7894 HAS SOPS 7894 HAS SOUS 5594 HAS SOUPS 5594 WITH SCORE 5601.894
AT ITER 479 NEW BEST:: SOT 15057 SOS 7748 HAS SOPS 7748 HAS SOUS 5567 HAS SOUPS 5567 WITH SCORE 5574.748
AT ITER 495 NEW BEST:: SOT 15047 SOS 7730 HAS SOPS 7730 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5555.73
AT ITER 497 NEW BEST:: SOT 15047 SOS 7706 HAS SOPS 7706 HAS SOUS 5529 HAS SOUPS 5529 WITH SCORE 5536.706
AT ITER 498 NEW BEST:: SOT 14986 SOS 7759 HAS SOPS 7759 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5473.759
AT ITER 506 NEW BEST:: SOT 14982 SOS 7679 HAS SOPS 7679 HAS SOUS 5424 HAS SOUPS 5424 WITH SCORE 5431.679
AT ITER 510 NEW BEST:: SOT 14968 SOS 7251 HAS SOPS 7251 HAS SOUS 5328 HAS SOUPS 5328 WITH SCORE 5335.251
AT ITER 529 NEW BEST:: SOT 14996 SOS 7273 HAS SOPS 7273 HAS SOUS 5299 HAS SOUPS 5299 WITH SCORE 5306.273
AT ITER 533 NEW BEST:: SOT 14996 SOS 7273 HAS SOPS 7273 HAS SOUS 5279 HAS SOUPS 5279 WITH SCORE 5286.273
AT ITER 545 NEW BEST:: SOT 14916 SOS 7182 HAS SOPS 7182 HAS SOUS 5195 HAS SOUPS 5195 WITH SCORE 5202.182
AT ITER 546 NEW BEST:: SOT 14882 SOS 7109 HAS SOPS 7109 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5141.109
AT ITER 547 NEW BEST:: SOT 14882 SOS 7099 HAS SOPS 7099 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5141.099
AT ITER 549 NEW BEST:: SOT 14878 SOS 7095 HAS SOPS 7095 HAS SOUS 5130 HAS SOUPS 5130 WITH SCORE 5137.095
AT ITER 564 NEW BEST:: SOT 14877 SOS 7093 HAS SOPS 7093 HAS SOUS 5128 HAS SOUPS 5128 WITH SCORE 5135.093
AT ITER 576 NEW BEST:: SOT 14871 SOS 7093 HAS SOPS 7093 HAS SOUS 5122 HAS SOUPS 5122 WITH SCORE 5129.093
AT ITER 586 NEW BEST:: SOT 14868 SOS 7084 HAS SOPS 7084 HAS SOUS 5119 HAS SOUPS 5119 WITH SCORE 5126.084
AT ITER 588 NEW BEST:: SOT 14857 SOS 7073 HAS SOPS 7073 HAS SOUS 5097 HAS SOUPS 5097 WITH SCORE 5104.073
AT ITER 592 NEW BEST:: SOT 14816 SOS 7008 HAS SOPS 7008 HAS SOUS 5077 HAS SOUPS 5077 WITH SCORE 5084.008
AT ITER 598 NEW BEST:: SOT 14780 SOS 6916 HAS SOPS 6916 HAS SOUS 5028 HAS SOUPS 5028 WITH SCORE 5034.916
AT ITER 605 NEW BEST:: SOT 14773 SOS 6891 HAS SOPS 6891 HAS SOUS 5013 HAS SOUPS 5013 WITH SCORE 5019.891
AT ITER 611 NEW BEST:: SOT 14754 SOS 6874 HAS SOPS 6874 HAS SOUS 4999 HAS SOUPS 4999 WITH SCORE 5005.874
AT ITER 620 NEW BEST:: SOT 14754 SOS 6874 HAS SOPS 6874 HAS SOUS 4987 HAS SOUPS 4987 WITH SCORE 4993.874
AT ITER 621 NEW BEST:: SOT 14759 SOS 6840 HAS SOPS 6840 HAS SOUS 4939 HAS SOUPS 4939 WITH SCORE 4945.84
AT ITER 635 NEW BEST:: SOT 14744 SOS 6810 HAS SOPS 6810 HAS SOUS 4924 HAS SOUPS 4924 WITH SCORE 4930.81
AT ITER 638 NEW BEST:: SOT 14692 SOS 6755 HAS SOPS 6755 HAS SOUS 4869 HAS SOUPS 4869 WITH SCORE 4875.755
AT ITER 641 NEW BEST:: SOT 14701 SOS 6824 HAS SOPS 6824 HAS SOUS 4857 HAS SOUPS 4857 WITH SCORE 4863.824
AT ITER 669 NEW BEST:: SOT 14701 SOS 6824 HAS SOPS 6824 HAS SOUS 4852 HAS SOUPS 4852 WITH SCORE 4858.824
AT ITER 680 NEW BEST:: SOT 14669 SOS 6759 HAS SOPS 6759 HAS SOUS 4817 HAS SOUPS 4817 WITH SCORE 4823.759
AT ITER 695 NEW BEST:: SOT 14676 SOS 6706 HAS SOPS 6706 HAS SOUS 4814 HAS SOUPS 4814 WITH SCORE 4820.706
AT ITER 702 NEW BEST:: SOT 14674 SOS 6716 HAS SOPS 6716 HAS SOUS 4803 HAS SOUPS 4803 WITH SCORE 4809.716
AT ITER 706 NEW BEST:: SOT 14672 SOS 6714 HAS SOPS 6714 HAS SOUS 4801 HAS SOUPS 4801 WITH SCORE 4807.714
AT ITER 725 NEW BEST:: SOT 14649 SOS 6693 HAS SOPS 6693 HAS SOUS 4743 HAS SOUPS 4743 WITH SCORE 4749.693
AT ITER 759 NEW BEST:: SOT 14637 SOS 6681 HAS SOPS 6681 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4737.681
AT ITER 782 NEW BEST:: SOT 14637 SOS 6660 HAS SOPS 6660 HAS SOUS 4717 HAS SOUPS 4717 WITH SCORE 4723.66
AT ITER 788 NEW BEST:: SOT 14669 SOS 6684 HAS SOPS 6684 HAS SOUS 4697 HAS SOUPS 4697 WITH SCORE 4703.684
AT ITER 791 NEW BEST:: SOT 14689 SOS 6741 HAS SOPS 6741 HAS SOUS 4693 HAS SOUPS 4693 WITH SCORE 4699.741
AT ITER 817 NEW BEST:: SOT 14689 SOS 6730 HAS SOPS 6730 HAS SOUS 4682 HAS SOUPS 4682 WITH SCORE 4688.73
AT ITER 832 NEW BEST:: SOT 14688 SOS 6727 HAS SOPS 6727 HAS SOUS 4681 HAS SOUPS 4681 WITH SCORE 4687.727
AT ITER 838 NEW BEST:: SOT 14682 SOS 6728 HAS SOPS 6728 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4682.728
AT ITER 843 NEW BEST:: SOT 14676 SOS 6720 HAS SOPS 6720 HAS SOUS 4666 HAS SOUPS 4666 WITH SCORE 4672.72
AT ITER 873 NEW BEST:: SOT 14676 SOS 6708 HAS SOPS 6708 HAS SOUS 4666 HAS SOUPS 4666 WITH SCORE 4672.708
AT ITER 900 NEW BEST:: SOT 14698 SOS 6681 HAS SOPS 6681 HAS SOUS 4648 HAS SOUPS 4648 WITH SCORE 4654.681
AT ITER 907 NEW BEST:: SOT 14695 SOS 6661 HAS SOPS 6661 HAS SOUS 4646 HAS SOUPS 4646 WITH SCORE 4652.661
AT ITER 928 NEW BEST:: SOT 14690 SOS 6659 HAS SOPS 6659 HAS SOUS 4646 HAS SOUPS 4646 WITH SCORE 4652.659
AT ITER 941 NEW BEST:: SOT 14678 SOS 6680 HAS SOPS 6680 HAS SOUS 4644 HAS SOUPS 4644 WITH SCORE 4650.68
AT ITER 942 NEW BEST:: SOT 14673 SOS 6666 HAS SOPS 6666 HAS SOUS 4636 HAS SOUPS 4636 WITH SCORE 4642.666
AT ITER 957 NEW BEST:: SOT 14658 SOS 6650 HAS SOPS 6650 HAS SOUS 4627 HAS SOUPS 4627 WITH SCORE 4633.65
AT ITER 959 NEW BEST:: SOT 14646 SOS 6582 HAS SOPS 6582 HAS SOUS 4615 HAS SOUPS 4615 WITH SCORE 4621.582
AT ITER 965 NEW BEST:: SOT 14638 SOS 6570 HAS SOPS 6570 HAS SOUS 4585 HAS SOUPS 4585 WITH SCORE 4591.57
AT ITER 976 NEW BEST:: SOT 14637 SOS 6568 HAS SOPS 6568 HAS SOUS 4583 HAS SOUPS 4583 WITH SCORE 4589.568
AT ITER 996 NEW BEST:: SOT 14633 SOS 6553 HAS SOPS 6553 HAS SOUS 4568 HAS SOUPS 4568 WITH SCORE 4574.553
AT ITER 997 NEW BEST:: SOT 14633 SOS 6554 HAS SOPS 6554 HAS SOUS 4564 HAS SOUPS 4564 WITH SCORE 4570.554
AT ITER 1001 NEW BEST:: SOT 14634 SOS 6541 HAS SOPS 6541 HAS SOUS 4558 HAS SOUPS 4558 WITH SCORE 4564.541
AT ITER 1010 NEW BEST:: SOT 14636 SOS 6541 HAS SOPS 6541 HAS SOUS 4555 HAS SOUPS 4555 WITH SCORE 4561.541
AT ITER 1033 NEW BEST:: SOT 14641 SOS 6537 HAS SOPS 6537 HAS SOUS 4549 HAS SOUPS 4549 WITH SCORE 4555.537
AT ITER 1045 NEW BEST:: SOT 14639 SOS 6535 HAS SOPS 6535 HAS SOUS 4547 HAS SOUPS 4547 WITH SCORE 4553.535
AT ITER 1055 NEW BEST:: SOT 14638 SOS 6534 HAS SOPS 6534 HAS SOUS 4541 HAS SOUPS 4541 WITH SCORE 4547.534
AT ITER 1062 NEW BEST:: SOT 14630 SOS 6526 HAS SOPS 6526 HAS SOUS 4525 HAS SOUPS 4525 WITH SCORE 4531.526
AT ITER 1068 NEW BEST:: SOT 14589 SOS 6906 HAS SOPS 6906 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4526.906
AT ITER 1074 NEW BEST:: SOT 14617 SOS 6828 HAS SOPS 6828 HAS SOUS 4493 HAS SOUPS 4493 WITH SCORE 4499.828
AT ITER 1075 NEW BEST:: SOT 14586 SOS 6818 HAS SOPS 6818 HAS SOUS 4471 HAS SOUPS 4471 WITH SCORE 4477.818
AT ITER 1085 NEW BEST:: SOT 14591 SOS 6862 HAS SOPS 6862 HAS SOUS 4464 HAS SOUPS 4464 WITH SCORE 4470.862
AT ITER 1089 NEW BEST:: SOT 14584 SOS 6861 HAS SOPS 6861 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4462.861
AT ITER 1096 NEW BEST:: SOT 14580 SOS 7416 HAS SOPS 7416 HAS SOUS 4451 HAS SOUPS 4451 WITH SCORE 4458.416
AT ITER 1103 NEW BEST:: SOT 14574 SOS 7410 HAS SOPS 7410 HAS SOUS 4439 HAS SOUPS 4439 WITH SCORE 4446.41
AT ITER 1108 NEW BEST:: SOT 14573 SOS 7411 HAS SOPS 7411 HAS SOUS 4437 HAS SOUPS 4437 WITH SCORE 4444.411
AT ITER 1113 NEW BEST:: SOT 14540 SOS 7345 HAS SOPS 7345 HAS SOUS 4400 HAS SOUPS 4400 WITH SCORE 4407.345
AT ITER 1115 NEW BEST:: SOT 14558 SOS 7326 HAS SOPS 7326 HAS SOUS 4394 HAS SOUPS 4394 WITH SCORE 4401.326
AT ITER 1123 NEW BEST:: SOT 14560 SOS 7325 HAS SOPS 7325 HAS SOUS 4394 HAS SOUPS 4394 WITH SCORE 4401.325
AT ITER 1124 NEW BEST:: SOT 14540 SOS 7288 HAS SOPS 7288 HAS SOUS 4385 HAS SOUPS 4385 WITH SCORE 4392.288
AT ITER 1131 NEW BEST:: SOT 14546 SOS 7294 HAS SOPS 7294 HAS SOUS 4369 HAS SOUPS 4369 WITH SCORE 4376.294
AT ITER 1157 NEW BEST:: SOT 14540 SOS 7291 HAS SOPS 7291 HAS SOUS 4366 HAS SOUPS 4366 WITH SCORE 4373.291
AT ITER 1164 NEW BEST:: SOT 14504 SOS 7882 HAS SOPS 7882 HAS SOUS 4348 HAS SOUPS 4348 WITH SCORE 4355.882
AT ITER 1169 NEW BEST:: SOT 14502 SOS 7866 HAS SOPS 7866 HAS SOUS 4339 HAS SOUPS 4339 WITH SCORE 4346.866
AT ITER 1173 NEW BEST:: SOT 14493 SOS 7857 HAS SOPS 7857 HAS SOUS 4309 HAS SOUPS 4309 WITH SCORE 4316.857
AT ITER 1188 NEW BEST:: SOT 14495 SOS 7859 HAS SOPS 7859 HAS SOUS 4306 HAS SOUPS 4306 WITH SCORE 4313.859
AT ITER 1190 NEW BEST:: SOT 14471 SOS 7717 HAS SOPS 7717 HAS SOUS 4237 HAS SOUPS 4237 WITH SCORE 4244.717
AT ITER 1217 NEW BEST:: SOT 14471 SOS 7717 HAS SOPS 7717 HAS SOUS 4234 HAS SOUPS 4234 WITH SCORE 4241.717
AT ITER 1219 NEW BEST:: SOT 14483 SOS 7729 HAS SOPS 7729 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4222.729
AT ITER 1226 NEW BEST:: SOT 14458 SOS 7594 HAS SOPS 7594 HAS SOUS 4202 HAS SOUPS 4202 WITH SCORE 4209.594
AT ITER 1247 NEW BEST:: SOT 14458 SOS 7594 HAS SOPS 7594 HAS SOUS 4201 HAS SOUPS 4201 WITH SCORE 4208.594
AT ITER 1258 NEW BEST:: SOT 14450 SOS 7594 HAS SOPS 7594 HAS SOUS 4193 HAS SOUPS 4193 WITH SCORE 4200.594
AT ITER 1260 NEW BEST:: SOT 14450 SOS 7584 HAS SOPS 7584 HAS SOUS 4193 HAS SOUPS 4193 WITH SCORE 4200.584
AT ITER 1265 NEW BEST:: SOT 14449 SOS 7576 HAS SOPS 7576 HAS SOUS 4186 HAS SOUPS 4186 WITH SCORE 4193.576
AT ITER 1267 NEW BEST:: SOT 14445 SOS 7601 HAS SOPS 7601 HAS SOUS 4182 HAS SOUPS 4182 WITH SCORE 4189.601
AT ITER 1271 NEW BEST:: SOT 14450 SOS 7537 HAS SOPS 7537 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4183.537
AT ITER 1296 NEW BEST:: SOT 14473 SOS 7560 HAS SOPS 7560 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4153.56
AT ITER 1322 NEW BEST:: SOT 14487 SOS 7490 HAS SOPS 7490 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4143.49
AT ITER 1326 NEW BEST:: SOT 14490 SOS 7490 HAS SOPS 7490 HAS SOUS 4133 HAS SOUPS 4133 WITH SCORE 4140.49
AT ITER 1346 NEW BEST:: SOT 14493 SOS 7519 HAS SOPS 7519 HAS SOUS 4126 HAS SOUPS 4126 WITH SCORE 4133.519
AT ITER 1347 NEW BEST:: SOT 14429 SOS 7455 HAS SOPS 7455 HAS SOUS 4075 HAS SOUPS 4075 WITH SCORE 4082.455
AT ITER 1370 NEW BEST:: SOT 14432 SOS 7458 HAS SOPS 7458 HAS SOUS 4073 HAS SOUPS 4073 WITH SCORE 4080.458
AT ITER 1374 NEW BEST:: SOT 14432 SOS 7464 HAS SOPS 7464 HAS SOUS 4072 HAS SOUPS 4072 WITH SCORE 4079.464
AT ITER 1402 NEW BEST:: SOT 14430 SOS 7464 HAS SOPS 7464 HAS SOUS 4070 HAS SOUPS 4070 WITH SCORE 4077.464
AT ITER 1409 NEW BEST:: SOT 14430 SOS 7446 HAS SOPS 7446 HAS SOUS 4061 HAS SOUPS 4061 WITH SCORE 4068.446
AT ITER 1441 NEW BEST:: SOT 14241 SOS 7257 HAS SOPS 7257 HAS SOUS 3880 HAS SOUPS 3880 WITH SCORE 3887.257
AT ITER 1467 NEW BEST:: SOT 14237 SOS 7249 HAS SOPS 7249 HAS SOUS 3876 HAS SOUPS 3876 WITH SCORE 3883.249
AT ITER 1480 NEW BEST:: SOT 14232 SOS 7268 HAS SOPS 7268 HAS SOUS 3871 HAS SOUPS 3871 WITH SCORE 3878.268
AT ITER 1489 NEW BEST:: SOT 14224 SOS 7274 HAS SOPS 7274 HAS SOUS 3866 HAS SOUPS 3866 WITH SCORE 3873.274
AT ITER 1523 NEW BEST:: SOT 14223 SOS 7273 HAS SOPS 7273 HAS SOUS 3865 HAS SOUPS 3865 WITH SCORE 3872.273
AT ITER 1536 NEW BEST:: SOT 14217 SOS 7039 HAS SOPS 7039 HAS SOUS 3847 HAS SOUPS 3847 WITH SCORE 3854.039
AT ITER 1545 NEW BEST:: SOT 14228 SOS 7050 HAS SOPS 7050 HAS SOUS 3841 HAS SOUPS 3841 WITH SCORE 3848.05
AT ITER 1546 NEW BEST:: SOT 14228 SOS 7050 HAS SOPS 7050 HAS SOUS 3838 HAS SOUPS 3838 WITH SCORE 3845.05
AT ITER 1560 NEW BEST:: SOT 14202 SOS 7024 HAS SOPS 7024 HAS SOUS 3812 HAS SOUPS 3812 WITH SCORE 3819.024
AT ITER 1584 NEW BEST:: SOT 14145 SOS 6967 HAS SOPS 6967 HAS SOUS 3765 HAS SOUPS 3765 WITH SCORE 3771.967
AT ITER 1597 NEW BEST:: SOT 14139 SOS 6961 HAS SOPS 6961 HAS SOUS 3757 HAS SOUPS 3757 WITH SCORE 3763.961
AT ITER 1661 NEW BEST:: SOT 14124 SOS 6953 HAS SOPS 6953 HAS SOUS 3749 HAS SOUPS 3749 WITH SCORE 3755.953
AT ITER 1685 NEW BEST:: SOT 14127 SOS 6956 HAS SOPS 6956 HAS SOUS 3740 HAS SOUPS 3740 WITH SCORE 3746.956
AT ITER 1689 NEW BEST:: SOT 14126 SOS 6955 HAS SOPS 6955 HAS SOUS 3738 HAS SOUPS 3738 WITH SCORE 3744.955
AT ITER 1706 NEW BEST:: SOT 14126 SOS 6967 HAS SOPS 6967 HAS SOUS 3737 HAS SOUPS 3737 WITH SCORE 3743.967
AT ITER 1718 NEW BEST:: SOT 14124 SOS 6965 HAS SOPS 6965 HAS SOUS 3737 HAS SOUPS 3737 WITH SCORE 3743.965
AT ITER 1730 NEW BEST:: SOT 14118 SOS 6941 HAS SOPS 6941 HAS SOUS 3725 HAS SOUPS 3725 WITH SCORE 3731.941
AT ITER 1744 NEW BEST:: SOT 14116 SOS 6934 HAS SOPS 6934 HAS SOUS 3720 HAS SOUPS 3720 WITH SCORE 3726.934
AT ITER 1788 NEW BEST:: SOT 14123 SOS 6961 HAS SOPS 6961 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3724.961
AT ITER 1817 NEW BEST:: SOT 14127 SOS 6960 HAS SOPS 6960 HAS SOUS 3715 HAS SOUPS 3715 WITH SCORE 3721.96
AT ITER 1828 NEW BEST:: SOT 14123 SOS 6956 HAS SOPS 6956 HAS SOUS 3714 HAS SOUPS 3714 WITH SCORE 3720.956
AT ITER 1836 NEW BEST:: SOT 14121 SOS 6952 HAS SOPS 6952 HAS SOUS 3711 HAS SOUPS 3711 WITH SCORE 3717.952
AT ITER 1880 NEW BEST:: SOT 14119 SOS 6950 HAS SOPS 6950 HAS SOUS 3709 HAS SOUPS 3709 WITH SCORE 3715.95
AT ITER 1932 NEW BEST:: SOT 14118 SOS 6949 HAS SOPS 6949 HAS SOUS 3707 HAS SOUPS 3707 WITH SCORE 3713.949
AT ITER 1964 NEW BEST:: SOT 14117 SOS 6949 HAS SOPS 6949 HAS SOUS 3706 HAS SOUPS 3706 WITH SCORE 3712.949
AT ITER 1980 NEW BEST:: SOT 14111 SOS 6943 HAS SOPS 6943 HAS SOUS 3697 HAS SOUPS 3697 WITH SCORE 3703.943
AT ITER 1988 NEW BEST:: SOT 14107 SOS 6939 HAS SOPS 6939 HAS SOUS 3697 HAS SOUPS 3697 WITH SCORE 3703.939
AT ITER 1991 NEW BEST:: SOT 14097 SOS 6919 HAS SOPS 6919 HAS SOUS 3693 HAS SOUPS 3693 WITH SCORE 3699.919
AT ITER 2002 NEW BEST:: SOT 14091 SOS 6913 HAS SOPS 6913 HAS SOUS 3687 HAS SOUPS 3687 WITH SCORE 3693.913
AT ITER 2032 NEW BEST:: SOT 14091 SOS 6915 HAS SOPS 6915 HAS SOUS 3685 HAS SOUPS 3685 WITH SCORE 3691.915
AT ITER 2052 NEW BEST:: SOT 14086 SOS 6910 HAS SOPS 6910 HAS SOUS 3670 HAS SOUPS 3670 WITH SCORE 3676.91
AT ITER 2068 NEW BEST:: SOT 14084 SOS 6906 HAS SOPS 6906 HAS SOUS 3666 HAS SOUPS 3666 WITH SCORE 3672.906
AT ITER 2142 NEW BEST:: SOT 14081 SOS 6900 HAS SOPS 6900 HAS SOUS 3662 HAS SOUPS 3662 WITH SCORE 3668.9
AT ITER 2146 NEW BEST:: SOT 14063 SOS 6874 HAS SOPS 6874 HAS SOUS 3640 HAS SOUPS 3640 WITH SCORE 3646.874
AT ITER 2158 NEW BEST:: SOT 14018 SOS 6855 HAS SOPS 6855 HAS SOUS 3640 HAS SOUPS 3640 WITH SCORE 3646.855
AT ITER 2200 NEW BEST:: SOT 14015 SOS 6852 HAS SOPS 6852 HAS SOUS 3636 HAS SOUPS 3636 WITH SCORE 3642.852
AT ITER 2219 NEW BEST:: SOT 14013 SOS 6844 HAS SOPS 6844 HAS SOUS 3630 HAS SOUPS 3630 WITH SCORE 3636.844
AT ITER 2230 NEW BEST:: SOT 14015 SOS 6838 HAS SOPS 6838 HAS SOUS 3629 HAS SOUPS 3629 WITH SCORE 3635.838
AT ITER 2244 NEW BEST:: SOT 13995 SOS 6818 HAS SOPS 6818 HAS SOUS 3609 HAS SOUPS 3609 WITH SCORE 3615.818
AT ITER 2258 NEW BEST:: SOT 13995 SOS 6814 HAS SOPS 6814 HAS SOUS 3607 HAS SOUPS 3607 WITH SCORE 3613.814
AT ITER 2263 NEW BEST:: SOT 13995 SOS 6801 HAS SOPS 6801 HAS SOUS 3603 HAS SOUPS 3603 WITH SCORE 3609.801
AT ITER 2287 NEW BEST:: SOT 14003 SOS 6829 HAS SOPS 6829 HAS SOUS 3600 HAS SOUPS 3600 WITH SCORE 3606.829
AT ITER 2303 NEW BEST:: SOT 13961 SOS 6786 HAS SOPS 6786 HAS SOUS 3570 HAS SOUPS 3570 WITH SCORE 3576.786
AT ITER 2356 NEW BEST:: SOT 13951 SOS 6742 HAS SOPS 6742 HAS SOUS 3539 HAS SOUPS 3539 WITH SCORE 3545.742
AT ITER 2396 NEW BEST:: SOT 13946 SOS 6737 HAS SOPS 6737 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3535.737
AT ITER 2412 NEW BEST:: SOT 13923 SOS 6657 HAS SOPS 6657 HAS SOUS 3509 HAS SOUPS 3509 WITH SCORE 3515.657
AT ITER 2424 NEW BEST:: SOT 13919 SOS 6649 HAS SOPS 6649 HAS SOUS 3505 HAS SOUPS 3505 WITH SCORE 3511.649
AT ITER 2430 NEW BEST:: SOT 13919 SOS 6649 HAS SOPS 6649 HAS SOUS 3499 HAS SOUPS 3499 WITH SCORE 3505.649
AT ITER 2438 NEW BEST:: SOT 13919 SOS 6648 HAS SOPS 6648 HAS SOUS 3499 HAS SOUPS 3499 WITH SCORE 3505.648
AT ITER 2446 NEW BEST:: SOT 13921 SOS 6640 HAS SOPS 6640 HAS SOUS 3499 HAS SOUPS 3499 WITH SCORE 3505.64
AT ITER 2450 NEW BEST:: SOT 13909 SOS 6631 HAS SOPS 6631 HAS SOUS 3490 HAS SOUPS 3490 WITH SCORE 3496.631
AT ITER 2534 NEW BEST:: SOT 13905 SOS 6623 HAS SOPS 6623 HAS SOUS 3486 HAS SOUPS 3486 WITH SCORE 3492.623
AT ITER 2545 NEW BEST:: SOT 13901 SOS 6597 HAS SOPS 6597 HAS SOUS 3484 HAS SOUPS 3484 WITH SCORE 3490.597
AT ITER 2556 NEW BEST:: SOT 13897 SOS 6593 HAS SOPS 6593 HAS SOUS 3480 HAS SOUPS 3480 WITH SCORE 3486.593
AT ITER 2586 NEW BEST:: SOT 13895 SOS 6591 HAS SOPS 6591 HAS SOUS 3474 HAS SOUPS 3474 WITH SCORE 3480.591
AT ITER 2595 NEW BEST:: SOT 13886 SOS 6575 HAS SOPS 6575 HAS SOUS 3447 HAS SOUPS 3447 WITH SCORE 3453.575
AT ITER 2604 NEW BEST:: SOT 13886 SOS 6573 HAS SOPS 6573 HAS SOUS 3445 HAS SOUPS 3445 WITH SCORE 3451.573
AT ITER 2631 NEW BEST:: SOT 13886 SOS 6565 HAS SOPS 6565 HAS SOUS 3445 HAS SOUPS 3445 WITH SCORE 3451.565
AT ITER 2663 NEW BEST:: SOT 13874 SOS 6557 HAS SOPS 6557 HAS SOUS 3445 HAS SOUPS 3445 WITH SCORE 3451.557
AT ITER 2675 NEW BEST:: SOT 13873 SOS 6555 HAS SOPS 6555 HAS SOUS 3444 HAS SOUPS 3444 WITH SCORE 3450.555
AT ITER 2688 NEW BEST:: SOT 13885 SOS 6473 HAS SOPS 6473 HAS SOUS 3443 HAS SOUPS 3443 WITH SCORE 3449.473
AT ITER 2697 NEW BEST:: SOT 13885 SOS 6472 HAS SOPS 6472 HAS SOUS 3442 HAS SOUPS 3442 WITH SCORE 3448.472
AT ITER 2724 NEW BEST:: SOT 13885 SOS 6470 HAS SOPS 6470 HAS SOUS 3442 HAS SOUPS 3442 WITH SCORE 3448.47
AT ITER 2756 NEW BEST:: SOT 13885 SOS 6469 HAS SOPS 6469 HAS SOUS 3442 HAS SOUPS 3442 WITH SCORE 3448.469
AT ITER 2757 NEW BEST:: SOT 13928 SOS 6456 HAS SOPS 6456 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3447.456
AT ITER 2784 NEW BEST:: SOT 13920 SOS 6407 HAS SOPS 6407 HAS SOUS 3418 HAS SOUPS 3418 WITH SCORE 3424.407
AT ITER 2793 NEW BEST:: SOT 13912 SOS 6409 HAS SOPS 6409 HAS SOUS 3411 HAS SOUPS 3411 WITH SCORE 3417.409
AT ITER 2796 NEW BEST:: SOT 13911 SOS 6409 HAS SOPS 6409 HAS SOUS 3409 HAS SOUPS 3409 WITH SCORE 3415.409
AT ITER 2817 NEW BEST:: SOT 13913 SOS 6403 HAS SOPS 6403 HAS SOUS 3401 HAS SOUPS 3401 WITH SCORE 3407.403
AT ITER 2828 NEW BEST:: SOT 13924 SOS 6414 HAS SOPS 6414 HAS SOUS 3400 HAS SOUPS 3400 WITH SCORE 3406.414
AT ITER 2829 NEW BEST:: SOT 13911 SOS 6417 HAS SOPS 6417 HAS SOUS 3396 HAS SOUPS 3396 WITH SCORE 3402.417
AT ITER 2830 NEW BEST:: SOT 13910 SOS 6416 HAS SOPS 6416 HAS SOUS 3391 HAS SOUPS 3391 WITH SCORE 3397.416
AT ITER 2874 NEW BEST:: SOT 13910 SOS 6414 HAS SOPS 6414 HAS SOUS 3391 HAS SOUPS 3391 WITH SCORE 3397.414
AT ITER 2877 NEW BEST:: SOT 13906 SOS 6380 HAS SOPS 6380 HAS SOUS 3390 HAS SOUPS 3390 WITH SCORE 3396.38
AT ITER 2902 NEW BEST:: SOT 13906 SOS 6354 HAS SOPS 6354 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3383.354
AT ITER 2924 NEW BEST:: SOT 13906 SOS 6352 HAS SOPS 6352 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3383.352
AT ITER 2931 NEW BEST:: SOT 13877 SOS 6277 HAS SOPS 6277 HAS SOUS 3345 HAS SOUPS 3345 WITH SCORE 3351.277
AT ITER 2941 NEW BEST:: SOT 13868 SOS 6242 HAS SOPS 6242 HAS SOUS 3336 HAS SOUPS 3336 WITH SCORE 3342.242
AT ITER 2946 NEW BEST:: SOT 13864 SOS 6226 HAS SOPS 6226 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3332.226
AT ITER 2955 NEW BEST:: SOT 13856 SOS 6210 HAS SOPS 6210 HAS SOUS 3314 HAS SOUPS 3314 WITH SCORE 3320.21
AT ITER 2991 NEW BEST:: SOT 13862 SOS 6216 HAS SOPS 6216 HAS SOUS 3311 HAS SOUPS 3311 WITH SCORE 3317.216
AT ITER 2995 NEW BEST:: SOT 13862 SOS 6210 HAS SOPS 6210 HAS SOUS 3308 HAS SOUPS 3308 WITH SCORE 3314.21
AT ITER 3020 NEW BEST:: SOT 13861 SOS 6208 HAS SOPS 6208 HAS SOUS 3306 HAS SOUPS 3306 WITH SCORE 3312.208
AT ITER 3044 NEW BEST:: SOT 13844 SOS 6191 HAS SOPS 6191 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3298.191
AT ITER 3046 NEW BEST:: SOT 13842 SOS 6187 HAS SOPS 6187 HAS SOUS 3288 HAS SOUPS 3288 WITH SCORE 3294.187
AT ITER 3064 NEW BEST:: SOT 13842 SOS 6188 HAS SOPS 6188 HAS SOUS 3283 HAS SOUPS 3283 WITH SCORE 3289.188
AT ITER 3131 NEW BEST:: SOT 13832 SOS 6168 HAS SOPS 6168 HAS SOUS 3263 HAS SOUPS 3263 WITH SCORE 3269.168
AT ITER 3159 NEW BEST:: SOT 13831 SOS 6164 HAS SOPS 6164 HAS SOUS 3261 HAS SOUPS 3261 WITH SCORE 3267.164
AT ITER 3201 NEW BEST:: SOT 13825 SOS 6165 HAS SOPS 6165 HAS SOUS 3253 HAS SOUPS 3253 WITH SCORE 3259.165
AT ITER 3203 NEW BEST:: SOT 13825 SOS 6172 HAS SOPS 6172 HAS SOUS 3246 HAS SOUPS 3246 WITH SCORE 3252.172
AT ITER 3249 NEW BEST:: SOT 13825 SOS 6164 HAS SOPS 6164 HAS SOUS 3242 HAS SOUPS 3242 WITH SCORE 3248.164
AT ITER 3300 NEW BEST:: SOT 13824 SOS 6163 HAS SOPS 6163 HAS SOUS 3242 HAS SOUPS 3242 WITH SCORE 3248.163
AT ITER 3338 NEW BEST:: SOT 13823 SOS 6161 HAS SOPS 6161 HAS SOUS 3241 HAS SOUPS 3241 WITH SCORE 3247.161
AT ITER 3345 NEW BEST:: SOT 13812 SOS 6141 HAS SOPS 6141 HAS SOUS 3219 HAS SOUPS 3219 WITH SCORE 3225.141
AT ITER 3346 NEW BEST:: SOT 13800 SOS 6138 HAS SOPS 6138 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3222.138
AT ITER 3372 NEW BEST:: SOT 13799 SOS 6135 HAS SOPS 6135 HAS SOUS 3214 HAS SOUPS 3214 WITH SCORE 3220.135
AT ITER 3379 NEW BEST:: SOT 13795 SOS 6128 HAS SOPS 6128 HAS SOUS 3213 HAS SOUPS 3213 WITH SCORE 3219.128
AT ITER 3443 NEW BEST:: SOT 13795 SOS 6127 HAS SOPS 6127 HAS SOUS 3212 HAS SOUPS 3212 WITH SCORE 3218.127
AT ITER 3475 NEW BEST:: SOT 13774 SOS 6061 HAS SOPS 6061 HAS SOUS 3180 HAS SOUPS 3180 WITH SCORE 3186.061
AT ITER 3546 NEW BEST:: SOT 13771 SOS 6056 HAS SOPS 6056 HAS SOUS 3180 HAS SOUPS 3180 WITH SCORE 3186.056
AT ITER 3564 NEW BEST:: SOT 13770 SOS 6055 HAS SOPS 6055 HAS SOUS 3180 HAS SOUPS 3180 WITH SCORE 3186.055
AT ITER 3631 NEW BEST:: SOT 13768 SOS 6052 HAS SOPS 6052 HAS SOUS 3177 HAS SOUPS 3177 WITH SCORE 3183.052
AT ITER 3647 NEW BEST:: SOT 13765 SOS 6040 HAS SOPS 6040 HAS SOUS 3177 HAS SOUPS 3177 WITH SCORE 3183.04
AT ITER 3665 NEW BEST:: SOT 13761 SOS 6018 HAS SOPS 6018 HAS SOUS 3170 HAS SOUPS 3170 WITH SCORE 3176.018
AT ITER 3738 NEW BEST:: SOT 13760 SOS 6018 HAS SOPS 6018 HAS SOUS 3169 HAS SOUPS 3169 WITH SCORE 3175.018
AT ITER 3852 NEW BEST:: SOT 13761 SOS 6012 HAS SOPS 6012 HAS SOUS 3167 HAS SOUPS 3167 WITH SCORE 3173.012
AT ITER 3860 NEW BEST:: SOT 13761 SOS 6000 HAS SOPS 6000 HAS SOUS 3155 HAS SOUPS 3155 WITH SCORE 3161.0
AT ITER 3996 NEW BEST:: SOT 13761 SOS 6008 HAS SOPS 6008 HAS SOUS 3152 HAS SOUPS 3152 WITH SCORE 3158.008
AT ITER 4163 NEW BEST:: SOT 13759 SOS 6002 HAS SOPS 6002 HAS SOUS 3148 HAS SOUPS 3148 WITH SCORE 3154.002
AT ITER 4280 NEW BEST:: SOT 13755 SOS 5988 HAS SOPS 5988 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3147.988
AT ITER 4286 NEW BEST:: SOT 13755 SOS 5983 HAS SOPS 5983 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3147.983
AT ITER 4298 NEW BEST:: SOT 13742 SOS 5950 HAS SOPS 5950 HAS SOUS 3136 HAS SOUPS 3136 WITH SCORE 3141.95
AT ITER 4327 NEW BEST:: SOT 13748 SOS 5936 HAS SOPS 5936 HAS SOUS 3118 HAS SOUPS 3118 WITH SCORE 3123.936
AT ITER 4343 NEW BEST:: SOT 13747 SOS 5930 HAS SOPS 5930 HAS SOUS 3114 HAS SOUPS 3114 WITH SCORE 3119.93
AT ITER 4373 NEW BEST:: SOT 13746 SOS 5927 HAS SOPS 5927 HAS SOUS 3113 HAS SOUPS 3113 WITH SCORE 3118.927
AT ITER 4383 NEW BEST:: SOT 13749 SOS 5937 HAS SOPS 5937 HAS SOUS 3109 HAS SOUPS 3109 WITH SCORE 3114.937
AT ITER 4387 NEW BEST:: SOT 13748 SOS 5935 HAS SOPS 5935 HAS SOUS 3108 HAS SOUPS 3108 WITH SCORE 3113.935
AT ITER 4393 NEW BEST:: SOT 13748 SOS 5921 HAS SOPS 5921 HAS SOUS 3094 HAS SOUPS 3094 WITH SCORE 3099.921
AT ITER 4398 NEW BEST:: SOT 13743 SOS 5916 HAS SOPS 5916 HAS SOUS 3092 HAS SOUPS 3092 WITH SCORE 3097.916
AT ITER 4467 NEW BEST:: SOT 13723 SOS 5886 HAS SOPS 5886 HAS SOUS 3082 HAS SOUPS 3082 WITH SCORE 3087.886
AT ITER 4555 NEW BEST:: SOT 13720 SOS 5880 HAS SOPS 5880 HAS SOUS 3079 HAS SOUPS 3079 WITH SCORE 3084.88
AT ITER 4575 NEW BEST:: SOT 13721 SOS 5876 HAS SOPS 5876 HAS SOUS 3077 HAS SOUPS 3077 WITH SCORE 3082.876
AT ITER 4585 NEW BEST:: SOT 13721 SOS 5880 HAS SOPS 5880 HAS SOUS 3076 HAS SOUPS 3076 WITH SCORE 3081.88
AT ITER 4645 NEW BEST:: SOT 13715 SOS 5856 HAS SOPS 5856 HAS SOUS 3070 HAS SOUPS 3070 WITH SCORE 3075.856
AT ITER 4656 NEW BEST:: SOT 13713 SOS 6059 HAS SOPS 6059 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3072.059
AT ITER 4669 NEW BEST:: SOT 13712 SOS 6059 HAS SOPS 6059 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3070.059
AT ITER 4699 NEW BEST:: SOT 13713 SOS 6066 HAS SOPS 6066 HAS SOUS 3063 HAS SOUPS 3063 WITH SCORE 3069.066
AT ITER 4758 NEW BEST:: SOT 13712 SOS 6063 HAS SOPS 6063 HAS SOUS 3061 HAS SOUPS 3061 WITH SCORE 3067.063
AT ITER 4828 NEW BEST:: SOT 13712 SOS 6064 HAS SOPS 6064 HAS SOUS 3060 HAS SOUPS 3060 WITH SCORE 3066.064
AT ITER 4833 NEW BEST:: SOT 13702 SOS 6044 HAS SOPS 6044 HAS SOUS 3050 HAS SOUPS 3050 WITH SCORE 3056.044
AT ITER 4842 NEW BEST:: SOT 13702 SOS 6043 HAS SOPS 6043 HAS SOUS 3048 HAS SOUPS 3048 WITH SCORE 3054.043
AT ITER 4938 NEW BEST:: SOT 13700 SOS 6044 HAS SOPS 6044 HAS SOUS 3044 HAS SOUPS 3044 WITH SCORE 3050.044
AT ITER 4992 NEW BEST:: SOT 13700 SOS 6034 HAS SOPS 6034 HAS SOUS 3034 HAS SOUPS 3034 WITH SCORE 3040.034
AT ITER 5032 NEW BEST:: SOT 13700 SOS 6043 HAS SOPS 6043 HAS SOUS 3030 HAS SOUPS 3030 WITH SCORE 3036.043
AT ITER 5103 NEW BEST:: SOT 13698 SOS 6037 HAS SOPS 6037 HAS SOUS 3027 HAS SOUPS 3027 WITH SCORE 3033.037
AT ITER 5113 NEW BEST:: SOT 13701 SOS 6040 HAS SOPS 6040 HAS SOUS 3023 HAS SOUPS 3023 WITH SCORE 3029.04
AT ITER 5114 NEW BEST:: SOT 13693 SOS 6009 HAS SOPS 6009 HAS SOUS 3002 HAS SOUPS 3002 WITH SCORE 3008.009
AT ITER 5277 NEW BEST:: SOT 13701 SOS 6025 HAS SOPS 6025 HAS SOUS 2998 HAS SOUPS 2998 WITH SCORE 3004.025
AT ITER 5290 NEW BEST:: SOT 13700 SOS 6064 HAS SOPS 6064 HAS SOUS 2983 HAS SOUPS 2983 WITH SCORE 2989.064
AT ITER 5383 NEW BEST:: SOT 13696 SOS 6060 HAS SOPS 6060 HAS SOUS 2975 HAS SOUPS 2975 WITH SCORE 2981.06
AT ITER 5497 NEW BEST:: SOT 13695 SOS 6058 HAS SOPS 6058 HAS SOUS 2973 HAS SOUPS 2973 WITH SCORE 2979.058
AT ITER 5581 NEW BEST:: SOT 13695 SOS 6063 HAS SOPS 6063 HAS SOUS 2972 HAS SOUPS 2972 WITH SCORE 2978.063
AT ITER 5603 NEW BEST:: SOT 13699 SOS 6065 HAS SOPS 6065 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2976.065
AT ITER 5606 NEW BEST:: SOT 13699 SOS 6062 HAS SOPS 6062 HAS SOUS 2967 HAS SOUPS 2967 WITH SCORE 2973.062
AT ITER 5863 NEW BEST:: SOT 13695 SOS 6049 HAS SOPS 6049 HAS SOUS 2961 HAS SOUPS 2961 WITH SCORE 2967.049
AT ITER 5895 NEW BEST:: SOT 13699 SOS 6053 HAS SOPS 6053 HAS SOUS 2959 HAS SOUPS 2959 WITH SCORE 2965.053
AT ITER 5927 NEW BEST:: SOT 13699 SOS 6053 HAS SOPS 6053 HAS SOUS 2957 HAS SOUPS 2957 WITH SCORE 2963.053
AT ITER 5953 NEW BEST:: SOT 13694 SOS 6379 HAS SOPS 6379 HAS SOUS 2956 HAS SOUPS 2956 WITH SCORE 2962.379
AT ITER 5979 NEW BEST:: SOT 13693 SOS 6372 HAS SOPS 6372 HAS SOUS 2955 HAS SOUPS 2955 WITH SCORE 2961.372
AT ITER 5986 NEW BEST:: SOT 13689 SOS 6353 HAS SOPS 6353 HAS SOUS 2950 HAS SOUPS 2950 WITH SCORE 2956.353
AT ITER 6107 NEW BEST:: SOT 13689 SOS 6351 HAS SOPS 6351 HAS SOUS 2950 HAS SOUPS 2950 WITH SCORE 2956.351
AT ITER 6156 NEW BEST:: SOT 13689 SOS 6343 HAS SOPS 6343 HAS SOUS 2950 HAS SOUPS 2950 WITH SCORE 2956.343
AT ITER 6165 NEW BEST:: SOT 13691 SOS 6345 HAS SOPS 6345 HAS SOUS 2942 HAS SOUPS 2942 WITH SCORE 2948.345
AT ITER 6180 NEW BEST:: SOT 13690 SOS 6343 HAS SOPS 6343 HAS SOUS 2940 HAS SOUPS 2940 WITH SCORE 2946.343
AT ITER 6181 NEW BEST:: SOT 13690 SOS 6344 HAS SOPS 6344 HAS SOUS 2938 HAS SOUPS 2938 WITH SCORE 2944.344
AT ITER 6224 NEW BEST:: SOT 13689 SOS 6342 HAS SOPS 6342 HAS SOUS 2937 HAS SOUPS 2937 WITH SCORE 2943.342
AT ITER 6250 NEW BEST:: SOT 13688 SOS 6339 HAS SOPS 6339 HAS SOUS 2937 HAS SOUPS 2937 WITH SCORE 2943.339
AT ITER 6297 NEW BEST:: SOT 13660 SOS 6343 HAS SOPS 6343 HAS SOUS 2908 HAS SOUPS 2908 WITH SCORE 2914.343
AT ITER 6330 NEW BEST:: SOT 13660 SOS 6337 HAS SOPS 6337 HAS SOUS 2907 HAS SOUPS 2907 WITH SCORE 2913.337
AT ITER 6467 NEW BEST:: SOT 13658 SOS 6336 HAS SOPS 6336 HAS SOUS 2906 HAS SOUPS 2906 WITH SCORE 2912.336
AT ITER 6479 NEW BEST:: SOT 13657 SOS 6335 HAS SOPS 6335 HAS SOUS 2905 HAS SOUPS 2905 WITH SCORE 2911.335
AT ITER 6484 NEW BEST:: SOT 13657 SOS 6332 HAS SOPS 6332 HAS SOUS 2903 HAS SOUPS 2903 WITH SCORE 2909.332
AT ITER 6558 NEW BEST:: SOT 13655 SOS 6325 HAS SOPS 6325 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2905.325
AT ITER 6706 NEW BEST:: SOT 13655 SOS 6323 HAS SOPS 6323 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2905.323
AT ITER 6807 NEW BEST:: SOT 13652 SOS 6293 HAS SOPS 6293 HAS SOUS 2896 HAS SOUPS 2896 WITH SCORE 2902.293
AT ITER 6812 NEW BEST:: SOT 13653 SOS 6292 HAS SOPS 6292 HAS SOUS 2896 HAS SOUPS 2896 WITH SCORE 2902.292
AT ITER 6946 NEW BEST:: SOT 13658 SOS 6287 HAS SOPS 6287 HAS SOUS 2891 HAS SOUPS 2891 WITH SCORE 2897.287
AT ITER 7040 NEW BEST:: SOT 13659 SOS 6288 HAS SOPS 6288 HAS SOUS 2889 HAS SOUPS 2889 WITH SCORE 2895.288
AT ITER 7181 NEW BEST:: SOT 13664 SOS 6283 HAS SOPS 6283 HAS SOUS 2889 HAS SOUPS 2889 WITH SCORE 2895.283
AT ITER 7190 NEW BEST:: SOT 13667 SOS 6294 HAS SOPS 6294 HAS SOUS 2887 HAS SOUPS 2887 WITH SCORE 2893.294
AT ITER 7347 NEW BEST:: SOT 13665 SOS 6292 HAS SOPS 6292 HAS SOUS 2885 HAS SOUPS 2885 WITH SCORE 2891.292
AT ITER 7356 NEW BEST:: SOT 13666 SOS 6298 HAS SOPS 6298 HAS SOUS 2881 HAS SOUPS 2881 WITH SCORE 2887.298
AT ITER 7483 NEW BEST:: SOT 13666 SOS 6294 HAS SOPS 6294 HAS SOUS 2879 HAS SOUPS 2879 WITH SCORE 2885.294
AT ITER 7506 NEW BEST:: SOT 13666 SOS 6293 HAS SOPS 6293 HAS SOUS 2879 HAS SOUPS 2879 WITH SCORE 2885.293
AT ITER 7558 NEW BEST:: SOT 13664 SOS 6288 HAS SOPS 6288 HAS SOUS 2875 HAS SOUPS 2875 WITH SCORE 2881.288
AT ITER 7572 NEW BEST:: SOT 13664 SOS 6288 HAS SOPS 6288 HAS SOUS 2874 HAS SOUPS 2874 WITH SCORE 2880.288
AT ITER 7670 NEW BEST:: SOT 13664 SOS 6294 HAS SOPS 6294 HAS SOUS 2872 HAS SOUPS 2872 WITH SCORE 2878.294
AT ITER 7705 NEW BEST:: SOT 13663 SOS 6293 HAS SOPS 6293 HAS SOUS 2871 HAS SOUPS 2871 WITH SCORE 2877.293
AT ITER 7819 NEW BEST:: SOT 13663 SOS 6283 HAS SOPS 6283 HAS SOUS 2866 HAS SOUPS 2866 WITH SCORE 2872.283
AT ITER 7843 NEW BEST:: SOT 13662 SOS 6281 HAS SOPS 6281 HAS SOUS 2866 HAS SOUPS 2866 WITH SCORE 2872.281
AT ITER 8160 NEW BEST:: SOT 13661 SOS 6286 HAS SOPS 6286 HAS SOUS 2862 HAS SOUPS 2862 WITH SCORE 2868.286
AT ITER 8383 NEW BEST:: SOT 13658 SOS 6286 HAS SOPS 6286 HAS SOUS 2859 HAS SOUPS 2859 WITH SCORE 2865.286
AT ITER 8388 NEW BEST:: SOT 13656 SOS 6283 HAS SOPS 6283 HAS SOUS 2857 HAS SOUPS 2857 WITH SCORE 2863.283
AT ITER 8429 NEW BEST:: SOT 13646 SOS 6645 HAS SOPS 6645 HAS SOUS 2853 HAS SOUPS 2853 WITH SCORE 2859.645
AT ITER 8517 NEW BEST:: SOT 13646 SOS 6651 HAS SOPS 6651 HAS SOUS 2852 HAS SOUPS 2852 WITH SCORE 2858.651
AT ITER 8553 NEW BEST:: SOT 13645 SOS 6650 HAS SOPS 6650 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2857.65
AT ITER 8574 NEW BEST:: SOT 13644 SOS 6641 HAS SOPS 6641 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2857.641
AT ITER 8732 NEW BEST:: SOT 13644 SOS 6639 HAS SOPS 6639 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2857.639
AT ITER 8744 NEW BEST:: SOT 13629 SOS 6630 HAS SOPS 6630 HAS SOUS 2841 HAS SOUPS 2841 WITH SCORE 2847.63
AT ITER 8897 NEW BEST:: SOT 13629 SOS 6632 HAS SOPS 6632 HAS SOUS 2840 HAS SOUPS 2840 WITH SCORE 2846.632
AT ITER 8921 NEW BEST:: SOT 13629 SOS 6622 HAS SOPS 6622 HAS SOUS 2835 HAS SOUPS 2835 WITH SCORE 2841.622
AT ITER 8956 NEW BEST:: SOT 13627 SOS 6621 HAS SOPS 6621 HAS SOUS 2833 HAS SOUPS 2833 WITH SCORE 2839.621
AT ITER 9027 NEW BEST:: SOT 13628 SOS 6584 HAS SOPS 6584 HAS SOUS 2833 HAS SOUPS 2833 WITH SCORE 2839.584
AT ITER 9129 NEW BEST:: SOT 13625 SOS 6573 HAS SOPS 6573 HAS SOUS 2829 HAS SOUPS 2829 WITH SCORE 2835.573
AT ITER 9316 NEW BEST:: SOT 13622 SOS 6573 HAS SOPS 6573 HAS SOUS 2825 HAS SOUPS 2825 WITH SCORE 2831.573
AT ITER 9350 NEW BEST:: SOT 13621 SOS 6572 HAS SOPS 6572 HAS SOUS 2825 HAS SOUPS 2825 WITH SCORE 2831.572
AT ITER 9418 NEW BEST:: SOT 13621 SOS 6571 HAS SOPS 6571 HAS SOUS 2825 HAS SOUPS 2825 WITH SCORE 2831.571
AT ITER 9428 NEW BEST:: SOT 13618 SOS 6569 HAS SOPS 6569 HAS SOUS 2825 HAS SOUPS 2825 WITH SCORE 2831.569
AT ITER 9430 NEW BEST:: SOT 13613 SOS 6560 HAS SOPS 6560 HAS SOUS 2816 HAS SOUPS 2816 WITH SCORE 2822.56
AT ITER 9497 NEW BEST:: SOT 13608 SOS 6557 HAS SOPS 6557 HAS SOUS 2812 HAS SOUPS 2812 WITH SCORE 2818.557
AT ITER 9586 NEW BEST:: SOT 13608 SOS 6556 HAS SOPS 6556 HAS SOUS 2812 HAS SOUPS 2812 WITH SCORE 2818.556
AT ITER 9819 NEW BEST:: SOT 13603 SOS 6558 HAS SOPS 6558 HAS SOUS 2809 HAS SOUPS 2809 WITH SCORE 2815.558
AT ITER 9923 NEW BEST:: SOT 13600 SOS 6555 HAS SOPS 6555 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2813.555
AT ITER 9961 NEW BEST:: SOT 13598 SOS 6553 HAS SOPS 6553 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2813.553
STATE_SPACE STATES 2607925383 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 29 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 27030630872 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679184034601

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

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="UtilityControlRoom-COL-Z2T3N08"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is UtilityControlRoom-COL-Z2T3N08, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r483-tall-167912696400976"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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