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.r131-smll-167819407500392.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 DiscoveryGPU-PT-12b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819407500392
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 492K
-rw-r--r-- 1 mcc users 7.0K Feb 25 13:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 13:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 13:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 13:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.1K Feb 25 13:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 13:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 13:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 13:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 89K Mar 5 18:22 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 1679899940842

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=DiscoveryGPU-PT-12b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 12b
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: 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 91825 SOS 43780 HAS SOPS 43780 HAS SOUS 38788 HAS SOUPS 38788 WITH SCORE 38831.78
AT ITER 4 NEW BEST:: SOT 91716 SOS 43652 HAS SOPS 43652 HAS SOUS 38679 HAS SOUPS 38679 WITH SCORE 38722.652
AT ITER 5 NEW BEST:: SOT 91566 SOS 43427 HAS SOPS 43427 HAS SOUS 38454 HAS SOUPS 38454 WITH SCORE 38497.427
AT ITER 6 NEW BEST:: SOT 88016 SOS 44450 HAS SOPS 44450 HAS SOUS 35130 HAS SOUPS 35130 WITH SCORE 35174.45
AT ITER 10 NEW BEST:: SOT 88015 SOS 44438 HAS SOPS 44438 HAS SOUS 35128 HAS SOUPS 35128 WITH SCORE 35172.438
AT ITER 20 NEW BEST:: SOT 88014 SOS 44330 HAS SOPS 44330 HAS SOUS 35073 HAS SOUPS 35073 WITH SCORE 35117.33
AT ITER 29 NEW BEST:: SOT 87937 SOS 44188 HAS SOPS 44188 HAS SOUS 34995 HAS SOUPS 34995 WITH SCORE 35039.188
AT ITER 40 NEW BEST:: SOT 87870 SOS 44055 HAS SOPS 44055 HAS SOUS 34927 HAS SOUPS 34927 WITH SCORE 34971.055
AT ITER 44 NEW BEST:: SOT 87729 SOS 43632 HAS SOPS 43632 HAS SOUS 34635 HAS SOUPS 34635 WITH SCORE 34678.632
AT ITER 46 NEW BEST:: SOT 87665 SOS 43536 HAS SOPS 43536 HAS SOUS 34571 HAS SOUPS 34571 WITH SCORE 34614.536
AT ITER 56 NEW BEST:: SOT 87581 SOS 43368 HAS SOPS 43368 HAS SOUS 34487 HAS SOUPS 34487 WITH SCORE 34530.368
AT ITER 63 NEW BEST:: SOT 87498 SOS 43196 HAS SOPS 43196 HAS SOUS 34333 HAS SOUPS 34333 WITH SCORE 34376.196
AT ITER 64 NEW BEST:: SOT 87463 SOS 43078 HAS SOPS 43078 HAS SOUS 34325 HAS SOUPS 34325 WITH SCORE 34368.078
AT ITER 70 NEW BEST:: SOT 87488 SOS 43097 HAS SOPS 43097 HAS SOUS 34301 HAS SOUPS 34301 WITH SCORE 34344.097
AT ITER 73 NEW BEST:: SOT 87471 SOS 42942 HAS SOPS 42942 HAS SOUS 34267 HAS SOUPS 34267 WITH SCORE 34309.942
AT ITER 80 NEW BEST:: SOT 87344 SOS 42743 HAS SOPS 42743 HAS SOUS 34140 HAS SOUPS 34140 WITH SCORE 34182.743
AT ITER 82 NEW BEST:: SOT 86664 SOS 44416 HAS SOPS 44416 HAS SOUS 33699 HAS SOUPS 33699 WITH SCORE 33743.416
AT ITER 87 NEW BEST:: SOT 86588 SOS 44265 HAS SOPS 44265 HAS SOUS 33622 HAS SOUPS 33622 WITH SCORE 33666.265
AT ITER 97 NEW BEST:: SOT 86380 SOS 43802 HAS SOPS 43802 HAS SOUS 33287 HAS SOUPS 33287 WITH SCORE 33330.802
AT ITER 100 NEW BEST:: SOT 86379 SOS 43801 HAS SOPS 43801 HAS SOUS 33283 HAS SOUPS 33283 WITH SCORE 33326.801
AT ITER 103 NEW BEST:: SOT 86370 SOS 43792 HAS SOPS 43792 HAS SOUS 33283 HAS SOUPS 33283 WITH SCORE 33326.792
AT ITER 104 NEW BEST:: SOT 86369 SOS 43775 HAS SOPS 43775 HAS SOUS 33265 HAS SOUPS 33265 WITH SCORE 33308.775
AT ITER 108 NEW BEST:: SOT 86284 SOS 43483 HAS SOPS 43483 HAS SOUS 33003 HAS SOUPS 33003 WITH SCORE 33046.483
AT ITER 117 NEW BEST:: SOT 86188 SOS 43370 HAS SOPS 43370 HAS SOUS 32969 HAS SOUPS 32969 WITH SCORE 33012.37
AT ITER 120 NEW BEST:: SOT 86009 SOS 43069 HAS SOPS 43069 HAS SOUS 32724 HAS SOUPS 32724 WITH SCORE 32767.069
AT ITER 121 NEW BEST:: SOT 85919 SOS 42889 HAS SOPS 42889 HAS SOUS 32634 HAS SOUPS 32634 WITH SCORE 32676.889
AT ITER 126 NEW BEST:: SOT 85918 SOS 42870 HAS SOPS 42870 HAS SOUS 32632 HAS SOUPS 32632 WITH SCORE 32674.87
AT ITER 135 NEW BEST:: SOT 85849 SOS 42799 HAS SOPS 42799 HAS SOUS 32561 HAS SOUPS 32561 WITH SCORE 32603.799
AT ITER 140 NEW BEST:: SOT 85732 SOS 42624 HAS SOPS 42624 HAS SOUS 32443 HAS SOUPS 32443 WITH SCORE 32485.624
AT ITER 143 NEW BEST:: SOT 85625 SOS 42466 HAS SOPS 42466 HAS SOUS 32318 HAS SOUPS 32318 WITH SCORE 32360.466
AT ITER 159 NEW BEST:: SOT 85469 SOS 42226 HAS SOPS 42226 HAS SOUS 32076 HAS SOUPS 32076 WITH SCORE 32118.226
AT ITER 167 NEW BEST:: SOT 85469 SOS 42226 HAS SOPS 42226 HAS SOUS 32048 HAS SOUPS 32048 WITH SCORE 32090.226
AT ITER 175 NEW BEST:: SOT 85468 SOS 42224 HAS SOPS 42224 HAS SOUS 32046 HAS SOUPS 32046 WITH SCORE 32088.224
AT ITER 180 NEW BEST:: SOT 85471 SOS 42169 HAS SOPS 42169 HAS SOUS 31991 HAS SOUPS 31991 WITH SCORE 32033.169
AT ITER 182 NEW BEST:: SOT 85468 SOS 42148 HAS SOPS 42148 HAS SOUS 31987 HAS SOUPS 31987 WITH SCORE 32029.148
AT ITER 188 NEW BEST:: SOT 85174 SOS 41806 HAS SOPS 41806 HAS SOUS 31695 HAS SOUPS 31695 WITH SCORE 31736.806
AT ITER 190 NEW BEST:: SOT 85174 SOS 41806 HAS SOPS 41806 HAS SOUS 31629 HAS SOUPS 31629 WITH SCORE 31670.806
AT ITER 192 NEW BEST:: SOT 85182 SOS 41729 HAS SOPS 41729 HAS SOUS 31590 HAS SOUPS 31590 WITH SCORE 31631.729
AT ITER 193 NEW BEST:: SOT 85182 SOS 41729 HAS SOPS 41729 HAS SOUS 31536 HAS SOUPS 31536 WITH SCORE 31577.729
AT ITER 194 NEW BEST:: SOT 85120 SOS 41630 HAS SOPS 41630 HAS SOUS 31482 HAS SOUPS 31482 WITH SCORE 31523.63
AT ITER 203 NEW BEST:: SOT 85119 SOS 41583 HAS SOPS 41583 HAS SOUS 31435 HAS SOUPS 31435 WITH SCORE 31476.583
AT ITER 213 NEW BEST:: SOT 84958 SOS 41332 HAS SOPS 41332 HAS SOUS 31203 HAS SOUPS 31203 WITH SCORE 31244.332
AT ITER 216 NEW BEST:: SOT 84826 SOS 40987 HAS SOPS 40987 HAS SOUS 30935 HAS SOUPS 30935 WITH SCORE 30975.987
AT ITER 217 NEW BEST:: SOT 84774 SOS 40728 HAS SOPS 40728 HAS SOUS 30812 HAS SOUPS 30812 WITH SCORE 30852.728
AT ITER 230 NEW BEST:: SOT 84726 SOS 40680 HAS SOPS 40680 HAS SOUS 30764 HAS SOUPS 30764 WITH SCORE 30804.68
AT ITER 233 NEW BEST:: SOT 84719 SOS 40619 HAS SOPS 40619 HAS SOUS 30737 HAS SOUPS 30737 WITH SCORE 30777.619
AT ITER 235 NEW BEST:: SOT 84685 SOS 40551 HAS SOPS 40551 HAS SOUS 30717 HAS SOUPS 30717 WITH SCORE 30757.551
AT ITER 237 NEW BEST:: SOT 84415 SOS 40184 HAS SOPS 40184 HAS SOUS 30405 HAS SOUPS 30405 WITH SCORE 30445.184
AT ITER 240 NEW BEST:: SOT 84408 SOS 40170 HAS SOPS 40170 HAS SOUS 30391 HAS SOUPS 30391 WITH SCORE 30431.17
AT ITER 247 NEW BEST:: SOT 84196 SOS 39973 HAS SOPS 39973 HAS SOUS 30302 HAS SOUPS 30302 WITH SCORE 30341.973
AT ITER 253 NEW BEST:: SOT 84151 SOS 39939 HAS SOPS 39939 HAS SOUS 30224 HAS SOUPS 30224 WITH SCORE 30263.939
AT ITER 255 NEW BEST:: SOT 84149 SOS 39918 HAS SOPS 39918 HAS SOUS 30223 HAS SOUPS 30223 WITH SCORE 30262.918
AT ITER 266 NEW BEST:: SOT 84137 SOS 39894 HAS SOPS 39894 HAS SOUS 30210 HAS SOUPS 30210 WITH SCORE 30249.894
AT ITER 267 NEW BEST:: SOT 84107 SOS 39835 HAS SOPS 39835 HAS SOUS 30150 HAS SOUPS 30150 WITH SCORE 30189.835
AT ITER 277 NEW BEST:: SOT 84087 SOS 39815 HAS SOPS 39815 HAS SOUS 30083 HAS SOUPS 30083 WITH SCORE 30122.815
AT ITER 280 NEW BEST:: SOT 84036 SOS 39730 HAS SOPS 39730 HAS SOUS 30032 HAS SOUPS 30032 WITH SCORE 30071.73
AT ITER 281 NEW BEST:: SOT 84008 SOS 39718 HAS SOPS 39718 HAS SOUS 30003 HAS SOUPS 30003 WITH SCORE 30042.718
AT ITER 287 NEW BEST:: SOT 83943 SOS 39541 HAS SOPS 39541 HAS SOUS 29891 HAS SOUPS 29891 WITH SCORE 29930.541
AT ITER 293 NEW BEST:: SOT 83800 SOS 39256 HAS SOPS 39256 HAS SOUS 29685 HAS SOUPS 29685 WITH SCORE 29724.256
AT ITER 298 NEW BEST:: SOT 83772 SOS 39228 HAS SOPS 39228 HAS SOUS 29657 HAS SOUPS 29657 WITH SCORE 29696.228
AT ITER 304 NEW BEST:: SOT 83722 SOS 39128 HAS SOPS 39128 HAS SOUS 29656 HAS SOUPS 29656 WITH SCORE 29695.128
AT ITER 306 NEW BEST:: SOT 83760 SOS 39132 HAS SOPS 39132 HAS SOUS 29622 HAS SOUPS 29622 WITH SCORE 29661.132
AT ITER 308 NEW BEST:: SOT 83760 SOS 39123 HAS SOPS 39123 HAS SOUS 29613 HAS SOUPS 29613 WITH SCORE 29652.123
AT ITER 323 NEW BEST:: SOT 83725 SOS 39086 HAS SOPS 39086 HAS SOUS 29576 HAS SOUPS 29576 WITH SCORE 29615.086
AT ITER 327 NEW BEST:: SOT 83711 SOS 39058 HAS SOPS 39058 HAS SOUS 29562 HAS SOUPS 29562 WITH SCORE 29601.058
AT ITER 330 NEW BEST:: SOT 83697 SOS 39050 HAS SOPS 39050 HAS SOUS 29554 HAS SOUPS 29554 WITH SCORE 29593.05
AT ITER 336 NEW BEST:: SOT 83452 SOS 38668 HAS SOPS 38668 HAS SOUS 29165 HAS SOUPS 29165 WITH SCORE 29203.668
AT ITER 340 NEW BEST:: SOT 83435 SOS 38604 HAS SOPS 38604 HAS SOUS 29118 HAS SOUPS 29118 WITH SCORE 29156.604
AT ITER 343 NEW BEST:: SOT 83337 SOS 38530 HAS SOPS 38530 HAS SOUS 28959 HAS SOUPS 28959 WITH SCORE 28997.53
AT ITER 356 NEW BEST:: SOT 83286 SOS 38377 HAS SOPS 38377 HAS SOUS 28857 HAS SOUPS 28857 WITH SCORE 28895.377
AT ITER 359 NEW BEST:: SOT 83131 SOS 38086 HAS SOPS 38086 HAS SOUS 28682 HAS SOUPS 28682 WITH SCORE 28720.086
AT ITER 362 NEW BEST:: SOT 83112 SOS 38091 HAS SOPS 38091 HAS SOUS 28663 HAS SOUPS 28663 WITH SCORE 28701.091
AT ITER 377 NEW BEST:: SOT 83100 SOS 38066 HAS SOPS 38066 HAS SOUS 28574 HAS SOUPS 28574 WITH SCORE 28612.066
AT ITER 411 NEW BEST:: SOT 83099 SOS 38025 HAS SOPS 38025 HAS SOUS 28572 HAS SOUPS 28572 WITH SCORE 28610.025
AT ITER 414 NEW BEST:: SOT 83188 SOS 38134 HAS SOPS 38134 HAS SOUS 28497 HAS SOUPS 28497 WITH SCORE 28535.134
AT ITER 421 NEW BEST:: SOT 82490 SOS 38179 HAS SOPS 38179 HAS SOUS 27947 HAS SOUPS 27947 WITH SCORE 27985.179
AT ITER 425 NEW BEST:: SOT 82490 SOS 38164 HAS SOPS 38164 HAS SOUS 27947 HAS SOUPS 27947 WITH SCORE 27985.164
AT ITER 426 NEW BEST:: SOT 82444 SOS 38118 HAS SOPS 38118 HAS SOUS 27901 HAS SOUPS 27901 WITH SCORE 27939.118
AT ITER 432 NEW BEST:: SOT 82471 SOS 38058 HAS SOPS 38058 HAS SOUS 27862 HAS SOUPS 27862 WITH SCORE 27900.058
AT ITER 449 NEW BEST:: SOT 82468 SOS 38055 HAS SOPS 38055 HAS SOUS 27856 HAS SOUPS 27856 WITH SCORE 27894.055
AT ITER 461 NEW BEST:: SOT 82332 SOS 37787 HAS SOPS 37787 HAS SOUS 27588 HAS SOUPS 27588 WITH SCORE 27625.787
AT ITER 470 NEW BEST:: SOT 82332 SOS 37786 HAS SOPS 37786 HAS SOUS 27588 HAS SOUPS 27588 WITH SCORE 27625.786
AT ITER 478 NEW BEST:: SOT 82332 SOS 37786 HAS SOPS 37786 HAS SOUS 27512 HAS SOUPS 27512 WITH SCORE 27549.786
AT ITER 483 NEW BEST:: SOT 82280 SOS 37682 HAS SOPS 37682 HAS SOUS 27432 HAS SOUPS 27432 WITH SCORE 27469.682
AT ITER 487 NEW BEST:: SOT 82212 SOS 37547 HAS SOPS 37547 HAS SOUS 27368 HAS SOUPS 27368 WITH SCORE 27405.547
AT ITER 490 NEW BEST:: SOT 82209 SOS 37516 HAS SOPS 37516 HAS SOUS 27362 HAS SOUPS 27362 WITH SCORE 27399.516
AT ITER 494 NEW BEST:: SOT 82156 SOS 37491 HAS SOPS 37491 HAS SOUS 27335 HAS SOUPS 27335 WITH SCORE 27372.491
AT ITER 496 NEW BEST:: SOT 82123 SOS 37458 HAS SOPS 37458 HAS SOUS 27335 HAS SOUPS 27335 WITH SCORE 27372.458
AT ITER 502 NEW BEST:: SOT 82108 SOS 37413 HAS SOPS 37413 HAS SOUS 27305 HAS SOUPS 27305 WITH SCORE 27342.413
AT ITER 504 NEW BEST:: SOT 82119 SOS 37383 HAS SOPS 37383 HAS SOUS 27263 HAS SOUPS 27263 WITH SCORE 27300.383
AT ITER 506 NEW BEST:: SOT 82042 SOS 37229 HAS SOPS 37229 HAS SOUS 27186 HAS SOUPS 27186 WITH SCORE 27223.229
AT ITER 511 NEW BEST:: SOT 81934 SOS 37080 HAS SOPS 37080 HAS SOUS 27054 HAS SOUPS 27054 WITH SCORE 27091.08
AT ITER 515 NEW BEST:: SOT 81929 SOS 37085 HAS SOPS 37085 HAS SOUS 27049 HAS SOUPS 27049 WITH SCORE 27086.085
AT ITER 517 NEW BEST:: SOT 81301 SOS 36457 HAS SOPS 36457 HAS SOUS 26416 HAS SOUPS 26416 WITH SCORE 26452.457
AT ITER 521 NEW BEST:: SOT 81252 SOS 36275 HAS SOPS 36275 HAS SOUS 26366 HAS SOUPS 26366 WITH SCORE 26402.275
AT ITER 523 NEW BEST:: SOT 81177 SOS 36126 HAS SOPS 36126 HAS SOUS 26216 HAS SOUPS 26216 WITH SCORE 26252.126
AT ITER 525 NEW BEST:: SOT 81162 SOS 36111 HAS SOPS 36111 HAS SOUS 26186 HAS SOUPS 26186 WITH SCORE 26222.111
AT ITER 528 NEW BEST:: SOT 81153 SOS 36093 HAS SOPS 36093 HAS SOUS 26168 HAS SOUPS 26168 WITH SCORE 26204.093
AT ITER 531 NEW BEST:: SOT 81147 SOS 35330 HAS SOPS 35330 HAS SOUS 26156 HAS SOUPS 26156 WITH SCORE 26191.33
AT ITER 542 NEW BEST:: SOT 81133 SOS 35426 HAS SOPS 35426 HAS SOUS 26049 HAS SOUPS 26049 WITH SCORE 26084.426
AT ITER 544 NEW BEST:: SOT 81079 SOS 35318 HAS SOPS 35318 HAS SOUS 25974 HAS SOUPS 25974 WITH SCORE 26009.318
AT ITER 546 NEW BEST:: SOT 81059 SOS 35238 HAS SOPS 35238 HAS SOUS 25934 HAS SOUPS 25934 WITH SCORE 25969.238
AT ITER 549 NEW BEST:: SOT 81054 SOS 35228 HAS SOPS 35228 HAS SOUS 25924 HAS SOUPS 25924 WITH SCORE 25959.228
AT ITER 557 NEW BEST:: SOT 80948 SOS 35091 HAS SOPS 35091 HAS SOUS 25826 HAS SOUPS 25826 WITH SCORE 25861.091
AT ITER 562 NEW BEST:: SOT 80846 SOS 34938 HAS SOPS 34938 HAS SOUS 25724 HAS SOUPS 25724 WITH SCORE 25758.938
AT ITER 564 NEW BEST:: SOT 80841 SOS 34928 HAS SOPS 34928 HAS SOUS 25714 HAS SOUPS 25714 WITH SCORE 25748.928
AT ITER 566 NEW BEST:: SOT 80777 SOS 34694 HAS SOPS 34694 HAS SOUS 25544 HAS SOUPS 25544 WITH SCORE 25578.694
AT ITER 571 NEW BEST:: SOT 80782 SOS 34672 HAS SOPS 34672 HAS SOUS 25522 HAS SOUPS 25522 WITH SCORE 25556.672
AT ITER 572 NEW BEST:: SOT 80777 SOS 34662 HAS SOPS 34662 HAS SOUS 25512 HAS SOUPS 25512 WITH SCORE 25546.662
AT ITER 577 NEW BEST:: SOT 80733 SOS 34574 HAS SOPS 34574 HAS SOUS 25419 HAS SOUPS 25419 WITH SCORE 25453.574
AT ITER 592 NEW BEST:: SOT 80697 SOS 34538 HAS SOPS 34538 HAS SOUS 25419 HAS SOUPS 25419 WITH SCORE 25453.538
AT ITER 596 NEW BEST:: SOT 80696 SOS 34536 HAS SOPS 34536 HAS SOUS 25417 HAS SOUPS 25417 WITH SCORE 25451.536
AT ITER 602 NEW BEST:: SOT 80663 SOS 34511 HAS SOPS 34511 HAS SOUS 25350 HAS SOUPS 25350 WITH SCORE 25384.511
AT ITER 603 NEW BEST:: SOT 80662 SOS 34509 HAS SOPS 34509 HAS SOUS 25348 HAS SOUPS 25348 WITH SCORE 25382.509
AT ITER 613 NEW BEST:: SOT 80661 SOS 34508 HAS SOPS 34508 HAS SOUS 25348 HAS SOUPS 25348 WITH SCORE 25382.508
AT ITER 614 NEW BEST:: SOT 80582 SOS 34305 HAS SOPS 34305 HAS SOUS 25134 HAS SOUPS 25134 WITH SCORE 25168.305
AT ITER 615 NEW BEST:: SOT 80531 SOS 34321 HAS SOPS 34321 HAS SOUS 25100 HAS SOUPS 25100 WITH SCORE 25134.321
AT ITER 627 NEW BEST:: SOT 80523 SOS 34305 HAS SOPS 34305 HAS SOUS 25084 HAS SOUPS 25084 WITH SCORE 25118.305
AT ITER 628 NEW BEST:: SOT 80507 SOS 34255 HAS SOPS 34255 HAS SOUS 25034 HAS SOUPS 25034 WITH SCORE 25068.255
AT ITER 631 NEW BEST:: SOT 80243 SOS 33801 HAS SOPS 33801 HAS SOUS 24633 HAS SOUPS 24633 WITH SCORE 24666.801
AT ITER 633 NEW BEST:: SOT 80217 SOS 33749 HAS SOPS 33749 HAS SOUS 24607 HAS SOUPS 24607 WITH SCORE 24640.749
AT ITER 636 NEW BEST:: SOT 80211 SOS 33738 HAS SOPS 33738 HAS SOUS 24600 HAS SOUPS 24600 WITH SCORE 24633.738
AT ITER 642 NEW BEST:: SOT 80173 SOS 33676 HAS SOPS 33676 HAS SOUS 24560 HAS SOUPS 24560 WITH SCORE 24593.676
AT ITER 651 NEW BEST:: SOT 80197 SOS 33724 HAS SOPS 33724 HAS SOUS 24557 HAS SOUPS 24557 WITH SCORE 24590.724
AT ITER 669 NEW BEST:: SOT 80196 SOS 33722 HAS SOPS 33722 HAS SOUS 24554 HAS SOUPS 24554 WITH SCORE 24587.722
AT ITER 673 NEW BEST:: SOT 80123 SOS 33516 HAS SOPS 33516 HAS SOUS 24395 HAS SOUPS 24395 WITH SCORE 24428.516
AT ITER 688 NEW BEST:: SOT 80100 SOS 33540 HAS SOPS 33540 HAS SOUS 24376 HAS SOUPS 24376 WITH SCORE 24409.54
AT ITER 695 NEW BEST:: SOT 80055 SOS 33405 HAS SOPS 33405 HAS SOUS 24241 HAS SOUPS 24241 WITH SCORE 24274.405
AT ITER 696 NEW BEST:: SOT 79778 SOS 32752 HAS SOPS 32752 HAS SOUS 23854 HAS SOUPS 23854 WITH SCORE 23886.752
AT ITER 697 NEW BEST:: SOT 79754 SOS 32571 HAS SOPS 32571 HAS SOUS 23806 HAS SOUPS 23806 WITH SCORE 23838.571
AT ITER 699 NEW BEST:: SOT 79711 SOS 32375 HAS SOPS 32375 HAS SOUS 23597 HAS SOUPS 23597 WITH SCORE 23629.375
AT ITER 719 NEW BEST:: SOT 79714 SOS 32347 HAS SOPS 32347 HAS SOUS 23577 HAS SOUPS 23577 WITH SCORE 23609.347
AT ITER 738 NEW BEST:: SOT 79634 SOS 32196 HAS SOPS 32196 HAS SOUS 23423 HAS SOUPS 23423 WITH SCORE 23455.196
AT ITER 749 NEW BEST:: SOT 79633 SOS 32195 HAS SOPS 32195 HAS SOUS 23422 HAS SOUPS 23422 WITH SCORE 23454.195
AT ITER 751 NEW BEST:: SOT 79597 SOS 32106 HAS SOPS 32106 HAS SOUS 23299 HAS SOUPS 23299 WITH SCORE 23331.106
AT ITER 762 NEW BEST:: SOT 79549 SOS 31865 HAS SOPS 31865 HAS SOUS 23203 HAS SOUPS 23203 WITH SCORE 23234.865
AT ITER 801 NEW BEST:: SOT 79548 SOS 31836 HAS SOPS 31836 HAS SOUS 23201 HAS SOUPS 23201 WITH SCORE 23232.836
AT ITER 811 NEW BEST:: SOT 79469 SOS 31678 HAS SOPS 31678 HAS SOUS 23149 HAS SOUPS 23149 WITH SCORE 23180.678
AT ITER 846 NEW BEST:: SOT 79455 SOS 31721 HAS SOPS 31721 HAS SOUS 23121 HAS SOUPS 23121 WITH SCORE 23152.721
AT ITER 852 NEW BEST:: SOT 79431 SOS 31673 HAS SOPS 31673 HAS SOUS 23073 HAS SOUPS 23073 WITH SCORE 23104.673
AT ITER 859 NEW BEST:: SOT 79344 SOS 31457 HAS SOPS 31457 HAS SOUS 22857 HAS SOUPS 22857 WITH SCORE 22888.457
AT ITER 861 NEW BEST:: SOT 79338 SOS 31445 HAS SOPS 31445 HAS SOUS 22837 HAS SOUPS 22837 WITH SCORE 22868.445
AT ITER 862 NEW BEST:: SOT 79289 SOS 31396 HAS SOPS 31396 HAS SOUS 22837 HAS SOUPS 22837 WITH SCORE 22868.396
AT ITER 863 NEW BEST:: SOT 79323 SOS 31314 HAS SOPS 31314 HAS SOUS 22826 HAS SOUPS 22826 WITH SCORE 22857.314
AT ITER 876 NEW BEST:: SOT 79296 SOS 31260 HAS SOPS 31260 HAS SOUS 22764 HAS SOUPS 22764 WITH SCORE 22795.26
AT ITER 877 NEW BEST:: SOT 79268 SOS 31217 HAS SOPS 31217 HAS SOUS 22725 HAS SOUPS 22725 WITH SCORE 22756.217
AT ITER 880 NEW BEST:: SOT 79268 SOS 31217 HAS SOPS 31217 HAS SOUS 22723 HAS SOUPS 22723 WITH SCORE 22754.217
AT ITER 900 NEW BEST:: SOT 79260 SOS 31214 HAS SOPS 31214 HAS SOUS 22707 HAS SOUPS 22707 WITH SCORE 22738.214
AT ITER 902 NEW BEST:: SOT 79248 SOS 31202 HAS SOPS 31202 HAS SOUS 22683 HAS SOUPS 22683 WITH SCORE 22714.202
AT ITER 904 NEW BEST:: SOT 79108 SOS 30710 HAS SOPS 30710 HAS SOUS 22612 HAS SOUPS 22612 WITH SCORE 22642.71
AT ITER 907 NEW BEST:: SOT 79108 SOS 30696 HAS SOPS 30696 HAS SOUS 22612 HAS SOUPS 22612 WITH SCORE 22642.696
AT ITER 909 NEW BEST:: SOT 79108 SOS 30682 HAS SOPS 30682 HAS SOUS 22612 HAS SOUPS 22612 WITH SCORE 22642.682
AT ITER 917 NEW BEST:: SOT 79145 SOS 30756 HAS SOPS 30756 HAS SOUS 22598 HAS SOUPS 22598 WITH SCORE 22628.756
AT ITER 919 NEW BEST:: SOT 79118 SOS 30747 HAS SOPS 30747 HAS SOUS 22584 HAS SOUPS 22584 WITH SCORE 22614.747
AT ITER 921 NEW BEST:: SOT 79109 SOS 30723 HAS SOPS 30723 HAS SOUS 22569 HAS SOUPS 22569 WITH SCORE 22599.723
AT ITER 932 NEW BEST:: SOT 79109 SOS 30671 HAS SOPS 30671 HAS SOUS 22543 HAS SOUPS 22543 WITH SCORE 22573.671
AT ITER 941 NEW BEST:: SOT 79130 SOS 30666 HAS SOPS 30666 HAS SOUS 22542 HAS SOUPS 22542 WITH SCORE 22572.666
AT ITER 947 NEW BEST:: SOT 79095 SOS 30561 HAS SOPS 30561 HAS SOUS 22472 HAS SOUPS 22472 WITH SCORE 22502.561
AT ITER 955 NEW BEST:: SOT 79051 SOS 30538 HAS SOPS 30538 HAS SOUS 22325 HAS SOUPS 22325 WITH SCORE 22355.538
AT ITER 958 NEW BEST:: SOT 78937 SOS 30471 HAS SOPS 30471 HAS SOUS 22210 HAS SOUPS 22210 WITH SCORE 22240.471
AT ITER 963 NEW BEST:: SOT 78937 SOS 30457 HAS SOPS 30457 HAS SOUS 22196 HAS SOUPS 22196 WITH SCORE 22226.457
AT ITER 970 NEW BEST:: SOT 78909 SOS 30401 HAS SOPS 30401 HAS SOUS 22154 HAS SOUPS 22154 WITH SCORE 22184.401
AT ITER 972 NEW BEST:: SOT 78803 SOS 30083 HAS SOPS 30083 HAS SOUS 21942 HAS SOUPS 21942 WITH SCORE 21972.083
AT ITER 977 NEW BEST:: SOT 78547 SOS 30012 HAS SOPS 30012 HAS SOUS 21655 HAS SOUPS 21655 WITH SCORE 21685.012
AT ITER 988 NEW BEST:: SOT 78546 SOS 30010 HAS SOPS 30010 HAS SOUS 21653 HAS SOUPS 21653 WITH SCORE 21683.01
AT ITER 992 NEW BEST:: SOT 78530 SOS 29994 HAS SOPS 29994 HAS SOUS 21621 HAS SOUPS 21621 WITH SCORE 21650.994
AT ITER 993 NEW BEST:: SOT 78530 SOS 29994 HAS SOPS 29994 HAS SOUS 21586 HAS SOUPS 21586 WITH SCORE 21615.994
AT ITER 1014 NEW BEST:: SOT 78457 SOS 29890 HAS SOPS 29890 HAS SOUS 21491 HAS SOUPS 21491 WITH SCORE 21520.89
AT ITER 1034 NEW BEST:: SOT 78457 SOS 29890 HAS SOPS 29890 HAS SOUS 21459 HAS SOUPS 21459 WITH SCORE 21488.89
AT ITER 1051 NEW BEST:: SOT 78434 SOS 29844 HAS SOPS 29844 HAS SOUS 21418 HAS SOUPS 21418 WITH SCORE 21447.844
AT ITER 1059 NEW BEST:: SOT 78434 SOS 29840 HAS SOPS 29840 HAS SOUS 21414 HAS SOUPS 21414 WITH SCORE 21443.84
AT ITER 1064 NEW BEST:: SOT 78402 SOS 29776 HAS SOPS 29776 HAS SOUS 21350 HAS SOUPS 21350 WITH SCORE 21379.776
AT ITER 1080 NEW BEST:: SOT 78392 SOS 29744 HAS SOPS 29744 HAS SOUS 21308 HAS SOUPS 21308 WITH SCORE 21337.744
AT ITER 1094 NEW BEST:: SOT 78365 SOS 29682 HAS SOPS 29682 HAS SOUS 21281 HAS SOUPS 21281 WITH SCORE 21310.682
AT ITER 1125 NEW BEST:: SOT 78345 SOS 29597 HAS SOPS 29597 HAS SOUS 21196 HAS SOUPS 21196 WITH SCORE 21225.597
AT ITER 1126 NEW BEST:: SOT 78319 SOS 29571 HAS SOPS 29571 HAS SOUS 21144 HAS SOUPS 21144 WITH SCORE 21173.571
AT ITER 1128 NEW BEST:: SOT 78250 SOS 29515 HAS SOPS 29515 HAS SOUS 21088 HAS SOUPS 21088 WITH SCORE 21117.515
AT ITER 1137 NEW BEST:: SOT 78245 SOS 29505 HAS SOPS 29505 HAS SOUS 21078 HAS SOUPS 21078 WITH SCORE 21107.505
AT ITER 1140 NEW BEST:: SOT 78244 SOS 29473 HAS SOPS 29473 HAS SOUS 21074 HAS SOUPS 21074 WITH SCORE 21103.473
AT ITER 1147 NEW BEST:: SOT 78207 SOS 29399 HAS SOPS 29399 HAS SOUS 21019 HAS SOUPS 21019 WITH SCORE 21048.399
AT ITER 1150 NEW BEST:: SOT 78177 SOS 29339 HAS SOPS 29339 HAS SOUS 21000 HAS SOUPS 21000 WITH SCORE 21029.339
AT ITER 1153 NEW BEST:: SOT 78158 SOS 29288 HAS SOPS 29288 HAS SOUS 20995 HAS SOUPS 20995 WITH SCORE 21024.288
AT ITER 1162 NEW BEST:: SOT 78208 SOS 29338 HAS SOPS 29338 HAS SOUS 20971 HAS SOUPS 20971 WITH SCORE 21000.338
AT ITER 1170 NEW BEST:: SOT 78202 SOS 29300 HAS SOPS 29300 HAS SOUS 20959 HAS SOUPS 20959 WITH SCORE 20988.3
AT ITER 1181 NEW BEST:: SOT 78174 SOS 29231 HAS SOPS 29231 HAS SOUS 20952 HAS SOUPS 20952 WITH SCORE 20981.231
AT ITER 1182 NEW BEST:: SOT 78128 SOS 29234 HAS SOPS 29234 HAS SOUS 20909 HAS SOUPS 20909 WITH SCORE 20938.234
AT ITER 1202 NEW BEST:: SOT 78150 SOS 29356 HAS SOPS 29356 HAS SOUS 20903 HAS SOUPS 20903 WITH SCORE 20932.356
AT ITER 1210 NEW BEST:: SOT 78150 SOS 29366 HAS SOPS 29366 HAS SOUS 20893 HAS SOUPS 20893 WITH SCORE 20922.366
AT ITER 1216 NEW BEST:: SOT 78119 SOS 29335 HAS SOPS 29335 HAS SOUS 20865 HAS SOUPS 20865 WITH SCORE 20894.335
AT ITER 1219 NEW BEST:: SOT 78118 SOS 29334 HAS SOPS 29334 HAS SOUS 20863 HAS SOUPS 20863 WITH SCORE 20892.334
AT ITER 1223 NEW BEST:: SOT 78022 SOS 29206 HAS SOPS 29206 HAS SOUS 20767 HAS SOUPS 20767 WITH SCORE 20796.206
AT ITER 1235 NEW BEST:: SOT 77955 SOS 29147 HAS SOPS 29147 HAS SOUS 20708 HAS SOUPS 20708 WITH SCORE 20737.147
AT ITER 1238 NEW BEST:: SOT 77932 SOS 29036 HAS SOPS 29036 HAS SOUS 20677 HAS SOUPS 20677 WITH SCORE 20706.036
AT ITER 1241 NEW BEST:: SOT 77926 SOS 29024 HAS SOPS 29024 HAS SOUS 20669 HAS SOUPS 20669 WITH SCORE 20698.024
AT ITER 1253 NEW BEST:: SOT 77942 SOS 29056 HAS SOPS 29056 HAS SOUS 20621 HAS SOUPS 20621 WITH SCORE 20650.056
AT ITER 1254 NEW BEST:: SOT 77925 SOS 29052 HAS SOPS 29052 HAS SOUS 20610 HAS SOUPS 20610 WITH SCORE 20639.052
AT ITER 1291 NEW BEST:: SOT 77917 SOS 29036 HAS SOPS 29036 HAS SOUS 20594 HAS SOUPS 20594 WITH SCORE 20623.036
AT ITER 1292 NEW BEST:: SOT 77913 SOS 29028 HAS SOPS 29028 HAS SOUS 20590 HAS SOUPS 20590 WITH SCORE 20619.028
AT ITER 1295 NEW BEST:: SOT 77896 SOS 28994 HAS SOPS 28994 HAS SOUS 20556 HAS SOUPS 20556 WITH SCORE 20584.994
AT ITER 1299 NEW BEST:: SOT 77898 SOS 28998 HAS SOPS 28998 HAS SOUS 20542 HAS SOUPS 20542 WITH SCORE 20570.998
AT ITER 1304 NEW BEST:: SOT 77890 SOS 28974 HAS SOPS 28974 HAS SOUS 20534 HAS SOUPS 20534 WITH SCORE 20562.974
AT ITER 1344 NEW BEST:: SOT 77900 SOS 28984 HAS SOPS 28984 HAS SOUS 20475 HAS SOUPS 20475 WITH SCORE 20503.984
AT ITER 1352 NEW BEST:: SOT 77900 SOS 28974 HAS SOPS 28974 HAS SOUS 20470 HAS SOUPS 20470 WITH SCORE 20498.974
AT ITER 1363 NEW BEST:: SOT 77899 SOS 28972 HAS SOPS 28972 HAS SOUS 20469 HAS SOUPS 20469 WITH SCORE 20497.972
AT ITER 1366 NEW BEST:: SOT 77907 SOS 28953 HAS SOPS 28953 HAS SOUS 20462 HAS SOUPS 20462 WITH SCORE 20490.953
AT ITER 1368 NEW BEST:: SOT 77878 SOS 28930 HAS SOPS 28930 HAS SOUS 20439 HAS SOUPS 20439 WITH SCORE 20467.93
AT ITER 1373 NEW BEST:: SOT 77872 SOS 28883 HAS SOPS 28883 HAS SOUS 20375 HAS SOUPS 20375 WITH SCORE 20403.883
AT ITER 1376 NEW BEST:: SOT 77864 SOS 28860 HAS SOPS 28860 HAS SOUS 20372 HAS SOUPS 20372 WITH SCORE 20400.86
AT ITER 1381 NEW BEST:: SOT 77864 SOS 28811 HAS SOPS 28811 HAS SOUS 20370 HAS SOUPS 20370 WITH SCORE 20398.811
AT ITER 1387 NEW BEST:: SOT 77813 SOS 28733 HAS SOPS 28733 HAS SOUS 20295 HAS SOUPS 20295 WITH SCORE 20323.733
AT ITER 1413 NEW BEST:: SOT 77811 SOS 28729 HAS SOPS 28729 HAS SOUS 20292 HAS SOUPS 20292 WITH SCORE 20320.729
AT ITER 1434 NEW BEST:: SOT 77750 SOS 28664 HAS SOPS 28664 HAS SOUS 20174 HAS SOUPS 20174 WITH SCORE 20202.664
AT ITER 1438 NEW BEST:: SOT 77614 SOS 29630 HAS SOPS 29630 HAS SOUS 20072 HAS SOUPS 20072 WITH SCORE 20101.63
AT ITER 1445 NEW BEST:: SOT 77594 SOS 29613 HAS SOPS 29613 HAS SOUS 20055 HAS SOUPS 20055 WITH SCORE 20084.613
AT ITER 1450 NEW BEST:: SOT 77625 SOS 29624 HAS SOPS 29624 HAS SOUS 20039 HAS SOUPS 20039 WITH SCORE 20068.624
AT ITER 1455 NEW BEST:: SOT 77624 SOS 29623 HAS SOPS 29623 HAS SOUS 20037 HAS SOUPS 20037 WITH SCORE 20066.623
AT ITER 1467 NEW BEST:: SOT 77624 SOS 29623 HAS SOPS 29623 HAS SOUS 20028 HAS SOUPS 20028 WITH SCORE 20057.623
AT ITER 1473 NEW BEST:: SOT 77622 SOS 29600 HAS SOPS 29600 HAS SOUS 19988 HAS SOUPS 19988 WITH SCORE 20017.6
AT ITER 1490 NEW BEST:: SOT 77622 SOS 29576 HAS SOPS 29576 HAS SOUS 19976 HAS SOUPS 19976 WITH SCORE 20005.576
AT ITER 1492 NEW BEST:: SOT 77612 SOS 29521 HAS SOPS 29521 HAS SOUS 19956 HAS SOUPS 19956 WITH SCORE 19985.521
AT ITER 1495 NEW BEST:: SOT 77575 SOS 29447 HAS SOPS 29447 HAS SOUS 19946 HAS SOUPS 19946 WITH SCORE 19975.447
AT ITER 1517 NEW BEST:: SOT 77574 SOS 29419 HAS SOPS 29419 HAS SOUS 19944 HAS SOUPS 19944 WITH SCORE 19973.419
AT ITER 1521 NEW BEST:: SOT 77524 SOS 29464 HAS SOPS 29464 HAS SOUS 19907 HAS SOUPS 19907 WITH SCORE 19936.464
AT ITER 1526 NEW BEST:: SOT 77514 SOS 29420 HAS SOPS 29420 HAS SOUS 19887 HAS SOUPS 19887 WITH SCORE 19916.42
AT ITER 1528 NEW BEST:: SOT 77481 SOS 29354 HAS SOPS 29354 HAS SOUS 19854 HAS SOUPS 19854 WITH SCORE 19883.354
AT ITER 1530 NEW BEST:: SOT 77476 SOS 29339 HAS SOPS 29339 HAS SOUS 19844 HAS SOUPS 19844 WITH SCORE 19873.339
AT ITER 1539 NEW BEST:: SOT 77466 SOS 29329 HAS SOPS 29329 HAS SOUS 19834 HAS SOUPS 19834 WITH SCORE 19863.329
AT ITER 1560 NEW BEST:: SOT 77466 SOS 29329 HAS SOPS 29329 HAS SOUS 19772 HAS SOUPS 19772 WITH SCORE 19801.329
AT ITER 1569 NEW BEST:: SOT 77465 SOS 29328 HAS SOPS 29328 HAS SOUS 19770 HAS SOUPS 19770 WITH SCORE 19799.328
AT ITER 1574 NEW BEST:: SOT 77464 SOS 29304 HAS SOPS 29304 HAS SOUS 19763 HAS SOUPS 19763 WITH SCORE 19792.304
AT ITER 1576 NEW BEST:: SOT 77487 SOS 29302 HAS SOPS 29302 HAS SOUS 19761 HAS SOUPS 19761 WITH SCORE 19790.302
AT ITER 1584 NEW BEST:: SOT 77447 SOS 29232 HAS SOPS 29232 HAS SOUS 19706 HAS SOUPS 19706 WITH SCORE 19735.232
AT ITER 1625 NEW BEST:: SOT 77442 SOS 29227 HAS SOPS 29227 HAS SOUS 19696 HAS SOUPS 19696 WITH SCORE 19725.227
AT ITER 1636 NEW BEST:: SOT 77441 SOS 29227 HAS SOPS 29227 HAS SOUS 19695 HAS SOUPS 19695 WITH SCORE 19724.227
AT ITER 1647 NEW BEST:: SOT 77388 SOS 29121 HAS SOPS 29121 HAS SOUS 19623 HAS SOUPS 19623 WITH SCORE 19652.121
AT ITER 1654 NEW BEST:: SOT 77386 SOS 29102 HAS SOPS 29102 HAS SOUS 19602 HAS SOUPS 19602 WITH SCORE 19631.102
AT ITER 1664 NEW BEST:: SOT 77375 SOS 29057 HAS SOPS 29057 HAS SOUS 19584 HAS SOUPS 19584 WITH SCORE 19613.057
AT ITER 1665 NEW BEST:: SOT 77306 SOS 28988 HAS SOPS 28988 HAS SOUS 19584 HAS SOUPS 19584 WITH SCORE 19612.988
AT ITER 1675 NEW BEST:: SOT 77290 SOS 28956 HAS SOPS 28956 HAS SOUS 19552 HAS SOUPS 19552 WITH SCORE 19580.956
AT ITER 1690 NEW BEST:: SOT 77310 SOS 28996 HAS SOPS 28996 HAS SOUS 19504 HAS SOUPS 19504 WITH SCORE 19532.996
AT ITER 1698 NEW BEST:: SOT 77303 SOS 28982 HAS SOPS 28982 HAS SOUS 19490 HAS SOUPS 19490 WITH SCORE 19518.982
AT ITER 1704 NEW BEST:: SOT 77312 SOS 29000 HAS SOPS 29000 HAS SOUS 19466 HAS SOUPS 19466 WITH SCORE 19495.0
AT ITER 1706 NEW BEST:: SOT 77148 SOS 28755 HAS SOPS 28755 HAS SOUS 19242 HAS SOUPS 19242 WITH SCORE 19270.755
AT ITER 1713 NEW BEST:: SOT 77141 SOS 28748 HAS SOPS 28748 HAS SOUS 19235 HAS SOUPS 19235 WITH SCORE 19263.748
AT ITER 1727 NEW BEST:: SOT 77141 SOS 28748 HAS SOPS 28748 HAS SOUS 19215 HAS SOUPS 19215 WITH SCORE 19243.748
AT ITER 1745 NEW BEST:: SOT 77148 SOS 28753 HAS SOPS 28753 HAS SOUS 19211 HAS SOUPS 19211 WITH SCORE 19239.753
AT ITER 1750 NEW BEST:: SOT 77140 SOS 28708 HAS SOPS 28708 HAS SOUS 19195 HAS SOUPS 19195 WITH SCORE 19223.708
AT ITER 1751 NEW BEST:: SOT 77120 SOS 28668 HAS SOPS 28668 HAS SOUS 19155 HAS SOUPS 19155 WITH SCORE 19183.668
AT ITER 1752 NEW BEST:: SOT 77119 SOS 28721 HAS SOPS 28721 HAS SOUS 19124 HAS SOUPS 19124 WITH SCORE 19152.721
AT ITER 1755 NEW BEST:: SOT 77111 SOS 28705 HAS SOPS 28705 HAS SOUS 19108 HAS SOUPS 19108 WITH SCORE 19136.705
AT ITER 1759 NEW BEST:: SOT 77110 SOS 28690 HAS SOPS 28690 HAS SOUS 19106 HAS SOUPS 19106 WITH SCORE 19134.69
AT ITER 1794 NEW BEST:: SOT 77098 SOS 28682 HAS SOPS 28682 HAS SOUS 19101 HAS SOUPS 19101 WITH SCORE 19129.682
AT ITER 1796 NEW BEST:: SOT 77088 SOS 28589 HAS SOPS 28589 HAS SOUS 19081 HAS SOUPS 19081 WITH SCORE 19109.589
AT ITER 1812 NEW BEST:: SOT 77062 SOS 28537 HAS SOPS 28537 HAS SOUS 19027 HAS SOUPS 19027 WITH SCORE 19055.537
AT ITER 1820 NEW BEST:: SOT 77059 SOS 28534 HAS SOPS 28534 HAS SOUS 19019 HAS SOUPS 19019 WITH SCORE 19047.534
AT ITER 1825 NEW BEST:: SOT 77050 SOS 28496 HAS SOPS 28496 HAS SOUS 19001 HAS SOUPS 19001 WITH SCORE 19029.496
AT ITER 1851 NEW BEST:: SOT 77039 SOS 28485 HAS SOPS 28485 HAS SOUS 18990 HAS SOUPS 18990 WITH SCORE 19018.485
AT ITER 1852 NEW BEST:: SOT 76984 SOS 28375 HAS SOPS 28375 HAS SOUS 18935 HAS SOUPS 18935 WITH SCORE 18963.375
AT ITER 1854 NEW BEST:: SOT 76977 SOS 28368 HAS SOPS 28368 HAS SOUS 18921 HAS SOUPS 18921 WITH SCORE 18949.368
AT ITER 1869 NEW BEST:: SOT 76977 SOS 28331 HAS SOPS 28331 HAS SOUS 18884 HAS SOUPS 18884 WITH SCORE 18912.331
AT ITER 1871 NEW BEST:: SOT 76988 SOS 28328 HAS SOPS 28328 HAS SOUS 18870 HAS SOUPS 18870 WITH SCORE 18898.328
AT ITER 1891 NEW BEST:: SOT 76982 SOS 28316 HAS SOPS 28316 HAS SOUS 18864 HAS SOUPS 18864 WITH SCORE 18892.316
AT ITER 1931 NEW BEST:: SOT 76904 SOS 28260 HAS SOPS 28260 HAS SOUS 18821 HAS SOUPS 18821 WITH SCORE 18849.26
AT ITER 1933 NEW BEST:: SOT 76902 SOS 28258 HAS SOPS 28258 HAS SOUS 18817 HAS SOUPS 18817 WITH SCORE 18845.258
AT ITER 1938 NEW BEST:: SOT 76898 SOS 28250 HAS SOPS 28250 HAS SOUS 18809 HAS SOUPS 18809 WITH SCORE 18837.25
AT ITER 1940 NEW BEST:: SOT 76861 SOS 28217 HAS SOPS 28217 HAS SOUS 18796 HAS SOUPS 18796 WITH SCORE 18824.217
AT ITER 1970 NEW BEST:: SOT 76850 SOS 28223 HAS SOPS 28223 HAS SOUS 18762 HAS SOUPS 18762 WITH SCORE 18790.223
AT ITER 1972 NEW BEST:: SOT 76809 SOS 28197 HAS SOPS 28197 HAS SOUS 18721 HAS SOUPS 18721 WITH SCORE 18749.197
AT ITER 2006 NEW BEST:: SOT 76803 SOS 28189 HAS SOPS 28189 HAS SOUS 18715 HAS SOUPS 18715 WITH SCORE 18743.189
AT ITER 2014 NEW BEST:: SOT 76795 SOS 28173 HAS SOPS 28173 HAS SOUS 18699 HAS SOUPS 18699 WITH SCORE 18727.173
AT ITER 2018 NEW BEST:: SOT 76771 SOS 28171 HAS SOPS 28171 HAS SOUS 18697 HAS SOUPS 18697 WITH SCORE 18725.171
AT ITER 2032 NEW BEST:: SOT 76771 SOS 27529 HAS SOPS 27529 HAS SOUS 18651 HAS SOUPS 18651 WITH SCORE 18678.529
AT ITER 2054 NEW BEST:: SOT 76736 SOS 27459 HAS SOPS 27459 HAS SOUS 18592 HAS SOUPS 18592 WITH SCORE 18619.459
AT ITER 2058 NEW BEST:: SOT 76736 SOS 27439 HAS SOPS 27439 HAS SOUS 18572 HAS SOUPS 18572 WITH SCORE 18599.439
AT ITER 2065 NEW BEST:: SOT 76735 SOS 27437 HAS SOPS 27437 HAS SOUS 18570 HAS SOUPS 18570 WITH SCORE 18597.437
AT ITER 2076 NEW BEST:: SOT 76721 SOS 27423 HAS SOPS 27423 HAS SOUS 18556 HAS SOUPS 18556 WITH SCORE 18583.423
AT ITER 2089 NEW BEST:: SOT 76700 SOS 27432 HAS SOPS 27432 HAS SOUS 18544 HAS SOUPS 18544 WITH SCORE 18571.432
AT ITER 2094 NEW BEST:: SOT 76689 SOS 27411 HAS SOPS 27411 HAS SOUS 18522 HAS SOUPS 18522 WITH SCORE 18549.411
AT ITER 2103 NEW BEST:: SOT 76689 SOS 27404 HAS SOPS 27404 HAS SOUS 18522 HAS SOUPS 18522 WITH SCORE 18549.404
AT ITER 2109 NEW BEST:: SOT 76689 SOS 27385 HAS SOPS 27385 HAS SOUS 18522 HAS SOUPS 18522 WITH SCORE 18549.385
AT ITER 2121 NEW BEST:: SOT 76688 SOS 27383 HAS SOPS 27383 HAS SOUS 18520 HAS SOUPS 18520 WITH SCORE 18547.383
AT ITER 2130 NEW BEST:: SOT 76678 SOS 27363 HAS SOPS 27363 HAS SOUS 18500 HAS SOUPS 18500 WITH SCORE 18527.363
AT ITER 2174 NEW BEST:: SOT 76674 SOS 27359 HAS SOPS 27359 HAS SOUS 18496 HAS SOUPS 18496 WITH SCORE 18523.359
AT ITER 2178 NEW BEST:: SOT 76648 SOS 27365 HAS SOPS 27365 HAS SOUS 18484 HAS SOUPS 18484 WITH SCORE 18511.365
AT ITER 2180 NEW BEST:: SOT 76649 SOS 27367 HAS SOPS 27367 HAS SOUS 18460 HAS SOUPS 18460 WITH SCORE 18487.367
AT ITER 2182 NEW BEST:: SOT 76648 SOS 27365 HAS SOPS 27365 HAS SOUS 18459 HAS SOUPS 18459 WITH SCORE 18486.365
AT ITER 2185 NEW BEST:: SOT 76639 SOS 27347 HAS SOPS 27347 HAS SOUS 18450 HAS SOUPS 18450 WITH SCORE 18477.347
AT ITER 2207 NEW BEST:: SOT 76634 SOS 27309 HAS SOPS 27309 HAS SOUS 18433 HAS SOUPS 18433 WITH SCORE 18460.309
AT ITER 2218 NEW BEST:: SOT 76633 SOS 27307 HAS SOPS 27307 HAS SOUS 18431 HAS SOUPS 18431 WITH SCORE 18458.307
AT ITER 2227 NEW BEST:: SOT 76652 SOS 27284 HAS SOPS 27284 HAS SOUS 18427 HAS SOUPS 18427 WITH SCORE 18454.284
AT ITER 2237 NEW BEST:: SOT 76634 SOS 27266 HAS SOPS 27266 HAS SOUS 18427 HAS SOUPS 18427 WITH SCORE 18454.266
AT ITER 2248 NEW BEST:: SOT 76628 SOS 27254 HAS SOPS 27254 HAS SOUS 18415 HAS SOUPS 18415 WITH SCORE 18442.254
AT ITER 2256 NEW BEST:: SOT 76609 SOS 27214 HAS SOPS 27214 HAS SOUS 18377 HAS SOUPS 18377 WITH SCORE 18404.214
AT ITER 2260 NEW BEST:: SOT 76593 SOS 27182 HAS SOPS 27182 HAS SOUS 18345 HAS SOUPS 18345 WITH SCORE 18372.182
AT ITER 2263 NEW BEST:: SOT 76590 SOS 27176 HAS SOPS 27176 HAS SOUS 18339 HAS SOUPS 18339 WITH SCORE 18366.176
AT ITER 2294 NEW BEST:: SOT 76588 SOS 27172 HAS SOPS 27172 HAS SOUS 18335 HAS SOUPS 18335 WITH SCORE 18362.172
AT ITER 2313 NEW BEST:: SOT 76571 SOS 27138 HAS SOPS 27138 HAS SOUS 18318 HAS SOUPS 18318 WITH SCORE 18345.138
AT ITER 2320 NEW BEST:: SOT 76571 SOS 27138 HAS SOPS 27138 HAS SOUS 18317 HAS SOUPS 18317 WITH SCORE 18344.138
AT ITER 2344 NEW BEST:: SOT 76567 SOS 27071 HAS SOPS 27071 HAS SOUS 18309 HAS SOUPS 18309 WITH SCORE 18336.071
AT ITER 2347 NEW BEST:: SOT 76535 SOS 27000 HAS SOPS 27000 HAS SOUS 18254 HAS SOUPS 18254 WITH SCORE 18281.0
AT ITER 2361 NEW BEST:: SOT 76466 SOS 26921 HAS SOPS 26921 HAS SOUS 18204 HAS SOUPS 18204 WITH SCORE 18230.921
AT ITER 2366 NEW BEST:: SOT 76447 SOS 26883 HAS SOPS 26883 HAS SOUS 18185 HAS SOUPS 18185 WITH SCORE 18211.883
AT ITER 2368 NEW BEST:: SOT 76363 SOS 26805 HAS SOPS 26805 HAS SOUS 18107 HAS SOUPS 18107 WITH SCORE 18133.805
AT ITER 2380 NEW BEST:: SOT 76331 SOS 26775 HAS SOPS 26775 HAS SOUS 18065 HAS SOUPS 18065 WITH SCORE 18091.775
AT ITER 2392 NEW BEST:: SOT 76317 SOS 26711 HAS SOPS 26711 HAS SOUS 18037 HAS SOUPS 18037 WITH SCORE 18063.711
AT ITER 2409 NEW BEST:: SOT 76340 SOS 26747 HAS SOPS 26747 HAS SOUS 18032 HAS SOUPS 18032 WITH SCORE 18058.747
AT ITER 2424 NEW BEST:: SOT 76340 SOS 26747 HAS SOPS 26747 HAS SOUS 18010 HAS SOUPS 18010 WITH SCORE 18036.747
AT ITER 2430 NEW BEST:: SOT 76338 SOS 26743 HAS SOPS 26743 HAS SOUS 18006 HAS SOUPS 18006 WITH SCORE 18032.743
AT ITER 2506 NEW BEST:: SOT 76327 SOS 26732 HAS SOPS 26732 HAS SOUS 17999 HAS SOUPS 17999 WITH SCORE 18025.732
AT ITER 2519 NEW BEST:: SOT 76297 SOS 27440 HAS SOPS 27440 HAS SOUS 17985 HAS SOUPS 17985 WITH SCORE 18012.44
AT ITER 2545 NEW BEST:: SOT 76293 SOS 27432 HAS SOPS 27432 HAS SOUS 17977 HAS SOUPS 17977 WITH SCORE 18004.432
AT ITER 2550 NEW BEST:: SOT 76267 SOS 27406 HAS SOPS 27406 HAS SOUS 17925 HAS SOUPS 17925 WITH SCORE 17952.406
AT ITER 2565 NEW BEST:: SOT 76256 SOS 27372 HAS SOPS 27372 HAS SOUS 17903 HAS SOUPS 17903 WITH SCORE 17930.372
AT ITER 2568 NEW BEST:: SOT 76256 SOS 27371 HAS SOPS 27371 HAS SOUS 17902 HAS SOUPS 17902 WITH SCORE 17929.371
AT ITER 2569 NEW BEST:: SOT 76226 SOS 27311 HAS SOPS 27311 HAS SOUS 17872 HAS SOUPS 17872 WITH SCORE 17899.311
AT ITER 2599 NEW BEST:: SOT 76213 SOS 27285 HAS SOPS 27285 HAS SOUS 17869 HAS SOUPS 17869 WITH SCORE 17896.285
AT ITER 2600 NEW BEST:: SOT 76213 SOS 27260 HAS SOPS 27260 HAS SOUS 17869 HAS SOUPS 17869 WITH SCORE 17896.26
AT ITER 2603 NEW BEST:: SOT 76219 SOS 27145 HAS SOPS 27145 HAS SOUS 17861 HAS SOUPS 17861 WITH SCORE 17888.145
AT ITER 2610 NEW BEST:: SOT 76219 SOS 27132 HAS SOPS 27132 HAS SOUS 17835 HAS SOUPS 17835 WITH SCORE 17862.132
AT ITER 2614 NEW BEST:: SOT 76212 SOS 27127 HAS SOPS 27127 HAS SOUS 17829 HAS SOUPS 17829 WITH SCORE 17856.127
AT ITER 2625 NEW BEST:: SOT 76168 SOS 26989 HAS SOPS 26989 HAS SOUS 17691 HAS SOUPS 17691 WITH SCORE 17717.989
AT ITER 2634 NEW BEST:: SOT 76139 SOS 26931 HAS SOPS 26931 HAS SOUS 17633 HAS SOUPS 17633 WITH SCORE 17659.931
AT ITER 2635 NEW BEST:: SOT 76098 SOS 26890 HAS SOPS 26890 HAS SOUS 17551 HAS SOUPS 17551 WITH SCORE 17577.89
AT ITER 2723 NEW BEST:: SOT 76069 SOS 27632 HAS SOPS 27632 HAS SOUS 17549 HAS SOUPS 17549 WITH SCORE 17576.632
AT ITER 2730 NEW BEST:: SOT 76068 SOS 27630 HAS SOPS 27630 HAS SOUS 17548 HAS SOUPS 17548 WITH SCORE 17575.63
AT ITER 2732 NEW BEST:: SOT 76060 SOS 27592 HAS SOPS 27592 HAS SOUS 17532 HAS SOUPS 17532 WITH SCORE 17559.592
AT ITER 2741 NEW BEST:: SOT 76060 SOS 27593 HAS SOPS 27593 HAS SOUS 17531 HAS SOUPS 17531 WITH SCORE 17558.593
AT ITER 2756 NEW BEST:: SOT 76042 SOS 27539 HAS SOPS 27539 HAS SOUS 17495 HAS SOUPS 17495 WITH SCORE 17522.539
AT ITER 2792 NEW BEST:: SOT 76037 SOS 27524 HAS SOPS 27524 HAS SOUS 17485 HAS SOUPS 17485 WITH SCORE 17512.524
AT ITER 2827 NEW BEST:: SOT 76037 SOS 27520 HAS SOPS 27520 HAS SOUS 17485 HAS SOUPS 17485 WITH SCORE 17512.52
AT ITER 2828 NEW BEST:: SOT 76038 SOS 27536 HAS SOPS 27536 HAS SOUS 17472 HAS SOUPS 17472 WITH SCORE 17499.536
AT ITER 2847 NEW BEST:: SOT 76034 SOS 27553 HAS SOPS 27553 HAS SOUS 17464 HAS SOUPS 17464 WITH SCORE 17491.553
AT ITER 2848 NEW BEST:: SOT 76012 SOS 27504 HAS SOPS 27504 HAS SOUS 17413 HAS SOUPS 17413 WITH SCORE 17440.504
AT ITER 2849 NEW BEST:: SOT 76012 SOS 27499 HAS SOPS 27499 HAS SOUS 17413 HAS SOUPS 17413 WITH SCORE 17440.499
AT ITER 2863 NEW BEST:: SOT 76012 SOS 27484 HAS SOPS 27484 HAS SOUS 17413 HAS SOUPS 17413 WITH SCORE 17440.484
AT ITER 2866 NEW BEST:: SOT 75988 SOS 27424 HAS SOPS 27424 HAS SOUS 17365 HAS SOUPS 17365 WITH SCORE 17392.424
AT ITER 2877 NEW BEST:: SOT 75986 SOS 27397 HAS SOPS 27397 HAS SOUS 17361 HAS SOUPS 17361 WITH SCORE 17388.397
AT ITER 2903 NEW BEST:: SOT 75973 SOS 27390 HAS SOPS 27390 HAS SOUS 17354 HAS SOUPS 17354 WITH SCORE 17381.39
AT ITER 2904 NEW BEST:: SOT 75956 SOS 27373 HAS SOPS 27373 HAS SOUS 17339 HAS SOUPS 17339 WITH SCORE 17366.373
AT ITER 2906 NEW BEST:: SOT 75956 SOS 27373 HAS SOPS 27373 HAS SOUS 17332 HAS SOUPS 17332 WITH SCORE 17359.373
AT ITER 2907 NEW BEST:: SOT 75954 SOS 27321 HAS SOPS 27321 HAS SOUS 17308 HAS SOUPS 17308 WITH SCORE 17335.321
AT ITER 2910 NEW BEST:: SOT 75937 SOS 27237 HAS SOPS 27237 HAS SOUS 17253 HAS SOUPS 17253 WITH SCORE 17280.237
AT ITER 2917 NEW BEST:: SOT 75863 SOS 27163 HAS SOPS 27163 HAS SOUS 17167 HAS SOUPS 17167 WITH SCORE 17194.163
AT ITER 2937 NEW BEST:: SOT 75855 SOS 27147 HAS SOPS 27147 HAS SOUS 17159 HAS SOUPS 17159 WITH SCORE 17186.147
AT ITER 2951 NEW BEST:: SOT 75854 SOS 27146 HAS SOPS 27146 HAS SOUS 17157 HAS SOUPS 17157 WITH SCORE 17184.146
AT ITER 2954 NEW BEST:: SOT 75853 SOS 27144 HAS SOPS 27144 HAS SOUS 17155 HAS SOUPS 17155 WITH SCORE 17182.144
AT ITER 2971 NEW BEST:: SOT 75853 SOS 27133 HAS SOPS 27133 HAS SOUS 17155 HAS SOUPS 17155 WITH SCORE 17182.133
AT ITER 2973 NEW BEST:: SOT 75853 SOS 27117 HAS SOPS 27117 HAS SOUS 17139 HAS SOUPS 17139 WITH SCORE 17166.117
AT ITER 2997 NEW BEST:: SOT 75842 SOS 27084 HAS SOPS 27084 HAS SOUS 17128 HAS SOUPS 17128 WITH SCORE 17155.084
AT ITER 3018 NEW BEST:: SOT 75873 SOS 27066 HAS SOPS 27066 HAS SOUS 17117 HAS SOUPS 17117 WITH SCORE 17144.066
AT ITER 3031 NEW BEST:: SOT 75864 SOS 27048 HAS SOPS 27048 HAS SOUS 17099 HAS SOUPS 17099 WITH SCORE 17126.048
AT ITER 3095 NEW BEST:: SOT 75853 SOS 27020 HAS SOPS 27020 HAS SOUS 17071 HAS SOUPS 17071 WITH SCORE 17098.02
AT ITER 3096 NEW BEST:: SOT 75826 SOS 26966 HAS SOPS 26966 HAS SOUS 17017 HAS SOUPS 17017 WITH SCORE 17043.966
AT ITER 3098 NEW BEST:: SOT 75772 SOS 26919 HAS SOPS 26919 HAS SOUS 16970 HAS SOUPS 16970 WITH SCORE 16996.919
AT ITER 3107 NEW BEST:: SOT 75754 SOS 26872 HAS SOPS 26872 HAS SOUS 16894 HAS SOUPS 16894 WITH SCORE 16920.872
AT ITER 3111 NEW BEST:: SOT 75731 SOS 26752 HAS SOPS 26752 HAS SOUS 16848 HAS SOUPS 16848 WITH SCORE 16874.752
AT ITER 3118 NEW BEST:: SOT 75731 SOS 26752 HAS SOPS 26752 HAS SOUS 16838 HAS SOUPS 16838 WITH SCORE 16864.752
AT ITER 3123 NEW BEST:: SOT 75731 SOS 26764 HAS SOPS 26764 HAS SOUS 16826 HAS SOUPS 16826 WITH SCORE 16852.764
AT ITER 3124 NEW BEST:: SOT 75727 SOS 26760 HAS SOPS 26760 HAS SOUS 16826 HAS SOUPS 16826 WITH SCORE 16852.76
AT ITER 3133 NEW BEST:: SOT 75717 SOS 26520 HAS SOPS 26520 HAS SOUS 16806 HAS SOUPS 16806 WITH SCORE 16832.52
AT ITER 3145 NEW BEST:: SOT 75700 SOS 26516 HAS SOPS 26516 HAS SOUS 16772 HAS SOUPS 16772 WITH SCORE 16798.516
AT ITER 3151 NEW BEST:: SOT 75688 SOS 26399 HAS SOPS 26399 HAS SOUS 16748 HAS SOUPS 16748 WITH SCORE 16774.399
AT ITER 3166 NEW BEST:: SOT 75615 SOS 26253 HAS SOPS 26253 HAS SOUS 16602 HAS SOUPS 16602 WITH SCORE 16628.253
AT ITER 3176 NEW BEST:: SOT 75614 SOS 26196 HAS SOPS 26196 HAS SOUS 16600 HAS SOUPS 16600 WITH SCORE 16626.196
AT ITER 3190 NEW BEST:: SOT 75583 SOS 26196 HAS SOPS 26196 HAS SOUS 16569 HAS SOUPS 16569 WITH SCORE 16595.196
AT ITER 3227 NEW BEST:: SOT 75566 SOS 26147 HAS SOPS 26147 HAS SOUS 16520 HAS SOUPS 16520 WITH SCORE 16546.147
AT ITER 3230 NEW BEST:: SOT 75555 SOS 26148 HAS SOPS 26148 HAS SOUS 16498 HAS SOUPS 16498 WITH SCORE 16524.148
AT ITER 3232 NEW BEST:: SOT 75555 SOS 26148 HAS SOPS 26148 HAS SOUS 16497 HAS SOUPS 16497 WITH SCORE 16523.148
AT ITER 3250 NEW BEST:: SOT 75539 SOS 26140 HAS SOPS 26140 HAS SOUS 16457 HAS SOUPS 16457 WITH SCORE 16483.14
AT ITER 3265 NEW BEST:: SOT 75535 SOS 26136 HAS SOPS 26136 HAS SOUS 16453 HAS SOUPS 16453 WITH SCORE 16479.136
AT ITER 3291 NEW BEST:: SOT 75535 SOS 26121 HAS SOPS 26121 HAS SOUS 16413 HAS SOUPS 16413 WITH SCORE 16439.121
AT ITER 3292 NEW BEST:: SOT 75534 SOS 26107 HAS SOPS 26107 HAS SOUS 16398 HAS SOUPS 16398 WITH SCORE 16424.107
AT ITER 3308 NEW BEST:: SOT 75535 SOS 26102 HAS SOPS 26102 HAS SOUS 16394 HAS SOUPS 16394 WITH SCORE 16420.102
AT ITER 3330 NEW BEST:: SOT 75488 SOS 26008 HAS SOPS 26008 HAS SOUS 16281 HAS SOUPS 16281 WITH SCORE 16307.008
AT ITER 3350 NEW BEST:: SOT 75479 SOS 25990 HAS SOPS 25990 HAS SOUS 16263 HAS SOUPS 16263 WITH SCORE 16288.99
AT ITER 3361 NEW BEST:: SOT 75477 SOS 25986 HAS SOPS 25986 HAS SOUS 16257 HAS SOUPS 16257 WITH SCORE 16282.986
AT ITER 3370 NEW BEST:: SOT 75471 SOS 25962 HAS SOPS 25962 HAS SOUS 16245 HAS SOUPS 16245 WITH SCORE 16270.962
AT ITER 3381 NEW BEST:: SOT 75469 SOS 25958 HAS SOPS 25958 HAS SOUS 16241 HAS SOUPS 16241 WITH SCORE 16266.958
AT ITER 3388 NEW BEST:: SOT 75476 SOS 25914 HAS SOPS 25914 HAS SOUS 16205 HAS SOUPS 16205 WITH SCORE 16230.914
AT ITER 3394 NEW BEST:: SOT 75443 SOS 25832 HAS SOPS 25832 HAS SOUS 16173 HAS SOUPS 16173 WITH SCORE 16198.832
AT ITER 3410 NEW BEST:: SOT 75429 SOS 25803 HAS SOPS 25803 HAS SOUS 16156 HAS SOUPS 16156 WITH SCORE 16181.803
AT ITER 3417 NEW BEST:: SOT 75427 SOS 25799 HAS SOPS 25799 HAS SOUS 16152 HAS SOUPS 16152 WITH SCORE 16177.799
AT ITER 3453 NEW BEST:: SOT 75290 SOS 25626 HAS SOPS 25626 HAS SOUS 15979 HAS SOUPS 15979 WITH SCORE 16004.626
AT ITER 3464 NEW BEST:: SOT 75290 SOS 25633 HAS SOPS 25633 HAS SOUS 15974 HAS SOUPS 15974 WITH SCORE 15999.633
AT ITER 3479 NEW BEST:: SOT 75252 SOS 25587 HAS SOPS 25587 HAS SOUS 15936 HAS SOUPS 15936 WITH SCORE 15961.587
AT ITER 3481 NEW BEST:: SOT 75266 SOS 25598 HAS SOPS 25598 HAS SOUS 15933 HAS SOUPS 15933 WITH SCORE 15958.598
AT ITER 3510 NEW BEST:: SOT 75241 SOS 25548 HAS SOPS 25548 HAS SOUS 15930 HAS SOUPS 15930 WITH SCORE 15955.548
AT ITER 3555 NEW BEST:: SOT 75224 SOS 25514 HAS SOPS 25514 HAS SOUS 15896 HAS SOUPS 15896 WITH SCORE 15921.514
AT ITER 3577 NEW BEST:: SOT 75221 SOS 25513 HAS SOPS 25513 HAS SOUS 15894 HAS SOUPS 15894 WITH SCORE 15919.513
AT ITER 3579 NEW BEST:: SOT 75216 SOS 25453 HAS SOPS 25453 HAS SOUS 15884 HAS SOUPS 15884 WITH SCORE 15909.453
AT ITER 3584 NEW BEST:: SOT 75219 SOS 25456 HAS SOPS 25456 HAS SOUS 15859 HAS SOUPS 15859 WITH SCORE 15884.456
AT ITER 3589 NEW BEST:: SOT 75218 SOS 25454 HAS SOPS 25454 HAS SOUS 15857 HAS SOUPS 15857 WITH SCORE 15882.454
AT ITER 3596 NEW BEST:: SOT 75214 SOS 25450 HAS SOPS 25450 HAS SOUS 15853 HAS SOUPS 15853 WITH SCORE 15878.45
AT ITER 3617 NEW BEST:: SOT 75195 SOS 25412 HAS SOPS 25412 HAS SOUS 15827 HAS SOUPS 15827 WITH SCORE 15852.412
AT ITER 3646 NEW BEST:: SOT 75241 SOS 25437 HAS SOPS 25437 HAS SOUS 15785 HAS SOUPS 15785 WITH SCORE 15810.437
AT ITER 3649 NEW BEST:: SOT 75241 SOS 25436 HAS SOPS 25436 HAS SOUS 15785 HAS SOUPS 15785 WITH SCORE 15810.436
AT ITER 3685 NEW BEST:: SOT 75236 SOS 25427 HAS SOPS 25427 HAS SOUS 15779 HAS SOUPS 15779 WITH SCORE 15804.427
AT ITER 3689 NEW BEST:: SOT 75236 SOS 25387 HAS SOPS 25387 HAS SOUS 15779 HAS SOUPS 15779 WITH SCORE 15804.387
AT ITER 3692 NEW BEST:: SOT 75236 SOS 25358 HAS SOPS 25358 HAS SOUS 15779 HAS SOUPS 15779 WITH SCORE 15804.358
AT ITER 3748 NEW BEST:: SOT 75218 SOS 25338 HAS SOPS 25338 HAS SOUS 15759 HAS SOUPS 15759 WITH SCORE 15784.338
AT ITER 3798 NEW BEST:: SOT 75238 SOS 25358 HAS SOPS 25358 HAS SOUS 15732 HAS SOUPS 15732 WITH SCORE 15757.358
AT ITER 3838 NEW BEST:: SOT 75244 SOS 25309 HAS SOPS 25309 HAS SOUS 15677 HAS SOUPS 15677 WITH SCORE 15702.309
AT ITER 3847 NEW BEST:: SOT 75244 SOS 25259 HAS SOPS 25259 HAS SOUS 15677 HAS SOUPS 15677 WITH SCORE 15702.259
AT ITER 3856 NEW BEST:: SOT 75161 SOS 25195 HAS SOPS 25195 HAS SOUS 15613 HAS SOUPS 15613 WITH SCORE 15638.195
AT ITER 3893 NEW BEST:: SOT 75161 SOS 25195 HAS SOPS 25195 HAS SOUS 15611 HAS SOUPS 15611 WITH SCORE 15636.195
AT ITER 3925 NEW BEST:: SOT 75145 SOS 25179 HAS SOPS 25179 HAS SOUS 15595 HAS SOUPS 15595 WITH SCORE 15620.179
AT ITER 3977 NEW BEST:: SOT 75133 SOS 25171 HAS SOPS 25171 HAS SOUS 15587 HAS SOUPS 15587 WITH SCORE 15612.171
AT ITER 3984 NEW BEST:: SOT 75129 SOS 25163 HAS SOPS 25163 HAS SOUS 15562 HAS SOUPS 15562 WITH SCORE 15587.163
AT ITER 3985 NEW BEST:: SOT 75126 SOS 25157 HAS SOPS 25157 HAS SOUS 15556 HAS SOUPS 15556 WITH SCORE 15581.157
AT ITER 3995 NEW BEST:: SOT 75126 SOS 25152 HAS SOPS 25152 HAS SOUS 15556 HAS SOUPS 15556 WITH SCORE 15581.152
AT ITER 4003 NEW BEST:: SOT 75126 SOS 25110 HAS SOPS 25110 HAS SOUS 15514 HAS SOUPS 15514 WITH SCORE 15539.11
AT ITER 4095 NEW BEST:: SOT 75118 SOS 25074 HAS SOPS 25074 HAS SOUS 15478 HAS SOUPS 15478 WITH SCORE 15503.074
AT ITER 4160 NEW BEST:: SOT 75101 SOS 25040 HAS SOPS 25040 HAS SOUS 15444 HAS SOUPS 15444 WITH SCORE 15469.04
AT ITER 4170 NEW BEST:: SOT 75097 SOS 25015 HAS SOPS 25015 HAS SOUS 15429 HAS SOUPS 15429 WITH SCORE 15454.015
AT ITER 4180 NEW BEST:: SOT 75094 SOS 25012 HAS SOPS 25012 HAS SOUS 15423 HAS SOUPS 15423 WITH SCORE 15448.012
AT ITER 4212 NEW BEST:: SOT 75094 SOS 25008 HAS SOPS 25008 HAS SOUS 15419 HAS SOUPS 15419 WITH SCORE 15444.008
AT ITER 4213 NEW BEST:: SOT 75090 SOS 25000 HAS SOPS 25000 HAS SOUS 15415 HAS SOUPS 15415 WITH SCORE 15440.0
AT ITER 4217 NEW BEST:: SOT 75088 SOS 24996 HAS SOPS 24996 HAS SOUS 15414 HAS SOUPS 15414 WITH SCORE 15438.996
AT ITER 4241 NEW BEST:: SOT 75083 SOS 24987 HAS SOPS 24987 HAS SOUS 15409 HAS SOUPS 15409 WITH SCORE 15433.987
AT ITER 4268 NEW BEST:: SOT 75059 SOS 24931 HAS SOPS 24931 HAS SOUS 15361 HAS SOUPS 15361 WITH SCORE 15385.931
AT ITER 4284 NEW BEST:: SOT 75054 SOS 24921 HAS SOPS 24921 HAS SOUS 15351 HAS SOUPS 15351 WITH SCORE 15375.921
AT ITER 4293 NEW BEST:: SOT 75034 SOS 24891 HAS SOPS 24891 HAS SOUS 15311 HAS SOUPS 15311 WITH SCORE 15335.891
AT ITER 4296 NEW BEST:: SOT 75024 SOS 24884 HAS SOPS 24884 HAS SOUS 15296 HAS SOUPS 15296 WITH SCORE 15320.884
AT ITER 4310 NEW BEST:: SOT 75013 SOS 24862 HAS SOPS 24862 HAS SOUS 15273 HAS SOUPS 15273 WITH SCORE 15297.862
AT ITER 4353 NEW BEST:: SOT 74995 SOS 24844 HAS SOPS 24844 HAS SOUS 15255 HAS SOUPS 15255 WITH SCORE 15279.844
AT ITER 4366 NEW BEST:: SOT 74995 SOS 24844 HAS SOPS 24844 HAS SOUS 15254 HAS SOUPS 15254 WITH SCORE 15278.844
AT ITER 4385 NEW BEST:: SOT 74991 SOS 24840 HAS SOPS 24840 HAS SOUS 15246 HAS SOUPS 15246 WITH SCORE 15270.84
AT ITER 4388 NEW BEST:: SOT 74962 SOS 24811 HAS SOPS 24811 HAS SOUS 15188 HAS SOUPS 15188 WITH SCORE 15212.811
AT ITER 4483 NEW BEST:: SOT 74961 SOS 24819 HAS SOPS 24819 HAS SOUS 15186 HAS SOUPS 15186 WITH SCORE 15210.819
AT ITER 4492 NEW BEST:: SOT 74947 SOS 24805 HAS SOPS 24805 HAS SOUS 15172 HAS SOUPS 15172 WITH SCORE 15196.805
AT ITER 4494 NEW BEST:: SOT 74905 SOS 24813 HAS SOPS 24813 HAS SOUS 15130 HAS SOUPS 15130 WITH SCORE 15154.813
AT ITER 4509 NEW BEST:: SOT 74841 SOS 24767 HAS SOPS 24767 HAS SOUS 15084 HAS SOUPS 15084 WITH SCORE 15108.767
AT ITER 4511 NEW BEST:: SOT 74840 SOS 24766 HAS SOPS 24766 HAS SOUS 15082 HAS SOUPS 15082 WITH SCORE 15106.766
AT ITER 4545 NEW BEST:: SOT 74840 SOS 24746 HAS SOPS 24746 HAS SOUS 15082 HAS SOUPS 15082 WITH SCORE 15106.746
AT ITER 4546 NEW BEST:: SOT 74826 SOS 24732 HAS SOPS 24732 HAS SOUS 15054 HAS SOUPS 15054 WITH SCORE 15078.732
AT ITER 4558 NEW BEST:: SOT 74826 SOS 24732 HAS SOPS 24732 HAS SOUS 15046 HAS SOUPS 15046 WITH SCORE 15070.732
AT ITER 4568 NEW BEST:: SOT 74832 SOS 24721 HAS SOPS 24721 HAS SOUS 15029 HAS SOUPS 15029 WITH SCORE 15053.721
AT ITER 4590 NEW BEST:: SOT 74831 SOS 24719 HAS SOPS 24719 HAS SOUS 15027 HAS SOUPS 15027 WITH SCORE 15051.719
AT ITER 4634 NEW BEST:: SOT 74822 SOS 24710 HAS SOPS 24710 HAS SOUS 15009 HAS SOUPS 15009 WITH SCORE 15033.71
AT ITER 4650 NEW BEST:: SOT 74806 SOS 24707 HAS SOPS 24707 HAS SOUS 15006 HAS SOUPS 15006 WITH SCORE 15030.707
AT ITER 4677 NEW BEST:: SOT 74812 SOS 24710 HAS SOPS 24710 HAS SOUS 15000 HAS SOUPS 15000 WITH SCORE 15024.71
AT ITER 4689 NEW BEST:: SOT 74786 SOS 24742 HAS SOPS 24742 HAS SOUS 14978 HAS SOUPS 14978 WITH SCORE 15002.742
AT ITER 4692 NEW BEST:: SOT 74768 SOS 24724 HAS SOPS 24724 HAS SOUS 14959 HAS SOUPS 14959 WITH SCORE 14983.724
AT ITER 4694 NEW BEST:: SOT 74769 SOS 24685 HAS SOPS 24685 HAS SOUS 14924 HAS SOUPS 14924 WITH SCORE 14948.685
AT ITER 4698 NEW BEST:: SOT 74759 SOS 24665 HAS SOPS 24665 HAS SOUS 14904 HAS SOUPS 14904 WITH SCORE 14928.665
AT ITER 4807 NEW BEST:: SOT 74752 SOS 24651 HAS SOPS 24651 HAS SOUS 14897 HAS SOUPS 14897 WITH SCORE 14921.651
AT ITER 4848 NEW BEST:: SOT 74772 SOS 24667 HAS SOPS 24667 HAS SOUS 14894 HAS SOUPS 14894 WITH SCORE 14918.667
AT ITER 4856 NEW BEST:: SOT 74758 SOS 24639 HAS SOPS 24639 HAS SOUS 14866 HAS SOUPS 14866 WITH SCORE 14890.639
AT ITER 4881 NEW BEST:: SOT 74767 SOS 24624 HAS SOPS 24624 HAS SOUS 14866 HAS SOUPS 14866 WITH SCORE 14890.624
AT ITER 4884 NEW BEST:: SOT 74761 SOS 24615 HAS SOPS 24615 HAS SOUS 14857 HAS SOUPS 14857 WITH SCORE 14881.615
AT ITER 4893 NEW BEST:: SOT 74760 SOS 24613 HAS SOPS 24613 HAS SOUS 14855 HAS SOUPS 14855 WITH SCORE 14879.613
AT ITER 4900 NEW BEST:: SOT 74760 SOS 24606 HAS SOPS 24606 HAS SOUS 14848 HAS SOUPS 14848 WITH SCORE 14872.606
AT ITER 4905 NEW BEST:: SOT 74749 SOS 24606 HAS SOPS 24606 HAS SOUS 14827 HAS SOUPS 14827 WITH SCORE 14851.606
AT ITER 4909 NEW BEST:: SOT 74737 SOS 24549 HAS SOPS 24549 HAS SOUS 14754 HAS SOUPS 14754 WITH SCORE 14778.549
AT ITER 4911 NEW BEST:: SOT 74728 SOS 24540 HAS SOPS 24540 HAS SOUS 14736 HAS SOUPS 14736 WITH SCORE 14760.54
AT ITER 4975 NEW BEST:: SOT 74725 SOS 24535 HAS SOPS 24535 HAS SOUS 14731 HAS SOUPS 14731 WITH SCORE 14755.535
AT ITER 4988 NEW BEST:: SOT 74713 SOS 24511 HAS SOPS 24511 HAS SOUS 14707 HAS SOUPS 14707 WITH SCORE 14731.511
AT ITER 4990 NEW BEST:: SOT 74709 SOS 24507 HAS SOPS 24507 HAS SOUS 14699 HAS SOUPS 14699 WITH SCORE 14723.507
AT ITER 5003 NEW BEST:: SOT 74709 SOS 24507 HAS SOPS 24507 HAS SOUS 14698 HAS SOUPS 14698 WITH SCORE 14722.507
AT ITER 5029 NEW BEST:: SOT 74709 SOS 24498 HAS SOPS 24498 HAS SOUS 14692 HAS SOUPS 14692 WITH SCORE 14716.498
AT ITER 5074 NEW BEST:: SOT 74708 SOS 24496 HAS SOPS 24496 HAS SOUS 14690 HAS SOUPS 14690 WITH SCORE 14714.496
AT ITER 5087 NEW BEST:: SOT 74703 SOS 24498 HAS SOPS 24498 HAS SOUS 14685 HAS SOUPS 14685 WITH SCORE 14709.498
AT ITER 5124 NEW BEST:: SOT 74692 SOS 24454 HAS SOPS 24454 HAS SOUS 14663 HAS SOUPS 14663 WITH SCORE 14687.454
AT ITER 5155 NEW BEST:: SOT 74656 SOS 24484 HAS SOPS 24484 HAS SOUS 14657 HAS SOUPS 14657 WITH SCORE 14681.484
AT ITER 5169 NEW BEST:: SOT 74656 SOS 24481 HAS SOPS 24481 HAS SOUS 14657 HAS SOUPS 14657 WITH SCORE 14681.481
AT ITER 5204 NEW BEST:: SOT 74649 SOS 24460 HAS SOPS 24460 HAS SOUS 14636 HAS SOUPS 14636 WITH SCORE 14660.46
AT ITER 5250 NEW BEST:: SOT 74649 SOS 24460 HAS SOPS 24460 HAS SOUS 14626 HAS SOUPS 14626 WITH SCORE 14650.46
AT ITER 5254 NEW BEST:: SOT 74635 SOS 24446 HAS SOPS 24446 HAS SOUS 14612 HAS SOUPS 14612 WITH SCORE 14636.446
AT ITER 5289 NEW BEST:: SOT 74623 SOS 24438 HAS SOPS 24438 HAS SOUS 14604 HAS SOUPS 14604 WITH SCORE 14628.438
AT ITER 5290 NEW BEST:: SOT 74598 SOS 24292 HAS SOPS 24292 HAS SOUS 14554 HAS SOUPS 14554 WITH SCORE 14578.292
AT ITER 5333 NEW BEST:: SOT 74576 SOS 24248 HAS SOPS 24248 HAS SOUS 14513 HAS SOUPS 14513 WITH SCORE 14537.248
AT ITER 5348 NEW BEST:: SOT 74545 SOS 24209 HAS SOPS 24209 HAS SOUS 14482 HAS SOUPS 14482 WITH SCORE 14506.209
AT ITER 5374 NEW BEST:: SOT 74545 SOS 24176 HAS SOPS 24176 HAS SOUS 14482 HAS SOUPS 14482 WITH SCORE 14506.176
AT ITER 5419 NEW BEST:: SOT 74544 SOS 24174 HAS SOPS 24174 HAS SOUS 14479 HAS SOUPS 14479 WITH SCORE 14503.174
AT ITER 5461 NEW BEST:: SOT 74541 SOS 24142 HAS SOPS 24142 HAS SOUS 14468 HAS SOUPS 14468 WITH SCORE 14492.142
AT ITER 5476 NEW BEST:: SOT 74493 SOS 24046 HAS SOPS 24046 HAS SOUS 14372 HAS SOUPS 14372 WITH SCORE 14396.046
AT ITER 5491 NEW BEST:: SOT 74487 SOS 23980 HAS SOPS 23980 HAS SOUS 14360 HAS SOUPS 14360 WITH SCORE 14383.98
AT ITER 5495 NEW BEST:: SOT 74434 SOS 23874 HAS SOPS 23874 HAS SOUS 14307 HAS SOUPS 14307 WITH SCORE 14330.874
AT ITER 5513 NEW BEST:: SOT 74432 SOS 23870 HAS SOPS 23870 HAS SOUS 14297 HAS SOUPS 14297 WITH SCORE 14320.87
AT ITER 5544 NEW BEST:: SOT 74434 SOS 23859 HAS SOPS 23859 HAS SOUS 14256 HAS SOUPS 14256 WITH SCORE 14279.859
AT ITER 5586 NEW BEST:: SOT 74424 SOS 23839 HAS SOPS 23839 HAS SOUS 14246 HAS SOUPS 14246 WITH SCORE 14269.839
AT ITER 5610 NEW BEST:: SOT 74405 SOS 23801 HAS SOPS 23801 HAS SOUS 14227 HAS SOUPS 14227 WITH SCORE 14250.801
AT ITER 5641 NEW BEST:: SOT 74399 SOS 23763 HAS SOPS 23763 HAS SOUS 14221 HAS SOUPS 14221 WITH SCORE 14244.763
AT ITER 5655 NEW BEST:: SOT 74401 SOS 23765 HAS SOPS 23765 HAS SOUS 14202 HAS SOUPS 14202 WITH SCORE 14225.765
AT ITER 5674 NEW BEST:: SOT 74418 SOS 23698 HAS SOPS 23698 HAS SOUS 14135 HAS SOUPS 14135 WITH SCORE 14158.698
AT ITER 5707 NEW BEST:: SOT 74417 SOS 23687 HAS SOPS 23687 HAS SOUS 14133 HAS SOUPS 14133 WITH SCORE 14156.687
AT ITER 5714 NEW BEST:: SOT 74414 SOS 23681 HAS SOPS 23681 HAS SOUS 14130 HAS SOUPS 14130 WITH SCORE 14153.681
AT ITER 5718 NEW BEST:: SOT 74413 SOS 23680 HAS SOPS 23680 HAS SOUS 14128 HAS SOUPS 14128 WITH SCORE 14151.68
AT ITER 5720 NEW BEST:: SOT 74535 SOS 23924 HAS SOPS 23924 HAS SOUS 14105 HAS SOUPS 14105 WITH SCORE 14128.924
AT ITER 5822 NEW BEST:: SOT 74517 SOS 23888 HAS SOPS 23888 HAS SOUS 14069 HAS SOUPS 14069 WITH SCORE 14092.888
AT ITER 5840 NEW BEST:: SOT 74474 SOS 23802 HAS SOPS 23802 HAS SOUS 14027 HAS SOUPS 14027 WITH SCORE 14050.802
AT ITER 5850 NEW BEST:: SOT 74456 SOS 23766 HAS SOPS 23766 HAS SOUS 14022 HAS SOUPS 14022 WITH SCORE 14045.766
AT ITER 5861 NEW BEST:: SOT 74456 SOS 23764 HAS SOPS 23764 HAS SOUS 14019 HAS SOUPS 14019 WITH SCORE 14042.764
AT ITER 5864 NEW BEST:: SOT 74453 SOS 23728 HAS SOPS 23728 HAS SOUS 14016 HAS SOUPS 14016 WITH SCORE 14039.728
AT ITER 5871 NEW BEST:: SOT 74448 SOS 23718 HAS SOPS 23718 HAS SOUS 13994 HAS SOUPS 13994 WITH SCORE 14017.718
AT ITER 5875 NEW BEST:: SOT 74448 SOS 23703 HAS SOPS 23703 HAS SOUS 13984 HAS SOUPS 13984 WITH SCORE 14007.703
AT ITER 5886 NEW BEST:: SOT 74458 SOS 23692 HAS SOPS 23692 HAS SOUS 13983 HAS SOUPS 13983 WITH SCORE 14006.692
AT ITER 5905 NEW BEST:: SOT 74440 SOS 23674 HAS SOPS 23674 HAS SOUS 13965 HAS SOUPS 13965 WITH SCORE 13988.674
AT ITER 5942 NEW BEST:: SOT 74438 SOS 23670 HAS SOPS 23670 HAS SOUS 13961 HAS SOUPS 13961 WITH SCORE 13984.67
AT ITER 5970 NEW BEST:: SOT 74437 SOS 23667 HAS SOPS 23667 HAS SOUS 13960 HAS SOUPS 13960 WITH SCORE 13983.667
AT ITER 5972 NEW BEST:: SOT 74436 SOS 23602 HAS SOPS 23602 HAS SOUS 13958 HAS SOUPS 13958 WITH SCORE 13981.602
AT ITER 5986 NEW BEST:: SOT 74425 SOS 23580 HAS SOPS 23580 HAS SOUS 13947 HAS SOUPS 13947 WITH SCORE 13970.58
AT ITER 5994 NEW BEST:: SOT 74387 SOS 23568 HAS SOPS 23568 HAS SOUS 13935 HAS SOUPS 13935 WITH SCORE 13958.568
AT ITER 6078 NEW BEST:: SOT 74376 SOS 23557 HAS SOPS 23557 HAS SOUS 13935 HAS SOUPS 13935 WITH SCORE 13958.557
AT ITER 6095 NEW BEST:: SOT 74375 SOS 23554 HAS SOPS 23554 HAS SOUS 13933 HAS SOUPS 13933 WITH SCORE 13956.554
AT ITER 6104 NEW BEST:: SOT 74375 SOS 23535 HAS SOPS 23535 HAS SOUS 13932 HAS SOUPS 13932 WITH SCORE 13955.535
AT ITER 6124 NEW BEST:: SOT 74291 SOS 23496 HAS SOPS 23496 HAS SOUS 13893 HAS SOUPS 13893 WITH SCORE 13916.496
AT ITER 6133 NEW BEST:: SOT 74291 SOS 23495 HAS SOPS 23495 HAS SOUS 13892 HAS SOUPS 13892 WITH SCORE 13915.495
AT ITER 6165 NEW BEST:: SOT 74286 SOS 23485 HAS SOPS 23485 HAS SOUS 13884 HAS SOUPS 13884 WITH SCORE 13907.485
AT ITER 6292 NEW BEST:: SOT 74241 SOS 23395 HAS SOPS 23395 HAS SOUS 13794 HAS SOUPS 13794 WITH SCORE 13817.395
AT ITER 6303 NEW BEST:: SOT 74196 SOS 23385 HAS SOPS 23385 HAS SOUS 13784 HAS SOUPS 13784 WITH SCORE 13807.385
AT ITER 6317 NEW BEST:: SOT 74179 SOS 23357 HAS SOPS 23357 HAS SOUS 13725 HAS SOUPS 13725 WITH SCORE 13748.357
AT ITER 6398 NEW BEST:: SOT 74151 SOS 23034 HAS SOPS 23034 HAS SOUS 13669 HAS SOUPS 13669 WITH SCORE 13692.034
AT ITER 6420 NEW BEST:: SOT 74151 SOS 23030 HAS SOPS 23030 HAS SOUS 13669 HAS SOUPS 13669 WITH SCORE 13692.03
AT ITER 6433 NEW BEST:: SOT 74140 SOS 22996 HAS SOPS 22996 HAS SOUS 13663 HAS SOUPS 13663 WITH SCORE 13685.996
AT ITER 6451 NEW BEST:: SOT 74140 SOS 22978 HAS SOPS 22978 HAS SOUS 13663 HAS SOUPS 13663 WITH SCORE 13685.978
AT ITER 6474 NEW BEST:: SOT 74116 SOS 22962 HAS SOPS 22962 HAS SOUS 13658 HAS SOUPS 13658 WITH SCORE 13680.962
AT ITER 6483 NEW BEST:: SOT 74115 SOS 22962 HAS SOPS 22962 HAS SOUS 13656 HAS SOUPS 13656 WITH SCORE 13678.962
AT ITER 6519 NEW BEST:: SOT 74107 SOS 22970 HAS SOPS 22970 HAS SOUS 13640 HAS SOUPS 13640 WITH SCORE 13662.97
AT ITER 6536 NEW BEST:: SOT 74107 SOS 22970 HAS SOPS 22970 HAS SOUS 13636 HAS SOUPS 13636 WITH SCORE 13658.97
AT ITER 6561 NEW BEST:: SOT 74107 SOS 22970 HAS SOPS 22970 HAS SOUS 13632 HAS SOUPS 13632 WITH SCORE 13654.97
AT ITER 6570 NEW BEST:: SOT 74097 SOS 22944 HAS SOPS 22944 HAS SOUS 13596 HAS SOUPS 13596 WITH SCORE 13618.944
AT ITER 6571 NEW BEST:: SOT 74098 SOS 22939 HAS SOPS 22939 HAS SOUS 13592 HAS SOUPS 13592 WITH SCORE 13614.939
AT ITER 6573 NEW BEST:: SOT 74091 SOS 22925 HAS SOPS 22925 HAS SOUS 13575 HAS SOUPS 13575 WITH SCORE 13597.925
AT ITER 6596 NEW BEST:: SOT 74080 SOS 22903 HAS SOPS 22903 HAS SOUS 13553 HAS SOUPS 13553 WITH SCORE 13575.903
AT ITER 6602 NEW BEST:: SOT 74081 SOS 22875 HAS SOPS 22875 HAS SOUS 13525 HAS SOUPS 13525 WITH SCORE 13547.875
AT ITER 6621 NEW BEST:: SOT 74079 SOS 22873 HAS SOPS 22873 HAS SOUS 13521 HAS SOUPS 13521 WITH SCORE 13543.873
AT ITER 6645 NEW BEST:: SOT 74007 SOS 24511 HAS SOPS 24511 HAS SOUS 13484 HAS SOUPS 13484 WITH SCORE 13508.511
AT ITER 6647 NEW BEST:: SOT 74007 SOS 24437 HAS SOPS 24437 HAS SOUS 13480 HAS SOUPS 13480 WITH SCORE 13504.437
AT ITER 6701 NEW BEST:: SOT 73990 SOS 24429 HAS SOPS 24429 HAS SOUS 13474 HAS SOUPS 13474 WITH SCORE 13498.429
AT ITER 6710 NEW BEST:: SOT 73993 SOS 24419 HAS SOPS 24419 HAS SOUS 13474 HAS SOUPS 13474 WITH SCORE 13498.419
AT ITER 6779 NEW BEST:: SOT 73981 SOS 24407 HAS SOPS 24407 HAS SOUS 13462 HAS SOUPS 13462 WITH SCORE 13486.407
AT ITER 6795 NEW BEST:: SOT 73957 SOS 24386 HAS SOPS 24386 HAS SOUS 13441 HAS SOUPS 13441 WITH SCORE 13465.386
AT ITER 6808 NEW BEST:: SOT 73935 SOS 24378 HAS SOPS 24378 HAS SOUS 13434 HAS SOUPS 13434 WITH SCORE 13458.378
AT ITER 6833 NEW BEST:: SOT 73934 SOS 24376 HAS SOPS 24376 HAS SOUS 13432 HAS SOUPS 13432 WITH SCORE 13456.376
AT ITER 6844 NEW BEST:: SOT 73933 SOS 24374 HAS SOPS 24374 HAS SOUS 13430 HAS SOUPS 13430 WITH SCORE 13454.374
AT ITER 6845 NEW BEST:: SOT 73932 SOS 24347 HAS SOPS 24347 HAS SOUS 13428 HAS SOUPS 13428 WITH SCORE 13452.347
AT ITER 6856 NEW BEST:: SOT 73929 SOS 24324 HAS SOPS 24324 HAS SOUS 13400 HAS SOUPS 13400 WITH SCORE 13424.324
AT ITER 6857 NEW BEST:: SOT 73919 SOS 24326 HAS SOPS 24326 HAS SOUS 13380 HAS SOUPS 13380 WITH SCORE 13404.326
AT ITER 6858 NEW BEST:: SOT 73915 SOS 24318 HAS SOPS 24318 HAS SOUS 13372 HAS SOUPS 13372 WITH SCORE 13396.318
AT ITER 6879 NEW BEST:: SOT 73874 SOS 24305 HAS SOPS 24305 HAS SOUS 13367 HAS SOUPS 13367 WITH SCORE 13391.305
AT ITER 6909 NEW BEST:: SOT 73873 SOS 24352 HAS SOPS 24352 HAS SOUS 13365 HAS SOUPS 13365 WITH SCORE 13389.352
AT ITER 6913 NEW BEST:: SOT 73848 SOS 24327 HAS SOPS 24327 HAS SOUS 13345 HAS SOUPS 13345 WITH SCORE 13369.327
AT ITER 6932 NEW BEST:: SOT 73846 SOS 24325 HAS SOPS 24325 HAS SOUS 13345 HAS SOUPS 13345 WITH SCORE 13369.325
AT ITER 6995 NEW BEST:: SOT 73846 SOS 24317 HAS SOPS 24317 HAS SOUS 13345 HAS SOUPS 13345 WITH SCORE 13369.317
AT ITER 7036 NEW BEST:: SOT 73759 SOS 24208 HAS SOPS 24208 HAS SOUS 13280 HAS SOUPS 13280 WITH SCORE 13304.208
AT ITER 7074 NEW BEST:: SOT 73755 SOS 24204 HAS SOPS 24204 HAS SOUS 13276 HAS SOUPS 13276 WITH SCORE 13300.204
AT ITER 7086 NEW BEST:: SOT 73748 SOS 24190 HAS SOPS 24190 HAS SOUS 13262 HAS SOUPS 13262 WITH SCORE 13286.19
AT ITER 7124 NEW BEST:: SOT 73730 SOS 24180 HAS SOPS 24180 HAS SOUS 13252 HAS SOUPS 13252 WITH SCORE 13276.18
AT ITER 7126 NEW BEST:: SOT 73724 SOS 24168 HAS SOPS 24168 HAS SOUS 13246 HAS SOUPS 13246 WITH SCORE 13270.168
AT ITER 7134 NEW BEST:: SOT 73724 SOS 24168 HAS SOPS 24168 HAS SOUS 13244 HAS SOUPS 13244 WITH SCORE 13268.168
AT ITER 7144 NEW BEST:: SOT 73715 SOS 24159 HAS SOPS 24159 HAS SOUS 13235 HAS SOUPS 13235 WITH SCORE 13259.159
AT ITER 7149 NEW BEST:: SOT 73717 SOS 24161 HAS SOPS 24161 HAS SOUS 13228 HAS SOUPS 13228 WITH SCORE 13252.161
AT ITER 7164 NEW BEST:: SOT 73717 SOS 24161 HAS SOPS 24161 HAS SOUS 13219 HAS SOUPS 13219 WITH SCORE 13243.161
AT ITER 7184 NEW BEST:: SOT 73712 SOS 24146 HAS SOPS 24146 HAS SOUS 13214 HAS SOUPS 13214 WITH SCORE 13238.146
AT ITER 7209 NEW BEST:: SOT 73721 SOS 24132 HAS SOPS 24132 HAS SOUS 13200 HAS SOUPS 13200 WITH SCORE 13224.132
AT ITER 7240 NEW BEST:: SOT 73747 SOS 24123 HAS SOPS 24123 HAS SOUS 13184 HAS SOUPS 13184 WITH SCORE 13208.123
AT ITER 7293 NEW BEST:: SOT 73747 SOS 24107 HAS SOPS 24107 HAS SOUS 13184 HAS SOUPS 13184 WITH SCORE 13208.107
AT ITER 7296 NEW BEST:: SOT 73737 SOS 24094 HAS SOPS 24094 HAS SOUS 13171 HAS SOUPS 13171 WITH SCORE 13195.094
AT ITER 7319 NEW BEST:: SOT 73737 SOS 24011 HAS SOPS 24011 HAS SOUS 13171 HAS SOUPS 13171 WITH SCORE 13195.011
AT ITER 7324 NEW BEST:: SOT 73728 SOS 23993 HAS SOPS 23993 HAS SOUS 13146 HAS SOUPS 13146 WITH SCORE 13169.993
AT ITER 7367 NEW BEST:: SOT 73729 SOS 23968 HAS SOPS 23968 HAS SOUS 13121 HAS SOUPS 13121 WITH SCORE 13144.968
AT ITER 7437 NEW BEST:: SOT 73747 SOS 23895 HAS SOPS 23895 HAS SOUS 13116 HAS SOUPS 13116 WITH SCORE 13139.895
AT ITER 7444 NEW BEST:: SOT 73739 SOS 23887 HAS SOPS 23887 HAS SOUS 13108 HAS SOUPS 13108 WITH SCORE 13131.887
AT ITER 7453 NEW BEST:: SOT 73737 SOS 23887 HAS SOPS 23887 HAS SOUS 13104 HAS SOUPS 13104 WITH SCORE 13127.887
AT ITER 7455 NEW BEST:: SOT 73737 SOS 23877 HAS SOPS 23877 HAS SOUS 13101 HAS SOUPS 13101 WITH SCORE 13124.877
AT ITER 7512 NEW BEST:: SOT 73737 SOS 23868 HAS SOPS 23868 HAS SOUS 13101 HAS SOUPS 13101 WITH SCORE 13124.868
AT ITER 7584 NEW BEST:: SOT 73733 SOS 23845 HAS SOPS 23845 HAS SOUS 13091 HAS SOUPS 13091 WITH SCORE 13114.845
AT ITER 7589 NEW BEST:: SOT 73733 SOS 23835 HAS SOPS 23835 HAS SOUS 13091 HAS SOUPS 13091 WITH SCORE 13114.835
AT ITER 7590 NEW BEST:: SOT 73730 SOS 23832 HAS SOPS 23832 HAS SOUS 13088 HAS SOUPS 13088 WITH SCORE 13111.832
AT ITER 7658 NEW BEST:: SOT 73722 SOS 23816 HAS SOPS 23816 HAS SOUS 13074 HAS SOUPS 13074 WITH SCORE 13097.816
AT ITER 7708 NEW BEST:: SOT 73691 SOS 23765 HAS SOPS 23765 HAS SOUS 13033 HAS SOUPS 13033 WITH SCORE 13056.765
AT ITER 7730 NEW BEST:: SOT 73691 SOS 23763 HAS SOPS 23763 HAS SOUS 13031 HAS SOUPS 13031 WITH SCORE 13054.763
AT ITER 7748 NEW BEST:: SOT 73680 SOS 23752 HAS SOPS 23752 HAS SOUS 13009 HAS SOUPS 13009 WITH SCORE 13032.752
AT ITER 7780 NEW BEST:: SOT 73673 SOS 23711 HAS SOPS 23711 HAS SOUS 12964 HAS SOUPS 12964 WITH SCORE 12987.711
AT ITER 7793 NEW BEST:: SOT 73673 SOS 23711 HAS SOPS 23711 HAS SOUS 12923 HAS SOUPS 12923 WITH SCORE 12946.711
AT ITER 7816 NEW BEST:: SOT 73626 SOS 23652 HAS SOPS 23652 HAS SOUS 12870 HAS SOUPS 12870 WITH SCORE 12893.652
AT ITER 7819 NEW BEST:: SOT 73621 SOS 23642 HAS SOPS 23642 HAS SOUS 12860 HAS SOUPS 12860 WITH SCORE 12883.642
AT ITER 7846 NEW BEST:: SOT 73608 SOS 23633 HAS SOPS 23633 HAS SOUS 12851 HAS SOUPS 12851 WITH SCORE 12874.633
AT ITER 7863 NEW BEST:: SOT 73607 SOS 23629 HAS SOPS 23629 HAS SOUS 12849 HAS SOUPS 12849 WITH SCORE 12872.629
AT ITER 7868 NEW BEST:: SOT 73602 SOS 23607 HAS SOPS 23607 HAS SOUS 12832 HAS SOUPS 12832 WITH SCORE 12855.607
AT ITER 7876 NEW BEST:: SOT 73593 SOS 23597 HAS SOPS 23597 HAS SOUS 12814 HAS SOUPS 12814 WITH SCORE 12837.597
AT ITER 7922 NEW BEST:: SOT 73595 SOS 23599 HAS SOPS 23599 HAS SOUS 12808 HAS SOUPS 12808 WITH SCORE 12831.599
AT ITER 7934 NEW BEST:: SOT 73591 SOS 23595 HAS SOPS 23595 HAS SOUS 12800 HAS SOUPS 12800 WITH SCORE 12823.595
AT ITER 7968 NEW BEST:: SOT 73583 SOS 23587 HAS SOPS 23587 HAS SOUS 12792 HAS SOUPS 12792 WITH SCORE 12815.587
AT ITER 7993 NEW BEST:: SOT 73582 SOS 23585 HAS SOPS 23585 HAS SOUS 12791 HAS SOUPS 12791 WITH SCORE 12814.585
AT ITER 8002 NEW BEST:: SOT 73579 SOS 23584 HAS SOPS 23584 HAS SOUS 12790 HAS SOUPS 12790 WITH SCORE 12813.584
AT ITER 8037 NEW BEST:: SOT 73574 SOS 23586 HAS SOPS 23586 HAS SOUS 12787 HAS SOUPS 12787 WITH SCORE 12810.586
AT ITER 8052 NEW BEST:: SOT 73572 SOS 23559 HAS SOPS 23559 HAS SOUS 12778 HAS SOUPS 12778 WITH SCORE 12801.559
AT ITER 8119 NEW BEST:: SOT 73571 SOS 23558 HAS SOPS 23558 HAS SOUS 12776 HAS SOUPS 12776 WITH SCORE 12799.558
AT ITER 8132 NEW BEST:: SOT 73567 SOS 23550 HAS SOPS 23550 HAS SOUS 12768 HAS SOUPS 12768 WITH SCORE 12791.55
AT ITER 8153 NEW BEST:: SOT 73539 SOS 23462 HAS SOPS 23462 HAS SOUS 12734 HAS SOUPS 12734 WITH SCORE 12757.462
AT ITER 8167 NEW BEST:: SOT 73552 SOS 23472 HAS SOPS 23472 HAS SOUS 12731 HAS SOUPS 12731 WITH SCORE 12754.472
AT ITER 8196 NEW BEST:: SOT 73552 SOS 23471 HAS SOPS 23471 HAS SOUS 12730 HAS SOUPS 12730 WITH SCORE 12753.471
AT ITER 8280 NEW BEST:: SOT 73557 SOS 23466 HAS SOPS 23466 HAS SOUS 12730 HAS SOUPS 12730 WITH SCORE 12753.466
AT ITER 8283 NEW BEST:: SOT 73557 SOS 23289 HAS SOPS 23289 HAS SOUS 12727 HAS SOUPS 12727 WITH SCORE 12750.289
AT ITER 8300 NEW BEST:: SOT 73547 SOS 23279 HAS SOPS 23279 HAS SOUS 12707 HAS SOUPS 12707 WITH SCORE 12730.279
AT ITER 8338 NEW BEST:: SOT 73547 SOS 23244 HAS SOPS 23244 HAS SOUS 12672 HAS SOUPS 12672 WITH SCORE 12695.244
AT ITER 8437 NEW BEST:: SOT 73504 SOS 23187 HAS SOPS 23187 HAS SOUS 12586 HAS SOUPS 12586 WITH SCORE 12609.187
AT ITER 8530 NEW BEST:: SOT 73485 SOS 23185 HAS SOPS 23185 HAS SOUS 12584 HAS SOUPS 12584 WITH SCORE 12607.185
AT ITER 8540 NEW BEST:: SOT 73485 SOS 23180 HAS SOPS 23180 HAS SOUS 12579 HAS SOUPS 12579 WITH SCORE 12602.18
AT ITER 8559 NEW BEST:: SOT 73479 SOS 23157 HAS SOPS 23157 HAS SOUS 12567 HAS SOUPS 12567 WITH SCORE 12590.157
AT ITER 8596 NEW BEST:: SOT 73471 SOS 23153 HAS SOPS 23153 HAS SOUS 12563 HAS SOUPS 12563 WITH SCORE 12586.153
AT ITER 8602 NEW BEST:: SOT 73452 SOS 23185 HAS SOPS 23185 HAS SOUS 12525 HAS SOUPS 12525 WITH SCORE 12548.185
AT ITER 8617 NEW BEST:: SOT 73456 SOS 23193 HAS SOPS 23193 HAS SOUS 12523 HAS SOUPS 12523 WITH SCORE 12546.193
AT ITER 8643 NEW BEST:: SOT 73450 SOS 23181 HAS SOPS 23181 HAS SOUS 12510 HAS SOUPS 12510 WITH SCORE 12533.181
AT ITER 8652 NEW BEST:: SOT 73432 SOS 23163 HAS SOPS 23163 HAS SOUS 12492 HAS SOUPS 12492 WITH SCORE 12515.163
AT ITER 8657 NEW BEST:: SOT 73431 SOS 23158 HAS SOPS 23158 HAS SOUS 12487 HAS SOUPS 12487 WITH SCORE 12510.158
AT ITER 8666 NEW BEST:: SOT 73427 SOS 23173 HAS SOPS 23173 HAS SOUS 12479 HAS SOUPS 12479 WITH SCORE 12502.173
AT ITER 8672 NEW BEST:: SOT 73404 SOS 23162 HAS SOPS 23162 HAS SOUS 12459 HAS SOUPS 12459 WITH SCORE 12482.162
AT ITER 8695 NEW BEST:: SOT 73404 SOS 23138 HAS SOPS 23138 HAS SOUS 12435 HAS SOUPS 12435 WITH SCORE 12458.138
AT ITER 8705 NEW BEST:: SOT 73404 SOS 23118 HAS SOPS 23118 HAS SOUS 12435 HAS SOUPS 12435 WITH SCORE 12458.118
AT ITER 8755 NEW BEST:: SOT 73407 SOS 23124 HAS SOPS 23124 HAS SOUS 12421 HAS SOUPS 12421 WITH SCORE 12444.124
AT ITER 8784 NEW BEST:: SOT 73334 SOS 23054 HAS SOPS 23054 HAS SOUS 12275 HAS SOUPS 12275 WITH SCORE 12298.054
AT ITER 8791 NEW BEST:: SOT 73271 SOS 28034 HAS SOPS 28034 HAS SOUS 12214 HAS SOUPS 12214 WITH SCORE 12242.034
AT ITER 8848 NEW BEST:: SOT 73291 SOS 28031 HAS SOPS 28031 HAS SOUS 12208 HAS SOUPS 12208 WITH SCORE 12236.031
AT ITER 8866 NEW BEST:: SOT 73253 SOS 28030 HAS SOPS 28030 HAS SOUS 12148 HAS SOUPS 12148 WITH SCORE 12176.03
AT ITER 8881 NEW BEST:: SOT 73251 SOS 28031 HAS SOPS 28031 HAS SOUS 12144 HAS SOUPS 12144 WITH SCORE 12172.031
AT ITER 8966 NEW BEST:: SOT 73235 SOS 28007 HAS SOPS 28007 HAS SOUS 12120 HAS SOUPS 12120 WITH SCORE 12148.007
AT ITER 9024 NEW BEST:: SOT 73241 SOS 28002 HAS SOPS 28002 HAS SOUS 12115 HAS SOUPS 12115 WITH SCORE 12143.002
AT ITER 9040 NEW BEST:: SOT 73237 SOS 27994 HAS SOPS 27994 HAS SOUS 12114 HAS SOUPS 12114 WITH SCORE 12141.994
AT ITER 9072 NEW BEST:: SOT 73237 SOS 27991 HAS SOPS 27991 HAS SOUS 12114 HAS SOUPS 12114 WITH SCORE 12141.991
AT ITER 9075 NEW BEST:: SOT 73227 SOS 27969 HAS SOPS 27969 HAS SOUS 12094 HAS SOUPS 12094 WITH SCORE 12121.969
AT ITER 9124 NEW BEST:: SOT 73222 SOS 27959 HAS SOPS 27959 HAS SOUS 12089 HAS SOUPS 12089 WITH SCORE 12116.959
AT ITER 9170 NEW BEST:: SOT 73219 SOS 27953 HAS SOPS 27953 HAS SOUS 12083 HAS SOUPS 12083 WITH SCORE 12110.953
AT ITER 9198 NEW BEST:: SOT 73130 SOS 27846 HAS SOPS 27846 HAS SOUS 12073 HAS SOUPS 12073 WITH SCORE 12100.846
AT ITER 9203 NEW BEST:: SOT 73128 SOS 27842 HAS SOPS 27842 HAS SOUS 12069 HAS SOUPS 12069 WITH SCORE 12096.842
AT ITER 9247 NEW BEST:: SOT 73127 SOS 27838 HAS SOPS 27838 HAS SOUS 12065 HAS SOUPS 12065 WITH SCORE 12092.838
AT ITER 9272 NEW BEST:: SOT 73131 SOS 27846 HAS SOPS 27846 HAS SOUS 12063 HAS SOUPS 12063 WITH SCORE 12090.846
AT ITER 9301 NEW BEST:: SOT 73097 SOS 27843 HAS SOPS 27843 HAS SOUS 12060 HAS SOUPS 12060 WITH SCORE 12087.843
AT ITER 9349 NEW BEST:: SOT 73091 SOS 27831 HAS SOPS 27831 HAS SOUS 12048 HAS SOUPS 12048 WITH SCORE 12075.831
AT ITER 9428 NEW BEST:: SOT 73058 SOS 27825 HAS SOPS 27825 HAS SOUS 11982 HAS SOUPS 11982 WITH SCORE 12009.825
AT ITER 9435 NEW BEST:: SOT 73030 SOS 27804 HAS SOPS 27804 HAS SOUS 11961 HAS SOUPS 11961 WITH SCORE 11988.804
AT ITER 9474 NEW BEST:: SOT 73029 SOS 27802 HAS SOPS 27802 HAS SOUS 11957 HAS SOUPS 11957 WITH SCORE 11984.802
AT ITER 9518 NEW BEST:: SOT 73029 SOS 27794 HAS SOPS 27794 HAS SOUS 11949 HAS SOUPS 11949 WITH SCORE 11976.794
AT ITER 9572 NEW BEST:: SOT 73028 SOS 27793 HAS SOPS 27793 HAS SOUS 11947 HAS SOUPS 11947 WITH SCORE 11974.793
AT ITER 9579 NEW BEST:: SOT 72968 SOS 27712 HAS SOPS 27712 HAS SOUS 11848 HAS SOUPS 11848 WITH SCORE 11875.712
AT ITER 9586 NEW BEST:: SOT 72967 SOS 27710 HAS SOPS 27710 HAS SOUS 11841 HAS SOUPS 11841 WITH SCORE 11868.71
AT ITER 9620 NEW BEST:: SOT 72962 SOS 27705 HAS SOPS 27705 HAS SOUS 11831 HAS SOUPS 11831 WITH SCORE 11858.705
AT ITER 9634 NEW BEST:: SOT 72954 SOS 27655 HAS SOPS 27655 HAS SOUS 11789 HAS SOUPS 11789 WITH SCORE 11816.655
AT ITER 9671 NEW BEST:: SOT 72954 SOS 27654 HAS SOPS 27654 HAS SOUS 11788 HAS SOUPS 11788 WITH SCORE 11815.654
AT ITER 9693 NEW BEST:: SOT 72955 SOS 27667 HAS SOPS 27667 HAS SOUS 11783 HAS SOUPS 11783 WITH SCORE 11810.667
AT ITER 9783 NEW BEST:: SOT 72955 SOS 27658 HAS SOPS 27658 HAS SOUS 11783 HAS SOUPS 11783 WITH SCORE 11810.658
AT ITER 9792 NEW BEST:: SOT 72953 SOS 27656 HAS SOPS 27656 HAS SOUS 11783 HAS SOUPS 11783 WITH SCORE 11810.656
AT ITER 9794 NEW BEST:: SOT 72953 SOS 27653 HAS SOPS 27653 HAS SOUS 11783 HAS SOUPS 11783 WITH SCORE 11810.653
AT ITER 9830 NEW BEST:: SOT 72953 SOS 27630 HAS SOPS 27630 HAS SOUS 11783 HAS SOUPS 11783 WITH SCORE 11810.63
AT ITER 9831 NEW BEST:: SOT 72957 SOS 27634 HAS SOPS 27634 HAS SOUS 11775 HAS SOUPS 11775 WITH SCORE 11802.634
AT ITER 9841 NEW BEST:: SOT 72957 SOS 27627 HAS SOPS 27627 HAS SOUS 11775 HAS SOUPS 11775 WITH SCORE 11802.627
AT ITER 9909 NEW BEST:: SOT 72952 SOS 27617 HAS SOPS 27617 HAS SOUS 11770 HAS SOUPS 11770 WITH SCORE 11797.617
AT ITER 9956 NEW BEST:: SOT 72936 SOS 27601 HAS SOPS 27601 HAS SOUS 11738 HAS SOUPS 11738 WITH SCORE 11765.601
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 7532552 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16149444 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="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"
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 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 r131-smll-167819407500392"
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 ;