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-167873953300696.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-S10J40, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953300696
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 12K Feb 26 00:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 122K Feb 26 00:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 23:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 25 23:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 01:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 01:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 01:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 01:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K 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 1679532882852

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-S10J40
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 00:54:44] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 00:54:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 00:54:44] [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-23 00:54:44] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-23 00:54:45] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 663 ms
[2023-03-23 00:54:45] [INFO ] Imported 48 HL places and 38 HL transitions for a total of 894 PT places and 12462.0 transition bindings in 18 ms.
[2023-03-23 00:54:45] [INFO ] Unfolded HLPN to a Petri net with 894 places and 12380 transitions 114079 arcs in 192 ms.
[2023-03-23 00:54:45] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-23 00:54:45] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 894 places, 12380 transitions and 114079 arcs took 145 ms.
Total runtime 1105 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (COL), instance S10J40
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: 894 places, 12380 transitions, 114079 arcs.
AT ITER 0 NEW BEST:: SOT 10262727 SOS 1135978 HAS SOPS 1135900 HAS SOUS 343010 HAS SOUPS 342932 WITH SCORE 344067.978
AT ITER 31 NEW BEST:: SOT 10262704 SOS 1136175 HAS SOPS 1136097 HAS SOUS 342998 HAS SOUPS 342920 WITH SCORE 344056.175
AT ITER 36 NEW BEST:: SOT 10262201 SOS 1135755 HAS SOPS 1135677 HAS SOUS 342740 HAS SOUPS 342662 WITH SCORE 343797.755
AT ITER 37 NEW BEST:: SOT 10262123 SOS 1135677 HAS SOPS 1135599 HAS SOUS 342641 HAS SOUPS 342563 WITH SCORE 343698.677
AT ITER 39 NEW BEST:: SOT 10261732 SOS 1135327 HAS SOPS 1135249 HAS SOUS 342345 HAS SOUPS 342267 WITH SCORE 343402.327
AT ITER 40 NEW BEST:: SOT 10261450 SOS 1134225 HAS SOPS 1134147 HAS SOUS 342029 HAS SOUPS 341951 WITH SCORE 343085.225
AT ITER 47 NEW BEST:: SOT 10261357 SOS 1135152 HAS SOPS 1135074 HAS SOUS 341905 HAS SOUPS 341827 WITH SCORE 342962.152
AT ITER 59 NEW BEST:: SOT 10261021 SOS 1134758 HAS SOPS 1134680 HAS SOUS 341763 HAS SOUPS 341685 WITH SCORE 342819.758
AT ITER 83 NEW BEST:: SOT 10260931 SOS 1135558 HAS SOPS 1135480 HAS SOUS 341632 HAS SOUPS 341554 WITH SCORE 342689.558
AT ITER 98 NEW BEST:: SOT 10260497 SOS 1135216 HAS SOPS 1135138 HAS SOUS 341287 HAS SOUPS 341209 WITH SCORE 342344.216
AT ITER 110 NEW BEST:: SOT 10260226 SOS 1134871 HAS SOPS 1134793 HAS SOUS 341207 HAS SOUPS 341129 WITH SCORE 342263.871
AT ITER 113 NEW BEST:: SOT 10251938 SOS 2249313 HAS SOPS 2249235 HAS SOUS 338838 HAS SOUPS 338760 WITH SCORE 341009.313
AT ITER 137 NEW BEST:: SOT 10251932 SOS 2249313 HAS SOPS 2249235 HAS SOUS 338832 HAS SOUPS 338754 WITH SCORE 341003.313
AT ITER 138 NEW BEST:: SOT 10251659 SOS 2248220 HAS SOPS 2248142 HAS SOUS 338487 HAS SOUPS 338409 WITH SCORE 340657.22
AT ITER 143 NEW BEST:: SOT 10251278 SOS 2247891 HAS SOPS 2247813 HAS SOUS 338242 HAS SOUPS 338164 WITH SCORE 340411.891
AT ITER 166 NEW BEST:: SOT 10251214 SOS 2248457 HAS SOPS 2248379 HAS SOUS 338137 HAS SOUPS 338059 WITH SCORE 340307.457
AT ITER 171 NEW BEST:: SOT 10251094 SOS 2249713 HAS SOPS 2249635 HAS SOUS 338033 HAS SOUPS 337955 WITH SCORE 340204.713
AT ITER 179 NEW BEST:: SOT 10251026 SOS 2248965 HAS SOPS 2248887 HAS SOUS 337924 HAS SOUPS 337846 WITH SCORE 340094.965
AT ITER 184 NEW BEST:: SOT 10250885 SOS 2248824 HAS SOPS 2248746 HAS SOUS 337642 HAS SOUPS 337564 WITH SCORE 339812.824
AT ITER 187 NEW BEST:: SOT 10250779 SOS 2248718 HAS SOPS 2248640 HAS SOUS 337600 HAS SOUPS 337522 WITH SCORE 339770.718
AT ITER 205 NEW BEST:: SOT 10250605 SOS 2248544 HAS SOPS 2248466 HAS SOUS 337471 HAS SOUPS 337393 WITH SCORE 339641.544
AT ITER 220 NEW BEST:: SOT 10250425 SOS 2248364 HAS SOPS 2248286 HAS SOUS 337339 HAS SOUPS 337261 WITH SCORE 339509.364
AT ITER 224 NEW BEST:: SOT 10246865 SOS 2482404 HAS SOPS 2482326 HAS SOUS 335922 HAS SOUPS 335844 WITH SCORE 338326.404
AT ITER 240 NEW BEST:: SOT 10246817 SOS 2482356 HAS SOPS 2482278 HAS SOUS 335918 HAS SOUPS 335840 WITH SCORE 338322.356
AT ITER 266 NEW BEST:: SOT 10246766 SOS 2482305 HAS SOPS 2482227 HAS SOUS 335850 HAS SOUPS 335772 WITH SCORE 338254.305
AT ITER 267 NEW BEST:: SOT 10246755 SOS 2482294 HAS SOPS 2482216 HAS SOUS 335834 HAS SOUPS 335756 WITH SCORE 338238.294
AT ITER 277 NEW BEST:: SOT 10246797 SOS 2482285 HAS SOPS 2482207 HAS SOUS 335829 HAS SOUPS 335751 WITH SCORE 338233.285
AT ITER 279 NEW BEST:: SOT 10246781 SOS 2482269 HAS SOPS 2482191 HAS SOUS 335797 HAS SOUPS 335719 WITH SCORE 338201.269
AT ITER 293 NEW BEST:: SOT 10246339 SOS 2481986 HAS SOPS 2481908 HAS SOUS 335715 HAS SOUPS 335637 WITH SCORE 338118.986
AT ITER 322 NEW BEST:: SOT 10246309 SOS 2481983 HAS SOPS 2481878 HAS SOUS 335712 HAS SOUPS 335607 WITH SCORE 338088.983
AT ITER 335 NEW BEST:: SOT 10246175 SOS 2481849 HAS SOPS 2481744 HAS SOUS 335696 HAS SOUPS 335591 WITH SCORE 338072.849
AT ITER 355 NEW BEST:: SOT 10245828 SOS 2481532 HAS SOPS 2481427 HAS SOUS 335430 HAS SOUPS 335325 WITH SCORE 337806.532
AT ITER 392 NEW BEST:: SOT 10245939 SOS 2481593 HAS SOPS 2481488 HAS SOUS 335404 HAS SOUPS 335299 WITH SCORE 337780.593
AT ITER 394 NEW BEST:: SOT 10245936 SOS 2481590 HAS SOPS 2481485 HAS SOUS 335398 HAS SOUPS 335293 WITH SCORE 337774.59
AT ITER 402 NEW BEST:: SOT 10238679 SOS 2474333 HAS SOPS 2474228 HAS SOUS 328141 HAS SOUPS 328036 WITH SCORE 330510.333
AT ITER 404 NEW BEST:: SOT 10238645 SOS 2474265 HAS SOPS 2474160 HAS SOUS 328073 HAS SOUPS 327968 WITH SCORE 330442.265
AT ITER 418 NEW BEST:: SOT 10238645 SOS 2474265 HAS SOPS 2474160 HAS SOUS 328071 HAS SOUPS 327966 WITH SCORE 330440.265
AT ITER 419 NEW BEST:: SOT 10238664 SOS 2474233 HAS SOPS 2474128 HAS SOUS 327857 HAS SOUPS 327752 WITH SCORE 330226.233
AT ITER 421 NEW BEST:: SOT 10238615 SOS 2474215 HAS SOPS 2474110 HAS SOUS 327599 HAS SOUPS 327494 WITH SCORE 329968.215
AT ITER 434 NEW BEST:: SOT 10238509 SOS 2474109 HAS SOPS 2474004 HAS SOUS 327537 HAS SOUPS 327432 WITH SCORE 329906.109
AT ITER 438 NEW BEST:: SOT 10238626 SOS 2474137 HAS SOPS 2474032 HAS SOUS 327398 HAS SOUPS 327293 WITH SCORE 329767.137
AT ITER 439 NEW BEST:: SOT 10238626 SOS 2474105 HAS SOPS 2474000 HAS SOUS 327302 HAS SOUPS 327197 WITH SCORE 329671.105
AT ITER 459 NEW BEST:: SOT 10238632 SOS 2474061 HAS SOPS 2473956 HAS SOUS 327102 HAS SOUPS 326997 WITH SCORE 329471.061
AT ITER 472 NEW BEST:: SOT 10233074 SOS 2828343 HAS SOPS 2828238 HAS SOUS 324928 HAS SOUPS 324823 WITH SCORE 327651.343
AT ITER 544 NEW BEST:: SOT 10233092 SOS 2828310 HAS SOPS 2828205 HAS SOUS 324713 HAS SOUPS 324608 WITH SCORE 327436.31
AT ITER 547 NEW BEST:: SOT 10233056 SOS 2828238 HAS SOPS 2828133 HAS SOUS 324641 HAS SOUPS 324536 WITH SCORE 327364.238
AT ITER 553 NEW BEST:: SOT 10233056 SOS 2827548 HAS SOPS 2827443 HAS SOUS 324626 HAS SOUPS 324521 WITH SCORE 327348.548
AT ITER 558 NEW BEST:: SOT 10233066 SOS 2827509 HAS SOPS 2827404 HAS SOUS 324494 HAS SOUPS 324389 WITH SCORE 327216.509
AT ITER 595 NEW BEST:: SOT 10233028 SOS 2827471 HAS SOPS 2827366 HAS SOUS 324482 HAS SOUPS 324377 WITH SCORE 327204.471
AT ITER 602 NEW BEST:: SOT 10232990 SOS 2827433 HAS SOPS 2827328 HAS SOUS 324478 HAS SOUPS 324373 WITH SCORE 327200.433
AT ITER 614 NEW BEST:: SOT 10232845 SOS 2827288 HAS SOPS 2827183 HAS SOUS 324468 HAS SOUPS 324363 WITH SCORE 327190.288
AT ITER 636 NEW BEST:: SOT 10232845 SOS 2827259 HAS SOPS 2827154 HAS SOUS 324468 HAS SOUPS 324363 WITH SCORE 327190.259
AT ITER 647 NEW BEST:: SOT 10232845 SOS 2827186 HAS SOPS 2827081 HAS SOUS 324468 HAS SOUPS 324363 WITH SCORE 327190.186
AT ITER 675 NEW BEST:: SOT 10232845 SOS 2827186 HAS SOPS 2827081 HAS SOUS 324466 HAS SOUPS 324361 WITH SCORE 327188.186
AT ITER 693 NEW BEST:: SOT 10232518 SOS 2826897 HAS SOPS 2826792 HAS SOUS 324129 HAS SOUPS 324024 WITH SCORE 326850.897
AT ITER 710 NEW BEST:: SOT 10232520 SOS 2828510 HAS SOPS 2828405 HAS SOUS 324111 HAS SOUPS 324006 WITH SCORE 326834.51
AT ITER 745 NEW BEST:: SOT 10232520 SOS 2828478 HAS SOPS 2828373 HAS SOUS 324111 HAS SOUPS 324006 WITH SCORE 326834.478
AT ITER 752 NEW BEST:: SOT 10232487 SOS 2828479 HAS SOPS 2828374 HAS SOUS 323911 HAS SOUPS 323806 WITH SCORE 326634.479
AT ITER 762 NEW BEST:: SOT 10232099 SOS 2828151 HAS SOPS 2828046 HAS SOUS 323541 HAS SOUPS 323436 WITH SCORE 326264.151
AT ITER 773 NEW BEST:: SOT 10232099 SOS 2829141 HAS SOPS 2829036 HAS SOUS 323500 HAS SOUPS 323395 WITH SCORE 326224.141
AT ITER 776 NEW BEST:: SOT 10231670 SOS 2827892 HAS SOPS 2827787 HAS SOUS 323090 HAS SOUPS 322985 WITH SCORE 325812.892
AT ITER 777 NEW BEST:: SOT 10231666 SOS 2827888 HAS SOPS 2827783 HAS SOUS 323082 HAS SOUPS 322977 WITH SCORE 325804.888
AT ITER 783 NEW BEST:: SOT 10231583 SOS 2827697 HAS SOPS 2827592 HAS SOUS 322907 HAS SOUPS 322802 WITH SCORE 325629.697
AT ITER 787 NEW BEST:: SOT 10231478 SOS 2827192 HAS SOPS 2827087 HAS SOUS 322784 HAS SOUPS 322679 WITH SCORE 325506.192
AT ITER 800 NEW BEST:: SOT 10231212 SOS 2826933 HAS SOPS 2826828 HAS SOUS 322529 HAS SOUPS 322424 WITH SCORE 325250.933
AT ITER 819 NEW BEST:: SOT 10230934 SOS 2826542 HAS SOPS 2826437 HAS SOUS 322489 HAS SOUPS 322384 WITH SCORE 325210.542
AT ITER 820 NEW BEST:: SOT 10230807 SOS 2826444 HAS SOPS 2826339 HAS SOUS 322387 HAS SOUPS 322282 WITH SCORE 325108.444
AT ITER 825 NEW BEST:: SOT 10230906 SOS 2827699 HAS SOPS 2827594 HAS SOUS 322372 HAS SOUPS 322267 WITH SCORE 325094.699
AT ITER 839 NEW BEST:: SOT 10230892 SOS 2827685 HAS SOPS 2827580 HAS SOUS 322358 HAS SOUPS 322253 WITH SCORE 325080.685
AT ITER 846 NEW BEST:: SOT 10230892 SOS 2827035 HAS SOPS 2826930 HAS SOUS 322274 HAS SOUPS 322169 WITH SCORE 324996.035
AT ITER 853 NEW BEST:: SOT 10230691 SOS 2826726 HAS SOPS 2826621 HAS SOUS 322108 HAS SOUPS 322003 WITH SCORE 324829.726
AT ITER 883 NEW BEST:: SOT 10230861 SOS 2828905 HAS SOPS 2828800 HAS SOUS 321998 HAS SOUPS 321893 WITH SCORE 324721.905
AT ITER 888 NEW BEST:: SOT 10230476 SOS 2828569 HAS SOPS 2828464 HAS SOUS 321758 HAS SOUPS 321653 WITH SCORE 324481.569
AT ITER 917 NEW BEST:: SOT 10230476 SOS 2828869 HAS SOPS 2828764 HAS SOUS 321717 HAS SOUPS 321612 WITH SCORE 324440.869
AT ITER 932 NEW BEST:: SOT 10221418 SOS 2820032 HAS SOPS 2819706 HAS SOUS 312880 HAS SOUPS 312554 WITH SCORE 315374.032
AT ITER 935 NEW BEST:: SOT 10221312 SOS 2819926 HAS SOPS 2819600 HAS SOUS 312744 HAS SOUPS 312418 WITH SCORE 315237.926
AT ITER 964 NEW BEST:: SOT 10221312 SOS 2819926 HAS SOPS 2819600 HAS SOUS 312728 HAS SOUPS 312402 WITH SCORE 315221.926
AT ITER 981 NEW BEST:: SOT 10221298 SOS 2819772 HAS SOPS 2819446 HAS SOUS 312714 HAS SOUPS 312388 WITH SCORE 315207.772
AT ITER 992 NEW BEST:: SOT 10211694 SOS 2813022 HAS SOPS 2812246 HAS SOUS 303408 HAS SOUPS 302632 WITH SCORE 305445.022
AT ITER 997 NEW BEST:: SOT 10211669 SOS 2812997 HAS SOPS 2812221 HAS SOUS 303358 HAS SOUPS 302582 WITH SCORE 305394.997
AT ITER 999 NEW BEST:: SOT 10211675 SOS 2813003 HAS SOPS 2812227 HAS SOUS 303352 HAS SOUPS 302576 WITH SCORE 305389.003
AT ITER 1011 NEW BEST:: SOT 10211511 SOS 2813149 HAS SOPS 2812373 HAS SOUS 303264 HAS SOUPS 302488 WITH SCORE 305301.149
AT ITER 1019 NEW BEST:: SOT 10211212 SOS 2812905 HAS SOPS 2812129 HAS SOUS 303156 HAS SOUPS 302380 WITH SCORE 305192.905
AT ITER 1025 NEW BEST:: SOT 10212032 SOS 2813725 HAS SOPS 2812949 HAS SOUS 302680 HAS SOUPS 301904 WITH SCORE 304717.725
AT ITER 1038 NEW BEST:: SOT 10212032 SOS 2814625 HAS SOPS 2813849 HAS SOUS 302639 HAS SOUPS 301863 WITH SCORE 304677.625
AT ITER 1060 NEW BEST:: SOT 10211815 SOS 2814408 HAS SOPS 2813632 HAS SOUS 302637 HAS SOUPS 301861 WITH SCORE 304675.408
AT ITER 1061 NEW BEST:: SOT 10211807 SOS 2816034 HAS SOPS 2815258 HAS SOUS 302602 HAS SOUPS 301826 WITH SCORE 304642.034
AT ITER 1071 NEW BEST:: SOT 10211805 SOS 2816117 HAS SOPS 2815341 HAS SOUS 302330 HAS SOUPS 301554 WITH SCORE 304370.117
AT ITER 1077 NEW BEST:: SOT 10211758 SOS 2815975 HAS SOPS 2815199 HAS SOUS 302236 HAS SOUPS 301460 WITH SCORE 304275.975
AT ITER 1083 NEW BEST:: SOT 10209904 SOS 2814261 HAS SOPS 2813485 HAS SOUS 301878 HAS SOUPS 301102 WITH SCORE 303916.261
AT ITER 1088 NEW BEST:: SOT 10209903 SOS 2814260 HAS SOPS 2813484 HAS SOUS 301875 HAS SOUPS 301099 WITH SCORE 303913.26
AT ITER 1089 NEW BEST:: SOT 10209878 SOS 2814235 HAS SOPS 2813459 HAS SOUS 301860 HAS SOUPS 301084 WITH SCORE 303898.235
AT ITER 1099 NEW BEST:: SOT 10209869 SOS 2814226 HAS SOPS 2813450 HAS SOUS 301842 HAS SOUPS 301066 WITH SCORE 303880.226
AT ITER 1113 NEW BEST:: SOT 10209684 SOS 2813221 HAS SOPS 2812445 HAS SOUS 301659 HAS SOUPS 300883 WITH SCORE 303696.221
AT ITER 1115 NEW BEST:: SOT 10209548 SOS 2812265 HAS SOPS 2811489 HAS SOUS 301527 HAS SOUPS 300751 WITH SCORE 303563.265
AT ITER 1119 NEW BEST:: SOT 10209548 SOS 2812265 HAS SOPS 2811489 HAS SOUS 301501 HAS SOUPS 300725 WITH SCORE 303537.265
AT ITER 1143 NEW BEST:: SOT 10209601 SOS 2813058 HAS SOPS 2812282 HAS SOUS 301472 HAS SOUPS 300696 WITH SCORE 303509.058
AT ITER 1144 NEW BEST:: SOT 10209601 SOS 2813997 HAS SOPS 2813221 HAS SOUS 301431 HAS SOUPS 300655 WITH SCORE 303468.997
AT ITER 1189 NEW BEST:: SOT 10209528 SOS 2812528 HAS SOPS 2811752 HAS SOUS 301416 HAS SOUPS 300640 WITH SCORE 303452.528
AT ITER 1208 NEW BEST:: SOT 10209495 SOS 2816948 HAS SOPS 2816172 HAS SOUS 300907 HAS SOUPS 300131 WITH SCORE 302947.948
AT ITER 1216 NEW BEST:: SOT 10209405 SOS 2816858 HAS SOPS 2816082 HAS SOUS 300817 HAS SOUPS 300041 WITH SCORE 302857.858
AT ITER 1225 NEW BEST:: SOT 10209405 SOS 2816858 HAS SOPS 2816082 HAS SOUS 300739 HAS SOUPS 299963 WITH SCORE 302779.858
AT ITER 1232 NEW BEST:: SOT 10209405 SOS 2816858 HAS SOPS 2816082 HAS SOUS 300733 HAS SOUPS 299957 WITH SCORE 302773.858
AT ITER 1236 NEW BEST:: SOT 10209386 SOS 2816839 HAS SOPS 2816063 HAS SOUS 300695 HAS SOUPS 299919 WITH SCORE 302735.839
AT ITER 1237 NEW BEST:: SOT 10209421 SOS 2816874 HAS SOPS 2816098 HAS SOUS 300679 HAS SOUPS 299903 WITH SCORE 302719.874
AT ITER 1255 NEW BEST:: SOT 10209421 SOS 2816054 HAS SOPS 2815278 HAS SOUS 300628 HAS SOUPS 299852 WITH SCORE 302668.054
AT ITER 1256 NEW BEST:: SOT 10209322 SOS 2815955 HAS SOPS 2815179 HAS SOUS 300529 HAS SOUPS 299753 WITH SCORE 302568.955
AT ITER 1261 NEW BEST:: SOT 10209308 SOS 2815934 HAS SOPS 2815158 HAS SOUS 300487 HAS SOUPS 299711 WITH SCORE 302526.934
AT ITER 1263 NEW BEST:: SOT 10209308 SOS 2815853 HAS SOPS 2815077 HAS SOUS 300487 HAS SOUPS 299711 WITH SCORE 302526.853
AT ITER 1266 NEW BEST:: SOT 10209275 SOS 2815820 HAS SOPS 2815044 HAS SOUS 300452 HAS SOUPS 299676 WITH SCORE 302491.82
AT ITER 1270 NEW BEST:: SOT 10209275 SOS 2815820 HAS SOPS 2815044 HAS SOUS 300450 HAS SOUPS 299674 WITH SCORE 302489.82
AT ITER 1273 NEW BEST:: SOT 10208978 SOS 2814173 HAS SOPS 2813397 HAS SOUS 300224 HAS SOUPS 299448 WITH SCORE 302262.173
AT ITER 1278 NEW BEST:: SOT 10208643 SOS 2813018 HAS SOPS 2812242 HAS SOUS 299873 HAS SOUPS 299097 WITH SCORE 301910.018
AT ITER 1291 NEW BEST:: SOT 10208606 SOS 2812860 HAS SOPS 2812084 HAS SOUS 299794 HAS SOUPS 299018 WITH SCORE 301830.86
AT ITER 1295 NEW BEST:: SOT 10208455 SOS 2812709 HAS SOPS 2811933 HAS SOUS 299492 HAS SOUPS 298716 WITH SCORE 301528.709
AT ITER 1299 NEW BEST:: SOT 10208090 SOS 2811524 HAS SOPS 2810748 HAS SOUS 299056 HAS SOUPS 298280 WITH SCORE 301091.524
AT ITER 1310 NEW BEST:: SOT 10208050 SOS 2798794 HAS SOPS 2798018 HAS SOUS 298976 HAS SOUPS 298200 WITH SCORE 300998.794
AT ITER 1331 NEW BEST:: SOT 10206890 SOS 2797642 HAS SOPS 2796866 HAS SOUS 297828 HAS SOUPS 297052 WITH SCORE 299849.642
AT ITER 1339 NEW BEST:: SOT 10206775 SOS 2797527 HAS SOPS 2796751 HAS SOUS 297768 HAS SOUPS 296992 WITH SCORE 299789.527
AT ITER 1363 NEW BEST:: SOT 10207545 SOS 2798297 HAS SOPS 2797521 HAS SOUS 294249 HAS SOUPS 293473 WITH SCORE 296271.297
AT ITER 1369 NEW BEST:: SOT 10207613 SOS 2798365 HAS SOPS 2797589 HAS SOUS 294181 HAS SOUPS 293405 WITH SCORE 296203.365
AT ITER 1371 NEW BEST:: SOT 10207481 SOS 2797863 HAS SOPS 2797087 HAS SOUS 294024 HAS SOUPS 293248 WITH SCORE 296045.863
AT ITER 1377 NEW BEST:: SOT 10207480 SOS 2797862 HAS SOPS 2797086 HAS SOUS 294022 HAS SOUPS 293246 WITH SCORE 296043.862
AT ITER 1379 NEW BEST:: SOT 10207218 SOS 2797600 HAS SOPS 2796824 HAS SOUS 293758 HAS SOUPS 292982 WITH SCORE 295779.6
AT ITER 1420 NEW BEST:: SOT 10207145 SOS 2797527 HAS SOPS 2796751 HAS SOUS 293580 HAS SOUPS 292804 WITH SCORE 295601.527
AT ITER 1428 NEW BEST:: SOT 10205172 SOS 2795916 HAS SOPS 2794909 HAS SOUS 293355 HAS SOUPS 292348 WITH SCORE 295143.916
AT ITER 1430 NEW BEST:: SOT 10205136 SOS 2795880 HAS SOPS 2794873 HAS SOUS 293283 HAS SOUPS 292276 WITH SCORE 295071.88
AT ITER 1436 NEW BEST:: SOT 10205134 SOS 2795841 HAS SOPS 2794834 HAS SOUS 293205 HAS SOUPS 292198 WITH SCORE 294993.841
AT ITER 1444 NEW BEST:: SOT 10205050 SOS 2794737 HAS SOPS 2793730 HAS SOUS 293019 HAS SOUPS 292012 WITH SCORE 294806.737
AT ITER 1455 NEW BEST:: SOT 10205036 SOS 2794657 HAS SOPS 2793650 HAS SOUS 292991 HAS SOUPS 291984 WITH SCORE 294778.657
AT ITER 1461 NEW BEST:: SOT 10205035 SOS 2794552 HAS SOPS 2793545 HAS SOUS 292775 HAS SOUPS 291768 WITH SCORE 294562.552
AT ITER 1463 NEW BEST:: SOT 10205035 SOS 2794436 HAS SOPS 2793429 HAS SOUS 292775 HAS SOUPS 291768 WITH SCORE 294562.436
AT ITER 1470 NEW BEST:: SOT 10204618 SOS 2792789 HAS SOPS 2791782 HAS SOUS 292371 HAS SOUPS 291364 WITH SCORE 294156.789
AT ITER 1475 NEW BEST:: SOT 10204484 SOS 2792425 HAS SOPS 2791418 HAS SOUS 292218 HAS SOUPS 291211 WITH SCORE 294003.425
AT ITER 1482 NEW BEST:: SOT 10204484 SOS 2792225 HAS SOPS 2791218 HAS SOUS 292165 HAS SOUPS 291158 WITH SCORE 293950.225
AT ITER 1496 NEW BEST:: SOT 10204484 SOS 2792225 HAS SOPS 2791218 HAS SOUS 292162 HAS SOUPS 291155 WITH SCORE 293947.225
AT ITER 1504 NEW BEST:: SOT 10204421 SOS 2792162 HAS SOPS 2791155 HAS SOUS 292036 HAS SOUPS 291029 WITH SCORE 293821.162
AT ITER 1517 NEW BEST:: SOT 10204402 SOS 2792163 HAS SOPS 2791156 HAS SOUS 291955 HAS SOUPS 290948 WITH SCORE 293740.163
AT ITER 1519 NEW BEST:: SOT 10204356 SOS 2791517 HAS SOPS 2790510 HAS SOUS 291895 HAS SOUPS 290888 WITH SCORE 293679.517
AT ITER 1526 NEW BEST:: SOT 10204348 SOS 2791517 HAS SOPS 2790510 HAS SOUS 291887 HAS SOUPS 290880 WITH SCORE 293671.517
AT ITER 1527 NEW BEST:: SOT 10204348 SOS 2791462 HAS SOPS 2790455 HAS SOUS 291887 HAS SOUPS 290880 WITH SCORE 293671.462
AT ITER 1529 NEW BEST:: SOT 10204348 SOS 2791062 HAS SOPS 2790055 HAS SOUS 291847 HAS SOUPS 290840 WITH SCORE 293631.062
AT ITER 1539 NEW BEST:: SOT 10204268 SOS 2790982 HAS SOPS 2789975 HAS SOUS 291732 HAS SOUPS 290725 WITH SCORE 293515.982
AT ITER 1544 NEW BEST:: SOT 10204266 SOS 2790894 HAS SOPS 2789887 HAS SOUS 291728 HAS SOUPS 290721 WITH SCORE 293511.894
AT ITER 1552 NEW BEST:: SOT 10204256 SOS 2790884 HAS SOPS 2789877 HAS SOUS 291724 HAS SOUPS 290717 WITH SCORE 293507.884
AT ITER 1560 NEW BEST:: SOT 10204239 SOS 2790867 HAS SOPS 2789860 HAS SOUS 291723 HAS SOUPS 290716 WITH SCORE 293506.867
AT ITER 1572 NEW BEST:: SOT 10204187 SOS 2790815 HAS SOPS 2789808 HAS SOUS 291590 HAS SOUPS 290583 WITH SCORE 293373.815
AT ITER 1595 NEW BEST:: SOT 10201943 SOS 2788693 HAS SOPS 2787686 HAS SOUS 290444 HAS SOUPS 289437 WITH SCORE 292225.693
AT ITER 1603 NEW BEST:: SOT 10201938 SOS 2788688 HAS SOPS 2787681 HAS SOUS 290434 HAS SOUPS 289427 WITH SCORE 292215.688
AT ITER 1612 NEW BEST:: SOT 10201826 SOS 2788580 HAS SOPS 2787573 HAS SOUS 290334 HAS SOUPS 289327 WITH SCORE 292115.58
AT ITER 1616 NEW BEST:: SOT 10201826 SOS 2788580 HAS SOPS 2787573 HAS SOUS 290307 HAS SOUPS 289300 WITH SCORE 292088.58
AT ITER 1620 NEW BEST:: SOT 10201734 SOS 2799848 HAS SOPS 2798841 HAS SOUS 290225 HAS SOUPS 289218 WITH SCORE 292017.848
AT ITER 1631 NEW BEST:: SOT 10201788 SOS 2800047 HAS SOPS 2799040 HAS SOUS 290101 HAS SOUPS 289094 WITH SCORE 291894.047
AT ITER 1643 NEW BEST:: SOT 10201788 SOS 2800047 HAS SOPS 2799040 HAS SOUS 290098 HAS SOUPS 289091 WITH SCORE 291891.047
AT ITER 1665 NEW BEST:: SOT 10201592 SOS 2799851 HAS SOPS 2798844 HAS SOUS 289944 HAS SOUPS 288937 WITH SCORE 291736.851
AT ITER 1667 NEW BEST:: SOT 10201514 SOS 2799806 HAS SOPS 2798799 HAS SOUS 289901 HAS SOUPS 288894 WITH SCORE 291693.806
AT ITER 1697 NEW BEST:: SOT 10201468 SOS 2799760 HAS SOPS 2798753 HAS SOUS 289901 HAS SOUPS 288894 WITH SCORE 291693.76
AT ITER 1703 NEW BEST:: SOT 10201467 SOS 2799759 HAS SOPS 2798752 HAS SOUS 289899 HAS SOUPS 288892 WITH SCORE 291691.759
AT ITER 1720 NEW BEST:: SOT 10201467 SOS 2799699 HAS SOPS 2798692 HAS SOUS 289899 HAS SOUPS 288892 WITH SCORE 291691.699
AT ITER 1731 NEW BEST:: SOT 10201351 SOS 2799583 HAS SOPS 2798576 HAS SOUS 289899 HAS SOUPS 288892 WITH SCORE 291691.583
AT ITER 1741 NEW BEST:: SOT 10201342 SOS 2799564 HAS SOPS 2798557 HAS SOUS 289889 HAS SOUPS 288882 WITH SCORE 291681.564
AT ITER 1746 NEW BEST:: SOT 10201260 SOS 2799400 HAS SOPS 2798393 HAS SOUS 289756 HAS SOUPS 288749 WITH SCORE 291548.4
AT ITER 1760 NEW BEST:: SOT 10201260 SOS 2799400 HAS SOPS 2798393 HAS SOUS 289721 HAS SOUPS 288714 WITH SCORE 291513.4
AT ITER 1761 NEW BEST:: SOT 10201260 SOS 2798770 HAS SOPS 2797763 HAS SOUS 289721 HAS SOUPS 288714 WITH SCORE 291512.77
AT ITER 1769 NEW BEST:: SOT 10201257 SOS 2798767 HAS SOPS 2797760 HAS SOUS 289715 HAS SOUPS 288708 WITH SCORE 291506.767
AT ITER 1785 NEW BEST:: SOT 10201184 SOS 2798694 HAS SOPS 2797687 HAS SOUS 289569 HAS SOUPS 288562 WITH SCORE 291360.694
AT ITER 1788 NEW BEST:: SOT 10201183 SOS 2798692 HAS SOPS 2797685 HAS SOUS 289455 HAS SOUPS 288448 WITH SCORE 291246.692
AT ITER 1794 NEW BEST:: SOT 10201165 SOS 2798494 HAS SOPS 2797487 HAS SOUS 289401 HAS SOUPS 288394 WITH SCORE 291192.494
AT ITER 1807 NEW BEST:: SOT 10200884 SOS 2798213 HAS SOPS 2797206 HAS SOUS 289396 HAS SOUPS 288389 WITH SCORE 291187.213
AT ITER 1821 NEW BEST:: SOT 10200629 SOS 2797218 HAS SOPS 2796211 HAS SOUS 289274 HAS SOUPS 288267 WITH SCORE 291064.218
AT ITER 1824 NEW BEST:: SOT 10200236 SOS 2794893 HAS SOPS 2793886 HAS SOUS 289119 HAS SOUPS 288112 WITH SCORE 290906.893
AT ITER 1862 NEW BEST:: SOT 10200236 SOS 2794893 HAS SOPS 2793886 HAS SOUS 289043 HAS SOUPS 288036 WITH SCORE 290830.893
AT ITER 1868 NEW BEST:: SOT 10200003 SOS 2794660 HAS SOPS 2793653 HAS SOUS 288977 HAS SOUPS 287970 WITH SCORE 290764.66
AT ITER 1874 NEW BEST:: SOT 10200017 SOS 2794573 HAS SOPS 2793566 HAS SOUS 288791 HAS SOUPS 287784 WITH SCORE 290578.573
AT ITER 1894 NEW BEST:: SOT 10200017 SOS 2794558 HAS SOPS 2793551 HAS SOUS 288791 HAS SOUPS 287784 WITH SCORE 290578.558
AT ITER 1903 NEW BEST:: SOT 10199974 SOS 2794515 HAS SOPS 2793508 HAS SOUS 288781 HAS SOUPS 287774 WITH SCORE 290568.515
AT ITER 1912 NEW BEST:: SOT 10200002 SOS 2794543 HAS SOPS 2793536 HAS SOUS 288754 HAS SOUPS 287747 WITH SCORE 290541.543
AT ITER 1914 NEW BEST:: SOT 10199849 SOS 2794390 HAS SOPS 2793383 HAS SOUS 288640 HAS SOUPS 287633 WITH SCORE 290427.39
AT ITER 1915 NEW BEST:: SOT 10199849 SOS 2794380 HAS SOPS 2793373 HAS SOUS 288640 HAS SOUPS 287633 WITH SCORE 290427.38
AT ITER 1916 NEW BEST:: SOT 10199800 SOS 2794331 HAS SOPS 2793324 HAS SOUS 288542 HAS SOUPS 287535 WITH SCORE 290329.331
AT ITER 1923 NEW BEST:: SOT 10199705 SOS 2794236 HAS SOPS 2793229 HAS SOUS 288516 HAS SOUPS 287509 WITH SCORE 290303.236
AT ITER 1930 NEW BEST:: SOT 10199483 SOS 2794014 HAS SOPS 2793007 HAS SOUS 288367 HAS SOUPS 287360 WITH SCORE 290154.014
AT ITER 1933 NEW BEST:: SOT 10199483 SOS 2794014 HAS SOPS 2793007 HAS SOUS 288351 HAS SOUPS 287344 WITH SCORE 290138.014
AT ITER 1957 NEW BEST:: SOT 10199483 SOS 2794184 HAS SOPS 2793177 HAS SOUS 288330 HAS SOUPS 287323 WITH SCORE 290117.184
AT ITER 1978 NEW BEST:: SOT 10199448 SOS 2794114 HAS SOPS 2793107 HAS SOUS 288295 HAS SOUPS 287288 WITH SCORE 290082.114
AT ITER 1979 NEW BEST:: SOT 10199413 SOS 2794079 HAS SOPS 2793072 HAS SOUS 288190 HAS SOUPS 287183 WITH SCORE 289977.079
AT ITER 2039 NEW BEST:: SOT 10199367 SOS 2793094 HAS SOPS 2792087 HAS SOUS 288098 HAS SOUPS 287091 WITH SCORE 289884.094
AT ITER 2050 NEW BEST:: SOT 10199322 SOS 2793001 HAS SOPS 2791994 HAS SOUS 287560 HAS SOUPS 286553 WITH SCORE 289346.001
AT ITER 2072 NEW BEST:: SOT 10199427 SOS 2793106 HAS SOPS 2792099 HAS SOUS 287548 HAS SOUPS 286541 WITH SCORE 289334.106
AT ITER 2112 NEW BEST:: SOT 10199416 SOS 2793073 HAS SOPS 2792066 HAS SOUS 287537 HAS SOUPS 286530 WITH SCORE 289323.073
AT ITER 2116 NEW BEST:: SOT 10199349 SOS 2792226 HAS SOPS 2791219 HAS SOUS 287362 HAS SOUPS 286355 WITH SCORE 289147.226
AT ITER 2143 NEW BEST:: SOT 10199250 SOS 2792028 HAS SOPS 2791021 HAS SOUS 287362 HAS SOUPS 286355 WITH SCORE 289147.028
AT ITER 2159 NEW BEST:: SOT 10199218 SOS 2791676 HAS SOPS 2790669 HAS SOUS 287298 HAS SOUPS 286291 WITH SCORE 289082.676
AT ITER 2160 NEW BEST:: SOT 10199205 SOS 2792894 HAS SOPS 2791887 HAS SOUS 287231 HAS SOUPS 286224 WITH SCORE 289016.894
AT ITER 2170 NEW BEST:: SOT 10198817 SOS 2792539 HAS SOPS 2791532 HAS SOUS 286888 HAS SOUPS 285881 WITH SCORE 288673.539
AT ITER 2173 NEW BEST:: SOT 10198722 SOS 2792444 HAS SOPS 2791437 HAS SOUS 286866 HAS SOUPS 285859 WITH SCORE 288651.444
AT ITER 2192 NEW BEST:: SOT 10198704 SOS 2792426 HAS SOPS 2791419 HAS SOUS 286830 HAS SOUPS 285823 WITH SCORE 288615.426
AT ITER 2236 NEW BEST:: SOT 10198695 SOS 2792327 HAS SOPS 2791320 HAS SOUS 286812 HAS SOUPS 285805 WITH SCORE 288597.327
AT ITER 2240 NEW BEST:: SOT 10198967 SOS 2736649 HAS SOPS 2735642 HAS SOUS 286711 HAS SOUPS 285704 WITH SCORE 288440.649
AT ITER 2241 NEW BEST:: SOT 10198983 SOS 2736741 HAS SOPS 2735734 HAS SOUS 286661 HAS SOUPS 285654 WITH SCORE 288390.741
AT ITER 2249 NEW BEST:: SOT 10198983 SOS 2736716 HAS SOPS 2735709 HAS SOUS 286661 HAS SOUPS 285654 WITH SCORE 288390.716
AT ITER 2259 NEW BEST:: SOT 10195427 SOS 2733160 HAS SOPS 2732153 HAS SOUS 283003 HAS SOUPS 281996 WITH SCORE 284729.16
AT ITER 2281 NEW BEST:: SOT 10195095 SOS 2733160 HAS SOPS 2732153 HAS SOUS 282989 HAS SOUPS 281982 WITH SCORE 284715.16
AT ITER 2300 NEW BEST:: SOT 10195218 SOS 2733684 HAS SOPS 2732677 HAS SOUS 282911 HAS SOUPS 281904 WITH SCORE 284637.684
AT ITER 2318 NEW BEST:: SOT 10194415 SOS 2734289 HAS SOPS 2733282 HAS SOUS 282177 HAS SOUPS 281170 WITH SCORE 283904.289
AT ITER 2327 NEW BEST:: SOT 10194377 SOS 2733871 HAS SOPS 2732864 HAS SOUS 282063 HAS SOUPS 281056 WITH SCORE 283789.871
AT ITER 2334 NEW BEST:: SOT 10194356 SOS 2733850 HAS SOPS 2732843 HAS SOUS 282021 HAS SOUPS 281014 WITH SCORE 283747.85
AT ITER 2345 NEW BEST:: SOT 10194369 SOS 2733863 HAS SOPS 2732856 HAS SOUS 282019 HAS SOUPS 281012 WITH SCORE 283745.863
AT ITER 2354 NEW BEST:: SOT 10194004 SOS 2733571 HAS SOPS 2732564 HAS SOUS 281976 HAS SOUPS 280969 WITH SCORE 283702.571
AT ITER 2376 NEW BEST:: SOT 10193968 SOS 2733535 HAS SOPS 2732528 HAS SOUS 281904 HAS SOUPS 280897 WITH SCORE 283630.535
AT ITER 2389 NEW BEST:: SOT 10193968 SOS 2733535 HAS SOPS 2732528 HAS SOUS 281902 HAS SOUPS 280895 WITH SCORE 283628.535
AT ITER 2418 NEW BEST:: SOT 10194004 SOS 2733550 HAS SOPS 2732543 HAS SOUS 281664 HAS SOUPS 280657 WITH SCORE 283390.55
AT ITER 2419 NEW BEST:: SOT 10193987 SOS 2733533 HAS SOPS 2732526 HAS SOUS 281647 HAS SOUPS 280640 WITH SCORE 283373.533
AT ITER 2431 NEW BEST:: SOT 10193977 SOS 2733423 HAS SOPS 2732416 HAS SOUS 281617 HAS SOUPS 280610 WITH SCORE 283343.423
AT ITER 2438 NEW BEST:: SOT 10193925 SOS 2734131 HAS SOPS 2733124 HAS SOUS 281601 HAS SOUPS 280594 WITH SCORE 283328.131
AT ITER 2461 NEW BEST:: SOT 10190924 SOS 2731130 HAS SOPS 2730123 HAS SOUS 279244 HAS SOUPS 278237 WITH SCORE 280968.13
AT ITER 2512 NEW BEST:: SOT 10190944 SOS 2731150 HAS SOPS 2730143 HAS SOUS 279170 HAS SOUPS 278163 WITH SCORE 280894.15
AT ITER 2522 NEW BEST:: SOT 10190858 SOS 2730621 HAS SOPS 2729614 HAS SOUS 278998 HAS SOUPS 277991 WITH SCORE 280721.621
AT ITER 2531 NEW BEST:: SOT 10190858 SOS 2730621 HAS SOPS 2729614 HAS SOUS 278688 HAS SOUPS 277681 WITH SCORE 280411.621
AT ITER 2544 NEW BEST:: SOT 10190858 SOS 2730610 HAS SOPS 2729603 HAS SOUS 278674 HAS SOUPS 277667 WITH SCORE 280397.61
AT ITER 2545 NEW BEST:: SOT 10190856 SOS 2730608 HAS SOPS 2729601 HAS SOUS 278662 HAS SOUPS 277655 WITH SCORE 280385.608
AT ITER 2581 NEW BEST:: SOT 10190831 SOS 2732124 HAS SOPS 2731117 HAS SOUS 278612 HAS SOUPS 277605 WITH SCORE 280337.124
AT ITER 2588 NEW BEST:: SOT 10190903 SOS 2732400 HAS SOPS 2731309 HAS SOUS 278678 HAS SOUPS 277587 WITH SCORE 280319.4
AT ITER 2604 NEW BEST:: SOT 10190856 SOS 2732353 HAS SOPS 2731262 HAS SOUS 278558 HAS SOUPS 277467 WITH SCORE 280199.353
AT ITER 2607 NEW BEST:: SOT 10190814 SOS 2731891 HAS SOPS 2730800 HAS SOUS 278516 HAS SOUPS 277425 WITH SCORE 280156.891
AT ITER 2608 NEW BEST:: SOT 10190627 SOS 2731704 HAS SOPS 2730613 HAS SOUS 278110 HAS SOUPS 277019 WITH SCORE 279750.704
AT ITER 2611 NEW BEST:: SOT 10190591 SOS 2731668 HAS SOPS 2730577 HAS SOUS 277966 HAS SOUPS 276875 WITH SCORE 279606.668
AT ITER 2634 NEW BEST:: SOT 10190591 SOS 2731668 HAS SOPS 2730577 HAS SOUS 277812 HAS SOUPS 276721 WITH SCORE 279452.668
AT ITER 2640 NEW BEST:: SOT 10190591 SOS 2732518 HAS SOPS 2731427 HAS SOUS 277780 HAS SOUPS 276689 WITH SCORE 279421.518
AT ITER 2673 NEW BEST:: SOT 10190264 SOS 2732579 HAS SOPS 2731488 HAS SOUS 277453 HAS SOUPS 276362 WITH SCORE 279094.579
AT ITER 2687 NEW BEST:: SOT 10190264 SOS 2732579 HAS SOPS 2731488 HAS SOUS 277436 HAS SOUPS 276345 WITH SCORE 279077.579
AT ITER 2699 NEW BEST:: SOT 10190264 SOS 2732725 HAS SOPS 2731561 HAS SOUS 277436 HAS SOUPS 276272 WITH SCORE 279004.725
AT ITER 2709 NEW BEST:: SOT 10190264 SOS 2732725 HAS SOPS 2731561 HAS SOUS 277435 HAS SOUPS 276271 WITH SCORE 279003.725
AT ITER 2710 NEW BEST:: SOT 10190240 SOS 2732701 HAS SOPS 2731537 HAS SOUS 277435 HAS SOUPS 276271 WITH SCORE 279003.701
AT ITER 2720 NEW BEST:: SOT 10190193 SOS 2732562 HAS SOPS 2731398 HAS SOUS 277114 HAS SOUPS 275950 WITH SCORE 278682.562
AT ITER 2723 NEW BEST:: SOT 10190236 SOS 2732978 HAS SOPS 2731814 HAS SOUS 276928 HAS SOUPS 275764 WITH SCORE 278496.978
AT ITER 2739 NEW BEST:: SOT 10190230 SOS 2733032 HAS SOPS 2731868 HAS SOUS 276922 HAS SOUPS 275758 WITH SCORE 278491.032
AT ITER 2742 NEW BEST:: SOT 10190243 SOS 2733045 HAS SOPS 2731881 HAS SOUS 276874 HAS SOUPS 275710 WITH SCORE 278443.045
AT ITER 2753 NEW BEST:: SOT 10190076 SOS 2732878 HAS SOPS 2731714 HAS SOUS 276716 HAS SOUPS 275552 WITH SCORE 278284.878
AT ITER 2756 NEW BEST:: SOT 10190052 SOS 2732854 HAS SOPS 2731690 HAS SOUS 276686 HAS SOUPS 275522 WITH SCORE 278254.854
AT ITER 2799 NEW BEST:: SOT 10189990 SOS 2732792 HAS SOPS 2731628 HAS SOUS 276561 HAS SOUPS 275397 WITH SCORE 278129.792
AT ITER 2806 NEW BEST:: SOT 10189229 SOS 2732036 HAS SOPS 2730872 HAS SOUS 275862 HAS SOUPS 274698 WITH SCORE 277430.036
AT ITER 2809 NEW BEST:: SOT 10189669 SOS 2732476 HAS SOPS 2731312 HAS SOUS 274137 HAS SOUPS 272973 WITH SCORE 275705.476
AT ITER 2813 NEW BEST:: SOT 10189568 SOS 2732375 HAS SOPS 2731211 HAS SOUS 273934 HAS SOUPS 272770 WITH SCORE 275502.375
AT ITER 2817 NEW BEST:: SOT 10189610 SOS 2732416 HAS SOPS 2731252 HAS SOUS 273918 HAS SOUPS 272754 WITH SCORE 275486.416
AT ITER 2842 NEW BEST:: SOT 10189592 SOS 2732398 HAS SOPS 2731234 HAS SOUS 273882 HAS SOUPS 272718 WITH SCORE 275450.398
AT ITER 2848 NEW BEST:: SOT 10189571 SOS 2732422 HAS SOPS 2731258 HAS SOUS 273840 HAS SOUPS 272676 WITH SCORE 275408.422
AT ITER 2853 NEW BEST:: SOT 10189529 SOS 2732380 HAS SOPS 2731216 HAS SOUS 273756 HAS SOUPS 272592 WITH SCORE 275324.38
AT ITER 2859 NEW BEST:: SOT 10186569 SOS 2729420 HAS SOPS 2728256 HAS SOUS 270796 HAS SOUPS 269632 WITH SCORE 272361.42
AT ITER 2864 NEW BEST:: SOT 10186674 SOS 2729385 HAS SOPS 2728221 HAS SOUS 270719 HAS SOUPS 269555 WITH SCORE 272284.385
AT ITER 2873 NEW BEST:: SOT 10186654 SOS 2729345 HAS SOPS 2728181 HAS SOUS 270679 HAS SOUPS 269515 WITH SCORE 272244.345
AT ITER 2876 NEW BEST:: SOT 10186567 SOS 2729258 HAS SOPS 2728094 HAS SOUS 270589 HAS SOUPS 269425 WITH SCORE 272154.258
AT ITER 2880 NEW BEST:: SOT 10186567 SOS 2729258 HAS SOPS 2728094 HAS SOUS 270587 HAS SOUPS 269423 WITH SCORE 272152.258
AT ITER 2900 NEW BEST:: SOT 10186516 SOS 2729207 HAS SOPS 2728043 HAS SOUS 270501 HAS SOUPS 269337 WITH SCORE 272066.207
AT ITER 2911 NEW BEST:: SOT 10186274 SOS 2727755 HAS SOPS 2726591 HAS SOUS 270259 HAS SOUPS 269095 WITH SCORE 271822.755
AT ITER 2946 NEW BEST:: SOT 10186274 SOS 2727715 HAS SOPS 2726551 HAS SOUS 270251 HAS SOUPS 269087 WITH SCORE 271814.715
AT ITER 2952 NEW BEST:: SOT 10186255 SOS 2727696 HAS SOPS 2726532 HAS SOUS 270213 HAS SOUPS 269049 WITH SCORE 271776.696
AT ITER 2954 NEW BEST:: SOT 10186236 SOS 2727677 HAS SOPS 2726513 HAS SOUS 270175 HAS SOUPS 269011 WITH SCORE 271738.677
AT ITER 2965 NEW BEST:: SOT 10186236 SOS 2727677 HAS SOPS 2726513 HAS SOUS 270171 HAS SOUPS 269007 WITH SCORE 271734.677
AT ITER 2966 NEW BEST:: SOT 10186060 SOS 2727501 HAS SOPS 2726337 HAS SOUS 270108 HAS SOUPS 268944 WITH SCORE 271671.501
AT ITER 2974 NEW BEST:: SOT 10183001 SOS 2724578 HAS SOPS 2723414 HAS SOUS 269383 HAS SOUPS 268219 WITH SCORE 270943.578
AT ITER 2982 NEW BEST:: SOT 10182764 SOS 2635981 HAS SOPS 2634817 HAS SOUS 267953 HAS SOUPS 266789 WITH SCORE 269424.981
AT ITER 2988 NEW BEST:: SOT 10182764 SOS 2635981 HAS SOPS 2634817 HAS SOUS 267938 HAS SOUPS 266774 WITH SCORE 269409.981
AT ITER 3011 NEW BEST:: SOT 10182738 SOS 2635856 HAS SOPS 2634692 HAS SOUS 267886 HAS SOUPS 266722 WITH SCORE 269357.856
AT ITER 3041 NEW BEST:: SOT 10182738 SOS 2636826 HAS SOPS 2635662 HAS SOUS 267845 HAS SOUPS 266681 WITH SCORE 269317.826
AT ITER 3044 NEW BEST:: SOT 10182590 SOS 2636678 HAS SOPS 2635514 HAS SOUS 267781 HAS SOUPS 266617 WITH SCORE 269253.678
AT ITER 3057 NEW BEST:: SOT 10182529 SOS 2636617 HAS SOPS 2635453 HAS SOUS 267657 HAS SOUPS 266493 WITH SCORE 269129.617
AT ITER 3065 NEW BEST:: SOT 10182106 SOS 2635374 HAS SOPS 2634210 HAS SOUS 267206 HAS SOUPS 266042 WITH SCORE 268677.374
AT ITER 3090 NEW BEST:: SOT 10182177 SOS 2635660 HAS SOPS 2634496 HAS SOUS 267167 HAS SOUPS 266003 WITH SCORE 268638.66
AT ITER 3131 NEW BEST:: SOT 10182043 SOS 2634956 HAS SOPS 2633792 HAS SOUS 267070 HAS SOUPS 265906 WITH SCORE 268540.956
AT ITER 3143 NEW BEST:: SOT 10182025 SOS 2634438 HAS SOPS 2633274 HAS SOUS 267034 HAS SOUPS 265870 WITH SCORE 268504.438
AT ITER 3149 NEW BEST:: SOT 10182099 SOS 2634329 HAS SOPS 2633165 HAS SOUS 266765 HAS SOUPS 265601 WITH SCORE 268235.329
AT ITER 3164 NEW BEST:: SOT 10182060 SOS 2634290 HAS SOPS 2633126 HAS SOUS 266726 HAS SOUPS 265562 WITH SCORE 268196.29
AT ITER 3181 NEW BEST:: SOT 10182026 SOS 2634256 HAS SOPS 2633092 HAS SOUS 266658 HAS SOUPS 265494 WITH SCORE 268128.256
AT ITER 3197 NEW BEST:: SOT 10182012 SOS 2634242 HAS SOPS 2633078 HAS SOUS 266637 HAS SOUPS 265473 WITH SCORE 268107.242
AT ITER 3232 NEW BEST:: SOT 10181993 SOS 2634223 HAS SOPS 2633059 HAS SOUS 266596 HAS SOUPS 265432 WITH SCORE 268066.223
AT ITER 3263 NEW BEST:: SOT 10181802 SOS 2634022 HAS SOPS 2632868 HAS SOUS 266260 HAS SOUPS 265106 WITH SCORE 267740.022
AT ITER 3273 NEW BEST:: SOT 10181631 SOS 2633851 HAS SOPS 2632697 HAS SOUS 266132 HAS SOUPS 264978 WITH SCORE 267611.851
AT ITER 3279 NEW BEST:: SOT 10181620 SOS 2633840 HAS SOPS 2632686 HAS SOUS 266105 HAS SOUPS 264951 WITH SCORE 267584.84
AT ITER 3300 NEW BEST:: SOT 10180952 SOS 2633172 HAS SOPS 2632465 HAS SOUS 265431 HAS SOUPS 264724 WITH SCORE 267357.172
AT ITER 3329 NEW BEST:: SOT 10180791 SOS 2632913 HAS SOPS 2632206 HAS SOUS 265336 HAS SOUPS 264629 WITH SCORE 267261.913
AT ITER 3339 NEW BEST:: SOT 10180837 SOS 2632948 HAS SOPS 2632241 HAS SOUS 265184 HAS SOUPS 264477 WITH SCORE 267109.948
AT ITER 3366 NEW BEST:: SOT 10180799 SOS 2632241 HAS SOPS 2631534 HAS SOUS 265108 HAS SOUPS 264401 WITH SCORE 267033.241
AT ITER 3367 NEW BEST:: SOT 10177717 SOS 2629159 HAS SOPS 2628452 HAS SOUS 261866 HAS SOUPS 261159 WITH SCORE 263788.159
AT ITER 3390 NEW BEST:: SOT 10177682 SOS 2629124 HAS SOPS 2628417 HAS SOUS 261824 HAS SOUPS 261117 WITH SCORE 263746.124
AT ITER 3403 NEW BEST:: SOT 10177567 SOS 2629009 HAS SOPS 2628302 HAS SOUS 261615 HAS SOUPS 260908 WITH SCORE 263537.009
AT ITER 3404 NEW BEST:: SOT 10177591 SOS 2629033 HAS SOPS 2628326 HAS SOUS 261541 HAS SOUPS 260834 WITH SCORE 263463.033
AT ITER 3407 NEW BEST:: SOT 10177576 SOS 2629018 HAS SOPS 2628311 HAS SOUS 261511 HAS SOUPS 260804 WITH SCORE 263433.018
AT ITER 3413 NEW BEST:: SOT 10177329 SOS 2628771 HAS SOPS 2628064 HAS SOUS 261043 HAS SOUPS 260336 WITH SCORE 262964.771
AT ITER 3422 NEW BEST:: SOT 10177304 SOS 2628196 HAS SOPS 2627489 HAS SOUS 260993 HAS SOUPS 260286 WITH SCORE 262914.196
AT ITER 3428 NEW BEST:: SOT 10177312 SOS 2628204 HAS SOPS 2627497 HAS SOUS 260827 HAS SOUPS 260120 WITH SCORE 262748.204
AT ITER 3438 NEW BEST:: SOT 10177262 SOS 2628154 HAS SOPS 2627447 HAS SOUS 260777 HAS SOUPS 260070 WITH SCORE 262698.154
AT ITER 3443 NEW BEST:: SOT 10177275 SOS 2629229 HAS SOPS 2628522 HAS SOUS 260775 HAS SOUPS 260068 WITH SCORE 262697.229
AT ITER 3477 NEW BEST:: SOT 10177251 SOS 2629205 HAS SOPS 2628498 HAS SOUS 260727 HAS SOUPS 260020 WITH SCORE 262649.205
AT ITER 3483 NEW BEST:: SOT 10177035 SOS 2628989 HAS SOPS 2628282 HAS SOUS 260443 HAS SOUPS 259736 WITH SCORE 262364.989
AT ITER 3514 NEW BEST:: SOT 10177035 SOS 2629469 HAS SOPS 2628762 HAS SOUS 260375 HAS SOUPS 259668 WITH SCORE 262297.469
AT ITER 3523 NEW BEST:: SOT 10176951 SOS 2629385 HAS SOPS 2628678 HAS SOUS 260285 HAS SOUPS 259578 WITH SCORE 262207.385
AT ITER 3532 NEW BEST:: SOT 10176951 SOS 2629364 HAS SOPS 2628657 HAS SOUS 260233 HAS SOUPS 259526 WITH SCORE 262155.364
AT ITER 3534 NEW BEST:: SOT 10176915 SOS 2629324 HAS SOPS 2628617 HAS SOUS 260191 HAS SOUPS 259484 WITH SCORE 262113.324
AT ITER 3556 NEW BEST:: SOT 10176795 SOS 2629204 HAS SOPS 2628497 HAS SOUS 260083 HAS SOUPS 259376 WITH SCORE 262005.204
AT ITER 3565 NEW BEST:: SOT 10176783 SOS 2629084 HAS SOPS 2628377 HAS SOUS 260071 HAS SOUPS 259364 WITH SCORE 261993.084
AT ITER 3577 NEW BEST:: SOT 10176783 SOS 2629034 HAS SOPS 2628327 HAS SOUS 260071 HAS SOUPS 259364 WITH SCORE 261993.034
AT ITER 3580 NEW BEST:: SOT 10176783 SOS 2629394 HAS SOPS 2628687 HAS SOUS 260067 HAS SOUPS 259360 WITH SCORE 261989.394
AT ITER 3588 NEW BEST:: SOT 10176739 SOS 2629350 HAS SOPS 2628643 HAS SOUS 259974 HAS SOUPS 259267 WITH SCORE 261896.35
AT ITER 3589 NEW BEST:: SOT 10176731 SOS 2629292 HAS SOPS 2628585 HAS SOUS 259958 HAS SOUPS 259251 WITH SCORE 261880.292
AT ITER 3592 NEW BEST:: SOT 10176717 SOS 2629278 HAS SOPS 2628571 HAS SOUS 259945 HAS SOUPS 259238 WITH SCORE 261867.278
AT ITER 3593 NEW BEST:: SOT 10176717 SOS 2629336 HAS SOPS 2628629 HAS SOUS 259922 HAS SOUPS 259215 WITH SCORE 261844.336
AT ITER 3620 NEW BEST:: SOT 10176717 SOS 2629336 HAS SOPS 2628629 HAS SOUS 259908 HAS SOUPS 259201 WITH SCORE 261830.336
AT ITER 3634 NEW BEST:: SOT 10176653 SOS 2629208 HAS SOPS 2628501 HAS SOUS 259780 HAS SOUPS 259073 WITH SCORE 261702.208
AT ITER 3639 NEW BEST:: SOT 10176548 SOS 2629103 HAS SOPS 2628396 HAS SOUS 259557 HAS SOUPS 258850 WITH SCORE 261479.103
AT ITER 3647 NEW BEST:: SOT 10176301 SOS 2628856 HAS SOPS 2628149 HAS SOUS 259417 HAS SOUPS 258710 WITH SCORE 261338.856
AT ITER 3649 NEW BEST:: SOT 10176240 SOS 2628913 HAS SOPS 2628206 HAS SOUS 259386 HAS SOUPS 258679 WITH SCORE 261307.913
AT ITER 3656 NEW BEST:: SOT 10176204 SOS 2628697 HAS SOPS 2627990 HAS SOUS 259332 HAS SOUPS 258625 WITH SCORE 261253.697
AT ITER 3682 NEW BEST:: SOT 10176195 SOS 2628598 HAS SOPS 2627891 HAS SOUS 259332 HAS SOUPS 258625 WITH SCORE 261253.598
AT ITER 3691 NEW BEST:: SOT 10176168 SOS 2628544 HAS SOPS 2627837 HAS SOUS 259278 HAS SOUPS 258571 WITH SCORE 261199.544
AT ITER 3698 NEW BEST:: SOT 10173728 SOS 2626182 HAS SOPS 2625475 HAS SOUS 257792 HAS SOUPS 257085 WITH SCORE 259711.182
AT ITER 3738 NEW BEST:: SOT 10173647 SOS 2626101 HAS SOPS 2625394 HAS SOUS 257670 HAS SOUPS 256963 WITH SCORE 259589.101
AT ITER 3743 NEW BEST:: SOT 10173766 SOS 2626506 HAS SOPS 2625799 HAS SOUS 257636 HAS SOUPS 256929 WITH SCORE 259555.506
AT ITER 3744 NEW BEST:: SOT 10173548 SOS 2625982 HAS SOPS 2625275 HAS SOUS 257479 HAS SOUPS 256772 WITH SCORE 259397.982
AT ITER 3753 NEW BEST:: SOT 10173548 SOS 2625982 HAS SOPS 2625275 HAS SOUS 257477 HAS SOUPS 256770 WITH SCORE 259395.982
AT ITER 3762 NEW BEST:: SOT 10173641 SOS 2626074 HAS SOPS 2625367 HAS SOUS 257467 HAS SOUPS 256760 WITH SCORE 259386.074
AT ITER 3770 NEW BEST:: SOT 10173393 SOS 2626074 HAS SOPS 2625367 HAS SOUS 257451 HAS SOUPS 256744 WITH SCORE 259370.074
AT ITER 3823 NEW BEST:: SOT 10173326 SOS 2626007 HAS SOPS 2625300 HAS SOUS 257384 HAS SOUPS 256677 WITH SCORE 259303.007
AT ITER 3847 NEW BEST:: SOT 10173282 SOS 2625963 HAS SOPS 2625256 HAS SOUS 257306 HAS SOUPS 256599 WITH SCORE 259224.963
AT ITER 3859 NEW BEST:: SOT 10173282 SOS 2625963 HAS SOPS 2625256 HAS SOUS 257230 HAS SOUPS 256523 WITH SCORE 259148.963
AT ITER 3882 NEW BEST:: SOT 10173111 SOS 2625692 HAS SOPS 2624985 HAS SOUS 257176 HAS SOUPS 256469 WITH SCORE 259094.692
AT ITER 3885 NEW BEST:: SOT 10173255 SOS 2626146 HAS SOPS 2625439 HAS SOUS 257156 HAS SOUPS 256449 WITH SCORE 259075.146
AT ITER 3897 NEW BEST:: SOT 10173189 SOS 2626080 HAS SOPS 2625373 HAS SOUS 257027 HAS SOUPS 256320 WITH SCORE 258946.08
AT ITER 3904 NEW BEST:: SOT 10172232 SOS 2625123 HAS SOPS 2624416 HAS SOUS 256052 HAS SOUPS 255345 WITH SCORE 257970.123
AT ITER 3919 NEW BEST:: SOT 10172182 SOS 2625073 HAS SOPS 2624366 HAS SOUS 255952 HAS SOUPS 255245 WITH SCORE 257870.073
AT ITER 3948 NEW BEST:: SOT 10172167 SOS 2625058 HAS SOPS 2624351 HAS SOUS 255920 HAS SOUPS 255213 WITH SCORE 257838.058
AT ITER 3980 NEW BEST:: SOT 10172250 SOS 2625115 HAS SOPS 2624408 HAS SOUS 255792 HAS SOUPS 255085 WITH SCORE 257710.115
AT ITER 3985 NEW BEST:: SOT 10172250 SOS 2626753 HAS SOPS 2626007 HAS SOUS 255792 HAS SOUPS 255046 WITH SCORE 257672.753
AT ITER 4023 NEW BEST:: SOT 10172190 SOS 2626693 HAS SOPS 2625947 HAS SOUS 255667 HAS SOUPS 254921 WITH SCORE 257547.693
AT ITER 4030 NEW BEST:: SOT 10172195 SOS 2626698 HAS SOPS 2625952 HAS SOUS 255624 HAS SOUPS 254878 WITH SCORE 257504.698
AT ITER 4034 NEW BEST:: SOT 10172151 SOS 2626547 HAS SOPS 2625801 HAS SOUS 255193 HAS SOUPS 254447 WITH SCORE 257073.547
AT ITER 4042 NEW BEST:: SOT 10172195 SOS 2626504 HAS SOPS 2625758 HAS SOUS 255137 HAS SOUPS 254391 WITH SCORE 257017.504
AT ITER 4057 NEW BEST:: SOT 10172120 SOS 2626300 HAS SOPS 2625554 HAS SOUS 255121 HAS SOUPS 254375 WITH SCORE 257001.3
AT ITER 4089 NEW BEST:: SOT 10171995 SOS 2626175 HAS SOPS 2625429 HAS SOUS 255079 HAS SOUPS 254333 WITH SCORE 256959.175
AT ITER 4109 NEW BEST:: SOT 10171980 SOS 2626213 HAS SOPS 2625467 HAS SOUS 255049 HAS SOUPS 254303 WITH SCORE 256929.213
AT ITER 4110 NEW BEST:: SOT 10171894 SOS 2626127 HAS SOPS 2625381 HAS SOUS 254883 HAS SOUPS 254137 WITH SCORE 256763.127
AT ITER 4114 NEW BEST:: SOT 10171894 SOS 2626377 HAS SOPS 2625631 HAS SOUS 254822 HAS SOUPS 254076 WITH SCORE 256702.377
AT ITER 4130 NEW BEST:: SOT 10171894 SOS 2626377 HAS SOPS 2625631 HAS SOUS 254820 HAS SOUPS 254074 WITH SCORE 256700.377
AT ITER 4212 NEW BEST:: SOT 10171712 SOS 2626195 HAS SOPS 2625449 HAS SOUS 254807 HAS SOUPS 254061 WITH SCORE 256687.195
AT ITER 4214 NEW BEST:: SOT 10171691 SOS 2625974 HAS SOPS 2625228 HAS SOUS 254805 HAS SOUPS 254059 WITH SCORE 256684.974
AT ITER 4220 NEW BEST:: SOT 10171698 SOS 2628031 HAS SOPS 2627285 HAS SOUS 254769 HAS SOUPS 254023 WITH SCORE 256651.031
AT ITER 4251 NEW BEST:: SOT 10171578 SOS 2627899 HAS SOPS 2627153 HAS SOUS 254713 HAS SOUPS 253967 WITH SCORE 256594.899
AT ITER 4262 NEW BEST:: SOT 10171495 SOS 2627776 HAS SOPS 2627030 HAS SOUS 254618 HAS SOUPS 253872 WITH SCORE 256499.776
AT ITER 4284 NEW BEST:: SOT 10171399 SOS 2627680 HAS SOPS 2626934 HAS SOUS 254426 HAS SOUPS 253680 WITH SCORE 256307.68
AT ITER 4285 NEW BEST:: SOT 10171314 SOS 2627595 HAS SOPS 2626849 HAS SOUS 254324 HAS SOUPS 253578 WITH SCORE 256205.595
AT ITER 4288 NEW BEST:: SOT 10171149 SOS 2627430 HAS SOPS 2626684 HAS SOUS 254276 HAS SOUPS 253530 WITH SCORE 256157.43
AT ITER 4301 NEW BEST:: SOT 10171028 SOS 2627258 HAS SOPS 2626512 HAS SOUS 254034 HAS SOUPS 253288 WITH SCORE 255915.258
AT ITER 4307 NEW BEST:: SOT 10170812 SOS 2627042 HAS SOPS 2626296 HAS SOUS 253998 HAS SOUPS 253252 WITH SCORE 255879.042
AT ITER 4316 NEW BEST:: SOT 10170812 SOS 2627042 HAS SOPS 2626296 HAS SOUS 253820 HAS SOUPS 253074 WITH SCORE 255701.042
AT ITER 4319 NEW BEST:: SOT 10170618 SOS 2626848 HAS SOPS 2626102 HAS SOUS 253411 HAS SOUPS 252665 WITH SCORE 255291.848
AT ITER 4358 NEW BEST:: SOT 10170573 SOS 2626803 HAS SOPS 2626057 HAS SOUS 253395 HAS SOUPS 252649 WITH SCORE 255275.803
AT ITER 4370 NEW BEST:: SOT 10170531 SOS 2626761 HAS SOPS 2626015 HAS SOUS 253306 HAS SOUPS 252560 WITH SCORE 255186.761
AT ITER 4384 NEW BEST:: SOT 10170468 SOS 2626761 HAS SOPS 2626015 HAS SOUS 253226 HAS SOUPS 252480 WITH SCORE 255106.761
AT ITER 4408 NEW BEST:: SOT 10170409 SOS 2626702 HAS SOPS 2625956 HAS SOUS 253167 HAS SOUPS 252421 WITH SCORE 255047.702
AT ITER 4431 NEW BEST:: SOT 10170391 SOS 2626684 HAS SOPS 2625938 HAS SOUS 253141 HAS SOUPS 252395 WITH SCORE 255021.684
AT ITER 4437 NEW BEST:: SOT 10170398 SOS 2614181 HAS SOPS 2613435 HAS SOUS 253115 HAS SOUPS 252369 WITH SCORE 254983.181
AT ITER 4475 NEW BEST:: SOT 10170407 SOS 2614190 HAS SOPS 2613444 HAS SOUS 252967 HAS SOUPS 252221 WITH SCORE 254835.19
AT ITER 4511 NEW BEST:: SOT 10170387 SOS 2614176 HAS SOPS 2613430 HAS SOUS 252935 HAS SOUPS 252189 WITH SCORE 254803.176
AT ITER 4537 NEW BEST:: SOT 10170459 SOS 2614528 HAS SOPS 2613782 HAS SOUS 252880 HAS SOUPS 252134 WITH SCORE 254748.528
AT ITER 4549 NEW BEST:: SOT 10170443 SOS 2614512 HAS SOPS 2613766 HAS SOUS 252848 HAS SOUPS 252102 WITH SCORE 254716.512
AT ITER 4550 NEW BEST:: SOT 10170437 SOS 2614506 HAS SOPS 2613760 HAS SOUS 252836 HAS SOUPS 252090 WITH SCORE 254704.506
AT ITER 4569 NEW BEST:: SOT 10170315 SOS 2614384 HAS SOPS 2613638 HAS SOUS 252659 HAS SOUPS 251913 WITH SCORE 254527.384
AT ITER 4581 NEW BEST:: SOT 10170309 SOS 2614378 HAS SOPS 2613632 HAS SOUS 252569 HAS SOUPS 251823 WITH SCORE 254437.378
AT ITER 4582 NEW BEST:: SOT 10170221 SOS 2614184 HAS SOPS 2613438 HAS SOUS 252499 HAS SOUPS 251753 WITH SCORE 254367.184
AT ITER 4599 NEW BEST:: SOT 10169833 SOS 2613796 HAS SOPS 2613050 HAS SOUS 252111 HAS SOUPS 251365 WITH SCORE 253978.796
AT ITER 4628 NEW BEST:: SOT 10169847 SOS 2613810 HAS SOPS 2613064 HAS SOUS 252102 HAS SOUPS 251356 WITH SCORE 253969.81
AT ITER 4650 NEW BEST:: SOT 10169792 SOS 2616195 HAS SOPS 2615449 HAS SOUS 251985 HAS SOUPS 251239 WITH SCORE 253855.195
AT ITER 4665 NEW BEST:: SOT 10169522 SOS 2615925 HAS SOPS 2615179 HAS SOUS 251938 HAS SOUPS 251192 WITH SCORE 253807.925
AT ITER 4679 NEW BEST:: SOT 10169431 SOS 2615534 HAS SOPS 2614788 HAS SOUS 251856 HAS SOUPS 251110 WITH SCORE 253725.534
AT ITER 4681 NEW BEST:: SOT 10169412 SOS 2615515 HAS SOPS 2614769 HAS SOUS 251787 HAS SOUPS 251041 WITH SCORE 253656.515
AT ITER 4703 NEW BEST:: SOT 10169319 SOS 2615352 HAS SOPS 2614606 HAS SOUS 251687 HAS SOUPS 250941 WITH SCORE 253556.352
AT ITER 4709 NEW BEST:: SOT 10169365 SOS 2615598 HAS SOPS 2614852 HAS SOUS 251608 HAS SOUPS 250862 WITH SCORE 253477.598
AT ITER 4717 NEW BEST:: SOT 10169428 SOS 2616046 HAS SOPS 2615300 HAS SOUS 251552 HAS SOUPS 250806 WITH SCORE 253422.046
AT ITER 4722 NEW BEST:: SOT 10169369 SOS 2616587 HAS SOPS 2615841 HAS SOUS 251493 HAS SOUPS 250747 WITH SCORE 253363.587
AT ITER 4731 NEW BEST:: SOT 10169365 SOS 2616583 HAS SOPS 2615837 HAS SOUS 251407 HAS SOUPS 250661 WITH SCORE 253277.583
AT ITER 4732 NEW BEST:: SOT 10169365 SOS 2616584 HAS SOPS 2615838 HAS SOUS 251405 HAS SOUPS 250659 WITH SCORE 253275.584
AT ITER 4740 NEW BEST:: SOT 10169287 SOS 2616506 HAS SOPS 2615760 HAS SOUS 251371 HAS SOUPS 250625 WITH SCORE 253241.506
AT ITER 4748 NEW BEST:: SOT 10169287 SOS 2615896 HAS SOPS 2615150 HAS SOUS 251371 HAS SOUPS 250625 WITH SCORE 253240.896
AT ITER 4749 NEW BEST:: SOT 10169233 SOS 2615842 HAS SOPS 2615096 HAS SOUS 251263 HAS SOUPS 250517 WITH SCORE 253132.842
AT ITER 4764 NEW BEST:: SOT 10168887 SOS 2615496 HAS SOPS 2614750 HAS SOUS 251240 HAS SOUPS 250494 WITH SCORE 253109.496
AT ITER 4776 NEW BEST:: SOT 10168857 SOS 2615466 HAS SOPS 2614720 HAS SOUS 251201 HAS SOUPS 250455 WITH SCORE 253070.466
AT ITER 4793 NEW BEST:: SOT 10168811 SOS 2615420 HAS SOPS 2614674 HAS SOUS 251109 HAS SOUPS 250363 WITH SCORE 252978.42
AT ITER 4804 NEW BEST:: SOT 10168801 SOS 2615410 HAS SOPS 2614664 HAS SOUS 251089 HAS SOUPS 250343 WITH SCORE 252958.41
AT ITER 4824 NEW BEST:: SOT 10168801 SOS 2615380 HAS SOPS 2614634 HAS SOUS 251089 HAS SOUPS 250343 WITH SCORE 252958.38
AT ITER 4825 NEW BEST:: SOT 10168791 SOS 2615370 HAS SOPS 2614624 HAS SOUS 251033 HAS SOUPS 250287 WITH SCORE 252902.37
AT ITER 4837 NEW BEST:: SOT 10168791 SOS 2615110 HAS SOPS 2614364 HAS SOUS 251007 HAS SOUPS 250261 WITH SCORE 252876.11
AT ITER 4869 NEW BEST:: SOT 10168600 SOS 2614919 HAS SOPS 2614173 HAS SOUS 250825 HAS SOUPS 250079 WITH SCORE 252693.919
AT ITER 4880 NEW BEST:: SOT 10168580 SOS 2614919 HAS SOPS 2614173 HAS SOUS 250785 HAS SOUPS 250039 WITH SCORE 252653.919
AT ITER 4892 NEW BEST:: SOT 10168580 SOS 2614919 HAS SOPS 2614173 HAS SOUS 250739 HAS SOUPS 249993 WITH SCORE 252607.919
AT ITER 4903 NEW BEST:: SOT 10168491 SOS 2614727 HAS SOPS 2613981 HAS SOUS 250713 HAS SOUPS 249967 WITH SCORE 252581.727
AT ITER 4919 NEW BEST:: SOT 10168472 SOS 2614708 HAS SOPS 2613962 HAS SOUS 250694 HAS SOUPS 249948 WITH SCORE 252562.708
AT ITER 4931 NEW BEST:: SOT 10168472 SOS 2614708 HAS SOPS 2613962 HAS SOUS 250687 HAS SOUPS 249941 WITH SCORE 252555.708
AT ITER 4979 NEW BEST:: SOT 10168448 SOS 2614684 HAS SOPS 2613938 HAS SOUS 250644 HAS SOUPS 249898 WITH SCORE 252512.684
AT ITER 4989 NEW BEST:: SOT 10168404 SOS 2614640 HAS SOPS 2613894 HAS SOUS 250574 HAS SOUPS 249828 WITH SCORE 252442.64
AT ITER 4991 NEW BEST:: SOT 10168337 SOS 2614624 HAS SOPS 2613878 HAS SOUS 250460 HAS SOUPS 249714 WITH SCORE 252328.624
AT ITER 5007 NEW BEST:: SOT 10168336 SOS 2614623 HAS SOPS 2613877 HAS SOUS 250458 HAS SOUPS 249712 WITH SCORE 252326.623
AT ITER 5015 NEW BEST:: SOT 10168142 SOS 2614278 HAS SOPS 2613532 HAS SOUS 250382 HAS SOUPS 249636 WITH SCORE 252250.278
AT ITER 5027 NEW BEST:: SOT 10168142 SOS 2614168 HAS SOPS 2613422 HAS SOUS 250382 HAS SOUPS 249636 WITH SCORE 252250.168
AT ITER 5032 NEW BEST:: SOT 10168137 SOS 2614163 HAS SOPS 2613417 HAS SOUS 250372 HAS SOUPS 249626 WITH SCORE 252240.163
AT ITER 5034 NEW BEST:: SOT 10168069 SOS 2614095 HAS SOPS 2613349 HAS SOUS 250209 HAS SOUPS 249463 WITH SCORE 252077.095
AT ITER 5058 NEW BEST:: SOT 10168017 SOS 2614043 HAS SOPS 2613297 HAS SOUS 250098 HAS SOUPS 249352 WITH SCORE 251966.043
AT ITER 5071 NEW BEST:: SOT 10165544 SOS 2773172 HAS SOPS 2772426 HAS SOUS 249170 HAS SOUPS 248424 WITH SCORE 251197.172
AT ITER 5087 NEW BEST:: SOT 10163935 SOS 2771626 HAS SOPS 2770880 HAS SOUS 248814 HAS SOUPS 248068 WITH SCORE 250839.626
AT ITER 5099 NEW BEST:: SOT 10163897 SOS 2771531 HAS SOPS 2770785 HAS SOUS 248728 HAS SOUPS 247982 WITH SCORE 250753.531
AT ITER 5103 NEW BEST:: SOT 10163828 SOS 2771462 HAS SOPS 2770716 HAS SOUS 248590 HAS SOUPS 247844 WITH SCORE 250615.462
AT ITER 5132 NEW BEST:: SOT 10163812 SOS 2771446 HAS SOPS 2770700 HAS SOUS 248539 HAS SOUPS 247793 WITH SCORE 250564.446
AT ITER 5153 NEW BEST:: SOT 10162899 SOS 2770597 HAS SOPS 2769851 HAS SOUS 248170 HAS SOUPS 247424 WITH SCORE 250194.597
AT ITER 5160 NEW BEST:: SOT 10162899 SOS 2770577 HAS SOPS 2769831 HAS SOUS 248166 HAS SOUPS 247420 WITH SCORE 250190.577
AT ITER 5178 NEW BEST:: SOT 10163010 SOS 2771054 HAS SOPS 2770308 HAS SOUS 248034 HAS SOUPS 247288 WITH SCORE 250059.054
AT ITER 5193 NEW BEST:: SOT 10162756 SOS 2770590 HAS SOPS 2769844 HAS SOUS 247965 HAS SOUPS 247219 WITH SCORE 249989.59
AT ITER 5203 NEW BEST:: SOT 10162756 SOS 2770550 HAS SOPS 2769804 HAS SOUS 247590 HAS SOUPS 246844 WITH SCORE 249614.55
AT ITER 5219 NEW BEST:: SOT 10162712 SOS 2770526 HAS SOPS 2769780 HAS SOUS 247552 HAS SOUPS 246806 WITH SCORE 249576.526
AT ITER 5240 NEW BEST:: SOT 10162712 SOS 2770196 HAS SOPS 2769450 HAS SOUS 247552 HAS SOUPS 246806 WITH SCORE 249576.196
AT ITER 5247 NEW BEST:: SOT 10162712 SOS 2770206 HAS SOPS 2769450 HAS SOUS 247558 HAS SOUPS 246802 WITH SCORE 249572.206
AT ITER 5257 NEW BEST:: SOT 10162373 SOS 2769167 HAS SOPS 2768411 HAS SOUS 247330 HAS SOUPS 246574 WITH SCORE 249343.167
AT ITER 5276 NEW BEST:: SOT 10162369 SOS 2769057 HAS SOPS 2768301 HAS SOUS 247322 HAS SOUPS 246566 WITH SCORE 249335.057
AT ITER 5302 NEW BEST:: SOT 10162369 SOS 2769057 HAS SOPS 2768301 HAS SOUS 247287 HAS SOUPS 246531 WITH SCORE 249300.057
AT ITER 5303 NEW BEST:: SOT 10162369 SOS 2769937 HAS SOPS 2769181 HAS SOUS 247199 HAS SOUPS 246443 WITH SCORE 249212.937
AT ITER 5316 NEW BEST:: SOT 10162030 SOS 2769639 HAS SOPS 2768842 HAS SOUS 247118 HAS SOUPS 246321 WITH SCORE 249090.639
AT ITER 5320 NEW BEST:: SOT 10162042 SOS 2769651 HAS SOPS 2768854 HAS SOUS 247082 HAS SOUPS 246285 WITH SCORE 249054.651
AT ITER 5327 NEW BEST:: SOT 10162034 SOS 2769264 HAS SOPS 2768476 HAS SOUS 247057 HAS SOUPS 246269 WITH SCORE 249038.264
AT ITER 5331 NEW BEST:: SOT 10159989 SOS 2783624 HAS SOPS 2782836 HAS SOUS 245179 HAS SOUPS 244391 WITH SCORE 247174.624
AT ITER 5339 NEW BEST:: SOT 10159989 SOS 2783624 HAS SOPS 2782836 HAS SOUS 245172 HAS SOUPS 244384 WITH SCORE 247167.624
AT ITER 5354 NEW BEST:: SOT 10159849 SOS 2783484 HAS SOPS 2782696 HAS SOUS 244892 HAS SOUPS 244104 WITH SCORE 246887.484
AT ITER 5359 NEW BEST:: SOT 10159847 SOS 2783638 HAS SOPS 2782850 HAS SOUS 244888 HAS SOUPS 244100 WITH SCORE 246883.638
AT ITER 5378 NEW BEST:: SOT 10159796 SOS 2783587 HAS SOPS 2782799 HAS SOUS 244851 HAS SOUPS 244063 WITH SCORE 246846.587
AT ITER 5406 NEW BEST:: SOT 10159562 SOS 2783353 HAS SOPS 2782565 HAS SOUS 244594 HAS SOUPS 243806 WITH SCORE 246589.353
AT ITER 5433 NEW BEST:: SOT 10159448 SOS 2783239 HAS SOPS 2782451 HAS SOUS 244436 HAS SOUPS 243648 WITH SCORE 246431.239
AT ITER 5475 NEW BEST:: SOT 10159494 SOS 2783211 HAS SOPS 2782423 HAS SOUS 244396 HAS SOUPS 243608 WITH SCORE 246391.211
AT ITER 5486 NEW BEST:: SOT 10159447 SOS 2783164 HAS SOPS 2782376 HAS SOUS 244302 HAS SOUPS 243514 WITH SCORE 246297.164
AT ITER 5494 NEW BEST:: SOT 10159369 SOS 2782866 HAS SOPS 2782078 HAS SOUS 244212 HAS SOUPS 243424 WITH SCORE 246206.866
AT ITER 5496 NEW BEST:: SOT 10159281 SOS 2782778 HAS SOPS 2781990 HAS SOUS 244036 HAS SOUPS 243248 WITH SCORE 246030.778
AT ITER 5497 NEW BEST:: SOT 10158914 SOS 2786024 HAS SOPS 2785663 HAS SOUS 243375 HAS SOUPS 243014 WITH SCORE 245800.024
AT ITER 5514 NEW BEST:: SOT 10158825 SOS 2794035 HAS SOPS 2793674 HAS SOUS 243344 HAS SOUPS 242983 WITH SCORE 245777.035
AT ITER 5544 NEW BEST:: SOT 10158825 SOS 2794035 HAS SOPS 2793674 HAS SOUS 243326 HAS SOUPS 242965 WITH SCORE 245759.035
AT ITER 5545 NEW BEST:: SOT 10158742 SOS 2793952 HAS SOPS 2793591 HAS SOUS 243166 HAS SOUPS 242805 WITH SCORE 245598.952
AT ITER 5547 NEW BEST:: SOT 10158722 SOS 2793932 HAS SOPS 2793571 HAS SOUS 243131 HAS SOUPS 242770 WITH SCORE 245563.932
AT ITER 5564 NEW BEST:: SOT 10158710 SOS 2793920 HAS SOPS 2793559 HAS SOUS 243107 HAS SOUPS 242746 WITH SCORE 245539.92
AT ITER 5577 NEW BEST:: SOT 10158634 SOS 2793844 HAS SOPS 2793483 HAS SOUS 242843 HAS SOUPS 242482 WITH SCORE 245275.844
AT ITER 5605 NEW BEST:: SOT 10158632 SOS 2793842 HAS SOPS 2793481 HAS SOUS 242837 HAS SOUPS 242476 WITH SCORE 245269.842
AT ITER 5610 NEW BEST:: SOT 10158629 SOS 2793839 HAS SOPS 2793478 HAS SOUS 242831 HAS SOUPS 242470 WITH SCORE 245263.839
AT ITER 5612 NEW BEST:: SOT 10158567 SOS 2793777 HAS SOPS 2793416 HAS SOUS 242765 HAS SOUPS 242404 WITH SCORE 245197.777
AT ITER 5616 NEW BEST:: SOT 10158485 SOS 2793695 HAS SOPS 2793334 HAS SOUS 242596 HAS SOUPS 242235 WITH SCORE 245028.695
AT ITER 5619 NEW BEST:: SOT 10158388 SOS 2793598 HAS SOPS 2793237 HAS SOUS 242434 HAS SOUPS 242073 WITH SCORE 244866.598
AT ITER 5628 NEW BEST:: SOT 10158345 SOS 2793555 HAS SOPS 2793194 HAS SOUS 242384 HAS SOUPS 242023 WITH SCORE 244816.555
AT ITER 5650 NEW BEST:: SOT 10158287 SOS 2793497 HAS SOPS 2793136 HAS SOUS 242343 HAS SOUPS 241982 WITH SCORE 244775.497
AT ITER 5660 NEW BEST:: SOT 10158182 SOS 2793392 HAS SOPS 2793031 HAS SOUS 242309 HAS SOUPS 241948 WITH SCORE 244741.392
AT ITER 5663 NEW BEST:: SOT 10158103 SOS 2793313 HAS SOPS 2792952 HAS SOUS 242036 HAS SOUPS 241675 WITH SCORE 244468.313
AT ITER 5674 NEW BEST:: SOT 10158013 SOS 2793902 HAS SOPS 2792862 HAS SOUS 241819 HAS SOUPS 241329 WITH SCORE 244122.902
AT ITER 5694 NEW BEST:: SOT 10157933 SOS 2793822 HAS SOPS 2792782 HAS SOUS 241671 HAS SOUPS 241181 WITH SCORE 243974.822
AT ITER 5703 NEW BEST:: SOT 10157885 SOS 2793774 HAS SOPS 2792734 HAS SOUS 241575 HAS SOUPS 241085 WITH SCORE 243878.774
AT ITER 5727 NEW BEST:: SOT 10157866 SOS 2793736 HAS SOPS 2792696 HAS SOUS 241537 HAS SOUPS 241047 WITH SCORE 243840.736
AT ITER 5758 NEW BEST:: SOT 10157866 SOS 2793736 HAS SOPS 2792696 HAS SOUS 241521 HAS SOUPS 241031 WITH SCORE 243824.736
AT ITER 5766 NEW BEST:: SOT 10157679 SOS 2793549 HAS SOPS 2792509 HAS SOUS 241192 HAS SOUPS 240702 WITH SCORE 243495.549
AT ITER 5784 NEW BEST:: SOT 10157623 SOS 2793493 HAS SOPS 2792453 HAS SOUS 241156 HAS SOUPS 240666 WITH SCORE 243459.493
AT ITER 5797 NEW BEST:: SOT 10157462 SOS 2792432 HAS SOPS 2791392 HAS SOUS 241020 HAS SOUPS 240530 WITH SCORE 243322.432
AT ITER 5811 NEW BEST:: SOT 10157464 SOS 2792434 HAS SOPS 2791394 HAS SOUS 241005 HAS SOUPS 240515 WITH SCORE 243307.434
AT ITER 5815 NEW BEST:: SOT 10157452 SOS 2792422 HAS SOPS 2791382 HAS SOUS 240976 HAS SOUPS 240486 WITH SCORE 243278.422
AT ITER 5827 NEW BEST:: SOT 10157424 SOS 2792304 HAS SOPS 2791264 HAS SOUS 240920 HAS SOUPS 240430 WITH SCORE 243222.304
AT ITER 5848 NEW BEST:: SOT 10157423 SOS 2792303 HAS SOPS 2791263 HAS SOUS 240918 HAS SOUPS 240428 WITH SCORE 243220.303
AT ITER 5865 NEW BEST:: SOT 10157416 SOS 2792296 HAS SOPS 2791256 HAS SOUS 240911 HAS SOUPS 240421 WITH SCORE 243213.296
AT ITER 5866 NEW BEST:: SOT 10157200 SOS 2792080 HAS SOPS 2791040 HAS SOUS 240545 HAS SOUPS 240055 WITH SCORE 242847.08
AT ITER 5872 NEW BEST:: SOT 10157200 SOS 2792080 HAS SOPS 2791040 HAS SOUS 240529 HAS SOUPS 240039 WITH SCORE 242831.08
AT ITER 5874 NEW BEST:: SOT 10157166 SOS 2792046 HAS SOPS 2791006 HAS SOUS 240495 HAS SOUPS 240005 WITH SCORE 242797.046
AT ITER 5876 NEW BEST:: SOT 10157171 SOS 2792009 HAS SOPS 2790969 HAS SOUS 240453 HAS SOUPS 239963 WITH SCORE 242755.009
AT ITER 5900 NEW BEST:: SOT 10156970 SOS 2790578 HAS SOPS 2789538 HAS SOUS 240268 HAS SOUPS 239778 WITH SCORE 242568.578
AT ITER 5915 NEW BEST:: SOT 10156928 SOS 2790076 HAS SOPS 2789036 HAS SOUS 240184 HAS SOUPS 239694 WITH SCORE 242484.076
AT ITER 5928 NEW BEST:: SOT 10156891 SOS 2790039 HAS SOPS 2788999 HAS SOUS 240097 HAS SOUPS 239607 WITH SCORE 242397.039
AT ITER 5956 NEW BEST:: SOT 10156854 SOS 2790002 HAS SOPS 2788962 HAS SOUS 240043 HAS SOUPS 239553 WITH SCORE 242343.002
AT ITER 5957 NEW BEST:: SOT 10156854 SOS 2790002 HAS SOPS 2788962 HAS SOUS 240036 HAS SOUPS 239546 WITH SCORE 242336.002
AT ITER 5981 NEW BEST:: SOT 10156885 SOS 2790361 HAS SOPS 2789321 HAS SOUS 240017 HAS SOUPS 239527 WITH SCORE 242317.361
AT ITER 5982 NEW BEST:: SOT 10156893 SOS 2790391 HAS SOPS 2789351 HAS SOUS 240003 HAS SOUPS 239513 WITH SCORE 242303.391
AT ITER 6013 NEW BEST:: SOT 10156888 SOS 2790381 HAS SOPS 2789341 HAS SOUS 239993 HAS SOUPS 239503 WITH SCORE 242293.381
AT ITER 6018 NEW BEST:: SOT 10156544 SOS 2790041 HAS SOPS 2789001 HAS SOUS 239750 HAS SOUPS 239260 WITH SCORE 242050.041
AT ITER 6042 NEW BEST:: SOT 10156533 SOS 2790030 HAS SOPS 2788990 HAS SOUS 239747 HAS SOUPS 239257 WITH SCORE 242047.03
AT ITER 6056 NEW BEST:: SOT 10156493 SOS 2789440 HAS SOPS 2788400 HAS SOUS 239692 HAS SOUPS 239202 WITH SCORE 241991.44
AT ITER 6058 NEW BEST:: SOT 10156493 SOS 2789387 HAS SOPS 2788347 HAS SOUS 238799 HAS SOUPS 238309 WITH SCORE 241098.387
AT ITER 6085 NEW BEST:: SOT 10156488 SOS 2789732 HAS SOPS 2788692 HAS SOUS 238789 HAS SOUPS 238299 WITH SCORE 241088.732
AT ITER 6093 NEW BEST:: SOT 10156397 SOS 2790043 HAS SOPS 2789003 HAS SOUS 238615 HAS SOUPS 238125 WITH SCORE 240915.043
AT ITER 6118 NEW BEST:: SOT 10156393 SOS 2790039 HAS SOPS 2788999 HAS SOUS 238615 HAS SOUPS 238125 WITH SCORE 240915.039
AT ITER 6149 NEW BEST:: SOT 10156377 SOS 2790023 HAS SOPS 2788983 HAS SOUS 238610 HAS SOUPS 238120 WITH SCORE 240910.023
AT ITER 6150 NEW BEST:: SOT 10156377 SOS 2790023 HAS SOPS 2788983 HAS SOUS 238490 HAS SOUPS 238000 WITH SCORE 240790.023
AT ITER 6157 NEW BEST:: SOT 10156377 SOS 2789672 HAS SOPS 2788632 HAS SOUS 238490 HAS SOUPS 238000 WITH SCORE 240789.672
AT ITER 6167 NEW BEST:: SOT 10157186 SOS 2790481 HAS SOPS 2789441 HAS SOUS 236781 HAS SOUPS 236291 WITH SCORE 239081.481
AT ITER 6201 NEW BEST:: SOT 10157186 SOS 2790481 HAS SOPS 2789441 HAS SOUS 236779 HAS SOUPS 236289 WITH SCORE 239079.481
AT ITER 6203 NEW BEST:: SOT 10157260 SOS 2790532 HAS SOPS 2789492 HAS SOUS 236745 HAS SOUPS 236255 WITH SCORE 239045.532
AT ITER 6206 NEW BEST:: SOT 10157178 SOS 2790450 HAS SOPS 2789410 HAS SOUS 236576 HAS SOUPS 236086 WITH SCORE 238876.45
AT ITER 6207 NEW BEST:: SOT 10156396 SOS 2789746 HAS SOPS 2788706 HAS SOUS 236573 HAS SOUPS 236083 WITH SCORE 238872.746
AT ITER 6213 NEW BEST:: SOT 10156257 SOS 2789607 HAS SOPS 2788567 HAS SOUS 236348 HAS SOUPS 235858 WITH SCORE 238647.607
AT ITER 6217 NEW BEST:: SOT 10156252 SOS 2789533 HAS SOPS 2788493 HAS SOUS 236338 HAS SOUPS 235848 WITH SCORE 238637.533
AT ITER 6229 NEW BEST:: SOT 10156159 SOS 2789097 HAS SOPS 2788057 HAS SOUS 236332 HAS SOUPS 235842 WITH SCORE 238631.097
AT ITER 6239 NEW BEST:: SOT 10155943 SOS 2788881 HAS SOPS 2787841 HAS SOUS 235980 HAS SOUPS 235490 WITH SCORE 238278.881
AT ITER 6258 NEW BEST:: SOT 10155902 SOS 2788840 HAS SOPS 2787800 HAS SOUS 235915 HAS SOUPS 235425 WITH SCORE 238213.84
AT ITER 6275 NEW BEST:: SOT 10149953 SOS 2782891 HAS SOPS 2781851 HAS SOUS 235624 HAS SOUPS 235134 WITH SCORE 237916.891
AT ITER 6301 NEW BEST:: SOT 10149808 SOS 2782746 HAS SOPS 2781706 HAS SOUS 235334 HAS SOUPS 234844 WITH SCORE 237626.746
AT ITER 6310 NEW BEST:: SOT 10149808 SOS 2782666 HAS SOPS 2781626 HAS SOUS 235318 HAS SOUPS 234828 WITH SCORE 237610.666
AT ITER 6320 NEW BEST:: SOT 10149802 SOS 2782660 HAS SOPS 2781620 HAS SOUS 235280 HAS SOUPS 234790 WITH SCORE 237572.66
AT ITER 6322 NEW BEST:: SOT 10149734 SOS 2782447 HAS SOPS 2781407 HAS SOUS 235144 HAS SOUPS 234654 WITH SCORE 237436.447
AT ITER 6328 NEW BEST:: SOT 10149692 SOS 2782405 HAS SOPS 2781365 HAS SOUS 235098 HAS SOUPS 234608 WITH SCORE 237390.405
AT ITER 6334 NEW BEST:: SOT 10149662 SOS 2782095 HAS SOPS 2781055 HAS SOUS 235040 HAS SOUPS 234550 WITH SCORE 237332.095
AT ITER 6354 NEW BEST:: SOT 10149615 SOS 2782048 HAS SOPS 2781008 HAS SOUS 234946 HAS SOUPS 234456 WITH SCORE 237238.048
AT ITER 6365 NEW BEST:: SOT 10149615 SOS 2782048 HAS SOPS 2781008 HAS SOUS 234944 HAS SOUPS 234454 WITH SCORE 237236.048
AT ITER 6386 NEW BEST:: SOT 10149639 SOS 2782072 HAS SOPS 2781032 HAS SOUS 234838 HAS SOUPS 234348 WITH SCORE 237130.072
AT ITER 6388 NEW BEST:: SOT 10149580 SOS 2782013 HAS SOPS 2780973 HAS SOUS 234734 HAS SOUPS 234244 WITH SCORE 237026.013
AT ITER 6398 NEW BEST:: SOT 10149492 SOS 2781925 HAS SOPS 2780885 HAS SOUS 234597 HAS SOUPS 234107 WITH SCORE 236888.925
AT ITER 6422 NEW BEST:: SOT 10149489 SOS 2781922 HAS SOPS 2780882 HAS SOUS 234587 HAS SOUPS 234097 WITH SCORE 236878.922
AT ITER 6424 NEW BEST:: SOT 10149307 SOS 2781740 HAS SOPS 2780700 HAS SOUS 234251 HAS SOUPS 233761 WITH SCORE 236542.74
AT ITER 6427 NEW BEST:: SOT 10149248 SOS 2781681 HAS SOPS 2780641 HAS SOUS 234133 HAS SOUPS 233643 WITH SCORE 236424.681
AT ITER 6432 NEW BEST:: SOT 10149182 SOS 2781615 HAS SOPS 2780575 HAS SOUS 234001 HAS SOUPS 233511 WITH SCORE 236292.615
AT ITER 6461 NEW BEST:: SOT 10149167 SOS 2781600 HAS SOPS 2780560 HAS SOUS 233937 HAS SOUPS 233447 WITH SCORE 236228.6
AT ITER 6464 NEW BEST:: SOT 10149087 SOS 2781520 HAS SOPS 2780480 HAS SOUS 233779 HAS SOUPS 233289 WITH SCORE 236070.52
AT ITER 6466 NEW BEST:: SOT 10149040 SOS 2781473 HAS SOPS 2780433 HAS SOUS 233730 HAS SOUPS 233240 WITH SCORE 236021.473
AT ITER 6468 NEW BEST:: SOT 10149153 SOS 2781586 HAS SOPS 2780546 HAS SOUS 233641 HAS SOUPS 233151 WITH SCORE 235932.586
AT ITER 6470 NEW BEST:: SOT 10149140 SOS 2781573 HAS SOPS 2780533 HAS SOUS 233633 HAS SOUPS 233143 WITH SCORE 235924.573
AT ITER 6474 NEW BEST:: SOT 10149080 SOS 2781513 HAS SOPS 2780473 HAS SOUS 233508 HAS SOUPS 233018 WITH SCORE 235799.513
AT ITER 6482 NEW BEST:: SOT 10148960 SOS 2781393 HAS SOPS 2780353 HAS SOUS 233496 HAS SOUPS 233006 WITH SCORE 235787.393
AT ITER 6511 NEW BEST:: SOT 10148960 SOS 2780973 HAS SOPS 2779933 HAS SOUS 233477 HAS SOUPS 232987 WITH SCORE 235767.973
AT ITER 6532 NEW BEST:: SOT 10148946 SOS 2781909 HAS SOPS 2780869 HAS SOUS 233327 HAS SOUPS 232837 WITH SCORE 235618.909
AT ITER 6540 NEW BEST:: SOT 10148856 SOS 2781819 HAS SOPS 2780779 HAS SOUS 233147 HAS SOUPS 232657 WITH SCORE 235438.819
AT ITER 6546 NEW BEST:: SOT 10148655 SOS 2781118 HAS SOPS 2780078 HAS SOUS 232963 HAS SOUPS 232473 WITH SCORE 235254.118
AT ITER 6558 NEW BEST:: SOT 10148598 SOS 2780984 HAS SOPS 2779944 HAS SOUS 232955 HAS SOUPS 232465 WITH SCORE 235245.984
AT ITER 6572 NEW BEST:: SOT 10148581 SOS 2780967 HAS SOPS 2779927 HAS SOUS 232937 HAS SOUPS 232447 WITH SCORE 235227.967
AT ITER 6589 NEW BEST:: SOT 10147310 SOS 2779696 HAS SOPS 2778700 HAS SOUS 232037 HAS SOUPS 231547 WITH SCORE 234326.696
AT ITER 6601 NEW BEST:: SOT 10147212 SOS 2779370 HAS SOPS 2778374 HAS SOUS 231936 HAS SOUPS 231446 WITH SCORE 234225.37
AT ITER 6607 NEW BEST:: SOT 10147190 SOS 2779348 HAS SOPS 2778352 HAS SOUS 231918 HAS SOUPS 231428 WITH SCORE 234207.348
AT ITER 6608 NEW BEST:: SOT 10147092 SOS 2779250 HAS SOPS 2778254 HAS SOUS 231756 HAS SOUPS 231266 WITH SCORE 234045.25
AT ITER 6617 NEW BEST:: SOT 10146674 SOS 2778832 HAS SOPS 2777836 HAS SOUS 231328 HAS SOUPS 230838 WITH SCORE 233616.832
AT ITER 6655 NEW BEST:: SOT 10146564 SOS 2778722 HAS SOPS 2777726 HAS SOUS 231108 HAS SOUPS 230618 WITH SCORE 233396.722
AT ITER 6686 NEW BEST:: SOT 10146556 SOS 2778674 HAS SOPS 2777678 HAS SOUS 231100 HAS SOUPS 230610 WITH SCORE 233388.674
AT ITER 6715 NEW BEST:: SOT 10146541 SOS 2778659 HAS SOPS 2777663 HAS SOUS 231098 HAS SOUPS 230608 WITH SCORE 233386.659
AT ITER 6717 NEW BEST:: SOT 10146494 SOS 2778612 HAS SOPS 2777616 HAS SOUS 231004 HAS SOUPS 230514 WITH SCORE 233292.612
AT ITER 6720 NEW BEST:: SOT 10146236 SOS 2778354 HAS SOPS 2777379 HAS SOUS 230977 HAS SOUPS 230487 WITH SCORE 233265.354
AT ITER 6750 NEW BEST:: SOT 10146205 SOS 2778323 HAS SOPS 2777348 HAS SOUS 230915 HAS SOUPS 230425 WITH SCORE 233203.323
AT ITER 6751 NEW BEST:: SOT 10146106 SOS 2778224 HAS SOPS 2777249 HAS SOUS 230710 HAS SOUPS 230220 WITH SCORE 232998.224
AT ITER 6753 NEW BEST:: SOT 10146029 SOS 2777377 HAS SOPS 2776402 HAS SOUS 230710 HAS SOUPS 230220 WITH SCORE 232997.377
AT ITER 6763 NEW BEST:: SOT 10145996 SOS 2777344 HAS SOPS 2776369 HAS SOUS 230644 HAS SOUPS 230154 WITH SCORE 232931.344
AT ITER 6787 NEW BEST:: SOT 10145947 SOS 2777873 HAS SOPS 2776898 HAS SOUS 230546 HAS SOUPS 230056 WITH SCORE 232833.873
AT ITER 6795 NEW BEST:: SOT 10145793 SOS 2777719 HAS SOPS 2776744 HAS SOUS 230375 HAS SOUPS 229885 WITH SCORE 232662.719
AT ITER 6807 NEW BEST:: SOT 10145691 SOS 2777627 HAS SOPS 2776652 HAS SOUS 230161 HAS SOUPS 229671 WITH SCORE 232448.627
AT ITER 6808 NEW BEST:: SOT 10145621 SOS 2777557 HAS SOPS 2776582 HAS SOUS 230068 HAS SOUPS 229578 WITH SCORE 232355.557
AT ITER 6837 NEW BEST:: SOT 10145606 SOS 2777527 HAS SOPS 2776552 HAS SOUS 230038 HAS SOUPS 229548 WITH SCORE 232325.527
AT ITER 6841 NEW BEST:: SOT 10145448 SOS 2777369 HAS SOPS 2776394 HAS SOUS 230022 HAS SOUPS 229532 WITH SCORE 232309.369
AT ITER 6855 NEW BEST:: SOT 10145448 SOS 2777369 HAS SOPS 2776394 HAS SOUS 230016 HAS SOUPS 229526 WITH SCORE 232303.369
AT ITER 6861 NEW BEST:: SOT 10145437 SOS 2777358 HAS SOPS 2776383 HAS SOUS 230005 HAS SOUPS 229515 WITH SCORE 232292.358
AT ITER 6875 NEW BEST:: SOT 10145366 SOS 2777287 HAS SOPS 2776312 HAS SOUS 229858 HAS SOUPS 229368 WITH SCORE 232145.287
AT ITER 6877 NEW BEST:: SOT 10145234 SOS 2777155 HAS SOPS 2776180 HAS SOUS 229850 HAS SOUPS 229360 WITH SCORE 232137.155
AT ITER 6883 NEW BEST:: SOT 10145150 SOS 2777071 HAS SOPS 2776096 HAS SOUS 229730 HAS SOUPS 229240 WITH SCORE 232017.071
AT ITER 6908 NEW BEST:: SOT 10145079 SOS 2777140 HAS SOPS 2776165 HAS SOUS 229673 HAS SOUPS 229183 WITH SCORE 231960.14
AT ITER 6930 NEW BEST:: SOT 10144980 SOS 2777041 HAS SOPS 2776066 HAS SOUS 229584 HAS SOUPS 229094 WITH SCORE 231871.041
AT ITER 6938 NEW BEST:: SOT 10144978 SOS 2777039 HAS SOPS 2776062 HAS SOUS 229568 HAS SOUPS 229078 WITH SCORE 231855.039
AT ITER 6947 NEW BEST:: SOT 10144978 SOS 2777039 HAS SOPS 2776062 HAS SOUS 229562 HAS SOUPS 229072 WITH SCORE 231849.039
AT ITER 6972 NEW BEST:: SOT 10144880 SOS 2776941 HAS SOPS 2775964 HAS SOUS 229456 HAS SOUPS 228966 WITH SCORE 231742.941
AT ITER 6998 NEW BEST:: SOT 10144812 SOS 2776873 HAS SOPS 2775896 HAS SOUS 229320 HAS SOUPS 228830 WITH SCORE 231606.873
AT ITER 7001 NEW BEST:: SOT 10144785 SOS 2776603 HAS SOPS 2775626 HAS SOUS 229320 HAS SOUPS 228830 WITH SCORE 231606.603
AT ITER 7041 NEW BEST:: SOT 10144747 SOS 2776565 HAS SOPS 2775623 HAS SOUS 229279 HAS SOUPS 228824 WITH SCORE 231600.565
AT ITER 7074 NEW BEST:: SOT 10144699 SOS 2776517 HAS SOPS 2775575 HAS SOUS 229188 HAS SOUPS 228733 WITH SCORE 231509.517
AT ITER 7115 NEW BEST:: SOT 10144656 SOS 2776474 HAS SOPS 2775532 HAS SOUS 229102 HAS SOUPS 228647 WITH SCORE 231423.474
AT ITER 7122 NEW BEST:: SOT 10144584 SOS 2776402 HAS SOPS 2775460 HAS SOUS 229016 HAS SOUPS 228561 WITH SCORE 231337.402
AT ITER 7125 NEW BEST:: SOT 10144435 SOS 2776253 HAS SOPS 2775311 HAS SOUS 228759 HAS SOUPS 228304 WITH SCORE 231080.253
AT ITER 7134 NEW BEST:: SOT 10144901 SOS 2776719 HAS SOPS 2775777 HAS SOUS 227640 HAS SOUPS 227185 WITH SCORE 229961.719
AT ITER 7157 NEW BEST:: SOT 10144901 SOS 2776719 HAS SOPS 2775777 HAS SOUS 227638 HAS SOUPS 227183 WITH SCORE 229959.719
AT ITER 7182 NEW BEST:: SOT 10144901 SOS 2776719 HAS SOPS 2775777 HAS SOUS 227633 HAS SOUPS 227178 WITH SCORE 229954.719
AT ITER 7183 NEW BEST:: SOT 10144874 SOS 2776692 HAS SOPS 2775750 HAS SOUS 227506 HAS SOUPS 227051 WITH SCORE 229827.692
AT ITER 7198 NEW BEST:: SOT 10144804 SOS 2776753 HAS SOPS 2775811 HAS SOUS 227462 HAS SOUPS 227007 WITH SCORE 229783.753
AT ITER 7206 NEW BEST:: SOT 10144752 SOS 2776701 HAS SOPS 2775759 HAS SOUS 227358 HAS SOUPS 226903 WITH SCORE 229679.701
AT ITER 7219 NEW BEST:: SOT 10144716 SOS 2776665 HAS SOPS 2775723 HAS SOUS 227286 HAS SOUPS 226831 WITH SCORE 229607.665
AT ITER 7232 NEW BEST:: SOT 10144708 SOS 2776657 HAS SOPS 2775715 HAS SOUS 227270 HAS SOUPS 226815 WITH SCORE 229591.657
AT ITER 7234 NEW BEST:: SOT 10144665 SOS 2776614 HAS SOPS 2775672 HAS SOUS 227194 HAS SOUPS 226739 WITH SCORE 229515.614
AT ITER 7244 NEW BEST:: SOT 10144663 SOS 2776612 HAS SOPS 2775670 HAS SOUS 227187 HAS SOUPS 226732 WITH SCORE 229508.612
AT ITER 7249 NEW BEST:: SOT 10144663 SOS 2776612 HAS SOPS 2775670 HAS SOUS 227169 HAS SOUPS 226714 WITH SCORE 229490.612
AT ITER 7250 NEW BEST:: SOT 10144817 SOS 2776766 HAS SOPS 2775824 HAS SOUS 227153 HAS SOUPS 226698 WITH SCORE 229474.766
AT ITER 7278 NEW BEST:: SOT 10144805 SOS 2776844 HAS SOPS 2775902 HAS SOUS 227141 HAS SOUPS 226686 WITH SCORE 229462.844
AT ITER 7286 NEW BEST:: SOT 10144769 SOS 2776808 HAS SOPS 2775866 HAS SOUS 227069 HAS SOUPS 226614 WITH SCORE 229390.808
AT ITER 7302 NEW BEST:: SOT 10144769 SOS 2776738 HAS SOPS 2775796 HAS SOUS 227062 HAS SOUPS 226607 WITH SCORE 229383.738
AT ITER 7306 NEW BEST:: SOT 10144769 SOS 2776658 HAS SOPS 2775716 HAS SOUS 227062 HAS SOUPS 226607 WITH SCORE 229383.658
AT ITER 7308 NEW BEST:: SOT 10144756 SOS 2776115 HAS SOPS 2775173 HAS SOUS 227036 HAS SOUPS 226581 WITH SCORE 229357.115
AT ITER 7312 NEW BEST:: SOT 10144740 SOS 2776271 HAS SOPS 2775329 HAS SOUS 227004 HAS SOUPS 226549 WITH SCORE 229325.271
AT ITER 7325 NEW BEST:: SOT 10144740 SOS 2776271 HAS SOPS 2775329 HAS SOUS 226981 HAS SOUPS 226526 WITH SCORE 229302.271
AT ITER 7327 NEW BEST:: SOT 10144733 SOS 2776264 HAS SOPS 2775322 HAS SOUS 226974 HAS SOUPS 226519 WITH SCORE 229295.264
AT ITER 7332 NEW BEST:: SOT 10144689 SOS 2776220 HAS SOPS 2775278 HAS SOUS 226886 HAS SOUPS 226431 WITH SCORE 229207.22
AT ITER 7340 NEW BEST:: SOT 10144658 SOS 2776189 HAS SOPS 2775247 HAS SOUS 226824 HAS SOUPS 226369 WITH SCORE 229145.189
AT ITER 7346 NEW BEST:: SOT 10144655 SOS 2776186 HAS SOPS 2775244 HAS SOUS 226818 HAS SOUPS 226363 WITH SCORE 229139.186
AT ITER 7358 NEW BEST:: SOT 10144662 SOS 2776193 HAS SOPS 2775251 HAS SOUS 226782 HAS SOUPS 226327 WITH SCORE 229103.193
AT ITER 7389 NEW BEST:: SOT 10144521 SOS 2776175 HAS SOPS 2775233 HAS SOUS 226764 HAS SOUPS 226309 WITH SCORE 229085.175
AT ITER 7391 NEW BEST:: SOT 10144521 SOS 2776231 HAS SOPS 2775289 HAS SOUS 226708 HAS SOUPS 226253 WITH SCORE 229029.231
AT ITER 7399 NEW BEST:: SOT 10144500 SOS 2776210 HAS SOPS 2775268 HAS SOUS 226659 HAS SOUPS 226204 WITH SCORE 228980.21
AT ITER 7418 NEW BEST:: SOT 10144469 SOS 2776179 HAS SOPS 2775237 HAS SOUS 226597 HAS SOUPS 226142 WITH SCORE 228918.179
AT ITER 7422 NEW BEST:: SOT 10144469 SOS 2776179 HAS SOPS 2775237 HAS SOUS 226595 HAS SOUPS 226140 WITH SCORE 228916.179
AT ITER 7429 NEW BEST:: SOT 10144469 SOS 2776159 HAS SOPS 2775217 HAS SOUS 226593 HAS SOUPS 226138 WITH SCORE 228914.159
AT ITER 7435 NEW BEST:: SOT 10144465 SOS 2776155 HAS SOPS 2775213 HAS SOUS 226564 HAS SOUPS 226109 WITH SCORE 228885.155
AT ITER 7439 NEW BEST:: SOT 10144655 SOS 2776415 HAS SOPS 2775473 HAS SOUS 226547 HAS SOUPS 226092 WITH SCORE 228868.415
AT ITER 7442 NEW BEST:: SOT 10144543 SOS 2776303 HAS SOPS 2775361 HAS SOUS 226245 HAS SOUPS 225790 WITH SCORE 228566.303
AT ITER 7461 NEW BEST:: SOT 10144441 SOS 2776201 HAS SOPS 2775259 HAS SOUS 226070 HAS SOUPS 225615 WITH SCORE 228391.201
AT ITER 7482 NEW BEST:: SOT 10144441 SOS 2776201 HAS SOPS 2775259 HAS SOUS 226036 HAS SOUPS 225581 WITH SCORE 228357.201
AT ITER 7486 NEW BEST:: SOT 10144349 SOS 2776109 HAS SOPS 2775167 HAS SOUS 225888 HAS SOUPS 225433 WITH SCORE 228209.109
AT ITER 7553 NEW BEST:: SOT 10144252 SOS 2775894 HAS SOPS 2774952 HAS SOUS 225694 HAS SOUPS 225239 WITH SCORE 228014.894
AT ITER 7555 NEW BEST:: SOT 10144140 SOS 2774962 HAS SOPS 2774020 HAS SOUS 225644 HAS SOUPS 225189 WITH SCORE 227963.962
AT ITER 7583 NEW BEST:: SOT 10143880 SOS 2774702 HAS SOPS 2773760 HAS SOUS 225281 HAS SOUPS 224826 WITH SCORE 227600.702
AT ITER 7588 NEW BEST:: SOT 10143885 SOS 2774707 HAS SOPS 2773765 HAS SOUS 225278 HAS SOUPS 224823 WITH SCORE 227597.707
AT ITER 7591 NEW BEST:: SOT 10143885 SOS 2773317 HAS SOPS 2772375 HAS SOUS 225278 HAS SOUPS 224823 WITH SCORE 227596.317
AT ITER 7595 NEW BEST:: SOT 10143858 SOS 2773281 HAS SOPS 2772339 HAS SOUS 225242 HAS SOUPS 224787 WITH SCORE 227560.281
AT ITER 7596 NEW BEST:: SOT 10143828 SOS 2773251 HAS SOPS 2772309 HAS SOUS 225182 HAS SOUPS 224727 WITH SCORE 227500.251
AT ITER 7603 NEW BEST:: SOT 10143774 SOS 2773197 HAS SOPS 2772255 HAS SOUS 225074 HAS SOUPS 224619 WITH SCORE 227392.197
AT ITER 7606 NEW BEST:: SOT 10143664 SOS 2773087 HAS SOPS 2772145 HAS SOUS 224854 HAS SOUPS 224399 WITH SCORE 227172.087
AT ITER 7640 NEW BEST:: SOT 10143633 SOS 2773056 HAS SOPS 2772114 HAS SOUS 224816 HAS SOUPS 224361 WITH SCORE 227134.056
AT ITER 7654 NEW BEST:: SOT 10143554 SOS 2772977 HAS SOPS 2772035 HAS SOUS 224804 HAS SOUPS 224349 WITH SCORE 227121.977
AT ITER 7667 NEW BEST:: SOT 10143468 SOS 2773235 HAS SOPS 2772293 HAS SOUS 224642 HAS SOUPS 224187 WITH SCORE 226960.235
AT ITER 7712 NEW BEST:: SOT 10143417 SOS 2773184 HAS SOPS 2772242 HAS SOUS 224540 HAS SOUPS 224085 WITH SCORE 226858.184
AT ITER 7719 NEW BEST:: SOT 10143383 SOS 2773150 HAS SOPS 2772208 HAS SOUS 224472 HAS SOUPS 224017 WITH SCORE 226790.15
AT ITER 7729 NEW BEST:: SOT 10143290 SOS 2773134 HAS SOPS 2772192 HAS SOUS 224440 HAS SOUPS 223985 WITH SCORE 226758.134
AT ITER 7755 NEW BEST:: SOT 10142976 SOS 2772820 HAS SOPS 2771878 HAS SOUS 223997 HAS SOUPS 223542 WITH SCORE 226314.82
AT ITER 7769 NEW BEST:: SOT 10142977 SOS 2772821 HAS SOPS 2771874 HAS SOUS 223964 HAS SOUPS 223509 WITH SCORE 226281.821
AT ITER 7811 NEW BEST:: SOT 10142766 SOS 2772610 HAS SOPS 2771663 HAS SOUS 223753 HAS SOUPS 223298 WITH SCORE 226070.61
AT ITER 7835 NEW BEST:: SOT 10142737 SOS 2772581 HAS SOPS 2771634 HAS SOUS 223722 HAS SOUPS 223267 WITH SCORE 226039.581
AT ITER 7839 NEW BEST:: SOT 10142733 SOS 2772577 HAS SOPS 2771630 HAS SOUS 223714 HAS SOUPS 223259 WITH SCORE 226031.577
AT ITER 7877 NEW BEST:: SOT 10142716 SOS 2772543 HAS SOPS 2771596 HAS SOUS 223687 HAS SOUPS 223232 WITH SCORE 226004.543
AT ITER 7934 NEW BEST:: SOT 10142710 SOS 2772537 HAS SOPS 2771590 HAS SOUS 223681 HAS SOUPS 223226 WITH SCORE 225998.537
AT ITER 7955 NEW BEST:: SOT 10142714 SOS 2772541 HAS SOPS 2771594 HAS SOUS 223619 HAS SOUPS 223164 WITH SCORE 225936.541
AT ITER 7956 NEW BEST:: SOT 10142590 SOS 2774237 HAS SOPS 2773290 HAS SOUS 223371 HAS SOUPS 222916 WITH SCORE 225690.237
AT ITER 7957 NEW BEST:: SOT 10142548 SOS 2774195 HAS SOPS 2773248 HAS SOUS 223209 HAS SOUPS 222754 WITH SCORE 225528.195
AT ITER 7974 NEW BEST:: SOT 10142412 SOS 2774059 HAS SOPS 2773112 HAS SOUS 223073 HAS SOUPS 222618 WITH SCORE 225392.059
AT ITER 7989 NEW BEST:: SOT 10142285 SOS 2773932 HAS SOPS 2772985 HAS SOUS 222885 HAS SOUPS 222430 WITH SCORE 225203.932
AT ITER 8001 NEW BEST:: SOT 10142309 SOS 2773948 HAS SOPS 2773001 HAS SOUS 222822 HAS SOUPS 222367 WITH SCORE 225140.948
AT ITER 8005 NEW BEST:: SOT 10142309 SOS 2773698 HAS SOPS 2772751 HAS SOUS 222797 HAS SOUPS 222342 WITH SCORE 225115.698
AT ITER 8009 NEW BEST:: SOT 10142288 SOS 2773677 HAS SOPS 2772730 HAS SOUS 222783 HAS SOUPS 222328 WITH SCORE 225101.677
AT ITER 8010 NEW BEST:: SOT 10142246 SOS 2773635 HAS SOPS 2772688 HAS SOUS 222699 HAS SOUPS 222244 WITH SCORE 225017.635
AT ITER 8052 NEW BEST:: SOT 10142167 SOS 2773557 HAS SOPS 2772610 HAS SOUS 222552 HAS SOUPS 222097 WITH SCORE 224870.557
AT ITER 8117 NEW BEST:: SOT 10142165 SOS 2773555 HAS SOPS 2772608 HAS SOUS 222548 HAS SOUPS 222093 WITH SCORE 224866.555
AT ITER 8167 NEW BEST:: SOT 10142133 SOS 2773523 HAS SOPS 2772576 HAS SOUS 222524 HAS SOUPS 222069 WITH SCORE 224842.523
AT ITER 8170 NEW BEST:: SOT 10142092 SOS 2773482 HAS SOPS 2772535 HAS SOUS 222499 HAS SOUPS 222044 WITH SCORE 224817.482
AT ITER 8196 NEW BEST:: SOT 10142092 SOS 2773482 HAS SOPS 2772535 HAS SOUS 222453 HAS SOUPS 221998 WITH SCORE 224771.482
AT ITER 8204 NEW BEST:: SOT 10142051 SOS 2772921 HAS SOPS 2771974 HAS SOUS 222371 HAS SOUPS 221916 WITH SCORE 224688.921
AT ITER 8212 NEW BEST:: SOT 10141975 SOS 2772845 HAS SOPS 2771898 HAS SOUS 222224 HAS SOUPS 221769 WITH SCORE 224541.845
AT ITER 8215 NEW BEST:: SOT 10141769 SOS 2772639 HAS SOPS 2771692 HAS SOUS 222182 HAS SOUPS 221727 WITH SCORE 224499.639
AT ITER 8241 NEW BEST:: SOT 10141622 SOS 2772492 HAS SOPS 2771545 HAS SOUS 221904 HAS SOUPS 221449 WITH SCORE 224221.492
AT ITER 8243 NEW BEST:: SOT 10139231 SOS 2770101 HAS SOPS 2769154 HAS SOUS 221511 HAS SOUPS 221056 WITH SCORE 223826.101
AT ITER 8245 NEW BEST:: SOT 10139231 SOS 2770101 HAS SOPS 2769154 HAS SOUS 221485 HAS SOUPS 221030 WITH SCORE 223800.101
AT ITER 8266 NEW BEST:: SOT 10139111 SOS 2769981 HAS SOPS 2769034 HAS SOUS 221291 HAS SOUPS 220836 WITH SCORE 223605.981
AT ITER 8309 NEW BEST:: SOT 10139085 SOS 2769955 HAS SOPS 2769008 HAS SOUS 221239 HAS SOUPS 220784 WITH SCORE 223553.955
AT ITER 8315 NEW BEST:: SOT 10139053 SOS 2769884 HAS SOPS 2768937 HAS SOUS 221204 HAS SOUPS 220749 WITH SCORE 223518.884
AT ITER 8325 NEW BEST:: SOT 10138955 SOS 2769786 HAS SOPS 2768839 HAS SOUS 221010 HAS SOUPS 220555 WITH SCORE 223324.786
AT ITER 8328 NEW BEST:: SOT 10138905 SOS 2769736 HAS SOPS 2768814 HAS SOUS 220960 HAS SOUPS 220530 WITH SCORE 223299.736
AT ITER 8331 NEW BEST:: SOT 10138891 SOS 2769722 HAS SOPS 2768800 HAS SOUS 220946 HAS SOUPS 220516 WITH SCORE 223285.722
AT ITER 8379 NEW BEST:: SOT 10138769 SOS 2769607 HAS SOPS 2768685 HAS SOUS 220943 HAS SOUPS 220513 WITH SCORE 223282.607
AT ITER 8407 NEW BEST:: SOT 10138714 SOS 2769552 HAS SOPS 2768630 HAS SOUS 220822 HAS SOUPS 220392 WITH SCORE 223161.552
AT ITER 8421 NEW BEST:: SOT 10138668 SOS 2769506 HAS SOPS 2768584 HAS SOUS 220730 HAS SOUPS 220300 WITH SCORE 223069.506
AT ITER 8428 NEW BEST:: SOT 10138517 SOS 2769355 HAS SOPS 2768433 HAS SOUS 220565 HAS SOUPS 220135 WITH SCORE 222904.355
AT ITER 8435 NEW BEST:: SOT 10138521 SOS 2769359 HAS SOPS 2768437 HAS SOUS 220561 HAS SOUPS 220131 WITH SCORE 222900.359
AT ITER 8436 NEW BEST:: SOT 10138521 SOS 2768659 HAS SOPS 2767737 HAS SOUS 220493 HAS SOUPS 220063 WITH SCORE 222831.659
AT ITER 8460 NEW BEST:: SOT 10138521 SOS 2768659 HAS SOPS 2767737 HAS SOUS 220452 HAS SOUPS 220022 WITH SCORE 222790.659
AT ITER 8484 NEW BEST:: SOT 10138466 SOS 2768604 HAS SOPS 2767682 HAS SOUS 220366 HAS SOUPS 219936 WITH SCORE 222704.604
AT ITER 8505 NEW BEST:: SOT 10138387 SOS 2768525 HAS SOPS 2767603 HAS SOUS 220208 HAS SOUPS 219778 WITH SCORE 222546.525
AT ITER 8529 NEW BEST:: SOT 10138365 SOS 2768503 HAS SOPS 2767581 HAS SOUS 220164 HAS SOUPS 219734 WITH SCORE 222502.503
AT ITER 8539 NEW BEST:: SOT 10138410 SOS 2768098 HAS SOPS 2767176 HAS SOUS 220164 HAS SOUPS 219734 WITH SCORE 222502.098
AT ITER 8555 NEW BEST:: SOT 10138410 SOS 2768107 HAS SOPS 2767185 HAS SOUS 220155 HAS SOUPS 219725 WITH SCORE 222493.107
AT ITER 8571 NEW BEST:: SOT 10138322 SOS 2768019 HAS SOPS 2767097 HAS SOUS 220000 HAS SOUPS 219570 WITH SCORE 222338.019
AT ITER 8598 NEW BEST:: SOT 10138314 SOS 2768011 HAS SOPS 2767089 HAS SOUS 219986 HAS SOUPS 219556 WITH SCORE 222324.011
AT ITER 8615 NEW BEST:: SOT 10138281 SOS 2768658 HAS SOPS 2767736 HAS SOUS 219920 HAS SOUPS 219490 WITH SCORE 222258.658
AT ITER 8619 NEW BEST:: SOT 10138141 SOS 2769797 HAS SOPS 2767596 HAS SOUS 219892 HAS SOUPS 219298 WITH SCORE 222067.797
AT ITER 8636 NEW BEST:: SOT 10138115 SOS 2769654 HAS SOPS 2767453 HAS SOUS 219840 HAS SOUPS 219246 WITH SCORE 222015.654
AT ITER 8652 NEW BEST:: SOT 10138115 SOS 2769654 HAS SOPS 2767453 HAS SOUS 219832 HAS SOUPS 219238 WITH SCORE 222007.654
AT ITER 8663 NEW BEST:: SOT 10138036 SOS 2769575 HAS SOPS 2767374 HAS SOUS 219679 HAS SOUPS 219085 WITH SCORE 221854.575
AT ITER 8665 NEW BEST:: SOT 10120535 SOS 2774502 HAS SOPS 2772313 HAS SOUS 219120 HAS SOUPS 218526 WITH SCORE 221300.502
AT ITER 8691 NEW BEST:: SOT 10120409 SOS 2774376 HAS SOPS 2772187 HAS SOUS 218868 HAS SOUPS 218274 WITH SCORE 221048.376
AT ITER 8710 NEW BEST:: SOT 10120409 SOS 2774326 HAS SOPS 2772137 HAS SOUS 218868 HAS SOUPS 218274 WITH SCORE 221048.326
AT ITER 8758 NEW BEST:: SOT 10120304 SOS 2773271 HAS SOPS 2771082 HAS SOUS 218848 HAS SOUPS 218254 WITH SCORE 221027.271
AT ITER 8772 NEW BEST:: SOT 10120304 SOS 2773271 HAS SOPS 2771082 HAS SOUS 218819 HAS SOUPS 218225 WITH SCORE 220998.271
AT ITER 8774 NEW BEST:: SOT 10120353 SOS 2773291 HAS SOPS 2771102 HAS SOUS 218807 HAS SOUPS 218213 WITH SCORE 220986.291
AT ITER 8829 NEW BEST:: SOT 10120343 SOS 2773281 HAS SOPS 2771092 HAS SOUS 218787 HAS SOUPS 218193 WITH SCORE 220966.281
AT ITER 8833 NEW BEST:: SOT 10120343 SOS 2775841 HAS SOPS 2773652 HAS SOUS 218755 HAS SOUPS 218161 WITH SCORE 220936.841
AT ITER 8842 NEW BEST:: SOT 10120319 SOS 2776197 HAS SOPS 2774008 HAS SOUS 218745 HAS SOUPS 218151 WITH SCORE 220927.197
AT ITER 8850 NEW BEST:: SOT 10120098 SOS 2775976 HAS SOPS 2773787 HAS SOUS 218449 HAS SOUPS 217855 WITH SCORE 220630.976
AT ITER 8860 NEW BEST:: SOT 10120018 SOS 2775896 HAS SOPS 2773707 HAS SOUS 218369 HAS SOUPS 217775 WITH SCORE 220550.896
AT ITER 8863 NEW BEST:: SOT 10119975 SOS 2775853 HAS SOPS 2773664 HAS SOUS 218278 HAS SOUPS 217684 WITH SCORE 220459.853
AT ITER 8872 NEW BEST:: SOT 10119913 SOS 2775791 HAS SOPS 2773602 HAS SOUS 218150 HAS SOUPS 217556 WITH SCORE 220331.791
AT ITER 8893 NEW BEST:: SOT 10119884 SOS 2775762 HAS SOPS 2773573 HAS SOUS 218150 HAS SOUPS 217556 WITH SCORE 220331.762
AT ITER 8894 NEW BEST:: SOT 10119883 SOS 2775761 HAS SOPS 2773572 HAS SOUS 218150 HAS SOUPS 217556 WITH SCORE 220331.761
AT ITER 8903 NEW BEST:: SOT 10119808 SOS 2774261 HAS SOPS 2772072 HAS SOUS 218000 HAS SOUPS 217406 WITH SCORE 220180.261
AT ITER 8908 NEW BEST:: SOT 10119797 SOS 2774250 HAS SOPS 2772061 HAS SOUS 217981 HAS SOUPS 217387 WITH SCORE 220161.25
AT ITER 8930 NEW BEST:: SOT 10119795 SOS 2774248 HAS SOPS 2772059 HAS SOUS 217956 HAS SOUPS 217362 WITH SCORE 220136.248
AT ITER 8954 NEW BEST:: SOT 10112635 SOS 2767088 HAS SOPS 2764921 HAS SOUS 217011 HAS SOUPS 216417 WITH SCORE 219184.088
AT ITER 8995 NEW BEST:: SOT 10112616 SOS 2767064 HAS SOPS 2764897 HAS SOUS 217001 HAS SOUPS 216407 WITH SCORE 219174.064
AT ITER 8998 NEW BEST:: SOT 10112577 SOS 2767025 HAS SOPS 2764858 HAS SOUS 216921 HAS SOUPS 216327 WITH SCORE 219094.025
AT ITER 9012 NEW BEST:: SOT 10112577 SOS 2767025 HAS SOPS 2764858 HAS SOUS 216917 HAS SOUPS 216323 WITH SCORE 219090.025
AT ITER 9014 NEW BEST:: SOT 10112537 SOS 2766855 HAS SOPS 2764688 HAS SOUS 216864 HAS SOUPS 216270 WITH SCORE 219036.855
AT ITER 9043 NEW BEST:: SOT 10112509 SOS 2766827 HAS SOPS 2764660 HAS SOUS 216803 HAS SOUPS 216209 WITH SCORE 218975.827
AT ITER 9063 NEW BEST:: SOT 10112505 SOS 2766823 HAS SOPS 2764656 HAS SOUS 216797 HAS SOUPS 216203 WITH SCORE 218969.823
AT ITER 9071 NEW BEST:: SOT 10112430 SOS 2766748 HAS SOPS 2764581 HAS SOUS 216684 HAS SOUPS 216090 WITH SCORE 218856.748
AT ITER 9075 NEW BEST:: SOT 10112430 SOS 2765928 HAS SOPS 2763761 HAS SOUS 216602 HAS SOUPS 216008 WITH SCORE 218773.928
AT ITER 9091 NEW BEST:: SOT 10112430 SOS 2765928 HAS SOPS 2763761 HAS SOUS 216598 HAS SOUPS 216004 WITH SCORE 218769.928
AT ITER 9094 NEW BEST:: SOT 10112430 SOS 2765608 HAS SOPS 2763441 HAS SOUS 216566 HAS SOUPS 215972 WITH SCORE 218737.608
AT ITER 9099 NEW BEST:: SOT 10112237 SOS 2765415 HAS SOPS 2763248 HAS SOUS 216190 HAS SOUPS 215596 WITH SCORE 218361.415
AT ITER 9103 NEW BEST:: SOT 10112091 SOS 2765269 HAS SOPS 2763102 HAS SOUS 216144 HAS SOUPS 215550 WITH SCORE 218315.269
AT ITER 9127 NEW BEST:: SOT 10112051 SOS 2765229 HAS SOPS 2763062 HAS SOUS 215991 HAS SOUPS 215397 WITH SCORE 218162.229
AT ITER 9150 NEW BEST:: SOT 10112038 SOS 2765216 HAS SOPS 2763049 HAS SOUS 215965 HAS SOUPS 215371 WITH SCORE 218136.216
AT ITER 9155 NEW BEST:: SOT 10111938 SOS 2765116 HAS SOPS 2762949 HAS SOUS 215758 HAS SOUPS 215164 WITH SCORE 217929.116
AT ITER 9158 NEW BEST:: SOT 10112000 SOS 2765291 HAS SOPS 2763124 HAS SOUS 215638 HAS SOUPS 215044 WITH SCORE 217809.291
AT ITER 9194 NEW BEST:: SOT 10111954 SOS 2765245 HAS SOPS 2763078 HAS SOUS 215454 HAS SOUPS 214860 WITH SCORE 217625.245
AT ITER 9197 NEW BEST:: SOT 10111954 SOS 2765240 HAS SOPS 2763073 HAS SOUS 215454 HAS SOUPS 214860 WITH SCORE 217625.24
AT ITER 9200 NEW BEST:: SOT 10111954 SOS 2765198 HAS SOPS 2763031 HAS SOUS 215454 HAS SOUPS 214860 WITH SCORE 217625.198
AT ITER 9204 NEW BEST:: SOT 10112002 SOS 2765239 HAS SOPS 2763072 HAS SOUS 215434 HAS SOUPS 214840 WITH SCORE 217605.239
AT ITER 9233 NEW BEST:: SOT 10111996 SOS 2765233 HAS SOPS 2763066 HAS SOUS 215422 HAS SOUPS 214828 WITH SCORE 217593.233
AT ITER 9250 NEW BEST:: SOT 10112012 SOS 2765290 HAS SOPS 2763123 HAS SOUS 215404 HAS SOUPS 214810 WITH SCORE 217575.29
AT ITER 9277 NEW BEST:: SOT 10111877 SOS 2765155 HAS SOPS 2762988 HAS SOUS 215154 HAS SOUPS 214560 WITH SCORE 217325.155
AT ITER 9279 NEW BEST:: SOT 10111871 SOS 2765149 HAS SOPS 2762982 HAS SOUS 215152 HAS SOUPS 214558 WITH SCORE 217323.149
AT ITER 9283 NEW BEST:: SOT 10111854 SOS 2765132 HAS SOPS 2762965 HAS SOUS 215135 HAS SOUPS 214541 WITH SCORE 217306.132
AT ITER 9297 NEW BEST:: SOT 10111840 SOS 2765118 HAS SOPS 2762951 HAS SOUS 215107 HAS SOUPS 214513 WITH SCORE 217278.118
AT ITER 9340 NEW BEST:: SOT 10111779 SOS 2764983 HAS SOPS 2762816 HAS SOUS 214985 HAS SOUPS 214391 WITH SCORE 217155.983
AT ITER 9357 NEW BEST:: SOT 10111177 SOS 2764381 HAS SOPS 2762252 HAS SOUS 214907 HAS SOUPS 214313 WITH SCORE 217077.381
AT ITER 9375 NEW BEST:: SOT 10111177 SOS 2764255 HAS SOPS 2762126 HAS SOUS 214907 HAS SOUPS 214313 WITH SCORE 217077.255
AT ITER 9395 NEW BEST:: SOT 10111141 SOS 2764219 HAS SOPS 2762090 HAS SOUS 214846 HAS SOUPS 214252 WITH SCORE 217016.219
AT ITER 9421 NEW BEST:: SOT 10111080 SOS 2764158 HAS SOPS 2762029 HAS SOUS 214724 HAS SOUPS 214130 WITH SCORE 216894.158
AT ITER 9422 NEW BEST:: SOT 10111001 SOS 2764079 HAS SOPS 2761950 HAS SOUS 214645 HAS SOUPS 214051 WITH SCORE 216815.079
AT ITER 9430 NEW BEST:: SOT 10110766 SOS 2763844 HAS SOPS 2761715 HAS SOUS 214247 HAS SOUPS 213653 WITH SCORE 216416.844
AT ITER 9435 NEW BEST:: SOT 10110722 SOS 2763800 HAS SOPS 2761671 HAS SOUS 214168 HAS SOUPS 213574 WITH SCORE 216337.8
AT ITER 9447 NEW BEST:: SOT 10110634 SOS 2763712 HAS SOPS 2761583 HAS SOUS 213984 HAS SOUPS 213390 WITH SCORE 216153.712
AT ITER 9464 NEW BEST:: SOT 10110614 SOS 2763692 HAS SOPS 2761563 HAS SOUS 213944 HAS SOUPS 213350 WITH SCORE 216113.692
AT ITER 9472 NEW BEST:: SOT 10110613 SOS 2763690 HAS SOPS 2761561 HAS SOUS 213918 HAS SOUPS 213324 WITH SCORE 216087.69
AT ITER 9476 NEW BEST:: SOT 10110612 SOS 2763689 HAS SOPS 2761560 HAS SOUS 213916 HAS SOUPS 213322 WITH SCORE 216085.689
AT ITER 9491 NEW BEST:: SOT 10110599 SOS 2763609 HAS SOPS 2761480 HAS SOUS 213871 HAS SOUPS 213277 WITH SCORE 216040.609
AT ITER 9498 NEW BEST:: SOT 10110600 SOS 2763610 HAS SOPS 2761481 HAS SOUS 213857 HAS SOUPS 213263 WITH SCORE 216026.61
AT ITER 9516 NEW BEST:: SOT 10110572 SOS 2763582 HAS SOPS 2761453 HAS SOUS 213852 HAS SOUPS 213258 WITH SCORE 216021.582
AT ITER 9539 NEW BEST:: SOT 10110572 SOS 2763582 HAS SOPS 2761453 HAS SOUS 213849 HAS SOUPS 213255 WITH SCORE 216018.582
AT ITER 9568 NEW BEST:: SOT 10110570 SOS 2763580 HAS SOPS 2761451 HAS SOUS 213845 HAS SOUPS 213251 WITH SCORE 216014.58
AT ITER 9594 NEW BEST:: SOT 10110516 SOS 2763526 HAS SOPS 2761397 HAS SOUS 213674 HAS SOUPS 213080 WITH SCORE 215843.526
AT ITER 9603 NEW BEST:: SOT 10110242 SOS 2762762 HAS SOPS 2760633 HAS SOUS 213541 HAS SOUPS 212947 WITH SCORE 215709.762
AT ITER 9605 NEW BEST:: SOT 10110242 SOS 2762159 HAS SOPS 2760030 HAS SOUS 213541 HAS SOUPS 212947 WITH SCORE 215709.159
AT ITER 9610 NEW BEST:: SOT 10110120 SOS 2762037 HAS SOPS 2759908 HAS SOUS 213311 HAS SOUPS 212717 WITH SCORE 215479.037
AT ITER 9622 NEW BEST:: SOT 10110120 SOS 2762037 HAS SOPS 2759908 HAS SOUS 213241 HAS SOUPS 212647 WITH SCORE 215409.037
AT ITER 9626 NEW BEST:: SOT 10110120 SOS 2762037 HAS SOPS 2759908 HAS SOUS 213213 HAS SOUPS 212619 WITH SCORE 215381.037
AT ITER 9642 NEW BEST:: SOT 10110054 SOS 2761971 HAS SOPS 2759842 HAS SOUS 213081 HAS SOUPS 212487 WITH SCORE 215248.971
AT ITER 9644 NEW BEST:: SOT 10109985 SOS 2761902 HAS SOPS 2759773 HAS SOUS 213061 HAS SOUPS 212467 WITH SCORE 215228.902
AT ITER 9648 NEW BEST:: SOT 10109961 SOS 2761885 HAS SOPS 2759756 HAS SOUS 213006 HAS SOUPS 212412 WITH SCORE 215173.885
AT ITER 9650 NEW BEST:: SOT 10109950 SOS 2761874 HAS SOPS 2759745 HAS SOUS 212996 HAS SOUPS 212402 WITH SCORE 215163.874
AT ITER 9654 NEW BEST:: SOT 10109945 SOS 2761869 HAS SOPS 2759740 HAS SOUS 212995 HAS SOUPS 212401 WITH SCORE 215162.869
AT ITER 9678 NEW BEST:: SOT 10109912 SOS 2761836 HAS SOPS 2759707 HAS SOUS 212946 HAS SOUPS 212352 WITH SCORE 215113.836
AT ITER 9697 NEW BEST:: SOT 10109897 SOS 2761821 HAS SOPS 2759692 HAS SOUS 212916 HAS SOUPS 212322 WITH SCORE 215083.821
AT ITER 9711 NEW BEST:: SOT 10109870 SOS 2761794 HAS SOPS 2759665 HAS SOUS 212855 HAS SOUPS 212261 WITH SCORE 215022.794
AT ITER 9726 NEW BEST:: SOT 10109851 SOS 2761775 HAS SOPS 2759627 HAS SOUS 212497 HAS SOUPS 211903 WITH SCORE 214664.775
AT ITER 9733 NEW BEST:: SOT 10109899 SOS 2761774 HAS SOPS 2759626 HAS SOUS 212495 HAS SOUPS 211901 WITH SCORE 214662.774
AT ITER 9738 NEW BEST:: SOT 10109833 SOS 2761708 HAS SOPS 2759560 HAS SOUS 212363 HAS SOUPS 211769 WITH SCORE 214530.708
AT ITER 9740 NEW BEST:: SOT 10109774 SOS 2761649 HAS SOPS 2759501 HAS SOUS 212261 HAS SOUPS 211667 WITH SCORE 214428.649
AT ITER 9742 NEW BEST:: SOT 10109738 SOS 2761613 HAS SOPS 2759465 HAS SOUS 212189 HAS SOUPS 211595 WITH SCORE 214356.613
AT ITER 9744 NEW BEST:: SOT 10109734 SOS 2761609 HAS SOPS 2759461 HAS SOUS 212140 HAS SOUPS 211546 WITH SCORE 214307.609
AT ITER 9761 NEW BEST:: SOT 10109600 SOS 2761475 HAS SOPS 2759327 HAS SOUS 211958 HAS SOUPS 211364 WITH SCORE 214125.475
AT ITER 9784 NEW BEST:: SOT 10109600 SOS 2761475 HAS SOPS 2759327 HAS SOUS 211932 HAS SOUPS 211338 WITH SCORE 214099.475
AT ITER 9789 NEW BEST:: SOT 10109600 SOS 2761475 HAS SOPS 2759322 HAS SOUS 211866 HAS SOUPS 211272 WITH SCORE 214033.475
AT ITER 9795 NEW BEST:: SOT 10109597 SOS 2761446 HAS SOPS 2759293 HAS SOUS 211860 HAS SOUPS 211266 WITH SCORE 214027.446
AT ITER 9797 NEW BEST:: SOT 10109539 SOS 2761388 HAS SOPS 2759235 HAS SOUS 211843 HAS SOUPS 211249 WITH SCORE 214010.388
AT ITER 9798 NEW BEST:: SOT 10109539 SOS 2761318 HAS SOPS 2759165 HAS SOUS 211788 HAS SOUPS 211194 WITH SCORE 213955.318
AT ITER 9836 NEW BEST:: SOT 10109519 SOS 2761298 HAS SOPS 2759145 HAS SOUS 211748 HAS SOUPS 211154 WITH SCORE 213915.298
AT ITER 9847 NEW BEST:: SOT 10109496 SOS 2761275 HAS SOPS 2759122 HAS SOUS 211702 HAS SOUPS 211108 WITH SCORE 213869.275
AT ITER 9859 NEW BEST:: SOT 10109496 SOS 2761249 HAS SOPS 2759096 HAS SOUS 211702 HAS SOUPS 211108 WITH SCORE 213869.249
AT ITER 9865 NEW BEST:: SOT 10109399 SOS 2761152 HAS SOPS 2758999 HAS SOUS 211508 HAS SOUPS 210914 WITH SCORE 213675.152
AT ITER 9884 NEW BEST:: SOT 10109371 SOS 2761124 HAS SOPS 2758971 HAS SOUS 211469 HAS SOUPS 210875 WITH SCORE 213636.124
AT ITER 9896 NEW BEST:: SOT 10109367 SOS 2761120 HAS SOPS 2758967 HAS SOUS 211468 HAS SOUPS 210874 WITH SCORE 213635.12
AT ITER 9901 NEW BEST:: SOT 10106732 SOS 2758485 HAS SOPS 2756358 HAS SOUS 209109 HAS SOUPS 208515 WITH SCORE 211273.485
AT ITER 9915 NEW BEST:: SOT 10106662 SOS 2758723 HAS SOPS 2756596 HAS SOUS 208969 HAS SOUPS 208375 WITH SCORE 211133.723
AT ITER 9925 NEW BEST:: SOT 10106653 SOS 2758705 HAS SOPS 2756578 HAS SOUS 208951 HAS SOUPS 208357 WITH SCORE 211115.705
AT ITER 9937 NEW BEST:: SOT 10106615 SOS 2758629 HAS SOPS 2756502 HAS SOUS 208875 HAS SOUPS 208281 WITH SCORE 211039.629
AT ITER 9944 NEW BEST:: SOT 10106500 SOS 2758184 HAS SOPS 2756057 HAS SOUS 208645 HAS SOUPS 208051 WITH SCORE 210809.184
AT ITER 9945 NEW BEST:: SOT 10106477 SOS 2758161 HAS SOPS 2756034 HAS SOUS 208622 HAS SOUPS 208028 WITH SCORE 210786.161
AT ITER 9971 NEW BEST:: SOT 10106476 SOS 2758160 HAS SOPS 2756033 HAS SOUS 208621 HAS SOUPS 208027 WITH SCORE 210785.16
AT ITER 9973 NEW BEST:: SOT 10106422 SOS 2758106 HAS SOPS 2755979 HAS SOUS 208496 HAS SOUPS 207902 WITH SCORE 210660.106
AT ITER 9990 NEW BEST:: SOT 10106422 SOS 2758016 HAS SOPS 2755889 HAS SOUS 208487 HAS SOUPS 207893 WITH SCORE 210651.016
AT ITER 9994 NEW BEST:: SOT 10106381 SOS 2757975 HAS SOPS 2755848 HAS SOUS 208477 HAS SOUPS 207883 WITH SCORE 210640.975
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14644244 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16090596 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-S10J40"
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-S10J40, 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-167873953300696"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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