Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r427-tajo-167905979300152.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldRVs-PT-050A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979300152
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 736K
-rw-r--r-- 1 mcc users 6.7K Feb 26 18:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 26 18:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 18:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 18:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 17:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 19:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 19:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.1K Feb 26 18:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 26 18:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:03 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:03 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 320K 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 1679383065223

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldRVs-PT-050A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 07:17:46] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 07:17:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 07:17:47] [INFO ] Load time of PNML (sax parser for PT used): 82 ms
[2023-03-21 07:17:47] [INFO ] Transformed 703 places.
[2023-03-21 07:17:47] [INFO ] Transformed 953 transitions.
[2023-03-21 07:17:47] [INFO ] Found NUPN structural information;
[2023-03-21 07:17:47] [INFO ] Parsed PT model containing 703 places and 953 transitions and 4600 arcs in 155 ms.
[2023-03-21 07:17:47] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 703 places, 953 transitions and 4600 arcs took 11 ms.
Total runtime 194 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 050A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 703 places, 953 transitions, 4600 arcs.
AT ITER 0 NEW BEST:: SOT 503418 SOS 431527 HAS SOPS 431527 HAS SOUS 350205 HAS SOUPS 350205 WITH SCORE 350636.527
AT ITER 5 NEW BEST:: SOT 503287 SOS 430811 HAS SOPS 430811 HAS SOUS 349532 HAS SOUPS 349532 WITH SCORE 349962.811
AT ITER 7 NEW BEST:: SOT 503117 SOS 430026 HAS SOPS 430026 HAS SOUS 348612 HAS SOUPS 348612 WITH SCORE 349042.026
AT ITER 8 NEW BEST:: SOT 502818 SOS 429727 HAS SOPS 429727 HAS SOUS 348611 HAS SOUPS 348611 WITH SCORE 349040.727
AT ITER 10 NEW BEST:: SOT 502455 SOS 428608 HAS SOPS 428608 HAS SOUS 346708 HAS SOUPS 346708 WITH SCORE 347136.608
AT ITER 11 NEW BEST:: SOT 502453 SOS 428606 HAS SOPS 428606 HAS SOUS 346703 HAS SOUPS 346703 WITH SCORE 347131.606
AT ITER 13 NEW BEST:: SOT 502449 SOS 428602 HAS SOPS 428602 HAS SOUS 346699 HAS SOUPS 346699 WITH SCORE 347127.602
AT ITER 16 NEW BEST:: SOT 502177 SOS 427136 HAS SOPS 427136 HAS SOUS 345229 HAS SOUPS 345229 WITH SCORE 345656.136
AT ITER 17 NEW BEST:: SOT 502193 SOS 426642 HAS SOPS 426642 HAS SOUS 345000 HAS SOUPS 345000 WITH SCORE 345426.642
AT ITER 19 NEW BEST:: SOT 502244 SOS 426121 HAS SOPS 426121 HAS SOUS 344639 HAS SOUPS 344639 WITH SCORE 345065.121
AT ITER 20 NEW BEST:: SOT 502108 SOS 425985 HAS SOPS 425985 HAS SOUS 344639 HAS SOUPS 344639 WITH SCORE 345064.985
AT ITER 22 NEW BEST:: SOT 501965 SOS 425697 HAS SOPS 425697 HAS SOUS 344632 HAS SOUPS 344632 WITH SCORE 345057.697
AT ITER 23 NEW BEST:: SOT 501805 SOS 425217 HAS SOPS 425217 HAS SOUS 343991 HAS SOUPS 343991 WITH SCORE 344416.217
AT ITER 26 NEW BEST:: SOT 501528 SOS 424042 HAS SOPS 424042 HAS SOUS 342591 HAS SOUPS 342591 WITH SCORE 343015.042
AT ITER 27 NEW BEST:: SOT 501464 SOS 423783 HAS SOPS 423783 HAS SOUS 342440 HAS SOUPS 342440 WITH SCORE 342863.783
AT ITER 28 NEW BEST:: SOT 501298 SOS 422953 HAS SOPS 422953 HAS SOUS 341609 HAS SOUPS 341609 WITH SCORE 342031.953
AT ITER 29 NEW BEST:: SOT 501298 SOS 422721 HAS SOPS 422721 HAS SOUS 341475 HAS SOUPS 341475 WITH SCORE 341897.721
AT ITER 30 NEW BEST:: SOT 501658 SOS 422500 HAS SOPS 422500 HAS SOUS 340632 HAS SOUPS 340632 WITH SCORE 341054.5
AT ITER 31 NEW BEST:: SOT 501575 SOS 422427 HAS SOPS 422427 HAS SOUS 340578 HAS SOUPS 340578 WITH SCORE 341000.427
AT ITER 36 NEW BEST:: SOT 501498 SOS 422350 HAS SOPS 422350 HAS SOUS 340501 HAS SOUPS 340501 WITH SCORE 340923.35
AT ITER 37 NEW BEST:: SOT 501496 SOS 422348 HAS SOPS 422348 HAS SOUS 340499 HAS SOUPS 340499 WITH SCORE 340921.348
AT ITER 38 NEW BEST:: SOT 501406 SOS 421695 HAS SOPS 421695 HAS SOUS 339927 HAS SOUPS 339927 WITH SCORE 340348.695
AT ITER 39 NEW BEST:: SOT 501196 SOS 421485 HAS SOPS 421485 HAS SOUS 339716 HAS SOUPS 339716 WITH SCORE 340137.485
AT ITER 40 NEW BEST:: SOT 501485 SOS 421155 HAS SOPS 421155 HAS SOUS 339340 HAS SOUPS 339340 WITH SCORE 339761.155
AT ITER 41 NEW BEST:: SOT 501225 SOS 419973 HAS SOPS 419973 HAS SOUS 337235 HAS SOUPS 337235 WITH SCORE 337654.973
AT ITER 45 NEW BEST:: SOT 501049 SOS 419819 HAS SOPS 419819 HAS SOUS 337103 HAS SOUPS 337103 WITH SCORE 337522.819
AT ITER 46 NEW BEST:: SOT 500890 SOS 418362 HAS SOPS 418362 HAS SOUS 336359 HAS SOUPS 336359 WITH SCORE 336777.362
AT ITER 47 NEW BEST:: SOT 500745 SOS 417782 HAS SOPS 417782 HAS SOUS 335779 HAS SOUPS 335779 WITH SCORE 336196.782
AT ITER 49 NEW BEST:: SOT 500743 SOS 417780 HAS SOPS 417780 HAS SOUS 335776 HAS SOUPS 335776 WITH SCORE 336193.78
AT ITER 50 NEW BEST:: SOT 500732 SOS 416370 HAS SOPS 416370 HAS SOUS 334426 HAS SOUPS 334426 WITH SCORE 334842.37
AT ITER 51 NEW BEST:: SOT 500627 SOS 416265 HAS SOPS 416265 HAS SOUS 334425 HAS SOUPS 334425 WITH SCORE 334841.265
AT ITER 55 NEW BEST:: SOT 500406 SOS 415160 HAS SOPS 415160 HAS SOUS 333319 HAS SOUPS 333319 WITH SCORE 333734.16
AT ITER 59 NEW BEST:: SOT 500426 SOS 414935 HAS SOPS 414935 HAS SOUS 333065 HAS SOUPS 333065 WITH SCORE 333479.935
AT ITER 60 NEW BEST:: SOT 499993 SOS 414388 HAS SOPS 414388 HAS SOUS 332540 HAS SOUPS 332540 WITH SCORE 332954.388
AT ITER 63 NEW BEST:: SOT 499982 SOS 413369 HAS SOPS 413369 HAS SOUS 331552 HAS SOUPS 331552 WITH SCORE 331965.369
AT ITER 65 NEW BEST:: SOT 499888 SOS 411575 HAS SOPS 411575 HAS SOUS 330160 HAS SOUPS 330160 WITH SCORE 330571.575
AT ITER 68 NEW BEST:: SOT 499714 SOS 411401 HAS SOPS 411401 HAS SOUS 329986 HAS SOUPS 329986 WITH SCORE 330397.401
AT ITER 69 NEW BEST:: SOT 499210 SOS 409038 HAS SOPS 409038 HAS SOUS 327921 HAS SOUPS 327921 WITH SCORE 328330.038
AT ITER 76 NEW BEST:: SOT 498928 SOS 406592 HAS SOPS 406592 HAS SOUS 326411 HAS SOUPS 326411 WITH SCORE 326817.592
AT ITER 80 NEW BEST:: SOT 498726 SOS 406373 HAS SOPS 406373 HAS SOUS 326175 HAS SOUPS 326175 WITH SCORE 326581.373
AT ITER 81 NEW BEST:: SOT 498726 SOS 406227 HAS SOPS 406227 HAS SOUS 326075 HAS SOUPS 326075 WITH SCORE 326481.227
AT ITER 82 NEW BEST:: SOT 498876 SOS 406149 HAS SOPS 406149 HAS SOUS 325998 HAS SOUPS 325998 WITH SCORE 326404.149
AT ITER 84 NEW BEST:: SOT 498873 SOS 406146 HAS SOPS 406146 HAS SOUS 325993 HAS SOUPS 325993 WITH SCORE 326399.146
AT ITER 86 NEW BEST:: SOT 498846 SOS 406095 HAS SOPS 406095 HAS SOUS 325942 HAS SOUPS 325942 WITH SCORE 326348.095
AT ITER 87 NEW BEST:: SOT 498847 SOS 405699 HAS SOPS 405699 HAS SOUS 325322 HAS SOUPS 325322 WITH SCORE 325727.699
AT ITER 89 NEW BEST:: SOT 498696 SOS 405096 HAS SOPS 405096 HAS SOUS 324616 HAS SOUPS 324616 WITH SCORE 325021.096
AT ITER 91 NEW BEST:: SOT 498597 SOS 404092 HAS SOPS 404092 HAS SOUS 322779 HAS SOUPS 322779 WITH SCORE 323183.092
AT ITER 93 NEW BEST:: SOT 498447 SOS 403942 HAS SOPS 403942 HAS SOUS 322628 HAS SOUPS 322628 WITH SCORE 323031.942
AT ITER 95 NEW BEST:: SOT 498361 SOS 403856 HAS SOPS 403856 HAS SOUS 322542 HAS SOUPS 322542 WITH SCORE 322945.856
AT ITER 96 NEW BEST:: SOT 498265 SOS 403760 HAS SOPS 403760 HAS SOUS 322446 HAS SOUPS 322446 WITH SCORE 322849.76
AT ITER 98 NEW BEST:: SOT 497990 SOS 403483 HAS SOPS 403483 HAS SOUS 322165 HAS SOUPS 322165 WITH SCORE 322568.483
AT ITER 99 NEW BEST:: SOT 497729 SOS 403221 HAS SOPS 403221 HAS SOUS 321902 HAS SOUPS 321902 WITH SCORE 322305.221
AT ITER 101 NEW BEST:: SOT 497668 SOS 403013 HAS SOPS 403013 HAS SOUS 321542 HAS SOUPS 321542 WITH SCORE 321945.013
AT ITER 105 NEW BEST:: SOT 497666 SOS 403011 HAS SOPS 403011 HAS SOUS 321537 HAS SOUPS 321537 WITH SCORE 321940.011
AT ITER 107 NEW BEST:: SOT 497767 SOS 402634 HAS SOPS 402634 HAS SOUS 321369 HAS SOUPS 321369 WITH SCORE 321771.634
AT ITER 109 NEW BEST:: SOT 498010 SOS 401342 HAS SOPS 401342 HAS SOUS 320808 HAS SOUPS 320808 WITH SCORE 321209.342
AT ITER 115 NEW BEST:: SOT 498164 SOS 401046 HAS SOPS 401046 HAS SOUS 320703 HAS SOUPS 320703 WITH SCORE 321104.046
AT ITER 122 NEW BEST:: SOT 498008 SOS 400034 HAS SOPS 400034 HAS SOUS 320351 HAS SOUPS 320351 WITH SCORE 320751.034
AT ITER 124 NEW BEST:: SOT 497781 SOS 399807 HAS SOPS 399807 HAS SOUS 319957 HAS SOUPS 319957 WITH SCORE 320356.807
AT ITER 126 NEW BEST:: SOT 497740 SOS 399381 HAS SOPS 399381 HAS SOUS 319382 HAS SOUPS 319382 WITH SCORE 319781.381
AT ITER 132 NEW BEST:: SOT 497707 SOS 399348 HAS SOPS 399348 HAS SOUS 319349 HAS SOUPS 319349 WITH SCORE 319748.348
AT ITER 133 NEW BEST:: SOT 497701 SOS 399342 HAS SOPS 399342 HAS SOUS 319343 HAS SOUPS 319343 WITH SCORE 319742.342
AT ITER 136 NEW BEST:: SOT 497679 SOS 399298 HAS SOPS 399298 HAS SOUS 319233 HAS SOUPS 319233 WITH SCORE 319632.298
AT ITER 137 NEW BEST:: SOT 497658 SOS 399255 HAS SOPS 399255 HAS SOUS 319168 HAS SOUPS 319168 WITH SCORE 319567.255
AT ITER 141 NEW BEST:: SOT 497568 SOS 399165 HAS SOPS 399165 HAS SOUS 319077 HAS SOUPS 319077 WITH SCORE 319476.165
AT ITER 142 NEW BEST:: SOT 498227 SOS 399141 HAS SOPS 399141 HAS SOUS 319047 HAS SOUPS 319047 WITH SCORE 319446.141
AT ITER 143 NEW BEST:: SOT 498098 SOS 398656 HAS SOPS 398656 HAS SOUS 318432 HAS SOUPS 318432 WITH SCORE 318830.656
AT ITER 145 NEW BEST:: SOT 498105 SOS 398595 HAS SOPS 398595 HAS SOUS 318307 HAS SOUPS 318307 WITH SCORE 318705.595
AT ITER 147 NEW BEST:: SOT 498025 SOS 397682 HAS SOPS 397682 HAS SOUS 317816 HAS SOUPS 317816 WITH SCORE 318213.682
AT ITER 148 NEW BEST:: SOT 497921 SOS 397425 HAS SOPS 397425 HAS SOUS 317468 HAS SOUPS 317468 WITH SCORE 317865.425
AT ITER 150 NEW BEST:: SOT 497527 SOS 397031 HAS SOPS 397031 HAS SOUS 317074 HAS SOUPS 317074 WITH SCORE 317471.031
AT ITER 151 NEW BEST:: SOT 497474 SOS 397035 HAS SOPS 397035 HAS SOUS 316864 HAS SOUPS 316864 WITH SCORE 317261.035
AT ITER 153 NEW BEST:: SOT 497283 SOS 396393 HAS SOPS 396393 HAS SOUS 316027 HAS SOUPS 316027 WITH SCORE 316423.393
AT ITER 155 NEW BEST:: SOT 497624 SOS 396752 HAS SOPS 396752 HAS SOUS 316023 HAS SOUPS 316023 WITH SCORE 316419.752
AT ITER 156 NEW BEST:: SOT 497584 SOS 396337 HAS SOPS 396337 HAS SOUS 315649 HAS SOUPS 315649 WITH SCORE 316045.337
AT ITER 159 NEW BEST:: SOT 497365 SOS 396118 HAS SOPS 396118 HAS SOUS 315402 HAS SOUPS 315402 WITH SCORE 315798.118
AT ITER 160 NEW BEST:: SOT 497365 SOS 394940 HAS SOPS 394940 HAS SOUS 313943 HAS SOUPS 313943 WITH SCORE 314337.94
AT ITER 161 NEW BEST:: SOT 497361 SOS 394352 HAS SOPS 394352 HAS SOUS 313313 HAS SOUPS 313313 WITH SCORE 313707.352
AT ITER 167 NEW BEST:: SOT 497359 SOS 394350 HAS SOPS 394350 HAS SOUS 313310 HAS SOUPS 313310 WITH SCORE 313704.35
AT ITER 173 NEW BEST:: SOT 497284 SOS 394197 HAS SOPS 394197 HAS SOUS 313085 HAS SOUPS 313085 WITH SCORE 313479.197
AT ITER 181 NEW BEST:: SOT 496955 SOS 393419 HAS SOPS 393419 HAS SOUS 311693 HAS SOUPS 311693 WITH SCORE 312086.419
AT ITER 184 NEW BEST:: SOT 496955 SOS 392663 HAS SOPS 392663 HAS SOUS 311542 HAS SOUPS 311542 WITH SCORE 311934.663
AT ITER 186 NEW BEST:: SOT 496941 SOS 392607 HAS SOPS 392607 HAS SOUS 311496 HAS SOUPS 311496 WITH SCORE 311888.607
AT ITER 190 NEW BEST:: SOT 496638 SOS 392355 HAS SOPS 392355 HAS SOUS 311244 HAS SOUPS 311244 WITH SCORE 311636.355
AT ITER 193 NEW BEST:: SOT 496442 SOS 392216 HAS SOPS 392216 HAS SOUS 311237 HAS SOUPS 311237 WITH SCORE 311629.216
AT ITER 200 NEW BEST:: SOT 496475 SOS 392078 HAS SOPS 392078 HAS SOUS 311150 HAS SOUPS 311150 WITH SCORE 311542.078
AT ITER 202 NEW BEST:: SOT 496446 SOS 392020 HAS SOPS 392020 HAS SOUS 311143 HAS SOUPS 311143 WITH SCORE 311535.02
AT ITER 203 NEW BEST:: SOT 496379 SOS 391953 HAS SOPS 391953 HAS SOUS 311076 HAS SOUPS 311076 WITH SCORE 311467.953
AT ITER 205 NEW BEST:: SOT 496290 SOS 391146 HAS SOPS 391146 HAS SOUS 310452 HAS SOUPS 310452 WITH SCORE 310843.146
AT ITER 210 NEW BEST:: SOT 496353 SOS 389175 HAS SOPS 389175 HAS SOUS 309675 HAS SOUPS 309675 WITH SCORE 310064.175
AT ITER 213 NEW BEST:: SOT 496357 SOS 389148 HAS SOPS 389148 HAS SOUS 309566 HAS SOUPS 309566 WITH SCORE 309955.148
AT ITER 217 NEW BEST:: SOT 496375 SOS 387801 HAS SOPS 387801 HAS SOUS 307774 HAS SOUPS 307774 WITH SCORE 308161.801
AT ITER 220 NEW BEST:: SOT 496257 SOS 387169 HAS SOPS 387169 HAS SOUS 307241 HAS SOUPS 307241 WITH SCORE 307628.169
AT ITER 226 NEW BEST:: SOT 496137 SOS 386324 HAS SOPS 386324 HAS SOUS 306813 HAS SOUPS 306813 WITH SCORE 307199.324
AT ITER 229 NEW BEST:: SOT 496059 SOS 386246 HAS SOPS 386246 HAS SOUS 306735 HAS SOUPS 306735 WITH SCORE 307121.246
AT ITER 230 NEW BEST:: SOT 496051 SOS 385663 HAS SOPS 385663 HAS SOUS 306099 HAS SOUPS 306099 WITH SCORE 306484.663
AT ITER 236 NEW BEST:: SOT 496051 SOS 385665 HAS SOPS 385665 HAS SOUS 305898 HAS SOUPS 305898 WITH SCORE 306283.665
AT ITER 239 NEW BEST:: SOT 496447 SOS 385270 HAS SOPS 385270 HAS SOUS 305080 HAS SOUPS 305080 WITH SCORE 305465.27
AT ITER 245 NEW BEST:: SOT 496358 SOS 384738 HAS SOPS 384738 HAS SOUS 304800 HAS SOUPS 304800 WITH SCORE 305184.738
AT ITER 246 NEW BEST:: SOT 496028 SOS 384194 HAS SOPS 384194 HAS SOUS 304255 HAS SOUPS 304255 WITH SCORE 304639.194
AT ITER 247 NEW BEST:: SOT 495619 SOS 382383 HAS SOPS 382383 HAS SOUS 303163 HAS SOUPS 303163 WITH SCORE 303545.383
AT ITER 249 NEW BEST:: SOT 495540 SOS 382225 HAS SOPS 382225 HAS SOUS 303079 HAS SOUPS 303079 WITH SCORE 303461.225
AT ITER 250 NEW BEST:: SOT 495466 SOS 382151 HAS SOPS 382151 HAS SOUS 303005 HAS SOUPS 303005 WITH SCORE 303387.151
AT ITER 255 NEW BEST:: SOT 495404 SOS 381248 HAS SOPS 381248 HAS SOUS 301412 HAS SOUPS 301412 WITH SCORE 301793.248
AT ITER 258 NEW BEST:: SOT 494818 SOS 380662 HAS SOPS 380662 HAS SOUS 300863 HAS SOUPS 300863 WITH SCORE 301243.662
AT ITER 262 NEW BEST:: SOT 494602 SOS 380446 HAS SOPS 380446 HAS SOUS 300647 HAS SOUPS 300647 WITH SCORE 301027.446
AT ITER 267 NEW BEST:: SOT 494537 SOS 380186 HAS SOPS 380186 HAS SOUS 300396 HAS SOUPS 300396 WITH SCORE 300776.186
AT ITER 269 NEW BEST:: SOT 494530 SOS 380172 HAS SOPS 380172 HAS SOUS 300389 HAS SOUPS 300389 WITH SCORE 300769.172
AT ITER 272 NEW BEST:: SOT 494530 SOS 380171 HAS SOPS 380171 HAS SOUS 300388 HAS SOUPS 300388 WITH SCORE 300768.171
AT ITER 275 NEW BEST:: SOT 493890 SOS 379416 HAS SOPS 379416 HAS SOUS 299629 HAS SOUPS 299629 WITH SCORE 300008.416
AT ITER 279 NEW BEST:: SOT 493697 SOS 377863 HAS SOPS 377863 HAS SOUS 297775 HAS SOUPS 297775 WITH SCORE 298152.863
AT ITER 283 NEW BEST:: SOT 493697 SOS 377868 HAS SOPS 377868 HAS SOUS 297735 HAS SOUPS 297735 WITH SCORE 298112.868
AT ITER 284 NEW BEST:: SOT 493256 SOS 377376 HAS SOPS 377376 HAS SOUS 297011 HAS SOUPS 297011 WITH SCORE 297388.376
AT ITER 285 NEW BEST:: SOT 493381 SOS 377499 HAS SOPS 377499 HAS SOUS 297001 HAS SOUPS 297001 WITH SCORE 297378.499
AT ITER 287 NEW BEST:: SOT 493381 SOS 377534 HAS SOPS 377534 HAS SOUS 296787 HAS SOUPS 296787 WITH SCORE 297164.534
AT ITER 290 NEW BEST:: SOT 493323 SOS 377347 HAS SOPS 377347 HAS SOUS 296600 HAS SOUPS 296600 WITH SCORE 296977.347
AT ITER 294 NEW BEST:: SOT 492942 SOS 374596 HAS SOPS 374596 HAS SOUS 295971 HAS SOUPS 295971 WITH SCORE 296345.596
AT ITER 297 NEW BEST:: SOT 492532 SOS 374186 HAS SOPS 374186 HAS SOUS 295376 HAS SOUPS 295376 WITH SCORE 295750.186
AT ITER 298 NEW BEST:: SOT 492300 SOS 373187 HAS SOPS 373187 HAS SOUS 294609 HAS SOUPS 294609 WITH SCORE 294982.187
AT ITER 300 NEW BEST:: SOT 492130 SOS 373054 HAS SOPS 373054 HAS SOUS 294550 HAS SOUPS 294550 WITH SCORE 294923.054
AT ITER 301 NEW BEST:: SOT 492030 SOS 372334 HAS SOPS 372334 HAS SOUS 294019 HAS SOUPS 294019 WITH SCORE 294391.334
AT ITER 305 NEW BEST:: SOT 491909 SOS 372213 HAS SOPS 372213 HAS SOUS 293897 HAS SOUPS 293897 WITH SCORE 294269.213
AT ITER 307 NEW BEST:: SOT 491710 SOS 372014 HAS SOPS 372014 HAS SOUS 293694 HAS SOUPS 293694 WITH SCORE 294066.014
AT ITER 308 NEW BEST:: SOT 491710 SOS 372096 HAS SOPS 372096 HAS SOUS 293629 HAS SOUPS 293629 WITH SCORE 294001.096
AT ITER 311 NEW BEST:: SOT 491816 SOS 372347 HAS SOPS 372347 HAS SOUS 293432 HAS SOUPS 293432 WITH SCORE 293804.347
AT ITER 314 NEW BEST:: SOT 491816 SOS 372378 HAS SOPS 372378 HAS SOUS 293371 HAS SOUPS 293371 WITH SCORE 293743.378
AT ITER 316 NEW BEST:: SOT 491754 SOS 372186 HAS SOPS 372186 HAS SOUS 293170 HAS SOUPS 293170 WITH SCORE 293542.186
AT ITER 317 NEW BEST:: SOT 491369 SOS 370128 HAS SOPS 370128 HAS SOUS 291041 HAS SOUPS 291041 WITH SCORE 291411.128
AT ITER 319 NEW BEST:: SOT 490911 SOS 369704 HAS SOPS 369704 HAS SOUS 290659 HAS SOUPS 290659 WITH SCORE 291028.704
AT ITER 320 NEW BEST:: SOT 490513 SOS 369306 HAS SOPS 369306 HAS SOUS 290261 HAS SOUPS 290261 WITH SCORE 290630.306
AT ITER 323 NEW BEST:: SOT 490520 SOS 369079 HAS SOPS 369079 HAS SOUS 290052 HAS SOUPS 290052 WITH SCORE 290421.079
AT ITER 326 NEW BEST:: SOT 490288 SOS 368540 HAS SOPS 368540 HAS SOUS 289440 HAS SOUPS 289440 WITH SCORE 289808.54
AT ITER 327 NEW BEST:: SOT 490464 SOS 368582 HAS SOPS 368582 HAS SOUS 289146 HAS SOUPS 289146 WITH SCORE 289514.582
AT ITER 329 NEW BEST:: SOT 490464 SOS 368335 HAS SOPS 368335 HAS SOUS 288747 HAS SOUPS 288747 WITH SCORE 289115.335
AT ITER 330 NEW BEST:: SOT 490303 SOS 368174 HAS SOPS 368174 HAS SOUS 288353 HAS SOUPS 288353 WITH SCORE 288721.174
AT ITER 340 NEW BEST:: SOT 490410 SOS 368134 HAS SOPS 368134 HAS SOUS 287737 HAS SOUPS 287737 WITH SCORE 288105.134
AT ITER 346 NEW BEST:: SOT 490361 SOS 367920 HAS SOPS 367920 HAS SOUS 287473 HAS SOUPS 287473 WITH SCORE 287840.92
AT ITER 352 NEW BEST:: SOT 490247 SOS 367727 HAS SOPS 367727 HAS SOUS 287280 HAS SOUPS 287280 WITH SCORE 287647.727
AT ITER 355 NEW BEST:: SOT 490195 SOS 367622 HAS SOPS 367622 HAS SOUS 287225 HAS SOUPS 287225 WITH SCORE 287592.622
AT ITER 361 NEW BEST:: SOT 489999 SOS 367426 HAS SOPS 367426 HAS SOUS 287029 HAS SOUPS 287029 WITH SCORE 287396.426
AT ITER 365 NEW BEST:: SOT 489889 SOS 367190 HAS SOPS 367190 HAS SOUS 286774 HAS SOUPS 286774 WITH SCORE 287141.19
AT ITER 367 NEW BEST:: SOT 489697 SOS 366995 HAS SOPS 366995 HAS SOUS 286573 HAS SOUPS 286573 WITH SCORE 286939.995
AT ITER 370 NEW BEST:: SOT 489697 SOS 366891 HAS SOPS 366891 HAS SOUS 286355 HAS SOUPS 286355 WITH SCORE 286721.891
AT ITER 372 NEW BEST:: SOT 489384 SOS 366589 HAS SOPS 366589 HAS SOUS 286056 HAS SOUPS 286056 WITH SCORE 286422.589
AT ITER 373 NEW BEST:: SOT 489921 SOS 366551 HAS SOPS 366551 HAS SOUS 285888 HAS SOUPS 285888 WITH SCORE 286254.551
AT ITER 374 NEW BEST:: SOT 489921 SOS 366551 HAS SOPS 366551 HAS SOUS 285887 HAS SOUPS 285887 WITH SCORE 286253.551
AT ITER 377 NEW BEST:: SOT 489804 SOS 366434 HAS SOPS 366434 HAS SOUS 285769 HAS SOUPS 285769 WITH SCORE 286135.434
AT ITER 379 NEW BEST:: SOT 489528 SOS 365880 HAS SOPS 365880 HAS SOUS 285402 HAS SOUPS 285402 WITH SCORE 285767.88
AT ITER 380 NEW BEST:: SOT 489528 SOS 365878 HAS SOPS 365878 HAS SOUS 285391 HAS SOUPS 285391 WITH SCORE 285756.878
AT ITER 383 NEW BEST:: SOT 489349 SOS 365678 HAS SOPS 365678 HAS SOUS 285167 HAS SOUPS 285167 WITH SCORE 285532.678
AT ITER 389 NEW BEST:: SOT 489646 SOS 364834 HAS SOPS 364834 HAS SOUS 284871 HAS SOUPS 284871 WITH SCORE 285235.834
AT ITER 395 NEW BEST:: SOT 489073 SOS 364261 HAS SOPS 364261 HAS SOUS 284297 HAS SOUPS 284297 WITH SCORE 284661.261
AT ITER 410 NEW BEST:: SOT 488574 SOS 364001 HAS SOPS 364001 HAS SOUS 284034 HAS SOUPS 284034 WITH SCORE 284398.001
AT ITER 413 NEW BEST:: SOT 488497 SOS 363924 HAS SOPS 363924 HAS SOUS 283956 HAS SOUPS 283956 WITH SCORE 284319.924
AT ITER 414 NEW BEST:: SOT 488495 SOS 362752 HAS SOPS 362752 HAS SOUS 283221 HAS SOUPS 283221 WITH SCORE 283583.752
AT ITER 415 NEW BEST:: SOT 488416 SOS 362595 HAS SOPS 362595 HAS SOUS 282757 HAS SOUPS 282757 WITH SCORE 283119.595
AT ITER 416 NEW BEST:: SOT 488404 SOS 362583 HAS SOPS 362583 HAS SOUS 282741 HAS SOUPS 282741 WITH SCORE 283103.583
AT ITER 418 NEW BEST:: SOT 488404 SOS 362363 HAS SOPS 362363 HAS SOUS 282626 HAS SOUPS 282626 WITH SCORE 282988.363
AT ITER 419 NEW BEST:: SOT 488073 SOS 361742 HAS SOPS 361742 HAS SOUS 282002 HAS SOUPS 282002 WITH SCORE 282363.742
AT ITER 424 NEW BEST:: SOT 487989 SOS 361632 HAS SOPS 361632 HAS SOUS 281892 HAS SOUPS 281892 WITH SCORE 282253.632
AT ITER 426 NEW BEST:: SOT 487840 SOS 361578 HAS SOPS 361578 HAS SOUS 281832 HAS SOUPS 281832 WITH SCORE 282193.578
AT ITER 431 NEW BEST:: SOT 487851 SOS 361577 HAS SOPS 361577 HAS SOUS 281828 HAS SOUPS 281828 WITH SCORE 282189.577
AT ITER 432 NEW BEST:: SOT 487765 SOS 361258 HAS SOPS 361258 HAS SOUS 281255 HAS SOUPS 281255 WITH SCORE 281616.258
AT ITER 437 NEW BEST:: SOT 487952 SOS 361242 HAS SOPS 361242 HAS SOUS 281239 HAS SOUPS 281239 WITH SCORE 281600.242
AT ITER 439 NEW BEST:: SOT 487660 SOS 359757 HAS SOPS 359757 HAS SOUS 280834 HAS SOUPS 280834 WITH SCORE 281193.757
AT ITER 441 NEW BEST:: SOT 487660 SOS 359757 HAS SOPS 359757 HAS SOUS 280833 HAS SOUPS 280833 WITH SCORE 281192.757
AT ITER 442 NEW BEST:: SOT 487658 SOS 359755 HAS SOPS 359755 HAS SOUS 280831 HAS SOUPS 280831 WITH SCORE 281190.755
AT ITER 444 NEW BEST:: SOT 487583 SOS 359556 HAS SOPS 359556 HAS SOUS 280567 HAS SOUPS 280567 WITH SCORE 280926.556
AT ITER 446 NEW BEST:: SOT 487561 SOS 359534 HAS SOPS 359534 HAS SOUS 280544 HAS SOUPS 280544 WITH SCORE 280903.534
AT ITER 459 NEW BEST:: SOT 487540 SOS 359513 HAS SOPS 359513 HAS SOUS 280523 HAS SOUPS 280523 WITH SCORE 280882.513
AT ITER 462 NEW BEST:: SOT 487235 SOS 358460 HAS SOPS 358460 HAS SOUS 279096 HAS SOUPS 279096 WITH SCORE 279454.46
AT ITER 464 NEW BEST:: SOT 487252 SOS 358443 HAS SOPS 358443 HAS SOUS 279043 HAS SOUPS 279043 WITH SCORE 279401.443
AT ITER 469 NEW BEST:: SOT 487177 SOS 358437 HAS SOPS 358437 HAS SOUS 279042 HAS SOUPS 279042 WITH SCORE 279400.437
AT ITER 475 NEW BEST:: SOT 486374 SOS 356828 HAS SOPS 356828 HAS SOUS 276800 HAS SOUPS 276800 WITH SCORE 277156.828
AT ITER 477 NEW BEST:: SOT 486321 SOS 356264 HAS SOPS 356264 HAS SOUS 276747 HAS SOUPS 276747 WITH SCORE 277103.264
AT ITER 478 NEW BEST:: SOT 486432 SOS 355985 HAS SOPS 355985 HAS SOUS 276610 HAS SOUPS 276610 WITH SCORE 276965.985
AT ITER 481 NEW BEST:: SOT 486380 SOS 355985 HAS SOPS 355985 HAS SOUS 276592 HAS SOUPS 276592 WITH SCORE 276947.985
AT ITER 483 NEW BEST:: SOT 485880 SOS 355485 HAS SOPS 355485 HAS SOUS 275992 HAS SOUPS 275992 WITH SCORE 276347.485
AT ITER 488 NEW BEST:: SOT 485618 SOS 355097 HAS SOPS 355097 HAS SOUS 275679 HAS SOUPS 275679 WITH SCORE 276034.097
AT ITER 496 NEW BEST:: SOT 485434 SOS 354322 HAS SOPS 354322 HAS SOUS 275018 HAS SOUPS 275018 WITH SCORE 275372.322
AT ITER 497 NEW BEST:: SOT 484989 SOS 353740 HAS SOPS 353740 HAS SOUS 274299 HAS SOUPS 274299 WITH SCORE 274652.74
AT ITER 503 NEW BEST:: SOT 484929 SOS 353680 HAS SOPS 353680 HAS SOUS 274239 HAS SOUPS 274239 WITH SCORE 274592.68
AT ITER 507 NEW BEST:: SOT 484545 SOS 353063 HAS SOPS 353063 HAS SOUS 273622 HAS SOUPS 273622 WITH SCORE 273975.063
AT ITER 510 NEW BEST:: SOT 484376 SOS 352894 HAS SOPS 352894 HAS SOUS 273453 HAS SOUPS 273453 WITH SCORE 273805.894
AT ITER 513 NEW BEST:: SOT 484238 SOS 352781 HAS SOPS 352781 HAS SOUS 273345 HAS SOUPS 273345 WITH SCORE 273697.781
AT ITER 516 NEW BEST:: SOT 484315 SOS 351997 HAS SOPS 351997 HAS SOUS 272669 HAS SOUPS 272669 WITH SCORE 273020.997
AT ITER 517 NEW BEST:: SOT 484315 SOS 351788 HAS SOPS 351788 HAS SOUS 272366 HAS SOUPS 272366 WITH SCORE 272717.788
AT ITER 520 NEW BEST:: SOT 484315 SOS 351809 HAS SOPS 351809 HAS SOUS 272345 HAS SOUPS 272345 WITH SCORE 272696.809
AT ITER 522 NEW BEST:: SOT 484186 SOS 350859 HAS SOPS 350859 HAS SOUS 271904 HAS SOUPS 271904 WITH SCORE 272254.859
AT ITER 526 NEW BEST:: SOT 483529 SOS 350177 HAS SOPS 350177 HAS SOUS 271224 HAS SOUPS 271224 WITH SCORE 271574.177
AT ITER 534 NEW BEST:: SOT 483318 SOS 348732 HAS SOPS 348732 HAS SOUS 270390 HAS SOUPS 270390 WITH SCORE 270738.732
AT ITER 543 NEW BEST:: SOT 483129 SOS 348816 HAS SOPS 348816 HAS SOUS 270353 HAS SOUPS 270353 WITH SCORE 270701.816
AT ITER 549 NEW BEST:: SOT 483279 SOS 348113 HAS SOPS 348113 HAS SOUS 269710 HAS SOUPS 269710 WITH SCORE 270058.113
AT ITER 557 NEW BEST:: SOT 483134 SOS 347701 HAS SOPS 347701 HAS SOUS 269079 HAS SOUPS 269079 WITH SCORE 269426.701
AT ITER 558 NEW BEST:: SOT 483069 SOS 347506 HAS SOPS 347506 HAS SOUS 268941 HAS SOUPS 268941 WITH SCORE 269288.506
AT ITER 559 NEW BEST:: SOT 482604 SOS 347041 HAS SOPS 347041 HAS SOUS 268476 HAS SOUPS 268476 WITH SCORE 268823.041
AT ITER 562 NEW BEST:: SOT 482170 SOS 346607 HAS SOPS 346607 HAS SOUS 268042 HAS SOUPS 268042 WITH SCORE 268388.607
AT ITER 568 NEW BEST:: SOT 482055 SOS 345499 HAS SOPS 345499 HAS SOUS 267499 HAS SOUPS 267499 WITH SCORE 267844.499
AT ITER 570 NEW BEST:: SOT 482001 SOS 345445 HAS SOPS 345445 HAS SOUS 267445 HAS SOUPS 267445 WITH SCORE 267790.445
AT ITER 571 NEW BEST:: SOT 482001 SOS 344077 HAS SOPS 344077 HAS SOUS 267220 HAS SOUPS 267220 WITH SCORE 267564.077
AT ITER 573 NEW BEST:: SOT 481969 SOS 344045 HAS SOPS 344045 HAS SOUS 267188 HAS SOUPS 267188 WITH SCORE 267532.045
AT ITER 576 NEW BEST:: SOT 481839 SOS 343764 HAS SOPS 343764 HAS SOUS 266823 HAS SOUPS 266823 WITH SCORE 267166.764
AT ITER 577 NEW BEST:: SOT 481642 SOS 343567 HAS SOPS 343567 HAS SOUS 266508 HAS SOUPS 266508 WITH SCORE 266851.567
AT ITER 582 NEW BEST:: SOT 481900 SOS 343765 HAS SOPS 343765 HAS SOUS 266498 HAS SOUPS 266498 WITH SCORE 266841.765
AT ITER 586 NEW BEST:: SOT 481809 SOS 343673 HAS SOPS 343673 HAS SOUS 266405 HAS SOUPS 266405 WITH SCORE 266748.673
AT ITER 590 NEW BEST:: SOT 481862 SOS 343779 HAS SOPS 343779 HAS SOUS 266341 HAS SOUPS 266341 WITH SCORE 266684.779
AT ITER 593 NEW BEST:: SOT 481389 SOS 342976 HAS SOPS 342976 HAS SOUS 265466 HAS SOUPS 265466 WITH SCORE 265808.976
AT ITER 594 NEW BEST:: SOT 481549 SOS 342975 HAS SOPS 342975 HAS SOUS 265463 HAS SOUPS 265463 WITH SCORE 265805.975
AT ITER 595 NEW BEST:: SOT 481496 SOS 342803 HAS SOPS 342803 HAS SOUS 265424 HAS SOUPS 265424 WITH SCORE 265766.803
AT ITER 599 NEW BEST:: SOT 481496 SOS 342825 HAS SOPS 342825 HAS SOUS 265400 HAS SOUPS 265400 WITH SCORE 265742.825
AT ITER 600 NEW BEST:: SOT 481250 SOS 342085 HAS SOPS 342085 HAS SOUS 264316 HAS SOUPS 264316 WITH SCORE 264658.085
AT ITER 601 NEW BEST:: SOT 481248 SOS 342083 HAS SOPS 342083 HAS SOUS 264314 HAS SOUPS 264314 WITH SCORE 264656.083
AT ITER 605 NEW BEST:: SOT 481348 SOS 342073 HAS SOPS 342073 HAS SOUS 264081 HAS SOUPS 264081 WITH SCORE 264423.073
AT ITER 608 NEW BEST:: SOT 481029 SOS 341398 HAS SOPS 341398 HAS SOUS 263232 HAS SOUPS 263232 WITH SCORE 263573.398
AT ITER 610 NEW BEST:: SOT 481029 SOS 341316 HAS SOPS 341316 HAS SOUS 263027 HAS SOUPS 263027 WITH SCORE 263368.316
AT ITER 611 NEW BEST:: SOT 480813 SOS 340002 HAS SOPS 340002 HAS SOUS 262429 HAS SOUPS 262429 WITH SCORE 262769.002
AT ITER 612 NEW BEST:: SOT 480945 SOS 339723 HAS SOPS 339723 HAS SOUS 262018 HAS SOUPS 262018 WITH SCORE 262357.723
AT ITER 615 NEW BEST:: SOT 480943 SOS 339721 HAS SOPS 339721 HAS SOUS 261995 HAS SOUPS 261995 WITH SCORE 262334.721
AT ITER 619 NEW BEST:: SOT 480943 SOS 339721 HAS SOPS 339721 HAS SOUS 261993 HAS SOUPS 261993 WITH SCORE 262332.721
AT ITER 620 NEW BEST:: SOT 480940 SOS 339718 HAS SOPS 339718 HAS SOUS 261990 HAS SOUPS 261990 WITH SCORE 262329.718
AT ITER 622 NEW BEST:: SOT 480924 SOS 339606 HAS SOPS 339606 HAS SOUS 261926 HAS SOUPS 261926 WITH SCORE 262265.606
AT ITER 624 NEW BEST:: SOT 480729 SOS 339337 HAS SOPS 339337 HAS SOUS 261659 HAS SOUPS 261659 WITH SCORE 261998.337
AT ITER 625 NEW BEST:: SOT 480083 SOS 336474 HAS SOPS 336474 HAS SOUS 261040 HAS SOUPS 261040 WITH SCORE 261376.474
AT ITER 626 NEW BEST:: SOT 479972 SOS 336363 HAS SOPS 336363 HAS SOUS 260929 HAS SOUPS 260929 WITH SCORE 261265.363
AT ITER 627 NEW BEST:: SOT 479759 SOS 336187 HAS SOPS 336187 HAS SOUS 260156 HAS SOUPS 260156 WITH SCORE 260492.187
AT ITER 632 NEW BEST:: SOT 479838 SOS 335817 HAS SOPS 335817 HAS SOUS 259936 HAS SOUPS 259936 WITH SCORE 260271.817
AT ITER 634 NEW BEST:: SOT 479826 SOS 335805 HAS SOPS 335805 HAS SOUS 259924 HAS SOUPS 259924 WITH SCORE 260259.805
AT ITER 635 NEW BEST:: SOT 479808 SOS 335787 HAS SOPS 335787 HAS SOUS 259887 HAS SOUPS 259887 WITH SCORE 260222.787
AT ITER 636 NEW BEST:: SOT 479257 SOS 335180 HAS SOPS 335180 HAS SOUS 259269 HAS SOUPS 259269 WITH SCORE 259604.18
AT ITER 637 NEW BEST:: SOT 479135 SOS 332896 HAS SOPS 332896 HAS SOUS 258870 HAS SOUPS 258870 WITH SCORE 259202.896
AT ITER 638 NEW BEST:: SOT 479135 SOS 332896 HAS SOPS 332896 HAS SOUS 258779 HAS SOUPS 258779 WITH SCORE 259111.896
AT ITER 639 NEW BEST:: SOT 479135 SOS 332909 HAS SOPS 332909 HAS SOUS 258766 HAS SOUPS 258766 WITH SCORE 259098.909
AT ITER 642 NEW BEST:: SOT 478986 SOS 332625 HAS SOPS 332625 HAS SOUS 258730 HAS SOUPS 258730 WITH SCORE 259062.625
AT ITER 652 NEW BEST:: SOT 477976 SOS 331439 HAS SOPS 331439 HAS SOUS 257381 HAS SOUPS 257381 WITH SCORE 257712.439
AT ITER 654 NEW BEST:: SOT 477899 SOS 331362 HAS SOPS 331362 HAS SOUS 257304 HAS SOUPS 257304 WITH SCORE 257635.362
AT ITER 658 NEW BEST:: SOT 478083 SOS 331579 HAS SOPS 331579 HAS SOUS 257218 HAS SOUPS 257218 WITH SCORE 257549.579
AT ITER 659 NEW BEST:: SOT 478030 SOS 331526 HAS SOPS 331526 HAS SOUS 257165 HAS SOUPS 257165 WITH SCORE 257496.526
AT ITER 663 NEW BEST:: SOT 478000 SOS 330700 HAS SOPS 330700 HAS SOUS 256197 HAS SOUPS 256197 WITH SCORE 256527.7
AT ITER 670 NEW BEST:: SOT 478391 SOS 330187 HAS SOPS 330187 HAS SOUS 255977 HAS SOUPS 255977 WITH SCORE 256307.187
AT ITER 675 NEW BEST:: SOT 478276 SOS 329527 HAS SOPS 329527 HAS SOUS 255932 HAS SOUPS 255932 WITH SCORE 256261.527
AT ITER 679 NEW BEST:: SOT 477799 SOS 328909 HAS SOPS 328909 HAS SOUS 255279 HAS SOUPS 255279 WITH SCORE 255607.909
AT ITER 680 NEW BEST:: SOT 477542 SOS 328652 HAS SOPS 328652 HAS SOUS 255082 HAS SOUPS 255082 WITH SCORE 255410.652
AT ITER 694 NEW BEST:: SOT 475653 SOS 326568 HAS SOPS 326568 HAS SOUS 253032 HAS SOUPS 253032 WITH SCORE 253358.568
AT ITER 704 NEW BEST:: SOT 475312 SOS 326227 HAS SOPS 326227 HAS SOUS 252691 HAS SOUPS 252691 WITH SCORE 253017.227
AT ITER 708 NEW BEST:: SOT 475390 SOS 326004 HAS SOPS 326004 HAS SOUS 252672 HAS SOUPS 252672 WITH SCORE 252998.004
AT ITER 709 NEW BEST:: SOT 475322 SOS 325929 HAS SOPS 325929 HAS SOUS 252626 HAS SOUPS 252626 WITH SCORE 252951.929
AT ITER 713 NEW BEST:: SOT 475218 SOS 325459 HAS SOPS 325459 HAS SOUS 252390 HAS SOUPS 252390 WITH SCORE 252715.459
AT ITER 717 NEW BEST:: SOT 474574 SOS 324722 HAS SOPS 324722 HAS SOUS 251635 HAS SOUPS 251635 WITH SCORE 251959.722
AT ITER 719 NEW BEST:: SOT 474484 SOS 324632 HAS SOPS 324632 HAS SOUS 251545 HAS SOUPS 251545 WITH SCORE 251869.632
AT ITER 726 NEW BEST:: SOT 474273 SOS 324357 HAS SOPS 324357 HAS SOUS 251270 HAS SOUPS 251270 WITH SCORE 251594.357
AT ITER 727 NEW BEST:: SOT 474101 SOS 324183 HAS SOPS 324183 HAS SOUS 251097 HAS SOUPS 251097 WITH SCORE 251421.183
AT ITER 730 NEW BEST:: SOT 474059 SOS 323975 HAS SOPS 323975 HAS SOUS 250894 HAS SOUPS 250894 WITH SCORE 251217.975
AT ITER 731 NEW BEST:: SOT 473675 SOS 323488 HAS SOPS 323488 HAS SOUS 250095 HAS SOUPS 250095 WITH SCORE 250418.488
AT ITER 735 NEW BEST:: SOT 473344 SOS 323157 HAS SOPS 323157 HAS SOUS 249764 HAS SOUPS 249764 WITH SCORE 250087.157
AT ITER 736 NEW BEST:: SOT 473344 SOS 322971 HAS SOPS 322971 HAS SOUS 249764 HAS SOUPS 249764 WITH SCORE 250086.971
AT ITER 738 NEW BEST:: SOT 473213 SOS 321895 HAS SOPS 321895 HAS SOUS 249304 HAS SOUPS 249304 WITH SCORE 249625.895
AT ITER 743 NEW BEST:: SOT 473054 SOS 321736 HAS SOPS 321736 HAS SOUS 249145 HAS SOUPS 249145 WITH SCORE 249466.736
AT ITER 754 NEW BEST:: SOT 472721 SOS 321517 HAS SOPS 321517 HAS SOUS 248706 HAS SOUPS 248706 WITH SCORE 249027.517
AT ITER 756 NEW BEST:: SOT 472388 SOS 321184 HAS SOPS 321184 HAS SOUS 248373 HAS SOUPS 248373 WITH SCORE 248694.184
AT ITER 760 NEW BEST:: SOT 472054 SOS 319400 HAS SOPS 319400 HAS SOUS 247931 HAS SOUPS 247931 WITH SCORE 248250.4
AT ITER 761 NEW BEST:: SOT 472144 SOS 319249 HAS SOPS 319249 HAS SOUS 247851 HAS SOUPS 247851 WITH SCORE 248170.249
AT ITER 763 NEW BEST:: SOT 472007 SOS 319112 HAS SOPS 319112 HAS SOUS 247714 HAS SOUPS 247714 WITH SCORE 248033.112
AT ITER 765 NEW BEST:: SOT 471965 SOS 318289 HAS SOPS 318289 HAS SOUS 247654 HAS SOUPS 247654 WITH SCORE 247972.289
AT ITER 771 NEW BEST:: SOT 471875 SOS 318192 HAS SOPS 318192 HAS SOUS 247369 HAS SOUPS 247369 WITH SCORE 247687.192
AT ITER 781 NEW BEST:: SOT 470791 SOS 316501 HAS SOPS 316501 HAS SOUS 245636 HAS SOUPS 245636 WITH SCORE 245952.501
AT ITER 791 NEW BEST:: SOT 470750 SOS 316419 HAS SOPS 316419 HAS SOUS 245554 HAS SOUPS 245554 WITH SCORE 245870.419
AT ITER 792 NEW BEST:: SOT 470639 SOS 316308 HAS SOPS 316308 HAS SOUS 245438 HAS SOUPS 245438 WITH SCORE 245754.308
AT ITER 794 NEW BEST:: SOT 470546 SOS 316210 HAS SOPS 316210 HAS SOUS 245319 HAS SOUPS 245319 WITH SCORE 245635.21
AT ITER 797 NEW BEST:: SOT 470126 SOS 316042 HAS SOPS 316042 HAS SOUS 244858 HAS SOUPS 244858 WITH SCORE 245174.042
AT ITER 800 NEW BEST:: SOT 470007 SOS 315865 HAS SOPS 315865 HAS SOUS 244238 HAS SOUPS 244238 WITH SCORE 244553.865
AT ITER 803 NEW BEST:: SOT 470207 SOS 314899 HAS SOPS 314899 HAS SOUS 242886 HAS SOUPS 242886 WITH SCORE 243200.899
AT ITER 804 NEW BEST:: SOT 470207 SOS 314891 HAS SOPS 314891 HAS SOUS 242884 HAS SOUPS 242884 WITH SCORE 243198.891
AT ITER 805 NEW BEST:: SOT 470151 SOS 314835 HAS SOPS 314835 HAS SOUS 242828 HAS SOUPS 242828 WITH SCORE 243142.835
AT ITER 806 NEW BEST:: SOT 470061 SOS 314235 HAS SOPS 314235 HAS SOUS 242746 HAS SOUPS 242746 WITH SCORE 243060.235
AT ITER 808 NEW BEST:: SOT 470179 SOS 313862 HAS SOPS 313862 HAS SOUS 242742 HAS SOUPS 242742 WITH SCORE 243055.862
AT ITER 815 NEW BEST:: SOT 469986 SOS 313669 HAS SOPS 313669 HAS SOUS 242589 HAS SOUPS 242589 WITH SCORE 242902.669
AT ITER 816 NEW BEST:: SOT 469898 SOS 313581 HAS SOPS 313581 HAS SOUS 242550 HAS SOUPS 242550 WITH SCORE 242863.581
AT ITER 818 NEW BEST:: SOT 469892 SOS 313545 HAS SOPS 313545 HAS SOUS 242538 HAS SOUPS 242538 WITH SCORE 242851.545
AT ITER 820 NEW BEST:: SOT 469543 SOS 313037 HAS SOPS 313037 HAS SOUS 241626 HAS SOUPS 241626 WITH SCORE 241939.037
AT ITER 823 NEW BEST:: SOT 469543 SOS 312206 HAS SOPS 312206 HAS SOUS 241536 HAS SOUPS 241536 WITH SCORE 241848.206
AT ITER 825 NEW BEST:: SOT 469400 SOS 312042 HAS SOPS 312042 HAS SOUS 241276 HAS SOUPS 241276 WITH SCORE 241588.042
AT ITER 826 NEW BEST:: SOT 469367 SOS 312009 HAS SOPS 312009 HAS SOUS 241259 HAS SOUPS 241259 WITH SCORE 241571.009
AT ITER 833 NEW BEST:: SOT 469367 SOS 312155 HAS SOPS 312155 HAS SOUS 240735 HAS SOUPS 240735 WITH SCORE 241047.155
AT ITER 834 NEW BEST:: SOT 469202 SOS 311956 HAS SOPS 311956 HAS SOUS 240508 HAS SOUPS 240508 WITH SCORE 240819.956
AT ITER 844 NEW BEST:: SOT 469025 SOS 311788 HAS SOPS 311788 HAS SOUS 240340 HAS SOUPS 240340 WITH SCORE 240651.788
AT ITER 845 NEW BEST:: SOT 468963 SOS 311717 HAS SOPS 311717 HAS SOUS 240255 HAS SOUPS 240255 WITH SCORE 240566.717
AT ITER 846 NEW BEST:: SOT 468749 SOS 310219 HAS SOPS 310219 HAS SOUS 239827 HAS SOUPS 239827 WITH SCORE 240137.219
AT ITER 850 NEW BEST:: SOT 468722 SOS 310192 HAS SOPS 310192 HAS SOUS 239800 HAS SOUPS 239800 WITH SCORE 240110.192
AT ITER 851 NEW BEST:: SOT 468722 SOS 309604 HAS SOPS 309604 HAS SOUS 239761 HAS SOUPS 239761 WITH SCORE 240070.604
AT ITER 852 NEW BEST:: SOT 468713 SOS 309595 HAS SOPS 309595 HAS SOUS 239752 HAS SOUPS 239752 WITH SCORE 240061.595
AT ITER 858 NEW BEST:: SOT 468325 SOS 309001 HAS SOPS 309001 HAS SOUS 239100 HAS SOUPS 239100 WITH SCORE 239409.001
AT ITER 861 NEW BEST:: SOT 468356 SOS 308877 HAS SOPS 308877 HAS SOUS 239037 HAS SOUPS 239037 WITH SCORE 239345.877
AT ITER 862 NEW BEST:: SOT 468298 SOS 308723 HAS SOPS 308723 HAS SOUS 239001 HAS SOUPS 239001 WITH SCORE 239309.723
AT ITER 866 NEW BEST:: SOT 468535 SOS 310586 HAS SOPS 310586 HAS SOUS 238838 HAS SOUPS 238838 WITH SCORE 239148.586
AT ITER 867 NEW BEST:: SOT 468537 SOS 310577 HAS SOPS 310577 HAS SOUS 238826 HAS SOUPS 238826 WITH SCORE 239136.577
AT ITER 873 NEW BEST:: SOT 468591 SOS 310424 HAS SOPS 310424 HAS SOUS 238673 HAS SOUPS 238673 WITH SCORE 238983.424
AT ITER 878 NEW BEST:: SOT 468556 SOS 310354 HAS SOPS 310354 HAS SOUS 238566 HAS SOUPS 238566 WITH SCORE 238876.354
AT ITER 880 NEW BEST:: SOT 468526 SOS 310268 HAS SOPS 310268 HAS SOUS 238494 HAS SOUPS 238494 WITH SCORE 238804.268
AT ITER 884 NEW BEST:: SOT 468620 SOS 310884 HAS SOPS 310884 HAS SOUS 237827 HAS SOUPS 237827 WITH SCORE 238137.884
AT ITER 889 NEW BEST:: SOT 468660 SOS 310109 HAS SOPS 310109 HAS SOUS 237613 HAS SOUPS 237613 WITH SCORE 237923.109
AT ITER 895 NEW BEST:: SOT 468594 SOS 309977 HAS SOPS 309977 HAS SOUS 237601 HAS SOUPS 237601 WITH SCORE 237910.977
AT ITER 902 NEW BEST:: SOT 468576 SOS 309959 HAS SOPS 309959 HAS SOUS 237583 HAS SOUPS 237583 WITH SCORE 237892.959
AT ITER 907 NEW BEST:: SOT 468555 SOS 309917 HAS SOPS 309917 HAS SOUS 237562 HAS SOUPS 237562 WITH SCORE 237871.917
AT ITER 908 NEW BEST:: SOT 468419 SOS 309781 HAS SOPS 309781 HAS SOUS 237417 HAS SOUPS 237417 WITH SCORE 237726.781
AT ITER 911 NEW BEST:: SOT 468364 SOS 309314 HAS SOPS 309314 HAS SOUS 237297 HAS SOUPS 237297 WITH SCORE 237606.314
AT ITER 912 NEW BEST:: SOT 468227 SOS 309174 HAS SOPS 309174 HAS SOUS 237157 HAS SOUPS 237157 WITH SCORE 237466.174
AT ITER 914 NEW BEST:: SOT 467936 SOS 308880 HAS SOPS 308880 HAS SOUS 236863 HAS SOUPS 236863 WITH SCORE 237171.88
AT ITER 919 NEW BEST:: SOT 467984 SOS 308893 HAS SOPS 308893 HAS SOUS 236252 HAS SOUPS 236252 WITH SCORE 236560.893
AT ITER 928 NEW BEST:: SOT 467759 SOS 308668 HAS SOPS 308668 HAS SOUS 236027 HAS SOUPS 236027 WITH SCORE 236335.668
AT ITER 931 NEW BEST:: SOT 467698 SOS 308607 HAS SOPS 308607 HAS SOUS 235966 HAS SOUPS 235966 WITH SCORE 236274.607
AT ITER 932 NEW BEST:: SOT 467300 SOS 308051 HAS SOPS 308051 HAS SOUS 235410 HAS SOUPS 235410 WITH SCORE 235718.051
AT ITER 950 NEW BEST:: SOT 467248 SOS 307728 HAS SOPS 307728 HAS SOUS 235188 HAS SOUPS 235188 WITH SCORE 235495.728
AT ITER 953 NEW BEST:: SOT 467208 SOS 307688 HAS SOPS 307688 HAS SOUS 235148 HAS SOUPS 235148 WITH SCORE 235455.688
AT ITER 962 NEW BEST:: SOT 467412 SOS 307985 HAS SOPS 307985 HAS SOUS 235126 HAS SOUPS 235126 WITH SCORE 235433.985
AT ITER 967 NEW BEST:: SOT 467394 SOS 307967 HAS SOPS 307967 HAS SOUS 235092 HAS SOUPS 235092 WITH SCORE 235399.967
AT ITER 983 NEW BEST:: SOT 467394 SOS 307849 HAS SOPS 307849 HAS SOUS 234925 HAS SOUPS 234925 WITH SCORE 235232.849
AT ITER 988 NEW BEST:: SOT 467244 SOS 307495 HAS SOPS 307495 HAS SOUS 234733 HAS SOUPS 234733 WITH SCORE 235040.495
AT ITER 989 NEW BEST:: SOT 467076 SOS 307003 HAS SOPS 307003 HAS SOUS 233977 HAS SOUPS 233977 WITH SCORE 234284.003
AT ITER 993 NEW BEST:: SOT 467132 SOS 306804 HAS SOPS 306804 HAS SOUS 233641 HAS SOUPS 233641 WITH SCORE 233947.804
AT ITER 998 NEW BEST:: SOT 467132 SOS 306685 HAS SOPS 306685 HAS SOUS 233618 HAS SOUPS 233618 WITH SCORE 233924.685
AT ITER 999 NEW BEST:: SOT 467593 SOS 307040 HAS SOPS 307040 HAS SOUS 233545 HAS SOUPS 233545 WITH SCORE 233852.04
AT ITER 1000 NEW BEST:: SOT 467532 SOS 306857 HAS SOPS 306857 HAS SOUS 233544 HAS SOUPS 233544 WITH SCORE 233850.857
AT ITER 1004 NEW BEST:: SOT 467532 SOS 306928 HAS SOPS 306928 HAS SOUS 233527 HAS SOUPS 233527 WITH SCORE 233833.928
AT ITER 1013 NEW BEST:: SOT 467430 SOS 306831 HAS SOPS 306831 HAS SOUS 233463 HAS SOUPS 233463 WITH SCORE 233769.831
AT ITER 1014 NEW BEST:: SOT 467420 SOS 306737 HAS SOPS 306737 HAS SOUS 233235 HAS SOUPS 233235 WITH SCORE 233541.737
AT ITER 1021 NEW BEST:: SOT 467420 SOS 306711 HAS SOPS 306711 HAS SOUS 233205 HAS SOUPS 233205 WITH SCORE 233511.711
AT ITER 1022 NEW BEST:: SOT 467420 SOS 306737 HAS SOPS 306737 HAS SOUS 233173 HAS SOUPS 233173 WITH SCORE 233479.737
AT ITER 1023 NEW BEST:: SOT 466830 SOS 306147 HAS SOPS 306147 HAS SOUS 232493 HAS SOUPS 232493 WITH SCORE 232799.147
AT ITER 1027 NEW BEST:: SOT 466900 SOS 306399 HAS SOPS 306399 HAS SOUS 232390 HAS SOUPS 232390 WITH SCORE 232696.399
AT ITER 1029 NEW BEST:: SOT 466900 SOS 306300 HAS SOPS 306300 HAS SOUS 232278 HAS SOUPS 232278 WITH SCORE 232584.3
AT ITER 1033 NEW BEST:: SOT 466848 SOS 306243 HAS SOPS 306243 HAS SOUS 232237 HAS SOUPS 232237 WITH SCORE 232543.243
AT ITER 1040 NEW BEST:: SOT 466844 SOS 306239 HAS SOPS 306239 HAS SOUS 232233 HAS SOUPS 232233 WITH SCORE 232539.239
AT ITER 1043 NEW BEST:: SOT 466604 SOS 306003 HAS SOPS 306003 HAS SOUS 232079 HAS SOUPS 232079 WITH SCORE 232385.003
AT ITER 1047 NEW BEST:: SOT 466602 SOS 306015 HAS SOPS 306015 HAS SOUS 231910 HAS SOUPS 231910 WITH SCORE 232216.015
AT ITER 1056 NEW BEST:: SOT 466194 SOS 305571 HAS SOPS 305571 HAS SOUS 231286 HAS SOUPS 231286 WITH SCORE 231591.571
AT ITER 1063 NEW BEST:: SOT 466134 SOS 304658 HAS SOPS 304658 HAS SOUS 231211 HAS SOUPS 231211 WITH SCORE 231515.658
AT ITER 1069 NEW BEST:: SOT 466014 SOS 304517 HAS SOPS 304517 HAS SOUS 230979 HAS SOUPS 230979 WITH SCORE 231283.517
AT ITER 1073 NEW BEST:: SOT 466095 SOS 304506 HAS SOPS 304506 HAS SOUS 230732 HAS SOUPS 230732 WITH SCORE 231036.506
AT ITER 1077 NEW BEST:: SOT 466035 SOS 304446 HAS SOPS 304446 HAS SOUS 230672 HAS SOUPS 230672 WITH SCORE 230976.446
AT ITER 1079 NEW BEST:: SOT 465350 SOS 303761 HAS SOPS 303761 HAS SOUS 230563 HAS SOUPS 230563 WITH SCORE 230866.761
AT ITER 1094 NEW BEST:: SOT 464644 SOS 300965 HAS SOPS 300965 HAS SOUS 229084 HAS SOUPS 229084 WITH SCORE 229384.965
AT ITER 1095 NEW BEST:: SOT 464622 SOS 300925 HAS SOPS 300925 HAS SOUS 229066 HAS SOUPS 229066 WITH SCORE 229366.925
AT ITER 1102 NEW BEST:: SOT 464592 SOS 300895 HAS SOPS 300895 HAS SOUS 229036 HAS SOUPS 229036 WITH SCORE 229336.895
AT ITER 1109 NEW BEST:: SOT 464400 SOS 300703 HAS SOPS 300703 HAS SOUS 228860 HAS SOUPS 228860 WITH SCORE 229160.703
AT ITER 1112 NEW BEST:: SOT 464402 SOS 300705 HAS SOPS 300705 HAS SOUS 228838 HAS SOUPS 228838 WITH SCORE 229138.705
AT ITER 1122 NEW BEST:: SOT 464402 SOS 300429 HAS SOPS 300429 HAS SOUS 228700 HAS SOUPS 228700 WITH SCORE 229000.429
AT ITER 1125 NEW BEST:: SOT 464154 SOS 300181 HAS SOPS 300181 HAS SOUS 228452 HAS SOUPS 228452 WITH SCORE 228752.181
AT ITER 1126 NEW BEST:: SOT 463844 SOS 299870 HAS SOPS 299870 HAS SOUS 227812 HAS SOUPS 227812 WITH SCORE 228111.87
AT ITER 1130 NEW BEST:: SOT 463467 SOS 299328 HAS SOPS 299328 HAS SOUS 227752 HAS SOUPS 227752 WITH SCORE 228051.328
AT ITER 1142 NEW BEST:: SOT 463432 SOS 299018 HAS SOPS 299018 HAS SOUS 227462 HAS SOUPS 227462 WITH SCORE 227761.018
AT ITER 1145 NEW BEST:: SOT 462910 SOS 298428 HAS SOPS 298428 HAS SOUS 226854 HAS SOUPS 226854 WITH SCORE 227152.428
AT ITER 1147 NEW BEST:: SOT 462837 SOS 298033 HAS SOPS 298033 HAS SOUS 226816 HAS SOUPS 226816 WITH SCORE 227114.033
AT ITER 1148 NEW BEST:: SOT 462705 SOS 297841 HAS SOPS 297841 HAS SOUS 226534 HAS SOUPS 226534 WITH SCORE 226831.841
AT ITER 1157 NEW BEST:: SOT 462290 SOS 297684 HAS SOPS 297684 HAS SOUS 226249 HAS SOUPS 226249 WITH SCORE 226546.684
AT ITER 1162 NEW BEST:: SOT 462325 SOS 297608 HAS SOPS 297608 HAS SOUS 226173 HAS SOUPS 226173 WITH SCORE 226470.608
AT ITER 1166 NEW BEST:: SOT 462325 SOS 297103 HAS SOPS 297103 HAS SOUS 226164 HAS SOUPS 226164 WITH SCORE 226461.103
AT ITER 1168 NEW BEST:: SOT 461702 SOS 292850 HAS SOPS 292850 HAS SOUS 223870 HAS SOUPS 223870 WITH SCORE 224162.85
AT ITER 1173 NEW BEST:: SOT 461715 SOS 292859 HAS SOPS 292859 HAS SOUS 223834 HAS SOUPS 223834 WITH SCORE 224126.859
AT ITER 1176 NEW BEST:: SOT 461694 SOS 292838 HAS SOPS 292838 HAS SOUS 223777 HAS SOUPS 223777 WITH SCORE 224069.838
AT ITER 1177 NEW BEST:: SOT 461694 SOS 291564 HAS SOPS 291564 HAS SOUS 222354 HAS SOUPS 222354 WITH SCORE 222645.564
AT ITER 1185 NEW BEST:: SOT 461597 SOS 291099 HAS SOPS 291099 HAS SOUS 222122 HAS SOUPS 222122 WITH SCORE 222413.099
AT ITER 1197 NEW BEST:: SOT 461827 SOS 290787 HAS SOPS 290787 HAS SOUS 222002 HAS SOUPS 222002 WITH SCORE 222292.787
AT ITER 1202 NEW BEST:: SOT 461773 SOS 290614 HAS SOPS 290614 HAS SOUS 221894 HAS SOUPS 221894 WITH SCORE 222184.614
AT ITER 1204 NEW BEST:: SOT 461709 SOS 290103 HAS SOPS 290103 HAS SOUS 221458 HAS SOUPS 221458 WITH SCORE 221748.103
AT ITER 1212 NEW BEST:: SOT 462038 SOS 290379 HAS SOPS 290379 HAS SOUS 221154 HAS SOUPS 221154 WITH SCORE 221444.379
AT ITER 1226 NEW BEST:: SOT 461478 SOS 289819 HAS SOPS 289819 HAS SOUS 220594 HAS SOUPS 220594 WITH SCORE 220883.819
AT ITER 1233 NEW BEST:: SOT 461152 SOS 289511 HAS SOPS 289511 HAS SOUS 220349 HAS SOUPS 220349 WITH SCORE 220638.511
AT ITER 1234 NEW BEST:: SOT 461089 SOS 289448 HAS SOPS 289448 HAS SOUS 220285 HAS SOUPS 220285 WITH SCORE 220574.448
AT ITER 1239 NEW BEST:: SOT 460999 SOS 289080 HAS SOPS 289080 HAS SOUS 220279 HAS SOUPS 220279 WITH SCORE 220568.08
AT ITER 1254 NEW BEST:: SOT 460941 SOS 288950 HAS SOPS 288950 HAS SOUS 220031 HAS SOUPS 220031 WITH SCORE 220319.95
AT ITER 1274 NEW BEST:: SOT 460720 SOS 288023 HAS SOPS 288023 HAS SOUS 219295 HAS SOUPS 219295 WITH SCORE 219583.023
AT ITER 1283 NEW BEST:: SOT 460576 SOS 287879 HAS SOPS 287879 HAS SOUS 219151 HAS SOUPS 219151 WITH SCORE 219438.879
AT ITER 1286 NEW BEST:: SOT 460507 SOS 287442 HAS SOPS 287442 HAS SOUS 219049 HAS SOUPS 219049 WITH SCORE 219336.442
AT ITER 1287 NEW BEST:: SOT 460519 SOS 287454 HAS SOPS 287454 HAS SOUS 218969 HAS SOUPS 218969 WITH SCORE 219256.454
AT ITER 1315 NEW BEST:: SOT 460515 SOS 287450 HAS SOPS 287450 HAS SOUS 218965 HAS SOUPS 218965 WITH SCORE 219252.45
AT ITER 1317 NEW BEST:: SOT 460486 SOS 287295 HAS SOPS 287295 HAS SOUS 218563 HAS SOUPS 218563 WITH SCORE 218850.295
AT ITER 1327 NEW BEST:: SOT 460404 SOS 287213 HAS SOPS 287213 HAS SOUS 218499 HAS SOUPS 218499 WITH SCORE 218786.213
AT ITER 1330 NEW BEST:: SOT 460277 SOS 287140 HAS SOPS 287140 HAS SOUS 217919 HAS SOUPS 217919 WITH SCORE 218206.14
AT ITER 1335 NEW BEST:: SOT 460135 SOS 287072 HAS SOPS 287072 HAS SOUS 217865 HAS SOUPS 217865 WITH SCORE 218152.072
AT ITER 1347 NEW BEST:: SOT 460233 SOS 287135 HAS SOPS 287135 HAS SOUS 217752 HAS SOUPS 217752 WITH SCORE 218039.135
AT ITER 1354 NEW BEST:: SOT 459892 SOS 286484 HAS SOPS 286484 HAS SOUS 217688 HAS SOUPS 217688 WITH SCORE 217974.484
AT ITER 1358 NEW BEST:: SOT 460068 SOS 286443 HAS SOPS 286443 HAS SOUS 217408 HAS SOUPS 217408 WITH SCORE 217694.443
AT ITER 1366 NEW BEST:: SOT 460077 SOS 285498 HAS SOPS 285498 HAS SOUS 217035 HAS SOUPS 217035 WITH SCORE 217320.498
AT ITER 1367 NEW BEST:: SOT 460128 SOS 285769 HAS SOPS 285769 HAS SOUS 216799 HAS SOUPS 216799 WITH SCORE 217084.769
AT ITER 1370 NEW BEST:: SOT 460106 SOS 285747 HAS SOPS 285747 HAS SOUS 216777 HAS SOUPS 216777 WITH SCORE 217062.747
AT ITER 1372 NEW BEST:: SOT 459933 SOS 285580 HAS SOPS 285580 HAS SOUS 216545 HAS SOUPS 216545 WITH SCORE 216830.58
AT ITER 1383 NEW BEST:: SOT 459230 SOS 285048 HAS SOPS 285048 HAS SOUS 216448 HAS SOUPS 216448 WITH SCORE 216733.048
AT ITER 1392 NEW BEST:: SOT 459116 SOS 285696 HAS SOPS 285696 HAS SOUS 216327 HAS SOUPS 216327 WITH SCORE 216612.696
AT ITER 1397 NEW BEST:: SOT 459057 SOS 285292 HAS SOPS 285292 HAS SOUS 215865 HAS SOUPS 215865 WITH SCORE 216150.292
AT ITER 1405 NEW BEST:: SOT 459033 SOS 285268 HAS SOPS 285268 HAS SOUS 215841 HAS SOUPS 215841 WITH SCORE 216126.268
AT ITER 1407 NEW BEST:: SOT 459033 SOS 285868 HAS SOPS 285868 HAS SOUS 215720 HAS SOUPS 215720 WITH SCORE 216005.868
AT ITER 1409 NEW BEST:: SOT 458957 SOS 285663 HAS SOPS 285663 HAS SOUS 215660 HAS SOUPS 215660 WITH SCORE 215945.663
AT ITER 1424 NEW BEST:: SOT 459017 SOS 285723 HAS SOPS 285723 HAS SOUS 215552 HAS SOUPS 215552 WITH SCORE 215837.723
AT ITER 1426 NEW BEST:: SOT 458970 SOS 285676 HAS SOPS 285676 HAS SOUS 215552 HAS SOUPS 215552 WITH SCORE 215837.676
AT ITER 1427 NEW BEST:: SOT 458970 SOS 285586 HAS SOPS 285586 HAS SOUS 215372 HAS SOUPS 215372 WITH SCORE 215657.586
AT ITER 1428 NEW BEST:: SOT 458973 SOS 285484 HAS SOPS 285484 HAS SOUS 215270 HAS SOUPS 215270 WITH SCORE 215555.484
AT ITER 1430 NEW BEST:: SOT 458973 SOS 285318 HAS SOPS 285318 HAS SOUS 215098 HAS SOUPS 215098 WITH SCORE 215383.318
AT ITER 1432 NEW BEST:: SOT 458973 SOS 284539 HAS SOPS 284539 HAS SOUS 214858 HAS SOUPS 214858 WITH SCORE 215142.539
AT ITER 1434 NEW BEST:: SOT 458973 SOS 284539 HAS SOPS 284539 HAS SOUS 214857 HAS SOUPS 214857 WITH SCORE 215141.539
AT ITER 1438 NEW BEST:: SOT 458792 SOS 284358 HAS SOPS 284358 HAS SOUS 214713 HAS SOUPS 214713 WITH SCORE 214997.358
AT ITER 1440 NEW BEST:: SOT 458792 SOS 284449 HAS SOPS 284449 HAS SOUS 214659 HAS SOUPS 214659 WITH SCORE 214943.449
AT ITER 1445 NEW BEST:: SOT 458714 SOS 284521 HAS SOPS 284521 HAS SOUS 214188 HAS SOUPS 214188 WITH SCORE 214472.521
AT ITER 1447 NEW BEST:: SOT 458638 SOS 284312 HAS SOPS 284312 HAS SOUS 214125 HAS SOUPS 214125 WITH SCORE 214409.312
AT ITER 1452 NEW BEST:: SOT 458457 SOS 283879 HAS SOPS 283879 HAS SOUS 213848 HAS SOUPS 213848 WITH SCORE 214131.879
AT ITER 1453 NEW BEST:: SOT 458457 SOS 283846 HAS SOPS 283846 HAS SOUS 213848 HAS SOUPS 213848 WITH SCORE 214131.846
AT ITER 1463 NEW BEST:: SOT 458457 SOS 283846 HAS SOPS 283846 HAS SOUS 213832 HAS SOUPS 213832 WITH SCORE 214115.846
AT ITER 1467 NEW BEST:: SOT 458410 SOS 283799 HAS SOPS 283799 HAS SOUS 213785 HAS SOUPS 213785 WITH SCORE 214068.799
AT ITER 1484 NEW BEST:: SOT 458410 SOS 283805 HAS SOPS 283805 HAS SOUS 213782 HAS SOUPS 213782 WITH SCORE 214065.805
AT ITER 1486 NEW BEST:: SOT 458360 SOS 283755 HAS SOPS 283755 HAS SOUS 213732 HAS SOUPS 213732 WITH SCORE 214015.755
AT ITER 1490 NEW BEST:: SOT 458287 SOS 284632 HAS SOPS 284632 HAS SOUS 213627 HAS SOUPS 213627 WITH SCORE 213911.632
AT ITER 1491 NEW BEST:: SOT 457842 SOS 284534 HAS SOPS 284534 HAS SOUS 213543 HAS SOUPS 213543 WITH SCORE 213827.534
AT ITER 1497 NEW BEST:: SOT 457826 SOS 284497 HAS SOPS 284497 HAS SOUS 213506 HAS SOUPS 213506 WITH SCORE 213790.497
AT ITER 1499 NEW BEST:: SOT 457822 SOS 284461 HAS SOPS 284461 HAS SOUS 213438 HAS SOUPS 213438 WITH SCORE 213722.461
AT ITER 1505 NEW BEST:: SOT 457573 SOS 284113 HAS SOPS 284113 HAS SOUS 213220 HAS SOUPS 213220 WITH SCORE 213504.113
AT ITER 1506 NEW BEST:: SOT 457611 SOS 282300 HAS SOPS 282300 HAS SOUS 212885 HAS SOUPS 212885 WITH SCORE 213167.3
AT ITER 1516 NEW BEST:: SOT 457537 SOS 282226 HAS SOPS 282226 HAS SOUS 212515 HAS SOUPS 212515 WITH SCORE 212797.226
AT ITER 1525 NEW BEST:: SOT 457537 SOS 282193 HAS SOPS 282193 HAS SOUS 212482 HAS SOUPS 212482 WITH SCORE 212764.193
AT ITER 1529 NEW BEST:: SOT 457537 SOS 282024 HAS SOPS 282024 HAS SOUS 212453 HAS SOUPS 212453 WITH SCORE 212735.024
AT ITER 1532 NEW BEST:: SOT 456996 SOS 281383 HAS SOPS 281383 HAS SOUS 211720 HAS SOUPS 211720 WITH SCORE 212001.383
AT ITER 1538 NEW BEST:: SOT 457120 SOS 281259 HAS SOPS 281259 HAS SOUS 211472 HAS SOUPS 211472 WITH SCORE 211753.259
AT ITER 1550 NEW BEST:: SOT 456520 SOS 280553 HAS SOPS 280553 HAS SOUS 210766 HAS SOUPS 210766 WITH SCORE 211046.553
AT ITER 1555 NEW BEST:: SOT 456524 SOS 280538 HAS SOPS 280538 HAS SOUS 210751 HAS SOUPS 210751 WITH SCORE 211031.538
AT ITER 1558 NEW BEST:: SOT 456456 SOS 280496 HAS SOPS 280496 HAS SOUS 210703 HAS SOUPS 210703 WITH SCORE 210983.496
AT ITER 1561 NEW BEST:: SOT 456425 SOS 280434 HAS SOPS 280434 HAS SOUS 210610 HAS SOUPS 210610 WITH SCORE 210890.434
AT ITER 1562 NEW BEST:: SOT 456275 SOS 279908 HAS SOPS 279908 HAS SOUS 210366 HAS SOUPS 210366 WITH SCORE 210645.908
AT ITER 1563 NEW BEST:: SOT 456243 SOS 279702 HAS SOPS 279702 HAS SOUS 210232 HAS SOUPS 210232 WITH SCORE 210511.702
AT ITER 1566 NEW BEST:: SOT 456176 SOS 279635 HAS SOPS 279635 HAS SOUS 209991 HAS SOUPS 209991 WITH SCORE 210270.635
AT ITER 1568 NEW BEST:: SOT 456176 SOS 279635 HAS SOPS 279635 HAS SOUS 209945 HAS SOUPS 209945 WITH SCORE 210224.635
AT ITER 1569 NEW BEST:: SOT 456176 SOS 279633 HAS SOPS 279633 HAS SOUS 209937 HAS SOUPS 209937 WITH SCORE 210216.633
AT ITER 1570 NEW BEST:: SOT 456066 SOS 279391 HAS SOPS 279391 HAS SOUS 209661 HAS SOUPS 209661 WITH SCORE 209940.391
AT ITER 1579 NEW BEST:: SOT 456066 SOS 279630 HAS SOPS 279630 HAS SOUS 209652 HAS SOUPS 209652 WITH SCORE 209931.63
AT ITER 1588 NEW BEST:: SOT 455715 SOS 278982 HAS SOPS 278982 HAS SOUS 209026 HAS SOUPS 209026 WITH SCORE 209304.982
AT ITER 1591 NEW BEST:: SOT 455675 SOS 278822 HAS SOPS 278822 HAS SOUS 208986 HAS SOUPS 208986 WITH SCORE 209264.822
AT ITER 1592 NEW BEST:: SOT 455622 SOS 278706 HAS SOPS 278706 HAS SOUS 208870 HAS SOUPS 208870 WITH SCORE 209148.706
AT ITER 1593 NEW BEST:: SOT 455589 SOS 278673 HAS SOPS 278673 HAS SOUS 208837 HAS SOUPS 208837 WITH SCORE 209115.673
AT ITER 1599 NEW BEST:: SOT 455572 SOS 278509 HAS SOPS 278509 HAS SOUS 208615 HAS SOUPS 208615 WITH SCORE 208893.509
AT ITER 1600 NEW BEST:: SOT 455545 SOS 278482 HAS SOPS 278482 HAS SOUS 208588 HAS SOUPS 208588 WITH SCORE 208866.482
AT ITER 1603 NEW BEST:: SOT 455685 SOS 278358 HAS SOPS 278358 HAS SOUS 208418 HAS SOUPS 208418 WITH SCORE 208696.358
AT ITER 1605 NEW BEST:: SOT 455685 SOS 278288 HAS SOPS 278288 HAS SOUS 208388 HAS SOUPS 208388 WITH SCORE 208666.288
AT ITER 1607 NEW BEST:: SOT 455671 SOS 278240 HAS SOPS 278240 HAS SOUS 208340 HAS SOUPS 208340 WITH SCORE 208618.24
AT ITER 1613 NEW BEST:: SOT 455673 SOS 278218 HAS SOPS 278218 HAS SOUS 208318 HAS SOUPS 208318 WITH SCORE 208596.218
AT ITER 1614 NEW BEST:: SOT 455570 SOS 277870 HAS SOPS 277870 HAS SOUS 207972 HAS SOUPS 207972 WITH SCORE 208249.87
AT ITER 1616 NEW BEST:: SOT 455557 SOS 277862 HAS SOPS 277862 HAS SOUS 207840 HAS SOUPS 207840 WITH SCORE 208117.862
AT ITER 1626 NEW BEST:: SOT 455505 SOS 277683 HAS SOPS 277683 HAS SOUS 207661 HAS SOUPS 207661 WITH SCORE 207938.683
AT ITER 1637 NEW BEST:: SOT 455195 SOS 277373 HAS SOPS 277373 HAS SOUS 207351 HAS SOUPS 207351 WITH SCORE 207628.373
AT ITER 1643 NEW BEST:: SOT 455152 SOS 277115 HAS SOPS 277115 HAS SOUS 207184 HAS SOUPS 207184 WITH SCORE 207461.115
AT ITER 1660 NEW BEST:: SOT 455154 SOS 277034 HAS SOPS 277034 HAS SOUS 207171 HAS SOUPS 207171 WITH SCORE 207448.034
AT ITER 1663 NEW BEST:: SOT 455189 SOS 276809 HAS SOPS 276809 HAS SOUS 207064 HAS SOUPS 207064 WITH SCORE 207340.809
AT ITER 1668 NEW BEST:: SOT 455028 SOS 275547 HAS SOPS 275547 HAS SOUS 206465 HAS SOUPS 206465 WITH SCORE 206740.547
AT ITER 1670 NEW BEST:: SOT 454825 SOS 274731 HAS SOPS 274731 HAS SOUS 206243 HAS SOUPS 206243 WITH SCORE 206517.731
AT ITER 1678 NEW BEST:: SOT 454743 SOS 274526 HAS SOPS 274526 HAS SOUS 205997 HAS SOUPS 205997 WITH SCORE 206271.526
AT ITER 1686 NEW BEST:: SOT 454873 SOS 274585 HAS SOPS 274585 HAS SOUS 205988 HAS SOUPS 205988 WITH SCORE 206262.585
AT ITER 1691 NEW BEST:: SOT 454873 SOS 274518 HAS SOPS 274518 HAS SOUS 205867 HAS SOUPS 205867 WITH SCORE 206141.518
AT ITER 1698 NEW BEST:: SOT 454868 SOS 274496 HAS SOPS 274496 HAS SOUS 205836 HAS SOUPS 205836 WITH SCORE 206110.496
AT ITER 1700 NEW BEST:: SOT 454690 SOS 273250 HAS SOPS 273250 HAS SOUS 205658 HAS SOUPS 205658 WITH SCORE 205931.25
AT ITER 1702 NEW BEST:: SOT 454497 SOS 273052 HAS SOPS 273052 HAS SOUS 205427 HAS SOUPS 205427 WITH SCORE 205700.052
AT ITER 1713 NEW BEST:: SOT 454416 SOS 272971 HAS SOPS 272971 HAS SOUS 205319 HAS SOUPS 205319 WITH SCORE 205591.971
AT ITER 1726 NEW BEST:: SOT 454407 SOS 272962 HAS SOPS 272962 HAS SOUS 205310 HAS SOUPS 205310 WITH SCORE 205582.962
AT ITER 1727 NEW BEST:: SOT 454188 SOS 272580 HAS SOPS 272580 HAS SOUS 204876 HAS SOUPS 204876 WITH SCORE 205148.58
AT ITER 1739 NEW BEST:: SOT 454210 SOS 272548 HAS SOPS 272548 HAS SOUS 204856 HAS SOUPS 204856 WITH SCORE 205128.548
AT ITER 1745 NEW BEST:: SOT 454038 SOS 271796 HAS SOPS 271796 HAS SOUS 204849 HAS SOUPS 204849 WITH SCORE 205120.796
AT ITER 1758 NEW BEST:: SOT 453506 SOS 271176 HAS SOPS 271176 HAS SOUS 203829 HAS SOUPS 203829 WITH SCORE 204100.176
AT ITER 1762 NEW BEST:: SOT 453358 SOS 271028 HAS SOPS 271028 HAS SOUS 203681 HAS SOUPS 203681 WITH SCORE 203952.028
AT ITER 1763 NEW BEST:: SOT 453300 SOS 270896 HAS SOPS 270896 HAS SOUS 203476 HAS SOUPS 203476 WITH SCORE 203746.896
AT ITER 1774 NEW BEST:: SOT 453000 SOS 270596 HAS SOPS 270596 HAS SOUS 203176 HAS SOUPS 203176 WITH SCORE 203446.596
AT ITER 1775 NEW BEST:: SOT 452756 SOS 268891 HAS SOPS 268891 HAS SOUS 203176 HAS SOUPS 203176 WITH SCORE 203444.891
AT ITER 1781 NEW BEST:: SOT 452710 SOS 268782 HAS SOPS 268782 HAS SOUS 203022 HAS SOUPS 203022 WITH SCORE 203290.782
AT ITER 1783 NEW BEST:: SOT 452731 SOS 268676 HAS SOPS 268676 HAS SOUS 202505 HAS SOUPS 202505 WITH SCORE 202773.676
AT ITER 1786 NEW BEST:: SOT 452562 SOS 268507 HAS SOPS 268507 HAS SOUS 202336 HAS SOUPS 202336 WITH SCORE 202604.507
AT ITER 1790 NEW BEST:: SOT 452827 SOS 268666 HAS SOPS 268666 HAS SOUS 202316 HAS SOUPS 202316 WITH SCORE 202584.666
AT ITER 1793 NEW BEST:: SOT 452794 SOS 268577 HAS SOPS 268577 HAS SOUS 202301 HAS SOUPS 202301 WITH SCORE 202569.577
AT ITER 1797 NEW BEST:: SOT 452938 SOS 268540 HAS SOPS 268540 HAS SOUS 202247 HAS SOUPS 202247 WITH SCORE 202515.54
AT ITER 1799 NEW BEST:: SOT 452918 SOS 267377 HAS SOPS 267377 HAS SOUS 202006 HAS SOUPS 202006 WITH SCORE 202273.377
AT ITER 1802 NEW BEST:: SOT 452964 SOS 266811 HAS SOPS 266811 HAS SOUS 201943 HAS SOUPS 201943 WITH SCORE 202209.811
AT ITER 1805 NEW BEST:: SOT 452971 SOS 266808 HAS SOPS 266808 HAS SOUS 201939 HAS SOUPS 201939 WITH SCORE 202205.808
AT ITER 1808 NEW BEST:: SOT 453007 SOS 266714 HAS SOPS 266714 HAS SOUS 201927 HAS SOUPS 201927 WITH SCORE 202193.714
AT ITER 1823 NEW BEST:: SOT 453062 SOS 267513 HAS SOPS 267513 HAS SOUS 201644 HAS SOUPS 201644 WITH SCORE 201911.513
AT ITER 1825 NEW BEST:: SOT 453062 SOS 267681 HAS SOPS 267681 HAS SOUS 201602 HAS SOUPS 201602 WITH SCORE 201869.681
AT ITER 1827 NEW BEST:: SOT 452640 SOS 267259 HAS SOPS 267259 HAS SOUS 201157 HAS SOUPS 201157 WITH SCORE 201424.259
AT ITER 1829 NEW BEST:: SOT 452572 SOS 267191 HAS SOPS 267191 HAS SOUS 201089 HAS SOUPS 201089 WITH SCORE 201356.191
AT ITER 1836 NEW BEST:: SOT 452500 SOS 265557 HAS SOPS 265557 HAS SOUS 201056 HAS SOUPS 201056 WITH SCORE 201321.557
AT ITER 1838 NEW BEST:: SOT 452233 SOS 265206 HAS SOPS 265206 HAS SOUS 200580 HAS SOUPS 200580 WITH SCORE 200845.206
AT ITER 1848 NEW BEST:: SOT 452233 SOS 265116 HAS SOPS 265116 HAS SOUS 200490 HAS SOUPS 200490 WITH SCORE 200755.116
AT ITER 1857 NEW BEST:: SOT 452233 SOS 265554 HAS SOPS 265554 HAS SOUS 200487 HAS SOUPS 200487 WITH SCORE 200752.554
AT ITER 1867 NEW BEST:: SOT 452232 SOS 265487 HAS SOPS 265487 HAS SOUS 200194 HAS SOUPS 200194 WITH SCORE 200459.487
AT ITER 1880 NEW BEST:: SOT 452002 SOS 264894 HAS SOPS 264894 HAS SOUS 199690 HAS SOUPS 199690 WITH SCORE 199954.894
AT ITER 1902 NEW BEST:: SOT 451961 SOS 264766 HAS SOPS 264766 HAS SOUS 199677 HAS SOUPS 199677 WITH SCORE 199941.766
AT ITER 1907 NEW BEST:: SOT 451771 SOS 264495 HAS SOPS 264495 HAS SOUS 199390 HAS SOUPS 199390 WITH SCORE 199654.495
AT ITER 1920 NEW BEST:: SOT 451771 SOS 264495 HAS SOPS 264495 HAS SOUS 199224 HAS SOUPS 199224 WITH SCORE 199488.495
AT ITER 1923 NEW BEST:: SOT 451568 SOS 264174 HAS SOPS 264174 HAS SOUS 198911 HAS SOUPS 198911 WITH SCORE 199175.174
AT ITER 1929 NEW BEST:: SOT 451561 SOS 264520 HAS SOPS 264520 HAS SOUS 198795 HAS SOUPS 198795 WITH SCORE 199059.52
AT ITER 1936 NEW BEST:: SOT 450896 SOS 263661 HAS SOPS 263661 HAS SOUS 197890 HAS SOUPS 197890 WITH SCORE 198153.661
AT ITER 1954 NEW BEST:: SOT 449766 SOS 262531 HAS SOPS 262531 HAS SOUS 196760 HAS SOUPS 196760 WITH SCORE 197022.531
AT ITER 1965 NEW BEST:: SOT 449766 SOS 262563 HAS SOPS 262563 HAS SOUS 196746 HAS SOUPS 196746 WITH SCORE 197008.563
AT ITER 1966 NEW BEST:: SOT 449652 SOS 262291 HAS SOPS 262291 HAS SOUS 196483 HAS SOUPS 196483 WITH SCORE 196745.291
AT ITER 1967 NEW BEST:: SOT 449638 SOS 262277 HAS SOPS 262277 HAS SOUS 196469 HAS SOUPS 196469 WITH SCORE 196731.277
AT ITER 1970 NEW BEST:: SOT 449795 SOS 262788 HAS SOPS 262788 HAS SOUS 196294 HAS SOUPS 196294 WITH SCORE 196556.788
AT ITER 1971 NEW BEST:: SOT 449292 SOS 262535 HAS SOPS 262535 HAS SOUS 195613 HAS SOUPS 195613 WITH SCORE 195875.535
AT ITER 1978 NEW BEST:: SOT 449292 SOS 261900 HAS SOPS 261900 HAS SOUS 195510 HAS SOUPS 195510 WITH SCORE 195771.9
AT ITER 1989 NEW BEST:: SOT 449176 SOS 261168 HAS SOPS 261168 HAS SOUS 195296 HAS SOUPS 195296 WITH SCORE 195557.168
AT ITER 1990 NEW BEST:: SOT 448694 SOS 260681 HAS SOPS 260681 HAS SOUS 194809 HAS SOUPS 194809 WITH SCORE 195069.681
AT ITER 1994 NEW BEST:: SOT 448653 SOS 260640 HAS SOPS 260640 HAS SOUS 194656 HAS SOUPS 194656 WITH SCORE 194916.64
AT ITER 1996 NEW BEST:: SOT 448642 SOS 260629 HAS SOPS 260629 HAS SOUS 194645 HAS SOUPS 194645 WITH SCORE 194905.629
AT ITER 2000 NEW BEST:: SOT 448703 SOS 260699 HAS SOPS 260699 HAS SOUS 194595 HAS SOUPS 194595 WITH SCORE 194855.699
AT ITER 2020 NEW BEST:: SOT 448594 SOS 261070 HAS SOPS 261070 HAS SOUS 194288 HAS SOUPS 194288 WITH SCORE 194549.07
AT ITER 2023 NEW BEST:: SOT 448793 SOS 260997 HAS SOPS 260997 HAS SOUS 194020 HAS SOUPS 194020 WITH SCORE 194280.997
AT ITER 2028 NEW BEST:: SOT 448719 SOS 260923 HAS SOPS 260923 HAS SOUS 193906 HAS SOUPS 193906 WITH SCORE 194166.923
AT ITER 2031 NEW BEST:: SOT 448702 SOS 260972 HAS SOPS 260972 HAS SOUS 193871 HAS SOUPS 193871 WITH SCORE 194131.972
AT ITER 2032 NEW BEST:: SOT 448605 SOS 260875 HAS SOPS 260875 HAS SOUS 193774 HAS SOUPS 193774 WITH SCORE 194034.875
AT ITER 2034 NEW BEST:: SOT 448450 SOS 259805 HAS SOPS 259805 HAS SOUS 193525 HAS SOUPS 193525 WITH SCORE 193784.805
AT ITER 2035 NEW BEST:: SOT 448602 SOS 259608 HAS SOPS 259608 HAS SOUS 193498 HAS SOUPS 193498 WITH SCORE 193757.608
AT ITER 2038 NEW BEST:: SOT 448589 SOS 259595 HAS SOPS 259595 HAS SOUS 193485 HAS SOUPS 193485 WITH SCORE 193744.595
AT ITER 2044 NEW BEST:: SOT 448452 SOS 259402 HAS SOPS 259402 HAS SOUS 193292 HAS SOUPS 193292 WITH SCORE 193551.402
AT ITER 2048 NEW BEST:: SOT 448463 SOS 259417 HAS SOPS 259417 HAS SOUS 193237 HAS SOUPS 193237 WITH SCORE 193496.417
AT ITER 2057 NEW BEST:: SOT 448463 SOS 259423 HAS SOPS 259423 HAS SOUS 193225 HAS SOUPS 193225 WITH SCORE 193484.423
AT ITER 2058 NEW BEST:: SOT 448544 SOS 259423 HAS SOPS 259423 HAS SOUS 192990 HAS SOUPS 192990 WITH SCORE 193249.423
AT ITER 2059 NEW BEST:: SOT 448023 SOS 259389 HAS SOPS 259389 HAS SOUS 192465 HAS SOUPS 192465 WITH SCORE 192724.389
AT ITER 2065 NEW BEST:: SOT 448023 SOS 258911 HAS SOPS 258911 HAS SOUS 192146 HAS SOUPS 192146 WITH SCORE 192404.911
AT ITER 2068 NEW BEST:: SOT 447953 SOS 258841 HAS SOPS 258841 HAS SOUS 192146 HAS SOUPS 192146 WITH SCORE 192404.841
AT ITER 2072 NEW BEST:: SOT 447650 SOS 258538 HAS SOPS 258538 HAS SOUS 191843 HAS SOUPS 191843 WITH SCORE 192101.538
AT ITER 2074 NEW BEST:: SOT 447529 SOS 258354 HAS SOPS 258354 HAS SOUS 191617 HAS SOUPS 191617 WITH SCORE 191875.354
AT ITER 2082 NEW BEST:: SOT 447353 SOS 257360 HAS SOPS 257360 HAS SOUS 190985 HAS SOUPS 190985 WITH SCORE 191242.36
AT ITER 2083 NEW BEST:: SOT 447309 SOS 257360 HAS SOPS 257360 HAS SOUS 190891 HAS SOUPS 190891 WITH SCORE 191148.36
AT ITER 2089 NEW BEST:: SOT 447331 SOS 257269 HAS SOPS 257269 HAS SOUS 190844 HAS SOUPS 190844 WITH SCORE 191101.269
AT ITER 2097 NEW BEST:: SOT 447201 SOS 257087 HAS SOPS 257087 HAS SOUS 190460 HAS SOUPS 190460 WITH SCORE 190717.087
AT ITER 2104 NEW BEST:: SOT 447147 SOS 256845 HAS SOPS 256845 HAS SOUS 190324 HAS SOUPS 190324 WITH SCORE 190580.845
AT ITER 2114 NEW BEST:: SOT 447143 SOS 256841 HAS SOPS 256841 HAS SOUS 190321 HAS SOUPS 190321 WITH SCORE 190577.841
AT ITER 2115 NEW BEST:: SOT 447143 SOS 257039 HAS SOPS 257039 HAS SOUS 190305 HAS SOUPS 190305 WITH SCORE 190562.039
AT ITER 2124 NEW BEST:: SOT 447124 SOS 257020 HAS SOPS 257020 HAS SOUS 190269 HAS SOUPS 190269 WITH SCORE 190526.02
AT ITER 2128 NEW BEST:: SOT 446920 SOS 256831 HAS SOPS 256831 HAS SOUS 189891 HAS SOUPS 189891 WITH SCORE 190147.831
AT ITER 2131 NEW BEST:: SOT 446839 SOS 256768 HAS SOPS 256768 HAS SOUS 189327 HAS SOUPS 189327 WITH SCORE 189583.768
AT ITER 2133 NEW BEST:: SOT 446839 SOS 256622 HAS SOPS 256622 HAS SOUS 189254 HAS SOUPS 189254 WITH SCORE 189510.622
AT ITER 2139 NEW BEST:: SOT 446830 SOS 256655 HAS SOPS 256655 HAS SOUS 189047 HAS SOUPS 189047 WITH SCORE 189303.655
AT ITER 2140 NEW BEST:: SOT 446830 SOS 256529 HAS SOPS 256529 HAS SOUS 188867 HAS SOUPS 188867 WITH SCORE 189123.529
AT ITER 2146 NEW BEST:: SOT 446644 SOS 256417 HAS SOPS 256417 HAS SOUS 188821 HAS SOUPS 188821 WITH SCORE 189077.417
AT ITER 2151 NEW BEST:: SOT 446636 SOS 256399 HAS SOPS 256399 HAS SOUS 188807 HAS SOUPS 188807 WITH SCORE 189063.399
AT ITER 2164 NEW BEST:: SOT 446576 SOS 256339 HAS SOPS 256339 HAS SOUS 188747 HAS SOUPS 188747 WITH SCORE 189003.339
AT ITER 2165 NEW BEST:: SOT 446588 SOS 256261 HAS SOPS 256261 HAS SOUS 188714 HAS SOUPS 188714 WITH SCORE 188970.261
AT ITER 2167 NEW BEST:: SOT 446054 SOS 255411 HAS SOPS 255411 HAS SOUS 188003 HAS SOUPS 188003 WITH SCORE 188258.411
AT ITER 2171 NEW BEST:: SOT 446054 SOS 255365 HAS SOPS 255365 HAS SOUS 187953 HAS SOUPS 187953 WITH SCORE 188208.365
AT ITER 2173 NEW BEST:: SOT 446047 SOS 255351 HAS SOPS 255351 HAS SOUS 187939 HAS SOUPS 187939 WITH SCORE 188194.351
AT ITER 2175 NEW BEST:: SOT 445883 SOS 255145 HAS SOPS 255145 HAS SOUS 187733 HAS SOUPS 187733 WITH SCORE 187988.145
AT ITER 2179 NEW BEST:: SOT 445883 SOS 255129 HAS SOPS 255129 HAS SOUS 187715 HAS SOUPS 187715 WITH SCORE 187970.129
AT ITER 2183 NEW BEST:: SOT 445890 SOS 255124 HAS SOPS 255124 HAS SOUS 187694 HAS SOUPS 187694 WITH SCORE 187949.124
AT ITER 2194 NEW BEST:: SOT 445888 SOS 255124 HAS SOPS 255124 HAS SOUS 187690 HAS SOUPS 187690 WITH SCORE 187945.124
AT ITER 2205 NEW BEST:: SOT 445888 SOS 255124 HAS SOPS 255124 HAS SOUS 187541 HAS SOUPS 187541 WITH SCORE 187796.124
AT ITER 2214 NEW BEST:: SOT 445759 SOS 255049 HAS SOPS 255049 HAS SOUS 187500 HAS SOUPS 187500 WITH SCORE 187755.049
AT ITER 2223 NEW BEST:: SOT 445723 SOS 255029 HAS SOPS 255029 HAS SOUS 187480 HAS SOUPS 187480 WITH SCORE 187735.029
AT ITER 2224 NEW BEST:: SOT 445662 SOS 254968 HAS SOPS 254968 HAS SOUS 187419 HAS SOUPS 187419 WITH SCORE 187673.968
AT ITER 2228 NEW BEST:: SOT 445654 SOS 254942 HAS SOPS 254942 HAS SOUS 187309 HAS SOUPS 187309 WITH SCORE 187563.942
AT ITER 2252 NEW BEST:: SOT 445383 SOS 254601 HAS SOPS 254601 HAS SOUS 187004 HAS SOUPS 187004 WITH SCORE 187258.601
AT ITER 2254 NEW BEST:: SOT 445265 SOS 254634 HAS SOPS 254634 HAS SOUS 186996 HAS SOUPS 186996 WITH SCORE 187250.634
AT ITER 2256 NEW BEST:: SOT 445237 SOS 254568 HAS SOPS 254568 HAS SOUS 186920 HAS SOUPS 186920 WITH SCORE 187174.568
AT ITER 2260 NEW BEST:: SOT 445277 SOS 254877 HAS SOPS 254877 HAS SOUS 186796 HAS SOUPS 186796 WITH SCORE 187050.877
AT ITER 2266 NEW BEST:: SOT 445271 SOS 254847 HAS SOPS 254847 HAS SOUS 186790 HAS SOUPS 186790 WITH SCORE 187044.847
AT ITER 2274 NEW BEST:: SOT 445271 SOS 254772 HAS SOPS 254772 HAS SOUS 186689 HAS SOUPS 186689 WITH SCORE 186943.772
AT ITER 2275 NEW BEST:: SOT 445399 SOS 254869 HAS SOPS 254869 HAS SOUS 186657 HAS SOUPS 186657 WITH SCORE 186911.869
AT ITER 2277 NEW BEST:: SOT 445371 SOS 254841 HAS SOPS 254841 HAS SOUS 186559 HAS SOUPS 186559 WITH SCORE 186813.841
AT ITER 2283 NEW BEST:: SOT 445257 SOS 254395 HAS SOPS 254395 HAS SOUS 186280 HAS SOUPS 186280 WITH SCORE 186534.395
AT ITER 2284 NEW BEST:: SOT 445043 SOS 253940 HAS SOPS 253940 HAS SOUS 185785 HAS SOUPS 185785 WITH SCORE 186038.94
AT ITER 2285 NEW BEST:: SOT 444980 SOS 253877 HAS SOPS 253877 HAS SOUS 185722 HAS SOUPS 185722 WITH SCORE 185975.877
AT ITER 2296 NEW BEST:: SOT 444808 SOS 253525 HAS SOPS 253525 HAS SOUS 185048 HAS SOUPS 185048 WITH SCORE 185301.525
AT ITER 2302 NEW BEST:: SOT 444654 SOS 252386 HAS SOPS 252386 HAS SOUS 184728 HAS SOUPS 184728 WITH SCORE 184980.386
AT ITER 2303 NEW BEST:: SOT 444542 SOS 252274 HAS SOPS 252274 HAS SOUS 184560 HAS SOUPS 184560 WITH SCORE 184812.274
AT ITER 2306 NEW BEST:: SOT 444251 SOS 251983 HAS SOPS 251983 HAS SOUS 184269 HAS SOUPS 184269 WITH SCORE 184520.983
AT ITER 2309 NEW BEST:: SOT 444008 SOS 251333 HAS SOPS 251333 HAS SOUS 183427 HAS SOUPS 183427 WITH SCORE 183678.333
AT ITER 2315 NEW BEST:: SOT 444008 SOS 251325 HAS SOPS 251325 HAS SOUS 183419 HAS SOUPS 183419 WITH SCORE 183670.325
AT ITER 2325 NEW BEST:: SOT 443676 SOS 250935 HAS SOPS 250935 HAS SOUS 182796 HAS SOUPS 182796 WITH SCORE 183046.935
AT ITER 2328 NEW BEST:: SOT 443612 SOS 250168 HAS SOPS 250168 HAS SOUS 182653 HAS SOUPS 182653 WITH SCORE 182903.168
AT ITER 2331 NEW BEST:: SOT 443462 SOS 249934 HAS SOPS 249934 HAS SOUS 182461 HAS SOUPS 182461 WITH SCORE 182710.934
AT ITER 2333 NEW BEST:: SOT 443462 SOS 249934 HAS SOPS 249934 HAS SOUS 182413 HAS SOUPS 182413 WITH SCORE 182662.934
AT ITER 2344 NEW BEST:: SOT 443314 SOS 249841 HAS SOPS 249841 HAS SOUS 182311 HAS SOUPS 182311 WITH SCORE 182560.841
AT ITER 2347 NEW BEST:: SOT 443354 SOS 249875 HAS SOPS 249875 HAS SOUS 182208 HAS SOUPS 182208 WITH SCORE 182457.875
AT ITER 2352 NEW BEST:: SOT 443354 SOS 249857 HAS SOPS 249857 HAS SOUS 182184 HAS SOUPS 182184 WITH SCORE 182433.857
AT ITER 2354 NEW BEST:: SOT 443272 SOS 249693 HAS SOPS 249693 HAS SOUS 182020 HAS SOUPS 182020 WITH SCORE 182269.693
AT ITER 2366 NEW BEST:: SOT 443124 SOS 249419 HAS SOPS 249419 HAS SOUS 181882 HAS SOUPS 181882 WITH SCORE 182131.419
AT ITER 2372 NEW BEST:: SOT 442976 SOS 249027 HAS SOPS 249027 HAS SOUS 181490 HAS SOUPS 181490 WITH SCORE 181739.027
AT ITER 2376 NEW BEST:: SOT 442965 SOS 249005 HAS SOPS 249005 HAS SOUS 181424 HAS SOUPS 181424 WITH SCORE 181673.005
AT ITER 2386 NEW BEST:: SOT 442778 SOS 248731 HAS SOPS 248731 HAS SOUS 181118 HAS SOUPS 181118 WITH SCORE 181366.731
AT ITER 2413 NEW BEST:: SOT 442724 SOS 248628 HAS SOPS 248628 HAS SOUS 181015 HAS SOUPS 181015 WITH SCORE 181263.628
AT ITER 2414 NEW BEST:: SOT 442798 SOS 248542 HAS SOPS 248542 HAS SOUS 181013 HAS SOUPS 181013 WITH SCORE 181261.542
AT ITER 2415 NEW BEST:: SOT 442687 SOS 247921 HAS SOPS 247921 HAS SOUS 180973 HAS SOUPS 180973 WITH SCORE 181220.921
AT ITER 2420 NEW BEST:: SOT 442407 SOS 247641 HAS SOPS 247641 HAS SOUS 180689 HAS SOUPS 180689 WITH SCORE 180936.641
AT ITER 2423 NEW BEST:: SOT 442387 SOS 247613 HAS SOPS 247613 HAS SOUS 180665 HAS SOUPS 180665 WITH SCORE 180912.613
AT ITER 2427 NEW BEST:: SOT 441684 SOS 246910 HAS SOPS 246910 HAS SOUS 179978 HAS SOUPS 179978 WITH SCORE 180224.91
AT ITER 2428 NEW BEST:: SOT 441668 SOS 246878 HAS SOPS 246878 HAS SOUS 179859 HAS SOUPS 179859 WITH SCORE 180105.878
AT ITER 2439 NEW BEST:: SOT 441645 SOS 246848 HAS SOPS 246848 HAS SOUS 179815 HAS SOUPS 179815 WITH SCORE 180061.848
AT ITER 2446 NEW BEST:: SOT 441645 SOS 246792 HAS SOPS 246792 HAS SOUS 179647 HAS SOUPS 179647 WITH SCORE 179893.792
AT ITER 2450 NEW BEST:: SOT 441645 SOS 246920 HAS SOPS 246920 HAS SOUS 179635 HAS SOUPS 179635 WITH SCORE 179881.92
AT ITER 2453 NEW BEST:: SOT 441654 SOS 246676 HAS SOPS 246676 HAS SOUS 179590 HAS SOUPS 179590 WITH SCORE 179836.676
AT ITER 2461 NEW BEST:: SOT 441541 SOS 245980 HAS SOPS 245980 HAS SOUS 179249 HAS SOUPS 179249 WITH SCORE 179494.98
AT ITER 2468 NEW BEST:: SOT 441529 SOS 245956 HAS SOPS 245956 HAS SOUS 179237 HAS SOUPS 179237 WITH SCORE 179482.956
AT ITER 2473 NEW BEST:: SOT 441273 SOS 245743 HAS SOPS 245743 HAS SOUS 178870 HAS SOUPS 178870 WITH SCORE 179115.743
AT ITER 2474 NEW BEST:: SOT 441273 SOS 245743 HAS SOPS 245743 HAS SOUS 178791 HAS SOUPS 178791 WITH SCORE 179036.743
AT ITER 2476 NEW BEST:: SOT 441138 SOS 245388 HAS SOPS 245388 HAS SOUS 178741 HAS SOUPS 178741 WITH SCORE 178986.388
AT ITER 2477 NEW BEST:: SOT 441138 SOS 245362 HAS SOPS 245362 HAS SOUS 178676 HAS SOUPS 178676 WITH SCORE 178921.362
AT ITER 2491 NEW BEST:: SOT 441110 SOS 245242 HAS SOPS 245242 HAS SOUS 178422 HAS SOUPS 178422 WITH SCORE 178667.242
AT ITER 2497 NEW BEST:: SOT 441123 SOS 245194 HAS SOPS 245194 HAS SOUS 178279 HAS SOUPS 178279 WITH SCORE 178524.194
AT ITER 2498 NEW BEST:: SOT 441164 SOS 245193 HAS SOPS 245193 HAS SOUS 178278 HAS SOUPS 178278 WITH SCORE 178523.193
AT ITER 2512 NEW BEST:: SOT 441082 SOS 245111 HAS SOPS 245111 HAS SOUS 178278 HAS SOUPS 178278 WITH SCORE 178523.111
AT ITER 2519 NEW BEST:: SOT 440962 SOS 244971 HAS SOPS 244971 HAS SOUS 178143 HAS SOUPS 178143 WITH SCORE 178387.971
AT ITER 2525 NEW BEST:: SOT 440901 SOS 244829 HAS SOPS 244829 HAS SOUS 178001 HAS SOUPS 178001 WITH SCORE 178245.829
AT ITER 2529 NEW BEST:: SOT 440840 SOS 244767 HAS SOPS 244767 HAS SOUS 177869 HAS SOUPS 177869 WITH SCORE 178113.767
AT ITER 2532 NEW BEST:: SOT 440871 SOS 244971 HAS SOPS 244971 HAS SOUS 177709 HAS SOUPS 177709 WITH SCORE 177953.971
AT ITER 2541 NEW BEST:: SOT 440804 SOS 244888 HAS SOPS 244888 HAS SOUS 177626 HAS SOUPS 177626 WITH SCORE 177870.888
AT ITER 2552 NEW BEST:: SOT 440653 SOS 245465 HAS SOPS 245465 HAS SOUS 177353 HAS SOUPS 177353 WITH SCORE 177598.465
AT ITER 2556 NEW BEST:: SOT 440653 SOS 245124 HAS SOPS 245124 HAS SOUS 177157 HAS SOUPS 177157 WITH SCORE 177402.124
AT ITER 2564 NEW BEST:: SOT 440610 SOS 245050 HAS SOPS 245050 HAS SOUS 177056 HAS SOUPS 177056 WITH SCORE 177301.05
AT ITER 2568 NEW BEST:: SOT 440572 SOS 245012 HAS SOPS 245012 HAS SOUS 177018 HAS SOUPS 177018 WITH SCORE 177263.012
AT ITER 2573 NEW BEST:: SOT 440384 SOS 244824 HAS SOPS 244824 HAS SOUS 176830 HAS SOUPS 176830 WITH SCORE 177074.824
AT ITER 2580 NEW BEST:: SOT 440009 SOS 243989 HAS SOPS 243989 HAS SOUS 176121 HAS SOUPS 176121 WITH SCORE 176364.989
AT ITER 2582 NEW BEST:: SOT 440001 SOS 244003 HAS SOPS 244003 HAS SOUS 176089 HAS SOUPS 176089 WITH SCORE 176333.003
AT ITER 2595 NEW BEST:: SOT 439998 SOS 243983 HAS SOPS 243983 HAS SOUS 176040 HAS SOUPS 176040 WITH SCORE 176283.983
AT ITER 2602 NEW BEST:: SOT 440180 SOS 244038 HAS SOPS 244038 HAS SOUS 175710 HAS SOUPS 175710 WITH SCORE 175954.038
AT ITER 2604 NEW BEST:: SOT 440013 SOS 243871 HAS SOPS 243871 HAS SOUS 175577 HAS SOUPS 175577 WITH SCORE 175820.871
AT ITER 2623 NEW BEST:: SOT 440013 SOS 243884 HAS SOPS 243884 HAS SOUS 175194 HAS SOUPS 175194 WITH SCORE 175437.884
AT ITER 2625 NEW BEST:: SOT 439752 SOS 242986 HAS SOPS 242986 HAS SOUS 174816 HAS SOUPS 174816 WITH SCORE 175058.986
AT ITER 2626 NEW BEST:: SOT 439841 SOS 243342 HAS SOPS 243342 HAS SOUS 174727 HAS SOUPS 174727 WITH SCORE 174970.342
AT ITER 2631 NEW BEST:: SOT 439656 SOS 243256 HAS SOPS 243256 HAS SOUS 174542 HAS SOUPS 174542 WITH SCORE 174785.256
AT ITER 2681 NEW BEST:: SOT 439275 SOS 241232 HAS SOPS 241232 HAS SOUS 173960 HAS SOUPS 173960 WITH SCORE 174201.232
AT ITER 2697 NEW BEST:: SOT 439203 SOS 241040 HAS SOPS 241040 HAS SOUS 173792 HAS SOUPS 173792 WITH SCORE 174033.04
AT ITER 2702 NEW BEST:: SOT 438957 SOS 240236 HAS SOPS 240236 HAS SOUS 173174 HAS SOUPS 173174 WITH SCORE 173414.236
AT ITER 2703 NEW BEST:: SOT 438953 SOS 240197 HAS SOPS 240197 HAS SOUS 173105 HAS SOUPS 173105 WITH SCORE 173345.197
AT ITER 2721 NEW BEST:: SOT 438937 SOS 240181 HAS SOPS 240181 HAS SOUS 173089 HAS SOUPS 173089 WITH SCORE 173329.181
AT ITER 2727 NEW BEST:: SOT 438960 SOS 240158 HAS SOPS 240158 HAS SOUS 173089 HAS SOUPS 173089 WITH SCORE 173329.158
AT ITER 2730 NEW BEST:: SOT 439070 SOS 240033 HAS SOPS 240033 HAS SOUS 172971 HAS SOUPS 172971 WITH SCORE 173211.033
AT ITER 2736 NEW BEST:: SOT 439016 SOS 239979 HAS SOPS 239979 HAS SOUS 172960 HAS SOUPS 172960 WITH SCORE 173199.979
AT ITER 2741 NEW BEST:: SOT 438590 SOS 239194 HAS SOPS 239194 HAS SOUS 172341 HAS SOUPS 172341 WITH SCORE 172580.194
AT ITER 2747 NEW BEST:: SOT 438576 SOS 239974 HAS SOPS 239974 HAS SOUS 172323 HAS SOUPS 172323 WITH SCORE 172562.974
AT ITER 2751 NEW BEST:: SOT 438538 SOS 239842 HAS SOPS 239842 HAS SOUS 172115 HAS SOUPS 172115 WITH SCORE 172354.842
AT ITER 2759 NEW BEST:: SOT 438550 SOS 239788 HAS SOPS 239788 HAS SOUS 171949 HAS SOUPS 171949 WITH SCORE 172188.788
AT ITER 2760 NEW BEST:: SOT 438091 SOS 239263 HAS SOPS 239263 HAS SOUS 171358 HAS SOUPS 171358 WITH SCORE 171597.263
AT ITER 2764 NEW BEST:: SOT 437963 SOS 239135 HAS SOPS 239135 HAS SOUS 171198 HAS SOUPS 171198 WITH SCORE 171437.135
AT ITER 2765 NEW BEST:: SOT 437963 SOS 239142 HAS SOPS 239142 HAS SOUS 171177 HAS SOUPS 171177 WITH SCORE 171416.142
AT ITER 2769 NEW BEST:: SOT 437749 SOS 237918 HAS SOPS 237918 HAS SOUS 170740 HAS SOUPS 170740 WITH SCORE 170977.918
AT ITER 2771 NEW BEST:: SOT 437801 SOS 237970 HAS SOPS 237970 HAS SOUS 170680 HAS SOUPS 170680 WITH SCORE 170917.97
AT ITER 2777 NEW BEST:: SOT 437716 SOS 237885 HAS SOPS 237885 HAS SOUS 170595 HAS SOUPS 170595 WITH SCORE 170832.885
AT ITER 2780 NEW BEST:: SOT 437639 SOS 237808 HAS SOPS 237808 HAS SOUS 170470 HAS SOUPS 170470 WITH SCORE 170707.808
AT ITER 2782 NEW BEST:: SOT 437639 SOS 237790 HAS SOPS 237790 HAS SOUS 170379 HAS SOUPS 170379 WITH SCORE 170616.79
AT ITER 2783 NEW BEST:: SOT 437814 SOS 238640 HAS SOPS 238640 HAS SOUS 170370 HAS SOUPS 170370 WITH SCORE 170608.64
AT ITER 2785 NEW BEST:: SOT 437734 SOS 238560 HAS SOPS 238560 HAS SOUS 170226 HAS SOUPS 170226 WITH SCORE 170464.56
AT ITER 2788 NEW BEST:: SOT 437749 SOS 238408 HAS SOPS 238408 HAS SOUS 170197 HAS SOUPS 170197 WITH SCORE 170435.408
AT ITER 2789 NEW BEST:: SOT 437909 SOS 238341 HAS SOPS 238341 HAS SOUS 170173 HAS SOUPS 170173 WITH SCORE 170411.341
AT ITER 2801 NEW BEST:: SOT 437762 SOS 238148 HAS SOPS 238148 HAS SOUS 170118 HAS SOUPS 170118 WITH SCORE 170356.148
AT ITER 2828 NEW BEST:: SOT 437792 SOS 238150 HAS SOPS 238150 HAS SOUS 170093 HAS SOUPS 170093 WITH SCORE 170331.15
AT ITER 2829 NEW BEST:: SOT 437998 SOS 238297 HAS SOPS 238297 HAS SOUS 169948 HAS SOUPS 169948 WITH SCORE 170186.297
AT ITER 2834 NEW BEST:: SOT 438022 SOS 238139 HAS SOPS 238139 HAS SOUS 169496 HAS SOUPS 169496 WITH SCORE 169734.139
AT ITER 2844 NEW BEST:: SOT 438006 SOS 238123 HAS SOPS 238123 HAS SOUS 169480 HAS SOUPS 169480 WITH SCORE 169718.123
AT ITER 2845 NEW BEST:: SOT 437969 SOS 238019 HAS SOPS 238019 HAS SOUS 169023 HAS SOUPS 169023 WITH SCORE 169261.019
AT ITER 2857 NEW BEST:: SOT 438010 SOS 238060 HAS SOPS 238060 HAS SOUS 169014 HAS SOUPS 169014 WITH SCORE 169252.06
AT ITER 2858 NEW BEST:: SOT 438346 SOS 238279 HAS SOPS 238279 HAS SOUS 168810 HAS SOUPS 168810 WITH SCORE 169048.279
AT ITER 2860 NEW BEST:: SOT 438378 SOS 238282 HAS SOPS 238282 HAS SOUS 168674 HAS SOUPS 168674 WITH SCORE 168912.282
AT ITER 2863 NEW BEST:: SOT 438272 SOS 236635 HAS SOPS 236635 HAS SOUS 168544 HAS SOUPS 168544 WITH SCORE 168780.635
AT ITER 2871 NEW BEST:: SOT 438272 SOS 236618 HAS SOPS 236618 HAS SOUS 168526 HAS SOUPS 168526 WITH SCORE 168762.618
AT ITER 2885 NEW BEST:: SOT 438281 SOS 237035 HAS SOPS 237035 HAS SOUS 168359 HAS SOUPS 168359 WITH SCORE 168596.035
AT ITER 2886 NEW BEST:: SOT 437945 SOS 236665 HAS SOPS 236665 HAS SOUS 167957 HAS SOUPS 167957 WITH SCORE 168193.665
AT ITER 2890 NEW BEST:: SOT 437929 SOS 236643 HAS SOPS 236643 HAS SOUS 167932 HAS SOUPS 167932 WITH SCORE 168168.643
AT ITER 2893 NEW BEST:: SOT 437100 SOS 235866 HAS SOPS 235866 HAS SOUS 167088 HAS SOUPS 167088 WITH SCORE 167323.866
AT ITER 2909 NEW BEST:: SOT 437088 SOS 235854 HAS SOPS 235854 HAS SOUS 167076 HAS SOUPS 167076 WITH SCORE 167311.854
AT ITER 2912 NEW BEST:: SOT 437079 SOS 236380 HAS SOPS 236380 HAS SOUS 166900 HAS SOUPS 166900 WITH SCORE 167136.38
AT ITER 2914 NEW BEST:: SOT 437294 SOS 235485 HAS SOPS 235485 HAS SOUS 166686 HAS SOUPS 166686 WITH SCORE 166921.485
AT ITER 2916 NEW BEST:: SOT 437301 SOS 235445 HAS SOPS 235445 HAS SOUS 166648 HAS SOUPS 166648 WITH SCORE 166883.445
AT ITER 2919 NEW BEST:: SOT 437126 SOS 235302 HAS SOPS 235302 HAS SOUS 166505 HAS SOUPS 166505 WITH SCORE 166740.302
AT ITER 2928 NEW BEST:: SOT 437096 SOS 235272 HAS SOPS 235272 HAS SOUS 166462 HAS SOUPS 166462 WITH SCORE 166697.272
AT ITER 2933 NEW BEST:: SOT 437087 SOS 235263 HAS SOPS 235263 HAS SOUS 166453 HAS SOUPS 166453 WITH SCORE 166688.263
AT ITER 2934 NEW BEST:: SOT 436999 SOS 235089 HAS SOPS 235089 HAS SOUS 166264 HAS SOUPS 166264 WITH SCORE 166499.089
AT ITER 2935 NEW BEST:: SOT 437133 SOS 235031 HAS SOPS 235031 HAS SOUS 166215 HAS SOUPS 166215 WITH SCORE 166450.031
AT ITER 2946 NEW BEST:: SOT 436948 SOS 234214 HAS SOPS 234214 HAS SOUS 165845 HAS SOUPS 165845 WITH SCORE 166079.214
AT ITER 2956 NEW BEST:: SOT 436943 SOS 234209 HAS SOPS 234209 HAS SOUS 165840 HAS SOUPS 165840 WITH SCORE 166074.209
AT ITER 2958 NEW BEST:: SOT 437030 SOS 234025 HAS SOPS 234025 HAS SOUS 165719 HAS SOUPS 165719 WITH SCORE 165953.025
AT ITER 2965 NEW BEST:: SOT 437008 SOS 233827 HAS SOPS 233827 HAS SOUS 165696 HAS SOUPS 165696 WITH SCORE 165929.827
AT ITER 2974 NEW BEST:: SOT 436962 SOS 233551 HAS SOPS 233551 HAS SOUS 165558 HAS SOUPS 165558 WITH SCORE 165791.551
AT ITER 2982 NEW BEST:: SOT 436937 SOS 233520 HAS SOPS 233520 HAS SOUS 165521 HAS SOUPS 165521 WITH SCORE 165754.52
AT ITER 2985 NEW BEST:: SOT 436950 SOS 233459 HAS SOPS 233459 HAS SOUS 165479 HAS SOUPS 165479 WITH SCORE 165712.459
AT ITER 2992 NEW BEST:: SOT 436942 SOS 233388 HAS SOPS 233388 HAS SOUS 165408 HAS SOUPS 165408 WITH SCORE 165641.388
AT ITER 3000 NEW BEST:: SOT 436876 SOS 233322 HAS SOPS 233322 HAS SOUS 165352 HAS SOUPS 165352 WITH SCORE 165585.322
AT ITER 3006 NEW BEST:: SOT 436783 SOS 233136 HAS SOPS 233136 HAS SOUS 165210 HAS SOUPS 165210 WITH SCORE 165443.136
AT ITER 3011 NEW BEST:: SOT 436756 SOS 233055 HAS SOPS 233055 HAS SOUS 165129 HAS SOUPS 165129 WITH SCORE 165362.055
AT ITER 3018 NEW BEST:: SOT 437035 SOS 232572 HAS SOPS 232572 HAS SOUS 164594 HAS SOUPS 164594 WITH SCORE 164826.572
AT ITER 3022 NEW BEST:: SOT 436991 SOS 231944 HAS SOPS 231944 HAS SOUS 164507 HAS SOUPS 164507 WITH SCORE 164738.944
AT ITER 3025 NEW BEST:: SOT 436956 SOS 231784 HAS SOPS 231784 HAS SOUS 164352 HAS SOUPS 164352 WITH SCORE 164583.784
AT ITER 3052 NEW BEST:: SOT 436889 SOS 231462 HAS SOPS 231462 HAS SOUS 164249 HAS SOUPS 164249 WITH SCORE 164480.462
AT ITER 3055 NEW BEST:: SOT 436601 SOS 230872 HAS SOPS 230872 HAS SOUS 163871 HAS SOUPS 163871 WITH SCORE 164101.872
AT ITER 3057 NEW BEST:: SOT 436563 SOS 230834 HAS SOPS 230834 HAS SOUS 163833 HAS SOUPS 163833 WITH SCORE 164063.834
AT ITER 3075 NEW BEST:: SOT 436453 SOS 230638 HAS SOPS 230638 HAS SOUS 163658 HAS SOUPS 163658 WITH SCORE 163888.638
AT ITER 3086 NEW BEST:: SOT 436475 SOS 230520 HAS SOPS 230520 HAS SOUS 163645 HAS SOUPS 163645 WITH SCORE 163875.52
AT ITER 3094 NEW BEST:: SOT 436318 SOS 230304 HAS SOPS 230304 HAS SOUS 163439 HAS SOUPS 163439 WITH SCORE 163669.304
AT ITER 3100 NEW BEST:: SOT 435776 SOS 229826 HAS SOPS 229826 HAS SOUS 162819 HAS SOUPS 162819 WITH SCORE 163048.826
AT ITER 3110 NEW BEST:: SOT 435622 SOS 229508 HAS SOPS 229508 HAS SOUS 162583 HAS SOUPS 162583 WITH SCORE 162812.508
AT ITER 3111 NEW BEST:: SOT 435627 SOS 229513 HAS SOPS 229513 HAS SOUS 162514 HAS SOUPS 162514 WITH SCORE 162743.513
AT ITER 3115 NEW BEST:: SOT 435628 SOS 229514 HAS SOPS 229514 HAS SOUS 162512 HAS SOUPS 162512 WITH SCORE 162741.514
AT ITER 3116 NEW BEST:: SOT 435531 SOS 229321 HAS SOPS 229321 HAS SOUS 162223 HAS SOUPS 162223 WITH SCORE 162452.321
AT ITER 3120 NEW BEST:: SOT 435531 SOS 229365 HAS SOPS 229365 HAS SOUS 162179 HAS SOUPS 162179 WITH SCORE 162408.365
AT ITER 3121 NEW BEST:: SOT 435357 SOS 229058 HAS SOPS 229058 HAS SOUS 161358 HAS SOUPS 161358 WITH SCORE 161587.058
AT ITER 3157 NEW BEST:: SOT 435085 SOS 228513 HAS SOPS 228513 HAS SOUS 160955 HAS SOUPS 160955 WITH SCORE 161183.513
AT ITER 3163 NEW BEST:: SOT 435085 SOS 228418 HAS SOPS 228418 HAS SOUS 160955 HAS SOUPS 160955 WITH SCORE 161183.418
AT ITER 3164 NEW BEST:: SOT 435085 SOS 228627 HAS SOPS 228627 HAS SOUS 160641 HAS SOUPS 160641 WITH SCORE 160869.627
AT ITER 3167 NEW BEST:: SOT 435085 SOS 228670 HAS SOPS 228670 HAS SOUS 160469 HAS SOUPS 160469 WITH SCORE 160697.67
AT ITER 3168 NEW BEST:: SOT 435085 SOS 228654 HAS SOPS 228654 HAS SOUS 160469 HAS SOUPS 160469 WITH SCORE 160697.654
AT ITER 3173 NEW BEST:: SOT 434650 SOS 228165 HAS SOPS 228165 HAS SOUS 159919 HAS SOUPS 159919 WITH SCORE 160147.165
AT ITER 3209 NEW BEST:: SOT 434704 SOS 228173 HAS SOPS 228173 HAS SOUS 159884 HAS SOUPS 159884 WITH SCORE 160112.173
AT ITER 3214 NEW BEST:: SOT 435038 SOS 228525 HAS SOPS 228525 HAS SOUS 159831 HAS SOUPS 159831 WITH SCORE 160059.525
AT ITER 3225 NEW BEST:: SOT 435091 SOS 228596 HAS SOPS 228596 HAS SOUS 159806 HAS SOUPS 159806 WITH SCORE 160034.596
AT ITER 3229 NEW BEST:: SOT 434962 SOS 228672 HAS SOPS 228672 HAS SOUS 159704 HAS SOUPS 159704 WITH SCORE 159932.672
AT ITER 3231 NEW BEST:: SOT 435013 SOS 228564 HAS SOPS 228564 HAS SOUS 159662 HAS SOUPS 159662 WITH SCORE 159890.564
AT ITER 3238 NEW BEST:: SOT 435004 SOS 228552 HAS SOPS 228552 HAS SOUS 159638 HAS SOUPS 159638 WITH SCORE 159866.552
AT ITER 3248 NEW BEST:: SOT 435004 SOS 228113 HAS SOPS 228113 HAS SOUS 159621 HAS SOUPS 159621 WITH SCORE 159849.113
AT ITER 3255 NEW BEST:: SOT 435004 SOS 228082 HAS SOPS 228082 HAS SOUS 159559 HAS SOUPS 159559 WITH SCORE 159787.082
AT ITER 3266 NEW BEST:: SOT 434840 SOS 227957 HAS SOPS 227957 HAS SOUS 159414 HAS SOUPS 159414 WITH SCORE 159641.957
AT ITER 3271 NEW BEST:: SOT 434812 SOS 228130 HAS SOPS 228130 HAS SOUS 159274 HAS SOUPS 159274 WITH SCORE 159502.13
AT ITER 3273 NEW BEST:: SOT 434684 SOS 228002 HAS SOPS 228002 HAS SOUS 159020 HAS SOUPS 159020 WITH SCORE 159248.002
AT ITER 3275 NEW BEST:: SOT 434650 SOS 227884 HAS SOPS 227884 HAS SOUS 158986 HAS SOUPS 158986 WITH SCORE 159213.884
AT ITER 3278 NEW BEST:: SOT 434649 SOS 227883 HAS SOPS 227883 HAS SOUS 158985 HAS SOUPS 158985 WITH SCORE 159212.883
AT ITER 3281 NEW BEST:: SOT 434569 SOS 227763 HAS SOPS 227763 HAS SOUS 158885 HAS SOUPS 158885 WITH SCORE 159112.763
AT ITER 3310 NEW BEST:: SOT 434784 SOS 227955 HAS SOPS 227955 HAS SOUS 158862 HAS SOUPS 158862 WITH SCORE 159089.955
AT ITER 3313 NEW BEST:: SOT 434550 SOS 227721 HAS SOPS 227721 HAS SOUS 158628 HAS SOUPS 158628 WITH SCORE 158855.721
AT ITER 3321 NEW BEST:: SOT 434027 SOS 227038 HAS SOPS 227038 HAS SOUS 158011 HAS SOUPS 158011 WITH SCORE 158238.038
AT ITER 3363 NEW BEST:: SOT 434027 SOS 227114 HAS SOPS 227114 HAS SOUS 157697 HAS SOUPS 157697 WITH SCORE 157924.114
AT ITER 3367 NEW BEST:: SOT 433992 SOS 227079 HAS SOPS 227079 HAS SOUS 157662 HAS SOUPS 157662 WITH SCORE 157889.079
AT ITER 3370 NEW BEST:: SOT 433996 SOS 227081 HAS SOPS 227081 HAS SOUS 157642 HAS SOUPS 157642 WITH SCORE 157869.081
AT ITER 3380 NEW BEST:: SOT 433894 SOS 226904 HAS SOPS 226904 HAS SOUS 157468 HAS SOUPS 157468 WITH SCORE 157694.904
AT ITER 3391 NEW BEST:: SOT 433894 SOS 226629 HAS SOPS 226629 HAS SOUS 157358 HAS SOUPS 157358 WITH SCORE 157584.629
AT ITER 3404 NEW BEST:: SOT 433812 SOS 226500 HAS SOPS 226500 HAS SOUS 157250 HAS SOUPS 157250 WITH SCORE 157476.5
AT ITER 3405 NEW BEST:: SOT 433838 SOS 225978 HAS SOPS 225978 HAS SOUS 157134 HAS SOUPS 157134 WITH SCORE 157359.978
AT ITER 3421 NEW BEST:: SOT 433838 SOS 225964 HAS SOPS 225964 HAS SOUS 157108 HAS SOUPS 157108 WITH SCORE 157333.964
AT ITER 3427 NEW BEST:: SOT 433838 SOS 225916 HAS SOPS 225916 HAS SOUS 157079 HAS SOUPS 157079 WITH SCORE 157304.916
AT ITER 3437 NEW BEST:: SOT 433925 SOS 225943 HAS SOPS 225943 HAS SOUS 156844 HAS SOUPS 156844 WITH SCORE 157069.943
AT ITER 3439 NEW BEST:: SOT 433888 SOS 225906 HAS SOPS 225906 HAS SOUS 156763 HAS SOUPS 156763 WITH SCORE 156988.906
AT ITER 3441 NEW BEST:: SOT 433904 SOS 225879 HAS SOPS 225879 HAS SOUS 156763 HAS SOUPS 156763 WITH SCORE 156988.879
AT ITER 3453 NEW BEST:: SOT 433749 SOS 225681 HAS SOPS 225681 HAS SOUS 156526 HAS SOUPS 156526 WITH SCORE 156751.681
AT ITER 3458 NEW BEST:: SOT 433680 SOS 225554 HAS SOPS 225554 HAS SOUS 156463 HAS SOUPS 156463 WITH SCORE 156688.554
AT ITER 3459 NEW BEST:: SOT 433599 SOS 225301 HAS SOPS 225301 HAS SOUS 156354 HAS SOUPS 156354 WITH SCORE 156579.301
AT ITER 3461 NEW BEST:: SOT 433522 SOS 225259 HAS SOPS 225259 HAS SOUS 156257 HAS SOUPS 156257 WITH SCORE 156482.259
AT ITER 3473 NEW BEST:: SOT 433259 SOS 224514 HAS SOPS 224514 HAS SOUS 155854 HAS SOUPS 155854 WITH SCORE 156078.514
AT ITER 3476 NEW BEST:: SOT 432955 SOS 224210 HAS SOPS 224210 HAS SOUS 155550 HAS SOUPS 155550 WITH SCORE 155774.21
AT ITER 3481 NEW BEST:: SOT 432797 SOS 223822 HAS SOPS 223822 HAS SOUS 155300 HAS SOUPS 155300 WITH SCORE 155523.822
AT ITER 3489 NEW BEST:: SOT 432928 SOS 224878 HAS SOPS 224878 HAS SOUS 155294 HAS SOUPS 155294 WITH SCORE 155518.878
AT ITER 3501 NEW BEST:: SOT 432914 SOS 224794 HAS SOPS 224794 HAS SOUS 155252 HAS SOUPS 155252 WITH SCORE 155476.794
AT ITER 3505 NEW BEST:: SOT 432624 SOS 224126 HAS SOPS 224126 HAS SOUS 154743 HAS SOUPS 154743 WITH SCORE 154967.126
AT ITER 3522 NEW BEST:: SOT 432580 SOS 224078 HAS SOPS 224078 HAS SOUS 154633 HAS SOUPS 154633 WITH SCORE 154857.078
AT ITER 3543 NEW BEST:: SOT 432351 SOS 223574 HAS SOPS 223574 HAS SOUS 154203 HAS SOUPS 154203 WITH SCORE 154426.574
AT ITER 3546 NEW BEST:: SOT 432586 SOS 223951 HAS SOPS 223951 HAS SOUS 154129 HAS SOUPS 154129 WITH SCORE 154352.951
AT ITER 3552 NEW BEST:: SOT 432583 SOS 223943 HAS SOPS 223943 HAS SOUS 154119 HAS SOUPS 154119 WITH SCORE 154342.943
AT ITER 3553 NEW BEST:: SOT 432396 SOS 223694 HAS SOPS 223694 HAS SOUS 153904 HAS SOUPS 153904 WITH SCORE 154127.694
AT ITER 3558 NEW BEST:: SOT 432298 SOS 223596 HAS SOPS 223596 HAS SOUS 153806 HAS SOUPS 153806 WITH SCORE 154029.596
AT ITER 3567 NEW BEST:: SOT 432086 SOS 223384 HAS SOPS 223384 HAS SOUS 153431 HAS SOUPS 153431 WITH SCORE 153654.384
AT ITER 3574 NEW BEST:: SOT 432086 SOS 222838 HAS SOPS 222838 HAS SOUS 152873 HAS SOUPS 152873 WITH SCORE 153095.838
AT ITER 3582 NEW BEST:: SOT 432018 SOS 222770 HAS SOPS 222770 HAS SOUS 152805 HAS SOUPS 152805 WITH SCORE 153027.77
AT ITER 3585 NEW BEST:: SOT 432010 SOS 222762 HAS SOPS 222762 HAS SOUS 152695 HAS SOUPS 152695 WITH SCORE 152917.762
AT ITER 3595 NEW BEST:: SOT 431808 SOS 222577 HAS SOPS 222577 HAS SOUS 152676 HAS SOUPS 152676 WITH SCORE 152898.577
AT ITER 3606 NEW BEST:: SOT 431728 SOS 222497 HAS SOPS 222497 HAS SOUS 152596 HAS SOUPS 152596 WITH SCORE 152818.497
AT ITER 3608 NEW BEST:: SOT 431698 SOS 222416 HAS SOPS 222416 HAS SOUS 152467 HAS SOUPS 152467 WITH SCORE 152689.416
AT ITER 3615 NEW BEST:: SOT 431746 SOS 222464 HAS SOPS 222464 HAS SOUS 152443 HAS SOUPS 152443 WITH SCORE 152665.464
AT ITER 3617 NEW BEST:: SOT 431734 SOS 222452 HAS SOPS 222452 HAS SOUS 152431 HAS SOUPS 152431 WITH SCORE 152653.452
AT ITER 3621 NEW BEST:: SOT 431444 SOS 222092 HAS SOPS 222092 HAS SOUS 152097 HAS SOUPS 152097 WITH SCORE 152319.092
AT ITER 3624 NEW BEST:: SOT 431565 SOS 222213 HAS SOPS 222213 HAS SOUS 152058 HAS SOUPS 152058 WITH SCORE 152280.213
AT ITER 3644 NEW BEST:: SOT 431246 SOS 220916 HAS SOPS 220916 HAS SOUS 151635 HAS SOUPS 151635 WITH SCORE 151855.916
AT ITER 3661 NEW BEST:: SOT 431024 SOS 220492 HAS SOPS 220492 HAS SOUS 151596 HAS SOUPS 151596 WITH SCORE 151816.492
AT ITER 3684 NEW BEST:: SOT 431094 SOS 220549 HAS SOPS 220549 HAS SOUS 151556 HAS SOUPS 151556 WITH SCORE 151776.549
AT ITER 3686 NEW BEST:: SOT 430975 SOS 219845 HAS SOPS 219845 HAS SOUS 151012 HAS SOUPS 151012 WITH SCORE 151231.845
AT ITER 3692 NEW BEST:: SOT 430536 SOS 219212 HAS SOPS 219212 HAS SOUS 150431 HAS SOUPS 150431 WITH SCORE 150650.212
AT ITER 3696 NEW BEST:: SOT 430536 SOS 219212 HAS SOPS 219212 HAS SOUS 150422 HAS SOUPS 150422 WITH SCORE 150641.212
AT ITER 3698 NEW BEST:: SOT 430536 SOS 219209 HAS SOPS 219209 HAS SOUS 150421 HAS SOUPS 150421 WITH SCORE 150640.209
AT ITER 3724 NEW BEST:: SOT 430468 SOS 218743 HAS SOPS 218743 HAS SOUS 150230 HAS SOUPS 150230 WITH SCORE 150448.743
AT ITER 3729 NEW BEST:: SOT 430430 SOS 218719 HAS SOPS 218719 HAS SOUS 150219 HAS SOUPS 150219 WITH SCORE 150437.719
AT ITER 3734 NEW BEST:: SOT 430304 SOS 218593 HAS SOPS 218593 HAS SOUS 150070 HAS SOUPS 150070 WITH SCORE 150288.593
AT ITER 3739 NEW BEST:: SOT 430199 SOS 218640 HAS SOPS 218640 HAS SOUS 150060 HAS SOUPS 150060 WITH SCORE 150278.64
AT ITER 3746 NEW BEST:: SOT 430191 SOS 218632 HAS SOPS 218632 HAS SOUS 150052 HAS SOUPS 150052 WITH SCORE 150270.632
AT ITER 3753 NEW BEST:: SOT 430136 SOS 218522 HAS SOPS 218522 HAS SOUS 149986 HAS SOUPS 149986 WITH SCORE 150204.522
AT ITER 3765 NEW BEST:: SOT 430136 SOS 218507 HAS SOPS 218507 HAS SOUS 149971 HAS SOUPS 149971 WITH SCORE 150189.507
AT ITER 3780 NEW BEST:: SOT 430123 SOS 218532 HAS SOPS 218532 HAS SOUS 149965 HAS SOUPS 149965 WITH SCORE 150183.532
AT ITER 3803 NEW BEST:: SOT 430123 SOS 218532 HAS SOPS 218532 HAS SOUS 149933 HAS SOUPS 149933 WITH SCORE 150151.532
AT ITER 3814 NEW BEST:: SOT 430032 SOS 217843 HAS SOPS 217843 HAS SOUS 149672 HAS SOUPS 149672 WITH SCORE 149889.843
AT ITER 3820 NEW BEST:: SOT 430032 SOS 217843 HAS SOPS 217843 HAS SOUS 149623 HAS SOUPS 149623 WITH SCORE 149840.843
AT ITER 3823 NEW BEST:: SOT 429998 SOS 217770 HAS SOPS 217770 HAS SOUS 149482 HAS SOUPS 149482 WITH SCORE 149699.77
AT ITER 3834 NEW BEST:: SOT 429875 SOS 217584 HAS SOPS 217584 HAS SOUS 149218 HAS SOUPS 149218 WITH SCORE 149435.584
AT ITER 3836 NEW BEST:: SOT 429761 SOS 217460 HAS SOPS 217460 HAS SOUS 149210 HAS SOUPS 149210 WITH SCORE 149427.46
AT ITER 3856 NEW BEST:: SOT 429753 SOS 217452 HAS SOPS 217452 HAS SOUS 149202 HAS SOUPS 149202 WITH SCORE 149419.452
AT ITER 3859 NEW BEST:: SOT 429656 SOS 217331 HAS SOPS 217331 HAS SOUS 148985 HAS SOUPS 148985 WITH SCORE 149202.331
AT ITER 3863 NEW BEST:: SOT 429656 SOS 216776 HAS SOPS 216776 HAS SOUS 148763 HAS SOUPS 148763 WITH SCORE 148979.776
AT ITER 3878 NEW BEST:: SOT 429635 SOS 216756 HAS SOPS 216756 HAS SOUS 148742 HAS SOUPS 148742 WITH SCORE 148958.756
AT ITER 3879 NEW BEST:: SOT 429635 SOS 216732 HAS SOPS 216732 HAS SOUS 148730 HAS SOUPS 148730 WITH SCORE 148946.732
AT ITER 3888 NEW BEST:: SOT 429679 SOS 216717 HAS SOPS 216717 HAS SOUS 148726 HAS SOUPS 148726 WITH SCORE 148942.717
AT ITER 3897 NEW BEST:: SOT 429679 SOS 216799 HAS SOPS 216799 HAS SOUS 148715 HAS SOUPS 148715 WITH SCORE 148931.799
AT ITER 3905 NEW BEST:: SOT 429557 SOS 216722 HAS SOPS 216722 HAS SOUS 148671 HAS SOUPS 148671 WITH SCORE 148887.722
AT ITER 3916 NEW BEST:: SOT 429772 SOS 217152 HAS SOPS 217152 HAS SOUS 148665 HAS SOUPS 148665 WITH SCORE 148882.152
AT ITER 3922 NEW BEST:: SOT 429761 SOS 217108 HAS SOPS 217108 HAS SOUS 148651 HAS SOUPS 148651 WITH SCORE 148868.108
AT ITER 3923 NEW BEST:: SOT 429570 SOS 216917 HAS SOPS 216917 HAS SOUS 148460 HAS SOUPS 148460 WITH SCORE 148676.917
AT ITER 3937 NEW BEST:: SOT 429284 SOS 216609 HAS SOPS 216609 HAS SOUS 148063 HAS SOUPS 148063 WITH SCORE 148279.609
AT ITER 3938 NEW BEST:: SOT 429254 SOS 216543 HAS SOPS 216543 HAS SOUS 148019 HAS SOUPS 148019 WITH SCORE 148235.543
AT ITER 3955 NEW BEST:: SOT 429166 SOS 216455 HAS SOPS 216455 HAS SOUS 147931 HAS SOUPS 147931 WITH SCORE 148147.455
AT ITER 3960 NEW BEST:: SOT 429076 SOS 216329 HAS SOPS 216329 HAS SOUS 147787 HAS SOUPS 147787 WITH SCORE 148003.329
AT ITER 3964 NEW BEST:: SOT 429076 SOS 216462 HAS SOPS 216462 HAS SOUS 147768 HAS SOUPS 147768 WITH SCORE 147984.462
AT ITER 3972 NEW BEST:: SOT 429110 SOS 215641 HAS SOPS 215641 HAS SOUS 147653 HAS SOUPS 147653 WITH SCORE 147868.641
AT ITER 3979 NEW BEST:: SOT 429092 SOS 215660 HAS SOPS 215660 HAS SOUS 147435 HAS SOUPS 147435 WITH SCORE 147650.66
AT ITER 4004 NEW BEST:: SOT 428925 SOS 215085 HAS SOPS 215085 HAS SOUS 147268 HAS SOUPS 147268 WITH SCORE 147483.085
AT ITER 4009 NEW BEST:: SOT 428925 SOS 214975 HAS SOPS 214975 HAS SOUS 147224 HAS SOUPS 147224 WITH SCORE 147438.975
AT ITER 4012 NEW BEST:: SOT 428815 SOS 214919 HAS SOPS 214919 HAS SOUS 147152 HAS SOUPS 147152 WITH SCORE 147366.919
AT ITER 4016 NEW BEST:: SOT 428980 SOS 214887 HAS SOPS 214887 HAS SOUS 147041 HAS SOUPS 147041 WITH SCORE 147255.887
AT ITER 4036 NEW BEST:: SOT 428152 SOS 213713 HAS SOPS 213713 HAS SOUS 145929 HAS SOUPS 145929 WITH SCORE 146142.713
AT ITER 4037 NEW BEST:: SOT 428152 SOS 213666 HAS SOPS 213666 HAS SOUS 145919 HAS SOUPS 145919 WITH SCORE 146132.666
AT ITER 4041 NEW BEST:: SOT 427983 SOS 213459 HAS SOPS 213459 HAS SOUS 145691 HAS SOUPS 145691 WITH SCORE 145904.459
AT ITER 4050 NEW BEST:: SOT 427878 SOS 212640 HAS SOPS 212640 HAS SOUS 145446 HAS SOUPS 145446 WITH SCORE 145658.64
AT ITER 4052 NEW BEST:: SOT 427856 SOS 212580 HAS SOPS 212580 HAS SOUS 145335 HAS SOUPS 145335 WITH SCORE 145547.58
AT ITER 4054 NEW BEST:: SOT 427826 SOS 212530 HAS SOPS 212530 HAS SOUS 145275 HAS SOUPS 145275 WITH SCORE 145487.53
AT ITER 4055 NEW BEST:: SOT 427826 SOS 212478 HAS SOPS 212478 HAS SOUS 145273 HAS SOUPS 145273 WITH SCORE 145485.478
AT ITER 4059 NEW BEST:: SOT 427826 SOS 212284 HAS SOPS 212284 HAS SOUS 145097 HAS SOUPS 145097 WITH SCORE 145309.284
AT ITER 4065 NEW BEST:: SOT 427810 SOS 212252 HAS SOPS 212252 HAS SOUS 145043 HAS SOUPS 145043 WITH SCORE 145255.252
AT ITER 4081 NEW BEST:: SOT 427775 SOS 212077 HAS SOPS 212077 HAS SOUS 145000 HAS SOUPS 145000 WITH SCORE 145212.077
AT ITER 4092 NEW BEST:: SOT 427766 SOS 212041 HAS SOPS 212041 HAS SOUS 144982 HAS SOUPS 144982 WITH SCORE 145194.041
AT ITER 4099 NEW BEST:: SOT 427794 SOS 212069 HAS SOPS 212069 HAS SOUS 144981 HAS SOUPS 144981 WITH SCORE 145193.069
AT ITER 4100 NEW BEST:: SOT 427769 SOS 211969 HAS SOPS 211969 HAS SOUS 144931 HAS SOUPS 144931 WITH SCORE 145142.969
AT ITER 4111 NEW BEST:: SOT 427672 SOS 211961 HAS SOPS 211961 HAS SOUS 144849 HAS SOUPS 144849 WITH SCORE 145060.961
AT ITER 4141 NEW BEST:: SOT 427612 SOS 211883 HAS SOPS 211883 HAS SOUS 144763 HAS SOUPS 144763 WITH SCORE 144974.883
AT ITER 4161 NEW BEST:: SOT 427422 SOS 211678 HAS SOPS 211678 HAS SOUS 144534 HAS SOUPS 144534 WITH SCORE 144745.678
AT ITER 4165 NEW BEST:: SOT 427173 SOS 211486 HAS SOPS 211486 HAS SOUS 144340 HAS SOUPS 144340 WITH SCORE 144551.486
AT ITER 4168 NEW BEST:: SOT 427173 SOS 211482 HAS SOPS 211482 HAS SOUS 144340 HAS SOUPS 144340 WITH SCORE 144551.482
AT ITER 4199 NEW BEST:: SOT 426892 SOS 210643 HAS SOPS 210643 HAS SOUS 144236 HAS SOUPS 144236 WITH SCORE 144446.643
AT ITER 4201 NEW BEST:: SOT 426495 SOS 210246 HAS SOPS 210246 HAS SOUS 144024 HAS SOUPS 144024 WITH SCORE 144234.246
AT ITER 4203 NEW BEST:: SOT 426495 SOS 210095 HAS SOPS 210095 HAS SOUS 143914 HAS SOUPS 143914 WITH SCORE 144124.095
AT ITER 4213 NEW BEST:: SOT 426557 SOS 209133 HAS SOPS 209133 HAS SOUS 143449 HAS SOUPS 143449 WITH SCORE 143658.133
AT ITER 4236 NEW BEST:: SOT 426557 SOS 209041 HAS SOPS 209041 HAS SOUS 143429 HAS SOUPS 143429 WITH SCORE 143638.041
AT ITER 4245 NEW BEST:: SOT 426557 SOS 208726 HAS SOPS 208726 HAS SOUS 143303 HAS SOUPS 143303 WITH SCORE 143511.726
AT ITER 4248 NEW BEST:: SOT 426816 SOS 207369 HAS SOPS 207369 HAS SOUS 143256 HAS SOUPS 143256 WITH SCORE 143463.369
AT ITER 4310 NEW BEST:: SOT 426774 SOS 207251 HAS SOPS 207251 HAS SOUS 143241 HAS SOUPS 143241 WITH SCORE 143448.251
AT ITER 4314 NEW BEST:: SOT 426692 SOS 207128 HAS SOPS 207128 HAS SOUS 143241 HAS SOUPS 143241 WITH SCORE 143448.128
AT ITER 4318 NEW BEST:: SOT 426608 SOS 207022 HAS SOPS 207022 HAS SOUS 143129 HAS SOUPS 143129 WITH SCORE 143336.022
AT ITER 4320 NEW BEST:: SOT 426584 SOS 206980 HAS SOPS 206980 HAS SOUS 143093 HAS SOUPS 143093 WITH SCORE 143299.98
AT ITER 4321 NEW BEST:: SOT 426503 SOS 206899 HAS SOPS 206899 HAS SOUS 143012 HAS SOUPS 143012 WITH SCORE 143218.899
AT ITER 4328 NEW BEST:: SOT 426461 SOS 206818 HAS SOPS 206818 HAS SOUS 142939 HAS SOUPS 142939 WITH SCORE 143145.818
AT ITER 4341 NEW BEST:: SOT 426470 SOS 206809 HAS SOPS 206809 HAS SOUS 142930 HAS SOUPS 142930 WITH SCORE 143136.809
AT ITER 4343 NEW BEST:: SOT 426509 SOS 206788 HAS SOPS 206788 HAS SOUS 142669 HAS SOUPS 142669 WITH SCORE 142875.788
AT ITER 4345 NEW BEST:: SOT 426477 SOS 206796 HAS SOPS 206796 HAS SOUS 142663 HAS SOUPS 142663 WITH SCORE 142869.796
AT ITER 4348 NEW BEST:: SOT 426477 SOS 206942 HAS SOPS 206942 HAS SOUS 142533 HAS SOUPS 142533 WITH SCORE 142739.942
AT ITER 4373 NEW BEST:: SOT 426383 SOS 206645 HAS SOPS 206645 HAS SOUS 142375 HAS SOUPS 142375 WITH SCORE 142581.645
AT ITER 4401 NEW BEST:: SOT 425653 SOS 205915 HAS SOPS 205915 HAS SOUS 141645 HAS SOUPS 141645 WITH SCORE 141850.915
AT ITER 4406 NEW BEST:: SOT 425671 SOS 205831 HAS SOPS 205831 HAS SOUS 141598 HAS SOUPS 141598 WITH SCORE 141803.831
AT ITER 4411 NEW BEST:: SOT 425580 SOS 205729 HAS SOPS 205729 HAS SOUS 141057 HAS SOUPS 141057 WITH SCORE 141262.729
AT ITER 4432 NEW BEST:: SOT 425614 SOS 205601 HAS SOPS 205601 HAS SOUS 140978 HAS SOUPS 140978 WITH SCORE 141183.601
AT ITER 4436 NEW BEST:: SOT 425586 SOS 205573 HAS SOPS 205573 HAS SOUS 140943 HAS SOUPS 140943 WITH SCORE 141148.573
AT ITER 4441 NEW BEST:: SOT 425586 SOS 205543 HAS SOPS 205543 HAS SOUS 140928 HAS SOUPS 140928 WITH SCORE 141133.543
AT ITER 4453 NEW BEST:: SOT 425416 SOS 205006 HAS SOPS 205006 HAS SOUS 140835 HAS SOUPS 140835 WITH SCORE 141040.006
AT ITER 4454 NEW BEST:: SOT 425306 SOS 204876 HAS SOPS 204876 HAS SOUS 140703 HAS SOUPS 140703 WITH SCORE 140907.876
AT ITER 4461 NEW BEST:: SOT 425330 SOS 204870 HAS SOPS 204870 HAS SOUS 140697 HAS SOUPS 140697 WITH SCORE 140901.87
AT ITER 4470 NEW BEST:: SOT 425298 SOS 204833 HAS SOPS 204833 HAS SOUS 140635 HAS SOUPS 140635 WITH SCORE 140839.833
AT ITER 4477 NEW BEST:: SOT 425243 SOS 204843 HAS SOPS 204843 HAS SOUS 140620 HAS SOUPS 140620 WITH SCORE 140824.843
AT ITER 4504 NEW BEST:: SOT 425249 SOS 204814 HAS SOPS 204814 HAS SOUS 140532 HAS SOUPS 140532 WITH SCORE 140736.814
AT ITER 4505 NEW BEST:: SOT 425211 SOS 204776 HAS SOPS 204776 HAS SOUS 140494 HAS SOUPS 140494 WITH SCORE 140698.776
AT ITER 4515 NEW BEST:: SOT 425042 SOS 204607 HAS SOPS 204607 HAS SOUS 140349 HAS SOUPS 140349 WITH SCORE 140553.607
AT ITER 4519 NEW BEST:: SOT 424978 SOS 204751 HAS SOPS 204751 HAS SOUS 139968 HAS SOUPS 139968 WITH SCORE 140172.751
AT ITER 4539 NEW BEST:: SOT 425038 SOS 204644 HAS SOPS 204644 HAS SOUS 139920 HAS SOUPS 139920 WITH SCORE 140124.644
AT ITER 4540 NEW BEST:: SOT 424903 SOS 204585 HAS SOPS 204585 HAS SOUS 139626 HAS SOUPS 139626 WITH SCORE 139830.585
AT ITER 4564 NEW BEST:: SOT 424859 SOS 204513 HAS SOPS 204513 HAS SOUS 139619 HAS SOUPS 139619 WITH SCORE 139823.513
AT ITER 4578 NEW BEST:: SOT 424799 SOS 204418 HAS SOPS 204418 HAS SOUS 139549 HAS SOUPS 139549 WITH SCORE 139753.418
AT ITER 4582 NEW BEST:: SOT 424847 SOS 204411 HAS SOPS 204411 HAS SOUS 139518 HAS SOUPS 139518 WITH SCORE 139722.411
AT ITER 4594 NEW BEST:: SOT 424828 SOS 204276 HAS SOPS 204276 HAS SOUS 139452 HAS SOUPS 139452 WITH SCORE 139656.276
AT ITER 4614 NEW BEST:: SOT 424769 SOS 204284 HAS SOPS 204284 HAS SOUS 139393 HAS SOUPS 139393 WITH SCORE 139597.284
AT ITER 4631 NEW BEST:: SOT 424524 SOS 203823 HAS SOPS 203823 HAS SOUS 138828 HAS SOUPS 138828 WITH SCORE 139031.823
AT ITER 4633 NEW BEST:: SOT 424496 SOS 203791 HAS SOPS 203791 HAS SOUS 138796 HAS SOUPS 138796 WITH SCORE 138999.791
AT ITER 4709 NEW BEST:: SOT 424231 SOS 203655 HAS SOPS 203655 HAS SOUS 138637 HAS SOUPS 138637 WITH SCORE 138840.655
AT ITER 4729 NEW BEST:: SOT 423858 SOS 203139 HAS SOPS 203139 HAS SOUS 138266 HAS SOUPS 138266 WITH SCORE 138469.139
AT ITER 4738 NEW BEST:: SOT 423743 SOS 203024 HAS SOPS 203024 HAS SOUS 138151 HAS SOUPS 138151 WITH SCORE 138354.024
AT ITER 4744 NEW BEST:: SOT 423742 SOS 203023 HAS SOPS 203023 HAS SOUS 138096 HAS SOUPS 138096 WITH SCORE 138299.023
AT ITER 4755 NEW BEST:: SOT 424348 SOS 203269 HAS SOPS 203269 HAS SOUS 138050 HAS SOUPS 138050 WITH SCORE 138253.269
AT ITER 4757 NEW BEST:: SOT 424333 SOS 203214 HAS SOPS 203214 HAS SOUS 138022 HAS SOUPS 138022 WITH SCORE 138225.214
AT ITER 4758 NEW BEST:: SOT 424158 SOS 202841 HAS SOPS 202841 HAS SOUS 137704 HAS SOUPS 137704 WITH SCORE 137906.841
AT ITER 4760 NEW BEST:: SOT 424249 SOS 202659 HAS SOPS 202659 HAS SOUS 137669 HAS SOUPS 137669 WITH SCORE 137871.659
AT ITER 4773 NEW BEST:: SOT 424243 SOS 202670 HAS SOPS 202670 HAS SOUS 137639 HAS SOUPS 137639 WITH SCORE 137841.67
AT ITER 4781 NEW BEST:: SOT 423996 SOS 202069 HAS SOPS 202069 HAS SOUS 136969 HAS SOUPS 136969 WITH SCORE 137171.069
AT ITER 4799 NEW BEST:: SOT 424024 SOS 202125 HAS SOPS 202125 HAS SOUS 136953 HAS SOUPS 136953 WITH SCORE 137155.125
AT ITER 4821 NEW BEST:: SOT 424006 SOS 202086 HAS SOPS 202086 HAS SOUS 136924 HAS SOUPS 136924 WITH SCORE 137126.086
AT ITER 4827 NEW BEST:: SOT 423984 SOS 201918 HAS SOPS 201918 HAS SOUS 136756 HAS SOUPS 136756 WITH SCORE 136957.918
AT ITER 4830 NEW BEST:: SOT 423859 SOS 201793 HAS SOPS 201793 HAS SOUS 136631 HAS SOUPS 136631 WITH SCORE 136832.793
AT ITER 4842 NEW BEST:: SOT 423855 SOS 201783 HAS SOPS 201783 HAS SOUS 136627 HAS SOUPS 136627 WITH SCORE 136828.783
AT ITER 4866 NEW BEST:: SOT 423666 SOS 201604 HAS SOPS 201604 HAS SOUS 136128 HAS SOUPS 136128 WITH SCORE 136329.604
AT ITER 4872 NEW BEST:: SOT 423677 SOS 201626 HAS SOPS 201626 HAS SOUS 136117 HAS SOUPS 136117 WITH SCORE 136318.626
AT ITER 4873 NEW BEST:: SOT 423677 SOS 201564 HAS SOPS 201564 HAS SOUS 136105 HAS SOUPS 136105 WITH SCORE 136306.564
AT ITER 4880 NEW BEST:: SOT 423677 SOS 201536 HAS SOPS 201536 HAS SOUS 136049 HAS SOUPS 136049 WITH SCORE 136250.536
AT ITER 4896 NEW BEST:: SOT 423549 SOS 201227 HAS SOPS 201227 HAS SOUS 135393 HAS SOUPS 135393 WITH SCORE 135594.227
AT ITER 4915 NEW BEST:: SOT 423524 SOS 201214 HAS SOPS 201214 HAS SOUS 135374 HAS SOUPS 135374 WITH SCORE 135575.214
AT ITER 4917 NEW BEST:: SOT 423468 SOS 201028 HAS SOPS 201028 HAS SOUS 135288 HAS SOUPS 135288 WITH SCORE 135489.028
AT ITER 4922 NEW BEST:: SOT 423314 SOS 200874 HAS SOPS 200874 HAS SOUS 135071 HAS SOUPS 135071 WITH SCORE 135271.874
AT ITER 4930 NEW BEST:: SOT 423272 SOS 200832 HAS SOPS 200832 HAS SOUS 135040 HAS SOUPS 135040 WITH SCORE 135240.832
AT ITER 4939 NEW BEST:: SOT 423264 SOS 200800 HAS SOPS 200800 HAS SOUS 135024 HAS SOUPS 135024 WITH SCORE 135224.8
AT ITER 4940 NEW BEST:: SOT 423260 SOS 200782 HAS SOPS 200782 HAS SOUS 135008 HAS SOUPS 135008 WITH SCORE 135208.782
AT ITER 4945 NEW BEST:: SOT 423296 SOS 200609 HAS SOPS 200609 HAS SOUS 134903 HAS SOUPS 134903 WITH SCORE 135103.609
AT ITER 4969 NEW BEST:: SOT 423281 SOS 200660 HAS SOPS 200660 HAS SOUS 134857 HAS SOUPS 134857 WITH SCORE 135057.66
AT ITER 4970 NEW BEST:: SOT 423233 SOS 200612 HAS SOPS 200612 HAS SOUS 134831 HAS SOUPS 134831 WITH SCORE 135031.612
AT ITER 4971 NEW BEST:: SOT 423214 SOS 200600 HAS SOPS 200600 HAS SOUS 134819 HAS SOUPS 134819 WITH SCORE 135019.6
AT ITER 4978 NEW BEST:: SOT 423174 SOS 200560 HAS SOPS 200560 HAS SOUS 134779 HAS SOUPS 134779 WITH SCORE 134979.56
AT ITER 4981 NEW BEST:: SOT 423174 SOS 200692 HAS SOPS 200692 HAS SOUS 134600 HAS SOUPS 134600 WITH SCORE 134800.692
AT ITER 4993 NEW BEST:: SOT 423169 SOS 200687 HAS SOPS 200687 HAS SOUS 134575 HAS SOUPS 134575 WITH SCORE 134775.687
AT ITER 4995 NEW BEST:: SOT 423161 SOS 200679 HAS SOPS 200679 HAS SOUS 134567 HAS SOUPS 134567 WITH SCORE 134767.679
AT ITER 4998 NEW BEST:: SOT 423151 SOS 200598 HAS SOPS 200598 HAS SOUS 134350 HAS SOUPS 134350 WITH SCORE 134550.598
AT ITER 5003 NEW BEST:: SOT 422970 SOS 200407 HAS SOPS 200407 HAS SOUS 134225 HAS SOUPS 134225 WITH SCORE 134425.407
AT ITER 5014 NEW BEST:: SOT 422948 SOS 200331 HAS SOPS 200331 HAS SOUS 134159 HAS SOUPS 134159 WITH SCORE 134359.331
AT ITER 5017 NEW BEST:: SOT 422861 SOS 199985 HAS SOPS 199985 HAS SOUS 133977 HAS SOUPS 133977 WITH SCORE 134176.985
AT ITER 5025 NEW BEST:: SOT 422780 SOS 200251 HAS SOPS 200251 HAS SOUS 133966 HAS SOUPS 133966 WITH SCORE 134166.251
AT ITER 5033 NEW BEST:: SOT 422839 SOS 200025 HAS SOPS 200025 HAS SOUS 133737 HAS SOUPS 133737 WITH SCORE 133937.025
AT ITER 5034 NEW BEST:: SOT 422769 SOS 199800 HAS SOPS 199800 HAS SOUS 133434 HAS SOUPS 133434 WITH SCORE 133633.8
AT ITER 5052 NEW BEST:: SOT 422204 SOS 199174 HAS SOPS 199174 HAS SOUS 132518 HAS SOUPS 132518 WITH SCORE 132717.174
AT ITER 5064 NEW BEST:: SOT 422204 SOS 199094 HAS SOPS 199094 HAS SOUS 132498 HAS SOUPS 132498 WITH SCORE 132697.094
AT ITER 5077 NEW BEST:: SOT 422200 SOS 199077 HAS SOPS 199077 HAS SOUS 132427 HAS SOUPS 132427 WITH SCORE 132626.077
AT ITER 5087 NEW BEST:: SOT 422137 SOS 199014 HAS SOPS 199014 HAS SOUS 132357 HAS SOUPS 132357 WITH SCORE 132556.014
AT ITER 5103 NEW BEST:: SOT 422125 SOS 199002 HAS SOPS 199002 HAS SOUS 132346 HAS SOUPS 132346 WITH SCORE 132545.002
AT ITER 5116 NEW BEST:: SOT 421927 SOS 198793 HAS SOPS 198793 HAS SOUS 132165 HAS SOUPS 132165 WITH SCORE 132363.793
AT ITER 5121 NEW BEST:: SOT 421927 SOS 198768 HAS SOPS 198768 HAS SOUS 132165 HAS SOUPS 132165 WITH SCORE 132363.768
AT ITER 5133 NEW BEST:: SOT 421887 SOS 198657 HAS SOPS 198657 HAS SOUS 132065 HAS SOUPS 132065 WITH SCORE 132263.657
AT ITER 5138 NEW BEST:: SOT 421886 SOS 198655 HAS SOPS 198655 HAS SOUS 132060 HAS SOUPS 132060 WITH SCORE 132258.655
AT ITER 5164 NEW BEST:: SOT 421894 SOS 198639 HAS SOPS 198639 HAS SOUS 131908 HAS SOUPS 131908 WITH SCORE 132106.639
AT ITER 5168 NEW BEST:: SOT 421894 SOS 198622 HAS SOPS 198622 HAS SOUS 131838 HAS SOUPS 131838 WITH SCORE 132036.622
AT ITER 5199 NEW BEST:: SOT 421908 SOS 198636 HAS SOPS 198636 HAS SOUS 131832 HAS SOUPS 131832 WITH SCORE 132030.636
AT ITER 5221 NEW BEST:: SOT 421908 SOS 198541 HAS SOPS 198541 HAS SOUS 131832 HAS SOUPS 131832 WITH SCORE 132030.541
AT ITER 5225 NEW BEST:: SOT 421842 SOS 198475 HAS SOPS 198475 HAS SOUS 131733 HAS SOUPS 131733 WITH SCORE 131931.475
AT ITER 5238 NEW BEST:: SOT 421779 SOS 198426 HAS SOPS 198426 HAS SOUS 131692 HAS SOUPS 131692 WITH SCORE 131890.426
AT ITER 5256 NEW BEST:: SOT 421730 SOS 197904 HAS SOPS 197904 HAS SOUS 131480 HAS SOUPS 131480 WITH SCORE 131677.904
AT ITER 5292 NEW BEST:: SOT 421732 SOS 198078 HAS SOPS 198078 HAS SOUS 131440 HAS SOUPS 131440 WITH SCORE 131638.078
AT ITER 5308 NEW BEST:: SOT 421596 SOS 197866 HAS SOPS 197866 HAS SOUS 131434 HAS SOUPS 131434 WITH SCORE 131631.866
AT ITER 5314 NEW BEST:: SOT 421596 SOS 197798 HAS SOPS 197798 HAS SOUS 131374 HAS SOUPS 131374 WITH SCORE 131571.798
AT ITER 5323 NEW BEST:: SOT 421498 SOS 197700 HAS SOPS 197700 HAS SOUS 131272 HAS SOUPS 131272 WITH SCORE 131469.7
AT ITER 5333 NEW BEST:: SOT 421498 SOS 197609 HAS SOPS 197609 HAS SOUS 131265 HAS SOUPS 131265 WITH SCORE 131462.609
AT ITER 5340 NEW BEST:: SOT 421471 SOS 197573 HAS SOPS 197573 HAS SOUS 131229 HAS SOUPS 131229 WITH SCORE 131426.573
AT ITER 5346 NEW BEST:: SOT 421655 SOS 196993 HAS SOPS 196993 HAS SOUS 131111 HAS SOUPS 131111 WITH SCORE 131307.993
AT ITER 5383 NEW BEST:: SOT 421610 SOS 196866 HAS SOPS 196866 HAS SOUS 130997 HAS SOUPS 130997 WITH SCORE 131193.866
AT ITER 5402 NEW BEST:: SOT 421574 SOS 196640 HAS SOPS 196640 HAS SOUS 130902 HAS SOUPS 130902 WITH SCORE 131098.64
AT ITER 5411 NEW BEST:: SOT 421496 SOS 196578 HAS SOPS 196578 HAS SOUS 130833 HAS SOUPS 130833 WITH SCORE 131029.578
AT ITER 5431 NEW BEST:: SOT 421484 SOS 196554 HAS SOPS 196554 HAS SOUS 130758 HAS SOUPS 130758 WITH SCORE 130954.554
AT ITER 5435 NEW BEST:: SOT 421484 SOS 196558 HAS SOPS 196558 HAS SOUS 130617 HAS SOUPS 130617 WITH SCORE 130813.558
AT ITER 5441 NEW BEST:: SOT 421163 SOS 196237 HAS SOPS 196237 HAS SOUS 130186 HAS SOUPS 130186 WITH SCORE 130382.237
AT ITER 5447 NEW BEST:: SOT 421103 SOS 196177 HAS SOPS 196177 HAS SOUS 130167 HAS SOUPS 130167 WITH SCORE 130363.177
AT ITER 5457 NEW BEST:: SOT 421065 SOS 196068 HAS SOPS 196068 HAS SOUS 130096 HAS SOUPS 130096 WITH SCORE 130292.068
AT ITER 5464 NEW BEST:: SOT 421065 SOS 196103 HAS SOPS 196103 HAS SOUS 130094 HAS SOUPS 130094 WITH SCORE 130290.103
AT ITER 5485 NEW BEST:: SOT 421065 SOS 196090 HAS SOPS 196090 HAS SOUS 130053 HAS SOUPS 130053 WITH SCORE 130249.09
AT ITER 5491 NEW BEST:: SOT 421065 SOS 196076 HAS SOPS 196076 HAS SOUS 130046 HAS SOUPS 130046 WITH SCORE 130242.076
AT ITER 5498 NEW BEST:: SOT 421114 SOS 196057 HAS SOPS 196057 HAS SOUS 129971 HAS SOUPS 129971 WITH SCORE 130167.057
AT ITER 5530 NEW BEST:: SOT 421021 SOS 195922 HAS SOPS 195922 HAS SOUS 129852 HAS SOUPS 129852 WITH SCORE 130047.922
AT ITER 5531 NEW BEST:: SOT 420953 SOS 195820 HAS SOPS 195820 HAS SOUS 129750 HAS SOUPS 129750 WITH SCORE 129945.82
AT ITER 5533 NEW BEST:: SOT 420917 SOS 195716 HAS SOPS 195716 HAS SOUS 129714 HAS SOUPS 129714 WITH SCORE 129909.716
AT ITER 5534 NEW BEST:: SOT 420513 SOS 195263 HAS SOPS 195263 HAS SOUS 129261 HAS SOUPS 129261 WITH SCORE 129456.263
AT ITER 5537 NEW BEST:: SOT 420770 SOS 194960 HAS SOPS 194960 HAS SOUS 129240 HAS SOUPS 129240 WITH SCORE 129434.96
AT ITER 5549 NEW BEST:: SOT 420804 SOS 195000 HAS SOPS 195000 HAS SOUS 129232 HAS SOUPS 129232 WITH SCORE 129427.0
AT ITER 5553 NEW BEST:: SOT 420699 SOS 194652 HAS SOPS 194652 HAS SOUS 129104 HAS SOUPS 129104 WITH SCORE 129298.652
AT ITER 5564 NEW BEST:: SOT 420594 SOS 194547 HAS SOPS 194547 HAS SOUS 128996 HAS SOUPS 128996 WITH SCORE 129190.547
AT ITER 5576 NEW BEST:: SOT 420510 SOS 194463 HAS SOPS 194463 HAS SOUS 128898 HAS SOUPS 128898 WITH SCORE 129092.463
AT ITER 5585 NEW BEST:: SOT 420463 SOS 194442 HAS SOPS 194442 HAS SOUS 128869 HAS SOUPS 128869 WITH SCORE 129063.442
AT ITER 5588 NEW BEST:: SOT 420463 SOS 194028 HAS SOPS 194028 HAS SOUS 128518 HAS SOUPS 128518 WITH SCORE 128712.028
AT ITER 5596 NEW BEST:: SOT 420426 SOS 194002 HAS SOPS 194002 HAS SOUS 128342 HAS SOUPS 128342 WITH SCORE 128536.002
AT ITER 5633 NEW BEST:: SOT 420430 SOS 193948 HAS SOPS 193948 HAS SOUS 128324 HAS SOUPS 128324 WITH SCORE 128517.948
AT ITER 5638 NEW BEST:: SOT 420046 SOS 192507 HAS SOPS 192507 HAS SOUS 127919 HAS SOUPS 127919 WITH SCORE 128111.507
AT ITER 5644 NEW BEST:: SOT 420046 SOS 192438 HAS SOPS 192438 HAS SOUS 127873 HAS SOUPS 127873 WITH SCORE 128065.438
AT ITER 5649 NEW BEST:: SOT 419906 SOS 192298 HAS SOPS 192298 HAS SOUS 127683 HAS SOUPS 127683 WITH SCORE 127875.298
AT ITER 5659 NEW BEST:: SOT 419846 SOS 192227 HAS SOPS 192227 HAS SOUS 127588 HAS SOUPS 127588 WITH SCORE 127780.227
AT ITER 5679 NEW BEST:: SOT 419832 SOS 192153 HAS SOPS 192153 HAS SOUS 127556 HAS SOUPS 127556 WITH SCORE 127748.153
AT ITER 5693 NEW BEST:: SOT 419817 SOS 191827 HAS SOPS 191827 HAS SOUS 127522 HAS SOUPS 127522 WITH SCORE 127713.827
AT ITER 5705 NEW BEST:: SOT 419774 SOS 191739 HAS SOPS 191739 HAS SOUS 127436 HAS SOUPS 127436 WITH SCORE 127627.739
AT ITER 5709 NEW BEST:: SOT 419474 SOS 191439 HAS SOPS 191439 HAS SOUS 127225 HAS SOUPS 127225 WITH SCORE 127416.439
AT ITER 5717 NEW BEST:: SOT 419227 SOS 190940 HAS SOPS 190940 HAS SOUS 126731 HAS SOUPS 126731 WITH SCORE 126921.94
AT ITER 5729 NEW BEST:: SOT 419110 SOS 189708 HAS SOPS 189708 HAS SOUS 126435 HAS SOUPS 126435 WITH SCORE 126624.708
AT ITER 5730 NEW BEST:: SOT 419168 SOS 189343 HAS SOPS 189343 HAS SOUS 126292 HAS SOUPS 126292 WITH SCORE 126481.343
AT ITER 5737 NEW BEST:: SOT 419168 SOS 189320 HAS SOPS 189320 HAS SOUS 126076 HAS SOUPS 126076 WITH SCORE 126265.32
AT ITER 5741 NEW BEST:: SOT 419150 SOS 189302 HAS SOPS 189302 HAS SOUS 126058 HAS SOUPS 126058 WITH SCORE 126247.302
AT ITER 5758 NEW BEST:: SOT 419158 SOS 189278 HAS SOPS 189278 HAS SOUS 126050 HAS SOUPS 126050 WITH SCORE 126239.278
AT ITER 5770 NEW BEST:: SOT 419158 SOS 189270 HAS SOPS 189270 HAS SOUS 126010 HAS SOUPS 126010 WITH SCORE 126199.27
AT ITER 5792 NEW BEST:: SOT 419316 SOS 189295 HAS SOPS 189295 HAS SOUS 125990 HAS SOUPS 125990 WITH SCORE 126179.295
AT ITER 5799 NEW BEST:: SOT 419316 SOS 189109 HAS SOPS 189109 HAS SOUS 125959 HAS SOUPS 125959 WITH SCORE 126148.109
AT ITER 5803 NEW BEST:: SOT 419104 SOS 188029 HAS SOPS 188029 HAS SOUS 125842 HAS SOUPS 125842 WITH SCORE 126030.029
AT ITER 5813 NEW BEST:: SOT 419072 SOS 187997 HAS SOPS 187997 HAS SOUS 125810 HAS SOUPS 125810 WITH SCORE 125997.997
AT ITER 5820 NEW BEST:: SOT 418713 SOS 187382 HAS SOPS 187382 HAS SOUS 125741 HAS SOUPS 125741 WITH SCORE 125928.382
AT ITER 5830 NEW BEST:: SOT 418458 SOS 186930 HAS SOPS 186930 HAS SOUS 125702 HAS SOUPS 125702 WITH SCORE 125888.93
AT ITER 5835 NEW BEST:: SOT 418451 SOS 186923 HAS SOPS 186923 HAS SOUS 125695 HAS SOUPS 125695 WITH SCORE 125881.923
AT ITER 5842 NEW BEST:: SOT 418433 SOS 186505 HAS SOPS 186505 HAS SOUS 125670 HAS SOUPS 125670 WITH SCORE 125856.505
AT ITER 5844 NEW BEST:: SOT 418503 SOS 186657 HAS SOPS 186657 HAS SOUS 125668 HAS SOUPS 125668 WITH SCORE 125854.657
AT ITER 5851 NEW BEST:: SOT 418553 SOS 186002 HAS SOPS 186002 HAS SOUS 125632 HAS SOUPS 125632 WITH SCORE 125818.002
AT ITER 5852 NEW BEST:: SOT 418078 SOS 185527 HAS SOPS 185527 HAS SOUS 125027 HAS SOUPS 125027 WITH SCORE 125212.527
AT ITER 5903 NEW BEST:: SOT 417943 SOS 185348 HAS SOPS 185348 HAS SOUS 125026 HAS SOUPS 125026 WITH SCORE 125211.348
AT ITER 5904 NEW BEST:: SOT 417921 SOS 185370 HAS SOPS 185370 HAS SOUS 124960 HAS SOUPS 124960 WITH SCORE 125145.37
AT ITER 5911 NEW BEST:: SOT 417897 SOS 185427 HAS SOPS 185427 HAS SOUS 124913 HAS SOUPS 124913 WITH SCORE 125098.427
AT ITER 5913 NEW BEST:: SOT 417897 SOS 185424 HAS SOPS 185424 HAS SOUS 124913 HAS SOUPS 124913 WITH SCORE 125098.424
AT ITER 5918 NEW BEST:: SOT 417948 SOS 185225 HAS SOPS 185225 HAS SOUS 124785 HAS SOUPS 124785 WITH SCORE 124970.225
AT ITER 5921 NEW BEST:: SOT 417921 SOS 185234 HAS SOPS 185234 HAS SOUS 124767 HAS SOUPS 124767 WITH SCORE 124952.234
AT ITER 5925 NEW BEST:: SOT 417220 SOS 184533 HAS SOPS 184533 HAS SOUS 123518 HAS SOUPS 123518 WITH SCORE 123702.533
AT ITER 5929 NEW BEST:: SOT 417245 SOS 184682 HAS SOPS 184682 HAS SOUS 123488 HAS SOUPS 123488 WITH SCORE 123672.682
AT ITER 5930 NEW BEST:: SOT 417256 SOS 184750 HAS SOPS 184750 HAS SOUS 123451 HAS SOUPS 123451 WITH SCORE 123635.75
AT ITER 5942 NEW BEST:: SOT 417229 SOS 184673 HAS SOPS 184673 HAS SOUS 123396 HAS SOUPS 123396 WITH SCORE 123580.673
AT ITER 5943 NEW BEST:: SOT 417096 SOS 184214 HAS SOPS 184214 HAS SOUS 123151 HAS SOUPS 123151 WITH SCORE 123335.214
AT ITER 5946 NEW BEST:: SOT 417058 SOS 184196 HAS SOPS 184196 HAS SOUS 123133 HAS SOUPS 123133 WITH SCORE 123317.196
AT ITER 5947 NEW BEST:: SOT 417058 SOS 184160 HAS SOPS 184160 HAS SOUS 123133 HAS SOUPS 123133 WITH SCORE 123317.16
AT ITER 5962 NEW BEST:: SOT 417057 SOS 183931 HAS SOPS 183931 HAS SOUS 123117 HAS SOUPS 123117 WITH SCORE 123300.931
AT ITER 5975 NEW BEST:: SOT 417037 SOS 183911 HAS SOPS 183911 HAS SOUS 123077 HAS SOUPS 123077 WITH SCORE 123260.911
AT ITER 5994 NEW BEST:: SOT 416995 SOS 183869 HAS SOPS 183869 HAS SOUS 123035 HAS SOUPS 123035 WITH SCORE 123218.869
AT ITER 6001 NEW BEST:: SOT 416744 SOS 183618 HAS SOPS 183618 HAS SOUS 122784 HAS SOUPS 122784 WITH SCORE 122967.618
AT ITER 6010 NEW BEST:: SOT 416678 SOS 183638 HAS SOPS 183638 HAS SOUS 122767 HAS SOUPS 122767 WITH SCORE 122950.638
AT ITER 6014 NEW BEST:: SOT 416480 SOS 183352 HAS SOPS 183352 HAS SOUS 122596 HAS SOUPS 122596 WITH SCORE 122779.352
AT ITER 6040 NEW BEST:: SOT 416554 SOS 183215 HAS SOPS 183215 HAS SOUS 122585 HAS SOUPS 122585 WITH SCORE 122768.215
AT ITER 6044 NEW BEST:: SOT 416401 SOS 182905 HAS SOPS 182905 HAS SOUS 122227 HAS SOUPS 122227 WITH SCORE 122409.905
AT ITER 6053 NEW BEST:: SOT 416194 SOS 182663 HAS SOPS 182663 HAS SOUS 121985 HAS SOUPS 121985 WITH SCORE 122167.663
AT ITER 6057 NEW BEST:: SOT 416177 SOS 182578 HAS SOPS 182578 HAS SOUS 121973 HAS SOUPS 121973 WITH SCORE 122155.578
AT ITER 6071 NEW BEST:: SOT 416159 SOS 182550 HAS SOPS 182550 HAS SOUS 121910 HAS SOUPS 121910 WITH SCORE 122092.55
AT ITER 6113 NEW BEST:: SOT 416087 SOS 182414 HAS SOPS 182414 HAS SOUS 121710 HAS SOUPS 121710 WITH SCORE 121892.414
AT ITER 6141 NEW BEST:: SOT 415891 SOS 182168 HAS SOPS 182168 HAS SOUS 121489 HAS SOUPS 121489 WITH SCORE 121671.168
AT ITER 6153 NEW BEST:: SOT 415876 SOS 182153 HAS SOPS 182153 HAS SOUS 121474 HAS SOUPS 121474 WITH SCORE 121656.153
AT ITER 6155 NEW BEST:: SOT 415876 SOS 182137 HAS SOPS 182137 HAS SOUS 121473 HAS SOUPS 121473 WITH SCORE 121655.137
AT ITER 6163 NEW BEST:: SOT 415876 SOS 182127 HAS SOPS 182127 HAS SOUS 121463 HAS SOUPS 121463 WITH SCORE 121645.127
AT ITER 6176 NEW BEST:: SOT 415899 SOS 182060 HAS SOPS 182060 HAS SOUS 121418 HAS SOUPS 121418 WITH SCORE 121600.06
AT ITER 6217 NEW BEST:: SOT 415875 SOS 182012 HAS SOPS 182012 HAS SOUS 121370 HAS SOUPS 121370 WITH SCORE 121552.012
AT ITER 6226 NEW BEST:: SOT 415783 SOS 181986 HAS SOPS 181986 HAS SOUS 121324 HAS SOUPS 121324 WITH SCORE 121505.986
AT ITER 6254 NEW BEST:: SOT 415783 SOS 181878 HAS SOPS 181878 HAS SOUS 121259 HAS SOUPS 121259 WITH SCORE 121440.878
AT ITER 6261 NEW BEST:: SOT 415755 SOS 181850 HAS SOPS 181850 HAS SOUS 121242 HAS SOUPS 121242 WITH SCORE 121423.85
AT ITER 6264 NEW BEST:: SOT 415359 SOS 181188 HAS SOPS 181188 HAS SOUS 120602 HAS SOUPS 120602 WITH SCORE 120783.188
AT ITER 6267 NEW BEST:: SOT 415352 SOS 181181 HAS SOPS 181181 HAS SOUS 120591 HAS SOUPS 120591 WITH SCORE 120772.181
AT ITER 6279 NEW BEST:: SOT 415272 SOS 180829 HAS SOPS 180829 HAS SOUS 120577 HAS SOUPS 120577 WITH SCORE 120757.829
AT ITER 6282 NEW BEST:: SOT 415133 SOS 180622 HAS SOPS 180622 HAS SOUS 120415 HAS SOUPS 120415 WITH SCORE 120595.622
AT ITER 6300 NEW BEST:: SOT 415132 SOS 180620 HAS SOPS 180620 HAS SOUS 120413 HAS SOUPS 120413 WITH SCORE 120593.62
AT ITER 6312 NEW BEST:: SOT 414496 SOS 179759 HAS SOPS 179759 HAS SOUS 119514 HAS SOUPS 119514 WITH SCORE 119693.759
AT ITER 6324 NEW BEST:: SOT 414496 SOS 179536 HAS SOPS 179536 HAS SOUS 119393 HAS SOUPS 119393 WITH SCORE 119572.536
AT ITER 6325 NEW BEST:: SOT 414438 SOS 179432 HAS SOPS 179432 HAS SOUS 119300 HAS SOUPS 119300 WITH SCORE 119479.432
AT ITER 6334 NEW BEST:: SOT 414409 SOS 179316 HAS SOPS 179316 HAS SOUS 119213 HAS SOUPS 119213 WITH SCORE 119392.316
AT ITER 6339 NEW BEST:: SOT 414307 SOS 179078 HAS SOPS 179078 HAS SOUS 118996 HAS SOUPS 118996 WITH SCORE 119175.078
AT ITER 6361 NEW BEST:: SOT 414305 SOS 179072 HAS SOPS 179072 HAS SOUS 118992 HAS SOUPS 118992 WITH SCORE 119171.072
AT ITER 6372 NEW BEST:: SOT 414278 SOS 179045 HAS SOPS 179045 HAS SOUS 118965 HAS SOUPS 118965 WITH SCORE 119144.045
AT ITER 6396 NEW BEST:: SOT 414274 SOS 178938 HAS SOPS 178938 HAS SOUS 118957 HAS SOUPS 118957 WITH SCORE 119135.938
AT ITER 6410 NEW BEST:: SOT 414192 SOS 178839 HAS SOPS 178839 HAS SOUS 118858 HAS SOUPS 118858 WITH SCORE 119036.839
AT ITER 6412 NEW BEST:: SOT 414143 SOS 178824 HAS SOPS 178824 HAS SOUS 118817 HAS SOUPS 118817 WITH SCORE 118995.824
AT ITER 6447 NEW BEST:: SOT 414148 SOS 178819 HAS SOPS 178819 HAS SOUS 118817 HAS SOUPS 118817 WITH SCORE 118995.819
AT ITER 6483 NEW BEST:: SOT 414068 SOS 178783 HAS SOPS 178783 HAS SOUS 118674 HAS SOUPS 118674 WITH SCORE 118852.783
AT ITER 6484 NEW BEST:: SOT 414041 SOS 178794 HAS SOPS 178794 HAS SOUS 118653 HAS SOUPS 118653 WITH SCORE 118831.794
AT ITER 6488 NEW BEST:: SOT 414038 SOS 178791 HAS SOPS 178791 HAS SOUS 118562 HAS SOUPS 118562 WITH SCORE 118740.791
AT ITER 6510 NEW BEST:: SOT 414062 SOS 178409 HAS SOPS 178409 HAS SOUS 118286 HAS SOUPS 118286 WITH SCORE 118464.409
AT ITER 6516 NEW BEST:: SOT 414029 SOS 178154 HAS SOPS 178154 HAS SOUS 118214 HAS SOUPS 118214 WITH SCORE 118392.154
AT ITER 6519 NEW BEST:: SOT 414124 SOS 178215 HAS SOPS 178215 HAS SOUS 118135 HAS SOUPS 118135 WITH SCORE 118313.215
AT ITER 6522 NEW BEST:: SOT 413980 SOS 176525 HAS SOPS 176525 HAS SOUS 117720 HAS SOUPS 117720 WITH SCORE 117896.525
AT ITER 6530 NEW BEST:: SOT 413964 SOS 176509 HAS SOPS 176509 HAS SOUS 117704 HAS SOUPS 117704 WITH SCORE 117880.509
AT ITER 6550 NEW BEST:: SOT 413592 SOS 176347 HAS SOPS 176347 HAS SOUS 117495 HAS SOUPS 117495 WITH SCORE 117671.347
AT ITER 6564 NEW BEST:: SOT 413592 SOS 176362 HAS SOPS 176362 HAS SOUS 117475 HAS SOUPS 117475 WITH SCORE 117651.362
AT ITER 6565 NEW BEST:: SOT 413595 SOS 176245 HAS SOPS 176245 HAS SOUS 117415 HAS SOUPS 117415 WITH SCORE 117591.245
AT ITER 6571 NEW BEST:: SOT 413604 SOS 176186 HAS SOPS 176186 HAS SOUS 117360 HAS SOUPS 117360 WITH SCORE 117536.186
AT ITER 6599 NEW BEST:: SOT 413471 SOS 176053 HAS SOPS 176053 HAS SOUS 117293 HAS SOUPS 117293 WITH SCORE 117469.053
AT ITER 6607 NEW BEST:: SOT 413407 SOS 175989 HAS SOPS 175989 HAS SOUS 117165 HAS SOUPS 117165 WITH SCORE 117340.989
AT ITER 6624 NEW BEST:: SOT 413221 SOS 175719 HAS SOPS 175719 HAS SOUS 116849 HAS SOUPS 116849 WITH SCORE 117024.719
AT ITER 6637 NEW BEST:: SOT 413221 SOS 175715 HAS SOPS 175715 HAS SOUS 116847 HAS SOUPS 116847 WITH SCORE 117022.715
AT ITER 6646 NEW BEST:: SOT 413205 SOS 175691 HAS SOPS 175691 HAS SOUS 116792 HAS SOUPS 116792 WITH SCORE 116967.691
AT ITER 6656 NEW BEST:: SOT 413198 SOS 175673 HAS SOPS 175673 HAS SOUS 116790 HAS SOUPS 116790 WITH SCORE 116965.673
AT ITER 6659 NEW BEST:: SOT 413152 SOS 175627 HAS SOPS 175627 HAS SOUS 116675 HAS SOUPS 116675 WITH SCORE 116850.627
AT ITER 6674 NEW BEST:: SOT 413146 SOS 175621 HAS SOPS 175621 HAS SOUS 116657 HAS SOUPS 116657 WITH SCORE 116832.621
AT ITER 6693 NEW BEST:: SOT 413146 SOS 175579 HAS SOPS 175579 HAS SOUS 116469 HAS SOUPS 116469 WITH SCORE 116644.579
AT ITER 6694 NEW BEST:: SOT 413194 SOS 175456 HAS SOPS 175456 HAS SOUS 116399 HAS SOUPS 116399 WITH SCORE 116574.456
AT ITER 6697 NEW BEST:: SOT 413168 SOS 175430 HAS SOPS 175430 HAS SOUS 116373 HAS SOUPS 116373 WITH SCORE 116548.43
AT ITER 6707 NEW BEST:: SOT 413056 SOS 175270 HAS SOPS 175270 HAS SOUS 116183 HAS SOUPS 116183 WITH SCORE 116358.27
AT ITER 6721 NEW BEST:: SOT 412993 SOS 175231 HAS SOPS 175231 HAS SOUS 116074 HAS SOUPS 116074 WITH SCORE 116249.231
AT ITER 6740 NEW BEST:: SOT 412781 SOS 175091 HAS SOPS 175091 HAS SOUS 115924 HAS SOUPS 115924 WITH SCORE 116099.091
AT ITER 6744 NEW BEST:: SOT 412765 SOS 175075 HAS SOPS 175075 HAS SOUS 115908 HAS SOUPS 115908 WITH SCORE 116083.075
AT ITER 6767 NEW BEST:: SOT 412489 SOS 174797 HAS SOPS 174797 HAS SOUS 115623 HAS SOUPS 115623 WITH SCORE 115797.797
AT ITER 6768 NEW BEST:: SOT 412556 SOS 174818 HAS SOPS 174818 HAS SOUS 115504 HAS SOUPS 115504 WITH SCORE 115678.818
AT ITER 6809 NEW BEST:: SOT 412534 SOS 174796 HAS SOPS 174796 HAS SOUS 115486 HAS SOUPS 115486 WITH SCORE 115660.796
AT ITER 6816 NEW BEST:: SOT 412438 SOS 174630 HAS SOPS 174630 HAS SOUS 115362 HAS SOUPS 115362 WITH SCORE 115536.63
AT ITER 6829 NEW BEST:: SOT 412438 SOS 174711 HAS SOPS 174711 HAS SOUS 115281 HAS SOUPS 115281 WITH SCORE 115455.711
AT ITER 6853 NEW BEST:: SOT 412335 SOS 174608 HAS SOPS 174608 HAS SOUS 115195 HAS SOUPS 115195 WITH SCORE 115369.608
AT ITER 6856 NEW BEST:: SOT 412253 SOS 174264 HAS SOPS 174264 HAS SOUS 115131 HAS SOUPS 115131 WITH SCORE 115305.264
AT ITER 6872 NEW BEST:: SOT 412189 SOS 174163 HAS SOPS 174163 HAS SOUS 115004 HAS SOUPS 115004 WITH SCORE 115178.163
AT ITER 6874 NEW BEST:: SOT 411819 SOS 173942 HAS SOPS 173942 HAS SOUS 114705 HAS SOUPS 114705 WITH SCORE 114878.942
AT ITER 6895 NEW BEST:: SOT 411780 SOS 173903 HAS SOPS 173903 HAS SOUS 114653 HAS SOUPS 114653 WITH SCORE 114826.903
AT ITER 6898 NEW BEST:: SOT 411774 SOS 173897 HAS SOPS 173897 HAS SOUS 114647 HAS SOUPS 114647 WITH SCORE 114820.897
AT ITER 6907 NEW BEST:: SOT 411630 SOS 173895 HAS SOPS 173895 HAS SOUS 114596 HAS SOUPS 114596 WITH SCORE 114769.895
AT ITER 6910 NEW BEST:: SOT 411630 SOS 173951 HAS SOPS 173951 HAS SOUS 114586 HAS SOUPS 114586 WITH SCORE 114759.951
AT ITER 6958 NEW BEST:: SOT 411602 SOS 173915 HAS SOPS 173915 HAS SOUS 114519 HAS SOUPS 114519 WITH SCORE 114692.915
AT ITER 6973 NEW BEST:: SOT 411590 SOS 173897 HAS SOPS 173897 HAS SOUS 114504 HAS SOUPS 114504 WITH SCORE 114677.897
AT ITER 6978 NEW BEST:: SOT 411533 SOS 173692 HAS SOPS 173692 HAS SOUS 114296 HAS SOUPS 114296 WITH SCORE 114469.692
AT ITER 6979 NEW BEST:: SOT 411484 SOS 173678 HAS SOPS 173678 HAS SOUS 114273 HAS SOUPS 114273 WITH SCORE 114446.678
AT ITER 7008 NEW BEST:: SOT 411353 SOS 173504 HAS SOPS 173504 HAS SOUS 114023 HAS SOUPS 114023 WITH SCORE 114196.504
AT ITER 7019 NEW BEST:: SOT 411353 SOS 173501 HAS SOPS 173501 HAS SOUS 114023 HAS SOUPS 114023 WITH SCORE 114196.501
AT ITER 7062 NEW BEST:: SOT 411341 SOS 173489 HAS SOPS 173489 HAS SOUS 114011 HAS SOUPS 114011 WITH SCORE 114184.489
AT ITER 7064 NEW BEST:: SOT 411291 SOS 173139 HAS SOPS 173139 HAS SOUS 113911 HAS SOUPS 113911 WITH SCORE 114084.139
AT ITER 7071 NEW BEST:: SOT 411189 SOS 172827 HAS SOPS 172827 HAS SOUS 113733 HAS SOUPS 113733 WITH SCORE 113905.827
AT ITER 7090 NEW BEST:: SOT 411189 SOS 172827 HAS SOPS 172827 HAS SOUS 113661 HAS SOUPS 113661 WITH SCORE 113833.827
AT ITER 7104 NEW BEST:: SOT 411175 SOS 172833 HAS SOPS 172833 HAS SOUS 113602 HAS SOUPS 113602 WITH SCORE 113774.833
AT ITER 7125 NEW BEST:: SOT 411138 SOS 172796 HAS SOPS 172796 HAS SOUS 113547 HAS SOUPS 113547 WITH SCORE 113719.796
AT ITER 7130 NEW BEST:: SOT 411072 SOS 172882 HAS SOPS 172882 HAS SOUS 113322 HAS SOUPS 113322 WITH SCORE 113494.882
AT ITER 7131 NEW BEST:: SOT 410937 SOS 172376 HAS SOPS 172376 HAS SOUS 113096 HAS SOUPS 113096 WITH SCORE 113268.376
AT ITER 7156 NEW BEST:: SOT 410937 SOS 172664 HAS SOPS 172664 HAS SOUS 113095 HAS SOUPS 113095 WITH SCORE 113267.664
AT ITER 7167 NEW BEST:: SOT 410760 SOS 172487 HAS SOPS 172487 HAS SOUS 112918 HAS SOUPS 112918 WITH SCORE 113090.487
AT ITER 7177 NEW BEST:: SOT 410670 SOS 172262 HAS SOPS 172262 HAS SOUS 112738 HAS SOUPS 112738 WITH SCORE 112910.262
AT ITER 7201 NEW BEST:: SOT 410643 SOS 172226 HAS SOPS 172226 HAS SOUS 112692 HAS SOUPS 112692 WITH SCORE 112864.226
AT ITER 7211 NEW BEST:: SOT 410601 SOS 172147 HAS SOPS 172147 HAS SOUS 112634 HAS SOUPS 112634 WITH SCORE 112806.147
AT ITER 7220 NEW BEST:: SOT 410601 SOS 172137 HAS SOPS 172137 HAS SOUS 112634 HAS SOUPS 112634 WITH SCORE 112806.137
AT ITER 7254 NEW BEST:: SOT 410669 SOS 172205 HAS SOPS 172205 HAS SOUS 112538 HAS SOUPS 112538 WITH SCORE 112710.205
AT ITER 7261 NEW BEST:: SOT 410677 SOS 172203 HAS SOPS 172203 HAS SOUS 112528 HAS SOUPS 112528 WITH SCORE 112700.203
AT ITER 7270 NEW BEST:: SOT 410681 SOS 172102 HAS SOPS 172102 HAS SOUS 112454 HAS SOUPS 112454 WITH SCORE 112626.102
AT ITER 7285 NEW BEST:: SOT 410442 SOS 171840 HAS SOPS 171840 HAS SOUS 112197 HAS SOUPS 112197 WITH SCORE 112368.84
AT ITER 7293 NEW BEST:: SOT 410430 SOS 171828 HAS SOPS 171828 HAS SOUS 112147 HAS SOUPS 112147 WITH SCORE 112318.828
AT ITER 7308 NEW BEST:: SOT 410134 SOS 171458 HAS SOPS 171458 HAS SOUS 111745 HAS SOUPS 111745 WITH SCORE 111916.458
AT ITER 7332 NEW BEST:: SOT 410127 SOS 171449 HAS SOPS 171449 HAS SOUS 111736 HAS SOUPS 111736 WITH SCORE 111907.449
AT ITER 7334 NEW BEST:: SOT 410127 SOS 171467 HAS SOPS 171467 HAS SOUS 111734 HAS SOUPS 111734 WITH SCORE 111905.467
AT ITER 7348 NEW BEST:: SOT 410111 SOS 171427 HAS SOPS 171427 HAS SOUS 111710 HAS SOUPS 111710 WITH SCORE 111881.427
AT ITER 7356 NEW BEST:: SOT 410057 SOS 171373 HAS SOPS 171373 HAS SOUS 111674 HAS SOUPS 111674 WITH SCORE 111845.373
AT ITER 7362 NEW BEST:: SOT 410024 SOS 171340 HAS SOPS 171340 HAS SOUS 111601 HAS SOUPS 111601 WITH SCORE 111772.34
AT ITER 7378 NEW BEST:: SOT 410024 SOS 171337 HAS SOPS 171337 HAS SOUS 111601 HAS SOUPS 111601 WITH SCORE 111772.337
AT ITER 7401 NEW BEST:: SOT 410024 SOS 171306 HAS SOPS 171306 HAS SOUS 111601 HAS SOUPS 111601 WITH SCORE 111772.306
AT ITER 7405 NEW BEST:: SOT 409842 SOS 170689 HAS SOPS 170689 HAS SOUS 111158 HAS SOUPS 111158 WITH SCORE 111328.689
AT ITER 7419 NEW BEST:: SOT 409808 SOS 170655 HAS SOPS 170655 HAS SOUS 111124 HAS SOUPS 111124 WITH SCORE 111294.655
AT ITER 7421 NEW BEST:: SOT 409800 SOS 170647 HAS SOPS 170647 HAS SOUS 111116 HAS SOUPS 111116 WITH SCORE 111286.647
AT ITER 7427 NEW BEST:: SOT 409750 SOS 170516 HAS SOPS 170516 HAS SOUS 111062 HAS SOUPS 111062 WITH SCORE 111232.516
AT ITER 7441 NEW BEST:: SOT 409348 SOS 169480 HAS SOPS 169480 HAS SOUS 110609 HAS SOUPS 110609 WITH SCORE 110778.48
AT ITER 7456 NEW BEST:: SOT 409295 SOS 169162 HAS SOPS 169162 HAS SOUS 110503 HAS SOUPS 110503 WITH SCORE 110672.162
AT ITER 7501 NEW BEST:: SOT 409294 SOS 169157 HAS SOPS 169157 HAS SOUS 110502 HAS SOUPS 110502 WITH SCORE 110671.157
AT ITER 7502 NEW BEST:: SOT 409286 SOS 168779 HAS SOPS 168779 HAS SOUS 110146 HAS SOUPS 110146 WITH SCORE 110314.779
AT ITER 7508 NEW BEST:: SOT 409286 SOS 168797 HAS SOPS 168797 HAS SOUS 110140 HAS SOUPS 110140 WITH SCORE 110308.797
AT ITER 7510 NEW BEST:: SOT 409272 SOS 168783 HAS SOPS 168783 HAS SOUS 110119 HAS SOUPS 110119 WITH SCORE 110287.783
AT ITER 7517 NEW BEST:: SOT 409250 SOS 168730 HAS SOPS 168730 HAS SOUS 110046 HAS SOUPS 110046 WITH SCORE 110214.73
AT ITER 7548 NEW BEST:: SOT 409238 SOS 168718 HAS SOPS 168718 HAS SOUS 110034 HAS SOUPS 110034 WITH SCORE 110202.718
AT ITER 7562 NEW BEST:: SOT 409226 SOS 168631 HAS SOPS 168631 HAS SOUS 110010 HAS SOUPS 110010 WITH SCORE 110178.631
AT ITER 7566 NEW BEST:: SOT 409207 SOS 168647 HAS SOPS 168647 HAS SOUS 109883 HAS SOUPS 109883 WITH SCORE 110051.647
AT ITER 7567 NEW BEST:: SOT 409216 SOS 168618 HAS SOPS 168618 HAS SOUS 109623 HAS SOUPS 109623 WITH SCORE 109791.618
AT ITER 7573 NEW BEST:: SOT 409108 SOS 168390 HAS SOPS 168390 HAS SOUS 109477 HAS SOUPS 109477 WITH SCORE 109645.39
AT ITER 7576 NEW BEST:: SOT 409428 SOS 167695 HAS SOPS 167695 HAS SOUS 109401 HAS SOUPS 109401 WITH SCORE 109568.695
AT ITER 7596 NEW BEST:: SOT 409428 SOS 167390 HAS SOPS 167390 HAS SOUS 109264 HAS SOUPS 109264 WITH SCORE 109431.39
AT ITER 7601 NEW BEST:: SOT 408994 SOS 166916 HAS SOPS 166916 HAS SOUS 108695 HAS SOUPS 108695 WITH SCORE 108861.916
AT ITER 7610 NEW BEST:: SOT 408975 SOS 166916 HAS SOPS 166916 HAS SOUS 108676 HAS SOUPS 108676 WITH SCORE 108842.916
AT ITER 7615 NEW BEST:: SOT 408878 SOS 166786 HAS SOPS 166786 HAS SOUS 108552 HAS SOUPS 108552 WITH SCORE 108718.786
AT ITER 7623 NEW BEST:: SOT 408846 SOS 166754 HAS SOPS 166754 HAS SOUS 108527 HAS SOUPS 108527 WITH SCORE 108693.754
AT ITER 7645 NEW BEST:: SOT 408768 SOS 166708 HAS SOPS 166708 HAS SOUS 108489 HAS SOUPS 108489 WITH SCORE 108655.708
AT ITER 7658 NEW BEST:: SOT 408665 SOS 166600 HAS SOPS 166600 HAS SOUS 108381 HAS SOUPS 108381 WITH SCORE 108547.6
AT ITER 7695 NEW BEST:: SOT 408691 SOS 166744 HAS SOPS 166744 HAS SOUS 108349 HAS SOUPS 108349 WITH SCORE 108515.744
AT ITER 7697 NEW BEST:: SOT 408585 SOS 166451 HAS SOPS 166451 HAS SOUS 108252 HAS SOUPS 108252 WITH SCORE 108418.451
AT ITER 7700 NEW BEST:: SOT 408623 SOS 166489 HAS SOPS 166489 HAS SOUS 108235 HAS SOUPS 108235 WITH SCORE 108401.489
AT ITER 7727 NEW BEST:: SOT 408623 SOS 166539 HAS SOPS 166539 HAS SOUS 108209 HAS SOUPS 108209 WITH SCORE 108375.539
AT ITER 7733 NEW BEST:: SOT 408551 SOS 166677 HAS SOPS 166677 HAS SOUS 108159 HAS SOUPS 108159 WITH SCORE 108325.677
AT ITER 7752 NEW BEST:: SOT 408551 SOS 165682 HAS SOPS 165682 HAS SOUS 107969 HAS SOUPS 107969 WITH SCORE 108134.682
AT ITER 7806 NEW BEST:: SOT 408535 SOS 165666 HAS SOPS 165666 HAS SOUS 107953 HAS SOUPS 107953 WITH SCORE 108118.666
AT ITER 7807 NEW BEST:: SOT 408458 SOS 165560 HAS SOPS 165560 HAS SOUS 107816 HAS SOUPS 107816 WITH SCORE 107981.56
AT ITER 7810 NEW BEST:: SOT 408402 SOS 165476 HAS SOPS 165476 HAS SOUS 107732 HAS SOUPS 107732 WITH SCORE 107897.476
AT ITER 7831 NEW BEST:: SOT 408386 SOS 165358 HAS SOPS 165358 HAS SOUS 107712 HAS SOUPS 107712 WITH SCORE 107877.358
AT ITER 7848 NEW BEST:: SOT 408127 SOS 165099 HAS SOPS 165099 HAS SOUS 107518 HAS SOUPS 107518 WITH SCORE 107683.099
AT ITER 7849 NEW BEST:: SOT 408057 SOS 164825 HAS SOPS 164825 HAS SOUS 107395 HAS SOUPS 107395 WITH SCORE 107559.825
AT ITER 7880 NEW BEST:: SOT 408085 SOS 164853 HAS SOPS 164853 HAS SOUS 107282 HAS SOUPS 107282 WITH SCORE 107446.853
AT ITER 7886 NEW BEST:: SOT 408085 SOS 164813 HAS SOPS 164813 HAS SOUS 107155 HAS SOUPS 107155 WITH SCORE 107319.813
AT ITER 7887 NEW BEST:: SOT 408034 SOS 164872 HAS SOPS 164872 HAS SOUS 107059 HAS SOUPS 107059 WITH SCORE 107223.872
AT ITER 7891 NEW BEST:: SOT 407732 SOS 164418 HAS SOPS 164418 HAS SOUS 106581 HAS SOUPS 106581 WITH SCORE 106745.418
AT ITER 7914 NEW BEST:: SOT 407766 SOS 164465 HAS SOPS 164465 HAS SOUS 106532 HAS SOUPS 106532 WITH SCORE 106696.465
AT ITER 7930 NEW BEST:: SOT 407766 SOS 164311 HAS SOPS 164311 HAS SOUS 106478 HAS SOUPS 106478 WITH SCORE 106642.311
AT ITER 7931 NEW BEST:: SOT 407736 SOS 164210 HAS SOPS 164210 HAS SOUS 106244 HAS SOUPS 106244 WITH SCORE 106408.21
AT ITER 7952 NEW BEST:: SOT 407733 SOS 164213 HAS SOPS 164213 HAS SOUS 106241 HAS SOUPS 106241 WITH SCORE 106405.213
AT ITER 7963 NEW BEST:: SOT 407710 SOS 164191 HAS SOPS 164191 HAS SOUS 106211 HAS SOUPS 106211 WITH SCORE 106375.191
AT ITER 7965 NEW BEST:: SOT 407567 SOS 163996 HAS SOPS 163996 HAS SOUS 106189 HAS SOUPS 106189 WITH SCORE 106352.996
AT ITER 7967 NEW BEST:: SOT 407438 SOS 163798 HAS SOPS 163798 HAS SOUS 106012 HAS SOUPS 106012 WITH SCORE 106175.798
AT ITER 7968 NEW BEST:: SOT 407408 SOS 163768 HAS SOPS 163768 HAS SOUS 105998 HAS SOUPS 105998 WITH SCORE 106161.768
AT ITER 7986 NEW BEST:: SOT 407360 SOS 163426 HAS SOPS 163426 HAS SOUS 105854 HAS SOUPS 105854 WITH SCORE 106017.426
AT ITER 7989 NEW BEST:: SOT 407339 SOS 163283 HAS SOPS 163283 HAS SOUS 105821 HAS SOUPS 105821 WITH SCORE 105984.283
AT ITER 8002 NEW BEST:: SOT 407283 SOS 163050 HAS SOPS 163050 HAS SOUS 105757 HAS SOUPS 105757 WITH SCORE 105920.05
AT ITER 8011 NEW BEST:: SOT 407283 SOS 163048 HAS SOPS 163048 HAS SOUS 105754 HAS SOUPS 105754 WITH SCORE 105917.048
AT ITER 8052 NEW BEST:: SOT 407073 SOS 162837 HAS SOPS 162837 HAS SOUS 105543 HAS SOUPS 105543 WITH SCORE 105705.837
AT ITER 8118 NEW BEST:: SOT 407073 SOS 162773 HAS SOPS 162773 HAS SOUS 105507 HAS SOUPS 105507 WITH SCORE 105669.773
AT ITER 8120 NEW BEST:: SOT 407031 SOS 162731 HAS SOPS 162731 HAS SOUS 105465 HAS SOUPS 105465 WITH SCORE 105627.731
AT ITER 8181 NEW BEST:: SOT 406747 SOS 162447 HAS SOPS 162447 HAS SOUS 105173 HAS SOUPS 105173 WITH SCORE 105335.447
AT ITER 8194 NEW BEST:: SOT 406747 SOS 162216 HAS SOPS 162216 HAS SOUS 105131 HAS SOUPS 105131 WITH SCORE 105293.216
AT ITER 8219 NEW BEST:: SOT 406591 SOS 161762 HAS SOPS 161762 HAS SOUS 104868 HAS SOUPS 104868 WITH SCORE 105029.762
AT ITER 8233 NEW BEST:: SOT 406559 SOS 161730 HAS SOPS 161730 HAS SOUS 104836 HAS SOUPS 104836 WITH SCORE 104997.73
AT ITER 8236 NEW BEST:: SOT 406523 SOS 161694 HAS SOPS 161694 HAS SOUS 104800 HAS SOUPS 104800 WITH SCORE 104961.694
AT ITER 8247 NEW BEST:: SOT 406523 SOS 161671 HAS SOPS 161671 HAS SOUS 104793 HAS SOUPS 104793 WITH SCORE 104954.671
AT ITER 8272 NEW BEST:: SOT 406525 SOS 161669 HAS SOPS 161669 HAS SOUS 104787 HAS SOUPS 104787 WITH SCORE 104948.669
AT ITER 8275 NEW BEST:: SOT 406525 SOS 161733 HAS SOPS 161733 HAS SOUS 104752 HAS SOUPS 104752 WITH SCORE 104913.733
AT ITER 8310 NEW BEST:: SOT 406525 SOS 161739 HAS SOPS 161739 HAS SOUS 104744 HAS SOUPS 104744 WITH SCORE 104905.739
AT ITER 8347 NEW BEST:: SOT 406510 SOS 161724 HAS SOPS 161724 HAS SOUS 104734 HAS SOUPS 104734 WITH SCORE 104895.724
AT ITER 8361 NEW BEST:: SOT 406530 SOS 161731 HAS SOPS 161731 HAS SOUS 104637 HAS SOUPS 104637 WITH SCORE 104798.731
AT ITER 8366 NEW BEST:: SOT 406450 SOS 161635 HAS SOPS 161635 HAS SOUS 104541 HAS SOUPS 104541 WITH SCORE 104702.635
AT ITER 8373 NEW BEST:: SOT 406450 SOS 161625 HAS SOPS 161625 HAS SOUS 104531 HAS SOUPS 104531 WITH SCORE 104692.625
AT ITER 8377 NEW BEST:: SOT 406438 SOS 161601 HAS SOPS 161601 HAS SOUS 104519 HAS SOUPS 104519 WITH SCORE 104680.601
AT ITER 8389 NEW BEST:: SOT 406371 SOS 161369 HAS SOPS 161369 HAS SOUS 104509 HAS SOUPS 104509 WITH SCORE 104670.369
AT ITER 8403 NEW BEST:: SOT 406371 SOS 161486 HAS SOPS 161486 HAS SOUS 104501 HAS SOUPS 104501 WITH SCORE 104662.486
AT ITER 8407 NEW BEST:: SOT 406365 SOS 161456 HAS SOPS 161456 HAS SOUS 104467 HAS SOUPS 104467 WITH SCORE 104628.456
AT ITER 8430 NEW BEST:: SOT 406317 SOS 161408 HAS SOPS 161408 HAS SOUS 104419 HAS SOUPS 104419 WITH SCORE 104580.408
AT ITER 8431 NEW BEST:: SOT 406470 SOS 161109 HAS SOPS 161109 HAS SOUS 104338 HAS SOUPS 104338 WITH SCORE 104499.109
AT ITER 8433 NEW BEST:: SOT 406265 SOS 160814 HAS SOPS 160814 HAS SOUS 103888 HAS SOUPS 103888 WITH SCORE 104048.814
AT ITER 8436 NEW BEST:: SOT 406265 SOS 160795 HAS SOPS 160795 HAS SOUS 103869 HAS SOUPS 103869 WITH SCORE 104029.795
AT ITER 8470 NEW BEST:: SOT 406229 SOS 160752 HAS SOPS 160752 HAS SOUS 103814 HAS SOUPS 103814 WITH SCORE 103974.752
AT ITER 8476 NEW BEST:: SOT 406083 SOS 160027 HAS SOPS 160027 HAS SOUS 103635 HAS SOUPS 103635 WITH SCORE 103795.027
AT ITER 8498 NEW BEST:: SOT 406073 SOS 160017 HAS SOPS 160017 HAS SOUS 103625 HAS SOUPS 103625 WITH SCORE 103785.017
AT ITER 8511 NEW BEST:: SOT 406068 SOS 160011 HAS SOPS 160011 HAS SOUS 103613 HAS SOUPS 103613 WITH SCORE 103773.011
AT ITER 8520 NEW BEST:: SOT 406056 SOS 160003 HAS SOPS 160003 HAS SOUS 103593 HAS SOUPS 103593 WITH SCORE 103753.003
AT ITER 8526 NEW BEST:: SOT 406047 SOS 160081 HAS SOPS 160081 HAS SOUS 103526 HAS SOUPS 103526 WITH SCORE 103686.081
AT ITER 8555 NEW BEST:: SOT 405976 SOS 160010 HAS SOPS 160010 HAS SOUS 103455 HAS SOUPS 103455 WITH SCORE 103615.01
AT ITER 8589 NEW BEST:: SOT 405976 SOS 159920 HAS SOPS 159920 HAS SOUS 103440 HAS SOUPS 103440 WITH SCORE 103599.92
AT ITER 8593 NEW BEST:: SOT 405955 SOS 159930 HAS SOPS 159930 HAS SOUS 103367 HAS SOUPS 103367 WITH SCORE 103526.93
AT ITER 8605 NEW BEST:: SOT 405942 SOS 159936 HAS SOPS 159936 HAS SOUS 103318 HAS SOUPS 103318 WITH SCORE 103477.936
AT ITER 8609 NEW BEST:: SOT 405908 SOS 159836 HAS SOPS 159836 HAS SOUS 103312 HAS SOUPS 103312 WITH SCORE 103471.836
AT ITER 8617 NEW BEST:: SOT 405882 SOS 159682 HAS SOPS 159682 HAS SOUS 103279 HAS SOUPS 103279 WITH SCORE 103438.682
AT ITER 8628 NEW BEST:: SOT 405684 SOS 159386 HAS SOPS 159386 HAS SOUS 102948 HAS SOUPS 102948 WITH SCORE 103107.386
AT ITER 8642 NEW BEST:: SOT 405607 SOS 159331 HAS SOPS 159331 HAS SOUS 102893 HAS SOUPS 102893 WITH SCORE 103052.331
AT ITER 8648 NEW BEST:: SOT 405607 SOS 159331 HAS SOPS 159331 HAS SOUS 102876 HAS SOUPS 102876 WITH SCORE 103035.331
AT ITER 8663 NEW BEST:: SOT 405607 SOS 159339 HAS SOPS 159339 HAS SOUS 102868 HAS SOUPS 102868 WITH SCORE 103027.339
AT ITER 8684 NEW BEST:: SOT 405677 SOS 159376 HAS SOPS 159376 HAS SOUS 102857 HAS SOUPS 102857 WITH SCORE 103016.376
AT ITER 8694 NEW BEST:: SOT 405579 SOS 158506 HAS SOPS 158506 HAS SOUS 102845 HAS SOUPS 102845 WITH SCORE 103003.506
AT ITER 8708 NEW BEST:: SOT 405567 SOS 158476 HAS SOPS 158476 HAS SOUS 102833 HAS SOUPS 102833 WITH SCORE 102991.476
AT ITER 8717 NEW BEST:: SOT 405567 SOS 158410 HAS SOPS 158410 HAS SOUS 102808 HAS SOUPS 102808 WITH SCORE 102966.41
AT ITER 8726 NEW BEST:: SOT 405447 SOS 158218 HAS SOPS 158218 HAS SOUS 102649 HAS SOUPS 102649 WITH SCORE 102807.218
AT ITER 8754 NEW BEST:: SOT 405396 SOS 158195 HAS SOPS 158195 HAS SOUS 102626 HAS SOUPS 102626 WITH SCORE 102784.195
AT ITER 8784 NEW BEST:: SOT 405364 SOS 158147 HAS SOPS 158147 HAS SOUS 102570 HAS SOUPS 102570 WITH SCORE 102728.147
AT ITER 8792 NEW BEST:: SOT 405356 SOS 158119 HAS SOPS 158119 HAS SOUS 102554 HAS SOUPS 102554 WITH SCORE 102712.119
AT ITER 8823 NEW BEST:: SOT 405360 SOS 158086 HAS SOPS 158086 HAS SOUS 102478 HAS SOUPS 102478 WITH SCORE 102636.086
AT ITER 8830 NEW BEST:: SOT 405360 SOS 158024 HAS SOPS 158024 HAS SOUS 102447 HAS SOUPS 102447 WITH SCORE 102605.024
AT ITER 8855 NEW BEST:: SOT 405292 SOS 157932 HAS SOPS 157932 HAS SOUS 102355 HAS SOUPS 102355 WITH SCORE 102512.932
AT ITER 8883 NEW BEST:: SOT 405172 SOS 157761 HAS SOPS 157761 HAS SOUS 102315 HAS SOUPS 102315 WITH SCORE 102472.761
AT ITER 8891 NEW BEST:: SOT 405073 SOS 157639 HAS SOPS 157639 HAS SOUS 102211 HAS SOUPS 102211 WITH SCORE 102368.639
AT ITER 8913 NEW BEST:: SOT 405041 SOS 157607 HAS SOPS 157607 HAS SOUS 102179 HAS SOUPS 102179 WITH SCORE 102336.607
AT ITER 8918 NEW BEST:: SOT 405029 SOS 157437 HAS SOPS 157437 HAS SOUS 101811 HAS SOUPS 101811 WITH SCORE 101968.437
AT ITER 8939 NEW BEST:: SOT 404948 SOS 157341 HAS SOPS 157341 HAS SOUS 101715 HAS SOUPS 101715 WITH SCORE 101872.341
AT ITER 8950 NEW BEST:: SOT 404874 SOS 157215 HAS SOPS 157215 HAS SOUS 101704 HAS SOUPS 101704 WITH SCORE 101861.215
AT ITER 8958 NEW BEST:: SOT 404860 SOS 157199 HAS SOPS 157199 HAS SOUS 101682 HAS SOUPS 101682 WITH SCORE 101839.199
AT ITER 8963 NEW BEST:: SOT 404834 SOS 157173 HAS SOPS 157173 HAS SOUS 101656 HAS SOUPS 101656 WITH SCORE 101813.173
AT ITER 8971 NEW BEST:: SOT 404832 SOS 157161 HAS SOPS 157161 HAS SOUS 101638 HAS SOUPS 101638 WITH SCORE 101795.161
AT ITER 8972 NEW BEST:: SOT 404830 SOS 157159 HAS SOPS 157159 HAS SOUS 101636 HAS SOUPS 101636 WITH SCORE 101793.159
AT ITER 8974 NEW BEST:: SOT 404830 SOS 157159 HAS SOPS 157159 HAS SOUS 101633 HAS SOUPS 101633 WITH SCORE 101790.159
AT ITER 8977 NEW BEST:: SOT 404740 SOS 157069 HAS SOPS 157069 HAS SOUS 101555 HAS SOUPS 101555 WITH SCORE 101712.069
AT ITER 8987 NEW BEST:: SOT 404727 SOS 157043 HAS SOPS 157043 HAS SOUS 101490 HAS SOUPS 101490 WITH SCORE 101647.043
AT ITER 8992 NEW BEST:: SOT 404658 SOS 156392 HAS SOPS 156392 HAS SOUS 101439 HAS SOUPS 101439 WITH SCORE 101595.392
AT ITER 8996 NEW BEST:: SOT 404645 SOS 156315 HAS SOPS 156315 HAS SOUS 101364 HAS SOUPS 101364 WITH SCORE 101520.315
AT ITER 9006 NEW BEST:: SOT 404485 SOS 156363 HAS SOPS 156363 HAS SOUS 101333 HAS SOUPS 101333 WITH SCORE 101489.363
AT ITER 9010 NEW BEST:: SOT 404512 SOS 156265 HAS SOPS 156265 HAS SOUS 101287 HAS SOUPS 101287 WITH SCORE 101443.265
AT ITER 9019 NEW BEST:: SOT 404497 SOS 156225 HAS SOPS 156225 HAS SOUS 101262 HAS SOUPS 101262 WITH SCORE 101418.225
AT ITER 9031 NEW BEST:: SOT 404485 SOS 156225 HAS SOPS 156225 HAS SOUS 101251 HAS SOUPS 101251 WITH SCORE 101407.225
AT ITER 9034 NEW BEST:: SOT 404485 SOS 156935 HAS SOPS 156935 HAS SOUS 101062 HAS SOUPS 101062 WITH SCORE 101218.935
AT ITER 9087 NEW BEST:: SOT 404485 SOS 156833 HAS SOPS 156833 HAS SOUS 100994 HAS SOUPS 100994 WITH SCORE 101150.833
AT ITER 9107 NEW BEST:: SOT 404302 SOS 156589 HAS SOPS 156589 HAS SOUS 100811 HAS SOUPS 100811 WITH SCORE 100967.589
AT ITER 9109 NEW BEST:: SOT 404302 SOS 156555 HAS SOPS 156555 HAS SOUS 100811 HAS SOUPS 100811 WITH SCORE 100967.555
AT ITER 9110 NEW BEST:: SOT 404289 SOS 156520 HAS SOPS 156520 HAS SOUS 100785 HAS SOUPS 100785 WITH SCORE 100941.52
AT ITER 9132 NEW BEST:: SOT 404212 SOS 156366 HAS SOPS 156366 HAS SOUS 100741 HAS SOUPS 100741 WITH SCORE 100897.366
AT ITER 9177 NEW BEST:: SOT 404186 SOS 156298 HAS SOPS 156298 HAS SOUS 100671 HAS SOUPS 100671 WITH SCORE 100827.298
AT ITER 9181 NEW BEST:: SOT 404399 SOS 156560 HAS SOPS 156560 HAS SOUS 100637 HAS SOUPS 100637 WITH SCORE 100793.56
AT ITER 9197 NEW BEST:: SOT 404419 SOS 156660 HAS SOPS 156660 HAS SOUS 100617 HAS SOUPS 100617 WITH SCORE 100773.66
AT ITER 9199 NEW BEST:: SOT 404397 SOS 156626 HAS SOPS 156626 HAS SOUS 100533 HAS SOUPS 100533 WITH SCORE 100689.626
AT ITER 9205 NEW BEST:: SOT 404228 SOS 156470 HAS SOPS 156470 HAS SOUS 100466 HAS SOUPS 100466 WITH SCORE 100622.47
AT ITER 9220 NEW BEST:: SOT 404199 SOS 156408 HAS SOPS 156408 HAS SOUS 100304 HAS SOUPS 100304 WITH SCORE 100460.408
AT ITER 9283 NEW BEST:: SOT 404159 SOS 156328 HAS SOPS 156328 HAS SOUS 100244 HAS SOUPS 100244 WITH SCORE 100400.328
AT ITER 9285 NEW BEST:: SOT 404156 SOS 156325 HAS SOPS 156325 HAS SOUS 100241 HAS SOUPS 100241 WITH SCORE 100397.325
AT ITER 9308 NEW BEST:: SOT 404165 SOS 156283 HAS SOPS 156283 HAS SOUS 100056 HAS SOUPS 100056 WITH SCORE 100212.283
AT ITER 9313 NEW BEST:: SOT 404165 SOS 156276 HAS SOPS 156276 HAS SOUS 100023 HAS SOUPS 100023 WITH SCORE 100179.276
AT ITER 9318 NEW BEST:: SOT 403847 SOS 155971 HAS SOPS 155971 HAS SOUS 99962 HAS SOUPS 99962 WITH SCORE 100117.971
AT ITER 9319 NEW BEST:: SOT 403892 SOS 156025 HAS SOPS 156025 HAS SOUS 99916 HAS SOUPS 99916 WITH SCORE 100072.025
AT ITER 9320 NEW BEST:: SOT 403934 SOS 156467 HAS SOPS 156467 HAS SOUS 99902 HAS SOUPS 99902 WITH SCORE 100058.467
AT ITER 9324 NEW BEST:: SOT 403742 SOS 156275 HAS SOPS 156275 HAS SOUS 99710 HAS SOUPS 99710 WITH SCORE 99866.275
AT ITER 9325 NEW BEST:: SOT 403742 SOS 156339 HAS SOPS 156339 HAS SOUS 99618 HAS SOUPS 99618 WITH SCORE 99774.339
AT ITER 9331 NEW BEST:: SOT 403590 SOS 155988 HAS SOPS 155988 HAS SOUS 99441 HAS SOUPS 99441 WITH SCORE 99596.988
AT ITER 9349 NEW BEST:: SOT 403590 SOS 156291 HAS SOPS 156291 HAS SOUS 99427 HAS SOUPS 99427 WITH SCORE 99583.291
AT ITER 9369 NEW BEST:: SOT 403603 SOS 156239 HAS SOPS 156239 HAS SOUS 99414 HAS SOUPS 99414 WITH SCORE 99570.239
AT ITER 9376 NEW BEST:: SOT 403689 SOS 156332 HAS SOPS 156332 HAS SOUS 99171 HAS SOUPS 99171 WITH SCORE 99327.332
AT ITER 9384 NEW BEST:: SOT 403689 SOS 156330 HAS SOPS 156330 HAS SOUS 99137 HAS SOUPS 99137 WITH SCORE 99293.33
AT ITER 9399 NEW BEST:: SOT 403615 SOS 156140 HAS SOPS 156140 HAS SOUS 98923 HAS SOUPS 98923 WITH SCORE 99079.14
AT ITER 9436 NEW BEST:: SOT 403691 SOS 156356 HAS SOPS 156356 HAS SOUS 98903 HAS SOUPS 98903 WITH SCORE 99059.356
AT ITER 9457 NEW BEST:: SOT 403356 SOS 155817 HAS SOPS 155817 HAS SOUS 98524 HAS SOUPS 98524 WITH SCORE 98679.817
AT ITER 9470 NEW BEST:: SOT 403356 SOS 155629 HAS SOPS 155629 HAS SOUS 98524 HAS SOUPS 98524 WITH SCORE 98679.629
AT ITER 9474 NEW BEST:: SOT 403124 SOS 155079 HAS SOPS 155079 HAS SOUS 98189 HAS SOUPS 98189 WITH SCORE 98344.079
AT ITER 9483 NEW BEST:: SOT 403124 SOS 155073 HAS SOPS 155073 HAS SOUS 98183 HAS SOUPS 98183 WITH SCORE 98338.073
AT ITER 9510 NEW BEST:: SOT 402917 SOS 154828 HAS SOPS 154828 HAS SOUS 97957 HAS SOUPS 97957 WITH SCORE 98111.828
AT ITER 9531 NEW BEST:: SOT 402906 SOS 154815 HAS SOPS 154815 HAS SOUS 97829 HAS SOUPS 97829 WITH SCORE 97983.815
AT ITER 9567 NEW BEST:: SOT 402818 SOS 154823 HAS SOPS 154823 HAS SOUS 97796 HAS SOUPS 97796 WITH SCORE 97950.823
AT ITER 9577 NEW BEST:: SOT 402818 SOS 154808 HAS SOPS 154808 HAS SOUS 97751 HAS SOUPS 97751 WITH SCORE 97905.808
AT ITER 9612 NEW BEST:: SOT 402826 SOS 154487 HAS SOPS 154487 HAS SOUS 97453 HAS SOUPS 97453 WITH SCORE 97607.487
AT ITER 9616 NEW BEST:: SOT 402784 SOS 154471 HAS SOPS 154471 HAS SOUS 97432 HAS SOUPS 97432 WITH SCORE 97586.471
AT ITER 9649 NEW BEST:: SOT 402777 SOS 154464 HAS SOPS 154464 HAS SOUS 97427 HAS SOUPS 97427 WITH SCORE 97581.464
AT ITER 9651 NEW BEST:: SOT 402739 SOS 154236 HAS SOPS 154236 HAS SOUS 97410 HAS SOUPS 97410 WITH SCORE 97564.236
AT ITER 9676 NEW BEST:: SOT 402749 SOS 154214 HAS SOPS 154214 HAS SOUS 97383 HAS SOUPS 97383 WITH SCORE 97537.214
AT ITER 9699 NEW BEST:: SOT 402744 SOS 154204 HAS SOPS 154204 HAS SOUS 97373 HAS SOUPS 97373 WITH SCORE 97527.204
AT ITER 9732 NEW BEST:: SOT 402806 SOS 154264 HAS SOPS 154264 HAS SOUS 97367 HAS SOUPS 97367 WITH SCORE 97521.264
AT ITER 9783 NEW BEST:: SOT 402713 SOS 154188 HAS SOPS 154188 HAS SOUS 97315 HAS SOUPS 97315 WITH SCORE 97469.188
AT ITER 9785 NEW BEST:: SOT 402687 SOS 153934 HAS SOPS 153934 HAS SOUS 97195 HAS SOUPS 97195 WITH SCORE 97348.934
AT ITER 9803 NEW BEST:: SOT 402679 SOS 153886 HAS SOPS 153886 HAS SOUS 97167 HAS SOUPS 97167 WITH SCORE 97320.886
AT ITER 9811 NEW BEST:: SOT 402641 SOS 153912 HAS SOPS 153912 HAS SOUS 97155 HAS SOUPS 97155 WITH SCORE 97308.912
AT ITER 9817 NEW BEST:: SOT 402628 SOS 153896 HAS SOPS 153896 HAS SOUS 97126 HAS SOUPS 97126 WITH SCORE 97279.896
AT ITER 9850 NEW BEST:: SOT 402592 SOS 153874 HAS SOPS 153874 HAS SOUS 97102 HAS SOUPS 97102 WITH SCORE 97255.874
AT ITER 9871 NEW BEST:: SOT 402663 SOS 153950 HAS SOPS 153950 HAS SOUS 97010 HAS SOUPS 97010 WITH SCORE 97163.95
AT ITER 9899 NEW BEST:: SOT 402548 SOS 153917 HAS SOPS 153917 HAS SOUS 96959 HAS SOUPS 96959 WITH SCORE 97112.917
AT ITER 9916 NEW BEST:: SOT 402697 SOS 153924 HAS SOPS 153924 HAS SOUS 96826 HAS SOUPS 96826 WITH SCORE 96979.924
AT ITER 9926 NEW BEST:: SOT 402697 SOS 153943 HAS SOPS 153943 HAS SOUS 96811 HAS SOUPS 96811 WITH SCORE 96964.943
AT ITER 9929 NEW BEST:: SOT 402726 SOS 153768 HAS SOPS 153768 HAS SOUS 96701 HAS SOUPS 96701 WITH SCORE 96854.768
AT ITER 9942 NEW BEST:: SOT 402726 SOS 153754 HAS SOPS 153754 HAS SOUS 96679 HAS SOUPS 96679 WITH SCORE 96832.754
AT ITER 9945 NEW BEST:: SOT 402726 SOS 153724 HAS SOPS 153724 HAS SOUS 96667 HAS SOUPS 96667 WITH SCORE 96820.724
AT ITER 9949 NEW BEST:: SOT 402651 SOS 153673 HAS SOPS 153673 HAS SOUS 96401 HAS SOUPS 96401 WITH SCORE 96554.673
AT ITER 9962 NEW BEST:: SOT 402634 SOS 153635 HAS SOPS 153635 HAS SOUS 96384 HAS SOUPS 96384 WITH SCORE 96537.635
AT ITER 9964 NEW BEST:: SOT 402629 SOS 153725 HAS SOPS 153725 HAS SOUS 96372 HAS SOUPS 96372 WITH SCORE 96525.725
AT ITER 9987 NEW BEST:: SOT 402424 SOS 153020 HAS SOPS 153020 HAS SOUS 96201 HAS SOUPS 96201 WITH SCORE 96354.02
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393356 kB
MemFree: 9934600 kB
After kill :
MemTotal: 16393356 kB
MemFree: 16124336 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

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="ShieldRVs-PT-050A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is ShieldRVs-PT-050A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r427-tajo-167905979300152"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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