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-158940140500432.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 StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140500432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 456K
-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 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)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589616962057

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

Filename model.pnml
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 2 NEW BEST:: SOT 70466 SOS 48000 HAS SOPS 47852 HAS SOUS 48000 HAS SOUPS 47852 WITH SCORE 47900.0
AT ITER 5 NEW BEST:: SOT 70383 SOS 47829 HAS SOPS 47681 HAS SOUS 47784 HAS SOUPS 47636 WITH SCORE 47683.829
AT ITER 6 NEW BEST:: SOT 70493 SOS 47760 HAS SOPS 47612 HAS SOUS 47628 HAS SOUPS 47480 WITH SCORE 47527.76
AT ITER 7 NEW BEST:: SOT 70465 SOS 47482 HAS SOPS 47334 HAS SOUS 47437 HAS SOUPS 47289 WITH SCORE 47336.482
AT ITER 8 NEW BEST:: SOT 70313 SOS 47128 HAS SOPS 46914 HAS SOUS 46985 HAS SOUPS 46771 WITH SCORE 46818.128
AT ITER 11 NEW BEST:: SOT 70220 SOS 46830 HAS SOPS 46593 HAS SOUS 46588 HAS SOUPS 46351 WITH SCORE 46397.83
AT ITER 12 NEW BEST:: SOT 70198 SOS 46653 HAS SOPS 46416 HAS SOUS 46411 HAS SOUPS 46174 WITH SCORE 46220.653
AT ITER 13 NEW BEST:: SOT 70177 SOS 46548 HAS SOPS 46311 HAS SOUS 46306 HAS SOUPS 46069 WITH SCORE 46115.548
AT ITER 14 NEW BEST:: SOT 70063 SOS 46237 HAS SOPS 46000 HAS SOUS 45995 HAS SOUPS 45758 WITH SCORE 45804.237
AT ITER 16 NEW BEST:: SOT 69912 SOS 45933 HAS SOPS 45696 HAS SOUS 45642 HAS SOUPS 45405 WITH SCORE 45450.933
AT ITER 18 NEW BEST:: SOT 69821 SOS 45844 HAS SOPS 45607 HAS SOUS 45553 HAS SOUPS 45316 WITH SCORE 45361.844
AT ITER 19 NEW BEST:: SOT 69805 SOS 45810 HAS SOPS 45573 HAS SOUS 45519 HAS SOUPS 45282 WITH SCORE 45327.81
AT ITER 20 NEW BEST:: SOT 69589 SOS 45294 HAS SOPS 45057 HAS SOUS 44903 HAS SOUPS 44666 WITH SCORE 44711.294
AT ITER 21 NEW BEST:: SOT 69532 SOS 45141 HAS SOPS 44904 HAS SOUS 44750 HAS SOUPS 44513 WITH SCORE 44558.141
AT ITER 23 NEW BEST:: SOT 69534 SOS 45065 HAS SOPS 44828 HAS SOUS 44658 HAS SOUPS 44421 WITH SCORE 44466.065
AT ITER 24 NEW BEST:: SOT 69532 SOS 45013 HAS SOPS 44776 HAS SOUS 44606 HAS SOUPS 44369 WITH SCORE 44414.013
AT ITER 25 NEW BEST:: SOT 69498 SOS 44979 HAS SOPS 44742 HAS SOUS 44572 HAS SOUPS 44335 WITH SCORE 44379.979
AT ITER 26 NEW BEST:: SOT 69422 SOS 44931 HAS SOPS 44694 HAS SOUS 44524 HAS SOUPS 44287 WITH SCORE 44331.931
AT ITER 27 NEW BEST:: SOT 69322 SOS 44838 HAS SOPS 44601 HAS SOUS 44431 HAS SOUPS 44194 WITH SCORE 44238.838
AT ITER 28 NEW BEST:: SOT 69367 SOS 44793 HAS SOPS 44556 HAS SOUS 44386 HAS SOUPS 44149 WITH SCORE 44193.793
AT ITER 31 NEW BEST:: SOT 69188 SOS 44365 HAS SOPS 44128 HAS SOUS 43918 HAS SOUPS 43681 WITH SCORE 43725.365
AT ITER 33 NEW BEST:: SOT 69251 SOS 44289 HAS SOPS 44052 HAS SOUS 43788 HAS SOUPS 43551 WITH SCORE 43595.289
AT ITER 35 NEW BEST:: SOT 69115 SOS 44153 HAS SOPS 43916 HAS SOUS 43652 HAS SOUPS 43415 WITH SCORE 43459.153
AT ITER 36 NEW BEST:: SOT 68986 SOS 44097 HAS SOPS 43860 HAS SOUS 43596 HAS SOUPS 43359 WITH SCORE 43403.097
AT ITER 37 NEW BEST:: SOT 68859 SOS 43817 HAS SOPS 43580 HAS SOUS 43291 HAS SOUPS 43054 WITH SCORE 43097.817
AT ITER 39 NEW BEST:: SOT 68703 SOS 43610 HAS SOPS 43373 HAS SOUS 43084 HAS SOUPS 42847 WITH SCORE 42890.61
AT ITER 42 NEW BEST:: SOT 68648 SOS 43459 HAS SOPS 43222 HAS SOUS 42933 HAS SOUPS 42696 WITH SCORE 42739.459
AT ITER 43 NEW BEST:: SOT 68463 SOS 43044 HAS SOPS 42807 HAS SOUS 42518 HAS SOUPS 42281 WITH SCORE 42324.044
AT ITER 44 NEW BEST:: SOT 68597 SOS 42987 HAS SOPS 42750 HAS SOUS 42461 HAS SOUPS 42224 WITH SCORE 42266.987
AT ITER 46 NEW BEST:: SOT 68666 SOS 42997 HAS SOPS 42760 HAS SOUS 42430 HAS SOUPS 42193 WITH SCORE 42235.997
AT ITER 52 NEW BEST:: SOT 68628 SOS 42883 HAS SOPS 42646 HAS SOUS 42316 HAS SOUPS 42079 WITH SCORE 42121.883
AT ITER 55 NEW BEST:: SOT 68600 SOS 42855 HAS SOPS 42618 HAS SOUS 42288 HAS SOUPS 42051 WITH SCORE 42093.855
AT ITER 57 NEW BEST:: SOT 68568 SOS 42775 HAS SOPS 42538 HAS SOUS 42208 HAS SOUPS 41971 WITH SCORE 42013.775
AT ITER 59 NEW BEST:: SOT 68480 SOS 42761 HAS SOPS 42524 HAS SOUS 42194 HAS SOUPS 41957 WITH SCORE 41999.761
AT ITER 60 NEW BEST:: SOT 68391 SOS 42523 HAS SOPS 42286 HAS SOUS 41903 HAS SOUPS 41666 WITH SCORE 41708.523
AT ITER 63 NEW BEST:: SOT 68363 SOS 42535 HAS SOPS 42298 HAS SOUS 41816 HAS SOUPS 41579 WITH SCORE 41621.535
AT ITER 67 NEW BEST:: SOT 68315 SOS 42391 HAS SOPS 42154 HAS SOUS 41716 HAS SOUPS 41479 WITH SCORE 41521.391
AT ITER 68 NEW BEST:: SOT 68343 SOS 42209 HAS SOPS 41972 HAS SOUS 41382 HAS SOUPS 41145 WITH SCORE 41187.209
AT ITER 69 NEW BEST:: SOT 68325 SOS 42161 HAS SOPS 41924 HAS SOUS 41289 HAS SOUPS 41052 WITH SCORE 41094.161
AT ITER 71 NEW BEST:: SOT 68325 SOS 42062 HAS SOPS 41825 HAS SOUS 41190 HAS SOUPS 40953 WITH SCORE 40995.062
AT ITER 72 NEW BEST:: SOT 68307 SOS 42044 HAS SOPS 41807 HAS SOUS 41163 HAS SOUPS 40926 WITH SCORE 40968.044
AT ITER 75 NEW BEST:: SOT 68243 SOS 41980 HAS SOPS 41743 HAS SOUS 41099 HAS SOUPS 40862 WITH SCORE 40903.98
AT ITER 76 NEW BEST:: SOT 68157 SOS 41785 HAS SOPS 41548 HAS SOUS 40904 HAS SOUPS 40667 WITH SCORE 40708.785
AT ITER 79 NEW BEST:: SOT 68160 SOS 41672 HAS SOPS 41435 HAS SOUS 40740 HAS SOUPS 40503 WITH SCORE 40544.672
AT ITER 80 NEW BEST:: SOT 68014 SOS 41277 HAS SOPS 41040 HAS SOUS 40329 HAS SOUPS 40092 WITH SCORE 40133.277
AT ITER 82 NEW BEST:: SOT 68018 SOS 41262 HAS SOPS 41025 HAS SOUS 40318 HAS SOUPS 40081 WITH SCORE 40122.262
AT ITER 91 NEW BEST:: SOT 67949 SOS 41097 HAS SOPS 40860 HAS SOUS 40238 HAS SOUPS 40001 WITH SCORE 40042.097
AT ITER 93 NEW BEST:: SOT 67823 SOS 40887 HAS SOPS 40650 HAS SOUS 40218 HAS SOUPS 39981 WITH SCORE 40021.887
AT ITER 94 NEW BEST:: SOT 67875 SOS 40735 HAS SOPS 40498 HAS SOUS 39938 HAS SOUPS 39701 WITH SCORE 39741.735
AT ITER 96 NEW BEST:: SOT 67941 SOS 40411 HAS SOPS 40174 HAS SOUS 39667 HAS SOUPS 39430 WITH SCORE 39470.411
AT ITER 100 NEW BEST:: SOT 67918 SOS 40296 HAS SOPS 40059 HAS SOUS 39552 HAS SOUPS 39315 WITH SCORE 39355.296
AT ITER 101 NEW BEST:: SOT 67628 SOS 39444 HAS SOPS 39202 HAS SOUS 38700 HAS SOUPS 38458 WITH SCORE 38497.444
AT ITER 103 NEW BEST:: SOT 67630 SOS 39240 HAS SOPS 38998 HAS SOUS 38496 HAS SOUPS 38254 WITH SCORE 38293.24
AT ITER 104 NEW BEST:: SOT 67540 SOS 39105 HAS SOPS 38863 HAS SOUS 38361 HAS SOUPS 38119 WITH SCORE 38158.105
AT ITER 107 NEW BEST:: SOT 67498 SOS 38982 HAS SOPS 38740 HAS SOUS 38347 HAS SOUPS 38105 WITH SCORE 38143.982
AT ITER 109 NEW BEST:: SOT 67467 SOS 38886 HAS SOPS 38644 HAS SOUS 38251 HAS SOUPS 38009 WITH SCORE 38047.886
AT ITER 110 NEW BEST:: SOT 67560 SOS 38822 HAS SOPS 38580 HAS SOUS 38182 HAS SOUPS 37940 WITH SCORE 37978.822
AT ITER 111 NEW BEST:: SOT 67543 SOS 38801 HAS SOPS 38559 HAS SOUS 38167 HAS SOUPS 37925 WITH SCORE 37963.801
AT ITER 115 NEW BEST:: SOT 67569 SOS 38731 HAS SOPS 38489 HAS SOUS 38097 HAS SOUPS 37855 WITH SCORE 37893.731
AT ITER 118 NEW BEST:: SOT 67594 SOS 38622 HAS SOPS 38380 HAS SOUS 37906 HAS SOUPS 37664 WITH SCORE 37702.622
AT ITER 119 NEW BEST:: SOT 67573 SOS 38559 HAS SOPS 38317 HAS SOUS 37843 HAS SOUPS 37601 WITH SCORE 37639.559
AT ITER 122 NEW BEST:: SOT 67497 SOS 38483 HAS SOPS 38241 HAS SOUS 37767 HAS SOUPS 37525 WITH SCORE 37563.483
AT ITER 123 NEW BEST:: SOT 67429 SOS 38347 HAS SOPS 38105 HAS SOUS 37665 HAS SOUPS 37423 WITH SCORE 37461.347
AT ITER 127 NEW BEST:: SOT 67396 SOS 38307 HAS SOPS 38065 HAS SOUS 37625 HAS SOUPS 37383 WITH SCORE 37421.307
AT ITER 131 NEW BEST:: SOT 66968 SOS 37484 HAS SOPS 37242 HAS SOUS 36709 HAS SOUPS 36467 WITH SCORE 36504.484
AT ITER 134 NEW BEST:: SOT 66919 SOS 37423 HAS SOPS 37181 HAS SOUS 36648 HAS SOUPS 36406 WITH SCORE 36443.423
AT ITER 135 NEW BEST:: SOT 67018 SOS 37390 HAS SOPS 37148 HAS SOUS 36615 HAS SOUPS 36373 WITH SCORE 36410.39
AT ITER 137 NEW BEST:: SOT 66948 SOS 37330 HAS SOPS 37088 HAS SOUS 36555 HAS SOUPS 36313 WITH SCORE 36350.33
AT ITER 147 NEW BEST:: SOT 66938 SOS 37224 HAS SOPS 36982 HAS SOUS 36449 HAS SOUPS 36207 WITH SCORE 36244.224
AT ITER 149 NEW BEST:: SOT 66888 SOS 37074 HAS SOPS 36832 HAS SOUS 36299 HAS SOUPS 36057 WITH SCORE 36094.074
AT ITER 151 NEW BEST:: SOT 66758 SOS 37061 HAS SOPS 36819 HAS SOUS 36286 HAS SOUPS 36044 WITH SCORE 36081.061
AT ITER 152 NEW BEST:: SOT 66692 SOS 36967 HAS SOPS 36725 HAS SOUS 36192 HAS SOUPS 35950 WITH SCORE 35986.967
AT ITER 155 NEW BEST:: SOT 66650 SOS 36911 HAS SOPS 36669 HAS SOUS 36136 HAS SOUPS 35894 WITH SCORE 35930.911
AT ITER 158 NEW BEST:: SOT 66724 SOS 36889 HAS SOPS 36647 HAS SOUS 36114 HAS SOUPS 35872 WITH SCORE 35908.889
AT ITER 165 NEW BEST:: SOT 66755 SOS 36813 HAS SOPS 36573 HAS SOUS 36038 HAS SOUPS 35798 WITH SCORE 35834.813
AT ITER 166 NEW BEST:: SOT 66708 SOS 36740 HAS SOPS 36500 HAS SOUS 35987 HAS SOUPS 35747 WITH SCORE 35783.74
AT ITER 170 NEW BEST:: SOT 66663 SOS 36560 HAS SOPS 36320 HAS SOUS 35852 HAS SOUPS 35612 WITH SCORE 35648.56
AT ITER 172 NEW BEST:: SOT 66574 SOS 36382 HAS SOPS 36142 HAS SOUS 35674 HAS SOUPS 35434 WITH SCORE 35470.382
AT ITER 173 NEW BEST:: SOT 66565 SOS 36295 HAS SOPS 36055 HAS SOUS 35545 HAS SOUPS 35305 WITH SCORE 35341.295
AT ITER 174 NEW BEST:: SOT 66543 SOS 36207 HAS SOPS 35967 HAS SOUS 35457 HAS SOUPS 35217 WITH SCORE 35253.207
AT ITER 177 NEW BEST:: SOT 66427 SOS 36091 HAS SOPS 35851 HAS SOUS 35341 HAS SOUPS 35101 WITH SCORE 35137.091
AT ITER 181 NEW BEST:: SOT 66427 SOS 35989 HAS SOPS 35740 HAS SOUS 35239 HAS SOUPS 34990 WITH SCORE 35025.989
AT ITER 184 NEW BEST:: SOT 66458 SOS 35577 HAS SOPS 35328 HAS SOUS 34846 HAS SOUPS 34597 WITH SCORE 34632.577
AT ITER 186 NEW BEST:: SOT 66442 SOS 35557 HAS SOPS 35308 HAS SOUS 34826 HAS SOUPS 34577 WITH SCORE 34612.557
AT ITER 189 NEW BEST:: SOT 66376 SOS 35460 HAS SOPS 35211 HAS SOUS 34724 HAS SOUPS 34475 WITH SCORE 34510.46
AT ITER 193 NEW BEST:: SOT 66293 SOS 35240 HAS SOPS 34991 HAS SOUS 34453 HAS SOUPS 34204 WITH SCORE 34239.24
AT ITER 195 NEW BEST:: SOT 66182 SOS 35129 HAS SOPS 34880 HAS SOUS 34342 HAS SOUPS 34093 WITH SCORE 34128.129
AT ITER 196 NEW BEST:: SOT 66061 SOS 34968 HAS SOPS 34719 HAS SOUS 34181 HAS SOUPS 33932 WITH SCORE 33966.968
AT ITER 199 NEW BEST:: SOT 66051 SOS 34953 HAS SOPS 34704 HAS SOUS 34166 HAS SOUPS 33917 WITH SCORE 33951.953
AT ITER 203 NEW BEST:: SOT 65951 SOS 34705 HAS SOPS 34456 HAS SOUS 33918 HAS SOUPS 33669 WITH SCORE 33703.705
AT ITER 204 NEW BEST:: SOT 65882 SOS 34429 HAS SOPS 34180 HAS SOUS 33625 HAS SOUPS 33376 WITH SCORE 33410.429
AT ITER 205 NEW BEST:: SOT 65805 SOS 34375 HAS SOPS 34126 HAS SOUS 33571 HAS SOUPS 33322 WITH SCORE 33356.375
AT ITER 207 NEW BEST:: SOT 65803 SOS 34364 HAS SOPS 34115 HAS SOUS 33560 HAS SOUPS 33311 WITH SCORE 33345.364
AT ITER 215 NEW BEST:: SOT 65771 SOS 34310 HAS SOPS 34061 HAS SOUS 33506 HAS SOUPS 33257 WITH SCORE 33291.31
AT ITER 220 NEW BEST:: SOT 65708 SOS 34209 HAS SOPS 33960 HAS SOUS 33405 HAS SOUPS 33156 WITH SCORE 33190.209
AT ITER 224 NEW BEST:: SOT 65606 SOS 33901 HAS SOPS 33652 HAS SOUS 33097 HAS SOUPS 32848 WITH SCORE 32881.901
AT ITER 225 NEW BEST:: SOT 65587 SOS 33873 HAS SOPS 33624 HAS SOUS 33023 HAS SOUPS 32774 WITH SCORE 32807.873
AT ITER 227 NEW BEST:: SOT 65485 SOS 33720 HAS SOPS 33471 HAS SOUS 32870 HAS SOUPS 32621 WITH SCORE 32654.72
AT ITER 232 NEW BEST:: SOT 65413 SOS 33692 HAS SOPS 33443 HAS SOUS 32842 HAS SOUPS 32593 WITH SCORE 32626.692
AT ITER 233 NEW BEST:: SOT 65397 SOS 33574 HAS SOPS 33325 HAS SOUS 32786 HAS SOUPS 32537 WITH SCORE 32570.574
AT ITER 234 NEW BEST:: SOT 65383 SOS 33553 HAS SOPS 33304 HAS SOUS 32765 HAS SOUPS 32516 WITH SCORE 32549.553
AT ITER 235 NEW BEST:: SOT 65296 SOS 33205 HAS SOPS 32956 HAS SOUS 32504 HAS SOUPS 32255 WITH SCORE 32288.205
AT ITER 236 NEW BEST:: SOT 65255 SOS 33164 HAS SOPS 32915 HAS SOUS 32463 HAS SOUPS 32214 WITH SCORE 32247.164
AT ITER 238 NEW BEST:: SOT 65188 SOS 32937 HAS SOPS 32688 HAS SOUS 32236 HAS SOUPS 31987 WITH SCORE 32019.937
AT ITER 241 NEW BEST:: SOT 65186 SOS 33023 HAS SOPS 32774 HAS SOUS 32230 HAS SOUPS 31981 WITH SCORE 32014.023
AT ITER 246 NEW BEST:: SOT 65149 SOS 32972 HAS SOPS 32723 HAS SOUS 32140 HAS SOUPS 31891 WITH SCORE 31923.972
AT ITER 248 NEW BEST:: SOT 65131 SOS 32954 HAS SOPS 32705 HAS SOUS 32122 HAS SOUPS 31873 WITH SCORE 31905.954
AT ITER 250 NEW BEST:: SOT 65092 SOS 32782 HAS SOPS 32533 HAS SOUS 32005 HAS SOUPS 31756 WITH SCORE 31788.782
AT ITER 251 NEW BEST:: SOT 64958 SOS 32504 HAS SOPS 32255 HAS SOUS 31727 HAS SOUPS 31478 WITH SCORE 31510.504
AT ITER 253 NEW BEST:: SOT 64888 SOS 32432 HAS SOPS 32183 HAS SOUS 31667 HAS SOUPS 31418 WITH SCORE 31450.432
AT ITER 256 NEW BEST:: SOT 64867 SOS 32411 HAS SOPS 32162 HAS SOUS 31646 HAS SOUPS 31397 WITH SCORE 31429.411
AT ITER 257 NEW BEST:: SOT 64837 SOS 32381 HAS SOPS 32132 HAS SOUS 31616 HAS SOUPS 31367 WITH SCORE 31399.381
AT ITER 262 NEW BEST:: SOT 64796 SOS 32176 HAS SOPS 31927 HAS SOUS 31411 HAS SOUPS 31162 WITH SCORE 31194.176
AT ITER 266 NEW BEST:: SOT 64609 SOS 31940 HAS SOPS 31691 HAS SOUS 31175 HAS SOUPS 30926 WITH SCORE 30957.94
AT ITER 271 NEW BEST:: SOT 64579 SOS 31892 HAS SOPS 31643 HAS SOUS 31127 HAS SOUPS 30878 WITH SCORE 30909.892
AT ITER 273 NEW BEST:: SOT 64511 SOS 31609 HAS SOPS 31360 HAS SOUS 30871 HAS SOUPS 30622 WITH SCORE 30653.609
AT ITER 275 NEW BEST:: SOT 64471 SOS 31569 HAS SOPS 31320 HAS SOUS 30831 HAS SOUPS 30582 WITH SCORE 30613.569
AT ITER 277 NEW BEST:: SOT 64444 SOS 31509 HAS SOPS 31260 HAS SOUS 30766 HAS SOUPS 30517 WITH SCORE 30548.509
AT ITER 278 NEW BEST:: SOT 64517 SOS 31453 HAS SOPS 31204 HAS SOUS 30710 HAS SOUPS 30461 WITH SCORE 30492.453
AT ITER 279 NEW BEST:: SOT 64493 SOS 31429 HAS SOPS 31180 HAS SOUS 30686 HAS SOUPS 30437 WITH SCORE 30468.429
AT ITER 282 NEW BEST:: SOT 64437 SOS 31373 HAS SOPS 31124 HAS SOUS 30660 HAS SOUPS 30411 WITH SCORE 30442.373
AT ITER 290 NEW BEST:: SOT 64471 SOS 31365 HAS SOPS 31116 HAS SOUS 30652 HAS SOUPS 30403 WITH SCORE 30434.365
AT ITER 291 NEW BEST:: SOT 64271 SOS 31174 HAS SOPS 30925 HAS SOUS 30474 HAS SOUPS 30225 WITH SCORE 30256.174
AT ITER 292 NEW BEST:: SOT 64271 SOS 31167 HAS SOPS 30918 HAS SOUS 30460 HAS SOUPS 30211 WITH SCORE 30242.167
AT ITER 293 NEW BEST:: SOT 64245 SOS 31073 HAS SOPS 30824 HAS SOUS 30366 HAS SOUPS 30117 WITH SCORE 30148.073
AT ITER 300 NEW BEST:: SOT 64193 SOS 31063 HAS SOPS 30814 HAS SOUS 30361 HAS SOUPS 30112 WITH SCORE 30143.063
AT ITER 308 NEW BEST:: SOT 64087 SOS 30905 HAS SOPS 30656 HAS SOUS 30203 HAS SOUPS 29954 WITH SCORE 29984.905
AT ITER 315 NEW BEST:: SOT 64011 SOS 30656 HAS SOPS 30407 HAS SOUS 29996 HAS SOUPS 29747 WITH SCORE 29777.656
AT ITER 316 NEW BEST:: SOT 63971 SOS 30496 HAS SOPS 30247 HAS SOUS 29864 HAS SOUPS 29615 WITH SCORE 29645.496
AT ITER 320 NEW BEST:: SOT 63963 SOS 30484 HAS SOPS 30235 HAS SOUS 29852 HAS SOUPS 29603 WITH SCORE 29633.484
AT ITER 321 NEW BEST:: SOT 63845 SOS 30156 HAS SOPS 29907 HAS SOUS 29542 HAS SOUPS 29293 WITH SCORE 29323.156
AT ITER 328 NEW BEST:: SOT 63819 SOS 30117 HAS SOPS 29868 HAS SOUS 29503 HAS SOUPS 29254 WITH SCORE 29284.117
AT ITER 329 NEW BEST:: SOT 63792 SOS 30090 HAS SOPS 29841 HAS SOUS 29476 HAS SOUPS 29227 WITH SCORE 29257.09
AT ITER 330 NEW BEST:: SOT 63721 SOS 29929 HAS SOPS 29680 HAS SOUS 29335 HAS SOUPS 29086 WITH SCORE 29115.929
AT ITER 332 NEW BEST:: SOT 63705 SOS 29897 HAS SOPS 29648 HAS SOUS 29303 HAS SOUPS 29054 WITH SCORE 29083.897
AT ITER 335 NEW BEST:: SOT 63691 SOS 29876 HAS SOPS 29627 HAS SOUS 29282 HAS SOUPS 29033 WITH SCORE 29062.876
AT ITER 336 NEW BEST:: SOT 63689 SOS 29873 HAS SOPS 29624 HAS SOUS 29279 HAS SOUPS 29030 WITH SCORE 29059.873
AT ITER 340 NEW BEST:: SOT 63658 SOS 29718 HAS SOPS 29469 HAS SOUS 29124 HAS SOUPS 28875 WITH SCORE 28904.718
AT ITER 342 NEW BEST:: SOT 63643 SOS 29677 HAS SOPS 29428 HAS SOUS 29083 HAS SOUPS 28834 WITH SCORE 28863.677
AT ITER 344 NEW BEST:: SOT 63690 SOS 29654 HAS SOPS 29405 HAS SOUS 29060 HAS SOUPS 28811 WITH SCORE 28840.654
AT ITER 349 NEW BEST:: SOT 63684 SOS 29645 HAS SOPS 29396 HAS SOUS 29051 HAS SOUPS 28802 WITH SCORE 28831.645
AT ITER 351 NEW BEST:: SOT 63666 SOS 29627 HAS SOPS 29378 HAS SOUS 29015 HAS SOUPS 28766 WITH SCORE 28795.627
AT ITER 356 NEW BEST:: SOT 63636 SOS 29626 HAS SOPS 29377 HAS SOUS 29014 HAS SOUPS 28765 WITH SCORE 28794.626
AT ITER 359 NEW BEST:: SOT 63626 SOS 29586 HAS SOPS 29337 HAS SOUS 28974 HAS SOUPS 28725 WITH SCORE 28754.586
AT ITER 364 NEW BEST:: SOT 63607 SOS 29511 HAS SOPS 29262 HAS SOUS 28899 HAS SOUPS 28650 WITH SCORE 28679.511
AT ITER 365 NEW BEST:: SOT 63557 SOS 29459 HAS SOPS 29210 HAS SOUS 28847 HAS SOUPS 28598 WITH SCORE 28627.459
AT ITER 366 NEW BEST:: SOT 63476 SOS 29458 HAS SOPS 29209 HAS SOUS 28846 HAS SOUPS 28597 WITH SCORE 28626.458
AT ITER 370 NEW BEST:: SOT 63476 SOS 29445 HAS SOPS 29196 HAS SOUS 28833 HAS SOUPS 28584 WITH SCORE 28613.445
AT ITER 371 NEW BEST:: SOT 63372 SOS 29173 HAS SOPS 28924 HAS SOUS 28613 HAS SOUPS 28364 WITH SCORE 28393.173
AT ITER 373 NEW BEST:: SOT 63345 SOS 29029 HAS SOPS 28780 HAS SOUS 28496 HAS SOUPS 28247 WITH SCORE 28276.029
AT ITER 376 NEW BEST:: SOT 63315 SOS 28989 HAS SOPS 28740 HAS SOUS 28456 HAS SOUPS 28207 WITH SCORE 28235.989
AT ITER 378 NEW BEST:: SOT 63276 SOS 28926 HAS SOPS 28677 HAS SOUS 28393 HAS SOUPS 28144 WITH SCORE 28172.926
AT ITER 398 NEW BEST:: SOT 63276 SOS 28901 HAS SOPS 28652 HAS SOUS 28368 HAS SOUPS 28119 WITH SCORE 28147.901
AT ITER 400 NEW BEST:: SOT 63282 SOS 28886 HAS SOPS 28637 HAS SOUS 28345 HAS SOUPS 28096 WITH SCORE 28124.886
AT ITER 404 NEW BEST:: SOT 63286 SOS 28877 HAS SOPS 28628 HAS SOUS 28237 HAS SOUPS 27988 WITH SCORE 28016.877
AT ITER 407 NEW BEST:: SOT 63266 SOS 28765 HAS SOPS 28516 HAS SOUS 28125 HAS SOUPS 27876 WITH SCORE 27904.765
AT ITER 409 NEW BEST:: SOT 63198 SOS 28707 HAS SOPS 28458 HAS SOUS 28067 HAS SOUPS 27818 WITH SCORE 27846.707
AT ITER 412 NEW BEST:: SOT 63150 SOS 28669 HAS SOPS 28420 HAS SOUS 28029 HAS SOUPS 27780 WITH SCORE 27808.669
AT ITER 413 NEW BEST:: SOT 63130 SOS 28625 HAS SOPS 28376 HAS SOUS 27985 HAS SOUPS 27736 WITH SCORE 27764.625
AT ITER 414 NEW BEST:: SOT 63158 SOS 28593 HAS SOPS 28344 HAS SOUS 27951 HAS SOUPS 27702 WITH SCORE 27730.593
AT ITER 420 NEW BEST:: SOT 63076 SOS 28146 HAS SOPS 27897 HAS SOUS 27586 HAS SOUPS 27337 WITH SCORE 27365.146
AT ITER 422 NEW BEST:: SOT 63076 SOS 28147 HAS SOPS 27898 HAS SOUS 27585 HAS SOUPS 27336 WITH SCORE 27364.147
AT ITER 430 NEW BEST:: SOT 63039 SOS 28064 HAS SOPS 27815 HAS SOUS 27432 HAS SOUPS 27183 WITH SCORE 27211.064
AT ITER 431 NEW BEST:: SOT 63037 SOS 27992 HAS SOPS 27743 HAS SOUS 27360 HAS SOUPS 27111 WITH SCORE 27138.992
AT ITER 437 NEW BEST:: SOT 63033 SOS 27974 HAS SOPS 27725 HAS SOUS 27342 HAS SOUPS 27093 WITH SCORE 27120.974
AT ITER 438 NEW BEST:: SOT 63017 SOS 27950 HAS SOPS 27701 HAS SOUS 27318 HAS SOUPS 27069 WITH SCORE 27096.95
AT ITER 439 NEW BEST:: SOT 62911 SOS 27777 HAS SOPS 27528 HAS SOUS 27073 HAS SOUPS 26824 WITH SCORE 26851.777
AT ITER 444 NEW BEST:: SOT 62895 SOS 27747 HAS SOPS 27498 HAS SOUS 27030 HAS SOUPS 26781 WITH SCORE 26808.747
AT ITER 449 NEW BEST:: SOT 62863 SOS 27712 HAS SOPS 27463 HAS SOUS 27002 HAS SOUPS 26753 WITH SCORE 26780.712
AT ITER 450 NEW BEST:: SOT 62530 SOS 27183 HAS SOPS 26934 HAS SOUS 26524 HAS SOUPS 26275 WITH SCORE 26302.183
AT ITER 459 NEW BEST:: SOT 62602 SOS 27091 HAS SOPS 26842 HAS SOUS 26441 HAS SOUPS 26192 WITH SCORE 26219.091
AT ITER 463 NEW BEST:: SOT 62598 SOS 27085 HAS SOPS 26836 HAS SOUS 26435 HAS SOUPS 26186 WITH SCORE 26213.085
AT ITER 464 NEW BEST:: SOT 62524 SOS 26953 HAS SOPS 26704 HAS SOUS 26303 HAS SOUPS 26054 WITH SCORE 26080.953
AT ITER 466 NEW BEST:: SOT 62396 SOS 26831 HAS SOPS 26582 HAS SOUS 26181 HAS SOUPS 25932 WITH SCORE 25958.831
AT ITER 477 NEW BEST:: SOT 62158 SOS 26128 HAS SOPS 25879 HAS SOUS 25584 HAS SOUPS 25335 WITH SCORE 25361.128
AT ITER 485 NEW BEST:: SOT 62194 SOS 26084 HAS SOPS 25835 HAS SOUS 25540 HAS SOUPS 25291 WITH SCORE 25317.084
AT ITER 499 NEW BEST:: SOT 62081 SOS 25812 HAS SOPS 25563 HAS SOUS 25340 HAS SOUPS 25091 WITH SCORE 25116.812
AT ITER 504 NEW BEST:: SOT 62077 SOS 25806 HAS SOPS 25557 HAS SOUS 25334 HAS SOUPS 25085 WITH SCORE 25110.806
AT ITER 508 NEW BEST:: SOT 61981 SOS 25646 HAS SOPS 25397 HAS SOUS 25142 HAS SOUPS 24893 WITH SCORE 24918.646
AT ITER 509 NEW BEST:: SOT 62046 SOS 25629 HAS SOPS 25380 HAS SOUS 25125 HAS SOUPS 24876 WITH SCORE 24901.629
AT ITER 515 NEW BEST:: SOT 62076 SOS 25623 HAS SOPS 25374 HAS SOUS 25119 HAS SOUPS 24870 WITH SCORE 24895.623
AT ITER 516 NEW BEST:: SOT 62051 SOS 25419 HAS SOPS 25170 HAS SOUS 25009 HAS SOUPS 24760 WITH SCORE 24785.419
AT ITER 526 NEW BEST:: SOT 62141 SOS 25329 HAS SOPS 25080 HAS SOUS 24919 HAS SOUPS 24670 WITH SCORE 24695.329
AT ITER 530 NEW BEST:: SOT 62158 SOS 25193 HAS SOPS 24944 HAS SOUS 24774 HAS SOUPS 24525 WITH SCORE 24550.193
AT ITER 538 NEW BEST:: SOT 62158 SOS 25107 HAS SOPS 24858 HAS SOUS 24688 HAS SOUPS 24439 WITH SCORE 24464.107
AT ITER 545 NEW BEST:: SOT 62054 SOS 25030 HAS SOPS 24781 HAS SOUS 24611 HAS SOUPS 24362 WITH SCORE 24387.03
AT ITER 548 NEW BEST:: SOT 62054 SOS 25025 HAS SOPS 24776 HAS SOUS 24606 HAS SOUPS 24357 WITH SCORE 24382.025
AT ITER 553 NEW BEST:: SOT 61983 SOS 24935 HAS SOPS 24686 HAS SOUS 24516 HAS SOUPS 24267 WITH SCORE 24291.935
AT ITER 557 NEW BEST:: SOT 62002 SOS 24864 HAS SOPS 24615 HAS SOUS 24456 HAS SOUPS 24207 WITH SCORE 24231.864
AT ITER 560 NEW BEST:: SOT 61999 SOS 24857 HAS SOPS 24608 HAS SOUS 24449 HAS SOUPS 24200 WITH SCORE 24224.857
AT ITER 565 NEW BEST:: SOT 61969 SOS 24755 HAS SOPS 24506 HAS SOUS 24347 HAS SOUPS 24098 WITH SCORE 24122.755
AT ITER 567 NEW BEST:: SOT 61945 SOS 24715 HAS SOPS 24466 HAS SOUS 24307 HAS SOUPS 24058 WITH SCORE 24082.715
AT ITER 568 NEW BEST:: SOT 61945 SOS 24715 HAS SOPS 24466 HAS SOUS 24274 HAS SOUPS 24025 WITH SCORE 24049.715
AT ITER 575 NEW BEST:: SOT 61938 SOS 24643 HAS SOPS 24394 HAS SOUS 24202 HAS SOUPS 23953 WITH SCORE 23977.643
AT ITER 580 NEW BEST:: SOT 61923 SOS 24618 HAS SOPS 24369 HAS SOUS 24166 HAS SOUPS 23917 WITH SCORE 23941.618
AT ITER 581 NEW BEST:: SOT 61903 SOS 24598 HAS SOPS 24349 HAS SOUS 24146 HAS SOUPS 23897 WITH SCORE 23921.598
AT ITER 587 NEW BEST:: SOT 61841 SOS 24264 HAS SOPS 24015 HAS SOUS 23891 HAS SOUPS 23642 WITH SCORE 23666.264
AT ITER 594 NEW BEST:: SOT 61924 SOS 24247 HAS SOPS 23998 HAS SOUS 23874 HAS SOUPS 23625 WITH SCORE 23649.247
AT ITER 606 NEW BEST:: SOT 61924 SOS 24241 HAS SOPS 23998 HAS SOUS 23868 HAS SOUPS 23625 WITH SCORE 23649.241
AT ITER 610 NEW BEST:: SOT 61884 SOS 24181 HAS SOPS 23938 HAS SOUS 23808 HAS SOUPS 23565 WITH SCORE 23589.181
AT ITER 611 NEW BEST:: SOT 61875 SOS 24145 HAS SOPS 23902 HAS SOUS 23743 HAS SOUPS 23500 WITH SCORE 23524.145
AT ITER 617 NEW BEST:: SOT 61857 SOS 24127 HAS SOPS 23884 HAS SOUS 23725 HAS SOUPS 23482 WITH SCORE 23506.127
AT ITER 627 NEW BEST:: SOT 61814 SOS 24046 HAS SOPS 23803 HAS SOUS 23644 HAS SOUPS 23401 WITH SCORE 23425.046
AT ITER 628 NEW BEST:: SOT 61802 SOS 24042 HAS SOPS 23799 HAS SOUS 23640 HAS SOUPS 23397 WITH SCORE 23421.042
AT ITER 633 NEW BEST:: SOT 61853 SOS 23964 HAS SOPS 23721 HAS SOUS 23562 HAS SOUPS 23319 WITH SCORE 23342.964
AT ITER 635 NEW BEST:: SOT 61855 SOS 23911 HAS SOPS 23668 HAS SOUS 23452 HAS SOUPS 23209 WITH SCORE 23232.911
AT ITER 637 NEW BEST:: SOT 61828 SOS 23864 HAS SOPS 23621 HAS SOUS 23398 HAS SOUPS 23155 WITH SCORE 23178.864
AT ITER 638 NEW BEST:: SOT 61821 SOS 23843 HAS SOPS 23600 HAS SOUS 23377 HAS SOUPS 23134 WITH SCORE 23157.843
AT ITER 639 NEW BEST:: SOT 61783 SOS 23803 HAS SOPS 23560 HAS SOUS 23337 HAS SOUPS 23094 WITH SCORE 23117.803
AT ITER 642 NEW BEST:: SOT 61403 SOS 23219 HAS SOPS 22976 HAS SOUS 22782 HAS SOUPS 22539 WITH SCORE 22562.219
AT ITER 644 NEW BEST:: SOT 61315 SOS 22997 HAS SOPS 22754 HAS SOUS 22560 HAS SOUPS 22317 WITH SCORE 22339.997
AT ITER 647 NEW BEST:: SOT 61309 SOS 22985 HAS SOPS 22742 HAS SOUS 22548 HAS SOUPS 22305 WITH SCORE 22327.985
AT ITER 651 NEW BEST:: SOT 61278 SOS 22948 HAS SOPS 22705 HAS SOUS 22511 HAS SOUPS 22268 WITH SCORE 22290.948
AT ITER 673 NEW BEST:: SOT 61098 SOS 22633 HAS SOPS 22390 HAS SOUS 22196 HAS SOUPS 21953 WITH SCORE 21975.633
AT ITER 680 NEW BEST:: SOT 61078 SOS 22555 HAS SOPS 22312 HAS SOUS 22115 HAS SOUPS 21872 WITH SCORE 21894.555
AT ITER 685 NEW BEST:: SOT 61012 SOS 22423 HAS SOPS 22180 HAS SOUS 21983 HAS SOUPS 21740 WITH SCORE 21762.423
AT ITER 686 NEW BEST:: SOT 60998 SOS 22367 HAS SOPS 22124 HAS SOUS 21927 HAS SOUPS 21684 WITH SCORE 21706.367
AT ITER 691 NEW BEST:: SOT 60997 SOS 22360 HAS SOPS 22117 HAS SOUS 21833 HAS SOUPS 21590 WITH SCORE 21612.36
AT ITER 694 NEW BEST:: SOT 60993 SOS 22352 HAS SOPS 22109 HAS SOUS 21825 HAS SOUPS 21582 WITH SCORE 21604.352
AT ITER 698 NEW BEST:: SOT 60952 SOS 22188 HAS SOPS 21945 HAS SOUS 21766 HAS SOUPS 21523 WITH SCORE 21545.188
AT ITER 702 NEW BEST:: SOT 60920 SOS 22148 HAS SOPS 21905 HAS SOUS 21726 HAS SOUPS 21483 WITH SCORE 21505.148
AT ITER 705 NEW BEST:: SOT 60890 SOS 22078 HAS SOPS 21835 HAS SOUS 21656 HAS SOUPS 21413 WITH SCORE 21435.078
AT ITER 728 NEW BEST:: SOT 60850 SOS 21998 HAS SOPS 21755 HAS SOUS 21576 HAS SOUPS 21333 WITH SCORE 21354.998
AT ITER 732 NEW BEST:: SOT 60808 SOS 21914 HAS SOPS 21671 HAS SOUS 21492 HAS SOUPS 21249 WITH SCORE 21270.914
AT ITER 739 NEW BEST:: SOT 60781 SOS 21859 HAS SOPS 21616 HAS SOUS 21437 HAS SOUPS 21194 WITH SCORE 21215.859
AT ITER 741 NEW BEST:: SOT 60782 SOS 21748 HAS SOPS 21505 HAS SOUS 21333 HAS SOUPS 21090 WITH SCORE 21111.748
AT ITER 742 NEW BEST:: SOT 60743 SOS 21664 HAS SOPS 21421 HAS SOUS 21249 HAS SOUPS 21006 WITH SCORE 21027.664
AT ITER 746 NEW BEST:: SOT 60671 SOS 21582 HAS SOPS 21339 HAS SOUS 21165 HAS SOUPS 20922 WITH SCORE 20943.582
AT ITER 760 NEW BEST:: SOT 60683 SOS 21546 HAS SOPS 21303 HAS SOUS 21129 HAS SOUPS 20886 WITH SCORE 20907.546
AT ITER 763 NEW BEST:: SOT 60645 SOS 21514 HAS SOPS 21271 HAS SOUS 21105 HAS SOUPS 20862 WITH SCORE 20883.514
AT ITER 764 NEW BEST:: SOT 60613 SOS 21490 HAS SOPS 21247 HAS SOUS 21074 HAS SOUPS 20831 WITH SCORE 20852.49
AT ITER 767 NEW BEST:: SOT 60605 SOS 21479 HAS SOPS 21236 HAS SOUS 21063 HAS SOUPS 20820 WITH SCORE 20841.479
AT ITER 773 NEW BEST:: SOT 60589 SOS 21445 HAS SOPS 21202 HAS SOUS 21029 HAS SOUPS 20786 WITH SCORE 20807.445
AT ITER 780 NEW BEST:: SOT 60568 SOS 21424 HAS SOPS 21181 HAS SOUS 21008 HAS SOUPS 20765 WITH SCORE 20786.424
AT ITER 791 NEW BEST:: SOT 60542 SOS 21233 HAS SOPS 20990 HAS SOUS 20817 HAS SOUPS 20574 WITH SCORE 20595.233
AT ITER 796 NEW BEST:: SOT 60538 SOS 21229 HAS SOPS 20986 HAS SOUS 20813 HAS SOUPS 20570 WITH SCORE 20591.229
AT ITER 797 NEW BEST:: SOT 60499 SOS 21080 HAS SOPS 20837 HAS SOUS 20664 HAS SOUPS 20421 WITH SCORE 20442.08
AT ITER 815 NEW BEST:: SOT 60526 SOS 21099 HAS SOPS 20856 HAS SOUS 20556 HAS SOUPS 20313 WITH SCORE 20334.099
AT ITER 819 NEW BEST:: SOT 60512 SOS 20878 HAS SOPS 20635 HAS SOUS 20385 HAS SOUPS 20142 WITH SCORE 20162.878
AT ITER 822 NEW BEST:: SOT 60456 SOS 20656 HAS SOPS 20413 HAS SOUS 20248 HAS SOUPS 20005 WITH SCORE 20025.656
AT ITER 825 NEW BEST:: SOT 60480 SOS 20642 HAS SOPS 20399 HAS SOUS 20234 HAS SOUPS 19991 WITH SCORE 20011.642
AT ITER 831 NEW BEST:: SOT 60469 SOS 20598 HAS SOPS 20355 HAS SOUS 20201 HAS SOUPS 19958 WITH SCORE 19978.598
AT ITER 835 NEW BEST:: SOT 60455 SOS 20570 HAS SOPS 20327 HAS SOUS 20187 HAS SOUPS 19944 WITH SCORE 19964.57
AT ITER 842 NEW BEST:: SOT 60439 SOS 20554 HAS SOPS 20311 HAS SOUS 20171 HAS SOUPS 19928 WITH SCORE 19948.554
AT ITER 847 NEW BEST:: SOT 60452 SOS 20533 HAS SOPS 20290 HAS SOUS 20116 HAS SOUPS 19873 WITH SCORE 19893.533
AT ITER 851 NEW BEST:: SOT 60418 SOS 20499 HAS SOPS 20256 HAS SOUS 20082 HAS SOUPS 19839 WITH SCORE 19859.499
AT ITER 856 NEW BEST:: SOT 60387 SOS 20446 HAS SOPS 20203 HAS SOUS 20029 HAS SOUPS 19786 WITH SCORE 19806.446
AT ITER 858 NEW BEST:: SOT 60387 SOS 20309 HAS SOPS 20066 HAS SOUS 19983 HAS SOUPS 19740 WITH SCORE 19760.309
AT ITER 866 NEW BEST:: SOT 60370 SOS 20292 HAS SOPS 20049 HAS SOUS 19966 HAS SOUPS 19723 WITH SCORE 19743.292
AT ITER 868 NEW BEST:: SOT 60354 SOS 20268 HAS SOPS 20025 HAS SOUS 19934 HAS SOUPS 19691 WITH SCORE 19711.268
AT ITER 879 NEW BEST:: SOT 60183 SOS 19888 HAS SOPS 19639 HAS SOUS 19621 HAS SOUPS 19372 WITH SCORE 19391.888
AT ITER 885 NEW BEST:: SOT 60183 SOS 19882 HAS SOPS 19633 HAS SOUS 19615 HAS SOUPS 19366 WITH SCORE 19385.882
AT ITER 888 NEW BEST:: SOT 60137 SOS 19852 HAS SOPS 19603 HAS SOUS 19585 HAS SOUPS 19336 WITH SCORE 19355.852
AT ITER 906 NEW BEST:: SOT 60113 SOS 19820 HAS SOPS 19571 HAS SOUS 19553 HAS SOUPS 19304 WITH SCORE 19323.82
AT ITER 910 NEW BEST:: SOT 60155 SOS 19818 HAS SOPS 19569 HAS SOUS 19551 HAS SOUPS 19302 WITH SCORE 19321.818
AT ITER 930 NEW BEST:: SOT 60024 SOS 19637 HAS SOPS 19388 HAS SOUS 19447 HAS SOUPS 19198 WITH SCORE 19217.637
AT ITER 940 NEW BEST:: SOT 60008 SOS 19613 HAS SOPS 19364 HAS SOUS 19423 HAS SOUPS 19174 WITH SCORE 19193.613
AT ITER 942 NEW BEST:: SOT 59987 SOS 19554 HAS SOPS 19305 HAS SOUS 19375 HAS SOUPS 19126 WITH SCORE 19145.554
AT ITER 955 NEW BEST:: SOT 59926 SOS 19419 HAS SOPS 19170 HAS SOUS 19224 HAS SOUPS 18975 WITH SCORE 18994.419
AT ITER 972 NEW BEST:: SOT 59790 SOS 19347 HAS SOPS 19098 HAS SOUS 19152 HAS SOUPS 18903 WITH SCORE 18922.347
AT ITER 983 NEW BEST:: SOT 59790 SOS 19347 HAS SOPS 19098 HAS SOUS 19124 HAS SOUPS 18875 WITH SCORE 18894.347
AT ITER 985 NEW BEST:: SOT 59718 SOS 19212 HAS SOPS 18963 HAS SOUS 18989 HAS SOUPS 18740 WITH SCORE 18759.212
AT ITER 986 NEW BEST:: SOT 59736 SOS 19194 HAS SOPS 18945 HAS SOUS 18971 HAS SOUPS 18722 WITH SCORE 18741.194
AT ITER 989 NEW BEST:: SOT 59664 SOS 19088 HAS SOPS 18839 HAS SOUS 18871 HAS SOUPS 18622 WITH SCORE 18641.088
AT ITER 997 NEW BEST:: SOT 59653 SOS 19077 HAS SOPS 18828 HAS SOUS 18860 HAS SOUPS 18611 WITH SCORE 18630.077
AT ITER 998 NEW BEST:: SOT 59597 SOS 18965 HAS SOPS 18716 HAS SOUS 18748 HAS SOUPS 18499 WITH SCORE 18517.965
AT ITER 1012 NEW BEST:: SOT 59573 SOS 18878 HAS SOPS 18629 HAS SOUS 18661 HAS SOUPS 18412 WITH SCORE 18430.878
AT ITER 1015 NEW BEST:: SOT 59569 SOS 18889 HAS SOPS 18640 HAS SOUS 18657 HAS SOUPS 18408 WITH SCORE 18426.889
AT ITER 1019 NEW BEST:: SOT 59473 SOS 18687 HAS SOPS 18438 HAS SOUS 18455 HAS SOUPS 18206 WITH SCORE 18224.687
AT ITER 1039 NEW BEST:: SOT 59397 SOS 18487 HAS SOPS 18238 HAS SOUS 18233 HAS SOUPS 17984 WITH SCORE 18002.487
AT ITER 1052 NEW BEST:: SOT 59309 SOS 18303 HAS SOPS 18054 HAS SOUS 18049 HAS SOUPS 17800 WITH SCORE 17818.303
AT ITER 1055 NEW BEST:: SOT 59294 SOS 18304 HAS SOPS 18055 HAS SOUS 17991 HAS SOUPS 17742 WITH SCORE 17760.304
AT ITER 1065 NEW BEST:: SOT 59264 SOS 18282 HAS SOPS 18033 HAS SOUS 17969 HAS SOUPS 17720 WITH SCORE 17738.282
AT ITER 1088 NEW BEST:: SOT 59209 SOS 18269 HAS SOPS 18020 HAS SOUS 17956 HAS SOUPS 17707 WITH SCORE 17725.269
AT ITER 1093 NEW BEST:: SOT 59194 SOS 18249 HAS SOPS 18000 HAS SOUS 17911 HAS SOUPS 17662 WITH SCORE 17680.249
AT ITER 1094 NEW BEST:: SOT 59194 SOS 18229 HAS SOPS 17980 HAS SOUS 17881 HAS SOUPS 17632 WITH SCORE 17650.229
AT ITER 1095 NEW BEST:: SOT 59166 SOS 18173 HAS SOPS 17924 HAS SOUS 17825 HAS SOUPS 17576 WITH SCORE 17594.173
AT ITER 1101 NEW BEST:: SOT 59186 SOS 18153 HAS SOPS 17904 HAS SOUS 17805 HAS SOUPS 17556 WITH SCORE 17574.153
AT ITER 1140 NEW BEST:: SOT 59184 SOS 18167 HAS SOPS 17918 HAS SOUS 17801 HAS SOUPS 17552 WITH SCORE 17570.167
AT ITER 1143 NEW BEST:: SOT 59127 SOS 18110 HAS SOPS 17861 HAS SOUS 17744 HAS SOUPS 17495 WITH SCORE 17513.11
AT ITER 1156 NEW BEST:: SOT 58941 SOS 17785 HAS SOPS 17536 HAS SOUS 17419 HAS SOUPS 17170 WITH SCORE 17187.785
AT ITER 1161 NEW BEST:: SOT 58895 SOS 17708 HAS SOPS 17459 HAS SOUS 17352 HAS SOUPS 17103 WITH SCORE 17120.708
AT ITER 1165 NEW BEST:: SOT 58895 SOS 17705 HAS SOPS 17459 HAS SOUS 17346 HAS SOUPS 17100 WITH SCORE 17117.705
AT ITER 1166 NEW BEST:: SOT 58876 SOS 17686 HAS SOPS 17440 HAS SOUS 17327 HAS SOUPS 17081 WITH SCORE 17098.686
AT ITER 1176 NEW BEST:: SOT 58879 SOS 17695 HAS SOPS 17449 HAS SOUS 17308 HAS SOUPS 17062 WITH SCORE 17079.695
AT ITER 1183 NEW BEST:: SOT 58850 SOS 17643 HAS SOPS 17397 HAS SOUS 17256 HAS SOUPS 17010 WITH SCORE 17027.643
AT ITER 1190 NEW BEST:: SOT 58748 SOS 17535 HAS SOPS 17289 HAS SOUS 17163 HAS SOUPS 16917 WITH SCORE 16934.535
AT ITER 1197 NEW BEST:: SOT 58702 SOS 17474 HAS SOPS 17228 HAS SOUS 17102 HAS SOUPS 16856 WITH SCORE 16873.474
AT ITER 1210 NEW BEST:: SOT 58678 SOS 17384 HAS SOPS 17138 HAS SOUS 17028 HAS SOUPS 16782 WITH SCORE 16799.384
AT ITER 1217 NEW BEST:: SOT 58611 SOS 17273 HAS SOPS 17027 HAS SOUS 16928 HAS SOUPS 16682 WITH SCORE 16699.273
AT ITER 1221 NEW BEST:: SOT 58591 SOS 17233 HAS SOPS 16987 HAS SOUS 16888 HAS SOUPS 16642 WITH SCORE 16659.233
AT ITER 1222 NEW BEST:: SOT 58561 SOS 17171 HAS SOPS 16925 HAS SOUS 16848 HAS SOUPS 16602 WITH SCORE 16619.171
AT ITER 1239 NEW BEST:: SOT 58549 SOS 17159 HAS SOPS 16913 HAS SOUS 16836 HAS SOUPS 16590 WITH SCORE 16607.159
AT ITER 1241 NEW BEST:: SOT 58509 SOS 17117 HAS SOPS 16871 HAS SOUS 16792 HAS SOUPS 16546 WITH SCORE 16563.117
AT ITER 1249 NEW BEST:: SOT 58515 SOS 17110 HAS SOPS 16864 HAS SOUS 16785 HAS SOUPS 16539 WITH SCORE 16556.11
AT ITER 1251 NEW BEST:: SOT 58512 SOS 17088 HAS SOPS 16842 HAS SOUS 16720 HAS SOUPS 16474 WITH SCORE 16491.088
AT ITER 1256 NEW BEST:: SOT 58504 SOS 17080 HAS SOPS 16834 HAS SOUS 16712 HAS SOUPS 16466 WITH SCORE 16483.08
AT ITER 1257 NEW BEST:: SOT 58502 SOS 16990 HAS SOPS 16744 HAS SOUS 16574 HAS SOUPS 16328 WITH SCORE 16344.99
AT ITER 1264 NEW BEST:: SOT 58483 SOS 16962 HAS SOPS 16716 HAS SOUS 16546 HAS SOUPS 16300 WITH SCORE 16316.962
AT ITER 1285 NEW BEST:: SOT 58483 SOS 16895 HAS SOPS 16649 HAS SOUS 16479 HAS SOUPS 16233 WITH SCORE 16249.895
AT ITER 1292 NEW BEST:: SOT 58438 SOS 16844 HAS SOPS 16598 HAS SOUS 16428 HAS SOUPS 16182 WITH SCORE 16198.844
AT ITER 1299 NEW BEST:: SOT 58436 SOS 16840 HAS SOPS 16594 HAS SOUS 16424 HAS SOUPS 16178 WITH SCORE 16194.84
AT ITER 1305 NEW BEST:: SOT 58432 SOS 16832 HAS SOPS 16586 HAS SOUS 16416 HAS SOUPS 16170 WITH SCORE 16186.832
AT ITER 1306 NEW BEST:: SOT 58408 SOS 16756 HAS SOPS 16510 HAS SOUS 16340 HAS SOUPS 16094 WITH SCORE 16110.756
AT ITER 1309 NEW BEST:: SOT 58379 SOS 16692 HAS SOPS 16446 HAS SOUS 16276 HAS SOUPS 16030 WITH SCORE 16046.692
AT ITER 1313 NEW BEST:: SOT 58272 SOS 16484 HAS SOPS 16238 HAS SOUS 16068 HAS SOUPS 15822 WITH SCORE 15838.484
AT ITER 1327 NEW BEST:: SOT 58262 SOS 16472 HAS SOPS 16226 HAS SOUS 16056 HAS SOUPS 15810 WITH SCORE 15826.472
AT ITER 1344 NEW BEST:: SOT 58262 SOS 16452 HAS SOPS 16206 HAS SOUS 16036 HAS SOUPS 15790 WITH SCORE 15806.452
AT ITER 1355 NEW BEST:: SOT 58258 SOS 16447 HAS SOPS 16201 HAS SOUS 16031 HAS SOUPS 15785 WITH SCORE 15801.447
AT ITER 1364 NEW BEST:: SOT 58228 SOS 16402 HAS SOPS 16156 HAS SOUS 15986 HAS SOUPS 15740 WITH SCORE 15756.402
AT ITER 1365 NEW BEST:: SOT 58210 SOS 16384 HAS SOPS 16138 HAS SOUS 15968 HAS SOUPS 15722 WITH SCORE 15738.384
AT ITER 1374 NEW BEST:: SOT 58133 SOS 16225 HAS SOPS 15979 HAS SOUS 15814 HAS SOUPS 15568 WITH SCORE 15584.225
AT ITER 1386 NEW BEST:: SOT 58107 SOS 16138 HAS SOPS 15892 HAS SOUS 15720 HAS SOUPS 15474 WITH SCORE 15490.138
AT ITER 1392 NEW BEST:: SOT 58091 SOS 16106 HAS SOPS 15860 HAS SOUS 15688 HAS SOUPS 15442 WITH SCORE 15458.106
AT ITER 1395 NEW BEST:: SOT 57997 SOS 16010 HAS SOPS 15764 HAS SOUS 15592 HAS SOUPS 15346 WITH SCORE 15362.01
AT ITER 1415 NEW BEST:: SOT 58005 SOS 16001 HAS SOPS 15755 HAS SOUS 15583 HAS SOUPS 15337 WITH SCORE 15353.001
AT ITER 1416 NEW BEST:: SOT 57835 SOS 15733 HAS SOPS 15487 HAS SOUS 15315 HAS SOUPS 15069 WITH SCORE 15084.733
AT ITER 1422 NEW BEST:: SOT 57880 SOS 15717 HAS SOPS 15471 HAS SOUS 15299 HAS SOUPS 15053 WITH SCORE 15068.717
AT ITER 1428 NEW BEST:: SOT 57871 SOS 15643 HAS SOPS 15397 HAS SOUS 15272 HAS SOUPS 15026 WITH SCORE 15041.643
AT ITER 1433 NEW BEST:: SOT 57888 SOS 15607 HAS SOPS 15361 HAS SOUS 15258 HAS SOUPS 15012 WITH SCORE 15027.607
AT ITER 1464 NEW BEST:: SOT 57855 SOS 15576 HAS SOPS 15330 HAS SOUS 15227 HAS SOUPS 14981 WITH SCORE 14996.576
AT ITER 1474 NEW BEST:: SOT 57847 SOS 15552 HAS SOPS 15306 HAS SOUS 15203 HAS SOUPS 14957 WITH SCORE 14972.552
AT ITER 1483 NEW BEST:: SOT 57757 SOS 15461 HAS SOPS 15215 HAS SOUS 15083 HAS SOUPS 14837 WITH SCORE 14852.461
AT ITER 1493 NEW BEST:: SOT 57755 SOS 15453 HAS SOPS 15207 HAS SOUS 15075 HAS SOUPS 14829 WITH SCORE 14844.453
AT ITER 1514 NEW BEST:: SOT 57723 SOS 15357 HAS SOPS 15111 HAS SOUS 14979 HAS SOUPS 14733 WITH SCORE 14748.357
AT ITER 1516 NEW BEST:: SOT 57696 SOS 15277 HAS SOPS 15031 HAS SOUS 14926 HAS SOUPS 14680 WITH SCORE 14695.277
AT ITER 1519 NEW BEST:: SOT 57600 SOS 15129 HAS SOPS 14883 HAS SOUS 14778 HAS SOUPS 14532 WITH SCORE 14547.129
AT ITER 1531 NEW BEST:: SOT 57598 SOS 15094 HAS SOPS 14848 HAS SOUS 14774 HAS SOUPS 14528 WITH SCORE 14543.094
AT ITER 1538 NEW BEST:: SOT 57586 SOS 15066 HAS SOPS 14820 HAS SOUS 14750 HAS SOUPS 14504 WITH SCORE 14519.066
AT ITER 1543 NEW BEST:: SOT 57577 SOS 15023 HAS SOPS 14777 HAS SOUS 14707 HAS SOUPS 14461 WITH SCORE 14476.023
AT ITER 1545 NEW BEST:: SOT 57554 SOS 14966 HAS SOPS 14720 HAS SOUS 14660 HAS SOUPS 14414 WITH SCORE 14428.966
AT ITER 1548 NEW BEST:: SOT 57555 SOS 14964 HAS SOPS 14718 HAS SOUS 14658 HAS SOUPS 14412 WITH SCORE 14426.964
AT ITER 1549 NEW BEST:: SOT 57545 SOS 14944 HAS SOPS 14698 HAS SOUS 14638 HAS SOUPS 14392 WITH SCORE 14406.944
AT ITER 1557 NEW BEST:: SOT 57518 SOS 14897 HAS SOPS 14651 HAS SOUS 14591 HAS SOUPS 14345 WITH SCORE 14359.897
AT ITER 1561 NEW BEST:: SOT 57518 SOS 14882 HAS SOPS 14636 HAS SOUS 14561 HAS SOUPS 14315 WITH SCORE 14329.882
AT ITER 1579 NEW BEST:: SOT 57490 SOS 14833 HAS SOPS 14587 HAS SOUS 14519 HAS SOUPS 14273 WITH SCORE 14287.833
AT ITER 1584 NEW BEST:: SOT 57485 SOS 14813 HAS SOPS 14567 HAS SOUS 14499 HAS SOUPS 14253 WITH SCORE 14267.813
AT ITER 1586 NEW BEST:: SOT 57454 SOS 14622 HAS SOPS 14376 HAS SOUS 14356 HAS SOUPS 14110 WITH SCORE 14124.622
AT ITER 1602 NEW BEST:: SOT 57445 SOS 14608 HAS SOPS 14362 HAS SOUS 14342 HAS SOUPS 14096 WITH SCORE 14110.608
AT ITER 1604 NEW BEST:: SOT 57425 SOS 14601 HAS SOPS 14355 HAS SOUS 14335 HAS SOUPS 14089 WITH SCORE 14103.601
AT ITER 1608 NEW BEST:: SOT 57408 SOS 14549 HAS SOPS 14303 HAS SOUS 14280 HAS SOUPS 14034 WITH SCORE 14048.549
AT ITER 1623 NEW BEST:: SOT 57360 SOS 14489 HAS SOPS 14243 HAS SOUS 14220 HAS SOUPS 13974 WITH SCORE 13988.489
AT ITER 1624 NEW BEST:: SOT 57246 SOS 14457 HAS SOPS 14211 HAS SOUS 14188 HAS SOUPS 13942 WITH SCORE 13956.457
AT ITER 1629 NEW BEST:: SOT 57236 SOS 14452 HAS SOPS 14206 HAS SOUS 14183 HAS SOUPS 13937 WITH SCORE 13951.452
AT ITER 1645 NEW BEST:: SOT 57211 SOS 14441 HAS SOPS 14195 HAS SOUS 14154 HAS SOUPS 13908 WITH SCORE 13922.441
AT ITER 1648 NEW BEST:: SOT 57171 SOS 14361 HAS SOPS 14115 HAS SOUS 14074 HAS SOUPS 13828 WITH SCORE 13842.361
AT ITER 1666 NEW BEST:: SOT 57138 SOS 14313 HAS SOPS 14067 HAS SOUS 13985 HAS SOUPS 13739 WITH SCORE 13753.313
AT ITER 1680 NEW BEST:: SOT 57137 SOS 14312 HAS SOPS 14066 HAS SOUS 13985 HAS SOUPS 13739 WITH SCORE 13753.312
AT ITER 1687 NEW BEST:: SOT 57136 SOS 14269 HAS SOPS 14023 HAS SOUS 13942 HAS SOUPS 13696 WITH SCORE 13710.269
AT ITER 1702 NEW BEST:: SOT 57125 SOS 14264 HAS SOPS 14018 HAS SOUS 13937 HAS SOUPS 13691 WITH SCORE 13705.264
AT ITER 1711 NEW BEST:: SOT 57121 SOS 14258 HAS SOPS 14012 HAS SOUS 13931 HAS SOUPS 13685 WITH SCORE 13699.258
AT ITER 1721 NEW BEST:: SOT 57113 SOS 14249 HAS SOPS 14003 HAS SOUS 13922 HAS SOUPS 13676 WITH SCORE 13690.249
AT ITER 1729 NEW BEST:: SOT 57073 SOS 14047 HAS SOPS 13801 HAS SOUS 13761 HAS SOUPS 13515 WITH SCORE 13529.047
AT ITER 1734 NEW BEST:: SOT 57036 SOS 13990 HAS SOPS 13744 HAS SOUS 13704 HAS SOUPS 13458 WITH SCORE 13471.99
AT ITER 1737 NEW BEST:: SOT 57033 SOS 13987 HAS SOPS 13741 HAS SOUS 13701 HAS SOUPS 13455 WITH SCORE 13468.987
AT ITER 1739 NEW BEST:: SOT 57011 SOS 13956 HAS SOPS 13710 HAS SOUS 13670 HAS SOUPS 13424 WITH SCORE 13437.956
AT ITER 1740 NEW BEST:: SOT 56998 SOS 13935 HAS SOPS 13689 HAS SOUS 13649 HAS SOUPS 13403 WITH SCORE 13416.935
AT ITER 1750 NEW BEST:: SOT 57019 SOS 13921 HAS SOPS 13675 HAS SOUS 13606 HAS SOUPS 13360 WITH SCORE 13373.921
AT ITER 1759 NEW BEST:: SOT 56992 SOS 13880 HAS SOPS 13634 HAS SOUS 13565 HAS SOUPS 13319 WITH SCORE 13332.88
AT ITER 1761 NEW BEST:: SOT 56974 SOS 13862 HAS SOPS 13616 HAS SOUS 13545 HAS SOUPS 13299 WITH SCORE 13312.862
AT ITER 1770 NEW BEST:: SOT 56974 SOS 13858 HAS SOPS 13612 HAS SOUS 13541 HAS SOUPS 13295 WITH SCORE 13308.858
AT ITER 1772 NEW BEST:: SOT 56962 SOS 13840 HAS SOPS 13594 HAS SOUS 13523 HAS SOUPS 13277 WITH SCORE 13290.84
AT ITER 1777 NEW BEST:: SOT 56953 SOS 13819 HAS SOPS 13573 HAS SOUS 13502 HAS SOUPS 13256 WITH SCORE 13269.819
AT ITER 1781 NEW BEST:: SOT 56942 SOS 13775 HAS SOPS 13529 HAS SOUS 13458 HAS SOUPS 13212 WITH SCORE 13225.775
AT ITER 1797 NEW BEST:: SOT 56930 SOS 13745 HAS SOPS 13499 HAS SOUS 13428 HAS SOUPS 13182 WITH SCORE 13195.745
AT ITER 1806 NEW BEST:: SOT 56928 SOS 13743 HAS SOPS 13498 HAS SOUS 13426 HAS SOUPS 13181 WITH SCORE 13194.743
AT ITER 1827 NEW BEST:: SOT 56936 SOS 13723 HAS SOPS 13478 HAS SOUS 13398 HAS SOUPS 13153 WITH SCORE 13166.723
AT ITER 1838 NEW BEST:: SOT 56936 SOS 13714 HAS SOPS 13469 HAS SOUS 13389 HAS SOUPS 13144 WITH SCORE 13157.714
AT ITER 1839 NEW BEST:: SOT 56928 SOS 13691 HAS SOPS 13446 HAS SOUS 13366 HAS SOUPS 13121 WITH SCORE 13134.691
AT ITER 1843 NEW BEST:: SOT 56816 SOS 13517 HAS SOPS 13272 HAS SOUS 13192 HAS SOUPS 12947 WITH SCORE 12960.517
AT ITER 1865 NEW BEST:: SOT 56818 SOS 13508 HAS SOPS 13263 HAS SOUS 13183 HAS SOUPS 12938 WITH SCORE 12951.508
AT ITER 1876 NEW BEST:: SOT 56786 SOS 13498 HAS SOPS 13253 HAS SOUS 13173 HAS SOUPS 12928 WITH SCORE 12941.498
AT ITER 1886 NEW BEST:: SOT 56782 SOS 13492 HAS SOPS 13247 HAS SOUS 13167 HAS SOUPS 12922 WITH SCORE 12935.492
AT ITER 1912 NEW BEST:: SOT 56782 SOS 13492 HAS SOPS 13247 HAS SOUS 13147 HAS SOUPS 12902 WITH SCORE 12915.492
AT ITER 1928 NEW BEST:: SOT 56772 SOS 13472 HAS SOPS 13227 HAS SOUS 13127 HAS SOUPS 12882 WITH SCORE 12895.472
AT ITER 1929 NEW BEST:: SOT 56720 SOS 13368 HAS SOPS 13123 HAS SOUS 12982 HAS SOUPS 12737 WITH SCORE 12750.368
AT ITER 1935 NEW BEST:: SOT 56688 SOS 13317 HAS SOPS 13072 HAS SOUS 12958 HAS SOUPS 12713 WITH SCORE 12726.317
AT ITER 1945 NEW BEST:: SOT 56697 SOS 13270 HAS SOPS 13025 HAS SOUS 12911 HAS SOUPS 12666 WITH SCORE 12679.27
AT ITER 1948 NEW BEST:: SOT 56697 SOS 13269 HAS SOPS 13024 HAS SOUS 12909 HAS SOUPS 12664 WITH SCORE 12677.269
AT ITER 1954 NEW BEST:: SOT 56682 SOS 13233 HAS SOPS 12988 HAS SOUS 12873 HAS SOUPS 12628 WITH SCORE 12641.233
AT ITER 1974 NEW BEST:: SOT 56679 SOS 13230 HAS SOPS 12985 HAS SOUS 12870 HAS SOUPS 12625 WITH SCORE 12638.23
AT ITER 1982 NEW BEST:: SOT 56647 SOS 13162 HAS SOPS 12917 HAS SOUS 12802 HAS SOUPS 12557 WITH SCORE 12570.162
AT ITER 2021 NEW BEST:: SOT 56590 SOS 13086 HAS SOPS 12841 HAS SOUS 12707 HAS SOUPS 12462 WITH SCORE 12475.086
AT ITER 2037 NEW BEST:: SOT 56564 SOS 13039 HAS SOPS 12794 HAS SOUS 12660 HAS SOUPS 12415 WITH SCORE 12428.039
AT ITER 2039 NEW BEST:: SOT 56549 SOS 12968 HAS SOPS 12723 HAS SOUS 12558 HAS SOUPS 12313 WITH SCORE 12325.968
AT ITER 2065 NEW BEST:: SOT 56537 SOS 12950 HAS SOPS 12705 HAS SOUS 12540 HAS SOUPS 12295 WITH SCORE 12307.95
AT ITER 2067 NEW BEST:: SOT 56519 SOS 12908 HAS SOPS 12663 HAS SOUS 12504 HAS SOUPS 12259 WITH SCORE 12271.908
AT ITER 2084 NEW BEST:: SOT 56511 SOS 12888 HAS SOPS 12643 HAS SOUS 12484 HAS SOUPS 12239 WITH SCORE 12251.888
AT ITER 2110 NEW BEST:: SOT 56507 SOS 12868 HAS SOPS 12623 HAS SOUS 12464 HAS SOUPS 12219 WITH SCORE 12231.868
AT ITER 2115 NEW BEST:: SOT 56456 SOS 12700 HAS SOPS 12462 HAS SOUS 12296 HAS SOUPS 12058 WITH SCORE 12070.7
AT ITER 2116 NEW BEST:: SOT 56406 SOS 12650 HAS SOPS 12412 HAS SOUS 12246 HAS SOUPS 12008 WITH SCORE 12020.65
AT ITER 2120 NEW BEST:: SOT 56397 SOS 12629 HAS SOPS 12391 HAS SOUS 12225 HAS SOUPS 11987 WITH SCORE 11999.629
AT ITER 2131 NEW BEST:: SOT 56364 SOS 12585 HAS SOPS 12347 HAS SOUS 12181 HAS SOUPS 11943 WITH SCORE 11955.585
AT ITER 2149 NEW BEST:: SOT 56358 SOS 12573 HAS SOPS 12344 HAS SOUS 12169 HAS SOUPS 11940 WITH SCORE 11952.573
AT ITER 2156 NEW BEST:: SOT 56358 SOS 12566 HAS SOPS 12337 HAS SOUS 12162 HAS SOUPS 11933 WITH SCORE 11945.566
AT ITER 2163 NEW BEST:: SOT 56347 SOS 12558 HAS SOPS 12329 HAS SOUS 12154 HAS SOUPS 11925 WITH SCORE 11937.558
AT ITER 2174 NEW BEST:: SOT 56356 SOS 12514 HAS SOPS 12285 HAS SOUS 12146 HAS SOUPS 11917 WITH SCORE 11929.514
AT ITER 2181 NEW BEST:: SOT 56300 SOS 12402 HAS SOPS 12173 HAS SOUS 12034 HAS SOUPS 11805 WITH SCORE 11817.402
AT ITER 2214 NEW BEST:: SOT 56276 SOS 12393 HAS SOPS 12164 HAS SOUS 12025 HAS SOUPS 11796 WITH SCORE 11808.393
AT ITER 2215 NEW BEST:: SOT 56254 SOS 12336 HAS SOPS 12107 HAS SOUS 11968 HAS SOUPS 11739 WITH SCORE 11751.336
AT ITER 2247 NEW BEST:: SOT 56177 SOS 12144 HAS SOPS 11915 HAS SOUS 11797 HAS SOUPS 11568 WITH SCORE 11580.144
AT ITER 2251 NEW BEST:: SOT 56147 SOS 12115 HAS SOPS 11886 HAS SOUS 11768 HAS SOUPS 11539 WITH SCORE 11551.115
AT ITER 2276 NEW BEST:: SOT 56147 SOS 12065 HAS SOPS 11836 HAS SOUS 11762 HAS SOUPS 11533 WITH SCORE 11545.065
AT ITER 2295 NEW BEST:: SOT 56128 SOS 11985 HAS SOPS 11756 HAS SOUS 11716 HAS SOUPS 11487 WITH SCORE 11498.985
AT ITER 2311 NEW BEST:: SOT 56066 SOS 11858 HAS SOPS 11629 HAS SOUS 11620 HAS SOUPS 11391 WITH SCORE 11402.858
AT ITER 2316 NEW BEST:: SOT 56062 SOS 11853 HAS SOPS 11624 HAS SOUS 11615 HAS SOUPS 11386 WITH SCORE 11397.853
AT ITER 2317 NEW BEST:: SOT 55936 SOS 11685 HAS SOPS 11456 HAS SOUS 11447 HAS SOUPS 11218 WITH SCORE 11229.685
AT ITER 2323 NEW BEST:: SOT 55913 SOS 11633 HAS SOPS 11404 HAS SOUS 11395 HAS SOUPS 11166 WITH SCORE 11177.633
AT ITER 2337 NEW BEST:: SOT 55912 SOS 11631 HAS SOPS 11402 HAS SOUS 11393 HAS SOUPS 11164 WITH SCORE 11175.631
AT ITER 2355 NEW BEST:: SOT 55912 SOS 11626 HAS SOPS 11397 HAS SOUS 11388 HAS SOUPS 11159 WITH SCORE 11170.626
AT ITER 2383 NEW BEST:: SOT 55881 SOS 11548 HAS SOPS 11319 HAS SOUS 11307 HAS SOUPS 11078 WITH SCORE 11089.548
AT ITER 2385 NEW BEST:: SOT 55865 SOS 11532 HAS SOPS 11303 HAS SOUS 11291 HAS SOUPS 11062 WITH SCORE 11073.532
AT ITER 2395 NEW BEST:: SOT 55853 SOS 11505 HAS SOPS 11276 HAS SOUS 11286 HAS SOUPS 11057 WITH SCORE 11068.505
AT ITER 2417 NEW BEST:: SOT 55851 SOS 11501 HAS SOPS 11272 HAS SOUS 11282 HAS SOUPS 11053 WITH SCORE 11064.501
AT ITER 2446 NEW BEST:: SOT 55849 SOS 11495 HAS SOPS 11266 HAS SOUS 11276 HAS SOUPS 11047 WITH SCORE 11058.495
AT ITER 2478 NEW BEST:: SOT 55849 SOS 11493 HAS SOPS 11264 HAS SOUS 11276 HAS SOUPS 11047 WITH SCORE 11058.493
AT ITER 2492 NEW BEST:: SOT 55848 SOS 11492 HAS SOPS 11264 HAS SOUS 11275 HAS SOUPS 11047 WITH SCORE 11058.492
AT ITER 2505 NEW BEST:: SOT 55792 SOS 11347 HAS SOPS 11119 HAS SOUS 11130 HAS SOUPS 10902 WITH SCORE 10913.347
AT ITER 2512 NEW BEST:: SOT 55775 SOS 11304 HAS SOPS 11076 HAS SOUS 11087 HAS SOUPS 10859 WITH SCORE 10870.304
AT ITER 2515 NEW BEST:: SOT 55765 SOS 11274 HAS SOPS 11046 HAS SOUS 11057 HAS SOUPS 10829 WITH SCORE 10840.274
AT ITER 2532 NEW BEST:: SOT 55753 SOS 11251 HAS SOPS 11023 HAS SOUS 11034 HAS SOUPS 10806 WITH SCORE 10817.251
AT ITER 2537 NEW BEST:: SOT 55717 SOS 11145 HAS SOPS 10917 HAS SOUS 10954 HAS SOUPS 10726 WITH SCORE 10737.145
AT ITER 2550 NEW BEST:: SOT 55710 SOS 11124 HAS SOPS 10896 HAS SOUS 10933 HAS SOUPS 10705 WITH SCORE 10716.124
AT ITER 2571 NEW BEST:: SOT 55704 SOS 11115 HAS SOPS 10887 HAS SOUS 10924 HAS SOUPS 10696 WITH SCORE 10707.115
AT ITER 2579 NEW BEST:: SOT 55683 SOS 11067 HAS SOPS 10821 HAS SOUS 10876 HAS SOUPS 10630 WITH SCORE 10641.067
AT ITER 2581 NEW BEST:: SOT 55633 SOS 10962 HAS SOPS 10716 HAS SOUS 10753 HAS SOUPS 10507 WITH SCORE 10517.962
AT ITER 2608 NEW BEST:: SOT 55641 SOS 10888 HAS SOPS 10642 HAS SOUS 10720 HAS SOUPS 10474 WITH SCORE 10484.888
AT ITER 2616 NEW BEST:: SOT 55638 SOS 10882 HAS SOPS 10636 HAS SOUS 10714 HAS SOUPS 10468 WITH SCORE 10478.882
AT ITER 2619 NEW BEST:: SOT 55638 SOS 10860 HAS SOPS 10614 HAS SOUS 10692 HAS SOUPS 10446 WITH SCORE 10456.86
AT ITER 2631 NEW BEST:: SOT 55630 SOS 10822 HAS SOPS 10576 HAS SOUS 10654 HAS SOUPS 10408 WITH SCORE 10418.822
AT ITER 2632 NEW BEST:: SOT 55612 SOS 10810 HAS SOPS 10564 HAS SOUS 10645 HAS SOUPS 10399 WITH SCORE 10409.81
AT ITER 2652 NEW BEST:: SOT 55547 SOS 10659 HAS SOPS 10413 HAS SOUS 10494 HAS SOUPS 10248 WITH SCORE 10258.659
AT ITER 2663 NEW BEST:: SOT 55480 SOS 10563 HAS SOPS 10317 HAS SOUS 10398 HAS SOUPS 10152 WITH SCORE 10162.563
AT ITER 2674 NEW BEST:: SOT 55472 SOS 10548 HAS SOPS 10302 HAS SOUS 10383 HAS SOUPS 10137 WITH SCORE 10147.548
AT ITER 2676 NEW BEST:: SOT 55458 SOS 10547 HAS SOPS 10301 HAS SOUS 10382 HAS SOUPS 10136 WITH SCORE 10146.547
AT ITER 2689 NEW BEST:: SOT 55414 SOS 10459 HAS SOPS 10213 HAS SOUS 10294 HAS SOUPS 10048 WITH SCORE 10058.459
AT ITER 2713 NEW BEST:: SOT 55397 SOS 10372 HAS SOPS 10126 HAS SOUS 10205 HAS SOUPS 9959 WITH SCORE 9969.372
AT ITER 2743 NEW BEST:: SOT 55370 SOS 10291 HAS SOPS 10045 HAS SOUS 10124 HAS SOUPS 9878 WITH SCORE 9888.291
AT ITER 2753 NEW BEST:: SOT 55335 SOS 10258 HAS SOPS 10012 HAS SOUS 10091 HAS SOUPS 9845 WITH SCORE 9855.258
AT ITER 2755 NEW BEST:: SOT 55336 SOS 10244 HAS SOPS 9998 HAS SOUS 10076 HAS SOUPS 9830 WITH SCORE 9840.244
AT ITER 2763 NEW BEST:: SOT 55330 SOS 10235 HAS SOPS 9989 HAS SOUS 10067 HAS SOUPS 9821 WITH SCORE 9831.235
AT ITER 2766 NEW BEST:: SOT 55316 SOS 10217 HAS SOPS 9971 HAS SOUS 10049 HAS SOUPS 9803 WITH SCORE 9813.217
AT ITER 2769 NEW BEST:: SOT 55293 SOS 10181 HAS SOPS 9935 HAS SOUS 10015 HAS SOUPS 9769 WITH SCORE 9779.181
AT ITER 2772 NEW BEST:: SOT 55269 SOS 10157 HAS SOPS 9911 HAS SOUS 9991 HAS SOUPS 9745 WITH SCORE 9755.157
AT ITER 2784 NEW BEST:: SOT 55265 SOS 10153 HAS SOPS 9907 HAS SOUS 9987 HAS SOUPS 9741 WITH SCORE 9751.153
AT ITER 2785 NEW BEST:: SOT 55263 SOS 10141 HAS SOPS 9895 HAS SOUS 9975 HAS SOUPS 9729 WITH SCORE 9739.141
AT ITER 2797 NEW BEST:: SOT 55234 SOS 10092 HAS SOPS 9846 HAS SOUS 9941 HAS SOUPS 9695 WITH SCORE 9705.092
AT ITER 2808 NEW BEST:: SOT 55203 SOS 10061 HAS SOPS 9815 HAS SOUS 9910 HAS SOUPS 9664 WITH SCORE 9674.061
AT ITER 2829 NEW BEST:: SOT 55195 SOS 10047 HAS SOPS 9801 HAS SOUS 9896 HAS SOUPS 9650 WITH SCORE 9660.047
AT ITER 2870 NEW BEST:: SOT 55192 SOS 10044 HAS SOPS 9798 HAS SOUS 9887 HAS SOUPS 9641 WITH SCORE 9651.044
AT ITER 2875 NEW BEST:: SOT 55170 SOS 10003 HAS SOPS 9756 HAS SOUS 9846 HAS SOUPS 9599 WITH SCORE 9609.003
AT ITER 2880 NEW BEST:: SOT 55169 SOS 9999 HAS SOPS 9752 HAS SOUS 9842 HAS SOUPS 9595 WITH SCORE 9604.999
AT ITER 2885 NEW BEST:: SOT 55122 SOS 9899 HAS SOPS 9652 HAS SOUS 9756 HAS SOUPS 9509 WITH SCORE 9518.899
AT ITER 2918 NEW BEST:: SOT 55102 SOS 9866 HAS SOPS 9619 HAS SOUS 9723 HAS SOUPS 9476 WITH SCORE 9485.866
AT ITER 2923 NEW BEST:: SOT 55109 SOS 9858 HAS SOPS 9611 HAS SOUS 9715 HAS SOUPS 9468 WITH SCORE 9477.858
AT ITER 2945 NEW BEST:: SOT 55076 SOS 9814 HAS SOPS 9567 HAS SOUS 9660 HAS SOUPS 9413 WITH SCORE 9422.814
AT ITER 2968 NEW BEST:: SOT 55076 SOS 9798 HAS SOPS 9551 HAS SOUS 9628 HAS SOUPS 9381 WITH SCORE 9390.798
AT ITER 2983 NEW BEST:: SOT 55067 SOS 9786 HAS SOPS 9539 HAS SOUS 9616 HAS SOUPS 9369 WITH SCORE 9378.786
AT ITER 2996 NEW BEST:: SOT 55049 SOS 9762 HAS SOPS 9515 HAS SOUS 9592 HAS SOUPS 9345 WITH SCORE 9354.762
AT ITER 2998 NEW BEST:: SOT 55037 SOS 9748 HAS SOPS 9501 HAS SOUS 9578 HAS SOUPS 9331 WITH SCORE 9340.748
AT ITER 3012 NEW BEST:: SOT 55031 SOS 9743 HAS SOPS 9496 HAS SOUS 9573 HAS SOUPS 9326 WITH SCORE 9335.743
AT ITER 3062 NEW BEST:: SOT 55030 SOS 9739 HAS SOPS 9492 HAS SOUS 9570 HAS SOUPS 9323 WITH SCORE 9332.739
AT ITER 3069 NEW BEST:: SOT 55009 SOS 9714 HAS SOPS 9467 HAS SOUS 9545 HAS SOUPS 9298 WITH SCORE 9307.714
AT ITER 3090 NEW BEST:: SOT 55006 SOS 9713 HAS SOPS 9466 HAS SOUS 9544 HAS SOUPS 9297 WITH SCORE 9306.713
AT ITER 3093 NEW BEST:: SOT 54997 SOS 9682 HAS SOPS 9435 HAS SOUS 9520 HAS SOUPS 9273 WITH SCORE 9282.682
AT ITER 3094 NEW BEST:: SOT 54989 SOS 9670 HAS SOPS 9423 HAS SOUS 9512 HAS SOUPS 9265 WITH SCORE 9274.67
AT ITER 3124 NEW BEST:: SOT 54969 SOS 9698 HAS SOPS 9451 HAS SOUS 9504 HAS SOUPS 9257 WITH SCORE 9266.698
AT ITER 3136 NEW BEST:: SOT 54968 SOS 9695 HAS SOPS 9448 HAS SOUS 9501 HAS SOUPS 9254 WITH SCORE 9263.695
AT ITER 3176 NEW BEST:: SOT 54924 SOS 9619 HAS SOPS 9372 HAS SOUS 9425 HAS SOUPS 9178 WITH SCORE 9187.619
AT ITER 3200 NEW BEST:: SOT 54922 SOS 9615 HAS SOPS 9368 HAS SOUS 9423 HAS SOUPS 9176 WITH SCORE 9185.615
AT ITER 3212 NEW BEST:: SOT 54915 SOS 9609 HAS SOPS 9362 HAS SOUS 9417 HAS SOUPS 9170 WITH SCORE 9179.609
AT ITER 3241 NEW BEST:: SOT 54893 SOS 9567 HAS SOPS 9320 HAS SOUS 9375 HAS SOUPS 9128 WITH SCORE 9137.567
AT ITER 3257 NEW BEST:: SOT 54881 SOS 9531 HAS SOPS 9284 HAS SOUS 9339 HAS SOUPS 9092 WITH SCORE 9101.531
AT ITER 3265 NEW BEST:: SOT 54884 SOS 9531 HAS SOPS 9284 HAS SOUS 9338 HAS SOUPS 9091 WITH SCORE 9100.531
AT ITER 3267 NEW BEST:: SOT 54867 SOS 9482 HAS SOPS 9235 HAS SOUS 9289 HAS SOUPS 9042 WITH SCORE 9051.482
AT ITER 3269 NEW BEST:: SOT 54864 SOS 9468 HAS SOPS 9221 HAS SOUS 9276 HAS SOUPS 9029 WITH SCORE 9038.468
AT ITER 3274 NEW BEST:: SOT 54830 SOS 9400 HAS SOPS 9153 HAS SOUS 9234 HAS SOUPS 8987 WITH SCORE 8996.4
AT ITER 3287 NEW BEST:: SOT 54825 SOS 9397 HAS SOPS 9150 HAS SOUS 9224 HAS SOUPS 8977 WITH SCORE 8986.397
AT ITER 3293 NEW BEST:: SOT 54833 SOS 9391 HAS SOPS 9144 HAS SOUS 9218 HAS SOUPS 8971 WITH SCORE 8980.391
AT ITER 3316 NEW BEST:: SOT 54832 SOS 9390 HAS SOPS 9143 HAS SOUS 9217 HAS SOUPS 8970 WITH SCORE 8979.39
AT ITER 3320 NEW BEST:: SOT 54858 SOS 9364 HAS SOPS 9117 HAS SOUS 9191 HAS SOUPS 8944 WITH SCORE 8953.364
AT ITER 3325 NEW BEST:: SOT 54846 SOS 9330 HAS SOPS 9082 HAS SOUS 9157 HAS SOUPS 8909 WITH SCORE 8918.33
AT ITER 3345 NEW BEST:: SOT 54844 SOS 9329 HAS SOPS 9081 HAS SOUS 9156 HAS SOUPS 8908 WITH SCORE 8917.329
AT ITER 3350 NEW BEST:: SOT 54781 SOS 9269 HAS SOPS 9021 HAS SOUS 9078 HAS SOUPS 8830 WITH SCORE 8839.269
AT ITER 3356 NEW BEST:: SOT 54777 SOS 9261 HAS SOPS 9013 HAS SOUS 9068 HAS SOUPS 8820 WITH SCORE 8829.261
AT ITER 3392 NEW BEST:: SOT 54775 SOS 9248 HAS SOPS 9000 HAS SOUS 9055 HAS SOUPS 8807 WITH SCORE 8816.248
AT ITER 3427 NEW BEST:: SOT 54773 SOS 9246 HAS SOPS 8998 HAS SOUS 9053 HAS SOUPS 8805 WITH SCORE 8814.246
AT ITER 3441 NEW BEST:: SOT 54768 SOS 9230 HAS SOPS 8982 HAS SOUS 9038 HAS SOUPS 8790 WITH SCORE 8799.23
AT ITER 3452 NEW BEST:: SOT 54664 SOS 9022 HAS SOPS 8774 HAS SOUS 8830 HAS SOUPS 8582 WITH SCORE 8591.022
AT ITER 3456 NEW BEST:: SOT 54664 SOS 9017 HAS SOPS 8769 HAS SOUS 8825 HAS SOUPS 8577 WITH SCORE 8586.017
AT ITER 3484 NEW BEST:: SOT 54568 SOS 8882 HAS SOPS 8634 HAS SOUS 8690 HAS SOUPS 8442 WITH SCORE 8450.882
AT ITER 3531 NEW BEST:: SOT 54564 SOS 8866 HAS SOPS 8618 HAS SOUS 8682 HAS SOUPS 8434 WITH SCORE 8442.866
AT ITER 3535 NEW BEST:: SOT 54562 SOS 8850 HAS SOPS 8602 HAS SOUS 8668 HAS SOUPS 8420 WITH SCORE 8428.85
AT ITER 3548 NEW BEST:: SOT 54560 SOS 8847 HAS SOPS 8599 HAS SOUS 8665 HAS SOUPS 8417 WITH SCORE 8425.847
AT ITER 3572 NEW BEST:: SOT 54557 SOS 8844 HAS SOPS 8596 HAS SOUS 8662 HAS SOUPS 8414 WITH SCORE 8422.844
AT ITER 3580 NEW BEST:: SOT 54551 SOS 8841 HAS SOPS 8593 HAS SOUS 8659 HAS SOUPS 8411 WITH SCORE 8419.841
AT ITER 3593 NEW BEST:: SOT 54681 SOS 8833 HAS SOPS 8585 HAS SOUS 8651 HAS SOUPS 8403 WITH SCORE 8411.833
AT ITER 3609 NEW BEST:: SOT 54677 SOS 8827 HAS SOPS 8579 HAS SOUS 8645 HAS SOUPS 8397 WITH SCORE 8405.827
AT ITER 3629 NEW BEST:: SOT 54655 SOS 8795 HAS SOPS 8547 HAS SOUS 8613 HAS SOUPS 8365 WITH SCORE 8373.795
AT ITER 3639 NEW BEST:: SOT 54649 SOS 8787 HAS SOPS 8539 HAS SOUS 8605 HAS SOUPS 8357 WITH SCORE 8365.787
AT ITER 3694 NEW BEST:: SOT 54644 SOS 8733 HAS SOPS 8485 HAS SOUS 8564 HAS SOUPS 8316 WITH SCORE 8324.733
AT ITER 3723 NEW BEST:: SOT 54636 SOS 8701 HAS SOPS 8453 HAS SOUS 8540 HAS SOUPS 8292 WITH SCORE 8300.701
AT ITER 3783 NEW BEST:: SOT 54636 SOS 8701 HAS SOPS 8453 HAS SOUS 8533 HAS SOUPS 8285 WITH SCORE 8293.701
AT ITER 3785 NEW BEST:: SOT 54625 SOS 8689 HAS SOPS 8441 HAS SOUS 8521 HAS SOUPS 8273 WITH SCORE 8281.689
AT ITER 3814 NEW BEST:: SOT 54613 SOS 8675 HAS SOPS 8427 HAS SOUS 8507 HAS SOUPS 8259 WITH SCORE 8267.675
AT ITER 3815 NEW BEST:: SOT 54618 SOS 8674 HAS SOPS 8426 HAS SOUS 8506 HAS SOUPS 8258 WITH SCORE 8266.674
AT ITER 3822 NEW BEST:: SOT 54596 SOS 8669 HAS SOPS 8421 HAS SOUS 8501 HAS SOUPS 8253 WITH SCORE 8261.669
AT ITER 3832 NEW BEST:: SOT 54586 SOS 8662 HAS SOPS 8414 HAS SOUS 8469 HAS SOUPS 8221 WITH SCORE 8229.662
AT ITER 3838 NEW BEST:: SOT 54590 SOS 8658 HAS SOPS 8410 HAS SOUS 8465 HAS SOUPS 8217 WITH SCORE 8225.658
AT ITER 3844 NEW BEST:: SOT 54549 SOS 8606 HAS SOPS 8358 HAS SOUS 8427 HAS SOUPS 8179 WITH SCORE 8187.606
AT ITER 3852 NEW BEST:: SOT 54510 SOS 8567 HAS SOPS 8319 HAS SOUS 8388 HAS SOUPS 8140 WITH SCORE 8148.567
AT ITER 3875 NEW BEST:: SOT 54502 SOS 8553 HAS SOPS 8305 HAS SOUS 8374 HAS SOUPS 8126 WITH SCORE 8134.553
AT ITER 3907 NEW BEST:: SOT 54502 SOS 8547 HAS SOPS 8299 HAS SOUS 8368 HAS SOUPS 8120 WITH SCORE 8128.547
AT ITER 3924 NEW BEST:: SOT 54486 SOS 8547 HAS SOPS 8299 HAS SOUS 8352 HAS SOUPS 8104 WITH SCORE 8112.547
AT ITER 3927 NEW BEST:: SOT 54485 SOS 8520 HAS SOPS 8272 HAS SOUS 8341 HAS SOUPS 8093 WITH SCORE 8101.52
AT ITER 3929 NEW BEST:: SOT 54485 SOS 8520 HAS SOPS 8272 HAS SOUS 8331 HAS SOUPS 8083 WITH SCORE 8091.52
AT ITER 3948 NEW BEST:: SOT 54470 SOS 8491 HAS SOPS 8243 HAS SOUS 8311 HAS SOUPS 8063 WITH SCORE 8071.491
AT ITER 3953 NEW BEST:: SOT 54468 SOS 8474 HAS SOPS 8226 HAS SOUS 8305 HAS SOUPS 8057 WITH SCORE 8065.474
AT ITER 3975 NEW BEST:: SOT 54464 SOS 8462 HAS SOPS 8214 HAS SOUS 8297 HAS SOUPS 8049 WITH SCORE 8057.462
AT ITER 3987 NEW BEST:: SOT 54462 SOS 8460 HAS SOPS 8212 HAS SOUS 8295 HAS SOUPS 8047 WITH SCORE 8055.46
AT ITER 4018 NEW BEST:: SOT 54430 SOS 8400 HAS SOPS 8152 HAS SOUS 8245 HAS SOUPS 7997 WITH SCORE 8005.4
AT ITER 4067 NEW BEST:: SOT 54422 SOS 8392 HAS SOPS 8144 HAS SOUS 8237 HAS SOUPS 7989 WITH SCORE 7997.392
AT ITER 4068 NEW BEST:: SOT 54414 SOS 8380 HAS SOPS 8132 HAS SOUS 8225 HAS SOUPS 7977 WITH SCORE 7985.38
AT ITER 4097 NEW BEST:: SOT 54414 SOS 8349 HAS SOPS 8101 HAS SOUS 8213 HAS SOUPS 7965 WITH SCORE 7973.349
AT ITER 4126 NEW BEST:: SOT 54408 SOS 8333 HAS SOPS 8085 HAS SOUS 8201 HAS SOUPS 7953 WITH SCORE 7961.333
AT ITER 4146 NEW BEST:: SOT 54363 SOS 8275 HAS SOPS 8027 HAS SOUS 8140 HAS SOUPS 7892 WITH SCORE 7900.275
AT ITER 4150 NEW BEST:: SOT 54360 SOS 8267 HAS SOPS 8019 HAS SOUS 8128 HAS SOUPS 7880 WITH SCORE 7888.267
AT ITER 4168 NEW BEST:: SOT 54336 SOS 8249 HAS SOPS 8001 HAS SOUS 8110 HAS SOUPS 7862 WITH SCORE 7870.249
AT ITER 4181 NEW BEST:: SOT 54316 SOS 8233 HAS SOPS 7985 HAS SOUS 8094 HAS SOUPS 7846 WITH SCORE 7854.233
AT ITER 4207 NEW BEST:: SOT 54313 SOS 8229 HAS SOPS 7981 HAS SOUS 8090 HAS SOUPS 7842 WITH SCORE 7850.229
AT ITER 4209 NEW BEST:: SOT 54309 SOS 8225 HAS SOPS 7977 HAS SOUS 8086 HAS SOUPS 7838 WITH SCORE 7846.225
AT ITER 4245 NEW BEST:: SOT 54307 SOS 8221 HAS SOPS 7973 HAS SOUS 8082 HAS SOUPS 7834 WITH SCORE 7842.221
AT ITER 4270 NEW BEST:: SOT 54301 SOS 8203 HAS SOPS 7955 HAS SOUS 8064 HAS SOUPS 7816 WITH SCORE 7824.203
AT ITER 4294 NEW BEST:: SOT 54295 SOS 8194 HAS SOPS 7946 HAS SOUS 8055 HAS SOUPS 7807 WITH SCORE 7815.194
AT ITER 4332 NEW BEST:: SOT 54289 SOS 8182 HAS SOPS 7934 HAS SOUS 8043 HAS SOUPS 7795 WITH SCORE 7803.182
AT ITER 4333 NEW BEST:: SOT 54302 SOS 8179 HAS SOPS 7931 HAS SOUS 8040 HAS SOUPS 7792 WITH SCORE 7800.179
AT ITER 4352 NEW BEST:: SOT 54302 SOS 8176 HAS SOPS 7928 HAS SOUS 8038 HAS SOUPS 7790 WITH SCORE 7798.176
AT ITER 4359 NEW BEST:: SOT 54301 SOS 8170 HAS SOPS 7922 HAS SOUS 8022 HAS SOUPS 7774 WITH SCORE 7782.17
AT ITER 4366 NEW BEST:: SOT 54290 SOS 8139 HAS SOPS 7891 HAS SOUS 7991 HAS SOUPS 7743 WITH SCORE 7751.139
AT ITER 4387 NEW BEST:: SOT 54262 SOS 8083 HAS SOPS 7835 HAS SOUS 7935 HAS SOUPS 7687 WITH SCORE 7695.083
AT ITER 4429 NEW BEST:: SOT 54261 SOS 8082 HAS SOPS 7835 HAS SOUS 7934 HAS SOUPS 7687 WITH SCORE 7695.082
AT ITER 4454 NEW BEST:: SOT 54261 SOS 8080 HAS SOPS 7833 HAS SOUS 7932 HAS SOUPS 7685 WITH SCORE 7693.08
AT ITER 4460 NEW BEST:: SOT 54257 SOS 8074 HAS SOPS 7827 HAS SOUS 7926 HAS SOUPS 7679 WITH SCORE 7687.074
AT ITER 4492 NEW BEST:: SOT 54264 SOS 8057 HAS SOPS 7810 HAS SOUS 7909 HAS SOUPS 7662 WITH SCORE 7670.057
AT ITER 4493 NEW BEST:: SOT 54259 SOS 8053 HAS SOPS 7806 HAS SOUS 7905 HAS SOUPS 7658 WITH SCORE 7666.053
AT ITER 4494 NEW BEST:: SOT 54269 SOS 8051 HAS SOPS 7804 HAS SOUS 7903 HAS SOUPS 7656 WITH SCORE 7664.051
AT ITER 4503 NEW BEST:: SOT 54259 SOS 8010 HAS SOPS 7763 HAS SOUS 7859 HAS SOUPS 7612 WITH SCORE 7620.01
AT ITER 4554 NEW BEST:: SOT 54231 SOS 7975 HAS SOPS 7728 HAS SOUS 7824 HAS SOUPS 7577 WITH SCORE 7584.975
AT ITER 4603 NEW BEST:: SOT 54227 SOS 7970 HAS SOPS 7723 HAS SOUS 7819 HAS SOUPS 7572 WITH SCORE 7579.97
AT ITER 4606 NEW BEST:: SOT 54215 SOS 7946 HAS SOPS 7699 HAS SOUS 7795 HAS SOUPS 7548 WITH SCORE 7555.946
AT ITER 4608 NEW BEST:: SOT 54180 SOS 7907 HAS SOPS 7660 HAS SOUS 7736 HAS SOUPS 7489 WITH SCORE 7496.907
AT ITER 4616 NEW BEST:: SOT 54180 SOS 7890 HAS SOPS 7643 HAS SOUS 7719 HAS SOUPS 7472 WITH SCORE 7479.89
AT ITER 4625 NEW BEST:: SOT 54192 SOS 7886 HAS SOPS 7639 HAS SOUS 7718 HAS SOUPS 7471 WITH SCORE 7478.886
AT ITER 4631 NEW BEST:: SOT 54188 SOS 7878 HAS SOPS 7631 HAS SOUS 7710 HAS SOUPS 7463 WITH SCORE 7470.878
AT ITER 4693 NEW BEST:: SOT 54186 SOS 7875 HAS SOPS 7628 HAS SOUS 7707 HAS SOUPS 7460 WITH SCORE 7467.875
AT ITER 4698 NEW BEST:: SOT 54182 SOS 7867 HAS SOPS 7620 HAS SOUS 7699 HAS SOUPS 7452 WITH SCORE 7459.867
AT ITER 4705 NEW BEST:: SOT 54161 SOS 7833 HAS SOPS 7586 HAS SOUS 7665 HAS SOUPS 7418 WITH SCORE 7425.833
AT ITER 4744 NEW BEST:: SOT 54152 SOS 7815 HAS SOPS 7568 HAS SOUS 7647 HAS SOUPS 7400 WITH SCORE 7407.815
AT ITER 4755 NEW BEST:: SOT 54140 SOS 7791 HAS SOPS 7544 HAS SOUS 7623 HAS SOUPS 7376 WITH SCORE 7383.791
AT ITER 4768 NEW BEST:: SOT 54144 SOS 7791 HAS SOPS 7544 HAS SOUS 7622 HAS SOUPS 7375 WITH SCORE 7382.791
AT ITER 4769 NEW BEST:: SOT 54126 SOS 7748 HAS SOPS 7501 HAS SOUS 7579 HAS SOUPS 7332 WITH SCORE 7339.748
AT ITER 4826 NEW BEST:: SOT 54113 SOS 7705 HAS SOPS 7458 HAS SOUS 7552 HAS SOUPS 7305 WITH SCORE 7312.705
AT ITER 4832 NEW BEST:: SOT 54106 SOS 7699 HAS SOPS 7452 HAS SOUS 7547 HAS SOUPS 7300 WITH SCORE 7307.699
AT ITER 4846 NEW BEST:: SOT 54100 SOS 7687 HAS SOPS 7440 HAS SOUS 7545 HAS SOUPS 7298 WITH SCORE 7305.687
AT ITER 4856 NEW BEST:: SOT 54100 SOS 7658 HAS SOPS 7411 HAS SOUS 7529 HAS SOUPS 7282 WITH SCORE 7289.658
AT ITER 4941 NEW BEST:: SOT 54099 SOS 7657 HAS SOPS 7410 HAS SOUS 7529 HAS SOUPS 7282 WITH SCORE 7289.657
AT ITER 4970 NEW BEST:: SOT 54099 SOS 7649 HAS SOPS 7402 HAS SOUS 7519 HAS SOUPS 7272 WITH SCORE 7279.649
AT ITER 4982 NEW BEST:: SOT 54095 SOS 7641 HAS SOPS 7394 HAS SOUS 7511 HAS SOUPS 7264 WITH SCORE 7271.641
AT ITER 5005 NEW BEST:: SOT 54093 SOS 7625 HAS SOPS 7378 HAS SOUS 7495 HAS SOUPS 7248 WITH SCORE 7255.625
AT ITER 5013 NEW BEST:: SOT 54092 SOS 7624 HAS SOPS 7377 HAS SOUS 7494 HAS SOUPS 7247 WITH SCORE 7254.624
AT ITER 5047 NEW BEST:: SOT 54087 SOS 7617 HAS SOPS 7370 HAS SOUS 7487 HAS SOUPS 7240 WITH SCORE 7247.617
AT ITER 5052 NEW BEST:: SOT 54080 SOS 7606 HAS SOPS 7359 HAS SOUS 7478 HAS SOUPS 7231 WITH SCORE 7238.606
AT ITER 5074 NEW BEST:: SOT 54085 SOS 7605 HAS SOPS 7358 HAS SOUS 7477 HAS SOUPS 7230 WITH SCORE 7237.605
AT ITER 5103 NEW BEST:: SOT 54086 SOS 7596 HAS SOPS 7349 HAS SOUS 7468 HAS SOUPS 7221 WITH SCORE 7228.596
AT ITER 5205 NEW BEST:: SOT 54081 SOS 7580 HAS SOPS 7333 HAS SOUS 7457 HAS SOUPS 7210 WITH SCORE 7217.58
AT ITER 5217 NEW BEST:: SOT 54078 SOS 7577 HAS SOPS 7330 HAS SOUS 7454 HAS SOUPS 7207 WITH SCORE 7214.577
AT ITER 5250 NEW BEST:: SOT 54087 SOS 7537 HAS SOPS 7290 HAS SOUS 7424 HAS SOUPS 7177 WITH SCORE 7184.537
AT ITER 5287 NEW BEST:: SOT 54083 SOS 7531 HAS SOPS 7284 HAS SOUS 7418 HAS SOUPS 7171 WITH SCORE 7178.531
AT ITER 5312 NEW BEST:: SOT 54081 SOS 7529 HAS SOPS 7282 HAS SOUS 7416 HAS SOUPS 7169 WITH SCORE 7176.529
AT ITER 5350 NEW BEST:: SOT 54190 SOS 7525 HAS SOPS 7278 HAS SOUS 7303 HAS SOUPS 7056 WITH SCORE 7063.525
AT ITER 5359 NEW BEST:: SOT 54161 SOS 7478 HAS SOPS 7231 HAS SOUS 7256 HAS SOUPS 7009 WITH SCORE 7016.478
AT ITER 5365 NEW BEST:: SOT 54158 SOS 7465 HAS SOPS 7218 HAS SOUS 7246 HAS SOUPS 6999 WITH SCORE 7006.465
AT ITER 5415 NEW BEST:: SOT 54127 SOS 7425 HAS SOPS 7178 HAS SOUS 7206 HAS SOUPS 6959 WITH SCORE 6966.425
AT ITER 5420 NEW BEST:: SOT 54127 SOS 7423 HAS SOPS 7176 HAS SOUS 7204 HAS SOUPS 6957 WITH SCORE 6964.423
AT ITER 5423 NEW BEST:: SOT 54109 SOS 7420 HAS SOPS 7173 HAS SOUS 7201 HAS SOUPS 6954 WITH SCORE 6961.42
AT ITER 5434 NEW BEST:: SOT 54107 SOS 7418 HAS SOPS 7171 HAS SOUS 7199 HAS SOUPS 6952 WITH SCORE 6959.418
AT ITER 5487 NEW BEST:: SOT 54107 SOS 7417 HAS SOPS 7170 HAS SOUS 7198 HAS SOUPS 6951 WITH SCORE 6958.417
AT ITER 5523 NEW BEST:: SOT 54033 SOS 7264 HAS SOPS 7017 HAS SOUS 7126 HAS SOUPS 6879 WITH SCORE 6886.264
AT ITER 5553 NEW BEST:: SOT 54031 SOS 7258 HAS SOPS 7011 HAS SOUS 7120 HAS SOUPS 6873 WITH SCORE 6880.258
AT ITER 5581 NEW BEST:: SOT 54015 SOS 7194 HAS SOPS 6947 HAS SOUS 7072 HAS SOUPS 6825 WITH SCORE 6832.194
AT ITER 5598 NEW BEST:: SOT 54055 SOS 7187 HAS SOPS 6940 HAS SOUS 7065 HAS SOUPS 6818 WITH SCORE 6825.187
AT ITER 5653 NEW BEST:: SOT 54052 SOS 7182 HAS SOPS 6935 HAS SOUS 7060 HAS SOUPS 6813 WITH SCORE 6820.182
AT ITER 5660 NEW BEST:: SOT 54052 SOS 7178 HAS SOPS 6931 HAS SOUS 7056 HAS SOUPS 6809 WITH SCORE 6816.178
AT ITER 5671 NEW BEST:: SOT 54032 SOS 7158 HAS SOPS 6911 HAS SOUS 7036 HAS SOUPS 6789 WITH SCORE 6796.158
AT ITER 5673 NEW BEST:: SOT 54024 SOS 7146 HAS SOPS 6899 HAS SOUS 7024 HAS SOUPS 6777 WITH SCORE 6784.146
AT ITER 5705 NEW BEST:: SOT 54026 SOS 7130 HAS SOPS 6883 HAS SOUS 7008 HAS SOUPS 6761 WITH SCORE 6768.13
AT ITER 5716 NEW BEST:: SOT 54008 SOS 7105 HAS SOPS 6858 HAS SOUS 6983 HAS SOUPS 6736 WITH SCORE 6743.105
AT ITER 5717 NEW BEST:: SOT 54012 SOS 7097 HAS SOPS 6850 HAS SOUS 6975 HAS SOUPS 6728 WITH SCORE 6735.097
AT ITER 5720 NEW BEST:: SOT 54015 SOS 7090 HAS SOPS 6843 HAS SOUS 6968 HAS SOUPS 6721 WITH SCORE 6728.09
AT ITER 5781 NEW BEST:: SOT 54015 SOS 7072 HAS SOPS 6825 HAS SOUS 6950 HAS SOUPS 6703 WITH SCORE 6710.072
AT ITER 5790 NEW BEST:: SOT 54011 SOS 7064 HAS SOPS 6817 HAS SOUS 6942 HAS SOUPS 6695 WITH SCORE 6702.064
AT ITER 5853 NEW BEST:: SOT 53995 SOS 7033 HAS SOPS 6786 HAS SOUS 6911 HAS SOUPS 6664 WITH SCORE 6671.033
AT ITER 5904 NEW BEST:: SOT 53995 SOS 7025 HAS SOPS 6778 HAS SOUS 6905 HAS SOUPS 6658 WITH SCORE 6665.025
AT ITER 6008 NEW BEST:: SOT 53964 SOS 6962 HAS SOPS 6715 HAS SOUS 6842 HAS SOUPS 6595 WITH SCORE 6601.962
AT ITER 6043 NEW BEST:: SOT 53966 SOS 6951 HAS SOPS 6704 HAS SOUS 6831 HAS SOUPS 6584 WITH SCORE 6590.951
AT ITER 6047 NEW BEST:: SOT 53953 SOS 6928 HAS SOPS 6681 HAS SOUS 6807 HAS SOUPS 6560 WITH SCORE 6566.928
AT ITER 6060 NEW BEST:: SOT 53949 SOS 6924 HAS SOPS 6677 HAS SOUS 6803 HAS SOUPS 6556 WITH SCORE 6562.924
AT ITER 6072 NEW BEST:: SOT 53930 SOS 6877 HAS SOPS 6630 HAS SOUS 6756 HAS SOUPS 6509 WITH SCORE 6515.877
AT ITER 6099 NEW BEST:: SOT 53932 SOS 6827 HAS SOPS 6580 HAS SOUS 6734 HAS SOUPS 6487 WITH SCORE 6493.827
AT ITER 6132 NEW BEST:: SOT 53935 SOS 6839 HAS SOPS 6592 HAS SOUS 6731 HAS SOUPS 6484 WITH SCORE 6490.839
AT ITER 6172 NEW BEST:: SOT 53933 SOS 6833 HAS SOPS 6586 HAS SOUS 6725 HAS SOUPS 6478 WITH SCORE 6484.833
AT ITER 6191 NEW BEST:: SOT 53931 SOS 6831 HAS SOPS 6584 HAS SOUS 6723 HAS SOUPS 6476 WITH SCORE 6482.831
AT ITER 6215 NEW BEST:: SOT 53928 SOS 6816 HAS SOPS 6569 HAS SOUS 6714 HAS SOUPS 6467 WITH SCORE 6473.816
AT ITER 6241 NEW BEST:: SOT 53927 SOS 6802 HAS SOPS 6555 HAS SOUS 6700 HAS SOUPS 6453 WITH SCORE 6459.802
AT ITER 6264 NEW BEST:: SOT 53919 SOS 6778 HAS SOPS 6531 HAS SOUS 6676 HAS SOUPS 6429 WITH SCORE 6435.778
AT ITER 6267 NEW BEST:: SOT 53908 SOS 6719 HAS SOPS 6472 HAS SOUS 6626 HAS SOUPS 6379 WITH SCORE 6385.719
AT ITER 6282 NEW BEST:: SOT 53898 SOS 6704 HAS SOPS 6457 HAS SOUS 6613 HAS SOUPS 6366 WITH SCORE 6372.704
AT ITER 6289 NEW BEST:: SOT 53873 SOS 6691 HAS SOPS 6444 HAS SOUS 6591 HAS SOUPS 6344 WITH SCORE 6350.691
AT ITER 6371 NEW BEST:: SOT 53866 SOS 6677 HAS SOPS 6430 HAS SOUS 6577 HAS SOUPS 6330 WITH SCORE 6336.677
AT ITER 6401 NEW BEST:: SOT 53862 SOS 6671 HAS SOPS 6424 HAS SOUS 6571 HAS SOUPS 6324 WITH SCORE 6330.671
AT ITER 6410 NEW BEST:: SOT 53859 SOS 6662 HAS SOPS 6415 HAS SOUS 6562 HAS SOUPS 6315 WITH SCORE 6321.662
AT ITER 6414 NEW BEST:: SOT 53837 SOS 6607 HAS SOPS 6360 HAS SOUS 6507 HAS SOUPS 6260 WITH SCORE 6266.607
AT ITER 6424 NEW BEST:: SOT 53814 SOS 6541 HAS SOPS 6294 HAS SOUS 6441 HAS SOUPS 6194 WITH SCORE 6200.541
AT ITER 6425 NEW BEST:: SOT 53806 SOS 6521 HAS SOPS 6274 HAS SOUS 6421 HAS SOUPS 6174 WITH SCORE 6180.521
AT ITER 6477 NEW BEST:: SOT 53801 SOS 6506 HAS SOPS 6259 HAS SOUS 6406 HAS SOUPS 6159 WITH SCORE 6165.506
AT ITER 6510 NEW BEST:: SOT 53784 SOS 6489 HAS SOPS 6242 HAS SOUS 6391 HAS SOUPS 6144 WITH SCORE 6150.489
AT ITER 6523 NEW BEST:: SOT 53771 SOS 6453 HAS SOPS 6206 HAS SOUS 6343 HAS SOUPS 6096 WITH SCORE 6102.453
AT ITER 6551 NEW BEST:: SOT 53748 SOS 6430 HAS SOPS 6183 HAS SOUS 6320 HAS SOUPS 6073 WITH SCORE 6079.43
AT ITER 6555 NEW BEST:: SOT 53747 SOS 6429 HAS SOPS 6182 HAS SOUS 6319 HAS SOUPS 6072 WITH SCORE 6078.429
AT ITER 6574 NEW BEST:: SOT 53737 SOS 6424 HAS SOPS 6177 HAS SOUS 6314 HAS SOUPS 6067 WITH SCORE 6073.424
AT ITER 6687 NEW BEST:: SOT 53727 SOS 6401 HAS SOPS 6154 HAS SOUS 6291 HAS SOUPS 6044 WITH SCORE 6050.401
AT ITER 6745 NEW BEST:: SOT 53703 SOS 6397 HAS SOPS 6150 HAS SOUS 6287 HAS SOUPS 6040 WITH SCORE 6046.397
AT ITER 6795 NEW BEST:: SOT 53706 SOS 6300 HAS SOPS 6053 HAS SOUS 6226 HAS SOUPS 5979 WITH SCORE 5985.3
AT ITER 6847 NEW BEST:: SOT 53698 SOS 6295 HAS SOPS 6048 HAS SOUS 6221 HAS SOUPS 5974 WITH SCORE 5980.295
AT ITER 6896 NEW BEST:: SOT 53658 SOS 6238 HAS SOPS 5991 HAS SOUS 6164 HAS SOUPS 5917 WITH SCORE 5923.238
AT ITER 6928 NEW BEST:: SOT 53657 SOS 6236 HAS SOPS 5989 HAS SOUS 6162 HAS SOUPS 5915 WITH SCORE 5921.236
AT ITER 6984 NEW BEST:: SOT 53643 SOS 6223 HAS SOPS 5976 HAS SOUS 6149 HAS SOUPS 5902 WITH SCORE 5908.223
AT ITER 6988 NEW BEST:: SOT 53602 SOS 6147 HAS SOPS 5900 HAS SOUS 6081 HAS SOUPS 5834 WITH SCORE 5840.147
AT ITER 7000 NEW BEST:: SOT 53535 SOS 6054 HAS SOPS 5807 HAS SOUS 5997 HAS SOUPS 5750 WITH SCORE 5756.054
AT ITER 7068 NEW BEST:: SOT 53533 SOS 6051 HAS SOPS 5804 HAS SOUS 5994 HAS SOUPS 5747 WITH SCORE 5753.051
AT ITER 7076 NEW BEST:: SOT 53519 SOS 6042 HAS SOPS 5795 HAS SOUS 5985 HAS SOUPS 5738 WITH SCORE 5744.042
AT ITER 7158 NEW BEST:: SOT 53517 SOS 6040 HAS SOPS 5793 HAS SOUS 5983 HAS SOUPS 5736 WITH SCORE 5742.04
AT ITER 7195 NEW BEST:: SOT 53486 SOS 6026 HAS SOPS 5779 HAS SOUS 5969 HAS SOUPS 5722 WITH SCORE 5728.026
AT ITER 7238 NEW BEST:: SOT 53489 SOS 6025 HAS SOPS 5778 HAS SOUS 5968 HAS SOUPS 5721 WITH SCORE 5727.025
AT ITER 7255 NEW BEST:: SOT 53474 SOS 5996 HAS SOPS 5749 HAS SOUS 5944 HAS SOUPS 5697 WITH SCORE 5702.996
AT ITER 7259 NEW BEST:: SOT 53464 SOS 5984 HAS SOPS 5737 HAS SOUS 5930 HAS SOUPS 5683 WITH SCORE 5688.984
AT ITER 7337 NEW BEST:: SOT 53450 SOS 5949 HAS SOPS 5702 HAS SOUS 5909 HAS SOUPS 5662 WITH SCORE 5667.949
AT ITER 7350 NEW BEST:: SOT 53445 SOS 5943 HAS SOPS 5696 HAS SOUS 5907 HAS SOUPS 5660 WITH SCORE 5665.943
AT ITER 7371 NEW BEST:: SOT 53424 SOS 5920 HAS SOPS 5673 HAS SOUS 5877 HAS SOUPS 5630 WITH SCORE 5635.92
AT ITER 7373 NEW BEST:: SOT 53423 SOS 5919 HAS SOPS 5672 HAS SOUS 5876 HAS SOUPS 5629 WITH SCORE 5634.919
AT ITER 7377 NEW BEST:: SOT 53391 SOS 5858 HAS SOPS 5611 HAS SOUS 5815 HAS SOUPS 5568 WITH SCORE 5573.858
AT ITER 7444 NEW BEST:: SOT 53385 SOS 5852 HAS SOPS 5605 HAS SOUS 5809 HAS SOUPS 5562 WITH SCORE 5567.852
AT ITER 7449 NEW BEST:: SOT 53385 SOS 5850 HAS SOPS 5603 HAS SOUS 5807 HAS SOUPS 5560 WITH SCORE 5565.85
AT ITER 7458 NEW BEST:: SOT 53371 SOS 5833 HAS SOPS 5586 HAS SOUS 5790 HAS SOUPS 5543 WITH SCORE 5548.833
AT ITER 7469 NEW BEST:: SOT 53373 SOS 5829 HAS SOPS 5582 HAS SOUS 5786 HAS SOUPS 5539 WITH SCORE 5544.829
AT ITER 7532 NEW BEST:: SOT 53365 SOS 5815 HAS SOPS 5568 HAS SOUS 5772 HAS SOUPS 5525 WITH SCORE 5530.815
AT ITER 7570 NEW BEST:: SOT 53353 SOS 5800 HAS SOPS 5553 HAS SOUS 5757 HAS SOUPS 5510 WITH SCORE 5515.8
AT ITER 7571 NEW BEST:: SOT 53349 SOS 5805 HAS SOPS 5558 HAS SOUS 5745 HAS SOUPS 5498 WITH SCORE 5503.805
AT ITER 7647 NEW BEST:: SOT 53348 SOS 5805 HAS SOPS 5558 HAS SOUS 5739 HAS SOUPS 5492 WITH SCORE 5497.805
AT ITER 7648 NEW BEST:: SOT 53344 SOS 5789 HAS SOPS 5542 HAS SOUS 5727 HAS SOUPS 5480 WITH SCORE 5485.789
AT ITER 7653 NEW BEST:: SOT 53328 SOS 5766 HAS SOPS 5519 HAS SOUS 5704 HAS SOUPS 5457 WITH SCORE 5462.766
AT ITER 7654 NEW BEST:: SOT 53314 SOS 5749 HAS SOPS 5502 HAS SOUS 5685 HAS SOUPS 5438 WITH SCORE 5443.749
AT ITER 7750 NEW BEST:: SOT 53312 SOS 5746 HAS SOPS 5499 HAS SOUS 5681 HAS SOUPS 5434 WITH SCORE 5439.746
AT ITER 7859 NEW BEST:: SOT 53310 SOS 5742 HAS SOPS 5495 HAS SOUS 5677 HAS SOUPS 5430 WITH SCORE 5435.742
AT ITER 7862 NEW BEST:: SOT 53302 SOS 5735 HAS SOPS 5488 HAS SOUS 5668 HAS SOUPS 5421 WITH SCORE 5426.735
AT ITER 7929 NEW BEST:: SOT 53291 SOS 5706 HAS SOPS 5459 HAS SOUS 5636 HAS SOUPS 5389 WITH SCORE 5394.706
AT ITER 7952 NEW BEST:: SOT 53291 SOS 5701 HAS SOPS 5454 HAS SOUS 5631 HAS SOUPS 5384 WITH SCORE 5389.701
AT ITER 7977 NEW BEST:: SOT 53297 SOS 5714 HAS SOPS 5467 HAS SOUS 5629 HAS SOUPS 5382 WITH SCORE 5387.714
AT ITER 7993 NEW BEST:: SOT 53292 SOS 5701 HAS SOPS 5454 HAS SOUS 5622 HAS SOUPS 5375 WITH SCORE 5380.701
AT ITER 8068 NEW BEST:: SOT 53289 SOS 5689 HAS SOPS 5442 HAS SOUS 5608 HAS SOUPS 5361 WITH SCORE 5366.689
AT ITER 8158 NEW BEST:: SOT 53287 SOS 5685 HAS SOPS 5438 HAS SOUS 5604 HAS SOUPS 5357 WITH SCORE 5362.685
AT ITER 8284 NEW BEST:: SOT 53286 SOS 5681 HAS SOPS 5434 HAS SOUS 5600 HAS SOUPS 5353 WITH SCORE 5358.681
AT ITER 8352 NEW BEST:: SOT 53283 SOS 5675 HAS SOPS 5428 HAS SOUS 5592 HAS SOUPS 5345 WITH SCORE 5350.675
AT ITER 8384 NEW BEST:: SOT 53281 SOS 5672 HAS SOPS 5425 HAS SOUS 5589 HAS SOUPS 5342 WITH SCORE 5347.672
AT ITER 8470 NEW BEST:: SOT 53281 SOS 5661 HAS SOPS 5414 HAS SOUS 5578 HAS SOUPS 5331 WITH SCORE 5336.661
AT ITER 8495 NEW BEST:: SOT 53280 SOS 5660 HAS SOPS 5413 HAS SOUS 5577 HAS SOUPS 5330 WITH SCORE 5335.66
AT ITER 8497 NEW BEST:: SOT 53273 SOS 5650 HAS SOPS 5403 HAS SOUS 5570 HAS SOUPS 5323 WITH SCORE 5328.65
AT ITER 8502 NEW BEST:: SOT 53226 SOS 5597 HAS SOPS 5350 HAS SOUS 5519 HAS SOUPS 5272 WITH SCORE 5277.597
AT ITER 8564 NEW BEST:: SOT 53222 SOS 5592 HAS SOPS 5345 HAS SOUS 5514 HAS SOUPS 5267 WITH SCORE 5272.592
AT ITER 8676 NEW BEST:: SOT 53222 SOS 5587 HAS SOPS 5340 HAS SOUS 5507 HAS SOUPS 5260 WITH SCORE 5265.587
AT ITER 8678 NEW BEST:: SOT 53204 SOS 5531 HAS SOPS 5284 HAS SOUS 5463 HAS SOUPS 5216 WITH SCORE 5221.531
AT ITER 8688 NEW BEST:: SOT 53198 SOS 5519 HAS SOPS 5272 HAS SOUS 5451 HAS SOUPS 5204 WITH SCORE 5209.519
AT ITER 8738 NEW BEST:: SOT 53185 SOS 5502 HAS SOPS 5255 HAS SOUS 5427 HAS SOUPS 5180 WITH SCORE 5185.502
AT ITER 8792 NEW BEST:: SOT 53165 SOS 5473 HAS SOPS 5226 HAS SOUS 5398 HAS SOUPS 5151 WITH SCORE 5156.473
AT ITER 8832 NEW BEST:: SOT 53154 SOS 5479 HAS SOPS 5232 HAS SOUS 5390 HAS SOUPS 5143 WITH SCORE 5148.479
AT ITER 8882 NEW BEST:: SOT 53150 SOS 5473 HAS SOPS 5226 HAS SOUS 5384 HAS SOUPS 5137 WITH SCORE 5142.473
AT ITER 9034 NEW BEST:: SOT 53148 SOS 5466 HAS SOPS 5219 HAS SOUS 5377 HAS SOUPS 5130 WITH SCORE 5135.466
AT ITER 9037 NEW BEST:: SOT 53146 SOS 5460 HAS SOPS 5213 HAS SOUS 5371 HAS SOUPS 5124 WITH SCORE 5129.46
AT ITER 9214 NEW BEST:: SOT 53133 SOS 5444 HAS SOPS 5197 HAS SOUS 5355 HAS SOUPS 5108 WITH SCORE 5113.444
AT ITER 9224 NEW BEST:: SOT 53128 SOS 5435 HAS SOPS 5188 HAS SOUS 5346 HAS SOUPS 5099 WITH SCORE 5104.435
AT ITER 9255 NEW BEST:: SOT 53122 SOS 5425 HAS SOPS 5178 HAS SOUS 5338 HAS SOUPS 5091 WITH SCORE 5096.425
AT ITER 9288 NEW BEST:: SOT 53122 SOS 5410 HAS SOPS 5163 HAS SOUS 5323 HAS SOUPS 5076 WITH SCORE 5081.41
AT ITER 9297 NEW BEST:: SOT 53123 SOS 5406 HAS SOPS 5159 HAS SOUS 5319 HAS SOUPS 5072 WITH SCORE 5077.406
AT ITER 9339 NEW BEST:: SOT 53120 SOS 5394 HAS SOPS 5147 HAS SOUS 5307 HAS SOUPS 5060 WITH SCORE 5065.394
AT ITER 9452 NEW BEST:: SOT 53096 SOS 5350 HAS SOPS 5103 HAS SOUS 5263 HAS SOUPS 5016 WITH SCORE 5021.35
AT ITER 9456 NEW BEST:: SOT 53078 SOS 5322 HAS SOPS 5075 HAS SOUS 5237 HAS SOUPS 4990 WITH SCORE 4995.322
AT ITER 9504 NEW BEST:: SOT 53077 SOS 5309 HAS SOPS 5062 HAS SOUS 5224 HAS SOUPS 4977 WITH SCORE 4982.309
AT ITER 9561 NEW BEST:: SOT 53045 SOS 5245 HAS SOPS 4998 HAS SOUS 5160 HAS SOUPS 4913 WITH SCORE 4918.245
AT ITER 9573 NEW BEST:: SOT 53045 SOS 5239 HAS SOPS 4992 HAS SOUS 5154 HAS SOUPS 4907 WITH SCORE 4912.239
AT ITER 9645 NEW BEST:: SOT 53018 SOS 5204 HAS SOPS 4957 HAS SOUS 5121 HAS SOUPS 4874 WITH SCORE 4879.204
AT ITER 9647 NEW BEST:: SOT 53014 SOS 5200 HAS SOPS 4953 HAS SOUS 5117 HAS SOUPS 4870 WITH SCORE 4875.2
AT ITER 9670 NEW BEST:: SOT 53012 SOS 5196 HAS SOPS 4949 HAS SOUS 5113 HAS SOUPS 4866 WITH SCORE 4871.196
AT ITER 9772 NEW BEST:: SOT 53008 SOS 5188 HAS SOPS 4941 HAS SOUS 5105 HAS SOUPS 4858 WITH SCORE 4863.188
AT ITER 9832 NEW BEST:: SOT 53002 SOS 5176 HAS SOPS 4929 HAS SOUS 5093 HAS SOUPS 4846 WITH SCORE 4851.176
AT ITER 9841 NEW BEST:: SOT 53002 SOS 5169 HAS SOPS 4922 HAS SOUS 5086 HAS SOUPS 4839 WITH SCORE 4844.169
AT ITER 9888 NEW BEST:: SOT 52953 SOS 5120 HAS SOPS 4873 HAS SOUS 5037 HAS SOUPS 4790 WITH SCORE 4795.12
AT ITER 9899 NEW BEST:: SOT 52935 SOS 5096 HAS SOPS 4849 HAS SOUS 5013 HAS SOUPS 4766 WITH SCORE 4771.096
AT ITER 9945 NEW BEST:: SOT 52921 SOS 5094 HAS SOPS 4847 HAS SOUS 5013 HAS SOUPS 4766 WITH SCORE 4771.094
AT ITER 9962 NEW BEST:: SOT 52916 SOS 5088 HAS SOPS 4841 HAS SOUS 5007 HAS SOUPS 4760 WITH SCORE 4765.088
AT ITER 9997 NEW BEST:: SOT 52852 SOS 4984 HAS SOPS 4737 HAS SOUS 4917 HAS SOUPS 4670 WITH SCORE 4674.984

BK_STOP 1589617533118

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

/home/mcc/BenchKit/bin/smart.sh: line 117: 457 Segmentation fault ${SMART} ${INPUT_SM}

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="StateSpace"
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 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 r093-oct2-158940140500432"
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 [ "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 ;