Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 45K Feb 26 14:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 241K Feb 26 14:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 49K Feb 26 14:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 213K Feb 26 14:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 22K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 34K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 102K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 75K Feb 26 14:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 376K Feb 26 14:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 97K Feb 26 14:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 376K Feb 26 14:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.9K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 191K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679190916168

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=UtilityControlRoom-PT-Z4T3N06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z4T3N06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 228 places, 450 transitions, 1446 arcs.
AT ITER 0 NEW BEST:: SOT 85078 SOS 68148 HAS SOPS 68148 HAS SOUS 40418 HAS SOUPS 40418 WITH SCORE 40486.148
AT ITER 1 NEW BEST:: SOT 85058 SOS 68108 HAS SOPS 68108 HAS SOUS 40318 HAS SOUPS 40318 WITH SCORE 40386.108
AT ITER 6 NEW BEST:: SOT 85014 SOS 68165 HAS SOPS 68165 HAS SOUS 40271 HAS SOUPS 40271 WITH SCORE 40339.165
AT ITER 8 NEW BEST:: SOT 84933 SOS 67976 HAS SOPS 67976 HAS SOUS 40136 HAS SOUPS 40136 WITH SCORE 40203.976
AT ITER 12 NEW BEST:: SOT 71648 SOS 54761 HAS SOPS 54761 HAS SOUS 32743 HAS SOUPS 32743 WITH SCORE 32797.761
AT ITER 13 NEW BEST:: SOT 71452 SOS 54487 HAS SOPS 54487 HAS SOUS 32478 HAS SOUPS 32478 WITH SCORE 32532.487
AT ITER 14 NEW BEST:: SOT 71405 SOS 53466 HAS SOPS 53466 HAS SOUS 32409 HAS SOUPS 32409 WITH SCORE 32462.466
AT ITER 18 NEW BEST:: SOT 71400 SOS 53446 HAS SOPS 53446 HAS SOUS 32387 HAS SOUPS 32387 WITH SCORE 32440.446
AT ITER 20 NEW BEST:: SOT 71394 SOS 53328 HAS SOPS 53328 HAS SOUS 32269 HAS SOUPS 32269 WITH SCORE 32322.328
AT ITER 23 NEW BEST:: SOT 71384 SOS 53318 HAS SOPS 53318 HAS SOUS 32253 HAS SOUPS 32253 WITH SCORE 32306.318
AT ITER 24 NEW BEST:: SOT 71349 SOS 53225 HAS SOPS 53225 HAS SOUS 32078 HAS SOUPS 32078 WITH SCORE 32131.225
AT ITER 25 NEW BEST:: SOT 71326 SOS 53093 HAS SOPS 53093 HAS SOUS 32008 HAS SOUPS 32008 WITH SCORE 32061.093
AT ITER 26 NEW BEST:: SOT 71047 SOS 52882 HAS SOPS 52882 HAS SOUS 31725 HAS SOUPS 31725 WITH SCORE 31777.882
AT ITER 27 NEW BEST:: SOT 71304 SOS 52955 HAS SOPS 52955 HAS SOUS 31549 HAS SOUPS 31549 WITH SCORE 31601.955
AT ITER 31 NEW BEST:: SOT 71269 SOS 52993 HAS SOPS 52993 HAS SOUS 31512 HAS SOUPS 31512 WITH SCORE 31564.993
AT ITER 32 NEW BEST:: SOT 71170 SOS 52693 HAS SOPS 52693 HAS SOUS 31108 HAS SOUPS 31108 WITH SCORE 31160.693
AT ITER 34 NEW BEST:: SOT 71154 SOS 52270 HAS SOPS 52270 HAS SOUS 31044 HAS SOUPS 31044 WITH SCORE 31096.27
AT ITER 35 NEW BEST:: SOT 71055 SOS 52121 HAS SOPS 52121 HAS SOUS 30702 HAS SOUPS 30702 WITH SCORE 30754.121
AT ITER 38 NEW BEST:: SOT 71075 SOS 52067 HAS SOPS 52067 HAS SOUS 30682 HAS SOUPS 30682 WITH SCORE 30734.067
AT ITER 44 NEW BEST:: SOT 71013 SOS 52016 HAS SOPS 52016 HAS SOUS 30554 HAS SOUPS 30554 WITH SCORE 30606.016
AT ITER 51 NEW BEST:: SOT 71013 SOS 51992 HAS SOPS 51992 HAS SOUS 30518 HAS SOUPS 30518 WITH SCORE 30569.992
AT ITER 53 NEW BEST:: SOT 71051 SOS 52199 HAS SOPS 52199 HAS SOUS 30510 HAS SOUPS 30510 WITH SCORE 30562.199
AT ITER 55 NEW BEST:: SOT 71032 SOS 52017 HAS SOPS 52017 HAS SOUS 30240 HAS SOUPS 30240 WITH SCORE 30292.017
AT ITER 56 NEW BEST:: SOT 71528 SOS 52593 HAS SOPS 52593 HAS SOUS 30166 HAS SOUPS 30166 WITH SCORE 30218.593
AT ITER 58 NEW BEST:: SOT 71426 SOS 52259 HAS SOPS 52259 HAS SOUS 29948 HAS SOUPS 29948 WITH SCORE 30000.259
AT ITER 59 NEW BEST:: SOT 71382 SOS 52328 HAS SOPS 52328 HAS SOUS 29889 HAS SOUPS 29889 WITH SCORE 29941.328
AT ITER 63 NEW BEST:: SOT 71408 SOS 52296 HAS SOPS 52296 HAS SOUS 29563 HAS SOUPS 29563 WITH SCORE 29615.296
AT ITER 65 NEW BEST:: SOT 71360 SOS 51322 HAS SOPS 51322 HAS SOUS 29358 HAS SOUPS 29358 WITH SCORE 29409.322
AT ITER 66 NEW BEST:: SOT 71343 SOS 51322 HAS SOPS 51322 HAS SOUS 29290 HAS SOUPS 29290 WITH SCORE 29341.322
AT ITER 67 NEW BEST:: SOT 71343 SOS 51322 HAS SOPS 51322 HAS SOUS 29285 HAS SOUPS 29285 WITH SCORE 29336.322
AT ITER 68 NEW BEST:: SOT 71231 SOS 51284 HAS SOPS 51284 HAS SOUS 29013 HAS SOUPS 29013 WITH SCORE 29064.284
AT ITER 69 NEW BEST:: SOT 71235 SOS 51288 HAS SOPS 51288 HAS SOUS 28975 HAS SOUPS 28975 WITH SCORE 29026.288
AT ITER 70 NEW BEST:: SOT 71225 SOS 51278 HAS SOPS 51278 HAS SOUS 28874 HAS SOUPS 28874 WITH SCORE 28925.278
AT ITER 73 NEW BEST:: SOT 71225 SOS 51274 HAS SOPS 51274 HAS SOUS 28862 HAS SOUPS 28862 WITH SCORE 28913.274
AT ITER 78 NEW BEST:: SOT 71203 SOS 50921 HAS SOPS 50921 HAS SOUS 28753 HAS SOUPS 28753 WITH SCORE 28803.921
AT ITER 81 NEW BEST:: SOT 71037 SOS 50647 HAS SOPS 50647 HAS SOUS 28521 HAS SOUPS 28521 WITH SCORE 28571.647
AT ITER 83 NEW BEST:: SOT 70805 SOS 50449 HAS SOPS 50449 HAS SOUS 28436 HAS SOUPS 28436 WITH SCORE 28486.449
AT ITER 85 NEW BEST:: SOT 70870 SOS 50514 HAS SOPS 50514 HAS SOUS 28424 HAS SOUPS 28424 WITH SCORE 28474.514
AT ITER 86 NEW BEST:: SOT 70930 SOS 50574 HAS SOPS 50574 HAS SOUS 28401 HAS SOUPS 28401 WITH SCORE 28451.574
AT ITER 91 NEW BEST:: SOT 70953 SOS 50644 HAS SOPS 50644 HAS SOUS 28390 HAS SOUPS 28390 WITH SCORE 28440.644
AT ITER 92 NEW BEST:: SOT 70938 SOS 50629 HAS SOPS 50629 HAS SOUS 28330 HAS SOUPS 28330 WITH SCORE 28380.629
AT ITER 94 NEW BEST:: SOT 70986 SOS 50677 HAS SOPS 50677 HAS SOUS 28320 HAS SOUPS 28320 WITH SCORE 28370.677
AT ITER 95 NEW BEST:: SOT 70794 SOS 50450 HAS SOPS 50450 HAS SOUS 27923 HAS SOUPS 27923 WITH SCORE 27973.45
AT ITER 96 NEW BEST:: SOT 70956 SOS 50375 HAS SOPS 50375 HAS SOUS 27553 HAS SOUPS 27553 WITH SCORE 27603.375
AT ITER 97 NEW BEST:: SOT 70959 SOS 50381 HAS SOPS 50381 HAS SOUS 27547 HAS SOUPS 27547 WITH SCORE 27597.381
AT ITER 100 NEW BEST:: SOT 70990 SOS 50274 HAS SOPS 50274 HAS SOUS 27503 HAS SOUPS 27503 WITH SCORE 27553.274
AT ITER 103 NEW BEST:: SOT 71016 SOS 50276 HAS SOPS 50276 HAS SOUS 27446 HAS SOUPS 27446 WITH SCORE 27496.276
AT ITER 106 NEW BEST:: SOT 70965 SOS 50060 HAS SOPS 50060 HAS SOUS 27194 HAS SOUPS 27194 WITH SCORE 27244.06
AT ITER 108 NEW BEST:: SOT 70830 SOS 50128 HAS SOPS 50128 HAS SOUS 26905 HAS SOUPS 26905 WITH SCORE 26955.128
AT ITER 111 NEW BEST:: SOT 70754 SOS 50052 HAS SOPS 50052 HAS SOUS 26732 HAS SOUPS 26732 WITH SCORE 26782.052
AT ITER 113 NEW BEST:: SOT 70720 SOS 50018 HAS SOPS 50018 HAS SOUS 26698 HAS SOUPS 26698 WITH SCORE 26748.018
AT ITER 117 NEW BEST:: SOT 70724 SOS 49969 HAS SOPS 49969 HAS SOUS 26675 HAS SOUPS 26675 WITH SCORE 26724.969
AT ITER 118 NEW BEST:: SOT 70724 SOS 49969 HAS SOPS 49969 HAS SOUS 26663 HAS SOUPS 26663 WITH SCORE 26712.969
AT ITER 120 NEW BEST:: SOT 68544 SOS 47841 HAS SOPS 47841 HAS SOUS 25358 HAS SOUPS 25358 WITH SCORE 25405.841
AT ITER 121 NEW BEST:: SOT 68768 SOS 48252 HAS SOPS 48252 HAS SOUS 25046 HAS SOUPS 25046 WITH SCORE 25094.252
AT ITER 125 NEW BEST:: SOT 68561 SOS 47849 HAS SOPS 47849 HAS SOUS 24490 HAS SOUPS 24490 WITH SCORE 24537.849
AT ITER 129 NEW BEST:: SOT 68400 SOS 47333 HAS SOPS 47333 HAS SOUS 24363 HAS SOUPS 24363 WITH SCORE 24410.333
AT ITER 135 NEW BEST:: SOT 68380 SOS 47217 HAS SOPS 47217 HAS SOUS 24243 HAS SOUPS 24243 WITH SCORE 24290.217
AT ITER 137 NEW BEST:: SOT 68387 SOS 47129 HAS SOPS 47129 HAS SOUS 24147 HAS SOUPS 24147 WITH SCORE 24194.129
AT ITER 139 NEW BEST:: SOT 68384 SOS 47147 HAS SOPS 47147 HAS SOUS 24138 HAS SOUPS 24138 WITH SCORE 24185.147
AT ITER 141 NEW BEST:: SOT 68384 SOS 47190 HAS SOPS 47190 HAS SOUS 24112 HAS SOUPS 24112 WITH SCORE 24159.19
AT ITER 142 NEW BEST:: SOT 68331 SOS 47242 HAS SOPS 47242 HAS SOUS 24019 HAS SOUPS 24019 WITH SCORE 24066.242
AT ITER 147 NEW BEST:: SOT 68328 SOS 47202 HAS SOPS 47202 HAS SOUS 23919 HAS SOUPS 23919 WITH SCORE 23966.202
AT ITER 149 NEW BEST:: SOT 67866 SOS 46740 HAS SOPS 46740 HAS SOUS 23684 HAS SOUPS 23684 WITH SCORE 23730.74
AT ITER 150 NEW BEST:: SOT 67861 SOS 46569 HAS SOPS 46569 HAS SOUS 23492 HAS SOUPS 23492 WITH SCORE 23538.569
AT ITER 151 NEW BEST:: SOT 67812 SOS 46474 HAS SOPS 46474 HAS SOUS 23484 HAS SOUPS 23484 WITH SCORE 23530.474
AT ITER 152 NEW BEST:: SOT 67595 SOS 46257 HAS SOPS 46257 HAS SOUS 23445 HAS SOUPS 23445 WITH SCORE 23491.257
AT ITER 154 NEW BEST:: SOT 67560 SOS 46343 HAS SOPS 46343 HAS SOUS 23330 HAS SOUPS 23330 WITH SCORE 23376.343
AT ITER 159 NEW BEST:: SOT 67565 SOS 46183 HAS SOPS 46183 HAS SOUS 23302 HAS SOUPS 23302 WITH SCORE 23348.183
AT ITER 160 NEW BEST:: SOT 67683 SOS 46227 HAS SOPS 46227 HAS SOUS 23136 HAS SOUPS 23136 WITH SCORE 23182.227
AT ITER 161 NEW BEST:: SOT 67436 SOS 45652 HAS SOPS 45652 HAS SOUS 22741 HAS SOUPS 22741 WITH SCORE 22786.652
AT ITER 162 NEW BEST:: SOT 67382 SOS 45598 HAS SOPS 45598 HAS SOUS 22722 HAS SOUPS 22722 WITH SCORE 22767.598
AT ITER 164 NEW BEST:: SOT 67370 SOS 45626 HAS SOPS 45626 HAS SOUS 22684 HAS SOUPS 22684 WITH SCORE 22729.626
AT ITER 165 NEW BEST:: SOT 67345 SOS 43363 HAS SOPS 43363 HAS SOUS 22118 HAS SOUPS 22118 WITH SCORE 22161.363
AT ITER 168 NEW BEST:: SOT 67291 SOS 43221 HAS SOPS 43221 HAS SOUS 22029 HAS SOUPS 22029 WITH SCORE 22072.221
AT ITER 169 NEW BEST:: SOT 67134 SOS 42872 HAS SOPS 42872 HAS SOUS 21610 HAS SOUPS 21610 WITH SCORE 21652.872
AT ITER 170 NEW BEST:: SOT 67134 SOS 41272 HAS SOPS 41272 HAS SOUS 21354 HAS SOUPS 21354 WITH SCORE 21395.272
AT ITER 175 NEW BEST:: SOT 67134 SOS 41272 HAS SOPS 41272 HAS SOUS 21298 HAS SOUPS 21298 WITH SCORE 21339.272
AT ITER 177 NEW BEST:: SOT 67075 SOS 41288 HAS SOPS 41288 HAS SOUS 21251 HAS SOUPS 21251 WITH SCORE 21292.288
AT ITER 178 NEW BEST:: SOT 67129 SOS 40941 HAS SOPS 40941 HAS SOUS 21230 HAS SOUPS 21230 WITH SCORE 21270.941
AT ITER 180 NEW BEST:: SOT 67095 SOS 40577 HAS SOPS 40577 HAS SOUS 21109 HAS SOUPS 21109 WITH SCORE 21149.577
AT ITER 183 NEW BEST:: SOT 66696 SOS 40178 HAS SOPS 40178 HAS SOUS 20881 HAS SOUPS 20881 WITH SCORE 20921.178
AT ITER 187 NEW BEST:: SOT 66696 SOS 40054 HAS SOPS 40054 HAS SOUS 20840 HAS SOUPS 20840 WITH SCORE 20880.054
AT ITER 191 NEW BEST:: SOT 66643 SOS 40038 HAS SOPS 40038 HAS SOUS 20785 HAS SOUPS 20785 WITH SCORE 20825.038
AT ITER 192 NEW BEST:: SOT 66508 SOS 39971 HAS SOPS 39971 HAS SOUS 20534 HAS SOUPS 20534 WITH SCORE 20573.971
AT ITER 196 NEW BEST:: SOT 66505 SOS 39925 HAS SOPS 39925 HAS SOUS 20391 HAS SOUPS 20391 WITH SCORE 20430.925
AT ITER 199 NEW BEST:: SOT 66467 SOS 39587 HAS SOPS 39587 HAS SOUS 20279 HAS SOUPS 20279 WITH SCORE 20318.587
AT ITER 201 NEW BEST:: SOT 66427 SOS 39509 HAS SOPS 39509 HAS SOUS 20213 HAS SOUPS 20213 WITH SCORE 20252.509
AT ITER 204 NEW BEST:: SOT 66427 SOS 39579 HAS SOPS 39579 HAS SOUS 20195 HAS SOUPS 20195 WITH SCORE 20234.579
AT ITER 208 NEW BEST:: SOT 66315 SOS 39467 HAS SOPS 39467 HAS SOUS 20169 HAS SOUPS 20169 WITH SCORE 20208.467
AT ITER 209 NEW BEST:: SOT 66427 SOS 39528 HAS SOPS 39528 HAS SOUS 19990 HAS SOUPS 19990 WITH SCORE 20029.528
AT ITER 211 NEW BEST:: SOT 66427 SOS 39524 HAS SOPS 39524 HAS SOUS 19987 HAS SOUPS 19987 WITH SCORE 20026.524
AT ITER 218 NEW BEST:: SOT 66404 SOS 39436 HAS SOPS 39436 HAS SOUS 19970 HAS SOUPS 19970 WITH SCORE 20009.436
AT ITER 219 NEW BEST:: SOT 66402 SOS 39438 HAS SOPS 39438 HAS SOUS 19966 HAS SOUPS 19966 WITH SCORE 20005.438
AT ITER 222 NEW BEST:: SOT 66406 SOS 39446 HAS SOPS 39446 HAS SOUS 19964 HAS SOUPS 19964 WITH SCORE 20003.446
AT ITER 224 NEW BEST:: SOT 66384 SOS 39406 HAS SOPS 39406 HAS SOUS 19908 HAS SOUPS 19908 WITH SCORE 19947.406
AT ITER 226 NEW BEST:: SOT 66384 SOS 39340 HAS SOPS 39340 HAS SOUS 19892 HAS SOUPS 19892 WITH SCORE 19931.34
AT ITER 232 NEW BEST:: SOT 66384 SOS 39340 HAS SOPS 39340 HAS SOUS 19888 HAS SOUPS 19888 WITH SCORE 19927.34
AT ITER 235 NEW BEST:: SOT 66239 SOS 39180 HAS SOPS 39180 HAS SOUS 19704 HAS SOUPS 19704 WITH SCORE 19743.18
AT ITER 239 NEW BEST:: SOT 66225 SOS 39124 HAS SOPS 39124 HAS SOUS 19662 HAS SOUPS 19662 WITH SCORE 19701.124
AT ITER 240 NEW BEST:: SOT 66125 SOS 38915 HAS SOPS 38915 HAS SOUS 19489 HAS SOUPS 19489 WITH SCORE 19527.915
AT ITER 242 NEW BEST:: SOT 66089 SOS 38879 HAS SOPS 38879 HAS SOUS 19366 HAS SOUPS 19366 WITH SCORE 19404.879
AT ITER 246 NEW BEST:: SOT 66085 SOS 38875 HAS SOPS 38875 HAS SOUS 19359 HAS SOUPS 19359 WITH SCORE 19397.875
AT ITER 258 NEW BEST:: SOT 66065 SOS 38865 HAS SOPS 38865 HAS SOUS 19339 HAS SOUPS 19339 WITH SCORE 19377.865
AT ITER 262 NEW BEST:: SOT 66006 SOS 38610 HAS SOPS 38610 HAS SOUS 19222 HAS SOUPS 19222 WITH SCORE 19260.61
AT ITER 263 NEW BEST:: SOT 65970 SOS 38578 HAS SOPS 38578 HAS SOUS 19111 HAS SOUPS 19111 WITH SCORE 19149.578
AT ITER 266 NEW BEST:: SOT 66120 SOS 38546 HAS SOPS 38546 HAS SOUS 19111 HAS SOUPS 19111 WITH SCORE 19149.546
AT ITER 279 NEW BEST:: SOT 66120 SOS 38530 HAS SOPS 38530 HAS SOUS 19092 HAS SOUPS 19092 WITH SCORE 19130.53
AT ITER 288 NEW BEST:: SOT 66050 SOS 38362 HAS SOPS 38362 HAS SOUS 18923 HAS SOUPS 18923 WITH SCORE 18961.362
AT ITER 293 NEW BEST:: SOT 66025 SOS 38348 HAS SOPS 38348 HAS SOUS 18852 HAS SOUPS 18852 WITH SCORE 18890.348
AT ITER 294 NEW BEST:: SOT 66117 SOS 38313 HAS SOPS 38313 HAS SOUS 18646 HAS SOUPS 18646 WITH SCORE 18684.313
AT ITER 300 NEW BEST:: SOT 66151 SOS 38347 HAS SOPS 38347 HAS SOUS 18634 HAS SOUPS 18634 WITH SCORE 18672.347
AT ITER 304 NEW BEST:: SOT 66158 SOS 38347 HAS SOPS 38347 HAS SOUS 18627 HAS SOUPS 18627 WITH SCORE 18665.347
AT ITER 312 NEW BEST:: SOT 66216 SOS 38561 HAS SOPS 38561 HAS SOUS 18597 HAS SOUPS 18597 WITH SCORE 18635.561
AT ITER 315 NEW BEST:: SOT 66224 SOS 38577 HAS SOPS 38577 HAS SOUS 18589 HAS SOUPS 18589 WITH SCORE 18627.577
AT ITER 318 NEW BEST:: SOT 66224 SOS 38427 HAS SOPS 38427 HAS SOUS 18435 HAS SOUPS 18435 WITH SCORE 18473.427
AT ITER 319 NEW BEST:: SOT 66168 SOS 38203 HAS SOPS 38203 HAS SOUS 18379 HAS SOUPS 18379 WITH SCORE 18417.203
AT ITER 324 NEW BEST:: SOT 66177 SOS 38211 HAS SOPS 38211 HAS SOUS 18374 HAS SOUPS 18374 WITH SCORE 18412.211
AT ITER 328 NEW BEST:: SOT 66160 SOS 38194 HAS SOPS 38194 HAS SOUS 18340 HAS SOUPS 18340 WITH SCORE 18378.194
AT ITER 332 NEW BEST:: SOT 66140 SOS 38174 HAS SOPS 38174 HAS SOUS 18284 HAS SOUPS 18284 WITH SCORE 18322.174
AT ITER 335 NEW BEST:: SOT 66136 SOS 38162 HAS SOPS 38162 HAS SOUS 18280 HAS SOUPS 18280 WITH SCORE 18318.162
AT ITER 337 NEW BEST:: SOT 66009 SOS 37896 HAS SOPS 37896 HAS SOUS 18153 HAS SOUPS 18153 WITH SCORE 18190.896
AT ITER 342 NEW BEST:: SOT 65969 SOS 37856 HAS SOPS 37856 HAS SOUS 18093 HAS SOUPS 18093 WITH SCORE 18130.856
AT ITER 354 NEW BEST:: SOT 65912 SOS 37748 HAS SOPS 37748 HAS SOUS 18026 HAS SOUPS 18026 WITH SCORE 18063.748
AT ITER 365 NEW BEST:: SOT 65912 SOS 37645 HAS SOPS 37645 HAS SOUS 18010 HAS SOUPS 18010 WITH SCORE 18047.645
AT ITER 375 NEW BEST:: SOT 65770 SOS 37503 HAS SOPS 37503 HAS SOUS 17925 HAS SOUPS 17925 WITH SCORE 17962.503
AT ITER 377 NEW BEST:: SOT 65737 SOS 37437 HAS SOPS 37437 HAS SOUS 17859 HAS SOUPS 17859 WITH SCORE 17896.437
AT ITER 380 NEW BEST:: SOT 65725 SOS 37425 HAS SOPS 37425 HAS SOUS 17847 HAS SOUPS 17847 WITH SCORE 17884.425
AT ITER 386 NEW BEST:: SOT 65725 SOS 37425 HAS SOPS 37425 HAS SOUS 17819 HAS SOUPS 17819 WITH SCORE 17856.425
AT ITER 390 NEW BEST:: SOT 65721 SOS 37375 HAS SOPS 37375 HAS SOUS 17815 HAS SOUPS 17815 WITH SCORE 17852.375
AT ITER 392 NEW BEST:: SOT 65703 SOS 37276 HAS SOPS 37276 HAS SOUS 17779 HAS SOUPS 17779 WITH SCORE 17816.276
AT ITER 393 NEW BEST:: SOT 65675 SOS 37146 HAS SOPS 37146 HAS SOUS 17741 HAS SOUPS 17741 WITH SCORE 17778.146
AT ITER 395 NEW BEST:: SOT 65675 SOS 37135 HAS SOPS 37135 HAS SOUS 17741 HAS SOUPS 17741 WITH SCORE 17778.135
AT ITER 407 NEW BEST:: SOT 65387 SOS 36865 HAS SOPS 36865 HAS SOUS 17630 HAS SOUPS 17630 WITH SCORE 17666.865
AT ITER 411 NEW BEST:: SOT 65387 SOS 36728 HAS SOPS 36728 HAS SOUS 17628 HAS SOUPS 17628 WITH SCORE 17664.728
AT ITER 422 NEW BEST:: SOT 65387 SOS 36711 HAS SOPS 36711 HAS SOUS 17597 HAS SOUPS 17597 WITH SCORE 17633.711
AT ITER 430 NEW BEST:: SOT 65387 SOS 36711 HAS SOPS 36711 HAS SOUS 17573 HAS SOUPS 17573 WITH SCORE 17609.711
AT ITER 439 NEW BEST:: SOT 65230 SOS 36469 HAS SOPS 36469 HAS SOUS 17423 HAS SOUPS 17423 WITH SCORE 17459.469
AT ITER 440 NEW BEST:: SOT 65279 SOS 36483 HAS SOPS 36483 HAS SOUS 17422 HAS SOUPS 17422 WITH SCORE 17458.483
AT ITER 444 NEW BEST:: SOT 65230 SOS 36220 HAS SOPS 36220 HAS SOUS 17272 HAS SOUPS 17272 WITH SCORE 17308.22
AT ITER 447 NEW BEST:: SOT 65197 SOS 36183 HAS SOPS 36183 HAS SOUS 17187 HAS SOUPS 17187 WITH SCORE 17223.183
AT ITER 448 NEW BEST:: SOT 65197 SOS 36183 HAS SOPS 36183 HAS SOUS 17150 HAS SOUPS 17150 WITH SCORE 17186.183
AT ITER 451 NEW BEST:: SOT 65199 SOS 36015 HAS SOPS 36015 HAS SOUS 17148 HAS SOUPS 17148 WITH SCORE 17184.015
AT ITER 457 NEW BEST:: SOT 65325 SOS 36124 HAS SOPS 36124 HAS SOUS 17128 HAS SOUPS 17128 WITH SCORE 17164.124
AT ITER 460 NEW BEST:: SOT 65349 SOS 36180 HAS SOPS 36180 HAS SOUS 17114 HAS SOUPS 17114 WITH SCORE 17150.18
AT ITER 462 NEW BEST:: SOT 65357 SOS 36188 HAS SOPS 36188 HAS SOUS 17098 HAS SOUPS 17098 WITH SCORE 17134.188
AT ITER 468 NEW BEST:: SOT 65357 SOS 36148 HAS SOPS 36148 HAS SOUS 17058 HAS SOUPS 17058 WITH SCORE 17094.148
AT ITER 480 NEW BEST:: SOT 65347 SOS 36052 HAS SOPS 36052 HAS SOUS 16978 HAS SOUPS 16978 WITH SCORE 17014.052
AT ITER 481 NEW BEST:: SOT 65319 SOS 36024 HAS SOPS 36024 HAS SOUS 16921 HAS SOUPS 16921 WITH SCORE 16957.024
AT ITER 484 NEW BEST:: SOT 65514 SOS 35833 HAS SOPS 35833 HAS SOUS 16920 HAS SOUPS 16920 WITH SCORE 16955.833
AT ITER 499 NEW BEST:: SOT 65514 SOS 35833 HAS SOPS 35833 HAS SOUS 16895 HAS SOUPS 16895 WITH SCORE 16930.833
AT ITER 505 NEW BEST:: SOT 65516 SOS 35829 HAS SOPS 35829 HAS SOUS 16895 HAS SOUPS 16895 WITH SCORE 16930.829
AT ITER 507 NEW BEST:: SOT 65516 SOS 35847 HAS SOPS 35847 HAS SOUS 16877 HAS SOUPS 16877 WITH SCORE 16912.847
AT ITER 508 NEW BEST:: SOT 65446 SOS 35831 HAS SOPS 35831 HAS SOUS 16849 HAS SOUPS 16849 WITH SCORE 16884.831
AT ITER 518 NEW BEST:: SOT 65375 SOS 35874 HAS SOPS 35874 HAS SOUS 16785 HAS SOUPS 16785 WITH SCORE 16820.874
AT ITER 520 NEW BEST:: SOT 65210 SOS 35664 HAS SOPS 35664 HAS SOUS 16575 HAS SOUPS 16575 WITH SCORE 16610.664
AT ITER 522 NEW BEST:: SOT 65154 SOS 35408 HAS SOPS 35408 HAS SOUS 16448 HAS SOUPS 16448 WITH SCORE 16483.408
AT ITER 524 NEW BEST:: SOT 65154 SOS 35408 HAS SOPS 35408 HAS SOUS 16434 HAS SOUPS 16434 WITH SCORE 16469.408
AT ITER 526 NEW BEST:: SOT 65176 SOS 35418 HAS SOPS 35418 HAS SOUS 16424 HAS SOUPS 16424 WITH SCORE 16459.418
AT ITER 531 NEW BEST:: SOT 65158 SOS 35400 HAS SOPS 35400 HAS SOUS 16343 HAS SOUPS 16343 WITH SCORE 16378.4
AT ITER 532 NEW BEST:: SOT 65194 SOS 35160 HAS SOPS 35160 HAS SOUS 16272 HAS SOUPS 16272 WITH SCORE 16307.16
AT ITER 539 NEW BEST:: SOT 65193 SOS 35158 HAS SOPS 35158 HAS SOUS 16271 HAS SOUPS 16271 WITH SCORE 16306.158
AT ITER 547 NEW BEST:: SOT 65165 SOS 35082 HAS SOPS 35082 HAS SOUS 16210 HAS SOUPS 16210 WITH SCORE 16245.082
AT ITER 550 NEW BEST:: SOT 65108 SOS 35006 HAS SOPS 35006 HAS SOUS 16153 HAS SOUPS 16153 WITH SCORE 16188.006
AT ITER 556 NEW BEST:: SOT 65059 SOS 34957 HAS SOPS 34957 HAS SOUS 16130 HAS SOUPS 16130 WITH SCORE 16164.957
AT ITER 559 NEW BEST:: SOT 65039 SOS 34861 HAS SOPS 34861 HAS SOUS 16110 HAS SOUPS 16110 WITH SCORE 16144.861
AT ITER 571 NEW BEST:: SOT 65025 SOS 34847 HAS SOPS 34847 HAS SOUS 16095 HAS SOUPS 16095 WITH SCORE 16129.847
AT ITER 572 NEW BEST:: SOT 65022 SOS 34844 HAS SOPS 34844 HAS SOUS 16095 HAS SOUPS 16095 WITH SCORE 16129.844
AT ITER 574 NEW BEST:: SOT 65014 SOS 34862 HAS SOPS 34862 HAS SOUS 16085 HAS SOUPS 16085 WITH SCORE 16119.862
AT ITER 582 NEW BEST:: SOT 64942 SOS 34710 HAS SOPS 34710 HAS SOUS 15969 HAS SOUPS 15969 WITH SCORE 16003.71
AT ITER 585 NEW BEST:: SOT 64907 SOS 34666 HAS SOPS 34666 HAS SOUS 15960 HAS SOUPS 15960 WITH SCORE 15994.666
AT ITER 586 NEW BEST:: SOT 64903 SOS 34636 HAS SOPS 34636 HAS SOUS 15949 HAS SOUPS 15949 WITH SCORE 15983.636
AT ITER 587 NEW BEST:: SOT 64901 SOS 34666 HAS SOPS 34666 HAS SOUS 15932 HAS SOUPS 15932 WITH SCORE 15966.666
AT ITER 590 NEW BEST:: SOT 64901 SOS 34622 HAS SOPS 34622 HAS SOUS 15921 HAS SOUPS 15921 WITH SCORE 15955.622
AT ITER 591 NEW BEST:: SOT 65013 SOS 34734 HAS SOPS 34734 HAS SOUS 15885 HAS SOUPS 15885 WITH SCORE 15919.734
AT ITER 600 NEW BEST:: SOT 65013 SOS 34700 HAS SOPS 34700 HAS SOUS 15885 HAS SOUPS 15885 WITH SCORE 15919.7
AT ITER 604 NEW BEST:: SOT 64947 SOS 34608 HAS SOPS 34608 HAS SOUS 15841 HAS SOUPS 15841 WITH SCORE 15875.608
AT ITER 605 NEW BEST:: SOT 64947 SOS 34459 HAS SOPS 34459 HAS SOUS 15833 HAS SOUPS 15833 WITH SCORE 15867.459
AT ITER 609 NEW BEST:: SOT 64944 SOS 34453 HAS SOPS 34453 HAS SOUS 15830 HAS SOUPS 15830 WITH SCORE 15864.453
AT ITER 617 NEW BEST:: SOT 64922 SOS 34409 HAS SOPS 34409 HAS SOUS 15808 HAS SOUPS 15808 WITH SCORE 15842.409
AT ITER 631 NEW BEST:: SOT 64909 SOS 34364 HAS SOPS 34364 HAS SOUS 15782 HAS SOUPS 15782 WITH SCORE 15816.364
AT ITER 638 NEW BEST:: SOT 64909 SOS 34364 HAS SOPS 34364 HAS SOUS 15780 HAS SOUPS 15780 WITH SCORE 15814.364
AT ITER 647 NEW BEST:: SOT 64903 SOS 34356 HAS SOPS 34356 HAS SOUS 15770 HAS SOUPS 15770 WITH SCORE 15804.356
AT ITER 658 NEW BEST:: SOT 64883 SOS 34356 HAS SOPS 34356 HAS SOUS 15750 HAS SOUPS 15750 WITH SCORE 15784.356
AT ITER 661 NEW BEST:: SOT 64823 SOS 34052 HAS SOPS 34052 HAS SOUS 15683 HAS SOUPS 15683 WITH SCORE 15717.052
AT ITER 662 NEW BEST:: SOT 64823 SOS 33966 HAS SOPS 33966 HAS SOUS 15683 HAS SOUPS 15683 WITH SCORE 15716.966
AT ITER 663 NEW BEST:: SOT 64818 SOS 33938 HAS SOPS 33938 HAS SOUS 15673 HAS SOUPS 15673 WITH SCORE 15706.938
AT ITER 666 NEW BEST:: SOT 64782 SOS 33888 HAS SOPS 33888 HAS SOUS 15637 HAS SOUPS 15637 WITH SCORE 15670.888
AT ITER 669 NEW BEST:: SOT 64782 SOS 33888 HAS SOPS 33888 HAS SOUS 15634 HAS SOUPS 15634 WITH SCORE 15667.888
AT ITER 672 NEW BEST:: SOT 64761 SOS 33846 HAS SOPS 33846 HAS SOUS 15601 HAS SOUPS 15601 WITH SCORE 15634.846
AT ITER 681 NEW BEST:: SOT 64755 SOS 33840 HAS SOPS 33840 HAS SOUS 15505 HAS SOUPS 15505 WITH SCORE 15538.84
AT ITER 684 NEW BEST:: SOT 64759 SOS 33844 HAS SOPS 33844 HAS SOUS 15499 HAS SOUPS 15499 WITH SCORE 15532.844
AT ITER 688 NEW BEST:: SOT 64762 SOS 33800 HAS SOPS 33800 HAS SOUS 15494 HAS SOUPS 15494 WITH SCORE 15527.8
AT ITER 694 NEW BEST:: SOT 64655 SOS 33739 HAS SOPS 33739 HAS SOUS 15387 HAS SOUPS 15387 WITH SCORE 15420.739
AT ITER 715 NEW BEST:: SOT 64655 SOS 33713 HAS SOPS 33713 HAS SOUS 15330 HAS SOUPS 15330 WITH SCORE 15363.713
AT ITER 718 NEW BEST:: SOT 64655 SOS 33621 HAS SOPS 33621 HAS SOUS 15307 HAS SOUPS 15307 WITH SCORE 15340.621
AT ITER 724 NEW BEST:: SOT 64655 SOS 33627 HAS SOPS 33627 HAS SOUS 15270 HAS SOUPS 15270 WITH SCORE 15303.627
AT ITER 725 NEW BEST:: SOT 64647 SOS 33619 HAS SOPS 33619 HAS SOUS 15254 HAS SOUPS 15254 WITH SCORE 15287.619
AT ITER 729 NEW BEST:: SOT 64647 SOS 33595 HAS SOPS 33595 HAS SOUS 15254 HAS SOUPS 15254 WITH SCORE 15287.595
AT ITER 737 NEW BEST:: SOT 64647 SOS 33549 HAS SOPS 33549 HAS SOUS 15254 HAS SOUPS 15254 WITH SCORE 15287.549
AT ITER 739 NEW BEST:: SOT 64643 SOS 33537 HAS SOPS 33537 HAS SOUS 15250 HAS SOUPS 15250 WITH SCORE 15283.537
AT ITER 746 NEW BEST:: SOT 64643 SOS 33515 HAS SOPS 33515 HAS SOUS 15250 HAS SOUPS 15250 WITH SCORE 15283.515
AT ITER 750 NEW BEST:: SOT 64674 SOS 33546 HAS SOPS 33546 HAS SOUS 15231 HAS SOUPS 15231 WITH SCORE 15264.546
AT ITER 761 NEW BEST:: SOT 64703 SOS 33605 HAS SOPS 33605 HAS SOUS 15200 HAS SOUPS 15200 WITH SCORE 15233.605
AT ITER 762 NEW BEST:: SOT 64695 SOS 33842 HAS SOPS 33842 HAS SOUS 15177 HAS SOUPS 15177 WITH SCORE 15210.842
AT ITER 770 NEW BEST:: SOT 64689 SOS 33836 HAS SOPS 33836 HAS SOUS 15168 HAS SOUPS 15168 WITH SCORE 15201.836
AT ITER 788 NEW BEST:: SOT 64692 SOS 33761 HAS SOPS 33761 HAS SOUS 15168 HAS SOUPS 15168 WITH SCORE 15201.761
AT ITER 790 NEW BEST:: SOT 64740 SOS 33610 HAS SOPS 33610 HAS SOUS 15130 HAS SOUPS 15130 WITH SCORE 15163.61
AT ITER 802 NEW BEST:: SOT 64688 SOS 33448 HAS SOPS 33448 HAS SOUS 15030 HAS SOUPS 15030 WITH SCORE 15063.448
AT ITER 803 NEW BEST:: SOT 64678 SOS 33424 HAS SOPS 33424 HAS SOUS 15011 HAS SOUPS 15011 WITH SCORE 15044.424
AT ITER 806 NEW BEST:: SOT 64631 SOS 33413 HAS SOPS 33413 HAS SOUS 14960 HAS SOUPS 14960 WITH SCORE 14993.413
AT ITER 810 NEW BEST:: SOT 64627 SOS 33355 HAS SOPS 33355 HAS SOUS 14895 HAS SOUPS 14895 WITH SCORE 14928.355
AT ITER 815 NEW BEST:: SOT 64594 SOS 33089 HAS SOPS 33089 HAS SOUS 14797 HAS SOUPS 14797 WITH SCORE 14830.089
AT ITER 819 NEW BEST:: SOT 64590 SOS 33085 HAS SOPS 33085 HAS SOUS 14736 HAS SOUPS 14736 WITH SCORE 14769.085
AT ITER 831 NEW BEST:: SOT 64586 SOS 33079 HAS SOPS 33079 HAS SOUS 14731 HAS SOUPS 14731 WITH SCORE 14764.079
AT ITER 843 NEW BEST:: SOT 64486 SOS 32871 HAS SOPS 32871 HAS SOUS 14499 HAS SOUPS 14499 WITH SCORE 14531.871
AT ITER 844 NEW BEST:: SOT 64494 SOS 32768 HAS SOPS 32768 HAS SOUS 14381 HAS SOUPS 14381 WITH SCORE 14413.768
AT ITER 853 NEW BEST:: SOT 64426 SOS 32899 HAS SOPS 32899 HAS SOUS 14248 HAS SOUPS 14248 WITH SCORE 14280.899
AT ITER 876 NEW BEST:: SOT 64388 SOS 32789 HAS SOPS 32789 HAS SOUS 14210 HAS SOUPS 14210 WITH SCORE 14242.789
AT ITER 883 NEW BEST:: SOT 64334 SOS 32695 HAS SOPS 32695 HAS SOUS 14151 HAS SOUPS 14151 WITH SCORE 14183.695
AT ITER 893 NEW BEST:: SOT 64253 SOS 32607 HAS SOPS 32607 HAS SOUS 14081 HAS SOUPS 14081 WITH SCORE 14113.607
AT ITER 894 NEW BEST:: SOT 64253 SOS 32593 HAS SOPS 32593 HAS SOUS 14071 HAS SOUPS 14071 WITH SCORE 14103.593
AT ITER 895 NEW BEST:: SOT 64403 SOS 32739 HAS SOPS 32739 HAS SOUS 13939 HAS SOUPS 13939 WITH SCORE 13971.739
AT ITER 899 NEW BEST:: SOT 64378 SOS 32685 HAS SOPS 32685 HAS SOUS 13930 HAS SOUPS 13930 WITH SCORE 13962.685
AT ITER 902 NEW BEST:: SOT 62578 SOS 46046 HAS SOPS 46046 HAS SOUS 13699 HAS SOUPS 13699 WITH SCORE 13745.046
AT ITER 914 NEW BEST:: SOT 62633 SOS 46120 HAS SOPS 46120 HAS SOUS 13691 HAS SOUPS 13691 WITH SCORE 13737.12
AT ITER 915 NEW BEST:: SOT 62613 SOS 46036 HAS SOPS 46036 HAS SOUS 13671 HAS SOUPS 13671 WITH SCORE 13717.036
AT ITER 918 NEW BEST:: SOT 62583 SOS 46006 HAS SOPS 46006 HAS SOUS 13650 HAS SOUPS 13650 WITH SCORE 13696.006
AT ITER 931 NEW BEST:: SOT 62588 SOS 46074 HAS SOPS 46074 HAS SOUS 13649 HAS SOUPS 13649 WITH SCORE 13695.074
AT ITER 932 NEW BEST:: SOT 62628 SOS 45830 HAS SOPS 45830 HAS SOUS 13619 HAS SOUPS 13619 WITH SCORE 13664.83
AT ITER 942 NEW BEST:: SOT 62620 SOS 45816 HAS SOPS 45816 HAS SOUS 13611 HAS SOUPS 13611 WITH SCORE 13656.816
AT ITER 947 NEW BEST:: SOT 62620 SOS 45816 HAS SOPS 45816 HAS SOUS 13608 HAS SOUPS 13608 WITH SCORE 13653.816
AT ITER 950 NEW BEST:: SOT 62701 SOS 31910 HAS SOPS 31910 HAS SOUS 13041 HAS SOUPS 13041 WITH SCORE 13072.91
AT ITER 951 NEW BEST:: SOT 62721 SOS 31930 HAS SOPS 31930 HAS SOUS 13026 HAS SOUPS 13026 WITH SCORE 13057.93
AT ITER 962 NEW BEST:: SOT 62711 SOS 31962 HAS SOPS 31962 HAS SOUS 13016 HAS SOUPS 13016 WITH SCORE 13047.962
AT ITER 964 NEW BEST:: SOT 62690 SOS 31914 HAS SOPS 31914 HAS SOUS 13008 HAS SOUPS 13008 WITH SCORE 13039.914
AT ITER 987 NEW BEST:: SOT 62675 SOS 31885 HAS SOPS 31885 HAS SOUS 13004 HAS SOUPS 13004 WITH SCORE 13035.885
AT ITER 997 NEW BEST:: SOT 62663 SOS 31855 HAS SOPS 31855 HAS SOUS 12992 HAS SOUPS 12992 WITH SCORE 13023.855
AT ITER 998 NEW BEST:: SOT 62646 SOS 31839 HAS SOPS 31839 HAS SOUS 12976 HAS SOUPS 12976 WITH SCORE 13007.839
AT ITER 1004 NEW BEST:: SOT 62654 SOS 31831 HAS SOPS 31831 HAS SOUS 12976 HAS SOUPS 12976 WITH SCORE 13007.831
AT ITER 1005 NEW BEST:: SOT 62634 SOS 31963 HAS SOPS 31963 HAS SOUS 12898 HAS SOUPS 12898 WITH SCORE 12929.963
AT ITER 1011 NEW BEST:: SOT 62633 SOS 31965 HAS SOPS 31965 HAS SOUS 12894 HAS SOUPS 12894 WITH SCORE 12925.965
AT ITER 1016 NEW BEST:: SOT 62495 SOS 31827 HAS SOPS 31827 HAS SOUS 12832 HAS SOUPS 12832 WITH SCORE 12863.827
AT ITER 1046 NEW BEST:: SOT 62421 SOS 31731 HAS SOPS 31731 HAS SOUS 12758 HAS SOUPS 12758 WITH SCORE 12789.731
AT ITER 1048 NEW BEST:: SOT 62415 SOS 31737 HAS SOPS 31737 HAS SOUS 12746 HAS SOUPS 12746 WITH SCORE 12777.737
AT ITER 1067 NEW BEST:: SOT 62397 SOS 31713 HAS SOPS 31713 HAS SOUS 12722 HAS SOUPS 12722 WITH SCORE 12753.713
AT ITER 1085 NEW BEST:: SOT 62392 SOS 31667 HAS SOPS 31667 HAS SOUS 12717 HAS SOUPS 12717 WITH SCORE 12748.667
AT ITER 1098 NEW BEST:: SOT 62420 SOS 31627 HAS SOPS 31627 HAS SOUS 12714 HAS SOUPS 12714 WITH SCORE 12745.627
AT ITER 1101 NEW BEST:: SOT 62420 SOS 31621 HAS SOPS 31621 HAS SOUS 12711 HAS SOUPS 12711 WITH SCORE 12742.621
AT ITER 1117 NEW BEST:: SOT 62394 SOS 31595 HAS SOPS 31595 HAS SOUS 12696 HAS SOUPS 12696 WITH SCORE 12727.595
AT ITER 1118 NEW BEST:: SOT 62372 SOS 31549 HAS SOPS 31549 HAS SOUS 12674 HAS SOUPS 12674 WITH SCORE 12705.549
AT ITER 1125 NEW BEST:: SOT 62433 SOS 30972 HAS SOPS 30972 HAS SOUS 12663 HAS SOUPS 12663 WITH SCORE 12693.972
AT ITER 1171 NEW BEST:: SOT 62404 SOS 30936 HAS SOPS 30936 HAS SOUS 12634 HAS SOUPS 12634 WITH SCORE 12664.936
AT ITER 1176 NEW BEST:: SOT 62399 SOS 30926 HAS SOPS 30926 HAS SOUS 12629 HAS SOUPS 12629 WITH SCORE 12659.926
AT ITER 1183 NEW BEST:: SOT 62101 SOS 31204 HAS SOPS 31204 HAS SOUS 12496 HAS SOUPS 12496 WITH SCORE 12527.204
AT ITER 1204 NEW BEST:: SOT 62041 SOS 31132 HAS SOPS 31132 HAS SOUS 12472 HAS SOUPS 12472 WITH SCORE 12503.132
AT ITER 1208 NEW BEST:: SOT 62007 SOS 31098 HAS SOPS 31098 HAS SOUS 12404 HAS SOUPS 12404 WITH SCORE 12435.098
AT ITER 1211 NEW BEST:: SOT 62007 SOS 31113 HAS SOPS 31113 HAS SOUS 12399 HAS SOUPS 12399 WITH SCORE 12430.113
AT ITER 1233 NEW BEST:: SOT 62028 SOS 31177 HAS SOPS 31177 HAS SOUS 12385 HAS SOUPS 12385 WITH SCORE 12416.177
AT ITER 1242 NEW BEST:: SOT 62007 SOS 31030 HAS SOPS 31030 HAS SOUS 12370 HAS SOUPS 12370 WITH SCORE 12401.03
AT ITER 1275 NEW BEST:: SOT 61921 SOS 30917 HAS SOPS 30917 HAS SOUS 12346 HAS SOUPS 12346 WITH SCORE 12376.917
AT ITER 1276 NEW BEST:: SOT 61895 SOS 30879 HAS SOPS 30879 HAS SOUS 12323 HAS SOUPS 12323 WITH SCORE 12353.879
AT ITER 1281 NEW BEST:: SOT 61889 SOS 30879 HAS SOPS 30879 HAS SOUS 12314 HAS SOUPS 12314 WITH SCORE 12344.879
AT ITER 1298 NEW BEST:: SOT 61889 SOS 30840 HAS SOPS 30840 HAS SOUS 12293 HAS SOUPS 12293 WITH SCORE 12323.84
AT ITER 1302 NEW BEST:: SOT 61888 SOS 30984 HAS SOPS 30984 HAS SOUS 12228 HAS SOUPS 12228 WITH SCORE 12258.984
AT ITER 1330 NEW BEST:: SOT 61896 SOS 31004 HAS SOPS 31004 HAS SOUS 12225 HAS SOUPS 12225 WITH SCORE 12256.004
AT ITER 1336 NEW BEST:: SOT 61890 SOS 30998 HAS SOPS 30998 HAS SOUS 12217 HAS SOUPS 12217 WITH SCORE 12247.998
AT ITER 1338 NEW BEST:: SOT 61890 SOS 30980 HAS SOPS 30980 HAS SOUS 12208 HAS SOUPS 12208 WITH SCORE 12238.98
AT ITER 1340 NEW BEST:: SOT 61872 SOS 30958 HAS SOPS 30958 HAS SOUS 12198 HAS SOUPS 12198 WITH SCORE 12228.958
AT ITER 1354 NEW BEST:: SOT 61853 SOS 30934 HAS SOPS 30934 HAS SOUS 12152 HAS SOUPS 12152 WITH SCORE 12182.934
AT ITER 1366 NEW BEST:: SOT 61850 SOS 30928 HAS SOPS 30928 HAS SOUS 12140 HAS SOUPS 12140 WITH SCORE 12170.928
AT ITER 1372 NEW BEST:: SOT 61853 SOS 30935 HAS SOPS 30935 HAS SOUS 12139 HAS SOUPS 12139 WITH SCORE 12169.935
AT ITER 1376 NEW BEST:: SOT 61853 SOS 30935 HAS SOPS 30935 HAS SOUS 12123 HAS SOUPS 12123 WITH SCORE 12153.935
AT ITER 1400 NEW BEST:: SOT 61849 SOS 30931 HAS SOPS 30931 HAS SOUS 12119 HAS SOUPS 12119 WITH SCORE 12149.931
AT ITER 1425 NEW BEST:: SOT 61848 SOS 30929 HAS SOPS 30929 HAS SOUS 12118 HAS SOUPS 12118 WITH SCORE 12148.929
AT ITER 1432 NEW BEST:: SOT 61798 SOS 30875 HAS SOPS 30875 HAS SOUS 12052 HAS SOUPS 12052 WITH SCORE 12082.875
AT ITER 1453 NEW BEST:: SOT 61792 SOS 30869 HAS SOPS 30869 HAS SOUS 12046 HAS SOUPS 12046 WITH SCORE 12076.869
AT ITER 1455 NEW BEST:: SOT 61802 SOS 30879 HAS SOPS 30879 HAS SOUS 12036 HAS SOUPS 12036 WITH SCORE 12066.879
AT ITER 1463 NEW BEST:: SOT 61832 SOS 30419 HAS SOPS 30419 HAS SOUS 12011 HAS SOUPS 12011 WITH SCORE 12041.419
AT ITER 1468 NEW BEST:: SOT 61780 SOS 30645 HAS SOPS 30645 HAS SOUS 12010 HAS SOUPS 12010 WITH SCORE 12040.645
AT ITER 1473 NEW BEST:: SOT 61780 SOS 30589 HAS SOPS 30589 HAS SOUS 11996 HAS SOUPS 11996 WITH SCORE 12026.589
AT ITER 1474 NEW BEST:: SOT 61623 SOS 30763 HAS SOPS 30763 HAS SOUS 11876 HAS SOUPS 11876 WITH SCORE 11906.763
AT ITER 1486 NEW BEST:: SOT 61605 SOS 30707 HAS SOPS 30707 HAS SOUS 11858 HAS SOUPS 11858 WITH SCORE 11888.707
AT ITER 1548 NEW BEST:: SOT 61563 SOS 30651 HAS SOPS 30651 HAS SOUS 11858 HAS SOUPS 11858 WITH SCORE 11888.651
AT ITER 1564 NEW BEST:: SOT 61497 SOS 30585 HAS SOPS 30585 HAS SOUS 11847 HAS SOUPS 11847 WITH SCORE 11877.585
AT ITER 1565 NEW BEST:: SOT 61464 SOS 30557 HAS SOPS 30557 HAS SOUS 11814 HAS SOUPS 11814 WITH SCORE 11844.557
AT ITER 1581 NEW BEST:: SOT 61422 SOS 30515 HAS SOPS 30515 HAS SOUS 11762 HAS SOUPS 11762 WITH SCORE 11792.515
AT ITER 1592 NEW BEST:: SOT 61626 SOS 30719 HAS SOPS 30719 HAS SOUS 11753 HAS SOUPS 11753 WITH SCORE 11783.719
AT ITER 1635 NEW BEST:: SOT 61612 SOS 30687 HAS SOPS 30687 HAS SOUS 11744 HAS SOUPS 11744 WITH SCORE 11774.687
AT ITER 1637 NEW BEST:: SOT 61614 SOS 30671 HAS SOPS 30671 HAS SOUS 11706 HAS SOUPS 11706 WITH SCORE 11736.671
AT ITER 1639 NEW BEST:: SOT 61596 SOS 30795 HAS SOPS 30795 HAS SOUS 11688 HAS SOUPS 11688 WITH SCORE 11718.795
AT ITER 1641 NEW BEST:: SOT 61616 SOS 30815 HAS SOPS 30815 HAS SOUS 11680 HAS SOUPS 11680 WITH SCORE 11710.815
AT ITER 1646 NEW BEST:: SOT 61458 SOS 30657 HAS SOPS 30657 HAS SOUS 11601 HAS SOUPS 11601 WITH SCORE 11631.657
AT ITER 1650 NEW BEST:: SOT 61526 SOS 30648 HAS SOPS 30648 HAS SOUS 11590 HAS SOUPS 11590 WITH SCORE 11620.648
AT ITER 1651 NEW BEST:: SOT 61558 SOS 30676 HAS SOPS 30676 HAS SOUS 11578 HAS SOUPS 11578 WITH SCORE 11608.676
AT ITER 1666 NEW BEST:: SOT 61558 SOS 30676 HAS SOPS 30676 HAS SOUS 11572 HAS SOUPS 11572 WITH SCORE 11602.676
AT ITER 1667 NEW BEST:: SOT 61490 SOS 30608 HAS SOPS 30608 HAS SOUS 11428 HAS SOUPS 11428 WITH SCORE 11458.608
AT ITER 1688 NEW BEST:: SOT 61477 SOS 30595 HAS SOPS 30595 HAS SOUS 11427 HAS SOUPS 11427 WITH SCORE 11457.595
AT ITER 1691 NEW BEST:: SOT 61477 SOS 30585 HAS SOPS 30585 HAS SOUS 11422 HAS SOUPS 11422 WITH SCORE 11452.585
AT ITER 1699 NEW BEST:: SOT 61480 SOS 30589 HAS SOPS 30589 HAS SOUS 11416 HAS SOUPS 11416 WITH SCORE 11446.589
AT ITER 1707 NEW BEST:: SOT 61477 SOS 30586 HAS SOPS 30586 HAS SOUS 11398 HAS SOUPS 11398 WITH SCORE 11428.586
AT ITER 1717 NEW BEST:: SOT 61511 SOS 30620 HAS SOPS 30620 HAS SOUS 11360 HAS SOUPS 11360 WITH SCORE 11390.62
AT ITER 1730 NEW BEST:: SOT 61512 SOS 30592 HAS SOPS 30592 HAS SOUS 11359 HAS SOUPS 11359 WITH SCORE 11389.592
AT ITER 1731 NEW BEST:: SOT 61466 SOS 30590 HAS SOPS 30590 HAS SOUS 11314 HAS SOUPS 11314 WITH SCORE 11344.59
AT ITER 1743 NEW BEST:: SOT 61482 SOS 30644 HAS SOPS 30644 HAS SOUS 11311 HAS SOUPS 11311 WITH SCORE 11341.644
AT ITER 1751 NEW BEST:: SOT 61482 SOS 30635 HAS SOPS 30635 HAS SOUS 11311 HAS SOUPS 11311 WITH SCORE 11341.635
AT ITER 1757 NEW BEST:: SOT 61472 SOS 30623 HAS SOPS 30623 HAS SOUS 11301 HAS SOUPS 11301 WITH SCORE 11331.623
AT ITER 1767 NEW BEST:: SOT 61472 SOS 30623 HAS SOPS 30623 HAS SOUS 11297 HAS SOUPS 11297 WITH SCORE 11327.623
AT ITER 1775 NEW BEST:: SOT 61454 SOS 30605 HAS SOPS 30605 HAS SOUS 11273 HAS SOUPS 11273 WITH SCORE 11303.605
AT ITER 1795 NEW BEST:: SOT 61450 SOS 30597 HAS SOPS 30597 HAS SOUS 11269 HAS SOUPS 11269 WITH SCORE 11299.597
AT ITER 1797 NEW BEST:: SOT 61435 SOS 30582 HAS SOPS 30582 HAS SOUS 11269 HAS SOUPS 11269 WITH SCORE 11299.582
AT ITER 1798 NEW BEST:: SOT 61393 SOS 30512 HAS SOPS 30512 HAS SOUS 11223 HAS SOUPS 11223 WITH SCORE 11253.512
AT ITER 1799 NEW BEST:: SOT 61381 SOS 30500 HAS SOPS 30500 HAS SOUS 11211 HAS SOUPS 11211 WITH SCORE 11241.5
AT ITER 1805 NEW BEST:: SOT 61377 SOS 30492 HAS SOPS 30492 HAS SOUS 11203 HAS SOUPS 11203 WITH SCORE 11233.492
AT ITER 1816 NEW BEST:: SOT 61374 SOS 30549 HAS SOPS 30549 HAS SOUS 11179 HAS SOUPS 11179 WITH SCORE 11209.549
AT ITER 1830 NEW BEST:: SOT 61376 SOS 30551 HAS SOPS 30551 HAS SOUS 11119 HAS SOUPS 11119 WITH SCORE 11149.551
AT ITER 1843 NEW BEST:: SOT 61376 SOS 30551 HAS SOPS 30551 HAS SOUS 11116 HAS SOUPS 11116 WITH SCORE 11146.551
AT ITER 1845 NEW BEST:: SOT 61415 SOS 30590 HAS SOPS 30590 HAS SOUS 11113 HAS SOUPS 11113 WITH SCORE 11143.59
AT ITER 1849 NEW BEST:: SOT 61423 SOS 30598 HAS SOPS 30598 HAS SOUS 11110 HAS SOUPS 11110 WITH SCORE 11140.598
AT ITER 1870 NEW BEST:: SOT 61433 SOS 30608 HAS SOPS 30608 HAS SOUS 11108 HAS SOUPS 11108 WITH SCORE 11138.608
AT ITER 1879 NEW BEST:: SOT 61430 SOS 30602 HAS SOPS 30602 HAS SOUS 11102 HAS SOUPS 11102 WITH SCORE 11132.602
AT ITER 1891 NEW BEST:: SOT 61424 SOS 30582 HAS SOPS 30582 HAS SOUS 11097 HAS SOUPS 11097 WITH SCORE 11127.582
AT ITER 1893 NEW BEST:: SOT 61424 SOS 30550 HAS SOPS 30550 HAS SOUS 11097 HAS SOUPS 11097 WITH SCORE 11127.55
AT ITER 1897 NEW BEST:: SOT 61404 SOS 30650 HAS SOPS 30650 HAS SOUS 11085 HAS SOUPS 11085 WITH SCORE 11115.65
AT ITER 1900 NEW BEST:: SOT 61396 SOS 30626 HAS SOPS 30626 HAS SOUS 11073 HAS SOUPS 11073 WITH SCORE 11103.626
AT ITER 1901 NEW BEST:: SOT 61393 SOS 30620 HAS SOPS 30620 HAS SOUS 11070 HAS SOUPS 11070 WITH SCORE 11100.62
AT ITER 1903 NEW BEST:: SOT 61387 SOS 30590 HAS SOPS 30590 HAS SOUS 11064 HAS SOUPS 11064 WITH SCORE 11094.59
AT ITER 1916 NEW BEST:: SOT 61383 SOS 30578 HAS SOPS 30578 HAS SOUS 11058 HAS SOUPS 11058 WITH SCORE 11088.578
AT ITER 1923 NEW BEST:: SOT 61383 SOS 30578 HAS SOPS 30578 HAS SOUS 11051 HAS SOUPS 11051 WITH SCORE 11081.578
AT ITER 1930 NEW BEST:: SOT 61339 SOS 30526 HAS SOPS 30526 HAS SOUS 11050 HAS SOUPS 11050 WITH SCORE 11080.526
AT ITER 1939 NEW BEST:: SOT 61305 SOS 30542 HAS SOPS 30542 HAS SOUS 11011 HAS SOUPS 11011 WITH SCORE 11041.542
AT ITER 1962 NEW BEST:: SOT 61236 SOS 30422 HAS SOPS 30422 HAS SOUS 10946 HAS SOUPS 10946 WITH SCORE 10976.422
AT ITER 1969 NEW BEST:: SOT 61235 SOS 30431 HAS SOPS 30431 HAS SOUS 10945 HAS SOUPS 10945 WITH SCORE 10975.431
AT ITER 1973 NEW BEST:: SOT 61221 SOS 30417 HAS SOPS 30417 HAS SOUS 10901 HAS SOUPS 10901 WITH SCORE 10931.417
AT ITER 1982 NEW BEST:: SOT 61223 SOS 30417 HAS SOPS 30417 HAS SOUS 10897 HAS SOUPS 10897 WITH SCORE 10927.417
AT ITER 2000 NEW BEST:: SOT 61213 SOS 30407 HAS SOPS 30407 HAS SOUS 10887 HAS SOUPS 10887 WITH SCORE 10917.407
AT ITER 2020 NEW BEST:: SOT 61213 SOS 30402 HAS SOPS 30402 HAS SOUS 10886 HAS SOUPS 10886 WITH SCORE 10916.402
AT ITER 2045 NEW BEST:: SOT 61136 SOS 30325 HAS SOPS 30325 HAS SOUS 10865 HAS SOUPS 10865 WITH SCORE 10895.325
AT ITER 2058 NEW BEST:: SOT 61186 SOS 30379 HAS SOPS 30379 HAS SOUS 10848 HAS SOUPS 10848 WITH SCORE 10878.379
AT ITER 2066 NEW BEST:: SOT 61191 SOS 30381 HAS SOPS 30381 HAS SOUS 10842 HAS SOUPS 10842 WITH SCORE 10872.381
AT ITER 2078 NEW BEST:: SOT 61191 SOS 30345 HAS SOPS 30345 HAS SOUS 10842 HAS SOUPS 10842 WITH SCORE 10872.345
AT ITER 2080 NEW BEST:: SOT 61187 SOS 30341 HAS SOPS 30341 HAS SOUS 10786 HAS SOUPS 10786 WITH SCORE 10816.341
AT ITER 2086 NEW BEST:: SOT 61179 SOS 30333 HAS SOPS 30333 HAS SOUS 10784 HAS SOUPS 10784 WITH SCORE 10814.333
AT ITER 2098 NEW BEST:: SOT 61176 SOS 30330 HAS SOPS 30330 HAS SOUS 10774 HAS SOUPS 10774 WITH SCORE 10804.33
AT ITER 2102 NEW BEST:: SOT 61164 SOS 30318 HAS SOPS 30318 HAS SOUS 10756 HAS SOUPS 10756 WITH SCORE 10786.318
AT ITER 2107 NEW BEST:: SOT 61164 SOS 30306 HAS SOPS 30306 HAS SOUS 10750 HAS SOUPS 10750 WITH SCORE 10780.306
AT ITER 2108 NEW BEST:: SOT 61099 SOS 30181 HAS SOPS 30181 HAS SOUS 10695 HAS SOUPS 10695 WITH SCORE 10725.181
AT ITER 2110 NEW BEST:: SOT 61087 SOS 30163 HAS SOPS 30163 HAS SOUS 10677 HAS SOUPS 10677 WITH SCORE 10707.163
AT ITER 2111 NEW BEST:: SOT 61027 SOS 30083 HAS SOPS 30083 HAS SOUS 10617 HAS SOUPS 10617 WITH SCORE 10647.083
AT ITER 2118 NEW BEST:: SOT 61029 SOS 30078 HAS SOPS 30078 HAS SOUS 10606 HAS SOUPS 10606 WITH SCORE 10636.078
AT ITER 2122 NEW BEST:: SOT 61023 SOS 30070 HAS SOPS 30070 HAS SOUS 10599 HAS SOUPS 10599 WITH SCORE 10629.07
AT ITER 2135 NEW BEST:: SOT 61024 SOS 30067 HAS SOPS 30067 HAS SOUS 10596 HAS SOUPS 10596 WITH SCORE 10626.067
AT ITER 2147 NEW BEST:: SOT 61012 SOS 30055 HAS SOPS 30055 HAS SOUS 10584 HAS SOUPS 10584 WITH SCORE 10614.055
AT ITER 2164 NEW BEST:: SOT 61033 SOS 30063 HAS SOPS 30063 HAS SOUS 10567 HAS SOUPS 10567 WITH SCORE 10597.063
AT ITER 2165 NEW BEST:: SOT 61047 SOS 30077 HAS SOPS 30077 HAS SOUS 10549 HAS SOUPS 10549 WITH SCORE 10579.077
AT ITER 2173 NEW BEST:: SOT 61046 SOS 30093 HAS SOPS 30093 HAS SOUS 10548 HAS SOUPS 10548 WITH SCORE 10578.093
AT ITER 2192 NEW BEST:: SOT 61004 SOS 30033 HAS SOPS 30033 HAS SOUS 10494 HAS SOUPS 10494 WITH SCORE 10524.033
AT ITER 2205 NEW BEST:: SOT 61018 SOS 30143 HAS SOPS 30143 HAS SOUS 10487 HAS SOUPS 10487 WITH SCORE 10517.143
AT ITER 2218 NEW BEST:: SOT 60997 SOS 30123 HAS SOPS 30123 HAS SOUS 10471 HAS SOUPS 10471 WITH SCORE 10501.123
AT ITER 2220 NEW BEST:: SOT 60996 SOS 30181 HAS SOPS 30181 HAS SOUS 10469 HAS SOUPS 10469 WITH SCORE 10499.181
AT ITER 2224 NEW BEST:: SOT 60995 SOS 30179 HAS SOPS 30179 HAS SOUS 10466 HAS SOUPS 10466 WITH SCORE 10496.179
AT ITER 2241 NEW BEST:: SOT 60974 SOS 30147 HAS SOPS 30147 HAS SOUS 10437 HAS SOUPS 10437 WITH SCORE 10467.147
AT ITER 2255 NEW BEST:: SOT 61118 SOS 30279 HAS SOPS 30279 HAS SOUS 10423 HAS SOUPS 10423 WITH SCORE 10453.279
AT ITER 2272 NEW BEST:: SOT 61118 SOS 30279 HAS SOPS 30279 HAS SOUS 10412 HAS SOUPS 10412 WITH SCORE 10442.279
AT ITER 2291 NEW BEST:: SOT 61110 SOS 30270 HAS SOPS 30270 HAS SOUS 10407 HAS SOUPS 10407 WITH SCORE 10437.27
AT ITER 2307 NEW BEST:: SOT 61105 SOS 30287 HAS SOPS 30287 HAS SOUS 10397 HAS SOUPS 10397 WITH SCORE 10427.287
AT ITER 2309 NEW BEST:: SOT 61105 SOS 30259 HAS SOPS 30259 HAS SOUS 10397 HAS SOUPS 10397 WITH SCORE 10427.259
AT ITER 2315 NEW BEST:: SOT 61112 SOS 30126 HAS SOPS 30126 HAS SOUS 10394 HAS SOUPS 10394 WITH SCORE 10424.126
AT ITER 2320 NEW BEST:: SOT 61112 SOS 30126 HAS SOPS 30126 HAS SOUS 10386 HAS SOUPS 10386 WITH SCORE 10416.126
AT ITER 2338 NEW BEST:: SOT 61090 SOS 30060 HAS SOPS 30060 HAS SOUS 10364 HAS SOUPS 10364 WITH SCORE 10394.06
AT ITER 2394 NEW BEST:: SOT 61069 SOS 30038 HAS SOPS 30038 HAS SOUS 10352 HAS SOUPS 10352 WITH SCORE 10382.038
AT ITER 2396 NEW BEST:: SOT 61069 SOS 30038 HAS SOPS 30038 HAS SOUS 10348 HAS SOUPS 10348 WITH SCORE 10378.038
AT ITER 2404 NEW BEST:: SOT 61066 SOS 30032 HAS SOPS 30032 HAS SOUS 10342 HAS SOUPS 10342 WITH SCORE 10372.032
AT ITER 2405 NEW BEST:: SOT 61014 SOS 29956 HAS SOPS 29956 HAS SOUS 10300 HAS SOUPS 10300 WITH SCORE 10329.956
AT ITER 2412 NEW BEST:: SOT 60979 SOS 29921 HAS SOPS 29921 HAS SOUS 10292 HAS SOUPS 10292 WITH SCORE 10321.921
AT ITER 2428 NEW BEST:: SOT 60996 SOS 29897 HAS SOPS 29897 HAS SOUS 10280 HAS SOUPS 10280 WITH SCORE 10309.897
AT ITER 2435 NEW BEST:: SOT 60998 SOS 29913 HAS SOPS 29913 HAS SOUS 10278 HAS SOUPS 10278 WITH SCORE 10307.913
AT ITER 2438 NEW BEST:: SOT 60995 SOS 29901 HAS SOPS 29901 HAS SOUS 10272 HAS SOUPS 10272 WITH SCORE 10301.901
AT ITER 2442 NEW BEST:: SOT 60965 SOS 29934 HAS SOPS 29934 HAS SOUS 10263 HAS SOUPS 10263 WITH SCORE 10292.934
AT ITER 2458 NEW BEST:: SOT 60876 SOS 29422 HAS SOPS 29422 HAS SOUS 10225 HAS SOUPS 10225 WITH SCORE 10254.422
AT ITER 2485 NEW BEST:: SOT 60876 SOS 29370 HAS SOPS 29370 HAS SOUS 10225 HAS SOUPS 10225 WITH SCORE 10254.37
AT ITER 2486 NEW BEST:: SOT 60887 SOS 29394 HAS SOPS 29394 HAS SOUS 10222 HAS SOUPS 10222 WITH SCORE 10251.394
AT ITER 2497 NEW BEST:: SOT 60873 SOS 29364 HAS SOPS 29364 HAS SOUS 10222 HAS SOUPS 10222 WITH SCORE 10251.364
AT ITER 2519 NEW BEST:: SOT 60876 SOS 29360 HAS SOPS 29360 HAS SOUS 10216 HAS SOUPS 10216 WITH SCORE 10245.36
AT ITER 2522 NEW BEST:: SOT 60876 SOS 29360 HAS SOPS 29360 HAS SOUS 10210 HAS SOUPS 10210 WITH SCORE 10239.36
AT ITER 2533 NEW BEST:: SOT 60860 SOS 29376 HAS SOPS 29376 HAS SOUS 10208 HAS SOUPS 10208 WITH SCORE 10237.376
AT ITER 2561 NEW BEST:: SOT 60850 SOS 29366 HAS SOPS 29366 HAS SOUS 10201 HAS SOUPS 10201 WITH SCORE 10230.366
AT ITER 2614 NEW BEST:: SOT 60832 SOS 29330 HAS SOPS 29330 HAS SOUS 10198 HAS SOUPS 10198 WITH SCORE 10227.33
AT ITER 2628 NEW BEST:: SOT 60832 SOS 29272 HAS SOPS 29272 HAS SOUS 10198 HAS SOUPS 10198 WITH SCORE 10227.272
AT ITER 2629 NEW BEST:: SOT 60822 SOS 29262 HAS SOPS 29262 HAS SOUS 10188 HAS SOUPS 10188 WITH SCORE 10217.262
AT ITER 2663 NEW BEST:: SOT 60779 SOS 29219 HAS SOPS 29219 HAS SOUS 10144 HAS SOUPS 10144 WITH SCORE 10173.219
AT ITER 2710 NEW BEST:: SOT 60676 SOS 29135 HAS SOPS 29135 HAS SOUS 10060 HAS SOUPS 10060 WITH SCORE 10089.135
AT ITER 2742 NEW BEST:: SOT 60676 SOS 29139 HAS SOPS 29139 HAS SOUS 10056 HAS SOUPS 10056 WITH SCORE 10085.139
AT ITER 2747 NEW BEST:: SOT 60664 SOS 29123 HAS SOPS 29123 HAS SOUS 10044 HAS SOUPS 10044 WITH SCORE 10073.123
AT ITER 2748 NEW BEST:: SOT 60663 SOS 29170 HAS SOPS 29170 HAS SOUS 10005 HAS SOUPS 10005 WITH SCORE 10034.17
AT ITER 2753 NEW BEST:: SOT 60663 SOS 29099 HAS SOPS 29099 HAS SOUS 9997 HAS SOUPS 9997 WITH SCORE 10026.099
AT ITER 2788 NEW BEST:: SOT 60709 SOS 29205 HAS SOPS 29205 HAS SOUS 9996 HAS SOUPS 9996 WITH SCORE 10025.205
AT ITER 2851 NEW BEST:: SOT 60701 SOS 29249 HAS SOPS 29249 HAS SOUS 9992 HAS SOUPS 9992 WITH SCORE 10021.249
AT ITER 2855 NEW BEST:: SOT 60630 SOS 29210 HAS SOPS 29210 HAS SOUS 9966 HAS SOUPS 9966 WITH SCORE 9995.21
AT ITER 2857 NEW BEST:: SOT 60627 SOS 29206 HAS SOPS 29206 HAS SOUS 9962 HAS SOUPS 9962 WITH SCORE 9991.206
AT ITER 2899 NEW BEST:: SOT 60625 SOS 29082 HAS SOPS 29082 HAS SOUS 9954 HAS SOUPS 9954 WITH SCORE 9983.082
AT ITER 2965 NEW BEST:: SOT 60624 SOS 29082 HAS SOPS 29082 HAS SOUS 9952 HAS SOUPS 9952 WITH SCORE 9981.082
AT ITER 2966 NEW BEST:: SOT 60624 SOS 29070 HAS SOPS 29070 HAS SOUS 9948 HAS SOUPS 9948 WITH SCORE 9977.07
AT ITER 2967 NEW BEST:: SOT 60598 SOS 29044 HAS SOPS 29044 HAS SOUS 9946 HAS SOUPS 9946 WITH SCORE 9975.044
AT ITER 2970 NEW BEST:: SOT 60592 SOS 29032 HAS SOPS 29032 HAS SOUS 9934 HAS SOUPS 9934 WITH SCORE 9963.032
AT ITER 2977 NEW BEST:: SOT 60592 SOS 29030 HAS SOPS 29030 HAS SOUS 9934 HAS SOUPS 9934 WITH SCORE 9963.03
AT ITER 2980 NEW BEST:: SOT 60592 SOS 29030 HAS SOPS 29030 HAS SOUS 9933 HAS SOUPS 9933 WITH SCORE 9962.03
AT ITER 3031 NEW BEST:: SOT 60629 SOS 29067 HAS SOPS 29067 HAS SOUS 9910 HAS SOUPS 9910 WITH SCORE 9939.067
AT ITER 3046 NEW BEST:: SOT 60653 SOS 29091 HAS SOPS 29091 HAS SOUS 9886 HAS SOUPS 9886 WITH SCORE 9915.091
AT ITER 3063 NEW BEST:: SOT 60663 SOS 29101 HAS SOPS 29101 HAS SOUS 9872 HAS SOUPS 9872 WITH SCORE 9901.101
AT ITER 3096 NEW BEST:: SOT 60691 SOS 29058 HAS SOPS 29058 HAS SOUS 9869 HAS SOUPS 9869 WITH SCORE 9898.058
AT ITER 3120 NEW BEST:: SOT 60724 SOS 29091 HAS SOPS 29091 HAS SOUS 9848 HAS SOUPS 9848 WITH SCORE 9877.091
AT ITER 3121 NEW BEST:: SOT 60729 SOS 29101 HAS SOPS 29101 HAS SOUS 9840 HAS SOUPS 9840 WITH SCORE 9869.101
AT ITER 3128 NEW BEST:: SOT 60729 SOS 29096 HAS SOPS 29096 HAS SOUS 9835 HAS SOUPS 9835 WITH SCORE 9864.096
AT ITER 3141 NEW BEST:: SOT 60696 SOS 29074 HAS SOPS 29074 HAS SOUS 9802 HAS SOUPS 9802 WITH SCORE 9831.074
AT ITER 3178 NEW BEST:: SOT 60688 SOS 29064 HAS SOPS 29064 HAS SOUS 9800 HAS SOUPS 9800 WITH SCORE 9829.064
AT ITER 3233 NEW BEST:: SOT 60604 SOS 28980 HAS SOPS 28980 HAS SOUS 9792 HAS SOUPS 9792 WITH SCORE 9820.98
AT ITER 3240 NEW BEST:: SOT 60606 SOS 28389 HAS SOPS 28389 HAS SOUS 9758 HAS SOUPS 9758 WITH SCORE 9786.389
AT ITER 3291 NEW BEST:: SOT 60600 SOS 28383 HAS SOPS 28383 HAS SOUS 9754 HAS SOUPS 9754 WITH SCORE 9782.383
AT ITER 3293 NEW BEST:: SOT 60575 SOS 28347 HAS SOPS 28347 HAS SOUS 9743 HAS SOUPS 9743 WITH SCORE 9771.347
AT ITER 3328 NEW BEST:: SOT 60517 SOS 28289 HAS SOPS 28289 HAS SOUS 9733 HAS SOUPS 9733 WITH SCORE 9761.289
AT ITER 3363 NEW BEST:: SOT 60507 SOS 28279 HAS SOPS 28279 HAS SOUS 9723 HAS SOUPS 9723 WITH SCORE 9751.279
AT ITER 3407 NEW BEST:: SOT 60501 SOS 28264 HAS SOPS 28264 HAS SOUS 9711 HAS SOUPS 9711 WITH SCORE 9739.264
AT ITER 3408 NEW BEST:: SOT 60497 SOS 28254 HAS SOPS 28254 HAS SOUS 9707 HAS SOUPS 9707 WITH SCORE 9735.254
AT ITER 3416 NEW BEST:: SOT 60487 SOS 28179 HAS SOPS 28179 HAS SOUS 9678 HAS SOUPS 9678 WITH SCORE 9706.179
AT ITER 3454 NEW BEST:: SOT 60496 SOS 28174 HAS SOPS 28174 HAS SOUS 9652 HAS SOUPS 9652 WITH SCORE 9680.174
AT ITER 3458 NEW BEST:: SOT 60380 SOS 27962 HAS SOPS 27962 HAS SOUS 9601 HAS SOUPS 9601 WITH SCORE 9628.962
AT ITER 3503 NEW BEST:: SOT 60370 SOS 27976 HAS SOPS 27976 HAS SOUS 9593 HAS SOUPS 9593 WITH SCORE 9620.976
AT ITER 3514 NEW BEST:: SOT 60357 SOS 27962 HAS SOPS 27962 HAS SOUS 9581 HAS SOUPS 9581 WITH SCORE 9608.962
AT ITER 3523 NEW BEST:: SOT 60374 SOS 27949 HAS SOPS 27949 HAS SOUS 9581 HAS SOUPS 9581 WITH SCORE 9608.949
AT ITER 3536 NEW BEST:: SOT 60374 SOS 27939 HAS SOPS 27939 HAS SOUS 9579 HAS SOUPS 9579 WITH SCORE 9606.939
AT ITER 3549 NEW BEST:: SOT 60401 SOS 27966 HAS SOPS 27966 HAS SOUS 9554 HAS SOUPS 9554 WITH SCORE 9581.966
AT ITER 3574 NEW BEST:: SOT 60354 SOS 27919 HAS SOPS 27919 HAS SOUS 9544 HAS SOUPS 9544 WITH SCORE 9571.919
AT ITER 3576 NEW BEST:: SOT 60354 SOS 27913 HAS SOPS 27913 HAS SOUS 9544 HAS SOUPS 9544 WITH SCORE 9571.913
AT ITER 3579 NEW BEST:: SOT 60353 SOS 27911 HAS SOPS 27911 HAS SOUS 9541 HAS SOUPS 9541 WITH SCORE 9568.911
AT ITER 3607 NEW BEST:: SOT 60353 SOS 27911 HAS SOPS 27911 HAS SOUS 9525 HAS SOUPS 9525 WITH SCORE 9552.911
AT ITER 3626 NEW BEST:: SOT 60379 SOS 27937 HAS SOPS 27937 HAS SOUS 9521 HAS SOUPS 9521 WITH SCORE 9548.937
AT ITER 3638 NEW BEST:: SOT 60379 SOS 28132 HAS SOPS 28132 HAS SOUS 9512 HAS SOUPS 9512 WITH SCORE 9540.132
AT ITER 3650 NEW BEST:: SOT 60379 SOS 28116 HAS SOPS 28116 HAS SOUS 9504 HAS SOUPS 9504 WITH SCORE 9532.116
AT ITER 3657 NEW BEST:: SOT 60374 SOS 28106 HAS SOPS 28106 HAS SOUS 9504 HAS SOUPS 9504 WITH SCORE 9532.106
AT ITER 3659 NEW BEST:: SOT 60376 SOS 28068 HAS SOPS 28068 HAS SOUS 9503 HAS SOUPS 9503 WITH SCORE 9531.068
AT ITER 3696 NEW BEST:: SOT 60372 SOS 28072 HAS SOPS 28072 HAS SOUS 9495 HAS SOUPS 9495 WITH SCORE 9523.072
AT ITER 3702 NEW BEST:: SOT 60362 SOS 28062 HAS SOPS 28062 HAS SOUS 9485 HAS SOUPS 9485 WITH SCORE 9513.062
AT ITER 3713 NEW BEST:: SOT 60359 SOS 28060 HAS SOPS 28060 HAS SOUS 9483 HAS SOUPS 9483 WITH SCORE 9511.06
AT ITER 3733 NEW BEST:: SOT 60359 SOS 28060 HAS SOPS 28060 HAS SOUS 9482 HAS SOUPS 9482 WITH SCORE 9510.06
AT ITER 3737 NEW BEST:: SOT 60393 SOS 28094 HAS SOPS 28094 HAS SOUS 9422 HAS SOUPS 9422 WITH SCORE 9450.094
AT ITER 3738 NEW BEST:: SOT 60388 SOS 28079 HAS SOPS 28079 HAS SOUS 9388 HAS SOUPS 9388 WITH SCORE 9416.079
AT ITER 3742 NEW BEST:: SOT 60373 SOS 28042 HAS SOPS 28042 HAS SOUS 9383 HAS SOUPS 9383 WITH SCORE 9411.042
AT ITER 3756 NEW BEST:: SOT 60321 SOS 27983 HAS SOPS 27983 HAS SOUS 9365 HAS SOUPS 9365 WITH SCORE 9392.983
AT ITER 3775 NEW BEST:: SOT 60317 SOS 28059 HAS SOPS 28059 HAS SOUS 9333 HAS SOUPS 9333 WITH SCORE 9361.059
AT ITER 3820 NEW BEST:: SOT 60317 SOS 28056 HAS SOPS 28056 HAS SOUS 9325 HAS SOUPS 9325 WITH SCORE 9353.056
AT ITER 3822 NEW BEST:: SOT 60274 SOS 27948 HAS SOPS 27948 HAS SOUS 9269 HAS SOUPS 9269 WITH SCORE 9296.948
AT ITER 3851 NEW BEST:: SOT 60272 SOS 27944 HAS SOPS 27944 HAS SOUS 9265 HAS SOUPS 9265 WITH SCORE 9292.944
AT ITER 3855 NEW BEST:: SOT 60278 SOS 27949 HAS SOPS 27949 HAS SOUS 9264 HAS SOUPS 9264 WITH SCORE 9291.949
AT ITER 3856 NEW BEST:: SOT 60277 SOS 27932 HAS SOPS 27932 HAS SOUS 9262 HAS SOUPS 9262 WITH SCORE 9289.932
AT ITER 3878 NEW BEST:: SOT 60270 SOS 27918 HAS SOPS 27918 HAS SOUS 9255 HAS SOUPS 9255 WITH SCORE 9282.918
AT ITER 3899 NEW BEST:: SOT 60268 SOS 27911 HAS SOPS 27911 HAS SOUS 9251 HAS SOUPS 9251 WITH SCORE 9278.911
AT ITER 3908 NEW BEST:: SOT 60259 SOS 27910 HAS SOPS 27910 HAS SOUS 9250 HAS SOUPS 9250 WITH SCORE 9277.91
AT ITER 3935 NEW BEST:: SOT 60259 SOS 27902 HAS SOPS 27902 HAS SOUS 9250 HAS SOUPS 9250 WITH SCORE 9277.902
AT ITER 3982 NEW BEST:: SOT 60215 SOS 27847 HAS SOPS 27847 HAS SOUS 9240 HAS SOUPS 9240 WITH SCORE 9267.847
AT ITER 3990 NEW BEST:: SOT 60211 SOS 27859 HAS SOPS 27859 HAS SOUS 9236 HAS SOUPS 9236 WITH SCORE 9263.859
AT ITER 4006 NEW BEST:: SOT 60211 SOS 27859 HAS SOPS 27859 HAS SOUS 9234 HAS SOUPS 9234 WITH SCORE 9261.859
AT ITER 4022 NEW BEST:: SOT 60203 SOS 27851 HAS SOPS 27851 HAS SOUS 9234 HAS SOUPS 9234 WITH SCORE 9261.851
AT ITER 4049 NEW BEST:: SOT 60160 SOS 27582 HAS SOPS 27582 HAS SOUS 9216 HAS SOUPS 9216 WITH SCORE 9243.582
AT ITER 4065 NEW BEST:: SOT 60158 SOS 27578 HAS SOPS 27578 HAS SOUS 9214 HAS SOUPS 9214 WITH SCORE 9241.578
AT ITER 4066 NEW BEST:: SOT 60158 SOS 27578 HAS SOPS 27578 HAS SOUS 9212 HAS SOUPS 9212 WITH SCORE 9239.578
AT ITER 4077 NEW BEST:: SOT 60132 SOS 27509 HAS SOPS 27509 HAS SOUS 9203 HAS SOUPS 9203 WITH SCORE 9230.509
AT ITER 4179 NEW BEST:: SOT 59958 SOS 27362 HAS SOPS 27362 HAS SOUS 9184 HAS SOUPS 9184 WITH SCORE 9211.362
AT ITER 4196 NEW BEST:: SOT 59957 SOS 27360 HAS SOPS 27360 HAS SOUS 9183 HAS SOUPS 9183 WITH SCORE 9210.36
AT ITER 4208 NEW BEST:: SOT 59909 SOS 27166 HAS SOPS 27166 HAS SOUS 9168 HAS SOUPS 9168 WITH SCORE 9195.166
AT ITER 4209 NEW BEST:: SOT 59864 SOS 27106 HAS SOPS 27106 HAS SOUS 9132 HAS SOUPS 9132 WITH SCORE 9159.106
AT ITER 4210 NEW BEST:: SOT 59864 SOS 27106 HAS SOPS 27106 HAS SOUS 9126 HAS SOUPS 9126 WITH SCORE 9153.106
AT ITER 4217 NEW BEST:: SOT 59864 SOS 27050 HAS SOPS 27050 HAS SOUS 9108 HAS SOUPS 9108 WITH SCORE 9135.05
AT ITER 4244 NEW BEST:: SOT 59873 SOS 26984 HAS SOPS 26984 HAS SOUS 9106 HAS SOUPS 9106 WITH SCORE 9132.984
AT ITER 4263 NEW BEST:: SOT 59860 SOS 27004 HAS SOPS 27004 HAS SOUS 9083 HAS SOUPS 9083 WITH SCORE 9110.004
AT ITER 4296 NEW BEST:: SOT 59837 SOS 26985 HAS SOPS 26985 HAS SOUS 9064 HAS SOUPS 9064 WITH SCORE 9090.985
AT ITER 4304 NEW BEST:: SOT 59824 SOS 26959 HAS SOPS 26959 HAS SOUS 9051 HAS SOUPS 9051 WITH SCORE 9077.959
AT ITER 4307 NEW BEST:: SOT 59817 SOS 26951 HAS SOPS 26951 HAS SOUS 9024 HAS SOUPS 9024 WITH SCORE 9050.951
AT ITER 4313 NEW BEST:: SOT 59834 SOS 26949 HAS SOPS 26949 HAS SOUS 9022 HAS SOUPS 9022 WITH SCORE 9048.949
AT ITER 4339 NEW BEST:: SOT 59830 SOS 26943 HAS SOPS 26943 HAS SOUS 9016 HAS SOUPS 9016 WITH SCORE 9042.943
AT ITER 4340 NEW BEST:: SOT 59838 SOS 26895 HAS SOPS 26895 HAS SOUS 8981 HAS SOUPS 8981 WITH SCORE 9007.895
AT ITER 4344 NEW BEST:: SOT 59827 SOS 26884 HAS SOPS 26884 HAS SOUS 8979 HAS SOUPS 8979 WITH SCORE 9005.884
AT ITER 4348 NEW BEST:: SOT 59824 SOS 26881 HAS SOPS 26881 HAS SOUS 8970 HAS SOUPS 8970 WITH SCORE 8996.881
AT ITER 4373 NEW BEST:: SOT 59809 SOS 26863 HAS SOPS 26863 HAS SOUS 8959 HAS SOUPS 8959 WITH SCORE 8985.863
AT ITER 4419 NEW BEST:: SOT 59763 SOS 26809 HAS SOPS 26809 HAS SOUS 8937 HAS SOUPS 8937 WITH SCORE 8963.809
AT ITER 4439 NEW BEST:: SOT 59685 SOS 26701 HAS SOPS 26701 HAS SOUS 8909 HAS SOUPS 8909 WITH SCORE 8935.701
AT ITER 4475 NEW BEST:: SOT 59666 SOS 26677 HAS SOPS 26677 HAS SOUS 8881 HAS SOUPS 8881 WITH SCORE 8907.677
AT ITER 4492 NEW BEST:: SOT 59668 SOS 26689 HAS SOPS 26689 HAS SOUS 8877 HAS SOUPS 8877 WITH SCORE 8903.689
AT ITER 4498 NEW BEST:: SOT 59705 SOS 26726 HAS SOPS 26726 HAS SOUS 8871 HAS SOUPS 8871 WITH SCORE 8897.726
AT ITER 4520 NEW BEST:: SOT 59700 SOS 26714 HAS SOPS 26714 HAS SOUS 8870 HAS SOUPS 8870 WITH SCORE 8896.714
AT ITER 4522 NEW BEST:: SOT 59698 SOS 26712 HAS SOPS 26712 HAS SOUS 8870 HAS SOUPS 8870 WITH SCORE 8896.712
AT ITER 4531 NEW BEST:: SOT 59696 SOS 26708 HAS SOPS 26708 HAS SOUS 8869 HAS SOUPS 8869 WITH SCORE 8895.708
AT ITER 4540 NEW BEST:: SOT 59695 SOS 26683 HAS SOPS 26683 HAS SOUS 8868 HAS SOUPS 8868 WITH SCORE 8894.683
AT ITER 4546 NEW BEST:: SOT 59730 SOS 26718 HAS SOPS 26718 HAS SOUS 8859 HAS SOUPS 8859 WITH SCORE 8885.718
AT ITER 4555 NEW BEST:: SOT 59722 SOS 26640 HAS SOPS 26640 HAS SOUS 8825 HAS SOUPS 8825 WITH SCORE 8851.64
AT ITER 4593 NEW BEST:: SOT 59723 SOS 26640 HAS SOPS 26640 HAS SOUS 8824 HAS SOUPS 8824 WITH SCORE 8850.64
AT ITER 4597 NEW BEST:: SOT 59692 SOS 26544 HAS SOPS 26544 HAS SOUS 8776 HAS SOUPS 8776 WITH SCORE 8802.544
AT ITER 4626 NEW BEST:: SOT 59683 SOS 26576 HAS SOPS 26576 HAS SOUS 8767 HAS SOUPS 8767 WITH SCORE 8793.576
AT ITER 4663 NEW BEST:: SOT 59686 SOS 26590 HAS SOPS 26590 HAS SOUS 8765 HAS SOUPS 8765 WITH SCORE 8791.59
AT ITER 4671 NEW BEST:: SOT 59692 SOS 26593 HAS SOPS 26593 HAS SOUS 8762 HAS SOUPS 8762 WITH SCORE 8788.593
AT ITER 4673 NEW BEST:: SOT 59739 SOS 26679 HAS SOPS 26679 HAS SOUS 8726 HAS SOUPS 8726 WITH SCORE 8752.679
AT ITER 4758 NEW BEST:: SOT 59736 SOS 26673 HAS SOPS 26673 HAS SOUS 8707 HAS SOUPS 8707 WITH SCORE 8733.673
AT ITER 4761 NEW BEST:: SOT 59750 SOS 26925 HAS SOPS 26925 HAS SOUS 8683 HAS SOUPS 8683 WITH SCORE 8709.925
AT ITER 4782 NEW BEST:: SOT 59744 SOS 26919 HAS SOPS 26919 HAS SOUS 8677 HAS SOUPS 8677 WITH SCORE 8703.919
AT ITER 4827 NEW BEST:: SOT 59738 SOS 26913 HAS SOPS 26913 HAS SOUS 8664 HAS SOUPS 8664 WITH SCORE 8690.913
AT ITER 4830 NEW BEST:: SOT 59704 SOS 26845 HAS SOPS 26845 HAS SOUS 8642 HAS SOUPS 8642 WITH SCORE 8668.845
AT ITER 4832 NEW BEST:: SOT 59662 SOS 26797 HAS SOPS 26797 HAS SOUS 8594 HAS SOUPS 8594 WITH SCORE 8620.797
AT ITER 4833 NEW BEST:: SOT 59656 SOS 26815 HAS SOPS 26815 HAS SOUS 8560 HAS SOUPS 8560 WITH SCORE 8586.815
AT ITER 4842 NEW BEST:: SOT 59638 SOS 26759 HAS SOPS 26759 HAS SOUS 8558 HAS SOUPS 8558 WITH SCORE 8584.759
AT ITER 4851 NEW BEST:: SOT 59630 SOS 26743 HAS SOPS 26743 HAS SOUS 8530 HAS SOUPS 8530 WITH SCORE 8556.743
AT ITER 4868 NEW BEST:: SOT 59621 SOS 26716 HAS SOPS 26716 HAS SOUS 8530 HAS SOUPS 8530 WITH SCORE 8556.716
AT ITER 4886 NEW BEST:: SOT 59652 SOS 26744 HAS SOPS 26744 HAS SOUS 8498 HAS SOUPS 8498 WITH SCORE 8524.744
AT ITER 4887 NEW BEST:: SOT 59645 SOS 26726 HAS SOPS 26726 HAS SOUS 8487 HAS SOUPS 8487 WITH SCORE 8513.726
AT ITER 4892 NEW BEST:: SOT 59645 SOS 26726 HAS SOPS 26726 HAS SOUS 8486 HAS SOUPS 8486 WITH SCORE 8512.726
AT ITER 4916 NEW BEST:: SOT 59655 SOS 26736 HAS SOPS 26736 HAS SOUS 8478 HAS SOUPS 8478 WITH SCORE 8504.736
AT ITER 4919 NEW BEST:: SOT 59622 SOS 26708 HAS SOPS 26708 HAS SOUS 8454 HAS SOUPS 8454 WITH SCORE 8480.708
AT ITER 4934 NEW BEST:: SOT 59634 SOS 26928 HAS SOPS 26928 HAS SOUS 8430 HAS SOUPS 8430 WITH SCORE 8456.928
AT ITER 4941 NEW BEST:: SOT 59631 SOS 26928 HAS SOPS 26928 HAS SOUS 8424 HAS SOUPS 8424 WITH SCORE 8450.928
AT ITER 4957 NEW BEST:: SOT 59627 SOS 26938 HAS SOPS 26938 HAS SOUS 8416 HAS SOUPS 8416 WITH SCORE 8442.938
AT ITER 4964 NEW BEST:: SOT 59624 SOS 26926 HAS SOPS 26926 HAS SOUS 8402 HAS SOUPS 8402 WITH SCORE 8428.926
AT ITER 5022 NEW BEST:: SOT 59612 SOS 26912 HAS SOPS 26912 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8414.912
AT ITER 5042 NEW BEST:: SOT 59617 SOS 26906 HAS SOPS 26906 HAS SOUS 8382 HAS SOUPS 8382 WITH SCORE 8408.906
AT ITER 5055 NEW BEST:: SOT 59617 SOS 26962 HAS SOPS 26962 HAS SOUS 8354 HAS SOUPS 8354 WITH SCORE 8380.962
AT ITER 5068 NEW BEST:: SOT 59607 SOS 26952 HAS SOPS 26952 HAS SOUS 8333 HAS SOUPS 8333 WITH SCORE 8359.952
AT ITER 5072 NEW BEST:: SOT 59603 SOS 26948 HAS SOPS 26948 HAS SOUS 8321 HAS SOUPS 8321 WITH SCORE 8347.948
AT ITER 5074 NEW BEST:: SOT 59589 SOS 26968 HAS SOPS 26968 HAS SOUS 8295 HAS SOUPS 8295 WITH SCORE 8321.968
AT ITER 5082 NEW BEST:: SOT 59413 SOS 27516 HAS SOPS 27516 HAS SOUS 8247 HAS SOUPS 8247 WITH SCORE 8274.516
AT ITER 5095 NEW BEST:: SOT 59428 SOS 27355 HAS SOPS 27355 HAS SOUS 8243 HAS SOUPS 8243 WITH SCORE 8270.355
AT ITER 5137 NEW BEST:: SOT 59428 SOS 27355 HAS SOPS 27355 HAS SOUS 8232 HAS SOUPS 8232 WITH SCORE 8259.355
AT ITER 5156 NEW BEST:: SOT 59374 SOS 26927 HAS SOPS 26927 HAS SOUS 8186 HAS SOUPS 8186 WITH SCORE 8212.927
AT ITER 5168 NEW BEST:: SOT 59378 SOS 26911 HAS SOPS 26911 HAS SOUS 8184 HAS SOUPS 8184 WITH SCORE 8210.911
AT ITER 5173 NEW BEST:: SOT 59376 SOS 26881 HAS SOPS 26881 HAS SOUS 8182 HAS SOUPS 8182 WITH SCORE 8208.881
AT ITER 5186 NEW BEST:: SOT 59401 SOS 26638 HAS SOPS 26638 HAS SOUS 8180 HAS SOUPS 8180 WITH SCORE 8206.638
AT ITER 5189 NEW BEST:: SOT 59391 SOS 26623 HAS SOPS 26623 HAS SOUS 8180 HAS SOUPS 8180 WITH SCORE 8206.623
AT ITER 5204 NEW BEST:: SOT 59385 SOS 26517 HAS SOPS 26517 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8200.517
AT ITER 5217 NEW BEST:: SOT 59382 SOS 26511 HAS SOPS 26511 HAS SOUS 8173 HAS SOUPS 8173 WITH SCORE 8199.511
AT ITER 5235 NEW BEST:: SOT 59352 SOS 26467 HAS SOPS 26467 HAS SOUS 8125 HAS SOUPS 8125 WITH SCORE 8151.467
AT ITER 5257 NEW BEST:: SOT 59293 SOS 26223 HAS SOPS 26223 HAS SOUS 8122 HAS SOUPS 8122 WITH SCORE 8148.223
AT ITER 5328 NEW BEST:: SOT 59293 SOS 26163 HAS SOPS 26163 HAS SOUS 8102 HAS SOUPS 8102 WITH SCORE 8128.163
AT ITER 5353 NEW BEST:: SOT 59274 SOS 26203 HAS SOPS 26203 HAS SOUS 8089 HAS SOUPS 8089 WITH SCORE 8115.203
AT ITER 5379 NEW BEST:: SOT 59152 SOS 25585 HAS SOPS 25585 HAS SOUS 7973 HAS SOUPS 7973 WITH SCORE 7998.585
AT ITER 5393 NEW BEST:: SOT 59142 SOS 25575 HAS SOPS 25575 HAS SOUS 7952 HAS SOUPS 7952 WITH SCORE 7977.575
AT ITER 5400 NEW BEST:: SOT 59118 SOS 25543 HAS SOPS 25543 HAS SOUS 7928 HAS SOUPS 7928 WITH SCORE 7953.543
AT ITER 5403 NEW BEST:: SOT 59120 SOS 25545 HAS SOPS 25545 HAS SOUS 7920 HAS SOUPS 7920 WITH SCORE 7945.545
AT ITER 5452 NEW BEST:: SOT 59120 SOS 25545 HAS SOPS 25545 HAS SOUS 7914 HAS SOUPS 7914 WITH SCORE 7939.545
AT ITER 5456 NEW BEST:: SOT 59117 SOS 25536 HAS SOPS 25536 HAS SOUS 7914 HAS SOUPS 7914 WITH SCORE 7939.536
AT ITER 5473 NEW BEST:: SOT 59117 SOS 25534 HAS SOPS 25534 HAS SOUS 7913 HAS SOUPS 7913 WITH SCORE 7938.534
AT ITER 5476 NEW BEST:: SOT 59155 SOS 25572 HAS SOPS 25572 HAS SOUS 7911 HAS SOUPS 7911 WITH SCORE 7936.572
AT ITER 5505 NEW BEST:: SOT 59131 SOS 25538 HAS SOPS 25538 HAS SOUS 7882 HAS SOUPS 7882 WITH SCORE 7907.538
AT ITER 5572 NEW BEST:: SOT 59133 SOS 25540 HAS SOPS 25540 HAS SOUS 7881 HAS SOUPS 7881 WITH SCORE 7906.54
AT ITER 5604 NEW BEST:: SOT 59133 SOS 25540 HAS SOPS 25540 HAS SOUS 7880 HAS SOUPS 7880 WITH SCORE 7905.54
AT ITER 5619 NEW BEST:: SOT 59115 SOS 25522 HAS SOPS 25522 HAS SOUS 7862 HAS SOUPS 7862 WITH SCORE 7887.522
AT ITER 5620 NEW BEST:: SOT 59114 SOS 25520 HAS SOPS 25520 HAS SOUS 7860 HAS SOUPS 7860 WITH SCORE 7885.52
AT ITER 5625 NEW BEST:: SOT 59082 SOS 25762 HAS SOPS 25762 HAS SOUS 7850 HAS SOUPS 7850 WITH SCORE 7875.762
AT ITER 5630 NEW BEST:: SOT 59080 SOS 25834 HAS SOPS 25834 HAS SOUS 7837 HAS SOUPS 7837 WITH SCORE 7862.834
AT ITER 5679 NEW BEST:: SOT 59078 SOS 25832 HAS SOPS 25832 HAS SOUS 7835 HAS SOUPS 7835 WITH SCORE 7860.832
AT ITER 5718 NEW BEST:: SOT 59061 SOS 25816 HAS SOPS 25816 HAS SOUS 7834 HAS SOUPS 7834 WITH SCORE 7859.816
AT ITER 5720 NEW BEST:: SOT 59072 SOS 25823 HAS SOPS 25823 HAS SOUS 7830 HAS SOUPS 7830 WITH SCORE 7855.823
AT ITER 5724 NEW BEST:: SOT 59040 SOS 25799 HAS SOPS 25799 HAS SOUS 7806 HAS SOUPS 7806 WITH SCORE 7831.799
AT ITER 5725 NEW BEST:: SOT 59040 SOS 25790 HAS SOPS 25790 HAS SOUS 7806 HAS SOUPS 7806 WITH SCORE 7831.79
AT ITER 5726 NEW BEST:: SOT 59012 SOS 25762 HAS SOPS 25762 HAS SOUS 7768 HAS SOUPS 7768 WITH SCORE 7793.762
AT ITER 5860 NEW BEST:: SOT 58999 SOS 25700 HAS SOPS 25700 HAS SOUS 7760 HAS SOUPS 7760 WITH SCORE 7785.7
AT ITER 5865 NEW BEST:: SOT 58972 SOS 25678 HAS SOPS 25678 HAS SOUS 7744 HAS SOUPS 7744 WITH SCORE 7769.678
AT ITER 5908 NEW BEST:: SOT 58966 SOS 25633 HAS SOPS 25633 HAS SOUS 7741 HAS SOUPS 7741 WITH SCORE 7766.633
AT ITER 5935 NEW BEST:: SOT 58952 SOS 25598 HAS SOPS 25598 HAS SOUS 7727 HAS SOUPS 7727 WITH SCORE 7752.598
AT ITER 5949 NEW BEST:: SOT 58948 SOS 25592 HAS SOPS 25592 HAS SOUS 7713 HAS SOUPS 7713 WITH SCORE 7738.592
AT ITER 5953 NEW BEST:: SOT 58947 SOS 25587 HAS SOPS 25587 HAS SOUS 7712 HAS SOUPS 7712 WITH SCORE 7737.587
AT ITER 6009 NEW BEST:: SOT 58932 SOS 25567 HAS SOPS 25567 HAS SOUS 7700 HAS SOUPS 7700 WITH SCORE 7725.567
AT ITER 6034 NEW BEST:: SOT 58922 SOS 25562 HAS SOPS 25562 HAS SOUS 7690 HAS SOUPS 7690 WITH SCORE 7715.562
AT ITER 6042 NEW BEST:: SOT 58912 SOS 25552 HAS SOPS 25552 HAS SOUS 7684 HAS SOUPS 7684 WITH SCORE 7709.552
AT ITER 6060 NEW BEST:: SOT 58902 SOS 25538 HAS SOPS 25538 HAS SOUS 7657 HAS SOUPS 7657 WITH SCORE 7682.538
AT ITER 6155 NEW BEST:: SOT 58894 SOS 25518 HAS SOPS 25518 HAS SOUS 7649 HAS SOUPS 7649 WITH SCORE 7674.518
AT ITER 6192 NEW BEST:: SOT 58887 SOS 25545 HAS SOPS 25545 HAS SOUS 7635 HAS SOUPS 7635 WITH SCORE 7660.545
AT ITER 6198 NEW BEST:: SOT 58885 SOS 25521 HAS SOPS 25521 HAS SOUS 7630 HAS SOUPS 7630 WITH SCORE 7655.521
AT ITER 6200 NEW BEST:: SOT 58882 SOS 25515 HAS SOPS 25515 HAS SOUS 7624 HAS SOUPS 7624 WITH SCORE 7649.515
AT ITER 6251 NEW BEST:: SOT 58868 SOS 25491 HAS SOPS 25491 HAS SOUS 7610 HAS SOUPS 7610 WITH SCORE 7635.491
AT ITER 6275 NEW BEST:: SOT 58860 SOS 25483 HAS SOPS 25483 HAS SOUS 7605 HAS SOUPS 7605 WITH SCORE 7630.483
AT ITER 6279 NEW BEST:: SOT 58853 SOS 25476 HAS SOPS 25476 HAS SOUS 7604 HAS SOUPS 7604 WITH SCORE 7629.476
AT ITER 6343 NEW BEST:: SOT 58841 SOS 25464 HAS SOPS 25464 HAS SOUS 7596 HAS SOUPS 7596 WITH SCORE 7621.464
AT ITER 6389 NEW BEST:: SOT 58832 SOS 25446 HAS SOPS 25446 HAS SOUS 7587 HAS SOUPS 7587 WITH SCORE 7612.446
AT ITER 6402 NEW BEST:: SOT 58833 SOS 25478 HAS SOPS 25478 HAS SOUS 7578 HAS SOUPS 7578 WITH SCORE 7603.478
AT ITER 6420 NEW BEST:: SOT 58830 SOS 25475 HAS SOPS 25475 HAS SOUS 7577 HAS SOUPS 7577 WITH SCORE 7602.475
AT ITER 6438 NEW BEST:: SOT 58787 SOS 25392 HAS SOPS 25392 HAS SOUS 7567 HAS SOUPS 7567 WITH SCORE 7592.392
AT ITER 6460 NEW BEST:: SOT 58781 SOS 25386 HAS SOPS 25386 HAS SOUS 7563 HAS SOUPS 7563 WITH SCORE 7588.386
AT ITER 6467 NEW BEST:: SOT 58758 SOS 25358 HAS SOPS 25358 HAS SOUS 7531 HAS SOUPS 7531 WITH SCORE 7556.358
AT ITER 6475 NEW BEST:: SOT 58758 SOS 25356 HAS SOPS 25356 HAS SOUS 7531 HAS SOUPS 7531 WITH SCORE 7556.356
AT ITER 6480 NEW BEST:: SOT 58758 SOS 25346 HAS SOPS 25346 HAS SOUS 7526 HAS SOUPS 7526 WITH SCORE 7551.346
AT ITER 6491 NEW BEST:: SOT 58718 SOS 25306 HAS SOPS 25306 HAS SOUS 7524 HAS SOUPS 7524 WITH SCORE 7549.306
AT ITER 6512 NEW BEST:: SOT 58704 SOS 25292 HAS SOPS 25292 HAS SOUS 7521 HAS SOUPS 7521 WITH SCORE 7546.292
AT ITER 6549 NEW BEST:: SOT 58704 SOS 25322 HAS SOPS 25322 HAS SOUS 7506 HAS SOUPS 7506 WITH SCORE 7531.322
AT ITER 6559 NEW BEST:: SOT 58686 SOS 25304 HAS SOPS 25304 HAS SOUS 7486 HAS SOUPS 7486 WITH SCORE 7511.304
AT ITER 6575 NEW BEST:: SOT 58667 SOS 25276 HAS SOPS 25276 HAS SOUS 7458 HAS SOUPS 7458 WITH SCORE 7483.276
AT ITER 6605 NEW BEST:: SOT 58643 SOS 25242 HAS SOPS 25242 HAS SOUS 7423 HAS SOUPS 7423 WITH SCORE 7448.242
AT ITER 6609 NEW BEST:: SOT 58599 SOS 25174 HAS SOPS 25174 HAS SOUS 7379 HAS SOUPS 7379 WITH SCORE 7404.174
AT ITER 6658 NEW BEST:: SOT 58602 SOS 25219 HAS SOPS 25219 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7403.219
AT ITER 6712 NEW BEST:: SOT 58541 SOS 25158 HAS SOPS 25158 HAS SOUS 7345 HAS SOUPS 7345 WITH SCORE 7370.158
AT ITER 6717 NEW BEST:: SOT 58517 SOS 25134 HAS SOPS 25134 HAS SOUS 7318 HAS SOUPS 7318 WITH SCORE 7343.134
AT ITER 6719 NEW BEST:: SOT 58490 SOS 25080 HAS SOPS 25080 HAS SOUS 7309 HAS SOUPS 7309 WITH SCORE 7334.08
AT ITER 6730 NEW BEST:: SOT 58462 SOS 25042 HAS SOPS 25042 HAS SOUS 7307 HAS SOUPS 7307 WITH SCORE 7332.042
AT ITER 6733 NEW BEST:: SOT 58456 SOS 25010 HAS SOPS 25010 HAS SOUS 7300 HAS SOUPS 7300 WITH SCORE 7325.01
AT ITER 6739 NEW BEST:: SOT 58477 SOS 25010 HAS SOPS 25010 HAS SOUS 7252 HAS SOUPS 7252 WITH SCORE 7277.01
AT ITER 6754 NEW BEST:: SOT 58469 SOS 25009 HAS SOPS 25009 HAS SOUS 7244 HAS SOUPS 7244 WITH SCORE 7269.009
AT ITER 6786 NEW BEST:: SOT 58469 SOS 25009 HAS SOPS 25009 HAS SOUS 7241 HAS SOUPS 7241 WITH SCORE 7266.009
AT ITER 6797 NEW BEST:: SOT 58464 SOS 25010 HAS SOPS 25010 HAS SOUS 7237 HAS SOUPS 7237 WITH SCORE 7262.01
AT ITER 6808 NEW BEST:: SOT 58420 SOS 24991 HAS SOPS 24991 HAS SOUS 7224 HAS SOUPS 7224 WITH SCORE 7248.991
AT ITER 6844 NEW BEST:: SOT 58423 SOS 24994 HAS SOPS 24994 HAS SOUS 7218 HAS SOUPS 7218 WITH SCORE 7242.994
AT ITER 6908 NEW BEST:: SOT 58414 SOS 24968 HAS SOPS 24968 HAS SOUS 7192 HAS SOUPS 7192 WITH SCORE 7216.968
AT ITER 6946 NEW BEST:: SOT 58405 SOS 24956 HAS SOPS 24956 HAS SOUS 7180 HAS SOUPS 7180 WITH SCORE 7204.956
AT ITER 6947 NEW BEST:: SOT 58393 SOS 24920 HAS SOPS 24920 HAS SOUS 7168 HAS SOUPS 7168 WITH SCORE 7192.92
AT ITER 6987 NEW BEST:: SOT 58367 SOS 24851 HAS SOPS 24851 HAS SOUS 7167 HAS SOUPS 7167 WITH SCORE 7191.851
AT ITER 6990 NEW BEST:: SOT 58366 SOS 24846 HAS SOPS 24846 HAS SOUS 7165 HAS SOUPS 7165 WITH SCORE 7189.846
AT ITER 7011 NEW BEST:: SOT 58358 SOS 24838 HAS SOPS 24838 HAS SOUS 7157 HAS SOUPS 7157 WITH SCORE 7181.838
AT ITER 7053 NEW BEST:: SOT 58358 SOS 24826 HAS SOPS 24826 HAS SOUS 7154 HAS SOUPS 7154 WITH SCORE 7178.826
AT ITER 7061 NEW BEST:: SOT 58358 SOS 24826 HAS SOPS 24826 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7177.826
AT ITER 7068 NEW BEST:: SOT 58343 SOS 24776 HAS SOPS 24776 HAS SOUS 7148 HAS SOUPS 7148 WITH SCORE 7172.776
AT ITER 7097 NEW BEST:: SOT 58343 SOS 24758 HAS SOPS 24758 HAS SOUS 7148 HAS SOUPS 7148 WITH SCORE 7172.758
AT ITER 7201 NEW BEST:: SOT 58341 SOS 24778 HAS SOPS 24778 HAS SOUS 7146 HAS SOUPS 7146 WITH SCORE 7170.778
AT ITER 7205 NEW BEST:: SOT 58337 SOS 24758 HAS SOPS 24758 HAS SOUS 7133 HAS SOUPS 7133 WITH SCORE 7157.758
AT ITER 7252 NEW BEST:: SOT 58337 SOS 24758 HAS SOPS 24758 HAS SOUS 7127 HAS SOUPS 7127 WITH SCORE 7151.758
AT ITER 7282 NEW BEST:: SOT 58326 SOS 24752 HAS SOPS 24752 HAS SOUS 7124 HAS SOUPS 7124 WITH SCORE 7148.752
AT ITER 7302 NEW BEST:: SOT 58310 SOS 24710 HAS SOPS 24710 HAS SOUS 7098 HAS SOUPS 7098 WITH SCORE 7122.71
AT ITER 7376 NEW BEST:: SOT 58305 SOS 24715 HAS SOPS 24715 HAS SOUS 7088 HAS SOUPS 7088 WITH SCORE 7112.715
AT ITER 7394 NEW BEST:: SOT 58303 SOS 24713 HAS SOPS 24713 HAS SOUS 7086 HAS SOUPS 7086 WITH SCORE 7110.713
AT ITER 7398 NEW BEST:: SOT 58302 SOS 24710 HAS SOPS 24710 HAS SOUS 7085 HAS SOUPS 7085 WITH SCORE 7109.71
AT ITER 7413 NEW BEST:: SOT 58304 SOS 24711 HAS SOPS 24711 HAS SOUS 7082 HAS SOUPS 7082 WITH SCORE 7106.711
AT ITER 7435 NEW BEST:: SOT 58300 SOS 24668 HAS SOPS 24668 HAS SOUS 7075 HAS SOUPS 7075 WITH SCORE 7099.668
AT ITER 7474 NEW BEST:: SOT 58286 SOS 24654 HAS SOPS 24654 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7079.654
AT ITER 7491 NEW BEST:: SOT 58280 SOS 24642 HAS SOPS 24642 HAS SOUS 7049 HAS SOUPS 7049 WITH SCORE 7073.642
AT ITER 7499 NEW BEST:: SOT 58283 SOS 24672 HAS SOPS 24672 HAS SOUS 7047 HAS SOUPS 7047 WITH SCORE 7071.672
AT ITER 7505 NEW BEST:: SOT 58283 SOS 24658 HAS SOPS 24658 HAS SOUS 7047 HAS SOUPS 7047 WITH SCORE 7071.658
AT ITER 7566 NEW BEST:: SOT 58275 SOS 24642 HAS SOPS 24642 HAS SOUS 7039 HAS SOUPS 7039 WITH SCORE 7063.642
AT ITER 7680 NEW BEST:: SOT 58259 SOS 24618 HAS SOPS 24618 HAS SOUS 7022 HAS SOUPS 7022 WITH SCORE 7046.618
AT ITER 7692 NEW BEST:: SOT 58271 SOS 24754 HAS SOPS 24754 HAS SOUS 7006 HAS SOUPS 7006 WITH SCORE 7030.754
AT ITER 7844 NEW BEST:: SOT 58274 SOS 24776 HAS SOPS 24776 HAS SOUS 6997 HAS SOUPS 6997 WITH SCORE 7021.776
AT ITER 7955 NEW BEST:: SOT 58272 SOS 24772 HAS SOPS 24772 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7017.772
AT ITER 7960 NEW BEST:: SOT 58271 SOS 24773 HAS SOPS 24773 HAS SOUS 6992 HAS SOUPS 6992 WITH SCORE 7016.773
AT ITER 8008 NEW BEST:: SOT 58275 SOS 24785 HAS SOPS 24785 HAS SOUS 6977 HAS SOUPS 6977 WITH SCORE 7001.785
AT ITER 8103 NEW BEST:: SOT 58275 SOS 24777 HAS SOPS 24777 HAS SOUS 6973 HAS SOUPS 6973 WITH SCORE 6997.777
AT ITER 8132 NEW BEST:: SOT 58286 SOS 24803 HAS SOPS 24803 HAS SOUS 6966 HAS SOUPS 6966 WITH SCORE 6990.803
AT ITER 8170 NEW BEST:: SOT 58280 SOS 24797 HAS SOPS 24797 HAS SOUS 6957 HAS SOUPS 6957 WITH SCORE 6981.797
AT ITER 8232 NEW BEST:: SOT 58274 SOS 24773 HAS SOPS 24773 HAS SOUS 6939 HAS SOUPS 6939 WITH SCORE 6963.773
AT ITER 8242 NEW BEST:: SOT 58274 SOS 24748 HAS SOPS 24748 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6958.748
AT ITER 8263 NEW BEST:: SOT 58291 SOS 24738 HAS SOPS 24738 HAS SOUS 6924 HAS SOUPS 6924 WITH SCORE 6948.738
AT ITER 8286 NEW BEST:: SOT 58293 SOS 24709 HAS SOPS 24709 HAS SOUS 6923 HAS SOUPS 6923 WITH SCORE 6947.709
AT ITER 8289 NEW BEST:: SOT 58290 SOS 24698 HAS SOPS 24698 HAS SOUS 6922 HAS SOUPS 6922 WITH SCORE 6946.698
AT ITER 8292 NEW BEST:: SOT 58266 SOS 24668 HAS SOPS 24668 HAS SOUS 6916 HAS SOUPS 6916 WITH SCORE 6940.668
AT ITER 8295 NEW BEST:: SOT 58267 SOS 24665 HAS SOPS 24665 HAS SOUS 6915 HAS SOUPS 6915 WITH SCORE 6939.665
AT ITER 8408 NEW BEST:: SOT 58252 SOS 24650 HAS SOPS 24650 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6934.65
AT ITER 8422 NEW BEST:: SOT 58232 SOS 24642 HAS SOPS 24642 HAS SOUS 6883 HAS SOUPS 6883 WITH SCORE 6907.642
AT ITER 8474 NEW BEST:: SOT 58220 SOS 24637 HAS SOPS 24637 HAS SOUS 6878 HAS SOUPS 6878 WITH SCORE 6902.637
AT ITER 8482 NEW BEST:: SOT 58208 SOS 24621 HAS SOPS 24621 HAS SOUS 6878 HAS SOUPS 6878 WITH SCORE 6902.621
AT ITER 8501 NEW BEST:: SOT 58198 SOS 24599 HAS SOPS 24599 HAS SOUS 6868 HAS SOUPS 6868 WITH SCORE 6892.599
AT ITER 8523 NEW BEST:: SOT 58217 SOS 24601 HAS SOPS 24601 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6878.601
AT ITER 8572 NEW BEST:: SOT 58213 SOS 24595 HAS SOPS 24595 HAS SOUS 6849 HAS SOUPS 6849 WITH SCORE 6873.595
AT ITER 8610 NEW BEST:: SOT 58228 SOS 24610 HAS SOPS 24610 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6859.61
AT ITER 8693 NEW BEST:: SOT 58222 SOS 24602 HAS SOPS 24602 HAS SOUS 6829 HAS SOUPS 6829 WITH SCORE 6853.602
AT ITER 8712 NEW BEST:: SOT 58170 SOS 24498 HAS SOPS 24498 HAS SOUS 6813 HAS SOUPS 6813 WITH SCORE 6837.498
AT ITER 8816 NEW BEST:: SOT 58166 SOS 24505 HAS SOPS 24505 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 6834.505
AT ITER 8870 NEW BEST:: SOT 58170 SOS 24508 HAS SOPS 24508 HAS SOUS 6808 HAS SOUPS 6808 WITH SCORE 6832.508
AT ITER 8997 NEW BEST:: SOT 58131 SOS 24469 HAS SOPS 24469 HAS SOUS 6786 HAS SOUPS 6786 WITH SCORE 6810.469
AT ITER 9055 NEW BEST:: SOT 58132 SOS 24464 HAS SOPS 24464 HAS SOUS 6784 HAS SOUPS 6784 WITH SCORE 6808.464
AT ITER 9126 NEW BEST:: SOT 58131 SOS 24449 HAS SOPS 24449 HAS SOUS 6783 HAS SOUPS 6783 WITH SCORE 6807.449
AT ITER 9136 NEW BEST:: SOT 58125 SOS 24445 HAS SOPS 24445 HAS SOUS 6783 HAS SOUPS 6783 WITH SCORE 6807.445
AT ITER 9160 NEW BEST:: SOT 58124 SOS 24446 HAS SOPS 24446 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6806.446
AT ITER 9252 NEW BEST:: SOT 58124 SOS 24440 HAS SOPS 24440 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6806.44
AT ITER 9257 NEW BEST:: SOT 58122 SOS 24436 HAS SOPS 24436 HAS SOUS 6780 HAS SOUPS 6780 WITH SCORE 6804.436
AT ITER 9303 NEW BEST:: SOT 58122 SOS 24433 HAS SOPS 24433 HAS SOUS 6780 HAS SOUPS 6780 WITH SCORE 6804.433
AT ITER 9416 NEW BEST:: SOT 58120 SOS 24424 HAS SOPS 24424 HAS SOUS 6774 HAS SOUPS 6774 WITH SCORE 6798.424
AT ITER 9417 NEW BEST:: SOT 58112 SOS 24416 HAS SOPS 24416 HAS SOUS 6766 HAS SOUPS 6766 WITH SCORE 6790.416
AT ITER 9495 NEW BEST:: SOT 58108 SOS 24408 HAS SOPS 24408 HAS SOUS 6762 HAS SOUPS 6762 WITH SCORE 6786.408
AT ITER 9516 NEW BEST:: SOT 58108 SOS 24414 HAS SOPS 24414 HAS SOUS 6760 HAS SOUPS 6760 WITH SCORE 6784.414
AT ITER 9560 NEW BEST:: SOT 58089 SOS 24352 HAS SOPS 24352 HAS SOUS 6731 HAS SOUPS 6731 WITH SCORE 6755.352
AT ITER 9667 NEW BEST:: SOT 58089 SOS 24346 HAS SOPS 24346 HAS SOUS 6731 HAS SOUPS 6731 WITH SCORE 6755.346
AT ITER 9671 NEW BEST:: SOT 58079 SOS 24314 HAS SOPS 24314 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6733.314
AT ITER 9727 NEW BEST:: SOT 58076 SOS 24307 HAS SOPS 24307 HAS SOUS 6707 HAS SOUPS 6707 WITH SCORE 6731.307
AT ITER 9791 NEW BEST:: SOT 58054 SOS 24271 HAS SOPS 24271 HAS SOUS 6701 HAS SOUPS 6701 WITH SCORE 6725.271
AT ITER 9792 NEW BEST:: SOT 58041 SOS 24238 HAS SOPS 24238 HAS SOUS 6695 HAS SOUPS 6695 WITH SCORE 6719.238
AT ITER 9840 NEW BEST:: SOT 58038 SOS 24256 HAS SOPS 24256 HAS SOUS 6686 HAS SOUPS 6686 WITH SCORE 6710.256
AT ITER 9903 NEW BEST:: SOT 58011 SOS 24244 HAS SOPS 24244 HAS SOUS 6678 HAS SOUPS 6678 WITH SCORE 6702.244
AT ITER 9905 NEW BEST:: SOT 57998 SOS 24205 HAS SOPS 24205 HAS SOUS 6678 HAS SOUPS 6678 WITH SCORE 6702.205

BK_STOP 1679193228235

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 366 Killed ${SMART}/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="UtilityControlRoom-PT-Z4T3N06"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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