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.r299-tall-167873953300656.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is PolyORBNT-COL-S05J40, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953300656
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 556K
-rw-r--r-- 1 mcc users 7.5K Feb 25 23:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 25 23:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 23:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 25 23:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 23:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 115K Feb 25 23:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 23:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Feb 25 23:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 93K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679527974859

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=PolyORBNT-COL-S05J40
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 23:32:56] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 23:32:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 23:32:56] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-22 23:32:56] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-22 23:32:57] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 665 ms
[2023-03-22 23:32:57] [INFO ] Imported 48 HL places and 38 HL transitions for a total of 669 PT places and 1712.0 transition bindings in 51 ms.
[2023-03-22 23:32:57] [INFO ] Unfolded HLPN to a Petri net with 669 places and 1630 transitions 10784 arcs in 73 ms.
[2023-03-22 23:32:57] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-22 23:32:57] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 669 places, 1630 transitions and 10784 arcs took 38 ms.
Total runtime 931 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (COL), instance S05J40
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: 669 places, 1630 transitions, 10784 arcs.
AT ITER 0 NEW BEST:: SOT 889536 SOS 280148 HAS SOPS 280119 HAS SOUS 148675 HAS SOUPS 148646 WITH SCORE 148926.148
AT ITER 10 NEW BEST:: SOT 889536 SOS 280661 HAS SOPS 280632 HAS SOUS 148634 HAS SOUPS 148605 WITH SCORE 148885.661
AT ITER 17 NEW BEST:: SOT 889087 SOS 280370 HAS SOPS 280341 HAS SOUS 148566 HAS SOUPS 148537 WITH SCORE 148817.37
AT ITER 27 NEW BEST:: SOT 888658 SOS 280024 HAS SOPS 279995 HAS SOUS 148422 HAS SOUPS 148393 WITH SCORE 148673.024
AT ITER 28 NEW BEST:: SOT 888582 SOS 279960 HAS SOPS 279931 HAS SOUS 148259 HAS SOUPS 148230 WITH SCORE 148509.96
AT ITER 35 NEW BEST:: SOT 888676 SOS 280003 HAS SOPS 279974 HAS SOUS 148248 HAS SOUPS 148219 WITH SCORE 148499.003
AT ITER 39 NEW BEST:: SOT 888472 SOS 279799 HAS SOPS 279770 HAS SOUS 148034 HAS SOUPS 148005 WITH SCORE 148284.799
AT ITER 46 NEW BEST:: SOT 888452 SOS 279679 HAS SOPS 279650 HAS SOUS 147976 HAS SOUPS 147947 WITH SCORE 148226.679
AT ITER 54 NEW BEST:: SOT 888022 SOS 279333 HAS SOPS 279304 HAS SOUS 147599 HAS SOUPS 147570 WITH SCORE 147849.333
AT ITER 60 NEW BEST:: SOT 887945 SOS 279636 HAS SOPS 279607 HAS SOUS 147481 HAS SOUPS 147452 WITH SCORE 147731.636
AT ITER 72 NEW BEST:: SOT 887921 SOS 279727 HAS SOPS 279698 HAS SOUS 147416 HAS SOUPS 147387 WITH SCORE 147666.727
AT ITER 74 NEW BEST:: SOT 887508 SOS 279344 HAS SOPS 279315 HAS SOUS 147152 HAS SOUPS 147123 WITH SCORE 147402.344
AT ITER 91 NEW BEST:: SOT 887501 SOS 279367 HAS SOPS 279338 HAS SOUS 147104 HAS SOUPS 147075 WITH SCORE 147354.367
AT ITER 93 NEW BEST:: SOT 882938 SOS 356644 HAS SOPS 356615 HAS SOUS 146501 HAS SOUPS 146472 WITH SCORE 146828.644
AT ITER 104 NEW BEST:: SOT 882927 SOS 356622 HAS SOPS 356593 HAS SOUS 146479 HAS SOUPS 146450 WITH SCORE 146806.622
AT ITER 115 NEW BEST:: SOT 882507 SOS 356276 HAS SOPS 356247 HAS SOUS 146072 HAS SOUPS 146043 WITH SCORE 146399.276
AT ITER 123 NEW BEST:: SOT 882222 SOS 355581 HAS SOPS 355552 HAS SOUS 145758 HAS SOUPS 145729 WITH SCORE 146084.581
AT ITER 127 NEW BEST:: SOT 882092 SOS 356264 HAS SOPS 356235 HAS SOUS 145615 HAS SOUPS 145586 WITH SCORE 145942.264
AT ITER 137 NEW BEST:: SOT 882037 SOS 356479 HAS SOPS 356450 HAS SOUS 145519 HAS SOUPS 145490 WITH SCORE 145846.479
AT ITER 138 NEW BEST:: SOT 882057 SOS 356450 HAS SOPS 356421 HAS SOUS 145352 HAS SOUPS 145323 WITH SCORE 145679.45
AT ITER 140 NEW BEST:: SOT 882020 SOS 356228 HAS SOPS 356199 HAS SOUS 145244 HAS SOUPS 145215 WITH SCORE 145571.228
AT ITER 144 NEW BEST:: SOT 882020 SOS 355823 HAS SOPS 355794 HAS SOUS 145235 HAS SOUPS 145206 WITH SCORE 145561.823
AT ITER 153 NEW BEST:: SOT 881984 SOS 355787 HAS SOPS 355758 HAS SOUS 145091 HAS SOUPS 145062 WITH SCORE 145417.787
AT ITER 159 NEW BEST:: SOT 881586 SOS 355453 HAS SOPS 355424 HAS SOUS 144728 HAS SOUPS 144699 WITH SCORE 145054.453
AT ITER 162 NEW BEST:: SOT 881708 SOS 355524 HAS SOPS 355495 HAS SOUS 144608 HAS SOUPS 144579 WITH SCORE 144934.524
AT ITER 165 NEW BEST:: SOT 881708 SOS 355299 HAS SOPS 355270 HAS SOUS 144601 HAS SOUPS 144572 WITH SCORE 144927.299
AT ITER 169 NEW BEST:: SOT 881535 SOS 355147 HAS SOPS 355118 HAS SOUS 144571 HAS SOUPS 144542 WITH SCORE 144897.147
AT ITER 170 NEW BEST:: SOT 881239 SOS 354854 HAS SOPS 354825 HAS SOUS 144245 HAS SOUPS 144216 WITH SCORE 144570.854
AT ITER 177 NEW BEST:: SOT 880888 SOS 354093 HAS SOPS 354064 HAS SOUS 143886 HAS SOUPS 143857 WITH SCORE 144211.093
AT ITER 185 NEW BEST:: SOT 880347 SOS 353706 HAS SOPS 353677 HAS SOUS 143505 HAS SOUPS 143476 WITH SCORE 143829.706
AT ITER 189 NEW BEST:: SOT 877773 SOS 365872 HAS SOPS 365843 HAS SOUS 142092 HAS SOUPS 142063 WITH SCORE 142428.872
AT ITER 195 NEW BEST:: SOT 877746 SOS 365800 HAS SOPS 365771 HAS SOUS 142065 HAS SOUPS 142036 WITH SCORE 142401.8
AT ITER 216 NEW BEST:: SOT 877756 SOS 365753 HAS SOPS 365724 HAS SOUS 141939 HAS SOUPS 141910 WITH SCORE 142275.753
AT ITER 220 NEW BEST:: SOT 877519 SOS 365471 HAS SOPS 365442 HAS SOUS 141716 HAS SOUPS 141687 WITH SCORE 142052.471
AT ITER 222 NEW BEST:: SOT 877509 SOS 365461 HAS SOPS 365432 HAS SOUS 141696 HAS SOUPS 141667 WITH SCORE 142032.461
AT ITER 233 NEW BEST:: SOT 877427 SOS 365314 HAS SOPS 365285 HAS SOUS 141613 HAS SOUPS 141584 WITH SCORE 141949.314
AT ITER 243 NEW BEST:: SOT 877427 SOS 365802 HAS SOPS 365773 HAS SOUS 141609 HAS SOUPS 141580 WITH SCORE 141945.802
AT ITER 245 NEW BEST:: SOT 876690 SOS 364601 HAS SOPS 364572 HAS SOUS 140709 HAS SOUPS 140680 WITH SCORE 141044.601
AT ITER 251 NEW BEST:: SOT 876674 SOS 364585 HAS SOPS 364556 HAS SOUS 140677 HAS SOUPS 140648 WITH SCORE 141012.585
AT ITER 253 NEW BEST:: SOT 876674 SOS 364585 HAS SOPS 364556 HAS SOUS 140673 HAS SOUPS 140644 WITH SCORE 141008.585
AT ITER 256 NEW BEST:: SOT 876794 SOS 364691 HAS SOPS 364662 HAS SOUS 140564 HAS SOUPS 140535 WITH SCORE 140899.691
AT ITER 261 NEW BEST:: SOT 876794 SOS 364521 HAS SOPS 364492 HAS SOUS 140530 HAS SOUPS 140501 WITH SCORE 140865.521
AT ITER 262 NEW BEST:: SOT 876788 SOS 364515 HAS SOPS 364486 HAS SOUS 140524 HAS SOUPS 140495 WITH SCORE 140859.515
AT ITER 263 NEW BEST:: SOT 876745 SOS 364682 HAS SOPS 364653 HAS SOUS 140477 HAS SOUPS 140448 WITH SCORE 140812.682
AT ITER 279 NEW BEST:: SOT 876735 SOS 364672 HAS SOPS 364643 HAS SOUS 140464 HAS SOUPS 140435 WITH SCORE 140799.672
AT ITER 290 NEW BEST:: SOT 876718 SOS 364655 HAS SOPS 364626 HAS SOUS 140462 HAS SOUPS 140433 WITH SCORE 140797.655
AT ITER 296 NEW BEST:: SOT 876644 SOS 364946 HAS SOPS 364917 HAS SOUS 140347 HAS SOUPS 140318 WITH SCORE 140682.946
AT ITER 305 NEW BEST:: SOT 876634 SOS 364926 HAS SOPS 364897 HAS SOUS 140337 HAS SOUPS 140308 WITH SCORE 140672.926
AT ITER 308 NEW BEST:: SOT 876543 SOS 364881 HAS SOPS 364852 HAS SOUS 140293 HAS SOUPS 140264 WITH SCORE 140628.881
AT ITER 309 NEW BEST:: SOT 876501 SOS 364629 HAS SOPS 364600 HAS SOUS 140209 HAS SOUPS 140180 WITH SCORE 140544.629
AT ITER 313 NEW BEST:: SOT 876121 SOS 364083 HAS SOPS 364054 HAS SOUS 139961 HAS SOUPS 139932 WITH SCORE 140296.083
AT ITER 321 NEW BEST:: SOT 876121 SOS 363698 HAS SOPS 363669 HAS SOUS 139843 HAS SOUPS 139814 WITH SCORE 140177.698
AT ITER 324 NEW BEST:: SOT 876121 SOS 363333 HAS SOPS 363304 HAS SOUS 139805 HAS SOUPS 139776 WITH SCORE 140139.333
AT ITER 327 NEW BEST:: SOT 876115 SOS 363331 HAS SOPS 363302 HAS SOUS 139803 HAS SOUPS 139774 WITH SCORE 140137.331
AT ITER 329 NEW BEST:: SOT 876104 SOS 363704 HAS SOPS 363675 HAS SOUS 139623 HAS SOUPS 139594 WITH SCORE 139957.704
AT ITER 341 NEW BEST:: SOT 876183 SOS 363734 HAS SOPS 363705 HAS SOUS 139573 HAS SOUPS 139544 WITH SCORE 139907.734
AT ITER 345 NEW BEST:: SOT 876183 SOS 363734 HAS SOPS 363705 HAS SOUS 139571 HAS SOUPS 139542 WITH SCORE 139905.734
AT ITER 346 NEW BEST:: SOT 875808 SOS 362949 HAS SOPS 362920 HAS SOUS 139188 HAS SOUPS 139159 WITH SCORE 139521.949
AT ITER 348 NEW BEST:: SOT 875664 SOS 362805 HAS SOPS 362776 HAS SOUS 139050 HAS SOUPS 139021 WITH SCORE 139383.805
AT ITER 355 NEW BEST:: SOT 875616 SOS 362757 HAS SOPS 362728 HAS SOUS 138986 HAS SOUPS 138957 WITH SCORE 139319.757
AT ITER 362 NEW BEST:: SOT 875605 SOS 362746 HAS SOPS 362717 HAS SOUS 138980 HAS SOUPS 138951 WITH SCORE 139313.746
AT ITER 369 NEW BEST:: SOT 875537 SOS 362653 HAS SOPS 362624 HAS SOUS 138941 HAS SOUPS 138912 WITH SCORE 139274.653
AT ITER 382 NEW BEST:: SOT 865185 SOS 352638 HAS SOPS 352247 HAS SOUS 128905 HAS SOUPS 128514 WITH SCORE 128866.638
AT ITER 387 NEW BEST:: SOT 865146 SOS 352292 HAS SOPS 351901 HAS SOUS 128827 HAS SOUPS 128436 WITH SCORE 128788.292
AT ITER 396 NEW BEST:: SOT 865138 SOS 352284 HAS SOPS 351893 HAS SOUS 128795 HAS SOUPS 128404 WITH SCORE 128756.284
AT ITER 408 NEW BEST:: SOT 865039 SOS 352185 HAS SOPS 351794 HAS SOUS 128789 HAS SOUPS 128398 WITH SCORE 128750.185
AT ITER 411 NEW BEST:: SOT 864968 SOS 352114 HAS SOPS 351723 HAS SOUS 128789 HAS SOUPS 128398 WITH SCORE 128750.114
AT ITER 412 NEW BEST:: SOT 865090 SOS 353158 HAS SOPS 352767 HAS SOUS 128727 HAS SOUPS 128336 WITH SCORE 128689.158
AT ITER 429 NEW BEST:: SOT 865057 SOS 353125 HAS SOPS 352734 HAS SOUS 128723 HAS SOUPS 128332 WITH SCORE 128685.125
AT ITER 435 NEW BEST:: SOT 865057 SOS 353125 HAS SOPS 352734 HAS SOUS 128710 HAS SOUPS 128319 WITH SCORE 128672.125
AT ITER 451 NEW BEST:: SOT 865077 SOS 353235 HAS SOPS 352844 HAS SOUS 128610 HAS SOUPS 128219 WITH SCORE 128572.235
AT ITER 452 NEW BEST:: SOT 865070 SOS 353228 HAS SOPS 352837 HAS SOUS 128608 HAS SOUPS 128217 WITH SCORE 128570.228
AT ITER 467 NEW BEST:: SOT 865013 SOS 353197 HAS SOPS 352806 HAS SOUS 128587 HAS SOUPS 128196 WITH SCORE 128549.197
AT ITER 476 NEW BEST:: SOT 865009 SOS 353189 HAS SOPS 352798 HAS SOUS 128579 HAS SOUPS 128188 WITH SCORE 128541.189
AT ITER 482 NEW BEST:: SOT 864723 SOS 352493 HAS SOPS 352102 HAS SOUS 128170 HAS SOUPS 127779 WITH SCORE 128131.493
AT ITER 500 NEW BEST:: SOT 864682 SOS 352452 HAS SOPS 352061 HAS SOUS 128170 HAS SOUPS 127779 WITH SCORE 128131.452
AT ITER 507 NEW BEST:: SOT 864400 SOS 351970 HAS SOPS 351579 HAS SOUS 127890 HAS SOUPS 127499 WITH SCORE 127850.97
AT ITER 521 NEW BEST:: SOT 864382 SOS 351862 HAS SOPS 351471 HAS SOUS 127854 HAS SOUPS 127463 WITH SCORE 127814.862
AT ITER 526 NEW BEST:: SOT 864508 SOS 351895 HAS SOPS 351504 HAS SOUS 127827 HAS SOUPS 127436 WITH SCORE 127787.895
AT ITER 528 NEW BEST:: SOT 864339 SOS 351726 HAS SOPS 351335 HAS SOUS 127487 HAS SOUPS 127096 WITH SCORE 127447.726
AT ITER 530 NEW BEST:: SOT 864277 SOS 351354 HAS SOPS 350963 HAS SOUS 127394 HAS SOUPS 127003 WITH SCORE 127354.354
AT ITER 531 NEW BEST:: SOT 864128 SOS 351220 HAS SOPS 350829 HAS SOUS 127260 HAS SOUPS 126869 WITH SCORE 127220.22
AT ITER 539 NEW BEST:: SOT 864128 SOS 352016 HAS SOPS 351625 HAS SOUS 127144 HAS SOUPS 126753 WITH SCORE 127105.016
AT ITER 540 NEW BEST:: SOT 867356 SOS 296064 HAS SOPS 295673 HAS SOUS 127021 HAS SOUPS 126630 WITH SCORE 126926.064
AT ITER 556 NEW BEST:: SOT 867059 SOS 295829 HAS SOPS 295438 HAS SOUS 126941 HAS SOUPS 126550 WITH SCORE 126845.829
AT ITER 566 NEW BEST:: SOT 866613 SOS 295446 HAS SOPS 295055 HAS SOUS 126449 HAS SOUPS 126058 WITH SCORE 126353.446
AT ITER 570 NEW BEST:: SOT 866679 SOS 295446 HAS SOPS 295055 HAS SOUS 126295 HAS SOUPS 125904 WITH SCORE 126199.446
AT ITER 576 NEW BEST:: SOT 866523 SOS 295290 HAS SOPS 294899 HAS SOUS 126152 HAS SOUPS 125761 WITH SCORE 126056.29
AT ITER 577 NEW BEST:: SOT 866474 SOS 295241 HAS SOPS 294850 HAS SOUS 126065 HAS SOUPS 125674 WITH SCORE 125969.241
AT ITER 591 NEW BEST:: SOT 866387 SOS 295154 HAS SOPS 294763 HAS SOUS 125978 HAS SOUPS 125587 WITH SCORE 125882.154
AT ITER 594 NEW BEST:: SOT 866387 SOS 295584 HAS SOPS 295193 HAS SOUS 125937 HAS SOUPS 125546 WITH SCORE 125841.584
AT ITER 595 NEW BEST:: SOT 866373 SOS 295635 HAS SOPS 295244 HAS SOUS 125882 HAS SOUPS 125491 WITH SCORE 125786.635
AT ITER 599 NEW BEST:: SOT 866270 SOS 295526 HAS SOPS 295135 HAS SOUS 125862 HAS SOUPS 125471 WITH SCORE 125766.526
AT ITER 601 NEW BEST:: SOT 866257 SOS 295500 HAS SOPS 295109 HAS SOUS 125821 HAS SOUPS 125430 WITH SCORE 125725.5
AT ITER 602 NEW BEST:: SOT 865958 SOS 294571 HAS SOPS 294180 HAS SOUS 125476 HAS SOUPS 125085 WITH SCORE 125379.571
AT ITER 604 NEW BEST:: SOT 865899 SOS 294802 HAS SOPS 294411 HAS SOUS 125417 HAS SOUPS 125026 WITH SCORE 125320.802
AT ITER 618 NEW BEST:: SOT 865899 SOS 289952 HAS SOPS 289561 HAS SOUS 125382 HAS SOUPS 124991 WITH SCORE 125280.952
AT ITER 630 NEW BEST:: SOT 865638 SOS 289722 HAS SOPS 289331 HAS SOUS 125142 HAS SOUPS 124751 WITH SCORE 125040.722
AT ITER 638 NEW BEST:: SOT 865522 SOS 289606 HAS SOPS 289215 HAS SOUS 125026 HAS SOUPS 124635 WITH SCORE 124924.606
AT ITER 647 NEW BEST:: SOT 865495 SOS 289714 HAS SOPS 289323 HAS SOUS 124999 HAS SOUPS 124608 WITH SCORE 124897.714
AT ITER 648 NEW BEST:: SOT 865700 SOS 289768 HAS SOPS 289377 HAS SOUS 124956 HAS SOUPS 124565 WITH SCORE 124854.768
AT ITER 652 NEW BEST:: SOT 865594 SOS 289829 HAS SOPS 289438 HAS SOUS 124850 HAS SOUPS 124459 WITH SCORE 124748.829
AT ITER 694 NEW BEST:: SOT 865547 SOS 289660 HAS SOPS 289269 HAS SOUS 124768 HAS SOUPS 124377 WITH SCORE 124666.66
AT ITER 703 NEW BEST:: SOT 865505 SOS 289633 HAS SOPS 289242 HAS SOUS 124605 HAS SOUPS 124214 WITH SCORE 124503.633
AT ITER 710 NEW BEST:: SOT 865626 SOS 289740 HAS SOPS 289349 HAS SOUS 124531 HAS SOUPS 124140 WITH SCORE 124429.74
AT ITER 713 NEW BEST:: SOT 865605 SOS 289755 HAS SOPS 289364 HAS SOUS 124375 HAS SOUPS 123984 WITH SCORE 124273.755
AT ITER 719 NEW BEST:: SOT 865562 SOS 289712 HAS SOPS 289321 HAS SOUS 124203 HAS SOUPS 123812 WITH SCORE 124101.712
AT ITER 724 NEW BEST:: SOT 865549 SOS 289964 HAS SOPS 289573 HAS SOUS 124149 HAS SOUPS 123758 WITH SCORE 124047.964
AT ITER 731 NEW BEST:: SOT 865541 SOS 289948 HAS SOPS 289557 HAS SOUS 124133 HAS SOUPS 123742 WITH SCORE 124031.948
AT ITER 740 NEW BEST:: SOT 865538 SOS 289945 HAS SOPS 289554 HAS SOUS 124127 HAS SOUPS 123736 WITH SCORE 124025.945
AT ITER 750 NEW BEST:: SOT 865529 SOS 289891 HAS SOPS 289500 HAS SOUS 124100 HAS SOUPS 123709 WITH SCORE 123998.891
AT ITER 760 NEW BEST:: SOT 865527 SOS 289889 HAS SOPS 289498 HAS SOUS 124098 HAS SOUPS 123707 WITH SCORE 123996.889
AT ITER 771 NEW BEST:: SOT 865554 SOS 289916 HAS SOPS 289525 HAS SOUS 124085 HAS SOUPS 123694 WITH SCORE 123983.916
AT ITER 788 NEW BEST:: SOT 865554 SOS 289766 HAS SOPS 289375 HAS SOUS 124055 HAS SOUPS 123664 WITH SCORE 123953.766
AT ITER 790 NEW BEST:: SOT 865490 SOS 289167 HAS SOPS 288776 HAS SOUS 123884 HAS SOUPS 123493 WITH SCORE 123782.167
AT ITER 793 NEW BEST:: SOT 865515 SOS 289487 HAS SOPS 289096 HAS SOUS 123831 HAS SOUPS 123440 WITH SCORE 123729.487
AT ITER 801 NEW BEST:: SOT 865519 SOS 290225 HAS SOPS 289834 HAS SOUS 123612 HAS SOUPS 123221 WITH SCORE 123511.225
AT ITER 803 NEW BEST:: SOT 865528 SOS 290103 HAS SOPS 289712 HAS SOUS 123602 HAS SOUPS 123211 WITH SCORE 123501.103
AT ITER 804 NEW BEST:: SOT 865525 SOS 289875 HAS SOPS 289484 HAS SOUS 123596 HAS SOUPS 123205 WITH SCORE 123494.875
AT ITER 809 NEW BEST:: SOT 865474 SOS 289854 HAS SOPS 289463 HAS SOUS 123332 HAS SOUPS 122941 WITH SCORE 123230.854
AT ITER 812 NEW BEST:: SOT 865470 SOS 289846 HAS SOPS 289455 HAS SOUS 123308 HAS SOUPS 122917 WITH SCORE 123206.846
AT ITER 831 NEW BEST:: SOT 865470 SOS 289846 HAS SOPS 289455 HAS SOUS 123250 HAS SOUPS 122859 WITH SCORE 123148.846
AT ITER 833 NEW BEST:: SOT 865487 SOS 289880 HAS SOPS 289489 HAS SOUS 123144 HAS SOUPS 122753 WITH SCORE 123042.88
AT ITER 839 NEW BEST:: SOT 865652 SOS 289891 HAS SOPS 289500 HAS SOUS 123035 HAS SOUPS 122644 WITH SCORE 122933.891
AT ITER 845 NEW BEST:: SOT 865631 SOS 289870 HAS SOPS 289479 HAS SOUS 123029 HAS SOUPS 122638 WITH SCORE 122927.87
AT ITER 861 NEW BEST:: SOT 863213 SOS 297292 HAS SOPS 296901 HAS SOUS 122163 HAS SOUPS 121772 WITH SCORE 122069.292
AT ITER 871 NEW BEST:: SOT 863334 SOS 297409 HAS SOPS 297018 HAS SOUS 122140 HAS SOUPS 121749 WITH SCORE 122046.409
AT ITER 876 NEW BEST:: SOT 863251 SOS 298543 HAS SOPS 298152 HAS SOUS 122076 HAS SOUPS 121685 WITH SCORE 121983.543
AT ITER 885 NEW BEST:: SOT 863201 SOS 298569 HAS SOPS 298178 HAS SOUS 122026 HAS SOUPS 121635 WITH SCORE 121933.569
AT ITER 898 NEW BEST:: SOT 863073 SOS 298441 HAS SOPS 298050 HAS SOUS 121894 HAS SOUPS 121503 WITH SCORE 121801.441
AT ITER 906 NEW BEST:: SOT 863007 SOS 298375 HAS SOPS 297984 HAS SOUS 121789 HAS SOUPS 121398 WITH SCORE 121696.375
AT ITER 926 NEW BEST:: SOT 862994 SOS 298427 HAS SOPS 298036 HAS SOUS 121776 HAS SOUPS 121385 WITH SCORE 121683.427
AT ITER 935 NEW BEST:: SOT 862994 SOS 298332 HAS SOPS 297941 HAS SOUS 121525 HAS SOUPS 121134 WITH SCORE 121432.332
AT ITER 945 NEW BEST:: SOT 862994 SOS 298260 HAS SOPS 297869 HAS SOUS 121517 HAS SOUPS 121126 WITH SCORE 121424.26
AT ITER 961 NEW BEST:: SOT 862886 SOS 298017 HAS SOPS 297626 HAS SOUS 121362 HAS SOUPS 120971 WITH SCORE 121269.017
AT ITER 988 NEW BEST:: SOT 862802 SOS 298709 HAS SOPS 298318 HAS SOUS 121304 HAS SOUPS 120913 WITH SCORE 121211.709
AT ITER 999 NEW BEST:: SOT 862803 SOS 298710 HAS SOPS 298319 HAS SOUS 121233 HAS SOUPS 120842 WITH SCORE 121140.71
AT ITER 1004 NEW BEST:: SOT 862798 SOS 298695 HAS SOPS 298304 HAS SOUS 121228 HAS SOUPS 120837 WITH SCORE 121135.695
AT ITER 1017 NEW BEST:: SOT 862763 SOS 298660 HAS SOPS 298269 HAS SOUS 121158 HAS SOUPS 120767 WITH SCORE 121065.66
AT ITER 1028 NEW BEST:: SOT 862739 SOS 298540 HAS SOPS 298149 HAS SOUS 121110 HAS SOUPS 120719 WITH SCORE 121017.54
AT ITER 1048 NEW BEST:: SOT 862574 SOS 298391 HAS SOPS 298000 HAS SOUS 121008 HAS SOUPS 120617 WITH SCORE 120915.391
AT ITER 1055 NEW BEST:: SOT 862461 SOS 298703 HAS SOPS 298312 HAS SOUS 120791 HAS SOUPS 120400 WITH SCORE 120698.703
AT ITER 1062 NEW BEST:: SOT 862377 SOS 298619 HAS SOPS 298228 HAS SOUS 120686 HAS SOUPS 120295 WITH SCORE 120593.619
AT ITER 1092 NEW BEST:: SOT 861616 SOS 297917 HAS SOPS 297474 HAS SOUS 120637 HAS SOUPS 120194 WITH SCORE 120491.917
AT ITER 1102 NEW BEST:: SOT 861468 SOS 297769 HAS SOPS 297326 HAS SOUS 120481 HAS SOUPS 120038 WITH SCORE 120335.769
AT ITER 1109 NEW BEST:: SOT 861416 SOS 297197 HAS SOPS 296754 HAS SOUS 120325 HAS SOUPS 119882 WITH SCORE 120179.197
AT ITER 1110 NEW BEST:: SOT 861376 SOS 297157 HAS SOPS 296714 HAS SOUS 120245 HAS SOUPS 119802 WITH SCORE 120099.157
AT ITER 1115 NEW BEST:: SOT 861359 SOS 297140 HAS SOPS 296697 HAS SOUS 120228 HAS SOUPS 119785 WITH SCORE 120082.14
AT ITER 1122 NEW BEST:: SOT 861326 SOS 297107 HAS SOPS 296664 HAS SOUS 120162 HAS SOUPS 119719 WITH SCORE 120016.107
AT ITER 1130 NEW BEST:: SOT 861174 SOS 296955 HAS SOPS 296512 HAS SOUS 120066 HAS SOUPS 119623 WITH SCORE 119919.955
AT ITER 1140 NEW BEST:: SOT 861156 SOS 296937 HAS SOPS 296494 HAS SOUS 120054 HAS SOUPS 119611 WITH SCORE 119907.937
AT ITER 1149 NEW BEST:: SOT 861181 SOS 297107 HAS SOPS 296664 HAS SOUS 120000 HAS SOUPS 119557 WITH SCORE 119854.107
AT ITER 1164 NEW BEST:: SOT 861181 SOS 297097 HAS SOPS 296654 HAS SOUS 119998 HAS SOUPS 119555 WITH SCORE 119852.097
AT ITER 1169 NEW BEST:: SOT 861139 SOS 297055 HAS SOPS 296612 HAS SOUS 119914 HAS SOUPS 119471 WITH SCORE 119768.055
AT ITER 1182 NEW BEST:: SOT 861054 SOS 296965 HAS SOPS 296522 HAS SOUS 119839 HAS SOUPS 119396 WITH SCORE 119692.965
AT ITER 1198 NEW BEST:: SOT 861054 SOS 296965 HAS SOPS 296522 HAS SOUS 119822 HAS SOUPS 119379 WITH SCORE 119675.965
AT ITER 1200 NEW BEST:: SOT 860980 SOS 296891 HAS SOPS 296448 HAS SOUS 119810 HAS SOUPS 119367 WITH SCORE 119663.891
AT ITER 1215 NEW BEST:: SOT 860871 SOS 296232 HAS SOPS 295789 HAS SOUS 119591 HAS SOUPS 119148 WITH SCORE 119444.232
AT ITER 1216 NEW BEST:: SOT 860800 SOS 296531 HAS SOPS 296088 HAS SOUS 119499 HAS SOUPS 119056 WITH SCORE 119352.531
AT ITER 1223 NEW BEST:: SOT 860800 SOS 296531 HAS SOPS 296088 HAS SOUS 119488 HAS SOUPS 119045 WITH SCORE 119341.531
AT ITER 1239 NEW BEST:: SOT 861009 SOS 297602 HAS SOPS 297159 HAS SOUS 119445 HAS SOUPS 119002 WITH SCORE 119299.602
AT ITER 1242 NEW BEST:: SOT 860994 SOS 298255 HAS SOPS 297812 HAS SOUS 119402 HAS SOUPS 118959 WITH SCORE 119257.255
AT ITER 1244 NEW BEST:: SOT 855886 SOS 293231 HAS SOPS 292788 HAS SOUS 114258 HAS SOUPS 113815 WITH SCORE 114108.231
AT ITER 1275 NEW BEST:: SOT 855190 SOS 296210 HAS SOPS 295767 HAS SOUS 113715 HAS SOUPS 113272 WITH SCORE 113568.21
AT ITER 1282 NEW BEST:: SOT 855153 SOS 295988 HAS SOPS 295545 HAS SOUS 113641 HAS SOUPS 113198 WITH SCORE 113493.988
AT ITER 1283 NEW BEST:: SOT 854955 SOS 296900 HAS SOPS 296457 HAS SOUS 113272 HAS SOUPS 112829 WITH SCORE 113125.9
AT ITER 1284 NEW BEST:: SOT 855110 SOS 304643 HAS SOPS 304200 HAS SOUS 113085 HAS SOUPS 112642 WITH SCORE 112946.643
AT ITER 1291 NEW BEST:: SOT 855110 SOS 304598 HAS SOPS 304155 HAS SOUS 113085 HAS SOUPS 112642 WITH SCORE 112946.598
AT ITER 1295 NEW BEST:: SOT 855064 SOS 304552 HAS SOPS 304109 HAS SOUS 113029 HAS SOUPS 112586 WITH SCORE 112890.552
AT ITER 1298 NEW BEST:: SOT 855029 SOS 304517 HAS SOPS 304074 HAS SOUS 112994 HAS SOUPS 112551 WITH SCORE 112855.517
AT ITER 1333 NEW BEST:: SOT 855040 SOS 304431 HAS SOPS 303988 HAS SOUS 112989 HAS SOUPS 112546 WITH SCORE 112850.431
AT ITER 1343 NEW BEST:: SOT 854944 SOS 304334 HAS SOPS 303891 HAS SOUS 112941 HAS SOUPS 112498 WITH SCORE 112802.334
AT ITER 1345 NEW BEST:: SOT 854944 SOS 304805 HAS SOPS 304362 HAS SOUS 112900 HAS SOUPS 112457 WITH SCORE 112761.805
AT ITER 1349 NEW BEST:: SOT 854872 SOS 304733 HAS SOPS 304290 HAS SOUS 112897 HAS SOUPS 112454 WITH SCORE 112758.733
AT ITER 1385 NEW BEST:: SOT 854841 SOS 304702 HAS SOPS 304259 HAS SOUS 112835 HAS SOUPS 112392 WITH SCORE 112696.702
AT ITER 1388 NEW BEST:: SOT 854656 SOS 304517 HAS SOPS 304074 HAS SOUS 112648 HAS SOUPS 112205 WITH SCORE 112509.517
AT ITER 1391 NEW BEST:: SOT 854614 SOS 304475 HAS SOPS 304032 HAS SOUS 112560 HAS SOUPS 112117 WITH SCORE 112421.475
AT ITER 1399 NEW BEST:: SOT 854572 SOS 304349 HAS SOPS 303906 HAS SOUS 112560 HAS SOUPS 112117 WITH SCORE 112421.349
AT ITER 1419 NEW BEST:: SOT 854528 SOS 304095 HAS SOPS 303652 HAS SOUS 112472 HAS SOUPS 112029 WITH SCORE 112333.095
AT ITER 1420 NEW BEST:: SOT 854452 SOS 303609 HAS SOPS 303166 HAS SOUS 112314 HAS SOUPS 111871 WITH SCORE 112174.609
AT ITER 1422 NEW BEST:: SOT 854554 SOS 303660 HAS SOPS 303217 HAS SOUS 112211 HAS SOUPS 111768 WITH SCORE 112071.66
AT ITER 1426 NEW BEST:: SOT 854506 SOS 303112 HAS SOPS 302669 HAS SOUS 112160 HAS SOUPS 111717 WITH SCORE 112020.112
AT ITER 1434 NEW BEST:: SOT 854471 SOS 302862 HAS SOPS 302419 HAS SOUS 112082 HAS SOUPS 111639 WITH SCORE 111941.862
AT ITER 1442 NEW BEST:: SOT 854471 SOS 302862 HAS SOPS 302419 HAS SOUS 112076 HAS SOUPS 111633 WITH SCORE 111935.862
AT ITER 1458 NEW BEST:: SOT 854461 SOS 302852 HAS SOPS 302409 HAS SOUS 112056 HAS SOUPS 111613 WITH SCORE 111915.852
AT ITER 1459 NEW BEST:: SOT 854460 SOS 302785 HAS SOPS 302342 HAS SOUS 111909 HAS SOUPS 111466 WITH SCORE 111768.785
AT ITER 1467 NEW BEST:: SOT 854434 SOS 302724 HAS SOPS 302281 HAS SOUS 111876 HAS SOUPS 111433 WITH SCORE 111735.724
AT ITER 1476 NEW BEST:: SOT 854371 SOS 302181 HAS SOPS 301738 HAS SOUS 111780 HAS SOUPS 111337 WITH SCORE 111639.181
AT ITER 1488 NEW BEST:: SOT 854303 SOS 301892 HAS SOPS 301449 HAS SOUS 111674 HAS SOUPS 111231 WITH SCORE 111532.892
AT ITER 1491 NEW BEST:: SOT 854261 SOS 301850 HAS SOPS 301407 HAS SOUS 111632 HAS SOUPS 111189 WITH SCORE 111490.85
AT ITER 1492 NEW BEST:: SOT 854262 SOS 301851 HAS SOPS 301408 HAS SOUS 111561 HAS SOUPS 111118 WITH SCORE 111419.851
AT ITER 1498 NEW BEST:: SOT 854233 SOS 301822 HAS SOPS 301379 HAS SOUS 111496 HAS SOUPS 111053 WITH SCORE 111354.822
AT ITER 1499 NEW BEST:: SOT 854233 SOS 301722 HAS SOPS 301279 HAS SOUS 111476 HAS SOUPS 111033 WITH SCORE 111334.722
AT ITER 1503 NEW BEST:: SOT 854056 SOS 301545 HAS SOPS 301102 HAS SOUS 111430 HAS SOUPS 110987 WITH SCORE 111288.545
AT ITER 1516 NEW BEST:: SOT 853800 SOS 301289 HAS SOPS 300846 HAS SOUS 111188 HAS SOUPS 110745 WITH SCORE 111046.289
AT ITER 1522 NEW BEST:: SOT 853812 SOS 301301 HAS SOPS 300858 HAS SOUS 111169 HAS SOUPS 110726 WITH SCORE 111027.301
AT ITER 1525 NEW BEST:: SOT 853812 SOS 301291 HAS SOPS 300848 HAS SOUS 111159 HAS SOUPS 110716 WITH SCORE 111017.291
AT ITER 1528 NEW BEST:: SOT 853812 SOS 301291 HAS SOPS 300848 HAS SOUS 111149 HAS SOUPS 110706 WITH SCORE 111007.291
AT ITER 1551 NEW BEST:: SOT 853812 SOS 301291 HAS SOPS 300848 HAS SOUS 111144 HAS SOUPS 110701 WITH SCORE 111002.291
AT ITER 1563 NEW BEST:: SOT 853812 SOS 301291 HAS SOPS 300848 HAS SOUS 111142 HAS SOUPS 110699 WITH SCORE 111000.291
AT ITER 1568 NEW BEST:: SOT 853941 SOS 301420 HAS SOPS 300977 HAS SOUS 111070 HAS SOUPS 110627 WITH SCORE 110928.42
AT ITER 1576 NEW BEST:: SOT 853941 SOS 301420 HAS SOPS 300977 HAS SOUS 111069 HAS SOUPS 110626 WITH SCORE 110927.42
AT ITER 1577 NEW BEST:: SOT 853768 SOS 301247 HAS SOPS 300804 HAS SOUS 110896 HAS SOUPS 110453 WITH SCORE 110754.247
AT ITER 1586 NEW BEST:: SOT 853620 SOS 301117 HAS SOPS 300674 HAS SOUS 110764 HAS SOUPS 110321 WITH SCORE 110622.117
AT ITER 1590 NEW BEST:: SOT 853642 SOS 301131 HAS SOPS 300688 HAS SOUS 110752 HAS SOUPS 110309 WITH SCORE 110610.131
AT ITER 1594 NEW BEST:: SOT 853623 SOS 301012 HAS SOPS 300569 HAS SOUS 110694 HAS SOUPS 110251 WITH SCORE 110552.012
AT ITER 1603 NEW BEST:: SOT 853472 SOS 300861 HAS SOPS 300418 HAS SOUS 110644 HAS SOUPS 110201 WITH SCORE 110501.861
AT ITER 1629 NEW BEST:: SOT 853278 SOS 300688 HAS SOPS 300245 HAS SOUS 110478 HAS SOUPS 110035 WITH SCORE 110335.688
AT ITER 1636 NEW BEST:: SOT 853255 SOS 300665 HAS SOPS 300222 HAS SOUS 110473 HAS SOUPS 110030 WITH SCORE 110330.665
AT ITER 1646 NEW BEST:: SOT 853061 SOS 300503 HAS SOPS 300060 HAS SOUS 110327 HAS SOUPS 109884 WITH SCORE 110184.503
AT ITER 1668 NEW BEST:: SOT 852147 SOS 299589 HAS SOPS 299146 HAS SOUS 109392 HAS SOUPS 108949 WITH SCORE 109248.589
AT ITER 1694 NEW BEST:: SOT 852331 SOS 300706 HAS SOPS 300263 HAS SOUS 109377 HAS SOUPS 108934 WITH SCORE 109234.706
AT ITER 1728 NEW BEST:: SOT 852327 SOS 300534 HAS SOPS 300091 HAS SOUS 109369 HAS SOUPS 108926 WITH SCORE 109226.534
AT ITER 1732 NEW BEST:: SOT 852327 SOS 300534 HAS SOPS 300091 HAS SOUS 109332 HAS SOUPS 108889 WITH SCORE 109189.534
AT ITER 1739 NEW BEST:: SOT 852269 SOS 293642 HAS SOPS 293199 HAS SOUS 109162 HAS SOUPS 108719 WITH SCORE 109012.642
AT ITER 1740 NEW BEST:: SOT 852038 SOS 293490 HAS SOPS 293047 HAS SOUS 109154 HAS SOUPS 108711 WITH SCORE 109004.49
AT ITER 1761 NEW BEST:: SOT 852028 SOS 293467 HAS SOPS 293024 HAS SOUS 109143 HAS SOUPS 108700 WITH SCORE 108993.467
AT ITER 1775 NEW BEST:: SOT 851381 SOS 293411 HAS SOPS 292873 HAS SOUS 109151 HAS SOUPS 108613 WITH SCORE 108906.411
AT ITER 1800 NEW BEST:: SOT 851381 SOS 293241 HAS SOPS 292703 HAS SOUS 109117 HAS SOUPS 108579 WITH SCORE 108872.241
AT ITER 1817 NEW BEST:: SOT 851353 SOS 293213 HAS SOPS 292675 HAS SOUS 109089 HAS SOUPS 108551 WITH SCORE 108844.213
AT ITER 1841 NEW BEST:: SOT 851353 SOS 293207 HAS SOPS 292669 HAS SOUS 109077 HAS SOUPS 108539 WITH SCORE 108832.207
AT ITER 1852 NEW BEST:: SOT 851265 SOS 293155 HAS SOPS 292617 HAS SOUS 108973 HAS SOUPS 108435 WITH SCORE 108728.155
AT ITER 1856 NEW BEST:: SOT 851181 SOS 293081 HAS SOPS 292543 HAS SOUS 108852 HAS SOUPS 108314 WITH SCORE 108607.081
AT ITER 1871 NEW BEST:: SOT 851167 SOS 293067 HAS SOPS 292529 HAS SOUS 108796 HAS SOUPS 108258 WITH SCORE 108551.067
AT ITER 1876 NEW BEST:: SOT 851219 SOS 293067 HAS SOPS 292529 HAS SOUS 108744 HAS SOUPS 108206 WITH SCORE 108499.067
AT ITER 1948 NEW BEST:: SOT 851202 SOS 293050 HAS SOPS 292512 HAS SOUS 108727 HAS SOUPS 108189 WITH SCORE 108482.05
AT ITER 1966 NEW BEST:: SOT 851178 SOS 293026 HAS SOPS 292488 HAS SOUS 108679 HAS SOUPS 108141 WITH SCORE 108434.026
AT ITER 1980 NEW BEST:: SOT 851212 SOS 293085 HAS SOPS 292547 HAS SOUS 108677 HAS SOUPS 108139 WITH SCORE 108432.085
AT ITER 1981 NEW BEST:: SOT 851052 SOS 292925 HAS SOPS 292387 HAS SOUS 108669 HAS SOUPS 108131 WITH SCORE 108423.925
AT ITER 1982 NEW BEST:: SOT 851054 SOS 292927 HAS SOPS 292389 HAS SOUS 108643 HAS SOUPS 108105 WITH SCORE 108397.927
AT ITER 2012 NEW BEST:: SOT 850786 SOS 292675 HAS SOPS 292137 HAS SOUS 108485 HAS SOUPS 107947 WITH SCORE 108239.675
AT ITER 2022 NEW BEST:: SOT 850786 SOS 292669 HAS SOPS 292131 HAS SOUS 108467 HAS SOUPS 107929 WITH SCORE 108221.669
AT ITER 2027 NEW BEST:: SOT 850857 SOS 292752 HAS SOPS 292214 HAS SOUS 108417 HAS SOUPS 107879 WITH SCORE 108171.752
AT ITER 2044 NEW BEST:: SOT 850857 SOS 292542 HAS SOPS 292004 HAS SOUS 108411 HAS SOUPS 107873 WITH SCORE 108165.542
AT ITER 2056 NEW BEST:: SOT 850892 SOS 292577 HAS SOPS 292039 HAS SOUS 108409 HAS SOUPS 107871 WITH SCORE 108163.577
AT ITER 2062 NEW BEST:: SOT 849519 SOS 288988 HAS SOPS 288395 HAS SOUS 108119 HAS SOUPS 107526 WITH SCORE 107814.988
AT ITER 2065 NEW BEST:: SOT 849519 SOS 289294 HAS SOPS 288701 HAS SOUS 108078 HAS SOUPS 107485 WITH SCORE 107774.294
AT ITER 2085 NEW BEST:: SOT 849502 SOS 288512 HAS SOPS 287919 HAS SOUS 108044 HAS SOUPS 107451 WITH SCORE 107739.512
AT ITER 2094 NEW BEST:: SOT 849479 SOS 289324 HAS SOPS 288731 HAS SOUS 107998 HAS SOUPS 107405 WITH SCORE 107694.324
AT ITER 2107 NEW BEST:: SOT 849430 SOS 289055 HAS SOPS 288462 HAS SOUS 107925 HAS SOUPS 107332 WITH SCORE 107621.055
AT ITER 2123 NEW BEST:: SOT 849430 SOS 289020 HAS SOPS 288427 HAS SOUS 107925 HAS SOUPS 107332 WITH SCORE 107621.02
AT ITER 2131 NEW BEST:: SOT 849410 SOS 288900 HAS SOPS 288307 HAS SOUS 107905 HAS SOUPS 107312 WITH SCORE 107600.9
AT ITER 2138 NEW BEST:: SOT 849169 SOS 288683 HAS SOPS 288090 HAS SOUS 107729 HAS SOUPS 107136 WITH SCORE 107424.683
AT ITER 2153 NEW BEST:: SOT 849026 SOS 288683 HAS SOPS 288090 HAS SOUS 107725 HAS SOUPS 107132 WITH SCORE 107420.683
AT ITER 2157 NEW BEST:: SOT 849034 SOS 288725 HAS SOPS 288132 HAS SOUS 107689 HAS SOUPS 107096 WITH SCORE 107384.725
AT ITER 2191 NEW BEST:: SOT 849009 SOS 287845 HAS SOPS 287252 HAS SOUS 107606 HAS SOUPS 107013 WITH SCORE 107300.845
AT ITER 2199 NEW BEST:: SOT 849009 SOS 287845 HAS SOPS 287252 HAS SOUS 107594 HAS SOUPS 107001 WITH SCORE 107288.845
AT ITER 2206 NEW BEST:: SOT 848945 SOS 287981 HAS SOPS 287388 HAS SOUS 107570 HAS SOUPS 106977 WITH SCORE 107264.981
AT ITER 2213 NEW BEST:: SOT 848671 SOS 287550 HAS SOPS 286957 HAS SOUS 107568 HAS SOUPS 106975 WITH SCORE 107262.55
AT ITER 2220 NEW BEST:: SOT 848639 SOS 287318 HAS SOPS 286725 HAS SOUS 107517 HAS SOUPS 106924 WITH SCORE 107211.318
AT ITER 2229 NEW BEST:: SOT 848616 SOS 286383 HAS SOPS 285790 HAS SOUS 107474 HAS SOUPS 106881 WITH SCORE 107167.383
AT ITER 2245 NEW BEST:: SOT 848616 SOS 286383 HAS SOPS 285790 HAS SOUS 107465 HAS SOUPS 106872 WITH SCORE 107158.383
AT ITER 2255 NEW BEST:: SOT 848616 SOS 286293 HAS SOPS 285700 HAS SOUS 107447 HAS SOUPS 106854 WITH SCORE 107140.293
AT ITER 2267 NEW BEST:: SOT 848640 SOS 286263 HAS SOPS 285670 HAS SOUS 107384 HAS SOUPS 106791 WITH SCORE 107077.263
AT ITER 2283 NEW BEST:: SOT 848632 SOS 286255 HAS SOPS 285662 HAS SOUS 107368 HAS SOUPS 106775 WITH SCORE 107061.255
AT ITER 2312 NEW BEST:: SOT 848631 SOS 286660 HAS SOPS 286067 HAS SOUS 107173 HAS SOUPS 106580 WITH SCORE 106866.66
AT ITER 2318 NEW BEST:: SOT 848727 SOS 287333 HAS SOPS 286740 HAS SOUS 106974 HAS SOUPS 106381 WITH SCORE 106668.333
AT ITER 2328 NEW BEST:: SOT 848702 SOS 287174 HAS SOPS 286581 HAS SOUS 106924 HAS SOUPS 106331 WITH SCORE 106618.174
AT ITER 2352 NEW BEST:: SOT 848538 SOS 287210 HAS SOPS 286617 HAS SOUS 106800 HAS SOUPS 106207 WITH SCORE 106494.21
AT ITER 2366 NEW BEST:: SOT 847666 SOS 286338 HAS SOPS 285745 HAS SOUS 105998 HAS SOUPS 105405 WITH SCORE 105691.338
AT ITER 2376 NEW BEST:: SOT 847611 SOS 286228 HAS SOPS 285635 HAS SOUS 105987 HAS SOUPS 105394 WITH SCORE 105680.228
AT ITER 2379 NEW BEST:: SOT 847531 SOS 285948 HAS SOPS 285355 HAS SOUS 105867 HAS SOUPS 105274 WITH SCORE 105559.948
AT ITER 2399 NEW BEST:: SOT 847527 SOS 285964 HAS SOPS 285371 HAS SOUS 105865 HAS SOUPS 105272 WITH SCORE 105557.964
AT ITER 2404 NEW BEST:: SOT 847527 SOS 285956 HAS SOPS 285363 HAS SOUS 105851 HAS SOUPS 105258 WITH SCORE 105543.956
AT ITER 2411 NEW BEST:: SOT 847330 SOS 285685 HAS SOPS 285092 HAS SOUS 105851 HAS SOUPS 105258 WITH SCORE 105543.685
AT ITER 2414 NEW BEST:: SOT 847284 SOS 285639 HAS SOPS 285046 HAS SOUS 105823 HAS SOUPS 105230 WITH SCORE 105515.639
AT ITER 2427 NEW BEST:: SOT 847284 SOS 285639 HAS SOPS 285046 HAS SOUS 105805 HAS SOUPS 105212 WITH SCORE 105497.639
AT ITER 2448 NEW BEST:: SOT 847269 SOS 285699 HAS SOPS 285106 HAS SOUS 105775 HAS SOUPS 105182 WITH SCORE 105467.699
AT ITER 2473 NEW BEST:: SOT 847265 SOS 285695 HAS SOPS 285102 HAS SOUS 105767 HAS SOUPS 105174 WITH SCORE 105459.695
AT ITER 2475 NEW BEST:: SOT 847245 SOS 285660 HAS SOPS 285067 HAS SOUS 105724 HAS SOUPS 105131 WITH SCORE 105416.66
AT ITER 2501 NEW BEST:: SOT 847152 SOS 285567 HAS SOPS 284974 HAS SOUS 105705 HAS SOUPS 105112 WITH SCORE 105397.567
AT ITER 2510 NEW BEST:: SOT 847152 SOS 285567 HAS SOPS 284974 HAS SOUS 105662 HAS SOUPS 105069 WITH SCORE 105354.567
AT ITER 2514 NEW BEST:: SOT 847124 SOS 285409 HAS SOPS 284816 HAS SOUS 105569 HAS SOUPS 104976 WITH SCORE 105261.409
AT ITER 2515 NEW BEST:: SOT 847102 SOS 285277 HAS SOPS 284684 HAS SOUS 105525 HAS SOUPS 104932 WITH SCORE 105217.277
AT ITER 2520 NEW BEST:: SOT 847100 SOS 285229 HAS SOPS 284636 HAS SOUS 105521 HAS SOUPS 104928 WITH SCORE 105213.229
AT ITER 2524 NEW BEST:: SOT 847100 SOS 285225 HAS SOPS 284632 HAS SOUS 105521 HAS SOUPS 104928 WITH SCORE 105213.225
AT ITER 2554 NEW BEST:: SOT 847020 SOS 285145 HAS SOPS 284552 HAS SOUS 105441 HAS SOUPS 104848 WITH SCORE 105133.145
AT ITER 2564 NEW BEST:: SOT 846935 SOS 284465 HAS SOPS 283872 HAS SOUS 105237 HAS SOUPS 104644 WITH SCORE 104928.465
AT ITER 2573 NEW BEST:: SOT 846630 SOS 284160 HAS SOPS 283567 HAS SOUS 104937 HAS SOUPS 104344 WITH SCORE 104628.16
AT ITER 2579 NEW BEST:: SOT 846630 SOS 284160 HAS SOPS 283567 HAS SOUS 104914 HAS SOUPS 104321 WITH SCORE 104605.16
AT ITER 2580 NEW BEST:: SOT 846502 SOS 284032 HAS SOPS 283439 HAS SOUS 104807 HAS SOUPS 104214 WITH SCORE 104498.032
AT ITER 2605 NEW BEST:: SOT 846498 SOS 284028 HAS SOPS 283435 HAS SOUS 104803 HAS SOUPS 104210 WITH SCORE 104494.028
AT ITER 2623 NEW BEST:: SOT 846479 SOS 284150 HAS SOPS 283557 HAS SOUS 104797 HAS SOUPS 104204 WITH SCORE 104488.15
AT ITER 2635 NEW BEST:: SOT 846488 SOS 284120 HAS SOPS 283527 HAS SOUS 104739 HAS SOUPS 104146 WITH SCORE 104430.12
AT ITER 2644 NEW BEST:: SOT 846488 SOS 284120 HAS SOPS 283527 HAS SOUS 104697 HAS SOUPS 104104 WITH SCORE 104388.12
AT ITER 2657 NEW BEST:: SOT 846487 SOS 284119 HAS SOPS 283526 HAS SOUS 104695 HAS SOUPS 104102 WITH SCORE 104386.119
AT ITER 2663 NEW BEST:: SOT 846295 SOS 283235 HAS SOPS 282642 HAS SOUS 104647 HAS SOUPS 104054 WITH SCORE 104337.235
AT ITER 2694 NEW BEST:: SOT 846319 SOS 283808 HAS SOPS 283215 HAS SOUS 104556 HAS SOUPS 103963 WITH SCORE 104246.808
AT ITER 2703 NEW BEST:: SOT 846348 SOS 284047 HAS SOPS 283454 HAS SOUS 104551 HAS SOUPS 103958 WITH SCORE 104242.047
AT ITER 2706 NEW BEST:: SOT 846494 SOS 284120 HAS SOPS 283527 HAS SOUS 104274 HAS SOUPS 103681 WITH SCORE 103965.12
AT ITER 2713 NEW BEST:: SOT 846520 SOS 284616 HAS SOPS 284023 HAS SOUS 104178 HAS SOUPS 103585 WITH SCORE 103869.616
AT ITER 2764 NEW BEST:: SOT 846492 SOS 284898 HAS SOPS 284305 HAS SOUS 104104 HAS SOUPS 103511 WITH SCORE 103795.898
AT ITER 2793 NEW BEST:: SOT 846484 SOS 284911 HAS SOPS 284318 HAS SOUS 104088 HAS SOUPS 103495 WITH SCORE 103779.911
AT ITER 2801 NEW BEST:: SOT 846424 SOS 284851 HAS SOPS 284258 HAS SOUS 103951 HAS SOUPS 103358 WITH SCORE 103642.851
AT ITER 2812 NEW BEST:: SOT 846362 SOS 284789 HAS SOPS 284196 HAS SOUS 103884 HAS SOUPS 103291 WITH SCORE 103575.789
AT ITER 2826 NEW BEST:: SOT 846351 SOS 284778 HAS SOPS 284185 HAS SOUS 103876 HAS SOUPS 103283 WITH SCORE 103567.778
AT ITER 2831 NEW BEST:: SOT 846337 SOS 284737 HAS SOPS 284144 HAS SOUS 103814 HAS SOUPS 103221 WITH SCORE 103505.737
AT ITER 2875 NEW BEST:: SOT 846331 SOS 284731 HAS SOPS 284138 HAS SOUS 103802 HAS SOUPS 103209 WITH SCORE 103493.731
AT ITER 2885 NEW BEST:: SOT 846331 SOS 284666 HAS SOPS 284073 HAS SOUS 103789 HAS SOUPS 103196 WITH SCORE 103480.666
AT ITER 2895 NEW BEST:: SOT 846234 SOS 284564 HAS SOPS 283971 HAS SOUS 103687 HAS SOUPS 103094 WITH SCORE 103378.564
AT ITER 2902 NEW BEST:: SOT 846234 SOS 284504 HAS SOPS 283911 HAS SOUS 103675 HAS SOUPS 103082 WITH SCORE 103366.504
AT ITER 2923 NEW BEST:: SOT 846239 SOS 284509 HAS SOPS 283916 HAS SOUS 103644 HAS SOUPS 103051 WITH SCORE 103335.509
AT ITER 2931 NEW BEST:: SOT 846195 SOS 284454 HAS SOPS 283861 HAS SOUS 103589 HAS SOUPS 102996 WITH SCORE 103280.454
AT ITER 2937 NEW BEST:: SOT 846185 SOS 284439 HAS SOPS 283846 HAS SOUS 103583 HAS SOUPS 102990 WITH SCORE 103274.439
AT ITER 2945 NEW BEST:: SOT 846182 SOS 284361 HAS SOPS 283768 HAS SOUS 103427 HAS SOUPS 102834 WITH SCORE 103118.361
AT ITER 2956 NEW BEST:: SOT 846129 SOS 284311 HAS SOPS 283718 HAS SOUS 103370 HAS SOUPS 102777 WITH SCORE 103061.311
AT ITER 2971 NEW BEST:: SOT 846050 SOS 284232 HAS SOPS 283639 HAS SOUS 103341 HAS SOUPS 102748 WITH SCORE 103032.232
AT ITER 3057 NEW BEST:: SOT 846010 SOS 284092 HAS SOPS 283499 HAS SOUS 103301 HAS SOUPS 102708 WITH SCORE 102992.092
AT ITER 3072 NEW BEST:: SOT 845947 SOS 283763 HAS SOPS 283170 HAS SOUS 103159 HAS SOUPS 102566 WITH SCORE 102849.763
AT ITER 3088 NEW BEST:: SOT 845901 SOS 283717 HAS SOPS 283124 HAS SOUS 103008 HAS SOUPS 102415 WITH SCORE 102698.717
AT ITER 3103 NEW BEST:: SOT 845892 SOS 283708 HAS SOPS 283115 HAS SOUS 102990 HAS SOUPS 102397 WITH SCORE 102680.708
AT ITER 3116 NEW BEST:: SOT 845892 SOS 283633 HAS SOPS 283040 HAS SOUS 102975 HAS SOUPS 102382 WITH SCORE 102665.633
AT ITER 3135 NEW BEST:: SOT 845792 SOS 283363 HAS SOPS 282770 HAS SOUS 102877 HAS SOUPS 102284 WITH SCORE 102567.363
AT ITER 3152 NEW BEST:: SOT 845792 SOS 283403 HAS SOPS 282810 HAS SOUS 102861 HAS SOUPS 102268 WITH SCORE 102551.403
AT ITER 3165 NEW BEST:: SOT 845756 SOS 283367 HAS SOPS 282774 HAS SOUS 102789 HAS SOUPS 102196 WITH SCORE 102479.367
AT ITER 3186 NEW BEST:: SOT 845597 SOS 283295 HAS SOPS 282702 HAS SOUS 102709 HAS SOUPS 102116 WITH SCORE 102399.295
AT ITER 3221 NEW BEST:: SOT 845536 SOS 283234 HAS SOPS 282641 HAS SOUS 102648 HAS SOUPS 102055 WITH SCORE 102338.234
AT ITER 3226 NEW BEST:: SOT 845520 SOS 283328 HAS SOPS 282735 HAS SOUS 102616 HAS SOUPS 102023 WITH SCORE 102306.328
AT ITER 3252 NEW BEST:: SOT 845412 SOS 283255 HAS SOPS 282662 HAS SOUS 102515 HAS SOUPS 101922 WITH SCORE 102205.255
AT ITER 3270 NEW BEST:: SOT 845412 SOS 283255 HAS SOPS 282662 HAS SOUS 102513 HAS SOUPS 101920 WITH SCORE 102203.255
AT ITER 3298 NEW BEST:: SOT 845090 SOS 282933 HAS SOPS 282512 HAS SOUS 102031 HAS SOUPS 101610 WITH SCORE 101892.933
AT ITER 3342 NEW BEST:: SOT 845090 SOS 282933 HAS SOPS 282512 HAS SOUS 102000 HAS SOUPS 101579 WITH SCORE 101861.933
AT ITER 3344 NEW BEST:: SOT 845024 SOS 281957 HAS SOPS 281536 HAS SOUS 101849 HAS SOUPS 101428 WITH SCORE 101709.957
AT ITER 3345 NEW BEST:: SOT 844997 SOS 281840 HAS SOPS 281419 HAS SOUS 101831 HAS SOUPS 101410 WITH SCORE 101691.84
AT ITER 3346 NEW BEST:: SOT 844826 SOS 281710 HAS SOPS 281289 HAS SOUS 101757 HAS SOUPS 101336 WITH SCORE 101617.71
AT ITER 3347 NEW BEST:: SOT 844826 SOS 281566 HAS SOPS 281145 HAS SOUS 101685 HAS SOUPS 101264 WITH SCORE 101545.566
AT ITER 3367 NEW BEST:: SOT 844826 SOS 281526 HAS SOPS 281105 HAS SOUS 101654 HAS SOUPS 101233 WITH SCORE 101514.526
AT ITER 3373 NEW BEST:: SOT 844502 SOS 280382 HAS SOPS 279961 HAS SOUS 101376 HAS SOUPS 100955 WITH SCORE 101235.382
AT ITER 3384 NEW BEST:: SOT 844521 SOS 280375 HAS SOPS 279954 HAS SOUS 101322 HAS SOUPS 100901 WITH SCORE 101181.375
AT ITER 3432 NEW BEST:: SOT 844560 SOS 280863 HAS SOPS 280442 HAS SOUS 101270 HAS SOUPS 100849 WITH SCORE 101129.863
AT ITER 3434 NEW BEST:: SOT 844560 SOS 280863 HAS SOPS 280442 HAS SOUS 101268 HAS SOUPS 100847 WITH SCORE 101127.863
AT ITER 3494 NEW BEST:: SOT 844574 SOS 280951 HAS SOPS 280530 HAS SOUS 101236 HAS SOUPS 100815 WITH SCORE 101095.951
AT ITER 3529 NEW BEST:: SOT 844570 SOS 280938 HAS SOPS 280517 HAS SOUS 101227 HAS SOUPS 100806 WITH SCORE 101086.938
AT ITER 3536 NEW BEST:: SOT 844570 SOS 280938 HAS SOPS 280517 HAS SOUS 101220 HAS SOUPS 100799 WITH SCORE 101079.938
AT ITER 3556 NEW BEST:: SOT 844299 SOS 280407 HAS SOPS 279986 HAS SOUS 101150 HAS SOUPS 100729 WITH SCORE 101009.407
AT ITER 3565 NEW BEST:: SOT 844299 SOS 280407 HAS SOPS 279986 HAS SOUS 101148 HAS SOUPS 100727 WITH SCORE 101007.407
AT ITER 3569 NEW BEST:: SOT 843996 SOS 281004 HAS SOPS 280583 HAS SOUS 101135 HAS SOUPS 100714 WITH SCORE 100995.004
AT ITER 3575 NEW BEST:: SOT 844012 SOS 280915 HAS SOPS 280494 HAS SOUS 100981 HAS SOUPS 100560 WITH SCORE 100840.915
AT ITER 3577 NEW BEST:: SOT 844002 SOS 280905 HAS SOPS 280484 HAS SOUS 100976 HAS SOUPS 100555 WITH SCORE 100835.905
AT ITER 3581 NEW BEST:: SOT 844002 SOS 280375 HAS SOPS 279954 HAS SOUS 100870 HAS SOUPS 100449 WITH SCORE 100729.375
AT ITER 3597 NEW BEST:: SOT 844050 SOS 280655 HAS SOPS 280234 HAS SOUS 100758 HAS SOUPS 100337 WITH SCORE 100617.655
AT ITER 3615 NEW BEST:: SOT 843939 SOS 281690 HAS SOPS 281179 HAS SOUS 100686 HAS SOUPS 100175 WITH SCORE 100456.69
AT ITER 3616 NEW BEST:: SOT 843894 SOS 281890 HAS SOPS 281379 HAS SOUS 100596 HAS SOUPS 100085 WITH SCORE 100366.89
AT ITER 3629 NEW BEST:: SOT 843907 SOS 281631 HAS SOPS 281120 HAS SOUS 100560 HAS SOUPS 100049 WITH SCORE 100330.631
AT ITER 3646 NEW BEST:: SOT 843822 SOS 281546 HAS SOPS 281035 HAS SOUS 100560 HAS SOUPS 100049 WITH SCORE 100330.546
AT ITER 3681 NEW BEST:: SOT 843797 SOS 281459 HAS SOPS 280948 HAS SOUS 100510 HAS SOUPS 99999 WITH SCORE 100280.459
AT ITER 3686 NEW BEST:: SOT 843504 SOS 281281 HAS SOPS 280770 HAS SOUS 100412 HAS SOUPS 99901 WITH SCORE 100182.281
AT ITER 3717 NEW BEST:: SOT 843503 SOS 281154 HAS SOPS 280643 HAS SOUS 100397 HAS SOUPS 99886 WITH SCORE 100167.154
AT ITER 3727 NEW BEST:: SOT 843474 SOS 281348 HAS SOPS 280837 HAS SOUS 100339 HAS SOUPS 99828 WITH SCORE 100109.348
AT ITER 3742 NEW BEST:: SOT 843516 SOS 280955 HAS SOPS 280444 HAS SOUS 100294 HAS SOUPS 99783 WITH SCORE 100063.955
AT ITER 3747 NEW BEST:: SOT 843417 SOS 280856 HAS SOPS 280345 HAS SOUS 100122 HAS SOUPS 99611 WITH SCORE 99891.856
AT ITER 3781 NEW BEST:: SOT 843321 SOS 280760 HAS SOPS 280297 HAS SOUS 100024 HAS SOUPS 99561 WITH SCORE 99841.76
AT ITER 3791 NEW BEST:: SOT 843318 SOS 280706 HAS SOPS 280243 HAS SOUS 100018 HAS SOUPS 99555 WITH SCORE 99835.706
AT ITER 3799 NEW BEST:: SOT 843310 SOS 280698 HAS SOPS 280235 HAS SOUS 100006 HAS SOUPS 99543 WITH SCORE 99823.698
AT ITER 3823 NEW BEST:: SOT 843279 SOS 280497 HAS SOPS 280034 HAS SOUS 99935 HAS SOUPS 99472 WITH SCORE 99752.497
AT ITER 3831 NEW BEST:: SOT 843271 SOS 280489 HAS SOPS 280026 HAS SOUS 99919 HAS SOUPS 99456 WITH SCORE 99736.489
AT ITER 3840 NEW BEST:: SOT 843257 SOS 280397 HAS SOPS 279934 HAS SOUS 99891 HAS SOUPS 99428 WITH SCORE 99708.397
AT ITER 3846 NEW BEST:: SOT 843221 SOS 280361 HAS SOPS 279898 HAS SOUS 99855 HAS SOUPS 99392 WITH SCORE 99672.361
AT ITER 3848 NEW BEST:: SOT 843218 SOS 280359 HAS SOPS 279896 HAS SOUS 99851 HAS SOUPS 99388 WITH SCORE 99668.359
AT ITER 3858 NEW BEST:: SOT 843204 SOS 280345 HAS SOPS 279882 HAS SOUS 99830 HAS SOUPS 99367 WITH SCORE 99647.345
AT ITER 3873 NEW BEST:: SOT 843299 SOS 280675 HAS SOPS 280212 HAS SOUS 99790 HAS SOUPS 99327 WITH SCORE 99607.675
AT ITER 3888 NEW BEST:: SOT 843416 SOS 281831 HAS SOPS 281368 HAS SOUS 99651 HAS SOUPS 99188 WITH SCORE 99469.831
AT ITER 3894 NEW BEST:: SOT 843346 SOS 281601 HAS SOPS 281138 HAS SOUS 99563 HAS SOUPS 99100 WITH SCORE 99381.601
AT ITER 3926 NEW BEST:: SOT 843201 SOS 281456 HAS SOPS 280993 HAS SOUS 99199 HAS SOUPS 98736 WITH SCORE 99017.456
AT ITER 3966 NEW BEST:: SOT 843222 SOS 281426 HAS SOPS 280963 HAS SOUS 99198 HAS SOUPS 98735 WITH SCORE 99016.426
AT ITER 4004 NEW BEST:: SOT 843202 SOS 281406 HAS SOPS 280943 HAS SOUS 99185 HAS SOUPS 98722 WITH SCORE 99003.406
AT ITER 4023 NEW BEST:: SOT 843190 SOS 281252 HAS SOPS 280789 HAS SOUS 99135 HAS SOUPS 98672 WITH SCORE 98953.252
AT ITER 4033 NEW BEST:: SOT 843190 SOS 281137 HAS SOPS 280674 HAS SOUS 99112 HAS SOUPS 98649 WITH SCORE 98930.137
AT ITER 4070 NEW BEST:: SOT 843190 SOS 281137 HAS SOPS 280674 HAS SOUS 99108 HAS SOUPS 98645 WITH SCORE 98926.137
AT ITER 4075 NEW BEST:: SOT 843099 SOS 280955 HAS SOPS 280492 HAS SOUS 98926 HAS SOUPS 98463 WITH SCORE 98743.955
AT ITER 4078 NEW BEST:: SOT 843037 SOS 280893 HAS SOPS 280430 HAS SOUS 98864 HAS SOUPS 98401 WITH SCORE 98681.893
AT ITER 4081 NEW BEST:: SOT 843037 SOS 280873 HAS SOPS 280410 HAS SOUS 98844 HAS SOUPS 98381 WITH SCORE 98661.873
AT ITER 4090 NEW BEST:: SOT 842905 SOS 280636 HAS SOPS 280173 HAS SOUS 98695 HAS SOUPS 98232 WITH SCORE 98512.636
AT ITER 4129 NEW BEST:: SOT 842905 SOS 280586 HAS SOPS 280123 HAS SOUS 98685 HAS SOUPS 98222 WITH SCORE 98502.586
AT ITER 4136 NEW BEST:: SOT 842811 SOS 280022 HAS SOPS 279559 HAS SOUS 98640 HAS SOUPS 98177 WITH SCORE 98457.022
AT ITER 4142 NEW BEST:: SOT 842806 SOS 280017 HAS SOPS 279554 HAS SOUS 98635 HAS SOUPS 98172 WITH SCORE 98452.017
AT ITER 4146 NEW BEST:: SOT 842767 SOS 279978 HAS SOPS 279515 HAS SOUS 98479 HAS SOUPS 98016 WITH SCORE 98295.978
AT ITER 4151 NEW BEST:: SOT 842749 SOS 279939 HAS SOPS 279476 HAS SOUS 98443 HAS SOUPS 97980 WITH SCORE 98259.939
AT ITER 4165 NEW BEST:: SOT 842749 SOS 279912 HAS SOPS 279449 HAS SOUS 98390 HAS SOUPS 97927 WITH SCORE 98206.912
AT ITER 4179 NEW BEST:: SOT 842712 SOS 280060 HAS SOPS 279597 HAS SOUS 98316 HAS SOUPS 97853 WITH SCORE 98133.06
AT ITER 4191 NEW BEST:: SOT 842689 SOS 280037 HAS SOPS 279574 HAS SOUS 98316 HAS SOUPS 97853 WITH SCORE 98133.037
AT ITER 4193 NEW BEST:: SOT 842683 SOS 280031 HAS SOPS 279568 HAS SOUS 98216 HAS SOUPS 97753 WITH SCORE 98033.031
AT ITER 4219 NEW BEST:: SOT 841820 SOS 279178 HAS SOPS 278715 HAS SOUS 97404 HAS SOUPS 96941 WITH SCORE 97220.178
AT ITER 4248 NEW BEST:: SOT 841801 SOS 279064 HAS SOPS 278601 HAS SOUS 97404 HAS SOUPS 96941 WITH SCORE 97220.064
AT ITER 4292 NEW BEST:: SOT 841801 SOS 279064 HAS SOPS 278601 HAS SOUS 97390 HAS SOUPS 96927 WITH SCORE 97206.064
AT ITER 4308 NEW BEST:: SOT 841022 SOS 289285 HAS SOPS 288822 HAS SOUS 96961 HAS SOUPS 96498 WITH SCORE 96787.285
AT ITER 4355 NEW BEST:: SOT 841011 SOS 289274 HAS SOPS 288811 HAS SOUS 96939 HAS SOUPS 96476 WITH SCORE 96765.274
AT ITER 4356 NEW BEST:: SOT 840990 SOS 289253 HAS SOPS 288790 HAS SOUS 96897 HAS SOUPS 96434 WITH SCORE 96723.253
AT ITER 4400 NEW BEST:: SOT 840990 SOS 289188 HAS SOPS 288725 HAS SOUS 96884 HAS SOUPS 96421 WITH SCORE 96710.188
AT ITER 4404 NEW BEST:: SOT 840972 SOS 289170 HAS SOPS 288707 HAS SOUS 96855 HAS SOUPS 96392 WITH SCORE 96681.17
AT ITER 4424 NEW BEST:: SOT 840959 SOS 289157 HAS SOPS 288694 HAS SOUS 96837 HAS SOUPS 96374 WITH SCORE 96663.157
AT ITER 4440 NEW BEST:: SOT 840789 SOS 288607 HAS SOPS 288144 HAS SOUS 96820 HAS SOUPS 96357 WITH SCORE 96645.607
AT ITER 4454 NEW BEST:: SOT 840744 SOS 288337 HAS SOPS 287874 HAS SOUS 96775 HAS SOUPS 96312 WITH SCORE 96600.337
AT ITER 4471 NEW BEST:: SOT 840648 SOS 288284 HAS SOPS 287821 HAS SOUS 96669 HAS SOUPS 96206 WITH SCORE 96494.284
AT ITER 4497 NEW BEST:: SOT 840636 SOS 288272 HAS SOPS 287809 HAS SOUS 96657 HAS SOUPS 96194 WITH SCORE 96482.272
AT ITER 4505 NEW BEST:: SOT 840755 SOS 288391 HAS SOPS 287928 HAS SOUS 96625 HAS SOUPS 96162 WITH SCORE 96450.391
AT ITER 4528 NEW BEST:: SOT 840755 SOS 287901 HAS SOPS 287438 HAS SOUS 96527 HAS SOUPS 96064 WITH SCORE 96351.901
AT ITER 4548 NEW BEST:: SOT 840726 SOS 287872 HAS SOPS 287409 HAS SOUS 96510 HAS SOUPS 96047 WITH SCORE 96334.872
AT ITER 4559 NEW BEST:: SOT 840662 SOS 287338 HAS SOPS 286875 HAS SOUS 96352 HAS SOUPS 95889 WITH SCORE 96176.338
AT ITER 4569 NEW BEST:: SOT 838783 SOS 285415 HAS SOPS 284952 HAS SOUS 94429 HAS SOUPS 93966 WITH SCORE 94251.415
AT ITER 4585 NEW BEST:: SOT 838762 SOS 285379 HAS SOPS 284916 HAS SOUS 94405 HAS SOUPS 93942 WITH SCORE 94227.379
AT ITER 4614 NEW BEST:: SOT 838595 SOS 284667 HAS SOPS 284204 HAS SOUS 94384 HAS SOUPS 93921 WITH SCORE 94205.667
AT ITER 4626 NEW BEST:: SOT 838549 SOS 284506 HAS SOPS 284043 HAS SOUS 94315 HAS SOUPS 93852 WITH SCORE 94136.506
AT ITER 4632 NEW BEST:: SOT 838535 SOS 284288 HAS SOPS 283825 HAS SOUS 94287 HAS SOUPS 93824 WITH SCORE 94108.288
AT ITER 4674 NEW BEST:: SOT 838523 SOS 284264 HAS SOPS 283801 HAS SOUS 94263 HAS SOUPS 93800 WITH SCORE 94084.264
AT ITER 4680 NEW BEST:: SOT 838528 SOS 284339 HAS SOPS 283876 HAS SOUS 94260 HAS SOUPS 93797 WITH SCORE 94081.339
AT ITER 4683 NEW BEST:: SOT 838509 SOS 284320 HAS SOPS 283857 HAS SOUS 94249 HAS SOUPS 93786 WITH SCORE 94070.32
AT ITER 4685 NEW BEST:: SOT 838042 SOS 283952 HAS SOPS 283489 HAS SOUS 93797 HAS SOUPS 93334 WITH SCORE 93617.952
AT ITER 4712 NEW BEST:: SOT 837997 SOS 284072 HAS SOPS 283609 HAS SOUS 93785 HAS SOUPS 93322 WITH SCORE 93606.072
AT ITER 4758 NEW BEST:: SOT 837997 SOS 283824 HAS SOPS 283361 HAS SOUS 93785 HAS SOUPS 93322 WITH SCORE 93605.824
AT ITER 4770 NEW BEST:: SOT 837985 SOS 283802 HAS SOPS 283339 HAS SOUS 93771 HAS SOUPS 93308 WITH SCORE 93591.802
AT ITER 4782 NEW BEST:: SOT 837772 SOS 287549 HAS SOPS 287086 HAS SOUS 93731 HAS SOUPS 93268 WITH SCORE 93555.549
AT ITER 4786 NEW BEST:: SOT 837772 SOS 287549 HAS SOPS 287086 HAS SOUS 93699 HAS SOUPS 93236 WITH SCORE 93523.549
AT ITER 4802 NEW BEST:: SOT 837708 SOS 287517 HAS SOPS 287054 HAS SOUS 93635 HAS SOUPS 93172 WITH SCORE 93459.517
AT ITER 4803 NEW BEST:: SOT 837704 SOS 287513 HAS SOPS 287050 HAS SOUS 93627 HAS SOUPS 93164 WITH SCORE 93451.513
AT ITER 4808 NEW BEST:: SOT 837713 SOS 287591 HAS SOPS 287128 HAS SOUS 93625 HAS SOUPS 93162 WITH SCORE 93449.591
AT ITER 4811 NEW BEST:: SOT 837671 SOS 287154 HAS SOPS 286691 HAS SOUS 93583 HAS SOUPS 93120 WITH SCORE 93407.154
AT ITER 4834 NEW BEST:: SOT 837777 SOS 287171 HAS SOPS 286708 HAS SOUS 93547 HAS SOUPS 93084 WITH SCORE 93371.171
AT ITER 4864 NEW BEST:: SOT 837783 SOS 287417 HAS SOPS 286954 HAS SOUS 93501 HAS SOUPS 93038 WITH SCORE 93325.417
AT ITER 4905 NEW BEST:: SOT 837765 SOS 287399 HAS SOPS 286936 HAS SOUS 93475 HAS SOUPS 93012 WITH SCORE 93299.399
AT ITER 4947 NEW BEST:: SOT 837774 SOS 290339 HAS SOPS 289786 HAS SOUS 93493 HAS SOUPS 92940 WITH SCORE 93230.339
AT ITER 4960 NEW BEST:: SOT 837770 SOS 290335 HAS SOPS 289782 HAS SOUS 93489 HAS SOUPS 92936 WITH SCORE 93226.335
AT ITER 4988 NEW BEST:: SOT 837762 SOS 290327 HAS SOPS 289774 HAS SOUS 93473 HAS SOUPS 92920 WITH SCORE 93210.327
AT ITER 5003 NEW BEST:: SOT 837724 SOS 290289 HAS SOPS 289736 HAS SOUS 93468 HAS SOUPS 92915 WITH SCORE 93205.289
AT ITER 5004 NEW BEST:: SOT 837647 SOS 290212 HAS SOPS 289659 HAS SOUS 93391 HAS SOUPS 92838 WITH SCORE 93128.212
AT ITER 5040 NEW BEST:: SOT 837630 SOS 290195 HAS SOPS 289642 HAS SOUS 93357 HAS SOUPS 92804 WITH SCORE 93094.195
AT ITER 5042 NEW BEST:: SOT 837630 SOS 290195 HAS SOPS 289642 HAS SOUS 93355 HAS SOUPS 92802 WITH SCORE 93092.195
AT ITER 5084 NEW BEST:: SOT 837624 SOS 290183 HAS SOPS 289630 HAS SOUS 93355 HAS SOUPS 92802 WITH SCORE 93092.183
AT ITER 5098 NEW BEST:: SOT 837617 SOS 290176 HAS SOPS 289623 HAS SOUS 93350 HAS SOUPS 92797 WITH SCORE 93087.176
AT ITER 5112 NEW BEST:: SOT 837559 SOS 290118 HAS SOPS 289565 HAS SOUS 93318 HAS SOUPS 92765 WITH SCORE 93055.118
AT ITER 5161 NEW BEST:: SOT 837588 SOS 291942 HAS SOPS 291389 HAS SOUS 93242 HAS SOUPS 92689 WITH SCORE 92980.942
AT ITER 5181 NEW BEST:: SOT 837578 SOS 291948 HAS SOPS 291395 HAS SOUS 93222 HAS SOUPS 92669 WITH SCORE 92960.948
AT ITER 5202 NEW BEST:: SOT 837409 SOS 291779 HAS SOPS 291226 HAS SOUS 93088 HAS SOUPS 92535 WITH SCORE 92826.779
AT ITER 5212 NEW BEST:: SOT 837346 SOS 291716 HAS SOPS 291163 HAS SOUS 92933 HAS SOUPS 92380 WITH SCORE 92671.716
AT ITER 5218 NEW BEST:: SOT 837313 SOS 291683 HAS SOPS 291130 HAS SOUS 92867 HAS SOUPS 92314 WITH SCORE 92605.683
AT ITER 5250 NEW BEST:: SOT 837070 SOS 287623 HAS SOPS 287215 HAS SOUS 92676 HAS SOUPS 92268 WITH SCORE 92555.623
AT ITER 5283 NEW BEST:: SOT 837067 SOS 287620 HAS SOPS 287212 HAS SOUS 92673 HAS SOUPS 92265 WITH SCORE 92552.62
AT ITER 5328 NEW BEST:: SOT 837033 SOS 287534 HAS SOPS 287126 HAS SOUS 92605 HAS SOUPS 92197 WITH SCORE 92484.534
AT ITER 5350 NEW BEST:: SOT 837006 SOS 287471 HAS SOPS 287063 HAS SOUS 92537 HAS SOUPS 92129 WITH SCORE 92416.471
AT ITER 5357 NEW BEST:: SOT 836949 SOS 287465 HAS SOPS 287057 HAS SOUS 92525 HAS SOUPS 92117 WITH SCORE 92404.465
AT ITER 5386 NEW BEST:: SOT 836918 SOS 287408 HAS SOPS 287000 HAS SOUS 92464 HAS SOUPS 92056 WITH SCORE 92343.408
AT ITER 5390 NEW BEST:: SOT 836738 SOS 287003 HAS SOPS 286595 HAS SOUS 92239 HAS SOUPS 91831 WITH SCORE 92118.003
AT ITER 5392 NEW BEST:: SOT 836769 SOS 287092 HAS SOPS 286684 HAS SOUS 92220 HAS SOUPS 91812 WITH SCORE 92099.092
AT ITER 5408 NEW BEST:: SOT 836765 SOS 287083 HAS SOPS 286675 HAS SOUS 92207 HAS SOUPS 91799 WITH SCORE 92086.083
AT ITER 5423 NEW BEST:: SOT 836797 SOS 287115 HAS SOPS 286707 HAS SOUS 92141 HAS SOUPS 91733 WITH SCORE 92020.115
AT ITER 5425 NEW BEST:: SOT 836755 SOS 287073 HAS SOPS 286665 HAS SOUS 92051 HAS SOUPS 91643 WITH SCORE 91930.073
AT ITER 5448 NEW BEST:: SOT 836743 SOS 287061 HAS SOPS 286653 HAS SOUS 92027 HAS SOUPS 91619 WITH SCORE 91906.061
AT ITER 5452 NEW BEST:: SOT 836743 SOS 287061 HAS SOPS 286653 HAS SOUS 92025 HAS SOUPS 91617 WITH SCORE 91904.061
AT ITER 5458 NEW BEST:: SOT 836743 SOS 287061 HAS SOPS 286653 HAS SOUS 92021 HAS SOUPS 91613 WITH SCORE 91900.061
AT ITER 5461 NEW BEST:: SOT 836743 SOS 286886 HAS SOPS 286478 HAS SOUS 91986 HAS SOUPS 91578 WITH SCORE 91864.886
AT ITER 5496 NEW BEST:: SOT 836723 SOS 286861 HAS SOPS 286453 HAS SOUS 91946 HAS SOUPS 91538 WITH SCORE 91824.861
AT ITER 5518 NEW BEST:: SOT 836728 SOS 286855 HAS SOPS 286447 HAS SOUS 91934 HAS SOUPS 91526 WITH SCORE 91812.855
AT ITER 5536 NEW BEST:: SOT 837144 SOS 287278 HAS SOPS 286870 HAS SOUS 91917 HAS SOUPS 91509 WITH SCORE 91796.278
AT ITER 5541 NEW BEST:: SOT 837144 SOS 287113 HAS SOPS 286705 HAS SOUS 91884 HAS SOUPS 91476 WITH SCORE 91763.113
AT ITER 5557 NEW BEST:: SOT 837201 SOS 287490 HAS SOPS 287082 HAS SOUS 91870 HAS SOUPS 91462 WITH SCORE 91749.49
AT ITER 5558 NEW BEST:: SOT 837159 SOS 287260 HAS SOPS 286852 HAS SOUS 91870 HAS SOUPS 91462 WITH SCORE 91749.26
AT ITER 5561 NEW BEST:: SOT 837191 SOS 287233 HAS SOPS 286825 HAS SOUS 91816 HAS SOUPS 91408 WITH SCORE 91695.233
AT ITER 5563 NEW BEST:: SOT 837240 SOS 287037 HAS SOPS 286629 HAS SOUS 91816 HAS SOUPS 91408 WITH SCORE 91695.037
AT ITER 5571 NEW BEST:: SOT 837218 SOS 287015 HAS SOPS 286607 HAS SOUS 91772 HAS SOUPS 91364 WITH SCORE 91651.015
AT ITER 5576 NEW BEST:: SOT 837041 SOS 286773 HAS SOPS 286365 HAS SOUS 91671 HAS SOUPS 91263 WITH SCORE 91549.773
AT ITER 5599 NEW BEST:: SOT 837009 SOS 286226 HAS SOPS 285818 HAS SOUS 91607 HAS SOUPS 91199 WITH SCORE 91485.226
AT ITER 5618 NEW BEST:: SOT 836990 SOS 286100 HAS SOPS 285692 HAS SOUS 91569 HAS SOUPS 91161 WITH SCORE 91447.1
AT ITER 5620 NEW BEST:: SOT 837224 SOS 286297 HAS SOPS 285889 HAS SOUS 91557 HAS SOUPS 91149 WITH SCORE 91435.297
AT ITER 5621 NEW BEST:: SOT 837163 SOS 286244 HAS SOPS 285836 HAS SOUS 91504 HAS SOUPS 91096 WITH SCORE 91382.244
AT ITER 5637 NEW BEST:: SOT 837112 SOS 286048 HAS SOPS 285640 HAS SOUS 91424 HAS SOUPS 91016 WITH SCORE 91302.048
AT ITER 5653 NEW BEST:: SOT 837067 SOS 286003 HAS SOPS 285595 HAS SOUS 91418 HAS SOUPS 91010 WITH SCORE 91296.003
AT ITER 5681 NEW BEST:: SOT 836979 SOS 285915 HAS SOPS 285507 HAS SOUS 91404 HAS SOUPS 90996 WITH SCORE 91281.915
AT ITER 5685 NEW BEST:: SOT 836975 SOS 285911 HAS SOPS 285503 HAS SOUS 91400 HAS SOUPS 90992 WITH SCORE 91277.911
AT ITER 5697 NEW BEST:: SOT 836975 SOS 285911 HAS SOPS 285503 HAS SOUS 91399 HAS SOUPS 90991 WITH SCORE 91276.911
AT ITER 5709 NEW BEST:: SOT 836942 SOS 285977 HAS SOPS 285569 HAS SOUS 91333 HAS SOUPS 90925 WITH SCORE 91210.977
AT ITER 5711 NEW BEST:: SOT 836965 SOS 286115 HAS SOPS 285707 HAS SOUS 91315 HAS SOUPS 90907 WITH SCORE 91193.115
AT ITER 5747 NEW BEST:: SOT 836918 SOS 286097 HAS SOPS 285689 HAS SOUS 91221 HAS SOUPS 90813 WITH SCORE 91099.097
AT ITER 5763 NEW BEST:: SOT 836897 SOS 286076 HAS SOPS 285668 HAS SOUS 91179 HAS SOUPS 90771 WITH SCORE 91057.076
AT ITER 5781 NEW BEST:: SOT 836818 SOS 285997 HAS SOPS 285589 HAS SOUS 91127 HAS SOUPS 90719 WITH SCORE 91004.997
AT ITER 5808 NEW BEST:: SOT 836812 SOS 285991 HAS SOPS 285583 HAS SOUS 91127 HAS SOUPS 90719 WITH SCORE 91004.991
AT ITER 5830 NEW BEST:: SOT 836826 SOS 285935 HAS SOPS 285527 HAS SOUS 91127 HAS SOUPS 90719 WITH SCORE 91004.935
AT ITER 5839 NEW BEST:: SOT 836835 SOS 285933 HAS SOPS 285525 HAS SOUS 91115 HAS SOUPS 90707 WITH SCORE 90992.933
AT ITER 5857 NEW BEST:: SOT 836835 SOS 285909 HAS SOPS 285501 HAS SOUS 91115 HAS SOUPS 90707 WITH SCORE 90992.909
AT ITER 5871 NEW BEST:: SOT 836788 SOS 285862 HAS SOPS 285454 HAS SOUS 91014 HAS SOUPS 90606 WITH SCORE 90891.862
AT ITER 5919 NEW BEST:: SOT 836741 SOS 285782 HAS SOPS 285374 HAS SOUS 90998 HAS SOUPS 90590 WITH SCORE 90875.782
AT ITER 5944 NEW BEST:: SOT 836741 SOS 285632 HAS SOPS 285224 HAS SOUS 90968 HAS SOUPS 90560 WITH SCORE 90845.632
AT ITER 5957 NEW BEST:: SOT 836464 SOS 285382 HAS SOPS 284974 HAS SOUS 90803 HAS SOUPS 90395 WITH SCORE 90680.382
AT ITER 5964 NEW BEST:: SOT 836450 SOS 285368 HAS SOPS 284960 HAS SOUS 90791 HAS SOUPS 90383 WITH SCORE 90668.368
AT ITER 5965 NEW BEST:: SOT 836467 SOS 285506 HAS SOPS 285098 HAS SOUS 90747 HAS SOUPS 90339 WITH SCORE 90624.506
AT ITER 6058 NEW BEST:: SOT 836459 SOS 285543 HAS SOPS 285135 HAS SOUS 90731 HAS SOUPS 90323 WITH SCORE 90608.543
AT ITER 6062 NEW BEST:: SOT 836394 SOS 285478 HAS SOPS 285070 HAS SOUS 90673 HAS SOUPS 90265 WITH SCORE 90550.478
AT ITER 6095 NEW BEST:: SOT 836340 SOS 285586 HAS SOPS 285178 HAS SOUS 90565 HAS SOUPS 90157 WITH SCORE 90442.586
AT ITER 6108 NEW BEST:: SOT 836340 SOS 285511 HAS SOPS 285103 HAS SOUS 90550 HAS SOUPS 90142 WITH SCORE 90427.511
AT ITER 6134 NEW BEST:: SOT 836296 SOS 285467 HAS SOPS 285059 HAS SOUS 90506 HAS SOUPS 90098 WITH SCORE 90383.467
AT ITER 6154 NEW BEST:: SOT 836296 SOS 285460 HAS SOPS 285052 HAS SOUS 90492 HAS SOUPS 90084 WITH SCORE 90369.46
AT ITER 6178 NEW BEST:: SOT 836148 SOS 285312 HAS SOPS 284904 HAS SOUS 90344 HAS SOUPS 89936 WITH SCORE 90221.312
AT ITER 6191 NEW BEST:: SOT 835918 SOS 284087 HAS SOPS 283679 HAS SOUS 90133 HAS SOUPS 89725 WITH SCORE 90009.087
AT ITER 6192 NEW BEST:: SOT 835860 SOS 283513 HAS SOPS 283105 HAS SOUS 90017 HAS SOUPS 89609 WITH SCORE 89892.513
AT ITER 6216 NEW BEST:: SOT 835877 SOS 283545 HAS SOPS 283137 HAS SOUS 90011 HAS SOUPS 89603 WITH SCORE 89886.545
AT ITER 6239 NEW BEST:: SOT 835965 SOS 284100 HAS SOPS 283692 HAS SOUS 89978 HAS SOUPS 89570 WITH SCORE 89854.1
AT ITER 6245 NEW BEST:: SOT 835960 SOS 284095 HAS SOPS 283687 HAS SOUS 89978 HAS SOUPS 89570 WITH SCORE 89854.095
AT ITER 6261 NEW BEST:: SOT 835809 SOS 284024 HAS SOPS 283616 HAS SOUS 89836 HAS SOUPS 89428 WITH SCORE 89712.024
AT ITER 6282 NEW BEST:: SOT 835809 SOS 284429 HAS SOPS 284021 HAS SOUS 89773 HAS SOUPS 89365 WITH SCORE 89649.429
AT ITER 6286 NEW BEST:: SOT 835710 SOS 284295 HAS SOPS 283887 HAS SOUS 89668 HAS SOUPS 89260 WITH SCORE 89544.295
AT ITER 6376 NEW BEST:: SOT 835650 SOS 284235 HAS SOPS 283827 HAS SOUS 89548 HAS SOUPS 89140 WITH SCORE 89424.235
AT ITER 6431 NEW BEST:: SOT 835633 SOS 284106 HAS SOPS 283698 HAS SOUS 89500 HAS SOUPS 89092 WITH SCORE 89376.106
AT ITER 6454 NEW BEST:: SOT 835572 SOS 284045 HAS SOPS 283637 HAS SOUS 89397 HAS SOUPS 88989 WITH SCORE 89273.045
AT ITER 6463 NEW BEST:: SOT 835572 SOS 284020 HAS SOPS 283612 HAS SOUS 89392 HAS SOUPS 88984 WITH SCORE 89268.02
AT ITER 6465 NEW BEST:: SOT 835524 SOS 283836 HAS SOPS 283428 HAS SOUS 89364 HAS SOUPS 88956 WITH SCORE 89239.836
AT ITER 6493 NEW BEST:: SOT 835515 SOS 283827 HAS SOPS 283419 HAS SOUS 89358 HAS SOUPS 88950 WITH SCORE 89233.827
AT ITER 6519 NEW BEST:: SOT 835151 SOS 292463 HAS SOPS 292055 HAS SOUS 89342 HAS SOUPS 88934 WITH SCORE 89226.463
AT ITER 6534 NEW BEST:: SOT 835151 SOS 292463 HAS SOPS 292055 HAS SOUS 89332 HAS SOUPS 88924 WITH SCORE 89216.463
AT ITER 6536 NEW BEST:: SOT 835134 SOS 292462 HAS SOPS 292054 HAS SOUS 89332 HAS SOUPS 88924 WITH SCORE 89216.462
AT ITER 6563 NEW BEST:: SOT 835120 SOS 292458 HAS SOPS 292050 HAS SOUS 89324 HAS SOUPS 88916 WITH SCORE 89208.458
AT ITER 6569 NEW BEST:: SOT 835089 SOS 292458 HAS SOPS 292050 HAS SOUS 89262 HAS SOUPS 88854 WITH SCORE 89146.458
AT ITER 6580 NEW BEST:: SOT 835086 SOS 292455 HAS SOPS 292047 HAS SOUS 89246 HAS SOUPS 88838 WITH SCORE 89130.455
AT ITER 6594 NEW BEST:: SOT 835074 SOS 292443 HAS SOPS 292035 HAS SOUS 89222 HAS SOUPS 88814 WITH SCORE 89106.443
AT ITER 6688 NEW BEST:: SOT 835032 SOS 292401 HAS SOPS 291993 HAS SOUS 89180 HAS SOUPS 88772 WITH SCORE 89064.401
AT ITER 6702 NEW BEST:: SOT 835032 SOS 292385 HAS SOPS 291977 HAS SOUS 89180 HAS SOUPS 88772 WITH SCORE 89064.385
AT ITER 6733 NEW BEST:: SOT 835016 SOS 292369 HAS SOPS 291961 HAS SOUS 89148 HAS SOUPS 88740 WITH SCORE 89032.369
AT ITER 6745 NEW BEST:: SOT 834900 SOS 292253 HAS SOPS 291845 HAS SOUS 89028 HAS SOUPS 88620 WITH SCORE 88912.253
AT ITER 6752 NEW BEST:: SOT 834832 SOS 292185 HAS SOPS 291777 HAS SOUS 88919 HAS SOUPS 88511 WITH SCORE 88803.185
AT ITER 6820 NEW BEST:: SOT 834797 SOS 292150 HAS SOPS 291742 HAS SOUS 88849 HAS SOUPS 88441 WITH SCORE 88733.15
AT ITER 6834 NEW BEST:: SOT 834727 SOS 292080 HAS SOPS 291672 HAS SOUS 88738 HAS SOUPS 88330 WITH SCORE 88622.08
AT ITER 6871 NEW BEST:: SOT 834745 SOS 292137 HAS SOPS 291729 HAS SOUS 88701 HAS SOUPS 88293 WITH SCORE 88585.137
AT ITER 6930 NEW BEST:: SOT 834768 SOS 292262 HAS SOPS 291790 HAS SOUS 88721 HAS SOUPS 88249 WITH SCORE 88541.262
AT ITER 6970 NEW BEST:: SOT 834670 SOS 292142 HAS SOPS 291670 HAS SOUS 88677 HAS SOUPS 88205 WITH SCORE 88497.142
AT ITER 6973 NEW BEST:: SOT 834571 SOS 292043 HAS SOPS 291571 HAS SOUS 88542 HAS SOUPS 88070 WITH SCORE 88362.043
AT ITER 6985 NEW BEST:: SOT 834527 SOS 291955 HAS SOPS 291483 HAS SOUS 88454 HAS SOUPS 87982 WITH SCORE 88273.955
AT ITER 7005 NEW BEST:: SOT 834506 SOS 291934 HAS SOPS 291462 HAS SOUS 88454 HAS SOUPS 87982 WITH SCORE 88273.934
AT ITER 7007 NEW BEST:: SOT 834506 SOS 291879 HAS SOPS 291407 HAS SOUS 88454 HAS SOUPS 87982 WITH SCORE 88273.879
AT ITER 7021 NEW BEST:: SOT 834505 SOS 291712 HAS SOPS 291240 HAS SOUS 88452 HAS SOUPS 87980 WITH SCORE 88271.712
AT ITER 7073 NEW BEST:: SOT 834441 SOS 291648 HAS SOPS 291176 HAS SOUS 88333 HAS SOUPS 87861 WITH SCORE 88152.648
AT ITER 7075 NEW BEST:: SOT 834421 SOS 291803 HAS SOPS 291331 HAS SOUS 88328 HAS SOUPS 87856 WITH SCORE 88147.803
AT ITER 7136 NEW BEST:: SOT 834421 SOS 291775 HAS SOPS 291303 HAS SOUS 88328 HAS SOUPS 87856 WITH SCORE 88147.775
AT ITER 7175 NEW BEST:: SOT 834423 SOS 291740 HAS SOPS 291268 HAS SOUS 88256 HAS SOUPS 87784 WITH SCORE 88075.74
AT ITER 7193 NEW BEST:: SOT 834420 SOS 291737 HAS SOPS 291265 HAS SOUS 88250 HAS SOUPS 87778 WITH SCORE 88069.737
AT ITER 7203 NEW BEST:: SOT 834415 SOS 291732 HAS SOPS 291260 HAS SOUS 88245 HAS SOUPS 87773 WITH SCORE 88064.732
AT ITER 7209 NEW BEST:: SOT 833396 SOS 290713 HAS SOPS 290241 HAS SOUS 87321 HAS SOUPS 86849 WITH SCORE 87139.713
AT ITER 7225 NEW BEST:: SOT 833428 SOS 290585 HAS SOPS 290113 HAS SOUS 87321 HAS SOUPS 86849 WITH SCORE 87139.585
AT ITER 7228 NEW BEST:: SOT 833492 SOS 291123 HAS SOPS 290651 HAS SOUS 87263 HAS SOUPS 86791 WITH SCORE 87082.123
AT ITER 7247 NEW BEST:: SOT 833387 SOS 291018 HAS SOPS 290546 HAS SOUS 87094 HAS SOUPS 86622 WITH SCORE 86913.018
AT ITER 7257 NEW BEST:: SOT 833434 SOS 291072 HAS SOPS 290600 HAS SOUS 87072 HAS SOUPS 86600 WITH SCORE 86891.072
AT ITER 7265 NEW BEST:: SOT 833434 SOS 291072 HAS SOPS 290600 HAS SOUS 87064 HAS SOUPS 86592 WITH SCORE 86883.072
AT ITER 7307 NEW BEST:: SOT 833423 SOS 291141 HAS SOPS 290669 HAS SOUS 87041 HAS SOUPS 86569 WITH SCORE 86860.141
AT ITER 7315 NEW BEST:: SOT 833404 SOS 291108 HAS SOPS 290636 HAS SOUS 87000 HAS SOUPS 86528 WITH SCORE 86819.108
AT ITER 7322 NEW BEST:: SOT 833312 SOS 291016 HAS SOPS 290544 HAS SOUS 86950 HAS SOUPS 86478 WITH SCORE 86769.016
AT ITER 7332 NEW BEST:: SOT 833290 SOS 290994 HAS SOPS 290522 HAS SOUS 86906 HAS SOUPS 86434 WITH SCORE 86724.994
AT ITER 7352 NEW BEST:: SOT 833282 SOS 290674 HAS SOPS 290202 HAS SOUS 86890 HAS SOUPS 86418 WITH SCORE 86708.674
AT ITER 7358 NEW BEST:: SOT 833175 SOS 290616 HAS SOPS 290144 HAS SOUS 86780 HAS SOUPS 86308 WITH SCORE 86598.616
AT ITER 7369 NEW BEST:: SOT 833181 SOS 290622 HAS SOPS 290150 HAS SOUS 86717 HAS SOUPS 86245 WITH SCORE 86535.622
AT ITER 7372 NEW BEST:: SOT 833115 SOS 290556 HAS SOPS 290084 HAS SOUS 86596 HAS SOUPS 86124 WITH SCORE 86414.556
AT ITER 7397 NEW BEST:: SOT 833115 SOS 290571 HAS SOPS 290099 HAS SOUS 86590 HAS SOUPS 86118 WITH SCORE 86408.571
AT ITER 7401 NEW BEST:: SOT 833105 SOS 290536 HAS SOPS 290064 HAS SOUS 86570 HAS SOUPS 86098 WITH SCORE 86388.536
AT ITER 7437 NEW BEST:: SOT 833105 SOS 290536 HAS SOPS 290064 HAS SOUS 86568 HAS SOUPS 86096 WITH SCORE 86386.536
AT ITER 7459 NEW BEST:: SOT 833123 SOS 290413 HAS SOPS 289941 HAS SOUS 86551 HAS SOUPS 86079 WITH SCORE 86369.413
AT ITER 7463 NEW BEST:: SOT 833113 SOS 290408 HAS SOPS 289936 HAS SOUS 86541 HAS SOUPS 86069 WITH SCORE 86359.408
AT ITER 7534 NEW BEST:: SOT 833112 SOS 290407 HAS SOPS 289935 HAS SOUS 86533 HAS SOUPS 86061 WITH SCORE 86351.407
AT ITER 7560 NEW BEST:: SOT 833082 SOS 290377 HAS SOPS 289905 HAS SOUS 86479 HAS SOUPS 86007 WITH SCORE 86297.377
AT ITER 7588 NEW BEST:: SOT 833082 SOS 290377 HAS SOPS 289905 HAS SOUS 86471 HAS SOUPS 85999 WITH SCORE 86289.377
AT ITER 7590 NEW BEST:: SOT 833077 SOS 290392 HAS SOPS 289920 HAS SOUS 86470 HAS SOUPS 85998 WITH SCORE 86288.392
AT ITER 7631 NEW BEST:: SOT 832986 SOS 290053 HAS SOPS 289581 HAS SOUS 86423 HAS SOUPS 85951 WITH SCORE 86241.053
AT ITER 7638 NEW BEST:: SOT 832980 SOS 290047 HAS SOPS 289575 HAS SOUS 86411 HAS SOUPS 85939 WITH SCORE 86229.047
AT ITER 7663 NEW BEST:: SOT 832974 SOS 290041 HAS SOPS 289569 HAS SOUS 86379 HAS SOUPS 85907 WITH SCORE 86197.041
AT ITER 7664 NEW BEST:: SOT 832974 SOS 290021 HAS SOPS 289549 HAS SOUS 86339 HAS SOUPS 85867 WITH SCORE 86157.021
AT ITER 7674 NEW BEST:: SOT 832863 SOS 289910 HAS SOPS 289438 HAS SOUS 86317 HAS SOUPS 85845 WITH SCORE 86134.91
AT ITER 7676 NEW BEST:: SOT 832859 SOS 289917 HAS SOPS 289445 HAS SOUS 86304 HAS SOUPS 85832 WITH SCORE 86121.917
AT ITER 7682 NEW BEST:: SOT 832476 SOS 289534 HAS SOPS 289062 HAS SOUS 85928 HAS SOUPS 85456 WITH SCORE 85745.534
AT ITER 7700 NEW BEST:: SOT 832485 SOS 289530 HAS SOPS 289058 HAS SOUS 85920 HAS SOUPS 85448 WITH SCORE 85737.53
AT ITER 7703 NEW BEST:: SOT 832493 SOS 289538 HAS SOPS 289066 HAS SOUS 85870 HAS SOUPS 85398 WITH SCORE 85687.538
AT ITER 7747 NEW BEST:: SOT 832466 SOS 289511 HAS SOPS 289039 HAS SOUS 85834 HAS SOUPS 85362 WITH SCORE 85651.511
AT ITER 7755 NEW BEST:: SOT 832448 SOS 289493 HAS SOPS 289021 HAS SOUS 85834 HAS SOUPS 85362 WITH SCORE 85651.493
AT ITER 7769 NEW BEST:: SOT 832464 SOS 289689 HAS SOPS 289217 HAS SOUS 85823 HAS SOUPS 85351 WITH SCORE 85640.689
AT ITER 7771 NEW BEST:: SOT 832457 SOS 289647 HAS SOPS 289175 HAS SOUS 85809 HAS SOUPS 85337 WITH SCORE 85626.647
AT ITER 7780 NEW BEST:: SOT 832441 SOS 289631 HAS SOPS 289159 HAS SOUS 85777 HAS SOUPS 85305 WITH SCORE 85594.631
AT ITER 7783 NEW BEST:: SOT 832286 SOS 288531 HAS SOPS 288059 HAS SOUS 85492 HAS SOUPS 85020 WITH SCORE 85308.531
AT ITER 7842 NEW BEST:: SOT 832178 SOS 288423 HAS SOPS 287951 HAS SOUS 85419 HAS SOUPS 84947 WITH SCORE 85235.423
AT ITER 7885 NEW BEST:: SOT 832169 SOS 288279 HAS SOPS 287807 HAS SOUS 85401 HAS SOUPS 84929 WITH SCORE 85217.279
AT ITER 7909 NEW BEST:: SOT 832169 SOS 288279 HAS SOPS 287807 HAS SOUS 85393 HAS SOUPS 84921 WITH SCORE 85209.279
AT ITER 7946 NEW BEST:: SOT 832162 SOS 288272 HAS SOPS 287800 HAS SOUS 85360 HAS SOUPS 84888 WITH SCORE 85176.272
AT ITER 7967 NEW BEST:: SOT 832162 SOS 288272 HAS SOPS 287800 HAS SOUS 85358 HAS SOUPS 84886 WITH SCORE 85174.272
AT ITER 7971 NEW BEST:: SOT 832132 SOS 288242 HAS SOPS 287770 HAS SOUS 85298 HAS SOUPS 84826 WITH SCORE 85114.242
AT ITER 7973 NEW BEST:: SOT 832111 SOS 288240 HAS SOPS 287768 HAS SOUS 85294 HAS SOUPS 84822 WITH SCORE 85110.24
AT ITER 7984 NEW BEST:: SOT 832095 SOS 288224 HAS SOPS 287752 HAS SOUS 85278 HAS SOUPS 84806 WITH SCORE 85094.224
AT ITER 7989 NEW BEST:: SOT 832018 SOS 288147 HAS SOPS 287675 HAS SOUS 85246 HAS SOUPS 84774 WITH SCORE 85062.147
AT ITER 7997 NEW BEST:: SOT 832011 SOS 288140 HAS SOPS 287668 HAS SOUS 85197 HAS SOUPS 84725 WITH SCORE 85013.14
AT ITER 8030 NEW BEST:: SOT 831867 SOS 287486 HAS SOPS 287014 HAS SOUS 85047 HAS SOUPS 84575 WITH SCORE 84862.486
AT ITER 8036 NEW BEST:: SOT 831798 SOS 287214 HAS SOPS 286742 HAS SOUS 84909 HAS SOUPS 84437 WITH SCORE 84724.214
AT ITER 8063 NEW BEST:: SOT 831619 SOS 287254 HAS SOPS 286782 HAS SOUS 84783 HAS SOUPS 84311 WITH SCORE 84598.254
AT ITER 8112 NEW BEST:: SOT 831584 SOS 286840 HAS SOPS 286368 HAS SOUS 84780 HAS SOUPS 84308 WITH SCORE 84594.84
AT ITER 8131 NEW BEST:: SOT 831566 SOS 286822 HAS SOPS 286350 HAS SOUS 84780 HAS SOUPS 84308 WITH SCORE 84594.822
AT ITER 8148 NEW BEST:: SOT 831529 SOS 287395 HAS SOPS 286923 HAS SOUS 84731 HAS SOUPS 84259 WITH SCORE 84546.395
AT ITER 8165 NEW BEST:: SOT 831529 SOS 287395 HAS SOPS 286923 HAS SOUS 84729 HAS SOUPS 84257 WITH SCORE 84544.395
AT ITER 8201 NEW BEST:: SOT 831509 SOS 287375 HAS SOPS 286903 HAS SOUS 84721 HAS SOUPS 84249 WITH SCORE 84536.375
AT ITER 8235 NEW BEST:: SOT 831475 SOS 287341 HAS SOPS 286869 HAS SOUS 84653 HAS SOUPS 84181 WITH SCORE 84468.341
AT ITER 8238 NEW BEST:: SOT 831481 SOS 287347 HAS SOPS 286875 HAS SOUS 84637 HAS SOUPS 84165 WITH SCORE 84452.347
AT ITER 8262 NEW BEST:: SOT 831480 SOS 287346 HAS SOPS 286874 HAS SOUS 84635 HAS SOUPS 84163 WITH SCORE 84450.346
AT ITER 8309 NEW BEST:: SOT 831434 SOS 287300 HAS SOPS 286828 HAS SOUS 84583 HAS SOUPS 84111 WITH SCORE 84398.3
AT ITER 8321 NEW BEST:: SOT 831426 SOS 287296 HAS SOPS 286824 HAS SOUS 84575 HAS SOUPS 84103 WITH SCORE 84390.296
AT ITER 8344 NEW BEST:: SOT 831387 SOS 287218 HAS SOPS 286746 HAS SOUS 84419 HAS SOUPS 83947 WITH SCORE 84234.218
AT ITER 8362 NEW BEST:: SOT 831389 SOS 287689 HAS SOPS 287217 HAS SOUS 84418 HAS SOUPS 83946 WITH SCORE 84233.689
AT ITER 8368 NEW BEST:: SOT 831386 SOS 287686 HAS SOPS 287214 HAS SOUS 84412 HAS SOUPS 83940 WITH SCORE 84227.686
AT ITER 8369 NEW BEST:: SOT 831367 SOS 287667 HAS SOPS 287195 HAS SOUS 84374 HAS SOUPS 83902 WITH SCORE 84189.667
AT ITER 8441 NEW BEST:: SOT 831367 SOS 287703 HAS SOPS 287231 HAS SOUS 84356 HAS SOUPS 83884 WITH SCORE 84171.703
AT ITER 8462 NEW BEST:: SOT 831362 SOS 287867 HAS SOPS 287395 HAS SOUS 84346 HAS SOUPS 83874 WITH SCORE 84161.867
AT ITER 8480 NEW BEST:: SOT 831373 SOS 287823 HAS SOPS 287351 HAS SOUS 84346 HAS SOUPS 83874 WITH SCORE 84161.823
AT ITER 8489 NEW BEST:: SOT 831354 SOS 287804 HAS SOPS 287332 HAS SOUS 84303 HAS SOUPS 83831 WITH SCORE 84118.804
AT ITER 8502 NEW BEST:: SOT 831354 SOS 287804 HAS SOPS 287332 HAS SOUS 84259 HAS SOUPS 83787 WITH SCORE 84074.804
AT ITER 8510 NEW BEST:: SOT 831133 SOS 291543 HAS SOPS 291071 HAS SOUS 84204 HAS SOUPS 83732 WITH SCORE 84023.543
AT ITER 8515 NEW BEST:: SOT 831133 SOS 291543 HAS SOPS 291071 HAS SOUS 84190 HAS SOUPS 83718 WITH SCORE 84009.543
AT ITER 8540 NEW BEST:: SOT 831133 SOS 291543 HAS SOPS 291071 HAS SOUS 84182 HAS SOUPS 83710 WITH SCORE 84001.543
AT ITER 8560 NEW BEST:: SOT 831131 SOS 291541 HAS SOPS 291069 HAS SOUS 84178 HAS SOUPS 83706 WITH SCORE 83997.541
AT ITER 8581 NEW BEST:: SOT 831131 SOS 291521 HAS SOPS 291049 HAS SOUS 84174 HAS SOUPS 83702 WITH SCORE 83993.521
AT ITER 8599 NEW BEST:: SOT 831088 SOS 291478 HAS SOPS 291006 HAS SOUS 84151 HAS SOUPS 83679 WITH SCORE 83970.478
AT ITER 8607 NEW BEST:: SOT 831059 SOS 291449 HAS SOPS 290977 HAS SOUS 84127 HAS SOUPS 83655 WITH SCORE 83946.449
AT ITER 8616 NEW BEST:: SOT 831012 SOS 291132 HAS SOPS 290660 HAS SOUS 84033 HAS SOUPS 83561 WITH SCORE 83852.132
AT ITER 8624 NEW BEST:: SOT 830929 SOS 291209 HAS SOPS 290737 HAS SOUS 83982 HAS SOUPS 83510 WITH SCORE 83801.209
AT ITER 8659 NEW BEST:: SOT 830886 SOS 291166 HAS SOPS 290694 HAS SOUS 83928 HAS SOUPS 83456 WITH SCORE 83747.166
AT ITER 8691 NEW BEST:: SOT 830882 SOS 291142 HAS SOPS 290670 HAS SOUS 83927 HAS SOUPS 83455 WITH SCORE 83746.142
AT ITER 8707 NEW BEST:: SOT 830884 SOS 291314 HAS SOPS 290842 HAS SOUS 83924 HAS SOUPS 83452 WITH SCORE 83743.314
AT ITER 8734 NEW BEST:: SOT 830873 SOS 291303 HAS SOPS 290831 HAS SOUS 83912 HAS SOUPS 83440 WITH SCORE 83731.303
AT ITER 8758 NEW BEST:: SOT 830788 SOS 291218 HAS SOPS 290746 HAS SOUS 83830 HAS SOUPS 83358 WITH SCORE 83649.218
AT ITER 8812 NEW BEST:: SOT 830773 SOS 291100 HAS SOPS 290628 HAS SOUS 83812 HAS SOUPS 83340 WITH SCORE 83631.1
AT ITER 8830 NEW BEST:: SOT 829967 SOS 290294 HAS SOPS 289822 HAS SOUS 83017 HAS SOUPS 82545 WITH SCORE 82835.294
AT ITER 8843 NEW BEST:: SOT 829967 SOS 290294 HAS SOPS 289822 HAS SOUS 83013 HAS SOUPS 82541 WITH SCORE 82831.294
AT ITER 8865 NEW BEST:: SOT 829961 SOS 290282 HAS SOPS 289810 HAS SOUS 83001 HAS SOUPS 82529 WITH SCORE 82819.282
AT ITER 8923 NEW BEST:: SOT 829933 SOS 290659 HAS SOPS 290187 HAS SOUS 82945 HAS SOUPS 82473 WITH SCORE 82763.659
AT ITER 8949 NEW BEST:: SOT 830017 SOS 291723 HAS SOPS 291251 HAS SOUS 82911 HAS SOUPS 82439 WITH SCORE 82730.723
AT ITER 8952 NEW BEST:: SOT 830011 SOS 291717 HAS SOPS 291245 HAS SOUS 82899 HAS SOUPS 82427 WITH SCORE 82718.717
AT ITER 9010 NEW BEST:: SOT 830006 SOS 291767 HAS SOPS 291295 HAS SOUS 82889 HAS SOUPS 82417 WITH SCORE 82708.767
AT ITER 9019 NEW BEST:: SOT 829991 SOS 291422 HAS SOPS 290950 HAS SOUS 82859 HAS SOUPS 82387 WITH SCORE 82678.422
AT ITER 9043 NEW BEST:: SOT 829964 SOS 291395 HAS SOPS 290923 HAS SOUS 82832 HAS SOUPS 82360 WITH SCORE 82651.395
AT ITER 9172 NEW BEST:: SOT 829727 SOS 290438 HAS SOPS 289966 HAS SOUS 82573 HAS SOUPS 82101 WITH SCORE 82391.438
AT ITER 9243 NEW BEST:: SOT 829718 SOS 290429 HAS SOPS 289957 HAS SOUS 82555 HAS SOUPS 82083 WITH SCORE 82373.429
AT ITER 9317 NEW BEST:: SOT 829658 SOS 290369 HAS SOPS 289897 HAS SOUS 82500 HAS SOUPS 82028 WITH SCORE 82318.369
AT ITER 9385 NEW BEST:: SOT 829627 SOS 290338 HAS SOPS 289866 HAS SOUS 82441 HAS SOUPS 81969 WITH SCORE 82259.338
AT ITER 9468 NEW BEST:: SOT 829602 SOS 290081 HAS SOPS 289609 HAS SOUS 82391 HAS SOUPS 81919 WITH SCORE 82209.081
AT ITER 9472 NEW BEST:: SOT 829612 SOS 290091 HAS SOPS 289619 HAS SOUS 82390 HAS SOUPS 81918 WITH SCORE 82208.091
AT ITER 9516 NEW BEST:: SOT 829598 SOS 290077 HAS SOPS 289605 HAS SOUS 82362 HAS SOUPS 81890 WITH SCORE 82180.077
AT ITER 9518 NEW BEST:: SOT 829587 SOS 290066 HAS SOPS 289594 HAS SOUS 82351 HAS SOUPS 81879 WITH SCORE 82169.066
AT ITER 9544 NEW BEST:: SOT 829582 SOS 290061 HAS SOPS 289589 HAS SOUS 82345 HAS SOUPS 81873 WITH SCORE 82163.061
AT ITER 9611 NEW BEST:: SOT 829582 SOS 290061 HAS SOPS 289589 HAS SOUS 82343 HAS SOUPS 81871 WITH SCORE 82161.061
AT ITER 9720 NEW BEST:: SOT 829597 SOS 290081 HAS SOPS 289609 HAS SOUS 82276 HAS SOUPS 81804 WITH SCORE 82094.081
AT ITER 9735 NEW BEST:: SOT 829594 SOS 290075 HAS SOPS 289603 HAS SOUS 82270 HAS SOUPS 81798 WITH SCORE 82088.075
AT ITER 9757 NEW BEST:: SOT 829520 SOS 289811 HAS SOPS 289339 HAS SOUS 82194 HAS SOUPS 81722 WITH SCORE 82011.811
AT ITER 9765 NEW BEST:: SOT 829480 SOS 289846 HAS SOPS 289374 HAS SOUS 82169 HAS SOUPS 81697 WITH SCORE 81986.846
AT ITER 9803 NEW BEST:: SOT 829480 SOS 289846 HAS SOPS 289374 HAS SOUS 82155 HAS SOUPS 81683 WITH SCORE 81972.846
AT ITER 9823 NEW BEST:: SOT 829503 SOS 290792 HAS SOPS 290261 HAS SOUS 82197 HAS SOUPS 81666 WITH SCORE 81956.792
AT ITER 9825 NEW BEST:: SOT 829520 SOS 290521 HAS SOPS 289990 HAS SOUS 82154 HAS SOUPS 81623 WITH SCORE 81913.521
AT ITER 9836 NEW BEST:: SOT 829536 SOS 290537 HAS SOPS 290006 HAS SOUS 82146 HAS SOUPS 81615 WITH SCORE 81905.537
AT ITER 9859 NEW BEST:: SOT 829508 SOS 290589 HAS SOPS 290058 HAS SOUS 82134 HAS SOUPS 81603 WITH SCORE 81893.589
AT ITER 9912 NEW BEST:: SOT 829468 SOS 291029 HAS SOPS 290498 HAS SOUS 82020 HAS SOUPS 81489 WITH SCORE 81780.029
AT ITER 9986 NEW BEST:: SOT 829449 SOS 291010 HAS SOPS 290479 HAS SOUS 81982 HAS SOUPS 81451 WITH SCORE 81742.01
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 6739080 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16114852 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBNT-COL-S05J40"
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 PolyORBNT-COL-S05J40, 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 r299-tall-167873953300656"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-COL-S05J40.tgz
mv PolyORBNT-COL-S05J40 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 ;