Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 680K
-rw-r--r-- 1 mcc users 7.2K Feb 26 13:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 13:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 13:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 13:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Feb 26 13:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 172K Feb 26 13:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 13:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 93K Feb 26 13:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 154K 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 1679484662239

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-COL-S02J04T08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 11:31:03] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 11:31:03] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 11:31:03] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-22 11:31:04] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-22 11:31:04] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 766 ms
[2023-03-22 11:31:04] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 614 PT places and 1300.0 transition bindings in 21 ms.
[2023-03-22 11:31:04] [INFO ] Unfolded HLPN to a Petri net with 614 places and 1242 transitions 5732 arcs in 35 ms.
[2023-03-22 11:31:04] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-22 11:31:04] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 614 places, 1242 transitions and 5732 arcs took 22 ms.
Total runtime 930 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S02J04T08
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 614 places, 1242 transitions, 5732 arcs.
AT ITER 0 NEW BEST:: SOT 461396 SOS 270558 HAS SOPS 266830 HAS SOUS 169250 HAS SOUPS 168634 WITH SCORE 168904.558
AT ITER 3 NEW BEST:: SOT 461215 SOS 270524 HAS SOPS 266796 HAS SOUS 169216 HAS SOUPS 168600 WITH SCORE 168870.524
AT ITER 12 NEW BEST:: SOT 460591 SOS 270056 HAS SOPS 266328 HAS SOUS 168748 HAS SOUPS 168132 WITH SCORE 168402.056
AT ITER 16 NEW BEST:: SOT 460288 SOS 269539 HAS SOPS 265811 HAS SOUS 167589 HAS SOUPS 166973 WITH SCORE 167242.539
AT ITER 25 NEW BEST:: SOT 460266 SOS 269517 HAS SOPS 265789 HAS SOUS 167567 HAS SOUPS 166951 WITH SCORE 167220.517
AT ITER 28 NEW BEST:: SOT 460266 SOS 268798 HAS SOPS 265070 HAS SOUS 167567 HAS SOUPS 166951 WITH SCORE 167219.798
AT ITER 30 NEW BEST:: SOT 460266 SOS 268791 HAS SOPS 265063 HAS SOUS 167560 HAS SOUPS 166944 WITH SCORE 167212.791
AT ITER 31 NEW BEST:: SOT 458639 SOS 267433 HAS SOPS 263705 HAS SOUS 167467 HAS SOUPS 166851 WITH SCORE 167118.433
AT ITER 36 NEW BEST:: SOT 458364 SOS 267153 HAS SOPS 263425 HAS SOUS 167255 HAS SOUPS 166639 WITH SCORE 166906.153
AT ITER 38 NEW BEST:: SOT 458360 SOS 267149 HAS SOPS 263421 HAS SOUS 167251 HAS SOUPS 166635 WITH SCORE 166902.149
AT ITER 44 NEW BEST:: SOT 458360 SOS 267031 HAS SOPS 263258 HAS SOUS 167242 HAS SOUPS 166582 WITH SCORE 166849.031
AT ITER 48 NEW BEST:: SOT 457635 SOS 266048 HAS SOPS 262275 HAS SOUS 166707 HAS SOUPS 166047 WITH SCORE 166313.048
AT ITER 51 NEW BEST:: SOT 457635 SOS 265916 HAS SOPS 262143 HAS SOUS 166619 HAS SOUPS 165959 WITH SCORE 166224.916
AT ITER 52 NEW BEST:: SOT 457303 SOS 265679 HAS SOPS 261906 HAS SOUS 166358 HAS SOUPS 165698 WITH SCORE 165963.679
AT ITER 54 NEW BEST:: SOT 457113 SOS 265239 HAS SOPS 261466 HAS SOUS 165808 HAS SOUPS 165148 WITH SCORE 165413.239
AT ITER 59 NEW BEST:: SOT 456873 SOS 264597 HAS SOPS 260824 HAS SOUS 165575 HAS SOUPS 164915 WITH SCORE 165179.597
AT ITER 60 NEW BEST:: SOT 456870 SOS 264594 HAS SOPS 260821 HAS SOUS 165566 HAS SOUPS 164906 WITH SCORE 165170.594
AT ITER 62 NEW BEST:: SOT 456870 SOS 264586 HAS SOPS 260813 HAS SOUS 165558 HAS SOUPS 164898 WITH SCORE 165162.586
AT ITER 67 NEW BEST:: SOT 455652 SOS 263608 HAS SOPS 259835 HAS SOUS 165171 HAS SOUPS 164511 WITH SCORE 164774.608
AT ITER 71 NEW BEST:: SOT 455432 SOS 263396 HAS SOPS 259623 HAS SOUS 164951 HAS SOUPS 164291 WITH SCORE 164554.396
AT ITER 77 NEW BEST:: SOT 455235 SOS 262272 HAS SOPS 258499 HAS SOUS 164551 HAS SOUPS 163891 WITH SCORE 164153.272
AT ITER 82 NEW BEST:: SOT 455209 SOS 262194 HAS SOPS 258421 HAS SOUS 164499 HAS SOUPS 163839 WITH SCORE 164101.194
AT ITER 93 NEW BEST:: SOT 454979 SOS 261619 HAS SOPS 257846 HAS SOUS 164039 HAS SOUPS 163379 WITH SCORE 163640.619
AT ITER 96 NEW BEST:: SOT 455045 SOS 261597 HAS SOPS 257824 HAS SOUS 163794 HAS SOUPS 163134 WITH SCORE 163395.597
AT ITER 97 NEW BEST:: SOT 454861 SOS 261218 HAS SOPS 257445 HAS SOUS 163399 HAS SOUPS 162739 WITH SCORE 163000.218
AT ITER 100 NEW BEST:: SOT 454904 SOS 261179 HAS SOPS 257406 HAS SOUS 163393 HAS SOUPS 162733 WITH SCORE 162994.179
AT ITER 115 NEW BEST:: SOT 454842 SOS 260928 HAS SOPS 257155 HAS SOUS 163273 HAS SOUPS 162613 WITH SCORE 162873.928
AT ITER 126 NEW BEST:: SOT 454878 SOS 260915 HAS SOPS 257142 HAS SOUS 163260 HAS SOUPS 162600 WITH SCORE 162860.915
AT ITER 128 NEW BEST:: SOT 454850 SOS 260859 HAS SOPS 257086 HAS SOUS 163210 HAS SOUPS 162550 WITH SCORE 162810.859
AT ITER 133 NEW BEST:: SOT 454761 SOS 260767 HAS SOPS 256994 HAS SOUS 162628 HAS SOUPS 161968 WITH SCORE 162228.767
AT ITER 135 NEW BEST:: SOT 454761 SOS 260767 HAS SOPS 256994 HAS SOUS 162610 HAS SOUPS 161950 WITH SCORE 162210.767
AT ITER 140 NEW BEST:: SOT 454500 SOS 260506 HAS SOPS 256733 HAS SOUS 162493 HAS SOUPS 161833 WITH SCORE 162093.506
AT ITER 151 NEW BEST:: SOT 454500 SOS 259399 HAS SOPS 255626 HAS SOUS 162429 HAS SOUPS 161769 WITH SCORE 162028.399
AT ITER 157 NEW BEST:: SOT 454322 SOS 259563 HAS SOPS 255790 HAS SOUS 161640 HAS SOUPS 160980 WITH SCORE 161239.563
AT ITER 163 NEW BEST:: SOT 454272 SOS 259055 HAS SOPS 255282 HAS SOUS 161532 HAS SOUPS 160872 WITH SCORE 161131.055
AT ITER 177 NEW BEST:: SOT 453745 SOS 258579 HAS SOPS 254806 HAS SOUS 161412 HAS SOUPS 160752 WITH SCORE 161010.579
AT ITER 178 NEW BEST:: SOT 453745 SOS 258579 HAS SOPS 254806 HAS SOUS 161323 HAS SOUPS 160663 WITH SCORE 160921.579
AT ITER 181 NEW BEST:: SOT 452743 SOS 259141 HAS SOPS 255368 HAS SOUS 160730 HAS SOUPS 160070 WITH SCORE 160329.141
AT ITER 184 NEW BEST:: SOT 452563 SOS 258421 HAS SOPS 254648 HAS SOUS 160601 HAS SOUPS 159941 WITH SCORE 160199.421
AT ITER 191 NEW BEST:: SOT 452346 SOS 258212 HAS SOPS 254509 HAS SOUS 160418 HAS SOUPS 159758 WITH SCORE 160016.212
AT ITER 193 NEW BEST:: SOT 452244 SOS 258048 HAS SOPS 254345 HAS SOUS 160258 HAS SOUPS 159598 WITH SCORE 159856.048
AT ITER 197 NEW BEST:: SOT 452214 SOS 257898 HAS SOPS 254195 HAS SOUS 159837 HAS SOUPS 159177 WITH SCORE 159434.898
AT ITER 201 NEW BEST:: SOT 452115 SOS 257832 HAS SOPS 254129 HAS SOUS 159771 HAS SOUPS 159111 WITH SCORE 159368.832
AT ITER 208 NEW BEST:: SOT 451734 SOS 257596 HAS SOPS 253893 HAS SOUS 159535 HAS SOUPS 158875 WITH SCORE 159132.596
AT ITER 211 NEW BEST:: SOT 450286 SOS 256255 HAS SOPS 252552 HAS SOUS 159119 HAS SOUPS 158459 WITH SCORE 158715.255
AT ITER 213 NEW BEST:: SOT 450286 SOS 256247 HAS SOPS 252544 HAS SOUS 159111 HAS SOUPS 158451 WITH SCORE 158707.247
AT ITER 215 NEW BEST:: SOT 450309 SOS 256066 HAS SOPS 252351 HAS SOUS 158955 HAS SOUPS 158295 WITH SCORE 158551.066
AT ITER 218 NEW BEST:: SOT 450111 SOS 256004 HAS SOPS 252289 HAS SOUS 158797 HAS SOUPS 158137 WITH SCORE 158393.004
AT ITER 221 NEW BEST:: SOT 450111 SOS 255970 HAS SOPS 252255 HAS SOUS 158763 HAS SOUPS 158103 WITH SCORE 158358.97
AT ITER 222 NEW BEST:: SOT 450137 SOS 256032 HAS SOPS 252317 HAS SOUS 158088 HAS SOUPS 157428 WITH SCORE 157684.032
AT ITER 227 NEW BEST:: SOT 450137 SOS 256068 HAS SOPS 252353 HAS SOUS 158074 HAS SOUPS 157414 WITH SCORE 157670.068
AT ITER 231 NEW BEST:: SOT 449994 SOS 255679 HAS SOPS 251964 HAS SOUS 157910 HAS SOUPS 157250 WITH SCORE 157505.679
AT ITER 236 NEW BEST:: SOT 450044 SOS 255851 HAS SOPS 252136 HAS SOUS 157324 HAS SOUPS 156664 WITH SCORE 156919.851
AT ITER 240 NEW BEST:: SOT 449922 SOS 255729 HAS SOPS 252075 HAS SOUS 157302 HAS SOUPS 156642 WITH SCORE 156897.729
AT ITER 244 NEW BEST:: SOT 449808 SOS 255554 HAS SOPS 251900 HAS SOUS 157099 HAS SOUPS 156439 WITH SCORE 156694.554
AT ITER 252 NEW BEST:: SOT 449808 SOS 255665 HAS SOPS 252011 HAS SOUS 156884 HAS SOUPS 156224 WITH SCORE 156479.665
AT ITER 260 NEW BEST:: SOT 449834 SOS 255699 HAS SOPS 252045 HAS SOUS 156470 HAS SOUPS 155810 WITH SCORE 156065.699
AT ITER 267 NEW BEST:: SOT 449791 SOS 255649 HAS SOPS 251995 HAS SOUS 156420 HAS SOUPS 155760 WITH SCORE 156015.649
AT ITER 271 NEW BEST:: SOT 449660 SOS 255518 HAS SOPS 251864 HAS SOUS 156265 HAS SOUPS 155605 WITH SCORE 155860.518
AT ITER 285 NEW BEST:: SOT 449727 SOS 255522 HAS SOPS 251868 HAS SOUS 155113 HAS SOUPS 154453 WITH SCORE 154708.522
AT ITER 295 NEW BEST:: SOT 449727 SOS 255494 HAS SOPS 251840 HAS SOUS 155065 HAS SOUPS 154405 WITH SCORE 154660.494
AT ITER 307 NEW BEST:: SOT 449727 SOS 255594 HAS SOPS 251940 HAS SOUS 154965 HAS SOUPS 154305 WITH SCORE 154560.594
AT ITER 313 NEW BEST:: SOT 449727 SOS 255676 HAS SOPS 252022 HAS SOUS 154953 HAS SOUPS 154293 WITH SCORE 154548.676
AT ITER 321 NEW BEST:: SOT 449456 SOS 255539 HAS SOPS 251885 HAS SOUS 154816 HAS SOUPS 154156 WITH SCORE 154411.539
AT ITER 322 NEW BEST:: SOT 449456 SOS 255546 HAS SOPS 251892 HAS SOUS 154809 HAS SOUPS 154149 WITH SCORE 154404.546
AT ITER 326 NEW BEST:: SOT 448909 SOS 255155 HAS SOPS 251501 HAS SOUS 154311 HAS SOUPS 153651 WITH SCORE 153906.155
AT ITER 327 NEW BEST:: SOT 449489 SOS 255949 HAS SOPS 252295 HAS SOUS 153278 HAS SOUPS 152618 WITH SCORE 152873.949
AT ITER 328 NEW BEST:: SOT 449431 SOS 255833 HAS SOPS 252179 HAS SOUS 153244 HAS SOUPS 152584 WITH SCORE 152839.833
AT ITER 334 NEW BEST:: SOT 449419 SOS 255809 HAS SOPS 252155 HAS SOUS 153184 HAS SOUPS 152524 WITH SCORE 152779.809
AT ITER 338 NEW BEST:: SOT 449372 SOS 255668 HAS SOPS 252014 HAS SOUS 153043 HAS SOUPS 152383 WITH SCORE 152638.668
AT ITER 340 NEW BEST:: SOT 449467 SOS 256066 HAS SOPS 252412 HAS SOUS 152859 HAS SOUPS 152199 WITH SCORE 152455.066
AT ITER 344 NEW BEST:: SOT 449319 SOS 255770 HAS SOPS 252116 HAS SOUS 152600 HAS SOUPS 151940 WITH SCORE 152195.77
AT ITER 345 NEW BEST:: SOT 449153 SOS 255592 HAS SOPS 251938 HAS SOUS 152251 HAS SOUPS 151591 WITH SCORE 151846.592
AT ITER 365 NEW BEST:: SOT 449145 SOS 255546 HAS SOPS 251892 HAS SOUS 152205 HAS SOUPS 151545 WITH SCORE 151800.546
AT ITER 366 NEW BEST:: SOT 449029 SOS 255314 HAS SOPS 251660 HAS SOUS 151973 HAS SOUPS 151313 WITH SCORE 151568.314
AT ITER 370 NEW BEST:: SOT 448924 SOS 255221 HAS SOPS 251567 HAS SOUS 151918 HAS SOUPS 151258 WITH SCORE 151513.221
AT ITER 376 NEW BEST:: SOT 448842 SOS 255140 HAS SOPS 251550 HAS SOUS 151900 HAS SOUPS 151240 WITH SCORE 151495.14
AT ITER 377 NEW BEST:: SOT 448802 SOS 255100 HAS SOPS 251510 HAS SOUS 151734 HAS SOUPS 151074 WITH SCORE 151329.1
AT ITER 380 NEW BEST:: SOT 448739 SOS 254940 HAS SOPS 251350 HAS SOUS 151574 HAS SOUPS 150914 WITH SCORE 151168.94
AT ITER 392 NEW BEST:: SOT 449060 SOS 255490 HAS SOPS 251900 HAS SOUS 151023 HAS SOUPS 150363 WITH SCORE 150618.49
AT ITER 397 NEW BEST:: SOT 449237 SOS 255369 HAS SOPS 251779 HAS SOUS 150872 HAS SOUPS 150212 WITH SCORE 150467.369
AT ITER 398 NEW BEST:: SOT 449175 SOS 255242 HAS SOPS 251652 HAS SOUS 150704 HAS SOUPS 150044 WITH SCORE 150299.242
AT ITER 400 NEW BEST:: SOT 449184 SOS 255276 HAS SOPS 251686 HAS SOUS 150690 HAS SOUPS 150030 WITH SCORE 150285.276
AT ITER 403 NEW BEST:: SOT 449184 SOS 251943 HAS SOPS 248353 HAS SOUS 150525 HAS SOUPS 149865 WITH SCORE 150116.943
AT ITER 409 NEW BEST:: SOT 448779 SOS 251499 HAS SOPS 247909 HAS SOUS 150312 HAS SOUPS 149652 WITH SCORE 149903.499
AT ITER 415 NEW BEST:: SOT 448779 SOS 251697 HAS SOPS 248107 HAS SOUS 150226 HAS SOUPS 149566 WITH SCORE 149817.697
AT ITER 429 NEW BEST:: SOT 448728 SOS 251592 HAS SOPS 248002 HAS SOUS 150178 HAS SOUPS 149518 WITH SCORE 149769.592
AT ITER 431 NEW BEST:: SOT 448612 SOS 251629 HAS SOPS 248039 HAS SOUS 150159 HAS SOUPS 149499 WITH SCORE 149750.629
AT ITER 451 NEW BEST:: SOT 448484 SOS 251354 HAS SOPS 247764 HAS SOUS 149921 HAS SOUPS 149261 WITH SCORE 149512.354
AT ITER 458 NEW BEST:: SOT 448363 SOS 251296 HAS SOPS 247769 HAS SOUS 149908 HAS SOUPS 149248 WITH SCORE 149499.296
AT ITER 467 NEW BEST:: SOT 448355 SOS 250328 HAS SOPS 246801 HAS SOUS 149568 HAS SOUPS 148908 WITH SCORE 149158.328
AT ITER 474 NEW BEST:: SOT 448355 SOS 250050 HAS SOPS 246523 HAS SOUS 149568 HAS SOUPS 148908 WITH SCORE 149158.05
AT ITER 490 NEW BEST:: SOT 446956 SOS 248705 HAS SOPS 245124 HAS SOUS 148223 HAS SOUPS 147509 WITH SCORE 147757.705
AT ITER 492 NEW BEST:: SOT 447094 SOS 248744 HAS SOPS 245163 HAS SOUS 148202 HAS SOUPS 147488 WITH SCORE 147736.744
AT ITER 498 NEW BEST:: SOT 447094 SOS 248016 HAS SOPS 244435 HAS SOUS 148202 HAS SOUPS 147488 WITH SCORE 147736.016
AT ITER 504 NEW BEST:: SOT 447006 SOS 247892 HAS SOPS 244311 HAS SOUS 148078 HAS SOUPS 147364 WITH SCORE 147611.892
AT ITER 507 NEW BEST:: SOT 446892 SOS 247721 HAS SOPS 244140 HAS SOUS 147964 HAS SOUPS 147250 WITH SCORE 147497.721
AT ITER 516 NEW BEST:: SOT 446876 SOS 247647 HAS SOPS 244066 HAS SOUS 147554 HAS SOUPS 146840 WITH SCORE 147087.647
AT ITER 522 NEW BEST:: SOT 446636 SOS 247487 HAS SOPS 243906 HAS SOUS 147323 HAS SOUPS 146609 WITH SCORE 146856.487
AT ITER 526 NEW BEST:: SOT 446278 SOS 246615 HAS SOPS 243034 HAS SOUS 146805 HAS SOUPS 146091 WITH SCORE 146337.615
AT ITER 529 NEW BEST:: SOT 446278 SOS 246521 HAS SOPS 242895 HAS SOUS 146713 HAS SOUPS 145999 WITH SCORE 146245.521
AT ITER 544 NEW BEST:: SOT 446102 SOS 246316 HAS SOPS 242690 HAS SOUS 146545 HAS SOUPS 145831 WITH SCORE 146077.316
AT ITER 554 NEW BEST:: SOT 446095 SOS 246267 HAS SOPS 242641 HAS SOUS 146495 HAS SOUPS 145781 WITH SCORE 146027.267
AT ITER 556 NEW BEST:: SOT 445787 SOS 245932 HAS SOPS 242306 HAS SOUS 146215 HAS SOUPS 145501 WITH SCORE 145746.932
AT ITER 568 NEW BEST:: SOT 445720 SOS 245925 HAS SOPS 242366 HAS SOUS 146148 HAS SOUPS 145434 WITH SCORE 145679.925
AT ITER 569 NEW BEST:: SOT 445504 SOS 245712 HAS SOPS 242221 HAS SOUS 145830 HAS SOUPS 145116 WITH SCORE 145361.712
AT ITER 588 NEW BEST:: SOT 445367 SOS 245514 HAS SOPS 242023 HAS SOUS 145426 HAS SOUPS 144712 WITH SCORE 144957.514
AT ITER 589 NEW BEST:: SOT 445338 SOS 245465 HAS SOPS 241974 HAS SOUS 145359 HAS SOUPS 144645 WITH SCORE 144890.465
AT ITER 590 NEW BEST:: SOT 445338 SOS 245300 HAS SOPS 241764 HAS SOUS 145280 HAS SOUPS 144566 WITH SCORE 144811.3
AT ITER 593 NEW BEST:: SOT 445370 SOS 245411 HAS SOPS 241875 HAS SOUS 145120 HAS SOUPS 144406 WITH SCORE 144651.411
AT ITER 607 NEW BEST:: SOT 445283 SOS 245324 HAS SOPS 241788 HAS SOUS 144977 HAS SOUPS 144263 WITH SCORE 144508.324
AT ITER 617 NEW BEST:: SOT 445280 SOS 245321 HAS SOPS 241785 HAS SOUS 144974 HAS SOUPS 144260 WITH SCORE 144505.321
AT ITER 618 NEW BEST:: SOT 445203 SOS 245000 HAS SOPS 241456 HAS SOUS 144891 HAS SOUPS 144177 WITH SCORE 144422.0
AT ITER 639 NEW BEST:: SOT 445177 SOS 245020 HAS SOPS 241476 HAS SOUS 144875 HAS SOUPS 144161 WITH SCORE 144406.02
AT ITER 663 NEW BEST:: SOT 445132 SOS 244975 HAS SOPS 241431 HAS SOUS 144691 HAS SOUPS 143977 WITH SCORE 144221.975
AT ITER 669 NEW BEST:: SOT 445002 SOS 244845 HAS SOPS 241301 HAS SOUS 144304 HAS SOUPS 143590 WITH SCORE 143834.845
AT ITER 671 NEW BEST:: SOT 444929 SOS 244803 HAS SOPS 241259 HAS SOUS 144262 HAS SOUPS 143548 WITH SCORE 143792.803
AT ITER 673 NEW BEST:: SOT 444803 SOS 244719 HAS SOPS 241175 HAS SOUS 144176 HAS SOUPS 143462 WITH SCORE 143706.719
AT ITER 680 NEW BEST:: SOT 444780 SOS 244678 HAS SOPS 241134 HAS SOUS 144135 HAS SOUPS 143421 WITH SCORE 143665.678
AT ITER 682 NEW BEST:: SOT 444828 SOS 244583 HAS SOPS 241039 HAS SOUS 143961 HAS SOUPS 143247 WITH SCORE 143491.583
AT ITER 683 NEW BEST:: SOT 444869 SOS 244624 HAS SOPS 241080 HAS SOUS 143339 HAS SOUPS 142625 WITH SCORE 142869.624
AT ITER 688 NEW BEST:: SOT 444818 SOS 244573 HAS SOPS 241029 HAS SOUS 143288 HAS SOUPS 142574 WITH SCORE 142818.573
AT ITER 695 NEW BEST:: SOT 444776 SOS 244538 HAS SOPS 240994 HAS SOUS 143288 HAS SOUPS 142574 WITH SCORE 142818.538
AT ITER 697 NEW BEST:: SOT 444776 SOS 244537 HAS SOPS 240993 HAS SOUS 143287 HAS SOUPS 142573 WITH SCORE 142817.537
AT ITER 700 NEW BEST:: SOT 444744 SOS 244321 HAS SOPS 240841 HAS SOUS 143239 HAS SOUPS 142533 WITH SCORE 142777.321
AT ITER 705 NEW BEST:: SOT 444619 SOS 243847 HAS SOPS 240367 HAS SOUS 142592 HAS SOUPS 141886 WITH SCORE 142129.847
AT ITER 725 NEW BEST:: SOT 444629 SOS 243687 HAS SOPS 240207 HAS SOUS 142590 HAS SOUPS 141884 WITH SCORE 142127.687
AT ITER 740 NEW BEST:: SOT 444404 SOS 243369 HAS SOPS 239889 HAS SOUS 142374 HAS SOUPS 141668 WITH SCORE 141911.369
AT ITER 750 NEW BEST:: SOT 443122 SOS 243135 HAS SOPS 238607 HAS SOUS 141771 HAS SOUPS 140934 WITH SCORE 141177.135
AT ITER 752 NEW BEST:: SOT 443069 SOS 243082 HAS SOPS 238554 HAS SOUS 141771 HAS SOUPS 140934 WITH SCORE 141177.082
AT ITER 753 NEW BEST:: SOT 442839 SOS 242507 HAS SOPS 237979 HAS SOUS 141527 HAS SOUPS 140690 WITH SCORE 140932.507
AT ITER 758 NEW BEST:: SOT 441357 SOS 241954 HAS SOPS 237426 HAS SOUS 140299 HAS SOUPS 139462 WITH SCORE 139703.954
AT ITER 765 NEW BEST:: SOT 441333 SOS 241918 HAS SOPS 237390 HAS SOUS 140239 HAS SOUPS 139402 WITH SCORE 139643.918
AT ITER 766 NEW BEST:: SOT 441468 SOS 242053 HAS SOPS 237525 HAS SOUS 140037 HAS SOUPS 139200 WITH SCORE 139442.053
AT ITER 771 NEW BEST:: SOT 441598 SOS 242098 HAS SOPS 237570 HAS SOUS 140003 HAS SOUPS 139166 WITH SCORE 139408.098
AT ITER 774 NEW BEST:: SOT 441522 SOS 241923 HAS SOPS 237395 HAS SOUS 139657 HAS SOUPS 138820 WITH SCORE 139061.923
AT ITER 784 NEW BEST:: SOT 441716 SOS 242493 HAS SOPS 237965 HAS SOUS 139549 HAS SOUPS 138712 WITH SCORE 138954.493
AT ITER 795 NEW BEST:: SOT 441653 SOS 242366 HAS SOPS 237838 HAS SOUS 139406 HAS SOUPS 138569 WITH SCORE 138811.366
AT ITER 801 NEW BEST:: SOT 441381 SOS 242025 HAS SOPS 237497 HAS SOUS 139040 HAS SOUPS 138203 WITH SCORE 138445.025
AT ITER 805 NEW BEST:: SOT 441214 SOS 241357 HAS SOPS 236829 HAS SOUS 138950 HAS SOUPS 138113 WITH SCORE 138354.357
AT ITER 817 NEW BEST:: SOT 441214 SOS 241350 HAS SOPS 236822 HAS SOUS 138943 HAS SOUPS 138106 WITH SCORE 138347.35
AT ITER 829 NEW BEST:: SOT 441214 SOS 241394 HAS SOPS 236866 HAS SOUS 138908 HAS SOUPS 138071 WITH SCORE 138312.394
AT ITER 831 NEW BEST:: SOT 441106 SOS 241232 HAS SOPS 236704 HAS SOUS 138746 HAS SOUPS 137909 WITH SCORE 138150.232
AT ITER 834 NEW BEST:: SOT 441023 SOS 241310 HAS SOPS 236848 HAS SOUS 138697 HAS SOUPS 137860 WITH SCORE 138101.31
AT ITER 841 NEW BEST:: SOT 441072 SOS 241413 HAS SOPS 236951 HAS SOUS 138679 HAS SOUPS 137842 WITH SCORE 138083.413
AT ITER 857 NEW BEST:: SOT 440402 SOS 240699 HAS SOPS 236237 HAS SOUS 138295 HAS SOUPS 137458 WITH SCORE 137698.699
AT ITER 884 NEW BEST:: SOT 440868 SOS 237237 HAS SOPS 230931 HAS SOUS 138162 HAS SOUPS 137087 WITH SCORE 137324.237
AT ITER 886 NEW BEST:: SOT 440981 SOS 237221 HAS SOPS 230915 HAS SOUS 138146 HAS SOUPS 137071 WITH SCORE 137308.221
AT ITER 887 NEW BEST:: SOT 440744 SOS 237060 HAS SOPS 230754 HAS SOUS 137946 HAS SOUPS 136871 WITH SCORE 137108.06
AT ITER 907 NEW BEST:: SOT 440650 SOS 236912 HAS SOPS 230606 HAS SOUS 137651 HAS SOUPS 136576 WITH SCORE 136812.912
AT ITER 910 NEW BEST:: SOT 440534 SOS 233682 HAS SOPS 228952 HAS SOUS 137308 HAS SOUPS 136430 WITH SCORE 136663.682
AT ITER 918 NEW BEST:: SOT 440304 SOS 233482 HAS SOPS 228752 HAS SOUS 137016 HAS SOUPS 136138 WITH SCORE 136371.482
AT ITER 927 NEW BEST:: SOT 440333 SOS 233539 HAS SOPS 228809 HAS SOUS 136963 HAS SOUPS 136085 WITH SCORE 136318.539
AT ITER 939 NEW BEST:: SOT 440460 SOS 233640 HAS SOPS 228910 HAS SOUS 136703 HAS SOUPS 135825 WITH SCORE 136058.64
AT ITER 947 NEW BEST:: SOT 440129 SOS 233281 HAS SOPS 228551 HAS SOUS 136401 HAS SOUPS 135523 WITH SCORE 135756.281
AT ITER 953 NEW BEST:: SOT 440115 SOS 233267 HAS SOPS 228537 HAS SOUS 136387 HAS SOUPS 135509 WITH SCORE 135742.267
AT ITER 963 NEW BEST:: SOT 440017 SOS 232765 HAS SOPS 228035 HAS SOUS 136191 HAS SOUPS 135313 WITH SCORE 135545.765
AT ITER 966 NEW BEST:: SOT 439959 SOS 232707 HAS SOPS 227977 HAS SOUS 136133 HAS SOUPS 135255 WITH SCORE 135487.707
AT ITER 982 NEW BEST:: SOT 438562 SOS 238819 HAS SOPS 234089 HAS SOUS 135299 HAS SOUPS 134421 WITH SCORE 134659.819
AT ITER 987 NEW BEST:: SOT 438509 SOS 238717 HAS SOPS 233987 HAS SOUS 135282 HAS SOUPS 134404 WITH SCORE 134642.717
AT ITER 995 NEW BEST:: SOT 438449 SOS 238749 HAS SOPS 234019 HAS SOUS 135264 HAS SOUPS 134386 WITH SCORE 134624.749
AT ITER 997 NEW BEST:: SOT 438431 SOS 238731 HAS SOPS 234001 HAS SOUS 135235 HAS SOUPS 134357 WITH SCORE 134595.731
AT ITER 1007 NEW BEST:: SOT 438388 SOS 238602 HAS SOPS 233872 HAS SOUS 135235 HAS SOUPS 134357 WITH SCORE 134595.602
AT ITER 1017 NEW BEST:: SOT 438370 SOS 238584 HAS SOPS 233854 HAS SOUS 135206 HAS SOUPS 134328 WITH SCORE 134566.584
AT ITER 1019 NEW BEST:: SOT 438362 SOS 238578 HAS SOPS 233848 HAS SOUS 135194 HAS SOUPS 134316 WITH SCORE 134554.578
AT ITER 1020 NEW BEST:: SOT 438410 SOS 237433 HAS SOPS 232703 HAS SOUS 135002 HAS SOUPS 134124 WITH SCORE 134361.433
AT ITER 1028 NEW BEST:: SOT 438293 SOS 237367 HAS SOPS 232637 HAS SOUS 134825 HAS SOUPS 133947 WITH SCORE 134184.367
AT ITER 1035 NEW BEST:: SOT 438212 SOS 236706 HAS SOPS 231976 HAS SOUS 134669 HAS SOUPS 133791 WITH SCORE 134027.706
AT ITER 1044 NEW BEST:: SOT 438256 SOS 236650 HAS SOPS 231920 HAS SOUS 134621 HAS SOUPS 133743 WITH SCORE 133979.65
AT ITER 1047 NEW BEST:: SOT 438247 SOS 236632 HAS SOPS 231902 HAS SOUS 134603 HAS SOUPS 133725 WITH SCORE 133961.632
AT ITER 1053 NEW BEST:: SOT 437899 SOS 235953 HAS SOPS 231223 HAS SOUS 134486 HAS SOUPS 133608 WITH SCORE 133843.953
AT ITER 1055 NEW BEST:: SOT 436991 SOS 235300 HAS SOPS 230570 HAS SOUS 133858 HAS SOUPS 132980 WITH SCORE 133215.3
AT ITER 1067 NEW BEST:: SOT 436978 SOS 235284 HAS SOPS 230554 HAS SOUS 133842 HAS SOUPS 132964 WITH SCORE 133199.284
AT ITER 1072 NEW BEST:: SOT 437019 SOS 235167 HAS SOPS 230437 HAS SOUS 133725 HAS SOUPS 132847 WITH SCORE 133082.167
AT ITER 1075 NEW BEST:: SOT 436793 SOS 234941 HAS SOPS 230211 HAS SOUS 133496 HAS SOUPS 132618 WITH SCORE 132852.941
AT ITER 1076 NEW BEST:: SOT 436793 SOS 234941 HAS SOPS 230211 HAS SOUS 133355 HAS SOUPS 132477 WITH SCORE 132711.941
AT ITER 1078 NEW BEST:: SOT 436742 SOS 234806 HAS SOPS 230076 HAS SOUS 133129 HAS SOUPS 132251 WITH SCORE 132485.806
AT ITER 1079 NEW BEST:: SOT 436742 SOS 234986 HAS SOPS 230256 HAS SOUS 133046 HAS SOUPS 132168 WITH SCORE 132402.986
AT ITER 1105 NEW BEST:: SOT 436738 SOS 234978 HAS SOPS 230248 HAS SOUS 133038 HAS SOUPS 132160 WITH SCORE 132394.978
AT ITER 1108 NEW BEST:: SOT 436646 SOS 234694 HAS SOPS 229964 HAS SOUS 132943 HAS SOUPS 132065 WITH SCORE 132299.694
AT ITER 1126 NEW BEST:: SOT 436679 SOS 234890 HAS SOPS 230160 HAS SOUS 132747 HAS SOUPS 131869 WITH SCORE 132103.89
AT ITER 1133 NEW BEST:: SOT 437058 SOS 235083 HAS SOPS 230353 HAS SOUS 132513 HAS SOUPS 131635 WITH SCORE 131870.083
AT ITER 1142 NEW BEST:: SOT 437040 SOS 235059 HAS SOPS 230329 HAS SOUS 132477 HAS SOUPS 131599 WITH SCORE 131834.059
AT ITER 1152 NEW BEST:: SOT 436989 SOS 235008 HAS SOPS 230278 HAS SOUS 132375 HAS SOUPS 131497 WITH SCORE 131732.008
AT ITER 1169 NEW BEST:: SOT 437464 SOS 234629 HAS SOPS 229899 HAS SOUS 132233 HAS SOUPS 131355 WITH SCORE 131589.629
AT ITER 1182 NEW BEST:: SOT 437464 SOS 234261 HAS SOPS 229531 HAS SOUS 132089 HAS SOUPS 131211 WITH SCORE 131445.261
AT ITER 1198 NEW BEST:: SOT 437897 SOS 231327 HAS SOPS 226597 HAS SOUS 131656 HAS SOUPS 130778 WITH SCORE 131009.327
AT ITER 1202 NEW BEST:: SOT 437825 SOS 231756 HAS SOPS 227026 HAS SOUS 131512 HAS SOUPS 130634 WITH SCORE 130865.756
AT ITER 1220 NEW BEST:: SOT 437766 SOS 227990 HAS SOPS 223260 HAS SOUS 130303 HAS SOUPS 129425 WITH SCORE 129652.99
AT ITER 1224 NEW BEST:: SOT 437672 SOS 227867 HAS SOPS 223137 HAS SOUS 130165 HAS SOUPS 129287 WITH SCORE 129514.867
AT ITER 1227 NEW BEST:: SOT 437660 SOS 227855 HAS SOPS 223125 HAS SOUS 130164 HAS SOUPS 129286 WITH SCORE 129513.855
AT ITER 1230 NEW BEST:: SOT 437620 SOS 227786 HAS SOPS 223056 HAS SOUS 130154 HAS SOUPS 129276 WITH SCORE 129503.786
AT ITER 1233 NEW BEST:: SOT 437618 SOS 227785 HAS SOPS 223055 HAS SOUS 130153 HAS SOUPS 129275 WITH SCORE 129502.785
AT ITER 1241 NEW BEST:: SOT 437375 SOS 227360 HAS SOPS 222630 HAS SOUS 129752 HAS SOUPS 128874 WITH SCORE 129101.36
AT ITER 1244 NEW BEST:: SOT 437375 SOS 226724 HAS SOPS 222018 HAS SOUS 129700 HAS SOUPS 128822 WITH SCORE 129048.724
AT ITER 1255 NEW BEST:: SOT 437353 SOS 226702 HAS SOPS 221996 HAS SOUS 129680 HAS SOUPS 128802 WITH SCORE 129028.702
AT ITER 1266 NEW BEST:: SOT 437351 SOS 226700 HAS SOPS 221994 HAS SOUS 129676 HAS SOUPS 128798 WITH SCORE 129024.7
AT ITER 1268 NEW BEST:: SOT 437330 SOS 226771 HAS SOPS 222065 HAS SOUS 129582 HAS SOUPS 128704 WITH SCORE 128930.771
AT ITER 1273 NEW BEST:: SOT 437299 SOS 226680 HAS SOPS 221974 HAS SOUS 129580 HAS SOUPS 128702 WITH SCORE 128928.68
AT ITER 1285 NEW BEST:: SOT 437319 SOS 226700 HAS SOPS 221994 HAS SOUS 129536 HAS SOUPS 128658 WITH SCORE 128884.7
AT ITER 1287 NEW BEST:: SOT 437365 SOS 226752 HAS SOPS 222046 HAS SOUS 129526 HAS SOUPS 128648 WITH SCORE 128874.752
AT ITER 1289 NEW BEST:: SOT 437314 SOS 226850 HAS SOPS 222144 HAS SOUS 129397 HAS SOUPS 128519 WITH SCORE 128745.85
AT ITER 1298 NEW BEST:: SOT 437262 SOS 227021 HAS SOPS 222315 HAS SOUS 129344 HAS SOUPS 128466 WITH SCORE 128693.021
AT ITER 1303 NEW BEST:: SOT 437256 SOS 227017 HAS SOPS 222311 HAS SOUS 129340 HAS SOUPS 128462 WITH SCORE 128689.017
AT ITER 1313 NEW BEST:: SOT 437079 SOS 226813 HAS SOPS 222107 HAS SOUS 129130 HAS SOUPS 128252 WITH SCORE 128478.813
AT ITER 1335 NEW BEST:: SOT 436942 SOS 225940 HAS SOPS 221234 HAS SOUS 128908 HAS SOUPS 128030 WITH SCORE 128255.94
AT ITER 1340 NEW BEST:: SOT 435883 SOS 225614 HAS SOPS 220908 HAS SOUS 128245 HAS SOUPS 127367 WITH SCORE 127592.614
AT ITER 1345 NEW BEST:: SOT 435805 SOS 225536 HAS SOPS 220830 HAS SOUS 128089 HAS SOUPS 127211 WITH SCORE 127436.536
AT ITER 1356 NEW BEST:: SOT 435790 SOS 225521 HAS SOPS 220815 HAS SOUS 128074 HAS SOUPS 127196 WITH SCORE 127421.521
AT ITER 1361 NEW BEST:: SOT 435627 SOS 225525 HAS SOPS 220891 HAS SOUS 127899 HAS SOUPS 127021 WITH SCORE 127246.525
AT ITER 1366 NEW BEST:: SOT 435534 SOS 225439 HAS SOPS 220805 HAS SOUS 127843 HAS SOUPS 126965 WITH SCORE 127190.439
AT ITER 1370 NEW BEST:: SOT 435522 SOS 225427 HAS SOPS 220793 HAS SOUS 127831 HAS SOUPS 126953 WITH SCORE 127178.427
AT ITER 1371 NEW BEST:: SOT 435529 SOS 225422 HAS SOPS 220788 HAS SOUS 127822 HAS SOUPS 126944 WITH SCORE 127169.422
AT ITER 1372 NEW BEST:: SOT 435518 SOS 225444 HAS SOPS 220810 HAS SOUS 127800 HAS SOUPS 126922 WITH SCORE 127147.444
AT ITER 1378 NEW BEST:: SOT 435518 SOS 225550 HAS SOPS 220916 HAS SOUS 127692 HAS SOUPS 126814 WITH SCORE 127039.55
AT ITER 1380 NEW BEST:: SOT 435093 SOS 224716 HAS SOPS 220082 HAS SOUS 126909 HAS SOUPS 126031 WITH SCORE 126255.716
AT ITER 1396 NEW BEST:: SOT 435051 SOS 224724 HAS SOPS 220090 HAS SOUS 126822 HAS SOUPS 125944 WITH SCORE 126168.724
AT ITER 1398 NEW BEST:: SOT 434946 SOS 224558 HAS SOPS 219924 HAS SOUS 126485 HAS SOUPS 125607 WITH SCORE 125831.558
AT ITER 1406 NEW BEST:: SOT 434873 SOS 224485 HAS SOPS 219851 HAS SOUS 126364 HAS SOUPS 125486 WITH SCORE 125710.485
AT ITER 1407 NEW BEST:: SOT 434832 SOS 224444 HAS SOPS 219810 HAS SOUS 126318 HAS SOUPS 125440 WITH SCORE 125664.444
AT ITER 1408 NEW BEST:: SOT 434667 SOS 224083 HAS SOPS 219449 HAS SOUS 126086 HAS SOUPS 125208 WITH SCORE 125432.083
AT ITER 1413 NEW BEST:: SOT 434686 SOS 224102 HAS SOPS 219468 HAS SOUS 126054 HAS SOUPS 125176 WITH SCORE 125400.102
AT ITER 1420 NEW BEST:: SOT 434620 SOS 224058 HAS SOPS 219424 HAS SOUS 125998 HAS SOUPS 125120 WITH SCORE 125344.058
AT ITER 1429 NEW BEST:: SOT 434652 SOS 223932 HAS SOPS 219298 HAS SOUS 125997 HAS SOUPS 125119 WITH SCORE 125342.932
AT ITER 1439 NEW BEST:: SOT 434678 SOS 223133 HAS SOPS 218499 HAS SOUS 125846 HAS SOUPS 124968 WITH SCORE 125191.133
AT ITER 1453 NEW BEST:: SOT 434366 SOS 222525 HAS SOPS 217891 HAS SOUS 125814 HAS SOUPS 124936 WITH SCORE 125158.525
AT ITER 1478 NEW BEST:: SOT 434169 SOS 222363 HAS SOPS 217729 HAS SOUS 125474 HAS SOUPS 124596 WITH SCORE 124818.363
AT ITER 1489 NEW BEST:: SOT 434170 SOS 222444 HAS SOPS 217810 HAS SOUS 125454 HAS SOUPS 124576 WITH SCORE 124798.444
AT ITER 1490 NEW BEST:: SOT 434158 SOS 222404 HAS SOPS 217770 HAS SOUS 125340 HAS SOUPS 124462 WITH SCORE 124684.404
AT ITER 1496 NEW BEST:: SOT 433876 SOS 222132 HAS SOPS 217498 HAS SOUS 125332 HAS SOUPS 124454 WITH SCORE 124676.132
AT ITER 1497 NEW BEST:: SOT 433825 SOS 222195 HAS SOPS 217561 HAS SOUS 125230 HAS SOUPS 124352 WITH SCORE 124574.195
AT ITER 1510 NEW BEST:: SOT 433692 SOS 223415 HAS SOPS 218781 HAS SOUS 125190 HAS SOUPS 124312 WITH SCORE 124535.415
AT ITER 1511 NEW BEST:: SOT 433565 SOS 223288 HAS SOPS 218654 HAS SOUS 125122 HAS SOUPS 124244 WITH SCORE 124467.288
AT ITER 1522 NEW BEST:: SOT 433479 SOS 223215 HAS SOPS 218581 HAS SOUS 125082 HAS SOUPS 124204 WITH SCORE 124427.215
AT ITER 1533 NEW BEST:: SOT 433443 SOS 223117 HAS SOPS 218483 HAS SOUS 124984 HAS SOUPS 124106 WITH SCORE 124329.117
AT ITER 1551 NEW BEST:: SOT 433672 SOS 223778 HAS SOPS 219144 HAS SOUS 124788 HAS SOUPS 123910 WITH SCORE 124133.778
AT ITER 1570 NEW BEST:: SOT 433672 SOS 223287 HAS SOPS 218653 HAS SOUS 124788 HAS SOUPS 123910 WITH SCORE 124133.287
AT ITER 1576 NEW BEST:: SOT 433019 SOS 222483 HAS SOPS 217759 HAS SOUS 124405 HAS SOUPS 123527 WITH SCORE 123749.483
AT ITER 1589 NEW BEST:: SOT 433004 SOS 222468 HAS SOPS 217744 HAS SOUS 124375 HAS SOUPS 123497 WITH SCORE 123719.468
AT ITER 1617 NEW BEST:: SOT 432789 SOS 222202 HAS SOPS 217478 HAS SOUS 124102 HAS SOUPS 123224 WITH SCORE 123446.202
AT ITER 1624 NEW BEST:: SOT 432762 SOS 222148 HAS SOPS 217424 HAS SOUS 124048 HAS SOUPS 123170 WITH SCORE 123392.148
AT ITER 1625 NEW BEST:: SOT 432752 SOS 222118 HAS SOPS 217234 HAS SOUS 124038 HAS SOUPS 123140 WITH SCORE 123362.118
AT ITER 1628 NEW BEST:: SOT 432711 SOS 222040 HAS SOPS 217156 HAS SOUS 123980 HAS SOUPS 123082 WITH SCORE 123304.04
AT ITER 1635 NEW BEST:: SOT 432711 SOS 222053 HAS SOPS 217169 HAS SOUS 123927 HAS SOUPS 123029 WITH SCORE 123251.053
AT ITER 1636 NEW BEST:: SOT 432711 SOS 221715 HAS SOPS 216831 HAS SOUS 123836 HAS SOUPS 122938 WITH SCORE 123159.715
AT ITER 1642 NEW BEST:: SOT 432678 SOS 221680 HAS SOPS 216796 HAS SOUS 123803 HAS SOUPS 122905 WITH SCORE 123126.68
AT ITER 1651 NEW BEST:: SOT 432566 SOS 221516 HAS SOPS 216632 HAS SOUS 123696 HAS SOUPS 122798 WITH SCORE 123019.516
AT ITER 1659 NEW BEST:: SOT 432566 SOS 221523 HAS SOPS 216644 HAS SOUS 123694 HAS SOUPS 122796 WITH SCORE 123017.523
AT ITER 1666 NEW BEST:: SOT 432563 SOS 221610 HAS SOPS 216731 HAS SOUS 123688 HAS SOUPS 122790 WITH SCORE 123011.61
AT ITER 1672 NEW BEST:: SOT 432696 SOS 221753 HAS SOPS 216874 HAS SOUS 123587 HAS SOUPS 122689 WITH SCORE 122910.753
AT ITER 1673 NEW BEST:: SOT 432619 SOS 221175 HAS SOPS 216296 HAS SOUS 123554 HAS SOUPS 122656 WITH SCORE 122877.175
AT ITER 1677 NEW BEST:: SOT 432554 SOS 221051 HAS SOPS 216172 HAS SOUS 123410 HAS SOUPS 122512 WITH SCORE 122733.051
AT ITER 1679 NEW BEST:: SOT 432491 SOS 220879 HAS SOPS 216000 HAS SOUS 123364 HAS SOUPS 122466 WITH SCORE 122686.879
AT ITER 1681 NEW BEST:: SOT 432452 SOS 220827 HAS SOPS 215935 HAS SOUS 123312 HAS SOUPS 122414 WITH SCORE 122634.827
AT ITER 1682 NEW BEST:: SOT 432449 SOS 220818 HAS SOPS 215926 HAS SOUS 123306 HAS SOUPS 122408 WITH SCORE 122628.818
AT ITER 1692 NEW BEST:: SOT 432449 SOS 220818 HAS SOPS 215926 HAS SOUS 123134 HAS SOUPS 122236 WITH SCORE 122456.818
AT ITER 1703 NEW BEST:: SOT 432432 SOS 220326 HAS SOPS 215434 HAS SOUS 123097 HAS SOUPS 122199 WITH SCORE 122419.326
AT ITER 1708 NEW BEST:: SOT 432342 SOS 220249 HAS SOPS 215357 HAS SOUS 123056 HAS SOUPS 122158 WITH SCORE 122378.249
AT ITER 1720 NEW BEST:: SOT 432364 SOS 220243 HAS SOPS 215351 HAS SOUS 122890 HAS SOUPS 121992 WITH SCORE 122212.243
AT ITER 1734 NEW BEST:: SOT 432224 SOS 220052 HAS SOPS 215121 HAS SOUS 122728 HAS SOUPS 121830 WITH SCORE 122050.052
AT ITER 1736 NEW BEST:: SOT 432174 SOS 220002 HAS SOPS 215071 HAS SOUS 122574 HAS SOUPS 121676 WITH SCORE 121896.002
AT ITER 1739 NEW BEST:: SOT 432352 SOS 219779 HAS SOPS 214839 HAS SOUS 122532 HAS SOUPS 121634 WITH SCORE 121853.779
AT ITER 1766 NEW BEST:: SOT 432252 SOS 219655 HAS SOPS 214715 HAS SOUS 122428 HAS SOUPS 121530 WITH SCORE 121749.655
AT ITER 1767 NEW BEST:: SOT 432243 SOS 219596 HAS SOPS 214656 HAS SOUS 122379 HAS SOUPS 121481 WITH SCORE 121700.596
AT ITER 1781 NEW BEST:: SOT 432002 SOS 219246 HAS SOPS 214306 HAS SOUS 121803 HAS SOUPS 120905 WITH SCORE 121124.246
AT ITER 1794 NEW BEST:: SOT 432001 SOS 219240 HAS SOPS 214300 HAS SOUS 121801 HAS SOUPS 120903 WITH SCORE 121122.24
AT ITER 1799 NEW BEST:: SOT 431835 SOS 219138 HAS SOPS 214198 HAS SOUS 121578 HAS SOUPS 120680 WITH SCORE 120899.138
AT ITER 1812 NEW BEST:: SOT 431614 SOS 218917 HAS SOPS 213977 HAS SOUS 121229 HAS SOUPS 120331 WITH SCORE 120549.917
AT ITER 1829 NEW BEST:: SOT 431662 SOS 218965 HAS SOPS 214025 HAS SOUS 121188 HAS SOUPS 120290 WITH SCORE 120508.965
AT ITER 1831 NEW BEST:: SOT 431695 SOS 218649 HAS SOPS 213709 HAS SOUS 121091 HAS SOUPS 120193 WITH SCORE 120411.649
AT ITER 1838 NEW BEST:: SOT 431494 SOS 218166 HAS SOPS 213226 HAS SOUS 120821 HAS SOUPS 119923 WITH SCORE 120141.166
AT ITER 1847 NEW BEST:: SOT 431440 SOS 218112 HAS SOPS 213172 HAS SOUS 120586 HAS SOUPS 119688 WITH SCORE 119906.112
AT ITER 1849 NEW BEST:: SOT 431370 SOS 217875 HAS SOPS 212935 HAS SOUS 120446 HAS SOUPS 119548 WITH SCORE 119765.875
AT ITER 1853 NEW BEST:: SOT 431329 SOS 217819 HAS SOPS 212879 HAS SOUS 120437 HAS SOUPS 119539 WITH SCORE 119756.819
AT ITER 1856 NEW BEST:: SOT 431329 SOS 217679 HAS SOPS 212739 HAS SOUS 120437 HAS SOUPS 119539 WITH SCORE 119756.679
AT ITER 1857 NEW BEST:: SOT 431290 SOS 217601 HAS SOPS 212661 HAS SOUS 120437 HAS SOUPS 119539 WITH SCORE 119756.601
AT ITER 1868 NEW BEST:: SOT 431300 SOS 217371 HAS SOPS 212431 HAS SOUS 120353 HAS SOUPS 119455 WITH SCORE 119672.371
AT ITER 1870 NEW BEST:: SOT 431182 SOS 217317 HAS SOPS 212377 HAS SOUS 120299 HAS SOUPS 119401 WITH SCORE 119618.317
AT ITER 1881 NEW BEST:: SOT 431110 SOS 217219 HAS SOPS 212279 HAS SOUS 120123 HAS SOUPS 119225 WITH SCORE 119442.219
AT ITER 1897 NEW BEST:: SOT 431110 SOS 217261 HAS SOPS 212321 HAS SOUS 120064 HAS SOUPS 119166 WITH SCORE 119383.261
AT ITER 1908 NEW BEST:: SOT 431047 SOS 216841 HAS SOPS 211901 HAS SOUS 120051 HAS SOUPS 119153 WITH SCORE 119369.841
AT ITER 1916 NEW BEST:: SOT 430938 SOS 216582 HAS SOPS 211642 HAS SOUS 119802 HAS SOUPS 118904 WITH SCORE 119120.582
AT ITER 1918 NEW BEST:: SOT 431377 SOS 214573 HAS SOPS 209633 HAS SOUS 119766 HAS SOUPS 118868 WITH SCORE 119082.573
AT ITER 1920 NEW BEST:: SOT 431364 SOS 214560 HAS SOPS 209620 HAS SOUS 119764 HAS SOUPS 118866 WITH SCORE 119080.56
AT ITER 1923 NEW BEST:: SOT 431362 SOS 214560 HAS SOPS 209620 HAS SOUS 119762 HAS SOUPS 118864 WITH SCORE 119078.56
AT ITER 1948 NEW BEST:: SOT 431420 SOS 214483 HAS SOPS 209498 HAS SOUS 119755 HAS SOUPS 118856 WITH SCORE 119070.483
AT ITER 1950 NEW BEST:: SOT 431420 SOS 214420 HAS SOPS 209435 HAS SOUS 119755 HAS SOUPS 118856 WITH SCORE 119070.42
AT ITER 1951 NEW BEST:: SOT 431176 SOS 214867 HAS SOPS 209882 HAS SOUS 119744 HAS SOUPS 118845 WITH SCORE 119059.867
AT ITER 1954 NEW BEST:: SOT 431235 SOS 215216 HAS SOPS 210231 HAS SOUS 119484 HAS SOUPS 118585 WITH SCORE 118800.216
AT ITER 1956 NEW BEST:: SOT 431228 SOS 215202 HAS SOPS 210217 HAS SOUS 119456 HAS SOUPS 118557 WITH SCORE 118772.202
AT ITER 1958 NEW BEST:: SOT 431245 SOS 215255 HAS SOPS 210270 HAS SOUS 119222 HAS SOUPS 118323 WITH SCORE 118538.255
AT ITER 1966 NEW BEST:: SOT 431102 SOS 214135 HAS SOPS 209150 HAS SOUS 119079 HAS SOUPS 118180 WITH SCORE 118394.135
AT ITER 1968 NEW BEST:: SOT 431065 SOS 214122 HAS SOPS 209087 HAS SOUS 119121 HAS SOUPS 118178 WITH SCORE 118392.122
AT ITER 1980 NEW BEST:: SOT 431065 SOS 213630 HAS SOPS 208595 HAS SOUS 119104 HAS SOUPS 118161 WITH SCORE 118374.63
AT ITER 1988 NEW BEST:: SOT 430959 SOS 213418 HAS SOPS 208383 HAS SOUS 118912 HAS SOUPS 117969 WITH SCORE 118182.418
AT ITER 1995 NEW BEST:: SOT 430860 SOS 213413 HAS SOPS 208378 HAS SOUS 118827 HAS SOUPS 117884 WITH SCORE 118097.413
AT ITER 2026 NEW BEST:: SOT 430830 SOS 213391 HAS SOPS 208356 HAS SOUS 118776 HAS SOUPS 117833 WITH SCORE 118046.391
AT ITER 2030 NEW BEST:: SOT 430771 SOS 213332 HAS SOPS 208297 HAS SOUS 118757 HAS SOUPS 117814 WITH SCORE 118027.332
AT ITER 2032 NEW BEST:: SOT 430696 SOS 213351 HAS SOPS 208316 HAS SOUS 118711 HAS SOUPS 117768 WITH SCORE 117981.351
AT ITER 2034 NEW BEST:: SOT 430688 SOS 213343 HAS SOPS 208308 HAS SOUS 118711 HAS SOUPS 117768 WITH SCORE 117981.343
AT ITER 2039 NEW BEST:: SOT 430688 SOS 213343 HAS SOPS 208308 HAS SOUS 118708 HAS SOUPS 117765 WITH SCORE 117978.343
AT ITER 2040 NEW BEST:: SOT 430348 SOS 213198 HAS SOPS 208163 HAS SOUS 118226 HAS SOUPS 117283 WITH SCORE 117496.198
AT ITER 2041 NEW BEST:: SOT 430324 SOS 213165 HAS SOPS 208130 HAS SOUS 118193 HAS SOUPS 117250 WITH SCORE 117463.165
AT ITER 2047 NEW BEST:: SOT 430269 SOS 213118 HAS SOPS 208083 HAS SOUS 118046 HAS SOUPS 117103 WITH SCORE 117316.118
AT ITER 2049 NEW BEST:: SOT 429800 SOS 212709 HAS SOPS 207674 HAS SOUS 117916 HAS SOUPS 116973 WITH SCORE 117185.709
AT ITER 2063 NEW BEST:: SOT 429788 SOS 212697 HAS SOPS 207668 HAS SOUS 117904 HAS SOUPS 116961 WITH SCORE 117173.697
AT ITER 2077 NEW BEST:: SOT 429647 SOS 212688 HAS SOPS 207659 HAS SOUS 117878 HAS SOUPS 116935 WITH SCORE 117147.688
AT ITER 2091 NEW BEST:: SOT 429620 SOS 212630 HAS SOPS 207601 HAS SOUS 117820 HAS SOUPS 116877 WITH SCORE 117089.63
AT ITER 2106 NEW BEST:: SOT 429631 SOS 212641 HAS SOPS 207612 HAS SOUS 117655 HAS SOUPS 116712 WITH SCORE 116924.641
AT ITER 2110 NEW BEST:: SOT 429694 SOS 212657 HAS SOPS 207628 HAS SOUS 117650 HAS SOUPS 116707 WITH SCORE 116919.657
AT ITER 2120 NEW BEST:: SOT 429686 SOS 212649 HAS SOPS 207620 HAS SOUS 117637 HAS SOUPS 116694 WITH SCORE 116906.649
AT ITER 2130 NEW BEST:: SOT 430301 SOS 211084 HAS SOPS 206055 HAS SOUS 117536 HAS SOUPS 116593 WITH SCORE 116804.084
AT ITER 2143 NEW BEST:: SOT 430311 SOS 211422 HAS SOPS 206393 HAS SOUS 117324 HAS SOUPS 116381 WITH SCORE 116592.422
AT ITER 2150 NEW BEST:: SOT 428983 SOS 210126 HAS SOPS 205097 HAS SOUS 116486 HAS SOUPS 115543 WITH SCORE 115753.126
AT ITER 2152 NEW BEST:: SOT 429130 SOS 208451 HAS SOPS 203422 HAS SOUS 115923 HAS SOUPS 114980 WITH SCORE 115188.451
AT ITER 2153 NEW BEST:: SOT 429078 SOS 208399 HAS SOPS 203370 HAS SOUS 115819 HAS SOUPS 114876 WITH SCORE 115084.399
AT ITER 2170 NEW BEST:: SOT 428854 SOS 208090 HAS SOPS 203061 HAS SOUS 115531 HAS SOUPS 114588 WITH SCORE 114796.09
AT ITER 2174 NEW BEST:: SOT 428861 SOS 208181 HAS SOPS 203152 HAS SOUS 115511 HAS SOUPS 114568 WITH SCORE 114776.181
AT ITER 2181 NEW BEST:: SOT 428853 SOS 208165 HAS SOPS 203136 HAS SOUS 115495 HAS SOUPS 114552 WITH SCORE 114760.165
AT ITER 2221 NEW BEST:: SOT 428811 SOS 208048 HAS SOPS 203019 HAS SOUS 115349 HAS SOUPS 114406 WITH SCORE 114614.048
AT ITER 2228 NEW BEST:: SOT 428787 SOS 208024 HAS SOPS 202909 HAS SOUS 115367 HAS SOUPS 114382 WITH SCORE 114590.024
AT ITER 2234 NEW BEST:: SOT 428787 SOS 207860 HAS SOPS 202745 HAS SOUS 115355 HAS SOUPS 114370 WITH SCORE 114577.86
AT ITER 2245 NEW BEST:: SOT 428766 SOS 207989 HAS SOPS 202874 HAS SOUS 115280 HAS SOUPS 114295 WITH SCORE 114502.989
AT ITER 2257 NEW BEST:: SOT 428762 SOS 207981 HAS SOPS 202866 HAS SOUS 115272 HAS SOUPS 114287 WITH SCORE 114494.981
AT ITER 2264 NEW BEST:: SOT 428694 SOS 207953 HAS SOPS 202838 HAS SOUS 115210 HAS SOUPS 114225 WITH SCORE 114432.953
AT ITER 2273 NEW BEST:: SOT 428701 SOS 207960 HAS SOPS 202845 HAS SOUS 115194 HAS SOUPS 114209 WITH SCORE 114416.96
AT ITER 2277 NEW BEST:: SOT 428674 SOS 207720 HAS SOPS 202605 HAS SOUS 115145 HAS SOUPS 114160 WITH SCORE 114367.72
AT ITER 2288 NEW BEST:: SOT 428666 SOS 207774 HAS SOPS 202659 HAS SOUS 115129 HAS SOUPS 114144 WITH SCORE 114351.774
AT ITER 2294 NEW BEST:: SOT 428340 SOS 207276 HAS SOPS 202161 HAS SOUS 115010 HAS SOUPS 114025 WITH SCORE 114232.276
AT ITER 2302 NEW BEST:: SOT 428340 SOS 207276 HAS SOPS 202161 HAS SOUS 115005 HAS SOUPS 114020 WITH SCORE 114227.276
AT ITER 2307 NEW BEST:: SOT 428198 SOS 207063 HAS SOPS 201948 HAS SOUS 114721 HAS SOUPS 113736 WITH SCORE 113943.063
AT ITER 2335 NEW BEST:: SOT 428155 SOS 207051 HAS SOPS 201936 HAS SOUS 114635 HAS SOUPS 113650 WITH SCORE 113857.051
AT ITER 2346 NEW BEST:: SOT 428134 SOS 206962 HAS SOPS 201847 HAS SOUS 114604 HAS SOUPS 113619 WITH SCORE 113825.962
AT ITER 2361 NEW BEST:: SOT 428183 SOS 206913 HAS SOPS 201753 HAS SOUS 114559 HAS SOUPS 113574 WITH SCORE 113780.913
AT ITER 2366 NEW BEST:: SOT 428183 SOS 206465 HAS SOPS 201305 HAS SOUS 114545 HAS SOUPS 113560 WITH SCORE 113766.465
AT ITER 2369 NEW BEST:: SOT 428183 SOS 206470 HAS SOPS 201310 HAS SOUS 114494 HAS SOUPS 113509 WITH SCORE 113715.47
AT ITER 2384 NEW BEST:: SOT 428183 SOS 206470 HAS SOPS 201310 HAS SOUS 114487 HAS SOUPS 113502 WITH SCORE 113708.47
AT ITER 2386 NEW BEST:: SOT 428217 SOS 206471 HAS SOPS 201311 HAS SOUS 114463 HAS SOUPS 113478 WITH SCORE 113684.471
AT ITER 2392 NEW BEST:: SOT 428217 SOS 206511 HAS SOPS 201340 HAS SOUS 114452 HAS SOUPS 113467 WITH SCORE 113673.511
AT ITER 2398 NEW BEST:: SOT 427607 SOS 209591 HAS SOPS 204076 HAS SOUS 114133 HAS SOUPS 113141 WITH SCORE 113350.591
AT ITER 2413 NEW BEST:: SOT 427400 SOS 209353 HAS SOPS 203838 HAS SOUS 113928 HAS SOUPS 112936 WITH SCORE 113145.353
AT ITER 2419 NEW BEST:: SOT 427398 SOS 209351 HAS SOPS 203836 HAS SOUS 113907 HAS SOUPS 112915 WITH SCORE 113124.351
AT ITER 2441 NEW BEST:: SOT 427348 SOS 209276 HAS SOPS 203761 HAS SOUS 113782 HAS SOUPS 112790 WITH SCORE 112999.276
AT ITER 2443 NEW BEST:: SOT 427348 SOS 209276 HAS SOPS 203761 HAS SOUS 113781 HAS SOUPS 112789 WITH SCORE 112998.276
AT ITER 2444 NEW BEST:: SOT 427348 SOS 209250 HAS SOPS 203735 HAS SOUS 113729 HAS SOUPS 112737 WITH SCORE 112946.25
AT ITER 2452 NEW BEST:: SOT 427348 SOS 208963 HAS SOPS 203448 HAS SOUS 113729 HAS SOUPS 112737 WITH SCORE 112945.963
AT ITER 2494 NEW BEST:: SOT 427348 SOS 208924 HAS SOPS 203409 HAS SOUS 113729 HAS SOUPS 112737 WITH SCORE 112945.924
AT ITER 2495 NEW BEST:: SOT 427348 SOS 208842 HAS SOPS 203327 HAS SOUS 113729 HAS SOUPS 112737 WITH SCORE 112945.842
AT ITER 2510 NEW BEST:: SOT 427364 SOS 208847 HAS SOPS 203332 HAS SOUS 113665 HAS SOUPS 112673 WITH SCORE 112881.847
AT ITER 2516 NEW BEST:: SOT 427343 SOS 208826 HAS SOPS 203311 HAS SOUS 113582 HAS SOUPS 112590 WITH SCORE 112798.826
AT ITER 2524 NEW BEST:: SOT 427233 SOS 208688 HAS SOPS 203173 HAS SOUS 113458 HAS SOUPS 112466 WITH SCORE 112674.688
AT ITER 2530 NEW BEST:: SOT 427225 SOS 208652 HAS SOPS 203137 HAS SOUS 113442 HAS SOUPS 112450 WITH SCORE 112658.652
AT ITER 2559 NEW BEST:: SOT 427237 SOS 208575 HAS SOPS 203060 HAS SOUS 113410 HAS SOUPS 112418 WITH SCORE 112626.575
AT ITER 2562 NEW BEST:: SOT 427236 SOS 208510 HAS SOPS 202995 HAS SOUS 113400 HAS SOUPS 112408 WITH SCORE 112616.51
AT ITER 2572 NEW BEST:: SOT 427236 SOS 208479 HAS SOPS 202964 HAS SOUS 113400 HAS SOUPS 112408 WITH SCORE 112616.479
AT ITER 2611 NEW BEST:: SOT 427229 SOS 208458 HAS SOPS 202943 HAS SOUS 113385 HAS SOUPS 112393 WITH SCORE 112601.458
AT ITER 2614 NEW BEST:: SOT 427229 SOS 208478 HAS SOPS 202963 HAS SOUS 113375 HAS SOUPS 112383 WITH SCORE 112591.478
AT ITER 2618 NEW BEST:: SOT 427231 SOS 208439 HAS SOPS 202924 HAS SOUS 113256 HAS SOUPS 112264 WITH SCORE 112472.439
AT ITER 2619 NEW BEST:: SOT 427261 SOS 208447 HAS SOPS 202932 HAS SOUS 113220 HAS SOUPS 112228 WITH SCORE 112436.447
AT ITER 2655 NEW BEST:: SOT 427256 SOS 208437 HAS SOPS 202922 HAS SOUS 113210 HAS SOUPS 112218 WITH SCORE 112426.437
AT ITER 2693 NEW BEST:: SOT 427249 SOS 208384 HAS SOPS 202869 HAS SOUS 113157 HAS SOUPS 112165 WITH SCORE 112373.384
AT ITER 2699 NEW BEST:: SOT 427224 SOS 208359 HAS SOPS 202844 HAS SOUS 113132 HAS SOUPS 112140 WITH SCORE 112348.359
AT ITER 2705 NEW BEST:: SOT 427168 SOS 208419 HAS SOPS 202904 HAS SOUS 113074 HAS SOUPS 112082 WITH SCORE 112290.419
AT ITER 2709 NEW BEST:: SOT 427352 SOS 208557 HAS SOPS 203042 HAS SOUS 113038 HAS SOUPS 112046 WITH SCORE 112254.557
AT ITER 2717 NEW BEST:: SOT 427287 SOS 208432 HAS SOPS 202917 HAS SOUS 112908 HAS SOUPS 111916 WITH SCORE 112124.432
AT ITER 2723 NEW BEST:: SOT 427308 SOS 208519 HAS SOPS 203004 HAS SOUS 112888 HAS SOUPS 111896 WITH SCORE 112104.519
AT ITER 2731 NEW BEST:: SOT 427308 SOS 208519 HAS SOPS 203004 HAS SOUS 112868 HAS SOUPS 111876 WITH SCORE 112084.519
AT ITER 2742 NEW BEST:: SOT 427297 SOS 208411 HAS SOPS 202896 HAS SOUS 112867 HAS SOUPS 111875 WITH SCORE 112083.411
AT ITER 2746 NEW BEST:: SOT 426806 SOS 207964 HAS SOPS 202449 HAS SOUS 112707 HAS SOUPS 111715 WITH SCORE 111922.964
AT ITER 2753 NEW BEST:: SOT 426703 SOS 207911 HAS SOPS 202418 HAS SOUS 112698 HAS SOUPS 111706 WITH SCORE 111913.911
AT ITER 2759 NEW BEST:: SOT 426625 SOS 207867 HAS SOPS 202374 HAS SOUS 112542 HAS SOUPS 111550 WITH SCORE 111757.867
AT ITER 2777 NEW BEST:: SOT 426561 SOS 207803 HAS SOPS 202310 HAS SOUS 112478 HAS SOUPS 111486 WITH SCORE 111693.803
AT ITER 2788 NEW BEST:: SOT 426320 SOS 207717 HAS SOPS 202224 HAS SOUS 112293 HAS SOUPS 111301 WITH SCORE 111508.717
AT ITER 2793 NEW BEST:: SOT 426309 SOS 207706 HAS SOPS 202213 HAS SOUS 112289 HAS SOUPS 111297 WITH SCORE 111504.706
AT ITER 2807 NEW BEST:: SOT 426178 SOS 207108 HAS SOPS 201615 HAS SOUS 112169 HAS SOUPS 111177 WITH SCORE 111384.108
AT ITER 2816 NEW BEST:: SOT 426178 SOS 207150 HAS SOPS 201657 HAS SOUS 112158 HAS SOUPS 111166 WITH SCORE 111373.15
AT ITER 2832 NEW BEST:: SOT 426162 SOS 207110 HAS SOPS 201617 HAS SOUS 112146 HAS SOUPS 111154 WITH SCORE 111361.11
AT ITER 2870 NEW BEST:: SOT 426249 SOS 207083 HAS SOPS 201590 HAS SOUS 112077 HAS SOUPS 111085 WITH SCORE 111292.083
AT ITER 2900 NEW BEST:: SOT 426257 SOS 207148 HAS SOPS 201655 HAS SOUS 111998 HAS SOUPS 111006 WITH SCORE 111213.148
AT ITER 2934 NEW BEST:: SOT 426247 SOS 207118 HAS SOPS 201625 HAS SOUS 111928 HAS SOUPS 110936 WITH SCORE 111143.118
AT ITER 2943 NEW BEST:: SOT 426221 SOS 206974 HAS SOPS 201481 HAS SOUS 111881 HAS SOUPS 110889 WITH SCORE 111095.974
AT ITER 2949 NEW BEST:: SOT 426146 SOS 206880 HAS SOPS 201387 HAS SOUS 111782 HAS SOUPS 110790 WITH SCORE 110996.88
AT ITER 2955 NEW BEST:: SOT 425981 SOS 206800 HAS SOPS 201307 HAS SOUS 111643 HAS SOUPS 110651 WITH SCORE 110857.8
AT ITER 2959 NEW BEST:: SOT 426668 SOS 205596 HAS SOPS 200103 HAS SOUS 111578 HAS SOUPS 110586 WITH SCORE 110791.596
AT ITER 2963 NEW BEST:: SOT 426658 SOS 205586 HAS SOPS 200093 HAS SOUS 111558 HAS SOUPS 110566 WITH SCORE 110771.586
AT ITER 2964 NEW BEST:: SOT 426554 SOS 205473 HAS SOPS 199980 HAS SOUS 111372 HAS SOUPS 110380 WITH SCORE 110585.473
AT ITER 2970 NEW BEST:: SOT 426503 SOS 205448 HAS SOPS 199955 HAS SOUS 111348 HAS SOUPS 110356 WITH SCORE 110561.448
AT ITER 2979 NEW BEST:: SOT 426428 SOS 205175 HAS SOPS 199682 HAS SOUS 111253 HAS SOUPS 110261 WITH SCORE 110466.175
AT ITER 2982 NEW BEST:: SOT 426306 SOS 205053 HAS SOPS 199560 HAS SOUS 111145 HAS SOUPS 110153 WITH SCORE 110358.053
AT ITER 2987 NEW BEST:: SOT 426365 SOS 205000 HAS SOPS 199507 HAS SOUS 111055 HAS SOUPS 110063 WITH SCORE 110268.0
AT ITER 3000 NEW BEST:: SOT 426363 SOS 204998 HAS SOPS 199505 HAS SOUS 111055 HAS SOUPS 110063 WITH SCORE 110267.998
AT ITER 3025 NEW BEST:: SOT 426335 SOS 204942 HAS SOPS 199449 HAS SOUS 110999 HAS SOUPS 110007 WITH SCORE 110211.942
AT ITER 3029 NEW BEST:: SOT 426294 SOS 204927 HAS SOPS 199434 HAS SOUS 110932 HAS SOUPS 109940 WITH SCORE 110144.927
AT ITER 3030 NEW BEST:: SOT 426271 SOS 204904 HAS SOPS 199411 HAS SOUS 110860 HAS SOUPS 109868 WITH SCORE 110072.904
AT ITER 3086 NEW BEST:: SOT 426191 SOS 205467 HAS SOPS 199974 HAS SOUS 110741 HAS SOUPS 109749 WITH SCORE 109954.467
AT ITER 3093 NEW BEST:: SOT 426204 SOS 205480 HAS SOPS 199987 HAS SOUS 110710 HAS SOUPS 109718 WITH SCORE 109923.48
AT ITER 3095 NEW BEST:: SOT 424866 SOS 204380 HAS SOPS 198639 HAS SOUS 110241 HAS SOUPS 109218 WITH SCORE 109422.38
AT ITER 3104 NEW BEST:: SOT 424828 SOS 204171 HAS SOPS 198430 HAS SOUS 110241 HAS SOUPS 109218 WITH SCORE 109422.171
AT ITER 3122 NEW BEST:: SOT 424856 SOS 204224 HAS SOPS 198483 HAS SOUS 110197 HAS SOUPS 109174 WITH SCORE 109378.224
AT ITER 3146 NEW BEST:: SOT 424796 SOS 204164 HAS SOPS 198423 HAS SOUS 110159 HAS SOUPS 109136 WITH SCORE 109340.164
AT ITER 3166 NEW BEST:: SOT 424789 SOS 204104 HAS SOPS 198363 HAS SOUS 110145 HAS SOUPS 109122 WITH SCORE 109326.104
AT ITER 3169 NEW BEST:: SOT 424776 SOS 204065 HAS SOPS 198324 HAS SOUS 110119 HAS SOUPS 109096 WITH SCORE 109300.065
AT ITER 3172 NEW BEST:: SOT 424773 SOS 204053 HAS SOPS 198312 HAS SOUS 110119 HAS SOUPS 109096 WITH SCORE 109300.053
AT ITER 3176 NEW BEST:: SOT 424773 SOS 204036 HAS SOPS 198295 HAS SOUS 110102 HAS SOUPS 109079 WITH SCORE 109283.036
AT ITER 3182 NEW BEST:: SOT 424737 SOS 204044 HAS SOPS 198303 HAS SOUS 110055 HAS SOUPS 109032 WITH SCORE 109236.044
AT ITER 3188 NEW BEST:: SOT 424690 SOS 204039 HAS SOPS 198298 HAS SOUS 110041 HAS SOUPS 109018 WITH SCORE 109222.039
AT ITER 3208 NEW BEST:: SOT 424826 SOS 204856 HAS SOPS 199115 HAS SOUS 109891 HAS SOUPS 108868 WITH SCORE 109072.856
AT ITER 3211 NEW BEST:: SOT 424781 SOS 204877 HAS SOPS 199136 HAS SOUS 109801 HAS SOUPS 108778 WITH SCORE 108982.877
AT ITER 3224 NEW BEST:: SOT 424781 SOS 204885 HAS SOPS 199144 HAS SOUS 109797 HAS SOUPS 108774 WITH SCORE 108978.885
AT ITER 3234 NEW BEST:: SOT 424805 SOS 204747 HAS SOPS 199006 HAS SOUS 109754 HAS SOUPS 108731 WITH SCORE 108935.747
AT ITER 3240 NEW BEST:: SOT 424778 SOS 204698 HAS SOPS 198957 HAS SOUS 109636 HAS SOUPS 108613 WITH SCORE 108817.698
AT ITER 3251 NEW BEST:: SOT 424790 SOS 204730 HAS SOPS 198989 HAS SOUS 109511 HAS SOUPS 108488 WITH SCORE 108692.73
AT ITER 3266 NEW BEST:: SOT 424745 SOS 204694 HAS SOPS 198953 HAS SOUS 109467 HAS SOUPS 108444 WITH SCORE 108648.694
AT ITER 3283 NEW BEST:: SOT 424745 SOS 204735 HAS SOPS 198994 HAS SOUS 109426 HAS SOUPS 108403 WITH SCORE 108607.735
AT ITER 3286 NEW BEST:: SOT 424685 SOS 204651 HAS SOPS 198910 HAS SOUS 109342 HAS SOUPS 108319 WITH SCORE 108523.651
AT ITER 3330 NEW BEST:: SOT 424566 SOS 204523 HAS SOPS 198782 HAS SOUS 109227 HAS SOUPS 108204 WITH SCORE 108408.523
AT ITER 3333 NEW BEST:: SOT 424566 SOS 204523 HAS SOPS 198782 HAS SOUS 109225 HAS SOUPS 108202 WITH SCORE 108406.523
AT ITER 3364 NEW BEST:: SOT 424512 SOS 204451 HAS SOPS 198710 HAS SOUS 109153 HAS SOUPS 108130 WITH SCORE 108334.451
AT ITER 3367 NEW BEST:: SOT 424599 SOS 203324 HAS SOPS 197638 HAS SOUS 109126 HAS SOUPS 108103 WITH SCORE 108306.324
AT ITER 3371 NEW BEST:: SOT 424599 SOS 203289 HAS SOPS 197603 HAS SOUS 109021 HAS SOUPS 107998 WITH SCORE 108201.289
AT ITER 3379 NEW BEST:: SOT 424540 SOS 203306 HAS SOPS 197620 HAS SOUS 108739 HAS SOUPS 107716 WITH SCORE 107919.306
AT ITER 3395 NEW BEST:: SOT 424444 SOS 203210 HAS SOPS 197524 HAS SOUS 108626 HAS SOUPS 107603 WITH SCORE 107806.21
AT ITER 3407 NEW BEST:: SOT 424429 SOS 203195 HAS SOPS 197509 HAS SOUS 108618 HAS SOUPS 107595 WITH SCORE 107798.195
AT ITER 3415 NEW BEST:: SOT 424388 SOS 203241 HAS SOPS 197555 HAS SOUS 108508 HAS SOUPS 107485 WITH SCORE 107688.241
AT ITER 3417 NEW BEST:: SOT 424375 SOS 203234 HAS SOPS 197548 HAS SOUS 108484 HAS SOUPS 107461 WITH SCORE 107664.234
AT ITER 3422 NEW BEST:: SOT 424320 SOS 203201 HAS SOPS 197515 HAS SOUS 108365 HAS SOUPS 107342 WITH SCORE 107545.201
AT ITER 3423 NEW BEST:: SOT 424384 SOS 203408 HAS SOPS 197722 HAS SOUS 108335 HAS SOUPS 107312 WITH SCORE 107515.408
AT ITER 3435 NEW BEST:: SOT 424345 SOS 203369 HAS SOPS 197683 HAS SOUS 108296 HAS SOUPS 107273 WITH SCORE 107476.369
AT ITER 3437 NEW BEST:: SOT 424353 SOS 203377 HAS SOPS 197691 HAS SOUS 108280 HAS SOUPS 107257 WITH SCORE 107460.377
AT ITER 3441 NEW BEST:: SOT 424207 SOS 203228 HAS SOPS 197542 HAS SOUS 108077 HAS SOUPS 107054 WITH SCORE 107257.228
AT ITER 3474 NEW BEST:: SOT 424224 SOS 203204 HAS SOPS 197518 HAS SOUS 107992 HAS SOUPS 106969 WITH SCORE 107172.204
AT ITER 3483 NEW BEST:: SOT 424206 SOS 202514 HAS SOPS 196828 HAS SOUS 107929 HAS SOUPS 106906 WITH SCORE 107108.514
AT ITER 3488 NEW BEST:: SOT 424178 SOS 202570 HAS SOPS 196884 HAS SOUS 107912 HAS SOUPS 106889 WITH SCORE 107091.57
AT ITER 3492 NEW BEST:: SOT 424129 SOS 202476 HAS SOPS 196790 HAS SOUS 107861 HAS SOUPS 106838 WITH SCORE 107040.476
AT ITER 3495 NEW BEST:: SOT 423933 SOS 202469 HAS SOPS 196783 HAS SOUS 107577 HAS SOUPS 106554 WITH SCORE 106756.469
AT ITER 3502 NEW BEST:: SOT 423548 SOS 202102 HAS SOPS 196416 HAS SOUS 107444 HAS SOUPS 106421 WITH SCORE 106623.102
AT ITER 3536 NEW BEST:: SOT 423582 SOS 202122 HAS SOPS 196436 HAS SOUS 107438 HAS SOUPS 106415 WITH SCORE 106617.122
AT ITER 3569 NEW BEST:: SOT 423663 SOS 202230 HAS SOPS 196544 HAS SOUS 107437 HAS SOUPS 106414 WITH SCORE 106616.23
AT ITER 3596 NEW BEST:: SOT 423602 SOS 202250 HAS SOPS 196564 HAS SOUS 107414 HAS SOUPS 106391 WITH SCORE 106593.25
AT ITER 3604 NEW BEST:: SOT 423473 SOS 201947 HAS SOPS 196261 HAS SOUS 107205 HAS SOUPS 106182 WITH SCORE 106383.947
AT ITER 3618 NEW BEST:: SOT 423403 SOS 201982 HAS SOPS 196296 HAS SOUS 106924 HAS SOUPS 105901 WITH SCORE 106102.982
AT ITER 3619 NEW BEST:: SOT 423397 SOS 201982 HAS SOPS 196292 HAS SOUS 106920 HAS SOUPS 105897 WITH SCORE 106098.982
AT ITER 3624 NEW BEST:: SOT 422873 SOS 201471 HAS SOPS 195781 HAS SOUS 106817 HAS SOUPS 105794 WITH SCORE 105995.471
AT ITER 3625 NEW BEST:: SOT 422960 SOS 201329 HAS SOPS 195639 HAS SOUS 106815 HAS SOUPS 105792 WITH SCORE 105993.329
AT ITER 3646 NEW BEST:: SOT 422926 SOS 201295 HAS SOPS 195605 HAS SOUS 106647 HAS SOUPS 105624 WITH SCORE 105825.295
AT ITER 3650 NEW BEST:: SOT 422866 SOS 201175 HAS SOPS 195485 HAS SOUS 106584 HAS SOUPS 105561 WITH SCORE 105762.175
AT ITER 3652 NEW BEST:: SOT 422830 SOS 201103 HAS SOPS 195413 HAS SOUS 106512 HAS SOUPS 105489 WITH SCORE 105690.103
AT ITER 3653 NEW BEST:: SOT 422813 SOS 201086 HAS SOPS 195396 HAS SOUS 106478 HAS SOUPS 105455 WITH SCORE 105656.086
AT ITER 3658 NEW BEST:: SOT 422916 SOS 201080 HAS SOPS 195313 HAS SOUS 106493 HAS SOUPS 105433 WITH SCORE 105634.08
AT ITER 3660 NEW BEST:: SOT 423081 SOS 201279 HAS SOPS 195512 HAS SOUS 106425 HAS SOUPS 105365 WITH SCORE 105566.279
AT ITER 3662 NEW BEST:: SOT 423054 SOS 198723 HAS SOPS 193172 HAS SOUS 106225 HAS SOUPS 105192 WITH SCORE 105390.723
AT ITER 3665 NEW BEST:: SOT 422806 SOS 197999 HAS SOPS 192448 HAS SOUS 105999 HAS SOUPS 104966 WITH SCORE 105163.999
AT ITER 3675 NEW BEST:: SOT 422709 SOS 197902 HAS SOPS 192351 HAS SOUS 105834 HAS SOUPS 104801 WITH SCORE 104998.902
AT ITER 3689 NEW BEST:: SOT 422692 SOS 197833 HAS SOPS 192282 HAS SOUS 105773 HAS SOUPS 104740 WITH SCORE 104937.833
AT ITER 3703 NEW BEST:: SOT 422663 SOS 197739 HAS SOPS 192188 HAS SOUS 105685 HAS SOUPS 104652 WITH SCORE 104849.739
AT ITER 3708 NEW BEST:: SOT 422089 SOS 196994 HAS SOPS 191443 HAS SOUS 105651 HAS SOUPS 104618 WITH SCORE 104814.994
AT ITER 3717 NEW BEST:: SOT 422089 SOS 197040 HAS SOPS 191489 HAS SOUS 105647 HAS SOUPS 104614 WITH SCORE 104811.04
AT ITER 3745 NEW BEST:: SOT 421881 SOS 196944 HAS SOPS 191393 HAS SOUS 105461 HAS SOUPS 104428 WITH SCORE 104624.944
AT ITER 3751 NEW BEST:: SOT 421764 SOS 196972 HAS SOPS 191189 HAS SOUS 105344 HAS SOUPS 104282 WITH SCORE 104478.972
AT ITER 3759 NEW BEST:: SOT 421739 SOS 196949 HAS SOPS 191162 HAS SOUS 105319 HAS SOUPS 104255 WITH SCORE 104451.949
AT ITER 3805 NEW BEST:: SOT 421735 SOS 196947 HAS SOPS 191158 HAS SOUS 105315 HAS SOUPS 104251 WITH SCORE 104447.947
AT ITER 3818 NEW BEST:: SOT 421719 SOS 196923 HAS SOPS 191134 HAS SOUS 105291 HAS SOUPS 104227 WITH SCORE 104423.923
AT ITER 3820 NEW BEST:: SOT 421608 SOS 196812 HAS SOPS 191023 HAS SOUS 105127 HAS SOUPS 104063 WITH SCORE 104259.812
AT ITER 3831 NEW BEST:: SOT 422022 SOS 197226 HAS SOPS 191437 HAS SOUS 104961 HAS SOUPS 103897 WITH SCORE 104094.226
AT ITER 3835 NEW BEST:: SOT 421870 SOS 197091 HAS SOPS 191302 HAS SOUS 104826 HAS SOUPS 103762 WITH SCORE 103959.091
AT ITER 3838 NEW BEST:: SOT 421829 SOS 197086 HAS SOPS 191297 HAS SOUS 104821 HAS SOUPS 103757 WITH SCORE 103954.086
AT ITER 3844 NEW BEST:: SOT 421829 SOS 197079 HAS SOPS 191290 HAS SOUS 104814 HAS SOUPS 103750 WITH SCORE 103947.079
AT ITER 3846 NEW BEST:: SOT 421781 SOS 196985 HAS SOPS 191172 HAS SOUS 104791 HAS SOUPS 103727 WITH SCORE 103923.985
AT ITER 3848 NEW BEST:: SOT 421363 SOS 197884 HAS SOPS 192071 HAS SOUS 104721 HAS SOUPS 103657 WITH SCORE 103854.884
AT ITER 3852 NEW BEST:: SOT 421362 SOS 197883 HAS SOPS 192070 HAS SOUS 104719 HAS SOUPS 103655 WITH SCORE 103852.883
AT ITER 3858 NEW BEST:: SOT 421361 SOS 197828 HAS SOPS 191919 HAS SOUS 104591 HAS SOUPS 103527 WITH SCORE 103724.828
AT ITER 3866 NEW BEST:: SOT 421312 SOS 197403 HAS SOPS 191494 HAS SOUS 104591 HAS SOUPS 103527 WITH SCORE 103724.403
AT ITER 3869 NEW BEST:: SOT 421301 SOS 197392 HAS SOPS 191483 HAS SOUS 104569 HAS SOUPS 103505 WITH SCORE 103702.392
AT ITER 3930 NEW BEST:: SOT 421431 SOS 197455 HAS SOPS 191546 HAS SOUS 104562 HAS SOUPS 103498 WITH SCORE 103695.455
AT ITER 3932 NEW BEST:: SOT 421416 SOS 197440 HAS SOPS 191531 HAS SOUS 104547 HAS SOUPS 103483 WITH SCORE 103680.44
AT ITER 3935 NEW BEST:: SOT 418454 SOS 201737 HAS SOPS 195828 HAS SOUS 104353 HAS SOUPS 103289 WITH SCORE 103490.737
AT ITER 3946 NEW BEST:: SOT 418442 SOS 201749 HAS SOPS 195840 HAS SOUS 104317 HAS SOUPS 103253 WITH SCORE 103454.749
AT ITER 3955 NEW BEST:: SOT 418435 SOS 201766 HAS SOPS 195857 HAS SOUS 104295 HAS SOUPS 103231 WITH SCORE 103432.766
AT ITER 3974 NEW BEST:: SOT 418409 SOS 201746 HAS SOPS 195837 HAS SOUS 104260 HAS SOUPS 103196 WITH SCORE 103397.746
AT ITER 3980 NEW BEST:: SOT 418338 SOS 201639 HAS SOPS 195730 HAS SOUS 104095 HAS SOUPS 103031 WITH SCORE 103232.639
AT ITER 3983 NEW BEST:: SOT 418337 SOS 201638 HAS SOPS 195730 HAS SOUS 104094 HAS SOUPS 103030 WITH SCORE 103231.638
AT ITER 3989 NEW BEST:: SOT 418337 SOS 201575 HAS SOPS 195667 HAS SOUS 104094 HAS SOUPS 103030 WITH SCORE 103231.575
AT ITER 4004 NEW BEST:: SOT 418234 SOS 201635 HAS SOPS 195727 HAS SOUS 103888 HAS SOUPS 102824 WITH SCORE 103025.635
AT ITER 4019 NEW BEST:: SOT 418207 SOS 201614 HAS SOPS 195706 HAS SOUS 103867 HAS SOUPS 102803 WITH SCORE 103004.614
AT ITER 4038 NEW BEST:: SOT 418192 SOS 201668 HAS SOPS 195640 HAS SOUS 103852 HAS SOUPS 102737 WITH SCORE 102938.668
AT ITER 4047 NEW BEST:: SOT 417397 SOS 200967 HAS SOPS 194939 HAS SOUS 103605 HAS SOUPS 102490 WITH SCORE 102690.967
AT ITER 4057 NEW BEST:: SOT 417396 SOS 200965 HAS SOPS 194937 HAS SOUS 103603 HAS SOUPS 102488 WITH SCORE 102688.965
AT ITER 4060 NEW BEST:: SOT 417530 SOS 201055 HAS SOPS 195027 HAS SOUS 103542 HAS SOUPS 102427 WITH SCORE 102628.055
AT ITER 4065 NEW BEST:: SOT 417471 SOS 201671 HAS SOPS 195598 HAS SOUS 103513 HAS SOUPS 102398 WITH SCORE 102599.671
AT ITER 4083 NEW BEST:: SOT 417471 SOS 201628 HAS SOPS 195555 HAS SOUS 103513 HAS SOUPS 102398 WITH SCORE 102599.628
AT ITER 4089 NEW BEST:: SOT 417421 SOS 201616 HAS SOPS 195543 HAS SOUS 103501 HAS SOUPS 102386 WITH SCORE 102587.616
AT ITER 4094 NEW BEST:: SOT 417421 SOS 201616 HAS SOPS 195497 HAS SOUS 103478 HAS SOUPS 102340 WITH SCORE 102541.616
AT ITER 4108 NEW BEST:: SOT 417219 SOS 201444 HAS SOPS 195325 HAS SOUS 103418 HAS SOUPS 102280 WITH SCORE 102481.444
AT ITER 4116 NEW BEST:: SOT 417217 SOS 201442 HAS SOPS 195323 HAS SOUS 103416 HAS SOUPS 102278 WITH SCORE 102479.442
AT ITER 4124 NEW BEST:: SOT 417161 SOS 201649 HAS SOPS 195530 HAS SOUS 103258 HAS SOUPS 102120 WITH SCORE 102321.649
AT ITER 4130 NEW BEST:: SOT 417152 SOS 201640 HAS SOPS 195512 HAS SOUS 103260 HAS SOUPS 102113 WITH SCORE 102314.64
AT ITER 4133 NEW BEST:: SOT 416972 SOS 201381 HAS SOPS 195253 HAS SOUS 103149 HAS SOUPS 102002 WITH SCORE 102203.381
AT ITER 4138 NEW BEST:: SOT 416888 SOS 201377 HAS SOPS 195249 HAS SOUS 103103 HAS SOUPS 101956 WITH SCORE 102157.377
AT ITER 4147 NEW BEST:: SOT 416749 SOS 201535 HAS SOPS 195407 HAS SOUS 103019 HAS SOUPS 101872 WITH SCORE 102073.535
AT ITER 4160 NEW BEST:: SOT 416721 SOS 201507 HAS SOPS 195379 HAS SOUS 102983 HAS SOUPS 101836 WITH SCORE 102037.507
AT ITER 4177 NEW BEST:: SOT 416709 SOS 201483 HAS SOPS 195355 HAS SOUS 102947 HAS SOUPS 101800 WITH SCORE 102001.483
AT ITER 4207 NEW BEST:: SOT 416653 SOS 201455 HAS SOPS 195327 HAS SOUS 102899 HAS SOUPS 101752 WITH SCORE 101953.455
AT ITER 4219 NEW BEST:: SOT 416695 SOS 201599 HAS SOPS 195471 HAS SOUS 102833 HAS SOUPS 101686 WITH SCORE 101887.599
AT ITER 4232 NEW BEST:: SOT 416656 SOS 201560 HAS SOPS 195455 HAS SOUS 102801 HAS SOUPS 101654 WITH SCORE 101855.56
AT ITER 4250 NEW BEST:: SOT 416390 SOS 201230 HAS SOPS 195125 HAS SOUS 102717 HAS SOUPS 101570 WITH SCORE 101771.23
AT ITER 4253 NEW BEST:: SOT 416405 SOS 201283 HAS SOPS 195178 HAS SOUS 102671 HAS SOUPS 101524 WITH SCORE 101725.283
AT ITER 4255 NEW BEST:: SOT 416378 SOS 201321 HAS SOPS 195216 HAS SOUS 102650 HAS SOUPS 101503 WITH SCORE 101704.321
AT ITER 4256 NEW BEST:: SOT 416371 SOS 201314 HAS SOPS 195209 HAS SOUS 102636 HAS SOUPS 101489 WITH SCORE 101690.314
AT ITER 4288 NEW BEST:: SOT 416371 SOS 201314 HAS SOPS 195209 HAS SOUS 102621 HAS SOUPS 101474 WITH SCORE 101675.314
AT ITER 4290 NEW BEST:: SOT 413126 SOS 198419 HAS SOPS 191930 HAS SOUS 101393 HAS SOUPS 100198 WITH SCORE 100396.419
AT ITER 4330 NEW BEST:: SOT 413122 SOS 198415 HAS SOPS 191926 HAS SOUS 101318 HAS SOUPS 100123 WITH SCORE 100321.415
AT ITER 4337 NEW BEST:: SOT 413122 SOS 198406 HAS SOPS 191917 HAS SOUS 101309 HAS SOUPS 100114 WITH SCORE 100312.406
AT ITER 4339 NEW BEST:: SOT 413121 SOS 198404 HAS SOPS 191915 HAS SOUS 101307 HAS SOUPS 100112 WITH SCORE 100310.404
AT ITER 4359 NEW BEST:: SOT 412159 SOS 197442 HAS SOPS 190953 HAS SOUS 101216 HAS SOUPS 100021 WITH SCORE 100218.442
AT ITER 4369 NEW BEST:: SOT 412137 SOS 197420 HAS SOPS 190953 HAS SOUS 101200 HAS SOUPS 100005 WITH SCORE 100202.42
AT ITER 4383 NEW BEST:: SOT 412129 SOS 197412 HAS SOPS 190944 HAS SOUS 101190 HAS SOUPS 99995 WITH SCORE 100192.412
AT ITER 4390 NEW BEST:: SOT 412129 SOS 197444 HAS SOPS 190976 HAS SOUS 101178 HAS SOUPS 99983 WITH SCORE 100180.444
AT ITER 4393 NEW BEST:: SOT 412087 SOS 197323 HAS SOPS 190855 HAS SOUS 101102 HAS SOUPS 99907 WITH SCORE 100104.323
AT ITER 4395 NEW BEST:: SOT 412036 SOS 197383 HAS SOPS 190915 HAS SOUS 100998 HAS SOUPS 99803 WITH SCORE 100000.383
AT ITER 4409 NEW BEST:: SOT 412035 SOS 197379 HAS SOPS 190911 HAS SOUS 100995 HAS SOUPS 99800 WITH SCORE 99997.379
AT ITER 4414 NEW BEST:: SOT 412031 SOS 197381 HAS SOPS 190913 HAS SOUS 100987 HAS SOUPS 99792 WITH SCORE 99989.381
AT ITER 4419 NEW BEST:: SOT 412021 SOS 197357 HAS SOPS 190889 HAS SOUS 100949 HAS SOUPS 99754 WITH SCORE 99951.357
AT ITER 4431 NEW BEST:: SOT 412011 SOS 197327 HAS SOPS 190859 HAS SOUS 100949 HAS SOUPS 99754 WITH SCORE 99951.327
AT ITER 4438 NEW BEST:: SOT 412010 SOS 197330 HAS SOPS 190862 HAS SOUS 100947 HAS SOUPS 99752 WITH SCORE 99949.33
AT ITER 4449 NEW BEST:: SOT 411980 SOS 196910 HAS SOPS 190442 HAS SOUS 100906 HAS SOUPS 99711 WITH SCORE 99907.91
AT ITER 4454 NEW BEST:: SOT 411980 SOS 196909 HAS SOPS 190440 HAS SOUS 100905 HAS SOUPS 99710 WITH SCORE 99906.909
AT ITER 4461 NEW BEST:: SOT 411859 SOS 196745 HAS SOPS 190276 HAS SOUS 100741 HAS SOUPS 99546 WITH SCORE 99742.745
AT ITER 4466 NEW BEST:: SOT 411831 SOS 196716 HAS SOPS 190247 HAS SOUS 100715 HAS SOUPS 99520 WITH SCORE 99716.716
AT ITER 4469 NEW BEST:: SOT 411819 SOS 196704 HAS SOPS 190235 HAS SOUS 100700 HAS SOUPS 99505 WITH SCORE 99701.704
AT ITER 4471 NEW BEST:: SOT 411566 SOS 196456 HAS SOPS 190038 HAS SOUS 100503 HAS SOUPS 99308 WITH SCORE 99504.456
AT ITER 4478 NEW BEST:: SOT 411566 SOS 196448 HAS SOPS 190030 HAS SOUS 100499 HAS SOUPS 99304 WITH SCORE 99500.448
AT ITER 4509 NEW BEST:: SOT 411559 SOS 196441 HAS SOPS 190023 HAS SOUS 100485 HAS SOUPS 99290 WITH SCORE 99486.441
AT ITER 4514 NEW BEST:: SOT 411507 SOS 196110 HAS SOPS 189692 HAS SOUS 100474 HAS SOUPS 99279 WITH SCORE 99475.11
AT ITER 4539 NEW BEST:: SOT 411447 SOS 196050 HAS SOPS 189632 HAS SOUS 100454 HAS SOUPS 99259 WITH SCORE 99455.05
AT ITER 4548 NEW BEST:: SOT 411407 SOS 196050 HAS SOPS 189632 HAS SOUS 100401 HAS SOUPS 99206 WITH SCORE 99402.05
AT ITER 4562 NEW BEST:: SOT 411400 SOS 196036 HAS SOPS 189618 HAS SOUS 100394 HAS SOUPS 99199 WITH SCORE 99395.036
AT ITER 4568 NEW BEST:: SOT 411406 SOS 196048 HAS SOPS 189630 HAS SOUS 100388 HAS SOUPS 99193 WITH SCORE 99389.048
AT ITER 4581 NEW BEST:: SOT 411406 SOS 196035 HAS SOPS 189617 HAS SOUS 100388 HAS SOUPS 99193 WITH SCORE 99389.035
AT ITER 4582 NEW BEST:: SOT 411340 SOS 195895 HAS SOPS 189477 HAS SOUS 100339 HAS SOUPS 99144 WITH SCORE 99339.895
AT ITER 4583 NEW BEST:: SOT 411340 SOS 195905 HAS SOPS 189487 HAS SOUS 100334 HAS SOUPS 99139 WITH SCORE 99334.905
AT ITER 4586 NEW BEST:: SOT 411285 SOS 195850 HAS SOPS 189432 HAS SOUS 100334 HAS SOUPS 99139 WITH SCORE 99334.85
AT ITER 4588 NEW BEST:: SOT 411322 SOS 195744 HAS SOPS 189326 HAS SOUS 100228 HAS SOUPS 99033 WITH SCORE 99228.744
AT ITER 4599 NEW BEST:: SOT 411308 SOS 195570 HAS SOPS 189152 HAS SOUS 100054 HAS SOUPS 98859 WITH SCORE 99054.57
AT ITER 4609 NEW BEST:: SOT 411254 SOS 195426 HAS SOPS 189008 HAS SOUS 99952 HAS SOUPS 98757 WITH SCORE 98952.426
AT ITER 4624 NEW BEST:: SOT 410893 SOS 195246 HAS SOPS 188828 HAS SOUS 99944 HAS SOUPS 98749 WITH SCORE 98944.246
AT ITER 4639 NEW BEST:: SOT 410805 SOS 195165 HAS SOPS 188747 HAS SOUS 99869 HAS SOUPS 98674 WITH SCORE 98869.165
AT ITER 4666 NEW BEST:: SOT 410719 SOS 195079 HAS SOPS 188661 HAS SOUS 99333 HAS SOUPS 98138 WITH SCORE 98333.079
AT ITER 4676 NEW BEST:: SOT 410711 SOS 195063 HAS SOPS 188645 HAS SOUS 99313 HAS SOUPS 98118 WITH SCORE 98313.063
AT ITER 4705 NEW BEST:: SOT 409035 SOS 193245 HAS SOPS 186827 HAS SOUS 98827 HAS SOUPS 97632 WITH SCORE 97825.245
AT ITER 4728 NEW BEST:: SOT 409032 SOS 193254 HAS SOPS 186836 HAS SOUS 98821 HAS SOUPS 97626 WITH SCORE 97819.254
AT ITER 4758 NEW BEST:: SOT 409128 SOS 193252 HAS SOPS 186834 HAS SOUS 98755 HAS SOUPS 97560 WITH SCORE 97753.252
AT ITER 4778 NEW BEST:: SOT 409128 SOS 193148 HAS SOPS 186730 HAS SOUS 98727 HAS SOUPS 97532 WITH SCORE 97725.148
AT ITER 4784 NEW BEST:: SOT 408620 SOS 192733 HAS SOPS 186315 HAS SOUS 98373 HAS SOUPS 97178 WITH SCORE 97370.733
AT ITER 4794 NEW BEST:: SOT 408493 SOS 192535 HAS SOPS 186117 HAS SOUS 98252 HAS SOUPS 97057 WITH SCORE 97249.535
AT ITER 4866 NEW BEST:: SOT 408380 SOS 192443 HAS SOPS 186025 HAS SOUS 98026 HAS SOUPS 96831 WITH SCORE 97023.443
AT ITER 4870 NEW BEST:: SOT 408409 SOS 191805 HAS SOPS 185387 HAS SOUS 97896 HAS SOUPS 96701 WITH SCORE 96892.805
AT ITER 4871 NEW BEST:: SOT 408423 SOS 191826 HAS SOPS 185408 HAS SOUS 97840 HAS SOUPS 96645 WITH SCORE 96836.826
AT ITER 4874 NEW BEST:: SOT 408413 SOS 191816 HAS SOPS 185398 HAS SOUS 97820 HAS SOUPS 96625 WITH SCORE 96816.816
AT ITER 4903 NEW BEST:: SOT 408327 SOS 191634 HAS SOPS 185216 HAS SOUS 97734 HAS SOUPS 96539 WITH SCORE 96730.634
AT ITER 4932 NEW BEST:: SOT 408319 SOS 191618 HAS SOPS 185200 HAS SOUS 97718 HAS SOUPS 96523 WITH SCORE 96714.618
AT ITER 4945 NEW BEST:: SOT 408276 SOS 192326 HAS SOPS 185908 HAS SOUS 97474 HAS SOUPS 96279 WITH SCORE 96471.326
AT ITER 4973 NEW BEST:: SOT 408276 SOS 192248 HAS SOPS 185830 HAS SOUS 97474 HAS SOUPS 96279 WITH SCORE 96471.248
AT ITER 4994 NEW BEST:: SOT 408230 SOS 192202 HAS SOPS 185784 HAS SOUS 97385 HAS SOUPS 96190 WITH SCORE 96382.202
AT ITER 4998 NEW BEST:: SOT 408250 SOS 190472 HAS SOPS 184054 HAS SOUS 97222 HAS SOUPS 96027 WITH SCORE 96217.472
AT ITER 5005 NEW BEST:: SOT 408249 SOS 190488 HAS SOPS 184070 HAS SOUS 97153 HAS SOUPS 95958 WITH SCORE 96148.488
AT ITER 5006 NEW BEST:: SOT 408209 SOS 190414 HAS SOPS 183996 HAS SOUS 97073 HAS SOUPS 95878 WITH SCORE 96068.414
AT ITER 5015 NEW BEST:: SOT 408084 SOS 190352 HAS SOPS 183934 HAS SOUS 97048 HAS SOUPS 95853 WITH SCORE 96043.352
AT ITER 5019 NEW BEST:: SOT 408096 SOS 190520 HAS SOPS 184102 HAS SOUS 96968 HAS SOUPS 95773 WITH SCORE 95963.52
AT ITER 5053 NEW BEST:: SOT 408090 SOS 190517 HAS SOPS 184101 HAS SOUS 96965 HAS SOUPS 95772 WITH SCORE 95962.517
AT ITER 5057 NEW BEST:: SOT 408068 SOS 190635 HAS SOPS 184219 HAS SOUS 96873 HAS SOUPS 95680 WITH SCORE 95870.635
AT ITER 5060 NEW BEST:: SOT 408047 SOS 190593 HAS SOPS 184177 HAS SOUS 96865 HAS SOUPS 95672 WITH SCORE 95862.593
AT ITER 5071 NEW BEST:: SOT 407736 SOS 190476 HAS SOPS 184060 HAS SOUS 96823 HAS SOUPS 95630 WITH SCORE 95820.476
AT ITER 5073 NEW BEST:: SOT 407699 SOS 190365 HAS SOPS 183949 HAS SOUS 96786 HAS SOUPS 95593 WITH SCORE 95783.365
AT ITER 5076 NEW BEST:: SOT 407705 SOS 190357 HAS SOPS 183885 HAS SOUS 96780 HAS SOUPS 95587 WITH SCORE 95777.357
AT ITER 5103 NEW BEST:: SOT 407629 SOS 190281 HAS SOPS 183809 HAS SOUS 96692 HAS SOUPS 95499 WITH SCORE 95689.281
AT ITER 5108 NEW BEST:: SOT 407607 SOS 190237 HAS SOPS 183765 HAS SOUS 96653 HAS SOUPS 95460 WITH SCORE 95650.237
AT ITER 5138 NEW BEST:: SOT 407474 SOS 190104 HAS SOPS 183632 HAS SOUS 96573 HAS SOUPS 95380 WITH SCORE 95570.104
AT ITER 5143 NEW BEST:: SOT 407527 SOS 190096 HAS SOPS 183573 HAS SOUS 96565 HAS SOUPS 95372 WITH SCORE 95562.096
AT ITER 5144 NEW BEST:: SOT 407481 SOS 190050 HAS SOPS 183527 HAS SOUS 96519 HAS SOUPS 95326 WITH SCORE 95516.05
AT ITER 5154 NEW BEST:: SOT 407347 SOS 190016 HAS SOPS 183493 HAS SOUS 96485 HAS SOUPS 95292 WITH SCORE 95482.016
AT ITER 5165 NEW BEST:: SOT 407333 SOS 190002 HAS SOPS 183479 HAS SOUS 96471 HAS SOUPS 95278 WITH SCORE 95468.002
AT ITER 5177 NEW BEST:: SOT 407193 SOS 189615 HAS SOPS 183092 HAS SOUS 96420 HAS SOUPS 95227 WITH SCORE 95416.615
AT ITER 5183 NEW BEST:: SOT 405776 SOS 188231 HAS SOPS 181708 HAS SOUS 95925 HAS SOUPS 94732 WITH SCORE 94920.231
AT ITER 5201 NEW BEST:: SOT 405743 SOS 187773 HAS SOPS 181250 HAS SOUS 95696 HAS SOUPS 94503 WITH SCORE 94690.773
AT ITER 5204 NEW BEST:: SOT 405710 SOS 187716 HAS SOPS 180821 HAS SOUS 95641 HAS SOUPS 94398 WITH SCORE 94585.716
AT ITER 5212 NEW BEST:: SOT 405708 SOS 187714 HAS SOPS 180819 HAS SOUS 95637 HAS SOUPS 94394 WITH SCORE 94581.714
AT ITER 5214 NEW BEST:: SOT 405655 SOS 187775 HAS SOPS 180880 HAS SOUS 95532 HAS SOUPS 94289 WITH SCORE 94476.775
AT ITER 5224 NEW BEST:: SOT 405613 SOS 187733 HAS SOPS 180838 HAS SOUS 95516 HAS SOUPS 94273 WITH SCORE 94460.733
AT ITER 5247 NEW BEST:: SOT 405455 SOS 187632 HAS SOPS 180737 HAS SOUS 95485 HAS SOUPS 94242 WITH SCORE 94429.632
AT ITER 5264 NEW BEST:: SOT 405346 SOS 187483 HAS SOPS 180588 HAS SOUS 95336 HAS SOUPS 94093 WITH SCORE 94280.483
AT ITER 5295 NEW BEST:: SOT 405346 SOS 187450 HAS SOPS 180525 HAS SOUS 95303 HAS SOUPS 94060 WITH SCORE 94247.45
AT ITER 5302 NEW BEST:: SOT 405201 SOS 187305 HAS SOPS 180380 HAS SOUS 95150 HAS SOUPS 93907 WITH SCORE 94094.305
AT ITER 5308 NEW BEST:: SOT 405201 SOS 187353 HAS SOPS 180428 HAS SOUS 95054 HAS SOUPS 93811 WITH SCORE 93998.353
AT ITER 5326 NEW BEST:: SOT 405201 SOS 187343 HAS SOPS 180418 HAS SOUS 95044 HAS SOUPS 93801 WITH SCORE 93988.343
AT ITER 5328 NEW BEST:: SOT 405202 SOS 187304 HAS SOPS 180379 HAS SOUS 95005 HAS SOUPS 93762 WITH SCORE 93949.304
AT ITER 5357 NEW BEST:: SOT 405154 SOS 187304 HAS SOPS 180379 HAS SOUS 95002 HAS SOUPS 93759 WITH SCORE 93946.304
AT ITER 5362 NEW BEST:: SOT 405127 SOS 187238 HAS SOPS 180313 HAS SOUS 94936 HAS SOUPS 93693 WITH SCORE 93880.238
AT ITER 5382 NEW BEST:: SOT 405126 SOS 187237 HAS SOPS 180314 HAS SOUS 94934 HAS SOUPS 93693 WITH SCORE 93880.237
AT ITER 5383 NEW BEST:: SOT 405105 SOS 187209 HAS SOPS 180286 HAS SOUS 94906 HAS SOUPS 93665 WITH SCORE 93852.209
AT ITER 5409 NEW BEST:: SOT 405092 SOS 187187 HAS SOPS 180264 HAS SOUS 94880 HAS SOUPS 93639 WITH SCORE 93826.187
AT ITER 5433 NEW BEST:: SOT 404810 SOS 186905 HAS SOPS 179982 HAS SOUS 94720 HAS SOUPS 93479 WITH SCORE 93665.905
AT ITER 5447 NEW BEST:: SOT 404648 SOS 186881 HAS SOPS 180270 HAS SOUS 94708 HAS SOUPS 93467 WITH SCORE 93653.881
AT ITER 5455 NEW BEST:: SOT 404630 SOS 186955 HAS SOPS 180344 HAS SOUS 94675 HAS SOUPS 93434 WITH SCORE 93620.955
AT ITER 5462 NEW BEST:: SOT 404628 SOS 187010 HAS SOPS 180399 HAS SOUS 94671 HAS SOUPS 93430 WITH SCORE 93617.01
AT ITER 5471 NEW BEST:: SOT 404784 SOS 187230 HAS SOPS 180619 HAS SOUS 94487 HAS SOUPS 93246 WITH SCORE 93433.23
AT ITER 5492 NEW BEST:: SOT 404830 SOS 187409 HAS SOPS 180798 HAS SOUS 94479 HAS SOUPS 93238 WITH SCORE 93425.409
AT ITER 5493 NEW BEST:: SOT 404816 SOS 187362 HAS SOPS 180751 HAS SOUS 94479 HAS SOUPS 93238 WITH SCORE 93425.362
AT ITER 5494 NEW BEST:: SOT 404923 SOS 185858 HAS SOPS 179322 HAS SOUS 94478 HAS SOUPS 93237 WITH SCORE 93422.858
AT ITER 5496 NEW BEST:: SOT 404911 SOS 185180 HAS SOPS 178644 HAS SOUS 94458 HAS SOUPS 93217 WITH SCORE 93402.18
AT ITER 5497 NEW BEST:: SOT 404895 SOS 185148 HAS SOPS 178612 HAS SOUS 94426 HAS SOUPS 93185 WITH SCORE 93370.148
AT ITER 5499 NEW BEST:: SOT 404880 SOS 185163 HAS SOPS 178627 HAS SOUS 94381 HAS SOUPS 93140 WITH SCORE 93325.163
AT ITER 5501 NEW BEST:: SOT 404880 SOS 185163 HAS SOPS 178627 HAS SOUS 94378 HAS SOUPS 93137 WITH SCORE 93322.163
AT ITER 5518 NEW BEST:: SOT 404875 SOS 185028 HAS SOPS 178465 HAS SOUS 94300 HAS SOUPS 93059 WITH SCORE 93244.028
AT ITER 5543 NEW BEST:: SOT 404875 SOS 185018 HAS SOPS 178455 HAS SOUS 94290 HAS SOUPS 93049 WITH SCORE 93234.018
AT ITER 5548 NEW BEST:: SOT 404827 SOS 184976 HAS SOPS 178413 HAS SOUS 94248 HAS SOUPS 93007 WITH SCORE 93191.976
AT ITER 5556 NEW BEST:: SOT 404820 SOS 184976 HAS SOPS 178413 HAS SOUS 94234 HAS SOUPS 92993 WITH SCORE 93177.976
AT ITER 5562 NEW BEST:: SOT 404819 SOS 184975 HAS SOPS 178412 HAS SOUS 94232 HAS SOUPS 92991 WITH SCORE 93175.975
AT ITER 5591 NEW BEST:: SOT 404813 SOS 184879 HAS SOPS 178316 HAS SOUS 94126 HAS SOUPS 92885 WITH SCORE 93069.879
AT ITER 5602 NEW BEST:: SOT 404789 SOS 184794 HAS SOPS 178231 HAS SOUS 94017 HAS SOUPS 92776 WITH SCORE 92960.794
AT ITER 5609 NEW BEST:: SOT 404619 SOS 187006 HAS SOPS 180379 HAS SOUS 94009 HAS SOUPS 92768 WITH SCORE 92955.006
AT ITER 5634 NEW BEST:: SOT 404428 SOS 186189 HAS SOPS 179562 HAS SOUS 93924 HAS SOUPS 92683 WITH SCORE 92869.189
AT ITER 5641 NEW BEST:: SOT 404378 SOS 186139 HAS SOPS 179512 HAS SOUS 93896 HAS SOUPS 92655 WITH SCORE 92841.139
AT ITER 5647 NEW BEST:: SOT 404378 SOS 186144 HAS SOPS 179517 HAS SOUS 93891 HAS SOUPS 92650 WITH SCORE 92836.144
AT ITER 5650 NEW BEST:: SOT 404378 SOS 186159 HAS SOPS 179532 HAS SOUS 93876 HAS SOUPS 92635 WITH SCORE 92821.159
AT ITER 5673 NEW BEST:: SOT 404367 SOS 186272 HAS SOPS 179645 HAS SOUS 93841 HAS SOUPS 92600 WITH SCORE 92786.272
AT ITER 5676 NEW BEST:: SOT 404214 SOS 186172 HAS SOPS 179545 HAS SOUS 93669 HAS SOUPS 92428 WITH SCORE 92614.172
AT ITER 5724 NEW BEST:: SOT 404198 SOS 186156 HAS SOPS 179529 HAS SOUS 93621 HAS SOUPS 92380 WITH SCORE 92566.156
AT ITER 5732 NEW BEST:: SOT 404175 SOS 186133 HAS SOPS 179506 HAS SOUS 93531 HAS SOUPS 92290 WITH SCORE 92476.133
AT ITER 5786 NEW BEST:: SOT 404175 SOS 186133 HAS SOPS 179500 HAS SOUS 93525 HAS SOUPS 92284 WITH SCORE 92470.133
AT ITER 5805 NEW BEST:: SOT 404176 SOS 186123 HAS SOPS 179483 HAS SOUS 93517 HAS SOUPS 92276 WITH SCORE 92462.123
AT ITER 5864 NEW BEST:: SOT 404216 SOS 186242 HAS SOPS 179602 HAS SOUS 93496 HAS SOUPS 92255 WITH SCORE 92441.242
AT ITER 5876 NEW BEST:: SOT 404186 SOS 186212 HAS SOPS 179572 HAS SOUS 93466 HAS SOUPS 92225 WITH SCORE 92411.212
AT ITER 5931 NEW BEST:: SOT 404154 SOS 186191 HAS SOPS 179559 HAS SOUS 93431 HAS SOUPS 92194 WITH SCORE 92380.191
AT ITER 5938 NEW BEST:: SOT 404104 SOS 186282 HAS SOPS 179650 HAS SOUS 93331 HAS SOUPS 92094 WITH SCORE 92280.282
AT ITER 5945 NEW BEST:: SOT 404104 SOS 186258 HAS SOPS 179626 HAS SOUS 93331 HAS SOUPS 92094 WITH SCORE 92280.258
AT ITER 5965 NEW BEST:: SOT 404063 SOS 186262 HAS SOPS 179652 HAS SOUS 93316 HAS SOUPS 92079 WITH SCORE 92265.262
AT ITER 5969 NEW BEST:: SOT 404066 SOS 186257 HAS SOPS 179647 HAS SOUS 93311 HAS SOUPS 92074 WITH SCORE 92260.257
AT ITER 6002 NEW BEST:: SOT 403966 SOS 186189 HAS SOPS 179579 HAS SOUS 93207 HAS SOUPS 91970 WITH SCORE 92156.189
AT ITER 6023 NEW BEST:: SOT 403966 SOS 186189 HAS SOPS 179579 HAS SOUS 93180 HAS SOUPS 91943 WITH SCORE 92129.189
AT ITER 6029 NEW BEST:: SOT 404178 SOS 186539 HAS SOPS 179929 HAS SOUS 93024 HAS SOUPS 91787 WITH SCORE 91973.539
AT ITER 6056 NEW BEST:: SOT 404148 SOS 185537 HAS SOPS 178927 HAS SOUS 93003 HAS SOUPS 91766 WITH SCORE 91951.537
AT ITER 6057 NEW BEST:: SOT 404068 SOS 185514 HAS SOPS 178904 HAS SOUS 92966 HAS SOUPS 91729 WITH SCORE 91914.514
AT ITER 6089 NEW BEST:: SOT 404068 SOS 185514 HAS SOPS 178904 HAS SOUS 92954 HAS SOUPS 91717 WITH SCORE 91902.514
AT ITER 6107 NEW BEST:: SOT 404054 SOS 185486 HAS SOPS 178876 HAS SOUS 92933 HAS SOUPS 91696 WITH SCORE 91881.486
AT ITER 6135 NEW BEST:: SOT 404072 SOS 185366 HAS SOPS 178756 HAS SOUS 92927 HAS SOUPS 91690 WITH SCORE 91875.366
AT ITER 6145 NEW BEST:: SOT 404121 SOS 185329 HAS SOPS 178631 HAS SOUS 92722 HAS SOUPS 91479 WITH SCORE 91664.329
AT ITER 6173 NEW BEST:: SOT 404074 SOS 185326 HAS SOPS 178628 HAS SOUS 92678 HAS SOUPS 91435 WITH SCORE 91620.326
AT ITER 6187 NEW BEST:: SOT 403512 SOS 185393 HAS SOPS 178695 HAS SOUS 92457 HAS SOUPS 91214 WITH SCORE 91399.393
AT ITER 6190 NEW BEST:: SOT 403512 SOS 185376 HAS SOPS 178678 HAS SOUS 92457 HAS SOUPS 91214 WITH SCORE 91399.376
AT ITER 6229 NEW BEST:: SOT 403627 SOS 185511 HAS SOPS 178813 HAS SOUS 92413 HAS SOUPS 91170 WITH SCORE 91355.511
AT ITER 6232 NEW BEST:: SOT 402877 SOS 184786 HAS SOPS 178088 HAS SOUS 92038 HAS SOUPS 90795 WITH SCORE 90979.786
AT ITER 6249 NEW BEST:: SOT 402889 SOS 184717 HAS SOPS 178019 HAS SOUS 92012 HAS SOUPS 90769 WITH SCORE 90953.717
AT ITER 6259 NEW BEST:: SOT 402835 SOS 184516 HAS SOPS 177818 HAS SOUS 91961 HAS SOUPS 90718 WITH SCORE 90902.516
AT ITER 6274 NEW BEST:: SOT 402818 SOS 184525 HAS SOPS 177827 HAS SOUS 91910 HAS SOUPS 90667 WITH SCORE 90851.525
AT ITER 6275 NEW BEST:: SOT 402834 SOS 184608 HAS SOPS 177910 HAS SOUS 91839 HAS SOUPS 90596 WITH SCORE 90780.608
AT ITER 6312 NEW BEST:: SOT 402575 SOS 184349 HAS SOPS 177651 HAS SOUS 91729 HAS SOUPS 90486 WITH SCORE 90670.349
AT ITER 6336 NEW BEST:: SOT 402539 SOS 184249 HAS SOPS 177519 HAS SOUS 91719 HAS SOUPS 90476 WITH SCORE 90660.249
AT ITER 6346 NEW BEST:: SOT 402580 SOS 184215 HAS SOPS 177485 HAS SOUS 91557 HAS SOUPS 90314 WITH SCORE 90498.215
AT ITER 6354 NEW BEST:: SOT 402565 SOS 184181 HAS SOPS 177451 HAS SOUS 91508 HAS SOUPS 90265 WITH SCORE 90449.181
AT ITER 6395 NEW BEST:: SOT 402808 SOS 183211 HAS SOPS 176481 HAS SOUS 91427 HAS SOUPS 90184 WITH SCORE 90367.211
AT ITER 6398 NEW BEST:: SOT 402800 SOS 183203 HAS SOPS 176473 HAS SOUS 91427 HAS SOUPS 90184 WITH SCORE 90367.203
AT ITER 6399 NEW BEST:: SOT 402827 SOS 183542 HAS SOPS 176812 HAS SOUS 91420 HAS SOUPS 90177 WITH SCORE 90360.542
AT ITER 6410 NEW BEST:: SOT 402871 SOS 183619 HAS SOPS 176889 HAS SOUS 91365 HAS SOUPS 90122 WITH SCORE 90305.619
AT ITER 6448 NEW BEST:: SOT 402822 SOS 183602 HAS SOPS 176872 HAS SOUS 91363 HAS SOUPS 90120 WITH SCORE 90303.602
AT ITER 6462 NEW BEST:: SOT 402792 SOS 183122 HAS SOPS 176392 HAS SOUS 91318 HAS SOUPS 90075 WITH SCORE 90258.122
AT ITER 6473 NEW BEST:: SOT 402792 SOS 183118 HAS SOPS 176388 HAS SOUS 91318 HAS SOUPS 90075 WITH SCORE 90258.118
AT ITER 6494 NEW BEST:: SOT 402792 SOS 183113 HAS SOPS 176383 HAS SOUS 91303 HAS SOUPS 90060 WITH SCORE 90243.113
AT ITER 6506 NEW BEST:: SOT 402726 SOS 182928 HAS SOPS 176198 HAS SOUS 91171 HAS SOUPS 89928 WITH SCORE 90110.928
AT ITER 6514 NEW BEST:: SOT 402724 SOS 182904 HAS SOPS 176174 HAS SOUS 91167 HAS SOUPS 89924 WITH SCORE 90106.904
AT ITER 6517 NEW BEST:: SOT 402706 SOS 182818 HAS SOPS 176088 HAS SOUS 91073 HAS SOUPS 89830 WITH SCORE 90012.818
AT ITER 6521 NEW BEST:: SOT 402664 SOS 182776 HAS SOPS 176046 HAS SOUS 90977 HAS SOUPS 89734 WITH SCORE 89916.776
AT ITER 6540 NEW BEST:: SOT 402623 SOS 182745 HAS SOPS 176015 HAS SOUS 90912 HAS SOUPS 89669 WITH SCORE 89851.745
AT ITER 6547 NEW BEST:: SOT 402231 SOS 182382 HAS SOPS 175652 HAS SOUS 90822 HAS SOUPS 89579 WITH SCORE 89761.382
AT ITER 6570 NEW BEST:: SOT 402159 SOS 182363 HAS SOPS 175633 HAS SOUS 90678 HAS SOUPS 89435 WITH SCORE 89617.363
AT ITER 6574 NEW BEST:: SOT 402116 SOS 182320 HAS SOPS 175590 HAS SOUS 90585 HAS SOUPS 89342 WITH SCORE 89524.32
AT ITER 6643 NEW BEST:: SOT 402116 SOS 182320 HAS SOPS 175590 HAS SOUS 90463 HAS SOUPS 89220 WITH SCORE 89402.32
AT ITER 6647 NEW BEST:: SOT 402103 SOS 182294 HAS SOPS 175564 HAS SOUS 90450 HAS SOUPS 89207 WITH SCORE 89389.294
AT ITER 6656 NEW BEST:: SOT 402103 SOS 182285 HAS SOPS 175555 HAS SOUS 90450 HAS SOUPS 89207 WITH SCORE 89389.285
AT ITER 6671 NEW BEST:: SOT 402008 SOS 182180 HAS SOPS 175450 HAS SOUS 90300 HAS SOUPS 89057 WITH SCORE 89239.18
AT ITER 6672 NEW BEST:: SOT 401694 SOS 181690 HAS SOPS 174960 HAS SOUS 89810 HAS SOUPS 88567 WITH SCORE 88748.69
AT ITER 6678 NEW BEST:: SOT 401592 SOS 181588 HAS SOPS 174858 HAS SOUS 89734 HAS SOUPS 88491 WITH SCORE 88672.588
AT ITER 6686 NEW BEST:: SOT 401417 SOS 181361 HAS SOPS 174631 HAS SOUS 89507 HAS SOUPS 88264 WITH SCORE 88445.361
AT ITER 6702 NEW BEST:: SOT 401364 SOS 181479 HAS SOPS 174749 HAS SOUS 89471 HAS SOUPS 88228 WITH SCORE 88409.479
AT ITER 6704 NEW BEST:: SOT 401370 SOS 181420 HAS SOPS 174690 HAS SOUS 89412 HAS SOUPS 88169 WITH SCORE 88350.42
AT ITER 6708 NEW BEST:: SOT 401370 SOS 181385 HAS SOPS 174655 HAS SOUS 89377 HAS SOUPS 88134 WITH SCORE 88315.385
AT ITER 6724 NEW BEST:: SOT 400599 SOS 180695 HAS SOPS 173965 HAS SOUS 89333 HAS SOUPS 88090 WITH SCORE 88270.695
AT ITER 6738 NEW BEST:: SOT 400631 SOS 180711 HAS SOPS 173981 HAS SOUS 89227 HAS SOUPS 87984 WITH SCORE 88164.711
AT ITER 6748 NEW BEST:: SOT 400612 SOS 180711 HAS SOPS 173977 HAS SOUS 89208 HAS SOUPS 87965 WITH SCORE 88145.711
AT ITER 6769 NEW BEST:: SOT 400612 SOS 180743 HAS SOPS 173999 HAS SOUS 89184 HAS SOUPS 87941 WITH SCORE 88121.743
AT ITER 6814 NEW BEST:: SOT 400605 SOS 180906 HAS SOPS 174162 HAS SOUS 89177 HAS SOUPS 87934 WITH SCORE 88114.906
AT ITER 6819 NEW BEST:: SOT 400595 SOS 181271 HAS SOPS 174527 HAS SOUS 89032 HAS SOUPS 87789 WITH SCORE 87970.271
AT ITER 6829 NEW BEST:: SOT 400543 SOS 181219 HAS SOPS 174475 HAS SOUS 88920 HAS SOUPS 87677 WITH SCORE 87858.219
AT ITER 6832 NEW BEST:: SOT 400414 SOS 181145 HAS SOPS 174401 HAS SOUS 88842 HAS SOUPS 87599 WITH SCORE 87780.145
AT ITER 6859 NEW BEST:: SOT 400412 SOS 181141 HAS SOPS 174397 HAS SOUS 88838 HAS SOUPS 87595 WITH SCORE 87776.141
AT ITER 6905 NEW BEST:: SOT 400386 SOS 181115 HAS SOPS 174371 HAS SOUS 88786 HAS SOUPS 87543 WITH SCORE 87724.115
AT ITER 6911 NEW BEST:: SOT 400369 SOS 181098 HAS SOPS 174354 HAS SOUS 88731 HAS SOUPS 87488 WITH SCORE 87669.098
AT ITER 6945 NEW BEST:: SOT 400355 SOS 181114 HAS SOPS 174370 HAS SOUS 88674 HAS SOUPS 87431 WITH SCORE 87612.114
AT ITER 6984 NEW BEST:: SOT 399878 SOS 183325 HAS SOPS 176581 HAS SOUS 88593 HAS SOUPS 87350 WITH SCORE 87533.325
AT ITER 6988 NEW BEST:: SOT 399878 SOS 183325 HAS SOPS 176581 HAS SOUS 88575 HAS SOUPS 87332 WITH SCORE 87515.325
AT ITER 7028 NEW BEST:: SOT 399884 SOS 183403 HAS SOPS 176659 HAS SOUS 88563 HAS SOUPS 87320 WITH SCORE 87503.403
AT ITER 7067 NEW BEST:: SOT 399870 SOS 183391 HAS SOPS 176647 HAS SOUS 88532 HAS SOUPS 87289 WITH SCORE 87472.391
AT ITER 7077 NEW BEST:: SOT 399796 SOS 183404 HAS SOPS 176660 HAS SOUS 88522 HAS SOUPS 87279 WITH SCORE 87462.404
AT ITER 7086 NEW BEST:: SOT 399802 SOS 183296 HAS SOPS 176552 HAS SOUS 88414 HAS SOUPS 87171 WITH SCORE 87354.296
AT ITER 7093 NEW BEST:: SOT 399617 SOS 182930 HAS SOPS 176186 HAS SOUS 88388 HAS SOUPS 87145 WITH SCORE 87327.93
AT ITER 7117 NEW BEST:: SOT 399621 SOS 182876 HAS SOPS 176132 HAS SOUS 88334 HAS SOUPS 87091 WITH SCORE 87273.876
AT ITER 7131 NEW BEST:: SOT 399605 SOS 182872 HAS SOPS 176128 HAS SOUS 88330 HAS SOUPS 87087 WITH SCORE 87269.872
AT ITER 7148 NEW BEST:: SOT 399604 SOS 182869 HAS SOPS 176125 HAS SOUS 88329 HAS SOUPS 87086 WITH SCORE 87268.869
AT ITER 7164 NEW BEST:: SOT 399761 SOS 182930 HAS SOPS 176186 HAS SOUS 88293 HAS SOUPS 87050 WITH SCORE 87232.93
AT ITER 7172 NEW BEST:: SOT 399764 SOS 182992 HAS SOPS 176248 HAS SOUS 88291 HAS SOUPS 87048 WITH SCORE 87230.992
AT ITER 7189 NEW BEST:: SOT 399734 SOS 182933 HAS SOPS 176189 HAS SOUS 88199 HAS SOUPS 86956 WITH SCORE 87138.933
AT ITER 7191 NEW BEST:: SOT 399734 SOS 182987 HAS SOPS 176225 HAS SOUS 88181 HAS SOUPS 86938 WITH SCORE 87120.987
AT ITER 7256 NEW BEST:: SOT 399779 SOS 183042 HAS SOPS 176280 HAS SOUS 88162 HAS SOUPS 86919 WITH SCORE 87102.042
AT ITER 7264 NEW BEST:: SOT 399785 SOS 183080 HAS SOPS 176318 HAS SOUS 88140 HAS SOUPS 86897 WITH SCORE 87080.08
AT ITER 7269 NEW BEST:: SOT 399782 SOS 183077 HAS SOPS 176315 HAS SOUS 88134 HAS SOUPS 86891 WITH SCORE 87074.077
AT ITER 7270 NEW BEST:: SOT 399775 SOS 183120 HAS SOPS 176358 HAS SOUS 88095 HAS SOUPS 86852 WITH SCORE 87035.12
AT ITER 7298 NEW BEST:: SOT 399759 SOS 183108 HAS SOPS 176346 HAS SOUS 88071 HAS SOUPS 86828 WITH SCORE 87011.108
AT ITER 7395 NEW BEST:: SOT 399728 SOS 182984 HAS SOPS 176222 HAS SOUS 88071 HAS SOUPS 86828 WITH SCORE 87010.984
AT ITER 7396 NEW BEST:: SOT 399727 SOS 182982 HAS SOPS 176220 HAS SOUS 88069 HAS SOUPS 86826 WITH SCORE 87008.982
AT ITER 7453 NEW BEST:: SOT 399687 SOS 182974 HAS SOPS 176212 HAS SOUS 88061 HAS SOUPS 86818 WITH SCORE 87000.974
AT ITER 7478 NEW BEST:: SOT 399709 SOS 182983 HAS SOPS 176221 HAS SOUS 87936 HAS SOUPS 86693 WITH SCORE 86875.983
AT ITER 7480 NEW BEST:: SOT 398643 SOS 181973 HAS SOPS 175211 HAS SOUS 87596 HAS SOUPS 86353 WITH SCORE 86534.973
AT ITER 7482 NEW BEST:: SOT 398642 SOS 181970 HAS SOPS 175208 HAS SOUS 87593 HAS SOUPS 86350 WITH SCORE 86531.97
AT ITER 7502 NEW BEST:: SOT 398791 SOS 182175 HAS SOPS 175413 HAS SOUS 87504 HAS SOUPS 86261 WITH SCORE 86443.175
AT ITER 7519 NEW BEST:: SOT 398756 SOS 182148 HAS SOPS 175386 HAS SOUS 87460 HAS SOUPS 86217 WITH SCORE 86399.148
AT ITER 7543 NEW BEST:: SOT 398840 SOS 182119 HAS SOPS 175357 HAS SOUS 87362 HAS SOUPS 86119 WITH SCORE 86301.119
AT ITER 7553 NEW BEST:: SOT 398774 SOS 182092 HAS SOPS 175330 HAS SOUS 87335 HAS SOUPS 86092 WITH SCORE 86274.092
AT ITER 7564 NEW BEST:: SOT 398773 SOS 182124 HAS SOPS 175362 HAS SOUS 87325 HAS SOUPS 86082 WITH SCORE 86264.124
AT ITER 7579 NEW BEST:: SOT 398056 SOS 181495 HAS SOPS 174645 HAS SOUS 87029 HAS SOUPS 85775 WITH SCORE 85956.495
AT ITER 7602 NEW BEST:: SOT 397988 SOS 181496 HAS SOPS 174646 HAS SOUS 86944 HAS SOUPS 85690 WITH SCORE 85871.496
AT ITER 7610 NEW BEST:: SOT 397927 SOS 181435 HAS SOPS 174585 HAS SOUS 86817 HAS SOUPS 85563 WITH SCORE 85744.435
AT ITER 7615 NEW BEST:: SOT 397922 SOS 181430 HAS SOPS 174580 HAS SOUS 86801 HAS SOUPS 85547 WITH SCORE 85728.43
AT ITER 7665 NEW BEST:: SOT 397816 SOS 181325 HAS SOPS 174475 HAS SOUS 86582 HAS SOUPS 85328 WITH SCORE 85509.325
AT ITER 7670 NEW BEST:: SOT 397876 SOS 181265 HAS SOPS 174415 HAS SOUS 86582 HAS SOUPS 85328 WITH SCORE 85509.265
AT ITER 7677 NEW BEST:: SOT 397877 SOS 178759 HAS SOPS 171909 HAS SOUS 86383 HAS SOUPS 85129 WITH SCORE 85307.759
AT ITER 7699 NEW BEST:: SOT 397877 SOS 178762 HAS SOPS 171912 HAS SOUS 86380 HAS SOUPS 85126 WITH SCORE 85304.762
AT ITER 7761 NEW BEST:: SOT 397873 SOS 178758 HAS SOPS 171908 HAS SOUS 86376 HAS SOUPS 85122 WITH SCORE 85300.758
AT ITER 7769 NEW BEST:: SOT 397859 SOS 178744 HAS SOPS 171894 HAS SOUS 86348 HAS SOUPS 85094 WITH SCORE 85272.744
AT ITER 7827 NEW BEST:: SOT 397859 SOS 178726 HAS SOPS 171876 HAS SOUS 86330 HAS SOUPS 85076 WITH SCORE 85254.726
AT ITER 7849 NEW BEST:: SOT 397859 SOS 178770 HAS SOPS 171920 HAS SOUS 86300 HAS SOUPS 85046 WITH SCORE 85224.77
AT ITER 7852 NEW BEST:: SOT 397853 SOS 178758 HAS SOPS 171908 HAS SOUS 86298 HAS SOUPS 85044 WITH SCORE 85222.758
AT ITER 7865 NEW BEST:: SOT 397822 SOS 178740 HAS SOPS 171890 HAS SOUS 86290 HAS SOUPS 85036 WITH SCORE 85214.74
AT ITER 7882 NEW BEST:: SOT 397649 SOS 178497 HAS SOPS 171647 HAS SOUS 86107 HAS SOUPS 84853 WITH SCORE 85031.497
AT ITER 7891 NEW BEST:: SOT 397649 SOS 178439 HAS SOPS 171589 HAS SOUS 86056 HAS SOUPS 84802 WITH SCORE 84980.439
AT ITER 7902 NEW BEST:: SOT 397649 SOS 178403 HAS SOPS 171553 HAS SOUS 86056 HAS SOUPS 84802 WITH SCORE 84980.403
AT ITER 7914 NEW BEST:: SOT 397649 SOS 178390 HAS SOPS 171540 HAS SOUS 86043 HAS SOUPS 84789 WITH SCORE 84967.39
AT ITER 7961 NEW BEST:: SOT 397302 SOS 178042 HAS SOPS 171192 HAS SOUS 85901 HAS SOUPS 84647 WITH SCORE 84825.042
AT ITER 7967 NEW BEST:: SOT 397301 SOS 178041 HAS SOPS 171191 HAS SOUS 85900 HAS SOUPS 84646 WITH SCORE 84824.041
AT ITER 8020 NEW BEST:: SOT 397265 SOS 178005 HAS SOPS 171155 HAS SOUS 85864 HAS SOUPS 84610 WITH SCORE 84788.005
AT ITER 8033 NEW BEST:: SOT 397060 SOS 177800 HAS SOPS 170950 HAS SOUS 85835 HAS SOUPS 84581 WITH SCORE 84758.8
AT ITER 8050 NEW BEST:: SOT 397060 SOS 177800 HAS SOPS 170950 HAS SOUS 85822 HAS SOUPS 84568 WITH SCORE 84745.8
AT ITER 8051 NEW BEST:: SOT 397060 SOS 177805 HAS SOPS 170955 HAS SOUS 85815 HAS SOUPS 84561 WITH SCORE 84738.805
AT ITER 8059 NEW BEST:: SOT 397060 SOS 177856 HAS SOPS 171006 HAS SOUS 85764 HAS SOUPS 84510 WITH SCORE 84687.856
AT ITER 8093 NEW BEST:: SOT 397075 SOS 177816 HAS SOPS 170966 HAS SOUS 85756 HAS SOUPS 84502 WITH SCORE 84679.816
AT ITER 8153 NEW BEST:: SOT 397061 SOS 177802 HAS SOPS 170959 HAS SOUS 85734 HAS SOUPS 84480 WITH SCORE 84657.802
AT ITER 8166 NEW BEST:: SOT 397089 SOS 177943 HAS SOPS 171100 HAS SOUS 85716 HAS SOUPS 84462 WITH SCORE 84639.943
AT ITER 8188 NEW BEST:: SOT 397097 SOS 177937 HAS SOPS 171094 HAS SOUS 85710 HAS SOUPS 84456 WITH SCORE 84633.937
AT ITER 8190 NEW BEST:: SOT 397100 SOS 177958 HAS SOPS 171109 HAS SOUS 85707 HAS SOUPS 84453 WITH SCORE 84630.958
AT ITER 8232 NEW BEST:: SOT 397088 SOS 177946 HAS SOPS 171097 HAS SOUS 85668 HAS SOUPS 84414 WITH SCORE 84591.946
AT ITER 8273 NEW BEST:: SOT 397088 SOS 177946 HAS SOPS 171097 HAS SOUS 85652 HAS SOUPS 84398 WITH SCORE 84575.946
AT ITER 8278 NEW BEST:: SOT 397088 SOS 177958 HAS SOPS 171109 HAS SOUS 85640 HAS SOUPS 84386 WITH SCORE 84563.958
AT ITER 8310 NEW BEST:: SOT 397088 SOS 177958 HAS SOPS 171109 HAS SOUS 85604 HAS SOUPS 84350 WITH SCORE 84527.958
AT ITER 8316 NEW BEST:: SOT 396491 SOS 177487 HAS SOPS 170494 HAS SOUS 85270 HAS SOUPS 83998 WITH SCORE 84175.487
AT ITER 8322 NEW BEST:: SOT 396496 SOS 177603 HAS SOPS 170610 HAS SOUS 85242 HAS SOUPS 83970 WITH SCORE 84147.603
AT ITER 8324 NEW BEST:: SOT 396525 SOS 177662 HAS SOPS 170669 HAS SOUS 85239 HAS SOUPS 83967 WITH SCORE 84144.662
AT ITER 8356 NEW BEST:: SOT 396540 SOS 177523 HAS SOPS 170530 HAS SOUS 85178 HAS SOUPS 83906 WITH SCORE 84083.523
AT ITER 8368 NEW BEST:: SOT 396540 SOS 177581 HAS SOPS 170588 HAS SOUS 85152 HAS SOUPS 83880 WITH SCORE 84057.581
AT ITER 8382 NEW BEST:: SOT 396517 SOS 177477 HAS SOPS 170484 HAS SOUS 85047 HAS SOUPS 83775 WITH SCORE 83952.477
AT ITER 8383 NEW BEST:: SOT 396517 SOS 177484 HAS SOPS 170491 HAS SOUS 85033 HAS SOUPS 83761 WITH SCORE 83938.484
AT ITER 8443 NEW BEST:: SOT 396517 SOS 177477 HAS SOPS 170484 HAS SOUS 85026 HAS SOUPS 83754 WITH SCORE 83931.477
AT ITER 8444 NEW BEST:: SOT 396488 SOS 177449 HAS SOPS 170456 HAS SOUS 85004 HAS SOUPS 83732 WITH SCORE 83909.449
AT ITER 8465 NEW BEST:: SOT 396488 SOS 177419 HAS SOPS 170426 HAS SOUS 84977 HAS SOUPS 83705 WITH SCORE 83882.419
AT ITER 8484 NEW BEST:: SOT 396421 SOS 177189 HAS SOPS 170196 HAS SOUS 84908 HAS SOUPS 83636 WITH SCORE 83813.189
AT ITER 8491 NEW BEST:: SOT 396389 SOS 177157 HAS SOPS 170164 HAS SOUS 84852 HAS SOUPS 83580 WITH SCORE 83757.157
AT ITER 8503 NEW BEST:: SOT 396389 SOS 177163 HAS SOPS 170170 HAS SOUS 84835 HAS SOUPS 83563 WITH SCORE 83740.163
AT ITER 8612 NEW BEST:: SOT 396362 SOS 176430 HAS SOPS 169437 HAS SOUS 84781 HAS SOUPS 83509 WITH SCORE 83685.43
AT ITER 8622 NEW BEST:: SOT 396351 SOS 176426 HAS SOPS 169433 HAS SOUS 84777 HAS SOUPS 83505 WITH SCORE 83681.426
AT ITER 8628 NEW BEST:: SOT 396303 SOS 176378 HAS SOPS 169385 HAS SOUS 84755 HAS SOUPS 83483 WITH SCORE 83659.378
AT ITER 8660 NEW BEST:: SOT 396294 SOS 176452 HAS SOPS 169459 HAS SOUS 84737 HAS SOUPS 83465 WITH SCORE 83641.452
AT ITER 8684 NEW BEST:: SOT 396290 SOS 176393 HAS SOPS 169400 HAS SOUS 84678 HAS SOUPS 83406 WITH SCORE 83582.393
AT ITER 8701 NEW BEST:: SOT 396229 SOS 176369 HAS SOPS 169376 HAS SOUS 84596 HAS SOUPS 83324 WITH SCORE 83500.369
AT ITER 8710 NEW BEST:: SOT 396217 SOS 176362 HAS SOPS 169369 HAS SOUS 84584 HAS SOUPS 83312 WITH SCORE 83488.362
AT ITER 8773 NEW BEST:: SOT 396203 SOS 176334 HAS SOPS 169341 HAS SOUS 84563 HAS SOUPS 83291 WITH SCORE 83467.334
AT ITER 8778 NEW BEST:: SOT 396159 SOS 176246 HAS SOPS 169253 HAS SOUS 84563 HAS SOUPS 83291 WITH SCORE 83467.246
AT ITER 8789 NEW BEST:: SOT 396196 SOS 176320 HAS SOPS 169327 HAS SOUS 84520 HAS SOUPS 83248 WITH SCORE 83424.32
AT ITER 8793 NEW BEST:: SOT 396264 SOS 176388 HAS SOPS 169395 HAS SOUS 84511 HAS SOUPS 83239 WITH SCORE 83415.388
AT ITER 8848 NEW BEST:: SOT 396264 SOS 176372 HAS SOPS 169379 HAS SOUS 84511 HAS SOUPS 83239 WITH SCORE 83415.372
AT ITER 8854 NEW BEST:: SOT 396280 SOS 176375 HAS SOPS 169382 HAS SOUS 84478 HAS SOUPS 83206 WITH SCORE 83382.375
AT ITER 8877 NEW BEST:: SOT 396196 SOS 176227 HAS SOPS 169234 HAS SOUS 84438 HAS SOUPS 83166 WITH SCORE 83342.227
AT ITER 8932 NEW BEST:: SOT 396187 SOS 176215 HAS SOPS 169222 HAS SOUS 84426 HAS SOUPS 83154 WITH SCORE 83330.215
AT ITER 8968 NEW BEST:: SOT 396155 SOS 176183 HAS SOPS 169190 HAS SOUS 84388 HAS SOUPS 83116 WITH SCORE 83292.183
AT ITER 8987 NEW BEST:: SOT 396155 SOS 176147 HAS SOPS 169154 HAS SOUS 84388 HAS SOUPS 83116 WITH SCORE 83292.147
AT ITER 9010 NEW BEST:: SOT 395801 SOS 175801 HAS SOPS 168808 HAS SOUS 84272 HAS SOUPS 83000 WITH SCORE 83175.801
AT ITER 9028 NEW BEST:: SOT 395796 SOS 175791 HAS SOPS 168798 HAS SOUS 84262 HAS SOUPS 82990 WITH SCORE 83165.791
AT ITER 9030 NEW BEST:: SOT 395798 SOS 175753 HAS SOPS 168760 HAS SOUS 84262 HAS SOUPS 82990 WITH SCORE 83165.753
AT ITER 9031 NEW BEST:: SOT 395791 SOS 175746 HAS SOPS 168753 HAS SOUS 84248 HAS SOUPS 82976 WITH SCORE 83151.746
AT ITER 9106 NEW BEST:: SOT 395911 SOS 172662 HAS SOPS 165669 HAS SOUS 83986 HAS SOUPS 82714 WITH SCORE 82886.662
AT ITER 9114 NEW BEST:: SOT 395911 SOS 172676 HAS SOPS 165683 HAS SOUS 83972 HAS SOUPS 82700 WITH SCORE 82872.676
AT ITER 9133 NEW BEST:: SOT 395895 SOS 172660 HAS SOPS 165667 HAS SOUS 83956 HAS SOUPS 82684 WITH SCORE 82856.66
AT ITER 9137 NEW BEST:: SOT 395906 SOS 172647 HAS SOPS 165654 HAS SOUS 83948 HAS SOUPS 82676 WITH SCORE 82848.647
AT ITER 9160 NEW BEST:: SOT 395906 SOS 172641 HAS SOPS 165648 HAS SOUS 83940 HAS SOUPS 82668 WITH SCORE 82840.641
AT ITER 9161 NEW BEST:: SOT 395837 SOS 172501 HAS SOPS 165508 HAS SOUS 83920 HAS SOUPS 82648 WITH SCORE 82820.501
AT ITER 9175 NEW BEST:: SOT 395831 SOS 172492 HAS SOPS 165499 HAS SOUS 83914 HAS SOUPS 82642 WITH SCORE 82814.492
AT ITER 9236 NEW BEST:: SOT 395800 SOS 172502 HAS SOPS 165509 HAS SOUS 83893 HAS SOUPS 82621 WITH SCORE 82793.502
AT ITER 9247 NEW BEST:: SOT 395776 SOS 172478 HAS SOPS 165485 HAS SOUS 83768 HAS SOUPS 82496 WITH SCORE 82668.478
AT ITER 9279 NEW BEST:: SOT 395689 SOS 172441 HAS SOPS 165448 HAS SOUS 83731 HAS SOUPS 82459 WITH SCORE 82631.441
AT ITER 9300 NEW BEST:: SOT 395658 SOS 172391 HAS SOPS 165398 HAS SOUS 83669 HAS SOUPS 82397 WITH SCORE 82569.391
AT ITER 9302 NEW BEST:: SOT 394549 SOS 175832 HAS SOPS 168756 HAS SOUS 83616 HAS SOUPS 82344 WITH SCORE 82519.832
AT ITER 9311 NEW BEST:: SOT 394559 SOS 175904 HAS SOPS 168828 HAS SOUS 83605 HAS SOUPS 82333 WITH SCORE 82508.904
AT ITER 9329 NEW BEST:: SOT 394530 SOS 175875 HAS SOPS 168799 HAS SOUS 83576 HAS SOUPS 82304 WITH SCORE 82479.875
AT ITER 9348 NEW BEST:: SOT 394490 SOS 175815 HAS SOPS 168729 HAS SOUS 83528 HAS SOUPS 82256 WITH SCORE 82431.815
AT ITER 9377 NEW BEST:: SOT 394456 SOS 175781 HAS SOPS 168695 HAS SOUS 83461 HAS SOUPS 82189 WITH SCORE 82364.781
AT ITER 9436 NEW BEST:: SOT 394414 SOS 175697 HAS SOPS 168611 HAS SOUS 83377 HAS SOUPS 82105 WITH SCORE 82280.697
AT ITER 9453 NEW BEST:: SOT 394411 SOS 175694 HAS SOPS 168601 HAS SOUS 83371 HAS SOUPS 82099 WITH SCORE 82274.694
AT ITER 9504 NEW BEST:: SOT 394471 SOS 175806 HAS SOPS 168713 HAS SOUS 83283 HAS SOUPS 82011 WITH SCORE 82186.806
AT ITER 9509 NEW BEST:: SOT 394439 SOS 175728 HAS SOPS 168635 HAS SOUS 83219 HAS SOUPS 81947 WITH SCORE 82122.728
AT ITER 9528 NEW BEST:: SOT 394439 SOS 175711 HAS SOPS 168618 HAS SOUS 83202 HAS SOUPS 81930 WITH SCORE 82105.711
AT ITER 9543 NEW BEST:: SOT 394439 SOS 175711 HAS SOPS 168618 HAS SOUS 83159 HAS SOUPS 81887 WITH SCORE 82062.711
AT ITER 9552 NEW BEST:: SOT 394379 SOS 175651 HAS SOPS 168558 HAS SOUS 83069 HAS SOUPS 81797 WITH SCORE 81972.651
AT ITER 9560 NEW BEST:: SOT 394374 SOS 175602 HAS SOPS 168509 HAS SOUS 83060 HAS SOUPS 81788 WITH SCORE 81963.602
AT ITER 9574 NEW BEST:: SOT 394354 SOS 175562 HAS SOPS 168469 HAS SOUS 83035 HAS SOUPS 81763 WITH SCORE 81938.562
AT ITER 9601 NEW BEST:: SOT 394356 SOS 175564 HAS SOPS 168459 HAS SOUS 83034 HAS SOUPS 81750 WITH SCORE 81925.564
AT ITER 9642 NEW BEST:: SOT 394243 SOS 175409 HAS SOPS 168304 HAS SOUS 82820 HAS SOUPS 81536 WITH SCORE 81711.409
AT ITER 9677 NEW BEST:: SOT 394245 SOS 175411 HAS SOPS 168306 HAS SOUS 82806 HAS SOUPS 81522 WITH SCORE 81697.411
AT ITER 9695 NEW BEST:: SOT 394245 SOS 175403 HAS SOPS 168298 HAS SOUS 82806 HAS SOUPS 81522 WITH SCORE 81697.403
AT ITER 9701 NEW BEST:: SOT 394213 SOS 175339 HAS SOPS 168234 HAS SOUS 82742 HAS SOUPS 81458 WITH SCORE 81633.339
AT ITER 9709 NEW BEST:: SOT 394208 SOS 175338 HAS SOPS 168233 HAS SOUS 82740 HAS SOUPS 81456 WITH SCORE 81631.338
AT ITER 9731 NEW BEST:: SOT 394202 SOS 175314 HAS SOPS 168209 HAS SOUS 82710 HAS SOUPS 81426 WITH SCORE 81601.314
AT ITER 9746 NEW BEST:: SOT 394212 SOS 175324 HAS SOPS 168219 HAS SOUS 82698 HAS SOUPS 81414 WITH SCORE 81589.324
AT ITER 9762 NEW BEST:: SOT 394209 SOS 175315 HAS SOPS 168216 HAS SOUS 82695 HAS SOUPS 81411 WITH SCORE 81586.315
AT ITER 9769 NEW BEST:: SOT 394208 SOS 175313 HAS SOPS 168214 HAS SOUS 82693 HAS SOUPS 81409 WITH SCORE 81584.313
AT ITER 9806 NEW BEST:: SOT 394262 SOS 175532 HAS SOPS 168433 HAS SOUS 82657 HAS SOUPS 81373 WITH SCORE 81548.532
AT ITER 9848 NEW BEST:: SOT 394244 SOS 175531 HAS SOPS 168432 HAS SOUS 82656 HAS SOUPS 81372 WITH SCORE 81547.531
AT ITER 9861 NEW BEST:: SOT 394247 SOS 175569 HAS SOPS 168470 HAS SOUS 82610 HAS SOUPS 81326 WITH SCORE 81501.569
AT ITER 9873 NEW BEST:: SOT 394247 SOS 175563 HAS SOPS 168464 HAS SOUS 82604 HAS SOUPS 81320 WITH SCORE 81495.563
AT ITER 9877 NEW BEST:: SOT 394244 SOS 175560 HAS SOPS 168461 HAS SOUS 82593 HAS SOUPS 81309 WITH SCORE 81484.56
AT ITER 9878 NEW BEST:: SOT 394208 SOS 175472 HAS SOPS 168373 HAS SOUS 82526 HAS SOUPS 81242 WITH SCORE 81417.472
AT ITER 9898 NEW BEST:: SOT 394206 SOS 175468 HAS SOPS 168369 HAS SOUS 82520 HAS SOUPS 81236 WITH SCORE 81411.468
AT ITER 9902 NEW BEST:: SOT 394142 SOS 175404 HAS SOPS 168305 HAS SOUS 82516 HAS SOUPS 81232 WITH SCORE 81407.404
AT ITER 9920 NEW BEST:: SOT 394140 SOS 175402 HAS SOPS 168303 HAS SOUS 82512 HAS SOUPS 81228 WITH SCORE 81403.402
AT ITER 9996 NEW BEST:: SOT 394151 SOS 175512 HAS SOPS 168413 HAS SOUS 82501 HAS SOUPS 81217 WITH SCORE 81392.512
AT ITER 9998 NEW BEST:: SOT 394152 SOS 175582 HAS SOPS 168483 HAS SOUS 82480 HAS SOUPS 81196 WITH SCORE 81371.582
STATE_SPACE STATES 16693 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 62 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 31535 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679484736465

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

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is PolyORBLF-COL-S02J04T08, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r299-tall-167873952900360"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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