Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r387-oct2-167903711900472.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldPPPs-PT-030A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903711900472
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 736K
-rw-r--r-- 1 mcc users 7.4K Feb 26 01:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 01:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 01:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 01:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 02:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K Feb 26 02:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 26 02:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K Feb 26 02:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:59 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:59 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 265K 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 1679067608821

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

Filename model.pnml
Petri model created: 933 places, 783 transitions, 3006 arcs.
AT ITER 0 NEW BEST:: SOT 471238 SOS 325225 HAS SOPS 325225 HAS SOUS 243428 HAS SOUPS 243428 WITH SCORE 243753.225
AT ITER 1 NEW BEST:: SOT 471238 SOS 325215 HAS SOPS 325215 HAS SOUS 243412 HAS SOUPS 243412 WITH SCORE 243737.215
AT ITER 10 NEW BEST:: SOT 470693 SOS 325193 HAS SOPS 325193 HAS SOUS 243384 HAS SOUPS 243384 WITH SCORE 243709.193
AT ITER 23 NEW BEST:: SOT 470370 SOS 324868 HAS SOPS 324868 HAS SOUS 243059 HAS SOUPS 243059 WITH SCORE 243383.868
AT ITER 25 NEW BEST:: SOT 470264 SOS 324762 HAS SOPS 324762 HAS SOUS 242953 HAS SOUPS 242953 WITH SCORE 243277.762
AT ITER 26 NEW BEST:: SOT 470250 SOS 324739 HAS SOPS 324739 HAS SOUS 242916 HAS SOUPS 242916 WITH SCORE 243240.739
AT ITER 31 NEW BEST:: SOT 470029 SOS 324733 HAS SOPS 324733 HAS SOUS 242909 HAS SOUPS 242909 WITH SCORE 243233.733
AT ITER 38 NEW BEST:: SOT 469998 SOS 324702 HAS SOPS 324702 HAS SOUS 242878 HAS SOUPS 242878 WITH SCORE 243202.702
AT ITER 40 NEW BEST:: SOT 469752 SOS 324645 HAS SOPS 324645 HAS SOUS 242727 HAS SOUPS 242727 WITH SCORE 243051.645
AT ITER 46 NEW BEST:: SOT 469703 SOS 324400 HAS SOPS 324400 HAS SOUS 242727 HAS SOUPS 242727 WITH SCORE 243051.4
AT ITER 49 NEW BEST:: SOT 469219 SOS 321980 HAS SOPS 321980 HAS SOUS 242727 HAS SOUPS 242727 WITH SCORE 243048.98
AT ITER 57 NEW BEST:: SOT 469221 SOS 321982 HAS SOPS 321982 HAS SOUS 242726 HAS SOUPS 242726 WITH SCORE 243047.982
AT ITER 62 NEW BEST:: SOT 469179 SOS 321940 HAS SOPS 321940 HAS SOUS 242684 HAS SOUPS 242684 WITH SCORE 243005.94
AT ITER 73 NEW BEST:: SOT 468762 SOS 321523 HAS SOPS 321523 HAS SOUS 242267 HAS SOUPS 242267 WITH SCORE 242588.523
AT ITER 75 NEW BEST:: SOT 468533 SOS 321292 HAS SOPS 321292 HAS SOUS 242036 HAS SOUPS 242036 WITH SCORE 242357.292
AT ITER 76 NEW BEST:: SOT 468489 SOS 321206 HAS SOPS 321206 HAS SOUS 241950 HAS SOUPS 241950 WITH SCORE 242271.206
AT ITER 77 NEW BEST:: SOT 468280 SOS 321056 HAS SOPS 321056 HAS SOUS 241771 HAS SOUPS 241771 WITH SCORE 242092.056
AT ITER 82 NEW BEST:: SOT 468278 SOS 320451 HAS SOPS 320451 HAS SOUS 241749 HAS SOUPS 241749 WITH SCORE 242069.451
AT ITER 84 NEW BEST:: SOT 468015 SOS 319081 HAS SOPS 319081 HAS SOUS 241695 HAS SOUPS 241695 WITH SCORE 242014.081
AT ITER 88 NEW BEST:: SOT 467772 SOS 317866 HAS SOPS 317866 HAS SOUS 241695 HAS SOUPS 241695 WITH SCORE 242012.866
AT ITER 94 NEW BEST:: SOT 467771 SOS 317034 HAS SOPS 317034 HAS SOUS 241674 HAS SOUPS 241674 WITH SCORE 241991.034
AT ITER 95 NEW BEST:: SOT 467740 SOS 317003 HAS SOPS 317003 HAS SOUS 241643 HAS SOUPS 241643 WITH SCORE 241960.003
AT ITER 114 NEW BEST:: SOT 467683 SOS 316829 HAS SOPS 316829 HAS SOUS 241418 HAS SOUPS 241418 WITH SCORE 241734.829
AT ITER 118 NEW BEST:: SOT 467436 SOS 316582 HAS SOPS 316582 HAS SOUS 241171 HAS SOUPS 241171 WITH SCORE 241487.582
AT ITER 122 NEW BEST:: SOT 467417 SOS 316563 HAS SOPS 316563 HAS SOUS 241152 HAS SOUPS 241152 WITH SCORE 241468.563
AT ITER 134 NEW BEST:: SOT 467830 SOS 315608 HAS SOPS 315608 HAS SOUS 240670 HAS SOUPS 240670 WITH SCORE 240985.608
AT ITER 139 NEW BEST:: SOT 467714 SOS 315491 HAS SOPS 315491 HAS SOUS 240553 HAS SOUPS 240553 WITH SCORE 240868.491
AT ITER 141 NEW BEST:: SOT 467324 SOS 315099 HAS SOPS 315099 HAS SOUS 240161 HAS SOUPS 240161 WITH SCORE 240476.099
AT ITER 153 NEW BEST:: SOT 466781 SOS 312350 HAS SOPS 312350 HAS SOUS 238764 HAS SOUPS 238764 WITH SCORE 239076.35
AT ITER 157 NEW BEST:: SOT 466340 SOS 311909 HAS SOPS 311909 HAS SOUS 238323 HAS SOUPS 238323 WITH SCORE 238634.909
AT ITER 163 NEW BEST:: SOT 465998 SOS 311798 HAS SOPS 311798 HAS SOUS 238096 HAS SOUPS 238096 WITH SCORE 238407.798
AT ITER 166 NEW BEST:: SOT 465780 SOS 311769 HAS SOPS 311769 HAS SOUS 237973 HAS SOUPS 237973 WITH SCORE 238284.769
AT ITER 170 NEW BEST:: SOT 465766 SOS 311746 HAS SOPS 311746 HAS SOUS 237937 HAS SOUPS 237937 WITH SCORE 238248.746
AT ITER 174 NEW BEST:: SOT 465810 SOS 311470 HAS SOPS 311470 HAS SOUS 237454 HAS SOUPS 237454 WITH SCORE 237765.47
AT ITER 175 NEW BEST:: SOT 465769 SOS 311446 HAS SOPS 311446 HAS SOUS 237430 HAS SOUPS 237430 WITH SCORE 237741.446
AT ITER 184 NEW BEST:: SOT 465672 SOS 311349 HAS SOPS 311349 HAS SOUS 237333 HAS SOUPS 237333 WITH SCORE 237644.349
AT ITER 186 NEW BEST:: SOT 465813 SOS 310976 HAS SOPS 310976 HAS SOUS 236960 HAS SOUPS 236960 WITH SCORE 237270.976
AT ITER 191 NEW BEST:: SOT 465804 SOS 310967 HAS SOPS 310967 HAS SOUS 236951 HAS SOUPS 236951 WITH SCORE 237261.967
AT ITER 196 NEW BEST:: SOT 465920 SOS 310989 HAS SOPS 310989 HAS SOUS 236853 HAS SOUPS 236853 WITH SCORE 237163.989
AT ITER 198 NEW BEST:: SOT 465920 SOS 310982 HAS SOPS 310982 HAS SOUS 236839 HAS SOUPS 236839 WITH SCORE 237149.982
AT ITER 206 NEW BEST:: SOT 465815 SOS 310811 HAS SOPS 310811 HAS SOUS 236564 HAS SOUPS 236564 WITH SCORE 236874.811
AT ITER 208 NEW BEST:: SOT 465600 SOS 310596 HAS SOPS 310596 HAS SOUS 236349 HAS SOUPS 236349 WITH SCORE 236659.596
AT ITER 211 NEW BEST:: SOT 465591 SOS 310585 HAS SOPS 310585 HAS SOUS 236338 HAS SOUPS 236338 WITH SCORE 236648.585
AT ITER 216 NEW BEST:: SOT 465590 SOS 310582 HAS SOPS 310582 HAS SOUS 236335 HAS SOUPS 236335 WITH SCORE 236645.582
AT ITER 217 NEW BEST:: SOT 465349 SOS 310332 HAS SOPS 310332 HAS SOUS 236074 HAS SOUPS 236074 WITH SCORE 236384.332
AT ITER 226 NEW BEST:: SOT 464939 SOS 309938 HAS SOPS 309938 HAS SOUS 235682 HAS SOUPS 235682 WITH SCORE 235991.938
AT ITER 237 NEW BEST:: SOT 464722 SOS 308853 HAS SOPS 308853 HAS SOUS 235682 HAS SOUPS 235682 WITH SCORE 235990.853
AT ITER 254 NEW BEST:: SOT 464636 SOS 308765 HAS SOPS 308765 HAS SOUS 235594 HAS SOUPS 235594 WITH SCORE 235902.765
AT ITER 256 NEW BEST:: SOT 464689 SOS 308765 HAS SOPS 308765 HAS SOUS 235589 HAS SOUPS 235589 WITH SCORE 235897.765
AT ITER 257 NEW BEST:: SOT 465182 SOS 307732 HAS SOPS 307732 HAS SOUS 235296 HAS SOUPS 235296 WITH SCORE 235603.732
AT ITER 260 NEW BEST:: SOT 465177 SOS 307727 HAS SOPS 307727 HAS SOUS 235291 HAS SOUPS 235291 WITH SCORE 235598.727
AT ITER 271 NEW BEST:: SOT 465304 SOS 307699 HAS SOPS 307699 HAS SOUS 235263 HAS SOUPS 235263 WITH SCORE 235570.699
AT ITER 281 NEW BEST:: SOT 465143 SOS 307537 HAS SOPS 307537 HAS SOUS 235101 HAS SOUPS 235101 WITH SCORE 235408.537
AT ITER 283 NEW BEST:: SOT 464908 SOS 307300 HAS SOPS 307300 HAS SOUS 234864 HAS SOUPS 234864 WITH SCORE 235171.3
AT ITER 293 NEW BEST:: SOT 464908 SOS 307288 HAS SOPS 307288 HAS SOUS 234864 HAS SOUPS 234864 WITH SCORE 235171.288
AT ITER 295 NEW BEST:: SOT 464748 SOS 307181 HAS SOPS 307181 HAS SOUS 234757 HAS SOUPS 234757 WITH SCORE 235064.181
AT ITER 298 NEW BEST:: SOT 464773 SOS 306219 HAS SOPS 306219 HAS SOUS 234548 HAS SOUPS 234548 WITH SCORE 234854.219
AT ITER 301 NEW BEST:: SOT 464695 SOS 306139 HAS SOPS 306139 HAS SOUS 234466 HAS SOUPS 234466 WITH SCORE 234772.139
AT ITER 312 NEW BEST:: SOT 464626 SOS 306070 HAS SOPS 306070 HAS SOUS 234397 HAS SOUPS 234397 WITH SCORE 234703.07
AT ITER 316 NEW BEST:: SOT 464602 SOS 306021 HAS SOPS 306021 HAS SOUS 234356 HAS SOUPS 234356 WITH SCORE 234662.021
AT ITER 320 NEW BEST:: SOT 464602 SOS 305543 HAS SOPS 305543 HAS SOUS 234229 HAS SOUPS 234229 WITH SCORE 234534.543
AT ITER 325 NEW BEST:: SOT 464600 SOS 305541 HAS SOPS 305541 HAS SOUS 234227 HAS SOUPS 234227 WITH SCORE 234532.541
AT ITER 330 NEW BEST:: SOT 464351 SOS 305292 HAS SOPS 305292 HAS SOUS 233978 HAS SOUPS 233978 WITH SCORE 234283.292
AT ITER 339 NEW BEST:: SOT 464351 SOS 305165 HAS SOPS 305165 HAS SOUS 233851 HAS SOUPS 233851 WITH SCORE 234156.165
AT ITER 362 NEW BEST:: SOT 464306 SOS 305119 HAS SOPS 305119 HAS SOUS 233805 HAS SOUPS 233805 WITH SCORE 234110.119
AT ITER 364 NEW BEST:: SOT 463808 SOS 304621 HAS SOPS 304621 HAS SOUS 233307 HAS SOUPS 233307 WITH SCORE 233611.621
AT ITER 370 NEW BEST:: SOT 463634 SOS 304447 HAS SOPS 304447 HAS SOUS 233133 HAS SOUPS 233133 WITH SCORE 233437.447
AT ITER 375 NEW BEST:: SOT 463633 SOS 304443 HAS SOPS 304443 HAS SOUS 233128 HAS SOUPS 233128 WITH SCORE 233432.443
AT ITER 388 NEW BEST:: SOT 463428 SOS 304236 HAS SOPS 304236 HAS SOUS 232921 HAS SOUPS 232921 WITH SCORE 233225.236
AT ITER 391 NEW BEST:: SOT 463420 SOS 304218 HAS SOPS 304218 HAS SOUS 232898 HAS SOUPS 232898 WITH SCORE 233202.218
AT ITER 395 NEW BEST:: SOT 463311 SOS 304076 HAS SOPS 304076 HAS SOUS 232731 HAS SOUPS 232731 WITH SCORE 233035.076
AT ITER 401 NEW BEST:: SOT 463225 SOS 303976 HAS SOPS 303976 HAS SOUS 232631 HAS SOUPS 232631 WITH SCORE 232934.976
AT ITER 402 NEW BEST:: SOT 463223 SOS 302191 HAS SOPS 302191 HAS SOUS 232615 HAS SOUPS 232615 WITH SCORE 232917.191
AT ITER 404 NEW BEST:: SOT 463223 SOS 302079 HAS SOPS 302079 HAS SOUS 232612 HAS SOUPS 232612 WITH SCORE 232914.079
AT ITER 407 NEW BEST:: SOT 463223 SOS 302078 HAS SOPS 302078 HAS SOUS 232611 HAS SOUPS 232611 WITH SCORE 232913.078
AT ITER 415 NEW BEST:: SOT 463166 SOS 302021 HAS SOPS 302021 HAS SOUS 232554 HAS SOUPS 232554 WITH SCORE 232856.021
AT ITER 417 NEW BEST:: SOT 463349 SOS 301834 HAS SOPS 301834 HAS SOUS 232503 HAS SOUPS 232503 WITH SCORE 232804.834
AT ITER 421 NEW BEST:: SOT 463136 SOS 301616 HAS SOPS 301616 HAS SOUS 232272 HAS SOUPS 232272 WITH SCORE 232573.616
AT ITER 422 NEW BEST:: SOT 463013 SOS 301493 HAS SOPS 301493 HAS SOUS 232149 HAS SOUPS 232149 WITH SCORE 232450.493
AT ITER 429 NEW BEST:: SOT 462913 SOS 301393 HAS SOPS 301393 HAS SOUS 232049 HAS SOUPS 232049 WITH SCORE 232350.393
AT ITER 430 NEW BEST:: SOT 462913 SOS 301257 HAS SOPS 301257 HAS SOUS 231913 HAS SOUPS 231913 WITH SCORE 232214.257
AT ITER 431 NEW BEST:: SOT 462883 SOS 301227 HAS SOPS 301227 HAS SOUS 231883 HAS SOUPS 231883 WITH SCORE 232184.227
AT ITER 432 NEW BEST:: SOT 462616 SOS 300959 HAS SOPS 300959 HAS SOUS 231615 HAS SOUPS 231615 WITH SCORE 231915.959
AT ITER 434 NEW BEST:: SOT 462685 SOS 299674 HAS SOPS 299674 HAS SOUS 231074 HAS SOUPS 231074 WITH SCORE 231373.674
AT ITER 437 NEW BEST:: SOT 462478 SOS 299467 HAS SOPS 299467 HAS SOUS 230867 HAS SOUPS 230867 WITH SCORE 231166.467
AT ITER 440 NEW BEST:: SOT 462157 SOS 299689 HAS SOPS 299689 HAS SOUS 230817 HAS SOUPS 230817 WITH SCORE 231116.689
AT ITER 443 NEW BEST:: SOT 462309 SOS 299734 HAS SOPS 299734 HAS SOUS 230544 HAS SOUPS 230544 WITH SCORE 230843.734
AT ITER 445 NEW BEST:: SOT 462146 SOS 299571 HAS SOPS 299571 HAS SOUS 230381 HAS SOUPS 230381 WITH SCORE 230680.571
AT ITER 447 NEW BEST:: SOT 462141 SOS 299113 HAS SOPS 299113 HAS SOUS 230271 HAS SOUPS 230271 WITH SCORE 230570.113
AT ITER 449 NEW BEST:: SOT 462293 SOS 299045 HAS SOPS 299045 HAS SOUS 230091 HAS SOUPS 230091 WITH SCORE 230390.045
AT ITER 450 NEW BEST:: SOT 462528 SOS 297560 HAS SOPS 297560 HAS SOUS 229919 HAS SOUPS 229919 WITH SCORE 230216.56
AT ITER 459 NEW BEST:: SOT 462322 SOS 297354 HAS SOPS 297354 HAS SOUS 229713 HAS SOUPS 229713 WITH SCORE 230010.354
AT ITER 460 NEW BEST:: SOT 461824 SOS 296811 HAS SOPS 296811 HAS SOUS 229169 HAS SOUPS 229169 WITH SCORE 229465.811
AT ITER 463 NEW BEST:: SOT 461588 SOS 296575 HAS SOPS 296575 HAS SOUS 228933 HAS SOUPS 228933 WITH SCORE 229229.575
AT ITER 466 NEW BEST:: SOT 461588 SOS 296644 HAS SOPS 296644 HAS SOUS 228928 HAS SOUPS 228928 WITH SCORE 229224.644
AT ITER 472 NEW BEST:: SOT 461588 SOS 296514 HAS SOPS 296514 HAS SOUS 228798 HAS SOUPS 228798 WITH SCORE 229094.514
AT ITER 473 NEW BEST:: SOT 461456 SOS 295742 HAS SOPS 295742 HAS SOUS 228798 HAS SOUPS 228798 WITH SCORE 229093.742
AT ITER 498 NEW BEST:: SOT 461311 SOS 295017 HAS SOPS 295017 HAS SOUS 228798 HAS SOUPS 228798 WITH SCORE 229093.017
AT ITER 500 NEW BEST:: SOT 461244 SOS 294950 HAS SOPS 294950 HAS SOUS 228776 HAS SOUPS 228776 WITH SCORE 229070.95
AT ITER 506 NEW BEST:: SOT 461234 SOS 294940 HAS SOPS 294940 HAS SOUS 228766 HAS SOUPS 228766 WITH SCORE 229060.94
AT ITER 508 NEW BEST:: SOT 461093 SOS 294799 HAS SOPS 294799 HAS SOUS 228625 HAS SOUPS 228625 WITH SCORE 228919.799
AT ITER 515 NEW BEST:: SOT 460372 SOS 293806 HAS SOPS 293806 HAS SOUS 227632 HAS SOUPS 227632 WITH SCORE 227925.806
AT ITER 518 NEW BEST:: SOT 460363 SOS 293784 HAS SOPS 293784 HAS SOUS 227603 HAS SOUPS 227603 WITH SCORE 227896.784
AT ITER 526 NEW BEST:: SOT 460278 SOS 293628 HAS SOPS 293628 HAS SOUS 227447 HAS SOUPS 227447 WITH SCORE 227740.628
AT ITER 529 NEW BEST:: SOT 460263 SOS 293613 HAS SOPS 293613 HAS SOUS 227432 HAS SOUPS 227432 WITH SCORE 227725.613
AT ITER 541 NEW BEST:: SOT 460160 SOS 293507 HAS SOPS 293507 HAS SOUS 227326 HAS SOUPS 227326 WITH SCORE 227619.507
AT ITER 545 NEW BEST:: SOT 459890 SOS 293237 HAS SOPS 293237 HAS SOUS 227056 HAS SOUPS 227056 WITH SCORE 227349.237
AT ITER 548 NEW BEST:: SOT 459778 SOS 293069 HAS SOPS 293069 HAS SOUS 226888 HAS SOUPS 226888 WITH SCORE 227181.069
AT ITER 552 NEW BEST:: SOT 459737 SOS 293028 HAS SOPS 293028 HAS SOUS 226847 HAS SOUPS 226847 WITH SCORE 227140.028
AT ITER 564 NEW BEST:: SOT 459736 SOS 293399 HAS SOPS 293399 HAS SOUS 226458 HAS SOUPS 226458 WITH SCORE 226751.399
AT ITER 567 NEW BEST:: SOT 459736 SOS 293375 HAS SOPS 293375 HAS SOUS 226458 HAS SOUPS 226458 WITH SCORE 226751.375
AT ITER 574 NEW BEST:: SOT 459727 SOS 293356 HAS SOPS 293356 HAS SOUS 226248 HAS SOUPS 226248 WITH SCORE 226541.356
AT ITER 576 NEW BEST:: SOT 460130 SOS 291519 HAS SOPS 291519 HAS SOUS 225823 HAS SOUPS 225823 WITH SCORE 226114.519
AT ITER 577 NEW BEST:: SOT 460121 SOS 291497 HAS SOPS 291497 HAS SOUS 225794 HAS SOUPS 225794 WITH SCORE 226085.497
AT ITER 590 NEW BEST:: SOT 459956 SOS 291541 HAS SOPS 291541 HAS SOUS 225734 HAS SOUPS 225734 WITH SCORE 226025.541
AT ITER 594 NEW BEST:: SOT 459929 SOS 291514 HAS SOPS 291514 HAS SOUS 225707 HAS SOUPS 225707 WITH SCORE 225998.514
AT ITER 595 NEW BEST:: SOT 459840 SOS 291165 HAS SOPS 291165 HAS SOUS 225358 HAS SOUPS 225358 WITH SCORE 225649.165
AT ITER 598 NEW BEST:: SOT 459836 SOS 291148 HAS SOPS 291148 HAS SOUS 225339 HAS SOUPS 225339 WITH SCORE 225630.148
AT ITER 599 NEW BEST:: SOT 459511 SOS 290821 HAS SOPS 290821 HAS SOUS 225012 HAS SOUPS 225012 WITH SCORE 225302.821
AT ITER 616 NEW BEST:: SOT 459505 SOS 290803 HAS SOPS 290803 HAS SOUS 225012 HAS SOUPS 225012 WITH SCORE 225302.803
AT ITER 619 NEW BEST:: SOT 459405 SOS 290543 HAS SOPS 290543 HAS SOUS 224832 HAS SOUPS 224832 WITH SCORE 225122.543
AT ITER 629 NEW BEST:: SOT 459547 SOS 288663 HAS SOPS 288663 HAS SOUS 224457 HAS SOUPS 224457 WITH SCORE 224745.663
AT ITER 630 NEW BEST:: SOT 459719 SOS 288579 HAS SOPS 288579 HAS SOUS 224380 HAS SOUPS 224380 WITH SCORE 224668.579
AT ITER 631 NEW BEST:: SOT 459397 SOS 286969 HAS SOPS 286969 HAS SOUS 224379 HAS SOUPS 224379 WITH SCORE 224665.969
AT ITER 633 NEW BEST:: SOT 459382 SOS 286951 HAS SOPS 286951 HAS SOUS 224361 HAS SOUPS 224361 WITH SCORE 224647.951
AT ITER 634 NEW BEST:: SOT 459198 SOS 286767 HAS SOPS 286767 HAS SOUS 224177 HAS SOUPS 224177 WITH SCORE 224463.767
AT ITER 638 NEW BEST:: SOT 459006 SOS 286558 HAS SOPS 286558 HAS SOUS 223968 HAS SOUPS 223968 WITH SCORE 224254.558
AT ITER 671 NEW BEST:: SOT 458941 SOS 286493 HAS SOPS 286493 HAS SOUS 223903 HAS SOUPS 223903 WITH SCORE 224189.493
AT ITER 672 NEW BEST:: SOT 458230 SOS 285780 HAS SOPS 285780 HAS SOUS 223190 HAS SOUPS 223190 WITH SCORE 223475.78
AT ITER 678 NEW BEST:: SOT 458116 SOS 285706 HAS SOPS 285706 HAS SOUS 223116 HAS SOUPS 223116 WITH SCORE 223401.706
AT ITER 682 NEW BEST:: SOT 457503 SOS 285093 HAS SOPS 285093 HAS SOUS 222503 HAS SOUPS 222503 WITH SCORE 222788.093
AT ITER 689 NEW BEST:: SOT 457225 SOS 284815 HAS SOPS 284815 HAS SOUS 222219 HAS SOUPS 222219 WITH SCORE 222503.815
AT ITER 695 NEW BEST:: SOT 457129 SOS 284548 HAS SOPS 284548 HAS SOUS 221952 HAS SOUPS 221952 WITH SCORE 222236.548
AT ITER 699 NEW BEST:: SOT 457068 SOS 284614 HAS SOPS 284614 HAS SOUS 221948 HAS SOUPS 221948 WITH SCORE 222232.614
AT ITER 700 NEW BEST:: SOT 456304 SOS 283902 HAS SOPS 283902 HAS SOUS 221236 HAS SOUPS 221236 WITH SCORE 221519.902
AT ITER 705 NEW BEST:: SOT 456304 SOS 283509 HAS SOPS 283509 HAS SOUS 221105 HAS SOUPS 221105 WITH SCORE 221388.509
AT ITER 715 NEW BEST:: SOT 456173 SOS 282854 HAS SOPS 282854 HAS SOUS 221104 HAS SOUPS 221104 WITH SCORE 221386.854
AT ITER 727 NEW BEST:: SOT 456150 SOS 282426 HAS SOPS 282426 HAS SOUS 220742 HAS SOUPS 220742 WITH SCORE 221024.426
AT ITER 738 NEW BEST:: SOT 456121 SOS 282397 HAS SOPS 282397 HAS SOUS 220713 HAS SOUPS 220713 WITH SCORE 220995.397
AT ITER 744 NEW BEST:: SOT 456002 SOS 281683 HAS SOPS 281683 HAS SOUS 220530 HAS SOUPS 220530 WITH SCORE 220811.683
AT ITER 748 NEW BEST:: SOT 455935 SOS 281616 HAS SOPS 281616 HAS SOUS 220463 HAS SOUPS 220463 WITH SCORE 220744.616
AT ITER 750 NEW BEST:: SOT 455634 SOS 281424 HAS SOPS 281424 HAS SOUS 220367 HAS SOUPS 220367 WITH SCORE 220648.424
AT ITER 754 NEW BEST:: SOT 455697 SOS 279333 HAS SOPS 279333 HAS SOUS 220209 HAS SOUPS 220209 WITH SCORE 220488.333
AT ITER 759 NEW BEST:: SOT 455696 SOS 279328 HAS SOPS 279328 HAS SOUS 220204 HAS SOUPS 220204 WITH SCORE 220483.328
AT ITER 761 NEW BEST:: SOT 455488 SOS 279119 HAS SOPS 279119 HAS SOUS 219995 HAS SOUPS 219995 WITH SCORE 220274.119
AT ITER 766 NEW BEST:: SOT 455937 SOS 278040 HAS SOPS 278040 HAS SOUS 219247 HAS SOUPS 219247 WITH SCORE 219525.04
AT ITER 780 NEW BEST:: SOT 455719 SOS 277829 HAS SOPS 277829 HAS SOUS 218903 HAS SOUPS 218903 WITH SCORE 219180.829
AT ITER 786 NEW BEST:: SOT 455596 SOS 277694 HAS SOPS 277694 HAS SOUS 218760 HAS SOUPS 218760 WITH SCORE 219037.694
AT ITER 789 NEW BEST:: SOT 455524 SOS 277586 HAS SOPS 277586 HAS SOUS 218652 HAS SOUPS 218652 WITH SCORE 218929.586
AT ITER 793 NEW BEST:: SOT 455494 SOS 277556 HAS SOPS 277556 HAS SOUS 218592 HAS SOUPS 218592 WITH SCORE 218869.556
AT ITER 797 NEW BEST:: SOT 455370 SOS 277184 HAS SOPS 277184 HAS SOUS 218592 HAS SOUPS 218592 WITH SCORE 218869.184
AT ITER 802 NEW BEST:: SOT 455365 SOS 277179 HAS SOPS 277179 HAS SOUS 218587 HAS SOUPS 218587 WITH SCORE 218864.179
AT ITER 824 NEW BEST:: SOT 455182 SOS 277112 HAS SOPS 277112 HAS SOUS 218520 HAS SOUPS 218520 WITH SCORE 218797.112
AT ITER 831 NEW BEST:: SOT 455060 SOS 276819 HAS SOPS 276819 HAS SOUS 218227 HAS SOUPS 218227 WITH SCORE 218503.819
AT ITER 837 NEW BEST:: SOT 454964 SOS 276723 HAS SOPS 276723 HAS SOUS 218131 HAS SOUPS 218131 WITH SCORE 218407.723
AT ITER 840 NEW BEST:: SOT 454964 SOS 276285 HAS SOPS 276285 HAS SOUS 218122 HAS SOUPS 218122 WITH SCORE 218398.285
AT ITER 854 NEW BEST:: SOT 454788 SOS 276108 HAS SOPS 276108 HAS SOUS 217945 HAS SOUPS 217945 WITH SCORE 218221.108
AT ITER 858 NEW BEST:: SOT 454800 SOS 276098 HAS SOPS 276098 HAS SOUS 217935 HAS SOUPS 217935 WITH SCORE 218211.098
AT ITER 867 NEW BEST:: SOT 454603 SOS 275901 HAS SOPS 275901 HAS SOUS 217771 HAS SOUPS 217771 WITH SCORE 218046.901
AT ITER 870 NEW BEST:: SOT 454590 SOS 275880 HAS SOPS 275880 HAS SOUS 217738 HAS SOUPS 217738 WITH SCORE 218013.88
AT ITER 879 NEW BEST:: SOT 454326 SOS 275477 HAS SOPS 275477 HAS SOUS 217335 HAS SOUPS 217335 WITH SCORE 217610.477
AT ITER 884 NEW BEST:: SOT 454323 SOS 275474 HAS SOPS 275474 HAS SOUS 217332 HAS SOUPS 217332 WITH SCORE 217607.474
AT ITER 891 NEW BEST:: SOT 453831 SOS 274954 HAS SOPS 274954 HAS SOUS 216984 HAS SOUPS 216984 WITH SCORE 217258.954
AT ITER 893 NEW BEST:: SOT 453785 SOS 274908 HAS SOPS 274908 HAS SOUS 216938 HAS SOUPS 216938 WITH SCORE 217212.908
AT ITER 900 NEW BEST:: SOT 453675 SOS 274725 HAS SOPS 274725 HAS SOUS 216762 HAS SOUPS 216762 WITH SCORE 217036.725
AT ITER 904 NEW BEST:: SOT 453586 SOS 274640 HAS SOPS 274640 HAS SOUS 216677 HAS SOUPS 216677 WITH SCORE 216951.64
AT ITER 909 NEW BEST:: SOT 453245 SOS 274297 HAS SOPS 274297 HAS SOUS 216334 HAS SOUPS 216334 WITH SCORE 216608.297
AT ITER 910 NEW BEST:: SOT 453321 SOS 274017 HAS SOPS 274017 HAS SOUS 216269 HAS SOUPS 216269 WITH SCORE 216543.017
AT ITER 930 NEW BEST:: SOT 452646 SOS 273342 HAS SOPS 273342 HAS SOUS 215594 HAS SOUPS 215594 WITH SCORE 215867.342
AT ITER 933 NEW BEST:: SOT 452662 SOS 273353 HAS SOPS 273353 HAS SOUS 215509 HAS SOUPS 215509 WITH SCORE 215782.353
AT ITER 940 NEW BEST:: SOT 452501 SOS 273139 HAS SOPS 273139 HAS SOUS 215295 HAS SOUPS 215295 WITH SCORE 215568.139
AT ITER 944 NEW BEST:: SOT 452501 SOS 273047 HAS SOPS 273047 HAS SOUS 215295 HAS SOUPS 215295 WITH SCORE 215568.047
AT ITER 947 NEW BEST:: SOT 452501 SOS 273119 HAS SOPS 273119 HAS SOUS 215259 HAS SOUPS 215259 WITH SCORE 215532.119
AT ITER 948 NEW BEST:: SOT 452625 SOS 272309 HAS SOPS 272309 HAS SOUS 215157 HAS SOUPS 215157 WITH SCORE 215429.309
AT ITER 953 NEW BEST:: SOT 452625 SOS 272223 HAS SOPS 272223 HAS SOUS 215071 HAS SOUPS 215071 WITH SCORE 215343.223
AT ITER 956 NEW BEST:: SOT 452505 SOS 271962 HAS SOPS 271962 HAS SOUS 215029 HAS SOUPS 215029 WITH SCORE 215300.962
AT ITER 966 NEW BEST:: SOT 452502 SOS 271959 HAS SOPS 271959 HAS SOUS 215026 HAS SOUPS 215026 WITH SCORE 215297.959
AT ITER 979 NEW BEST:: SOT 452502 SOS 271794 HAS SOPS 271794 HAS SOUS 215007 HAS SOUPS 215007 WITH SCORE 215278.794
AT ITER 996 NEW BEST:: SOT 452484 SOS 271774 HAS SOPS 271774 HAS SOUS 214988 HAS SOUPS 214988 WITH SCORE 215259.774
AT ITER 997 NEW BEST:: SOT 452342 SOS 271567 HAS SOPS 271567 HAS SOUS 214781 HAS SOUPS 214781 WITH SCORE 215052.567
AT ITER 1003 NEW BEST:: SOT 452341 SOS 271564 HAS SOPS 271564 HAS SOUS 214778 HAS SOUPS 214778 WITH SCORE 215049.564
AT ITER 1015 NEW BEST:: SOT 452056 SOS 271113 HAS SOPS 271113 HAS SOUS 214195 HAS SOUPS 214195 WITH SCORE 214466.113
AT ITER 1017 NEW BEST:: SOT 452056 SOS 270858 HAS SOPS 270858 HAS SOUS 214099 HAS SOUPS 214099 WITH SCORE 214369.858
AT ITER 1018 NEW BEST:: SOT 451885 SOS 270687 HAS SOPS 270687 HAS SOUS 213928 HAS SOUPS 213928 WITH SCORE 214198.687
AT ITER 1023 NEW BEST:: SOT 451694 SOS 270496 HAS SOPS 270496 HAS SOUS 213597 HAS SOUPS 213597 WITH SCORE 213867.496
AT ITER 1025 NEW BEST:: SOT 451058 SOS 268796 HAS SOPS 268796 HAS SOUS 212746 HAS SOUPS 212746 WITH SCORE 213014.796
AT ITER 1029 NEW BEST:: SOT 451058 SOS 268746 HAS SOPS 268746 HAS SOUS 212696 HAS SOUPS 212696 WITH SCORE 212964.746
AT ITER 1034 NEW BEST:: SOT 451077 SOS 268739 HAS SOPS 268739 HAS SOUS 212688 HAS SOUPS 212688 WITH SCORE 212956.739
AT ITER 1035 NEW BEST:: SOT 450805 SOS 268467 HAS SOPS 268467 HAS SOUS 212416 HAS SOUPS 212416 WITH SCORE 212684.467
AT ITER 1039 NEW BEST:: SOT 450305 SOS 265995 HAS SOPS 265995 HAS SOUS 211168 HAS SOUPS 211168 WITH SCORE 211433.995
AT ITER 1041 NEW BEST:: SOT 450308 SOS 265900 HAS SOPS 265900 HAS SOUS 211007 HAS SOUPS 211007 WITH SCORE 211272.9
AT ITER 1054 NEW BEST:: SOT 450144 SOS 265736 HAS SOPS 265736 HAS SOUS 210843 HAS SOUPS 210843 WITH SCORE 211108.736
AT ITER 1060 NEW BEST:: SOT 450064 SOS 265576 HAS SOPS 265576 HAS SOUS 210683 HAS SOUPS 210683 WITH SCORE 210948.576
AT ITER 1061 NEW BEST:: SOT 449918 SOS 265332 HAS SOPS 265332 HAS SOUS 210439 HAS SOUPS 210439 WITH SCORE 210704.332
AT ITER 1065 NEW BEST:: SOT 449918 SOS 265302 HAS SOPS 265302 HAS SOUS 210439 HAS SOUPS 210439 WITH SCORE 210704.302
AT ITER 1070 NEW BEST:: SOT 449918 SOS 264674 HAS SOPS 264674 HAS SOUS 210260 HAS SOUPS 210260 WITH SCORE 210524.674
AT ITER 1075 NEW BEST:: SOT 449590 SOS 264344 HAS SOPS 264344 HAS SOUS 209930 HAS SOUPS 209930 WITH SCORE 210194.344
AT ITER 1077 NEW BEST:: SOT 449545 SOS 264001 HAS SOPS 264001 HAS SOUS 209722 HAS SOUPS 209722 WITH SCORE 209986.001
AT ITER 1083 NEW BEST:: SOT 449122 SOS 263648 HAS SOPS 263648 HAS SOUS 209120 HAS SOUPS 209120 WITH SCORE 209383.648
AT ITER 1087 NEW BEST:: SOT 449120 SOS 263092 HAS SOPS 263092 HAS SOUS 209071 HAS SOUPS 209071 WITH SCORE 209334.092
AT ITER 1091 NEW BEST:: SOT 449146 SOS 262479 HAS SOPS 262479 HAS SOUS 209006 HAS SOUPS 209006 WITH SCORE 209268.479
AT ITER 1093 NEW BEST:: SOT 449128 SOS 262160 HAS SOPS 262160 HAS SOUS 208891 HAS SOUPS 208891 WITH SCORE 209153.16
AT ITER 1096 NEW BEST:: SOT 449109 SOS 262141 HAS SOPS 262141 HAS SOUS 208872 HAS SOUPS 208872 WITH SCORE 209134.141
AT ITER 1100 NEW BEST:: SOT 449101 SOS 262133 HAS SOPS 262133 HAS SOUS 208864 HAS SOUPS 208864 WITH SCORE 209126.133
AT ITER 1101 NEW BEST:: SOT 449070 SOS 262102 HAS SOPS 262102 HAS SOUS 208833 HAS SOUPS 208833 WITH SCORE 209095.102
AT ITER 1102 NEW BEST:: SOT 449058 SOS 262090 HAS SOPS 262090 HAS SOUS 208681 HAS SOUPS 208681 WITH SCORE 208943.09
AT ITER 1107 NEW BEST:: SOT 449238 SOS 262125 HAS SOPS 262125 HAS SOUS 208610 HAS SOUPS 208610 WITH SCORE 208872.125
AT ITER 1109 NEW BEST:: SOT 448852 SOS 261737 HAS SOPS 261737 HAS SOUS 208223 HAS SOUPS 208223 WITH SCORE 208484.737
AT ITER 1133 NEW BEST:: SOT 448790 SOS 261675 HAS SOPS 261675 HAS SOUS 208161 HAS SOUPS 208161 WITH SCORE 208422.675
AT ITER 1135 NEW BEST:: SOT 448738 SOS 261623 HAS SOPS 261623 HAS SOUS 208109 HAS SOUPS 208109 WITH SCORE 208370.623
AT ITER 1137 NEW BEST:: SOT 448540 SOS 261425 HAS SOPS 261425 HAS SOUS 207911 HAS SOUPS 207911 WITH SCORE 208172.425
AT ITER 1145 NEW BEST:: SOT 448540 SOS 261355 HAS SOPS 261355 HAS SOUS 207900 HAS SOUPS 207900 WITH SCORE 208161.355
AT ITER 1163 NEW BEST:: SOT 448577 SOS 261271 HAS SOPS 261271 HAS SOUS 207748 HAS SOUPS 207748 WITH SCORE 208009.271
AT ITER 1169 NEW BEST:: SOT 448295 SOS 260989 HAS SOPS 260989 HAS SOUS 207466 HAS SOUPS 207466 WITH SCORE 207726.989
AT ITER 1171 NEW BEST:: SOT 448050 SOS 260614 HAS SOPS 260614 HAS SOUS 207156 HAS SOUPS 207156 WITH SCORE 207416.614
AT ITER 1177 NEW BEST:: SOT 447907 SOS 260471 HAS SOPS 260471 HAS SOUS 207013 HAS SOUPS 207013 WITH SCORE 207273.471
AT ITER 1178 NEW BEST:: SOT 447557 SOS 260120 HAS SOPS 260120 HAS SOUS 206662 HAS SOUPS 206662 WITH SCORE 206922.12
AT ITER 1195 NEW BEST:: SOT 447402 SOS 259965 HAS SOPS 259965 HAS SOUS 206507 HAS SOUPS 206507 WITH SCORE 206766.965
AT ITER 1208 NEW BEST:: SOT 447329 SOS 259883 HAS SOPS 259883 HAS SOUS 206425 HAS SOUPS 206425 WITH SCORE 206684.883
AT ITER 1217 NEW BEST:: SOT 447030 SOS 259737 HAS SOPS 259737 HAS SOUS 206349 HAS SOUPS 206349 WITH SCORE 206608.737
AT ITER 1224 NEW BEST:: SOT 447030 SOS 259632 HAS SOPS 259632 HAS SOUS 206244 HAS SOUPS 206244 WITH SCORE 206503.632
AT ITER 1228 NEW BEST:: SOT 446250 SOS 258895 HAS SOPS 258895 HAS SOUS 205523 HAS SOUPS 205523 WITH SCORE 205781.895
AT ITER 1232 NEW BEST:: SOT 446397 SOS 258960 HAS SOPS 258960 HAS SOUS 205509 HAS SOUPS 205509 WITH SCORE 205767.96
AT ITER 1246 NEW BEST:: SOT 446399 SOS 258994 HAS SOPS 258994 HAS SOUS 205428 HAS SOUPS 205428 WITH SCORE 205686.994
AT ITER 1256 NEW BEST:: SOT 446119 SOS 257271 HAS SOPS 257271 HAS SOUS 205426 HAS SOUPS 205426 WITH SCORE 205683.271
AT ITER 1264 NEW BEST:: SOT 446008 SOS 256696 HAS SOPS 256696 HAS SOUS 205426 HAS SOUPS 205426 WITH SCORE 205682.696
AT ITER 1270 NEW BEST:: SOT 446073 SOS 256712 HAS SOPS 256712 HAS SOUS 205390 HAS SOUPS 205390 WITH SCORE 205646.712
AT ITER 1283 NEW BEST:: SOT 446437 SOS 257186 HAS SOPS 257186 HAS SOUS 205338 HAS SOUPS 205338 WITH SCORE 205595.186
AT ITER 1286 NEW BEST:: SOT 446412 SOS 257161 HAS SOPS 257161 HAS SOUS 205313 HAS SOUPS 205313 WITH SCORE 205570.161
AT ITER 1287 NEW BEST:: SOT 446405 SOS 257154 HAS SOPS 257154 HAS SOUS 205306 HAS SOUPS 205306 WITH SCORE 205563.154
AT ITER 1288 NEW BEST:: SOT 446124 SOS 255146 HAS SOPS 255146 HAS SOUS 205056 HAS SOUPS 205056 WITH SCORE 205311.146
AT ITER 1291 NEW BEST:: SOT 446019 SOS 254621 HAS SOPS 254621 HAS SOUS 205056 HAS SOUPS 205056 WITH SCORE 205310.621
AT ITER 1293 NEW BEST:: SOT 446018 SOS 254620 HAS SOPS 254620 HAS SOUS 205055 HAS SOUPS 205055 WITH SCORE 205309.62
AT ITER 1325 NEW BEST:: SOT 446071 SOS 254717 HAS SOPS 254717 HAS SOUS 205046 HAS SOUPS 205046 WITH SCORE 205300.717
AT ITER 1327 NEW BEST:: SOT 445961 SOS 254516 HAS SOPS 254516 HAS SOUS 204845 HAS SOUPS 204845 WITH SCORE 205099.516
AT ITER 1337 NEW BEST:: SOT 445869 SOS 254378 HAS SOPS 254378 HAS SOUS 204707 HAS SOUPS 204707 WITH SCORE 204961.378
AT ITER 1338 NEW BEST:: SOT 445869 SOS 254318 HAS SOPS 254318 HAS SOUS 204689 HAS SOUPS 204689 WITH SCORE 204943.318
AT ITER 1340 NEW BEST:: SOT 445772 SOS 254248 HAS SOPS 254248 HAS SOUS 204619 HAS SOUPS 204619 WITH SCORE 204873.248
AT ITER 1363 NEW BEST:: SOT 445673 SOS 253951 HAS SOPS 253951 HAS SOUS 204611 HAS SOUPS 204611 WITH SCORE 204864.951
AT ITER 1372 NEW BEST:: SOT 445743 SOS 253944 HAS SOPS 253944 HAS SOUS 204604 HAS SOUPS 204604 WITH SCORE 204857.944
AT ITER 1375 NEW BEST:: SOT 445722 SOS 253243 HAS SOPS 253243 HAS SOUS 204603 HAS SOUPS 204603 WITH SCORE 204856.243
AT ITER 1384 NEW BEST:: SOT 445368 SOS 252887 HAS SOPS 252887 HAS SOUS 204247 HAS SOUPS 204247 WITH SCORE 204499.887
AT ITER 1395 NEW BEST:: SOT 445327 SOS 252846 HAS SOPS 252846 HAS SOUS 204206 HAS SOUPS 204206 WITH SCORE 204458.846
AT ITER 1397 NEW BEST:: SOT 445337 SOS 252852 HAS SOPS 252852 HAS SOUS 204200 HAS SOUPS 204200 WITH SCORE 204452.852
AT ITER 1410 NEW BEST:: SOT 445257 SOS 252744 HAS SOPS 252744 HAS SOUS 204092 HAS SOUPS 204092 WITH SCORE 204344.744
AT ITER 1411 NEW BEST:: SOT 445257 SOS 252683 HAS SOPS 252683 HAS SOUS 204031 HAS SOUPS 204031 WITH SCORE 204283.683
AT ITER 1416 NEW BEST:: SOT 445257 SOS 251880 HAS SOPS 251880 HAS SOUS 203849 HAS SOUPS 203849 WITH SCORE 204100.88
AT ITER 1421 NEW BEST:: SOT 445208 SOS 251831 HAS SOPS 251831 HAS SOUS 203800 HAS SOUPS 203800 WITH SCORE 204051.831
AT ITER 1423 NEW BEST:: SOT 445389 SOS 252184 HAS SOPS 252184 HAS SOUS 203648 HAS SOUPS 203648 WITH SCORE 203900.184
AT ITER 1444 NEW BEST:: SOT 445389 SOS 252121 HAS SOPS 252121 HAS SOUS 203459 HAS SOUPS 203459 WITH SCORE 203711.121
AT ITER 1475 NEW BEST:: SOT 445373 SOS 252085 HAS SOPS 252085 HAS SOUS 203458 HAS SOUPS 203458 WITH SCORE 203710.085
AT ITER 1477 NEW BEST:: SOT 445298 SOS 251966 HAS SOPS 251966 HAS SOUS 203339 HAS SOUPS 203339 WITH SCORE 203590.966
AT ITER 1486 NEW BEST:: SOT 445298 SOS 251771 HAS SOPS 251771 HAS SOUS 203282 HAS SOUPS 203282 WITH SCORE 203533.771
AT ITER 1490 NEW BEST:: SOT 445218 SOS 251691 HAS SOPS 251691 HAS SOUS 203202 HAS SOUPS 203202 WITH SCORE 203453.691
AT ITER 1505 NEW BEST:: SOT 444913 SOS 251384 HAS SOPS 251384 HAS SOUS 202895 HAS SOUPS 202895 WITH SCORE 203146.384
AT ITER 1522 NEW BEST:: SOT 444603 SOS 251042 HAS SOPS 251042 HAS SOUS 202553 HAS SOUPS 202553 WITH SCORE 202804.042
AT ITER 1525 NEW BEST:: SOT 444535 SOS 250974 HAS SOPS 250974 HAS SOUS 202485 HAS SOUPS 202485 WITH SCORE 202735.974
AT ITER 1534 NEW BEST:: SOT 444378 SOS 250482 HAS SOPS 250482 HAS SOUS 202120 HAS SOUPS 202120 WITH SCORE 202370.482
AT ITER 1536 NEW BEST:: SOT 444378 SOS 249906 HAS SOPS 249906 HAS SOUS 202120 HAS SOUPS 202120 WITH SCORE 202369.906
AT ITER 1543 NEW BEST:: SOT 444273 SOS 249854 HAS SOPS 249854 HAS SOUS 202006 HAS SOUPS 202006 WITH SCORE 202255.854
AT ITER 1551 NEW BEST:: SOT 443925 SOS 249497 HAS SOPS 249497 HAS SOUS 201649 HAS SOUPS 201649 WITH SCORE 201898.497
AT ITER 1578 NEW BEST:: SOT 443526 SOS 249098 HAS SOPS 249098 HAS SOUS 201250 HAS SOUPS 201250 WITH SCORE 201499.098
AT ITER 1593 NEW BEST:: SOT 443520 SOS 249080 HAS SOPS 249080 HAS SOUS 201232 HAS SOUPS 201232 WITH SCORE 201481.08
AT ITER 1604 NEW BEST:: SOT 443291 SOS 248635 HAS SOPS 248635 HAS SOUS 200811 HAS SOUPS 200811 WITH SCORE 201059.635
AT ITER 1605 NEW BEST:: SOT 443241 SOS 248585 HAS SOPS 248585 HAS SOUS 200761 HAS SOUPS 200761 WITH SCORE 201009.585
AT ITER 1619 NEW BEST:: SOT 443241 SOS 248432 HAS SOPS 248432 HAS SOUS 200708 HAS SOUPS 200708 WITH SCORE 200956.432
AT ITER 1627 NEW BEST:: SOT 443217 SOS 248348 HAS SOPS 248348 HAS SOUS 200660 HAS SOUPS 200660 WITH SCORE 200908.348
AT ITER 1634 NEW BEST:: SOT 443214 SOS 247888 HAS SOPS 247888 HAS SOUS 200641 HAS SOUPS 200641 WITH SCORE 200888.888
AT ITER 1641 NEW BEST:: SOT 443214 SOS 247264 HAS SOPS 247264 HAS SOUS 200579 HAS SOUPS 200579 WITH SCORE 200826.264
AT ITER 1654 NEW BEST:: SOT 443357 SOS 247255 HAS SOPS 247255 HAS SOUS 200570 HAS SOUPS 200570 WITH SCORE 200817.255
AT ITER 1655 NEW BEST:: SOT 443356 SOS 247254 HAS SOPS 247254 HAS SOUS 200569 HAS SOUPS 200569 WITH SCORE 200816.254
AT ITER 1666 NEW BEST:: SOT 443349 SOS 247230 HAS SOPS 247230 HAS SOUS 200545 HAS SOUPS 200545 WITH SCORE 200792.23
AT ITER 1669 NEW BEST:: SOT 443502 SOS 247216 HAS SOPS 247216 HAS SOUS 200518 HAS SOUPS 200518 WITH SCORE 200765.216
AT ITER 1679 NEW BEST:: SOT 443501 SOS 246833 HAS SOPS 246833 HAS SOUS 200507 HAS SOUPS 200507 WITH SCORE 200753.833
AT ITER 1683 NEW BEST:: SOT 443501 SOS 246832 HAS SOPS 246832 HAS SOUS 200506 HAS SOUPS 200506 WITH SCORE 200752.832
AT ITER 1686 NEW BEST:: SOT 442930 SOS 246299 HAS SOPS 246299 HAS SOUS 200446 HAS SOUPS 200446 WITH SCORE 200692.299
AT ITER 1695 NEW BEST:: SOT 442840 SOS 246208 HAS SOPS 246208 HAS SOUS 200355 HAS SOUPS 200355 WITH SCORE 200601.208
AT ITER 1713 NEW BEST:: SOT 442839 SOS 245594 HAS SOPS 245594 HAS SOUS 200346 HAS SOUPS 200346 WITH SCORE 200591.594
AT ITER 1716 NEW BEST:: SOT 442645 SOS 245262 HAS SOPS 245262 HAS SOUS 200014 HAS SOUPS 200014 WITH SCORE 200259.262
AT ITER 1728 NEW BEST:: SOT 442629 SOS 245149 HAS SOPS 245149 HAS SOUS 199901 HAS SOUPS 199901 WITH SCORE 200146.149
AT ITER 1735 NEW BEST:: SOT 442407 SOS 243126 HAS SOPS 243126 HAS SOUS 199188 HAS SOUPS 199188 WITH SCORE 199431.126
AT ITER 1743 NEW BEST:: SOT 442264 SOS 242983 HAS SOPS 242983 HAS SOUS 199045 HAS SOUPS 199045 WITH SCORE 199287.983
AT ITER 1745 NEW BEST:: SOT 442210 SOS 242928 HAS SOPS 242928 HAS SOUS 198990 HAS SOUPS 198990 WITH SCORE 199232.928
AT ITER 1762 NEW BEST:: SOT 442210 SOS 242841 HAS SOPS 242841 HAS SOUS 198990 HAS SOUPS 198990 WITH SCORE 199232.841
AT ITER 1763 NEW BEST:: SOT 442121 SOS 242752 HAS SOPS 242752 HAS SOUS 198901 HAS SOUPS 198901 WITH SCORE 199143.752
AT ITER 1768 NEW BEST:: SOT 442121 SOS 242392 HAS SOPS 242392 HAS SOUS 198858 HAS SOUPS 198858 WITH SCORE 199100.392
AT ITER 1770 NEW BEST:: SOT 442120 SOS 242391 HAS SOPS 242391 HAS SOUS 198857 HAS SOUPS 198857 WITH SCORE 199099.391
AT ITER 1776 NEW BEST:: SOT 442035 SOS 242306 HAS SOPS 242306 HAS SOUS 198772 HAS SOUPS 198772 WITH SCORE 199014.306
AT ITER 1789 NEW BEST:: SOT 441907 SOS 242178 HAS SOPS 242178 HAS SOUS 198644 HAS SOUPS 198644 WITH SCORE 198886.178
AT ITER 1793 NEW BEST:: SOT 441787 SOS 241438 HAS SOPS 241438 HAS SOUS 198644 HAS SOUPS 198644 WITH SCORE 198885.438
AT ITER 1802 NEW BEST:: SOT 441702 SOS 241309 HAS SOPS 241309 HAS SOUS 198515 HAS SOUPS 198515 WITH SCORE 198756.309
AT ITER 1810 NEW BEST:: SOT 441656 SOS 241059 HAS SOPS 241059 HAS SOUS 198502 HAS SOUPS 198502 WITH SCORE 198743.059
AT ITER 1820 NEW BEST:: SOT 441727 SOS 239771 HAS SOPS 239771 HAS SOUS 198128 HAS SOUPS 198128 WITH SCORE 198367.771
AT ITER 1826 NEW BEST:: SOT 441818 SOS 239864 HAS SOPS 239864 HAS SOUS 198033 HAS SOUPS 198033 WITH SCORE 198272.864
AT ITER 1827 NEW BEST:: SOT 441562 SOS 239564 HAS SOPS 239564 HAS SOUS 197729 HAS SOUPS 197729 WITH SCORE 197968.564
AT ITER 1840 NEW BEST:: SOT 441550 SOS 239543 HAS SOPS 239543 HAS SOUS 197697 HAS SOUPS 197697 WITH SCORE 197936.543
AT ITER 1842 NEW BEST:: SOT 441729 SOS 239713 HAS SOPS 239713 HAS SOUS 197429 HAS SOUPS 197429 WITH SCORE 197668.713
AT ITER 1843 NEW BEST:: SOT 441585 SOS 239567 HAS SOPS 239567 HAS SOUS 197283 HAS SOUPS 197283 WITH SCORE 197522.567
AT ITER 1854 NEW BEST:: SOT 441585 SOS 239349 HAS SOPS 239349 HAS SOUS 197065 HAS SOUPS 197065 WITH SCORE 197304.349
AT ITER 1882 NEW BEST:: SOT 441506 SOS 239254 HAS SOPS 239254 HAS SOUS 196970 HAS SOUPS 196970 WITH SCORE 197209.254
AT ITER 1888 NEW BEST:: SOT 441280 SOS 239026 HAS SOPS 239026 HAS SOUS 196742 HAS SOUPS 196742 WITH SCORE 196981.026
AT ITER 1891 NEW BEST:: SOT 441278 SOS 239023 HAS SOPS 239023 HAS SOUS 196739 HAS SOUPS 196739 WITH SCORE 196978.023
AT ITER 1892 NEW BEST:: SOT 441226 SOS 238971 HAS SOPS 238971 HAS SOUS 196687 HAS SOUPS 196687 WITH SCORE 196925.971
AT ITER 1895 NEW BEST:: SOT 441703 SOS 238163 HAS SOPS 238163 HAS SOUS 196597 HAS SOUPS 196597 WITH SCORE 196835.163
AT ITER 1901 NEW BEST:: SOT 442017 SOS 238284 HAS SOPS 238284 HAS SOUS 196505 HAS SOUPS 196505 WITH SCORE 196743.284
AT ITER 1902 NEW BEST:: SOT 441722 SOS 238785 HAS SOPS 238785 HAS SOUS 196373 HAS SOUPS 196373 WITH SCORE 196611.785
AT ITER 1906 NEW BEST:: SOT 441688 SOS 238751 HAS SOPS 238751 HAS SOUS 196339 HAS SOUPS 196339 WITH SCORE 196577.751
AT ITER 1907 NEW BEST:: SOT 441688 SOS 238678 HAS SOPS 238678 HAS SOUS 196266 HAS SOUPS 196266 WITH SCORE 196504.678
AT ITER 1908 NEW BEST:: SOT 441758 SOS 238541 HAS SOPS 238541 HAS SOUS 196129 HAS SOUPS 196129 WITH SCORE 196367.541
AT ITER 1912 NEW BEST:: SOT 441725 SOS 238395 HAS SOPS 238395 HAS SOUS 196087 HAS SOUPS 196087 WITH SCORE 196325.395
AT ITER 1921 NEW BEST:: SOT 441617 SOS 238287 HAS SOPS 238287 HAS SOUS 195979 HAS SOUPS 195979 WITH SCORE 196217.287
AT ITER 1924 NEW BEST:: SOT 441546 SOS 238216 HAS SOPS 238216 HAS SOUS 195908 HAS SOUPS 195908 WITH SCORE 196146.216
AT ITER 1927 NEW BEST:: SOT 441542 SOS 238212 HAS SOPS 238212 HAS SOUS 195836 HAS SOUPS 195836 WITH SCORE 196074.212
AT ITER 1935 NEW BEST:: SOT 441538 SOS 238208 HAS SOPS 238208 HAS SOUS 195832 HAS SOUPS 195832 WITH SCORE 196070.208
AT ITER 1943 NEW BEST:: SOT 441422 SOS 238085 HAS SOPS 238085 HAS SOUS 195709 HAS SOUPS 195709 WITH SCORE 195947.085
AT ITER 1954 NEW BEST:: SOT 441222 SOS 237885 HAS SOPS 237885 HAS SOUS 195508 HAS SOUPS 195508 WITH SCORE 195745.885
AT ITER 1963 NEW BEST:: SOT 441076 SOS 237597 HAS SOPS 237597 HAS SOUS 195220 HAS SOUPS 195220 WITH SCORE 195457.597
AT ITER 1968 NEW BEST:: SOT 440956 SOS 236587 HAS SOPS 236587 HAS SOUS 194997 HAS SOUPS 194997 WITH SCORE 195233.587
AT ITER 1971 NEW BEST:: SOT 440938 SOS 236569 HAS SOPS 236569 HAS SOUS 194979 HAS SOUPS 194979 WITH SCORE 195215.569
AT ITER 1983 NEW BEST:: SOT 440868 SOS 236545 HAS SOPS 236545 HAS SOUS 194938 HAS SOUPS 194938 WITH SCORE 195174.545
AT ITER 1985 NEW BEST:: SOT 440867 SOS 235411 HAS SOPS 235411 HAS SOUS 194836 HAS SOUPS 194836 WITH SCORE 195071.411
AT ITER 2025 NEW BEST:: SOT 440867 SOS 235403 HAS SOPS 235403 HAS SOUS 194831 HAS SOUPS 194831 WITH SCORE 195066.403
AT ITER 2030 NEW BEST:: SOT 440854 SOS 235390 HAS SOPS 235390 HAS SOUS 194818 HAS SOUPS 194818 WITH SCORE 195053.39
AT ITER 2033 NEW BEST:: SOT 440846 SOS 235382 HAS SOPS 235382 HAS SOUS 194810 HAS SOUPS 194810 WITH SCORE 195045.382
AT ITER 2035 NEW BEST:: SOT 440827 SOS 235300 HAS SOPS 235300 HAS SOUS 194728 HAS SOUPS 194728 WITH SCORE 194963.3
AT ITER 2040 NEW BEST:: SOT 440537 SOS 234013 HAS SOPS 234013 HAS SOUS 194680 HAS SOUPS 194680 WITH SCORE 194914.013
AT ITER 2042 NEW BEST:: SOT 440516 SOS 233989 HAS SOPS 233989 HAS SOUS 194656 HAS SOUPS 194656 WITH SCORE 194889.989
AT ITER 2045 NEW BEST:: SOT 440419 SOS 234041 HAS SOPS 234041 HAS SOUS 194634 HAS SOUPS 194634 WITH SCORE 194868.041
AT ITER 2053 NEW BEST:: SOT 440219 SOS 233640 HAS SOPS 233640 HAS SOUS 194233 HAS SOUPS 194233 WITH SCORE 194466.64
AT ITER 2061 NEW BEST:: SOT 440128 SOS 232491 HAS SOPS 232491 HAS SOUS 193929 HAS SOUPS 193929 WITH SCORE 194161.491
AT ITER 2064 NEW BEST:: SOT 439933 SOS 232101 HAS SOPS 232101 HAS SOUS 193929 HAS SOUPS 193929 WITH SCORE 194161.101
AT ITER 2072 NEW BEST:: SOT 440165 SOS 232075 HAS SOPS 232075 HAS SOUS 193903 HAS SOUPS 193903 WITH SCORE 194135.075
AT ITER 2073 NEW BEST:: SOT 439948 SOS 231856 HAS SOPS 231856 HAS SOUS 193683 HAS SOUPS 193683 WITH SCORE 193914.856
AT ITER 2081 NEW BEST:: SOT 439948 SOS 231863 HAS SOPS 231863 HAS SOUS 193642 HAS SOUPS 193642 WITH SCORE 193873.863
AT ITER 2096 NEW BEST:: SOT 439948 SOS 231832 HAS SOPS 231832 HAS SOUS 193607 HAS SOUPS 193607 WITH SCORE 193838.832
AT ITER 2097 NEW BEST:: SOT 439998 SOS 231656 HAS SOPS 231656 HAS SOUS 193431 HAS SOUPS 193431 WITH SCORE 193662.656
AT ITER 2104 NEW BEST:: SOT 439889 SOS 231736 HAS SOPS 231736 HAS SOUS 193410 HAS SOUPS 193410 WITH SCORE 193641.736
AT ITER 2106 NEW BEST:: SOT 439867 SOS 231714 HAS SOPS 231714 HAS SOUS 193388 HAS SOUPS 193388 WITH SCORE 193619.714
AT ITER 2108 NEW BEST:: SOT 439702 SOS 231614 HAS SOPS 231614 HAS SOUS 193288 HAS SOUPS 193288 WITH SCORE 193519.614
AT ITER 2143 NEW BEST:: SOT 439460 SOS 230480 HAS SOPS 230480 HAS SOUS 192605 HAS SOUPS 192605 WITH SCORE 192835.48
AT ITER 2152 NEW BEST:: SOT 439345 SOS 230432 HAS SOPS 230432 HAS SOUS 192524 HAS SOUPS 192524 WITH SCORE 192754.432
AT ITER 2165 NEW BEST:: SOT 439350 SOS 229289 HAS SOPS 229289 HAS SOUS 192173 HAS SOUPS 192173 WITH SCORE 192402.289
AT ITER 2168 NEW BEST:: SOT 439236 SOS 229059 HAS SOPS 229059 HAS SOUS 191811 HAS SOUPS 191811 WITH SCORE 192040.059
AT ITER 2169 NEW BEST:: SOT 439342 SOS 229097 HAS SOPS 229097 HAS SOUS 191809 HAS SOUPS 191809 WITH SCORE 192038.097
AT ITER 2178 NEW BEST:: SOT 439153 SOS 228837 HAS SOPS 228837 HAS SOUS 191547 HAS SOUPS 191547 WITH SCORE 191775.837
AT ITER 2179 NEW BEST:: SOT 439136 SOS 228803 HAS SOPS 228803 HAS SOUS 191489 HAS SOUPS 191489 WITH SCORE 191717.803
AT ITER 2181 NEW BEST:: SOT 439136 SOS 228846 HAS SOPS 228846 HAS SOUS 191482 HAS SOUPS 191482 WITH SCORE 191710.846
AT ITER 2191 NEW BEST:: SOT 439135 SOS 228696 HAS SOPS 228696 HAS SOUS 191343 HAS SOUPS 191343 WITH SCORE 191571.696
AT ITER 2193 NEW BEST:: SOT 439170 SOS 228690 HAS SOPS 228690 HAS SOUS 191337 HAS SOUPS 191337 WITH SCORE 191565.69
AT ITER 2212 NEW BEST:: SOT 439446 SOS 228160 HAS SOPS 228160 HAS SOUS 191186 HAS SOUPS 191186 WITH SCORE 191414.16
AT ITER 2214 NEW BEST:: SOT 439446 SOS 228452 HAS SOPS 228452 HAS SOUS 190918 HAS SOUPS 190918 WITH SCORE 191146.452
AT ITER 2215 NEW BEST:: SOT 439497 SOS 228408 HAS SOPS 228408 HAS SOUS 190874 HAS SOUPS 190874 WITH SCORE 191102.408
AT ITER 2219 NEW BEST:: SOT 439435 SOS 228346 HAS SOPS 228346 HAS SOUS 190812 HAS SOUPS 190812 WITH SCORE 191040.346
AT ITER 2239 NEW BEST:: SOT 439421 SOS 228152 HAS SOPS 228152 HAS SOUS 190618 HAS SOUPS 190618 WITH SCORE 190846.152
AT ITER 2241 NEW BEST:: SOT 439421 SOS 228131 HAS SOPS 228131 HAS SOUS 190618 HAS SOUPS 190618 WITH SCORE 190846.131
AT ITER 2246 NEW BEST:: SOT 439238 SOS 228006 HAS SOPS 228006 HAS SOUS 190493 HAS SOUPS 190493 WITH SCORE 190721.006
AT ITER 2253 NEW BEST:: SOT 439238 SOS 228006 HAS SOPS 228006 HAS SOUS 190492 HAS SOUPS 190492 WITH SCORE 190720.006
AT ITER 2258 NEW BEST:: SOT 439005 SOS 227531 HAS SOPS 227531 HAS SOUS 190138 HAS SOUPS 190138 WITH SCORE 190365.531
AT ITER 2264 NEW BEST:: SOT 438818 SOS 227306 HAS SOPS 227306 HAS SOUS 189913 HAS SOUPS 189913 WITH SCORE 190140.306
AT ITER 2274 NEW BEST:: SOT 438818 SOS 226574 HAS SOPS 226574 HAS SOUS 189678 HAS SOUPS 189678 WITH SCORE 189904.574
AT ITER 2275 NEW BEST:: SOT 438829 SOS 226574 HAS SOPS 226574 HAS SOUS 189667 HAS SOUPS 189667 WITH SCORE 189893.574
AT ITER 2277 NEW BEST:: SOT 438663 SOS 226396 HAS SOPS 226396 HAS SOUS 189489 HAS SOUPS 189489 WITH SCORE 189715.396
AT ITER 2287 NEW BEST:: SOT 438558 SOS 225875 HAS SOPS 225875 HAS SOUS 189131 HAS SOUPS 189131 WITH SCORE 189356.875
AT ITER 2293 NEW BEST:: SOT 438470 SOS 225647 HAS SOPS 225647 HAS SOUS 188912 HAS SOUPS 188912 WITH SCORE 189137.647
AT ITER 2314 NEW BEST:: SOT 438370 SOS 225547 HAS SOPS 225547 HAS SOUS 188812 HAS SOUPS 188812 WITH SCORE 189037.547
AT ITER 2316 NEW BEST:: SOT 438346 SOS 225523 HAS SOPS 225523 HAS SOUS 188788 HAS SOUPS 188788 WITH SCORE 189013.523
AT ITER 2327 NEW BEST:: SOT 438333 SOS 225376 HAS SOPS 225376 HAS SOUS 188613 HAS SOUPS 188613 WITH SCORE 188838.376
AT ITER 2336 NEW BEST:: SOT 438268 SOS 225311 HAS SOPS 225311 HAS SOUS 188548 HAS SOUPS 188548 WITH SCORE 188773.311
AT ITER 2340 NEW BEST:: SOT 437778 SOS 224577 HAS SOPS 224577 HAS SOUS 187813 HAS SOUPS 187813 WITH SCORE 188037.577
AT ITER 2345 NEW BEST:: SOT 437769 SOS 224559 HAS SOPS 224559 HAS SOUS 187813 HAS SOUPS 187813 WITH SCORE 188037.559
AT ITER 2349 NEW BEST:: SOT 437748 SOS 224432 HAS SOPS 224432 HAS SOUS 187748 HAS SOUPS 187748 WITH SCORE 187972.432
AT ITER 2352 NEW BEST:: SOT 437755 SOS 224623 HAS SOPS 224623 HAS SOUS 187564 HAS SOUPS 187564 WITH SCORE 187788.623
AT ITER 2354 NEW BEST:: SOT 437799 SOS 224659 HAS SOPS 224659 HAS SOUS 187548 HAS SOUPS 187548 WITH SCORE 187772.659
AT ITER 2361 NEW BEST:: SOT 437725 SOS 224355 HAS SOPS 224355 HAS SOUS 187519 HAS SOUPS 187519 WITH SCORE 187743.355
AT ITER 2363 NEW BEST:: SOT 437553 SOS 223885 HAS SOPS 223885 HAS SOUS 187486 HAS SOUPS 187486 WITH SCORE 187709.885
AT ITER 2367 NEW BEST:: SOT 437509 SOS 223753 HAS SOPS 223753 HAS SOUS 187442 HAS SOUPS 187442 WITH SCORE 187665.753
AT ITER 2369 NEW BEST:: SOT 437383 SOS 223518 HAS SOPS 223518 HAS SOUS 187205 HAS SOUPS 187205 WITH SCORE 187428.518
AT ITER 2370 NEW BEST:: SOT 437330 SOS 223431 HAS SOPS 223431 HAS SOUS 187118 HAS SOUPS 187118 WITH SCORE 187341.431
AT ITER 2407 NEW BEST:: SOT 437055 SOS 223181 HAS SOPS 223181 HAS SOUS 186854 HAS SOUPS 186854 WITH SCORE 187077.181
AT ITER 2421 NEW BEST:: SOT 437055 SOS 223076 HAS SOPS 223076 HAS SOUS 186749 HAS SOUPS 186749 WITH SCORE 186972.076
AT ITER 2422 NEW BEST:: SOT 436885 SOS 222725 HAS SOPS 222725 HAS SOUS 186409 HAS SOUPS 186409 WITH SCORE 186631.725
AT ITER 2430 NEW BEST:: SOT 436754 SOS 222594 HAS SOPS 222594 HAS SOUS 186278 HAS SOUPS 186278 WITH SCORE 186500.594
AT ITER 2431 NEW BEST:: SOT 436715 SOS 222555 HAS SOPS 222555 HAS SOUS 186278 HAS SOUPS 186278 WITH SCORE 186500.555
AT ITER 2440 NEW BEST:: SOT 436713 SOS 222569 HAS SOPS 222569 HAS SOUS 186251 HAS SOUPS 186251 WITH SCORE 186473.569
AT ITER 2443 NEW BEST:: SOT 436713 SOS 222608 HAS SOPS 222608 HAS SOUS 186212 HAS SOUPS 186212 WITH SCORE 186434.608
AT ITER 2444 NEW BEST:: SOT 436473 SOS 222266 HAS SOPS 222266 HAS SOUS 185870 HAS SOUPS 185870 WITH SCORE 186092.266
AT ITER 2453 NEW BEST:: SOT 436473 SOS 222200 HAS SOPS 222200 HAS SOUS 185804 HAS SOUPS 185804 WITH SCORE 186026.2
AT ITER 2457 NEW BEST:: SOT 436329 SOS 221728 HAS SOPS 221728 HAS SOUS 185516 HAS SOUPS 185516 WITH SCORE 185737.728
AT ITER 2468 NEW BEST:: SOT 436099 SOS 221497 HAS SOPS 221497 HAS SOUS 185285 HAS SOUPS 185285 WITH SCORE 185506.497
AT ITER 2486 NEW BEST:: SOT 436099 SOS 221281 HAS SOPS 221281 HAS SOUS 185038 HAS SOUPS 185038 WITH SCORE 185259.281
AT ITER 2488 NEW BEST:: SOT 436099 SOS 220889 HAS SOPS 220889 HAS SOUS 185006 HAS SOUPS 185006 WITH SCORE 185226.889
AT ITER 2499 NEW BEST:: SOT 436070 SOS 220832 HAS SOPS 220832 HAS SOUS 184949 HAS SOUPS 184949 WITH SCORE 185169.832
AT ITER 2527 NEW BEST:: SOT 436373 SOS 220388 HAS SOPS 220388 HAS SOUS 184934 HAS SOUPS 184934 WITH SCORE 185154.388
AT ITER 2537 NEW BEST:: SOT 436109 SOS 219940 HAS SOPS 219940 HAS SOUS 184190 HAS SOUPS 184190 WITH SCORE 184409.94
AT ITER 2550 NEW BEST:: SOT 436010 SOS 219805 HAS SOPS 219805 HAS SOUS 184055 HAS SOUPS 184055 WITH SCORE 184274.805
AT ITER 2552 NEW BEST:: SOT 436002 SOS 219797 HAS SOPS 219797 HAS SOUS 184047 HAS SOUPS 184047 WITH SCORE 184266.797
AT ITER 2557 NEW BEST:: SOT 436120 SOS 219739 HAS SOPS 219739 HAS SOUS 183989 HAS SOUPS 183989 WITH SCORE 184208.739
AT ITER 2563 NEW BEST:: SOT 436083 SOS 219383 HAS SOPS 219383 HAS SOUS 183983 HAS SOUPS 183983 WITH SCORE 184202.383
AT ITER 2574 NEW BEST:: SOT 436046 SOS 219537 HAS SOPS 219537 HAS SOUS 183960 HAS SOUPS 183960 WITH SCORE 184179.537
AT ITER 2576 NEW BEST:: SOT 436045 SOS 219399 HAS SOPS 219399 HAS SOUS 183875 HAS SOUPS 183875 WITH SCORE 184094.399
AT ITER 2578 NEW BEST:: SOT 436030 SOS 219372 HAS SOPS 219372 HAS SOUS 183848 HAS SOUPS 183848 WITH SCORE 184067.372
AT ITER 2579 NEW BEST:: SOT 436158 SOS 219305 HAS SOPS 219305 HAS SOUS 183805 HAS SOUPS 183805 WITH SCORE 184024.305
AT ITER 2588 NEW BEST:: SOT 436157 SOS 218754 HAS SOPS 218754 HAS SOUS 183776 HAS SOUPS 183776 WITH SCORE 183994.754
AT ITER 2596 NEW BEST:: SOT 436091 SOS 218688 HAS SOPS 218688 HAS SOUS 183710 HAS SOUPS 183710 WITH SCORE 183928.688
AT ITER 2606 NEW BEST:: SOT 436024 SOS 218645 HAS SOPS 218645 HAS SOUS 183647 HAS SOUPS 183647 WITH SCORE 183865.645
AT ITER 2613 NEW BEST:: SOT 436022 SOS 218545 HAS SOPS 218545 HAS SOUS 183632 HAS SOUPS 183632 WITH SCORE 183850.545
AT ITER 2629 NEW BEST:: SOT 435824 SOS 218347 HAS SOPS 218347 HAS SOUS 183434 HAS SOUPS 183434 WITH SCORE 183652.347
AT ITER 2634 NEW BEST:: SOT 435824 SOS 218205 HAS SOPS 218205 HAS SOUS 183394 HAS SOUPS 183394 WITH SCORE 183612.205
AT ITER 2636 NEW BEST:: SOT 435806 SOS 218187 HAS SOPS 218187 HAS SOUS 183376 HAS SOUPS 183376 WITH SCORE 183594.187
AT ITER 2637 NEW BEST:: SOT 435806 SOS 218187 HAS SOPS 218187 HAS SOUS 183362 HAS SOUPS 183362 WITH SCORE 183580.187
AT ITER 2641 NEW BEST:: SOT 435750 SOS 218036 HAS SOPS 218036 HAS SOUS 183239 HAS SOUPS 183239 WITH SCORE 183457.036
AT ITER 2645 NEW BEST:: SOT 435735 SOS 217933 HAS SOPS 217933 HAS SOUS 183186 HAS SOUPS 183186 WITH SCORE 183403.933
AT ITER 2664 NEW BEST:: SOT 435634 SOS 217776 HAS SOPS 217776 HAS SOUS 183057 HAS SOUPS 183057 WITH SCORE 183274.776
AT ITER 2678 NEW BEST:: SOT 435567 SOS 217709 HAS SOPS 217709 HAS SOUS 182988 HAS SOUPS 182988 WITH SCORE 183205.709
AT ITER 2682 NEW BEST:: SOT 435366 SOS 217508 HAS SOPS 217508 HAS SOUS 182756 HAS SOUPS 182756 WITH SCORE 182973.508
AT ITER 2688 NEW BEST:: SOT 435380 SOS 217092 HAS SOPS 217092 HAS SOUS 182734 HAS SOUPS 182734 WITH SCORE 182951.092
AT ITER 2692 NEW BEST:: SOT 435379 SOS 217091 HAS SOPS 217091 HAS SOUS 182733 HAS SOUPS 182733 WITH SCORE 182950.091
AT ITER 2720 NEW BEST:: SOT 435381 SOS 217074 HAS SOPS 217074 HAS SOUS 182732 HAS SOUPS 182732 WITH SCORE 182949.074
AT ITER 2721 NEW BEST:: SOT 435380 SOS 216930 HAS SOPS 216930 HAS SOUS 182708 HAS SOUPS 182708 WITH SCORE 182924.93
AT ITER 2722 NEW BEST:: SOT 435285 SOS 216716 HAS SOPS 216716 HAS SOUS 182658 HAS SOUPS 182658 WITH SCORE 182874.716
AT ITER 2729 NEW BEST:: SOT 435183 SOS 216614 HAS SOPS 216614 HAS SOUS 182589 HAS SOUPS 182589 WITH SCORE 182805.614
AT ITER 2740 NEW BEST:: SOT 435159 SOS 216588 HAS SOPS 216588 HAS SOUS 182563 HAS SOUPS 182563 WITH SCORE 182779.588
AT ITER 2751 NEW BEST:: SOT 435327 SOS 216678 HAS SOPS 216678 HAS SOUS 182508 HAS SOUPS 182508 WITH SCORE 182724.678
AT ITER 2756 NEW BEST:: SOT 435343 SOS 216676 HAS SOPS 216676 HAS SOUS 182506 HAS SOUPS 182506 WITH SCORE 182722.676
AT ITER 2768 NEW BEST:: SOT 435343 SOS 216618 HAS SOPS 216618 HAS SOUS 182453 HAS SOUPS 182453 WITH SCORE 182669.618
AT ITER 2784 NEW BEST:: SOT 435128 SOS 216477 HAS SOPS 216477 HAS SOUS 182215 HAS SOUPS 182215 WITH SCORE 182431.477
AT ITER 2796 NEW BEST:: SOT 435090 SOS 216406 HAS SOPS 216406 HAS SOUS 182144 HAS SOUPS 182144 WITH SCORE 182360.406
AT ITER 2808 NEW BEST:: SOT 435117 SOS 216160 HAS SOPS 216160 HAS SOUS 181890 HAS SOUPS 181890 WITH SCORE 182106.16
AT ITER 2810 NEW BEST:: SOT 435194 SOS 216113 HAS SOPS 216113 HAS SOUS 181843 HAS SOUPS 181843 WITH SCORE 182059.113
AT ITER 2814 NEW BEST:: SOT 435242 SOS 215054 HAS SOPS 215054 HAS SOUS 181603 HAS SOUPS 181603 WITH SCORE 181818.054
AT ITER 2817 NEW BEST:: SOT 435239 SOS 215051 HAS SOPS 215051 HAS SOUS 181600 HAS SOUPS 181600 WITH SCORE 181815.051
AT ITER 2824 NEW BEST:: SOT 435174 SOS 214986 HAS SOPS 214986 HAS SOUS 181535 HAS SOUPS 181535 WITH SCORE 181749.986
AT ITER 2826 NEW BEST:: SOT 435161 SOS 214973 HAS SOPS 214973 HAS SOUS 181522 HAS SOUPS 181522 WITH SCORE 181736.973
AT ITER 2843 NEW BEST:: SOT 435160 SOS 214739 HAS SOPS 214739 HAS SOUS 181505 HAS SOUPS 181505 WITH SCORE 181719.739
AT ITER 2847 NEW BEST:: SOT 435024 SOS 214600 HAS SOPS 214600 HAS SOUS 181366 HAS SOUPS 181366 WITH SCORE 181580.6
AT ITER 2848 NEW BEST:: SOT 435019 SOS 214595 HAS SOPS 214595 HAS SOUS 181361 HAS SOUPS 181361 WITH SCORE 181575.595
AT ITER 2849 NEW BEST:: SOT 435017 SOS 214593 HAS SOPS 214593 HAS SOUS 181345 HAS SOUPS 181345 WITH SCORE 181559.593
AT ITER 2855 NEW BEST:: SOT 434951 SOS 214334 HAS SOPS 214334 HAS SOUS 181340 HAS SOUPS 181340 WITH SCORE 181554.334
AT ITER 2869 NEW BEST:: SOT 435071 SOS 214492 HAS SOPS 214492 HAS SOUS 181306 HAS SOUPS 181306 WITH SCORE 181520.492
AT ITER 2893 NEW BEST:: SOT 435080 SOS 214358 HAS SOPS 214358 HAS SOUS 181280 HAS SOUPS 181280 WITH SCORE 181494.358
AT ITER 2913 NEW BEST:: SOT 435078 SOS 214248 HAS SOPS 214248 HAS SOUS 181224 HAS SOUPS 181224 WITH SCORE 181438.248
AT ITER 2924 NEW BEST:: SOT 435012 SOS 213966 HAS SOPS 213966 HAS SOUS 180984 HAS SOUPS 180984 WITH SCORE 181197.966
AT ITER 2928 NEW BEST:: SOT 435236 SOS 213866 HAS SOPS 213866 HAS SOUS 180973 HAS SOUPS 180973 WITH SCORE 181186.866
AT ITER 2942 NEW BEST:: SOT 435182 SOS 213812 HAS SOPS 213812 HAS SOUS 180919 HAS SOUPS 180919 WITH SCORE 181132.812
AT ITER 2943 NEW BEST:: SOT 435144 SOS 213749 HAS SOPS 213749 HAS SOUS 180899 HAS SOUPS 180899 WITH SCORE 181112.749
AT ITER 2946 NEW BEST:: SOT 435133 SOS 213728 HAS SOPS 213728 HAS SOUS 180878 HAS SOUPS 180878 WITH SCORE 181091.728
AT ITER 2949 NEW BEST:: SOT 435059 SOS 213616 HAS SOPS 213616 HAS SOUS 180762 HAS SOUPS 180762 WITH SCORE 180975.616
AT ITER 2951 NEW BEST:: SOT 435006 SOS 213563 HAS SOPS 213563 HAS SOUS 180709 HAS SOUPS 180709 WITH SCORE 180922.563
AT ITER 2952 NEW BEST:: SOT 435006 SOS 213092 HAS SOPS 213092 HAS SOUS 180709 HAS SOUPS 180709 WITH SCORE 180922.092
AT ITER 2955 NEW BEST:: SOT 435508 SOS 213615 HAS SOPS 213615 HAS SOUS 180612 HAS SOUPS 180612 WITH SCORE 180825.615
AT ITER 2961 NEW BEST:: SOT 435451 SOS 213463 HAS SOPS 213463 HAS SOUS 180460 HAS SOUPS 180460 WITH SCORE 180673.463
AT ITER 2982 NEW BEST:: SOT 435451 SOS 213436 HAS SOPS 213436 HAS SOUS 180392 HAS SOUPS 180392 WITH SCORE 180605.436
AT ITER 2993 NEW BEST:: SOT 435451 SOS 213400 HAS SOPS 213400 HAS SOUS 180356 HAS SOUPS 180356 WITH SCORE 180569.4
AT ITER 3003 NEW BEST:: SOT 435357 SOS 212803 HAS SOPS 212803 HAS SOUS 180080 HAS SOUPS 180080 WITH SCORE 180292.803
AT ITER 3007 NEW BEST:: SOT 435311 SOS 212757 HAS SOPS 212757 HAS SOUS 180034 HAS SOUPS 180034 WITH SCORE 180246.757
AT ITER 3017 NEW BEST:: SOT 435343 SOS 212691 HAS SOPS 212691 HAS SOUS 179968 HAS SOUPS 179968 WITH SCORE 180180.691
AT ITER 3030 NEW BEST:: SOT 435341 SOS 212689 HAS SOPS 212689 HAS SOUS 179959 HAS SOUPS 179959 WITH SCORE 180171.689
AT ITER 3036 NEW BEST:: SOT 435301 SOS 212649 HAS SOPS 212649 HAS SOUS 179919 HAS SOUPS 179919 WITH SCORE 180131.649
AT ITER 3043 NEW BEST:: SOT 435301 SOS 212583 HAS SOPS 212583 HAS SOUS 179875 HAS SOUPS 179875 WITH SCORE 180087.583
AT ITER 3050 NEW BEST:: SOT 435301 SOS 212411 HAS SOPS 212411 HAS SOUS 179730 HAS SOUPS 179730 WITH SCORE 179942.411
AT ITER 3054 NEW BEST:: SOT 435362 SOS 212545 HAS SOPS 212545 HAS SOUS 179682 HAS SOUPS 179682 WITH SCORE 179894.545
AT ITER 3060 NEW BEST:: SOT 435357 SOS 212341 HAS SOPS 212341 HAS SOUS 179554 HAS SOUPS 179554 WITH SCORE 179766.341
AT ITER 3061 NEW BEST:: SOT 435234 SOS 212310 HAS SOPS 212310 HAS SOUS 179514 HAS SOUPS 179514 WITH SCORE 179726.31
AT ITER 3066 NEW BEST:: SOT 435234 SOS 212324 HAS SOPS 212324 HAS SOUS 179392 HAS SOUPS 179392 WITH SCORE 179604.324
AT ITER 3068 NEW BEST:: SOT 435006 SOS 212038 HAS SOPS 212038 HAS SOUS 179106 HAS SOUPS 179106 WITH SCORE 179318.038
AT ITER 3084 NEW BEST:: SOT 434965 SOS 211956 HAS SOPS 211956 HAS SOUS 179036 HAS SOUPS 179036 WITH SCORE 179247.956
AT ITER 3090 NEW BEST:: SOT 435093 SOS 212202 HAS SOPS 212202 HAS SOUS 179026 HAS SOUPS 179026 WITH SCORE 179238.202
AT ITER 3092 NEW BEST:: SOT 434878 SOS 211875 HAS SOPS 211875 HAS SOUS 178700 HAS SOUPS 178700 WITH SCORE 178911.875
AT ITER 3101 NEW BEST:: SOT 434768 SOS 211765 HAS SOPS 211765 HAS SOUS 178590 HAS SOUPS 178590 WITH SCORE 178801.765
AT ITER 3104 NEW BEST:: SOT 434339 SOS 211030 HAS SOPS 211030 HAS SOUS 177722 HAS SOUPS 177722 WITH SCORE 177933.03
AT ITER 3118 NEW BEST:: SOT 434298 SOS 210825 HAS SOPS 210825 HAS SOUS 177722 HAS SOUPS 177722 WITH SCORE 177932.825
AT ITER 3122 NEW BEST:: SOT 434227 SOS 210606 HAS SOPS 210606 HAS SOUS 177503 HAS SOUPS 177503 WITH SCORE 177713.606
AT ITER 3123 NEW BEST:: SOT 434237 SOS 210302 HAS SOPS 210302 HAS SOUS 177258 HAS SOUPS 177258 WITH SCORE 177468.302
AT ITER 3131 NEW BEST:: SOT 434237 SOS 210130 HAS SOPS 210130 HAS SOUS 177183 HAS SOUPS 177183 WITH SCORE 177393.13
AT ITER 3132 NEW BEST:: SOT 434237 SOS 209997 HAS SOPS 209997 HAS SOUS 177060 HAS SOUPS 177060 WITH SCORE 177269.997
AT ITER 3139 NEW BEST:: SOT 434220 SOS 209980 HAS SOPS 209980 HAS SOUS 177043 HAS SOUPS 177043 WITH SCORE 177252.98
AT ITER 3140 NEW BEST:: SOT 434185 SOS 210054 HAS SOPS 210054 HAS SOUS 177013 HAS SOUPS 177013 WITH SCORE 177223.054
AT ITER 3147 NEW BEST:: SOT 434185 SOS 209894 HAS SOPS 209894 HAS SOUS 176949 HAS SOUPS 176949 WITH SCORE 177158.894
AT ITER 3168 NEW BEST:: SOT 434178 SOS 209887 HAS SOPS 209887 HAS SOUS 176942 HAS SOUPS 176942 WITH SCORE 177151.887
AT ITER 3176 NEW BEST:: SOT 434180 SOS 209366 HAS SOPS 209366 HAS SOUS 176940 HAS SOUPS 176940 WITH SCORE 177149.366
AT ITER 3191 NEW BEST:: SOT 434084 SOS 209270 HAS SOPS 209270 HAS SOUS 176844 HAS SOUPS 176844 WITH SCORE 177053.27
AT ITER 3195 NEW BEST:: SOT 434023 SOS 209185 HAS SOPS 209185 HAS SOUS 176783 HAS SOUPS 176783 WITH SCORE 176992.185
AT ITER 3201 NEW BEST:: SOT 434023 SOS 209162 HAS SOPS 209162 HAS SOUS 176744 HAS SOUPS 176744 WITH SCORE 176953.162
AT ITER 3207 NEW BEST:: SOT 433991 SOS 209042 HAS SOPS 209042 HAS SOUS 176656 HAS SOUPS 176656 WITH SCORE 176865.042
AT ITER 3218 NEW BEST:: SOT 433831 SOS 208955 HAS SOPS 208955 HAS SOUS 176524 HAS SOUPS 176524 WITH SCORE 176732.955
AT ITER 3219 NEW BEST:: SOT 433831 SOS 208905 HAS SOPS 208905 HAS SOUS 176474 HAS SOUPS 176474 WITH SCORE 176682.905
AT ITER 3223 NEW BEST:: SOT 433594 SOS 208548 HAS SOPS 208548 HAS SOUS 176117 HAS SOUPS 176117 WITH SCORE 176325.548
AT ITER 3224 NEW BEST:: SOT 433557 SOS 208503 HAS SOPS 208503 HAS SOUS 176072 HAS SOUPS 176072 WITH SCORE 176280.503
AT ITER 3226 NEW BEST:: SOT 433472 SOS 208307 HAS SOPS 208307 HAS SOUS 175927 HAS SOUPS 175927 WITH SCORE 176135.307
AT ITER 3234 NEW BEST:: SOT 433472 SOS 208305 HAS SOPS 208305 HAS SOUS 175925 HAS SOUPS 175925 WITH SCORE 176133.305
AT ITER 3235 NEW BEST:: SOT 433451 SOS 208284 HAS SOPS 208284 HAS SOUS 175904 HAS SOUPS 175904 WITH SCORE 176112.284
AT ITER 3272 NEW BEST:: SOT 433370 SOS 208186 HAS SOPS 208186 HAS SOUS 175798 HAS SOUPS 175798 WITH SCORE 176006.186
AT ITER 3275 NEW BEST:: SOT 433359 SOS 208175 HAS SOPS 208175 HAS SOUS 175765 HAS SOUPS 175765 WITH SCORE 175973.175
AT ITER 3279 NEW BEST:: SOT 433219 SOS 207965 HAS SOPS 207965 HAS SOUS 175555 HAS SOUPS 175555 WITH SCORE 175762.965
AT ITER 3283 NEW BEST:: SOT 433048 SOS 207859 HAS SOPS 207859 HAS SOUS 175416 HAS SOUPS 175416 WITH SCORE 175623.859
AT ITER 3284 NEW BEST:: SOT 433029 SOS 207798 HAS SOPS 207798 HAS SOUS 175369 HAS SOUPS 175369 WITH SCORE 175576.798
AT ITER 3293 NEW BEST:: SOT 432961 SOS 207713 HAS SOPS 207713 HAS SOUS 175267 HAS SOUPS 175267 WITH SCORE 175474.713
AT ITER 3300 NEW BEST:: SOT 432687 SOS 207416 HAS SOPS 207416 HAS SOUS 174970 HAS SOUPS 174970 WITH SCORE 175177.416
AT ITER 3301 NEW BEST:: SOT 432635 SOS 207235 HAS SOPS 207235 HAS SOUS 174789 HAS SOUPS 174789 WITH SCORE 174996.235
AT ITER 3302 NEW BEST:: SOT 432443 SOS 207029 HAS SOPS 207029 HAS SOUS 174574 HAS SOUPS 174574 WITH SCORE 174781.029
AT ITER 3305 NEW BEST:: SOT 432237 SOS 206191 HAS SOPS 206191 HAS SOUS 173982 HAS SOUPS 173982 WITH SCORE 174188.191
AT ITER 3307 NEW BEST:: SOT 432184 SOS 206137 HAS SOPS 206137 HAS SOUS 173928 HAS SOUPS 173928 WITH SCORE 174134.137
AT ITER 3308 NEW BEST:: SOT 432291 SOS 206117 HAS SOPS 206117 HAS SOUS 173848 HAS SOUPS 173848 WITH SCORE 174054.117
AT ITER 3309 NEW BEST:: SOT 432291 SOS 205886 HAS SOPS 205886 HAS SOUS 173811 HAS SOUPS 173811 WITH SCORE 174016.886
AT ITER 3311 NEW BEST:: SOT 432219 SOS 205813 HAS SOPS 205813 HAS SOUS 173738 HAS SOUPS 173738 WITH SCORE 173943.813
AT ITER 3314 NEW BEST:: SOT 432219 SOS 205798 HAS SOPS 205798 HAS SOUS 173732 HAS SOUPS 173732 WITH SCORE 173937.798
AT ITER 3330 NEW BEST:: SOT 432231 SOS 205810 HAS SOPS 205810 HAS SOUS 173731 HAS SOUPS 173731 WITH SCORE 173936.81
AT ITER 3333 NEW BEST:: SOT 432329 SOS 205805 HAS SOPS 205805 HAS SOUS 173702 HAS SOUPS 173702 WITH SCORE 173907.805
AT ITER 3335 NEW BEST:: SOT 432321 SOS 205797 HAS SOPS 205797 HAS SOUS 173694 HAS SOUPS 173694 WITH SCORE 173899.797
AT ITER 3337 NEW BEST:: SOT 431837 SOS 205153 HAS SOPS 205153 HAS SOUS 173050 HAS SOUPS 173050 WITH SCORE 173255.153
AT ITER 3340 NEW BEST:: SOT 431837 SOS 205087 HAS SOPS 205087 HAS SOUS 173049 HAS SOUPS 173049 WITH SCORE 173254.087
AT ITER 3345 NEW BEST:: SOT 431575 SOS 204825 HAS SOPS 204825 HAS SOUS 173042 HAS SOUPS 173042 WITH SCORE 173246.825
AT ITER 3348 NEW BEST:: SOT 431490 SOS 204315 HAS SOPS 204315 HAS SOUS 172956 HAS SOUPS 172956 WITH SCORE 173160.315
AT ITER 3354 NEW BEST:: SOT 431356 SOS 204277 HAS SOPS 204277 HAS SOUS 172918 HAS SOUPS 172918 WITH SCORE 173122.277
AT ITER 3359 NEW BEST:: SOT 431355 SOS 204254 HAS SOPS 204254 HAS SOUS 172907 HAS SOUPS 172907 WITH SCORE 173111.254
AT ITER 3365 NEW BEST:: SOT 431278 SOS 204177 HAS SOPS 204177 HAS SOUS 172830 HAS SOUPS 172830 WITH SCORE 173034.177
AT ITER 3380 NEW BEST:: SOT 431278 SOS 203675 HAS SOPS 203675 HAS SOUS 172651 HAS SOUPS 172651 WITH SCORE 172854.675
AT ITER 3383 NEW BEST:: SOT 431169 SOS 203566 HAS SOPS 203566 HAS SOUS 172542 HAS SOUPS 172542 WITH SCORE 172745.566
AT ITER 3392 NEW BEST:: SOT 431161 SOS 203558 HAS SOPS 203558 HAS SOUS 172534 HAS SOUPS 172534 WITH SCORE 172737.558
AT ITER 3404 NEW BEST:: SOT 430859 SOS 202697 HAS SOPS 202697 HAS SOUS 171799 HAS SOUPS 171799 WITH SCORE 172001.697
AT ITER 3406 NEW BEST:: SOT 430758 SOS 202596 HAS SOPS 202596 HAS SOUS 171698 HAS SOUPS 171698 WITH SCORE 171900.596
AT ITER 3422 NEW BEST:: SOT 430758 SOS 202596 HAS SOPS 202596 HAS SOUS 171694 HAS SOUPS 171694 WITH SCORE 171896.596
AT ITER 3428 NEW BEST:: SOT 430834 SOS 202593 HAS SOPS 202593 HAS SOUS 171691 HAS SOUPS 171691 WITH SCORE 171893.593
AT ITER 3435 NEW BEST:: SOT 430834 SOS 202582 HAS SOPS 202582 HAS SOUS 171680 HAS SOUPS 171680 WITH SCORE 171882.582
AT ITER 3437 NEW BEST:: SOT 430834 SOS 202569 HAS SOPS 202569 HAS SOUS 171677 HAS SOUPS 171677 WITH SCORE 171879.569
AT ITER 3444 NEW BEST:: SOT 430830 SOS 202563 HAS SOPS 202563 HAS SOUS 171667 HAS SOUPS 171667 WITH SCORE 171869.563
AT ITER 3459 NEW BEST:: SOT 430830 SOS 202563 HAS SOPS 202563 HAS SOUS 171665 HAS SOUPS 171665 WITH SCORE 171867.563
AT ITER 3462 NEW BEST:: SOT 430845 SOS 202368 HAS SOPS 202368 HAS SOUS 171505 HAS SOUPS 171505 WITH SCORE 171707.368
AT ITER 3468 NEW BEST:: SOT 430824 SOS 202326 HAS SOPS 202326 HAS SOUS 171484 HAS SOUPS 171484 WITH SCORE 171686.326
AT ITER 3471 NEW BEST:: SOT 430544 SOS 201877 HAS SOPS 201877 HAS SOUS 171035 HAS SOUPS 171035 WITH SCORE 171236.877
AT ITER 3484 NEW BEST:: SOT 430458 SOS 201619 HAS SOPS 201619 HAS SOUS 170863 HAS SOUPS 170863 WITH SCORE 171064.619
AT ITER 3502 NEW BEST:: SOT 430361 SOS 201522 HAS SOPS 201522 HAS SOUS 170766 HAS SOUPS 170766 WITH SCORE 170967.522
AT ITER 3519 NEW BEST:: SOT 430262 SOS 201423 HAS SOPS 201423 HAS SOUS 170667 HAS SOUPS 170667 WITH SCORE 170868.423
AT ITER 3520 NEW BEST:: SOT 430132 SOS 201349 HAS SOPS 201349 HAS SOUS 170588 HAS SOUPS 170588 WITH SCORE 170789.349
AT ITER 3542 NEW BEST:: SOT 430199 SOS 201320 HAS SOPS 201320 HAS SOUS 170554 HAS SOUPS 170554 WITH SCORE 170755.32
AT ITER 3554 NEW BEST:: SOT 430049 SOS 200133 HAS SOPS 200133 HAS SOUS 170252 HAS SOUPS 170252 WITH SCORE 170452.133
AT ITER 3559 NEW BEST:: SOT 429928 SOS 199872 HAS SOPS 199872 HAS SOUS 169945 HAS SOUPS 169945 WITH SCORE 170144.872
AT ITER 3583 NEW BEST:: SOT 429981 SOS 200030 HAS SOPS 200030 HAS SOUS 169416 HAS SOUPS 169416 WITH SCORE 169616.03
AT ITER 3594 NEW BEST:: SOT 429981 SOS 199915 HAS SOPS 199915 HAS SOUS 169395 HAS SOUPS 169395 WITH SCORE 169594.915
AT ITER 3607 NEW BEST:: SOT 429953 SOS 199826 HAS SOPS 199826 HAS SOUS 169296 HAS SOUPS 169296 WITH SCORE 169495.826
AT ITER 3615 NEW BEST:: SOT 429944 SOS 199805 HAS SOPS 199805 HAS SOUS 169266 HAS SOUPS 169266 WITH SCORE 169465.805
AT ITER 3622 NEW BEST:: SOT 429868 SOS 199571 HAS SOPS 199571 HAS SOUS 169218 HAS SOUPS 169218 WITH SCORE 169417.571
AT ITER 3636 NEW BEST:: SOT 429674 SOS 199203 HAS SOPS 199203 HAS SOUS 168850 HAS SOUPS 168850 WITH SCORE 169049.203
AT ITER 3654 NEW BEST:: SOT 429302 SOS 198831 HAS SOPS 198831 HAS SOUS 168478 HAS SOUPS 168478 WITH SCORE 168676.831
AT ITER 3659 NEW BEST:: SOT 429286 SOS 198815 HAS SOPS 198815 HAS SOUS 168462 HAS SOUPS 168462 WITH SCORE 168660.815
AT ITER 3667 NEW BEST:: SOT 429277 SOS 198806 HAS SOPS 198806 HAS SOUS 168442 HAS SOUPS 168442 WITH SCORE 168640.806
AT ITER 3675 NEW BEST:: SOT 429266 SOS 198795 HAS SOPS 198795 HAS SOUS 168431 HAS SOUPS 168431 WITH SCORE 168629.795
AT ITER 3707 NEW BEST:: SOT 429139 SOS 198634 HAS SOPS 198634 HAS SOUS 168156 HAS SOUPS 168156 WITH SCORE 168354.634
AT ITER 3713 NEW BEST:: SOT 429015 SOS 198230 HAS SOPS 198230 HAS SOUS 168079 HAS SOUPS 168079 WITH SCORE 168277.23
AT ITER 3716 NEW BEST:: SOT 429015 SOS 198118 HAS SOPS 198118 HAS SOUS 168079 HAS SOUPS 168079 WITH SCORE 168277.118
AT ITER 3725 NEW BEST:: SOT 428963 SOS 197986 HAS SOPS 197986 HAS SOUS 167987 HAS SOUPS 167987 WITH SCORE 168184.986
AT ITER 3730 NEW BEST:: SOT 428963 SOS 197776 HAS SOPS 197776 HAS SOUS 167903 HAS SOUPS 167903 WITH SCORE 168100.776
AT ITER 3743 NEW BEST:: SOT 428989 SOS 197910 HAS SOPS 197910 HAS SOUS 167901 HAS SOUPS 167901 WITH SCORE 168098.91
AT ITER 3752 NEW BEST:: SOT 428936 SOS 197609 HAS SOPS 197609 HAS SOUS 167558 HAS SOUPS 167558 WITH SCORE 167755.609
AT ITER 3755 NEW BEST:: SOT 428874 SOS 197547 HAS SOPS 197547 HAS SOUS 167496 HAS SOUPS 167496 WITH SCORE 167693.547
AT ITER 3759 NEW BEST:: SOT 428817 SOS 197258 HAS SOPS 197258 HAS SOUS 167321 HAS SOUPS 167321 WITH SCORE 167518.258
AT ITER 3762 NEW BEST:: SOT 428749 SOS 197190 HAS SOPS 197190 HAS SOUS 167253 HAS SOUPS 167253 WITH SCORE 167450.19
AT ITER 3778 NEW BEST:: SOT 428700 SOS 197133 HAS SOPS 197133 HAS SOUS 167196 HAS SOUPS 167196 WITH SCORE 167393.133
AT ITER 3786 NEW BEST:: SOT 428532 SOS 197152 HAS SOPS 197152 HAS SOUS 167004 HAS SOUPS 167004 WITH SCORE 167201.152
AT ITER 3797 NEW BEST:: SOT 428530 SOS 197134 HAS SOPS 197134 HAS SOUS 166976 HAS SOUPS 166976 WITH SCORE 167173.134
AT ITER 3804 NEW BEST:: SOT 428528 SOS 197132 HAS SOPS 197132 HAS SOUS 166974 HAS SOUPS 166974 WITH SCORE 167171.132
AT ITER 3806 NEW BEST:: SOT 428528 SOS 197141 HAS SOPS 197141 HAS SOUS 166965 HAS SOUPS 166965 WITH SCORE 167162.141
AT ITER 3808 NEW BEST:: SOT 428524 SOS 197125 HAS SOPS 197125 HAS SOUS 166957 HAS SOUPS 166957 WITH SCORE 167154.125
AT ITER 3811 NEW BEST:: SOT 428524 SOS 197001 HAS SOPS 197001 HAS SOUS 166821 HAS SOUPS 166821 WITH SCORE 167018.001
AT ITER 3828 NEW BEST:: SOT 428520 SOS 196915 HAS SOPS 196915 HAS SOUS 166776 HAS SOUPS 166776 WITH SCORE 166972.915
AT ITER 3843 NEW BEST:: SOT 428526 SOS 196921 HAS SOPS 196921 HAS SOUS 166770 HAS SOUPS 166770 WITH SCORE 166966.921
AT ITER 3875 NEW BEST:: SOT 428526 SOS 196742 HAS SOPS 196742 HAS SOUS 166725 HAS SOUPS 166725 WITH SCORE 166921.742
AT ITER 3891 NEW BEST:: SOT 428518 SOS 196734 HAS SOPS 196734 HAS SOUS 166717 HAS SOUPS 166717 WITH SCORE 166913.734
AT ITER 3893 NEW BEST:: SOT 428256 SOS 196030 HAS SOPS 196030 HAS SOUS 166263 HAS SOUPS 166263 WITH SCORE 166459.03
AT ITER 3901 NEW BEST:: SOT 428226 SOS 195880 HAS SOPS 195880 HAS SOUS 166203 HAS SOUPS 166203 WITH SCORE 166398.88
AT ITER 3909 NEW BEST:: SOT 428070 SOS 195360 HAS SOPS 195360 HAS SOUS 165917 HAS SOUPS 165917 WITH SCORE 166112.36
AT ITER 3910 NEW BEST:: SOT 428070 SOS 195279 HAS SOPS 195279 HAS SOUS 165881 HAS SOUPS 165881 WITH SCORE 166076.279
AT ITER 3928 NEW BEST:: SOT 428070 SOS 194804 HAS SOPS 194804 HAS SOUS 165740 HAS SOUPS 165740 WITH SCORE 165934.804
AT ITER 3930 NEW BEST:: SOT 428070 SOS 194711 HAS SOPS 194711 HAS SOUS 165671 HAS SOUPS 165671 WITH SCORE 165865.711
AT ITER 3933 NEW BEST:: SOT 428360 SOS 194474 HAS SOPS 194474 HAS SOUS 165434 HAS SOUPS 165434 WITH SCORE 165628.474
AT ITER 3951 NEW BEST:: SOT 428317 SOS 194299 HAS SOPS 194299 HAS SOUS 165184 HAS SOUPS 165184 WITH SCORE 165378.299
AT ITER 3952 NEW BEST:: SOT 428269 SOS 194251 HAS SOPS 194251 HAS SOUS 165136 HAS SOUPS 165136 WITH SCORE 165330.251
AT ITER 3961 NEW BEST:: SOT 428284 SOS 193995 HAS SOPS 193995 HAS SOUS 164924 HAS SOUPS 164924 WITH SCORE 165117.995
AT ITER 3984 NEW BEST:: SOT 428284 SOS 193831 HAS SOPS 193831 HAS SOUS 164924 HAS SOUPS 164924 WITH SCORE 165117.831
AT ITER 3997 NEW BEST:: SOT 428162 SOS 193638 HAS SOPS 193638 HAS SOUS 164762 HAS SOUPS 164762 WITH SCORE 164955.638
AT ITER 4011 NEW BEST:: SOT 428189 SOS 193621 HAS SOPS 193621 HAS SOUS 164753 HAS SOUPS 164753 WITH SCORE 164946.621
AT ITER 4012 NEW BEST:: SOT 428176 SOS 193608 HAS SOPS 193608 HAS SOUS 164740 HAS SOUPS 164740 WITH SCORE 164933.608
AT ITER 4020 NEW BEST:: SOT 428176 SOS 193547 HAS SOPS 193547 HAS SOUS 164679 HAS SOUPS 164679 WITH SCORE 164872.547
AT ITER 4021 NEW BEST:: SOT 428110 SOS 193434 HAS SOPS 193434 HAS SOUS 164534 HAS SOUPS 164534 WITH SCORE 164727.434
AT ITER 4030 NEW BEST:: SOT 428049 SOS 193422 HAS SOPS 193422 HAS SOUS 164519 HAS SOUPS 164519 WITH SCORE 164712.422
AT ITER 4033 NEW BEST:: SOT 428020 SOS 193393 HAS SOPS 193393 HAS SOUS 164490 HAS SOUPS 164490 WITH SCORE 164683.393
AT ITER 4038 NEW BEST:: SOT 428067 SOS 193440 HAS SOPS 193440 HAS SOUS 164396 HAS SOUPS 164396 WITH SCORE 164589.44
AT ITER 4040 NEW BEST:: SOT 428061 SOS 193416 HAS SOPS 193416 HAS SOUS 164372 HAS SOUPS 164372 WITH SCORE 164565.416
AT ITER 4063 NEW BEST:: SOT 428035 SOS 193377 HAS SOPS 193377 HAS SOUS 164333 HAS SOUPS 164333 WITH SCORE 164526.377
AT ITER 4065 NEW BEST:: SOT 428000 SOS 193233 HAS SOPS 193233 HAS SOUS 164320 HAS SOUPS 164320 WITH SCORE 164513.233
AT ITER 4070 NEW BEST:: SOT 427833 SOS 193120 HAS SOPS 193120 HAS SOUS 164065 HAS SOUPS 164065 WITH SCORE 164258.12
AT ITER 4078 NEW BEST:: SOT 427788 SOS 193078 HAS SOPS 193078 HAS SOUS 164023 HAS SOUPS 164023 WITH SCORE 164216.078
AT ITER 4086 NEW BEST:: SOT 427696 SOS 192986 HAS SOPS 192986 HAS SOUS 163931 HAS SOUPS 163931 WITH SCORE 164123.986
AT ITER 4096 NEW BEST:: SOT 427469 SOS 192759 HAS SOPS 192759 HAS SOUS 163704 HAS SOUPS 163704 WITH SCORE 163896.759
AT ITER 4101 NEW BEST:: SOT 427469 SOS 192757 HAS SOPS 192757 HAS SOUS 163699 HAS SOUPS 163699 WITH SCORE 163891.757
AT ITER 4110 NEW BEST:: SOT 427321 SOS 192597 HAS SOPS 192597 HAS SOUS 163539 HAS SOUPS 163539 WITH SCORE 163731.597
AT ITER 4113 NEW BEST:: SOT 427321 SOS 192504 HAS SOPS 192504 HAS SOUS 163446 HAS SOUPS 163446 WITH SCORE 163638.504
AT ITER 4128 NEW BEST:: SOT 427293 SOS 192476 HAS SOPS 192476 HAS SOUS 163418 HAS SOUPS 163418 WITH SCORE 163610.476
AT ITER 4138 NEW BEST:: SOT 427332 SOS 192489 HAS SOPS 192489 HAS SOUS 163411 HAS SOUPS 163411 WITH SCORE 163603.489
AT ITER 4152 NEW BEST:: SOT 427294 SOS 192304 HAS SOPS 192304 HAS SOUS 163340 HAS SOUPS 163340 WITH SCORE 163532.304
AT ITER 4170 NEW BEST:: SOT 427233 SOS 192241 HAS SOPS 192241 HAS SOUS 163268 HAS SOUPS 163268 WITH SCORE 163460.241
AT ITER 4181 NEW BEST:: SOT 427187 SOS 192088 HAS SOPS 192088 HAS SOUS 163169 HAS SOUPS 163169 WITH SCORE 163361.088
AT ITER 4185 NEW BEST:: SOT 426857 SOS 191458 HAS SOPS 191458 HAS SOUS 162548 HAS SOUPS 162548 WITH SCORE 162739.458
AT ITER 4199 NEW BEST:: SOT 426715 SOS 190748 HAS SOPS 190748 HAS SOUS 162548 HAS SOUPS 162548 WITH SCORE 162738.748
AT ITER 4207 NEW BEST:: SOT 426427 SOS 190441 HAS SOPS 190441 HAS SOUS 162274 HAS SOUPS 162274 WITH SCORE 162464.441
AT ITER 4210 NEW BEST:: SOT 426415 SOS 190423 HAS SOPS 190423 HAS SOUS 162256 HAS SOUPS 162256 WITH SCORE 162446.423
AT ITER 4212 NEW BEST:: SOT 426497 SOS 190388 HAS SOPS 190388 HAS SOUS 162221 HAS SOUPS 162221 WITH SCORE 162411.388
AT ITER 4214 NEW BEST:: SOT 426199 SOS 190327 HAS SOPS 190327 HAS SOUS 162215 HAS SOUPS 162215 WITH SCORE 162405.327
AT ITER 4215 NEW BEST:: SOT 425729 SOS 189857 HAS SOPS 189857 HAS SOUS 161745 HAS SOUPS 161745 WITH SCORE 161934.857
AT ITER 4235 NEW BEST:: SOT 425719 SOS 189827 HAS SOPS 189827 HAS SOUS 161729 HAS SOUPS 161729 WITH SCORE 161918.827
AT ITER 4246 NEW BEST:: SOT 425625 SOS 188968 HAS SOPS 188968 HAS SOUS 161220 HAS SOUPS 161220 WITH SCORE 161408.968
AT ITER 4250 NEW BEST:: SOT 425603 SOS 188946 HAS SOPS 188946 HAS SOUS 161198 HAS SOUPS 161198 WITH SCORE 161386.946
AT ITER 4260 NEW BEST:: SOT 425604 SOS 188887 HAS SOPS 188887 HAS SOUS 161139 HAS SOUPS 161139 WITH SCORE 161327.887
AT ITER 4291 NEW BEST:: SOT 425491 SOS 188772 HAS SOPS 188772 HAS SOUS 161024 HAS SOUPS 161024 WITH SCORE 161212.772
AT ITER 4294 NEW BEST:: SOT 425491 SOS 188735 HAS SOPS 188735 HAS SOUS 160987 HAS SOUPS 160987 WITH SCORE 161175.735
AT ITER 4296 NEW BEST:: SOT 425491 SOS 188585 HAS SOPS 188585 HAS SOUS 160837 HAS SOUPS 160837 WITH SCORE 161025.585
AT ITER 4305 NEW BEST:: SOT 425328 SOS 188422 HAS SOPS 188422 HAS SOUS 160633 HAS SOUPS 160633 WITH SCORE 160821.422
AT ITER 4322 NEW BEST:: SOT 425296 SOS 188390 HAS SOPS 188390 HAS SOUS 160601 HAS SOUPS 160601 WITH SCORE 160789.39
AT ITER 4339 NEW BEST:: SOT 425270 SOS 188329 HAS SOPS 188329 HAS SOUS 160540 HAS SOUPS 160540 WITH SCORE 160728.329
AT ITER 4346 NEW BEST:: SOT 425270 SOS 188241 HAS SOPS 188241 HAS SOUS 160452 HAS SOUPS 160452 WITH SCORE 160640.241
AT ITER 4359 NEW BEST:: SOT 425226 SOS 188195 HAS SOPS 188195 HAS SOUS 160405 HAS SOUPS 160405 WITH SCORE 160593.195
AT ITER 4363 NEW BEST:: SOT 425225 SOS 188192 HAS SOPS 188192 HAS SOUS 160402 HAS SOUPS 160402 WITH SCORE 160590.192
AT ITER 4377 NEW BEST:: SOT 425215 SOS 188039 HAS SOPS 188039 HAS SOUS 160249 HAS SOUPS 160249 WITH SCORE 160437.039
AT ITER 4385 NEW BEST:: SOT 425345 SOS 187790 HAS SOPS 187790 HAS SOUS 159791 HAS SOUPS 159791 WITH SCORE 159978.79
AT ITER 4388 NEW BEST:: SOT 425335 SOS 187725 HAS SOPS 187725 HAS SOUS 159726 HAS SOUPS 159726 WITH SCORE 159913.725
AT ITER 4391 NEW BEST:: SOT 425170 SOS 187528 HAS SOPS 187528 HAS SOUS 159649 HAS SOUPS 159649 WITH SCORE 159836.528
AT ITER 4393 NEW BEST:: SOT 425170 SOS 187488 HAS SOPS 187488 HAS SOUS 159649 HAS SOUPS 159649 WITH SCORE 159836.488
AT ITER 4399 NEW BEST:: SOT 425142 SOS 187467 HAS SOPS 187467 HAS SOUS 159593 HAS SOUPS 159593 WITH SCORE 159780.467
AT ITER 4402 NEW BEST:: SOT 425142 SOS 187459 HAS SOPS 187459 HAS SOUS 159593 HAS SOUPS 159593 WITH SCORE 159780.459
AT ITER 4412 NEW BEST:: SOT 425138 SOS 187455 HAS SOPS 187455 HAS SOUS 159589 HAS SOUPS 159589 WITH SCORE 159776.455
AT ITER 4419 NEW BEST:: SOT 425146 SOS 187399 HAS SOPS 187399 HAS SOUS 159473 HAS SOUPS 159473 WITH SCORE 159660.399
AT ITER 4420 NEW BEST:: SOT 425164 SOS 187393 HAS SOPS 187393 HAS SOUS 159461 HAS SOUPS 159461 WITH SCORE 159648.393
AT ITER 4425 NEW BEST:: SOT 425221 SOS 187450 HAS SOPS 187450 HAS SOUS 159451 HAS SOUPS 159451 WITH SCORE 159638.45
AT ITER 4440 NEW BEST:: SOT 425013 SOS 187215 HAS SOPS 187215 HAS SOUS 159216 HAS SOUPS 159216 WITH SCORE 159403.215
AT ITER 4446 NEW BEST:: SOT 424992 SOS 187154 HAS SOPS 187154 HAS SOUS 159200 HAS SOUPS 159200 WITH SCORE 159387.154
AT ITER 4461 NEW BEST:: SOT 424955 SOS 187114 HAS SOPS 187114 HAS SOUS 159009 HAS SOUPS 159009 WITH SCORE 159196.114
AT ITER 4462 NEW BEST:: SOT 424978 SOS 187131 HAS SOPS 187131 HAS SOUS 159006 HAS SOUPS 159006 WITH SCORE 159193.131
AT ITER 4470 NEW BEST:: SOT 424961 SOS 187086 HAS SOPS 187086 HAS SOUS 158961 HAS SOUPS 158961 WITH SCORE 159148.086
AT ITER 4477 NEW BEST:: SOT 424977 SOS 187102 HAS SOPS 187102 HAS SOUS 158940 HAS SOUPS 158940 WITH SCORE 159127.102
AT ITER 4495 NEW BEST:: SOT 424999 SOS 187154 HAS SOPS 187154 HAS SOUS 158833 HAS SOUPS 158833 WITH SCORE 159020.154
AT ITER 4520 NEW BEST:: SOT 424754 SOS 186909 HAS SOPS 186909 HAS SOUS 158588 HAS SOUPS 158588 WITH SCORE 158774.909
AT ITER 4533 NEW BEST:: SOT 424734 SOS 186889 HAS SOPS 186889 HAS SOUS 158568 HAS SOUPS 158568 WITH SCORE 158754.889
AT ITER 4540 NEW BEST:: SOT 424734 SOS 186919 HAS SOPS 186919 HAS SOUS 158476 HAS SOUPS 158476 WITH SCORE 158662.919
AT ITER 4544 NEW BEST:: SOT 424728 SOS 186889 HAS SOPS 186889 HAS SOUS 158476 HAS SOUPS 158476 WITH SCORE 158662.889
AT ITER 4562 NEW BEST:: SOT 424728 SOS 186937 HAS SOPS 186937 HAS SOUS 158398 HAS SOUPS 158398 WITH SCORE 158584.937
AT ITER 4600 NEW BEST:: SOT 424600 SOS 186242 HAS SOPS 186242 HAS SOUS 157986 HAS SOUPS 157986 WITH SCORE 158172.242
AT ITER 4602 NEW BEST:: SOT 424625 SOS 186238 HAS SOPS 186238 HAS SOUS 157982 HAS SOUPS 157982 WITH SCORE 158168.238
AT ITER 4608 NEW BEST:: SOT 424517 SOS 186115 HAS SOPS 186115 HAS SOUS 157859 HAS SOUPS 157859 WITH SCORE 158045.115
AT ITER 4631 NEW BEST:: SOT 424271 SOS 185738 HAS SOPS 185738 HAS SOUS 157317 HAS SOUPS 157317 WITH SCORE 157502.738
AT ITER 4641 NEW BEST:: SOT 424048 SOS 185159 HAS SOPS 185159 HAS SOUS 157239 HAS SOUPS 157239 WITH SCORE 157424.159
AT ITER 4646 NEW BEST:: SOT 424034 SOS 185145 HAS SOPS 185145 HAS SOUS 157225 HAS SOUPS 157225 WITH SCORE 157410.145
AT ITER 4659 NEW BEST:: SOT 424036 SOS 185161 HAS SOPS 185161 HAS SOUS 157217 HAS SOUPS 157217 WITH SCORE 157402.161
AT ITER 4666 NEW BEST:: SOT 424129 SOS 185254 HAS SOPS 185254 HAS SOUS 157190 HAS SOUPS 157190 WITH SCORE 157375.254
AT ITER 4669 NEW BEST:: SOT 424307 SOS 185247 HAS SOPS 185247 HAS SOUS 157133 HAS SOUPS 157133 WITH SCORE 157318.247
AT ITER 4674 NEW BEST:: SOT 424307 SOS 185210 HAS SOPS 185210 HAS SOUS 156980 HAS SOUPS 156980 WITH SCORE 157165.21
AT ITER 4676 NEW BEST:: SOT 424590 SOS 185180 HAS SOPS 185180 HAS SOUS 156950 HAS SOUPS 156950 WITH SCORE 157135.18
AT ITER 4677 NEW BEST:: SOT 424539 SOS 185259 HAS SOPS 185259 HAS SOUS 156890 HAS SOUPS 156890 WITH SCORE 157075.259
AT ITER 4682 NEW BEST:: SOT 424539 SOS 185256 HAS SOPS 185256 HAS SOUS 156883 HAS SOUPS 156883 WITH SCORE 157068.256
AT ITER 4696 NEW BEST:: SOT 424495 SOS 185168 HAS SOPS 185168 HAS SOUS 156795 HAS SOUPS 156795 WITH SCORE 156980.168
AT ITER 4697 NEW BEST:: SOT 424382 SOS 184941 HAS SOPS 184941 HAS SOUS 156620 HAS SOUPS 156620 WITH SCORE 156804.941
AT ITER 4731 NEW BEST:: SOT 424382 SOS 184692 HAS SOPS 184692 HAS SOUS 156454 HAS SOUPS 156454 WITH SCORE 156638.692
AT ITER 4734 NEW BEST:: SOT 424425 SOS 184649 HAS SOPS 184649 HAS SOUS 156411 HAS SOUPS 156411 WITH SCORE 156595.649
AT ITER 4735 NEW BEST:: SOT 424424 SOS 184644 HAS SOPS 184644 HAS SOUS 156410 HAS SOUPS 156410 WITH SCORE 156594.644
AT ITER 4743 NEW BEST:: SOT 424424 SOS 184934 HAS SOPS 184934 HAS SOUS 156214 HAS SOUPS 156214 WITH SCORE 156398.934
AT ITER 4748 NEW BEST:: SOT 424413 SOS 184923 HAS SOPS 184923 HAS SOUS 156158 HAS SOUPS 156158 WITH SCORE 156342.923
AT ITER 4761 NEW BEST:: SOT 424094 SOS 184604 HAS SOPS 184604 HAS SOUS 155839 HAS SOUPS 155839 WITH SCORE 156023.604
AT ITER 4781 NEW BEST:: SOT 424094 SOS 184604 HAS SOPS 184604 HAS SOUS 155834 HAS SOUPS 155834 WITH SCORE 156018.604
AT ITER 4782 NEW BEST:: SOT 424030 SOS 184325 HAS SOPS 184325 HAS SOUS 155404 HAS SOUPS 155404 WITH SCORE 155588.325
AT ITER 4784 NEW BEST:: SOT 423974 SOS 184269 HAS SOPS 184269 HAS SOUS 155348 HAS SOUPS 155348 WITH SCORE 155532.269
AT ITER 4801 NEW BEST:: SOT 423974 SOS 184462 HAS SOPS 184462 HAS SOUS 155329 HAS SOUPS 155329 WITH SCORE 155513.462
AT ITER 4803 NEW BEST:: SOT 423902 SOS 184341 HAS SOPS 184341 HAS SOUS 155111 HAS SOUPS 155111 WITH SCORE 155295.341
AT ITER 4813 NEW BEST:: SOT 423883 SOS 184291 HAS SOPS 184291 HAS SOUS 155069 HAS SOUPS 155069 WITH SCORE 155253.291
AT ITER 4814 NEW BEST:: SOT 423831 SOS 183989 HAS SOPS 183989 HAS SOUS 155026 HAS SOUPS 155026 WITH SCORE 155209.989
AT ITER 4822 NEW BEST:: SOT 423831 SOS 183886 HAS SOPS 183886 HAS SOUS 154923 HAS SOUPS 154923 WITH SCORE 155106.886
AT ITER 4856 NEW BEST:: SOT 423831 SOS 183885 HAS SOPS 183885 HAS SOUS 154922 HAS SOUPS 154922 WITH SCORE 155105.885
AT ITER 4865 NEW BEST:: SOT 423869 SOS 184081 HAS SOPS 184081 HAS SOUS 154890 HAS SOUPS 154890 WITH SCORE 155074.081
AT ITER 4882 NEW BEST:: SOT 423869 SOS 183042 HAS SOPS 183042 HAS SOUS 154487 HAS SOUPS 154487 WITH SCORE 154670.042
AT ITER 4889 NEW BEST:: SOT 423712 SOS 182752 HAS SOPS 182752 HAS SOUS 154186 HAS SOUPS 154186 WITH SCORE 154368.752
AT ITER 4892 NEW BEST:: SOT 423931 SOS 182907 HAS SOPS 182907 HAS SOUS 154171 HAS SOUPS 154171 WITH SCORE 154353.907
AT ITER 4902 NEW BEST:: SOT 423846 SOS 182822 HAS SOPS 182822 HAS SOUS 154086 HAS SOUPS 154086 WITH SCORE 154268.822
AT ITER 4922 NEW BEST:: SOT 423980 SOS 182813 HAS SOPS 182813 HAS SOUS 154077 HAS SOUPS 154077 WITH SCORE 154259.813
AT ITER 4924 NEW BEST:: SOT 423974 SOS 182807 HAS SOPS 182807 HAS SOUS 154054 HAS SOUPS 154054 WITH SCORE 154236.807
AT ITER 4927 NEW BEST:: SOT 423980 SOS 182754 HAS SOPS 182754 HAS SOUS 154008 HAS SOUPS 154008 WITH SCORE 154190.754
AT ITER 4928 NEW BEST:: SOT 423980 SOS 182670 HAS SOPS 182670 HAS SOUS 153952 HAS SOUPS 153952 WITH SCORE 154134.67
AT ITER 4931 NEW BEST:: SOT 423978 SOS 182668 HAS SOPS 182668 HAS SOUS 153950 HAS SOUPS 153950 WITH SCORE 154132.668
AT ITER 4933 NEW BEST:: SOT 423977 SOS 182667 HAS SOPS 182667 HAS SOUS 153949 HAS SOUPS 153949 WITH SCORE 154131.667
AT ITER 4937 NEW BEST:: SOT 423975 SOS 182665 HAS SOPS 182665 HAS SOUS 153947 HAS SOUPS 153947 WITH SCORE 154129.665
AT ITER 4943 NEW BEST:: SOT 423974 SOS 182109 HAS SOPS 182109 HAS SOUS 153770 HAS SOUPS 153770 WITH SCORE 153952.109
AT ITER 4958 NEW BEST:: SOT 423775 SOS 181895 HAS SOPS 181895 HAS SOUS 153452 HAS SOUPS 153452 WITH SCORE 153633.895
AT ITER 4960 NEW BEST:: SOT 423790 SOS 181893 HAS SOPS 181893 HAS SOUS 153450 HAS SOUPS 153450 WITH SCORE 153631.893
AT ITER 4975 NEW BEST:: SOT 423785 SOS 181888 HAS SOPS 181888 HAS SOUS 153445 HAS SOUPS 153445 WITH SCORE 153626.888
AT ITER 4980 NEW BEST:: SOT 423747 SOS 181774 HAS SOPS 181774 HAS SOUS 153369 HAS SOUPS 153369 WITH SCORE 153550.774
AT ITER 4981 NEW BEST:: SOT 423725 SOS 181742 HAS SOPS 181742 HAS SOUS 153337 HAS SOUPS 153337 WITH SCORE 153518.742
AT ITER 5001 NEW BEST:: SOT 423702 SOS 181719 HAS SOPS 181719 HAS SOUS 153293 HAS SOUPS 153293 WITH SCORE 153474.719
AT ITER 5002 NEW BEST:: SOT 423702 SOS 181621 HAS SOPS 181621 HAS SOUS 153196 HAS SOUPS 153196 WITH SCORE 153377.621
AT ITER 5016 NEW BEST:: SOT 423702 SOS 181609 HAS SOPS 181609 HAS SOUS 153184 HAS SOUPS 153184 WITH SCORE 153365.609
AT ITER 5020 NEW BEST:: SOT 423662 SOS 181554 HAS SOPS 181554 HAS SOUS 153144 HAS SOUPS 153144 WITH SCORE 153325.554
AT ITER 5032 NEW BEST:: SOT 423477 SOS 181606 HAS SOPS 181606 HAS SOUS 153097 HAS SOUPS 153097 WITH SCORE 153278.606
AT ITER 5054 NEW BEST:: SOT 423439 SOS 181568 HAS SOPS 181568 HAS SOUS 153040 HAS SOUPS 153040 WITH SCORE 153221.568
AT ITER 5065 NEW BEST:: SOT 423439 SOS 181552 HAS SOPS 181552 HAS SOUS 153039 HAS SOUPS 153039 WITH SCORE 153220.552
AT ITER 5066 NEW BEST:: SOT 423059 SOS 181172 HAS SOPS 181172 HAS SOUS 152659 HAS SOUPS 152659 WITH SCORE 152840.172
AT ITER 5083 NEW BEST:: SOT 423035 SOS 181136 HAS SOPS 181136 HAS SOUS 152623 HAS SOUPS 152623 WITH SCORE 152804.136
AT ITER 5093 NEW BEST:: SOT 422832 SOS 180658 HAS SOPS 180658 HAS SOUS 152249 HAS SOUPS 152249 WITH SCORE 152429.658
AT ITER 5101 NEW BEST:: SOT 422832 SOS 180412 HAS SOPS 180412 HAS SOUS 151895 HAS SOUPS 151895 WITH SCORE 152075.412
AT ITER 5133 NEW BEST:: SOT 422973 SOS 180553 HAS SOPS 180553 HAS SOUS 151763 HAS SOUPS 151763 WITH SCORE 151943.553
AT ITER 5145 NEW BEST:: SOT 423039 SOS 180599 HAS SOPS 180599 HAS SOUS 151723 HAS SOUPS 151723 WITH SCORE 151903.599
AT ITER 5166 NEW BEST:: SOT 423073 SOS 180657 HAS SOPS 180657 HAS SOUS 151719 HAS SOUPS 151719 WITH SCORE 151899.657
AT ITER 5205 NEW BEST:: SOT 422861 SOS 180424 HAS SOPS 180424 HAS SOUS 151490 HAS SOUPS 151490 WITH SCORE 151670.424
AT ITER 5206 NEW BEST:: SOT 422850 SOS 180413 HAS SOPS 180413 HAS SOUS 151479 HAS SOUPS 151479 WITH SCORE 151659.413
AT ITER 5225 NEW BEST:: SOT 422762 SOS 180373 HAS SOPS 180373 HAS SOUS 151348 HAS SOUPS 151348 WITH SCORE 151528.373
AT ITER 5230 NEW BEST:: SOT 422697 SOS 180244 HAS SOPS 180244 HAS SOUS 151095 HAS SOUPS 151095 WITH SCORE 151275.244
AT ITER 5242 NEW BEST:: SOT 422601 SOS 180148 HAS SOPS 180148 HAS SOUS 150999 HAS SOUPS 150999 WITH SCORE 151179.148
AT ITER 5248 NEW BEST:: SOT 422487 SOS 180019 HAS SOPS 180019 HAS SOUS 150870 HAS SOUPS 150870 WITH SCORE 151050.019
AT ITER 5259 NEW BEST:: SOT 422326 SOS 179913 HAS SOPS 179913 HAS SOUS 150764 HAS SOUPS 150764 WITH SCORE 150943.913
AT ITER 5266 NEW BEST:: SOT 422225 SOS 179785 HAS SOPS 179785 HAS SOUS 150665 HAS SOUPS 150665 WITH SCORE 150844.785
AT ITER 5277 NEW BEST:: SOT 422188 SOS 179745 HAS SOPS 179745 HAS SOUS 150625 HAS SOUPS 150625 WITH SCORE 150804.745
AT ITER 5292 NEW BEST:: SOT 422221 SOS 179386 HAS SOPS 179386 HAS SOUS 150265 HAS SOUPS 150265 WITH SCORE 150444.386
AT ITER 5295 NEW BEST:: SOT 422030 SOS 178862 HAS SOPS 178862 HAS SOUS 150089 HAS SOUPS 150089 WITH SCORE 150267.862
AT ITER 5300 NEW BEST:: SOT 422019 SOS 178837 HAS SOPS 178837 HAS SOUS 150064 HAS SOUPS 150064 WITH SCORE 150242.837
AT ITER 5302 NEW BEST:: SOT 422019 SOS 178831 HAS SOPS 178831 HAS SOUS 150058 HAS SOUPS 150058 WITH SCORE 150236.831
AT ITER 5318 NEW BEST:: SOT 422019 SOS 178736 HAS SOPS 178736 HAS SOUS 149989 HAS SOUPS 149989 WITH SCORE 150167.736
AT ITER 5322 NEW BEST:: SOT 421919 SOS 178501 HAS SOPS 178501 HAS SOUS 149789 HAS SOUPS 149789 WITH SCORE 149967.501
AT ITER 5325 NEW BEST:: SOT 421709 SOS 178227 HAS SOPS 178227 HAS SOUS 149515 HAS SOUPS 149515 WITH SCORE 149693.227
AT ITER 5334 NEW BEST:: SOT 421694 SOS 178199 HAS SOPS 178199 HAS SOUS 149475 HAS SOUPS 149475 WITH SCORE 149653.199
AT ITER 5346 NEW BEST:: SOT 421671 SOS 178176 HAS SOPS 178176 HAS SOUS 149452 HAS SOUPS 149452 WITH SCORE 149630.176
AT ITER 5356 NEW BEST:: SOT 421697 SOS 177877 HAS SOPS 177877 HAS SOUS 149320 HAS SOUPS 149320 WITH SCORE 149497.877
AT ITER 5360 NEW BEST:: SOT 421665 SOS 177845 HAS SOPS 177845 HAS SOUS 149288 HAS SOUPS 149288 WITH SCORE 149465.845
AT ITER 5370 NEW BEST:: SOT 421612 SOS 177527 HAS SOPS 177527 HAS SOUS 149182 HAS SOUPS 149182 WITH SCORE 149359.527
AT ITER 5396 NEW BEST:: SOT 421612 SOS 177491 HAS SOPS 177491 HAS SOUS 149169 HAS SOUPS 149169 WITH SCORE 149346.491
AT ITER 5407 NEW BEST:: SOT 421487 SOS 177450 HAS SOPS 177450 HAS SOUS 149101 HAS SOUPS 149101 WITH SCORE 149278.45
AT ITER 5408 NEW BEST:: SOT 421485 SOS 177447 HAS SOPS 177447 HAS SOUS 149098 HAS SOUPS 149098 WITH SCORE 149275.447
AT ITER 5410 NEW BEST:: SOT 421475 SOS 177437 HAS SOPS 177437 HAS SOUS 149088 HAS SOUPS 149088 WITH SCORE 149265.437
AT ITER 5419 NEW BEST:: SOT 421436 SOS 177185 HAS SOPS 177185 HAS SOUS 148779 HAS SOUPS 148779 WITH SCORE 148956.185
AT ITER 5436 NEW BEST:: SOT 421388 SOS 177085 HAS SOPS 177085 HAS SOUS 148565 HAS SOUPS 148565 WITH SCORE 148742.085
AT ITER 5444 NEW BEST:: SOT 421359 SOS 177027 HAS SOPS 177027 HAS SOUS 148565 HAS SOUPS 148565 WITH SCORE 148742.027
AT ITER 5445 NEW BEST:: SOT 421334 SOS 176918 HAS SOPS 176918 HAS SOUS 148456 HAS SOUPS 148456 WITH SCORE 148632.918
AT ITER 5454 NEW BEST:: SOT 421272 SOS 176856 HAS SOPS 176856 HAS SOUS 148394 HAS SOUPS 148394 WITH SCORE 148570.856
AT ITER 5468 NEW BEST:: SOT 420660 SOS 176332 HAS SOPS 176332 HAS SOUS 147646 HAS SOUPS 147646 WITH SCORE 147822.332
AT ITER 5470 NEW BEST:: SOT 420650 SOS 176302 HAS SOPS 176302 HAS SOUS 147616 HAS SOUPS 147616 WITH SCORE 147792.302
AT ITER 5483 NEW BEST:: SOT 420608 SOS 176098 HAS SOPS 176098 HAS SOUS 147387 HAS SOUPS 147387 WITH SCORE 147563.098
AT ITER 5496 NEW BEST:: SOT 420487 SOS 175977 HAS SOPS 175977 HAS SOUS 147266 HAS SOUPS 147266 WITH SCORE 147441.977
AT ITER 5509 NEW BEST:: SOT 421103 SOS 175830 HAS SOPS 175830 HAS SOUS 147069 HAS SOUPS 147069 WITH SCORE 147244.83
AT ITER 5511 NEW BEST:: SOT 420969 SOS 175558 HAS SOPS 175558 HAS SOUS 146720 HAS SOUPS 146720 WITH SCORE 146895.558
AT ITER 5515 NEW BEST:: SOT 421002 SOS 175499 HAS SOPS 175499 HAS SOUS 146661 HAS SOUPS 146661 WITH SCORE 146836.499
AT ITER 5557 NEW BEST:: SOT 420865 SOS 175362 HAS SOPS 175362 HAS SOUS 146524 HAS SOUPS 146524 WITH SCORE 146699.362
AT ITER 5587 NEW BEST:: SOT 420855 SOS 175352 HAS SOPS 175352 HAS SOUS 146514 HAS SOUPS 146514 WITH SCORE 146689.352
AT ITER 5609 NEW BEST:: SOT 420855 SOS 175350 HAS SOPS 175350 HAS SOUS 146512 HAS SOUPS 146512 WITH SCORE 146687.35
AT ITER 5612 NEW BEST:: SOT 420855 SOS 175326 HAS SOPS 175326 HAS SOUS 146500 HAS SOUPS 146500 WITH SCORE 146675.326
AT ITER 5616 NEW BEST:: SOT 420777 SOS 175319 HAS SOPS 175319 HAS SOUS 146478 HAS SOUPS 146478 WITH SCORE 146653.319
AT ITER 5629 NEW BEST:: SOT 420711 SOS 175121 HAS SOPS 175121 HAS SOUS 146413 HAS SOUPS 146413 WITH SCORE 146588.121
AT ITER 5636 NEW BEST:: SOT 420704 SOS 175114 HAS SOPS 175114 HAS SOUS 146406 HAS SOUPS 146406 WITH SCORE 146581.114
AT ITER 5649 NEW BEST:: SOT 420691 SOS 175059 HAS SOPS 175059 HAS SOUS 146344 HAS SOUPS 146344 WITH SCORE 146519.059
AT ITER 5650 NEW BEST:: SOT 420691 SOS 174945 HAS SOPS 174945 HAS SOUS 146241 HAS SOUPS 146241 WITH SCORE 146415.945
AT ITER 5672 NEW BEST:: SOT 420672 SOS 174926 HAS SOPS 174926 HAS SOUS 146222 HAS SOUPS 146222 WITH SCORE 146396.926
AT ITER 5681 NEW BEST:: SOT 420672 SOS 175203 HAS SOPS 175203 HAS SOUS 146211 HAS SOUPS 146211 WITH SCORE 146386.203
AT ITER 5692 NEW BEST:: SOT 420622 SOS 175153 HAS SOPS 175153 HAS SOUS 146161 HAS SOUPS 146161 WITH SCORE 146336.153
AT ITER 5719 NEW BEST:: SOT 420607 SOS 175144 HAS SOPS 175144 HAS SOUS 146152 HAS SOUPS 146152 WITH SCORE 146327.144
AT ITER 5727 NEW BEST:: SOT 420607 SOS 175147 HAS SOPS 175147 HAS SOUS 146073 HAS SOUPS 146073 WITH SCORE 146248.147
AT ITER 5733 NEW BEST:: SOT 420489 SOS 175029 HAS SOPS 175029 HAS SOUS 145955 HAS SOUPS 145955 WITH SCORE 146130.029
AT ITER 5743 NEW BEST:: SOT 420443 SOS 174940 HAS SOPS 174940 HAS SOUS 145866 HAS SOUPS 145866 WITH SCORE 146040.94
AT ITER 5766 NEW BEST:: SOT 420409 SOS 174771 HAS SOPS 174771 HAS SOUS 145697 HAS SOUPS 145697 WITH SCORE 145871.771
AT ITER 5783 NEW BEST:: SOT 420409 SOS 174753 HAS SOPS 174753 HAS SOUS 145679 HAS SOUPS 145679 WITH SCORE 145853.753
AT ITER 5797 NEW BEST:: SOT 420363 SOS 174701 HAS SOPS 174701 HAS SOUS 145627 HAS SOUPS 145627 WITH SCORE 145801.701
AT ITER 5799 NEW BEST:: SOT 420445 SOS 174566 HAS SOPS 174566 HAS SOUS 145543 HAS SOUPS 145543 WITH SCORE 145717.566
AT ITER 5807 NEW BEST:: SOT 420644 SOS 174188 HAS SOPS 174188 HAS SOUS 144846 HAS SOUPS 144846 WITH SCORE 145020.188
AT ITER 5810 NEW BEST:: SOT 420612 SOS 174311 HAS SOPS 174311 HAS SOUS 144761 HAS SOUPS 144761 WITH SCORE 144935.311
AT ITER 5815 NEW BEST:: SOT 420552 SOS 174131 HAS SOPS 174131 HAS SOUS 144581 HAS SOUPS 144581 WITH SCORE 144755.131
AT ITER 5875 NEW BEST:: SOT 420552 SOS 174129 HAS SOPS 174129 HAS SOUS 144579 HAS SOUPS 144579 WITH SCORE 144753.129
AT ITER 5878 NEW BEST:: SOT 420574 SOS 174053 HAS SOPS 174053 HAS SOUS 144479 HAS SOUPS 144479 WITH SCORE 144653.053
AT ITER 5915 NEW BEST:: SOT 420565 SOS 173845 HAS SOPS 173845 HAS SOUS 144233 HAS SOUPS 144233 WITH SCORE 144406.845
AT ITER 5921 NEW BEST:: SOT 420565 SOS 173791 HAS SOPS 173791 HAS SOUS 144199 HAS SOUPS 144199 WITH SCORE 144372.791
AT ITER 5922 NEW BEST:: SOT 420565 SOS 173757 HAS SOPS 173757 HAS SOUS 144165 HAS SOUPS 144165 WITH SCORE 144338.757
AT ITER 5937 NEW BEST:: SOT 420540 SOS 173730 HAS SOPS 173730 HAS SOUS 144138 HAS SOUPS 144138 WITH SCORE 144311.73
AT ITER 5940 NEW BEST:: SOT 420223 SOS 173224 HAS SOPS 173224 HAS SOUS 143632 HAS SOUPS 143632 WITH SCORE 143805.224
AT ITER 5957 NEW BEST:: SOT 420223 SOS 173222 HAS SOPS 173222 HAS SOUS 143631 HAS SOUPS 143631 WITH SCORE 143804.222
AT ITER 5960 NEW BEST:: SOT 420211 SOS 173210 HAS SOPS 173210 HAS SOUS 143619 HAS SOUPS 143619 WITH SCORE 143792.21
AT ITER 5962 NEW BEST:: SOT 420323 SOS 172923 HAS SOPS 172923 HAS SOUS 143404 HAS SOUPS 143404 WITH SCORE 143576.923
AT ITER 5963 NEW BEST:: SOT 420310 SOS 172910 HAS SOPS 172910 HAS SOUS 143391 HAS SOUPS 143391 WITH SCORE 143563.91
AT ITER 5964 NEW BEST:: SOT 420294 SOS 172891 HAS SOPS 172891 HAS SOUS 143372 HAS SOUPS 143372 WITH SCORE 143544.891
AT ITER 5970 NEW BEST:: SOT 420396 SOS 172783 HAS SOPS 172783 HAS SOUS 143223 HAS SOUPS 143223 WITH SCORE 143395.783
AT ITER 5977 NEW BEST:: SOT 420396 SOS 172764 HAS SOPS 172764 HAS SOUS 143223 HAS SOUPS 143223 WITH SCORE 143395.764
AT ITER 6013 NEW BEST:: SOT 420396 SOS 172728 HAS SOPS 172728 HAS SOUS 143205 HAS SOUPS 143205 WITH SCORE 143377.728
AT ITER 6026 NEW BEST:: SOT 420550 SOS 172638 HAS SOPS 172638 HAS SOUS 143129 HAS SOUPS 143129 WITH SCORE 143301.638
AT ITER 6035 NEW BEST:: SOT 420550 SOS 172582 HAS SOPS 172582 HAS SOUS 143101 HAS SOUPS 143101 WITH SCORE 143273.582
AT ITER 6040 NEW BEST:: SOT 420893 SOS 172638 HAS SOPS 172638 HAS SOUS 143057 HAS SOUPS 143057 WITH SCORE 143229.638
AT ITER 6042 NEW BEST:: SOT 420893 SOS 172658 HAS SOPS 172658 HAS SOUS 143037 HAS SOUPS 143037 WITH SCORE 143209.658
AT ITER 6059 NEW BEST:: SOT 420829 SOS 172298 HAS SOPS 172298 HAS SOUS 142963 HAS SOUPS 142963 WITH SCORE 143135.298
AT ITER 6064 NEW BEST:: SOT 420755 SOS 172092 HAS SOPS 172092 HAS SOUS 142757 HAS SOUPS 142757 WITH SCORE 142929.092
AT ITER 6101 NEW BEST:: SOT 420737 SOS 172074 HAS SOPS 172074 HAS SOUS 142739 HAS SOUPS 142739 WITH SCORE 142911.074
AT ITER 6116 NEW BEST:: SOT 420671 SOS 172041 HAS SOPS 172041 HAS SOUS 142738 HAS SOUPS 142738 WITH SCORE 142910.041
AT ITER 6162 NEW BEST:: SOT 420634 SOS 171988 HAS SOPS 171988 HAS SOUS 142643 HAS SOUPS 142643 WITH SCORE 142814.988
AT ITER 6168 NEW BEST:: SOT 420512 SOS 171979 HAS SOPS 171979 HAS SOUS 142513 HAS SOUPS 142513 WITH SCORE 142684.979
AT ITER 6172 NEW BEST:: SOT 420496 SOS 171963 HAS SOPS 171963 HAS SOUS 142497 HAS SOUPS 142497 WITH SCORE 142668.963
AT ITER 6192 NEW BEST:: SOT 420489 SOS 171956 HAS SOPS 171956 HAS SOUS 142490 HAS SOUPS 142490 WITH SCORE 142661.956
AT ITER 6194 NEW BEST:: SOT 420443 SOS 171742 HAS SOPS 171742 HAS SOUS 142318 HAS SOUPS 142318 WITH SCORE 142489.742
AT ITER 6198 NEW BEST:: SOT 420508 SOS 171714 HAS SOPS 171714 HAS SOUS 142290 HAS SOUPS 142290 WITH SCORE 142461.714
AT ITER 6216 NEW BEST:: SOT 420431 SOS 171371 HAS SOPS 171371 HAS SOUS 141991 HAS SOUPS 141991 WITH SCORE 142162.371
AT ITER 6238 NEW BEST:: SOT 420281 SOS 171221 HAS SOPS 171221 HAS SOUS 141823 HAS SOUPS 141823 WITH SCORE 141994.221
AT ITER 6242 NEW BEST:: SOT 420422 SOS 171214 HAS SOPS 171214 HAS SOUS 141814 HAS SOUPS 141814 WITH SCORE 141985.214
AT ITER 6243 NEW BEST:: SOT 420430 SOS 171222 HAS SOPS 171222 HAS SOUS 141809 HAS SOUPS 141809 WITH SCORE 141980.222
AT ITER 6249 NEW BEST:: SOT 420386 SOS 171170 HAS SOPS 171170 HAS SOUS 141543 HAS SOUPS 141543 WITH SCORE 141714.17
AT ITER 6294 NEW BEST:: SOT 420063 SOS 170474 HAS SOPS 170474 HAS SOUS 140972 HAS SOUPS 140972 WITH SCORE 141142.474
AT ITER 6306 NEW BEST:: SOT 420038 SOS 170449 HAS SOPS 170449 HAS SOUS 140947 HAS SOUPS 140947 WITH SCORE 141117.449
AT ITER 6313 NEW BEST:: SOT 419974 SOS 170129 HAS SOPS 170129 HAS SOUS 140819 HAS SOUPS 140819 WITH SCORE 140989.129
AT ITER 6320 NEW BEST:: SOT 419910 SOS 170097 HAS SOPS 170097 HAS SOUS 140764 HAS SOUPS 140764 WITH SCORE 140934.097
AT ITER 6322 NEW BEST:: SOT 419878 SOS 170065 HAS SOPS 170065 HAS SOUS 140732 HAS SOUPS 140732 WITH SCORE 140902.065
AT ITER 6336 NEW BEST:: SOT 419809 SOS 169996 HAS SOPS 169996 HAS SOUS 140663 HAS SOUPS 140663 WITH SCORE 140832.996
AT ITER 6344 NEW BEST:: SOT 419800 SOS 169987 HAS SOPS 169987 HAS SOUS 140654 HAS SOUPS 140654 WITH SCORE 140823.987
AT ITER 6346 NEW BEST:: SOT 419798 SOS 169985 HAS SOPS 169985 HAS SOUS 140580 HAS SOUPS 140580 WITH SCORE 140749.985
AT ITER 6356 NEW BEST:: SOT 419748 SOS 169960 HAS SOPS 169960 HAS SOUS 140530 HAS SOUPS 140530 WITH SCORE 140699.96
AT ITER 6360 NEW BEST:: SOT 419722 SOS 169935 HAS SOPS 169935 HAS SOUS 140516 HAS SOUPS 140516 WITH SCORE 140685.935
AT ITER 6366 NEW BEST:: SOT 419744 SOS 169979 HAS SOPS 169979 HAS SOUS 140494 HAS SOUPS 140494 WITH SCORE 140663.979
AT ITER 6367 NEW BEST:: SOT 419724 SOS 169936 HAS SOPS 169936 HAS SOUS 140451 HAS SOUPS 140451 WITH SCORE 140620.936
AT ITER 6379 NEW BEST:: SOT 419699 SOS 169946 HAS SOPS 169946 HAS SOUS 140445 HAS SOUPS 140445 WITH SCORE 140614.946
AT ITER 6394 NEW BEST:: SOT 419570 SOS 169525 HAS SOPS 169525 HAS SOUS 140344 HAS SOUPS 140344 WITH SCORE 140513.525
AT ITER 6398 NEW BEST:: SOT 419652 SOS 169459 HAS SOPS 169459 HAS SOUS 140275 HAS SOUPS 140275 WITH SCORE 140444.459
AT ITER 6403 NEW BEST:: SOT 419650 SOS 169457 HAS SOPS 169457 HAS SOUS 140268 HAS SOUPS 140268 WITH SCORE 140437.457
AT ITER 6407 NEW BEST:: SOT 419486 SOS 169246 HAS SOPS 169246 HAS SOUS 140057 HAS SOUPS 140057 WITH SCORE 140226.246
AT ITER 6410 NEW BEST:: SOT 419486 SOS 169168 HAS SOPS 169168 HAS SOUS 140031 HAS SOUPS 140031 WITH SCORE 140200.168
AT ITER 6424 NEW BEST:: SOT 419448 SOS 169067 HAS SOPS 169067 HAS SOUS 139916 HAS SOUPS 139916 WITH SCORE 140085.067
AT ITER 6430 NEW BEST:: SOT 419395 SOS 168908 HAS SOPS 168908 HAS SOUS 139810 HAS SOUPS 139810 WITH SCORE 139978.908
AT ITER 6446 NEW BEST:: SOT 419394 SOS 168907 HAS SOPS 168907 HAS SOUS 139809 HAS SOUPS 139809 WITH SCORE 139977.907
AT ITER 6449 NEW BEST:: SOT 419373 SOS 168902 HAS SOPS 168902 HAS SOUS 139783 HAS SOUPS 139783 WITH SCORE 139951.902
AT ITER 6456 NEW BEST:: SOT 419264 SOS 168756 HAS SOPS 168756 HAS SOUS 139637 HAS SOUPS 139637 WITH SCORE 139805.756
AT ITER 6459 NEW BEST:: SOT 419248 SOS 168740 HAS SOPS 168740 HAS SOUS 139621 HAS SOUPS 139621 WITH SCORE 139789.74
AT ITER 6460 NEW BEST:: SOT 419068 SOS 168443 HAS SOPS 168443 HAS SOUS 139324 HAS SOUPS 139324 WITH SCORE 139492.443
AT ITER 6463 NEW BEST:: SOT 419274 SOS 167490 HAS SOPS 167490 HAS SOUS 139183 HAS SOUPS 139183 WITH SCORE 139350.49
AT ITER 6492 NEW BEST:: SOT 419274 SOS 167519 HAS SOPS 167519 HAS SOUS 139154 HAS SOUPS 139154 WITH SCORE 139321.519
AT ITER 6497 NEW BEST:: SOT 419236 SOS 167443 HAS SOPS 167443 HAS SOUS 139078 HAS SOUPS 139078 WITH SCORE 139245.443
AT ITER 6503 NEW BEST:: SOT 419340 SOS 167290 HAS SOPS 167290 HAS SOUS 139013 HAS SOUPS 139013 WITH SCORE 139180.29
AT ITER 6516 NEW BEST:: SOT 419331 SOS 167269 HAS SOPS 167269 HAS SOUS 138975 HAS SOUPS 138975 WITH SCORE 139142.269
AT ITER 6519 NEW BEST:: SOT 419329 SOS 167266 HAS SOPS 167266 HAS SOUS 138941 HAS SOUPS 138941 WITH SCORE 139108.266
AT ITER 6539 NEW BEST:: SOT 419386 SOS 167154 HAS SOPS 167154 HAS SOUS 138823 HAS SOUPS 138823 WITH SCORE 138990.154
AT ITER 6548 NEW BEST:: SOT 419384 SOS 166704 HAS SOPS 166704 HAS SOUS 138689 HAS SOUPS 138689 WITH SCORE 138855.704
AT ITER 6585 NEW BEST:: SOT 419411 SOS 166683 HAS SOPS 166683 HAS SOUS 138605 HAS SOUPS 138605 WITH SCORE 138771.683
AT ITER 6589 NEW BEST:: SOT 419395 SOS 166683 HAS SOPS 166683 HAS SOUS 138552 HAS SOUPS 138552 WITH SCORE 138718.683
AT ITER 6602 NEW BEST:: SOT 419355 SOS 166643 HAS SOPS 166643 HAS SOUS 138512 HAS SOUPS 138512 WITH SCORE 138678.643
AT ITER 6616 NEW BEST:: SOT 419343 SOS 166600 HAS SOPS 166600 HAS SOUS 138488 HAS SOUPS 138488 WITH SCORE 138654.6
AT ITER 6619 NEW BEST:: SOT 419325 SOS 166582 HAS SOPS 166582 HAS SOUS 138470 HAS SOUPS 138470 WITH SCORE 138636.582
AT ITER 6648 NEW BEST:: SOT 419297 SOS 166554 HAS SOPS 166554 HAS SOUS 138442 HAS SOUPS 138442 WITH SCORE 138608.554
AT ITER 6653 NEW BEST:: SOT 419325 SOS 166558 HAS SOPS 166558 HAS SOUS 138390 HAS SOUPS 138390 WITH SCORE 138556.558
AT ITER 6685 NEW BEST:: SOT 419294 SOS 166349 HAS SOPS 166349 HAS SOUS 138364 HAS SOUPS 138364 WITH SCORE 138530.349
AT ITER 6687 NEW BEST:: SOT 419231 SOS 166231 HAS SOPS 166231 HAS SOUS 138152 HAS SOUPS 138152 WITH SCORE 138318.231
AT ITER 6694 NEW BEST:: SOT 419190 SOS 166149 HAS SOPS 166149 HAS SOUS 138070 HAS SOUPS 138070 WITH SCORE 138236.149
AT ITER 6700 NEW BEST:: SOT 419190 SOS 165987 HAS SOPS 165987 HAS SOUS 137854 HAS SOUPS 137854 WITH SCORE 138019.987
AT ITER 6702 NEW BEST:: SOT 419155 SOS 165691 HAS SOPS 165691 HAS SOUS 137775 HAS SOUPS 137775 WITH SCORE 137940.691
AT ITER 6727 NEW BEST:: SOT 419155 SOS 165691 HAS SOPS 165691 HAS SOUS 137742 HAS SOUPS 137742 WITH SCORE 137907.691
AT ITER 6731 NEW BEST:: SOT 418988 SOS 165507 HAS SOPS 165507 HAS SOUS 137559 HAS SOUPS 137559 WITH SCORE 137724.507
AT ITER 6743 NEW BEST:: SOT 418958 SOS 165477 HAS SOPS 165477 HAS SOUS 137504 HAS SOUPS 137504 WITH SCORE 137669.477
AT ITER 6758 NEW BEST:: SOT 418906 SOS 165425 HAS SOPS 165425 HAS SOUS 137452 HAS SOUPS 137452 WITH SCORE 137617.425
AT ITER 6759 NEW BEST:: SOT 418980 SOS 165453 HAS SOPS 165453 HAS SOUS 137445 HAS SOUPS 137445 WITH SCORE 137610.453
AT ITER 6765 NEW BEST:: SOT 418998 SOS 165444 HAS SOPS 165444 HAS SOUS 137429 HAS SOUPS 137429 WITH SCORE 137594.444
AT ITER 6777 NEW BEST:: SOT 418919 SOS 165365 HAS SOPS 165365 HAS SOUS 137350 HAS SOUPS 137350 WITH SCORE 137515.365
AT ITER 6783 NEW BEST:: SOT 418945 SOS 165135 HAS SOPS 165135 HAS SOUS 137226 HAS SOUPS 137226 WITH SCORE 137391.135
AT ITER 6804 NEW BEST:: SOT 418833 SOS 165079 HAS SOPS 165079 HAS SOUS 137226 HAS SOUPS 137226 WITH SCORE 137391.079
AT ITER 6823 NEW BEST:: SOT 418827 SOS 165073 HAS SOPS 165073 HAS SOUS 137220 HAS SOUPS 137220 WITH SCORE 137385.073
AT ITER 6843 NEW BEST:: SOT 418827 SOS 165081 HAS SOPS 165081 HAS SOUS 137218 HAS SOUPS 137218 WITH SCORE 137383.081
AT ITER 6855 NEW BEST:: SOT 418783 SOS 165003 HAS SOPS 165003 HAS SOUS 137137 HAS SOUPS 137137 WITH SCORE 137302.003
AT ITER 6858 NEW BEST:: SOT 419001 SOS 165224 HAS SOPS 165224 HAS SOUS 137111 HAS SOUPS 137111 WITH SCORE 137276.224
AT ITER 6875 NEW BEST:: SOT 419018 SOS 164839 HAS SOPS 164839 HAS SOUS 136910 HAS SOUPS 136910 WITH SCORE 137074.839
AT ITER 6897 NEW BEST:: SOT 419020 SOS 164841 HAS SOPS 164841 HAS SOUS 136886 HAS SOUPS 136886 WITH SCORE 137050.841
AT ITER 6906 NEW BEST:: SOT 418827 SOS 164776 HAS SOPS 164776 HAS SOUS 136821 HAS SOUPS 136821 WITH SCORE 136985.776
AT ITER 6914 NEW BEST:: SOT 418825 SOS 164774 HAS SOPS 164774 HAS SOUS 136819 HAS SOUPS 136819 WITH SCORE 136983.774
AT ITER 6934 NEW BEST:: SOT 418985 SOS 164673 HAS SOPS 164673 HAS SOUS 136670 HAS SOUPS 136670 WITH SCORE 136834.673
AT ITER 6936 NEW BEST:: SOT 418982 SOS 164664 HAS SOPS 164664 HAS SOUS 136661 HAS SOUPS 136661 WITH SCORE 136825.664
AT ITER 6952 NEW BEST:: SOT 418885 SOS 164567 HAS SOPS 164567 HAS SOUS 136564 HAS SOUPS 136564 WITH SCORE 136728.567
AT ITER 6955 NEW BEST:: SOT 418849 SOS 164608 HAS SOPS 164608 HAS SOUS 136453 HAS SOUPS 136453 WITH SCORE 136617.608
AT ITER 6957 NEW BEST:: SOT 418985 SOS 164096 HAS SOPS 164096 HAS SOUS 136256 HAS SOUPS 136256 WITH SCORE 136420.096
AT ITER 6958 NEW BEST:: SOT 418974 SOS 164085 HAS SOPS 164085 HAS SOUS 136245 HAS SOUPS 136245 WITH SCORE 136409.085
AT ITER 6992 NEW BEST:: SOT 418974 SOS 164081 HAS SOPS 164081 HAS SOUS 136237 HAS SOUPS 136237 WITH SCORE 136401.081
AT ITER 6995 NEW BEST:: SOT 418972 SOS 164079 HAS SOPS 164079 HAS SOUS 136235 HAS SOUPS 136235 WITH SCORE 136399.079
AT ITER 7003 NEW BEST:: SOT 418944 SOS 164065 HAS SOPS 164065 HAS SOUS 136221 HAS SOUPS 136221 WITH SCORE 136385.065
AT ITER 7009 NEW BEST:: SOT 418886 SOS 164022 HAS SOPS 164022 HAS SOUS 136188 HAS SOUPS 136188 WITH SCORE 136352.022
AT ITER 7019 NEW BEST:: SOT 418870 SOS 164006 HAS SOPS 164006 HAS SOUS 136172 HAS SOUPS 136172 WITH SCORE 136336.006
AT ITER 7020 NEW BEST:: SOT 418813 SOS 163974 HAS SOPS 163974 HAS SOUS 136163 HAS SOUPS 136163 WITH SCORE 136326.974
AT ITER 7032 NEW BEST:: SOT 418834 SOS 163953 HAS SOPS 163953 HAS SOUS 136161 HAS SOUPS 136161 WITH SCORE 136324.953
AT ITER 7041 NEW BEST:: SOT 419098 SOS 163930 HAS SOPS 163930 HAS SOUS 135984 HAS SOUPS 135984 WITH SCORE 136147.93
AT ITER 7053 NEW BEST:: SOT 419090 SOS 163910 HAS SOPS 163910 HAS SOUS 135964 HAS SOUPS 135964 WITH SCORE 136127.91
AT ITER 7058 NEW BEST:: SOT 419013 SOS 163904 HAS SOPS 163904 HAS SOUS 135958 HAS SOUPS 135958 WITH SCORE 136121.904
AT ITER 7098 NEW BEST:: SOT 418990 SOS 163881 HAS SOPS 163881 HAS SOUS 135935 HAS SOUPS 135935 WITH SCORE 136098.881
AT ITER 7155 NEW BEST:: SOT 418990 SOS 163881 HAS SOPS 163881 HAS SOUS 135934 HAS SOUPS 135934 WITH SCORE 136097.881
AT ITER 7174 NEW BEST:: SOT 418990 SOS 164159 HAS SOPS 164159 HAS SOUS 135921 HAS SOUPS 135921 WITH SCORE 136085.159
AT ITER 7177 NEW BEST:: SOT 418826 SOS 162740 HAS SOPS 162740 HAS SOUS 135839 HAS SOUPS 135839 WITH SCORE 136001.74
AT ITER 7191 NEW BEST:: SOT 418786 SOS 162700 HAS SOPS 162700 HAS SOUS 135799 HAS SOUPS 135799 WITH SCORE 135961.7
AT ITER 7206 NEW BEST:: SOT 418832 SOS 162694 HAS SOPS 162694 HAS SOUS 135748 HAS SOUPS 135748 WITH SCORE 135910.694
AT ITER 7207 NEW BEST:: SOT 418810 SOS 162401 HAS SOPS 162401 HAS SOUS 135680 HAS SOUPS 135680 WITH SCORE 135842.401
AT ITER 7217 NEW BEST:: SOT 418810 SOS 162069 HAS SOPS 162069 HAS SOUS 135597 HAS SOUPS 135597 WITH SCORE 135759.069
AT ITER 7219 NEW BEST:: SOT 418616 SOS 161790 HAS SOPS 161790 HAS SOUS 135318 HAS SOUPS 135318 WITH SCORE 135479.79
AT ITER 7222 NEW BEST:: SOT 418440 SOS 161880 HAS SOPS 161880 HAS SOUS 134927 HAS SOUPS 134927 WITH SCORE 135088.88
AT ITER 7234 NEW BEST:: SOT 418425 SOS 161820 HAS SOPS 161820 HAS SOUS 134882 HAS SOUPS 134882 WITH SCORE 135043.82
AT ITER 7236 NEW BEST:: SOT 418397 SOS 161770 HAS SOPS 161770 HAS SOUS 134832 HAS SOUPS 134832 WITH SCORE 134993.77
AT ITER 7244 NEW BEST:: SOT 418391 SOS 161764 HAS SOPS 161764 HAS SOUS 134826 HAS SOUPS 134826 WITH SCORE 134987.764
AT ITER 7252 NEW BEST:: SOT 418379 SOS 161661 HAS SOPS 161661 HAS SOUS 134774 HAS SOUPS 134774 WITH SCORE 134935.661
AT ITER 7259 NEW BEST:: SOT 418327 SOS 161609 HAS SOPS 161609 HAS SOUS 134722 HAS SOUPS 134722 WITH SCORE 134883.609
AT ITER 7261 NEW BEST:: SOT 418327 SOS 161603 HAS SOPS 161603 HAS SOUS 134719 HAS SOUPS 134719 WITH SCORE 134880.603
AT ITER 7267 NEW BEST:: SOT 418390 SOS 161692 HAS SOPS 161692 HAS SOUS 134682 HAS SOUPS 134682 WITH SCORE 134843.692
AT ITER 7271 NEW BEST:: SOT 418393 SOS 161492 HAS SOPS 161492 HAS SOUS 134521 HAS SOUPS 134521 WITH SCORE 134682.492
AT ITER 7293 NEW BEST:: SOT 418375 SOS 161427 HAS SOPS 161427 HAS SOUS 134479 HAS SOUPS 134479 WITH SCORE 134640.427
AT ITER 7303 NEW BEST:: SOT 418344 SOS 161327 HAS SOPS 161327 HAS SOUS 134434 HAS SOUPS 134434 WITH SCORE 134595.327
AT ITER 7312 NEW BEST:: SOT 418348 SOS 161331 HAS SOPS 161331 HAS SOUS 134430 HAS SOUPS 134430 WITH SCORE 134591.331
AT ITER 7342 NEW BEST:: SOT 418190 SOS 161050 HAS SOPS 161050 HAS SOUS 134271 HAS SOUPS 134271 WITH SCORE 134432.05
AT ITER 7343 NEW BEST:: SOT 417946 SOS 160368 HAS SOPS 160368 HAS SOUS 134145 HAS SOUPS 134145 WITH SCORE 134305.368
AT ITER 7346 NEW BEST:: SOT 417906 SOS 159977 HAS SOPS 159977 HAS SOUS 133707 HAS SOUPS 133707 WITH SCORE 133866.977
AT ITER 7349 NEW BEST:: SOT 417906 SOS 159992 HAS SOPS 159992 HAS SOUS 133692 HAS SOUPS 133692 WITH SCORE 133851.992
AT ITER 7357 NEW BEST:: SOT 417559 SOS 159929 HAS SOPS 159929 HAS SOUS 133428 HAS SOUPS 133428 WITH SCORE 133587.929
AT ITER 7363 NEW BEST:: SOT 417502 SOS 159993 HAS SOPS 159993 HAS SOUS 133374 HAS SOUPS 133374 WITH SCORE 133533.993
AT ITER 7383 NEW BEST:: SOT 417473 SOS 159964 HAS SOPS 159964 HAS SOUS 133345 HAS SOUPS 133345 WITH SCORE 133504.964
AT ITER 7386 NEW BEST:: SOT 417403 SOS 159858 HAS SOPS 159858 HAS SOUS 133257 HAS SOUPS 133257 WITH SCORE 133416.858
AT ITER 7401 NEW BEST:: SOT 417457 SOS 159841 HAS SOPS 159841 HAS SOUS 133127 HAS SOUPS 133127 WITH SCORE 133286.841
AT ITER 7403 NEW BEST:: SOT 417422 SOS 159806 HAS SOPS 159806 HAS SOUS 133126 HAS SOUPS 133126 WITH SCORE 133285.806
AT ITER 7427 NEW BEST:: SOT 417364 SOS 159706 HAS SOPS 159706 HAS SOUS 133026 HAS SOUPS 133026 WITH SCORE 133185.706
AT ITER 7429 NEW BEST:: SOT 417364 SOS 159657 HAS SOPS 159657 HAS SOUS 133017 HAS SOUPS 133017 WITH SCORE 133176.657
AT ITER 7481 NEW BEST:: SOT 417342 SOS 159545 HAS SOPS 159545 HAS SOUS 132980 HAS SOUPS 132980 WITH SCORE 133139.545
AT ITER 7484 NEW BEST:: SOT 417249 SOS 159390 HAS SOPS 159390 HAS SOUS 132836 HAS SOUPS 132836 WITH SCORE 132995.39
AT ITER 7507 NEW BEST:: SOT 417249 SOS 159386 HAS SOPS 159386 HAS SOUS 132832 HAS SOUPS 132832 WITH SCORE 132991.386
AT ITER 7530 NEW BEST:: SOT 417269 SOS 159040 HAS SOPS 159040 HAS SOUS 132672 HAS SOUPS 132672 WITH SCORE 132831.04
AT ITER 7533 NEW BEST:: SOT 417270 SOS 158988 HAS SOPS 158988 HAS SOUS 132620 HAS SOUPS 132620 WITH SCORE 132778.988
AT ITER 7539 NEW BEST:: SOT 417228 SOS 158946 HAS SOPS 158946 HAS SOUS 132578 HAS SOUPS 132578 WITH SCORE 132736.946
AT ITER 7546 NEW BEST:: SOT 417170 SOS 158868 HAS SOPS 158868 HAS SOUS 132541 HAS SOUPS 132541 WITH SCORE 132699.868
AT ITER 7564 NEW BEST:: SOT 417170 SOS 159002 HAS SOPS 159002 HAS SOUS 132400 HAS SOUPS 132400 WITH SCORE 132559.002
AT ITER 7567 NEW BEST:: SOT 417162 SOS 158962 HAS SOPS 158962 HAS SOUS 132392 HAS SOUPS 132392 WITH SCORE 132550.962
AT ITER 7576 NEW BEST:: SOT 417162 SOS 158962 HAS SOPS 158962 HAS SOUS 132377 HAS SOUPS 132377 WITH SCORE 132535.962
AT ITER 7580 NEW BEST:: SOT 417133 SOS 158858 HAS SOPS 158858 HAS SOUS 132182 HAS SOUPS 132182 WITH SCORE 132340.858
AT ITER 7581 NEW BEST:: SOT 417201 SOS 158778 HAS SOPS 158778 HAS SOUS 132102 HAS SOUPS 132102 WITH SCORE 132260.778
AT ITER 7582 NEW BEST:: SOT 417186 SOS 158763 HAS SOPS 158763 HAS SOUS 132087 HAS SOUPS 132087 WITH SCORE 132245.763
AT ITER 7587 NEW BEST:: SOT 417186 SOS 158741 HAS SOPS 158741 HAS SOUS 132087 HAS SOUPS 132087 WITH SCORE 132245.741
AT ITER 7607 NEW BEST:: SOT 417186 SOS 158727 HAS SOPS 158727 HAS SOUS 132073 HAS SOUPS 132073 WITH SCORE 132231.727
AT ITER 7632 NEW BEST:: SOT 417181 SOS 158722 HAS SOPS 158722 HAS SOUS 132068 HAS SOUPS 132068 WITH SCORE 132226.722
AT ITER 7647 NEW BEST:: SOT 417181 SOS 158707 HAS SOPS 158707 HAS SOUS 132053 HAS SOUPS 132053 WITH SCORE 132211.707
AT ITER 7652 NEW BEST:: SOT 417181 SOS 158700 HAS SOPS 158700 HAS SOUS 132044 HAS SOUPS 132044 WITH SCORE 132202.7
AT ITER 7656 NEW BEST:: SOT 417146 SOS 158679 HAS SOPS 158679 HAS SOUS 132029 HAS SOUPS 132029 WITH SCORE 132187.679
AT ITER 7660 NEW BEST:: SOT 416776 SOS 158410 HAS SOPS 158410 HAS SOUS 131806 HAS SOUPS 131806 WITH SCORE 131964.41
AT ITER 7663 NEW BEST:: SOT 416915 SOS 158202 HAS SOPS 158202 HAS SOUS 131653 HAS SOUPS 131653 WITH SCORE 131811.202
AT ITER 7665 NEW BEST:: SOT 416833 SOS 158120 HAS SOPS 158120 HAS SOUS 131571 HAS SOUPS 131571 WITH SCORE 131729.12
AT ITER 7670 NEW BEST:: SOT 416788 SOS 158007 HAS SOPS 158007 HAS SOUS 131477 HAS SOUPS 131477 WITH SCORE 131635.007
AT ITER 7680 NEW BEST:: SOT 416953 SOS 157361 HAS SOPS 157361 HAS SOUS 131279 HAS SOUPS 131279 WITH SCORE 131436.361
AT ITER 7683 NEW BEST:: SOT 416699 SOS 157107 HAS SOPS 157107 HAS SOUS 131025 HAS SOUPS 131025 WITH SCORE 131182.107
AT ITER 7690 NEW BEST:: SOT 416692 SOS 157093 HAS SOPS 157093 HAS SOUS 131011 HAS SOUPS 131011 WITH SCORE 131168.093
AT ITER 7720 NEW BEST:: SOT 416492 SOS 155799 HAS SOPS 155799 HAS SOUS 130312 HAS SOUPS 130312 WITH SCORE 130467.799
AT ITER 7729 NEW BEST:: SOT 416475 SOS 155765 HAS SOPS 155765 HAS SOUS 130278 HAS SOUPS 130278 WITH SCORE 130433.765
AT ITER 7730 NEW BEST:: SOT 416458 SOS 155748 HAS SOPS 155748 HAS SOUS 130261 HAS SOUPS 130261 WITH SCORE 130416.748
AT ITER 7733 NEW BEST:: SOT 416329 SOS 155709 HAS SOPS 155709 HAS SOUS 130222 HAS SOUPS 130222 WITH SCORE 130377.709
AT ITER 7736 NEW BEST:: SOT 416245 SOS 155623 HAS SOPS 155623 HAS SOUS 130136 HAS SOUPS 130136 WITH SCORE 130291.623
AT ITER 7739 NEW BEST:: SOT 416245 SOS 155493 HAS SOPS 155493 HAS SOUS 130075 HAS SOUPS 130075 WITH SCORE 130230.493
AT ITER 7770 NEW BEST:: SOT 416244 SOS 155492 HAS SOPS 155492 HAS SOUS 130074 HAS SOUPS 130074 WITH SCORE 130229.492
AT ITER 7772 NEW BEST:: SOT 416206 SOS 155356 HAS SOPS 155356 HAS SOUS 129906 HAS SOUPS 129906 WITH SCORE 130061.356
AT ITER 7773 NEW BEST:: SOT 416170 SOS 155288 HAS SOPS 155288 HAS SOUS 129838 HAS SOUPS 129838 WITH SCORE 129993.288
AT ITER 7774 NEW BEST:: SOT 416221 SOS 155397 HAS SOPS 155397 HAS SOUS 129800 HAS SOUPS 129800 WITH SCORE 129955.397
AT ITER 7783 NEW BEST:: SOT 416193 SOS 155511 HAS SOPS 155511 HAS SOUS 129708 HAS SOUPS 129708 WITH SCORE 129863.511
AT ITER 7788 NEW BEST:: SOT 416114 SOS 155391 HAS SOPS 155391 HAS SOUS 129588 HAS SOUPS 129588 WITH SCORE 129743.391
AT ITER 7800 NEW BEST:: SOT 415912 SOS 155201 HAS SOPS 155201 HAS SOUS 129398 HAS SOUPS 129398 WITH SCORE 129553.201
AT ITER 7841 NEW BEST:: SOT 415829 SOS 155057 HAS SOPS 155057 HAS SOUS 129254 HAS SOUPS 129254 WITH SCORE 129409.057
AT ITER 7856 NEW BEST:: SOT 415805 SOS 155033 HAS SOPS 155033 HAS SOUS 129230 HAS SOUPS 129230 WITH SCORE 129385.033
AT ITER 7870 NEW BEST:: SOT 415801 SOS 155025 HAS SOPS 155025 HAS SOUS 129222 HAS SOUPS 129222 WITH SCORE 129377.025
AT ITER 7875 NEW BEST:: SOT 415766 SOS 154977 HAS SOPS 154977 HAS SOUS 129174 HAS SOUPS 129174 WITH SCORE 129328.977
AT ITER 7885 NEW BEST:: SOT 415766 SOS 154779 HAS SOPS 154779 HAS SOUS 129174 HAS SOUPS 129174 WITH SCORE 129328.779
AT ITER 7889 NEW BEST:: SOT 415750 SOS 154763 HAS SOPS 154763 HAS SOUS 129158 HAS SOUPS 129158 WITH SCORE 129312.763
AT ITER 7895 NEW BEST:: SOT 415750 SOS 154713 HAS SOPS 154713 HAS SOUS 129125 HAS SOUPS 129125 WITH SCORE 129279.713
AT ITER 7899 NEW BEST:: SOT 415812 SOS 154678 HAS SOPS 154678 HAS SOUS 128976 HAS SOUPS 128976 WITH SCORE 129130.678
AT ITER 7932 NEW BEST:: SOT 415830 SOS 154696 HAS SOPS 154696 HAS SOUS 128975 HAS SOUPS 128975 WITH SCORE 129129.696
AT ITER 7933 NEW BEST:: SOT 415841 SOS 154729 HAS SOPS 154729 HAS SOUS 128974 HAS SOUPS 128974 WITH SCORE 129128.729
AT ITER 7938 NEW BEST:: SOT 415813 SOS 154701 HAS SOPS 154701 HAS SOUS 128946 HAS SOUPS 128946 WITH SCORE 129100.701
AT ITER 8047 NEW BEST:: SOT 415890 SOS 154505 HAS SOPS 154505 HAS SOUS 128817 HAS SOUPS 128817 WITH SCORE 128971.505
AT ITER 8058 NEW BEST:: SOT 415867 SOS 154413 HAS SOPS 154413 HAS SOUS 128815 HAS SOUPS 128815 WITH SCORE 128969.413
AT ITER 8067 NEW BEST:: SOT 415867 SOS 154413 HAS SOPS 154413 HAS SOUS 128647 HAS SOUPS 128647 WITH SCORE 128801.413
AT ITER 8102 NEW BEST:: SOT 415857 SOS 154686 HAS SOPS 154686 HAS SOUS 128610 HAS SOUPS 128610 WITH SCORE 128764.686
AT ITER 8103 NEW BEST:: SOT 415820 SOS 154516 HAS SOPS 154516 HAS SOUS 128526 HAS SOUPS 128526 WITH SCORE 128680.516
AT ITER 8107 NEW BEST:: SOT 415782 SOS 154389 HAS SOPS 154389 HAS SOUS 128473 HAS SOUPS 128473 WITH SCORE 128627.389
AT ITER 8122 NEW BEST:: SOT 415616 SOS 154129 HAS SOPS 154129 HAS SOUS 128321 HAS SOUPS 128321 WITH SCORE 128475.129
AT ITER 8137 NEW BEST:: SOT 415638 SOS 154113 HAS SOPS 154113 HAS SOUS 128305 HAS SOUPS 128305 WITH SCORE 128459.113
AT ITER 8138 NEW BEST:: SOT 415631 SOS 154106 HAS SOPS 154106 HAS SOUS 128298 HAS SOUPS 128298 WITH SCORE 128452.106
AT ITER 8139 NEW BEST:: SOT 415617 SOS 154024 HAS SOPS 154024 HAS SOUS 128258 HAS SOUPS 128258 WITH SCORE 128412.024
AT ITER 8150 NEW BEST:: SOT 415538 SOS 153889 HAS SOPS 153889 HAS SOUS 128123 HAS SOUPS 128123 WITH SCORE 128276.889
AT ITER 8163 NEW BEST:: SOT 415518 SOS 153804 HAS SOPS 153804 HAS SOUS 128038 HAS SOUPS 128038 WITH SCORE 128191.804
AT ITER 8169 NEW BEST:: SOT 415531 SOS 153767 HAS SOPS 153767 HAS SOUS 128035 HAS SOUPS 128035 WITH SCORE 128188.767
AT ITER 8182 NEW BEST:: SOT 415561 SOS 153772 HAS SOPS 153772 HAS SOUS 128008 HAS SOUPS 128008 WITH SCORE 128161.772
AT ITER 8184 NEW BEST:: SOT 415566 SOS 153682 HAS SOPS 153682 HAS SOUS 127918 HAS SOUPS 127918 WITH SCORE 128071.682
AT ITER 8187 NEW BEST:: SOT 415547 SOS 153622 HAS SOPS 153622 HAS SOUS 127906 HAS SOUPS 127906 WITH SCORE 128059.622
AT ITER 8213 NEW BEST:: SOT 415536 SOS 153578 HAS SOPS 153578 HAS SOUS 127871 HAS SOUPS 127871 WITH SCORE 128024.578
AT ITER 8226 NEW BEST:: SOT 415503 SOS 153545 HAS SOPS 153545 HAS SOUS 127838 HAS SOUPS 127838 WITH SCORE 127991.545
AT ITER 8227 NEW BEST:: SOT 415503 SOS 153515 HAS SOPS 153515 HAS SOUS 127808 HAS SOUPS 127808 WITH SCORE 127961.515
AT ITER 8233 NEW BEST:: SOT 415299 SOS 153011 HAS SOPS 153011 HAS SOUS 127632 HAS SOUPS 127632 WITH SCORE 127785.011
AT ITER 8239 NEW BEST:: SOT 415296 SOS 152990 HAS SOPS 152990 HAS SOUS 127629 HAS SOUPS 127629 WITH SCORE 127781.99
AT ITER 8288 NEW BEST:: SOT 415202 SOS 152917 HAS SOPS 152917 HAS SOUS 127556 HAS SOUPS 127556 WITH SCORE 127708.917
AT ITER 8320 NEW BEST:: SOT 415062 SOS 152777 HAS SOPS 152777 HAS SOUS 127416 HAS SOUPS 127416 WITH SCORE 127568.777
AT ITER 8323 NEW BEST:: SOT 415028 SOS 152732 HAS SOPS 152732 HAS SOUS 127337 HAS SOUPS 127337 WITH SCORE 127489.732
AT ITER 8333 NEW BEST:: SOT 415028 SOS 152728 HAS SOPS 152728 HAS SOUS 127333 HAS SOUPS 127333 WITH SCORE 127485.728
AT ITER 8337 NEW BEST:: SOT 415023 SOS 152723 HAS SOPS 152723 HAS SOUS 127328 HAS SOUPS 127328 WITH SCORE 127480.723
AT ITER 8341 NEW BEST:: SOT 415023 SOS 152693 HAS SOPS 152693 HAS SOUS 127306 HAS SOUPS 127306 WITH SCORE 127458.693
AT ITER 8345 NEW BEST:: SOT 414955 SOS 152595 HAS SOPS 152595 HAS SOUS 127183 HAS SOUPS 127183 WITH SCORE 127335.595
AT ITER 8351 NEW BEST:: SOT 414943 SOS 152583 HAS SOPS 152583 HAS SOUS 127083 HAS SOUPS 127083 WITH SCORE 127235.583
AT ITER 8358 NEW BEST:: SOT 414889 SOS 152475 HAS SOPS 152475 HAS SOUS 127002 HAS SOUPS 127002 WITH SCORE 127154.475
AT ITER 8383 NEW BEST:: SOT 414887 SOS 152474 HAS SOPS 152474 HAS SOUS 127001 HAS SOUPS 127001 WITH SCORE 127153.474
AT ITER 8414 NEW BEST:: SOT 414847 SOS 152358 HAS SOPS 152358 HAS SOUS 126929 HAS SOUPS 126929 WITH SCORE 127081.358
AT ITER 8429 NEW BEST:: SOT 414765 SOS 152276 HAS SOPS 152276 HAS SOUS 126847 HAS SOUPS 126847 WITH SCORE 126999.276
AT ITER 8433 NEW BEST:: SOT 414735 SOS 152201 HAS SOPS 152201 HAS SOUS 126787 HAS SOUPS 126787 WITH SCORE 126939.201
AT ITER 8436 NEW BEST:: SOT 414766 SOS 151802 HAS SOPS 151802 HAS SOUS 126448 HAS SOUPS 126448 WITH SCORE 126599.802
AT ITER 8439 NEW BEST:: SOT 414759 SOS 151788 HAS SOPS 151788 HAS SOUS 126444 HAS SOUPS 126444 WITH SCORE 126595.788
AT ITER 8440 NEW BEST:: SOT 414657 SOS 151720 HAS SOPS 151720 HAS SOUS 126401 HAS SOUPS 126401 WITH SCORE 126552.72
AT ITER 8457 NEW BEST:: SOT 414569 SOS 151655 HAS SOPS 151655 HAS SOUS 126336 HAS SOUPS 126336 WITH SCORE 126487.655
AT ITER 8464 NEW BEST:: SOT 414569 SOS 151647 HAS SOPS 151647 HAS SOUS 126334 HAS SOUPS 126334 WITH SCORE 126485.647
AT ITER 8466 NEW BEST:: SOT 414565 SOS 151643 HAS SOPS 151643 HAS SOUS 126330 HAS SOUPS 126330 WITH SCORE 126481.643
AT ITER 8471 NEW BEST:: SOT 414548 SOS 151631 HAS SOPS 151631 HAS SOUS 126313 HAS SOUPS 126313 WITH SCORE 126464.631
AT ITER 8479 NEW BEST:: SOT 414544 SOS 151522 HAS SOPS 151522 HAS SOUS 126204 HAS SOUPS 126204 WITH SCORE 126355.522
AT ITER 8483 NEW BEST:: SOT 414544 SOS 151444 HAS SOPS 151444 HAS SOUS 126161 HAS SOUPS 126161 WITH SCORE 126312.444
AT ITER 8508 NEW BEST:: SOT 414521 SOS 151411 HAS SOPS 151411 HAS SOUS 126112 HAS SOUPS 126112 WITH SCORE 126263.411
AT ITER 8512 NEW BEST:: SOT 414538 SOS 151358 HAS SOPS 151358 HAS SOUS 126112 HAS SOUPS 126112 WITH SCORE 126263.358
AT ITER 8528 NEW BEST:: SOT 414538 SOS 151349 HAS SOPS 151349 HAS SOUS 126112 HAS SOUPS 126112 WITH SCORE 126263.349
AT ITER 8531 NEW BEST:: SOT 414488 SOS 151299 HAS SOPS 151299 HAS SOUS 126062 HAS SOUPS 126062 WITH SCORE 126213.299
AT ITER 8558 NEW BEST:: SOT 414470 SOS 151281 HAS SOPS 151281 HAS SOUS 126044 HAS SOUPS 126044 WITH SCORE 126195.281
AT ITER 8578 NEW BEST:: SOT 414455 SOS 151266 HAS SOPS 151266 HAS SOUS 126029 HAS SOUPS 126029 WITH SCORE 126180.266
AT ITER 8591 NEW BEST:: SOT 414455 SOS 150867 HAS SOPS 150867 HAS SOUS 126029 HAS SOUPS 126029 WITH SCORE 126179.867
AT ITER 8594 NEW BEST:: SOT 414437 SOS 150849 HAS SOPS 150849 HAS SOUS 126011 HAS SOUPS 126011 WITH SCORE 126161.849
AT ITER 8604 NEW BEST:: SOT 414417 SOS 150832 HAS SOPS 150832 HAS SOUS 125998 HAS SOUPS 125998 WITH SCORE 126148.832
AT ITER 8618 NEW BEST:: SOT 414246 SOS 150266 HAS SOPS 150266 HAS SOUS 125719 HAS SOUPS 125719 WITH SCORE 125869.266
AT ITER 8622 NEW BEST:: SOT 414234 SOS 150233 HAS SOPS 150233 HAS SOUS 125686 HAS SOUPS 125686 WITH SCORE 125836.233
AT ITER 8627 NEW BEST:: SOT 414124 SOS 150123 HAS SOPS 150123 HAS SOUS 125576 HAS SOUPS 125576 WITH SCORE 125726.123
AT ITER 8644 NEW BEST:: SOT 414118 SOS 150153 HAS SOPS 150153 HAS SOUS 125560 HAS SOUPS 125560 WITH SCORE 125710.153
AT ITER 8661 NEW BEST:: SOT 413991 SOS 150026 HAS SOPS 150026 HAS SOUS 125433 HAS SOUPS 125433 WITH SCORE 125583.026
AT ITER 8672 NEW BEST:: SOT 414063 SOS 150000 HAS SOPS 150000 HAS SOUS 125363 HAS SOUPS 125363 WITH SCORE 125513.0
AT ITER 8681 NEW BEST:: SOT 413919 SOS 149743 HAS SOPS 149743 HAS SOUS 125162 HAS SOUPS 125162 WITH SCORE 125311.743
AT ITER 8683 NEW BEST:: SOT 413782 SOS 149687 HAS SOPS 149687 HAS SOUS 125067 HAS SOUPS 125067 WITH SCORE 125216.687
AT ITER 8687 NEW BEST:: SOT 413739 SOS 149626 HAS SOPS 149626 HAS SOUS 125033 HAS SOUPS 125033 WITH SCORE 125182.626
AT ITER 8699 NEW BEST:: SOT 413678 SOS 149544 HAS SOPS 149544 HAS SOUS 125001 HAS SOUPS 125001 WITH SCORE 125150.544
AT ITER 8711 NEW BEST:: SOT 413609 SOS 149533 HAS SOPS 149533 HAS SOUS 124938 HAS SOUPS 124938 WITH SCORE 125087.533
AT ITER 8716 NEW BEST:: SOT 413609 SOS 149784 HAS SOPS 149784 HAS SOUS 124937 HAS SOUPS 124937 WITH SCORE 125086.784
AT ITER 8718 NEW BEST:: SOT 413609 SOS 149850 HAS SOPS 149850 HAS SOUS 124904 HAS SOUPS 124904 WITH SCORE 125053.85
AT ITER 8726 NEW BEST:: SOT 413609 SOS 149842 HAS SOPS 149842 HAS SOUS 124896 HAS SOUPS 124896 WITH SCORE 125045.842
AT ITER 8762 NEW BEST:: SOT 413808 SOS 149841 HAS SOPS 149841 HAS SOUS 124896 HAS SOUPS 124896 WITH SCORE 125045.841
AT ITER 8763 NEW BEST:: SOT 413759 SOS 149694 HAS SOPS 149694 HAS SOUS 124798 HAS SOUPS 124798 WITH SCORE 124947.694
AT ITER 8813 NEW BEST:: SOT 413734 SOS 149669 HAS SOPS 149669 HAS SOUS 124773 HAS SOUPS 124773 WITH SCORE 124922.669
AT ITER 8822 NEW BEST:: SOT 413734 SOS 149633 HAS SOPS 149633 HAS SOUS 124773 HAS SOUPS 124773 WITH SCORE 124922.633
AT ITER 8827 NEW BEST:: SOT 413688 SOS 149440 HAS SOPS 149440 HAS SOUS 124580 HAS SOUPS 124580 WITH SCORE 124729.44
AT ITER 8833 NEW BEST:: SOT 413640 SOS 149392 HAS SOPS 149392 HAS SOUS 124532 HAS SOUPS 124532 WITH SCORE 124681.392
AT ITER 8866 NEW BEST:: SOT 413638 SOS 149386 HAS SOPS 149386 HAS SOUS 124528 HAS SOUPS 124528 WITH SCORE 124677.386
AT ITER 8878 NEW BEST:: SOT 413872 SOS 149439 HAS SOPS 149439 HAS SOUS 124485 HAS SOUPS 124485 WITH SCORE 124634.439
AT ITER 8893 NEW BEST:: SOT 413807 SOS 149358 HAS SOPS 149358 HAS SOUS 124390 HAS SOUPS 124390 WITH SCORE 124539.358
AT ITER 8894 NEW BEST:: SOT 413805 SOS 149355 HAS SOPS 149355 HAS SOUS 124387 HAS SOUPS 124387 WITH SCORE 124536.355
AT ITER 8903 NEW BEST:: SOT 413805 SOS 149335 HAS SOPS 149335 HAS SOUS 124367 HAS SOUPS 124367 WITH SCORE 124516.335
AT ITER 8931 NEW BEST:: SOT 413799 SOS 149321 HAS SOPS 149321 HAS SOUS 124353 HAS SOUPS 124353 WITH SCORE 124502.321
AT ITER 8932 NEW BEST:: SOT 413757 SOS 149235 HAS SOPS 149235 HAS SOUS 124297 HAS SOUPS 124297 WITH SCORE 124446.235
AT ITER 8933 NEW BEST:: SOT 413740 SOS 149175 HAS SOPS 149175 HAS SOUS 124237 HAS SOUPS 124237 WITH SCORE 124386.175
AT ITER 8935 NEW BEST:: SOT 413774 SOS 149151 HAS SOPS 149151 HAS SOUS 124213 HAS SOUPS 124213 WITH SCORE 124362.151
AT ITER 8939 NEW BEST:: SOT 413774 SOS 148940 HAS SOPS 148940 HAS SOUS 124158 HAS SOUPS 124158 WITH SCORE 124306.94
AT ITER 8955 NEW BEST:: SOT 413764 SOS 148811 HAS SOPS 148811 HAS SOUS 124029 HAS SOUPS 124029 WITH SCORE 124177.811
AT ITER 8959 NEW BEST:: SOT 413733 SOS 148718 HAS SOPS 148718 HAS SOUS 123927 HAS SOUPS 123927 WITH SCORE 124075.718
AT ITER 8963 NEW BEST:: SOT 413573 SOS 148238 HAS SOPS 148238 HAS SOUS 123607 HAS SOUPS 123607 WITH SCORE 123755.238
AT ITER 8971 NEW BEST:: SOT 413573 SOS 148116 HAS SOPS 148116 HAS SOUS 123510 HAS SOUPS 123510 WITH SCORE 123658.116
AT ITER 8974 NEW BEST:: SOT 413490 SOS 147887 HAS SOPS 147887 HAS SOUS 123320 HAS SOUPS 123320 WITH SCORE 123467.887
AT ITER 9016 NEW BEST:: SOT 413501 SOS 147807 HAS SOPS 147807 HAS SOUS 123092 HAS SOUPS 123092 WITH SCORE 123239.807
AT ITER 9023 NEW BEST:: SOT 413501 SOS 147798 HAS SOPS 147798 HAS SOUS 123074 HAS SOUPS 123074 WITH SCORE 123221.798
AT ITER 9028 NEW BEST:: SOT 413501 SOS 147508 HAS SOPS 147508 HAS SOUS 123000 HAS SOUPS 123000 WITH SCORE 123147.508
AT ITER 9042 NEW BEST:: SOT 413490 SOS 147497 HAS SOPS 147497 HAS SOUS 122967 HAS SOUPS 122967 WITH SCORE 123114.497
AT ITER 9050 NEW BEST:: SOT 413347 SOS 147404 HAS SOPS 147404 HAS SOUS 122882 HAS SOUPS 122882 WITH SCORE 123029.404
AT ITER 9062 NEW BEST:: SOT 413384 SOS 147399 HAS SOPS 147399 HAS SOUS 122877 HAS SOUPS 122877 WITH SCORE 123024.399
AT ITER 9069 NEW BEST:: SOT 413382 SOS 147397 HAS SOPS 147397 HAS SOUS 122875 HAS SOUPS 122875 WITH SCORE 123022.397
AT ITER 9074 NEW BEST:: SOT 413215 SOS 146958 HAS SOPS 146958 HAS SOUS 122617 HAS SOUPS 122617 WITH SCORE 122763.958
AT ITER 9083 NEW BEST:: SOT 413181 SOS 146884 HAS SOPS 146884 HAS SOUS 122587 HAS SOUPS 122587 WITH SCORE 122733.884
AT ITER 9088 NEW BEST:: SOT 413181 SOS 146857 HAS SOPS 146857 HAS SOUS 122587 HAS SOUPS 122587 WITH SCORE 122733.857
AT ITER 9102 NEW BEST:: SOT 413141 SOS 146737 HAS SOPS 146737 HAS SOUS 122467 HAS SOUPS 122467 WITH SCORE 122613.737
AT ITER 9109 NEW BEST:: SOT 413139 SOS 146733 HAS SOPS 146733 HAS SOUS 122463 HAS SOUPS 122463 WITH SCORE 122609.733
AT ITER 9112 NEW BEST:: SOT 413120 SOS 146714 HAS SOPS 146714 HAS SOUS 122410 HAS SOUPS 122410 WITH SCORE 122556.714
AT ITER 9118 NEW BEST:: SOT 413088 SOS 146693 HAS SOPS 146693 HAS SOUS 122399 HAS SOUPS 122399 WITH SCORE 122545.693
AT ITER 9125 NEW BEST:: SOT 412985 SOS 146613 HAS SOPS 146613 HAS SOUS 122349 HAS SOUPS 122349 WITH SCORE 122495.613
AT ITER 9140 NEW BEST:: SOT 412995 SOS 146657 HAS SOPS 146657 HAS SOUS 122345 HAS SOUPS 122345 WITH SCORE 122491.657
AT ITER 9151 NEW BEST:: SOT 413080 SOS 146622 HAS SOPS 146622 HAS SOUS 122287 HAS SOUPS 122287 WITH SCORE 122433.622
AT ITER 9166 NEW BEST:: SOT 413108 SOS 146552 HAS SOPS 146552 HAS SOUS 122226 HAS SOUPS 122226 WITH SCORE 122372.552
AT ITER 9170 NEW BEST:: SOT 413115 SOS 146538 HAS SOPS 146538 HAS SOUS 122212 HAS SOUPS 122212 WITH SCORE 122358.538
AT ITER 9178 NEW BEST:: SOT 413150 SOS 146501 HAS SOPS 146501 HAS SOUS 122211 HAS SOUPS 122211 WITH SCORE 122357.501
AT ITER 9180 NEW BEST:: SOT 413147 SOS 146376 HAS SOPS 146376 HAS SOUS 122191 HAS SOUPS 122191 WITH SCORE 122337.376
AT ITER 9187 NEW BEST:: SOT 413175 SOS 146331 HAS SOPS 146331 HAS SOUS 122149 HAS SOUPS 122149 WITH SCORE 122295.331
AT ITER 9188 NEW BEST:: SOT 413112 SOS 145954 HAS SOPS 145954 HAS SOUS 121930 HAS SOUPS 121930 WITH SCORE 122075.954
AT ITER 9224 NEW BEST:: SOT 413076 SOS 145829 HAS SOPS 145829 HAS SOUS 121821 HAS SOUPS 121821 WITH SCORE 121966.829
AT ITER 9234 NEW BEST:: SOT 413023 SOS 145453 HAS SOPS 145453 HAS SOUS 121228 HAS SOUPS 121228 WITH SCORE 121373.453
AT ITER 9240 NEW BEST:: SOT 412936 SOS 145375 HAS SOPS 145375 HAS SOUS 121150 HAS SOUPS 121150 WITH SCORE 121295.375
AT ITER 9244 NEW BEST:: SOT 412948 SOS 145374 HAS SOPS 145374 HAS SOUS 121128 HAS SOUPS 121128 WITH SCORE 121273.374
AT ITER 9246 NEW BEST:: SOT 412970 SOS 145413 HAS SOPS 145413 HAS SOUS 121112 HAS SOUPS 121112 WITH SCORE 121257.413
AT ITER 9260 NEW BEST:: SOT 412970 SOS 145394 HAS SOPS 145394 HAS SOUS 121093 HAS SOUPS 121093 WITH SCORE 121238.394
AT ITER 9288 NEW BEST:: SOT 412936 SOS 145326 HAS SOPS 145326 HAS SOUS 121025 HAS SOUPS 121025 WITH SCORE 121170.326
AT ITER 9293 NEW BEST:: SOT 412874 SOS 145271 HAS SOPS 145271 HAS SOUS 120931 HAS SOUPS 120931 WITH SCORE 121076.271
AT ITER 9323 NEW BEST:: SOT 412874 SOS 144992 HAS SOPS 144992 HAS SOUS 120931 HAS SOUPS 120931 WITH SCORE 121075.992
AT ITER 9330 NEW BEST:: SOT 412874 SOS 144977 HAS SOPS 144977 HAS SOUS 120931 HAS SOUPS 120931 WITH SCORE 121075.977
AT ITER 9337 NEW BEST:: SOT 412736 SOS 144522 HAS SOPS 144522 HAS SOUS 120515 HAS SOUPS 120515 WITH SCORE 120659.522
AT ITER 9338 NEW BEST:: SOT 412636 SOS 144374 HAS SOPS 144374 HAS SOUS 120329 HAS SOUPS 120329 WITH SCORE 120473.374
AT ITER 9339 NEW BEST:: SOT 412635 SOS 144373 HAS SOPS 144373 HAS SOUS 120328 HAS SOUPS 120328 WITH SCORE 120472.373
AT ITER 9345 NEW BEST:: SOT 412577 SOS 144261 HAS SOPS 144261 HAS SOUS 120236 HAS SOUPS 120236 WITH SCORE 120380.261
AT ITER 9350 NEW BEST:: SOT 412541 SOS 144240 HAS SOPS 144240 HAS SOUS 120215 HAS SOUPS 120215 WITH SCORE 120359.24
AT ITER 9353 NEW BEST:: SOT 412541 SOS 144240 HAS SOPS 144240 HAS SOUS 120159 HAS SOUPS 120159 WITH SCORE 120303.24
AT ITER 9361 NEW BEST:: SOT 412624 SOS 144122 HAS SOPS 144122 HAS SOUS 120041 HAS SOUPS 120041 WITH SCORE 120185.122
AT ITER 9368 NEW BEST:: SOT 412578 SOS 144030 HAS SOPS 144030 HAS SOUS 119949 HAS SOUPS 119949 WITH SCORE 120093.03
AT ITER 9380 NEW BEST:: SOT 412567 SOS 144019 HAS SOPS 144019 HAS SOUS 119938 HAS SOUPS 119938 WITH SCORE 120082.019
AT ITER 9388 NEW BEST:: SOT 412475 SOS 143927 HAS SOPS 143927 HAS SOUS 119863 HAS SOUPS 119863 WITH SCORE 120006.927
AT ITER 9389 NEW BEST:: SOT 412442 SOS 143894 HAS SOPS 143894 HAS SOUS 119830 HAS SOUPS 119830 WITH SCORE 119973.894
AT ITER 9400 NEW BEST:: SOT 412414 SOS 143852 HAS SOPS 143852 HAS SOUS 119788 HAS SOUPS 119788 WITH SCORE 119931.852
AT ITER 9402 NEW BEST:: SOT 412266 SOS 143256 HAS SOPS 143256 HAS SOUS 119553 HAS SOUPS 119553 WITH SCORE 119696.256
AT ITER 9404 NEW BEST:: SOT 412118 SOS 143155 HAS SOPS 143155 HAS SOUS 119452 HAS SOUPS 119452 WITH SCORE 119595.155
AT ITER 9408 NEW BEST:: SOT 412188 SOS 143180 HAS SOPS 143180 HAS SOUS 119436 HAS SOUPS 119436 WITH SCORE 119579.18
AT ITER 9409 NEW BEST:: SOT 412185 SOS 143177 HAS SOPS 143177 HAS SOUS 119433 HAS SOUPS 119433 WITH SCORE 119576.177
AT ITER 9427 NEW BEST:: SOT 412185 SOS 143146 HAS SOPS 143146 HAS SOUS 119325 HAS SOUPS 119325 WITH SCORE 119468.146
AT ITER 9431 NEW BEST:: SOT 412190 SOS 143091 HAS SOPS 143091 HAS SOUS 119300 HAS SOUPS 119300 WITH SCORE 119443.091
AT ITER 9443 NEW BEST:: SOT 412190 SOS 143091 HAS SOPS 143091 HAS SOUS 119286 HAS SOUPS 119286 WITH SCORE 119429.091
AT ITER 9446 NEW BEST:: SOT 412080 SOS 143037 HAS SOPS 143037 HAS SOUS 119264 HAS SOUPS 119264 WITH SCORE 119407.037
AT ITER 9464 NEW BEST:: SOT 412080 SOS 142953 HAS SOPS 142953 HAS SOUS 119264 HAS SOUPS 119264 WITH SCORE 119406.953
AT ITER 9467 NEW BEST:: SOT 412072 SOS 142935 HAS SOPS 142935 HAS SOUS 119218 HAS SOUPS 119218 WITH SCORE 119360.935
AT ITER 9471 NEW BEST:: SOT 412064 SOS 142928 HAS SOPS 142928 HAS SOUS 119211 HAS SOUPS 119211 WITH SCORE 119353.928
AT ITER 9476 NEW BEST:: SOT 411926 SOS 142571 HAS SOPS 142571 HAS SOUS 119171 HAS SOUPS 119171 WITH SCORE 119313.571
AT ITER 9486 NEW BEST:: SOT 411926 SOS 142543 HAS SOPS 142543 HAS SOUS 119143 HAS SOUPS 119143 WITH SCORE 119285.543
AT ITER 9508 NEW BEST:: SOT 411905 SOS 142455 HAS SOPS 142455 HAS SOUS 119048 HAS SOUPS 119048 WITH SCORE 119190.455
AT ITER 9521 NEW BEST:: SOT 411867 SOS 142386 HAS SOPS 142386 HAS SOUS 118979 HAS SOUPS 118979 WITH SCORE 119121.386
AT ITER 9531 NEW BEST:: SOT 411857 SOS 142275 HAS SOPS 142275 HAS SOUS 118949 HAS SOUPS 118949 WITH SCORE 119091.275
AT ITER 9533 NEW BEST:: SOT 411794 SOS 142212 HAS SOPS 142212 HAS SOUS 118886 HAS SOUPS 118886 WITH SCORE 119028.212
AT ITER 9543 NEW BEST:: SOT 411794 SOS 142018 HAS SOPS 142018 HAS SOUS 118692 HAS SOUPS 118692 WITH SCORE 118834.018
AT ITER 9560 NEW BEST:: SOT 411782 SOS 141994 HAS SOPS 141994 HAS SOUS 118656 HAS SOUPS 118656 WITH SCORE 118797.994
AT ITER 9571 NEW BEST:: SOT 411685 SOS 141451 HAS SOPS 141451 HAS SOUS 118646 HAS SOUPS 118646 WITH SCORE 118787.451
AT ITER 9580 NEW BEST:: SOT 411579 SOS 141327 HAS SOPS 141327 HAS SOUS 118522 HAS SOUPS 118522 WITH SCORE 118663.327
AT ITER 9581 NEW BEST:: SOT 411579 SOS 141285 HAS SOPS 141285 HAS SOUS 118480 HAS SOUPS 118480 WITH SCORE 118621.285
AT ITER 9582 NEW BEST:: SOT 411566 SOS 141263 HAS SOPS 141263 HAS SOUS 118468 HAS SOUPS 118468 WITH SCORE 118609.263
AT ITER 9585 NEW BEST:: SOT 411523 SOS 141214 HAS SOPS 141214 HAS SOUS 118441 HAS SOUPS 118441 WITH SCORE 118582.214
AT ITER 9624 NEW BEST:: SOT 411520 SOS 141198 HAS SOPS 141198 HAS SOUS 118359 HAS SOUPS 118359 WITH SCORE 118500.198
AT ITER 9645 NEW BEST:: SOT 411589 SOS 140981 HAS SOPS 140981 HAS SOUS 118188 HAS SOUPS 118188 WITH SCORE 118328.981
AT ITER 9654 NEW BEST:: SOT 411477 SOS 140892 HAS SOPS 140892 HAS SOUS 118099 HAS SOUPS 118099 WITH SCORE 118239.892
AT ITER 9661 NEW BEST:: SOT 411469 SOS 140884 HAS SOPS 140884 HAS SOUS 118091 HAS SOUPS 118091 WITH SCORE 118231.884
AT ITER 9670 NEW BEST:: SOT 411469 SOS 140832 HAS SOPS 140832 HAS SOUS 118079 HAS SOUPS 118079 WITH SCORE 118219.832
AT ITER 9672 NEW BEST:: SOT 411292 SOS 140655 HAS SOPS 140655 HAS SOUS 117902 HAS SOUPS 117902 WITH SCORE 118042.655
AT ITER 9680 NEW BEST:: SOT 411290 SOS 140645 HAS SOPS 140645 HAS SOUS 117888 HAS SOUPS 117888 WITH SCORE 118028.645
AT ITER 9684 NEW BEST:: SOT 411290 SOS 140979 HAS SOPS 140979 HAS SOUS 117808 HAS SOUPS 117808 WITH SCORE 117948.979
AT ITER 9698 NEW BEST:: SOT 411317 SOS 141043 HAS SOPS 141043 HAS SOUS 117801 HAS SOUPS 117801 WITH SCORE 117942.043
AT ITER 9714 NEW BEST:: SOT 411314 SOS 141037 HAS SOPS 141037 HAS SOUS 117795 HAS SOUPS 117795 WITH SCORE 117936.037
AT ITER 9716 NEW BEST:: SOT 411116 SOS 140802 HAS SOPS 140802 HAS SOUS 117517 HAS SOUPS 117517 WITH SCORE 117657.802
AT ITER 9722 NEW BEST:: SOT 411143 SOS 140802 HAS SOPS 140802 HAS SOUS 117490 HAS SOUPS 117490 WITH SCORE 117630.802
AT ITER 9729 NEW BEST:: SOT 411143 SOS 140727 HAS SOPS 140727 HAS SOUS 117415 HAS SOUPS 117415 WITH SCORE 117555.727
AT ITER 9759 NEW BEST:: SOT 411143 SOS 141033 HAS SOPS 141033 HAS SOUS 117406 HAS SOUPS 117406 WITH SCORE 117547.033
AT ITER 9762 NEW BEST:: SOT 411139 SOS 141027 HAS SOPS 141027 HAS SOUS 117400 HAS SOUPS 117400 WITH SCORE 117541.027
AT ITER 9764 NEW BEST:: SOT 411113 SOS 141001 HAS SOPS 141001 HAS SOUS 117374 HAS SOUPS 117374 WITH SCORE 117515.001
AT ITER 9765 NEW BEST:: SOT 411108 SOS 140996 HAS SOPS 140996 HAS SOUS 117369 HAS SOUPS 117369 WITH SCORE 117509.996
AT ITER 9792 NEW BEST:: SOT 411027 SOS 140751 HAS SOPS 140751 HAS SOUS 117260 HAS SOUPS 117260 WITH SCORE 117400.751
AT ITER 9793 NEW BEST:: SOT 411135 SOS 140517 HAS SOPS 140517 HAS SOUS 116992 HAS SOUPS 116992 WITH SCORE 117132.517
AT ITER 9794 NEW BEST:: SOT 411135 SOS 140505 HAS SOPS 140505 HAS SOUS 116992 HAS SOUPS 116992 WITH SCORE 117132.505
AT ITER 9812 NEW BEST:: SOT 411088 SOS 140418 HAS SOPS 140418 HAS SOUS 116978 HAS SOUPS 116978 WITH SCORE 117118.418
AT ITER 9818 NEW BEST:: SOT 411082 SOS 140394 HAS SOPS 140394 HAS SOUS 116966 HAS SOUPS 116966 WITH SCORE 117106.394
AT ITER 9819 NEW BEST:: SOT 411082 SOS 140372 HAS SOPS 140372 HAS SOUS 116944 HAS SOUPS 116944 WITH SCORE 117084.372
AT ITER 9856 NEW BEST:: SOT 411047 SOS 140291 HAS SOPS 140291 HAS SOUS 116833 HAS SOUPS 116833 WITH SCORE 116973.291
AT ITER 9864 NEW BEST:: SOT 410877 SOS 139947 HAS SOPS 139947 HAS SOUS 116608 HAS SOUPS 116608 WITH SCORE 116747.947
AT ITER 9869 NEW BEST:: SOT 410701 SOS 139731 HAS SOPS 139731 HAS SOUS 116392 HAS SOUPS 116392 WITH SCORE 116531.731
AT ITER 9883 NEW BEST:: SOT 410679 SOS 139654 HAS SOPS 139654 HAS SOUS 116375 HAS SOUPS 116375 WITH SCORE 116514.654
AT ITER 9911 NEW BEST:: SOT 411083 SOS 139602 HAS SOPS 139602 HAS SOUS 116284 HAS SOUPS 116284 WITH SCORE 116423.602
AT ITER 9924 NEW BEST:: SOT 411083 SOS 139601 HAS SOPS 139601 HAS SOUS 116283 HAS SOUPS 116283 WITH SCORE 116422.601
AT ITER 9927 NEW BEST:: SOT 411039 SOS 139557 HAS SOPS 139557 HAS SOUS 116239 HAS SOUPS 116239 WITH SCORE 116378.557
AT ITER 9932 NEW BEST:: SOT 411033 SOS 139551 HAS SOPS 139551 HAS SOUS 116233 HAS SOUPS 116233 WITH SCORE 116372.551
AT ITER 9944 NEW BEST:: SOT 411033 SOS 139539 HAS SOPS 139539 HAS SOUS 116180 HAS SOUPS 116180 WITH SCORE 116319.539
AT ITER 9945 NEW BEST:: SOT 410968 SOS 139361 HAS SOPS 139361 HAS SOUS 116149 HAS SOUPS 116149 WITH SCORE 116288.361
AT ITER 9950 NEW BEST:: SOT 410975 SOS 139340 HAS SOPS 139340 HAS SOUS 116128 HAS SOUPS 116128 WITH SCORE 116267.34
AT ITER 9964 NEW BEST:: SOT 410821 SOS 139236 HAS SOPS 139236 HAS SOUS 116083 HAS SOUPS 116083 WITH SCORE 116222.236
AT ITER 9992 NEW BEST:: SOT 410809 SOS 139187 HAS SOPS 139187 HAS SOUS 116075 HAS SOUPS 116075 WITH SCORE 116214.187
AT ITER 9997 NEW BEST:: SOT 410850 SOS 139185 HAS SOPS 139185 HAS SOUS 116073 HAS SOUPS 116073 WITH SCORE 116212.185
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 9210824 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153336 kB

BK_TIME_CONFINEMENT_REACHED

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

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="ShieldPPPs-PT-030A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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