Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922807900696.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DiscoveryGPU-PT-12b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807900696
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 260K
-rw-r--r-- 1 mcc users 2.9K Mar 31 07:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 31 07:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 30 00:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 30 00:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 28 14:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 28 14:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 27 07:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 27 07:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 89K Mar 24 05:37 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 1589363827100

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 12b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 352 places, 374 transitions, 977 arcs.
AT ITER 0 NEW BEST:: SOT 91917 SOS 44107 HAS SOPS 44107 HAS SOUS 38972 HAS SOUPS 38972 WITH SCORE 39016.107
AT ITER 1 NEW BEST:: SOT 91835 SOS 44046 HAS SOPS 44046 HAS SOUS 38901 HAS SOUPS 38901 WITH SCORE 38945.046
AT ITER 27 NEW BEST:: SOT 91731 SOS 43987 HAS SOPS 43987 HAS SOUS 38820 HAS SOUPS 38820 WITH SCORE 38863.987
AT ITER 37 NEW BEST:: SOT 91715 SOS 43955 HAS SOPS 43955 HAS SOUS 38788 HAS SOUPS 38788 WITH SCORE 38831.955
AT ITER 40 NEW BEST:: SOT 91470 SOS 43665 HAS SOPS 43665 HAS SOUS 38421 HAS SOUPS 38421 WITH SCORE 38464.665
AT ITER 43 NEW BEST:: SOT 91413 SOS 43551 HAS SOPS 43551 HAS SOUS 38362 HAS SOUPS 38362 WITH SCORE 38405.551
AT ITER 44 NEW BEST:: SOT 91413 SOS 43551 HAS SOPS 43551 HAS SOUS 38361 HAS SOUPS 38361 WITH SCORE 38404.551
AT ITER 47 NEW BEST:: SOT 91382 SOS 43520 HAS SOPS 43520 HAS SOUS 38359 HAS SOUPS 38359 WITH SCORE 38402.52
AT ITER 51 NEW BEST:: SOT 91334 SOS 43323 HAS SOPS 43323 HAS SOUS 38225 HAS SOUPS 38225 WITH SCORE 38268.323
AT ITER 54 NEW BEST:: SOT 87724 SOS 53695 HAS SOPS 53695 HAS SOUS 35099 HAS SOUPS 35099 WITH SCORE 35152.695
AT ITER 70 NEW BEST:: SOT 87723 SOS 53567 HAS SOPS 53567 HAS SOUS 35087 HAS SOUPS 35087 WITH SCORE 35140.567
AT ITER 71 NEW BEST:: SOT 87529 SOS 53179 HAS SOPS 53179 HAS SOUS 34799 HAS SOUPS 34799 WITH SCORE 34852.179
AT ITER 72 NEW BEST:: SOT 87529 SOS 53173 HAS SOPS 53173 HAS SOUS 34799 HAS SOUPS 34799 WITH SCORE 34852.173
AT ITER 73 NEW BEST:: SOT 87382 SOS 52983 HAS SOPS 52983 HAS SOUS 34729 HAS SOUPS 34729 WITH SCORE 34781.983
AT ITER 78 NEW BEST:: SOT 87200 SOS 52619 HAS SOPS 52619 HAS SOUS 34456 HAS SOUPS 34456 WITH SCORE 34508.619
AT ITER 79 NEW BEST:: SOT 87200 SOS 52568 HAS SOPS 52568 HAS SOUS 34456 HAS SOUPS 34456 WITH SCORE 34508.568
AT ITER 81 NEW BEST:: SOT 87199 SOS 52522 HAS SOPS 52522 HAS SOUS 34454 HAS SOUPS 34454 WITH SCORE 34506.522
AT ITER 89 NEW BEST:: SOT 87172 SOS 52396 HAS SOPS 52396 HAS SOUS 34401 HAS SOUPS 34401 WITH SCORE 34453.396
AT ITER 93 NEW BEST:: SOT 87074 SOS 52200 HAS SOPS 52200 HAS SOUS 34205 HAS SOUPS 34205 WITH SCORE 34257.2
AT ITER 96 NEW BEST:: SOT 86835 SOS 51839 HAS SOPS 51839 HAS SOUS 33965 HAS SOUPS 33965 WITH SCORE 34016.839
AT ITER 108 NEW BEST:: SOT 86717 SOS 51603 HAS SOPS 51603 HAS SOUS 33860 HAS SOUPS 33860 WITH SCORE 33911.603
AT ITER 112 NEW BEST:: SOT 85914 SOS 52497 HAS SOPS 52497 HAS SOUS 33343 HAS SOUPS 33343 WITH SCORE 33395.497
AT ITER 116 NEW BEST:: SOT 85894 SOS 52457 HAS SOPS 52457 HAS SOUS 33341 HAS SOUPS 33341 WITH SCORE 33393.457
AT ITER 117 NEW BEST:: SOT 85819 SOS 52453 HAS SOPS 52453 HAS SOUS 33337 HAS SOUPS 33337 WITH SCORE 33389.453
AT ITER 123 NEW BEST:: SOT 85775 SOS 52365 HAS SOPS 52365 HAS SOUS 33249 HAS SOUPS 33249 WITH SCORE 33301.365
AT ITER 124 NEW BEST:: SOT 85702 SOS 52219 HAS SOPS 52219 HAS SOUS 33246 HAS SOUPS 33246 WITH SCORE 33298.219
AT ITER 127 NEW BEST:: SOT 85617 SOS 52049 HAS SOPS 52049 HAS SOUS 33178 HAS SOUPS 33178 WITH SCORE 33230.049
AT ITER 152 NEW BEST:: SOT 85617 SOS 52036 HAS SOPS 52036 HAS SOUS 33178 HAS SOUPS 33178 WITH SCORE 33230.036
AT ITER 154 NEW BEST:: SOT 85519 SOS 51830 HAS SOPS 51830 HAS SOUS 33035 HAS SOUPS 33035 WITH SCORE 33086.83
AT ITER 159 NEW BEST:: SOT 85451 SOS 51694 HAS SOPS 51694 HAS SOUS 32999 HAS SOUPS 32999 WITH SCORE 33050.694
AT ITER 170 NEW BEST:: SOT 85360 SOS 51513 HAS SOPS 51513 HAS SOUS 32862 HAS SOUPS 32862 WITH SCORE 32913.513
AT ITER 176 NEW BEST:: SOT 85266 SOS 51388 HAS SOPS 51388 HAS SOUS 32663 HAS SOUPS 32663 WITH SCORE 32714.388
AT ITER 178 NEW BEST:: SOT 85266 SOS 51358 HAS SOPS 51358 HAS SOUS 32663 HAS SOUPS 32663 WITH SCORE 32714.358
AT ITER 184 NEW BEST:: SOT 85250 SOS 51342 HAS SOPS 51342 HAS SOUS 32631 HAS SOUPS 32631 WITH SCORE 32682.342
AT ITER 185 NEW BEST:: SOT 85302 SOS 51341 HAS SOPS 51341 HAS SOUS 32629 HAS SOUPS 32629 WITH SCORE 32680.341
AT ITER 186 NEW BEST:: SOT 85166 SOS 51137 HAS SOPS 51137 HAS SOUS 32493 HAS SOUPS 32493 WITH SCORE 32544.137
AT ITER 205 NEW BEST:: SOT 85172 SOS 51088 HAS SOPS 51088 HAS SOUS 32442 HAS SOUPS 32442 WITH SCORE 32493.088
AT ITER 215 NEW BEST:: SOT 85083 SOS 50792 HAS SOPS 50792 HAS SOUS 32249 HAS SOUPS 32249 WITH SCORE 32299.792
AT ITER 217 NEW BEST:: SOT 85083 SOS 50790 HAS SOPS 50790 HAS SOUS 32245 HAS SOUPS 32245 WITH SCORE 32295.79
AT ITER 220 NEW BEST:: SOT 84939 SOS 50502 HAS SOPS 50502 HAS SOUS 32029 HAS SOUPS 32029 WITH SCORE 32079.502
AT ITER 228 NEW BEST:: SOT 84783 SOS 50201 HAS SOPS 50201 HAS SOUS 31829 HAS SOUPS 31829 WITH SCORE 31879.201
AT ITER 230 NEW BEST:: SOT 84774 SOS 49997 HAS SOPS 49997 HAS SOUS 31811 HAS SOUPS 31811 WITH SCORE 31860.997
AT ITER 235 NEW BEST:: SOT 84574 SOS 49597 HAS SOPS 49597 HAS SOUS 31411 HAS SOUPS 31411 WITH SCORE 31460.597
AT ITER 239 NEW BEST:: SOT 84373 SOS 49391 HAS SOPS 49391 HAS SOUS 31346 HAS SOUPS 31346 WITH SCORE 31395.391
AT ITER 242 NEW BEST:: SOT 84335 SOS 49353 HAS SOPS 49353 HAS SOUS 31308 HAS SOUPS 31308 WITH SCORE 31357.353
AT ITER 243 NEW BEST:: SOT 84234 SOS 49152 HAS SOPS 49152 HAS SOUS 31222 HAS SOUPS 31222 WITH SCORE 31271.152
AT ITER 249 NEW BEST:: SOT 84295 SOS 49150 HAS SOPS 49150 HAS SOUS 31218 HAS SOUPS 31218 WITH SCORE 31267.15
AT ITER 255 NEW BEST:: SOT 84211 SOS 48982 HAS SOPS 48982 HAS SOUS 31036 HAS SOUPS 31036 WITH SCORE 31084.982
AT ITER 258 NEW BEST:: SOT 84210 SOS 48981 HAS SOPS 48981 HAS SOUS 31036 HAS SOUPS 31036 WITH SCORE 31084.981
AT ITER 260 NEW BEST:: SOT 84075 SOS 48711 HAS SOPS 48711 HAS SOUS 30919 HAS SOUPS 30919 WITH SCORE 30967.711
AT ITER 263 NEW BEST:: SOT 83952 SOS 48461 HAS SOPS 48461 HAS SOUS 30673 HAS SOUPS 30673 WITH SCORE 30721.461
AT ITER 267 NEW BEST:: SOT 83905 SOS 48367 HAS SOPS 48367 HAS SOUS 30617 HAS SOUPS 30617 WITH SCORE 30665.367
AT ITER 278 NEW BEST:: SOT 83845 SOS 48307 HAS SOPS 48307 HAS SOUS 30615 HAS SOUPS 30615 WITH SCORE 30663.307
AT ITER 282 NEW BEST:: SOT 83693 SOS 48004 HAS SOPS 48004 HAS SOUS 30407 HAS SOUPS 30407 WITH SCORE 30455.004
AT ITER 286 NEW BEST:: SOT 83653 SOS 47917 HAS SOPS 47917 HAS SOUS 30327 HAS SOUPS 30327 WITH SCORE 30374.917
AT ITER 291 NEW BEST:: SOT 83652 SOS 47915 HAS SOPS 47915 HAS SOUS 30325 HAS SOUPS 30325 WITH SCORE 30372.915
AT ITER 295 NEW BEST:: SOT 83560 SOS 47731 HAS SOPS 47731 HAS SOUS 30141 HAS SOUPS 30141 WITH SCORE 30188.731
AT ITER 297 NEW BEST:: SOT 83559 SOS 47713 HAS SOPS 47713 HAS SOUS 30139 HAS SOUPS 30139 WITH SCORE 30186.713
AT ITER 301 NEW BEST:: SOT 83546 SOS 47628 HAS SOPS 47628 HAS SOUS 30097 HAS SOUPS 30097 WITH SCORE 30144.628
AT ITER 302 NEW BEST:: SOT 83603 SOS 47593 HAS SOPS 47593 HAS SOUS 30062 HAS SOUPS 30062 WITH SCORE 30109.593
AT ITER 304 NEW BEST:: SOT 83596 SOS 47580 HAS SOPS 47580 HAS SOUS 30048 HAS SOUPS 30048 WITH SCORE 30095.58
AT ITER 305 NEW BEST:: SOT 83476 SOS 47340 HAS SOPS 47340 HAS SOUS 29808 HAS SOUPS 29808 WITH SCORE 29855.34
AT ITER 309 NEW BEST:: SOT 83461 SOS 47310 HAS SOPS 47310 HAS SOUS 29793 HAS SOUPS 29793 WITH SCORE 29840.31
AT ITER 316 NEW BEST:: SOT 83430 SOS 47248 HAS SOPS 47248 HAS SOUS 29747 HAS SOUPS 29747 WITH SCORE 29794.248
AT ITER 323 NEW BEST:: SOT 83429 SOS 47236 HAS SOPS 47236 HAS SOUS 29745 HAS SOUPS 29745 WITH SCORE 29792.236
AT ITER 327 NEW BEST:: SOT 83407 SOS 47206 HAS SOPS 47206 HAS SOUS 29715 HAS SOUPS 29715 WITH SCORE 29762.206
AT ITER 331 NEW BEST:: SOT 83356 SOS 47104 HAS SOPS 47104 HAS SOUS 29713 HAS SOUPS 29713 WITH SCORE 29760.104
AT ITER 332 NEW BEST:: SOT 83301 SOS 46994 HAS SOPS 46994 HAS SOUS 29653 HAS SOUPS 29653 WITH SCORE 29699.994
AT ITER 335 NEW BEST:: SOT 83272 SOS 46965 HAS SOPS 46965 HAS SOUS 29653 HAS SOUPS 29653 WITH SCORE 29699.965
AT ITER 340 NEW BEST:: SOT 83257 SOS 46944 HAS SOPS 46944 HAS SOUS 29632 HAS SOUPS 29632 WITH SCORE 29678.944
AT ITER 347 NEW BEST:: SOT 83098 SOS 46461 HAS SOPS 46461 HAS SOUS 29314 HAS SOUPS 29314 WITH SCORE 29360.461
AT ITER 351 NEW BEST:: SOT 83098 SOS 46457 HAS SOPS 46457 HAS SOUS 29314 HAS SOUPS 29314 WITH SCORE 29360.457
AT ITER 366 NEW BEST:: SOT 83097 SOS 46456 HAS SOPS 46456 HAS SOUS 29312 HAS SOUPS 29312 WITH SCORE 29358.456
AT ITER 376 NEW BEST:: SOT 83018 SOS 46298 HAS SOPS 46298 HAS SOUS 29233 HAS SOUPS 29233 WITH SCORE 29279.298
AT ITER 386 NEW BEST:: SOT 83018 SOS 46298 HAS SOPS 46298 HAS SOUS 29186 HAS SOUPS 29186 WITH SCORE 29232.298
AT ITER 388 NEW BEST:: SOT 83018 SOS 46271 HAS SOPS 46271 HAS SOUS 29159 HAS SOUPS 29159 WITH SCORE 29205.271
AT ITER 407 NEW BEST:: SOT 83000 SOS 46235 HAS SOPS 46235 HAS SOUS 29094 HAS SOUPS 29094 WITH SCORE 29140.235
AT ITER 409 NEW BEST:: SOT 82996 SOS 46205 HAS SOPS 46205 HAS SOUS 29086 HAS SOUPS 29086 WITH SCORE 29132.205
AT ITER 411 NEW BEST:: SOT 82963 SOS 46139 HAS SOPS 46139 HAS SOUS 29036 HAS SOUPS 29036 WITH SCORE 29082.139
AT ITER 415 NEW BEST:: SOT 82939 SOS 46112 HAS SOPS 46112 HAS SOUS 29030 HAS SOUPS 29030 WITH SCORE 29076.112
AT ITER 421 NEW BEST:: SOT 82939 SOS 46112 HAS SOPS 46112 HAS SOUS 29026 HAS SOUPS 29026 WITH SCORE 29072.112
AT ITER 422 NEW BEST:: SOT 82899 SOS 46032 HAS SOPS 46032 HAS SOUS 28966 HAS SOUPS 28966 WITH SCORE 29012.032
AT ITER 432 NEW BEST:: SOT 82842 SOS 45975 HAS SOPS 45975 HAS SOUS 28909 HAS SOUPS 28909 WITH SCORE 28954.975
AT ITER 435 NEW BEST:: SOT 82829 SOS 45949 HAS SOPS 45949 HAS SOUS 28883 HAS SOUPS 28883 WITH SCORE 28928.949
AT ITER 436 NEW BEST:: SOT 82908 SOS 46012 HAS SOPS 46012 HAS SOUS 28851 HAS SOUPS 28851 WITH SCORE 28897.012
AT ITER 437 NEW BEST:: SOT 81825 SOS 45023 HAS SOPS 45023 HAS SOUS 27832 HAS SOUPS 27832 WITH SCORE 27877.023
AT ITER 443 NEW BEST:: SOT 81569 SOS 44767 HAS SOPS 44767 HAS SOUS 27575 HAS SOUPS 27575 WITH SCORE 27619.767
AT ITER 450 NEW BEST:: SOT 81468 SOS 44666 HAS SOPS 44666 HAS SOUS 27548 HAS SOUPS 27548 WITH SCORE 27592.666
AT ITER 460 NEW BEST:: SOT 81446 SOS 44633 HAS SOPS 44633 HAS SOUS 27526 HAS SOUPS 27526 WITH SCORE 27570.633
AT ITER 461 NEW BEST:: SOT 81414 SOS 44607 HAS SOPS 44607 HAS SOUS 27471 HAS SOUPS 27471 WITH SCORE 27515.607
AT ITER 470 NEW BEST:: SOT 81393 SOS 44617 HAS SOPS 44617 HAS SOUS 27418 HAS SOUPS 27418 WITH SCORE 27462.617
AT ITER 473 NEW BEST:: SOT 81395 SOS 44619 HAS SOPS 44619 HAS SOUS 27376 HAS SOUPS 27376 WITH SCORE 27420.619
AT ITER 488 NEW BEST:: SOT 81422 SOS 44487 HAS SOPS 44487 HAS SOUS 27355 HAS SOUPS 27355 WITH SCORE 27399.487
AT ITER 490 NEW BEST:: SOT 81422 SOS 44487 HAS SOPS 44487 HAS SOUS 27354 HAS SOUPS 27354 WITH SCORE 27398.487
AT ITER 492 NEW BEST:: SOT 81292 SOS 44228 HAS SOPS 44228 HAS SOUS 27199 HAS SOUPS 27199 WITH SCORE 27243.228
AT ITER 497 NEW BEST:: SOT 81264 SOS 44172 HAS SOPS 44172 HAS SOUS 27143 HAS SOUPS 27143 WITH SCORE 27187.172
AT ITER 499 NEW BEST:: SOT 81158 SOS 43965 HAS SOPS 43965 HAS SOUS 27032 HAS SOUPS 27032 WITH SCORE 27075.965
AT ITER 503 NEW BEST:: SOT 81065 SOS 43918 HAS SOPS 43918 HAS SOUS 26985 HAS SOUPS 26985 WITH SCORE 27028.918
AT ITER 505 NEW BEST:: SOT 81047 SOS 43882 HAS SOPS 43882 HAS SOUS 26949 HAS SOUPS 26949 WITH SCORE 26992.882
AT ITER 507 NEW BEST:: SOT 80972 SOS 43807 HAS SOPS 43807 HAS SOUS 26799 HAS SOUPS 26799 WITH SCORE 26842.807
AT ITER 508 NEW BEST:: SOT 80972 SOS 43793 HAS SOPS 43793 HAS SOUS 26799 HAS SOUPS 26799 WITH SCORE 26842.793
AT ITER 511 NEW BEST:: SOT 80939 SOS 43682 HAS SOPS 43682 HAS SOUS 26688 HAS SOUPS 26688 WITH SCORE 26731.682
AT ITER 513 NEW BEST:: SOT 80900 SOS 43604 HAS SOPS 43604 HAS SOUS 26649 HAS SOUPS 26649 WITH SCORE 26692.604
AT ITER 516 NEW BEST:: SOT 80899 SOS 43590 HAS SOPS 43590 HAS SOUS 26635 HAS SOUPS 26635 WITH SCORE 26678.59
AT ITER 522 NEW BEST:: SOT 80886 SOS 43522 HAS SOPS 43522 HAS SOUS 26609 HAS SOUPS 26609 WITH SCORE 26652.522
AT ITER 529 NEW BEST:: SOT 80880 SOS 43510 HAS SOPS 43510 HAS SOUS 26574 HAS SOUPS 26574 WITH SCORE 26617.51
AT ITER 540 NEW BEST:: SOT 80880 SOS 43510 HAS SOPS 43510 HAS SOUS 26568 HAS SOUPS 26568 WITH SCORE 26611.51
AT ITER 548 NEW BEST:: SOT 80729 SOS 43213 HAS SOPS 43213 HAS SOUS 26438 HAS SOUPS 26438 WITH SCORE 26481.213
AT ITER 551 NEW BEST:: SOT 80668 SOS 43092 HAS SOPS 43092 HAS SOUS 26436 HAS SOUPS 26436 WITH SCORE 26479.092
AT ITER 553 NEW BEST:: SOT 80687 SOS 43111 HAS SOPS 43111 HAS SOUS 26402 HAS SOUPS 26402 WITH SCORE 26445.111
AT ITER 554 NEW BEST:: SOT 80671 SOS 43079 HAS SOPS 43079 HAS SOUS 26386 HAS SOUPS 26386 WITH SCORE 26429.079
AT ITER 572 NEW BEST:: SOT 80671 SOS 41983 HAS SOPS 41983 HAS SOUS 26386 HAS SOUPS 26386 WITH SCORE 26427.983
AT ITER 591 NEW BEST:: SOT 80666 SOS 41973 HAS SOPS 41973 HAS SOUS 26279 HAS SOUPS 26279 WITH SCORE 26320.973
AT ITER 592 NEW BEST:: SOT 80666 SOS 41964 HAS SOPS 41964 HAS SOUS 26230 HAS SOUPS 26230 WITH SCORE 26271.964
AT ITER 593 NEW BEST:: SOT 80639 SOS 41910 HAS SOPS 41910 HAS SOUS 26215 HAS SOUPS 26215 WITH SCORE 26256.91
AT ITER 596 NEW BEST:: SOT 80588 SOS 41859 HAS SOPS 41859 HAS SOUS 26113 HAS SOUPS 26113 WITH SCORE 26154.859
AT ITER 597 NEW BEST:: SOT 80588 SOS 41859 HAS SOPS 41859 HAS SOUS 26101 HAS SOUPS 26101 WITH SCORE 26142.859
AT ITER 603 NEW BEST:: SOT 80588 SOS 41859 HAS SOPS 41859 HAS SOUS 26085 HAS SOUPS 26085 WITH SCORE 26126.859
AT ITER 617 NEW BEST:: SOT 80587 SOS 41815 HAS SOPS 41815 HAS SOUS 26041 HAS SOUPS 26041 WITH SCORE 26082.815
AT ITER 620 NEW BEST:: SOT 80545 SOS 41773 HAS SOPS 41773 HAS SOUS 26041 HAS SOUPS 26041 WITH SCORE 26082.773
AT ITER 621 NEW BEST:: SOT 80512 SOS 41666 HAS SOPS 41666 HAS SOUS 25970 HAS SOUPS 25970 WITH SCORE 26011.666
AT ITER 624 NEW BEST:: SOT 80505 SOS 41660 HAS SOPS 41660 HAS SOUS 25956 HAS SOUPS 25956 WITH SCORE 25997.66
AT ITER 629 NEW BEST:: SOT 80510 SOS 41744 HAS SOPS 41744 HAS SOUS 25951 HAS SOUPS 25951 WITH SCORE 25992.744
AT ITER 636 NEW BEST:: SOT 80510 SOS 41741 HAS SOPS 41741 HAS SOUS 25948 HAS SOUPS 25948 WITH SCORE 25989.741
AT ITER 638 NEW BEST:: SOT 80468 SOS 41779 HAS SOPS 41779 HAS SOUS 25906 HAS SOUPS 25906 WITH SCORE 25947.779
AT ITER 648 NEW BEST:: SOT 80461 SOS 41726 HAS SOPS 41726 HAS SOUS 25892 HAS SOUPS 25892 WITH SCORE 25933.726
AT ITER 650 NEW BEST:: SOT 80454 SOS 41719 HAS SOPS 41719 HAS SOUS 25878 HAS SOUPS 25878 WITH SCORE 25919.719
AT ITER 653 NEW BEST:: SOT 80448 SOS 41707 HAS SOPS 41707 HAS SOUS 25866 HAS SOUPS 25866 WITH SCORE 25907.707
AT ITER 665 NEW BEST:: SOT 80446 SOS 41703 HAS SOPS 41703 HAS SOUS 25860 HAS SOUPS 25860 WITH SCORE 25901.703
AT ITER 666 NEW BEST:: SOT 80464 SOS 41627 HAS SOPS 41627 HAS SOUS 25784 HAS SOUPS 25784 WITH SCORE 25825.627
AT ITER 673 NEW BEST:: SOT 80449 SOS 41579 HAS SOPS 41579 HAS SOUS 25754 HAS SOUPS 25754 WITH SCORE 25795.579
AT ITER 679 NEW BEST:: SOT 80445 SOS 41571 HAS SOPS 41571 HAS SOUS 25750 HAS SOUPS 25750 WITH SCORE 25791.571
AT ITER 681 NEW BEST:: SOT 80456 SOS 41593 HAS SOPS 41593 HAS SOUS 25717 HAS SOUPS 25717 WITH SCORE 25758.593
AT ITER 685 NEW BEST:: SOT 80449 SOS 41579 HAS SOPS 41579 HAS SOUS 25703 HAS SOUPS 25703 WITH SCORE 25744.579
AT ITER 689 NEW BEST:: SOT 80416 SOS 41546 HAS SOPS 41546 HAS SOUS 25637 HAS SOUPS 25637 WITH SCORE 25678.546
AT ITER 696 NEW BEST:: SOT 80306 SOS 41382 HAS SOPS 41382 HAS SOUS 25622 HAS SOUPS 25622 WITH SCORE 25663.382
AT ITER 699 NEW BEST:: SOT 80277 SOS 41359 HAS SOPS 41359 HAS SOUS 25599 HAS SOUPS 25599 WITH SCORE 25640.359
AT ITER 703 NEW BEST:: SOT 80090 SOS 41117 HAS SOPS 41117 HAS SOUS 25448 HAS SOUPS 25448 WITH SCORE 25489.117
AT ITER 705 NEW BEST:: SOT 80089 SOS 41102 HAS SOPS 41102 HAS SOUS 25446 HAS SOUPS 25446 WITH SCORE 25487.102
AT ITER 706 NEW BEST:: SOT 80086 SOS 41074 HAS SOPS 41074 HAS SOUS 25421 HAS SOUPS 25421 WITH SCORE 25462.074
AT ITER 720 NEW BEST:: SOT 80080 SOS 40961 HAS SOPS 40961 HAS SOUS 25409 HAS SOUPS 25409 WITH SCORE 25449.961
AT ITER 723 NEW BEST:: SOT 80076 SOS 40955 HAS SOPS 40955 HAS SOUS 25403 HAS SOUPS 25403 WITH SCORE 25443.955
AT ITER 726 NEW BEST:: SOT 80013 SOS 40844 HAS SOPS 40844 HAS SOUS 25374 HAS SOUPS 25374 WITH SCORE 25414.844
AT ITER 733 NEW BEST:: SOT 79280 SOS 39878 HAS SOPS 39878 HAS SOUS 24414 HAS SOUPS 24414 WITH SCORE 24453.878
AT ITER 737 NEW BEST:: SOT 79215 SOS 39748 HAS SOPS 39748 HAS SOUS 24317 HAS SOUPS 24317 WITH SCORE 24356.748
AT ITER 740 NEW BEST:: SOT 79104 SOS 39624 HAS SOPS 39624 HAS SOUS 24193 HAS SOUPS 24193 WITH SCORE 24232.624
AT ITER 743 NEW BEST:: SOT 79097 SOS 39610 HAS SOPS 39610 HAS SOUS 24186 HAS SOUPS 24186 WITH SCORE 24225.61
AT ITER 752 NEW BEST:: SOT 79068 SOS 39589 HAS SOPS 39589 HAS SOUS 24128 HAS SOUPS 24128 WITH SCORE 24167.589
AT ITER 759 NEW BEST:: SOT 79058 SOS 39567 HAS SOPS 39567 HAS SOUS 24108 HAS SOUPS 24108 WITH SCORE 24147.567
AT ITER 760 NEW BEST:: SOT 79048 SOS 39567 HAS SOPS 39567 HAS SOUS 24098 HAS SOUPS 24098 WITH SCORE 24137.567
AT ITER 768 NEW BEST:: SOT 79029 SOS 39529 HAS SOPS 39529 HAS SOUS 24079 HAS SOUPS 24079 WITH SCORE 24118.529
AT ITER 771 NEW BEST:: SOT 78948 SOS 39369 HAS SOPS 39369 HAS SOUS 23989 HAS SOUPS 23989 WITH SCORE 24028.369
AT ITER 782 NEW BEST:: SOT 78946 SOS 39310 HAS SOPS 39310 HAS SOUS 23958 HAS SOUPS 23958 WITH SCORE 23997.31
AT ITER 789 NEW BEST:: SOT 78868 SOS 39154 HAS SOPS 39154 HAS SOUS 23810 HAS SOUPS 23810 WITH SCORE 23849.154
AT ITER 792 NEW BEST:: SOT 78788 SOS 39138 HAS SOPS 39138 HAS SOUS 23676 HAS SOUPS 23676 WITH SCORE 23715.138
AT ITER 802 NEW BEST:: SOT 78769 SOS 39100 HAS SOPS 39100 HAS SOUS 23638 HAS SOUPS 23638 WITH SCORE 23677.1
AT ITER 803 NEW BEST:: SOT 78769 SOS 39097 HAS SOPS 39097 HAS SOUS 23635 HAS SOUPS 23635 WITH SCORE 23674.097
AT ITER 807 NEW BEST:: SOT 78769 SOS 39097 HAS SOPS 39097 HAS SOUS 23605 HAS SOUPS 23605 WITH SCORE 23644.097
AT ITER 808 NEW BEST:: SOT 78621 SOS 39049 HAS SOPS 39049 HAS SOUS 23382 HAS SOUPS 23382 WITH SCORE 23421.049
AT ITER 815 NEW BEST:: SOT 78588 SOS 39008 HAS SOPS 39008 HAS SOUS 23360 HAS SOUPS 23360 WITH SCORE 23399.008
AT ITER 821 NEW BEST:: SOT 78588 SOS 39008 HAS SOPS 39008 HAS SOUS 23339 HAS SOUPS 23339 WITH SCORE 23378.008
AT ITER 826 NEW BEST:: SOT 78582 SOS 38996 HAS SOPS 38996 HAS SOUS 23330 HAS SOUPS 23330 WITH SCORE 23368.996
AT ITER 829 NEW BEST:: SOT 78512 SOS 38856 HAS SOPS 38856 HAS SOUS 23225 HAS SOUPS 23225 WITH SCORE 23263.856
AT ITER 833 NEW BEST:: SOT 78488 SOS 38842 HAS SOPS 38842 HAS SOUS 23218 HAS SOUPS 23218 WITH SCORE 23256.842
AT ITER 836 NEW BEST:: SOT 78458 SOS 38812 HAS SOPS 38812 HAS SOUS 23198 HAS SOUPS 23198 WITH SCORE 23236.812
AT ITER 847 NEW BEST:: SOT 78460 SOS 38819 HAS SOPS 38819 HAS SOUS 23197 HAS SOUPS 23197 WITH SCORE 23235.819
AT ITER 855 NEW BEST:: SOT 78428 SOS 38804 HAS SOPS 38804 HAS SOUS 23176 HAS SOUPS 23176 WITH SCORE 23214.804
AT ITER 856 NEW BEST:: SOT 78428 SOS 38804 HAS SOPS 38804 HAS SOUS 23170 HAS SOUPS 23170 WITH SCORE 23208.804
AT ITER 862 NEW BEST:: SOT 78419 SOS 38795 HAS SOPS 38795 HAS SOUS 23161 HAS SOUPS 23161 WITH SCORE 23199.795
AT ITER 864 NEW BEST:: SOT 78418 SOS 38705 HAS SOPS 38705 HAS SOUS 23137 HAS SOUPS 23137 WITH SCORE 23175.705
AT ITER 868 NEW BEST:: SOT 78426 SOS 38659 HAS SOPS 38659 HAS SOUS 23099 HAS SOUPS 23099 WITH SCORE 23137.659
AT ITER 873 NEW BEST:: SOT 78298 SOS 38378 HAS SOPS 38378 HAS SOUS 22866 HAS SOUPS 22866 WITH SCORE 22904.378
AT ITER 874 NEW BEST:: SOT 78293 SOS 38347 HAS SOPS 38347 HAS SOUS 22856 HAS SOUPS 22856 WITH SCORE 22894.347
AT ITER 877 NEW BEST:: SOT 78262 SOS 38316 HAS SOPS 38316 HAS SOUS 22825 HAS SOUPS 22825 WITH SCORE 22863.316
AT ITER 882 NEW BEST:: SOT 78248 SOS 38288 HAS SOPS 38288 HAS SOUS 22797 HAS SOUPS 22797 WITH SCORE 22835.288
AT ITER 884 NEW BEST:: SOT 78251 SOS 38294 HAS SOPS 38294 HAS SOUS 22784 HAS SOUPS 22784 WITH SCORE 22822.294
AT ITER 899 NEW BEST:: SOT 78148 SOS 38088 HAS SOPS 38088 HAS SOUS 22681 HAS SOUPS 22681 WITH SCORE 22719.088
AT ITER 904 NEW BEST:: SOT 78090 SOS 38001 HAS SOPS 38001 HAS SOUS 22594 HAS SOUPS 22594 WITH SCORE 22632.001
AT ITER 906 NEW BEST:: SOT 78086 SOS 37993 HAS SOPS 37993 HAS SOUS 22586 HAS SOUPS 22586 WITH SCORE 22623.993
AT ITER 915 NEW BEST:: SOT 78085 SOS 37900 HAS SOPS 37900 HAS SOUS 22582 HAS SOUPS 22582 WITH SCORE 22619.9
AT ITER 916 NEW BEST:: SOT 78094 SOS 37918 HAS SOPS 37918 HAS SOUS 22549 HAS SOUPS 22549 WITH SCORE 22586.918
AT ITER 935 NEW BEST:: SOT 78067 SOS 37864 HAS SOPS 37864 HAS SOUS 22495 HAS SOUPS 22495 WITH SCORE 22532.864
AT ITER 944 NEW BEST:: SOT 78046 SOS 31850 HAS SOPS 31850 HAS SOUS 22381 HAS SOUPS 22381 WITH SCORE 22412.85
AT ITER 948 NEW BEST:: SOT 77989 SOS 31765 HAS SOPS 31765 HAS SOUS 22364 HAS SOUPS 22364 WITH SCORE 22395.765
AT ITER 949 NEW BEST:: SOT 77884 SOS 31555 HAS SOPS 31555 HAS SOUS 22154 HAS SOUPS 22154 WITH SCORE 22185.555
AT ITER 959 NEW BEST:: SOT 77904 SOS 31530 HAS SOPS 31530 HAS SOUS 22151 HAS SOUPS 22151 WITH SCORE 22182.53
AT ITER 978 NEW BEST:: SOT 77882 SOS 31475 HAS SOPS 31475 HAS SOUS 22107 HAS SOUPS 22107 WITH SCORE 22138.475
AT ITER 982 NEW BEST:: SOT 77820 SOS 31351 HAS SOPS 31351 HAS SOUS 21983 HAS SOUPS 21983 WITH SCORE 22014.351
AT ITER 985 NEW BEST:: SOT 77761 SOS 31385 HAS SOPS 31385 HAS SOUS 21953 HAS SOUPS 21953 WITH SCORE 21984.385
AT ITER 988 NEW BEST:: SOT 77754 SOS 31371 HAS SOPS 31371 HAS SOUS 21946 HAS SOUPS 21946 WITH SCORE 21977.371
AT ITER 995 NEW BEST:: SOT 77741 SOS 31252 HAS SOPS 31252 HAS SOUS 21872 HAS SOUPS 21872 WITH SCORE 21903.252
AT ITER 1007 NEW BEST:: SOT 77732 SOS 31227 HAS SOPS 31227 HAS SOUS 21862 HAS SOUPS 21862 WITH SCORE 21893.227
AT ITER 1014 NEW BEST:: SOT 77731 SOS 31226 HAS SOPS 31226 HAS SOUS 21861 HAS SOUPS 21861 WITH SCORE 21892.226
AT ITER 1024 NEW BEST:: SOT 77727 SOS 31218 HAS SOPS 31218 HAS SOUS 21853 HAS SOUPS 21853 WITH SCORE 21884.218
AT ITER 1027 NEW BEST:: SOT 77730 SOS 31219 HAS SOPS 31219 HAS SOUS 21851 HAS SOUPS 21851 WITH SCORE 21882.219
AT ITER 1039 NEW BEST:: SOT 77727 SOS 31213 HAS SOPS 31213 HAS SOUS 21848 HAS SOUPS 21848 WITH SCORE 21879.213
AT ITER 1041 NEW BEST:: SOT 77729 SOS 31217 HAS SOPS 31217 HAS SOUS 21803 HAS SOUPS 21803 WITH SCORE 21834.217
AT ITER 1049 NEW BEST:: SOT 77731 SOS 31219 HAS SOPS 31219 HAS SOUS 21761 HAS SOUPS 21761 WITH SCORE 21792.219
AT ITER 1052 NEW BEST:: SOT 77714 SOS 31180 HAS SOPS 31180 HAS SOUS 21744 HAS SOUPS 21744 WITH SCORE 21775.18
AT ITER 1058 NEW BEST:: SOT 77706 SOS 31172 HAS SOPS 31172 HAS SOUS 21735 HAS SOUPS 21735 WITH SCORE 21766.172
AT ITER 1060 NEW BEST:: SOT 77687 SOS 31053 HAS SOPS 31053 HAS SOUS 21697 HAS SOUPS 21697 WITH SCORE 21728.053
AT ITER 1080 NEW BEST:: SOT 77681 SOS 31041 HAS SOPS 31041 HAS SOUS 21691 HAS SOUPS 21691 WITH SCORE 21722.041
AT ITER 1085 NEW BEST:: SOT 77678 SOS 31035 HAS SOPS 31035 HAS SOUS 21685 HAS SOUPS 21685 WITH SCORE 21716.035
AT ITER 1092 NEW BEST:: SOT 77592 SOS 30906 HAS SOPS 30906 HAS SOUS 21556 HAS SOUPS 21556 WITH SCORE 21586.906
AT ITER 1098 NEW BEST:: SOT 77589 SOS 30900 HAS SOPS 30900 HAS SOUS 21550 HAS SOUPS 21550 WITH SCORE 21580.9
AT ITER 1122 NEW BEST:: SOT 77578 SOS 30814 HAS SOPS 30814 HAS SOUS 21476 HAS SOUPS 21476 WITH SCORE 21506.814
AT ITER 1123 NEW BEST:: SOT 77577 SOS 30790 HAS SOPS 30790 HAS SOUS 21465 HAS SOUPS 21465 WITH SCORE 21495.79
AT ITER 1156 NEW BEST:: SOT 77559 SOS 30765 HAS SOPS 30765 HAS SOUS 21439 HAS SOUPS 21439 WITH SCORE 21469.765
AT ITER 1160 NEW BEST:: SOT 77557 SOS 30761 HAS SOPS 30761 HAS SOUS 21435 HAS SOUPS 21435 WITH SCORE 21465.761
AT ITER 1163 NEW BEST:: SOT 77472 SOS 30632 HAS SOPS 30632 HAS SOUS 21308 HAS SOUPS 21308 WITH SCORE 21338.632
AT ITER 1169 NEW BEST:: SOT 77497 SOS 30592 HAS SOPS 30592 HAS SOUS 21284 HAS SOUPS 21284 WITH SCORE 21314.592
AT ITER 1182 NEW BEST:: SOT 77494 SOS 30589 HAS SOPS 30589 HAS SOUS 21281 HAS SOUPS 21281 WITH SCORE 21311.589
AT ITER 1192 NEW BEST:: SOT 77470 SOS 30519 HAS SOPS 30519 HAS SOUS 21245 HAS SOUPS 21245 WITH SCORE 21275.519
AT ITER 1206 NEW BEST:: SOT 77466 SOS 30515 HAS SOPS 30515 HAS SOUS 21242 HAS SOUPS 21242 WITH SCORE 21272.515
AT ITER 1208 NEW BEST:: SOT 77484 SOS 30546 HAS SOPS 30546 HAS SOUS 21236 HAS SOUPS 21236 WITH SCORE 21266.546
AT ITER 1219 NEW BEST:: SOT 77492 SOS 30522 HAS SOPS 30522 HAS SOUS 21204 HAS SOUPS 21204 WITH SCORE 21234.522
AT ITER 1224 NEW BEST:: SOT 77546 SOS 30494 HAS SOPS 30494 HAS SOUS 21167 HAS SOUPS 21167 WITH SCORE 21197.494
AT ITER 1230 NEW BEST:: SOT 77535 SOS 30483 HAS SOPS 30483 HAS SOUS 21145 HAS SOUPS 21145 WITH SCORE 21175.483
AT ITER 1232 NEW BEST:: SOT 77506 SOS 30426 HAS SOPS 30426 HAS SOUS 21087 HAS SOUPS 21087 WITH SCORE 21117.426
AT ITER 1251 NEW BEST:: SOT 77500 SOS 30420 HAS SOPS 30420 HAS SOUS 21059 HAS SOUPS 21059 WITH SCORE 21089.42
AT ITER 1281 NEW BEST:: SOT 77487 SOS 30394 HAS SOPS 30394 HAS SOUS 21033 HAS SOUPS 21033 WITH SCORE 21063.394
AT ITER 1289 NEW BEST:: SOT 77487 SOS 30394 HAS SOPS 30394 HAS SOUS 21029 HAS SOUPS 21029 WITH SCORE 21059.394
AT ITER 1292 NEW BEST:: SOT 77468 SOS 30427 HAS SOPS 30427 HAS SOUS 20939 HAS SOUPS 20939 WITH SCORE 20969.427
AT ITER 1305 NEW BEST:: SOT 77467 SOS 30426 HAS SOPS 30426 HAS SOUS 20937 HAS SOUPS 20937 WITH SCORE 20967.426
AT ITER 1309 NEW BEST:: SOT 77467 SOS 30414 HAS SOPS 30414 HAS SOUS 20937 HAS SOUPS 20937 WITH SCORE 20967.414
AT ITER 1336 NEW BEST:: SOT 77467 SOS 30414 HAS SOPS 30414 HAS SOUS 20923 HAS SOUPS 20923 WITH SCORE 20953.414
AT ITER 1337 NEW BEST:: SOT 77474 SOS 30421 HAS SOPS 30421 HAS SOUS 20887 HAS SOUPS 20887 WITH SCORE 20917.421
AT ITER 1340 NEW BEST:: SOT 77493 SOS 30431 HAS SOPS 30431 HAS SOUS 20849 HAS SOUPS 20849 WITH SCORE 20879.431
AT ITER 1345 NEW BEST:: SOT 77481 SOS 30411 HAS SOPS 30411 HAS SOUS 20829 HAS SOUPS 20829 WITH SCORE 20859.411
AT ITER 1374 NEW BEST:: SOT 77413 SOS 30310 HAS SOPS 30310 HAS SOUS 20706 HAS SOUPS 20706 WITH SCORE 20736.31
AT ITER 1380 NEW BEST:: SOT 77387 SOS 30154 HAS SOPS 30154 HAS SOUS 20626 HAS SOUPS 20626 WITH SCORE 20656.154
AT ITER 1381 NEW BEST:: SOT 77391 SOS 30158 HAS SOPS 30158 HAS SOUS 20611 HAS SOUPS 20611 WITH SCORE 20641.158
AT ITER 1383 NEW BEST:: SOT 77398 SOS 30031 HAS SOPS 30031 HAS SOUS 20581 HAS SOUPS 20581 WITH SCORE 20611.031
AT ITER 1389 NEW BEST:: SOT 77394 SOS 29978 HAS SOPS 29978 HAS SOUS 20573 HAS SOUPS 20573 WITH SCORE 20602.978
AT ITER 1413 NEW BEST:: SOT 77359 SOS 30484 HAS SOPS 30484 HAS SOUS 20538 HAS SOUPS 20538 WITH SCORE 20568.484
AT ITER 1414 NEW BEST:: SOT 77359 SOS 30478 HAS SOPS 30478 HAS SOUS 20532 HAS SOUPS 20532 WITH SCORE 20562.478
AT ITER 1419 NEW BEST:: SOT 77331 SOS 30422 HAS SOPS 30422 HAS SOUS 20488 HAS SOUPS 20488 WITH SCORE 20518.422
AT ITER 1443 NEW BEST:: SOT 77328 SOS 30417 HAS SOPS 30417 HAS SOUS 20483 HAS SOUPS 20483 WITH SCORE 20513.417
AT ITER 1450 NEW BEST:: SOT 77293 SOS 30346 HAS SOPS 30346 HAS SOUS 20413 HAS SOUPS 20413 WITH SCORE 20443.346
AT ITER 1451 NEW BEST:: SOT 77284 SOS 30350 HAS SOPS 30350 HAS SOUS 20395 HAS SOUPS 20395 WITH SCORE 20425.35
AT ITER 1473 NEW BEST:: SOT 77283 SOS 30349 HAS SOPS 30349 HAS SOUS 20393 HAS SOUPS 20393 WITH SCORE 20423.349
AT ITER 1474 NEW BEST:: SOT 77253 SOS 30319 HAS SOPS 30319 HAS SOUS 20363 HAS SOUPS 20363 WITH SCORE 20393.319
AT ITER 1486 NEW BEST:: SOT 77253 SOS 30229 HAS SOPS 30229 HAS SOUS 20363 HAS SOUPS 20363 WITH SCORE 20393.229
AT ITER 1490 NEW BEST:: SOT 77253 SOS 30229 HAS SOPS 30229 HAS SOUS 20361 HAS SOUPS 20361 WITH SCORE 20391.229
AT ITER 1508 NEW BEST:: SOT 77152 SOS 30135 HAS SOPS 30135 HAS SOUS 20267 HAS SOUPS 20267 WITH SCORE 20297.135
AT ITER 1518 NEW BEST:: SOT 77123 SOS 30009 HAS SOPS 30009 HAS SOUS 20193 HAS SOUPS 20193 WITH SCORE 20223.009
AT ITER 1543 NEW BEST:: SOT 77116 SOS 29925 HAS SOPS 29925 HAS SOUS 20186 HAS SOUPS 20186 WITH SCORE 20215.925
AT ITER 1554 NEW BEST:: SOT 77073 SOS 29882 HAS SOPS 29882 HAS SOUS 20149 HAS SOUPS 20149 WITH SCORE 20178.882
AT ITER 1556 NEW BEST:: SOT 77055 SOS 29819 HAS SOPS 29819 HAS SOUS 20139 HAS SOUPS 20139 WITH SCORE 20168.819
AT ITER 1561 NEW BEST:: SOT 77052 SOS 29813 HAS SOPS 29813 HAS SOUS 20132 HAS SOUPS 20132 WITH SCORE 20161.813
AT ITER 1562 NEW BEST:: SOT 77036 SOS 29781 HAS SOPS 29781 HAS SOUS 20100 HAS SOUPS 20100 WITH SCORE 20129.781
AT ITER 1594 NEW BEST:: SOT 77036 SOS 29781 HAS SOPS 29781 HAS SOUS 20077 HAS SOUPS 20077 WITH SCORE 20106.781
AT ITER 1626 NEW BEST:: SOT 77035 SOS 29779 HAS SOPS 29779 HAS SOUS 20075 HAS SOUPS 20075 WITH SCORE 20104.779
AT ITER 1662 NEW BEST:: SOT 77028 SOS 29772 HAS SOPS 29772 HAS SOUS 20075 HAS SOUPS 20075 WITH SCORE 20104.772
AT ITER 1664 NEW BEST:: SOT 77028 SOS 29772 HAS SOPS 29772 HAS SOUS 20047 HAS SOUPS 20047 WITH SCORE 20076.772
AT ITER 1671 NEW BEST:: SOT 77089 SOS 29962 HAS SOPS 29962 HAS SOUS 20001 HAS SOUPS 20001 WITH SCORE 20030.962
AT ITER 1690 NEW BEST:: SOT 77089 SOS 29942 HAS SOPS 29942 HAS SOUS 20001 HAS SOUPS 20001 WITH SCORE 20030.942
AT ITER 1691 NEW BEST:: SOT 77081 SOS 29899 HAS SOPS 29899 HAS SOUS 19975 HAS SOUPS 19975 WITH SCORE 20004.899
AT ITER 1701 NEW BEST:: SOT 77051 SOS 29899 HAS SOPS 29899 HAS SOUS 19961 HAS SOUPS 19961 WITH SCORE 19990.899
AT ITER 1725 NEW BEST:: SOT 77040 SOS 29924 HAS SOPS 29924 HAS SOUS 19885 HAS SOUPS 19885 WITH SCORE 19914.924
AT ITER 1727 NEW BEST:: SOT 77036 SOS 29916 HAS SOPS 29916 HAS SOUS 19877 HAS SOUPS 19877 WITH SCORE 19906.916
AT ITER 1730 NEW BEST:: SOT 76998 SOS 29878 HAS SOPS 29878 HAS SOUS 19877 HAS SOUPS 19877 WITH SCORE 19906.878
AT ITER 1734 NEW BEST:: SOT 77001 SOS 29893 HAS SOPS 29893 HAS SOUS 19868 HAS SOUPS 19868 WITH SCORE 19897.893
AT ITER 1779 NEW BEST:: SOT 76977 SOS 29291 HAS SOPS 29291 HAS SOUS 19810 HAS SOUPS 19810 WITH SCORE 19839.291
AT ITER 1784 NEW BEST:: SOT 76949 SOS 29189 HAS SOPS 29189 HAS SOUS 19785 HAS SOUPS 19785 WITH SCORE 19814.189
AT ITER 1791 NEW BEST:: SOT 76938 SOS 29167 HAS SOPS 29167 HAS SOUS 19774 HAS SOUPS 19774 WITH SCORE 19803.167
AT ITER 1807 NEW BEST:: SOT 76929 SOS 29159 HAS SOPS 29159 HAS SOUS 19756 HAS SOUPS 19756 WITH SCORE 19785.159
AT ITER 1810 NEW BEST:: SOT 76929 SOS 29133 HAS SOPS 29133 HAS SOUS 19756 HAS SOUPS 19756 WITH SCORE 19785.133
AT ITER 1817 NEW BEST:: SOT 76918 SOS 29111 HAS SOPS 29111 HAS SOUS 19745 HAS SOUPS 19745 WITH SCORE 19774.111
AT ITER 1848 NEW BEST:: SOT 76905 SOS 29098 HAS SOPS 29098 HAS SOUS 19745 HAS SOUPS 19745 WITH SCORE 19774.098
AT ITER 1854 NEW BEST:: SOT 76869 SOS 29026 HAS SOPS 29026 HAS SOUS 19673 HAS SOUPS 19673 WITH SCORE 19702.026
AT ITER 1862 NEW BEST:: SOT 76860 SOS 29008 HAS SOPS 29008 HAS SOUS 19638 HAS SOUPS 19638 WITH SCORE 19667.008
AT ITER 1866 NEW BEST:: SOT 76860 SOS 28972 HAS SOPS 28972 HAS SOUS 19597 HAS SOUPS 19597 WITH SCORE 19625.972
AT ITER 1877 NEW BEST:: SOT 76827 SOS 28916 HAS SOPS 28916 HAS SOUS 19531 HAS SOUPS 19531 WITH SCORE 19559.916
AT ITER 1893 NEW BEST:: SOT 76750 SOS 28880 HAS SOPS 28880 HAS SOUS 19517 HAS SOUPS 19517 WITH SCORE 19545.88
AT ITER 1895 NEW BEST:: SOT 76750 SOS 28807 HAS SOPS 28807 HAS SOUS 19517 HAS SOUPS 19517 WITH SCORE 19545.807
AT ITER 1916 NEW BEST:: SOT 76759 SOS 28825 HAS SOPS 28825 HAS SOUS 19514 HAS SOUPS 19514 WITH SCORE 19542.825
AT ITER 1923 NEW BEST:: SOT 76752 SOS 28811 HAS SOPS 28811 HAS SOUS 19500 HAS SOUPS 19500 WITH SCORE 19528.811
AT ITER 1929 NEW BEST:: SOT 76731 SOS 28781 HAS SOPS 28781 HAS SOUS 19467 HAS SOUPS 19467 WITH SCORE 19495.781
AT ITER 1953 NEW BEST:: SOT 76731 SOS 28744 HAS SOPS 28744 HAS SOUS 19430 HAS SOUPS 19430 WITH SCORE 19458.744
AT ITER 1955 NEW BEST:: SOT 76723 SOS 28726 HAS SOPS 28726 HAS SOUS 19414 HAS SOUPS 19414 WITH SCORE 19442.726
AT ITER 1970 NEW BEST:: SOT 76761 SOS 28664 HAS SOPS 28664 HAS SOUS 19406 HAS SOUPS 19406 WITH SCORE 19434.664
AT ITER 1982 NEW BEST:: SOT 76732 SOS 28653 HAS SOPS 28653 HAS SOUS 19364 HAS SOUPS 19364 WITH SCORE 19392.653
AT ITER 1993 NEW BEST:: SOT 76675 SOS 28539 HAS SOPS 28539 HAS SOUS 19354 HAS SOUPS 19354 WITH SCORE 19382.539
AT ITER 2039 NEW BEST:: SOT 76706 SOS 28534 HAS SOPS 28534 HAS SOUS 19349 HAS SOUPS 19349 WITH SCORE 19377.534
AT ITER 2054 NEW BEST:: SOT 76694 SOS 28510 HAS SOPS 28510 HAS SOUS 19346 HAS SOUPS 19346 WITH SCORE 19374.51
AT ITER 2087 NEW BEST:: SOT 76694 SOS 28503 HAS SOPS 28503 HAS SOUS 19346 HAS SOUPS 19346 WITH SCORE 19374.503
AT ITER 2088 NEW BEST:: SOT 76686 SOS 28495 HAS SOPS 28495 HAS SOUS 19330 HAS SOUPS 19330 WITH SCORE 19358.495
AT ITER 2093 NEW BEST:: SOT 76684 SOS 28491 HAS SOPS 28491 HAS SOUS 19326 HAS SOUPS 19326 WITH SCORE 19354.491
AT ITER 2095 NEW BEST:: SOT 76684 SOS 28491 HAS SOPS 28491 HAS SOUS 19287 HAS SOUPS 19287 WITH SCORE 19315.491
AT ITER 2100 NEW BEST:: SOT 76684 SOS 28488 HAS SOPS 28488 HAS SOUS 19287 HAS SOUPS 19287 WITH SCORE 19315.488
AT ITER 2104 NEW BEST:: SOT 76663 SOS 28537 HAS SOPS 28537 HAS SOUS 19266 HAS SOUPS 19266 WITH SCORE 19294.537
AT ITER 2112 NEW BEST:: SOT 76661 SOS 28533 HAS SOPS 28533 HAS SOUS 19264 HAS SOUPS 19264 WITH SCORE 19292.533
AT ITER 2124 NEW BEST:: SOT 76668 SOS 28547 HAS SOPS 28547 HAS SOUS 19259 HAS SOUPS 19259 WITH SCORE 19287.547
AT ITER 2125 NEW BEST:: SOT 76668 SOS 28594 HAS SOPS 28594 HAS SOUS 19212 HAS SOUPS 19212 WITH SCORE 19240.594
AT ITER 2152 NEW BEST:: SOT 76648 SOS 28548 HAS SOPS 28548 HAS SOUS 19192 HAS SOUPS 19192 WITH SCORE 19220.548
AT ITER 2191 NEW BEST:: SOT 76648 SOS 28532 HAS SOPS 28532 HAS SOUS 19192 HAS SOUPS 19192 WITH SCORE 19220.532
AT ITER 2194 NEW BEST:: SOT 76694 SOS 28560 HAS SOPS 28560 HAS SOUS 19189 HAS SOUPS 19189 WITH SCORE 19217.56
AT ITER 2217 NEW BEST:: SOT 76693 SOS 28593 HAS SOPS 28593 HAS SOUS 19187 HAS SOUPS 19187 WITH SCORE 19215.593
AT ITER 2225 NEW BEST:: SOT 76680 SOS 28574 HAS SOPS 28574 HAS SOUS 19167 HAS SOUPS 19167 WITH SCORE 19195.574
AT ITER 2251 NEW BEST:: SOT 76649 SOS 28540 HAS SOPS 28540 HAS SOUS 19133 HAS SOUPS 19133 WITH SCORE 19161.54
AT ITER 2254 NEW BEST:: SOT 76641 SOS 28524 HAS SOPS 28524 HAS SOUS 19097 HAS SOUPS 19097 WITH SCORE 19125.524
AT ITER 2266 NEW BEST:: SOT 76641 SOS 28524 HAS SOPS 28524 HAS SOUS 19081 HAS SOUPS 19081 WITH SCORE 19109.524
AT ITER 2274 NEW BEST:: SOT 76602 SOS 28319 HAS SOPS 28319 HAS SOUS 18999 HAS SOUPS 18999 WITH SCORE 19027.319
AT ITER 2285 NEW BEST:: SOT 76635 SOS 28292 HAS SOPS 28292 HAS SOUS 18999 HAS SOUPS 18999 WITH SCORE 19027.292
AT ITER 2297 NEW BEST:: SOT 76633 SOS 28290 HAS SOPS 28290 HAS SOUS 18997 HAS SOUPS 18997 WITH SCORE 19025.29
AT ITER 2302 NEW BEST:: SOT 76639 SOS 28285 HAS SOPS 28285 HAS SOUS 18992 HAS SOUPS 18992 WITH SCORE 19020.285
AT ITER 2316 NEW BEST:: SOT 76641 SOS 28289 HAS SOPS 28289 HAS SOUS 18983 HAS SOUPS 18983 WITH SCORE 19011.289
AT ITER 2325 NEW BEST:: SOT 76664 SOS 28288 HAS SOPS 28288 HAS SOUS 18908 HAS SOUPS 18908 WITH SCORE 18936.288
AT ITER 2332 NEW BEST:: SOT 76667 SOS 28282 HAS SOPS 28282 HAS SOUS 18906 HAS SOUPS 18906 WITH SCORE 18934.282
AT ITER 2340 NEW BEST:: SOT 76656 SOS 28247 HAS SOPS 28247 HAS SOUS 18884 HAS SOUPS 18884 WITH SCORE 18912.247
AT ITER 2412 NEW BEST:: SOT 76652 SOS 28239 HAS SOPS 28239 HAS SOUS 18880 HAS SOUPS 18880 WITH SCORE 18908.239
AT ITER 2431 NEW BEST:: SOT 76647 SOS 28218 HAS SOPS 28218 HAS SOUS 18878 HAS SOUPS 18878 WITH SCORE 18906.218
AT ITER 2437 NEW BEST:: SOT 76592 SOS 28304 HAS SOPS 28304 HAS SOUS 18830 HAS SOUPS 18830 WITH SCORE 18858.304
AT ITER 2449 NEW BEST:: SOT 76591 SOS 28302 HAS SOPS 28302 HAS SOUS 18824 HAS SOUPS 18824 WITH SCORE 18852.302
AT ITER 2451 NEW BEST:: SOT 76483 SOS 28194 HAS SOPS 28194 HAS SOUS 18716 HAS SOUPS 18716 WITH SCORE 18744.194
AT ITER 2454 NEW BEST:: SOT 76476 SOS 28202 HAS SOPS 28202 HAS SOUS 18702 HAS SOUPS 18702 WITH SCORE 18730.202
AT ITER 2469 NEW BEST:: SOT 76401 SOS 28052 HAS SOPS 28052 HAS SOUS 18552 HAS SOUPS 18552 WITH SCORE 18580.052
AT ITER 2475 NEW BEST:: SOT 76383 SOS 28034 HAS SOPS 28034 HAS SOUS 18516 HAS SOUPS 18516 WITH SCORE 18544.034
AT ITER 2482 NEW BEST:: SOT 76378 SOS 28024 HAS SOPS 28024 HAS SOUS 18501 HAS SOUPS 18501 WITH SCORE 18529.024
AT ITER 2488 NEW BEST:: SOT 76346 SOS 27992 HAS SOPS 27992 HAS SOUS 18485 HAS SOUPS 18485 WITH SCORE 18512.992
AT ITER 2508 NEW BEST:: SOT 76302 SOS 27955 HAS SOPS 27955 HAS SOUS 18464 HAS SOUPS 18464 WITH SCORE 18491.955
AT ITER 2522 NEW BEST:: SOT 76296 SOS 27949 HAS SOPS 27949 HAS SOUS 18458 HAS SOUPS 18458 WITH SCORE 18485.949
AT ITER 2606 NEW BEST:: SOT 76200 SOS 27877 HAS SOPS 27877 HAS SOUS 18445 HAS SOUPS 18445 WITH SCORE 18472.877
AT ITER 2607 NEW BEST:: SOT 76194 SOS 27861 HAS SOPS 27861 HAS SOUS 18438 HAS SOUPS 18438 WITH SCORE 18465.861
AT ITER 2620 NEW BEST:: SOT 76164 SOS 27766 HAS SOPS 27766 HAS SOUS 18378 HAS SOUPS 18378 WITH SCORE 18405.766
AT ITER 2663 NEW BEST:: SOT 76124 SOS 27686 HAS SOPS 27686 HAS SOUS 18360 HAS SOUPS 18360 WITH SCORE 18387.686
AT ITER 2686 NEW BEST:: SOT 76079 SOS 27607 HAS SOPS 27607 HAS SOUS 18316 HAS SOUPS 18316 WITH SCORE 18343.607
AT ITER 2697 NEW BEST:: SOT 76078 SOS 27603 HAS SOPS 27603 HAS SOUS 18316 HAS SOUPS 18316 WITH SCORE 18343.603
AT ITER 2699 NEW BEST:: SOT 76071 SOS 27589 HAS SOPS 27589 HAS SOUS 18302 HAS SOUPS 18302 WITH SCORE 18329.589
AT ITER 2703 NEW BEST:: SOT 76062 SOS 27571 HAS SOPS 27571 HAS SOUS 18293 HAS SOUPS 18293 WITH SCORE 18320.571
AT ITER 2713 NEW BEST:: SOT 76057 SOS 27557 HAS SOPS 27557 HAS SOUS 18283 HAS SOUPS 18283 WITH SCORE 18310.557
AT ITER 2741 NEW BEST:: SOT 76006 SOS 27515 HAS SOPS 27515 HAS SOUS 18241 HAS SOUPS 18241 WITH SCORE 18268.515
AT ITER 2745 NEW BEST:: SOT 75991 SOS 27485 HAS SOPS 27485 HAS SOUS 18196 HAS SOUPS 18196 WITH SCORE 18223.485
AT ITER 2748 NEW BEST:: SOT 75974 SOS 27451 HAS SOPS 27451 HAS SOUS 18162 HAS SOUPS 18162 WITH SCORE 18189.451
AT ITER 2757 NEW BEST:: SOT 75956 SOS 27419 HAS SOPS 27419 HAS SOUS 18140 HAS SOUPS 18140 WITH SCORE 18167.419
AT ITER 2758 NEW BEST:: SOT 75956 SOS 27418 HAS SOPS 27418 HAS SOUS 18139 HAS SOUPS 18139 WITH SCORE 18166.418
AT ITER 2763 NEW BEST:: SOT 75908 SOS 27368 HAS SOPS 27368 HAS SOUS 18089 HAS SOUPS 18089 WITH SCORE 18116.368
AT ITER 2769 NEW BEST:: SOT 75907 SOS 27366 HAS SOPS 27366 HAS SOUS 18088 HAS SOUPS 18088 WITH SCORE 18115.366
AT ITER 2792 NEW BEST:: SOT 75871 SOS 27330 HAS SOPS 27330 HAS SOUS 18052 HAS SOUPS 18052 WITH SCORE 18079.33
AT ITER 2804 NEW BEST:: SOT 75856 SOS 27300 HAS SOPS 27300 HAS SOUS 18038 HAS SOUPS 18038 WITH SCORE 18065.3
AT ITER 2805 NEW BEST:: SOT 75853 SOS 27297 HAS SOPS 27297 HAS SOUS 18032 HAS SOUPS 18032 WITH SCORE 18059.297
AT ITER 2809 NEW BEST:: SOT 75854 SOS 27287 HAS SOPS 27287 HAS SOUS 18011 HAS SOUPS 18011 WITH SCORE 18038.287
AT ITER 2811 NEW BEST:: SOT 75853 SOS 27285 HAS SOPS 27285 HAS SOUS 18009 HAS SOUPS 18009 WITH SCORE 18036.285
AT ITER 2819 NEW BEST:: SOT 75850 SOS 27282 HAS SOPS 27282 HAS SOUS 18003 HAS SOUPS 18003 WITH SCORE 18030.282
AT ITER 2821 NEW BEST:: SOT 75849 SOS 27280 HAS SOPS 27280 HAS SOUS 18000 HAS SOUPS 18000 WITH SCORE 18027.28
AT ITER 2857 NEW BEST:: SOT 75849 SOS 27278 HAS SOPS 27278 HAS SOUS 17994 HAS SOUPS 17994 WITH SCORE 18021.278
AT ITER 2862 NEW BEST:: SOT 75842 SOS 27264 HAS SOPS 27264 HAS SOUS 17980 HAS SOUPS 17980 WITH SCORE 18007.264
AT ITER 2884 NEW BEST:: SOT 75836 SOS 27257 HAS SOPS 27257 HAS SOUS 17973 HAS SOUPS 17973 WITH SCORE 18000.257
AT ITER 2885 NEW BEST:: SOT 75826 SOS 27225 HAS SOPS 27225 HAS SOUS 17953 HAS SOUPS 17953 WITH SCORE 17980.225
AT ITER 2892 NEW BEST:: SOT 75788 SOS 27226 HAS SOPS 27226 HAS SOUS 17913 HAS SOUPS 17913 WITH SCORE 17940.226
AT ITER 2893 NEW BEST:: SOT 75788 SOS 27223 HAS SOPS 27223 HAS SOUS 17910 HAS SOUPS 17910 WITH SCORE 17937.223
AT ITER 2905 NEW BEST:: SOT 75788 SOS 27222 HAS SOPS 27222 HAS SOUS 17909 HAS SOUPS 17909 WITH SCORE 17936.222
AT ITER 2922 NEW BEST:: SOT 75788 SOS 27197 HAS SOPS 27197 HAS SOUS 17905 HAS SOUPS 17905 WITH SCORE 17932.197
AT ITER 2930 NEW BEST:: SOT 75770 SOS 27168 HAS SOPS 27168 HAS SOUS 17894 HAS SOUPS 17894 WITH SCORE 17921.168
AT ITER 2936 NEW BEST:: SOT 75729 SOS 27024 HAS SOPS 27024 HAS SOUS 17791 HAS SOUPS 17791 WITH SCORE 17818.024
AT ITER 2948 NEW BEST:: SOT 75687 SOS 26940 HAS SOPS 26940 HAS SOUS 17707 HAS SOUPS 17707 WITH SCORE 17733.94
AT ITER 2966 NEW BEST:: SOT 75676 SOS 26929 HAS SOPS 26929 HAS SOUS 17674 HAS SOUPS 17674 WITH SCORE 17700.929
AT ITER 2971 NEW BEST:: SOT 75673 SOS 26926 HAS SOPS 26926 HAS SOUS 17665 HAS SOUPS 17665 WITH SCORE 17691.926
AT ITER 2977 NEW BEST:: SOT 75659 SOS 26898 HAS SOPS 26898 HAS SOUS 17651 HAS SOUPS 17651 WITH SCORE 17677.898
AT ITER 3007 NEW BEST:: SOT 75634 SOS 26733 HAS SOPS 26733 HAS SOUS 17587 HAS SOUPS 17587 WITH SCORE 17613.733
AT ITER 3017 NEW BEST:: SOT 75630 SOS 26725 HAS SOPS 26725 HAS SOUS 17576 HAS SOUPS 17576 WITH SCORE 17602.725
AT ITER 3044 NEW BEST:: SOT 75619 SOS 26722 HAS SOPS 26722 HAS SOUS 17572 HAS SOUPS 17572 WITH SCORE 17598.722
AT ITER 3048 NEW BEST:: SOT 75614 SOS 26710 HAS SOPS 26710 HAS SOUS 17531 HAS SOUPS 17531 WITH SCORE 17557.71
AT ITER 3070 NEW BEST:: SOT 75531 SOS 27766 HAS SOPS 27766 HAS SOUS 17475 HAS SOUPS 17475 WITH SCORE 17502.766
AT ITER 3081 NEW BEST:: SOT 75522 SOS 27774 HAS SOPS 27774 HAS SOUS 17472 HAS SOUPS 17472 WITH SCORE 17499.774
AT ITER 3120 NEW BEST:: SOT 75515 SOS 27754 HAS SOPS 27754 HAS SOUS 17434 HAS SOUPS 17434 WITH SCORE 17461.754
AT ITER 3126 NEW BEST:: SOT 75507 SOS 27729 HAS SOPS 27729 HAS SOUS 17418 HAS SOUPS 17418 WITH SCORE 17445.729
AT ITER 3132 NEW BEST:: SOT 75499 SOS 27717 HAS SOPS 27717 HAS SOUS 17406 HAS SOUPS 17406 WITH SCORE 17433.717
AT ITER 3143 NEW BEST:: SOT 75472 SOS 27663 HAS SOPS 27663 HAS SOUS 17356 HAS SOUPS 17356 WITH SCORE 17383.663
AT ITER 3166 NEW BEST:: SOT 75456 SOS 27611 HAS SOPS 27611 HAS SOUS 17324 HAS SOUPS 17324 WITH SCORE 17351.611
AT ITER 3198 NEW BEST:: SOT 75449 SOS 27597 HAS SOPS 27597 HAS SOUS 17310 HAS SOUPS 17310 WITH SCORE 17337.597
AT ITER 3249 NEW BEST:: SOT 75447 SOS 27595 HAS SOPS 27595 HAS SOUS 17308 HAS SOUPS 17308 WITH SCORE 17335.595
AT ITER 3281 NEW BEST:: SOT 75439 SOS 27587 HAS SOPS 27587 HAS SOUS 17292 HAS SOUPS 17292 WITH SCORE 17319.587
AT ITER 3294 NEW BEST:: SOT 75438 SOS 27586 HAS SOPS 27586 HAS SOUS 17290 HAS SOUPS 17290 WITH SCORE 17317.586
AT ITER 3311 NEW BEST:: SOT 75427 SOS 27592 HAS SOPS 27592 HAS SOUS 17268 HAS SOUPS 17268 WITH SCORE 17295.592
AT ITER 3319 NEW BEST:: SOT 75422 SOS 27587 HAS SOPS 27587 HAS SOUS 17258 HAS SOUPS 17258 WITH SCORE 17285.587
AT ITER 3336 NEW BEST:: SOT 75414 SOS 27575 HAS SOPS 27575 HAS SOUS 17250 HAS SOUPS 17250 WITH SCORE 17277.575
AT ITER 3368 NEW BEST:: SOT 75429 SOS 27601 HAS SOPS 27601 HAS SOUS 17234 HAS SOUPS 17234 WITH SCORE 17261.601
AT ITER 3404 NEW BEST:: SOT 75449 SOS 27607 HAS SOPS 27607 HAS SOUS 17213 HAS SOUPS 17213 WITH SCORE 17240.607
AT ITER 3409 NEW BEST:: SOT 75414 SOS 27558 HAS SOPS 27558 HAS SOUS 17185 HAS SOUPS 17185 WITH SCORE 17212.558
AT ITER 3415 NEW BEST:: SOT 75389 SOS 27508 HAS SOPS 27508 HAS SOUS 17160 HAS SOUPS 17160 WITH SCORE 17187.508
AT ITER 3464 NEW BEST:: SOT 75383 SOS 27502 HAS SOPS 27502 HAS SOUS 17148 HAS SOUPS 17148 WITH SCORE 17175.502
AT ITER 3506 NEW BEST:: SOT 75375 SOS 27487 HAS SOPS 27487 HAS SOUS 17139 HAS SOUPS 17139 WITH SCORE 17166.487
AT ITER 3546 NEW BEST:: SOT 75369 SOS 27414 HAS SOPS 27414 HAS SOUS 17130 HAS SOUPS 17130 WITH SCORE 17157.414
AT ITER 3578 NEW BEST:: SOT 75369 SOS 27414 HAS SOPS 27414 HAS SOUS 17105 HAS SOUPS 17105 WITH SCORE 17132.414
AT ITER 3591 NEW BEST:: SOT 75369 SOS 27396 HAS SOPS 27396 HAS SOUS 17105 HAS SOUPS 17105 WITH SCORE 17132.396
AT ITER 3601 NEW BEST:: SOT 75321 SOS 27304 HAS SOPS 27304 HAS SOUS 17039 HAS SOUPS 17039 WITH SCORE 17066.304
AT ITER 3619 NEW BEST:: SOT 75306 SOS 27305 HAS SOPS 27305 HAS SOUS 17024 HAS SOUPS 17024 WITH SCORE 17051.305
AT ITER 3635 NEW BEST:: SOT 75254 SOS 27227 HAS SOPS 27227 HAS SOUS 16972 HAS SOUPS 16972 WITH SCORE 16999.227
AT ITER 3636 NEW BEST:: SOT 75252 SOS 27213 HAS SOPS 27213 HAS SOUS 16970 HAS SOUPS 16970 WITH SCORE 16997.213
AT ITER 3637 NEW BEST:: SOT 75176 SOS 27121 HAS SOPS 27121 HAS SOUS 16894 HAS SOUPS 16894 WITH SCORE 16921.121
AT ITER 3642 NEW BEST:: SOT 75145 SOS 27103 HAS SOPS 27103 HAS SOUS 16876 HAS SOUPS 16876 WITH SCORE 16903.103
AT ITER 3644 NEW BEST:: SOT 75127 SOS 27065 HAS SOPS 27065 HAS SOUS 16840 HAS SOUPS 16840 WITH SCORE 16867.065
AT ITER 3674 NEW BEST:: SOT 75126 SOS 27067 HAS SOPS 27067 HAS SOUS 16835 HAS SOUPS 16835 WITH SCORE 16862.067
AT ITER 3680 NEW BEST:: SOT 75118 SOS 27059 HAS SOPS 27059 HAS SOUS 16827 HAS SOUPS 16827 WITH SCORE 16854.059
AT ITER 3695 NEW BEST:: SOT 75109 SOS 27035 HAS SOPS 27035 HAS SOUS 16818 HAS SOUPS 16818 WITH SCORE 16845.035
AT ITER 3706 NEW BEST:: SOT 75077 SOS 27003 HAS SOPS 27003 HAS SOUS 16786 HAS SOUPS 16786 WITH SCORE 16813.003
AT ITER 3708 NEW BEST:: SOT 75068 SOS 26982 HAS SOPS 26982 HAS SOUS 16768 HAS SOUPS 16768 WITH SCORE 16794.982
AT ITER 3717 NEW BEST:: SOT 75070 SOS 26986 HAS SOPS 26986 HAS SOUS 16749 HAS SOUPS 16749 WITH SCORE 16775.986
AT ITER 3719 NEW BEST:: SOT 75060 SOS 26986 HAS SOPS 26986 HAS SOUS 16739 HAS SOUPS 16739 WITH SCORE 16765.986
AT ITER 3731 NEW BEST:: SOT 75082 SOS 26993 HAS SOPS 26993 HAS SOUS 16729 HAS SOUPS 16729 WITH SCORE 16755.993
AT ITER 3755 NEW BEST:: SOT 75082 SOS 26983 HAS SOPS 26983 HAS SOUS 16729 HAS SOUPS 16729 WITH SCORE 16755.983
AT ITER 3775 NEW BEST:: SOT 75080 SOS 26997 HAS SOPS 26997 HAS SOUS 16705 HAS SOUPS 16705 WITH SCORE 16731.997
AT ITER 3778 NEW BEST:: SOT 75063 SOS 26946 HAS SOPS 26946 HAS SOUS 16671 HAS SOUPS 16671 WITH SCORE 16697.946
AT ITER 3783 NEW BEST:: SOT 75062 SOS 26941 HAS SOPS 26941 HAS SOUS 16666 HAS SOUPS 16666 WITH SCORE 16692.941
AT ITER 3811 NEW BEST:: SOT 75056 SOS 26929 HAS SOPS 26929 HAS SOUS 16654 HAS SOUPS 16654 WITH SCORE 16680.929
AT ITER 3859 NEW BEST:: SOT 75032 SOS 26905 HAS SOPS 26905 HAS SOUS 16630 HAS SOUPS 16630 WITH SCORE 16656.905
AT ITER 3882 NEW BEST:: SOT 75006 SOS 26855 HAS SOPS 26855 HAS SOUS 16578 HAS SOUPS 16578 WITH SCORE 16604.855
AT ITER 3884 NEW BEST:: SOT 74996 SOS 26831 HAS SOPS 26831 HAS SOUS 16558 HAS SOUPS 16558 WITH SCORE 16584.831
AT ITER 3914 NEW BEST:: SOT 74964 SOS 26767 HAS SOPS 26767 HAS SOUS 16495 HAS SOUPS 16495 WITH SCORE 16521.767
AT ITER 3923 NEW BEST:: SOT 74964 SOS 26765 HAS SOPS 26765 HAS SOUS 16494 HAS SOUPS 16494 WITH SCORE 16520.765
AT ITER 3947 NEW BEST:: SOT 74961 SOS 26767 HAS SOPS 26767 HAS SOUS 16488 HAS SOUPS 16488 WITH SCORE 16514.767
AT ITER 3966 NEW BEST:: SOT 74956 SOS 26757 HAS SOPS 26757 HAS SOUS 16487 HAS SOUPS 16487 WITH SCORE 16513.757
AT ITER 3994 NEW BEST:: SOT 74936 SOS 26768 HAS SOPS 26768 HAS SOUS 16447 HAS SOUPS 16447 WITH SCORE 16473.768
AT ITER 3995 NEW BEST:: SOT 74925 SOS 26746 HAS SOPS 26746 HAS SOUS 16425 HAS SOUPS 16425 WITH SCORE 16451.746
AT ITER 4044 NEW BEST:: SOT 74917 SOS 26730 HAS SOPS 26730 HAS SOUS 16409 HAS SOUPS 16409 WITH SCORE 16435.73
AT ITER 4094 NEW BEST:: SOT 74917 SOS 26730 HAS SOPS 26730 HAS SOUS 16403 HAS SOUPS 16403 WITH SCORE 16429.73
AT ITER 4097 NEW BEST:: SOT 74880 SOS 26657 HAS SOPS 26657 HAS SOUS 16365 HAS SOUPS 16365 WITH SCORE 16391.657
AT ITER 4103 NEW BEST:: SOT 74875 SOS 26647 HAS SOPS 26647 HAS SOUS 16360 HAS SOUPS 16360 WITH SCORE 16386.647
AT ITER 4178 NEW BEST:: SOT 74840 SOS 26548 HAS SOPS 26548 HAS SOUS 16316 HAS SOUPS 16316 WITH SCORE 16342.548
AT ITER 4184 NEW BEST:: SOT 74841 SOS 26531 HAS SOPS 26531 HAS SOUS 16310 HAS SOUPS 16310 WITH SCORE 16336.531
AT ITER 4188 NEW BEST:: SOT 74831 SOS 26511 HAS SOPS 26511 HAS SOUS 16300 HAS SOUPS 16300 WITH SCORE 16326.511
AT ITER 4202 NEW BEST:: SOT 74813 SOS 26418 HAS SOPS 26418 HAS SOUS 16221 HAS SOUPS 16221 WITH SCORE 16247.418
AT ITER 4209 NEW BEST:: SOT 74809 SOS 26410 HAS SOPS 26410 HAS SOUS 16215 HAS SOUPS 16215 WITH SCORE 16241.41
AT ITER 4228 NEW BEST:: SOT 74814 SOS 26404 HAS SOPS 26404 HAS SOUS 16204 HAS SOUPS 16204 WITH SCORE 16230.404
AT ITER 4230 NEW BEST:: SOT 74799 SOS 26348 HAS SOPS 26348 HAS SOUS 16174 HAS SOUPS 16174 WITH SCORE 16200.348
AT ITER 4276 NEW BEST:: SOT 74797 SOS 26346 HAS SOPS 26346 HAS SOUS 16173 HAS SOUPS 16173 WITH SCORE 16199.346
AT ITER 4281 NEW BEST:: SOT 74796 SOS 26344 HAS SOPS 26344 HAS SOUS 16171 HAS SOUPS 16171 WITH SCORE 16197.344
AT ITER 4283 NEW BEST:: SOT 74792 SOS 26340 HAS SOPS 26340 HAS SOUS 16163 HAS SOUPS 16163 WITH SCORE 16189.34
AT ITER 4288 NEW BEST:: SOT 74792 SOS 26337 HAS SOPS 26337 HAS SOUS 16163 HAS SOUPS 16163 WITH SCORE 16189.337
AT ITER 4296 NEW BEST:: SOT 74792 SOS 26337 HAS SOPS 26337 HAS SOUS 16162 HAS SOUPS 16162 WITH SCORE 16188.337
AT ITER 4300 NEW BEST:: SOT 74792 SOS 26293 HAS SOPS 26293 HAS SOUS 16127 HAS SOUPS 16127 WITH SCORE 16153.293
AT ITER 4345 NEW BEST:: SOT 74779 SOS 26267 HAS SOPS 26267 HAS SOUS 16096 HAS SOUPS 16096 WITH SCORE 16122.267
AT ITER 4350 NEW BEST:: SOT 74702 SOS 26113 HAS SOPS 26113 HAS SOUS 15942 HAS SOUPS 15942 WITH SCORE 15968.113
AT ITER 4417 NEW BEST:: SOT 74692 SOS 26020 HAS SOPS 26020 HAS SOUS 15906 HAS SOUPS 15906 WITH SCORE 15932.02
AT ITER 4465 NEW BEST:: SOT 74671 SOS 25994 HAS SOPS 25994 HAS SOUS 15884 HAS SOUPS 15884 WITH SCORE 15909.994
AT ITER 4495 NEW BEST:: SOT 74608 SOS 25868 HAS SOPS 25868 HAS SOUS 15834 HAS SOUPS 15834 WITH SCORE 15859.868
AT ITER 4543 NEW BEST:: SOT 74618 SOS 25888 HAS SOPS 25888 HAS SOUS 15828 HAS SOUPS 15828 WITH SCORE 15853.888
AT ITER 4581 NEW BEST:: SOT 74612 SOS 25879 HAS SOPS 25879 HAS SOUS 15827 HAS SOUPS 15827 WITH SCORE 15852.879
AT ITER 4582 NEW BEST:: SOT 74609 SOS 25795 HAS SOPS 25795 HAS SOUS 15821 HAS SOUPS 15821 WITH SCORE 15846.795
AT ITER 4645 NEW BEST:: SOT 74590 SOS 25798 HAS SOPS 25798 HAS SOUS 15815 HAS SOUPS 15815 WITH SCORE 15840.798
AT ITER 4684 NEW BEST:: SOT 74590 SOS 25733 HAS SOPS 25733 HAS SOUS 15815 HAS SOUPS 15815 WITH SCORE 15840.733
AT ITER 4687 NEW BEST:: SOT 74574 SOS 25701 HAS SOPS 25701 HAS SOUS 15749 HAS SOUPS 15749 WITH SCORE 15774.701
AT ITER 4696 NEW BEST:: SOT 74574 SOS 25684 HAS SOPS 25684 HAS SOUS 15732 HAS SOUPS 15732 WITH SCORE 15757.684
AT ITER 4719 NEW BEST:: SOT 74571 SOS 25682 HAS SOPS 25682 HAS SOUS 15730 HAS SOUPS 15730 WITH SCORE 15755.682
AT ITER 4753 NEW BEST:: SOT 74561 SOS 25653 HAS SOPS 25653 HAS SOUS 15717 HAS SOUPS 15717 WITH SCORE 15742.653
AT ITER 4754 NEW BEST:: SOT 74545 SOS 25690 HAS SOPS 25690 HAS SOUS 15701 HAS SOUPS 15701 WITH SCORE 15726.69
AT ITER 4778 NEW BEST:: SOT 74529 SOS 25674 HAS SOPS 25674 HAS SOUS 15685 HAS SOUPS 15685 WITH SCORE 15710.674
AT ITER 4797 NEW BEST:: SOT 74526 SOS 25665 HAS SOPS 25665 HAS SOUS 15679 HAS SOUPS 15679 WITH SCORE 15704.665
AT ITER 4804 NEW BEST:: SOT 74526 SOS 25639 HAS SOPS 25639 HAS SOUS 15679 HAS SOUPS 15679 WITH SCORE 15704.639
AT ITER 4836 NEW BEST:: SOT 74526 SOS 25631 HAS SOPS 25631 HAS SOUS 15671 HAS SOUPS 15671 WITH SCORE 15696.631
AT ITER 4846 NEW BEST:: SOT 74525 SOS 25666 HAS SOPS 25666 HAS SOUS 15670 HAS SOUPS 15670 WITH SCORE 15695.666
AT ITER 4848 NEW BEST:: SOT 74519 SOS 25654 HAS SOPS 25654 HAS SOUS 15664 HAS SOUPS 15664 WITH SCORE 15689.654
AT ITER 4912 NEW BEST:: SOT 74518 SOS 25652 HAS SOPS 25652 HAS SOUS 15662 HAS SOUPS 15662 WITH SCORE 15687.652
AT ITER 4945 NEW BEST:: SOT 74491 SOS 25659 HAS SOPS 25659 HAS SOUS 15658 HAS SOUPS 15658 WITH SCORE 15683.659
AT ITER 4962 NEW BEST:: SOT 74478 SOS 25619 HAS SOPS 25619 HAS SOUS 15618 HAS SOUPS 15618 WITH SCORE 15643.619
AT ITER 5017 NEW BEST:: SOT 74473 SOS 25614 HAS SOPS 25614 HAS SOUS 15613 HAS SOUPS 15613 WITH SCORE 15638.614
AT ITER 5055 NEW BEST:: SOT 74467 SOS 25602 HAS SOPS 25602 HAS SOUS 15601 HAS SOUPS 15601 WITH SCORE 15626.602
AT ITER 5056 NEW BEST:: SOT 74467 SOS 25588 HAS SOPS 25588 HAS SOUS 15587 HAS SOUPS 15587 WITH SCORE 15612.588
AT ITER 5093 NEW BEST:: SOT 74468 SOS 25590 HAS SOPS 25590 HAS SOUS 15552 HAS SOUPS 15552 WITH SCORE 15577.59
AT ITER 5134 NEW BEST:: SOT 74455 SOS 25603 HAS SOPS 25603 HAS SOUS 15539 HAS SOUPS 15539 WITH SCORE 15564.603
AT ITER 5145 NEW BEST:: SOT 74453 SOS 25581 HAS SOPS 25581 HAS SOUS 15537 HAS SOUPS 15537 WITH SCORE 15562.581
AT ITER 5149 NEW BEST:: SOT 74449 SOS 25573 HAS SOPS 25573 HAS SOUS 15529 HAS SOUPS 15529 WITH SCORE 15554.573
AT ITER 5155 NEW BEST:: SOT 74463 SOS 25560 HAS SOPS 25560 HAS SOUS 15529 HAS SOUPS 15529 WITH SCORE 15554.56
AT ITER 5157 NEW BEST:: SOT 74467 SOS 25535 HAS SOPS 25535 HAS SOUS 15504 HAS SOUPS 15504 WITH SCORE 15529.535
AT ITER 5191 NEW BEST:: SOT 74467 SOS 25532 HAS SOPS 25532 HAS SOUS 15504 HAS SOUPS 15504 WITH SCORE 15529.532
AT ITER 5226 NEW BEST:: SOT 74461 SOS 25529 HAS SOPS 25529 HAS SOUS 15492 HAS SOUPS 15492 WITH SCORE 15517.529
AT ITER 5248 NEW BEST:: SOT 74461 SOS 25529 HAS SOPS 25529 HAS SOUS 15490 HAS SOUPS 15490 WITH SCORE 15515.529
AT ITER 5318 NEW BEST:: SOT 74462 SOS 25530 HAS SOPS 25530 HAS SOUS 15478 HAS SOUPS 15478 WITH SCORE 15503.53
AT ITER 5324 NEW BEST:: SOT 74460 SOS 25526 HAS SOPS 25526 HAS SOUS 15474 HAS SOUPS 15474 WITH SCORE 15499.526
AT ITER 5358 NEW BEST:: SOT 74429 SOS 25495 HAS SOPS 25495 HAS SOUS 15448 HAS SOUPS 15448 WITH SCORE 15473.495
AT ITER 5385 NEW BEST:: SOT 74427 SOS 25499 HAS SOPS 25499 HAS SOUS 15444 HAS SOUPS 15444 WITH SCORE 15469.499
AT ITER 5390 NEW BEST:: SOT 74427 SOS 25499 HAS SOPS 25499 HAS SOUS 15437 HAS SOUPS 15437 WITH SCORE 15462.499
AT ITER 5397 NEW BEST:: SOT 74427 SOS 25495 HAS SOPS 25495 HAS SOUS 15437 HAS SOUPS 15437 WITH SCORE 15462.495
AT ITER 5410 NEW BEST:: SOT 74405 SOS 25451 HAS SOPS 25451 HAS SOUS 15432 HAS SOUPS 15432 WITH SCORE 15457.451
AT ITER 5411 NEW BEST:: SOT 74382 SOS 25409 HAS SOPS 25409 HAS SOUS 15405 HAS SOUPS 15405 WITH SCORE 15430.409
AT ITER 5419 NEW BEST:: SOT 74375 SOS 25402 HAS SOPS 25402 HAS SOUS 15399 HAS SOUPS 15399 WITH SCORE 15424.402
AT ITER 5476 NEW BEST:: SOT 74364 SOS 25392 HAS SOPS 25392 HAS SOUS 15389 HAS SOUPS 15389 WITH SCORE 15414.392
AT ITER 5499 NEW BEST:: SOT 74364 SOS 25114 HAS SOPS 25114 HAS SOUS 15376 HAS SOUPS 15376 WITH SCORE 15401.114
AT ITER 5501 NEW BEST:: SOT 74357 SOS 25107 HAS SOPS 25107 HAS SOUS 15369 HAS SOUPS 15369 WITH SCORE 15394.107
AT ITER 5603 NEW BEST:: SOT 74357 SOS 25106 HAS SOPS 25106 HAS SOUS 15368 HAS SOUPS 15368 WITH SCORE 15393.106
AT ITER 5628 NEW BEST:: SOT 74355 SOS 25102 HAS SOPS 25102 HAS SOUS 15366 HAS SOUPS 15366 WITH SCORE 15391.102
AT ITER 5630 NEW BEST:: SOT 74348 SOS 25062 HAS SOPS 25062 HAS SOUS 15352 HAS SOUPS 15352 WITH SCORE 15377.062
AT ITER 5635 NEW BEST:: SOT 74344 SOS 25054 HAS SOPS 25054 HAS SOUS 15351 HAS SOUPS 15351 WITH SCORE 15376.054
AT ITER 5640 NEW BEST:: SOT 74311 SOS 25022 HAS SOPS 25022 HAS SOUS 15312 HAS SOUPS 15312 WITH SCORE 15337.022
AT ITER 5664 NEW BEST:: SOT 74283 SOS 25085 HAS SOPS 25085 HAS SOUS 15272 HAS SOUPS 15272 WITH SCORE 15297.085
AT ITER 5667 NEW BEST:: SOT 74282 SOS 25084 HAS SOPS 25084 HAS SOUS 15270 HAS SOUPS 15270 WITH SCORE 15295.084
AT ITER 5715 NEW BEST:: SOT 74259 SOS 25061 HAS SOPS 25061 HAS SOUS 15224 HAS SOUPS 15224 WITH SCORE 15249.061
AT ITER 5718 NEW BEST:: SOT 74266 SOS 25022 HAS SOPS 25022 HAS SOUS 15218 HAS SOUPS 15218 WITH SCORE 15243.022
AT ITER 5719 NEW BEST:: SOT 74260 SOS 25010 HAS SOPS 25010 HAS SOUS 15206 HAS SOUPS 15206 WITH SCORE 15231.01
AT ITER 5730 NEW BEST:: SOT 74228 SOS 24961 HAS SOPS 24961 HAS SOUS 15156 HAS SOUPS 15156 WITH SCORE 15180.961
AT ITER 5779 NEW BEST:: SOT 74227 SOS 24972 HAS SOPS 24972 HAS SOUS 15153 HAS SOUPS 15153 WITH SCORE 15177.972
AT ITER 5824 NEW BEST:: SOT 74223 SOS 24968 HAS SOPS 24968 HAS SOUS 15145 HAS SOUPS 15145 WITH SCORE 15169.968
AT ITER 5833 NEW BEST:: SOT 74234 SOS 24958 HAS SOPS 24958 HAS SOUS 15131 HAS SOUPS 15131 WITH SCORE 15155.958
AT ITER 5840 NEW BEST:: SOT 74199 SOS 24130 HAS SOPS 24130 HAS SOUS 15096 HAS SOUPS 15096 WITH SCORE 15120.13
AT ITER 5842 NEW BEST:: SOT 74199 SOS 24125 HAS SOPS 24125 HAS SOUS 15096 HAS SOUPS 15096 WITH SCORE 15120.125
AT ITER 5850 NEW BEST:: SOT 74157 SOS 24062 HAS SOPS 24062 HAS SOUS 15038 HAS SOUPS 15038 WITH SCORE 15062.062
AT ITER 5876 NEW BEST:: SOT 74157 SOS 24028 HAS SOPS 24028 HAS SOUS 15038 HAS SOUPS 15038 WITH SCORE 15062.028
AT ITER 5930 NEW BEST:: SOT 74146 SOS 24013 HAS SOPS 24013 HAS SOUS 15038 HAS SOUPS 15038 WITH SCORE 15062.013
AT ITER 5954 NEW BEST:: SOT 74146 SOS 23958 HAS SOPS 23958 HAS SOUS 14983 HAS SOUPS 14983 WITH SCORE 15006.958
AT ITER 5979 NEW BEST:: SOT 74133 SOS 23932 HAS SOPS 23932 HAS SOUS 14957 HAS SOUPS 14957 WITH SCORE 14980.932
AT ITER 5984 NEW BEST:: SOT 74131 SOS 23942 HAS SOPS 23942 HAS SOUS 14956 HAS SOUPS 14956 WITH SCORE 14979.942
AT ITER 6000 NEW BEST:: SOT 74127 SOS 24003 HAS SOPS 24003 HAS SOUS 14948 HAS SOUPS 14948 WITH SCORE 14972.003
AT ITER 6029 NEW BEST:: SOT 74127 SOS 24002 HAS SOPS 24002 HAS SOUS 14947 HAS SOUPS 14947 WITH SCORE 14971.002
AT ITER 6051 NEW BEST:: SOT 74117 SOS 24006 HAS SOPS 24006 HAS SOUS 14920 HAS SOUPS 14920 WITH SCORE 14944.006
AT ITER 6066 NEW BEST:: SOT 74117 SOS 24037 HAS SOPS 24037 HAS SOUS 14904 HAS SOUPS 14904 WITH SCORE 14928.037
AT ITER 6074 NEW BEST:: SOT 74116 SOS 24045 HAS SOPS 24045 HAS SOUS 14902 HAS SOUPS 14902 WITH SCORE 14926.045
AT ITER 6091 NEW BEST:: SOT 74082 SOS 23971 HAS SOPS 23971 HAS SOUS 14834 HAS SOUPS 14834 WITH SCORE 14857.971
AT ITER 6164 NEW BEST:: SOT 74082 SOS 23961 HAS SOPS 23961 HAS SOUS 14834 HAS SOUPS 14834 WITH SCORE 14857.961
AT ITER 6166 NEW BEST:: SOT 74093 SOS 23976 HAS SOPS 23976 HAS SOUS 14823 HAS SOUPS 14823 WITH SCORE 14846.976
AT ITER 6181 NEW BEST:: SOT 74089 SOS 23973 HAS SOPS 23973 HAS SOUS 14815 HAS SOUPS 14815 WITH SCORE 14838.973
AT ITER 6193 NEW BEST:: SOT 74055 SOS 23918 HAS SOPS 23918 HAS SOUS 14784 HAS SOUPS 14784 WITH SCORE 14807.918
AT ITER 6194 NEW BEST:: SOT 74054 SOS 23849 HAS SOPS 23849 HAS SOUS 14782 HAS SOUPS 14782 WITH SCORE 14805.849
AT ITER 6231 NEW BEST:: SOT 74051 SOS 23843 HAS SOPS 23843 HAS SOUS 14777 HAS SOUPS 14777 WITH SCORE 14800.843
AT ITER 6281 NEW BEST:: SOT 74050 SOS 23821 HAS SOPS 23821 HAS SOUS 14775 HAS SOUPS 14775 WITH SCORE 14798.821
AT ITER 6335 NEW BEST:: SOT 74021 SOS 23792 HAS SOPS 23792 HAS SOUS 14745 HAS SOUPS 14745 WITH SCORE 14768.792
AT ITER 6475 NEW BEST:: SOT 74020 SOS 23790 HAS SOPS 23790 HAS SOUS 14742 HAS SOUPS 14742 WITH SCORE 14765.79
AT ITER 6493 NEW BEST:: SOT 74009 SOS 23779 HAS SOPS 23779 HAS SOUS 14731 HAS SOUPS 14731 WITH SCORE 14754.779
AT ITER 6523 NEW BEST:: SOT 74009 SOS 23779 HAS SOPS 23779 HAS SOUS 14715 HAS SOUPS 14715 WITH SCORE 14738.779
AT ITER 6529 NEW BEST:: SOT 74009 SOS 23777 HAS SOPS 23777 HAS SOUS 14715 HAS SOUPS 14715 WITH SCORE 14738.777
AT ITER 6567 NEW BEST:: SOT 73983 SOS 23751 HAS SOPS 23751 HAS SOUS 14689 HAS SOUPS 14689 WITH SCORE 14712.751
AT ITER 6616 NEW BEST:: SOT 73989 SOS 23784 HAS SOPS 23784 HAS SOUS 14680 HAS SOUPS 14680 WITH SCORE 14703.784
AT ITER 6667 NEW BEST:: SOT 73986 SOS 23763 HAS SOPS 23763 HAS SOUS 14662 HAS SOUPS 14662 WITH SCORE 14685.763
AT ITER 6670 NEW BEST:: SOT 73997 SOS 23785 HAS SOPS 23785 HAS SOUS 14620 HAS SOUPS 14620 WITH SCORE 14643.785
AT ITER 6705 NEW BEST:: SOT 73990 SOS 23778 HAS SOPS 23778 HAS SOUS 14613 HAS SOUPS 14613 WITH SCORE 14636.778
AT ITER 6710 NEW BEST:: SOT 73985 SOS 23773 HAS SOPS 23773 HAS SOUS 14603 HAS SOUPS 14603 WITH SCORE 14626.773
AT ITER 6802 NEW BEST:: SOT 73979 SOS 23706 HAS SOPS 23706 HAS SOUS 14591 HAS SOUPS 14591 WITH SCORE 14614.706
AT ITER 6828 NEW BEST:: SOT 73956 SOS 23660 HAS SOPS 23660 HAS SOUS 14562 HAS SOUPS 14562 WITH SCORE 14585.66
AT ITER 6830 NEW BEST:: SOT 73956 SOS 23660 HAS SOPS 23660 HAS SOUS 14549 HAS SOUPS 14549 WITH SCORE 14572.66
AT ITER 6834 NEW BEST:: SOT 73973 SOS 23677 HAS SOPS 23677 HAS SOUS 14542 HAS SOUPS 14542 WITH SCORE 14565.677
AT ITER 6837 NEW BEST:: SOT 73951 SOS 23655 HAS SOPS 23655 HAS SOUS 14498 HAS SOUPS 14498 WITH SCORE 14521.655
AT ITER 6851 NEW BEST:: SOT 73949 SOS 23653 HAS SOPS 23653 HAS SOUS 14494 HAS SOUPS 14494 WITH SCORE 14517.653
AT ITER 6870 NEW BEST:: SOT 73949 SOS 23596 HAS SOPS 23596 HAS SOUS 14494 HAS SOUPS 14494 WITH SCORE 14517.596
AT ITER 6873 NEW BEST:: SOT 73933 SOS 23580 HAS SOPS 23580 HAS SOUS 14494 HAS SOUPS 14494 WITH SCORE 14517.58
AT ITER 6884 NEW BEST:: SOT 73933 SOS 23570 HAS SOPS 23570 HAS SOUS 14494 HAS SOUPS 14494 WITH SCORE 14517.57
AT ITER 6913 NEW BEST:: SOT 73931 SOS 23566 HAS SOPS 23566 HAS SOUS 14492 HAS SOUPS 14492 WITH SCORE 14515.566
AT ITER 6920 NEW BEST:: SOT 73931 SOS 23559 HAS SOPS 23559 HAS SOUS 14492 HAS SOUPS 14492 WITH SCORE 14515.559
AT ITER 6943 NEW BEST:: SOT 73927 SOS 23551 HAS SOPS 23551 HAS SOUS 14484 HAS SOUPS 14484 WITH SCORE 14507.551
AT ITER 6951 NEW BEST:: SOT 73895 SOS 23487 HAS SOPS 23487 HAS SOUS 14449 HAS SOUPS 14449 WITH SCORE 14472.487
AT ITER 6957 NEW BEST:: SOT 73840 SOS 23425 HAS SOPS 23425 HAS SOUS 14431 HAS SOUPS 14431 WITH SCORE 14454.425
AT ITER 6964 NEW BEST:: SOT 73840 SOS 23403 HAS SOPS 23403 HAS SOUS 14431 HAS SOUPS 14431 WITH SCORE 14454.403
AT ITER 6968 NEW BEST:: SOT 73836 SOS 23395 HAS SOPS 23395 HAS SOUS 14423 HAS SOUPS 14423 WITH SCORE 14446.395
AT ITER 6970 NEW BEST:: SOT 73826 SOS 23375 HAS SOPS 23375 HAS SOUS 14413 HAS SOUPS 14413 WITH SCORE 14436.375
AT ITER 6977 NEW BEST:: SOT 73819 SOS 23361 HAS SOPS 23361 HAS SOUS 14407 HAS SOUPS 14407 WITH SCORE 14430.361
AT ITER 6990 NEW BEST:: SOT 73818 SOS 23359 HAS SOPS 23359 HAS SOUS 14405 HAS SOUPS 14405 WITH SCORE 14428.359
AT ITER 6999 NEW BEST:: SOT 73818 SOS 23350 HAS SOPS 23350 HAS SOUS 14405 HAS SOUPS 14405 WITH SCORE 14428.35
AT ITER 7005 NEW BEST:: SOT 73806 SOS 23338 HAS SOPS 23338 HAS SOUS 14403 HAS SOUPS 14403 WITH SCORE 14426.338
AT ITER 7090 NEW BEST:: SOT 73801 SOS 23334 HAS SOPS 23334 HAS SOUS 14393 HAS SOUPS 14393 WITH SCORE 14416.334
AT ITER 7130 NEW BEST:: SOT 73670 SOS 23246 HAS SOPS 23246 HAS SOUS 14326 HAS SOUPS 14326 WITH SCORE 14349.246
AT ITER 7139 NEW BEST:: SOT 73658 SOS 23222 HAS SOPS 23222 HAS SOUS 14314 HAS SOUPS 14314 WITH SCORE 14337.222
AT ITER 7145 NEW BEST:: SOT 73658 SOS 23222 HAS SOPS 23222 HAS SOUS 14313 HAS SOUPS 14313 WITH SCORE 14336.222
AT ITER 7162 NEW BEST:: SOT 73658 SOS 23222 HAS SOPS 23222 HAS SOUS 14298 HAS SOUPS 14298 WITH SCORE 14321.222
AT ITER 7245 NEW BEST:: SOT 73649 SOS 23204 HAS SOPS 23204 HAS SOUS 14280 HAS SOUPS 14280 WITH SCORE 14303.204
AT ITER 7262 NEW BEST:: SOT 73646 SOS 23190 HAS SOPS 23190 HAS SOUS 14277 HAS SOUPS 14277 WITH SCORE 14300.19
AT ITER 7326 NEW BEST:: SOT 73644 SOS 23164 HAS SOPS 23164 HAS SOUS 14273 HAS SOUPS 14273 WITH SCORE 14296.164
AT ITER 7390 NEW BEST:: SOT 73635 SOS 23146 HAS SOPS 23146 HAS SOUS 14269 HAS SOUPS 14269 WITH SCORE 14292.146
AT ITER 7392 NEW BEST:: SOT 73635 SOS 23116 HAS SOPS 23116 HAS SOUS 14269 HAS SOUPS 14269 WITH SCORE 14292.116
AT ITER 7403 NEW BEST:: SOT 73633 SOS 23115 HAS SOPS 23115 HAS SOUS 14266 HAS SOUPS 14266 WITH SCORE 14289.115
AT ITER 7416 NEW BEST:: SOT 73626 SOS 23066 HAS SOPS 23066 HAS SOUS 14246 HAS SOUPS 14246 WITH SCORE 14269.066
AT ITER 7420 NEW BEST:: SOT 73642 SOS 23082 HAS SOPS 23082 HAS SOUS 14245 HAS SOUPS 14245 WITH SCORE 14268.082
AT ITER 7425 NEW BEST:: SOT 73658 SOS 23114 HAS SOPS 23114 HAS SOUS 14241 HAS SOUPS 14241 WITH SCORE 14264.114
AT ITER 7426 NEW BEST:: SOT 73664 SOS 23111 HAS SOPS 23111 HAS SOUS 14237 HAS SOUPS 14237 WITH SCORE 14260.111
AT ITER 7431 NEW BEST:: SOT 73663 SOS 23110 HAS SOPS 23110 HAS SOUS 14235 HAS SOUPS 14235 WITH SCORE 14258.11
AT ITER 7448 NEW BEST:: SOT 73658 SOS 23100 HAS SOPS 23100 HAS SOUS 14220 HAS SOUPS 14220 WITH SCORE 14243.1
AT ITER 7460 NEW BEST:: SOT 73656 SOS 23096 HAS SOPS 23096 HAS SOUS 14216 HAS SOUPS 14216 WITH SCORE 14239.096
AT ITER 7503 NEW BEST:: SOT 73632 SOS 23124 HAS SOPS 23124 HAS SOUS 14204 HAS SOUPS 14204 WITH SCORE 14227.124
AT ITER 7524 NEW BEST:: SOT 73600 SOS 23070 HAS SOPS 23070 HAS SOUS 14140 HAS SOUPS 14140 WITH SCORE 14163.07
AT ITER 7555 NEW BEST:: SOT 73587 SOS 23044 HAS SOPS 23044 HAS SOUS 14114 HAS SOUPS 14114 WITH SCORE 14137.044
AT ITER 7633 NEW BEST:: SOT 73587 SOS 23038 HAS SOPS 23038 HAS SOUS 14114 HAS SOUPS 14114 WITH SCORE 14137.038
AT ITER 7651 NEW BEST:: SOT 73588 SOS 23035 HAS SOPS 23035 HAS SOUS 14107 HAS SOUPS 14107 WITH SCORE 14130.035
AT ITER 7699 NEW BEST:: SOT 73583 SOS 23030 HAS SOPS 23030 HAS SOUS 14102 HAS SOUPS 14102 WITH SCORE 14125.03
AT ITER 7720 NEW BEST:: SOT 73581 SOS 23024 HAS SOPS 23024 HAS SOUS 14096 HAS SOUPS 14096 WITH SCORE 14119.024
AT ITER 7731 NEW BEST:: SOT 73580 SOS 23022 HAS SOPS 23022 HAS SOUS 14093 HAS SOUPS 14093 WITH SCORE 14116.022
AT ITER 7747 NEW BEST:: SOT 73568 SOS 22983 HAS SOPS 22983 HAS SOUS 14069 HAS SOUPS 14069 WITH SCORE 14091.983
AT ITER 7764 NEW BEST:: SOT 73566 SOS 22979 HAS SOPS 22979 HAS SOUS 14063 HAS SOUPS 14063 WITH SCORE 14085.979
AT ITER 7765 NEW BEST:: SOT 73562 SOS 22967 HAS SOPS 22967 HAS SOUS 14055 HAS SOUPS 14055 WITH SCORE 14077.967
AT ITER 7768 NEW BEST:: SOT 73555 SOS 22953 HAS SOPS 22953 HAS SOUS 14048 HAS SOUPS 14048 WITH SCORE 14070.953
AT ITER 7788 NEW BEST:: SOT 73547 SOS 22937 HAS SOPS 22937 HAS SOUS 14041 HAS SOUPS 14041 WITH SCORE 14063.937
AT ITER 7797 NEW BEST:: SOT 73544 SOS 22930 HAS SOPS 22930 HAS SOUS 14037 HAS SOUPS 14037 WITH SCORE 14059.93
AT ITER 7843 NEW BEST:: SOT 73544 SOS 22928 HAS SOPS 22928 HAS SOUS 14035 HAS SOUPS 14035 WITH SCORE 14057.928
AT ITER 7846 NEW BEST:: SOT 73525 SOS 22881 HAS SOPS 22881 HAS SOUS 14011 HAS SOUPS 14011 WITH SCORE 14033.881
AT ITER 7887 NEW BEST:: SOT 73526 SOS 22873 HAS SOPS 22873 HAS SOUS 14003 HAS SOUPS 14003 WITH SCORE 14025.873
AT ITER 7917 NEW BEST:: SOT 73525 SOS 22871 HAS SOPS 22871 HAS SOUS 14001 HAS SOUPS 14001 WITH SCORE 14023.871
AT ITER 7950 NEW BEST:: SOT 73517 SOS 22857 HAS SOPS 22857 HAS SOUS 13997 HAS SOUPS 13997 WITH SCORE 14019.857
AT ITER 7966 NEW BEST:: SOT 73517 SOS 22857 HAS SOPS 22857 HAS SOUS 13995 HAS SOUPS 13995 WITH SCORE 14017.857
AT ITER 8000 NEW BEST:: SOT 73515 SOS 22876 HAS SOPS 22876 HAS SOUS 13991 HAS SOUPS 13991 WITH SCORE 14013.876
AT ITER 8009 NEW BEST:: SOT 73525 SOS 22866 HAS SOPS 22866 HAS SOUS 13991 HAS SOUPS 13991 WITH SCORE 14013.866
AT ITER 8012 NEW BEST:: SOT 73524 SOS 22864 HAS SOPS 22864 HAS SOUS 13972 HAS SOUPS 13972 WITH SCORE 13994.864
AT ITER 8029 NEW BEST:: SOT 73516 SOS 22863 HAS SOPS 22863 HAS SOUS 13972 HAS SOUPS 13972 WITH SCORE 13994.863
AT ITER 8058 NEW BEST:: SOT 73507 SOS 22854 HAS SOPS 22854 HAS SOUS 13954 HAS SOUPS 13954 WITH SCORE 13976.854
AT ITER 8066 NEW BEST:: SOT 73505 SOS 22814 HAS SOPS 22814 HAS SOUS 13950 HAS SOUPS 13950 WITH SCORE 13972.814
AT ITER 8102 NEW BEST:: SOT 73561 SOS 22851 HAS SOPS 22851 HAS SOUS 13947 HAS SOUPS 13947 WITH SCORE 13969.851
AT ITER 8105 NEW BEST:: SOT 73562 SOS 22849 HAS SOPS 22849 HAS SOUS 13945 HAS SOUPS 13945 WITH SCORE 13967.849
AT ITER 8106 NEW BEST:: SOT 73535 SOS 22805 HAS SOPS 22805 HAS SOUS 13908 HAS SOUPS 13908 WITH SCORE 13930.805
AT ITER 8129 NEW BEST:: SOT 73538 SOS 22791 HAS SOPS 22791 HAS SOUS 13902 HAS SOUPS 13902 WITH SCORE 13924.791
AT ITER 8264 NEW BEST:: SOT 73525 SOS 22791 HAS SOPS 22791 HAS SOUS 13887 HAS SOUPS 13887 WITH SCORE 13909.791
AT ITER 8289 NEW BEST:: SOT 73525 SOS 22788 HAS SOPS 22788 HAS SOUS 13887 HAS SOUPS 13887 WITH SCORE 13909.788
AT ITER 8343 NEW BEST:: SOT 73518 SOS 22767 HAS SOPS 22767 HAS SOUS 13873 HAS SOUPS 13873 WITH SCORE 13895.767
AT ITER 8365 NEW BEST:: SOT 73512 SOS 22771 HAS SOPS 22771 HAS SOUS 13852 HAS SOUPS 13852 WITH SCORE 13874.771
AT ITER 8368 NEW BEST:: SOT 73514 SOS 22768 HAS SOPS 22768 HAS SOUS 13849 HAS SOUPS 13849 WITH SCORE 13871.768
AT ITER 8377 NEW BEST:: SOT 73514 SOS 22762 HAS SOPS 22762 HAS SOUS 13849 HAS SOUPS 13849 WITH SCORE 13871.762
AT ITER 8425 NEW BEST:: SOT 73508 SOS 22750 HAS SOPS 22750 HAS SOUS 13843 HAS SOUPS 13843 WITH SCORE 13865.75
AT ITER 8436 NEW BEST:: SOT 73493 SOS 22739 HAS SOPS 22739 HAS SOUS 13831 HAS SOUPS 13831 WITH SCORE 13853.739
AT ITER 8483 NEW BEST:: SOT 73490 SOS 22736 HAS SOPS 22736 HAS SOUS 13825 HAS SOUPS 13825 WITH SCORE 13847.736
AT ITER 8507 NEW BEST:: SOT 73468 SOS 22703 HAS SOPS 22703 HAS SOUS 13793 HAS SOUPS 13793 WITH SCORE 13815.703
AT ITER 8553 NEW BEST:: SOT 73458 SOS 22690 HAS SOPS 22690 HAS SOUS 13773 HAS SOUPS 13773 WITH SCORE 13795.69
AT ITER 8566 NEW BEST:: SOT 73452 SOS 22666 HAS SOPS 22666 HAS SOUS 13761 HAS SOUPS 13761 WITH SCORE 13783.666
AT ITER 8606 NEW BEST:: SOT 73442 SOS 22646 HAS SOPS 22646 HAS SOUS 13736 HAS SOUPS 13736 WITH SCORE 13758.646
AT ITER 8609 NEW BEST:: SOT 73441 SOS 22637 HAS SOPS 22637 HAS SOUS 13734 HAS SOUPS 13734 WITH SCORE 13756.637
AT ITER 8615 NEW BEST:: SOT 73447 SOS 22641 HAS SOPS 22641 HAS SOUS 13713 HAS SOUPS 13713 WITH SCORE 13735.641
AT ITER 8619 NEW BEST:: SOT 73444 SOS 22635 HAS SOPS 22635 HAS SOUS 13707 HAS SOUPS 13707 WITH SCORE 13729.635
AT ITER 8689 NEW BEST:: SOT 73431 SOS 22624 HAS SOPS 22624 HAS SOUS 13707 HAS SOUPS 13707 WITH SCORE 13729.624
AT ITER 8744 NEW BEST:: SOT 73430 SOS 22626 HAS SOPS 22626 HAS SOUS 13706 HAS SOUPS 13706 WITH SCORE 13728.626
AT ITER 8802 NEW BEST:: SOT 73430 SOS 22625 HAS SOPS 22625 HAS SOUS 13706 HAS SOUPS 13706 WITH SCORE 13728.625
AT ITER 8807 NEW BEST:: SOT 73430 SOS 22622 HAS SOPS 22622 HAS SOUS 13703 HAS SOUPS 13703 WITH SCORE 13725.622
AT ITER 8844 NEW BEST:: SOT 73430 SOS 22614 HAS SOPS 22614 HAS SOUS 13699 HAS SOUPS 13699 WITH SCORE 13721.614
AT ITER 8847 NEW BEST:: SOT 73425 SOS 22599 HAS SOPS 22599 HAS SOUS 13689 HAS SOUPS 13689 WITH SCORE 13711.599
AT ITER 8851 NEW BEST:: SOT 73428 SOS 22631 HAS SOPS 22631 HAS SOUS 13687 HAS SOUPS 13687 WITH SCORE 13709.631
AT ITER 8949 NEW BEST:: SOT 73427 SOS 22652 HAS SOPS 22652 HAS SOUS 13685 HAS SOUPS 13685 WITH SCORE 13707.652
AT ITER 8976 NEW BEST:: SOT 73407 SOS 22656 HAS SOPS 22656 HAS SOUS 13658 HAS SOUPS 13658 WITH SCORE 13680.656
AT ITER 8977 NEW BEST:: SOT 73406 SOS 22654 HAS SOPS 22654 HAS SOUS 13656 HAS SOUPS 13656 WITH SCORE 13678.654
AT ITER 9025 NEW BEST:: SOT 73403 SOS 22641 HAS SOPS 22641 HAS SOUS 13650 HAS SOUPS 13650 WITH SCORE 13672.641
AT ITER 9039 NEW BEST:: SOT 73403 SOS 22641 HAS SOPS 22641 HAS SOUS 13648 HAS SOUPS 13648 WITH SCORE 13670.641
AT ITER 9059 NEW BEST:: SOT 73385 SOS 22587 HAS SOPS 22587 HAS SOUS 13612 HAS SOUPS 13612 WITH SCORE 13634.587
AT ITER 9068 NEW BEST:: SOT 73380 SOS 22578 HAS SOPS 22578 HAS SOUS 13606 HAS SOUPS 13606 WITH SCORE 13628.578
AT ITER 9096 NEW BEST:: SOT 73379 SOS 22582 HAS SOPS 22582 HAS SOUS 13605 HAS SOUPS 13605 WITH SCORE 13627.582
AT ITER 9147 NEW BEST:: SOT 73314 SOS 22517 HAS SOPS 22517 HAS SOUS 13568 HAS SOUPS 13568 WITH SCORE 13590.517
AT ITER 9205 NEW BEST:: SOT 73313 SOS 22516 HAS SOPS 22516 HAS SOUS 13567 HAS SOUPS 13567 WITH SCORE 13589.516
AT ITER 9243 NEW BEST:: SOT 73311 SOS 22512 HAS SOPS 22512 HAS SOUS 13563 HAS SOUPS 13563 WITH SCORE 13585.512
AT ITER 9245 NEW BEST:: SOT 73311 SOS 22500 HAS SOPS 22500 HAS SOUS 13563 HAS SOUPS 13563 WITH SCORE 13585.5
AT ITER 9253 NEW BEST:: SOT 73311 SOS 22500 HAS SOPS 22500 HAS SOUS 13556 HAS SOUPS 13556 WITH SCORE 13578.5
AT ITER 9277 NEW BEST:: SOT 73305 SOS 22456 HAS SOPS 22456 HAS SOUS 13539 HAS SOUPS 13539 WITH SCORE 13561.456
AT ITER 9285 NEW BEST:: SOT 73300 SOS 22446 HAS SOPS 22446 HAS SOUS 13529 HAS SOUPS 13529 WITH SCORE 13551.446
AT ITER 9316 NEW BEST:: SOT 73278 SOS 22402 HAS SOPS 22402 HAS SOUS 13485 HAS SOUPS 13485 WITH SCORE 13507.402
AT ITER 9383 NEW BEST:: SOT 73276 SOS 22398 HAS SOPS 22398 HAS SOUS 13483 HAS SOUPS 13483 WITH SCORE 13505.398
AT ITER 9394 NEW BEST:: SOT 73276 SOS 22395 HAS SOPS 22395 HAS SOUS 13483 HAS SOUPS 13483 WITH SCORE 13505.395
AT ITER 9403 NEW BEST:: SOT 73270 SOS 22377 HAS SOPS 22377 HAS SOUS 13471 HAS SOUPS 13471 WITH SCORE 13493.377
AT ITER 9404 NEW BEST:: SOT 73262 SOS 22375 HAS SOPS 22375 HAS SOUS 13462 HAS SOUPS 13462 WITH SCORE 13484.375
AT ITER 9413 NEW BEST:: SOT 73258 SOS 22363 HAS SOPS 22363 HAS SOUS 13454 HAS SOUPS 13454 WITH SCORE 13476.363
AT ITER 9419 NEW BEST:: SOT 73257 SOS 22361 HAS SOPS 22361 HAS SOUS 13452 HAS SOUPS 13452 WITH SCORE 13474.361
AT ITER 9463 NEW BEST:: SOT 73243 SOS 22296 HAS SOPS 22296 HAS SOUS 13424 HAS SOUPS 13424 WITH SCORE 13446.296
AT ITER 9477 NEW BEST:: SOT 73229 SOS 22303 HAS SOPS 22303 HAS SOUS 13413 HAS SOUPS 13413 WITH SCORE 13435.303
AT ITER 9487 NEW BEST:: SOT 73222 SOS 22295 HAS SOPS 22295 HAS SOUS 13405 HAS SOUPS 13405 WITH SCORE 13427.295
AT ITER 9506 NEW BEST:: SOT 73222 SOS 22276 HAS SOPS 22276 HAS SOUS 13405 HAS SOUPS 13405 WITH SCORE 13427.276
AT ITER 9524 NEW BEST:: SOT 73203 SOS 22254 HAS SOPS 22254 HAS SOUS 13375 HAS SOUPS 13375 WITH SCORE 13397.254
AT ITER 9546 NEW BEST:: SOT 73203 SOS 22254 HAS SOPS 22254 HAS SOUS 13361 HAS SOUPS 13361 WITH SCORE 13383.254
AT ITER 9587 NEW BEST:: SOT 73199 SOS 22250 HAS SOPS 22250 HAS SOUS 13361 HAS SOUPS 13361 WITH SCORE 13383.25
AT ITER 9637 NEW BEST:: SOT 73202 SOS 22253 HAS SOPS 22253 HAS SOUS 13360 HAS SOUPS 13360 WITH SCORE 13382.253
AT ITER 9645 NEW BEST:: SOT 73189 SOS 22227 HAS SOPS 22227 HAS SOUS 13355 HAS SOUPS 13355 WITH SCORE 13377.227
AT ITER 9646 NEW BEST:: SOT 73190 SOS 22229 HAS SOPS 22229 HAS SOUS 13349 HAS SOUPS 13349 WITH SCORE 13371.229
AT ITER 9682 NEW BEST:: SOT 73180 SOS 22208 HAS SOPS 22208 HAS SOUS 13338 HAS SOUPS 13338 WITH SCORE 13360.208
AT ITER 9708 NEW BEST:: SOT 73182 SOS 22212 HAS SOPS 22212 HAS SOUS 13324 HAS SOUPS 13324 WITH SCORE 13346.212
AT ITER 9732 NEW BEST:: SOT 73178 SOS 22209 HAS SOPS 22209 HAS SOUS 13320 HAS SOUPS 13320 WITH SCORE 13342.209
AT ITER 9746 NEW BEST:: SOT 73178 SOS 22208 HAS SOPS 22208 HAS SOUS 13319 HAS SOUPS 13319 WITH SCORE 13341.208
AT ITER 9787 NEW BEST:: SOT 73173 SOS 22198 HAS SOPS 22198 HAS SOUS 13309 HAS SOUPS 13309 WITH SCORE 13331.198
AT ITER 9883 NEW BEST:: SOT 73158 SOS 22199 HAS SOPS 22199 HAS SOUS 13273 HAS SOUPS 13273 WITH SCORE 13295.199
AT ITER 9902 NEW BEST:: SOT 73157 SOS 22197 HAS SOPS 22197 HAS SOUS 13272 HAS SOUPS 13272 WITH SCORE 13294.197
AT ITER 9905 NEW BEST:: SOT 73155 SOS 22193 HAS SOPS 22193 HAS SOUS 13270 HAS SOUPS 13270 WITH SCORE 13292.193
AT ITER 9908 NEW BEST:: SOT 73154 SOS 22191 HAS SOPS 22191 HAS SOUS 13266 HAS SOUPS 13266 WITH SCORE 13288.191
AT ITER 9938 NEW BEST:: SOT 73153 SOS 22189 HAS SOPS 22189 HAS SOUS 13263 HAS SOUPS 13263 WITH SCORE 13285.189
AT ITER 9962 NEW BEST:: SOT 73145 SOS 22185 HAS SOPS 22185 HAS SOUS 13255 HAS SOUPS 13255 WITH SCORE 13277.185
AT ITER 9981 NEW BEST:: SOT 73142 SOS 22179 HAS SOPS 22179 HAS SOUS 13249 HAS SOUPS 13249 WITH SCORE 13271.179

BK_TIME_CONFINEMENT_REACHED

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

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="DiscoveryGPU-PT-12b"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is DiscoveryGPU-PT-12b, 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 r063-tajo-158922807900696"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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