Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 580K
-rw-r--r-- 1 mcc users 7.0K Feb 26 13:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 13:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 13:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 13:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 13:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 108K Feb 26 13:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Feb 26 13:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 13:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 154K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679486784796

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

Filename model.pnml
Petri model created: 844 places, 1812 transitions, 8302 arcs.
AT ITER 0 NEW BEST:: SOT 957485 SOS 582681 HAS SOPS 577248 HAS SOUS 367322 HAS SOUPS 366587 WITH SCORE 367169.681
AT ITER 13 NEW BEST:: SOT 956185 SOS 581600 HAS SOPS 576167 HAS SOUS 367239 HAS SOUPS 366504 WITH SCORE 367085.6
AT ITER 14 NEW BEST:: SOT 956121 SOS 581536 HAS SOPS 576103 HAS SOUS 367097 HAS SOUPS 366362 WITH SCORE 366943.536
AT ITER 19 NEW BEST:: SOT 956083 SOS 581441 HAS SOPS 576008 HAS SOUS 367021 HAS SOUPS 366286 WITH SCORE 366867.441
AT ITER 20 NEW BEST:: SOT 956083 SOS 581759 HAS SOPS 576326 HAS SOUS 366488 HAS SOUPS 365753 WITH SCORE 366334.759
AT ITER 28 NEW BEST:: SOT 955787 SOS 581463 HAS SOPS 576030 HAS SOUS 366286 HAS SOUPS 365551 WITH SCORE 366132.463
AT ITER 33 NEW BEST:: SOT 955597 SOS 581178 HAS SOPS 575745 HAS SOUS 366054 HAS SOUPS 365319 WITH SCORE 365900.178
AT ITER 35 NEW BEST:: SOT 955597 SOS 581204 HAS SOPS 575771 HAS SOUS 366049 HAS SOUPS 365314 WITH SCORE 365895.204
AT ITER 58 NEW BEST:: SOT 955447 SOS 580904 HAS SOPS 575471 HAS SOUS 365742 HAS SOUPS 365007 WITH SCORE 365587.904
AT ITER 63 NEW BEST:: SOT 955139 SOS 580819 HAS SOPS 575386 HAS SOUS 365598 HAS SOUPS 364863 WITH SCORE 365443.819
AT ITER 66 NEW BEST:: SOT 955139 SOS 580886 HAS SOPS 575453 HAS SOUS 365565 HAS SOUPS 364830 WITH SCORE 365410.886
AT ITER 69 NEW BEST:: SOT 954790 SOS 580383 HAS SOPS 574950 HAS SOUS 365120 HAS SOUPS 364385 WITH SCORE 364965.383
AT ITER 70 NEW BEST:: SOT 954510 SOS 579683 HAS SOPS 574250 HAS SOUS 364840 HAS SOUPS 364105 WITH SCORE 364684.683
AT ITER 75 NEW BEST:: SOT 954086 SOS 579168 HAS SOPS 573735 HAS SOUS 364549 HAS SOUPS 363814 WITH SCORE 364393.168
AT ITER 77 NEW BEST:: SOT 954793 SOS 580851 HAS SOPS 575418 HAS SOUS 364311 HAS SOUPS 363576 WITH SCORE 364156.851
AT ITER 88 NEW BEST:: SOT 954671 SOS 580363 HAS SOPS 574930 HAS SOUS 364189 HAS SOUPS 363454 WITH SCORE 364034.363
AT ITER 93 NEW BEST:: SOT 954315 SOS 579455 HAS SOPS 574022 HAS SOUS 363942 HAS SOUPS 363207 WITH SCORE 363786.455
AT ITER 103 NEW BEST:: SOT 951242 SOS 575954 HAS SOPS 570521 HAS SOUS 363073 HAS SOUPS 362338 WITH SCORE 362913.954
AT ITER 106 NEW BEST:: SOT 950893 SOS 575591 HAS SOPS 570158 HAS SOUS 362738 HAS SOUPS 362003 WITH SCORE 362578.591
AT ITER 108 NEW BEST:: SOT 947772 SOS 574042 HAS SOPS 568609 HAS SOUS 361279 HAS SOUPS 360544 WITH SCORE 361118.042
AT ITER 119 NEW BEST:: SOT 947772 SOS 573842 HAS SOPS 568409 HAS SOUS 361279 HAS SOUPS 360544 WITH SCORE 361117.842
AT ITER 132 NEW BEST:: SOT 947682 SOS 573482 HAS SOPS 568049 HAS SOUS 361173 HAS SOUPS 360438 WITH SCORE 361011.482
AT ITER 140 NEW BEST:: SOT 947618 SOS 573354 HAS SOPS 567921 HAS SOUS 361045 HAS SOUPS 360310 WITH SCORE 360883.354
AT ITER 147 NEW BEST:: SOT 947385 SOS 572655 HAS SOPS 567222 HAS SOUS 360681 HAS SOUPS 359946 WITH SCORE 360518.655
AT ITER 150 NEW BEST:: SOT 947205 SOS 572295 HAS SOPS 566862 HAS SOUS 360321 HAS SOUPS 359586 WITH SCORE 360158.295
AT ITER 153 NEW BEST:: SOT 946829 SOS 571912 HAS SOPS 566479 HAS SOUS 358958 HAS SOUPS 358223 WITH SCORE 358794.912
AT ITER 156 NEW BEST:: SOT 946843 SOS 571924 HAS SOPS 566491 HAS SOUS 356476 HAS SOUPS 355741 WITH SCORE 356312.924
AT ITER 157 NEW BEST:: SOT 946330 SOS 565727 HAS SOPS 560294 HAS SOUS 355481 HAS SOUPS 354746 WITH SCORE 355311.727
AT ITER 158 NEW BEST:: SOT 946269 SOS 565683 HAS SOPS 560250 HAS SOUS 355437 HAS SOUPS 354702 WITH SCORE 355267.683
AT ITER 167 NEW BEST:: SOT 946269 SOS 565553 HAS SOPS 560120 HAS SOUS 355397 HAS SOUPS 354662 WITH SCORE 355227.553
AT ITER 174 NEW BEST:: SOT 946116 SOS 554533 HAS SOPS 549100 HAS SOUS 355215 HAS SOUPS 354480 WITH SCORE 355034.533
AT ITER 178 NEW BEST:: SOT 946382 SOS 554628 HAS SOPS 549195 HAS SOUS 353542 HAS SOUPS 352807 WITH SCORE 353361.628
AT ITER 182 NEW BEST:: SOT 945153 SOS 553469 HAS SOPS 548036 HAS SOUS 353028 HAS SOUPS 352293 WITH SCORE 352846.469
AT ITER 184 NEW BEST:: SOT 944777 SOS 551922 HAS SOPS 546489 HAS SOUS 352261 HAS SOUPS 351526 WITH SCORE 352077.922
AT ITER 187 NEW BEST:: SOT 944773 SOS 551760 HAS SOPS 546327 HAS SOUS 351766 HAS SOUPS 351031 WITH SCORE 351582.76
AT ITER 190 NEW BEST:: SOT 944718 SOS 551553 HAS SOPS 546120 HAS SOUS 351601 HAS SOUPS 350866 WITH SCORE 351417.553
AT ITER 192 NEW BEST:: SOT 944837 SOS 553807 HAS SOPS 548374 HAS SOUS 351289 HAS SOUPS 350554 WITH SCORE 351107.807
AT ITER 196 NEW BEST:: SOT 944776 SOS 553611 HAS SOPS 548178 HAS SOUS 351093 HAS SOUPS 350358 WITH SCORE 350911.611
AT ITER 198 NEW BEST:: SOT 944884 SOS 553872 HAS SOPS 548439 HAS SOUS 350699 HAS SOUPS 349964 WITH SCORE 350517.872
AT ITER 200 NEW BEST:: SOT 944843 SOS 553821 HAS SOPS 548388 HAS SOUS 350648 HAS SOUPS 349913 WITH SCORE 350466.821
AT ITER 202 NEW BEST:: SOT 943610 SOS 552857 HAS SOPS 547424 HAS SOUS 349898 HAS SOUPS 349163 WITH SCORE 349715.857
AT ITER 204 NEW BEST:: SOT 944373 SOS 553767 HAS SOPS 548334 HAS SOUS 348617 HAS SOUPS 347882 WITH SCORE 348435.767
AT ITER 213 NEW BEST:: SOT 944358 SOS 553752 HAS SOPS 548319 HAS SOUS 348587 HAS SOUPS 347852 WITH SCORE 348405.752
AT ITER 217 NEW BEST:: SOT 944358 SOS 553742 HAS SOPS 548309 HAS SOUS 348577 HAS SOUPS 347842 WITH SCORE 348395.742
AT ITER 221 NEW BEST:: SOT 942327 SOS 551781 HAS SOPS 546258 HAS SOUS 346598 HAS SOUPS 345791 WITH SCORE 346342.781
AT ITER 222 NEW BEST:: SOT 942317 SOS 551751 HAS SOPS 546228 HAS SOUS 346578 HAS SOUPS 345771 WITH SCORE 346322.751
AT ITER 225 NEW BEST:: SOT 941290 SOS 550511 HAS SOPS 544988 HAS SOUS 345499 HAS SOUPS 344692 WITH SCORE 345242.511
AT ITER 230 NEW BEST:: SOT 941277 SOS 550498 HAS SOPS 544975 HAS SOUS 345486 HAS SOUPS 344679 WITH SCORE 345229.498
AT ITER 235 NEW BEST:: SOT 941163 SOS 550373 HAS SOPS 544850 HAS SOUS 345115 HAS SOUPS 344308 WITH SCORE 344858.373
AT ITER 236 NEW BEST:: SOT 939630 SOS 549014 HAS SOPS 543491 HAS SOUS 345040 HAS SOUPS 344233 WITH SCORE 344782.014
AT ITER 242 NEW BEST:: SOT 939763 SOS 548997 HAS SOPS 543474 HAS SOUS 344740 HAS SOUPS 343933 WITH SCORE 344481.997
AT ITER 247 NEW BEST:: SOT 940246 SOS 549227 HAS SOPS 543704 HAS SOUS 342790 HAS SOUPS 341983 WITH SCORE 342532.227
AT ITER 255 NEW BEST:: SOT 940207 SOS 549188 HAS SOPS 543665 HAS SOUS 342712 HAS SOUPS 341905 WITH SCORE 342454.188
AT ITER 264 NEW BEST:: SOT 940095 SOS 548706 HAS SOPS 543183 HAS SOUS 342576 HAS SOUPS 341769 WITH SCORE 342317.706
AT ITER 271 NEW BEST:: SOT 939591 SOS 548202 HAS SOPS 542679 HAS SOUS 342072 HAS SOUPS 341265 WITH SCORE 341813.202
AT ITER 272 NEW BEST:: SOT 939555 SOS 548166 HAS SOPS 542643 HAS SOUS 341992 HAS SOUPS 341185 WITH SCORE 341733.166
AT ITER 275 NEW BEST:: SOT 938106 SOS 546832 HAS SOPS 541309 HAS SOUS 341737 HAS SOUPS 340930 WITH SCORE 341476.832
AT ITER 278 NEW BEST:: SOT 938053 SOS 546802 HAS SOPS 541279 HAS SOUS 341675 HAS SOUPS 340868 WITH SCORE 341414.802
AT ITER 285 NEW BEST:: SOT 938053 SOS 546894 HAS SOPS 541371 HAS SOUS 341629 HAS SOUPS 340822 WITH SCORE 341368.894
AT ITER 287 NEW BEST:: SOT 938053 SOS 546894 HAS SOPS 541371 HAS SOUS 341401 HAS SOUPS 340594 WITH SCORE 341140.894
AT ITER 291 NEW BEST:: SOT 938051 SOS 546892 HAS SOPS 541369 HAS SOUS 341399 HAS SOUPS 340592 WITH SCORE 341138.892
AT ITER 307 NEW BEST:: SOT 937944 SOS 546785 HAS SOPS 541262 HAS SOUS 341292 HAS SOUPS 340485 WITH SCORE 341031.785
AT ITER 310 NEW BEST:: SOT 936420 SOS 544821 HAS SOPS 539298 HAS SOUS 340311 HAS SOUPS 339504 WITH SCORE 340048.821
AT ITER 311 NEW BEST:: SOT 935977 SOS 544077 HAS SOPS 538554 HAS SOUS 339854 HAS SOUPS 339047 WITH SCORE 339591.077
AT ITER 313 NEW BEST:: SOT 935829 SOS 543633 HAS SOPS 538110 HAS SOUS 339508 HAS SOUPS 338701 WITH SCORE 339244.633
AT ITER 316 NEW BEST:: SOT 935755 SOS 543372 HAS SOPS 537849 HAS SOUS 339360 HAS SOUPS 338553 WITH SCORE 339096.372
AT ITER 325 NEW BEST:: SOT 935530 SOS 543019 HAS SOPS 537496 HAS SOUS 338782 HAS SOUPS 337975 WITH SCORE 338518.019
AT ITER 339 NEW BEST:: SOT 935530 SOS 543097 HAS SOPS 537574 HAS SOUS 338604 HAS SOUPS 337797 WITH SCORE 338340.097
AT ITER 340 NEW BEST:: SOT 935329 SOS 542896 HAS SOPS 537373 HAS SOUS 338398 HAS SOUPS 337591 WITH SCORE 338133.896
AT ITER 349 NEW BEST:: SOT 935257 SOS 542988 HAS SOPS 537467 HAS SOUS 338379 HAS SOUPS 337572 WITH SCORE 338114.988
AT ITER 352 NEW BEST:: SOT 935257 SOS 542205 HAS SOPS 536684 HAS SOUS 337303 HAS SOUPS 336496 WITH SCORE 337038.205
AT ITER 355 NEW BEST:: SOT 933293 SOS 540221 HAS SOPS 534700 HAS SOUS 336811 HAS SOUPS 336004 WITH SCORE 336544.221
AT ITER 357 NEW BEST:: SOT 933065 SOS 539262 HAS SOPS 533741 HAS SOUS 336512 HAS SOUPS 335705 WITH SCORE 336244.262
AT ITER 362 NEW BEST:: SOT 932831 SOS 539086 HAS SOPS 533565 HAS SOUS 336444 HAS SOUPS 335637 WITH SCORE 336176.086
AT ITER 363 NEW BEST:: SOT 933277 SOS 540070 HAS SOPS 534562 HAS SOUS 336386 HAS SOUPS 335579 WITH SCORE 336119.07
AT ITER 364 NEW BEST:: SOT 933029 SOS 539698 HAS SOPS 534190 HAS SOUS 336105 HAS SOUPS 335298 WITH SCORE 335837.698
AT ITER 374 NEW BEST:: SOT 932849 SOS 539246 HAS SOPS 533738 HAS SOUS 335840 HAS SOUPS 335033 WITH SCORE 335572.246
AT ITER 375 NEW BEST:: SOT 932849 SOS 539236 HAS SOPS 533728 HAS SOUS 335830 HAS SOUPS 335023 WITH SCORE 335562.236
AT ITER 378 NEW BEST:: SOT 931555 SOS 538199 HAS SOPS 532691 HAS SOUS 334572 HAS SOUPS 333765 WITH SCORE 334303.199
AT ITER 384 NEW BEST:: SOT 931433 SOS 537700 HAS SOPS 532192 HAS SOUS 334328 HAS SOUPS 333521 WITH SCORE 334058.7
AT ITER 389 NEW BEST:: SOT 928742 SOS 535569 HAS SOPS 530061 HAS SOUS 334097 HAS SOUPS 333290 WITH SCORE 333825.569
AT ITER 392 NEW BEST:: SOT 928457 SOS 535221 HAS SOPS 529713 HAS SOUS 333340 HAS SOUPS 332533 WITH SCORE 333068.221
AT ITER 394 NEW BEST:: SOT 928457 SOS 535221 HAS SOPS 529713 HAS SOUS 333304 HAS SOUPS 332497 WITH SCORE 333032.221
AT ITER 395 NEW BEST:: SOT 928411 SOS 535047 HAS SOPS 529539 HAS SOUS 333258 HAS SOUPS 332451 WITH SCORE 332986.047
AT ITER 399 NEW BEST:: SOT 928520 SOS 535002 HAS SOPS 529494 HAS SOUS 332661 HAS SOUPS 331854 WITH SCORE 332389.002
AT ITER 400 NEW BEST:: SOT 928699 SOS 535322 HAS SOPS 529814 HAS SOUS 332284 HAS SOUPS 331477 WITH SCORE 332012.322
AT ITER 402 NEW BEST:: SOT 928699 SOS 535322 HAS SOPS 529814 HAS SOUS 332282 HAS SOUPS 331475 WITH SCORE 332010.322
AT ITER 403 NEW BEST:: SOT 928699 SOS 535310 HAS SOPS 529802 HAS SOUS 332270 HAS SOUPS 331463 WITH SCORE 331998.31
AT ITER 404 NEW BEST:: SOT 927406 SOS 534040 HAS SOPS 528532 HAS SOUS 331480 HAS SOUPS 330673 WITH SCORE 331207.04
AT ITER 413 NEW BEST:: SOT 927406 SOS 534017 HAS SOPS 528509 HAS SOUS 331457 HAS SOUPS 330650 WITH SCORE 331184.017
AT ITER 416 NEW BEST:: SOT 927406 SOS 533867 HAS SOPS 528295 HAS SOUS 331445 HAS SOUPS 330576 WITH SCORE 331109.867
AT ITER 427 NEW BEST:: SOT 927180 SOS 533175 HAS SOPS 527603 HAS SOUS 331031 HAS SOUPS 330162 WITH SCORE 330695.175
AT ITER 430 NEW BEST:: SOT 926971 SOS 532858 HAS SOPS 527286 HAS SOUS 330505 HAS SOUPS 329636 WITH SCORE 330168.858
AT ITER 433 NEW BEST:: SOT 926961 SOS 532838 HAS SOPS 527266 HAS SOUS 330485 HAS SOUPS 329616 WITH SCORE 330148.838
AT ITER 440 NEW BEST:: SOT 927094 SOS 532795 HAS SOPS 527223 HAS SOUS 329281 HAS SOUPS 328412 WITH SCORE 328944.795
AT ITER 442 NEW BEST:: SOT 934759 SOS 536651 HAS SOPS 531079 HAS SOUS 328997 HAS SOUPS 328128 WITH SCORE 328664.651
AT ITER 443 NEW BEST:: SOT 934727 SOS 535935 HAS SOPS 530363 HAS SOUS 328933 HAS SOUPS 328064 WITH SCORE 328599.935
AT ITER 446 NEW BEST:: SOT 934246 SOS 535563 HAS SOPS 529991 HAS SOUS 328647 HAS SOUPS 327778 WITH SCORE 328313.563
AT ITER 456 NEW BEST:: SOT 934246 SOS 535393 HAS SOPS 529821 HAS SOUS 328477 HAS SOUPS 327608 WITH SCORE 328143.393
AT ITER 460 NEW BEST:: SOT 933247 SOS 534512 HAS SOPS 528940 HAS SOUS 327942 HAS SOUPS 327073 WITH SCORE 327607.512
AT ITER 463 NEW BEST:: SOT 933247 SOS 534769 HAS SOPS 529197 HAS SOUS 327787 HAS SOUPS 326918 WITH SCORE 327452.769
AT ITER 481 NEW BEST:: SOT 933153 SOS 534607 HAS SOPS 529035 HAS SOUS 327668 HAS SOUPS 326799 WITH SCORE 327333.607
AT ITER 483 NEW BEST:: SOT 932910 SOS 533945 HAS SOPS 528373 HAS SOUS 327092 HAS SOUPS 326223 WITH SCORE 326756.945
AT ITER 484 NEW BEST:: SOT 932858 SOS 533884 HAS SOPS 528312 HAS SOUS 327031 HAS SOUPS 326162 WITH SCORE 326695.884
AT ITER 486 NEW BEST:: SOT 932597 SOS 530567 HAS SOPS 524995 HAS SOUS 323825 HAS SOUPS 322956 WITH SCORE 323486.567
AT ITER 495 NEW BEST:: SOT 932529 SOS 530330 HAS SOPS 524758 HAS SOUS 323679 HAS SOUPS 322810 WITH SCORE 323340.33
AT ITER 497 NEW BEST:: SOT 932330 SOS 530014 HAS SOPS 524442 HAS SOUS 323110 HAS SOUPS 322241 WITH SCORE 322771.014
AT ITER 498 NEW BEST:: SOT 932329 SOS 530011 HAS SOPS 524439 HAS SOUS 323108 HAS SOUPS 322239 WITH SCORE 322769.011
AT ITER 501 NEW BEST:: SOT 931959 SOS 529674 HAS SOPS 524102 HAS SOUS 322771 HAS SOUPS 321902 WITH SCORE 322431.674
AT ITER 502 NEW BEST:: SOT 931569 SOS 530088 HAS SOPS 524516 HAS SOUS 322016 HAS SOUPS 321147 WITH SCORE 321677.088
AT ITER 508 NEW BEST:: SOT 931569 SOS 528160 HAS SOPS 522588 HAS SOUS 320095 HAS SOUPS 319226 WITH SCORE 319754.16
AT ITER 514 NEW BEST:: SOT 931592 SOS 528211 HAS SOPS 522639 HAS SOUS 320010 HAS SOUPS 319141 WITH SCORE 319669.211
AT ITER 524 NEW BEST:: SOT 931334 SOS 525098 HAS SOPS 519526 HAS SOUS 316829 HAS SOUPS 315960 WITH SCORE 316485.098
AT ITER 525 NEW BEST:: SOT 930518 SOS 524486 HAS SOPS 518914 HAS SOUS 316031 HAS SOUPS 315162 WITH SCORE 315686.486
AT ITER 526 NEW BEST:: SOT 930444 SOS 524375 HAS SOPS 518803 HAS SOUS 315846 HAS SOUPS 314977 WITH SCORE 315501.375
AT ITER 545 NEW BEST:: SOT 930443 SOS 524381 HAS SOPS 518698 HAS SOUS 315741 HAS SOUPS 314872 WITH SCORE 315396.381
AT ITER 556 NEW BEST:: SOT 929138 SOS 523214 HAS SOPS 517531 HAS SOUS 314528 HAS SOUPS 313659 WITH SCORE 314182.214
AT ITER 560 NEW BEST:: SOT 928810 SOS 522900 HAS SOPS 517217 HAS SOUS 314210 HAS SOUPS 313341 WITH SCORE 313863.9
AT ITER 561 NEW BEST:: SOT 928783 SOS 522788 HAS SOPS 517105 HAS SOUS 314137 HAS SOUPS 313268 WITH SCORE 313790.788
AT ITER 576 NEW BEST:: SOT 928121 SOS 522279 HAS SOPS 516596 HAS SOUS 314002 HAS SOUPS 313133 WITH SCORE 313655.279
AT ITER 584 NEW BEST:: SOT 932210 SOS 523714 HAS SOPS 518044 HAS SOUS 313097 HAS SOUPS 312228 WITH SCORE 312751.714
AT ITER 590 NEW BEST:: SOT 932162 SOS 523666 HAS SOPS 517996 HAS SOUS 313014 HAS SOUPS 312145 WITH SCORE 312668.666
AT ITER 605 NEW BEST:: SOT 931870 SOS 523374 HAS SOPS 517704 HAS SOUS 312714 HAS SOUPS 311845 WITH SCORE 312368.374
AT ITER 615 NEW BEST:: SOT 930341 SOS 522277 HAS SOPS 516607 HAS SOUS 311760 HAS SOUPS 310891 WITH SCORE 311413.277
AT ITER 626 NEW BEST:: SOT 930336 SOS 522272 HAS SOPS 516611 HAS SOUS 311760 HAS SOUPS 310891 WITH SCORE 311413.272
AT ITER 637 NEW BEST:: SOT 930309 SOS 522055 HAS SOPS 516394 HAS SOUS 311523 HAS SOUPS 310654 WITH SCORE 311176.055
AT ITER 640 NEW BEST:: SOT 930279 SOS 521695 HAS SOPS 516034 HAS SOUS 311463 HAS SOUPS 310594 WITH SCORE 311115.695
AT ITER 642 NEW BEST:: SOT 930245 SOS 521598 HAS SOPS 515937 HAS SOUS 311366 HAS SOUPS 310497 WITH SCORE 311018.598
AT ITER 643 NEW BEST:: SOT 930283 SOS 521640 HAS SOPS 515979 HAS SOUS 311302 HAS SOUPS 310433 WITH SCORE 310954.64
AT ITER 645 NEW BEST:: SOT 930270 SOS 521627 HAS SOPS 515966 HAS SOUS 311278 HAS SOUPS 310409 WITH SCORE 310930.627
AT ITER 646 NEW BEST:: SOT 931024 SOS 520732 HAS SOPS 515071 HAS SOUS 310569 HAS SOUPS 309700 WITH SCORE 310220.732
AT ITER 657 NEW BEST:: SOT 930514 SOS 519821 HAS SOPS 514160 HAS SOUS 310049 HAS SOUPS 309180 WITH SCORE 309699.821
AT ITER 658 NEW BEST:: SOT 930346 SOS 519777 HAS SOPS 514071 HAS SOUS 309948 HAS SOUPS 309079 WITH SCORE 309598.777
AT ITER 659 NEW BEST:: SOT 922545 SOS 516231 HAS SOPS 507755 HAS SOUS 302310 HAS SOUPS 301164 WITH SCORE 301680.231
AT ITER 667 NEW BEST:: SOT 922545 SOS 516231 HAS SOPS 507755 HAS SOUS 302303 HAS SOUPS 301157 WITH SCORE 301673.231
AT ITER 671 NEW BEST:: SOT 922609 SOS 516531 HAS SOPS 508055 HAS SOUS 302167 HAS SOUPS 301021 WITH SCORE 301537.531
AT ITER 673 NEW BEST:: SOT 922497 SOS 516363 HAS SOPS 507887 HAS SOUS 301887 HAS SOUPS 300741 WITH SCORE 301257.363
AT ITER 676 NEW BEST:: SOT 922456 SOS 516322 HAS SOPS 507846 HAS SOUS 301644 HAS SOUPS 300498 WITH SCORE 301014.322
AT ITER 681 NEW BEST:: SOT 922361 SOS 516185 HAS SOPS 507709 HAS SOUS 301412 HAS SOUPS 300266 WITH SCORE 300782.185
AT ITER 682 NEW BEST:: SOT 918834 SOS 514139 HAS SOPS 505663 HAS SOUS 300633 HAS SOUPS 299487 WITH SCORE 300001.139
AT ITER 685 NEW BEST:: SOT 918869 SOS 514323 HAS SOPS 505847 HAS SOUS 300365 HAS SOUPS 299219 WITH SCORE 299733.323
AT ITER 689 NEW BEST:: SOT 918993 SOS 514357 HAS SOPS 505881 HAS SOUS 300008 HAS SOUPS 298862 WITH SCORE 299376.357
AT ITER 703 NEW BEST:: SOT 918350 SOS 513616 HAS SOPS 505140 HAS SOUS 299251 HAS SOUPS 298105 WITH SCORE 298618.616
AT ITER 717 NEW BEST:: SOT 916888 SOS 512401 HAS SOPS 503925 HAS SOUS 298430 HAS SOUPS 297284 WITH SCORE 297796.401
AT ITER 718 NEW BEST:: SOT 916763 SOS 512151 HAS SOPS 503675 HAS SOUS 298425 HAS SOUPS 297279 WITH SCORE 297791.151
AT ITER 725 NEW BEST:: SOT 916335 SOS 511759 HAS SOPS 503283 HAS SOUS 298039 HAS SOUPS 296893 WITH SCORE 297404.759
AT ITER 735 NEW BEST:: SOT 914246 SOS 509575 HAS SOPS 501099 HAS SOUS 296815 HAS SOUPS 295669 WITH SCORE 296178.575
AT ITER 742 NEW BEST:: SOT 914047 SOS 509575 HAS SOPS 501099 HAS SOUS 296417 HAS SOUPS 295271 WITH SCORE 295780.575
AT ITER 755 NEW BEST:: SOT 913807 SOS 509217 HAS SOPS 500741 HAS SOUS 295723 HAS SOUPS 294577 WITH SCORE 295086.217
AT ITER 765 NEW BEST:: SOT 913515 SOS 508781 HAS SOPS 500305 HAS SOUS 295377 HAS SOUPS 294231 WITH SCORE 294739.781
AT ITER 773 NEW BEST:: SOT 913399 SOS 508642 HAS SOPS 500248 HAS SOUS 295290 HAS SOUPS 294144 WITH SCORE 294652.642
AT ITER 780 NEW BEST:: SOT 913374 SOS 508688 HAS SOPS 500294 HAS SOUS 295115 HAS SOUPS 293969 WITH SCORE 294477.688
AT ITER 810 NEW BEST:: SOT 913008 SOS 508278 HAS SOPS 499884 HAS SOUS 294727 HAS SOUPS 293581 WITH SCORE 294089.278
AT ITER 814 NEW BEST:: SOT 910888 SOS 506343 HAS SOPS 497949 HAS SOUS 294421 HAS SOUPS 293275 WITH SCORE 293781.343
AT ITER 821 NEW BEST:: SOT 910943 SOS 507475 HAS SOPS 499081 HAS SOUS 294324 HAS SOUPS 293178 WITH SCORE 293685.475
AT ITER 830 NEW BEST:: SOT 910717 SOS 506189 HAS SOPS 497795 HAS SOUS 293967 HAS SOUPS 292821 WITH SCORE 293327.189
AT ITER 834 NEW BEST:: SOT 910717 SOS 506189 HAS SOPS 497797 HAS SOUS 293965 HAS SOUPS 292819 WITH SCORE 293325.189
AT ITER 837 NEW BEST:: SOT 910710 SOS 506172 HAS SOPS 497780 HAS SOUS 293948 HAS SOUPS 292802 WITH SCORE 293308.172
AT ITER 841 NEW BEST:: SOT 910118 SOS 505706 HAS SOPS 497314 HAS SOUS 293499 HAS SOUPS 292353 WITH SCORE 292858.706
AT ITER 850 NEW BEST:: SOT 910083 SOS 504979 HAS SOPS 496587 HAS SOUS 293437 HAS SOUPS 292291 WITH SCORE 292795.979
AT ITER 853 NEW BEST:: SOT 909232 SOS 504531 HAS SOPS 496139 HAS SOUS 293356 HAS SOUPS 292210 WITH SCORE 292714.531
AT ITER 858 NEW BEST:: SOT 909229 SOS 504528 HAS SOPS 496136 HAS SOUS 293181 HAS SOUPS 292035 WITH SCORE 292539.528
AT ITER 869 NEW BEST:: SOT 908963 SOS 504262 HAS SOPS 495870 HAS SOUS 292915 HAS SOUPS 291769 WITH SCORE 292273.262
AT ITER 870 NEW BEST:: SOT 909091 SOS 508425 HAS SOPS 500020 HAS SOUS 292756 HAS SOUPS 291610 WITH SCORE 292118.425
AT ITER 871 NEW BEST:: SOT 908990 SOS 508486 HAS SOPS 500081 HAS SOUS 292392 HAS SOUPS 291246 WITH SCORE 291754.486
AT ITER 878 NEW BEST:: SOT 908966 SOS 508650 HAS SOPS 500245 HAS SOUS 292269 HAS SOUPS 291123 WITH SCORE 291631.65
AT ITER 890 NEW BEST:: SOT 908732 SOS 508509 HAS SOPS 500104 HAS SOUS 292104 HAS SOUPS 290958 WITH SCORE 291466.509
AT ITER 891 NEW BEST:: SOT 909265 SOS 508159 HAS SOPS 499754 HAS SOUS 291884 HAS SOUPS 290738 WITH SCORE 291246.159
AT ITER 892 NEW BEST:: SOT 909269 SOS 508158 HAS SOPS 499753 HAS SOUS 291883 HAS SOUPS 290737 WITH SCORE 291245.158
AT ITER 897 NEW BEST:: SOT 909161 SOS 508160 HAS SOPS 499745 HAS SOUS 291885 HAS SOUPS 290729 WITH SCORE 291237.16
AT ITER 901 NEW BEST:: SOT 907807 SOS 508155 HAS SOPS 499740 HAS SOUS 291718 HAS SOUPS 290562 WITH SCORE 291070.155
AT ITER 908 NEW BEST:: SOT 907745 SOS 507765 HAS SOPS 499350 HAS SOUS 291505 HAS SOUPS 290349 WITH SCORE 290856.765
AT ITER 913 NEW BEST:: SOT 908135 SOS 512510 HAS SOPS 504095 HAS SOUS 291271 HAS SOUPS 290115 WITH SCORE 290627.51
AT ITER 914 NEW BEST:: SOT 908040 SOS 510920 HAS SOPS 502505 HAS SOUS 291017 HAS SOUPS 289861 WITH SCORE 290371.92
AT ITER 915 NEW BEST:: SOT 908046 SOS 510924 HAS SOPS 502509 HAS SOUS 291015 HAS SOUPS 289859 WITH SCORE 290369.924
AT ITER 918 NEW BEST:: SOT 908031 SOS 510864 HAS SOPS 502449 HAS SOUS 291000 HAS SOUPS 289844 WITH SCORE 290354.864
AT ITER 921 NEW BEST:: SOT 907792 SOS 509755 HAS SOPS 501340 HAS SOUS 290761 HAS SOUPS 289605 WITH SCORE 290114.755
AT ITER 922 NEW BEST:: SOT 907743 SOS 509457 HAS SOPS 501042 HAS SOUS 290746 HAS SOUPS 289590 WITH SCORE 290099.457
AT ITER 924 NEW BEST:: SOT 907686 SOS 509400 HAS SOPS 500985 HAS SOUS 290628 HAS SOUPS 289472 WITH SCORE 289981.4
AT ITER 931 NEW BEST:: SOT 907573 SOS 508819 HAS SOPS 500404 HAS SOUS 290047 HAS SOUPS 288891 WITH SCORE 289399.819
AT ITER 932 NEW BEST:: SOT 907557 SOS 508671 HAS SOPS 500256 HAS SOUS 289954 HAS SOUPS 288798 WITH SCORE 289306.671
AT ITER 947 NEW BEST:: SOT 907343 SOS 508444 HAS SOPS 500029 HAS SOUS 289839 HAS SOUPS 288683 WITH SCORE 289191.444
AT ITER 955 NEW BEST:: SOT 907292 SOS 508444 HAS SOPS 500029 HAS SOUS 289686 HAS SOUPS 288530 WITH SCORE 289038.444
AT ITER 962 NEW BEST:: SOT 907018 SOS 508460 HAS SOPS 500045 HAS SOUS 289661 HAS SOUPS 288505 WITH SCORE 289013.46
AT ITER 969 NEW BEST:: SOT 907018 SOS 508458 HAS SOPS 500043 HAS SOUS 289659 HAS SOUPS 288503 WITH SCORE 289011.458
AT ITER 973 NEW BEST:: SOT 906882 SOS 507516 HAS SOPS 499101 HAS SOUS 289436 HAS SOUPS 288280 WITH SCORE 288787.516
AT ITER 990 NEW BEST:: SOT 906876 SOS 507458 HAS SOPS 499043 HAS SOUS 289378 HAS SOUPS 288222 WITH SCORE 288729.458
AT ITER 991 NEW BEST:: SOT 906876 SOS 507392 HAS SOPS 498977 HAS SOUS 289312 HAS SOUPS 288156 WITH SCORE 288663.392
AT ITER 999 NEW BEST:: SOT 906805 SOS 507315 HAS SOPS 498900 HAS SOUS 289255 HAS SOUPS 288099 WITH SCORE 288606.315
AT ITER 1007 NEW BEST:: SOT 906763 SOS 507077 HAS SOPS 498662 HAS SOUS 289146 HAS SOUPS 287990 WITH SCORE 288497.077
AT ITER 1019 NEW BEST:: SOT 908418 SOS 509218 HAS SOPS 500803 HAS SOUS 288993 HAS SOUPS 287837 WITH SCORE 288346.218
AT ITER 1021 NEW BEST:: SOT 908002 SOS 508843 HAS SOPS 500428 HAS SOUS 288717 HAS SOUPS 287561 WITH SCORE 288069.843
AT ITER 1037 NEW BEST:: SOT 907661 SOS 507682 HAS SOPS 499267 HAS SOUS 287773 HAS SOUPS 286617 WITH SCORE 287124.682
AT ITER 1045 NEW BEST:: SOT 907521 SOS 507434 HAS SOPS 499019 HAS SOUS 287372 HAS SOUPS 286216 WITH SCORE 286723.434
AT ITER 1052 NEW BEST:: SOT 907428 SOS 507248 HAS SOPS 498833 HAS SOUS 287186 HAS SOUPS 286030 WITH SCORE 286537.248
AT ITER 1059 NEW BEST:: SOT 907386 SOS 507123 HAS SOPS 498708 HAS SOUS 287031 HAS SOUPS 285875 WITH SCORE 286382.123
AT ITER 1060 NEW BEST:: SOT 907163 SOS 506900 HAS SOPS 498485 HAS SOUS 286297 HAS SOUPS 285141 WITH SCORE 285647.9
AT ITER 1073 NEW BEST:: SOT 907240 SOS 505402 HAS SOPS 496987 HAS SOUS 285058 HAS SOUPS 283902 WITH SCORE 284407.402
AT ITER 1082 NEW BEST:: SOT 907215 SOS 505377 HAS SOPS 496962 HAS SOUS 285033 HAS SOUPS 283877 WITH SCORE 284382.377
AT ITER 1106 NEW BEST:: SOT 907131 SOS 505293 HAS SOPS 496878 HAS SOUS 284907 HAS SOUPS 283751 WITH SCORE 284256.293
AT ITER 1109 NEW BEST:: SOT 907120 SOS 505282 HAS SOPS 496867 HAS SOUS 284813 HAS SOUPS 283657 WITH SCORE 284162.282
AT ITER 1112 NEW BEST:: SOT 905787 SOS 504047 HAS SOPS 495632 HAS SOUS 284664 HAS SOUPS 283508 WITH SCORE 284012.047
AT ITER 1117 NEW BEST:: SOT 905778 SOS 504038 HAS SOPS 495623 HAS SOUS 284664 HAS SOUPS 283508 WITH SCORE 284012.038
AT ITER 1133 NEW BEST:: SOT 900027 SOS 500411 HAS SOPS 491996 HAS SOUS 283789 HAS SOUPS 282633 WITH SCORE 283133.411
AT ITER 1139 NEW BEST:: SOT 899927 SOS 500331 HAS SOPS 491916 HAS SOUS 283579 HAS SOUPS 282423 WITH SCORE 282923.331
AT ITER 1142 NEW BEST:: SOT 899927 SOS 500588 HAS SOPS 492173 HAS SOUS 283393 HAS SOUPS 282237 WITH SCORE 282737.588
AT ITER 1144 NEW BEST:: SOT 899884 SOS 500198 HAS SOPS 491783 HAS SOUS 283383 HAS SOUPS 282227 WITH SCORE 282727.198
AT ITER 1155 NEW BEST:: SOT 899884 SOS 500196 HAS SOPS 491781 HAS SOUS 283383 HAS SOUPS 282227 WITH SCORE 282727.196
AT ITER 1158 NEW BEST:: SOT 899782 SOS 499723 HAS SOPS 491308 HAS SOUS 283281 HAS SOUPS 282125 WITH SCORE 282624.723
AT ITER 1161 NEW BEST:: SOT 899772 SOS 499703 HAS SOPS 491288 HAS SOUS 283261 HAS SOUPS 282105 WITH SCORE 282604.703
AT ITER 1181 NEW BEST:: SOT 900026 SOS 500825 HAS SOPS 492410 HAS SOUS 282956 HAS SOUPS 281800 WITH SCORE 282300.825
AT ITER 1183 NEW BEST:: SOT 899873 SOS 500757 HAS SOPS 492342 HAS SOUS 282858 HAS SOUPS 281702 WITH SCORE 282202.757
AT ITER 1190 NEW BEST:: SOT 899870 SOS 500739 HAS SOPS 492324 HAS SOUS 282857 HAS SOUPS 281701 WITH SCORE 282201.739
AT ITER 1193 NEW BEST:: SOT 899859 SOS 500717 HAS SOPS 492302 HAS SOUS 282835 HAS SOUPS 281679 WITH SCORE 282179.717
AT ITER 1207 NEW BEST:: SOT 899859 SOS 500707 HAS SOPS 492292 HAS SOUS 282783 HAS SOUPS 281627 WITH SCORE 282127.707
AT ITER 1208 NEW BEST:: SOT 899842 SOS 500562 HAS SOPS 492147 HAS SOUS 282652 HAS SOUPS 281496 WITH SCORE 281996.562
AT ITER 1210 NEW BEST:: SOT 899842 SOS 500166 HAS SOPS 491751 HAS SOUS 282652 HAS SOUPS 281496 WITH SCORE 281996.166
AT ITER 1214 NEW BEST:: SOT 899842 SOS 495556 HAS SOPS 487141 HAS SOUS 281148 HAS SOUPS 279992 WITH SCORE 280487.556
AT ITER 1221 NEW BEST:: SOT 899775 SOS 495489 HAS SOPS 487074 HAS SOUS 281077 HAS SOUPS 279921 WITH SCORE 280416.489
AT ITER 1222 NEW BEST:: SOT 899765 SOS 495430 HAS SOPS 487015 HAS SOUS 281018 HAS SOUPS 279862 WITH SCORE 280357.43
AT ITER 1225 NEW BEST:: SOT 899496 SOS 495223 HAS SOPS 486808 HAS SOUS 280742 HAS SOUPS 279586 WITH SCORE 280081.223
AT ITER 1230 NEW BEST:: SOT 899136 SOS 493879 HAS SOPS 485464 HAS SOUS 280027 HAS SOUPS 278871 WITH SCORE 279364.879
AT ITER 1233 NEW BEST:: SOT 897991 SOS 492968 HAS SOPS 484553 HAS SOUS 278905 HAS SOUPS 277749 WITH SCORE 278241.968
AT ITER 1240 NEW BEST:: SOT 897621 SOS 492599 HAS SOPS 484184 HAS SOUS 278366 HAS SOUPS 277210 WITH SCORE 277702.599
AT ITER 1245 NEW BEST:: SOT 897621 SOS 492627 HAS SOPS 484212 HAS SOUS 278341 HAS SOUPS 277185 WITH SCORE 277677.627
AT ITER 1257 NEW BEST:: SOT 897621 SOS 492769 HAS SOPS 484354 HAS SOUS 278199 HAS SOUPS 277043 WITH SCORE 277535.769
AT ITER 1258 NEW BEST:: SOT 897235 SOS 492067 HAS SOPS 483652 HAS SOUS 277901 HAS SOUPS 276745 WITH SCORE 277237.067
AT ITER 1265 NEW BEST:: SOT 897235 SOS 492050 HAS SOPS 483635 HAS SOUS 277839 HAS SOUPS 276683 WITH SCORE 277175.05
AT ITER 1270 NEW BEST:: SOT 897000 SOS 492433 HAS SOPS 484018 HAS SOUS 277396 HAS SOUPS 276240 WITH SCORE 276732.433
AT ITER 1272 NEW BEST:: SOT 896979 SOS 492676 HAS SOPS 484261 HAS SOUS 276743 HAS SOUPS 275587 WITH SCORE 276079.676
AT ITER 1273 NEW BEST:: SOT 896979 SOS 492721 HAS SOPS 484306 HAS SOUS 276718 HAS SOUPS 275562 WITH SCORE 276054.721
AT ITER 1278 NEW BEST:: SOT 896899 SOS 492641 HAS SOPS 484226 HAS SOUS 276638 HAS SOUPS 275482 WITH SCORE 275974.641
AT ITER 1281 NEW BEST:: SOT 896864 SOS 492529 HAS SOPS 484114 HAS SOUS 276354 HAS SOUPS 275198 WITH SCORE 275690.529
AT ITER 1292 NEW BEST:: SOT 896922 SOS 492520 HAS SOPS 484047 HAS SOUS 276345 HAS SOUPS 275189 WITH SCORE 275681.52
AT ITER 1298 NEW BEST:: SOT 896807 SOS 492218 HAS SOPS 483745 HAS SOUS 276217 HAS SOUPS 275061 WITH SCORE 275553.218
AT ITER 1302 NEW BEST:: SOT 897788 SOS 491378 HAS SOPS 482905 HAS SOUS 275220 HAS SOUPS 274064 WITH SCORE 274555.378
AT ITER 1304 NEW BEST:: SOT 897563 SOS 491078 HAS SOPS 482605 HAS SOUS 274695 HAS SOUPS 273539 WITH SCORE 274030.078
AT ITER 1309 NEW BEST:: SOT 897502 SOS 490871 HAS SOPS 482398 HAS SOUS 274488 HAS SOUPS 273332 WITH SCORE 273822.871
AT ITER 1310 NEW BEST:: SOT 897427 SOS 490746 HAS SOPS 482273 HAS SOUS 274363 HAS SOUPS 273207 WITH SCORE 273697.746
AT ITER 1315 NEW BEST:: SOT 897399 SOS 490704 HAS SOPS 482231 HAS SOUS 274279 HAS SOUPS 273123 WITH SCORE 273613.704
AT ITER 1318 NEW BEST:: SOT 897294 SOS 490004 HAS SOPS 481531 HAS SOUS 274197 HAS SOUPS 273041 WITH SCORE 273531.004
AT ITER 1343 NEW BEST:: SOT 897264 SOS 489895 HAS SOPS 481422 HAS SOUS 274006 HAS SOUPS 272850 WITH SCORE 273339.895
AT ITER 1347 NEW BEST:: SOT 897226 SOS 489895 HAS SOPS 481422 HAS SOUS 273930 HAS SOUPS 272774 WITH SCORE 273263.895
AT ITER 1360 NEW BEST:: SOT 897191 SOS 489157 HAS SOPS 480684 HAS SOUS 273767 HAS SOUPS 272611 WITH SCORE 273100.157
AT ITER 1368 NEW BEST:: SOT 897339 SOS 489479 HAS SOPS 481006 HAS SOUS 273715 HAS SOUPS 272559 WITH SCORE 273048.479
AT ITER 1369 NEW BEST:: SOT 897327 SOS 489401 HAS SOPS 480928 HAS SOUS 273670 HAS SOUPS 272514 WITH SCORE 273003.401
AT ITER 1383 NEW BEST:: SOT 897122 SOS 489196 HAS SOPS 480723 HAS SOUS 273424 HAS SOUPS 272268 WITH SCORE 272757.196
AT ITER 1385 NEW BEST:: SOT 897075 SOS 488585 HAS SOPS 480112 HAS SOUS 273283 HAS SOUPS 272127 WITH SCORE 272615.585
AT ITER 1388 NEW BEST:: SOT 896893 SOS 487213 HAS SOPS 478740 HAS SOUS 273002 HAS SOUPS 271846 WITH SCORE 272333.213
AT ITER 1409 NEW BEST:: SOT 896775 SOS 487136 HAS SOPS 478663 HAS SOUS 272930 HAS SOUPS 271774 WITH SCORE 272261.136
AT ITER 1413 NEW BEST:: SOT 896781 SOS 487142 HAS SOPS 478669 HAS SOUS 272902 HAS SOUPS 271746 WITH SCORE 272233.142
AT ITER 1414 NEW BEST:: SOT 896719 SOS 487080 HAS SOPS 478607 HAS SOUS 272778 HAS SOUPS 271622 WITH SCORE 272109.08
AT ITER 1417 NEW BEST:: SOT 896694 SOS 487094 HAS SOPS 478557 HAS SOUS 272792 HAS SOUPS 271572 WITH SCORE 272059.094
AT ITER 1421 NEW BEST:: SOT 897742 SOS 487192 HAS SOPS 478655 HAS SOUS 272610 HAS SOUPS 271390 WITH SCORE 271877.192
AT ITER 1422 NEW BEST:: SOT 897737 SOS 487226 HAS SOPS 478689 HAS SOUS 272551 HAS SOUPS 271331 WITH SCORE 271818.226
AT ITER 1430 NEW BEST:: SOT 897525 SOS 487006 HAS SOPS 478469 HAS SOUS 272331 HAS SOUPS 271111 WITH SCORE 271598.006
AT ITER 1440 NEW BEST:: SOT 897235 SOS 486725 HAS SOPS 478279 HAS SOUS 271917 HAS SOUPS 270697 WITH SCORE 271183.725
AT ITER 1443 NEW BEST:: SOT 897213 SOS 484600 HAS SOPS 476135 HAS SOUS 271454 HAS SOUPS 270234 WITH SCORE 270718.6
AT ITER 1445 NEW BEST:: SOT 897213 SOS 484600 HAS SOPS 476135 HAS SOUS 271420 HAS SOUPS 270200 WITH SCORE 270684.6
AT ITER 1449 NEW BEST:: SOT 897410 SOS 485543 HAS SOPS 477078 HAS SOUS 271221 HAS SOUPS 270001 WITH SCORE 270486.543
AT ITER 1450 NEW BEST:: SOT 896916 SOS 485179 HAS SOPS 476714 HAS SOUS 270857 HAS SOUPS 269637 WITH SCORE 270122.179
AT ITER 1465 NEW BEST:: SOT 896832 SOS 484803 HAS SOPS 476338 HAS SOUS 270773 HAS SOUPS 269553 WITH SCORE 270037.803
AT ITER 1466 NEW BEST:: SOT 896672 SOS 484706 HAS SOPS 476241 HAS SOUS 270718 HAS SOUPS 269498 WITH SCORE 269982.706
AT ITER 1468 NEW BEST:: SOT 896474 SOS 484639 HAS SOPS 476174 HAS SOUS 270519 HAS SOUPS 269299 WITH SCORE 269783.639
AT ITER 1476 NEW BEST:: SOT 896256 SOS 483782 HAS SOPS 475317 HAS SOUS 270282 HAS SOUPS 269062 WITH SCORE 269545.782
AT ITER 1480 NEW BEST:: SOT 896256 SOS 483889 HAS SOPS 475424 HAS SOUS 270157 HAS SOUPS 268937 WITH SCORE 269420.889
AT ITER 1502 NEW BEST:: SOT 894742 SOS 482375 HAS SOPS 473910 HAS SOUS 268643 HAS SOUPS 267423 WITH SCORE 267905.375
AT ITER 1503 NEW BEST:: SOT 894617 SOS 481187 HAS SOPS 472722 HAS SOUS 268635 HAS SOUPS 267415 WITH SCORE 267896.187
AT ITER 1510 NEW BEST:: SOT 894612 SOS 481262 HAS SOPS 472797 HAS SOUS 268621 HAS SOUPS 267401 WITH SCORE 267882.262
AT ITER 1511 NEW BEST:: SOT 894362 SOS 480997 HAS SOPS 472532 HAS SOUS 267958 HAS SOUPS 266738 WITH SCORE 267218.997
AT ITER 1512 NEW BEST:: SOT 894303 SOS 480938 HAS SOPS 472473 HAS SOUS 267838 HAS SOUPS 266618 WITH SCORE 267098.938
AT ITER 1517 NEW BEST:: SOT 894214 SOS 480820 HAS SOPS 472355 HAS SOUS 267749 HAS SOUPS 266529 WITH SCORE 267009.82
AT ITER 1521 NEW BEST:: SOT 894324 SOS 481680 HAS SOPS 473215 HAS SOUS 267727 HAS SOUPS 266507 WITH SCORE 266988.68
AT ITER 1523 NEW BEST:: SOT 894324 SOS 481899 HAS SOPS 473434 HAS SOUS 267725 HAS SOUPS 266505 WITH SCORE 266986.899
AT ITER 1525 NEW BEST:: SOT 894453 SOS 482140 HAS SOPS 473675 HAS SOUS 267563 HAS SOUPS 266343 WITH SCORE 266825.14
AT ITER 1533 NEW BEST:: SOT 894426 SOS 480850 HAS SOPS 472385 HAS SOUS 267310 HAS SOUPS 266090 WITH SCORE 266570.85
AT ITER 1540 NEW BEST:: SOT 894391 SOS 480757 HAS SOPS 472292 HAS SOUS 267214 HAS SOUPS 265994 WITH SCORE 266474.757
AT ITER 1543 NEW BEST:: SOT 894226 SOS 480413 HAS SOPS 471948 HAS SOUS 266966 HAS SOUPS 265746 WITH SCORE 266226.413
AT ITER 1549 NEW BEST:: SOT 894055 SOS 480410 HAS SOPS 471945 HAS SOUS 266870 HAS SOUPS 265650 WITH SCORE 266130.41
AT ITER 1556 NEW BEST:: SOT 893594 SOS 479949 HAS SOPS 471484 HAS SOUS 266665 HAS SOUPS 265445 WITH SCORE 265924.949
AT ITER 1563 NEW BEST:: SOT 893459 SOS 479665 HAS SOPS 471200 HAS SOUS 266149 HAS SOUPS 264929 WITH SCORE 265408.665
AT ITER 1565 NEW BEST:: SOT 893410 SOS 479567 HAS SOPS 471102 HAS SOUS 266081 HAS SOUPS 264861 WITH SCORE 265340.567
AT ITER 1566 NEW BEST:: SOT 893366 SOS 479540 HAS SOPS 471075 HAS SOUS 266062 HAS SOUPS 264842 WITH SCORE 265321.54
AT ITER 1568 NEW BEST:: SOT 893308 SOS 479366 HAS SOPS 470901 HAS SOUS 266002 HAS SOUPS 264782 WITH SCORE 265261.366
AT ITER 1574 NEW BEST:: SOT 893218 SOS 479160 HAS SOPS 470695 HAS SOUS 265796 HAS SOUPS 264576 WITH SCORE 265055.16
AT ITER 1576 NEW BEST:: SOT 893195 SOS 479124 HAS SOPS 470659 HAS SOUS 265732 HAS SOUPS 264512 WITH SCORE 264991.124
AT ITER 1589 NEW BEST:: SOT 893122 SOS 479127 HAS SOPS 470662 HAS SOUS 265337 HAS SOUPS 264117 WITH SCORE 264596.127
AT ITER 1593 NEW BEST:: SOT 893106 SOS 479111 HAS SOPS 470646 HAS SOUS 265326 HAS SOUPS 264106 WITH SCORE 264585.111
AT ITER 1601 NEW BEST:: SOT 892952 SOS 478744 HAS SOPS 470279 HAS SOUS 265151 HAS SOUPS 263931 WITH SCORE 264409.744
AT ITER 1602 NEW BEST:: SOT 892956 SOS 478805 HAS SOPS 470340 HAS SOUS 265136 HAS SOUPS 263916 WITH SCORE 264394.805
AT ITER 1608 NEW BEST:: SOT 888801 SOS 482478 HAS SOPS 475563 HAS SOUS 261304 HAS SOUPS 260239 WITH SCORE 260721.478
AT ITER 1632 NEW BEST:: SOT 888473 SOS 482150 HAS SOPS 475235 HAS SOUS 260976 HAS SOUPS 259911 WITH SCORE 260393.15
AT ITER 1643 NEW BEST:: SOT 888028 SOS 481629 HAS SOPS 474714 HAS SOUS 260653 HAS SOUPS 259588 WITH SCORE 260069.629
AT ITER 1657 NEW BEST:: SOT 887967 SOS 481535 HAS SOPS 474620 HAS SOUS 260569 HAS SOUPS 259504 WITH SCORE 259985.535
AT ITER 1660 NEW BEST:: SOT 887829 SOS 481164 HAS SOPS 474249 HAS SOUS 260412 HAS SOUPS 259347 WITH SCORE 259828.164
AT ITER 1669 NEW BEST:: SOT 887678 SOS 478564 HAS SOPS 471649 HAS SOUS 259944 HAS SOUPS 258879 WITH SCORE 259357.564
AT ITER 1674 NEW BEST:: SOT 887655 SOS 478541 HAS SOPS 471626 HAS SOUS 259921 HAS SOUPS 258856 WITH SCORE 259334.541
AT ITER 1676 NEW BEST:: SOT 887453 SOS 478454 HAS SOPS 471539 HAS SOUS 259792 HAS SOUPS 258727 WITH SCORE 259205.454
AT ITER 1686 NEW BEST:: SOT 887550 SOS 478769 HAS SOPS 471854 HAS SOUS 259755 HAS SOUPS 258690 WITH SCORE 259168.769
AT ITER 1687 NEW BEST:: SOT 887531 SOS 478731 HAS SOPS 471816 HAS SOUS 259717 HAS SOUPS 258652 WITH SCORE 259130.731
AT ITER 1689 NEW BEST:: SOT 886183 SOS 477893 HAS SOPS 470978 HAS SOUS 258533 HAS SOUPS 257468 WITH SCORE 257945.893
AT ITER 1691 NEW BEST:: SOT 886021 SOS 477797 HAS SOPS 470882 HAS SOUS 258334 HAS SOUPS 257269 WITH SCORE 257746.797
AT ITER 1705 NEW BEST:: SOT 885564 SOS 477239 HAS SOPS 470324 HAS SOUS 257765 HAS SOUPS 256700 WITH SCORE 257177.239
AT ITER 1706 NEW BEST:: SOT 885519 SOS 477194 HAS SOPS 470279 HAS SOUS 257747 HAS SOUPS 256682 WITH SCORE 257159.194
AT ITER 1721 NEW BEST:: SOT 885384 SOS 476741 HAS SOPS 469826 HAS SOUS 257612 HAS SOUPS 256547 WITH SCORE 257023.741
AT ITER 1732 NEW BEST:: SOT 885330 SOS 476687 HAS SOPS 469772 HAS SOUS 257612 HAS SOUPS 256547 WITH SCORE 257023.687
AT ITER 1740 NEW BEST:: SOT 885118 SOS 476531 HAS SOPS 469616 HAS SOUS 257468 HAS SOUPS 256403 WITH SCORE 256879.531
AT ITER 1745 NEW BEST:: SOT 885114 SOS 476527 HAS SOPS 469612 HAS SOUS 257464 HAS SOUPS 256399 WITH SCORE 256875.527
AT ITER 1758 NEW BEST:: SOT 885108 SOS 476521 HAS SOPS 469606 HAS SOUS 257458 HAS SOUPS 256393 WITH SCORE 256869.521
AT ITER 1764 NEW BEST:: SOT 885034 SOS 476808 HAS SOPS 469938 HAS SOUS 257455 HAS SOUPS 256390 WITH SCORE 256866.808
AT ITER 1772 NEW BEST:: SOT 884896 SOS 476858 HAS SOPS 469988 HAS SOUS 257377 HAS SOUPS 256312 WITH SCORE 256788.858
AT ITER 1775 NEW BEST:: SOT 884896 SOS 476812 HAS SOPS 469942 HAS SOUS 257377 HAS SOUPS 256312 WITH SCORE 256788.812
AT ITER 1787 NEW BEST:: SOT 884896 SOS 476947 HAS SOPS 470077 HAS SOUS 257317 HAS SOUPS 256252 WITH SCORE 256728.947
AT ITER 1797 NEW BEST:: SOT 884797 SOS 476839 HAS SOPS 469969 HAS SOUS 257218 HAS SOUPS 256153 WITH SCORE 256629.839
AT ITER 1803 NEW BEST:: SOT 884776 SOS 476818 HAS SOPS 469948 HAS SOUS 257176 HAS SOUPS 256111 WITH SCORE 256587.818
AT ITER 1805 NEW BEST:: SOT 884750 SOS 476484 HAS SOPS 469614 HAS SOUS 256980 HAS SOUPS 255915 WITH SCORE 256391.484
AT ITER 1809 NEW BEST:: SOT 884717 SOS 476517 HAS SOPS 469680 HAS SOUS 256947 HAS SOUPS 255882 WITH SCORE 256358.517
AT ITER 1814 NEW BEST:: SOT 884547 SOS 476347 HAS SOPS 469510 HAS SOUS 256627 HAS SOUPS 255562 WITH SCORE 256038.347
AT ITER 1816 NEW BEST:: SOT 884547 SOS 476302 HAS SOPS 469465 HAS SOUS 256627 HAS SOUPS 255562 WITH SCORE 256038.302
AT ITER 1818 NEW BEST:: SOT 884550 SOS 476275 HAS SOPS 469438 HAS SOUS 256463 HAS SOUPS 255398 WITH SCORE 255874.275
AT ITER 1839 NEW BEST:: SOT 884541 SOS 476257 HAS SOPS 469420 HAS SOUS 256445 HAS SOUPS 255380 WITH SCORE 255856.257
AT ITER 1854 NEW BEST:: SOT 884559 SOS 476262 HAS SOPS 469425 HAS SOUS 256401 HAS SOUPS 255336 WITH SCORE 255812.262
AT ITER 1855 NEW BEST:: SOT 884537 SOS 476291 HAS SOPS 469454 HAS SOUS 256287 HAS SOUPS 255222 WITH SCORE 255698.291
AT ITER 1856 NEW BEST:: SOT 884095 SOS 475849 HAS SOPS 469012 HAS SOUS 255845 HAS SOUPS 254780 WITH SCORE 255255.849
AT ITER 1870 NEW BEST:: SOT 884154 SOS 476026 HAS SOPS 469189 HAS SOUS 255786 HAS SOUPS 254721 WITH SCORE 255197.026
AT ITER 1875 NEW BEST:: SOT 884168 SOS 476019 HAS SOPS 469182 HAS SOUS 255730 HAS SOUPS 254665 WITH SCORE 255141.019
AT ITER 1879 NEW BEST:: SOT 884165 SOS 475975 HAS SOPS 469138 HAS SOUS 255644 HAS SOUPS 254579 WITH SCORE 255054.975
AT ITER 1880 NEW BEST:: SOT 884288 SOS 477108 HAS SOPS 470271 HAS SOUS 255349 HAS SOUPS 254284 WITH SCORE 254761.108
AT ITER 1884 NEW BEST:: SOT 884280 SOS 477092 HAS SOPS 470255 HAS SOUS 255309 HAS SOUPS 254244 WITH SCORE 254721.092
AT ITER 1892 NEW BEST:: SOT 884170 SOS 477076 HAS SOPS 470239 HAS SOUS 255299 HAS SOUPS 254234 WITH SCORE 254711.076
AT ITER 1896 NEW BEST:: SOT 882171 SOS 476097 HAS SOPS 469260 HAS SOUS 254844 HAS SOUPS 253779 WITH SCORE 254255.097
AT ITER 1905 NEW BEST:: SOT 879853 SOS 479492 HAS SOPS 470333 HAS SOUS 254262 HAS SOUPS 252939 WITH SCORE 253418.492
AT ITER 1906 NEW BEST:: SOT 879734 SOS 479254 HAS SOPS 470095 HAS SOUS 254024 HAS SOUPS 252701 WITH SCORE 253180.254
AT ITER 1917 NEW BEST:: SOT 880466 SOS 479217 HAS SOPS 470058 HAS SOUS 253680 HAS SOUPS 252357 WITH SCORE 252836.217
AT ITER 1944 NEW BEST:: SOT 880421 SOS 479222 HAS SOPS 470063 HAS SOUS 253547 HAS SOUPS 252224 WITH SCORE 252703.222
AT ITER 1957 NEW BEST:: SOT 880412 SOS 479213 HAS SOPS 470054 HAS SOUS 253529 HAS SOUPS 252206 WITH SCORE 252685.213
AT ITER 1970 NEW BEST:: SOT 880396 SOS 479189 HAS SOPS 470030 HAS SOUS 253513 HAS SOUPS 252190 WITH SCORE 252669.189
AT ITER 1980 NEW BEST:: SOT 879952 SOS 478635 HAS SOPS 469476 HAS SOUS 253498 HAS SOUPS 252175 WITH SCORE 252653.635
AT ITER 1989 NEW BEST:: SOT 879867 SOS 478615 HAS SOPS 469456 HAS SOUS 253435 HAS SOUPS 252112 WITH SCORE 252590.615
AT ITER 1992 NEW BEST:: SOT 878591 SOS 477627 HAS SOPS 468468 HAS SOUS 253346 HAS SOUPS 252023 WITH SCORE 252500.627
AT ITER 2044 NEW BEST:: SOT 877949 SOS 476821 HAS SOPS 467662 HAS SOUS 253028 HAS SOUPS 251705 WITH SCORE 252181.821
AT ITER 2048 NEW BEST:: SOT 878099 SOS 477020 HAS SOPS 467861 HAS SOUS 252414 HAS SOUPS 251091 WITH SCORE 251568.02
AT ITER 2067 NEW BEST:: SOT 875839 SOS 476461 HAS SOPS 467302 HAS SOUS 250656 HAS SOUPS 249333 WITH SCORE 249809.461
AT ITER 2070 NEW BEST:: SOT 875772 SOS 476338 HAS SOPS 467179 HAS SOUS 250533 HAS SOUPS 249210 WITH SCORE 249686.338
AT ITER 2077 NEW BEST:: SOT 875758 SOS 476324 HAS SOPS 467165 HAS SOUS 250344 HAS SOUPS 249021 WITH SCORE 249497.324
AT ITER 2083 NEW BEST:: SOT 875748 SOS 476304 HAS SOPS 467145 HAS SOUS 250324 HAS SOUPS 249001 WITH SCORE 249477.304
AT ITER 2100 NEW BEST:: SOT 874868 SOS 475180 HAS SOPS 466021 HAS SOUS 250187 HAS SOUPS 248864 WITH SCORE 249339.18
AT ITER 2106 NEW BEST:: SOT 874666 SOS 474978 HAS SOPS 465819 HAS SOUS 249921 HAS SOUPS 248598 WITH SCORE 249072.978
AT ITER 2108 NEW BEST:: SOT 874576 SOS 474959 HAS SOPS 465800 HAS SOUS 249716 HAS SOUPS 248393 WITH SCORE 248867.959
AT ITER 2109 NEW BEST:: SOT 874660 SOS 475043 HAS SOPS 465884 HAS SOUS 249688 HAS SOUPS 248365 WITH SCORE 248840.043
AT ITER 2113 NEW BEST:: SOT 874657 SOS 475046 HAS SOPS 465887 HAS SOUS 249685 HAS SOUPS 248362 WITH SCORE 248837.046
AT ITER 2116 NEW BEST:: SOT 874631 SOS 475046 HAS SOPS 465887 HAS SOUS 249659 HAS SOUPS 248336 WITH SCORE 248811.046
AT ITER 2122 NEW BEST:: SOT 874613 SOS 474974 HAS SOPS 465815 HAS SOUS 249641 HAS SOUPS 248318 WITH SCORE 248792.974
AT ITER 2126 NEW BEST:: SOT 874548 SOS 474909 HAS SOPS 465750 HAS SOUS 249455 HAS SOUPS 248132 WITH SCORE 248606.909
AT ITER 2144 NEW BEST:: SOT 874541 SOS 474852 HAS SOPS 465687 HAS SOUS 249435 HAS SOUPS 248112 WITH SCORE 248586.852
AT ITER 2150 NEW BEST:: SOT 874677 SOS 474747 HAS SOPS 465582 HAS SOUS 249330 HAS SOUPS 248007 WITH SCORE 248481.747
AT ITER 2152 NEW BEST:: SOT 874670 SOS 474730 HAS SOPS 465565 HAS SOUS 249316 HAS SOUPS 247993 WITH SCORE 248467.73
AT ITER 2162 NEW BEST:: SOT 874591 SOS 474409 HAS SOPS 465244 HAS SOUS 249158 HAS SOUPS 247835 WITH SCORE 248309.409
AT ITER 2163 NEW BEST:: SOT 874596 SOS 474316 HAS SOPS 465151 HAS SOUS 249129 HAS SOUPS 247806 WITH SCORE 248280.316
AT ITER 2169 NEW BEST:: SOT 874467 SOS 473564 HAS SOPS 464399 HAS SOUS 248997 HAS SOUPS 247674 WITH SCORE 248147.564
AT ITER 2176 NEW BEST:: SOT 873769 SOS 472925 HAS SOPS 463760 HAS SOUS 248290 HAS SOUPS 246967 WITH SCORE 247439.925
AT ITER 2181 NEW BEST:: SOT 873842 SOS 472987 HAS SOPS 463822 HAS SOUS 248229 HAS SOUPS 246906 WITH SCORE 247378.987
AT ITER 2188 NEW BEST:: SOT 874790 SOS 471416 HAS SOPS 462251 HAS SOUS 247399 HAS SOUPS 246076 WITH SCORE 246547.416
AT ITER 2223 NEW BEST:: SOT 874790 SOS 471236 HAS SOPS 462071 HAS SOUS 247327 HAS SOUPS 246004 WITH SCORE 246475.236
AT ITER 2225 NEW BEST:: SOT 874857 SOS 471360 HAS SOPS 462195 HAS SOUS 247317 HAS SOUPS 245994 WITH SCORE 246465.36
AT ITER 2230 NEW BEST:: SOT 874968 SOS 471198 HAS SOPS 461984 HAS SOUS 247252 HAS SOUPS 245929 WITH SCORE 246400.198
AT ITER 2235 NEW BEST:: SOT 874955 SOS 471141 HAS SOPS 461927 HAS SOUS 247141 HAS SOUPS 245818 WITH SCORE 246289.141
AT ITER 2237 NEW BEST:: SOT 874955 SOS 471129 HAS SOPS 461915 HAS SOUS 247141 HAS SOUPS 245818 WITH SCORE 246289.129
AT ITER 2253 NEW BEST:: SOT 874955 SOS 470590 HAS SOPS 461376 HAS SOUS 247043 HAS SOUPS 245720 WITH SCORE 246190.59
AT ITER 2258 NEW BEST:: SOT 874948 SOS 470583 HAS SOPS 461369 HAS SOUS 247036 HAS SOUPS 245713 WITH SCORE 246183.583
AT ITER 2263 NEW BEST:: SOT 874837 SOS 470434 HAS SOPS 461220 HAS SOUS 246814 HAS SOUPS 245491 WITH SCORE 245961.434
AT ITER 2266 NEW BEST:: SOT 874651 SOS 470178 HAS SOPS 460964 HAS SOUS 246218 HAS SOUPS 244895 WITH SCORE 245365.178
AT ITER 2272 NEW BEST:: SOT 874590 SOS 470118 HAS SOPS 460904 HAS SOUS 246096 HAS SOUPS 244773 WITH SCORE 245243.118
AT ITER 2280 NEW BEST:: SOT 874370 SOS 469793 HAS SOPS 460579 HAS SOUS 245662 HAS SOUPS 244339 WITH SCORE 244808.793
AT ITER 2286 NEW BEST:: SOT 874267 SOS 469698 HAS SOPS 460484 HAS SOUS 245612 HAS SOUPS 244289 WITH SCORE 244758.698
AT ITER 2288 NEW BEST:: SOT 874049 SOS 469480 HAS SOPS 460266 HAS SOUS 245176 HAS SOUPS 243853 WITH SCORE 244322.48
AT ITER 2290 NEW BEST:: SOT 874133 SOS 469424 HAS SOPS 460210 HAS SOUS 245038 HAS SOUPS 243715 WITH SCORE 244184.424
AT ITER 2298 NEW BEST:: SOT 874133 SOS 469469 HAS SOPS 460255 HAS SOUS 244995 HAS SOUPS 243672 WITH SCORE 244141.469
AT ITER 2307 NEW BEST:: SOT 874133 SOS 469330 HAS SOPS 460116 HAS SOUS 244942 HAS SOUPS 243619 WITH SCORE 244088.33
AT ITER 2318 NEW BEST:: SOT 874075 SOS 469257 HAS SOPS 460043 HAS SOUS 244898 HAS SOUPS 243575 WITH SCORE 244044.257
AT ITER 2325 NEW BEST:: SOT 874032 SOS 469214 HAS SOPS 460000 HAS SOUS 244839 HAS SOUPS 243516 WITH SCORE 243985.214
AT ITER 2328 NEW BEST:: SOT 873969 SOS 469382 HAS SOPS 460168 HAS SOUS 244713 HAS SOUPS 243390 WITH SCORE 243859.382
AT ITER 2337 NEW BEST:: SOT 873848 SOS 459048 HAS SOPS 449834 HAS SOUS 243910 HAS SOUPS 242587 WITH SCORE 243046.048
AT ITER 2342 NEW BEST:: SOT 873838 SOS 459028 HAS SOPS 449814 HAS SOUS 243890 HAS SOUPS 242567 WITH SCORE 243026.028
AT ITER 2344 NEW BEST:: SOT 873642 SOS 458646 HAS SOPS 449432 HAS SOUS 243548 HAS SOUPS 242225 WITH SCORE 242683.646
AT ITER 2357 NEW BEST:: SOT 873527 SOS 458531 HAS SOPS 449317 HAS SOUS 243309 HAS SOUPS 241986 WITH SCORE 242444.531
AT ITER 2366 NEW BEST:: SOT 872963 SOS 458135 HAS SOPS 448921 HAS SOUS 242974 HAS SOUPS 241651 WITH SCORE 242109.135
AT ITER 2371 NEW BEST:: SOT 872953 SOS 458105 HAS SOPS 448891 HAS SOUS 242974 HAS SOUPS 241651 WITH SCORE 242109.105
AT ITER 2373 NEW BEST:: SOT 872953 SOS 458093 HAS SOPS 448879 HAS SOUS 242974 HAS SOUPS 241651 WITH SCORE 242109.093
AT ITER 2379 NEW BEST:: SOT 872936 SOS 458076 HAS SOPS 448821 HAS SOUS 242940 HAS SOUPS 241617 WITH SCORE 242075.076
AT ITER 2388 NEW BEST:: SOT 872893 SOS 458033 HAS SOPS 448778 HAS SOUS 242854 HAS SOUPS 241531 WITH SCORE 241989.033
AT ITER 2418 NEW BEST:: SOT 872937 SOS 458022 HAS SOPS 448767 HAS SOUS 242821 HAS SOUPS 241498 WITH SCORE 241956.022
AT ITER 2426 NEW BEST:: SOT 871872 SOS 458028 HAS SOPS 448773 HAS SOUS 242355 HAS SOUPS 241032 WITH SCORE 241490.028
AT ITER 2444 NEW BEST:: SOT 871872 SOS 458505 HAS SOPS 449250 HAS SOUS 242170 HAS SOUPS 240847 WITH SCORE 241305.505
AT ITER 2460 NEW BEST:: SOT 871860 SOS 453385 HAS SOPS 444796 HAS SOUS 240866 HAS SOUPS 239617 WITH SCORE 240070.385
AT ITER 2461 NEW BEST:: SOT 871481 SOS 453143 HAS SOPS 444554 HAS SOUS 240683 HAS SOUPS 239434 WITH SCORE 239887.143
AT ITER 2468 NEW BEST:: SOT 871227 SOS 452889 HAS SOPS 444300 HAS SOUS 240436 HAS SOUPS 239187 WITH SCORE 239639.889
AT ITER 2481 NEW BEST:: SOT 871283 SOS 452837 HAS SOPS 444248 HAS SOUS 240423 HAS SOUPS 239174 WITH SCORE 239626.837
AT ITER 2485 NEW BEST:: SOT 871306 SOS 452807 HAS SOPS 444218 HAS SOUS 240257 HAS SOUPS 239008 WITH SCORE 239460.807
AT ITER 2489 NEW BEST:: SOT 871264 SOS 452607 HAS SOPS 443954 HAS SOUS 240053 HAS SOUPS 238804 WITH SCORE 239256.607
AT ITER 2491 NEW BEST:: SOT 871174 SOS 452517 HAS SOPS 443941 HAS SOUS 240013 HAS SOUPS 238764 WITH SCORE 239216.517
AT ITER 2502 NEW BEST:: SOT 871174 SOS 452517 HAS SOPS 443941 HAS SOUS 239997 HAS SOUPS 238748 WITH SCORE 239200.517
AT ITER 2510 NEW BEST:: SOT 871112 SOS 452455 HAS SOPS 443879 HAS SOUS 239873 HAS SOUPS 238624 WITH SCORE 239076.455
AT ITER 2520 NEW BEST:: SOT 871396 SOS 446866 HAS SOPS 438290 HAS SOUS 239800 HAS SOUPS 238551 WITH SCORE 238997.866
AT ITER 2540 NEW BEST:: SOT 871368 SOS 446810 HAS SOPS 438234 HAS SOUS 239744 HAS SOUPS 238495 WITH SCORE 238941.81
AT ITER 2543 NEW BEST:: SOT 871368 SOS 446800 HAS SOPS 438224 HAS SOUS 239737 HAS SOUPS 238488 WITH SCORE 238934.8
AT ITER 2548 NEW BEST:: SOT 871370 SOS 446802 HAS SOPS 438226 HAS SOUS 239691 HAS SOUPS 238442 WITH SCORE 238888.802
AT ITER 2565 NEW BEST:: SOT 871128 SOS 445922 HAS SOPS 437187 HAS SOUS 238976 HAS SOUPS 237727 WITH SCORE 238172.922
AT ITER 2603 NEW BEST:: SOT 871076 SOS 446152 HAS SOPS 437417 HAS SOUS 238970 HAS SOUPS 237721 WITH SCORE 238167.152
AT ITER 2626 NEW BEST:: SOT 871044 SOS 446184 HAS SOPS 437449 HAS SOUS 238938 HAS SOUPS 237689 WITH SCORE 238135.184
AT ITER 2649 NEW BEST:: SOT 871060 SOS 446200 HAS SOPS 437465 HAS SOUS 238816 HAS SOUPS 237567 WITH SCORE 238013.2
AT ITER 2651 NEW BEST:: SOT 870774 SOS 445914 HAS SOPS 437179 HAS SOUS 238587 HAS SOUPS 237338 WITH SCORE 237783.914
AT ITER 2655 NEW BEST:: SOT 870737 SOS 445914 HAS SOPS 437179 HAS SOUS 238550 HAS SOUPS 237301 WITH SCORE 237746.914
AT ITER 2659 NEW BEST:: SOT 867899 SOS 444606 HAS SOPS 435871 HAS SOUS 238195 HAS SOUPS 236946 WITH SCORE 237390.606
AT ITER 2667 NEW BEST:: SOT 867867 SOS 444717 HAS SOPS 435982 HAS SOUS 238157 HAS SOUPS 236908 WITH SCORE 237352.717
AT ITER 2675 NEW BEST:: SOT 867872 SOS 444433 HAS SOPS 435698 HAS SOUS 238117 HAS SOUPS 236868 WITH SCORE 237312.433
AT ITER 2688 NEW BEST:: SOT 866877 SOS 438320 HAS SOPS 429585 HAS SOUS 237508 HAS SOUPS 236259 WITH SCORE 236697.32
AT ITER 2698 NEW BEST:: SOT 866850 SOS 438389 HAS SOPS 429654 HAS SOUS 237422 HAS SOUPS 236173 WITH SCORE 236611.389
AT ITER 2705 NEW BEST:: SOT 866850 SOS 438389 HAS SOPS 429654 HAS SOUS 237380 HAS SOUPS 236131 WITH SCORE 236569.389
AT ITER 2713 NEW BEST:: SOT 866773 SOS 438196 HAS SOPS 429461 HAS SOUS 237316 HAS SOUPS 236067 WITH SCORE 236505.196
AT ITER 2725 NEW BEST:: SOT 866739 SOS 438128 HAS SOPS 429393 HAS SOUS 237248 HAS SOUPS 235999 WITH SCORE 236437.128
AT ITER 2730 NEW BEST:: SOT 866587 SOS 437281 HAS SOPS 428546 HAS SOUS 237124 HAS SOUPS 235875 WITH SCORE 236312.281
AT ITER 2742 NEW BEST:: SOT 866021 SOS 436845 HAS SOPS 428110 HAS SOUS 237045 HAS SOUPS 235796 WITH SCORE 236232.845
AT ITER 2745 NEW BEST:: SOT 866075 SOS 436870 HAS SOPS 428135 HAS SOUS 237008 HAS SOUPS 235759 WITH SCORE 236195.87
AT ITER 2746 NEW BEST:: SOT 865943 SOS 436738 HAS SOPS 428003 HAS SOUS 236810 HAS SOUPS 235561 WITH SCORE 235997.738
AT ITER 2754 NEW BEST:: SOT 865907 SOS 437146 HAS SOPS 428411 HAS SOUS 236605 HAS SOUPS 235356 WITH SCORE 235793.146
AT ITER 2770 NEW BEST:: SOT 865675 SOS 436740 HAS SOPS 428005 HAS SOUS 236312 HAS SOUPS 235063 WITH SCORE 235499.74
AT ITER 2785 NEW BEST:: SOT 865737 SOS 436899 HAS SOPS 428164 HAS SOUS 236094 HAS SOUPS 234845 WITH SCORE 235281.899
AT ITER 2788 NEW BEST:: SOT 865651 SOS 436813 HAS SOPS 428078 HAS SOUS 235995 HAS SOUPS 234746 WITH SCORE 235182.813
AT ITER 2790 NEW BEST:: SOT 865394 SOS 436437 HAS SOPS 427702 HAS SOUS 235619 HAS SOUPS 234370 WITH SCORE 234806.437
AT ITER 2801 NEW BEST:: SOT 865497 SOS 436334 HAS SOPS 427599 HAS SOUS 235557 HAS SOUPS 234308 WITH SCORE 234744.334
AT ITER 2822 NEW BEST:: SOT 865376 SOS 435071 HAS SOPS 426336 HAS SOUS 234559 HAS SOUPS 233310 WITH SCORE 233745.071
AT ITER 2825 NEW BEST:: SOT 865370 SOS 435065 HAS SOPS 426330 HAS SOUS 234547 HAS SOUPS 233298 WITH SCORE 233733.065
AT ITER 2827 NEW BEST:: SOT 864733 SOS 434667 HAS SOPS 425932 HAS SOUS 234468 HAS SOUPS 233219 WITH SCORE 233653.667
AT ITER 2831 NEW BEST:: SOT 864720 SOS 434683 HAS SOPS 425948 HAS SOUS 234442 HAS SOUPS 233193 WITH SCORE 233627.683
AT ITER 2843 NEW BEST:: SOT 864712 SOS 434683 HAS SOPS 425948 HAS SOUS 234434 HAS SOUPS 233185 WITH SCORE 233619.683
AT ITER 2861 NEW BEST:: SOT 864680 SOS 434342 HAS SOPS 425607 HAS SOUS 234322 HAS SOUPS 233073 WITH SCORE 233507.342
AT ITER 2863 NEW BEST:: SOT 864800 SOS 434387 HAS SOPS 425652 HAS SOUS 234187 HAS SOUPS 232938 WITH SCORE 233372.387
AT ITER 2872 NEW BEST:: SOT 864745 SOS 434305 HAS SOPS 425570 HAS SOUS 234105 HAS SOUPS 232856 WITH SCORE 233290.305
AT ITER 2877 NEW BEST:: SOT 864745 SOS 434464 HAS SOPS 425729 HAS SOUS 234088 HAS SOUPS 232839 WITH SCORE 233273.464
AT ITER 2905 NEW BEST:: SOT 864656 SOS 434329 HAS SOPS 425594 HAS SOUS 233934 HAS SOUPS 232685 WITH SCORE 233119.329
AT ITER 2914 NEW BEST:: SOT 864938 SOS 438831 HAS SOPS 430096 HAS SOUS 233659 HAS SOUPS 232410 WITH SCORE 232848.831
AT ITER 2920 NEW BEST:: SOT 865144 SOS 437936 HAS SOPS 429201 HAS SOUS 233598 HAS SOUPS 232349 WITH SCORE 232786.936
AT ITER 2921 NEW BEST:: SOT 865172 SOS 437919 HAS SOPS 429184 HAS SOUS 233478 HAS SOUPS 232229 WITH SCORE 232666.919
AT ITER 2927 NEW BEST:: SOT 864876 SOS 437580 HAS SOPS 428845 HAS SOUS 233378 HAS SOUPS 232129 WITH SCORE 232566.58
AT ITER 2931 NEW BEST:: SOT 864933 SOS 437867 HAS SOPS 429132 HAS SOUS 233280 HAS SOUPS 232031 WITH SCORE 232468.867
AT ITER 2969 NEW BEST:: SOT 864933 SOS 437840 HAS SOPS 429105 HAS SOUS 233280 HAS SOUPS 232031 WITH SCORE 232468.84
AT ITER 2974 NEW BEST:: SOT 864966 SOS 437820 HAS SOPS 429085 HAS SOUS 233260 HAS SOUPS 232011 WITH SCORE 232448.82
AT ITER 2988 NEW BEST:: SOT 864929 SOS 437783 HAS SOPS 429048 HAS SOUS 233020 HAS SOUPS 231771 WITH SCORE 232208.783
AT ITER 2990 NEW BEST:: SOT 864915 SOS 437755 HAS SOPS 429020 HAS SOUS 232992 HAS SOUPS 231743 WITH SCORE 232180.755
AT ITER 3001 NEW BEST:: SOT 864890 SOS 437705 HAS SOPS 428970 HAS SOUS 232833 HAS SOUPS 231584 WITH SCORE 232021.705
AT ITER 3024 NEW BEST:: SOT 864947 SOS 437647 HAS SOPS 428912 HAS SOUS 232325 HAS SOUPS 231076 WITH SCORE 231513.647
AT ITER 3037 NEW BEST:: SOT 864907 SOS 437567 HAS SOPS 428832 HAS SOUS 232300 HAS SOUPS 231051 WITH SCORE 231488.567
AT ITER 3052 NEW BEST:: SOT 864907 SOS 437462 HAS SOPS 428735 HAS SOUS 232223 HAS SOUPS 230974 WITH SCORE 231411.462
AT ITER 3071 NEW BEST:: SOT 864938 SOS 437493 HAS SOPS 428766 HAS SOUS 232185 HAS SOUPS 230936 WITH SCORE 231373.493
AT ITER 3078 NEW BEST:: SOT 864938 SOS 437493 HAS SOPS 428766 HAS SOUS 232183 HAS SOUPS 230934 WITH SCORE 231371.493
AT ITER 3080 NEW BEST:: SOT 864938 SOS 437411 HAS SOPS 428684 HAS SOUS 232183 HAS SOUPS 230934 WITH SCORE 231371.411
AT ITER 3097 NEW BEST:: SOT 864883 SOS 437301 HAS SOPS 428574 HAS SOUS 232180 HAS SOUPS 230931 WITH SCORE 231368.301
AT ITER 3106 NEW BEST:: SOT 864863 SOS 437737 HAS SOPS 429010 HAS SOUS 231928 HAS SOUPS 230679 WITH SCORE 231116.737
AT ITER 3110 NEW BEST:: SOT 864143 SOS 437351 HAS SOPS 428624 HAS SOUS 231881 HAS SOUPS 230632 WITH SCORE 231069.351
AT ITER 3112 NEW BEST:: SOT 864075 SOS 436873 HAS SOPS 428146 HAS SOUS 231798 HAS SOUPS 230549 WITH SCORE 230985.873
AT ITER 3118 NEW BEST:: SOT 864067 SOS 436876 HAS SOPS 428149 HAS SOUS 231679 HAS SOUPS 230430 WITH SCORE 230866.876
AT ITER 3125 NEW BEST:: SOT 864067 SOS 436595 HAS SOPS 427868 HAS SOUS 231510 HAS SOUPS 230261 WITH SCORE 230697.595
AT ITER 3134 NEW BEST:: SOT 864060 SOS 436588 HAS SOPS 427861 HAS SOUS 231496 HAS SOUPS 230247 WITH SCORE 230683.588
AT ITER 3137 NEW BEST:: SOT 864072 SOS 436600 HAS SOPS 427873 HAS SOUS 231478 HAS SOUPS 230229 WITH SCORE 230665.6
AT ITER 3140 NEW BEST:: SOT 863892 SOS 436420 HAS SOPS 427693 HAS SOUS 231118 HAS SOUPS 229869 WITH SCORE 230305.42
AT ITER 3150 NEW BEST:: SOT 863884 SOS 436412 HAS SOPS 427685 HAS SOUS 231110 HAS SOUPS 229861 WITH SCORE 230297.412
AT ITER 3161 NEW BEST:: SOT 863849 SOS 436377 HAS SOPS 427650 HAS SOUS 231040 HAS SOUPS 229791 WITH SCORE 230227.377
AT ITER 3168 NEW BEST:: SOT 863780 SOS 436280 HAS SOPS 427553 HAS SOUS 230902 HAS SOUPS 229653 WITH SCORE 230089.28
AT ITER 3174 NEW BEST:: SOT 863780 SOS 436508 HAS SOPS 427781 HAS SOUS 230817 HAS SOUPS 229568 WITH SCORE 230004.508
AT ITER 3176 NEW BEST:: SOT 863925 SOS 436541 HAS SOPS 427750 HAS SOUS 230753 HAS SOUPS 229504 WITH SCORE 229940.541
AT ITER 3190 NEW BEST:: SOT 863959 SOS 436407 HAS SOPS 427616 HAS SOUS 230293 HAS SOUPS 229044 WITH SCORE 229480.407
AT ITER 3196 NEW BEST:: SOT 863895 SOS 436343 HAS SOPS 427552 HAS SOUS 230243 HAS SOUPS 228994 WITH SCORE 229430.343
AT ITER 3204 NEW BEST:: SOT 862672 SOS 435416 HAS SOPS 426625 HAS SOUS 229622 HAS SOUPS 228373 WITH SCORE 228808.416
AT ITER 3208 NEW BEST:: SOT 862692 SOS 435466 HAS SOPS 426675 HAS SOUS 229552 HAS SOUPS 228303 WITH SCORE 228738.466
AT ITER 3220 NEW BEST:: SOT 863275 SOS 430332 HAS SOPS 421541 HAS SOUS 229552 HAS SOUPS 228303 WITH SCORE 228733.332
AT ITER 3227 NEW BEST:: SOT 863015 SOS 430185 HAS SOPS 421394 HAS SOUS 229540 HAS SOUPS 228291 WITH SCORE 228721.185
AT ITER 3237 NEW BEST:: SOT 862922 SOS 430092 HAS SOPS 421278 HAS SOUS 229422 HAS SOUPS 228176 WITH SCORE 228606.092
AT ITER 3242 NEW BEST:: SOT 863249 SOS 430160 HAS SOPS 421346 HAS SOUS 229167 HAS SOUPS 227921 WITH SCORE 228351.16
AT ITER 3244 NEW BEST:: SOT 863252 SOS 430163 HAS SOPS 421349 HAS SOUS 229148 HAS SOUPS 227902 WITH SCORE 228332.163
AT ITER 3250 NEW BEST:: SOT 863195 SOS 430135 HAS SOPS 421321 HAS SOUS 229063 HAS SOUPS 227817 WITH SCORE 228247.135
AT ITER 3264 NEW BEST:: SOT 863195 SOS 429886 HAS SOPS 421072 HAS SOUS 229063 HAS SOUPS 227817 WITH SCORE 228246.886
AT ITER 3265 NEW BEST:: SOT 862955 SOS 429572 HAS SOPS 420758 HAS SOUS 228843 HAS SOUPS 227597 WITH SCORE 228026.572
AT ITER 3270 NEW BEST:: SOT 846048 SOS 413571 HAS SOPS 403851 HAS SOUS 222483 HAS SOUPS 221144 WITH SCORE 221557.571
AT ITER 3274 NEW BEST:: SOT 845816 SOS 413417 HAS SOPS 403697 HAS SOUS 222273 HAS SOUPS 220934 WITH SCORE 221347.417
AT ITER 3285 NEW BEST:: SOT 845706 SOS 413222 HAS SOPS 403502 HAS SOUS 222210 HAS SOUPS 220871 WITH SCORE 221284.222
AT ITER 3292 NEW BEST:: SOT 845676 SOS 413142 HAS SOPS 403422 HAS SOUS 222150 HAS SOUPS 220811 WITH SCORE 221224.142
AT ITER 3296 NEW BEST:: SOT 845570 SOS 413036 HAS SOPS 403316 HAS SOUS 222149 HAS SOUPS 220810 WITH SCORE 221223.036
AT ITER 3299 NEW BEST:: SOT 845570 SOS 413036 HAS SOPS 403316 HAS SOUS 222139 HAS SOUPS 220800 WITH SCORE 221213.036
AT ITER 3307 NEW BEST:: SOT 845442 SOS 412933 HAS SOPS 403153 HAS SOUS 222036 HAS SOUPS 220637 WITH SCORE 221049.933
AT ITER 3330 NEW BEST:: SOT 845666 SOS 410576 HAS SOPS 400796 HAS SOUS 221875 HAS SOUPS 220476 WITH SCORE 220886.576
AT ITER 3336 NEW BEST:: SOT 845693 SOS 412120 HAS SOPS 402070 HAS SOUS 221875 HAS SOUPS 220449 WITH SCORE 220861.12
AT ITER 3353 NEW BEST:: SOT 845662 SOS 412089 HAS SOPS 402039 HAS SOUS 221705 HAS SOUPS 220279 WITH SCORE 220691.089
AT ITER 3356 NEW BEST:: SOT 845310 SOS 411340 HAS SOPS 401290 HAS SOUS 221378 HAS SOUPS 219952 WITH SCORE 220363.34
AT ITER 3359 NEW BEST:: SOT 845212 SOS 411502 HAS SOPS 401452 HAS SOUS 220948 HAS SOUPS 219522 WITH SCORE 219933.502
AT ITER 3361 NEW BEST:: SOT 845212 SOS 411486 HAS SOPS 401436 HAS SOUS 220916 HAS SOUPS 219490 WITH SCORE 219901.486
AT ITER 3363 NEW BEST:: SOT 845192 SOS 411461 HAS SOPS 401411 HAS SOUS 220876 HAS SOUPS 219450 WITH SCORE 219861.461
AT ITER 3384 NEW BEST:: SOT 845163 SOS 411432 HAS SOPS 401382 HAS SOUS 220818 HAS SOUPS 219392 WITH SCORE 219803.432
AT ITER 3391 NEW BEST:: SOT 845021 SOS 411313 HAS SOPS 401263 HAS SOUS 220649 HAS SOUPS 219223 WITH SCORE 219634.313
AT ITER 3405 NEW BEST:: SOT 844955 SOS 411247 HAS SOPS 401197 HAS SOUS 220466 HAS SOUPS 219040 WITH SCORE 219451.247
AT ITER 3417 NEW BEST:: SOT 844784 SOS 411361 HAS SOPS 401311 HAS SOUS 220348 HAS SOUPS 218922 WITH SCORE 219333.361
AT ITER 3421 NEW BEST:: SOT 844810 SOS 411413 HAS SOPS 401363 HAS SOUS 220322 HAS SOUPS 218896 WITH SCORE 219307.413
AT ITER 3437 NEW BEST:: SOT 844875 SOS 411478 HAS SOPS 401428 HAS SOUS 220317 HAS SOUPS 218891 WITH SCORE 219302.478
AT ITER 3438 NEW BEST:: SOT 844740 SOS 410878 HAS SOPS 400828 HAS SOUS 220198 HAS SOUPS 218772 WITH SCORE 219182.878
AT ITER 3441 NEW BEST:: SOT 844541 SOS 410730 HAS SOPS 400680 HAS SOUS 219721 HAS SOUPS 218295 WITH SCORE 218705.73
AT ITER 3450 NEW BEST:: SOT 844488 SOS 410699 HAS SOPS 400649 HAS SOUS 219690 HAS SOUPS 218264 WITH SCORE 218674.699
AT ITER 3479 NEW BEST:: SOT 844480 SOS 410683 HAS SOPS 400633 HAS SOUS 219674 HAS SOUPS 218248 WITH SCORE 218658.683
AT ITER 3496 NEW BEST:: SOT 844480 SOS 410231 HAS SOPS 400181 HAS SOUS 219674 HAS SOUPS 218248 WITH SCORE 218658.231
AT ITER 3504 NEW BEST:: SOT 844611 SOS 410404 HAS SOPS 400354 HAS SOUS 219425 HAS SOUPS 217999 WITH SCORE 218409.404
AT ITER 3520 NEW BEST:: SOT 844645 SOS 410374 HAS SOPS 400324 HAS SOUS 219395 HAS SOUPS 217969 WITH SCORE 218379.374
AT ITER 3533 NEW BEST:: SOT 843831 SOS 410327 HAS SOPS 400277 HAS SOUS 219172 HAS SOUPS 217746 WITH SCORE 218156.327
AT ITER 3548 NEW BEST:: SOT 843756 SOS 410327 HAS SOPS 400277 HAS SOUS 219097 HAS SOUPS 217671 WITH SCORE 218081.327
AT ITER 3553 NEW BEST:: SOT 843751 SOS 410272 HAS SOPS 400222 HAS SOUS 219087 HAS SOUPS 217661 WITH SCORE 218071.272
AT ITER 3558 NEW BEST:: SOT 843751 SOS 410316 HAS SOPS 400266 HAS SOUS 219071 HAS SOUPS 217645 WITH SCORE 218055.316
AT ITER 3570 NEW BEST:: SOT 843710 SOS 410386 HAS SOPS 400336 HAS SOUS 219064 HAS SOUPS 217638 WITH SCORE 218048.386
AT ITER 3573 NEW BEST:: SOT 843671 SOS 410179 HAS SOPS 400129 HAS SOUS 219041 HAS SOUPS 217615 WITH SCORE 218025.179
AT ITER 3576 NEW BEST:: SOT 843621 SOS 409746 HAS SOPS 399696 HAS SOUS 218913 HAS SOUPS 217487 WITH SCORE 217896.746
AT ITER 3587 NEW BEST:: SOT 843631 SOS 409756 HAS SOPS 399706 HAS SOUS 218903 HAS SOUPS 217477 WITH SCORE 217886.756
AT ITER 3614 NEW BEST:: SOT 843630 SOS 409755 HAS SOPS 399705 HAS SOUS 218814 HAS SOUPS 217388 WITH SCORE 217797.755
AT ITER 3640 NEW BEST:: SOT 843293 SOS 409418 HAS SOPS 399368 HAS SOUS 218630 HAS SOUPS 217204 WITH SCORE 217613.418
AT ITER 3659 NEW BEST:: SOT 843318 SOS 409556 HAS SOPS 399506 HAS SOUS 218490 HAS SOUPS 217064 WITH SCORE 217473.556
AT ITER 3660 NEW BEST:: SOT 843652 SOS 409890 HAS SOPS 399840 HAS SOUS 218399 HAS SOUPS 216973 WITH SCORE 217382.89
AT ITER 3678 NEW BEST:: SOT 843916 SOS 405536 HAS SOPS 395486 HAS SOUS 217349 HAS SOUPS 215923 WITH SCORE 216328.536
AT ITER 3697 NEW BEST:: SOT 843590 SOS 405132 HAS SOPS 395082 HAS SOUS 216528 HAS SOUPS 215102 WITH SCORE 215507.132
AT ITER 3715 NEW BEST:: SOT 843466 SOS 404970 HAS SOPS 394920 HAS SOUS 216386 HAS SOUPS 214960 WITH SCORE 215364.97
AT ITER 3739 NEW BEST:: SOT 843456 SOS 404968 HAS SOPS 394918 HAS SOUS 216373 HAS SOUPS 214947 WITH SCORE 215351.968
AT ITER 3741 NEW BEST:: SOT 843456 SOS 404991 HAS SOPS 394941 HAS SOUS 216351 HAS SOUPS 214925 WITH SCORE 215329.991
AT ITER 3748 NEW BEST:: SOT 843294 SOS 404775 HAS SOPS 394725 HAS SOUS 216135 HAS SOUPS 214709 WITH SCORE 215113.775
AT ITER 3768 NEW BEST:: SOT 843168 SOS 404607 HAS SOPS 394557 HAS SOUS 215967 HAS SOUPS 214541 WITH SCORE 214945.607
AT ITER 3781 NEW BEST:: SOT 843052 SOS 404491 HAS SOPS 394441 HAS SOUS 215735 HAS SOUPS 214309 WITH SCORE 214713.491
AT ITER 3786 NEW BEST:: SOT 843012 SOS 404471 HAS SOPS 394421 HAS SOUS 215714 HAS SOUPS 214288 WITH SCORE 214692.471
AT ITER 3791 NEW BEST:: SOT 843047 SOS 404464 HAS SOPS 394414 HAS SOUS 215678 HAS SOUPS 214252 WITH SCORE 214656.464
AT ITER 3793 NEW BEST:: SOT 843007 SOS 404424 HAS SOPS 394374 HAS SOUS 215598 HAS SOUPS 214172 WITH SCORE 214576.424
AT ITER 3794 NEW BEST:: SOT 842857 SOS 404274 HAS SOPS 394224 HAS SOUS 215298 HAS SOUPS 213872 WITH SCORE 214276.274
AT ITER 3797 NEW BEST:: SOT 842852 SOS 404469 HAS SOPS 394419 HAS SOUS 215277 HAS SOUPS 213851 WITH SCORE 214255.469
AT ITER 3816 NEW BEST:: SOT 842764 SOS 404334 HAS SOPS 394284 HAS SOUS 215166 HAS SOUPS 213740 WITH SCORE 214144.334
AT ITER 3826 NEW BEST:: SOT 842583 SOS 403849 HAS SOPS 393799 HAS SOUS 214746 HAS SOUPS 213320 WITH SCORE 213723.849
AT ITER 3843 NEW BEST:: SOT 842535 SOS 403830 HAS SOPS 393780 HAS SOUS 214713 HAS SOUPS 213287 WITH SCORE 213690.83
AT ITER 3849 NEW BEST:: SOT 842338 SOS 403633 HAS SOPS 393583 HAS SOUS 214516 HAS SOUPS 213090 WITH SCORE 213493.633
AT ITER 3850 NEW BEST:: SOT 842332 SOS 403621 HAS SOPS 393571 HAS SOUS 214504 HAS SOUPS 213078 WITH SCORE 213481.621
AT ITER 3852 NEW BEST:: SOT 842110 SOS 403259 HAS SOPS 393209 HAS SOUS 214456 HAS SOUPS 213030 WITH SCORE 213433.259
AT ITER 3854 NEW BEST:: SOT 841911 SOS 402342 HAS SOPS 392292 HAS SOUS 214284 HAS SOUPS 212858 WITH SCORE 213260.342
AT ITER 3873 NEW BEST:: SOT 841860 SOS 402238 HAS SOPS 392188 HAS SOUS 214182 HAS SOUPS 212756 WITH SCORE 213158.238
AT ITER 3877 NEW BEST:: SOT 841853 SOS 402221 HAS SOPS 392171 HAS SOUS 214165 HAS SOUPS 212739 WITH SCORE 213141.221
AT ITER 3881 NEW BEST:: SOT 841790 SOS 402102 HAS SOPS 392052 HAS SOUS 214067 HAS SOUPS 212641 WITH SCORE 213043.102
AT ITER 3885 NEW BEST:: SOT 841818 SOS 402254 HAS SOPS 392204 HAS SOUS 214037 HAS SOUPS 212611 WITH SCORE 213013.254
AT ITER 3887 NEW BEST:: SOT 841849 SOS 402068 HAS SOPS 392018 HAS SOUS 213980 HAS SOUPS 212554 WITH SCORE 212956.068
AT ITER 3891 NEW BEST:: SOT 841853 SOS 402072 HAS SOPS 392022 HAS SOUS 213924 HAS SOUPS 212498 WITH SCORE 212900.072
AT ITER 3896 NEW BEST:: SOT 841798 SOS 402083 HAS SOPS 392033 HAS SOUS 213880 HAS SOUPS 212454 WITH SCORE 212856.083
AT ITER 3934 NEW BEST:: SOT 841764 SOS 401981 HAS SOPS 391931 HAS SOUS 213846 HAS SOUPS 212420 WITH SCORE 212821.981
AT ITER 3950 NEW BEST:: SOT 841725 SOS 401903 HAS SOPS 391853 HAS SOUS 213834 HAS SOUPS 212408 WITH SCORE 212809.903
AT ITER 3952 NEW BEST:: SOT 841215 SOS 401379 HAS SOPS 391329 HAS SOUS 213752 HAS SOUPS 212326 WITH SCORE 212727.379
AT ITER 3956 NEW BEST:: SOT 841313 SOS 401545 HAS SOPS 391495 HAS SOUS 213638 HAS SOUPS 212212 WITH SCORE 212613.545
AT ITER 3957 NEW BEST:: SOT 841304 SOS 401536 HAS SOPS 391477 HAS SOUS 213638 HAS SOUPS 212203 WITH SCORE 212604.536
AT ITER 3972 NEW BEST:: SOT 841337 SOS 401441 HAS SOPS 391382 HAS SOUS 213576 HAS SOUPS 212141 WITH SCORE 212542.441
AT ITER 3985 NEW BEST:: SOT 841404 SOS 404400 HAS SOPS 394341 HAS SOUS 213546 HAS SOUPS 212111 WITH SCORE 212515.4
AT ITER 3989 NEW BEST:: SOT 842535 SOS 404875 HAS SOPS 394816 HAS SOUS 213011 HAS SOUPS 211576 WITH SCORE 211980.875
AT ITER 4015 NEW BEST:: SOT 842409 SOS 404814 HAS SOPS 394755 HAS SOUS 212745 HAS SOUPS 211310 WITH SCORE 211714.814
AT ITER 4017 NEW BEST:: SOT 842439 SOS 404800 HAS SOPS 394741 HAS SOUS 212731 HAS SOUPS 211296 WITH SCORE 211700.8
AT ITER 4027 NEW BEST:: SOT 842424 SOS 404673 HAS SOPS 394614 HAS SOUS 212604 HAS SOUPS 211169 WITH SCORE 211573.673
AT ITER 4028 NEW BEST:: SOT 842381 SOS 404525 HAS SOPS 394466 HAS SOUS 212456 HAS SOUPS 211021 WITH SCORE 211425.525
AT ITER 4032 NEW BEST:: SOT 842361 SOS 404583 HAS SOPS 394524 HAS SOUS 211969 HAS SOUPS 210534 WITH SCORE 210938.583
AT ITER 4035 NEW BEST:: SOT 842331 SOS 404914 HAS SOPS 394855 HAS SOUS 211693 HAS SOUPS 210258 WITH SCORE 210662.914
AT ITER 4040 NEW BEST:: SOT 842331 SOS 404879 HAS SOPS 394814 HAS SOUS 211677 HAS SOUPS 210242 WITH SCORE 210646.879
AT ITER 4076 NEW BEST:: SOT 841461 SOS 404264 HAS SOPS 394199 HAS SOUS 211672 HAS SOUPS 210237 WITH SCORE 210641.264
AT ITER 4081 NEW BEST:: SOT 841160 SOS 402638 HAS SOPS 392573 HAS SOUS 211255 HAS SOUPS 209820 WITH SCORE 210222.638
AT ITER 4099 NEW BEST:: SOT 841132 SOS 402456 HAS SOPS 392391 HAS SOUS 211087 HAS SOUPS 209652 WITH SCORE 210054.456
AT ITER 4100 NEW BEST:: SOT 841092 SOS 402175 HAS SOPS 392110 HAS SOUS 210988 HAS SOUPS 209553 WITH SCORE 209955.175
AT ITER 4105 NEW BEST:: SOT 840845 SOS 402239 HAS SOPS 392174 HAS SOUS 210612 HAS SOUPS 209177 WITH SCORE 209579.239
AT ITER 4107 NEW BEST:: SOT 840802 SOS 402153 HAS SOPS 392088 HAS SOUS 210608 HAS SOUPS 209173 WITH SCORE 209575.153
AT ITER 4115 NEW BEST:: SOT 840799 SOS 402150 HAS SOPS 392085 HAS SOUS 210606 HAS SOUPS 209171 WITH SCORE 209573.15
AT ITER 4169 NEW BEST:: SOT 840653 SOS 401964 HAS SOPS 391899 HAS SOUS 210519 HAS SOUPS 209084 WITH SCORE 209485.964
AT ITER 4171 NEW BEST:: SOT 840641 SOS 401952 HAS SOPS 391887 HAS SOUS 210495 HAS SOUPS 209060 WITH SCORE 209461.952
AT ITER 4172 NEW BEST:: SOT 840575 SOS 401715 HAS SOPS 391650 HAS SOUS 210456 HAS SOUPS 209021 WITH SCORE 209422.715
AT ITER 4175 NEW BEST:: SOT 840566 SOS 401697 HAS SOPS 391632 HAS SOUS 210438 HAS SOUPS 209003 WITH SCORE 209404.697
AT ITER 4200 NEW BEST:: SOT 840566 SOS 401654 HAS SOPS 391589 HAS SOUS 210337 HAS SOUPS 208902 WITH SCORE 209303.654
AT ITER 4201 NEW BEST:: SOT 840566 SOS 401645 HAS SOPS 391580 HAS SOUS 210337 HAS SOUPS 208902 WITH SCORE 209303.645
AT ITER 4210 NEW BEST:: SOT 840429 SOS 400635 HAS SOPS 390570 HAS SOUS 210222 HAS SOUPS 208787 WITH SCORE 209187.635
AT ITER 4211 NEW BEST:: SOT 840370 SOS 400576 HAS SOPS 390511 HAS SOUS 210208 HAS SOUPS 208773 WITH SCORE 209173.576
AT ITER 4224 NEW BEST:: SOT 840188 SOS 400084 HAS SOPS 390019 HAS SOUS 209716 HAS SOUPS 208281 WITH SCORE 208681.084
AT ITER 4233 NEW BEST:: SOT 839335 SOS 399965 HAS SOPS 389900 HAS SOUS 208982 HAS SOUPS 207547 WITH SCORE 207946.965
AT ITER 4243 NEW BEST:: SOT 838984 SOS 399614 HAS SOPS 389549 HAS SOUS 208397 HAS SOUPS 206962 WITH SCORE 207361.614
AT ITER 4248 NEW BEST:: SOT 838419 SOS 399094 HAS SOPS 388979 HAS SOUS 208207 HAS SOUPS 206767 WITH SCORE 207166.094
AT ITER 4249 NEW BEST:: SOT 838104 SOS 398842 HAS SOPS 388727 HAS SOUS 207841 HAS SOUPS 206401 WITH SCORE 206799.842
AT ITER 4257 NEW BEST:: SOT 835729 SOS 403993 HAS SOPS 392528 HAS SOUS 207729 HAS SOUPS 206154 WITH SCORE 206557.993
AT ITER 4275 NEW BEST:: SOT 835733 SOS 404016 HAS SOPS 392551 HAS SOUS 207695 HAS SOUPS 206120 WITH SCORE 206524.016
AT ITER 4328 NEW BEST:: SOT 835733 SOS 404016 HAS SOPS 392551 HAS SOUS 207687 HAS SOUPS 206112 WITH SCORE 206516.016
AT ITER 4335 NEW BEST:: SOT 835771 SOS 404138 HAS SOPS 392673 HAS SOUS 207641 HAS SOUPS 206066 WITH SCORE 206470.138
AT ITER 4346 NEW BEST:: SOT 835771 SOS 404138 HAS SOPS 392673 HAS SOUS 207623 HAS SOUPS 206048 WITH SCORE 206452.138
AT ITER 4354 NEW BEST:: SOT 835651 SOS 404216 HAS SOPS 392751 HAS SOUS 207383 HAS SOUPS 205808 WITH SCORE 206212.216
AT ITER 4375 NEW BEST:: SOT 835692 SOS 404442 HAS SOPS 392977 HAS SOUS 207321 HAS SOUPS 205746 WITH SCORE 206150.442
AT ITER 4383 NEW BEST:: SOT 835667 SOS 404426 HAS SOPS 392961 HAS SOUS 207271 HAS SOUPS 205696 WITH SCORE 206100.426
AT ITER 4390 NEW BEST:: SOT 835669 SOS 404408 HAS SOPS 392943 HAS SOUS 207132 HAS SOUPS 205557 WITH SCORE 205961.408
AT ITER 4397 NEW BEST:: SOT 835507 SOS 404250 HAS SOPS 392785 HAS SOUS 206843 HAS SOUPS 205268 WITH SCORE 205672.25
AT ITER 4412 NEW BEST:: SOT 835437 SOS 404090 HAS SOPS 392625 HAS SOUS 206603 HAS SOUPS 205028 WITH SCORE 205432.09
AT ITER 4413 NEW BEST:: SOT 835371 SOS 403970 HAS SOPS 392505 HAS SOUS 206504 HAS SOUPS 204929 WITH SCORE 205332.97
AT ITER 4415 NEW BEST:: SOT 835359 SOS 403968 HAS SOPS 392503 HAS SOUS 206480 HAS SOUPS 204905 WITH SCORE 205308.968
AT ITER 4441 NEW BEST:: SOT 835405 SOS 403276 HAS SOPS 391811 HAS SOUS 206472 HAS SOUPS 204897 WITH SCORE 205300.276
AT ITER 4442 NEW BEST:: SOT 835261 SOS 403119 HAS SOPS 391654 HAS SOUS 205793 HAS SOUPS 204218 WITH SCORE 204621.119
AT ITER 4447 NEW BEST:: SOT 835200 SOS 403011 HAS SOPS 391546 HAS SOUS 205706 HAS SOUPS 204131 WITH SCORE 204534.011
AT ITER 4451 NEW BEST:: SOT 835200 SOS 403009 HAS SOPS 391544 HAS SOUS 205706 HAS SOUPS 204131 WITH SCORE 204534.009
AT ITER 4470 NEW BEST:: SOT 835200 SOS 402997 HAS SOPS 391532 HAS SOUS 205706 HAS SOUPS 204131 WITH SCORE 204533.997
AT ITER 4484 NEW BEST:: SOT 835105 SOS 402791 HAS SOPS 391326 HAS SOUS 205704 HAS SOUPS 204129 WITH SCORE 204531.791
AT ITER 4489 NEW BEST:: SOT 834879 SOS 402565 HAS SOPS 391100 HAS SOUS 205399 HAS SOUPS 203824 WITH SCORE 204226.565
AT ITER 4510 NEW BEST:: SOT 836838 SOS 397409 HAS SOPS 387254 HAS SOUS 205245 HAS SOUPS 203801 WITH SCORE 204198.409
AT ITER 4511 NEW BEST:: SOT 836695 SOS 397232 HAS SOPS 387077 HAS SOUS 205068 HAS SOUPS 203624 WITH SCORE 204021.232
AT ITER 4522 NEW BEST:: SOT 836688 SOS 397225 HAS SOPS 387070 HAS SOUS 205007 HAS SOUPS 203563 WITH SCORE 203960.225
AT ITER 4539 NEW BEST:: SOT 836688 SOS 397222 HAS SOPS 387067 HAS SOUS 205007 HAS SOUPS 203563 WITH SCORE 203960.222
AT ITER 4549 NEW BEST:: SOT 836688 SOS 397356 HAS SOPS 387201 HAS SOUS 204934 HAS SOUPS 203490 WITH SCORE 203887.356
AT ITER 4557 NEW BEST:: SOT 836545 SOS 397147 HAS SOPS 386992 HAS SOUS 204860 HAS SOUPS 203416 WITH SCORE 203813.147
AT ITER 4560 NEW BEST:: SOT 836493 SOS 397115 HAS SOPS 387032 HAS SOUS 204828 HAS SOUPS 203384 WITH SCORE 203781.115
AT ITER 4567 NEW BEST:: SOT 836305 SOS 397139 HAS SOPS 387125 HAS SOUS 204695 HAS SOUPS 203251 WITH SCORE 203648.139
AT ITER 4611 NEW BEST:: SOT 836275 SOS 397163 HAS SOPS 387149 HAS SOUS 204688 HAS SOUPS 203244 WITH SCORE 203641.163
AT ITER 4630 NEW BEST:: SOT 836272 SOS 397158 HAS SOPS 387144 HAS SOUS 204683 HAS SOUPS 203239 WITH SCORE 203636.158
AT ITER 4640 NEW BEST:: SOT 836263 SOS 397140 HAS SOPS 387126 HAS SOUS 204665 HAS SOUPS 203221 WITH SCORE 203618.14
AT ITER 4644 NEW BEST:: SOT 836193 SOS 396532 HAS SOPS 386518 HAS SOUS 204504 HAS SOUPS 203060 WITH SCORE 203456.532
AT ITER 4650 NEW BEST:: SOT 836151 SOS 396574 HAS SOPS 386560 HAS SOUS 204433 HAS SOUPS 202989 WITH SCORE 203385.574
AT ITER 4659 NEW BEST:: SOT 836190 SOS 396715 HAS SOPS 386701 HAS SOUS 204427 HAS SOUPS 202983 WITH SCORE 203379.715
AT ITER 4671 NEW BEST:: SOT 836098 SOS 396622 HAS SOPS 386608 HAS SOUS 204334 HAS SOUPS 202890 WITH SCORE 203286.622
AT ITER 4683 NEW BEST:: SOT 835942 SOS 396469 HAS SOPS 386455 HAS SOUS 203963 HAS SOUPS 202519 WITH SCORE 202915.469
AT ITER 4699 NEW BEST:: SOT 836177 SOS 397485 HAS SOPS 387471 HAS SOUS 203811 HAS SOUPS 202367 WITH SCORE 202764.485
AT ITER 4732 NEW BEST:: SOT 835968 SOS 397274 HAS SOPS 387260 HAS SOUS 203404 HAS SOUPS 201960 WITH SCORE 202357.274
AT ITER 4741 NEW BEST:: SOT 835687 SOS 396899 HAS SOPS 386885 HAS SOUS 203039 HAS SOUPS 201595 WITH SCORE 201991.899
AT ITER 4753 NEW BEST:: SOT 835705 SOS 396917 HAS SOPS 386903 HAS SOUS 203021 HAS SOUPS 201577 WITH SCORE 201973.917
AT ITER 4765 NEW BEST:: SOT 835694 SOS 396906 HAS SOPS 386892 HAS SOUS 202988 HAS SOUPS 201544 WITH SCORE 201940.906
AT ITER 4768 NEW BEST:: SOT 835649 SOS 396816 HAS SOPS 386802 HAS SOUS 202913 HAS SOUPS 201469 WITH SCORE 201865.816
AT ITER 4777 NEW BEST:: SOT 835043 SOS 396137 HAS SOPS 386123 HAS SOUS 202275 HAS SOUPS 200831 WITH SCORE 201227.137
AT ITER 4778 NEW BEST:: SOT 835049 SOS 396145 HAS SOPS 386131 HAS SOUS 202261 HAS SOUPS 200817 WITH SCORE 201213.145
AT ITER 4800 NEW BEST:: SOT 835046 SOS 396139 HAS SOPS 386125 HAS SOUS 202252 HAS SOUPS 200808 WITH SCORE 201204.139
AT ITER 4811 NEW BEST:: SOT 835122 SOS 396173 HAS SOPS 386159 HAS SOUS 201850 HAS SOUPS 200406 WITH SCORE 200802.173
AT ITER 4814 NEW BEST:: SOT 834959 SOS 395803 HAS SOPS 385789 HAS SOUS 201645 HAS SOUPS 200201 WITH SCORE 200596.803
AT ITER 4818 NEW BEST:: SOT 835008 SOS 395772 HAS SOPS 385593 HAS SOUS 201612 HAS SOUPS 200134 WITH SCORE 200529.772
AT ITER 4837 NEW BEST:: SOT 835008 SOS 395760 HAS SOPS 385581 HAS SOUS 201606 HAS SOUPS 200128 WITH SCORE 200523.76
AT ITER 4846 NEW BEST:: SOT 835008 SOS 395790 HAS SOPS 385611 HAS SOUS 201552 HAS SOUPS 200074 WITH SCORE 200469.79
AT ITER 4855 NEW BEST:: SOT 834971 SOS 395753 HAS SOPS 385574 HAS SOUS 201515 HAS SOUPS 200037 WITH SCORE 200432.753
AT ITER 4889 NEW BEST:: SOT 835018 SOS 392950 HAS SOPS 382771 HAS SOUS 201280 HAS SOUPS 199802 WITH SCORE 200194.95
AT ITER 4902 NEW BEST:: SOT 835061 SOS 392917 HAS SOPS 382738 HAS SOUS 201247 HAS SOUPS 199769 WITH SCORE 200161.917
AT ITER 4918 NEW BEST:: SOT 835060 SOS 392916 HAS SOPS 382737 HAS SOUS 201191 HAS SOUPS 199713 WITH SCORE 200105.916
AT ITER 4943 NEW BEST:: SOT 835060 SOS 392916 HAS SOPS 382737 HAS SOUS 201185 HAS SOUPS 199707 WITH SCORE 200099.916
AT ITER 4945 NEW BEST:: SOT 835056 SOS 392908 HAS SOPS 382729 HAS SOUS 201181 HAS SOUPS 199703 WITH SCORE 200095.908
AT ITER 4983 NEW BEST:: SOT 835048 SOS 392910 HAS SOPS 382731 HAS SOUS 201173 HAS SOUPS 199695 WITH SCORE 200087.91
AT ITER 4992 NEW BEST:: SOT 835007 SOS 392936 HAS SOPS 382757 HAS SOUS 201147 HAS SOUPS 199669 WITH SCORE 200061.936
AT ITER 5004 NEW BEST:: SOT 835007 SOS 392936 HAS SOPS 382757 HAS SOUS 201108 HAS SOUPS 199630 WITH SCORE 200022.936
AT ITER 5020 NEW BEST:: SOT 835105 SOS 393268 HAS SOPS 383089 HAS SOUS 200868 HAS SOUPS 199390 WITH SCORE 199783.268
AT ITER 5026 NEW BEST:: SOT 834937 SOS 393465 HAS SOPS 383286 HAS SOUS 200551 HAS SOUPS 199073 WITH SCORE 199466.465
AT ITER 5027 NEW BEST:: SOT 834979 SOS 393781 HAS SOPS 383602 HAS SOUS 200479 HAS SOUPS 199001 WITH SCORE 199394.781
AT ITER 5028 NEW BEST:: SOT 834762 SOS 393113 HAS SOPS 382934 HAS SOUS 200228 HAS SOUPS 198750 WITH SCORE 199143.113
AT ITER 5040 NEW BEST:: SOT 834826 SOS 393063 HAS SOPS 382884 HAS SOUS 200122 HAS SOUPS 198644 WITH SCORE 199037.063
AT ITER 5052 NEW BEST:: SOT 834814 SOS 393114 HAS SOPS 382935 HAS SOUS 200036 HAS SOUPS 198558 WITH SCORE 198951.114
AT ITER 5067 NEW BEST:: SOT 834814 SOS 393005 HAS SOPS 382826 HAS SOUS 199986 HAS SOUPS 198508 WITH SCORE 198901.005
AT ITER 5069 NEW BEST:: SOT 834830 SOS 393045 HAS SOPS 382866 HAS SOUS 199969 HAS SOUPS 198491 WITH SCORE 198884.045
AT ITER 5101 NEW BEST:: SOT 834977 SOS 393170 HAS SOPS 382991 HAS SOUS 199699 HAS SOUPS 198221 WITH SCORE 198614.17
AT ITER 5116 NEW BEST:: SOT 834831 SOS 392995 HAS SOPS 382816 HAS SOUS 199524 HAS SOUPS 198046 WITH SCORE 198438.995
AT ITER 5125 NEW BEST:: SOT 834815 SOS 392979 HAS SOPS 382800 HAS SOUS 199504 HAS SOUPS 198026 WITH SCORE 198418.979
AT ITER 5137 NEW BEST:: SOT 834485 SOS 392758 HAS SOPS 382579 HAS SOUS 199373 HAS SOUPS 197895 WITH SCORE 198287.758
AT ITER 5141 NEW BEST:: SOT 834449 SOS 392650 HAS SOPS 382471 HAS SOUS 199373 HAS SOUPS 197895 WITH SCORE 198287.65
AT ITER 5145 NEW BEST:: SOT 834283 SOS 392484 HAS SOPS 382305 HAS SOUS 199035 HAS SOUPS 197557 WITH SCORE 197949.484
AT ITER 5158 NEW BEST:: SOT 834047 SOS 392248 HAS SOPS 382069 HAS SOUS 198723 HAS SOUPS 197245 WITH SCORE 197637.248
AT ITER 5164 NEW BEST:: SOT 833908 SOS 392159 HAS SOPS 381980 HAS SOUS 198384 HAS SOUPS 196906 WITH SCORE 197298.159
AT ITER 5183 NEW BEST:: SOT 833875 SOS 392027 HAS SOPS 381848 HAS SOUS 198351 HAS SOUPS 196873 WITH SCORE 197265.027
AT ITER 5203 NEW BEST:: SOT 833854 SOS 392015 HAS SOPS 381827 HAS SOUS 198336 HAS SOUPS 196852 WITH SCORE 197244.015
AT ITER 5220 NEW BEST:: SOT 833852 SOS 392413 HAS SOPS 382225 HAS SOUS 198330 HAS SOUPS 196846 WITH SCORE 197238.413
AT ITER 5225 NEW BEST:: SOT 833838 SOS 392380 HAS SOPS 382192 HAS SOUS 198305 HAS SOUPS 196821 WITH SCORE 197213.38
AT ITER 5230 NEW BEST:: SOT 833768 SOS 392326 HAS SOPS 382138 HAS SOUS 198216 HAS SOUPS 196732 WITH SCORE 197124.326
AT ITER 5232 NEW BEST:: SOT 833736 SOS 392294 HAS SOPS 382137 HAS SOUS 198169 HAS SOUPS 196685 WITH SCORE 197077.294
AT ITER 5267 NEW BEST:: SOT 833666 SOS 392224 HAS SOPS 382067 HAS SOUS 198071 HAS SOUPS 196587 WITH SCORE 196979.224
AT ITER 5268 NEW BEST:: SOT 833363 SOS 391962 HAS SOPS 381805 HAS SOUS 197988 HAS SOUPS 196504 WITH SCORE 196895.962
AT ITER 5277 NEW BEST:: SOT 833318 SOS 391917 HAS SOPS 381760 HAS SOUS 197777 HAS SOUPS 196293 WITH SCORE 196684.917
AT ITER 5278 NEW BEST:: SOT 833278 SOS 391877 HAS SOPS 381720 HAS SOUS 197706 HAS SOUPS 196222 WITH SCORE 196613.877
AT ITER 5296 NEW BEST:: SOT 833263 SOS 391862 HAS SOPS 381705 HAS SOUS 197688 HAS SOUPS 196204 WITH SCORE 196595.862
AT ITER 5308 NEW BEST:: SOT 833140 SOS 391493 HAS SOPS 381336 HAS SOUS 197677 HAS SOUPS 196193 WITH SCORE 196584.493
AT ITER 5340 NEW BEST:: SOT 832802 SOS 391155 HAS SOPS 380998 HAS SOUS 197490 HAS SOUPS 196006 WITH SCORE 196397.155
AT ITER 5348 NEW BEST:: SOT 832802 SOS 387333 HAS SOPS 377176 HAS SOUS 197490 HAS SOUPS 196006 WITH SCORE 196393.333
AT ITER 5370 NEW BEST:: SOT 832757 SOS 387552 HAS SOPS 377395 HAS SOUS 197400 HAS SOUPS 195916 WITH SCORE 196303.552
AT ITER 5391 NEW BEST:: SOT 832747 SOS 387532 HAS SOPS 377375 HAS SOUS 197380 HAS SOUPS 195896 WITH SCORE 196283.532
AT ITER 5401 NEW BEST:: SOT 832835 SOS 385885 HAS SOPS 375728 HAS SOUS 197337 HAS SOUPS 195853 WITH SCORE 196238.885
AT ITER 5403 NEW BEST:: SOT 832782 SOS 385922 HAS SOPS 375765 HAS SOUS 197301 HAS SOUPS 195817 WITH SCORE 196202.922
AT ITER 5439 NEW BEST:: SOT 832388 SOS 385554 HAS SOPS 375397 HAS SOUS 197069 HAS SOUPS 195585 WITH SCORE 195970.554
AT ITER 5443 NEW BEST:: SOT 832156 SOS 385322 HAS SOPS 375165 HAS SOUS 196895 HAS SOUPS 195411 WITH SCORE 195796.322
AT ITER 5453 NEW BEST:: SOT 832124 SOS 384679 HAS SOPS 374522 HAS SOUS 196831 HAS SOUPS 195347 WITH SCORE 195731.679
AT ITER 5456 NEW BEST:: SOT 832110 SOS 384665 HAS SOPS 374494 HAS SOUS 196817 HAS SOUPS 195329 WITH SCORE 195713.665
AT ITER 5466 NEW BEST:: SOT 832100 SOS 384658 HAS SOPS 374487 HAS SOUS 196786 HAS SOUPS 195298 WITH SCORE 195682.658
AT ITER 5476 NEW BEST:: SOT 830531 SOS 383259 HAS SOPS 372918 HAS SOUS 196176 HAS SOUPS 194671 WITH SCORE 195054.259
AT ITER 5480 NEW BEST:: SOT 830527 SOS 383255 HAS SOPS 372914 HAS SOUS 196168 HAS SOUPS 194663 WITH SCORE 195046.255
AT ITER 5482 NEW BEST:: SOT 829923 SOS 383488 HAS SOPS 373147 HAS SOUS 195704 HAS SOUPS 194199 WITH SCORE 194582.488
AT ITER 5486 NEW BEST:: SOT 829845 SOS 383410 HAS SOPS 373075 HAS SOUS 195620 HAS SOUPS 194115 WITH SCORE 194498.41
AT ITER 5496 NEW BEST:: SOT 829785 SOS 383455 HAS SOPS 373120 HAS SOUS 195575 HAS SOUPS 194070 WITH SCORE 194453.455
AT ITER 5532 NEW BEST:: SOT 829948 SOS 383534 HAS SOPS 373199 HAS SOUS 195409 HAS SOUPS 193904 WITH SCORE 194287.534
AT ITER 5533 NEW BEST:: SOT 829879 SOS 383465 HAS SOPS 373130 HAS SOUS 195371 HAS SOUPS 193866 WITH SCORE 194249.465
AT ITER 5547 NEW BEST:: SOT 829894 SOS 383495 HAS SOPS 373160 HAS SOUS 195356 HAS SOUPS 193851 WITH SCORE 194234.495
AT ITER 5554 NEW BEST:: SOT 829909 SOS 383345 HAS SOPS 373010 HAS SOUS 195356 HAS SOUPS 193851 WITH SCORE 194234.345
AT ITER 5564 NEW BEST:: SOT 829875 SOS 383271 HAS SOPS 372936 HAS SOUS 195346 HAS SOUPS 193841 WITH SCORE 194224.271
AT ITER 5584 NEW BEST:: SOT 829785 SOS 383118 HAS SOPS 372783 HAS SOUS 195301 HAS SOUPS 193796 WITH SCORE 194179.118
AT ITER 5589 NEW BEST:: SOT 829721 SOS 382990 HAS SOPS 372655 HAS SOUS 195191 HAS SOUPS 193686 WITH SCORE 194068.99
AT ITER 5590 NEW BEST:: SOT 829695 SOS 382964 HAS SOPS 372618 HAS SOUS 195149 HAS SOUPS 193637 WITH SCORE 194019.964
AT ITER 5609 NEW BEST:: SOT 829675 SOS 382952 HAS SOPS 372606 HAS SOUS 195149 HAS SOUPS 193637 WITH SCORE 194019.952
AT ITER 5623 NEW BEST:: SOT 829574 SOS 382801 HAS SOPS 372455 HAS SOUS 194947 HAS SOUPS 193435 WITH SCORE 193817.801
AT ITER 5626 NEW BEST:: SOT 829510 SOS 382481 HAS SOPS 372135 HAS SOUS 194755 HAS SOUPS 193243 WITH SCORE 193625.481
AT ITER 5648 NEW BEST:: SOT 829347 SOS 381901 HAS SOPS 371555 HAS SOUS 194695 HAS SOUPS 193183 WITH SCORE 193564.901
AT ITER 5649 NEW BEST:: SOT 829347 SOS 382432 HAS SOPS 372086 HAS SOUS 194544 HAS SOUPS 193032 WITH SCORE 193414.432
AT ITER 5665 NEW BEST:: SOT 829332 SOS 382399 HAS SOPS 372053 HAS SOUS 194540 HAS SOUPS 193028 WITH SCORE 193410.399
AT ITER 5671 NEW BEST:: SOT 829242 SOS 382319 HAS SOPS 371876 HAS SOUS 194360 HAS SOUPS 192848 WITH SCORE 193230.319
AT ITER 5685 NEW BEST:: SOT 829230 SOS 382373 HAS SOPS 371930 HAS SOUS 194354 HAS SOUPS 192842 WITH SCORE 193224.373
AT ITER 5693 NEW BEST:: SOT 829217 SOS 382371 HAS SOPS 371928 HAS SOUS 194285 HAS SOUPS 192773 WITH SCORE 193155.371
AT ITER 5704 NEW BEST:: SOT 829217 SOS 382371 HAS SOPS 371928 HAS SOUS 194282 HAS SOUPS 192770 WITH SCORE 193152.371
AT ITER 5710 NEW BEST:: SOT 829154 SOS 380645 HAS SOPS 370202 HAS SOUS 194188 HAS SOUPS 192676 WITH SCORE 193056.645
AT ITER 5720 NEW BEST:: SOT 829076 SOS 380567 HAS SOPS 370124 HAS SOUS 194117 HAS SOUPS 192605 WITH SCORE 192985.567
AT ITER 5756 NEW BEST:: SOT 829076 SOS 380767 HAS SOPS 370324 HAS SOUS 194106 HAS SOUPS 192594 WITH SCORE 192974.767
AT ITER 5780 NEW BEST:: SOT 828878 SOS 380399 HAS SOPS 369956 HAS SOUS 193836 HAS SOUPS 192324 WITH SCORE 192704.399
AT ITER 5783 NEW BEST:: SOT 828361 SOS 380020 HAS SOPS 369577 HAS SOUS 193199 HAS SOUPS 191687 WITH SCORE 192067.02
AT ITER 5787 NEW BEST:: SOT 828233 SOS 379892 HAS SOPS 369449 HAS SOUS 192943 HAS SOUPS 191431 WITH SCORE 191810.892
AT ITER 5805 NEW BEST:: SOT 828228 SOS 379882 HAS SOPS 369439 HAS SOUS 192933 HAS SOUPS 191421 WITH SCORE 191800.882
AT ITER 5848 NEW BEST:: SOT 828220 SOS 379794 HAS SOPS 369351 HAS SOUS 192861 HAS SOUPS 191349 WITH SCORE 191728.794
AT ITER 5864 NEW BEST:: SOT 828220 SOS 379776 HAS SOPS 369333 HAS SOUS 192861 HAS SOUPS 191349 WITH SCORE 191728.776
AT ITER 5868 NEW BEST:: SOT 828208 SOS 379764 HAS SOPS 369321 HAS SOUS 192849 HAS SOUPS 191337 WITH SCORE 191716.764
AT ITER 5873 NEW BEST:: SOT 828221 SOS 380047 HAS SOPS 369604 HAS SOUS 192812 HAS SOUPS 191300 WITH SCORE 191680.047
AT ITER 5889 NEW BEST:: SOT 828185 SOS 380047 HAS SOPS 369604 HAS SOUS 192704 HAS SOUPS 191192 WITH SCORE 191572.047
AT ITER 5894 NEW BEST:: SOT 828176 SOS 380038 HAS SOPS 369611 HAS SOUS 192694 HAS SOUPS 191182 WITH SCORE 191562.038
AT ITER 5901 NEW BEST:: SOT 828023 SOS 379749 HAS SOPS 369254 HAS SOUS 192453 HAS SOUPS 190941 WITH SCORE 191320.749
AT ITER 5919 NEW BEST:: SOT 828021 SOS 379595 HAS SOPS 369100 HAS SOUS 192449 HAS SOUPS 190937 WITH SCORE 191316.595
AT ITER 5927 NEW BEST:: SOT 827986 SOS 379534 HAS SOPS 369039 HAS SOUS 192414 HAS SOUPS 190902 WITH SCORE 191281.534
AT ITER 5938 NEW BEST:: SOT 827199 SOS 378757 HAS SOPS 368262 HAS SOUS 192032 HAS SOUPS 190520 WITH SCORE 190898.757
AT ITER 5965 NEW BEST:: SOT 826961 SOS 378519 HAS SOPS 368024 HAS SOUS 191972 HAS SOUPS 190460 WITH SCORE 190838.519
AT ITER 5966 NEW BEST:: SOT 826920 SOS 378509 HAS SOPS 368014 HAS SOUS 191890 HAS SOUPS 190378 WITH SCORE 190756.509
AT ITER 5969 NEW BEST:: SOT 826902 SOS 378455 HAS SOPS 367960 HAS SOUS 191836 HAS SOUPS 190324 WITH SCORE 190702.455
AT ITER 6024 NEW BEST:: SOT 826897 SOS 378440 HAS SOPS 367945 HAS SOUS 191821 HAS SOUPS 190309 WITH SCORE 190687.44
AT ITER 6029 NEW BEST:: SOT 826818 SOS 378049 HAS SOPS 367554 HAS SOUS 191742 HAS SOUPS 190230 WITH SCORE 190608.049
AT ITER 6033 NEW BEST:: SOT 826818 SOS 378124 HAS SOPS 367629 HAS SOUS 191618 HAS SOUPS 190106 WITH SCORE 190484.124
AT ITER 6034 NEW BEST:: SOT 826812 SOS 378124 HAS SOPS 367629 HAS SOUS 191606 HAS SOUPS 190094 WITH SCORE 190472.124
AT ITER 6040 NEW BEST:: SOT 826830 SOS 378155 HAS SOPS 367660 HAS SOUS 191594 HAS SOUPS 190082 WITH SCORE 190460.155
AT ITER 6049 NEW BEST:: SOT 826830 SOS 378146 HAS SOPS 367651 HAS SOUS 191574 HAS SOUPS 190062 WITH SCORE 190440.146
AT ITER 6051 NEW BEST:: SOT 826595 SOS 377857 HAS SOPS 367362 HAS SOUS 191385 HAS SOUPS 189873 WITH SCORE 190250.857
AT ITER 6058 NEW BEST:: SOT 826414 SOS 377013 HAS SOPS 366518 HAS SOUS 191193 HAS SOUPS 189681 WITH SCORE 190058.013
AT ITER 6063 NEW BEST:: SOT 826412 SOS 377013 HAS SOPS 366518 HAS SOUS 191189 HAS SOUPS 189677 WITH SCORE 190054.013
AT ITER 6064 NEW BEST:: SOT 826403 SOS 377004 HAS SOPS 366509 HAS SOUS 191171 HAS SOUPS 189659 WITH SCORE 190036.004
AT ITER 6066 NEW BEST:: SOT 826403 SOS 377207 HAS SOPS 366712 HAS SOUS 190988 HAS SOUPS 189476 WITH SCORE 189853.207
AT ITER 6070 NEW BEST:: SOT 826379 SOS 377167 HAS SOPS 366672 HAS SOUS 190948 HAS SOUPS 189436 WITH SCORE 189813.167
AT ITER 6078 NEW BEST:: SOT 826304 SOS 377117 HAS SOPS 366622 HAS SOUS 190898 HAS SOUPS 189386 WITH SCORE 189763.117
AT ITER 6089 NEW BEST:: SOT 826245 SOS 377052 HAS SOPS 366557 HAS SOUS 190898 HAS SOUPS 189386 WITH SCORE 189763.052
AT ITER 6125 NEW BEST:: SOT 826646 SOS 376034 HAS SOPS 365539 HAS SOUS 190899 HAS SOUPS 189387 WITH SCORE 189763.034
AT ITER 6126 NEW BEST:: SOT 826584 SOS 375910 HAS SOPS 365415 HAS SOUS 190797 HAS SOUPS 189285 WITH SCORE 189660.91
AT ITER 6156 NEW BEST:: SOT 826584 SOS 375910 HAS SOPS 365415 HAS SOUS 190788 HAS SOUPS 189276 WITH SCORE 189651.91
AT ITER 6169 NEW BEST:: SOT 825912 SOS 375529 HAS SOPS 365034 HAS SOUS 190653 HAS SOUPS 189141 WITH SCORE 189516.529
AT ITER 6179 NEW BEST:: SOT 825837 SOS 374779 HAS SOPS 364284 HAS SOUS 189999 HAS SOUPS 188487 WITH SCORE 188861.779
AT ITER 6196 NEW BEST:: SOT 825825 SOS 374767 HAS SOPS 364272 HAS SOUS 189975 HAS SOUPS 188463 WITH SCORE 188837.767
AT ITER 6222 NEW BEST:: SOT 825566 SOS 374918 HAS SOPS 364423 HAS SOUS 189744 HAS SOUPS 188232 WITH SCORE 188606.918
AT ITER 6223 NEW BEST:: SOT 825566 SOS 374911 HAS SOPS 363768 HAS SOUS 189749 HAS SOUPS 188165 WITH SCORE 188539.911
AT ITER 6234 NEW BEST:: SOT 825482 SOS 374806 HAS SOPS 363663 HAS SOUS 189581 HAS SOUPS 187997 WITH SCORE 188371.806
AT ITER 6257 NEW BEST:: SOT 824600 SOS 373452 HAS SOPS 362309 HAS SOUS 189101 HAS SOUPS 187517 WITH SCORE 187890.452
AT ITER 6299 NEW BEST:: SOT 824548 SOS 373088 HAS SOPS 361945 HAS SOUS 189003 HAS SOUPS 187419 WITH SCORE 187792.088
AT ITER 6302 NEW BEST:: SOT 824536 SOS 372902 HAS SOPS 361759 HAS SOUS 189003 HAS SOUPS 187419 WITH SCORE 187791.902
AT ITER 6303 NEW BEST:: SOT 824680 SOS 372317 HAS SOPS 361174 HAS SOUS 188729 HAS SOUPS 187145 WITH SCORE 187517.317
AT ITER 6309 NEW BEST:: SOT 824618 SOS 372290 HAS SOPS 361147 HAS SOUS 188605 HAS SOUPS 187021 WITH SCORE 187393.29
AT ITER 6314 NEW BEST:: SOT 824058 SOS 372470 HAS SOPS 361327 HAS SOUS 188537 HAS SOUPS 186953 WITH SCORE 187325.47
AT ITER 6320 NEW BEST:: SOT 824054 SOS 372466 HAS SOPS 361323 HAS SOUS 188527 HAS SOUPS 186943 WITH SCORE 187315.466
AT ITER 6340 NEW BEST:: SOT 824012 SOS 372378 HAS SOPS 361235 HAS SOUS 188523 HAS SOUPS 186939 WITH SCORE 187311.378
AT ITER 6341 NEW BEST:: SOT 824012 SOS 372476 HAS SOPS 361333 HAS SOUS 188479 HAS SOUPS 186895 WITH SCORE 187267.476
AT ITER 6349 NEW BEST:: SOT 824010 SOS 372467 HAS SOPS 361324 HAS SOUS 188468 HAS SOUPS 186884 WITH SCORE 187256.467
AT ITER 6366 NEW BEST:: SOT 823993 SOS 372382 HAS SOPS 361239 HAS SOUS 188451 HAS SOUPS 186867 WITH SCORE 187239.382
AT ITER 6374 NEW BEST:: SOT 823985 SOS 372366 HAS SOPS 361223 HAS SOUS 188443 HAS SOUPS 186859 WITH SCORE 187231.366
AT ITER 6383 NEW BEST:: SOT 823856 SOS 372299 HAS SOPS 361207 HAS SOUS 188315 HAS SOUPS 186731 WITH SCORE 187103.299
AT ITER 6393 NEW BEST:: SOT 823847 SOS 372281 HAS SOPS 361189 HAS SOUS 188297 HAS SOUPS 186713 WITH SCORE 187085.281
AT ITER 6410 NEW BEST:: SOT 823760 SOS 371974 HAS SOPS 360882 HAS SOUS 188194 HAS SOUPS 186610 WITH SCORE 186981.974
AT ITER 6421 NEW BEST:: SOT 823666 SOS 368989 HAS SOPS 357897 HAS SOUS 188137 HAS SOUPS 186553 WITH SCORE 186921.989
AT ITER 6437 NEW BEST:: SOT 823666 SOS 369019 HAS SOPS 357927 HAS SOUS 188129 HAS SOUPS 186545 WITH SCORE 186914.019
AT ITER 6457 NEW BEST:: SOT 823651 SOS 369071 HAS SOPS 357979 HAS SOUS 187962 HAS SOUPS 186378 WITH SCORE 186747.071
AT ITER 6494 NEW BEST:: SOT 823617 SOS 368969 HAS SOPS 357877 HAS SOUS 187928 HAS SOUPS 186344 WITH SCORE 186712.969
AT ITER 6505 NEW BEST:: SOT 823614 SOS 368963 HAS SOPS 357871 HAS SOUS 187925 HAS SOUPS 186341 WITH SCORE 186709.963
AT ITER 6523 NEW BEST:: SOT 823575 SOS 368885 HAS SOPS 357793 HAS SOUS 187923 HAS SOUPS 186339 WITH SCORE 186707.885
AT ITER 6533 NEW BEST:: SOT 823575 SOS 368922 HAS SOPS 357830 HAS SOUS 187886 HAS SOUPS 186302 WITH SCORE 186670.922
AT ITER 6556 NEW BEST:: SOT 823503 SOS 368850 HAS SOPS 357753 HAS SOUS 187833 HAS SOUPS 186249 WITH SCORE 186617.85
AT ITER 6573 NEW BEST:: SOT 822689 SOS 368036 HAS SOPS 356939 HAS SOUS 187755 HAS SOUPS 186171 WITH SCORE 186539.036
AT ITER 6578 NEW BEST:: SOT 822661 SOS 368008 HAS SOPS 356911 HAS SOUS 187705 HAS SOUPS 186121 WITH SCORE 186489.008
AT ITER 6580 NEW BEST:: SOT 822661 SOS 368057 HAS SOPS 356960 HAS SOUS 187502 HAS SOUPS 185918 WITH SCORE 186286.057
AT ITER 6583 NEW BEST:: SOT 822392 SOS 367788 HAS SOPS 356543 HAS SOUS 187030 HAS SOUPS 185446 WITH SCORE 185813.788
AT ITER 6608 NEW BEST:: SOT 822340 SOS 367847 HAS SOPS 356602 HAS SOUS 186923 HAS SOUPS 185339 WITH SCORE 185706.847
AT ITER 6619 NEW BEST:: SOT 822331 SOS 367836 HAS SOPS 356591 HAS SOUS 186921 HAS SOUPS 185337 WITH SCORE 185704.836
AT ITER 6660 NEW BEST:: SOT 822317 SOS 367853 HAS SOPS 356608 HAS SOUS 186893 HAS SOUPS 185309 WITH SCORE 185676.853
AT ITER 6674 NEW BEST:: SOT 822671 SOS 368207 HAS SOPS 356962 HAS SOUS 186879 HAS SOUPS 185295 WITH SCORE 185663.207
AT ITER 6692 NEW BEST:: SOT 822612 SOS 368148 HAS SOPS 356903 HAS SOUS 186820 HAS SOUPS 185236 WITH SCORE 185604.148
AT ITER 6693 NEW BEST:: SOT 822833 SOS 368419 HAS SOPS 357174 HAS SOUS 186752 HAS SOUPS 185168 WITH SCORE 185536.419
AT ITER 6704 NEW BEST:: SOT 822821 SOS 368407 HAS SOPS 357161 HAS SOUS 186735 HAS SOUPS 185150 WITH SCORE 185518.407
AT ITER 6705 NEW BEST:: SOT 822821 SOS 368402 HAS SOPS 357156 HAS SOUS 186715 HAS SOUPS 185130 WITH SCORE 185498.402
AT ITER 6713 NEW BEST:: SOT 822821 SOS 368390 HAS SOPS 357144 HAS SOUS 186700 HAS SOUPS 185115 WITH SCORE 185483.39
AT ITER 6718 NEW BEST:: SOT 822804 SOS 368364 HAS SOPS 357118 HAS SOUS 186666 HAS SOUPS 185081 WITH SCORE 185449.364
AT ITER 6755 NEW BEST:: SOT 822804 SOS 368336 HAS SOPS 357090 HAS SOUS 186635 HAS SOUPS 185050 WITH SCORE 185418.336
AT ITER 6783 NEW BEST:: SOT 822703 SOS 368235 HAS SOPS 357021 HAS SOUS 186509 HAS SOUPS 184924 WITH SCORE 185292.235
AT ITER 6788 NEW BEST:: SOT 822592 SOS 367933 HAS SOPS 356719 HAS SOUS 186155 HAS SOUPS 184570 WITH SCORE 184937.933
AT ITER 6798 NEW BEST:: SOT 822463 SOS 367880 HAS SOPS 356666 HAS SOUS 186102 HAS SOUPS 184517 WITH SCORE 184884.88
AT ITER 6800 NEW BEST:: SOT 822463 SOS 367815 HAS SOPS 356601 HAS SOUS 185817 HAS SOUPS 184232 WITH SCORE 184599.815
AT ITER 6810 NEW BEST:: SOT 822532 SOS 368504 HAS SOPS 357290 HAS SOUS 185804 HAS SOUPS 184219 WITH SCORE 184587.504
AT ITER 6818 NEW BEST:: SOT 821735 SOS 368190 HAS SOPS 356976 HAS SOUS 185752 HAS SOUPS 184167 WITH SCORE 184535.19
AT ITER 6830 NEW BEST:: SOT 821729 SOS 368178 HAS SOPS 356964 HAS SOUS 185746 HAS SOUPS 184161 WITH SCORE 184529.178
AT ITER 6841 NEW BEST:: SOT 820900 SOS 367094 HAS SOPS 355880 HAS SOUS 184970 HAS SOUPS 183385 WITH SCORE 183752.094
AT ITER 6865 NEW BEST:: SOT 820889 SOS 367094 HAS SOPS 355880 HAS SOUS 184948 HAS SOUPS 183363 WITH SCORE 183730.094
AT ITER 6870 NEW BEST:: SOT 820947 SOS 367093 HAS SOPS 355879 HAS SOUS 184866 HAS SOUPS 183281 WITH SCORE 183648.093
AT ITER 6873 NEW BEST:: SOT 820647 SOS 366783 HAS SOPS 355569 HAS SOUS 184716 HAS SOUPS 183131 WITH SCORE 183497.783
AT ITER 6887 NEW BEST:: SOT 820560 SOS 366351 HAS SOPS 355137 HAS SOUS 184499 HAS SOUPS 182914 WITH SCORE 183280.351
AT ITER 6910 NEW BEST:: SOT 820469 SOS 366295 HAS SOPS 355081 HAS SOUS 184486 HAS SOUPS 182901 WITH SCORE 183267.295
AT ITER 6915 NEW BEST:: SOT 820255 SOS 365783 HAS SOPS 354569 HAS SOUS 184207 HAS SOUPS 182622 WITH SCORE 182987.783
AT ITER 6918 NEW BEST:: SOT 820270 SOS 365746 HAS SOPS 354532 HAS SOUS 184138 HAS SOUPS 182553 WITH SCORE 182918.746
AT ITER 6919 NEW BEST:: SOT 820260 SOS 365726 HAS SOPS 354512 HAS SOUS 184118 HAS SOUPS 182533 WITH SCORE 182898.726
AT ITER 6930 NEW BEST:: SOT 820250 SOS 365674 HAS SOPS 354460 HAS SOUS 184112 HAS SOUPS 182527 WITH SCORE 182892.674
AT ITER 6954 NEW BEST:: SOT 820249 SOS 365672 HAS SOPS 354458 HAS SOUS 184110 HAS SOUPS 182525 WITH SCORE 182890.672
AT ITER 6973 NEW BEST:: SOT 820091 SOS 365607 HAS SOPS 354385 HAS SOUS 183944 HAS SOUPS 182359 WITH SCORE 182724.607
AT ITER 6998 NEW BEST:: SOT 820089 SOS 365605 HAS SOPS 354383 HAS SOUS 183940 HAS SOUPS 182355 WITH SCORE 182720.605
AT ITER 7026 NEW BEST:: SOT 819990 SOS 365506 HAS SOPS 354356 HAS SOUS 183913 HAS SOUPS 182328 WITH SCORE 182693.506
AT ITER 7061 NEW BEST:: SOT 819970 SOS 365493 HAS SOPS 354343 HAS SOUS 183873 HAS SOUPS 182288 WITH SCORE 182653.493
AT ITER 7067 NEW BEST:: SOT 819963 SOS 365486 HAS SOPS 354336 HAS SOUS 183866 HAS SOUPS 182281 WITH SCORE 182646.486
AT ITER 7093 NEW BEST:: SOT 819943 SOS 365811 HAS SOPS 354661 HAS SOUS 183800 HAS SOUPS 182215 WITH SCORE 182580.811
AT ITER 7106 NEW BEST:: SOT 819943 SOS 365796 HAS SOPS 354646 HAS SOUS 183786 HAS SOUPS 182201 WITH SCORE 182566.796
AT ITER 7109 NEW BEST:: SOT 819771 SOS 365331 HAS SOPS 354181 HAS SOUS 183586 HAS SOUPS 182001 WITH SCORE 182366.331
AT ITER 7110 NEW BEST:: SOT 819731 SOS 365291 HAS SOPS 354179 HAS SOUS 183577 HAS SOUPS 181992 WITH SCORE 182357.291
AT ITER 7140 NEW BEST:: SOT 819716 SOS 365276 HAS SOPS 354164 HAS SOUS 183532 HAS SOUPS 181947 WITH SCORE 182312.276
AT ITER 7143 NEW BEST:: SOT 819557 SOS 364792 HAS SOPS 353680 HAS SOUS 183415 HAS SOUPS 181830 WITH SCORE 182194.792
AT ITER 7154 NEW BEST:: SOT 819408 SOS 364520 HAS SOPS 353408 HAS SOUS 183252 HAS SOUPS 181667 WITH SCORE 182031.52
AT ITER 7177 NEW BEST:: SOT 819300 SOS 364162 HAS SOPS 353050 HAS SOUS 183043 HAS SOUPS 181458 WITH SCORE 181822.162
AT ITER 7183 NEW BEST:: SOT 819300 SOS 364649 HAS SOPS 353537 HAS SOUS 182796 HAS SOUPS 181211 WITH SCORE 181575.649
AT ITER 7247 NEW BEST:: SOT 819279 SOS 364576 HAS SOPS 353464 HAS SOUS 182775 HAS SOUPS 181190 WITH SCORE 181554.576
AT ITER 7248 NEW BEST:: SOT 819069 SOS 364310 HAS SOPS 353198 HAS SOUS 182509 HAS SOUPS 180924 WITH SCORE 181288.31
AT ITER 7297 NEW BEST:: SOT 819038 SOS 364248 HAS SOPS 353136 HAS SOUS 182447 HAS SOUPS 180862 WITH SCORE 181226.248
AT ITER 7317 NEW BEST:: SOT 819036 SOS 364345 HAS SOPS 353233 HAS SOUS 182443 HAS SOUPS 180858 WITH SCORE 181222.345
AT ITER 7327 NEW BEST:: SOT 819008 SOS 364229 HAS SOPS 353117 HAS SOUS 182350 HAS SOUPS 180765 WITH SCORE 181129.229
AT ITER 7331 NEW BEST:: SOT 818971 SOS 364192 HAS SOPS 353006 HAS SOUS 182350 HAS SOUPS 180765 WITH SCORE 181129.192
AT ITER 7334 NEW BEST:: SOT 818824 SOS 364045 HAS SOPS 352859 HAS SOUS 182056 HAS SOUPS 180471 WITH SCORE 180835.045
AT ITER 7339 NEW BEST:: SOT 818192 SOS 365863 HAS SOPS 354677 HAS SOUS 181988 HAS SOUPS 180403 WITH SCORE 180768.863
AT ITER 7362 NEW BEST:: SOT 817485 SOS 365675 HAS SOPS 354489 HAS SOUS 181377 HAS SOUPS 179792 WITH SCORE 180157.675
AT ITER 7390 NEW BEST:: SOT 817468 SOS 365621 HAS SOPS 354435 HAS SOUS 181349 HAS SOUPS 179764 WITH SCORE 180129.621
AT ITER 7420 NEW BEST:: SOT 817468 SOS 365616 HAS SOPS 354430 HAS SOUS 181349 HAS SOUPS 179764 WITH SCORE 180129.616
AT ITER 7424 NEW BEST:: SOT 817534 SOS 365697 HAS SOPS 354511 HAS SOUS 181126 HAS SOUPS 179541 WITH SCORE 179906.697
AT ITER 7432 NEW BEST:: SOT 817513 SOS 365676 HAS SOPS 354490 HAS SOUS 181084 HAS SOUPS 179499 WITH SCORE 179864.676
AT ITER 7447 NEW BEST:: SOT 817212 SOS 364808 HAS SOPS 353622 HAS SOUS 180847 HAS SOUPS 179262 WITH SCORE 179626.808
AT ITER 7458 NEW BEST:: SOT 817320 SOS 364916 HAS SOPS 353730 HAS SOUS 180799 HAS SOUPS 179214 WITH SCORE 179578.916
AT ITER 7469 NEW BEST:: SOT 817320 SOS 364943 HAS SOPS 353757 HAS SOUS 180777 HAS SOUPS 179192 WITH SCORE 179556.943
AT ITER 7471 NEW BEST:: SOT 817320 SOS 364928 HAS SOPS 353742 HAS SOUS 180747 HAS SOUPS 179162 WITH SCORE 179526.928
AT ITER 7482 NEW BEST:: SOT 817310 SOS 364918 HAS SOPS 353732 HAS SOUS 180737 HAS SOUPS 179152 WITH SCORE 179516.918
AT ITER 7493 NEW BEST:: SOT 817145 SOS 364705 HAS SOPS 353519 HAS SOUS 180471 HAS SOUPS 178886 WITH SCORE 179250.705
AT ITER 7509 NEW BEST:: SOT 817127 SOS 364671 HAS SOPS 353485 HAS SOUS 180435 HAS SOUPS 178850 WITH SCORE 179214.671
AT ITER 7510 NEW BEST:: SOT 817006 SOS 364550 HAS SOPS 353364 HAS SOUS 180205 HAS SOUPS 178620 WITH SCORE 178984.55
AT ITER 7534 NEW BEST:: SOT 816982 SOS 364526 HAS SOPS 353355 HAS SOUS 180157 HAS SOUPS 178572 WITH SCORE 178936.526
AT ITER 7557 NEW BEST:: SOT 816972 SOS 364516 HAS SOPS 353350 HAS SOUS 180147 HAS SOUPS 178562 WITH SCORE 178926.516
AT ITER 7558 NEW BEST:: SOT 816978 SOS 364489 HAS SOPS 353323 HAS SOUS 180138 HAS SOUPS 178553 WITH SCORE 178917.489
AT ITER 7586 NEW BEST:: SOT 816868 SOS 364252 HAS SOPS 353086 HAS SOUS 179901 HAS SOUPS 178316 WITH SCORE 178680.252
AT ITER 7621 NEW BEST:: SOT 816852 SOS 364236 HAS SOPS 353070 HAS SOUS 179869 HAS SOUPS 178284 WITH SCORE 178648.236
AT ITER 7644 NEW BEST:: SOT 816739 SOS 364017 HAS SOPS 352851 HAS SOUS 179650 HAS SOUPS 178065 WITH SCORE 178429.017
AT ITER 7680 NEW BEST:: SOT 816686 SOS 363964 HAS SOPS 352798 HAS SOUS 179544 HAS SOUPS 177959 WITH SCORE 178322.964
AT ITER 7705 NEW BEST:: SOT 816543 SOS 363821 HAS SOPS 352655 HAS SOUS 179400 HAS SOUPS 177815 WITH SCORE 178178.821
AT ITER 7727 NEW BEST:: SOT 816484 SOS 363727 HAS SOPS 352561 HAS SOUS 179306 HAS SOUPS 177721 WITH SCORE 178084.727
AT ITER 7742 NEW BEST:: SOT 816632 SOS 364318 HAS SOPS 353152 HAS SOUS 179200 HAS SOUPS 177615 WITH SCORE 177979.318
AT ITER 7757 NEW BEST:: SOT 816581 SOS 364267 HAS SOPS 353101 HAS SOUS 179154 HAS SOUPS 177569 WITH SCORE 177933.267
AT ITER 7766 NEW BEST:: SOT 816580 SOS 364266 HAS SOPS 353099 HAS SOUS 179152 HAS SOUPS 177567 WITH SCORE 177931.266
AT ITER 7787 NEW BEST:: SOT 816506 SOS 364192 HAS SOPS 353025 HAS SOUS 179078 HAS SOUPS 177493 WITH SCORE 177857.192
AT ITER 7830 NEW BEST:: SOT 816418 SOS 364165 HAS SOPS 352998 HAS SOUS 178902 HAS SOUPS 177317 WITH SCORE 177681.165
AT ITER 7844 NEW BEST:: SOT 816436 SOS 364550 HAS SOPS 353383 HAS SOUS 178888 HAS SOUPS 177303 WITH SCORE 177667.55
AT ITER 7866 NEW BEST:: SOT 816419 SOS 364533 HAS SOPS 353405 HAS SOUS 178884 HAS SOUPS 177299 WITH SCORE 177663.533
AT ITER 7877 NEW BEST:: SOT 815202 SOS 364486 HAS SOPS 353358 HAS SOUS 178777 HAS SOUPS 177192 WITH SCORE 177556.486
AT ITER 7896 NEW BEST:: SOT 814915 SOS 363988 HAS SOPS 352860 HAS SOUS 178340 HAS SOUPS 176755 WITH SCORE 177118.988
AT ITER 7898 NEW BEST:: SOT 814915 SOS 363988 HAS SOPS 352860 HAS SOUS 178257 HAS SOUPS 176672 WITH SCORE 177035.988
AT ITER 7934 NEW BEST:: SOT 814915 SOS 363929 HAS SOPS 352801 HAS SOUS 178257 HAS SOUPS 176672 WITH SCORE 177035.929
AT ITER 7935 NEW BEST:: SOT 814909 SOS 363923 HAS SOPS 352795 HAS SOUS 178245 HAS SOUPS 176660 WITH SCORE 177023.923
AT ITER 7939 NEW BEST:: SOT 814883 SOS 363859 HAS SOPS 352731 HAS SOUS 178197 HAS SOUPS 176612 WITH SCORE 176975.859
AT ITER 7942 NEW BEST:: SOT 814888 SOS 363434 HAS SOPS 352306 HAS SOUS 178159 HAS SOUPS 176574 WITH SCORE 176937.434
AT ITER 7945 NEW BEST:: SOT 814877 SOS 363485 HAS SOPS 352357 HAS SOUS 178158 HAS SOUPS 176573 WITH SCORE 176936.485
AT ITER 7987 NEW BEST:: SOT 815312 SOS 361470 HAS SOPS 350342 HAS SOUS 177991 HAS SOUPS 176406 WITH SCORE 176767.47
AT ITER 7992 NEW BEST:: SOT 815306 SOS 361461 HAS SOPS 350333 HAS SOUS 177973 HAS SOUPS 176388 WITH SCORE 176749.461
AT ITER 7994 NEW BEST:: SOT 815478 SOS 361954 HAS SOPS 350826 HAS SOUS 177959 HAS SOUPS 176374 WITH SCORE 176735.954
AT ITER 8008 NEW BEST:: SOT 815481 SOS 361939 HAS SOPS 350811 HAS SOUS 177944 HAS SOUPS 176359 WITH SCORE 176720.939
AT ITER 8023 NEW BEST:: SOT 815481 SOS 361917 HAS SOPS 350789 HAS SOUS 177944 HAS SOUPS 176359 WITH SCORE 176720.917
AT ITER 8043 NEW BEST:: SOT 815129 SOS 361565 HAS SOPS 350437 HAS SOUS 177743 HAS SOUPS 176158 WITH SCORE 176519.565
AT ITER 8051 NEW BEST:: SOT 815127 SOS 361593 HAS SOPS 350450 HAS SOUS 177743 HAS SOUPS 176152 WITH SCORE 176513.593
AT ITER 8065 NEW BEST:: SOT 815104 SOS 361570 HAS SOPS 350427 HAS SOUS 177690 HAS SOUPS 176099 WITH SCORE 176460.57
AT ITER 8093 NEW BEST:: SOT 814744 SOS 360599 HAS SOPS 349456 HAS SOUS 177249 HAS SOUPS 175658 WITH SCORE 176018.599
AT ITER 8133 NEW BEST:: SOT 814744 SOS 360630 HAS SOPS 349487 HAS SOUS 177209 HAS SOUPS 175618 WITH SCORE 175978.63
AT ITER 8135 NEW BEST:: SOT 814101 SOS 361273 HAS SOPS 350130 HAS SOUS 177113 HAS SOUPS 175522 WITH SCORE 175883.273
AT ITER 8146 NEW BEST:: SOT 814054 SOS 361273 HAS SOPS 350130 HAS SOUS 177069 HAS SOUPS 175478 WITH SCORE 175839.273
AT ITER 8150 NEW BEST:: SOT 814179 SOS 361541 HAS SOPS 350398 HAS SOUS 176915 HAS SOUPS 175324 WITH SCORE 175685.541
AT ITER 8165 NEW BEST:: SOT 814176 SOS 361538 HAS SOPS 350395 HAS SOUS 176912 HAS SOUPS 175321 WITH SCORE 175682.538
AT ITER 8206 NEW BEST:: SOT 814165 SOS 361538 HAS SOPS 350395 HAS SOUS 176890 HAS SOUPS 175299 WITH SCORE 175660.538
AT ITER 8207 NEW BEST:: SOT 814164 SOS 361532 HAS SOPS 350389 HAS SOUS 176888 HAS SOUPS 175297 WITH SCORE 175658.532
AT ITER 8212 NEW BEST:: SOT 814156 SOS 361428 HAS SOPS 350285 HAS SOUS 176864 HAS SOUPS 175273 WITH SCORE 175634.428
AT ITER 8224 NEW BEST:: SOT 814355 SOS 361490 HAS SOPS 350347 HAS SOUS 176852 HAS SOUPS 175261 WITH SCORE 175622.49
AT ITER 8241 NEW BEST:: SOT 814316 SOS 361411 HAS SOPS 350268 HAS SOUS 176732 HAS SOUPS 175141 WITH SCORE 175502.411
AT ITER 8260 NEW BEST:: SOT 814303 SOS 361398 HAS SOPS 350255 HAS SOUS 176717 HAS SOUPS 175126 WITH SCORE 175487.398
AT ITER 8271 NEW BEST:: SOT 814250 SOS 361345 HAS SOPS 350202 HAS SOUS 176681 HAS SOUPS 175090 WITH SCORE 175451.345
AT ITER 8275 NEW BEST:: SOT 814318 SOS 361300 HAS SOPS 350157 HAS SOUS 176636 HAS SOUPS 175045 WITH SCORE 175406.3
AT ITER 8285 NEW BEST:: SOT 814311 SOS 361283 HAS SOPS 350140 HAS SOUS 176589 HAS SOUPS 174998 WITH SCORE 175359.283
AT ITER 8291 NEW BEST:: SOT 814207 SOS 361291 HAS SOPS 350148 HAS SOUS 176426 HAS SOUPS 174835 WITH SCORE 175196.291
AT ITER 8310 NEW BEST:: SOT 813988 SOS 361199 HAS SOPS 350056 HAS SOUS 176115 HAS SOUPS 174524 WITH SCORE 174885.199
AT ITER 8358 NEW BEST:: SOT 813879 SOS 361169 HAS SOPS 350026 HAS SOUS 176035 HAS SOUPS 174444 WITH SCORE 174805.169
AT ITER 8382 NEW BEST:: SOT 813879 SOS 361177 HAS SOPS 350034 HAS SOUS 176019 HAS SOUPS 174428 WITH SCORE 174789.177
AT ITER 8394 NEW BEST:: SOT 813880 SOS 361238 HAS SOPS 350095 HAS SOUS 175991 HAS SOUPS 174400 WITH SCORE 174761.238
AT ITER 8396 NEW BEST:: SOT 813793 SOS 361340 HAS SOPS 350197 HAS SOUS 175985 HAS SOUPS 174394 WITH SCORE 174755.34
AT ITER 8397 NEW BEST:: SOT 813785 SOS 361324 HAS SOPS 350181 HAS SOUS 175969 HAS SOUPS 174378 WITH SCORE 174739.324
AT ITER 8424 NEW BEST:: SOT 813779 SOS 361529 HAS SOPS 350386 HAS SOUS 175904 HAS SOUPS 174313 WITH SCORE 174674.529
AT ITER 8425 NEW BEST:: SOT 813769 SOS 361536 HAS SOPS 350393 HAS SOUS 175900 HAS SOUPS 174309 WITH SCORE 174670.536
AT ITER 8452 NEW BEST:: SOT 813593 SOS 361219 HAS SOPS 350076 HAS SOUS 175693 HAS SOUPS 174102 WITH SCORE 174463.219
AT ITER 8456 NEW BEST:: SOT 813593 SOS 361212 HAS SOPS 350062 HAS SOUS 175693 HAS SOUPS 174102 WITH SCORE 174463.212
AT ITER 8478 NEW BEST:: SOT 812036 SOS 361545 HAS SOPS 350395 HAS SOUS 174653 HAS SOUPS 173062 WITH SCORE 173423.545
AT ITER 8484 NEW BEST:: SOT 811924 SOS 361364 HAS SOPS 350214 HAS SOUS 174472 HAS SOUPS 172881 WITH SCORE 173242.364
AT ITER 8507 NEW BEST:: SOT 811915 SOS 361286 HAS SOPS 350136 HAS SOUS 174453 HAS SOUPS 172862 WITH SCORE 173223.286
AT ITER 8529 NEW BEST:: SOT 811915 SOS 361230 HAS SOPS 350080 HAS SOUS 174441 HAS SOUPS 172850 WITH SCORE 173211.23
AT ITER 8562 NEW BEST:: SOT 811356 SOS 360807 HAS SOPS 349657 HAS SOUS 174026 HAS SOUPS 172435 WITH SCORE 172795.807
AT ITER 8567 NEW BEST:: SOT 811318 SOS 359724 HAS SOPS 348574 HAS SOUS 173950 HAS SOUPS 172359 WITH SCORE 172718.724
AT ITER 8574 NEW BEST:: SOT 811185 SOS 359518 HAS SOPS 348368 HAS SOUS 173762 HAS SOUPS 172171 WITH SCORE 172530.518
AT ITER 8584 NEW BEST:: SOT 811166 SOS 359499 HAS SOPS 348330 HAS SOUS 173724 HAS SOUPS 172133 WITH SCORE 172492.499
AT ITER 8624 NEW BEST:: SOT 811143 SOS 359384 HAS SOPS 348215 HAS SOUS 173724 HAS SOUPS 172133 WITH SCORE 172492.384
AT ITER 8630 NEW BEST:: SOT 811122 SOS 359363 HAS SOPS 348176 HAS SOUS 173700 HAS SOUPS 172109 WITH SCORE 172468.363
AT ITER 8631 NEW BEST:: SOT 811090 SOS 359385 HAS SOPS 348198 HAS SOUS 173676 HAS SOUPS 172085 WITH SCORE 172444.385
AT ITER 8632 NEW BEST:: SOT 811146 SOS 359639 HAS SOPS 348452 HAS SOUS 173659 HAS SOUPS 172068 WITH SCORE 172427.639
AT ITER 8635 NEW BEST:: SOT 811056 SOS 359549 HAS SOPS 348362 HAS SOUS 173479 HAS SOUPS 171888 WITH SCORE 172247.549
AT ITER 8650 NEW BEST:: SOT 810991 SOS 359489 HAS SOPS 348302 HAS SOUS 173434 HAS SOUPS 171843 WITH SCORE 172202.489
AT ITER 8661 NEW BEST:: SOT 811022 SOS 359522 HAS SOPS 348335 HAS SOUS 173294 HAS SOUPS 171703 WITH SCORE 172062.522
AT ITER 8671 NEW BEST:: SOT 810696 SOS 359290 HAS SOPS 348103 HAS SOUS 172637 HAS SOUPS 171046 WITH SCORE 171405.29
AT ITER 8677 NEW BEST:: SOT 810692 SOS 359286 HAS SOPS 348099 HAS SOUS 172625 HAS SOUPS 171034 WITH SCORE 171393.286
AT ITER 8693 NEW BEST:: SOT 810678 SOS 359118 HAS SOPS 347895 HAS SOUS 172533 HAS SOUPS 170942 WITH SCORE 171301.118
AT ITER 8699 NEW BEST:: SOT 810650 SOS 359090 HAS SOPS 347867 HAS SOUS 172520 HAS SOUPS 170929 WITH SCORE 171288.09
AT ITER 8700 NEW BEST:: SOT 810729 SOS 359200 HAS SOPS 347977 HAS SOUS 172479 HAS SOUPS 170888 WITH SCORE 171247.2
AT ITER 8743 NEW BEST:: SOT 810564 SOS 358898 HAS SOPS 347675 HAS SOUS 172059 HAS SOUPS 170468 WITH SCORE 170826.898
AT ITER 8817 NEW BEST:: SOT 810568 SOS 358880 HAS SOPS 347657 HAS SOUS 171997 HAS SOUPS 170406 WITH SCORE 170764.88
AT ITER 8823 NEW BEST:: SOT 810394 SOS 358706 HAS SOPS 347483 HAS SOUS 171713 HAS SOUPS 170122 WITH SCORE 170480.706
AT ITER 8825 NEW BEST:: SOT 810393 SOS 358708 HAS SOPS 347485 HAS SOUS 171710 HAS SOUPS 170119 WITH SCORE 170477.708
AT ITER 8846 NEW BEST:: SOT 810395 SOS 358690 HAS SOPS 347467 HAS SOUS 171710 HAS SOUPS 170119 WITH SCORE 170477.69
AT ITER 8869 NEW BEST:: SOT 810169 SOS 358436 HAS SOPS 347213 HAS SOUS 171627 HAS SOUPS 170036 WITH SCORE 170394.436
AT ITER 8877 NEW BEST:: SOT 810143 SOS 358410 HAS SOPS 347187 HAS SOUS 171575 HAS SOUPS 169984 WITH SCORE 170342.41
AT ITER 8924 NEW BEST:: SOT 810143 SOS 358252 HAS SOPS 347029 HAS SOUS 171575 HAS SOUPS 169984 WITH SCORE 170342.252
AT ITER 8934 NEW BEST:: SOT 810337 SOS 358454 HAS SOPS 347231 HAS SOUS 171527 HAS SOUPS 169936 WITH SCORE 170294.454
AT ITER 8964 NEW BEST:: SOT 810317 SOS 357714 HAS SOPS 346491 HAS SOUS 171527 HAS SOUPS 169936 WITH SCORE 170293.714
AT ITER 9007 NEW BEST:: SOT 810151 SOS 357001 HAS SOPS 345778 HAS SOUS 171373 HAS SOUPS 169782 WITH SCORE 170139.001
AT ITER 9016 NEW BEST:: SOT 810146 SOS 356988 HAS SOPS 345765 HAS SOUS 171363 HAS SOUPS 169772 WITH SCORE 170128.988
AT ITER 9035 NEW BEST:: SOT 809629 SOS 356809 HAS SOPS 345586 HAS SOUS 170978 HAS SOUPS 169387 WITH SCORE 169743.809
AT ITER 9040 NEW BEST:: SOT 809625 SOS 356751 HAS SOPS 345528 HAS SOUS 170970 HAS SOUPS 169379 WITH SCORE 169735.751
AT ITER 9043 NEW BEST:: SOT 809625 SOS 356751 HAS SOPS 345528 HAS SOUS 170946 HAS SOUPS 169355 WITH SCORE 169711.751
AT ITER 9046 NEW BEST:: SOT 809608 SOS 356648 HAS SOPS 345425 HAS SOUS 170941 HAS SOUPS 169350 WITH SCORE 169706.648
AT ITER 9092 NEW BEST:: SOT 809375 SOS 356415 HAS SOPS 345192 HAS SOUS 170657 HAS SOUPS 169066 WITH SCORE 169422.415
AT ITER 9093 NEW BEST:: SOT 809576 SOS 360276 HAS SOPS 349053 HAS SOUS 170633 HAS SOUPS 169042 WITH SCORE 169402.276
AT ITER 9116 NEW BEST:: SOT 809576 SOS 360276 HAS SOPS 349053 HAS SOUS 170624 HAS SOUPS 169033 WITH SCORE 169393.276
AT ITER 9131 NEW BEST:: SOT 809592 SOS 360292 HAS SOPS 349069 HAS SOUS 170620 HAS SOUPS 169029 WITH SCORE 169389.292
AT ITER 9140 NEW BEST:: SOT 809506 SOS 360264 HAS SOPS 349041 HAS SOUS 170564 HAS SOUPS 168973 WITH SCORE 169333.264
AT ITER 9146 NEW BEST:: SOT 809222 SOS 359907 HAS SOPS 348684 HAS SOUS 170532 HAS SOUPS 168941 WITH SCORE 169300.907
AT ITER 9152 NEW BEST:: SOT 808973 SOS 359740 HAS SOPS 348517 HAS SOUS 170478 HAS SOUPS 168887 WITH SCORE 169246.74
AT ITER 9163 NEW BEST:: SOT 808962 SOS 359729 HAS SOPS 348506 HAS SOUS 170456 HAS SOUPS 168865 WITH SCORE 169224.729
AT ITER 9177 NEW BEST:: SOT 808971 SOS 359644 HAS SOPS 348421 HAS SOUS 170333 HAS SOUPS 168742 WITH SCORE 169101.644
AT ITER 9184 NEW BEST:: SOT 808941 SOS 359603 HAS SOPS 348380 HAS SOUS 170295 HAS SOUPS 168704 WITH SCORE 169063.603
AT ITER 9220 NEW BEST:: SOT 808863 SOS 359525 HAS SOPS 348302 HAS SOUS 170187 HAS SOUPS 168596 WITH SCORE 168955.525
AT ITER 9232 NEW BEST:: SOT 808804 SOS 359434 HAS SOPS 348211 HAS SOUS 170112 HAS SOUPS 168521 WITH SCORE 168880.434
AT ITER 9256 NEW BEST:: SOT 808775 SOS 359405 HAS SOPS 348182 HAS SOUS 170026 HAS SOUPS 168435 WITH SCORE 168794.405
AT ITER 9294 NEW BEST:: SOT 808764 SOS 359383 HAS SOPS 348160 HAS SOUS 170004 HAS SOUPS 168413 WITH SCORE 168772.383
AT ITER 9300 NEW BEST:: SOT 808736 SOS 359355 HAS SOPS 348132 HAS SOUS 169976 HAS SOUPS 168385 WITH SCORE 168744.355
AT ITER 9326 NEW BEST:: SOT 808736 SOS 359349 HAS SOPS 348126 HAS SOUS 169970 HAS SOUPS 168379 WITH SCORE 168738.349
AT ITER 9332 NEW BEST:: SOT 808193 SOS 359051 HAS SOPS 347618 HAS SOUS 169817 HAS SOUPS 168205 WITH SCORE 168564.051
AT ITER 9333 NEW BEST:: SOT 808227 SOS 359383 HAS SOPS 347950 HAS SOUS 169717 HAS SOUPS 168105 WITH SCORE 168464.383
AT ITER 9350 NEW BEST:: SOT 808205 SOS 359412 HAS SOPS 347979 HAS SOUS 169711 HAS SOUPS 168099 WITH SCORE 168458.412
AT ITER 9355 NEW BEST:: SOT 808178 SOS 359385 HAS SOPS 347952 HAS SOUS 169630 HAS SOUPS 168018 WITH SCORE 168377.385
AT ITER 9361 NEW BEST:: SOT 808144 SOS 359283 HAS SOPS 347850 HAS SOUS 169528 HAS SOUPS 167916 WITH SCORE 168275.283
AT ITER 9383 NEW BEST:: SOT 807695 SOS 356600 HAS SOPS 345167 HAS SOUS 168918 HAS SOUPS 167306 WITH SCORE 167662.6
AT ITER 9405 NEW BEST:: SOT 807456 SOS 356150 HAS SOPS 344717 HAS SOUS 168834 HAS SOUPS 167222 WITH SCORE 167578.15
AT ITER 9406 NEW BEST:: SOT 807254 SOS 356087 HAS SOPS 344654 HAS SOUS 168715 HAS SOUPS 167103 WITH SCORE 167459.087
AT ITER 9409 NEW BEST:: SOT 807254 SOS 356087 HAS SOPS 344612 HAS SOUS 168595 HAS SOUPS 166983 WITH SCORE 167339.087
AT ITER 9421 NEW BEST:: SOT 807149 SOS 355877 HAS SOPS 344402 HAS SOUS 168420 HAS SOUPS 166808 WITH SCORE 167163.877
AT ITER 9428 NEW BEST:: SOT 806921 SOS 356423 HAS SOPS 344948 HAS SOUS 168324 HAS SOUPS 166712 WITH SCORE 167068.423
AT ITER 9433 NEW BEST:: SOT 806764 SOS 356031 HAS SOPS 344556 HAS SOUS 168245 HAS SOUPS 166633 WITH SCORE 166989.031
AT ITER 9460 NEW BEST:: SOT 806436 SOS 355435 HAS SOPS 343960 HAS SOUS 167782 HAS SOUPS 166170 WITH SCORE 166525.435
AT ITER 9477 NEW BEST:: SOT 806427 SOS 355411 HAS SOPS 343936 HAS SOUS 167764 HAS SOUPS 166152 WITH SCORE 166507.411
AT ITER 9488 NEW BEST:: SOT 806427 SOS 355397 HAS SOPS 343922 HAS SOUS 167659 HAS SOUPS 166047 WITH SCORE 166402.397
AT ITER 9504 NEW BEST:: SOT 806252 SOS 355187 HAS SOPS 343712 HAS SOUS 167484 HAS SOUPS 165872 WITH SCORE 166227.187
AT ITER 9524 NEW BEST:: SOT 806337 SOS 355360 HAS SOPS 343885 HAS SOUS 167431 HAS SOUPS 165819 WITH SCORE 166174.36
AT ITER 9527 NEW BEST:: SOT 806255 SOS 357390 HAS SOPS 345915 HAS SOUS 167414 HAS SOUPS 165802 WITH SCORE 166159.39
AT ITER 9528 NEW BEST:: SOT 806255 SOS 357384 HAS SOPS 345903 HAS SOUS 167408 HAS SOUPS 165796 WITH SCORE 166153.384
AT ITER 9543 NEW BEST:: SOT 806254 SOS 357384 HAS SOPS 345904 HAS SOUS 167407 HAS SOUPS 165795 WITH SCORE 166152.384
AT ITER 9554 NEW BEST:: SOT 806234 SOS 357364 HAS SOPS 345884 HAS SOUS 167373 HAS SOUPS 165761 WITH SCORE 166118.364
AT ITER 9563 NEW BEST:: SOT 806227 SOS 357350 HAS SOPS 345870 HAS SOUS 167359 HAS SOUPS 165747 WITH SCORE 166104.35
AT ITER 9576 NEW BEST:: SOT 806231 SOS 357215 HAS SOPS 345735 HAS SOUS 167224 HAS SOUPS 165612 WITH SCORE 165969.215
AT ITER 9590 NEW BEST:: SOT 806154 SOS 357212 HAS SOPS 345732 HAS SOUS 167221 HAS SOUPS 165609 WITH SCORE 165966.212
AT ITER 9696 NEW BEST:: SOT 806059 SOS 357176 HAS SOPS 345696 HAS SOUS 167185 HAS SOUPS 165573 WITH SCORE 165930.176
AT ITER 9705 NEW BEST:: SOT 806059 SOS 357152 HAS SOPS 345672 HAS SOUS 167185 HAS SOUPS 165573 WITH SCORE 165930.152
AT ITER 9735 NEW BEST:: SOT 806039 SOS 357132 HAS SOPS 345652 HAS SOUS 167059 HAS SOUPS 165447 WITH SCORE 165804.132
AT ITER 9739 NEW BEST:: SOT 806061 SOS 357159 HAS SOPS 345679 HAS SOUS 167019 HAS SOUPS 165407 WITH SCORE 165764.159
AT ITER 9753 NEW BEST:: SOT 806045 SOS 357819 HAS SOPS 346339 HAS SOUS 166786 HAS SOUPS 165174 WITH SCORE 165531.819
AT ITER 9759 NEW BEST:: SOT 806041 SOS 357815 HAS SOPS 346335 HAS SOUS 166737 HAS SOUPS 165125 WITH SCORE 165482.815
AT ITER 9767 NEW BEST:: SOT 805985 SOS 357711 HAS SOPS 346231 HAS SOUS 166681 HAS SOUPS 165069 WITH SCORE 165426.711
AT ITER 9773 NEW BEST:: SOT 805143 SOS 357116 HAS SOPS 345636 HAS SOUS 166583 HAS SOUPS 164971 WITH SCORE 165328.116
AT ITER 9791 NEW BEST:: SOT 805143 SOS 357096 HAS SOPS 345616 HAS SOUS 166563 HAS SOUPS 164951 WITH SCORE 165308.096
AT ITER 9796 NEW BEST:: SOT 805096 SOS 357049 HAS SOPS 345569 HAS SOUS 166539 HAS SOUPS 164927 WITH SCORE 165284.049
AT ITER 9810 NEW BEST:: SOT 805083 SOS 357059 HAS SOPS 345579 HAS SOUS 166537 HAS SOUPS 164925 WITH SCORE 165282.059
AT ITER 9811 NEW BEST:: SOT 805092 SOS 356994 HAS SOPS 345514 HAS SOUS 166499 HAS SOUPS 164887 WITH SCORE 165243.994
AT ITER 9834 NEW BEST:: SOT 805074 SOS 356976 HAS SOPS 345496 HAS SOUS 166465 HAS SOUPS 164853 WITH SCORE 165209.976
AT ITER 9865 NEW BEST:: SOT 805045 SOS 356987 HAS SOPS 345507 HAS SOUS 166447 HAS SOUPS 164835 WITH SCORE 165191.987
AT ITER 9872 NEW BEST:: SOT 805270 SOS 357812 HAS SOPS 346332 HAS SOUS 166432 HAS SOUPS 164820 WITH SCORE 165177.812
AT ITER 9884 NEW BEST:: SOT 805270 SOS 357812 HAS SOPS 346332 HAS SOUS 166412 HAS SOUPS 164800 WITH SCORE 165157.812
AT ITER 9885 NEW BEST:: SOT 805153 SOS 357695 HAS SOPS 346215 HAS SOUS 166085 HAS SOUPS 164473 WITH SCORE 164830.695
AT ITER 9893 NEW BEST:: SOT 805065 SOS 357431 HAS SOPS 345951 HAS SOUS 166085 HAS SOUPS 164473 WITH SCORE 164830.431
AT ITER 9895 NEW BEST:: SOT 805070 SOS 357415 HAS SOPS 345935 HAS SOUS 166069 HAS SOUPS 164457 WITH SCORE 164814.415
AT ITER 9909 NEW BEST:: SOT 805041 SOS 357379 HAS SOPS 345899 HAS SOUS 166022 HAS SOUPS 164410 WITH SCORE 164767.379
AT ITER 9925 NEW BEST:: SOT 804970 SOS 356738 HAS SOPS 345258 HAS SOUS 165961 HAS SOUPS 164349 WITH SCORE 164705.738
AT ITER 9927 NEW BEST:: SOT 804820 SOS 356588 HAS SOPS 345108 HAS SOUS 165819 HAS SOUPS 164207 WITH SCORE 164563.588
AT ITER 9945 NEW BEST:: SOT 804752 SOS 356346 HAS SOPS 344866 HAS SOUS 165683 HAS SOUPS 164071 WITH SCORE 164427.346
AT ITER 9949 NEW BEST:: SOT 804740 SOS 356323 HAS SOPS 344843 HAS SOUS 165670 HAS SOUPS 164058 WITH SCORE 164414.323
AT ITER 9966 NEW BEST:: SOT 804740 SOS 356323 HAS SOPS 344843 HAS SOUS 165669 HAS SOUPS 164057 WITH SCORE 164413.323
AT ITER 9975 NEW BEST:: SOT 804737 SOS 356319 HAS SOPS 344839 HAS SOUS 165665 HAS SOUPS 164053 WITH SCORE 164409.319
AT ITER 9980 NEW BEST:: SOT 804551 SOS 356200 HAS SOPS 344720 HAS SOUS 165532 HAS SOUPS 163920 WITH SCORE 164276.2
AT ITER 9985 NEW BEST:: SOT 804431 SOS 356007 HAS SOPS 344527 HAS SOUS 165417 HAS SOUPS 163805 WITH SCORE 164161.007
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12203056 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16117064 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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-S02J06T10"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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