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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 19K Feb 26 14:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 26 14:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 26K Feb 26 14:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 113K Feb 26 14:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 17:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 46K Feb 25 17:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 17:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 17:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 65K Feb 26 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 340K Feb 26 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 75K Feb 26 14:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 324K Feb 26 14:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 17:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.1K Feb 25 17:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 93K 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 1679190542678

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-PT-Z2T3N08
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), 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, 216 transitions, 680 arcs.
AT ITER 0 NEW BEST:: SOT 24669 SOS 18260 HAS SOPS 18260 HAS SOUS 12102 HAS SOUPS 12102 WITH SCORE 12120.26
AT ITER 5 NEW BEST:: SOT 24683 SOS 18278 HAS SOPS 18278 HAS SOUS 12092 HAS SOUPS 12092 WITH SCORE 12110.278
AT ITER 6 NEW BEST:: SOT 24659 SOS 18230 HAS SOPS 18230 HAS SOUS 12020 HAS SOUPS 12020 WITH SCORE 12038.23
AT ITER 7 NEW BEST:: SOT 24620 SOS 18191 HAS SOPS 18191 HAS SOUS 11981 HAS SOUPS 11981 WITH SCORE 11999.191
AT ITER 11 NEW BEST:: SOT 24553 SOS 18159 HAS SOPS 18159 HAS SOUS 11903 HAS SOUPS 11903 WITH SCORE 11921.159
AT ITER 13 NEW BEST:: SOT 24401 SOS 17923 HAS SOPS 17923 HAS SOUS 11648 HAS SOUPS 11648 WITH SCORE 11665.923
AT ITER 16 NEW BEST:: SOT 24408 SOS 17941 HAS SOPS 17941 HAS SOUS 11647 HAS SOUPS 11647 WITH SCORE 11664.941
AT ITER 18 NEW BEST:: SOT 24383 SOS 17881 HAS SOPS 17881 HAS SOUS 11611 HAS SOUPS 11611 WITH SCORE 11628.881
AT ITER 19 NEW BEST:: SOT 24310 SOS 17794 HAS SOPS 17794 HAS SOUS 11524 HAS SOUPS 11524 WITH SCORE 11541.794
AT ITER 21 NEW BEST:: SOT 24180 SOS 17599 HAS SOPS 17599 HAS SOUS 11311 HAS SOUPS 11311 WITH SCORE 11328.599
AT ITER 29 NEW BEST:: SOT 24177 SOS 17628 HAS SOPS 17628 HAS SOUS 11196 HAS SOUPS 11196 WITH SCORE 11213.628
AT ITER 33 NEW BEST:: SOT 24139 SOS 17590 HAS SOPS 17590 HAS SOUS 11189 HAS SOUPS 11189 WITH SCORE 11206.59
AT ITER 34 NEW BEST:: SOT 24139 SOS 17584 HAS SOPS 17584 HAS SOUS 11183 HAS SOUPS 11183 WITH SCORE 11200.584
AT ITER 35 NEW BEST:: SOT 24139 SOS 17587 HAS SOPS 17587 HAS SOUS 11177 HAS SOUPS 11177 WITH SCORE 11194.587
AT ITER 37 NEW BEST:: SOT 24114 SOS 17556 HAS SOPS 17556 HAS SOUS 11151 HAS SOUPS 11151 WITH SCORE 11168.556
AT ITER 38 NEW BEST:: SOT 24094 SOS 17516 HAS SOPS 17516 HAS SOUS 11045 HAS SOUPS 11045 WITH SCORE 11062.516
AT ITER 39 NEW BEST:: SOT 24051 SOS 17346 HAS SOPS 17346 HAS SOUS 10957 HAS SOUPS 10957 WITH SCORE 10974.346
AT ITER 45 NEW BEST:: SOT 24079 SOS 17328 HAS SOPS 17328 HAS SOUS 10918 HAS SOUPS 10918 WITH SCORE 10935.328
AT ITER 47 NEW BEST:: SOT 23927 SOS 17200 HAS SOPS 17200 HAS SOUS 10703 HAS SOUPS 10703 WITH SCORE 10720.2
AT ITER 49 NEW BEST:: SOT 23868 SOS 17132 HAS SOPS 17132 HAS SOUS 10700 HAS SOUPS 10700 WITH SCORE 10717.132
AT ITER 51 NEW BEST:: SOT 23835 SOS 17114 HAS SOPS 17114 HAS SOUS 10618 HAS SOUPS 10618 WITH SCORE 10635.114
AT ITER 52 NEW BEST:: SOT 20337 SOS 14029 HAS SOPS 14029 HAS SOUS 8362 HAS SOUPS 8362 WITH SCORE 8376.029
AT ITER 54 NEW BEST:: SOT 20328 SOS 14013 HAS SOPS 14013 HAS SOUS 8348 HAS SOUPS 8348 WITH SCORE 8362.013
AT ITER 62 NEW BEST:: SOT 20226 SOS 13911 HAS SOPS 13911 HAS SOUS 8264 HAS SOUPS 8264 WITH SCORE 8277.911
AT ITER 64 NEW BEST:: SOT 20152 SOS 13837 HAS SOPS 13837 HAS SOUS 8206 HAS SOUPS 8206 WITH SCORE 8219.837
AT ITER 65 NEW BEST:: SOT 20134 SOS 13373 HAS SOPS 13373 HAS SOUS 8145 HAS SOUPS 8145 WITH SCORE 8158.373
AT ITER 69 NEW BEST:: SOT 20135 SOS 13273 HAS SOPS 13273 HAS SOUS 8092 HAS SOUPS 8092 WITH SCORE 8105.273
AT ITER 78 NEW BEST:: SOT 20135 SOS 13269 HAS SOPS 13269 HAS SOUS 8078 HAS SOUPS 8078 WITH SCORE 8091.269
AT ITER 81 NEW BEST:: SOT 20135 SOS 13265 HAS SOPS 13265 HAS SOUS 8074 HAS SOUPS 8074 WITH SCORE 8087.265
AT ITER 86 NEW BEST:: SOT 20127 SOS 13253 HAS SOPS 13253 HAS SOUS 8054 HAS SOUPS 8054 WITH SCORE 8067.253
AT ITER 89 NEW BEST:: SOT 20081 SOS 13167 HAS SOPS 13167 HAS SOUS 7962 HAS SOUPS 7962 WITH SCORE 7975.167
AT ITER 97 NEW BEST:: SOT 20055 SOS 13115 HAS SOPS 13115 HAS SOUS 7947 HAS SOUPS 7947 WITH SCORE 7960.115
AT ITER 99 NEW BEST:: SOT 20055 SOS 13094 HAS SOPS 13094 HAS SOUS 7947 HAS SOUPS 7947 WITH SCORE 7960.094
AT ITER 100 NEW BEST:: SOT 19998 SOS 13040 HAS SOPS 13040 HAS SOUS 7893 HAS SOUPS 7893 WITH SCORE 7906.04
AT ITER 106 NEW BEST:: SOT 19944 SOS 12930 HAS SOPS 12930 HAS SOUS 7827 HAS SOUPS 7827 WITH SCORE 7839.93
AT ITER 115 NEW BEST:: SOT 19906 SOS 12854 HAS SOPS 12854 HAS SOUS 7778 HAS SOUPS 7778 WITH SCORE 7790.854
AT ITER 117 NEW BEST:: SOT 19906 SOS 12854 HAS SOPS 12854 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7782.854
AT ITER 125 NEW BEST:: SOT 19687 SOS 12652 HAS SOPS 12652 HAS SOUS 7568 HAS SOUPS 7568 WITH SCORE 7580.652
AT ITER 134 NEW BEST:: SOT 19513 SOS 12410 HAS SOPS 12410 HAS SOUS 7442 HAS SOUPS 7442 WITH SCORE 7454.41
AT ITER 138 NEW BEST:: SOT 19299 SOS 12092 HAS SOPS 12092 HAS SOUS 7295 HAS SOUPS 7295 WITH SCORE 7307.092
AT ITER 141 NEW BEST:: SOT 19265 SOS 12044 HAS SOPS 12044 HAS SOUS 7255 HAS SOUPS 7255 WITH SCORE 7267.044
AT ITER 150 NEW BEST:: SOT 19204 SOS 11887 HAS SOPS 11887 HAS SOUS 7163 HAS SOUPS 7163 WITH SCORE 7174.887
AT ITER 167 NEW BEST:: SOT 19204 SOS 11887 HAS SOPS 11887 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7164.887
AT ITER 168 NEW BEST:: SOT 19181 SOS 11805 HAS SOPS 11805 HAS SOUS 7132 HAS SOUPS 7132 WITH SCORE 7143.805
AT ITER 170 NEW BEST:: SOT 19189 SOS 11745 HAS SOPS 11745 HAS SOUS 7128 HAS SOUPS 7128 WITH SCORE 7139.745
AT ITER 175 NEW BEST:: SOT 19099 SOS 11699 HAS SOPS 11699 HAS SOUS 7085 HAS SOUPS 7085 WITH SCORE 7096.699
AT ITER 177 NEW BEST:: SOT 19105 SOS 11705 HAS SOPS 11705 HAS SOUS 7063 HAS SOUPS 7063 WITH SCORE 7074.705
AT ITER 180 NEW BEST:: SOT 19058 SOS 11630 HAS SOPS 11630 HAS SOUS 6968 HAS SOUPS 6968 WITH SCORE 6979.63
AT ITER 187 NEW BEST:: SOT 19006 SOS 12295 HAS SOPS 12295 HAS SOUS 6929 HAS SOUPS 6929 WITH SCORE 6941.295
AT ITER 196 NEW BEST:: SOT 18944 SOS 12280 HAS SOPS 12280 HAS SOUS 6897 HAS SOUPS 6897 WITH SCORE 6909.28
AT ITER 197 NEW BEST:: SOT 18947 SOS 12248 HAS SOPS 12248 HAS SOUS 6825 HAS SOUPS 6825 WITH SCORE 6837.248
AT ITER 198 NEW BEST:: SOT 18916 SOS 12225 HAS SOPS 12225 HAS SOUS 6822 HAS SOUPS 6822 WITH SCORE 6834.225
AT ITER 209 NEW BEST:: SOT 18888 SOS 12169 HAS SOPS 12169 HAS SOUS 6794 HAS SOUPS 6794 WITH SCORE 6806.169
AT ITER 211 NEW BEST:: SOT 18878 SOS 12185 HAS SOPS 12185 HAS SOUS 6756 HAS SOUPS 6756 WITH SCORE 6768.185
AT ITER 213 NEW BEST:: SOT 18876 SOS 12172 HAS SOPS 12172 HAS SOUS 6733 HAS SOUPS 6733 WITH SCORE 6745.172
AT ITER 219 NEW BEST:: SOT 18855 SOS 12151 HAS SOPS 12151 HAS SOUS 6712 HAS SOUPS 6712 WITH SCORE 6724.151
AT ITER 231 NEW BEST:: SOT 18849 SOS 11641 HAS SOPS 11641 HAS SOUS 6675 HAS SOUPS 6675 WITH SCORE 6686.641
AT ITER 238 NEW BEST:: SOT 18851 SOS 11615 HAS SOPS 11615 HAS SOUS 6635 HAS SOUPS 6635 WITH SCORE 6646.615
AT ITER 251 NEW BEST:: SOT 18882 SOS 11482 HAS SOPS 11482 HAS SOUS 6606 HAS SOUPS 6606 WITH SCORE 6617.482
AT ITER 252 NEW BEST:: SOT 18882 SOS 11466 HAS SOPS 11466 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6611.466
AT ITER 261 NEW BEST:: SOT 18882 SOS 11466 HAS SOPS 11466 HAS SOUS 6599 HAS SOUPS 6599 WITH SCORE 6610.466
AT ITER 263 NEW BEST:: SOT 18856 SOS 11440 HAS SOPS 11440 HAS SOUS 6599 HAS SOUPS 6599 WITH SCORE 6610.44
AT ITER 264 NEW BEST:: SOT 18854 SOS 11402 HAS SOPS 11402 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6608.402
AT ITER 270 NEW BEST:: SOT 18802 SOS 11352 HAS SOPS 11352 HAS SOUS 6552 HAS SOUPS 6552 WITH SCORE 6563.352
AT ITER 271 NEW BEST:: SOT 18772 SOS 11322 HAS SOPS 11322 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6528.322
AT ITER 273 NEW BEST:: SOT 18768 SOS 11278 HAS SOPS 11278 HAS SOUS 6515 HAS SOUPS 6515 WITH SCORE 6526.278
AT ITER 275 NEW BEST:: SOT 18711 SOS 11242 HAS SOPS 11242 HAS SOUS 6497 HAS SOUPS 6497 WITH SCORE 6508.242
AT ITER 277 NEW BEST:: SOT 18621 SOS 11182 HAS SOPS 11182 HAS SOUS 6467 HAS SOUPS 6467 WITH SCORE 6478.182
AT ITER 283 NEW BEST:: SOT 18622 SOS 11177 HAS SOPS 11177 HAS SOUS 6465 HAS SOUPS 6465 WITH SCORE 6476.177
AT ITER 290 NEW BEST:: SOT 18419 SOS 11017 HAS SOPS 11017 HAS SOUS 6439 HAS SOUPS 6439 WITH SCORE 6450.017
AT ITER 299 NEW BEST:: SOT 18422 SOS 11020 HAS SOPS 11020 HAS SOUS 6429 HAS SOUPS 6429 WITH SCORE 6440.02
AT ITER 310 NEW BEST:: SOT 18394 SOS 10999 HAS SOPS 10999 HAS SOUS 6415 HAS SOUPS 6415 WITH SCORE 6425.999
AT ITER 315 NEW BEST:: SOT 18412 SOS 11017 HAS SOPS 11017 HAS SOUS 6404 HAS SOUPS 6404 WITH SCORE 6415.017
AT ITER 317 NEW BEST:: SOT 18362 SOS 10917 HAS SOPS 10917 HAS SOUS 6329 HAS SOUPS 6329 WITH SCORE 6339.917
AT ITER 320 NEW BEST:: SOT 18365 SOS 10889 HAS SOPS 10889 HAS SOUS 6315 HAS SOUPS 6315 WITH SCORE 6325.889
AT ITER 323 NEW BEST:: SOT 18453 SOS 10935 HAS SOPS 10935 HAS SOUS 6280 HAS SOUPS 6280 WITH SCORE 6290.935
AT ITER 333 NEW BEST:: SOT 18443 SOS 10923 HAS SOPS 10923 HAS SOUS 6270 HAS SOUPS 6270 WITH SCORE 6280.923
AT ITER 349 NEW BEST:: SOT 18437 SOS 10917 HAS SOPS 10917 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6274.917
AT ITER 352 NEW BEST:: SOT 18437 SOS 10881 HAS SOPS 10881 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6274.881
AT ITER 354 NEW BEST:: SOT 18428 SOS 10875 HAS SOPS 10875 HAS SOUS 6256 HAS SOUPS 6256 WITH SCORE 6266.875
AT ITER 360 NEW BEST:: SOT 18347 SOS 10783 HAS SOPS 10783 HAS SOUS 6188 HAS SOUPS 6188 WITH SCORE 6198.783
AT ITER 365 NEW BEST:: SOT 18347 SOS 10809 HAS SOPS 10809 HAS SOUS 6187 HAS SOUPS 6187 WITH SCORE 6197.809
AT ITER 368 NEW BEST:: SOT 18343 SOS 10820 HAS SOPS 10820 HAS SOUS 6183 HAS SOUPS 6183 WITH SCORE 6193.82
AT ITER 372 NEW BEST:: SOT 18349 SOS 10826 HAS SOPS 10826 HAS SOUS 6158 HAS SOUPS 6158 WITH SCORE 6168.826
AT ITER 374 NEW BEST:: SOT 18347 SOS 10822 HAS SOPS 10822 HAS SOUS 6149 HAS SOUPS 6149 WITH SCORE 6159.822
AT ITER 382 NEW BEST:: SOT 18349 SOS 10816 HAS SOPS 10816 HAS SOUS 6148 HAS SOUPS 6148 WITH SCORE 6158.816
AT ITER 385 NEW BEST:: SOT 18339 SOS 10796 HAS SOPS 10796 HAS SOUS 6133 HAS SOUPS 6133 WITH SCORE 6143.796
AT ITER 402 NEW BEST:: SOT 18336 SOS 10826 HAS SOPS 10826 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6137.826
AT ITER 437 NEW BEST:: SOT 18388 SOS 10995 HAS SOPS 10995 HAS SOUS 6124 HAS SOUPS 6124 WITH SCORE 6134.995
AT ITER 438 NEW BEST:: SOT 18464 SOS 11044 HAS SOPS 11044 HAS SOUS 6119 HAS SOUPS 6119 WITH SCORE 6130.044
AT ITER 467 NEW BEST:: SOT 18433 SOS 10963 HAS SOPS 10963 HAS SOUS 6079 HAS SOUPS 6079 WITH SCORE 6089.963
AT ITER 479 NEW BEST:: SOT 18429 SOS 10959 HAS SOPS 10959 HAS SOUS 6075 HAS SOUPS 6075 WITH SCORE 6085.959
AT ITER 485 NEW BEST:: SOT 18421 SOS 10930 HAS SOPS 10930 HAS SOUS 6033 HAS SOUPS 6033 WITH SCORE 6043.93
AT ITER 503 NEW BEST:: SOT 18382 SOS 10891 HAS SOPS 10891 HAS SOUS 5988 HAS SOUPS 5988 WITH SCORE 5998.891
AT ITER 507 NEW BEST:: SOT 18390 SOS 10923 HAS SOPS 10923 HAS SOUS 5984 HAS SOUPS 5984 WITH SCORE 5994.923
AT ITER 509 NEW BEST:: SOT 18390 SOS 10923 HAS SOPS 10923 HAS SOUS 5975 HAS SOUPS 5975 WITH SCORE 5985.923
AT ITER 513 NEW BEST:: SOT 18380 SOS 10913 HAS SOPS 10913 HAS SOUS 5953 HAS SOUPS 5953 WITH SCORE 5963.913
AT ITER 523 NEW BEST:: SOT 18372 SOS 10902 HAS SOPS 10902 HAS SOUS 5946 HAS SOUPS 5946 WITH SCORE 5956.902
AT ITER 527 NEW BEST:: SOT 18301 SOS 10831 HAS SOPS 10831 HAS SOUS 5875 HAS SOUPS 5875 WITH SCORE 5885.831
AT ITER 529 NEW BEST:: SOT 18295 SOS 10825 HAS SOPS 10825 HAS SOUS 5869 HAS SOUPS 5869 WITH SCORE 5879.825
AT ITER 535 NEW BEST:: SOT 18289 SOS 10813 HAS SOPS 10813 HAS SOUS 5861 HAS SOUPS 5861 WITH SCORE 5871.813
AT ITER 537 NEW BEST:: SOT 18286 SOS 10795 HAS SOPS 10795 HAS SOUS 5849 HAS SOUPS 5849 WITH SCORE 5859.795
AT ITER 538 NEW BEST:: SOT 18327 SOS 10836 HAS SOPS 10836 HAS SOUS 5835 HAS SOUPS 5835 WITH SCORE 5845.836
AT ITER 542 NEW BEST:: SOT 18326 SOS 10834 HAS SOPS 10834 HAS SOUS 5832 HAS SOUPS 5832 WITH SCORE 5842.834
AT ITER 547 NEW BEST:: SOT 18316 SOS 10831 HAS SOPS 10831 HAS SOUS 5810 HAS SOUPS 5810 WITH SCORE 5820.831
AT ITER 551 NEW BEST:: SOT 18316 SOS 10818 HAS SOPS 10818 HAS SOUS 5802 HAS SOUPS 5802 WITH SCORE 5812.818
AT ITER 556 NEW BEST:: SOT 18280 SOS 10778 HAS SOPS 10778 HAS SOUS 5764 HAS SOUPS 5764 WITH SCORE 5774.778
AT ITER 568 NEW BEST:: SOT 18280 SOS 10778 HAS SOPS 10778 HAS SOUS 5757 HAS SOUPS 5757 WITH SCORE 5767.778
AT ITER 571 NEW BEST:: SOT 18235 SOS 10733 HAS SOPS 10733 HAS SOUS 5734 HAS SOUPS 5734 WITH SCORE 5744.733
AT ITER 573 NEW BEST:: SOT 18236 SOS 10723 HAS SOPS 10723 HAS SOUS 5733 HAS SOUPS 5733 WITH SCORE 5743.723
AT ITER 574 NEW BEST:: SOT 18275 SOS 10714 HAS SOPS 10714 HAS SOUS 5721 HAS SOUPS 5721 WITH SCORE 5731.714
AT ITER 577 NEW BEST:: SOT 18263 SOS 10702 HAS SOPS 10702 HAS SOUS 5699 HAS SOUPS 5699 WITH SCORE 5709.702
AT ITER 583 NEW BEST:: SOT 18263 SOS 10660 HAS SOPS 10660 HAS SOUS 5699 HAS SOUPS 5699 WITH SCORE 5709.66
AT ITER 591 NEW BEST:: SOT 18263 SOS 10667 HAS SOPS 10667 HAS SOUS 5694 HAS SOUPS 5694 WITH SCORE 5704.667
AT ITER 594 NEW BEST:: SOT 18184 SOS 10515 HAS SOPS 10515 HAS SOUS 5609 HAS SOUPS 5609 WITH SCORE 5619.515
AT ITER 595 NEW BEST:: SOT 18170 SOS 10501 HAS SOPS 10501 HAS SOUS 5581 HAS SOUPS 5581 WITH SCORE 5591.501
AT ITER 599 NEW BEST:: SOT 18164 SOS 10495 HAS SOPS 10495 HAS SOUS 5563 HAS SOUPS 5563 WITH SCORE 5573.495
AT ITER 619 NEW BEST:: SOT 18123 SOS 10467 HAS SOPS 10467 HAS SOUS 5514 HAS SOUPS 5514 WITH SCORE 5524.467
AT ITER 620 NEW BEST:: SOT 18104 SOS 10600 HAS SOPS 10600 HAS SOUS 5505 HAS SOUPS 5505 WITH SCORE 5515.6
AT ITER 632 NEW BEST:: SOT 18089 SOS 10603 HAS SOPS 10603 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5506.603
AT ITER 640 NEW BEST:: SOT 18094 SOS 10613 HAS SOPS 10613 HAS SOUS 5476 HAS SOUPS 5476 WITH SCORE 5486.613
AT ITER 658 NEW BEST:: SOT 18090 SOS 10609 HAS SOPS 10609 HAS SOUS 5474 HAS SOUPS 5474 WITH SCORE 5484.609
AT ITER 661 NEW BEST:: SOT 18090 SOS 10602 HAS SOPS 10602 HAS SOUS 5467 HAS SOUPS 5467 WITH SCORE 5477.602
AT ITER 664 NEW BEST:: SOT 18069 SOS 10539 HAS SOPS 10539 HAS SOUS 5446 HAS SOUPS 5446 WITH SCORE 5456.539
AT ITER 673 NEW BEST:: SOT 18063 SOS 10533 HAS SOPS 10533 HAS SOUS 5434 HAS SOUPS 5434 WITH SCORE 5444.533
AT ITER 675 NEW BEST:: SOT 18053 SOS 10542 HAS SOPS 10542 HAS SOUS 5424 HAS SOUPS 5424 WITH SCORE 5434.542
AT ITER 678 NEW BEST:: SOT 18049 SOS 10466 HAS SOPS 10466 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5386.466
AT ITER 680 NEW BEST:: SOT 18014 SOS 10409 HAS SOPS 10409 HAS SOUS 5337 HAS SOUPS 5337 WITH SCORE 5347.409
AT ITER 684 NEW BEST:: SOT 17976 SOS 10360 HAS SOPS 10360 HAS SOUS 5288 HAS SOUPS 5288 WITH SCORE 5298.36
AT ITER 688 NEW BEST:: SOT 17970 SOS 10358 HAS SOPS 10358 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5280.358
AT ITER 692 NEW BEST:: SOT 17950 SOS 10338 HAS SOPS 10338 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5280.338
AT ITER 698 NEW BEST:: SOT 17944 SOS 10326 HAS SOPS 10326 HAS SOUS 5258 HAS SOUPS 5258 WITH SCORE 5268.326
AT ITER 704 NEW BEST:: SOT 17922 SOS 10304 HAS SOPS 10304 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5224.304
AT ITER 709 NEW BEST:: SOT 17907 SOS 10283 HAS SOPS 10283 HAS SOUS 5206 HAS SOUPS 5206 WITH SCORE 5216.283
AT ITER 720 NEW BEST:: SOT 17906 SOS 10282 HAS SOPS 10282 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5192.282
AT ITER 744 NEW BEST:: SOT 17900 SOS 10279 HAS SOPS 10279 HAS SOUS 5179 HAS SOUPS 5179 WITH SCORE 5189.279
AT ITER 747 NEW BEST:: SOT 17838 SOS 10277 HAS SOPS 10277 HAS SOUS 5166 HAS SOUPS 5166 WITH SCORE 5176.277
AT ITER 752 NEW BEST:: SOT 17830 SOS 10262 HAS SOPS 10262 HAS SOUS 5153 HAS SOUPS 5153 WITH SCORE 5163.262
AT ITER 758 NEW BEST:: SOT 17824 SOS 10210 HAS SOPS 10210 HAS SOUS 5147 HAS SOUPS 5147 WITH SCORE 5157.21
AT ITER 787 NEW BEST:: SOT 17810 SOS 10203 HAS SOPS 10203 HAS SOUS 5133 HAS SOUPS 5133 WITH SCORE 5143.203
AT ITER 791 NEW BEST:: SOT 17809 SOS 10163 HAS SOPS 10163 HAS SOUS 5114 HAS SOUPS 5114 WITH SCORE 5124.163
AT ITER 794 NEW BEST:: SOT 17789 SOS 10120 HAS SOPS 10120 HAS SOUS 5094 HAS SOUPS 5094 WITH SCORE 5104.12
AT ITER 800 NEW BEST:: SOT 17785 SOS 10103 HAS SOPS 10103 HAS SOUS 5084 HAS SOUPS 5084 WITH SCORE 5094.103
AT ITER 802 NEW BEST:: SOT 17778 SOS 10103 HAS SOPS 10103 HAS SOUS 5070 HAS SOUPS 5070 WITH SCORE 5080.103
AT ITER 815 NEW BEST:: SOT 17776 SOS 10102 HAS SOPS 10102 HAS SOUS 5068 HAS SOUPS 5068 WITH SCORE 5078.102
AT ITER 819 NEW BEST:: SOT 17756 SOS 10074 HAS SOPS 10074 HAS SOUS 5048 HAS SOUPS 5048 WITH SCORE 5058.074
AT ITER 825 NEW BEST:: SOT 17755 SOS 10071 HAS SOPS 10071 HAS SOUS 5046 HAS SOUPS 5046 WITH SCORE 5056.071
AT ITER 826 NEW BEST:: SOT 17738 SOS 10024 HAS SOPS 10024 HAS SOUS 5038 HAS SOUPS 5038 WITH SCORE 5048.024
AT ITER 851 NEW BEST:: SOT 17732 SOS 10018 HAS SOPS 10018 HAS SOUS 5030 HAS SOUPS 5030 WITH SCORE 5040.018
AT ITER 855 NEW BEST:: SOT 17707 SOS 9968 HAS SOPS 9968 HAS SOUS 4980 HAS SOUPS 4980 WITH SCORE 4989.968
AT ITER 866 NEW BEST:: SOT 17705 SOS 9966 HAS SOPS 9966 HAS SOUS 4978 HAS SOUPS 4978 WITH SCORE 4987.966
AT ITER 869 NEW BEST:: SOT 17685 SOS 9946 HAS SOPS 9946 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4958.946
AT ITER 882 NEW BEST:: SOT 17685 SOS 9932 HAS SOPS 9932 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4946.932
AT ITER 884 NEW BEST:: SOT 17648 SOS 9829 HAS SOPS 9829 HAS SOUS 4884 HAS SOUPS 4884 WITH SCORE 4893.829
AT ITER 897 NEW BEST:: SOT 17587 SOS 9649 HAS SOPS 9649 HAS SOUS 4799 HAS SOUPS 4799 WITH SCORE 4808.649
AT ITER 917 NEW BEST:: SOT 17582 SOS 9590 HAS SOPS 9590 HAS SOUS 4797 HAS SOUPS 4797 WITH SCORE 4806.59
AT ITER 923 NEW BEST:: SOT 17555 SOS 9560 HAS SOPS 9560 HAS SOUS 4776 HAS SOUPS 4776 WITH SCORE 4785.56
AT ITER 950 NEW BEST:: SOT 17542 SOS 9547 HAS SOPS 9547 HAS SOUS 4760 HAS SOUPS 4760 WITH SCORE 4769.547
AT ITER 959 NEW BEST:: SOT 17541 SOS 9545 HAS SOPS 9545 HAS SOUS 4757 HAS SOUPS 4757 WITH SCORE 4766.545
AT ITER 960 NEW BEST:: SOT 17513 SOS 9515 HAS SOPS 9515 HAS SOUS 4739 HAS SOUPS 4739 WITH SCORE 4748.515
AT ITER 971 NEW BEST:: SOT 17491 SOS 9493 HAS SOPS 9493 HAS SOUS 4717 HAS SOUPS 4717 WITH SCORE 4726.493
AT ITER 990 NEW BEST:: SOT 17489 SOS 9480 HAS SOPS 9480 HAS SOUS 4704 HAS SOUPS 4704 WITH SCORE 4713.48
AT ITER 999 NEW BEST:: SOT 17475 SOS 9466 HAS SOPS 9466 HAS SOUS 4690 HAS SOUPS 4690 WITH SCORE 4699.466
AT ITER 1000 NEW BEST:: SOT 17452 SOS 9400 HAS SOPS 9400 HAS SOUS 4636 HAS SOUPS 4636 WITH SCORE 4645.4
AT ITER 1008 NEW BEST:: SOT 17440 SOS 9378 HAS SOPS 9378 HAS SOUS 4598 HAS SOUPS 4598 WITH SCORE 4607.378
AT ITER 1012 NEW BEST:: SOT 17420 SOS 9369 HAS SOPS 9369 HAS SOUS 4558 HAS SOUPS 4558 WITH SCORE 4567.369
AT ITER 1016 NEW BEST:: SOT 17417 SOS 9364 HAS SOPS 9364 HAS SOUS 4546 HAS SOUPS 4546 WITH SCORE 4555.364
AT ITER 1037 NEW BEST:: SOT 17435 SOS 9357 HAS SOPS 9357 HAS SOUS 4539 HAS SOUPS 4539 WITH SCORE 4548.357
AT ITER 1057 NEW BEST:: SOT 17429 SOS 9345 HAS SOPS 9345 HAS SOUS 4533 HAS SOUPS 4533 WITH SCORE 4542.345
AT ITER 1083 NEW BEST:: SOT 17427 SOS 9344 HAS SOPS 9344 HAS SOUS 4528 HAS SOUPS 4528 WITH SCORE 4537.344
AT ITER 1085 NEW BEST:: SOT 17426 SOS 9343 HAS SOPS 9343 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4535.343
AT ITER 1086 NEW BEST:: SOT 17466 SOS 9379 HAS SOPS 9379 HAS SOUS 4522 HAS SOUPS 4522 WITH SCORE 4531.379
AT ITER 1091 NEW BEST:: SOT 17452 SOS 9329 HAS SOPS 9329 HAS SOUS 4508 HAS SOUPS 4508 WITH SCORE 4517.329
AT ITER 1092 NEW BEST:: SOT 17448 SOS 9327 HAS SOPS 9327 HAS SOUS 4505 HAS SOUPS 4505 WITH SCORE 4514.327
AT ITER 1093 NEW BEST:: SOT 17448 SOS 9337 HAS SOPS 9337 HAS SOUS 4499 HAS SOUPS 4499 WITH SCORE 4508.337
AT ITER 1108 NEW BEST:: SOT 17446 SOS 9333 HAS SOPS 9333 HAS SOUS 4499 HAS SOUPS 4499 WITH SCORE 4508.333
AT ITER 1112 NEW BEST:: SOT 17444 SOS 9331 HAS SOPS 9331 HAS SOUS 4490 HAS SOUPS 4490 WITH SCORE 4499.331
AT ITER 1114 NEW BEST:: SOT 17439 SOS 9326 HAS SOPS 9326 HAS SOUS 4490 HAS SOUPS 4490 WITH SCORE 4499.326
AT ITER 1121 NEW BEST:: SOT 17418 SOS 9316 HAS SOPS 9316 HAS SOUS 4480 HAS SOUPS 4480 WITH SCORE 4489.316
AT ITER 1128 NEW BEST:: SOT 17414 SOS 9310 HAS SOPS 9310 HAS SOUS 4478 HAS SOUPS 4478 WITH SCORE 4487.31
AT ITER 1142 NEW BEST:: SOT 17394 SOS 9273 HAS SOPS 9273 HAS SOUS 4434 HAS SOUPS 4434 WITH SCORE 4443.273
AT ITER 1146 NEW BEST:: SOT 17380 SOS 9255 HAS SOPS 9255 HAS SOUS 4420 HAS SOUPS 4420 WITH SCORE 4429.255
AT ITER 1148 NEW BEST:: SOT 17380 SOS 9222 HAS SOPS 9222 HAS SOUS 4420 HAS SOUPS 4420 WITH SCORE 4429.222
AT ITER 1167 NEW BEST:: SOT 17380 SOS 9220 HAS SOPS 9220 HAS SOUS 4420 HAS SOUPS 4420 WITH SCORE 4429.22
AT ITER 1181 NEW BEST:: SOT 17370 SOS 9211 HAS SOPS 9211 HAS SOUS 4399 HAS SOUPS 4399 WITH SCORE 4408.211
AT ITER 1200 NEW BEST:: SOT 17358 SOS 9443 HAS SOPS 9443 HAS SOUS 4397 HAS SOUPS 4397 WITH SCORE 4406.443
AT ITER 1214 NEW BEST:: SOT 17348 SOS 9445 HAS SOPS 9445 HAS SOUS 4393 HAS SOUPS 4393 WITH SCORE 4402.445
AT ITER 1256 NEW BEST:: SOT 17337 SOS 9431 HAS SOPS 9431 HAS SOUS 4379 HAS SOUPS 4379 WITH SCORE 4388.431
AT ITER 1260 NEW BEST:: SOT 17337 SOS 9431 HAS SOPS 9431 HAS SOUS 4378 HAS SOUPS 4378 WITH SCORE 4387.431
AT ITER 1275 NEW BEST:: SOT 17340 SOS 9393 HAS SOPS 9393 HAS SOUS 4378 HAS SOUPS 4378 WITH SCORE 4387.393
AT ITER 1308 NEW BEST:: SOT 17336 SOS 9389 HAS SOPS 9389 HAS SOUS 4374 HAS SOUPS 4374 WITH SCORE 4383.389
AT ITER 1317 NEW BEST:: SOT 17345 SOS 9439 HAS SOPS 9439 HAS SOUS 4372 HAS SOUPS 4372 WITH SCORE 4381.439
AT ITER 1335 NEW BEST:: SOT 17343 SOS 9437 HAS SOPS 9437 HAS SOUS 4371 HAS SOUPS 4371 WITH SCORE 4380.437
AT ITER 1337 NEW BEST:: SOT 17355 SOS 9421 HAS SOPS 9421 HAS SOUS 4369 HAS SOUPS 4369 WITH SCORE 4378.421
AT ITER 1341 NEW BEST:: SOT 17319 SOS 9385 HAS SOPS 9385 HAS SOUS 4336 HAS SOUPS 4336 WITH SCORE 4345.385
AT ITER 1348 NEW BEST:: SOT 17319 SOS 9371 HAS SOPS 9371 HAS SOUS 4329 HAS SOUPS 4329 WITH SCORE 4338.371
AT ITER 1352 NEW BEST:: SOT 17317 SOS 9330 HAS SOPS 9330 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4335.33
AT ITER 1367 NEW BEST:: SOT 17313 SOS 9314 HAS SOPS 9314 HAS SOUS 4314 HAS SOUPS 4314 WITH SCORE 4323.314
AT ITER 1381 NEW BEST:: SOT 17301 SOS 9284 HAS SOPS 9284 HAS SOUS 4290 HAS SOUPS 4290 WITH SCORE 4299.284
AT ITER 1400 NEW BEST:: SOT 17297 SOS 9272 HAS SOPS 9272 HAS SOUS 4290 HAS SOUPS 4290 WITH SCORE 4299.272
AT ITER 1422 NEW BEST:: SOT 17304 SOS 9271 HAS SOPS 9271 HAS SOUS 4290 HAS SOUPS 4290 WITH SCORE 4299.271
AT ITER 1435 NEW BEST:: SOT 17298 SOS 9275 HAS SOPS 9275 HAS SOUS 4278 HAS SOUPS 4278 WITH SCORE 4287.275
AT ITER 1459 NEW BEST:: SOT 17294 SOS 9267 HAS SOPS 9267 HAS SOUS 4270 HAS SOUPS 4270 WITH SCORE 4279.267
AT ITER 1475 NEW BEST:: SOT 17279 SOS 9241 HAS SOPS 9241 HAS SOUS 4239 HAS SOUPS 4239 WITH SCORE 4248.241
AT ITER 1508 NEW BEST:: SOT 17247 SOS 9251 HAS SOPS 9251 HAS SOUS 4207 HAS SOUPS 4207 WITH SCORE 4216.251
AT ITER 1531 NEW BEST:: SOT 17232 SOS 9217 HAS SOPS 9217 HAS SOUS 4183 HAS SOUPS 4183 WITH SCORE 4192.217
AT ITER 1533 NEW BEST:: SOT 17221 SOS 9156 HAS SOPS 9156 HAS SOUS 4147 HAS SOUPS 4147 WITH SCORE 4156.156
AT ITER 1554 NEW BEST:: SOT 17220 SOS 9155 HAS SOPS 9155 HAS SOUS 4145 HAS SOUPS 4145 WITH SCORE 4154.155
AT ITER 1555 NEW BEST:: SOT 17213 SOS 9151 HAS SOPS 9151 HAS SOUS 4142 HAS SOUPS 4142 WITH SCORE 4151.151
AT ITER 1577 NEW BEST:: SOT 17210 SOS 9147 HAS SOPS 9147 HAS SOUS 4142 HAS SOUPS 4142 WITH SCORE 4151.147
AT ITER 1592 NEW BEST:: SOT 17153 SOS 9040 HAS SOPS 9040 HAS SOUS 4129 HAS SOUPS 4129 WITH SCORE 4138.04
AT ITER 1597 NEW BEST:: SOT 17094 SOS 8921 HAS SOPS 8921 HAS SOUS 4056 HAS SOUPS 4056 WITH SCORE 4064.921
AT ITER 1618 NEW BEST:: SOT 17050 SOS 8890 HAS SOPS 8890 HAS SOUS 4012 HAS SOUPS 4012 WITH SCORE 4020.89
AT ITER 1626 NEW BEST:: SOT 17016 SOS 8822 HAS SOPS 8822 HAS SOUS 4005 HAS SOUPS 4005 WITH SCORE 4013.822
AT ITER 1631 NEW BEST:: SOT 17023 SOS 8810 HAS SOPS 8810 HAS SOUS 3998 HAS SOUPS 3998 WITH SCORE 4006.81
AT ITER 1638 NEW BEST:: SOT 17015 SOS 8798 HAS SOPS 8798 HAS SOUS 3988 HAS SOUPS 3988 WITH SCORE 3996.798
AT ITER 1647 NEW BEST:: SOT 17008 SOS 8781 HAS SOPS 8781 HAS SOUS 3967 HAS SOUPS 3967 WITH SCORE 3975.781
AT ITER 1654 NEW BEST:: SOT 16945 SOS 8785 HAS SOPS 8785 HAS SOUS 3923 HAS SOUPS 3923 WITH SCORE 3931.785
AT ITER 1664 NEW BEST:: SOT 16929 SOS 8753 HAS SOPS 8753 HAS SOUS 3907 HAS SOUPS 3907 WITH SCORE 3915.753
AT ITER 1692 NEW BEST:: SOT 16924 SOS 8759 HAS SOPS 8759 HAS SOUS 3897 HAS SOUPS 3897 WITH SCORE 3905.759
AT ITER 1711 NEW BEST:: SOT 16924 SOS 8763 HAS SOPS 8763 HAS SOUS 3895 HAS SOUPS 3895 WITH SCORE 3903.763
AT ITER 1730 NEW BEST:: SOT 16924 SOS 8753 HAS SOPS 8753 HAS SOUS 3890 HAS SOUPS 3890 WITH SCORE 3898.753
AT ITER 1738 NEW BEST:: SOT 16922 SOS 8751 HAS SOPS 8751 HAS SOUS 3888 HAS SOUPS 3888 WITH SCORE 3896.751
AT ITER 1751 NEW BEST:: SOT 16912 SOS 8741 HAS SOPS 8741 HAS SOUS 3876 HAS SOUPS 3876 WITH SCORE 3884.741
AT ITER 1787 NEW BEST:: SOT 16905 SOS 8734 HAS SOPS 8734 HAS SOUS 3857 HAS SOUPS 3857 WITH SCORE 3865.734
AT ITER 1790 NEW BEST:: SOT 16908 SOS 8706 HAS SOPS 8706 HAS SOUS 3824 HAS SOUPS 3824 WITH SCORE 3832.706
AT ITER 1814 NEW BEST:: SOT 16907 SOS 8704 HAS SOPS 8704 HAS SOUS 3824 HAS SOUPS 3824 WITH SCORE 3832.704
AT ITER 1816 NEW BEST:: SOT 16891 SOS 8692 HAS SOPS 8692 HAS SOUS 3815 HAS SOUPS 3815 WITH SCORE 3823.692
AT ITER 1820 NEW BEST:: SOT 16869 SOS 8670 HAS SOPS 8670 HAS SOUS 3808 HAS SOUPS 3808 WITH SCORE 3816.67
AT ITER 1838 NEW BEST:: SOT 16866 SOS 8668 HAS SOPS 8668 HAS SOUS 3806 HAS SOUPS 3806 WITH SCORE 3814.668
AT ITER 1842 NEW BEST:: SOT 16871 SOS 8658 HAS SOPS 8658 HAS SOUS 3796 HAS SOUPS 3796 WITH SCORE 3804.658
AT ITER 1903 NEW BEST:: SOT 16843 SOS 8619 HAS SOPS 8619 HAS SOUS 3751 HAS SOUPS 3751 WITH SCORE 3759.619
AT ITER 1918 NEW BEST:: SOT 16814 SOS 8573 HAS SOPS 8573 HAS SOUS 3705 HAS SOUPS 3705 WITH SCORE 3713.573
AT ITER 1932 NEW BEST:: SOT 16812 SOS 8569 HAS SOPS 8569 HAS SOUS 3703 HAS SOUPS 3703 WITH SCORE 3711.569
AT ITER 1951 NEW BEST:: SOT 16794 SOS 8551 HAS SOPS 8551 HAS SOUS 3676 HAS SOUPS 3676 WITH SCORE 3684.551
AT ITER 1957 NEW BEST:: SOT 16804 SOS 8581 HAS SOPS 8581 HAS SOUS 3656 HAS SOUPS 3656 WITH SCORE 3664.581
AT ITER 1972 NEW BEST:: SOT 16794 SOS 8571 HAS SOPS 8571 HAS SOUS 3646 HAS SOUPS 3646 WITH SCORE 3654.571
AT ITER 1977 NEW BEST:: SOT 16789 SOS 8566 HAS SOPS 8566 HAS SOUS 3632 HAS SOUPS 3632 WITH SCORE 3640.566
AT ITER 2003 NEW BEST:: SOT 16767 SOS 8512 HAS SOPS 8512 HAS SOUS 3606 HAS SOUPS 3606 WITH SCORE 3614.512
AT ITER 2021 NEW BEST:: SOT 16780 SOS 8520 HAS SOPS 8520 HAS SOUS 3597 HAS SOUPS 3597 WITH SCORE 3605.52
AT ITER 2050 NEW BEST:: SOT 16774 SOS 8514 HAS SOPS 8514 HAS SOUS 3595 HAS SOUPS 3595 WITH SCORE 3603.514
AT ITER 2051 NEW BEST:: SOT 16777 SOS 8510 HAS SOPS 8510 HAS SOUS 3587 HAS SOUPS 3587 WITH SCORE 3595.51
AT ITER 2136 NEW BEST:: SOT 16765 SOS 8498 HAS SOPS 8498 HAS SOUS 3572 HAS SOUPS 3572 WITH SCORE 3580.498
AT ITER 2145 NEW BEST:: SOT 16755 SOS 8492 HAS SOPS 8492 HAS SOUS 3570 HAS SOUPS 3570 WITH SCORE 3578.492
AT ITER 2149 NEW BEST:: SOT 16767 SOS 8496 HAS SOPS 8496 HAS SOUS 3566 HAS SOUPS 3566 WITH SCORE 3574.496
AT ITER 2152 NEW BEST:: SOT 16777 SOS 8505 HAS SOPS 8505 HAS SOUS 3563 HAS SOUPS 3563 WITH SCORE 3571.505
AT ITER 2164 NEW BEST:: SOT 16770 SOS 8498 HAS SOPS 8498 HAS SOUS 3549 HAS SOUPS 3549 WITH SCORE 3557.498
AT ITER 2171 NEW BEST:: SOT 16770 SOS 8496 HAS SOPS 8496 HAS SOUS 3549 HAS SOUPS 3549 WITH SCORE 3557.496
AT ITER 2240 NEW BEST:: SOT 16716 SOS 8442 HAS SOPS 8442 HAS SOUS 3501 HAS SOUPS 3501 WITH SCORE 3509.442
AT ITER 2241 NEW BEST:: SOT 16710 SOS 8436 HAS SOPS 8436 HAS SOUS 3495 HAS SOUPS 3495 WITH SCORE 3503.436
AT ITER 2288 NEW BEST:: SOT 16708 SOS 8434 HAS SOPS 8434 HAS SOUS 3489 HAS SOUPS 3489 WITH SCORE 3497.434
AT ITER 2323 NEW BEST:: SOT 16706 SOS 8432 HAS SOPS 8432 HAS SOUS 3487 HAS SOUPS 3487 WITH SCORE 3495.432
AT ITER 2404 NEW BEST:: SOT 16712 SOS 8436 HAS SOPS 8436 HAS SOUS 3481 HAS SOUPS 3481 WITH SCORE 3489.436
AT ITER 2427 NEW BEST:: SOT 16704 SOS 8428 HAS SOPS 8428 HAS SOUS 3479 HAS SOUPS 3479 WITH SCORE 3487.428
AT ITER 2429 NEW BEST:: SOT 16716 SOS 8434 HAS SOPS 8434 HAS SOUS 3473 HAS SOUPS 3473 WITH SCORE 3481.434
AT ITER 2451 NEW BEST:: SOT 16714 SOS 8434 HAS SOPS 8434 HAS SOUS 3471 HAS SOUPS 3471 WITH SCORE 3479.434
AT ITER 2477 NEW BEST:: SOT 16712 SOS 8442 HAS SOPS 8442 HAS SOUS 3469 HAS SOUPS 3469 WITH SCORE 3477.442
AT ITER 2507 NEW BEST:: SOT 16704 SOS 8408 HAS SOPS 8408 HAS SOUS 3451 HAS SOUPS 3451 WITH SCORE 3459.408
AT ITER 2551 NEW BEST:: SOT 16700 SOS 8404 HAS SOPS 8404 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3449.404
AT ITER 2570 NEW BEST:: SOT 16698 SOS 8399 HAS SOPS 8399 HAS SOUS 3416 HAS SOUPS 3416 WITH SCORE 3424.399
AT ITER 2577 NEW BEST:: SOT 16691 SOS 8392 HAS SOPS 8392 HAS SOUS 3410 HAS SOUPS 3410 WITH SCORE 3418.392
AT ITER 2590 NEW BEST:: SOT 16687 SOS 8406 HAS SOPS 8406 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3416.406
AT ITER 2598 NEW BEST:: SOT 16674 SOS 8402 HAS SOPS 8402 HAS SOUS 3393 HAS SOUPS 3393 WITH SCORE 3401.402
AT ITER 2610 NEW BEST:: SOT 16672 SOS 8400 HAS SOPS 8400 HAS SOUS 3391 HAS SOUPS 3391 WITH SCORE 3399.4
AT ITER 2632 NEW BEST:: SOT 16665 SOS 8412 HAS SOPS 8412 HAS SOUS 3371 HAS SOUPS 3371 WITH SCORE 3379.412
AT ITER 2643 NEW BEST:: SOT 16660 SOS 8412 HAS SOPS 8412 HAS SOUS 3360 HAS SOUPS 3360 WITH SCORE 3368.412
AT ITER 2657 NEW BEST:: SOT 16661 SOS 8412 HAS SOPS 8412 HAS SOUS 3359 HAS SOUPS 3359 WITH SCORE 3367.412
AT ITER 2663 NEW BEST:: SOT 16669 SOS 8420 HAS SOPS 8420 HAS SOUS 3346 HAS SOUPS 3346 WITH SCORE 3354.42
AT ITER 2688 NEW BEST:: SOT 16675 SOS 8420 HAS SOPS 8420 HAS SOUS 3345 HAS SOUPS 3345 WITH SCORE 3353.42
AT ITER 2710 NEW BEST:: SOT 16676 SOS 8402 HAS SOPS 8402 HAS SOUS 3322 HAS SOUPS 3322 WITH SCORE 3330.402
AT ITER 2714 NEW BEST:: SOT 16671 SOS 8385 HAS SOPS 8385 HAS SOUS 3308 HAS SOUPS 3308 WITH SCORE 3316.385
AT ITER 2741 NEW BEST:: SOT 16669 SOS 8383 HAS SOPS 8383 HAS SOUS 3306 HAS SOUPS 3306 WITH SCORE 3314.383
AT ITER 2745 NEW BEST:: SOT 16668 SOS 8382 HAS SOPS 8382 HAS SOUS 3305 HAS SOUPS 3305 WITH SCORE 3313.382
AT ITER 2751 NEW BEST:: SOT 16632 SOS 8344 HAS SOPS 8344 HAS SOUS 3286 HAS SOUPS 3286 WITH SCORE 3294.344
AT ITER 2768 NEW BEST:: SOT 16615 SOS 8310 HAS SOPS 8310 HAS SOUS 3264 HAS SOUPS 3264 WITH SCORE 3272.31
AT ITER 2783 NEW BEST:: SOT 16615 SOS 8308 HAS SOPS 8308 HAS SOUS 3263 HAS SOUPS 3263 WITH SCORE 3271.308
AT ITER 2822 NEW BEST:: SOT 16611 SOS 8285 HAS SOPS 8285 HAS SOUS 3260 HAS SOUPS 3260 WITH SCORE 3268.285
AT ITER 2876 NEW BEST:: SOT 16609 SOS 8285 HAS SOPS 8285 HAS SOUS 3256 HAS SOUPS 3256 WITH SCORE 3264.285
AT ITER 2877 NEW BEST:: SOT 16606 SOS 8171 HAS SOPS 8171 HAS SOUS 3247 HAS SOUPS 3247 WITH SCORE 3255.171
AT ITER 2880 NEW BEST:: SOT 16606 SOS 8162 HAS SOPS 8162 HAS SOUS 3238 HAS SOUPS 3238 WITH SCORE 3246.162
AT ITER 2894 NEW BEST:: SOT 16604 SOS 8160 HAS SOPS 8160 HAS SOUS 3235 HAS SOUPS 3235 WITH SCORE 3243.16
AT ITER 2928 NEW BEST:: SOT 16592 SOS 8136 HAS SOPS 8136 HAS SOUS 3231 HAS SOUPS 3231 WITH SCORE 3239.136
AT ITER 2964 NEW BEST:: SOT 16593 SOS 8134 HAS SOPS 8134 HAS SOUS 3228 HAS SOUPS 3228 WITH SCORE 3236.134
AT ITER 3001 NEW BEST:: SOT 16570 SOS 8098 HAS SOPS 8098 HAS SOUS 3205 HAS SOUPS 3205 WITH SCORE 3213.098
AT ITER 3005 NEW BEST:: SOT 16585 SOS 8097 HAS SOPS 8097 HAS SOUS 3204 HAS SOUPS 3204 WITH SCORE 3212.097
AT ITER 3035 NEW BEST:: SOT 16584 SOS 8095 HAS SOPS 8095 HAS SOUS 3202 HAS SOUPS 3202 WITH SCORE 3210.095
AT ITER 3058 NEW BEST:: SOT 16579 SOS 8093 HAS SOPS 8093 HAS SOUS 3192 HAS SOUPS 3192 WITH SCORE 3200.093
AT ITER 3063 NEW BEST:: SOT 16584 SOS 8110 HAS SOPS 8110 HAS SOUS 3190 HAS SOUPS 3190 WITH SCORE 3198.11
AT ITER 3065 NEW BEST:: SOT 16578 SOS 8106 HAS SOPS 8106 HAS SOUS 3187 HAS SOUPS 3187 WITH SCORE 3195.106
AT ITER 3123 NEW BEST:: SOT 16568 SOS 8082 HAS SOPS 8082 HAS SOUS 3177 HAS SOUPS 3177 WITH SCORE 3185.082
AT ITER 3135 NEW BEST:: SOT 16605 SOS 8102 HAS SOPS 8102 HAS SOUS 3159 HAS SOUPS 3159 WITH SCORE 3167.102
AT ITER 3157 NEW BEST:: SOT 16603 SOS 8098 HAS SOPS 8098 HAS SOUS 3157 HAS SOUPS 3157 WITH SCORE 3165.098
AT ITER 3183 NEW BEST:: SOT 16592 SOS 8100 HAS SOPS 8100 HAS SOUS 3149 HAS SOUPS 3149 WITH SCORE 3157.1
AT ITER 3232 NEW BEST:: SOT 16589 SOS 8090 HAS SOPS 8090 HAS SOUS 3143 HAS SOUPS 3143 WITH SCORE 3151.09
AT ITER 3255 NEW BEST:: SOT 16576 SOS 8077 HAS SOPS 8077 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3150.077
AT ITER 3267 NEW BEST:: SOT 16571 SOS 8067 HAS SOPS 8067 HAS SOUS 3135 HAS SOUPS 3135 WITH SCORE 3143.067
AT ITER 3268 NEW BEST:: SOT 16569 SOS 8065 HAS SOPS 8065 HAS SOUS 3131 HAS SOUPS 3131 WITH SCORE 3139.065
AT ITER 3288 NEW BEST:: SOT 16567 SOS 8061 HAS SOPS 8061 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3138.061
AT ITER 3292 NEW BEST:: SOT 16564 SOS 8055 HAS SOPS 8055 HAS SOUS 3124 HAS SOUPS 3124 WITH SCORE 3132.055
AT ITER 3352 NEW BEST:: SOT 16560 SOS 8040 HAS SOPS 8040 HAS SOUS 3112 HAS SOUPS 3112 WITH SCORE 3120.04
AT ITER 3399 NEW BEST:: SOT 16565 SOS 8036 HAS SOPS 8036 HAS SOUS 3107 HAS SOUPS 3107 WITH SCORE 3115.036
AT ITER 3425 NEW BEST:: SOT 16565 SOS 8038 HAS SOPS 8038 HAS SOUS 3106 HAS SOUPS 3106 WITH SCORE 3114.038
AT ITER 3435 NEW BEST:: SOT 16564 SOS 8038 HAS SOPS 8038 HAS SOUS 3105 HAS SOUPS 3105 WITH SCORE 3113.038
AT ITER 3568 NEW BEST:: SOT 16548 SOS 8022 HAS SOPS 8022 HAS SOUS 3105 HAS SOUPS 3105 WITH SCORE 3113.022
AT ITER 3639 NEW BEST:: SOT 16529 SOS 7995 HAS SOPS 7995 HAS SOUS 3075 HAS SOUPS 3075 WITH SCORE 3082.995
AT ITER 3675 NEW BEST:: SOT 16526 SOS 7992 HAS SOPS 7992 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3073.992
AT ITER 3686 NEW BEST:: SOT 16514 SOS 7994 HAS SOPS 7994 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3048.994
AT ITER 3696 NEW BEST:: SOT 16508 SOS 7985 HAS SOPS 7985 HAS SOUS 3040 HAS SOUPS 3040 WITH SCORE 3047.985
AT ITER 3711 NEW BEST:: SOT 16503 SOS 7977 HAS SOPS 7977 HAS SOUS 3039 HAS SOUPS 3039 WITH SCORE 3046.977
AT ITER 3713 NEW BEST:: SOT 16508 SOS 7986 HAS SOPS 7986 HAS SOUS 3036 HAS SOUPS 3036 WITH SCORE 3043.986
AT ITER 3739 NEW BEST:: SOT 16508 SOS 7986 HAS SOPS 7986 HAS SOUS 3029 HAS SOUPS 3029 WITH SCORE 3036.986
AT ITER 3794 NEW BEST:: SOT 16498 SOS 7976 HAS SOPS 7976 HAS SOUS 3017 HAS SOUPS 3017 WITH SCORE 3024.976
AT ITER 3804 NEW BEST:: SOT 16506 SOS 7904 HAS SOPS 7904 HAS SOUS 3017 HAS SOUPS 3017 WITH SCORE 3024.904
AT ITER 3854 NEW BEST:: SOT 16515 SOS 7899 HAS SOPS 7899 HAS SOUS 3009 HAS SOUPS 3009 WITH SCORE 3016.899
AT ITER 3877 NEW BEST:: SOT 16509 SOS 7887 HAS SOPS 7887 HAS SOUS 2997 HAS SOUPS 2997 WITH SCORE 3004.887
AT ITER 3878 NEW BEST:: SOT 16506 SOS 7904 HAS SOPS 7904 HAS SOUS 2994 HAS SOUPS 2994 WITH SCORE 3001.904
AT ITER 3886 NEW BEST:: SOT 16509 SOS 7907 HAS SOPS 7907 HAS SOUS 2983 HAS SOUPS 2983 WITH SCORE 2990.907
AT ITER 3904 NEW BEST:: SOT 16499 SOS 7887 HAS SOPS 7887 HAS SOUS 2977 HAS SOUPS 2977 WITH SCORE 2984.887
AT ITER 3912 NEW BEST:: SOT 16492 SOS 7603 HAS SOPS 7603 HAS SOUS 2954 HAS SOUPS 2954 WITH SCORE 2961.603
AT ITER 3932 NEW BEST:: SOT 16487 SOS 7609 HAS SOPS 7609 HAS SOUS 2950 HAS SOUPS 2950 WITH SCORE 2957.609
AT ITER 3989 NEW BEST:: SOT 16480 SOS 7595 HAS SOPS 7595 HAS SOUS 2940 HAS SOUPS 2940 WITH SCORE 2947.595
AT ITER 4002 NEW BEST:: SOT 16480 SOS 7594 HAS SOPS 7594 HAS SOUS 2940 HAS SOUPS 2940 WITH SCORE 2947.594
AT ITER 4003 NEW BEST:: SOT 16484 SOS 7612 HAS SOPS 7612 HAS SOUS 2937 HAS SOUPS 2937 WITH SCORE 2944.612
AT ITER 4004 NEW BEST:: SOT 16477 SOS 7593 HAS SOPS 7593 HAS SOUS 2930 HAS SOUPS 2930 WITH SCORE 2937.593
AT ITER 4035 NEW BEST:: SOT 16472 SOS 7587 HAS SOPS 7587 HAS SOUS 2928 HAS SOUPS 2928 WITH SCORE 2935.587
AT ITER 4043 NEW BEST:: SOT 16472 SOS 7593 HAS SOPS 7593 HAS SOUS 2924 HAS SOUPS 2924 WITH SCORE 2931.593
AT ITER 4076 NEW BEST:: SOT 16481 SOS 7602 HAS SOPS 7602 HAS SOUS 2920 HAS SOUPS 2920 WITH SCORE 2927.602
AT ITER 4078 NEW BEST:: SOT 16465 SOS 7558 HAS SOPS 7558 HAS SOUS 2896 HAS SOUPS 2896 WITH SCORE 2903.558
AT ITER 4092 NEW BEST:: SOT 16465 SOS 7552 HAS SOPS 7552 HAS SOUS 2891 HAS SOUPS 2891 WITH SCORE 2898.552
AT ITER 4126 NEW BEST:: SOT 16461 SOS 7542 HAS SOPS 7542 HAS SOUS 2875 HAS SOUPS 2875 WITH SCORE 2882.542
AT ITER 4137 NEW BEST:: SOT 16432 SOS 7494 HAS SOPS 7494 HAS SOUS 2854 HAS SOUPS 2854 WITH SCORE 2861.494
AT ITER 4146 NEW BEST:: SOT 16435 SOS 7500 HAS SOPS 7500 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2858.5
AT ITER 4235 NEW BEST:: SOT 16436 SOS 7497 HAS SOPS 7497 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2858.497
AT ITER 4269 NEW BEST:: SOT 16424 SOS 7488 HAS SOPS 7488 HAS SOUS 2842 HAS SOUPS 2842 WITH SCORE 2849.488
AT ITER 4287 NEW BEST:: SOT 16419 SOS 7479 HAS SOPS 7479 HAS SOUS 2838 HAS SOUPS 2838 WITH SCORE 2845.479
AT ITER 4325 NEW BEST:: SOT 16420 SOS 7477 HAS SOPS 7477 HAS SOUS 2838 HAS SOUPS 2838 WITH SCORE 2845.477
AT ITER 4333 NEW BEST:: SOT 16403 SOS 7460 HAS SOPS 7460 HAS SOUS 2812 HAS SOUPS 2812 WITH SCORE 2819.46
AT ITER 4335 NEW BEST:: SOT 16403 SOS 7457 HAS SOPS 7457 HAS SOUS 2809 HAS SOUPS 2809 WITH SCORE 2816.457
AT ITER 4357 NEW BEST:: SOT 16403 SOS 7461 HAS SOPS 7461 HAS SOUS 2805 HAS SOUPS 2805 WITH SCORE 2812.461
AT ITER 4474 NEW BEST:: SOT 16399 SOS 7453 HAS SOPS 7453 HAS SOUS 2804 HAS SOUPS 2804 WITH SCORE 2811.453
AT ITER 4491 NEW BEST:: SOT 16395 SOS 7449 HAS SOPS 7449 HAS SOUS 2798 HAS SOUPS 2798 WITH SCORE 2805.449
AT ITER 4494 NEW BEST:: SOT 16391 SOS 7442 HAS SOPS 7442 HAS SOUS 2793 HAS SOUPS 2793 WITH SCORE 2800.442
AT ITER 4495 NEW BEST:: SOT 16391 SOS 7437 HAS SOPS 7437 HAS SOUS 2792 HAS SOUPS 2792 WITH SCORE 2799.437
AT ITER 4505 NEW BEST:: SOT 16391 SOS 7434 HAS SOPS 7434 HAS SOUS 2789 HAS SOUPS 2789 WITH SCORE 2796.434
AT ITER 4547 NEW BEST:: SOT 16387 SOS 7427 HAS SOPS 7427 HAS SOUS 2785 HAS SOUPS 2785 WITH SCORE 2792.427
AT ITER 4576 NEW BEST:: SOT 16383 SOS 7421 HAS SOPS 7421 HAS SOUS 2779 HAS SOUPS 2779 WITH SCORE 2786.421
AT ITER 4583 NEW BEST:: SOT 16381 SOS 7419 HAS SOPS 7419 HAS SOUS 2779 HAS SOUPS 2779 WITH SCORE 2786.419
AT ITER 4597 NEW BEST:: SOT 16357 SOS 7416 HAS SOPS 7416 HAS SOUS 2763 HAS SOUPS 2763 WITH SCORE 2770.416
AT ITER 4601 NEW BEST:: SOT 16354 SOS 7415 HAS SOPS 7415 HAS SOUS 2762 HAS SOUPS 2762 WITH SCORE 2769.415
AT ITER 4631 NEW BEST:: SOT 16361 SOS 7418 HAS SOPS 7418 HAS SOUS 2747 HAS SOUPS 2747 WITH SCORE 2754.418
AT ITER 4669 NEW BEST:: SOT 16357 SOS 7412 HAS SOPS 7412 HAS SOUS 2747 HAS SOUPS 2747 WITH SCORE 2754.412
AT ITER 4677 NEW BEST:: SOT 16343 SOS 7384 HAS SOPS 7384 HAS SOUS 2735 HAS SOUPS 2735 WITH SCORE 2742.384
AT ITER 4698 NEW BEST:: SOT 16343 SOS 7370 HAS SOPS 7370 HAS SOUS 2735 HAS SOUPS 2735 WITH SCORE 2742.37
AT ITER 4722 NEW BEST:: SOT 16342 SOS 7367 HAS SOPS 7367 HAS SOUS 2733 HAS SOUPS 2733 WITH SCORE 2740.367
AT ITER 4742 NEW BEST:: SOT 16338 SOS 7368 HAS SOPS 7368 HAS SOUS 2728 HAS SOUPS 2728 WITH SCORE 2735.368
AT ITER 4815 NEW BEST:: SOT 16343 SOS 7373 HAS SOPS 7373 HAS SOUS 2725 HAS SOUPS 2725 WITH SCORE 2732.373
AT ITER 4826 NEW BEST:: SOT 16332 SOS 7352 HAS SOPS 7352 HAS SOUS 2704 HAS SOUPS 2704 WITH SCORE 2711.352
AT ITER 4899 NEW BEST:: SOT 16328 SOS 7346 HAS SOPS 7346 HAS SOUS 2698 HAS SOUPS 2698 WITH SCORE 2705.346
AT ITER 4910 NEW BEST:: SOT 16327 SOS 7343 HAS SOPS 7343 HAS SOUS 2697 HAS SOUPS 2697 WITH SCORE 2704.343
AT ITER 4921 NEW BEST:: SOT 16324 SOS 7334 HAS SOPS 7334 HAS SOUS 2691 HAS SOUPS 2691 WITH SCORE 2698.334
AT ITER 5011 NEW BEST:: SOT 16323 SOS 7332 HAS SOPS 7332 HAS SOUS 2689 HAS SOUPS 2689 WITH SCORE 2696.332
AT ITER 5013 NEW BEST:: SOT 16328 SOS 7336 HAS SOPS 7336 HAS SOUS 2688 HAS SOUPS 2688 WITH SCORE 2695.336
AT ITER 5037 NEW BEST:: SOT 16325 SOS 7309 HAS SOPS 7309 HAS SOUS 2679 HAS SOUPS 2679 WITH SCORE 2686.309
AT ITER 5043 NEW BEST:: SOT 16326 SOS 7309 HAS SOPS 7309 HAS SOUS 2677 HAS SOUPS 2677 WITH SCORE 2684.309
AT ITER 5233 NEW BEST:: SOT 16319 SOS 7302 HAS SOPS 7302 HAS SOUS 2665 HAS SOUPS 2665 WITH SCORE 2672.302
AT ITER 5338 NEW BEST:: SOT 16298 SOS 7427 HAS SOPS 7427 HAS SOUS 2654 HAS SOUPS 2654 WITH SCORE 2661.427
AT ITER 5479 NEW BEST:: SOT 16290 SOS 7419 HAS SOPS 7419 HAS SOUS 2646 HAS SOUPS 2646 WITH SCORE 2653.419
AT ITER 5568 NEW BEST:: SOT 16289 SOS 7415 HAS SOPS 7415 HAS SOUS 2646 HAS SOUPS 2646 WITH SCORE 2653.415
AT ITER 5598 NEW BEST:: SOT 16290 SOS 7414 HAS SOPS 7414 HAS SOUS 2645 HAS SOUPS 2645 WITH SCORE 2652.414
AT ITER 5657 NEW BEST:: SOT 16301 SOS 7418 HAS SOPS 7418 HAS SOUS 2635 HAS SOUPS 2635 WITH SCORE 2642.418
AT ITER 5762 NEW BEST:: SOT 16297 SOS 7411 HAS SOPS 7411 HAS SOUS 2628 HAS SOUPS 2628 WITH SCORE 2635.411
AT ITER 5775 NEW BEST:: SOT 16293 SOS 7409 HAS SOPS 7409 HAS SOUS 2618 HAS SOUPS 2618 WITH SCORE 2625.409
AT ITER 5780 NEW BEST:: SOT 16292 SOS 7404 HAS SOPS 7404 HAS SOUS 2617 HAS SOUPS 2617 WITH SCORE 2624.404
AT ITER 5848 NEW BEST:: SOT 16287 SOS 7468 HAS SOPS 7468 HAS SOUS 2615 HAS SOUPS 2615 WITH SCORE 2622.468
AT ITER 5894 NEW BEST:: SOT 16285 SOS 7462 HAS SOPS 7462 HAS SOUS 2609 HAS SOUPS 2609 WITH SCORE 2616.462
AT ITER 5913 NEW BEST:: SOT 16285 SOS 7462 HAS SOPS 7462 HAS SOUS 2608 HAS SOUPS 2608 WITH SCORE 2615.462
AT ITER 5983 NEW BEST:: SOT 16292 SOS 7468 HAS SOPS 7468 HAS SOUS 2600 HAS SOUPS 2600 WITH SCORE 2607.468
AT ITER 5987 NEW BEST:: SOT 16291 SOS 7465 HAS SOPS 7465 HAS SOUS 2598 HAS SOUPS 2598 WITH SCORE 2605.465
AT ITER 5991 NEW BEST:: SOT 16288 SOS 7457 HAS SOPS 7457 HAS SOUS 2587 HAS SOUPS 2587 WITH SCORE 2594.457
AT ITER 6057 NEW BEST:: SOT 16292 SOS 7461 HAS SOPS 7461 HAS SOUS 2575 HAS SOUPS 2575 WITH SCORE 2582.461
AT ITER 6134 NEW BEST:: SOT 16289 SOS 7437 HAS SOPS 7437 HAS SOUS 2560 HAS SOUPS 2560 WITH SCORE 2567.437
AT ITER 6172 NEW BEST:: SOT 16281 SOS 7421 HAS SOPS 7421 HAS SOUS 2554 HAS SOUPS 2554 WITH SCORE 2561.421
AT ITER 6333 NEW BEST:: SOT 16273 SOS 7440 HAS SOPS 7440 HAS SOUS 2544 HAS SOUPS 2544 WITH SCORE 2551.44
AT ITER 6380 NEW BEST:: SOT 16269 SOS 7436 HAS SOPS 7436 HAS SOUS 2540 HAS SOUPS 2540 WITH SCORE 2547.436
AT ITER 6406 NEW BEST:: SOT 16266 SOS 7430 HAS SOPS 7430 HAS SOUS 2534 HAS SOUPS 2534 WITH SCORE 2541.43
AT ITER 6409 NEW BEST:: SOT 16266 SOS 7430 HAS SOPS 7430 HAS SOUS 2531 HAS SOUPS 2531 WITH SCORE 2538.43
AT ITER 6511 NEW BEST:: SOT 16260 SOS 7424 HAS SOPS 7424 HAS SOUS 2525 HAS SOUPS 2525 WITH SCORE 2532.424
AT ITER 6562 NEW BEST:: SOT 16269 SOS 7425 HAS SOPS 7425 HAS SOUS 2524 HAS SOUPS 2524 WITH SCORE 2531.425
AT ITER 6616 NEW BEST:: SOT 16273 SOS 7433 HAS SOPS 7433 HAS SOUS 2520 HAS SOUPS 2520 WITH SCORE 2527.433
AT ITER 6633 NEW BEST:: SOT 16273 SOS 7367 HAS SOPS 7367 HAS SOUS 2518 HAS SOUPS 2518 WITH SCORE 2525.367
AT ITER 6638 NEW BEST:: SOT 16272 SOS 7365 HAS SOPS 7365 HAS SOUS 2518 HAS SOUPS 2518 WITH SCORE 2525.365
AT ITER 6651 NEW BEST:: SOT 16271 SOS 7364 HAS SOPS 7364 HAS SOUS 2516 HAS SOUPS 2516 WITH SCORE 2523.364
AT ITER 6666 NEW BEST:: SOT 16268 SOS 7363 HAS SOPS 7363 HAS SOUS 2516 HAS SOUPS 2516 WITH SCORE 2523.363
AT ITER 6700 NEW BEST:: SOT 16269 SOS 7357 HAS SOPS 7357 HAS SOUS 2510 HAS SOUPS 2510 WITH SCORE 2517.357
AT ITER 6740 NEW BEST:: SOT 16267 SOS 7353 HAS SOPS 7353 HAS SOUS 2508 HAS SOUPS 2508 WITH SCORE 2515.353
AT ITER 6820 NEW BEST:: SOT 16260 SOS 7335 HAS SOPS 7335 HAS SOUS 2505 HAS SOUPS 2505 WITH SCORE 2512.335
AT ITER 6917 NEW BEST:: SOT 16261 SOS 7336 HAS SOPS 7336 HAS SOUS 2502 HAS SOUPS 2502 WITH SCORE 2509.336
AT ITER 6928 NEW BEST:: SOT 16252 SOS 7327 HAS SOPS 7327 HAS SOUS 2497 HAS SOUPS 2497 WITH SCORE 2504.327
AT ITER 7042 NEW BEST:: SOT 16246 SOS 7309 HAS SOPS 7309 HAS SOUS 2491 HAS SOUPS 2491 WITH SCORE 2498.309
AT ITER 7065 NEW BEST:: SOT 16244 SOS 7296 HAS SOPS 7296 HAS SOUS 2487 HAS SOUPS 2487 WITH SCORE 2494.296
AT ITER 7090 NEW BEST:: SOT 16242 SOS 7294 HAS SOPS 7294 HAS SOUS 2483 HAS SOUPS 2483 WITH SCORE 2490.294
AT ITER 7144 NEW BEST:: SOT 16237 SOS 7282 HAS SOPS 7282 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2478.282
AT ITER 7300 NEW BEST:: SOT 16252 SOS 7297 HAS SOPS 7297 HAS SOUS 2470 HAS SOUPS 2470 WITH SCORE 2477.297
AT ITER 7323 NEW BEST:: SOT 16254 SOS 7273 HAS SOPS 7273 HAS SOUS 2455 HAS SOUPS 2455 WITH SCORE 2462.273
AT ITER 7326 NEW BEST:: SOT 16256 SOS 7272 HAS SOPS 7272 HAS SOUS 2453 HAS SOUPS 2453 WITH SCORE 2460.272
AT ITER 7339 NEW BEST:: SOT 16255 SOS 7266 HAS SOPS 7266 HAS SOUS 2442 HAS SOUPS 2442 WITH SCORE 2449.266
AT ITER 7355 NEW BEST:: SOT 16254 SOS 7263 HAS SOPS 7263 HAS SOUS 2440 HAS SOUPS 2440 WITH SCORE 2447.263
AT ITER 7367 NEW BEST:: SOT 16253 SOS 7260 HAS SOPS 7260 HAS SOUS 2437 HAS SOUPS 2437 WITH SCORE 2444.26
AT ITER 7368 NEW BEST:: SOT 16252 SOS 7259 HAS SOPS 7259 HAS SOUS 2436 HAS SOUPS 2436 WITH SCORE 2443.259
AT ITER 7380 NEW BEST:: SOT 16261 SOS 7270 HAS SOPS 7270 HAS SOUS 2434 HAS SOUPS 2434 WITH SCORE 2441.27
AT ITER 7410 NEW BEST:: SOT 16260 SOS 7271 HAS SOPS 7271 HAS SOUS 2430 HAS SOUPS 2430 WITH SCORE 2437.271
AT ITER 7424 NEW BEST:: SOT 16262 SOS 7275 HAS SOPS 7275 HAS SOUS 2428 HAS SOUPS 2428 WITH SCORE 2435.275
AT ITER 7450 NEW BEST:: SOT 16261 SOS 7268 HAS SOPS 7268 HAS SOUS 2424 HAS SOUPS 2424 WITH SCORE 2431.268
AT ITER 7517 NEW BEST:: SOT 16261 SOS 7266 HAS SOPS 7266 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2429.266
AT ITER 7523 NEW BEST:: SOT 16262 SOS 7265 HAS SOPS 7265 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2429.265
AT ITER 7663 NEW BEST:: SOT 16256 SOS 7256 HAS SOPS 7256 HAS SOUS 2413 HAS SOUPS 2413 WITH SCORE 2420.256
AT ITER 7724 NEW BEST:: SOT 16238 SOS 7238 HAS SOPS 7238 HAS SOUS 2403 HAS SOUPS 2403 WITH SCORE 2410.238
AT ITER 7794 NEW BEST:: SOT 16236 SOS 7236 HAS SOPS 7236 HAS SOUS 2397 HAS SOUPS 2397 WITH SCORE 2404.236
AT ITER 8077 NEW BEST:: SOT 16231 SOS 7231 HAS SOPS 7231 HAS SOUS 2393 HAS SOUPS 2393 WITH SCORE 2400.231
AT ITER 8120 NEW BEST:: SOT 16231 SOS 7230 HAS SOPS 7230 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2399.23
AT ITER 8128 NEW BEST:: SOT 16231 SOS 7234 HAS SOPS 7234 HAS SOUS 2390 HAS SOUPS 2390 WITH SCORE 2397.234
AT ITER 8132 NEW BEST:: SOT 16232 SOS 7232 HAS SOPS 7232 HAS SOUS 2389 HAS SOUPS 2389 WITH SCORE 2396.232
AT ITER 8206 NEW BEST:: SOT 16230 SOS 7228 HAS SOPS 7228 HAS SOUS 2389 HAS SOUPS 2389 WITH SCORE 2396.228
AT ITER 8214 NEW BEST:: SOT 16233 SOS 7237 HAS SOPS 7237 HAS SOUS 2386 HAS SOUPS 2386 WITH SCORE 2393.237
AT ITER 8304 NEW BEST:: SOT 16231 SOS 7235 HAS SOPS 7235 HAS SOUS 2384 HAS SOUPS 2384 WITH SCORE 2391.235
AT ITER 8339 NEW BEST:: SOT 16230 SOS 7228 HAS SOPS 7228 HAS SOUS 2378 HAS SOUPS 2378 WITH SCORE 2385.228
AT ITER 8393 NEW BEST:: SOT 16234 SOS 7235 HAS SOPS 7235 HAS SOUS 2377 HAS SOUPS 2377 WITH SCORE 2384.235
AT ITER 8440 NEW BEST:: SOT 16230 SOS 7233 HAS SOPS 7233 HAS SOUS 2377 HAS SOUPS 2377 WITH SCORE 2384.233
AT ITER 8443 NEW BEST:: SOT 16231 SOS 7232 HAS SOPS 7232 HAS SOUS 2377 HAS SOUPS 2377 WITH SCORE 2384.232
AT ITER 8481 NEW BEST:: SOT 16221 SOS 7188 HAS SOPS 7188 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2380.188
AT ITER 8492 NEW BEST:: SOT 16226 SOS 7178 HAS SOPS 7178 HAS SOUS 2372 HAS SOUPS 2372 WITH SCORE 2379.178
AT ITER 8569 NEW BEST:: SOT 16220 SOS 7164 HAS SOPS 7164 HAS SOUS 2372 HAS SOUPS 2372 WITH SCORE 2379.164
AT ITER 8683 NEW BEST:: SOT 16219 SOS 7162 HAS SOPS 7162 HAS SOUS 2369 HAS SOUPS 2369 WITH SCORE 2376.162
AT ITER 8734 NEW BEST:: SOT 16218 SOS 7163 HAS SOPS 7163 HAS SOUS 2368 HAS SOUPS 2368 WITH SCORE 2375.163
AT ITER 8735 NEW BEST:: SOT 16216 SOS 7161 HAS SOPS 7161 HAS SOUS 2364 HAS SOUPS 2364 WITH SCORE 2371.161
AT ITER 8778 NEW BEST:: SOT 16216 SOS 7161 HAS SOPS 7161 HAS SOUS 2363 HAS SOUPS 2363 WITH SCORE 2370.161
AT ITER 8782 NEW BEST:: SOT 16216 SOS 7160 HAS SOPS 7160 HAS SOUS 2361 HAS SOUPS 2361 WITH SCORE 2368.16
AT ITER 8820 NEW BEST:: SOT 16219 SOS 7164 HAS SOPS 7164 HAS SOUS 2357 HAS SOUPS 2357 WITH SCORE 2364.164
AT ITER 8835 NEW BEST:: SOT 16221 SOS 7158 HAS SOPS 7158 HAS SOUS 2355 HAS SOUPS 2355 WITH SCORE 2362.158
AT ITER 8865 NEW BEST:: SOT 16220 SOS 7177 HAS SOPS 7177 HAS SOUS 2354 HAS SOUPS 2354 WITH SCORE 2361.177
AT ITER 8872 NEW BEST:: SOT 16226 SOS 7165 HAS SOPS 7165 HAS SOUS 2330 HAS SOUPS 2330 WITH SCORE 2337.165
AT ITER 8890 NEW BEST:: SOT 16224 SOS 7155 HAS SOPS 7155 HAS SOUS 2325 HAS SOUPS 2325 WITH SCORE 2332.155
AT ITER 9049 NEW BEST:: SOT 16224 SOS 7158 HAS SOPS 7158 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2329.158
AT ITER 9149 NEW BEST:: SOT 16222 SOS 7150 HAS SOPS 7150 HAS SOUS 2318 HAS SOUPS 2318 WITH SCORE 2325.15
AT ITER 9174 NEW BEST:: SOT 16212 SOS 7358 HAS SOPS 7358 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2321.358
AT ITER 9196 NEW BEST:: SOT 16202 SOS 7339 HAS SOPS 7339 HAS SOUS 2291 HAS SOUPS 2291 WITH SCORE 2298.339
AT ITER 9270 NEW BEST:: SOT 16218 SOS 7338 HAS SOPS 7338 HAS SOUS 2273 HAS SOUPS 2273 WITH SCORE 2280.338
AT ITER 9280 NEW BEST:: SOT 16218 SOS 7337 HAS SOPS 7337 HAS SOUS 2272 HAS SOUPS 2272 WITH SCORE 2279.337
AT ITER 9331 NEW BEST:: SOT 16212 SOS 7331 HAS SOPS 7331 HAS SOUS 2266 HAS SOUPS 2266 WITH SCORE 2273.331
AT ITER 9506 NEW BEST:: SOT 16212 SOS 7334 HAS SOPS 7334 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2271.334
AT ITER 9539 NEW BEST:: SOT 16213 SOS 7333 HAS SOPS 7333 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2271.333
AT ITER 9610 NEW BEST:: SOT 16205 SOS 7325 HAS SOPS 7325 HAS SOUS 2261 HAS SOUPS 2261 WITH SCORE 2268.325
AT ITER 9813 NEW BEST:: SOT 16183 SOS 7314 HAS SOPS 7314 HAS SOUS 2239 HAS SOUPS 2239 WITH SCORE 2246.314
AT ITER 9881 NEW BEST:: SOT 16184 SOS 7312 HAS SOPS 7312 HAS SOUS 2239 HAS SOUPS 2239 WITH SCORE 2246.312
AT ITER 9909 NEW BEST:: SOT 16176 SOS 7291 HAS SOPS 7291 HAS SOUS 2205 HAS SOUPS 2205 WITH SCORE 2212.291
AT ITER 9924 NEW BEST:: SOT 16175 SOS 7290 HAS SOPS 7290 HAS SOUS 2204 HAS SOUPS 2204 WITH SCORE 2211.29
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 30057504344 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679190555690

--------------------
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-PT-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-PT-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-167912696601112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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