Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r093-oct2-158940140500427.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is JoinFreeModules-PT-0050, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140500427
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 464K
-rw-r--r-- 1 mcc users 4.2K Apr 7 18:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 7 18:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 6 20:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 6 20:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 6 04:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 6 04:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 5 10:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 5 10:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 6 20:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 6 20:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 282K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME JoinFreeModules-PT-0050-CTLCardinality-00
FORMULA_NAME JoinFreeModules-PT-0050-CTLCardinality-01
FORMULA_NAME JoinFreeModules-PT-0050-CTLCardinality-02
FORMULA_NAME JoinFreeModules-PT-0050-CTLCardinality-03
FORMULA_NAME JoinFreeModules-PT-0050-CTLCardinality-04
FORMULA_NAME JoinFreeModules-PT-0050-CTLCardinality-05
FORMULA_NAME JoinFreeModules-PT-0050-CTLCardinality-06
FORMULA_NAME JoinFreeModules-PT-0050-CTLCardinality-07
FORMULA_NAME JoinFreeModules-PT-0050-CTLCardinality-08
FORMULA_NAME JoinFreeModules-PT-0050-CTLCardinality-09
FORMULA_NAME JoinFreeModules-PT-0050-CTLCardinality-10
FORMULA_NAME JoinFreeModules-PT-0050-CTLCardinality-11
FORMULA_NAME JoinFreeModules-PT-0050-CTLCardinality-12
FORMULA_NAME JoinFreeModules-PT-0050-CTLCardinality-13
FORMULA_NAME JoinFreeModules-PT-0050-CTLCardinality-14
FORMULA_NAME JoinFreeModules-PT-0050-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589616776466

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running JoinFreeModules (PT), instance 0050
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 251 places, 401 transitions, 1152 arcs.
AT ITER 0 NEW BEST:: SOT 70451 SOS 47951 HAS SOPS 47900 HAS SOUS 47951 HAS SOUPS 47900 WITH SCORE 47947.951
AT ITER 1 NEW BEST:: SOT 70413 SOS 47761 HAS SOPS 47710 HAS SOUS 47761 HAS SOUPS 47710 WITH SCORE 47757.761
AT ITER 3 NEW BEST:: SOT 70378 SOS 47556 HAS SOPS 47505 HAS SOUS 47526 HAS SOUPS 47475 WITH SCORE 47522.556
AT ITER 4 NEW BEST:: SOT 70267 SOS 47348 HAS SOPS 47297 HAS SOUS 47253 HAS SOUPS 47202 WITH SCORE 47249.348
AT ITER 5 NEW BEST:: SOT 70233 SOS 47178 HAS SOPS 47127 HAS SOUS 47083 HAS SOUPS 47032 WITH SCORE 47079.178
AT ITER 6 NEW BEST:: SOT 70200 SOS 46934 HAS SOPS 46883 HAS SOUS 46904 HAS SOUPS 46853 WITH SCORE 46899.934
AT ITER 7 NEW BEST:: SOT 70031 SOS 46744 HAS SOPS 46655 HAS SOUS 46714 HAS SOUPS 46625 WITH SCORE 46671.744
AT ITER 10 NEW BEST:: SOT 70053 SOS 46706 HAS SOPS 46581 HAS SOUS 46676 HAS SOUPS 46551 WITH SCORE 46597.706
AT ITER 11 NEW BEST:: SOT 70063 SOS 46696 HAS SOPS 46571 HAS SOUS 46666 HAS SOUPS 46541 WITH SCORE 46587.696
AT ITER 13 NEW BEST:: SOT 70011 SOS 46626 HAS SOPS 46501 HAS SOUS 46512 HAS SOUPS 46387 WITH SCORE 46433.626
AT ITER 14 NEW BEST:: SOT 69797 SOS 46396 HAS SOPS 46235 HAS SOUS 46282 HAS SOUPS 46121 WITH SCORE 46167.396
AT ITER 15 NEW BEST:: SOT 69823 SOS 46370 HAS SOPS 46209 HAS SOUS 46256 HAS SOUPS 46095 WITH SCORE 46141.37
AT ITER 16 NEW BEST:: SOT 69877 SOS 46193 HAS SOPS 46032 HAS SOUS 45994 HAS SOUPS 45833 WITH SCORE 45879.193
AT ITER 18 NEW BEST:: SOT 69782 SOS 46002 HAS SOPS 45841 HAS SOUS 45803 HAS SOUPS 45642 WITH SCORE 45688.002
AT ITER 19 NEW BEST:: SOT 69597 SOS 45537 HAS SOPS 45315 HAS SOUS 45239 HAS SOUPS 45017 WITH SCORE 45062.537
AT ITER 20 NEW BEST:: SOT 69597 SOS 45523 HAS SOPS 45301 HAS SOUS 45211 HAS SOUPS 44989 WITH SCORE 45034.523
AT ITER 21 NEW BEST:: SOT 69501 SOS 45335 HAS SOPS 45113 HAS SOUS 45023 HAS SOUPS 44801 WITH SCORE 44846.335
AT ITER 22 NEW BEST:: SOT 69491 SOS 45172 HAS SOPS 44936 HAS SOUS 44761 HAS SOUPS 44525 WITH SCORE 44570.172
AT ITER 24 NEW BEST:: SOT 69366 SOS 44989 HAS SOPS 44753 HAS SOUS 44546 HAS SOUPS 44310 WITH SCORE 44354.989
AT ITER 26 NEW BEST:: SOT 69362 SOS 44969 HAS SOPS 44733 HAS SOUS 44526 HAS SOUPS 44290 WITH SCORE 44334.969
AT ITER 27 NEW BEST:: SOT 69141 SOS 44649 HAS SOPS 44413 HAS SOUS 44206 HAS SOUPS 43970 WITH SCORE 44014.649
AT ITER 28 NEW BEST:: SOT 69099 SOS 44423 HAS SOPS 44187 HAS SOUS 43964 HAS SOUPS 43728 WITH SCORE 43772.423
AT ITER 29 NEW BEST:: SOT 69196 SOS 44336 HAS SOPS 44100 HAS SOUS 43794 HAS SOUPS 43558 WITH SCORE 43602.336
AT ITER 30 NEW BEST:: SOT 69257 SOS 44239 HAS SOPS 43999 HAS SOUS 43599 HAS SOUPS 43359 WITH SCORE 43403.239
AT ITER 32 NEW BEST:: SOT 69049 SOS 43932 HAS SOPS 43692 HAS SOUS 43292 HAS SOUPS 43052 WITH SCORE 43095.932
AT ITER 37 NEW BEST:: SOT 68961 SOS 43629 HAS SOPS 43389 HAS SOUS 42989 HAS SOUPS 42749 WITH SCORE 42792.629
AT ITER 41 NEW BEST:: SOT 69048 SOS 43387 HAS SOPS 43147 HAS SOUS 42649 HAS SOUPS 42409 WITH SCORE 42452.387
AT ITER 42 NEW BEST:: SOT 68909 SOS 43152 HAS SOPS 42912 HAS SOUS 42414 HAS SOUPS 42174 WITH SCORE 42217.152
AT ITER 43 NEW BEST:: SOT 68874 SOS 43117 HAS SOPS 42877 HAS SOUS 42379 HAS SOUPS 42139 WITH SCORE 42182.117
AT ITER 46 NEW BEST:: SOT 68751 SOS 42953 HAS SOPS 42713 HAS SOUS 42215 HAS SOUPS 41975 WITH SCORE 42017.953
AT ITER 47 NEW BEST:: SOT 68796 SOS 42946 HAS SOPS 42706 HAS SOUS 42208 HAS SOUPS 41968 WITH SCORE 42010.946
AT ITER 50 NEW BEST:: SOT 68744 SOS 42783 HAS SOPS 42543 HAS SOUS 41909 HAS SOUPS 41669 WITH SCORE 41711.783
AT ITER 54 NEW BEST:: SOT 68803 SOS 42631 HAS SOPS 42391 HAS SOUS 41688 HAS SOUPS 41448 WITH SCORE 41490.631
AT ITER 55 NEW BEST:: SOT 68718 SOS 42450 HAS SOPS 42210 HAS SOUS 41507 HAS SOUPS 41267 WITH SCORE 41309.45
AT ITER 56 NEW BEST:: SOT 68682 SOS 42414 HAS SOPS 42174 HAS SOUS 41471 HAS SOUPS 41231 WITH SCORE 41273.414
AT ITER 57 NEW BEST:: SOT 68646 SOS 42384 HAS SOPS 42144 HAS SOUS 41441 HAS SOUPS 41201 WITH SCORE 41243.384
AT ITER 60 NEW BEST:: SOT 68610 SOS 42156 HAS SOPS 41916 HAS SOUS 41273 HAS SOUPS 41033 WITH SCORE 41075.156
AT ITER 61 NEW BEST:: SOT 68596 SOS 42142 HAS SOPS 41902 HAS SOUS 41259 HAS SOUPS 41019 WITH SCORE 41061.142
AT ITER 67 NEW BEST:: SOT 68438 SOS 41766 HAS SOPS 41516 HAS SOUS 40780 HAS SOUPS 40530 WITH SCORE 40571.766
AT ITER 68 NEW BEST:: SOT 68336 SOS 41736 HAS SOPS 41486 HAS SOUS 40750 HAS SOUPS 40500 WITH SCORE 40541.736
AT ITER 74 NEW BEST:: SOT 68339 SOS 41798 HAS SOPS 41548 HAS SOUS 40721 HAS SOUPS 40471 WITH SCORE 40512.798
AT ITER 80 NEW BEST:: SOT 68365 SOS 41720 HAS SOPS 41470 HAS SOUS 40643 HAS SOUPS 40393 WITH SCORE 40434.72
AT ITER 81 NEW BEST:: SOT 68363 SOS 41712 HAS SOPS 41462 HAS SOUS 40637 HAS SOUPS 40387 WITH SCORE 40428.712
AT ITER 83 NEW BEST:: SOT 68384 SOS 41673 HAS SOPS 41423 HAS SOUS 40636 HAS SOUPS 40386 WITH SCORE 40427.673
AT ITER 84 NEW BEST:: SOT 68334 SOS 41598 HAS SOPS 41348 HAS SOUS 40561 HAS SOUPS 40311 WITH SCORE 40352.598
AT ITER 86 NEW BEST:: SOT 68303 SOS 41457 HAS SOPS 41207 HAS SOUS 40451 HAS SOUPS 40201 WITH SCORE 40242.457
AT ITER 87 NEW BEST:: SOT 68299 SOS 41453 HAS SOPS 41203 HAS SOUS 40447 HAS SOUPS 40197 WITH SCORE 40238.453
AT ITER 90 NEW BEST:: SOT 68299 SOS 41404 HAS SOPS 41154 HAS SOUS 40398 HAS SOUPS 40148 WITH SCORE 40189.404
AT ITER 91 NEW BEST:: SOT 68161 SOS 40955 HAS SOPS 40705 HAS SOUS 39948 HAS SOUPS 39698 WITH SCORE 39738.955
AT ITER 92 NEW BEST:: SOT 68156 SOS 40950 HAS SOPS 40700 HAS SOUS 39943 HAS SOUPS 39693 WITH SCORE 39733.95
AT ITER 93 NEW BEST:: SOT 68118 SOS 40760 HAS SOPS 40510 HAS SOUS 39753 HAS SOUPS 39503 WITH SCORE 39543.76
AT ITER 95 NEW BEST:: SOT 67783 SOS 40059 HAS SOPS 39809 HAS SOUS 39242 HAS SOUPS 38992 WITH SCORE 39032.059
AT ITER 96 NEW BEST:: SOT 67787 SOS 39925 HAS SOPS 39675 HAS SOUS 39138 HAS SOUPS 38888 WITH SCORE 38927.925
AT ITER 98 NEW BEST:: SOT 67578 SOS 39438 HAS SOPS 39188 HAS SOUS 38690 HAS SOUPS 38440 WITH SCORE 38479.438
AT ITER 101 NEW BEST:: SOT 67530 SOS 39294 HAS SOPS 39044 HAS SOUS 38582 HAS SOUPS 38332 WITH SCORE 38371.294
AT ITER 102 NEW BEST:: SOT 67530 SOS 39195 HAS SOPS 38945 HAS SOUS 38384 HAS SOUPS 38134 WITH SCORE 38173.195
AT ITER 103 NEW BEST:: SOT 67497 SOS 39174 HAS SOPS 38924 HAS SOUS 38363 HAS SOUPS 38113 WITH SCORE 38152.174
AT ITER 108 NEW BEST:: SOT 67423 SOS 38950 HAS SOPS 38700 HAS SOUS 38074 HAS SOUPS 37824 WITH SCORE 37862.95
AT ITER 110 NEW BEST:: SOT 67423 SOS 38924 HAS SOPS 38674 HAS SOUS 38048 HAS SOUPS 37798 WITH SCORE 37836.924
AT ITER 118 NEW BEST:: SOT 67408 SOS 38923 HAS SOPS 38673 HAS SOUS 38018 HAS SOUPS 37768 WITH SCORE 37806.923
AT ITER 119 NEW BEST:: SOT 67388 SOS 38863 HAS SOPS 38613 HAS SOUS 37958 HAS SOUPS 37708 WITH SCORE 37746.863
AT ITER 122 NEW BEST:: SOT 67573 SOS 38817 HAS SOPS 38567 HAS SOUS 37885 HAS SOUPS 37635 WITH SCORE 37673.817
AT ITER 123 NEW BEST:: SOT 67616 SOS 38920 HAS SOPS 38670 HAS SOUS 37876 HAS SOUPS 37626 WITH SCORE 37664.92
AT ITER 126 NEW BEST:: SOT 67638 SOS 38836 HAS SOPS 38586 HAS SOUS 37792 HAS SOUPS 37542 WITH SCORE 37580.836
AT ITER 128 NEW BEST:: SOT 67329 SOS 38220 HAS SOPS 37970 HAS SOUS 37245 HAS SOUPS 36995 WITH SCORE 37033.22
AT ITER 130 NEW BEST:: SOT 67366 SOS 37854 HAS SOPS 37604 HAS SOUS 36943 HAS SOUPS 36693 WITH SCORE 36730.854
AT ITER 131 NEW BEST:: SOT 67290 SOS 37737 HAS SOPS 37487 HAS SOUS 36826 HAS SOUPS 36576 WITH SCORE 36613.737
AT ITER 132 NEW BEST:: SOT 67268 SOS 37594 HAS SOPS 37344 HAS SOUS 36683 HAS SOUPS 36433 WITH SCORE 36470.594
AT ITER 135 NEW BEST:: SOT 67261 SOS 37572 HAS SOPS 37322 HAS SOUS 36662 HAS SOUPS 36412 WITH SCORE 36449.572
AT ITER 136 NEW BEST:: SOT 67109 SOS 37443 HAS SOPS 37193 HAS SOUS 36533 HAS SOUPS 36283 WITH SCORE 36320.443
AT ITER 137 NEW BEST:: SOT 67184 SOS 37266 HAS SOPS 37016 HAS SOUS 36293 HAS SOUPS 36043 WITH SCORE 36080.266
AT ITER 148 NEW BEST:: SOT 67185 SOS 37265 HAS SOPS 37015 HAS SOUS 36292 HAS SOUPS 36042 WITH SCORE 36079.265
AT ITER 154 NEW BEST:: SOT 67252 SOS 37250 HAS SOPS 37000 HAS SOUS 36175 HAS SOUPS 35925 WITH SCORE 35962.25
AT ITER 159 NEW BEST:: SOT 67169 SOS 37028 HAS SOPS 36778 HAS SOUS 35908 HAS SOUPS 35658 WITH SCORE 35695.028
AT ITER 161 NEW BEST:: SOT 67176 SOS 36949 HAS SOPS 36699 HAS SOUS 35837 HAS SOUPS 35587 WITH SCORE 35623.949
AT ITER 162 NEW BEST:: SOT 67149 SOS 36939 HAS SOPS 36689 HAS SOUS 35827 HAS SOUPS 35577 WITH SCORE 35613.939
AT ITER 164 NEW BEST:: SOT 67107 SOS 36869 HAS SOPS 36619 HAS SOUS 35774 HAS SOUPS 35524 WITH SCORE 35560.869
AT ITER 166 NEW BEST:: SOT 67043 SOS 36778 HAS SOPS 36528 HAS SOUS 35683 HAS SOUPS 35433 WITH SCORE 35469.778
AT ITER 167 NEW BEST:: SOT 66943 SOS 36550 HAS SOPS 36300 HAS SOUS 35413 HAS SOUPS 35163 WITH SCORE 35199.55
AT ITER 171 NEW BEST:: SOT 66919 SOS 36514 HAS SOPS 36264 HAS SOUS 35389 HAS SOUPS 35139 WITH SCORE 35175.514
AT ITER 175 NEW BEST:: SOT 66886 SOS 36481 HAS SOPS 36231 HAS SOUS 35356 HAS SOUPS 35106 WITH SCORE 35142.481
AT ITER 180 NEW BEST:: SOT 66930 SOS 36451 HAS SOPS 36201 HAS SOUS 35326 HAS SOUPS 35076 WITH SCORE 35112.451
AT ITER 182 NEW BEST:: SOT 66882 SOS 36335 HAS SOPS 36085 HAS SOUS 35202 HAS SOUPS 34952 WITH SCORE 34988.335
AT ITER 184 NEW BEST:: SOT 66734 SOS 36091 HAS SOPS 35841 HAS SOUS 34958 HAS SOUPS 34708 WITH SCORE 34744.091
AT ITER 185 NEW BEST:: SOT 66676 SOS 36033 HAS SOPS 35783 HAS SOUS 34886 HAS SOUPS 34636 WITH SCORE 34672.033
AT ITER 188 NEW BEST:: SOT 66676 SOS 36029 HAS SOPS 35779 HAS SOUS 34882 HAS SOUPS 34632 WITH SCORE 34668.029
AT ITER 189 NEW BEST:: SOT 66676 SOS 35988 HAS SOPS 35738 HAS SOUS 34800 HAS SOUPS 34550 WITH SCORE 34585.988
AT ITER 193 NEW BEST:: SOT 66550 SOS 35784 HAS SOPS 35534 HAS SOUS 34680 HAS SOUPS 34430 WITH SCORE 34465.784
AT ITER 194 NEW BEST:: SOT 66604 SOS 35814 HAS SOPS 35564 HAS SOUS 34633 HAS SOUPS 34383 WITH SCORE 34418.814
AT ITER 203 NEW BEST:: SOT 66543 SOS 35651 HAS SOPS 35401 HAS SOUS 34470 HAS SOUPS 34220 WITH SCORE 34255.651
AT ITER 205 NEW BEST:: SOT 66511 SOS 35603 HAS SOPS 35353 HAS SOUS 34422 HAS SOUPS 34172 WITH SCORE 34207.603
AT ITER 206 NEW BEST:: SOT 66496 SOS 35583 HAS SOPS 35333 HAS SOUS 34402 HAS SOUPS 34152 WITH SCORE 34187.583
AT ITER 208 NEW BEST:: SOT 66487 SOS 35394 HAS SOPS 35144 HAS SOUS 34271 HAS SOUPS 34021 WITH SCORE 34056.394
AT ITER 215 NEW BEST:: SOT 66306 SOS 35188 HAS SOPS 34938 HAS SOUS 34065 HAS SOUPS 33815 WITH SCORE 33850.188
AT ITER 216 NEW BEST:: SOT 66112 SOS 34994 HAS SOPS 34744 HAS SOUS 33871 HAS SOUPS 33621 WITH SCORE 33655.994
AT ITER 222 NEW BEST:: SOT 66109 SOS 34987 HAS SOPS 34737 HAS SOUS 33864 HAS SOUPS 33614 WITH SCORE 33648.987
AT ITER 224 NEW BEST:: SOT 66045 SOS 34891 HAS SOPS 34641 HAS SOUS 33768 HAS SOUPS 33518 WITH SCORE 33552.891
AT ITER 227 NEW BEST:: SOT 66045 SOS 34871 HAS SOPS 34621 HAS SOUS 33748 HAS SOUPS 33498 WITH SCORE 33532.871
AT ITER 231 NEW BEST:: SOT 66017 SOS 34733 HAS SOPS 34483 HAS SOUS 33656 HAS SOUPS 33406 WITH SCORE 33440.733
AT ITER 233 NEW BEST:: SOT 66033 SOS 34657 HAS SOPS 34407 HAS SOUS 33591 HAS SOUPS 33341 WITH SCORE 33375.657
AT ITER 236 NEW BEST:: SOT 66003 SOS 34578 HAS SOPS 34328 HAS SOUS 33529 HAS SOUPS 33279 WITH SCORE 33313.578
AT ITER 237 NEW BEST:: SOT 66003 SOS 34578 HAS SOPS 34328 HAS SOUS 33500 HAS SOUPS 33250 WITH SCORE 33284.578
AT ITER 238 NEW BEST:: SOT 65865 SOS 34302 HAS SOPS 34052 HAS SOUS 33293 HAS SOUPS 33043 WITH SCORE 33077.302
AT ITER 239 NEW BEST:: SOT 65851 SOS 34274 HAS SOPS 34024 HAS SOUS 33272 HAS SOUPS 33022 WITH SCORE 33056.274
AT ITER 244 NEW BEST:: SOT 65851 SOS 34246 HAS SOPS 33996 HAS SOUS 33258 HAS SOUPS 33008 WITH SCORE 33042.246
AT ITER 246 NEW BEST:: SOT 65808 SOS 34203 HAS SOPS 33953 HAS SOUS 33215 HAS SOUPS 32965 WITH SCORE 32999.203
AT ITER 250 NEW BEST:: SOT 65758 SOS 34016 HAS SOPS 33766 HAS SOUS 33028 HAS SOUPS 32778 WITH SCORE 32812.016
AT ITER 251 NEW BEST:: SOT 65716 SOS 33955 HAS SOPS 33705 HAS SOUS 32967 HAS SOUPS 32717 WITH SCORE 32750.955
AT ITER 253 NEW BEST:: SOT 65576 SOS 33671 HAS SOPS 33421 HAS SOUS 32718 HAS SOUPS 32468 WITH SCORE 32501.671
AT ITER 254 NEW BEST:: SOT 65483 SOS 33454 HAS SOPS 33204 HAS SOUS 32501 HAS SOUPS 32251 WITH SCORE 32284.454
AT ITER 259 NEW BEST:: SOT 65483 SOS 33454 HAS SOPS 33204 HAS SOUS 32451 HAS SOUPS 32201 WITH SCORE 32234.454
AT ITER 260 NEW BEST:: SOT 65253 SOS 32910 HAS SOPS 32660 HAS SOUS 31901 HAS SOUPS 31651 WITH SCORE 31683.91
AT ITER 262 NEW BEST:: SOT 65253 SOS 32900 HAS SOPS 32650 HAS SOUS 31891 HAS SOUPS 31641 WITH SCORE 31673.9
AT ITER 263 NEW BEST:: SOT 65231 SOS 32856 HAS SOPS 32606 HAS SOUS 31847 HAS SOUPS 31597 WITH SCORE 31629.856
AT ITER 264 NEW BEST:: SOT 65216 SOS 32847 HAS SOPS 32597 HAS SOUS 31838 HAS SOUPS 31588 WITH SCORE 31620.847
AT ITER 266 NEW BEST:: SOT 65198 SOS 32801 HAS SOPS 32551 HAS SOUS 31792 HAS SOUPS 31542 WITH SCORE 31574.801
AT ITER 270 NEW BEST:: SOT 65198 SOS 32797 HAS SOPS 32547 HAS SOUS 31788 HAS SOUPS 31538 WITH SCORE 31570.797
AT ITER 271 NEW BEST:: SOT 65196 SOS 32811 HAS SOPS 32561 HAS SOUS 31732 HAS SOUPS 31482 WITH SCORE 31514.811
AT ITER 274 NEW BEST:: SOT 65218 SOS 32596 HAS SOPS 32346 HAS SOUS 31447 HAS SOUPS 31197 WITH SCORE 31229.596
AT ITER 275 NEW BEST:: SOT 65007 SOS 32115 HAS SOPS 31865 HAS SOUS 30966 HAS SOUPS 30716 WITH SCORE 30748.115
AT ITER 279 NEW BEST:: SOT 65025 SOS 32088 HAS SOPS 31838 HAS SOUS 30950 HAS SOUPS 30700 WITH SCORE 30732.088
AT ITER 280 NEW BEST:: SOT 65056 SOS 32064 HAS SOPS 31814 HAS SOUS 30926 HAS SOUPS 30676 WITH SCORE 30708.064
AT ITER 282 NEW BEST:: SOT 65050 SOS 31962 HAS SOPS 31712 HAS SOUS 30824 HAS SOUPS 30574 WITH SCORE 30605.962
AT ITER 286 NEW BEST:: SOT 65050 SOS 31928 HAS SOPS 31678 HAS SOUS 30806 HAS SOUPS 30556 WITH SCORE 30587.928
AT ITER 288 NEW BEST:: SOT 65020 SOS 31926 HAS SOPS 31676 HAS SOUS 30798 HAS SOUPS 30548 WITH SCORE 30579.926
AT ITER 290 NEW BEST:: SOT 65020 SOS 31925 HAS SOPS 31675 HAS SOUS 30798 HAS SOUPS 30548 WITH SCORE 30579.925
AT ITER 292 NEW BEST:: SOT 65020 SOS 31906 HAS SOPS 31656 HAS SOUS 30798 HAS SOUPS 30548 WITH SCORE 30579.906
AT ITER 293 NEW BEST:: SOT 64890 SOS 31614 HAS SOPS 31364 HAS SOUS 30506 HAS SOUPS 30256 WITH SCORE 30287.614
AT ITER 295 NEW BEST:: SOT 64870 SOS 31594 HAS SOPS 31344 HAS SOUS 30486 HAS SOUPS 30236 WITH SCORE 30267.594
AT ITER 297 NEW BEST:: SOT 64856 SOS 31560 HAS SOPS 31310 HAS SOUS 30452 HAS SOUPS 30202 WITH SCORE 30233.56
AT ITER 302 NEW BEST:: SOT 64768 SOS 31508 HAS SOPS 31258 HAS SOUS 30400 HAS SOUPS 30150 WITH SCORE 30181.508
AT ITER 305 NEW BEST:: SOT 64755 SOS 31495 HAS SOPS 31245 HAS SOUS 30374 HAS SOUPS 30124 WITH SCORE 30155.495
AT ITER 309 NEW BEST:: SOT 64646 SOS 31377 HAS SOPS 31127 HAS SOUS 30256 HAS SOUPS 30006 WITH SCORE 30037.377
AT ITER 313 NEW BEST:: SOT 64652 SOS 31202 HAS SOPS 30952 HAS SOUS 30151 HAS SOUPS 29901 WITH SCORE 29932.202
AT ITER 314 NEW BEST:: SOT 64631 SOS 31024 HAS SOPS 30774 HAS SOUS 29973 HAS SOUPS 29723 WITH SCORE 29754.024
AT ITER 315 NEW BEST:: SOT 64631 SOS 31015 HAS SOPS 30765 HAS SOUS 29964 HAS SOUPS 29714 WITH SCORE 29745.015
AT ITER 317 NEW BEST:: SOT 64608 SOS 30931 HAS SOPS 30681 HAS SOUS 29880 HAS SOUPS 29630 WITH SCORE 29660.931
AT ITER 325 NEW BEST:: SOT 64552 SOS 30861 HAS SOPS 30611 HAS SOUS 29793 HAS SOUPS 29543 WITH SCORE 29573.861
AT ITER 331 NEW BEST:: SOT 64531 SOS 30840 HAS SOPS 30590 HAS SOUS 29752 HAS SOUPS 29502 WITH SCORE 29532.84
AT ITER 338 NEW BEST:: SOT 64508 SOS 30788 HAS SOPS 30538 HAS SOUS 29705 HAS SOUPS 29455 WITH SCORE 29485.788
AT ITER 341 NEW BEST:: SOT 64442 SOS 30562 HAS SOPS 30312 HAS SOUS 29479 HAS SOUPS 29229 WITH SCORE 29259.562
AT ITER 342 NEW BEST:: SOT 64389 SOS 30458 HAS SOPS 30208 HAS SOUS 29375 HAS SOUPS 29125 WITH SCORE 29155.458
AT ITER 345 NEW BEST:: SOT 64425 SOS 30398 HAS SOPS 30148 HAS SOUS 29315 HAS SOUPS 29065 WITH SCORE 29095.398
AT ITER 346 NEW BEST:: SOT 64391 SOS 30333 HAS SOPS 30083 HAS SOUS 29250 HAS SOUPS 29000 WITH SCORE 29030.333
AT ITER 348 NEW BEST:: SOT 64355 SOS 30254 HAS SOPS 30004 HAS SOUS 29171 HAS SOUPS 28921 WITH SCORE 28951.254
AT ITER 354 NEW BEST:: SOT 64378 SOS 30277 HAS SOPS 30027 HAS SOUS 29165 HAS SOUPS 28915 WITH SCORE 28945.277
AT ITER 363 NEW BEST:: SOT 64378 SOS 30266 HAS SOPS 30016 HAS SOUS 29165 HAS SOUPS 28915 WITH SCORE 28945.266
AT ITER 368 NEW BEST:: SOT 64268 SOS 30037 HAS SOPS 29787 HAS SOUS 28968 HAS SOUPS 28718 WITH SCORE 28748.037
AT ITER 373 NEW BEST:: SOT 64260 SOS 30017 HAS SOPS 29767 HAS SOUS 28921 HAS SOUPS 28671 WITH SCORE 28701.017
AT ITER 376 NEW BEST:: SOT 64254 SOS 30008 HAS SOPS 29758 HAS SOUS 28912 HAS SOUPS 28662 WITH SCORE 28692.008
AT ITER 386 NEW BEST:: SOT 64248 SOS 29996 HAS SOPS 29746 HAS SOUS 28900 HAS SOUPS 28650 WITH SCORE 28679.996
AT ITER 388 NEW BEST:: SOT 64245 SOS 29996 HAS SOPS 29746 HAS SOUS 28897 HAS SOUPS 28647 WITH SCORE 28676.996
AT ITER 390 NEW BEST:: SOT 64191 SOS 29962 HAS SOPS 29712 HAS SOUS 28876 HAS SOUPS 28626 WITH SCORE 28655.962
AT ITER 393 NEW BEST:: SOT 64187 SOS 29960 HAS SOPS 29710 HAS SOUS 28874 HAS SOUPS 28624 WITH SCORE 28653.96
AT ITER 395 NEW BEST:: SOT 64167 SOS 29827 HAS SOPS 29577 HAS SOUS 28814 HAS SOUPS 28564 WITH SCORE 28593.827
AT ITER 398 NEW BEST:: SOT 64167 SOS 29827 HAS SOPS 29577 HAS SOUS 28812 HAS SOUPS 28562 WITH SCORE 28591.827
AT ITER 399 NEW BEST:: SOT 64086 SOS 29804 HAS SOPS 29554 HAS SOUS 28782 HAS SOUPS 28532 WITH SCORE 28561.804
AT ITER 400 NEW BEST:: SOT 63910 SOS 29744 HAS SOPS 29494 HAS SOUS 28722 HAS SOUPS 28472 WITH SCORE 28501.744
AT ITER 401 NEW BEST:: SOT 63867 SOS 29707 HAS SOPS 29457 HAS SOUS 28659 HAS SOUPS 28409 WITH SCORE 28438.707
AT ITER 405 NEW BEST:: SOT 63834 SOS 29630 HAS SOPS 29380 HAS SOUS 28593 HAS SOUPS 28343 WITH SCORE 28372.63
AT ITER 408 NEW BEST:: SOT 63863 SOS 29261 HAS SOPS 29011 HAS SOUS 28193 HAS SOUPS 27943 WITH SCORE 27972.261
AT ITER 410 NEW BEST:: SOT 63749 SOS 29076 HAS SOPS 28826 HAS SOUS 28010 HAS SOUPS 27760 WITH SCORE 27789.076
AT ITER 414 NEW BEST:: SOT 63749 SOS 29045 HAS SOPS 28795 HAS SOUS 28010 HAS SOUPS 27760 WITH SCORE 27789.045
AT ITER 417 NEW BEST:: SOT 63743 SOS 29031 HAS SOPS 28781 HAS SOUS 28000 HAS SOUPS 27750 WITH SCORE 27779.031
AT ITER 421 NEW BEST:: SOT 63709 SOS 28861 HAS SOPS 28611 HAS SOUS 27830 HAS SOUPS 27580 WITH SCORE 27608.861
AT ITER 428 NEW BEST:: SOT 63679 SOS 28745 HAS SOPS 28495 HAS SOUS 27714 HAS SOUPS 27464 WITH SCORE 27492.745
AT ITER 434 NEW BEST:: SOT 63653 SOS 28667 HAS SOPS 28417 HAS SOUS 27649 HAS SOUPS 27399 WITH SCORE 27427.667
AT ITER 436 NEW BEST:: SOT 63655 SOS 28651 HAS SOPS 28401 HAS SOUS 27633 HAS SOUPS 27383 WITH SCORE 27411.651
AT ITER 439 NEW BEST:: SOT 63464 SOS 28321 HAS SOPS 28071 HAS SOUS 27303 HAS SOUPS 27053 WITH SCORE 27081.321
AT ITER 440 NEW BEST:: SOT 63433 SOS 28318 HAS SOPS 28068 HAS SOUS 27300 HAS SOUPS 27050 WITH SCORE 27078.318
AT ITER 444 NEW BEST:: SOT 63363 SOS 28154 HAS SOPS 27904 HAS SOUS 27108 HAS SOUPS 26858 WITH SCORE 26886.154
AT ITER 449 NEW BEST:: SOT 63317 SOS 27898 HAS SOPS 27648 HAS SOUS 26852 HAS SOUPS 26602 WITH SCORE 26629.898
AT ITER 458 NEW BEST:: SOT 63241 SOS 27670 HAS SOPS 27420 HAS SOUS 26662 HAS SOUPS 26412 WITH SCORE 26439.67
AT ITER 459 NEW BEST:: SOT 63180 SOS 27587 HAS SOPS 27337 HAS SOUS 26579 HAS SOUPS 26329 WITH SCORE 26356.587
AT ITER 462 NEW BEST:: SOT 63167 SOS 27571 HAS SOPS 27321 HAS SOUS 26550 HAS SOUPS 26300 WITH SCORE 26327.571
AT ITER 464 NEW BEST:: SOT 63135 SOS 27539 HAS SOPS 27289 HAS SOUS 26517 HAS SOUPS 26267 WITH SCORE 26294.539
AT ITER 466 NEW BEST:: SOT 63088 SOS 27209 HAS SOPS 26959 HAS SOUS 26216 HAS SOUPS 25966 WITH SCORE 25993.209
AT ITER 467 NEW BEST:: SOT 63136 SOS 27193 HAS SOPS 26943 HAS SOUS 26200 HAS SOUPS 25950 WITH SCORE 25977.193
AT ITER 470 NEW BEST:: SOT 63095 SOS 27069 HAS SOPS 26819 HAS SOUS 26111 HAS SOUPS 25861 WITH SCORE 25888.069
AT ITER 471 NEW BEST:: SOT 63002 SOS 26820 HAS SOPS 26570 HAS SOUS 25942 HAS SOUPS 25692 WITH SCORE 25718.82
AT ITER 472 NEW BEST:: SOT 62913 SOS 26749 HAS SOPS 26499 HAS SOUS 25865 HAS SOUPS 25615 WITH SCORE 25641.749
AT ITER 478 NEW BEST:: SOT 62902 SOS 26705 HAS SOPS 26455 HAS SOUS 25832 HAS SOUPS 25582 WITH SCORE 25608.705
AT ITER 486 NEW BEST:: SOT 62702 SOS 26291 HAS SOPS 26041 HAS SOUS 25418 HAS SOUPS 25168 WITH SCORE 25194.291
AT ITER 487 NEW BEST:: SOT 62684 SOS 26280 HAS SOPS 26030 HAS SOUS 25407 HAS SOUPS 25157 WITH SCORE 25183.28
AT ITER 491 NEW BEST:: SOT 62582 SOS 25998 HAS SOPS 25748 HAS SOUS 25174 HAS SOUPS 24924 WITH SCORE 24949.998
AT ITER 493 NEW BEST:: SOT 62555 SOS 25962 HAS SOPS 25712 HAS SOUS 25129 HAS SOUPS 24879 WITH SCORE 24904.962
AT ITER 495 NEW BEST:: SOT 62552 SOS 25947 HAS SOPS 25697 HAS SOUS 25114 HAS SOUPS 24864 WITH SCORE 24889.947
AT ITER 499 NEW BEST:: SOT 62561 SOS 25923 HAS SOPS 25673 HAS SOUS 25063 HAS SOUPS 24813 WITH SCORE 24838.923
AT ITER 505 NEW BEST:: SOT 62483 SOS 25815 HAS SOPS 25565 HAS SOUS 24955 HAS SOUPS 24705 WITH SCORE 24730.815
AT ITER 512 NEW BEST:: SOT 62441 SOS 25752 HAS SOPS 25502 HAS SOUS 24917 HAS SOUPS 24667 WITH SCORE 24692.752
AT ITER 523 NEW BEST:: SOT 62435 SOS 25713 HAS SOPS 25463 HAS SOUS 24878 HAS SOUPS 24628 WITH SCORE 24653.713
AT ITER 530 NEW BEST:: SOT 62406 SOS 25501 HAS SOPS 25251 HAS SOUS 24707 HAS SOUPS 24457 WITH SCORE 24482.501
AT ITER 532 NEW BEST:: SOT 62353 SOS 25421 HAS SOPS 25171 HAS SOUS 24628 HAS SOUPS 24378 WITH SCORE 24403.421
AT ITER 549 NEW BEST:: SOT 62353 SOS 25421 HAS SOPS 25171 HAS SOUS 24596 HAS SOUPS 24346 WITH SCORE 24371.421
AT ITER 557 NEW BEST:: SOT 62353 SOS 25328 HAS SOPS 25078 HAS SOUS 24503 HAS SOUPS 24253 WITH SCORE 24278.328
AT ITER 561 NEW BEST:: SOT 62254 SOS 25196 HAS SOPS 24946 HAS SOUS 24371 HAS SOUPS 24121 WITH SCORE 24146.196
AT ITER 573 NEW BEST:: SOT 62160 SOS 24820 HAS SOPS 24570 HAS SOUS 24089 HAS SOUPS 23839 WITH SCORE 23863.82
AT ITER 576 NEW BEST:: SOT 62077 SOS 24677 HAS SOPS 24427 HAS SOUS 23946 HAS SOUPS 23696 WITH SCORE 23720.677
AT ITER 578 NEW BEST:: SOT 62118 SOS 24649 HAS SOPS 24398 HAS SOUS 23930 HAS SOUPS 23679 WITH SCORE 23703.649
AT ITER 584 NEW BEST:: SOT 62068 SOS 24490 HAS SOPS 24239 HAS SOUS 23771 HAS SOUPS 23520 WITH SCORE 23544.49
AT ITER 585 NEW BEST:: SOT 62002 SOS 24416 HAS SOPS 24165 HAS SOUS 23681 HAS SOUPS 23430 WITH SCORE 23454.416
AT ITER 588 NEW BEST:: SOT 61919 SOS 24307 HAS SOPS 24056 HAS SOUS 23572 HAS SOUPS 23321 WITH SCORE 23345.307
AT ITER 594 NEW BEST:: SOT 61933 SOS 24293 HAS SOPS 24042 HAS SOUS 23558 HAS SOUPS 23307 WITH SCORE 23331.293
AT ITER 604 NEW BEST:: SOT 61870 SOS 24230 HAS SOPS 23979 HAS SOUS 23495 HAS SOUPS 23244 WITH SCORE 23268.23
AT ITER 607 NEW BEST:: SOT 61863 SOS 24191 HAS SOPS 23940 HAS SOUS 23452 HAS SOUPS 23201 WITH SCORE 23225.191
AT ITER 608 NEW BEST:: SOT 61803 SOS 24101 HAS SOPS 23850 HAS SOUS 23362 HAS SOUPS 23111 WITH SCORE 23135.101
AT ITER 617 NEW BEST:: SOT 61856 SOS 24122 HAS SOPS 23871 HAS SOUS 23342 HAS SOUPS 23091 WITH SCORE 23115.122
AT ITER 622 NEW BEST:: SOT 61868 SOS 24086 HAS SOPS 23835 HAS SOUS 23306 HAS SOUPS 23055 WITH SCORE 23079.086
AT ITER 626 NEW BEST:: SOT 61829 SOS 23985 HAS SOPS 23734 HAS SOUS 23222 HAS SOUPS 22971 WITH SCORE 22994.985
AT ITER 629 NEW BEST:: SOT 61793 SOS 23937 HAS SOPS 23686 HAS SOUS 23180 HAS SOUPS 22929 WITH SCORE 22952.937
AT ITER 635 NEW BEST:: SOT 61784 SOS 23928 HAS SOPS 23677 HAS SOUS 23171 HAS SOUPS 22920 WITH SCORE 22943.928
AT ITER 637 NEW BEST:: SOT 61738 SOS 23765 HAS SOPS 23514 HAS SOUS 22984 HAS SOUPS 22733 WITH SCORE 22756.765
AT ITER 638 NEW BEST:: SOT 61640 SOS 23704 HAS SOPS 23453 HAS SOUS 22923 HAS SOUPS 22672 WITH SCORE 22695.704
AT ITER 641 NEW BEST:: SOT 61541 SOS 23414 HAS SOPS 23163 HAS SOUS 22630 HAS SOUPS 22379 WITH SCORE 22402.414
AT ITER 646 NEW BEST:: SOT 61523 SOS 23364 HAS SOPS 23113 HAS SOUS 22580 HAS SOUPS 22329 WITH SCORE 22352.364
AT ITER 660 NEW BEST:: SOT 61363 SOS 23173 HAS SOPS 22922 HAS SOUS 22387 HAS SOUPS 22136 WITH SCORE 22159.173
AT ITER 662 NEW BEST:: SOT 61204 SOS 22958 HAS SOPS 22708 HAS SOUS 22116 HAS SOUPS 21866 WITH SCORE 21888.958
AT ITER 666 NEW BEST:: SOT 61091 SOS 22707 HAS SOPS 22457 HAS SOUS 21865 HAS SOUPS 21615 WITH SCORE 21637.707
AT ITER 669 NEW BEST:: SOT 61085 SOS 22701 HAS SOPS 22451 HAS SOUS 21859 HAS SOUPS 21609 WITH SCORE 21631.701
AT ITER 683 NEW BEST:: SOT 61013 SOS 22621 HAS SOPS 22371 HAS SOUS 21779 HAS SOUPS 21529 WITH SCORE 21551.621
AT ITER 685 NEW BEST:: SOT 61010 SOS 22610 HAS SOPS 22360 HAS SOUS 21768 HAS SOUPS 21518 WITH SCORE 21540.61
AT ITER 692 NEW BEST:: SOT 60971 SOS 22593 HAS SOPS 22343 HAS SOUS 21740 HAS SOUPS 21490 WITH SCORE 21512.593
AT ITER 693 NEW BEST:: SOT 61123 SOS 22469 HAS SOPS 22219 HAS SOUS 21634 HAS SOUPS 21384 WITH SCORE 21406.469
AT ITER 707 NEW BEST:: SOT 61126 SOS 22468 HAS SOPS 22218 HAS SOUS 21633 HAS SOUPS 21383 WITH SCORE 21405.468
AT ITER 716 NEW BEST:: SOT 61111 SOS 22447 HAS SOPS 22197 HAS SOUS 21629 HAS SOUPS 21379 WITH SCORE 21401.447
AT ITER 717 NEW BEST:: SOT 61014 SOS 22313 HAS SOPS 22063 HAS SOUS 21495 HAS SOUPS 21245 WITH SCORE 21267.313
AT ITER 719 NEW BEST:: SOT 60954 SOS 22121 HAS SOPS 21871 HAS SOUS 21328 HAS SOUPS 21078 WITH SCORE 21100.121
AT ITER 724 NEW BEST:: SOT 60933 SOS 22076 HAS SOPS 21826 HAS SOUS 21283 HAS SOUPS 21033 WITH SCORE 21055.076
AT ITER 742 NEW BEST:: SOT 60809 SOS 21877 HAS SOPS 21627 HAS SOUS 21095 HAS SOUPS 20845 WITH SCORE 20866.877
AT ITER 752 NEW BEST:: SOT 60809 SOS 21873 HAS SOPS 21623 HAS SOUS 21095 HAS SOUPS 20845 WITH SCORE 20866.873
AT ITER 754 NEW BEST:: SOT 60806 SOS 21869 HAS SOPS 21619 HAS SOUS 21091 HAS SOUPS 20841 WITH SCORE 20862.869
AT ITER 758 NEW BEST:: SOT 60722 SOS 21863 HAS SOPS 21613 HAS SOUS 21085 HAS SOUPS 20835 WITH SCORE 20856.863
AT ITER 767 NEW BEST:: SOT 60748 SOS 21698 HAS SOPS 21448 HAS SOUS 20986 HAS SOUPS 20736 WITH SCORE 20757.698
AT ITER 769 NEW BEST:: SOT 60748 SOS 21599 HAS SOPS 21349 HAS SOUS 20920 HAS SOUPS 20670 WITH SCORE 20691.599
AT ITER 779 NEW BEST:: SOT 60662 SOS 21523 HAS SOPS 21273 HAS SOUS 20844 HAS SOUPS 20594 WITH SCORE 20615.523
AT ITER 781 NEW BEST:: SOT 60650 SOS 21519 HAS SOPS 21269 HAS SOUS 20840 HAS SOUPS 20590 WITH SCORE 20611.519
AT ITER 782 NEW BEST:: SOT 60621 SOS 21477 HAS SOPS 21227 HAS SOUS 20800 HAS SOUPS 20550 WITH SCORE 20571.477
AT ITER 784 NEW BEST:: SOT 60550 SOS 21347 HAS SOPS 21097 HAS SOUS 20640 HAS SOUPS 20390 WITH SCORE 20411.347
AT ITER 785 NEW BEST:: SOT 60617 SOS 21319 HAS SOPS 21069 HAS SOUS 20612 HAS SOUPS 20362 WITH SCORE 20383.319
AT ITER 788 NEW BEST:: SOT 60615 SOS 21317 HAS SOPS 21067 HAS SOUS 20610 HAS SOUPS 20360 WITH SCORE 20381.317
AT ITER 797 NEW BEST:: SOT 60573 SOS 21219 HAS SOPS 20969 HAS SOUS 20526 HAS SOUPS 20276 WITH SCORE 20297.219
AT ITER 799 NEW BEST:: SOT 60562 SOS 21175 HAS SOPS 20925 HAS SOUS 20493 HAS SOUPS 20243 WITH SCORE 20264.175
AT ITER 801 NEW BEST:: SOT 60408 SOS 20813 HAS SOPS 20563 HAS SOUS 20197 HAS SOUPS 19947 WITH SCORE 19967.813
AT ITER 803 NEW BEST:: SOT 60399 SOS 20701 HAS SOPS 20451 HAS SOUS 20074 HAS SOUPS 19824 WITH SCORE 19844.701
AT ITER 805 NEW BEST:: SOT 60374 SOS 20687 HAS SOPS 20437 HAS SOUS 20060 HAS SOUPS 19810 WITH SCORE 19830.687
AT ITER 806 NEW BEST:: SOT 60374 SOS 20642 HAS SOPS 20392 HAS SOUS 20015 HAS SOUPS 19765 WITH SCORE 19785.642
AT ITER 810 NEW BEST:: SOT 60371 SOS 20636 HAS SOPS 20386 HAS SOUS 20009 HAS SOUPS 19759 WITH SCORE 19779.636
AT ITER 816 NEW BEST:: SOT 60358 SOS 20633 HAS SOPS 20383 HAS SOUS 20000 HAS SOUPS 19750 WITH SCORE 19770.633
AT ITER 823 NEW BEST:: SOT 60346 SOS 20615 HAS SOPS 20365 HAS SOUS 19982 HAS SOUPS 19732 WITH SCORE 19752.615
AT ITER 826 NEW BEST:: SOT 60318 SOS 20503 HAS SOPS 20253 HAS SOUS 19898 HAS SOUPS 19648 WITH SCORE 19668.503
AT ITER 828 NEW BEST:: SOT 60264 SOS 20431 HAS SOPS 20181 HAS SOUS 19826 HAS SOUPS 19576 WITH SCORE 19596.431
AT ITER 829 NEW BEST:: SOT 60229 SOS 20368 HAS SOPS 20118 HAS SOUS 19770 HAS SOUPS 19520 WITH SCORE 19540.368
AT ITER 830 NEW BEST:: SOT 60079 SOS 20273 HAS SOPS 20023 HAS SOUS 19605 HAS SOUPS 19355 WITH SCORE 19375.273
AT ITER 837 NEW BEST:: SOT 60061 SOS 20273 HAS SOPS 20023 HAS SOUS 19587 HAS SOUPS 19337 WITH SCORE 19357.273
AT ITER 840 NEW BEST:: SOT 60045 SOS 20241 HAS SOPS 19991 HAS SOUS 19555 HAS SOUPS 19305 WITH SCORE 19325.241
AT ITER 841 NEW BEST:: SOT 60034 SOS 20219 HAS SOPS 19969 HAS SOUS 19533 HAS SOUPS 19283 WITH SCORE 19303.219
AT ITER 846 NEW BEST:: SOT 60016 SOS 20186 HAS SOPS 19936 HAS SOUS 19500 HAS SOUPS 19250 WITH SCORE 19270.186
AT ITER 848 NEW BEST:: SOT 60026 SOS 20098 HAS SOPS 19848 HAS SOUS 19412 HAS SOUPS 19162 WITH SCORE 19182.098
AT ITER 858 NEW BEST:: SOT 59962 SOS 19940 HAS SOPS 19690 HAS SOUS 19284 HAS SOUPS 19034 WITH SCORE 19053.94
AT ITER 861 NEW BEST:: SOT 59827 SOS 19664 HAS SOPS 19414 HAS SOUS 19014 HAS SOUPS 18764 WITH SCORE 18783.664
AT ITER 866 NEW BEST:: SOT 59794 SOS 19588 HAS SOPS 19338 HAS SOUS 18931 HAS SOUPS 18681 WITH SCORE 18700.588
AT ITER 874 NEW BEST:: SOT 59740 SOS 19535 HAS SOPS 19285 HAS SOUS 18878 HAS SOUPS 18628 WITH SCORE 18647.535
AT ITER 875 NEW BEST:: SOT 59702 SOS 19349 HAS SOPS 19099 HAS SOUS 18806 HAS SOUPS 18556 WITH SCORE 18575.349
AT ITER 878 NEW BEST:: SOT 59658 SOS 19273 HAS SOPS 19023 HAS SOUS 18730 HAS SOUPS 18480 WITH SCORE 18499.273
AT ITER 888 NEW BEST:: SOT 59637 SOS 19151 HAS SOPS 18901 HAS SOUS 18608 HAS SOUPS 18358 WITH SCORE 18377.151
AT ITER 894 NEW BEST:: SOT 59637 SOS 19151 HAS SOPS 18901 HAS SOUS 18602 HAS SOUPS 18352 WITH SCORE 18371.151
AT ITER 913 NEW BEST:: SOT 59665 SOS 19129 HAS SOPS 18879 HAS SOUS 18580 HAS SOUPS 18330 WITH SCORE 18349.129
AT ITER 922 NEW BEST:: SOT 59632 SOS 19085 HAS SOPS 18835 HAS SOUS 18534 HAS SOUPS 18284 WITH SCORE 18303.085
AT ITER 933 NEW BEST:: SOT 59536 SOS 18957 HAS SOPS 18707 HAS SOUS 18406 HAS SOUPS 18156 WITH SCORE 18174.957
AT ITER 935 NEW BEST:: SOT 59536 SOS 18955 HAS SOPS 18705 HAS SOUS 18404 HAS SOUPS 18154 WITH SCORE 18172.955
AT ITER 936 NEW BEST:: SOT 59533 SOS 18949 HAS SOPS 18699 HAS SOUS 18398 HAS SOUPS 18148 WITH SCORE 18166.949
AT ITER 937 NEW BEST:: SOT 59373 SOS 18725 HAS SOPS 18475 HAS SOUS 18165 HAS SOUPS 17915 WITH SCORE 17933.725
AT ITER 956 NEW BEST:: SOT 59440 SOS 18691 HAS SOPS 18441 HAS SOUS 18165 HAS SOUPS 17915 WITH SCORE 17933.691
AT ITER 957 NEW BEST:: SOT 59352 SOS 18525 HAS SOPS 18275 HAS SOUS 18067 HAS SOUPS 17817 WITH SCORE 17835.525
AT ITER 965 NEW BEST:: SOT 59354 SOS 18521 HAS SOPS 18271 HAS SOUS 18063 HAS SOUPS 17813 WITH SCORE 17831.521
AT ITER 978 NEW BEST:: SOT 59337 SOS 18504 HAS SOPS 18254 HAS SOUS 18046 HAS SOUPS 17796 WITH SCORE 17814.504
AT ITER 979 NEW BEST:: SOT 59343 SOS 18493 HAS SOPS 18243 HAS SOUS 18041 HAS SOUPS 17791 WITH SCORE 17809.493
AT ITER 981 NEW BEST:: SOT 59389 SOS 18504 HAS SOPS 18254 HAS SOUS 18009 HAS SOUPS 17759 WITH SCORE 17777.504
AT ITER 985 NEW BEST:: SOT 59355 SOS 18346 HAS SOPS 18096 HAS SOUS 17851 HAS SOUPS 17601 WITH SCORE 17619.346
AT ITER 995 NEW BEST:: SOT 59272 SOS 18240 HAS SOPS 17990 HAS SOUS 17773 HAS SOUPS 17523 WITH SCORE 17541.24
AT ITER 1008 NEW BEST:: SOT 59202 SOS 18170 HAS SOPS 17920 HAS SOUS 17701 HAS SOUPS 17451 WITH SCORE 17469.17
AT ITER 1019 NEW BEST:: SOT 59200 SOS 18164 HAS SOPS 17914 HAS SOUS 17695 HAS SOUPS 17445 WITH SCORE 17463.164
AT ITER 1030 NEW BEST:: SOT 59192 SOS 18149 HAS SOPS 17899 HAS SOUS 17684 HAS SOUPS 17434 WITH SCORE 17452.149
AT ITER 1044 NEW BEST:: SOT 59191 SOS 18164 HAS SOPS 17914 HAS SOUS 17682 HAS SOUPS 17432 WITH SCORE 17450.164
AT ITER 1062 NEW BEST:: SOT 59183 SOS 18136 HAS SOPS 17886 HAS SOUS 17620 HAS SOUPS 17370 WITH SCORE 17388.136
AT ITER 1065 NEW BEST:: SOT 59190 SOS 18083 HAS SOPS 17833 HAS SOUS 17567 HAS SOUPS 17317 WITH SCORE 17335.083
AT ITER 1075 NEW BEST:: SOT 59190 SOS 18049 HAS SOPS 17799 HAS SOUS 17499 HAS SOUPS 17249 WITH SCORE 17267.049
AT ITER 1077 NEW BEST:: SOT 59142 SOS 17969 HAS SOPS 17719 HAS SOUS 17419 HAS SOUPS 17169 WITH SCORE 17186.969
AT ITER 1079 NEW BEST:: SOT 59142 SOS 17944 HAS SOPS 17694 HAS SOUS 17419 HAS SOUPS 17169 WITH SCORE 17186.944
AT ITER 1085 NEW BEST:: SOT 59124 SOS 17890 HAS SOPS 17640 HAS SOUS 17365 HAS SOUPS 17115 WITH SCORE 17132.89
AT ITER 1094 NEW BEST:: SOT 59078 SOS 17821 HAS SOPS 17571 HAS SOUS 17296 HAS SOUPS 17046 WITH SCORE 17063.821
AT ITER 1097 NEW BEST:: SOT 58979 SOS 17607 HAS SOPS 17357 HAS SOUS 17103 HAS SOUPS 16853 WITH SCORE 16870.607
AT ITER 1103 NEW BEST:: SOT 58979 SOS 17597 HAS SOPS 17347 HAS SOUS 17093 HAS SOUPS 16843 WITH SCORE 16860.597
AT ITER 1115 NEW BEST:: SOT 58960 SOS 17578 HAS SOPS 17328 HAS SOUS 17074 HAS SOUPS 16824 WITH SCORE 16841.578
AT ITER 1120 NEW BEST:: SOT 58959 SOS 17575 HAS SOPS 17325 HAS SOUS 17071 HAS SOUPS 16821 WITH SCORE 16838.575
AT ITER 1136 NEW BEST:: SOT 58935 SOS 17507 HAS SOPS 17257 HAS SOUS 17055 HAS SOUPS 16805 WITH SCORE 16822.507
AT ITER 1138 NEW BEST:: SOT 58913 SOS 17459 HAS SOPS 17209 HAS SOUS 17014 HAS SOUPS 16764 WITH SCORE 16781.459
AT ITER 1151 NEW BEST:: SOT 58918 SOS 17458 HAS SOPS 17208 HAS SOUS 17013 HAS SOUPS 16763 WITH SCORE 16780.458
AT ITER 1153 NEW BEST:: SOT 58920 SOS 17456 HAS SOPS 17206 HAS SOUS 17013 HAS SOUPS 16763 WITH SCORE 16780.456
AT ITER 1155 NEW BEST:: SOT 58928 SOS 17446 HAS SOPS 17196 HAS SOUS 17012 HAS SOUPS 16762 WITH SCORE 16779.446
AT ITER 1176 NEW BEST:: SOT 58890 SOS 17398 HAS SOPS 17148 HAS SOUS 16962 HAS SOUPS 16712 WITH SCORE 16729.398
AT ITER 1180 NEW BEST:: SOT 58884 SOS 17384 HAS SOPS 17134 HAS SOUS 16950 HAS SOUPS 16700 WITH SCORE 16717.384
AT ITER 1185 NEW BEST:: SOT 58866 SOS 17296 HAS SOPS 17046 HAS SOUS 16897 HAS SOUPS 16647 WITH SCORE 16664.296
AT ITER 1186 NEW BEST:: SOT 58866 SOS 17244 HAS SOPS 16994 HAS SOUS 16845 HAS SOUPS 16595 WITH SCORE 16612.244
AT ITER 1203 NEW BEST:: SOT 58857 SOS 17237 HAS SOPS 16987 HAS SOUS 16839 HAS SOUPS 16589 WITH SCORE 16606.237
AT ITER 1210 NEW BEST:: SOT 58838 SOS 17105 HAS SOPS 16855 HAS SOUS 16707 HAS SOUPS 16457 WITH SCORE 16474.105
AT ITER 1222 NEW BEST:: SOT 58831 SOS 17068 HAS SOPS 16818 HAS SOUS 16671 HAS SOUPS 16421 WITH SCORE 16438.068
AT ITER 1230 NEW BEST:: SOT 58693 SOS 16789 HAS SOPS 16539 HAS SOUS 16392 HAS SOUPS 16142 WITH SCORE 16158.789
AT ITER 1241 NEW BEST:: SOT 58636 SOS 16755 HAS SOPS 16505 HAS SOUS 16380 HAS SOUPS 16130 WITH SCORE 16146.755
AT ITER 1244 NEW BEST:: SOT 58630 SOS 16749 HAS SOPS 16499 HAS SOUS 16374 HAS SOUPS 16124 WITH SCORE 16140.749
AT ITER 1260 NEW BEST:: SOT 58608 SOS 16706 HAS SOPS 16456 HAS SOUS 16331 HAS SOUPS 16081 WITH SCORE 16097.706
AT ITER 1263 NEW BEST:: SOT 58607 SOS 16704 HAS SOPS 16454 HAS SOUS 16329 HAS SOUPS 16079 WITH SCORE 16095.704
AT ITER 1279 NEW BEST:: SOT 58583 SOS 16648 HAS SOPS 16398 HAS SOUS 16273 HAS SOUPS 16023 WITH SCORE 16039.648
AT ITER 1284 NEW BEST:: SOT 58583 SOS 16607 HAS SOPS 16357 HAS SOUS 16232 HAS SOUPS 15982 WITH SCORE 15998.607
AT ITER 1287 NEW BEST:: SOT 58558 SOS 16538 HAS SOPS 16288 HAS SOUS 16163 HAS SOUPS 15913 WITH SCORE 15929.538
AT ITER 1289 NEW BEST:: SOT 58543 SOS 16496 HAS SOPS 16246 HAS SOUS 16136 HAS SOUPS 15886 WITH SCORE 15902.496
AT ITER 1294 NEW BEST:: SOT 58595 SOS 16437 HAS SOPS 16187 HAS SOUS 16077 HAS SOUPS 15827 WITH SCORE 15843.437
AT ITER 1303 NEW BEST:: SOT 58565 SOS 16367 HAS SOPS 16117 HAS SOUS 16007 HAS SOUPS 15757 WITH SCORE 15773.367
AT ITER 1304 NEW BEST:: SOT 58569 SOS 16356 HAS SOPS 16106 HAS SOUS 15996 HAS SOUPS 15746 WITH SCORE 15762.356
AT ITER 1314 NEW BEST:: SOT 58565 SOS 16347 HAS SOPS 16097 HAS SOUS 15987 HAS SOUPS 15737 WITH SCORE 15753.347
AT ITER 1319 NEW BEST:: SOT 58552 SOS 16144 HAS SOPS 15894 HAS SOUS 15784 HAS SOUPS 15534 WITH SCORE 15550.144
AT ITER 1334 NEW BEST:: SOT 58495 SOS 15998 HAS SOPS 15748 HAS SOUS 15638 HAS SOUPS 15388 WITH SCORE 15403.998
AT ITER 1343 NEW BEST:: SOT 58450 SOS 15901 HAS SOPS 15651 HAS SOUS 15531 HAS SOUPS 15281 WITH SCORE 15296.901
AT ITER 1347 NEW BEST:: SOT 58366 SOS 15762 HAS SOPS 15512 HAS SOUS 15392 HAS SOUPS 15142 WITH SCORE 15157.762
AT ITER 1365 NEW BEST:: SOT 58354 SOS 15747 HAS SOPS 15497 HAS SOUS 15377 HAS SOUPS 15127 WITH SCORE 15142.747
AT ITER 1367 NEW BEST:: SOT 58354 SOS 15743 HAS SOPS 15493 HAS SOUS 15373 HAS SOUPS 15123 WITH SCORE 15138.743
AT ITER 1374 NEW BEST:: SOT 58308 SOS 15651 HAS SOPS 15401 HAS SOUS 15281 HAS SOUPS 15031 WITH SCORE 15046.651
AT ITER 1382 NEW BEST:: SOT 58297 SOS 15618 HAS SOPS 15368 HAS SOUS 15248 HAS SOUPS 14998 WITH SCORE 15013.618
AT ITER 1399 NEW BEST:: SOT 58159 SOS 15401 HAS SOPS 15151 HAS SOUS 15014 HAS SOUPS 14764 WITH SCORE 14779.401
AT ITER 1401 NEW BEST:: SOT 58099 SOS 15391 HAS SOPS 15141 HAS SOUS 15004 HAS SOUPS 14754 WITH SCORE 14769.391
AT ITER 1410 NEW BEST:: SOT 58079 SOS 15373 HAS SOPS 15123 HAS SOUS 14986 HAS SOUPS 14736 WITH SCORE 14751.373
AT ITER 1433 NEW BEST:: SOT 58075 SOS 15361 HAS SOPS 15111 HAS SOUS 14974 HAS SOUPS 14724 WITH SCORE 14739.361
AT ITER 1441 NEW BEST:: SOT 58051 SOS 15329 HAS SOPS 15079 HAS SOUS 14940 HAS SOUPS 14690 WITH SCORE 14705.329
AT ITER 1450 NEW BEST:: SOT 58007 SOS 15303 HAS SOPS 15053 HAS SOUS 14914 HAS SOUPS 14664 WITH SCORE 14679.303
AT ITER 1454 NEW BEST:: SOT 57985 SOS 15288 HAS SOPS 15038 HAS SOUS 14911 HAS SOUPS 14661 WITH SCORE 14676.288
AT ITER 1463 NEW BEST:: SOT 57977 SOS 15251 HAS SOPS 15001 HAS SOUS 14887 HAS SOUPS 14637 WITH SCORE 14652.251
AT ITER 1466 NEW BEST:: SOT 57965 SOS 15239 HAS SOPS 14989 HAS SOUS 14875 HAS SOUPS 14625 WITH SCORE 14640.239
AT ITER 1468 NEW BEST:: SOT 57902 SOS 15073 HAS SOPS 14823 HAS SOUS 14710 HAS SOUPS 14460 WITH SCORE 14475.073
AT ITER 1469 NEW BEST:: SOT 57846 SOS 15029 HAS SOPS 14779 HAS SOUS 14650 HAS SOUPS 14400 WITH SCORE 14415.029
AT ITER 1478 NEW BEST:: SOT 57870 SOS 15021 HAS SOPS 14771 HAS SOUS 14641 HAS SOUPS 14391 WITH SCORE 14406.021
AT ITER 1479 NEW BEST:: SOT 57808 SOS 14942 HAS SOPS 14692 HAS SOUS 14562 HAS SOUPS 14312 WITH SCORE 14326.942
AT ITER 1493 NEW BEST:: SOT 57808 SOS 14913 HAS SOPS 14663 HAS SOUS 14533 HAS SOUPS 14283 WITH SCORE 14297.913
AT ITER 1501 NEW BEST:: SOT 57776 SOS 14849 HAS SOPS 14599 HAS SOUS 14477 HAS SOUPS 14227 WITH SCORE 14241.849
AT ITER 1507 NEW BEST:: SOT 57677 SOS 14686 HAS SOPS 14436 HAS SOUS 14314 HAS SOUPS 14064 WITH SCORE 14078.686
AT ITER 1518 NEW BEST:: SOT 57657 SOS 14663 HAS SOPS 14413 HAS SOUS 14284 HAS SOUPS 14034 WITH SCORE 14048.663
AT ITER 1537 NEW BEST:: SOT 57520 SOS 14309 HAS SOPS 14059 HAS SOUS 13986 HAS SOUPS 13736 WITH SCORE 13750.309
AT ITER 1542 NEW BEST:: SOT 57523 SOS 14302 HAS SOPS 14052 HAS SOUS 13979 HAS SOUPS 13729 WITH SCORE 13743.302
AT ITER 1543 NEW BEST:: SOT 57523 SOS 14298 HAS SOPS 14048 HAS SOUS 13975 HAS SOUPS 13725 WITH SCORE 13739.298
AT ITER 1544 NEW BEST:: SOT 57488 SOS 14279 HAS SOPS 14029 HAS SOUS 13950 HAS SOUPS 13700 WITH SCORE 13714.279
AT ITER 1554 NEW BEST:: SOT 57456 SOS 14249 HAS SOPS 13999 HAS SOUS 13920 HAS SOUPS 13670 WITH SCORE 13684.249
AT ITER 1558 NEW BEST:: SOT 57379 SOS 14157 HAS SOPS 13907 HAS SOUS 13818 HAS SOUPS 13568 WITH SCORE 13582.157
AT ITER 1566 NEW BEST:: SOT 57371 SOS 14138 HAS SOPS 13888 HAS SOUS 13806 HAS SOUPS 13556 WITH SCORE 13570.138
AT ITER 1567 NEW BEST:: SOT 57354 SOS 14092 HAS SOPS 13842 HAS SOUS 13760 HAS SOUPS 13510 WITH SCORE 13524.092
AT ITER 1568 NEW BEST:: SOT 57352 SOS 14084 HAS SOPS 13834 HAS SOUS 13754 HAS SOUPS 13504 WITH SCORE 13518.084
AT ITER 1574 NEW BEST:: SOT 57329 SOS 14047 HAS SOPS 13797 HAS SOUS 13717 HAS SOUPS 13467 WITH SCORE 13481.047
AT ITER 1581 NEW BEST:: SOT 57161 SOS 13772 HAS SOPS 13522 HAS SOUS 13495 HAS SOUPS 13245 WITH SCORE 13258.772
AT ITER 1603 NEW BEST:: SOT 57149 SOS 13753 HAS SOPS 13503 HAS SOUS 13476 HAS SOUPS 13226 WITH SCORE 13239.753
AT ITER 1614 NEW BEST:: SOT 57003 SOS 13613 HAS SOPS 13363 HAS SOUS 13336 HAS SOUPS 13086 WITH SCORE 13099.613
AT ITER 1615 NEW BEST:: SOT 56997 SOS 13600 HAS SOPS 13350 HAS SOUS 13323 HAS SOUPS 13073 WITH SCORE 13086.6
AT ITER 1632 NEW BEST:: SOT 56958 SOS 13496 HAS SOPS 13246 HAS SOUS 13219 HAS SOUPS 12969 WITH SCORE 12982.496
AT ITER 1634 NEW BEST:: SOT 56925 SOS 13446 HAS SOPS 13196 HAS SOUS 13177 HAS SOUPS 12927 WITH SCORE 12940.446
AT ITER 1637 NEW BEST:: SOT 56925 SOS 13444 HAS SOPS 13194 HAS SOUS 13175 HAS SOUPS 12925 WITH SCORE 12938.444
AT ITER 1639 NEW BEST:: SOT 56868 SOS 13277 HAS SOPS 13027 HAS SOUS 13082 HAS SOUPS 12832 WITH SCORE 12845.277
AT ITER 1644 NEW BEST:: SOT 56855 SOS 13260 HAS SOPS 13010 HAS SOUS 13065 HAS SOUPS 12815 WITH SCORE 12828.26
AT ITER 1646 NEW BEST:: SOT 56835 SOS 13235 HAS SOPS 12985 HAS SOUS 13040 HAS SOUPS 12790 WITH SCORE 12803.235
AT ITER 1669 NEW BEST:: SOT 56827 SOS 13223 HAS SOPS 12973 HAS SOUS 13028 HAS SOUPS 12778 WITH SCORE 12791.223
AT ITER 1679 NEW BEST:: SOT 56822 SOS 13218 HAS SOPS 12968 HAS SOUS 13023 HAS SOUPS 12773 WITH SCORE 12786.218
AT ITER 1683 NEW BEST:: SOT 56770 SOS 13128 HAS SOPS 12878 HAS SOUS 12959 HAS SOUPS 12709 WITH SCORE 12722.128
AT ITER 1685 NEW BEST:: SOT 56770 SOS 13126 HAS SOPS 12876 HAS SOUS 12955 HAS SOUPS 12705 WITH SCORE 12718.126
AT ITER 1690 NEW BEST:: SOT 56820 SOS 13076 HAS SOPS 12826 HAS SOUS 12905 HAS SOUPS 12655 WITH SCORE 12668.076
AT ITER 1693 NEW BEST:: SOT 56820 SOS 13070 HAS SOPS 12820 HAS SOUS 12899 HAS SOUPS 12649 WITH SCORE 12662.07
AT ITER 1710 NEW BEST:: SOT 56819 SOS 13069 HAS SOPS 12819 HAS SOUS 12898 HAS SOUPS 12648 WITH SCORE 12661.069
AT ITER 1711 NEW BEST:: SOT 56745 SOS 12983 HAS SOPS 12733 HAS SOUS 12812 HAS SOUPS 12562 WITH SCORE 12574.983
AT ITER 1723 NEW BEST:: SOT 56700 SOS 12848 HAS SOPS 12598 HAS SOUS 12677 HAS SOUPS 12427 WITH SCORE 12439.848
AT ITER 1730 NEW BEST:: SOT 56680 SOS 12828 HAS SOPS 12578 HAS SOUS 12657 HAS SOUPS 12407 WITH SCORE 12419.828
AT ITER 1732 NEW BEST:: SOT 56661 SOS 12821 HAS SOPS 12571 HAS SOUS 12651 HAS SOUPS 12401 WITH SCORE 12413.821
AT ITER 1748 NEW BEST:: SOT 56645 SOS 12812 HAS SOPS 12562 HAS SOUS 12642 HAS SOUPS 12392 WITH SCORE 12404.812
AT ITER 1765 NEW BEST:: SOT 56645 SOS 12810 HAS SOPS 12560 HAS SOUS 12640 HAS SOUPS 12390 WITH SCORE 12402.81
AT ITER 1766 NEW BEST:: SOT 56601 SOS 12778 HAS SOPS 12528 HAS SOUS 12608 HAS SOUPS 12358 WITH SCORE 12370.778
AT ITER 1769 NEW BEST:: SOT 56543 SOS 12709 HAS SOPS 12459 HAS SOUS 12491 HAS SOUPS 12241 WITH SCORE 12253.709
AT ITER 1780 NEW BEST:: SOT 56489 SOS 12617 HAS SOPS 12367 HAS SOUS 12462 HAS SOUPS 12212 WITH SCORE 12224.617
AT ITER 1789 NEW BEST:: SOT 56466 SOS 12581 HAS SOPS 12331 HAS SOUS 12424 HAS SOUPS 12174 WITH SCORE 12186.581
AT ITER 1793 NEW BEST:: SOT 56460 SOS 12580 HAS SOPS 12330 HAS SOUS 12423 HAS SOUPS 12173 WITH SCORE 12185.58
AT ITER 1799 NEW BEST:: SOT 56384 SOS 12428 HAS SOPS 12178 HAS SOUS 12271 HAS SOUPS 12021 WITH SCORE 12033.428
AT ITER 1821 NEW BEST:: SOT 56384 SOS 12410 HAS SOPS 12160 HAS SOUS 12253 HAS SOUPS 12003 WITH SCORE 12015.41
AT ITER 1827 NEW BEST:: SOT 56382 SOS 12408 HAS SOPS 12158 HAS SOUS 12251 HAS SOUPS 12001 WITH SCORE 12013.408
AT ITER 1835 NEW BEST:: SOT 56350 SOS 12336 HAS SOPS 12086 HAS SOUS 12179 HAS SOUPS 11929 WITH SCORE 11941.336
AT ITER 1838 NEW BEST:: SOT 56311 SOS 12350 HAS SOPS 12100 HAS SOUS 12146 HAS SOUPS 11896 WITH SCORE 11908.35
AT ITER 1845 NEW BEST:: SOT 56306 SOS 12341 HAS SOPS 12091 HAS SOUS 12139 HAS SOUPS 11889 WITH SCORE 11901.341
AT ITER 1869 NEW BEST:: SOT 56314 SOS 12326 HAS SOPS 12076 HAS SOUS 12124 HAS SOUPS 11874 WITH SCORE 11886.326
AT ITER 1873 NEW BEST:: SOT 56314 SOS 12322 HAS SOPS 12072 HAS SOUS 12120 HAS SOUPS 11870 WITH SCORE 11882.322
AT ITER 1879 NEW BEST:: SOT 56293 SOS 12275 HAS SOPS 12025 HAS SOUS 12079 HAS SOUPS 11829 WITH SCORE 11841.275
AT ITER 1932 NEW BEST:: SOT 56212 SOS 12197 HAS SOPS 11947 HAS SOUS 12001 HAS SOUPS 11751 WITH SCORE 11763.197
AT ITER 1978 NEW BEST:: SOT 56203 SOS 12122 HAS SOPS 11872 HAS SOUS 11926 HAS SOUPS 11676 WITH SCORE 11688.122
AT ITER 1987 NEW BEST:: SOT 56199 SOS 12112 HAS SOPS 11862 HAS SOUS 11918 HAS SOUPS 11668 WITH SCORE 11680.112
AT ITER 2015 NEW BEST:: SOT 56199 SOS 12082 HAS SOPS 11832 HAS SOUS 11888 HAS SOUPS 11638 WITH SCORE 11650.082
AT ITER 2023 NEW BEST:: SOT 56196 SOS 12070 HAS SOPS 11820 HAS SOUS 11863 HAS SOUPS 11613 WITH SCORE 11625.07
AT ITER 2051 NEW BEST:: SOT 56166 SOS 12022 HAS SOPS 11772 HAS SOUS 11815 HAS SOUPS 11565 WITH SCORE 11577.022
AT ITER 2059 NEW BEST:: SOT 56166 SOS 11998 HAS SOPS 11748 HAS SOUS 11791 HAS SOUPS 11541 WITH SCORE 11552.998
AT ITER 2080 NEW BEST:: SOT 56165 SOS 11994 HAS SOPS 11744 HAS SOUS 11788 HAS SOUPS 11538 WITH SCORE 11549.994
AT ITER 2082 NEW BEST:: SOT 56164 SOS 11991 HAS SOPS 11741 HAS SOUS 11785 HAS SOUPS 11535 WITH SCORE 11546.991
AT ITER 2089 NEW BEST:: SOT 56130 SOS 11940 HAS SOPS 11690 HAS SOUS 11717 HAS SOUPS 11467 WITH SCORE 11478.94
AT ITER 2098 NEW BEST:: SOT 56120 SOS 11857 HAS SOPS 11607 HAS SOUS 11644 HAS SOUPS 11394 WITH SCORE 11405.857
AT ITER 2126 NEW BEST:: SOT 56116 SOS 11849 HAS SOPS 11599 HAS SOUS 11640 HAS SOUPS 11390 WITH SCORE 11401.849
AT ITER 2128 NEW BEST:: SOT 56021 SOS 11747 HAS SOPS 11497 HAS SOUS 11538 HAS SOUPS 11288 WITH SCORE 11299.747
AT ITER 2133 NEW BEST:: SOT 56011 SOS 11735 HAS SOPS 11485 HAS SOUS 11526 HAS SOUPS 11276 WITH SCORE 11287.735
AT ITER 2136 NEW BEST:: SOT 56006 SOS 11724 HAS SOPS 11474 HAS SOUS 11515 HAS SOUPS 11265 WITH SCORE 11276.724
AT ITER 2157 NEW BEST:: SOT 56002 SOS 11724 HAS SOPS 11474 HAS SOUS 11511 HAS SOUPS 11261 WITH SCORE 11272.724
AT ITER 2160 NEW BEST:: SOT 55995 SOS 11687 HAS SOPS 11437 HAS SOUS 11474 HAS SOUPS 11224 WITH SCORE 11235.687
AT ITER 2164 NEW BEST:: SOT 55959 SOS 11639 HAS SOPS 11389 HAS SOUS 11426 HAS SOUPS 11176 WITH SCORE 11187.639
AT ITER 2175 NEW BEST:: SOT 55935 SOS 11596 HAS SOPS 11346 HAS SOUS 11383 HAS SOUPS 11133 WITH SCORE 11144.596
AT ITER 2180 NEW BEST:: SOT 55934 SOS 11587 HAS SOPS 11337 HAS SOUS 11374 HAS SOUPS 11124 WITH SCORE 11135.587
AT ITER 2202 NEW BEST:: SOT 55920 SOS 11504 HAS SOPS 11254 HAS SOUS 11368 HAS SOUPS 11118 WITH SCORE 11129.504
AT ITER 2203 NEW BEST:: SOT 55864 SOS 11401 HAS SOPS 11151 HAS SOUS 11256 HAS SOUPS 11006 WITH SCORE 11017.401
AT ITER 2209 NEW BEST:: SOT 55835 SOS 11386 HAS SOPS 11136 HAS SOUS 11241 HAS SOUPS 10991 WITH SCORE 11002.386
AT ITER 2220 NEW BEST:: SOT 55832 SOS 11374 HAS SOPS 11124 HAS SOUS 11232 HAS SOUPS 10982 WITH SCORE 10993.374
AT ITER 2226 NEW BEST:: SOT 55780 SOS 11294 HAS SOPS 11044 HAS SOUS 11152 HAS SOUPS 10902 WITH SCORE 10913.294
AT ITER 2227 NEW BEST:: SOT 55772 SOS 11243 HAS SOPS 10993 HAS SOUS 11101 HAS SOUPS 10851 WITH SCORE 10862.243
AT ITER 2238 NEW BEST:: SOT 55768 SOS 11239 HAS SOPS 10989 HAS SOUS 11097 HAS SOUPS 10847 WITH SCORE 10858.239
AT ITER 2247 NEW BEST:: SOT 55769 SOS 11237 HAS SOPS 10987 HAS SOUS 11095 HAS SOUPS 10845 WITH SCORE 10856.237
AT ITER 2255 NEW BEST:: SOT 55747 SOS 11193 HAS SOPS 10943 HAS SOUS 11051 HAS SOUPS 10801 WITH SCORE 10812.193
AT ITER 2281 NEW BEST:: SOT 55745 SOS 11188 HAS SOPS 10938 HAS SOUS 11046 HAS SOUPS 10796 WITH SCORE 10807.188
AT ITER 2320 NEW BEST:: SOT 55753 SOS 11183 HAS SOPS 10933 HAS SOUS 11041 HAS SOUPS 10791 WITH SCORE 10802.183
AT ITER 2331 NEW BEST:: SOT 55717 SOS 11145 HAS SOPS 10895 HAS SOUS 11003 HAS SOUPS 10753 WITH SCORE 10764.145
AT ITER 2336 NEW BEST:: SOT 55696 SOS 11108 HAS SOPS 10858 HAS SOUS 10966 HAS SOUPS 10716 WITH SCORE 10727.108
AT ITER 2340 NEW BEST:: SOT 55590 SOS 10962 HAS SOPS 10712 HAS SOUS 10793 HAS SOUPS 10543 WITH SCORE 10553.962
AT ITER 2348 NEW BEST:: SOT 55588 SOS 10958 HAS SOPS 10708 HAS SOUS 10789 HAS SOUPS 10539 WITH SCORE 10549.958
AT ITER 2358 NEW BEST:: SOT 55570 SOS 10936 HAS SOPS 10686 HAS SOUS 10767 HAS SOUPS 10517 WITH SCORE 10527.936
AT ITER 2360 NEW BEST:: SOT 55487 SOS 10827 HAS SOPS 10577 HAS SOUS 10658 HAS SOUPS 10408 WITH SCORE 10418.827
AT ITER 2386 NEW BEST:: SOT 55490 SOS 10826 HAS SOPS 10576 HAS SOUS 10657 HAS SOUPS 10407 WITH SCORE 10417.826
AT ITER 2411 NEW BEST:: SOT 55482 SOS 10814 HAS SOPS 10564 HAS SOUS 10645 HAS SOUPS 10395 WITH SCORE 10405.814
AT ITER 2416 NEW BEST:: SOT 55480 SOS 10809 HAS SOPS 10559 HAS SOUS 10640 HAS SOUPS 10390 WITH SCORE 10400.809
AT ITER 2448 NEW BEST:: SOT 55447 SOS 10721 HAS SOPS 10471 HAS SOUS 10552 HAS SOUPS 10302 WITH SCORE 10312.721
AT ITER 2454 NEW BEST:: SOT 55424 SOS 10703 HAS SOPS 10453 HAS SOUS 10533 HAS SOUPS 10283 WITH SCORE 10293.703
AT ITER 2456 NEW BEST:: SOT 55363 SOS 10589 HAS SOPS 10339 HAS SOUS 10416 HAS SOUPS 10166 WITH SCORE 10176.589
AT ITER 2499 NEW BEST:: SOT 55351 SOS 10545 HAS SOPS 10295 HAS SOUS 10372 HAS SOUPS 10122 WITH SCORE 10132.545
AT ITER 2504 NEW BEST:: SOT 55345 SOS 10539 HAS SOPS 10289 HAS SOUS 10372 HAS SOUPS 10122 WITH SCORE 10132.539
AT ITER 2524 NEW BEST:: SOT 55382 SOS 10498 HAS SOPS 10248 HAS SOUS 10335 HAS SOUPS 10085 WITH SCORE 10095.498
AT ITER 2527 NEW BEST:: SOT 55332 SOS 10373 HAS SOPS 10123 HAS SOUS 10215 HAS SOUPS 9965 WITH SCORE 9975.373
AT ITER 2562 NEW BEST:: SOT 55323 SOS 10356 HAS SOPS 10106 HAS SOUS 10198 HAS SOUPS 9948 WITH SCORE 9958.356
AT ITER 2570 NEW BEST:: SOT 55247 SOS 10120 HAS SOPS 9870 HAS SOUS 9962 HAS SOUPS 9712 WITH SCORE 9722.12
AT ITER 2596 NEW BEST:: SOT 55250 SOS 10094 HAS SOPS 9844 HAS SOUS 9936 HAS SOUPS 9686 WITH SCORE 9696.094
AT ITER 2610 NEW BEST:: SOT 55246 SOS 10086 HAS SOPS 9836 HAS SOUS 9928 HAS SOUPS 9678 WITH SCORE 9688.086
AT ITER 2613 NEW BEST:: SOT 55271 SOS 10075 HAS SOPS 9825 HAS SOUS 9917 HAS SOUPS 9667 WITH SCORE 9677.075
AT ITER 2615 NEW BEST:: SOT 55269 SOS 10077 HAS SOPS 9827 HAS SOUS 9916 HAS SOUPS 9666 WITH SCORE 9676.077
AT ITER 2659 NEW BEST:: SOT 55267 SOS 10073 HAS SOPS 9823 HAS SOUS 9912 HAS SOUPS 9662 WITH SCORE 9672.073
AT ITER 2663 NEW BEST:: SOT 55229 SOS 9989 HAS SOPS 9739 HAS SOUS 9826 HAS SOUPS 9576 WITH SCORE 9585.989
AT ITER 2699 NEW BEST:: SOT 55153 SOS 9969 HAS SOPS 9719 HAS SOUS 9806 HAS SOUPS 9556 WITH SCORE 9565.969
AT ITER 2706 NEW BEST:: SOT 55138 SOS 9944 HAS SOPS 9694 HAS SOUS 9781 HAS SOUPS 9531 WITH SCORE 9540.944
AT ITER 2734 NEW BEST:: SOT 55047 SOS 9780 HAS SOPS 9530 HAS SOUS 9617 HAS SOUPS 9367 WITH SCORE 9376.78
AT ITER 2750 NEW BEST:: SOT 55061 SOS 9752 HAS SOPS 9502 HAS SOUS 9604 HAS SOUPS 9354 WITH SCORE 9363.752
AT ITER 2811 NEW BEST:: SOT 55059 SOS 9744 HAS SOPS 9494 HAS SOUS 9598 HAS SOUPS 9348 WITH SCORE 9357.744
AT ITER 2866 NEW BEST:: SOT 55005 SOS 9656 HAS SOPS 9406 HAS SOUS 9510 HAS SOUPS 9260 WITH SCORE 9269.656
AT ITER 2872 NEW BEST:: SOT 55016 SOS 9626 HAS SOPS 9376 HAS SOUS 9470 HAS SOUPS 9220 WITH SCORE 9229.626
AT ITER 2886 NEW BEST:: SOT 55000 SOS 9588 HAS SOPS 9338 HAS SOUS 9432 HAS SOUPS 9182 WITH SCORE 9191.588
AT ITER 2888 NEW BEST:: SOT 54999 SOS 9584 HAS SOPS 9334 HAS SOUS 9428 HAS SOUPS 9178 WITH SCORE 9187.584
AT ITER 2911 NEW BEST:: SOT 54996 SOS 9580 HAS SOPS 9330 HAS SOUS 9424 HAS SOUPS 9174 WITH SCORE 9183.58
AT ITER 2921 NEW BEST:: SOT 54993 SOS 9563 HAS SOPS 9313 HAS SOUS 9407 HAS SOUPS 9157 WITH SCORE 9166.563
AT ITER 2941 NEW BEST:: SOT 54969 SOS 9541 HAS SOPS 9291 HAS SOUS 9385 HAS SOUPS 9135 WITH SCORE 9144.541
AT ITER 2969 NEW BEST:: SOT 54966 SOS 9532 HAS SOPS 9282 HAS SOUS 9379 HAS SOUPS 9129 WITH SCORE 9138.532
AT ITER 2982 NEW BEST:: SOT 54949 SOS 9503 HAS SOPS 9253 HAS SOUS 9341 HAS SOUPS 9091 WITH SCORE 9100.503
AT ITER 2990 NEW BEST:: SOT 54905 SOS 9494 HAS SOPS 9244 HAS SOUS 9332 HAS SOUPS 9082 WITH SCORE 9091.494
AT ITER 3021 NEW BEST:: SOT 54903 SOS 9490 HAS SOPS 9240 HAS SOUS 9329 HAS SOUPS 9079 WITH SCORE 9088.49
AT ITER 3057 NEW BEST:: SOT 54904 SOS 9458 HAS SOPS 9208 HAS SOUS 9297 HAS SOUPS 9047 WITH SCORE 9056.458
AT ITER 3073 NEW BEST:: SOT 54867 SOS 9424 HAS SOPS 9174 HAS SOUS 9263 HAS SOUPS 9013 WITH SCORE 9022.424
AT ITER 3075 NEW BEST:: SOT 54845 SOS 9400 HAS SOPS 9150 HAS SOUS 9239 HAS SOUPS 8989 WITH SCORE 8998.4
AT ITER 3089 NEW BEST:: SOT 54839 SOS 9391 HAS SOPS 9141 HAS SOUS 9230 HAS SOUPS 8980 WITH SCORE 8989.391
AT ITER 3093 NEW BEST:: SOT 54831 SOS 9381 HAS SOPS 9131 HAS SOUS 9220 HAS SOUPS 8970 WITH SCORE 8979.381
AT ITER 3124 NEW BEST:: SOT 54804 SOS 9336 HAS SOPS 9086 HAS SOUS 9175 HAS SOUPS 8925 WITH SCORE 8934.336
AT ITER 3137 NEW BEST:: SOT 54755 SOS 9274 HAS SOPS 9024 HAS SOUS 9103 HAS SOUPS 8853 WITH SCORE 8862.274
AT ITER 3186 NEW BEST:: SOT 54732 SOS 9240 HAS SOPS 8990 HAS SOUS 9054 HAS SOUPS 8804 WITH SCORE 8813.24
AT ITER 3202 NEW BEST:: SOT 54703 SOS 9122 HAS SOPS 8872 HAS SOUS 8936 HAS SOUPS 8686 WITH SCORE 8695.122
AT ITER 3228 NEW BEST:: SOT 54703 SOS 9113 HAS SOPS 8863 HAS SOUS 8929 HAS SOUPS 8679 WITH SCORE 8688.113
AT ITER 3246 NEW BEST:: SOT 54715 SOS 9086 HAS SOPS 8836 HAS SOUS 8903 HAS SOUPS 8653 WITH SCORE 8662.086
AT ITER 3250 NEW BEST:: SOT 54709 SOS 9083 HAS SOPS 8833 HAS SOUS 8900 HAS SOUPS 8650 WITH SCORE 8659.083
AT ITER 3312 NEW BEST:: SOT 54703 SOS 9069 HAS SOPS 8819 HAS SOUS 8886 HAS SOUPS 8636 WITH SCORE 8645.069
AT ITER 3328 NEW BEST:: SOT 54701 SOS 9047 HAS SOPS 8797 HAS SOUS 8864 HAS SOUPS 8614 WITH SCORE 8623.047
AT ITER 3341 NEW BEST:: SOT 54691 SOS 9031 HAS SOPS 8781 HAS SOUS 8834 HAS SOUPS 8584 WITH SCORE 8593.031
AT ITER 3344 NEW BEST:: SOT 54611 SOS 8895 HAS SOPS 8645 HAS SOUS 8698 HAS SOUPS 8448 WITH SCORE 8456.895
AT ITER 3365 NEW BEST:: SOT 54606 SOS 8891 HAS SOPS 8641 HAS SOUS 8694 HAS SOUPS 8444 WITH SCORE 8452.891
AT ITER 3377 NEW BEST:: SOT 54590 SOS 8883 HAS SOPS 8633 HAS SOUS 8686 HAS SOUPS 8436 WITH SCORE 8444.883
AT ITER 3379 NEW BEST:: SOT 54572 SOS 8854 HAS SOPS 8604 HAS SOUS 8657 HAS SOUPS 8407 WITH SCORE 8415.854
AT ITER 3381 NEW BEST:: SOT 54572 SOS 8833 HAS SOPS 8583 HAS SOUS 8643 HAS SOUPS 8393 WITH SCORE 8401.833
AT ITER 3404 NEW BEST:: SOT 54557 SOS 8824 HAS SOPS 8574 HAS SOUS 8634 HAS SOUPS 8384 WITH SCORE 8392.824
AT ITER 3415 NEW BEST:: SOT 54541 SOS 8807 HAS SOPS 8557 HAS SOUS 8617 HAS SOUPS 8367 WITH SCORE 8375.807
AT ITER 3462 NEW BEST:: SOT 54498 SOS 8688 HAS SOPS 8438 HAS SOUS 8489 HAS SOUPS 8239 WITH SCORE 8247.688
AT ITER 3469 NEW BEST:: SOT 54478 SOS 8630 HAS SOPS 8380 HAS SOUS 8451 HAS SOUPS 8201 WITH SCORE 8209.63
AT ITER 3476 NEW BEST:: SOT 54476 SOS 8623 HAS SOPS 8373 HAS SOUS 8446 HAS SOUPS 8196 WITH SCORE 8204.623
AT ITER 3528 NEW BEST:: SOT 54463 SOS 8577 HAS SOPS 8327 HAS SOUS 8423 HAS SOUPS 8173 WITH SCORE 8181.577
AT ITER 3556 NEW BEST:: SOT 54455 SOS 8557 HAS SOPS 8307 HAS SOUS 8403 HAS SOUPS 8153 WITH SCORE 8161.557
AT ITER 3575 NEW BEST:: SOT 54411 SOS 8446 HAS SOPS 8196 HAS SOUS 8310 HAS SOUPS 8060 WITH SCORE 8068.446
AT ITER 3586 NEW BEST:: SOT 54402 SOS 8418 HAS SOPS 8168 HAS SOUS 8282 HAS SOUPS 8032 WITH SCORE 8040.418
AT ITER 3592 NEW BEST:: SOT 54324 SOS 8340 HAS SOPS 8090 HAS SOUS 8204 HAS SOUPS 7954 WITH SCORE 7962.34
AT ITER 3610 NEW BEST:: SOT 54303 SOS 8305 HAS SOPS 8055 HAS SOUS 8176 HAS SOUPS 7926 WITH SCORE 7934.305
AT ITER 3612 NEW BEST:: SOT 54271 SOS 8205 HAS SOPS 7955 HAS SOUS 8089 HAS SOUPS 7839 WITH SCORE 7847.205
AT ITER 3627 NEW BEST:: SOT 54271 SOS 8205 HAS SOPS 7955 HAS SOUS 8088 HAS SOUPS 7838 WITH SCORE 7846.205
AT ITER 3631 NEW BEST:: SOT 54273 SOS 8184 HAS SOPS 7934 HAS SOUS 8067 HAS SOUPS 7817 WITH SCORE 7825.184
AT ITER 3650 NEW BEST:: SOT 54256 SOS 8162 HAS SOPS 7912 HAS SOUS 8045 HAS SOUPS 7795 WITH SCORE 7803.162
AT ITER 3681 NEW BEST:: SOT 54230 SOS 8129 HAS SOPS 7879 HAS SOUS 8022 HAS SOUPS 7772 WITH SCORE 7780.129
AT ITER 3716 NEW BEST:: SOT 54194 SOS 8081 HAS SOPS 7831 HAS SOUS 7974 HAS SOUPS 7724 WITH SCORE 7732.081
AT ITER 3729 NEW BEST:: SOT 54170 SOS 8054 HAS SOPS 7804 HAS SOUS 7947 HAS SOUPS 7697 WITH SCORE 7705.054
AT ITER 3819 NEW BEST:: SOT 54162 SOS 8042 HAS SOPS 7792 HAS SOUS 7935 HAS SOUPS 7685 WITH SCORE 7693.042
AT ITER 3823 NEW BEST:: SOT 54161 SOS 8039 HAS SOPS 7789 HAS SOUS 7932 HAS SOUPS 7682 WITH SCORE 7690.039
AT ITER 3827 NEW BEST:: SOT 54158 SOS 8030 HAS SOPS 7780 HAS SOUS 7923 HAS SOUPS 7673 WITH SCORE 7681.03
AT ITER 3834 NEW BEST:: SOT 54150 SOS 8008 HAS SOPS 7758 HAS SOUS 7901 HAS SOUPS 7651 WITH SCORE 7659.008
AT ITER 3868 NEW BEST:: SOT 54146 SOS 7989 HAS SOPS 7739 HAS SOUS 7881 HAS SOUPS 7631 WITH SCORE 7638.989
AT ITER 3887 NEW BEST:: SOT 54142 SOS 7963 HAS SOPS 7713 HAS SOUS 7849 HAS SOUPS 7599 WITH SCORE 7606.963
AT ITER 3910 NEW BEST:: SOT 54142 SOS 7961 HAS SOPS 7711 HAS SOUS 7847 HAS SOUPS 7597 WITH SCORE 7604.961
AT ITER 3912 NEW BEST:: SOT 54140 SOS 7953 HAS SOPS 7703 HAS SOUS 7844 HAS SOUPS 7594 WITH SCORE 7601.953
AT ITER 3934 NEW BEST:: SOT 54143 SOS 7952 HAS SOPS 7702 HAS SOUS 7843 HAS SOUPS 7593 WITH SCORE 7600.952
AT ITER 3942 NEW BEST:: SOT 54141 SOS 7950 HAS SOPS 7700 HAS SOUS 7841 HAS SOUPS 7591 WITH SCORE 7598.95
AT ITER 3963 NEW BEST:: SOT 54131 SOS 7952 HAS SOPS 7702 HAS SOUS 7839 HAS SOUPS 7589 WITH SCORE 7596.952
AT ITER 3985 NEW BEST:: SOT 54180 SOS 7948 HAS SOPS 7698 HAS SOUS 7826 HAS SOUPS 7576 WITH SCORE 7583.948
AT ITER 3987 NEW BEST:: SOT 54169 SOS 7932 HAS SOPS 7682 HAS SOUS 7810 HAS SOUPS 7560 WITH SCORE 7567.932
AT ITER 4036 NEW BEST:: SOT 54163 SOS 7908 HAS SOPS 7658 HAS SOUS 7792 HAS SOUPS 7542 WITH SCORE 7549.908
AT ITER 4041 NEW BEST:: SOT 54154 SOS 7882 HAS SOPS 7632 HAS SOUS 7770 HAS SOUPS 7520 WITH SCORE 7527.882
AT ITER 4075 NEW BEST:: SOT 54090 SOS 7743 HAS SOPS 7493 HAS SOUS 7631 HAS SOUPS 7381 WITH SCORE 7388.743
AT ITER 4141 NEW BEST:: SOT 54092 SOS 7714 HAS SOPS 7464 HAS SOUS 7602 HAS SOUPS 7352 WITH SCORE 7359.714
AT ITER 4155 NEW BEST:: SOT 53984 SOS 7632 HAS SOPS 7382 HAS SOUS 7541 HAS SOUPS 7291 WITH SCORE 7298.632
AT ITER 4179 NEW BEST:: SOT 53982 SOS 7624 HAS SOPS 7374 HAS SOUS 7533 HAS SOUPS 7283 WITH SCORE 7290.624
AT ITER 4263 NEW BEST:: SOT 53970 SOS 7595 HAS SOPS 7345 HAS SOUS 7506 HAS SOUPS 7256 WITH SCORE 7263.595
AT ITER 4269 NEW BEST:: SOT 53964 SOS 7586 HAS SOPS 7336 HAS SOUS 7497 HAS SOUPS 7247 WITH SCORE 7254.586
AT ITER 4300 NEW BEST:: SOT 53956 SOS 7548 HAS SOPS 7298 HAS SOUS 7468 HAS SOUPS 7218 WITH SCORE 7225.548
AT ITER 4309 NEW BEST:: SOT 53956 SOS 7544 HAS SOPS 7294 HAS SOUS 7464 HAS SOUPS 7214 WITH SCORE 7221.544
AT ITER 4348 NEW BEST:: SOT 53953 SOS 7541 HAS SOPS 7291 HAS SOUS 7461 HAS SOUPS 7211 WITH SCORE 7218.541
AT ITER 4349 NEW BEST:: SOT 53929 SOS 7530 HAS SOPS 7280 HAS SOUS 7450 HAS SOUPS 7200 WITH SCORE 7207.53
AT ITER 4359 NEW BEST:: SOT 53929 SOS 7516 HAS SOPS 7266 HAS SOUS 7437 HAS SOUPS 7187 WITH SCORE 7194.516
AT ITER 4366 NEW BEST:: SOT 53922 SOS 7512 HAS SOPS 7262 HAS SOUS 7433 HAS SOUPS 7183 WITH SCORE 7190.512
AT ITER 4372 NEW BEST:: SOT 53914 SOS 7505 HAS SOPS 7255 HAS SOUS 7416 HAS SOUPS 7166 WITH SCORE 7173.505
AT ITER 4389 NEW BEST:: SOT 53879 SOS 7413 HAS SOPS 7163 HAS SOUS 7322 HAS SOUPS 7072 WITH SCORE 7079.413
AT ITER 4437 NEW BEST:: SOT 53875 SOS 7401 HAS SOPS 7151 HAS SOUS 7310 HAS SOUPS 7060 WITH SCORE 7067.401
AT ITER 4505 NEW BEST:: SOT 53875 SOS 7394 HAS SOPS 7144 HAS SOUS 7310 HAS SOUPS 7060 WITH SCORE 7067.394
AT ITER 4517 NEW BEST:: SOT 53863 SOS 7373 HAS SOPS 7123 HAS SOUS 7290 HAS SOUPS 7040 WITH SCORE 7047.373
AT ITER 4548 NEW BEST:: SOT 53863 SOS 7371 HAS SOPS 7121 HAS SOUS 7288 HAS SOUPS 7038 WITH SCORE 7045.371
AT ITER 4549 NEW BEST:: SOT 53859 SOS 7355 HAS SOPS 7105 HAS SOUS 7276 HAS SOUPS 7026 WITH SCORE 7033.355
AT ITER 4565 NEW BEST:: SOT 53847 SOS 7327 HAS SOPS 7077 HAS SOUS 7248 HAS SOUPS 6998 WITH SCORE 7005.327
AT ITER 4582 NEW BEST:: SOT 53829 SOS 7307 HAS SOPS 7057 HAS SOUS 7223 HAS SOUPS 6973 WITH SCORE 6980.307
AT ITER 4595 NEW BEST:: SOT 53804 SOS 7259 HAS SOPS 7009 HAS SOUS 7170 HAS SOUPS 6920 WITH SCORE 6927.259
AT ITER 4685 NEW BEST:: SOT 53812 SOS 7256 HAS SOPS 7006 HAS SOUS 7158 HAS SOUPS 6908 WITH SCORE 6915.256
AT ITER 4714 NEW BEST:: SOT 53829 SOS 7248 HAS SOPS 6998 HAS SOUS 7131 HAS SOUPS 6881 WITH SCORE 6888.248
AT ITER 4744 NEW BEST:: SOT 53812 SOS 7224 HAS SOPS 6974 HAS SOUS 7107 HAS SOUPS 6857 WITH SCORE 6864.224
AT ITER 4842 NEW BEST:: SOT 53813 SOS 7229 HAS SOPS 6979 HAS SOUS 7099 HAS SOUPS 6849 WITH SCORE 6856.229
AT ITER 4851 NEW BEST:: SOT 53813 SOS 7219 HAS SOPS 6969 HAS SOUS 7089 HAS SOUPS 6839 WITH SCORE 6846.219
AT ITER 4881 NEW BEST:: SOT 53799 SOS 7183 HAS SOPS 6933 HAS SOUS 7059 HAS SOUPS 6809 WITH SCORE 6816.183
AT ITER 4892 NEW BEST:: SOT 53799 SOS 7163 HAS SOPS 6913 HAS SOUS 7038 HAS SOUPS 6788 WITH SCORE 6795.163
AT ITER 4934 NEW BEST:: SOT 53783 SOS 7139 HAS SOPS 6889 HAS SOUS 7016 HAS SOUPS 6766 WITH SCORE 6773.139
AT ITER 4938 NEW BEST:: SOT 53733 SOS 7061 HAS SOPS 6811 HAS SOUS 6930 HAS SOUPS 6680 WITH SCORE 6687.061
AT ITER 4956 NEW BEST:: SOT 53691 SOS 6985 HAS SOPS 6735 HAS SOUS 6854 HAS SOUPS 6604 WITH SCORE 6610.985
AT ITER 4976 NEW BEST:: SOT 53677 SOS 6957 HAS SOPS 6707 HAS SOUS 6826 HAS SOUPS 6576 WITH SCORE 6582.957
AT ITER 4996 NEW BEST:: SOT 53656 SOS 6929 HAS SOPS 6679 HAS SOUS 6798 HAS SOUPS 6548 WITH SCORE 6554.929
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: JoinFreeModules-PT-0050-CTLCardinality-00 (AF(( potential( (tk(P197)) <= (tk(P243)) ) & potential( ( 3 ) <= (tk(P139)) ) )))
PROPERTY: JoinFreeModules-PT-0050-CTLCardinality-01 ( ( ( (! potential( ( 2 ) <= (tk(P117)) )) & (! potential( ( 2 ) <= (tk(P66)) )) ) | (! (EG( potential( (tk(P155)) <= (tk(P237)) )))) ) | (! ( (AG( potential( ( 3 ) <= (tk(P138)) ))) | potential( ( 1 ) <= (tk(P49)) ) )) )
PROPERTY: JoinFreeModules-PT-0050-CTLCardinality-02 (EG( (AG( (! potential( ( 3 ) <= (tk(P98)) ))))))
PROPERTY: JoinFreeModules-PT-0050-CTLCardinality-03 (AG( ( ( potential( (tk(P1)) <= (tk(P83)) ) | potential( ( 1 ) <= (tk(P101)) ) ) | potential( (tk(P80)) <= (tk(P174)) ) )))
PROPERTY: JoinFreeModules-PT-0050-CTLCardinality-04 (EX( (AF(potential( (tk(P129)) <= (tk(P30)) )))))
PROPERTY: JoinFreeModules-PT-0050-CTLCardinality-05 ( (! (AG( ( potential( ( 2 ) <= (tk(P187)) ) | potential( ( 2 ) <= (tk(P107)) ) )))) & (AF(( potential( (tk(P24)) <= (tk(P156)) ) | ( potential( ( 1 ) <= (tk(P193)) ) | potential( ( 1 ) <= (tk(P211)) ) ) ))) )
PROPERTY: JoinFreeModules-PT-0050-CTLCardinality-06 ( ( ( ( ( potential( (tk(P112)) <= (tk(P123)) ) | potential( ( 2 ) <= (tk(P162)) ) ) & ( potential( (tk(P43)) <= (tk(P192)) ) | potential( (tk(P45)) <= (tk(P180)) ) ) ) & ( ( potential( ( 3 ) <= (tk(P180)) ) | potential( (tk(P30)) <= (tk(P137)) ) ) & ( potential( ( 2 ) <= (tk(P13)) ) & potential( ( 3 ) <= (tk(P191)) ) ) ) ) | ( (AF(potential( (tk(P162)) <= (tk(P20)) ))) | potential( ( 3 ) <= (tk(P221)) ) ) ) | (AX( ( ( potential( (tk(P120)) <= (tk(P151)) ) & potential( (tk(P23)) <= (tk(P115)) ) ) | potential( ( 3 ) <= (tk(P51)) ) ))) )
PROPERTY: JoinFreeModules-PT-0050-CTLCardinality-07 (! ( (EU( potential( ( 1 ) <= (tk(P165)) ),potential( ( 1 ) <= (tk(P92)) ) )) & (EG( ( potential( ( 3 ) <= (tk(P42)) ) | potential( (tk(P125)) <= (tk(P184)) ) ))) ))
PROPERTY: JoinFreeModules-PT-0050-CTLCardinality-08 ( ( ( potential( ( 2 ) <= (tk(P127)) ) & ( (! potential( (tk(P177)) <= (tk(P35)) )) | potential( ( 1 ) <= (tk(P123)) ) ) ) & (AF((! potential( (tk(P243)) <= (tk(P223)) )))) ) & (EU( (! potential( (tk(P81)) <= (tk(P77)) )),( potential( ( 2 ) <= (tk(P63)) ) | potential( ( 2 ) <= (tk(P172)) ) ) )) )
PROPERTY: JoinFreeModules-PT-0050-CTLCardinality-09 (AX( ( (AG( potential( (tk(P103)) <= (tk(P193)) ))) | (EF(potential( ( 2 ) <= (tk(P76)) ))) )))
PROPERTY: JoinFreeModules-PT-0050-CTLCardinality-10 (EF(( (AX( potential( ( 2 ) <= (tk(P74)) ))) & ( potential( (tk(P179)) <= (tk(P84)) ) & potential( ( 3 ) <= (tk(P15)) ) ) )))
PROPERTY: JoinFreeModules-PT-0050-CTLCardinality-11 (EG( (EX( ( potential( (tk(P183)) <= (tk(P40)) ) | potential( ( 1 ) <= (tk(P105)) ) )))))
PROPERTY: JoinFreeModules-PT-0050-CTLCardinality-12 (AG( ( ( ( potential( ( 3 ) <= (tk(P136)) ) & potential( (tk(P50)) <= (tk(P172)) ) ) | (! potential( ( 2 ) <= (tk(P93)) )) ) | ( potential( (tk(P176)) <= (tk(P62)) ) | ( potential( (tk(P247)) <= (tk(P77)) ) | potential( (tk(P163)) <= (tk(P53)) ) ) ) )))
PROPERTY: JoinFreeModules-PT-0050-CTLCardinality-13 ( (AU( ( potential( ( 2 ) <= (tk(P1)) ) | potential( ( 3 ) <= (tk(P52)) ) ),( potential( ( 3 ) <= (tk(P236)) ) & potential( ( 3 ) <= (tk(P219)) ) ) )) | (AF(potential( (tk(P114)) <= (tk(P166)) ))) )
PROPERTY: JoinFreeModules-PT-0050-CTLCardinality-14 (EF(( ( ( potential( ( 2 ) <= (tk(P78)) ) & potential( (tk(P44)) <= (tk(P101)) ) ) & (! potential( (tk(P190)) <= (tk(P71)) )) ) & potential( (tk(P182)) <= (tk(P245)) ) )))
PROPERTY: JoinFreeModules-PT-0050-CTLCardinality-15 (AU( (EX( potential( ( 1 ) <= (tk(P134)) ))),( ( potential( ( 3 ) <= (tk(P195)) ) | potential( (tk(P1)) <= (tk(P198)) ) ) & potential( (tk(P92)) <= (tk(P43)) ) ) ))

BK_TIME_CONFINEMENT_REACHED

--------------------
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="JoinFreeModules-PT-0050"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is JoinFreeModules-PT-0050, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r093-oct2-158940140500427"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/JoinFreeModules-PT-0050.tgz
mv JoinFreeModules-PT-0050 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;