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.r323-tall-167889194600336.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 Raft-PT-07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194600336
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 572K
-rw-r--r-- 1 mcc users 6.6K Feb 26 17:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 17:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 26 17:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 17:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 17:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 147K Feb 26 17:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 26 17:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 26 17:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 120K 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 1679495391827

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=Raft-PT-07
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 07
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: 253 places, 442 transitions, 1664 arcs.
AT ITER 0 NEW BEST:: SOT 97840 SOS 65051 HAS SOPS 65023 HAS SOUS 51373 HAS SOUPS 51366 WITH SCORE 51431.051
AT ITER 1 NEW BEST:: SOT 97694 SOS 64899 HAS SOPS 64859 HAS SOUS 51220 HAS SOUPS 51202 WITH SCORE 51266.899
AT ITER 3 NEW BEST:: SOT 97392 SOS 64596 HAS SOPS 64532 HAS SOUS 50832 HAS SOUPS 50791 WITH SCORE 50855.596
AT ITER 5 NEW BEST:: SOT 97392 SOS 63896 HAS SOPS 63832 HAS SOUS 50832 HAS SOUPS 50791 WITH SCORE 50854.896
AT ITER 6 NEW BEST:: SOT 97392 SOS 63417 HAS SOPS 63353 HAS SOUS 50832 HAS SOUPS 50791 WITH SCORE 50854.417
AT ITER 8 NEW BEST:: SOT 97392 SOS 62962 HAS SOPS 62898 HAS SOUS 50805 HAS SOUPS 50764 WITH SCORE 50826.962
AT ITER 9 NEW BEST:: SOT 97392 SOS 62957 HAS SOPS 62893 HAS SOUS 50805 HAS SOUPS 50764 WITH SCORE 50826.957
AT ITER 10 NEW BEST:: SOT 97392 SOS 62474 HAS SOPS 62410 HAS SOUS 50805 HAS SOUPS 50764 WITH SCORE 50826.474
AT ITER 12 NEW BEST:: SOT 97392 SOS 61786 HAS SOPS 61722 HAS SOUS 50783 HAS SOUPS 50742 WITH SCORE 50803.786
AT ITER 14 NEW BEST:: SOT 97392 SOS 61591 HAS SOPS 61527 HAS SOUS 50783 HAS SOUPS 50742 WITH SCORE 50803.591
AT ITER 23 NEW BEST:: SOT 97324 SOS 61474 HAS SOPS 61399 HAS SOUS 50639 HAS SOUPS 50588 WITH SCORE 50649.474
AT ITER 24 NEW BEST:: SOT 97324 SOS 61317 HAS SOPS 61242 HAS SOUS 50545 HAS SOUPS 50494 WITH SCORE 50555.317
AT ITER 25 NEW BEST:: SOT 97218 SOS 61104 HAS SOPS 61018 HAS SOUS 50213 HAS SOUPS 50152 WITH SCORE 50213.104
AT ITER 26 NEW BEST:: SOT 97441 SOS 60924 HAS SOPS 59970 HAS SOUS 50346 HAS SOUPS 49417 WITH SCORE 49477.924
AT ITER 27 NEW BEST:: SOT 95677 SOS 62858 HAS SOPS 58934 HAS SOUS 49660 HAS SOUPS 48565 WITH SCORE 48627.858
AT ITER 30 NEW BEST:: SOT 95677 SOS 62626 HAS SOPS 58702 HAS SOUS 49660 HAS SOUPS 48565 WITH SCORE 48627.626
AT ITER 37 NEW BEST:: SOT 95677 SOS 62598 HAS SOPS 58674 HAS SOUS 49660 HAS SOUPS 48565 WITH SCORE 48627.598
AT ITER 44 NEW BEST:: SOT 95677 SOS 62587 HAS SOPS 58663 HAS SOUS 49660 HAS SOUPS 48565 WITH SCORE 48627.587
AT ITER 45 NEW BEST:: SOT 95677 SOS 62501 HAS SOPS 58577 HAS SOUS 49506 HAS SOUPS 48411 WITH SCORE 48473.501
AT ITER 46 NEW BEST:: SOT 95345 SOS 62164 HAS SOPS 58186 HAS SOUS 49158 HAS SOUPS 48020 WITH SCORE 48082.164
AT ITER 49 NEW BEST:: SOT 95345 SOS 62125 HAS SOPS 58147 HAS SOUS 49158 HAS SOUPS 48020 WITH SCORE 48082.125
AT ITER 51 NEW BEST:: SOT 95345 SOS 62083 HAS SOPS 58105 HAS SOUS 49158 HAS SOUPS 48020 WITH SCORE 48082.083
AT ITER 54 NEW BEST:: SOT 95133 SOS 61954 HAS SOPS 57950 HAS SOUS 48886 HAS SOUPS 47744 WITH SCORE 47805.954
AT ITER 55 NEW BEST:: SOT 95133 SOS 61867 HAS SOPS 57863 HAS SOUS 48886 HAS SOUPS 47744 WITH SCORE 47805.867
AT ITER 57 NEW BEST:: SOT 93050 SOS 62765 HAS SOPS 56499 HAS SOUS 47802 HAS SOUPS 46512 WITH SCORE 46574.765
AT ITER 58 NEW BEST:: SOT 93050 SOS 62955 HAS SOPS 56556 HAS SOUS 47749 HAS SOUPS 46459 WITH SCORE 46521.955
AT ITER 59 NEW BEST:: SOT 93050 SOS 62802 HAS SOPS 56403 HAS SOUS 47722 HAS SOUPS 46432 WITH SCORE 46494.802
AT ITER 62 NEW BEST:: SOT 93041 SOS 62794 HAS SOPS 56385 HAS SOUS 47723 HAS SOUPS 46423 WITH SCORE 46485.794
AT ITER 63 NEW BEST:: SOT 93041 SOS 62788 HAS SOPS 56379 HAS SOUS 47717 HAS SOUPS 46417 WITH SCORE 46479.788
AT ITER 64 NEW BEST:: SOT 93041 SOS 62774 HAS SOPS 56365 HAS SOUS 47717 HAS SOUPS 46417 WITH SCORE 46479.774
AT ITER 68 NEW BEST:: SOT 92977 SOS 62071 HAS SOPS 55765 HAS SOUS 47484 HAS SOUPS 46268 WITH SCORE 46330.071
AT ITER 71 NEW BEST:: SOT 92959 SOS 62017 HAS SOPS 55711 HAS SOUS 47464 HAS SOUPS 46248 WITH SCORE 46310.017
AT ITER 72 NEW BEST:: SOT 92959 SOS 62000 HAS SOPS 55694 HAS SOUS 47464 HAS SOUPS 46248 WITH SCORE 46310.0
AT ITER 73 NEW BEST:: SOT 92910 SOS 61996 HAS SOPS 55675 HAS SOUS 47448 HAS SOUPS 46232 WITH SCORE 46293.996
AT ITER 74 NEW BEST:: SOT 92568 SOS 61766 HAS SOPS 55476 HAS SOUS 47250 HAS SOUPS 46030 WITH SCORE 46091.766
AT ITER 76 NEW BEST:: SOT 92559 SOS 61785 HAS SOPS 55469 HAS SOUS 47249 HAS SOUPS 46028 WITH SCORE 46089.785
AT ITER 77 NEW BEST:: SOT 92559 SOS 61765 HAS SOPS 55459 HAS SOUS 47249 HAS SOUPS 46028 WITH SCORE 46089.765
AT ITER 78 NEW BEST:: SOT 92495 SOS 61718 HAS SOPS 55385 HAS SOUS 47185 HAS SOUPS 45964 WITH SCORE 46025.718
AT ITER 81 NEW BEST:: SOT 92395 SOS 61548 HAS SOPS 55191 HAS SOUS 47013 HAS SOUPS 45770 WITH SCORE 45831.548
AT ITER 82 NEW BEST:: SOT 92025 SOS 60662 HAS SOPS 54858 HAS SOUS 46835 HAS SOUPS 45677 WITH SCORE 45737.662
AT ITER 84 NEW BEST:: SOT 91993 SOS 60630 HAS SOPS 54821 HAS SOUS 46815 HAS SOUPS 45641 WITH SCORE 45701.63
AT ITER 85 NEW BEST:: SOT 91908 SOS 60476 HAS SOPS 54662 HAS SOUS 46646 HAS SOUPS 45472 WITH SCORE 45532.476
AT ITER 86 NEW BEST:: SOT 91785 SOS 60364 HAS SOPS 54524 HAS SOUS 46510 HAS SOUPS 45334 WITH SCORE 45394.364
AT ITER 88 NEW BEST:: SOT 91661 SOS 60240 HAS SOPS 54372 HAS SOUS 46340 HAS SOUPS 45164 WITH SCORE 45224.24
AT ITER 89 NEW BEST:: SOT 91577 SOS 60156 HAS SOPS 54246 HAS SOUS 46172 HAS SOUPS 44996 WITH SCORE 45056.156
AT ITER 90 NEW BEST:: SOT 91569 SOS 60100 HAS SOPS 54182 HAS SOUS 46172 HAS SOUPS 44988 WITH SCORE 45048.1
AT ITER 91 NEW BEST:: SOT 91404 SOS 59904 HAS SOPS 53986 HAS SOUS 45945 HAS SOUPS 44761 WITH SCORE 44820.904
AT ITER 93 NEW BEST:: SOT 91404 SOS 59761 HAS SOPS 53843 HAS SOUS 45945 HAS SOUPS 44761 WITH SCORE 44820.761
AT ITER 95 NEW BEST:: SOT 91165 SOS 59525 HAS SOPS 53744 HAS SOUS 45793 HAS SOUPS 44609 WITH SCORE 44668.525
AT ITER 96 NEW BEST:: SOT 90881 SOS 59238 HAS SOPS 53471 HAS SOUS 45490 HAS SOUPS 44304 WITH SCORE 44363.238
AT ITER 102 NEW BEST:: SOT 90763 SOS 59150 HAS SOPS 53392 HAS SOUS 45413 HAS SOUPS 44227 WITH SCORE 44286.15
AT ITER 103 NEW BEST:: SOT 90667 SOS 58958 HAS SOPS 53200 HAS SOUS 45212 HAS SOUPS 44026 WITH SCORE 44084.958
AT ITER 108 NEW BEST:: SOT 90658 SOS 58967 HAS SOPS 53184 HAS SOUS 45194 HAS SOUPS 44008 WITH SCORE 44066.967
AT ITER 109 NEW BEST:: SOT 90658 SOS 58951 HAS SOPS 53167 HAS SOUS 45163 HAS SOUPS 43977 WITH SCORE 44035.951
AT ITER 111 NEW BEST:: SOT 90664 SOS 58963 HAS SOPS 53179 HAS SOUS 45155 HAS SOUPS 43969 WITH SCORE 44027.963
AT ITER 112 NEW BEST:: SOT 90591 SOS 58614 HAS SOPS 52830 HAS SOUS 44841 HAS SOUPS 43655 WITH SCORE 43713.614
AT ITER 113 NEW BEST:: SOT 90025 SOS 58172 HAS SOPS 52618 HAS SOUS 44346 HAS SOUPS 43160 WITH SCORE 43218.172
AT ITER 117 NEW BEST:: SOT 90025 SOS 58172 HAS SOPS 52548 HAS SOUS 44344 HAS SOUPS 43158 WITH SCORE 43216.172
AT ITER 121 NEW BEST:: SOT 89881 SOS 58028 HAS SOPS 52404 HAS SOUS 44283 HAS SOUPS 43097 WITH SCORE 43155.028
AT ITER 123 NEW BEST:: SOT 89881 SOS 58002 HAS SOPS 52378 HAS SOUS 44257 HAS SOUPS 43071 WITH SCORE 43129.002
AT ITER 125 NEW BEST:: SOT 89423 SOS 57543 HAS SOPS 52039 HAS SOUS 43832 HAS SOUPS 42644 WITH SCORE 42701.543
AT ITER 132 NEW BEST:: SOT 89351 SOS 57349 HAS SOPS 51836 HAS SOUS 43545 HAS SOUPS 42357 WITH SCORE 42414.349
AT ITER 133 NEW BEST:: SOT 89280 SOS 57278 HAS SOPS 51765 HAS SOUS 43474 HAS SOUPS 42286 WITH SCORE 42343.278
AT ITER 135 NEW BEST:: SOT 89260 SOS 57238 HAS SOPS 51725 HAS SOUS 43454 HAS SOUPS 42266 WITH SCORE 42323.238
AT ITER 142 NEW BEST:: SOT 87502 SOS 56039 HAS SOPS 50237 HAS SOUS 42196 HAS SOUPS 40928 WITH SCORE 40984.039
AT ITER 146 NEW BEST:: SOT 87049 SOS 55891 HAS SOPS 50089 HAS SOUS 41908 HAS SOUPS 40640 WITH SCORE 40695.891
AT ITER 147 NEW BEST:: SOT 87049 SOS 55925 HAS SOPS 49969 HAS SOUS 41882 HAS SOUPS 40614 WITH SCORE 40669.925
AT ITER 148 NEW BEST:: SOT 87049 SOS 55932 HAS SOPS 49976 HAS SOUS 41859 HAS SOUPS 40591 WITH SCORE 40646.932
AT ITER 149 NEW BEST:: SOT 87036 SOS 55893 HAS SOPS 49937 HAS SOUS 41820 HAS SOUPS 40552 WITH SCORE 40607.893
AT ITER 151 NEW BEST:: SOT 86767 SOS 55671 HAS SOPS 49640 HAS SOUS 41353 HAS SOUPS 40085 WITH SCORE 40140.671
AT ITER 154 NEW BEST:: SOT 86767 SOS 55655 HAS SOPS 49595 HAS SOUS 41353 HAS SOUPS 40085 WITH SCORE 40140.655
AT ITER 157 NEW BEST:: SOT 86601 SOS 55489 HAS SOPS 49448 HAS SOUS 41179 HAS SOUPS 39943 WITH SCORE 39998.489
AT ITER 159 NEW BEST:: SOT 86540 SOS 55360 HAS SOPS 49319 HAS SOUS 41172 HAS SOUPS 39936 WITH SCORE 39991.36
AT ITER 160 NEW BEST:: SOT 86540 SOS 55346 HAS SOPS 49319 HAS SOUS 41172 HAS SOUPS 39936 WITH SCORE 39991.346
AT ITER 163 NEW BEST:: SOT 86536 SOS 55338 HAS SOPS 49311 HAS SOUS 41168 HAS SOUPS 39932 WITH SCORE 39987.338
AT ITER 164 NEW BEST:: SOT 86508 SOS 55303 HAS SOPS 49269 HAS SOUS 41126 HAS SOUPS 39890 WITH SCORE 39945.303
AT ITER 165 NEW BEST:: SOT 86454 SOS 55249 HAS SOPS 49221 HAS SOUS 41067 HAS SOUPS 39831 WITH SCORE 39886.249
AT ITER 167 NEW BEST:: SOT 86637 SOS 55291 HAS SOPS 48611 HAS SOUS 41189 HAS SOUPS 39240 WITH SCORE 39295.291
AT ITER 168 NEW BEST:: SOT 85249 SOS 54921 HAS SOPS 47611 HAS SOUS 40224 HAS SOUPS 38224 WITH SCORE 38278.921
AT ITER 169 NEW BEST:: SOT 85200 SOS 54872 HAS SOPS 47562 HAS SOUS 40184 HAS SOUPS 38184 WITH SCORE 38238.872
AT ITER 174 NEW BEST:: SOT 84794 SOS 54466 HAS SOPS 47184 HAS SOUS 39764 HAS SOUPS 37764 WITH SCORE 37818.466
AT ITER 176 NEW BEST:: SOT 84794 SOS 54436 HAS SOPS 47154 HAS SOUS 39764 HAS SOUPS 37764 WITH SCORE 37818.436
AT ITER 177 NEW BEST:: SOT 84782 SOS 54424 HAS SOPS 47142 HAS SOUS 39758 HAS SOUPS 37758 WITH SCORE 37812.424
AT ITER 179 NEW BEST:: SOT 84782 SOS 54359 HAS SOPS 47077 HAS SOUS 39753 HAS SOUPS 37753 WITH SCORE 37807.359
AT ITER 186 NEW BEST:: SOT 84782 SOS 54325 HAS SOPS 47042 HAS SOUS 39753 HAS SOUPS 37753 WITH SCORE 37807.325
AT ITER 190 NEW BEST:: SOT 84750 SOS 54315 HAS SOPS 47024 HAS SOUS 39714 HAS SOUPS 37691 WITH SCORE 37745.315
AT ITER 192 NEW BEST:: SOT 84738 SOS 54297 HAS SOPS 47000 HAS SOUS 39695 HAS SOUPS 37672 WITH SCORE 37726.297
AT ITER 194 NEW BEST:: SOT 84338 SOS 53999 HAS SOPS 46818 HAS SOUS 39354 HAS SOUPS 37331 WITH SCORE 37384.999
AT ITER 195 NEW BEST:: SOT 84288 SOS 53949 HAS SOPS 46718 HAS SOUS 39327 HAS SOUPS 37304 WITH SCORE 37357.949
AT ITER 198 NEW BEST:: SOT 84328 SOS 53428 HAS SOPS 46435 HAS SOUS 39127 HAS SOUPS 37248 WITH SCORE 37301.428
AT ITER 201 NEW BEST:: SOT 84290 SOS 53352 HAS SOPS 46321 HAS SOUS 39026 HAS SOUPS 37147 WITH SCORE 37200.352
AT ITER 204 NEW BEST:: SOT 83489 SOS 52570 HAS SOPS 45403 HAS SOUS 38095 HAS SOUPS 36309 WITH SCORE 36361.57
AT ITER 207 NEW BEST:: SOT 83332 SOS 52538 HAS SOPS 45375 HAS SOUS 38002 HAS SOUPS 36216 WITH SCORE 36268.538
AT ITER 211 NEW BEST:: SOT 83332 SOS 52306 HAS SOPS 45143 HAS SOUS 37954 HAS SOUPS 36168 WITH SCORE 36220.306
AT ITER 214 NEW BEST:: SOT 83084 SOS 52327 HAS SOPS 45173 HAS SOUS 37884 HAS SOUPS 36102 WITH SCORE 36154.327
AT ITER 217 NEW BEST:: SOT 83058 SOS 52344 HAS SOPS 45134 HAS SOUS 37797 HAS SOUPS 36038 WITH SCORE 36090.344
AT ITER 219 NEW BEST:: SOT 83040 SOS 52335 HAS SOPS 45143 HAS SOUS 37779 HAS SOUPS 36020 WITH SCORE 36072.335
AT ITER 220 NEW BEST:: SOT 83040 SOS 52277 HAS SOPS 45273 HAS SOUS 37779 HAS SOUPS 36020 WITH SCORE 36072.277
AT ITER 225 NEW BEST:: SOT 81756 SOS 51511 HAS SOPS 44292 HAS SOUS 36981 HAS SOUPS 35169 WITH SCORE 35220.511
AT ITER 228 NEW BEST:: SOT 81682 SOS 51422 HAS SOPS 44188 HAS SOUS 36892 HAS SOUPS 35080 WITH SCORE 35131.422
AT ITER 229 NEW BEST:: SOT 81661 SOS 51378 HAS SOPS 44144 HAS SOUS 36885 HAS SOUPS 35073 WITH SCORE 35124.378
AT ITER 232 NEW BEST:: SOT 81607 SOS 51331 HAS SOPS 44041 HAS SOUS 36772 HAS SOUPS 34960 WITH SCORE 35011.331
AT ITER 235 NEW BEST:: SOT 81032 SOS 50739 HAS SOPS 43449 HAS SOUS 36145 HAS SOUPS 34333 WITH SCORE 34383.739
AT ITER 247 NEW BEST:: SOT 80984 SOS 50663 HAS SOPS 43430 HAS SOUS 36073 HAS SOUPS 34261 WITH SCORE 34311.663
AT ITER 252 NEW BEST:: SOT 80984 SOS 50650 HAS SOPS 43417 HAS SOUS 36069 HAS SOUPS 34257 WITH SCORE 34307.65
AT ITER 253 NEW BEST:: SOT 80902 SOS 50568 HAS SOPS 43357 HAS SOUS 35991 HAS SOUPS 34179 WITH SCORE 34229.568
AT ITER 256 NEW BEST:: SOT 80669 SOS 50403 HAS SOPS 43416 HAS SOUS 35962 HAS SOUPS 34151 WITH SCORE 34201.403
AT ITER 259 NEW BEST:: SOT 80600 SOS 50318 HAS SOPS 43315 HAS SOUS 35861 HAS SOUPS 34050 WITH SCORE 34100.318
AT ITER 262 NEW BEST:: SOT 80491 SOS 50548 HAS SOPS 43533 HAS SOUS 35820 HAS SOUPS 34009 WITH SCORE 34059.548
AT ITER 267 NEW BEST:: SOT 80477 SOS 50598 HAS SOPS 43515 HAS SOUS 35768 HAS SOUPS 33957 WITH SCORE 34007.598
AT ITER 268 NEW BEST:: SOT 80243 SOS 50286 HAS SOPS 43139 HAS SOUS 35361 HAS SOUPS 33550 WITH SCORE 33600.286
AT ITER 269 NEW BEST:: SOT 80041 SOS 50451 HAS SOPS 43241 HAS SOUS 35247 HAS SOUPS 33436 WITH SCORE 33486.451
AT ITER 275 NEW BEST:: SOT 80053 SOS 50508 HAS SOPS 43298 HAS SOUS 35246 HAS SOUPS 33435 WITH SCORE 33485.508
AT ITER 276 NEW BEST:: SOT 80002 SOS 50457 HAS SOPS 43247 HAS SOUS 35195 HAS SOUPS 33384 WITH SCORE 33434.457
AT ITER 285 NEW BEST:: SOT 79698 SOS 50153 HAS SOPS 43091 HAS SOUS 35042 HAS SOUPS 33231 WITH SCORE 33281.153
AT ITER 288 NEW BEST:: SOT 79490 SOS 49945 HAS SOPS 42947 HAS SOUS 34914 HAS SOUPS 33125 WITH SCORE 33174.945
AT ITER 299 NEW BEST:: SOT 79486 SOS 49941 HAS SOPS 42944 HAS SOUS 34910 HAS SOUPS 33121 WITH SCORE 33170.941
AT ITER 302 NEW BEST:: SOT 79414 SOS 49803 HAS SOPS 42800 HAS SOUS 34802 HAS SOUPS 33013 WITH SCORE 33062.803
AT ITER 306 NEW BEST:: SOT 79268 SOS 49657 HAS SOPS 42689 HAS SOUS 34635 HAS SOUPS 32846 WITH SCORE 32895.657
AT ITER 307 NEW BEST:: SOT 79116 SOS 49505 HAS SOPS 42575 HAS SOUS 34461 HAS SOUPS 32695 WITH SCORE 32744.505
AT ITER 309 NEW BEST:: SOT 78814 SOS 49073 HAS SOPS 42139 HAS SOUS 34068 HAS SOUPS 32299 WITH SCORE 32348.073
AT ITER 310 NEW BEST:: SOT 78814 SOS 48895 HAS SOPS 41961 HAS SOUS 34068 HAS SOUPS 32299 WITH SCORE 32347.895
AT ITER 311 NEW BEST:: SOT 78756 SOS 49070 HAS SOPS 42049 HAS SOUS 33991 HAS SOUPS 32135 WITH SCORE 32184.07
AT ITER 312 NEW BEST:: SOT 78756 SOS 49070 HAS SOPS 41979 HAS SOUS 33985 HAS SOUPS 32129 WITH SCORE 32178.07
AT ITER 314 NEW BEST:: SOT 78763 SOS 49103 HAS SOPS 42012 HAS SOUS 33981 HAS SOUPS 32125 WITH SCORE 32174.103
AT ITER 318 NEW BEST:: SOT 78710 SOS 48973 HAS SOPS 41850 HAS SOUS 33815 HAS SOUPS 31959 WITH SCORE 32007.973
AT ITER 320 NEW BEST:: SOT 78467 SOS 48583 HAS SOPS 41433 HAS SOUS 33597 HAS SOUPS 31723 WITH SCORE 31771.583
AT ITER 333 NEW BEST:: SOT 78349 SOS 48360 HAS SOPS 41186 HAS SOUS 33384 HAS SOUPS 31490 WITH SCORE 31538.36
AT ITER 336 NEW BEST:: SOT 78328 SOS 48381 HAS SOPS 41186 HAS SOUS 33364 HAS SOUPS 31470 WITH SCORE 31518.381
AT ITER 337 NEW BEST:: SOT 78292 SOS 48459 HAS SOPS 41246 HAS SOUS 33310 HAS SOUPS 31416 WITH SCORE 31464.459
AT ITER 338 NEW BEST:: SOT 78077 SOS 48086 HAS SOPS 40723 HAS SOUS 32983 HAS SOUPS 31069 WITH SCORE 31117.086
AT ITER 343 NEW BEST:: SOT 78023 SOS 48052 HAS SOPS 40642 HAS SOUS 32882 HAS SOUPS 30968 WITH SCORE 31016.052
AT ITER 348 NEW BEST:: SOT 77923 SOS 47883 HAS SOPS 40507 HAS SOUS 32834 HAS SOUPS 30912 WITH SCORE 30959.883
AT ITER 350 NEW BEST:: SOT 77889 SOS 47820 HAS SOPS 40439 HAS SOUS 32732 HAS SOUPS 30810 WITH SCORE 30857.82
AT ITER 351 NEW BEST:: SOT 77889 SOS 47794 HAS SOPS 40443 HAS SOUS 32732 HAS SOUPS 30810 WITH SCORE 30857.794
AT ITER 352 NEW BEST:: SOT 77801 SOS 47820 HAS SOPS 40286 HAS SOUS 32608 HAS SOUPS 30686 WITH SCORE 30733.82
AT ITER 354 NEW BEST:: SOT 77791 SOS 47807 HAS SOPS 40265 HAS SOUS 32593 HAS SOUPS 30671 WITH SCORE 30718.807
AT ITER 355 NEW BEST:: SOT 77783 SOS 47726 HAS SOPS 40184 HAS SOUS 32585 HAS SOUPS 30663 WITH SCORE 30710.726
AT ITER 356 NEW BEST:: SOT 77726 SOS 47669 HAS SOPS 40160 HAS SOUS 32561 HAS SOUPS 30639 WITH SCORE 30686.669
AT ITER 357 NEW BEST:: SOT 77726 SOS 47651 HAS SOPS 40160 HAS SOUS 32561 HAS SOUPS 30639 WITH SCORE 30686.651
AT ITER 361 NEW BEST:: SOT 77702 SOS 47646 HAS SOPS 40096 HAS SOUS 32494 HAS SOUPS 30592 WITH SCORE 30639.646
AT ITER 362 NEW BEST:: SOT 77656 SOS 47626 HAS SOPS 40062 HAS SOUS 32460 HAS SOUPS 30556 WITH SCORE 30603.626
AT ITER 369 NEW BEST:: SOT 77319 SOS 47382 HAS SOPS 39831 HAS SOUS 32125 HAS SOUPS 30221 WITH SCORE 30268.382
AT ITER 374 NEW BEST:: SOT 77319 SOS 47373 HAS SOPS 39822 HAS SOUS 32125 HAS SOUPS 30221 WITH SCORE 30268.373
AT ITER 375 NEW BEST:: SOT 77232 SOS 47121 HAS SOPS 39499 HAS SOUS 32022 HAS SOUPS 30118 WITH SCORE 30165.121
AT ITER 376 NEW BEST:: SOT 77190 SOS 47079 HAS SOPS 39415 HAS SOUS 31969 HAS SOUPS 30065 WITH SCORE 30112.079
AT ITER 380 NEW BEST:: SOT 77190 SOS 46979 HAS SOPS 39415 HAS SOUS 31969 HAS SOUPS 30065 WITH SCORE 30111.979
AT ITER 384 NEW BEST:: SOT 77166 SOS 46955 HAS SOPS 39367 HAS SOUS 31932 HAS SOUPS 30028 WITH SCORE 30074.955
AT ITER 385 NEW BEST:: SOT 74770 SOS 47762 HAS SOPS 38174 HAS SOUS 30829 HAS SOUPS 28767 WITH SCORE 28814.762
AT ITER 392 NEW BEST:: SOT 74770 SOS 47765 HAS SOPS 38177 HAS SOUS 30826 HAS SOUPS 28764 WITH SCORE 28811.765
AT ITER 396 NEW BEST:: SOT 74765 SOS 47755 HAS SOPS 38167 HAS SOUS 30816 HAS SOUPS 28754 WITH SCORE 28801.755
AT ITER 398 NEW BEST:: SOT 74660 SOS 47603 HAS SOPS 37989 HAS SOUS 30679 HAS SOUPS 28617 WITH SCORE 28664.603
AT ITER 401 NEW BEST:: SOT 74620 SOS 47563 HAS SOPS 37962 HAS SOUS 30628 HAS SOUPS 28586 WITH SCORE 28633.563
AT ITER 405 NEW BEST:: SOT 74540 SOS 47470 HAS SOPS 37856 HAS SOUS 30535 HAS SOUPS 28493 WITH SCORE 28540.47
AT ITER 410 NEW BEST:: SOT 74314 SOS 47287 HAS SOPS 37729 HAS SOUS 30423 HAS SOUPS 28368 WITH SCORE 28415.287
AT ITER 413 NEW BEST:: SOT 74304 SOS 47277 HAS SOPS 37729 HAS SOUS 30419 HAS SOUPS 28365 WITH SCORE 28412.277
AT ITER 414 NEW BEST:: SOT 74248 SOS 47221 HAS SOPS 37626 HAS SOUS 30363 HAS SOUPS 28290 WITH SCORE 28337.221
AT ITER 425 NEW BEST:: SOT 74233 SOS 47206 HAS SOPS 37621 HAS SOUS 30353 HAS SOUPS 28280 WITH SCORE 28327.206
AT ITER 426 NEW BEST:: SOT 74233 SOS 47194 HAS SOPS 37611 HAS SOUS 30353 HAS SOUPS 28280 WITH SCORE 28327.194
AT ITER 429 NEW BEST:: SOT 73829 SOS 47004 HAS SOPS 37624 HAS SOUS 30274 HAS SOUPS 28201 WITH SCORE 28248.004
AT ITER 437 NEW BEST:: SOT 73829 SOS 46926 HAS SOPS 37559 HAS SOUS 30261 HAS SOUPS 28201 WITH SCORE 28247.926
AT ITER 441 NEW BEST:: SOT 73838 SOS 46812 HAS SOPS 37401 HAS SOUS 30147 HAS SOUPS 28087 WITH SCORE 28133.812
AT ITER 442 NEW BEST:: SOT 73803 SOS 46319 HAS SOPS 36928 HAS SOUS 30018 HAS SOUPS 27958 WITH SCORE 28004.319
AT ITER 443 NEW BEST:: SOT 73752 SOS 46217 HAS SOPS 36843 HAS SOUS 29950 HAS SOUPS 27890 WITH SCORE 27936.217
AT ITER 447 NEW BEST:: SOT 73752 SOS 46217 HAS SOPS 36843 HAS SOUS 29932 HAS SOUPS 27872 WITH SCORE 27918.217
AT ITER 452 NEW BEST:: SOT 73546 SOS 46036 HAS SOPS 36657 HAS SOUS 29751 HAS SOUPS 27686 WITH SCORE 27732.036
AT ITER 455 NEW BEST:: SOT 73546 SOS 46020 HAS SOPS 36641 HAS SOUS 29747 HAS SOUPS 27682 WITH SCORE 27728.02
AT ITER 459 NEW BEST:: SOT 73546 SOS 45958 HAS SOPS 36650 HAS SOUS 29747 HAS SOUPS 27682 WITH SCORE 27727.958
AT ITER 460 NEW BEST:: SOT 73531 SOS 45776 HAS SOPS 36553 HAS SOUS 29719 HAS SOUPS 27654 WITH SCORE 27699.776
AT ITER 462 NEW BEST:: SOT 73720 SOS 45806 HAS SOPS 36404 HAS SOUS 29708 HAS SOUPS 27643 WITH SCORE 27688.806
AT ITER 466 NEW BEST:: SOT 73733 SOS 46091 HAS SOPS 36812 HAS SOUS 29575 HAS SOUPS 27633 WITH SCORE 27679.091
AT ITER 477 NEW BEST:: SOT 73733 SOS 46090 HAS SOPS 36812 HAS SOUS 29575 HAS SOUPS 27633 WITH SCORE 27679.09
AT ITER 483 NEW BEST:: SOT 73622 SOS 45979 HAS SOPS 36734 HAS SOUS 29530 HAS SOUPS 27588 WITH SCORE 27633.979
AT ITER 486 NEW BEST:: SOT 73606 SOS 45979 HAS SOPS 36734 HAS SOUS 29514 HAS SOUPS 27572 WITH SCORE 27617.979
AT ITER 487 NEW BEST:: SOT 73552 SOS 45925 HAS SOPS 36750 HAS SOUS 29452 HAS SOUPS 27537 WITH SCORE 27582.925
AT ITER 497 NEW BEST:: SOT 73718 SOS 46047 HAS SOPS 36864 HAS SOUS 29445 HAS SOUPS 27530 WITH SCORE 27576.047
AT ITER 504 NEW BEST:: SOT 73668 SOS 45997 HAS SOPS 36864 HAS SOUS 29400 HAS SOUPS 27503 WITH SCORE 27548.997
AT ITER 506 NEW BEST:: SOT 73530 SOS 45856 HAS SOPS 36744 HAS SOUS 29266 HAS SOUPS 27351 WITH SCORE 27396.856
AT ITER 507 NEW BEST:: SOT 73530 SOS 45850 HAS SOPS 36739 HAS SOUS 29265 HAS SOUPS 27351 WITH SCORE 27396.85
AT ITER 521 NEW BEST:: SOT 73492 SOS 45766 HAS SOPS 36617 HAS SOUS 29189 HAS SOUPS 27275 WITH SCORE 27320.766
AT ITER 527 NEW BEST:: SOT 73492 SOS 45739 HAS SOPS 36644 HAS SOUS 29189 HAS SOUPS 27275 WITH SCORE 27320.739
AT ITER 528 NEW BEST:: SOT 73547 SOS 45049 HAS SOPS 36013 HAS SOUS 29057 HAS SOUPS 27143 WITH SCORE 27188.049
AT ITER 532 NEW BEST:: SOT 73519 SOS 45172 HAS SOPS 36030 HAS SOUS 29053 HAS SOUPS 27139 WITH SCORE 27184.172
AT ITER 533 NEW BEST:: SOT 73283 SOS 44936 HAS SOPS 35873 HAS SOUS 28882 HAS SOUPS 26968 WITH SCORE 27012.936
AT ITER 537 NEW BEST:: SOT 73217 SOS 44860 HAS SOPS 35858 HAS SOUS 28879 HAS SOUPS 26965 WITH SCORE 27009.86
AT ITER 540 NEW BEST:: SOT 73216 SOS 44859 HAS SOPS 35855 HAS SOUS 28877 HAS SOUPS 26963 WITH SCORE 27007.859
AT ITER 541 NEW BEST:: SOT 73254 SOS 45065 HAS SOPS 35879 HAS SOUS 28833 HAS SOUPS 26919 WITH SCORE 26964.065
AT ITER 546 NEW BEST:: SOT 73195 SOS 45006 HAS SOPS 35796 HAS SOUS 28751 HAS SOUPS 26837 WITH SCORE 26882.006
AT ITER 548 NEW BEST:: SOT 72020 SOS 44478 HAS SOPS 34851 HAS SOUS 27994 HAS SOUPS 26032 WITH SCORE 26076.478
AT ITER 549 NEW BEST:: SOT 72038 SOS 44496 HAS SOPS 34818 HAS SOUS 28012 HAS SOUPS 26020 WITH SCORE 26064.496
AT ITER 552 NEW BEST:: SOT 71694 SOS 44865 HAS SOPS 34744 HAS SOUS 27894 HAS SOUPS 25902 WITH SCORE 25946.865
AT ITER 554 NEW BEST:: SOT 71694 SOS 44854 HAS SOPS 34755 HAS SOUS 27894 HAS SOUPS 25902 WITH SCORE 25946.854
AT ITER 556 NEW BEST:: SOT 71674 SOS 44833 HAS SOPS 34853 HAS SOUS 27872 HAS SOUPS 25880 WITH SCORE 25924.833
AT ITER 558 NEW BEST:: SOT 71760 SOS 44907 HAS SOPS 34927 HAS SOUS 27866 HAS SOUPS 25874 WITH SCORE 25918.907
AT ITER 559 NEW BEST:: SOT 71690 SOS 44881 HAS SOPS 34857 HAS SOUS 27877 HAS SOUPS 25841 WITH SCORE 25885.881
AT ITER 562 NEW BEST:: SOT 71667 SOS 44853 HAS SOPS 34820 HAS SOUS 27773 HAS SOUPS 25737 WITH SCORE 25781.853
AT ITER 563 NEW BEST:: SOT 71667 SOS 44840 HAS SOPS 34820 HAS SOUS 27773 HAS SOUPS 25737 WITH SCORE 25781.84
AT ITER 566 NEW BEST:: SOT 71559 SOS 44723 HAS SOPS 34770 HAS SOUS 27754 HAS SOUPS 25718 WITH SCORE 25762.723
AT ITER 567 NEW BEST:: SOT 71607 SOS 44479 HAS SOPS 34652 HAS SOUS 27590 HAS SOUPS 25680 WITH SCORE 25724.479
AT ITER 576 NEW BEST:: SOT 71567 SOS 44400 HAS SOPS 34545 HAS SOUS 27530 HAS SOUPS 25620 WITH SCORE 25664.4
AT ITER 577 NEW BEST:: SOT 71567 SOS 44375 HAS SOPS 34520 HAS SOUS 27530 HAS SOUPS 25620 WITH SCORE 25664.375
AT ITER 582 NEW BEST:: SOT 71309 SOS 44180 HAS SOPS 34304 HAS SOUS 27328 HAS SOUPS 25411 WITH SCORE 25455.18
AT ITER 588 NEW BEST:: SOT 71302 SOS 44070 HAS SOPS 34187 HAS SOUS 27314 HAS SOUPS 25397 WITH SCORE 25441.07
AT ITER 589 NEW BEST:: SOT 71302 SOS 43814 HAS SOPS 33967 HAS SOUS 27314 HAS SOUPS 25397 WITH SCORE 25440.814
AT ITER 592 NEW BEST:: SOT 71186 SOS 43648 HAS SOPS 33810 HAS SOUS 27159 HAS SOUPS 25242 WITH SCORE 25285.648
AT ITER 593 NEW BEST:: SOT 71186 SOS 43632 HAS SOPS 33794 HAS SOUS 27151 HAS SOUPS 25234 WITH SCORE 25277.632
AT ITER 595 NEW BEST:: SOT 71192 SOS 43652 HAS SOPS 33746 HAS SOUS 27070 HAS SOUPS 25153 WITH SCORE 25196.652
AT ITER 597 NEW BEST:: SOT 71005 SOS 43465 HAS SOPS 33471 HAS SOUS 26870 HAS SOUPS 24944 WITH SCORE 24987.465
AT ITER 601 NEW BEST:: SOT 70996 SOS 43456 HAS SOPS 33466 HAS SOUS 26852 HAS SOUPS 24926 WITH SCORE 24969.456
AT ITER 604 NEW BEST:: SOT 70964 SOS 43416 HAS SOPS 33418 HAS SOUS 26823 HAS SOUPS 24895 WITH SCORE 24938.416
AT ITER 607 NEW BEST:: SOT 70821 SOS 43488 HAS SOPS 33434 HAS SOUS 26763 HAS SOUPS 24835 WITH SCORE 24878.488
AT ITER 611 NEW BEST:: SOT 70798 SOS 43465 HAS SOPS 33416 HAS SOUS 26676 HAS SOUPS 24748 WITH SCORE 24791.465
AT ITER 622 NEW BEST:: SOT 70858 SOS 43525 HAS SOPS 33358 HAS SOUS 26665 HAS SOUPS 24737 WITH SCORE 24780.525
AT ITER 627 NEW BEST:: SOT 70872 SOS 43571 HAS SOPS 33345 HAS SOUS 26660 HAS SOUPS 24732 WITH SCORE 24775.571
AT ITER 629 NEW BEST:: SOT 70654 SOS 43461 HAS SOPS 33400 HAS SOUS 26530 HAS SOUPS 24602 WITH SCORE 24645.461
AT ITER 633 NEW BEST:: SOT 70408 SOS 44366 HAS SOPS 33458 HAS SOUS 26508 HAS SOUPS 24550 WITH SCORE 24594.366
AT ITER 636 NEW BEST:: SOT 69493 SOS 48163 HAS SOPS 34195 HAS SOUS 26558 HAS SOUPS 24490 WITH SCORE 24538.163
AT ITER 638 NEW BEST:: SOT 69435 SOS 47315 HAS SOPS 33545 HAS SOUS 26319 HAS SOUPS 24390 WITH SCORE 24437.315
AT ITER 640 NEW BEST:: SOT 67499 SOS 46231 HAS SOPS 32115 HAS SOUS 24873 HAS SOUPS 22881 WITH SCORE 22927.231
AT ITER 641 NEW BEST:: SOT 67468 SOS 46154 HAS SOPS 32108 HAS SOUS 24794 HAS SOUPS 22802 WITH SCORE 22848.154
AT ITER 646 NEW BEST:: SOT 67566 SOS 46252 HAS SOPS 32071 HAS SOUS 24793 HAS SOUPS 22801 WITH SCORE 22847.252
AT ITER 648 NEW BEST:: SOT 67556 SOS 46240 HAS SOPS 32059 HAS SOUS 24783 HAS SOUPS 22791 WITH SCORE 22837.24
AT ITER 655 NEW BEST:: SOT 67552 SOS 46230 HAS SOPS 32041 HAS SOUS 24775 HAS SOUPS 22783 WITH SCORE 22829.23
AT ITER 661 NEW BEST:: SOT 67545 SOS 46268 HAS SOPS 32052 HAS SOUS 24775 HAS SOUPS 22782 WITH SCORE 22828.268
AT ITER 662 NEW BEST:: SOT 67532 SOS 46255 HAS SOPS 32039 HAS SOUS 24749 HAS SOUPS 22756 WITH SCORE 22802.255
AT ITER 663 NEW BEST:: SOT 66651 SOS 47815 HAS SOPS 32535 HAS SOUS 24502 HAS SOUPS 22509 WITH SCORE 22556.815
AT ITER 664 NEW BEST:: SOT 66648 SOS 47812 HAS SOPS 32532 HAS SOUS 24499 HAS SOUPS 22506 WITH SCORE 22553.812
AT ITER 668 NEW BEST:: SOT 66608 SOS 47772 HAS SOPS 32484 HAS SOUS 24443 HAS SOUPS 22450 WITH SCORE 22497.772
AT ITER 678 NEW BEST:: SOT 66593 SOS 47705 HAS SOPS 32417 HAS SOUS 24428 HAS SOUPS 22435 WITH SCORE 22482.705
AT ITER 682 NEW BEST:: SOT 66549 SOS 47661 HAS SOPS 32329 HAS SOUS 24327 HAS SOUPS 22334 WITH SCORE 22381.661
AT ITER 684 NEW BEST:: SOT 66481 SOS 47593 HAS SOPS 32338 HAS SOUS 24269 HAS SOUPS 22274 WITH SCORE 22321.593
AT ITER 685 NEW BEST:: SOT 66279 SOS 47362 HAS SOPS 31998 HAS SOUS 23883 HAS SOUPS 21888 WITH SCORE 21935.362
AT ITER 690 NEW BEST:: SOT 66229 SOS 47312 HAS SOPS 31923 HAS SOUS 23753 HAS SOUPS 21758 WITH SCORE 21805.312
AT ITER 697 NEW BEST:: SOT 66229 SOS 47280 HAS SOPS 31918 HAS SOUS 23753 HAS SOUPS 21758 WITH SCORE 21805.28
AT ITER 701 NEW BEST:: SOT 65083 SOS 50349 HAS SOPS 32530 HAS SOUS 23438 HAS SOUPS 21328 WITH SCORE 21378.349
AT ITER 703 NEW BEST:: SOT 65077 SOS 50343 HAS SOPS 32524 HAS SOUS 23430 HAS SOUPS 21320 WITH SCORE 21370.343
AT ITER 712 NEW BEST:: SOT 65038 SOS 50317 HAS SOPS 32472 HAS SOUS 23378 HAS SOUPS 21255 WITH SCORE 21305.317
AT ITER 713 NEW BEST:: SOT 65020 SOS 50258 HAS SOPS 32413 HAS SOUS 23332 HAS SOUPS 21209 WITH SCORE 21259.258
AT ITER 714 NEW BEST:: SOT 65020 SOS 50246 HAS SOPS 32413 HAS SOUS 23332 HAS SOUPS 21209 WITH SCORE 21259.246
AT ITER 715 NEW BEST:: SOT 64840 SOS 50066 HAS SOPS 32279 HAS SOUS 23152 HAS SOUPS 21029 WITH SCORE 21079.066
AT ITER 723 NEW BEST:: SOT 64840 SOS 50066 HAS SOPS 32279 HAS SOUS 23148 HAS SOUPS 21025 WITH SCORE 21075.066
AT ITER 724 NEW BEST:: SOT 64584 SOS 49819 HAS SOPS 31882 HAS SOUS 22677 HAS SOUPS 20554 WITH SCORE 20603.819
AT ITER 727 NEW BEST:: SOT 64542 SOS 49768 HAS SOPS 31822 HAS SOUS 22627 HAS SOUPS 20504 WITH SCORE 20553.768
AT ITER 744 NEW BEST:: SOT 64513 SOS 49703 HAS SOPS 31828 HAS SOUS 22620 HAS SOUPS 20497 WITH SCORE 20546.703
AT ITER 747 NEW BEST:: SOT 64481 SOS 49671 HAS SOPS 31780 HAS SOUS 22573 HAS SOUPS 20450 WITH SCORE 20499.671
AT ITER 748 NEW BEST:: SOT 64413 SOS 49603 HAS SOPS 31678 HAS SOUS 22505 HAS SOUPS 20382 WITH SCORE 20431.603
AT ITER 756 NEW BEST:: SOT 64415 SOS 49605 HAS SOPS 31681 HAS SOUS 22423 HAS SOUPS 20300 WITH SCORE 20349.605
AT ITER 757 NEW BEST:: SOT 64411 SOS 49637 HAS SOPS 31677 HAS SOUS 22419 HAS SOUPS 20260 WITH SCORE 20309.637
AT ITER 762 NEW BEST:: SOT 64300 SOS 49550 HAS SOPS 31675 HAS SOUS 22392 HAS SOUPS 20233 WITH SCORE 20282.55
AT ITER 767 NEW BEST:: SOT 64340 SOS 49565 HAS SOPS 31670 HAS SOUS 22316 HAS SOUPS 20157 WITH SCORE 20206.565
AT ITER 768 NEW BEST:: SOT 64335 SOS 49560 HAS SOPS 31685 HAS SOUS 22316 HAS SOUPS 20157 WITH SCORE 20206.56
AT ITER 773 NEW BEST:: SOT 64331 SOS 49556 HAS SOPS 31679 HAS SOUS 22314 HAS SOUPS 20155 WITH SCORE 20204.556
AT ITER 780 NEW BEST:: SOT 64255 SOS 49480 HAS SOPS 31527 HAS SOUS 22179 HAS SOUPS 20020 WITH SCORE 20069.48
AT ITER 787 NEW BEST:: SOT 64138 SOS 49363 HAS SOPS 31345 HAS SOUS 21980 HAS SOUPS 19821 WITH SCORE 19870.363
AT ITER 793 NEW BEST:: SOT 64000 SOS 49225 HAS SOPS 31138 HAS SOUS 21752 HAS SOUPS 19593 WITH SCORE 19642.225
AT ITER 796 NEW BEST:: SOT 63908 SOS 49186 HAS SOPS 31026 HAS SOUS 21746 HAS SOUPS 19534 WITH SCORE 19583.186
AT ITER 805 NEW BEST:: SOT 63874 SOS 49152 HAS SOPS 30972 HAS SOUS 21700 HAS SOUPS 19488 WITH SCORE 19537.152
AT ITER 813 NEW BEST:: SOT 63874 SOS 49095 HAS SOPS 30915 HAS SOUS 21700 HAS SOUPS 19488 WITH SCORE 19537.095
AT ITER 826 NEW BEST:: SOT 63873 SOS 49094 HAS SOPS 30913 HAS SOUS 21693 HAS SOUPS 19481 WITH SCORE 19530.094
AT ITER 828 NEW BEST:: SOT 63755 SOS 48976 HAS SOPS 30885 HAS SOUS 21618 HAS SOUPS 19406 WITH SCORE 19454.976
AT ITER 832 NEW BEST:: SOT 63705 SOS 49046 HAS SOPS 30873 HAS SOUS 21598 HAS SOUPS 19381 WITH SCORE 19430.046
AT ITER 839 NEW BEST:: SOT 63494 SOS 49955 HAS SOPS 31017 HAS SOUS 21599 HAS SOUPS 19354 WITH SCORE 19403.955
AT ITER 841 NEW BEST:: SOT 63342 SOS 49803 HAS SOPS 30958 HAS SOUS 21546 HAS SOUPS 19301 WITH SCORE 19350.803
AT ITER 847 NEW BEST:: SOT 63342 SOS 49803 HAS SOPS 30958 HAS SOUS 21527 HAS SOUPS 19282 WITH SCORE 19331.803
AT ITER 855 NEW BEST:: SOT 63276 SOS 49737 HAS SOPS 30940 HAS SOUS 21509 HAS SOUPS 19264 WITH SCORE 19313.737
AT ITER 860 NEW BEST:: SOT 63176 SOS 49637 HAS SOPS 30794 HAS SOUS 21359 HAS SOUPS 19114 WITH SCORE 19163.637
AT ITER 871 NEW BEST:: SOT 63146 SOS 49607 HAS SOPS 30749 HAS SOUS 21328 HAS SOUPS 19083 WITH SCORE 19132.607
AT ITER 879 NEW BEST:: SOT 63146 SOS 49600 HAS SOPS 30749 HAS SOUS 21328 HAS SOUPS 19083 WITH SCORE 19132.6
AT ITER 884 NEW BEST:: SOT 63048 SOS 49519 HAS SOPS 30602 HAS SOUS 21152 HAS SOUPS 18907 WITH SCORE 18956.519
AT ITER 890 NEW BEST:: SOT 63058 SOS 49529 HAS SOPS 30530 HAS SOUS 21116 HAS SOUPS 18871 WITH SCORE 18920.529
AT ITER 899 NEW BEST:: SOT 63055 SOS 49559 HAS SOPS 30542 HAS SOUS 21131 HAS SOUPS 18868 WITH SCORE 18917.559
AT ITER 902 NEW BEST:: SOT 63000 SOS 49527 HAS SOPS 30510 HAS SOUS 21122 HAS SOUPS 18859 WITH SCORE 18908.527
AT ITER 903 NEW BEST:: SOT 63000 SOS 49492 HAS SOPS 30475 HAS SOUS 21122 HAS SOUPS 18859 WITH SCORE 18908.492
AT ITER 908 NEW BEST:: SOT 62954 SOS 49403 HAS SOPS 30515 HAS SOUS 21079 HAS SOUPS 18859 WITH SCORE 18908.403
AT ITER 918 NEW BEST:: SOT 62952 SOS 49401 HAS SOPS 30328 HAS SOUS 21007 HAS SOUPS 18787 WITH SCORE 18836.401
AT ITER 930 NEW BEST:: SOT 62952 SOS 49401 HAS SOPS 30328 HAS SOUS 20995 HAS SOUPS 18775 WITH SCORE 18824.401
AT ITER 936 NEW BEST:: SOT 62952 SOS 49353 HAS SOPS 30322 HAS SOUS 20995 HAS SOUPS 18775 WITH SCORE 18824.353
AT ITER 941 NEW BEST:: SOT 62820 SOS 49262 HAS SOPS 30181 HAS SOUS 20895 HAS SOUPS 18675 WITH SCORE 18724.262
AT ITER 963 NEW BEST:: SOT 62800 SOS 49242 HAS SOPS 30151 HAS SOUS 20846 HAS SOUPS 18626 WITH SCORE 18675.242
AT ITER 970 NEW BEST:: SOT 62804 SOS 49206 HAS SOPS 30128 HAS SOUS 20843 HAS SOUPS 18623 WITH SCORE 18672.206
AT ITER 980 NEW BEST:: SOT 62804 SOS 49206 HAS SOPS 30128 HAS SOUS 20841 HAS SOUPS 18621 WITH SCORE 18670.206
AT ITER 984 NEW BEST:: SOT 62782 SOS 49184 HAS SOPS 30103 HAS SOUS 20797 HAS SOUPS 18577 WITH SCORE 18626.184
AT ITER 989 NEW BEST:: SOT 62774 SOS 49176 HAS SOPS 30095 HAS SOUS 20789 HAS SOUPS 18569 WITH SCORE 18618.176
AT ITER 994 NEW BEST:: SOT 62750 SOS 49152 HAS SOPS 30059 HAS SOUS 20734 HAS SOUPS 18514 WITH SCORE 18563.152
AT ITER 999 NEW BEST:: SOT 62788 SOS 49190 HAS SOPS 30097 HAS SOUS 20722 HAS SOUPS 18502 WITH SCORE 18551.19
AT ITER 1013 NEW BEST:: SOT 62784 SOS 49186 HAS SOPS 30091 HAS SOUS 20700 HAS SOUPS 18480 WITH SCORE 18529.186
AT ITER 1024 NEW BEST:: SOT 62774 SOS 49197 HAS SOPS 30102 HAS SOUS 20680 HAS SOUPS 18460 WITH SCORE 18509.197
AT ITER 1031 NEW BEST:: SOT 62739 SOS 49162 HAS SOPS 30095 HAS SOUS 20631 HAS SOUPS 18426 WITH SCORE 18475.162
AT ITER 1033 NEW BEST:: SOT 62615 SOS 49037 HAS SOPS 29969 HAS SOUS 20459 HAS SOUPS 18254 WITH SCORE 18303.037
AT ITER 1040 NEW BEST:: SOT 62601 SOS 49023 HAS SOPS 29948 HAS SOUS 20420 HAS SOUPS 18215 WITH SCORE 18264.023
AT ITER 1042 NEW BEST:: SOT 62593 SOS 49057 HAS SOPS 29940 HAS SOUS 20433 HAS SOUPS 18207 WITH SCORE 18256.057
AT ITER 1044 NEW BEST:: SOT 62540 SOS 49004 HAS SOPS 29883 HAS SOUS 20391 HAS SOUPS 18165 WITH SCORE 18214.004
AT ITER 1056 NEW BEST:: SOT 62494 SOS 48926 HAS SOPS 29786 HAS SOUS 20278 HAS SOUPS 18052 WITH SCORE 18100.926
AT ITER 1061 NEW BEST:: SOT 62452 SOS 48884 HAS SOPS 29762 HAS SOUS 20264 HAS SOUPS 18038 WITH SCORE 18086.884
AT ITER 1062 NEW BEST:: SOT 62527 SOS 48959 HAS SOPS 29837 HAS SOUS 20254 HAS SOUPS 18028 WITH SCORE 18076.959
AT ITER 1068 NEW BEST:: SOT 62296 SOS 48728 HAS SOPS 29529 HAS SOUS 20153 HAS SOUPS 17927 WITH SCORE 17975.728
AT ITER 1069 NEW BEST:: SOT 62296 SOS 48728 HAS SOPS 29529 HAS SOUS 20148 HAS SOUPS 17922 WITH SCORE 17970.728
AT ITER 1075 NEW BEST:: SOT 62292 SOS 48724 HAS SOPS 29525 HAS SOUS 20146 HAS SOUPS 17920 WITH SCORE 17968.724
AT ITER 1082 NEW BEST:: SOT 62164 SOS 48587 HAS SOPS 29333 HAS SOUS 19919 HAS SOUPS 17693 WITH SCORE 17741.587
AT ITER 1093 NEW BEST:: SOT 62106 SOS 48529 HAS SOPS 29279 HAS SOUS 19817 HAS SOUPS 17591 WITH SCORE 17639.529
AT ITER 1098 NEW BEST:: SOT 62104 SOS 48527 HAS SOPS 29277 HAS SOUS 19815 HAS SOUPS 17589 WITH SCORE 17637.527
AT ITER 1129 NEW BEST:: SOT 62042 SOS 48459 HAS SOPS 29162 HAS SOUS 19724 HAS SOUPS 17498 WITH SCORE 17546.459
AT ITER 1132 NEW BEST:: SOT 61613 SOS 48020 HAS SOPS 28651 HAS SOUS 19474 HAS SOUPS 17248 WITH SCORE 17296.02
AT ITER 1134 NEW BEST:: SOT 61613 SOS 48020 HAS SOPS 28651 HAS SOUS 19464 HAS SOUPS 17238 WITH SCORE 17286.02
AT ITER 1139 NEW BEST:: SOT 61557 SOS 47964 HAS SOPS 28609 HAS SOUS 19422 HAS SOUPS 17196 WITH SCORE 17243.964
AT ITER 1150 NEW BEST:: SOT 61557 SOS 47949 HAS SOPS 28609 HAS SOUS 19422 HAS SOUPS 17196 WITH SCORE 17243.949
AT ITER 1157 NEW BEST:: SOT 61501 SOS 47893 HAS SOPS 28525 HAS SOUS 19322 HAS SOUPS 17096 WITH SCORE 17143.893
AT ITER 1164 NEW BEST:: SOT 61486 SOS 47990 HAS SOPS 28531 HAS SOUS 19386 HAS SOUPS 17090 WITH SCORE 17137.99
AT ITER 1167 NEW BEST:: SOT 61412 SOS 47916 HAS SOPS 28420 HAS SOUS 19241 HAS SOUPS 16945 WITH SCORE 16992.916
AT ITER 1169 NEW BEST:: SOT 61363 SOS 47949 HAS SOPS 28352 HAS SOUS 19164 HAS SOUPS 16779 WITH SCORE 16826.949
AT ITER 1188 NEW BEST:: SOT 61363 SOS 47949 HAS SOPS 28352 HAS SOUS 19163 HAS SOUPS 16778 WITH SCORE 16825.949
AT ITER 1192 NEW BEST:: SOT 61331 SOS 47917 HAS SOPS 28304 HAS SOUS 19115 HAS SOUPS 16730 WITH SCORE 16777.917
AT ITER 1198 NEW BEST:: SOT 61331 SOS 47917 HAS SOPS 28304 HAS SOUS 19102 HAS SOUPS 16717 WITH SCORE 16764.917
AT ITER 1207 NEW BEST:: SOT 61319 SOS 47885 HAS SOPS 28286 HAS SOUS 19090 HAS SOUPS 16705 WITH SCORE 16752.885
AT ITER 1210 NEW BEST:: SOT 61243 SOS 47809 HAS SOPS 28286 HAS SOUS 19061 HAS SOUPS 16676 WITH SCORE 16723.809
AT ITER 1213 NEW BEST:: SOT 61300 SOS 47915 HAS SOPS 28343 HAS SOUS 18975 HAS SOUPS 16541 WITH SCORE 16588.915
AT ITER 1223 NEW BEST:: SOT 61306 SOS 47921 HAS SOPS 28352 HAS SOUS 18965 HAS SOUPS 16531 WITH SCORE 16578.921
AT ITER 1228 NEW BEST:: SOT 61281 SOS 47871 HAS SOPS 28302 HAS SOUS 18940 HAS SOUPS 16506 WITH SCORE 16553.871
AT ITER 1248 NEW BEST:: SOT 61258 SOS 47854 HAS SOPS 28279 HAS SOUS 18917 HAS SOUPS 16483 WITH SCORE 16530.854
AT ITER 1253 NEW BEST:: SOT 61208 SOS 47841 HAS SOPS 28229 HAS SOUS 18899 HAS SOUPS 16428 WITH SCORE 16475.841
AT ITER 1258 NEW BEST:: SOT 61202 SOS 47835 HAS SOPS 28220 HAS SOUS 18887 HAS SOUPS 16416 WITH SCORE 16463.835
AT ITER 1259 NEW BEST:: SOT 61212 SOS 47845 HAS SOPS 28220 HAS SOUS 18882 HAS SOUPS 16411 WITH SCORE 16458.845
AT ITER 1264 NEW BEST:: SOT 61212 SOS 47825 HAS SOPS 28200 HAS SOUS 18882 HAS SOUPS 16411 WITH SCORE 16458.825
AT ITER 1281 NEW BEST:: SOT 61154 SOS 47778 HAS SOPS 28153 HAS SOUS 18844 HAS SOUPS 16373 WITH SCORE 16420.778
AT ITER 1287 NEW BEST:: SOT 61149 SOS 47753 HAS SOPS 28128 HAS SOUS 18834 HAS SOUPS 16363 WITH SCORE 16410.753
AT ITER 1306 NEW BEST:: SOT 60592 SOS 48899 HAS SOPS 28084 HAS SOUS 18628 HAS SOUPS 16109 WITH SCORE 16157.899
AT ITER 1314 NEW BEST:: SOT 60459 SOS 49884 HAS SOPS 28495 HAS SOUS 18649 HAS SOUPS 16108 WITH SCORE 16157.884
AT ITER 1316 NEW BEST:: SOT 60459 SOS 49884 HAS SOPS 28495 HAS SOUS 18644 HAS SOUPS 16103 WITH SCORE 16152.884
AT ITER 1319 NEW BEST:: SOT 60459 SOS 49884 HAS SOPS 28495 HAS SOUS 18632 HAS SOUPS 16091 WITH SCORE 16140.884
AT ITER 1323 NEW BEST:: SOT 60453 SOS 49878 HAS SOPS 28489 HAS SOUS 18632 HAS SOUPS 16091 WITH SCORE 16140.878
AT ITER 1335 NEW BEST:: SOT 60442 SOS 49891 HAS SOPS 28477 HAS SOUS 18606 HAS SOUPS 16065 WITH SCORE 16114.891
AT ITER 1346 NEW BEST:: SOT 60422 SOS 49865 HAS SOPS 28382 HAS SOUS 18544 HAS SOUPS 16003 WITH SCORE 16052.865
AT ITER 1358 NEW BEST:: SOT 60358 SOS 49801 HAS SOPS 28386 HAS SOUS 18528 HAS SOUPS 15987 WITH SCORE 16036.801
AT ITER 1367 NEW BEST:: SOT 60403 SOS 49286 HAS SOPS 28210 HAS SOUS 18523 HAS SOUPS 15982 WITH SCORE 16031.286
AT ITER 1382 NEW BEST:: SOT 60387 SOS 49270 HAS SOPS 28186 HAS SOUS 18521 HAS SOUPS 15980 WITH SCORE 16029.27
AT ITER 1390 NEW BEST:: SOT 60323 SOS 49206 HAS SOPS 28164 HAS SOUS 18499 HAS SOUPS 15958 WITH SCORE 16007.206
AT ITER 1401 NEW BEST:: SOT 60329 SOS 49212 HAS SOPS 28187 HAS SOUS 18494 HAS SOUPS 15953 WITH SCORE 16002.212
AT ITER 1407 NEW BEST:: SOT 60343 SOS 49226 HAS SOPS 28239 HAS SOUS 18455 HAS SOUPS 15945 WITH SCORE 15994.226
AT ITER 1408 NEW BEST:: SOT 60327 SOS 49210 HAS SOPS 28215 HAS SOUS 18447 HAS SOUPS 15937 WITH SCORE 15986.21
AT ITER 1413 NEW BEST:: SOT 60208 SOS 49174 HAS SOPS 28124 HAS SOUS 18410 HAS SOUPS 15900 WITH SCORE 15949.174
AT ITER 1415 NEW BEST:: SOT 60202 SOS 49168 HAS SOPS 28115 HAS SOUS 18402 HAS SOUPS 15892 WITH SCORE 15941.168
AT ITER 1433 NEW BEST:: SOT 60202 SOS 49168 HAS SOPS 28115 HAS SOUS 18401 HAS SOUPS 15891 WITH SCORE 15940.168
AT ITER 1461 NEW BEST:: SOT 60192 SOS 49158 HAS SOPS 28100 HAS SOUS 18400 HAS SOUPS 15890 WITH SCORE 15939.158
AT ITER 1463 NEW BEST:: SOT 60190 SOS 49156 HAS SOPS 28097 HAS SOUS 18398 HAS SOUPS 15888 WITH SCORE 15937.156
AT ITER 1471 NEW BEST:: SOT 60182 SOS 49148 HAS SOPS 28091 HAS SOUS 18384 HAS SOUPS 15874 WITH SCORE 15923.148
AT ITER 1473 NEW BEST:: SOT 60150 SOS 49116 HAS SOPS 28043 HAS SOUS 18336 HAS SOUPS 15826 WITH SCORE 15875.116
AT ITER 1474 NEW BEST:: SOT 60131 SOS 49114 HAS SOPS 28024 HAS SOUS 18334 HAS SOUPS 15824 WITH SCORE 15873.114
AT ITER 1491 NEW BEST:: SOT 60131 SOS 49114 HAS SOPS 27975 HAS SOUS 18328 HAS SOUPS 15818 WITH SCORE 15867.114
AT ITER 1499 NEW BEST:: SOT 60113 SOS 49096 HAS SOPS 27948 HAS SOUS 18274 HAS SOUPS 15764 WITH SCORE 15813.096
AT ITER 1502 NEW BEST:: SOT 60069 SOS 49052 HAS SOPS 27882 HAS SOUS 18222 HAS SOUPS 15712 WITH SCORE 15761.052
AT ITER 1503 NEW BEST:: SOT 60058 SOS 49084 HAS SOPS 27844 HAS SOUS 18184 HAS SOUPS 15631 WITH SCORE 15680.084
AT ITER 1510 NEW BEST:: SOT 60030 SOS 49056 HAS SOPS 27802 HAS SOUS 18166 HAS SOUPS 15613 WITH SCORE 15662.056
AT ITER 1519 NEW BEST:: SOT 60022 SOS 49048 HAS SOPS 27786 HAS SOUS 18149 HAS SOUPS 15596 WITH SCORE 15645.048
AT ITER 1540 NEW BEST:: SOT 60023 SOS 49049 HAS SOPS 27787 HAS SOUS 18145 HAS SOUPS 15592 WITH SCORE 15641.049
AT ITER 1541 NEW BEST:: SOT 60021 SOS 49063 HAS SOPS 27801 HAS SOUS 18143 HAS SOUPS 15590 WITH SCORE 15639.063
AT ITER 1544 NEW BEST:: SOT 59989 SOS 49015 HAS SOPS 27753 HAS SOUS 18120 HAS SOUPS 15567 WITH SCORE 15616.015
AT ITER 1558 NEW BEST:: SOT 59988 SOS 49014 HAS SOPS 27745 HAS SOUS 18099 HAS SOUPS 15546 WITH SCORE 15595.014
AT ITER 1585 NEW BEST:: SOT 59876 SOS 48883 HAS SOPS 27624 HAS SOUS 17927 HAS SOUPS 15374 WITH SCORE 15422.883
AT ITER 1588 NEW BEST:: SOT 59890 SOS 48897 HAS SOPS 27596 HAS SOUS 17899 HAS SOUPS 15346 WITH SCORE 15394.897
AT ITER 1597 NEW BEST:: SOT 59814 SOS 48821 HAS SOPS 27482 HAS SOUS 17792 HAS SOUPS 15239 WITH SCORE 15287.821
AT ITER 1610 NEW BEST:: SOT 59740 SOS 48733 HAS SOPS 27397 HAS SOUS 17686 HAS SOUPS 15133 WITH SCORE 15181.733
AT ITER 1611 NEW BEST:: SOT 59740 SOS 48733 HAS SOPS 27397 HAS SOUS 17667 HAS SOUPS 15114 WITH SCORE 15162.733
AT ITER 1627 NEW BEST:: SOT 59672 SOS 48771 HAS SOPS 27290 HAS SOUS 17645 HAS SOUPS 14982 WITH SCORE 15030.771
AT ITER 1633 NEW BEST:: SOT 59672 SOS 48765 HAS SOPS 27290 HAS SOUS 17645 HAS SOUPS 14982 WITH SCORE 15030.765
AT ITER 1652 NEW BEST:: SOT 59751 SOS 48803 HAS SOPS 27388 HAS SOUS 17643 HAS SOUPS 14980 WITH SCORE 15028.803
AT ITER 1666 NEW BEST:: SOT 59735 SOS 48787 HAS SOPS 27371 HAS SOUS 17639 HAS SOUPS 14976 WITH SCORE 15024.787
AT ITER 1690 NEW BEST:: SOT 59735 SOS 48787 HAS SOPS 27371 HAS SOUS 17632 HAS SOUPS 14969 WITH SCORE 15017.787
AT ITER 1697 NEW BEST:: SOT 59688 SOS 48740 HAS SOPS 27339 HAS SOUS 17600 HAS SOUPS 14937 WITH SCORE 14985.74
AT ITER 1701 NEW BEST:: SOT 59637 SOS 48689 HAS SOPS 27258 HAS SOUS 17570 HAS SOUPS 14907 WITH SCORE 14955.689
AT ITER 1710 NEW BEST:: SOT 59581 SOS 48633 HAS SOPS 27174 HAS SOUS 17486 HAS SOUPS 14823 WITH SCORE 14871.633
AT ITER 1727 NEW BEST:: SOT 59459 SOS 48511 HAS SOPS 26991 HAS SOUS 17325 HAS SOUPS 14662 WITH SCORE 14710.511
AT ITER 1728 NEW BEST:: SOT 59443 SOS 48495 HAS SOPS 26959 HAS SOUS 17303 HAS SOUPS 14640 WITH SCORE 14688.495
AT ITER 1730 NEW BEST:: SOT 59443 SOS 48495 HAS SOPS 26959 HAS SOUS 17293 HAS SOUPS 14630 WITH SCORE 14678.495
AT ITER 1751 NEW BEST:: SOT 59394 SOS 48469 HAS SOPS 26880 HAS SOUS 17262 HAS SOUPS 14599 WITH SCORE 14647.469
AT ITER 1756 NEW BEST:: SOT 59348 SOS 48423 HAS SOPS 26810 HAS SOUS 17179 HAS SOUPS 14516 WITH SCORE 14564.423
AT ITER 1762 NEW BEST:: SOT 59336 SOS 48411 HAS SOPS 26792 HAS SOUS 17161 HAS SOUPS 14498 WITH SCORE 14546.411
AT ITER 1768 NEW BEST:: SOT 59242 SOS 48382 HAS SOPS 26652 HAS SOUS 17114 HAS SOUPS 14386 WITH SCORE 14434.382
AT ITER 1772 NEW BEST:: SOT 59162 SOS 48302 HAS SOPS 26545 HAS SOUS 16966 HAS SOUPS 14238 WITH SCORE 14286.302
AT ITER 1781 NEW BEST:: SOT 59150 SOS 48290 HAS SOPS 26527 HAS SOUS 16945 HAS SOUPS 14217 WITH SCORE 14265.29
AT ITER 1783 NEW BEST:: SOT 59151 SOS 48291 HAS SOPS 26524 HAS SOUS 16944 HAS SOUPS 14216 WITH SCORE 14264.291
AT ITER 1801 NEW BEST:: SOT 59078 SOS 48211 HAS SOPS 26422 HAS SOUS 16868 HAS SOUPS 14140 WITH SCORE 14188.211
AT ITER 1811 NEW BEST:: SOT 59128 SOS 48261 HAS SOPS 26397 HAS SOUS 16848 HAS SOUPS 14120 WITH SCORE 14168.261
AT ITER 1812 NEW BEST:: SOT 59128 SOS 48261 HAS SOPS 26397 HAS SOUS 16840 HAS SOUPS 14112 WITH SCORE 14160.261
AT ITER 1821 NEW BEST:: SOT 59148 SOS 48281 HAS SOPS 26417 HAS SOUS 16825 HAS SOUPS 14097 WITH SCORE 14145.281
AT ITER 1846 NEW BEST:: SOT 59142 SOS 48275 HAS SOPS 26399 HAS SOUS 16819 HAS SOUPS 14091 WITH SCORE 14139.275
AT ITER 1857 NEW BEST:: SOT 59080 SOS 48213 HAS SOPS 26306 HAS SOUS 16716 HAS SOUPS 13988 WITH SCORE 14036.213
AT ITER 1868 NEW BEST:: SOT 59080 SOS 48191 HAS SOPS 26326 HAS SOUS 16716 HAS SOUPS 13988 WITH SCORE 14036.191
AT ITER 1880 NEW BEST:: SOT 59024 SOS 48135 HAS SOPS 26242 HAS SOUS 16632 HAS SOUPS 13904 WITH SCORE 13952.135
AT ITER 1881 NEW BEST:: SOT 59015 SOS 48144 HAS SOPS 26224 HAS SOUS 16632 HAS SOUPS 13895 WITH SCORE 13943.144
AT ITER 1882 NEW BEST:: SOT 59015 SOS 48139 HAS SOPS 26223 HAS SOUS 16632 HAS SOUPS 13895 WITH SCORE 13943.139
AT ITER 1923 NEW BEST:: SOT 59045 SOS 48169 HAS SOPS 26184 HAS SOUS 16586 HAS SOUPS 13840 WITH SCORE 13888.169
AT ITER 1934 NEW BEST:: SOT 59041 SOS 48143 HAS SOPS 26158 HAS SOUS 16582 HAS SOUPS 13836 WITH SCORE 13884.143
AT ITER 1946 NEW BEST:: SOT 59033 SOS 48135 HAS SOPS 26158 HAS SOUS 16582 HAS SOUPS 13836 WITH SCORE 13884.135
AT ITER 1951 NEW BEST:: SOT 59017 SOS 48119 HAS SOPS 26139 HAS SOUS 16558 HAS SOUPS 13812 WITH SCORE 13860.119
AT ITER 1970 NEW BEST:: SOT 59015 SOS 48117 HAS SOPS 26119 HAS SOUS 16556 HAS SOUPS 13810 WITH SCORE 13858.117
AT ITER 1978 NEW BEST:: SOT 59015 SOS 48069 HAS SOPS 25901 HAS SOUS 16468 HAS SOUPS 13722 WITH SCORE 13770.069
AT ITER 1985 NEW BEST:: SOT 58993 SOS 48047 HAS SOPS 25868 HAS SOUS 16405 HAS SOUPS 13659 WITH SCORE 13707.047
AT ITER 1989 NEW BEST:: SOT 58935 SOS 47989 HAS SOPS 25781 HAS SOUS 16316 HAS SOUPS 13570 WITH SCORE 13617.989
AT ITER 1996 NEW BEST:: SOT 58929 SOS 47983 HAS SOPS 25769 HAS SOUS 16307 HAS SOUPS 13561 WITH SCORE 13608.983
AT ITER 2006 NEW BEST:: SOT 58911 SOS 47977 HAS SOPS 25748 HAS SOUS 16298 HAS SOUPS 13537 WITH SCORE 13584.977
AT ITER 2016 NEW BEST:: SOT 58897 SOS 47963 HAS SOPS 25726 HAS SOUS 16286 HAS SOUPS 13525 WITH SCORE 13572.963
AT ITER 2019 NEW BEST:: SOT 58897 SOS 47963 HAS SOPS 25726 HAS SOUS 16282 HAS SOUPS 13521 WITH SCORE 13568.963
AT ITER 2022 NEW BEST:: SOT 58897 SOS 47963 HAS SOPS 25682 HAS SOUS 16249 HAS SOUPS 13488 WITH SCORE 13535.963
AT ITER 2024 NEW BEST:: SOT 58968 SOS 48034 HAS SOPS 25665 HAS SOUS 16248 HAS SOUPS 13487 WITH SCORE 13535.034
AT ITER 2042 NEW BEST:: SOT 58970 SOS 48036 HAS SOPS 25669 HAS SOUS 16235 HAS SOUPS 13474 WITH SCORE 13522.036
AT ITER 2052 NEW BEST:: SOT 58968 SOS 48034 HAS SOPS 25635 HAS SOUS 16232 HAS SOUPS 13471 WITH SCORE 13519.034
AT ITER 2069 NEW BEST:: SOT 58944 SOS 48010 HAS SOPS 25599 HAS SOUS 16185 HAS SOUPS 13424 WITH SCORE 13472.01
AT ITER 2080 NEW BEST:: SOT 58936 SOS 47996 HAS SOPS 25583 HAS SOUS 16169 HAS SOUPS 13408 WITH SCORE 13455.996
AT ITER 2083 NEW BEST:: SOT 59026 SOS 48086 HAS SOPS 25456 HAS SOUS 16112 HAS SOUPS 13351 WITH SCORE 13399.086
AT ITER 2086 NEW BEST:: SOT 58989 SOS 48049 HAS SOPS 25400 HAS SOUS 16037 HAS SOUPS 13276 WITH SCORE 13324.049
AT ITER 2095 NEW BEST:: SOT 58989 SOS 48049 HAS SOPS 25349 HAS SOUS 15986 HAS SOUPS 13225 WITH SCORE 13273.049
AT ITER 2096 NEW BEST:: SOT 58967 SOS 48027 HAS SOPS 25314 HAS SOUS 15951 HAS SOUPS 13190 WITH SCORE 13238.027
AT ITER 2097 NEW BEST:: SOT 59035 SOS 47044 HAS SOPS 24952 HAS SOUS 15912 HAS SOUPS 13170 WITH SCORE 13217.044
AT ITER 2103 NEW BEST:: SOT 59035 SOS 47044 HAS SOPS 24952 HAS SOUS 15887 HAS SOUPS 13145 WITH SCORE 13192.044
AT ITER 2113 NEW BEST:: SOT 58995 SOS 47004 HAS SOPS 24922 HAS SOUS 15857 HAS SOUPS 13115 WITH SCORE 13162.004
AT ITER 2125 NEW BEST:: SOT 58923 SOS 46932 HAS SOPS 24778 HAS SOUS 15691 HAS SOUPS 12949 WITH SCORE 12995.932
AT ITER 2132 NEW BEST:: SOT 58907 SOS 46919 HAS SOPS 24770 HAS SOUS 15667 HAS SOUPS 12925 WITH SCORE 12971.919
AT ITER 2147 NEW BEST:: SOT 58907 SOS 46919 HAS SOPS 24726 HAS SOUS 15645 HAS SOUPS 12892 WITH SCORE 12938.919
AT ITER 2167 NEW BEST:: SOT 58879 SOS 46893 HAS SOPS 24700 HAS SOUS 15619 HAS SOUPS 12866 WITH SCORE 12912.893
AT ITER 2171 NEW BEST:: SOT 58875 SOS 46891 HAS SOPS 24704 HAS SOUS 15601 HAS SOUPS 12854 WITH SCORE 12900.891
AT ITER 2186 NEW BEST:: SOT 58861 SOS 46877 HAS SOPS 24676 HAS SOUS 15580 HAS SOUPS 12833 WITH SCORE 12879.877
AT ITER 2197 NEW BEST:: SOT 58859 SOS 46875 HAS SOPS 24673 HAS SOUS 15577 HAS SOUPS 12830 WITH SCORE 12876.875
AT ITER 2198 NEW BEST:: SOT 58861 SOS 46881 HAS SOPS 24669 HAS SOUS 15577 HAS SOUPS 12828 WITH SCORE 12874.881
AT ITER 2199 NEW BEST:: SOT 58849 SOS 46869 HAS SOPS 24651 HAS SOUS 15567 HAS SOUPS 12818 WITH SCORE 12864.869
AT ITER 2212 NEW BEST:: SOT 58813 SOS 46833 HAS SOPS 24597 HAS SOUS 15509 HAS SOUPS 12760 WITH SCORE 12806.833
AT ITER 2215 NEW BEST:: SOT 58813 SOS 46833 HAS SOPS 24597 HAS SOUS 15508 HAS SOUPS 12759 WITH SCORE 12805.833
AT ITER 2237 NEW BEST:: SOT 58725 SOS 47557 HAS SOPS 24806 HAS SOUS 15521 HAS SOUPS 12755 WITH SCORE 12802.557
AT ITER 2239 NEW BEST:: SOT 58703 SOS 47535 HAS SOPS 24773 HAS SOUS 15488 HAS SOUPS 12722 WITH SCORE 12769.535
AT ITER 2250 NEW BEST:: SOT 58703 SOS 47535 HAS SOPS 24773 HAS SOUS 15487 HAS SOUPS 12721 WITH SCORE 12768.535
AT ITER 2257 NEW BEST:: SOT 58703 SOS 47535 HAS SOPS 24773 HAS SOUS 15467 HAS SOUPS 12701 WITH SCORE 12748.535
AT ITER 2285 NEW BEST:: SOT 58898 SOS 45680 HAS SOPS 23936 HAS SOUS 15426 HAS SOUPS 12660 WITH SCORE 12705.68
AT ITER 2310 NEW BEST:: SOT 58896 SOS 45678 HAS SOPS 23900 HAS SOUS 15428 HAS SOUPS 12657 WITH SCORE 12702.678
AT ITER 2326 NEW BEST:: SOT 58896 SOS 45668 HAS SOPS 23900 HAS SOUS 15428 HAS SOUPS 12657 WITH SCORE 12702.668
AT ITER 2345 NEW BEST:: SOT 58858 SOS 45960 HAS SOPS 24006 HAS SOUS 15432 HAS SOUPS 12655 WITH SCORE 12700.96
AT ITER 2356 NEW BEST:: SOT 58852 SOS 45954 HAS SOPS 23997 HAS SOUS 15430 HAS SOUPS 12653 WITH SCORE 12698.954
AT ITER 2386 NEW BEST:: SOT 58848 SOS 45957 HAS SOPS 23990 HAS SOUS 15431 HAS SOUPS 12649 WITH SCORE 12694.957
AT ITER 2400 NEW BEST:: SOT 58834 SOS 45943 HAS SOPS 23969 HAS SOUS 15418 HAS SOUPS 12636 WITH SCORE 12681.943
AT ITER 2410 NEW BEST:: SOT 58490 SOS 47833 HAS SOPS 24512 HAS SOUS 15380 HAS SOUPS 12553 WITH SCORE 12600.833
AT ITER 2436 NEW BEST:: SOT 58490 SOS 47833 HAS SOPS 24488 HAS SOUS 15362 HAS SOUPS 12535 WITH SCORE 12582.833
AT ITER 2441 NEW BEST:: SOT 58486 SOS 47829 HAS SOPS 24480 HAS SOUS 15347 HAS SOUPS 12520 WITH SCORE 12567.829
AT ITER 2445 NEW BEST:: SOT 58472 SOS 47815 HAS SOPS 24459 HAS SOUS 15326 HAS SOUPS 12499 WITH SCORE 12546.815
AT ITER 2503 NEW BEST:: SOT 58465 SOS 47781 HAS SOPS 24389 HAS SOUS 15290 HAS SOUPS 12463 WITH SCORE 12510.781
AT ITER 2505 NEW BEST:: SOT 58465 SOS 47765 HAS SOPS 24373 HAS SOUS 15290 HAS SOUPS 12463 WITH SCORE 12510.765
AT ITER 2524 NEW BEST:: SOT 58380 SOS 47848 HAS SOPS 24416 HAS SOUS 15279 HAS SOUPS 12452 WITH SCORE 12499.848
AT ITER 2534 NEW BEST:: SOT 58380 SOS 47848 HAS SOPS 24416 HAS SOUS 15269 HAS SOUPS 12442 WITH SCORE 12489.848
AT ITER 2540 NEW BEST:: SOT 58374 SOS 47842 HAS SOPS 24407 HAS SOUS 15259 HAS SOUPS 12432 WITH SCORE 12479.842
AT ITER 2543 NEW BEST:: SOT 58374 SOS 47842 HAS SOPS 24407 HAS SOUS 15248 HAS SOUPS 12421 WITH SCORE 12468.842
AT ITER 2549 NEW BEST:: SOT 58350 SOS 47818 HAS SOPS 24371 HAS SOUS 15214 HAS SOUPS 12387 WITH SCORE 12434.818
AT ITER 2561 NEW BEST:: SOT 58308 SOS 48025 HAS SOPS 24440 HAS SOUS 15214 HAS SOUPS 12381 WITH SCORE 12429.025
AT ITER 2562 NEW BEST:: SOT 58308 SOS 48025 HAS SOPS 24440 HAS SOUS 15212 HAS SOUPS 12379 WITH SCORE 12427.025
AT ITER 2572 NEW BEST:: SOT 58294 SOS 48035 HAS SOPS 24430 HAS SOUS 15205 HAS SOUPS 12372 WITH SCORE 12420.035
AT ITER 2582 NEW BEST:: SOT 58372 SOS 48103 HAS SOPS 24376 HAS SOUS 15151 HAS SOUPS 12318 WITH SCORE 12366.103
AT ITER 2584 NEW BEST:: SOT 58402 SOS 48133 HAS SOPS 24372 HAS SOUS 15151 HAS SOUPS 12317 WITH SCORE 12365.133
AT ITER 2609 NEW BEST:: SOT 58398 SOS 48122 HAS SOPS 24366 HAS SOUS 15144 HAS SOUPS 12310 WITH SCORE 12358.122
AT ITER 2612 NEW BEST:: SOT 58366 SOS 48090 HAS SOPS 24248 HAS SOUS 15042 HAS SOUPS 12208 WITH SCORE 12256.09
AT ITER 2629 NEW BEST:: SOT 58316 SOS 48040 HAS SOPS 24173 HAS SOUS 14967 HAS SOUPS 12133 WITH SCORE 12181.04
AT ITER 2634 NEW BEST:: SOT 58290 SOS 48014 HAS SOPS 24149 HAS SOUS 14939 HAS SOUPS 12105 WITH SCORE 12153.014
AT ITER 2650 NEW BEST:: SOT 58290 SOS 48014 HAS SOPS 24149 HAS SOUS 14938 HAS SOUPS 12104 WITH SCORE 12152.014
AT ITER 2666 NEW BEST:: SOT 58286 SOS 48010 HAS SOPS 24141 HAS SOUS 14936 HAS SOUPS 12102 WITH SCORE 12150.01
AT ITER 2670 NEW BEST:: SOT 58286 SOS 48010 HAS SOPS 24141 HAS SOUS 14930 HAS SOUPS 12096 WITH SCORE 12144.01
AT ITER 2688 NEW BEST:: SOT 58284 SOS 48008 HAS SOPS 24138 HAS SOUS 14922 HAS SOUPS 12088 WITH SCORE 12136.008
AT ITER 2697 NEW BEST:: SOT 58274 SOS 47998 HAS SOPS 24123 HAS SOUS 14912 HAS SOUPS 12078 WITH SCORE 12125.998
AT ITER 2702 NEW BEST:: SOT 58278 SOS 48002 HAS SOPS 24108 HAS SOUS 14902 HAS SOUPS 12066 WITH SCORE 12114.002
AT ITER 2733 NEW BEST:: SOT 58258 SOS 47982 HAS SOPS 24073 HAS SOUS 14872 HAS SOUPS 12036 WITH SCORE 12083.982
AT ITER 2744 NEW BEST:: SOT 58258 SOS 47982 HAS SOPS 24073 HAS SOUS 14862 HAS SOUPS 12026 WITH SCORE 12073.982
AT ITER 2811 NEW BEST:: SOT 58258 SOS 47982 HAS SOPS 24073 HAS SOUS 14860 HAS SOUPS 12024 WITH SCORE 12071.982
AT ITER 2832 NEW BEST:: SOT 58150 SOS 47874 HAS SOPS 23936 HAS SOUS 14807 HAS SOUPS 11971 WITH SCORE 12018.874
AT ITER 2847 NEW BEST:: SOT 58149 SOS 47873 HAS SOPS 23935 HAS SOUS 14806 HAS SOUPS 11970 WITH SCORE 12017.873
AT ITER 2873 NEW BEST:: SOT 58121 SOS 47845 HAS SOPS 23879 HAS SOUS 14751 HAS SOUPS 11915 WITH SCORE 11962.845
AT ITER 2875 NEW BEST:: SOT 58061 SOS 47785 HAS SOPS 23779 HAS SOUS 14691 HAS SOUPS 11855 WITH SCORE 11902.785
AT ITER 2876 NEW BEST:: SOT 58059 SOS 47780 HAS SOPS 23773 HAS SOUS 14687 HAS SOUPS 11851 WITH SCORE 11898.78
AT ITER 2890 NEW BEST:: SOT 58022 SOS 47795 HAS SOPS 23738 HAS SOUS 14678 HAS SOUPS 11803 WITH SCORE 11850.795
AT ITER 2895 NEW BEST:: SOT 58022 SOS 47795 HAS SOPS 23736 HAS SOUS 14678 HAS SOUPS 11801 WITH SCORE 11848.795
AT ITER 2905 NEW BEST:: SOT 58002 SOS 47731 HAS SOPS 23706 HAS SOUS 14632 HAS SOUPS 11755 WITH SCORE 11802.731
AT ITER 2927 NEW BEST:: SOT 57994 SOS 47723 HAS SOPS 23702 HAS SOUS 14626 HAS SOUPS 11749 WITH SCORE 11796.723
AT ITER 2960 NEW BEST:: SOT 57996 SOS 47725 HAS SOPS 23704 HAS SOUS 14624 HAS SOUPS 11747 WITH SCORE 11794.725
AT ITER 2978 NEW BEST:: SOT 57993 SOS 47722 HAS SOPS 23713 HAS SOUS 14618 HAS SOUPS 11747 WITH SCORE 11794.722
AT ITER 2988 NEW BEST:: SOT 57973 SOS 47702 HAS SOPS 23687 HAS SOUS 14573 HAS SOUPS 11702 WITH SCORE 11749.702
AT ITER 3004 NEW BEST:: SOT 57999 SOS 47728 HAS SOPS 23586 HAS SOUS 14507 HAS SOUPS 11636 WITH SCORE 11683.728
AT ITER 3022 NEW BEST:: SOT 57897 SOS 47640 HAS SOPS 23543 HAS SOUS 14412 HAS SOUPS 11593 WITH SCORE 11640.64
AT ITER 3028 NEW BEST:: SOT 57885 SOS 47628 HAS SOPS 23523 HAS SOUS 14400 HAS SOUPS 11581 WITH SCORE 11628.628
AT ITER 3038 NEW BEST:: SOT 57885 SOS 47628 HAS SOPS 23523 HAS SOUS 14397 HAS SOUPS 11578 WITH SCORE 11625.628
AT ITER 3039 NEW BEST:: SOT 57877 SOS 47620 HAS SOPS 23511 HAS SOUS 14385 HAS SOUPS 11566 WITH SCORE 11613.62
AT ITER 3041 NEW BEST:: SOT 57867 SOS 47610 HAS SOPS 23496 HAS SOUS 14370 HAS SOUPS 11551 WITH SCORE 11598.61
AT ITER 3044 NEW BEST:: SOT 57861 SOS 47604 HAS SOPS 23487 HAS SOUS 14361 HAS SOUPS 11542 WITH SCORE 11589.604
AT ITER 3057 NEW BEST:: SOT 57839 SOS 47582 HAS SOPS 23349 HAS SOUS 14355 HAS SOUPS 11501 WITH SCORE 11548.582
AT ITER 3058 NEW BEST:: SOT 57827 SOS 47581 HAS SOPS 23331 HAS SOUS 14323 HAS SOUPS 11469 WITH SCORE 11516.581
AT ITER 3062 NEW BEST:: SOT 57827 SOS 47581 HAS SOPS 23331 HAS SOUS 14316 HAS SOUPS 11462 WITH SCORE 11509.581
AT ITER 3069 NEW BEST:: SOT 57783 SOS 47537 HAS SOPS 23265 HAS SOUS 14250 HAS SOUPS 11396 WITH SCORE 11443.537
AT ITER 3130 NEW BEST:: SOT 57783 SOS 47537 HAS SOPS 23265 HAS SOUS 14239 HAS SOUPS 11385 WITH SCORE 11432.537
AT ITER 3131 NEW BEST:: SOT 57795 SOS 47436 HAS SOPS 23226 HAS SOUS 14237 HAS SOUPS 11385 WITH SCORE 11432.436
AT ITER 3170 NEW BEST:: SOT 57795 SOS 47430 HAS SOPS 23220 HAS SOUS 14237 HAS SOUPS 11385 WITH SCORE 11432.43
AT ITER 3209 NEW BEST:: SOT 57795 SOS 47451 HAS SOPS 23229 HAS SOUS 14234 HAS SOUPS 11382 WITH SCORE 11429.451
AT ITER 3212 NEW BEST:: SOT 57729 SOS 47391 HAS SOPS 23145 HAS SOUS 14129 HAS SOUPS 11277 WITH SCORE 11324.391
AT ITER 3232 NEW BEST:: SOT 57729 SOS 47391 HAS SOPS 23129 HAS SOUS 14114 HAS SOUPS 11262 WITH SCORE 11309.391
AT ITER 3254 NEW BEST:: SOT 57682 SOS 47346 HAS SOPS 23042 HAS SOUS 14059 HAS SOUPS 11207 WITH SCORE 11254.346
AT ITER 3258 NEW BEST:: SOT 57680 SOS 47343 HAS SOPS 23039 HAS SOUS 14055 HAS SOUPS 11203 WITH SCORE 11250.343
AT ITER 3267 NEW BEST:: SOT 57673 SOS 47336 HAS SOPS 23031 HAS SOUS 14052 HAS SOUPS 11200 WITH SCORE 11247.336
AT ITER 3329 NEW BEST:: SOT 57637 SOS 47241 HAS SOPS 22959 HAS SOUS 13951 HAS SOUPS 11122 WITH SCORE 11169.241
AT ITER 3347 NEW BEST:: SOT 57617 SOS 47221 HAS SOPS 22955 HAS SOUS 13912 HAS SOUPS 11083 WITH SCORE 11130.221
AT ITER 3358 NEW BEST:: SOT 57611 SOS 47215 HAS SOPS 22946 HAS SOUS 13892 HAS SOUPS 11063 WITH SCORE 11110.215
AT ITER 3366 NEW BEST:: SOT 57611 SOS 47215 HAS SOPS 22946 HAS SOUS 13885 HAS SOUPS 11056 WITH SCORE 11103.215
AT ITER 3407 NEW BEST:: SOT 57611 SOS 47215 HAS SOPS 22937 HAS SOUS 13876 HAS SOUPS 11047 WITH SCORE 11094.215
AT ITER 3439 NEW BEST:: SOT 57520 SOS 47124 HAS SOPS 22790 HAS SOUS 13841 HAS SOUPS 11012 WITH SCORE 11059.124
AT ITER 3466 NEW BEST:: SOT 57486 SOS 47090 HAS SOPS 22739 HAS SOUS 13774 HAS SOUPS 10945 WITH SCORE 10992.09
AT ITER 3473 NEW BEST:: SOT 57486 SOS 47090 HAS SOPS 22739 HAS SOUS 13773 HAS SOUPS 10944 WITH SCORE 10991.09
AT ITER 3479 NEW BEST:: SOT 57486 SOS 47090 HAS SOPS 22739 HAS SOUS 13770 HAS SOUPS 10941 WITH SCORE 10988.09
AT ITER 3500 NEW BEST:: SOT 57486 SOS 47086 HAS SOPS 22739 HAS SOUS 13770 HAS SOUPS 10941 WITH SCORE 10988.086
AT ITER 3511 NEW BEST:: SOT 57422 SOS 47022 HAS SOPS 22643 HAS SOUS 13674 HAS SOUPS 10845 WITH SCORE 10892.022
AT ITER 3517 NEW BEST:: SOT 57390 SOS 46990 HAS SOPS 22595 HAS SOUS 13671 HAS SOUPS 10842 WITH SCORE 10888.99
AT ITER 3524 NEW BEST:: SOT 57397 SOS 46997 HAS SOPS 22581 HAS SOUS 13650 HAS SOUPS 10821 WITH SCORE 10867.997
AT ITER 3528 NEW BEST:: SOT 57394 SOS 46994 HAS SOPS 22576 HAS SOUS 13648 HAS SOUPS 10819 WITH SCORE 10865.994
AT ITER 3548 NEW BEST:: SOT 57398 SOS 46950 HAS SOPS 22558 HAS SOUS 13606 HAS SOUPS 10803 WITH SCORE 10849.95
AT ITER 3554 NEW BEST:: SOT 57393 SOS 46945 HAS SOPS 22548 HAS SOUS 13591 HAS SOUPS 10788 WITH SCORE 10834.945
AT ITER 3586 NEW BEST:: SOT 57366 SOS 47232 HAS SOPS 22654 HAS SOUS 13590 HAS SOUPS 10787 WITH SCORE 10834.232
AT ITER 3597 NEW BEST:: SOT 57366 SOS 47232 HAS SOPS 22654 HAS SOUS 13586 HAS SOUPS 10783 WITH SCORE 10830.232
AT ITER 3612 NEW BEST:: SOT 57309 SOS 47555 HAS SOPS 22705 HAS SOUS 13577 HAS SOUPS 10774 WITH SCORE 10821.555
AT ITER 3616 NEW BEST:: SOT 57303 SOS 47549 HAS SOPS 22696 HAS SOUS 13573 HAS SOUPS 10770 WITH SCORE 10817.549
AT ITER 3636 NEW BEST:: SOT 57287 SOS 47533 HAS SOPS 22664 HAS SOUS 13541 HAS SOUPS 10738 WITH SCORE 10785.533
AT ITER 3645 NEW BEST:: SOT 57281 SOS 47527 HAS SOPS 22655 HAS SOUS 13530 HAS SOUPS 10727 WITH SCORE 10774.527
AT ITER 3654 NEW BEST:: SOT 57279 SOS 47517 HAS SOPS 22645 HAS SOUS 13529 HAS SOUPS 10726 WITH SCORE 10773.517
AT ITER 3673 NEW BEST:: SOT 57233 SOS 47471 HAS SOPS 22576 HAS SOUS 13458 HAS SOUPS 10655 WITH SCORE 10702.471
AT ITER 3692 NEW BEST:: SOT 57203 SOS 47440 HAS SOPS 22532 HAS SOUS 13402 HAS SOUPS 10599 WITH SCORE 10646.44
AT ITER 3699 NEW BEST:: SOT 57203 SOS 47440 HAS SOPS 22532 HAS SOUS 13398 HAS SOUPS 10595 WITH SCORE 10642.44
AT ITER 3709 NEW BEST:: SOT 57203 SOS 47440 HAS SOPS 22532 HAS SOUS 13396 HAS SOUPS 10593 WITH SCORE 10640.44
AT ITER 3717 NEW BEST:: SOT 57183 SOS 47420 HAS SOPS 22502 HAS SOUS 13342 HAS SOUPS 10539 WITH SCORE 10586.42
AT ITER 3724 NEW BEST:: SOT 57137 SOS 47374 HAS SOPS 22433 HAS SOUS 13250 HAS SOUPS 10447 WITH SCORE 10494.374
AT ITER 3734 NEW BEST:: SOT 57143 SOS 47380 HAS SOPS 22442 HAS SOUS 13249 HAS SOUPS 10446 WITH SCORE 10493.38
AT ITER 3757 NEW BEST:: SOT 57119 SOS 47356 HAS SOPS 22406 HAS SOUS 13221 HAS SOUPS 10418 WITH SCORE 10465.356
AT ITER 3758 NEW BEST:: SOT 57101 SOS 47338 HAS SOPS 22406 HAS SOUS 13221 HAS SOUPS 10418 WITH SCORE 10465.338
AT ITER 3762 NEW BEST:: SOT 57101 SOS 47370 HAS SOPS 22406 HAS SOUS 13221 HAS SOUPS 10386 WITH SCORE 10433.37
AT ITER 3772 NEW BEST:: SOT 57093 SOS 47362 HAS SOPS 22406 HAS SOUS 13221 HAS SOUPS 10386 WITH SCORE 10433.362
AT ITER 3778 NEW BEST:: SOT 57083 SOS 47366 HAS SOPS 22399 HAS SOUS 13216 HAS SOUPS 10381 WITH SCORE 10428.366
AT ITER 3816 NEW BEST:: SOT 57049 SOS 47332 HAS SOPS 22348 HAS SOUS 13165 HAS SOUPS 10330 WITH SCORE 10377.332
AT ITER 3831 NEW BEST:: SOT 57049 SOS 47332 HAS SOPS 22348 HAS SOUS 13160 HAS SOUPS 10325 WITH SCORE 10372.332
AT ITER 3850 NEW BEST:: SOT 57024 SOS 47328 HAS SOPS 22318 HAS SOUS 13138 HAS SOUPS 10282 WITH SCORE 10329.328
AT ITER 3851 NEW BEST:: SOT 57010 SOS 47314 HAS SOPS 22297 HAS SOUS 13091 HAS SOUPS 10235 WITH SCORE 10282.314
AT ITER 3857 NEW BEST:: SOT 56996 SOS 47300 HAS SOPS 22276 HAS SOUS 13077 HAS SOUPS 10221 WITH SCORE 10268.3
AT ITER 3871 NEW BEST:: SOT 56969 SOS 47273 HAS SOPS 22249 HAS SOUS 13065 HAS SOUPS 10209 WITH SCORE 10256.273
AT ITER 3880 NEW BEST:: SOT 56969 SOS 47273 HAS SOPS 22249 HAS SOUS 13063 HAS SOUPS 10207 WITH SCORE 10254.273
AT ITER 3893 NEW BEST:: SOT 56925 SOS 47229 HAS SOPS 22194 HAS SOUS 12997 HAS SOUPS 10141 WITH SCORE 10188.229
AT ITER 3942 NEW BEST:: SOT 56895 SOS 47199 HAS SOPS 22149 HAS SOUS 12994 HAS SOUPS 10138 WITH SCORE 10185.199
AT ITER 3978 NEW BEST:: SOT 56869 SOS 47173 HAS SOPS 22097 HAS SOUS 12955 HAS SOUPS 10099 WITH SCORE 10146.173
AT ITER 3984 NEW BEST:: SOT 56861 SOS 47165 HAS SOPS 22085 HAS SOUS 12939 HAS SOUPS 10083 WITH SCORE 10130.165
AT ITER 4051 NEW BEST:: SOT 56861 SOS 47163 HAS SOPS 22085 HAS SOUS 12939 HAS SOUPS 10083 WITH SCORE 10130.163
AT ITER 4076 NEW BEST:: SOT 56807 SOS 47109 HAS SOPS 21977 HAS SOUS 12860 HAS SOUPS 10004 WITH SCORE 10051.109
AT ITER 4107 NEW BEST:: SOT 56804 SOS 47106 HAS SOPS 21974 HAS SOUS 12860 HAS SOUPS 10004 WITH SCORE 10051.106
AT ITER 4129 NEW BEST:: SOT 56738 SOS 47049 HAS SOPS 21917 HAS SOUS 12803 HAS SOUPS 9947 WITH SCORE 9994.049
AT ITER 4163 NEW BEST:: SOT 56724 SOS 47035 HAS SOPS 21896 HAS SOUS 12752 HAS SOUPS 9896 WITH SCORE 9943.035
AT ITER 4169 NEW BEST:: SOT 56738 SOS 47049 HAS SOPS 21917 HAS SOUS 12746 HAS SOUPS 9890 WITH SCORE 9937.049
AT ITER 4176 NEW BEST:: SOT 56730 SOS 47041 HAS SOPS 21905 HAS SOUS 12730 HAS SOUPS 9874 WITH SCORE 9921.041
AT ITER 4206 NEW BEST:: SOT 56728 SOS 47035 HAS SOPS 21901 HAS SOUS 12722 HAS SOUPS 9868 WITH SCORE 9915.035
AT ITER 4237 NEW BEST:: SOT 56734 SOS 47041 HAS SOPS 21910 HAS SOUS 12718 HAS SOUPS 9864 WITH SCORE 9911.041
AT ITER 4242 NEW BEST:: SOT 56696 SOS 47003 HAS SOPS 21853 HAS SOUS 12640 HAS SOUPS 9786 WITH SCORE 9833.003
AT ITER 4247 NEW BEST:: SOT 56680 SOS 46987 HAS SOPS 21853 HAS SOUS 12640 HAS SOUPS 9786 WITH SCORE 9832.987
AT ITER 4273 NEW BEST:: SOT 56646 SOS 46953 HAS SOPS 21820 HAS SOUS 12607 HAS SOUPS 9753 WITH SCORE 9799.953
AT ITER 4291 NEW BEST:: SOT 56642 SOS 46949 HAS SOPS 21816 HAS SOUS 12607 HAS SOUPS 9753 WITH SCORE 9799.949
AT ITER 4304 NEW BEST:: SOT 56642 SOS 46949 HAS SOPS 21816 HAS SOUS 12595 HAS SOUPS 9741 WITH SCORE 9787.949
AT ITER 4316 NEW BEST:: SOT 56640 SOS 46947 HAS SOPS 21813 HAS SOUS 12591 HAS SOUPS 9737 WITH SCORE 9783.947
AT ITER 4341 NEW BEST:: SOT 56627 SOS 46934 HAS SOPS 21786 HAS SOUS 12556 HAS SOUPS 9702 WITH SCORE 9748.934
AT ITER 4350 NEW BEST:: SOT 56605 SOS 46912 HAS SOPS 21742 HAS SOUS 12523 HAS SOUPS 9669 WITH SCORE 9715.912
AT ITER 4365 NEW BEST:: SOT 56574 SOS 46881 HAS SOPS 21697 HAS SOUS 12485 HAS SOUPS 9631 WITH SCORE 9677.881
AT ITER 4376 NEW BEST:: SOT 56564 SOS 46871 HAS SOPS 21682 HAS SOUS 12470 HAS SOUPS 9616 WITH SCORE 9662.871
AT ITER 4390 NEW BEST:: SOT 56578 SOS 46914 HAS SOPS 21701 HAS SOUS 12469 HAS SOUPS 9591 WITH SCORE 9637.914
AT ITER 4407 NEW BEST:: SOT 56562 SOS 46889 HAS SOPS 21716 HAS SOUS 12454 HAS SOUPS 9588 WITH SCORE 9634.889
AT ITER 4430 NEW BEST:: SOT 56570 SOS 46897 HAS SOPS 21700 HAS SOUS 12445 HAS SOUPS 9579 WITH SCORE 9625.897
AT ITER 4436 NEW BEST:: SOT 56570 SOS 46897 HAS SOPS 21700 HAS SOUS 12420 HAS SOUPS 9554 WITH SCORE 9600.897
AT ITER 4520 NEW BEST:: SOT 56570 SOS 46897 HAS SOPS 21696 HAS SOUS 12419 HAS SOUPS 9553 WITH SCORE 9599.897
AT ITER 4539 NEW BEST:: SOT 56560 SOS 46887 HAS SOPS 21681 HAS SOUS 12404 HAS SOUPS 9538 WITH SCORE 9584.887
AT ITER 4564 NEW BEST:: SOT 56548 SOS 46811 HAS SOPS 21607 HAS SOUS 12381 HAS SOUPS 9515 WITH SCORE 9561.811
AT ITER 4566 NEW BEST:: SOT 56572 SOS 46835 HAS SOPS 21600 HAS SOUS 12373 HAS SOUPS 9507 WITH SCORE 9553.835
AT ITER 4571 NEW BEST:: SOT 56572 SOS 46835 HAS SOPS 21613 HAS SOUS 12358 HAS SOUPS 9492 WITH SCORE 9538.835
AT ITER 4609 NEW BEST:: SOT 56550 SOS 46813 HAS SOPS 21580 HAS SOUS 12338 HAS SOUPS 9472 WITH SCORE 9518.813
AT ITER 4645 NEW BEST:: SOT 56554 SOS 46817 HAS SOPS 21566 HAS SOUS 12337 HAS SOUPS 9471 WITH SCORE 9517.817
AT ITER 4664 NEW BEST:: SOT 56520 SOS 46783 HAS SOPS 21553 HAS SOUS 12319 HAS SOUPS 9453 WITH SCORE 9499.783
AT ITER 4699 NEW BEST:: SOT 56516 SOS 46779 HAS SOPS 21549 HAS SOUS 12312 HAS SOUPS 9446 WITH SCORE 9492.779
AT ITER 4709 NEW BEST:: SOT 56507 SOS 46767 HAS SOPS 21534 HAS SOUS 12269 HAS SOUPS 9403 WITH SCORE 9449.767
AT ITER 4711 NEW BEST:: SOT 56503 SOS 46763 HAS SOPS 21526 HAS SOUS 12268 HAS SOUPS 9402 WITH SCORE 9448.763
AT ITER 4713 NEW BEST:: SOT 56481 SOS 46741 HAS SOPS 21493 HAS SOUS 12235 HAS SOUPS 9369 WITH SCORE 9415.741
AT ITER 4732 NEW BEST:: SOT 56484 SOS 46744 HAS SOPS 21496 HAS SOUS 12234 HAS SOUPS 9368 WITH SCORE 9414.744
AT ITER 4734 NEW BEST:: SOT 56480 SOS 46740 HAS SOPS 21493 HAS SOUS 12231 HAS SOUPS 9365 WITH SCORE 9411.74
AT ITER 4747 NEW BEST:: SOT 56480 SOS 46740 HAS SOPS 21493 HAS SOUS 12217 HAS SOUPS 9351 WITH SCORE 9397.74
AT ITER 4752 NEW BEST:: SOT 56482 SOS 46742 HAS SOPS 21497 HAS SOUS 12197 HAS SOUPS 9331 WITH SCORE 9377.742
AT ITER 4765 NEW BEST:: SOT 56482 SOS 46742 HAS SOPS 21498 HAS SOUS 12196 HAS SOUPS 9330 WITH SCORE 9376.742
AT ITER 4781 NEW BEST:: SOT 56486 SOS 46746 HAS SOPS 21509 HAS SOUS 12186 HAS SOUPS 9320 WITH SCORE 9366.746
AT ITER 4856 NEW BEST:: SOT 56424 SOS 46684 HAS SOPS 21532 HAS SOUS 12181 HAS SOUPS 9315 WITH SCORE 9361.684
AT ITER 4868 NEW BEST:: SOT 56416 SOS 46676 HAS SOPS 21516 HAS SOUS 12175 HAS SOUPS 9309 WITH SCORE 9355.676
AT ITER 4908 NEW BEST:: SOT 56422 SOS 46682 HAS SOPS 21492 HAS SOUS 12162 HAS SOUPS 9296 WITH SCORE 9342.682
AT ITER 4917 NEW BEST:: SOT 56382 SOS 46642 HAS SOPS 21412 HAS SOUS 12102 HAS SOUPS 9236 WITH SCORE 9282.642
AT ITER 4944 NEW BEST:: SOT 56372 SOS 46632 HAS SOPS 21453 HAS SOUS 12098 HAS SOUPS 9235 WITH SCORE 9281.632
AT ITER 4981 NEW BEST:: SOT 56372 SOS 46632 HAS SOPS 21453 HAS SOUS 12081 HAS SOUPS 9218 WITH SCORE 9264.632
AT ITER 5009 NEW BEST:: SOT 56352 SOS 46612 HAS SOPS 21413 HAS SOUS 12051 HAS SOUPS 9188 WITH SCORE 9234.612
AT ITER 5017 NEW BEST:: SOT 56381 SOS 46473 HAS SOPS 21370 HAS SOUS 12048 HAS SOUPS 9185 WITH SCORE 9231.473
AT ITER 5034 NEW BEST:: SOT 56369 SOS 46461 HAS SOPS 21370 HAS SOUS 12045 HAS SOUPS 9185 WITH SCORE 9231.461
AT ITER 5036 NEW BEST:: SOT 56369 SOS 46461 HAS SOPS 21370 HAS SOUS 12040 HAS SOUPS 9180 WITH SCORE 9226.461
AT ITER 5069 NEW BEST:: SOT 56301 SOS 46393 HAS SOPS 21279 HAS SOUS 12031 HAS SOUPS 9171 WITH SCORE 9217.393
AT ITER 5079 NEW BEST:: SOT 56287 SOS 46379 HAS SOPS 21198 HAS SOUS 11964 HAS SOUPS 9104 WITH SCORE 9150.379
AT ITER 5085 NEW BEST:: SOT 56287 SOS 46379 HAS SOPS 21158 HAS SOUS 11953 HAS SOUPS 9093 WITH SCORE 9139.379
AT ITER 5094 NEW BEST:: SOT 56231 SOS 46323 HAS SOPS 21015 HAS SOUS 11891 HAS SOUPS 9027 WITH SCORE 9073.323
AT ITER 5151 NEW BEST:: SOT 56227 SOS 46319 HAS SOPS 21009 HAS SOUS 11885 HAS SOUPS 9021 WITH SCORE 9067.319
AT ITER 5164 NEW BEST:: SOT 56223 SOS 46315 HAS SOPS 21003 HAS SOUS 11879 HAS SOUPS 9015 WITH SCORE 9061.315
AT ITER 5216 NEW BEST:: SOT 56223 SOS 46321 HAS SOPS 21003 HAS SOUS 11879 HAS SOUPS 9009 WITH SCORE 9055.321
AT ITER 5231 NEW BEST:: SOT 56191 SOS 46289 HAS SOPS 20991 HAS SOUS 11861 HAS SOUPS 8991 WITH SCORE 9037.289
AT ITER 5232 NEW BEST:: SOT 56191 SOS 46289 HAS SOPS 20991 HAS SOUS 11851 HAS SOUPS 8981 WITH SCORE 9027.289
AT ITER 5254 NEW BEST:: SOT 56191 SOS 46289 HAS SOPS 20991 HAS SOUS 11849 HAS SOUPS 8979 WITH SCORE 9025.289
AT ITER 5258 NEW BEST:: SOT 56189 SOS 46322 HAS SOPS 20827 HAS SOUS 11839 HAS SOUPS 8969 WITH SCORE 9015.322
AT ITER 5271 NEW BEST:: SOT 56187 SOS 46320 HAS SOPS 20828 HAS SOUS 11837 HAS SOUPS 8967 WITH SCORE 9013.32
AT ITER 5290 NEW BEST:: SOT 56189 SOS 46322 HAS SOPS 20831 HAS SOUS 11829 HAS SOUPS 8959 WITH SCORE 9005.322
AT ITER 5295 NEW BEST:: SOT 56203 SOS 46336 HAS SOPS 20845 HAS SOUS 11822 HAS SOUPS 8952 WITH SCORE 8998.336
AT ITER 5297 NEW BEST:: SOT 56187 SOS 46320 HAS SOPS 20821 HAS SOUS 11785 HAS SOUPS 8915 WITH SCORE 8961.32
AT ITER 5334 NEW BEST:: SOT 56181 SOS 46314 HAS SOPS 20809 HAS SOUS 11776 HAS SOUPS 8906 WITH SCORE 8952.314
AT ITER 5335 NEW BEST:: SOT 56179 SOS 46312 HAS SOPS 20806 HAS SOUS 11775 HAS SOUPS 8905 WITH SCORE 8951.312
AT ITER 5340 NEW BEST:: SOT 56177 SOS 46310 HAS SOPS 20779 HAS SOUS 11754 HAS SOUPS 8884 WITH SCORE 8930.31
AT ITER 5379 NEW BEST:: SOT 56161 SOS 46294 HAS SOPS 20742 HAS SOUS 11729 HAS SOUPS 8859 WITH SCORE 8905.294
AT ITER 5384 NEW BEST:: SOT 56161 SOS 46294 HAS SOPS 20742 HAS SOUS 11719 HAS SOUPS 8849 WITH SCORE 8895.294
AT ITER 5386 NEW BEST:: SOT 56161 SOS 46294 HAS SOPS 20739 HAS SOUS 11715 HAS SOUPS 8845 WITH SCORE 8891.294
AT ITER 5429 NEW BEST:: SOT 56149 SOS 46282 HAS SOPS 20697 HAS SOUS 11679 HAS SOUPS 8809 WITH SCORE 8855.282
AT ITER 5486 NEW BEST:: SOT 56118 SOS 46243 HAS SOPS 20650 HAS SOUS 11648 HAS SOUPS 8778 WITH SCORE 8824.243
AT ITER 5491 NEW BEST:: SOT 56118 SOS 46243 HAS SOPS 20650 HAS SOUS 11646 HAS SOUPS 8776 WITH SCORE 8822.243
AT ITER 5511 NEW BEST:: SOT 56118 SOS 46243 HAS SOPS 20646 HAS SOUS 11645 HAS SOUPS 8775 WITH SCORE 8821.243
AT ITER 5552 NEW BEST:: SOT 56116 SOS 46251 HAS SOPS 20654 HAS SOUS 11635 HAS SOUPS 8765 WITH SCORE 8811.251
AT ITER 5562 NEW BEST:: SOT 56116 SOS 46251 HAS SOPS 20654 HAS SOUS 11634 HAS SOUPS 8764 WITH SCORE 8810.251
AT ITER 5595 NEW BEST:: SOT 56115 SOS 46248 HAS SOPS 20652 HAS SOUS 11633 HAS SOUPS 8764 WITH SCORE 8810.248
AT ITER 5636 NEW BEST:: SOT 56099 SOS 46239 HAS SOPS 20628 HAS SOUS 11619 HAS SOUPS 8741 WITH SCORE 8787.239
AT ITER 5640 NEW BEST:: SOT 56083 SOS 46223 HAS SOPS 20616 HAS SOUS 11607 HAS SOUPS 8729 WITH SCORE 8775.223
AT ITER 5641 NEW BEST:: SOT 56083 SOS 46223 HAS SOPS 20616 HAS SOUS 11600 HAS SOUPS 8722 WITH SCORE 8768.223
AT ITER 5675 NEW BEST:: SOT 56083 SOS 46223 HAS SOPS 20616 HAS SOUS 11582 HAS SOUPS 8704 WITH SCORE 8750.223
AT ITER 5690 NEW BEST:: SOT 56083 SOS 46223 HAS SOPS 20616 HAS SOUS 11579 HAS SOUPS 8701 WITH SCORE 8747.223
AT ITER 5725 NEW BEST:: SOT 56045 SOS 46185 HAS SOPS 20559 HAS SOUS 11537 HAS SOUPS 8659 WITH SCORE 8705.185
AT ITER 5820 NEW BEST:: SOT 55993 SOS 46133 HAS SOPS 20556 HAS SOUS 11492 HAS SOUPS 8614 WITH SCORE 8660.133
AT ITER 5826 NEW BEST:: SOT 55989 SOS 46129 HAS SOPS 20550 HAS SOUS 11484 HAS SOUPS 8606 WITH SCORE 8652.129
AT ITER 5877 NEW BEST:: SOT 55986 SOS 46126 HAS SOPS 20539 HAS SOUS 11477 HAS SOUPS 8599 WITH SCORE 8645.126
AT ITER 5895 NEW BEST:: SOT 55988 SOS 46116 HAS SOPS 20529 HAS SOUS 11472 HAS SOUPS 8594 WITH SCORE 8640.116
AT ITER 5950 NEW BEST:: SOT 55944 SOS 46072 HAS SOPS 20463 HAS SOUS 11406 HAS SOUPS 8528 WITH SCORE 8574.072
AT ITER 5964 NEW BEST:: SOT 55939 SOS 46067 HAS SOPS 20458 HAS SOUS 11406 HAS SOUPS 8528 WITH SCORE 8574.067
AT ITER 5981 NEW BEST:: SOT 55919 SOS 46047 HAS SOPS 20428 HAS SOUS 11388 HAS SOUPS 8510 WITH SCORE 8556.047
AT ITER 5991 NEW BEST:: SOT 55917 SOS 46059 HAS SOPS 20426 HAS SOUS 11400 HAS SOUPS 8508 WITH SCORE 8554.059
AT ITER 6053 NEW BEST:: SOT 55917 SOS 46059 HAS SOPS 20426 HAS SOUS 11387 HAS SOUPS 8495 WITH SCORE 8541.059
AT ITER 6136 NEW BEST:: SOT 55909 SOS 46051 HAS SOPS 20414 HAS SOUS 11375 HAS SOUPS 8483 WITH SCORE 8529.051
AT ITER 6168 NEW BEST:: SOT 55909 SOS 46051 HAS SOPS 20414 HAS SOUS 11373 HAS SOUPS 8481 WITH SCORE 8527.051
AT ITER 6177 NEW BEST:: SOT 55898 SOS 46055 HAS SOPS 20396 HAS SOUS 11344 HAS SOUPS 8437 WITH SCORE 8483.055
AT ITER 6189 NEW BEST:: SOT 55894 SOS 46051 HAS SOPS 20390 HAS SOUS 11335 HAS SOUPS 8428 WITH SCORE 8474.051
AT ITER 6225 NEW BEST:: SOT 55892 SOS 46049 HAS SOPS 20388 HAS SOUS 11334 HAS SOUPS 8427 WITH SCORE 8473.049
AT ITER 6228 NEW BEST:: SOT 55882 SOS 46039 HAS SOPS 20373 HAS SOUS 11324 HAS SOUPS 8417 WITH SCORE 8463.039
AT ITER 6354 NEW BEST:: SOT 55874 SOS 46031 HAS SOPS 20361 HAS SOUS 11310 HAS SOUPS 8403 WITH SCORE 8449.031
AT ITER 6378 NEW BEST:: SOT 55874 SOS 46031 HAS SOPS 20361 HAS SOUS 11300 HAS SOUPS 8393 WITH SCORE 8439.031
AT ITER 6393 NEW BEST:: SOT 55910 SOS 46051 HAS SOPS 20337 HAS SOUS 11337 HAS SOUPS 8374 WITH SCORE 8420.051
AT ITER 6430 NEW BEST:: SOT 55918 SOS 46059 HAS SOPS 20321 HAS SOUS 11317 HAS SOUPS 8354 WITH SCORE 8400.059
AT ITER 6459 NEW BEST:: SOT 55944 SOS 46085 HAS SOPS 20322 HAS SOUS 11316 HAS SOUPS 8353 WITH SCORE 8399.085
AT ITER 6538 NEW BEST:: SOT 55970 SOS 46111 HAS SOPS 20306 HAS SOUS 11304 HAS SOUPS 8341 WITH SCORE 8387.111
AT ITER 6592 NEW BEST:: SOT 55970 SOS 46111 HAS SOPS 20306 HAS SOUS 11297 HAS SOUPS 8334 WITH SCORE 8380.111
AT ITER 6687 NEW BEST:: SOT 55945 SOS 46083 HAS SOPS 20266 HAS SOUS 11285 HAS SOUPS 8322 WITH SCORE 8368.083
AT ITER 6714 NEW BEST:: SOT 55941 SOS 46079 HAS SOPS 20260 HAS SOUS 11281 HAS SOUPS 8318 WITH SCORE 8364.079
AT ITER 6737 NEW BEST:: SOT 55935 SOS 46073 HAS SOPS 20236 HAS SOUS 11260 HAS SOUPS 8297 WITH SCORE 8343.073
AT ITER 6739 NEW BEST:: SOT 55973 SOS 45662 HAS SOPS 20066 HAS SOUS 11259 HAS SOUPS 8296 WITH SCORE 8341.662
AT ITER 6784 NEW BEST:: SOT 55973 SOS 45662 HAS SOPS 20066 HAS SOUS 11251 HAS SOUPS 8288 WITH SCORE 8333.662
AT ITER 6785 NEW BEST:: SOT 55969 SOS 45658 HAS SOPS 20060 HAS SOUS 11249 HAS SOUPS 8286 WITH SCORE 8331.658
AT ITER 6828 NEW BEST:: SOT 55945 SOS 45634 HAS SOPS 20076 HAS SOUS 11238 HAS SOUPS 8275 WITH SCORE 8320.634
AT ITER 6837 NEW BEST:: SOT 55951 SOS 45620 HAS SOPS 20085 HAS SOUS 11215 HAS SOUPS 8272 WITH SCORE 8317.62
AT ITER 6842 NEW BEST:: SOT 55937 SOS 45606 HAS SOPS 20064 HAS SOUS 11194 HAS SOUPS 8251 WITH SCORE 8296.606
AT ITER 6848 NEW BEST:: SOT 55931 SOS 45600 HAS SOPS 20055 HAS SOUS 11183 HAS SOUPS 8240 WITH SCORE 8285.6
AT ITER 6853 NEW BEST:: SOT 55931 SOS 45600 HAS SOPS 20055 HAS SOUS 11181 HAS SOUPS 8238 WITH SCORE 8283.6
AT ITER 6888 NEW BEST:: SOT 55931 SOS 45600 HAS SOPS 20055 HAS SOUS 11178 HAS SOUPS 8235 WITH SCORE 8280.6
AT ITER 6904 NEW BEST:: SOT 55937 SOS 45606 HAS SOPS 20044 HAS SOUS 11181 HAS SOUPS 8232 WITH SCORE 8277.606
AT ITER 6965 NEW BEST:: SOT 55937 SOS 45606 HAS SOPS 20044 HAS SOUS 11177 HAS SOUPS 8228 WITH SCORE 8273.606
AT ITER 6985 NEW BEST:: SOT 55940 SOS 45612 HAS SOPS 20047 HAS SOUS 11174 HAS SOUPS 8222 WITH SCORE 8267.612
AT ITER 7051 NEW BEST:: SOT 55972 SOS 45644 HAS SOPS 20082 HAS SOUS 11170 HAS SOUPS 8218 WITH SCORE 8263.644
AT ITER 7115 NEW BEST:: SOT 55931 SOS 45579 HAS SOPS 20041 HAS SOUS 11132 HAS SOUPS 8204 WITH SCORE 8249.579
AT ITER 7135 NEW BEST:: SOT 55932 SOS 45586 HAS SOPS 20032 HAS SOUS 11132 HAS SOUPS 8201 WITH SCORE 8246.586
AT ITER 7142 NEW BEST:: SOT 55922 SOS 45576 HAS SOPS 20061 HAS SOUS 11112 HAS SOUPS 8181 WITH SCORE 8226.576
AT ITER 7248 NEW BEST:: SOT 55912 SOS 45566 HAS SOPS 20046 HAS SOUS 11100 HAS SOUPS 8169 WITH SCORE 8214.566
AT ITER 7262 NEW BEST:: SOT 55912 SOS 45566 HAS SOPS 20046 HAS SOUS 11098 HAS SOUPS 8167 WITH SCORE 8212.566
AT ITER 7282 NEW BEST:: SOT 55912 SOS 45566 HAS SOPS 20046 HAS SOUS 11085 HAS SOUPS 8154 WITH SCORE 8199.566
AT ITER 7292 NEW BEST:: SOT 55910 SOS 45564 HAS SOPS 20043 HAS SOUS 11082 HAS SOUPS 8151 WITH SCORE 8196.564
AT ITER 7304 NEW BEST:: SOT 55894 SOS 45548 HAS SOPS 20019 HAS SOUS 11063 HAS SOUPS 8132 WITH SCORE 8177.548
AT ITER 7320 NEW BEST:: SOT 55914 SOS 45530 HAS SOPS 19972 HAS SOUS 11028 HAS SOUPS 8097 WITH SCORE 8142.53
AT ITER 7340 NEW BEST:: SOT 55912 SOS 45528 HAS SOPS 19969 HAS SOUS 11017 HAS SOUPS 8086 WITH SCORE 8131.528
AT ITER 7346 NEW BEST:: SOT 55911 SOS 45532 HAS SOPS 19962 HAS SOUS 11013 HAS SOUPS 8077 WITH SCORE 8122.532
AT ITER 7354 NEW BEST:: SOT 55891 SOS 45512 HAS SOPS 19919 HAS SOUS 10977 HAS SOUPS 8041 WITH SCORE 8086.512
AT ITER 7484 NEW BEST:: SOT 55891 SOS 45512 HAS SOPS 19919 HAS SOUS 10975 HAS SOUPS 8039 WITH SCORE 8084.512
AT ITER 7491 NEW BEST:: SOT 55891 SOS 45507 HAS SOPS 19919 HAS SOUS 10975 HAS SOUPS 8039 WITH SCORE 8084.507
AT ITER 7508 NEW BEST:: SOT 55869 SOS 45485 HAS SOPS 19930 HAS SOUS 10975 HAS SOUPS 8039 WITH SCORE 8084.485
AT ITER 7527 NEW BEST:: SOT 55869 SOS 45485 HAS SOPS 19930 HAS SOUS 10974 HAS SOUPS 8038 WITH SCORE 8083.485
AT ITER 7548 NEW BEST:: SOT 55866 SOS 45479 HAS SOPS 19927 HAS SOUS 10971 HAS SOUPS 8038 WITH SCORE 8083.479
AT ITER 7580 NEW BEST:: SOT 55826 SOS 45439 HAS SOPS 19867 HAS SOUS 10911 HAS SOUPS 7978 WITH SCORE 8023.439
AT ITER 7617 NEW BEST:: SOT 55846 SOS 45459 HAS SOPS 19864 HAS SOUS 10908 HAS SOUPS 7975 WITH SCORE 8020.459
AT ITER 7627 NEW BEST:: SOT 55834 SOS 45441 HAS SOPS 19846 HAS SOUS 10884 HAS SOUPS 7951 WITH SCORE 7996.441
AT ITER 7675 NEW BEST:: SOT 55828 SOS 45435 HAS SOPS 19837 HAS SOUS 10871 HAS SOUPS 7938 WITH SCORE 7983.435
AT ITER 7739 NEW BEST:: SOT 55840 SOS 45339 HAS SOPS 19768 HAS SOUS 10857 HAS SOUPS 7924 WITH SCORE 7969.339
AT ITER 7741 NEW BEST:: SOT 55868 SOS 45367 HAS SOPS 19750 HAS SOUS 10845 HAS SOUPS 7912 WITH SCORE 7957.367
AT ITER 7785 NEW BEST:: SOT 55862 SOS 45361 HAS SOPS 19741 HAS SOUS 10836 HAS SOUPS 7903 WITH SCORE 7948.361
AT ITER 7877 NEW BEST:: SOT 55876 SOS 45375 HAS SOPS 19701 HAS SOUS 10811 HAS SOUPS 7878 WITH SCORE 7923.375
AT ITER 7900 NEW BEST:: SOT 55896 SOS 45111 HAS SOPS 19587 HAS SOUS 10801 HAS SOUPS 7873 WITH SCORE 7918.111
AT ITER 7906 NEW BEST:: SOT 55895 SOS 45108 HAS SOPS 19585 HAS SOUS 10799 HAS SOUPS 7872 WITH SCORE 7917.108
AT ITER 7927 NEW BEST:: SOT 55893 SOS 45106 HAS SOPS 19582 HAS SOUS 10796 HAS SOUPS 7869 WITH SCORE 7914.106
AT ITER 7931 NEW BEST:: SOT 55883 SOS 45096 HAS SOPS 19567 HAS SOUS 10786 HAS SOUPS 7859 WITH SCORE 7904.096
AT ITER 7941 NEW BEST:: SOT 55849 SOS 45062 HAS SOPS 19534 HAS SOUS 10753 HAS SOUPS 7826 WITH SCORE 7871.062
AT ITER 7959 NEW BEST:: SOT 55845 SOS 45058 HAS SOPS 19526 HAS SOUS 10747 HAS SOUPS 7820 WITH SCORE 7865.058
AT ITER 7972 NEW BEST:: SOT 55847 SOS 45060 HAS SOPS 19525 HAS SOUS 10746 HAS SOUPS 7819 WITH SCORE 7864.06
AT ITER 7992 NEW BEST:: SOT 55833 SOS 45046 HAS SOPS 19520 HAS SOUS 10737 HAS SOUPS 7810 WITH SCORE 7855.046
AT ITER 8068 NEW BEST:: SOT 55829 SOS 45042 HAS SOPS 19514 HAS SOUS 10731 HAS SOUPS 7804 WITH SCORE 7849.042
AT ITER 8094 NEW BEST:: SOT 55803 SOS 45017 HAS SOPS 19477 HAS SOUS 10680 HAS SOUPS 7753 WITH SCORE 7798.017
AT ITER 8119 NEW BEST:: SOT 55801 SOS 45015 HAS SOPS 19474 HAS SOUS 10677 HAS SOUPS 7750 WITH SCORE 7795.015
AT ITER 8182 NEW BEST:: SOT 55793 SOS 45007 HAS SOPS 19458 HAS SOUS 10667 HAS SOUPS 7737 WITH SCORE 7782.007
AT ITER 8229 NEW BEST:: SOT 55778 SOS 44987 HAS SOPS 19438 HAS SOUS 10647 HAS SOUPS 7717 WITH SCORE 7761.987
AT ITER 8242 NEW BEST:: SOT 55774 SOS 44983 HAS SOPS 19434 HAS SOUS 10647 HAS SOUPS 7717 WITH SCORE 7761.983
AT ITER 8283 NEW BEST:: SOT 55760 SOS 44969 HAS SOPS 19425 HAS SOUS 10638 HAS SOUPS 7708 WITH SCORE 7752.969
AT ITER 8289 NEW BEST:: SOT 55722 SOS 44931 HAS SOPS 19392 HAS SOUS 10604 HAS SOUPS 7674 WITH SCORE 7718.931
AT ITER 8306 NEW BEST:: SOT 55724 SOS 44935 HAS SOPS 19396 HAS SOUS 10602 HAS SOUPS 7672 WITH SCORE 7716.935
AT ITER 8338 NEW BEST:: SOT 55708 SOS 44919 HAS SOPS 19372 HAS SOUS 10581 HAS SOUPS 7651 WITH SCORE 7695.919
AT ITER 8376 NEW BEST:: SOT 55700 SOS 44894 HAS SOPS 19356 HAS SOUS 10571 HAS SOUPS 7650 WITH SCORE 7694.894
AT ITER 8386 NEW BEST:: SOT 55696 SOS 44894 HAS SOPS 19348 HAS SOUS 10563 HAS SOUPS 7638 WITH SCORE 7682.894
AT ITER 8408 NEW BEST:: SOT 55696 SOS 44894 HAS SOPS 19348 HAS SOUS 10562 HAS SOUPS 7637 WITH SCORE 7681.894
AT ITER 8449 NEW BEST:: SOT 55690 SOS 44888 HAS SOPS 19305 HAS SOUS 10523 HAS SOUPS 7598 WITH SCORE 7642.888
AT ITER 8601 NEW BEST:: SOT 55690 SOS 44880 HAS SOPS 19305 HAS SOUS 10507 HAS SOUPS 7590 WITH SCORE 7634.88
AT ITER 8619 NEW BEST:: SOT 55688 SOS 44878 HAS SOPS 19283 HAS SOUS 10504 HAS SOUPS 7587 WITH SCORE 7631.878
AT ITER 8641 NEW BEST:: SOT 55688 SOS 44878 HAS SOPS 19283 HAS SOUS 10503 HAS SOUPS 7586 WITH SCORE 7630.878
AT ITER 8670 NEW BEST:: SOT 55680 SOS 44870 HAS SOPS 19271 HAS SOUS 10482 HAS SOUPS 7565 WITH SCORE 7609.87
AT ITER 8705 NEW BEST:: SOT 55684 SOS 44822 HAS SOPS 19255 HAS SOUS 10481 HAS SOUPS 7565 WITH SCORE 7609.822
AT ITER 8712 NEW BEST:: SOT 55658 SOS 44740 HAS SOPS 19227 HAS SOUS 10471 HAS SOUPS 7555 WITH SCORE 7599.74
AT ITER 8715 NEW BEST:: SOT 55658 SOS 44740 HAS SOPS 19227 HAS SOUS 10464 HAS SOUPS 7548 WITH SCORE 7592.74
AT ITER 8718 NEW BEST:: SOT 55666 SOS 44748 HAS SOPS 19186 HAS SOUS 10486 HAS SOUPS 7546 WITH SCORE 7590.748
AT ITER 8809 NEW BEST:: SOT 55656 SOS 44738 HAS SOPS 19164 HAS SOUS 10470 HAS SOUPS 7530 WITH SCORE 7574.738
AT ITER 8836 NEW BEST:: SOT 55669 SOS 44593 HAS SOPS 19115 HAS SOUS 10467 HAS SOUPS 7530 WITH SCORE 7574.593
AT ITER 8887 NEW BEST:: SOT 55664 SOS 44571 HAS SOPS 19093 HAS SOUS 10461 HAS SOUPS 7524 WITH SCORE 7568.571
AT ITER 8893 NEW BEST:: SOT 55650 SOS 44557 HAS SOPS 19072 HAS SOUS 10433 HAS SOUPS 7496 WITH SCORE 7540.557
AT ITER 8896 NEW BEST:: SOT 55648 SOS 44555 HAS SOPS 19021 HAS SOUS 10386 HAS SOUPS 7449 WITH SCORE 7493.555
AT ITER 8958 NEW BEST:: SOT 55638 SOS 44493 HAS SOPS 18989 HAS SOUS 10341 HAS SOUPS 7426 WITH SCORE 7470.493
AT ITER 8976 NEW BEST:: SOT 55634 SOS 44489 HAS SOPS 18975 HAS SOUS 10337 HAS SOUPS 7418 WITH SCORE 7462.489
AT ITER 8988 NEW BEST:: SOT 55636 SOS 44491 HAS SOPS 18980 HAS SOUS 10332 HAS SOUPS 7413 WITH SCORE 7457.491
AT ITER 9083 NEW BEST:: SOT 55657 SOS 44512 HAS SOPS 19003 HAS SOUS 10327 HAS SOUPS 7408 WITH SCORE 7452.512
AT ITER 9093 NEW BEST:: SOT 55657 SOS 44512 HAS SOPS 19003 HAS SOUS 10325 HAS SOUPS 7406 WITH SCORE 7450.512
AT ITER 9097 NEW BEST:: SOT 55655 SOS 44510 HAS SOPS 19016 HAS SOUS 10325 HAS SOUPS 7406 WITH SCORE 7450.51
AT ITER 9116 NEW BEST:: SOT 55651 SOS 44506 HAS SOPS 18966 HAS SOUS 10306 HAS SOUPS 7387 WITH SCORE 7431.506
AT ITER 9130 NEW BEST:: SOT 55631 SOS 44486 HAS SOPS 18936 HAS SOUS 10276 HAS SOUPS 7357 WITH SCORE 7401.486
AT ITER 9136 NEW BEST:: SOT 55635 SOS 44490 HAS SOPS 18942 HAS SOUS 10252 HAS SOUPS 7333 WITH SCORE 7377.49
AT ITER 9227 NEW BEST:: SOT 55621 SOS 44476 HAS SOPS 18921 HAS SOUS 10239 HAS SOUPS 7320 WITH SCORE 7364.476
AT ITER 9281 NEW BEST:: SOT 55621 SOS 44476 HAS SOPS 18921 HAS SOUS 10220 HAS SOUPS 7301 WITH SCORE 7345.476
AT ITER 9359 NEW BEST:: SOT 55609 SOS 44464 HAS SOPS 18903 HAS SOUS 10214 HAS SOUPS 7295 WITH SCORE 7339.464
AT ITER 9366 NEW BEST:: SOT 55593 SOS 44448 HAS SOPS 18891 HAS SOUS 10202 HAS SOUPS 7283 WITH SCORE 7327.448
AT ITER 9411 NEW BEST:: SOT 55587 SOS 44442 HAS SOPS 18882 HAS SOUS 10193 HAS SOUPS 7274 WITH SCORE 7318.442
AT ITER 9414 NEW BEST:: SOT 55587 SOS 44442 HAS SOPS 18882 HAS SOUS 10190 HAS SOUPS 7271 WITH SCORE 7315.442
AT ITER 9472 NEW BEST:: SOT 55587 SOS 44442 HAS SOPS 18882 HAS SOUS 10188 HAS SOUPS 7269 WITH SCORE 7313.442
AT ITER 9502 NEW BEST:: SOT 55573 SOS 44428 HAS SOPS 18861 HAS SOUS 10167 HAS SOUPS 7248 WITH SCORE 7292.428
AT ITER 9555 NEW BEST:: SOT 55570 SOS 44425 HAS SOPS 18873 HAS SOUS 10163 HAS SOUPS 7244 WITH SCORE 7288.425
AT ITER 9708 NEW BEST:: SOT 55560 SOS 44415 HAS SOPS 18858 HAS SOUS 10144 HAS SOUPS 7225 WITH SCORE 7269.415
AT ITER 9785 NEW BEST:: SOT 55558 SOS 44413 HAS SOPS 18853 HAS SOUS 10142 HAS SOUPS 7223 WITH SCORE 7267.413
AT ITER 9842 NEW BEST:: SOT 55548 SOS 44403 HAS SOPS 18833 HAS SOUS 10124 HAS SOUPS 7205 WITH SCORE 7249.403
AT ITER 9843 NEW BEST:: SOT 55563 SOS 44265 HAS SOPS 18782 HAS SOUS 10114 HAS SOUPS 7195 WITH SCORE 7239.265
AT ITER 9861 NEW BEST:: SOT 55563 SOS 44270 HAS SOPS 18782 HAS SOUS 10114 HAS SOUPS 7190 WITH SCORE 7234.27
AT ITER 9929 NEW BEST:: SOT 55559 SOS 44266 HAS SOPS 18774 HAS SOUS 10107 HAS SOUPS 7183 WITH SCORE 7227.266

BK_STOP 1679497216586

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 366 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="Raft-PT-07"
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 Raft-PT-07, 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 r323-tall-167889194600336"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-07.tgz
mv Raft-PT-07 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 ;