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-167912696501016.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-Z2T4N08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696501016
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 8.3K Feb 26 14:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 26 14:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 26 14:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 14:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 14:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 136K Feb 26 14:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 14:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 14:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:25 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 1679186673572

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-Z2T4N08
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-19 00:44:36] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-19 00:44:36] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-19 00:44:36] [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-19 00:44:37] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-19 00:44:37] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 772 ms
[2023-03-19 00:44:37] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 140 PT places and 216.0 transition bindings in 22 ms.
[2023-03-19 00:44:37] [INFO ] Unfolded HLPN to a Petri net with 140 places and 216 transitions 680 arcs in 36 ms.
[2023-03-19 00:44:37] [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-19 00:44:37] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 140 places, 168 transitions and 488 arcs took 11 ms.
Total runtime 1079 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z2T4N08
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 3 NEW BEST:: SOT 16537 SOS 10089 HAS SOPS 10089 HAS SOUS 7960 HAS SOUPS 7960 WITH SCORE 7970.089
AT ITER 6 NEW BEST:: SOT 16537 SOS 10082 HAS SOPS 10082 HAS SOUS 7944 HAS SOUPS 7944 WITH SCORE 7954.082
AT ITER 9 NEW BEST:: SOT 16515 SOS 10047 HAS SOPS 10047 HAS SOUS 7910 HAS SOUPS 7910 WITH SCORE 7920.047
AT ITER 10 NEW BEST:: SOT 16503 SOS 10011 HAS SOPS 10011 HAS SOUS 7849 HAS SOUPS 7849 WITH SCORE 7859.011
AT ITER 14 NEW BEST:: SOT 16495 SOS 9974 HAS SOPS 9974 HAS SOUS 7834 HAS SOUPS 7834 WITH SCORE 7843.974
AT ITER 15 NEW BEST:: SOT 16475 SOS 9889 HAS SOPS 9889 HAS SOUS 7815 HAS SOUPS 7815 WITH SCORE 7824.889
AT ITER 16 NEW BEST:: SOT 16475 SOS 9875 HAS SOPS 9875 HAS SOUS 7808 HAS SOUPS 7808 WITH SCORE 7817.875
AT ITER 19 NEW BEST:: SOT 16475 SOS 9826 HAS SOPS 9826 HAS SOUS 7779 HAS SOUPS 7779 WITH SCORE 7788.826
AT ITER 20 NEW BEST:: SOT 16467 SOS 9788 HAS SOPS 9788 HAS SOUS 7756 HAS SOUPS 7756 WITH SCORE 7765.788
AT ITER 26 NEW BEST:: SOT 16463 SOS 9784 HAS SOPS 9784 HAS SOUS 7752 HAS SOUPS 7752 WITH SCORE 7761.784
AT ITER 34 NEW BEST:: SOT 16412 SOS 9659 HAS SOPS 9659 HAS SOUS 7683 HAS SOUPS 7683 WITH SCORE 7692.659
AT ITER 35 NEW BEST:: SOT 16385 SOS 9642 HAS SOPS 9642 HAS SOUS 7666 HAS SOUPS 7666 WITH SCORE 7675.642
AT ITER 37 NEW BEST:: SOT 16378 SOS 9641 HAS SOPS 9641 HAS SOUS 7639 HAS SOUPS 7639 WITH SCORE 7648.641
AT ITER 47 NEW BEST:: SOT 16366 SOS 9629 HAS SOPS 9629 HAS SOUS 7627 HAS SOUPS 7627 WITH SCORE 7636.629
AT ITER 48 NEW BEST:: SOT 16633 SOS 9617 HAS SOPS 9617 HAS SOUS 7431 HAS SOUPS 7431 WITH SCORE 7440.617
AT ITER 56 NEW BEST:: SOT 16637 SOS 9604 HAS SOPS 9604 HAS SOUS 7417 HAS SOUPS 7417 WITH SCORE 7426.604
AT ITER 69 NEW BEST:: SOT 16627 SOS 9586 HAS SOPS 9586 HAS SOUS 7399 HAS SOUPS 7399 WITH SCORE 7408.586
AT ITER 70 NEW BEST:: SOT 16474 SOS 9791 HAS SOPS 9791 HAS SOUS 7320 HAS SOUPS 7320 WITH SCORE 7329.791
AT ITER 71 NEW BEST:: SOT 16474 SOS 9796 HAS SOPS 9796 HAS SOUS 7315 HAS SOUPS 7315 WITH SCORE 7324.796
AT ITER 73 NEW BEST:: SOT 16471 SOS 9771 HAS SOPS 9771 HAS SOUS 7303 HAS SOUPS 7303 WITH SCORE 7312.771
AT ITER 79 NEW BEST:: SOT 16059 SOS 9359 HAS SOPS 9359 HAS SOUS 6989 HAS SOUPS 6989 WITH SCORE 6998.359
AT ITER 80 NEW BEST:: SOT 16090 SOS 9371 HAS SOPS 9371 HAS SOUS 6970 HAS SOUPS 6970 WITH SCORE 6979.371
AT ITER 87 NEW BEST:: SOT 16090 SOS 9371 HAS SOPS 9371 HAS SOUS 6968 HAS SOUPS 6968 WITH SCORE 6977.371
AT ITER 95 NEW BEST:: SOT 16090 SOS 9371 HAS SOPS 9371 HAS SOUS 6967 HAS SOUPS 6967 WITH SCORE 6976.371
AT ITER 101 NEW BEST:: SOT 16072 SOS 9336 HAS SOPS 9336 HAS SOUS 6869 HAS SOUPS 6869 WITH SCORE 6878.336
AT ITER 108 NEW BEST:: SOT 16048 SOS 9262 HAS SOPS 9262 HAS SOUS 6820 HAS SOUPS 6820 WITH SCORE 6829.262
AT ITER 110 NEW BEST:: SOT 16046 SOS 9260 HAS SOPS 9260 HAS SOUS 6818 HAS SOUPS 6818 WITH SCORE 6827.26
AT ITER 127 NEW BEST:: SOT 16028 SOS 9223 HAS SOPS 9223 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6801.223
AT ITER 132 NEW BEST:: SOT 16024 SOS 9215 HAS SOPS 9215 HAS SOUS 6788 HAS SOUPS 6788 WITH SCORE 6797.215
AT ITER 141 NEW BEST:: SOT 16072 SOS 9228 HAS SOPS 9228 HAS SOUS 6759 HAS SOUPS 6759 WITH SCORE 6768.228
AT ITER 142 NEW BEST:: SOT 16072 SOS 9227 HAS SOPS 9227 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6767.227
AT ITER 147 NEW BEST:: SOT 16072 SOS 9217 HAS SOPS 9217 HAS SOUS 6730 HAS SOUPS 6730 WITH SCORE 6739.217
AT ITER 150 NEW BEST:: SOT 16066 SOS 9216 HAS SOPS 9216 HAS SOUS 6686 HAS SOUPS 6686 WITH SCORE 6695.216
AT ITER 153 NEW BEST:: SOT 16058 SOS 9192 HAS SOPS 9192 HAS SOUS 6670 HAS SOUPS 6670 WITH SCORE 6679.192
AT ITER 155 NEW BEST:: SOT 16055 SOS 9189 HAS SOPS 9189 HAS SOUS 6667 HAS SOUPS 6667 WITH SCORE 6676.189
AT ITER 165 NEW BEST:: SOT 16054 SOS 9188 HAS SOPS 9188 HAS SOUS 6667 HAS SOUPS 6667 WITH SCORE 6676.188
AT ITER 168 NEW BEST:: SOT 16057 SOS 9184 HAS SOPS 9184 HAS SOUS 6662 HAS SOUPS 6662 WITH SCORE 6671.184
AT ITER 175 NEW BEST:: SOT 16037 SOS 9157 HAS SOPS 9157 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6651.157
AT ITER 180 NEW BEST:: SOT 16036 SOS 9156 HAS SOPS 9156 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6651.156
AT ITER 181 NEW BEST:: SOT 16038 SOS 9136 HAS SOPS 9136 HAS SOUS 6634 HAS SOUPS 6634 WITH SCORE 6643.136
AT ITER 184 NEW BEST:: SOT 16076 SOS 9151 HAS SOPS 9151 HAS SOUS 6603 HAS SOUPS 6603 WITH SCORE 6612.151
AT ITER 195 NEW BEST:: SOT 16076 SOS 9139 HAS SOPS 9139 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6609.139
AT ITER 202 NEW BEST:: SOT 16066 SOS 9126 HAS SOPS 9126 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6589.126
AT ITER 203 NEW BEST:: SOT 15515 SOS 9673 HAS SOPS 9673 HAS SOUS 6360 HAS SOUPS 6360 WITH SCORE 6369.673
AT ITER 206 NEW BEST:: SOT 15502 SOS 9647 HAS SOPS 9647 HAS SOUS 6334 HAS SOUPS 6334 WITH SCORE 6343.647
AT ITER 208 NEW BEST:: SOT 15499 SOS 9630 HAS SOPS 9630 HAS SOUS 6318 HAS SOUPS 6318 WITH SCORE 6327.63
AT ITER 211 NEW BEST:: SOT 15499 SOS 9620 HAS SOPS 9620 HAS SOUS 6308 HAS SOUPS 6308 WITH SCORE 6317.62
AT ITER 225 NEW BEST:: SOT 15499 SOS 9620 HAS SOPS 9620 HAS SOUS 6307 HAS SOUPS 6307 WITH SCORE 6316.62
AT ITER 232 NEW BEST:: SOT 15495 SOS 9612 HAS SOPS 9612 HAS SOUS 6299 HAS SOUPS 6299 WITH SCORE 6308.612
AT ITER 242 NEW BEST:: SOT 15441 SOS 9558 HAS SOPS 9558 HAS SOUS 6245 HAS SOUPS 6245 WITH SCORE 6254.558
AT ITER 253 NEW BEST:: SOT 15432 SOS 9544 HAS SOPS 9544 HAS SOUS 6136 HAS SOUPS 6136 WITH SCORE 6145.544
AT ITER 257 NEW BEST:: SOT 15422 SOS 9536 HAS SOPS 9536 HAS SOUS 6126 HAS SOUPS 6126 WITH SCORE 6135.536
AT ITER 258 NEW BEST:: SOT 15414 SOS 9528 HAS SOPS 9528 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6095.528
AT ITER 267 NEW BEST:: SOT 15414 SOS 9553 HAS SOPS 9553 HAS SOUS 6079 HAS SOUPS 6079 WITH SCORE 6088.553
AT ITER 271 NEW BEST:: SOT 15412 SOS 9551 HAS SOPS 9551 HAS SOUS 6072 HAS SOUPS 6072 WITH SCORE 6081.551
AT ITER 277 NEW BEST:: SOT 15404 SOS 9527 HAS SOPS 9527 HAS SOUS 6060 HAS SOUPS 6060 WITH SCORE 6069.527
AT ITER 283 NEW BEST:: SOT 15414 SOS 9506 HAS SOPS 9506 HAS SOUS 6033 HAS SOUPS 6033 WITH SCORE 6042.506
AT ITER 286 NEW BEST:: SOT 15432 SOS 9364 HAS SOPS 9364 HAS SOUS 6023 HAS SOUPS 6023 WITH SCORE 6032.364
AT ITER 294 NEW BEST:: SOT 15440 SOS 9330 HAS SOPS 9330 HAS SOUS 6022 HAS SOUPS 6022 WITH SCORE 6031.33
AT ITER 295 NEW BEST:: SOT 15440 SOS 9318 HAS SOPS 9318 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 5983.318
AT ITER 299 NEW BEST:: SOT 15449 SOS 9327 HAS SOPS 9327 HAS SOUS 5946 HAS SOUPS 5946 WITH SCORE 5955.327
AT ITER 300 NEW BEST:: SOT 15448 SOS 9320 HAS SOPS 9320 HAS SOUS 5934 HAS SOUPS 5934 WITH SCORE 5943.32
AT ITER 303 NEW BEST:: SOT 15433 SOS 9294 HAS SOPS 9294 HAS SOUS 5877 HAS SOUPS 5877 WITH SCORE 5886.294
AT ITER 304 NEW BEST:: SOT 15425 SOS 9225 HAS SOPS 9225 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5853.225
AT ITER 305 NEW BEST:: SOT 15421 SOS 9236 HAS SOPS 9236 HAS SOUS 5832 HAS SOUPS 5832 WITH SCORE 5841.236
AT ITER 308 NEW BEST:: SOT 15347 SOS 9118 HAS SOPS 9118 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5785.118
AT ITER 314 NEW BEST:: SOT 15345 SOS 9114 HAS SOPS 9114 HAS SOUS 5772 HAS SOUPS 5772 WITH SCORE 5781.114
AT ITER 316 NEW BEST:: SOT 15358 SOS 9097 HAS SOPS 9097 HAS SOUS 5755 HAS SOUPS 5755 WITH SCORE 5764.097
AT ITER 322 NEW BEST:: SOT 15358 SOS 9099 HAS SOPS 9099 HAS SOUS 5753 HAS SOUPS 5753 WITH SCORE 5762.099
AT ITER 323 NEW BEST:: SOT 15357 SOS 9098 HAS SOPS 9098 HAS SOUS 5753 HAS SOUPS 5753 WITH SCORE 5762.098
AT ITER 336 NEW BEST:: SOT 15304 SOS 8999 HAS SOPS 8999 HAS SOUS 5745 HAS SOUPS 5745 WITH SCORE 5753.999
AT ITER 338 NEW BEST:: SOT 15303 SOS 8997 HAS SOPS 8997 HAS SOUS 5743 HAS SOUPS 5743 WITH SCORE 5751.997
AT ITER 341 NEW BEST:: SOT 15261 SOS 8863 HAS SOPS 8863 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5736.863
AT ITER 346 NEW BEST:: SOT 15255 SOS 8851 HAS SOPS 8851 HAS SOUS 5722 HAS SOUPS 5722 WITH SCORE 5730.851
AT ITER 347 NEW BEST:: SOT 15255 SOS 8841 HAS SOPS 8841 HAS SOUS 5717 HAS SOUPS 5717 WITH SCORE 5725.841
AT ITER 356 NEW BEST:: SOT 15266 SOS 8824 HAS SOPS 8824 HAS SOUS 5712 HAS SOUPS 5712 WITH SCORE 5720.824
AT ITER 360 NEW BEST:: SOT 15267 SOS 8850 HAS SOPS 8850 HAS SOUS 5705 HAS SOUPS 5705 WITH SCORE 5713.85
AT ITER 371 NEW BEST:: SOT 15243 SOS 8831 HAS SOPS 8831 HAS SOUS 5700 HAS SOUPS 5700 WITH SCORE 5708.831
AT ITER 377 NEW BEST:: SOT 15221 SOS 8831 HAS SOPS 8831 HAS SOUS 5685 HAS SOUPS 5685 WITH SCORE 5693.831
AT ITER 378 NEW BEST:: SOT 15203 SOS 8777 HAS SOPS 8777 HAS SOUS 5631 HAS SOUPS 5631 WITH SCORE 5639.777
AT ITER 380 NEW BEST:: SOT 15176 SOS 8213 HAS SOPS 8213 HAS SOUS 5577 HAS SOUPS 5577 WITH SCORE 5585.213
AT ITER 385 NEW BEST:: SOT 15180 SOS 8252 HAS SOPS 8252 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5578.252
AT ITER 387 NEW BEST:: SOT 15179 SOS 8251 HAS SOPS 8251 HAS SOUS 5565 HAS SOUPS 5565 WITH SCORE 5573.251
AT ITER 390 NEW BEST:: SOT 15182 SOS 8243 HAS SOPS 8243 HAS SOUS 5557 HAS SOUPS 5557 WITH SCORE 5565.243
AT ITER 408 NEW BEST:: SOT 15009 SOS 9048 HAS SOPS 9048 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5427.048
AT ITER 410 NEW BEST:: SOT 14987 SOS 9026 HAS SOPS 9026 HAS SOUS 5389 HAS SOUPS 5389 WITH SCORE 5398.026
AT ITER 416 NEW BEST:: SOT 14951 SOS 8981 HAS SOPS 8981 HAS SOUS 5308 HAS SOUPS 5308 WITH SCORE 5316.981
AT ITER 424 NEW BEST:: SOT 14860 SOS 8869 HAS SOPS 8869 HAS SOUS 5126 HAS SOUPS 5126 WITH SCORE 5134.869
AT ITER 435 NEW BEST:: SOT 14876 SOS 9176 HAS SOPS 9176 HAS SOUS 5108 HAS SOUPS 5108 WITH SCORE 5117.176
AT ITER 436 NEW BEST:: SOT 14873 SOS 9158 HAS SOPS 9158 HAS SOUS 5105 HAS SOUPS 5105 WITH SCORE 5114.158
AT ITER 445 NEW BEST:: SOT 14872 SOS 9157 HAS SOPS 9157 HAS SOUS 5104 HAS SOUPS 5104 WITH SCORE 5113.157
AT ITER 449 NEW BEST:: SOT 14863 SOS 9173 HAS SOPS 9173 HAS SOUS 5070 HAS SOUPS 5070 WITH SCORE 5079.173
AT ITER 450 NEW BEST:: SOT 14860 SOS 9170 HAS SOPS 9170 HAS SOUS 5064 HAS SOUPS 5064 WITH SCORE 5073.17
AT ITER 461 NEW BEST:: SOT 14858 SOS 9170 HAS SOPS 9170 HAS SOUS 5060 HAS SOUPS 5060 WITH SCORE 5069.17
AT ITER 466 NEW BEST:: SOT 14858 SOS 9165 HAS SOPS 9165 HAS SOUS 5039 HAS SOUPS 5039 WITH SCORE 5048.165
AT ITER 472 NEW BEST:: SOT 14853 SOS 9150 HAS SOPS 9150 HAS SOUS 5035 HAS SOUPS 5035 WITH SCORE 5044.15
AT ITER 474 NEW BEST:: SOT 14881 SOS 9130 HAS SOPS 9130 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5040.13
AT ITER 480 NEW BEST:: SOT 14863 SOS 9094 HAS SOPS 9094 HAS SOUS 5013 HAS SOUPS 5013 WITH SCORE 5022.094
AT ITER 498 NEW BEST:: SOT 14855 SOS 9084 HAS SOPS 9084 HAS SOUS 4995 HAS SOUPS 4995 WITH SCORE 5004.084
AT ITER 509 NEW BEST:: SOT 14850 SOS 9074 HAS SOPS 9074 HAS SOUS 4993 HAS SOUPS 4993 WITH SCORE 5002.074
AT ITER 510 NEW BEST:: SOT 14843 SOS 9060 HAS SOPS 9060 HAS SOUS 4986 HAS SOUPS 4986 WITH SCORE 4995.06
AT ITER 511 NEW BEST:: SOT 14845 SOS 9124 HAS SOPS 9124 HAS SOUS 4985 HAS SOUPS 4985 WITH SCORE 4994.124
AT ITER 514 NEW BEST:: SOT 14843 SOS 9122 HAS SOPS 9122 HAS SOUS 4981 HAS SOUPS 4981 WITH SCORE 4990.122
AT ITER 520 NEW BEST:: SOT 14843 SOS 9132 HAS SOPS 9132 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4985.132
AT ITER 524 NEW BEST:: SOT 14843 SOS 9130 HAS SOPS 9130 HAS SOUS 4974 HAS SOUPS 4974 WITH SCORE 4983.13
AT ITER 532 NEW BEST:: SOT 14866 SOS 9101 HAS SOPS 9101 HAS SOUS 4960 HAS SOUPS 4960 WITH SCORE 4969.101
AT ITER 545 NEW BEST:: SOT 14856 SOS 9078 HAS SOPS 9078 HAS SOUS 4953 HAS SOUPS 4953 WITH SCORE 4962.078
AT ITER 548 NEW BEST:: SOT 14854 SOS 9073 HAS SOPS 9073 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4958.073
AT ITER 556 NEW BEST:: SOT 14850 SOS 9002 HAS SOPS 9002 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4958.002
AT ITER 568 NEW BEST:: SOT 14850 SOS 8994 HAS SOPS 8994 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4957.994
AT ITER 573 NEW BEST:: SOT 14810 SOS 8850 HAS SOPS 8850 HAS SOUS 4946 HAS SOUPS 4946 WITH SCORE 4954.85
AT ITER 578 NEW BEST:: SOT 14808 SOS 8844 HAS SOPS 8844 HAS SOUS 4944 HAS SOUPS 4944 WITH SCORE 4952.844
AT ITER 585 NEW BEST:: SOT 14782 SOS 8760 HAS SOPS 8760 HAS SOUS 4898 HAS SOUPS 4898 WITH SCORE 4906.76
AT ITER 587 NEW BEST:: SOT 14771 SOS 8751 HAS SOPS 8751 HAS SOUS 4853 HAS SOUPS 4853 WITH SCORE 4861.751
AT ITER 588 NEW BEST:: SOT 14766 SOS 8676 HAS SOPS 8676 HAS SOUS 4845 HAS SOUPS 4845 WITH SCORE 4853.676
AT ITER 596 NEW BEST:: SOT 14763 SOS 8670 HAS SOPS 8670 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4847.67
AT ITER 611 NEW BEST:: SOT 14731 SOS 8670 HAS SOPS 8670 HAS SOUS 4819 HAS SOUPS 4819 WITH SCORE 4827.67
AT ITER 635 NEW BEST:: SOT 14718 SOS 8641 HAS SOPS 8641 HAS SOUS 4798 HAS SOUPS 4798 WITH SCORE 4806.641
AT ITER 637 NEW BEST:: SOT 14714 SOS 8637 HAS SOPS 8637 HAS SOUS 4794 HAS SOUPS 4794 WITH SCORE 4802.637
AT ITER 640 NEW BEST:: SOT 14707 SOS 8631 HAS SOPS 8631 HAS SOUS 4788 HAS SOUPS 4788 WITH SCORE 4796.631
AT ITER 643 NEW BEST:: SOT 14706 SOS 8629 HAS SOPS 8629 HAS SOUS 4786 HAS SOUPS 4786 WITH SCORE 4794.629
AT ITER 651 NEW BEST:: SOT 14702 SOS 8623 HAS SOPS 8623 HAS SOUS 4782 HAS SOUPS 4782 WITH SCORE 4790.623
AT ITER 656 NEW BEST:: SOT 14702 SOS 8601 HAS SOPS 8601 HAS SOUS 4771 HAS SOUPS 4771 WITH SCORE 4779.601
AT ITER 658 NEW BEST:: SOT 14703 SOS 8602 HAS SOPS 8602 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4778.602
AT ITER 665 NEW BEST:: SOT 14666 SOS 8519 HAS SOPS 8519 HAS SOUS 4721 HAS SOUPS 4721 WITH SCORE 4729.519
AT ITER 672 NEW BEST:: SOT 14583 SOS 9445 HAS SOPS 9445 HAS SOUS 4659 HAS SOUPS 4659 WITH SCORE 4668.445
AT ITER 687 NEW BEST:: SOT 14578 SOS 9445 HAS SOPS 9445 HAS SOUS 4649 HAS SOUPS 4649 WITH SCORE 4658.445
AT ITER 694 NEW BEST:: SOT 14578 SOS 9433 HAS SOPS 9433 HAS SOUS 4645 HAS SOUPS 4645 WITH SCORE 4654.433
AT ITER 702 NEW BEST:: SOT 14610 SOS 9413 HAS SOPS 9413 HAS SOUS 4625 HAS SOUPS 4625 WITH SCORE 4634.413
AT ITER 704 NEW BEST:: SOT 14606 SOS 9399 HAS SOPS 9399 HAS SOUS 4614 HAS SOUPS 4614 WITH SCORE 4623.399
AT ITER 713 NEW BEST:: SOT 14583 SOS 9267 HAS SOPS 9267 HAS SOUS 4598 HAS SOUPS 4598 WITH SCORE 4607.267
AT ITER 715 NEW BEST:: SOT 14559 SOS 9169 HAS SOPS 9169 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4593.169
AT ITER 729 NEW BEST:: SOT 14522 SOS 9083 HAS SOPS 9083 HAS SOUS 4525 HAS SOUPS 4525 WITH SCORE 4534.083
AT ITER 730 NEW BEST:: SOT 14522 SOS 8678 HAS SOPS 8678 HAS SOUS 4525 HAS SOUPS 4525 WITH SCORE 4533.678
AT ITER 734 NEW BEST:: SOT 14507 SOS 8236 HAS SOPS 8236 HAS SOUS 4495 HAS SOUPS 4495 WITH SCORE 4503.236
AT ITER 742 NEW BEST:: SOT 14502 SOS 8235 HAS SOPS 8235 HAS SOUS 4490 HAS SOUPS 4490 WITH SCORE 4498.235
AT ITER 753 NEW BEST:: SOT 14445 SOS 8112 HAS SOPS 8112 HAS SOUS 4414 HAS SOUPS 4414 WITH SCORE 4422.112
AT ITER 756 NEW BEST:: SOT 14445 SOS 8110 HAS SOPS 8110 HAS SOUS 4414 HAS SOUPS 4414 WITH SCORE 4422.11
AT ITER 767 NEW BEST:: SOT 14419 SOS 8038 HAS SOPS 8038 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4364.038
AT ITER 784 NEW BEST:: SOT 14413 SOS 8032 HAS SOPS 8032 HAS SOUS 4340 HAS SOUPS 4340 WITH SCORE 4348.032
AT ITER 798 NEW BEST:: SOT 14394 SOS 8013 HAS SOPS 8013 HAS SOUS 4319 HAS SOUPS 4319 WITH SCORE 4327.013
AT ITER 811 NEW BEST:: SOT 14390 SOS 8001 HAS SOPS 8001 HAS SOUS 4319 HAS SOUPS 4319 WITH SCORE 4327.001
AT ITER 816 NEW BEST:: SOT 14376 SOS 7986 HAS SOPS 7986 HAS SOUS 4295 HAS SOUPS 4295 WITH SCORE 4302.986
AT ITER 834 NEW BEST:: SOT 14374 SOS 7982 HAS SOPS 7982 HAS SOUS 4289 HAS SOUPS 4289 WITH SCORE 4296.982
AT ITER 835 NEW BEST:: SOT 14374 SOS 7982 HAS SOPS 7982 HAS SOUS 4287 HAS SOUPS 4287 WITH SCORE 4294.982
AT ITER 837 NEW BEST:: SOT 14353 SOS 7878 HAS SOPS 7878 HAS SOUS 4265 HAS SOUPS 4265 WITH SCORE 4272.878
AT ITER 863 NEW BEST:: SOT 14330 SOS 7878 HAS SOPS 7878 HAS SOUS 4258 HAS SOUPS 4258 WITH SCORE 4265.878
AT ITER 867 NEW BEST:: SOT 14329 SOS 7877 HAS SOPS 7877 HAS SOUS 4251 HAS SOUPS 4251 WITH SCORE 4258.877
AT ITER 868 NEW BEST:: SOT 14319 SOS 7876 HAS SOPS 7876 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4222.876
AT ITER 883 NEW BEST:: SOT 14310 SOS 7858 HAS SOPS 7858 HAS SOUS 4193 HAS SOUPS 4193 WITH SCORE 4200.858
AT ITER 896 NEW BEST:: SOT 14307 SOS 7855 HAS SOPS 7855 HAS SOUS 4190 HAS SOUPS 4190 WITH SCORE 4197.855
AT ITER 910 NEW BEST:: SOT 14302 SOS 7850 HAS SOPS 7850 HAS SOUS 4170 HAS SOUPS 4170 WITH SCORE 4177.85
AT ITER 916 NEW BEST:: SOT 14260 SOS 7808 HAS SOPS 7808 HAS SOUS 4086 HAS SOUPS 4086 WITH SCORE 4093.808
AT ITER 922 NEW BEST:: SOT 14273 SOS 7800 HAS SOPS 7800 HAS SOUS 4082 HAS SOUPS 4082 WITH SCORE 4089.8
AT ITER 944 NEW BEST:: SOT 14273 SOS 7812 HAS SOPS 7812 HAS SOUS 4078 HAS SOUPS 4078 WITH SCORE 4085.812
AT ITER 947 NEW BEST:: SOT 14271 SOS 7808 HAS SOPS 7808 HAS SOUS 4074 HAS SOUPS 4074 WITH SCORE 4081.808
AT ITER 983 NEW BEST:: SOT 14273 SOS 7808 HAS SOPS 7808 HAS SOUS 4072 HAS SOUPS 4072 WITH SCORE 4079.808
AT ITER 991 NEW BEST:: SOT 14280 SOS 7809 HAS SOPS 7809 HAS SOUS 4064 HAS SOUPS 4064 WITH SCORE 4071.809
AT ITER 998 NEW BEST:: SOT 14280 SOS 7809 HAS SOPS 7809 HAS SOUS 4058 HAS SOUPS 4058 WITH SCORE 4065.809
AT ITER 1000 NEW BEST:: SOT 14229 SOS 7732 HAS SOPS 7732 HAS SOUS 3981 HAS SOUPS 3981 WITH SCORE 3988.732
AT ITER 1004 NEW BEST:: SOT 14234 SOS 7732 HAS SOPS 7732 HAS SOUS 3976 HAS SOUPS 3976 WITH SCORE 3983.732
AT ITER 1008 NEW BEST:: SOT 14234 SOS 7726 HAS SOPS 7726 HAS SOUS 3973 HAS SOUPS 3973 WITH SCORE 3980.726
AT ITER 1033 NEW BEST:: SOT 14234 SOS 7724 HAS SOPS 7724 HAS SOUS 3973 HAS SOUPS 3973 WITH SCORE 3980.724
AT ITER 1064 NEW BEST:: SOT 14224 SOS 7718 HAS SOPS 7718 HAS SOUS 3971 HAS SOUPS 3971 WITH SCORE 3978.718
AT ITER 1066 NEW BEST:: SOT 14224 SOS 7718 HAS SOPS 7718 HAS SOUS 3968 HAS SOUPS 3968 WITH SCORE 3975.718
AT ITER 1068 NEW BEST:: SOT 14221 SOS 7712 HAS SOPS 7712 HAS SOUS 3963 HAS SOUPS 3963 WITH SCORE 3970.712
AT ITER 1069 NEW BEST:: SOT 14217 SOS 7704 HAS SOPS 7704 HAS SOUS 3955 HAS SOUPS 3955 WITH SCORE 3962.704
AT ITER 1076 NEW BEST:: SOT 14208 SOS 7678 HAS SOPS 7678 HAS SOUS 3942 HAS SOUPS 3942 WITH SCORE 3949.678
AT ITER 1079 NEW BEST:: SOT 14202 SOS 7675 HAS SOPS 7675 HAS SOUS 3938 HAS SOUPS 3938 WITH SCORE 3945.675
AT ITER 1108 NEW BEST:: SOT 14193 SOS 7644 HAS SOPS 7644 HAS SOUS 3907 HAS SOUPS 3907 WITH SCORE 3914.644
AT ITER 1146 NEW BEST:: SOT 14174 SOS 7591 HAS SOPS 7591 HAS SOUS 3876 HAS SOUPS 3876 WITH SCORE 3883.591
AT ITER 1181 NEW BEST:: SOT 14169 SOS 7582 HAS SOPS 7582 HAS SOUS 3876 HAS SOUPS 3876 WITH SCORE 3883.582
AT ITER 1182 NEW BEST:: SOT 14163 SOS 7572 HAS SOPS 7572 HAS SOUS 3866 HAS SOUPS 3866 WITH SCORE 3873.572
AT ITER 1195 NEW BEST:: SOT 14151 SOS 7560 HAS SOPS 7560 HAS SOUS 3851 HAS SOUPS 3851 WITH SCORE 3858.56
AT ITER 1228 NEW BEST:: SOT 14144 SOS 7546 HAS SOPS 7546 HAS SOUS 3837 HAS SOUPS 3837 WITH SCORE 3844.546
AT ITER 1229 NEW BEST:: SOT 14118 SOS 7449 HAS SOPS 7449 HAS SOUS 3807 HAS SOUPS 3807 WITH SCORE 3814.449
AT ITER 1248 NEW BEST:: SOT 14114 SOS 7441 HAS SOPS 7441 HAS SOUS 3799 HAS SOUPS 3799 WITH SCORE 3806.441
AT ITER 1270 NEW BEST:: SOT 14110 SOS 7439 HAS SOPS 7439 HAS SOUS 3797 HAS SOUPS 3797 WITH SCORE 3804.439
AT ITER 1274 NEW BEST:: SOT 14111 SOS 7459 HAS SOPS 7459 HAS SOUS 3790 HAS SOUPS 3790 WITH SCORE 3797.459
AT ITER 1287 NEW BEST:: SOT 14093 SOS 7449 HAS SOPS 7449 HAS SOUS 3782 HAS SOUPS 3782 WITH SCORE 3789.449
AT ITER 1372 NEW BEST:: SOT 14090 SOS 7449 HAS SOPS 7449 HAS SOUS 3779 HAS SOUPS 3779 WITH SCORE 3786.449
AT ITER 1375 NEW BEST:: SOT 14090 SOS 7379 HAS SOPS 7379 HAS SOUS 3774 HAS SOUPS 3774 WITH SCORE 3781.379
AT ITER 1402 NEW BEST:: SOT 14090 SOS 7377 HAS SOPS 7377 HAS SOUS 3773 HAS SOUPS 3773 WITH SCORE 3780.377
AT ITER 1441 NEW BEST:: SOT 14082 SOS 7369 HAS SOPS 7369 HAS SOUS 3757 HAS SOUPS 3757 WITH SCORE 3764.369
AT ITER 1443 NEW BEST:: SOT 14072 SOS 7359 HAS SOPS 7359 HAS SOUS 3752 HAS SOUPS 3752 WITH SCORE 3759.359
AT ITER 1452 NEW BEST:: SOT 14069 SOS 7348 HAS SOPS 7348 HAS SOUS 3751 HAS SOUPS 3751 WITH SCORE 3758.348
AT ITER 1454 NEW BEST:: SOT 14041 SOS 7325 HAS SOPS 7325 HAS SOUS 3726 HAS SOUPS 3726 WITH SCORE 3733.325
AT ITER 1467 NEW BEST:: SOT 14038 SOS 7351 HAS SOPS 7351 HAS SOUS 3720 HAS SOUPS 3720 WITH SCORE 3727.351
AT ITER 1485 NEW BEST:: SOT 14038 SOS 7348 HAS SOPS 7348 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3725.348
AT ITER 1499 NEW BEST:: SOT 14036 SOS 7174 HAS SOPS 7174 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3725.174
AT ITER 1505 NEW BEST:: SOT 14034 SOS 7174 HAS SOPS 7174 HAS SOUS 3714 HAS SOUPS 3714 WITH SCORE 3721.174
AT ITER 1515 NEW BEST:: SOT 14034 SOS 7173 HAS SOPS 7173 HAS SOUS 3708 HAS SOUPS 3708 WITH SCORE 3715.173
AT ITER 1520 NEW BEST:: SOT 14028 SOS 7160 HAS SOPS 7160 HAS SOUS 3703 HAS SOUPS 3703 WITH SCORE 3710.16
AT ITER 1527 NEW BEST:: SOT 14026 SOS 7159 HAS SOPS 7159 HAS SOUS 3703 HAS SOUPS 3703 WITH SCORE 3710.159
AT ITER 1538 NEW BEST:: SOT 14005 SOS 7050 HAS SOPS 7050 HAS SOUS 3670 HAS SOUPS 3670 WITH SCORE 3677.05
AT ITER 1552 NEW BEST:: SOT 14003 SOS 7049 HAS SOPS 7049 HAS SOUS 3669 HAS SOUPS 3669 WITH SCORE 3676.049
AT ITER 1575 NEW BEST:: SOT 14001 SOS 7046 HAS SOPS 7046 HAS SOUS 3659 HAS SOUPS 3659 WITH SCORE 3666.046
AT ITER 1656 NEW BEST:: SOT 13997 SOS 7035 HAS SOPS 7035 HAS SOUS 3644 HAS SOUPS 3644 WITH SCORE 3651.035
AT ITER 1691 NEW BEST:: SOT 13993 SOS 7026 HAS SOPS 7026 HAS SOUS 3639 HAS SOUPS 3639 WITH SCORE 3646.026
AT ITER 1710 NEW BEST:: SOT 13990 SOS 7023 HAS SOPS 7023 HAS SOUS 3636 HAS SOUPS 3636 WITH SCORE 3643.023
AT ITER 1732 NEW BEST:: SOT 13988 SOS 7021 HAS SOPS 7021 HAS SOUS 3632 HAS SOUPS 3632 WITH SCORE 3639.021
AT ITER 1740 NEW BEST:: SOT 13998 SOS 7029 HAS SOPS 7029 HAS SOUS 3623 HAS SOUPS 3623 WITH SCORE 3630.029
AT ITER 1754 NEW BEST:: SOT 13996 SOS 7027 HAS SOPS 7027 HAS SOUS 3620 HAS SOUPS 3620 WITH SCORE 3627.027
AT ITER 1787 NEW BEST:: SOT 14000 SOS 7023 HAS SOPS 7023 HAS SOUS 3620 HAS SOUPS 3620 WITH SCORE 3627.023
AT ITER 1843 NEW BEST:: SOT 13999 SOS 7021 HAS SOPS 7021 HAS SOUS 3619 HAS SOUPS 3619 WITH SCORE 3626.021
AT ITER 1851 NEW BEST:: SOT 13999 SOS 7021 HAS SOPS 7021 HAS SOUS 3617 HAS SOUPS 3617 WITH SCORE 3624.021
AT ITER 1876 NEW BEST:: SOT 13996 SOS 7018 HAS SOPS 7018 HAS SOUS 3614 HAS SOUPS 3614 WITH SCORE 3621.018
AT ITER 1936 NEW BEST:: SOT 13993 SOS 7026 HAS SOPS 7026 HAS SOUS 3604 HAS SOUPS 3604 WITH SCORE 3611.026
AT ITER 1948 NEW BEST:: SOT 13991 SOS 7022 HAS SOPS 7022 HAS SOUS 3602 HAS SOUPS 3602 WITH SCORE 3609.022
AT ITER 1977 NEW BEST:: SOT 13972 SOS 6993 HAS SOPS 6993 HAS SOUS 3581 HAS SOUPS 3581 WITH SCORE 3587.993
AT ITER 2007 NEW BEST:: SOT 13957 SOS 6940 HAS SOPS 6940 HAS SOUS 3570 HAS SOUPS 3570 WITH SCORE 3576.94
AT ITER 2032 NEW BEST:: SOT 13956 SOS 6937 HAS SOPS 6937 HAS SOUS 3566 HAS SOUPS 3566 WITH SCORE 3572.937
AT ITER 2044 NEW BEST:: SOT 13937 SOS 6911 HAS SOPS 6911 HAS SOUS 3554 HAS SOUPS 3554 WITH SCORE 3560.911
AT ITER 2074 NEW BEST:: SOT 13937 SOS 6907 HAS SOPS 6907 HAS SOUS 3552 HAS SOUPS 3552 WITH SCORE 3558.907
AT ITER 2075 NEW BEST:: SOT 13935 SOS 6905 HAS SOPS 6905 HAS SOUS 3548 HAS SOUPS 3548 WITH SCORE 3554.905
AT ITER 2094 NEW BEST:: SOT 13896 SOS 6810 HAS SOPS 6810 HAS SOUS 3498 HAS SOUPS 3498 WITH SCORE 3504.81
AT ITER 2107 NEW BEST:: SOT 13895 SOS 6809 HAS SOPS 6809 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3502.809
AT ITER 2108 NEW BEST:: SOT 13895 SOS 6767 HAS SOPS 6767 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3481.767
AT ITER 2110 NEW BEST:: SOT 13893 SOS 6761 HAS SOPS 6761 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3481.761
AT ITER 2135 NEW BEST:: SOT 13895 SOS 6761 HAS SOPS 6761 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3478.761
AT ITER 2174 NEW BEST:: SOT 13892 SOS 6755 HAS SOPS 6755 HAS SOUS 3466 HAS SOUPS 3466 WITH SCORE 3472.755
AT ITER 2206 NEW BEST:: SOT 13857 SOS 6784 HAS SOPS 6784 HAS SOUS 3465 HAS SOUPS 3465 WITH SCORE 3471.784
AT ITER 2209 NEW BEST:: SOT 13852 SOS 6761 HAS SOPS 6761 HAS SOUS 3457 HAS SOUPS 3457 WITH SCORE 3463.761
AT ITER 2210 NEW BEST:: SOT 13849 SOS 6758 HAS SOPS 6758 HAS SOUS 3457 HAS SOUPS 3457 WITH SCORE 3463.758
AT ITER 2232 NEW BEST:: SOT 13841 SOS 6746 HAS SOPS 6746 HAS SOUS 3455 HAS SOUPS 3455 WITH SCORE 3461.746
AT ITER 2249 NEW BEST:: SOT 13841 SOS 6676 HAS SOPS 6676 HAS SOUS 3455 HAS SOUPS 3455 WITH SCORE 3461.676
AT ITER 2292 NEW BEST:: SOT 13840 SOS 6675 HAS SOPS 6675 HAS SOUS 3453 HAS SOUPS 3453 WITH SCORE 3459.675
AT ITER 2319 NEW BEST:: SOT 13839 SOS 6553 HAS SOPS 6553 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3447.553
AT ITER 2356 NEW BEST:: SOT 13829 SOS 7390 HAS SOPS 7390 HAS SOUS 3435 HAS SOUPS 3435 WITH SCORE 3442.39
AT ITER 2371 NEW BEST:: SOT 13825 SOS 7386 HAS SOPS 7386 HAS SOUS 3435 HAS SOUPS 3435 WITH SCORE 3442.386
AT ITER 2393 NEW BEST:: SOT 13778 SOS 7286 HAS SOPS 7286 HAS SOUS 3431 HAS SOUPS 3431 WITH SCORE 3438.286
AT ITER 2400 NEW BEST:: SOT 13769 SOS 7258 HAS SOPS 7258 HAS SOUS 3413 HAS SOUPS 3413 WITH SCORE 3420.258
AT ITER 2402 NEW BEST:: SOT 13775 SOS 7276 HAS SOPS 7276 HAS SOUS 3407 HAS SOUPS 3407 WITH SCORE 3414.276
AT ITER 2403 NEW BEST:: SOT 13775 SOS 7144 HAS SOPS 7144 HAS SOUS 3407 HAS SOUPS 3407 WITH SCORE 3414.144
AT ITER 2446 NEW BEST:: SOT 13775 SOS 7133 HAS SOPS 7133 HAS SOUS 3407 HAS SOUPS 3407 WITH SCORE 3414.133
AT ITER 2455 NEW BEST:: SOT 13765 SOS 7113 HAS SOPS 7113 HAS SOUS 3401 HAS SOUPS 3401 WITH SCORE 3408.113
AT ITER 2456 NEW BEST:: SOT 13766 SOS 7071 HAS SOPS 7071 HAS SOUS 3398 HAS SOUPS 3398 WITH SCORE 3405.071
AT ITER 2457 NEW BEST:: SOT 13763 SOS 7061 HAS SOPS 7061 HAS SOUS 3395 HAS SOUPS 3395 WITH SCORE 3402.061
AT ITER 2489 NEW BEST:: SOT 13774 SOS 7054 HAS SOPS 7054 HAS SOUS 3384 HAS SOUPS 3384 WITH SCORE 3391.054
AT ITER 2504 NEW BEST:: SOT 13776 SOS 7047 HAS SOPS 7047 HAS SOUS 3379 HAS SOUPS 3379 WITH SCORE 3386.047
AT ITER 2529 NEW BEST:: SOT 13775 SOS 7046 HAS SOPS 7046 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3384.046
AT ITER 2542 NEW BEST:: SOT 13761 SOS 6997 HAS SOPS 6997 HAS SOUS 3344 HAS SOUPS 3344 WITH SCORE 3350.997
AT ITER 2570 NEW BEST:: SOT 13760 SOS 6980 HAS SOPS 6980 HAS SOUS 3339 HAS SOUPS 3339 WITH SCORE 3345.98
AT ITER 2577 NEW BEST:: SOT 13760 SOS 6988 HAS SOPS 6988 HAS SOUS 3335 HAS SOUPS 3335 WITH SCORE 3341.988
AT ITER 2606 NEW BEST:: SOT 13760 SOS 6988 HAS SOPS 6988 HAS SOUS 3329 HAS SOUPS 3329 WITH SCORE 3335.988
AT ITER 2618 NEW BEST:: SOT 13739 SOS 6968 HAS SOPS 6968 HAS SOUS 3303 HAS SOUPS 3303 WITH SCORE 3309.968
AT ITER 2625 NEW BEST:: SOT 13748 SOS 6977 HAS SOPS 6977 HAS SOUS 3302 HAS SOUPS 3302 WITH SCORE 3308.977
AT ITER 2638 NEW BEST:: SOT 13748 SOS 6973 HAS SOPS 6973 HAS SOUS 3300 HAS SOUPS 3300 WITH SCORE 3306.973
AT ITER 2666 NEW BEST:: SOT 13747 SOS 6972 HAS SOPS 6972 HAS SOUS 3300 HAS SOUPS 3300 WITH SCORE 3306.972
AT ITER 2678 NEW BEST:: SOT 13723 SOS 7050 HAS SOPS 7050 HAS SOUS 3266 HAS SOUPS 3266 WITH SCORE 3273.05
AT ITER 2698 NEW BEST:: SOT 13721 SOS 7046 HAS SOPS 7046 HAS SOUS 3264 HAS SOUPS 3264 WITH SCORE 3271.046
AT ITER 2699 NEW BEST:: SOT 13720 SOS 7045 HAS SOPS 7045 HAS SOUS 3262 HAS SOUPS 3262 WITH SCORE 3269.045
AT ITER 2752 NEW BEST:: SOT 13719 SOS 7043 HAS SOPS 7043 HAS SOUS 3260 HAS SOUPS 3260 WITH SCORE 3267.043
AT ITER 2769 NEW BEST:: SOT 13709 SOS 7023 HAS SOPS 7023 HAS SOUS 3260 HAS SOUPS 3260 WITH SCORE 3267.023
AT ITER 2780 NEW BEST:: SOT 13697 SOS 7011 HAS SOPS 7011 HAS SOUS 3248 HAS SOUPS 3248 WITH SCORE 3255.011
AT ITER 2790 NEW BEST:: SOT 13694 SOS 7002 HAS SOPS 7002 HAS SOUS 3245 HAS SOUPS 3245 WITH SCORE 3252.002
AT ITER 2826 NEW BEST:: SOT 13693 SOS 6997 HAS SOPS 6997 HAS SOUS 3243 HAS SOUPS 3243 WITH SCORE 3249.997
AT ITER 2858 NEW BEST:: SOT 13691 SOS 6996 HAS SOPS 6996 HAS SOUS 3241 HAS SOUPS 3241 WITH SCORE 3247.996
AT ITER 2865 NEW BEST:: SOT 13679 SOS 6984 HAS SOPS 6984 HAS SOUS 3229 HAS SOUPS 3229 WITH SCORE 3235.984
AT ITER 2901 NEW BEST:: SOT 13679 SOS 6978 HAS SOPS 6978 HAS SOUS 3226 HAS SOUPS 3226 WITH SCORE 3232.978
AT ITER 2919 NEW BEST:: SOT 13647 SOS 7005 HAS SOPS 7005 HAS SOUS 3197 HAS SOUPS 3197 WITH SCORE 3204.005
AT ITER 2953 NEW BEST:: SOT 13646 SOS 6999 HAS SOPS 6999 HAS SOUS 3185 HAS SOUPS 3185 WITH SCORE 3191.999
AT ITER 2966 NEW BEST:: SOT 13651 SOS 7004 HAS SOPS 7004 HAS SOUS 3172 HAS SOUPS 3172 WITH SCORE 3179.004
AT ITER 3006 NEW BEST:: SOT 13651 SOS 7005 HAS SOPS 7005 HAS SOUS 3171 HAS SOUPS 3171 WITH SCORE 3178.005
AT ITER 3032 NEW BEST:: SOT 13651 SOS 6947 HAS SOPS 6947 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3148.947
AT ITER 3108 NEW BEST:: SOT 13618 SOS 6898 HAS SOPS 6898 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3136.898
AT ITER 3161 NEW BEST:: SOT 13618 SOS 6909 HAS SOPS 6909 HAS SOUS 3123 HAS SOUPS 3123 WITH SCORE 3129.909
AT ITER 3167 NEW BEST:: SOT 13602 SOS 6875 HAS SOPS 6875 HAS SOUS 3109 HAS SOUPS 3109 WITH SCORE 3115.875
AT ITER 3186 NEW BEST:: SOT 13596 SOS 6869 HAS SOPS 6869 HAS SOUS 3097 HAS SOUPS 3097 WITH SCORE 3103.869
AT ITER 3217 NEW BEST:: SOT 13599 SOS 6776 HAS SOPS 6776 HAS SOUS 3091 HAS SOUPS 3091 WITH SCORE 3097.776
AT ITER 3226 NEW BEST:: SOT 13599 SOS 6768 HAS SOPS 6768 HAS SOUS 3087 HAS SOUPS 3087 WITH SCORE 3093.768
AT ITER 3261 NEW BEST:: SOT 13599 SOS 6768 HAS SOPS 6768 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3092.768
AT ITER 3267 NEW BEST:: SOT 13599 SOS 6774 HAS SOPS 6774 HAS SOUS 3083 HAS SOUPS 3083 WITH SCORE 3089.774
AT ITER 3287 NEW BEST:: SOT 13586 SOS 6740 HAS SOPS 6740 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3080.74
AT ITER 3294 NEW BEST:: SOT 13584 SOS 6724 HAS SOPS 6724 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3078.724
AT ITER 3296 NEW BEST:: SOT 13585 SOS 6765 HAS SOPS 6765 HAS SOUS 3053 HAS SOUPS 3053 WITH SCORE 3059.765
AT ITER 3375 NEW BEST:: SOT 13585 SOS 6763 HAS SOPS 6763 HAS SOUS 3053 HAS SOUPS 3053 WITH SCORE 3059.763
AT ITER 3376 NEW BEST:: SOT 13572 SOS 6755 HAS SOPS 6755 HAS SOUS 3053 HAS SOUPS 3053 WITH SCORE 3059.755
AT ITER 3418 NEW BEST:: SOT 13574 SOS 6757 HAS SOPS 6757 HAS SOUS 3051 HAS SOUPS 3051 WITH SCORE 3057.757
AT ITER 3432 NEW BEST:: SOT 13572 SOS 6757 HAS SOPS 6757 HAS SOUS 3049 HAS SOUPS 3049 WITH SCORE 3055.757
AT ITER 3456 NEW BEST:: SOT 13573 SOS 6758 HAS SOPS 6758 HAS SOUS 3044 HAS SOUPS 3044 WITH SCORE 3050.758
AT ITER 3541 NEW BEST:: SOT 13572 SOS 6754 HAS SOPS 6754 HAS SOUS 3043 HAS SOUPS 3043 WITH SCORE 3049.754
AT ITER 3546 NEW BEST:: SOT 13572 SOS 6728 HAS SOPS 6728 HAS SOUS 3043 HAS SOUPS 3043 WITH SCORE 3049.728
AT ITER 3555 NEW BEST:: SOT 13569 SOS 6739 HAS SOPS 6739 HAS SOUS 3042 HAS SOUPS 3042 WITH SCORE 3048.739
AT ITER 3558 NEW BEST:: SOT 13578 SOS 6739 HAS SOPS 6739 HAS SOUS 3039 HAS SOUPS 3039 WITH SCORE 3045.739
AT ITER 3578 NEW BEST:: SOT 13573 SOS 6483 HAS SOPS 6483 HAS SOUS 3026 HAS SOUPS 3026 WITH SCORE 3032.483
AT ITER 3596 NEW BEST:: SOT 13575 SOS 6463 HAS SOPS 6463 HAS SOUS 3017 HAS SOUPS 3017 WITH SCORE 3023.463
AT ITER 3597 NEW BEST:: SOT 13573 SOS 6459 HAS SOPS 6459 HAS SOUS 3017 HAS SOUPS 3017 WITH SCORE 3023.459
AT ITER 3696 NEW BEST:: SOT 13574 SOS 6458 HAS SOPS 6458 HAS SOUS 3016 HAS SOUPS 3016 WITH SCORE 3022.458
AT ITER 3729 NEW BEST:: SOT 13572 SOS 6452 HAS SOPS 6452 HAS SOUS 3012 HAS SOUPS 3012 WITH SCORE 3018.452
AT ITER 3751 NEW BEST:: SOT 13572 SOS 6452 HAS SOPS 6452 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3016.452
AT ITER 3758 NEW BEST:: SOT 13573 SOS 6439 HAS SOPS 6439 HAS SOUS 2997 HAS SOUPS 2997 WITH SCORE 3003.439
AT ITER 3771 NEW BEST:: SOT 13571 SOS 6425 HAS SOPS 6425 HAS SOUS 2995 HAS SOUPS 2995 WITH SCORE 3001.425
AT ITER 3900 NEW BEST:: SOT 13575 SOS 6420 HAS SOPS 6420 HAS SOUS 2995 HAS SOUPS 2995 WITH SCORE 3001.42
AT ITER 3924 NEW BEST:: SOT 13575 SOS 6406 HAS SOPS 6406 HAS SOUS 2991 HAS SOUPS 2991 WITH SCORE 2997.406
AT ITER 3945 NEW BEST:: SOT 13574 SOS 6400 HAS SOPS 6400 HAS SOUS 2990 HAS SOUPS 2990 WITH SCORE 2996.4
AT ITER 4035 NEW BEST:: SOT 13569 SOS 6390 HAS SOPS 6390 HAS SOUS 2985 HAS SOUPS 2985 WITH SCORE 2991.39
AT ITER 4038 NEW BEST:: SOT 13545 SOS 6345 HAS SOPS 6345 HAS SOUS 2958 HAS SOUPS 2958 WITH SCORE 2964.345
AT ITER 4041 NEW BEST:: SOT 13542 SOS 6342 HAS SOPS 6342 HAS SOUS 2944 HAS SOUPS 2944 WITH SCORE 2950.342
AT ITER 4064 NEW BEST:: SOT 13533 SOS 6308 HAS SOPS 6308 HAS SOUS 2934 HAS SOUPS 2934 WITH SCORE 2940.308
AT ITER 4103 NEW BEST:: SOT 13526 SOS 6301 HAS SOPS 6301 HAS SOUS 2931 HAS SOUPS 2931 WITH SCORE 2937.301
AT ITER 4221 NEW BEST:: SOT 13525 SOS 6298 HAS SOPS 6298 HAS SOUS 2931 HAS SOUPS 2931 WITH SCORE 2937.298
AT ITER 4242 NEW BEST:: SOT 13525 SOS 6298 HAS SOPS 6298 HAS SOUS 2930 HAS SOUPS 2930 WITH SCORE 2936.298
AT ITER 4291 NEW BEST:: SOT 13525 SOS 6304 HAS SOPS 6304 HAS SOUS 2927 HAS SOUPS 2927 WITH SCORE 2933.304
AT ITER 4301 NEW BEST:: SOT 13525 SOS 6302 HAS SOPS 6302 HAS SOUS 2926 HAS SOUPS 2926 WITH SCORE 2932.302
AT ITER 4369 NEW BEST:: SOT 13525 SOS 6300 HAS SOPS 6300 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2928.3
AT ITER 4405 NEW BEST:: SOT 13518 SOS 6293 HAS SOPS 6293 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2928.293
AT ITER 4408 NEW BEST:: SOT 13508 SOS 6272 HAS SOPS 6272 HAS SOUS 2909 HAS SOUPS 2909 WITH SCORE 2915.272
AT ITER 4480 NEW BEST:: SOT 13506 SOS 6268 HAS SOPS 6268 HAS SOUS 2906 HAS SOUPS 2906 WITH SCORE 2912.268
AT ITER 4503 NEW BEST:: SOT 13504 SOS 6264 HAS SOPS 6264 HAS SOUS 2901 HAS SOUPS 2901 WITH SCORE 2907.264
AT ITER 4550 NEW BEST:: SOT 13503 SOS 6263 HAS SOPS 6263 HAS SOUS 2896 HAS SOUPS 2896 WITH SCORE 2902.263
AT ITER 4587 NEW BEST:: SOT 13501 SOS 6261 HAS SOPS 6261 HAS SOUS 2895 HAS SOUPS 2895 WITH SCORE 2901.261
AT ITER 4616 NEW BEST:: SOT 13501 SOS 6262 HAS SOPS 6262 HAS SOUS 2892 HAS SOUPS 2892 WITH SCORE 2898.262
AT ITER 4636 NEW BEST:: SOT 13495 SOS 6244 HAS SOPS 6244 HAS SOUS 2880 HAS SOUPS 2880 WITH SCORE 2886.244
AT ITER 4652 NEW BEST:: SOT 13510 SOS 6223 HAS SOPS 6223 HAS SOUS 2877 HAS SOUPS 2877 WITH SCORE 2883.223
AT ITER 4654 NEW BEST:: SOT 13512 SOS 6215 HAS SOPS 6215 HAS SOUS 2873 HAS SOUPS 2873 WITH SCORE 2879.215
AT ITER 4698 NEW BEST:: SOT 13511 SOS 6204 HAS SOPS 6204 HAS SOUS 2872 HAS SOUPS 2872 WITH SCORE 2878.204
AT ITER 4741 NEW BEST:: SOT 13506 SOS 6189 HAS SOPS 6189 HAS SOUS 2853 HAS SOUPS 2853 WITH SCORE 2859.189
AT ITER 4749 NEW BEST:: SOT 13506 SOS 6193 HAS SOPS 6193 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2857.193
AT ITER 4790 NEW BEST:: SOT 13500 SOS 6185 HAS SOPS 6185 HAS SOUS 2843 HAS SOUPS 2843 WITH SCORE 2849.185
AT ITER 4846 NEW BEST:: SOT 13492 SOS 6159 HAS SOPS 6159 HAS SOUS 2836 HAS SOUPS 2836 WITH SCORE 2842.159
AT ITER 4847 NEW BEST:: SOT 13491 SOS 6157 HAS SOPS 6157 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2836.157
AT ITER 4874 NEW BEST:: SOT 13490 SOS 6154 HAS SOPS 6154 HAS SOUS 2828 HAS SOUPS 2828 WITH SCORE 2834.154
AT ITER 4904 NEW BEST:: SOT 13486 SOS 6142 HAS SOPS 6142 HAS SOUS 2822 HAS SOUPS 2822 WITH SCORE 2828.142
AT ITER 4930 NEW BEST:: SOT 13483 SOS 6144 HAS SOPS 6144 HAS SOUS 2819 HAS SOUPS 2819 WITH SCORE 2825.144
AT ITER 5001 NEW BEST:: SOT 13481 SOS 6145 HAS SOPS 6145 HAS SOUS 2815 HAS SOUPS 2815 WITH SCORE 2821.145
AT ITER 5049 NEW BEST:: SOT 13481 SOS 6145 HAS SOPS 6145 HAS SOUS 2813 HAS SOUPS 2813 WITH SCORE 2819.145
AT ITER 5082 NEW BEST:: SOT 13488 SOS 6152 HAS SOPS 6152 HAS SOUS 2812 HAS SOUPS 2812 WITH SCORE 2818.152
AT ITER 5123 NEW BEST:: SOT 13488 SOS 6151 HAS SOPS 6151 HAS SOUS 2812 HAS SOUPS 2812 WITH SCORE 2818.151
AT ITER 5350 NEW BEST:: SOT 13485 SOS 6149 HAS SOPS 6149 HAS SOUS 2812 HAS SOUPS 2812 WITH SCORE 2818.149
AT ITER 5377 NEW BEST:: SOT 13475 SOS 6129 HAS SOPS 6129 HAS SOUS 2802 HAS SOUPS 2802 WITH SCORE 2808.129
AT ITER 5383 NEW BEST:: SOT 13470 SOS 6124 HAS SOPS 6124 HAS SOUS 2797 HAS SOUPS 2797 WITH SCORE 2803.124
AT ITER 5427 NEW BEST:: SOT 13470 SOS 6124 HAS SOPS 6124 HAS SOUS 2796 HAS SOUPS 2796 WITH SCORE 2802.124
AT ITER 5509 NEW BEST:: SOT 13471 SOS 6122 HAS SOPS 6122 HAS SOUS 2796 HAS SOUPS 2796 WITH SCORE 2802.122
AT ITER 5525 NEW BEST:: SOT 13465 SOS 6150 HAS SOPS 6150 HAS SOUS 2790 HAS SOUPS 2790 WITH SCORE 2796.15
AT ITER 5588 NEW BEST:: SOT 13469 SOS 6146 HAS SOPS 6146 HAS SOUS 2790 HAS SOUPS 2790 WITH SCORE 2796.146
AT ITER 5603 NEW BEST:: SOT 13487 SOS 6142 HAS SOPS 6142 HAS SOUS 2789 HAS SOUPS 2789 WITH SCORE 2795.142
AT ITER 5625 NEW BEST:: SOT 13486 SOS 6140 HAS SOPS 6140 HAS SOUS 2787 HAS SOUPS 2787 WITH SCORE 2793.14
AT ITER 5639 NEW BEST:: SOT 13484 SOS 6134 HAS SOPS 6134 HAS SOUS 2783 HAS SOUPS 2783 WITH SCORE 2789.134
AT ITER 5677 NEW BEST:: SOT 13481 SOS 6136 HAS SOPS 6136 HAS SOUS 2782 HAS SOUPS 2782 WITH SCORE 2788.136
AT ITER 5713 NEW BEST:: SOT 13491 SOS 6146 HAS SOPS 6146 HAS SOUS 2780 HAS SOUPS 2780 WITH SCORE 2786.146
AT ITER 5771 NEW BEST:: SOT 13491 SOS 6160 HAS SOPS 6160 HAS SOUS 2776 HAS SOUPS 2776 WITH SCORE 2782.16
AT ITER 5903 NEW BEST:: SOT 13491 SOS 6174 HAS SOPS 6174 HAS SOUS 2769 HAS SOUPS 2769 WITH SCORE 2775.174
AT ITER 5986 NEW BEST:: SOT 13491 SOS 6156 HAS SOPS 6156 HAS SOUS 2769 HAS SOUPS 2769 WITH SCORE 2775.156
AT ITER 5995 NEW BEST:: SOT 13493 SOS 6151 HAS SOPS 6151 HAS SOUS 2769 HAS SOUPS 2769 WITH SCORE 2775.151
AT ITER 6003 NEW BEST:: SOT 13495 SOS 6153 HAS SOPS 6153 HAS SOUS 2767 HAS SOUPS 2767 WITH SCORE 2773.153
AT ITER 6025 NEW BEST:: SOT 13496 SOS 6159 HAS SOPS 6159 HAS SOUS 2765 HAS SOUPS 2765 WITH SCORE 2771.159
AT ITER 6044 NEW BEST:: SOT 13493 SOS 6156 HAS SOPS 6156 HAS SOUS 2763 HAS SOUPS 2763 WITH SCORE 2769.156
AT ITER 6059 NEW BEST:: SOT 13473 SOS 6157 HAS SOPS 6157 HAS SOUS 2746 HAS SOUPS 2746 WITH SCORE 2752.157
AT ITER 6347 NEW BEST:: SOT 13469 SOS 6161 HAS SOPS 6161 HAS SOUS 2744 HAS SOUPS 2744 WITH SCORE 2750.161
AT ITER 6360 NEW BEST:: SOT 13467 SOS 6158 HAS SOPS 6158 HAS SOUS 2741 HAS SOUPS 2741 WITH SCORE 2747.158
AT ITER 6427 NEW BEST:: SOT 13466 SOS 6157 HAS SOPS 6157 HAS SOUS 2740 HAS SOUPS 2740 WITH SCORE 2746.157
AT ITER 6436 NEW BEST:: SOT 13465 SOS 6154 HAS SOPS 6154 HAS SOUS 2738 HAS SOUPS 2738 WITH SCORE 2744.154
AT ITER 6438 NEW BEST:: SOT 13465 SOS 6142 HAS SOPS 6142 HAS SOUS 2732 HAS SOUPS 2732 WITH SCORE 2738.142
AT ITER 6493 NEW BEST:: SOT 13464 SOS 6144 HAS SOPS 6144 HAS SOUS 2728 HAS SOUPS 2728 WITH SCORE 2734.144
AT ITER 6555 NEW BEST:: SOT 13464 SOS 6141 HAS SOPS 6141 HAS SOUS 2728 HAS SOUPS 2728 WITH SCORE 2734.141
AT ITER 6587 NEW BEST:: SOT 13464 SOS 6136 HAS SOPS 6136 HAS SOUS 2725 HAS SOUPS 2725 WITH SCORE 2731.136
AT ITER 6711 NEW BEST:: SOT 13463 SOS 6135 HAS SOPS 6135 HAS SOUS 2724 HAS SOUPS 2724 WITH SCORE 2730.135
AT ITER 6771 NEW BEST:: SOT 13468 SOS 6131 HAS SOPS 6131 HAS SOUS 2713 HAS SOUPS 2713 WITH SCORE 2719.131
AT ITER 6836 NEW BEST:: SOT 13466 SOS 6128 HAS SOPS 6128 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2714.128
AT ITER 7014 NEW BEST:: SOT 13465 SOS 6121 HAS SOPS 6121 HAS SOUS 2704 HAS SOUPS 2704 WITH SCORE 2710.121
AT ITER 7082 NEW BEST:: SOT 13464 SOS 6119 HAS SOPS 6119 HAS SOUS 2702 HAS SOUPS 2702 WITH SCORE 2708.119
AT ITER 7169 NEW BEST:: SOT 13464 SOS 6131 HAS SOPS 6131 HAS SOUS 2700 HAS SOUPS 2700 WITH SCORE 2706.131
AT ITER 7267 NEW BEST:: SOT 13462 SOS 6127 HAS SOPS 6127 HAS SOUS 2697 HAS SOUPS 2697 WITH SCORE 2703.127
AT ITER 7315 NEW BEST:: SOT 13463 SOS 6124 HAS SOPS 6124 HAS SOUS 2697 HAS SOUPS 2697 WITH SCORE 2703.124
AT ITER 7423 NEW BEST:: SOT 13458 SOS 6113 HAS SOPS 6113 HAS SOUS 2697 HAS SOUPS 2697 WITH SCORE 2703.113
AT ITER 7533 NEW BEST:: SOT 13458 SOS 6109 HAS SOPS 6109 HAS SOUS 2697 HAS SOUPS 2697 WITH SCORE 2703.109
AT ITER 7565 NEW BEST:: SOT 13458 SOS 6111 HAS SOPS 6111 HAS SOUS 2696 HAS SOUPS 2696 WITH SCORE 2702.111
AT ITER 7573 NEW BEST:: SOT 13458 SOS 6113 HAS SOPS 6113 HAS SOUS 2695 HAS SOUPS 2695 WITH SCORE 2701.113
AT ITER 7643 NEW BEST:: SOT 13458 SOS 6111 HAS SOPS 6111 HAS SOUS 2694 HAS SOUPS 2694 WITH SCORE 2700.111
AT ITER 7740 NEW BEST:: SOT 13449 SOS 6102 HAS SOPS 6102 HAS SOUS 2694 HAS SOUPS 2694 WITH SCORE 2700.102
AT ITER 7883 NEW BEST:: SOT 13439 SOS 6147 HAS SOPS 6147 HAS SOUS 2687 HAS SOUPS 2687 WITH SCORE 2693.147
AT ITER 7953 NEW BEST:: SOT 13444 SOS 6153 HAS SOPS 6153 HAS SOUS 2685 HAS SOUPS 2685 WITH SCORE 2691.153
AT ITER 7963 NEW BEST:: SOT 13444 SOS 6124 HAS SOPS 6124 HAS SOUS 2685 HAS SOUPS 2685 WITH SCORE 2691.124
AT ITER 7972 NEW BEST:: SOT 13444 SOS 6105 HAS SOPS 6105 HAS SOUS 2685 HAS SOUPS 2685 WITH SCORE 2691.105
AT ITER 8268 NEW BEST:: SOT 13444 SOS 6103 HAS SOPS 6103 HAS SOUS 2682 HAS SOUPS 2682 WITH SCORE 2688.103
AT ITER 8315 NEW BEST:: SOT 13434 SOS 6093 HAS SOPS 6093 HAS SOUS 2645 HAS SOUPS 2645 WITH SCORE 2651.093
AT ITER 8346 NEW BEST:: SOT 13434 SOS 6091 HAS SOPS 6091 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2649.091
AT ITER 8389 NEW BEST:: SOT 13433 SOS 6086 HAS SOPS 6086 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2649.086
AT ITER 8493 NEW BEST:: SOT 13431 SOS 6084 HAS SOPS 6084 HAS SOUS 2639 HAS SOUPS 2639 WITH SCORE 2645.084
AT ITER 8758 NEW BEST:: SOT 13425 SOS 6078 HAS SOPS 6078 HAS SOUS 2637 HAS SOUPS 2637 WITH SCORE 2643.078
AT ITER 8780 NEW BEST:: SOT 13425 SOS 6078 HAS SOPS 6078 HAS SOUS 2635 HAS SOUPS 2635 WITH SCORE 2641.078
AT ITER 8835 NEW BEST:: SOT 13422 SOS 6073 HAS SOPS 6073 HAS SOUS 2626 HAS SOUPS 2626 WITH SCORE 2632.073
AT ITER 8943 NEW BEST:: SOT 13425 SOS 6070 HAS SOPS 6070 HAS SOUS 2623 HAS SOUPS 2623 WITH SCORE 2629.07
AT ITER 8959 NEW BEST:: SOT 13428 SOS 6073 HAS SOPS 6073 HAS SOUS 2621 HAS SOUPS 2621 WITH SCORE 2627.073
AT ITER 9046 NEW BEST:: SOT 13428 SOS 6066 HAS SOPS 6066 HAS SOUS 2619 HAS SOUPS 2619 WITH SCORE 2625.066
AT ITER 9050 NEW BEST:: SOT 13428 SOS 6066 HAS SOPS 6066 HAS SOUS 2615 HAS SOUPS 2615 WITH SCORE 2621.066
AT ITER 9177 NEW BEST:: SOT 13427 SOS 6065 HAS SOPS 6065 HAS SOUS 2615 HAS SOUPS 2615 WITH SCORE 2621.065
AT ITER 9342 NEW BEST:: SOT 13421 SOS 6053 HAS SOPS 6053 HAS SOUS 2607 HAS SOUPS 2607 WITH SCORE 2613.053
AT ITER 9432 NEW BEST:: SOT 13419 SOS 6051 HAS SOPS 6051 HAS SOUS 2607 HAS SOUPS 2607 WITH SCORE 2613.051
AT ITER 9454 NEW BEST:: SOT 13420 SOS 6052 HAS SOPS 6052 HAS SOUS 2601 HAS SOUPS 2601 WITH SCORE 2607.052
AT ITER 9516 NEW BEST:: SOT 13422 SOS 6055 HAS SOPS 6055 HAS SOUS 2600 HAS SOUPS 2600 WITH SCORE 2606.055
AT ITER 9531 NEW BEST:: SOT 13418 SOS 6047 HAS SOPS 6047 HAS SOUS 2596 HAS SOUPS 2596 WITH SCORE 2602.047
AT ITER 9565 NEW BEST:: SOT 13417 SOS 6047 HAS SOPS 6047 HAS SOUS 2594 HAS SOUPS 2594 WITH SCORE 2600.047
AT ITER 9642 NEW BEST:: SOT 13416 SOS 6040 HAS SOPS 6040 HAS SOUS 2593 HAS SOUPS 2593 WITH SCORE 2599.04
AT ITER 9910 NEW BEST:: SOT 13415 SOS 6040 HAS SOPS 6040 HAS SOUS 2590 HAS SOUPS 2590 WITH SCORE 2596.04
AT ITER 9913 NEW BEST:: SOT 13414 SOS 6036 HAS SOPS 6036 HAS SOUS 2590 HAS SOUPS 2590 WITH SCORE 2596.036
AT ITER 9951 NEW BEST:: SOT 13419 SOS 6035 HAS SOPS 6035 HAS SOUS 2590 HAS SOUPS 2590 WITH SCORE 2596.035
STATE_SPACE STATES 2959359753 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 30 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 30645288352 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679186723137

--------------------
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-Z2T4N08"
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-Z2T4N08, 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-167912696501016"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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