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-167873942900424.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-S04J06T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873942900424
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 604K
-rw-r--r-- 1 mcc users 7.0K Feb 26 14:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 14:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 14:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 14:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 16: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 14K Feb 26 14:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 26 14:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 14:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K Feb 26 14:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K 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 1678791895541

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-S04J06T06
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 11:04:58] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 11:04:58] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 11:04:58] [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 11:04:59] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 11:04:59] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1072 ms
[2023-03-14 11:04:59] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 618 PT places and 3232.0 transition bindings in 74 ms.
[2023-03-14 11:04:59] [INFO ] Unfolded HLPN to a Petri net with 618 places and 3190 transitions 21570 arcs in 173 ms.
[2023-03-14 11:04:59] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 1626 transitions
Reduce isomorphic transitions removed 1626 transitions.
[2023-03-14 11:05:00] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 618 places, 1564 transitions and 7812 arcs took 48 ms.
Total runtime 1710 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S04J06T06
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: 618 places, 1564 transitions, 7812 arcs.
AT ITER 0 NEW BEST:: SOT 557698 SOS 346929 HAS SOPS 343047 HAS SOUS 270120 HAS SOUPS 269475 WITH SCORE 269821.929
AT ITER 4 NEW BEST:: SOT 557114 SOS 346463 HAS SOPS 342581 HAS SOUS 270091 HAS SOUPS 269446 WITH SCORE 269792.463
AT ITER 7 NEW BEST:: SOT 557049 SOS 346418 HAS SOPS 342536 HAS SOUS 270046 HAS SOUPS 269401 WITH SCORE 269747.418
AT ITER 8 NEW BEST:: SOT 556611 SOS 344641 HAS SOPS 340759 HAS SOUS 269403 HAS SOUPS 268758 WITH SCORE 269102.641
AT ITER 13 NEW BEST:: SOT 556294 SOS 344351 HAS SOPS 340469 HAS SOUS 269265 HAS SOUPS 268620 WITH SCORE 268964.351
AT ITER 17 NEW BEST:: SOT 556190 SOS 344221 HAS SOPS 340339 HAS SOUS 269101 HAS SOUPS 268456 WITH SCORE 268800.221
AT ITER 23 NEW BEST:: SOT 556190 SOS 344208 HAS SOPS 340326 HAS SOUS 269098 HAS SOUPS 268453 WITH SCORE 268797.208
AT ITER 35 NEW BEST:: SOT 556165 SOS 344177 HAS SOPS 340295 HAS SOUS 269067 HAS SOUPS 268422 WITH SCORE 268766.177
AT ITER 41 NEW BEST:: SOT 556165 SOS 344231 HAS SOPS 340349 HAS SOUS 269041 HAS SOUPS 268396 WITH SCORE 268740.231
AT ITER 45 NEW BEST:: SOT 555819 SOS 343918 HAS SOPS 340036 HAS SOUS 268910 HAS SOUPS 268265 WITH SCORE 268608.918
AT ITER 51 NEW BEST:: SOT 555840 SOS 343806 HAS SOPS 339912 HAS SOUS 268767 HAS SOUPS 268122 WITH SCORE 268465.806
AT ITER 68 NEW BEST:: SOT 555840 SOS 344194 HAS SOPS 340300 HAS SOUS 268379 HAS SOUPS 267734 WITH SCORE 268078.194
AT ITER 74 NEW BEST:: SOT 555106 SOS 343471 HAS SOPS 339577 HAS SOUS 268153 HAS SOUPS 267508 WITH SCORE 267851.471
AT ITER 77 NEW BEST:: SOT 554752 SOS 343195 HAS SOPS 339301 HAS SOUS 267955 HAS SOUPS 267310 WITH SCORE 267653.195
AT ITER 79 NEW BEST:: SOT 554202 SOS 342844 HAS SOPS 338950 HAS SOUS 267589 HAS SOUPS 266944 WITH SCORE 267286.844
AT ITER 80 NEW BEST:: SOT 554202 SOS 341303 HAS SOPS 337409 HAS SOUS 267576 HAS SOUPS 266931 WITH SCORE 267272.303
AT ITER 81 NEW BEST:: SOT 554196 SOS 341267 HAS SOPS 337373 HAS SOUS 267540 HAS SOUPS 266895 WITH SCORE 267236.267
AT ITER 84 NEW BEST:: SOT 554196 SOS 341267 HAS SOPS 337373 HAS SOUS 267508 HAS SOUPS 266863 WITH SCORE 267204.267
AT ITER 90 NEW BEST:: SOT 552403 SOS 342576 HAS SOPS 337908 HAS SOUS 265936 HAS SOUPS 265121 WITH SCORE 265463.576
AT ITER 91 NEW BEST:: SOT 551373 SOS 341388 HAS SOPS 336720 HAS SOUS 264919 HAS SOUPS 264104 WITH SCORE 264445.388
AT ITER 96 NEW BEST:: SOT 551144 SOS 341098 HAS SOPS 336430 HAS SOUS 264626 HAS SOUPS 263811 WITH SCORE 264152.098
AT ITER 99 NEW BEST:: SOT 551068 SOS 340797 HAS SOPS 336129 HAS SOUS 264547 HAS SOUPS 263732 WITH SCORE 264072.797
AT ITER 100 NEW BEST:: SOT 551068 SOS 340485 HAS SOPS 335817 HAS SOUS 264547 HAS SOUPS 263732 WITH SCORE 264072.485
AT ITER 105 NEW BEST:: SOT 551043 SOS 340460 HAS SOPS 335817 HAS SOUS 264547 HAS SOUPS 263732 WITH SCORE 264072.46
AT ITER 109 NEW BEST:: SOT 551040 SOS 340371 HAS SOPS 335728 HAS SOUS 264458 HAS SOUPS 263643 WITH SCORE 263983.371
AT ITER 116 NEW BEST:: SOT 551003 SOS 340358 HAS SOPS 335715 HAS SOUS 264431 HAS SOUPS 263616 WITH SCORE 263956.358
AT ITER 117 NEW BEST:: SOT 550781 SOS 339855 HAS SOPS 335212 HAS SOUS 263608 HAS SOUPS 262793 WITH SCORE 263132.855
AT ITER 120 NEW BEST:: SOT 550718 SOS 339771 HAS SOPS 335128 HAS SOUS 263545 HAS SOUPS 262730 WITH SCORE 263069.771
AT ITER 129 NEW BEST:: SOT 550575 SOS 340650 HAS SOPS 336060 HAS SOUS 263480 HAS SOUPS 262665 WITH SCORE 263005.65
AT ITER 132 NEW BEST:: SOT 550456 SOS 340438 HAS SOPS 335900 HAS SOUS 263367 HAS SOUPS 262552 WITH SCORE 262892.438
AT ITER 141 NEW BEST:: SOT 550456 SOS 340301 HAS SOPS 335763 HAS SOUS 263310 HAS SOUPS 262495 WITH SCORE 262835.301
AT ITER 142 NEW BEST:: SOT 550662 SOS 340709 HAS SOPS 336171 HAS SOUS 262611 HAS SOUPS 261796 WITH SCORE 262136.709
AT ITER 144 NEW BEST:: SOT 550614 SOS 340593 HAS SOPS 336055 HAS SOUS 262054 HAS SOUPS 261239 WITH SCORE 261579.593
AT ITER 152 NEW BEST:: SOT 550614 SOS 340536 HAS SOPS 336008 HAS SOUS 262052 HAS SOUPS 261238 WITH SCORE 261578.536
AT ITER 167 NEW BEST:: SOT 550638 SOS 340632 HAS SOPS 336104 HAS SOUS 262028 HAS SOUPS 261214 WITH SCORE 261554.632
AT ITER 171 NEW BEST:: SOT 550668 SOS 340528 HAS SOPS 336060 HAS SOUS 261984 HAS SOUPS 261170 WITH SCORE 261510.528
AT ITER 183 NEW BEST:: SOT 550572 SOS 340432 HAS SOPS 335964 HAS SOUS 261914 HAS SOUPS 261100 WITH SCORE 261440.432
AT ITER 189 NEW BEST:: SOT 550566 SOS 340394 HAS SOPS 335926 HAS SOUS 261876 HAS SOUPS 261062 WITH SCORE 261402.394
AT ITER 205 NEW BEST:: SOT 551411 SOS 341081 HAS SOPS 336613 HAS SOUS 261716 HAS SOUPS 260902 WITH SCORE 261243.081
AT ITER 209 NEW BEST:: SOT 551161 SOS 340909 HAS SOPS 336441 HAS SOUS 261544 HAS SOUPS 260730 WITH SCORE 261070.909
AT ITER 216 NEW BEST:: SOT 550627 SOS 340445 HAS SOPS 335977 HAS SOUS 261080 HAS SOUPS 260266 WITH SCORE 260606.445
AT ITER 217 NEW BEST:: SOT 550563 SOS 340365 HAS SOPS 335897 HAS SOUS 260952 HAS SOUPS 260138 WITH SCORE 260478.365
AT ITER 225 NEW BEST:: SOT 550563 SOS 340315 HAS SOPS 335847 HAS SOUS 260927 HAS SOUPS 260113 WITH SCORE 260453.315
AT ITER 228 NEW BEST:: SOT 550305 SOS 340013 HAS SOPS 335626 HAS SOUS 260620 HAS SOUPS 259806 WITH SCORE 260146.013
AT ITER 230 NEW BEST:: SOT 550297 SOS 339973 HAS SOPS 335586 HAS SOUS 260300 HAS SOUPS 259486 WITH SCORE 259825.973
AT ITER 236 NEW BEST:: SOT 550105 SOS 339781 HAS SOPS 335394 HAS SOUS 260186 HAS SOUPS 259372 WITH SCORE 259711.781
AT ITER 246 NEW BEST:: SOT 550671 SOS 340420 HAS SOPS 336033 HAS SOUS 255111 HAS SOUPS 254297 WITH SCORE 254637.42
AT ITER 253 NEW BEST:: SOT 550601 SOS 340286 HAS SOPS 335899 HAS SOUS 254853 HAS SOUPS 254039 WITH SCORE 254379.286
AT ITER 261 NEW BEST:: SOT 551033 SOS 340466 HAS SOPS 336079 HAS SOUS 252835 HAS SOUPS 252021 WITH SCORE 252361.466
AT ITER 273 NEW BEST:: SOT 551033 SOS 340438 HAS SOPS 336051 HAS SOUS 252807 HAS SOUPS 251993 WITH SCORE 252333.438
AT ITER 275 NEW BEST:: SOT 551087 SOS 340877 HAS SOPS 336490 HAS SOUS 252720 HAS SOUPS 251906 WITH SCORE 252246.877
AT ITER 279 NEW BEST:: SOT 551087 SOS 341059 HAS SOPS 336672 HAS SOUS 252555 HAS SOUPS 251741 WITH SCORE 252082.059
AT ITER 284 NEW BEST:: SOT 550928 SOS 340854 HAS SOPS 336530 HAS SOUS 252459 HAS SOUPS 251645 WITH SCORE 251985.854
AT ITER 286 NEW BEST:: SOT 551195 SOS 336748 HAS SOPS 332424 HAS SOUS 249447 HAS SOUPS 248633 WITH SCORE 248969.748
AT ITER 288 NEW BEST:: SOT 550563 SOS 336068 HAS SOPS 331744 HAS SOUS 248835 HAS SOUPS 248021 WITH SCORE 248357.068
AT ITER 289 NEW BEST:: SOT 549988 SOS 335701 HAS SOPS 331377 HAS SOUS 248447 HAS SOUPS 247633 WITH SCORE 247968.701
AT ITER 290 NEW BEST:: SOT 549735 SOS 335538 HAS SOPS 331214 HAS SOUS 248332 HAS SOUPS 247518 WITH SCORE 247853.538
AT ITER 295 NEW BEST:: SOT 549591 SOS 335358 HAS SOPS 331034 HAS SOUS 248008 HAS SOUPS 247194 WITH SCORE 247529.358
AT ITER 296 NEW BEST:: SOT 549439 SOS 335264 HAS SOPS 330963 HAS SOUS 247961 HAS SOUPS 247147 WITH SCORE 247482.264
AT ITER 309 NEW BEST:: SOT 549252 SOS 335009 HAS SOPS 330708 HAS SOUS 247524 HAS SOUPS 246710 WITH SCORE 247045.009
AT ITER 312 NEW BEST:: SOT 549252 SOS 334845 HAS SOPS 330544 HAS SOUS 246619 HAS SOUPS 245805 WITH SCORE 246139.845
AT ITER 314 NEW BEST:: SOT 549035 SOS 328546 HAS SOPS 324245 HAS SOUS 237617 HAS SOUPS 236803 WITH SCORE 237131.546
AT ITER 315 NEW BEST:: SOT 548998 SOS 328472 HAS SOPS 324171 HAS SOUS 237486 HAS SOUPS 236672 WITH SCORE 237000.472
AT ITER 316 NEW BEST:: SOT 548998 SOS 328620 HAS SOPS 324319 HAS SOUS 237375 HAS SOUPS 236561 WITH SCORE 236889.62
AT ITER 320 NEW BEST:: SOT 548986 SOS 328608 HAS SOPS 324307 HAS SOUS 237345 HAS SOUPS 236531 WITH SCORE 236859.608
AT ITER 321 NEW BEST:: SOT 549016 SOS 328728 HAS SOPS 324427 HAS SOUS 237315 HAS SOUPS 236501 WITH SCORE 236829.728
AT ITER 326 NEW BEST:: SOT 549086 SOS 328812 HAS SOPS 324511 HAS SOUS 237158 HAS SOUPS 236344 WITH SCORE 236672.812
AT ITER 332 NEW BEST:: SOT 548918 SOS 328672 HAS SOPS 324371 HAS SOUS 236934 HAS SOUPS 236120 WITH SCORE 236448.672
AT ITER 349 NEW BEST:: SOT 549268 SOS 328769 HAS SOPS 324468 HAS SOUS 233799 HAS SOUPS 232985 WITH SCORE 233313.769
AT ITER 358 NEW BEST:: SOT 549132 SOS 328653 HAS SOPS 324434 HAS SOUS 233716 HAS SOUPS 232904 WITH SCORE 233232.653
AT ITER 364 NEW BEST:: SOT 549046 SOS 328567 HAS SOPS 324355 HAS SOUS 233544 HAS SOUPS 232732 WITH SCORE 233060.567
AT ITER 370 NEW BEST:: SOT 550544 SOS 333833 HAS SOPS 329621 HAS SOUS 229176 HAS SOUPS 228364 WITH SCORE 228697.833
AT ITER 376 NEW BEST:: SOT 552120 SOS 337758 HAS SOPS 333546 HAS SOUS 224538 HAS SOUPS 223726 WITH SCORE 224063.758
AT ITER 382 NEW BEST:: SOT 552097 SOS 337649 HAS SOPS 333437 HAS SOUS 224513 HAS SOUPS 223701 WITH SCORE 224038.649
AT ITER 390 NEW BEST:: SOT 552036 SOS 337588 HAS SOPS 333395 HAS SOUS 224485 HAS SOUPS 223673 WITH SCORE 224010.588
AT ITER 393 NEW BEST:: SOT 552151 SOS 337399 HAS SOPS 333206 HAS SOUS 221115 HAS SOUPS 220303 WITH SCORE 220640.399
AT ITER 397 NEW BEST:: SOT 551600 SOS 336900 HAS SOPS 332707 HAS SOUS 220679 HAS SOUPS 219867 WITH SCORE 220203.9
AT ITER 404 NEW BEST:: SOT 550332 SOS 337276 HAS SOPS 333495 HAS SOUS 219464 HAS SOUPS 218720 WITH SCORE 219057.276
AT ITER 407 NEW BEST:: SOT 549196 SOS 336275 HAS SOPS 332494 HAS SOUS 218465 HAS SOUPS 217721 WITH SCORE 218057.275
AT ITER 411 NEW BEST:: SOT 549196 SOS 336575 HAS SOPS 332794 HAS SOUS 218133 HAS SOUPS 217389 WITH SCORE 217725.575
AT ITER 413 NEW BEST:: SOT 549086 SOS 336465 HAS SOPS 332697 HAS SOUS 217870 HAS SOUPS 217126 WITH SCORE 217462.465
AT ITER 414 NEW BEST:: SOT 549036 SOS 336392 HAS SOPS 332615 HAS SOUS 217904 HAS SOUPS 217125 WITH SCORE 217461.392
AT ITER 415 NEW BEST:: SOT 548892 SOS 336236 HAS SOPS 332459 HAS SOUS 217844 HAS SOUPS 217065 WITH SCORE 217401.236
AT ITER 417 NEW BEST:: SOT 549223 SOS 335026 HAS SOPS 331249 HAS SOUS 214176 HAS SOUPS 213397 WITH SCORE 213732.026
AT ITER 432 NEW BEST:: SOT 548368 SOS 334073 HAS SOPS 330296 HAS SOUS 213348 HAS SOUPS 212569 WITH SCORE 212903.073
AT ITER 439 NEW BEST:: SOT 548368 SOS 333842 HAS SOPS 330065 HAS SOUS 213183 HAS SOUPS 212404 WITH SCORE 212737.842
AT ITER 443 NEW BEST:: SOT 548376 SOS 333756 HAS SOPS 329979 HAS SOUS 213114 HAS SOUPS 212335 WITH SCORE 212668.756
AT ITER 445 NEW BEST:: SOT 548372 SOS 333630 HAS SOPS 329853 HAS SOUS 213040 HAS SOUPS 212261 WITH SCORE 212594.63
AT ITER 449 NEW BEST:: SOT 548364 SOS 333618 HAS SOPS 329841 HAS SOUS 213024 HAS SOUPS 212245 WITH SCORE 212578.618
AT ITER 452 NEW BEST:: SOT 549471 SOS 332298 HAS SOPS 328521 HAS SOUS 211731 HAS SOUPS 210952 WITH SCORE 211284.298
AT ITER 453 NEW BEST:: SOT 549457 SOS 332298 HAS SOPS 328521 HAS SOUS 211730 HAS SOUPS 210951 WITH SCORE 211283.298
AT ITER 456 NEW BEST:: SOT 549596 SOS 334452 HAS SOPS 330675 HAS SOUS 211566 HAS SOUPS 210787 WITH SCORE 211121.452
AT ITER 480 NEW BEST:: SOT 546400 SOS 331681 HAS SOPS 326908 HAS SOUS 208218 HAS SOUPS 207273 WITH SCORE 207604.681
AT ITER 497 NEW BEST:: SOT 546020 SOS 331419 HAS SOPS 326646 HAS SOUS 207955 HAS SOUPS 207010 WITH SCORE 207341.419
AT ITER 512 NEW BEST:: SOT 545948 SOS 331259 HAS SOPS 326486 HAS SOUS 207724 HAS SOUPS 206779 WITH SCORE 207110.259
AT ITER 515 NEW BEST:: SOT 545954 SOS 329774 HAS SOPS 325001 HAS SOUS 207616 HAS SOUPS 206671 WITH SCORE 207000.774
AT ITER 519 NEW BEST:: SOT 545954 SOS 328703 HAS SOPS 323930 HAS SOUS 207616 HAS SOUPS 206671 WITH SCORE 206999.703
AT ITER 529 NEW BEST:: SOT 545952 SOS 328701 HAS SOPS 323928 HAS SOUS 207541 HAS SOUPS 206596 WITH SCORE 206924.701
AT ITER 530 NEW BEST:: SOT 545919 SOS 327944 HAS SOPS 323171 HAS SOUS 207044 HAS SOUPS 206099 WITH SCORE 206426.944
AT ITER 536 NEW BEST:: SOT 545913 SOS 327993 HAS SOPS 323220 HAS SOUS 207032 HAS SOUPS 206087 WITH SCORE 206414.993
AT ITER 537 NEW BEST:: SOT 545913 SOS 326928 HAS SOPS 322155 HAS SOUS 206260 HAS SOUPS 205315 WITH SCORE 205641.928
AT ITER 538 NEW BEST:: SOT 546497 SOS 324031 HAS SOPS 319258 HAS SOUS 204754 HAS SOUPS 203809 WITH SCORE 204133.031
AT ITER 539 NEW BEST:: SOT 546064 SOS 323706 HAS SOPS 318933 HAS SOUS 204463 HAS SOUPS 203518 WITH SCORE 203841.706
AT ITER 540 NEW BEST:: SOT 546024 SOS 323288 HAS SOPS 318515 HAS SOUS 204193 HAS SOUPS 203248 WITH SCORE 203571.288
AT ITER 541 NEW BEST:: SOT 550900 SOS 327143 HAS SOPS 322370 HAS SOUS 203817 HAS SOUPS 202872 WITH SCORE 203199.143
AT ITER 562 NEW BEST:: SOT 550890 SOS 327133 HAS SOPS 322360 HAS SOUS 203797 HAS SOUPS 202852 WITH SCORE 203179.133
AT ITER 575 NEW BEST:: SOT 550736 SOS 326869 HAS SOPS 322096 HAS SOUS 203643 HAS SOUPS 202698 WITH SCORE 203024.869
AT ITER 578 NEW BEST:: SOT 550472 SOS 326634 HAS SOPS 321861 HAS SOUS 203625 HAS SOUPS 202680 WITH SCORE 203006.634
AT ITER 581 NEW BEST:: SOT 550384 SOS 326541 HAS SOPS 321768 HAS SOUS 203449 HAS SOUPS 202504 WITH SCORE 202830.541
AT ITER 583 NEW BEST:: SOT 550376 SOS 326537 HAS SOPS 321764 HAS SOUS 203449 HAS SOUPS 202504 WITH SCORE 202830.537
AT ITER 585 NEW BEST:: SOT 549541 SOS 325288 HAS SOPS 320515 HAS SOUS 203252 HAS SOUPS 202307 WITH SCORE 202632.288
AT ITER 587 NEW BEST:: SOT 549187 SOS 324976 HAS SOPS 320203 HAS SOUS 203172 HAS SOUPS 202227 WITH SCORE 202551.976
AT ITER 605 NEW BEST:: SOT 549181 SOS 324952 HAS SOPS 320179 HAS SOUS 203160 HAS SOUPS 202215 WITH SCORE 202539.952
AT ITER 615 NEW BEST:: SOT 549175 SOS 324946 HAS SOPS 320173 HAS SOUS 203148 HAS SOUPS 202203 WITH SCORE 202527.946
AT ITER 623 NEW BEST:: SOT 548812 SOS 324449 HAS SOPS 319676 HAS SOUS 202117 HAS SOUPS 201172 WITH SCORE 201496.449
AT ITER 625 NEW BEST:: SOT 548812 SOS 323770 HAS SOPS 318997 HAS SOUS 201231 HAS SOUPS 200286 WITH SCORE 200609.77
AT ITER 641 NEW BEST:: SOT 548729 SOS 323618 HAS SOPS 318845 HAS SOUS 200990 HAS SOUPS 200045 WITH SCORE 200368.618
AT ITER 644 NEW BEST:: SOT 548729 SOS 323546 HAS SOPS 318773 HAS SOUS 200884 HAS SOUPS 199939 WITH SCORE 200262.546
AT ITER 666 NEW BEST:: SOT 549988 SOS 324795 HAS SOPS 320022 HAS SOUS 200402 HAS SOUPS 199457 WITH SCORE 199781.795
AT ITER 672 NEW BEST:: SOT 549983 SOS 324753 HAS SOPS 319980 HAS SOUS 200376 HAS SOUPS 199431 WITH SCORE 199755.753
AT ITER 674 NEW BEST:: SOT 549949 SOS 324719 HAS SOPS 319962 HAS SOUS 200268 HAS SOUPS 199323 WITH SCORE 199647.719
AT ITER 677 NEW BEST:: SOT 554472 SOS 327160 HAS SOPS 322403 HAS SOUS 199796 HAS SOUPS 198851 WITH SCORE 199178.16
AT ITER 687 NEW BEST:: SOT 554469 SOS 327121 HAS SOPS 322364 HAS SOUS 199796 HAS SOUPS 198851 WITH SCORE 199178.121
AT ITER 694 NEW BEST:: SOT 554469 SOS 327509 HAS SOPS 322752 HAS SOUS 199738 HAS SOUPS 198793 WITH SCORE 199120.509
AT ITER 695 NEW BEST:: SOT 554469 SOS 327496 HAS SOPS 322739 HAS SOUS 199738 HAS SOUPS 198793 WITH SCORE 199120.496
AT ITER 696 NEW BEST:: SOT 554428 SOS 327414 HAS SOPS 322657 HAS SOUS 199656 HAS SOUPS 198711 WITH SCORE 199038.414
AT ITER 716 NEW BEST:: SOT 554326 SOS 327257 HAS SOPS 322500 HAS SOUS 199563 HAS SOUPS 198618 WITH SCORE 198945.257
AT ITER 720 NEW BEST:: SOT 554127 SOS 326862 HAS SOPS 322105 HAS SOUS 199401 HAS SOUPS 198456 WITH SCORE 198782.862
AT ITER 731 NEW BEST:: SOT 554127 SOS 326680 HAS SOPS 321923 HAS SOUS 199396 HAS SOUPS 198451 WITH SCORE 198777.68
AT ITER 733 NEW BEST:: SOT 554078 SOS 326452 HAS SOPS 321695 HAS SOUS 199331 HAS SOUPS 198386 WITH SCORE 198712.452
AT ITER 739 NEW BEST:: SOT 554118 SOS 326416 HAS SOPS 321659 HAS SOUS 199309 HAS SOUPS 198364 WITH SCORE 198690.416
AT ITER 740 NEW BEST:: SOT 554010 SOS 326300 HAS SOPS 321543 HAS SOUS 199237 HAS SOUPS 198292 WITH SCORE 198618.3
AT ITER 741 NEW BEST:: SOT 553978 SOS 326544 HAS SOPS 321787 HAS SOUS 199173 HAS SOUPS 198228 WITH SCORE 198554.544
AT ITER 746 NEW BEST:: SOT 553368 SOS 325827 HAS SOPS 321070 HAS SOUS 198579 HAS SOUPS 197634 WITH SCORE 197959.827
AT ITER 747 NEW BEST:: SOT 555707 SOS 327157 HAS SOPS 322400 HAS SOUS 197333 HAS SOUPS 196388 WITH SCORE 196715.157
AT ITER 752 NEW BEST:: SOT 555679 SOS 327129 HAS SOPS 322372 HAS SOUS 197305 HAS SOUPS 196360 WITH SCORE 196687.129
AT ITER 756 NEW BEST:: SOT 552510 SOS 323914 HAS SOPS 319157 HAS SOUS 194793 HAS SOUPS 193848 WITH SCORE 194171.914
AT ITER 758 NEW BEST:: SOT 552478 SOS 323882 HAS SOPS 319125 HAS SOUS 194728 HAS SOUPS 193783 WITH SCORE 194106.882
AT ITER 762 NEW BEST:: SOT 552487 SOS 323936 HAS SOPS 319179 HAS SOUS 194719 HAS SOUPS 193774 WITH SCORE 194097.936
AT ITER 788 NEW BEST:: SOT 552498 SOS 323400 HAS SOPS 318643 HAS SOUS 194565 HAS SOUPS 193620 WITH SCORE 193943.4
AT ITER 798 NEW BEST:: SOT 552667 SOS 323628 HAS SOPS 318871 HAS SOUS 194500 HAS SOUPS 193555 WITH SCORE 193878.628
AT ITER 800 NEW BEST:: SOT 552572 SOS 322544 HAS SOPS 317787 HAS SOUS 194258 HAS SOUPS 193313 WITH SCORE 193635.544
AT ITER 822 NEW BEST:: SOT 552547 SOS 322519 HAS SOPS 317762 HAS SOUS 194209 HAS SOUPS 193264 WITH SCORE 193586.519
AT ITER 825 NEW BEST:: SOT 552577 SOS 322509 HAS SOPS 317752 HAS SOUS 193346 HAS SOUPS 192401 WITH SCORE 192723.509
AT ITER 826 NEW BEST:: SOT 552577 SOS 322417 HAS SOPS 317660 HAS SOUS 193222 HAS SOUPS 192277 WITH SCORE 192599.417
AT ITER 852 NEW BEST:: SOT 551795 SOS 321817 HAS SOPS 317060 HAS SOUS 193164 HAS SOUPS 192219 WITH SCORE 192540.817
AT ITER 868 NEW BEST:: SOT 551795 SOS 321343 HAS SOPS 316654 HAS SOUS 193142 HAS SOUPS 192214 WITH SCORE 192535.343
AT ITER 873 NEW BEST:: SOT 551844 SOS 321412 HAS SOPS 316723 HAS SOUS 193117 HAS SOUPS 192189 WITH SCORE 192510.412
AT ITER 878 NEW BEST:: SOT 551917 SOS 321466 HAS SOPS 316777 HAS SOUS 193026 HAS SOUPS 192098 WITH SCORE 192419.466
AT ITER 880 NEW BEST:: SOT 551930 SOS 321572 HAS SOPS 316888 HAS SOUS 193023 HAS SOUPS 192095 WITH SCORE 192416.572
AT ITER 885 NEW BEST:: SOT 551717 SOS 321359 HAS SOPS 316675 HAS SOUS 192804 HAS SOUPS 191876 WITH SCORE 192197.359
AT ITER 896 NEW BEST:: SOT 552164 SOS 316626 HAS SOPS 311942 HAS SOUS 192256 HAS SOUPS 191328 WITH SCORE 191644.626
AT ITER 897 NEW BEST:: SOT 552066 SOS 316537 HAS SOPS 311853 HAS SOUS 192227 HAS SOUPS 191299 WITH SCORE 191615.537
AT ITER 898 NEW BEST:: SOT 552015 SOS 316486 HAS SOPS 311748 HAS SOUS 192149 HAS SOUPS 191194 WITH SCORE 191510.486
AT ITER 908 NEW BEST:: SOT 551975 SOS 316486 HAS SOPS 311748 HAS SOUS 192109 HAS SOUPS 191154 WITH SCORE 191470.486
AT ITER 920 NEW BEST:: SOT 552125 SOS 315946 HAS SOPS 311208 HAS SOUS 191657 HAS SOUPS 190702 WITH SCORE 191017.946
AT ITER 921 NEW BEST:: SOT 552125 SOS 315856 HAS SOPS 311118 HAS SOUS 191621 HAS SOUPS 190666 WITH SCORE 190981.856
AT ITER 925 NEW BEST:: SOT 551526 SOS 315328 HAS SOPS 310590 HAS SOUS 191048 HAS SOUPS 190093 WITH SCORE 190408.328
AT ITER 927 NEW BEST:: SOT 551553 SOS 315499 HAS SOPS 310761 HAS SOUS 190868 HAS SOUPS 189913 WITH SCORE 190228.499
AT ITER 928 NEW BEST:: SOT 551545 SOS 315491 HAS SOPS 310753 HAS SOUS 190851 HAS SOUPS 189896 WITH SCORE 190211.491
AT ITER 932 NEW BEST:: SOT 551253 SOS 315648 HAS SOPS 310805 HAS SOUS 190813 HAS SOUPS 189752 WITH SCORE 190067.648
AT ITER 939 NEW BEST:: SOT 551108 SOS 315657 HAS SOPS 310879 HAS SOUS 190768 HAS SOUPS 189707 WITH SCORE 190022.657
AT ITER 942 NEW BEST:: SOT 551042 SOS 315531 HAS SOPS 310753 HAS SOUS 190718 HAS SOUPS 189657 WITH SCORE 189972.531
AT ITER 955 NEW BEST:: SOT 551036 SOS 315562 HAS SOPS 310784 HAS SOUS 190706 HAS SOUPS 189645 WITH SCORE 189960.562
AT ITER 958 NEW BEST:: SOT 551034 SOS 315546 HAS SOPS 310768 HAS SOUS 190670 HAS SOUPS 189609 WITH SCORE 189924.546
AT ITER 961 NEW BEST:: SOT 550870 SOS 315394 HAS SOPS 310616 HAS SOUS 190441 HAS SOUPS 189380 WITH SCORE 189695.394
AT ITER 969 NEW BEST:: SOT 551221 SOS 320939 HAS SOPS 315689 HAS SOUS 190162 HAS SOUPS 188958 WITH SCORE 189278.939
AT ITER 976 NEW BEST:: SOT 551189 SOS 320921 HAS SOPS 315671 HAS SOUS 190162 HAS SOUPS 188958 WITH SCORE 189278.921
AT ITER 980 NEW BEST:: SOT 551481 SOS 321326 HAS SOPS 316076 HAS SOUS 190051 HAS SOUPS 188847 WITH SCORE 189168.326
AT ITER 991 NEW BEST:: SOT 551321 SOS 321206 HAS SOPS 315956 HAS SOUS 190008 HAS SOUPS 188804 WITH SCORE 189125.206
AT ITER 998 NEW BEST:: SOT 551183 SOS 321081 HAS SOPS 315831 HAS SOUS 189776 HAS SOUPS 188572 WITH SCORE 188893.081
AT ITER 1000 NEW BEST:: SOT 551133 SOS 321031 HAS SOPS 315783 HAS SOUS 189650 HAS SOUPS 188446 WITH SCORE 188767.031
AT ITER 1008 NEW BEST:: SOT 551019 SOS 320917 HAS SOPS 315669 HAS SOUS 189346 HAS SOUPS 188142 WITH SCORE 188462.917
AT ITER 1010 NEW BEST:: SOT 551010 SOS 320971 HAS SOPS 315723 HAS SOUS 189337 HAS SOUPS 188133 WITH SCORE 188453.971
AT ITER 1015 NEW BEST:: SOT 550442 SOS 320540 HAS SOPS 315292 HAS SOUS 188822 HAS SOUPS 187618 WITH SCORE 187938.54
AT ITER 1018 NEW BEST:: SOT 550346 SOS 320139 HAS SOPS 314891 HAS SOUS 188534 HAS SOUPS 187330 WITH SCORE 187650.139
AT ITER 1025 NEW BEST:: SOT 550402 SOS 320243 HAS SOPS 314995 HAS SOUS 188499 HAS SOUPS 187295 WITH SCORE 187615.243
AT ITER 1054 NEW BEST:: SOT 550242 SOS 320083 HAS SOPS 314835 HAS SOUS 188267 HAS SOUPS 187063 WITH SCORE 187383.083
AT ITER 1056 NEW BEST:: SOT 550131 SOS 319952 HAS SOPS 314704 HAS SOUS 188146 HAS SOUPS 186942 WITH SCORE 187261.952
AT ITER 1064 NEW BEST:: SOT 549561 SOS 319382 HAS SOPS 314134 HAS SOUS 186921 HAS SOUPS 185717 WITH SCORE 186036.382
AT ITER 1074 NEW BEST:: SOT 549561 SOS 319380 HAS SOPS 314132 HAS SOUS 186921 HAS SOUPS 185717 WITH SCORE 186036.38
AT ITER 1092 NEW BEST:: SOT 549624 SOS 317636 HAS SOPS 312388 HAS SOUS 184861 HAS SOUPS 183657 WITH SCORE 183974.636
AT ITER 1102 NEW BEST:: SOT 549637 SOS 317460 HAS SOPS 312212 HAS SOUS 184754 HAS SOUPS 183550 WITH SCORE 183867.46
AT ITER 1108 NEW BEST:: SOT 549425 SOS 316025 HAS SOPS 310777 HAS SOUS 183518 HAS SOUPS 182314 WITH SCORE 182630.025
AT ITER 1113 NEW BEST:: SOT 549367 SOS 315855 HAS SOPS 310607 HAS SOUS 183494 HAS SOUPS 182290 WITH SCORE 182605.855
AT ITER 1134 NEW BEST:: SOT 549248 SOS 315736 HAS SOPS 310488 HAS SOUS 183433 HAS SOUPS 182229 WITH SCORE 182544.736
AT ITER 1156 NEW BEST:: SOT 549090 SOS 315603 HAS SOPS 310423 HAS SOUS 183275 HAS SOUPS 182071 WITH SCORE 182386.603
AT ITER 1158 NEW BEST:: SOT 548540 SOS 314982 HAS SOPS 309802 HAS SOUS 182818 HAS SOUPS 181614 WITH SCORE 181928.982
AT ITER 1162 NEW BEST:: SOT 547455 SOS 313797 HAS SOPS 308617 HAS SOUS 182100 HAS SOUPS 180896 WITH SCORE 181209.797
AT ITER 1165 NEW BEST:: SOT 547422 SOS 313764 HAS SOPS 308584 HAS SOUS 182046 HAS SOUPS 180842 WITH SCORE 181155.764
AT ITER 1179 NEW BEST:: SOT 547565 SOS 314017 HAS SOPS 308837 HAS SOUS 182035 HAS SOUPS 180831 WITH SCORE 181145.017
AT ITER 1194 NEW BEST:: SOT 546227 SOS 315165 HAS SOPS 309985 HAS SOUS 181886 HAS SOUPS 180682 WITH SCORE 180997.165
AT ITER 1210 NEW BEST:: SOT 545669 SOS 314729 HAS SOPS 309549 HAS SOUS 181442 HAS SOUPS 180238 WITH SCORE 180552.729
AT ITER 1212 NEW BEST:: SOT 545549 SOS 314609 HAS SOPS 309429 HAS SOUS 181425 HAS SOUPS 180221 WITH SCORE 180535.609
AT ITER 1229 NEW BEST:: SOT 545513 SOS 314608 HAS SOPS 309428 HAS SOUS 181405 HAS SOUPS 180201 WITH SCORE 180515.608
AT ITER 1230 NEW BEST:: SOT 545476 SOS 314583 HAS SOPS 309403 HAS SOUS 181393 HAS SOUPS 180189 WITH SCORE 180503.583
AT ITER 1244 NEW BEST:: SOT 545485 SOS 315085 HAS SOPS 309876 HAS SOUS 181374 HAS SOUPS 180170 WITH SCORE 180485.085
AT ITER 1246 NEW BEST:: SOT 545068 SOS 314858 HAS SOPS 309649 HAS SOUS 181335 HAS SOUPS 180131 WITH SCORE 180445.858
AT ITER 1251 NEW BEST:: SOT 545048 SOS 314824 HAS SOPS 309615 HAS SOUS 181281 HAS SOUPS 180077 WITH SCORE 180391.824
AT ITER 1259 NEW BEST:: SOT 544481 SOS 314383 HAS SOPS 309174 HAS SOUS 180724 HAS SOUPS 179520 WITH SCORE 179834.383
AT ITER 1264 NEW BEST:: SOT 544956 SOS 312974 HAS SOPS 307765 HAS SOUS 179621 HAS SOUPS 178417 WITH SCORE 178729.974
AT ITER 1265 NEW BEST:: SOT 544952 SOS 312970 HAS SOPS 307761 HAS SOUS 179613 HAS SOUPS 178409 WITH SCORE 178721.97
AT ITER 1289 NEW BEST:: SOT 544853 SOS 312871 HAS SOPS 307673 HAS SOUS 179406 HAS SOUPS 178202 WITH SCORE 178514.871
AT ITER 1290 NEW BEST:: SOT 544857 SOS 312869 HAS SOPS 307671 HAS SOUS 179402 HAS SOUPS 178198 WITH SCORE 178510.869
AT ITER 1305 NEW BEST:: SOT 544827 SOS 312813 HAS SOPS 307615 HAS SOUS 179342 HAS SOUPS 178138 WITH SCORE 178450.813
AT ITER 1311 NEW BEST:: SOT 544561 SOS 312458 HAS SOPS 307260 HAS SOUS 179006 HAS SOUPS 177802 WITH SCORE 178114.458
AT ITER 1326 NEW BEST:: SOT 544518 SOS 312415 HAS SOPS 307217 HAS SOUS 178877 HAS SOUPS 177673 WITH SCORE 177985.415
AT ITER 1332 NEW BEST:: SOT 544518 SOS 312406 HAS SOPS 307208 HAS SOUS 178877 HAS SOUPS 177673 WITH SCORE 177985.406
AT ITER 1337 NEW BEST:: SOT 544602 SOS 312490 HAS SOPS 307292 HAS SOUS 178875 HAS SOUPS 177671 WITH SCORE 177983.49
AT ITER 1352 NEW BEST:: SOT 544590 SOS 312490 HAS SOPS 307292 HAS SOUS 178863 HAS SOUPS 177659 WITH SCORE 177971.49
AT ITER 1354 NEW BEST:: SOT 544590 SOS 312589 HAS SOPS 307391 HAS SOUS 178669 HAS SOUPS 177465 WITH SCORE 177777.589
AT ITER 1364 NEW BEST:: SOT 544208 SOS 315187 HAS SOPS 310189 HAS SOUS 178346 HAS SOUPS 177179 WITH SCORE 177494.187
AT ITER 1365 NEW BEST:: SOT 544134 SOS 315150 HAS SOPS 310152 HAS SOUS 178309 HAS SOUPS 177142 WITH SCORE 177457.15
AT ITER 1367 NEW BEST:: SOT 544905 SOS 312471 HAS SOPS 307473 HAS SOUS 177266 HAS SOUPS 176099 WITH SCORE 176411.471
AT ITER 1374 NEW BEST:: SOT 544908 SOS 311938 HAS SOPS 306940 HAS SOUS 177225 HAS SOUPS 176058 WITH SCORE 176369.938
AT ITER 1377 NEW BEST:: SOT 544688 SOS 311677 HAS SOPS 306679 HAS SOUS 177146 HAS SOUPS 175979 WITH SCORE 176290.677
AT ITER 1378 NEW BEST:: SOT 544688 SOS 311612 HAS SOPS 306614 HAS SOUS 177146 HAS SOUPS 175979 WITH SCORE 176290.612
AT ITER 1395 NEW BEST:: SOT 544795 SOS 311699 HAS SOPS 306701 HAS SOUS 177126 HAS SOUPS 175959 WITH SCORE 176270.699
AT ITER 1404 NEW BEST:: SOT 544795 SOS 311655 HAS SOPS 306657 HAS SOUS 177126 HAS SOUPS 175959 WITH SCORE 176270.655
AT ITER 1428 NEW BEST:: SOT 544651 SOS 308505 HAS SOPS 303507 HAS SOUS 176455 HAS SOUPS 175288 WITH SCORE 175596.505
AT ITER 1432 NEW BEST:: SOT 544332 SOS 308267 HAS SOPS 303269 HAS SOUS 176356 HAS SOUPS 175189 WITH SCORE 175497.267
AT ITER 1446 NEW BEST:: SOT 544312 SOS 308227 HAS SOPS 303229 HAS SOUS 176316 HAS SOUPS 175149 WITH SCORE 175457.227
AT ITER 1452 NEW BEST:: SOT 544214 SOS 308053 HAS SOPS 303055 HAS SOUS 176154 HAS SOUPS 174987 WITH SCORE 175295.053
AT ITER 1456 NEW BEST:: SOT 544467 SOS 307470 HAS SOPS 302472 HAS SOUS 175413 HAS SOUPS 174246 WITH SCORE 174553.47
AT ITER 1474 NEW BEST:: SOT 544432 SOS 307435 HAS SOPS 302417 HAS SOUS 175387 HAS SOUPS 174200 WITH SCORE 174507.435
AT ITER 1486 NEW BEST:: SOT 544387 SOS 307390 HAS SOPS 302372 HAS SOUS 175324 HAS SOUPS 174137 WITH SCORE 174444.39
AT ITER 1489 NEW BEST:: SOT 543601 SOS 306750 HAS SOPS 301732 HAS SOUS 174778 HAS SOUPS 173591 WITH SCORE 173897.75
AT ITER 1493 NEW BEST:: SOT 543120 SOS 306321 HAS SOPS 301303 HAS SOUS 174241 HAS SOUPS 173054 WITH SCORE 173360.321
AT ITER 1515 NEW BEST:: SOT 543051 SOS 306241 HAS SOPS 301223 HAS SOUS 174112 HAS SOUPS 172925 WITH SCORE 173231.241
AT ITER 1523 NEW BEST:: SOT 542890 SOS 306080 HAS SOPS 301062 HAS SOUS 173922 HAS SOUPS 172735 WITH SCORE 173041.08
AT ITER 1528 NEW BEST:: SOT 542697 SOS 305758 HAS SOPS 300740 HAS SOUS 173600 HAS SOUPS 172413 WITH SCORE 172718.758
AT ITER 1542 NEW BEST:: SOT 542676 SOS 305341 HAS SOPS 300323 HAS SOUS 173513 HAS SOUPS 172326 WITH SCORE 172631.341
AT ITER 1553 NEW BEST:: SOT 542651 SOS 305329 HAS SOPS 300370 HAS SOUS 173416 HAS SOUPS 172229 WITH SCORE 172534.329
AT ITER 1557 NEW BEST:: SOT 542745 SOS 305486 HAS SOPS 300631 HAS SOUS 173245 HAS SOUPS 172058 WITH SCORE 172363.486
AT ITER 1558 NEW BEST:: SOT 542709 SOS 305336 HAS SOPS 300481 HAS SOUS 173173 HAS SOUPS 171986 WITH SCORE 172291.336
AT ITER 1569 NEW BEST:: SOT 542689 SOS 305316 HAS SOPS 300461 HAS SOUS 173133 HAS SOUPS 171946 WITH SCORE 172251.316
AT ITER 1571 NEW BEST:: SOT 542570 SOS 305357 HAS SOPS 300502 HAS SOUS 172859 HAS SOUPS 171672 WITH SCORE 171977.357
AT ITER 1574 NEW BEST:: SOT 542570 SOS 305287 HAS SOPS 300432 HAS SOUS 172859 HAS SOUPS 171672 WITH SCORE 171977.287
AT ITER 1586 NEW BEST:: SOT 543528 SOS 303018 HAS SOPS 298163 HAS SOUS 171498 HAS SOUPS 170311 WITH SCORE 170614.018
AT ITER 1589 NEW BEST:: SOT 543528 SOS 302944 HAS SOPS 298091 HAS SOUS 171456 HAS SOUPS 170269 WITH SCORE 170571.944
AT ITER 1590 NEW BEST:: SOT 543732 SOS 301465 HAS SOPS 296612 HAS SOUS 168558 HAS SOUPS 167371 WITH SCORE 167672.465
AT ITER 1593 NEW BEST:: SOT 543459 SOS 301121 HAS SOPS 296268 HAS SOUS 168427 HAS SOUPS 167240 WITH SCORE 167541.121
AT ITER 1598 NEW BEST:: SOT 542073 SOS 299669 HAS SOPS 294816 HAS SOUS 166975 HAS SOUPS 165788 WITH SCORE 166087.669
AT ITER 1604 NEW BEST:: SOT 542077 SOS 299628 HAS SOPS 294775 HAS SOUS 166961 HAS SOUPS 165774 WITH SCORE 166073.628
AT ITER 1607 NEW BEST:: SOT 542077 SOS 299620 HAS SOPS 294767 HAS SOUS 166945 HAS SOUPS 165758 WITH SCORE 166057.62
AT ITER 1611 NEW BEST:: SOT 541033 SOS 298378 HAS SOPS 293525 HAS SOUS 166161 HAS SOUPS 164974 WITH SCORE 165272.378
AT ITER 1618 NEW BEST:: SOT 541033 SOS 298378 HAS SOPS 292337 HAS SOUS 166002 HAS SOUPS 164643 WITH SCORE 164941.378
AT ITER 1626 NEW BEST:: SOT 541011 SOS 297696 HAS SOPS 291853 HAS SOUS 165895 HAS SOUPS 164558 WITH SCORE 164855.696
AT ITER 1630 NEW BEST:: SOT 540970 SOS 297683 HAS SOPS 291907 HAS SOUS 165880 HAS SOUPS 164543 WITH SCORE 164840.683
AT ITER 1631 NEW BEST:: SOT 541137 SOS 297843 HAS SOPS 292067 HAS SOUS 165792 HAS SOUPS 164455 WITH SCORE 164752.843
AT ITER 1639 NEW BEST:: SOT 541059 SOS 297453 HAS SOPS 291755 HAS SOUS 165792 HAS SOUPS 164455 WITH SCORE 164752.453
AT ITER 1646 NEW BEST:: SOT 541010 SOS 297514 HAS SOPS 291684 HAS SOUS 165674 HAS SOUPS 164315 WITH SCORE 164612.514
AT ITER 1654 NEW BEST:: SOT 541005 SOS 290088 HAS SOPS 284258 HAS SOUS 165564 HAS SOUPS 164205 WITH SCORE 164495.088
AT ITER 1659 NEW BEST:: SOT 541030 SOS 290266 HAS SOPS 284436 HAS SOUS 165502 HAS SOUPS 164143 WITH SCORE 164433.266
AT ITER 1680 NEW BEST:: SOT 541009 SOS 290266 HAS SOPS 284436 HAS SOUS 165460 HAS SOUPS 164101 WITH SCORE 164391.266
AT ITER 1698 NEW BEST:: SOT 541003 SOS 290284 HAS SOPS 284454 HAS SOUS 165448 HAS SOUPS 164089 WITH SCORE 164379.284
AT ITER 1706 NEW BEST:: SOT 541003 SOS 290161 HAS SOPS 284331 HAS SOUS 165417 HAS SOUPS 164058 WITH SCORE 164348.161
AT ITER 1711 NEW BEST:: SOT 540877 SOS 290037 HAS SOPS 284207 HAS SOUS 165244 HAS SOUPS 163885 WITH SCORE 164175.037
AT ITER 1712 NEW BEST:: SOT 540907 SOS 289421 HAS SOPS 283591 HAS SOUS 165236 HAS SOUPS 163877 WITH SCORE 164166.421
AT ITER 1714 NEW BEST:: SOT 540945 SOS 289742 HAS SOPS 283912 HAS SOUS 165136 HAS SOUPS 163777 WITH SCORE 164066.742
AT ITER 1718 NEW BEST:: SOT 540959 SOS 289623 HAS SOPS 283793 HAS SOUS 165017 HAS SOUPS 163658 WITH SCORE 163947.623
AT ITER 1725 NEW BEST:: SOT 540764 SOS 289340 HAS SOPS 283510 HAS SOUS 164871 HAS SOUPS 163512 WITH SCORE 163801.34
AT ITER 1753 NEW BEST:: SOT 540573 SOS 289092 HAS SOPS 283262 HAS SOUS 164532 HAS SOUPS 163173 WITH SCORE 163462.092
AT ITER 1755 NEW BEST:: SOT 540573 SOS 288520 HAS SOPS 282690 HAS SOUS 164520 HAS SOUPS 163161 WITH SCORE 163449.52
AT ITER 1785 NEW BEST:: SOT 540561 SOS 288483 HAS SOPS 282683 HAS SOUS 164449 HAS SOUPS 163090 WITH SCORE 163378.483
AT ITER 1787 NEW BEST:: SOT 540537 SOS 288423 HAS SOPS 282623 HAS SOUS 164425 HAS SOUPS 163066 WITH SCORE 163354.423
AT ITER 1789 NEW BEST:: SOT 543897 SOS 289530 HAS SOPS 283730 HAS SOUS 163604 HAS SOUPS 162245 WITH SCORE 162534.53
AT ITER 1790 NEW BEST:: SOT 543881 SOS 289514 HAS SOPS 283714 HAS SOUS 163572 HAS SOUPS 162213 WITH SCORE 162502.514
AT ITER 1801 NEW BEST:: SOT 543896 SOS 289506 HAS SOPS 283728 HAS SOUS 163572 HAS SOUPS 162213 WITH SCORE 162502.506
AT ITER 1817 NEW BEST:: SOT 543882 SOS 289436 HAS SOPS 283658 HAS SOUS 163558 HAS SOUPS 162199 WITH SCORE 162488.436
AT ITER 1823 NEW BEST:: SOT 543883 SOS 289457 HAS SOPS 283679 HAS SOUS 163520 HAS SOUPS 162161 WITH SCORE 162450.457
AT ITER 1824 NEW BEST:: SOT 543901 SOS 288013 HAS SOPS 282235 HAS SOUS 163298 HAS SOUPS 161939 WITH SCORE 162227.013
AT ITER 1827 NEW BEST:: SOT 543529 SOS 290826 HAS SOPS 285048 HAS SOUS 163248 HAS SOUPS 161889 WITH SCORE 162179.826
AT ITER 1845 NEW BEST:: SOT 543468 SOS 290820 HAS SOPS 285049 HAS SOUS 163207 HAS SOUPS 161848 WITH SCORE 162138.82
AT ITER 1850 NEW BEST:: SOT 543449 SOS 290801 HAS SOPS 285030 HAS SOUS 163169 HAS SOUPS 161810 WITH SCORE 162100.801
AT ITER 1859 NEW BEST:: SOT 543427 SOS 290785 HAS SOPS 285014 HAS SOUS 163125 HAS SOUPS 161766 WITH SCORE 162056.785
AT ITER 1866 NEW BEST:: SOT 543269 SOS 290583 HAS SOPS 284793 HAS SOUS 162754 HAS SOUPS 161395 WITH SCORE 161685.583
AT ITER 1881 NEW BEST:: SOT 543119 SOS 290221 HAS SOPS 284431 HAS SOUS 162688 HAS SOUPS 161329 WITH SCORE 161619.221
AT ITER 1898 NEW BEST:: SOT 543096 SOS 290198 HAS SOPS 284408 HAS SOUS 162662 HAS SOUPS 161303 WITH SCORE 161593.198
AT ITER 1911 NEW BEST:: SOT 542589 SOS 289751 HAS SOPS 283961 HAS SOUS 162277 HAS SOUPS 160918 WITH SCORE 161207.751
AT ITER 1924 NEW BEST:: SOT 542587 SOS 289749 HAS SOPS 283939 HAS SOUS 162273 HAS SOUPS 160914 WITH SCORE 161203.749
AT ITER 1928 NEW BEST:: SOT 542581 SOS 289743 HAS SOPS 283933 HAS SOUS 162269 HAS SOUPS 160910 WITH SCORE 161199.743
AT ITER 1931 NEW BEST:: SOT 542590 SOS 289660 HAS SOPS 283850 HAS SOUS 162117 HAS SOUPS 160758 WITH SCORE 161047.66
AT ITER 1940 NEW BEST:: SOT 542476 SOS 289630 HAS SOPS 283860 HAS SOUS 162021 HAS SOUPS 160662 WITH SCORE 160951.63
AT ITER 1944 NEW BEST:: SOT 542476 SOS 290731 HAS SOPS 284817 HAS SOUS 161881 HAS SOUPS 160486 WITH SCORE 160776.731
AT ITER 1971 NEW BEST:: SOT 542172 SOS 290514 HAS SOPS 284600 HAS SOUS 161552 HAS SOUPS 160157 WITH SCORE 160447.514
AT ITER 1972 NEW BEST:: SOT 542139 SOS 290437 HAS SOPS 284559 HAS SOUS 161464 HAS SOUPS 160074 WITH SCORE 160364.437
AT ITER 1978 NEW BEST:: SOT 542017 SOS 290201 HAS SOPS 284323 HAS SOUS 161358 HAS SOUPS 159968 WITH SCORE 160258.201
AT ITER 1979 NEW BEST:: SOT 541831 SOS 290290 HAS SOPS 284374 HAS SOUS 161350 HAS SOUPS 159960 WITH SCORE 160250.29
AT ITER 1986 NEW BEST:: SOT 541805 SOS 290074 HAS SOPS 284104 HAS SOUS 161244 HAS SOUPS 159854 WITH SCORE 160144.074
AT ITER 2012 NEW BEST:: SOT 542468 SOS 288637 HAS SOPS 282667 HAS SOUS 160916 HAS SOUPS 159526 WITH SCORE 159814.637
AT ITER 2017 NEW BEST:: SOT 542449 SOS 288618 HAS SOPS 282667 HAS SOUS 160840 HAS SOUPS 159450 WITH SCORE 159738.618
AT ITER 2019 NEW BEST:: SOT 542449 SOS 288670 HAS SOPS 282719 HAS SOUS 160777 HAS SOUPS 159387 WITH SCORE 159675.67
AT ITER 2032 NEW BEST:: SOT 542445 SOS 288666 HAS SOPS 282730 HAS SOUS 160753 HAS SOUPS 159363 WITH SCORE 159651.666
AT ITER 2045 NEW BEST:: SOT 542439 SOS 288658 HAS SOPS 282722 HAS SOUS 160745 HAS SOUPS 159355 WITH SCORE 159643.658
AT ITER 2068 NEW BEST:: SOT 542439 SOS 288663 HAS SOPS 282727 HAS SOUS 160688 HAS SOUPS 159298 WITH SCORE 159586.663
AT ITER 2081 NEW BEST:: SOT 542439 SOS 288663 HAS SOPS 282727 HAS SOUS 160596 HAS SOUPS 159206 WITH SCORE 159494.663
AT ITER 2086 NEW BEST:: SOT 542439 SOS 288695 HAS SOPS 282751 HAS SOUS 160549 HAS SOUPS 159159 WITH SCORE 159447.695
AT ITER 2093 NEW BEST:: SOT 542434 SOS 288690 HAS SOPS 282746 HAS SOUS 160539 HAS SOUPS 159149 WITH SCORE 159437.69
AT ITER 2105 NEW BEST:: SOT 542421 SOS 288650 HAS SOPS 282706 HAS SOUS 160511 HAS SOUPS 159121 WITH SCORE 159409.65
AT ITER 2110 NEW BEST:: SOT 541920 SOS 288305 HAS SOPS 282361 HAS SOUS 160287 HAS SOUPS 158897 WITH SCORE 159185.305
AT ITER 2112 NEW BEST:: SOT 541661 SOS 287508 HAS SOPS 282200 HAS SOUS 160052 HAS SOUPS 158768 WITH SCORE 159055.508
AT ITER 2118 NEW BEST:: SOT 541656 SOS 287418 HAS SOPS 282110 HAS SOUS 159859 HAS SOUPS 158575 WITH SCORE 158862.418
AT ITER 2137 NEW BEST:: SOT 541609 SOS 287295 HAS SOPS 282013 HAS SOUS 159762 HAS SOUPS 158478 WITH SCORE 158765.295
AT ITER 2156 NEW BEST:: SOT 541641 SOS 287327 HAS SOPS 282045 HAS SOUS 159760 HAS SOUPS 158476 WITH SCORE 158763.327
AT ITER 2157 NEW BEST:: SOT 541637 SOS 287319 HAS SOPS 282037 HAS SOUS 159754 HAS SOUPS 158470 WITH SCORE 158757.319
AT ITER 2165 NEW BEST:: SOT 541518 SOS 287149 HAS SOPS 281867 HAS SOUS 159618 HAS SOUPS 158334 WITH SCORE 158621.149
AT ITER 2174 NEW BEST:: SOT 541518 SOS 287099 HAS SOPS 281817 HAS SOUS 159593 HAS SOUPS 158309 WITH SCORE 158596.099
AT ITER 2179 NEW BEST:: SOT 541350 SOS 286981 HAS SOPS 281699 HAS SOUS 159456 HAS SOUPS 158172 WITH SCORE 158458.981
AT ITER 2181 NEW BEST:: SOT 541190 SOS 286875 HAS SOPS 281660 HAS SOUS 159387 HAS SOUPS 158103 WITH SCORE 158389.875
AT ITER 2183 NEW BEST:: SOT 541157 SOS 286990 HAS SOPS 281775 HAS SOUS 159221 HAS SOUPS 157937 WITH SCORE 158223.99
AT ITER 2200 NEW BEST:: SOT 541157 SOS 286990 HAS SOPS 281775 HAS SOUS 159219 HAS SOUPS 157935 WITH SCORE 158221.99
AT ITER 2201 NEW BEST:: SOT 541081 SOS 286256 HAS SOPS 281041 HAS SOUS 158665 HAS SOUPS 157381 WITH SCORE 157667.256
AT ITER 2203 NEW BEST:: SOT 541012 SOS 286131 HAS SOPS 280916 HAS SOUS 158554 HAS SOUPS 157270 WITH SCORE 157556.131
AT ITER 2205 NEW BEST:: SOT 541004 SOS 285600 HAS SOPS 280385 HAS SOUS 158546 HAS SOUPS 157262 WITH SCORE 157547.6
AT ITER 2209 NEW BEST:: SOT 540961 SOS 285514 HAS SOPS 280299 HAS SOUS 158460 HAS SOUPS 157176 WITH SCORE 157461.514
AT ITER 2214 NEW BEST:: SOT 540912 SOS 285465 HAS SOPS 280275 HAS SOUS 158272 HAS SOUPS 156988 WITH SCORE 157273.465
AT ITER 2241 NEW BEST:: SOT 540827 SOS 285567 HAS SOPS 280377 HAS SOUS 158215 HAS SOUPS 156931 WITH SCORE 157216.567
AT ITER 2248 NEW BEST:: SOT 540827 SOS 285567 HAS SOPS 280377 HAS SOUS 158208 HAS SOUPS 156924 WITH SCORE 157209.567
AT ITER 2249 NEW BEST:: SOT 540827 SOS 285515 HAS SOPS 280325 HAS SOUS 158208 HAS SOUPS 156924 WITH SCORE 157209.515
AT ITER 2252 NEW BEST:: SOT 540825 SOS 285513 HAS SOPS 280322 HAS SOUS 158204 HAS SOUPS 156920 WITH SCORE 157205.513
AT ITER 2255 NEW BEST:: SOT 540824 SOS 285513 HAS SOPS 280322 HAS SOUS 158203 HAS SOUPS 156919 WITH SCORE 157204.513
AT ITER 2264 NEW BEST:: SOT 540586 SOS 285275 HAS SOPS 280084 HAS SOUS 157923 HAS SOUPS 156639 WITH SCORE 156924.275
AT ITER 2275 NEW BEST:: SOT 540227 SOS 296046 HAS SOPS 290855 HAS SOUS 157644 HAS SOUPS 156360 WITH SCORE 156656.046
AT ITER 2293 NEW BEST:: SOT 540948 SOS 295739 HAS SOPS 290548 HAS SOUS 157372 HAS SOUPS 156088 WITH SCORE 156383.739
AT ITER 2300 NEW BEST:: SOT 540948 SOS 295657 HAS SOPS 290466 HAS SOUS 157369 HAS SOUPS 156085 WITH SCORE 156380.657
AT ITER 2311 NEW BEST:: SOT 540839 SOS 295331 HAS SOPS 290140 HAS SOUS 157368 HAS SOUPS 156084 WITH SCORE 156379.331
AT ITER 2312 NEW BEST:: SOT 540818 SOS 295310 HAS SOPS 290119 HAS SOUS 157326 HAS SOUPS 156042 WITH SCORE 156337.31
AT ITER 2318 NEW BEST:: SOT 540838 SOS 295424 HAS SOPS 290165 HAS SOUS 157305 HAS SOUPS 156021 WITH SCORE 156316.424
AT ITER 2334 NEW BEST:: SOT 540349 SOS 295563 HAS SOPS 290304 HAS SOUS 157028 HAS SOUPS 155744 WITH SCORE 156039.563
AT ITER 2341 NEW BEST:: SOT 540208 SOS 295449 HAS SOPS 290190 HAS SOUS 156758 HAS SOUPS 155474 WITH SCORE 155769.449
AT ITER 2343 NEW BEST:: SOT 540208 SOS 295449 HAS SOPS 290190 HAS SOUS 156752 HAS SOUPS 155468 WITH SCORE 155763.449
AT ITER 2345 NEW BEST:: SOT 540208 SOS 295070 HAS SOPS 289811 HAS SOUS 156752 HAS SOUPS 155468 WITH SCORE 155763.07
AT ITER 2349 NEW BEST:: SOT 540212 SOS 295098 HAS SOPS 289839 HAS SOUS 156736 HAS SOUPS 155452 WITH SCORE 155747.098
AT ITER 2356 NEW BEST:: SOT 540297 SOS 295282 HAS SOPS 290023 HAS SOUS 156658 HAS SOUPS 155374 WITH SCORE 155669.282
AT ITER 2375 NEW BEST:: SOT 540148 SOS 295087 HAS SOPS 289828 HAS SOUS 156528 HAS SOUPS 155244 WITH SCORE 155539.087
AT ITER 2379 NEW BEST:: SOT 539572 SOS 294511 HAS SOPS 289252 HAS SOUS 155952 HAS SOUPS 154668 WITH SCORE 154962.511
AT ITER 2388 NEW BEST:: SOT 539504 SOS 294443 HAS SOPS 289184 HAS SOUS 155884 HAS SOUPS 154600 WITH SCORE 154894.443
AT ITER 2396 NEW BEST:: SOT 539384 SOS 294365 HAS SOPS 289106 HAS SOUS 155734 HAS SOUPS 154450 WITH SCORE 154744.365
AT ITER 2401 NEW BEST:: SOT 538994 SOS 293975 HAS SOPS 288716 HAS SOUS 155659 HAS SOUPS 154375 WITH SCORE 154668.975
AT ITER 2409 NEW BEST:: SOT 539005 SOS 293711 HAS SOPS 288452 HAS SOUS 155593 HAS SOUPS 154309 WITH SCORE 154602.711
AT ITER 2453 NEW BEST:: SOT 538435 SOS 293141 HAS SOPS 287882 HAS SOUS 155023 HAS SOUPS 153739 WITH SCORE 154032.141
AT ITER 2454 NEW BEST:: SOT 538467 SOS 293021 HAS SOPS 287762 HAS SOUS 154999 HAS SOUPS 153715 WITH SCORE 154008.021
AT ITER 2458 NEW BEST:: SOT 539856 SOS 287564 HAS SOPS 282305 HAS SOUS 154639 HAS SOUPS 153355 WITH SCORE 153642.564
AT ITER 2495 NEW BEST:: SOT 539894 SOS 287716 HAS SOPS 282457 HAS SOUS 154601 HAS SOUPS 153317 WITH SCORE 153604.716
AT ITER 2507 NEW BEST:: SOT 539929 SOS 287751 HAS SOPS 282492 HAS SOUS 154596 HAS SOUPS 153312 WITH SCORE 153599.751
AT ITER 2509 NEW BEST:: SOT 539869 SOS 287601 HAS SOPS 282432 HAS SOUS 154521 HAS SOUPS 153252 WITH SCORE 153539.601
AT ITER 2524 NEW BEST:: SOT 539197 SOS 286882 HAS SOPS 281713 HAS SOUS 153809 HAS SOUPS 152540 WITH SCORE 152826.882
AT ITER 2546 NEW BEST:: SOT 539211 SOS 286896 HAS SOPS 281727 HAS SOUS 153802 HAS SOUPS 152533 WITH SCORE 152819.896
AT ITER 2567 NEW BEST:: SOT 539001 SOS 286686 HAS SOPS 281517 HAS SOUS 153592 HAS SOUPS 152323 WITH SCORE 152609.686
AT ITER 2570 NEW BEST:: SOT 538423 SOS 286125 HAS SOPS 280956 HAS SOUS 153364 HAS SOUPS 152095 WITH SCORE 152381.125
AT ITER 2583 NEW BEST:: SOT 538411 SOS 286134 HAS SOPS 280965 HAS SOUS 153358 HAS SOUPS 152089 WITH SCORE 152375.134
AT ITER 2623 NEW BEST:: SOT 538411 SOS 286235 HAS SOPS 281066 HAS SOUS 153349 HAS SOUPS 152080 WITH SCORE 152366.235
AT ITER 2633 NEW BEST:: SOT 539179 SOS 284251 HAS SOPS 279082 HAS SOUS 153253 HAS SOUPS 151984 WITH SCORE 152268.251
AT ITER 2635 NEW BEST:: SOT 538568 SOS 283599 HAS SOPS 278430 HAS SOUS 152896 HAS SOUPS 151627 WITH SCORE 151910.599
AT ITER 2638 NEW BEST:: SOT 538532 SOS 283563 HAS SOPS 278394 HAS SOUS 152848 HAS SOUPS 151579 WITH SCORE 151862.563
AT ITER 2655 NEW BEST:: SOT 538532 SOS 286079 HAS SOPS 280910 HAS SOUS 152523 HAS SOUPS 151254 WITH SCORE 151540.079
AT ITER 2656 NEW BEST:: SOT 538364 SOS 286221 HAS SOPS 281052 HAS SOUS 152355 HAS SOUPS 151086 WITH SCORE 151372.221
AT ITER 2664 NEW BEST:: SOT 538352 SOS 286317 HAS SOPS 281148 HAS SOUS 152137 HAS SOUPS 150868 WITH SCORE 151154.317
AT ITER 2677 NEW BEST:: SOT 538844 SOS 286050 HAS SOPS 280881 HAS SOUS 151644 HAS SOUPS 150375 WITH SCORE 150661.05
AT ITER 2681 NEW BEST:: SOT 538844 SOS 286198 HAS SOPS 281029 HAS SOUS 151491 HAS SOUPS 150222 WITH SCORE 150508.198
AT ITER 2686 NEW BEST:: SOT 539054 SOS 286503 HAS SOPS 281334 HAS SOUS 151357 HAS SOUPS 150088 WITH SCORE 150374.503
AT ITER 2687 NEW BEST:: SOT 539040 SOS 286542 HAS SOPS 281373 HAS SOUS 151329 HAS SOUPS 150060 WITH SCORE 150346.542
AT ITER 2701 NEW BEST:: SOT 538960 SOS 286437 HAS SOPS 281268 HAS SOUS 151013 HAS SOUPS 149744 WITH SCORE 150030.437
AT ITER 2709 NEW BEST:: SOT 538943 SOS 286964 HAS SOPS 281727 HAS SOUS 151027 HAS SOUPS 149741 WITH SCORE 150027.964
AT ITER 2719 NEW BEST:: SOT 538875 SOS 287027 HAS SOPS 281790 HAS SOUS 150837 HAS SOUPS 149551 WITH SCORE 149838.027
AT ITER 2723 NEW BEST:: SOT 538716 SOS 286685 HAS SOPS 281448 HAS SOUS 150765 HAS SOUPS 149479 WITH SCORE 149765.685
AT ITER 2725 NEW BEST:: SOT 538603 SOS 283338 HAS SOPS 278101 HAS SOUS 149722 HAS SOUPS 148436 WITH SCORE 148719.338
AT ITER 2753 NEW BEST:: SOT 538525 SOS 283293 HAS SOPS 278056 HAS SOUS 149677 HAS SOUPS 148391 WITH SCORE 148674.293
AT ITER 2770 NEW BEST:: SOT 538592 SOS 283472 HAS SOPS 278235 HAS SOUS 149552 HAS SOUPS 148266 WITH SCORE 148549.472
AT ITER 2787 NEW BEST:: SOT 537989 SOS 282924 HAS SOPS 277687 HAS SOUS 148267 HAS SOUPS 146981 WITH SCORE 147263.924
AT ITER 2797 NEW BEST:: SOT 537965 SOS 282869 HAS SOPS 277632 HAS SOUS 148247 HAS SOUPS 146961 WITH SCORE 147243.869
AT ITER 2824 NEW BEST:: SOT 538044 SOS 283228 HAS SOPS 277991 HAS SOUS 148179 HAS SOUPS 146893 WITH SCORE 147176.228
AT ITER 2831 NEW BEST:: SOT 538031 SOS 283241 HAS SOPS 278004 HAS SOUS 148166 HAS SOUPS 146880 WITH SCORE 147163.241
AT ITER 2841 NEW BEST:: SOT 537934 SOS 283144 HAS SOPS 277907 HAS SOUS 148042 HAS SOUPS 146756 WITH SCORE 147039.144
AT ITER 2846 NEW BEST:: SOT 537939 SOS 283112 HAS SOPS 277875 HAS SOUS 148010 HAS SOUPS 146724 WITH SCORE 147007.112
AT ITER 2849 NEW BEST:: SOT 538028 SOS 287143 HAS SOPS 281906 HAS SOUS 147891 HAS SOUPS 146605 WITH SCORE 146892.143
AT ITER 2853 NEW BEST:: SOT 537883 SOS 286998 HAS SOPS 281761 HAS SOUS 147746 HAS SOUPS 146460 WITH SCORE 146746.998
AT ITER 2855 NEW BEST:: SOT 537887 SOS 287052 HAS SOPS 281815 HAS SOUS 147744 HAS SOUPS 146458 WITH SCORE 146745.052
AT ITER 2870 NEW BEST:: SOT 537822 SOS 286927 HAS SOPS 281690 HAS SOUS 147682 HAS SOUPS 146396 WITH SCORE 146682.927
AT ITER 2882 NEW BEST:: SOT 537987 SOS 295465 HAS SOPS 290228 HAS SOUS 147659 HAS SOUPS 146373 WITH SCORE 146668.465
AT ITER 2888 NEW BEST:: SOT 538029 SOS 295509 HAS SOPS 290272 HAS SOUS 147463 HAS SOUPS 146177 WITH SCORE 146472.509
AT ITER 2907 NEW BEST:: SOT 537993 SOS 295437 HAS SOPS 290200 HAS SOUS 147415 HAS SOUPS 146129 WITH SCORE 146424.437
AT ITER 2914 NEW BEST:: SOT 537999 SOS 295532 HAS SOPS 290295 HAS SOUS 147389 HAS SOUPS 146103 WITH SCORE 146398.532
AT ITER 2915 NEW BEST:: SOT 537999 SOS 295485 HAS SOPS 290248 HAS SOUS 147310 HAS SOUPS 146024 WITH SCORE 146319.485
AT ITER 2923 NEW BEST:: SOT 537923 SOS 295409 HAS SOPS 290172 HAS SOUS 147218 HAS SOUPS 145932 WITH SCORE 146227.409
AT ITER 2924 NEW BEST:: SOT 537934 SOS 296190 HAS SOPS 290953 HAS SOUS 147207 HAS SOUPS 145921 WITH SCORE 146217.19
AT ITER 2928 NEW BEST:: SOT 538169 SOS 296225 HAS SOPS 290988 HAS SOUS 147095 HAS SOUPS 145809 WITH SCORE 146105.225
AT ITER 2935 NEW BEST:: SOT 537239 SOS 292969 HAS SOPS 287732 HAS SOUS 146137 HAS SOUPS 144851 WITH SCORE 145143.969
AT ITER 2940 NEW BEST:: SOT 537235 SOS 292843 HAS SOPS 287606 HAS SOUS 146110 HAS SOUPS 144824 WITH SCORE 145116.843
AT ITER 2952 NEW BEST:: SOT 537038 SOS 292646 HAS SOPS 287409 HAS SOUS 145936 HAS SOUPS 144650 WITH SCORE 144942.646
AT ITER 2973 NEW BEST:: SOT 537017 SOS 292625 HAS SOPS 287388 HAS SOUS 145883 HAS SOUPS 144597 WITH SCORE 144889.625
AT ITER 2975 NEW BEST:: SOT 537078 SOS 292827 HAS SOPS 287590 HAS SOUS 145822 HAS SOUPS 144536 WITH SCORE 144828.827
AT ITER 2989 NEW BEST:: SOT 536917 SOS 293258 HAS SOPS 288293 HAS SOUS 145775 HAS SOUPS 144489 WITH SCORE 144782.258
AT ITER 2995 NEW BEST:: SOT 536837 SOS 293178 HAS SOPS 288213 HAS SOUS 145695 HAS SOUPS 144409 WITH SCORE 144702.178
AT ITER 3002 NEW BEST:: SOT 536991 SOS 293376 HAS SOPS 288411 HAS SOUS 145443 HAS SOUPS 144157 WITH SCORE 144450.376
AT ITER 3015 NEW BEST:: SOT 537009 SOS 293445 HAS SOPS 288480 HAS SOUS 145399 HAS SOUPS 144113 WITH SCORE 144406.445
AT ITER 3023 NEW BEST:: SOT 536837 SOS 293089 HAS SOPS 288124 HAS SOUS 145197 HAS SOUPS 143911 WITH SCORE 144204.089
AT ITER 3034 NEW BEST:: SOT 536805 SOS 293057 HAS SOPS 288092 HAS SOUS 145133 HAS SOUPS 143847 WITH SCORE 144140.057
AT ITER 3051 NEW BEST:: SOT 536760 SOS 292967 HAS SOPS 288002 HAS SOUS 145133 HAS SOUPS 143847 WITH SCORE 144139.967
AT ITER 3052 NEW BEST:: SOT 536760 SOS 293484 HAS SOPS 288519 HAS SOUS 145109 HAS SOUPS 143823 WITH SCORE 144116.484
AT ITER 3055 NEW BEST:: SOT 536824 SOS 293925 HAS SOPS 288960 HAS SOUS 145007 HAS SOUPS 143721 WITH SCORE 144014.925
AT ITER 3071 NEW BEST:: SOT 536741 SOS 293740 HAS SOPS 288775 HAS SOUS 144994 HAS SOUPS 143708 WITH SCORE 144001.74
AT ITER 3075 NEW BEST:: SOT 536669 SOS 293668 HAS SOPS 288688 HAS SOUS 144862 HAS SOUPS 143576 WITH SCORE 143869.668
AT ITER 3088 NEW BEST:: SOT 536432 SOS 293279 HAS SOPS 288299 HAS SOUS 144854 HAS SOUPS 143568 WITH SCORE 143861.279
AT ITER 3094 NEW BEST:: SOT 536204 SOS 293051 HAS SOPS 288071 HAS SOUS 144591 HAS SOUPS 143305 WITH SCORE 143598.051
AT ITER 3099 NEW BEST:: SOT 536204 SOS 293032 HAS SOPS 288052 HAS SOUS 144542 HAS SOUPS 143256 WITH SCORE 143549.032
AT ITER 3108 NEW BEST:: SOT 535963 SOS 293056 HAS SOPS 287811 HAS SOUS 144352 HAS SOUPS 143013 WITH SCORE 143306.056
AT ITER 3117 NEW BEST:: SOT 535647 SOS 292779 HAS SOPS 287534 HAS SOUS 144072 HAS SOUPS 142733 WITH SCORE 143025.779
AT ITER 3166 NEW BEST:: SOT 535541 SOS 292859 HAS SOPS 287614 HAS SOUS 143835 HAS SOUPS 142496 WITH SCORE 142788.859
AT ITER 3172 NEW BEST:: SOT 535530 SOS 292848 HAS SOPS 287603 HAS SOUS 143750 HAS SOUPS 142411 WITH SCORE 142703.848
AT ITER 3186 NEW BEST:: SOT 535501 SOS 292790 HAS SOPS 287545 HAS SOUS 143692 HAS SOUPS 142353 WITH SCORE 142645.79
AT ITER 3187 NEW BEST:: SOT 535353 SOS 292642 HAS SOPS 287381 HAS SOUS 143412 HAS SOUPS 142073 WITH SCORE 142365.642
AT ITER 3191 NEW BEST:: SOT 535187 SOS 292784 HAS SOPS 287501 HAS SOUS 143334 HAS SOUPS 141995 WITH SCORE 142287.784
AT ITER 3210 NEW BEST:: SOT 535265 SOS 292742 HAS SOPS 287459 HAS SOUS 143266 HAS SOUPS 141927 WITH SCORE 142219.742
AT ITER 3218 NEW BEST:: SOT 535265 SOS 292716 HAS SOPS 287433 HAS SOUS 143254 HAS SOUPS 141915 WITH SCORE 142207.716
AT ITER 3230 NEW BEST:: SOT 535265 SOS 292719 HAS SOPS 287436 HAS SOUS 143251 HAS SOUPS 141912 WITH SCORE 142204.719
AT ITER 3250 NEW BEST:: SOT 535069 SOS 292650 HAS SOPS 287447 HAS SOUS 143103 HAS SOUPS 141764 WITH SCORE 142056.65
AT ITER 3258 NEW BEST:: SOT 535110 SOS 300074 HAS SOPS 294871 HAS SOUS 142948 HAS SOUPS 141609 WITH SCORE 141909.074
AT ITER 3285 NEW BEST:: SOT 535114 SOS 300078 HAS SOPS 294876 HAS SOUS 142947 HAS SOUPS 141608 WITH SCORE 141908.078
AT ITER 3320 NEW BEST:: SOT 535070 SOS 300035 HAS SOPS 294832 HAS SOUS 142903 HAS SOUPS 141564 WITH SCORE 141864.035
AT ITER 3334 NEW BEST:: SOT 535294 SOS 300291 HAS SOPS 295088 HAS SOUS 142860 HAS SOUPS 141521 WITH SCORE 141821.291
AT ITER 3336 NEW BEST:: SOT 535265 SOS 300514 HAS SOPS 295311 HAS SOUS 142730 HAS SOUPS 141391 WITH SCORE 141691.514
AT ITER 3343 NEW BEST:: SOT 535529 SOS 300778 HAS SOPS 295575 HAS SOUS 142411 HAS SOUPS 141072 WITH SCORE 141372.778
AT ITER 3358 NEW BEST:: SOT 535530 SOS 300727 HAS SOPS 295524 HAS SOUS 142395 HAS SOUPS 141056 WITH SCORE 141356.727
AT ITER 3366 NEW BEST:: SOT 535430 SOS 300656 HAS SOPS 295453 HAS SOUS 142394 HAS SOUPS 141055 WITH SCORE 141355.656
AT ITER 3397 NEW BEST:: SOT 535372 SOS 300775 HAS SOPS 295572 HAS SOUS 142239 HAS SOUPS 140900 WITH SCORE 141200.775
AT ITER 3405 NEW BEST:: SOT 535372 SOS 300775 HAS SOPS 295572 HAS SOUS 142191 HAS SOUPS 140852 WITH SCORE 141152.775
AT ITER 3411 NEW BEST:: SOT 535342 SOS 301406 HAS SOPS 296203 HAS SOUS 142010 HAS SOUPS 140671 WITH SCORE 140972.406
AT ITER 3431 NEW BEST:: SOT 535319 SOS 301331 HAS SOPS 296128 HAS SOUS 141791 HAS SOUPS 140452 WITH SCORE 140753.331
AT ITER 3438 NEW BEST:: SOT 535305 SOS 301317 HAS SOPS 296114 HAS SOUS 141743 HAS SOUPS 140404 WITH SCORE 140705.317
AT ITER 3441 NEW BEST:: SOT 535211 SOS 301223 HAS SOPS 296020 HAS SOUS 141563 HAS SOUPS 140224 WITH SCORE 140525.223
AT ITER 3443 NEW BEST:: SOT 535377 SOS 301364 HAS SOPS 296161 HAS SOUS 141503 HAS SOUPS 140164 WITH SCORE 140465.364
AT ITER 3476 NEW BEST:: SOT 535344 SOS 301331 HAS SOPS 296128 HAS SOUS 141347 HAS SOUPS 140008 WITH SCORE 140309.331
AT ITER 3503 NEW BEST:: SOT 535223 SOS 301132 HAS SOPS 295929 HAS SOUS 141267 HAS SOUPS 139928 WITH SCORE 140229.132
AT ITER 3519 NEW BEST:: SOT 535117 SOS 300858 HAS SOPS 295655 HAS SOUS 141229 HAS SOUPS 139890 WITH SCORE 140190.858
AT ITER 3524 NEW BEST:: SOT 535111 SOS 300858 HAS SOPS 295655 HAS SOUS 141223 HAS SOUPS 139884 WITH SCORE 140184.858
AT ITER 3529 NEW BEST:: SOT 535456 SOS 301368 HAS SOPS 296165 HAS SOUS 141116 HAS SOUPS 139777 WITH SCORE 140078.368
AT ITER 3533 NEW BEST:: SOT 535428 SOS 301368 HAS SOPS 296165 HAS SOUS 141060 HAS SOUPS 139721 WITH SCORE 140022.368
AT ITER 3538 NEW BEST:: SOT 535429 SOS 301369 HAS SOPS 296166 HAS SOUS 141042 HAS SOUPS 139703 WITH SCORE 140004.369
AT ITER 3543 NEW BEST:: SOT 535405 SOS 301297 HAS SOPS 296094 HAS SOUS 141042 HAS SOUPS 139703 WITH SCORE 140004.297
AT ITER 3549 NEW BEST:: SOT 535405 SOS 301297 HAS SOPS 296094 HAS SOUS 141031 HAS SOUPS 139692 WITH SCORE 139993.297
AT ITER 3552 NEW BEST:: SOT 535492 SOS 301324 HAS SOPS 296121 HAS SOUS 141030 HAS SOUPS 139691 WITH SCORE 139992.324
AT ITER 3574 NEW BEST:: SOT 535618 SOS 301468 HAS SOPS 296265 HAS SOUS 140869 HAS SOUPS 139530 WITH SCORE 139831.468
AT ITER 3587 NEW BEST:: SOT 535618 SOS 301481 HAS SOPS 296278 HAS SOUS 140830 HAS SOUPS 139491 WITH SCORE 139792.481
AT ITER 3597 NEW BEST:: SOT 535652 SOS 301571 HAS SOPS 296368 HAS SOUS 140786 HAS SOUPS 139447 WITH SCORE 139748.571
AT ITER 3608 NEW BEST:: SOT 535627 SOS 301546 HAS SOPS 296343 HAS SOUS 140728 HAS SOUPS 139389 WITH SCORE 139690.546
AT ITER 3629 NEW BEST:: SOT 535616 SOS 299919 HAS SOPS 294716 HAS SOUS 140377 HAS SOUPS 139038 WITH SCORE 139337.919
AT ITER 3631 NEW BEST:: SOT 535660 SOS 300127 HAS SOPS 294924 HAS SOUS 140363 HAS SOUPS 139024 WITH SCORE 139324.127
AT ITER 3646 NEW BEST:: SOT 535624 SOS 300093 HAS SOPS 294890 HAS SOUS 140242 HAS SOUPS 138903 WITH SCORE 139203.093
AT ITER 3656 NEW BEST:: SOT 535608 SOS 300077 HAS SOPS 294874 HAS SOUS 140211 HAS SOUPS 138872 WITH SCORE 139172.077
AT ITER 3663 NEW BEST:: SOT 535573 SOS 299132 HAS SOPS 293929 HAS SOUS 140070 HAS SOUPS 138731 WITH SCORE 139030.132
AT ITER 3664 NEW BEST:: SOT 535431 SOS 299010 HAS SOPS 293825 HAS SOUS 139928 HAS SOUPS 138595 WITH SCORE 138894.01
AT ITER 3674 NEW BEST:: SOT 535430 SOS 299042 HAS SOPS 293853 HAS SOUS 139927 HAS SOUPS 138593 WITH SCORE 138892.042
AT ITER 3695 NEW BEST:: SOT 535544 SOS 299612 HAS SOPS 294403 HAS SOUS 139920 HAS SOUPS 138586 WITH SCORE 138885.612
AT ITER 3702 NEW BEST:: SOT 535525 SOS 299636 HAS SOPS 294395 HAS SOUS 139895 HAS SOUPS 138561 WITH SCORE 138860.636
AT ITER 3709 NEW BEST:: SOT 535561 SOS 299957 HAS SOPS 294716 HAS SOUS 139629 HAS SOUPS 138295 WITH SCORE 138594.957
AT ITER 3740 NEW BEST:: SOT 535546 SOS 299925 HAS SOPS 294684 HAS SOUS 139610 HAS SOUPS 138276 WITH SCORE 138575.925
AT ITER 3746 NEW BEST:: SOT 535546 SOS 299925 HAS SOPS 294684 HAS SOUS 139599 HAS SOUPS 138265 WITH SCORE 138564.925
AT ITER 3768 NEW BEST:: SOT 535546 SOS 299925 HAS SOPS 294684 HAS SOUS 139595 HAS SOUPS 138261 WITH SCORE 138560.925
AT ITER 3775 NEW BEST:: SOT 535465 SOS 299388 HAS SOPS 294147 HAS SOUS 139557 HAS SOUPS 138223 WITH SCORE 138522.388
AT ITER 3778 NEW BEST:: SOT 535453 SOS 299379 HAS SOPS 294138 HAS SOUS 139545 HAS SOUPS 138211 WITH SCORE 138510.379
AT ITER 3782 NEW BEST:: SOT 535429 SOS 299471 HAS SOPS 294230 HAS SOUS 139481 HAS SOUPS 138147 WITH SCORE 138446.471
AT ITER 3809 NEW BEST:: SOT 535423 SOS 299465 HAS SOPS 294224 HAS SOUS 139469 HAS SOUPS 138135 WITH SCORE 138434.465
AT ITER 3821 NEW BEST:: SOT 535978 SOS 295076 HAS SOPS 289835 HAS SOUS 139248 HAS SOUPS 137914 WITH SCORE 138209.076
AT ITER 3822 NEW BEST:: SOT 535583 SOS 294778 HAS SOPS 289537 HAS SOUS 138926 HAS SOUPS 137592 WITH SCORE 137886.778
AT ITER 3823 NEW BEST:: SOT 535466 SOS 294661 HAS SOPS 289420 HAS SOUS 138647 HAS SOUPS 137313 WITH SCORE 137607.661
AT ITER 3845 NEW BEST:: SOT 535460 SOS 294835 HAS SOPS 289570 HAS SOUS 138647 HAS SOUPS 137307 WITH SCORE 137601.835
AT ITER 3857 NEW BEST:: SOT 535460 SOS 294817 HAS SOPS 289552 HAS SOUS 138638 HAS SOUPS 137298 WITH SCORE 137592.817
AT ITER 3881 NEW BEST:: SOT 536101 SOS 295612 HAS SOPS 290347 HAS SOUS 138090 HAS SOUPS 136750 WITH SCORE 137045.612
AT ITER 3910 NEW BEST:: SOT 535988 SOS 295807 HAS SOPS 290542 HAS SOUS 137933 HAS SOUPS 136593 WITH SCORE 136888.807
AT ITER 3923 NEW BEST:: SOT 536164 SOS 295565 HAS SOPS 290300 HAS SOUS 137570 HAS SOUPS 136230 WITH SCORE 136525.565
AT ITER 3933 NEW BEST:: SOT 536101 SOS 295520 HAS SOPS 290255 HAS SOUS 137444 HAS SOUPS 136104 WITH SCORE 136399.52
AT ITER 3936 NEW BEST:: SOT 535773 SOS 295192 HAS SOPS 289927 HAS SOUS 137170 HAS SOUPS 135830 WITH SCORE 136125.192
AT ITER 3943 NEW BEST:: SOT 535843 SOS 295472 HAS SOPS 290207 HAS SOUS 137100 HAS SOUPS 135760 WITH SCORE 136055.472
AT ITER 3949 NEW BEST:: SOT 535751 SOS 295200 HAS SOPS 289935 HAS SOUS 137027 HAS SOUPS 135687 WITH SCORE 135982.2
AT ITER 3957 NEW BEST:: SOT 535918 SOS 295399 HAS SOPS 290134 HAS SOUS 136747 HAS SOUPS 135407 WITH SCORE 135702.399
AT ITER 3962 NEW BEST:: SOT 535787 SOS 295253 HAS SOPS 289988 HAS SOUS 136732 HAS SOUPS 135392 WITH SCORE 135687.253
AT ITER 3964 NEW BEST:: SOT 535854 SOS 295387 HAS SOPS 290122 HAS SOUS 136665 HAS SOUPS 135325 WITH SCORE 135620.387
AT ITER 3975 NEW BEST:: SOT 535848 SOS 295387 HAS SOPS 290122 HAS SOUS 136653 HAS SOUPS 135313 WITH SCORE 135608.387
AT ITER 3990 NEW BEST:: SOT 535800 SOS 295243 HAS SOPS 289978 HAS SOUS 136509 HAS SOUPS 135169 WITH SCORE 135464.243
AT ITER 3994 NEW BEST:: SOT 535770 SOS 295243 HAS SOPS 289978 HAS SOUS 136449 HAS SOUPS 135109 WITH SCORE 135404.243
AT ITER 3998 NEW BEST:: SOT 535806 SOS 294865 HAS SOPS 289259 HAS SOUS 136138 HAS SOUPS 134798 WITH SCORE 135092.865
AT ITER 4046 NEW BEST:: SOT 535846 SOS 294993 HAS SOPS 289387 HAS SOUS 136086 HAS SOUPS 134746 WITH SCORE 135040.993
AT ITER 4072 NEW BEST:: SOT 535782 SOS 294995 HAS SOPS 289374 HAS SOUS 136007 HAS SOUPS 134667 WITH SCORE 134961.995
AT ITER 4114 NEW BEST:: SOT 535663 SOS 295109 HAS SOPS 289526 HAS SOUS 135825 HAS SOUPS 134485 WITH SCORE 134780.109
AT ITER 4124 NEW BEST:: SOT 535615 SOS 295061 HAS SOPS 289478 HAS SOUS 135709 HAS SOUPS 134369 WITH SCORE 134664.061
AT ITER 4154 NEW BEST:: SOT 535789 SOS 294426 HAS SOPS 288843 HAS SOUS 135208 HAS SOUPS 133868 WITH SCORE 134162.426
AT ITER 4162 NEW BEST:: SOT 535259 SOS 294423 HAS SOPS 288840 HAS SOUS 135014 HAS SOUPS 133674 WITH SCORE 133968.423
AT ITER 4164 NEW BEST:: SOT 535259 SOS 294349 HAS SOPS 288766 HAS SOUS 135014 HAS SOUPS 133674 WITH SCORE 133968.349
AT ITER 4168 NEW BEST:: SOT 535259 SOS 294317 HAS SOPS 288734 HAS SOUS 135014 HAS SOUPS 133674 WITH SCORE 133968.317
AT ITER 4169 NEW BEST:: SOT 535259 SOS 294315 HAS SOPS 288732 HAS SOUS 135014 HAS SOUPS 133674 WITH SCORE 133968.315
AT ITER 4172 NEW BEST:: SOT 535311 SOS 294288 HAS SOPS 288705 HAS SOUS 135001 HAS SOUPS 133661 WITH SCORE 133955.288
AT ITER 4185 NEW BEST:: SOT 535086 SOS 294116 HAS SOPS 288533 HAS SOUS 134748 HAS SOUPS 133408 WITH SCORE 133702.116
AT ITER 4190 NEW BEST:: SOT 535086 SOS 290584 HAS SOPS 285001 HAS SOUS 134748 HAS SOUPS 133408 WITH SCORE 133698.584
AT ITER 4193 NEW BEST:: SOT 535086 SOS 290584 HAS SOPS 285011 HAS SOUS 134728 HAS SOUPS 133388 WITH SCORE 133678.584
AT ITER 4245 NEW BEST:: SOT 535034 SOS 290532 HAS SOPS 284959 HAS SOUS 134593 HAS SOUPS 133253 WITH SCORE 133543.532
AT ITER 4254 NEW BEST:: SOT 534798 SOS 290296 HAS SOPS 284723 HAS SOUS 134460 HAS SOUPS 133120 WITH SCORE 133410.296
AT ITER 4263 NEW BEST:: SOT 534756 SOS 290232 HAS SOPS 284659 HAS SOUS 134310 HAS SOUPS 132970 WITH SCORE 133260.232
AT ITER 4275 NEW BEST:: SOT 534348 SOS 290107 HAS SOPS 284534 HAS SOUS 133913 HAS SOUPS 132573 WITH SCORE 132863.107
AT ITER 4282 NEW BEST:: SOT 534181 SOS 289623 HAS SOPS 284050 HAS SOUS 133855 HAS SOUPS 132515 WITH SCORE 132804.623
AT ITER 4283 NEW BEST:: SOT 534173 SOS 289479 HAS SOPS 283906 HAS SOUS 133824 HAS SOUPS 132484 WITH SCORE 132773.479
AT ITER 4289 NEW BEST:: SOT 534152 SOS 289458 HAS SOPS 283885 HAS SOUS 133803 HAS SOUPS 132463 WITH SCORE 132752.458
AT ITER 4319 NEW BEST:: SOT 534152 SOS 289393 HAS SOPS 283820 HAS SOUS 133803 HAS SOUPS 132463 WITH SCORE 132752.393
AT ITER 4330 NEW BEST:: SOT 534020 SOS 289270 HAS SOPS 283746 HAS SOUS 133767 HAS SOUPS 132427 WITH SCORE 132716.27
AT ITER 4334 NEW BEST:: SOT 533948 SOS 289126 HAS SOPS 283602 HAS SOUS 133613 HAS SOUPS 132273 WITH SCORE 132562.126
AT ITER 4355 NEW BEST:: SOT 533987 SOS 289090 HAS SOPS 283566 HAS SOUS 133587 HAS SOUPS 132247 WITH SCORE 132536.09
AT ITER 4372 NEW BEST:: SOT 533742 SOS 288806 HAS SOPS 283282 HAS SOUS 133244 HAS SOUPS 131904 WITH SCORE 132192.806
AT ITER 4374 NEW BEST:: SOT 533846 SOS 288982 HAS SOPS 283458 HAS SOUS 133202 HAS SOUPS 131862 WITH SCORE 132150.982
AT ITER 4376 NEW BEST:: SOT 533154 SOS 288270 HAS SOPS 282746 HAS SOUS 133047 HAS SOUPS 131707 WITH SCORE 131995.27
AT ITER 4400 NEW BEST:: SOT 533148 SOS 288264 HAS SOPS 282740 HAS SOUS 133041 HAS SOUPS 131701 WITH SCORE 131989.264
AT ITER 4413 NEW BEST:: SOT 533128 SOS 287554 HAS SOPS 282030 HAS SOUS 133031 HAS SOUPS 131691 WITH SCORE 131978.554
AT ITER 4417 NEW BEST:: SOT 532976 SOS 287424 HAS SOPS 281900 HAS SOUS 132988 HAS SOUPS 131648 WITH SCORE 131935.424
AT ITER 4428 NEW BEST:: SOT 533004 SOS 287388 HAS SOPS 281864 HAS SOUS 132952 HAS SOUPS 131612 WITH SCORE 131899.388
AT ITER 4433 NEW BEST:: SOT 533004 SOS 287388 HAS SOPS 281864 HAS SOUS 132931 HAS SOUPS 131591 WITH SCORE 131878.388
AT ITER 4459 NEW BEST:: SOT 532850 SOS 287482 HAS SOPS 281958 HAS SOUS 132807 HAS SOUPS 131467 WITH SCORE 131754.482
AT ITER 4482 NEW BEST:: SOT 532903 SOS 287510 HAS SOPS 281987 HAS SOUS 132794 HAS SOUPS 131454 WITH SCORE 131741.51
AT ITER 4502 NEW BEST:: SOT 532882 SOS 287489 HAS SOPS 281966 HAS SOUS 132766 HAS SOUPS 131426 WITH SCORE 131713.489
AT ITER 4504 NEW BEST:: SOT 532882 SOS 287489 HAS SOPS 281966 HAS SOUS 132751 HAS SOUPS 131411 WITH SCORE 131698.489
AT ITER 4506 NEW BEST:: SOT 532806 SOS 287272 HAS SOPS 281749 HAS SOUS 132751 HAS SOUPS 131411 WITH SCORE 131698.272
AT ITER 4512 NEW BEST:: SOT 532806 SOS 287220 HAS SOPS 281697 HAS SOUS 132699 HAS SOUPS 131359 WITH SCORE 131646.22
AT ITER 4523 NEW BEST:: SOT 532602 SOS 287016 HAS SOPS 281493 HAS SOUS 132516 HAS SOUPS 131176 WITH SCORE 131463.016
AT ITER 4524 NEW BEST:: SOT 532621 SOS 287035 HAS SOPS 281512 HAS SOUS 132504 HAS SOUPS 131164 WITH SCORE 131451.035
AT ITER 4530 NEW BEST:: SOT 532621 SOS 287035 HAS SOPS 281512 HAS SOUS 132438 HAS SOUPS 131098 WITH SCORE 131385.035
AT ITER 4535 NEW BEST:: SOT 532658 SOS 287072 HAS SOPS 281549 HAS SOUS 132437 HAS SOUPS 131097 WITH SCORE 131384.072
AT ITER 4536 NEW BEST:: SOT 532658 SOS 287056 HAS SOPS 281533 HAS SOUS 132385 HAS SOUPS 131045 WITH SCORE 131332.056
AT ITER 4549 NEW BEST:: SOT 532658 SOS 287050 HAS SOPS 281527 HAS SOUS 132382 HAS SOUPS 131042 WITH SCORE 131329.05
AT ITER 4560 NEW BEST:: SOT 532596 SOS 286988 HAS SOPS 281465 HAS SOUS 132210 HAS SOUPS 130870 WITH SCORE 131156.988
AT ITER 4566 NEW BEST:: SOT 532611 SOS 286992 HAS SOPS 281469 HAS SOUS 132203 HAS SOUPS 130863 WITH SCORE 131149.992
AT ITER 4582 NEW BEST:: SOT 532286 SOS 286660 HAS SOPS 281137 HAS SOUS 132129 HAS SOUPS 130789 WITH SCORE 131075.66
AT ITER 4588 NEW BEST:: SOT 532196 SOS 286578 HAS SOPS 281055 HAS SOUS 132047 HAS SOUPS 130707 WITH SCORE 130993.578
AT ITER 4613 NEW BEST:: SOT 532134 SOS 286583 HAS SOPS 281060 HAS SOUS 131989 HAS SOUPS 130649 WITH SCORE 130935.583
AT ITER 4620 NEW BEST:: SOT 532134 SOS 286595 HAS SOPS 281072 HAS SOUS 131984 HAS SOUPS 130644 WITH SCORE 130930.595
AT ITER 4647 NEW BEST:: SOT 532118 SOS 286465 HAS SOPS 280942 HAS SOUS 131926 HAS SOUPS 130586 WITH SCORE 130872.465
AT ITER 4663 NEW BEST:: SOT 532126 SOS 286424 HAS SOPS 280901 HAS SOUS 131890 HAS SOUPS 130550 WITH SCORE 130836.424
AT ITER 4680 NEW BEST:: SOT 532050 SOS 283823 HAS SOPS 278300 HAS SOUS 131738 HAS SOUPS 130398 WITH SCORE 130681.823
AT ITER 4688 NEW BEST:: SOT 532107 SOS 283957 HAS SOPS 278434 HAS SOUS 131696 HAS SOUPS 130356 WITH SCORE 130639.957
AT ITER 4690 NEW BEST:: SOT 532036 SOS 283909 HAS SOPS 278386 HAS SOUS 131586 HAS SOUPS 130246 WITH SCORE 130529.909
AT ITER 4701 NEW BEST:: SOT 532113 SOS 283986 HAS SOPS 278463 HAS SOUS 131403 HAS SOUPS 130063 WITH SCORE 130346.986
AT ITER 4749 NEW BEST:: SOT 532065 SOS 283938 HAS SOPS 278415 HAS SOUS 131389 HAS SOUPS 130049 WITH SCORE 130332.938
AT ITER 4752 NEW BEST:: SOT 532023 SOS 283238 HAS SOPS 277715 HAS SOUS 131160 HAS SOUPS 129820 WITH SCORE 130103.238
AT ITER 4754 NEW BEST:: SOT 532003 SOS 282516 HAS SOPS 276941 HAS SOUS 131088 HAS SOUPS 129748 WITH SCORE 130030.516
AT ITER 4790 NEW BEST:: SOT 532003 SOS 282631 HAS SOPS 277056 HAS SOUS 131078 HAS SOUPS 129738 WITH SCORE 130020.631
AT ITER 4800 NEW BEST:: SOT 531867 SOS 281288 HAS SOPS 276139 HAS SOUS 130755 HAS SOUPS 129486 WITH SCORE 129767.288
AT ITER 4807 NEW BEST:: SOT 529151 SOS 281634 HAS SOPS 276485 HAS SOUS 129396 HAS SOUPS 128127 WITH SCORE 128408.634
AT ITER 4826 NEW BEST:: SOT 529119 SOS 281602 HAS SOPS 276483 HAS SOUS 129364 HAS SOUPS 128125 WITH SCORE 128406.602
AT ITER 4839 NEW BEST:: SOT 529042 SOS 281525 HAS SOPS 276406 HAS SOUS 129351 HAS SOUPS 128112 WITH SCORE 128393.525
AT ITER 4854 NEW BEST:: SOT 528862 SOS 281351 HAS SOPS 276232 HAS SOUS 129102 HAS SOUPS 127863 WITH SCORE 128144.351
AT ITER 4855 NEW BEST:: SOT 528947 SOS 281300 HAS SOPS 276132 HAS SOUS 129068 HAS SOUPS 127829 WITH SCORE 128110.3
AT ITER 4857 NEW BEST:: SOT 528947 SOS 281300 HAS SOPS 276132 HAS SOUS 129064 HAS SOUPS 127825 WITH SCORE 128106.3
AT ITER 4865 NEW BEST:: SOT 528961 SOS 281402 HAS SOPS 276234 HAS SOUS 128991 HAS SOUPS 127752 WITH SCORE 128033.402
AT ITER 4889 NEW BEST:: SOT 528790 SOS 281231 HAS SOPS 276063 HAS SOUS 128907 HAS SOUPS 127668 WITH SCORE 127949.231
AT ITER 4893 NEW BEST:: SOT 528786 SOS 281223 HAS SOPS 276055 HAS SOUS 128895 HAS SOUPS 127656 WITH SCORE 127937.223
AT ITER 4922 NEW BEST:: SOT 528428 SOS 280987 HAS SOPS 275819 HAS SOUS 128809 HAS SOUPS 127570 WITH SCORE 127850.987
AT ITER 4925 NEW BEST:: SOT 528337 SOS 280896 HAS SOPS 275728 HAS SOUS 128656 HAS SOUPS 127417 WITH SCORE 127697.896
AT ITER 4935 NEW BEST:: SOT 528224 SOS 280783 HAS SOPS 275615 HAS SOUS 128587 HAS SOUPS 127348 WITH SCORE 127628.783
AT ITER 4936 NEW BEST:: SOT 528187 SOS 280746 HAS SOPS 275578 HAS SOUS 128539 HAS SOUPS 127300 WITH SCORE 127580.746
AT ITER 4942 NEW BEST:: SOT 528186 SOS 280745 HAS SOPS 275583 HAS SOUS 128525 HAS SOUPS 127286 WITH SCORE 127566.745
AT ITER 4953 NEW BEST:: SOT 528182 SOS 280732 HAS SOPS 275570 HAS SOUS 128512 HAS SOUPS 127273 WITH SCORE 127553.732
AT ITER 4955 NEW BEST:: SOT 528182 SOS 280732 HAS SOPS 275570 HAS SOUS 128504 HAS SOUPS 127265 WITH SCORE 127545.732
AT ITER 4966 NEW BEST:: SOT 527758 SOS 280007 HAS SOPS 274845 HAS SOUS 128213 HAS SOUPS 126974 WITH SCORE 127254.007
AT ITER 4970 NEW BEST:: SOT 527715 SOS 279921 HAS SOPS 274759 HAS SOUS 128127 HAS SOUPS 126888 WITH SCORE 127167.921
AT ITER 4974 NEW BEST:: SOT 524940 SOS 280800 HAS SOPS 275638 HAS SOUS 127899 HAS SOUPS 126660 WITH SCORE 126940.8
AT ITER 4982 NEW BEST:: SOT 525055 SOS 282457 HAS SOPS 277295 HAS SOUS 127870 HAS SOUPS 126631 WITH SCORE 126913.457
AT ITER 5017 NEW BEST:: SOT 524806 SOS 282208 HAS SOPS 277046 HAS SOUS 127656 HAS SOUPS 126417 WITH SCORE 126699.208
AT ITER 5045 NEW BEST:: SOT 524634 SOS 282036 HAS SOPS 276874 HAS SOUS 127569 HAS SOUPS 126330 WITH SCORE 126612.036
AT ITER 5053 NEW BEST:: SOT 524612 SOS 282010 HAS SOPS 276848 HAS SOUS 127534 HAS SOUPS 126295 WITH SCORE 126577.01
AT ITER 5060 NEW BEST:: SOT 524261 SOS 281815 HAS SOPS 276653 HAS SOUS 127238 HAS SOUPS 125999 WITH SCORE 126280.815
AT ITER 5069 NEW BEST:: SOT 524142 SOS 281637 HAS SOPS 276475 HAS SOUS 127237 HAS SOUPS 125998 WITH SCORE 126279.637
AT ITER 5075 NEW BEST:: SOT 524142 SOS 281662 HAS SOPS 276500 HAS SOUS 127133 HAS SOUPS 125894 WITH SCORE 126175.662
AT ITER 5078 NEW BEST:: SOT 524142 SOS 281662 HAS SOPS 276490 HAS SOUS 127123 HAS SOUPS 125884 WITH SCORE 126165.662
AT ITER 5081 NEW BEST:: SOT 524492 SOS 278358 HAS SOPS 273186 HAS SOUS 125104 HAS SOUPS 123865 WITH SCORE 124143.358
AT ITER 5085 NEW BEST:: SOT 524315 SOS 278181 HAS SOPS 273009 HAS SOUS 124750 HAS SOUPS 123511 WITH SCORE 123789.181
AT ITER 5096 NEW BEST:: SOT 524235 SOS 278101 HAS SOPS 272929 HAS SOUS 124695 HAS SOUPS 123456 WITH SCORE 123734.101
AT ITER 5129 NEW BEST:: SOT 524235 SOS 278088 HAS SOPS 272916 HAS SOUS 124682 HAS SOUPS 123443 WITH SCORE 123721.088
AT ITER 5143 NEW BEST:: SOT 524235 SOS 277990 HAS SOPS 272818 HAS SOUS 124682 HAS SOUPS 123443 WITH SCORE 123720.99
AT ITER 5154 NEW BEST:: SOT 524465 SOS 275337 HAS SOPS 270165 HAS SOUS 123669 HAS SOUPS 122430 WITH SCORE 122705.337
AT ITER 5160 NEW BEST:: SOT 524465 SOS 275351 HAS SOPS 270179 HAS SOUS 123627 HAS SOUPS 122388 WITH SCORE 122663.351
AT ITER 5185 NEW BEST:: SOT 524455 SOS 275351 HAS SOPS 270179 HAS SOUS 123607 HAS SOUPS 122368 WITH SCORE 122643.351
AT ITER 5200 NEW BEST:: SOT 524450 SOS 275346 HAS SOPS 270174 HAS SOUS 123602 HAS SOUPS 122363 WITH SCORE 122638.346
AT ITER 5221 NEW BEST:: SOT 524450 SOS 275325 HAS SOPS 270153 HAS SOUS 123599 HAS SOUPS 122360 WITH SCORE 122635.325
AT ITER 5225 NEW BEST:: SOT 524450 SOS 275367 HAS SOPS 270195 HAS SOUS 123557 HAS SOUPS 122318 WITH SCORE 122593.367
AT ITER 5247 NEW BEST:: SOT 524465 SOS 275390 HAS SOPS 270218 HAS SOUS 123498 HAS SOUPS 122259 WITH SCORE 122534.39
AT ITER 5296 NEW BEST:: SOT 524442 SOS 275399 HAS SOPS 270227 HAS SOUS 123486 HAS SOUPS 122247 WITH SCORE 122522.399
AT ITER 5313 NEW BEST:: SOT 524405 SOS 275364 HAS SOPS 270192 HAS SOUS 123412 HAS SOUPS 122173 WITH SCORE 122448.364
AT ITER 5322 NEW BEST:: SOT 524405 SOS 275364 HAS SOPS 270192 HAS SOUS 123397 HAS SOUPS 122158 WITH SCORE 122433.364
AT ITER 5323 NEW BEST:: SOT 524401 SOS 275360 HAS SOPS 270188 HAS SOUS 123389 HAS SOUPS 122150 WITH SCORE 122425.36
AT ITER 5353 NEW BEST:: SOT 524456 SOS 275458 HAS SOPS 270286 HAS SOUS 123347 HAS SOUPS 122108 WITH SCORE 122383.458
AT ITER 5375 NEW BEST:: SOT 524456 SOS 275737 HAS SOPS 270565 HAS SOUS 123316 HAS SOUPS 122077 WITH SCORE 122352.737
AT ITER 5377 NEW BEST:: SOT 524447 SOS 275728 HAS SOPS 270556 HAS SOUS 123307 HAS SOUPS 122068 WITH SCORE 122343.728
AT ITER 5384 NEW BEST:: SOT 524442 SOS 275726 HAS SOPS 270554 HAS SOUS 123305 HAS SOUPS 122066 WITH SCORE 122341.726
AT ITER 5393 NEW BEST:: SOT 524292 SOS 275738 HAS SOPS 270566 HAS SOUS 123282 HAS SOUPS 122043 WITH SCORE 122318.738
AT ITER 5398 NEW BEST:: SOT 524261 SOS 275707 HAS SOPS 270535 HAS SOUS 123260 HAS SOUPS 122021 WITH SCORE 122296.707
AT ITER 5402 NEW BEST:: SOT 524221 SOS 275545 HAS SOPS 270373 HAS SOUS 123125 HAS SOUPS 121886 WITH SCORE 122161.545
AT ITER 5405 NEW BEST:: SOT 524305 SOS 275527 HAS SOPS 270355 HAS SOUS 123079 HAS SOUPS 121840 WITH SCORE 122115.527
AT ITER 5411 NEW BEST:: SOT 524199 SOS 275393 HAS SOPS 270221 HAS SOUS 123048 HAS SOUPS 121809 WITH SCORE 122084.393
AT ITER 5441 NEW BEST:: SOT 524021 SOS 275215 HAS SOPS 270043 HAS SOUS 122813 HAS SOUPS 121574 WITH SCORE 121849.215
AT ITER 5449 NEW BEST:: SOT 524021 SOS 275203 HAS SOPS 270031 HAS SOUS 122813 HAS SOUPS 121574 WITH SCORE 121849.203
AT ITER 5450 NEW BEST:: SOT 524094 SOS 275426 HAS SOPS 270254 HAS SOUS 122723 HAS SOUPS 121484 WITH SCORE 121759.426
AT ITER 5467 NEW BEST:: SOT 524009 SOS 275341 HAS SOPS 270169 HAS SOUS 122645 HAS SOUPS 121406 WITH SCORE 121681.341
AT ITER 5488 NEW BEST:: SOT 523984 SOS 275316 HAS SOPS 270144 HAS SOUS 122599 HAS SOUPS 121360 WITH SCORE 121635.316
AT ITER 5531 NEW BEST:: SOT 523976 SOS 275331 HAS SOPS 270159 HAS SOUS 122521 HAS SOUPS 121282 WITH SCORE 121557.331
AT ITER 5543 NEW BEST:: SOT 524016 SOS 275385 HAS SOPS 270213 HAS SOUS 122463 HAS SOUPS 121224 WITH SCORE 121499.385
AT ITER 5545 NEW BEST:: SOT 524021 SOS 275308 HAS SOPS 270136 HAS SOUS 122419 HAS SOUPS 121180 WITH SCORE 121455.308
AT ITER 5573 NEW BEST:: SOT 524051 SOS 275470 HAS SOPS 270298 HAS SOUS 122251 HAS SOUPS 121012 WITH SCORE 121287.47
AT ITER 5589 NEW BEST:: SOT 524040 SOS 275448 HAS SOPS 270276 HAS SOUS 122229 HAS SOUPS 120990 WITH SCORE 121265.448
AT ITER 5638 NEW BEST:: SOT 524172 SOS 275580 HAS SOPS 270408 HAS SOUS 121917 HAS SOUPS 120678 WITH SCORE 120953.58
AT ITER 5641 NEW BEST:: SOT 524131 SOS 275443 HAS SOPS 270276 HAS SOUS 121883 HAS SOUPS 120644 WITH SCORE 120919.443
AT ITER 5649 NEW BEST:: SOT 524125 SOS 275431 HAS SOPS 270264 HAS SOUS 121871 HAS SOUPS 120632 WITH SCORE 120907.431
AT ITER 5650 NEW BEST:: SOT 524123 SOS 275427 HAS SOPS 270260 HAS SOUS 121867 HAS SOUPS 120628 WITH SCORE 120903.427
AT ITER 5652 NEW BEST:: SOT 524098 SOS 275333 HAS SOPS 269834 HAS SOUS 121827 HAS SOUPS 120588 WITH SCORE 120863.333
AT ITER 5687 NEW BEST:: SOT 524008 SOS 275243 HAS SOPS 269744 HAS SOUS 121783 HAS SOUPS 120544 WITH SCORE 120819.243
AT ITER 5694 NEW BEST:: SOT 524042 SOS 275302 HAS SOPS 269803 HAS SOUS 121730 HAS SOUPS 120491 WITH SCORE 120766.302
AT ITER 5707 NEW BEST:: SOT 524021 SOS 275281 HAS SOPS 269803 HAS SOUS 121730 HAS SOUPS 120491 WITH SCORE 120766.281
AT ITER 5711 NEW BEST:: SOT 523931 SOS 274741 HAS SOPS 269263 HAS SOUS 121730 HAS SOUPS 120491 WITH SCORE 120765.741
AT ITER 5715 NEW BEST:: SOT 523862 SOS 274744 HAS SOPS 269266 HAS SOUS 121681 HAS SOUPS 120442 WITH SCORE 120716.744
AT ITER 5716 NEW BEST:: SOT 524155 SOS 274979 HAS SOPS 269501 HAS SOUS 121646 HAS SOUPS 120407 WITH SCORE 120681.979
AT ITER 5737 NEW BEST:: SOT 524097 SOS 274921 HAS SOPS 269443 HAS SOUS 121588 HAS SOUPS 120349 WITH SCORE 120623.921
AT ITER 5778 NEW BEST:: SOT 523999 SOS 274823 HAS SOPS 269345 HAS SOUS 121585 HAS SOUPS 120346 WITH SCORE 120620.823
AT ITER 5785 NEW BEST:: SOT 524163 SOS 275315 HAS SOPS 269837 HAS SOUS 121421 HAS SOUPS 120182 WITH SCORE 120457.315
AT ITER 5801 NEW BEST:: SOT 524137 SOS 275306 HAS SOPS 269828 HAS SOUS 121420 HAS SOUPS 120181 WITH SCORE 120456.306
AT ITER 5823 NEW BEST:: SOT 524118 SOS 275287 HAS SOPS 269809 HAS SOUS 121403 HAS SOUPS 120164 WITH SCORE 120439.287
AT ITER 5825 NEW BEST:: SOT 524118 SOS 275287 HAS SOPS 269809 HAS SOUS 121369 HAS SOUPS 120130 WITH SCORE 120405.287
AT ITER 5829 NEW BEST:: SOT 524011 SOS 275172 HAS SOPS 269694 HAS SOUS 121258 HAS SOUPS 120019 WITH SCORE 120294.172
AT ITER 5840 NEW BEST:: SOT 524007 SOS 275168 HAS SOPS 269694 HAS SOUS 121240 HAS SOUPS 120005 WITH SCORE 120280.168
AT ITER 5842 NEW BEST:: SOT 524001 SOS 275162 HAS SOPS 269691 HAS SOUS 121225 HAS SOUPS 119990 WITH SCORE 120265.162
AT ITER 5846 NEW BEST:: SOT 523890 SOS 275082 HAS SOPS 269611 HAS SOUS 120988 HAS SOUPS 119753 WITH SCORE 120028.082
AT ITER 5877 NEW BEST:: SOT 523724 SOS 275000 HAS SOPS 269529 HAS SOUS 120720 HAS SOUPS 119485 WITH SCORE 119760.0
AT ITER 5885 NEW BEST:: SOT 523722 SOS 274997 HAS SOPS 269526 HAS SOUS 120718 HAS SOUPS 119483 WITH SCORE 119757.997
AT ITER 5903 NEW BEST:: SOT 523698 SOS 274973 HAS SOPS 269502 HAS SOUS 120670 HAS SOUPS 119435 WITH SCORE 119709.973
AT ITER 5935 NEW BEST:: SOT 523698 SOS 275051 HAS SOPS 269580 HAS SOUS 120436 HAS SOUPS 119201 WITH SCORE 119476.051
AT ITER 5984 NEW BEST:: SOT 523662 SOS 275015 HAS SOPS 269544 HAS SOUS 120364 HAS SOUPS 119129 WITH SCORE 119404.015
AT ITER 6020 NEW BEST:: SOT 523634 SOS 274987 HAS SOPS 269516 HAS SOUS 120329 HAS SOUPS 119094 WITH SCORE 119368.987
AT ITER 6021 NEW BEST:: SOT 523614 SOS 274967 HAS SOPS 269496 HAS SOUS 120289 HAS SOUPS 119054 WITH SCORE 119328.967
AT ITER 6028 NEW BEST:: SOT 523603 SOS 274961 HAS SOPS 269490 HAS SOUS 120263 HAS SOUPS 119028 WITH SCORE 119302.961
AT ITER 6034 NEW BEST:: SOT 523555 SOS 266527 HAS SOPS 261056 HAS SOUS 120144 HAS SOUPS 118909 WITH SCORE 119175.527
AT ITER 6055 NEW BEST:: SOT 523625 SOS 266407 HAS SOPS 260936 HAS SOUS 120102 HAS SOUPS 118867 WITH SCORE 119133.407
AT ITER 6071 NEW BEST:: SOT 523625 SOS 266407 HAS SOPS 260936 HAS SOUS 120081 HAS SOUPS 118846 WITH SCORE 119112.407
AT ITER 6094 NEW BEST:: SOT 523590 SOS 266343 HAS SOPS 260872 HAS SOUS 120011 HAS SOUPS 118776 WITH SCORE 119042.343
AT ITER 6099 NEW BEST:: SOT 523628 SOS 265816 HAS SOPS 260345 HAS SOUS 119820 HAS SOUPS 118585 WITH SCORE 118850.816
AT ITER 6145 NEW BEST:: SOT 523349 SOS 265003 HAS SOPS 259532 HAS SOUS 119781 HAS SOUPS 118546 WITH SCORE 118811.003
AT ITER 6183 NEW BEST:: SOT 523349 SOS 264991 HAS SOPS 259520 HAS SOUS 119745 HAS SOUPS 118510 WITH SCORE 118774.991
AT ITER 6194 NEW BEST:: SOT 523349 SOS 264991 HAS SOPS 259520 HAS SOUS 119727 HAS SOUPS 118492 WITH SCORE 118756.991
AT ITER 6209 NEW BEST:: SOT 523249 SOS 264891 HAS SOPS 259420 HAS SOUS 119631 HAS SOUPS 118396 WITH SCORE 118660.891
AT ITER 6215 NEW BEST:: SOT 523234 SOS 264772 HAS SOPS 259301 HAS SOUS 119601 HAS SOUPS 118366 WITH SCORE 118630.772
AT ITER 6216 NEW BEST:: SOT 523265 SOS 264655 HAS SOPS 259184 HAS SOUS 119578 HAS SOUPS 118343 WITH SCORE 118607.655
AT ITER 6240 NEW BEST:: SOT 523260 SOS 264612 HAS SOPS 259136 HAS SOUS 119548 HAS SOUPS 118313 WITH SCORE 118577.612
AT ITER 6254 NEW BEST:: SOT 523149 SOS 264359 HAS SOPS 258883 HAS SOUS 119286 HAS SOUPS 118051 WITH SCORE 118315.359
AT ITER 6256 NEW BEST:: SOT 523158 SOS 264361 HAS SOPS 258885 HAS SOUS 119269 HAS SOUPS 118034 WITH SCORE 118298.361
AT ITER 6264 NEW BEST:: SOT 523049 SOS 264303 HAS SOPS 258827 HAS SOUS 119220 HAS SOUPS 117985 WITH SCORE 118249.303
AT ITER 6267 NEW BEST:: SOT 523066 SOS 264354 HAS SOPS 258878 HAS SOUS 119215 HAS SOUPS 117980 WITH SCORE 118244.354
AT ITER 6283 NEW BEST:: SOT 522913 SOS 264201 HAS SOPS 258725 HAS SOUS 119080 HAS SOUPS 117845 WITH SCORE 118109.201
AT ITER 6307 NEW BEST:: SOT 522888 SOS 264096 HAS SOPS 258620 HAS SOUS 119080 HAS SOUPS 117845 WITH SCORE 118109.096
AT ITER 6308 NEW BEST:: SOT 522853 SOS 264026 HAS SOPS 258550 HAS SOUS 119010 HAS SOUPS 117775 WITH SCORE 118039.026
AT ITER 6312 NEW BEST:: SOT 522726 SOS 264353 HAS SOPS 258966 HAS SOUS 118996 HAS SOUPS 117761 WITH SCORE 118025.353
AT ITER 6327 NEW BEST:: SOT 522634 SOS 264265 HAS SOPS 258878 HAS SOUS 118971 HAS SOUPS 117736 WITH SCORE 118000.265
AT ITER 6331 NEW BEST:: SOT 522306 SOS 263937 HAS SOPS 258550 HAS SOUS 118497 HAS SOUPS 117262 WITH SCORE 117525.937
AT ITER 6335 NEW BEST:: SOT 522403 SOS 264131 HAS SOPS 258744 HAS SOUS 118436 HAS SOUPS 117201 WITH SCORE 117465.131
AT ITER 6345 NEW BEST:: SOT 522323 SOS 264118 HAS SOPS 258731 HAS SOUS 118339 HAS SOUPS 117104 WITH SCORE 117368.118
AT ITER 6363 NEW BEST:: SOT 522352 SOS 264147 HAS SOPS 258760 HAS SOUS 118179 HAS SOUPS 116944 WITH SCORE 117208.147
AT ITER 6371 NEW BEST:: SOT 522263 SOS 263877 HAS SOPS 258490 HAS SOUS 118001 HAS SOUPS 116766 WITH SCORE 117029.877
AT ITER 6402 NEW BEST:: SOT 522279 SOS 263870 HAS SOPS 258483 HAS SOUS 117994 HAS SOUPS 116759 WITH SCORE 117022.87
AT ITER 6403 NEW BEST:: SOT 522306 SOS 263897 HAS SOPS 258449 HAS SOUS 117980 HAS SOUPS 116737 WITH SCORE 117000.897
AT ITER 6438 NEW BEST:: SOT 522306 SOS 263897 HAS SOPS 258449 HAS SOUS 117957 HAS SOUPS 116714 WITH SCORE 116977.897
AT ITER 6439 NEW BEST:: SOT 522306 SOS 253043 HAS SOPS 247595 HAS SOUS 117957 HAS SOUPS 116714 WITH SCORE 116967.043
AT ITER 6445 NEW BEST:: SOT 522266 SOS 253003 HAS SOPS 247555 HAS SOUS 117927 HAS SOUPS 116684 WITH SCORE 116937.003
AT ITER 6458 NEW BEST:: SOT 522261 SOS 252998 HAS SOPS 247550 HAS SOUS 117912 HAS SOUPS 116669 WITH SCORE 116921.998
AT ITER 6471 NEW BEST:: SOT 522284 SOS 253113 HAS SOPS 247665 HAS SOUS 117889 HAS SOUPS 116646 WITH SCORE 116899.113
AT ITER 6489 NEW BEST:: SOT 522223 SOS 253052 HAS SOPS 247604 HAS SOUS 117821 HAS SOUPS 116578 WITH SCORE 116831.052
AT ITER 6493 NEW BEST:: SOT 522215 SOS 253049 HAS SOPS 247601 HAS SOUS 117805 HAS SOUPS 116562 WITH SCORE 116815.049
AT ITER 6534 NEW BEST:: SOT 522203 SOS 253025 HAS SOPS 247577 HAS SOUS 117786 HAS SOUPS 116543 WITH SCORE 116796.025
AT ITER 6544 NEW BEST:: SOT 522099 SOS 252984 HAS SOPS 247536 HAS SOUS 117681 HAS SOUPS 116438 WITH SCORE 116690.984
AT ITER 6546 NEW BEST:: SOT 522099 SOS 252796 HAS SOPS 247348 HAS SOUS 117681 HAS SOUPS 116438 WITH SCORE 116690.796
AT ITER 6584 NEW BEST:: SOT 522133 SOS 252830 HAS SOPS 247382 HAS SOUS 117630 HAS SOUPS 116387 WITH SCORE 116639.83
AT ITER 6597 NEW BEST:: SOT 522113 SOS 252810 HAS SOPS 247362 HAS SOUS 117610 HAS SOUPS 116367 WITH SCORE 116619.81
AT ITER 6605 NEW BEST:: SOT 521998 SOS 252506 HAS SOPS 247058 HAS SOUS 117219 HAS SOUPS 115976 WITH SCORE 116228.506
AT ITER 6651 NEW BEST:: SOT 522115 SOS 252623 HAS SOPS 247175 HAS SOUS 117103 HAS SOUPS 115860 WITH SCORE 116112.623
AT ITER 6652 NEW BEST:: SOT 521962 SOS 252928 HAS SOPS 247480 HAS SOUS 117091 HAS SOUPS 115848 WITH SCORE 116100.928
AT ITER 6656 NEW BEST:: SOT 521968 SOS 252904 HAS SOPS 247456 HAS SOUS 117086 HAS SOUPS 115843 WITH SCORE 116095.904
AT ITER 6686 NEW BEST:: SOT 521985 SOS 253065 HAS SOPS 247617 HAS SOUS 117052 HAS SOUPS 115809 WITH SCORE 116062.065
AT ITER 6688 NEW BEST:: SOT 521915 SOS 252967 HAS SOPS 247519 HAS SOUS 116982 HAS SOUPS 115739 WITH SCORE 115991.967
AT ITER 6690 NEW BEST:: SOT 521821 SOS 252982 HAS SOPS 247534 HAS SOUS 116909 HAS SOUPS 115666 WITH SCORE 115918.982
AT ITER 6727 NEW BEST:: SOT 521821 SOS 252986 HAS SOPS 247538 HAS SOUS 116903 HAS SOUPS 115660 WITH SCORE 115912.986
AT ITER 6729 NEW BEST:: SOT 521798 SOS 252963 HAS SOPS 247515 HAS SOUS 116847 HAS SOUPS 115604 WITH SCORE 115856.963
AT ITER 6743 NEW BEST:: SOT 521784 SOS 252949 HAS SOPS 247501 HAS SOUS 116815 HAS SOUPS 115572 WITH SCORE 115824.949
AT ITER 6745 NEW BEST:: SOT 521773 SOS 252938 HAS SOPS 247490 HAS SOUS 116782 HAS SOUPS 115539 WITH SCORE 115791.938
AT ITER 6763 NEW BEST:: SOT 521475 SOS 252320 HAS SOPS 246872 HAS SOUS 116529 HAS SOUPS 115286 WITH SCORE 115538.32
AT ITER 6767 NEW BEST:: SOT 521417 SOS 252299 HAS SOPS 246851 HAS SOUS 116450 HAS SOUPS 115207 WITH SCORE 115459.299
AT ITER 6791 NEW BEST:: SOT 521664 SOS 252546 HAS SOPS 247098 HAS SOUS 116434 HAS SOUPS 115191 WITH SCORE 115443.546
AT ITER 6794 NEW BEST:: SOT 521664 SOS 252510 HAS SOPS 247068 HAS SOUS 116434 HAS SOUPS 115191 WITH SCORE 115443.51
AT ITER 6806 NEW BEST:: SOT 521670 SOS 252522 HAS SOPS 247080 HAS SOUS 116381 HAS SOUPS 115138 WITH SCORE 115390.522
AT ITER 6807 NEW BEST:: SOT 521655 SOS 252501 HAS SOPS 247059 HAS SOUS 116366 HAS SOUPS 115123 WITH SCORE 115375.501
AT ITER 6809 NEW BEST:: SOT 521639 SOS 252485 HAS SOPS 247043 HAS SOUS 116366 HAS SOUPS 115123 WITH SCORE 115375.485
AT ITER 6858 NEW BEST:: SOT 521834 SOS 251035 HAS SOPS 245593 HAS SOUS 116350 HAS SOUPS 115107 WITH SCORE 115358.035
AT ITER 6916 NEW BEST:: SOT 521830 SOS 251028 HAS SOPS 245586 HAS SOUS 116312 HAS SOUPS 115069 WITH SCORE 115320.028
AT ITER 6919 NEW BEST:: SOT 521858 SOS 251056 HAS SOPS 245614 HAS SOUS 116251 HAS SOUPS 115008 WITH SCORE 115259.056
AT ITER 7000 NEW BEST:: SOT 521826 SOS 251088 HAS SOPS 245646 HAS SOUS 116215 HAS SOUPS 114972 WITH SCORE 115223.088
AT ITER 7009 NEW BEST:: SOT 521781 SOS 251017 HAS SOPS 245575 HAS SOUS 116125 HAS SOUPS 114882 WITH SCORE 115133.017
AT ITER 7035 NEW BEST:: SOT 521601 SOS 244144 HAS SOPS 237527 HAS SOUS 115874 HAS SOUPS 114503 WITH SCORE 114747.144
AT ITER 7038 NEW BEST:: SOT 521549 SOS 244101 HAS SOPS 237484 HAS SOUS 115788 HAS SOUPS 114417 WITH SCORE 114661.101
AT ITER 7064 NEW BEST:: SOT 521486 SOS 244101 HAS SOPS 237484 HAS SOUS 115764 HAS SOUPS 114393 WITH SCORE 114637.101
AT ITER 7074 NEW BEST:: SOT 521469 SOS 244101 HAS SOPS 237484 HAS SOUS 115724 HAS SOUPS 114353 WITH SCORE 114597.101
AT ITER 7128 NEW BEST:: SOT 521382 SOS 243903 HAS SOPS 237286 HAS SOUS 115624 HAS SOUPS 114253 WITH SCORE 114496.903
AT ITER 7158 NEW BEST:: SOT 521313 SOS 243876 HAS SOPS 237259 HAS SOUS 115486 HAS SOUPS 114115 WITH SCORE 114358.876
AT ITER 7161 NEW BEST:: SOT 521294 SOS 243879 HAS SOPS 237262 HAS SOUS 115426 HAS SOUPS 114055 WITH SCORE 114298.879
AT ITER 7169 NEW BEST:: SOT 521164 SOS 243619 HAS SOPS 237002 HAS SOUS 115361 HAS SOUPS 113990 WITH SCORE 114233.619
AT ITER 7191 NEW BEST:: SOT 521152 SOS 243619 HAS SOPS 237002 HAS SOUS 115347 HAS SOUPS 113976 WITH SCORE 114219.619
AT ITER 7195 NEW BEST:: SOT 521145 SOS 243612 HAS SOPS 236994 HAS SOUS 115335 HAS SOUPS 113965 WITH SCORE 114208.612
AT ITER 7210 NEW BEST:: SOT 521148 SOS 243615 HAS SOPS 237006 HAS SOUS 115323 HAS SOUPS 113953 WITH SCORE 114196.615
AT ITER 7235 NEW BEST:: SOT 521120 SOS 243793 HAS SOPS 236978 HAS SOUS 115307 HAS SOUPS 113924 WITH SCORE 114167.793
AT ITER 7236 NEW BEST:: SOT 521053 SOS 243726 HAS SOPS 236911 HAS SOUS 115183 HAS SOUPS 113800 WITH SCORE 114043.726
AT ITER 7249 NEW BEST:: SOT 521030 SOS 243703 HAS SOPS 236888 HAS SOUS 115160 HAS SOUPS 113777 WITH SCORE 114020.703
AT ITER 7254 NEW BEST:: SOT 520918 SOS 243591 HAS SOPS 236807 HAS SOUS 114906 HAS SOUPS 113523 WITH SCORE 113766.591
AT ITER 7256 NEW BEST:: SOT 520814 SOS 243526 HAS SOPS 236742 HAS SOUS 114737 HAS SOUPS 113354 WITH SCORE 113597.526
AT ITER 7262 NEW BEST:: SOT 520821 SOS 243712 HAS SOPS 236928 HAS SOUS 114561 HAS SOUPS 113178 WITH SCORE 113421.712
AT ITER 7334 NEW BEST:: SOT 520895 SOS 243787 HAS SOPS 237003 HAS SOUS 114487 HAS SOUPS 113104 WITH SCORE 113347.787
AT ITER 7351 NEW BEST:: SOT 520881 SOS 243773 HAS SOPS 236989 HAS SOUS 114438 HAS SOUPS 113055 WITH SCORE 113298.773
AT ITER 7361 NEW BEST:: SOT 520583 SOS 243516 HAS SOPS 236732 HAS SOUS 114369 HAS SOUPS 112986 WITH SCORE 113229.516
AT ITER 7362 NEW BEST:: SOT 520583 SOS 243444 HAS SOPS 236660 HAS SOUS 114369 HAS SOUPS 112986 WITH SCORE 113229.444
AT ITER 7368 NEW BEST:: SOT 520582 SOS 243443 HAS SOPS 236659 HAS SOUS 114367 HAS SOUPS 112984 WITH SCORE 113227.443
AT ITER 7369 NEW BEST:: SOT 520536 SOS 243425 HAS SOPS 236646 HAS SOUS 114320 HAS SOUPS 112937 WITH SCORE 113180.425
AT ITER 7371 NEW BEST:: SOT 520536 SOS 242665 HAS SOPS 235886 HAS SOUS 114318 HAS SOUPS 112935 WITH SCORE 113177.665
AT ITER 7389 NEW BEST:: SOT 520561 SOS 242671 HAS SOPS 235892 HAS SOUS 114299 HAS SOUPS 112916 WITH SCORE 113158.671
AT ITER 7424 NEW BEST:: SOT 520561 SOS 242671 HAS SOPS 235892 HAS SOUS 114267 HAS SOUPS 112884 WITH SCORE 113126.671
AT ITER 7438 NEW BEST:: SOT 520541 SOS 242651 HAS SOPS 235872 HAS SOUS 114245 HAS SOUPS 112862 WITH SCORE 113104.651
AT ITER 7467 NEW BEST:: SOT 520588 SOS 242707 HAS SOPS 235927 HAS SOUS 114203 HAS SOUPS 112820 WITH SCORE 113062.707
AT ITER 7475 NEW BEST:: SOT 520663 SOS 242753 HAS SOPS 235963 HAS SOUS 114181 HAS SOUPS 112798 WITH SCORE 113040.753
AT ITER 7476 NEW BEST:: SOT 520663 SOS 242740 HAS SOPS 235950 HAS SOUS 114181 HAS SOUPS 112798 WITH SCORE 113040.74
AT ITER 7491 NEW BEST:: SOT 520663 SOS 242740 HAS SOPS 235950 HAS SOUS 114173 HAS SOUPS 112790 WITH SCORE 113032.74
AT ITER 7505 NEW BEST:: SOT 520663 SOS 242737 HAS SOPS 235947 HAS SOUS 114173 HAS SOUPS 112790 WITH SCORE 113032.737
AT ITER 7511 NEW BEST:: SOT 520633 SOS 242677 HAS SOPS 235887 HAS SOUS 114113 HAS SOUPS 112730 WITH SCORE 112972.677
AT ITER 7537 NEW BEST:: SOT 520114 SOS 242475 HAS SOPS 235685 HAS SOUS 113741 HAS SOUPS 112358 WITH SCORE 112600.475
AT ITER 7543 NEW BEST:: SOT 520109 SOS 242472 HAS SOPS 235683 HAS SOUS 113738 HAS SOUPS 112356 WITH SCORE 112598.472
AT ITER 7550 NEW BEST:: SOT 519731 SOS 242094 HAS SOPS 235305 HAS SOUS 113342 HAS SOUPS 111960 WITH SCORE 112202.094
AT ITER 7637 NEW BEST:: SOT 519730 SOS 242095 HAS SOPS 235305 HAS SOUS 113341 HAS SOUPS 111959 WITH SCORE 112201.095
AT ITER 7675 NEW BEST:: SOT 519694 SOS 242047 HAS SOPS 235257 HAS SOUS 113293 HAS SOUPS 111911 WITH SCORE 112153.047
AT ITER 7700 NEW BEST:: SOT 519694 SOS 241267 HAS SOPS 234477 HAS SOUS 113293 HAS SOUPS 111911 WITH SCORE 112152.267
AT ITER 7718 NEW BEST:: SOT 519729 SOS 240953 HAS SOPS 234163 HAS SOUS 113279 HAS SOUPS 111897 WITH SCORE 112137.953
AT ITER 7722 NEW BEST:: SOT 519717 SOS 240931 HAS SOPS 234141 HAS SOUS 113250 HAS SOUPS 111868 WITH SCORE 112108.931
AT ITER 7739 NEW BEST:: SOT 519717 SOS 242589 HAS SOPS 235799 HAS SOUS 113229 HAS SOUPS 111847 WITH SCORE 112089.589
AT ITER 7756 NEW BEST:: SOT 519625 SOS 242497 HAS SOPS 235707 HAS SOUS 113207 HAS SOUPS 111825 WITH SCORE 112067.497
AT ITER 7769 NEW BEST:: SOT 519463 SOS 242335 HAS SOPS 235545 HAS SOUS 113071 HAS SOUPS 111689 WITH SCORE 111931.335
AT ITER 7781 NEW BEST:: SOT 519463 SOS 242401 HAS SOPS 235521 HAS SOUS 112924 HAS SOUPS 111542 WITH SCORE 111784.401
AT ITER 7787 NEW BEST:: SOT 519438 SOS 242420 HAS SOPS 235546 HAS SOUS 112905 HAS SOUPS 111523 WITH SCORE 111765.42
AT ITER 7820 NEW BEST:: SOT 519417 SOS 242675 HAS SOPS 235801 HAS SOUS 112863 HAS SOUPS 111481 WITH SCORE 111723.675
AT ITER 7826 NEW BEST:: SOT 519400 SOS 242658 HAS SOPS 235784 HAS SOUS 112855 HAS SOUPS 111473 WITH SCORE 111715.658
AT ITER 7848 NEW BEST:: SOT 519377 SOS 242673 HAS SOPS 235799 HAS SOUS 112848 HAS SOUPS 111466 WITH SCORE 111708.673
AT ITER 7883 NEW BEST:: SOT 519450 SOS 243135 HAS SOPS 236261 HAS SOUS 112836 HAS SOUPS 111454 WITH SCORE 111697.135
AT ITER 7884 NEW BEST:: SOT 519442 SOS 243129 HAS SOPS 236255 HAS SOUS 112826 HAS SOUPS 111444 WITH SCORE 111687.129
AT ITER 7911 NEW BEST:: SOT 518799 SOS 242155 HAS SOPS 235281 HAS SOUS 112644 HAS SOUPS 111262 WITH SCORE 111504.155
AT ITER 7912 NEW BEST:: SOT 518781 SOS 242137 HAS SOPS 235265 HAS SOUS 112608 HAS SOUPS 111226 WITH SCORE 111468.137
AT ITER 7919 NEW BEST:: SOT 518780 SOS 242136 HAS SOPS 235264 HAS SOUS 112608 HAS SOUPS 111226 WITH SCORE 111468.136
AT ITER 7933 NEW BEST:: SOT 518569 SOS 241899 HAS SOPS 235027 HAS SOUS 112607 HAS SOUPS 111225 WITH SCORE 111466.899
AT ITER 7941 NEW BEST:: SOT 518428 SOS 242030 HAS SOPS 235028 HAS SOUS 112628 HAS SOUPS 111194 WITH SCORE 111436.03
AT ITER 7947 NEW BEST:: SOT 518428 SOS 241960 HAS SOPS 234958 HAS SOUS 112463 HAS SOUPS 111029 WITH SCORE 111270.96
AT ITER 7954 NEW BEST:: SOT 518428 SOS 242010 HAS SOPS 235008 HAS SOUS 112425 HAS SOUPS 110991 WITH SCORE 111233.01
AT ITER 7962 NEW BEST:: SOT 518428 SOS 242008 HAS SOPS 235006 HAS SOUS 112413 HAS SOUPS 110979 WITH SCORE 111221.008
AT ITER 7963 NEW BEST:: SOT 518536 SOS 242112 HAS SOPS 235110 HAS SOUS 112393 HAS SOUPS 110959 WITH SCORE 111201.112
AT ITER 8029 NEW BEST:: SOT 518522 SOS 241846 HAS SOPS 234928 HAS SOUS 112355 HAS SOUPS 110935 WITH SCORE 111176.846
AT ITER 8070 NEW BEST:: SOT 518520 SOS 241840 HAS SOPS 234922 HAS SOUS 112347 HAS SOUPS 110927 WITH SCORE 111168.84
AT ITER 8074 NEW BEST:: SOT 518446 SOS 241699 HAS SOPS 234781 HAS SOUS 112294 HAS SOUPS 110874 WITH SCORE 111115.699
AT ITER 8087 NEW BEST:: SOT 518435 SOS 241688 HAS SOPS 234770 HAS SOUS 112213 HAS SOUPS 110793 WITH SCORE 111034.688
AT ITER 8102 NEW BEST:: SOT 518402 SOS 241622 HAS SOPS 234704 HAS SOUS 112147 HAS SOUPS 110727 WITH SCORE 110968.622
AT ITER 8121 NEW BEST:: SOT 518396 SOS 241616 HAS SOPS 234698 HAS SOUS 111830 HAS SOUPS 110410 WITH SCORE 110651.616
AT ITER 8144 NEW BEST:: SOT 518413 SOS 241629 HAS SOPS 234711 HAS SOUS 111808 HAS SOUPS 110388 WITH SCORE 110629.629
AT ITER 8162 NEW BEST:: SOT 518387 SOS 241603 HAS SOPS 234676 HAS SOUS 111788 HAS SOUPS 110368 WITH SCORE 110609.603
AT ITER 8174 NEW BEST:: SOT 518396 SOS 241612 HAS SOPS 234685 HAS SOUS 111771 HAS SOUPS 110351 WITH SCORE 110592.612
AT ITER 8203 NEW BEST:: SOT 518258 SOS 238345 HAS SOPS 231418 HAS SOUS 111390 HAS SOUPS 109970 WITH SCORE 110208.345
AT ITER 8219 NEW BEST:: SOT 518376 SOS 238674 HAS SOPS 231747 HAS SOUS 111311 HAS SOUPS 109891 WITH SCORE 110129.674
AT ITER 8233 NEW BEST:: SOT 518080 SOS 238534 HAS SOPS 231607 HAS SOUS 111255 HAS SOUPS 109835 WITH SCORE 110073.534
AT ITER 8255 NEW BEST:: SOT 518092 SOS 238525 HAS SOPS 231598 HAS SOUS 111246 HAS SOUPS 109826 WITH SCORE 110064.525
AT ITER 8264 NEW BEST:: SOT 518093 SOS 238547 HAS SOPS 231620 HAS SOUS 111233 HAS SOUPS 109813 WITH SCORE 110051.547
AT ITER 8267 NEW BEST:: SOT 518093 SOS 238547 HAS SOPS 231620 HAS SOUS 111229 HAS SOUPS 109809 WITH SCORE 110047.547
AT ITER 8288 NEW BEST:: SOT 518010 SOS 238510 HAS SOPS 231583 HAS SOUS 111171 HAS SOUPS 109751 WITH SCORE 109989.51
AT ITER 8308 NEW BEST:: SOT 518008 SOS 238508 HAS SOPS 231581 HAS SOUS 111159 HAS SOUPS 109739 WITH SCORE 109977.508
AT ITER 8318 NEW BEST:: SOT 518341 SOS 238791 HAS SOPS 231864 HAS SOUS 111066 HAS SOUPS 109646 WITH SCORE 109884.791
AT ITER 8323 NEW BEST:: SOT 518234 SOS 238684 HAS SOPS 231757 HAS SOUS 110950 HAS SOUPS 109530 WITH SCORE 109768.684
AT ITER 8327 NEW BEST:: SOT 518163 SOS 238613 HAS SOPS 231717 HAS SOUS 110939 HAS SOUPS 109519 WITH SCORE 109757.613
AT ITER 8354 NEW BEST:: SOT 518137 SOS 238587 HAS SOPS 231691 HAS SOUS 110913 HAS SOUPS 109493 WITH SCORE 109731.587
AT ITER 8360 NEW BEST:: SOT 518059 SOS 238327 HAS SOPS 231431 HAS SOUS 110809 HAS SOUPS 109389 WITH SCORE 109627.327
AT ITER 8410 NEW BEST:: SOT 518047 SOS 238296 HAS SOPS 231400 HAS SOUS 110787 HAS SOUPS 109367 WITH SCORE 109605.296
AT ITER 8415 NEW BEST:: SOT 518016 SOS 238227 HAS SOPS 231331 HAS SOUS 110781 HAS SOUPS 109361 WITH SCORE 109599.227
AT ITER 8432 NEW BEST:: SOT 518014 SOS 238229 HAS SOPS 231333 HAS SOUS 110777 HAS SOUPS 109357 WITH SCORE 109595.229
AT ITER 8433 NEW BEST:: SOT 517972 SOS 238271 HAS SOPS 231375 HAS SOUS 110693 HAS SOUPS 109273 WITH SCORE 109511.271
AT ITER 8446 NEW BEST:: SOT 518007 SOS 238306 HAS SOPS 231410 HAS SOUS 110691 HAS SOUPS 109271 WITH SCORE 109509.306
AT ITER 8458 NEW BEST:: SOT 518013 SOS 238312 HAS SOPS 231437 HAS SOUS 110687 HAS SOUPS 109267 WITH SCORE 109505.312
AT ITER 8481 NEW BEST:: SOT 518007 SOS 238328 HAS SOPS 231453 HAS SOUS 110675 HAS SOUPS 109255 WITH SCORE 109493.328
AT ITER 8495 NEW BEST:: SOT 518026 SOS 238287 HAS SOPS 231412 HAS SOUS 110664 HAS SOUPS 109244 WITH SCORE 109482.287
AT ITER 8498 NEW BEST:: SOT 518097 SOS 238424 HAS SOPS 231549 HAS SOUS 110648 HAS SOUPS 109228 WITH SCORE 109466.424
AT ITER 8535 NEW BEST:: SOT 518092 SOS 238393 HAS SOPS 231518 HAS SOUS 110611 HAS SOUPS 109191 WITH SCORE 109429.393
AT ITER 8547 NEW BEST:: SOT 518126 SOS 238427 HAS SOPS 231552 HAS SOUS 110601 HAS SOUPS 109181 WITH SCORE 109419.427
AT ITER 8555 NEW BEST:: SOT 518126 SOS 238447 HAS SOPS 231572 HAS SOUS 110596 HAS SOUPS 109176 WITH SCORE 109414.447
AT ITER 8584 NEW BEST:: SOT 518127 SOS 238445 HAS SOPS 231570 HAS SOUS 110594 HAS SOUPS 109174 WITH SCORE 109412.445
AT ITER 8606 NEW BEST:: SOT 518127 SOS 238445 HAS SOPS 231570 HAS SOUS 110586 HAS SOUPS 109166 WITH SCORE 109404.445
AT ITER 8630 NEW BEST:: SOT 518123 SOS 238441 HAS SOPS 231577 HAS SOUS 110507 HAS SOUPS 109087 WITH SCORE 109325.441
AT ITER 8650 NEW BEST:: SOT 518084 SOS 238402 HAS SOPS 231538 HAS SOUS 110480 HAS SOUPS 109060 WITH SCORE 109298.402
AT ITER 8656 NEW BEST:: SOT 518074 SOS 238420 HAS SOPS 231556 HAS SOUS 110474 HAS SOUPS 109054 WITH SCORE 109292.42
AT ITER 8681 NEW BEST:: SOT 518068 SOS 238548 HAS SOPS 231684 HAS SOUS 110444 HAS SOUPS 109024 WITH SCORE 109262.548
AT ITER 8703 NEW BEST:: SOT 518090 SOS 238542 HAS SOPS 231678 HAS SOUS 110418 HAS SOUPS 108998 WITH SCORE 109236.542
AT ITER 8711 NEW BEST:: SOT 517994 SOS 238446 HAS SOPS 231582 HAS SOUS 110292 HAS SOUPS 108872 WITH SCORE 109110.446
AT ITER 8749 NEW BEST:: SOT 517717 SOS 238198 HAS SOPS 231334 HAS SOUS 110013 HAS SOUPS 108593 WITH SCORE 108831.198
AT ITER 8774 NEW BEST:: SOT 517673 SOS 238224 HAS SOPS 231360 HAS SOUS 109991 HAS SOUPS 108571 WITH SCORE 108809.224
AT ITER 8801 NEW BEST:: SOT 517673 SOS 238020 HAS SOPS 231156 HAS SOUS 109991 HAS SOUPS 108571 WITH SCORE 108809.02
AT ITER 8814 NEW BEST:: SOT 517673 SOS 237508 HAS SOPS 230644 HAS SOUS 109991 HAS SOUPS 108571 WITH SCORE 108808.508
AT ITER 8865 NEW BEST:: SOT 517667 SOS 237487 HAS SOPS 230626 HAS SOUS 109988 HAS SOUPS 108568 WITH SCORE 108805.487
AT ITER 8872 NEW BEST:: SOT 517422 SOS 237031 HAS SOPS 230170 HAS SOUS 109631 HAS SOUPS 108211 WITH SCORE 108448.031
AT ITER 8876 NEW BEST:: SOT 517422 SOS 237061 HAS SOPS 230200 HAS SOUS 109541 HAS SOUPS 108121 WITH SCORE 108358.061
AT ITER 8893 NEW BEST:: SOT 517360 SOS 236999 HAS SOPS 230138 HAS SOUS 109457 HAS SOUPS 108037 WITH SCORE 108273.999
AT ITER 8929 NEW BEST:: SOT 517360 SOS 236999 HAS SOPS 230131 HAS SOUS 109443 HAS SOUPS 108023 WITH SCORE 108259.999
AT ITER 8939 NEW BEST:: SOT 517344 SOS 237017 HAS SOPS 230124 HAS SOUS 109411 HAS SOUPS 107991 WITH SCORE 108228.017
AT ITER 8959 NEW BEST:: SOT 517300 SOS 236973 HAS SOPS 230080 HAS SOUS 109411 HAS SOUPS 107991 WITH SCORE 108227.973
AT ITER 9005 NEW BEST:: SOT 517278 SOS 236951 HAS SOPS 230048 HAS SOUS 109301 HAS SOUPS 107881 WITH SCORE 108117.951
AT ITER 9040 NEW BEST:: SOT 517104 SOS 236780 HAS SOPS 229877 HAS SOUS 109023 HAS SOUPS 107603 WITH SCORE 107839.78
AT ITER 9042 NEW BEST:: SOT 517063 SOS 236739 HAS SOPS 229836 HAS SOUS 108941 HAS SOUPS 107521 WITH SCORE 107757.739
AT ITER 9046 NEW BEST:: SOT 516728 SOS 236466 HAS SOPS 229563 HAS SOUS 108444 HAS SOUPS 107024 WITH SCORE 107260.466
AT ITER 9071 NEW BEST:: SOT 516755 SOS 236439 HAS SOPS 229536 HAS SOUS 108444 HAS SOUPS 107024 WITH SCORE 107260.439
AT ITER 9092 NEW BEST:: SOT 516755 SOS 236368 HAS SOPS 229465 HAS SOUS 108444 HAS SOUPS 107024 WITH SCORE 107260.368
AT ITER 9111 NEW BEST:: SOT 516733 SOS 236325 HAS SOPS 229422 HAS SOUS 108379 HAS SOUPS 106959 WITH SCORE 107195.325
AT ITER 9129 NEW BEST:: SOT 516293 SOS 231065 HAS SOPS 224162 HAS SOUS 108169 HAS SOUPS 106749 WITH SCORE 106980.065
AT ITER 9149 NEW BEST:: SOT 516031 SOS 230803 HAS SOPS 223900 HAS SOUS 108053 HAS SOUPS 106633 WITH SCORE 106863.803
AT ITER 9197 NEW BEST:: SOT 516008 SOS 230780 HAS SOPS 223877 HAS SOUS 108041 HAS SOUPS 106621 WITH SCORE 106851.78
AT ITER 9199 NEW BEST:: SOT 515994 SOS 230756 HAS SOPS 223853 HAS SOUS 108027 HAS SOUPS 106607 WITH SCORE 106837.756
AT ITER 9224 NEW BEST:: SOT 515981 SOS 230743 HAS SOPS 223834 HAS SOUS 107998 HAS SOUPS 106578 WITH SCORE 106808.743
AT ITER 9256 NEW BEST:: SOT 515981 SOS 230743 HAS SOPS 223830 HAS SOUS 107994 HAS SOUPS 106574 WITH SCORE 106804.743
AT ITER 9257 NEW BEST:: SOT 515981 SOS 230743 HAS SOPS 223830 HAS SOUS 107972 HAS SOUPS 106552 WITH SCORE 106782.743
AT ITER 9262 NEW BEST:: SOT 516057 SOS 230729 HAS SOPS 223816 HAS SOUS 107966 HAS SOUPS 106546 WITH SCORE 106776.729
AT ITER 9325 NEW BEST:: SOT 516041 SOS 230704 HAS SOPS 223784 HAS SOUS 107954 HAS SOUPS 106534 WITH SCORE 106764.704
AT ITER 9341 NEW BEST:: SOT 516014 SOS 230677 HAS SOPS 223757 HAS SOUS 107841 HAS SOUPS 106421 WITH SCORE 106651.677
AT ITER 9358 NEW BEST:: SOT 516018 SOS 230659 HAS SOPS 223739 HAS SOUS 107823 HAS SOUPS 106403 WITH SCORE 106633.659
AT ITER 9360 NEW BEST:: SOT 516018 SOS 230629 HAS SOPS 223709 HAS SOUS 107818 HAS SOUPS 106398 WITH SCORE 106628.629
AT ITER 9369 NEW BEST:: SOT 515950 SOS 230561 HAS SOPS 223641 HAS SOUS 107713 HAS SOUPS 106293 WITH SCORE 106523.561
AT ITER 9409 NEW BEST:: SOT 515995 SOS 230624 HAS SOPS 223704 HAS SOUS 107679 HAS SOUPS 106259 WITH SCORE 106489.624
AT ITER 9432 NEW BEST:: SOT 515818 SOS 232442 HAS SOPS 225522 HAS SOUS 107667 HAS SOUPS 106247 WITH SCORE 106479.442
AT ITER 9495 NEW BEST:: SOT 515971 SOS 231077 HAS SOPS 224157 HAS SOUS 107559 HAS SOUPS 106139 WITH SCORE 106370.077
AT ITER 9520 NEW BEST:: SOT 515979 SOS 231137 HAS SOPS 224217 HAS SOUS 107553 HAS SOUPS 106133 WITH SCORE 106364.137
AT ITER 9524 NEW BEST:: SOT 515961 SOS 231081 HAS SOPS 224161 HAS SOUS 107522 HAS SOUPS 106102 WITH SCORE 106333.081
AT ITER 9566 NEW BEST:: SOT 515961 SOS 231047 HAS SOPS 224127 HAS SOUS 107522 HAS SOUPS 106102 WITH SCORE 106333.047
AT ITER 9569 NEW BEST:: SOT 515957 SOS 231039 HAS SOPS 224119 HAS SOUS 107514 HAS SOUPS 106094 WITH SCORE 106325.039
AT ITER 9577 NEW BEST:: SOT 515924 SOS 231006 HAS SOPS 224086 HAS SOUS 107448 HAS SOUPS 106028 WITH SCORE 106259.006
AT ITER 9585 NEW BEST:: SOT 515841 SOS 230923 HAS SOPS 224003 HAS SOUS 107424 HAS SOUPS 106004 WITH SCORE 106234.923
AT ITER 9591 NEW BEST:: SOT 515797 SOS 230879 HAS SOPS 223930 HAS SOUS 107336 HAS SOUPS 105916 WITH SCORE 106146.879
AT ITER 9621 NEW BEST:: SOT 515787 SOS 230883 HAS SOPS 223934 HAS SOUS 107330 HAS SOUPS 105910 WITH SCORE 106140.883
AT ITER 9691 NEW BEST:: SOT 515788 SOS 230884 HAS SOPS 223935 HAS SOUS 107329 HAS SOUPS 105909 WITH SCORE 106139.884
AT ITER 9693 NEW BEST:: SOT 515839 SOS 230279 HAS SOPS 223330 HAS SOUS 107300 HAS SOUPS 105880 WITH SCORE 106110.279
AT ITER 9707 NEW BEST:: SOT 515839 SOS 229989 HAS SOPS 223040 HAS SOUS 107248 HAS SOUPS 105828 WITH SCORE 106057.989
AT ITER 9756 NEW BEST:: SOT 515836 SOS 229950 HAS SOPS 223001 HAS SOUS 107245 HAS SOUPS 105825 WITH SCORE 106054.95
AT ITER 9757 NEW BEST:: SOT 515806 SOS 229920 HAS SOPS 222944 HAS SOUS 107180 HAS SOUPS 105760 WITH SCORE 105989.92
AT ITER 9777 NEW BEST:: SOT 515397 SOS 229347 HAS SOPS 222371 HAS SOUS 106698 HAS SOUPS 105278 WITH SCORE 105507.347
AT ITER 9780 NEW BEST:: SOT 515394 SOS 229344 HAS SOPS 222368 HAS SOUS 106695 HAS SOUPS 105275 WITH SCORE 105504.344
AT ITER 9827 NEW BEST:: SOT 515435 SOS 228825 HAS SOPS 221849 HAS SOUS 106396 HAS SOUPS 104976 WITH SCORE 105204.825
AT ITER 9840 NEW BEST:: SOT 515444 SOS 228834 HAS SOPS 221854 HAS SOUS 106357 HAS SOUPS 104937 WITH SCORE 105165.834
AT ITER 9857 NEW BEST:: SOT 515300 SOS 228822 HAS SOPS 221842 HAS SOUS 106170 HAS SOUPS 104750 WITH SCORE 104978.822
AT ITER 9864 NEW BEST:: SOT 515300 SOS 228882 HAS SOPS 221902 HAS SOUS 106144 HAS SOUPS 104724 WITH SCORE 104952.882
AT ITER 9896 NEW BEST:: SOT 515337 SOS 228933 HAS SOPS 221953 HAS SOUS 106110 HAS SOUPS 104690 WITH SCORE 104918.933
AT ITER 9928 NEW BEST:: SOT 515337 SOS 224578 HAS SOPS 217598 HAS SOUS 106110 HAS SOUPS 104690 WITH SCORE 104914.578
AT ITER 9949 NEW BEST:: SOT 515191 SOS 224111 HAS SOPS 217131 HAS SOUS 106077 HAS SOUPS 104657 WITH SCORE 104881.111
AT ITER 9966 NEW BEST:: SOT 515191 SOS 224111 HAS SOPS 217131 HAS SOUS 106068 HAS SOUPS 104648 WITH SCORE 104872.111
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11950492 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16136708 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-S04J06T06"
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-S04J06T06, 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-167873942900424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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