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.r011-oct2-167813599700048.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 smartxred
Input is ASLink-PT-03a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813599700048
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 760K
-rw-r--r-- 1 mcc users 8.3K Feb 26 13:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 26 13:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 26 13:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 13:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 13:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 26 13:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 13:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 13:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 357K Mar 5 18:22 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 1678719501182

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ASLink-PT-03a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 14:58:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 14:58:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 14:58:24] [INFO ] Load time of PNML (sax parser for PT used): 135 ms
[2023-03-13 14:58:24] [INFO ] Transformed 821 places.
[2023-03-13 14:58:24] [INFO ] Transformed 1281 transitions.
[2023-03-13 14:58:24] [INFO ] Found NUPN structural information;
[2023-03-13 14:58:24] [INFO ] Parsed PT model containing 821 places and 1281 transitions and 4839 arcs in 224 ms.
[2023-03-13 14:58:24] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 821 places, 1281 transitions and 4839 arcs took 12 ms.
Total runtime 270 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 03a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 821 places, 1281 transitions, 4839 arcs.
AT ITER 0 NEW BEST:: SOT 576589 SOS 393886 HAS SOPS 393886 HAS SOUS 240008 HAS SOUPS 240008 WITH SCORE 240401.886
AT ITER 5 NEW BEST:: SOT 576164 SOS 393663 HAS SOPS 393663 HAS SOUS 239767 HAS SOUPS 239767 WITH SCORE 240160.663
AT ITER 9 NEW BEST:: SOT 575543 SOS 393427 HAS SOPS 393427 HAS SOUS 239069 HAS SOUPS 239069 WITH SCORE 239462.427
AT ITER 11 NEW BEST:: SOT 575543 SOS 393427 HAS SOPS 393427 HAS SOUS 239063 HAS SOUPS 239063 WITH SCORE 239456.427
AT ITER 16 NEW BEST:: SOT 575208 SOS 391741 HAS SOPS 391741 HAS SOUS 238389 HAS SOUPS 238389 WITH SCORE 238780.741
AT ITER 37 NEW BEST:: SOT 575200 SOS 391733 HAS SOPS 391733 HAS SOUS 238378 HAS SOUPS 238378 WITH SCORE 238769.733
AT ITER 38 NEW BEST:: SOT 575047 SOS 391580 HAS SOPS 391580 HAS SOUS 238378 HAS SOUPS 238378 WITH SCORE 238769.58
AT ITER 41 NEW BEST:: SOT 574448 SOS 390981 HAS SOPS 390981 HAS SOUS 237778 HAS SOUPS 237778 WITH SCORE 238168.981
AT ITER 47 NEW BEST:: SOT 574429 SOS 390972 HAS SOPS 390972 HAS SOUS 237768 HAS SOUPS 237768 WITH SCORE 238158.972
AT ITER 48 NEW BEST:: SOT 564757 SOS 381467 HAS SOPS 381467 HAS SOUS 228263 HAS SOUPS 228263 WITH SCORE 228644.467
AT ITER 50 NEW BEST:: SOT 564757 SOS 380573 HAS SOPS 380573 HAS SOUS 228262 HAS SOUPS 228262 WITH SCORE 228642.573
AT ITER 58 NEW BEST:: SOT 564757 SOS 379624 HAS SOPS 379624 HAS SOUS 228224 HAS SOUPS 228224 WITH SCORE 228603.624
AT ITER 59 NEW BEST:: SOT 564695 SOS 379562 HAS SOPS 379562 HAS SOUS 228224 HAS SOUPS 228224 WITH SCORE 228603.562
AT ITER 61 NEW BEST:: SOT 561445 SOS 377712 HAS SOPS 377712 HAS SOUS 225140 HAS SOUPS 225140 WITH SCORE 225517.712
AT ITER 64 NEW BEST:: SOT 561345 SOS 377612 HAS SOPS 377612 HAS SOUS 225140 HAS SOUPS 225140 WITH SCORE 225517.612
AT ITER 65 NEW BEST:: SOT 561425 SOS 377608 HAS SOPS 377608 HAS SOUS 225050 HAS SOUPS 225050 WITH SCORE 225427.608
AT ITER 72 NEW BEST:: SOT 561286 SOS 377469 HAS SOPS 377469 HAS SOUS 225029 HAS SOUPS 225029 WITH SCORE 225406.469
AT ITER 73 NEW BEST:: SOT 561286 SOS 377462 HAS SOPS 377462 HAS SOUS 225024 HAS SOUPS 225024 WITH SCORE 225401.462
AT ITER 77 NEW BEST:: SOT 561285 SOS 377460 HAS SOPS 377460 HAS SOUS 225022 HAS SOUPS 225022 WITH SCORE 225399.46
AT ITER 80 NEW BEST:: SOT 561285 SOS 377460 HAS SOPS 377460 HAS SOUS 225021 HAS SOUPS 225021 WITH SCORE 225398.46
AT ITER 81 NEW BEST:: SOT 560904 SOS 377079 HAS SOPS 377079 HAS SOUS 224640 HAS SOUPS 224640 WITH SCORE 225017.079
AT ITER 85 NEW BEST:: SOT 560904 SOS 377058 HAS SOPS 377058 HAS SOUS 224637 HAS SOUPS 224637 WITH SCORE 225014.058
AT ITER 88 NEW BEST:: SOT 560745 SOS 376899 HAS SOPS 376899 HAS SOUS 224478 HAS SOUPS 224478 WITH SCORE 224854.899
AT ITER 90 NEW BEST:: SOT 560741 SOS 376895 HAS SOPS 376895 HAS SOUS 224474 HAS SOUPS 224474 WITH SCORE 224850.895
AT ITER 92 NEW BEST:: SOT 560766 SOS 376657 HAS SOPS 376657 HAS SOUS 224472 HAS SOUPS 224472 WITH SCORE 224848.657
AT ITER 101 NEW BEST:: SOT 560536 SOS 375255 HAS SOPS 375255 HAS SOUS 223315 HAS SOUPS 223315 WITH SCORE 223690.255
AT ITER 104 NEW BEST:: SOT 560050 SOS 374310 HAS SOPS 374310 HAS SOUS 223304 HAS SOUPS 223304 WITH SCORE 223678.31
AT ITER 106 NEW BEST:: SOT 560050 SOS 374047 HAS SOPS 374047 HAS SOUS 223300 HAS SOUPS 223300 WITH SCORE 223674.047
AT ITER 113 NEW BEST:: SOT 559800 SOS 373212 HAS SOPS 373212 HAS SOUS 222675 HAS SOUPS 222675 WITH SCORE 223048.212
AT ITER 114 NEW BEST:: SOT 559905 SOS 373154 HAS SOPS 373154 HAS SOUS 222556 HAS SOUPS 222556 WITH SCORE 222929.154
AT ITER 118 NEW BEST:: SOT 559903 SOS 371864 HAS SOPS 371864 HAS SOUS 222431 HAS SOUPS 222431 WITH SCORE 222802.864
AT ITER 119 NEW BEST:: SOT 559868 SOS 371829 HAS SOPS 371829 HAS SOUS 222427 HAS SOUPS 222427 WITH SCORE 222798.829
AT ITER 120 NEW BEST:: SOT 559766 SOS 371727 HAS SOPS 371727 HAS SOUS 222325 HAS SOUPS 222325 WITH SCORE 222696.727
AT ITER 121 NEW BEST:: SOT 559615 SOS 371486 HAS SOPS 371486 HAS SOUS 222316 HAS SOUPS 222316 WITH SCORE 222687.486
AT ITER 128 NEW BEST:: SOT 559304 SOS 371173 HAS SOPS 371173 HAS SOUS 222212 HAS SOUPS 222212 WITH SCORE 222583.173
AT ITER 133 NEW BEST:: SOT 559248 SOS 371117 HAS SOPS 371117 HAS SOUS 222211 HAS SOUPS 222211 WITH SCORE 222582.117
AT ITER 134 NEW BEST:: SOT 559269 SOS 371061 HAS SOPS 371061 HAS SOUS 222164 HAS SOUPS 222164 WITH SCORE 222535.061
AT ITER 136 NEW BEST:: SOT 559269 SOS 370011 HAS SOPS 370011 HAS SOUS 221916 HAS SOUPS 221916 WITH SCORE 222286.011
AT ITER 148 NEW BEST:: SOT 558791 SOS 369533 HAS SOPS 369533 HAS SOUS 221438 HAS SOUPS 221438 WITH SCORE 221807.533
AT ITER 159 NEW BEST:: SOT 558231 SOS 369074 HAS SOPS 369074 HAS SOUS 220777 HAS SOUPS 220777 WITH SCORE 221146.074
AT ITER 164 NEW BEST:: SOT 557956 SOS 368799 HAS SOPS 368799 HAS SOUS 220773 HAS SOUPS 220773 WITH SCORE 221141.799
AT ITER 175 NEW BEST:: SOT 558022 SOS 368494 HAS SOPS 368494 HAS SOUS 220634 HAS SOUPS 220634 WITH SCORE 221002.494
AT ITER 176 NEW BEST:: SOT 557401 SOS 367252 HAS SOPS 367252 HAS SOUS 219392 HAS SOUPS 219392 WITH SCORE 219759.252
AT ITER 194 NEW BEST:: SOT 557161 SOS 367012 HAS SOPS 367012 HAS SOUS 219388 HAS SOUPS 219388 WITH SCORE 219755.012
AT ITER 197 NEW BEST:: SOT 557161 SOS 366938 HAS SOPS 366938 HAS SOUS 219387 HAS SOUPS 219387 WITH SCORE 219753.938
AT ITER 203 NEW BEST:: SOT 556017 SOS 365953 HAS SOPS 365953 HAS SOUS 218384 HAS SOUPS 218384 WITH SCORE 218749.953
AT ITER 207 NEW BEST:: SOT 555860 SOS 365796 HAS SOPS 365796 HAS SOUS 218365 HAS SOUPS 218365 WITH SCORE 218730.796
AT ITER 210 NEW BEST:: SOT 555886 SOS 365727 HAS SOPS 365727 HAS SOUS 218296 HAS SOUPS 218296 WITH SCORE 218661.727
AT ITER 220 NEW BEST:: SOT 553557 SOS 363398 HAS SOPS 363398 HAS SOUS 215967 HAS SOUPS 215967 WITH SCORE 216330.398
AT ITER 226 NEW BEST:: SOT 553552 SOS 363393 HAS SOPS 363393 HAS SOUS 215957 HAS SOUPS 215957 WITH SCORE 216320.393
AT ITER 232 NEW BEST:: SOT 553462 SOS 363303 HAS SOPS 363303 HAS SOUS 215932 HAS SOUPS 215932 WITH SCORE 216295.303
AT ITER 249 NEW BEST:: SOT 553462 SOS 362634 HAS SOPS 362634 HAS SOUS 215815 HAS SOUPS 215815 WITH SCORE 216177.634
AT ITER 252 NEW BEST:: SOT 553335 SOS 362535 HAS SOPS 362535 HAS SOUS 215750 HAS SOUPS 215750 WITH SCORE 216112.535
AT ITER 273 NEW BEST:: SOT 552904 SOS 362104 HAS SOPS 362104 HAS SOUS 215319 HAS SOUPS 215319 WITH SCORE 215681.104
AT ITER 275 NEW BEST:: SOT 552861 SOS 362061 HAS SOPS 362061 HAS SOUS 215315 HAS SOUPS 215315 WITH SCORE 215677.061
AT ITER 295 NEW BEST:: SOT 552706 SOS 361258 HAS SOPS 361258 HAS SOUS 214610 HAS SOUPS 214610 WITH SCORE 214971.258
AT ITER 299 NEW BEST:: SOT 552694 SOS 359202 HAS SOPS 359202 HAS SOUS 214137 HAS SOUPS 214137 WITH SCORE 214496.202
AT ITER 302 NEW BEST:: SOT 552428 SOS 358936 HAS SOPS 358936 HAS SOUS 213869 HAS SOUPS 213869 WITH SCORE 214227.936
AT ITER 303 NEW BEST:: SOT 551616 SOS 358839 HAS SOPS 358839 HAS SOUS 213172 HAS SOUPS 213172 WITH SCORE 213530.839
AT ITER 308 NEW BEST:: SOT 551780 SOS 358410 HAS SOPS 358410 HAS SOUS 213065 HAS SOUPS 213065 WITH SCORE 213423.41
AT ITER 322 NEW BEST:: SOT 551780 SOS 358217 HAS SOPS 358217 HAS SOUS 213065 HAS SOUPS 213065 WITH SCORE 213423.217
AT ITER 323 NEW BEST:: SOT 551745 SOS 358112 HAS SOPS 358112 HAS SOUS 212993 HAS SOUPS 212993 WITH SCORE 213351.112
AT ITER 331 NEW BEST:: SOT 550930 SOS 357318 HAS SOPS 357318 HAS SOUS 211990 HAS SOUPS 211990 WITH SCORE 212347.318
AT ITER 333 NEW BEST:: SOT 545442 SOS 352092 HAS SOPS 352092 HAS SOUS 206555 HAS SOUPS 206555 WITH SCORE 206907.092
AT ITER 335 NEW BEST:: SOT 545439 SOS 352089 HAS SOPS 352089 HAS SOUS 206552 HAS SOUPS 206552 WITH SCORE 206904.089
AT ITER 339 NEW BEST:: SOT 545439 SOS 351789 HAS SOPS 351789 HAS SOUS 206496 HAS SOUPS 206496 WITH SCORE 206847.789
AT ITER 345 NEW BEST:: SOT 545439 SOS 351789 HAS SOPS 351789 HAS SOUS 206445 HAS SOUPS 206445 WITH SCORE 206796.789
AT ITER 352 NEW BEST:: SOT 543230 SOS 352540 HAS SOPS 352540 HAS SOUS 204883 HAS SOUPS 204883 WITH SCORE 205235.54
AT ITER 364 NEW BEST:: SOT 543230 SOS 352458 HAS SOPS 352458 HAS SOUS 204801 HAS SOUPS 204801 WITH SCORE 205153.458
AT ITER 369 NEW BEST:: SOT 543230 SOS 351992 HAS SOPS 351992 HAS SOUS 204480 HAS SOUPS 204480 WITH SCORE 204831.992
AT ITER 371 NEW BEST:: SOT 542891 SOS 351100 HAS SOPS 351100 HAS SOUS 203763 HAS SOUPS 203763 WITH SCORE 204114.1
AT ITER 377 NEW BEST:: SOT 542251 SOS 350630 HAS SOPS 350630 HAS SOUS 203292 HAS SOUPS 203292 WITH SCORE 203642.63
AT ITER 379 NEW BEST:: SOT 536683 SOS 345057 HAS SOPS 345057 HAS SOUS 197719 HAS SOUPS 197719 WITH SCORE 198064.057
AT ITER 380 NEW BEST:: SOT 536641 SOS 345015 HAS SOPS 345015 HAS SOUS 197664 HAS SOUPS 197664 WITH SCORE 198009.015
AT ITER 386 NEW BEST:: SOT 536545 SOS 344486 HAS SOPS 344486 HAS SOUS 197664 HAS SOUPS 197664 WITH SCORE 198008.486
AT ITER 406 NEW BEST:: SOT 536461 SOS 344318 HAS SOPS 344318 HAS SOUS 197496 HAS SOUPS 197496 WITH SCORE 197840.318
AT ITER 413 NEW BEST:: SOT 536737 SOS 343884 HAS SOPS 343884 HAS SOUS 197494 HAS SOUPS 197494 WITH SCORE 197837.884
AT ITER 419 NEW BEST:: SOT 535567 SOS 342714 HAS SOPS 342714 HAS SOUS 196324 HAS SOUPS 196324 WITH SCORE 196666.714
AT ITER 422 NEW BEST:: SOT 535115 SOS 341473 HAS SOPS 341473 HAS SOUS 195418 HAS SOUPS 195418 WITH SCORE 195759.473
AT ITER 428 NEW BEST:: SOT 534754 SOS 341112 HAS SOPS 341112 HAS SOUS 195411 HAS SOUPS 195411 WITH SCORE 195752.112
AT ITER 431 NEW BEST:: SOT 533491 SOS 339849 HAS SOPS 339849 HAS SOUS 194148 HAS SOUPS 194148 WITH SCORE 194487.849
AT ITER 433 NEW BEST:: SOT 533488 SOS 339843 HAS SOPS 339843 HAS SOUS 194142 HAS SOUPS 194142 WITH SCORE 194481.843
AT ITER 436 NEW BEST:: SOT 532752 SOS 339960 HAS SOPS 339960 HAS SOUS 193731 HAS SOUPS 193731 WITH SCORE 194070.96
AT ITER 444 NEW BEST:: SOT 532627 SOS 339708 HAS SOPS 339708 HAS SOUS 193268 HAS SOUPS 193268 WITH SCORE 193607.708
AT ITER 455 NEW BEST:: SOT 532612 SOS 339924 HAS SOPS 339924 HAS SOUS 193246 HAS SOUPS 193246 WITH SCORE 193585.924
AT ITER 460 NEW BEST:: SOT 533066 SOS 339890 HAS SOPS 339890 HAS SOUS 193200 HAS SOUPS 193200 WITH SCORE 193539.89
AT ITER 461 NEW BEST:: SOT 529312 SOS 336025 HAS SOPS 336025 HAS SOUS 189335 HAS SOUPS 189335 WITH SCORE 189671.025
AT ITER 469 NEW BEST:: SOT 527694 SOS 334247 HAS SOPS 334247 HAS SOUS 187292 HAS SOUPS 187292 WITH SCORE 187626.247
AT ITER 478 NEW BEST:: SOT 527670 SOS 334312 HAS SOPS 334312 HAS SOUS 187259 HAS SOUPS 187259 WITH SCORE 187593.312
AT ITER 481 NEW BEST:: SOT 527670 SOS 334312 HAS SOPS 334312 HAS SOUS 187255 HAS SOUPS 187255 WITH SCORE 187589.312
AT ITER 482 NEW BEST:: SOT 527845 SOS 334039 HAS SOPS 334039 HAS SOUS 186982 HAS SOUPS 186982 WITH SCORE 187316.039
AT ITER 484 NEW BEST:: SOT 527845 SOS 334039 HAS SOPS 334039 HAS SOUS 186933 HAS SOUPS 186933 WITH SCORE 187267.039
AT ITER 485 NEW BEST:: SOT 527247 SOS 333439 HAS SOPS 333439 HAS SOUS 186420 HAS SOUPS 186420 WITH SCORE 186753.439
AT ITER 490 NEW BEST:: SOT 526900 SOS 333251 HAS SOPS 333251 HAS SOUS 186361 HAS SOUPS 186361 WITH SCORE 186694.251
AT ITER 491 NEW BEST:: SOT 526919 SOS 333249 HAS SOPS 333249 HAS SOUS 186357 HAS SOUPS 186357 WITH SCORE 186690.249
AT ITER 496 NEW BEST:: SOT 526919 SOS 333183 HAS SOPS 333183 HAS SOUS 186249 HAS SOUPS 186249 WITH SCORE 186582.183
AT ITER 502 NEW BEST:: SOT 526557 SOS 332821 HAS SOPS 332821 HAS SOUS 185887 HAS SOUPS 185887 WITH SCORE 186219.821
AT ITER 504 NEW BEST:: SOT 526132 SOS 334790 HAS SOPS 334790 HAS SOUS 185548 HAS SOUPS 185548 WITH SCORE 185882.79
AT ITER 513 NEW BEST:: SOT 526129 SOS 333951 HAS SOPS 333951 HAS SOUS 185540 HAS SOUPS 185540 WITH SCORE 185873.951
AT ITER 518 NEW BEST:: SOT 525978 SOS 333800 HAS SOPS 333800 HAS SOUS 185413 HAS SOUPS 185413 WITH SCORE 185746.8
AT ITER 522 NEW BEST:: SOT 525861 SOS 333694 HAS SOPS 333694 HAS SOUS 185409 HAS SOUPS 185409 WITH SCORE 185742.694
AT ITER 529 NEW BEST:: SOT 525889 SOS 333603 HAS SOPS 333603 HAS SOUS 185318 HAS SOUPS 185318 WITH SCORE 185651.603
AT ITER 534 NEW BEST:: SOT 525889 SOS 333219 HAS SOPS 333219 HAS SOUS 185299 HAS SOUPS 185299 WITH SCORE 185632.219
AT ITER 536 NEW BEST:: SOT 525889 SOS 333732 HAS SOPS 333732 HAS SOUS 185269 HAS SOUPS 185269 WITH SCORE 185602.732
AT ITER 540 NEW BEST:: SOT 525889 SOS 333476 HAS SOPS 333476 HAS SOUS 185269 HAS SOUPS 185269 WITH SCORE 185602.476
AT ITER 564 NEW BEST:: SOT 525527 SOS 333114 HAS SOPS 333114 HAS SOUS 184907 HAS SOUPS 184907 WITH SCORE 185240.114
AT ITER 568 NEW BEST:: SOT 525045 SOS 332632 HAS SOPS 332632 HAS SOUS 184425 HAS SOUPS 184425 WITH SCORE 184757.632
AT ITER 569 NEW BEST:: SOT 524829 SOS 331672 HAS SOPS 331672 HAS SOUS 183890 HAS SOUPS 183890 WITH SCORE 184221.672
AT ITER 578 NEW BEST:: SOT 524731 SOS 331672 HAS SOPS 331672 HAS SOUS 183749 HAS SOUPS 183749 WITH SCORE 184080.672
AT ITER 582 NEW BEST:: SOT 518434 SOS 325313 HAS SOPS 325313 HAS SOUS 177194 HAS SOUPS 177194 WITH SCORE 177519.313
AT ITER 583 NEW BEST:: SOT 518434 SOS 325313 HAS SOPS 325313 HAS SOUS 176702 HAS SOUPS 176702 WITH SCORE 177027.313
AT ITER 588 NEW BEST:: SOT 518313 SOS 324787 HAS SOPS 324787 HAS SOUS 176177 HAS SOUPS 176177 WITH SCORE 176501.787
AT ITER 606 NEW BEST:: SOT 518313 SOS 324786 HAS SOPS 324786 HAS SOUS 176176 HAS SOUPS 176176 WITH SCORE 176500.786
AT ITER 617 NEW BEST:: SOT 518311 SOS 324265 HAS SOPS 324265 HAS SOUS 175918 HAS SOUPS 175918 WITH SCORE 176242.265
AT ITER 619 NEW BEST:: SOT 514782 SOS 320736 HAS SOPS 320736 HAS SOUS 172389 HAS SOUPS 172389 WITH SCORE 172709.736
AT ITER 621 NEW BEST:: SOT 514605 SOS 320680 HAS SOPS 320680 HAS SOUS 172333 HAS SOUPS 172333 WITH SCORE 172653.68
AT ITER 622 NEW BEST:: SOT 514593 SOS 320668 HAS SOPS 320668 HAS SOUS 172321 HAS SOUPS 172321 WITH SCORE 172641.668
AT ITER 632 NEW BEST:: SOT 514593 SOS 320333 HAS SOPS 320333 HAS SOUS 172121 HAS SOUPS 172121 WITH SCORE 172441.333
AT ITER 636 NEW BEST:: SOT 514593 SOS 319895 HAS SOPS 319895 HAS SOUS 171973 HAS SOUPS 171973 WITH SCORE 172292.895
AT ITER 642 NEW BEST:: SOT 514794 SOS 319582 HAS SOPS 319582 HAS SOUS 171592 HAS SOUPS 171592 WITH SCORE 171911.582
AT ITER 653 NEW BEST:: SOT 514794 SOS 319071 HAS SOPS 319071 HAS SOUS 171592 HAS SOUPS 171592 WITH SCORE 171911.071
AT ITER 664 NEW BEST:: SOT 514765 SOS 319042 HAS SOPS 319042 HAS SOUS 171563 HAS SOUPS 171563 WITH SCORE 171882.042
AT ITER 671 NEW BEST:: SOT 514960 SOS 319111 HAS SOPS 319111 HAS SOUS 171557 HAS SOUPS 171557 WITH SCORE 171876.111
AT ITER 675 NEW BEST:: SOT 514960 SOS 319106 HAS SOPS 319106 HAS SOUS 171557 HAS SOUPS 171557 WITH SCORE 171876.106
AT ITER 676 NEW BEST:: SOT 514960 SOS 318781 HAS SOPS 318781 HAS SOUS 171553 HAS SOUPS 171553 WITH SCORE 171871.781
AT ITER 680 NEW BEST:: SOT 515094 SOS 318915 HAS SOPS 318915 HAS SOUS 171549 HAS SOUPS 171549 WITH SCORE 171867.915
AT ITER 686 NEW BEST:: SOT 514994 SOS 318627 HAS SOPS 318627 HAS SOUS 171276 HAS SOUPS 171276 WITH SCORE 171594.627
AT ITER 688 NEW BEST:: SOT 514994 SOS 318516 HAS SOPS 318516 HAS SOUS 171016 HAS SOUPS 171016 WITH SCORE 171334.516
AT ITER 699 NEW BEST:: SOT 515101 SOS 318623 HAS SOPS 318623 HAS SOUS 171004 HAS SOUPS 171004 WITH SCORE 171322.623
AT ITER 718 NEW BEST:: SOT 515111 SOS 318633 HAS SOPS 318633 HAS SOUS 170940 HAS SOUPS 170940 WITH SCORE 171258.633
AT ITER 719 NEW BEST:: SOT 515111 SOS 317750 HAS SOPS 317750 HAS SOUS 170918 HAS SOUPS 170918 WITH SCORE 171235.75
AT ITER 730 NEW BEST:: SOT 515161 SOS 318138 HAS SOPS 318138 HAS SOUS 170680 HAS SOUPS 170680 WITH SCORE 170998.138
AT ITER 736 NEW BEST:: SOT 514889 SOS 317246 HAS SOPS 317246 HAS SOUS 170266 HAS SOUPS 170266 WITH SCORE 170583.246
AT ITER 750 NEW BEST:: SOT 514881 SOS 317235 HAS SOPS 317235 HAS SOUS 170255 HAS SOUPS 170255 WITH SCORE 170572.235
AT ITER 751 NEW BEST:: SOT 514881 SOS 317035 HAS SOPS 317035 HAS SOUS 170055 HAS SOUPS 170055 WITH SCORE 170372.035
AT ITER 753 NEW BEST:: SOT 514722 SOS 317013 HAS SOPS 317013 HAS SOUS 170033 HAS SOUPS 170033 WITH SCORE 170350.013
AT ITER 765 NEW BEST:: SOT 514571 SOS 316862 HAS SOPS 316862 HAS SOUS 170019 HAS SOUPS 170019 WITH SCORE 170335.862
AT ITER 768 NEW BEST:: SOT 514561 SOS 316454 HAS SOPS 316454 HAS SOUS 169808 HAS SOUPS 169808 WITH SCORE 170124.454
AT ITER 786 NEW BEST:: SOT 513373 SOS 316014 HAS SOPS 316014 HAS SOUS 168768 HAS SOUPS 168768 WITH SCORE 169084.014
AT ITER 796 NEW BEST:: SOT 513061 SOS 315702 HAS SOPS 315702 HAS SOUS 168456 HAS SOUPS 168456 WITH SCORE 168771.702
AT ITER 798 NEW BEST:: SOT 513062 SOS 315602 HAS SOPS 315602 HAS SOUS 168441 HAS SOUPS 168441 WITH SCORE 168756.602
AT ITER 800 NEW BEST:: SOT 512940 SOS 315358 HAS SOPS 315358 HAS SOUS 168197 HAS SOUPS 168197 WITH SCORE 168512.358
AT ITER 802 NEW BEST:: SOT 512899 SOS 315317 HAS SOPS 315317 HAS SOUS 168196 HAS SOUPS 168196 WITH SCORE 168511.317
AT ITER 817 NEW BEST:: SOT 512895 SOS 314755 HAS SOPS 314755 HAS SOUS 167892 HAS SOUPS 167892 WITH SCORE 168206.755
AT ITER 822 NEW BEST:: SOT 512895 SOS 314741 HAS SOPS 314741 HAS SOUS 167878 HAS SOUPS 167878 WITH SCORE 168192.741
AT ITER 824 NEW BEST:: SOT 510119 SOS 311965 HAS SOPS 311965 HAS SOUS 165102 HAS SOUPS 165102 WITH SCORE 165413.965
AT ITER 829 NEW BEST:: SOT 510104 SOS 311950 HAS SOPS 311950 HAS SOUS 165083 HAS SOUPS 165083 WITH SCORE 165394.95
AT ITER 835 NEW BEST:: SOT 506906 SOS 308513 HAS SOPS 308513 HAS SOUS 161595 HAS SOUPS 161595 WITH SCORE 161903.513
AT ITER 836 NEW BEST:: SOT 506650 SOS 308426 HAS SOPS 308426 HAS SOUS 161453 HAS SOUPS 161453 WITH SCORE 161761.426
AT ITER 842 NEW BEST:: SOT 506411 SOS 305806 HAS SOPS 305806 HAS SOUS 161038 HAS SOUPS 161038 WITH SCORE 161343.806
AT ITER 844 NEW BEST:: SOT 506411 SOS 305806 HAS SOPS 305806 HAS SOUS 160860 HAS SOUPS 160860 WITH SCORE 161165.806
AT ITER 848 NEW BEST:: SOT 506411 SOS 305806 HAS SOPS 305806 HAS SOUS 160790 HAS SOUPS 160790 WITH SCORE 161095.806
AT ITER 849 NEW BEST:: SOT 506411 SOS 305653 HAS SOPS 305653 HAS SOUS 160637 HAS SOUPS 160637 WITH SCORE 160942.653
AT ITER 869 NEW BEST:: SOT 506103 SOS 305345 HAS SOPS 305345 HAS SOUS 160288 HAS SOUPS 160288 WITH SCORE 160593.345
AT ITER 873 NEW BEST:: SOT 506089 SOS 305317 HAS SOPS 305317 HAS SOUS 160260 HAS SOUPS 160260 WITH SCORE 160565.317
AT ITER 880 NEW BEST:: SOT 506046 SOS 305274 HAS SOPS 305274 HAS SOUS 160216 HAS SOUPS 160216 WITH SCORE 160521.274
AT ITER 881 NEW BEST:: SOT 506046 SOS 305273 HAS SOPS 305273 HAS SOUS 160215 HAS SOUPS 160215 WITH SCORE 160520.273
AT ITER 882 NEW BEST:: SOT 505901 SOS 305392 HAS SOPS 305392 HAS SOUS 160103 HAS SOUPS 160103 WITH SCORE 160408.392
AT ITER 888 NEW BEST:: SOT 505705 SOS 305196 HAS SOPS 305196 HAS SOUS 159907 HAS SOUPS 159907 WITH SCORE 160212.196
AT ITER 889 NEW BEST:: SOT 505635 SOS 305126 HAS SOPS 305126 HAS SOUS 159905 HAS SOUPS 159905 WITH SCORE 160210.126
AT ITER 893 NEW BEST:: SOT 505168 SOS 304660 HAS SOPS 304660 HAS SOUS 159481 HAS SOUPS 159481 WITH SCORE 159785.66
AT ITER 895 NEW BEST:: SOT 504776 SOS 303100 HAS SOPS 303100 HAS SOUS 158400 HAS SOUPS 158400 WITH SCORE 158703.1
AT ITER 899 NEW BEST:: SOT 504635 SOS 302959 HAS SOPS 302959 HAS SOUS 158258 HAS SOUPS 158258 WITH SCORE 158560.959
AT ITER 905 NEW BEST:: SOT 504217 SOS 302727 HAS SOPS 302727 HAS SOUS 157994 HAS SOUPS 157994 WITH SCORE 158296.727
AT ITER 940 NEW BEST:: SOT 504143 SOS 302653 HAS SOPS 302653 HAS SOUS 157846 HAS SOUPS 157846 WITH SCORE 158148.653
AT ITER 966 NEW BEST:: SOT 502277 SOS 300418 HAS SOPS 300418 HAS SOUS 155609 HAS SOUPS 155609 WITH SCORE 155909.418
AT ITER 968 NEW BEST:: SOT 502275 SOS 300414 HAS SOPS 300414 HAS SOUS 155605 HAS SOUPS 155605 WITH SCORE 155905.414
AT ITER 972 NEW BEST:: SOT 502258 SOS 300397 HAS SOPS 300397 HAS SOUS 155567 HAS SOUPS 155567 WITH SCORE 155867.397
AT ITER 981 NEW BEST:: SOT 502204 SOS 300289 HAS SOPS 300289 HAS SOUS 155547 HAS SOUPS 155547 WITH SCORE 155847.289
AT ITER 984 NEW BEST:: SOT 502163 SOS 300192 HAS SOPS 300192 HAS SOUS 155426 HAS SOUPS 155426 WITH SCORE 155726.192
AT ITER 987 NEW BEST:: SOT 502163 SOS 299922 HAS SOPS 299922 HAS SOUS 155156 HAS SOUPS 155156 WITH SCORE 155455.922
AT ITER 997 NEW BEST:: SOT 502108 SOS 299883 HAS SOPS 299883 HAS SOUS 155117 HAS SOUPS 155117 WITH SCORE 155416.883
AT ITER 1007 NEW BEST:: SOT 500827 SOS 303572 HAS SOPS 303572 HAS SOUS 154955 HAS SOUPS 154955 WITH SCORE 155258.572
AT ITER 1033 NEW BEST:: SOT 497590 SOS 300053 HAS SOPS 300053 HAS SOUS 149996 HAS SOUPS 149996 WITH SCORE 150296.053
AT ITER 1038 NEW BEST:: SOT 497178 SOS 300355 HAS SOPS 300355 HAS SOUS 149988 HAS SOUPS 149988 WITH SCORE 150288.355
AT ITER 1054 NEW BEST:: SOT 497178 SOS 300355 HAS SOPS 300355 HAS SOUS 149955 HAS SOUPS 149955 WITH SCORE 150255.355
AT ITER 1065 NEW BEST:: SOT 496874 SOS 299241 HAS SOPS 299241 HAS SOUS 149515 HAS SOUPS 149515 WITH SCORE 149814.241
AT ITER 1072 NEW BEST:: SOT 496759 SOS 298872 HAS SOPS 298872 HAS SOUS 149027 HAS SOUPS 149027 WITH SCORE 149325.872
AT ITER 1105 NEW BEST:: SOT 496724 SOS 298627 HAS SOPS 298627 HAS SOUS 148957 HAS SOUPS 148957 WITH SCORE 149255.627
AT ITER 1116 NEW BEST:: SOT 496790 SOS 298507 HAS SOPS 298507 HAS SOUS 148883 HAS SOUPS 148883 WITH SCORE 149181.507
AT ITER 1121 NEW BEST:: SOT 496790 SOS 298507 HAS SOPS 298507 HAS SOUS 148860 HAS SOUPS 148860 WITH SCORE 149158.507
AT ITER 1124 NEW BEST:: SOT 496764 SOS 297974 HAS SOPS 297974 HAS SOUS 148791 HAS SOUPS 148791 WITH SCORE 149088.974
AT ITER 1132 NEW BEST:: SOT 496725 SOS 297896 HAS SOPS 297896 HAS SOUS 148713 HAS SOUPS 148713 WITH SCORE 149010.896
AT ITER 1139 NEW BEST:: SOT 496637 SOS 297808 HAS SOPS 297808 HAS SOUS 148613 HAS SOUPS 148613 WITH SCORE 148910.808
AT ITER 1144 NEW BEST:: SOT 495370 SOS 297225 HAS SOPS 297225 HAS SOUS 147058 HAS SOUPS 147058 WITH SCORE 147355.225
AT ITER 1155 NEW BEST:: SOT 495214 SOS 296951 HAS SOPS 296951 HAS SOUS 146784 HAS SOUPS 146784 WITH SCORE 147080.951
AT ITER 1156 NEW BEST:: SOT 492723 SOS 294460 HAS SOPS 294460 HAS SOUS 144293 HAS SOUPS 144293 WITH SCORE 144587.46
AT ITER 1158 NEW BEST:: SOT 492398 SOS 294135 HAS SOPS 294135 HAS SOUS 143968 HAS SOUPS 143968 WITH SCORE 144262.135
AT ITER 1169 NEW BEST:: SOT 492335 SOS 293349 HAS SOPS 293349 HAS SOUS 143829 HAS SOUPS 143829 WITH SCORE 144122.349
AT ITER 1176 NEW BEST:: SOT 492290 SOS 293349 HAS SOPS 293349 HAS SOUS 143828 HAS SOUPS 143828 WITH SCORE 144121.349
AT ITER 1180 NEW BEST:: SOT 492290 SOS 293240 HAS SOPS 293240 HAS SOUS 143827 HAS SOUPS 143827 WITH SCORE 144120.24
AT ITER 1185 NEW BEST:: SOT 492190 SOS 293140 HAS SOPS 293140 HAS SOUS 143680 HAS SOUPS 143680 WITH SCORE 143973.14
AT ITER 1195 NEW BEST:: SOT 492148 SOS 293133 HAS SOPS 293133 HAS SOUS 143673 HAS SOUPS 143673 WITH SCORE 143966.133
AT ITER 1206 NEW BEST:: SOT 491515 SOS 291818 HAS SOPS 291818 HAS SOUS 143292 HAS SOUPS 143292 WITH SCORE 143583.818
AT ITER 1210 NEW BEST:: SOT 491347 SOS 291751 HAS SOPS 291751 HAS SOUS 143241 HAS SOUPS 143241 WITH SCORE 143532.751
AT ITER 1212 NEW BEST:: SOT 491317 SOS 291719 HAS SOPS 291719 HAS SOUS 143209 HAS SOUPS 143209 WITH SCORE 143500.719
AT ITER 1214 NEW BEST:: SOT 491160 SOS 291562 HAS SOPS 291562 HAS SOUS 143009 HAS SOUPS 143009 WITH SCORE 143300.562
AT ITER 1217 NEW BEST:: SOT 491118 SOS 291478 HAS SOPS 291478 HAS SOUS 142967 HAS SOUPS 142967 WITH SCORE 143258.478
AT ITER 1223 NEW BEST:: SOT 491118 SOS 291394 HAS SOPS 291394 HAS SOUS 142966 HAS SOUPS 142966 WITH SCORE 143257.394
AT ITER 1226 NEW BEST:: SOT 491075 SOS 291351 HAS SOPS 291351 HAS SOUS 142921 HAS SOUPS 142921 WITH SCORE 143212.351
AT ITER 1229 NEW BEST:: SOT 491256 SOS 290613 HAS SOPS 290613 HAS SOUS 142694 HAS SOUPS 142694 WITH SCORE 142984.613
AT ITER 1253 NEW BEST:: SOT 491377 SOS 290533 HAS SOPS 290533 HAS SOUS 142614 HAS SOUPS 142614 WITH SCORE 142904.533
AT ITER 1272 NEW BEST:: SOT 491210 SOS 289064 HAS SOPS 289064 HAS SOUS 142293 HAS SOUPS 142293 WITH SCORE 142582.064
AT ITER 1274 NEW BEST:: SOT 491158 SOS 289012 HAS SOPS 289012 HAS SOUS 142189 HAS SOUPS 142189 WITH SCORE 142478.012
AT ITER 1278 NEW BEST:: SOT 490927 SOS 288592 HAS SOPS 288592 HAS SOUS 141795 HAS SOUPS 141795 WITH SCORE 142083.592
AT ITER 1285 NEW BEST:: SOT 490875 SOS 288193 HAS SOPS 288193 HAS SOUS 141691 HAS SOUPS 141691 WITH SCORE 141979.193
AT ITER 1290 NEW BEST:: SOT 487370 SOS 290903 HAS SOPS 290903 HAS SOUS 138986 HAS SOUPS 138986 WITH SCORE 139276.903
AT ITER 1292 NEW BEST:: SOT 487352 SOS 290885 HAS SOPS 290885 HAS SOUS 138968 HAS SOUPS 138968 WITH SCORE 139258.885
AT ITER 1294 NEW BEST:: SOT 487338 SOS 290857 HAS SOPS 290857 HAS SOUS 138940 HAS SOUPS 138940 WITH SCORE 139230.857
AT ITER 1315 NEW BEST:: SOT 487337 SOS 290692 HAS SOPS 290692 HAS SOUS 138938 HAS SOUPS 138938 WITH SCORE 139228.692
AT ITER 1320 NEW BEST:: SOT 487396 SOS 290418 HAS SOPS 290418 HAS SOUS 138664 HAS SOUPS 138664 WITH SCORE 138954.418
AT ITER 1322 NEW BEST:: SOT 487101 SOS 290756 HAS SOPS 290756 HAS SOUS 138291 HAS SOUPS 138291 WITH SCORE 138581.756
AT ITER 1323 NEW BEST:: SOT 487264 SOS 288564 HAS SOPS 288564 HAS SOUS 138263 HAS SOUPS 138263 WITH SCORE 138551.564
AT ITER 1324 NEW BEST:: SOT 487258 SOS 288262 HAS SOPS 288262 HAS SOUS 138116 HAS SOUPS 138116 WITH SCORE 138404.262
AT ITER 1335 NEW BEST:: SOT 487120 SOS 287798 HAS SOPS 287798 HAS SOUS 137827 HAS SOUPS 137827 WITH SCORE 138114.798
AT ITER 1347 NEW BEST:: SOT 487120 SOS 287608 HAS SOPS 287608 HAS SOUS 137637 HAS SOUPS 137637 WITH SCORE 137924.608
AT ITER 1359 NEW BEST:: SOT 487126 SOS 287490 HAS SOPS 287490 HAS SOUS 137519 HAS SOUPS 137519 WITH SCORE 137806.49
AT ITER 1363 NEW BEST:: SOT 487060 SOS 287411 HAS SOPS 287411 HAS SOUS 137440 HAS SOUPS 137440 WITH SCORE 137727.411
AT ITER 1373 NEW BEST:: SOT 486969 SOS 286902 HAS SOPS 286902 HAS SOUS 137129 HAS SOUPS 137129 WITH SCORE 137415.902
AT ITER 1374 NEW BEST:: SOT 486255 SOS 286264 HAS SOPS 286264 HAS SOUS 136464 HAS SOUPS 136464 WITH SCORE 136750.264
AT ITER 1396 NEW BEST:: SOT 486354 SOS 286340 HAS SOPS 286340 HAS SOUS 136440 HAS SOUPS 136440 WITH SCORE 136726.34
AT ITER 1398 NEW BEST:: SOT 486241 SOS 286061 HAS SOPS 286061 HAS SOUS 136161 HAS SOUPS 136161 WITH SCORE 136447.061
AT ITER 1406 NEW BEST:: SOT 486241 SOS 286047 HAS SOPS 286047 HAS SOUS 136161 HAS SOUPS 136161 WITH SCORE 136447.047
AT ITER 1427 NEW BEST:: SOT 486119 SOS 285403 HAS SOPS 285403 HAS SOUS 135517 HAS SOUPS 135517 WITH SCORE 135802.403
AT ITER 1441 NEW BEST:: SOT 486073 SOS 285357 HAS SOPS 285357 HAS SOUS 135463 HAS SOUPS 135463 WITH SCORE 135748.357
AT ITER 1448 NEW BEST:: SOT 486065 SOS 285357 HAS SOPS 285357 HAS SOUS 135455 HAS SOUPS 135455 WITH SCORE 135740.357
AT ITER 1450 NEW BEST:: SOT 486065 SOS 285313 HAS SOPS 285313 HAS SOUS 135411 HAS SOUPS 135411 WITH SCORE 135696.313
AT ITER 1455 NEW BEST:: SOT 485551 SOS 284799 HAS SOPS 284799 HAS SOUS 134897 HAS SOUPS 134897 WITH SCORE 135181.799
AT ITER 1477 NEW BEST:: SOT 485500 SOS 284748 HAS SOPS 284748 HAS SOUS 134846 HAS SOUPS 134846 WITH SCORE 135130.748
AT ITER 1483 NEW BEST:: SOT 485423 SOS 284175 HAS SOPS 284175 HAS SOUS 134680 HAS SOUPS 134680 WITH SCORE 134964.175
AT ITER 1505 NEW BEST:: SOT 485007 SOS 283749 HAS SOPS 283749 HAS SOUS 134202 HAS SOUPS 134202 WITH SCORE 134485.749
AT ITER 1516 NEW BEST:: SOT 485024 SOS 283354 HAS SOPS 283354 HAS SOUS 133807 HAS SOUPS 133807 WITH SCORE 134090.354
AT ITER 1528 NEW BEST:: SOT 484320 SOS 282650 HAS SOPS 282650 HAS SOUS 133103 HAS SOUPS 133103 WITH SCORE 133385.65
AT ITER 1533 NEW BEST:: SOT 484305 SOS 282620 HAS SOPS 282620 HAS SOUS 133058 HAS SOUPS 133058 WITH SCORE 133340.62
AT ITER 1539 NEW BEST:: SOT 484297 SOS 282604 HAS SOPS 282604 HAS SOUS 133041 HAS SOUPS 133041 WITH SCORE 133323.604
AT ITER 1557 NEW BEST:: SOT 484231 SOS 282538 HAS SOPS 282538 HAS SOUS 132975 HAS SOUPS 132975 WITH SCORE 133257.538
AT ITER 1561 NEW BEST:: SOT 484067 SOS 282374 HAS SOPS 282374 HAS SOUS 132479 HAS SOUPS 132479 WITH SCORE 132761.374
AT ITER 1563 NEW BEST:: SOT 484155 SOS 277416 HAS SOPS 277416 HAS SOUS 132412 HAS SOUPS 132412 WITH SCORE 132689.416
AT ITER 1585 NEW BEST:: SOT 484095 SOS 277179 HAS SOPS 277179 HAS SOUS 132175 HAS SOUPS 132175 WITH SCORE 132452.179
AT ITER 1590 NEW BEST:: SOT 483640 SOS 276707 HAS SOPS 276707 HAS SOUS 131896 HAS SOUPS 131896 WITH SCORE 132172.707
AT ITER 1607 NEW BEST:: SOT 483606 SOS 276613 HAS SOPS 276613 HAS SOUS 131802 HAS SOUPS 131802 WITH SCORE 132078.613
AT ITER 1614 NEW BEST:: SOT 483477 SOS 276166 HAS SOPS 276166 HAS SOUS 131412 HAS SOUPS 131412 WITH SCORE 131688.166
AT ITER 1633 NEW BEST:: SOT 483424 SOS 276015 HAS SOPS 276015 HAS SOUS 131261 HAS SOUPS 131261 WITH SCORE 131537.015
AT ITER 1640 NEW BEST:: SOT 483375 SOS 276015 HAS SOPS 276015 HAS SOUS 131212 HAS SOUPS 131212 WITH SCORE 131488.015
AT ITER 1642 NEW BEST:: SOT 483113 SOS 275593 HAS SOPS 275593 HAS SOUS 130985 HAS SOUPS 130985 WITH SCORE 131260.593
AT ITER 1651 NEW BEST:: SOT 482863 SOS 274834 HAS SOPS 274834 HAS SOUS 130226 HAS SOUPS 130226 WITH SCORE 130500.834
AT ITER 1663 NEW BEST:: SOT 482805 SOS 274776 HAS SOPS 274776 HAS SOUS 130168 HAS SOUPS 130168 WITH SCORE 130442.776
AT ITER 1671 NEW BEST:: SOT 482805 SOS 274515 HAS SOPS 274515 HAS SOUS 129949 HAS SOUPS 129949 WITH SCORE 130223.515
AT ITER 1674 NEW BEST:: SOT 482948 SOS 274717 HAS SOPS 274717 HAS SOUS 129900 HAS SOUPS 129900 WITH SCORE 130174.717
AT ITER 1680 NEW BEST:: SOT 482948 SOS 274710 HAS SOPS 274710 HAS SOUS 129886 HAS SOUPS 129886 WITH SCORE 130160.71
AT ITER 1704 NEW BEST:: SOT 482804 SOS 274422 HAS SOPS 274422 HAS SOUS 129598 HAS SOUPS 129598 WITH SCORE 129872.422
AT ITER 1713 NEW BEST:: SOT 482830 SOS 274448 HAS SOPS 274448 HAS SOUS 129564 HAS SOUPS 129564 WITH SCORE 129838.448
AT ITER 1721 NEW BEST:: SOT 482830 SOS 274198 HAS SOPS 274198 HAS SOUS 129425 HAS SOUPS 129425 WITH SCORE 129699.198
AT ITER 1728 NEW BEST:: SOT 482872 SOS 274010 HAS SOPS 274010 HAS SOUS 129237 HAS SOUPS 129237 WITH SCORE 129511.01
AT ITER 1740 NEW BEST:: SOT 482829 SOS 273967 HAS SOPS 273967 HAS SOUS 129194 HAS SOUPS 129194 WITH SCORE 129467.967
AT ITER 1745 NEW BEST:: SOT 482809 SOS 274015 HAS SOPS 274015 HAS SOUS 129090 HAS SOUPS 129090 WITH SCORE 129364.015
AT ITER 1746 NEW BEST:: SOT 482774 SOS 273980 HAS SOPS 273980 HAS SOUS 129055 HAS SOUPS 129055 WITH SCORE 129328.98
AT ITER 1752 NEW BEST:: SOT 482619 SOS 273796 HAS SOPS 273796 HAS SOUS 128871 HAS SOUPS 128871 WITH SCORE 129144.796
AT ITER 1763 NEW BEST:: SOT 482342 SOS 273726 HAS SOPS 273726 HAS SOUS 128755 HAS SOUPS 128755 WITH SCORE 129028.726
AT ITER 1766 NEW BEST:: SOT 482127 SOS 273305 HAS SOPS 273305 HAS SOUS 128430 HAS SOUPS 128430 WITH SCORE 128703.305
AT ITER 1767 NEW BEST:: SOT 482116 SOS 273294 HAS SOPS 273294 HAS SOUS 128416 HAS SOUPS 128416 WITH SCORE 128689.294
AT ITER 1777 NEW BEST:: SOT 482079 SOS 272971 HAS SOPS 272971 HAS SOUS 128093 HAS SOUPS 128093 WITH SCORE 128365.971
AT ITER 1792 NEW BEST:: SOT 481918 SOS 273455 HAS SOPS 273455 HAS SOUS 128002 HAS SOUPS 128002 WITH SCORE 128275.455
AT ITER 1801 NEW BEST:: SOT 481918 SOS 273420 HAS SOPS 273420 HAS SOUS 127967 HAS SOUPS 127967 WITH SCORE 128240.42
AT ITER 1813 NEW BEST:: SOT 481918 SOS 273404 HAS SOPS 273404 HAS SOUS 127965 HAS SOUPS 127965 WITH SCORE 128238.404
AT ITER 1816 NEW BEST:: SOT 481918 SOS 273415 HAS SOPS 273415 HAS SOUS 127947 HAS SOUPS 127947 WITH SCORE 128220.415
AT ITER 1823 NEW BEST:: SOT 481918 SOS 273358 HAS SOPS 273358 HAS SOUS 127888 HAS SOUPS 127888 WITH SCORE 128161.358
AT ITER 1824 NEW BEST:: SOT 481879 SOS 273163 HAS SOPS 273163 HAS SOUS 127771 HAS SOUPS 127771 WITH SCORE 128044.163
AT ITER 1828 NEW BEST:: SOT 481825 SOS 273387 HAS SOPS 273387 HAS SOUS 127663 HAS SOUPS 127663 WITH SCORE 127936.387
AT ITER 1829 NEW BEST:: SOT 481822 SOS 273384 HAS SOPS 273384 HAS SOUS 127660 HAS SOUPS 127660 WITH SCORE 127933.384
AT ITER 1840 NEW BEST:: SOT 481807 SOS 273354 HAS SOPS 273354 HAS SOUS 127630 HAS SOUPS 127630 WITH SCORE 127903.354
AT ITER 1841 NEW BEST:: SOT 481807 SOS 273209 HAS SOPS 273209 HAS SOUS 127382 HAS SOUPS 127382 WITH SCORE 127655.209
AT ITER 1859 NEW BEST:: SOT 481807 SOS 273172 HAS SOPS 273172 HAS SOUS 127345 HAS SOUPS 127345 WITH SCORE 127618.172
AT ITER 1882 NEW BEST:: SOT 479396 SOS 273982 HAS SOPS 273982 HAS SOUS 124958 HAS SOUPS 124958 WITH SCORE 125231.982
AT ITER 1888 NEW BEST:: SOT 479194 SOS 273714 HAS SOPS 273714 HAS SOUS 124813 HAS SOUPS 124813 WITH SCORE 125086.714
AT ITER 1904 NEW BEST:: SOT 479139 SOS 273659 HAS SOPS 273659 HAS SOUS 124758 HAS SOUPS 124758 WITH SCORE 125031.659
AT ITER 1912 NEW BEST:: SOT 479101 SOS 273621 HAS SOPS 273621 HAS SOUS 124707 HAS SOUPS 124707 WITH SCORE 124980.621
AT ITER 1932 NEW BEST:: SOT 478928 SOS 273448 HAS SOPS 273448 HAS SOUS 124360 HAS SOUPS 124360 WITH SCORE 124633.448
AT ITER 1933 NEW BEST:: SOT 478893 SOS 273413 HAS SOPS 273413 HAS SOUS 124325 HAS SOUPS 124325 WITH SCORE 124598.413
AT ITER 1934 NEW BEST:: SOT 478893 SOS 273480 HAS SOPS 273480 HAS SOUS 124249 HAS SOUPS 124249 WITH SCORE 124522.48
AT ITER 1939 NEW BEST:: SOT 478875 SOS 273449 HAS SOPS 273449 HAS SOUS 124218 HAS SOUPS 124218 WITH SCORE 124491.449
AT ITER 1940 NEW BEST:: SOT 478362 SOS 272936 HAS SOPS 272936 HAS SOUS 123705 HAS SOUPS 123705 WITH SCORE 123977.936
AT ITER 1942 NEW BEST:: SOT 478342 SOS 272916 HAS SOPS 272916 HAS SOUS 123685 HAS SOUPS 123685 WITH SCORE 123957.916
AT ITER 1948 NEW BEST:: SOT 478308 SOS 272814 HAS SOPS 272814 HAS SOUS 123583 HAS SOUPS 123583 WITH SCORE 123855.814
AT ITER 1949 NEW BEST:: SOT 478275 SOS 272889 HAS SOPS 272889 HAS SOUS 123577 HAS SOUPS 123577 WITH SCORE 123849.889
AT ITER 1954 NEW BEST:: SOT 478165 SOS 272761 HAS SOPS 272761 HAS SOUS 123357 HAS SOUPS 123357 WITH SCORE 123629.761
AT ITER 1959 NEW BEST:: SOT 478121 SOS 272730 HAS SOPS 272730 HAS SOUS 123277 HAS SOUPS 123277 WITH SCORE 123549.73
AT ITER 1978 NEW BEST:: SOT 478110 SOS 272573 HAS SOPS 272573 HAS SOUS 123252 HAS SOUPS 123252 WITH SCORE 123524.573
AT ITER 1997 NEW BEST:: SOT 478058 SOS 272521 HAS SOPS 272521 HAS SOUS 123200 HAS SOUPS 123200 WITH SCORE 123472.521
AT ITER 2016 NEW BEST:: SOT 478031 SOS 272494 HAS SOPS 272494 HAS SOUS 123173 HAS SOUPS 123173 WITH SCORE 123445.494
AT ITER 2022 NEW BEST:: SOT 478123 SOS 272468 HAS SOPS 272468 HAS SOUS 123075 HAS SOUPS 123075 WITH SCORE 123347.468
AT ITER 2031 NEW BEST:: SOT 478123 SOS 272440 HAS SOPS 272440 HAS SOUS 123049 HAS SOUPS 123049 WITH SCORE 123321.44
AT ITER 2057 NEW BEST:: SOT 478116 SOS 272433 HAS SOPS 272433 HAS SOUS 123042 HAS SOUPS 123042 WITH SCORE 123314.433
AT ITER 2069 NEW BEST:: SOT 478116 SOS 272549 HAS SOPS 272549 HAS SOUS 123041 HAS SOUPS 123041 WITH SCORE 123313.549
AT ITER 2072 NEW BEST:: SOT 478116 SOS 272527 HAS SOPS 272527 HAS SOUS 123019 HAS SOUPS 123019 WITH SCORE 123291.527
AT ITER 2090 NEW BEST:: SOT 477917 SOS 273130 HAS SOPS 273130 HAS SOUS 123010 HAS SOUPS 123010 WITH SCORE 123283.13
AT ITER 2093 NEW BEST:: SOT 477917 SOS 273130 HAS SOPS 273130 HAS SOUS 122897 HAS SOUPS 122897 WITH SCORE 123170.13
AT ITER 2118 NEW BEST:: SOT 477635 SOS 273644 HAS SOPS 273644 HAS SOUS 122895 HAS SOUPS 122895 WITH SCORE 123168.644
AT ITER 2133 NEW BEST:: SOT 477562 SOS 273000 HAS SOPS 273000 HAS SOUS 122822 HAS SOUPS 122822 WITH SCORE 123095.0
AT ITER 2137 NEW BEST:: SOT 477476 SOS 272613 HAS SOPS 272613 HAS SOUS 122693 HAS SOUPS 122693 WITH SCORE 122965.613
AT ITER 2140 NEW BEST:: SOT 477706 SOS 272964 HAS SOPS 272964 HAS SOUS 122424 HAS SOUPS 122424 WITH SCORE 122696.964
AT ITER 2148 NEW BEST:: SOT 477706 SOS 272262 HAS SOPS 272262 HAS SOUS 121722 HAS SOUPS 121722 WITH SCORE 121994.262
AT ITER 2156 NEW BEST:: SOT 477635 SOS 272277 HAS SOPS 272277 HAS SOUS 121694 HAS SOUPS 121694 WITH SCORE 121966.277
AT ITER 2159 NEW BEST:: SOT 476971 SOS 271853 HAS SOPS 271853 HAS SOUS 121058 HAS SOUPS 121058 WITH SCORE 121329.853
AT ITER 2173 NEW BEST:: SOT 476934 SOS 271685 HAS SOPS 271685 HAS SOUS 121051 HAS SOUPS 121051 WITH SCORE 121322.685
AT ITER 2199 NEW BEST:: SOT 476593 SOS 271424 HAS SOPS 271424 HAS SOUS 120810 HAS SOUPS 120810 WITH SCORE 121081.424
AT ITER 2200 NEW BEST:: SOT 476592 SOS 271337 HAS SOPS 271337 HAS SOUS 120765 HAS SOUPS 120765 WITH SCORE 121036.337
AT ITER 2203 NEW BEST:: SOT 476507 SOS 271218 HAS SOPS 271218 HAS SOUS 120381 HAS SOUPS 120381 WITH SCORE 120652.218
AT ITER 2213 NEW BEST:: SOT 476018 SOS 272820 HAS SOPS 272820 HAS SOUS 120243 HAS SOUPS 120243 WITH SCORE 120515.82
AT ITER 2222 NEW BEST:: SOT 475797 SOS 272186 HAS SOPS 272186 HAS SOUS 119609 HAS SOUPS 119609 WITH SCORE 119881.186
AT ITER 2229 NEW BEST:: SOT 475792 SOS 272181 HAS SOPS 272181 HAS SOUS 119599 HAS SOUPS 119599 WITH SCORE 119871.181
AT ITER 2284 NEW BEST:: SOT 475721 SOS 272007 HAS SOPS 272007 HAS SOUS 119425 HAS SOUPS 119425 WITH SCORE 119697.007
AT ITER 2287 NEW BEST:: SOT 475550 SOS 272007 HAS SOPS 272007 HAS SOUS 119254 HAS SOUPS 119254 WITH SCORE 119526.007
AT ITER 2292 NEW BEST:: SOT 475426 SOS 271759 HAS SOPS 271759 HAS SOUS 119006 HAS SOUPS 119006 WITH SCORE 119277.759
AT ITER 2338 NEW BEST:: SOT 475426 SOS 271710 HAS SOPS 271710 HAS SOUS 118973 HAS SOUPS 118973 WITH SCORE 119244.71
AT ITER 2345 NEW BEST:: SOT 475340 SOS 270128 HAS SOPS 270128 HAS SOUS 118821 HAS SOUPS 118821 WITH SCORE 119091.128
AT ITER 2363 NEW BEST:: SOT 475340 SOS 270126 HAS SOPS 270126 HAS SOUS 118821 HAS SOUPS 118821 WITH SCORE 119091.126
AT ITER 2364 NEW BEST:: SOT 474400 SOS 269078 HAS SOPS 269078 HAS SOUS 117773 HAS SOUPS 117773 WITH SCORE 118042.078
AT ITER 2367 NEW BEST:: SOT 474457 SOS 269039 HAS SOPS 269039 HAS SOUS 117683 HAS SOUPS 117683 WITH SCORE 117952.039
AT ITER 2369 NEW BEST:: SOT 474457 SOS 269039 HAS SOPS 269039 HAS SOUS 117628 HAS SOUPS 117628 WITH SCORE 117897.039
AT ITER 2375 NEW BEST:: SOT 473803 SOS 270598 HAS SOPS 270598 HAS SOUS 116902 HAS SOUPS 116902 WITH SCORE 117172.598
AT ITER 2395 NEW BEST:: SOT 473874 SOS 270586 HAS SOPS 270586 HAS SOUS 116890 HAS SOUPS 116890 WITH SCORE 117160.586
AT ITER 2423 NEW BEST:: SOT 473869 SOS 270581 HAS SOPS 270581 HAS SOUS 116885 HAS SOUPS 116885 WITH SCORE 117155.581
AT ITER 2430 NEW BEST:: SOT 473775 SOS 270487 HAS SOPS 270487 HAS SOUS 116790 HAS SOUPS 116790 WITH SCORE 117060.487
AT ITER 2432 NEW BEST:: SOT 473689 SOS 270100 HAS SOPS 270100 HAS SOUS 116618 HAS SOUPS 116618 WITH SCORE 116888.1
AT ITER 2438 NEW BEST:: SOT 473689 SOS 270052 HAS SOPS 270052 HAS SOUS 116570 HAS SOUPS 116570 WITH SCORE 116840.052
AT ITER 2440 NEW BEST:: SOT 473689 SOS 269991 HAS SOPS 269991 HAS SOUS 116570 HAS SOUPS 116570 WITH SCORE 116839.991
AT ITER 2448 NEW BEST:: SOT 473693 SOS 269997 HAS SOPS 269997 HAS SOUS 116519 HAS SOUPS 116519 WITH SCORE 116788.997
AT ITER 2450 NEW BEST:: SOT 473359 SOS 269663 HAS SOPS 269663 HAS SOUS 116212 HAS SOUPS 116212 WITH SCORE 116481.663
AT ITER 2455 NEW BEST:: SOT 473195 SOS 269527 HAS SOPS 269527 HAS SOUS 116075 HAS SOUPS 116075 WITH SCORE 116344.527
AT ITER 2458 NEW BEST:: SOT 473189 SOS 268765 HAS SOPS 268765 HAS SOUS 116063 HAS SOUPS 116063 WITH SCORE 116331.765
AT ITER 2459 NEW BEST:: SOT 473147 SOS 268723 HAS SOPS 268723 HAS SOUS 116018 HAS SOUPS 116018 WITH SCORE 116286.723
AT ITER 2464 NEW BEST:: SOT 473344 SOS 268861 HAS SOPS 268861 HAS SOUS 115793 HAS SOUPS 115793 WITH SCORE 116061.861
AT ITER 2469 NEW BEST:: SOT 473389 SOS 268906 HAS SOPS 268906 HAS SOUS 115788 HAS SOUPS 115788 WITH SCORE 116056.906
AT ITER 2493 NEW BEST:: SOT 473389 SOS 268855 HAS SOPS 268855 HAS SOUS 115788 HAS SOUPS 115788 WITH SCORE 116056.855
AT ITER 2511 NEW BEST:: SOT 473272 SOS 268738 HAS SOPS 268738 HAS SOUS 115760 HAS SOUPS 115760 WITH SCORE 116028.738
AT ITER 2527 NEW BEST:: SOT 472880 SOS 268346 HAS SOPS 268346 HAS SOUS 115403 HAS SOUPS 115403 WITH SCORE 115671.346
AT ITER 2542 NEW BEST:: SOT 472880 SOS 268338 HAS SOPS 268338 HAS SOUS 115402 HAS SOUPS 115402 WITH SCORE 115670.338
AT ITER 2543 NEW BEST:: SOT 472741 SOS 268081 HAS SOPS 268081 HAS SOUS 115262 HAS SOUPS 115262 WITH SCORE 115530.081
AT ITER 2556 NEW BEST:: SOT 472741 SOS 268081 HAS SOPS 268081 HAS SOUS 115198 HAS SOUPS 115198 WITH SCORE 115466.081
AT ITER 2558 NEW BEST:: SOT 471715 SOS 267879 HAS SOPS 267879 HAS SOUS 114379 HAS SOUPS 114379 WITH SCORE 114646.879
AT ITER 2570 NEW BEST:: SOT 471770 SOS 267847 HAS SOPS 267847 HAS SOUS 114347 HAS SOUPS 114347 WITH SCORE 114614.847
AT ITER 2574 NEW BEST:: SOT 471495 SOS 267383 HAS SOPS 267383 HAS SOUS 114301 HAS SOUPS 114301 WITH SCORE 114568.383
AT ITER 2582 NEW BEST:: SOT 471459 SOS 267167 HAS SOPS 267167 HAS SOUS 114152 HAS SOUPS 114152 WITH SCORE 114419.167
AT ITER 2596 NEW BEST:: SOT 471448 SOS 265804 HAS SOPS 265804 HAS SOUS 114082 HAS SOUPS 114082 WITH SCORE 114347.804
AT ITER 2602 NEW BEST:: SOT 471408 SOS 265709 HAS SOPS 265709 HAS SOUS 113947 HAS SOUPS 113947 WITH SCORE 114212.709
AT ITER 2615 NEW BEST:: SOT 471366 SOS 265667 HAS SOPS 265667 HAS SOUS 113901 HAS SOUPS 113901 WITH SCORE 114166.667
AT ITER 2619 NEW BEST:: SOT 471363 SOS 265626 HAS SOPS 265626 HAS SOUS 113898 HAS SOUPS 113898 WITH SCORE 114163.626
AT ITER 2633 NEW BEST:: SOT 471363 SOS 265200 HAS SOPS 265200 HAS SOUS 113898 HAS SOUPS 113898 WITH SCORE 114163.2
AT ITER 2649 NEW BEST:: SOT 471319 SOS 265251 HAS SOPS 265251 HAS SOUS 113831 HAS SOUPS 113831 WITH SCORE 114096.251
AT ITER 2664 NEW BEST:: SOT 470934 SOS 264814 HAS SOPS 264814 HAS SOUS 113437 HAS SOUPS 113437 WITH SCORE 113701.814
AT ITER 2666 NEW BEST:: SOT 470809 SOS 264638 HAS SOPS 264638 HAS SOUS 113323 HAS SOUPS 113323 WITH SCORE 113587.638
AT ITER 2687 NEW BEST:: SOT 470756 SOS 264521 HAS SOPS 264521 HAS SOUS 113123 HAS SOUPS 113123 WITH SCORE 113387.521
AT ITER 2690 NEW BEST:: SOT 470748 SOS 264513 HAS SOPS 264513 HAS SOUS 113116 HAS SOUPS 113116 WITH SCORE 113380.513
AT ITER 2699 NEW BEST:: SOT 469935 SOS 265080 HAS SOPS 265080 HAS SOUS 112545 HAS SOUPS 112545 WITH SCORE 112810.08
AT ITER 2739 NEW BEST:: SOT 469929 SOS 265074 HAS SOPS 265074 HAS SOUS 112539 HAS SOUPS 112539 WITH SCORE 112804.074
AT ITER 2749 NEW BEST:: SOT 469887 SOS 265029 HAS SOPS 265029 HAS SOUS 112494 HAS SOUPS 112494 WITH SCORE 112759.029
AT ITER 2758 NEW BEST:: SOT 469459 SOS 264693 HAS SOPS 264693 HAS SOUS 112415 HAS SOUPS 112415 WITH SCORE 112679.693
AT ITER 2762 NEW BEST:: SOT 469331 SOS 264657 HAS SOPS 264657 HAS SOUS 112274 HAS SOUPS 112274 WITH SCORE 112538.657
AT ITER 2779 NEW BEST:: SOT 469331 SOS 264540 HAS SOPS 264540 HAS SOUS 112267 HAS SOUPS 112267 WITH SCORE 112531.54
AT ITER 2784 NEW BEST:: SOT 469331 SOS 264428 HAS SOPS 264428 HAS SOUS 112267 HAS SOUPS 112267 WITH SCORE 112531.428
AT ITER 2786 NEW BEST:: SOT 468977 SOS 263731 HAS SOPS 263731 HAS SOUS 111826 HAS SOUPS 111826 WITH SCORE 112089.731
AT ITER 2790 NEW BEST:: SOT 468926 SOS 263443 HAS SOPS 263443 HAS SOUS 111639 HAS SOUPS 111639 WITH SCORE 111902.443
AT ITER 2794 NEW BEST:: SOT 468926 SOS 261573 HAS SOPS 261573 HAS SOUS 111564 HAS SOUPS 111564 WITH SCORE 111825.573
AT ITER 2815 NEW BEST:: SOT 468926 SOS 261527 HAS SOPS 261527 HAS SOUS 111541 HAS SOUPS 111541 WITH SCORE 111802.527
AT ITER 2843 NEW BEST:: SOT 468899 SOS 261466 HAS SOPS 261466 HAS SOUS 111480 HAS SOUPS 111480 WITH SCORE 111741.466
AT ITER 2851 NEW BEST:: SOT 468514 SOS 261016 HAS SOPS 261016 HAS SOUS 111030 HAS SOUPS 111030 WITH SCORE 111291.016
AT ITER 2857 NEW BEST:: SOT 468498 SOS 261000 HAS SOPS 261000 HAS SOUS 110998 HAS SOUPS 110998 WITH SCORE 111259.0
AT ITER 2877 NEW BEST:: SOT 468467 SOS 261056 HAS SOPS 261056 HAS SOUS 110936 HAS SOUPS 110936 WITH SCORE 111197.056
AT ITER 2896 NEW BEST:: SOT 468467 SOS 261027 HAS SOPS 261027 HAS SOUS 110760 HAS SOUPS 110760 WITH SCORE 111021.027
AT ITER 2911 NEW BEST:: SOT 468445 SOS 261005 HAS SOPS 261005 HAS SOUS 110738 HAS SOUPS 110738 WITH SCORE 110999.005
AT ITER 2931 NEW BEST:: SOT 468530 SOS 261033 HAS SOPS 261033 HAS SOUS 110688 HAS SOUPS 110688 WITH SCORE 110949.033
AT ITER 2953 NEW BEST:: SOT 468355 SOS 260858 HAS SOPS 260858 HAS SOUS 110513 HAS SOUPS 110513 WITH SCORE 110773.858
AT ITER 2990 NEW BEST:: SOT 468247 SOS 260642 HAS SOPS 260642 HAS SOUS 110297 HAS SOUPS 110297 WITH SCORE 110557.642
AT ITER 3000 NEW BEST:: SOT 468183 SOS 260578 HAS SOPS 260578 HAS SOUS 110285 HAS SOUPS 110285 WITH SCORE 110545.578
AT ITER 3006 NEW BEST:: SOT 468147 SOS 260451 HAS SOPS 260451 HAS SOUS 110158 HAS SOUPS 110158 WITH SCORE 110418.451
AT ITER 3019 NEW BEST:: SOT 468119 SOS 260440 HAS SOPS 260440 HAS SOUS 110147 HAS SOUPS 110147 WITH SCORE 110407.44
AT ITER 3024 NEW BEST:: SOT 468007 SOS 260308 HAS SOPS 260308 HAS SOUS 110053 HAS SOUPS 110053 WITH SCORE 110313.308
AT ITER 3054 NEW BEST:: SOT 467905 SOS 260204 HAS SOPS 260204 HAS SOUS 109832 HAS SOUPS 109832 WITH SCORE 110092.204
AT ITER 3064 NEW BEST:: SOT 467898 SOS 260206 HAS SOPS 260206 HAS SOUS 109827 HAS SOUPS 109827 WITH SCORE 110087.206
AT ITER 3079 NEW BEST:: SOT 467518 SOS 259909 HAS SOPS 259909 HAS SOUS 109515 HAS SOUPS 109515 WITH SCORE 109774.909
AT ITER 3094 NEW BEST:: SOT 467446 SOS 259515 HAS SOPS 259515 HAS SOUS 109435 HAS SOUPS 109435 WITH SCORE 109694.515
AT ITER 3104 NEW BEST:: SOT 467393 SOS 259356 HAS SOPS 259356 HAS SOUS 109329 HAS SOUPS 109329 WITH SCORE 109588.356
AT ITER 3111 NEW BEST:: SOT 467164 SOS 258833 HAS SOPS 258833 HAS SOUS 109145 HAS SOUPS 109145 WITH SCORE 109403.833
AT ITER 3136 NEW BEST:: SOT 467219 SOS 258888 HAS SOPS 258888 HAS SOUS 109131 HAS SOUPS 109131 WITH SCORE 109389.888
AT ITER 3190 NEW BEST:: SOT 467134 SOS 258669 HAS SOPS 258669 HAS SOUS 108911 HAS SOUPS 108911 WITH SCORE 109169.669
AT ITER 3195 NEW BEST:: SOT 467115 SOS 258650 HAS SOPS 258650 HAS SOUS 108892 HAS SOUPS 108892 WITH SCORE 109150.65
AT ITER 3202 NEW BEST:: SOT 467312 SOS 258739 HAS SOPS 258739 HAS SOUS 108885 HAS SOUPS 108885 WITH SCORE 109143.739
AT ITER 3208 NEW BEST:: SOT 467270 SOS 258697 HAS SOPS 258697 HAS SOUS 108843 HAS SOUPS 108843 WITH SCORE 109101.697
AT ITER 3221 NEW BEST:: SOT 467109 SOS 258394 HAS SOPS 258394 HAS SOUS 108540 HAS SOUPS 108540 WITH SCORE 108798.394
AT ITER 3224 NEW BEST:: SOT 467109 SOS 258588 HAS SOPS 258588 HAS SOUS 108539 HAS SOUPS 108539 WITH SCORE 108797.588
AT ITER 3230 NEW BEST:: SOT 467107 SOS 258586 HAS SOPS 258586 HAS SOUS 108537 HAS SOUPS 108537 WITH SCORE 108795.586
AT ITER 3238 NEW BEST:: SOT 467054 SOS 258533 HAS SOPS 258533 HAS SOUS 108431 HAS SOUPS 108431 WITH SCORE 108689.533
AT ITER 3242 NEW BEST:: SOT 467071 SOS 255806 HAS SOPS 255806 HAS SOUS 108306 HAS SOUPS 108306 WITH SCORE 108561.806
AT ITER 3244 NEW BEST:: SOT 467055 SOS 255790 HAS SOPS 255790 HAS SOUS 108276 HAS SOUPS 108276 WITH SCORE 108531.79
AT ITER 3277 NEW BEST:: SOT 466975 SOS 255710 HAS SOPS 255710 HAS SOUS 108254 HAS SOUPS 108254 WITH SCORE 108509.71
AT ITER 3279 NEW BEST:: SOT 466975 SOS 255713 HAS SOPS 255713 HAS SOUS 108226 HAS SOUPS 108226 WITH SCORE 108481.713
AT ITER 3280 NEW BEST:: SOT 466965 SOS 255698 HAS SOPS 255698 HAS SOUS 108221 HAS SOUPS 108221 WITH SCORE 108476.698
AT ITER 3295 NEW BEST:: SOT 466964 SOS 255697 HAS SOPS 255697 HAS SOUS 108219 HAS SOUPS 108219 WITH SCORE 108474.697
AT ITER 3301 NEW BEST:: SOT 466955 SOS 255679 HAS SOPS 255679 HAS SOUS 108201 HAS SOUPS 108201 WITH SCORE 108456.679
AT ITER 3306 NEW BEST:: SOT 467367 SOS 255269 HAS SOPS 255269 HAS SOUS 108155 HAS SOUPS 108155 WITH SCORE 108410.269
AT ITER 3314 NEW BEST:: SOT 467218 SOS 255047 HAS SOPS 255047 HAS SOUS 107930 HAS SOUPS 107930 WITH SCORE 108185.047
AT ITER 3315 NEW BEST:: SOT 467195 SOS 255024 HAS SOPS 255024 HAS SOUS 107907 HAS SOUPS 107907 WITH SCORE 108162.024
AT ITER 3323 NEW BEST:: SOT 467152 SOS 254828 HAS SOPS 254828 HAS SOUS 107775 HAS SOUPS 107775 WITH SCORE 108029.828
AT ITER 3331 NEW BEST:: SOT 467152 SOS 254795 HAS SOPS 254795 HAS SOUS 107742 HAS SOUPS 107742 WITH SCORE 107996.795
AT ITER 3332 NEW BEST:: SOT 467146 SOS 254785 HAS SOPS 254785 HAS SOUS 107734 HAS SOUPS 107734 WITH SCORE 107988.785
AT ITER 3364 NEW BEST:: SOT 467088 SOS 254727 HAS SOPS 254727 HAS SOUS 107676 HAS SOUPS 107676 WITH SCORE 107930.727
AT ITER 3375 NEW BEST:: SOT 466975 SOS 254607 HAS SOPS 254607 HAS SOUS 107556 HAS SOUPS 107556 WITH SCORE 107810.607
AT ITER 3386 NEW BEST:: SOT 466971 SOS 254603 HAS SOPS 254603 HAS SOUS 107552 HAS SOUPS 107552 WITH SCORE 107806.603
AT ITER 3397 NEW BEST:: SOT 466979 SOS 254488 HAS SOPS 254488 HAS SOUS 107542 HAS SOUPS 107542 WITH SCORE 107796.488
AT ITER 3429 NEW BEST:: SOT 467004 SOS 254017 HAS SOPS 254017 HAS SOUS 107071 HAS SOUPS 107071 WITH SCORE 107325.017
AT ITER 3459 NEW BEST:: SOT 466967 SOS 253964 HAS SOPS 253964 HAS SOUS 107015 HAS SOUPS 107015 WITH SCORE 107268.964
AT ITER 3468 NEW BEST:: SOT 467008 SOS 253802 HAS SOPS 253802 HAS SOUS 106853 HAS SOUPS 106853 WITH SCORE 107106.802
AT ITER 3472 NEW BEST:: SOT 466964 SOS 253734 HAS SOPS 253734 HAS SOUS 106785 HAS SOUPS 106785 WITH SCORE 107038.734
AT ITER 3485 NEW BEST:: SOT 466848 SOS 253529 HAS SOPS 253529 HAS SOUS 106759 HAS SOUPS 106759 WITH SCORE 107012.529
AT ITER 3486 NEW BEST:: SOT 466848 SOS 253457 HAS SOPS 253457 HAS SOUS 106615 HAS SOUPS 106615 WITH SCORE 106868.457
AT ITER 3489 NEW BEST:: SOT 466727 SOS 254107 HAS SOPS 254107 HAS SOUS 106407 HAS SOUPS 106407 WITH SCORE 106661.107
AT ITER 3495 NEW BEST:: SOT 466602 SOS 253964 HAS SOPS 253964 HAS SOUS 106259 HAS SOUPS 106259 WITH SCORE 106512.964
AT ITER 3501 NEW BEST:: SOT 466581 SOS 253943 HAS SOPS 253943 HAS SOUS 106238 HAS SOUPS 106238 WITH SCORE 106491.943
AT ITER 3518 NEW BEST:: SOT 466554 SOS 253267 HAS SOPS 253267 HAS SOUS 106077 HAS SOUPS 106077 WITH SCORE 106330.267
AT ITER 3521 NEW BEST:: SOT 466554 SOS 253267 HAS SOPS 253267 HAS SOUS 106069 HAS SOUPS 106069 WITH SCORE 106322.267
AT ITER 3524 NEW BEST:: SOT 466528 SOS 253241 HAS SOPS 253241 HAS SOUS 106043 HAS SOUPS 106043 WITH SCORE 106296.241
AT ITER 3525 NEW BEST:: SOT 466749 SOS 251705 HAS SOPS 251705 HAS SOUS 105986 HAS SOUPS 105986 WITH SCORE 106237.705
AT ITER 3527 NEW BEST:: SOT 466650 SOS 251473 HAS SOPS 251473 HAS SOUS 105754 HAS SOUPS 105754 WITH SCORE 106005.473
AT ITER 3535 NEW BEST:: SOT 466550 SOS 251373 HAS SOPS 251373 HAS SOUS 105654 HAS SOUPS 105654 WITH SCORE 105905.373
AT ITER 3537 NEW BEST:: SOT 466550 SOS 252804 HAS SOPS 252804 HAS SOUS 105382 HAS SOUPS 105382 WITH SCORE 105634.804
AT ITER 3553 NEW BEST:: SOT 466538 SOS 252792 HAS SOPS 252792 HAS SOUS 105370 HAS SOUPS 105370 WITH SCORE 105622.792
AT ITER 3580 NEW BEST:: SOT 466500 SOS 252754 HAS SOPS 252754 HAS SOUS 105313 HAS SOUPS 105313 WITH SCORE 105565.754
AT ITER 3604 NEW BEST:: SOT 466497 SOS 252751 HAS SOPS 252751 HAS SOUS 105310 HAS SOUPS 105310 WITH SCORE 105562.751
AT ITER 3683 NEW BEST:: SOT 466435 SOS 252689 HAS SOPS 252689 HAS SOUS 105241 HAS SOUPS 105241 WITH SCORE 105493.689
AT ITER 3706 NEW BEST:: SOT 466405 SOS 252688 HAS SOPS 252688 HAS SOUS 105224 HAS SOUPS 105224 WITH SCORE 105476.688
AT ITER 3712 NEW BEST:: SOT 466405 SOS 252656 HAS SOPS 252656 HAS SOUS 105192 HAS SOUPS 105192 WITH SCORE 105444.656
AT ITER 3713 NEW BEST:: SOT 466478 SOS 252139 HAS SOPS 252139 HAS SOUS 105119 HAS SOUPS 105119 WITH SCORE 105371.139
AT ITER 3717 NEW BEST:: SOT 466441 SOS 252060 HAS SOPS 252060 HAS SOUS 105003 HAS SOUPS 105003 WITH SCORE 105255.06
AT ITER 3728 NEW BEST:: SOT 466380 SOS 251816 HAS SOPS 251816 HAS SOUS 104942 HAS SOUPS 104942 WITH SCORE 105193.816
AT ITER 3745 NEW BEST:: SOT 466380 SOS 251473 HAS SOPS 251473 HAS SOUS 104942 HAS SOUPS 104942 WITH SCORE 105193.473
AT ITER 3767 NEW BEST:: SOT 466379 SOS 251472 HAS SOPS 251472 HAS SOUS 104941 HAS SOUPS 104941 WITH SCORE 105192.472
AT ITER 3782 NEW BEST:: SOT 466327 SOS 251056 HAS SOPS 251056 HAS SOUS 104525 HAS SOUPS 104525 WITH SCORE 104776.056
AT ITER 3805 NEW BEST:: SOT 465727 SOS 250695 HAS SOPS 250695 HAS SOUS 104221 HAS SOUPS 104221 WITH SCORE 104471.695
AT ITER 3837 NEW BEST:: SOT 465727 SOS 250664 HAS SOPS 250664 HAS SOUS 104190 HAS SOUPS 104190 WITH SCORE 104440.664
AT ITER 3843 NEW BEST:: SOT 465626 SOS 250650 HAS SOPS 250650 HAS SOUS 103986 HAS SOUPS 103986 WITH SCORE 104236.65
AT ITER 3850 NEW BEST:: SOT 465685 SOS 250676 HAS SOPS 250676 HAS SOUS 103818 HAS SOUPS 103818 WITH SCORE 104068.676
AT ITER 3870 NEW BEST:: SOT 465633 SOS 250324 HAS SOPS 250324 HAS SOUS 103776 HAS SOUPS 103776 WITH SCORE 104026.324
AT ITER 3873 NEW BEST:: SOT 465534 SOS 250027 HAS SOPS 250027 HAS SOUS 103578 HAS SOUPS 103578 WITH SCORE 103828.027
AT ITER 3896 NEW BEST:: SOT 465341 SOS 249948 HAS SOPS 249948 HAS SOUS 103452 HAS SOUPS 103452 WITH SCORE 103701.948
AT ITER 3906 NEW BEST:: SOT 465294 SOS 249901 HAS SOPS 249901 HAS SOUS 103405 HAS SOUPS 103405 WITH SCORE 103654.901
AT ITER 3913 NEW BEST:: SOT 465278 SOS 249872 HAS SOPS 249872 HAS SOUS 103363 HAS SOUPS 103363 WITH SCORE 103612.872
AT ITER 3924 NEW BEST:: SOT 465278 SOS 249767 HAS SOPS 249767 HAS SOUS 103348 HAS SOUPS 103348 WITH SCORE 103597.767
AT ITER 3934 NEW BEST:: SOT 465245 SOS 249734 HAS SOPS 249734 HAS SOUS 103315 HAS SOUPS 103315 WITH SCORE 103564.734
AT ITER 3957 NEW BEST:: SOT 465249 SOS 249744 HAS SOPS 249744 HAS SOUS 103309 HAS SOUPS 103309 WITH SCORE 103558.744
AT ITER 3962 NEW BEST:: SOT 465338 SOS 249852 HAS SOPS 249852 HAS SOUS 103223 HAS SOUPS 103223 WITH SCORE 103472.852
AT ITER 4008 NEW BEST:: SOT 465318 SOS 249832 HAS SOPS 249832 HAS SOUS 103203 HAS SOUPS 103203 WITH SCORE 103452.832
AT ITER 4011 NEW BEST:: SOT 465307 SOS 249755 HAS SOPS 249755 HAS SOUS 103192 HAS SOUPS 103192 WITH SCORE 103441.755
AT ITER 4014 NEW BEST:: SOT 465307 SOS 249752 HAS SOPS 249752 HAS SOUS 103189 HAS SOUPS 103189 WITH SCORE 103438.752
AT ITER 4046 NEW BEST:: SOT 465283 SOS 249712 HAS SOPS 249712 HAS SOUS 103149 HAS SOUPS 103149 WITH SCORE 103398.712
AT ITER 4056 NEW BEST:: SOT 465280 SOS 249709 HAS SOPS 249709 HAS SOUS 103146 HAS SOUPS 103146 WITH SCORE 103395.709
AT ITER 4067 NEW BEST:: SOT 465213 SOS 249575 HAS SOPS 249575 HAS SOUS 103062 HAS SOUPS 103062 WITH SCORE 103311.575
AT ITER 4075 NEW BEST:: SOT 465149 SOS 249511 HAS SOPS 249511 HAS SOUS 103049 HAS SOUPS 103049 WITH SCORE 103298.511
AT ITER 4081 NEW BEST:: SOT 465127 SOS 249480 HAS SOPS 249480 HAS SOUS 103018 HAS SOUPS 103018 WITH SCORE 103267.48
AT ITER 4129 NEW BEST:: SOT 465057 SOS 249410 HAS SOPS 249410 HAS SOUS 102930 HAS SOUPS 102930 WITH SCORE 103179.41
AT ITER 4141 NEW BEST:: SOT 465044 SOS 249397 HAS SOPS 249397 HAS SOUS 102904 HAS SOUPS 102904 WITH SCORE 103153.397
AT ITER 4145 NEW BEST:: SOT 465043 SOS 249396 HAS SOPS 249396 HAS SOUS 102903 HAS SOUPS 102903 WITH SCORE 103152.396
AT ITER 4175 NEW BEST:: SOT 465060 SOS 249394 HAS SOPS 249394 HAS SOUS 102901 HAS SOUPS 102901 WITH SCORE 103150.394
AT ITER 4182 NEW BEST:: SOT 464758 SOS 249659 HAS SOPS 249659 HAS SOUS 102746 HAS SOUPS 102746 WITH SCORE 102995.659
AT ITER 4191 NEW BEST:: SOT 464716 SOS 249617 HAS SOPS 249617 HAS SOUS 102704 HAS SOUPS 102704 WITH SCORE 102953.617
AT ITER 4197 NEW BEST:: SOT 464401 SOS 249590 HAS SOPS 249590 HAS SOUS 102677 HAS SOUPS 102677 WITH SCORE 102926.59
AT ITER 4201 NEW BEST:: SOT 464457 SOS 249465 HAS SOPS 249465 HAS SOUS 102552 HAS SOUPS 102552 WITH SCORE 102801.465
AT ITER 4206 NEW BEST:: SOT 464457 SOS 249061 HAS SOPS 249061 HAS SOUS 102350 HAS SOUPS 102350 WITH SCORE 102599.061
AT ITER 4233 NEW BEST:: SOT 464457 SOS 248658 HAS SOPS 248658 HAS SOUS 102316 HAS SOUPS 102316 WITH SCORE 102564.658
AT ITER 4244 NEW BEST:: SOT 464158 SOS 247865 HAS SOPS 247865 HAS SOUS 101523 HAS SOUPS 101523 WITH SCORE 101770.865
AT ITER 4264 NEW BEST:: SOT 464039 SOS 247655 HAS SOPS 247655 HAS SOUS 101350 HAS SOUPS 101350 WITH SCORE 101597.655
AT ITER 4344 NEW BEST:: SOT 464039 SOS 248249 HAS SOPS 248249 HAS SOUS 101349 HAS SOUPS 101349 WITH SCORE 101597.249
AT ITER 4347 NEW BEST:: SOT 464008 SOS 248218 HAS SOPS 248218 HAS SOUS 101349 HAS SOUPS 101349 WITH SCORE 101597.218
AT ITER 4362 NEW BEST:: SOT 463964 SOS 248215 HAS SOPS 248215 HAS SOUS 101346 HAS SOUPS 101346 WITH SCORE 101594.215
AT ITER 4366 NEW BEST:: SOT 463964 SOS 247973 HAS SOPS 247973 HAS SOUS 101341 HAS SOUPS 101341 WITH SCORE 101588.973
AT ITER 4369 NEW BEST:: SOT 463940 SOS 247951 HAS SOPS 247951 HAS SOUS 101319 HAS SOUPS 101319 WITH SCORE 101566.951
AT ITER 4373 NEW BEST:: SOT 463937 SOS 247948 HAS SOPS 247948 HAS SOUS 101313 HAS SOUPS 101313 WITH SCORE 101560.948
AT ITER 4390 NEW BEST:: SOT 463909 SOS 247920 HAS SOPS 247920 HAS SOUS 101229 HAS SOUPS 101229 WITH SCORE 101476.92
AT ITER 4407 NEW BEST:: SOT 463909 SOS 247816 HAS SOPS 247816 HAS SOUS 101132 HAS SOUPS 101132 WITH SCORE 101379.816
AT ITER 4408 NEW BEST:: SOT 463907 SOS 247740 HAS SOPS 247740 HAS SOUS 101124 HAS SOUPS 101124 WITH SCORE 101371.74
AT ITER 4410 NEW BEST:: SOT 463718 SOS 247588 HAS SOPS 247588 HAS SOUS 100979 HAS SOUPS 100979 WITH SCORE 101226.588
AT ITER 4413 NEW BEST:: SOT 463718 SOS 247582 HAS SOPS 247582 HAS SOUS 100978 HAS SOUPS 100978 WITH SCORE 101225.582
AT ITER 4421 NEW BEST:: SOT 463693 SOS 247557 HAS SOPS 247557 HAS SOUS 100953 HAS SOUPS 100953 WITH SCORE 101200.557
AT ITER 4442 NEW BEST:: SOT 463707 SOS 247589 HAS SOPS 247589 HAS SOUS 100948 HAS SOUPS 100948 WITH SCORE 101195.589
AT ITER 4443 NEW BEST:: SOT 463700 SOS 247540 HAS SOPS 247540 HAS SOUS 100899 HAS SOUPS 100899 WITH SCORE 101146.54
AT ITER 4464 NEW BEST:: SOT 463620 SOS 247408 HAS SOPS 247408 HAS SOUS 100863 HAS SOUPS 100863 WITH SCORE 101110.408
AT ITER 4465 NEW BEST:: SOT 463620 SOS 246679 HAS SOPS 246679 HAS SOUS 100766 HAS SOUPS 100766 WITH SCORE 101012.679
AT ITER 4488 NEW BEST:: SOT 463619 SOS 246685 HAS SOPS 246685 HAS SOUS 100762 HAS SOUPS 100762 WITH SCORE 101008.685
AT ITER 4511 NEW BEST:: SOT 463506 SOS 246570 HAS SOPS 246570 HAS SOUS 100647 HAS SOUPS 100647 WITH SCORE 100893.57
AT ITER 4514 NEW BEST:: SOT 463507 SOS 246478 HAS SOPS 246478 HAS SOUS 100555 HAS SOUPS 100555 WITH SCORE 100801.478
AT ITER 4533 NEW BEST:: SOT 463507 SOS 246329 HAS SOPS 246329 HAS SOUS 100555 HAS SOUPS 100555 WITH SCORE 100801.329
AT ITER 4571 NEW BEST:: SOT 463450 SOS 246103 HAS SOPS 246103 HAS SOUS 100272 HAS SOUPS 100272 WITH SCORE 100518.103
AT ITER 4573 NEW BEST:: SOT 463384 SOS 246068 HAS SOPS 246068 HAS SOUS 100272 HAS SOUPS 100272 WITH SCORE 100518.068
AT ITER 4591 NEW BEST:: SOT 463371 SOS 246045 HAS SOPS 246045 HAS SOUS 100226 HAS SOUPS 100226 WITH SCORE 100472.045
AT ITER 4594 NEW BEST:: SOT 463359 SOS 246033 HAS SOPS 246033 HAS SOUS 100209 HAS SOUPS 100209 WITH SCORE 100455.033
AT ITER 4602 NEW BEST:: SOT 463213 SOS 245887 HAS SOPS 245887 HAS SOUS 100100 HAS SOUPS 100100 WITH SCORE 100345.887
AT ITER 4617 NEW BEST:: SOT 463164 SOS 245919 HAS SOPS 245919 HAS SOUS 99803 HAS SOUPS 99803 WITH SCORE 100048.919
AT ITER 4636 NEW BEST:: SOT 463164 SOS 245025 HAS SOPS 245025 HAS SOUS 99751 HAS SOUPS 99751 WITH SCORE 99996.025
AT ITER 4646 NEW BEST:: SOT 463065 SOS 244728 HAS SOPS 244728 HAS SOUS 99594 HAS SOUPS 99594 WITH SCORE 99838.728
AT ITER 4650 NEW BEST:: SOT 463030 SOS 244693 HAS SOPS 244693 HAS SOUS 99559 HAS SOUPS 99559 WITH SCORE 99803.693
AT ITER 4663 NEW BEST:: SOT 463018 SOS 244681 HAS SOPS 244681 HAS SOUS 99547 HAS SOUPS 99547 WITH SCORE 99791.681
AT ITER 4682 NEW BEST:: SOT 463102 SOS 244389 HAS SOPS 244389 HAS SOUS 99274 HAS SOUPS 99274 WITH SCORE 99518.389
AT ITER 4684 NEW BEST:: SOT 463088 SOS 244375 HAS SOPS 244375 HAS SOUS 99260 HAS SOUPS 99260 WITH SCORE 99504.375
AT ITER 4697 NEW BEST:: SOT 463382 SOS 244525 HAS SOPS 244525 HAS SOUS 98984 HAS SOUPS 98984 WITH SCORE 99228.525
AT ITER 4708 NEW BEST:: SOT 463351 SOS 244488 HAS SOPS 244488 HAS SOUS 98932 HAS SOUPS 98932 WITH SCORE 99176.488
AT ITER 4726 NEW BEST:: SOT 463264 SOS 244401 HAS SOPS 244401 HAS SOUS 98687 HAS SOUPS 98687 WITH SCORE 98931.401
AT ITER 4734 NEW BEST:: SOT 463142 SOS 244195 HAS SOPS 244195 HAS SOUS 98431 HAS SOUPS 98431 WITH SCORE 98675.195
AT ITER 4735 NEW BEST:: SOT 463044 SOS 244097 HAS SOPS 244097 HAS SOUS 98281 HAS SOUPS 98281 WITH SCORE 98525.097
AT ITER 4765 NEW BEST:: SOT 462929 SOS 241945 HAS SOPS 241945 HAS SOUS 98013 HAS SOUPS 98013 WITH SCORE 98254.945
AT ITER 4800 NEW BEST:: SOT 462734 SOS 241585 HAS SOPS 241585 HAS SOUS 97744 HAS SOUPS 97744 WITH SCORE 97985.585
AT ITER 4805 NEW BEST:: SOT 462707 SOS 241413 HAS SOPS 241413 HAS SOUS 97609 HAS SOUPS 97609 WITH SCORE 97850.413
AT ITER 4815 NEW BEST:: SOT 462716 SOS 241367 HAS SOPS 241367 HAS SOUS 97563 HAS SOUPS 97563 WITH SCORE 97804.367
AT ITER 4822 NEW BEST:: SOT 462684 SOS 241324 HAS SOPS 241324 HAS SOUS 97520 HAS SOUPS 97520 WITH SCORE 97761.324
AT ITER 4830 NEW BEST:: SOT 462679 SOS 241314 HAS SOPS 241314 HAS SOUS 97510 HAS SOUPS 97510 WITH SCORE 97751.314
AT ITER 4850 NEW BEST:: SOT 462671 SOS 241306 HAS SOPS 241306 HAS SOUS 97510 HAS SOUPS 97510 WITH SCORE 97751.306
AT ITER 4852 NEW BEST:: SOT 462609 SOS 241132 HAS SOPS 241132 HAS SOUS 97420 HAS SOUPS 97420 WITH SCORE 97661.132
AT ITER 4861 NEW BEST:: SOT 462579 SOS 241036 HAS SOPS 241036 HAS SOUS 97324 HAS SOUPS 97324 WITH SCORE 97565.036
AT ITER 4862 NEW BEST:: SOT 462611 SOS 240925 HAS SOPS 240925 HAS SOUS 97281 HAS SOUPS 97281 WITH SCORE 97521.925
AT ITER 4863 NEW BEST:: SOT 462611 SOS 240925 HAS SOPS 240925 HAS SOUS 97265 HAS SOUPS 97265 WITH SCORE 97505.925
AT ITER 4864 NEW BEST:: SOT 462603 SOS 240909 HAS SOPS 240909 HAS SOUS 97249 HAS SOUPS 97249 WITH SCORE 97489.909
AT ITER 4883 NEW BEST:: SOT 462549 SOS 240764 HAS SOPS 240764 HAS SOUS 97246 HAS SOUPS 97246 WITH SCORE 97486.764
AT ITER 4918 NEW BEST:: SOT 462338 SOS 240268 HAS SOPS 240268 HAS SOUS 97174 HAS SOUPS 97174 WITH SCORE 97414.268
AT ITER 4924 NEW BEST:: SOT 462328 SOS 240240 HAS SOPS 240240 HAS SOUS 97154 HAS SOUPS 97154 WITH SCORE 97394.24
AT ITER 4943 NEW BEST:: SOT 462540 SOS 240452 HAS SOPS 240452 HAS SOUS 97006 HAS SOUPS 97006 WITH SCORE 97246.452
AT ITER 4964 NEW BEST:: SOT 462540 SOS 240452 HAS SOPS 240452 HAS SOUS 96949 HAS SOUPS 96949 WITH SCORE 97189.452
AT ITER 4969 NEW BEST:: SOT 462429 SOS 240443 HAS SOPS 240443 HAS SOUS 96709 HAS SOUPS 96709 WITH SCORE 96949.443
AT ITER 4972 NEW BEST:: SOT 462409 SOS 240423 HAS SOPS 240423 HAS SOUS 96701 HAS SOUPS 96701 WITH SCORE 96941.423
AT ITER 5000 NEW BEST:: SOT 462409 SOS 240422 HAS SOPS 240422 HAS SOUS 96700 HAS SOUPS 96700 WITH SCORE 96940.422
AT ITER 5012 NEW BEST:: SOT 462360 SOS 240313 HAS SOPS 240313 HAS SOUS 96591 HAS SOUPS 96591 WITH SCORE 96831.313
AT ITER 5017 NEW BEST:: SOT 462355 SOS 240308 HAS SOPS 240308 HAS SOUS 96576 HAS SOUPS 96576 WITH SCORE 96816.308
AT ITER 5035 NEW BEST:: SOT 462304 SOS 240227 HAS SOPS 240227 HAS SOUS 96540 HAS SOUPS 96540 WITH SCORE 96780.227
AT ITER 5047 NEW BEST:: SOT 462291 SOS 240214 HAS SOPS 240214 HAS SOUS 96538 HAS SOUPS 96538 WITH SCORE 96778.214
AT ITER 5051 NEW BEST:: SOT 462224 SOS 240147 HAS SOPS 240147 HAS SOUS 96471 HAS SOUPS 96471 WITH SCORE 96711.147
AT ITER 5073 NEW BEST:: SOT 462254 SOS 240102 HAS SOPS 240102 HAS SOUS 96464 HAS SOUPS 96464 WITH SCORE 96704.102
AT ITER 5074 NEW BEST:: SOT 462233 SOS 240060 HAS SOPS 240060 HAS SOUS 96422 HAS SOUPS 96422 WITH SCORE 96662.06
AT ITER 5075 NEW BEST:: SOT 462120 SOS 239572 HAS SOPS 239572 HAS SOUS 96309 HAS SOUPS 96309 WITH SCORE 96548.572
AT ITER 5084 NEW BEST:: SOT 462070 SOS 239522 HAS SOPS 239522 HAS SOUS 96259 HAS SOUPS 96259 WITH SCORE 96498.522
AT ITER 5094 NEW BEST:: SOT 462063 SOS 239515 HAS SOPS 239515 HAS SOUS 96252 HAS SOUPS 96252 WITH SCORE 96491.515
AT ITER 5114 NEW BEST:: SOT 461895 SOS 239239 HAS SOPS 239239 HAS SOUS 95976 HAS SOUPS 95976 WITH SCORE 96215.239
AT ITER 5129 NEW BEST:: SOT 461895 SOS 239204 HAS SOPS 239204 HAS SOUS 95877 HAS SOUPS 95877 WITH SCORE 96116.204
AT ITER 5145 NEW BEST:: SOT 461831 SOS 238974 HAS SOPS 238974 HAS SOUS 95804 HAS SOUPS 95804 WITH SCORE 96042.974
AT ITER 5152 NEW BEST:: SOT 461835 SOS 238844 HAS SOPS 238844 HAS SOUS 95773 HAS SOUPS 95773 WITH SCORE 96011.844
AT ITER 5155 NEW BEST:: SOT 461835 SOS 238844 HAS SOPS 238844 HAS SOUS 95732 HAS SOUPS 95732 WITH SCORE 95970.844
AT ITER 5197 NEW BEST:: SOT 461834 SOS 238746 HAS SOPS 238746 HAS SOUS 95730 HAS SOUPS 95730 WITH SCORE 95968.746
AT ITER 5198 NEW BEST:: SOT 461643 SOS 238387 HAS SOPS 238387 HAS SOUS 95579 HAS SOUPS 95579 WITH SCORE 95817.387
AT ITER 5240 NEW BEST:: SOT 461640 SOS 238326 HAS SOPS 238326 HAS SOUS 95518 HAS SOUPS 95518 WITH SCORE 95756.326
AT ITER 5249 NEW BEST:: SOT 461574 SOS 238151 HAS SOPS 238151 HAS SOUS 95394 HAS SOUPS 95394 WITH SCORE 95632.151
AT ITER 5253 NEW BEST:: SOT 461447 SOS 238065 HAS SOPS 238065 HAS SOUS 95382 HAS SOUPS 95382 WITH SCORE 95620.065
AT ITER 5270 NEW BEST:: SOT 461441 SOS 238059 HAS SOPS 238059 HAS SOUS 95376 HAS SOUPS 95376 WITH SCORE 95614.059
AT ITER 5282 NEW BEST:: SOT 461413 SOS 237988 HAS SOPS 237988 HAS SOUS 95320 HAS SOUPS 95320 WITH SCORE 95557.988
AT ITER 5318 NEW BEST:: SOT 461279 SOS 237575 HAS SOPS 237575 HAS SOUS 95119 HAS SOUPS 95119 WITH SCORE 95356.575
AT ITER 5320 NEW BEST:: SOT 461223 SOS 237573 HAS SOPS 237573 HAS SOUS 95118 HAS SOUPS 95118 WITH SCORE 95355.573
AT ITER 5409 NEW BEST:: SOT 461243 SOS 237613 HAS SOPS 237613 HAS SOUS 94732 HAS SOUPS 94732 WITH SCORE 94969.613
AT ITER 5429 NEW BEST:: SOT 461147 SOS 237931 HAS SOPS 237931 HAS SOUS 94636 HAS SOUPS 94636 WITH SCORE 94873.931
AT ITER 5435 NEW BEST:: SOT 461069 SOS 237853 HAS SOPS 237853 HAS SOUS 94559 HAS SOUPS 94559 WITH SCORE 94796.853
AT ITER 5456 NEW BEST:: SOT 460849 SOS 237633 HAS SOPS 237633 HAS SOUS 94339 HAS SOUPS 94339 WITH SCORE 94576.633
AT ITER 5467 NEW BEST:: SOT 460968 SOS 237727 HAS SOPS 237727 HAS SOUS 94288 HAS SOUPS 94288 WITH SCORE 94525.727
AT ITER 5480 NEW BEST:: SOT 460872 SOS 237555 HAS SOPS 237555 HAS SOUS 94172 HAS SOUPS 94172 WITH SCORE 94409.555
AT ITER 5486 NEW BEST:: SOT 460871 SOS 237554 HAS SOPS 237554 HAS SOUS 94171 HAS SOUPS 94171 WITH SCORE 94408.554
AT ITER 5519 NEW BEST:: SOT 460957 SOS 237545 HAS SOPS 237545 HAS SOUS 94153 HAS SOUPS 94153 WITH SCORE 94390.545
AT ITER 5528 NEW BEST:: SOT 460940 SOS 237528 HAS SOPS 237528 HAS SOUS 94125 HAS SOUPS 94125 WITH SCORE 94362.528
AT ITER 5562 NEW BEST:: SOT 460911 SOS 237515 HAS SOPS 237515 HAS SOUS 94112 HAS SOUPS 94112 WITH SCORE 94349.515
AT ITER 5563 NEW BEST:: SOT 460848 SOS 237389 HAS SOPS 237389 HAS SOUS 93986 HAS SOUPS 93986 WITH SCORE 94223.389
AT ITER 5581 NEW BEST:: SOT 460851 SOS 237380 HAS SOPS 237380 HAS SOUS 93977 HAS SOUPS 93977 WITH SCORE 94214.38
AT ITER 5595 NEW BEST:: SOT 460851 SOS 237355 HAS SOPS 237355 HAS SOUS 93952 HAS SOUPS 93952 WITH SCORE 94189.355
AT ITER 5604 NEW BEST:: SOT 460859 SOS 237356 HAS SOPS 237356 HAS SOUS 93925 HAS SOUPS 93925 WITH SCORE 94162.356
AT ITER 5637 NEW BEST:: SOT 460853 SOS 237332 HAS SOPS 237332 HAS SOUS 93919 HAS SOUPS 93919 WITH SCORE 94156.332
AT ITER 5659 NEW BEST:: SOT 460827 SOS 237306 HAS SOPS 237306 HAS SOUS 93901 HAS SOUPS 93901 WITH SCORE 94138.306
AT ITER 5660 NEW BEST:: SOT 460827 SOS 237250 HAS SOPS 237250 HAS SOUS 93894 HAS SOUPS 93894 WITH SCORE 94131.25
AT ITER 5671 NEW BEST:: SOT 460789 SOS 237054 HAS SOPS 237054 HAS SOUS 93711 HAS SOUPS 93711 WITH SCORE 93948.054
AT ITER 5678 NEW BEST:: SOT 460674 SOS 236978 HAS SOPS 236978 HAS SOUS 93650 HAS SOUPS 93650 WITH SCORE 93886.978
AT ITER 5693 NEW BEST:: SOT 460674 SOS 236976 HAS SOPS 236976 HAS SOUS 93650 HAS SOUPS 93650 WITH SCORE 93886.976
AT ITER 5709 NEW BEST:: SOT 460664 SOS 236966 HAS SOPS 236966 HAS SOUS 93638 HAS SOUPS 93638 WITH SCORE 93874.966
AT ITER 5769 NEW BEST:: SOT 460664 SOS 236958 HAS SOPS 236958 HAS SOUS 93637 HAS SOUPS 93637 WITH SCORE 93873.958
AT ITER 5791 NEW BEST:: SOT 460613 SOS 236856 HAS SOPS 236856 HAS SOUS 93535 HAS SOUPS 93535 WITH SCORE 93771.856
AT ITER 5792 NEW BEST:: SOT 460595 SOS 236820 HAS SOPS 236820 HAS SOUS 93499 HAS SOUPS 93499 WITH SCORE 93735.82
AT ITER 5797 NEW BEST:: SOT 460425 SOS 236387 HAS SOPS 236387 HAS SOUS 93241 HAS SOUPS 93241 WITH SCORE 93477.387
AT ITER 5850 NEW BEST:: SOT 460425 SOS 236103 HAS SOPS 236103 HAS SOUS 93099 HAS SOUPS 93099 WITH SCORE 93335.103
AT ITER 5892 NEW BEST:: SOT 460360 SOS 236250 HAS SOPS 236250 HAS SOUS 93066 HAS SOUPS 93066 WITH SCORE 93302.25
AT ITER 5900 NEW BEST:: SOT 460360 SOS 236240 HAS SOPS 236240 HAS SOUS 93066 HAS SOUPS 93066 WITH SCORE 93302.24
AT ITER 5904 NEW BEST:: SOT 460352 SOS 236236 HAS SOPS 236236 HAS SOUS 93062 HAS SOUPS 93062 WITH SCORE 93298.236
AT ITER 5935 NEW BEST:: SOT 460374 SOS 236214 HAS SOPS 236214 HAS SOUS 93062 HAS SOUPS 93062 WITH SCORE 93298.214
AT ITER 5942 NEW BEST:: SOT 460266 SOS 236068 HAS SOPS 236068 HAS SOUS 92916 HAS SOUPS 92916 WITH SCORE 93152.068
AT ITER 5953 NEW BEST:: SOT 460265 SOS 236067 HAS SOPS 236067 HAS SOUS 92913 HAS SOUPS 92913 WITH SCORE 93149.067
AT ITER 5982 NEW BEST:: SOT 460265 SOS 235779 HAS SOPS 235779 HAS SOUS 92913 HAS SOUPS 92913 WITH SCORE 93148.779
AT ITER 5995 NEW BEST:: SOT 460177 SOS 235702 HAS SOPS 235702 HAS SOUS 92903 HAS SOUPS 92903 WITH SCORE 93138.702
AT ITER 6025 NEW BEST:: SOT 460081 SOS 235428 HAS SOPS 235428 HAS SOUS 92553 HAS SOUPS 92553 WITH SCORE 92788.428
AT ITER 6026 NEW BEST:: SOT 460180 SOS 235503 HAS SOPS 235503 HAS SOUS 92543 HAS SOUPS 92543 WITH SCORE 92778.503
AT ITER 6032 NEW BEST:: SOT 460166 SOS 234845 HAS SOPS 234845 HAS SOUS 92515 HAS SOUPS 92515 WITH SCORE 92749.845
AT ITER 6036 NEW BEST:: SOT 460067 SOS 234674 HAS SOPS 234674 HAS SOUS 92429 HAS SOUPS 92429 WITH SCORE 92663.674
AT ITER 6038 NEW BEST:: SOT 460067 SOS 234668 HAS SOPS 234668 HAS SOUS 92423 HAS SOUPS 92423 WITH SCORE 92657.668
AT ITER 6043 NEW BEST:: SOT 460053 SOS 234663 HAS SOPS 234663 HAS SOUS 92418 HAS SOUPS 92418 WITH SCORE 92652.663
AT ITER 6051 NEW BEST:: SOT 460066 SOS 234598 HAS SOPS 234598 HAS SOUS 92315 HAS SOUPS 92315 WITH SCORE 92549.598
AT ITER 6054 NEW BEST:: SOT 460046 SOS 234547 HAS SOPS 234547 HAS SOUS 92296 HAS SOUPS 92296 WITH SCORE 92530.547
AT ITER 6059 NEW BEST:: SOT 460044 SOS 234543 HAS SOPS 234543 HAS SOUS 92292 HAS SOUPS 92292 WITH SCORE 92526.543
AT ITER 6069 NEW BEST:: SOT 459808 SOS 234289 HAS SOPS 234289 HAS SOUS 92047 HAS SOUPS 92047 WITH SCORE 92281.289
AT ITER 6127 NEW BEST:: SOT 459808 SOS 234278 HAS SOPS 234278 HAS SOUS 92036 HAS SOUPS 92036 WITH SCORE 92270.278
AT ITER 6136 NEW BEST:: SOT 459775 SOS 234212 HAS SOPS 234212 HAS SOUS 91970 HAS SOUPS 91970 WITH SCORE 92204.212
AT ITER 6142 NEW BEST:: SOT 459917 SOS 234209 HAS SOPS 234209 HAS SOUS 91967 HAS SOUPS 91967 WITH SCORE 92201.209
AT ITER 6181 NEW BEST:: SOT 459913 SOS 234205 HAS SOPS 234205 HAS SOUS 91963 HAS SOUPS 91963 WITH SCORE 92197.205
AT ITER 6267 NEW BEST:: SOT 460317 SOS 234041 HAS SOPS 234041 HAS SOUS 91799 HAS SOUPS 91799 WITH SCORE 92033.041
AT ITER 6277 NEW BEST:: SOT 460311 SOS 234035 HAS SOPS 234035 HAS SOUS 91793 HAS SOUPS 91793 WITH SCORE 92027.035
AT ITER 6353 NEW BEST:: SOT 460300 SOS 233874 HAS SOPS 233874 HAS SOUS 91747 HAS SOUPS 91747 WITH SCORE 91980.874
AT ITER 6354 NEW BEST:: SOT 460234 SOS 233830 HAS SOPS 233830 HAS SOUS 91692 HAS SOUPS 91692 WITH SCORE 91925.83
AT ITER 6355 NEW BEST:: SOT 460200 SOS 233796 HAS SOPS 233796 HAS SOUS 91624 HAS SOUPS 91624 WITH SCORE 91857.796
AT ITER 6371 NEW BEST:: SOT 460200 SOS 233782 HAS SOPS 233782 HAS SOUS 91624 HAS SOUPS 91624 WITH SCORE 91857.782
AT ITER 6383 NEW BEST:: SOT 460156 SOS 233694 HAS SOPS 233694 HAS SOUS 91580 HAS SOUPS 91580 WITH SCORE 91813.694
AT ITER 6398 NEW BEST:: SOT 460048 SOS 233721 HAS SOPS 233721 HAS SOUS 91415 HAS SOUPS 91415 WITH SCORE 91648.721
AT ITER 6419 NEW BEST:: SOT 460048 SOS 233655 HAS SOPS 233655 HAS SOUS 91415 HAS SOUPS 91415 WITH SCORE 91648.655
AT ITER 6431 NEW BEST:: SOT 460048 SOS 233668 HAS SOPS 233668 HAS SOUS 91334 HAS SOUPS 91334 WITH SCORE 91567.668
AT ITER 6495 NEW BEST:: SOT 460033 SOS 233652 HAS SOPS 233652 HAS SOUS 91332 HAS SOUPS 91332 WITH SCORE 91565.652
AT ITER 6497 NEW BEST:: SOT 460024 SOS 233778 HAS SOPS 233778 HAS SOUS 91310 HAS SOUPS 91310 WITH SCORE 91543.778
AT ITER 6576 NEW BEST:: SOT 460054 SOS 233808 HAS SOPS 233808 HAS SOUS 91274 HAS SOUPS 91274 WITH SCORE 91507.808
AT ITER 6578 NEW BEST:: SOT 460005 SOS 233779 HAS SOPS 233779 HAS SOUS 91268 HAS SOUPS 91268 WITH SCORE 91501.779
AT ITER 6612 NEW BEST:: SOT 460004 SOS 233773 HAS SOPS 233773 HAS SOUS 91264 HAS SOUPS 91264 WITH SCORE 91497.773
AT ITER 6626 NEW BEST:: SOT 460004 SOS 233757 HAS SOPS 233757 HAS SOUS 91256 HAS SOUPS 91256 WITH SCORE 91489.757
AT ITER 6628 NEW BEST:: SOT 459849 SOS 233744 HAS SOPS 233744 HAS SOUS 91243 HAS SOUPS 91243 WITH SCORE 91476.744
AT ITER 6706 NEW BEST:: SOT 459808 SOS 233703 HAS SOPS 233703 HAS SOUS 91202 HAS SOUPS 91202 WITH SCORE 91435.703
AT ITER 6717 NEW BEST:: SOT 459812 SOS 233789 HAS SOPS 233789 HAS SOUS 91185 HAS SOUPS 91185 WITH SCORE 91418.789
AT ITER 6725 NEW BEST:: SOT 459789 SOS 233732 HAS SOPS 233732 HAS SOUS 91145 HAS SOUPS 91145 WITH SCORE 91378.732
AT ITER 6730 NEW BEST:: SOT 459750 SOS 233654 HAS SOPS 233654 HAS SOUS 91067 HAS SOUPS 91067 WITH SCORE 91300.654
AT ITER 6735 NEW BEST:: SOT 459750 SOS 233666 HAS SOPS 233666 HAS SOUS 91061 HAS SOUPS 91061 WITH SCORE 91294.666
AT ITER 6760 NEW BEST:: SOT 459808 SOS 233460 HAS SOPS 233460 HAS SOUS 90957 HAS SOUPS 90957 WITH SCORE 91190.46
AT ITER 6764 NEW BEST:: SOT 459772 SOS 233268 HAS SOPS 233268 HAS SOUS 90885 HAS SOUPS 90885 WITH SCORE 91118.268
AT ITER 6783 NEW BEST:: SOT 459770 SOS 233266 HAS SOPS 233266 HAS SOUS 90883 HAS SOUPS 90883 WITH SCORE 91116.266
AT ITER 6822 NEW BEST:: SOT 459754 SOS 233093 HAS SOPS 233093 HAS SOUS 90733 HAS SOUPS 90733 WITH SCORE 90966.093
AT ITER 6824 NEW BEST:: SOT 459754 SOS 233047 HAS SOPS 233047 HAS SOUS 90687 HAS SOUPS 90687 WITH SCORE 90920.047
AT ITER 6831 NEW BEST:: SOT 459745 SOS 233011 HAS SOPS 233011 HAS SOUS 90651 HAS SOUPS 90651 WITH SCORE 90884.011
AT ITER 6832 NEW BEST:: SOT 459737 SOS 233003 HAS SOPS 233003 HAS SOUS 90643 HAS SOUPS 90643 WITH SCORE 90876.003
AT ITER 6846 NEW BEST:: SOT 459535 SOS 232844 HAS SOPS 232844 HAS SOUS 90348 HAS SOUPS 90348 WITH SCORE 90580.844
AT ITER 6861 NEW BEST:: SOT 459540 SOS 232849 HAS SOPS 232849 HAS SOUS 90341 HAS SOUPS 90341 WITH SCORE 90573.849
AT ITER 6878 NEW BEST:: SOT 459540 SOS 232843 HAS SOPS 232843 HAS SOUS 90338 HAS SOUPS 90338 WITH SCORE 90570.843
AT ITER 6884 NEW BEST:: SOT 459547 SOS 232664 HAS SOPS 232664 HAS SOUS 90314 HAS SOUPS 90314 WITH SCORE 90546.664
AT ITER 6899 NEW BEST:: SOT 459541 SOS 232658 HAS SOPS 232658 HAS SOUS 90314 HAS SOUPS 90314 WITH SCORE 90546.658
AT ITER 6900 NEW BEST:: SOT 459462 SOS 232580 HAS SOPS 232580 HAS SOUS 90193 HAS SOUPS 90193 WITH SCORE 90425.58
AT ITER 6919 NEW BEST:: SOT 459352 SOS 232501 HAS SOPS 232501 HAS SOUS 89996 HAS SOUPS 89996 WITH SCORE 90228.501
AT ITER 6932 NEW BEST:: SOT 459302 SOS 232471 HAS SOPS 232471 HAS SOUS 89865 HAS SOUPS 89865 WITH SCORE 90097.471
AT ITER 6950 NEW BEST:: SOT 459162 SOS 232331 HAS SOPS 232331 HAS SOUS 89725 HAS SOUPS 89725 WITH SCORE 89957.331
AT ITER 6957 NEW BEST:: SOT 459130 SOS 232299 HAS SOPS 232299 HAS SOUS 89693 HAS SOUPS 89693 WITH SCORE 89925.299
AT ITER 6959 NEW BEST:: SOT 459020 SOS 232282 HAS SOPS 232282 HAS SOUS 89545 HAS SOUPS 89545 WITH SCORE 89777.282
AT ITER 6964 NEW BEST:: SOT 459014 SOS 232360 HAS SOPS 232360 HAS SOUS 89520 HAS SOUPS 89520 WITH SCORE 89752.36
AT ITER 6981 NEW BEST:: SOT 459014 SOS 232161 HAS SOPS 232161 HAS SOUS 89508 HAS SOUPS 89508 WITH SCORE 89740.161
AT ITER 6984 NEW BEST:: SOT 458954 SOS 232081 HAS SOPS 232081 HAS SOUS 89488 HAS SOUPS 89488 WITH SCORE 89720.081
AT ITER 6988 NEW BEST:: SOT 458810 SOS 231560 HAS SOPS 231560 HAS SOUS 89205 HAS SOUPS 89205 WITH SCORE 89436.56
AT ITER 7014 NEW BEST:: SOT 458785 SOS 231553 HAS SOPS 231553 HAS SOUS 89198 HAS SOUPS 89198 WITH SCORE 89429.553
AT ITER 7071 NEW BEST:: SOT 458784 SOS 231552 HAS SOPS 231552 HAS SOUS 89197 HAS SOUPS 89197 WITH SCORE 89428.552
AT ITER 7075 NEW BEST:: SOT 458686 SOS 231506 HAS SOPS 231506 HAS SOUS 89107 HAS SOUPS 89107 WITH SCORE 89338.506
AT ITER 7112 NEW BEST:: SOT 458683 SOS 231346 HAS SOPS 231346 HAS SOUS 89101 HAS SOUPS 89101 WITH SCORE 89332.346
AT ITER 7158 NEW BEST:: SOT 458683 SOS 231346 HAS SOPS 231346 HAS SOUS 89071 HAS SOUPS 89071 WITH SCORE 89302.346
AT ITER 7197 NEW BEST:: SOT 458664 SOS 231329 HAS SOPS 231329 HAS SOUS 89050 HAS SOUPS 89050 WITH SCORE 89281.329
AT ITER 7205 NEW BEST:: SOT 458705 SOS 231284 HAS SOPS 231284 HAS SOUS 89024 HAS SOUPS 89024 WITH SCORE 89255.284
AT ITER 7218 NEW BEST:: SOT 458707 SOS 231291 HAS SOPS 231291 HAS SOUS 89008 HAS SOUPS 89008 WITH SCORE 89239.291
AT ITER 7227 NEW BEST:: SOT 458676 SOS 231238 HAS SOPS 231238 HAS SOUS 88977 HAS SOUPS 88977 WITH SCORE 89208.238
AT ITER 7251 NEW BEST:: SOT 458926 SOS 231482 HAS SOPS 231482 HAS SOUS 88873 HAS SOUPS 88873 WITH SCORE 89104.482
AT ITER 7260 NEW BEST:: SOT 458897 SOS 231453 HAS SOPS 231453 HAS SOUS 88844 HAS SOUPS 88844 WITH SCORE 89075.453
AT ITER 7293 NEW BEST:: SOT 458895 SOS 231449 HAS SOPS 231449 HAS SOUS 88840 HAS SOUPS 88840 WITH SCORE 89071.449
AT ITER 7296 NEW BEST:: SOT 458819 SOS 231347 HAS SOPS 231347 HAS SOUS 88738 HAS SOUPS 88738 WITH SCORE 88969.347
AT ITER 7310 NEW BEST:: SOT 458746 SOS 231247 HAS SOPS 231247 HAS SOUS 88617 HAS SOUPS 88617 WITH SCORE 88848.247
AT ITER 7320 NEW BEST:: SOT 458666 SOS 231223 HAS SOPS 231223 HAS SOUS 88564 HAS SOUPS 88564 WITH SCORE 88795.223
AT ITER 7370 NEW BEST:: SOT 458656 SOS 231120 HAS SOPS 231120 HAS SOUS 88544 HAS SOUPS 88544 WITH SCORE 88775.12
AT ITER 7371 NEW BEST:: SOT 458656 SOS 231106 HAS SOPS 231106 HAS SOUS 88530 HAS SOUPS 88530 WITH SCORE 88761.106
AT ITER 7376 NEW BEST:: SOT 458656 SOS 231511 HAS SOPS 231511 HAS SOUS 88476 HAS SOUPS 88476 WITH SCORE 88707.511
AT ITER 7381 NEW BEST:: SOT 458632 SOS 231487 HAS SOPS 231487 HAS SOUS 88444 HAS SOUPS 88444 WITH SCORE 88675.487
AT ITER 7384 NEW BEST:: SOT 458632 SOS 231457 HAS SOPS 231457 HAS SOUS 88429 HAS SOUPS 88429 WITH SCORE 88660.457
AT ITER 7389 NEW BEST:: SOT 458667 SOS 231507 HAS SOPS 231507 HAS SOUS 88401 HAS SOUPS 88401 WITH SCORE 88632.507
AT ITER 7399 NEW BEST:: SOT 458645 SOS 231375 HAS SOPS 231375 HAS SOUS 88357 HAS SOUPS 88357 WITH SCORE 88588.375
AT ITER 7412 NEW BEST:: SOT 458562 SOS 231158 HAS SOPS 231158 HAS SOUS 88164 HAS SOUPS 88164 WITH SCORE 88395.158
AT ITER 7464 NEW BEST:: SOT 458557 SOS 231153 HAS SOPS 231153 HAS SOUS 88159 HAS SOUPS 88159 WITH SCORE 88390.153
AT ITER 7479 NEW BEST:: SOT 458429 SOS 231011 HAS SOPS 231011 HAS SOUS 88017 HAS SOUPS 88017 WITH SCORE 88248.011
AT ITER 7520 NEW BEST:: SOT 458375 SOS 230977 HAS SOPS 230977 HAS SOUS 87983 HAS SOUPS 87983 WITH SCORE 88213.977
AT ITER 7556 NEW BEST:: SOT 458372 SOS 230971 HAS SOPS 230971 HAS SOUS 87977 HAS SOUPS 87977 WITH SCORE 88207.971
AT ITER 7616 NEW BEST:: SOT 458331 SOS 230715 HAS SOPS 230715 HAS SOUS 87895 HAS SOUPS 87895 WITH SCORE 88125.715
AT ITER 7657 NEW BEST:: SOT 458276 SOS 230584 HAS SOPS 230584 HAS SOUS 87761 HAS SOUPS 87761 WITH SCORE 87991.584
AT ITER 7659 NEW BEST:: SOT 458346 SOS 230550 HAS SOPS 230550 HAS SOUS 87730 HAS SOUPS 87730 WITH SCORE 87960.55
AT ITER 7671 NEW BEST:: SOT 458316 SOS 230500 HAS SOPS 230500 HAS SOUS 87680 HAS SOUPS 87680 WITH SCORE 87910.5
AT ITER 7676 NEW BEST:: SOT 458272 SOS 230456 HAS SOPS 230456 HAS SOUS 87668 HAS SOUPS 87668 WITH SCORE 87898.456
AT ITER 7677 NEW BEST:: SOT 458272 SOS 230447 HAS SOPS 230447 HAS SOUS 87665 HAS SOUPS 87665 WITH SCORE 87895.447
AT ITER 7684 NEW BEST:: SOT 458272 SOS 230420 HAS SOPS 230420 HAS SOUS 87663 HAS SOUPS 87663 WITH SCORE 87893.42
AT ITER 7721 NEW BEST:: SOT 458265 SOS 230516 HAS SOPS 230516 HAS SOUS 87615 HAS SOUPS 87615 WITH SCORE 87845.516
AT ITER 7726 NEW BEST:: SOT 458265 SOS 230501 HAS SOPS 230501 HAS SOUS 87615 HAS SOUPS 87615 WITH SCORE 87845.501
AT ITER 7728 NEW BEST:: SOT 458207 SOS 230256 HAS SOPS 230256 HAS SOUS 87580 HAS SOUPS 87580 WITH SCORE 87810.256
AT ITER 7751 NEW BEST:: SOT 458199 SOS 230111 HAS SOPS 230111 HAS SOUS 87568 HAS SOUPS 87568 WITH SCORE 87798.111
AT ITER 7752 NEW BEST:: SOT 457939 SOS 230009 HAS SOPS 230009 HAS SOUS 87557 HAS SOUPS 87557 WITH SCORE 87787.009
AT ITER 7770 NEW BEST:: SOT 457842 SOS 229715 HAS SOPS 229715 HAS SOUS 87453 HAS SOUPS 87453 WITH SCORE 87682.715
AT ITER 7781 NEW BEST:: SOT 457834 SOS 229707 HAS SOPS 229707 HAS SOUS 87445 HAS SOUPS 87445 WITH SCORE 87674.707
AT ITER 7826 NEW BEST:: SOT 457831 SOS 229685 HAS SOPS 229685 HAS SOUS 87423 HAS SOUPS 87423 WITH SCORE 87652.685
AT ITER 7827 NEW BEST:: SOT 457802 SOS 229639 HAS SOPS 229639 HAS SOUS 87377 HAS SOUPS 87377 WITH SCORE 87606.639
AT ITER 7889 NEW BEST:: SOT 457799 SOS 229633 HAS SOPS 229633 HAS SOUS 87371 HAS SOUPS 87371 WITH SCORE 87600.633
AT ITER 7936 NEW BEST:: SOT 457783 SOS 229580 HAS SOPS 229580 HAS SOUS 87324 HAS SOUPS 87324 WITH SCORE 87553.58
AT ITER 7955 NEW BEST:: SOT 457745 SOS 229452 HAS SOPS 229452 HAS SOUS 87196 HAS SOUPS 87196 WITH SCORE 87425.452
AT ITER 8000 NEW BEST:: SOT 457780 SOS 229375 HAS SOPS 229375 HAS SOUS 87165 HAS SOUPS 87165 WITH SCORE 87394.375
AT ITER 8007 NEW BEST:: SOT 457780 SOS 229361 HAS SOPS 229361 HAS SOUS 87137 HAS SOUPS 87137 WITH SCORE 87366.361
AT ITER 8045 NEW BEST:: SOT 457785 SOS 229335 HAS SOPS 229335 HAS SOUS 87111 HAS SOUPS 87111 WITH SCORE 87340.335
AT ITER 8065 NEW BEST:: SOT 457721 SOS 229266 HAS SOPS 229266 HAS SOUS 87042 HAS SOUPS 87042 WITH SCORE 87271.266
AT ITER 8066 NEW BEST:: SOT 457659 SOS 229204 HAS SOPS 229204 HAS SOUS 86978 HAS SOUPS 86978 WITH SCORE 87207.204
AT ITER 8094 NEW BEST:: SOT 457644 SOS 229189 HAS SOPS 229189 HAS SOUS 86948 HAS SOUPS 86948 WITH SCORE 87177.189
AT ITER 8109 NEW BEST:: SOT 457422 SOS 229184 HAS SOPS 229184 HAS SOUS 86649 HAS SOUPS 86649 WITH SCORE 86878.184
AT ITER 8119 NEW BEST:: SOT 457485 SOS 229135 HAS SOPS 229135 HAS SOUS 86600 HAS SOUPS 86600 WITH SCORE 86829.135
AT ITER 8131 NEW BEST:: SOT 457436 SOS 229256 HAS SOPS 229256 HAS SOUS 86553 HAS SOUPS 86553 WITH SCORE 86782.256
AT ITER 8141 NEW BEST:: SOT 457430 SOS 229250 HAS SOPS 229250 HAS SOUS 86544 HAS SOUPS 86544 WITH SCORE 86773.25
AT ITER 8157 NEW BEST:: SOT 457407 SOS 229227 HAS SOPS 229227 HAS SOUS 86521 HAS SOUPS 86521 WITH SCORE 86750.227
AT ITER 8159 NEW BEST:: SOT 457407 SOS 227211 HAS SOPS 227211 HAS SOUS 86395 HAS SOUPS 86395 WITH SCORE 86622.211
AT ITER 8185 NEW BEST:: SOT 457390 SOS 227228 HAS SOPS 227228 HAS SOUS 86304 HAS SOUPS 86304 WITH SCORE 86531.228
AT ITER 8192 NEW BEST:: SOT 457337 SOS 227175 HAS SOPS 227175 HAS SOUS 86251 HAS SOUPS 86251 WITH SCORE 86478.175
AT ITER 8249 NEW BEST:: SOT 457273 SOS 227111 HAS SOPS 227111 HAS SOUS 86187 HAS SOUPS 86187 WITH SCORE 86414.111
AT ITER 8253 NEW BEST:: SOT 457289 SOS 227227 HAS SOPS 227227 HAS SOUS 86153 HAS SOUPS 86153 WITH SCORE 86380.227
AT ITER 8254 NEW BEST:: SOT 457259 SOS 227225 HAS SOPS 227225 HAS SOUS 86151 HAS SOUPS 86151 WITH SCORE 86378.225
AT ITER 8276 NEW BEST:: SOT 457215 SOS 227181 HAS SOPS 227181 HAS SOUS 86103 HAS SOUPS 86103 WITH SCORE 86330.181
AT ITER 8279 NEW BEST:: SOT 457145 SOS 227111 HAS SOPS 227111 HAS SOUS 85997 HAS SOUPS 85997 WITH SCORE 86224.111
AT ITER 8290 NEW BEST:: SOT 457126 SOS 227066 HAS SOPS 227066 HAS SOUS 85952 HAS SOUPS 85952 WITH SCORE 86179.066
AT ITER 8299 NEW BEST:: SOT 457126 SOS 226877 HAS SOPS 226877 HAS SOUS 85952 HAS SOUPS 85952 WITH SCORE 86178.877
AT ITER 8304 NEW BEST:: SOT 457145 SOS 226725 HAS SOPS 226725 HAS SOUS 85933 HAS SOUPS 85933 WITH SCORE 86159.725
AT ITER 8311 NEW BEST:: SOT 457109 SOS 226653 HAS SOPS 226653 HAS SOUS 85861 HAS SOUPS 85861 WITH SCORE 86087.653
AT ITER 8314 NEW BEST:: SOT 457109 SOS 226597 HAS SOPS 226597 HAS SOUS 85854 HAS SOUPS 85854 WITH SCORE 86080.597
AT ITER 8360 NEW BEST:: SOT 457041 SOS 226439 HAS SOPS 226439 HAS SOUS 85829 HAS SOUPS 85829 WITH SCORE 86055.439
AT ITER 8368 NEW BEST:: SOT 457041 SOS 226370 HAS SOPS 226370 HAS SOUS 85829 HAS SOUPS 85829 WITH SCORE 86055.37
AT ITER 8374 NEW BEST:: SOT 457041 SOS 226370 HAS SOPS 226370 HAS SOUS 85825 HAS SOUPS 85825 WITH SCORE 86051.37
AT ITER 8423 NEW BEST:: SOT 457025 SOS 226338 HAS SOPS 226338 HAS SOUS 85793 HAS SOUPS 85793 WITH SCORE 86019.338
AT ITER 8428 NEW BEST:: SOT 457004 SOS 226282 HAS SOPS 226282 HAS SOUS 85751 HAS SOUPS 85751 WITH SCORE 85977.282
AT ITER 8456 NEW BEST:: SOT 457003 SOS 226281 HAS SOPS 226281 HAS SOUS 85750 HAS SOUPS 85750 WITH SCORE 85976.281
AT ITER 8459 NEW BEST:: SOT 457003 SOS 226278 HAS SOPS 226278 HAS SOUS 85747 HAS SOUPS 85747 WITH SCORE 85973.278
AT ITER 8469 NEW BEST:: SOT 457003 SOS 226084 HAS SOPS 226084 HAS SOUS 85553 HAS SOUPS 85553 WITH SCORE 85779.084
AT ITER 8480 NEW BEST:: SOT 456947 SOS 226131 HAS SOPS 226131 HAS SOUS 85500 HAS SOUPS 85500 WITH SCORE 85726.131
AT ITER 8481 NEW BEST:: SOT 456943 SOS 226117 HAS SOPS 226117 HAS SOUS 85492 HAS SOUPS 85492 WITH SCORE 85718.117
AT ITER 8484 NEW BEST:: SOT 456929 SOS 226117 HAS SOPS 226117 HAS SOUS 85464 HAS SOUPS 85464 WITH SCORE 85690.117
AT ITER 8512 NEW BEST:: SOT 456852 SOS 225966 HAS SOPS 225966 HAS SOUS 85460 HAS SOUPS 85460 WITH SCORE 85685.966
AT ITER 8520 NEW BEST:: SOT 456852 SOS 225518 HAS SOPS 225518 HAS SOUS 85404 HAS SOUPS 85404 WITH SCORE 85629.518
AT ITER 8606 NEW BEST:: SOT 456800 SOS 225369 HAS SOPS 225369 HAS SOUS 85300 HAS SOUPS 85300 WITH SCORE 85525.369
AT ITER 8660 NEW BEST:: SOT 456856 SOS 225237 HAS SOPS 225237 HAS SOUS 85168 HAS SOUPS 85168 WITH SCORE 85393.237
AT ITER 8720 NEW BEST:: SOT 456996 SOS 225242 HAS SOPS 225242 HAS SOUS 85164 HAS SOUPS 85164 WITH SCORE 85389.242
AT ITER 8724 NEW BEST:: SOT 456994 SOS 225240 HAS SOPS 225240 HAS SOUS 85158 HAS SOUPS 85158 WITH SCORE 85383.24
AT ITER 8729 NEW BEST:: SOT 456949 SOS 225195 HAS SOPS 225195 HAS SOUS 84929 HAS SOUPS 84929 WITH SCORE 85154.195
AT ITER 8753 NEW BEST:: SOT 456949 SOS 225163 HAS SOPS 225163 HAS SOUS 84900 HAS SOUPS 84900 WITH SCORE 85125.163
AT ITER 8757 NEW BEST:: SOT 456946 SOS 225265 HAS SOPS 225265 HAS SOUS 84894 HAS SOUPS 84894 WITH SCORE 85119.265
AT ITER 8761 NEW BEST:: SOT 456946 SOS 225262 HAS SOPS 225262 HAS SOUS 84891 HAS SOUPS 84891 WITH SCORE 85116.262
AT ITER 8765 NEW BEST:: SOT 456949 SOS 225269 HAS SOPS 225269 HAS SOUS 84861 HAS SOUPS 84861 WITH SCORE 85086.269
AT ITER 8808 NEW BEST:: SOT 456937 SOS 225232 HAS SOPS 225232 HAS SOUS 84805 HAS SOUPS 84805 WITH SCORE 85030.232
AT ITER 8867 NEW BEST:: SOT 456906 SOS 224913 HAS SOPS 224913 HAS SOUS 84771 HAS SOUPS 84771 WITH SCORE 84995.913
AT ITER 8895 NEW BEST:: SOT 456906 SOS 224888 HAS SOPS 224888 HAS SOUS 84746 HAS SOUPS 84746 WITH SCORE 84970.888
AT ITER 8897 NEW BEST:: SOT 456877 SOS 224859 HAS SOPS 224859 HAS SOUS 84726 HAS SOUPS 84726 WITH SCORE 84950.859
AT ITER 8914 NEW BEST:: SOT 456913 SOS 224833 HAS SOPS 224833 HAS SOUS 84700 HAS SOUPS 84700 WITH SCORE 84924.833
AT ITER 8919 NEW BEST:: SOT 456928 SOS 224889 HAS SOPS 224889 HAS SOUS 84649 HAS SOUPS 84649 WITH SCORE 84873.889
AT ITER 8929 NEW BEST:: SOT 456924 SOS 224862 HAS SOPS 224862 HAS SOUS 84622 HAS SOUPS 84622 WITH SCORE 84846.862
AT ITER 8988 NEW BEST:: SOT 456924 SOS 224826 HAS SOPS 224826 HAS SOUS 84621 HAS SOUPS 84621 WITH SCORE 84845.826
AT ITER 9005 NEW BEST:: SOT 456923 SOS 224825 HAS SOPS 224825 HAS SOUS 84619 HAS SOUPS 84619 WITH SCORE 84843.825
AT ITER 9007 NEW BEST:: SOT 456888 SOS 224791 HAS SOPS 224791 HAS SOUS 84578 HAS SOUPS 84578 WITH SCORE 84802.791
AT ITER 9015 NEW BEST:: SOT 456900 SOS 224642 HAS SOPS 224642 HAS SOUS 84567 HAS SOUPS 84567 WITH SCORE 84791.642
AT ITER 9016 NEW BEST:: SOT 456885 SOS 224612 HAS SOPS 224612 HAS SOUS 84537 HAS SOUPS 84537 WITH SCORE 84761.612
AT ITER 9031 NEW BEST:: SOT 456846 SOS 224600 HAS SOPS 224600 HAS SOUS 84525 HAS SOUPS 84525 WITH SCORE 84749.6
AT ITER 9033 NEW BEST:: SOT 456861 SOS 224587 HAS SOPS 224587 HAS SOUS 84512 HAS SOUPS 84512 WITH SCORE 84736.587
AT ITER 9066 NEW BEST:: SOT 456984 SOS 223972 HAS SOPS 223972 HAS SOUS 84512 HAS SOUPS 84512 WITH SCORE 84735.972
AT ITER 9089 NEW BEST:: SOT 457051 SOS 224073 HAS SOPS 224073 HAS SOUS 84432 HAS SOUPS 84432 WITH SCORE 84656.073
AT ITER 9103 NEW BEST:: SOT 457051 SOS 224105 HAS SOPS 224105 HAS SOUS 84429 HAS SOUPS 84429 WITH SCORE 84653.105
AT ITER 9110 NEW BEST:: SOT 456742 SOS 223917 HAS SOPS 223917 HAS SOUS 84256 HAS SOUPS 84256 WITH SCORE 84479.917
AT ITER 9112 NEW BEST:: SOT 456734 SOS 223885 HAS SOPS 223885 HAS SOUS 84248 HAS SOUPS 84248 WITH SCORE 84471.885
AT ITER 9129 NEW BEST:: SOT 456709 SOS 223678 HAS SOPS 223678 HAS SOUS 84223 HAS SOUPS 84223 WITH SCORE 84446.678
AT ITER 9222 NEW BEST:: SOT 456699 SOS 223667 HAS SOPS 223667 HAS SOUS 84213 HAS SOUPS 84213 WITH SCORE 84436.667
AT ITER 9225 NEW BEST:: SOT 456707 SOS 223477 HAS SOPS 223477 HAS SOUS 84023 HAS SOUPS 84023 WITH SCORE 84246.477
AT ITER 9313 NEW BEST:: SOT 456626 SOS 223518 HAS SOPS 223518 HAS SOUS 83957 HAS SOUPS 83957 WITH SCORE 84180.518
AT ITER 9315 NEW BEST:: SOT 456518 SOS 223381 HAS SOPS 223381 HAS SOUS 83841 HAS SOUPS 83841 WITH SCORE 84064.381
AT ITER 9340 NEW BEST:: SOT 456284 SOS 222952 HAS SOPS 222952 HAS SOUS 83598 HAS SOUPS 83598 WITH SCORE 83820.952
AT ITER 9398 NEW BEST:: SOT 456234 SOS 222902 HAS SOPS 222902 HAS SOUS 83498 HAS SOUPS 83498 WITH SCORE 83720.902
AT ITER 9422 NEW BEST:: SOT 456197 SOS 222865 HAS SOPS 222865 HAS SOUS 83461 HAS SOUPS 83461 WITH SCORE 83683.865
AT ITER 9435 NEW BEST:: SOT 456173 SOS 222788 HAS SOPS 222788 HAS SOUS 83384 HAS SOUPS 83384 WITH SCORE 83606.788
AT ITER 9436 NEW BEST:: SOT 456162 SOS 222757 HAS SOPS 222757 HAS SOUS 83362 HAS SOUPS 83362 WITH SCORE 83584.757
AT ITER 9444 NEW BEST:: SOT 456161 SOS 222756 HAS SOPS 222756 HAS SOUS 83360 HAS SOUPS 83360 WITH SCORE 83582.756
AT ITER 9462 NEW BEST:: SOT 456115 SOS 222710 HAS SOPS 222710 HAS SOUS 83354 HAS SOUPS 83354 WITH SCORE 83576.71
AT ITER 9473 NEW BEST:: SOT 456112 SOS 222707 HAS SOPS 222707 HAS SOUS 83348 HAS SOUPS 83348 WITH SCORE 83570.707
AT ITER 9510 NEW BEST:: SOT 456120 SOS 222665 HAS SOPS 222665 HAS SOUS 83306 HAS SOUPS 83306 WITH SCORE 83528.665
AT ITER 9514 NEW BEST:: SOT 456070 SOS 222707 HAS SOPS 222707 HAS SOUS 83293 HAS SOUPS 83293 WITH SCORE 83515.707
AT ITER 9526 NEW BEST:: SOT 456060 SOS 222385 HAS SOPS 222385 HAS SOUS 83283 HAS SOUPS 83283 WITH SCORE 83505.385
AT ITER 9541 NEW BEST:: SOT 456054 SOS 222379 HAS SOPS 222379 HAS SOUS 83271 HAS SOUPS 83271 WITH SCORE 83493.379
AT ITER 9569 NEW BEST:: SOT 456053 SOS 222378 HAS SOPS 222378 HAS SOUS 83271 HAS SOUPS 83271 WITH SCORE 83493.378
AT ITER 9584 NEW BEST:: SOT 456080 SOS 222405 HAS SOPS 222405 HAS SOUS 83269 HAS SOUPS 83269 WITH SCORE 83491.405
AT ITER 9638 NEW BEST:: SOT 455957 SOS 222282 HAS SOPS 222282 HAS SOUS 83146 HAS SOUPS 83146 WITH SCORE 83368.282
AT ITER 9639 NEW BEST:: SOT 455930 SOS 222244 HAS SOPS 222244 HAS SOUS 83092 HAS SOUPS 83092 WITH SCORE 83314.244
AT ITER 9647 NEW BEST:: SOT 455845 SOS 222980 HAS SOPS 222980 HAS SOUS 82995 HAS SOUPS 82995 WITH SCORE 83217.98
AT ITER 9670 NEW BEST:: SOT 455878 SOS 222980 HAS SOPS 222980 HAS SOUS 82972 HAS SOUPS 82972 WITH SCORE 83194.98
AT ITER 9714 NEW BEST:: SOT 455878 SOS 223042 HAS SOPS 223042 HAS SOUS 82953 HAS SOUPS 82953 WITH SCORE 83176.042
AT ITER 9717 NEW BEST:: SOT 455847 SOS 223128 HAS SOPS 223128 HAS SOUS 82920 HAS SOUPS 82920 WITH SCORE 83143.128
AT ITER 9732 NEW BEST:: SOT 455853 SOS 223147 HAS SOPS 223147 HAS SOUS 82886 HAS SOUPS 82886 WITH SCORE 83109.147
AT ITER 9758 NEW BEST:: SOT 455854 SOS 223107 HAS SOPS 223107 HAS SOUS 82886 HAS SOUPS 82886 WITH SCORE 83109.107
AT ITER 9769 NEW BEST:: SOT 455732 SOS 222936 HAS SOPS 222936 HAS SOUS 82715 HAS SOUPS 82715 WITH SCORE 82937.936
AT ITER 9816 NEW BEST:: SOT 455722 SOS 222930 HAS SOPS 222930 HAS SOUS 82707 HAS SOUPS 82707 WITH SCORE 82929.93
AT ITER 9872 NEW BEST:: SOT 455677 SOS 222885 HAS SOPS 222885 HAS SOUS 82624 HAS SOUPS 82624 WITH SCORE 82846.885
AT ITER 9881 NEW BEST:: SOT 455672 SOS 222864 HAS SOPS 222864 HAS SOUS 82614 HAS SOUPS 82614 WITH SCORE 82836.864
AT ITER 9938 NEW BEST:: SOT 455674 SOS 222758 HAS SOPS 222758 HAS SOUS 82530 HAS SOUPS 82530 WITH SCORE 82752.758
AT ITER 9968 NEW BEST:: SOT 455667 SOS 222751 HAS SOPS 222751 HAS SOUS 82492 HAS SOUPS 82492 WITH SCORE 82714.751
AT ITER 9991 NEW BEST:: SOT 455667 SOS 222751 HAS SOPS 222751 HAS SOUS 82446 HAS SOUPS 82446 WITH SCORE 82668.751
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 6367352 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16124328 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-03a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is ASLink-PT-03a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-oct2-167813599700048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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