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

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

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678808506152

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=PolyORBNT-COL-S05J40
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 15:41:48] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 15:41:48] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 15:41:48] [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-14 15:41:49] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 15:41:49] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 880 ms
[2023-03-14 15:41:49] [INFO ] Imported 48 HL places and 38 HL transitions for a total of 669 PT places and 1712.0 transition bindings in 30 ms.
[2023-03-14 15:41:49] [INFO ] Unfolded HLPN to a Petri net with 669 places and 1630 transitions 10784 arcs in 90 ms.
[2023-03-14 15:41:49] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 40 places and 40 transitions.
Ensure Unique test removed 655 transitions
Reduce isomorphic transitions removed 655 transitions.
[2023-03-14 15:41:50] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 629 places, 935 transitions and 4899 arcs took 32 ms.
Total runtime 1331 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (COL), instance S05J40
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: 629 places, 935 transitions, 4899 arcs.
AT ITER 0 NEW BEST:: SOT 366765 SOS 213343 HAS SOPS 213308 HAS SOUS 172021 HAS SOUPS 172014 WITH SCORE 172227.343
AT ITER 11 NEW BEST:: SOT 366861 SOS 213343 HAS SOPS 213308 HAS SOUS 171880 HAS SOUPS 171873 WITH SCORE 172086.343
AT ITER 30 NEW BEST:: SOT 367017 SOS 213343 HAS SOPS 213308 HAS SOUS 171721 HAS SOUPS 171714 WITH SCORE 171927.343
AT ITER 40 NEW BEST:: SOT 366930 SOS 213169 HAS SOPS 213134 HAS SOUS 171634 HAS SOUPS 171627 WITH SCORE 171840.169
AT ITER 46 NEW BEST:: SOT 367023 SOS 212487 HAS SOPS 212452 HAS SOUS 171585 HAS SOUPS 171578 WITH SCORE 171790.487
AT ITER 55 NEW BEST:: SOT 366926 SOS 212482 HAS SOPS 212447 HAS SOUS 171580 HAS SOUPS 171573 WITH SCORE 171785.482
AT ITER 72 NEW BEST:: SOT 367091 SOS 212513 HAS SOPS 212478 HAS SOUS 171509 HAS SOUPS 171502 WITH SCORE 171714.513
AT ITER 79 NEW BEST:: SOT 367135 SOS 212549 HAS SOPS 212514 HAS SOUS 171457 HAS SOUPS 171450 WITH SCORE 171662.549
AT ITER 84 NEW BEST:: SOT 367055 SOS 212470 HAS SOPS 212435 HAS SOUS 171378 HAS SOUPS 171371 WITH SCORE 171583.47
AT ITER 86 NEW BEST:: SOT 367128 SOS 212491 HAS SOPS 212456 HAS SOUS 171275 HAS SOUPS 171268 WITH SCORE 171480.491
AT ITER 90 NEW BEST:: SOT 366986 SOS 212355 HAS SOPS 212320 HAS SOUS 171139 HAS SOUPS 171132 WITH SCORE 171344.355
AT ITER 91 NEW BEST:: SOT 367150 SOS 212386 HAS SOPS 212351 HAS SOUS 170941 HAS SOUPS 170934 WITH SCORE 171146.386
AT ITER 96 NEW BEST:: SOT 367057 SOS 212200 HAS SOPS 212165 HAS SOUS 170848 HAS SOUPS 170841 WITH SCORE 171053.2
AT ITER 97 NEW BEST:: SOT 367162 SOS 212253 HAS SOPS 212218 HAS SOUS 170723 HAS SOUPS 170716 WITH SCORE 170928.253
AT ITER 102 NEW BEST:: SOT 367162 SOS 212193 HAS SOPS 212158 HAS SOUS 170648 HAS SOUPS 170641 WITH SCORE 170853.193
AT ITER 111 NEW BEST:: SOT 367285 SOS 212264 HAS SOPS 212229 HAS SOUS 170534 HAS SOUPS 170527 WITH SCORE 170739.264
AT ITER 115 NEW BEST:: SOT 367174 SOS 212042 HAS SOPS 212007 HAS SOUS 170423 HAS SOUPS 170416 WITH SCORE 170628.042
AT ITER 125 NEW BEST:: SOT 366994 SOS 211923 HAS SOPS 211888 HAS SOUS 170302 HAS SOUPS 170295 WITH SCORE 170506.923
AT ITER 133 NEW BEST:: SOT 367095 SOS 211923 HAS SOPS 211888 HAS SOUS 170185 HAS SOUPS 170178 WITH SCORE 170389.923
AT ITER 141 NEW BEST:: SOT 367114 SOS 211737 HAS SOPS 211702 HAS SOUS 170084 HAS SOUPS 170077 WITH SCORE 170288.737
AT ITER 142 NEW BEST:: SOT 367294 SOS 211792 HAS SOPS 211757 HAS SOUS 169908 HAS SOUPS 169901 WITH SCORE 170112.792
AT ITER 147 NEW BEST:: SOT 367247 SOS 211380 HAS SOPS 211345 HAS SOUS 169660 HAS SOUPS 169653 WITH SCORE 169864.38
AT ITER 155 NEW BEST:: SOT 367240 SOS 213407 HAS SOPS 213372 HAS SOUS 169490 HAS SOUPS 169483 WITH SCORE 169696.407
AT ITER 164 NEW BEST:: SOT 366777 SOS 212944 HAS SOPS 212909 HAS SOUS 169027 HAS SOUPS 169020 WITH SCORE 169232.944
AT ITER 166 NEW BEST:: SOT 366715 SOS 212437 HAS SOPS 212402 HAS SOUS 168765 HAS SOUPS 168758 WITH SCORE 168970.437
AT ITER 180 NEW BEST:: SOT 366820 SOS 212529 HAS SOPS 212494 HAS SOUS 168723 HAS SOUPS 168716 WITH SCORE 168928.529
AT ITER 186 NEW BEST:: SOT 366644 SOS 212177 HAS SOPS 212142 HAS SOUS 168547 HAS SOUPS 168540 WITH SCORE 168752.177
AT ITER 188 NEW BEST:: SOT 366722 SOS 211644 HAS SOPS 211609 HAS SOUS 168425 HAS SOUPS 168418 WITH SCORE 168629.644
AT ITER 189 NEW BEST:: SOT 367106 SOS 211834 HAS SOPS 211799 HAS SOUS 168398 HAS SOUPS 168391 WITH SCORE 168602.834
AT ITER 190 NEW BEST:: SOT 367039 SOS 211248 HAS SOPS 211213 HAS SOUS 168219 HAS SOUPS 168212 WITH SCORE 168423.248
AT ITER 195 NEW BEST:: SOT 367186 SOS 211248 HAS SOPS 211213 HAS SOUS 168189 HAS SOUPS 168182 WITH SCORE 168393.248
AT ITER 203 NEW BEST:: SOT 367212 SOS 211293 HAS SOPS 211258 HAS SOUS 168182 HAS SOUPS 168175 WITH SCORE 168386.293
AT ITER 218 NEW BEST:: SOT 367319 SOS 211400 HAS SOPS 211365 HAS SOUS 168055 HAS SOUPS 168048 WITH SCORE 168259.4
AT ITER 233 NEW BEST:: SOT 367384 SOS 211465 HAS SOPS 211430 HAS SOUS 167953 HAS SOUPS 167946 WITH SCORE 168157.465
AT ITER 236 NEW BEST:: SOT 367384 SOS 211410 HAS SOPS 211375 HAS SOUS 167952 HAS SOUPS 167945 WITH SCORE 168156.41
AT ITER 241 NEW BEST:: SOT 367384 SOS 211367 HAS SOPS 211332 HAS SOUS 167952 HAS SOUPS 167945 WITH SCORE 168156.367
AT ITER 243 NEW BEST:: SOT 367451 SOS 211434 HAS SOPS 211399 HAS SOUS 167912 HAS SOUPS 167905 WITH SCORE 168116.434
AT ITER 245 NEW BEST:: SOT 367576 SOS 211559 HAS SOPS 211524 HAS SOUS 167789 HAS SOUPS 167782 WITH SCORE 167993.559
AT ITER 249 NEW BEST:: SOT 367576 SOS 211559 HAS SOPS 211524 HAS SOUS 167764 HAS SOUPS 167757 WITH SCORE 167968.559
AT ITER 255 NEW BEST:: SOT 367557 SOS 211562 HAS SOPS 211527 HAS SOUS 167706 HAS SOUPS 167699 WITH SCORE 167910.562
AT ITER 261 NEW BEST:: SOT 367680 SOS 211562 HAS SOPS 211527 HAS SOUS 167546 HAS SOUPS 167539 WITH SCORE 167750.562
AT ITER 267 NEW BEST:: SOT 367680 SOS 211562 HAS SOPS 211527 HAS SOUS 167466 HAS SOUPS 167459 WITH SCORE 167670.562
AT ITER 269 NEW BEST:: SOT 367679 SOS 211561 HAS SOPS 211526 HAS SOUS 167465 HAS SOUPS 167458 WITH SCORE 167669.561
AT ITER 297 NEW BEST:: SOT 367573 SOS 210453 HAS SOPS 210418 HAS SOUS 167263 HAS SOUPS 167256 WITH SCORE 167466.453
AT ITER 300 NEW BEST:: SOT 367644 SOS 210472 HAS SOPS 210437 HAS SOUS 167160 HAS SOUPS 167153 WITH SCORE 167363.472
AT ITER 306 NEW BEST:: SOT 367568 SOS 210320 HAS SOPS 210285 HAS SOUS 167084 HAS SOUPS 167077 WITH SCORE 167287.32
AT ITER 313 NEW BEST:: SOT 361113 SOS 260487 HAS SOPS 260452 HAS SOUS 161282 HAS SOUPS 161275 WITH SCORE 161535.487
AT ITER 327 NEW BEST:: SOT 361010 SOS 205533 HAS SOPS 205498 HAS SOUS 161255 HAS SOUPS 161248 WITH SCORE 161453.533
AT ITER 328 NEW BEST:: SOT 360950 SOS 204433 HAS SOPS 204398 HAS SOUS 161024 HAS SOUPS 161017 WITH SCORE 161221.433
AT ITER 341 NEW BEST:: SOT 360939 SOS 204422 HAS SOPS 204387 HAS SOUS 161024 HAS SOUPS 161017 WITH SCORE 161221.422
AT ITER 344 NEW BEST:: SOT 360832 SOS 204315 HAS SOPS 204280 HAS SOUS 161010 HAS SOUPS 161003 WITH SCORE 161207.315
AT ITER 353 NEW BEST:: SOT 360907 SOS 204334 HAS SOPS 204299 HAS SOUS 160834 HAS SOUPS 160827 WITH SCORE 161031.334
AT ITER 359 NEW BEST:: SOT 360855 SOS 203292 HAS SOPS 203257 HAS SOUS 159792 HAS SOUPS 159785 WITH SCORE 159988.292
AT ITER 364 NEW BEST:: SOT 360950 SOS 203387 HAS SOPS 203352 HAS SOUS 159042 HAS SOUPS 159035 WITH SCORE 159238.387
AT ITER 366 NEW BEST:: SOT 360885 SOS 203257 HAS SOPS 203222 HAS SOUS 158652 HAS SOUPS 158645 WITH SCORE 158848.257
AT ITER 368 NEW BEST:: SOT 360873 SOS 203245 HAS SOPS 203210 HAS SOUS 158640 HAS SOUPS 158633 WITH SCORE 158836.245
AT ITER 377 NEW BEST:: SOT 360845 SOS 203217 HAS SOPS 203182 HAS SOUS 158612 HAS SOUPS 158605 WITH SCORE 158808.217
AT ITER 394 NEW BEST:: SOT 360747 SOS 203196 HAS SOPS 203161 HAS SOUS 158591 HAS SOUPS 158584 WITH SCORE 158787.196
AT ITER 410 NEW BEST:: SOT 360678 SOS 203127 HAS SOPS 203092 HAS SOUS 158591 HAS SOUPS 158584 WITH SCORE 158787.127
AT ITER 418 NEW BEST:: SOT 360678 SOS 203127 HAS SOPS 203092 HAS SOUS 158577 HAS SOUPS 158570 WITH SCORE 158773.127
AT ITER 420 NEW BEST:: SOT 360776 SOS 203170 HAS SOPS 203135 HAS SOUS 158532 HAS SOUPS 158525 WITH SCORE 158728.17
AT ITER 430 NEW BEST:: SOT 360747 SOS 203141 HAS SOPS 203106 HAS SOUS 158503 HAS SOUPS 158496 WITH SCORE 158699.141
AT ITER 433 NEW BEST:: SOT 360707 SOS 202685 HAS SOPS 202650 HAS SOUS 158303 HAS SOUPS 158296 WITH SCORE 158498.685
AT ITER 436 NEW BEST:: SOT 360636 SOS 202678 HAS SOPS 202643 HAS SOUS 158292 HAS SOUPS 158285 WITH SCORE 158487.678
AT ITER 439 NEW BEST:: SOT 360796 SOS 202838 HAS SOPS 202803 HAS SOUS 158183 HAS SOUPS 158176 WITH SCORE 158378.838
AT ITER 453 NEW BEST:: SOT 360813 SOS 202855 HAS SOPS 202820 HAS SOUS 158158 HAS SOUPS 158151 WITH SCORE 158353.855
AT ITER 458 NEW BEST:: SOT 360924 SOS 202966 HAS SOPS 202931 HAS SOUS 158127 HAS SOUPS 158120 WITH SCORE 158322.966
AT ITER 464 NEW BEST:: SOT 360924 SOS 202928 HAS SOPS 202893 HAS SOUS 158096 HAS SOUPS 158089 WITH SCORE 158291.928
AT ITER 467 NEW BEST:: SOT 360898 SOS 202902 HAS SOPS 202867 HAS SOUS 158016 HAS SOUPS 158009 WITH SCORE 158211.902
AT ITER 472 NEW BEST:: SOT 360866 SOS 202893 HAS SOPS 202858 HAS SOUS 158003 HAS SOUPS 157996 WITH SCORE 158198.893
AT ITER 475 NEW BEST:: SOT 360866 SOS 202893 HAS SOPS 202858 HAS SOUS 157987 HAS SOUPS 157980 WITH SCORE 158182.893
AT ITER 476 NEW BEST:: SOT 360769 SOS 202166 HAS SOPS 202131 HAS SOUS 157315 HAS SOUPS 157308 WITH SCORE 157510.166
AT ITER 477 NEW BEST:: SOT 360710 SOS 201707 HAS SOPS 201672 HAS SOUS 157055 HAS SOUPS 157048 WITH SCORE 157249.707
AT ITER 479 NEW BEST:: SOT 360710 SOS 201707 HAS SOPS 201672 HAS SOUS 157010 HAS SOUPS 157003 WITH SCORE 157204.707
AT ITER 480 NEW BEST:: SOT 360545 SOS 201517 HAS SOPS 201482 HAS SOUS 156594 HAS SOUPS 156587 WITH SCORE 156788.517
AT ITER 516 NEW BEST:: SOT 360524 SOS 201496 HAS SOPS 201461 HAS SOUS 156579 HAS SOUPS 156572 WITH SCORE 156773.496
AT ITER 533 NEW BEST:: SOT 360603 SOS 201515 HAS SOPS 201480 HAS SOUS 156466 HAS SOUPS 156459 WITH SCORE 156660.515
AT ITER 545 NEW BEST:: SOT 360603 SOS 201515 HAS SOPS 201480 HAS SOUS 156462 HAS SOUPS 156455 WITH SCORE 156656.515
AT ITER 553 NEW BEST:: SOT 360556 SOS 201421 HAS SOPS 201386 HAS SOUS 156415 HAS SOUPS 156408 WITH SCORE 156609.421
AT ITER 554 NEW BEST:: SOT 360556 SOS 201137 HAS SOPS 201102 HAS SOUS 156370 HAS SOUPS 156363 WITH SCORE 156564.137
AT ITER 559 NEW BEST:: SOT 360556 SOS 201105 HAS SOPS 201070 HAS SOUS 156370 HAS SOUPS 156363 WITH SCORE 156564.105
AT ITER 566 NEW BEST:: SOT 360691 SOS 201233 HAS SOPS 201198 HAS SOUS 156317 HAS SOUPS 156310 WITH SCORE 156511.233
AT ITER 576 NEW BEST:: SOT 360656 SOS 200543 HAS SOPS 200508 HAS SOUS 156127 HAS SOUPS 156120 WITH SCORE 156320.543
AT ITER 581 NEW BEST:: SOT 360662 SOS 200239 HAS SOPS 200204 HAS SOUS 155988 HAS SOUPS 155981 WITH SCORE 156181.239
AT ITER 583 NEW BEST:: SOT 360640 SOS 200217 HAS SOPS 200182 HAS SOUS 155944 HAS SOUPS 155937 WITH SCORE 156137.217
AT ITER 591 NEW BEST:: SOT 360566 SOS 200179 HAS SOPS 200144 HAS SOUS 155905 HAS SOUPS 155898 WITH SCORE 156098.179
AT ITER 597 NEW BEST:: SOT 360562 SOS 200175 HAS SOPS 200140 HAS SOUS 155897 HAS SOUPS 155890 WITH SCORE 156090.175
AT ITER 602 NEW BEST:: SOT 360562 SOS 200175 HAS SOPS 200140 HAS SOUS 155873 HAS SOUPS 155866 WITH SCORE 156066.175
AT ITER 607 NEW BEST:: SOT 360568 SOS 200181 HAS SOPS 200146 HAS SOUS 155867 HAS SOUPS 155860 WITH SCORE 156060.181
AT ITER 610 NEW BEST:: SOT 360543 SOS 200156 HAS SOPS 200121 HAS SOUS 155842 HAS SOUPS 155835 WITH SCORE 156035.156
AT ITER 614 NEW BEST:: SOT 360523 SOS 200136 HAS SOPS 200101 HAS SOUS 155822 HAS SOUPS 155815 WITH SCORE 156015.136
AT ITER 620 NEW BEST:: SOT 360523 SOS 200136 HAS SOPS 200101 HAS SOUS 155800 HAS SOUPS 155793 WITH SCORE 155993.136
AT ITER 631 NEW BEST:: SOT 360405 SOS 200055 HAS SOPS 200020 HAS SOUS 155716 HAS SOUPS 155709 WITH SCORE 155909.055
AT ITER 635 NEW BEST:: SOT 360370 SOS 199974 HAS SOPS 199939 HAS SOUS 155665 HAS SOUPS 155658 WITH SCORE 155857.974
AT ITER 637 NEW BEST:: SOT 360208 SOS 199760 HAS SOPS 199725 HAS SOUS 155451 HAS SOUPS 155444 WITH SCORE 155643.76
AT ITER 649 NEW BEST:: SOT 360368 SOS 199763 HAS SOPS 199728 HAS SOUS 155079 HAS SOUPS 155072 WITH SCORE 155271.763
AT ITER 654 NEW BEST:: SOT 360301 SOS 199171 HAS SOPS 199136 HAS SOUS 154812 HAS SOUPS 154805 WITH SCORE 155004.171
AT ITER 662 NEW BEST:: SOT 360167 SOS 199084 HAS SOPS 199049 HAS SOUS 154721 HAS SOUPS 154714 WITH SCORE 154913.084
AT ITER 664 NEW BEST:: SOT 360167 SOS 199061 HAS SOPS 199026 HAS SOUS 154721 HAS SOUPS 154714 WITH SCORE 154913.061
AT ITER 667 NEW BEST:: SOT 360135 SOS 198969 HAS SOPS 198934 HAS SOUS 154689 HAS SOUPS 154682 WITH SCORE 154880.969
AT ITER 673 NEW BEST:: SOT 360076 SOS 198936 HAS SOPS 198901 HAS SOUS 154649 HAS SOUPS 154642 WITH SCORE 154840.936
AT ITER 762 NEW BEST:: SOT 360173 SOS 198994 HAS SOPS 198959 HAS SOUS 154564 HAS SOUPS 154557 WITH SCORE 154755.994
AT ITER 773 NEW BEST:: SOT 360129 SOS 198906 HAS SOPS 198871 HAS SOUS 154299 HAS SOUPS 154292 WITH SCORE 154490.906
AT ITER 778 NEW BEST:: SOT 360096 SOS 198677 HAS SOPS 198642 HAS SOUS 154070 HAS SOUPS 154063 WITH SCORE 154261.677
AT ITER 782 NEW BEST:: SOT 360084 SOS 198140 HAS SOPS 198105 HAS SOUS 153533 HAS SOUPS 153526 WITH SCORE 153724.14
AT ITER 803 NEW BEST:: SOT 359801 SOS 197857 HAS SOPS 197822 HAS SOUS 153250 HAS SOUPS 153243 WITH SCORE 153440.857
AT ITER 807 NEW BEST:: SOT 359695 SOS 194302 HAS SOPS 194267 HAS SOUS 150701 HAS SOUPS 150694 WITH SCORE 150888.302
AT ITER 820 NEW BEST:: SOT 359651 SOS 194214 HAS SOPS 194179 HAS SOUS 150613 HAS SOUPS 150606 WITH SCORE 150800.214
AT ITER 832 NEW BEST:: SOT 359625 SOS 194240 HAS SOPS 194205 HAS SOUS 150561 HAS SOUPS 150554 WITH SCORE 150748.24
AT ITER 850 NEW BEST:: SOT 359615 SOS 194230 HAS SOPS 194195 HAS SOUS 150554 HAS SOUPS 150547 WITH SCORE 150741.23
AT ITER 860 NEW BEST:: SOT 359686 SOS 194227 HAS SOPS 194192 HAS SOUS 150525 HAS SOUPS 150518 WITH SCORE 150712.227
AT ITER 871 NEW BEST:: SOT 359603 SOS 194150 HAS SOPS 194115 HAS SOUS 150494 HAS SOUPS 150487 WITH SCORE 150681.15
AT ITER 891 NEW BEST:: SOT 359608 SOS 194155 HAS SOPS 194120 HAS SOUS 150485 HAS SOUPS 150478 WITH SCORE 150672.155
AT ITER 895 NEW BEST:: SOT 359677 SOS 194224 HAS SOPS 194189 HAS SOUS 150462 HAS SOUPS 150455 WITH SCORE 150649.224
AT ITER 898 NEW BEST:: SOT 359660 SOS 194190 HAS SOPS 194155 HAS SOUS 150438 HAS SOUPS 150431 WITH SCORE 150625.19
AT ITER 905 NEW BEST:: SOT 359603 SOS 194133 HAS SOPS 194098 HAS SOUS 150317 HAS SOUPS 150310 WITH SCORE 150504.133
AT ITER 907 NEW BEST:: SOT 359603 SOS 194036 HAS SOPS 194001 HAS SOUS 150220 HAS SOUPS 150213 WITH SCORE 150407.036
AT ITER 915 NEW BEST:: SOT 359586 SOS 194065 HAS SOPS 194030 HAS SOUS 150186 HAS SOUPS 150179 WITH SCORE 150373.065
AT ITER 921 NEW BEST:: SOT 359703 SOS 194182 HAS SOPS 194147 HAS SOUS 150077 HAS SOUPS 150070 WITH SCORE 150264.182
AT ITER 946 NEW BEST:: SOT 359695 SOS 194174 HAS SOPS 194139 HAS SOUS 150037 HAS SOUPS 150030 WITH SCORE 150224.174
AT ITER 960 NEW BEST:: SOT 359687 SOS 194166 HAS SOPS 194131 HAS SOUS 150033 HAS SOUPS 150026 WITH SCORE 150220.166
AT ITER 974 NEW BEST:: SOT 359766 SOS 193794 HAS SOPS 193759 HAS SOUS 149608 HAS SOUPS 149601 WITH SCORE 149794.794
AT ITER 980 NEW BEST:: SOT 359751 SOS 193764 HAS SOPS 193729 HAS SOUS 149532 HAS SOUPS 149525 WITH SCORE 149718.764
AT ITER 988 NEW BEST:: SOT 359710 SOS 193682 HAS SOPS 193647 HAS SOUS 149325 HAS SOUPS 149318 WITH SCORE 149511.682
AT ITER 1053 NEW BEST:: SOT 359743 SOS 193654 HAS SOPS 193619 HAS SOUS 149221 HAS SOUPS 149214 WITH SCORE 149407.654
AT ITER 1070 NEW BEST:: SOT 359578 SOS 193548 HAS SOPS 193513 HAS SOUS 149090 HAS SOUPS 149083 WITH SCORE 149276.548
AT ITER 1091 NEW BEST:: SOT 359585 SOS 193585 HAS SOPS 193550 HAS SOUS 149011 HAS SOUPS 149004 WITH SCORE 149197.585
AT ITER 1100 NEW BEST:: SOT 359520 SOS 193555 HAS SOPS 193520 HAS SOUS 148966 HAS SOUPS 148959 WITH SCORE 149152.555
AT ITER 1103 NEW BEST:: SOT 359463 SOS 193498 HAS SOPS 193463 HAS SOUS 148847 HAS SOUPS 148840 WITH SCORE 149033.498
AT ITER 1104 NEW BEST:: SOT 359449 SOS 193470 HAS SOPS 193435 HAS SOUS 148834 HAS SOUPS 148827 WITH SCORE 149020.47
AT ITER 1109 NEW BEST:: SOT 359445 SOS 193474 HAS SOPS 193439 HAS SOUS 148826 HAS SOUPS 148819 WITH SCORE 149012.474
AT ITER 1115 NEW BEST:: SOT 359405 SOS 193434 HAS SOPS 193399 HAS SOUS 148746 HAS SOUPS 148739 WITH SCORE 148932.434
AT ITER 1121 NEW BEST:: SOT 359299 SOS 194135 HAS SOPS 194100 HAS SOUS 148742 HAS SOUPS 148735 WITH SCORE 148929.135
AT ITER 1125 NEW BEST:: SOT 359271 SOS 194067 HAS SOPS 194032 HAS SOUS 148550 HAS SOUPS 148543 WITH SCORE 148737.067
AT ITER 1135 NEW BEST:: SOT 359282 SOS 194007 HAS SOPS 193972 HAS SOUS 148529 HAS SOUPS 148522 WITH SCORE 148716.007
AT ITER 1141 NEW BEST:: SOT 359319 SOS 193134 HAS SOPS 193099 HAS SOUS 148365 HAS SOUPS 148358 WITH SCORE 148551.134
AT ITER 1153 NEW BEST:: SOT 359304 SOS 193119 HAS SOPS 193084 HAS SOUS 148365 HAS SOUPS 148358 WITH SCORE 148551.119
AT ITER 1155 NEW BEST:: SOT 359287 SOS 193085 HAS SOPS 193050 HAS SOUS 148331 HAS SOUPS 148324 WITH SCORE 148517.085
AT ITER 1177 NEW BEST:: SOT 359701 SOS 202372 HAS SOPS 202041 HAS SOUS 148381 HAS SOUPS 148078 WITH SCORE 148280.372
AT ITER 1180 NEW BEST:: SOT 359697 SOS 202283 HAS SOPS 201939 HAS SOUS 148372 HAS SOUPS 148065 WITH SCORE 148267.283
AT ITER 1201 NEW BEST:: SOT 359737 SOS 202220 HAS SOPS 201876 HAS SOUS 148319 HAS SOUPS 148012 WITH SCORE 148214.22
AT ITER 1220 NEW BEST:: SOT 359585 SOS 202068 HAS SOPS 201724 HAS SOUS 148167 HAS SOUPS 147860 WITH SCORE 148062.068
AT ITER 1222 NEW BEST:: SOT 359567 SOS 201647 HAS SOPS 201303 HAS SOUS 147948 HAS SOUPS 147641 WITH SCORE 147842.647
AT ITER 1227 NEW BEST:: SOT 359529 SOS 201609 HAS SOPS 201265 HAS SOUS 147948 HAS SOUPS 147641 WITH SCORE 147842.609
AT ITER 1246 NEW BEST:: SOT 359451 SOS 201531 HAS SOPS 201187 HAS SOUS 147890 HAS SOUPS 147583 WITH SCORE 147784.531
AT ITER 1255 NEW BEST:: SOT 359422 SOS 201502 HAS SOPS 201158 HAS SOUS 147741 HAS SOUPS 147434 WITH SCORE 147635.502
AT ITER 1279 NEW BEST:: SOT 359447 SOS 201527 HAS SOPS 201183 HAS SOUS 147722 HAS SOUPS 147415 WITH SCORE 147616.527
AT ITER 1285 NEW BEST:: SOT 359346 SOS 201426 HAS SOPS 201082 HAS SOUS 147117 HAS SOUPS 146810 WITH SCORE 147011.426
AT ITER 1289 NEW BEST:: SOT 359346 SOS 201390 HAS SOPS 201046 HAS SOUS 147111 HAS SOUPS 146804 WITH SCORE 147005.39
AT ITER 1297 NEW BEST:: SOT 359346 SOS 201274 HAS SOPS 200930 HAS SOUS 147015 HAS SOUPS 146708 WITH SCORE 146909.274
AT ITER 1312 NEW BEST:: SOT 359448 SOS 200906 HAS SOPS 200562 HAS SOUS 146942 HAS SOUPS 146635 WITH SCORE 146835.906
AT ITER 1321 NEW BEST:: SOT 359448 SOS 200906 HAS SOPS 200562 HAS SOUS 146941 HAS SOUPS 146634 WITH SCORE 146834.906
AT ITER 1324 NEW BEST:: SOT 359446 SOS 200686 HAS SOPS 200342 HAS SOUS 146937 HAS SOUPS 146630 WITH SCORE 146830.686
AT ITER 1325 NEW BEST:: SOT 359582 SOS 200672 HAS SOPS 200328 HAS SOUS 146679 HAS SOUPS 146372 WITH SCORE 146572.672
AT ITER 1334 NEW BEST:: SOT 359570 SOS 200660 HAS SOPS 200316 HAS SOUS 146679 HAS SOUPS 146372 WITH SCORE 146572.66
AT ITER 1338 NEW BEST:: SOT 359570 SOS 200660 HAS SOPS 200316 HAS SOUS 146649 HAS SOUPS 146342 WITH SCORE 146542.66
AT ITER 1345 NEW BEST:: SOT 359469 SOS 200640 HAS SOPS 200296 HAS SOUS 146507 HAS SOUPS 146200 WITH SCORE 146400.64
AT ITER 1350 NEW BEST:: SOT 359469 SOS 200635 HAS SOPS 200291 HAS SOUS 146502 HAS SOUPS 146195 WITH SCORE 146395.635
AT ITER 1359 NEW BEST:: SOT 359421 SOS 200347 HAS SOPS 200003 HAS SOUS 146214 HAS SOUPS 145907 WITH SCORE 146107.347
AT ITER 1370 NEW BEST:: SOT 359295 SOS 200243 HAS SOPS 199899 HAS SOUS 146084 HAS SOUPS 145777 WITH SCORE 145977.243
AT ITER 1382 NEW BEST:: SOT 358962 SOS 200099 HAS SOPS 199755 HAS SOUS 146030 HAS SOUPS 145723 WITH SCORE 145923.099
AT ITER 1388 NEW BEST:: SOT 358886 SOS 200023 HAS SOPS 199679 HAS SOUS 145982 HAS SOUPS 145675 WITH SCORE 145875.023
AT ITER 1390 NEW BEST:: SOT 358921 SOS 200062 HAS SOPS 199718 HAS SOUS 145961 HAS SOUPS 145654 WITH SCORE 145854.062
AT ITER 1395 NEW BEST:: SOT 358886 SOS 200027 HAS SOPS 199683 HAS SOUS 145942 HAS SOUPS 145635 WITH SCORE 145835.027
AT ITER 1425 NEW BEST:: SOT 358855 SOS 199972 HAS SOPS 199628 HAS SOUS 145894 HAS SOUPS 145587 WITH SCORE 145786.972
AT ITER 1427 NEW BEST:: SOT 358843 SOS 199912 HAS SOPS 199568 HAS SOUS 145834 HAS SOUPS 145527 WITH SCORE 145726.912
AT ITER 1434 NEW BEST:: SOT 358837 SOS 199906 HAS SOPS 199562 HAS SOUS 145828 HAS SOUPS 145521 WITH SCORE 145720.906
AT ITER 1455 NEW BEST:: SOT 358829 SOS 199890 HAS SOPS 199546 HAS SOUS 145812 HAS SOUPS 145505 WITH SCORE 145704.89
AT ITER 1456 NEW BEST:: SOT 358819 SOS 199847 HAS SOPS 199503 HAS SOUS 145769 HAS SOUPS 145462 WITH SCORE 145661.847
AT ITER 1470 NEW BEST:: SOT 358771 SOS 199799 HAS SOPS 199455 HAS SOUS 145707 HAS SOUPS 145400 WITH SCORE 145599.799
AT ITER 1478 NEW BEST:: SOT 358702 SOS 199659 HAS SOPS 199315 HAS SOUS 145513 HAS SOUPS 145206 WITH SCORE 145405.659
AT ITER 1479 NEW BEST:: SOT 358683 SOS 199640 HAS SOPS 199296 HAS SOUS 145494 HAS SOUPS 145187 WITH SCORE 145386.64
AT ITER 1491 NEW BEST:: SOT 358649 SOS 199707 HAS SOPS 199363 HAS SOUS 145464 HAS SOUPS 145157 WITH SCORE 145356.707
AT ITER 1492 NEW BEST:: SOT 358649 SOS 199678 HAS SOPS 199334 HAS SOUS 145464 HAS SOUPS 145157 WITH SCORE 145356.678
AT ITER 1501 NEW BEST:: SOT 358649 SOS 199766 HAS SOPS 199422 HAS SOUS 145375 HAS SOUPS 145068 WITH SCORE 145267.766
AT ITER 1510 NEW BEST:: SOT 358602 SOS 199713 HAS SOPS 199369 HAS SOUS 145343 HAS SOUPS 145036 WITH SCORE 145235.713
AT ITER 1512 NEW BEST:: SOT 358623 SOS 199538 HAS SOPS 199194 HAS SOUS 145234 HAS SOUPS 144927 WITH SCORE 145126.538
AT ITER 1535 NEW BEST:: SOT 358621 SOS 199534 HAS SOPS 199190 HAS SOUS 145230 HAS SOUPS 144923 WITH SCORE 145122.534
AT ITER 1543 NEW BEST:: SOT 358621 SOS 199534 HAS SOPS 199190 HAS SOUS 145223 HAS SOUPS 144916 WITH SCORE 145115.534
AT ITER 1546 NEW BEST:: SOT 358528 SOS 198821 HAS SOPS 198477 HAS SOUS 144930 HAS SOUPS 144623 WITH SCORE 144821.821
AT ITER 1564 NEW BEST:: SOT 358503 SOS 198595 HAS SOPS 198251 HAS SOUS 144799 HAS SOUPS 144492 WITH SCORE 144690.595
AT ITER 1567 NEW BEST:: SOT 358406 SOS 198576 HAS SOPS 198232 HAS SOUS 144690 HAS SOUPS 144383 WITH SCORE 144581.576
AT ITER 1574 NEW BEST:: SOT 358315 SOS 194986 HAS SOPS 194733 HAS SOUS 144417 HAS SOUPS 144201 WITH SCORE 144395.986
AT ITER 1576 NEW BEST:: SOT 358314 SOS 195333 HAS SOPS 195080 HAS SOUS 143594 HAS SOUPS 143378 WITH SCORE 143573.333
AT ITER 1585 NEW BEST:: SOT 355553 SOS 192572 HAS SOPS 192319 HAS SOUS 140743 HAS SOUPS 140527 WITH SCORE 140719.572
AT ITER 1588 NEW BEST:: SOT 355447 SOS 192455 HAS SOPS 192202 HAS SOUS 140625 HAS SOUPS 140409 WITH SCORE 140601.455
AT ITER 1593 NEW BEST:: SOT 355432 SOS 192470 HAS SOPS 192217 HAS SOUS 140595 HAS SOUPS 140379 WITH SCORE 140571.47
AT ITER 1597 NEW BEST:: SOT 355432 SOS 192265 HAS SOPS 192217 HAS SOUS 140390 HAS SOUPS 140379 WITH SCORE 140571.265
AT ITER 1598 NEW BEST:: SOT 355355 SOS 192188 HAS SOPS 192140 HAS SOUS 140340 HAS SOUPS 140329 WITH SCORE 140521.188
AT ITER 1607 NEW BEST:: SOT 355347 SOS 192180 HAS SOPS 192132 HAS SOUS 140324 HAS SOUPS 140313 WITH SCORE 140505.18
AT ITER 1611 NEW BEST:: SOT 355259 SOS 192092 HAS SOPS 192044 HAS SOUS 140275 HAS SOUPS 140264 WITH SCORE 140456.092
AT ITER 1612 NEW BEST:: SOT 355234 SOS 192063 HAS SOPS 192015 HAS SOUS 140246 HAS SOUPS 140235 WITH SCORE 140427.063
AT ITER 1620 NEW BEST:: SOT 355170 SOS 191952 HAS SOPS 191904 HAS SOUS 140175 HAS SOUPS 140164 WITH SCORE 140355.952
AT ITER 1625 NEW BEST:: SOT 355162 SOS 191944 HAS SOPS 191896 HAS SOUS 140167 HAS SOUPS 140156 WITH SCORE 140347.944
AT ITER 1631 NEW BEST:: SOT 355162 SOS 191944 HAS SOPS 191896 HAS SOUS 140142 HAS SOUPS 140131 WITH SCORE 140322.944
AT ITER 1633 NEW BEST:: SOT 355162 SOS 191348 HAS SOPS 191300 HAS SOUS 139546 HAS SOUPS 139535 WITH SCORE 139726.348
AT ITER 1635 NEW BEST:: SOT 355139 SOS 191325 HAS SOPS 191277 HAS SOUS 139460 HAS SOUPS 139449 WITH SCORE 139640.325
AT ITER 1652 NEW BEST:: SOT 355139 SOS 191325 HAS SOPS 191277 HAS SOUS 139459 HAS SOUPS 139448 WITH SCORE 139639.325
AT ITER 1655 NEW BEST:: SOT 355135 SOS 189917 HAS SOPS 189872 HAS SOUS 139445 HAS SOUPS 139434 WITH SCORE 139623.917
AT ITER 1664 NEW BEST:: SOT 355127 SOS 189592 HAS SOPS 189547 HAS SOUS 139184 HAS SOUPS 139173 WITH SCORE 139362.592
AT ITER 1676 NEW BEST:: SOT 355061 SOS 189516 HAS SOPS 189471 HAS SOUS 139131 HAS SOUPS 139120 WITH SCORE 139309.516
AT ITER 1699 NEW BEST:: SOT 355044 SOS 189499 HAS SOPS 189454 HAS SOUS 139114 HAS SOUPS 139103 WITH SCORE 139292.499
AT ITER 1707 NEW BEST:: SOT 354985 SOS 189359 HAS SOPS 189314 HAS SOUS 138778 HAS SOUPS 138767 WITH SCORE 138956.359
AT ITER 1722 NEW BEST:: SOT 355014 SOS 189388 HAS SOPS 189343 HAS SOUS 138754 HAS SOUPS 138743 WITH SCORE 138932.388
AT ITER 1764 NEW BEST:: SOT 355008 SOS 189382 HAS SOPS 189337 HAS SOUS 138739 HAS SOUPS 138728 WITH SCORE 138917.382
AT ITER 1769 NEW BEST:: SOT 353518 SOS 187892 HAS SOPS 187847 HAS SOUS 137368 HAS SOUPS 137357 WITH SCORE 137544.892
AT ITER 1786 NEW BEST:: SOT 353346 SOS 183199 HAS SOPS 183154 HAS SOUS 137024 HAS SOUPS 137013 WITH SCORE 137196.199
AT ITER 1806 NEW BEST:: SOT 353346 SOS 183105 HAS SOPS 183060 HAS SOUS 136930 HAS SOUPS 136919 WITH SCORE 137102.105
AT ITER 1808 NEW BEST:: SOT 353297 SOS 183056 HAS SOPS 183011 HAS SOUS 136799 HAS SOUPS 136788 WITH SCORE 136971.056
AT ITER 1809 NEW BEST:: SOT 353252 SOS 183020 HAS SOPS 182975 HAS SOUS 136727 HAS SOUPS 136716 WITH SCORE 136899.02
AT ITER 1835 NEW BEST:: SOT 352541 SOS 182668 HAS SOPS 182623 HAS SOUS 136455 HAS SOUPS 136444 WITH SCORE 136626.668
AT ITER 1858 NEW BEST:: SOT 352541 SOS 182670 HAS SOPS 182625 HAS SOUS 136368 HAS SOUPS 136357 WITH SCORE 136539.67
AT ITER 1864 NEW BEST:: SOT 352434 SOS 182481 HAS SOPS 182436 HAS SOUS 136151 HAS SOUPS 136140 WITH SCORE 136322.481
AT ITER 1868 NEW BEST:: SOT 352429 SOS 182471 HAS SOPS 182426 HAS SOUS 136151 HAS SOUPS 136140 WITH SCORE 136322.471
AT ITER 1870 NEW BEST:: SOT 352387 SOS 182429 HAS SOPS 182384 HAS SOUS 136082 HAS SOUPS 136071 WITH SCORE 136253.429
AT ITER 1877 NEW BEST:: SOT 352389 SOS 182420 HAS SOPS 182375 HAS SOUS 136076 HAS SOUPS 136065 WITH SCORE 136247.42
AT ITER 1885 NEW BEST:: SOT 352370 SOS 182422 HAS SOPS 182377 HAS SOUS 136002 HAS SOUPS 135991 WITH SCORE 136173.422
AT ITER 1893 NEW BEST:: SOT 352470 SOS 182734 HAS SOPS 182689 HAS SOUS 135997 HAS SOUPS 135986 WITH SCORE 136168.734
AT ITER 1903 NEW BEST:: SOT 352179 SOS 182443 HAS SOPS 182398 HAS SOUS 135706 HAS SOUPS 135695 WITH SCORE 135877.443
AT ITER 1931 NEW BEST:: SOT 352181 SOS 182630 HAS SOPS 182584 HAS SOUS 135604 HAS SOUPS 135592 WITH SCORE 135774.63
AT ITER 1932 NEW BEST:: SOT 352165 SOS 182598 HAS SOPS 182552 HAS SOUS 135588 HAS SOUPS 135576 WITH SCORE 135758.598
AT ITER 1936 NEW BEST:: SOT 352242 SOS 182764 HAS SOPS 182718 HAS SOUS 135523 HAS SOUPS 135511 WITH SCORE 135693.764
AT ITER 1941 NEW BEST:: SOT 352211 SOS 182702 HAS SOPS 182656 HAS SOUS 135492 HAS SOUPS 135480 WITH SCORE 135662.702
AT ITER 1946 NEW BEST:: SOT 352329 SOS 182885 HAS SOPS 182834 HAS SOUS 135488 HAS SOUPS 135473 WITH SCORE 135655.885
AT ITER 1947 NEW BEST:: SOT 351639 SOS 182195 HAS SOPS 182144 HAS SOUS 134686 HAS SOUPS 134671 WITH SCORE 134853.195
AT ITER 1948 NEW BEST:: SOT 351629 SOS 182135 HAS SOPS 182084 HAS SOUS 134673 HAS SOUPS 134658 WITH SCORE 134840.135
AT ITER 1950 NEW BEST:: SOT 351662 SOS 182120 HAS SOPS 182069 HAS SOUS 134664 HAS SOUPS 134649 WITH SCORE 134831.12
AT ITER 1953 NEW BEST:: SOT 351632 SOS 182207 HAS SOPS 182156 HAS SOUS 134415 HAS SOUPS 134400 WITH SCORE 134582.207
AT ITER 1961 NEW BEST:: SOT 351626 SOS 182335 HAS SOPS 182284 HAS SOUS 134234 HAS SOUPS 134219 WITH SCORE 134401.335
AT ITER 1965 NEW BEST:: SOT 351633 SOS 182142 HAS SOPS 182091 HAS SOUS 134197 HAS SOUPS 134182 WITH SCORE 134364.142
AT ITER 1976 NEW BEST:: SOT 351614 SOS 182146 HAS SOPS 182095 HAS SOUS 134170 HAS SOUPS 134155 WITH SCORE 134337.146
AT ITER 1977 NEW BEST:: SOT 351614 SOS 182146 HAS SOPS 182095 HAS SOUS 134105 HAS SOUPS 134090 WITH SCORE 134272.146
AT ITER 1988 NEW BEST:: SOT 351710 SOS 182001 HAS SOPS 181950 HAS SOUS 134068 HAS SOUPS 134053 WITH SCORE 134235.001
AT ITER 1990 NEW BEST:: SOT 351726 SOS 182017 HAS SOPS 181966 HAS SOUS 134052 HAS SOUPS 134037 WITH SCORE 134219.017
AT ITER 2008 NEW BEST:: SOT 350338 SOS 181604 HAS SOPS 181553 HAS SOUS 133568 HAS SOUPS 133553 WITH SCORE 133734.604
AT ITER 2018 NEW BEST:: SOT 350331 SOS 181597 HAS SOPS 181546 HAS SOUS 133561 HAS SOUPS 133546 WITH SCORE 133727.597
AT ITER 2023 NEW BEST:: SOT 350331 SOS 181582 HAS SOPS 181531 HAS SOUS 133561 HAS SOUPS 133546 WITH SCORE 133727.582
AT ITER 2027 NEW BEST:: SOT 350369 SOS 181570 HAS SOPS 181519 HAS SOUS 133531 HAS SOUPS 133516 WITH SCORE 133697.57
AT ITER 2039 NEW BEST:: SOT 350350 SOS 181529 HAS SOPS 181478 HAS SOUS 133428 HAS SOUPS 133413 WITH SCORE 133594.529
AT ITER 2046 NEW BEST:: SOT 350801 SOS 182265 HAS SOPS 182210 HAS SOUS 131646 HAS SOUPS 131630 WITH SCORE 131812.265
AT ITER 2052 NEW BEST:: SOT 350919 SOS 182483 HAS SOPS 182424 HAS SOUS 129964 HAS SOUPS 129948 WITH SCORE 130130.483
AT ITER 2057 NEW BEST:: SOT 350924 SOS 182488 HAS SOPS 182429 HAS SOUS 129957 HAS SOUPS 129941 WITH SCORE 130123.488
AT ITER 2061 NEW BEST:: SOT 350870 SOS 182492 HAS SOPS 182433 HAS SOUS 129835 HAS SOUPS 129819 WITH SCORE 130001.492
AT ITER 2063 NEW BEST:: SOT 351280 SOS 182671 HAS SOPS 182611 HAS SOUS 124770 HAS SOUPS 124753 WITH SCORE 124935.671
AT ITER 2069 NEW BEST:: SOT 351272 SOS 182663 HAS SOPS 182603 HAS SOUS 124762 HAS SOUPS 124745 WITH SCORE 124927.663
AT ITER 2075 NEW BEST:: SOT 351150 SOS 182541 HAS SOPS 182481 HAS SOUS 124507 HAS SOUPS 124490 WITH SCORE 124672.541
AT ITER 2076 NEW BEST:: SOT 351075 SOS 182444 HAS SOPS 182384 HAS SOUS 124410 HAS SOUPS 124393 WITH SCORE 124575.444
AT ITER 2078 NEW BEST:: SOT 351075 SOS 182444 HAS SOPS 182384 HAS SOUS 124404 HAS SOUPS 124387 WITH SCORE 124569.444
AT ITER 2084 NEW BEST:: SOT 351056 SOS 182406 HAS SOPS 182346 HAS SOUS 124392 HAS SOUPS 124375 WITH SCORE 124557.406
AT ITER 2090 NEW BEST:: SOT 349787 SOS 181342 HAS SOPS 181282 HAS SOUS 123308 HAS SOUPS 123291 WITH SCORE 123472.342
AT ITER 2092 NEW BEST:: SOT 349656 SOS 181353 HAS SOPS 181293 HAS SOUS 123250 HAS SOUPS 123233 WITH SCORE 123414.353
AT ITER 2095 NEW BEST:: SOT 349570 SOS 181288 HAS SOPS 181228 HAS SOUS 123101 HAS SOUPS 123084 WITH SCORE 123265.288
AT ITER 2130 NEW BEST:: SOT 349300 SOS 181119 HAS SOPS 181059 HAS SOUS 122932 HAS SOUPS 122915 WITH SCORE 123096.119
AT ITER 2133 NEW BEST:: SOT 349408 SOS 181346 HAS SOPS 181286 HAS SOUS 121309 HAS SOUPS 121292 WITH SCORE 121473.346
AT ITER 2139 NEW BEST:: SOT 349090 SOS 181156 HAS SOPS 181096 HAS SOUS 121119 HAS SOUPS 121102 WITH SCORE 121283.156
AT ITER 2140 NEW BEST:: SOT 349009 SOS 181075 HAS SOPS 181015 HAS SOUS 121040 HAS SOUPS 121023 WITH SCORE 121204.075
AT ITER 2141 NEW BEST:: SOT 349009 SOS 181075 HAS SOPS 181015 HAS SOUS 121000 HAS SOUPS 120983 WITH SCORE 121164.075
AT ITER 2155 NEW BEST:: SOT 348997 SOS 181161 HAS SOPS 181101 HAS SOUS 120986 HAS SOUPS 120969 WITH SCORE 121150.161
AT ITER 2165 NEW BEST:: SOT 348993 SOS 181157 HAS SOPS 181097 HAS SOUS 120978 HAS SOUPS 120961 WITH SCORE 121142.157
AT ITER 2169 NEW BEST:: SOT 348973 SOS 181137 HAS SOPS 181077 HAS SOUS 120936 HAS SOUPS 120919 WITH SCORE 121100.137
AT ITER 2181 NEW BEST:: SOT 349256 SOS 181488 HAS SOPS 181418 HAS SOUS 115060 HAS SOUPS 115041 WITH SCORE 115222.488
AT ITER 2191 NEW BEST:: SOT 349323 SOS 181570 HAS SOPS 181500 HAS SOUS 115022 HAS SOUPS 115003 WITH SCORE 115184.57
AT ITER 2192 NEW BEST:: SOT 352257 SOS 184743 HAS SOPS 184673 HAS SOUS 113147 HAS SOUPS 113128 WITH SCORE 113312.743
AT ITER 2205 NEW BEST:: SOT 352241 SOS 184727 HAS SOPS 184657 HAS SOUS 113131 HAS SOUPS 113112 WITH SCORE 113296.727
AT ITER 2217 NEW BEST:: SOT 352195 SOS 183972 HAS SOPS 183902 HAS SOUS 112853 HAS SOUPS 112834 WITH SCORE 113017.972
AT ITER 2226 NEW BEST:: SOT 352164 SOS 183885 HAS SOPS 183815 HAS SOUS 112789 HAS SOUPS 112770 WITH SCORE 112953.885
AT ITER 2242 NEW BEST:: SOT 352171 SOS 183858 HAS SOPS 183788 HAS SOUS 112762 HAS SOUPS 112743 WITH SCORE 112926.858
AT ITER 2258 NEW BEST:: SOT 351912 SOS 183681 HAS SOPS 183611 HAS SOUS 112632 HAS SOUPS 112613 WITH SCORE 112796.681
AT ITER 2262 NEW BEST:: SOT 351723 SOS 183548 HAS SOPS 183478 HAS SOUS 112492 HAS SOUPS 112473 WITH SCORE 112656.548
AT ITER 2272 NEW BEST:: SOT 351717 SOS 183542 HAS SOPS 183472 HAS SOUS 112486 HAS SOUPS 112467 WITH SCORE 112650.542
AT ITER 2279 NEW BEST:: SOT 351717 SOS 183334 HAS SOPS 183264 HAS SOUS 112460 HAS SOUPS 112441 WITH SCORE 112624.334
AT ITER 2288 NEW BEST:: SOT 351681 SOS 183307 HAS SOPS 183237 HAS SOUS 112433 HAS SOUPS 112414 WITH SCORE 112597.307
AT ITER 2301 NEW BEST:: SOT 351574 SOS 183033 HAS SOPS 182963 HAS SOUS 111749 HAS SOUPS 111730 WITH SCORE 111913.033
AT ITER 2302 NEW BEST:: SOT 351574 SOS 183033 HAS SOPS 182963 HAS SOUS 111744 HAS SOUPS 111725 WITH SCORE 111908.033
AT ITER 2312 NEW BEST:: SOT 351555 SOS 183014 HAS SOPS 182944 HAS SOUS 111725 HAS SOUPS 111706 WITH SCORE 111889.014
AT ITER 2313 NEW BEST:: SOT 351485 SOS 182984 HAS SOPS 182914 HAS SOUS 111678 HAS SOUPS 111659 WITH SCORE 111841.984
AT ITER 2318 NEW BEST:: SOT 351459 SOS 182958 HAS SOPS 182888 HAS SOUS 111600 HAS SOUPS 111581 WITH SCORE 111763.958
AT ITER 2319 NEW BEST:: SOT 351457 SOS 182956 HAS SOPS 182886 HAS SOUS 111598 HAS SOUPS 111579 WITH SCORE 111761.956
AT ITER 2324 NEW BEST:: SOT 351452 SOS 182999 HAS SOPS 182929 HAS SOUS 111520 HAS SOUPS 111501 WITH SCORE 111683.999
AT ITER 2336 NEW BEST:: SOT 351472 SOS 183019 HAS SOPS 182949 HAS SOUS 111519 HAS SOUPS 111500 WITH SCORE 111683.019
AT ITER 2337 NEW BEST:: SOT 351472 SOS 183043 HAS SOPS 182973 HAS SOUS 111511 HAS SOUPS 111492 WITH SCORE 111675.043
AT ITER 2351 NEW BEST:: SOT 351432 SOS 183003 HAS SOPS 182933 HAS SOUS 111431 HAS SOUPS 111412 WITH SCORE 111595.003
AT ITER 2368 NEW BEST:: SOT 351364 SOS 182865 HAS SOPS 182795 HAS SOUS 111219 HAS SOUPS 111200 WITH SCORE 111382.865
AT ITER 2369 NEW BEST:: SOT 351412 SOS 182913 HAS SOPS 182843 HAS SOUS 111211 HAS SOUPS 111192 WITH SCORE 111374.913
AT ITER 2378 NEW BEST:: SOT 351409 SOS 182910 HAS SOPS 182840 HAS SOUS 111208 HAS SOUPS 111189 WITH SCORE 111371.91
AT ITER 2381 NEW BEST:: SOT 351419 SOS 182890 HAS SOPS 182820 HAS SOUS 111180 HAS SOUPS 111161 WITH SCORE 111343.89
AT ITER 2382 NEW BEST:: SOT 351393 SOS 182864 HAS SOPS 182794 HAS SOUS 111154 HAS SOUPS 111135 WITH SCORE 111317.864
AT ITER 2385 NEW BEST:: SOT 352688 SOS 184294 HAS SOPS 184224 HAS SOUS 110462 HAS SOUPS 110443 WITH SCORE 110627.294
AT ITER 2395 NEW BEST:: SOT 352688 SOS 184314 HAS SOPS 184244 HAS SOUS 110452 HAS SOUPS 110433 WITH SCORE 110617.314
AT ITER 2401 NEW BEST:: SOT 352615 SOS 184241 HAS SOPS 184171 HAS SOUS 110366 HAS SOUPS 110347 WITH SCORE 110531.241
AT ITER 2428 NEW BEST:: SOT 352465 SOS 184237 HAS SOPS 184167 HAS SOUS 110359 HAS SOUPS 110340 WITH SCORE 110524.237
AT ITER 2431 NEW BEST:: SOT 352443 SOS 184215 HAS SOPS 184145 HAS SOUS 110337 HAS SOUPS 110318 WITH SCORE 110502.215
AT ITER 2465 NEW BEST:: SOT 352409 SOS 184176 HAS SOPS 184106 HAS SOUS 110297 HAS SOUPS 110278 WITH SCORE 110462.176
AT ITER 2468 NEW BEST:: SOT 352382 SOS 184079 HAS SOPS 184009 HAS SOUS 110039 HAS SOUPS 110020 WITH SCORE 110204.079
AT ITER 2470 NEW BEST:: SOT 352286 SOS 183983 HAS SOPS 183913 HAS SOUS 110021 HAS SOUPS 110002 WITH SCORE 110185.983
AT ITER 2486 NEW BEST:: SOT 352241 SOS 183942 HAS SOPS 183872 HAS SOUS 109919 HAS SOUPS 109900 WITH SCORE 110083.942
AT ITER 2501 NEW BEST:: SOT 352287 SOS 183988 HAS SOPS 183918 HAS SOUS 109888 HAS SOUPS 109869 WITH SCORE 110052.988
AT ITER 2505 NEW BEST:: SOT 349588 SOS 181289 HAS SOPS 181219 HAS SOUS 109020 HAS SOUPS 109001 WITH SCORE 109182.289
AT ITER 2538 NEW BEST:: SOT 349580 SOS 181281 HAS SOPS 181211 HAS SOUS 109004 HAS SOUPS 108985 WITH SCORE 109166.281
AT ITER 2539 NEW BEST:: SOT 349571 SOS 181264 HAS SOPS 181194 HAS SOUS 108975 HAS SOUPS 108956 WITH SCORE 109137.264
AT ITER 2549 NEW BEST:: SOT 349540 SOS 181233 HAS SOPS 181163 HAS SOUS 108944 HAS SOUPS 108925 WITH SCORE 109106.233
AT ITER 2578 NEW BEST:: SOT 349535 SOS 181228 HAS SOPS 181158 HAS SOUS 108919 HAS SOUPS 108900 WITH SCORE 109081.228
AT ITER 2586 NEW BEST:: SOT 347439 SOS 179500 HAS SOPS 179430 HAS SOUS 106920 HAS SOUPS 106901 WITH SCORE 107080.5
AT ITER 2599 NEW BEST:: SOT 347331 SOS 179430 HAS SOPS 179360 HAS SOUS 106830 HAS SOUPS 106811 WITH SCORE 106990.43
AT ITER 2623 NEW BEST:: SOT 347319 SOS 179406 HAS SOPS 179336 HAS SOUS 106806 HAS SOUPS 106787 WITH SCORE 106966.406
AT ITER 2631 NEW BEST:: SOT 347321 SOS 179408 HAS SOPS 179338 HAS SOUS 106756 HAS SOUPS 106737 WITH SCORE 106916.408
AT ITER 2641 NEW BEST:: SOT 347311 SOS 179398 HAS SOPS 179328 HAS SOUS 106746 HAS SOUPS 106727 WITH SCORE 106906.398
AT ITER 2642 NEW BEST:: SOT 347136 SOS 179337 HAS SOPS 179267 HAS SOUS 106685 HAS SOUPS 106666 WITH SCORE 106845.337
AT ITER 2650 NEW BEST:: SOT 347136 SOS 179344 HAS SOPS 179274 HAS SOUS 106673 HAS SOUPS 106654 WITH SCORE 106833.344
AT ITER 2651 NEW BEST:: SOT 347117 SOS 179340 HAS SOPS 179270 HAS SOUS 106662 HAS SOUPS 106643 WITH SCORE 106822.34
AT ITER 2661 NEW BEST:: SOT 346476 SOS 178699 HAS SOPS 178629 HAS SOUS 106451 HAS SOUPS 106432 WITH SCORE 106610.699
AT ITER 2663 NEW BEST:: SOT 346471 SOS 178694 HAS SOPS 178624 HAS SOUS 106424 HAS SOUPS 106405 WITH SCORE 106583.694
AT ITER 2665 NEW BEST:: SOT 346021 SOS 178270 HAS SOPS 178200 HAS SOUS 106254 HAS SOUPS 106235 WITH SCORE 106413.27
AT ITER 2673 NEW BEST:: SOT 345977 SOS 178229 HAS SOPS 178159 HAS SOUS 106191 HAS SOUPS 106172 WITH SCORE 106350.229
AT ITER 2691 NEW BEST:: SOT 345916 SOS 178130 HAS SOPS 178060 HAS SOUS 106093 HAS SOUPS 106074 WITH SCORE 106252.13
AT ITER 2702 NEW BEST:: SOT 345747 SOS 178010 HAS SOPS 177940 HAS SOUS 105973 HAS SOUPS 105954 WITH SCORE 106132.01
AT ITER 2707 NEW BEST:: SOT 345740 SOS 177996 HAS SOPS 177926 HAS SOUS 105938 HAS SOUPS 105919 WITH SCORE 106096.996
AT ITER 2710 NEW BEST:: SOT 345682 SOS 177938 HAS SOPS 177868 HAS SOUS 105725 HAS SOUPS 105706 WITH SCORE 105883.938
AT ITER 2720 NEW BEST:: SOT 345682 SOS 177924 HAS SOPS 177854 HAS SOUS 105621 HAS SOUPS 105602 WITH SCORE 105779.924
AT ITER 2748 NEW BEST:: SOT 345658 SOS 177876 HAS SOPS 177806 HAS SOUS 105576 HAS SOUPS 105557 WITH SCORE 105734.876
AT ITER 2749 NEW BEST:: SOT 345576 SOS 177794 HAS SOPS 177724 HAS SOUS 105502 HAS SOUPS 105483 WITH SCORE 105660.794
AT ITER 2765 NEW BEST:: SOT 345568 SOS 177786 HAS SOPS 177716 HAS SOUS 105494 HAS SOUPS 105475 WITH SCORE 105652.786
AT ITER 2767 NEW BEST:: SOT 345563 SOS 177781 HAS SOPS 177711 HAS SOUS 105478 HAS SOUPS 105459 WITH SCORE 105636.781
AT ITER 2782 NEW BEST:: SOT 345395 SOS 177947 HAS SOPS 177877 HAS SOUS 105454 HAS SOUPS 105435 WITH SCORE 105612.947
AT ITER 2806 NEW BEST:: SOT 345395 SOS 177947 HAS SOPS 177877 HAS SOUS 105451 HAS SOUPS 105432 WITH SCORE 105609.947
AT ITER 2807 NEW BEST:: SOT 345403 SOS 177781 HAS SOPS 177711 HAS SOUS 105345 HAS SOUPS 105326 WITH SCORE 105503.781
AT ITER 2811 NEW BEST:: SOT 345201 SOS 177715 HAS SOPS 177645 HAS SOUS 105257 HAS SOUPS 105238 WITH SCORE 105415.715
AT ITER 2829 NEW BEST:: SOT 345178 SOS 177647 HAS SOPS 177577 HAS SOUS 105190 HAS SOUPS 105171 WITH SCORE 105348.647
AT ITER 2830 NEW BEST:: SOT 345148 SOS 177632 HAS SOPS 177562 HAS SOUS 105175 HAS SOUPS 105156 WITH SCORE 105333.632
AT ITER 2831 NEW BEST:: SOT 345148 SOS 177625 HAS SOPS 177555 HAS SOUS 105175 HAS SOUPS 105156 WITH SCORE 105333.625
AT ITER 2840 NEW BEST:: SOT 344953 SOS 177379 HAS SOPS 177309 HAS SOUS 104896 HAS SOUPS 104877 WITH SCORE 105054.379
AT ITER 2858 NEW BEST:: SOT 344940 SOS 177366 HAS SOPS 177296 HAS SOUS 104880 HAS SOUPS 104861 WITH SCORE 105038.366
AT ITER 2860 NEW BEST:: SOT 344938 SOS 177364 HAS SOPS 177294 HAS SOUS 104833 HAS SOUPS 104814 WITH SCORE 104991.364
AT ITER 2877 NEW BEST:: SOT 342405 SOS 174831 HAS SOPS 174761 HAS SOUS 103057 HAS SOUPS 103038 WITH SCORE 103212.831
AT ITER 2880 NEW BEST:: SOT 342304 SOS 174813 HAS SOPS 174743 HAS SOUS 103019 HAS SOUPS 103000 WITH SCORE 103174.813
AT ITER 2890 NEW BEST:: SOT 342304 SOS 174809 HAS SOPS 174739 HAS SOUS 103016 HAS SOUPS 102997 WITH SCORE 103171.809
AT ITER 2892 NEW BEST:: SOT 342239 SOS 174675 HAS SOPS 174605 HAS SOUS 102826 HAS SOUPS 102807 WITH SCORE 102981.675
AT ITER 2896 NEW BEST:: SOT 342015 SOS 174648 HAS SOPS 174578 HAS SOUS 102778 HAS SOUPS 102759 WITH SCORE 102933.648
AT ITER 2915 NEW BEST:: SOT 342013 SOS 174646 HAS SOPS 174576 HAS SOUS 102776 HAS SOUPS 102757 WITH SCORE 102931.646
AT ITER 2929 NEW BEST:: SOT 341853 SOS 174838 HAS SOPS 174768 HAS SOUS 102736 HAS SOUPS 102717 WITH SCORE 102891.838
AT ITER 2944 NEW BEST:: SOT 341816 SOS 174801 HAS SOPS 174731 HAS SOUS 102699 HAS SOUPS 102680 WITH SCORE 102854.801
AT ITER 2949 NEW BEST:: SOT 341816 SOS 174917 HAS SOPS 174851 HAS SOUS 102656 HAS SOUPS 102637 WITH SCORE 102811.917
AT ITER 2950 NEW BEST:: SOT 341796 SOS 174917 HAS SOPS 174851 HAS SOUS 102636 HAS SOUPS 102617 WITH SCORE 102791.917
AT ITER 2957 NEW BEST:: SOT 341779 SOS 174914 HAS SOPS 174848 HAS SOUS 102595 HAS SOUPS 102576 WITH SCORE 102750.914
AT ITER 2971 NEW BEST:: SOT 341695 SOS 174858 HAS SOPS 174792 HAS SOUS 102539 HAS SOUPS 102520 WITH SCORE 102694.858
AT ITER 2989 NEW BEST:: SOT 341686 SOS 174849 HAS SOPS 174783 HAS SOUS 102530 HAS SOUPS 102511 WITH SCORE 102685.849
AT ITER 2992 NEW BEST:: SOT 341534 SOS 174846 HAS SOPS 174780 HAS SOUS 102511 HAS SOUPS 102492 WITH SCORE 102666.846
AT ITER 2996 NEW BEST:: SOT 341529 SOS 174841 HAS SOPS 174775 HAS SOUS 102506 HAS SOUPS 102487 WITH SCORE 102661.841
AT ITER 3024 NEW BEST:: SOT 341549 SOS 174861 HAS SOPS 174795 HAS SOUS 102468 HAS SOUPS 102449 WITH SCORE 102623.861
AT ITER 3026 NEW BEST:: SOT 341513 SOS 174789 HAS SOPS 174723 HAS SOUS 102432 HAS SOUPS 102413 WITH SCORE 102587.789
AT ITER 3039 NEW BEST:: SOT 341490 SOS 174743 HAS SOPS 174677 HAS SOUS 102432 HAS SOUPS 102413 WITH SCORE 102587.743
AT ITER 3049 NEW BEST:: SOT 341414 SOS 174716 HAS SOPS 174650 HAS SOUS 102420 HAS SOUPS 102401 WITH SCORE 102575.716
AT ITER 3051 NEW BEST:: SOT 341414 SOS 174706 HAS SOPS 174640 HAS SOUS 102420 HAS SOUPS 102401 WITH SCORE 102575.706
AT ITER 3059 NEW BEST:: SOT 341367 SOS 174685 HAS SOPS 174619 HAS SOUS 102326 HAS SOUPS 102307 WITH SCORE 102481.685
AT ITER 3075 NEW BEST:: SOT 341670 SOS 174088 HAS SOPS 174022 HAS SOUS 102266 HAS SOUPS 102247 WITH SCORE 102421.088
AT ITER 3093 NEW BEST:: SOT 341670 SOS 174088 HAS SOPS 174022 HAS SOUS 101829 HAS SOUPS 101810 WITH SCORE 101984.088
AT ITER 3098 NEW BEST:: SOT 341810 SOS 174071 HAS SOPS 174005 HAS SOUS 101812 HAS SOUPS 101793 WITH SCORE 101967.071
AT ITER 3119 NEW BEST:: SOT 341740 SOS 173855 HAS SOPS 173789 HAS SOUS 101664 HAS SOUPS 101645 WITH SCORE 101818.855
AT ITER 3128 NEW BEST:: SOT 341709 SOS 173824 HAS SOPS 173758 HAS SOUS 101614 HAS SOUPS 101595 WITH SCORE 101768.824
AT ITER 3154 NEW BEST:: SOT 341707 SOS 173822 HAS SOPS 173756 HAS SOUS 101578 HAS SOUPS 101559 WITH SCORE 101732.822
AT ITER 3155 NEW BEST:: SOT 341716 SOS 173600 HAS SOPS 173534 HAS SOUS 101530 HAS SOUPS 101511 WITH SCORE 101684.6
AT ITER 3164 NEW BEST:: SOT 341690 SOS 173600 HAS SOPS 173534 HAS SOUS 101478 HAS SOUPS 101459 WITH SCORE 101632.6
AT ITER 3180 NEW BEST:: SOT 341439 SOS 173427 HAS SOPS 173361 HAS SOUS 101304 HAS SOUPS 101285 WITH SCORE 101458.427
AT ITER 3189 NEW BEST:: SOT 341420 SOS 173408 HAS SOPS 173342 HAS SOUS 101266 HAS SOUPS 101247 WITH SCORE 101420.408
AT ITER 3214 NEW BEST:: SOT 341412 SOS 173402 HAS SOPS 173336 HAS SOUS 101260 HAS SOUPS 101241 WITH SCORE 101414.402
AT ITER 3220 NEW BEST:: SOT 341371 SOS 173319 HAS SOPS 173253 HAS SOUS 101222 HAS SOUPS 101203 WITH SCORE 101376.319
AT ITER 3221 NEW BEST:: SOT 341342 SOS 173313 HAS SOPS 173247 HAS SOUS 101193 HAS SOUPS 101174 WITH SCORE 101347.313
AT ITER 3237 NEW BEST:: SOT 341329 SOS 173289 HAS SOPS 173223 HAS SOUS 101133 HAS SOUPS 101114 WITH SCORE 101287.289
AT ITER 3242 NEW BEST:: SOT 341329 SOS 173214 HAS SOPS 173148 HAS SOUS 101133 HAS SOUPS 101114 WITH SCORE 101287.214
AT ITER 3243 NEW BEST:: SOT 341321 SOS 173198 HAS SOPS 173132 HAS SOUS 101125 HAS SOUPS 101106 WITH SCORE 101279.198
AT ITER 3247 NEW BEST:: SOT 341309 SOS 173219 HAS SOPS 173153 HAS SOUS 101110 HAS SOUPS 101091 WITH SCORE 101264.219
AT ITER 3254 NEW BEST:: SOT 341296 SOS 172995 HAS SOPS 172929 HAS SOUS 101087 HAS SOUPS 101068 WITH SCORE 101240.995
AT ITER 3257 NEW BEST:: SOT 340504 SOS 173212 HAS SOPS 173146 HAS SOUS 101049 HAS SOUPS 101030 WITH SCORE 101203.212
AT ITER 3260 NEW BEST:: SOT 340451 SOS 173106 HAS SOPS 173040 HAS SOUS 100959 HAS SOUPS 100940 WITH SCORE 101113.106
AT ITER 3265 NEW BEST:: SOT 340448 SOS 172912 HAS SOPS 172846 HAS SOUS 100953 HAS SOUPS 100934 WITH SCORE 101106.912
AT ITER 3278 NEW BEST:: SOT 339634 SOS 172129 HAS SOPS 172063 HAS SOUS 100170 HAS SOUPS 100151 WITH SCORE 100323.129
AT ITER 3280 NEW BEST:: SOT 339618 SOS 172097 HAS SOPS 172031 HAS SOUS 100062 HAS SOUPS 100043 WITH SCORE 100215.097
AT ITER 3285 NEW BEST:: SOT 339493 SOS 172046 HAS SOPS 171980 HAS SOUS 100011 HAS SOUPS 99992 WITH SCORE 100164.046
AT ITER 3286 NEW BEST:: SOT 339493 SOS 172046 HAS SOPS 171980 HAS SOUS 100001 HAS SOUPS 99982 WITH SCORE 100154.046
AT ITER 3287 NEW BEST:: SOT 339482 SOS 172024 HAS SOPS 171958 HAS SOUS 99979 HAS SOUPS 99960 WITH SCORE 100132.024
AT ITER 3289 NEW BEST:: SOT 339495 SOS 172083 HAS SOPS 172017 HAS SOUS 99711 HAS SOUPS 99692 WITH SCORE 99864.083
AT ITER 3290 NEW BEST:: SOT 339423 SOS 172011 HAS SOPS 171945 HAS SOUS 99606 HAS SOUPS 99587 WITH SCORE 99759.011
AT ITER 3301 NEW BEST:: SOT 339424 SOS 171985 HAS SOPS 171919 HAS SOUS 99580 HAS SOUPS 99561 WITH SCORE 99732.985
AT ITER 3318 NEW BEST:: SOT 339419 SOS 171595 HAS SOPS 171529 HAS SOUS 99570 HAS SOUPS 99551 WITH SCORE 99722.595
AT ITER 3322 NEW BEST:: SOT 339378 SOS 171513 HAS SOPS 171447 HAS SOUS 99516 HAS SOUPS 99497 WITH SCORE 99668.513
AT ITER 3325 NEW BEST:: SOT 339373 SOS 171508 HAS SOPS 171442 HAS SOUS 99506 HAS SOUPS 99487 WITH SCORE 99658.508
AT ITER 3340 NEW BEST:: SOT 339337 SOS 171436 HAS SOPS 171370 HAS SOUS 99465 HAS SOUPS 99446 WITH SCORE 99617.436
AT ITER 3343 NEW BEST:: SOT 339337 SOS 171436 HAS SOPS 171370 HAS SOUS 99460 HAS SOUPS 99441 WITH SCORE 99612.436
AT ITER 3346 NEW BEST:: SOT 339337 SOS 171422 HAS SOPS 171356 HAS SOUS 99446 HAS SOUPS 99427 WITH SCORE 99598.422
AT ITER 3365 NEW BEST:: SOT 337673 SOS 169758 HAS SOPS 169692 HAS SOUS 98917 HAS SOUPS 98898 WITH SCORE 99067.758
AT ITER 3372 NEW BEST:: SOT 337644 SOS 169729 HAS SOPS 169663 HAS SOUS 98906 HAS SOUPS 98887 WITH SCORE 99056.729
AT ITER 3391 NEW BEST:: SOT 337724 SOS 169809 HAS SOPS 169743 HAS SOUS 97855 HAS SOUPS 97836 WITH SCORE 98005.809
AT ITER 3393 NEW BEST:: SOT 337060 SOS 169398 HAS SOPS 169332 HAS SOUS 97306 HAS SOUPS 97287 WITH SCORE 97456.398
AT ITER 3406 NEW BEST:: SOT 337024 SOS 169362 HAS SOPS 169296 HAS SOUS 97251 HAS SOUPS 97232 WITH SCORE 97401.362
AT ITER 3425 NEW BEST:: SOT 337005 SOS 169193 HAS SOPS 169127 HAS SOUS 97209 HAS SOUPS 97190 WITH SCORE 97359.193
AT ITER 3431 NEW BEST:: SOT 336979 SOS 169154 HAS SOPS 169088 HAS SOUS 97157 HAS SOUPS 97138 WITH SCORE 97307.154
AT ITER 3442 NEW BEST:: SOT 336905 SOS 169080 HAS SOPS 169014 HAS SOUS 97060 HAS SOUPS 97041 WITH SCORE 97210.08
AT ITER 3448 NEW BEST:: SOT 336895 SOS 169070 HAS SOPS 169004 HAS SOUS 97040 HAS SOUPS 97021 WITH SCORE 97190.07
AT ITER 3451 NEW BEST:: SOT 336895 SOS 168586 HAS SOPS 168520 HAS SOUS 96974 HAS SOUPS 96955 WITH SCORE 97123.586
AT ITER 3460 NEW BEST:: SOT 336875 SOS 168644 HAS SOPS 168578 HAS SOUS 96712 HAS SOUPS 96693 WITH SCORE 96861.644
AT ITER 3492 NEW BEST:: SOT 336850 SOS 168528 HAS SOPS 168462 HAS SOUS 96618 HAS SOUPS 96599 WITH SCORE 96767.528
AT ITER 3507 NEW BEST:: SOT 336854 SOS 168532 HAS SOPS 168466 HAS SOUS 96603 HAS SOUPS 96584 WITH SCORE 96752.532
AT ITER 3509 NEW BEST:: SOT 336854 SOS 168532 HAS SOPS 168466 HAS SOUS 96599 HAS SOUPS 96580 WITH SCORE 96748.532
AT ITER 3535 NEW BEST:: SOT 337165 SOS 168843 HAS SOPS 168777 HAS SOUS 96439 HAS SOUPS 96420 WITH SCORE 96588.843
AT ITER 3542 NEW BEST:: SOT 337137 SOS 168865 HAS SOPS 168799 HAS SOUS 96383 HAS SOUPS 96364 WITH SCORE 96532.865
AT ITER 3552 NEW BEST:: SOT 337069 SOS 168795 HAS SOPS 168729 HAS SOUS 96291 HAS SOUPS 96272 WITH SCORE 96440.795
AT ITER 3564 NEW BEST:: SOT 337060 SOS 168786 HAS SOPS 168720 HAS SOUS 96170 HAS SOUPS 96151 WITH SCORE 96319.786
AT ITER 3590 NEW BEST:: SOT 337060 SOS 168786 HAS SOPS 168720 HAS SOUS 96164 HAS SOUPS 96145 WITH SCORE 96313.786
AT ITER 3591 NEW BEST:: SOT 337049 SOS 168775 HAS SOPS 168709 HAS SOUS 96153 HAS SOUPS 96134 WITH SCORE 96302.775
AT ITER 3592 NEW BEST:: SOT 337063 SOS 168766 HAS SOPS 168700 HAS SOUS 96145 HAS SOUPS 96126 WITH SCORE 96294.766
AT ITER 3613 NEW BEST:: SOT 337029 SOS 168732 HAS SOPS 168666 HAS SOUS 96140 HAS SOUPS 96121 WITH SCORE 96289.732
AT ITER 3618 NEW BEST:: SOT 336989 SOS 168726 HAS SOPS 168660 HAS SOUS 96110 HAS SOUPS 96091 WITH SCORE 96259.726
AT ITER 3626 NEW BEST:: SOT 336927 SOS 168756 HAS SOPS 168690 HAS SOUS 96047 HAS SOUPS 96028 WITH SCORE 96196.756
AT ITER 3659 NEW BEST:: SOT 336927 SOS 168756 HAS SOPS 168690 HAS SOUS 96046 HAS SOUPS 96027 WITH SCORE 96195.756
AT ITER 3670 NEW BEST:: SOT 336948 SOS 168777 HAS SOPS 168711 HAS SOUS 95976 HAS SOUPS 95957 WITH SCORE 96125.777
AT ITER 3676 NEW BEST:: SOT 336810 SOS 168788 HAS SOPS 168722 HAS SOUS 95882 HAS SOUPS 95863 WITH SCORE 96031.788
AT ITER 3677 NEW BEST:: SOT 336642 SOS 168715 HAS SOPS 168649 HAS SOUS 95777 HAS SOUPS 95758 WITH SCORE 95926.715
AT ITER 3685 NEW BEST:: SOT 336574 SOS 168647 HAS SOPS 168581 HAS SOUS 95709 HAS SOUPS 95690 WITH SCORE 95858.647
AT ITER 3691 NEW BEST:: SOT 336539 SOS 168402 HAS SOPS 168336 HAS SOUS 95639 HAS SOUPS 95620 WITH SCORE 95788.402
AT ITER 3697 NEW BEST:: SOT 336538 SOS 168401 HAS SOPS 168335 HAS SOUS 95608 HAS SOUPS 95589 WITH SCORE 95757.401
AT ITER 3705 NEW BEST:: SOT 336538 SOS 168473 HAS SOPS 168407 HAS SOUS 95533 HAS SOUPS 95514 WITH SCORE 95682.473
AT ITER 3706 NEW BEST:: SOT 336510 SOS 168445 HAS SOPS 168379 HAS SOUS 95477 HAS SOUPS 95458 WITH SCORE 95626.445
AT ITER 3707 NEW BEST:: SOT 336340 SOS 168368 HAS SOPS 168302 HAS SOUS 95334 HAS SOUPS 95315 WITH SCORE 95483.368
AT ITER 3715 NEW BEST:: SOT 336340 SOS 168368 HAS SOPS 168302 HAS SOUS 95297 HAS SOUPS 95278 WITH SCORE 95446.368
AT ITER 3720 NEW BEST:: SOT 336421 SOS 168940 HAS SOPS 168874 HAS SOUS 95179 HAS SOUPS 95160 WITH SCORE 95328.94
AT ITER 3721 NEW BEST:: SOT 336323 SOS 168728 HAS SOPS 168662 HAS SOUS 95022 HAS SOUPS 95003 WITH SCORE 95171.728
AT ITER 3731 NEW BEST:: SOT 336269 SOS 168544 HAS SOPS 168478 HAS SOUS 94888 HAS SOUPS 94869 WITH SCORE 95037.544
AT ITER 3732 NEW BEST:: SOT 336260 SOS 168535 HAS SOPS 168469 HAS SOUS 94870 HAS SOUPS 94851 WITH SCORE 95019.535
AT ITER 3744 NEW BEST:: SOT 336136 SOS 168463 HAS SOPS 168397 HAS SOUS 94702 HAS SOUPS 94683 WITH SCORE 94851.463
AT ITER 3745 NEW BEST:: SOT 336136 SOS 168457 HAS SOPS 168391 HAS SOUS 94666 HAS SOUPS 94647 WITH SCORE 94815.457
AT ITER 3747 NEW BEST:: SOT 336136 SOS 168205 HAS SOPS 168139 HAS SOUS 94651 HAS SOUPS 94632 WITH SCORE 94800.205
AT ITER 3763 NEW BEST:: SOT 336130 SOS 168169 HAS SOPS 168103 HAS SOUS 94645 HAS SOUPS 94626 WITH SCORE 94794.169
AT ITER 3774 NEW BEST:: SOT 336121 SOS 168117 HAS SOPS 168051 HAS SOUS 94595 HAS SOUPS 94576 WITH SCORE 94744.117
AT ITER 3775 NEW BEST:: SOT 336092 SOS 168088 HAS SOPS 168022 HAS SOUS 94566 HAS SOUPS 94547 WITH SCORE 94715.088
AT ITER 3787 NEW BEST:: SOT 336124 SOS 167944 HAS SOPS 167878 HAS SOUS 94492 HAS SOUPS 94473 WITH SCORE 94640.944
AT ITER 3802 NEW BEST:: SOT 336116 SOS 167888 HAS SOPS 167822 HAS SOUS 94476 HAS SOUPS 94457 WITH SCORE 94624.888
AT ITER 3813 NEW BEST:: SOT 336128 SOS 167900 HAS SOPS 167834 HAS SOUS 94034 HAS SOUPS 94015 WITH SCORE 94182.9
AT ITER 3815 NEW BEST:: SOT 336112 SOS 167884 HAS SOPS 167818 HAS SOUS 94020 HAS SOUPS 94001 WITH SCORE 94168.884
AT ITER 3823 NEW BEST:: SOT 336098 SOS 167870 HAS SOPS 167804 HAS SOUS 93965 HAS SOUPS 93946 WITH SCORE 94113.87
AT ITER 3833 NEW BEST:: SOT 336089 SOS 167861 HAS SOPS 167795 HAS SOUS 93956 HAS SOUPS 93937 WITH SCORE 94104.861
AT ITER 3836 NEW BEST:: SOT 336089 SOS 167861 HAS SOPS 167795 HAS SOUS 93955 HAS SOUPS 93936 WITH SCORE 94103.861
AT ITER 3852 NEW BEST:: SOT 336234 SOS 167925 HAS SOPS 167859 HAS SOUS 93766 HAS SOUPS 93747 WITH SCORE 93914.925
AT ITER 3869 NEW BEST:: SOT 336182 SOS 167883 HAS SOPS 167817 HAS SOUS 93662 HAS SOUPS 93643 WITH SCORE 93810.883
AT ITER 3887 NEW BEST:: SOT 336151 SOS 167852 HAS SOPS 167786 HAS SOUS 93600 HAS SOUPS 93581 WITH SCORE 93748.852
AT ITER 3892 NEW BEST:: SOT 336113 SOS 167600 HAS SOPS 167534 HAS SOUS 93562 HAS SOUPS 93543 WITH SCORE 93710.6
AT ITER 3899 NEW BEST:: SOT 336055 SOS 167484 HAS SOPS 167418 HAS SOUS 93534 HAS SOUPS 93515 WITH SCORE 93682.484
AT ITER 3909 NEW BEST:: SOT 336026 SOS 167475 HAS SOPS 167409 HAS SOUS 93476 HAS SOUPS 93457 WITH SCORE 93624.475
AT ITER 3915 NEW BEST:: SOT 336043 SOS 167452 HAS SOPS 167386 HAS SOUS 93457 HAS SOUPS 93438 WITH SCORE 93605.452
AT ITER 3918 NEW BEST:: SOT 336004 SOS 167413 HAS SOPS 167347 HAS SOUS 93379 HAS SOUPS 93360 WITH SCORE 93527.413
AT ITER 3935 NEW BEST:: SOT 335816 SOS 167225 HAS SOPS 167159 HAS SOUS 93251 HAS SOUPS 93232 WITH SCORE 93399.225
AT ITER 3936 NEW BEST:: SOT 335816 SOS 167204 HAS SOPS 167138 HAS SOUS 93210 HAS SOUPS 93191 WITH SCORE 93358.204
AT ITER 3955 NEW BEST:: SOT 335908 SOS 166966 HAS SOPS 166900 HAS SOUS 93173 HAS SOUPS 93154 WITH SCORE 93320.966
AT ITER 3959 NEW BEST:: SOT 335828 SOS 166886 HAS SOPS 166820 HAS SOUS 93143 HAS SOUPS 93124 WITH SCORE 93290.886
AT ITER 3975 NEW BEST:: SOT 335828 SOS 166886 HAS SOPS 166820 HAS SOUS 93140 HAS SOUPS 93121 WITH SCORE 93287.886
AT ITER 3980 NEW BEST:: SOT 335856 SOS 166873 HAS SOPS 166807 HAS SOUS 93127 HAS SOUPS 93108 WITH SCORE 93274.873
AT ITER 4011 NEW BEST:: SOT 335846 SOS 166863 HAS SOPS 166797 HAS SOUS 93103 HAS SOUPS 93084 WITH SCORE 93250.863
AT ITER 4022 NEW BEST:: SOT 335818 SOS 166807 HAS SOPS 166741 HAS SOUS 93042 HAS SOUPS 93023 WITH SCORE 93189.807
AT ITER 4031 NEW BEST:: SOT 335687 SOS 166662 HAS SOPS 166596 HAS SOUS 92839 HAS SOUPS 92820 WITH SCORE 92986.662
AT ITER 4039 NEW BEST:: SOT 335688 SOS 166665 HAS SOPS 166599 HAS SOUS 92832 HAS SOUPS 92813 WITH SCORE 92979.665
AT ITER 4048 NEW BEST:: SOT 335660 SOS 166637 HAS SOPS 166571 HAS SOUS 92804 HAS SOUPS 92785 WITH SCORE 92951.637
AT ITER 4059 NEW BEST:: SOT 335655 SOS 166601 HAS SOPS 166535 HAS SOUS 92768 HAS SOUPS 92749 WITH SCORE 92915.601
AT ITER 4124 NEW BEST:: SOT 335564 SOS 166576 HAS SOPS 166510 HAS SOUS 92766 HAS SOUPS 92747 WITH SCORE 92913.576
AT ITER 4143 NEW BEST:: SOT 335564 SOS 166576 HAS SOPS 166510 HAS SOUS 92763 HAS SOUPS 92744 WITH SCORE 92910.576
AT ITER 4161 NEW BEST:: SOT 335564 SOS 166731 HAS SOPS 166669 HAS SOUS 92753 HAS SOUPS 92734 WITH SCORE 92900.731
AT ITER 4164 NEW BEST:: SOT 335551 SOS 166640 HAS SOPS 166578 HAS SOUS 92727 HAS SOUPS 92708 WITH SCORE 92874.64
AT ITER 4209 NEW BEST:: SOT 335462 SOS 166551 HAS SOPS 166489 HAS SOUS 92638 HAS SOUPS 92619 WITH SCORE 92785.551
AT ITER 4218 NEW BEST:: SOT 335388 SOS 166397 HAS SOPS 166335 HAS SOUS 92484 HAS SOUPS 92465 WITH SCORE 92631.397
AT ITER 4240 NEW BEST:: SOT 335373 SOS 166382 HAS SOPS 166320 HAS SOUS 92453 HAS SOUPS 92434 WITH SCORE 92600.382
AT ITER 4260 NEW BEST:: SOT 335292 SOS 166218 HAS SOPS 166156 HAS SOUS 91923 HAS SOUPS 91904 WITH SCORE 92070.218
AT ITER 4270 NEW BEST:: SOT 335298 SOS 166224 HAS SOPS 166162 HAS SOUS 91863 HAS SOUPS 91844 WITH SCORE 92010.224
AT ITER 4282 NEW BEST:: SOT 335333 SOS 166097 HAS SOPS 166035 HAS SOUS 91696 HAS SOUPS 91677 WITH SCORE 91843.097
AT ITER 4290 NEW BEST:: SOT 335331 SOS 166096 HAS SOPS 166034 HAS SOUS 91695 HAS SOUPS 91676 WITH SCORE 91842.096
AT ITER 4295 NEW BEST:: SOT 335331 SOS 166095 HAS SOPS 166033 HAS SOUS 91694 HAS SOUPS 91675 WITH SCORE 91841.095
AT ITER 4303 NEW BEST:: SOT 335340 SOS 166049 HAS SOPS 165987 HAS SOUS 91670 HAS SOUPS 91651 WITH SCORE 91817.049
AT ITER 4305 NEW BEST:: SOT 335314 SOS 165941 HAS SOPS 165879 HAS SOUS 91560 HAS SOUPS 91541 WITH SCORE 91706.941
AT ITER 4322 NEW BEST:: SOT 335314 SOS 165941 HAS SOPS 165879 HAS SOUS 91558 HAS SOUPS 91539 WITH SCORE 91704.941
AT ITER 4324 NEW BEST:: SOT 335314 SOS 165936 HAS SOPS 165874 HAS SOUS 91558 HAS SOUPS 91539 WITH SCORE 91704.936
AT ITER 4389 NEW BEST:: SOT 335324 SOS 166001 HAS SOPS 165939 HAS SOUS 91362 HAS SOUPS 91343 WITH SCORE 91509.001
AT ITER 4391 NEW BEST:: SOT 335264 SOS 165956 HAS SOPS 165894 HAS SOUS 91287 HAS SOUPS 91268 WITH SCORE 91433.956
AT ITER 4421 NEW BEST:: SOT 335309 SOS 165579 HAS SOPS 165517 HAS SOUS 90920 HAS SOUPS 90901 WITH SCORE 91066.579
AT ITER 4449 NEW BEST:: SOT 335309 SOS 165541 HAS SOPS 165479 HAS SOUS 90920 HAS SOUPS 90901 WITH SCORE 91066.541
AT ITER 4451 NEW BEST:: SOT 335309 SOS 165541 HAS SOPS 165479 HAS SOUS 90897 HAS SOUPS 90878 WITH SCORE 91043.541
AT ITER 4454 NEW BEST:: SOT 335309 SOS 165829 HAS SOPS 165767 HAS SOUS 90787 HAS SOUPS 90768 WITH SCORE 90933.829
AT ITER 4461 NEW BEST:: SOT 335301 SOS 165814 HAS SOPS 165752 HAS SOUS 90782 HAS SOUPS 90763 WITH SCORE 90928.814
AT ITER 4471 NEW BEST:: SOT 335249 SOS 165762 HAS SOPS 165700 HAS SOUS 90755 HAS SOUPS 90736 WITH SCORE 90901.762
AT ITER 4474 NEW BEST:: SOT 335226 SOS 165705 HAS SOPS 165643 HAS SOUS 90698 HAS SOUPS 90679 WITH SCORE 90844.705
AT ITER 4477 NEW BEST:: SOT 335226 SOS 165667 HAS SOPS 165605 HAS SOUS 90698 HAS SOUPS 90679 WITH SCORE 90844.667
AT ITER 4522 NEW BEST:: SOT 335215 SOS 165662 HAS SOPS 165600 HAS SOUS 90676 HAS SOUPS 90657 WITH SCORE 90822.662
AT ITER 4530 NEW BEST:: SOT 335257 SOS 165689 HAS SOPS 165627 HAS SOUS 90651 HAS SOUPS 90632 WITH SCORE 90797.689
AT ITER 4546 NEW BEST:: SOT 335179 SOS 165533 HAS SOPS 165471 HAS SOUS 90223 HAS SOUPS 90204 WITH SCORE 90369.533
AT ITER 4557 NEW BEST:: SOT 335179 SOS 165388 HAS SOPS 165326 HAS SOUS 90078 HAS SOUPS 90059 WITH SCORE 90224.388
AT ITER 4567 NEW BEST:: SOT 335140 SOS 165310 HAS SOPS 165248 HAS SOUS 90018 HAS SOUPS 89999 WITH SCORE 90164.31
AT ITER 4591 NEW BEST:: SOT 335106 SOS 165242 HAS SOPS 165180 HAS SOUS 89963 HAS SOUPS 89944 WITH SCORE 90109.242
AT ITER 4593 NEW BEST:: SOT 335104 SOS 165244 HAS SOPS 165182 HAS SOUS 89959 HAS SOUPS 89940 WITH SCORE 90105.244
AT ITER 4617 NEW BEST:: SOT 335105 SOS 165245 HAS SOPS 165183 HAS SOUS 89958 HAS SOUPS 89939 WITH SCORE 90104.245
AT ITER 4624 NEW BEST:: SOT 335111 SOS 165251 HAS SOPS 165189 HAS SOUS 89952 HAS SOUPS 89933 WITH SCORE 90098.251
AT ITER 4633 NEW BEST:: SOT 335100 SOS 165240 HAS SOPS 165178 HAS SOUS 89936 HAS SOUPS 89917 WITH SCORE 90082.24
AT ITER 4637 NEW BEST:: SOT 335057 SOS 165197 HAS SOPS 165135 HAS SOUS 89844 HAS SOUPS 89825 WITH SCORE 89990.197
AT ITER 4665 NEW BEST:: SOT 335064 SOS 165194 HAS SOPS 165132 HAS SOUS 89839 HAS SOUPS 89820 WITH SCORE 89985.194
AT ITER 4671 NEW BEST:: SOT 335064 SOS 165199 HAS SOPS 165137 HAS SOUS 89806 HAS SOUPS 89787 WITH SCORE 89952.199
AT ITER 4673 NEW BEST:: SOT 335033 SOS 165145 HAS SOPS 165083 HAS SOUS 89776 HAS SOUPS 89757 WITH SCORE 89922.145
AT ITER 4680 NEW BEST:: SOT 335005 SOS 165117 HAS SOPS 165055 HAS SOUS 89748 HAS SOUPS 89729 WITH SCORE 89894.117
AT ITER 4686 NEW BEST:: SOT 334949 SOS 165096 HAS SOPS 165034 HAS SOUS 89745 HAS SOUPS 89726 WITH SCORE 89891.096
AT ITER 4690 NEW BEST:: SOT 334949 SOS 165096 HAS SOPS 165034 HAS SOUS 89720 HAS SOUPS 89701 WITH SCORE 89866.096
AT ITER 4695 NEW BEST:: SOT 334949 SOS 165096 HAS SOPS 165034 HAS SOUS 89676 HAS SOUPS 89657 WITH SCORE 89822.096
AT ITER 4724 NEW BEST:: SOT 334949 SOS 165090 HAS SOPS 165028 HAS SOUS 89676 HAS SOUPS 89657 WITH SCORE 89822.09
AT ITER 4735 NEW BEST:: SOT 334938 SOS 165079 HAS SOPS 165017 HAS SOUS 89665 HAS SOUPS 89646 WITH SCORE 89811.079
AT ITER 4740 NEW BEST:: SOT 334970 SOS 165355 HAS SOPS 165293 HAS SOUS 89655 HAS SOUPS 89636 WITH SCORE 89801.355
AT ITER 4744 NEW BEST:: SOT 334962 SOS 165321 HAS SOPS 165259 HAS SOUS 89649 HAS SOUPS 89630 WITH SCORE 89795.321
AT ITER 4747 NEW BEST:: SOT 334962 SOS 165320 HAS SOPS 165258 HAS SOUS 89649 HAS SOUPS 89630 WITH SCORE 89795.32
AT ITER 4768 NEW BEST:: SOT 334912 SOS 165324 HAS SOPS 165262 HAS SOUS 89574 HAS SOUPS 89555 WITH SCORE 89720.324
AT ITER 4775 NEW BEST:: SOT 333277 SOS 164001 HAS SOPS 163939 HAS SOUS 87920 HAS SOUPS 87901 WITH SCORE 88065.001
AT ITER 4783 NEW BEST:: SOT 333267 SOS 163949 HAS SOPS 163887 HAS SOUS 87875 HAS SOUPS 87856 WITH SCORE 88019.949
AT ITER 4784 NEW BEST:: SOT 333253 SOS 163975 HAS SOPS 163913 HAS SOUS 87847 HAS SOUPS 87828 WITH SCORE 87991.975
AT ITER 4827 NEW BEST:: SOT 333104 SOS 163826 HAS SOPS 163764 HAS SOUS 87697 HAS SOUPS 87678 WITH SCORE 87841.826
AT ITER 4842 NEW BEST:: SOT 333080 SOS 163778 HAS SOPS 163716 HAS SOUS 87625 HAS SOUPS 87606 WITH SCORE 87769.778
AT ITER 4864 NEW BEST:: SOT 332760 SOS 163564 HAS SOPS 163502 HAS SOUS 87363 HAS SOUPS 87344 WITH SCORE 87507.564
AT ITER 4898 NEW BEST:: SOT 332760 SOS 163564 HAS SOPS 163502 HAS SOUS 87352 HAS SOUPS 87333 WITH SCORE 87496.564
AT ITER 4906 NEW BEST:: SOT 332760 SOS 163410 HAS SOPS 163348 HAS SOUS 87334 HAS SOUPS 87315 WITH SCORE 87478.41
AT ITER 4907 NEW BEST:: SOT 332759 SOS 163433 HAS SOPS 163371 HAS SOUS 87333 HAS SOUPS 87314 WITH SCORE 87477.433
AT ITER 4918 NEW BEST:: SOT 332802 SOS 163473 HAS SOPS 163411 HAS SOUS 87270 HAS SOUPS 87251 WITH SCORE 87414.473
AT ITER 4947 NEW BEST:: SOT 332826 SOS 163413 HAS SOPS 163351 HAS SOUS 87260 HAS SOUPS 87241 WITH SCORE 87404.413
AT ITER 4972 NEW BEST:: SOT 332808 SOS 163395 HAS SOPS 163333 HAS SOUS 87167 HAS SOUPS 87148 WITH SCORE 87311.395
AT ITER 4982 NEW BEST:: SOT 332796 SOS 163383 HAS SOPS 163321 HAS SOUS 87143 HAS SOUPS 87124 WITH SCORE 87287.383
AT ITER 4991 NEW BEST:: SOT 332816 SOS 163300 HAS SOPS 163238 HAS SOUS 87090 HAS SOUPS 87071 WITH SCORE 87234.3
AT ITER 5006 NEW BEST:: SOT 332791 SOS 163250 HAS SOPS 163188 HAS SOUS 87040 HAS SOUPS 87021 WITH SCORE 87184.25
AT ITER 5051 NEW BEST:: SOT 332777 SOS 163231 HAS SOPS 163169 HAS SOUS 87014 HAS SOUPS 86995 WITH SCORE 87158.231
AT ITER 5078 NEW BEST:: SOT 332739 SOS 163193 HAS SOPS 163131 HAS SOUS 86975 HAS SOUPS 86956 WITH SCORE 87119.193
AT ITER 5085 NEW BEST:: SOT 332736 SOS 163180 HAS SOPS 163118 HAS SOUS 86923 HAS SOUPS 86904 WITH SCORE 87067.18
AT ITER 5090 NEW BEST:: SOT 332746 SOS 163190 HAS SOPS 163128 HAS SOUS 86764 HAS SOUPS 86745 WITH SCORE 86908.19
AT ITER 5186 NEW BEST:: SOT 332671 SOS 163140 HAS SOPS 163078 HAS SOUS 86714 HAS SOUPS 86695 WITH SCORE 86858.14
AT ITER 5198 NEW BEST:: SOT 332671 SOS 163140 HAS SOPS 163078 HAS SOUS 86710 HAS SOUPS 86691 WITH SCORE 86854.14
AT ITER 5200 NEW BEST:: SOT 332671 SOS 163122 HAS SOPS 163060 HAS SOUS 86710 HAS SOUPS 86691 WITH SCORE 86854.122
AT ITER 5202 NEW BEST:: SOT 332658 SOS 163089 HAS SOPS 163027 HAS SOUS 86697 HAS SOUPS 86678 WITH SCORE 86841.089
AT ITER 5210 NEW BEST:: SOT 332618 SOS 162865 HAS SOPS 162803 HAS SOUS 86467 HAS SOUPS 86448 WITH SCORE 86610.865
AT ITER 5214 NEW BEST:: SOT 332618 SOS 162865 HAS SOPS 162803 HAS SOUS 86453 HAS SOUPS 86434 WITH SCORE 86596.865
AT ITER 5216 NEW BEST:: SOT 332695 SOS 163083 HAS SOPS 163021 HAS SOUS 86441 HAS SOUPS 86422 WITH SCORE 86585.083
AT ITER 5262 NEW BEST:: SOT 332689 SOS 163077 HAS SOPS 163015 HAS SOUS 86429 HAS SOUPS 86410 WITH SCORE 86573.077
AT ITER 5263 NEW BEST:: SOT 332685 SOS 163073 HAS SOPS 163011 HAS SOUS 86424 HAS SOUPS 86405 WITH SCORE 86568.073
AT ITER 5269 NEW BEST:: SOT 332649 SOS 163037 HAS SOPS 162975 HAS SOUS 86370 HAS SOUPS 86351 WITH SCORE 86514.037
AT ITER 5282 NEW BEST:: SOT 332619 SOS 163007 HAS SOPS 162945 HAS SOUS 86309 HAS SOUPS 86290 WITH SCORE 86453.007
AT ITER 5287 NEW BEST:: SOT 332592 SOS 162965 HAS SOPS 162903 HAS SOUS 86267 HAS SOUPS 86248 WITH SCORE 86410.965
AT ITER 5335 NEW BEST:: SOT 332592 SOS 162965 HAS SOPS 162903 HAS SOUS 86264 HAS SOUPS 86245 WITH SCORE 86407.965
AT ITER 5362 NEW BEST:: SOT 332581 SOS 162921 HAS SOPS 162859 HAS SOUS 86220 HAS SOUPS 86201 WITH SCORE 86363.921
AT ITER 5369 NEW BEST:: SOT 332575 SOS 162990 HAS SOPS 162928 HAS SOUS 86204 HAS SOUPS 86185 WITH SCORE 86347.99
AT ITER 5372 NEW BEST:: SOT 332566 SOS 162955 HAS SOPS 162893 HAS SOUS 86182 HAS SOUPS 86163 WITH SCORE 86325.955
AT ITER 5381 NEW BEST:: SOT 332059 SOS 162448 HAS SOPS 162386 HAS SOUS 85952 HAS SOUPS 85933 WITH SCORE 86095.448
AT ITER 5404 NEW BEST:: SOT 332059 SOS 162448 HAS SOPS 162386 HAS SOUS 85945 HAS SOUPS 85926 WITH SCORE 86088.448
AT ITER 5410 NEW BEST:: SOT 332052 SOS 162434 HAS SOPS 162372 HAS SOUS 85931 HAS SOUPS 85912 WITH SCORE 86074.434
AT ITER 5437 NEW BEST:: SOT 331978 SOS 162360 HAS SOPS 162298 HAS SOUS 85839 HAS SOUPS 85820 WITH SCORE 85982.36
AT ITER 5452 NEW BEST:: SOT 331978 SOS 162351 HAS SOPS 162289 HAS SOUS 85838 HAS SOUPS 85819 WITH SCORE 85981.351
AT ITER 5465 NEW BEST:: SOT 331937 SOS 162310 HAS SOPS 162248 HAS SOUS 85743 HAS SOUPS 85724 WITH SCORE 85886.31
AT ITER 5477 NEW BEST:: SOT 331937 SOS 162310 HAS SOPS 162248 HAS SOUS 85735 HAS SOUPS 85716 WITH SCORE 85878.31
AT ITER 5481 NEW BEST:: SOT 331912 SOS 162285 HAS SOPS 162223 HAS SOUS 85685 HAS SOUPS 85666 WITH SCORE 85828.285
AT ITER 5489 NEW BEST:: SOT 331834 SOS 162207 HAS SOPS 162145 HAS SOUS 85537 HAS SOUPS 85518 WITH SCORE 85680.207
AT ITER 5500 NEW BEST:: SOT 331783 SOS 162161 HAS SOPS 162099 HAS SOUS 85517 HAS SOUPS 85498 WITH SCORE 85660.161
AT ITER 5508 NEW BEST:: SOT 331769 SOS 162147 HAS SOPS 162085 HAS SOUS 85493 HAS SOUPS 85474 WITH SCORE 85636.147
AT ITER 5512 NEW BEST:: SOT 331769 SOS 162125 HAS SOPS 162063 HAS SOUS 85405 HAS SOUPS 85386 WITH SCORE 85548.125
AT ITER 5519 NEW BEST:: SOT 331757 SOS 162115 HAS SOPS 162053 HAS SOUS 85381 HAS SOUPS 85362 WITH SCORE 85524.115
AT ITER 5544 NEW BEST:: SOT 331618 SOS 162026 HAS SOPS 161964 HAS SOUS 85244 HAS SOUPS 85225 WITH SCORE 85387.026
AT ITER 5551 NEW BEST:: SOT 331618 SOS 161993 HAS SOPS 161931 HAS SOUS 85244 HAS SOUPS 85225 WITH SCORE 85386.993
AT ITER 5560 NEW BEST:: SOT 331579 SOS 161963 HAS SOPS 161901 HAS SOUS 85214 HAS SOUPS 85195 WITH SCORE 85356.963
AT ITER 5584 NEW BEST:: SOT 331576 SOS 161937 HAS SOPS 161875 HAS SOUS 85167 HAS SOUPS 85148 WITH SCORE 85309.937
AT ITER 5626 NEW BEST:: SOT 331565 SOS 161926 HAS SOPS 161864 HAS SOUS 85148 HAS SOUPS 85129 WITH SCORE 85290.926
AT ITER 5629 NEW BEST:: SOT 331558 SOS 161919 HAS SOPS 161857 HAS SOUS 85134 HAS SOUPS 85115 WITH SCORE 85276.919
AT ITER 5631 NEW BEST:: SOT 331519 SOS 161880 HAS SOPS 161818 HAS SOUS 85085 HAS SOUPS 85066 WITH SCORE 85227.88
AT ITER 5639 NEW BEST:: SOT 331520 SOS 161852 HAS SOPS 161790 HAS SOUS 85058 HAS SOUPS 85039 WITH SCORE 85200.852
AT ITER 5642 NEW BEST:: SOT 331444 SOS 161821 HAS SOPS 161759 HAS SOUS 85027 HAS SOUPS 85008 WITH SCORE 85169.821
AT ITER 5657 NEW BEST:: SOT 331444 SOS 161821 HAS SOPS 161759 HAS SOUS 85003 HAS SOUPS 84984 WITH SCORE 85145.821
AT ITER 5666 NEW BEST:: SOT 331442 SOS 161817 HAS SOPS 161755 HAS SOUS 84999 HAS SOUPS 84980 WITH SCORE 85141.817
AT ITER 5678 NEW BEST:: SOT 331283 SOS 161711 HAS SOPS 161649 HAS SOUS 84851 HAS SOUPS 84832 WITH SCORE 84993.711
AT ITER 5727 NEW BEST:: SOT 331264 SOS 161692 HAS SOPS 161630 HAS SOUS 84832 HAS SOUPS 84813 WITH SCORE 84974.692
AT ITER 5745 NEW BEST:: SOT 331223 SOS 161610 HAS SOPS 161548 HAS SOUS 84758 HAS SOUPS 84739 WITH SCORE 84900.61
AT ITER 5754 NEW BEST:: SOT 331205 SOS 161592 HAS SOPS 161530 HAS SOUS 84722 HAS SOUPS 84703 WITH SCORE 84864.592
AT ITER 5778 NEW BEST:: SOT 331356 SOS 161656 HAS SOPS 161594 HAS SOUS 84717 HAS SOUPS 84698 WITH SCORE 84859.656
AT ITER 5790 NEW BEST:: SOT 331354 SOS 161620 HAS SOPS 161558 HAS SOUS 84687 HAS SOUPS 84668 WITH SCORE 84829.62
AT ITER 5826 NEW BEST:: SOT 331295 SOS 161561 HAS SOPS 161499 HAS SOUS 84521 HAS SOUPS 84502 WITH SCORE 84663.561
AT ITER 5829 NEW BEST:: SOT 331278 SOS 161544 HAS SOPS 161482 HAS SOUS 84520 HAS SOUPS 84501 WITH SCORE 84662.544
AT ITER 5892 NEW BEST:: SOT 331304 SOS 161438 HAS SOPS 161376 HAS SOUS 84440 HAS SOUPS 84421 WITH SCORE 84582.438
AT ITER 5911 NEW BEST:: SOT 331297 SOS 161431 HAS SOPS 161369 HAS SOUS 84426 HAS SOUPS 84407 WITH SCORE 84568.431
AT ITER 5948 NEW BEST:: SOT 331229 SOS 161363 HAS SOPS 161301 HAS SOUS 84334 HAS SOUPS 84315 WITH SCORE 84476.363
AT ITER 5949 NEW BEST:: SOT 331218 SOS 161373 HAS SOPS 161311 HAS SOUS 84312 HAS SOUPS 84293 WITH SCORE 84454.373
AT ITER 5965 NEW BEST:: SOT 331587 SOS 161241 HAS SOPS 161179 HAS SOUS 84102 HAS SOUPS 84083 WITH SCORE 84244.241
AT ITER 5971 NEW BEST:: SOT 331587 SOS 161232 HAS SOPS 161170 HAS SOUS 84093 HAS SOUPS 84074 WITH SCORE 84235.232
AT ITER 5986 NEW BEST:: SOT 331537 SOS 161182 HAS SOPS 161120 HAS SOUS 84043 HAS SOUPS 84024 WITH SCORE 84185.182
AT ITER 5998 NEW BEST:: SOT 331537 SOS 161182 HAS SOPS 161120 HAS SOUS 83978 HAS SOUPS 83959 WITH SCORE 84120.182
AT ITER 6004 NEW BEST:: SOT 331448 SOS 161134 HAS SOPS 161072 HAS SOUS 83963 HAS SOUPS 83944 WITH SCORE 84105.134
AT ITER 6006 NEW BEST:: SOT 331447 SOS 161102 HAS SOPS 161040 HAS SOUS 83955 HAS SOUPS 83936 WITH SCORE 84097.102
AT ITER 6017 NEW BEST:: SOT 331450 SOS 161105 HAS SOPS 161043 HAS SOUS 83920 HAS SOUPS 83901 WITH SCORE 84062.105
AT ITER 6018 NEW BEST:: SOT 331443 SOS 160916 HAS SOPS 160854 HAS SOUS 83849 HAS SOUPS 83830 WITH SCORE 83990.916
AT ITER 6034 NEW BEST:: SOT 331347 SOS 160846 HAS SOPS 160784 HAS SOUS 83727 HAS SOUPS 83708 WITH SCORE 83868.846
AT ITER 6055 NEW BEST:: SOT 331333 SOS 160829 HAS SOPS 160767 HAS SOUS 83700 HAS SOUPS 83681 WITH SCORE 83841.829
AT ITER 6087 NEW BEST:: SOT 331333 SOS 160829 HAS SOPS 160767 HAS SOUS 83690 HAS SOUPS 83671 WITH SCORE 83831.829
AT ITER 6133 NEW BEST:: SOT 331465 SOS 160856 HAS SOPS 160794 HAS SOUS 83631 HAS SOUPS 83612 WITH SCORE 83772.856
AT ITER 6137 NEW BEST:: SOT 331460 SOS 160784 HAS SOPS 160722 HAS SOUS 83621 HAS SOUPS 83602 WITH SCORE 83762.784
AT ITER 6140 NEW BEST:: SOT 331425 SOS 160749 HAS SOPS 160687 HAS SOUS 83586 HAS SOUPS 83567 WITH SCORE 83727.749
AT ITER 6149 NEW BEST:: SOT 331367 SOS 160691 HAS SOPS 160629 HAS SOUS 83572 HAS SOUPS 83553 WITH SCORE 83713.691
AT ITER 6158 NEW BEST:: SOT 331366 SOS 160690 HAS SOPS 160628 HAS SOUS 83571 HAS SOUPS 83552 WITH SCORE 83712.69
AT ITER 6182 NEW BEST:: SOT 331329 SOS 160691 HAS SOPS 160629 HAS SOUS 83497 HAS SOUPS 83478 WITH SCORE 83638.691
AT ITER 6211 NEW BEST:: SOT 331303 SOS 160665 HAS SOPS 160603 HAS SOUS 83427 HAS SOUPS 83408 WITH SCORE 83568.665
AT ITER 6239 NEW BEST:: SOT 331265 SOS 160627 HAS SOPS 160565 HAS SOUS 83351 HAS SOUPS 83332 WITH SCORE 83492.627
AT ITER 6256 NEW BEST:: SOT 331254 SOS 160616 HAS SOPS 160554 HAS SOUS 83329 HAS SOUPS 83310 WITH SCORE 83470.616
AT ITER 6283 NEW BEST:: SOT 331254 SOS 158261 HAS SOPS 158199 HAS SOUS 83329 HAS SOUPS 83310 WITH SCORE 83468.261
AT ITER 6290 NEW BEST:: SOT 331247 SOS 158254 HAS SOPS 158192 HAS SOUS 83308 HAS SOUPS 83289 WITH SCORE 83447.254
AT ITER 6292 NEW BEST:: SOT 331161 SOS 158168 HAS SOPS 158106 HAS SOUS 83222 HAS SOUPS 83203 WITH SCORE 83361.168
AT ITER 6296 NEW BEST:: SOT 331142 SOS 158149 HAS SOPS 158087 HAS SOUS 83213 HAS SOUPS 83194 WITH SCORE 83352.149
AT ITER 6301 NEW BEST:: SOT 331102 SOS 158089 HAS SOPS 158027 HAS SOUS 83153 HAS SOUPS 83134 WITH SCORE 83292.089
AT ITER 6327 NEW BEST:: SOT 331126 SOS 158050 HAS SOPS 157988 HAS SOUS 83085 HAS SOUPS 83066 WITH SCORE 83224.05
AT ITER 6328 NEW BEST:: SOT 331116 SOS 158040 HAS SOPS 157978 HAS SOUS 83075 HAS SOUPS 83056 WITH SCORE 83214.04
AT ITER 6331 NEW BEST:: SOT 331099 SOS 158023 HAS SOPS 157961 HAS SOUS 83058 HAS SOUPS 83039 WITH SCORE 83197.023
AT ITER 6340 NEW BEST:: SOT 331097 SOS 158021 HAS SOPS 157959 HAS SOUS 83038 HAS SOUPS 83019 WITH SCORE 83177.021
AT ITER 6354 NEW BEST:: SOT 331061 SOS 157805 HAS SOPS 157743 HAS SOUS 82825 HAS SOUPS 82806 WITH SCORE 82963.805
AT ITER 6367 NEW BEST:: SOT 331030 SOS 157743 HAS SOPS 157681 HAS SOUS 82779 HAS SOUPS 82760 WITH SCORE 82917.743
AT ITER 6397 NEW BEST:: SOT 330956 SOS 157669 HAS SOPS 157607 HAS SOUS 82678 HAS SOUPS 82659 WITH SCORE 82816.669
AT ITER 6425 NEW BEST:: SOT 331051 SOS 157374 HAS SOPS 157312 HAS SOUS 82599 HAS SOUPS 82580 WITH SCORE 82737.374
AT ITER 6446 NEW BEST:: SOT 330967 SOS 157288 HAS SOPS 157226 HAS SOUS 82513 HAS SOUPS 82494 WITH SCORE 82651.288
AT ITER 6457 NEW BEST:: SOT 330885 SOS 157124 HAS SOPS 157062 HAS SOUS 82349 HAS SOUPS 82330 WITH SCORE 82487.124
AT ITER 6471 NEW BEST:: SOT 330829 SOS 157001 HAS SOPS 156939 HAS SOUS 81862 HAS SOUPS 81843 WITH SCORE 82000.001
AT ITER 6474 NEW BEST:: SOT 330818 SOS 156996 HAS SOPS 156934 HAS SOUS 81840 HAS SOUPS 81821 WITH SCORE 81977.996
AT ITER 6477 NEW BEST:: SOT 330813 SOS 156991 HAS SOPS 156929 HAS SOUS 81835 HAS SOUPS 81816 WITH SCORE 81972.991
AT ITER 6501 NEW BEST:: SOT 330813 SOS 156991 HAS SOPS 156929 HAS SOUS 81829 HAS SOUPS 81810 WITH SCORE 81966.991
AT ITER 6502 NEW BEST:: SOT 330804 SOS 156929 HAS SOPS 156867 HAS SOUS 81811 HAS SOUPS 81792 WITH SCORE 81948.929
AT ITER 6521 NEW BEST:: SOT 330758 SOS 156894 HAS SOPS 156832 HAS SOUS 81759 HAS SOUPS 81740 WITH SCORE 81896.894
AT ITER 6523 NEW BEST:: SOT 330738 SOS 156874 HAS SOPS 156812 HAS SOUS 81715 HAS SOUPS 81696 WITH SCORE 81852.874
AT ITER 6527 NEW BEST:: SOT 330792 SOS 156875 HAS SOPS 156813 HAS SOUS 81670 HAS SOUPS 81651 WITH SCORE 81807.875
AT ITER 6539 NEW BEST:: SOT 330708 SOS 156732 HAS SOPS 156670 HAS SOUS 81497 HAS SOUPS 81478 WITH SCORE 81634.732
AT ITER 6563 NEW BEST:: SOT 330704 SOS 156730 HAS SOPS 156668 HAS SOUS 81495 HAS SOUPS 81476 WITH SCORE 81632.73
AT ITER 6574 NEW BEST:: SOT 330638 SOS 156697 HAS SOPS 156635 HAS SOUS 81462 HAS SOUPS 81443 WITH SCORE 81599.697
AT ITER 6585 NEW BEST:: SOT 330618 SOS 156677 HAS SOPS 156615 HAS SOUS 81422 HAS SOUPS 81403 WITH SCORE 81559.677
AT ITER 6590 NEW BEST:: SOT 330605 SOS 156651 HAS SOPS 156589 HAS SOUS 81349 HAS SOUPS 81330 WITH SCORE 81486.651
AT ITER 6615 NEW BEST:: SOT 330588 SOS 156634 HAS SOPS 156572 HAS SOUS 81332 HAS SOUPS 81313 WITH SCORE 81469.634
AT ITER 6627 NEW BEST:: SOT 330487 SOS 156490 HAS SOPS 156428 HAS SOUS 81126 HAS SOUPS 81107 WITH SCORE 81263.49
AT ITER 6630 NEW BEST:: SOT 330484 SOS 156487 HAS SOPS 156425 HAS SOUS 81126 HAS SOUPS 81107 WITH SCORE 81263.487
AT ITER 6643 NEW BEST:: SOT 330477 SOS 156480 HAS SOPS 156418 HAS SOUS 81119 HAS SOUPS 81100 WITH SCORE 81256.48
AT ITER 6652 NEW BEST:: SOT 330446 SOS 156471 HAS SOPS 156409 HAS SOUS 81110 HAS SOUPS 81091 WITH SCORE 81247.471
AT ITER 6666 NEW BEST:: SOT 330346 SOS 156371 HAS SOPS 156309 HAS SOUS 80928 HAS SOUPS 80909 WITH SCORE 81065.371
AT ITER 6712 NEW BEST:: SOT 330189 SOS 156214 HAS SOPS 156152 HAS SOUS 80743 HAS SOUPS 80724 WITH SCORE 80880.214
AT ITER 6735 NEW BEST:: SOT 330174 SOS 156190 HAS SOPS 156128 HAS SOUS 80725 HAS SOUPS 80706 WITH SCORE 80862.19
AT ITER 6741 NEW BEST:: SOT 330160 SOS 156184 HAS SOPS 156122 HAS SOUS 80697 HAS SOUPS 80678 WITH SCORE 80834.184
AT ITER 6749 NEW BEST:: SOT 330154 SOS 156178 HAS SOPS 156116 HAS SOUS 80691 HAS SOUPS 80672 WITH SCORE 80828.178
AT ITER 6758 NEW BEST:: SOT 330154 SOS 156124 HAS SOPS 156062 HAS SOUS 80691 HAS SOUPS 80672 WITH SCORE 80828.124
AT ITER 6766 NEW BEST:: SOT 330152 SOS 156051 HAS SOPS 155989 HAS SOUS 80624 HAS SOUPS 80605 WITH SCORE 80761.051
AT ITER 6778 NEW BEST:: SOT 330145 SOS 156037 HAS SOPS 155975 HAS SOUS 80610 HAS SOUPS 80591 WITH SCORE 80747.037
AT ITER 6787 NEW BEST:: SOT 330124 SOS 155998 HAS SOPS 155936 HAS SOUS 80540 HAS SOUPS 80521 WITH SCORE 80676.998
AT ITER 6794 NEW BEST:: SOT 330124 SOS 155998 HAS SOPS 155936 HAS SOUS 80534 HAS SOUPS 80515 WITH SCORE 80670.998
AT ITER 6834 NEW BEST:: SOT 330109 SOS 156023 HAS SOPS 155961 HAS SOUS 80504 HAS SOUPS 80485 WITH SCORE 80641.023
AT ITER 6836 NEW BEST:: SOT 330109 SOS 155977 HAS SOPS 155915 HAS SOUS 80463 HAS SOUPS 80444 WITH SCORE 80599.977
AT ITER 6859 NEW BEST:: SOT 330090 SOS 155966 HAS SOPS 155904 HAS SOUS 80407 HAS SOUPS 80388 WITH SCORE 80543.966
AT ITER 6895 NEW BEST:: SOT 329943 SOS 155887 HAS SOPS 155825 HAS SOUS 80334 HAS SOUPS 80315 WITH SCORE 80470.887
AT ITER 6896 NEW BEST:: SOT 329922 SOS 155873 HAS SOPS 155811 HAS SOUS 80206 HAS SOUPS 80187 WITH SCORE 80342.873
AT ITER 6902 NEW BEST:: SOT 329889 SOS 155840 HAS SOPS 155778 HAS SOUS 80173 HAS SOUPS 80154 WITH SCORE 80309.84
AT ITER 6905 NEW BEST:: SOT 329873 SOS 156232 HAS SOPS 156170 HAS SOUS 80172 HAS SOUPS 80153 WITH SCORE 80309.232
AT ITER 6908 NEW BEST:: SOT 329790 SOS 156302 HAS SOPS 156240 HAS SOUS 80098 HAS SOUPS 80079 WITH SCORE 80235.302
AT ITER 6919 NEW BEST:: SOT 329837 SOS 156349 HAS SOPS 156287 HAS SOUS 80000 HAS SOUPS 79981 WITH SCORE 80137.349
AT ITER 6934 NEW BEST:: SOT 329699 SOS 156257 HAS SOPS 156195 HAS SOUS 79908 HAS SOUPS 79889 WITH SCORE 80045.257
AT ITER 6941 NEW BEST:: SOT 329684 SOS 156227 HAS SOPS 156165 HAS SOUS 79833 HAS SOUPS 79814 WITH SCORE 79970.227
AT ITER 6951 NEW BEST:: SOT 329684 SOS 156117 HAS SOPS 156055 HAS SOUS 79833 HAS SOUPS 79814 WITH SCORE 79970.117
AT ITER 6955 NEW BEST:: SOT 329533 SOS 155966 HAS SOPS 155904 HAS SOUS 79607 HAS SOUPS 79588 WITH SCORE 79743.966
AT ITER 6968 NEW BEST:: SOT 329515 SOS 156047 HAS SOPS 155985 HAS SOUS 79449 HAS SOUPS 79430 WITH SCORE 79586.047
AT ITER 6972 NEW BEST:: SOT 329464 SOS 155996 HAS SOPS 155934 HAS SOUS 79376 HAS SOUPS 79357 WITH SCORE 79512.996
AT ITER 6976 NEW BEST:: SOT 329449 SOS 155981 HAS SOPS 155919 HAS SOUS 79376 HAS SOUPS 79357 WITH SCORE 79512.981
AT ITER 6980 NEW BEST:: SOT 329449 SOS 155857 HAS SOPS 155795 HAS SOUS 79376 HAS SOUPS 79357 WITH SCORE 79512.857
AT ITER 7008 NEW BEST:: SOT 329449 SOS 155857 HAS SOPS 155795 HAS SOUS 79348 HAS SOUPS 79329 WITH SCORE 79484.857
AT ITER 7011 NEW BEST:: SOT 329458 SOS 155866 HAS SOPS 155804 HAS SOUS 79347 HAS SOUPS 79328 WITH SCORE 79483.866
AT ITER 7023 NEW BEST:: SOT 329458 SOS 155843 HAS SOPS 155781 HAS SOUS 79332 HAS SOUPS 79313 WITH SCORE 79468.843
AT ITER 7027 NEW BEST:: SOT 329459 SOS 155844 HAS SOPS 155782 HAS SOUS 79317 HAS SOUPS 79298 WITH SCORE 79453.844
AT ITER 7093 NEW BEST:: SOT 329464 SOS 155841 HAS SOPS 155779 HAS SOUS 79314 HAS SOUPS 79295 WITH SCORE 79450.841
AT ITER 7100 NEW BEST:: SOT 329441 SOS 155818 HAS SOPS 155756 HAS SOUS 79268 HAS SOUPS 79249 WITH SCORE 79404.818
AT ITER 7104 NEW BEST:: SOT 329431 SOS 155758 HAS SOPS 155696 HAS SOUS 79220 HAS SOUPS 79201 WITH SCORE 79356.758
AT ITER 7117 NEW BEST:: SOT 329431 SOS 155707 HAS SOPS 155645 HAS SOUS 79220 HAS SOUPS 79201 WITH SCORE 79356.707
AT ITER 7120 NEW BEST:: SOT 329440 SOS 155716 HAS SOPS 155654 HAS SOUS 79207 HAS SOUPS 79188 WITH SCORE 79343.716
AT ITER 7127 NEW BEST:: SOT 329435 SOS 155711 HAS SOPS 155649 HAS SOUS 79202 HAS SOUPS 79183 WITH SCORE 79338.711
AT ITER 7131 NEW BEST:: SOT 329405 SOS 155654 HAS SOPS 155592 HAS SOUS 79145 HAS SOUPS 79126 WITH SCORE 79281.654
AT ITER 7135 NEW BEST:: SOT 329384 SOS 155633 HAS SOPS 155571 HAS SOUS 79119 HAS SOUPS 79100 WITH SCORE 79255.633
AT ITER 7160 NEW BEST:: SOT 329384 SOS 155633 HAS SOPS 155571 HAS SOUS 79118 HAS SOUPS 79099 WITH SCORE 79254.633
AT ITER 7170 NEW BEST:: SOT 329358 SOS 155607 HAS SOPS 155545 HAS SOUS 79078 HAS SOUPS 79059 WITH SCORE 79214.607
AT ITER 7174 NEW BEST:: SOT 329351 SOS 155586 HAS SOPS 155524 HAS SOUS 79061 HAS SOUPS 79042 WITH SCORE 79197.586
AT ITER 7180 NEW BEST:: SOT 329348 SOS 155577 HAS SOPS 155515 HAS SOUS 79052 HAS SOUPS 79033 WITH SCORE 79188.577
AT ITER 7215 NEW BEST:: SOT 329338 SOS 155447 HAS SOPS 155385 HAS SOUS 78933 HAS SOUPS 78914 WITH SCORE 79069.447
AT ITER 7217 NEW BEST:: SOT 329319 SOS 155399 HAS SOPS 155337 HAS SOUS 78885 HAS SOUPS 78866 WITH SCORE 79021.399
AT ITER 7230 NEW BEST:: SOT 329167 SOS 155242 HAS SOPS 155180 HAS SOUS 78804 HAS SOUPS 78785 WITH SCORE 78940.242
AT ITER 7270 NEW BEST:: SOT 329154 SOS 155216 HAS SOPS 155154 HAS SOUS 78713 HAS SOUPS 78694 WITH SCORE 78849.216
AT ITER 7298 NEW BEST:: SOT 329138 SOS 155184 HAS SOPS 155122 HAS SOUS 78665 HAS SOUPS 78646 WITH SCORE 78801.184
AT ITER 7338 NEW BEST:: SOT 329138 SOS 155183 HAS SOPS 155121 HAS SOUS 78664 HAS SOUPS 78645 WITH SCORE 78800.183
AT ITER 7345 NEW BEST:: SOT 329138 SOS 155165 HAS SOPS 155103 HAS SOUS 78664 HAS SOUPS 78645 WITH SCORE 78800.165
AT ITER 7359 NEW BEST:: SOT 329080 SOS 155107 HAS SOPS 155045 HAS SOUS 78580 HAS SOUPS 78561 WITH SCORE 78716.107
AT ITER 7371 NEW BEST:: SOT 329089 SOS 155116 HAS SOPS 155054 HAS SOUS 78477 HAS SOUPS 78458 WITH SCORE 78613.116
AT ITER 7397 NEW BEST:: SOT 329089 SOS 155078 HAS SOPS 155016 HAS SOUS 78477 HAS SOUPS 78458 WITH SCORE 78613.078
AT ITER 7425 NEW BEST:: SOT 329005 SOS 154994 HAS SOPS 154932 HAS SOUS 78393 HAS SOUPS 78374 WITH SCORE 78528.994
AT ITER 7432 NEW BEST:: SOT 328962 SOS 154960 HAS SOPS 154898 HAS SOUS 78307 HAS SOUPS 78288 WITH SCORE 78442.96
AT ITER 7457 NEW BEST:: SOT 328953 SOS 154942 HAS SOPS 154880 HAS SOUS 78273 HAS SOUPS 78254 WITH SCORE 78408.942
AT ITER 7467 NEW BEST:: SOT 328935 SOS 154906 HAS SOPS 154844 HAS SOUS 78237 HAS SOUPS 78218 WITH SCORE 78372.906
AT ITER 7469 NEW BEST:: SOT 328878 SOS 154788 HAS SOPS 154726 HAS SOUS 77875 HAS SOUPS 77856 WITH SCORE 78010.788
AT ITER 7489 NEW BEST:: SOT 328878 SOS 154786 HAS SOPS 154724 HAS SOUS 77874 HAS SOUPS 77855 WITH SCORE 78009.786
AT ITER 7509 NEW BEST:: SOT 328849 SOS 154757 HAS SOPS 154695 HAS SOUS 77845 HAS SOUPS 77826 WITH SCORE 77980.757
AT ITER 7547 NEW BEST:: SOT 328798 SOS 154393 HAS SOPS 154331 HAS SOUS 77701 HAS SOUPS 77682 WITH SCORE 77836.393
AT ITER 7574 NEW BEST:: SOT 328794 SOS 154389 HAS SOPS 154327 HAS SOUS 77696 HAS SOUPS 77677 WITH SCORE 77831.389
AT ITER 7590 NEW BEST:: SOT 328786 SOS 154381 HAS SOPS 154319 HAS SOUS 77680 HAS SOUPS 77661 WITH SCORE 77815.381
AT ITER 7641 NEW BEST:: SOT 328778 SOS 154373 HAS SOPS 154311 HAS SOUS 77672 HAS SOUPS 77653 WITH SCORE 77807.373
AT ITER 7644 NEW BEST:: SOT 328717 SOS 154251 HAS SOPS 154189 HAS SOUS 77592 HAS SOUPS 77573 WITH SCORE 77727.251
AT ITER 7648 NEW BEST:: SOT 328706 SOS 154240 HAS SOPS 154178 HAS SOUS 77579 HAS SOUPS 77560 WITH SCORE 77714.24
AT ITER 7668 NEW BEST:: SOT 328695 SOS 154224 HAS SOPS 154162 HAS SOUS 77562 HAS SOUPS 77543 WITH SCORE 77697.224
AT ITER 7703 NEW BEST:: SOT 328694 SOS 154215 HAS SOPS 154153 HAS SOUS 77553 HAS SOUPS 77534 WITH SCORE 77688.215
AT ITER 7743 NEW BEST:: SOT 328690 SOS 154211 HAS SOPS 154149 HAS SOUS 77543 HAS SOUPS 77524 WITH SCORE 77678.211
AT ITER 7762 NEW BEST:: SOT 328685 SOS 154206 HAS SOPS 154144 HAS SOUS 77533 HAS SOUPS 77514 WITH SCORE 77668.206
AT ITER 7805 NEW BEST:: SOT 328685 SOS 160931 HAS SOPS 160869 HAS SOUS 77500 HAS SOUPS 77481 WITH SCORE 77641.931
AT ITER 7810 NEW BEST:: SOT 328704 SOS 160950 HAS SOPS 160888 HAS SOUS 77494 HAS SOUPS 77475 WITH SCORE 77635.95
AT ITER 7851 NEW BEST:: SOT 328680 SOS 160902 HAS SOPS 160840 HAS SOUS 77394 HAS SOUPS 77375 WITH SCORE 77535.902
AT ITER 7855 NEW BEST:: SOT 328651 SOS 160873 HAS SOPS 160811 HAS SOUS 77365 HAS SOUPS 77346 WITH SCORE 77506.873
AT ITER 7873 NEW BEST:: SOT 328640 SOS 160862 HAS SOPS 160800 HAS SOUS 77354 HAS SOUPS 77335 WITH SCORE 77495.862
AT ITER 7882 NEW BEST:: SOT 328541 SOS 160664 HAS SOPS 160602 HAS SOUS 77156 HAS SOUPS 77137 WITH SCORE 77297.664
AT ITER 7886 NEW BEST:: SOT 328541 SOS 160664 HAS SOPS 160602 HAS SOUS 77141 HAS SOUPS 77122 WITH SCORE 77282.664
AT ITER 7913 NEW BEST:: SOT 328541 SOS 160664 HAS SOPS 160602 HAS SOUS 77135 HAS SOUPS 77116 WITH SCORE 77276.664
AT ITER 7920 NEW BEST:: SOT 328544 SOS 160656 HAS SOPS 160594 HAS SOUS 77128 HAS SOUPS 77109 WITH SCORE 77269.656
AT ITER 7933 NEW BEST:: SOT 328641 SOS 160634 HAS SOPS 160572 HAS SOUS 77106 HAS SOUPS 77087 WITH SCORE 77247.634
AT ITER 7962 NEW BEST:: SOT 328631 SOS 160624 HAS SOPS 160562 HAS SOUS 77101 HAS SOUPS 77082 WITH SCORE 77242.624
AT ITER 7979 NEW BEST:: SOT 328482 SOS 160475 HAS SOPS 160413 HAS SOUS 76915 HAS SOUPS 76896 WITH SCORE 77056.475
AT ITER 8049 NEW BEST:: SOT 328322 SOS 160357 HAS SOPS 160295 HAS SOUS 76797 HAS SOUPS 76778 WITH SCORE 76938.357
AT ITER 8061 NEW BEST:: SOT 328277 SOS 160312 HAS SOPS 160250 HAS SOUS 76754 HAS SOUPS 76735 WITH SCORE 76895.312
AT ITER 8076 NEW BEST:: SOT 328274 SOS 160309 HAS SOPS 160247 HAS SOUS 76748 HAS SOUPS 76729 WITH SCORE 76889.309
AT ITER 8097 NEW BEST:: SOT 328261 SOS 160300 HAS SOPS 160238 HAS SOUS 76735 HAS SOUPS 76716 WITH SCORE 76876.3
AT ITER 8100 NEW BEST:: SOT 328263 SOS 160299 HAS SOPS 160237 HAS SOUS 76734 HAS SOUPS 76715 WITH SCORE 76875.299
AT ITER 8114 NEW BEST:: SOT 328265 SOS 160301 HAS SOPS 160239 HAS SOUS 76687 HAS SOUPS 76668 WITH SCORE 76828.301
AT ITER 8136 NEW BEST:: SOT 328381 SOS 160302 HAS SOPS 160240 HAS SOUS 76423 HAS SOUPS 76404 WITH SCORE 76564.302
AT ITER 8138 NEW BEST:: SOT 328375 SOS 160296 HAS SOPS 160234 HAS SOUS 76405 HAS SOUPS 76386 WITH SCORE 76546.296
AT ITER 8154 NEW BEST:: SOT 328204 SOS 160238 HAS SOPS 160176 HAS SOUS 76313 HAS SOUPS 76294 WITH SCORE 76454.238
AT ITER 8155 NEW BEST:: SOT 328192 SOS 160226 HAS SOPS 160164 HAS SOUS 76289 HAS SOUPS 76270 WITH SCORE 76430.226
AT ITER 8164 NEW BEST:: SOT 328155 SOS 160189 HAS SOPS 160127 HAS SOUS 76215 HAS SOUPS 76196 WITH SCORE 76356.189
AT ITER 8166 NEW BEST:: SOT 328126 SOS 160189 HAS SOPS 160127 HAS SOUS 76171 HAS SOUPS 76152 WITH SCORE 76312.189
AT ITER 8167 NEW BEST:: SOT 328126 SOS 160189 HAS SOPS 160127 HAS SOUS 76149 HAS SOUPS 76130 WITH SCORE 76290.189
AT ITER 8168 NEW BEST:: SOT 328126 SOS 160189 HAS SOPS 160127 HAS SOUS 76147 HAS SOUPS 76128 WITH SCORE 76288.189
AT ITER 8181 NEW BEST:: SOT 328089 SOS 160152 HAS SOPS 160090 HAS SOUS 76085 HAS SOUPS 76066 WITH SCORE 76226.152
AT ITER 8186 NEW BEST:: SOT 328168 SOS 160178 HAS SOPS 160116 HAS SOUS 76041 HAS SOUPS 76022 WITH SCORE 76182.178
AT ITER 8197 NEW BEST:: SOT 328137 SOS 160147 HAS SOPS 160085 HAS SOUS 76039 HAS SOUPS 76020 WITH SCORE 76180.147
AT ITER 8233 NEW BEST:: SOT 328141 SOS 160187 HAS SOPS 160125 HAS SOUS 76028 HAS SOUPS 76009 WITH SCORE 76169.187
AT ITER 8235 NEW BEST:: SOT 328138 SOS 160133 HAS SOPS 160071 HAS SOUS 75977 HAS SOUPS 75958 WITH SCORE 76118.133
AT ITER 8241 NEW BEST:: SOT 328107 SOS 160107 HAS SOPS 160045 HAS SOUS 75946 HAS SOUPS 75927 WITH SCORE 76087.107
AT ITER 8248 NEW BEST:: SOT 328107 SOS 160107 HAS SOPS 160045 HAS SOUS 75945 HAS SOUPS 75926 WITH SCORE 76086.107
AT ITER 8280 NEW BEST:: SOT 328107 SOS 160104 HAS SOPS 160042 HAS SOUS 75938 HAS SOUPS 75919 WITH SCORE 76079.104
AT ITER 8310 NEW BEST:: SOT 328102 SOS 160094 HAS SOPS 160032 HAS SOUS 75909 HAS SOUPS 75890 WITH SCORE 76050.094
AT ITER 8363 NEW BEST:: SOT 328091 SOS 160072 HAS SOPS 160010 HAS SOUS 75853 HAS SOUPS 75834 WITH SCORE 75994.072
AT ITER 8392 NEW BEST:: SOT 328033 SOS 160014 HAS SOPS 159952 HAS SOUS 75781 HAS SOUPS 75762 WITH SCORE 75922.014
AT ITER 8400 NEW BEST:: SOT 328015 SOS 160005 HAS SOPS 159943 HAS SOUS 75686 HAS SOUPS 75667 WITH SCORE 75827.005
AT ITER 8416 NEW BEST:: SOT 327996 SOS 159967 HAS SOPS 159905 HAS SOUS 75654 HAS SOUPS 75635 WITH SCORE 75794.967
AT ITER 8450 NEW BEST:: SOT 327920 SOS 159577 HAS SOPS 159515 HAS SOUS 75486 HAS SOUPS 75467 WITH SCORE 75626.577
AT ITER 8490 NEW BEST:: SOT 327917 SOS 159571 HAS SOPS 159509 HAS SOUS 75448 HAS SOUPS 75429 WITH SCORE 75588.571
AT ITER 8495 NEW BEST:: SOT 327905 SOS 159559 HAS SOPS 159497 HAS SOUS 75437 HAS SOUPS 75418 WITH SCORE 75577.559
AT ITER 8589 NEW BEST:: SOT 327890 SOS 159529 HAS SOPS 159467 HAS SOUS 75407 HAS SOUPS 75388 WITH SCORE 75547.529
AT ITER 8669 NEW BEST:: SOT 327866 SOS 159517 HAS SOPS 159455 HAS SOUS 75395 HAS SOUPS 75376 WITH SCORE 75535.517
AT ITER 8671 NEW BEST:: SOT 327857 SOS 159508 HAS SOPS 159446 HAS SOUS 75377 HAS SOUPS 75358 WITH SCORE 75517.508
AT ITER 8694 NEW BEST:: SOT 327813 SOS 159464 HAS SOPS 159402 HAS SOUS 75293 HAS SOUPS 75274 WITH SCORE 75433.464
AT ITER 8705 NEW BEST:: SOT 327809 SOS 159460 HAS SOPS 159398 HAS SOUS 75289 HAS SOUPS 75270 WITH SCORE 75429.46
AT ITER 8740 NEW BEST:: SOT 327741 SOS 159445 HAS SOPS 159383 HAS SOUS 75278 HAS SOUPS 75259 WITH SCORE 75418.445
AT ITER 8742 NEW BEST:: SOT 327782 SOS 159486 HAS SOPS 159424 HAS SOUS 75244 HAS SOUPS 75225 WITH SCORE 75384.486
AT ITER 8792 NEW BEST:: SOT 327749 SOS 159453 HAS SOPS 159391 HAS SOUS 75199 HAS SOUPS 75180 WITH SCORE 75339.453
AT ITER 8803 NEW BEST:: SOT 327744 SOS 159353 HAS SOPS 159291 HAS SOUS 75179 HAS SOUPS 75160 WITH SCORE 75319.353
AT ITER 8812 NEW BEST:: SOT 327744 SOS 159347 HAS SOPS 159285 HAS SOUS 75178 HAS SOUPS 75159 WITH SCORE 75318.347
AT ITER 8813 NEW BEST:: SOT 327744 SOS 159347 HAS SOPS 159285 HAS SOUS 75174 HAS SOUPS 75155 WITH SCORE 75314.347
AT ITER 8843 NEW BEST:: SOT 327688 SOS 159274 HAS SOPS 159212 HAS SOUS 75065 HAS SOUPS 75046 WITH SCORE 75205.274
AT ITER 8876 NEW BEST:: SOT 327658 SOS 159246 HAS SOPS 159184 HAS SOUS 75022 HAS SOUPS 75003 WITH SCORE 75162.246
AT ITER 8888 NEW BEST:: SOT 327641 SOS 159212 HAS SOPS 159150 HAS SOUS 74988 HAS SOUPS 74969 WITH SCORE 75128.212
AT ITER 8894 NEW BEST:: SOT 327626 SOS 159182 HAS SOPS 159120 HAS SOUS 74963 HAS SOUPS 74944 WITH SCORE 75103.182
AT ITER 8905 NEW BEST:: SOT 327614 SOS 159170 HAS SOPS 159108 HAS SOUS 74947 HAS SOUPS 74928 WITH SCORE 75087.17
AT ITER 8913 NEW BEST:: SOT 327619 SOS 159164 HAS SOPS 159102 HAS SOUS 74941 HAS SOUPS 74922 WITH SCORE 75081.164
AT ITER 8920 NEW BEST:: SOT 327594 SOS 159139 HAS SOPS 159077 HAS SOUS 74891 HAS SOUPS 74872 WITH SCORE 75031.139
AT ITER 8955 NEW BEST:: SOT 327594 SOS 159796 HAS SOPS 159734 HAS SOUS 74863 HAS SOUPS 74844 WITH SCORE 75003.796
AT ITER 8992 NEW BEST:: SOT 327594 SOS 159796 HAS SOPS 159734 HAS SOUS 74857 HAS SOUPS 74838 WITH SCORE 74997.796
AT ITER 9002 NEW BEST:: SOT 327594 SOS 159796 HAS SOPS 159734 HAS SOUS 74849 HAS SOUPS 74830 WITH SCORE 74989.796
AT ITER 9003 NEW BEST:: SOT 327570 SOS 159772 HAS SOPS 159710 HAS SOUS 74801 HAS SOUPS 74782 WITH SCORE 74941.772
AT ITER 9014 NEW BEST:: SOT 327573 SOS 159775 HAS SOPS 159713 HAS SOUS 74799 HAS SOUPS 74780 WITH SCORE 74939.775
AT ITER 9041 NEW BEST:: SOT 327573 SOS 159770 HAS SOPS 159713 HAS SOUS 74798 HAS SOUPS 74780 WITH SCORE 74939.77
AT ITER 9069 NEW BEST:: SOT 327573 SOS 159756 HAS SOPS 159699 HAS SOUS 74798 HAS SOUPS 74780 WITH SCORE 74939.756
AT ITER 9096 NEW BEST:: SOT 327544 SOS 159727 HAS SOPS 159670 HAS SOUS 74735 HAS SOUPS 74717 WITH SCORE 74876.727
AT ITER 9097 NEW BEST:: SOT 327529 SOS 159712 HAS SOPS 159655 HAS SOUS 74686 HAS SOUPS 74668 WITH SCORE 74827.712
AT ITER 9127 NEW BEST:: SOT 327472 SOS 159655 HAS SOPS 159598 HAS SOUS 74611 HAS SOUPS 74593 WITH SCORE 74752.655
AT ITER 9131 NEW BEST:: SOT 327472 SOS 159653 HAS SOPS 159596 HAS SOUS 74608 HAS SOUPS 74590 WITH SCORE 74749.653
AT ITER 9145 NEW BEST:: SOT 327447 SOS 159628 HAS SOPS 159571 HAS SOUS 74583 HAS SOUPS 74565 WITH SCORE 74724.628
AT ITER 9251 NEW BEST:: SOT 327449 SOS 159632 HAS SOPS 159575 HAS SOUS 74561 HAS SOUPS 74543 WITH SCORE 74702.632
AT ITER 9301 NEW BEST:: SOT 327441 SOS 159626 HAS SOPS 159569 HAS SOUS 74553 HAS SOUPS 74535 WITH SCORE 74694.626
AT ITER 9303 NEW BEST:: SOT 327441 SOS 159609 HAS SOPS 159552 HAS SOUS 74499 HAS SOUPS 74481 WITH SCORE 74640.609
AT ITER 9323 NEW BEST:: SOT 327441 SOS 159609 HAS SOPS 159552 HAS SOUS 74483 HAS SOUPS 74465 WITH SCORE 74624.609
AT ITER 9356 NEW BEST:: SOT 327468 SOS 159606 HAS SOPS 159549 HAS SOUS 74459 HAS SOUPS 74441 WITH SCORE 74600.606
AT ITER 9428 NEW BEST:: SOT 327432 SOS 159617 HAS SOPS 159560 HAS SOUS 74438 HAS SOUPS 74420 WITH SCORE 74579.617
AT ITER 9446 NEW BEST:: SOT 327576 SOS 159678 HAS SOPS 159621 HAS SOUS 74390 HAS SOUPS 74372 WITH SCORE 74531.678
AT ITER 9474 NEW BEST:: SOT 327579 SOS 159744 HAS SOPS 159687 HAS SOUS 74389 HAS SOUPS 74371 WITH SCORE 74530.744
AT ITER 9483 NEW BEST:: SOT 327560 SOS 159706 HAS SOPS 159649 HAS SOUS 74346 HAS SOUPS 74328 WITH SCORE 74487.706
AT ITER 9495 NEW BEST:: SOT 327553 SOS 159685 HAS SOPS 159628 HAS SOUS 74325 HAS SOUPS 74307 WITH SCORE 74466.685
AT ITER 9511 NEW BEST:: SOT 327553 SOS 159682 HAS SOPS 159625 HAS SOUS 74321 HAS SOUPS 74303 WITH SCORE 74462.682
AT ITER 9540 NEW BEST:: SOT 327522 SOS 159670 HAS SOPS 159613 HAS SOUS 74315 HAS SOUPS 74297 WITH SCORE 74456.67
AT ITER 9584 NEW BEST:: SOT 327516 SOS 159664 HAS SOPS 159607 HAS SOUS 74297 HAS SOUPS 74279 WITH SCORE 74438.664
AT ITER 9596 NEW BEST:: SOT 327516 SOS 159664 HAS SOPS 159607 HAS SOUS 74293 HAS SOUPS 74275 WITH SCORE 74434.664
AT ITER 9633 NEW BEST:: SOT 327519 SOS 159667 HAS SOPS 159610 HAS SOUS 74289 HAS SOUPS 74271 WITH SCORE 74430.667
AT ITER 9645 NEW BEST:: SOT 327511 SOS 159659 HAS SOPS 159602 HAS SOUS 74281 HAS SOUPS 74263 WITH SCORE 74422.659
AT ITER 9668 NEW BEST:: SOT 327510 SOS 159659 HAS SOPS 159602 HAS SOUS 74280 HAS SOUPS 74262 WITH SCORE 74421.659
AT ITER 9696 NEW BEST:: SOT 327508 SOS 159526 HAS SOPS 159469 HAS SOUS 74218 HAS SOUPS 74200 WITH SCORE 74359.526
AT ITER 9719 NEW BEST:: SOT 327500 SOS 159486 HAS SOPS 159429 HAS SOUS 74178 HAS SOUPS 74160 WITH SCORE 74319.486
AT ITER 9776 NEW BEST:: SOT 327497 SOS 159483 HAS SOPS 159426 HAS SOUS 74172 HAS SOUPS 74154 WITH SCORE 74313.483
AT ITER 9784 NEW BEST:: SOT 327497 SOS 159483 HAS SOPS 159426 HAS SOUS 74135 HAS SOUPS 74117 WITH SCORE 74276.483
AT ITER 9800 NEW BEST:: SOT 327497 SOS 159483 HAS SOPS 159426 HAS SOUS 74105 HAS SOUPS 74087 WITH SCORE 74246.483
AT ITER 9806 NEW BEST:: SOT 327489 SOS 159475 HAS SOPS 159418 HAS SOUS 74088 HAS SOUPS 74070 WITH SCORE 74229.475
AT ITER 9847 NEW BEST:: SOT 327484 SOS 159470 HAS SOPS 159413 HAS SOUS 74063 HAS SOUPS 74045 WITH SCORE 74204.47
AT ITER 9849 NEW BEST:: SOT 327484 SOS 159470 HAS SOPS 159413 HAS SOUS 74050 HAS SOUPS 74032 WITH SCORE 74191.47
AT ITER 9859 NEW BEST:: SOT 327522 SOS 159508 HAS SOPS 159451 HAS SOUS 74013 HAS SOUPS 73995 WITH SCORE 74154.508
AT ITER 9863 NEW BEST:: SOT 327502 SOS 159497 HAS SOPS 159440 HAS SOUS 73982 HAS SOUPS 73964 WITH SCORE 74123.497
AT ITER 9864 NEW BEST:: SOT 327505 SOS 159459 HAS SOPS 159402 HAS SOUS 73956 HAS SOUPS 73938 WITH SCORE 74097.459
AT ITER 9897 NEW BEST:: SOT 327505 SOS 159459 HAS SOPS 159402 HAS SOUS 73942 HAS SOUPS 73924 WITH SCORE 74083.459
AT ITER 9958 NEW BEST:: SOT 327497 SOS 159451 HAS SOPS 159394 HAS SOUS 73926 HAS SOUPS 73908 WITH SCORE 74067.451
AT ITER 9959 NEW BEST:: SOT 327493 SOS 159443 HAS SOPS 159386 HAS SOUS 73922 HAS SOUPS 73904 WITH SCORE 74063.443
AT ITER 9960 NEW BEST:: SOT 327521 SOS 159471 HAS SOPS 159414 HAS SOUS 73877 HAS SOUPS 73859 WITH SCORE 74018.471
AT ITER 9965 NEW BEST:: SOT 327450 SOS 159450 HAS SOPS 159393 HAS SOUS 73856 HAS SOUPS 73838 WITH SCORE 73997.45
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393928 kB
MemFree: 3440796 kB
After kill :
MemTotal: 16393928 kB
MemFree: 16135116 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBNT-COL-S05J40"
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 PolyORBNT-COL-S05J40, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r291-tall-167873943200656"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-COL-S05J40.tgz
mv PolyORBNT-COL-S05J40 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;