Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 5.8K Feb 26 14:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 48K Feb 26 14:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 14:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 14:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.1K Feb 26 14:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 14:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 26 14:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:35 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 1678789854120

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-COL-S04J04T08
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 10:30:57] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 10:30:57] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 10:30:57] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-14 10:30:57] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 10:30:58] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1019 ms
[2023-03-14 10:30:58] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 712 PT places and 4080.0 transition bindings in 61 ms.
[2023-03-14 10:30:58] [INFO ] Unfolded HLPN to a Petri net with 712 places and 4012 transitions 27744 arcs in 177 ms.
[2023-03-14 10:30:58] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 2168 transitions
Reduce isomorphic transitions removed 2168 transitions.
[2023-03-14 10:30:58] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 712 places, 1844 transitions and 9400 arcs took 48 ms.
Total runtime 1707 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S04J04T08
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 712 places, 1844 transitions, 9400 arcs.
AT ITER 0 NEW BEST:: SOT 736032 SOS 443947 HAS SOPS 437720 HAS SOUS 350952 HAS SOUPS 350155 WITH SCORE 350598.947
AT ITER 3 NEW BEST:: SOT 736073 SOS 443892 HAS SOPS 437665 HAS SOUS 350897 HAS SOUPS 350100 WITH SCORE 350543.892
AT ITER 18 NEW BEST:: SOT 736073 SOS 443882 HAS SOPS 437655 HAS SOUS 350887 HAS SOUPS 350090 WITH SCORE 350533.882
AT ITER 19 NEW BEST:: SOT 736060 SOS 443869 HAS SOPS 437655 HAS SOUS 350835 HAS SOUPS 350038 WITH SCORE 350481.869
AT ITER 24 NEW BEST:: SOT 736060 SOS 443793 HAS SOPS 437579 HAS SOUS 350789 HAS SOUPS 349992 WITH SCORE 350435.793
AT ITER 34 NEW BEST:: SOT 735121 SOS 443024 HAS SOPS 436810 HAS SOUS 349946 HAS SOUPS 349149 WITH SCORE 349592.024
AT ITER 35 NEW BEST:: SOT 735080 SOS 442942 HAS SOPS 436728 HAS SOUS 349864 HAS SOUPS 349067 WITH SCORE 349509.942
AT ITER 39 NEW BEST:: SOT 734924 SOS 442794 HAS SOPS 436638 HAS SOUS 349746 HAS SOUPS 348949 WITH SCORE 349391.794
AT ITER 48 NEW BEST:: SOT 734826 SOS 442604 HAS SOPS 436448 HAS SOUS 349556 HAS SOUPS 348759 WITH SCORE 349201.604
AT ITER 50 NEW BEST:: SOT 734680 SOS 442458 HAS SOPS 436375 HAS SOUS 349515 HAS SOUPS 348718 WITH SCORE 349160.458
AT ITER 52 NEW BEST:: SOT 734066 SOS 442017 HAS SOPS 435934 HAS SOUS 349062 HAS SOUPS 348265 WITH SCORE 348707.017
AT ITER 54 NEW BEST:: SOT 734066 SOS 441994 HAS SOPS 435911 HAS SOUS 348927 HAS SOUPS 348130 WITH SCORE 348571.994
AT ITER 70 NEW BEST:: SOT 733805 SOS 441745 HAS SOPS 435746 HAS SOUS 348688 HAS SOUPS 347891 WITH SCORE 348332.745
AT ITER 80 NEW BEST:: SOT 733617 SOS 441557 HAS SOPS 435558 HAS SOUS 348469 HAS SOUPS 347672 WITH SCORE 348113.557
AT ITER 81 NEW BEST:: SOT 733608 SOS 441548 HAS SOPS 435540 HAS SOUS 348455 HAS SOUPS 347654 WITH SCORE 348095.548
AT ITER 83 NEW BEST:: SOT 733537 SOS 441264 HAS SOPS 435256 HAS SOUS 348384 HAS SOUPS 347583 WITH SCORE 348024.264
AT ITER 84 NEW BEST:: SOT 733536 SOS 441263 HAS SOPS 435255 HAS SOUS 348382 HAS SOUPS 347581 WITH SCORE 348022.263
AT ITER 88 NEW BEST:: SOT 733210 SOS 441037 HAS SOPS 435029 HAS SOUS 348156 HAS SOUPS 347355 WITH SCORE 347796.037
AT ITER 89 NEW BEST:: SOT 733102 SOS 440902 HAS SOPS 434894 HAS SOUS 347947 HAS SOUPS 347146 WITH SCORE 347586.902
AT ITER 100 NEW BEST:: SOT 733017 SOS 440817 HAS SOPS 434809 HAS SOUS 347777 HAS SOUPS 346976 WITH SCORE 347416.817
AT ITER 106 NEW BEST:: SOT 733017 SOS 440706 HAS SOPS 434698 HAS SOUS 347666 HAS SOUPS 346865 WITH SCORE 347305.706
AT ITER 121 NEW BEST:: SOT 732450 SOS 440096 HAS SOPS 434088 HAS SOUS 347273 HAS SOUPS 346472 WITH SCORE 346912.096
AT ITER 122 NEW BEST:: SOT 732450 SOS 440085 HAS SOPS 434077 HAS SOUS 347102 HAS SOUPS 346301 WITH SCORE 346741.085
AT ITER 129 NEW BEST:: SOT 731608 SOS 439429 HAS SOPS 433421 HAS SOUS 346478 HAS SOUPS 345677 WITH SCORE 346116.429
AT ITER 133 NEW BEST:: SOT 731499 SOS 439253 HAS SOPS 433245 HAS SOUS 346336 HAS SOUPS 345535 WITH SCORE 345974.253
AT ITER 135 NEW BEST:: SOT 731414 SOS 439083 HAS SOPS 433075 HAS SOUS 346078 HAS SOUPS 345277 WITH SCORE 345716.083
AT ITER 137 NEW BEST:: SOT 731402 SOS 439047 HAS SOPS 433039 HAS SOUS 346054 HAS SOUPS 345253 WITH SCORE 345692.047
AT ITER 139 NEW BEST:: SOT 731108 SOS 438749 HAS SOPS 432741 HAS SOUS 345798 HAS SOUPS 344997 WITH SCORE 345435.749
AT ITER 148 NEW BEST:: SOT 731036 SOS 438317 HAS SOPS 432309 HAS SOUS 345798 HAS SOUPS 344997 WITH SCORE 345435.317
AT ITER 150 NEW BEST:: SOT 730169 SOS 437720 HAS SOPS 431712 HAS SOUS 345746 HAS SOUPS 344945 WITH SCORE 345382.72
AT ITER 151 NEW BEST:: SOT 730244 SOS 438181 HAS SOPS 432173 HAS SOUS 345459 HAS SOUPS 344658 WITH SCORE 345096.181
AT ITER 155 NEW BEST:: SOT 729891 SOS 437932 HAS SOPS 431924 HAS SOUS 345194 HAS SOUPS 344393 WITH SCORE 344830.932
AT ITER 156 NEW BEST:: SOT 729637 SOS 437678 HAS SOPS 431670 HAS SOUS 344939 HAS SOUPS 344138 WITH SCORE 344575.678
AT ITER 157 NEW BEST:: SOT 730153 SOS 438441 HAS SOPS 432433 HAS SOUS 341116 HAS SOUPS 340315 WITH SCORE 340753.441
AT ITER 174 NEW BEST:: SOT 730149 SOS 438235 HAS SOPS 432227 HAS SOUS 340286 HAS SOUPS 339485 WITH SCORE 339923.235
AT ITER 175 NEW BEST:: SOT 730691 SOS 439340 HAS SOPS 433332 HAS SOUS 339853 HAS SOUPS 339052 WITH SCORE 339491.34
AT ITER 179 NEW BEST:: SOT 730691 SOS 439186 HAS SOPS 433148 HAS SOUS 339833 HAS SOUPS 339003 WITH SCORE 339442.186
AT ITER 181 NEW BEST:: SOT 730518 SOS 439013 HAS SOPS 432975 HAS SOUS 339751 HAS SOUPS 338921 WITH SCORE 339360.013
AT ITER 182 NEW BEST:: SOT 730561 SOS 439647 HAS SOPS 433609 HAS SOUS 339741 HAS SOUPS 338911 WITH SCORE 339350.647
AT ITER 183 NEW BEST:: SOT 729699 SOS 438719 HAS SOPS 432681 HAS SOUS 339288 HAS SOUPS 338458 WITH SCORE 338896.719
AT ITER 191 NEW BEST:: SOT 729612 SOS 438691 HAS SOPS 432740 HAS SOUS 339201 HAS SOUPS 338371 WITH SCORE 338809.691
AT ITER 197 NEW BEST:: SOT 729167 SOS 438378 HAS SOPS 432427 HAS SOUS 338776 HAS SOUPS 337946 WITH SCORE 338384.378
AT ITER 198 NEW BEST:: SOT 729130 SOS 438493 HAS SOPS 432542 HAS SOUS 338337 HAS SOUPS 337507 WITH SCORE 337945.493
AT ITER 199 NEW BEST:: SOT 729192 SOS 438532 HAS SOPS 432581 HAS SOUS 337872 HAS SOUPS 337042 WITH SCORE 337480.532
AT ITER 205 NEW BEST:: SOT 729098 SOS 438310 HAS SOPS 432359 HAS SOUS 337650 HAS SOUPS 336820 WITH SCORE 337258.31
AT ITER 208 NEW BEST:: SOT 728804 SOS 437998 HAS SOPS 432047 HAS SOUS 336890 HAS SOUPS 336060 WITH SCORE 336497.998
AT ITER 216 NEW BEST:: SOT 728881 SOS 438577 HAS SOPS 432626 HAS SOUS 332737 HAS SOUPS 331907 WITH SCORE 332345.577
AT ITER 220 NEW BEST:: SOT 729021 SOS 439137 HAS SOPS 433186 HAS SOUS 331958 HAS SOUPS 331128 WITH SCORE 331567.137
AT ITER 225 NEW BEST:: SOT 728529 SOS 438757 HAS SOPS 432806 HAS SOUS 331566 HAS SOUPS 330736 WITH SCORE 331174.757
AT ITER 227 NEW BEST:: SOT 729319 SOS 440045 HAS SOPS 434094 HAS SOUS 331292 HAS SOUPS 330462 WITH SCORE 330902.045
AT ITER 234 NEW BEST:: SOT 730159 SOS 441392 HAS SOPS 435441 HAS SOUS 323241 HAS SOUPS 322411 WITH SCORE 322852.392
AT ITER 235 NEW BEST:: SOT 730069 SOS 441303 HAS SOPS 435359 HAS SOUS 323074 HAS SOUPS 322244 WITH SCORE 322685.303
AT ITER 237 NEW BEST:: SOT 730057 SOS 441291 HAS SOPS 435347 HAS SOUS 323070 HAS SOUPS 322240 WITH SCORE 322681.291
AT ITER 243 NEW BEST:: SOT 728998 SOS 440222 HAS SOPS 434278 HAS SOUS 322972 HAS SOUPS 322142 WITH SCORE 322582.222
AT ITER 246 NEW BEST:: SOT 729079 SOS 440365 HAS SOPS 434421 HAS SOUS 322789 HAS SOUPS 321959 WITH SCORE 322399.365
AT ITER 247 NEW BEST:: SOT 729079 SOS 441834 HAS SOPS 435890 HAS SOUS 322616 HAS SOUPS 321786 WITH SCORE 322227.834
AT ITER 254 NEW BEST:: SOT 728871 SOS 441840 HAS SOPS 435971 HAS SOUS 322518 HAS SOUPS 321688 WITH SCORE 322129.84
AT ITER 265 NEW BEST:: SOT 728855 SOS 441824 HAS SOPS 435939 HAS SOUS 322486 HAS SOUPS 321656 WITH SCORE 322097.824
AT ITER 267 NEW BEST:: SOT 728483 SOS 441496 HAS SOPS 435611 HAS SOUS 322114 HAS SOUPS 321284 WITH SCORE 321725.496
AT ITER 272 NEW BEST:: SOT 728592 SOS 442507 HAS SOPS 436622 HAS SOUS 321705 HAS SOUPS 320875 WITH SCORE 321317.507
AT ITER 275 NEW BEST:: SOT 728584 SOS 442491 HAS SOPS 436606 HAS SOUS 321689 HAS SOUPS 320859 WITH SCORE 321301.491
AT ITER 280 NEW BEST:: SOT 728584 SOS 443122 HAS SOPS 437236 HAS SOUS 321590 HAS SOUPS 320760 WITH SCORE 321203.122
AT ITER 284 NEW BEST:: SOT 728430 SOS 443042 HAS SOPS 437240 HAS SOUS 321565 HAS SOUPS 320735 WITH SCORE 321178.042
AT ITER 292 NEW BEST:: SOT 728430 SOS 443028 HAS SOPS 437237 HAS SOUS 321551 HAS SOUPS 320732 WITH SCORE 321175.028
AT ITER 294 NEW BEST:: SOT 728122 SOS 442888 HAS SOPS 437096 HAS SOUS 321243 HAS SOUPS 320424 WITH SCORE 320866.888
AT ITER 304 NEW BEST:: SOT 728122 SOS 442925 HAS SOPS 437133 HAS SOUS 319201 HAS SOUPS 318382 WITH SCORE 318824.925
AT ITER 309 NEW BEST:: SOT 728061 SOS 442742 HAS SOPS 436950 HAS SOUS 319140 HAS SOUPS 318321 WITH SCORE 318763.742
AT ITER 311 NEW BEST:: SOT 728057 SOS 442738 HAS SOPS 436975 HAS SOUS 319074 HAS SOUPS 318255 WITH SCORE 318697.738
AT ITER 317 NEW BEST:: SOT 727540 SOS 442149 HAS SOPS 436386 HAS SOUS 318744 HAS SOUPS 317925 WITH SCORE 318367.149
AT ITER 333 NEW BEST:: SOT 728037 SOS 443240 HAS SOPS 437477 HAS SOUS 313589 HAS SOUPS 312770 WITH SCORE 313213.24
AT ITER 337 NEW BEST:: SOT 728037 SOS 443618 HAS SOPS 437855 HAS SOUS 313526 HAS SOUPS 312707 WITH SCORE 313150.618
AT ITER 344 NEW BEST:: SOT 727757 SOS 443348 HAS SOPS 437688 HAS SOUS 313156 HAS SOUPS 312337 WITH SCORE 312780.348
AT ITER 357 NEW BEST:: SOT 727254 SOS 443089 HAS SOPS 437429 HAS SOUS 312888 HAS SOUPS 312069 WITH SCORE 312512.089
AT ITER 362 NEW BEST:: SOT 726629 SOS 442432 HAS SOPS 436772 HAS SOUS 312242 HAS SOUPS 311423 WITH SCORE 311865.432
AT ITER 364 NEW BEST:: SOT 726577 SOS 442302 HAS SOPS 436642 HAS SOUS 312216 HAS SOUPS 311397 WITH SCORE 311839.302
AT ITER 367 NEW BEST:: SOT 726019 SOS 441718 HAS SOPS 436058 HAS SOUS 312134 HAS SOUPS 311315 WITH SCORE 311756.718
AT ITER 368 NEW BEST:: SOT 726019 SOS 441718 HAS SOPS 436085 HAS SOUS 312133 HAS SOUPS 311314 WITH SCORE 311755.718
AT ITER 369 NEW BEST:: SOT 726455 SOS 442220 HAS SOPS 436587 HAS SOUS 311980 HAS SOUPS 311161 WITH SCORE 311603.22
AT ITER 384 NEW BEST:: SOT 726455 SOS 441345 HAS SOPS 435712 HAS SOUS 311980 HAS SOUPS 311161 WITH SCORE 311602.345
AT ITER 386 NEW BEST:: SOT 725518 SOS 440591 HAS SOPS 434958 HAS SOUS 311616 HAS SOUPS 310797 WITH SCORE 311237.591
AT ITER 391 NEW BEST:: SOT 725289 SOS 439842 HAS SOPS 434209 HAS SOUS 311237 HAS SOUPS 310418 WITH SCORE 310857.842
AT ITER 393 NEW BEST:: SOT 725472 SOS 440060 HAS SOPS 434427 HAS SOUS 307947 HAS SOUPS 307128 WITH SCORE 307568.06
AT ITER 396 NEW BEST:: SOT 725282 SOS 439870 HAS SOPS 434237 HAS SOUS 307862 HAS SOUPS 307043 WITH SCORE 307482.87
AT ITER 398 NEW BEST:: SOT 725244 SOS 439149 HAS SOPS 433516 HAS SOUS 307844 HAS SOUPS 307025 WITH SCORE 307464.149
AT ITER 399 NEW BEST:: SOT 724436 SOS 438241 HAS SOPS 432608 HAS SOUS 306986 HAS SOUPS 306167 WITH SCORE 306605.241
AT ITER 400 NEW BEST:: SOT 724886 SOS 439283 HAS SOPS 433650 HAS SOUS 302117 HAS SOUPS 301298 WITH SCORE 301737.283
AT ITER 402 NEW BEST:: SOT 724826 SOS 439223 HAS SOPS 433650 HAS SOUS 302057 HAS SOUPS 301238 WITH SCORE 301677.223
AT ITER 405 NEW BEST:: SOT 724908 SOS 439305 HAS SOPS 433732 HAS SOUS 301893 HAS SOUPS 301074 WITH SCORE 301513.305
AT ITER 424 NEW BEST:: SOT 727710 SOS 442442 HAS SOPS 436869 HAS SOUS 298062 HAS SOUPS 297243 WITH SCORE 297685.442
AT ITER 425 NEW BEST:: SOT 727299 SOS 441999 HAS SOPS 436426 HAS SOUS 297763 HAS SOUPS 296944 WITH SCORE 297385.999
AT ITER 434 NEW BEST:: SOT 727241 SOS 441579 HAS SOPS 436006 HAS SOUS 297639 HAS SOUPS 296820 WITH SCORE 297261.579
AT ITER 442 NEW BEST:: SOT 727890 SOS 442677 HAS SOPS 437104 HAS SOUS 292159 HAS SOUPS 291340 WITH SCORE 291782.677
AT ITER 448 NEW BEST:: SOT 727193 SOS 442094 HAS SOPS 436521 HAS SOUS 291698 HAS SOUPS 290879 WITH SCORE 291321.094
AT ITER 450 NEW BEST:: SOT 727105 SOS 442429 HAS SOPS 436856 HAS SOUS 291675 HAS SOUPS 290856 WITH SCORE 291298.429
AT ITER 466 NEW BEST:: SOT 727015 SOS 442226 HAS SOPS 436653 HAS SOUS 291405 HAS SOUPS 290586 WITH SCORE 291028.226
AT ITER 469 NEW BEST:: SOT 727067 SOS 442466 HAS SOPS 436893 HAS SOUS 291368 HAS SOUPS 290549 WITH SCORE 290991.466
AT ITER 471 NEW BEST:: SOT 726975 SOS 442282 HAS SOPS 436709 HAS SOUS 291322 HAS SOUPS 290503 WITH SCORE 290945.282
AT ITER 473 NEW BEST:: SOT 726975 SOS 442282 HAS SOPS 436709 HAS SOUS 291188 HAS SOUPS 290369 WITH SCORE 290811.282
AT ITER 476 NEW BEST:: SOT 726970 SOS 442059 HAS SOPS 436486 HAS SOUS 290965 HAS SOUPS 290146 WITH SCORE 290588.059
AT ITER 481 NEW BEST:: SOT 726928 SOS 441975 HAS SOPS 436402 HAS SOUS 290881 HAS SOUPS 290062 WITH SCORE 290503.975
AT ITER 482 NEW BEST:: SOT 726910 SOS 441909 HAS SOPS 436336 HAS SOUS 290270 HAS SOUPS 289451 WITH SCORE 289892.909
AT ITER 483 NEW BEST:: SOT 726891 SOS 441890 HAS SOPS 436317 HAS SOUS 290251 HAS SOUPS 289432 WITH SCORE 289873.89
AT ITER 489 NEW BEST:: SOT 727188 SOS 442219 HAS SOPS 436646 HAS SOUS 290045 HAS SOUPS 289226 WITH SCORE 289668.219
AT ITER 494 NEW BEST:: SOT 727156 SOS 442187 HAS SOPS 436615 HAS SOUS 290014 HAS SOUPS 289195 WITH SCORE 289637.187
AT ITER 501 NEW BEST:: SOT 727292 SOS 443632 HAS SOPS 438060 HAS SOUS 286570 HAS SOUPS 285751 WITH SCORE 286194.632
AT ITER 504 NEW BEST:: SOT 727088 SOS 443582 HAS SOPS 438111 HAS SOUS 286508 HAS SOUPS 285689 WITH SCORE 286132.582
AT ITER 507 NEW BEST:: SOT 727088 SOS 441732 HAS SOPS 436261 HAS SOUS 286114 HAS SOUPS 285295 WITH SCORE 285736.732
AT ITER 512 NEW BEST:: SOT 727340 SOS 442003 HAS SOPS 436532 HAS SOUS 284644 HAS SOUPS 283825 WITH SCORE 284267.003
AT ITER 518 NEW BEST:: SOT 727194 SOS 441779 HAS SOPS 436308 HAS SOUS 284507 HAS SOUPS 283688 WITH SCORE 284129.779
AT ITER 524 NEW BEST:: SOT 727529 SOS 442310 HAS SOPS 436839 HAS SOUS 282604 HAS SOUPS 281785 WITH SCORE 282227.31
AT ITER 527 NEW BEST:: SOT 727529 SOS 442310 HAS SOPS 436839 HAS SOUS 282529 HAS SOUPS 281710 WITH SCORE 282152.31
AT ITER 535 NEW BEST:: SOT 727531 SOS 445610 HAS SOPS 438955 HAS SOUS 282650 HAS SOUPS 281683 WITH SCORE 282128.61
AT ITER 537 NEW BEST:: SOT 727516 SOS 445235 HAS SOPS 438580 HAS SOUS 282620 HAS SOUPS 281653 WITH SCORE 282098.235
AT ITER 547 NEW BEST:: SOT 727188 SOS 445106 HAS SOPS 438451 HAS SOUS 282493 HAS SOUPS 281526 WITH SCORE 281971.106
AT ITER 554 NEW BEST:: SOT 727074 SOS 445099 HAS SOPS 438444 HAS SOUS 282372 HAS SOUPS 281405 WITH SCORE 281850.099
AT ITER 558 NEW BEST:: SOT 725724 SOS 474866 HAS SOPS 461822 HAS SOUS 282724 HAS SOUPS 281207 WITH SCORE 281681.866
AT ITER 559 NEW BEST:: SOT 725646 SOS 474710 HAS SOPS 461666 HAS SOUS 282568 HAS SOUPS 281051 WITH SCORE 281525.71
AT ITER 560 NEW BEST:: SOT 725445 SOS 473354 HAS SOPS 460310 HAS SOUS 282367 HAS SOUPS 280850 WITH SCORE 281323.354
AT ITER 561 NEW BEST:: SOT 725492 SOS 473438 HAS SOPS 460394 HAS SOUS 280013 HAS SOUPS 278496 WITH SCORE 278969.438
AT ITER 568 NEW BEST:: SOT 725474 SOS 473420 HAS SOPS 460376 HAS SOUS 279861 HAS SOUPS 278344 WITH SCORE 278817.42
AT ITER 570 NEW BEST:: SOT 725410 SOS 473399 HAS SOPS 460355 HAS SOUS 279764 HAS SOUPS 278247 WITH SCORE 278720.399
AT ITER 572 NEW BEST:: SOT 725399 SOS 473405 HAS SOPS 460361 HAS SOUS 278993 HAS SOUPS 277476 WITH SCORE 277949.405
AT ITER 577 NEW BEST:: SOT 725566 SOS 473572 HAS SOPS 460528 HAS SOUS 278982 HAS SOUPS 277465 WITH SCORE 277938.572
AT ITER 578 NEW BEST:: SOT 725375 SOS 473381 HAS SOPS 460426 HAS SOUS 278903 HAS SOUPS 277386 WITH SCORE 277859.381
AT ITER 579 NEW BEST:: SOT 726214 SOS 482351 HAS SOPS 468758 HAS SOUS 278482 HAS SOUPS 276762 WITH SCORE 277244.351
AT ITER 583 NEW BEST:: SOT 726101 SOS 481899 HAS SOPS 468306 HAS SOUS 278281 HAS SOUPS 276561 WITH SCORE 277042.899
AT ITER 584 NEW BEST:: SOT 722620 SOS 479935 HAS SOPS 464015 HAS SOUS 274611 HAS SOUPS 272596 WITH SCORE 273075.935
AT ITER 586 NEW BEST:: SOT 721906 SOS 479380 HAS SOPS 463460 HAS SOUS 273620 HAS SOUPS 271605 WITH SCORE 272084.38
AT ITER 589 NEW BEST:: SOT 723716 SOS 481416 HAS SOPS 465496 HAS SOUS 273497 HAS SOUPS 271482 WITH SCORE 271963.416
AT ITER 598 NEW BEST:: SOT 723843 SOS 481709 HAS SOPS 465789 HAS SOUS 271571 HAS SOUPS 269556 WITH SCORE 270037.709
AT ITER 608 NEW BEST:: SOT 724007 SOS 481866 HAS SOPS 465946 HAS SOUS 271528 HAS SOUPS 269513 WITH SCORE 269994.866
AT ITER 613 NEW BEST:: SOT 723956 SOS 481815 HAS SOPS 465895 HAS SOUS 271393 HAS SOUPS 269378 WITH SCORE 269859.815
AT ITER 626 NEW BEST:: SOT 723941 SOS 481698 HAS SOPS 465883 HAS SOUS 271369 HAS SOUPS 269354 WITH SCORE 269835.698
AT ITER 629 NEW BEST:: SOT 723625 SOS 481387 HAS SOPS 465572 HAS SOUS 271138 HAS SOUPS 269123 WITH SCORE 269604.387
AT ITER 636 NEW BEST:: SOT 723604 SOS 481366 HAS SOPS 465551 HAS SOUS 271117 HAS SOUPS 269102 WITH SCORE 269583.366
AT ITER 637 NEW BEST:: SOT 723216 SOS 480851 HAS SOPS 465128 HAS SOUS 270613 HAS SOUPS 268598 WITH SCORE 269078.851
AT ITER 639 NEW BEST:: SOT 722830 SOS 480629 HAS SOPS 464906 HAS SOUS 270422 HAS SOUPS 268407 WITH SCORE 268887.629
AT ITER 656 NEW BEST:: SOT 722830 SOS 480505 HAS SOPS 464782 HAS SOUS 270298 HAS SOUPS 268283 WITH SCORE 268763.505
AT ITER 658 NEW BEST:: SOT 722692 SOS 480427 HAS SOPS 464765 HAS SOUS 270282 HAS SOUPS 268267 WITH SCORE 268747.427
AT ITER 665 NEW BEST:: SOT 722578 SOS 480094 HAS SOPS 464432 HAS SOUS 269983 HAS SOUPS 267968 WITH SCORE 268448.094
AT ITER 669 NEW BEST:: SOT 722539 SOS 480068 HAS SOPS 464406 HAS SOUS 269953 HAS SOUPS 267938 WITH SCORE 268418.068
AT ITER 672 NEW BEST:: SOT 722098 SOS 479610 HAS SOPS 463948 HAS SOUS 269499 HAS SOUPS 267484 WITH SCORE 267963.61
AT ITER 678 NEW BEST:: SOT 722020 SOS 479339 HAS SOPS 463677 HAS SOUS 269404 HAS SOUPS 267389 WITH SCORE 267868.339
AT ITER 686 NEW BEST:: SOT 721991 SOS 479310 HAS SOPS 463648 HAS SOUS 269375 HAS SOUPS 267360 WITH SCORE 267839.31
AT ITER 690 NEW BEST:: SOT 721988 SOS 479307 HAS SOPS 463645 HAS SOUS 269372 HAS SOUPS 267357 WITH SCORE 267836.307
AT ITER 694 NEW BEST:: SOT 721743 SOS 478974 HAS SOPS 463394 HAS SOUS 269096 HAS SOUPS 267081 WITH SCORE 267559.974
AT ITER 708 NEW BEST:: SOT 722171 SOS 479546 HAS SOPS 463966 HAS SOUS 266519 HAS SOUPS 264504 WITH SCORE 264983.546
AT ITER 719 NEW BEST:: SOT 721942 SOS 479311 HAS SOPS 463731 HAS SOUS 266462 HAS SOUPS 264447 WITH SCORE 264926.311
AT ITER 723 NEW BEST:: SOT 721938 SOS 479303 HAS SOPS 463723 HAS SOUS 266454 HAS SOUPS 264439 WITH SCORE 264918.303
AT ITER 725 NEW BEST:: SOT 722021 SOS 479716 HAS SOPS 464136 HAS SOUS 266182 HAS SOUPS 264167 WITH SCORE 264646.716
AT ITER 728 NEW BEST:: SOT 721908 SOS 479603 HAS SOPS 464023 HAS SOUS 266069 HAS SOUPS 264054 WITH SCORE 264533.603
AT ITER 733 NEW BEST:: SOT 721487 SOS 479294 HAS SOPS 463714 HAS SOUS 265780 HAS SOUPS 263765 WITH SCORE 264244.294
AT ITER 734 NEW BEST:: SOT 723845 SOS 481983 HAS SOPS 466403 HAS SOUS 264307 HAS SOUPS 262292 WITH SCORE 262773.983
AT ITER 739 NEW BEST:: SOT 723648 SOS 481786 HAS SOPS 466287 HAS SOUS 264155 HAS SOUPS 262140 WITH SCORE 262621.786
AT ITER 761 NEW BEST:: SOT 723559 SOS 481697 HAS SOPS 466198 HAS SOUS 264095 HAS SOUPS 262080 WITH SCORE 262561.697
AT ITER 762 NEW BEST:: SOT 723439 SOS 481637 HAS SOPS 466138 HAS SOUS 264087 HAS SOUPS 262072 WITH SCORE 262553.637
AT ITER 775 NEW BEST:: SOT 723076 SOS 481219 HAS SOPS 465720 HAS SOUS 263701 HAS SOUPS 261686 WITH SCORE 262167.219
AT ITER 785 NEW BEST:: SOT 723004 SOS 481043 HAS SOPS 465535 HAS SOUS 263562 HAS SOUPS 261539 WITH SCORE 262020.043
AT ITER 793 NEW BEST:: SOT 722530 SOS 480607 HAS SOPS 465099 HAS SOUS 263335 HAS SOUPS 261312 WITH SCORE 261792.607
AT ITER 797 NEW BEST:: SOT 723184 SOS 481678 HAS SOPS 466170 HAS SOUS 259593 HAS SOUPS 257570 WITH SCORE 258051.678
AT ITER 798 NEW BEST:: SOT 723167 SOS 481389 HAS SOPS 465971 HAS SOUS 259394 HAS SOUPS 257371 WITH SCORE 257852.389
AT ITER 801 NEW BEST:: SOT 721444 SOS 479674 HAS SOPS 464256 HAS SOUS 257679 HAS SOUPS 255656 WITH SCORE 256135.674
AT ITER 806 NEW BEST:: SOT 721561 SOS 479791 HAS SOPS 464373 HAS SOUS 257582 HAS SOUPS 255559 WITH SCORE 256038.791
AT ITER 814 NEW BEST:: SOT 721400 SOS 479614 HAS SOPS 464196 HAS SOUS 257379 HAS SOUPS 255356 WITH SCORE 255835.614
AT ITER 815 NEW BEST:: SOT 721358 SOS 479684 HAS SOPS 464266 HAS SOUS 257351 HAS SOUPS 255328 WITH SCORE 255807.684
AT ITER 817 NEW BEST:: SOT 721991 SOS 480219 HAS SOPS 464801 HAS SOUS 257138 HAS SOUPS 255115 WITH SCORE 255595.219
AT ITER 818 NEW BEST:: SOT 721657 SOS 479845 HAS SOPS 464528 HAS SOUS 256753 HAS SOUPS 254730 WITH SCORE 255209.845
AT ITER 843 NEW BEST:: SOT 721524 SOS 479712 HAS SOPS 464395 HAS SOUS 256627 HAS SOUPS 254604 WITH SCORE 255083.712
AT ITER 854 NEW BEST:: SOT 721524 SOS 479604 HAS SOPS 464287 HAS SOUS 256153 HAS SOUPS 254130 WITH SCORE 254609.604
AT ITER 863 NEW BEST:: SOT 721320 SOS 479400 HAS SOPS 464128 HAS SOUS 255910 HAS SOUPS 253887 WITH SCORE 254366.4
AT ITER 865 NEW BEST:: SOT 718992 SOS 480789 HAS SOPS 466335 HAS SOUS 254007 HAS SOUPS 252085 WITH SCORE 252565.789
AT ITER 867 NEW BEST:: SOT 719007 SOS 480765 HAS SOPS 466311 HAS SOUS 253929 HAS SOUPS 252007 WITH SCORE 252487.765
AT ITER 868 NEW BEST:: SOT 719007 SOS 480781 HAS SOPS 466327 HAS SOUS 253913 HAS SOUPS 251991 WITH SCORE 252471.781
AT ITER 869 NEW BEST:: SOT 719084 SOS 480858 HAS SOPS 466404 HAS SOUS 253911 HAS SOUPS 251989 WITH SCORE 252469.858
AT ITER 878 NEW BEST:: SOT 719035 SOS 480823 HAS SOPS 466369 HAS SOUS 253750 HAS SOUPS 251828 WITH SCORE 252308.823
AT ITER 883 NEW BEST:: SOT 718746 SOS 480690 HAS SOPS 466236 HAS SOUS 253670 HAS SOUPS 251748 WITH SCORE 252228.69
AT ITER 900 NEW BEST:: SOT 718932 SOS 480865 HAS SOPS 466411 HAS SOUS 252231 HAS SOUPS 250309 WITH SCORE 250789.865
AT ITER 903 NEW BEST:: SOT 718719 SOS 481797 HAS SOPS 467455 HAS SOUS 252062 HAS SOUPS 250154 WITH SCORE 250635.797
AT ITER 909 NEW BEST:: SOT 718400 SOS 484380 HAS SOPS 470286 HAS SOUS 251811 HAS SOUPS 249934 WITH SCORE 250418.38
AT ITER 911 NEW BEST:: SOT 718374 SOS 484509 HAS SOPS 470415 HAS SOUS 251759 HAS SOUPS 249882 WITH SCORE 250366.509
AT ITER 918 NEW BEST:: SOT 717910 SOS 483962 HAS SOPS 469868 HAS SOUS 251368 HAS SOUPS 249491 WITH SCORE 249974.962
AT ITER 928 NEW BEST:: SOT 717903 SOS 483955 HAS SOPS 469861 HAS SOUS 251361 HAS SOUPS 249484 WITH SCORE 249967.955
AT ITER 932 NEW BEST:: SOT 717899 SOS 483947 HAS SOPS 469853 HAS SOUS 251353 HAS SOUPS 249476 WITH SCORE 249959.947
AT ITER 941 NEW BEST:: SOT 717842 SOS 483948 HAS SOPS 469854 HAS SOUS 251295 HAS SOUPS 249418 WITH SCORE 249901.948
AT ITER 943 NEW BEST:: SOT 717842 SOS 472848 HAS SOPS 458754 HAS SOUS 251075 HAS SOUPS 249198 WITH SCORE 249670.848
AT ITER 946 NEW BEST:: SOT 718336 SOS 473848 HAS SOPS 459754 HAS SOUS 250935 HAS SOUPS 249058 WITH SCORE 249531.848
AT ITER 948 NEW BEST:: SOT 718158 SOS 473673 HAS SOPS 459579 HAS SOUS 250760 HAS SOUPS 248883 WITH SCORE 249356.673
AT ITER 949 NEW BEST:: SOT 718093 SOS 473608 HAS SOPS 459552 HAS SOUS 250721 HAS SOUPS 248844 WITH SCORE 249317.608
AT ITER 950 NEW BEST:: SOT 717981 SOS 473360 HAS SOPS 459304 HAS SOUS 250711 HAS SOUPS 248834 WITH SCORE 249307.36
AT ITER 959 NEW BEST:: SOT 717981 SOS 473237 HAS SOPS 459181 HAS SOUS 250588 HAS SOUPS 248711 WITH SCORE 249184.237
AT ITER 965 NEW BEST:: SOT 717347 SOS 472493 HAS SOPS 458437 HAS SOUS 250206 HAS SOUPS 248329 WITH SCORE 248801.493
AT ITER 969 NEW BEST:: SOT 717249 SOS 472330 HAS SOPS 458274 HAS SOUS 250151 HAS SOUPS 248274 WITH SCORE 248746.33
AT ITER 975 NEW BEST:: SOT 716926 SOS 472084 HAS SOPS 458093 HAS SOUS 249755 HAS SOUPS 247878 WITH SCORE 248350.084
AT ITER 992 NEW BEST:: SOT 717057 SOS 472144 HAS SOPS 458153 HAS SOUS 249662 HAS SOUPS 247785 WITH SCORE 248257.144
AT ITER 993 NEW BEST:: SOT 717002 SOS 472197 HAS SOPS 458206 HAS SOUS 249605 HAS SOUPS 247728 WITH SCORE 248200.197
AT ITER 994 NEW BEST:: SOT 717393 SOS 471377 HAS SOPS 457386 HAS SOUS 246272 HAS SOUPS 244395 WITH SCORE 244866.377
AT ITER 995 NEW BEST:: SOT 714340 SOS 468324 HAS SOPS 454333 HAS SOUS 243910 HAS SOUPS 242033 WITH SCORE 242501.324
AT ITER 999 NEW BEST:: SOT 714151 SOS 468198 HAS SOPS 454207 HAS SOUS 243698 HAS SOUPS 241821 WITH SCORE 242289.198
AT ITER 1001 NEW BEST:: SOT 714062 SOS 468000 HAS SOPS 454009 HAS SOUS 243229 HAS SOUPS 241352 WITH SCORE 241820.0
AT ITER 1005 NEW BEST:: SOT 713807 SOS 467867 HAS SOPS 453876 HAS SOUS 242722 HAS SOUPS 240845 WITH SCORE 241312.867
AT ITER 1010 NEW BEST:: SOT 713956 SOS 468026 HAS SOPS 454035 HAS SOUS 240275 HAS SOUPS 238398 WITH SCORE 238866.026
AT ITER 1023 NEW BEST:: SOT 714032 SOS 468271 HAS SOPS 454280 HAS SOUS 240151 HAS SOUPS 238274 WITH SCORE 238742.271
AT ITER 1035 NEW BEST:: SOT 713901 SOS 468039 HAS SOPS 454060 HAS SOUS 239919 HAS SOUPS 238042 WITH SCORE 238510.039
AT ITER 1047 NEW BEST:: SOT 713408 SOS 467546 HAS SOPS 453567 HAS SOUS 239716 HAS SOUPS 237839 WITH SCORE 238306.546
AT ITER 1048 NEW BEST:: SOT 713402 SOS 467540 HAS SOPS 453561 HAS SOUS 239710 HAS SOUPS 237833 WITH SCORE 238300.54
AT ITER 1062 NEW BEST:: SOT 713290 SOS 467485 HAS SOPS 453506 HAS SOUS 239649 HAS SOUPS 237772 WITH SCORE 238239.485
AT ITER 1068 NEW BEST:: SOT 713244 SOS 467258 HAS SOPS 453279 HAS SOUS 239422 HAS SOUPS 237545 WITH SCORE 238012.258
AT ITER 1069 NEW BEST:: SOT 713028 SOS 467042 HAS SOPS 453063 HAS SOUS 239237 HAS SOUPS 237360 WITH SCORE 237827.042
AT ITER 1081 NEW BEST:: SOT 713082 SOS 467160 HAS SOPS 453181 HAS SOUS 238943 HAS SOUPS 237066 WITH SCORE 237533.16
AT ITER 1094 NEW BEST:: SOT 712991 SOS 467102 HAS SOPS 453123 HAS SOUS 238885 HAS SOUPS 237008 WITH SCORE 237475.102
AT ITER 1099 NEW BEST:: SOT 713154 SOS 467265 HAS SOPS 453286 HAS SOUS 238806 HAS SOUPS 236929 WITH SCORE 237396.265
AT ITER 1103 NEW BEST:: SOT 712550 SOS 466747 HAS SOPS 452768 HAS SOUS 238450 HAS SOUPS 236573 WITH SCORE 237039.747
AT ITER 1115 NEW BEST:: SOT 712345 SOS 466722 HAS SOPS 452743 HAS SOUS 238382 HAS SOUPS 236505 WITH SCORE 236971.722
AT ITER 1116 NEW BEST:: SOT 712272 SOS 467066 HAS SOPS 453087 HAS SOUS 238326 HAS SOUPS 236449 WITH SCORE 236916.066
AT ITER 1120 NEW BEST:: SOT 712200 SOS 467054 HAS SOPS 453101 HAS SOUS 238186 HAS SOUPS 236309 WITH SCORE 236776.054
AT ITER 1132 NEW BEST:: SOT 712001 SOS 466858 HAS SOPS 452905 HAS SOUS 237990 HAS SOUPS 236113 WITH SCORE 236579.858
AT ITER 1136 NEW BEST:: SOT 712097 SOS 467196 HAS SOPS 453243 HAS SOUS 237891 HAS SOUPS 236014 WITH SCORE 236481.196
AT ITER 1139 NEW BEST:: SOT 712028 SOS 467128 HAS SOPS 453234 HAS SOUS 237845 HAS SOUPS 235968 WITH SCORE 236435.128
AT ITER 1146 NEW BEST:: SOT 711983 SOS 467083 HAS SOPS 453189 HAS SOUS 237746 HAS SOUPS 235869 WITH SCORE 236336.083
AT ITER 1151 NEW BEST:: SOT 711748 SOS 466739 HAS SOPS 452845 HAS SOUS 237589 HAS SOUPS 235712 WITH SCORE 236178.739
AT ITER 1153 NEW BEST:: SOT 711608 SOS 466599 HAS SOPS 452705 HAS SOUS 237390 HAS SOUPS 235513 WITH SCORE 235979.599
AT ITER 1164 NEW BEST:: SOT 711296 SOS 466402 HAS SOPS 452508 HAS SOUS 237139 HAS SOUPS 235262 WITH SCORE 235728.402
AT ITER 1173 NEW BEST:: SOT 711272 SOS 466378 HAS SOPS 452499 HAS SOUS 237121 HAS SOUPS 235244 WITH SCORE 235710.378
AT ITER 1176 NEW BEST:: SOT 711272 SOS 466378 HAS SOPS 452481 HAS SOUS 237119 HAS SOUPS 235236 WITH SCORE 235702.378
AT ITER 1183 NEW BEST:: SOT 710780 SOS 465886 HAS SOPS 451989 HAS SOUS 236627 HAS SOUPS 234744 WITH SCORE 235209.886
AT ITER 1185 NEW BEST:: SOT 710674 SOS 465715 HAS SOPS 451818 HAS SOUS 236422 HAS SOUPS 234539 WITH SCORE 235004.715
AT ITER 1186 NEW BEST:: SOT 710640 SOS 465629 HAS SOPS 451732 HAS SOUS 236354 HAS SOUPS 234471 WITH SCORE 234936.629
AT ITER 1210 NEW BEST:: SOT 710463 SOS 465279 HAS SOPS 451382 HAS SOUS 236127 HAS SOUPS 234244 WITH SCORE 234709.279
AT ITER 1212 NEW BEST:: SOT 710280 SOS 465084 HAS SOPS 451187 HAS SOUS 236032 HAS SOUPS 234149 WITH SCORE 234614.084
AT ITER 1219 NEW BEST:: SOT 710257 SOS 465061 HAS SOPS 451164 HAS SOUS 236015 HAS SOUPS 234132 WITH SCORE 234597.061
AT ITER 1224 NEW BEST:: SOT 710308 SOS 464289 HAS SOPS 450392 HAS SOUS 234642 HAS SOUPS 232759 WITH SCORE 233223.289
AT ITER 1231 NEW BEST:: SOT 710277 SOS 463231 HAS SOPS 449435 HAS SOUS 234513 HAS SOUPS 232630 WITH SCORE 233093.231
AT ITER 1243 NEW BEST:: SOT 710121 SOS 463175 HAS SOPS 449379 HAS SOUS 234454 HAS SOUPS 232571 WITH SCORE 233034.175
AT ITER 1249 NEW BEST:: SOT 710105 SOS 463159 HAS SOPS 449363 HAS SOUS 234422 HAS SOUPS 232539 WITH SCORE 233002.159
AT ITER 1262 NEW BEST:: SOT 709603 SOS 462768 HAS SOPS 448972 HAS SOUS 234210 HAS SOUPS 232327 WITH SCORE 232789.768
AT ITER 1274 NEW BEST:: SOT 709578 SOS 462549 HAS SOPS 448753 HAS SOUS 234159 HAS SOUPS 232276 WITH SCORE 232738.549
AT ITER 1282 NEW BEST:: SOT 709712 SOS 462606 HAS SOPS 448810 HAS SOUS 234119 HAS SOUPS 232236 WITH SCORE 232698.606
AT ITER 1283 NEW BEST:: SOT 709729 SOS 462923 HAS SOPS 449127 HAS SOUS 233815 HAS SOUPS 231932 WITH SCORE 232394.923
AT ITER 1293 NEW BEST:: SOT 709615 SOS 462809 HAS SOPS 449013 HAS SOUS 233739 HAS SOUPS 231856 WITH SCORE 232318.809
AT ITER 1297 NEW BEST:: SOT 710198 SOS 451058 HAS SOPS 437262 HAS SOUS 232504 HAS SOUPS 230621 WITH SCORE 231072.058
AT ITER 1302 NEW BEST:: SOT 710180 SOS 451049 HAS SOPS 437253 HAS SOUS 232477 HAS SOUPS 230594 WITH SCORE 231045.049
AT ITER 1304 NEW BEST:: SOT 710180 SOS 451049 HAS SOPS 437260 HAS SOUS 232463 HAS SOUPS 230580 WITH SCORE 231031.049
AT ITER 1326 NEW BEST:: SOT 709382 SOS 451861 HAS SOPS 438400 HAS SOUS 231730 HAS SOUPS 229929 WITH SCORE 230380.861
AT ITER 1327 NEW BEST:: SOT 709412 SOS 451874 HAS SOPS 438413 HAS SOUS 231567 HAS SOUPS 229766 WITH SCORE 230217.874
AT ITER 1328 NEW BEST:: SOT 709273 SOS 450404 HAS SOPS 436943 HAS SOUS 231289 HAS SOUPS 229488 WITH SCORE 229938.404
AT ITER 1338 NEW BEST:: SOT 709226 SOS 449887 HAS SOPS 436426 HAS SOUS 231148 HAS SOUPS 229347 WITH SCORE 229796.887
AT ITER 1343 NEW BEST:: SOT 709289 SOS 450039 HAS SOPS 436578 HAS SOUS 230994 HAS SOUPS 229193 WITH SCORE 229643.039
AT ITER 1354 NEW BEST:: SOT 709267 SOS 450017 HAS SOPS 436556 HAS SOUS 230903 HAS SOUPS 229102 WITH SCORE 229552.017
AT ITER 1359 NEW BEST:: SOT 709227 SOS 449675 HAS SOPS 436214 HAS SOUS 230557 HAS SOUPS 228756 WITH SCORE 229205.675
AT ITER 1392 NEW BEST:: SOT 709278 SOS 449837 HAS SOPS 436376 HAS SOUS 230548 HAS SOUPS 228747 WITH SCORE 229196.837
AT ITER 1393 NEW BEST:: SOT 709192 SOS 449202 HAS SOPS 435741 HAS SOUS 230512 HAS SOUPS 228711 WITH SCORE 229160.202
AT ITER 1394 NEW BEST:: SOT 709181 SOS 449202 HAS SOPS 435741 HAS SOUS 230468 HAS SOUPS 228667 WITH SCORE 229116.202
AT ITER 1396 NEW BEST:: SOT 709182 SOS 449203 HAS SOPS 435742 HAS SOUS 230461 HAS SOUPS 228660 WITH SCORE 229109.203
AT ITER 1405 NEW BEST:: SOT 709030 SOS 448861 HAS SOPS 435400 HAS SOUS 230167 HAS SOUPS 228366 WITH SCORE 228814.861
AT ITER 1410 NEW BEST:: SOT 709030 SOS 448804 HAS SOPS 435343 HAS SOUS 230167 HAS SOUPS 228366 WITH SCORE 228814.804
AT ITER 1412 NEW BEST:: SOT 708907 SOS 448785 HAS SOPS 435324 HAS SOUS 230081 HAS SOUPS 228280 WITH SCORE 228728.785
AT ITER 1420 NEW BEST:: SOT 709294 SOS 449228 HAS SOPS 435767 HAS SOUS 228586 HAS SOUPS 226785 WITH SCORE 227234.228
AT ITER 1427 NEW BEST:: SOT 709202 SOS 449051 HAS SOPS 435590 HAS SOUS 228414 HAS SOUPS 226613 WITH SCORE 227062.051
AT ITER 1438 NEW BEST:: SOT 709204 SOS 449053 HAS SOPS 435592 HAS SOUS 228285 HAS SOUPS 226484 WITH SCORE 226933.053
AT ITER 1442 NEW BEST:: SOT 709371 SOS 449560 HAS SOPS 436099 HAS SOUS 228179 HAS SOUPS 226378 WITH SCORE 226827.56
AT ITER 1443 NEW BEST:: SOT 708991 SOS 430883 HAS SOPS 421092 HAS SOUS 227509 HAS SOUPS 225941 WITH SCORE 226371.883
AT ITER 1444 NEW BEST:: SOT 708798 SOS 451304 HAS SOPS 442777 HAS SOUS 227316 HAS SOUPS 225906 WITH SCORE 226357.304
AT ITER 1445 NEW BEST:: SOT 708629 SOS 451075 HAS SOPS 442548 HAS SOUS 227129 HAS SOUPS 225719 WITH SCORE 226170.075
AT ITER 1452 NEW BEST:: SOT 707936 SOS 450373 HAS SOPS 441846 HAS SOUS 226690 HAS SOUPS 225280 WITH SCORE 225730.373
AT ITER 1455 NEW BEST:: SOT 708234 SOS 446951 HAS SOPS 438424 HAS SOUS 225241 HAS SOUPS 223831 WITH SCORE 224277.951
AT ITER 1460 NEW BEST:: SOT 707759 SOS 447973 HAS SOPS 439446 HAS SOUS 225067 HAS SOUPS 223657 WITH SCORE 224104.973
AT ITER 1461 NEW BEST:: SOT 707625 SOS 447890 HAS SOPS 439363 HAS SOUS 225019 HAS SOUPS 223609 WITH SCORE 224056.89
AT ITER 1487 NEW BEST:: SOT 707625 SOS 447813 HAS SOPS 439197 HAS SOUS 225004 HAS SOUPS 223526 WITH SCORE 223973.813
AT ITER 1491 NEW BEST:: SOT 707624 SOS 447811 HAS SOPS 439195 HAS SOUS 225001 HAS SOUPS 223523 WITH SCORE 223970.811
AT ITER 1512 NEW BEST:: SOT 707564 SOS 447712 HAS SOPS 439096 HAS SOUS 224998 HAS SOUPS 223520 WITH SCORE 223967.712
AT ITER 1515 NEW BEST:: SOT 707493 SOS 447602 HAS SOPS 438986 HAS SOUS 224952 HAS SOUPS 223474 WITH SCORE 223921.602
AT ITER 1520 NEW BEST:: SOT 707441 SOS 447489 HAS SOPS 438873 HAS SOUS 224827 HAS SOUPS 223349 WITH SCORE 223796.489
AT ITER 1544 NEW BEST:: SOT 707441 SOS 447481 HAS SOPS 438857 HAS SOUS 224819 HAS SOUPS 223341 WITH SCORE 223788.481
AT ITER 1563 NEW BEST:: SOT 707328 SOS 446614 HAS SOPS 437990 HAS SOUS 224056 HAS SOUPS 222578 WITH SCORE 223024.614
AT ITER 1574 NEW BEST:: SOT 707204 SOS 446490 HAS SOPS 437880 HAS SOUS 223900 HAS SOUPS 222422 WITH SCORE 222868.49
AT ITER 1578 NEW BEST:: SOT 707196 SOS 446404 HAS SOPS 437794 HAS SOUS 223814 HAS SOUPS 222336 WITH SCORE 222782.404
AT ITER 1585 NEW BEST:: SOT 706855 SOS 446230 HAS SOPS 437620 HAS SOUS 223466 HAS SOUPS 221988 WITH SCORE 222434.23
AT ITER 1588 NEW BEST:: SOT 707037 SOS 417699 HAS SOPS 409089 HAS SOUS 219667 HAS SOUPS 218189 WITH SCORE 218606.699
AT ITER 1593 NEW BEST:: SOT 707029 SOS 417606 HAS SOPS 408996 HAS SOUS 219662 HAS SOUPS 218184 WITH SCORE 218601.606
AT ITER 1603 NEW BEST:: SOT 707340 SOS 415641 HAS SOPS 407031 HAS SOUS 218130 HAS SOUPS 216652 WITH SCORE 217067.641
AT ITER 1612 NEW BEST:: SOT 707290 SOS 415612 HAS SOPS 407002 HAS SOUS 217968 HAS SOUPS 216490 WITH SCORE 216905.612
AT ITER 1620 NEW BEST:: SOT 707287 SOS 415609 HAS SOPS 406999 HAS SOUS 217962 HAS SOUPS 216484 WITH SCORE 216899.609
AT ITER 1624 NEW BEST:: SOT 707283 SOS 415605 HAS SOPS 406999 HAS SOUS 217962 HAS SOUPS 216484 WITH SCORE 216899.605
AT ITER 1626 NEW BEST:: SOT 707283 SOS 415585 HAS SOPS 406979 HAS SOUS 217962 HAS SOUPS 216484 WITH SCORE 216899.585
AT ITER 1665 NEW BEST:: SOT 707393 SOS 415694 HAS SOPS 407028 HAS SOUS 217930 HAS SOUPS 216452 WITH SCORE 216867.694
AT ITER 1700 NEW BEST:: SOT 707394 SOS 415623 HAS SOPS 407029 HAS SOUS 217778 HAS SOUPS 216300 WITH SCORE 216715.623
AT ITER 1701 NEW BEST:: SOT 707510 SOS 415791 HAS SOPS 407197 HAS SOUS 217704 HAS SOUPS 216226 WITH SCORE 216641.791
AT ITER 1707 NEW BEST:: SOT 707574 SOS 415248 HAS SOPS 406654 HAS SOUS 217559 HAS SOUPS 216081 WITH SCORE 216496.248
AT ITER 1708 NEW BEST:: SOT 707619 SOS 415293 HAS SOPS 406699 HAS SOUS 217552 HAS SOUPS 216074 WITH SCORE 216489.293
AT ITER 1712 NEW BEST:: SOT 707472 SOS 412586 HAS SOPS 403992 HAS SOUS 217480 HAS SOUPS 216002 WITH SCORE 216414.586
AT ITER 1740 NEW BEST:: SOT 707357 SOS 412586 HAS SOPS 403992 HAS SOUS 217250 HAS SOUPS 215772 WITH SCORE 216184.586
AT ITER 1749 NEW BEST:: SOT 707335 SOS 412564 HAS SOPS 404009 HAS SOUS 217120 HAS SOUPS 215642 WITH SCORE 216054.564
AT ITER 1750 NEW BEST:: SOT 707067 SOS 412296 HAS SOPS 403741 HAS SOUS 216852 HAS SOUPS 215374 WITH SCORE 215786.296
AT ITER 1765 NEW BEST:: SOT 706871 SOS 412664 HAS SOPS 404109 HAS SOUS 216682 HAS SOUPS 215204 WITH SCORE 215616.664
AT ITER 1779 NEW BEST:: SOT 706893 SOS 410066 HAS SOPS 401511 HAS SOUS 215655 HAS SOUPS 214177 WITH SCORE 214587.066
AT ITER 1788 NEW BEST:: SOT 706361 SOS 409602 HAS SOPS 401047 HAS SOUS 215114 HAS SOUPS 213636 WITH SCORE 214045.602
AT ITER 1789 NEW BEST:: SOT 706093 SOS 409452 HAS SOPS 400897 HAS SOUS 214872 HAS SOUPS 213394 WITH SCORE 213803.452
AT ITER 1793 NEW BEST:: SOT 706080 SOS 409457 HAS SOPS 400900 HAS SOUS 214862 HAS SOUPS 213384 WITH SCORE 213793.457
AT ITER 1831 NEW BEST:: SOT 706011 SOS 409388 HAS SOPS 400831 HAS SOUS 214701 HAS SOUPS 213223 WITH SCORE 213632.388
AT ITER 1843 NEW BEST:: SOT 705486 SOS 408979 HAS SOPS 400422 HAS SOUS 214117 HAS SOUPS 212639 WITH SCORE 213047.979
AT ITER 1847 NEW BEST:: SOT 705522 SOS 409099 HAS SOPS 400639 HAS SOUS 214042 HAS SOUPS 212564 WITH SCORE 212973.099
AT ITER 1862 NEW BEST:: SOT 705411 SOS 408988 HAS SOPS 400528 HAS SOUS 214000 HAS SOUPS 212522 WITH SCORE 212930.988
AT ITER 1887 NEW BEST:: SOT 705342 SOS 408815 HAS SOPS 400355 HAS SOUS 213914 HAS SOUPS 212436 WITH SCORE 212844.815
AT ITER 1889 NEW BEST:: SOT 704761 SOS 408170 HAS SOPS 399710 HAS SOUS 213647 HAS SOUPS 212169 WITH SCORE 212577.17
AT ITER 1892 NEW BEST:: SOT 705368 SOS 408229 HAS SOPS 399769 HAS SOUS 212944 HAS SOUPS 211466 WITH SCORE 211874.229
AT ITER 1894 NEW BEST:: SOT 705340 SOS 408187 HAS SOPS 399727 HAS SOUS 212916 HAS SOUPS 211438 WITH SCORE 211846.187
AT ITER 1900 NEW BEST:: SOT 705262 SOS 408175 HAS SOPS 399715 HAS SOUS 212832 HAS SOUPS 211354 WITH SCORE 211762.175
AT ITER 1913 NEW BEST:: SOT 705228 SOS 408087 HAS SOPS 399627 HAS SOUS 212791 HAS SOUPS 211313 WITH SCORE 211721.087
AT ITER 1926 NEW BEST:: SOT 704789 SOS 407704 HAS SOPS 399244 HAS SOUS 212111 HAS SOUPS 210633 WITH SCORE 211040.704
AT ITER 1931 NEW BEST:: SOT 704466 SOS 407381 HAS SOPS 398921 HAS SOUS 211782 HAS SOUPS 210304 WITH SCORE 210711.381
AT ITER 1933 NEW BEST:: SOT 701527 SOS 404442 HAS SOPS 395982 HAS SOUS 210889 HAS SOUPS 209411 WITH SCORE 209815.442
AT ITER 1934 NEW BEST:: SOT 701438 SOS 404353 HAS SOPS 395893 HAS SOUS 210821 HAS SOUPS 209343 WITH SCORE 209747.353
AT ITER 1935 NEW BEST:: SOT 701482 SOS 403042 HAS SOPS 394582 HAS SOUS 210622 HAS SOUPS 209144 WITH SCORE 209547.042
AT ITER 1939 NEW BEST:: SOT 701693 SOS 403144 HAS SOPS 394684 HAS SOUS 210617 HAS SOUPS 209139 WITH SCORE 209542.144
AT ITER 1955 NEW BEST:: SOT 701688 SOS 403139 HAS SOPS 394687 HAS SOUS 210591 HAS SOUPS 209113 WITH SCORE 209516.139
AT ITER 1972 NEW BEST:: SOT 701662 SOS 403129 HAS SOPS 394677 HAS SOUS 210553 HAS SOUPS 209075 WITH SCORE 209478.129
AT ITER 1978 NEW BEST:: SOT 702108 SOS 402209 HAS SOPS 393757 HAS SOUS 209262 HAS SOUPS 207784 WITH SCORE 208186.209
AT ITER 1981 NEW BEST:: SOT 702073 SOS 402209 HAS SOPS 393757 HAS SOUS 209192 HAS SOUPS 207714 WITH SCORE 208116.209
AT ITER 1984 NEW BEST:: SOT 702031 SOS 402167 HAS SOPS 393715 HAS SOUS 209096 HAS SOUPS 207618 WITH SCORE 208020.167
AT ITER 1987 NEW BEST:: SOT 702094 SOS 402116 HAS SOPS 393664 HAS SOUS 209074 HAS SOUPS 207596 WITH SCORE 207998.116
AT ITER 2009 NEW BEST:: SOT 702094 SOS 402116 HAS SOPS 393664 HAS SOUS 209034 HAS SOUPS 207556 WITH SCORE 207958.116
AT ITER 2017 NEW BEST:: SOT 702080 SOS 402116 HAS SOPS 393664 HAS SOUS 208999 HAS SOUPS 207521 WITH SCORE 207923.116
AT ITER 2019 NEW BEST:: SOT 702558 SOS 402460 HAS SOPS 394008 HAS SOUS 207435 HAS SOUPS 205957 WITH SCORE 206359.46
AT ITER 2021 NEW BEST:: SOT 702911 SOS 401903 HAS SOPS 393451 HAS SOUS 206345 HAS SOUPS 204867 WITH SCORE 205268.903
AT ITER 2037 NEW BEST:: SOT 702877 SOS 401759 HAS SOPS 393307 HAS SOUS 206277 HAS SOUPS 204799 WITH SCORE 205200.759
AT ITER 2055 NEW BEST:: SOT 702861 SOS 401814 HAS SOPS 393362 HAS SOUS 206077 HAS SOUPS 204599 WITH SCORE 205000.814
AT ITER 2063 NEW BEST:: SOT 702789 SOS 401742 HAS SOPS 393275 HAS SOUS 205933 HAS SOUPS 204455 WITH SCORE 204856.742
AT ITER 2071 NEW BEST:: SOT 702663 SOS 401673 HAS SOPS 393206 HAS SOUS 205804 HAS SOUPS 204326 WITH SCORE 204727.673
AT ITER 2079 NEW BEST:: SOT 702677 SOS 401733 HAS SOPS 393266 HAS SOUS 205630 HAS SOUPS 204152 WITH SCORE 204553.733
AT ITER 2081 NEW BEST:: SOT 702636 SOS 401884 HAS SOPS 393417 HAS SOUS 205205 HAS SOUPS 203727 WITH SCORE 204128.884
AT ITER 2098 NEW BEST:: SOT 702584 SOS 401780 HAS SOPS 393313 HAS SOUS 205129 HAS SOUPS 203651 WITH SCORE 204052.78
AT ITER 2101 NEW BEST:: SOT 702681 SOS 402030 HAS SOPS 393563 HAS SOUS 205085 HAS SOUPS 203607 WITH SCORE 204009.03
AT ITER 2112 NEW BEST:: SOT 702640 SOS 402071 HAS SOPS 393604 HAS SOUS 204880 HAS SOUPS 203402 WITH SCORE 203804.071
AT ITER 2128 NEW BEST:: SOT 702648 SOS 402046 HAS SOPS 393579 HAS SOUS 204848 HAS SOUPS 203370 WITH SCORE 203772.046
AT ITER 2145 NEW BEST:: SOT 702551 SOS 401949 HAS SOPS 393482 HAS SOUS 204613 HAS SOUPS 203135 WITH SCORE 203536.949
AT ITER 2149 NEW BEST:: SOT 702377 SOS 401601 HAS SOPS 393064 HAS SOUS 204370 HAS SOUPS 202892 WITH SCORE 203293.601
AT ITER 2151 NEW BEST:: SOT 702249 SOS 400438 HAS SOPS 392261 HAS SOUS 204204 HAS SOUPS 202771 WITH SCORE 203171.438
AT ITER 2153 NEW BEST:: SOT 702241 SOS 401164 HAS SOPS 392987 HAS SOUS 204160 HAS SOUPS 202727 WITH SCORE 203128.164
AT ITER 2176 NEW BEST:: SOT 702233 SOS 401120 HAS SOPS 392943 HAS SOUS 204144 HAS SOUPS 202711 WITH SCORE 203112.12
AT ITER 2183 NEW BEST:: SOT 702182 SOS 401061 HAS SOPS 392884 HAS SOUS 204066 HAS SOUPS 202633 WITH SCORE 203034.061
AT ITER 2192 NEW BEST:: SOT 702017 SOS 400816 HAS SOPS 392639 HAS SOUS 203664 HAS SOUPS 202231 WITH SCORE 202631.816
AT ITER 2208 NEW BEST:: SOT 702154 SOS 396375 HAS SOPS 388198 HAS SOUS 202520 HAS SOUPS 201087 WITH SCORE 201483.375
AT ITER 2214 NEW BEST:: SOT 702126 SOS 396347 HAS SOPS 388157 HAS SOUS 202464 HAS SOUPS 201024 WITH SCORE 201420.347
AT ITER 2220 NEW BEST:: SOT 701921 SOS 396074 HAS SOPS 387876 HAS SOUS 202247 HAS SOUPS 200807 WITH SCORE 201203.074
AT ITER 2269 NEW BEST:: SOT 701753 SOS 395861 HAS SOPS 387663 HAS SOUS 202014 HAS SOUPS 200574 WITH SCORE 200969.861
AT ITER 2273 NEW BEST:: SOT 701748 SOS 395856 HAS SOPS 387658 HAS SOUS 202004 HAS SOUPS 200564 WITH SCORE 200959.856
AT ITER 2276 NEW BEST:: SOT 701652 SOS 395802 HAS SOPS 387604 HAS SOUS 201970 HAS SOUPS 200530 WITH SCORE 200925.802
AT ITER 2296 NEW BEST:: SOT 701652 SOS 395802 HAS SOPS 387604 HAS SOUS 201922 HAS SOUPS 200482 WITH SCORE 200877.802
AT ITER 2300 NEW BEST:: SOT 701592 SOS 395282 HAS SOPS 387244 HAS SOUS 201862 HAS SOUPS 200442 WITH SCORE 200837.282
AT ITER 2331 NEW BEST:: SOT 701576 SOS 395546 HAS SOPS 387508 HAS SOUS 201830 HAS SOUPS 200410 WITH SCORE 200805.546
AT ITER 2335 NEW BEST:: SOT 701662 SOS 396177 HAS SOPS 388139 HAS SOUS 201711 HAS SOUPS 200291 WITH SCORE 200687.177
AT ITER 2365 NEW BEST:: SOT 701696 SOS 396173 HAS SOPS 388135 HAS SOUS 201665 HAS SOUPS 200245 WITH SCORE 200641.173
AT ITER 2373 NEW BEST:: SOT 701641 SOS 395999 HAS SOPS 387961 HAS SOUS 201570 HAS SOUPS 200150 WITH SCORE 200545.999
AT ITER 2401 NEW BEST:: SOT 701565 SOS 395885 HAS SOPS 387847 HAS SOUS 201494 HAS SOUPS 200074 WITH SCORE 200469.885
AT ITER 2402 NEW BEST:: SOT 701373 SOS 395501 HAS SOPS 387463 HAS SOUS 201410 HAS SOUPS 199990 WITH SCORE 200385.501
AT ITER 2405 NEW BEST:: SOT 701098 SOS 395209 HAS SOPS 387171 HAS SOUS 201312 HAS SOUPS 199892 WITH SCORE 200287.209
AT ITER 2407 NEW BEST:: SOT 701010 SOS 395208 HAS SOPS 387170 HAS SOUS 201136 HAS SOUPS 199716 WITH SCORE 200111.208
AT ITER 2415 NEW BEST:: SOT 700683 SOS 395016 HAS SOPS 386978 HAS SOUS 200929 HAS SOUPS 199509 WITH SCORE 199904.016
AT ITER 2418 NEW BEST:: SOT 700683 SOS 394982 HAS SOPS 386944 HAS SOUS 200929 HAS SOUPS 199509 WITH SCORE 199903.982
AT ITER 2420 NEW BEST:: SOT 700527 SOS 394548 HAS SOPS 386510 HAS SOUS 200535 HAS SOUPS 199115 WITH SCORE 199509.548
AT ITER 2428 NEW BEST:: SOT 701206 SOS 396686 HAS SOPS 388648 HAS SOUS 199863 HAS SOUPS 198443 WITH SCORE 198839.686
AT ITER 2433 NEW BEST:: SOT 701206 SOS 396686 HAS SOPS 388648 HAS SOUS 199847 HAS SOUPS 198427 WITH SCORE 198823.686
AT ITER 2437 NEW BEST:: SOT 701152 SOS 396567 HAS SOPS 388529 HAS SOUS 199728 HAS SOUPS 198308 WITH SCORE 198704.567
AT ITER 2438 NEW BEST:: SOT 701151 SOS 396520 HAS SOPS 388482 HAS SOUS 199640 HAS SOUPS 198220 WITH SCORE 198616.52
AT ITER 2441 NEW BEST:: SOT 701068 SOS 396271 HAS SOPS 388233 HAS SOUS 199391 HAS SOUPS 197971 WITH SCORE 198367.271
AT ITER 2445 NEW BEST:: SOT 700822 SOS 396106 HAS SOPS 388068 HAS SOUS 199117 HAS SOUPS 197697 WITH SCORE 198093.106
AT ITER 2452 NEW BEST:: SOT 700799 SOS 396083 HAS SOPS 388050 HAS SOUS 199099 HAS SOUPS 197679 WITH SCORE 198075.083
AT ITER 2480 NEW BEST:: SOT 700741 SOS 396025 HAS SOPS 387992 HAS SOUS 198925 HAS SOUPS 197505 WITH SCORE 197901.025
AT ITER 2496 NEW BEST:: SOT 700708 SOS 395527 HAS SOPS 387494 HAS SOUS 198923 HAS SOUPS 197503 WITH SCORE 197898.527
AT ITER 2504 NEW BEST:: SOT 700600 SOS 395419 HAS SOPS 387458 HAS SOUS 198923 HAS SOUPS 197503 WITH SCORE 197898.419
AT ITER 2525 NEW BEST:: SOT 700452 SOS 395224 HAS SOPS 387263 HAS SOUS 198901 HAS SOUPS 197481 WITH SCORE 197876.224
AT ITER 2533 NEW BEST:: SOT 700434 SOS 395206 HAS SOPS 387236 HAS SOUS 198865 HAS SOUPS 197445 WITH SCORE 197840.206
AT ITER 2552 NEW BEST:: SOT 700377 SOS 394913 HAS SOPS 386943 HAS SOUS 198795 HAS SOUPS 197375 WITH SCORE 197769.913
AT ITER 2553 NEW BEST:: SOT 700323 SOS 394859 HAS SOPS 386889 HAS SOUS 198794 HAS SOUPS 197374 WITH SCORE 197768.859
AT ITER 2555 NEW BEST:: SOT 700393 SOS 394929 HAS SOPS 386959 HAS SOUS 198481 HAS SOUPS 197061 WITH SCORE 197455.929
AT ITER 2562 NEW BEST:: SOT 700477 SOS 394820 HAS SOPS 386850 HAS SOUS 198433 HAS SOUPS 197013 WITH SCORE 197407.82
AT ITER 2564 NEW BEST:: SOT 700506 SOS 394695 HAS SOPS 386725 HAS SOUS 198265 HAS SOUPS 196845 WITH SCORE 197239.695
AT ITER 2578 NEW BEST:: SOT 700164 SOS 394353 HAS SOPS 386383 HAS SOUS 197923 HAS SOUPS 196503 WITH SCORE 196897.353
AT ITER 2580 NEW BEST:: SOT 700136 SOS 394290 HAS SOPS 386320 HAS SOUS 197867 HAS SOUPS 196447 WITH SCORE 196841.29
AT ITER 2592 NEW BEST:: SOT 699770 SOS 394052 HAS SOPS 386082 HAS SOUS 197560 HAS SOUPS 196140 WITH SCORE 196534.052
AT ITER 2607 NEW BEST:: SOT 701317 SOS 395554 HAS SOPS 387584 HAS SOUS 196637 HAS SOUPS 195217 WITH SCORE 195612.554
AT ITER 2611 NEW BEST:: SOT 701317 SOS 395514 HAS SOPS 387544 HAS SOUS 196637 HAS SOUPS 195217 WITH SCORE 195612.514
AT ITER 2630 NEW BEST:: SOT 701299 SOS 395502 HAS SOPS 387532 HAS SOUS 196619 HAS SOUPS 195199 WITH SCORE 195594.502
AT ITER 2643 NEW BEST:: SOT 701349 SOS 395552 HAS SOPS 387616 HAS SOUS 196567 HAS SOUPS 195147 WITH SCORE 195542.552
AT ITER 2650 NEW BEST:: SOT 701412 SOS 395497 HAS SOPS 387561 HAS SOUS 196337 HAS SOUPS 194917 WITH SCORE 195312.497
AT ITER 2661 NEW BEST:: SOT 701450 SOS 394056 HAS SOPS 386120 HAS SOUS 196327 HAS SOUPS 194907 WITH SCORE 195301.056
AT ITER 2665 NEW BEST:: SOT 700992 SOS 394831 HAS SOPS 386758 HAS SOUS 196228 HAS SOUPS 194755 WITH SCORE 195149.831
AT ITER 2668 NEW BEST:: SOT 700962 SOS 394893 HAS SOPS 386820 HAS SOUS 196169 HAS SOUPS 194696 WITH SCORE 195090.893
AT ITER 2683 NEW BEST:: SOT 701086 SOS 395017 HAS SOPS 386944 HAS SOUS 196127 HAS SOUPS 194654 WITH SCORE 195049.017
AT ITER 2691 NEW BEST:: SOT 701050 SOS 395059 HAS SOPS 387010 HAS SOUS 196061 HAS SOUPS 194588 WITH SCORE 194983.059
AT ITER 2698 NEW BEST:: SOT 701044 SOS 395057 HAS SOPS 387008 HAS SOUS 196055 HAS SOUPS 194582 WITH SCORE 194977.057
AT ITER 2701 NEW BEST:: SOT 701042 SOS 395074 HAS SOPS 387025 HAS SOUS 196051 HAS SOUPS 194578 WITH SCORE 194973.074
AT ITER 2706 NEW BEST:: SOT 701115 SOS 395420 HAS SOPS 387371 HAS SOUS 196006 HAS SOUPS 194533 WITH SCORE 194928.42
AT ITER 2709 NEW BEST:: SOT 701048 SOS 392185 HAS SOPS 384136 HAS SOUS 194633 HAS SOUPS 193160 WITH SCORE 193552.185
AT ITER 2714 NEW BEST:: SOT 700939 SOS 392076 HAS SOPS 384027 HAS SOUS 194256 HAS SOUPS 192783 WITH SCORE 193175.076
AT ITER 2760 NEW BEST:: SOT 700939 SOS 392104 HAS SOPS 384055 HAS SOUS 194214 HAS SOUPS 192741 WITH SCORE 193133.104
AT ITER 2765 NEW BEST:: SOT 700939 SOS 392104 HAS SOPS 384051 HAS SOUS 194206 HAS SOUPS 192733 WITH SCORE 193125.104
AT ITER 2766 NEW BEST:: SOT 701067 SOS 392483 HAS SOPS 384430 HAS SOUS 194150 HAS SOUPS 192677 WITH SCORE 193069.483
AT ITER 2771 NEW BEST:: SOT 701060 SOS 392476 HAS SOPS 384423 HAS SOUS 194136 HAS SOUPS 192663 WITH SCORE 193055.476
AT ITER 2778 NEW BEST:: SOT 701182 SOS 395096 HAS SOPS 386195 HAS SOUS 194168 HAS SOUPS 192589 WITH SCORE 192984.096
AT ITER 2779 NEW BEST:: SOT 701137 SOS 395188 HAS SOPS 386287 HAS SOUS 194109 HAS SOUPS 192530 WITH SCORE 192925.188
AT ITER 2787 NEW BEST:: SOT 701137 SOS 395203 HAS SOPS 386302 HAS SOUS 194094 HAS SOUPS 192515 WITH SCORE 192910.203
AT ITER 2793 NEW BEST:: SOT 701125 SOS 395191 HAS SOPS 386290 HAS SOUS 194078 HAS SOUPS 192499 WITH SCORE 192894.191
AT ITER 2795 NEW BEST:: SOT 701122 SOS 395188 HAS SOPS 386287 HAS SOUS 194078 HAS SOUPS 192499 WITH SCORE 192894.188
AT ITER 2797 NEW BEST:: SOT 701091 SOS 395157 HAS SOPS 386225 HAS SOUS 194016 HAS SOUPS 192437 WITH SCORE 192832.157
AT ITER 2812 NEW BEST:: SOT 703485 SOS 395725 HAS SOPS 386793 HAS SOUS 193584 HAS SOUPS 192005 WITH SCORE 192400.725
AT ITER 2814 NEW BEST:: SOT 703445 SOS 395695 HAS SOPS 386763 HAS SOUS 193544 HAS SOUPS 191965 WITH SCORE 192360.695
AT ITER 2824 NEW BEST:: SOT 703390 SOS 395817 HAS SOPS 386885 HAS SOUS 193344 HAS SOUPS 191765 WITH SCORE 192160.817
AT ITER 2836 NEW BEST:: SOT 703129 SOS 395764 HAS SOPS 386832 HAS SOUS 193263 HAS SOUPS 191684 WITH SCORE 192079.764
AT ITER 2853 NEW BEST:: SOT 702799 SOS 395368 HAS SOPS 386436 HAS SOUS 192867 HAS SOUPS 191288 WITH SCORE 191683.368
AT ITER 2857 NEW BEST:: SOT 702115 SOS 394684 HAS SOPS 385752 HAS SOUS 192183 HAS SOUPS 190604 WITH SCORE 190998.684
AT ITER 2861 NEW BEST:: SOT 702054 SOS 394623 HAS SOPS 385706 HAS SOUS 192029 HAS SOUPS 190450 WITH SCORE 190844.623
AT ITER 2865 NEW BEST:: SOT 701890 SOS 394327 HAS SOPS 385337 HAS SOUS 191786 HAS SOUPS 190207 WITH SCORE 190601.327
AT ITER 2867 NEW BEST:: SOT 701944 SOS 394345 HAS SOPS 385355 HAS SOUS 191714 HAS SOUPS 190135 WITH SCORE 190529.345
AT ITER 2870 NEW BEST:: SOT 701946 SOS 394349 HAS SOPS 385359 HAS SOUS 191691 HAS SOUPS 190112 WITH SCORE 190506.349
AT ITER 2882 NEW BEST:: SOT 701909 SOS 394312 HAS SOPS 385341 HAS SOUS 191650 HAS SOUPS 190071 WITH SCORE 190465.312
AT ITER 2886 NEW BEST:: SOT 701854 SOS 394119 HAS SOPS 385148 HAS SOUS 191555 HAS SOUPS 189976 WITH SCORE 190370.119
AT ITER 2889 NEW BEST:: SOT 701745 SOS 394061 HAS SOPS 385090 HAS SOUS 191547 HAS SOUPS 189968 WITH SCORE 190362.061
AT ITER 2891 NEW BEST:: SOT 701649 SOS 393965 HAS SOPS 384994 HAS SOUS 191273 HAS SOUPS 189694 WITH SCORE 190087.965
AT ITER 2894 NEW BEST:: SOT 701614 SOS 393965 HAS SOPS 384992 HAS SOUS 191236 HAS SOUPS 189657 WITH SCORE 190050.965
AT ITER 2903 NEW BEST:: SOT 701595 SOS 391934 HAS SOPS 382961 HAS SOUS 191198 HAS SOUPS 189619 WITH SCORE 190010.934
AT ITER 2912 NEW BEST:: SOT 701568 SOS 391863 HAS SOPS 382890 HAS SOUS 191171 HAS SOUPS 189592 WITH SCORE 189983.863
AT ITER 2914 NEW BEST:: SOT 701552 SOS 391835 HAS SOPS 382862 HAS SOUS 191151 HAS SOUPS 189572 WITH SCORE 189963.835
AT ITER 2950 NEW BEST:: SOT 701546 SOS 391829 HAS SOPS 382824 HAS SOUS 191139 HAS SOUPS 189560 WITH SCORE 189951.829
AT ITER 2958 NEW BEST:: SOT 701470 SOS 391715 HAS SOPS 382710 HAS SOUS 191063 HAS SOUPS 189484 WITH SCORE 189875.715
AT ITER 2971 NEW BEST:: SOT 701336 SOS 391581 HAS SOPS 382576 HAS SOUS 190935 HAS SOUPS 189356 WITH SCORE 189747.581
AT ITER 2979 NEW BEST:: SOT 701060 SOS 391394 HAS SOPS 382456 HAS SOUS 190732 HAS SOUPS 189153 WITH SCORE 189544.394
AT ITER 2981 NEW BEST:: SOT 700710 SOS 388362 HAS SOPS 380336 HAS SOUS 190210 HAS SOUPS 188745 WITH SCORE 189133.362
AT ITER 2984 NEW BEST:: SOT 700651 SOS 387978 HAS SOPS 380035 HAS SOUS 190188 HAS SOUPS 188723 WITH SCORE 189110.978
AT ITER 3002 NEW BEST:: SOT 700590 SOS 387917 HAS SOPS 379974 HAS SOUS 190066 HAS SOUPS 188601 WITH SCORE 188988.917
AT ITER 3009 NEW BEST:: SOT 700524 SOS 387764 HAS SOPS 379821 HAS SOUS 189979 HAS SOUPS 188514 WITH SCORE 188901.764
AT ITER 3012 NEW BEST:: SOT 700287 SOS 387056 HAS SOPS 379113 HAS SOUS 189906 HAS SOUPS 188441 WITH SCORE 188828.056
AT ITER 3017 NEW BEST:: SOT 700065 SOS 386908 HAS SOPS 379038 HAS SOUS 189875 HAS SOUPS 188410 WITH SCORE 188796.908
AT ITER 3036 NEW BEST:: SOT 700061 SOS 386904 HAS SOPS 379032 HAS SOUS 189869 HAS SOUPS 188404 WITH SCORE 188790.904
AT ITER 3063 NEW BEST:: SOT 700061 SOS 385219 HAS SOPS 377347 HAS SOUS 189836 HAS SOUPS 188371 WITH SCORE 188756.219
AT ITER 3065 NEW BEST:: SOT 700048 SOS 385130 HAS SOPS 377258 HAS SOUS 189725 HAS SOUPS 188260 WITH SCORE 188645.13
AT ITER 3067 NEW BEST:: SOT 699980 SOS 385160 HAS SOPS 377288 HAS SOUS 189709 HAS SOUPS 188244 WITH SCORE 188629.16
AT ITER 3080 NEW BEST:: SOT 699986 SOS 385160 HAS SOPS 377288 HAS SOUS 189703 HAS SOUPS 188238 WITH SCORE 188623.16
AT ITER 3084 NEW BEST:: SOT 699716 SOS 385086 HAS SOPS 377214 HAS SOUS 189684 HAS SOUPS 188219 WITH SCORE 188604.086
AT ITER 3093 NEW BEST:: SOT 699659 SOS 385219 HAS SOPS 377347 HAS SOUS 189648 HAS SOUPS 188183 WITH SCORE 188568.219
AT ITER 3100 NEW BEST:: SOT 700506 SOS 386026 HAS SOPS 378154 HAS SOUS 187778 HAS SOUPS 186313 WITH SCORE 186699.026
AT ITER 3110 NEW BEST:: SOT 700489 SOS 386009 HAS SOPS 378137 HAS SOUS 187744 HAS SOUPS 186279 WITH SCORE 186665.009
AT ITER 3119 NEW BEST:: SOT 700454 SOS 385974 HAS SOPS 378102 HAS SOUS 187709 HAS SOUPS 186244 WITH SCORE 186629.974
AT ITER 3127 NEW BEST:: SOT 700482 SOS 385490 HAS SOPS 377618 HAS SOUS 186986 HAS SOUPS 185521 WITH SCORE 185906.49
AT ITER 3131 NEW BEST:: SOT 700482 SOS 385537 HAS SOPS 377665 HAS SOUS 186093 HAS SOUPS 184628 WITH SCORE 185013.537
AT ITER 3138 NEW BEST:: SOT 700141 SOS 385272 HAS SOPS 377400 HAS SOUS 185747 HAS SOUPS 184282 WITH SCORE 184667.272
AT ITER 3142 NEW BEST:: SOT 700141 SOS 385288 HAS SOPS 377400 HAS SOUS 185745 HAS SOUPS 184278 WITH SCORE 184663.288
AT ITER 3145 NEW BEST:: SOT 700114 SOS 385233 HAS SOPS 377345 HAS SOUS 185691 HAS SOUPS 184224 WITH SCORE 184609.233
AT ITER 3156 NEW BEST:: SOT 699987 SOS 385063 HAS SOPS 377175 HAS SOUS 185609 HAS SOUPS 184142 WITH SCORE 184527.063
AT ITER 3159 NEW BEST:: SOT 699952 SOS 385020 HAS SOPS 377132 HAS SOUS 185539 HAS SOUPS 184072 WITH SCORE 184457.02
AT ITER 3164 NEW BEST:: SOT 699951 SOS 384970 HAS SOPS 377082 HAS SOUS 185488 HAS SOUPS 184021 WITH SCORE 184405.97
AT ITER 3165 NEW BEST:: SOT 699881 SOS 385028 HAS SOPS 377210 HAS SOUS 185412 HAS SOUPS 184015 WITH SCORE 184400.028
AT ITER 3222 NEW BEST:: SOT 699584 SOS 384731 HAS SOPS 376913 HAS SOUS 184925 HAS SOUPS 183528 WITH SCORE 183912.731
AT ITER 3227 NEW BEST:: SOT 699630 SOS 384780 HAS SOPS 376962 HAS SOUS 184877 HAS SOUPS 183480 WITH SCORE 183864.78
AT ITER 3249 NEW BEST:: SOT 699630 SOS 384784 HAS SOPS 376966 HAS SOUS 184873 HAS SOUPS 183476 WITH SCORE 183860.784
AT ITER 3252 NEW BEST:: SOT 699502 SOS 384656 HAS SOPS 376838 HAS SOUS 184684 HAS SOUPS 183287 WITH SCORE 183671.656
AT ITER 3266 NEW BEST:: SOT 699544 SOS 384667 HAS SOPS 376849 HAS SOUS 184608 HAS SOUPS 183211 WITH SCORE 183595.667
AT ITER 3290 NEW BEST:: SOT 699544 SOS 383614 HAS SOPS 375796 HAS SOUS 184458 HAS SOUPS 183061 WITH SCORE 183444.614
AT ITER 3292 NEW BEST:: SOT 699537 SOS 383600 HAS SOPS 375775 HAS SOUS 184437 HAS SOUPS 183040 WITH SCORE 183423.6
AT ITER 3297 NEW BEST:: SOT 699374 SOS 383455 HAS SOPS 375630 HAS SOUS 184292 HAS SOUPS 182895 WITH SCORE 183278.455
AT ITER 3298 NEW BEST:: SOT 699524 SOS 383639 HAS SOPS 375814 HAS SOUS 184275 HAS SOUPS 182878 WITH SCORE 183261.639
AT ITER 3315 NEW BEST:: SOT 699525 SOS 383667 HAS SOPS 375842 HAS SOUS 184227 HAS SOUPS 182830 WITH SCORE 183213.667
AT ITER 3334 NEW BEST:: SOT 699497 SOS 383625 HAS SOPS 375793 HAS SOUS 184185 HAS SOUPS 182788 WITH SCORE 183171.625
AT ITER 3350 NEW BEST:: SOT 699194 SOS 383546 HAS SOPS 375714 HAS SOUS 183925 HAS SOUPS 182528 WITH SCORE 182911.546
AT ITER 3384 NEW BEST:: SOT 699121 SOS 383569 HAS SOPS 375737 HAS SOUS 183717 HAS SOUPS 182320 WITH SCORE 182703.569
AT ITER 3388 NEW BEST:: SOT 700117 SOS 382941 HAS SOPS 375109 HAS SOUS 183207 HAS SOUPS 181810 WITH SCORE 182192.941
AT ITER 3395 NEW BEST:: SOT 699641 SOS 382465 HAS SOPS 374633 HAS SOUS 182731 HAS SOUPS 181334 WITH SCORE 181716.465
AT ITER 3400 NEW BEST:: SOT 699637 SOS 382461 HAS SOPS 374629 HAS SOUS 182714 HAS SOUPS 181317 WITH SCORE 181699.461
AT ITER 3403 NEW BEST:: SOT 699721 SOS 382545 HAS SOPS 374732 HAS SOUS 182701 HAS SOUPS 181304 WITH SCORE 181686.545
AT ITER 3413 NEW BEST:: SOT 699721 SOS 382518 HAS SOPS 374705 HAS SOUS 182593 HAS SOUPS 181196 WITH SCORE 181578.518
AT ITER 3419 NEW BEST:: SOT 699765 SOS 382562 HAS SOPS 374749 HAS SOUS 182568 HAS SOUPS 181171 WITH SCORE 181553.562
AT ITER 3420 NEW BEST:: SOT 699754 SOS 382551 HAS SOPS 374738 HAS SOUS 182546 HAS SOUPS 181149 WITH SCORE 181531.551
AT ITER 3434 NEW BEST:: SOT 699709 SOS 382506 HAS SOPS 374693 HAS SOUS 182382 HAS SOUPS 180985 WITH SCORE 181367.506
AT ITER 3483 NEW BEST:: SOT 699519 SOS 382453 HAS SOPS 374640 HAS SOUS 182023 HAS SOUPS 180626 WITH SCORE 181008.453
AT ITER 3500 NEW BEST:: SOT 699519 SOS 382413 HAS SOPS 374580 HAS SOUS 181983 HAS SOUPS 180586 WITH SCORE 180968.413
AT ITER 3527 NEW BEST:: SOT 699403 SOS 382420 HAS SOPS 374587 HAS SOUS 181965 HAS SOUPS 180568 WITH SCORE 180950.42
AT ITER 3559 NEW BEST:: SOT 699407 SOS 382723 HAS SOPS 374890 HAS SOUS 181933 HAS SOUPS 180536 WITH SCORE 180918.723
AT ITER 3562 NEW BEST:: SOT 699390 SOS 382690 HAS SOPS 374857 HAS SOUS 181899 HAS SOUPS 180502 WITH SCORE 180884.69
AT ITER 3564 NEW BEST:: SOT 699558 SOS 382858 HAS SOPS 375025 HAS SOUS 181667 HAS SOUPS 180270 WITH SCORE 180652.858
AT ITER 3585 NEW BEST:: SOT 699627 SOS 382866 HAS SOPS 374978 HAS SOUS 181599 HAS SOUPS 180202 WITH SCORE 180584.866
AT ITER 3591 NEW BEST:: SOT 699585 SOS 382639 HAS SOPS 374751 HAS SOUS 181487 HAS SOUPS 180090 WITH SCORE 180472.639
AT ITER 3616 NEW BEST:: SOT 699610 SOS 382606 HAS SOPS 374718 HAS SOUS 181460 HAS SOUPS 180063 WITH SCORE 180445.606
AT ITER 3618 NEW BEST:: SOT 699568 SOS 382581 HAS SOPS 374707 HAS SOUS 181430 HAS SOUPS 180033 WITH SCORE 180415.581
AT ITER 3639 NEW BEST:: SOT 699520 SOS 382437 HAS SOPS 374563 HAS SOUS 181334 HAS SOUPS 179937 WITH SCORE 180319.437
AT ITER 3720 NEW BEST:: SOT 699432 SOS 382319 HAS SOPS 374445 HAS SOUS 181158 HAS SOUPS 179761 WITH SCORE 180143.319
AT ITER 3721 NEW BEST:: SOT 699229 SOS 383493 HAS SOPS 375466 HAS SOUS 181182 HAS SOUPS 179747 WITH SCORE 180130.493
AT ITER 3753 NEW BEST:: SOT 699113 SOS 383463 HAS SOPS 375436 HAS SOUS 180861 HAS SOUPS 179426 WITH SCORE 179809.463
AT ITER 3755 NEW BEST:: SOT 699128 SOS 383474 HAS SOPS 375447 HAS SOUS 180793 HAS SOUPS 179358 WITH SCORE 179741.474
AT ITER 3772 NEW BEST:: SOT 698972 SOS 383317 HAS SOPS 375290 HAS SOUS 180702 HAS SOUPS 179267 WITH SCORE 179650.317
AT ITER 3777 NEW BEST:: SOT 698917 SOS 383284 HAS SOPS 375257 HAS SOUS 180658 HAS SOUPS 179223 WITH SCORE 179606.284
AT ITER 3780 NEW BEST:: SOT 698823 SOS 383190 HAS SOPS 375163 HAS SOUS 180470 HAS SOUPS 179035 WITH SCORE 179418.19
AT ITER 3787 NEW BEST:: SOT 698787 SOS 383164 HAS SOPS 375137 HAS SOUS 180424 HAS SOUPS 178989 WITH SCORE 179372.164
AT ITER 3813 NEW BEST:: SOT 698622 SOS 382999 HAS SOPS 374972 HAS SOUS 180076 HAS SOUPS 178641 WITH SCORE 179023.999
AT ITER 3815 NEW BEST:: SOT 698639 SOS 383016 HAS SOPS 374997 HAS SOUS 180072 HAS SOUPS 178637 WITH SCORE 179020.016
AT ITER 3827 NEW BEST:: SOT 698616 SOS 382993 HAS SOPS 374951 HAS SOUS 180026 HAS SOUPS 178591 WITH SCORE 178973.993
AT ITER 3848 NEW BEST:: SOT 698192 SOS 382408 HAS SOPS 374366 HAS SOUS 179550 HAS SOUPS 178115 WITH SCORE 178497.408
AT ITER 3892 NEW BEST:: SOT 697969 SOS 382212 HAS SOPS 374170 HAS SOUS 179212 HAS SOUPS 177777 WITH SCORE 178159.212
AT ITER 3925 NEW BEST:: SOT 698002 SOS 382431 HAS SOPS 374389 HAS SOUS 179036 HAS SOUPS 177601 WITH SCORE 177983.431
AT ITER 3928 NEW BEST:: SOT 698002 SOS 382431 HAS SOPS 374389 HAS SOUS 179012 HAS SOUPS 177577 WITH SCORE 177959.431
AT ITER 3929 NEW BEST:: SOT 698028 SOS 382501 HAS SOPS 374459 HAS SOUS 178995 HAS SOUPS 177560 WITH SCORE 177942.501
AT ITER 3947 NEW BEST:: SOT 697981 SOS 382454 HAS SOPS 374412 HAS SOUS 178901 HAS SOUPS 177466 WITH SCORE 177848.454
AT ITER 3951 NEW BEST:: SOT 698067 SOS 382501 HAS SOPS 374459 HAS SOUS 178805 HAS SOUPS 177370 WITH SCORE 177752.501
AT ITER 3980 NEW BEST:: SOT 698093 SOS 382460 HAS SOPS 374491 HAS SOUS 178784 HAS SOUPS 177349 WITH SCORE 177731.46
AT ITER 3983 NEW BEST:: SOT 698093 SOS 382484 HAS SOPS 374515 HAS SOUS 178777 HAS SOUPS 177342 WITH SCORE 177724.484
AT ITER 3988 NEW BEST:: SOT 698086 SOS 382477 HAS SOPS 374523 HAS SOUS 178763 HAS SOUPS 177328 WITH SCORE 177710.477
AT ITER 3994 NEW BEST:: SOT 698077 SOS 382459 HAS SOPS 374505 HAS SOUS 178754 HAS SOUPS 177319 WITH SCORE 177701.459
AT ITER 4023 NEW BEST:: SOT 698029 SOS 379971 HAS SOPS 372017 HAS SOUS 178585 HAS SOUPS 177150 WITH SCORE 177529.971
AT ITER 4025 NEW BEST:: SOT 698023 SOS 379923 HAS SOPS 371969 HAS SOUS 178579 HAS SOUPS 177144 WITH SCORE 177523.923
AT ITER 4033 NEW BEST:: SOT 697868 SOS 379766 HAS SOPS 371837 HAS SOUS 178542 HAS SOUPS 177107 WITH SCORE 177486.766
AT ITER 4045 NEW BEST:: SOT 697842 SOS 379741 HAS SOPS 371912 HAS SOUS 178490 HAS SOUPS 177055 WITH SCORE 177434.741
AT ITER 4061 NEW BEST:: SOT 697796 SOS 379695 HAS SOPS 371866 HAS SOUS 178444 HAS SOUPS 177009 WITH SCORE 177388.695
AT ITER 4113 NEW BEST:: SOT 697601 SOS 379423 HAS SOPS 371594 HAS SOUS 178336 HAS SOUPS 176901 WITH SCORE 177280.423
AT ITER 4149 NEW BEST:: SOT 697517 SOS 379129 HAS SOPS 371300 HAS SOUS 178210 HAS SOUPS 176775 WITH SCORE 177154.129
AT ITER 4176 NEW BEST:: SOT 697396 SOS 378895 HAS SOPS 371130 HAS SOUS 178085 HAS SOUPS 176650 WITH SCORE 177028.895
AT ITER 4177 NEW BEST:: SOT 697376 SOS 378871 HAS SOPS 371106 HAS SOUS 178057 HAS SOUPS 176622 WITH SCORE 177000.871
AT ITER 4205 NEW BEST:: SOT 697376 SOS 378836 HAS SOPS 371071 HAS SOUS 178057 HAS SOUPS 176622 WITH SCORE 177000.836
AT ITER 4212 NEW BEST:: SOT 697240 SOS 378602 HAS SOPS 370837 HAS SOUS 177904 HAS SOUPS 176469 WITH SCORE 176847.602
AT ITER 4236 NEW BEST:: SOT 697037 SOS 378626 HAS SOPS 370861 HAS SOUS 177783 HAS SOUPS 176348 WITH SCORE 176726.626
AT ITER 4267 NEW BEST:: SOT 697004 SOS 378593 HAS SOPS 370828 HAS SOUS 177739 HAS SOUPS 176304 WITH SCORE 176682.593
AT ITER 4268 NEW BEST:: SOT 696892 SOS 378481 HAS SOPS 370716 HAS SOUS 177627 HAS SOUPS 176192 WITH SCORE 176570.481
AT ITER 4290 NEW BEST:: SOT 696967 SOS 378556 HAS SOPS 370791 HAS SOUS 177569 HAS SOUPS 176134 WITH SCORE 176512.556
AT ITER 4305 NEW BEST:: SOT 696978 SOS 378567 HAS SOPS 370802 HAS SOUS 177566 HAS SOUPS 176131 WITH SCORE 176509.567
AT ITER 4311 NEW BEST:: SOT 697003 SOS 378730 HAS SOPS 370965 HAS SOUS 177478 HAS SOUPS 176043 WITH SCORE 176421.73
AT ITER 4332 NEW BEST:: SOT 697014 SOS 378741 HAS SOPS 370976 HAS SOUS 177425 HAS SOUPS 175990 WITH SCORE 176368.741
AT ITER 4338 NEW BEST:: SOT 696986 SOS 378706 HAS SOPS 370941 HAS SOUS 177390 HAS SOUPS 175955 WITH SCORE 176333.706
AT ITER 4350 NEW BEST:: SOT 695769 SOS 377489 HAS SOPS 369724 HAS SOUS 177157 HAS SOUPS 175722 WITH SCORE 176099.489
AT ITER 4359 NEW BEST:: SOT 695799 SOS 377519 HAS SOPS 369754 HAS SOUS 177147 HAS SOUPS 175712 WITH SCORE 176089.519
AT ITER 4360 NEW BEST:: SOT 695687 SOS 377408 HAS SOPS 369643 HAS SOUS 176799 HAS SOUPS 175364 WITH SCORE 175741.408
AT ITER 4371 NEW BEST:: SOT 695693 SOS 377359 HAS SOPS 369560 HAS SOUS 176789 HAS SOUPS 175336 WITH SCORE 175713.359
AT ITER 4381 NEW BEST:: SOT 695680 SOS 377346 HAS SOPS 369547 HAS SOUS 176709 HAS SOUPS 175256 WITH SCORE 175633.346
AT ITER 4387 NEW BEST:: SOT 695757 SOS 377501 HAS SOPS 369702 HAS SOUS 176655 HAS SOUPS 175202 WITH SCORE 175579.501
AT ITER 4389 NEW BEST:: SOT 695710 SOS 377345 HAS SOPS 369546 HAS SOUS 176632 HAS SOUPS 175179 WITH SCORE 175556.345
AT ITER 4396 NEW BEST:: SOT 695723 SOS 377386 HAS SOPS 369587 HAS SOUS 176607 HAS SOUPS 175154 WITH SCORE 175531.386
AT ITER 4397 NEW BEST:: SOT 695704 SOS 377428 HAS SOPS 369629 HAS SOUS 176569 HAS SOUPS 175116 WITH SCORE 175493.428
AT ITER 4464 NEW BEST:: SOT 695424 SOS 377148 HAS SOPS 369349 HAS SOUS 176220 HAS SOUPS 174767 WITH SCORE 175144.148
AT ITER 4472 NEW BEST:: SOT 695435 SOS 377153 HAS SOPS 369354 HAS SOUS 176205 HAS SOUPS 174752 WITH SCORE 175129.153
AT ITER 4477 NEW BEST:: SOT 695389 SOS 377010 HAS SOPS 369211 HAS SOUS 176001 HAS SOUPS 174548 WITH SCORE 174925.01
AT ITER 4478 NEW BEST:: SOT 695966 SOS 381630 HAS SOPS 373831 HAS SOUS 175382 HAS SOUPS 173929 WITH SCORE 174310.63
AT ITER 4494 NEW BEST:: SOT 695894 SOS 381596 HAS SOPS 373797 HAS SOUS 175338 HAS SOUPS 173885 WITH SCORE 174266.596
AT ITER 4504 NEW BEST:: SOT 695652 SOS 381310 HAS SOPS 373511 HAS SOUS 175149 HAS SOUPS 173696 WITH SCORE 174077.31
AT ITER 4534 NEW BEST:: SOT 695652 SOS 381270 HAS SOPS 373471 HAS SOUS 175136 HAS SOUPS 173683 WITH SCORE 174064.27
AT ITER 4538 NEW BEST:: SOT 695726 SOS 381353 HAS SOPS 373554 HAS SOUS 174569 HAS SOUPS 173116 WITH SCORE 173497.353
AT ITER 4542 NEW BEST:: SOT 695725 SOS 381354 HAS SOPS 373555 HAS SOUS 174568 HAS SOUPS 173115 WITH SCORE 173496.354
AT ITER 4554 NEW BEST:: SOT 695659 SOS 381368 HAS SOPS 373569 HAS SOUS 174502 HAS SOUPS 173049 WITH SCORE 173430.368
AT ITER 4566 NEW BEST:: SOT 695539 SOS 381248 HAS SOPS 373449 HAS SOUS 173975 HAS SOUPS 172522 WITH SCORE 172903.248
AT ITER 4573 NEW BEST:: SOT 695538 SOS 381247 HAS SOPS 373470 HAS SOUS 173891 HAS SOUPS 172438 WITH SCORE 172819.247
AT ITER 4611 NEW BEST:: SOT 695261 SOS 380970 HAS SOPS 373193 HAS SOUS 173634 HAS SOUPS 172181 WITH SCORE 172561.97
AT ITER 4639 NEW BEST:: SOT 695234 SOS 373523 HAS SOPS 365746 HAS SOUS 173475 HAS SOUPS 172022 WITH SCORE 172395.523
AT ITER 4651 NEW BEST:: SOT 695234 SOS 373521 HAS SOPS 365745 HAS SOUS 173472 HAS SOUPS 172019 WITH SCORE 172392.521
AT ITER 4668 NEW BEST:: SOT 695194 SOS 373415 HAS SOPS 365639 HAS SOUS 173457 HAS SOUPS 172004 WITH SCORE 172377.415
AT ITER 4684 NEW BEST:: SOT 695154 SOS 373346 HAS SOPS 365570 HAS SOUS 173452 HAS SOUPS 171999 WITH SCORE 172372.346
AT ITER 4688 NEW BEST:: SOT 694866 SOS 373362 HAS SOPS 365586 HAS SOUS 173366 HAS SOUPS 171913 WITH SCORE 172286.362
AT ITER 4702 NEW BEST:: SOT 694857 SOS 373344 HAS SOPS 365568 HAS SOUS 173348 HAS SOUPS 171895 WITH SCORE 172268.344
AT ITER 4725 NEW BEST:: SOT 694537 SOS 373024 HAS SOPS 365248 HAS SOUS 173342 HAS SOUPS 171889 WITH SCORE 172262.024
AT ITER 4748 NEW BEST:: SOT 694435 SOS 372922 HAS SOPS 365146 HAS SOUS 173266 HAS SOUPS 171813 WITH SCORE 172185.922
AT ITER 4750 NEW BEST:: SOT 694402 SOS 372889 HAS SOPS 365113 HAS SOUS 173197 HAS SOUPS 171744 WITH SCORE 172116.889
AT ITER 4752 NEW BEST:: SOT 694314 SOS 372801 HAS SOPS 365025 HAS SOUS 173021 HAS SOUPS 171568 WITH SCORE 171940.801
AT ITER 4755 NEW BEST:: SOT 694314 SOS 372779 HAS SOPS 365003 HAS SOUS 173021 HAS SOUPS 171568 WITH SCORE 171940.779
AT ITER 4790 NEW BEST:: SOT 694313 SOS 372779 HAS SOPS 365003 HAS SOUS 173020 HAS SOUPS 171567 WITH SCORE 171939.779
AT ITER 4813 NEW BEST:: SOT 694297 SOS 372763 HAS SOPS 364987 HAS SOUS 173016 HAS SOUPS 171563 WITH SCORE 171935.763
AT ITER 4814 NEW BEST:: SOT 694290 SOS 372759 HAS SOPS 364983 HAS SOUS 173011 HAS SOUPS 171558 WITH SCORE 171930.759
AT ITER 4819 NEW BEST:: SOT 694284 SOS 372753 HAS SOPS 365062 HAS SOUS 172988 HAS SOUPS 171535 WITH SCORE 171907.753
AT ITER 4839 NEW BEST:: SOT 694354 SOS 372813 HAS SOPS 365122 HAS SOUS 172968 HAS SOUPS 171515 WITH SCORE 171887.813
AT ITER 4872 NEW BEST:: SOT 694358 SOS 372813 HAS SOPS 365122 HAS SOUS 172960 HAS SOUPS 171507 WITH SCORE 171879.813
AT ITER 4907 NEW BEST:: SOT 694328 SOS 372783 HAS SOPS 365092 HAS SOUS 172900 HAS SOUPS 171447 WITH SCORE 171819.783
AT ITER 4913 NEW BEST:: SOT 694352 SOS 371391 HAS SOPS 363700 HAS SOUS 172900 HAS SOUPS 171447 WITH SCORE 171818.391
AT ITER 4928 NEW BEST:: SOT 694321 SOS 371362 HAS SOPS 363686 HAS SOUS 172886 HAS SOUPS 171433 WITH SCORE 171804.362
AT ITER 4962 NEW BEST:: SOT 694232 SOS 371273 HAS SOPS 363597 HAS SOUS 172775 HAS SOUPS 171322 WITH SCORE 171693.273
AT ITER 4970 NEW BEST:: SOT 694138 SOS 371248 HAS SOPS 363572 HAS SOUS 172587 HAS SOUPS 171134 WITH SCORE 171505.248
AT ITER 4993 NEW BEST:: SOT 694036 SOS 371248 HAS SOPS 363470 HAS SOUS 172485 HAS SOUPS 171032 WITH SCORE 171403.248
AT ITER 5039 NEW BEST:: SOT 694094 SOS 371414 HAS SOPS 363636 HAS SOUS 172466 HAS SOUPS 171013 WITH SCORE 171384.414
AT ITER 5058 NEW BEST:: SOT 693973 SOS 371293 HAS SOPS 363515 HAS SOUS 172268 HAS SOUPS 170815 WITH SCORE 171186.293
AT ITER 5068 NEW BEST:: SOT 693976 SOS 371228 HAS SOPS 363379 HAS SOUS 172203 HAS SOUPS 170750 WITH SCORE 171121.228
AT ITER 5080 NEW BEST:: SOT 693967 SOS 371315 HAS SOPS 363466 HAS SOUS 171518 HAS SOUPS 170065 WITH SCORE 170436.315
AT ITER 5082 NEW BEST:: SOT 693908 SOS 371315 HAS SOPS 363525 HAS SOUS 171459 HAS SOUPS 170006 WITH SCORE 170377.315
AT ITER 5084 NEW BEST:: SOT 693826 SOS 371233 HAS SOPS 363443 HAS SOUS 171427 HAS SOUPS 169974 WITH SCORE 170345.233
AT ITER 5093 NEW BEST:: SOT 693880 SOS 371190 HAS SOPS 363400 HAS SOUS 171402 HAS SOUPS 169949 WITH SCORE 170320.19
AT ITER 5156 NEW BEST:: SOT 693830 SOS 371180 HAS SOPS 363390 HAS SOUS 171392 HAS SOUPS 169939 WITH SCORE 170310.18
AT ITER 5177 NEW BEST:: SOT 693967 SOS 371550 HAS SOPS 363760 HAS SOUS 171189 HAS SOUPS 169736 WITH SCORE 170107.55
AT ITER 5180 NEW BEST:: SOT 693919 SOS 371502 HAS SOPS 363712 HAS SOUS 171031 HAS SOUPS 169578 WITH SCORE 169949.502
AT ITER 5193 NEW BEST:: SOT 693910 SOS 371493 HAS SOPS 363714 HAS SOUS 171024 HAS SOUPS 169571 WITH SCORE 169942.493
AT ITER 5203 NEW BEST:: SOT 693467 SOS 371036 HAS SOPS 363257 HAS SOUS 170473 HAS SOUPS 169020 WITH SCORE 169391.036
AT ITER 5215 NEW BEST:: SOT 693259 SOS 370562 HAS SOPS 362783 HAS SOUS 170347 HAS SOUPS 168894 WITH SCORE 169264.562
AT ITER 5217 NEW BEST:: SOT 693266 SOS 370569 HAS SOPS 362790 HAS SOUS 170340 HAS SOUPS 168887 WITH SCORE 169257.569
AT ITER 5223 NEW BEST:: SOT 693137 SOS 370400 HAS SOPS 362621 HAS SOUS 170171 HAS SOUPS 168718 WITH SCORE 169088.4
AT ITER 5227 NEW BEST:: SOT 693111 SOS 370374 HAS SOPS 362595 HAS SOUS 170145 HAS SOUPS 168692 WITH SCORE 169062.374
AT ITER 5243 NEW BEST:: SOT 693081 SOS 370314 HAS SOPS 362480 HAS SOUS 170128 HAS SOUPS 168675 WITH SCORE 169045.314
AT ITER 5245 NEW BEST:: SOT 693068 SOS 363988 HAS SOPS 356154 HAS SOUS 169985 HAS SOUPS 168532 WITH SCORE 168895.988
AT ITER 5252 NEW BEST:: SOT 693078 SOS 363992 HAS SOPS 356158 HAS SOUS 169981 HAS SOUPS 168528 WITH SCORE 168891.992
AT ITER 5254 NEW BEST:: SOT 693077 SOS 363990 HAS SOPS 356156 HAS SOUS 169979 HAS SOUPS 168526 WITH SCORE 168889.99
AT ITER 5267 NEW BEST:: SOT 693069 SOS 363996 HAS SOPS 356162 HAS SOUS 169963 HAS SOUPS 168510 WITH SCORE 168873.996
AT ITER 5284 NEW BEST:: SOT 693034 SOS 363990 HAS SOPS 356156 HAS SOUS 169850 HAS SOUPS 168397 WITH SCORE 168760.99
AT ITER 5300 NEW BEST:: SOT 692996 SOS 363978 HAS SOPS 356144 HAS SOUS 169826 HAS SOUPS 168373 WITH SCORE 168736.978
AT ITER 5353 NEW BEST:: SOT 692996 SOS 363952 HAS SOPS 356118 HAS SOUS 169800 HAS SOUPS 168347 WITH SCORE 168710.952
AT ITER 5360 NEW BEST:: SOT 692954 SOS 363882 HAS SOPS 356034 HAS SOUS 169730 HAS SOUPS 168277 WITH SCORE 168640.882
AT ITER 5368 NEW BEST:: SOT 692951 SOS 363879 HAS SOPS 356031 HAS SOUS 169727 HAS SOUPS 168274 WITH SCORE 168637.879
AT ITER 5369 NEW BEST:: SOT 692951 SOS 363840 HAS SOPS 355992 HAS SOUS 169727 HAS SOUPS 168274 WITH SCORE 168637.84
AT ITER 5389 NEW BEST:: SOT 692968 SOS 363734 HAS SOPS 355886 HAS SOUS 169569 HAS SOUPS 168116 WITH SCORE 168479.734
AT ITER 5394 NEW BEST:: SOT 692964 SOS 363534 HAS SOPS 355686 HAS SOUS 169557 HAS SOUPS 168104 WITH SCORE 168467.534
AT ITER 5399 NEW BEST:: SOT 692963 SOS 363530 HAS SOPS 355682 HAS SOUS 169557 HAS SOUPS 168104 WITH SCORE 168467.53
AT ITER 5445 NEW BEST:: SOT 692862 SOS 364383 HAS SOPS 356434 HAS SOUS 169530 HAS SOUPS 168062 WITH SCORE 168426.383
AT ITER 5448 NEW BEST:: SOT 692747 SOS 363980 HAS SOPS 356031 HAS SOUS 169433 HAS SOUPS 167965 WITH SCORE 168328.98
AT ITER 5453 NEW BEST:: SOT 692735 SOS 363968 HAS SOPS 356019 HAS SOUS 169421 HAS SOUPS 167953 WITH SCORE 168316.968
AT ITER 5455 NEW BEST:: SOT 692728 SOS 363958 HAS SOPS 356009 HAS SOUS 169413 HAS SOUPS 167945 WITH SCORE 168308.958
AT ITER 5459 NEW BEST:: SOT 692706 SOS 363936 HAS SOPS 355987 HAS SOUS 169389 HAS SOUPS 167921 WITH SCORE 168284.936
AT ITER 5464 NEW BEST:: SOT 692710 SOS 363891 HAS SOPS 355942 HAS SOUS 169291 HAS SOUPS 167823 WITH SCORE 168186.891
AT ITER 5478 NEW BEST:: SOT 692680 SOS 363876 HAS SOPS 355927 HAS SOUS 169276 HAS SOUPS 167808 WITH SCORE 168171.876
AT ITER 5486 NEW BEST:: SOT 692620 SOS 363816 HAS SOPS 355867 HAS SOUS 169255 HAS SOUPS 167787 WITH SCORE 168150.816
AT ITER 5495 NEW BEST:: SOT 692592 SOS 363801 HAS SOPS 355852 HAS SOUS 169227 HAS SOUPS 167759 WITH SCORE 168122.801
AT ITER 5512 NEW BEST:: SOT 692386 SOS 363715 HAS SOPS 355766 HAS SOUS 169221 HAS SOUPS 167753 WITH SCORE 168116.715
AT ITER 5532 NEW BEST:: SOT 692246 SOS 363575 HAS SOPS 355626 HAS SOUS 169072 HAS SOUPS 167604 WITH SCORE 167967.575
AT ITER 5543 NEW BEST:: SOT 692239 SOS 363618 HAS SOPS 355669 HAS SOUS 168995 HAS SOUPS 167527 WITH SCORE 167890.618
AT ITER 5547 NEW BEST:: SOT 692019 SOS 363043 HAS SOPS 355094 HAS SOUS 168698 HAS SOUPS 167230 WITH SCORE 167593.043
AT ITER 5566 NEW BEST:: SOT 692002 SOS 362953 HAS SOPS 355004 HAS SOUS 168683 HAS SOUPS 167215 WITH SCORE 167577.953
AT ITER 5574 NEW BEST:: SOT 692048 SOS 358651 HAS SOPS 350702 HAS SOUS 168628 HAS SOUPS 167160 WITH SCORE 167518.651
AT ITER 5590 NEW BEST:: SOT 692376 SOS 358989 HAS SOPS 351040 HAS SOUS 168250 HAS SOUPS 166782 WITH SCORE 167140.989
AT ITER 5601 NEW BEST:: SOT 692743 SOS 359240 HAS SOPS 351291 HAS SOUS 168190 HAS SOUPS 166722 WITH SCORE 167081.24
AT ITER 5606 NEW BEST:: SOT 692971 SOS 359697 HAS SOPS 351748 HAS SOUS 168004 HAS SOUPS 166536 WITH SCORE 166895.697
AT ITER 5635 NEW BEST:: SOT 692960 SOS 365237 HAS SOPS 357288 HAS SOUS 167885 HAS SOUPS 166417 WITH SCORE 166782.237
AT ITER 5648 NEW BEST:: SOT 692939 SOS 365254 HAS SOPS 357305 HAS SOUS 167864 HAS SOUPS 166396 WITH SCORE 166761.254
AT ITER 5654 NEW BEST:: SOT 692915 SOS 365230 HAS SOPS 357338 HAS SOUS 167803 HAS SOUPS 166338 WITH SCORE 166703.23
AT ITER 5658 NEW BEST:: SOT 692923 SOS 365238 HAS SOPS 357293 HAS SOUS 167689 HAS SOUPS 166224 WITH SCORE 166589.238
AT ITER 5671 NEW BEST:: SOT 692827 SOS 365093 HAS SOPS 357148 HAS SOUS 167594 HAS SOUPS 166129 WITH SCORE 166494.093
AT ITER 5680 NEW BEST:: SOT 692799 SOS 365009 HAS SOPS 357064 HAS SOUS 167594 HAS SOUPS 166129 WITH SCORE 166494.009
AT ITER 5684 NEW BEST:: SOT 692711 SOS 365045 HAS SOPS 357100 HAS SOUS 167576 HAS SOUPS 166111 WITH SCORE 166476.045
AT ITER 5695 NEW BEST:: SOT 692643 SOS 364977 HAS SOPS 357032 HAS SOUS 167508 HAS SOUPS 166043 WITH SCORE 166407.977
AT ITER 5704 NEW BEST:: SOT 692493 SOS 364840 HAS SOPS 356895 HAS SOUS 166913 HAS SOUPS 165448 WITH SCORE 165812.84
AT ITER 5715 NEW BEST:: SOT 692448 SOS 364750 HAS SOPS 356805 HAS SOUS 166823 HAS SOUPS 165358 WITH SCORE 165722.75
AT ITER 5722 NEW BEST:: SOT 692433 SOS 363270 HAS SOPS 355325 HAS SOUS 166770 HAS SOUPS 165305 WITH SCORE 165668.27
AT ITER 5726 NEW BEST:: SOT 692465 SOS 363266 HAS SOPS 355321 HAS SOUS 166654 HAS SOUPS 165189 WITH SCORE 165552.266
AT ITER 5733 NEW BEST:: SOT 692470 SOS 363271 HAS SOPS 355326 HAS SOUS 166647 HAS SOUPS 165182 WITH SCORE 165545.271
AT ITER 5734 NEW BEST:: SOT 692453 SOS 363186 HAS SOPS 355198 HAS SOUS 166543 HAS SOUPS 165078 WITH SCORE 165441.186
AT ITER 5744 NEW BEST:: SOT 692451 SOS 363184 HAS SOPS 355196 HAS SOUS 166539 HAS SOUPS 165074 WITH SCORE 165437.184
AT ITER 5750 NEW BEST:: SOT 692387 SOS 363113 HAS SOPS 355061 HAS SOUS 166468 HAS SOUPS 165003 WITH SCORE 165366.113
AT ITER 5764 NEW BEST:: SOT 692359 SOS 363071 HAS SOPS 355023 HAS SOUS 166368 HAS SOUPS 164903 WITH SCORE 165266.071
AT ITER 5773 NEW BEST:: SOT 692044 SOS 362944 HAS SOPS 354896 HAS SOUS 166115 HAS SOUPS 164650 WITH SCORE 165012.944
AT ITER 5777 NEW BEST:: SOT 692020 SOS 362956 HAS SOPS 354908 HAS SOUS 165958 HAS SOUPS 164493 WITH SCORE 164855.956
AT ITER 5778 NEW BEST:: SOT 691994 SOS 362930 HAS SOPS 354882 HAS SOUS 165944 HAS SOUPS 164479 WITH SCORE 164841.93
AT ITER 5788 NEW BEST:: SOT 691982 SOS 362918 HAS SOPS 354870 HAS SOUS 165918 HAS SOUPS 164453 WITH SCORE 164815.918
AT ITER 5789 NEW BEST:: SOT 691999 SOS 362935 HAS SOPS 354813 HAS SOUS 165751 HAS SOUPS 164286 WITH SCORE 164648.935
AT ITER 5801 NEW BEST:: SOT 691995 SOS 362419 HAS SOPS 354212 HAS SOUS 165547 HAS SOUPS 164082 WITH SCORE 164444.419
AT ITER 5822 NEW BEST:: SOT 691931 SOS 362355 HAS SOPS 354148 HAS SOUS 165483 HAS SOUPS 164018 WITH SCORE 164380.355
AT ITER 5828 NEW BEST:: SOT 691997 SOS 362421 HAS SOPS 354214 HAS SOUS 165408 HAS SOUPS 163943 WITH SCORE 164305.421
AT ITER 5845 NEW BEST:: SOT 692010 SOS 362447 HAS SOPS 354240 HAS SOUS 165403 HAS SOUPS 163938 WITH SCORE 164300.447
AT ITER 5848 NEW BEST:: SOT 692003 SOS 362461 HAS SOPS 354254 HAS SOUS 165375 HAS SOUPS 163910 WITH SCORE 164272.461
AT ITER 5850 NEW BEST:: SOT 691979 SOS 362437 HAS SOPS 354230 HAS SOUS 165345 HAS SOUPS 163880 WITH SCORE 164242.437
AT ITER 5857 NEW BEST:: SOT 691920 SOS 362339 HAS SOPS 354132 HAS SOUS 165266 HAS SOUPS 163801 WITH SCORE 164163.339
AT ITER 5858 NEW BEST:: SOT 691335 SOS 361625 HAS SOPS 353418 HAS SOUS 164566 HAS SOUPS 163101 WITH SCORE 163462.625
AT ITER 5864 NEW BEST:: SOT 691327 SOS 361617 HAS SOPS 353410 HAS SOUS 164538 HAS SOUPS 163073 WITH SCORE 163434.617
AT ITER 5870 NEW BEST:: SOT 691223 SOS 361552 HAS SOPS 353345 HAS SOUS 164451 HAS SOUPS 162986 WITH SCORE 163347.552
AT ITER 5892 NEW BEST:: SOT 690992 SOS 361496 HAS SOPS 353289 HAS SOUS 164282 HAS SOUPS 162817 WITH SCORE 163178.496
AT ITER 5896 NEW BEST:: SOT 690953 SOS 361457 HAS SOPS 353250 HAS SOUS 164223 HAS SOUPS 162758 WITH SCORE 163119.457
AT ITER 5903 NEW BEST:: SOT 691089 SOS 361697 HAS SOPS 353490 HAS SOUS 163641 HAS SOUPS 162176 WITH SCORE 162537.697
AT ITER 5912 NEW BEST:: SOT 690838 SOS 361446 HAS SOPS 353239 HAS SOUS 163390 HAS SOUPS 161925 WITH SCORE 162286.446
AT ITER 5923 NEW BEST:: SOT 690837 SOS 361445 HAS SOPS 353238 HAS SOUS 163389 HAS SOUPS 161924 WITH SCORE 162285.445
AT ITER 5926 NEW BEST:: SOT 690822 SOS 361415 HAS SOPS 353208 HAS SOUS 163359 HAS SOUPS 161894 WITH SCORE 162255.415
AT ITER 5935 NEW BEST:: SOT 690822 SOS 361364 HAS SOPS 353157 HAS SOUS 163359 HAS SOUPS 161894 WITH SCORE 162255.364
AT ITER 5947 NEW BEST:: SOT 690822 SOS 361369 HAS SOPS 353162 HAS SOUS 163339 HAS SOUPS 161874 WITH SCORE 162235.369
AT ITER 5957 NEW BEST:: SOT 690828 SOS 358746 HAS SOPS 349547 HAS SOUS 163448 HAS SOUPS 161859 WITH SCORE 162217.746
AT ITER 5966 NEW BEST:: SOT 690790 SOS 358708 HAS SOPS 349424 HAS SOUS 163440 HAS SOUPS 161851 WITH SCORE 162209.708
AT ITER 5985 NEW BEST:: SOT 690831 SOS 358872 HAS SOPS 349588 HAS SOUS 163399 HAS SOUPS 161810 WITH SCORE 162168.872
AT ITER 6060 NEW BEST:: SOT 690821 SOS 358852 HAS SOPS 349568 HAS SOUS 163379 HAS SOUPS 161790 WITH SCORE 162148.852
AT ITER 6071 NEW BEST:: SOT 690645 SOS 357751 HAS SOPS 348467 HAS SOUS 162980 HAS SOUPS 161391 WITH SCORE 161748.751
AT ITER 6076 NEW BEST:: SOT 690645 SOS 357722 HAS SOPS 348438 HAS SOUS 162980 HAS SOUPS 161391 WITH SCORE 161748.722
AT ITER 6097 NEW BEST:: SOT 690434 SOS 357409 HAS SOPS 348125 HAS SOUS 162739 HAS SOUPS 161150 WITH SCORE 161507.409
AT ITER 6099 NEW BEST:: SOT 690406 SOS 357493 HAS SOPS 348209 HAS SOUS 162683 HAS SOUPS 161094 WITH SCORE 161451.493
AT ITER 6111 NEW BEST:: SOT 689414 SOS 353802 HAS SOPS 345510 HAS SOUS 161443 HAS SOUPS 159978 WITH SCORE 160331.802
AT ITER 6113 NEW BEST:: SOT 689376 SOS 353764 HAS SOPS 345508 HAS SOUS 161405 HAS SOUPS 159976 WITH SCORE 160329.764
AT ITER 6147 NEW BEST:: SOT 689354 SOS 353742 HAS SOPS 345435 HAS SOUS 161361 HAS SOUPS 159932 WITH SCORE 160285.742
AT ITER 6160 NEW BEST:: SOT 689342 SOS 353695 HAS SOPS 345388 HAS SOUS 161297 HAS SOUPS 159868 WITH SCORE 160221.695
AT ITER 6161 NEW BEST:: SOT 689340 SOS 353693 HAS SOPS 345386 HAS SOUS 161295 HAS SOUPS 159866 WITH SCORE 160219.693
AT ITER 6186 NEW BEST:: SOT 689133 SOS 353552 HAS SOPS 345245 HAS SOUS 160881 HAS SOUPS 159452 WITH SCORE 159805.552
AT ITER 6204 NEW BEST:: SOT 688915 SOS 353332 HAS SOPS 345025 HAS SOUS 160880 HAS SOUPS 159451 WITH SCORE 159804.332
AT ITER 6209 NEW BEST:: SOT 688921 SOS 353338 HAS SOPS 345031 HAS SOUS 160830 HAS SOUPS 159401 WITH SCORE 159754.338
AT ITER 6220 NEW BEST:: SOT 688948 SOS 353365 HAS SOPS 345058 HAS SOUS 160822 HAS SOUPS 159393 WITH SCORE 159746.365
AT ITER 6255 NEW BEST:: SOT 688926 SOS 353308 HAS SOPS 345001 HAS SOUS 160742 HAS SOUPS 159313 WITH SCORE 159666.308
AT ITER 6283 NEW BEST:: SOT 688776 SOS 353158 HAS SOPS 344851 HAS SOUS 160478 HAS SOUPS 159049 WITH SCORE 159402.158
AT ITER 6286 NEW BEST:: SOT 688776 SOS 353089 HAS SOPS 344782 HAS SOUS 160478 HAS SOUPS 159049 WITH SCORE 159402.089
AT ITER 6346 NEW BEST:: SOT 688758 SOS 353071 HAS SOPS 344764 HAS SOUS 160458 HAS SOUPS 159029 WITH SCORE 159382.071
AT ITER 6352 NEW BEST:: SOT 688765 SOS 353078 HAS SOPS 344771 HAS SOUS 160423 HAS SOUPS 158994 WITH SCORE 159347.078
AT ITER 6356 NEW BEST:: SOT 688765 SOS 352956 HAS SOPS 344649 HAS SOUS 160423 HAS SOUPS 158994 WITH SCORE 159346.956
AT ITER 6363 NEW BEST:: SOT 689485 SOS 353811 HAS SOPS 345504 HAS SOUS 159412 HAS SOUPS 157983 WITH SCORE 158336.811
AT ITER 6371 NEW BEST:: SOT 689350 SOS 348535 HAS SOPS 341975 HAS SOUS 158736 HAS SOUPS 157442 WITH SCORE 157790.535
AT ITER 6374 NEW BEST:: SOT 689350 SOS 348497 HAS SOPS 341937 HAS SOUS 158698 HAS SOUPS 157404 WITH SCORE 157752.497
AT ITER 6399 NEW BEST:: SOT 689350 SOS 348497 HAS SOPS 341937 HAS SOUS 158685 HAS SOUPS 157391 WITH SCORE 157739.497
AT ITER 6417 NEW BEST:: SOT 689320 SOS 348467 HAS SOPS 341894 HAS SOUS 158625 HAS SOUPS 157331 WITH SCORE 157679.467
AT ITER 6418 NEW BEST:: SOT 689270 SOS 348453 HAS SOPS 341880 HAS SOUS 158617 HAS SOUPS 157323 WITH SCORE 157671.453
AT ITER 6470 NEW BEST:: SOT 689242 SOS 348386 HAS SOPS 341813 HAS SOUS 158561 HAS SOUPS 157267 WITH SCORE 157615.386
AT ITER 6500 NEW BEST:: SOT 689146 SOS 347114 HAS SOPS 340541 HAS SOUS 158441 HAS SOUPS 157147 WITH SCORE 157494.114
AT ITER 6509 NEW BEST:: SOT 689200 SOS 347222 HAS SOPS 340649 HAS SOUS 158344 HAS SOUPS 157050 WITH SCORE 157397.222
AT ITER 6512 NEW BEST:: SOT 689067 SOS 347089 HAS SOPS 340516 HAS SOUS 158238 HAS SOUPS 156944 WITH SCORE 157291.089
AT ITER 6532 NEW BEST:: SOT 689051 SOS 347342 HAS SOPS 340769 HAS SOUS 158206 HAS SOUPS 156912 WITH SCORE 157259.342
AT ITER 6535 NEW BEST:: SOT 689033 SOS 347324 HAS SOPS 340751 HAS SOUS 158188 HAS SOUPS 156894 WITH SCORE 157241.324
AT ITER 6554 NEW BEST:: SOT 689001 SOS 347303 HAS SOPS 340730 HAS SOUS 158167 HAS SOUPS 156873 WITH SCORE 157220.303
AT ITER 6556 NEW BEST:: SOT 689767 SOS 347719 HAS SOPS 341146 HAS SOUS 156988 HAS SOUPS 155694 WITH SCORE 156041.719
AT ITER 6559 NEW BEST:: SOT 689758 SOS 347701 HAS SOPS 341128 HAS SOUS 156970 HAS SOUPS 155676 WITH SCORE 156023.701
AT ITER 6603 NEW BEST:: SOT 689713 SOS 347482 HAS SOPS 340909 HAS SOUS 156880 HAS SOUPS 155586 WITH SCORE 155933.482
AT ITER 6618 NEW BEST:: SOT 689535 SOS 347333 HAS SOPS 340760 HAS SOUS 156665 HAS SOUPS 155371 WITH SCORE 155718.333
AT ITER 6631 NEW BEST:: SOT 689535 SOS 347333 HAS SOPS 340760 HAS SOUS 156653 HAS SOUPS 155359 WITH SCORE 155706.333
AT ITER 6636 NEW BEST:: SOT 689606 SOS 347364 HAS SOPS 340734 HAS SOUS 156569 HAS SOUPS 155275 WITH SCORE 155622.364
AT ITER 6637 NEW BEST:: SOT 689638 SOS 347396 HAS SOPS 340766 HAS SOUS 156498 HAS SOUPS 155204 WITH SCORE 155551.396
AT ITER 6646 NEW BEST:: SOT 689657 SOS 347415 HAS SOPS 340768 HAS SOUS 156471 HAS SOUPS 155177 WITH SCORE 155524.415
AT ITER 6654 NEW BEST:: SOT 689400 SOS 346915 HAS SOPS 340268 HAS SOUS 156445 HAS SOUPS 155151 WITH SCORE 155497.915
AT ITER 6670 NEW BEST:: SOT 689391 SOS 346906 HAS SOPS 340268 HAS SOUS 156427 HAS SOUPS 155133 WITH SCORE 155479.906
AT ITER 6676 NEW BEST:: SOT 689190 SOS 349775 HAS SOPS 343137 HAS SOUS 156395 HAS SOUPS 155101 WITH SCORE 155450.775
AT ITER 6686 NEW BEST:: SOT 688805 SOS 349835 HAS SOPS 343197 HAS SOUS 156121 HAS SOUPS 154827 WITH SCORE 155176.835
AT ITER 6701 NEW BEST:: SOT 688786 SOS 349816 HAS SOPS 343178 HAS SOUS 156054 HAS SOUPS 154760 WITH SCORE 155109.816
AT ITER 6709 NEW BEST:: SOT 688662 SOS 349715 HAS SOPS 343077 HAS SOUS 156038 HAS SOUPS 154744 WITH SCORE 155093.715
AT ITER 6716 NEW BEST:: SOT 688659 SOS 349709 HAS SOPS 343071 HAS SOUS 156029 HAS SOUPS 154735 WITH SCORE 155084.709
AT ITER 6734 NEW BEST:: SOT 688659 SOS 353099 HAS SOPS 346461 HAS SOUS 156013 HAS SOUPS 154719 WITH SCORE 155072.099
AT ITER 6737 NEW BEST:: SOT 688674 SOS 353101 HAS SOPS 346463 HAS SOUS 156009 HAS SOUPS 154715 WITH SCORE 155068.101
AT ITER 6738 NEW BEST:: SOT 688626 SOS 353053 HAS SOPS 346415 HAS SOUS 155913 HAS SOUPS 154619 WITH SCORE 154972.053
AT ITER 6741 NEW BEST:: SOT 688602 SOS 353021 HAS SOPS 346383 HAS SOUS 155889 HAS SOUPS 154595 WITH SCORE 154948.021
AT ITER 6770 NEW BEST:: SOT 688383 SOS 352833 HAS SOPS 346195 HAS SOUS 155639 HAS SOUPS 154345 WITH SCORE 154697.833
AT ITER 6771 NEW BEST:: SOT 688408 SOS 352850 HAS SOPS 346212 HAS SOUS 155608 HAS SOUPS 154314 WITH SCORE 154666.85
AT ITER 6773 NEW BEST:: SOT 688405 SOS 352847 HAS SOPS 346209 HAS SOUS 155605 HAS SOUPS 154311 WITH SCORE 154663.847
AT ITER 6778 NEW BEST:: SOT 688176 SOS 352692 HAS SOPS 346054 HAS SOUS 155389 HAS SOUPS 154095 WITH SCORE 154447.692
AT ITER 6854 NEW BEST:: SOT 688171 SOS 352687 HAS SOPS 346049 HAS SOUS 155377 HAS SOUPS 154083 WITH SCORE 154435.687
AT ITER 6856 NEW BEST:: SOT 688039 SOS 352372 HAS SOPS 345734 HAS SOUS 155284 HAS SOUPS 153990 WITH SCORE 154342.372
AT ITER 6864 NEW BEST:: SOT 688200 SOS 352535 HAS SOPS 345897 HAS SOUS 154305 HAS SOUPS 153011 WITH SCORE 153363.535
AT ITER 6910 NEW BEST:: SOT 688194 SOS 352529 HAS SOPS 345891 HAS SOUS 154305 HAS SOUPS 153011 WITH SCORE 153363.529
AT ITER 6915 NEW BEST:: SOT 688115 SOS 352380 HAS SOPS 345742 HAS SOUS 154285 HAS SOUPS 152991 WITH SCORE 153343.38
AT ITER 6942 NEW BEST:: SOT 688115 SOS 352380 HAS SOPS 345742 HAS SOUS 154269 HAS SOUPS 152975 WITH SCORE 153327.38
AT ITER 6950 NEW BEST:: SOT 688115 SOS 352396 HAS SOPS 345758 HAS SOUS 154261 HAS SOUPS 152967 WITH SCORE 153319.396
AT ITER 6951 NEW BEST:: SOT 688189 SOS 352406 HAS SOPS 345751 HAS SOUS 154212 HAS SOUPS 152918 WITH SCORE 153270.406
AT ITER 6955 NEW BEST:: SOT 688189 SOS 352406 HAS SOPS 345751 HAS SOUS 154202 HAS SOUPS 152908 WITH SCORE 153260.406
AT ITER 6956 NEW BEST:: SOT 688234 SOS 352392 HAS SOPS 345737 HAS SOUS 154188 HAS SOUPS 152894 WITH SCORE 153246.392
AT ITER 6960 NEW BEST:: SOT 688234 SOS 352385 HAS SOPS 345730 HAS SOUS 154188 HAS SOUPS 152894 WITH SCORE 153246.385
AT ITER 6992 NEW BEST:: SOT 688197 SOS 351265 HAS SOPS 344610 HAS SOUS 154129 HAS SOUPS 152835 WITH SCORE 153186.265
AT ITER 7050 NEW BEST:: SOT 688170 SOS 351238 HAS SOPS 344583 HAS SOUS 154113 HAS SOUPS 152819 WITH SCORE 153170.238
AT ITER 7059 NEW BEST:: SOT 687185 SOS 351643 HAS SOPS 344988 HAS SOUS 154013 HAS SOUPS 152719 WITH SCORE 153070.643
AT ITER 7064 NEW BEST:: SOT 687270 SOS 351728 HAS SOPS 345073 HAS SOUS 154001 HAS SOUPS 152707 WITH SCORE 153058.728
AT ITER 7100 NEW BEST:: SOT 687207 SOS 351665 HAS SOPS 345010 HAS SOUS 153826 HAS SOUPS 152532 WITH SCORE 152883.665
AT ITER 7104 NEW BEST:: SOT 687177 SOS 351635 HAS SOPS 344980 HAS SOUS 153790 HAS SOUPS 152496 WITH SCORE 152847.635
AT ITER 7114 NEW BEST:: SOT 687121 SOS 351582 HAS SOPS 344927 HAS SOUS 153678 HAS SOUPS 152384 WITH SCORE 152735.582
AT ITER 7116 NEW BEST:: SOT 687074 SOS 351316 HAS SOPS 344661 HAS SOUS 153581 HAS SOUPS 152287 WITH SCORE 152638.316
AT ITER 7148 NEW BEST:: SOT 687068 SOS 351310 HAS SOPS 344649 HAS SOUS 153569 HAS SOUPS 152275 WITH SCORE 152626.31
AT ITER 7189 NEW BEST:: SOT 687067 SOS 351310 HAS SOPS 344649 HAS SOUS 153567 HAS SOUPS 152273 WITH SCORE 152624.31
AT ITER 7199 NEW BEST:: SOT 687067 SOS 351322 HAS SOPS 344661 HAS SOUS 153555 HAS SOUPS 152261 WITH SCORE 152612.322
AT ITER 7205 NEW BEST:: SOT 686994 SOS 351249 HAS SOPS 344588 HAS SOUS 153449 HAS SOUPS 152155 WITH SCORE 152506.249
AT ITER 7206 NEW BEST:: SOT 687039 SOS 351339 HAS SOPS 344678 HAS SOUS 152859 HAS SOUPS 151565 WITH SCORE 151916.339
AT ITER 7217 NEW BEST:: SOT 687286 SOS 351586 HAS SOPS 344925 HAS SOUS 152251 HAS SOUPS 150957 WITH SCORE 151308.586
AT ITER 7220 NEW BEST:: SOT 687249 SOS 351508 HAS SOPS 344900 HAS SOUS 152238 HAS SOUPS 150944 WITH SCORE 151295.508
AT ITER 7228 NEW BEST:: SOT 687143 SOS 351392 HAS SOPS 344784 HAS SOUS 152026 HAS SOUPS 150732 WITH SCORE 151083.392
AT ITER 7250 NEW BEST:: SOT 687060 SOS 351353 HAS SOPS 344745 HAS SOUS 151912 HAS SOUPS 150618 WITH SCORE 150969.353
AT ITER 7256 NEW BEST:: SOT 686852 SOS 351007 HAS SOPS 344399 HAS SOUS 151870 HAS SOUPS 150576 WITH SCORE 150927.007
AT ITER 7268 NEW BEST:: SOT 687034 SOS 350987 HAS SOPS 344379 HAS SOUS 151815 HAS SOUPS 150521 WITH SCORE 150871.987
AT ITER 7284 NEW BEST:: SOT 686403 SOS 350245 HAS SOPS 343637 HAS SOUS 151029 HAS SOUPS 149735 WITH SCORE 150085.245
AT ITER 7297 NEW BEST:: SOT 686403 SOS 350241 HAS SOPS 343633 HAS SOUS 151029 HAS SOUPS 149735 WITH SCORE 150085.241
AT ITER 7302 NEW BEST:: SOT 686403 SOS 350186 HAS SOPS 343578 HAS SOUS 151029 HAS SOUPS 149735 WITH SCORE 150085.186
AT ITER 7311 NEW BEST:: SOT 686403 SOS 350181 HAS SOPS 343568 HAS SOUS 151029 HAS SOUPS 149735 WITH SCORE 150085.181
AT ITER 7336 NEW BEST:: SOT 686380 SOS 350158 HAS SOPS 343545 HAS SOUS 150998 HAS SOUPS 149704 WITH SCORE 150054.158
AT ITER 7339 NEW BEST:: SOT 686380 SOS 350116 HAS SOPS 343503 HAS SOUS 150956 HAS SOUPS 149662 WITH SCORE 150012.116
AT ITER 7341 NEW BEST:: SOT 686405 SOS 350100 HAS SOPS 343487 HAS SOUS 150807 HAS SOUPS 149513 WITH SCORE 149863.1
AT ITER 7345 NEW BEST:: SOT 686405 SOS 350094 HAS SOPS 343481 HAS SOUS 150801 HAS SOUPS 149507 WITH SCORE 149857.094
AT ITER 7349 NEW BEST:: SOT 686664 SOS 347000 HAS SOPS 340387 HAS SOUS 150733 HAS SOUPS 149439 WITH SCORE 149786.0
AT ITER 7353 NEW BEST:: SOT 686724 SOS 347017 HAS SOPS 340404 HAS SOUS 150525 HAS SOUPS 149231 WITH SCORE 149578.017
AT ITER 7355 NEW BEST:: SOT 686779 SOS 347227 HAS SOPS 340614 HAS SOUS 150452 HAS SOUPS 149158 WITH SCORE 149505.227
AT ITER 7363 NEW BEST:: SOT 686771 SOS 347229 HAS SOPS 340616 HAS SOUS 150436 HAS SOUPS 149142 WITH SCORE 149489.229
AT ITER 7366 NEW BEST:: SOT 686705 SOS 346702 HAS SOPS 340089 HAS SOUS 150244 HAS SOUPS 148950 WITH SCORE 149296.702
AT ITER 7375 NEW BEST:: SOT 686769 SOS 346647 HAS SOPS 340034 HAS SOUS 150137 HAS SOUPS 148843 WITH SCORE 149189.647
AT ITER 7401 NEW BEST:: SOT 686760 SOS 346629 HAS SOPS 340016 HAS SOUS 150137 HAS SOUPS 148843 WITH SCORE 149189.629
AT ITER 7407 NEW BEST:: SOT 686760 SOS 346629 HAS SOPS 340016 HAS SOUS 150129 HAS SOUPS 148835 WITH SCORE 149181.629
AT ITER 7419 NEW BEST:: SOT 686752 SOS 345819 HAS SOPS 339206 HAS SOUS 150113 HAS SOUPS 148819 WITH SCORE 149164.819
AT ITER 7440 NEW BEST:: SOT 686871 SOS 346020 HAS SOPS 339407 HAS SOUS 150066 HAS SOUPS 148772 WITH SCORE 149118.02
AT ITER 7454 NEW BEST:: SOT 686709 SOS 345860 HAS SOPS 339247 HAS SOUS 149922 HAS SOUPS 148628 WITH SCORE 148973.86
AT ITER 7458 NEW BEST:: SOT 686704 SOS 345858 HAS SOPS 339245 HAS SOUS 149912 HAS SOUPS 148618 WITH SCORE 148963.858
AT ITER 7468 NEW BEST:: SOT 686728 SOS 345878 HAS SOPS 339265 HAS SOUS 149898 HAS SOUPS 148604 WITH SCORE 148949.878
AT ITER 7484 NEW BEST:: SOT 686382 SOS 345566 HAS SOPS 338953 HAS SOUS 149572 HAS SOUPS 148278 WITH SCORE 148623.566
AT ITER 7487 NEW BEST:: SOT 686410 SOS 345594 HAS SOPS 338981 HAS SOUS 149521 HAS SOUPS 148227 WITH SCORE 148572.594
AT ITER 7504 NEW BEST:: SOT 686679 SOS 344909 HAS SOPS 338296 HAS SOUS 149269 HAS SOUPS 147975 WITH SCORE 148319.909
AT ITER 7507 NEW BEST:: SOT 686677 SOS 344907 HAS SOPS 338294 HAS SOUS 149265 HAS SOUPS 147971 WITH SCORE 148315.907
AT ITER 7524 NEW BEST:: SOT 686763 SOS 345005 HAS SOPS 338392 HAS SOUS 149163 HAS SOUPS 147869 WITH SCORE 148214.005
AT ITER 7527 NEW BEST:: SOT 686661 SOS 344835 HAS SOPS 338188 HAS SOUS 148993 HAS SOUPS 147699 WITH SCORE 148043.835
AT ITER 7567 NEW BEST:: SOT 686541 SOS 344914 HAS SOPS 338267 HAS SOUS 148754 HAS SOUPS 147460 WITH SCORE 147804.914
AT ITER 7598 NEW BEST:: SOT 686741 SOS 345114 HAS SOPS 338467 HAS SOUS 148728 HAS SOUPS 147434 WITH SCORE 147779.114
AT ITER 7617 NEW BEST:: SOT 686710 SOS 345083 HAS SOPS 338424 HAS SOUS 148694 HAS SOUPS 147400 WITH SCORE 147745.083
AT ITER 7624 NEW BEST:: SOT 686710 SOS 345083 HAS SOPS 338424 HAS SOUS 148690 HAS SOUPS 147396 WITH SCORE 147741.083
AT ITER 7639 NEW BEST:: SOT 686708 SOS 345081 HAS SOPS 338422 HAS SOUS 148686 HAS SOUPS 147392 WITH SCORE 147737.081
AT ITER 7645 NEW BEST:: SOT 686666 SOS 345039 HAS SOPS 338380 HAS SOUS 148596 HAS SOUPS 147302 WITH SCORE 147647.039
AT ITER 7647 NEW BEST:: SOT 686656 SOS 345033 HAS SOPS 338374 HAS SOUS 148588 HAS SOUPS 147294 WITH SCORE 147639.033
AT ITER 7671 NEW BEST:: SOT 686654 SOS 345029 HAS SOPS 338370 HAS SOUS 148585 HAS SOUPS 147291 WITH SCORE 147636.029
AT ITER 7691 NEW BEST:: SOT 686637 SOS 344982 HAS SOPS 338323 HAS SOUS 148554 HAS SOUPS 147260 WITH SCORE 147604.982
AT ITER 7724 NEW BEST:: SOT 686653 SOS 345025 HAS SOPS 338366 HAS SOUS 148529 HAS SOUPS 147235 WITH SCORE 147580.025
AT ITER 7744 NEW BEST:: SOT 686549 SOS 344921 HAS SOPS 338262 HAS SOUS 148502 HAS SOUPS 147208 WITH SCORE 147552.921
AT ITER 7746 NEW BEST:: SOT 686790 SOS 345336 HAS SOPS 338677 HAS SOUS 148328 HAS SOUPS 147034 WITH SCORE 147379.336
AT ITER 7756 NEW BEST:: SOT 686790 SOS 345336 HAS SOPS 338677 HAS SOUS 148244 HAS SOUPS 146950 WITH SCORE 147295.336
AT ITER 7773 NEW BEST:: SOT 686766 SOS 345320 HAS SOPS 338661 HAS SOUS 148204 HAS SOUPS 146910 WITH SCORE 147255.32
AT ITER 7785 NEW BEST:: SOT 686717 SOS 345271 HAS SOPS 338612 HAS SOUS 148048 HAS SOUPS 146754 WITH SCORE 147099.271
AT ITER 7792 NEW BEST:: SOT 686654 SOS 345190 HAS SOPS 338531 HAS SOUS 147967 HAS SOUPS 146673 WITH SCORE 147018.19
AT ITER 7810 NEW BEST:: SOT 686654 SOS 345197 HAS SOPS 338538 HAS SOUS 147946 HAS SOUPS 146652 WITH SCORE 146997.197
AT ITER 7813 NEW BEST:: SOT 686320 SOS 344973 HAS SOPS 338314 HAS SOUS 147696 HAS SOUPS 146402 WITH SCORE 146746.973
AT ITER 7831 NEW BEST:: SOT 686311 SOS 344922 HAS SOPS 338263 HAS SOUS 147678 HAS SOUPS 146384 WITH SCORE 146728.922
AT ITER 7838 NEW BEST:: SOT 686287 SOS 344898 HAS SOPS 338239 HAS SOUS 147646 HAS SOUPS 146352 WITH SCORE 146696.898
AT ITER 7892 NEW BEST:: SOT 686280 SOS 344884 HAS SOPS 338225 HAS SOUS 147632 HAS SOUPS 146338 WITH SCORE 146682.884
AT ITER 7896 NEW BEST:: SOT 686280 SOS 344862 HAS SOPS 338203 HAS SOUS 147610 HAS SOUPS 146316 WITH SCORE 146660.862
AT ITER 7945 NEW BEST:: SOT 686361 SOS 344957 HAS SOPS 338298 HAS SOUS 147506 HAS SOUPS 146212 WITH SCORE 146556.957
AT ITER 7967 NEW BEST:: SOT 686446 SOS 345380 HAS SOPS 338721 HAS SOUS 147423 HAS SOUPS 146129 WITH SCORE 146474.38
AT ITER 7973 NEW BEST:: SOT 686446 SOS 345380 HAS SOPS 338721 HAS SOUS 147363 HAS SOUPS 146069 WITH SCORE 146414.38
AT ITER 7990 NEW BEST:: SOT 686100 SOS 345150 HAS SOPS 338491 HAS SOUS 146878 HAS SOUPS 145584 WITH SCORE 145929.15
AT ITER 7991 NEW BEST:: SOT 686010 SOS 344856 HAS SOPS 338197 HAS SOUS 146821 HAS SOUPS 145527 WITH SCORE 145871.856
AT ITER 7993 NEW BEST:: SOT 686010 SOS 344862 HAS SOPS 338203 HAS SOUS 146812 HAS SOUPS 145518 WITH SCORE 145862.862
AT ITER 7996 NEW BEST:: SOT 686009 SOS 344885 HAS SOPS 338226 HAS SOUS 146786 HAS SOUPS 145492 WITH SCORE 145836.885
AT ITER 8012 NEW BEST:: SOT 686039 SOS 344999 HAS SOPS 338340 HAS SOUS 146700 HAS SOUPS 145406 WITH SCORE 145750.999
AT ITER 8037 NEW BEST:: SOT 685955 SOS 344320 HAS SOPS 337661 HAS SOUS 146679 HAS SOUPS 145385 WITH SCORE 145729.32
AT ITER 8047 NEW BEST:: SOT 685889 SOS 344254 HAS SOPS 337595 HAS SOUS 146448 HAS SOUPS 145154 WITH SCORE 145498.254
AT ITER 8060 NEW BEST:: SOT 686050 SOS 345412 HAS SOPS 338753 HAS SOUS 146432 HAS SOUPS 145138 WITH SCORE 145483.412
AT ITER 8121 NEW BEST:: SOT 686020 SOS 345372 HAS SOPS 338713 HAS SOUS 146392 HAS SOUPS 145098 WITH SCORE 145443.372
AT ITER 8127 NEW BEST:: SOT 685972 SOS 345324 HAS SOPS 338665 HAS SOUS 146340 HAS SOUPS 145046 WITH SCORE 145391.324
AT ITER 8181 NEW BEST:: SOT 685804 SOS 344484 HAS SOPS 337825 HAS SOUS 146324 HAS SOUPS 145030 WITH SCORE 145374.484
AT ITER 8184 NEW BEST:: SOT 685700 SOS 344369 HAS SOPS 337710 HAS SOUS 146113 HAS SOUPS 144819 WITH SCORE 145163.369
AT ITER 8207 NEW BEST:: SOT 685650 SOS 344405 HAS SOPS 337746 HAS SOUS 146069 HAS SOUPS 144775 WITH SCORE 145119.405
AT ITER 8241 NEW BEST:: SOT 685645 SOS 344400 HAS SOPS 337741 HAS SOUS 146039 HAS SOUPS 144745 WITH SCORE 145089.4
AT ITER 8284 NEW BEST:: SOT 685643 SOS 344400 HAS SOPS 337741 HAS SOUS 146035 HAS SOUPS 144741 WITH SCORE 145085.4
AT ITER 8285 NEW BEST:: SOT 685659 SOS 344406 HAS SOPS 337728 HAS SOUS 145999 HAS SOUPS 144705 WITH SCORE 145049.406
AT ITER 8286 NEW BEST:: SOT 685600 SOS 344288 HAS SOPS 337610 HAS SOUS 145881 HAS SOUPS 144587 WITH SCORE 144931.288
AT ITER 8291 NEW BEST:: SOT 685600 SOS 344306 HAS SOPS 337628 HAS SOUS 145818 HAS SOUPS 144524 WITH SCORE 144868.306
AT ITER 8326 NEW BEST:: SOT 685394 SOS 343733 HAS SOPS 337055 HAS SOUS 145654 HAS SOUPS 144360 WITH SCORE 144703.733
AT ITER 8342 NEW BEST:: SOT 685438 SOS 343843 HAS SOPS 337165 HAS SOUS 145496 HAS SOUPS 144202 WITH SCORE 144545.843
AT ITER 8343 NEW BEST:: SOT 685425 SOS 343708 HAS SOPS 337030 HAS SOUS 145455 HAS SOUPS 144161 WITH SCORE 144504.708
AT ITER 8357 NEW BEST:: SOT 685395 SOS 343846 HAS SOPS 337252 HAS SOUS 145451 HAS SOUPS 144157 WITH SCORE 144500.846
AT ITER 8359 NEW BEST:: SOT 685395 SOS 343822 HAS SOPS 337228 HAS SOUS 145451 HAS SOUPS 144157 WITH SCORE 144500.822
AT ITER 8367 NEW BEST:: SOT 684787 SOS 343125 HAS SOPS 336531 HAS SOUS 145274 HAS SOUPS 143980 WITH SCORE 144323.125
AT ITER 8394 NEW BEST:: SOT 684770 SOS 343091 HAS SOPS 336497 HAS SOUS 145240 HAS SOUPS 143946 WITH SCORE 144289.091
AT ITER 8492 NEW BEST:: SOT 684758 SOS 342922 HAS SOPS 336371 HAS SOUS 145180 HAS SOUPS 143892 WITH SCORE 144234.922
AT ITER 8493 NEW BEST:: SOT 684743 SOS 342907 HAS SOPS 336356 HAS SOUS 145168 HAS SOUPS 143880 WITH SCORE 144222.907
AT ITER 8495 NEW BEST:: SOT 684612 SOS 342777 HAS SOPS 336226 HAS SOUS 144932 HAS SOUPS 143644 WITH SCORE 143986.777
AT ITER 8505 NEW BEST:: SOT 684598 SOS 342763 HAS SOPS 336212 HAS SOUS 144918 HAS SOUPS 143630 WITH SCORE 143972.763
AT ITER 8506 NEW BEST:: SOT 684643 SOS 342838 HAS SOPS 336302 HAS SOUS 144818 HAS SOUPS 143530 WITH SCORE 143872.838
AT ITER 8521 NEW BEST:: SOT 684604 SOS 342760 HAS SOPS 336224 HAS SOUS 144740 HAS SOUPS 143452 WITH SCORE 143794.76
AT ITER 8531 NEW BEST:: SOT 684575 SOS 342557 HAS SOPS 336021 HAS SOUS 144711 HAS SOUPS 143423 WITH SCORE 143765.557
AT ITER 8543 NEW BEST:: SOT 684605 SOS 342585 HAS SOPS 335906 HAS SOUS 144526 HAS SOUPS 143222 WITH SCORE 143564.585
AT ITER 8549 NEW BEST:: SOT 684616 SOS 342581 HAS SOPS 335902 HAS SOUS 144518 HAS SOUPS 143214 WITH SCORE 143556.581
AT ITER 8592 NEW BEST:: SOT 684496 SOS 340667 HAS SOPS 333988 HAS SOUS 144382 HAS SOUPS 143078 WITH SCORE 143418.667
AT ITER 8604 NEW BEST:: SOT 684496 SOS 340690 HAS SOPS 334011 HAS SOUS 144362 HAS SOUPS 143058 WITH SCORE 143398.69
AT ITER 8634 NEW BEST:: SOT 684466 SOS 340660 HAS SOPS 333981 HAS SOUS 144332 HAS SOUPS 143028 WITH SCORE 143368.66
AT ITER 8661 NEW BEST:: SOT 684415 SOS 340619 HAS SOPS 333940 HAS SOUS 144215 HAS SOUPS 142911 WITH SCORE 143251.619
AT ITER 8664 NEW BEST:: SOT 684403 SOS 340606 HAS SOPS 333927 HAS SOUS 144202 HAS SOUPS 142898 WITH SCORE 143238.606
AT ITER 8689 NEW BEST:: SOT 684294 SOS 340454 HAS SOPS 333775 HAS SOUS 143984 HAS SOUPS 142680 WITH SCORE 143020.454
AT ITER 8707 NEW BEST:: SOT 684258 SOS 340410 HAS SOPS 333731 HAS SOUS 143940 HAS SOUPS 142636 WITH SCORE 142976.41
AT ITER 8709 NEW BEST:: SOT 684258 SOS 340362 HAS SOPS 333635 HAS SOUS 143892 HAS SOUPS 142588 WITH SCORE 142928.362
AT ITER 8789 NEW BEST:: SOT 684240 SOS 340342 HAS SOPS 333615 HAS SOUS 143856 HAS SOUPS 142552 WITH SCORE 142892.342
AT ITER 8834 NEW BEST:: SOT 684231 SOS 339765 HAS SOPS 333038 HAS SOUS 143838 HAS SOUPS 142534 WITH SCORE 142873.765
AT ITER 8857 NEW BEST:: SOT 684236 SOS 339770 HAS SOPS 333043 HAS SOUS 143759 HAS SOUPS 142455 WITH SCORE 142794.77
AT ITER 8906 NEW BEST:: SOT 684309 SOS 339866 HAS SOPS 333139 HAS SOUS 143533 HAS SOUPS 142229 WITH SCORE 142568.866
AT ITER 8911 NEW BEST:: SOT 684259 SOS 340138 HAS SOPS 333411 HAS SOUS 143443 HAS SOUPS 142139 WITH SCORE 142479.138
AT ITER 8919 NEW BEST:: SOT 684317 SOS 340562 HAS SOPS 333835 HAS SOUS 143251 HAS SOUPS 141947 WITH SCORE 142287.562
AT ITER 9024 NEW BEST:: SOT 684336 SOS 340578 HAS SOPS 333851 HAS SOUS 143245 HAS SOUPS 141941 WITH SCORE 142281.578
AT ITER 9027 NEW BEST:: SOT 684336 SOS 340561 HAS SOPS 333834 HAS SOUS 143211 HAS SOUPS 141907 WITH SCORE 142247.561
AT ITER 9056 NEW BEST:: SOT 684229 SOS 339590 HAS SOPS 332863 HAS SOUS 143096 HAS SOUPS 141792 WITH SCORE 142131.59
AT ITER 9102 NEW BEST:: SOT 684202 SOS 339563 HAS SOPS 332774 HAS SOUS 143069 HAS SOUPS 141765 WITH SCORE 142104.563
AT ITER 9152 NEW BEST:: SOT 684196 SOS 339737 HAS SOPS 332948 HAS SOUS 142915 HAS SOUPS 141611 WITH SCORE 141950.737
AT ITER 9283 NEW BEST:: SOT 684134 SOS 339740 HAS SOPS 332951 HAS SOUS 142895 HAS SOUPS 141591 WITH SCORE 141930.74
AT ITER 9295 NEW BEST:: SOT 684142 SOS 339748 HAS SOPS 332959 HAS SOUS 142887 HAS SOUPS 141583 WITH SCORE 141922.748
AT ITER 9317 NEW BEST:: SOT 684142 SOS 339744 HAS SOPS 332955 HAS SOUS 142887 HAS SOUPS 141583 WITH SCORE 141922.744
AT ITER 9320 NEW BEST:: SOT 684151 SOS 339826 HAS SOPS 333037 HAS SOUS 142841 HAS SOUPS 141537 WITH SCORE 141876.826
AT ITER 9322 NEW BEST:: SOT 683880 SOS 339555 HAS SOPS 332766 HAS SOUS 142529 HAS SOUPS 141225 WITH SCORE 141564.555
AT ITER 9359 NEW BEST:: SOT 683818 SOS 339493 HAS SOPS 332704 HAS SOUS 142467 HAS SOUPS 141163 WITH SCORE 141502.493
AT ITER 9362 NEW BEST:: SOT 683760 SOS 339377 HAS SOPS 332588 HAS SOUS 142467 HAS SOUPS 141163 WITH SCORE 141502.377
AT ITER 9376 NEW BEST:: SOT 683785 SOS 339402 HAS SOPS 332613 HAS SOUS 142447 HAS SOUPS 141143 WITH SCORE 141482.402
AT ITER 9389 NEW BEST:: SOT 683734 SOS 339390 HAS SOPS 332601 HAS SOUS 142396 HAS SOUPS 141092 WITH SCORE 141431.39
AT ITER 9395 NEW BEST:: SOT 683730 SOS 339390 HAS SOPS 332601 HAS SOUS 142392 HAS SOUPS 141088 WITH SCORE 141427.39
AT ITER 9418 NEW BEST:: SOT 683730 SOS 339399 HAS SOPS 332610 HAS SOUS 142386 HAS SOUPS 141082 WITH SCORE 141421.399
AT ITER 9443 NEW BEST:: SOT 683669 SOS 339304 HAS SOPS 332515 HAS SOUS 142308 HAS SOUPS 141004 WITH SCORE 141343.304
AT ITER 9449 NEW BEST:: SOT 683650 SOS 339285 HAS SOPS 332496 HAS SOUS 142304 HAS SOUPS 141000 WITH SCORE 141339.285
AT ITER 9485 NEW BEST:: SOT 683592 SOS 339227 HAS SOPS 332438 HAS SOUS 142063 HAS SOUPS 140759 WITH SCORE 141098.227
AT ITER 9526 NEW BEST:: SOT 683454 SOS 339141 HAS SOPS 332353 HAS SOUS 141930 HAS SOUPS 140626 WITH SCORE 140965.141
AT ITER 9620 NEW BEST:: SOT 683491 SOS 339291 HAS SOPS 332503 HAS SOUS 141788 HAS SOUPS 140484 WITH SCORE 140823.291
AT ITER 9644 NEW BEST:: SOT 683444 SOS 339197 HAS SOPS 332409 HAS SOUS 141639 HAS SOUPS 140335 WITH SCORE 140674.197
AT ITER 9654 NEW BEST:: SOT 683403 SOS 339275 HAS SOPS 332493 HAS SOUS 141585 HAS SOUPS 140281 WITH SCORE 140620.275
AT ITER 9687 NEW BEST:: SOT 683376 SOS 339260 HAS SOPS 332478 HAS SOUS 141551 HAS SOUPS 140247 WITH SCORE 140586.26
AT ITER 9707 NEW BEST:: SOT 683365 SOS 339376 HAS SOPS 332594 HAS SOUS 141536 HAS SOUPS 140232 WITH SCORE 140571.376
AT ITER 9718 NEW BEST:: SOT 683365 SOS 339502 HAS SOPS 332720 HAS SOUS 141516 HAS SOUPS 140212 WITH SCORE 140551.502
AT ITER 9721 NEW BEST:: SOT 683304 SOS 339441 HAS SOPS 332659 HAS SOUS 141441 HAS SOUPS 140137 WITH SCORE 140476.441
AT ITER 9724 NEW BEST:: SOT 683182 SOS 339319 HAS SOPS 332618 HAS SOUS 141359 HAS SOUPS 140055 WITH SCORE 140394.319
AT ITER 9760 NEW BEST:: SOT 683178 SOS 339315 HAS SOPS 332614 HAS SOUS 141351 HAS SOUPS 140047 WITH SCORE 140386.315
AT ITER 9773 NEW BEST:: SOT 683178 SOS 339298 HAS SOPS 332597 HAS SOUS 141351 HAS SOUPS 140047 WITH SCORE 140386.298
AT ITER 9780 NEW BEST:: SOT 683166 SOS 339232 HAS SOPS 332531 HAS SOUS 141310 HAS SOUPS 140006 WITH SCORE 140345.232
AT ITER 9851 NEW BEST:: SOT 683096 SOS 339103 HAS SOPS 332402 HAS SOUS 141240 HAS SOUPS 139936 WITH SCORE 140275.103
AT ITER 9862 NEW BEST:: SOT 683096 SOS 339103 HAS SOPS 332402 HAS SOUS 141232 HAS SOUPS 139928 WITH SCORE 140267.103
AT ITER 9875 NEW BEST:: SOT 682920 SOS 338967 HAS SOPS 332266 HAS SOUS 141027 HAS SOUPS 139723 WITH SCORE 140061.967
AT ITER 9885 NEW BEST:: SOT 682967 SOS 339014 HAS SOPS 332313 HAS SOUS 141021 HAS SOUPS 139717 WITH SCORE 140056.014
AT ITER 9894 NEW BEST:: SOT 682896 SOS 338984 HAS SOPS 332283 HAS SOUS 140944 HAS SOUPS 139640 WITH SCORE 139978.984
AT ITER 9923 NEW BEST:: SOT 682892 SOS 338980 HAS SOPS 332279 HAS SOUS 140941 HAS SOUPS 139637 WITH SCORE 139975.98
AT ITER 9966 NEW BEST:: SOT 681419 SOS 337507 HAS SOPS 330806 HAS SOUS 140386 HAS SOUPS 139082 WITH SCORE 139419.507
AT ITER 9967 NEW BEST:: SOT 681338 SOS 337423 HAS SOPS 330722 HAS SOUS 140293 HAS SOUPS 138989 WITH SCORE 139326.423
AT ITER 9994 NEW BEST:: SOT 681318 SOS 337391 HAS SOPS 330690 HAS SOUS 140265 HAS SOUPS 138961 WITH SCORE 139298.391
AT ITER 9995 NEW BEST:: SOT 681263 SOS 341636 HAS SOPS 334935 HAS SOUS 140171 HAS SOUPS 138867 WITH SCORE 139208.636
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 11772476 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16135680 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-COL-S04J04T08"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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