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.r003-oct2-167813590500200.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is AirplaneLD-COL-0100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590500200
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 556K
-rw-r--r-- 1 mcc users 7.3K Feb 26 11:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 11:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 11:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 11:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 11:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 156K Feb 26 11:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 26 11:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 26 11:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 52K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678472666356

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AirplaneLD-COL-0100
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-10 18:24:28] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-10 18:24:28] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-10 18:24:29] [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-10 18:24:29] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-10 18:24:29] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 700 ms
[2023-03-10 18:24:29] [INFO ] Detected 3 constant HL places corresponding to 302 PT places.
[2023-03-10 18:24:29] [INFO ] Imported 20 HL places and 15 HL transitions for a total of 719 PT places and 1212.0 transition bindings in 34 ms.
[2023-03-10 18:24:29] [INFO ] Unfolded HLPN to a Petri net with 719 places and 808 transitions 2270 arcs in 67 ms.
[2023-03-10 18:24:29] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-10 18:24:29] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 719 places, 808 transitions and 2270 arcs took 18 ms.
Total runtime 1049 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AirplaneLD (COL), instance 0100
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 719 places, 808 transitions, 2270 arcs.
AT ITER 0 NEW BEST:: SOT 213043 SOS 160002 HAS SOPS 160002 HAS SOUS 46919 HAS SOUPS 46919 WITH SCORE 47079.002
AT ITER 58 NEW BEST:: SOT 213149 SOS 160108 HAS SOPS 160108 HAS SOUS 46839 HAS SOUPS 46839 WITH SCORE 46999.108
AT ITER 68 NEW BEST:: SOT 213244 SOS 160203 HAS SOPS 160203 HAS SOUS 46764 HAS SOUPS 46764 WITH SCORE 46924.203
AT ITER 74 NEW BEST:: SOT 213180 SOS 153803 HAS SOPS 153803 HAS SOUS 46764 HAS SOUPS 46764 WITH SCORE 46917.803
AT ITER 169 NEW BEST:: SOT 213039 SOS 153521 HAS SOPS 153521 HAS SOUS 46764 HAS SOUPS 46764 WITH SCORE 46917.521
AT ITER 236 NEW BEST:: SOT 213206 SOS 153688 HAS SOPS 153688 HAS SOUS 46723 HAS SOUPS 46723 WITH SCORE 46876.688
AT ITER 430 NEW BEST:: SOT 213352 SOS 153834 HAS SOPS 153834 HAS SOUS 46643 HAS SOUPS 46643 WITH SCORE 46796.834
AT ITER 477 NEW BEST:: SOT 213352 SOS 153834 HAS SOPS 153834 HAS SOUS 46641 HAS SOUPS 46641 WITH SCORE 46794.834
AT ITER 540 NEW BEST:: SOT 213436 SOS 153918 HAS SOPS 153918 HAS SOUS 46621 HAS SOUPS 46621 WITH SCORE 46774.918
AT ITER 572 NEW BEST:: SOT 213327 SOS 153605 HAS SOPS 153605 HAS SOUS 46621 HAS SOUPS 46621 WITH SCORE 46774.605
AT ITER 665 NEW BEST:: SOT 213539 SOS 153817 HAS SOPS 153817 HAS SOUS 46619 HAS SOUPS 46619 WITH SCORE 46772.817
AT ITER 716 NEW BEST:: SOT 213652 SOS 153930 HAS SOPS 153930 HAS SOUS 46566 HAS SOUPS 46566 WITH SCORE 46719.93
AT ITER 729 NEW BEST:: SOT 213913 SOS 154191 HAS SOPS 154191 HAS SOUS 46497 HAS SOUPS 46497 WITH SCORE 46651.191
AT ITER 733 NEW BEST:: SOT 214186 SOS 154464 HAS SOPS 154464 HAS SOUS 46402 HAS SOUPS 46402 WITH SCORE 46556.464
AT ITER 737 NEW BEST:: SOT 214184 SOS 154264 HAS SOPS 154264 HAS SOUS 46402 HAS SOUPS 46402 WITH SCORE 46556.264
AT ITER 761 NEW BEST:: SOT 214389 SOS 154469 HAS SOPS 154469 HAS SOUS 46311 HAS SOUPS 46311 WITH SCORE 46465.469
AT ITER 829 NEW BEST:: SOT 214519 SOS 154311 HAS SOPS 154311 HAS SOUS 46285 HAS SOUPS 46285 WITH SCORE 46439.311
AT ITER 842 NEW BEST:: SOT 214713 SOS 154505 HAS SOPS 154505 HAS SOUS 46251 HAS SOUPS 46251 WITH SCORE 46405.505
AT ITER 853 NEW BEST:: SOT 214579 SOS 154371 HAS SOPS 154371 HAS SOUS 46251 HAS SOUPS 46251 WITH SCORE 46405.371
AT ITER 866 NEW BEST:: SOT 214780 SOS 154572 HAS SOPS 154572 HAS SOUS 46238 HAS SOUPS 46238 WITH SCORE 46392.572
AT ITER 880 NEW BEST:: SOT 215008 SOS 154800 HAS SOPS 154800 HAS SOUS 46202 HAS SOUPS 46202 WITH SCORE 46356.8
AT ITER 902 NEW BEST:: SOT 215008 SOS 154805 HAS SOPS 154805 HAS SOUS 46193 HAS SOUPS 46193 WITH SCORE 46347.805
AT ITER 940 NEW BEST:: SOT 215183 SOS 154980 HAS SOPS 154980 HAS SOUS 46180 HAS SOUPS 46180 WITH SCORE 46334.98
AT ITER 963 NEW BEST:: SOT 215150 SOS 151680 HAS SOPS 151680 HAS SOUS 46180 HAS SOUPS 46180 WITH SCORE 46331.68
AT ITER 982 NEW BEST:: SOT 215415 SOS 151945 HAS SOPS 151945 HAS SOUS 46169 HAS SOUPS 46169 WITH SCORE 46320.945
AT ITER 997 NEW BEST:: SOT 215678 SOS 152208 HAS SOPS 152208 HAS SOUS 46084 HAS SOUPS 46084 WITH SCORE 46236.208
AT ITER 1003 NEW BEST:: SOT 215833 SOS 152363 HAS SOPS 152363 HAS SOUS 46073 HAS SOUPS 46073 WITH SCORE 46225.363
AT ITER 1024 NEW BEST:: SOT 215823 SOS 160570 HAS SOPS 160570 HAS SOUS 46063 HAS SOUPS 46063 WITH SCORE 46223.57
AT ITER 1032 NEW BEST:: SOT 216115 SOS 160862 HAS SOPS 160862 HAS SOUS 45969 HAS SOUPS 45969 WITH SCORE 46129.862
AT ITER 1052 NEW BEST:: SOT 216187 SOS 160934 HAS SOPS 160934 HAS SOUS 45897 HAS SOUPS 45897 WITH SCORE 46057.934
AT ITER 1053 NEW BEST:: SOT 216282 SOS 161029 HAS SOPS 161029 HAS SOUS 45822 HAS SOUPS 45822 WITH SCORE 45983.029
AT ITER 1068 NEW BEST:: SOT 216450 SOS 161197 HAS SOPS 161197 HAS SOUS 45770 HAS SOUPS 45770 WITH SCORE 45931.197
AT ITER 1074 NEW BEST:: SOT 212004 SOS 167137 HAS SOPS 167137 HAS SOUS 41324 HAS SOUPS 41324 WITH SCORE 41491.137
AT ITER 1108 NEW BEST:: SOT 211844 SOS 166977 HAS SOPS 166977 HAS SOUS 41324 HAS SOUPS 41324 WITH SCORE 41490.977
AT ITER 1130 NEW BEST:: SOT 212010 SOS 167143 HAS SOPS 167143 HAS SOUS 41316 HAS SOUPS 41316 WITH SCORE 41483.143
AT ITER 1170 NEW BEST:: SOT 211959 SOS 167092 HAS SOPS 167092 HAS SOUS 41213 HAS SOUPS 41213 WITH SCORE 41380.092
AT ITER 1171 NEW BEST:: SOT 212316 SOS 167449 HAS SOPS 167449 HAS SOUS 41184 HAS SOUPS 41184 WITH SCORE 41351.449
AT ITER 1239 NEW BEST:: SOT 212382 SOS 167515 HAS SOPS 167515 HAS SOUS 41166 HAS SOUPS 41166 WITH SCORE 41333.515
AT ITER 1241 NEW BEST:: SOT 212659 SOS 167792 HAS SOPS 167792 HAS SOUS 41097 HAS SOUPS 41097 WITH SCORE 41264.792
AT ITER 1250 NEW BEST:: SOT 212659 SOS 167470 HAS SOPS 167470 HAS SOUS 40936 HAS SOUPS 40936 WITH SCORE 41103.47
AT ITER 1257 NEW BEST:: SOT 212821 SOS 167632 HAS SOPS 167632 HAS SOUS 40862 HAS SOUPS 40862 WITH SCORE 41029.632
AT ITER 1287 NEW BEST:: SOT 213037 SOS 167848 HAS SOPS 167848 HAS SOUS 40846 HAS SOUPS 40846 WITH SCORE 41013.848
AT ITER 1292 NEW BEST:: SOT 213299 SOS 168110 HAS SOPS 168110 HAS SOUS 40796 HAS SOUPS 40796 WITH SCORE 40964.11
AT ITER 1324 NEW BEST:: SOT 213581 SOS 168392 HAS SOPS 168392 HAS SOUS 40786 HAS SOUPS 40786 WITH SCORE 40954.392
AT ITER 1326 NEW BEST:: SOT 213700 SOS 168511 HAS SOPS 168511 HAS SOUS 40713 HAS SOUPS 40713 WITH SCORE 40881.511
AT ITER 1358 NEW BEST:: SOT 213767 SOS 168578 HAS SOPS 168578 HAS SOUS 40672 HAS SOUPS 40672 WITH SCORE 40840.578
AT ITER 1362 NEW BEST:: SOT 213921 SOS 168732 HAS SOPS 168732 HAS SOUS 40604 HAS SOUPS 40604 WITH SCORE 40772.732
AT ITER 1368 NEW BEST:: SOT 213988 SOS 168799 HAS SOPS 168799 HAS SOUS 40537 HAS SOUPS 40537 WITH SCORE 40705.799
AT ITER 1372 NEW BEST:: SOT 213920 SOS 168731 HAS SOPS 168731 HAS SOUS 40537 HAS SOUPS 40537 WITH SCORE 40705.731
AT ITER 1376 NEW BEST:: SOT 213756 SOS 168567 HAS SOPS 168567 HAS SOUS 40537 HAS SOUPS 40537 WITH SCORE 40705.567
AT ITER 1459 NEW BEST:: SOT 214126 SOS 168937 HAS SOPS 168937 HAS SOUS 40469 HAS SOUPS 40469 WITH SCORE 40637.937
AT ITER 1471 NEW BEST:: SOT 214379 SOS 169190 HAS SOPS 169190 HAS SOUS 40454 HAS SOUPS 40454 WITH SCORE 40623.19
AT ITER 1480 NEW BEST:: SOT 214542 SOS 169353 HAS SOPS 169353 HAS SOUS 40365 HAS SOUPS 40365 WITH SCORE 40534.353
AT ITER 1482 NEW BEST:: SOT 214534 SOS 169345 HAS SOPS 169345 HAS SOUS 40365 HAS SOUPS 40365 WITH SCORE 40534.345
AT ITER 1495 NEW BEST:: SOT 214580 SOS 169391 HAS SOPS 169391 HAS SOUS 40319 HAS SOUPS 40319 WITH SCORE 40488.391
AT ITER 1543 NEW BEST:: SOT 214713 SOS 169524 HAS SOPS 169524 HAS SOUS 40254 HAS SOUPS 40254 WITH SCORE 40423.524
AT ITER 1544 NEW BEST:: SOT 214697 SOS 169508 HAS SOPS 169508 HAS SOUS 40254 HAS SOUPS 40254 WITH SCORE 40423.508
AT ITER 1587 NEW BEST:: SOT 214794 SOS 169605 HAS SOPS 169605 HAS SOUS 40175 HAS SOUPS 40175 WITH SCORE 40344.605
AT ITER 1605 NEW BEST:: SOT 214852 SOS 169663 HAS SOPS 169663 HAS SOUS 40117 HAS SOUPS 40117 WITH SCORE 40286.663
AT ITER 1621 NEW BEST:: SOT 214933 SOS 169744 HAS SOPS 169744 HAS SOUS 40108 HAS SOUPS 40108 WITH SCORE 40277.744
AT ITER 1622 NEW BEST:: SOT 214892 SOS 169662 HAS SOPS 169662 HAS SOUS 40086 HAS SOUPS 40086 WITH SCORE 40255.662
AT ITER 1647 NEW BEST:: SOT 214950 SOS 169720 HAS SOPS 169720 HAS SOUS 40056 HAS SOUPS 40056 WITH SCORE 40225.72
AT ITER 1667 NEW BEST:: SOT 214950 SOS 169720 HAS SOPS 169720 HAS SOUS 40005 HAS SOUPS 40005 WITH SCORE 40174.72
AT ITER 1670 NEW BEST:: SOT 214922 SOS 169692 HAS SOPS 169692 HAS SOUS 40005 HAS SOUPS 40005 WITH SCORE 40174.692
AT ITER 1687 NEW BEST:: SOT 214945 SOS 169761 HAS SOPS 169761 HAS SOUS 40003 HAS SOUPS 40003 WITH SCORE 40172.761
AT ITER 1717 NEW BEST:: SOT 214909 SOS 169725 HAS SOPS 169725 HAS SOUS 40003 HAS SOUPS 40003 WITH SCORE 40172.725
AT ITER 1724 NEW BEST:: SOT 215241 SOS 170057 HAS SOPS 170057 HAS SOUS 39947 HAS SOUPS 39947 WITH SCORE 40117.057
AT ITER 1725 NEW BEST:: SOT 215277 SOS 170093 HAS SOPS 170093 HAS SOUS 39941 HAS SOUPS 39941 WITH SCORE 40111.093
AT ITER 1726 NEW BEST:: SOT 215428 SOS 170244 HAS SOPS 170244 HAS SOUS 39924 HAS SOUPS 39924 WITH SCORE 40094.244
AT ITER 1736 NEW BEST:: SOT 215627 SOS 170443 HAS SOPS 170443 HAS SOUS 39867 HAS SOUPS 39867 WITH SCORE 40037.443
AT ITER 1740 NEW BEST:: SOT 215798 SOS 170614 HAS SOPS 170614 HAS SOUS 39780 HAS SOUPS 39780 WITH SCORE 39950.614
AT ITER 1778 NEW BEST:: SOT 216003 SOS 170819 HAS SOPS 170819 HAS SOUS 39743 HAS SOUPS 39743 WITH SCORE 39913.819
AT ITER 1783 NEW BEST:: SOT 216054 SOS 170870 HAS SOPS 170870 HAS SOUS 39712 HAS SOUPS 39712 WITH SCORE 39882.87
AT ITER 1791 NEW BEST:: SOT 216428 SOS 171244 HAS SOPS 171244 HAS SOUS 39610 HAS SOUPS 39610 WITH SCORE 39781.244
AT ITER 1806 NEW BEST:: SOT 216592 SOS 171408 HAS SOPS 171408 HAS SOUS 39598 HAS SOUPS 39598 WITH SCORE 39769.408
AT ITER 1846 NEW BEST:: SOT 216941 SOS 171757 HAS SOPS 171757 HAS SOUS 39561 HAS SOUPS 39561 WITH SCORE 39732.757
AT ITER 1864 NEW BEST:: SOT 217014 SOS 171907 HAS SOPS 171907 HAS SOUS 39536 HAS SOUPS 39536 WITH SCORE 39707.907
AT ITER 1910 NEW BEST:: SOT 217266 SOS 172159 HAS SOPS 172159 HAS SOUS 39478 HAS SOUPS 39478 WITH SCORE 39650.159
AT ITER 1936 NEW BEST:: SOT 217592 SOS 172485 HAS SOPS 172485 HAS SOUS 39460 HAS SOUPS 39460 WITH SCORE 39632.485
AT ITER 1947 NEW BEST:: SOT 217860 SOS 172753 HAS SOPS 172753 HAS SOUS 39406 HAS SOUPS 39406 WITH SCORE 39578.753
AT ITER 1957 NEW BEST:: SOT 217976 SOS 172869 HAS SOPS 172869 HAS SOUS 39388 HAS SOUPS 39388 WITH SCORE 39560.869
AT ITER 1971 NEW BEST:: SOT 218068 SOS 172961 HAS SOPS 172961 HAS SOUS 39348 HAS SOUPS 39348 WITH SCORE 39520.961
AT ITER 2034 NEW BEST:: SOT 218363 SOS 173256 HAS SOPS 173256 HAS SOUS 39305 HAS SOUPS 39305 WITH SCORE 39478.256
AT ITER 2036 NEW BEST:: SOT 218809 SOS 173702 HAS SOPS 173702 HAS SOUS 39295 HAS SOUPS 39295 WITH SCORE 39468.702
AT ITER 2044 NEW BEST:: SOT 218973 SOS 173866 HAS SOPS 173866 HAS SOUS 39275 HAS SOUPS 39275 WITH SCORE 39448.866
AT ITER 2046 NEW BEST:: SOT 217290 SOS 172211 HAS SOPS 172211 HAS SOUS 37648 HAS SOUPS 37648 WITH SCORE 37820.211
AT ITER 2052 NEW BEST:: SOT 217438 SOS 172359 HAS SOPS 172359 HAS SOUS 37620 HAS SOUPS 37620 WITH SCORE 37792.359
AT ITER 2060 NEW BEST:: SOT 217760 SOS 172681 HAS SOPS 172681 HAS SOUS 37604 HAS SOUPS 37604 WITH SCORE 37776.681
AT ITER 2083 NEW BEST:: SOT 218031 SOS 172952 HAS SOPS 172952 HAS SOUS 37505 HAS SOUPS 37505 WITH SCORE 37677.952
AT ITER 2099 NEW BEST:: SOT 217959 SOS 172880 HAS SOPS 172880 HAS SOUS 37433 HAS SOUPS 37433 WITH SCORE 37605.88
AT ITER 2106 NEW BEST:: SOT 218162 SOS 173083 HAS SOPS 173083 HAS SOUS 37326 HAS SOUPS 37326 WITH SCORE 37499.083
AT ITER 2110 NEW BEST:: SOT 218392 SOS 173313 HAS SOPS 173313 HAS SOUS 37174 HAS SOUPS 37174 WITH SCORE 37347.313
AT ITER 2155 NEW BEST:: SOT 218685 SOS 173606 HAS SOPS 173606 HAS SOUS 37107 HAS SOUPS 37107 WITH SCORE 37280.606
AT ITER 2170 NEW BEST:: SOT 218876 SOS 173797 HAS SOPS 173797 HAS SOUS 37106 HAS SOUPS 37106 WITH SCORE 37279.797
AT ITER 2193 NEW BEST:: SOT 219109 SOS 174030 HAS SOPS 174030 HAS SOUS 37084 HAS SOUPS 37084 WITH SCORE 37258.03
AT ITER 2204 NEW BEST:: SOT 219365 SOS 174286 HAS SOPS 174286 HAS SOUS 37006 HAS SOUPS 37006 WITH SCORE 37180.286
AT ITER 2208 NEW BEST:: SOT 219784 SOS 174705 HAS SOPS 174705 HAS SOUS 36913 HAS SOUPS 36913 WITH SCORE 37087.705
AT ITER 2209 NEW BEST:: SOT 219772 SOS 174693 HAS SOPS 174693 HAS SOUS 36913 HAS SOUPS 36913 WITH SCORE 37087.693
AT ITER 2214 NEW BEST:: SOT 219951 SOS 174872 HAS SOPS 174872 HAS SOUS 36888 HAS SOUPS 36888 WITH SCORE 37062.872
AT ITER 2217 NEW BEST:: SOT 220139 SOS 175060 HAS SOPS 175060 HAS SOUS 36762 HAS SOUPS 36762 WITH SCORE 36937.06
AT ITER 2230 NEW BEST:: SOT 220446 SOS 175367 HAS SOPS 175367 HAS SOUS 36691 HAS SOUPS 36691 WITH SCORE 36866.367
AT ITER 2235 NEW BEST:: SOT 220779 SOS 175700 HAS SOPS 175700 HAS SOUS 36656 HAS SOUPS 36656 WITH SCORE 36831.7
AT ITER 2243 NEW BEST:: SOT 220801 SOS 175722 HAS SOPS 175722 HAS SOUS 36634 HAS SOUPS 36634 WITH SCORE 36809.722
AT ITER 2247 NEW BEST:: SOT 221134 SOS 176055 HAS SOPS 176055 HAS SOUS 36505 HAS SOUPS 36505 WITH SCORE 36681.055
AT ITER 2251 NEW BEST:: SOT 221233 SOS 176154 HAS SOPS 176154 HAS SOUS 36406 HAS SOUPS 36406 WITH SCORE 36582.154
AT ITER 2255 NEW BEST:: SOT 221509 SOS 176430 HAS SOPS 176430 HAS SOUS 36286 HAS SOUPS 36286 WITH SCORE 36462.43
AT ITER 2261 NEW BEST:: SOT 221623 SOS 176544 HAS SOPS 176544 HAS SOUS 36172 HAS SOUPS 36172 WITH SCORE 36348.544
AT ITER 2265 NEW BEST:: SOT 221646 SOS 176567 HAS SOPS 176567 HAS SOUS 36149 HAS SOUPS 36149 WITH SCORE 36325.567
AT ITER 2269 NEW BEST:: SOT 221664 SOS 176585 HAS SOPS 176585 HAS SOUS 36131 HAS SOUPS 36131 WITH SCORE 36307.585
AT ITER 2274 NEW BEST:: SOT 221870 SOS 176791 HAS SOPS 176791 HAS SOUS 36053 HAS SOUPS 36053 WITH SCORE 36229.791
AT ITER 2287 NEW BEST:: SOT 222117 SOS 177038 HAS SOPS 177038 HAS SOUS 35994 HAS SOUPS 35994 WITH SCORE 36171.038
AT ITER 2324 NEW BEST:: SOT 222711 SOS 177632 HAS SOPS 177632 HAS SOUS 35992 HAS SOUPS 35992 WITH SCORE 36169.632
AT ITER 2328 NEW BEST:: SOT 222854 SOS 177775 HAS SOPS 177775 HAS SOUS 35849 HAS SOUPS 35849 WITH SCORE 36026.775
AT ITER 2336 NEW BEST:: SOT 222752 SOS 177673 HAS SOPS 177673 HAS SOUS 35849 HAS SOUPS 35849 WITH SCORE 36026.673
AT ITER 2348 NEW BEST:: SOT 222955 SOS 177876 HAS SOPS 177876 HAS SOUS 35646 HAS SOUPS 35646 WITH SCORE 35823.876
AT ITER 2355 NEW BEST:: SOT 223509 SOS 178430 HAS SOPS 178430 HAS SOUS 35640 HAS SOUPS 35640 WITH SCORE 35818.43
AT ITER 2356 NEW BEST:: SOT 223581 SOS 178502 HAS SOPS 178502 HAS SOUS 35568 HAS SOUPS 35568 WITH SCORE 35746.502
AT ITER 2363 NEW BEST:: SOT 224415 SOS 179336 HAS SOPS 179336 HAS SOUS 35566 HAS SOUPS 35566 WITH SCORE 35745.336
AT ITER 2369 NEW BEST:: SOT 224776 SOS 179697 HAS SOPS 179697 HAS SOUS 35329 HAS SOUPS 35329 WITH SCORE 35508.697
AT ITER 2375 NEW BEST:: SOT 224885 SOS 179806 HAS SOPS 179806 HAS SOUS 35220 HAS SOUPS 35220 WITH SCORE 35399.806
AT ITER 2378 NEW BEST:: SOT 224901 SOS 179822 HAS SOPS 179822 HAS SOUS 35204 HAS SOUPS 35204 WITH SCORE 35383.822
AT ITER 2381 NEW BEST:: SOT 224955 SOS 179876 HAS SOPS 179876 HAS SOUS 35150 HAS SOUPS 35150 WITH SCORE 35329.876
AT ITER 2382 NEW BEST:: SOT 225144 SOS 180065 HAS SOPS 180065 HAS SOUS 35145 HAS SOUPS 35145 WITH SCORE 35325.065
AT ITER 2387 NEW BEST:: SOT 225144 SOS 180033 HAS SOPS 180033 HAS SOUS 35129 HAS SOUPS 35129 WITH SCORE 35309.033
AT ITER 2397 NEW BEST:: SOT 225974 SOS 180863 HAS SOPS 180863 HAS SOUS 34905 HAS SOUPS 34905 WITH SCORE 35085.863
AT ITER 2407 NEW BEST:: SOT 225856 SOS 180745 HAS SOPS 180745 HAS SOUS 34905 HAS SOUPS 34905 WITH SCORE 35085.745
AT ITER 2409 NEW BEST:: SOT 225760 SOS 180649 HAS SOPS 180649 HAS SOUS 34897 HAS SOUPS 34897 WITH SCORE 35077.649
AT ITER 2411 NEW BEST:: SOT 226061 SOS 180950 HAS SOPS 180950 HAS SOUS 34666 HAS SOUPS 34666 WITH SCORE 34846.95
AT ITER 2413 NEW BEST:: SOT 226536 SOS 181425 HAS SOPS 181425 HAS SOUS 34453 HAS SOUPS 34453 WITH SCORE 34634.425
AT ITER 2416 NEW BEST:: SOT 226723 SOS 181612 HAS SOPS 181612 HAS SOUS 34266 HAS SOUPS 34266 WITH SCORE 34447.612
AT ITER 2419 NEW BEST:: SOT 227484 SOS 182373 HAS SOPS 182373 HAS SOUS 34243 HAS SOUPS 34243 WITH SCORE 34425.373
AT ITER 2433 NEW BEST:: SOT 228193 SOS 183082 HAS SOPS 183082 HAS SOUS 34016 HAS SOUPS 34016 WITH SCORE 34199.082
AT ITER 2441 NEW BEST:: SOT 228329 SOS 183218 HAS SOPS 183218 HAS SOUS 34002 HAS SOUPS 34002 WITH SCORE 34185.218
AT ITER 2442 NEW BEST:: SOT 228391 SOS 183280 HAS SOPS 183280 HAS SOUS 33964 HAS SOUPS 33964 WITH SCORE 34147.28
AT ITER 2447 NEW BEST:: SOT 228999 SOS 183888 HAS SOPS 183888 HAS SOUS 33796 HAS SOUPS 33796 WITH SCORE 33979.888
AT ITER 2448 NEW BEST:: SOT 229105 SOS 183994 HAS SOPS 183994 HAS SOUS 33690 HAS SOUPS 33690 WITH SCORE 33873.994
AT ITER 2458 NEW BEST:: SOT 229654 SOS 184543 HAS SOPS 184543 HAS SOUS 33455 HAS SOUPS 33455 WITH SCORE 33639.543
AT ITER 2459 NEW BEST:: SOT 230039 SOS 184928 HAS SOPS 184928 HAS SOUS 33400 HAS SOUPS 33400 WITH SCORE 33584.928
AT ITER 2470 NEW BEST:: SOT 230116 SOS 185005 HAS SOPS 185005 HAS SOUS 33323 HAS SOUPS 33323 WITH SCORE 33508.005
AT ITER 2474 NEW BEST:: SOT 230484 SOS 185373 HAS SOPS 185373 HAS SOUS 33241 HAS SOUPS 33241 WITH SCORE 33426.373
AT ITER 2488 NEW BEST:: SOT 230859 SOS 185748 HAS SOPS 185748 HAS SOUS 33234 HAS SOUPS 33234 WITH SCORE 33419.748
AT ITER 2508 NEW BEST:: SOT 231423 SOS 186312 HAS SOPS 186312 HAS SOUS 33090 HAS SOUPS 33090 WITH SCORE 33276.312
AT ITER 2510 NEW BEST:: SOT 231540 SOS 186417 HAS SOPS 186417 HAS SOUS 32995 HAS SOUPS 32995 WITH SCORE 33181.417
AT ITER 2512 NEW BEST:: SOT 232110 SOS 186987 HAS SOPS 186987 HAS SOUS 32855 HAS SOUPS 32855 WITH SCORE 33041.987
AT ITER 2536 NEW BEST:: SOT 232130 SOS 187007 HAS SOPS 187007 HAS SOUS 32835 HAS SOUPS 32835 WITH SCORE 33022.007
AT ITER 2543 NEW BEST:: SOT 232835 SOS 187712 HAS SOPS 187712 HAS SOUS 32686 HAS SOUPS 32686 WITH SCORE 32873.712
AT ITER 2545 NEW BEST:: SOT 232641 SOS 187518 HAS SOPS 187518 HAS SOUS 32686 HAS SOUPS 32686 WITH SCORE 32873.518
AT ITER 2548 NEW BEST:: SOT 232978 SOS 187855 HAS SOPS 187855 HAS SOUS 32621 HAS SOUPS 32621 WITH SCORE 32808.855
AT ITER 2549 NEW BEST:: SOT 232978 SOS 187855 HAS SOPS 187855 HAS SOUS 32607 HAS SOUPS 32607 WITH SCORE 32794.855
AT ITER 2558 NEW BEST:: SOT 233153 SOS 188030 HAS SOPS 188030 HAS SOUS 32540 HAS SOUPS 32540 WITH SCORE 32728.03
AT ITER 2586 NEW BEST:: SOT 233481 SOS 188358 HAS SOPS 188358 HAS SOUS 32406 HAS SOUPS 32406 WITH SCORE 32594.358
AT ITER 2587 NEW BEST:: SOT 234287 SOS 189164 HAS SOPS 189164 HAS SOUS 32184 HAS SOUPS 32184 WITH SCORE 32373.164
AT ITER 2588 NEW BEST:: SOT 234773 SOS 189650 HAS SOPS 189650 HAS SOUS 31946 HAS SOUPS 31946 WITH SCORE 32135.65
AT ITER 2589 NEW BEST:: SOT 235051 SOS 189928 HAS SOPS 189928 HAS SOUS 31814 HAS SOUPS 31814 WITH SCORE 32003.928
AT ITER 2596 NEW BEST:: SOT 235822 SOS 190699 HAS SOPS 190699 HAS SOUS 31591 HAS SOUPS 31591 WITH SCORE 31781.699
AT ITER 2599 NEW BEST:: SOT 235935 SOS 190812 HAS SOPS 190812 HAS SOUS 31478 HAS SOUPS 31478 WITH SCORE 31668.812
AT ITER 2601 NEW BEST:: SOT 236518 SOS 191395 HAS SOPS 191395 HAS SOUS 31327 HAS SOUPS 31327 WITH SCORE 31518.395
AT ITER 2611 NEW BEST:: SOT 237040 SOS 191917 HAS SOPS 191917 HAS SOUS 31109 HAS SOUPS 31109 WITH SCORE 31300.917
AT ITER 2627 NEW BEST:: SOT 236938 SOS 191815 HAS SOPS 191815 HAS SOUS 31109 HAS SOUPS 31109 WITH SCORE 31300.815
AT ITER 2629 NEW BEST:: SOT 236991 SOS 191868 HAS SOPS 191868 HAS SOUS 31056 HAS SOUPS 31056 WITH SCORE 31247.868
AT ITER 2634 NEW BEST:: SOT 237560 SOS 192437 HAS SOPS 192437 HAS SOUS 30831 HAS SOUPS 30831 WITH SCORE 31023.437
AT ITER 2640 NEW BEST:: SOT 237641 SOS 192518 HAS SOPS 192518 HAS SOUS 30805 HAS SOUPS 30805 WITH SCORE 30997.518
AT ITER 2642 NEW BEST:: SOT 238169 SOS 193046 HAS SOPS 193046 HAS SOUS 30599 HAS SOUPS 30599 WITH SCORE 30792.046
AT ITER 2649 NEW BEST:: SOT 238141 SOS 193018 HAS SOPS 193018 HAS SOUS 30599 HAS SOUPS 30599 WITH SCORE 30792.018
AT ITER 2654 NEW BEST:: SOT 238822 SOS 193699 HAS SOPS 193699 HAS SOUS 30470 HAS SOUPS 30470 WITH SCORE 30663.699
AT ITER 2666 NEW BEST:: SOT 239248 SOS 194125 HAS SOPS 194125 HAS SOUS 30368 HAS SOUPS 30368 WITH SCORE 30562.125
AT ITER 2667 NEW BEST:: SOT 239813 SOS 194690 HAS SOPS 194690 HAS SOUS 30309 HAS SOUPS 30309 WITH SCORE 30503.69
AT ITER 2671 NEW BEST:: SOT 239825 SOS 194702 HAS SOPS 194702 HAS SOUS 30297 HAS SOUPS 30297 WITH SCORE 30491.702
AT ITER 2674 NEW BEST:: SOT 239895 SOS 194772 HAS SOPS 194772 HAS SOUS 30227 HAS SOUPS 30227 WITH SCORE 30421.772
AT ITER 2677 NEW BEST:: SOT 240230 SOS 195107 HAS SOPS 195107 HAS SOUS 30206 HAS SOUPS 30206 WITH SCORE 30401.107
AT ITER 2688 NEW BEST:: SOT 240862 SOS 195739 HAS SOPS 195739 HAS SOUS 30064 HAS SOUPS 30064 WITH SCORE 30259.739
AT ITER 2693 NEW BEST:: SOT 241209 SOS 196086 HAS SOPS 196086 HAS SOUS 29987 HAS SOUPS 29987 WITH SCORE 30183.086
AT ITER 2697 NEW BEST:: SOT 241253 SOS 196130 HAS SOPS 196130 HAS SOUS 29943 HAS SOUPS 29943 WITH SCORE 30139.13
AT ITER 2702 NEW BEST:: SOT 241307 SOS 196184 HAS SOPS 196184 HAS SOUS 29889 HAS SOUPS 29889 WITH SCORE 30085.184
AT ITER 2706 NEW BEST:: SOT 241365 SOS 196242 HAS SOPS 196242 HAS SOUS 29831 HAS SOUPS 29831 WITH SCORE 30027.242
AT ITER 2714 NEW BEST:: SOT 241259 SOS 196136 HAS SOPS 196136 HAS SOUS 29831 HAS SOUPS 29831 WITH SCORE 30027.136
AT ITER 2717 NEW BEST:: SOT 241170 SOS 196174 HAS SOPS 196174 HAS SOUS 29814 HAS SOUPS 29814 WITH SCORE 30010.174
AT ITER 2720 NEW BEST:: SOT 241799 SOS 196803 HAS SOPS 196803 HAS SOUS 29679 HAS SOUPS 29679 WITH SCORE 29875.803
AT ITER 2722 NEW BEST:: SOT 242077 SOS 197070 HAS SOPS 197070 HAS SOUS 29647 HAS SOUPS 29647 WITH SCORE 29844.07
AT ITER 2724 NEW BEST:: SOT 242041 SOS 197034 HAS SOPS 197034 HAS SOUS 29617 HAS SOUPS 29617 WITH SCORE 29814.034
AT ITER 2728 NEW BEST:: SOT 242745 SOS 197738 HAS SOPS 197738 HAS SOUS 29409 HAS SOUPS 29409 WITH SCORE 29606.738
AT ITER 2730 NEW BEST:: SOT 242834 SOS 197827 HAS SOPS 197827 HAS SOUS 29320 HAS SOUPS 29320 WITH SCORE 29517.827
AT ITER 2734 NEW BEST:: SOT 242849 SOS 197962 HAS SOPS 197962 HAS SOUS 29279 HAS SOUPS 29279 WITH SCORE 29476.962
AT ITER 2735 NEW BEST:: SOT 243312 SOS 198425 HAS SOPS 198425 HAS SOUS 29050 HAS SOUPS 29050 WITH SCORE 29248.425
AT ITER 2739 NEW BEST:: SOT 243915 SOS 199028 HAS SOPS 199028 HAS SOUS 28913 HAS SOUPS 28913 WITH SCORE 29112.028
AT ITER 2744 NEW BEST:: SOT 244461 SOS 199574 HAS SOPS 199574 HAS SOUS 28663 HAS SOUPS 28663 WITH SCORE 28862.574
AT ITER 2749 NEW BEST:: SOT 244293 SOS 199406 HAS SOPS 199406 HAS SOUS 28663 HAS SOUPS 28663 WITH SCORE 28862.406
AT ITER 2751 NEW BEST:: SOT 244281 SOS 199394 HAS SOPS 199394 HAS SOUS 28651 HAS SOUPS 28651 WITH SCORE 28850.394
AT ITER 2757 NEW BEST:: SOT 244111 SOS 199224 HAS SOPS 199224 HAS SOUS 28613 HAS SOUPS 28613 WITH SCORE 28812.224
AT ITER 2761 NEW BEST:: SOT 244913 SOS 200026 HAS SOPS 200026 HAS SOUS 28379 HAS SOUPS 28379 WITH SCORE 28579.026
AT ITER 2784 NEW BEST:: SOT 245395 SOS 200508 HAS SOPS 200508 HAS SOUS 28299 HAS SOUPS 28299 WITH SCORE 28499.508
AT ITER 2786 NEW BEST:: SOT 245478 SOS 200591 HAS SOPS 200591 HAS SOUS 28216 HAS SOUPS 28216 WITH SCORE 28416.591
AT ITER 2808 NEW BEST:: SOT 245676 SOS 200789 HAS SOPS 200789 HAS SOUS 28154 HAS SOUPS 28154 WITH SCORE 28354.789
AT ITER 2810 NEW BEST:: SOT 246444 SOS 201557 HAS SOPS 201557 HAS SOUS 28055 HAS SOUPS 28055 WITH SCORE 28256.557
AT ITER 2815 NEW BEST:: SOT 246664 SOS 201777 HAS SOPS 201777 HAS SOUS 27911 HAS SOUPS 27911 WITH SCORE 28112.777
AT ITER 2825 NEW BEST:: SOT 247230 SOS 202343 HAS SOPS 202343 HAS SOUS 27695 HAS SOUPS 27695 WITH SCORE 27897.343
AT ITER 2838 NEW BEST:: SOT 247379 SOS 202492 HAS SOPS 202492 HAS SOUS 27546 HAS SOUPS 27546 WITH SCORE 27748.492
AT ITER 2844 NEW BEST:: SOT 247716 SOS 202829 HAS SOPS 202829 HAS SOUS 27341 HAS SOUPS 27341 WITH SCORE 27543.829
AT ITER 2847 NEW BEST:: SOT 247777 SOS 202890 HAS SOPS 202890 HAS SOUS 27280 HAS SOUPS 27280 WITH SCORE 27482.89
AT ITER 2853 NEW BEST:: SOT 247581 SOS 202694 HAS SOPS 202694 HAS SOUS 27280 HAS SOUPS 27280 WITH SCORE 27482.694
AT ITER 2858 NEW BEST:: SOT 247547 SOS 202660 HAS SOPS 202660 HAS SOUS 27246 HAS SOUPS 27246 WITH SCORE 27448.66
AT ITER 2860 NEW BEST:: SOT 247902 SOS 203015 HAS SOPS 203015 HAS SOUS 27171 HAS SOUPS 27171 WITH SCORE 27374.015
AT ITER 2866 NEW BEST:: SOT 248145 SOS 203258 HAS SOPS 203258 HAS SOUS 27158 HAS SOUPS 27158 WITH SCORE 27361.258
AT ITER 2879 NEW BEST:: SOT 248159 SOS 203259 HAS SOPS 203259 HAS SOUS 27144 HAS SOUPS 27144 WITH SCORE 27347.259
AT ITER 2905 NEW BEST:: SOT 248696 SOS 203730 HAS SOPS 203730 HAS SOUS 27091 HAS SOUPS 27091 WITH SCORE 27294.73
AT ITER 2908 NEW BEST:: SOT 248848 SOS 203882 HAS SOPS 203882 HAS SOUS 27085 HAS SOUPS 27085 WITH SCORE 27288.882
AT ITER 2915 NEW BEST:: SOT 248778 SOS 203812 HAS SOPS 203812 HAS SOUS 26945 HAS SOUPS 26945 WITH SCORE 27148.812
AT ITER 2916 NEW BEST:: SOT 248932 SOS 203925 HAS SOPS 203925 HAS SOUS 26903 HAS SOUPS 26903 WITH SCORE 27106.925
AT ITER 2923 NEW BEST:: SOT 249079 SOS 204072 HAS SOPS 204072 HAS SOUS 26876 HAS SOUPS 26876 WITH SCORE 27080.072
AT ITER 2924 NEW BEST:: SOT 249057 SOS 204050 HAS SOPS 204050 HAS SOUS 26842 HAS SOUPS 26842 WITH SCORE 27046.05
AT ITER 2931 NEW BEST:: SOT 249145 SOS 204138 HAS SOPS 204138 HAS SOUS 26810 HAS SOUPS 26810 WITH SCORE 27014.138
AT ITER 2946 NEW BEST:: SOT 248843 SOS 203836 HAS SOPS 203836 HAS SOUS 26810 HAS SOUPS 26810 WITH SCORE 27013.836
AT ITER 2954 NEW BEST:: SOT 249376 SOS 204369 HAS SOPS 204369 HAS SOUS 26691 HAS SOUPS 26691 WITH SCORE 26895.369
AT ITER 2957 NEW BEST:: SOT 250171 SOS 205164 HAS SOPS 205164 HAS SOUS 26580 HAS SOUPS 26580 WITH SCORE 26785.164
AT ITER 2959 NEW BEST:: SOT 250149 SOS 205142 HAS SOPS 205142 HAS SOUS 26558 HAS SOUPS 26558 WITH SCORE 26763.142
AT ITER 2961 NEW BEST:: SOT 250493 SOS 205481 HAS SOPS 205481 HAS SOUS 26468 HAS SOUPS 26468 WITH SCORE 26673.481
AT ITER 2964 NEW BEST:: SOT 250459 SOS 205447 HAS SOPS 205447 HAS SOUS 26434 HAS SOUPS 26434 WITH SCORE 26639.447
AT ITER 2967 NEW BEST:: SOT 250815 SOS 205803 HAS SOPS 205803 HAS SOUS 26398 HAS SOUPS 26398 WITH SCORE 26603.803
AT ITER 2974 NEW BEST:: SOT 251456 SOS 206444 HAS SOPS 206444 HAS SOUS 26191 HAS SOUPS 26191 WITH SCORE 26397.444
AT ITER 2977 NEW BEST:: SOT 251523 SOS 206511 HAS SOPS 206511 HAS SOUS 26124 HAS SOUPS 26124 WITH SCORE 26330.511
AT ITER 2992 NEW BEST:: SOT 251205 SOS 206193 HAS SOPS 206193 HAS SOUS 26124 HAS SOUPS 26124 WITH SCORE 26330.193
AT ITER 3001 NEW BEST:: SOT 251740 SOS 206728 HAS SOPS 206728 HAS SOUS 25943 HAS SOUPS 25943 WITH SCORE 26149.728
AT ITER 3005 NEW BEST:: SOT 252204 SOS 207192 HAS SOPS 207192 HAS SOUS 25853 HAS SOUPS 25853 WITH SCORE 26060.192
AT ITER 3018 NEW BEST:: SOT 252455 SOS 207443 HAS SOPS 207443 HAS SOUS 25834 HAS SOUPS 25834 WITH SCORE 26041.443
AT ITER 3023 NEW BEST:: SOT 252615 SOS 207603 HAS SOPS 207603 HAS SOUS 25826 HAS SOUPS 25826 WITH SCORE 26033.603
AT ITER 3025 NEW BEST:: SOT 253093 SOS 208081 HAS SOPS 208081 HAS SOUS 25608 HAS SOUPS 25608 WITH SCORE 25816.081
AT ITER 3028 NEW BEST:: SOT 253446 SOS 208434 HAS SOPS 208434 HAS SOUS 25604 HAS SOUPS 25604 WITH SCORE 25812.434
AT ITER 3032 NEW BEST:: SOT 253056 SOS 208044 HAS SOPS 208044 HAS SOUS 25584 HAS SOUPS 25584 WITH SCORE 25792.044
AT ITER 3034 NEW BEST:: SOT 253684 SOS 208672 HAS SOPS 208672 HAS SOUS 25424 HAS SOUPS 25424 WITH SCORE 25632.672
AT ITER 3038 NEW BEST:: SOT 254386 SOS 209374 HAS SOPS 209374 HAS SOUS 25302 HAS SOUPS 25302 WITH SCORE 25511.374
AT ITER 3046 NEW BEST:: SOT 254456 SOS 209444 HAS SOPS 209444 HAS SOUS 25232 HAS SOUPS 25232 WITH SCORE 25441.444
AT ITER 3054 NEW BEST:: SOT 254479 SOS 209467 HAS SOPS 209467 HAS SOUS 25209 HAS SOUPS 25209 WITH SCORE 25418.467
AT ITER 3062 NEW BEST:: SOT 254445 SOS 209433 HAS SOPS 209433 HAS SOUS 25175 HAS SOUPS 25175 WITH SCORE 25384.433
AT ITER 3068 NEW BEST:: SOT 255126 SOS 210114 HAS SOPS 210114 HAS SOUS 24958 HAS SOUPS 24958 WITH SCORE 25168.114
AT ITER 3074 NEW BEST:: SOT 255321 SOS 210309 HAS SOPS 210309 HAS SOUS 24801 HAS SOUPS 24801 WITH SCORE 25011.309
AT ITER 3078 NEW BEST:: SOT 256138 SOS 211126 HAS SOPS 211126 HAS SOUS 24556 HAS SOUPS 24556 WITH SCORE 24767.126
AT ITER 3092 NEW BEST:: SOT 256459 SOS 211447 HAS SOPS 211447 HAS SOUS 24501 HAS SOUPS 24501 WITH SCORE 24712.447
AT ITER 3093 NEW BEST:: SOT 256515 SOS 211503 HAS SOPS 211503 HAS SOUS 24445 HAS SOUPS 24445 WITH SCORE 24656.503
AT ITER 3106 NEW BEST:: SOT 256747 SOS 211735 HAS SOPS 211735 HAS SOUS 24397 HAS SOUPS 24397 WITH SCORE 24608.735
AT ITER 3116 NEW BEST:: SOT 256970 SOS 211958 HAS SOPS 211958 HAS SOUS 24382 HAS SOUPS 24382 WITH SCORE 24593.958
AT ITER 3120 NEW BEST:: SOT 257133 SOS 212121 HAS SOPS 212121 HAS SOUS 24219 HAS SOUPS 24219 WITH SCORE 24431.121
AT ITER 3130 NEW BEST:: SOT 257377 SOS 212365 HAS SOPS 212365 HAS SOUS 24213 HAS SOUPS 24213 WITH SCORE 24425.365
AT ITER 3132 NEW BEST:: SOT 257411 SOS 212399 HAS SOPS 212399 HAS SOUS 24179 HAS SOUPS 24179 WITH SCORE 24391.399
AT ITER 3147 NEW BEST:: SOT 257668 SOS 212656 HAS SOPS 212656 HAS SOUS 24132 HAS SOUPS 24132 WITH SCORE 24344.656
AT ITER 3148 NEW BEST:: SOT 257766 SOS 212754 HAS SOPS 212754 HAS SOUS 24122 HAS SOUPS 24122 WITH SCORE 24334.754
AT ITER 3157 NEW BEST:: SOT 258217 SOS 213205 HAS SOPS 213205 HAS SOUS 24109 HAS SOUPS 24109 WITH SCORE 24322.205
AT ITER 3158 NEW BEST:: SOT 258598 SOS 213586 HAS SOPS 213586 HAS SOUS 24071 HAS SOUPS 24071 WITH SCORE 24284.586
AT ITER 3168 NEW BEST:: SOT 258684 SOS 213672 HAS SOPS 213672 HAS SOUS 23991 HAS SOUPS 23991 WITH SCORE 24204.672
AT ITER 3171 NEW BEST:: SOT 258846 SOS 213769 HAS SOPS 213769 HAS SOUS 23837 HAS SOUPS 23837 WITH SCORE 24050.769
AT ITER 3177 NEW BEST:: SOT 258846 SOS 213818 HAS SOPS 213818 HAS SOUS 23788 HAS SOUPS 23788 WITH SCORE 24001.818
AT ITER 3181 NEW BEST:: SOT 258817 SOS 213789 HAS SOPS 213789 HAS SOUS 23724 HAS SOUPS 23724 WITH SCORE 23937.789
AT ITER 3195 NEW BEST:: SOT 258953 SOS 213925 HAS SOPS 213925 HAS SOUS 23700 HAS SOUPS 23700 WITH SCORE 23913.925
AT ITER 3211 NEW BEST:: SOT 259275 SOS 214247 HAS SOPS 214247 HAS SOUS 23544 HAS SOUPS 23544 WITH SCORE 23758.247
AT ITER 3222 NEW BEST:: SOT 259211 SOS 214183 HAS SOPS 214183 HAS SOUS 23544 HAS SOUPS 23544 WITH SCORE 23758.183
AT ITER 3224 NEW BEST:: SOT 259420 SOS 214392 HAS SOPS 214392 HAS SOUS 23377 HAS SOUPS 23377 WITH SCORE 23591.392
AT ITER 3226 NEW BEST:: SOT 259412 SOS 214384 HAS SOPS 214384 HAS SOUS 23369 HAS SOUPS 23369 WITH SCORE 23583.384
AT ITER 3230 NEW BEST:: SOT 259509 SOS 214481 HAS SOPS 214481 HAS SOUS 23272 HAS SOUPS 23272 WITH SCORE 23486.481
AT ITER 3233 NEW BEST:: SOT 260072 SOS 215044 HAS SOPS 215044 HAS SOUS 23257 HAS SOUPS 23257 WITH SCORE 23472.044
AT ITER 3249 NEW BEST:: SOT 260171 SOS 215143 HAS SOPS 215143 HAS SOUS 23224 HAS SOUPS 23224 WITH SCORE 23439.143
AT ITER 3251 NEW BEST:: SOT 260668 SOS 215640 HAS SOPS 215640 HAS SOUS 23083 HAS SOUPS 23083 WITH SCORE 23298.64
AT ITER 3252 NEW BEST:: SOT 261366 SOS 216338 HAS SOPS 216338 HAS SOUS 23021 HAS SOUPS 23021 WITH SCORE 23237.338
AT ITER 3253 NEW BEST:: SOT 261874 SOS 216846 HAS SOPS 216846 HAS SOUS 22811 HAS SOUPS 22811 WITH SCORE 23027.846
AT ITER 3255 NEW BEST:: SOT 262481 SOS 217453 HAS SOPS 217453 HAS SOUS 22784 HAS SOUPS 22784 WITH SCORE 23001.453
AT ITER 3258 NEW BEST:: SOT 262459 SOS 217431 HAS SOPS 217431 HAS SOUS 22774 HAS SOUPS 22774 WITH SCORE 22991.431
AT ITER 3259 NEW BEST:: SOT 262337 SOS 217309 HAS SOPS 217309 HAS SOUS 22774 HAS SOUPS 22774 WITH SCORE 22991.309
AT ITER 3265 NEW BEST:: SOT 260257 SOS 215352 HAS SOPS 215352 HAS SOUS 20553 HAS SOUPS 20553 WITH SCORE 20768.352
AT ITER 3267 NEW BEST:: SOT 260624 SOS 215719 HAS SOPS 215719 HAS SOUS 20514 HAS SOUPS 20514 WITH SCORE 20729.719
AT ITER 3273 NEW BEST:: SOT 260764 SOS 215816 HAS SOPS 215816 HAS SOUS 20472 HAS SOUPS 20472 WITH SCORE 20687.816
AT ITER 3278 NEW BEST:: SOT 260682 SOS 215734 HAS SOPS 215734 HAS SOUS 20472 HAS SOUPS 20472 WITH SCORE 20687.734
AT ITER 3280 NEW BEST:: SOT 260799 SOS 215851 HAS SOPS 215851 HAS SOUS 20355 HAS SOUPS 20355 WITH SCORE 20570.851
AT ITER 3286 NEW BEST:: SOT 261162 SOS 216214 HAS SOPS 216214 HAS SOUS 20328 HAS SOUPS 20328 WITH SCORE 20544.214
AT ITER 3309 NEW BEST:: SOT 261516 SOS 216568 HAS SOPS 216568 HAS SOUS 20284 HAS SOUPS 20284 WITH SCORE 20500.568
AT ITER 3312 NEW BEST:: SOT 262168 SOS 217220 HAS SOPS 217220 HAS SOUS 20218 HAS SOUPS 20218 WITH SCORE 20435.22
AT ITER 3323 NEW BEST:: SOT 262841 SOS 217893 HAS SOPS 217893 HAS SOUS 20001 HAS SOUPS 20001 WITH SCORE 20218.893
AT ITER 3327 NEW BEST:: SOT 262247 SOS 217299 HAS SOPS 217299 HAS SOUS 20001 HAS SOUPS 20001 WITH SCORE 20218.299
AT ITER 3330 NEW BEST:: SOT 262891 SOS 217943 HAS SOPS 217943 HAS SOUS 19987 HAS SOUPS 19987 WITH SCORE 20204.943
AT ITER 3349 NEW BEST:: SOT 262949 SOS 218001 HAS SOPS 218001 HAS SOUS 19929 HAS SOUPS 19929 WITH SCORE 20147.001
AT ITER 3351 NEW BEST:: SOT 263111 SOS 218114 HAS SOPS 218114 HAS SOUS 19875 HAS SOUPS 19875 WITH SCORE 20093.114
AT ITER 3360 NEW BEST:: SOT 263596 SOS 218599 HAS SOPS 218599 HAS SOUS 19714 HAS SOUPS 19714 WITH SCORE 19932.599
AT ITER 3361 NEW BEST:: SOT 263909 SOS 218912 HAS SOPS 218912 HAS SOUS 19605 HAS SOUPS 19605 WITH SCORE 19823.912
AT ITER 3379 NEW BEST:: SOT 263950 SOS 218953 HAS SOPS 218953 HAS SOUS 19564 HAS SOUPS 19564 WITH SCORE 19782.953
AT ITER 3381 NEW BEST:: SOT 264654 SOS 219657 HAS SOPS 219657 HAS SOUS 19358 HAS SOUPS 19358 WITH SCORE 19577.657
AT ITER 3386 NEW BEST:: SOT 264941 SOS 219944 HAS SOPS 219944 HAS SOUS 19165 HAS SOUPS 19165 WITH SCORE 19384.944
AT ITER 3387 NEW BEST:: SOT 264821 SOS 219824 HAS SOPS 219824 HAS SOUS 19165 HAS SOUPS 19165 WITH SCORE 19384.824
AT ITER 3390 NEW BEST:: SOT 265207 SOS 220210 HAS SOPS 220210 HAS SOUS 18995 HAS SOUPS 18995 WITH SCORE 19215.21
AT ITER 3403 NEW BEST:: SOT 265615 SOS 220617 HAS SOPS 220617 HAS SOUS 18905 HAS SOUPS 18905 WITH SCORE 19125.617
AT ITER 3412 NEW BEST:: SOT 265887 SOS 220889 HAS SOPS 220889 HAS SOUS 18889 HAS SOUPS 18889 WITH SCORE 19109.889
AT ITER 3417 NEW BEST:: SOT 266074 SOS 221076 HAS SOPS 221076 HAS SOUS 18808 HAS SOUPS 18808 WITH SCORE 19029.076
AT ITER 3421 NEW BEST:: SOT 266117 SOS 221119 HAS SOPS 221119 HAS SOUS 18765 HAS SOUPS 18765 WITH SCORE 18986.119
AT ITER 3424 NEW BEST:: SOT 266152 SOS 221154 HAS SOPS 221154 HAS SOUS 18730 HAS SOUPS 18730 WITH SCORE 18951.154
AT ITER 3425 NEW BEST:: SOT 266689 SOS 221691 HAS SOPS 221691 HAS SOUS 18637 HAS SOUPS 18637 WITH SCORE 18858.691
AT ITER 3438 NEW BEST:: SOT 266706 SOS 221708 HAS SOPS 221708 HAS SOUS 18620 HAS SOUPS 18620 WITH SCORE 18841.708
AT ITER 3444 NEW BEST:: SOT 266848 SOS 221850 HAS SOPS 221850 HAS SOUS 18604 HAS SOUPS 18604 WITH SCORE 18825.85
AT ITER 3446 NEW BEST:: SOT 267464 SOS 222466 HAS SOPS 222466 HAS SOUS 18518 HAS SOUPS 18518 WITH SCORE 18740.466
AT ITER 3449 NEW BEST:: SOT 267541 SOS 222543 HAS SOPS 222543 HAS SOUS 18497 HAS SOUPS 18497 WITH SCORE 18719.543
AT ITER 3452 NEW BEST:: SOT 267437 SOS 222439 HAS SOPS 222439 HAS SOUS 18497 HAS SOUPS 18497 WITH SCORE 18719.439
AT ITER 3459 NEW BEST:: SOT 268239 SOS 223241 HAS SOPS 223241 HAS SOUS 18359 HAS SOUPS 18359 WITH SCORE 18582.241
AT ITER 3460 NEW BEST:: SOT 268239 SOS 223241 HAS SOPS 223241 HAS SOUS 18333 HAS SOUPS 18333 WITH SCORE 18556.241
AT ITER 3475 NEW BEST:: SOT 268988 SOS 223990 HAS SOPS 223990 HAS SOUS 18188 HAS SOUPS 18188 WITH SCORE 18411.99
AT ITER 3490 NEW BEST:: SOT 269014 SOS 224016 HAS SOPS 224016 HAS SOUS 18162 HAS SOUPS 18162 WITH SCORE 18386.016
AT ITER 3496 NEW BEST:: SOT 269667 SOS 224669 HAS SOPS 224669 HAS SOUS 18133 HAS SOUPS 18133 WITH SCORE 18357.669
AT ITER 3503 NEW BEST:: SOT 269918 SOS 224874 HAS SOPS 224874 HAS SOUS 18120 HAS SOUPS 18120 WITH SCORE 18344.874
AT ITER 3516 NEW BEST:: SOT 270153 SOS 225075 HAS SOPS 225075 HAS SOUS 18073 HAS SOUPS 18073 WITH SCORE 18298.075
AT ITER 3521 NEW BEST:: SOT 270546 SOS 225468 HAS SOPS 225468 HAS SOUS 18050 HAS SOUPS 18050 WITH SCORE 18275.468
AT ITER 3524 NEW BEST:: SOT 270632 SOS 225554 HAS SOPS 225554 HAS SOUS 17964 HAS SOUPS 17964 WITH SCORE 18189.554
AT ITER 3525 NEW BEST:: SOT 271404 SOS 226326 HAS SOPS 226326 HAS SOUS 17840 HAS SOUPS 17840 WITH SCORE 18066.326
AT ITER 3526 NEW BEST:: SOT 272179 SOS 227101 HAS SOPS 227101 HAS SOUS 17691 HAS SOUPS 17691 WITH SCORE 17918.101
AT ITER 3544 NEW BEST:: SOT 272487 SOS 227409 HAS SOPS 227409 HAS SOUS 17661 HAS SOUPS 17661 WITH SCORE 17888.409
AT ITER 3547 NEW BEST:: SOT 272782 SOS 227704 HAS SOPS 227704 HAS SOUS 17610 HAS SOUPS 17610 WITH SCORE 17837.704
AT ITER 3560 NEW BEST:: SOT 273318 SOS 228233 HAS SOPS 228233 HAS SOUS 17555 HAS SOUPS 17555 WITH SCORE 17783.233
AT ITER 3566 NEW BEST:: SOT 270101 SOS 243874 HAS SOPS 243874 HAS SOUS 14075 HAS SOUPS 14075 WITH SCORE 14318.874
AT ITER 3569 NEW BEST:: SOT 269971 SOS 243744 HAS SOPS 243744 HAS SOUS 14075 HAS SOUPS 14075 WITH SCORE 14318.744
AT ITER 3572 NEW BEST:: SOT 269457 SOS 243230 HAS SOPS 243230 HAS SOUS 14075 HAS SOUPS 14075 WITH SCORE 14318.23
AT ITER 3587 NEW BEST:: SOT 269417 SOS 243190 HAS SOPS 243190 HAS SOUS 14075 HAS SOUPS 14075 WITH SCORE 14318.19
AT ITER 3588 NEW BEST:: SOT 269580 SOS 243349 HAS SOPS 243349 HAS SOUS 14058 HAS SOUPS 14058 WITH SCORE 14301.349
AT ITER 3592 NEW BEST:: SOT 269482 SOS 243251 HAS SOPS 243251 HAS SOUS 14058 HAS SOUPS 14058 WITH SCORE 14301.251
AT ITER 3599 NEW BEST:: SOT 269458 SOS 243227 HAS SOPS 243227 HAS SOUS 14058 HAS SOUPS 14058 WITH SCORE 14301.227
AT ITER 3602 NEW BEST:: SOT 269464 SOS 243233 HAS SOPS 243233 HAS SOUS 14052 HAS SOUPS 14052 WITH SCORE 14295.233
AT ITER 3607 NEW BEST:: SOT 270089 SOS 243858 HAS SOPS 243858 HAS SOUS 13955 HAS SOUPS 13955 WITH SCORE 14198.858
AT ITER 3612 NEW BEST:: SOT 271055 SOS 244824 HAS SOPS 244824 HAS SOUS 13925 HAS SOUPS 13925 WITH SCORE 14169.824
AT ITER 3615 NEW BEST:: SOT 270963 SOS 244732 HAS SOPS 244732 HAS SOUS 13833 HAS SOUPS 13833 WITH SCORE 14077.732
AT ITER 3617 NEW BEST:: SOT 270655 SOS 244424 HAS SOPS 244424 HAS SOUS 13833 HAS SOUPS 13833 WITH SCORE 14077.424
AT ITER 3619 NEW BEST:: SOT 271192 SOS 244951 HAS SOPS 244951 HAS SOUS 13810 HAS SOUPS 13810 WITH SCORE 14054.951
AT ITER 3620 NEW BEST:: SOT 271435 SOS 245194 HAS SOPS 245194 HAS SOUS 13733 HAS SOUPS 13733 WITH SCORE 13978.194
AT ITER 3631 NEW BEST:: SOT 271920 SOS 245659 HAS SOPS 245659 HAS SOUS 13700 HAS SOUPS 13700 WITH SCORE 13945.659
AT ITER 3634 NEW BEST:: SOT 272285 SOS 245994 HAS SOPS 245994 HAS SOUS 13657 HAS SOUPS 13657 WITH SCORE 13902.994
AT ITER 3637 NEW BEST:: SOT 271943 SOS 245652 HAS SOPS 245652 HAS SOUS 13657 HAS SOUPS 13657 WITH SCORE 13902.652
AT ITER 3641 NEW BEST:: SOT 271943 SOS 245652 HAS SOPS 245652 HAS SOUS 13640 HAS SOUPS 13640 WITH SCORE 13885.652
AT ITER 3649 NEW BEST:: SOT 271655 SOS 245364 HAS SOPS 245364 HAS SOUS 13640 HAS SOUPS 13640 WITH SCORE 13885.364
AT ITER 3652 NEW BEST:: SOT 271505 SOS 245214 HAS SOPS 245214 HAS SOUS 13640 HAS SOUPS 13640 WITH SCORE 13885.214
AT ITER 3654 NEW BEST:: SOT 271635 SOS 245344 HAS SOPS 245344 HAS SOUS 13600 HAS SOUPS 13600 WITH SCORE 13845.344
AT ITER 3657 NEW BEST:: SOT 271399 SOS 245108 HAS SOPS 245108 HAS SOUS 13600 HAS SOUPS 13600 WITH SCORE 13845.108
AT ITER 3663 NEW BEST:: SOT 271197 SOS 244906 HAS SOPS 244906 HAS SOUS 13600 HAS SOUPS 13600 WITH SCORE 13844.906
AT ITER 3664 NEW BEST:: SOT 271019 SOS 244728 HAS SOPS 244728 HAS SOUS 13600 HAS SOUPS 13600 WITH SCORE 13844.728
AT ITER 3669 NEW BEST:: SOT 271561 SOS 245270 HAS SOPS 245270 HAS SOUS 13537 HAS SOUPS 13537 WITH SCORE 13782.27
AT ITER 3670 NEW BEST:: SOT 271541 SOS 245250 HAS SOPS 245250 HAS SOUS 13537 HAS SOUPS 13537 WITH SCORE 13782.25
AT ITER 3674 NEW BEST:: SOT 271598 SOS 245307 HAS SOPS 245307 HAS SOUS 13492 HAS SOUPS 13492 WITH SCORE 13737.307
AT ITER 3694 NEW BEST:: SOT 271774 SOS 245483 HAS SOPS 245483 HAS SOUS 13428 HAS SOUPS 13428 WITH SCORE 13673.483
AT ITER 3707 NEW BEST:: SOT 271162 SOS 244871 HAS SOPS 244871 HAS SOUS 13428 HAS SOUPS 13428 WITH SCORE 13672.871
AT ITER 3731 NEW BEST:: SOT 271714 SOS 245404 HAS SOPS 245404 HAS SOUS 13396 HAS SOUPS 13396 WITH SCORE 13641.404
AT ITER 3734 NEW BEST:: SOT 272438 SOS 246128 HAS SOPS 246128 HAS SOUS 13306 HAS SOUPS 13306 WITH SCORE 13552.128
AT ITER 3739 NEW BEST:: SOT 272423 SOS 246113 HAS SOPS 246113 HAS SOUS 13291 HAS SOUPS 13291 WITH SCORE 13537.113
AT ITER 3745 NEW BEST:: SOT 272689 SOS 246379 HAS SOPS 246379 HAS SOUS 13227 HAS SOUPS 13227 WITH SCORE 13473.379
AT ITER 3748 NEW BEST:: SOT 273140 SOS 246830 HAS SOPS 246830 HAS SOUS 13170 HAS SOUPS 13170 WITH SCORE 13416.83
AT ITER 3749 NEW BEST:: SOT 272898 SOS 246588 HAS SOPS 246588 HAS SOUS 13170 HAS SOUPS 13170 WITH SCORE 13416.588
AT ITER 3753 NEW BEST:: SOT 272968 SOS 246778 HAS SOPS 246778 HAS SOUS 13047 HAS SOUPS 13047 WITH SCORE 13293.778
AT ITER 3768 NEW BEST:: SOT 273487 SOS 247265 HAS SOPS 247265 HAS SOUS 13002 HAS SOUPS 13002 WITH SCORE 13249.265
AT ITER 3770 NEW BEST:: SOT 273803 SOS 247572 HAS SOPS 247572 HAS SOUS 12980 HAS SOUPS 12980 WITH SCORE 13227.572
AT ITER 3780 NEW BEST:: SOT 274096 SOS 247855 HAS SOPS 247855 HAS SOUS 12881 HAS SOUPS 12881 WITH SCORE 13128.855
AT ITER 3784 NEW BEST:: SOT 274010 SOS 247769 HAS SOPS 247769 HAS SOUS 12795 HAS SOUPS 12795 WITH SCORE 13042.769
AT ITER 3792 NEW BEST:: SOT 273636 SOS 247395 HAS SOPS 247395 HAS SOUS 12795 HAS SOUPS 12795 WITH SCORE 13042.395
AT ITER 3801 NEW BEST:: SOT 273778 SOS 247516 HAS SOPS 247516 HAS SOUS 12761 HAS SOUPS 12761 WITH SCORE 13008.516
AT ITER 3812 NEW BEST:: SOT 273982 SOS 247720 HAS SOPS 247720 HAS SOUS 12649 HAS SOUPS 12649 WITH SCORE 12896.72
AT ITER 3813 NEW BEST:: SOT 273454 SOS 247192 HAS SOPS 247192 HAS SOUS 12633 HAS SOUPS 12633 WITH SCORE 12880.192
AT ITER 3820 NEW BEST:: SOT 273828 SOS 247566 HAS SOPS 247566 HAS SOUS 12591 HAS SOUPS 12591 WITH SCORE 12838.566
AT ITER 3826 NEW BEST:: SOT 274051 SOS 247789 HAS SOPS 247789 HAS SOUS 12528 HAS SOUPS 12528 WITH SCORE 12775.789
AT ITER 3831 NEW BEST:: SOT 274256 SOS 247994 HAS SOPS 247994 HAS SOUS 12479 HAS SOUPS 12479 WITH SCORE 12726.994
AT ITER 3833 NEW BEST:: SOT 274164 SOS 247902 HAS SOPS 247902 HAS SOUS 12387 HAS SOUPS 12387 WITH SCORE 12634.902
AT ITER 3837 NEW BEST:: SOT 273926 SOS 247664 HAS SOPS 247664 HAS SOUS 12387 HAS SOUPS 12387 WITH SCORE 12634.664
AT ITER 3872 NEW BEST:: SOT 273686 SOS 247424 HAS SOPS 247424 HAS SOUS 12387 HAS SOUPS 12387 WITH SCORE 12634.424
AT ITER 3877 NEW BEST:: SOT 273980 SOS 247718 HAS SOPS 247718 HAS SOUS 12279 HAS SOUPS 12279 WITH SCORE 12526.718
AT ITER 3881 NEW BEST:: SOT 274005 SOS 247720 HAS SOPS 247720 HAS SOUS 12254 HAS SOUPS 12254 WITH SCORE 12501.72
AT ITER 3891 NEW BEST:: SOT 273887 SOS 247602 HAS SOPS 247602 HAS SOUS 12254 HAS SOUPS 12254 WITH SCORE 12501.602
AT ITER 3893 NEW BEST:: SOT 273829 SOS 247544 HAS SOPS 247544 HAS SOUS 12254 HAS SOUPS 12254 WITH SCORE 12501.544
AT ITER 3901 NEW BEST:: SOT 273685 SOS 247400 HAS SOPS 247400 HAS SOUS 12254 HAS SOUPS 12254 WITH SCORE 12501.4
AT ITER 3904 NEW BEST:: SOT 273643 SOS 247358 HAS SOPS 247358 HAS SOUS 12254 HAS SOUPS 12254 WITH SCORE 12501.358
AT ITER 3913 NEW BEST:: SOT 274626 SOS 248341 HAS SOPS 248341 HAS SOUS 12187 HAS SOUPS 12187 WITH SCORE 12435.341
AT ITER 3920 NEW BEST:: SOT 274038 SOS 247753 HAS SOPS 247753 HAS SOUS 12187 HAS SOUPS 12187 WITH SCORE 12434.753
AT ITER 3927 NEW BEST:: SOT 274066 SOS 247778 HAS SOPS 247778 HAS SOUS 12159 HAS SOUPS 12159 WITH SCORE 12406.778
AT ITER 3930 NEW BEST:: SOT 273360 SOS 247072 HAS SOPS 247072 HAS SOUS 12159 HAS SOUPS 12159 WITH SCORE 12406.072
AT ITER 3937 NEW BEST:: SOT 272902 SOS 246614 HAS SOPS 246614 HAS SOUS 12159 HAS SOUPS 12159 WITH SCORE 12405.614
AT ITER 3939 NEW BEST:: SOT 272260 SOS 245972 HAS SOPS 245972 HAS SOUS 12135 HAS SOUPS 12135 WITH SCORE 12380.972
AT ITER 3949 NEW BEST:: SOT 272260 SOS 245972 HAS SOPS 245972 HAS SOUS 12125 HAS SOUPS 12125 WITH SCORE 12370.972
AT ITER 3960 NEW BEST:: SOT 271960 SOS 245672 HAS SOPS 245672 HAS SOUS 12125 HAS SOUPS 12125 WITH SCORE 12370.672
AT ITER 3967 NEW BEST:: SOT 271644 SOS 245356 HAS SOPS 245356 HAS SOUS 12125 HAS SOUPS 12125 WITH SCORE 12370.356
AT ITER 3968 NEW BEST:: SOT 271706 SOS 245418 HAS SOPS 245418 HAS SOUS 12123 HAS SOUPS 12123 WITH SCORE 12368.418
AT ITER 3969 NEW BEST:: SOT 271688 SOS 245400 HAS SOPS 245400 HAS SOUS 12123 HAS SOUPS 12123 WITH SCORE 12368.4
AT ITER 3973 NEW BEST:: SOT 271560 SOS 245272 HAS SOPS 245272 HAS SOUS 12123 HAS SOUPS 12123 WITH SCORE 12368.272
AT ITER 3975 NEW BEST:: SOT 271936 SOS 245631 HAS SOPS 245631 HAS SOUS 12093 HAS SOUPS 12093 WITH SCORE 12338.631
AT ITER 3976 NEW BEST:: SOT 271987 SOS 245682 HAS SOPS 245682 HAS SOUS 12076 HAS SOUPS 12076 WITH SCORE 12321.682
AT ITER 3978 NEW BEST:: SOT 271737 SOS 245432 HAS SOPS 245432 HAS SOUS 12076 HAS SOUPS 12076 WITH SCORE 12321.432
AT ITER 3986 NEW BEST:: SOT 271871 SOS 245700 HAS SOPS 245700 HAS SOUS 12041 HAS SOUPS 12041 WITH SCORE 12286.7
AT ITER 3994 NEW BEST:: SOT 271583 SOS 245412 HAS SOPS 245412 HAS SOUS 12041 HAS SOUPS 12041 WITH SCORE 12286.412
AT ITER 3996 NEW BEST:: SOT 271553 SOS 245382 HAS SOPS 245382 HAS SOUS 12041 HAS SOUPS 12041 WITH SCORE 12286.382
AT ITER 4002 NEW BEST:: SOT 272240 SOS 246069 HAS SOPS 246069 HAS SOUS 11972 HAS SOUPS 11972 WITH SCORE 12218.069
AT ITER 4003 NEW BEST:: SOT 272046 SOS 245875 HAS SOPS 245875 HAS SOUS 11972 HAS SOUPS 11972 WITH SCORE 12217.875
AT ITER 4014 NEW BEST:: SOT 272114 SOS 245906 HAS SOPS 245906 HAS SOUS 11922 HAS SOUPS 11922 WITH SCORE 12167.906
AT ITER 4023 NEW BEST:: SOT 273087 SOS 246879 HAS SOPS 246879 HAS SOUS 11871 HAS SOUPS 11871 WITH SCORE 12117.879
AT ITER 4033 NEW BEST:: SOT 272419 SOS 246211 HAS SOPS 246211 HAS SOUS 11871 HAS SOUPS 11871 WITH SCORE 12117.211
AT ITER 4034 NEW BEST:: SOT 271765 SOS 245557 HAS SOPS 245557 HAS SOUS 11871 HAS SOUPS 11871 WITH SCORE 12116.557
AT ITER 4037 NEW BEST:: SOT 271736 SOS 245528 HAS SOPS 245528 HAS SOUS 11842 HAS SOUPS 11842 WITH SCORE 12087.528
AT ITER 4046 NEW BEST:: SOT 271556 SOS 245348 HAS SOPS 245348 HAS SOUS 11842 HAS SOUPS 11842 WITH SCORE 12087.348
AT ITER 4053 NEW BEST:: SOT 271438 SOS 245230 HAS SOPS 245230 HAS SOUS 11842 HAS SOUPS 11842 WITH SCORE 12087.23
AT ITER 4058 NEW BEST:: SOT 271236 SOS 245028 HAS SOPS 245028 HAS SOUS 11842 HAS SOUPS 11842 WITH SCORE 12087.028
AT ITER 4061 NEW BEST:: SOT 270652 SOS 244444 HAS SOPS 244444 HAS SOUS 10954 HAS SOUPS 10954 WITH SCORE 11198.444
AT ITER 4076 NEW BEST:: SOT 271211 SOS 245001 HAS SOPS 245001 HAS SOUS 10939 HAS SOUPS 10939 WITH SCORE 11184.001
AT ITER 4078 NEW BEST:: SOT 272115 SOS 245905 HAS SOPS 245905 HAS SOUS 10855 HAS SOUPS 10855 WITH SCORE 11100.905
AT ITER 4080 NEW BEST:: SOT 271977 SOS 245767 HAS SOPS 245767 HAS SOUS 10855 HAS SOUPS 10855 WITH SCORE 11100.767
AT ITER 4083 NEW BEST:: SOT 271949 SOS 245739 HAS SOPS 245739 HAS SOUS 10855 HAS SOUPS 10855 WITH SCORE 11100.739
AT ITER 4084 NEW BEST:: SOT 271793 SOS 245583 HAS SOPS 245583 HAS SOUS 10855 HAS SOUPS 10855 WITH SCORE 11100.583
AT ITER 4100 NEW BEST:: SOT 271826 SOS 245583 HAS SOPS 245583 HAS SOUS 10822 HAS SOUPS 10822 WITH SCORE 11067.583
AT ITER 4101 NEW BEST:: SOT 271558 SOS 245315 HAS SOPS 245315 HAS SOUS 10822 HAS SOUPS 10822 WITH SCORE 11067.315
AT ITER 4115 NEW BEST:: SOT 271948 SOS 245705 HAS SOPS 245705 HAS SOUS 10762 HAS SOUPS 10762 WITH SCORE 11007.705
AT ITER 4118 NEW BEST:: SOT 271480 SOS 245237 HAS SOPS 245237 HAS SOUS 10762 HAS SOUPS 10762 WITH SCORE 11007.237
AT ITER 4130 NEW BEST:: SOT 272360 SOS 246117 HAS SOPS 246117 HAS SOUS 10684 HAS SOUPS 10684 WITH SCORE 10930.117
AT ITER 4140 NEW BEST:: SOT 272623 SOS 246380 HAS SOPS 246380 HAS SOUS 10611 HAS SOUPS 10611 WITH SCORE 10857.38
AT ITER 4145 NEW BEST:: SOT 272897 SOS 246654 HAS SOPS 246654 HAS SOUS 10525 HAS SOUPS 10525 WITH SCORE 10771.654
AT ITER 4154 NEW BEST:: SOT 272902 SOS 246654 HAS SOPS 246654 HAS SOUS 10520 HAS SOUPS 10520 WITH SCORE 10766.654
AT ITER 4158 NEW BEST:: SOT 273562 SOS 247281 HAS SOPS 247281 HAS SOUS 10486 HAS SOUPS 10486 WITH SCORE 10733.281
AT ITER 4172 NEW BEST:: SOT 273555 SOS 247274 HAS SOPS 247274 HAS SOUS 10479 HAS SOUPS 10479 WITH SCORE 10726.274
AT ITER 4186 NEW BEST:: SOT 273539 SOS 247258 HAS SOPS 247258 HAS SOUS 10479 HAS SOUPS 10479 WITH SCORE 10726.258
AT ITER 4189 NEW BEST:: SOT 273675 SOS 247394 HAS SOPS 247394 HAS SOUS 10447 HAS SOUPS 10447 WITH SCORE 10694.394
AT ITER 4198 NEW BEST:: SOT 273383 SOS 247102 HAS SOPS 247102 HAS SOUS 10447 HAS SOUPS 10447 WITH SCORE 10694.102
AT ITER 4204 NEW BEST:: SOT 273113 SOS 246832 HAS SOPS 246832 HAS SOUS 10447 HAS SOUPS 10447 WITH SCORE 10693.832
AT ITER 4209 NEW BEST:: SOT 273626 SOS 247337 HAS SOPS 247337 HAS SOUS 10350 HAS SOUPS 10350 WITH SCORE 10597.337
AT ITER 4214 NEW BEST:: SOT 273896 SOS 247607 HAS SOPS 247607 HAS SOUS 10284 HAS SOUPS 10284 WITH SCORE 10531.607
AT ITER 4222 NEW BEST:: SOT 273888 SOS 247599 HAS SOPS 247599 HAS SOUS 10284 HAS SOUPS 10284 WITH SCORE 10531.599
AT ITER 4228 NEW BEST:: SOT 273614 SOS 247325 HAS SOPS 247325 HAS SOUS 10284 HAS SOUPS 10284 WITH SCORE 10531.325
AT ITER 4247 NEW BEST:: SOT 273502 SOS 247213 HAS SOPS 247213 HAS SOUS 10284 HAS SOUPS 10284 WITH SCORE 10531.213
AT ITER 4248 NEW BEST:: SOT 273736 SOS 247444 HAS SOPS 247444 HAS SOUS 10268 HAS SOUPS 10268 WITH SCORE 10515.444
AT ITER 4258 NEW BEST:: SOT 273917 SOS 247577 HAS SOPS 247577 HAS SOUS 10207 HAS SOUPS 10207 WITH SCORE 10454.577
AT ITER 4263 NEW BEST:: SOT 273533 SOS 247193 HAS SOPS 247193 HAS SOUS 10207 HAS SOUPS 10207 WITH SCORE 10454.193
AT ITER 4271 NEW BEST:: SOT 272745 SOS 246405 HAS SOPS 246405 HAS SOUS 10207 HAS SOUPS 10207 WITH SCORE 10453.405
AT ITER 4295 NEW BEST:: SOT 272848 SOS 246508 HAS SOPS 246508 HAS SOUS 10142 HAS SOUPS 10142 WITH SCORE 10388.508
AT ITER 4299 NEW BEST:: SOT 272848 SOS 246508 HAS SOPS 246508 HAS SOUS 10141 HAS SOUPS 10141 WITH SCORE 10387.508
AT ITER 4310 NEW BEST:: SOT 272786 SOS 246446 HAS SOPS 246446 HAS SOUS 10141 HAS SOUPS 10141 WITH SCORE 10387.446
AT ITER 4315 NEW BEST:: SOT 272804 SOS 246464 HAS SOPS 246464 HAS SOUS 10123 HAS SOUPS 10123 WITH SCORE 10369.464
AT ITER 4321 NEW BEST:: SOT 272594 SOS 246254 HAS SOPS 246254 HAS SOUS 10123 HAS SOUPS 10123 WITH SCORE 10369.254
AT ITER 4325 NEW BEST:: SOT 272300 SOS 245960 HAS SOPS 245960 HAS SOUS 10112 HAS SOUPS 10112 WITH SCORE 10357.96
AT ITER 4334 NEW BEST:: SOT 272068 SOS 245728 HAS SOPS 245728 HAS SOUS 10112 HAS SOUPS 10112 WITH SCORE 10357.728
AT ITER 4338 NEW BEST:: SOT 272460 SOS 246111 HAS SOPS 246111 HAS SOUS 10014 HAS SOUPS 10014 WITH SCORE 10260.111
AT ITER 4341 NEW BEST:: SOT 272801 SOS 246440 HAS SOPS 246440 HAS SOUS 9989 HAS SOUPS 9989 WITH SCORE 10235.44
AT ITER 4348 NEW BEST:: SOT 272253 SOS 245892 HAS SOPS 245892 HAS SOUS 9989 HAS SOUPS 9989 WITH SCORE 10234.892
AT ITER 4356 NEW BEST:: SOT 272135 SOS 245774 HAS SOPS 245774 HAS SOUS 9989 HAS SOUPS 9989 WITH SCORE 10234.774
AT ITER 4371 NEW BEST:: SOT 272101 SOS 245740 HAS SOPS 245740 HAS SOUS 9989 HAS SOUPS 9989 WITH SCORE 10234.74
AT ITER 4373 NEW BEST:: SOT 272524 SOS 246163 HAS SOPS 246163 HAS SOUS 9980 HAS SOUPS 9980 WITH SCORE 10226.163
AT ITER 4380 NEW BEST:: SOT 272953 SOS 246592 HAS SOPS 246592 HAS SOUS 9905 HAS SOUPS 9905 WITH SCORE 10151.592
AT ITER 4382 NEW BEST:: SOT 272721 SOS 246360 HAS SOPS 246360 HAS SOUS 9905 HAS SOUPS 9905 WITH SCORE 10151.36
AT ITER 4397 NEW BEST:: SOT 272721 SOS 246360 HAS SOPS 246360 HAS SOUS 9823 HAS SOUPS 9823 WITH SCORE 10069.36
AT ITER 4398 NEW BEST:: SOT 272505 SOS 246144 HAS SOPS 246144 HAS SOUS 9823 HAS SOUPS 9823 WITH SCORE 10069.144
AT ITER 4401 NEW BEST:: SOT 272878 SOS 246517 HAS SOPS 246517 HAS SOUS 9792 HAS SOUPS 9792 WITH SCORE 10038.517
AT ITER 4406 NEW BEST:: SOT 272858 SOS 246497 HAS SOPS 246497 HAS SOUS 9792 HAS SOUPS 9792 WITH SCORE 10038.497
AT ITER 4417 NEW BEST:: SOT 272774 SOS 246413 HAS SOPS 246413 HAS SOUS 9708 HAS SOUPS 9708 WITH SCORE 9954.413
AT ITER 4422 NEW BEST:: SOT 272618 SOS 246257 HAS SOPS 246257 HAS SOUS 9708 HAS SOUPS 9708 WITH SCORE 9954.257
AT ITER 4439 NEW BEST:: SOT 271932 SOS 245571 HAS SOPS 245571 HAS SOUS 9692 HAS SOUPS 9692 WITH SCORE 9937.571
AT ITER 4450 NEW BEST:: SOT 271965 SOS 245604 HAS SOPS 245604 HAS SOUS 9677 HAS SOUPS 9677 WITH SCORE 9922.604
AT ITER 4461 NEW BEST:: SOT 271835 SOS 245474 HAS SOPS 245474 HAS SOUS 9677 HAS SOUPS 9677 WITH SCORE 9922.474
AT ITER 4462 NEW BEST:: SOT 271173 SOS 244812 HAS SOPS 244812 HAS SOUS 9677 HAS SOUPS 9677 WITH SCORE 9921.812
AT ITER 4473 NEW BEST:: SOT 271481 SOS 245120 HAS SOPS 245120 HAS SOUS 9665 HAS SOUPS 9665 WITH SCORE 9910.12
AT ITER 4476 NEW BEST:: SOT 271481 SOS 245094 HAS SOPS 245094 HAS SOUS 9652 HAS SOUPS 9652 WITH SCORE 9897.094
AT ITER 4479 NEW BEST:: SOT 271671 SOS 245284 HAS SOPS 245284 HAS SOUS 9600 HAS SOUPS 9600 WITH SCORE 9845.284
AT ITER 4494 NEW BEST:: SOT 271405 SOS 245018 HAS SOPS 245018 HAS SOUS 9600 HAS SOUPS 9600 WITH SCORE 9845.018
AT ITER 4498 NEW BEST:: SOT 271965 SOS 245578 HAS SOPS 245578 HAS SOUS 9575 HAS SOUPS 9575 WITH SCORE 9820.578
AT ITER 4504 NEW BEST:: SOT 271693 SOS 245306 HAS SOPS 245306 HAS SOUS 9575 HAS SOUPS 9575 WITH SCORE 9820.306
AT ITER 4508 NEW BEST:: SOT 271727 SOS 245314 HAS SOPS 245314 HAS SOUS 9541 HAS SOUPS 9541 WITH SCORE 9786.314
AT ITER 4530 NEW BEST:: SOT 271405 SOS 244992 HAS SOPS 244992 HAS SOUS 9541 HAS SOUPS 9541 WITH SCORE 9785.992
AT ITER 4533 NEW BEST:: SOT 271361 SOS 244948 HAS SOPS 244948 HAS SOUS 9541 HAS SOUPS 9541 WITH SCORE 9785.948
AT ITER 4553 NEW BEST:: SOT 271540 SOS 245121 HAS SOPS 245121 HAS SOUS 9522 HAS SOUPS 9522 WITH SCORE 9767.121
AT ITER 4562 NEW BEST:: SOT 271350 SOS 244931 HAS SOPS 244931 HAS SOUS 9522 HAS SOUPS 9522 WITH SCORE 9766.931
AT ITER 4564 NEW BEST:: SOT 271778 SOS 245348 HAS SOPS 245348 HAS SOUS 9498 HAS SOUPS 9498 WITH SCORE 9743.348
AT ITER 4568 NEW BEST:: SOT 272042 SOS 245612 HAS SOPS 245612 HAS SOUS 9424 HAS SOUPS 9424 WITH SCORE 9669.612
AT ITER 4572 NEW BEST:: SOT 272002 SOS 245572 HAS SOPS 245572 HAS SOUS 9424 HAS SOUPS 9424 WITH SCORE 9669.572
AT ITER 4580 NEW BEST:: SOT 271951 SOS 235158 HAS SOPS 235158 HAS SOUS 9424 HAS SOUPS 9424 WITH SCORE 9659.158
AT ITER 4581 NEW BEST:: SOT 272328 SOS 235519 HAS SOPS 235519 HAS SOUS 9395 HAS SOUPS 9395 WITH SCORE 9630.519
AT ITER 4584 NEW BEST:: SOT 272325 SOS 235516 HAS SOPS 235516 HAS SOUS 9392 HAS SOUPS 9392 WITH SCORE 9627.516
AT ITER 4596 NEW BEST:: SOT 272682 SOS 235831 HAS SOPS 235831 HAS SOUS 9337 HAS SOUPS 9337 WITH SCORE 9572.831
AT ITER 4609 NEW BEST:: SOT 272542 SOS 235691 HAS SOPS 235691 HAS SOUS 9337 HAS SOUPS 9337 WITH SCORE 9572.691
AT ITER 4612 NEW BEST:: SOT 272416 SOS 235565 HAS SOPS 235565 HAS SOUS 9337 HAS SOUPS 9337 WITH SCORE 9572.565
AT ITER 4617 NEW BEST:: SOT 272370 SOS 235519 HAS SOPS 235519 HAS SOUS 9337 HAS SOUPS 9337 WITH SCORE 9572.519
AT ITER 4625 NEW BEST:: SOT 272324 SOS 235473 HAS SOPS 235473 HAS SOUS 9337 HAS SOUPS 9337 WITH SCORE 9572.473
AT ITER 4630 NEW BEST:: SOT 273087 SOS 236236 HAS SOPS 236236 HAS SOUS 9324 HAS SOUPS 9324 WITH SCORE 9560.236
AT ITER 4643 NEW BEST:: SOT 271306 SOS 234526 HAS SOPS 234526 HAS SOUS 7543 HAS SOUPS 7543 WITH SCORE 7777.526
AT ITER 4646 NEW BEST:: SOT 271570 SOS 234763 HAS SOPS 234763 HAS SOUS 7503 HAS SOUPS 7503 WITH SCORE 7737.763
AT ITER 4657 NEW BEST:: SOT 271400 SOS 234593 HAS SOPS 234593 HAS SOUS 7503 HAS SOUPS 7503 WITH SCORE 7737.593
AT ITER 4658 NEW BEST:: SOT 271330 SOS 234523 HAS SOPS 234523 HAS SOUS 7503 HAS SOUPS 7503 WITH SCORE 7737.523
AT ITER 4663 NEW BEST:: SOT 271106 SOS 234299 HAS SOPS 234299 HAS SOUS 7503 HAS SOUPS 7503 WITH SCORE 7737.299
AT ITER 4665 NEW BEST:: SOT 271100 SOS 234293 HAS SOPS 234293 HAS SOUS 7503 HAS SOUPS 7503 WITH SCORE 7737.293
AT ITER 4676 NEW BEST:: SOT 270768 SOS 233961 HAS SOPS 233961 HAS SOUS 7503 HAS SOUPS 7503 WITH SCORE 7736.961
AT ITER 4685 NEW BEST:: SOT 270636 SOS 233829 HAS SOPS 233829 HAS SOUS 7503 HAS SOUPS 7503 WITH SCORE 7736.829
AT ITER 4717 NEW BEST:: SOT 270530 SOS 233723 HAS SOPS 233723 HAS SOUS 7503 HAS SOUPS 7503 WITH SCORE 7736.723
AT ITER 4741 NEW BEST:: SOT 270234 SOS 233427 HAS SOPS 233427 HAS SOUS 7503 HAS SOUPS 7503 WITH SCORE 7736.427
AT ITER 4754 NEW BEST:: SOT 270165 SOS 233386 HAS SOPS 233386 HAS SOUS 7488 HAS SOUPS 7488 WITH SCORE 7721.386
AT ITER 4770 NEW BEST:: SOT 270540 SOS 233725 HAS SOPS 233725 HAS SOUS 7439 HAS SOUPS 7439 WITH SCORE 7672.725
AT ITER 4792 NEW BEST:: SOT 270440 SOS 233625 HAS SOPS 233625 HAS SOUS 7439 HAS SOUPS 7439 WITH SCORE 7672.625
AT ITER 4794 NEW BEST:: SOT 270074 SOS 233259 HAS SOPS 233259 HAS SOUS 7439 HAS SOUPS 7439 WITH SCORE 7672.259
AT ITER 4821 NEW BEST:: SOT 269748 SOS 232933 HAS SOPS 232933 HAS SOUS 7439 HAS SOUPS 7439 WITH SCORE 7671.933
AT ITER 4830 NEW BEST:: SOT 269750 SOS 232637 HAS SOPS 232637 HAS SOUS 7438 HAS SOUPS 7438 WITH SCORE 7670.637
AT ITER 4845 NEW BEST:: SOT 269612 SOS 232499 HAS SOPS 232499 HAS SOUS 7438 HAS SOUPS 7438 WITH SCORE 7670.499
AT ITER 4869 NEW BEST:: SOT 269336 SOS 242278 HAS SOPS 242278 HAS SOUS 7274 HAS SOUPS 7274 WITH SCORE 7516.278
AT ITER 4883 NEW BEST:: SOT 269696 SOS 242638 HAS SOPS 242638 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7496.638
AT ITER 4889 NEW BEST:: SOT 269532 SOS 242474 HAS SOPS 242474 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7496.474
AT ITER 4898 NEW BEST:: SOT 269458 SOS 242400 HAS SOPS 242400 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7496.4
AT ITER 4899 NEW BEST:: SOT 269344 SOS 242286 HAS SOPS 242286 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7496.286
AT ITER 4939 NEW BEST:: SOT 269713 SOS 242655 HAS SOPS 242655 HAS SOUS 7229 HAS SOUPS 7229 WITH SCORE 7471.655
AT ITER 4966 NEW BEST:: SOT 269499 SOS 242441 HAS SOPS 242441 HAS SOUS 7229 HAS SOUPS 7229 WITH SCORE 7471.441
AT ITER 4967 NEW BEST:: SOT 269515 SOS 242448 HAS SOPS 242448 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7451.448
AT ITER 4968 NEW BEST:: SOT 269353 SOS 242286 HAS SOPS 242286 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7451.286
AT ITER 4969 NEW BEST:: SOT 268659 SOS 241592 HAS SOPS 241592 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7450.592
AT ITER 4983 NEW BEST:: SOT 268547 SOS 241480 HAS SOPS 241480 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7450.48
AT ITER 4987 NEW BEST:: SOT 268049 SOS 240982 HAS SOPS 240982 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7449.982
AT ITER 4990 NEW BEST:: SOT 267449 SOS 240382 HAS SOPS 240382 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7449.382
AT ITER 4995 NEW BEST:: SOT 266951 SOS 239884 HAS SOPS 239884 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7448.884
AT ITER 5029 NEW BEST:: SOT 266673 SOS 239606 HAS SOPS 239606 HAS SOUS 7203 HAS SOUPS 7203 WITH SCORE 7442.606
AT ITER 5040 NEW BEST:: SOT 266531 SOS 239464 HAS SOPS 239464 HAS SOUS 7203 HAS SOUPS 7203 WITH SCORE 7442.464
AT ITER 5081 NEW BEST:: SOT 266367 SOS 239300 HAS SOPS 239300 HAS SOUS 7203 HAS SOUPS 7203 WITH SCORE 7442.3
AT ITER 5082 NEW BEST:: SOT 266667 SOS 239600 HAS SOPS 239600 HAS SOUS 7171 HAS SOUPS 7171 WITH SCORE 7410.6
AT ITER 5101 NEW BEST:: SOT 265931 SOS 238864 HAS SOPS 238864 HAS SOUS 7171 HAS SOUPS 7171 WITH SCORE 7409.864
AT ITER 5102 NEW BEST:: SOT 265699 SOS 238632 HAS SOPS 238632 HAS SOUS 7171 HAS SOUPS 7171 WITH SCORE 7409.632
AT ITER 5113 NEW BEST:: SOT 265543 SOS 238476 HAS SOPS 238476 HAS SOUS 7171 HAS SOUPS 7171 WITH SCORE 7409.476
AT ITER 5115 NEW BEST:: SOT 265517 SOS 238450 HAS SOPS 238450 HAS SOUS 7171 HAS SOUPS 7171 WITH SCORE 7409.45
AT ITER 5119 NEW BEST:: SOT 265513 SOS 238446 HAS SOPS 238446 HAS SOUS 7171 HAS SOUPS 7171 WITH SCORE 7409.446
AT ITER 5121 NEW BEST:: SOT 265479 SOS 238412 HAS SOPS 238412 HAS SOUS 7137 HAS SOUPS 7137 WITH SCORE 7375.412
AT ITER 5160 NEW BEST:: SOT 265145 SOS 238078 HAS SOPS 238078 HAS SOUS 7137 HAS SOUPS 7137 WITH SCORE 7375.078
AT ITER 5169 NEW BEST:: SOT 264765 SOS 237698 HAS SOPS 237698 HAS SOUS 7137 HAS SOUPS 7137 WITH SCORE 7374.698
AT ITER 5170 NEW BEST:: SOT 264765 SOS 237698 HAS SOPS 237698 HAS SOUS 7114 HAS SOUPS 7114 WITH SCORE 7351.698
AT ITER 5190 NEW BEST:: SOT 264733 SOS 237666 HAS SOPS 237666 HAS SOUS 7114 HAS SOUPS 7114 WITH SCORE 7351.666
AT ITER 5191 NEW BEST:: SOT 264733 SOS 237666 HAS SOPS 237666 HAS SOUS 7091 HAS SOUPS 7091 WITH SCORE 7328.666
AT ITER 5201 NEW BEST:: SOT 264647 SOS 237580 HAS SOPS 237580 HAS SOUS 7091 HAS SOUPS 7091 WITH SCORE 7328.58
AT ITER 5225 NEW BEST:: SOT 264630 SOS 237563 HAS SOPS 237563 HAS SOUS 7074 HAS SOUPS 7074 WITH SCORE 7311.563
AT ITER 5255 NEW BEST:: SOT 264174 SOS 237107 HAS SOPS 237107 HAS SOUS 7074 HAS SOUPS 7074 WITH SCORE 7311.107
AT ITER 5274 NEW BEST:: SOT 264174 SOS 237059 HAS SOPS 237059 HAS SOUS 7050 HAS SOUPS 7050 WITH SCORE 7287.059
AT ITER 5292 NEW BEST:: SOT 264054 SOS 236939 HAS SOPS 236939 HAS SOUS 7050 HAS SOUPS 7050 WITH SCORE 7286.939
AT ITER 5297 NEW BEST:: SOT 263764 SOS 236649 HAS SOPS 236649 HAS SOUS 7050 HAS SOUPS 7050 WITH SCORE 7286.649
AT ITER 5306 NEW BEST:: SOT 263600 SOS 236485 HAS SOPS 236485 HAS SOUS 7050 HAS SOUPS 7050 WITH SCORE 7286.485
AT ITER 5318 NEW BEST:: SOT 263838 SOS 236723 HAS SOPS 236723 HAS SOUS 7012 HAS SOUPS 7012 WITH SCORE 7248.723
AT ITER 5347 NEW BEST:: SOT 263602 SOS 236487 HAS SOPS 236487 HAS SOUS 7012 HAS SOUPS 7012 WITH SCORE 7248.487
AT ITER 5350 NEW BEST:: SOT 263560 SOS 236445 HAS SOPS 236445 HAS SOUS 7012 HAS SOUPS 7012 WITH SCORE 7248.445
AT ITER 5352 NEW BEST:: SOT 263560 SOS 236445 HAS SOPS 236445 HAS SOUS 6952 HAS SOUPS 6952 WITH SCORE 7188.445
AT ITER 5367 NEW BEST:: SOT 263280 SOS 236165 HAS SOPS 236165 HAS SOUS 6952 HAS SOUPS 6952 WITH SCORE 7188.165
AT ITER 5370 NEW BEST:: SOT 263221 SOS 238917 HAS SOPS 238917 HAS SOUS 6893 HAS SOUPS 6893 WITH SCORE 7131.917
AT ITER 5390 NEW BEST:: SOT 263189 SOS 238885 HAS SOPS 238885 HAS SOUS 6893 HAS SOUPS 6893 WITH SCORE 7131.885
AT ITER 5393 NEW BEST:: SOT 263133 SOS 238829 HAS SOPS 238829 HAS SOUS 6893 HAS SOUPS 6893 WITH SCORE 7131.829
AT ITER 5415 NEW BEST:: SOT 262987 SOS 238683 HAS SOPS 238683 HAS SOUS 6893 HAS SOUPS 6893 WITH SCORE 7131.683
AT ITER 5432 NEW BEST:: SOT 262957 SOS 238653 HAS SOPS 238653 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 7101.653
AT ITER 5433 NEW BEST:: SOT 262885 SOS 238581 HAS SOPS 238581 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 7101.581
AT ITER 5438 NEW BEST:: SOT 262247 SOS 237943 HAS SOPS 237943 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 7100.943
AT ITER 5451 NEW BEST:: SOT 262643 SOS 238339 HAS SOPS 238339 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 7079.339
AT ITER 5455 NEW BEST:: SOT 262419 SOS 238115 HAS SOPS 238115 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 7079.115
AT ITER 5462 NEW BEST:: SOT 262373 SOS 238069 HAS SOPS 238069 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 7079.069
AT ITER 5463 NEW BEST:: SOT 262410 SOS 238106 HAS SOPS 238106 HAS SOUS 6826 HAS SOUPS 6826 WITH SCORE 7064.106
AT ITER 5470 NEW BEST:: SOT 262166 SOS 237862 HAS SOPS 237862 HAS SOUS 6826 HAS SOUPS 6826 WITH SCORE 7063.862
AT ITER 5486 NEW BEST:: SOT 262088 SOS 237784 HAS SOPS 237784 HAS SOUS 6826 HAS SOUPS 6826 WITH SCORE 7063.784
AT ITER 5501 NEW BEST:: SOT 261820 SOS 237516 HAS SOPS 237516 HAS SOUS 6826 HAS SOUPS 6826 WITH SCORE 7063.516
AT ITER 5506 NEW BEST:: SOT 261812 SOS 237508 HAS SOPS 237508 HAS SOUS 6818 HAS SOUPS 6818 WITH SCORE 7055.508
AT ITER 5508 NEW BEST:: SOT 261802 SOS 237498 HAS SOPS 237498 HAS SOUS 6818 HAS SOUPS 6818 WITH SCORE 7055.498
AT ITER 5558 NEW BEST:: SOT 261794 SOS 237490 HAS SOPS 237490 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 7047.49
AT ITER 5576 NEW BEST:: SOT 261788 SOS 237484 HAS SOPS 237484 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 7047.484
AT ITER 5581 NEW BEST:: SOT 260968 SOS 236664 HAS SOPS 236664 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 7046.664
AT ITER 5582 NEW BEST:: SOT 261141 SOS 236837 HAS SOPS 236837 HAS SOUS 6801 HAS SOUPS 6801 WITH SCORE 7037.837
AT ITER 5589 NEW BEST:: SOT 261151 SOS 236847 HAS SOPS 236847 HAS SOUS 6791 HAS SOUPS 6791 WITH SCORE 7027.847
AT ITER 5619 NEW BEST:: SOT 260781 SOS 236477 HAS SOPS 236477 HAS SOUS 6791 HAS SOUPS 6791 WITH SCORE 7027.477
AT ITER 5626 NEW BEST:: SOT 260657 SOS 236353 HAS SOPS 236353 HAS SOUS 6791 HAS SOUPS 6791 WITH SCORE 7027.353
AT ITER 5628 NEW BEST:: SOT 260623 SOS 236319 HAS SOPS 236319 HAS SOUS 6769 HAS SOUPS 6769 WITH SCORE 7005.319
AT ITER 5639 NEW BEST:: SOT 260611 SOS 236307 HAS SOPS 236307 HAS SOUS 6769 HAS SOUPS 6769 WITH SCORE 7005.307
AT ITER 5640 NEW BEST:: SOT 260205 SOS 235901 HAS SOPS 235901 HAS SOUS 6769 HAS SOUPS 6769 WITH SCORE 7004.901
AT ITER 5645 NEW BEST:: SOT 260093 SOS 235789 HAS SOPS 235789 HAS SOUS 6769 HAS SOUPS 6769 WITH SCORE 7004.789
AT ITER 5656 NEW BEST:: SOT 260209 SOS 235905 HAS SOPS 235905 HAS SOUS 6753 HAS SOUPS 6753 WITH SCORE 6988.905
AT ITER 5672 NEW BEST:: SOT 259751 SOS 235447 HAS SOPS 235447 HAS SOUS 6753 HAS SOUPS 6753 WITH SCORE 6988.447
AT ITER 5673 NEW BEST:: SOT 259515 SOS 235211 HAS SOPS 235211 HAS SOUS 6753 HAS SOUPS 6753 WITH SCORE 6988.211
AT ITER 5685 NEW BEST:: SOT 259293 SOS 234989 HAS SOPS 234989 HAS SOUS 6753 HAS SOUPS 6753 WITH SCORE 6987.989
AT ITER 5686 NEW BEST:: SOT 259057 SOS 234753 HAS SOPS 234753 HAS SOUS 6753 HAS SOUPS 6753 WITH SCORE 6987.753
AT ITER 5707 NEW BEST:: SOT 259039 SOS 234735 HAS SOPS 234735 HAS SOUS 6753 HAS SOUPS 6753 WITH SCORE 6987.735
AT ITER 5714 NEW BEST:: SOT 258805 SOS 234501 HAS SOPS 234501 HAS SOUS 6753 HAS SOUPS 6753 WITH SCORE 6987.501
AT ITER 5721 NEW BEST:: SOT 258713 SOS 234409 HAS SOPS 234409 HAS SOUS 6753 HAS SOUPS 6753 WITH SCORE 6987.409
AT ITER 5732 NEW BEST:: SOT 258713 SOS 234409 HAS SOPS 234409 HAS SOUS 6731 HAS SOUPS 6731 WITH SCORE 6965.409
AT ITER 5746 NEW BEST:: SOT 257889 SOS 233585 HAS SOPS 233585 HAS SOUS 6731 HAS SOUPS 6731 WITH SCORE 6964.585
AT ITER 5795 NEW BEST:: SOT 257877 SOS 233573 HAS SOPS 233573 HAS SOUS 6731 HAS SOUPS 6731 WITH SCORE 6964.573
AT ITER 5816 NEW BEST:: SOT 258292 SOS 233988 HAS SOPS 233988 HAS SOUS 6730 HAS SOUPS 6730 WITH SCORE 6963.988
AT ITER 5817 NEW BEST:: SOT 258216 SOS 233912 HAS SOPS 233912 HAS SOUS 6730 HAS SOUPS 6730 WITH SCORE 6963.912
AT ITER 5818 NEW BEST:: SOT 258209 SOS 233905 HAS SOPS 233905 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6956.905
AT ITER 5852 NEW BEST:: SOT 257891 SOS 233587 HAS SOPS 233587 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6956.587
AT ITER 5861 NEW BEST:: SOT 257771 SOS 233467 HAS SOPS 233467 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6956.467
AT ITER 5910 NEW BEST:: SOT 257561 SOS 233257 HAS SOPS 233257 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6956.257
AT ITER 5916 NEW BEST:: SOT 257491 SOS 233187 HAS SOPS 233187 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6956.187
AT ITER 5918 NEW BEST:: SOT 257339 SOS 233035 HAS SOPS 233035 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6956.035
AT ITER 5937 NEW BEST:: SOT 257137 SOS 232833 HAS SOPS 232833 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6955.833
AT ITER 5958 NEW BEST:: SOT 256927 SOS 232623 HAS SOPS 232623 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6955.623
AT ITER 5959 NEW BEST:: SOT 256783 SOS 232479 HAS SOPS 232479 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6955.479
AT ITER 5974 NEW BEST:: SOT 256589 SOS 232285 HAS SOPS 232285 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6955.285
AT ITER 5977 NEW BEST:: SOT 256401 SOS 232097 HAS SOPS 232097 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6955.097
AT ITER 5980 NEW BEST:: SOT 256069 SOS 231765 HAS SOPS 231765 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6954.765
AT ITER 5988 NEW BEST:: SOT 256007 SOS 231703 HAS SOPS 231703 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6954.703
AT ITER 6004 NEW BEST:: SOT 255699 SOS 231395 HAS SOPS 231395 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6954.395
AT ITER 6034 NEW BEST:: SOT 255573 SOS 231269 HAS SOPS 231269 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6954.269
AT ITER 6079 NEW BEST:: SOT 255563 SOS 231259 HAS SOPS 231259 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6954.259
AT ITER 6085 NEW BEST:: SOT 255397 SOS 231093 HAS SOPS 231093 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6954.093
AT ITER 6091 NEW BEST:: SOT 256124 SOS 231820 HAS SOPS 231820 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6940.82
AT ITER 6094 NEW BEST:: SOT 255784 SOS 231480 HAS SOPS 231480 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6940.48
AT ITER 6100 NEW BEST:: SOT 255560 SOS 231256 HAS SOPS 231256 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6940.256
AT ITER 6108 NEW BEST:: SOT 255172 SOS 230868 HAS SOPS 230868 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6939.868
AT ITER 6121 NEW BEST:: SOT 254594 SOS 230290 HAS SOPS 230290 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6939.29
AT ITER 6122 NEW BEST:: SOT 254256 SOS 229952 HAS SOPS 229952 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6938.952
AT ITER 6123 NEW BEST:: SOT 254126 SOS 229822 HAS SOPS 229822 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6938.822
AT ITER 6132 NEW BEST:: SOT 253824 SOS 229520 HAS SOPS 229520 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6938.52
AT ITER 6134 NEW BEST:: SOT 253674 SOS 229370 HAS SOPS 229370 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6938.37
AT ITER 6176 NEW BEST:: SOT 253198 SOS 228894 HAS SOPS 228894 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6937.894
AT ITER 6222 NEW BEST:: SOT 252890 SOS 228586 HAS SOPS 228586 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6937.586
AT ITER 6227 NEW BEST:: SOT 252610 SOS 228306 HAS SOPS 228306 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6937.306
AT ITER 6259 NEW BEST:: SOT 252384 SOS 228080 HAS SOPS 228080 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6937.08
AT ITER 6280 NEW BEST:: SOT 252030 SOS 227726 HAS SOPS 227726 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6936.726
AT ITER 6282 NEW BEST:: SOT 251790 SOS 227486 HAS SOPS 227486 HAS SOUS 6635 HAS SOUPS 6635 WITH SCORE 6862.486
AT ITER 6288 NEW BEST:: SOT 251790 SOS 227486 HAS SOPS 227486 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6812.486
AT ITER 6292 NEW BEST:: SOT 251570 SOS 227266 HAS SOPS 227266 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6812.266
AT ITER 6295 NEW BEST:: SOT 251394 SOS 227090 HAS SOPS 227090 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6812.09
AT ITER 6297 NEW BEST:: SOT 251146 SOS 226842 HAS SOPS 226842 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6811.842
AT ITER 6298 NEW BEST:: SOT 250874 SOS 226570 HAS SOPS 226570 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6811.57
AT ITER 6315 NEW BEST:: SOT 250854 SOS 226550 HAS SOPS 226550 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6811.55
AT ITER 6320 NEW BEST:: SOT 250462 SOS 226158 HAS SOPS 226158 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6811.158
AT ITER 6332 NEW BEST:: SOT 249728 SOS 225424 HAS SOPS 225424 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6810.424
AT ITER 6334 NEW BEST:: SOT 249696 SOS 225392 HAS SOPS 225392 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6810.392
AT ITER 6341 NEW BEST:: SOT 249520 SOS 225216 HAS SOPS 225216 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6810.216
AT ITER 6347 NEW BEST:: SOT 249372 SOS 225068 HAS SOPS 225068 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6810.068
AT ITER 6351 NEW BEST:: SOT 249190 SOS 224886 HAS SOPS 224886 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6809.886
AT ITER 6353 NEW BEST:: SOT 248864 SOS 224560 HAS SOPS 224560 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6809.56
AT ITER 6354 NEW BEST:: SOT 248724 SOS 224420 HAS SOPS 224420 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6809.42
AT ITER 6372 NEW BEST:: SOT 248672 SOS 224368 HAS SOPS 224368 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6809.368
AT ITER 6377 NEW BEST:: SOT 248667 SOS 224363 HAS SOPS 224363 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6804.363
AT ITER 6379 NEW BEST:: SOT 248493 SOS 224189 HAS SOPS 224189 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6804.189
AT ITER 6380 NEW BEST:: SOT 248407 SOS 224103 HAS SOPS 224103 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6804.103
AT ITER 6407 NEW BEST:: SOT 248375 SOS 224071 HAS SOPS 224071 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6804.071
AT ITER 6411 NEW BEST:: SOT 247915 SOS 223611 HAS SOPS 223611 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6803.611
AT ITER 6417 NEW BEST:: SOT 247305 SOS 223001 HAS SOPS 223001 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6803.001
AT ITER 6426 NEW BEST:: SOT 247185 SOS 222881 HAS SOPS 222881 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6802.881
AT ITER 6467 NEW BEST:: SOT 246883 SOS 222579 HAS SOPS 222579 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6802.579
AT ITER 6469 NEW BEST:: SOT 246833 SOS 222529 HAS SOPS 222529 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6802.529
AT ITER 6476 NEW BEST:: SOT 246833 SOS 222497 HAS SOPS 222497 HAS SOUS 6564 HAS SOUPS 6564 WITH SCORE 6786.497
AT ITER 6480 NEW BEST:: SOT 246833 SOS 222497 HAS SOPS 222497 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6750.497
AT ITER 6506 NEW BEST:: SOT 246769 SOS 222433 HAS SOPS 222433 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6750.433
AT ITER 6508 NEW BEST:: SOT 246309 SOS 221973 HAS SOPS 221973 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6749.973
AT ITER 6510 NEW BEST:: SOT 246259 SOS 221923 HAS SOPS 221923 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6749.923
AT ITER 6513 NEW BEST:: SOT 246153 SOS 221817 HAS SOPS 221817 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6749.817
AT ITER 6518 NEW BEST:: SOT 245917 SOS 221581 HAS SOPS 221581 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6749.581
AT ITER 6528 NEW BEST:: SOT 245803 SOS 221467 HAS SOPS 221467 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6749.467
AT ITER 6558 NEW BEST:: SOT 245391 SOS 221055 HAS SOPS 221055 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6749.055
AT ITER 6564 NEW BEST:: SOT 244981 SOS 220645 HAS SOPS 220645 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6748.645
AT ITER 6572 NEW BEST:: SOT 244975 SOS 220639 HAS SOPS 220639 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6748.639
AT ITER 6575 NEW BEST:: SOT 244619 SOS 220283 HAS SOPS 220283 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6748.283
AT ITER 6581 NEW BEST:: SOT 244555 SOS 220219 HAS SOPS 220219 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6748.219
AT ITER 6597 NEW BEST:: SOT 244123 SOS 219787 HAS SOPS 219787 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6747.787
AT ITER 6610 NEW BEST:: SOT 244135 SOS 219799 HAS SOPS 219799 HAS SOUS 6504 HAS SOUPS 6504 WITH SCORE 6723.799
AT ITER 6631 NEW BEST:: SOT 243943 SOS 219607 HAS SOPS 219607 HAS SOUS 6504 HAS SOUPS 6504 WITH SCORE 6723.607
AT ITER 6648 NEW BEST:: SOT 243513 SOS 219177 HAS SOPS 219177 HAS SOUS 6504 HAS SOUPS 6504 WITH SCORE 6723.177
AT ITER 6654 NEW BEST:: SOT 242967 SOS 218631 HAS SOPS 218631 HAS SOUS 6504 HAS SOUPS 6504 WITH SCORE 6722.631
AT ITER 6667 NEW BEST:: SOT 242851 SOS 218515 HAS SOPS 218515 HAS SOUS 6504 HAS SOUPS 6504 WITH SCORE 6722.515
AT ITER 6674 NEW BEST:: SOT 242713 SOS 218377 HAS SOPS 218377 HAS SOUS 6504 HAS SOUPS 6504 WITH SCORE 6722.377
AT ITER 6741 NEW BEST:: SOT 242261 SOS 217925 HAS SOPS 217925 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6667.925
AT ITER 6742 NEW BEST:: SOT 242171 SOS 217835 HAS SOPS 217835 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6667.835
AT ITER 6752 NEW BEST:: SOT 242163 SOS 217827 HAS SOPS 217827 HAS SOUS 6442 HAS SOUPS 6442 WITH SCORE 6659.827
AT ITER 6806 NEW BEST:: SOT 242117 SOS 217781 HAS SOPS 217781 HAS SOUS 6442 HAS SOUPS 6442 WITH SCORE 6659.781
AT ITER 6824 NEW BEST:: SOT 242085 SOS 217749 HAS SOPS 217749 HAS SOUS 6426 HAS SOUPS 6426 WITH SCORE 6643.749
AT ITER 6833 NEW BEST:: SOT 241945 SOS 217609 HAS SOPS 217609 HAS SOUS 6426 HAS SOUPS 6426 WITH SCORE 6643.609
AT ITER 6851 NEW BEST:: SOT 241707 SOS 217371 HAS SOPS 217371 HAS SOUS 6426 HAS SOUPS 6426 WITH SCORE 6643.371
AT ITER 6909 NEW BEST:: SOT 240921 SOS 216585 HAS SOPS 216585 HAS SOUS 6426 HAS SOUPS 6426 WITH SCORE 6642.585
AT ITER 6955 NEW BEST:: SOT 240835 SOS 216499 HAS SOPS 216499 HAS SOUS 6426 HAS SOUPS 6426 WITH SCORE 6642.499
AT ITER 6995 NEW BEST:: SOT 240827 SOS 216491 HAS SOPS 216491 HAS SOUS 6418 HAS SOUPS 6418 WITH SCORE 6634.491
AT ITER 7049 NEW BEST:: SOT 240726 SOS 220290 HAS SOPS 220290 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6537.29
AT ITER 7068 NEW BEST:: SOT 240600 SOS 220164 HAS SOPS 220164 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6537.164
AT ITER 7076 NEW BEST:: SOT 240586 SOS 220150 HAS SOPS 220150 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6537.15
AT ITER 7099 NEW BEST:: SOT 240524 SOS 220088 HAS SOPS 220088 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6537.088
AT ITER 7106 NEW BEST:: SOT 240340 SOS 219904 HAS SOPS 219904 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6536.904
AT ITER 7112 NEW BEST:: SOT 240188 SOS 219752 HAS SOPS 219752 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6536.752
AT ITER 7146 NEW BEST:: SOT 240116 SOS 219680 HAS SOPS 219680 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6536.68
AT ITER 7159 NEW BEST:: SOT 239896 SOS 219460 HAS SOPS 219460 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6536.46
AT ITER 7168 NEW BEST:: SOT 239694 SOS 219258 HAS SOPS 219258 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6536.258
AT ITER 7184 NEW BEST:: SOT 239442 SOS 219006 HAS SOPS 219006 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6536.006
AT ITER 7200 NEW BEST:: SOT 239198 SOS 218762 HAS SOPS 218762 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6535.762
AT ITER 7210 NEW BEST:: SOT 239024 SOS 218588 HAS SOPS 218588 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6535.588
AT ITER 7212 NEW BEST:: SOT 239000 SOS 218564 HAS SOPS 218564 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6535.564
AT ITER 7217 NEW BEST:: SOT 238888 SOS 218452 HAS SOPS 218452 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6535.452
AT ITER 7237 NEW BEST:: SOT 238884 SOS 218448 HAS SOPS 218448 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6535.448
AT ITER 7247 NEW BEST:: SOT 238718 SOS 218282 HAS SOPS 218282 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6535.282
AT ITER 7251 NEW BEST:: SOT 238666 SOS 218230 HAS SOPS 218230 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6535.23
AT ITER 7258 NEW BEST:: SOT 238652 SOS 218216 HAS SOPS 218216 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6535.216
AT ITER 7277 NEW BEST:: SOT 238568 SOS 218132 HAS SOPS 218132 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6535.132
AT ITER 7283 NEW BEST:: SOT 238352 SOS 217916 HAS SOPS 217916 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6534.916
AT ITER 7302 NEW BEST:: SOT 238118 SOS 217682 HAS SOPS 217682 HAS SOUS 6277 HAS SOUPS 6277 WITH SCORE 6494.682
AT ITER 7329 NEW BEST:: SOT 237908 SOS 217472 HAS SOPS 217472 HAS SOUS 6265 HAS SOUPS 6265 WITH SCORE 6482.472
AT ITER 7368 NEW BEST:: SOT 237908 SOS 217472 HAS SOPS 217472 HAS SOUS 6259 HAS SOUPS 6259 WITH SCORE 6476.472
AT ITER 7375 NEW BEST:: SOT 237690 SOS 217254 HAS SOPS 217254 HAS SOUS 6259 HAS SOUPS 6259 WITH SCORE 6476.254
AT ITER 7403 NEW BEST:: SOT 237670 SOS 217234 HAS SOPS 217234 HAS SOUS 6259 HAS SOUPS 6259 WITH SCORE 6476.234
AT ITER 7405 NEW BEST:: SOT 237641 SOS 217205 HAS SOPS 217205 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6447.205
AT ITER 7407 NEW BEST:: SOT 237287 SOS 216851 HAS SOPS 216851 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6446.851
AT ITER 7408 NEW BEST:: SOT 237099 SOS 216663 HAS SOPS 216663 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6446.6630000000005
AT ITER 7425 NEW BEST:: SOT 237083 SOS 216647 HAS SOPS 216647 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6446.647
AT ITER 7441 NEW BEST:: SOT 236959 SOS 216523 HAS SOPS 216523 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6446.523
AT ITER 7451 NEW BEST:: SOT 236959 SOS 216523 HAS SOPS 216523 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6436.523
AT ITER 7456 NEW BEST:: SOT 236235 SOS 215799 HAS SOPS 215799 HAS SOUS 6186 HAS SOUPS 6186 WITH SCORE 6401.799
AT ITER 7459 NEW BEST:: SOT 236147 SOS 215711 HAS SOPS 215711 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6355.711
AT ITER 7463 NEW BEST:: SOT 235721 SOS 215285 HAS SOPS 215285 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6355.285
AT ITER 7498 NEW BEST:: SOT 234975 SOS 214539 HAS SOPS 214539 HAS SOUS 6120 HAS SOUPS 6120 WITH SCORE 6334.539
AT ITER 7534 NEW BEST:: SOT 234963 SOS 214527 HAS SOPS 214527 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6322.527
AT ITER 7546 NEW BEST:: SOT 234801 SOS 214365 HAS SOPS 214365 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6322.365
AT ITER 7550 NEW BEST:: SOT 234801 SOS 214365 HAS SOPS 214365 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6290.365
AT ITER 7575 NEW BEST:: SOT 234719 SOS 214283 HAS SOPS 214283 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6290.283
AT ITER 7578 NEW BEST:: SOT 234655 SOS 214219 HAS SOPS 214219 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6290.219
AT ITER 7586 NEW BEST:: SOT 234257 SOS 213821 HAS SOPS 213821 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6289.821
AT ITER 7599 NEW BEST:: SOT 233645 SOS 213209 HAS SOPS 213209 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6289.209
AT ITER 7611 NEW BEST:: SOT 233637 SOS 213201 HAS SOPS 213201 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6289.201
AT ITER 7619 NEW BEST:: SOT 233389 SOS 212953 HAS SOPS 212953 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6288.953
AT ITER 7632 NEW BEST:: SOT 233347 SOS 212911 HAS SOPS 212911 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6288.911
AT ITER 7654 NEW BEST:: SOT 233223 SOS 205411 HAS SOPS 205411 HAS SOUS 6026 HAS SOUPS 6026 WITH SCORE 6231.411
AT ITER 7657 NEW BEST:: SOT 232793 SOS 204981 HAS SOPS 204981 HAS SOUS 6026 HAS SOUPS 6026 WITH SCORE 6230.981
AT ITER 7679 NEW BEST:: SOT 232745 SOS 204933 HAS SOPS 204933 HAS SOUS 6026 HAS SOUPS 6026 WITH SCORE 6230.933
AT ITER 7681 NEW BEST:: SOT 232935 SOS 205121 HAS SOPS 205121 HAS SOUS 6020 HAS SOUPS 6020 WITH SCORE 6225.121
AT ITER 7713 NEW BEST:: SOT 232677 SOS 204863 HAS SOPS 204863 HAS SOUS 6020 HAS SOUPS 6020 WITH SCORE 6224.863
AT ITER 7738 NEW BEST:: SOT 232389 SOS 204575 HAS SOPS 204575 HAS SOUS 6020 HAS SOUPS 6020 WITH SCORE 6224.575
AT ITER 7764 NEW BEST:: SOT 232013 SOS 204199 HAS SOPS 204199 HAS SOUS 6020 HAS SOUPS 6020 WITH SCORE 6224.199
AT ITER 7771 NEW BEST:: SOT 232009 SOS 204191 HAS SOPS 204191 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6220.191
AT ITER 7772 NEW BEST:: SOT 231877 SOS 204059 HAS SOPS 204059 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6220.059
AT ITER 7784 NEW BEST:: SOT 231761 SOS 203943 HAS SOPS 203943 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6219.943
AT ITER 7794 NEW BEST:: SOT 231707 SOS 203889 HAS SOPS 203889 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6219.889
AT ITER 7808 NEW BEST:: SOT 231437 SOS 203619 HAS SOPS 203619 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6219.619
AT ITER 7820 NEW BEST:: SOT 231237 SOS 203419 HAS SOPS 203419 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6219.419
AT ITER 7841 NEW BEST:: SOT 231201 SOS 203383 HAS SOPS 203383 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6219.383
AT ITER 7869 NEW BEST:: SOT 230937 SOS 203119 HAS SOPS 203119 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6219.119
AT ITER 7872 NEW BEST:: SOT 230817 SOS 202999 HAS SOPS 202999 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6218.999
AT ITER 7887 NEW BEST:: SOT 230795 SOS 202977 HAS SOPS 202977 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6218.977
AT ITER 8003 NEW BEST:: SOT 230787 SOS 202949 HAS SOPS 202949 HAS SOUS 6008 HAS SOUPS 6008 WITH SCORE 6210.949
AT ITER 8009 NEW BEST:: SOT 230573 SOS 202735 HAS SOPS 202735 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 6164.735
AT ITER 8010 NEW BEST:: SOT 230469 SOS 202631 HAS SOPS 202631 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 6164.631
AT ITER 8023 NEW BEST:: SOT 230331 SOS 202493 HAS SOPS 202493 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 6164.493
AT ITER 8029 NEW BEST:: SOT 230167 SOS 202329 HAS SOPS 202329 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 6164.329
AT ITER 8035 NEW BEST:: SOT 229751 SOS 201913 HAS SOPS 201913 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 6163.9130000000005
AT ITER 8041 NEW BEST:: SOT 229229 SOS 201391 HAS SOPS 201391 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 6163.391
AT ITER 8046 NEW BEST:: SOT 228847 SOS 201009 HAS SOPS 201009 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 6163.009
AT ITER 8054 NEW BEST:: SOT 228617 SOS 200779 HAS SOPS 200779 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 6162.779
AT ITER 8061 NEW BEST:: SOT 228583 SOS 200745 HAS SOPS 200745 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 6162.745
AT ITER 8067 NEW BEST:: SOT 228583 SOS 200745 HAS SOPS 200745 HAS SOUS 5959 HAS SOUPS 5959 WITH SCORE 6159.745
AT ITER 8098 NEW BEST:: SOT 228559 SOS 200721 HAS SOPS 200721 HAS SOUS 5947 HAS SOUPS 5947 WITH SCORE 6147.721
AT ITER 8105 NEW BEST:: SOT 227901 SOS 200063 HAS SOPS 200063 HAS SOUS 5946 HAS SOUPS 5946 WITH SCORE 6146.063
AT ITER 8119 NEW BEST:: SOT 227901 SOS 199063 HAS SOPS 199063 HAS SOUS 5941 HAS SOUPS 5941 WITH SCORE 6140.063
AT ITER 8139 NEW BEST:: SOT 227757 SOS 198919 HAS SOPS 198919 HAS SOUS 5941 HAS SOUPS 5941 WITH SCORE 6139.919
AT ITER 8146 NEW BEST:: SOT 227289 SOS 198451 HAS SOPS 198451 HAS SOUS 5941 HAS SOUPS 5941 WITH SCORE 6139.451
AT ITER 8149 NEW BEST:: SOT 227161 SOS 198323 HAS SOPS 198323 HAS SOUS 5941 HAS SOUPS 5941 WITH SCORE 6139.323
AT ITER 8161 NEW BEST:: SOT 226627 SOS 197789 HAS SOPS 197789 HAS SOUS 5941 HAS SOUPS 5941 WITH SCORE 6138.789
AT ITER 8231 NEW BEST:: SOT 226563 SOS 197725 HAS SOPS 197725 HAS SOUS 5941 HAS SOUPS 5941 WITH SCORE 6138.725
AT ITER 8252 NEW BEST:: SOT 226445 SOS 197607 HAS SOPS 197607 HAS SOUS 5941 HAS SOUPS 5941 WITH SCORE 6138.607
AT ITER 8269 NEW BEST:: SOT 226433 SOS 197595 HAS SOPS 197595 HAS SOUS 5929 HAS SOUPS 5929 WITH SCORE 6126.595
AT ITER 8299 NEW BEST:: SOT 226397 SOS 197559 HAS SOPS 197559 HAS SOUS 5893 HAS SOUPS 5893 WITH SCORE 6090.559
AT ITER 8311 NEW BEST:: SOT 226379 SOS 197541 HAS SOPS 197541 HAS SOUS 5893 HAS SOUPS 5893 WITH SCORE 6090.541
AT ITER 8337 NEW BEST:: SOT 226145 SOS 197307 HAS SOPS 197307 HAS SOUS 5893 HAS SOUPS 5893 WITH SCORE 6090.307
AT ITER 8378 NEW BEST:: SOT 225997 SOS 197159 HAS SOPS 197159 HAS SOUS 5893 HAS SOUPS 5893 WITH SCORE 6090.159
AT ITER 8388 NEW BEST:: SOT 225997 SOS 197159 HAS SOPS 197159 HAS SOUS 5883 HAS SOUPS 5883 WITH SCORE 6080.159
AT ITER 8426 NEW BEST:: SOT 225891 SOS 197053 HAS SOPS 197053 HAS SOUS 5883 HAS SOUPS 5883 WITH SCORE 6080.053
AT ITER 8429 NEW BEST:: SOT 225885 SOS 197047 HAS SOPS 197047 HAS SOUS 5883 HAS SOUPS 5883 WITH SCORE 6080.047
AT ITER 8431 NEW BEST:: SOT 225821 SOS 196983 HAS SOPS 196983 HAS SOUS 5883 HAS SOUPS 5883 WITH SCORE 6079.983
AT ITER 8469 NEW BEST:: SOT 225751 SOS 196913 HAS SOPS 196913 HAS SOUS 5883 HAS SOUPS 5883 WITH SCORE 6079.9130000000005
AT ITER 8473 NEW BEST:: SOT 225687 SOS 196849 HAS SOPS 196849 HAS SOUS 5883 HAS SOUPS 5883 WITH SCORE 6079.849
AT ITER 8476 NEW BEST:: SOT 225533 SOS 196695 HAS SOPS 196695 HAS SOUS 5883 HAS SOUPS 5883 WITH SCORE 6079.695
AT ITER 8502 NEW BEST:: SOT 225231 SOS 196393 HAS SOPS 196393 HAS SOUS 5883 HAS SOUPS 5883 WITH SCORE 6079.393
AT ITER 8504 NEW BEST:: SOT 225318 SOS 196493 HAS SOPS 196493 HAS SOUS 5823 HAS SOUPS 5823 WITH SCORE 6019.493
AT ITER 8565 NEW BEST:: SOT 225200 SOS 196375 HAS SOPS 196375 HAS SOUS 5823 HAS SOUPS 5823 WITH SCORE 6019.375
AT ITER 8569 NEW BEST:: SOT 225014 SOS 196189 HAS SOPS 196189 HAS SOUS 5823 HAS SOUPS 5823 WITH SCORE 6019.189
AT ITER 8591 NEW BEST:: SOT 224722 SOS 195897 HAS SOPS 195897 HAS SOUS 5823 HAS SOUPS 5823 WITH SCORE 6018.897
AT ITER 8599 NEW BEST:: SOT 224722 SOS 195897 HAS SOPS 195897 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5982.897
AT ITER 8608 NEW BEST:: SOT 224718 SOS 195893 HAS SOPS 195893 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5982.893
AT ITER 8629 NEW BEST:: SOT 224300 SOS 195475 HAS SOPS 195475 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5982.475
AT ITER 8645 NEW BEST:: SOT 224176 SOS 195351 HAS SOPS 195351 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5982.351
AT ITER 8672 NEW BEST:: SOT 224112 SOS 195287 HAS SOPS 195287 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5982.287
AT ITER 8749 NEW BEST:: SOT 224106 SOS 195281 HAS SOPS 195281 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5982.281
AT ITER 8752 NEW BEST:: SOT 223902 SOS 195077 HAS SOPS 195077 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5973.077
AT ITER 8766 NEW BEST:: SOT 223640 SOS 194815 HAS SOPS 194815 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5972.815
AT ITER 8769 NEW BEST:: SOT 223624 SOS 194799 HAS SOPS 194799 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5972.799
AT ITER 8813 NEW BEST:: SOT 223586 SOS 194761 HAS SOPS 194761 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5972.761
AT ITER 8814 NEW BEST:: SOT 223554 SOS 194729 HAS SOPS 194729 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5972.729
AT ITER 8823 NEW BEST:: SOT 223504 SOS 194679 HAS SOPS 194679 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5972.679
AT ITER 8832 NEW BEST:: SOT 223260 SOS 194435 HAS SOPS 194435 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5972.435
AT ITER 8834 NEW BEST:: SOT 223248 SOS 194423 HAS SOPS 194423 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5972.423
AT ITER 8839 NEW BEST:: SOT 223194 SOS 194369 HAS SOPS 194369 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5972.369
AT ITER 8864 NEW BEST:: SOT 223012 SOS 194187 HAS SOPS 194187 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5972.187
AT ITER 8886 NEW BEST:: SOT 222904 SOS 194079 HAS SOPS 194079 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5972.079
AT ITER 8944 NEW BEST:: SOT 222738 SOS 193913 HAS SOPS 193913 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5971.9130000000005
AT ITER 8951 NEW BEST:: SOT 222700 SOS 193875 HAS SOPS 193875 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5971.875
AT ITER 8974 NEW BEST:: SOT 222588 SOS 193763 HAS SOPS 193763 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5971.763
AT ITER 8980 NEW BEST:: SOT 222254 SOS 193429 HAS SOPS 193429 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5971.429
AT ITER 8981 NEW BEST:: SOT 222220 SOS 193395 HAS SOPS 193395 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5971.395
AT ITER 8982 NEW BEST:: SOT 222150 SOS 193325 HAS SOPS 193325 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5971.325
AT ITER 9006 NEW BEST:: SOT 221872 SOS 193047 HAS SOPS 193047 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5971.047
AT ITER 9072 NEW BEST:: SOT 221644 SOS 192819 HAS SOPS 192819 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5970.819
AT ITER 9077 NEW BEST:: SOT 221220 SOS 192395 HAS SOPS 192395 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5970.395
AT ITER 9111 NEW BEST:: SOT 220886 SOS 192061 HAS SOPS 192061 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5970.061
AT ITER 9119 NEW BEST:: SOT 220516 SOS 191691 HAS SOPS 191691 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5969.691
AT ITER 9152 NEW BEST:: SOT 220508 SOS 191683 HAS SOPS 191683 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5969.683
AT ITER 9162 NEW BEST:: SOT 220414 SOS 191589 HAS SOPS 191589 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5969.589
AT ITER 9179 NEW BEST:: SOT 220328 SOS 191503 HAS SOPS 191503 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5969.503
AT ITER 9183 NEW BEST:: SOT 220288 SOS 191463 HAS SOPS 191463 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5969.463
AT ITER 9220 NEW BEST:: SOT 220206 SOS 191381 HAS SOPS 191381 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5969.381
AT ITER 9259 NEW BEST:: SOT 220044 SOS 191219 HAS SOPS 191219 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5969.219
AT ITER 9269 NEW BEST:: SOT 220022 SOS 191197 HAS SOPS 191197 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5969.197
AT ITER 9304 NEW BEST:: SOT 219450 SOS 190625 HAS SOPS 190625 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5968.625
AT ITER 9314 NEW BEST:: SOT 219450 SOS 190625 HAS SOPS 190625 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5965.625
AT ITER 9328 NEW BEST:: SOT 219346 SOS 190521 HAS SOPS 190521 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5965.521
AT ITER 9332 NEW BEST:: SOT 219206 SOS 190381 HAS SOPS 190381 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5965.381
AT ITER 9375 NEW BEST:: SOT 218966 SOS 190141 HAS SOPS 190141 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5965.141
AT ITER 9452 NEW BEST:: SOT 218966 SOS 190141 HAS SOPS 190141 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5961.141
AT ITER 9469 NEW BEST:: SOT 218926 SOS 190101 HAS SOPS 190101 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5961.101
AT ITER 9476 NEW BEST:: SOT 218700 SOS 189875 HAS SOPS 189875 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5960.875
AT ITER 9499 NEW BEST:: SOT 218628 SOS 189803 HAS SOPS 189803 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5960.803
AT ITER 9521 NEW BEST:: SOT 218614 SOS 189789 HAS SOPS 189789 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5960.789
AT ITER 9555 NEW BEST:: SOT 218314 SOS 189489 HAS SOPS 189489 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5960.489
AT ITER 9570 NEW BEST:: SOT 218244 SOS 189419 HAS SOPS 189419 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5960.419
AT ITER 9590 NEW BEST:: SOT 218240 SOS 189415 HAS SOPS 189415 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5960.415
AT ITER 9598 NEW BEST:: SOT 217916 SOS 189091 HAS SOPS 189091 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5960.091
AT ITER 9629 NEW BEST:: SOT 217380 SOS 188555 HAS SOPS 188555 HAS SOUS 5717 HAS SOUPS 5717 WITH SCORE 5905.555
AT ITER 9632 NEW BEST:: SOT 217316 SOS 188491 HAS SOPS 188491 HAS SOUS 5717 HAS SOUPS 5717 WITH SCORE 5905.491
AT ITER 9666 NEW BEST:: SOT 217316 SOS 188491 HAS SOPS 188491 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5886.491
AT ITER 9700 NEW BEST:: SOT 217256 SOS 188431 HAS SOPS 188431 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5886.431
AT ITER 9706 NEW BEST:: SOT 217162 SOS 188337 HAS SOPS 188337 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5886.337
AT ITER 9732 NEW BEST:: SOT 217158 SOS 188333 HAS SOPS 188333 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5886.333
AT ITER 9745 NEW BEST:: SOT 217130 SOS 188305 HAS SOPS 188305 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5886.305
AT ITER 9794 NEW BEST:: SOT 217078 SOS 188253 HAS SOPS 188253 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5886.253
AT ITER 9892 NEW BEST:: SOT 216750 SOS 187925 HAS SOPS 187925 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5885.925
AT ITER 9934 NEW BEST:: SOT 216604 SOS 187779 HAS SOPS 187779 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5859.779
AT ITER 9991 NEW BEST:: SOT 216150 SOS 187325 HAS SOPS 187325 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5859.325
AT ITER 9997 NEW BEST:: SOT 216230 SOS 187405 HAS SOPS 187405 HAS SOUS 5666 HAS SOUPS 5666 WITH SCORE 5853.405
STATE_SPACE STATES 34877423 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 308 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 155007424 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678472707175

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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