fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r291-tall-167873943200696
Last Updated
May 14, 2023

About the Execution of Smart for PolyORBNT-COL-S10J40

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16129.752 1602043.00 1572488.00 14561.40 [undef] Cannot compute

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 12K Feb 26 00:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 122K Feb 26 00:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 23:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 25 23:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 01:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 01:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 01:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 01:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 93K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678811600603

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBNT-COL-S10J40
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 16:33:23] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 16:33:23] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 16:33:23] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-14 16:33:24] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 16:33:24] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1000 ms
[2023-03-14 16:33:24] [INFO ] Imported 48 HL places and 38 HL transitions for a total of 894 PT places and 12462.0 transition bindings in 50 ms.
[2023-03-14 16:33:25] [INFO ] Unfolded HLPN to a Petri net with 894 places and 12380 transitions 114079 arcs in 400 ms.
[2023-03-14 16:33:25] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 40 places and 40 transitions.
Ensure Unique test removed 10110 transitions
Reduce isomorphic transitions removed 10110 transitions.
[2023-03-14 16:33:25] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 854 places, 2230 transitions and 14789 arcs took 60 ms.
Total runtime 2121 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (COL), instance S10J40
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 854 places, 2230 transitions, 14789 arcs.
AT ITER 0 NEW BEST:: SOT 1197952 SOS 942917 HAS SOPS 942857 HAS SOUS 811648 HAS SOUPS 811642 WITH SCORE 812584.917
AT ITER 8 NEW BEST:: SOT 1197952 SOS 942350 HAS SOPS 942290 HAS SOUS 811478 HAS SOUPS 811472 WITH SCORE 812414.35
AT ITER 14 NEW BEST:: SOT 1197918 SOS 942282 HAS SOPS 942222 HAS SOUS 811444 HAS SOUPS 811438 WITH SCORE 812380.282
AT ITER 18 NEW BEST:: SOT 1197555 SOS 937899 HAS SOPS 937839 HAS SOUS 810681 HAS SOUPS 810675 WITH SCORE 811612.899
AT ITER 49 NEW BEST:: SOT 1197860 SOS 934337 HAS SOPS 934277 HAS SOUS 810661 HAS SOUPS 810655 WITH SCORE 811589.337
AT ITER 62 NEW BEST:: SOT 1197844 SOS 934305 HAS SOPS 934245 HAS SOUS 810484 HAS SOUPS 810478 WITH SCORE 811412.305
AT ITER 71 NEW BEST:: SOT 1197767 SOS 933458 HAS SOPS 933398 HAS SOUS 810407 HAS SOUPS 810401 WITH SCORE 811334.458
AT ITER 81 NEW BEST:: SOT 1199847 SOS 937087 HAS SOPS 937027 HAS SOUS 809692 HAS SOUPS 809686 WITH SCORE 810623.087
AT ITER 93 NEW BEST:: SOT 1199694 SOS 936781 HAS SOPS 936721 HAS SOUS 809539 HAS SOUPS 809533 WITH SCORE 810469.781
AT ITER 94 NEW BEST:: SOT 1199667 SOS 936727 HAS SOPS 936667 HAS SOUS 809512 HAS SOUPS 809506 WITH SCORE 810442.727
AT ITER 96 NEW BEST:: SOT 1199903 SOS 935881 HAS SOPS 935821 HAS SOUS 809407 HAS SOUPS 809401 WITH SCORE 810336.881
AT ITER 99 NEW BEST:: SOT 1199998 SOS 935881 HAS SOPS 935821 HAS SOUS 809356 HAS SOUPS 809350 WITH SCORE 810285.881
AT ITER 101 NEW BEST:: SOT 1199732 SOS 935684 HAS SOPS 935624 HAS SOUS 809150 HAS SOUPS 809144 WITH SCORE 810079.684
AT ITER 102 NEW BEST:: SOT 1199732 SOS 935651 HAS SOPS 935591 HAS SOUS 809117 HAS SOUPS 809111 WITH SCORE 810046.651
AT ITER 103 NEW BEST:: SOT 1199732 SOS 935624 HAS SOPS 935564 HAS SOUS 809087 HAS SOUPS 809081 WITH SCORE 810016.624
AT ITER 109 NEW BEST:: SOT 1199766 SOS 935624 HAS SOPS 935564 HAS SOUS 809019 HAS SOUPS 809013 WITH SCORE 809948.624
AT ITER 126 NEW BEST:: SOT 1199659 SOS 934267 HAS SOPS 934207 HAS SOUS 808512 HAS SOUPS 808506 WITH SCORE 809440.267
AT ITER 127 NEW BEST:: SOT 1199592 SOS 934133 HAS SOPS 934073 HAS SOUS 808445 HAS SOUPS 808439 WITH SCORE 809373.133
AT ITER 132 NEW BEST:: SOT 1200086 SOS 934686 HAS SOPS 934626 HAS SOUS 808411 HAS SOUPS 808405 WITH SCORE 809339.686
AT ITER 157 NEW BEST:: SOT 1200198 SOS 934686 HAS SOPS 934626 HAS SOUS 808290 HAS SOUPS 808284 WITH SCORE 809218.686
AT ITER 168 NEW BEST:: SOT 1200215 SOS 935234 HAS SOPS 935174 HAS SOUS 808175 HAS SOUPS 808169 WITH SCORE 809104.234
AT ITER 175 NEW BEST:: SOT 1200714 SOS 935787 HAS SOPS 935727 HAS SOUS 691952 HAS SOUPS 691946 WITH SCORE 692881.787
AT ITER 179 NEW BEST:: SOT 1200794 SOS 935816 HAS SOPS 935756 HAS SOUS 691852 HAS SOUPS 691846 WITH SCORE 692781.816
AT ITER 198 NEW BEST:: SOT 1200876 SOS 935882 HAS SOPS 935822 HAS SOUS 691732 HAS SOUPS 691726 WITH SCORE 692661.882
AT ITER 201 NEW BEST:: SOT 1200805 SOS 935740 HAS SOPS 935680 HAS SOUS 691661 HAS SOUPS 691655 WITH SCORE 692590.74
AT ITER 210 NEW BEST:: SOT 1200522 SOS 932237 HAS SOPS 932177 HAS SOUS 690978 HAS SOUPS 690972 WITH SCORE 691904.237
AT ITER 211 NEW BEST:: SOT 1200497 SOS 931123 HAS SOPS 931063 HAS SOUS 690592 HAS SOUPS 690586 WITH SCORE 691517.123
AT ITER 216 NEW BEST:: SOT 1200497 SOS 931091 HAS SOPS 931031 HAS SOUS 690560 HAS SOUPS 690554 WITH SCORE 691485.091
AT ITER 221 NEW BEST:: SOT 1200492 SOS 928593 HAS SOPS 928533 HAS SOUS 690175 HAS SOUPS 690169 WITH SCORE 691097.593
AT ITER 224 NEW BEST:: SOT 1200455 SOS 928519 HAS SOPS 928459 HAS SOUS 690138 HAS SOUPS 690132 WITH SCORE 691060.519
AT ITER 238 NEW BEST:: SOT 1200383 SOS 928521 HAS SOPS 928461 HAS SOUS 690133 HAS SOUPS 690127 WITH SCORE 691055.521
AT ITER 241 NEW BEST:: SOT 1200260 SOS 926084 HAS SOPS 926024 HAS SOUS 689614 HAS SOUPS 689608 WITH SCORE 690534.084
AT ITER 243 NEW BEST:: SOT 1200260 SOS 925760 HAS SOPS 925700 HAS SOUS 689254 HAS SOUPS 689248 WITH SCORE 690173.76
AT ITER 256 NEW BEST:: SOT 1200399 SOS 925847 HAS SOPS 925787 HAS SOUS 689156 HAS SOUPS 689150 WITH SCORE 690075.847
AT ITER 263 NEW BEST:: SOT 1200392 SOS 925826 HAS SOPS 925766 HAS SOUS 689142 HAS SOUPS 689136 WITH SCORE 690061.826
AT ITER 264 NEW BEST:: SOT 1200227 SOS 925484 HAS SOPS 925424 HAS SOUS 688977 HAS SOUPS 688971 WITH SCORE 689896.484
AT ITER 267 NEW BEST:: SOT 1200227 SOS 925475 HAS SOPS 925415 HAS SOUS 688968 HAS SOUPS 688962 WITH SCORE 689887.475
AT ITER 274 NEW BEST:: SOT 1200227 SOS 925255 HAS SOPS 925195 HAS SOUS 688968 HAS SOUPS 688962 WITH SCORE 689887.255
AT ITER 287 NEW BEST:: SOT 1200215 SOS 924874 HAS SOPS 924814 HAS SOUS 688556 HAS SOUPS 688550 WITH SCORE 689474.874
AT ITER 307 NEW BEST:: SOT 1199747 SOS 924406 HAS SOPS 924346 HAS SOUS 684103 HAS SOUPS 684097 WITH SCORE 685021.406
AT ITER 310 NEW BEST:: SOT 1199747 SOS 924358 HAS SOPS 924298 HAS SOUS 684103 HAS SOUPS 684097 WITH SCORE 685021.358
AT ITER 311 NEW BEST:: SOT 1199747 SOS 922342 HAS SOPS 922282 HAS SOUS 682206 HAS SOUPS 682200 WITH SCORE 683122.342
AT ITER 333 NEW BEST:: SOT 1199743 SOS 922338 HAS SOPS 922278 HAS SOUS 682206 HAS SOUPS 682200 WITH SCORE 683122.338
AT ITER 338 NEW BEST:: SOT 1199850 SOS 922436 HAS SOPS 922376 HAS SOUS 682080 HAS SOUPS 682074 WITH SCORE 682996.436
AT ITER 342 NEW BEST:: SOT 1199665 SOS 922341 HAS SOPS 922281 HAS SOUS 681979 HAS SOUPS 681973 WITH SCORE 682895.341
AT ITER 367 NEW BEST:: SOT 1199498 SOS 922007 HAS SOPS 921947 HAS SOUS 680142 HAS SOUPS 680136 WITH SCORE 681058.007
AT ITER 370 NEW BEST:: SOT 1200070 SOS 922632 HAS SOPS 922572 HAS SOUS 586648 HAS SOUPS 586642 WITH SCORE 587564.632
AT ITER 371 NEW BEST:: SOT 1200004 SOS 922286 HAS SOPS 922226 HAS SOUS 586485 HAS SOUPS 586479 WITH SCORE 587401.286
AT ITER 375 NEW BEST:: SOT 1199942 SOS 922299 HAS SOPS 922239 HAS SOUS 586465 HAS SOUPS 586459 WITH SCORE 587381.299
AT ITER 376 NEW BEST:: SOT 1199979 SOS 922336 HAS SOPS 922276 HAS SOUS 586391 HAS SOUPS 586385 WITH SCORE 587307.336
AT ITER 383 NEW BEST:: SOT 1200032 SOS 919994 HAS SOPS 919934 HAS SOUS 586083 HAS SOUPS 586077 WITH SCORE 586996.994
AT ITER 398 NEW BEST:: SOT 1200032 SOS 919988 HAS SOPS 919928 HAS SOUS 586083 HAS SOUPS 586077 WITH SCORE 586996.988
AT ITER 405 NEW BEST:: SOT 1200618 SOS 920632 HAS SOPS 920572 HAS SOUS 514071 HAS SOUPS 514065 WITH SCORE 514985.632
AT ITER 411 NEW BEST:: SOT 1200618 SOS 920326 HAS SOPS 920266 HAS SOUS 513731 HAS SOUPS 513725 WITH SCORE 514645.326
AT ITER 415 NEW BEST:: SOT 1200513 SOS 920116 HAS SOPS 920056 HAS SOUS 513626 HAS SOUPS 513620 WITH SCORE 514540.116
AT ITER 423 NEW BEST:: SOT 1200489 SOS 920092 HAS SOPS 920032 HAS SOUS 513602 HAS SOUPS 513596 WITH SCORE 514516.092
AT ITER 425 NEW BEST:: SOT 1200455 SOS 920024 HAS SOPS 919964 HAS SOUS 513262 HAS SOUPS 513256 WITH SCORE 514176.024
AT ITER 428 NEW BEST:: SOT 1200689 SOS 920289 HAS SOPS 920229 HAS SOUS 491629 HAS SOUPS 491623 WITH SCORE 492543.289
AT ITER 435 NEW BEST:: SOT 1200932 SOS 916779 HAS SOPS 916719 HAS SOUS 490086 HAS SOUPS 490080 WITH SCORE 490996.779
AT ITER 440 NEW BEST:: SOT 1201079 SOS 916863 HAS SOPS 916803 HAS SOUS 490018 HAS SOUPS 490012 WITH SCORE 490928.863
AT ITER 445 NEW BEST:: SOT 1201060 SOS 916825 HAS SOPS 916765 HAS SOUS 490006 HAS SOUPS 490000 WITH SCORE 490916.825
AT ITER 455 NEW BEST:: SOT 1201206 SOS 916914 HAS SOPS 916854 HAS SOUS 489866 HAS SOUPS 489860 WITH SCORE 490776.914
AT ITER 468 NEW BEST:: SOT 1201206 SOS 916914 HAS SOPS 916854 HAS SOUS 489861 HAS SOUPS 489855 WITH SCORE 490771.914
AT ITER 471 NEW BEST:: SOT 1201198 SOS 916898 HAS SOPS 916838 HAS SOUS 489853 HAS SOUPS 489847 WITH SCORE 490763.898
AT ITER 473 NEW BEST:: SOT 1201288 SOS 916988 HAS SOPS 916928 HAS SOUS 489749 HAS SOUPS 489743 WITH SCORE 490659.988
AT ITER 475 NEW BEST:: SOT 1201536 SOS 917271 HAS SOPS 917211 HAS SOUS 473740 HAS SOUPS 473734 WITH SCORE 474651.271
AT ITER 481 NEW BEST:: SOT 1201408 SOS 916920 HAS SOPS 916860 HAS SOUS 473613 HAS SOUPS 473607 WITH SCORE 474523.92
AT ITER 487 NEW BEST:: SOT 1201139 SOS 916313 HAS SOPS 916253 HAS SOUS 473342 HAS SOUPS 473336 WITH SCORE 474252.313
AT ITER 488 NEW BEST:: SOT 1201353 SOS 915251 HAS SOPS 915191 HAS SOUS 473226 HAS SOUPS 473220 WITH SCORE 474135.251
AT ITER 494 NEW BEST:: SOT 1201286 SOS 915117 HAS SOPS 915057 HAS SOUS 473158 HAS SOUPS 473152 WITH SCORE 474067.117
AT ITER 501 NEW BEST:: SOT 1201367 SOS 915208 HAS SOPS 915148 HAS SOUS 473098 HAS SOUPS 473092 WITH SCORE 474007.208
AT ITER 504 NEW BEST:: SOT 1201130 SOS 915088 HAS SOPS 915028 HAS SOUS 472968 HAS SOUPS 472962 WITH SCORE 473877.088
AT ITER 511 NEW BEST:: SOT 1201225 SOS 915131 HAS SOPS 915071 HAS SOUS 472868 HAS SOUPS 472862 WITH SCORE 473777.131
AT ITER 535 NEW BEST:: SOT 1201060 SOS 915022 HAS SOPS 914962 HAS SOUS 472756 HAS SOUPS 472750 WITH SCORE 473665.022
AT ITER 542 NEW BEST:: SOT 1200665 SOS 914667 HAS SOPS 914607 HAS SOUS 472374 HAS SOUPS 472368 WITH SCORE 473282.667
AT ITER 566 NEW BEST:: SOT 1200645 SOS 914627 HAS SOPS 914567 HAS SOUS 472374 HAS SOUPS 472368 WITH SCORE 473282.627
AT ITER 579 NEW BEST:: SOT 1200605 SOS 913966 HAS SOPS 913906 HAS SOUS 472225 HAS SOUPS 472219 WITH SCORE 473132.966
AT ITER 580 NEW BEST:: SOT 1200541 SOS 913630 HAS SOPS 913570 HAS SOUS 472161 HAS SOUPS 472155 WITH SCORE 473068.63
AT ITER 606 NEW BEST:: SOT 1200137 SOS 913234 HAS SOPS 913174 HAS SOUS 471742 HAS SOUPS 471736 WITH SCORE 472649.234
AT ITER 607 NEW BEST:: SOT 1199917 SOS 909745 HAS SOPS 909685 HAS SOUS 468170 HAS SOUPS 468164 WITH SCORE 469073.745
AT ITER 608 NEW BEST:: SOT 1200093 SOS 909964 HAS SOPS 909904 HAS SOUS 468076 HAS SOUPS 468070 WITH SCORE 468979.964
AT ITER 615 NEW BEST:: SOT 1200088 SOS 909954 HAS SOPS 909894 HAS SOUS 468066 HAS SOUPS 468060 WITH SCORE 468969.954
AT ITER 644 NEW BEST:: SOT 1200002 SOS 909782 HAS SOPS 909722 HAS SOUS 467120 HAS SOUPS 467114 WITH SCORE 468023.782
AT ITER 659 NEW BEST:: SOT 1199869 SOS 909816 HAS SOPS 909756 HAS SOUS 467032 HAS SOUPS 467026 WITH SCORE 467935.816
AT ITER 670 NEW BEST:: SOT 1199519 SOS 909592 HAS SOPS 909532 HAS SOUS 466801 HAS SOUPS 466795 WITH SCORE 467704.592
AT ITER 679 NEW BEST:: SOT 1199984 SOS 908644 HAS SOPS 908449 HAS SOUS 458202 HAS SOUPS 458174 WITH SCORE 459082.644
AT ITER 682 NEW BEST:: SOT 1199929 SOS 908663 HAS SOPS 908468 HAS SOUS 458196 HAS SOUPS 458168 WITH SCORE 459076.663
AT ITER 690 NEW BEST:: SOT 1199920 SOS 908645 HAS SOPS 908450 HAS SOUS 458178 HAS SOUPS 458150 WITH SCORE 459058.645
AT ITER 701 NEW BEST:: SOT 1200048 SOS 908773 HAS SOPS 908578 HAS SOUS 458129 HAS SOUPS 458101 WITH SCORE 459009.773
AT ITER 726 NEW BEST:: SOT 1199911 SOS 909120 HAS SOPS 908925 HAS SOUS 458100 HAS SOUPS 458072 WITH SCORE 458981.12
AT ITER 728 NEW BEST:: SOT 1200700 SOS 909968 HAS SOPS 909763 HAS SOUS 420177 HAS SOUPS 420149 WITH SCORE 421058.968
AT ITER 730 NEW BEST:: SOT 1200816 SOS 909022 HAS SOPS 908817 HAS SOUS 420161 HAS SOUPS 420133 WITH SCORE 421042.022
AT ITER 734 NEW BEST:: SOT 1200904 SOS 909144 HAS SOPS 908929 HAS SOUS 416643 HAS SOUPS 416615 WITH SCORE 417524.144
AT ITER 739 NEW BEST:: SOT 1200883 SOS 909123 HAS SOPS 908908 HAS SOUS 414312 HAS SOUPS 414284 WITH SCORE 415193.123
AT ITER 745 NEW BEST:: SOT 1200883 SOS 909123 HAS SOPS 908908 HAS SOUS 414307 HAS SOUPS 414279 WITH SCORE 415188.123
AT ITER 756 NEW BEST:: SOT 1200906 SOS 909138 HAS SOPS 908923 HAS SOUS 414299 HAS SOUPS 414271 WITH SCORE 415180.138
AT ITER 757 NEW BEST:: SOT 1200876 SOS 909081 HAS SOPS 908866 HAS SOUS 414241 HAS SOUPS 414213 WITH SCORE 415122.081
AT ITER 761 NEW BEST:: SOT 1200726 SOS 908908 HAS SOPS 908693 HAS SOUS 414068 HAS SOUPS 414040 WITH SCORE 414948.908
AT ITER 781 NEW BEST:: SOT 1200726 SOS 908908 HAS SOPS 908693 HAS SOUS 414063 HAS SOUPS 414035 WITH SCORE 414943.908
AT ITER 782 NEW BEST:: SOT 1200746 SOS 905631 HAS SOPS 905416 HAS SOUS 410514 HAS SOUPS 410486 WITH SCORE 411391.631
AT ITER 791 NEW BEST:: SOT 1200836 SOS 904480 HAS SOPS 904265 HAS SOUS 410244 HAS SOUPS 410216 WITH SCORE 411120.48
AT ITER 807 NEW BEST:: SOT 1199051 SOS 902835 HAS SOPS 902620 HAS SOUS 408613 HAS SOUPS 408585 WITH SCORE 409487.835
AT ITER 809 NEW BEST:: SOT 1198972 SOS 902598 HAS SOPS 902383 HAS SOUS 408551 HAS SOUPS 408523 WITH SCORE 409425.598
AT ITER 811 NEW BEST:: SOT 1198926 SOS 902588 HAS SOPS 902373 HAS SOUS 408541 HAS SOUPS 408513 WITH SCORE 409415.588
AT ITER 821 NEW BEST:: SOT 1199391 SOS 900206 HAS SOPS 899991 HAS SOUS 408414 HAS SOUPS 408386 WITH SCORE 409286.206
AT ITER 835 NEW BEST:: SOT 1199425 SOS 900206 HAS SOPS 899991 HAS SOUS 408346 HAS SOUPS 408318 WITH SCORE 409218.206
AT ITER 845 NEW BEST:: SOT 1199147 SOS 899953 HAS SOPS 899738 HAS SOUS 408084 HAS SOUPS 408056 WITH SCORE 408955.953
AT ITER 850 NEW BEST:: SOT 1199068 SOS 899789 HAS SOPS 899574 HAS SOUS 408004 HAS SOUPS 407976 WITH SCORE 408875.789
AT ITER 860 NEW BEST:: SOT 1198882 SOS 899417 HAS SOPS 899202 HAS SOUS 407818 HAS SOUPS 407790 WITH SCORE 408689.417
AT ITER 864 NEW BEST:: SOT 1198882 SOS 898200 HAS SOPS 897985 HAS SOUS 407431 HAS SOUPS 407403 WITH SCORE 408301.2
AT ITER 870 NEW BEST:: SOT 1198731 SOS 898337 HAS SOPS 898122 HAS SOUS 407344 HAS SOUPS 407316 WITH SCORE 408214.337
AT ITER 883 NEW BEST:: SOT 1198613 SOS 898101 HAS SOPS 897886 HAS SOUS 406046 HAS SOUPS 406018 WITH SCORE 406916.101
AT ITER 918 NEW BEST:: SOT 1198358 SOS 898007 HAS SOPS 897792 HAS SOUS 405952 HAS SOUPS 405924 WITH SCORE 406822.007
AT ITER 926 NEW BEST:: SOT 1198223 SOS 897737 HAS SOPS 897522 HAS SOUS 405700 HAS SOUPS 405672 WITH SCORE 406569.737
AT ITER 930 NEW BEST:: SOT 1198223 SOS 897848 HAS SOPS 897623 HAS SOUS 404628 HAS SOUPS 404600 WITH SCORE 405497.848
AT ITER 951 NEW BEST:: SOT 1198124 SOS 897650 HAS SOPS 897425 HAS SOUS 404529 HAS SOUPS 404501 WITH SCORE 405398.65
AT ITER 973 NEW BEST:: SOT 1198326 SOS 897536 HAS SOPS 897311 HAS SOUS 404051 HAS SOUPS 404023 WITH SCORE 404920.536
AT ITER 976 NEW BEST:: SOT 1198087 SOS 897444 HAS SOPS 897219 HAS SOUS 403956 HAS SOUPS 403928 WITH SCORE 404825.444
AT ITER 984 NEW BEST:: SOT 1198087 SOS 891258 HAS SOPS 891033 HAS SOUS 401401 HAS SOUPS 401373 WITH SCORE 402264.258
AT ITER 987 NEW BEST:: SOT 1197379 SOS 890756 HAS SOPS 890531 HAS SOUS 400895 HAS SOUPS 400867 WITH SCORE 401757.756
AT ITER 1002 NEW BEST:: SOT 1197310 SOS 890687 HAS SOPS 890462 HAS SOUS 400826 HAS SOUPS 400798 WITH SCORE 401688.687
AT ITER 1005 NEW BEST:: SOT 1197483 SOS 892212 HAS SOPS 891987 HAS SOUS 400766 HAS SOUPS 400738 WITH SCORE 401630.212
AT ITER 1016 NEW BEST:: SOT 1197476 SOS 892198 HAS SOPS 891973 HAS SOUS 400752 HAS SOUPS 400724 WITH SCORE 401616.198
AT ITER 1021 NEW BEST:: SOT 1197476 SOS 891818 HAS SOPS 891593 HAS SOUS 400545 HAS SOUPS 400517 WITH SCORE 401408.818
AT ITER 1042 NEW BEST:: SOT 1197450 SOS 891766 HAS SOPS 891541 HAS SOUS 400519 HAS SOUPS 400491 WITH SCORE 401382.766
AT ITER 1069 NEW BEST:: SOT 1197299 SOS 891745 HAS SOPS 891520 HAS SOUS 400389 HAS SOUPS 400361 WITH SCORE 401252.745
AT ITER 1073 NEW BEST:: SOT 1197267 SOS 891714 HAS SOPS 891489 HAS SOUS 400370 HAS SOUPS 400342 WITH SCORE 401233.714
AT ITER 1074 NEW BEST:: SOT 1196828 SOS 891319 HAS SOPS 891094 HAS SOUS 399944 HAS SOUPS 399916 WITH SCORE 400807.319
AT ITER 1080 NEW BEST:: SOT 1196828 SOS 891313 HAS SOPS 891088 HAS SOUS 399938 HAS SOUPS 399910 WITH SCORE 400801.313
AT ITER 1086 NEW BEST:: SOT 1196559 SOS 891259 HAS SOPS 891034 HAS SOUS 399828 HAS SOUPS 399800 WITH SCORE 400691.259
AT ITER 1103 NEW BEST:: SOT 1196283 SOS 891033 HAS SOPS 890808 HAS SOUS 399584 HAS SOUPS 399556 WITH SCORE 400447.033
AT ITER 1115 NEW BEST:: SOT 1197473 SOS 892223 HAS SOPS 891998 HAS SOUS 376173 HAS SOUPS 376145 WITH SCORE 377037.223
AT ITER 1117 NEW BEST:: SOT 1197337 SOS 891915 HAS SOPS 891690 HAS SOUS 375995 HAS SOUPS 375967 WITH SCORE 376858.915
AT ITER 1122 NEW BEST:: SOT 1197337 SOS 891662 HAS SOPS 891437 HAS SOUS 375709 HAS SOUPS 375681 WITH SCORE 376572.662
AT ITER 1123 NEW BEST:: SOT 1197337 SOS 891755 HAS SOPS 891530 HAS SOUS 375647 HAS SOUPS 375619 WITH SCORE 376510.755
AT ITER 1124 NEW BEST:: SOT 1197301 SOS 891683 HAS SOPS 891458 HAS SOUS 374535 HAS SOUPS 374507 WITH SCORE 375398.683
AT ITER 1130 NEW BEST:: SOT 1197301 SOS 891683 HAS SOPS 891458 HAS SOUS 374532 HAS SOUPS 374504 WITH SCORE 375395.683
AT ITER 1133 NEW BEST:: SOT 1197149 SOS 891557 HAS SOPS 891332 HAS SOUS 374400 HAS SOUPS 374372 WITH SCORE 375263.557
AT ITER 1142 NEW BEST:: SOT 1196905 SOS 891393 HAS SOPS 891168 HAS SOUS 374236 HAS SOUPS 374208 WITH SCORE 375099.393
AT ITER 1147 NEW BEST:: SOT 1196905 SOS 891486 HAS SOPS 891261 HAS SOUS 374174 HAS SOUPS 374146 WITH SCORE 375037.486
AT ITER 1163 NEW BEST:: SOT 1196899 SOS 891262 HAS SOPS 891037 HAS SOUS 374174 HAS SOUPS 374146 WITH SCORE 375037.262
AT ITER 1191 NEW BEST:: SOT 1196585 SOS 891063 HAS SOPS 890838 HAS SOUS 373975 HAS SOUPS 373947 WITH SCORE 374838.063
AT ITER 1198 NEW BEST:: SOT 1196436 SOS 889469 HAS SOPS 889244 HAS SOUS 372381 HAS SOUPS 372353 WITH SCORE 373242.469
AT ITER 1212 NEW BEST:: SOT 1196913 SOS 890249 HAS SOPS 890024 HAS SOUS 369808 HAS SOUPS 369780 WITH SCORE 370670.249
AT ITER 1228 NEW BEST:: SOT 1196886 SOS 890082 HAS SOPS 889857 HAS SOUS 369456 HAS SOUPS 369428 WITH SCORE 370318.082
AT ITER 1229 NEW BEST:: SOT 1196878 SOS 890090 HAS SOPS 889865 HAS SOUS 369448 HAS SOUPS 369420 WITH SCORE 370310.09
AT ITER 1231 NEW BEST:: SOT 1196878 SOS 890341 HAS SOPS 890116 HAS SOUS 369217 HAS SOUPS 369189 WITH SCORE 370079.341
AT ITER 1232 NEW BEST:: SOT 1196866 SOS 890341 HAS SOPS 890116 HAS SOUS 369205 HAS SOUPS 369177 WITH SCORE 370067.341
AT ITER 1233 NEW BEST:: SOT 1196975 SOS 889148 HAS SOPS 888923 HAS SOUS 368964 HAS SOUPS 368936 WITH SCORE 369825.148
AT ITER 1250 NEW BEST:: SOT 1196882 SOS 888962 HAS SOPS 888737 HAS SOUS 368123 HAS SOUPS 368095 WITH SCORE 368983.962
AT ITER 1259 NEW BEST:: SOT 1196882 SOS 888962 HAS SOPS 888737 HAS SOUS 368122 HAS SOUPS 368094 WITH SCORE 368982.962
AT ITER 1266 NEW BEST:: SOT 1196938 SOS 889074 HAS SOPS 888849 HAS SOUS 368074 HAS SOUPS 368046 WITH SCORE 368935.074
AT ITER 1276 NEW BEST:: SOT 1196817 SOS 889059 HAS SOPS 888834 HAS SOUS 368053 HAS SOUPS 368025 WITH SCORE 368914.059
AT ITER 1298 NEW BEST:: SOT 1196502 SOS 888658 HAS SOPS 888433 HAS SOUS 367652 HAS SOUPS 367624 WITH SCORE 368512.658
AT ITER 1303 NEW BEST:: SOT 1196647 SOS 888857 HAS SOPS 888632 HAS SOUS 367535 HAS SOUPS 367507 WITH SCORE 368395.857
AT ITER 1311 NEW BEST:: SOT 1196635 SOS 888833 HAS SOPS 888608 HAS SOUS 367473 HAS SOUPS 367445 WITH SCORE 368333.833
AT ITER 1312 NEW BEST:: SOT 1196620 SOS 888803 HAS SOPS 888578 HAS SOUS 366638 HAS SOUPS 366610 WITH SCORE 367498.803
AT ITER 1318 NEW BEST:: SOT 1196620 SOS 888803 HAS SOPS 888569 HAS SOUS 366628 HAS SOUPS 366596 WITH SCORE 367484.803
AT ITER 1329 NEW BEST:: SOT 1196620 SOS 886283 HAS SOPS 886049 HAS SOUS 366628 HAS SOUPS 366596 WITH SCORE 367482.283
AT ITER 1331 NEW BEST:: SOT 1196278 SOS 886383 HAS SOPS 886149 HAS SOUS 366409 HAS SOUPS 366377 WITH SCORE 367263.383
AT ITER 1349 NEW BEST:: SOT 1196314 SOS 885933 HAS SOPS 885699 HAS SOUS 366405 HAS SOUPS 366373 WITH SCORE 367258.933
AT ITER 1350 NEW BEST:: SOT 1194995 SOS 884926 HAS SOPS 884692 HAS SOUS 365323 HAS SOUPS 365291 WITH SCORE 366175.926
AT ITER 1358 NEW BEST:: SOT 1195054 SOS 885036 HAS SOPS 884802 HAS SOUS 365282 HAS SOUPS 365250 WITH SCORE 366135.036
AT ITER 1366 NEW BEST:: SOT 1195000 SOS 884914 HAS SOPS 884680 HAS SOUS 363607 HAS SOUPS 363575 WITH SCORE 364459.914
AT ITER 1375 NEW BEST:: SOT 1194981 SOS 884876 HAS SOPS 884642 HAS SOUS 363569 HAS SOUPS 363537 WITH SCORE 364421.876
AT ITER 1380 NEW BEST:: SOT 1194911 SOS 884771 HAS SOPS 884537 HAS SOUS 363457 HAS SOUPS 363425 WITH SCORE 364309.771
AT ITER 1383 NEW BEST:: SOT 1194817 SOS 884733 HAS SOPS 884499 HAS SOUS 363382 HAS SOUPS 363350 WITH SCORE 364234.733
AT ITER 1386 NEW BEST:: SOT 1194704 SOS 884618 HAS SOPS 884384 HAS SOUS 363238 HAS SOUPS 363206 WITH SCORE 364090.618
AT ITER 1406 NEW BEST:: SOT 1194678 SOS 884540 HAS SOPS 884306 HAS SOUS 363212 HAS SOUPS 363180 WITH SCORE 364064.54
AT ITER 1412 NEW BEST:: SOT 1194708 SOS 884532 HAS SOPS 884298 HAS SOUS 363210 HAS SOUPS 363178 WITH SCORE 364062.532
AT ITER 1418 NEW BEST:: SOT 1194697 SOS 884510 HAS SOPS 884276 HAS SOUS 363199 HAS SOUPS 363167 WITH SCORE 364051.51
AT ITER 1422 NEW BEST:: SOT 1194690 SOS 884486 HAS SOPS 884252 HAS SOUS 363175 HAS SOUPS 363143 WITH SCORE 364027.486
AT ITER 1423 NEW BEST:: SOT 1194679 SOS 884572 HAS SOPS 884338 HAS SOUS 363164 HAS SOUPS 363132 WITH SCORE 364016.572
AT ITER 1427 NEW BEST:: SOT 1194485 SOS 885483 HAS SOPS 885249 HAS SOUS 362844 HAS SOUPS 362812 WITH SCORE 363697.483
AT ITER 1432 NEW BEST:: SOT 1194545 SOS 885543 HAS SOPS 885309 HAS SOUS 355669 HAS SOUPS 355637 WITH SCORE 356522.543
AT ITER 1460 NEW BEST:: SOT 1210681 SOS 902058 HAS SOPS 901824 HAS SOUS 353796 HAS SOUPS 353764 WITH SCORE 354666.058
AT ITER 1470 NEW BEST:: SOT 1210494 SOS 902015 HAS SOPS 901781 HAS SOUS 353739 HAS SOUPS 353707 WITH SCORE 354609.015
AT ITER 1487 NEW BEST:: SOT 1210533 SOS 902054 HAS SOPS 901820 HAS SOUS 353044 HAS SOUPS 353012 WITH SCORE 353914.054
AT ITER 1488 NEW BEST:: SOT 1210819 SOS 899872 HAS SOPS 899638 HAS SOUS 352331 HAS SOUPS 352299 WITH SCORE 353198.872
AT ITER 1489 NEW BEST:: SOT 1210819 SOS 899857 HAS SOPS 899623 HAS SOUS 352286 HAS SOUPS 352254 WITH SCORE 353153.857
AT ITER 1495 NEW BEST:: SOT 1210454 SOS 899625 HAS SOPS 899391 HAS SOUS 352045 HAS SOUPS 352013 WITH SCORE 352912.625
AT ITER 1511 NEW BEST:: SOT 1210454 SOS 900033 HAS SOPS 899789 HAS SOUS 351627 HAS SOUPS 351595 WITH SCORE 352495.033
AT ITER 1527 NEW BEST:: SOT 1210438 SOS 900001 HAS SOPS 899757 HAS SOUS 351611 HAS SOUPS 351579 WITH SCORE 352479.001
AT ITER 1530 NEW BEST:: SOT 1210367 SOS 899836 HAS SOPS 899592 HAS SOUS 351510 HAS SOUPS 351478 WITH SCORE 352377.836
AT ITER 1544 NEW BEST:: SOT 1210277 SOS 899656 HAS SOPS 899412 HAS SOUS 351469 HAS SOUPS 351437 WITH SCORE 352336.656
AT ITER 1549 NEW BEST:: SOT 1210277 SOS 899677 HAS SOPS 899433 HAS SOUS 351433 HAS SOUPS 351401 WITH SCORE 352300.677
AT ITER 1560 NEW BEST:: SOT 1210277 SOS 899668 HAS SOPS 899424 HAS SOUS 351433 HAS SOUPS 351401 WITH SCORE 352300.668
AT ITER 1562 NEW BEST:: SOT 1210274 SOS 899662 HAS SOPS 899418 HAS SOUS 351427 HAS SOUPS 351395 WITH SCORE 352294.662
AT ITER 1563 NEW BEST:: SOT 1210438 SOS 899826 HAS SOPS 899582 HAS SOUS 342407 HAS SOUPS 342375 WITH SCORE 343274.826
AT ITER 1570 NEW BEST:: SOT 1210391 SOS 900011 HAS SOPS 899767 HAS SOUS 342369 HAS SOUPS 342337 WITH SCORE 343237.011
AT ITER 1573 NEW BEST:: SOT 1210313 SOS 899996 HAS SOPS 899752 HAS SOUS 342354 HAS SOUPS 342322 WITH SCORE 343221.996
AT ITER 1575 NEW BEST:: SOT 1210208 SOS 899808 HAS SOPS 899564 HAS SOUS 342130 HAS SOUPS 342098 WITH SCORE 342997.808
AT ITER 1590 NEW BEST:: SOT 1210171 SOS 899771 HAS SOPS 899527 HAS SOUS 342093 HAS SOUPS 342061 WITH SCORE 342960.771
AT ITER 1595 NEW BEST:: SOT 1210322 SOS 899982 HAS SOPS 899738 HAS SOUS 341988 HAS SOUPS 341956 WITH SCORE 342855.982
AT ITER 1604 NEW BEST:: SOT 1210261 SOS 899921 HAS SOPS 899677 HAS SOUS 341866 HAS SOUPS 341834 WITH SCORE 342733.921
AT ITER 1607 NEW BEST:: SOT 1210245 SOS 899747 HAS SOPS 899503 HAS SOUS 341692 HAS SOUPS 341660 WITH SCORE 342559.747
AT ITER 1613 NEW BEST:: SOT 1210236 SOS 899747 HAS SOPS 899503 HAS SOUS 341683 HAS SOUPS 341651 WITH SCORE 342550.747
AT ITER 1648 NEW BEST:: SOT 1209888 SOS 899747 HAS SOPS 899503 HAS SOUS 341679 HAS SOUPS 341647 WITH SCORE 342546.747
AT ITER 1661 NEW BEST:: SOT 1209749 SOS 899469 HAS SOPS 899225 HAS SOUS 341538 HAS SOUPS 341506 WITH SCORE 342405.469
AT ITER 1665 NEW BEST:: SOT 1209595 SOS 899315 HAS SOPS 899071 HAS SOUS 341384 HAS SOUPS 341352 WITH SCORE 342251.315
AT ITER 1696 NEW BEST:: SOT 1209595 SOS 898966 HAS SOPS 898722 HAS SOUS 341384 HAS SOUPS 341352 WITH SCORE 342250.966
AT ITER 1701 NEW BEST:: SOT 1209717 SOS 899153 HAS SOPS 898909 HAS SOUS 341266 HAS SOUPS 341234 WITH SCORE 342133.153
AT ITER 1708 NEW BEST:: SOT 1209717 SOS 898865 HAS SOPS 898621 HAS SOUS 341171 HAS SOUPS 341139 WITH SCORE 342037.865
AT ITER 1716 NEW BEST:: SOT 1209717 SOS 898865 HAS SOPS 898621 HAS SOUS 341145 HAS SOUPS 341113 WITH SCORE 342011.865
AT ITER 1722 NEW BEST:: SOT 1209525 SOS 898448 HAS SOPS 898204 HAS SOUS 340749 HAS SOUPS 340717 WITH SCORE 341615.448
AT ITER 1724 NEW BEST:: SOT 1209498 SOS 898464 HAS SOPS 898220 HAS SOUS 331636 HAS SOUPS 331604 WITH SCORE 332502.464
AT ITER 1747 NEW BEST:: SOT 1209464 SOS 898464 HAS SOPS 898220 HAS SOUS 331618 HAS SOUPS 331586 WITH SCORE 332484.464
AT ITER 1752 NEW BEST:: SOT 1209464 SOS 898487 HAS SOPS 898243 HAS SOUS 331613 HAS SOUPS 331581 WITH SCORE 332479.487
AT ITER 1759 NEW BEST:: SOT 1209622 SOS 898645 HAS SOPS 898401 HAS SOUS 325875 HAS SOUPS 325843 WITH SCORE 326741.645
AT ITER 1762 NEW BEST:: SOT 1209614 SOS 898689 HAS SOPS 898445 HAS SOUS 325867 HAS SOUPS 325835 WITH SCORE 326733.689
AT ITER 1779 NEW BEST:: SOT 1209553 SOS 898567 HAS SOPS 898323 HAS SOUS 325806 HAS SOUPS 325774 WITH SCORE 326672.567
AT ITER 1786 NEW BEST:: SOT 1209553 SOS 898560 HAS SOPS 898316 HAS SOUS 325799 HAS SOUPS 325767 WITH SCORE 326665.56
AT ITER 1793 NEW BEST:: SOT 1209502 SOS 898457 HAS SOPS 898213 HAS SOUS 325752 HAS SOUPS 325720 WITH SCORE 326618.457
AT ITER 1798 NEW BEST:: SOT 1209436 SOS 897675 HAS SOPS 897431 HAS SOUS 325533 HAS SOUPS 325501 WITH SCORE 326398.675
AT ITER 1803 NEW BEST:: SOT 1209436 SOS 897669 HAS SOPS 897425 HAS SOUS 325527 HAS SOUPS 325495 WITH SCORE 326392.669
AT ITER 1805 NEW BEST:: SOT 1209438 SOS 897447 HAS SOPS 897203 HAS SOUS 324882 HAS SOUPS 324850 WITH SCORE 325747.447
AT ITER 1806 NEW BEST:: SOT 1209363 SOS 897277 HAS SOPS 897033 HAS SOUS 324774 HAS SOUPS 324742 WITH SCORE 325639.277
AT ITER 1821 NEW BEST:: SOT 1209290 SOS 897156 HAS SOPS 896912 HAS SOUS 324633 HAS SOUPS 324601 WITH SCORE 325498.156
AT ITER 1846 NEW BEST:: SOT 1209535 SOS 897401 HAS SOPS 897157 HAS SOUS 316755 HAS SOUPS 316723 WITH SCORE 317620.401
AT ITER 1866 NEW BEST:: SOT 1209124 SOS 897140 HAS SOPS 896896 HAS SOUS 316485 HAS SOUPS 316453 WITH SCORE 317350.14
AT ITER 1869 NEW BEST:: SOT 1209093 SOS 897098 HAS SOPS 896854 HAS SOUS 316424 HAS SOUPS 316392 WITH SCORE 317289.098
AT ITER 1883 NEW BEST:: SOT 1209085 SOS 897127 HAS SOPS 896883 HAS SOUS 316421 HAS SOUPS 316389 WITH SCORE 317286.127
AT ITER 1891 NEW BEST:: SOT 1209083 SOS 897202 HAS SOPS 896958 HAS SOUS 316400 HAS SOUPS 316368 WITH SCORE 317265.202
AT ITER 1902 NEW BEST:: SOT 1209111 SOS 897230 HAS SOPS 896986 HAS SOUS 316372 HAS SOUPS 316340 WITH SCORE 317237.23
AT ITER 1912 NEW BEST:: SOT 1195684 SOS 883803 HAS SOPS 883559 HAS SOUS 308287 HAS SOUPS 308255 WITH SCORE 309138.803
AT ITER 1922 NEW BEST:: SOT 1195680 SOS 883799 HAS SOPS 883555 HAS SOUS 308283 HAS SOUPS 308251 WITH SCORE 309134.799
AT ITER 1924 NEW BEST:: SOT 1195680 SOS 884095 HAS SOPS 883851 HAS SOUS 308138 HAS SOUPS 308106 WITH SCORE 308990.095
AT ITER 1936 NEW BEST:: SOT 1195680 SOS 884095 HAS SOPS 883851 HAS SOUS 308125 HAS SOUPS 308093 WITH SCORE 308977.095
AT ITER 1945 NEW BEST:: SOT 1195591 SOS 884061 HAS SOPS 883817 HAS SOUS 308091 HAS SOUPS 308059 WITH SCORE 308943.061
AT ITER 1953 NEW BEST:: SOT 1195591 SOS 884009 HAS SOPS 883765 HAS SOUS 308091 HAS SOUPS 308059 WITH SCORE 308943.009
AT ITER 1957 NEW BEST:: SOT 1195467 SOS 884184 HAS SOPS 883940 HAS SOUS 307920 HAS SOUPS 307888 WITH SCORE 308772.184
AT ITER 1987 NEW BEST:: SOT 1195348 SOS 883946 HAS SOPS 883702 HAS SOUS 307682 HAS SOUPS 307650 WITH SCORE 308533.946
AT ITER 2015 NEW BEST:: SOT 1195516 SOS 884150 HAS SOPS 883906 HAS SOUS 307557 HAS SOUPS 307525 WITH SCORE 308409.15
AT ITER 2025 NEW BEST:: SOT 1195484 SOS 884139 HAS SOPS 883895 HAS SOUS 307548 HAS SOUPS 307516 WITH SCORE 308400.139
AT ITER 2075 NEW BEST:: SOT 1195430 SOS 884177 HAS SOPS 883933 HAS SOUS 307537 HAS SOUPS 307505 WITH SCORE 308389.177
AT ITER 2080 NEW BEST:: SOT 1195376 SOS 884083 HAS SOPS 883839 HAS SOUS 307443 HAS SOUPS 307411 WITH SCORE 308295.083
AT ITER 2083 NEW BEST:: SOT 1195247 SOS 883952 HAS SOPS 883708 HAS SOUS 307312 HAS SOUPS 307280 WITH SCORE 308163.952
AT ITER 2085 NEW BEST:: SOT 1194794 SOS 883651 HAS SOPS 883407 HAS SOUS 306966 HAS SOUPS 306934 WITH SCORE 307817.651
AT ITER 2131 NEW BEST:: SOT 1194772 SOS 883665 HAS SOPS 883421 HAS SOUS 306935 HAS SOUPS 306903 WITH SCORE 307786.665
AT ITER 2160 NEW BEST:: SOT 1194825 SOS 884280 HAS SOPS 884036 HAS SOUS 306904 HAS SOUPS 306872 WITH SCORE 307756.28
AT ITER 2162 NEW BEST:: SOT 1194823 SOS 884276 HAS SOPS 884032 HAS SOUS 306900 HAS SOUPS 306868 WITH SCORE 307752.276
AT ITER 2165 NEW BEST:: SOT 1194823 SOS 884276 HAS SOPS 884032 HAS SOUS 306890 HAS SOUPS 306858 WITH SCORE 307742.276
AT ITER 2174 NEW BEST:: SOT 1194817 SOS 884304 HAS SOPS 884060 HAS SOUS 306884 HAS SOUPS 306852 WITH SCORE 307736.304
AT ITER 2183 NEW BEST:: SOT 1194810 SOS 884297 HAS SOPS 884053 HAS SOUS 306884 HAS SOUPS 306852 WITH SCORE 307736.297
AT ITER 2192 NEW BEST:: SOT 1194810 SOS 884303 HAS SOPS 884059 HAS SOUS 306874 HAS SOUPS 306842 WITH SCORE 307726.303
AT ITER 2210 NEW BEST:: SOT 1194566 SOS 883981 HAS SOPS 883737 HAS SOUS 306489 HAS SOUPS 306457 WITH SCORE 307340.981
AT ITER 2220 NEW BEST:: SOT 1194564 SOS 883981 HAS SOPS 883737 HAS SOUS 306485 HAS SOUPS 306453 WITH SCORE 307336.981
AT ITER 2221 NEW BEST:: SOT 1194745 SOS 884102 HAS SOPS 883858 HAS SOUS 306198 HAS SOUPS 306166 WITH SCORE 307050.102
AT ITER 2229 NEW BEST:: SOT 1194715 SOS 884053 HAS SOPS 883809 HAS SOUS 306023 HAS SOUPS 305991 WITH SCORE 306875.053
AT ITER 2247 NEW BEST:: SOT 1194657 SOS 884053 HAS SOPS 883809 HAS SOUS 305965 HAS SOUPS 305933 WITH SCORE 306817.053
AT ITER 2260 NEW BEST:: SOT 1194541 SOS 884030 HAS SOPS 883786 HAS SOUS 305936 HAS SOUPS 305904 WITH SCORE 306788.03
AT ITER 2267 NEW BEST:: SOT 1194629 SOS 884181 HAS SOPS 883937 HAS SOUS 305908 HAS SOUPS 305876 WITH SCORE 306760.181
AT ITER 2310 NEW BEST:: SOT 1194629 SOS 884181 HAS SOPS 883937 HAS SOUS 305904 HAS SOUPS 305872 WITH SCORE 306756.181
AT ITER 2342 NEW BEST:: SOT 1194653 SOS 884205 HAS SOPS 883961 HAS SOUS 305088 HAS SOUPS 305056 WITH SCORE 305940.205
AT ITER 2354 NEW BEST:: SOT 1194653 SOS 884199 HAS SOPS 883955 HAS SOUS 305082 HAS SOUPS 305050 WITH SCORE 305934.199
AT ITER 2357 NEW BEST:: SOT 1194654 SOS 884167 HAS SOPS 883923 HAS SOUS 305073 HAS SOUPS 305041 WITH SCORE 305925.167
AT ITER 2419 NEW BEST:: SOT 1194642 SOS 884143 HAS SOPS 883899 HAS SOUS 305068 HAS SOUPS 305036 WITH SCORE 305920.143
AT ITER 2420 NEW BEST:: SOT 1194633 SOS 884125 HAS SOPS 883881 HAS SOUS 305054 HAS SOUPS 305022 WITH SCORE 305906.125
AT ITER 2422 NEW BEST:: SOT 1194589 SOS 883955 HAS SOPS 883711 HAS SOUS 305010 HAS SOUPS 304978 WITH SCORE 305861.955
AT ITER 2431 NEW BEST:: SOT 1194181 SOS 883641 HAS SOPS 883397 HAS SOUS 304695 HAS SOUPS 304663 WITH SCORE 305546.641
AT ITER 2461 NEW BEST:: SOT 1194182 SOS 883639 HAS SOPS 883395 HAS SOUS 304693 HAS SOUPS 304661 WITH SCORE 305544.639
AT ITER 2462 NEW BEST:: SOT 1193935 SOS 883942 HAS SOPS 883698 HAS SOUS 304547 HAS SOUPS 304515 WITH SCORE 305398.942
AT ITER 2491 NEW BEST:: SOT 1193919 SOS 883926 HAS SOPS 883682 HAS SOUS 304515 HAS SOUPS 304483 WITH SCORE 305366.926
AT ITER 2511 NEW BEST:: SOT 1193906 SOS 883874 HAS SOPS 883630 HAS SOUS 304463 HAS SOUPS 304431 WITH SCORE 305314.874
AT ITER 2514 NEW BEST:: SOT 1193892 SOS 883494 HAS SOPS 883250 HAS SOUS 304453 HAS SOUPS 304421 WITH SCORE 305304.494
AT ITER 2544 NEW BEST:: SOT 1193900 SOS 882165 HAS SOPS 881921 HAS SOUS 304146 HAS SOUPS 304114 WITH SCORE 304996.165
AT ITER 2569 NEW BEST:: SOT 1193764 SOS 881893 HAS SOPS 881649 HAS SOUS 304010 HAS SOUPS 303978 WITH SCORE 304859.893
AT ITER 2572 NEW BEST:: SOT 1193805 SOS 881523 HAS SOPS 881279 HAS SOUS 303826 HAS SOUPS 303794 WITH SCORE 304675.523
AT ITER 2581 NEW BEST:: SOT 1193797 SOS 881516 HAS SOPS 881272 HAS SOUS 303819 HAS SOUPS 303787 WITH SCORE 304668.516
AT ITER 2587 NEW BEST:: SOT 1193443 SOS 881307 HAS SOPS 881063 HAS SOUS 303517 HAS SOUPS 303485 WITH SCORE 304366.307
AT ITER 2590 NEW BEST:: SOT 1193156 SOS 881092 HAS SOPS 880848 HAS SOUS 303273 HAS SOUPS 303241 WITH SCORE 304122.092
AT ITER 2614 NEW BEST:: SOT 1193142 SOS 881106 HAS SOPS 880862 HAS SOUS 303258 HAS SOUPS 303226 WITH SCORE 304107.106
AT ITER 2619 NEW BEST:: SOT 1193134 SOS 881090 HAS SOPS 880846 HAS SOUS 303250 HAS SOUPS 303218 WITH SCORE 304099.09
AT ITER 2624 NEW BEST:: SOT 1192979 SOS 880984 HAS SOPS 880740 HAS SOUS 303105 HAS SOUPS 303073 WITH SCORE 303953.984
AT ITER 2635 NEW BEST:: SOT 1192903 SOS 880832 HAS SOPS 880588 HAS SOUS 303004 HAS SOUPS 302972 WITH SCORE 303852.832
AT ITER 2657 NEW BEST:: SOT 1194971 SOS 883076 HAS SOPS 882832 HAS SOUS 286248 HAS SOUPS 286216 WITH SCORE 287099.076
AT ITER 2665 NEW BEST:: SOT 1194935 SOS 883004 HAS SOPS 882760 HAS SOUS 286212 HAS SOUPS 286180 WITH SCORE 287063.004
AT ITER 2667 NEW BEST:: SOT 1194882 SOS 883002 HAS SOPS 882758 HAS SOUS 286210 HAS SOUPS 286178 WITH SCORE 287061.002
AT ITER 2671 NEW BEST:: SOT 1194743 SOS 880721 HAS SOPS 880477 HAS SOUS 284766 HAS SOUPS 284734 WITH SCORE 285614.721
AT ITER 2694 NEW BEST:: SOT 1194729 SOS 880768 HAS SOPS 880524 HAS SOUS 284740 HAS SOUPS 284708 WITH SCORE 285588.768
AT ITER 2707 NEW BEST:: SOT 1194661 SOS 880668 HAS SOPS 880424 HAS SOUS 284609 HAS SOUPS 284577 WITH SCORE 285457.668
AT ITER 2716 NEW BEST:: SOT 1194650 SOS 880656 HAS SOPS 880412 HAS SOUS 284526 HAS SOUPS 284494 WITH SCORE 285374.656
AT ITER 2720 NEW BEST:: SOT 1194188 SOS 881452 HAS SOPS 881208 HAS SOUS 282345 HAS SOUPS 282313 WITH SCORE 283194.452
AT ITER 2721 NEW BEST:: SOT 1194024 SOS 881118 HAS SOPS 880874 HAS SOUS 282036 HAS SOUPS 282004 WITH SCORE 282885.118
AT ITER 2735 NEW BEST:: SOT 1193738 SOS 880956 HAS SOPS 880712 HAS SOUS 281767 HAS SOUPS 281735 WITH SCORE 282615.956
AT ITER 2743 NEW BEST:: SOT 1193668 SOS 880816 HAS SOPS 880572 HAS SOUS 281627 HAS SOUPS 281595 WITH SCORE 282475.816
AT ITER 2749 NEW BEST:: SOT 1193870 SOS 879992 HAS SOPS 879748 HAS SOUS 281470 HAS SOUPS 281438 WITH SCORE 282317.992
AT ITER 2790 NEW BEST:: SOT 1193782 SOS 879839 HAS SOPS 879595 HAS SOUS 281382 HAS SOUPS 281350 WITH SCORE 282229.839
AT ITER 2792 NEW BEST:: SOT 1193505 SOS 879616 HAS SOPS 879372 HAS SOUS 281159 HAS SOUPS 281127 WITH SCORE 282006.616
AT ITER 2833 NEW BEST:: SOT 1193483 SOS 879572 HAS SOPS 879328 HAS SOUS 281115 HAS SOUPS 281083 WITH SCORE 281962.572
AT ITER 2840 NEW BEST:: SOT 1189385 SOS 876314 HAS SOPS 876070 HAS SOUS 277972 HAS SOUPS 277940 WITH SCORE 278816.314
AT ITER 2858 NEW BEST:: SOT 1189377 SOS 876303 HAS SOPS 876059 HAS SOUS 277961 HAS SOUPS 277929 WITH SCORE 278805.303
AT ITER 2875 NEW BEST:: SOT 1189136 SOS 876138 HAS SOPS 875894 HAS SOUS 277755 HAS SOUPS 277723 WITH SCORE 278599.138
AT ITER 2882 NEW BEST:: SOT 1189096 SOS 876058 HAS SOPS 875814 HAS SOUS 277715 HAS SOUPS 277683 WITH SCORE 278559.058
AT ITER 2884 NEW BEST:: SOT 1189016 SOS 876098 HAS SOPS 875854 HAS SOUS 277653 HAS SOUPS 277621 WITH SCORE 278497.098
AT ITER 2901 NEW BEST:: SOT 1188997 SOS 876060 HAS SOPS 875816 HAS SOUS 277444 HAS SOUPS 277412 WITH SCORE 278288.06
AT ITER 2905 NEW BEST:: SOT 1188857 SOS 876008 HAS SOPS 875764 HAS SOUS 277385 HAS SOUPS 277353 WITH SCORE 278229.008
AT ITER 2938 NEW BEST:: SOT 1188926 SOS 876091 HAS SOPS 875847 HAS SOUS 277380 HAS SOUPS 277348 WITH SCORE 278224.091
AT ITER 2955 NEW BEST:: SOT 1188926 SOS 876085 HAS SOPS 875841 HAS SOUS 277374 HAS SOUPS 277342 WITH SCORE 278218.085
AT ITER 2965 NEW BEST:: SOT 1188925 SOS 876083 HAS SOPS 875839 HAS SOUS 277131 HAS SOUPS 277099 WITH SCORE 277975.083
AT ITER 2977 NEW BEST:: SOT 1188952 SOS 876110 HAS SOPS 875866 HAS SOUS 277112 HAS SOUPS 277080 WITH SCORE 277956.11
AT ITER 2984 NEW BEST:: SOT 1188526 SOS 876107 HAS SOPS 875863 HAS SOUS 277070 HAS SOUPS 277038 WITH SCORE 277914.107
AT ITER 2996 NEW BEST:: SOT 1188526 SOS 876118 HAS SOPS 875874 HAS SOUS 277062 HAS SOUPS 277030 WITH SCORE 277906.118
AT ITER 2999 NEW BEST:: SOT 1188522 SOS 876114 HAS SOPS 875870 HAS SOUS 277056 HAS SOUPS 277024 WITH SCORE 277900.114
AT ITER 3001 NEW BEST:: SOT 1188480 SOS 876030 HAS SOPS 875786 HAS SOUS 277009 HAS SOUPS 276977 WITH SCORE 277853.03
AT ITER 3009 NEW BEST:: SOT 1188480 SOS 876002 HAS SOPS 875758 HAS SOUS 276981 HAS SOUPS 276949 WITH SCORE 277825.002
AT ITER 3015 NEW BEST:: SOT 1188384 SOS 876009 HAS SOPS 875765 HAS SOUS 276958 HAS SOUPS 276926 WITH SCORE 277802.009
AT ITER 3018 NEW BEST:: SOT 1188297 SOS 875835 HAS SOPS 875591 HAS SOUS 276784 HAS SOUPS 276752 WITH SCORE 277627.835
AT ITER 3019 NEW BEST:: SOT 1188221 SOS 875836 HAS SOPS 875592 HAS SOUS 276730 HAS SOUPS 276698 WITH SCORE 277573.836
AT ITER 3032 NEW BEST:: SOT 1188218 SOS 875833 HAS SOPS 875589 HAS SOUS 276724 HAS SOUPS 276692 WITH SCORE 277567.833
AT ITER 3034 NEW BEST:: SOT 1188218 SOS 880527 HAS SOPS 880283 HAS SOUS 276413 HAS SOUPS 276381 WITH SCORE 277261.527
AT ITER 3053 NEW BEST:: SOT 1188188 SOS 880467 HAS SOPS 880223 HAS SOUS 276383 HAS SOUPS 276351 WITH SCORE 277231.467
AT ITER 3061 NEW BEST:: SOT 1188095 SOS 879444 HAS SOPS 879200 HAS SOUS 276190 HAS SOUPS 276158 WITH SCORE 277037.444
AT ITER 3062 NEW BEST:: SOT 1187805 SOS 879234 HAS SOPS 878990 HAS SOUS 275977 HAS SOUPS 275945 WITH SCORE 276824.234
AT ITER 3078 NEW BEST:: SOT 1187713 SOS 879299 HAS SOPS 879055 HAS SOUS 275879 HAS SOUPS 275847 WITH SCORE 276726.299
AT ITER 3091 NEW BEST:: SOT 1187686 SOS 879418 HAS SOPS 879174 HAS SOUS 275852 HAS SOUPS 275820 WITH SCORE 276699.418
AT ITER 3092 NEW BEST:: SOT 1187667 SOS 879399 HAS SOPS 879155 HAS SOUS 275852 HAS SOUPS 275820 WITH SCORE 276699.399
AT ITER 3104 NEW BEST:: SOT 1187643 SOS 879381 HAS SOPS 879137 HAS SOUS 275828 HAS SOUPS 275796 WITH SCORE 276675.381
AT ITER 3111 NEW BEST:: SOT 1187583 SOS 877852 HAS SOPS 877608 HAS SOUS 274011 HAS SOUPS 273979 WITH SCORE 274856.852
AT ITER 3155 NEW BEST:: SOT 1187553 SOS 877822 HAS SOPS 877578 HAS SOUS 273934 HAS SOUPS 273902 WITH SCORE 274779.822
AT ITER 3166 NEW BEST:: SOT 1187229 SOS 877740 HAS SOPS 877496 HAS SOUS 273852 HAS SOUPS 273820 WITH SCORE 274697.74
AT ITER 3169 NEW BEST:: SOT 1187229 SOS 877614 HAS SOPS 877370 HAS SOUS 273712 HAS SOUPS 273680 WITH SCORE 274557.614
AT ITER 3179 NEW BEST:: SOT 1187116 SOS 877501 HAS SOPS 877257 HAS SOUS 273581 HAS SOUPS 273549 WITH SCORE 274426.501
AT ITER 3194 NEW BEST:: SOT 1187116 SOS 877501 HAS SOPS 877257 HAS SOUS 273521 HAS SOUPS 273489 WITH SCORE 274366.501
AT ITER 3195 NEW BEST:: SOT 1187054 SOS 877301 HAS SOPS 877057 HAS SOUS 271284 HAS SOUPS 271252 WITH SCORE 272129.301
AT ITER 3228 NEW BEST:: SOT 1187054 SOS 877284 HAS SOPS 877040 HAS SOUS 271216 HAS SOUPS 271184 WITH SCORE 272061.284
AT ITER 3237 NEW BEST:: SOT 1186669 SOS 877205 HAS SOPS 876961 HAS SOUS 271126 HAS SOUPS 271094 WITH SCORE 271971.205
AT ITER 3256 NEW BEST:: SOT 1186637 SOS 877141 HAS SOPS 876897 HAS SOUS 271094 HAS SOUPS 271062 WITH SCORE 271939.141
AT ITER 3257 NEW BEST:: SOT 1186989 SOS 877660 HAS SOPS 877416 HAS SOUS 268932 HAS SOUPS 268900 WITH SCORE 269777.66
AT ITER 3279 NEW BEST:: SOT 1186899 SOS 877480 HAS SOPS 877236 HAS SOUS 268752 HAS SOUPS 268720 WITH SCORE 269597.48
AT ITER 3301 NEW BEST:: SOT 1194645 SOS 885226 HAS SOPS 884982 HAS SOUS 265801 HAS SOUPS 265769 WITH SCORE 266654.226
AT ITER 3306 NEW BEST:: SOT 1194639 SOS 885220 HAS SOPS 884976 HAS SOUS 265795 HAS SOUPS 265763 WITH SCORE 266648.22
AT ITER 3309 NEW BEST:: SOT 1194639 SOS 885220 HAS SOPS 884976 HAS SOUS 265789 HAS SOUPS 265757 WITH SCORE 266642.22
AT ITER 3312 NEW BEST:: SOT 1194255 SOS 885106 HAS SOPS 884862 HAS SOUS 265666 HAS SOUPS 265634 WITH SCORE 266519.106
AT ITER 3315 NEW BEST:: SOT 1194188 SOS 885047 HAS SOPS 884803 HAS SOUS 265607 HAS SOUPS 265575 WITH SCORE 266460.047
AT ITER 3317 NEW BEST:: SOT 1194177 SOS 885036 HAS SOPS 884792 HAS SOUS 265226 HAS SOUPS 265194 WITH SCORE 266079.036
AT ITER 3334 NEW BEST:: SOT 1194177 SOS 885036 HAS SOPS 884792 HAS SOUS 265224 HAS SOUPS 265192 WITH SCORE 266077.036
AT ITER 3335 NEW BEST:: SOT 1194936 SOS 885795 HAS SOPS 885551 HAS SOUS 264785 HAS SOUPS 264753 WITH SCORE 265638.795
AT ITER 3336 NEW BEST:: SOT 1194884 SOS 885767 HAS SOPS 885523 HAS SOUS 264753 HAS SOUPS 264721 WITH SCORE 265606.767
AT ITER 3350 NEW BEST:: SOT 1194651 SOS 885534 HAS SOPS 885290 HAS SOUS 264395 HAS SOUPS 264363 WITH SCORE 265248.534
AT ITER 3364 NEW BEST:: SOT 1194351 SOS 885665 HAS SOPS 885421 HAS SOUS 264223 HAS SOUPS 264191 WITH SCORE 265076.665
AT ITER 3381 NEW BEST:: SOT 1193828 SOS 885341 HAS SOPS 885097 HAS SOUS 263813 HAS SOUPS 263781 WITH SCORE 264666.341
AT ITER 3385 NEW BEST:: SOT 1193740 SOS 885133 HAS SOPS 884889 HAS SOUS 263694 HAS SOUPS 263662 WITH SCORE 264547.133
AT ITER 3389 NEW BEST:: SOT 1193635 SOS 884818 HAS SOPS 884574 HAS SOUS 263450 HAS SOUPS 263418 WITH SCORE 264302.818
AT ITER 3399 NEW BEST:: SOT 1193790 SOS 884973 HAS SOPS 884729 HAS SOUS 263406 HAS SOUPS 263374 WITH SCORE 264258.973
AT ITER 3401 NEW BEST:: SOT 1193740 SOS 884961 HAS SOPS 884717 HAS SOUS 263367 HAS SOUPS 263335 WITH SCORE 264219.961
AT ITER 3403 NEW BEST:: SOT 1193685 SOS 883453 HAS SOPS 883209 HAS SOUS 262978 HAS SOUPS 262946 WITH SCORE 263829.453
AT ITER 3412 NEW BEST:: SOT 1193613 SOS 883699 HAS SOPS 883455 HAS SOUS 262906 HAS SOUPS 262874 WITH SCORE 263757.699
AT ITER 3413 NEW BEST:: SOT 1193934 SOS 883636 HAS SOPS 883392 HAS SOUS 262419 HAS SOUPS 262387 WITH SCORE 263270.636
AT ITER 3441 NEW BEST:: SOT 1193766 SOS 883306 HAS SOPS 883062 HAS SOUS 261999 HAS SOUPS 261967 WITH SCORE 262850.306
AT ITER 3449 NEW BEST:: SOT 1193684 SOS 883308 HAS SOPS 883064 HAS SOUS 261917 HAS SOUPS 261885 WITH SCORE 262768.308
AT ITER 3454 NEW BEST:: SOT 1193684 SOS 883298 HAS SOPS 883054 HAS SOUS 261917 HAS SOUPS 261885 WITH SCORE 262768.298
AT ITER 3461 NEW BEST:: SOT 1193426 SOS 882804 HAS SOPS 882560 HAS SOUS 261388 HAS SOUPS 261356 WITH SCORE 262238.804
AT ITER 3470 NEW BEST:: SOT 1193416 SOS 882794 HAS SOPS 882550 HAS SOUS 261340 HAS SOUPS 261308 WITH SCORE 262190.794
AT ITER 3478 NEW BEST:: SOT 1193289 SOS 882667 HAS SOPS 882423 HAS SOUS 261053 HAS SOUPS 261021 WITH SCORE 261903.667
AT ITER 3487 NEW BEST:: SOT 1193472 SOS 881825 HAS SOPS 881581 HAS SOUS 260377 HAS SOUPS 260345 WITH SCORE 261226.825
AT ITER 3509 NEW BEST:: SOT 1193435 SOS 881901 HAS SOPS 881657 HAS SOUS 260340 HAS SOUPS 260308 WITH SCORE 261189.901
AT ITER 3512 NEW BEST:: SOT 1193251 SOS 881245 HAS SOPS 881001 HAS SOUS 260136 HAS SOUPS 260104 WITH SCORE 260985.245
AT ITER 3546 NEW BEST:: SOT 1193239 SOS 881233 HAS SOPS 880989 HAS SOUS 260124 HAS SOUPS 260092 WITH SCORE 260973.233
AT ITER 3561 NEW BEST:: SOT 1193219 SOS 881213 HAS SOPS 880969 HAS SOUS 260083 HAS SOUPS 260051 WITH SCORE 260932.213
AT ITER 3601 NEW BEST:: SOT 1193219 SOS 881201 HAS SOPS 880959 HAS SOUS 260063 HAS SOUPS 260031 WITH SCORE 260912.201
AT ITER 3604 NEW BEST:: SOT 1193219 SOS 881201 HAS SOPS 880959 HAS SOUS 260061 HAS SOUPS 260029 WITH SCORE 260910.201
AT ITER 3619 NEW BEST:: SOT 1193219 SOS 881201 HAS SOPS 880959 HAS SOUS 260007 HAS SOUPS 259975 WITH SCORE 260856.201
AT ITER 3621 NEW BEST:: SOT 1193211 SOS 881194 HAS SOPS 880952 HAS SOUS 260000 HAS SOUPS 259968 WITH SCORE 260849.194
AT ITER 3632 NEW BEST:: SOT 1193184 SOS 881167 HAS SOPS 880925 HAS SOUS 259972 HAS SOUPS 259940 WITH SCORE 260821.167
AT ITER 3636 NEW BEST:: SOT 1193117 SOS 881167 HAS SOPS 880925 HAS SOUS 259907 HAS SOUPS 259875 WITH SCORE 260756.167
AT ITER 3638 NEW BEST:: SOT 1193048 SOS 881098 HAS SOPS 880856 HAS SOUS 259833 HAS SOUPS 259801 WITH SCORE 260682.098
AT ITER 3658 NEW BEST:: SOT 1193021 SOS 881071 HAS SOPS 880829 HAS SOUS 259816 HAS SOUPS 259784 WITH SCORE 260665.071
AT ITER 3668 NEW BEST:: SOT 1193683 SOS 881733 HAS SOPS 881491 HAS SOUS 259253 HAS SOUPS 259221 WITH SCORE 260102.733
AT ITER 3678 NEW BEST:: SOT 1193729 SOS 881775 HAS SOPS 881533 HAS SOUS 259252 HAS SOUPS 259220 WITH SCORE 260101.775
AT ITER 3683 NEW BEST:: SOT 1193794 SOS 881849 HAS SOPS 881607 HAS SOUS 259210 HAS SOUPS 259178 WITH SCORE 260059.849
AT ITER 3684 NEW BEST:: SOT 1193785 SOS 881831 HAS SOPS 881589 HAS SOUS 259198 HAS SOUPS 259166 WITH SCORE 260047.831
AT ITER 3685 NEW BEST:: SOT 1193741 SOS 881737 HAS SOPS 881495 HAS SOUS 259104 HAS SOUPS 259072 WITH SCORE 259953.737
AT ITER 3693 NEW BEST:: SOT 1193696 SOS 881406 HAS SOPS 881164 HAS SOUS 258897 HAS SOUPS 258865 WITH SCORE 259746.406
AT ITER 3706 NEW BEST:: SOT 1193654 SOS 881299 HAS SOPS 881057 HAS SOUS 258776 HAS SOUPS 258744 WITH SCORE 259625.299
AT ITER 3749 NEW BEST:: SOT 1193745 SOS 881384 HAS SOPS 881142 HAS SOUS 258312 HAS SOUPS 258280 WITH SCORE 259161.384
AT ITER 3756 NEW BEST:: SOT 1193604 SOS 881330 HAS SOPS 881088 HAS SOUS 258171 HAS SOUPS 258139 WITH SCORE 259020.33
AT ITER 3759 NEW BEST:: SOT 1193611 SOS 881264 HAS SOPS 881022 HAS SOUS 257663 HAS SOUPS 257631 WITH SCORE 258512.264
AT ITER 3795 NEW BEST:: SOT 1193611 SOS 880448 HAS SOPS 880206 HAS SOUS 257663 HAS SOUPS 257631 WITH SCORE 258511.448
AT ITER 3811 NEW BEST:: SOT 1193599 SOS 880291 HAS SOPS 880049 HAS SOUS 257499 HAS SOUPS 257467 WITH SCORE 258347.291
AT ITER 3814 NEW BEST:: SOT 1193599 SOS 880291 HAS SOPS 880049 HAS SOUS 257469 HAS SOUPS 257437 WITH SCORE 258317.291
AT ITER 3825 NEW BEST:: SOT 1193503 SOS 880512 HAS SOPS 880270 HAS SOUS 257326 HAS SOUPS 257294 WITH SCORE 258174.512
AT ITER 3845 NEW BEST:: SOT 1193489 SOS 880498 HAS SOPS 880256 HAS SOUS 257312 HAS SOUPS 257280 WITH SCORE 258160.498
AT ITER 3846 NEW BEST:: SOT 1193489 SOS 880498 HAS SOPS 880256 HAS SOUS 257292 HAS SOUPS 257260 WITH SCORE 258140.498
AT ITER 3868 NEW BEST:: SOT 1193156 SOS 880208 HAS SOPS 879966 HAS SOUS 257115 HAS SOUPS 257083 WITH SCORE 257963.208
AT ITER 3881 NEW BEST:: SOT 1193590 SOS 880564 HAS SOPS 880322 HAS SOUS 256756 HAS SOUPS 256724 WITH SCORE 257604.564
AT ITER 3896 NEW BEST:: SOT 1193586 SOS 880556 HAS SOPS 880314 HAS SOUS 256752 HAS SOUPS 256720 WITH SCORE 257600.556
AT ITER 3913 NEW BEST:: SOT 1193586 SOS 880556 HAS SOPS 880314 HAS SOUS 256745 HAS SOUPS 256713 WITH SCORE 257593.556
AT ITER 3915 NEW BEST:: SOT 1193586 SOS 880556 HAS SOPS 880314 HAS SOUS 256741 HAS SOUPS 256709 WITH SCORE 257589.556
AT ITER 3923 NEW BEST:: SOT 1193543 SOS 880502 HAS SOPS 880260 HAS SOUS 256670 HAS SOUPS 256638 WITH SCORE 257518.502
AT ITER 3924 NEW BEST:: SOT 1193497 SOS 880410 HAS SOPS 880168 HAS SOUS 256598 HAS SOUPS 256566 WITH SCORE 257446.41
AT ITER 3929 NEW BEST:: SOT 1193470 SOS 880380 HAS SOPS 880138 HAS SOUS 256568 HAS SOUPS 256536 WITH SCORE 257416.38
AT ITER 3937 NEW BEST:: SOT 1193447 SOS 880334 HAS SOPS 880092 HAS SOUS 256490 HAS SOUPS 256458 WITH SCORE 257338.334
AT ITER 3938 NEW BEST:: SOT 1192996 SOS 880133 HAS SOPS 879891 HAS SOUS 256254 HAS SOUPS 256222 WITH SCORE 257102.133
AT ITER 3955 NEW BEST:: SOT 1193020 SOS 880275 HAS SOPS 880033 HAS SOUS 256219 HAS SOUPS 256187 WITH SCORE 257067.275
AT ITER 3974 NEW BEST:: SOT 1192989 SOS 880213 HAS SOPS 879971 HAS SOUS 256136 HAS SOUPS 256104 WITH SCORE 256984.213
AT ITER 3983 NEW BEST:: SOT 1192971 SOS 880195 HAS SOPS 879953 HAS SOUS 256118 HAS SOUPS 256086 WITH SCORE 256966.195
AT ITER 3988 NEW BEST:: SOT 1192971 SOS 880187 HAS SOPS 879945 HAS SOUS 256093 HAS SOUPS 256061 WITH SCORE 256941.187
AT ITER 3998 NEW BEST:: SOT 1193738 SOS 880929 HAS SOPS 880687 HAS SOUS 255778 HAS SOUPS 255746 WITH SCORE 256626.929
AT ITER 4007 NEW BEST:: SOT 1193738 SOS 880929 HAS SOPS 880687 HAS SOUS 255754 HAS SOUPS 255722 WITH SCORE 256602.929
AT ITER 4018 NEW BEST:: SOT 1193732 SOS 880923 HAS SOPS 880681 HAS SOUS 255748 HAS SOUPS 255716 WITH SCORE 256596.923
AT ITER 4020 NEW BEST:: SOT 1193622 SOS 880806 HAS SOPS 880564 HAS SOUS 255631 HAS SOUPS 255599 WITH SCORE 256479.806
AT ITER 4038 NEW BEST:: SOT 1193622 SOS 880806 HAS SOPS 880564 HAS SOUS 255626 HAS SOUPS 255594 WITH SCORE 256474.806
AT ITER 4077 NEW BEST:: SOT 1193622 SOS 880839 HAS SOPS 880597 HAS SOUS 255507 HAS SOUPS 255475 WITH SCORE 256355.839
AT ITER 4078 NEW BEST:: SOT 1193557 SOS 880671 HAS SOPS 880429 HAS SOUS 255339 HAS SOUPS 255307 WITH SCORE 256187.671
AT ITER 4100 NEW BEST:: SOT 1193557 SOS 880671 HAS SOPS 880429 HAS SOUS 255324 HAS SOUPS 255292 WITH SCORE 256172.671
AT ITER 4106 NEW BEST:: SOT 1193557 SOS 880669 HAS SOPS 880427 HAS SOUS 255322 HAS SOUPS 255290 WITH SCORE 256170.669
AT ITER 4114 NEW BEST:: SOT 1193423 SOS 880619 HAS SOPS 880377 HAS SOUS 255272 HAS SOUPS 255240 WITH SCORE 256120.619
AT ITER 4118 NEW BEST:: SOT 1193396 SOS 880559 HAS SOPS 880317 HAS SOUS 255224 HAS SOUPS 255192 WITH SCORE 256072.559
AT ITER 4127 NEW BEST:: SOT 1193287 SOS 880668 HAS SOPS 880426 HAS SOUS 254708 HAS SOUPS 254676 WITH SCORE 255556.668
AT ITER 4150 NEW BEST:: SOT 1193187 SOS 880568 HAS SOPS 880326 HAS SOUS 254608 HAS SOUPS 254576 WITH SCORE 255456.568
AT ITER 4153 NEW BEST:: SOT 1193183 SOS 880560 HAS SOPS 880318 HAS SOUS 254585 HAS SOUPS 254553 WITH SCORE 255433.56
AT ITER 4157 NEW BEST:: SOT 1193160 SOS 880537 HAS SOPS 880295 HAS SOUS 254561 HAS SOUPS 254529 WITH SCORE 255409.537
AT ITER 4162 NEW BEST:: SOT 1193160 SOS 880532 HAS SOPS 880295 HAS SOUS 254561 HAS SOUPS 254529 WITH SCORE 255409.532
AT ITER 4166 NEW BEST:: SOT 1193160 SOS 878107 HAS SOPS 877870 HAS SOUS 254544 HAS SOUPS 254512 WITH SCORE 255390.107
AT ITER 4175 NEW BEST:: SOT 1193098 SOS 877982 HAS SOPS 877745 HAS SOUS 254419 HAS SOUPS 254387 WITH SCORE 255264.982
AT ITER 4192 NEW BEST:: SOT 1193098 SOS 877982 HAS SOPS 877745 HAS SOUS 254376 HAS SOUPS 254344 WITH SCORE 255221.982
AT ITER 4208 NEW BEST:: SOT 1190777 SOS 875628 HAS SOPS 875391 HAS SOUS 253113 HAS SOUPS 253081 WITH SCORE 253956.628
AT ITER 4213 NEW BEST:: SOT 1190777 SOS 875628 HAS SOPS 875391 HAS SOUS 253088 HAS SOUPS 253056 WITH SCORE 253931.628
AT ITER 4227 NEW BEST:: SOT 1190736 SOS 875604 HAS SOPS 875367 HAS SOUS 252979 HAS SOUPS 252947 WITH SCORE 253822.604
AT ITER 4245 NEW BEST:: SOT 1190736 SOS 875604 HAS SOPS 875367 HAS SOUS 252923 HAS SOUPS 252891 WITH SCORE 253766.604
AT ITER 4255 NEW BEST:: SOT 1190753 SOS 875621 HAS SOPS 875384 HAS SOUS 252906 HAS SOUPS 252874 WITH SCORE 253749.621
AT ITER 4259 NEW BEST:: SOT 1190767 SOS 875635 HAS SOPS 875398 HAS SOUS 252843 HAS SOUPS 252811 WITH SCORE 253686.635
AT ITER 4265 NEW BEST:: SOT 1190533 SOS 875587 HAS SOPS 875350 HAS SOUS 252791 HAS SOUPS 252759 WITH SCORE 253634.587
AT ITER 4278 NEW BEST:: SOT 1190558 SOS 875377 HAS SOPS 875140 HAS SOUS 252782 HAS SOUPS 252750 WITH SCORE 253625.377
AT ITER 4297 NEW BEST:: SOT 1190350 SOS 875092 HAS SOPS 874855 HAS SOUS 252373 HAS SOUPS 252341 WITH SCORE 253216.092
AT ITER 4298 NEW BEST:: SOT 1190316 SOS 873203 HAS SOPS 872966 HAS SOUS 250204 HAS SOUPS 250172 WITH SCORE 251045.203
AT ITER 4304 NEW BEST:: SOT 1190300 SOS 873171 HAS SOPS 872934 HAS SOUS 250188 HAS SOUPS 250156 WITH SCORE 251029.171
AT ITER 4322 NEW BEST:: SOT 1190347 SOS 872374 HAS SOPS 872137 HAS SOUS 250181 HAS SOUPS 250149 WITH SCORE 251021.374
AT ITER 4339 NEW BEST:: SOT 1190347 SOS 872374 HAS SOPS 872137 HAS SOUS 250168 HAS SOUPS 250136 WITH SCORE 251008.374
AT ITER 4348 NEW BEST:: SOT 1190285 SOS 872287 HAS SOPS 872050 HAS SOUS 250081 HAS SOUPS 250049 WITH SCORE 250921.287
AT ITER 4351 NEW BEST:: SOT 1190285 SOS 872286 HAS SOPS 872049 HAS SOUS 250077 HAS SOUPS 250045 WITH SCORE 250917.286
AT ITER 4352 NEW BEST:: SOT 1190285 SOS 872286 HAS SOPS 872049 HAS SOUS 250069 HAS SOUPS 250037 WITH SCORE 250909.286
AT ITER 4360 NEW BEST:: SOT 1190157 SOS 872145 HAS SOPS 871908 HAS SOUS 249868 HAS SOUPS 249836 WITH SCORE 250708.145
AT ITER 4415 NEW BEST:: SOT 1190157 SOS 872148 HAS SOPS 871911 HAS SOUS 249865 HAS SOUPS 249833 WITH SCORE 250705.148
AT ITER 4457 NEW BEST:: SOT 1190155 SOS 872162 HAS SOPS 871925 HAS SOUS 249863 HAS SOUPS 249831 WITH SCORE 250703.162
AT ITER 4487 NEW BEST:: SOT 1189728 SOS 873612 HAS SOPS 873375 HAS SOUS 249859 HAS SOUPS 249827 WITH SCORE 250700.612
AT ITER 4489 NEW BEST:: SOT 1189712 SOS 873580 HAS SOPS 873343 HAS SOUS 249827 HAS SOUPS 249795 WITH SCORE 250668.58
AT ITER 4516 NEW BEST:: SOT 1189694 SOS 873551 HAS SOPS 873314 HAS SOUS 249791 HAS SOUPS 249759 WITH SCORE 250632.551
AT ITER 4519 NEW BEST:: SOT 1189694 SOS 873526 HAS SOPS 873289 HAS SOUS 249766 HAS SOUPS 249734 WITH SCORE 250607.526
AT ITER 4521 NEW BEST:: SOT 1189672 SOS 873482 HAS SOPS 873245 HAS SOUS 249722 HAS SOUPS 249690 WITH SCORE 250563.482
AT ITER 4525 NEW BEST:: SOT 1189394 SOS 874576 HAS SOPS 874339 HAS SOUS 249714 HAS SOUPS 249682 WITH SCORE 250556.576
AT ITER 4545 NEW BEST:: SOT 1189527 SOS 874688 HAS SOPS 874451 HAS SOUS 249685 HAS SOUPS 249653 WITH SCORE 250527.688
AT ITER 4560 NEW BEST:: SOT 1189525 SOS 874686 HAS SOPS 874449 HAS SOUS 249653 HAS SOUPS 249621 WITH SCORE 250495.686
AT ITER 4570 NEW BEST:: SOT 1189429 SOS 874590 HAS SOPS 874353 HAS SOUS 249541 HAS SOUPS 249509 WITH SCORE 250383.59
AT ITER 4598 NEW BEST:: SOT 1189352 SOS 874436 HAS SOPS 874199 HAS SOUS 249381 HAS SOUPS 249349 WITH SCORE 250223.436
AT ITER 4622 NEW BEST:: SOT 1189352 SOS 874436 HAS SOPS 874199 HAS SOUS 249376 HAS SOUPS 249344 WITH SCORE 250218.436
AT ITER 4625 NEW BEST:: SOT 1189236 SOS 874387 HAS SOPS 874150 HAS SOUS 249304 HAS SOUPS 249272 WITH SCORE 250146.387
AT ITER 4637 NEW BEST:: SOT 1189226 SOS 874377 HAS SOPS 874140 HAS SOUS 249270 HAS SOUPS 249238 WITH SCORE 250112.377
AT ITER 4658 NEW BEST:: SOT 1189143 SOS 874211 HAS SOPS 873974 HAS SOUS 249056 HAS SOUPS 249024 WITH SCORE 249898.211
AT ITER 4662 NEW BEST:: SOT 1189133 SOS 874201 HAS SOPS 873964 HAS SOUS 248966 HAS SOUPS 248934 WITH SCORE 249808.201
AT ITER 4667 NEW BEST:: SOT 1189026 SOS 874094 HAS SOPS 873857 HAS SOUS 248216 HAS SOUPS 248184 WITH SCORE 249058.094
AT ITER 4670 NEW BEST:: SOT 1189018 SOS 874114 HAS SOPS 873877 HAS SOUS 248204 HAS SOUPS 248172 WITH SCORE 249046.114
AT ITER 4684 NEW BEST:: SOT 1189018 SOS 874114 HAS SOPS 873877 HAS SOUS 248137 HAS SOUPS 248105 WITH SCORE 248979.114
AT ITER 4685 NEW BEST:: SOT 1188997 SOS 874093 HAS SOPS 873856 HAS SOUS 248095 HAS SOUPS 248063 WITH SCORE 248937.093
AT ITER 4707 NEW BEST:: SOT 1188996 SOS 874091 HAS SOPS 873854 HAS SOUS 248094 HAS SOUPS 248062 WITH SCORE 248936.091
AT ITER 4726 NEW BEST:: SOT 1188988 SOS 874078 HAS SOPS 873841 HAS SOUS 248081 HAS SOUPS 248049 WITH SCORE 248923.078
AT ITER 4736 NEW BEST:: SOT 1188849 SOS 873800 HAS SOPS 873563 HAS SOUS 247803 HAS SOUPS 247771 WITH SCORE 248644.8
AT ITER 4750 NEW BEST:: SOT 1188825 SOS 873752 HAS SOPS 873515 HAS SOUS 247563 HAS SOUPS 247531 WITH SCORE 248404.752
AT ITER 4765 NEW BEST:: SOT 1188819 SOS 873740 HAS SOPS 873503 HAS SOUS 247557 HAS SOUPS 247525 WITH SCORE 248398.74
AT ITER 4769 NEW BEST:: SOT 1188781 SOS 873695 HAS SOPS 873458 HAS SOUS 247504 HAS SOUPS 247472 WITH SCORE 248345.695
AT ITER 4778 NEW BEST:: SOT 1188791 SOS 873705 HAS SOPS 873468 HAS SOUS 247503 HAS SOUPS 247471 WITH SCORE 248344.705
AT ITER 4794 NEW BEST:: SOT 1188785 SOS 873674 HAS SOPS 873437 HAS SOUS 247491 HAS SOUPS 247459 WITH SCORE 248332.674
AT ITER 4807 NEW BEST:: SOT 1188680 SOS 873459 HAS SOPS 873222 HAS SOUS 247270 HAS SOUPS 247238 WITH SCORE 248111.459
AT ITER 4831 NEW BEST:: SOT 1188670 SOS 873449 HAS SOPS 873212 HAS SOUS 247260 HAS SOUPS 247228 WITH SCORE 248101.449
AT ITER 4847 NEW BEST:: SOT 1188670 SOS 873449 HAS SOPS 873212 HAS SOUS 247256 HAS SOUPS 247224 WITH SCORE 248097.449
AT ITER 4860 NEW BEST:: SOT 1188685 SOS 873464 HAS SOPS 873227 HAS SOUS 247245 HAS SOUPS 247213 WITH SCORE 248086.464
AT ITER 4926 NEW BEST:: SOT 1188693 SOS 873142 HAS SOPS 872905 HAS SOUS 246950 HAS SOUPS 246918 WITH SCORE 247791.142
AT ITER 4938 NEW BEST:: SOT 1188678 SOS 873112 HAS SOPS 872875 HAS SOUS 246918 HAS SOUPS 246886 WITH SCORE 247759.112
AT ITER 4945 NEW BEST:: SOT 1188636 SOS 873147 HAS SOPS 872910 HAS SOUS 246885 HAS SOUPS 246853 WITH SCORE 247726.147
AT ITER 4953 NEW BEST:: SOT 1188581 SOS 873092 HAS SOPS 872855 HAS SOUS 246814 HAS SOUPS 246782 WITH SCORE 247655.092
AT ITER 4960 NEW BEST:: SOT 1188256 SOS 873183 HAS SOPS 872946 HAS SOUS 246789 HAS SOUPS 246757 WITH SCORE 247630.183
AT ITER 4982 NEW BEST:: SOT 1188252 SOS 873179 HAS SOPS 872942 HAS SOUS 246636 HAS SOUPS 246604 WITH SCORE 247477.179
AT ITER 5037 NEW BEST:: SOT 1188241 SOS 873161 HAS SOPS 872924 HAS SOUS 246630 HAS SOUPS 246598 WITH SCORE 247471.161
AT ITER 5043 NEW BEST:: SOT 1188548 SOS 873404 HAS SOPS 873167 HAS SOUS 246275 HAS SOUPS 246243 WITH SCORE 247116.404
AT ITER 5063 NEW BEST:: SOT 1188539 SOS 873386 HAS SOPS 873149 HAS SOUS 246255 HAS SOUPS 246223 WITH SCORE 247096.386
AT ITER 5067 NEW BEST:: SOT 1188510 SOS 873328 HAS SOPS 873091 HAS SOUS 246235 HAS SOUPS 246203 WITH SCORE 247076.328
AT ITER 5068 NEW BEST:: SOT 1188510 SOS 867806 HAS SOPS 867569 HAS SOUS 244852 HAS SOUPS 244820 WITH SCORE 245687.806
AT ITER 5080 NEW BEST:: SOT 1188510 SOS 867746 HAS SOPS 867509 HAS SOUS 244793 HAS SOUPS 244761 WITH SCORE 245628.746
AT ITER 5081 NEW BEST:: SOT 1186878 SOS 866114 HAS SOPS 865877 HAS SOUS 244077 HAS SOUPS 244045 WITH SCORE 244911.114
AT ITER 5087 NEW BEST:: SOT 1186878 SOS 865106 HAS SOPS 864869 HAS SOUS 243925 HAS SOUPS 243893 WITH SCORE 244758.106
AT ITER 5091 NEW BEST:: SOT 1186790 SOS 864792 HAS SOPS 864555 HAS SOUS 243743 HAS SOUPS 243711 WITH SCORE 244575.792
AT ITER 5097 NEW BEST:: SOT 1186763 SOS 864981 HAS SOPS 864744 HAS SOUS 243716 HAS SOUPS 243684 WITH SCORE 244548.981
AT ITER 5110 NEW BEST:: SOT 1186576 SOS 864794 HAS SOPS 864557 HAS SOUS 243430 HAS SOUPS 243398 WITH SCORE 244262.794
AT ITER 5131 NEW BEST:: SOT 1186475 SOS 864596 HAS SOPS 864359 HAS SOUS 243228 HAS SOUPS 243196 WITH SCORE 244060.596
AT ITER 5145 NEW BEST:: SOT 1186526 SOS 864694 HAS SOPS 864457 HAS SOUS 243200 HAS SOUPS 243168 WITH SCORE 244032.694
AT ITER 5157 NEW BEST:: SOT 1186513 SOS 864681 HAS SOPS 864444 HAS SOUS 243196 HAS SOUPS 243164 WITH SCORE 244028.681
AT ITER 5162 NEW BEST:: SOT 1186422 SOS 864744 HAS SOPS 864507 HAS SOUS 243084 HAS SOUPS 243052 WITH SCORE 243916.744
AT ITER 5172 NEW BEST:: SOT 1186422 SOS 864744 HAS SOPS 864507 HAS SOUS 243073 HAS SOUPS 243041 WITH SCORE 243905.744
AT ITER 5176 NEW BEST:: SOT 1184972 SOS 863447 HAS SOPS 863210 HAS SOUS 242222 HAS SOUPS 242190 WITH SCORE 243053.447
AT ITER 5205 NEW BEST:: SOT 1184972 SOS 863447 HAS SOPS 863210 HAS SOUS 242199 HAS SOUPS 242167 WITH SCORE 243030.447
AT ITER 5210 NEW BEST:: SOT 1184892 SOS 862917 HAS SOPS 862680 HAS SOUS 241669 HAS SOUPS 241637 WITH SCORE 242499.917
AT ITER 5211 NEW BEST:: SOT 1185051 SOS 862653 HAS SOPS 862416 HAS SOUS 241666 HAS SOUPS 241634 WITH SCORE 242496.653
AT ITER 5214 NEW BEST:: SOT 1185086 SOS 862717 HAS SOPS 862480 HAS SOUS 241607 HAS SOUPS 241575 WITH SCORE 242437.717
AT ITER 5230 NEW BEST:: SOT 1185046 SOS 862655 HAS SOPS 862418 HAS SOUS 241527 HAS SOUPS 241495 WITH SCORE 242357.655
AT ITER 5235 NEW BEST:: SOT 1179159 SOS 858193 HAS SOPS 857956 HAS SOUS 240543 HAS SOUPS 240511 WITH SCORE 241369.193
AT ITER 5241 NEW BEST:: SOT 1179147 SOS 858285 HAS SOPS 858048 HAS SOUS 240423 HAS SOUPS 240391 WITH SCORE 241249.285
AT ITER 5244 NEW BEST:: SOT 1179147 SOS 858285 HAS SOPS 858048 HAS SOUS 240374 HAS SOUPS 240342 WITH SCORE 241200.285
AT ITER 5248 NEW BEST:: SOT 1179141 SOS 858275 HAS SOPS 858038 HAS SOUS 240364 HAS SOUPS 240332 WITH SCORE 241190.275
AT ITER 5335 NEW BEST:: SOT 1179054 SOS 858344 HAS SOPS 858107 HAS SOUS 240277 HAS SOUPS 240245 WITH SCORE 241103.344
AT ITER 5343 NEW BEST:: SOT 1178878 SOS 858421 HAS SOPS 858184 HAS SOUS 240222 HAS SOUPS 240190 WITH SCORE 241048.421
AT ITER 5371 NEW BEST:: SOT 1178850 SOS 858438 HAS SOPS 858201 HAS SOUS 240194 HAS SOUPS 240162 WITH SCORE 241020.438
AT ITER 5389 NEW BEST:: SOT 1178850 SOS 858438 HAS SOPS 858201 HAS SOUS 239744 HAS SOUPS 239712 WITH SCORE 240570.438
AT ITER 5436 NEW BEST:: SOT 1178848 SOS 858436 HAS SOPS 858199 HAS SOUS 239742 HAS SOUPS 239710 WITH SCORE 240568.436
AT ITER 5477 NEW BEST:: SOT 1178831 SOS 858419 HAS SOPS 858182 HAS SOUS 239689 HAS SOUPS 239657 WITH SCORE 240515.419
AT ITER 5487 NEW BEST:: SOT 1178831 SOS 858387 HAS SOPS 858150 HAS SOUS 239685 HAS SOUPS 239653 WITH SCORE 240511.387
AT ITER 5490 NEW BEST:: SOT 1178741 SOS 858395 HAS SOPS 858158 HAS SOUS 239579 HAS SOUPS 239547 WITH SCORE 240405.395
AT ITER 5500 NEW BEST:: SOT 1178708 SOS 858329 HAS SOPS 858092 HAS SOUS 239546 HAS SOUPS 239514 WITH SCORE 240372.329
AT ITER 5513 NEW BEST:: SOT 1178696 SOS 858317 HAS SOPS 858080 HAS SOUS 239540 HAS SOUPS 239508 WITH SCORE 240366.317
AT ITER 5528 NEW BEST:: SOT 1178696 SOS 858317 HAS SOPS 858080 HAS SOUS 239451 HAS SOUPS 239419 WITH SCORE 240277.317
AT ITER 5531 NEW BEST:: SOT 1178696 SOS 858270 HAS SOPS 858033 HAS SOUS 239365 HAS SOUPS 239333 WITH SCORE 240191.27
AT ITER 5542 NEW BEST:: SOT 1178688 SOS 858266 HAS SOPS 858029 HAS SOUS 239357 HAS SOUPS 239325 WITH SCORE 240183.266
AT ITER 5544 NEW BEST:: SOT 1178814 SOS 857965 HAS SOPS 857728 HAS SOUS 239350 HAS SOUPS 239318 WITH SCORE 240175.965
AT ITER 5548 NEW BEST:: SOT 1178814 SOS 857839 HAS SOPS 857602 HAS SOUS 239227 HAS SOUPS 239195 WITH SCORE 240052.839
AT ITER 5559 NEW BEST:: SOT 1179048 SOS 858076 HAS SOPS 857839 HAS SOUS 239111 HAS SOUPS 239079 WITH SCORE 239937.076
AT ITER 5581 NEW BEST:: SOT 1179048 SOS 858076 HAS SOPS 857839 HAS SOUS 239085 HAS SOUPS 239053 WITH SCORE 239911.076
AT ITER 5593 NEW BEST:: SOT 1178959 SOS 857987 HAS SOPS 857750 HAS SOUS 238908 HAS SOUPS 238876 WITH SCORE 239733.987
AT ITER 5600 NEW BEST:: SOT 1178945 SOS 858012 HAS SOPS 857775 HAS SOUS 238880 HAS SOUPS 238848 WITH SCORE 239706.012
AT ITER 5606 NEW BEST:: SOT 1178830 SOS 857936 HAS SOPS 857699 HAS SOUS 238866 HAS SOUPS 238834 WITH SCORE 239691.936
AT ITER 5620 NEW BEST:: SOT 1178799 SOS 857909 HAS SOPS 857672 HAS SOUS 238839 HAS SOUPS 238807 WITH SCORE 239664.909
AT ITER 5643 NEW BEST:: SOT 1178795 SOS 857905 HAS SOPS 857668 HAS SOUS 238768 HAS SOUPS 238736 WITH SCORE 239593.905
AT ITER 5675 NEW BEST:: SOT 1178705 SOS 857755 HAS SOPS 857518 HAS SOUS 238678 HAS SOUPS 238646 WITH SCORE 239503.755
AT ITER 5677 NEW BEST:: SOT 1178705 SOS 857741 HAS SOPS 857504 HAS SOUS 238678 HAS SOUPS 238646 WITH SCORE 239503.741
AT ITER 5679 NEW BEST:: SOT 1178662 SOS 857655 HAS SOPS 857418 HAS SOUS 238220 HAS SOUPS 238188 WITH SCORE 239045.655
AT ITER 5699 NEW BEST:: SOT 1178638 SOS 857576 HAS SOPS 857339 HAS SOUS 238172 HAS SOUPS 238140 WITH SCORE 238997.576
AT ITER 5706 NEW BEST:: SOT 1178720 SOS 857620 HAS SOPS 857383 HAS SOUS 238153 HAS SOUPS 238121 WITH SCORE 238978.62
AT ITER 5737 NEW BEST:: SOT 1178716 SOS 857632 HAS SOPS 857395 HAS SOUS 238149 HAS SOUPS 238117 WITH SCORE 238974.632
AT ITER 5766 NEW BEST:: SOT 1179146 SOS 858062 HAS SOPS 857825 HAS SOUS 237441 HAS SOUPS 237409 WITH SCORE 238267.062
AT ITER 5801 NEW BEST:: SOT 1179096 SOS 857971 HAS SOPS 857734 HAS SOUS 237350 HAS SOUPS 237318 WITH SCORE 238175.971
AT ITER 5804 NEW BEST:: SOT 1179033 SOS 857845 HAS SOPS 857608 HAS SOUS 237158 HAS SOUPS 237126 WITH SCORE 237983.845
AT ITER 5809 NEW BEST:: SOT 1178859 SOS 857671 HAS SOPS 857434 HAS SOUS 237044 HAS SOUPS 237012 WITH SCORE 237869.671
AT ITER 5814 NEW BEST:: SOT 1178859 SOS 857544 HAS SOPS 857307 HAS SOUS 237044 HAS SOUPS 237012 WITH SCORE 237869.544
AT ITER 5820 NEW BEST:: SOT 1178543 SOS 857423 HAS SOPS 857186 HAS SOUS 237042 HAS SOUPS 237010 WITH SCORE 237867.423
AT ITER 5825 NEW BEST:: SOT 1178543 SOS 857406 HAS SOPS 857186 HAS SOUS 237042 HAS SOUPS 237010 WITH SCORE 237867.406
AT ITER 5830 NEW BEST:: SOT 1178780 SOS 857643 HAS SOPS 857423 HAS SOUS 236261 HAS SOUPS 236229 WITH SCORE 237086.643
AT ITER 5841 NEW BEST:: SOT 1178803 SOS 857666 HAS SOPS 857446 HAS SOUS 236238 HAS SOUPS 236206 WITH SCORE 237063.666
AT ITER 5889 NEW BEST:: SOT 1178645 SOS 857541 HAS SOPS 857321 HAS SOUS 236113 HAS SOUPS 236081 WITH SCORE 236938.541
AT ITER 5893 NEW BEST:: SOT 1178636 SOS 857523 HAS SOPS 857303 HAS SOUS 236095 HAS SOUPS 236063 WITH SCORE 236920.523
AT ITER 5897 NEW BEST:: SOT 1178608 SOS 857342 HAS SOPS 857122 HAS SOUS 236026 HAS SOUPS 235994 WITH SCORE 236851.342
AT ITER 5905 NEW BEST:: SOT 1178592 SOS 857290 HAS SOPS 857070 HAS SOUS 235974 HAS SOUPS 235942 WITH SCORE 236799.29
AT ITER 5942 NEW BEST:: SOT 1175194 SOS 870734 HAS SOPS 870514 HAS SOUS 232745 HAS SOUPS 232713 WITH SCORE 233583.734
AT ITER 5957 NEW BEST:: SOT 1175117 SOS 870657 HAS SOPS 870437 HAS SOUS 232591 HAS SOUPS 232559 WITH SCORE 233429.657
AT ITER 6017 NEW BEST:: SOT 1175099 SOS 870737 HAS SOPS 870517 HAS SOUS 232562 HAS SOUPS 232530 WITH SCORE 233400.737
AT ITER 6020 NEW BEST:: SOT 1175052 SOS 870679 HAS SOPS 870459 HAS SOUS 232499 HAS SOUPS 232467 WITH SCORE 233337.679
AT ITER 6031 NEW BEST:: SOT 1175046 SOS 870673 HAS SOPS 870453 HAS SOUS 232493 HAS SOUPS 232461 WITH SCORE 233331.673
AT ITER 6064 NEW BEST:: SOT 1175009 SOS 870636 HAS SOPS 870416 HAS SOUS 232456 HAS SOUPS 232424 WITH SCORE 233294.636
AT ITER 6085 NEW BEST:: SOT 1174921 SOS 870466 HAS SOPS 870246 HAS SOUS 232264 HAS SOUPS 232232 WITH SCORE 233102.466
AT ITER 6089 NEW BEST:: SOT 1174880 SOS 870384 HAS SOPS 870164 HAS SOUS 232221 HAS SOUPS 232189 WITH SCORE 233059.384
AT ITER 6090 NEW BEST:: SOT 1174841 SOS 870297 HAS SOPS 870077 HAS SOUS 232134 HAS SOUPS 232102 WITH SCORE 232972.297
AT ITER 6091 NEW BEST:: SOT 1174886 SOS 870012 HAS SOPS 869792 HAS SOUS 231916 HAS SOUPS 231884 WITH SCORE 232754.012
AT ITER 6101 NEW BEST:: SOT 1174805 SOS 869780 HAS SOPS 869560 HAS SOUS 231561 HAS SOUPS 231529 WITH SCORE 232398.78
AT ITER 6113 NEW BEST:: SOT 1174730 SOS 869748 HAS SOPS 869528 HAS SOUS 231486 HAS SOUPS 231454 WITH SCORE 232323.748
AT ITER 6121 NEW BEST:: SOT 1174711 SOS 869710 HAS SOPS 869490 HAS SOUS 231448 HAS SOUPS 231416 WITH SCORE 232285.71
AT ITER 6124 NEW BEST:: SOT 1174711 SOS 869710 HAS SOPS 869490 HAS SOUS 231417 HAS SOUPS 231385 WITH SCORE 232254.71
AT ITER 6142 NEW BEST:: SOT 1174697 SOS 869682 HAS SOPS 869462 HAS SOUS 231389 HAS SOUPS 231357 WITH SCORE 232226.682
AT ITER 6157 NEW BEST:: SOT 1174697 SOS 869682 HAS SOPS 869462 HAS SOUS 231377 HAS SOUPS 231345 WITH SCORE 232214.682
AT ITER 6159 NEW BEST:: SOT 1174697 SOS 869571 HAS SOPS 869351 HAS SOUS 231266 HAS SOUPS 231234 WITH SCORE 232103.571
AT ITER 6168 NEW BEST:: SOT 1174708 SOS 869553 HAS SOPS 869333 HAS SOUS 231236 HAS SOUPS 231204 WITH SCORE 232073.553
AT ITER 6179 NEW BEST:: SOT 1174642 SOS 869467 HAS SOPS 869247 HAS SOUS 231150 HAS SOUPS 231118 WITH SCORE 231987.467
AT ITER 6185 NEW BEST:: SOT 1174627 SOS 869452 HAS SOPS 869232 HAS SOUS 231135 HAS SOUPS 231103 WITH SCORE 231972.452
AT ITER 6224 NEW BEST:: SOT 1174627 SOS 869452 HAS SOPS 869232 HAS SOUS 231081 HAS SOUPS 231049 WITH SCORE 231918.452
AT ITER 6235 NEW BEST:: SOT 1174627 SOS 869452 HAS SOPS 869232 HAS SOUS 231052 HAS SOUPS 231020 WITH SCORE 231889.452
AT ITER 6250 NEW BEST:: SOT 1174546 SOS 869290 HAS SOPS 869070 HAS SOUS 230971 HAS SOUPS 230939 WITH SCORE 231808.29
AT ITER 6261 NEW BEST:: SOT 1174546 SOS 869197 HAS SOPS 868977 HAS SOUS 230971 HAS SOUPS 230939 WITH SCORE 231808.197
AT ITER 6266 NEW BEST:: SOT 1174541 SOS 869182 HAS SOPS 868962 HAS SOUS 230959 HAS SOUPS 230927 WITH SCORE 231796.182
AT ITER 6270 NEW BEST:: SOT 1174511 SOS 869122 HAS SOPS 868902 HAS SOUS 230929 HAS SOUPS 230897 WITH SCORE 231766.122
AT ITER 6302 NEW BEST:: SOT 1174286 SOS 868839 HAS SOPS 868619 HAS SOUS 230731 HAS SOUPS 230699 WITH SCORE 231567.839
AT ITER 6319 NEW BEST:: SOT 1174187 SOS 868740 HAS SOPS 868520 HAS SOUS 230639 HAS SOUPS 230607 WITH SCORE 231475.74
AT ITER 6328 NEW BEST:: SOT 1174187 SOS 868716 HAS SOPS 868496 HAS SOUS 230615 HAS SOUPS 230583 WITH SCORE 231451.716
AT ITER 6330 NEW BEST:: SOT 1171203 SOS 865792 HAS SOPS 865572 HAS SOUS 227838 HAS SOUPS 227806 WITH SCORE 228671.792
AT ITER 6356 NEW BEST:: SOT 1171076 SOS 865801 HAS SOPS 865581 HAS SOUS 227835 HAS SOUPS 227803 WITH SCORE 228668.801
AT ITER 6362 NEW BEST:: SOT 1170979 SOS 865704 HAS SOPS 865484 HAS SOUS 227641 HAS SOUPS 227609 WITH SCORE 228474.704
AT ITER 6387 NEW BEST:: SOT 1170946 SOS 865671 HAS SOPS 865451 HAS SOUS 227608 HAS SOUPS 227576 WITH SCORE 228441.671
AT ITER 6403 NEW BEST:: SOT 1170901 SOS 865581 HAS SOPS 865361 HAS SOUS 227502 HAS SOUPS 227470 WITH SCORE 228335.581
AT ITER 6410 NEW BEST:: SOT 1170901 SOS 865581 HAS SOPS 865361 HAS SOUS 227501 HAS SOUPS 227469 WITH SCORE 228334.581
AT ITER 6411 NEW BEST:: SOT 1170878 SOS 865535 HAS SOPS 865315 HAS SOUS 227455 HAS SOUPS 227423 WITH SCORE 228288.535
AT ITER 6441 NEW BEST:: SOT 1170874 SOS 865493 HAS SOPS 865273 HAS SOUS 227425 HAS SOUPS 227393 WITH SCORE 228258.493
AT ITER 6445 NEW BEST:: SOT 1170902 SOS 865438 HAS SOPS 865218 HAS SOUS 227370 HAS SOUPS 227338 WITH SCORE 228203.438
AT ITER 6451 NEW BEST:: SOT 1170901 SOS 865436 HAS SOPS 865216 HAS SOUS 227368 HAS SOUPS 227336 WITH SCORE 228201.436
AT ITER 6468 NEW BEST:: SOT 1170905 SOS 865440 HAS SOPS 865220 HAS SOUS 227340 HAS SOUPS 227308 WITH SCORE 228173.44
AT ITER 6472 NEW BEST:: SOT 1170896 SOS 865431 HAS SOPS 865211 HAS SOUS 227331 HAS SOUPS 227299 WITH SCORE 228164.431
AT ITER 6494 NEW BEST:: SOT 1170896 SOS 865400 HAS SOPS 865180 HAS SOUS 227331 HAS SOUPS 227299 WITH SCORE 228164.4
AT ITER 6524 NEW BEST:: SOT 1170896 SOS 865400 HAS SOPS 865178 HAS SOUS 227327 HAS SOUPS 227295 WITH SCORE 228160.4
AT ITER 6534 NEW BEST:: SOT 1170775 SOS 865279 HAS SOPS 865057 HAS SOUS 227206 HAS SOUPS 227174 WITH SCORE 228039.279
AT ITER 6540 NEW BEST:: SOT 1170735 SOS 865239 HAS SOPS 865017 HAS SOUS 227131 HAS SOUPS 227099 WITH SCORE 227964.239
AT ITER 6569 NEW BEST:: SOT 1170696 SOS 865200 HAS SOPS 864978 HAS SOUS 227080 HAS SOUPS 227048 WITH SCORE 227913.2
AT ITER 6592 NEW BEST:: SOT 1170673 SOS 865177 HAS SOPS 864955 HAS SOUS 226960 HAS SOUPS 226928 WITH SCORE 227793.177
AT ITER 6652 NEW BEST:: SOT 1170673 SOS 865177 HAS SOPS 864955 HAS SOUS 226957 HAS SOUPS 226925 WITH SCORE 227790.177
AT ITER 6661 NEW BEST:: SOT 1170599 SOS 865355 HAS SOPS 865133 HAS SOUS 226843 HAS SOUPS 226811 WITH SCORE 227676.355
AT ITER 6669 NEW BEST:: SOT 1169971 SOS 864727 HAS SOPS 864505 HAS SOUS 226049 HAS SOUPS 226017 WITH SCORE 226881.727
AT ITER 6684 NEW BEST:: SOT 1169953 SOS 864709 HAS SOPS 864487 HAS SOUS 226031 HAS SOUPS 225999 WITH SCORE 226863.709
AT ITER 6700 NEW BEST:: SOT 1169909 SOS 864665 HAS SOPS 864443 HAS SOUS 225987 HAS SOUPS 225955 WITH SCORE 226819.665
AT ITER 6703 NEW BEST:: SOT 1169840 SOS 864596 HAS SOPS 864374 HAS SOUS 225883 HAS SOUPS 225851 WITH SCORE 226715.596
AT ITER 6709 NEW BEST:: SOT 1169619 SOS 864511 HAS SOPS 864289 HAS SOUS 225662 HAS SOUPS 225630 WITH SCORE 226494.511
AT ITER 6715 NEW BEST:: SOT 1169588 SOS 864449 HAS SOPS 864227 HAS SOUS 225631 HAS SOUPS 225599 WITH SCORE 226463.449
AT ITER 6740 NEW BEST:: SOT 1167020 SOS 861881 HAS SOPS 861659 HAS SOUS 223048 HAS SOUPS 223016 WITH SCORE 223877.881
AT ITER 6797 NEW BEST:: SOT 1167079 SOS 861855 HAS SOPS 861633 HAS SOUS 223011 HAS SOUPS 222979 WITH SCORE 223840.855
AT ITER 6813 NEW BEST:: SOT 1167066 SOS 861774 HAS SOPS 861552 HAS SOUS 222930 HAS SOUPS 222898 WITH SCORE 223759.774
AT ITER 6818 NEW BEST:: SOT 1167058 SOS 861758 HAS SOPS 861536 HAS SOUS 222914 HAS SOUPS 222882 WITH SCORE 223743.758
AT ITER 6828 NEW BEST:: SOT 1167002 SOS 861725 HAS SOPS 861503 HAS SOUS 222737 HAS SOUPS 222705 WITH SCORE 223566.725
AT ITER 6831 NEW BEST:: SOT 1167671 SOS 862416 HAS SOPS 862194 HAS SOUS 222607 HAS SOUPS 222575 WITH SCORE 223437.416
AT ITER 6840 NEW BEST:: SOT 1167671 SOS 862416 HAS SOPS 862194 HAS SOUS 222604 HAS SOUPS 222572 WITH SCORE 223434.416
AT ITER 6858 NEW BEST:: SOT 1167620 SOS 862365 HAS SOPS 862143 HAS SOUS 222602 HAS SOUPS 222570 WITH SCORE 223432.365
AT ITER 6860 NEW BEST:: SOT 1167620 SOS 862365 HAS SOPS 862143 HAS SOUS 222572 HAS SOUPS 222540 WITH SCORE 223402.365
AT ITER 6862 NEW BEST:: SOT 1167695 SOS 717509 HAS SOPS 717287 HAS SOUS 222713 HAS SOUPS 222681 WITH SCORE 223398.509
AT ITER 6878 NEW BEST:: SOT 1167695 SOS 717509 HAS SOPS 717287 HAS SOUS 222705 HAS SOUPS 222673 WITH SCORE 223390.509
AT ITER 6895 NEW BEST:: SOT 1167607 SOS 717333 HAS SOPS 717111 HAS SOUS 222537 HAS SOUPS 222505 WITH SCORE 223222.333
AT ITER 6908 NEW BEST:: SOT 1167580 SOS 717306 HAS SOPS 717084 HAS SOUS 222429 HAS SOUPS 222397 WITH SCORE 223114.306
AT ITER 6913 NEW BEST:: SOT 1167562 SOS 717288 HAS SOPS 717066 HAS SOUS 222411 HAS SOUPS 222379 WITH SCORE 223096.288
AT ITER 6922 NEW BEST:: SOT 1167562 SOS 717274 HAS SOPS 717052 HAS SOUS 222397 HAS SOUPS 222365 WITH SCORE 223082.274
AT ITER 6954 NEW BEST:: SOT 1167562 SOS 717274 HAS SOPS 717052 HAS SOUS 222339 HAS SOUPS 222307 WITH SCORE 223024.274
AT ITER 6957 NEW BEST:: SOT 1167530 SOS 717018 HAS SOPS 716796 HAS SOUS 222115 HAS SOUPS 222083 WITH SCORE 222800.018
AT ITER 6958 NEW BEST:: SOT 1167506 SOS 717018 HAS SOPS 716796 HAS SOUS 222107 HAS SOUPS 222075 WITH SCORE 222792.018
AT ITER 6964 NEW BEST:: SOT 1167506 SOS 629018 HAS SOPS 628796 HAS SOUS 222107 HAS SOUPS 222075 WITH SCORE 222704.018
AT ITER 7020 NEW BEST:: SOT 1167498 SOS 629038 HAS SOPS 628816 HAS SOUS 222099 HAS SOUPS 222067 WITH SCORE 222696.038
AT ITER 7031 NEW BEST:: SOT 1167498 SOS 628990 HAS SOPS 628768 HAS SOUS 222081 HAS SOUPS 222049 WITH SCORE 222677.99
AT ITER 7067 NEW BEST:: SOT 1167459 SOS 628931 HAS SOPS 628709 HAS SOUS 222003 HAS SOUPS 221971 WITH SCORE 222599.931
AT ITER 7083 NEW BEST:: SOT 1167422 SOS 628856 HAS SOPS 628634 HAS SOUS 221935 HAS SOUPS 221903 WITH SCORE 222531.856
AT ITER 7087 NEW BEST:: SOT 1167476 SOS 628910 HAS SOPS 628688 HAS SOUS 221913 HAS SOUPS 221881 WITH SCORE 222509.91
AT ITER 7092 NEW BEST:: SOT 1167386 SOS 628820 HAS SOPS 628598 HAS SOUS 221823 HAS SOUPS 221791 WITH SCORE 222419.82
AT ITER 7108 NEW BEST:: SOT 1167425 SOS 628859 HAS SOPS 628637 HAS SOUS 221818 HAS SOUPS 221786 WITH SCORE 222414.859
AT ITER 7112 NEW BEST:: SOT 1167294 SOS 628728 HAS SOPS 628506 HAS SOUS 221548 HAS SOUPS 221516 WITH SCORE 222144.728
AT ITER 7144 NEW BEST:: SOT 1167294 SOS 628697 HAS SOPS 628475 HAS SOUS 221548 HAS SOUPS 221516 WITH SCORE 222144.697
AT ITER 7151 NEW BEST:: SOT 1167297 SOS 628700 HAS SOPS 628478 HAS SOUS 221485 HAS SOUPS 221453 WITH SCORE 222081.7
AT ITER 7166 NEW BEST:: SOT 1167296 SOS 628699 HAS SOPS 628477 HAS SOUS 221484 HAS SOUPS 221452 WITH SCORE 222080.699
AT ITER 7169 NEW BEST:: SOT 1167296 SOS 628563 HAS SOPS 628341 HAS SOUS 221480 HAS SOUPS 221448 WITH SCORE 222076.563
AT ITER 7174 NEW BEST:: SOT 1167151 SOS 628245 HAS SOPS 628023 HAS SOUS 221188 HAS SOUPS 221156 WITH SCORE 221784.245
AT ITER 7180 NEW BEST:: SOT 1166890 SOS 627900 HAS SOPS 627678 HAS SOUS 220741 HAS SOUPS 220709 WITH SCORE 221336.9
AT ITER 7196 NEW BEST:: SOT 1166765 SOS 627373 HAS SOPS 627151 HAS SOUS 220232 HAS SOUPS 220200 WITH SCORE 220827.373
AT ITER 7230 NEW BEST:: SOT 1166738 SOS 627346 HAS SOPS 627124 HAS SOUS 220200 HAS SOUPS 220168 WITH SCORE 220795.346
AT ITER 7247 NEW BEST:: SOT 1166705 SOS 627235 HAS SOPS 627013 HAS SOUS 219870 HAS SOUPS 219838 WITH SCORE 220465.235
AT ITER 7251 NEW BEST:: SOT 1166608 SOS 627033 HAS SOPS 626811 HAS SOUS 219668 HAS SOUPS 219636 WITH SCORE 220263.033
AT ITER 7253 NEW BEST:: SOT 1166576 SOS 627001 HAS SOPS 626779 HAS SOUS 219604 HAS SOUPS 219572 WITH SCORE 220199.001
AT ITER 7255 NEW BEST:: SOT 1166437 SOS 626862 HAS SOPS 626640 HAS SOUS 219460 HAS SOUPS 219428 WITH SCORE 220054.862
AT ITER 7285 NEW BEST:: SOT 1166437 SOS 626862 HAS SOPS 626640 HAS SOUS 219413 HAS SOUPS 219381 WITH SCORE 220007.862
AT ITER 7325 NEW BEST:: SOT 1166318 SOS 626818 HAS SOPS 626596 HAS SOUS 219369 HAS SOUPS 219337 WITH SCORE 219963.818
AT ITER 7331 NEW BEST:: SOT 1166312 SOS 626812 HAS SOPS 626590 HAS SOUS 219363 HAS SOUPS 219331 WITH SCORE 219957.812
AT ITER 7364 NEW BEST:: SOT 1166300 SOS 626800 HAS SOPS 626578 HAS SOUS 219332 HAS SOUPS 219300 WITH SCORE 219926.8
AT ITER 7370 NEW BEST:: SOT 1166288 SOS 626788 HAS SOPS 626566 HAS SOUS 219320 HAS SOUPS 219288 WITH SCORE 219914.788
AT ITER 7376 NEW BEST:: SOT 1166276 SOS 626776 HAS SOPS 626554 HAS SOUS 219294 HAS SOUPS 219262 WITH SCORE 219888.776
AT ITER 7436 NEW BEST:: SOT 1166136 SOS 626504 HAS SOPS 626282 HAS SOUS 219239 HAS SOUPS 219207 WITH SCORE 219833.504
AT ITER 7446 NEW BEST:: SOT 1166138 SOS 626514 HAS SOPS 626292 HAS SOUS 219234 HAS SOUPS 219202 WITH SCORE 219828.514
AT ITER 7468 NEW BEST:: SOT 1166050 SOS 615860 HAS SOPS 615638 HAS SOUS 219137 HAS SOUPS 219105 WITH SCORE 219720.86
AT ITER 7471 NEW BEST:: SOT 1166040 SOS 615850 HAS SOPS 615628 HAS SOUS 219100 HAS SOUPS 219068 WITH SCORE 219683.85
AT ITER 7498 NEW BEST:: SOT 1166040 SOS 615840 HAS SOPS 615618 HAS SOUS 219099 HAS SOUPS 219067 WITH SCORE 219682.84
AT ITER 7525 NEW BEST:: SOT 1165935 SOS 615645 HAS SOPS 615423 HAS SOUS 218904 HAS SOUPS 218872 WITH SCORE 219487.645
AT ITER 7532 NEW BEST:: SOT 1165930 SOS 615635 HAS SOPS 615413 HAS SOUS 218894 HAS SOUPS 218862 WITH SCORE 219477.635
AT ITER 7546 NEW BEST:: SOT 1165886 SOS 615619 HAS SOPS 615397 HAS SOUS 218878 HAS SOUPS 218846 WITH SCORE 219461.619
AT ITER 7548 NEW BEST:: SOT 1165737 SOS 615323 HAS SOPS 615101 HAS SOUS 218582 HAS SOUPS 218550 WITH SCORE 219165.323
AT ITER 7581 NEW BEST:: SOT 1165710 SOS 615296 HAS SOPS 615074 HAS SOUS 218539 HAS SOUPS 218507 WITH SCORE 219122.296
AT ITER 7595 NEW BEST:: SOT 1165625 SOS 615329 HAS SOPS 615107 HAS SOUS 218454 HAS SOUPS 218422 WITH SCORE 219037.329
AT ITER 7599 NEW BEST:: SOT 1165492 SOS 615179 HAS SOPS 614957 HAS SOUS 218346 HAS SOUPS 218314 WITH SCORE 218929.179
AT ITER 7615 NEW BEST:: SOT 1165492 SOS 615179 HAS SOPS 614957 HAS SOUS 218344 HAS SOUPS 218312 WITH SCORE 218927.179
AT ITER 7632 NEW BEST:: SOT 1165417 SOS 615029 HAS SOPS 614807 HAS SOUS 218269 HAS SOUPS 218237 WITH SCORE 218852.029
AT ITER 7690 NEW BEST:: SOT 1165409 SOS 614934 HAS SOPS 614712 HAS SOUS 218236 HAS SOUPS 218204 WITH SCORE 218818.934
AT ITER 7703 NEW BEST:: SOT 1165363 SOS 614888 HAS SOPS 614666 HAS SOUS 218191 HAS SOUPS 218159 WITH SCORE 218773.888
AT ITER 7729 NEW BEST:: SOT 1165550 SOS 614763 HAS SOPS 614541 HAS SOUS 217961 HAS SOUPS 217929 WITH SCORE 218543.763
AT ITER 7740 NEW BEST:: SOT 1165550 SOS 614763 HAS SOPS 614541 HAS SOUS 217955 HAS SOUPS 217923 WITH SCORE 218537.763
AT ITER 7749 NEW BEST:: SOT 1165541 SOS 614754 HAS SOPS 614532 HAS SOUS 217955 HAS SOUPS 217923 WITH SCORE 218537.754
AT ITER 7772 NEW BEST:: SOT 1165493 SOS 614761 HAS SOPS 614539 HAS SOUS 217937 HAS SOUPS 217905 WITH SCORE 218519.761
AT ITER 7773 NEW BEST:: SOT 1165503 SOS 614776 HAS SOPS 614554 HAS SOUS 217532 HAS SOUPS 217500 WITH SCORE 218114.776
AT ITER 7785 NEW BEST:: SOT 1165048 SOS 614321 HAS SOPS 614099 HAS SOUS 217026 HAS SOUPS 216994 WITH SCORE 217608.321
AT ITER 7788 NEW BEST:: SOT 1164956 SOS 614229 HAS SOPS 614007 HAS SOUS 216957 HAS SOUPS 216925 WITH SCORE 217539.229
AT ITER 7791 NEW BEST:: SOT 1164956 SOS 614143 HAS SOPS 613921 HAS SOUS 216957 HAS SOUPS 216925 WITH SCORE 217539.143
AT ITER 7806 NEW BEST:: SOT 1164882 SOS 614155 HAS SOPS 613933 HAS SOUS 216822 HAS SOUPS 216790 WITH SCORE 217404.155
AT ITER 7810 NEW BEST:: SOT 1164882 SOS 614281 HAS SOPS 614082 HAS SOUS 216806 HAS SOUPS 216774 WITH SCORE 217388.281
AT ITER 7826 NEW BEST:: SOT 1162748 SOS 612147 HAS SOPS 611948 HAS SOUS 214648 HAS SOUPS 214616 WITH SCORE 215228.147
AT ITER 7831 NEW BEST:: SOT 1162793 SOS 612061 HAS SOPS 611862 HAS SOUS 214613 HAS SOUPS 214581 WITH SCORE 215193.061
AT ITER 7845 NEW BEST:: SOT 1162733 SOS 612001 HAS SOPS 611802 HAS SOUS 214482 HAS SOUPS 214450 WITH SCORE 215062.001
AT ITER 7848 NEW BEST:: SOT 1162731 SOS 611999 HAS SOPS 611800 HAS SOUS 214478 HAS SOUPS 214446 WITH SCORE 215057.999
AT ITER 7860 NEW BEST:: SOT 1162701 SOS 611969 HAS SOPS 611770 HAS SOUS 214418 HAS SOUPS 214386 WITH SCORE 214997.969
AT ITER 7907 NEW BEST:: SOT 1162702 SOS 611942 HAS SOPS 611743 HAS SOUS 214391 HAS SOUPS 214359 WITH SCORE 214970.942
AT ITER 7909 NEW BEST:: SOT 1162630 SOS 611844 HAS SOPS 611645 HAS SOUS 214245 HAS SOUPS 214213 WITH SCORE 214824.844
AT ITER 7938 NEW BEST:: SOT 1163839 SOS 613000 HAS SOPS 612801 HAS SOUS 214015 HAS SOUPS 213983 WITH SCORE 214596.0
AT ITER 7971 NEW BEST:: SOT 1163831 SOS 612992 HAS SOPS 612793 HAS SOUS 214007 HAS SOUPS 213975 WITH SCORE 214587.992
AT ITER 7986 NEW BEST:: SOT 1163857 SOS 613018 HAS SOPS 612819 HAS SOUS 213931 HAS SOUPS 213899 WITH SCORE 214512.018
AT ITER 8014 NEW BEST:: SOT 1163831 SOS 612981 HAS SOPS 612782 HAS SOUS 213879 HAS SOUPS 213847 WITH SCORE 214459.981
AT ITER 8027 NEW BEST:: SOT 1163806 SOS 612956 HAS SOPS 612757 HAS SOUS 213829 HAS SOUPS 213797 WITH SCORE 214409.956
AT ITER 8031 NEW BEST:: SOT 1163901 SOS 612826 HAS SOPS 612627 HAS SOUS 213613 HAS SOUPS 213581 WITH SCORE 214193.826
AT ITER 8046 NEW BEST:: SOT 1163850 SOS 612708 HAS SOPS 612509 HAS SOUS 213465 HAS SOUPS 213433 WITH SCORE 214045.708
AT ITER 8053 NEW BEST:: SOT 1163918 SOS 612667 HAS SOPS 612468 HAS SOUS 213424 HAS SOUPS 213392 WITH SCORE 214004.667
AT ITER 8071 NEW BEST:: SOT 1163832 SOS 612611 HAS SOPS 612412 HAS SOUS 213338 HAS SOUPS 213306 WITH SCORE 213918.611
AT ITER 8078 NEW BEST:: SOT 1163832 SOS 612611 HAS SOPS 612412 HAS SOUS 213318 HAS SOUPS 213286 WITH SCORE 213898.611
AT ITER 8083 NEW BEST:: SOT 1163832 SOS 555755 HAS SOPS 555556 HAS SOUS 213318 HAS SOUPS 213286 WITH SCORE 213841.755
AT ITER 8092 NEW BEST:: SOT 1163832 SOS 555741 HAS SOPS 555542 HAS SOUS 213304 HAS SOUPS 213272 WITH SCORE 213827.741
AT ITER 8107 NEW BEST:: SOT 1163865 SOS 555826 HAS SOPS 555627 HAS SOUS 213257 HAS SOUPS 213225 WITH SCORE 213780.826
AT ITER 8112 NEW BEST:: SOT 1163841 SOS 555798 HAS SOPS 555599 HAS SOUS 213209 HAS SOUPS 213177 WITH SCORE 213732.798
AT ITER 8138 NEW BEST:: SOT 1163816 SOS 555773 HAS SOPS 555574 HAS SOUS 213191 HAS SOUPS 213159 WITH SCORE 213714.773
AT ITER 8180 NEW BEST:: SOT 1163816 SOS 555773 HAS SOPS 555574 HAS SOUS 213159 HAS SOUPS 213127 WITH SCORE 213682.773
AT ITER 8229 NEW BEST:: SOT 1163786 SOS 555727 HAS SOPS 555528 HAS SOUS 213098 HAS SOUPS 213066 WITH SCORE 213621.727
AT ITER 8248 NEW BEST:: SOT 1163786 SOS 555754 HAS SOPS 555555 HAS SOUS 213092 HAS SOUPS 213060 WITH SCORE 213615.754
AT ITER 8250 NEW BEST:: SOT 1163786 SOS 555754 HAS SOPS 555555 HAS SOUS 213071 HAS SOUPS 213039 WITH SCORE 213594.754
AT ITER 8254 NEW BEST:: SOT 1163758 SOS 555698 HAS SOPS 555499 HAS SOUS 213014 HAS SOUPS 212982 WITH SCORE 213537.698
AT ITER 8269 NEW BEST:: SOT 1163703 SOS 555596 HAS SOPS 555397 HAS SOUS 212904 HAS SOUPS 212872 WITH SCORE 213427.596
AT ITER 8273 NEW BEST:: SOT 1163617 SOS 555443 HAS SOPS 555244 HAS SOUS 212759 HAS SOUPS 212727 WITH SCORE 213282.443
AT ITER 8323 NEW BEST:: SOT 1163633 SOS 555459 HAS SOPS 555260 HAS SOUS 212748 HAS SOUPS 212716 WITH SCORE 213271.459
AT ITER 8326 NEW BEST:: SOT 1163626 SOS 555438 HAS SOPS 555239 HAS SOUS 212747 HAS SOUPS 212715 WITH SCORE 213270.438
AT ITER 8331 NEW BEST:: SOT 1162606 SOS 554418 HAS SOPS 554219 HAS SOUS 212289 HAS SOUPS 212257 WITH SCORE 212811.418
AT ITER 8360 NEW BEST:: SOT 1162580 SOS 554366 HAS SOPS 554167 HAS SOUS 212237 HAS SOUPS 212205 WITH SCORE 212759.366
AT ITER 8364 NEW BEST:: SOT 1162521 SOS 554307 HAS SOPS 554108 HAS SOUS 211813 HAS SOUPS 211781 WITH SCORE 212335.307
AT ITER 8400 NEW BEST:: SOT 1162487 SOS 554371 HAS SOPS 554172 HAS SOUS 211767 HAS SOUPS 211735 WITH SCORE 212289.371
AT ITER 8401 NEW BEST:: SOT 1162463 SOS 554323 HAS SOPS 554124 HAS SOUS 211743 HAS SOUPS 211711 WITH SCORE 212265.323
AT ITER 8424 NEW BEST:: SOT 1162457 SOS 554311 HAS SOPS 554112 HAS SOUS 211731 HAS SOUPS 211699 WITH SCORE 212253.311
AT ITER 8446 NEW BEST:: SOT 1162453 SOS 554307 HAS SOPS 554108 HAS SOUS 211727 HAS SOUPS 211695 WITH SCORE 212249.307
AT ITER 8459 NEW BEST:: SOT 1162451 SOS 554305 HAS SOPS 554106 HAS SOUS 211723 HAS SOUPS 211691 WITH SCORE 212245.305
AT ITER 8472 NEW BEST:: SOT 1162383 SOS 554237 HAS SOPS 554038 HAS SOUS 211619 HAS SOUPS 211587 WITH SCORE 212141.237
AT ITER 8532 NEW BEST:: SOT 1162360 SOS 554191 HAS SOPS 553992 HAS SOUS 211576 HAS SOUPS 211544 WITH SCORE 212098.191
AT ITER 8550 NEW BEST:: SOT 1162348 SOS 553037 HAS SOPS 552838 HAS SOUS 211552 HAS SOUPS 211520 WITH SCORE 212073.037
AT ITER 8563 NEW BEST:: SOT 1162337 SOS 553026 HAS SOPS 552827 HAS SOUS 211525 HAS SOUPS 211493 WITH SCORE 212046.026
AT ITER 8564 NEW BEST:: SOT 1162296 SOS 552944 HAS SOPS 552745 HAS SOUS 211455 HAS SOUPS 211423 WITH SCORE 211975.944
AT ITER 8574 NEW BEST:: SOT 1162296 SOS 552610 HAS SOPS 552411 HAS SOUS 211455 HAS SOUPS 211423 WITH SCORE 211975.61
AT ITER 8583 NEW BEST:: SOT 1162274 SOS 552572 HAS SOPS 552373 HAS SOUS 211405 HAS SOUPS 211373 WITH SCORE 211925.572
AT ITER 8601 NEW BEST:: SOT 1162265 SOS 552516 HAS SOPS 552317 HAS SOUS 211349 HAS SOUPS 211317 WITH SCORE 211869.516
AT ITER 8605 NEW BEST:: SOT 1162265 SOS 552515 HAS SOPS 552316 HAS SOUS 211349 HAS SOUPS 211317 WITH SCORE 211869.515
AT ITER 8628 NEW BEST:: SOT 1162237 SOS 553438 HAS SOPS 553239 HAS SOUS 211333 HAS SOUPS 211301 WITH SCORE 211854.438
AT ITER 8641 NEW BEST:: SOT 1162221 SOS 553422 HAS SOPS 553223 HAS SOUS 211322 HAS SOUPS 211290 WITH SCORE 211843.422
AT ITER 8654 NEW BEST:: SOT 1162260 SOS 553461 HAS SOPS 553262 HAS SOUS 211273 HAS SOUPS 211241 WITH SCORE 211794.461
AT ITER 8682 NEW BEST:: SOT 1162176 SOS 553377 HAS SOPS 553178 HAS SOUS 211169 HAS SOUPS 211137 WITH SCORE 211690.377
AT ITER 8685 NEW BEST:: SOT 1162176 SOS 553358 HAS SOPS 553159 HAS SOUS 211150 HAS SOUPS 211118 WITH SCORE 211671.358
AT ITER 8686 NEW BEST:: SOT 1162143 SOS 553325 HAS SOPS 553126 HAS SOUS 211099 HAS SOUPS 211067 WITH SCORE 211620.325
AT ITER 8694 NEW BEST:: SOT 1162413 SOS 553408 HAS SOPS 553209 HAS SOUS 211049 HAS SOUPS 211017 WITH SCORE 211570.408
AT ITER 8701 NEW BEST:: SOT 1162375 SOS 553370 HAS SOPS 553171 HAS SOUS 211011 HAS SOUPS 210979 WITH SCORE 211532.37
AT ITER 8720 NEW BEST:: SOT 1162285 SOS 553188 HAS SOPS 552989 HAS SOUS 210829 HAS SOUPS 210797 WITH SCORE 211350.188
AT ITER 8736 NEW BEST:: SOT 1162325 SOS 553227 HAS SOPS 553028 HAS SOUS 210731 HAS SOUPS 210699 WITH SCORE 211252.227
AT ITER 8741 NEW BEST:: SOT 1162302 SOS 553204 HAS SOPS 553005 HAS SOUS 210678 HAS SOUPS 210646 WITH SCORE 211199.204
AT ITER 8772 NEW BEST:: SOT 1162225 SOS 553127 HAS SOPS 552928 HAS SOUS 210552 HAS SOUPS 210520 WITH SCORE 211073.127
AT ITER 8777 NEW BEST:: SOT 1162195 SOS 553067 HAS SOPS 552868 HAS SOUS 210522 HAS SOUPS 210490 WITH SCORE 211043.067
AT ITER 8806 NEW BEST:: SOT 1162155 SOS 552994 HAS SOPS 552795 HAS SOUS 210449 HAS SOUPS 210417 WITH SCORE 210969.994
AT ITER 8813 NEW BEST:: SOT 1162155 SOS 552953 HAS SOPS 552754 HAS SOUS 210449 HAS SOUPS 210417 WITH SCORE 210969.953
AT ITER 8824 NEW BEST:: SOT 1162148 SOS 552946 HAS SOPS 552747 HAS SOUS 210403 HAS SOUPS 210371 WITH SCORE 210923.946
AT ITER 8825 NEW BEST:: SOT 1162148 SOS 552808 HAS SOPS 552609 HAS SOUS 210403 HAS SOUPS 210371 WITH SCORE 210923.808
AT ITER 8876 NEW BEST:: SOT 1157192 SOS 548676 HAS SOPS 548477 HAS SOUS 209173 HAS SOUPS 209141 WITH SCORE 209689.676
AT ITER 8877 NEW BEST:: SOT 1157126 SOS 548610 HAS SOPS 548411 HAS SOUS 209109 HAS SOUPS 209077 WITH SCORE 209625.61
AT ITER 8945 NEW BEST:: SOT 1157126 SOS 548610 HAS SOPS 548411 HAS SOUS 209106 HAS SOUPS 209074 WITH SCORE 209622.61
AT ITER 8955 NEW BEST:: SOT 1157058 SOS 548780 HAS SOPS 548581 HAS SOUS 209038 HAS SOUPS 209006 WITH SCORE 209554.78
AT ITER 8960 NEW BEST:: SOT 1157038 SOS 548749 HAS SOPS 548550 HAS SOUS 208995 HAS SOUPS 208963 WITH SCORE 209511.749
AT ITER 9009 NEW BEST:: SOT 1157102 SOS 548751 HAS SOPS 548552 HAS SOUS 208898 HAS SOUPS 208866 WITH SCORE 209414.751
AT ITER 9015 NEW BEST:: SOT 1157038 SOS 548687 HAS SOPS 548488 HAS SOUS 208804 HAS SOUPS 208772 WITH SCORE 209320.687
AT ITER 9034 NEW BEST:: SOT 1157002 SOS 548651 HAS SOPS 548452 HAS SOUS 208733 HAS SOUPS 208701 WITH SCORE 209249.651
AT ITER 9040 NEW BEST:: SOT 1156948 SOS 547947 HAS SOPS 547748 HAS SOUS 208686 HAS SOUPS 208654 WITH SCORE 209201.947
AT ITER 9043 NEW BEST:: SOT 1156922 SOS 547921 HAS SOPS 547722 HAS SOUS 208634 HAS SOUPS 208602 WITH SCORE 209149.921
AT ITER 9091 NEW BEST:: SOT 1156926 SOS 547925 HAS SOPS 547726 HAS SOUS 208628 HAS SOUPS 208596 WITH SCORE 209143.925
AT ITER 9108 NEW BEST:: SOT 1156919 SOS 547918 HAS SOPS 547719 HAS SOUS 208614 HAS SOUPS 208582 WITH SCORE 209129.918
AT ITER 9113 NEW BEST:: SOT 1156901 SOS 547892 HAS SOPS 547693 HAS SOUS 208588 HAS SOUPS 208556 WITH SCORE 209103.892
AT ITER 9130 NEW BEST:: SOT 1156891 SOS 547882 HAS SOPS 547683 HAS SOUS 208548 HAS SOUPS 208516 WITH SCORE 209063.882
AT ITER 9145 NEW BEST:: SOT 1156882 SOS 547873 HAS SOPS 547674 HAS SOUS 208533 HAS SOUPS 208501 WITH SCORE 209048.873
AT ITER 9150 NEW BEST:: SOT 1156868 SOS 548068 HAS SOPS 547869 HAS SOUS 208519 HAS SOUPS 208487 WITH SCORE 209035.068
AT ITER 9187 NEW BEST:: SOT 1156831 SOS 547994 HAS SOPS 547795 HAS SOUS 208445 HAS SOUPS 208413 WITH SCORE 208960.994
AT ITER 9192 NEW BEST:: SOT 1156824 SOS 547987 HAS SOPS 547788 HAS SOUS 208424 HAS SOUPS 208392 WITH SCORE 208939.987
AT ITER 9247 NEW BEST:: SOT 1156803 SOS 547945 HAS SOPS 547746 HAS SOUS 208390 HAS SOUPS 208358 WITH SCORE 208905.945
AT ITER 9261 NEW BEST:: SOT 1156781 SOS 547974 HAS SOPS 547775 HAS SOUS 208368 HAS SOUPS 208336 WITH SCORE 208883.974
AT ITER 9339 NEW BEST:: SOT 1156772 SOS 547966 HAS SOPS 547767 HAS SOUS 208359 HAS SOUPS 208327 WITH SCORE 208874.966
AT ITER 9347 NEW BEST:: SOT 1156769 SOS 547963 HAS SOPS 547764 HAS SOUS 208353 HAS SOUPS 208321 WITH SCORE 208868.963
AT ITER 9374 NEW BEST:: SOT 1156757 SOS 547951 HAS SOPS 547752 HAS SOUS 208305 HAS SOUPS 208273 WITH SCORE 208820.951
AT ITER 9390 NEW BEST:: SOT 1156738 SOS 547913 HAS SOPS 547714 HAS SOUS 208282 HAS SOUPS 208250 WITH SCORE 208797.913
AT ITER 9399 NEW BEST:: SOT 1156657 SOS 547751 HAS SOPS 547552 HAS SOUS 208145 HAS SOUPS 208113 WITH SCORE 208660.751
AT ITER 9414 NEW BEST:: SOT 1156657 SOS 547751 HAS SOPS 547552 HAS SOUS 208143 HAS SOUPS 208111 WITH SCORE 208658.751
AT ITER 9430 NEW BEST:: SOT 1156658 SOS 547752 HAS SOPS 547553 HAS SOUS 208142 HAS SOUPS 208110 WITH SCORE 208657.752
AT ITER 9450 NEW BEST:: SOT 1156613 SOS 547662 HAS SOPS 547463 HAS SOUS 208052 HAS SOUPS 208020 WITH SCORE 208567.662
AT ITER 9464 NEW BEST:: SOT 1156613 SOS 547638 HAS SOPS 547439 HAS SOUS 208028 HAS SOUPS 207996 WITH SCORE 208543.638
AT ITER 9481 NEW BEST:: SOT 1156680 SOS 547611 HAS SOPS 547412 HAS SOUS 207984 HAS SOUPS 207952 WITH SCORE 208499.611
AT ITER 9486 NEW BEST:: SOT 1156633 SOS 547505 HAS SOPS 547306 HAS SOUS 207834 HAS SOUPS 207802 WITH SCORE 208349.505
AT ITER 9490 NEW BEST:: SOT 1156632 SOS 547395 HAS SOPS 547196 HAS SOUS 207754 HAS SOUPS 207722 WITH SCORE 208269.395
AT ITER 9499 NEW BEST:: SOT 1156619 SOS 547382 HAS SOPS 547183 HAS SOUS 207741 HAS SOUPS 207709 WITH SCORE 208256.382
AT ITER 9550 NEW BEST:: SOT 1156546 SOS 547309 HAS SOPS 547110 HAS SOUS 207657 HAS SOUPS 207625 WITH SCORE 208172.309
AT ITER 9552 NEW BEST:: SOT 1156521 SOS 547146 HAS SOPS 546947 HAS SOUS 207593 HAS SOUPS 207561 WITH SCORE 208108.146
AT ITER 9554 NEW BEST:: SOT 1156509 SOS 547134 HAS SOPS 546935 HAS SOUS 207581 HAS SOUPS 207549 WITH SCORE 208096.134
AT ITER 9557 NEW BEST:: SOT 1156493 SOS 547097 HAS SOPS 546898 HAS SOUS 207544 HAS SOUPS 207512 WITH SCORE 208059.097
AT ITER 9560 NEW BEST:: SOT 1156427 SOS 547001 HAS SOPS 546802 HAS SOUS 207441 HAS SOUPS 207409 WITH SCORE 207956.001
AT ITER 9582 NEW BEST:: SOT 1156427 SOS 547001 HAS SOPS 546802 HAS SOUS 207436 HAS SOUPS 207404 WITH SCORE 207951.001
AT ITER 9591 NEW BEST:: SOT 1156405 SOS 546973 HAS SOPS 546774 HAS SOUS 207408 HAS SOUPS 207376 WITH SCORE 207922.973
AT ITER 9598 NEW BEST:: SOT 1156374 SOS 546942 HAS SOPS 546743 HAS SOUS 207310 HAS SOUPS 207278 WITH SCORE 207824.942
AT ITER 9599 NEW BEST:: SOT 1156398 SOS 546966 HAS SOPS 546767 HAS SOUS 207176 HAS SOUPS 207144 WITH SCORE 207690.966
AT ITER 9656 NEW BEST:: SOT 1156389 SOS 546660 HAS SOPS 546461 HAS SOUS 207094 HAS SOUPS 207062 WITH SCORE 207608.66
AT ITER 9668 NEW BEST:: SOT 1156389 SOS 546654 HAS SOPS 546455 HAS SOUS 207088 HAS SOUPS 207056 WITH SCORE 207602.654
AT ITER 9669 NEW BEST:: SOT 1156384 SOS 546649 HAS SOPS 546450 HAS SOUS 207028 HAS SOUPS 206996 WITH SCORE 207542.649
AT ITER 9673 NEW BEST:: SOT 1156175 SOS 546864 HAS SOPS 546665 HAS SOUS 207027 HAS SOUPS 206995 WITH SCORE 207541.864
AT ITER 9706 NEW BEST:: SOT 1156175 SOS 543587 HAS SOPS 543404 HAS SOUS 207027 HAS SOUPS 206995 WITH SCORE 207538.587
AT ITER 9720 NEW BEST:: SOT 1156168 SOS 543580 HAS SOPS 543397 HAS SOUS 207020 HAS SOUPS 206988 WITH SCORE 207531.58
AT ITER 9726 NEW BEST:: SOT 1156168 SOS 543580 HAS SOPS 543397 HAS SOUS 207003 HAS SOUPS 206971 WITH SCORE 207514.58
AT ITER 9748 NEW BEST:: SOT 1156149 SOS 543561 HAS SOPS 543378 HAS SOUS 206965 HAS SOUPS 206933 WITH SCORE 207476.561
AT ITER 9766 NEW BEST:: SOT 1156129 SOS 543541 HAS SOPS 543358 HAS SOUS 206925 HAS SOUPS 206893 WITH SCORE 207436.541
AT ITER 9808 NEW BEST:: SOT 1156633 SOS 542875 HAS SOPS 542692 HAS SOUS 206193 HAS SOUPS 206161 WITH SCORE 206703.875
AT ITER 9837 NEW BEST:: SOT 1156609 SOS 542827 HAS SOPS 542644 HAS SOUS 206143 HAS SOUPS 206111 WITH SCORE 206653.827
AT ITER 9863 NEW BEST:: SOT 1156609 SOS 542819 HAS SOPS 542636 HAS SOUS 206140 HAS SOUPS 206108 WITH SCORE 206650.819
AT ITER 9914 NEW BEST:: SOT 1156597 SOS 542860 HAS SOPS 542677 HAS SOUS 206139 HAS SOUPS 206107 WITH SCORE 206649.86
AT ITER 9929 NEW BEST:: SOT 1156579 SOS 542824 HAS SOPS 542641 HAS SOUS 206121 HAS SOUPS 206089 WITH SCORE 206631.824
AT ITER 9935 NEW BEST:: SOT 1156561 SOS 542806 HAS SOPS 542623 HAS SOUS 206103 HAS SOUPS 206071 WITH SCORE 206613.806

BK_STOP 1678813202646

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 408 Killed ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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