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.r123-tajo-158961354800496.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 PolyORBLF-PT-S04J06T08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354800496
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.4M
-rw-r--r-- 1 mcc users 8.8K Apr 12 05:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 34K Apr 12 05:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Apr 11 05:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Apr 11 05:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 9.7K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 37K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 14K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 52K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Apr 10 12:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 35K Apr 10 12:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 9 17:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 39K Apr 9 17:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.5K Apr 10 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 5.0M 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 1589646103096

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

Filename model.pnml
Petri model created: 792 places, 4268 transitions, 28832 arcs.
AT ITER 0 NEW BEST:: SOT 2182365 SOS 1271407 HAS SOPS 1258917 HAS SOUS 414316 HAS SOUPS 413668 WITH SCORE 414939.407
AT ITER 7 NEW BEST:: SOT 2182365 SOS 1271407 HAS SOPS 1258917 HAS SOUS 414295 HAS SOUPS 413647 WITH SCORE 414918.407
AT ITER 8 NEW BEST:: SOT 2182022 SOS 1271104 HAS SOPS 1258614 HAS SOUS 414278 HAS SOUPS 413630 WITH SCORE 414901.104
AT ITER 17 NEW BEST:: SOT 2177001 SOS 1266021 HAS SOPS 1253452 HAS SOUS 409195 HAS SOUPS 408468 WITH SCORE 409734.021
AT ITER 18 NEW BEST:: SOT 2176956 SOS 1265931 HAS SOPS 1253362 HAS SOUS 409156 HAS SOUPS 408429 WITH SCORE 409694.931
AT ITER 29 NEW BEST:: SOT 2176041 SOS 1265187 HAS SOPS 1252618 HAS SOUS 408328 HAS SOUPS 407601 WITH SCORE 408866.187
AT ITER 42 NEW BEST:: SOT 2175479 SOS 1264697 HAS SOPS 1252128 HAS SOUS 407766 HAS SOUPS 407039 WITH SCORE 408303.697
AT ITER 44 NEW BEST:: SOT 2175427 SOS 1264621 HAS SOPS 1252052 HAS SOUS 407718 HAS SOUPS 406991 WITH SCORE 408255.621
AT ITER 50 NEW BEST:: SOT 2175427 SOS 1264321 HAS SOPS 1251752 HAS SOUS 407710 HAS SOUPS 406983 WITH SCORE 408247.321
AT ITER 53 NEW BEST:: SOT 2175427 SOS 1264301 HAS SOPS 1251732 HAS SOUS 407690 HAS SOUPS 406963 WITH SCORE 408227.301
AT ITER 61 NEW BEST:: SOT 2174972 SOS 1263911 HAS SOPS 1251342 HAS SOUS 407102 HAS SOUPS 406375 WITH SCORE 407638.911
AT ITER 69 NEW BEST:: SOT 2138648 SOS 1227695 HAS SOPS 1215126 HAS SOUS 400154 HAS SOUPS 399427 WITH SCORE 400654.695
AT ITER 76 NEW BEST:: SOT 2138490 SOS 1227537 HAS SOPS 1215060 HAS SOUS 400122 HAS SOUPS 399389 WITH SCORE 400616.537
AT ITER 81 NEW BEST:: SOT 2135979 SOS 1225227 HAS SOPS 1212750 HAS SOUS 399695 HAS SOUPS 398962 WITH SCORE 400187.227
AT ITER 84 NEW BEST:: SOT 2065259 SOS 1154416 HAS SOPS 1141939 HAS SOUS 385350 HAS SOUPS 384617 WITH SCORE 385771.416
AT ITER 89 NEW BEST:: SOT 2065436 SOS 1154797 HAS SOPS 1142320 HAS SOUS 385024 HAS SOUPS 384291 WITH SCORE 385445.797
AT ITER 93 NEW BEST:: SOT 2065427 SOS 1154788 HAS SOPS 1142311 HAS SOUS 385015 HAS SOUPS 384282 WITH SCORE 385436.788
AT ITER 97 NEW BEST:: SOT 2065331 SOS 1154692 HAS SOPS 1142215 HAS SOUS 384823 HAS SOUPS 384090 WITH SCORE 385244.692
AT ITER 100 NEW BEST:: SOT 2063407 SOS 1155406 HAS SOPS 1141267 HAS SOUS 382458 HAS SOUPS 381505 WITH SCORE 382660.406
AT ITER 106 NEW BEST:: SOT 2063365 SOS 1155364 HAS SOPS 1141204 HAS SOUS 382447 HAS SOUPS 381484 WITH SCORE 382639.364
AT ITER 108 NEW BEST:: SOT 2063389 SOS 1155388 HAS SOPS 1141140 HAS SOUS 382459 HAS SOUPS 381452 WITH SCORE 382607.388
AT ITER 109 NEW BEST:: SOT 2063355 SOS 1155320 HAS SOPS 1141072 HAS SOUS 382357 HAS SOUPS 381350 WITH SCORE 382505.32
AT ITER 114 NEW BEST:: SOT 2062991 SOS 1154956 HAS SOPS 1140708 HAS SOUS 382084 HAS SOUPS 381077 WITH SCORE 382231.956
AT ITER 116 NEW BEST:: SOT 2063064 SOS 1155171 HAS SOPS 1140923 HAS SOUS 382080 HAS SOUPS 381073 WITH SCORE 382228.171
AT ITER 124 NEW BEST:: SOT 2063029 SOS 1155101 HAS SOPS 1140853 HAS SOUS 382010 HAS SOUPS 381003 WITH SCORE 382158.101
AT ITER 130 NEW BEST:: SOT 2062913 SOS 1155487 HAS SOPS 1141251 HAS SOUS 381860 HAS SOUPS 380853 WITH SCORE 382008.487
AT ITER 132 NEW BEST:: SOT 2062681 SOS 1155255 HAS SOPS 1141019 HAS SOUS 381725 HAS SOUPS 380718 WITH SCORE 381873.255
AT ITER 135 NEW BEST:: SOT 1961265 SOS 1065370 HAS SOPS 1051134 HAS SOUS 362231 HAS SOUPS 361224 WITH SCORE 362289.37
AT ITER 150 NEW BEST:: SOT 1950633 SOS 1133536 HAS SOPS 1127134 HAS SOUS 353897 HAS SOUPS 353124 WITH SCORE 354257.536
AT ITER 163 NEW BEST:: SOT 1950309 SOS 1133212 HAS SOPS 1126810 HAS SOUS 353651 HAS SOUPS 352878 WITH SCORE 354011.212
AT ITER 169 NEW BEST:: SOT 1949110 SOS 1132171 HAS SOPS 1125769 HAS SOUS 352624 HAS SOUPS 351851 WITH SCORE 352983.171
AT ITER 174 NEW BEST:: SOT 1949069 SOS 1132130 HAS SOPS 1125728 HAS SOUS 352542 HAS SOUPS 351769 WITH SCORE 352901.13
AT ITER 180 NEW BEST:: SOT 1852233 SOS 1091773 HAS SOPS 1085371 HAS SOUS 337133 HAS SOUPS 336360 WITH SCORE 337451.773
AT ITER 189 NEW BEST:: SOT 1852272 SOS 1091812 HAS SOPS 1085378 HAS SOUS 337069 HAS SOUPS 336296 WITH SCORE 337387.812
AT ITER 197 NEW BEST:: SOT 1852240 SOS 1091780 HAS SOPS 1085314 HAS SOUS 336961 HAS SOUPS 336188 WITH SCORE 337279.78
AT ITER 201 NEW BEST:: SOT 1852110 SOS 1091650 HAS SOPS 1085201 HAS SOUS 336889 HAS SOUPS 336116 WITH SCORE 337207.65
AT ITER 202 NEW BEST:: SOT 1851792 SOS 1091356 HAS SOPS 1084907 HAS SOUS 336700 HAS SOUPS 335927 WITH SCORE 337018.356
AT ITER 203 NEW BEST:: SOT 1851665 SOS 1091229 HAS SOPS 1084780 HAS SOUS 336647 HAS SOUPS 335874 WITH SCORE 336965.229
AT ITER 204 NEW BEST:: SOT 1851665 SOS 1091229 HAS SOPS 1084780 HAS SOUS 336641 HAS SOUPS 335868 WITH SCORE 336959.229
AT ITER 208 NEW BEST:: SOT 1851245 SOS 1090879 HAS SOPS 1084430 HAS SOUS 335940 HAS SOUPS 335167 WITH SCORE 336257.879
AT ITER 216 NEW BEST:: SOT 1851245 SOS 1090880 HAS SOPS 1084431 HAS SOUS 335937 HAS SOUPS 335164 WITH SCORE 336254.88
AT ITER 217 NEW BEST:: SOT 1851239 SOS 1090874 HAS SOPS 1084425 HAS SOUS 335931 HAS SOUPS 335158 WITH SCORE 336248.874
AT ITER 231 NEW BEST:: SOT 1851029 SOS 1090664 HAS SOPS 1084215 HAS SOUS 335721 HAS SOUPS 334948 WITH SCORE 336038.664
AT ITER 237 NEW BEST:: SOT 1850595 SOS 1090159 HAS SOPS 1083710 HAS SOUS 335279 HAS SOUPS 334506 WITH SCORE 335596.159
AT ITER 243 NEW BEST:: SOT 1850448 SOS 1090012 HAS SOPS 1083563 HAS SOUS 335068 HAS SOUPS 334295 WITH SCORE 335385.012
AT ITER 247 NEW BEST:: SOT 1850330 SOS 1089894 HAS SOPS 1083445 HAS SOUS 334894 HAS SOUPS 334121 WITH SCORE 335210.894
AT ITER 252 NEW BEST:: SOT 1850136 SOS 1089700 HAS SOPS 1083219 HAS SOUS 334605 HAS SOUPS 333832 WITH SCORE 334921.7
AT ITER 261 NEW BEST:: SOT 1850117 SOS 1089681 HAS SOPS 1083200 HAS SOUS 334551 HAS SOUPS 333778 WITH SCORE 334867.681
AT ITER 263 NEW BEST:: SOT 1848921 SOS 1088620 HAS SOPS 1082139 HAS SOUS 333414 HAS SOUPS 332641 WITH SCORE 333729.62
AT ITER 265 NEW BEST:: SOT 1848905 SOS 1088604 HAS SOPS 1082123 HAS SOUS 333398 HAS SOUPS 332625 WITH SCORE 333713.604
AT ITER 271 NEW BEST:: SOT 1848864 SOS 1088563 HAS SOPS 1082082 HAS SOUS 333316 HAS SOUPS 332543 WITH SCORE 333631.563
AT ITER 276 NEW BEST:: SOT 1848864 SOS 1087283 HAS SOPS 1080802 HAS SOUS 333316 HAS SOUPS 332543 WITH SCORE 333630.283
AT ITER 292 NEW BEST:: SOT 1848414 SOS 1086989 HAS SOPS 1080508 HAS SOUS 332876 HAS SOUPS 332103 WITH SCORE 333189.989
AT ITER 296 NEW BEST:: SOT 1848307 SOS 1086898 HAS SOPS 1080417 HAS SOUS 332868 HAS SOUPS 332095 WITH SCORE 333181.898
AT ITER 325 NEW BEST:: SOT 1848253 SOS 1086790 HAS SOPS 1080309 HAS SOUS 332706 HAS SOUPS 331933 WITH SCORE 333019.79
AT ITER 332 NEW BEST:: SOT 1847502 SOS 1086200 HAS SOPS 1079719 HAS SOUS 331969 HAS SOUPS 331196 WITH SCORE 332282.2
AT ITER 335 NEW BEST:: SOT 1847468 SOS 1085605 HAS SOPS 1079101 HAS SOUS 331971 HAS SOUPS 331192 WITH SCORE 332277.605
AT ITER 357 NEW BEST:: SOT 1847356 SOS 1085979 HAS SOPS 1079487 HAS SOUS 331937 HAS SOUPS 331158 WITH SCORE 332243.979
AT ITER 373 NEW BEST:: SOT 1847022 SOS 1085691 HAS SOPS 1079199 HAS SOUS 331582 HAS SOUPS 330803 WITH SCORE 331888.691
AT ITER 374 NEW BEST:: SOT 1846508 SOS 1084876 HAS SOPS 1078384 HAS SOUS 331046 HAS SOUPS 330267 WITH SCORE 331351.876
AT ITER 388 NEW BEST:: SOT 1846508 SOS 1084876 HAS SOPS 1078384 HAS SOUS 331019 HAS SOUPS 330240 WITH SCORE 331324.876
AT ITER 394 NEW BEST:: SOT 1846288 SOS 1084680 HAS SOPS 1078188 HAS SOUS 331013 HAS SOUPS 330234 WITH SCORE 331318.68
AT ITER 405 NEW BEST:: SOT 1846042 SOS 1084434 HAS SOPS 1077942 HAS SOUS 330711 HAS SOUPS 329932 WITH SCORE 331016.434
AT ITER 408 NEW BEST:: SOT 1846807 SOS 1085453 HAS SOPS 1078961 HAS SOUS 330490 HAS SOUPS 329711 WITH SCORE 330796.453
AT ITER 412 NEW BEST:: SOT 1846807 SOS 1085322 HAS SOPS 1078830 HAS SOUS 329729 HAS SOUPS 328950 WITH SCORE 330035.322
AT ITER 417 NEW BEST:: SOT 1846833 SOS 1085254 HAS SOPS 1078762 HAS SOUS 329010 HAS SOUPS 328231 WITH SCORE 329316.254
AT ITER 422 NEW BEST:: SOT 1846413 SOS 1084834 HAS SOPS 1078342 HAS SOUS 327464 HAS SOUPS 326685 WITH SCORE 327769.834
AT ITER 429 NEW BEST:: SOT 1845947 SOS 1083845 HAS SOPS 1077353 HAS SOUS 327001 HAS SOUPS 326222 WITH SCORE 327305.845
AT ITER 441 NEW BEST:: SOT 1801259 SOS 1039157 HAS SOPS 1032665 HAS SOUS 318489 HAS SOUPS 317710 WITH SCORE 318749.157
AT ITER 456 NEW BEST:: SOT 1799534 SOS 1037398 HAS SOPS 1030906 HAS SOUS 316880 HAS SOUPS 316101 WITH SCORE 317138.398
AT ITER 467 NEW BEST:: SOT 1780381 SOS 1018071 HAS SOPS 1011492 HAS SOUS 312522 HAS SOUPS 311743 WITH SCORE 312761.071
AT ITER 468 NEW BEST:: SOT 1781030 SOS 1018947 HAS SOPS 1012368 HAS SOUS 312369 HAS SOUPS 311590 WITH SCORE 312608.947
AT ITER 479 NEW BEST:: SOT 1780226 SOS 1018272 HAS SOPS 1011693 HAS SOUS 311880 HAS SOUPS 311101 WITH SCORE 312119.272
AT ITER 484 NEW BEST:: SOT 1757212 SOS 995258 HAS SOPS 988679 HAS SOUS 306222 HAS SOUPS 305443 WITH SCORE 306438.258
AT ITER 496 NEW BEST:: SOT 1757084 SOS 995106 HAS SOPS 988527 HAS SOUS 305828 HAS SOUPS 305049 WITH SCORE 306044.106
AT ITER 505 NEW BEST:: SOT 1757044 SOS 995066 HAS SOPS 988467 HAS SOUS 305768 HAS SOUPS 304989 WITH SCORE 305984.066
AT ITER 506 NEW BEST:: SOT 1757005 SOS 994990 HAS SOPS 988391 HAS SOUS 305099 HAS SOUPS 304320 WITH SCORE 305314.99
AT ITER 515 NEW BEST:: SOT 1756976 SOS 994932 HAS SOPS 988333 HAS SOUS 305041 HAS SOUPS 304262 WITH SCORE 305256.932
AT ITER 526 NEW BEST:: SOT 1755389 SOS 993369 HAS SOPS 986770 HAS SOUS 303426 HAS SOUPS 302647 WITH SCORE 303640.369
AT ITER 527 NEW BEST:: SOT 1755042 SOS 993046 HAS SOPS 986447 HAS SOUS 303184 HAS SOUPS 302405 WITH SCORE 303398.046
AT ITER 550 NEW BEST:: SOT 1755042 SOS 993076 HAS SOPS 986477 HAS SOUS 303180 HAS SOUPS 302401 WITH SCORE 303394.076
AT ITER 558 NEW BEST:: SOT 1754827 SOS 992748 HAS SOPS 985969 HAS SOUS 302830 HAS SOUPS 302051 WITH SCORE 303043.748
AT ITER 563 NEW BEST:: SOT 1754819 SOS 992745 HAS SOPS 985966 HAS SOUS 302814 HAS SOUPS 302035 WITH SCORE 303027.745
AT ITER 567 NEW BEST:: SOT 1754753 SOS 993150 HAS SOPS 986381 HAS SOUS 302711 HAS SOUPS 301932 WITH SCORE 302925.15
AT ITER 572 NEW BEST:: SOT 1754474 SOS 992385 HAS SOPS 981872 HAS SOUS 302476 HAS SOUPS 301229 WITH SCORE 302221.385
AT ITER 578 NEW BEST:: SOT 1754465 SOS 992345 HAS SOPS 981832 HAS SOUS 302458 HAS SOUPS 301211 WITH SCORE 302203.345
AT ITER 585 NEW BEST:: SOT 1738265 SOS 975905 HAS SOPS 965392 HAS SOUS 299050 HAS SOUPS 297803 WITH SCORE 298778.905
AT ITER 593 NEW BEST:: SOT 1738257 SOS 975889 HAS SOPS 965376 HAS SOUS 299034 HAS SOUPS 297787 WITH SCORE 298762.889
AT ITER 600 NEW BEST:: SOT 1738081 SOS 975749 HAS SOPS 965236 HAS SOUS 298998 HAS SOUPS 297751 WITH SCORE 298726.749
AT ITER 601 NEW BEST:: SOT 1738034 SOS 975702 HAS SOPS 963973 HAS SOUS 298951 HAS SOUPS 297552 WITH SCORE 298527.702
AT ITER 607 NEW BEST:: SOT 1737730 SOS 975398 HAS SOPS 963669 HAS SOUS 298723 HAS SOUPS 297324 WITH SCORE 298299.398
AT ITER 618 NEW BEST:: SOT 1737734 SOS 975307 HAS SOPS 963578 HAS SOUS 297207 HAS SOUPS 295808 WITH SCORE 296783.307
AT ITER 629 NEW BEST:: SOT 1737810 SOS 975323 HAS SOPS 963594 HAS SOUS 295547 HAS SOUPS 294148 WITH SCORE 295123.323
AT ITER 632 NEW BEST:: SOT 1737477 SOS 975047 HAS SOPS 963318 HAS SOUS 294482 HAS SOUPS 293083 WITH SCORE 294058.047
AT ITER 646 NEW BEST:: SOT 1737054 SOS 974676 HAS SOPS 962947 HAS SOUS 293933 HAS SOUPS 292534 WITH SCORE 293508.676
AT ITER 648 NEW BEST:: SOT 1737054 SOS 974676 HAS SOPS 962947 HAS SOUS 293906 HAS SOUPS 292507 WITH SCORE 293481.676
AT ITER 651 NEW BEST:: SOT 1737054 SOS 974676 HAS SOPS 962947 HAS SOUS 293861 HAS SOUPS 292462 WITH SCORE 293436.676
AT ITER 670 NEW BEST:: SOT 1737120 SOS 974800 HAS SOPS 963071 HAS SOUS 293618 HAS SOUPS 292219 WITH SCORE 293193.8
AT ITER 672 NEW BEST:: SOT 1737178 SOS 974956 HAS SOPS 963227 HAS SOUS 293371 HAS SOUPS 291972 WITH SCORE 292946.956
AT ITER 675 NEW BEST:: SOT 1737181 SOS 974966 HAS SOPS 963237 HAS SOUS 293304 HAS SOUPS 291905 WITH SCORE 292879.966
AT ITER 679 NEW BEST:: SOT 1737173 SOS 974950 HAS SOPS 963221 HAS SOUS 293288 HAS SOUPS 291889 WITH SCORE 292863.95
AT ITER 682 NEW BEST:: SOT 1736266 SOS 973630 HAS SOPS 961901 HAS SOUS 292504 HAS SOUPS 291105 WITH SCORE 292078.63
AT ITER 688 NEW BEST:: SOT 1736294 SOS 973486 HAS SOPS 961757 HAS SOUS 292493 HAS SOUPS 291094 WITH SCORE 292067.486
AT ITER 708 NEW BEST:: SOT 1736080 SOS 973255 HAS SOPS 961564 HAS SOUS 291775 HAS SOUPS 290353 WITH SCORE 291326.255
AT ITER 717 NEW BEST:: SOT 1735798 SOS 972330 HAS SOPS 960639 HAS SOUS 291514 HAS SOUPS 290092 WITH SCORE 291064.33
AT ITER 736 NEW BEST:: SOT 1735798 SOS 972330 HAS SOPS 960639 HAS SOUS 291513 HAS SOUPS 290091 WITH SCORE 291063.33
AT ITER 742 NEW BEST:: SOT 1735842 SOS 972374 HAS SOPS 960644 HAS SOUS 291519 HAS SOUPS 290074 WITH SCORE 291046.374
AT ITER 743 NEW BEST:: SOT 1734957 SOS 971542 HAS SOPS 959812 HAS SOUS 290481 HAS SOUPS 289036 WITH SCORE 290007.542
AT ITER 767 NEW BEST:: SOT 1734989 SOS 971534 HAS SOPS 959804 HAS SOUS 289930 HAS SOUPS 288485 WITH SCORE 289456.534
AT ITER 790 NEW BEST:: SOT 1735055 SOS 971600 HAS SOPS 959838 HAS SOUS 289915 HAS SOUPS 288470 WITH SCORE 289441.6
AT ITER 797 NEW BEST:: SOT 1732964 SOS 969586 HAS SOPS 957824 HAS SOUS 289157 HAS SOUPS 287712 WITH SCORE 288681.586
AT ITER 805 NEW BEST:: SOT 1732964 SOS 969586 HAS SOPS 957798 HAS SOUS 289105 HAS SOUPS 287660 WITH SCORE 288629.586
AT ITER 826 NEW BEST:: SOT 1732876 SOS 969479 HAS SOPS 957691 HAS SOUS 289066 HAS SOUPS 287621 WITH SCORE 288590.479
AT ITER 827 NEW BEST:: SOT 1732845 SOS 969448 HAS SOPS 957629 HAS SOUS 289004 HAS SOUPS 287559 WITH SCORE 288528.448
AT ITER 835 NEW BEST:: SOT 1733077 SOS 977710 HAS SOPS 965891 HAS SOUS 288903 HAS SOUPS 287458 WITH SCORE 288435.71
AT ITER 836 NEW BEST:: SOT 1733077 SOS 977710 HAS SOPS 965891 HAS SOUS 288282 HAS SOUPS 286837 WITH SCORE 287814.71
AT ITER 843 NEW BEST:: SOT 1723592 SOS 968225 HAS SOPS 956406 HAS SOUS 287226 HAS SOUPS 285781 WITH SCORE 286749.225
AT ITER 848 NEW BEST:: SOT 1723040 SOS 967825 HAS SOPS 956006 HAS SOUS 286872 HAS SOUPS 285427 WITH SCORE 286394.825
AT ITER 853 NEW BEST:: SOT 1722228 SOS 967013 HAS SOPS 955194 HAS SOUS 286669 HAS SOUPS 285224 WITH SCORE 286191.013
AT ITER 861 NEW BEST:: SOT 1721802 SOS 966349 HAS SOPS 954530 HAS SOUS 286174 HAS SOUPS 284729 WITH SCORE 285695.349
AT ITER 866 NEW BEST:: SOT 1721410 SOS 965975 HAS SOPS 954156 HAS SOUS 285800 HAS SOUPS 284355 WITH SCORE 285320.975
AT ITER 871 NEW BEST:: SOT 1721393 SOS 965958 HAS SOPS 954139 HAS SOUS 285766 HAS SOUPS 284321 WITH SCORE 285286.958
AT ITER 879 NEW BEST:: SOT 1720735 SOS 967727 HAS SOPS 955908 HAS SOUS 285518 HAS SOUPS 284073 WITH SCORE 285040.727
AT ITER 880 NEW BEST:: SOT 1720693 SOS 967685 HAS SOPS 955866 HAS SOUS 285420 HAS SOUPS 283975 WITH SCORE 284942.685
AT ITER 886 NEW BEST:: SOT 1720634 SOS 967233 HAS SOPS 955414 HAS SOUS 285240 HAS SOUPS 283795 WITH SCORE 284762.233
AT ITER 900 NEW BEST:: SOT 1720627 SOS 967219 HAS SOPS 955400 HAS SOUS 285226 HAS SOUPS 283781 WITH SCORE 284748.219
AT ITER 909 NEW BEST:: SOT 1720582 SOS 967174 HAS SOPS 955355 HAS SOUS 285159 HAS SOUPS 283714 WITH SCORE 284681.174
AT ITER 919 NEW BEST:: SOT 1720450 SOS 966981 HAS SOPS 955162 HAS SOUS 285038 HAS SOUPS 283593 WITH SCORE 284559.981
AT ITER 923 NEW BEST:: SOT 1720399 SOS 966879 HAS SOPS 955060 HAS SOUS 284900 HAS SOUPS 283455 WITH SCORE 284421.879
AT ITER 924 NEW BEST:: SOT 1720239 SOS 966703 HAS SOPS 954884 HAS SOUS 284724 HAS SOUPS 283279 WITH SCORE 284245.703
AT ITER 927 NEW BEST:: SOT 1720203 SOS 966667 HAS SOPS 954848 HAS SOUS 284688 HAS SOUPS 283243 WITH SCORE 284209.667
AT ITER 938 NEW BEST:: SOT 1720212 SOS 966940 HAS SOPS 955121 HAS SOUS 284613 HAS SOUPS 283168 WITH SCORE 284134.94
AT ITER 943 NEW BEST:: SOT 1720185 SOS 966894 HAS SOPS 955075 HAS SOUS 284559 HAS SOUPS 283114 WITH SCORE 284080.894
AT ITER 944 NEW BEST:: SOT 1720095 SOS 966834 HAS SOPS 955015 HAS SOUS 284469 HAS SOUPS 283024 WITH SCORE 283990.834
AT ITER 952 NEW BEST:: SOT 1720043 SOS 966678 HAS SOPS 954859 HAS SOUS 284313 HAS SOUPS 282868 WITH SCORE 283834.678
AT ITER 969 NEW BEST:: SOT 1719948 SOS 966332 HAS SOPS 954513 HAS SOUS 284079 HAS SOUPS 282634 WITH SCORE 283600.332
AT ITER 971 NEW BEST:: SOT 1719120 SOS 965654 HAS SOPS 953835 HAS SOUS 283368 HAS SOUPS 281923 WITH SCORE 282888.654
AT ITER 981 NEW BEST:: SOT 1718839 SOS 965464 HAS SOPS 953645 HAS SOUS 283079 HAS SOUPS 281634 WITH SCORE 282599.464
AT ITER 1010 NEW BEST:: SOT 1718720 SOS 965349 HAS SOPS 953685 HAS SOUS 283005 HAS SOUPS 281560 WITH SCORE 282525.349
AT ITER 1016 NEW BEST:: SOT 1718884 SOS 966120 HAS SOPS 954456 HAS SOUS 282904 HAS SOUPS 281459 WITH SCORE 282425.12
AT ITER 1017 NEW BEST:: SOT 1718947 SOS 966246 HAS SOPS 954582 HAS SOUS 282888 HAS SOUPS 281443 WITH SCORE 282409.246
AT ITER 1021 NEW BEST:: SOT 1718943 SOS 966202 HAS SOPS 954538 HAS SOUS 282844 HAS SOUPS 281399 WITH SCORE 282365.202
AT ITER 1042 NEW BEST:: SOT 1718840 SOS 966063 HAS SOPS 954399 HAS SOUS 282520 HAS SOUPS 281075 WITH SCORE 282041.063
AT ITER 1063 NEW BEST:: SOT 1716637 SOS 963696 HAS SOPS 952032 HAS SOUS 281252 HAS SOUPS 279807 WITH SCORE 280770.696
AT ITER 1087 NEW BEST:: SOT 1716334 SOS 963078 HAS SOPS 951414 HAS SOUS 281184 HAS SOUPS 279739 WITH SCORE 280702.078
AT ITER 1092 NEW BEST:: SOT 1716326 SOS 963070 HAS SOPS 951388 HAS SOUS 281140 HAS SOUPS 279695 WITH SCORE 280658.07
AT ITER 1099 NEW BEST:: SOT 1716120 SOS 962891 HAS SOPS 951415 HAS SOUS 280934 HAS SOUPS 279489 WITH SCORE 280451.891
AT ITER 1100 NEW BEST:: SOT 1715913 SOS 962691 HAS SOPS 951215 HAS SOUS 280583 HAS SOUPS 279138 WITH SCORE 280100.691
AT ITER 1110 NEW BEST:: SOT 1715714 SOS 962492 HAS SOPS 951016 HAS SOUS 280384 HAS SOUPS 278939 WITH SCORE 279901.492
AT ITER 1115 NEW BEST:: SOT 1715726 SOS 962504 HAS SOPS 951028 HAS SOUS 280231 HAS SOUPS 278786 WITH SCORE 279748.504
AT ITER 1116 NEW BEST:: SOT 1715784 SOS 962562 HAS SOPS 951086 HAS SOUS 280176 HAS SOUPS 278731 WITH SCORE 279693.562
AT ITER 1117 NEW BEST:: SOT 1715777 SOS 962555 HAS SOPS 951079 HAS SOUS 280005 HAS SOUPS 278560 WITH SCORE 279522.555
AT ITER 1119 NEW BEST:: SOT 1714422 SOS 960906 HAS SOPS 949430 HAS SOUS 278465 HAS SOUPS 277020 WITH SCORE 277980.906
AT ITER 1126 NEW BEST:: SOT 1714319 SOS 960557 HAS SOPS 949081 HAS SOUS 277764 HAS SOUPS 276319 WITH SCORE 277279.557
AT ITER 1135 NEW BEST:: SOT 1714082 SOS 960035 HAS SOPS 948702 HAS SOUS 277600 HAS SOUPS 276155 WITH SCORE 277115.035
AT ITER 1151 NEW BEST:: SOT 1714072 SOS 960015 HAS SOPS 948682 HAS SOUS 277559 HAS SOUPS 276114 WITH SCORE 277074.015
AT ITER 1155 NEW BEST:: SOT 1714023 SOS 959889 HAS SOPS 948556 HAS SOUS 277461 HAS SOUPS 276016 WITH SCORE 276975.889
AT ITER 1168 NEW BEST:: SOT 1713845 SOS 959782 HAS SOPS 948449 HAS SOUS 277383 HAS SOUPS 275938 WITH SCORE 276897.782
AT ITER 1176 NEW BEST:: SOT 1713814 SOS 959751 HAS SOPS 948418 HAS SOUS 277256 HAS SOUPS 275811 WITH SCORE 276770.751
AT ITER 1185 NEW BEST:: SOT 1713904 SOS 959841 HAS SOPS 948476 HAS SOUS 277253 HAS SOUPS 275808 WITH SCORE 276767.841
AT ITER 1186 NEW BEST:: SOT 1713783 SOS 959720 HAS SOPS 948355 HAS SOUS 277160 HAS SOUPS 275715 WITH SCORE 276674.72
AT ITER 1187 NEW BEST:: SOT 1713774 SOS 959702 HAS SOPS 948337 HAS SOUS 277142 HAS SOUPS 275697 WITH SCORE 276656.702
AT ITER 1189 NEW BEST:: SOT 1713775 SOS 959703 HAS SOPS 948338 HAS SOUS 277129 HAS SOUPS 275684 WITH SCORE 276643.703
AT ITER 1205 NEW BEST:: SOT 1713843 SOS 959583 HAS SOPS 948218 HAS SOUS 277122 HAS SOUPS 275677 WITH SCORE 276636.583
AT ITER 1206 NEW BEST:: SOT 1713710 SOS 959402 HAS SOPS 948037 HAS SOUS 276808 HAS SOUPS 275363 WITH SCORE 276322.402
AT ITER 1210 NEW BEST:: SOT 1713666 SOS 959388 HAS SOPS 948023 HAS SOUS 276599 HAS SOUPS 275154 WITH SCORE 276113.388
AT ITER 1211 NEW BEST:: SOT 1713678 SOS 959568 HAS SOPS 948203 HAS SOUS 276519 HAS SOUPS 275074 WITH SCORE 276033.568
AT ITER 1247 NEW BEST:: SOT 1713408 SOS 959136 HAS SOPS 947771 HAS SOUS 276222 HAS SOUPS 274777 WITH SCORE 275736.136
AT ITER 1248 NEW BEST:: SOT 1713379 SOS 958845 HAS SOPS 947480 HAS SOUS 276138 HAS SOUPS 274693 WITH SCORE 275651.845
AT ITER 1255 NEW BEST:: SOT 1713414 SOS 956028 HAS SOPS 944663 HAS SOUS 276138 HAS SOUPS 274693 WITH SCORE 275649.028
AT ITER 1263 NEW BEST:: SOT 1713305 SOS 955919 HAS SOPS 944663 HAS SOUS 276029 HAS SOUPS 274584 WITH SCORE 275539.919
AT ITER 1282 NEW BEST:: SOT 1713473 SOS 953630 HAS SOPS 942374 HAS SOUS 275892 HAS SOUPS 274447 WITH SCORE 275400.63
AT ITER 1283 NEW BEST:: SOT 1713382 SOS 953332 HAS SOPS 942160 HAS SOUS 275296 HAS SOUPS 273851 WITH SCORE 274804.332
AT ITER 1287 NEW BEST:: SOT 1713352 SOS 953302 HAS SOPS 942130 HAS SOUS 275266 HAS SOUPS 273821 WITH SCORE 274774.302
AT ITER 1289 NEW BEST:: SOT 1713268 SOS 953218 HAS SOPS 942046 HAS SOUS 275077 HAS SOUPS 273632 WITH SCORE 274585.218
AT ITER 1292 NEW BEST:: SOT 1713172 SOS 953122 HAS SOPS 941950 HAS SOUS 274795 HAS SOUPS 273350 WITH SCORE 274303.122
AT ITER 1298 NEW BEST:: SOT 1713157 SOS 953467 HAS SOPS 942304 HAS SOUS 274791 HAS SOUPS 273346 WITH SCORE 274299.467
AT ITER 1307 NEW BEST:: SOT 1713101 SOS 953383 HAS SOPS 942220 HAS SOUS 274735 HAS SOUPS 273290 WITH SCORE 274243.383
AT ITER 1319 NEW BEST:: SOT 1712941 SOS 953306 HAS SOPS 942143 HAS SOUS 274415 HAS SOUPS 272970 WITH SCORE 273923.306
AT ITER 1322 NEW BEST:: SOT 1712941 SOS 953315 HAS SOPS 942152 HAS SOUS 274406 HAS SOUPS 272961 WITH SCORE 273914.315
AT ITER 1350 NEW BEST:: SOT 1712535 SOS 952863 HAS SOPS 941700 HAS SOUS 274106 HAS SOUPS 272661 WITH SCORE 273613.863
AT ITER 1351 NEW BEST:: SOT 1712640 SOS 952968 HAS SOPS 941805 HAS SOUS 273048 HAS SOUPS 271603 WITH SCORE 272555.968
AT ITER 1391 NEW BEST:: SOT 1712627 SOS 952942 HAS SOPS 941779 HAS SOUS 273022 HAS SOUPS 271577 WITH SCORE 272529.942
AT ITER 1395 NEW BEST:: SOT 1712511 SOS 952586 HAS SOPS 941423 HAS SOUS 272786 HAS SOUPS 271341 WITH SCORE 272293.586
AT ITER 1399 NEW BEST:: SOT 1712495 SOS 952570 HAS SOPS 941407 HAS SOUS 272293 HAS SOUPS 270848 WITH SCORE 271800.57
AT ITER 1402 NEW BEST:: SOT 1712583 SOS 953492 HAS SOPS 942329 HAS SOUS 272261 HAS SOUPS 270816 WITH SCORE 271769.492
AT ITER 1411 NEW BEST:: SOT 1712592 SOS 953450 HAS SOPS 942287 HAS SOUS 272075 HAS SOUPS 270630 WITH SCORE 271583.45
AT ITER 1445 NEW BEST:: SOT 1650338 SOS 891196 HAS SOPS 880033 HAS SOUS 259856 HAS SOUPS 258411 WITH SCORE 259302.196
AT ITER 1450 NEW BEST:: SOT 1650223 SOS 898593 HAS SOPS 887430 HAS SOUS 259837 HAS SOUPS 258392 WITH SCORE 259290.593
AT ITER 1455 NEW BEST:: SOT 1650174 SOS 898544 HAS SOPS 887381 HAS SOUS 259739 HAS SOUPS 258294 WITH SCORE 259192.544
AT ITER 1470 NEW BEST:: SOT 1650042 SOS 898412 HAS SOPS 887249 HAS SOUS 259521 HAS SOUPS 258076 WITH SCORE 258974.412
AT ITER 1484 NEW BEST:: SOT 1650034 SOS 898404 HAS SOPS 887241 HAS SOUS 259489 HAS SOUPS 258044 WITH SCORE 258942.404
AT ITER 1487 NEW BEST:: SOT 1650022 SOS 898418 HAS SOPS 887255 HAS SOUS 259477 HAS SOUPS 258032 WITH SCORE 258930.418
AT ITER 1490 NEW BEST:: SOT 1649013 SOS 916645 HAS SOPS 905482 HAS SOUS 258837 HAS SOUPS 257392 WITH SCORE 258308.645
AT ITER 1494 NEW BEST:: SOT 1648840 SOS 916464 HAS SOPS 905301 HAS SOUS 258491 HAS SOUPS 257046 WITH SCORE 257962.464
AT ITER 1499 NEW BEST:: SOT 1648821 SOS 916427 HAS SOPS 905264 HAS SOUS 258473 HAS SOUPS 257028 WITH SCORE 257944.427
AT ITER 1508 NEW BEST:: SOT 1648898 SOS 916466 HAS SOPS 905303 HAS SOUS 258343 HAS SOUPS 256898 WITH SCORE 257814.466
AT ITER 1509 NEW BEST:: SOT 1648656 SOS 916051 HAS SOPS 904888 HAS SOUS 258014 HAS SOUPS 256569 WITH SCORE 257485.051
AT ITER 1512 NEW BEST:: SOT 1648634 SOS 915947 HAS SOPS 904784 HAS SOUS 258001 HAS SOUPS 256556 WITH SCORE 257471.947
AT ITER 1514 NEW BEST:: SOT 1648614 SOS 915891 HAS SOPS 904728 HAS SOUS 257887 HAS SOUPS 256442 WITH SCORE 257357.891
AT ITER 1534 NEW BEST:: SOT 1648591 SOS 915896 HAS SOPS 904733 HAS SOUS 257807 HAS SOUPS 256362 WITH SCORE 257277.896
AT ITER 1539 NEW BEST:: SOT 1648573 SOS 915878 HAS SOPS 904715 HAS SOUS 257771 HAS SOUPS 256326 WITH SCORE 257241.878
AT ITER 1559 NEW BEST:: SOT 1648550 SOS 915885 HAS SOPS 904722 HAS SOUS 257764 HAS SOUPS 256319 WITH SCORE 257234.885
AT ITER 1560 NEW BEST:: SOT 1647983 SOS 914757 HAS SOPS 903594 HAS SOUS 257692 HAS SOUPS 256247 WITH SCORE 257161.757
AT ITER 1569 NEW BEST:: SOT 1647559 SOS 913706 HAS SOPS 902543 HAS SOUS 257308 HAS SOUPS 255863 WITH SCORE 256776.706
AT ITER 1578 NEW BEST:: SOT 1646955 SOS 913219 HAS SOPS 902056 HAS SOUS 256804 HAS SOUPS 255359 WITH SCORE 256272.219
AT ITER 1590 NEW BEST:: SOT 1646699 SOS 912547 HAS SOPS 901384 HAS SOUS 256551 HAS SOUPS 255106 WITH SCORE 256018.547
AT ITER 1598 NEW BEST:: SOT 1646700 SOS 912548 HAS SOPS 901385 HAS SOUS 256548 HAS SOUPS 255103 WITH SCORE 256015.548
AT ITER 1604 NEW BEST:: SOT 1646691 SOS 912530 HAS SOPS 901367 HAS SOUS 256341 HAS SOUPS 254896 WITH SCORE 255808.53
AT ITER 1607 NEW BEST:: SOT 1646545 SOS 911963 HAS SOPS 900800 HAS SOUS 256049 HAS SOUPS 254604 WITH SCORE 255515.963
AT ITER 1635 NEW BEST:: SOT 1646741 SOS 912178 HAS SOPS 901015 HAS SOUS 255302 HAS SOUPS 253857 WITH SCORE 254769.178
AT ITER 1639 NEW BEST:: SOT 1640839 SOS 906250 HAS SOPS 895087 HAS SOUS 254184 HAS SOUPS 252739 WITH SCORE 253645.25
AT ITER 1649 NEW BEST:: SOT 1640818 SOS 906221 HAS SOPS 895058 HAS SOUS 254142 HAS SOUPS 252697 WITH SCORE 253603.221
AT ITER 1652 NEW BEST:: SOT 1640778 SOS 906140 HAS SOPS 894977 HAS SOUS 254021 HAS SOUPS 252576 WITH SCORE 253482.14
AT ITER 1680 NEW BEST:: SOT 1640613 SOS 905975 HAS SOPS 894812 HAS SOUS 253721 HAS SOUPS 252276 WITH SCORE 253181.975
AT ITER 1683 NEW BEST:: SOT 1640581 SOS 905943 HAS SOPS 894809 HAS SOUS 253591 HAS SOUPS 252146 WITH SCORE 253051.943
AT ITER 1717 NEW BEST:: SOT 1640539 SOS 905901 HAS SOPS 894793 HAS SOUS 253455 HAS SOUPS 252010 WITH SCORE 252915.901
AT ITER 1723 NEW BEST:: SOT 1640379 SOS 905692 HAS SOPS 894670 HAS SOUS 252553 HAS SOUPS 251108 WITH SCORE 252013.692
AT ITER 1725 NEW BEST:: SOT 1640199 SOS 905482 HAS SOPS 894460 HAS SOUS 252253 HAS SOUPS 250808 WITH SCORE 251713.482
AT ITER 1731 NEW BEST:: SOT 1640023 SOS 905294 HAS SOPS 894272 HAS SOUS 252240 HAS SOUPS 250795 WITH SCORE 251700.294
AT ITER 1736 NEW BEST:: SOT 1640023 SOS 905312 HAS SOPS 894290 HAS SOUS 252186 HAS SOUPS 250741 WITH SCORE 251646.312
AT ITER 1738 NEW BEST:: SOT 1639867 SOS 905117 HAS SOPS 894095 HAS SOUS 251991 HAS SOUPS 250546 WITH SCORE 251451.117
AT ITER 1739 NEW BEST:: SOT 1639813 SOS 905306 HAS SOPS 894298 HAS SOUS 251894 HAS SOUPS 250449 WITH SCORE 251354.306
AT ITER 1740 NEW BEST:: SOT 1639801 SOS 905294 HAS SOPS 894292 HAS SOUS 251892 HAS SOUPS 250448 WITH SCORE 251353.294
AT ITER 1741 NEW BEST:: SOT 1639801 SOS 905276 HAS SOPS 894274 HAS SOUS 251874 HAS SOUPS 250430 WITH SCORE 251335.276
AT ITER 1755 NEW BEST:: SOT 1639800 SOS 905184 HAS SOPS 894182 HAS SOUS 250234 HAS SOUPS 248790 WITH SCORE 249695.184
AT ITER 1778 NEW BEST:: SOT 1639184 SOS 904726 HAS SOPS 893724 HAS SOUS 249782 HAS SOUPS 248338 WITH SCORE 249242.726
AT ITER 1782 NEW BEST:: SOT 1639478 SOS 905020 HAS SOPS 894018 HAS SOUS 249563 HAS SOUPS 248119 WITH SCORE 249024.02
AT ITER 1788 NEW BEST:: SOT 1639478 SOS 905011 HAS SOPS 894009 HAS SOUS 249554 HAS SOUPS 248110 WITH SCORE 249015.011
AT ITER 1791 NEW BEST:: SOT 1639475 SOS 903442 HAS SOPS 892440 HAS SOUS 249553 HAS SOUPS 248109 WITH SCORE 249012.442
AT ITER 1794 NEW BEST:: SOT 1639222 SOS 903189 HAS SOPS 892187 HAS SOUS 249540 HAS SOUPS 248096 WITH SCORE 248999.189
AT ITER 1798 NEW BEST:: SOT 1639162 SOS 903129 HAS SOPS 892127 HAS SOUS 249480 HAS SOUPS 248036 WITH SCORE 248939.129
AT ITER 1823 NEW BEST:: SOT 1639149 SOS 903116 HAS SOPS 892114 HAS SOUS 249454 HAS SOUPS 248010 WITH SCORE 248913.116
AT ITER 1830 NEW BEST:: SOT 1639060 SOS 903027 HAS SOPS 892025 HAS SOUS 249336 HAS SOUPS 247892 WITH SCORE 248795.027
AT ITER 1832 NEW BEST:: SOT 1639206 SOS 903173 HAS SOPS 892171 HAS SOUS 249280 HAS SOUPS 247836 WITH SCORE 248739.173
AT ITER 1842 NEW BEST:: SOT 1639160 SOS 903127 HAS SOPS 892149 HAS SOUS 249270 HAS SOUPS 247826 WITH SCORE 248729.127
AT ITER 1846 NEW BEST:: SOT 1638901 SOS 902927 HAS SOPS 891949 HAS SOUS 249045 HAS SOUPS 247601 WITH SCORE 248503.927
AT ITER 1861 NEW BEST:: SOT 1638892 SOS 902918 HAS SOPS 891940 HAS SOUS 249036 HAS SOUPS 247592 WITH SCORE 248494.918
AT ITER 1881 NEW BEST:: SOT 1640660 SOS 904686 HAS SOPS 893708 HAS SOUS 247560 HAS SOUPS 246116 WITH SCORE 247020.686
AT ITER 1882 NEW BEST:: SOT 1640587 SOS 904588 HAS SOPS 893610 HAS SOUS 247414 HAS SOUPS 245970 WITH SCORE 246874.588
AT ITER 1883 NEW BEST:: SOT 1639747 SOS 903900 HAS SOPS 892922 HAS SOUS 246582 HAS SOUPS 245138 WITH SCORE 246041.9
AT ITER 1885 NEW BEST:: SOT 1639972 SOS 904028 HAS SOPS 892934 HAS SOUS 246421 HAS SOUPS 244977 WITH SCORE 245881.028
AT ITER 1897 NEW BEST:: SOT 1639951 SOS 903994 HAS SOPS 892900 HAS SOUS 246395 HAS SOUPS 244951 WITH SCORE 245854.994
AT ITER 1910 NEW BEST:: SOT 1640028 SOS 903919 HAS SOPS 892627 HAS SOUS 246351 HAS SOUPS 244907 WITH SCORE 245810.919
AT ITER 1911 NEW BEST:: SOT 1640018 SOS 904017 HAS SOPS 892725 HAS SOUS 246331 HAS SOUPS 244887 WITH SCORE 245791.017
AT ITER 1915 NEW BEST:: SOT 1640326 SOS 904325 HAS SOPS 893033 HAS SOUS 244660 HAS SOUPS 243216 WITH SCORE 244120.325
AT ITER 1926 NEW BEST:: SOT 1639886 SOS 904034 HAS SOPS 892742 HAS SOUS 244625 HAS SOUPS 243181 WITH SCORE 244085.034
AT ITER 1927 NEW BEST:: SOT 1639615 SOS 903835 HAS SOPS 892543 HAS SOUS 243856 HAS SOUPS 242412 WITH SCORE 243315.835
AT ITER 1952 NEW BEST:: SOT 1639614 SOS 903833 HAS SOPS 892541 HAS SOUS 243854 HAS SOUPS 242410 WITH SCORE 243313.833
AT ITER 1959 NEW BEST:: SOT 1639512 SOS 903629 HAS SOPS 892337 HAS SOUS 243650 HAS SOUPS 242206 WITH SCORE 243109.629
AT ITER 1962 NEW BEST:: SOT 1639505 SOS 903610 HAS SOPS 892318 HAS SOUS 243631 HAS SOUPS 242187 WITH SCORE 243090.61
AT ITER 1974 NEW BEST:: SOT 1628285 SOS 892390 HAS SOPS 881098 HAS SOUS 241986 HAS SOUPS 240542 WITH SCORE 241434.39
AT ITER 2006 NEW BEST:: SOT 1628192 SOS 892188 HAS SOPS 880896 HAS SOUS 241784 HAS SOUPS 240340 WITH SCORE 241232.188
AT ITER 2010 NEW BEST:: SOT 1612780 SOS 881010 HAS SOPS 869718 HAS SOUS 241541 HAS SOUPS 240097 WITH SCORE 240978.01
AT ITER 2011 NEW BEST:: SOT 1612777 SOS 881007 HAS SOPS 869715 HAS SOUS 241481 HAS SOUPS 240037 WITH SCORE 240918.007
AT ITER 2027 NEW BEST:: SOT 1612693 SOS 880860 HAS SOPS 869568 HAS SOUS 241248 HAS SOUPS 239804 WITH SCORE 240684.86
AT ITER 2031 NEW BEST:: SOT 1612595 SOS 880961 HAS SOPS 869669 HAS SOUS 241173 HAS SOUPS 239729 WITH SCORE 240609.961
AT ITER 2034 NEW BEST:: SOT 1612538 SOS 880847 HAS SOPS 869555 HAS SOUS 241059 HAS SOUPS 239615 WITH SCORE 240495.847
AT ITER 2051 NEW BEST:: SOT 1612317 SOS 880626 HAS SOPS 869334 HAS SOUS 240925 HAS SOUPS 239481 WITH SCORE 240361.626
AT ITER 2057 NEW BEST:: SOT 1612337 SOS 880646 HAS SOPS 869366 HAS SOUS 240877 HAS SOUPS 239433 WITH SCORE 240313.646
AT ITER 2060 NEW BEST:: SOT 1612075 SOS 880424 HAS SOPS 869144 HAS SOUS 240595 HAS SOUPS 239151 WITH SCORE 240031.424
AT ITER 2063 NEW BEST:: SOT 1612030 SOS 880334 HAS SOPS 869054 HAS SOUS 240508 HAS SOUPS 239064 WITH SCORE 239944.334
AT ITER 2194 NEW BEST:: SOT 1611820 SOS 880124 HAS SOPS 868844 HAS SOUS 239016 HAS SOUPS 237572 WITH SCORE 238452.124
AT ITER 2201 NEW BEST:: SOT 1611658 SOS 879962 HAS SOPS 868653 HAS SOUS 238852 HAS SOUPS 237408 WITH SCORE 238287.962
AT ITER 2209 NEW BEST:: SOT 1609839 SOS 878143 HAS SOPS 866834 HAS SOUS 238431 HAS SOUPS 236987 WITH SCORE 237865.143
AT ITER 2216 NEW BEST:: SOT 1609898 SOS 878032 HAS SOPS 866723 HAS SOUS 238415 HAS SOUPS 236971 WITH SCORE 237849.032
AT ITER 2227 NEW BEST:: SOT 1609861 SOS 877995 HAS SOPS 866686 HAS SOUS 238409 HAS SOUPS 236965 WITH SCORE 237842.995
AT ITER 2235 NEW BEST:: SOT 1609852 SOS 878554 HAS SOPS 867245 HAS SOUS 238380 HAS SOUPS 236936 WITH SCORE 237814.554
AT ITER 2266 NEW BEST:: SOT 1609914 SOS 878701 HAS SOPS 867392 HAS SOUS 238202 HAS SOUPS 236758 WITH SCORE 237636.701
AT ITER 2269 NEW BEST:: SOT 1609764 SOS 878558 HAS SOPS 867249 HAS SOUS 237875 HAS SOUPS 236431 WITH SCORE 237309.558
AT ITER 2270 NEW BEST:: SOT 1609737 SOS 878541 HAS SOPS 867232 HAS SOUS 237841 HAS SOUPS 236397 WITH SCORE 237275.541
AT ITER 2279 NEW BEST:: SOT 1609737 SOS 878621 HAS SOPS 867312 HAS SOUS 237739 HAS SOUPS 236295 WITH SCORE 237173.621
AT ITER 2306 NEW BEST:: SOT 1609389 SOS 878273 HAS SOPS 866964 HAS SOUS 237664 HAS SOUPS 236220 WITH SCORE 237098.273
AT ITER 2310 NEW BEST:: SOT 1609409 SOS 878289 HAS SOPS 866980 HAS SOUS 237636 HAS SOUPS 236192 WITH SCORE 237070.289
AT ITER 2312 NEW BEST:: SOT 1609403 SOS 878283 HAS SOPS 866974 HAS SOUS 237624 HAS SOUPS 236180 WITH SCORE 237058.283
AT ITER 2320 NEW BEST:: SOT 1609158 SOS 878038 HAS SOPS 866729 HAS SOUS 237386 HAS SOUPS 235942 WITH SCORE 236820.038
AT ITER 2348 NEW BEST:: SOT 1609084 SOS 877964 HAS SOPS 866655 HAS SOUS 237298 HAS SOUPS 235854 WITH SCORE 236731.964
AT ITER 2367 NEW BEST:: SOT 1608788 SOS 877520 HAS SOPS 866211 HAS SOUS 236928 HAS SOUPS 235484 WITH SCORE 236361.52
AT ITER 2379 NEW BEST:: SOT 1608767 SOS 877435 HAS SOPS 866126 HAS SOUS 236886 HAS SOUPS 235442 WITH SCORE 236319.435
AT ITER 2404 NEW BEST:: SOT 1608759 SOS 877431 HAS SOPS 866122 HAS SOUS 236878 HAS SOUPS 235434 WITH SCORE 236311.431
AT ITER 2409 NEW BEST:: SOT 1608759 SOS 877446 HAS SOPS 866137 HAS SOUS 236673 HAS SOUPS 235229 WITH SCORE 236106.446
AT ITER 2410 NEW BEST:: SOT 1608848 SOS 877534 HAS SOPS 866225 HAS SOUS 236642 HAS SOUPS 235198 WITH SCORE 236075.534
AT ITER 2455 NEW BEST:: SOT 1608638 SOS 877324 HAS SOPS 866015 HAS SOUS 236508 HAS SOUPS 235064 WITH SCORE 235941.324
AT ITER 2515 NEW BEST:: SOT 1608439 SOS 877052 HAS SOPS 865743 HAS SOUS 236286 HAS SOUPS 234842 WITH SCORE 235719.052
AT ITER 2522 NEW BEST:: SOT 1608278 SOS 876931 HAS SOPS 865622 HAS SOUS 236128 HAS SOUPS 234684 WITH SCORE 235560.931
AT ITER 2529 NEW BEST:: SOT 1608211 SOS 877431 HAS SOPS 866135 HAS SOUS 236120 HAS SOUPS 234676 WITH SCORE 235553.431
AT ITER 2559 NEW BEST:: SOT 1608147 SOS 877295 HAS SOPS 865999 HAS SOUS 235992 HAS SOUPS 234548 WITH SCORE 235425.295
AT ITER 2564 NEW BEST:: SOT 1608071 SOS 877257 HAS SOPS 865961 HAS SOUS 235916 HAS SOUPS 234472 WITH SCORE 235349.257
AT ITER 2590 NEW BEST:: SOT 1557379 SOS 887605 HAS SOPS 876309 HAS SOUS 230220 HAS SOUPS 228776 WITH SCORE 229663.605
AT ITER 2599 NEW BEST:: SOT 1556914 SOS 886916 HAS SOPS 875620 HAS SOUS 229726 HAS SOUPS 228282 WITH SCORE 229168.916
AT ITER 2628 NEW BEST:: SOT 1556874 SOS 886868 HAS SOPS 875572 HAS SOUS 229599 HAS SOUPS 228155 WITH SCORE 229041.868
AT ITER 2632 NEW BEST:: SOT 1556716 SOS 886710 HAS SOPS 875414 HAS SOUS 229441 HAS SOUPS 227997 WITH SCORE 228883.71
AT ITER 2639 NEW BEST:: SOT 1556562 SOS 886556 HAS SOPS 875260 HAS SOUS 229293 HAS SOUPS 227849 WITH SCORE 228735.556
AT ITER 2646 NEW BEST:: SOT 1556268 SOS 886203 HAS SOPS 874907 HAS SOUS 228954 HAS SOUPS 227510 WITH SCORE 228396.203
AT ITER 2655 NEW BEST:: SOT 1556495 SOS 886420 HAS SOPS 875124 HAS SOUS 228845 HAS SOUPS 227401 WITH SCORE 228287.42
AT ITER 2660 NEW BEST:: SOT 1556485 SOS 886410 HAS SOPS 875114 HAS SOUS 228805 HAS SOUPS 227361 WITH SCORE 228247.41
AT ITER 2662 NEW BEST:: SOT 1556496 SOS 886298 HAS SOPS 875002 HAS SOUS 228736 HAS SOUPS 227292 WITH SCORE 228178.298
AT ITER 2671 NEW BEST:: SOT 1556565 SOS 886313 HAS SOPS 875017 HAS SOUS 227902 HAS SOUPS 226458 WITH SCORE 227344.313
AT ITER 2678 NEW BEST:: SOT 1556554 SOS 886302 HAS SOPS 875006 HAS SOUS 227891 HAS SOUPS 226447 WITH SCORE 227333.302
AT ITER 2686 NEW BEST:: SOT 1556413 SOS 886138 HAS SOPS 874842 HAS SOUS 227706 HAS SOUPS 226262 WITH SCORE 227148.138
AT ITER 2687 NEW BEST:: SOT 1556423 SOS 886148 HAS SOPS 874880 HAS SOUS 227670 HAS SOUPS 226238 WITH SCORE 227124.148
AT ITER 2692 NEW BEST:: SOT 1556257 SOS 885939 HAS SOPS 874671 HAS SOUS 227338 HAS SOUPS 225906 WITH SCORE 226791.939
AT ITER 2715 NEW BEST:: SOT 1556012 SOS 885473 HAS SOPS 874205 HAS SOUS 227282 HAS SOUPS 225850 WITH SCORE 226735.473
AT ITER 2718 NEW BEST:: SOT 1556016 SOS 885441 HAS SOPS 874173 HAS SOUS 227282 HAS SOUPS 225850 WITH SCORE 226735.441
AT ITER 2720 NEW BEST:: SOT 1555758 SOS 885191 HAS SOPS 873923 HAS SOUS 227049 HAS SOUPS 225617 WITH SCORE 226502.191
AT ITER 2728 NEW BEST:: SOT 1555757 SOS 885190 HAS SOPS 873937 HAS SOUS 226889 HAS SOUPS 225457 WITH SCORE 226342.19
AT ITER 2729 NEW BEST:: SOT 1555484 SOS 884919 HAS SOPS 873666 HAS SOUS 226641 HAS SOUPS 225209 WITH SCORE 226093.919
AT ITER 2732 NEW BEST:: SOT 1555468 SOS 884862 HAS SOPS 873609 HAS SOUS 226609 HAS SOUPS 225177 WITH SCORE 226061.862
AT ITER 2739 NEW BEST:: SOT 1555460 SOS 884854 HAS SOPS 873609 HAS SOUS 226601 HAS SOUPS 225177 WITH SCORE 226061.854
AT ITER 2759 NEW BEST:: SOT 1555301 SOS 884695 HAS SOPS 873450 HAS SOUS 224753 HAS SOUPS 223329 WITH SCORE 224213.695
AT ITER 2763 NEW BEST:: SOT 1555189 SOS 884488 HAS SOPS 873243 HAS SOUS 224696 HAS SOUPS 223272 WITH SCORE 224156.488
AT ITER 2767 NEW BEST:: SOT 1555214 SOS 884513 HAS SOPS 873303 HAS SOUS 224621 HAS SOUPS 223197 WITH SCORE 224081.513
AT ITER 2780 NEW BEST:: SOT 1555058 SOS 884420 HAS SOPS 873210 HAS SOUS 224469 HAS SOUPS 223045 WITH SCORE 223929.42
AT ITER 2803 NEW BEST:: SOT 1555058 SOS 882884 HAS SOPS 871674 HAS SOUS 224469 HAS SOUPS 223045 WITH SCORE 223927.884
AT ITER 2809 NEW BEST:: SOT 1555097 SOS 882923 HAS SOPS 871676 HAS SOUS 224435 HAS SOUPS 222996 WITH SCORE 223878.923
AT ITER 2821 NEW BEST:: SOT 1555158 SOS 883108 HAS SOPS 871728 HAS SOUS 224313 HAS SOUPS 222874 WITH SCORE 223757.108
AT ITER 2825 NEW BEST:: SOT 1554981 SOS 882931 HAS SOPS 871551 HAS SOUS 223860 HAS SOUPS 222421 WITH SCORE 223303.931
AT ITER 2833 NEW BEST:: SOT 1554963 SOS 882907 HAS SOPS 871527 HAS SOUS 223818 HAS SOUPS 222379 WITH SCORE 223261.907
AT ITER 2840 NEW BEST:: SOT 1555030 SOS 885119 HAS SOPS 872507 HAS SOUS 223744 HAS SOUPS 222151 WITH SCORE 223036.119
AT ITER 2850 NEW BEST:: SOT 1554965 SOS 885097 HAS SOPS 872485 HAS SOUS 223692 HAS SOUPS 222099 WITH SCORE 222984.097
AT ITER 2857 NEW BEST:: SOT 1554950 SOS 885083 HAS SOPS 872471 HAS SOUS 223651 HAS SOUPS 222058 WITH SCORE 222943.083
AT ITER 2859 NEW BEST:: SOT 1554901 SOS 885034 HAS SOPS 872100 HAS SOUS 223714 HAS SOUPS 221799 WITH SCORE 222684.034
AT ITER 2866 NEW BEST:: SOT 1554901 SOS 835144 HAS SOPS 822210 HAS SOUS 223596 HAS SOUPS 221681 WITH SCORE 222516.144
AT ITER 2871 NEW BEST:: SOT 1554826 SOS 835085 HAS SOPS 822122 HAS SOUS 223509 HAS SOUPS 221581 WITH SCORE 222416.085
AT ITER 2876 NEW BEST:: SOT 1558462 SOS 838721 HAS SOPS 825758 HAS SOUS 223449 HAS SOUPS 221521 WITH SCORE 222359.721
AT ITER 2884 NEW BEST:: SOT 1558444 SOS 838412 HAS SOPS 825449 HAS SOUS 223413 HAS SOUPS 221485 WITH SCORE 222323.412
AT ITER 2906 NEW BEST:: SOT 1558320 SOS 808277 HAS SOPS 795314 HAS SOUS 223269 HAS SOUPS 221341 WITH SCORE 222149.277
AT ITER 2932 NEW BEST:: SOT 1558204 SOS 807745 HAS SOPS 794782 HAS SOUS 223183 HAS SOUPS 221255 WITH SCORE 222062.745
AT ITER 2971 NEW BEST:: SOT 1558077 SOS 807618 HAS SOPS 794679 HAS SOUS 222869 HAS SOUPS 220941 WITH SCORE 221748.618
AT ITER 2982 NEW BEST:: SOT 1557975 SOS 807448 HAS SOPS 794509 HAS SOUS 222733 HAS SOUPS 220805 WITH SCORE 221612.448
AT ITER 3002 NEW BEST:: SOT 1557697 SOS 807249 HAS SOPS 794310 HAS SOUS 222572 HAS SOUPS 220644 WITH SCORE 221451.249
AT ITER 3022 NEW BEST:: SOT 1557762 SOS 807418 HAS SOPS 794479 HAS SOUS 222546 HAS SOUPS 220618 WITH SCORE 221425.418
AT ITER 3025 NEW BEST:: SOT 1563223 SOS 802183 HAS SOPS 789244 HAS SOUS 221800 HAS SOUPS 219872 WITH SCORE 220674.183
AT ITER 3058 NEW BEST:: SOT 1563100 SOS 802095 HAS SOPS 789156 HAS SOUS 221585 HAS SOUPS 219657 WITH SCORE 220459.095
AT ITER 3067 NEW BEST:: SOT 1563006 SOS 801970 HAS SOPS 789031 HAS SOUS 221397 HAS SOUPS 219469 WITH SCORE 220270.97
AT ITER 3071 NEW BEST:: SOT 1563031 SOS 801952 HAS SOPS 789013 HAS SOUS 221336 HAS SOUPS 219408 WITH SCORE 220209.952
AT ITER 3086 NEW BEST:: SOT 1561334 SOS 800255 HAS SOPS 787316 HAS SOUS 220738 HAS SOUPS 218810 WITH SCORE 219610.255
AT ITER 3136 NEW BEST:: SOT 1561192 SOS 800113 HAS SOPS 787174 HAS SOUS 220454 HAS SOUPS 218526 WITH SCORE 219326.113
AT ITER 3143 NEW BEST:: SOT 1561248 SOS 800169 HAS SOPS 787230 HAS SOUS 219695 HAS SOUPS 217767 WITH SCORE 218567.169
AT ITER 3166 NEW BEST:: SOT 1561216 SOS 800137 HAS SOPS 787209 HAS SOUS 219650 HAS SOUPS 217722 WITH SCORE 218522.137
AT ITER 3174 NEW BEST:: SOT 1560541 SOS 799489 HAS SOPS 786561 HAS SOUS 219575 HAS SOUPS 217647 WITH SCORE 218446.489
AT ITER 3175 NEW BEST:: SOT 1560605 SOS 799553 HAS SOPS 786625 HAS SOUS 219551 HAS SOUPS 217623 WITH SCORE 218422.553
AT ITER 3176 NEW BEST:: SOT 1560568 SOS 799516 HAS SOPS 786588 HAS SOUS 219515 HAS SOUPS 217587 WITH SCORE 218386.516
AT ITER 3199 NEW BEST:: SOT 1560479 SOS 799955 HAS SOPS 787039 HAS SOUS 219413 HAS SOUPS 217485 WITH SCORE 218284.955
AT ITER 3205 NEW BEST:: SOT 1560309 SOS 799781 HAS SOPS 786865 HAS SOUS 219239 HAS SOUPS 217311 WITH SCORE 218110.781
AT ITER 3218 NEW BEST:: SOT 1559827 SOS 801471 HAS SOPS 788555 HAS SOUS 218797 HAS SOUPS 216869 WITH SCORE 217670.471
AT ITER 3224 NEW BEST:: SOT 1559827 SOS 801453 HAS SOPS 788537 HAS SOUS 218797 HAS SOUPS 216869 WITH SCORE 217670.453
AT ITER 3230 NEW BEST:: SOT 1559774 SOS 801643 HAS SOPS 788750 HAS SOUS 218739 HAS SOUPS 216823 WITH SCORE 217624.643
AT ITER 3251 NEW BEST:: SOT 1559763 SOS 801632 HAS SOPS 788739 HAS SOUS 218717 HAS SOUPS 216801 WITH SCORE 217602.632
AT ITER 3266 NEW BEST:: SOT 1559761 SOS 801628 HAS SOPS 788735 HAS SOUS 218713 HAS SOUPS 216797 WITH SCORE 217598.628
AT ITER 3267 NEW BEST:: SOT 1559753 SOS 801620 HAS SOPS 788719 HAS SOUS 218697 HAS SOUPS 216781 WITH SCORE 217582.62
AT ITER 3268 NEW BEST:: SOT 1559725 SOS 801578 HAS SOPS 788677 HAS SOUS 218641 HAS SOUPS 216725 WITH SCORE 217526.578
AT ITER 3270 NEW BEST:: SOT 1559721 SOS 801574 HAS SOPS 788677 HAS SOUS 218625 HAS SOUPS 216709 WITH SCORE 217510.574
AT ITER 3272 NEW BEST:: SOT 1559666 SOS 801519 HAS SOPS 788622 HAS SOUS 218557 HAS SOUPS 216641 WITH SCORE 217442.519
AT ITER 3307 NEW BEST:: SOT 1559308 SOS 800976 HAS SOPS 788079 HAS SOUS 218270 HAS SOUPS 216354 WITH SCORE 217154.976
AT ITER 3309 NEW BEST:: SOT 1559232 SOS 800900 HAS SOPS 788003 HAS SOUS 218118 HAS SOUPS 216202 WITH SCORE 217002.9
AT ITER 3354 NEW BEST:: SOT 1559001 SOS 800669 HAS SOPS 787772 HAS SOUS 217830 HAS SOUPS 215914 WITH SCORE 216714.669
AT ITER 3368 NEW BEST:: SOT 1558974 SOS 800614 HAS SOPS 787717 HAS SOUS 217794 HAS SOUPS 215878 WITH SCORE 216678.614
AT ITER 3377 NEW BEST:: SOT 1558900 SOS 800568 HAS SOPS 787671 HAS SOUS 217758 HAS SOUPS 215842 WITH SCORE 216642.568
AT ITER 3381 NEW BEST:: SOT 1558900 SOS 800541 HAS SOPS 787644 HAS SOUS 217731 HAS SOUPS 215815 WITH SCORE 216615.541
AT ITER 3395 NEW BEST:: SOT 1559213 SOS 800797 HAS SOPS 787900 HAS SOUS 217177 HAS SOUPS 215261 WITH SCORE 216061.797
AT ITER 3396 NEW BEST:: SOT 1559200 SOS 800784 HAS SOPS 787887 HAS SOUS 217117 HAS SOUPS 215201 WITH SCORE 216001.784
AT ITER 3400 NEW BEST:: SOT 1558950 SOS 800534 HAS SOPS 787637 HAS SOUS 216543 HAS SOUPS 214627 WITH SCORE 215427.534
AT ITER 3454 NEW BEST:: SOT 1558858 SOS 800442 HAS SOPS 787545 HAS SOUS 216469 HAS SOUPS 214553 WITH SCORE 215353.442
AT ITER 3463 NEW BEST:: SOT 1549768 SOS 791352 HAS SOPS 778455 HAS SOUS 214137 HAS SOUPS 212221 WITH SCORE 213012.352
AT ITER 3491 NEW BEST:: SOT 1549761 SOS 791257 HAS SOPS 778360 HAS SOUS 214123 HAS SOUPS 212207 WITH SCORE 212998.257
AT ITER 3502 NEW BEST:: SOT 1549605 SOS 791021 HAS SOPS 778124 HAS SOUS 214041 HAS SOUPS 212125 WITH SCORE 212916.021
AT ITER 3516 NEW BEST:: SOT 1549565 SOS 791010 HAS SOPS 778113 HAS SOUS 213990 HAS SOUPS 212074 WITH SCORE 212865.01
AT ITER 3523 NEW BEST:: SOT 1549565 SOS 791000 HAS SOPS 778103 HAS SOUS 213970 HAS SOUPS 212054 WITH SCORE 212845.0
AT ITER 3538 NEW BEST:: SOT 1549463 SOS 790644 HAS SOPS 777747 HAS SOUS 213699 HAS SOUPS 211783 WITH SCORE 212573.644
AT ITER 3576 NEW BEST:: SOT 1549383 SOS 790590 HAS SOPS 777693 HAS SOUS 213595 HAS SOUPS 211679 WITH SCORE 212469.59
AT ITER 3583 NEW BEST:: SOT 1549272 SOS 788851 HAS SOPS 775954 HAS SOUS 213272 HAS SOUPS 211356 WITH SCORE 212144.851
AT ITER 3597 NEW BEST:: SOT 1538080 SOS 777659 HAS SOPS 764762 HAS SOUS 211312 HAS SOUPS 209396 WITH SCORE 210173.659
AT ITER 3598 NEW BEST:: SOT 1538078 SOS 777657 HAS SOPS 764760 HAS SOUS 211280 HAS SOUPS 209364 WITH SCORE 210141.657
AT ITER 3619 NEW BEST:: SOT 1538056 SOS 777635 HAS SOPS 764738 HAS SOUS 211258 HAS SOUPS 209342 WITH SCORE 210119.635
AT ITER 3638 NEW BEST:: SOT 1506475 SOS 757998 HAS SOPS 745101 HAS SOUS 208723 HAS SOUPS 206807 WITH SCORE 207564.998
AT ITER 3651 NEW BEST:: SOT 1506088 SOS 757610 HAS SOPS 744713 HAS SOUS 208434 HAS SOUPS 206518 WITH SCORE 207275.61
AT ITER 3653 NEW BEST:: SOT 1505438 SOS 756847 HAS SOPS 743950 HAS SOUS 207544 HAS SOUPS 205628 WITH SCORE 206384.847
AT ITER 3666 NEW BEST:: SOT 1505438 SOS 754799 HAS SOPS 741902 HAS SOUS 207544 HAS SOUPS 205628 WITH SCORE 206382.799
AT ITER 3695 NEW BEST:: SOT 1504985 SOS 754248 HAS SOPS 741351 HAS SOUS 207056 HAS SOUPS 205140 WITH SCORE 205894.248
AT ITER 3698 NEW BEST:: SOT 1504914 SOS 754292 HAS SOPS 741395 HAS SOUS 207055 HAS SOUPS 205139 WITH SCORE 205893.292
AT ITER 3720 NEW BEST:: SOT 1504890 SOS 754268 HAS SOPS 741397 HAS SOUS 206933 HAS SOUPS 205017 WITH SCORE 205771.268
AT ITER 3721 NEW BEST:: SOT 1504783 SOS 754161 HAS SOPS 741243 HAS SOUS 206813 HAS SOUPS 204897 WITH SCORE 205651.161
AT ITER 3743 NEW BEST:: SOT 1504757 SOS 754133 HAS SOPS 741215 HAS SOUS 206761 HAS SOUPS 204845 WITH SCORE 205599.133
AT ITER 3813 NEW BEST:: SOT 1504507 SOS 753855 HAS SOPS 740937 HAS SOUS 206691 HAS SOUPS 204775 WITH SCORE 205528.855
AT ITER 3846 NEW BEST:: SOT 1504499 SOS 753847 HAS SOPS 740929 HAS SOUS 206683 HAS SOUPS 204767 WITH SCORE 205520.847
AT ITER 3849 NEW BEST:: SOT 1504455 SOS 753803 HAS SOPS 740885 HAS SOUS 206648 HAS SOUPS 204732 WITH SCORE 205485.803
AT ITER 3854 NEW BEST:: SOT 1504783 SOS 683872 HAS SOPS 666614 HAS SOUS 206510 HAS SOUPS 204468 WITH SCORE 205151.872
AT ITER 3915 NEW BEST:: SOT 1502079 SOS 682745 HAS SOPS 665487 HAS SOUS 206279 HAS SOUPS 204237 WITH SCORE 204919.745
AT ITER 3919 NEW BEST:: SOT 1502061 SOS 682727 HAS SOPS 665476 HAS SOUS 206248 HAS SOUPS 204206 WITH SCORE 204888.727
AT ITER 3934 NEW BEST:: SOT 1502214 SOS 682521 HAS SOPS 665117 HAS SOUS 206219 HAS SOUPS 204183 WITH SCORE 204865.521
AT ITER 3938 NEW BEST:: SOT 1502214 SOS 682509 HAS SOPS 665105 HAS SOUS 206196 HAS SOUPS 204160 WITH SCORE 204842.509
AT ITER 3954 NEW BEST:: SOT 1502265 SOS 682781 HAS SOPS 665377 HAS SOUS 206183 HAS SOUPS 204147 WITH SCORE 204829.781
AT ITER 3962 NEW BEST:: SOT 1502212 SOS 682653 HAS SOPS 665249 HAS SOUS 206055 HAS SOUPS 204019 WITH SCORE 204701.653
AT ITER 3988 NEW BEST:: SOT 1502210 SOS 682651 HAS SOPS 665228 HAS SOUS 206051 HAS SOUPS 204015 WITH SCORE 204697.651
AT ITER 3992 NEW BEST:: SOT 1489522 SOS 669963 HAS SOPS 652540 HAS SOUS 204043 HAS SOUPS 202007 WITH SCORE 202676.963
AT ITER 3999 NEW BEST:: SOT 1489503 SOS 669900 HAS SOPS 652477 HAS SOUS 204005 HAS SOUPS 201969 WITH SCORE 202638.9
AT ITER 4022 NEW BEST:: SOT 1489187 SOS 669537 HAS SOPS 652114 HAS SOUS 203659 HAS SOUPS 201623 WITH SCORE 202292.537
AT ITER 4049 NEW BEST:: SOT 1489155 SOS 669532 HAS SOPS 652109 HAS SOUS 203627 HAS SOUPS 201591 WITH SCORE 202260.532
AT ITER 4052 NEW BEST:: SOT 1489264 SOS 669641 HAS SOPS 652218 HAS SOUS 203602 HAS SOUPS 201566 WITH SCORE 202235.641
AT ITER 4061 NEW BEST:: SOT 1491737 SOS 672114 HAS SOPS 654691 HAS SOUS 203479 HAS SOUPS 201443 WITH SCORE 202115.114
AT ITER 4074 NEW BEST:: SOT 1484672 SOS 665049 HAS SOPS 647626 HAS SOUS 203260 HAS SOUPS 201224 WITH SCORE 201889.049
AT ITER 4085 NEW BEST:: SOT 1484649 SOS 665012 HAS SOPS 647589 HAS SOUS 203223 HAS SOUPS 201187 WITH SCORE 201852.012
AT ITER 4091 NEW BEST:: SOT 1484592 SOS 664955 HAS SOPS 647532 HAS SOUS 203128 HAS SOUPS 201092 WITH SCORE 201756.955
AT ITER 4112 NEW BEST:: SOT 1484592 SOS 664930 HAS SOPS 647464 HAS SOUS 203128 HAS SOUPS 201092 WITH SCORE 201756.93
AT ITER 4141 NEW BEST:: SOT 1484553 SOS 664852 HAS SOPS 647386 HAS SOUS 203050 HAS SOUPS 201014 WITH SCORE 201678.852
AT ITER 4147 NEW BEST:: SOT 1483020 SOS 663312 HAS SOPS 645846 HAS SOUS 202707 HAS SOUPS 200671 WITH SCORE 201334.312
AT ITER 4154 NEW BEST:: SOT 1482968 SOS 663286 HAS SOPS 645820 HAS SOUS 202577 HAS SOUPS 200541 WITH SCORE 201204.286
AT ITER 4166 NEW BEST:: SOT 1482802 SOS 663120 HAS SOPS 645654 HAS SOUS 202411 HAS SOUPS 200375 WITH SCORE 201038.12
AT ITER 4195 NEW BEST:: SOT 1482802 SOS 662583 HAS SOPS 645117 HAS SOUS 202411 HAS SOUPS 200375 WITH SCORE 201037.583
AT ITER 4223 NEW BEST:: SOT 1482778 SOS 662559 HAS SOPS 645069 HAS SOUS 202363 HAS SOUPS 200327 WITH SCORE 200989.559
AT ITER 4236 NEW BEST:: SOT 1482671 SOS 662428 HAS SOPS 644938 HAS SOUS 202287 HAS SOUPS 200251 WITH SCORE 200913.428
AT ITER 4249 NEW BEST:: SOT 1482642 SOS 662309 HAS SOPS 644819 HAS SOUS 202194 HAS SOUPS 200158 WITH SCORE 200820.309
AT ITER 4301 NEW BEST:: SOT 1482445 SOS 662093 HAS SOPS 644603 HAS SOUS 202054 HAS SOUPS 200018 WITH SCORE 200680.093
AT ITER 4316 NEW BEST:: SOT 1482243 SOS 661778 HAS SOPS 644288 HAS SOUS 201852 HAS SOUPS 199816 WITH SCORE 200477.778
AT ITER 4335 NEW BEST:: SOT 1482243 SOS 661778 HAS SOPS 644288 HAS SOUS 201850 HAS SOUPS 199814 WITH SCORE 200475.778
AT ITER 4342 NEW BEST:: SOT 1482236 SOS 661771 HAS SOPS 644316 HAS SOUS 201750 HAS SOUPS 199714 WITH SCORE 200375.771
AT ITER 4356 NEW BEST:: SOT 1482206 SOS 661716 HAS SOPS 644261 HAS SOUS 201670 HAS SOUPS 199634 WITH SCORE 200295.716
AT ITER 4360 NEW BEST:: SOT 1481561 SOS 660517 HAS SOPS 643062 HAS SOUS 201158 HAS SOUPS 199122 WITH SCORE 199782.517
AT ITER 4365 NEW BEST:: SOT 1481573 SOS 660652 HAS SOPS 643197 HAS SOUS 201016 HAS SOUPS 198980 WITH SCORE 199640.652
AT ITER 4385 NEW BEST:: SOT 1481553 SOS 660455 HAS SOPS 643129 HAS SOUS 200970 HAS SOUPS 198934 WITH SCORE 199594.455
AT ITER 4386 NEW BEST:: SOT 1481553 SOS 660455 HAS SOPS 643129 HAS SOUS 200932 HAS SOUPS 198896 WITH SCORE 199556.455
AT ITER 4394 NEW BEST:: SOT 1481217 SOS 659947 HAS SOPS 642621 HAS SOUS 200807 HAS SOUPS 198771 WITH SCORE 199430.947
AT ITER 4416 NEW BEST:: SOT 1481237 SOS 659967 HAS SOPS 642641 HAS SOUS 200788 HAS SOUPS 198752 WITH SCORE 199411.967
AT ITER 4449 NEW BEST:: SOT 1481204 SOS 659788 HAS SOPS 642431 HAS SOUS 200570 HAS SOUPS 198534 WITH SCORE 199193.788
AT ITER 4468 NEW BEST:: SOT 1481159 SOS 659743 HAS SOPS 642386 HAS SOUS 200480 HAS SOUPS 198444 WITH SCORE 199103.743
AT ITER 4470 NEW BEST:: SOT 1480910 SOS 659411 HAS SOPS 642054 HAS SOUS 200148 HAS SOUPS 198112 WITH SCORE 198771.411
AT ITER 4512 NEW BEST:: SOT 1480830 SOS 659171 HAS SOPS 641814 HAS SOUS 200048 HAS SOUPS 198012 WITH SCORE 198671.171
AT ITER 4523 NEW BEST:: SOT 1480821 SOS 659162 HAS SOPS 641805 HAS SOUS 200039 HAS SOUPS 198003 WITH SCORE 198662.162
AT ITER 4527 NEW BEST:: SOT 1480791 SOS 659111 HAS SOPS 641754 HAS SOUS 199979 HAS SOUPS 197943 WITH SCORE 198602.111
AT ITER 4528 NEW BEST:: SOT 1480787 SOS 659107 HAS SOPS 641718 HAS SOUS 199935 HAS SOUPS 197899 WITH SCORE 198558.107
AT ITER 4535 NEW BEST:: SOT 1486638 SOS 652860 HAS SOPS 635471 HAS SOUS 198188 HAS SOUPS 196152 WITH SCORE 196804.86
AT ITER 4548 NEW BEST:: SOT 1486574 SOS 652732 HAS SOPS 635343 HAS SOUS 198060 HAS SOUPS 196024 WITH SCORE 196676.732
AT ITER 4562 NEW BEST:: SOT 1486638 SOS 652836 HAS SOPS 635447 HAS SOUS 198010 HAS SOUPS 195974 WITH SCORE 196626.836
AT ITER 4563 NEW BEST:: SOT 1486541 SOS 652739 HAS SOPS 635350 HAS SOUS 197805 HAS SOUPS 195769 WITH SCORE 196421.739
AT ITER 4573 NEW BEST:: SOT 1486532 SOS 652730 HAS SOPS 635341 HAS SOUS 197793 HAS SOUPS 195757 WITH SCORE 196409.73
AT ITER 4587 NEW BEST:: SOT 1486180 SOS 652461 HAS SOPS 635072 HAS SOUS 197255 HAS SOUPS 195219 WITH SCORE 195871.461
AT ITER 4592 NEW BEST:: SOT 1486287 SOS 652568 HAS SOPS 635365 HAS SOUS 197164 HAS SOUPS 195128 WITH SCORE 195780.568
AT ITER 4593 NEW BEST:: SOT 1486227 SOS 674442 HAS SOPS 657239 HAS SOUS 197123 HAS SOUPS 195087 WITH SCORE 195761.442
AT ITER 4606 NEW BEST:: SOT 1486226 SOS 674441 HAS SOPS 657237 HAS SOUS 197121 HAS SOUPS 195085 WITH SCORE 195759.441
AT ITER 4630 NEW BEST:: SOT 1486069 SOS 674254 HAS SOPS 657050 HAS SOUS 196807 HAS SOUPS 194771 WITH SCORE 195445.254
AT ITER 4633 NEW BEST:: SOT 1486044 SOS 674217 HAS SOPS 657013 HAS SOUS 196712 HAS SOUPS 194676 WITH SCORE 195350.217
AT ITER 4637 NEW BEST:: SOT 1485669 SOS 673842 HAS SOPS 656638 HAS SOUS 196027 HAS SOUPS 193991 WITH SCORE 194664.842
AT ITER 4640 NEW BEST:: SOT 1485288 SOS 673330 HAS SOPS 656126 HAS SOUS 195835 HAS SOUPS 193799 WITH SCORE 194472.33
AT ITER 4642 NEW BEST:: SOT 1484958 SOS 673000 HAS SOPS 655796 HAS SOUS 195595 HAS SOUPS 193559 WITH SCORE 194232.0
AT ITER 4643 NEW BEST:: SOT 1484927 SOS 672956 HAS SOPS 655752 HAS SOUS 195551 HAS SOUPS 193515 WITH SCORE 194187.956
AT ITER 4664 NEW BEST:: SOT 1485111 SOS 672992 HAS SOPS 655788 HAS SOUS 195549 HAS SOUPS 193513 WITH SCORE 194185.992
AT ITER 4665 NEW BEST:: SOT 1485110 SOS 672991 HAS SOPS 655787 HAS SOUS 195547 HAS SOUPS 193511 WITH SCORE 194183.991
AT ITER 4679 NEW BEST:: SOT 1485135 SOS 672880 HAS SOPS 655676 HAS SOUS 195517 HAS SOUPS 193481 WITH SCORE 194153.88
AT ITER 4714 NEW BEST:: SOT 1485098 SOS 673216 HAS SOPS 656012 HAS SOUS 195443 HAS SOUPS 193407 WITH SCORE 194080.216
AT ITER 4719 NEW BEST:: SOT 1485098 SOS 673216 HAS SOPS 656012 HAS SOUS 195440 HAS SOUPS 193404 WITH SCORE 194077.216
AT ITER 4724 NEW BEST:: SOT 1485098 SOS 673216 HAS SOPS 656012 HAS SOUS 195428 HAS SOUPS 193392 WITH SCORE 194065.216
AT ITER 4731 NEW BEST:: SOT 1484948 SOS 673051 HAS SOPS 655847 HAS SOUS 195134 HAS SOUPS 193098 WITH SCORE 193771.051
AT ITER 4735 NEW BEST:: SOT 1484968 SOS 673071 HAS SOPS 655846 HAS SOUS 195092 HAS SOUPS 193056 WITH SCORE 193729.071
AT ITER 4746 NEW BEST:: SOT 1485055 SOS 673158 HAS SOPS 655933 HAS SOUS 195021 HAS SOUPS 192985 WITH SCORE 193658.158
AT ITER 4747 NEW BEST:: SOT 1484971 SOS 673074 HAS SOPS 655849 HAS SOUS 194982 HAS SOUPS 192946 WITH SCORE 193619.074
AT ITER 4815 NEW BEST:: SOT 1484957 SOS 673060 HAS SOPS 655835 HAS SOUS 194968 HAS SOUPS 192932 WITH SCORE 193605.06
AT ITER 4818 NEW BEST:: SOT 1484944 SOS 673047 HAS SOPS 655809 HAS SOUS 194942 HAS SOUPS 192906 WITH SCORE 193579.047
AT ITER 4837 NEW BEST:: SOT 1484757 SOS 672742 HAS SOPS 655593 HAS SOUS 194844 HAS SOUPS 192808 WITH SCORE 193480.742
AT ITER 4873 NEW BEST:: SOT 1484711 SOS 672696 HAS SOPS 655549 HAS SOUS 194772 HAS SOUPS 192736 WITH SCORE 193408.696
AT ITER 4903 NEW BEST:: SOT 1484688 SOS 672685 HAS SOPS 655544 HAS SOUS 194679 HAS SOUPS 192643 WITH SCORE 193315.685
AT ITER 4905 NEW BEST:: SOT 1484688 SOS 672751 HAS SOPS 655643 HAS SOUS 194646 HAS SOUPS 192610 WITH SCORE 193282.751
AT ITER 4964 NEW BEST:: SOT 1484444 SOS 672581 HAS SOPS 655473 HAS SOUS 194375 HAS SOUPS 192339 WITH SCORE 193011.581
AT ITER 4978 NEW BEST:: SOT 1484453 SOS 672590 HAS SOPS 655482 HAS SOUS 194348 HAS SOUPS 192312 WITH SCORE 192984.59
AT ITER 5012 NEW BEST:: SOT 1484453 SOS 672562 HAS SOPS 655454 HAS SOUS 194348 HAS SOUPS 192312 WITH SCORE 192984.562
AT ITER 5036 NEW BEST:: SOT 1484572 SOS 672718 HAS SOPS 655610 HAS SOUS 194320 HAS SOUPS 192284 WITH SCORE 192956.718
AT ITER 5057 NEW BEST:: SOT 1484454 SOS 672635 HAS SOPS 655527 HAS SOUS 194219 HAS SOUPS 192183 WITH SCORE 192855.635
AT ITER 5059 NEW BEST:: SOT 1484429 SOS 672619 HAS SOPS 655511 HAS SOUS 194217 HAS SOUPS 192181 WITH SCORE 192853.619
AT ITER 5071 NEW BEST:: SOT 1484321 SOS 672475 HAS SOPS 655367 HAS SOUS 194073 HAS SOUPS 192037 WITH SCORE 192709.475
AT ITER 5078 NEW BEST:: SOT 1484270 SOS 672424 HAS SOPS 655316 HAS SOUS 194041 HAS SOUPS 192005 WITH SCORE 192677.424
AT ITER 5079 NEW BEST:: SOT 1484151 SOS 672305 HAS SOPS 655197 HAS SOUS 193803 HAS SOUPS 191767 WITH SCORE 192439.305
AT ITER 5090 NEW BEST:: SOT 1483984 SOS 672138 HAS SOPS 655030 HAS SOUS 193688 HAS SOUPS 191652 WITH SCORE 192324.138
AT ITER 5117 NEW BEST:: SOT 1477619 SOS 665773 HAS SOPS 648665 HAS SOUS 192775 HAS SOUPS 190739 WITH SCORE 191404.773
AT ITER 5126 NEW BEST:: SOT 1477619 SOS 665773 HAS SOPS 648665 HAS SOUS 192766 HAS SOUPS 190730 WITH SCORE 191395.773
AT ITER 5138 NEW BEST:: SOT 1477597 SOS 665751 HAS SOPS 648643 HAS SOUS 192744 HAS SOUPS 190708 WITH SCORE 191373.751
AT ITER 5141 NEW BEST:: SOT 1477634 SOS 665793 HAS SOPS 648685 HAS SOUS 192684 HAS SOUPS 190648 WITH SCORE 191313.793
AT ITER 5168 NEW BEST:: SOT 1477452 SOS 665611 HAS SOPS 648503 HAS SOUS 192320 HAS SOUPS 190284 WITH SCORE 190949.611
AT ITER 5182 NEW BEST:: SOT 1477435 SOS 665594 HAS SOPS 648486 HAS SOUS 192269 HAS SOUPS 190233 WITH SCORE 190898.594
AT ITER 5183 NEW BEST:: SOT 1477361 SOS 665585 HAS SOPS 648477 HAS SOUS 192239 HAS SOUPS 190203 WITH SCORE 190868.585
AT ITER 5207 NEW BEST:: SOT 1477185 SOS 665267 HAS SOPS 648159 HAS SOUS 192032 HAS SOUPS 189996 WITH SCORE 190661.267
AT ITER 5216 NEW BEST:: SOT 1477096 SOS 665178 HAS SOPS 648070 HAS SOUS 191869 HAS SOUPS 189833 WITH SCORE 190498.178
AT ITER 5221 NEW BEST:: SOT 1477099 SOS 665182 HAS SOPS 648074 HAS SOUS 191822 HAS SOUPS 189786 WITH SCORE 190451.182
AT ITER 5227 NEW BEST:: SOT 1477269 SOS 666510 HAS SOPS 649402 HAS SOUS 191694 HAS SOUPS 189658 WITH SCORE 190324.51
AT ITER 5253 NEW BEST:: SOT 1477267 SOS 666856 HAS SOPS 649748 HAS SOUS 191688 HAS SOUPS 189652 WITH SCORE 190318.856
AT ITER 5262 NEW BEST:: SOT 1477266 SOS 666422 HAS SOPS 649314 HAS SOUS 191515 HAS SOUPS 189479 WITH SCORE 190145.422
AT ITER 5277 NEW BEST:: SOT 1474894 SOS 663820 HAS SOPS 646712 HAS SOUS 188792 HAS SOUPS 186756 WITH SCORE 187419.82
AT ITER 5299 NEW BEST:: SOT 1474882 SOS 663808 HAS SOPS 646700 HAS SOUS 188781 HAS SOUPS 186745 WITH SCORE 187408.808
AT ITER 5304 NEW BEST:: SOT 1474879 SOS 663797 HAS SOPS 646689 HAS SOUS 188778 HAS SOUPS 186742 WITH SCORE 187405.797
AT ITER 5306 NEW BEST:: SOT 1474872 SOS 663790 HAS SOPS 646682 HAS SOUS 188773 HAS SOUPS 186737 WITH SCORE 187400.79
AT ITER 5307 NEW BEST:: SOT 1474842 SOS 663751 HAS SOPS 646643 HAS SOUS 188677 HAS SOUPS 186641 WITH SCORE 187304.751
AT ITER 5328 NEW BEST:: SOT 1474805 SOS 663714 HAS SOPS 646606 HAS SOUS 188640 HAS SOUPS 186604 WITH SCORE 187267.714
AT ITER 5335 NEW BEST:: SOT 1474756 SOS 663733 HAS SOPS 646625 HAS SOUS 188566 HAS SOUPS 186530 WITH SCORE 187193.733
AT ITER 5346 NEW BEST:: SOT 1474750 SOS 663727 HAS SOPS 646619 HAS SOUS 188546 HAS SOUPS 186510 WITH SCORE 187173.727
AT ITER 5394 NEW BEST:: SOT 1474199 SOS 663171 HAS SOPS 646063 HAS SOUS 188493 HAS SOUPS 186457 WITH SCORE 187120.171
AT ITER 5421 NEW BEST:: SOT 1474189 SOS 663161 HAS SOPS 646053 HAS SOUS 188459 HAS SOUPS 186423 WITH SCORE 187086.161
AT ITER 5432 NEW BEST:: SOT 1474177 SOS 663137 HAS SOPS 646029 HAS SOUS 188435 HAS SOUPS 186399 WITH SCORE 187062.137
AT ITER 5435 NEW BEST:: SOT 1474177 SOS 662945 HAS SOPS 645837 HAS SOUS 188433 HAS SOUPS 186397 WITH SCORE 187059.945
AT ITER 5457 NEW BEST:: SOT 1474177 SOS 662945 HAS SOPS 645837 HAS SOUS 188425 HAS SOUPS 186389 WITH SCORE 187051.945
AT ITER 5461 NEW BEST:: SOT 1474159 SOS 662936 HAS SOPS 645828 HAS SOUS 188425 HAS SOUPS 186389 WITH SCORE 187051.936
AT ITER 5465 NEW BEST:: SOT 1474140 SOS 661621 HAS SOPS 644513 HAS SOUS 188402 HAS SOUPS 186366 WITH SCORE 187027.621
AT ITER 5501 NEW BEST:: SOT 1474092 SOS 661573 HAS SOPS 644465 HAS SOUS 188342 HAS SOUPS 186306 WITH SCORE 186967.573
AT ITER 5504 NEW BEST:: SOT 1474068 SOS 661537 HAS SOPS 644429 HAS SOUS 188306 HAS SOUPS 186270 WITH SCORE 186931.537
AT ITER 5510 NEW BEST:: SOT 1473850 SOS 661362 HAS SOPS 644254 HAS SOUS 188088 HAS SOUPS 186052 WITH SCORE 186713.362
AT ITER 5521 NEW BEST:: SOT 1473795 SOS 661307 HAS SOPS 644199 HAS SOUS 188034 HAS SOUPS 185998 WITH SCORE 186659.307
AT ITER 5550 NEW BEST:: SOT 1473738 SOS 661238 HAS SOPS 644130 HAS SOUS 187908 HAS SOUPS 185872 WITH SCORE 186533.238
AT ITER 5555 NEW BEST:: SOT 1473452 SOS 661053 HAS SOPS 643945 HAS SOUS 187560 HAS SOUPS 185524 WITH SCORE 186185.053
AT ITER 5565 NEW BEST:: SOT 1473572 SOS 661173 HAS SOPS 644065 HAS SOUS 187527 HAS SOUPS 185491 WITH SCORE 186152.173
AT ITER 5568 NEW BEST:: SOT 1473597 SOS 661189 HAS SOPS 644081 HAS SOUS 187515 HAS SOUPS 185479 WITH SCORE 186140.189
AT ITER 5624 NEW BEST:: SOT 1473601 SOS 661199 HAS SOPS 644091 HAS SOUS 187399 HAS SOUPS 185363 WITH SCORE 186024.199
AT ITER 5636 NEW BEST:: SOT 1473448 SOS 660995 HAS SOPS 643887 HAS SOUS 187246 HAS SOUPS 185210 WITH SCORE 185870.995
AT ITER 5654 NEW BEST:: SOT 1473276 SOS 660784 HAS SOPS 643676 HAS SOUS 187169 HAS SOUPS 185133 WITH SCORE 185793.784
AT ITER 5662 NEW BEST:: SOT 1473276 SOS 659420 HAS SOPS 642312 HAS SOUS 187169 HAS SOUPS 185133 WITH SCORE 185792.42
AT ITER 5670 NEW BEST:: SOT 1471736 SOS 657880 HAS SOPS 640772 HAS SOUS 186916 HAS SOUPS 184880 WITH SCORE 185537.88
AT ITER 5717 NEW BEST:: SOT 1471693 SOS 657580 HAS SOPS 640472 HAS SOUS 186736 HAS SOUPS 184700 WITH SCORE 185357.58
AT ITER 5720 NEW BEST:: SOT 1471604 SOS 657491 HAS SOPS 640383 HAS SOUS 186720 HAS SOUPS 184684 WITH SCORE 185341.491
AT ITER 5721 NEW BEST:: SOT 1471644 SOS 657531 HAS SOPS 640423 HAS SOUS 186676 HAS SOUPS 184640 WITH SCORE 185297.531
AT ITER 5740 NEW BEST:: SOT 1471554 SOS 657459 HAS SOPS 640351 HAS SOUS 186496 HAS SOUPS 184460 WITH SCORE 185117.459
AT ITER 5783 NEW BEST:: SOT 1471514 SOS 657419 HAS SOPS 640311 HAS SOUS 186448 HAS SOUPS 184412 WITH SCORE 185069.419
AT ITER 5792 NEW BEST:: SOT 1471414 SOS 657255 HAS SOPS 640147 HAS SOUS 186391 HAS SOUPS 184355 WITH SCORE 185012.255
AT ITER 5801 NEW BEST:: SOT 1471362 SOS 657177 HAS SOPS 640069 HAS SOUS 186313 HAS SOUPS 184277 WITH SCORE 184934.177
AT ITER 5811 NEW BEST:: SOT 1471201 SOS 657072 HAS SOPS 639964 HAS SOUS 186152 HAS SOUPS 184116 WITH SCORE 184773.072
AT ITER 5836 NEW BEST:: SOT 1471233 SOS 657104 HAS SOPS 639964 HAS SOUS 186088 HAS SOUPS 184052 WITH SCORE 184709.104
AT ITER 5867 NEW BEST:: SOT 1471233 SOS 656688 HAS SOPS 639548 HAS SOUS 186088 HAS SOUPS 184052 WITH SCORE 184708.688
AT ITER 5872 NEW BEST:: SOT 1471282 SOS 656690 HAS SOPS 639550 HAS SOUS 186071 HAS SOUPS 184035 WITH SCORE 184691.69
AT ITER 5913 NEW BEST:: SOT 1471201 SOS 656526 HAS SOPS 639386 HAS SOUS 185909 HAS SOUPS 183873 WITH SCORE 184529.526
AT ITER 5919 NEW BEST:: SOT 1471201 SOS 656536 HAS SOPS 639396 HAS SOUS 185823 HAS SOUPS 183787 WITH SCORE 184443.536
AT ITER 5926 NEW BEST:: SOT 1471140 SOS 656528 HAS SOPS 639388 HAS SOUS 185764 HAS SOUPS 183728 WITH SCORE 184384.528
AT ITER 5946 NEW BEST:: SOT 1471041 SOS 656429 HAS SOPS 639289 HAS SOUS 185665 HAS SOUPS 183629 WITH SCORE 184285.429
AT ITER 5947 NEW BEST:: SOT 1471169 SOS 656709 HAS SOPS 639569 HAS SOUS 185593 HAS SOUPS 183557 WITH SCORE 184213.709
AT ITER 5964 NEW BEST:: SOT 1471129 SOS 656712 HAS SOPS 639572 HAS SOUS 185580 HAS SOUPS 183544 WITH SCORE 184200.712
AT ITER 6035 NEW BEST:: SOT 1471133 SOS 656716 HAS SOPS 639562 HAS SOUS 185570 HAS SOUPS 183534 WITH SCORE 184190.716
AT ITER 6050 NEW BEST:: SOT 1471098 SOS 656671 HAS SOPS 639528 HAS SOUS 185465 HAS SOUPS 183429 WITH SCORE 184085.671
AT ITER 6056 NEW BEST:: SOT 1471095 SOS 656639 HAS SOPS 639496 HAS SOUS 185421 HAS SOUPS 183385 WITH SCORE 184041.639
AT ITER 6058 NEW BEST:: SOT 1471095 SOS 655428 HAS SOPS 638285 HAS SOUS 185397 HAS SOUPS 183361 WITH SCORE 184016.428
AT ITER 6089 NEW BEST:: SOT 1471775 SOS 656124 HAS SOPS 638981 HAS SOUS 185216 HAS SOUPS 183180 WITH SCORE 183836.124
AT ITER 6101 NEW BEST:: SOT 1471798 SOS 656206 HAS SOPS 639063 HAS SOUS 185154 HAS SOUPS 183118 WITH SCORE 183774.206
AT ITER 6120 NEW BEST:: SOT 1471817 SOS 656225 HAS SOPS 639071 HAS SOUS 185132 HAS SOUPS 183096 WITH SCORE 183752.225
AT ITER 6135 NEW BEST:: SOT 1471667 SOS 656075 HAS SOPS 638921 HAS SOUS 184832 HAS SOUPS 182796 WITH SCORE 183452.075
AT ITER 6154 NEW BEST:: SOT 1471685 SOS 656069 HAS SOPS 638915 HAS SOUS 184622 HAS SOUPS 182586 WITH SCORE 183242.069
AT ITER 6163 NEW BEST:: SOT 1471664 SOS 656027 HAS SOPS 638873 HAS SOUS 184580 HAS SOUPS 182544 WITH SCORE 183200.027
AT ITER 6168 NEW BEST:: SOT 1471657 SOS 656020 HAS SOPS 638866 HAS SOUS 184566 HAS SOUPS 182530 WITH SCORE 183186.02
AT ITER 6178 NEW BEST:: SOT 1464153 SOS 651887 HAS SOPS 634733 HAS SOUS 184282 HAS SOUPS 182246 WITH SCORE 182897.887
AT ITER 6194 NEW BEST:: SOT 1463829 SOS 651552 HAS SOPS 634398 HAS SOUS 184272 HAS SOUPS 182236 WITH SCORE 182887.552
AT ITER 6295 NEW BEST:: SOT 1463807 SOS 651530 HAS SOPS 634376 HAS SOUS 184272 HAS SOUPS 182236 WITH SCORE 182887.53
AT ITER 6305 NEW BEST:: SOT 1463700 SOS 651414 HAS SOPS 634355 HAS SOUS 184254 HAS SOUPS 182218 WITH SCORE 182869.414
AT ITER 6330 NEW BEST:: SOT 1463643 SOS 651354 HAS SOPS 634295 HAS SOUS 184194 HAS SOUPS 182158 WITH SCORE 182809.354
AT ITER 6382 NEW BEST:: SOT 1463343 SOS 650514 HAS SOPS 633455 HAS SOUS 183774 HAS SOUPS 181738 WITH SCORE 182388.514
AT ITER 6384 NEW BEST:: SOT 1460457 SOS 647668 HAS SOPS 630609 HAS SOUS 183596 HAS SOUPS 181560 WITH SCORE 182207.668
AT ITER 6392 NEW BEST:: SOT 1460379 SOS 647590 HAS SOPS 630531 HAS SOUS 183387 HAS SOUPS 181351 WITH SCORE 181998.59
AT ITER 6469 NEW BEST:: SOT 1460220 SOS 647431 HAS SOPS 630372 HAS SOUS 183305 HAS SOUPS 181269 WITH SCORE 181916.431
AT ITER 6480 NEW BEST:: SOT 1460219 SOS 647430 HAS SOPS 630371 HAS SOUS 183304 HAS SOUPS 181268 WITH SCORE 181915.43
AT ITER 6489 NEW BEST:: SOT 1465174 SOS 652385 HAS SOPS 635326 HAS SOUS 182262 HAS SOUPS 180226 WITH SCORE 180878.385
AT ITER 6516 NEW BEST:: SOT 1465190 SOS 652522 HAS SOPS 635463 HAS SOUS 182189 HAS SOUPS 180153 WITH SCORE 180805.522
AT ITER 6522 NEW BEST:: SOT 1465170 SOS 652482 HAS SOPS 635423 HAS SOUS 182149 HAS SOUPS 180113 WITH SCORE 180765.482
AT ITER 6528 NEW BEST:: SOT 1465200 SOS 652752 HAS SOPS 635693 HAS SOUS 181969 HAS SOUPS 179933 WITH SCORE 180585.752
AT ITER 6536 NEW BEST:: SOT 1465200 SOS 652752 HAS SOPS 635693 HAS SOUS 181949 HAS SOUPS 179913 WITH SCORE 180565.752
AT ITER 6543 NEW BEST:: SOT 1464904 SOS 651926 HAS SOPS 634867 HAS SOUS 181672 HAS SOUPS 179636 WITH SCORE 180287.926
AT ITER 6572 NEW BEST:: SOT 1464793 SOS 651833 HAS SOPS 634774 HAS SOUS 181450 HAS SOUPS 179414 WITH SCORE 180065.833
AT ITER 6578 NEW BEST:: SOT 1464793 SOS 650745 HAS SOPS 633686 HAS SOUS 181450 HAS SOUPS 179414 WITH SCORE 180064.745
AT ITER 6586 NEW BEST:: SOT 1464775 SOS 650727 HAS SOPS 633668 HAS SOUS 181432 HAS SOUPS 179396 WITH SCORE 180046.727
AT ITER 6614 NEW BEST:: SOT 1464652 SOS 650604 HAS SOPS 633545 HAS SOUS 181292 HAS SOUPS 179256 WITH SCORE 179906.604
AT ITER 6635 NEW BEST:: SOT 1464649 SOS 650587 HAS SOPS 633528 HAS SOUS 181258 HAS SOUPS 179222 WITH SCORE 179872.587
AT ITER 6640 NEW BEST:: SOT 1464685 SOS 652535 HAS SOPS 635476 HAS SOUS 181202 HAS SOUPS 179166 WITH SCORE 179818.535
AT ITER 6679 NEW BEST:: SOT 1464679 SOS 652523 HAS SOPS 635464 HAS SOUS 181190 HAS SOUPS 179154 WITH SCORE 179806.523
AT ITER 6696 NEW BEST:: SOT 1464675 SOS 652519 HAS SOPS 635460 HAS SOUS 181182 HAS SOUPS 179146 WITH SCORE 179798.519
AT ITER 6707 NEW BEST:: SOT 1464562 SOS 652358 HAS SOPS 635299 HAS SOUS 181020 HAS SOUPS 178984 WITH SCORE 179636.358
AT ITER 6721 NEW BEST:: SOT 1464568 SOS 652364 HAS SOPS 635305 HAS SOUS 180996 HAS SOUPS 178960 WITH SCORE 179612.364
AT ITER 6735 NEW BEST:: SOT 1465783 SOS 653552 HAS SOPS 636493 HAS SOUS 180636 HAS SOUPS 178600 WITH SCORE 179253.552
AT ITER 6787 NEW BEST:: SOT 1465801 SOS 653388 HAS SOPS 636329 HAS SOUS 180498 HAS SOUPS 178462 WITH SCORE 179115.388
AT ITER 6805 NEW BEST:: SOT 1466701 SOS 654288 HAS SOPS 637229 HAS SOUS 180210 HAS SOUPS 178174 WITH SCORE 178828.288
AT ITER 6835 NEW BEST:: SOT 1466643 SOS 654239 HAS SOPS 637180 HAS SOUS 180162 HAS SOUPS 178126 WITH SCORE 178780.239
AT ITER 6852 NEW BEST:: SOT 1466677 SOS 654258 HAS SOPS 637199 HAS SOUS 180140 HAS SOUPS 178104 WITH SCORE 178758.258
AT ITER 6853 NEW BEST:: SOT 1466537 SOS 654062 HAS SOPS 637003 HAS SOUS 179944 HAS SOUPS 177908 WITH SCORE 178562.062
AT ITER 6858 NEW BEST:: SOT 1466534 SOS 654054 HAS SOPS 636995 HAS SOUS 179938 HAS SOUPS 177902 WITH SCORE 178556.054
AT ITER 6865 NEW BEST:: SOT 1466332 SOS 653842 HAS SOPS 636783 HAS SOUS 179922 HAS SOUPS 177886 WITH SCORE 178539.842
AT ITER 6900 NEW BEST:: SOT 1466303 SOS 653813 HAS SOPS 636754 HAS SOUS 179894 HAS SOUPS 177858 WITH SCORE 178511.813
AT ITER 6943 NEW BEST:: SOT 1466313 SOS 653455 HAS SOPS 636396 HAS SOUS 179871 HAS SOUPS 177835 WITH SCORE 178488.455
AT ITER 6946 NEW BEST:: SOT 1466388 SOS 653368 HAS SOPS 636309 HAS SOUS 179863 HAS SOUPS 177827 WITH SCORE 178480.368
AT ITER 6959 NEW BEST:: SOT 1464721 SOS 651665 HAS SOPS 634606 HAS SOUS 179466 HAS SOUPS 177430 WITH SCORE 178081.665
AT ITER 6982 NEW BEST:: SOT 1464713 SOS 651649 HAS SOPS 634590 HAS SOUS 179450 HAS SOUPS 177414 WITH SCORE 178065.649
AT ITER 6984 NEW BEST:: SOT 1464673 SOS 651589 HAS SOPS 634530 HAS SOUS 179370 HAS SOUPS 177334 WITH SCORE 177985.589
AT ITER 6989 NEW BEST:: SOT 1464667 SOS 651451 HAS SOPS 634392 HAS SOUS 179358 HAS SOUPS 177322 WITH SCORE 177973.451
AT ITER 7002 NEW BEST:: SOT 1464644 SOS 651428 HAS SOPS 634369 HAS SOUS 179335 HAS SOUPS 177299 WITH SCORE 177950.428
AT ITER 7009 NEW BEST:: SOT 1464343 SOS 651072 HAS SOPS 634013 HAS SOUS 178979 HAS SOUPS 176943 WITH SCORE 177594.072
AT ITER 7012 NEW BEST:: SOT 1464124 SOS 650907 HAS SOPS 633848 HAS SOUS 178541 HAS SOUPS 176505 WITH SCORE 177155.907
AT ITER 7013 NEW BEST:: SOT 1463948 SOS 650720 HAS SOPS 633661 HAS SOUS 178243 HAS SOUPS 176207 WITH SCORE 176857.72
AT ITER 7015 NEW BEST:: SOT 1463996 SOS 650768 HAS SOPS 633709 HAS SOUS 178199 HAS SOUPS 176163 WITH SCORE 176813.768
AT ITER 7029 NEW BEST:: SOT 1463904 SOS 649481 HAS SOPS 632422 HAS SOUS 176993 HAS SOUPS 174957 WITH SCORE 175606.481
AT ITER 7042 NEW BEST:: SOT 1462596 SOS 648173 HAS SOPS 631114 HAS SOUS 176809 HAS SOUPS 174773 WITH SCORE 175421.173
AT ITER 7054 NEW BEST:: SOT 1462595 SOS 648170 HAS SOPS 631111 HAS SOUS 176806 HAS SOUPS 174770 WITH SCORE 175418.17
AT ITER 7055 NEW BEST:: SOT 1462581 SOS 648200 HAS SOPS 631141 HAS SOUS 176792 HAS SOUPS 174756 WITH SCORE 175404.2
AT ITER 7067 NEW BEST:: SOT 1462576 SOS 648190 HAS SOPS 631131 HAS SOUS 176782 HAS SOUPS 174746 WITH SCORE 175394.19
AT ITER 7086 NEW BEST:: SOT 1462630 SOS 648244 HAS SOPS 631185 HAS SOUS 176401 HAS SOUPS 174365 WITH SCORE 175013.244
AT ITER 7096 NEW BEST:: SOT 1462630 SOS 648243 HAS SOPS 631184 HAS SOUS 176400 HAS SOUPS 174364 WITH SCORE 175012.243
AT ITER 7107 NEW BEST:: SOT 1462722 SOS 648335 HAS SOPS 631234 HAS SOUS 176383 HAS SOUPS 174347 WITH SCORE 174995.335
AT ITER 7164 NEW BEST:: SOT 1462520 SOS 648057 HAS SOPS 630956 HAS SOUS 176105 HAS SOUPS 174069 WITH SCORE 174717.057
AT ITER 7167 NEW BEST:: SOT 1462519 SOS 648076 HAS SOPS 630975 HAS SOUS 176103 HAS SOUPS 174067 WITH SCORE 174715.076
AT ITER 7254 NEW BEST:: SOT 1462454 SOS 648027 HAS SOPS 630926 HAS SOUS 175994 HAS SOUPS 173958 WITH SCORE 174606.027
AT ITER 7271 NEW BEST:: SOT 1462319 SOS 647955 HAS SOPS 630854 HAS SOUS 175913 HAS SOUPS 173877 WITH SCORE 174524.955
AT ITER 7274 NEW BEST:: SOT 1462287 SOS 647891 HAS SOPS 630790 HAS SOUS 175849 HAS SOUPS 173813 WITH SCORE 174460.891
AT ITER 7285 NEW BEST:: SOT 1462269 SOS 647873 HAS SOPS 630772 HAS SOUS 175822 HAS SOUPS 173786 WITH SCORE 174433.873
AT ITER 7289 NEW BEST:: SOT 1462179 SOS 647873 HAS SOPS 630772 HAS SOUS 175642 HAS SOUPS 173606 WITH SCORE 174253.873
AT ITER 7320 NEW BEST:: SOT 1462175 SOS 647867 HAS SOPS 630768 HAS SOUS 175638 HAS SOUPS 173602 WITH SCORE 174249.867
AT ITER 7328 NEW BEST:: SOT 1461539 SOS 646717 HAS SOPS 629618 HAS SOUS 175229 HAS SOUPS 173193 WITH SCORE 173839.717
AT ITER 7348 NEW BEST:: SOT 1461674 SOS 646855 HAS SOPS 629756 HAS SOUS 175212 HAS SOUPS 173176 WITH SCORE 173822.855
AT ITER 7373 NEW BEST:: SOT 1461629 SOS 646810 HAS SOPS 629711 HAS SOUS 175170 HAS SOUPS 173134 WITH SCORE 173780.81
AT ITER 7405 NEW BEST:: SOT 1461613 SOS 646652 HAS SOPS 629553 HAS SOUS 174999 HAS SOUPS 172963 WITH SCORE 173609.652
AT ITER 7439 NEW BEST:: SOT 1461572 SOS 646595 HAS SOPS 629496 HAS SOUS 174940 HAS SOUPS 172904 WITH SCORE 173550.595
AT ITER 7468 NEW BEST:: SOT 1461567 SOS 646585 HAS SOPS 629486 HAS SOUS 174930 HAS SOUPS 172894 WITH SCORE 173540.585
AT ITER 7477 NEW BEST:: SOT 1461465 SOS 646428 HAS SOPS 629329 HAS SOUS 174785 HAS SOUPS 172749 WITH SCORE 173395.428
AT ITER 7483 NEW BEST:: SOT 1461459 SOS 646422 HAS SOPS 629323 HAS SOUS 174775 HAS SOUPS 172739 WITH SCORE 173385.422
AT ITER 7488 NEW BEST:: SOT 1461428 SOS 646391 HAS SOPS 629292 HAS SOUS 174695 HAS SOUPS 172659 WITH SCORE 173305.391
AT ITER 7527 NEW BEST:: SOT 1461392 SOS 646355 HAS SOPS 629256 HAS SOUS 174689 HAS SOUPS 172653 WITH SCORE 173299.355
AT ITER 7624 NEW BEST:: SOT 1461346 SOS 646300 HAS SOPS 629201 HAS SOUS 174658 HAS SOUPS 172622 WITH SCORE 173268.3
AT ITER 7668 NEW BEST:: SOT 1461312 SOS 646266 HAS SOPS 629167 HAS SOUS 174646 HAS SOUPS 172610 WITH SCORE 173256.266
AT ITER 7686 NEW BEST:: SOT 1461090 SOS 646039 HAS SOPS 628940 HAS SOUS 174644 HAS SOUPS 172608 WITH SCORE 173254.039
AT ITER 7701 NEW BEST:: SOT 1461146 SOS 646057 HAS SOPS 628958 HAS SOUS 174592 HAS SOUPS 172556 WITH SCORE 173202.057
AT ITER 7742 NEW BEST:: SOT 1460929 SOS 645840 HAS SOPS 628741 HAS SOUS 174290 HAS SOUPS 172254 WITH SCORE 172899.84
AT ITER 7762 NEW BEST:: SOT 1460844 SOS 645936 HAS SOPS 628837 HAS SOUS 174070 HAS SOUPS 172034 WITH SCORE 172679.936
AT ITER 7801 NEW BEST:: SOT 1460788 SOS 627736 HAS SOPS 610637 HAS SOUS 173902 HAS SOUPS 171866 WITH SCORE 172493.736
AT ITER 7809 NEW BEST:: SOT 1460784 SOS 627730 HAS SOPS 610631 HAS SOUS 173896 HAS SOUPS 171860 WITH SCORE 172487.73
AT ITER 7824 NEW BEST:: SOT 1460687 SOS 627522 HAS SOPS 610475 HAS SOUS 173815 HAS SOUPS 171779 WITH SCORE 172406.522
AT ITER 7834 NEW BEST:: SOT 1460687 SOS 627636 HAS SOPS 610589 HAS SOUS 173779 HAS SOUPS 171743 WITH SCORE 172370.636
AT ITER 7842 NEW BEST:: SOT 1460666 SOS 627615 HAS SOPS 610568 HAS SOUS 173737 HAS SOUPS 171701 WITH SCORE 172328.615
AT ITER 7849 NEW BEST:: SOT 1460579 SOS 627528 HAS SOPS 610481 HAS SOUS 173663 HAS SOUPS 171627 WITH SCORE 172254.528
AT ITER 7902 NEW BEST:: SOT 1460557 SOS 627462 HAS SOPS 610415 HAS SOUS 173619 HAS SOUPS 171583 WITH SCORE 172210.462
AT ITER 7916 NEW BEST:: SOT 1460529 SOS 627416 HAS SOPS 610369 HAS SOUS 173583 HAS SOUPS 171547 WITH SCORE 172174.416
AT ITER 7932 NEW BEST:: SOT 1460495 SOS 627367 HAS SOPS 610320 HAS SOUS 173533 HAS SOUPS 171497 WITH SCORE 172124.367
AT ITER 7939 NEW BEST:: SOT 1460490 SOS 627332 HAS SOPS 610285 HAS SOUS 173528 HAS SOUPS 171492 WITH SCORE 172119.332
AT ITER 7940 NEW BEST:: SOT 1460481 SOS 627323 HAS SOPS 610268 HAS SOUS 173518 HAS SOUPS 171482 WITH SCORE 172109.323
AT ITER 7961 NEW BEST:: SOT 1460463 SOS 627418 HAS SOPS 610265 HAS SOUS 173360 HAS SOUPS 171324 WITH SCORE 171951.418
AT ITER 7978 NEW BEST:: SOT 1460194 SOS 627248 HAS SOPS 610095 HAS SOUS 173167 HAS SOUPS 171131 WITH SCORE 171758.248
AT ITER 7980 NEW BEST:: SOT 1460188 SOS 627242 HAS SOPS 610089 HAS SOUS 173161 HAS SOUPS 171125 WITH SCORE 171752.242
AT ITER 8000 NEW BEST:: SOT 1460087 SOS 627299 HAS SOPS 610146 HAS SOUS 172853 HAS SOUPS 170817 WITH SCORE 171444.299
AT ITER 8057 NEW BEST:: SOT 1460049 SOS 627098 HAS SOPS 609945 HAS SOUS 172706 HAS SOUPS 170670 WITH SCORE 171297.098
AT ITER 8086 NEW BEST:: SOT 1459981 SOS 627073 HAS SOPS 609920 HAS SOUS 172695 HAS SOUPS 170659 WITH SCORE 171286.073
AT ITER 8117 NEW BEST:: SOT 1460180 SOS 627272 HAS SOPS 610119 HAS SOUS 172456 HAS SOUPS 170420 WITH SCORE 171047.272
AT ITER 8121 NEW BEST:: SOT 1460345 SOS 627320 HAS SOPS 610167 HAS SOUS 172177 HAS SOUPS 170141 WITH SCORE 170768.32
AT ITER 8142 NEW BEST:: SOT 1460337 SOS 627284 HAS SOPS 610159 HAS SOUS 172165 HAS SOUPS 170133 WITH SCORE 170760.284
AT ITER 8178 NEW BEST:: SOT 1460322 SOS 627269 HAS SOPS 610144 HAS SOUS 172087 HAS SOUPS 170055 WITH SCORE 170682.269
AT ITER 8211 NEW BEST:: SOT 1460186 SOS 627133 HAS SOPS 610008 HAS SOUS 171985 HAS SOUPS 169953 WITH SCORE 170580.133
AT ITER 8214 NEW BEST:: SOT 1460208 SOS 627155 HAS SOPS 609991 HAS SOUS 172007 HAS SOUPS 169936 WITH SCORE 170563.155
AT ITER 8228 NEW BEST:: SOT 1460233 SOS 627431 HAS SOPS 610267 HAS SOUS 172000 HAS SOUPS 169929 WITH SCORE 170556.431
AT ITER 8243 NEW BEST:: SOT 1460231 SOS 627388 HAS SOPS 610224 HAS SOUS 171886 HAS SOUPS 169815 WITH SCORE 170442.388
AT ITER 8244 NEW BEST:: SOT 1460184 SOS 627341 HAS SOPS 610177 HAS SOUS 171879 HAS SOUPS 169808 WITH SCORE 170435.341
AT ITER 8300 NEW BEST:: SOT 1459979 SOS 627239 HAS SOPS 610075 HAS SOUS 171831 HAS SOUPS 169760 WITH SCORE 170387.239
AT ITER 8319 NEW BEST:: SOT 1459865 SOS 627186 HAS SOPS 610022 HAS SOUS 171778 HAS SOUPS 169707 WITH SCORE 170334.186
AT ITER 8330 NEW BEST:: SOT 1459859 SOS 626656 HAS SOPS 609492 HAS SOUS 171770 HAS SOUPS 169699 WITH SCORE 170325.656
AT ITER 8339 NEW BEST:: SOT 1459809 SOS 626576 HAS SOPS 609412 HAS SOUS 171570 HAS SOUPS 169499 WITH SCORE 170125.576
AT ITER 8366 NEW BEST:: SOT 1459823 SOS 626590 HAS SOPS 609426 HAS SOUS 171539 HAS SOUPS 169468 WITH SCORE 170094.59
AT ITER 8401 NEW BEST:: SOT 1459811 SOS 626578 HAS SOPS 609414 HAS SOUS 171515 HAS SOUPS 169444 WITH SCORE 170070.578
AT ITER 8425 NEW BEST:: SOT 1459683 SOS 626450 HAS SOPS 609286 HAS SOUS 171259 HAS SOUPS 169188 WITH SCORE 169814.45
AT ITER 8451 NEW BEST:: SOT 1459651 SOS 626418 HAS SOPS 609254 HAS SOUS 171184 HAS SOUPS 169113 WITH SCORE 169739.418
AT ITER 8452 NEW BEST:: SOT 1459651 SOS 626411 HAS SOPS 609247 HAS SOUS 171170 HAS SOUPS 169099 WITH SCORE 169725.411
AT ITER 8461 NEW BEST:: SOT 1459788 SOS 626724 HAS SOPS 609560 HAS SOUS 171154 HAS SOUPS 169083 WITH SCORE 169709.724
AT ITER 8467 NEW BEST:: SOT 1459801 SOS 626854 HAS SOPS 609690 HAS SOUS 171141 HAS SOUPS 169070 WITH SCORE 169696.854
AT ITER 8469 NEW BEST:: SOT 1459791 SOS 626834 HAS SOPS 609670 HAS SOUS 171111 HAS SOUPS 169040 WITH SCORE 169666.834
AT ITER 8480 NEW BEST:: SOT 1459791 SOS 626831 HAS SOPS 609667 HAS SOUS 171096 HAS SOUPS 169025 WITH SCORE 169651.831
AT ITER 8505 NEW BEST:: SOT 1459791 SOS 626455 HAS SOPS 609291 HAS SOUS 171096 HAS SOUPS 169025 WITH SCORE 169651.455
AT ITER 8527 NEW BEST:: SOT 1459781 SOS 626445 HAS SOPS 609281 HAS SOUS 171003 HAS SOUPS 168932 WITH SCORE 169558.445
AT ITER 8536 NEW BEST:: SOT 1459810 SOS 626474 HAS SOPS 609291 HAS SOUS 170965 HAS SOUPS 168894 WITH SCORE 169520.474
AT ITER 8558 NEW BEST:: SOT 1459582 SOS 625998 HAS SOPS 608815 HAS SOUS 170826 HAS SOUPS 168755 WITH SCORE 169380.998
AT ITER 8559 NEW BEST:: SOT 1459571 SOS 625976 HAS SOPS 608793 HAS SOUS 170804 HAS SOUPS 168733 WITH SCORE 169358.976
AT ITER 8561 NEW BEST:: SOT 1459505 SOS 625877 HAS SOPS 608694 HAS SOUS 170672 HAS SOUPS 168601 WITH SCORE 169226.877
AT ITER 8569 NEW BEST:: SOT 1459497 SOS 625869 HAS SOPS 608686 HAS SOUS 170662 HAS SOUPS 168591 WITH SCORE 169216.869
AT ITER 8589 NEW BEST:: SOT 1459472 SOS 625844 HAS SOPS 608636 HAS SOUS 170612 HAS SOUPS 168541 WITH SCORE 169166.844
AT ITER 8664 NEW BEST:: SOT 1459515 SOS 625887 HAS SOPS 608650 HAS SOUS 170592 HAS SOUPS 168521 WITH SCORE 169146.887
AT ITER 8691 NEW BEST:: SOT 1459387 SOS 625635 HAS SOPS 608398 HAS SOUS 170460 HAS SOUPS 168389 WITH SCORE 169014.635
AT ITER 8703 NEW BEST:: SOT 1459439 SOS 625687 HAS SOPS 608441 HAS SOUS 170414 HAS SOUPS 168343 WITH SCORE 168968.687
AT ITER 8707 NEW BEST:: SOT 1459387 SOS 625639 HAS SOPS 608393 HAS SOUS 170374 HAS SOUPS 168303 WITH SCORE 168928.639
AT ITER 8732 NEW BEST:: SOT 1459350 SOS 625602 HAS SOPS 608356 HAS SOUS 170337 HAS SOUPS 168266 WITH SCORE 168891.602
AT ITER 8734 NEW BEST:: SOT 1458914 SOS 625357 HAS SOPS 608111 HAS SOUS 169675 HAS SOUPS 167604 WITH SCORE 168229.357
AT ITER 8826 NEW BEST:: SOT 1458958 SOS 625371 HAS SOPS 608125 HAS SOUS 169671 HAS SOUPS 167600 WITH SCORE 168225.371
AT ITER 8827 NEW BEST:: SOT 1458884 SOS 625297 HAS SOPS 608051 HAS SOUS 169569 HAS SOUPS 167498 WITH SCORE 168123.297
AT ITER 8870 NEW BEST:: SOT 1458793 SOS 625102 HAS SOPS 607856 HAS SOUS 169374 HAS SOUPS 167303 WITH SCORE 167928.102
AT ITER 8877 NEW BEST:: SOT 1458793 SOS 624350 HAS SOPS 607104 HAS SOUS 169372 HAS SOUPS 167301 WITH SCORE 167925.35
AT ITER 8884 NEW BEST:: SOT 1458757 SOS 624314 HAS SOPS 607068 HAS SOUS 169300 HAS SOUPS 167229 WITH SCORE 167853.314
AT ITER 8887 NEW BEST:: SOT 1458431 SOS 621486 HAS SOPS 605016 HAS SOUS 169160 HAS SOUPS 167186 WITH SCORE 167807.486
AT ITER 8901 NEW BEST:: SOT 1458411 SOS 621446 HAS SOPS 604976 HAS SOUS 169130 HAS SOUPS 167156 WITH SCORE 167777.446
AT ITER 8940 NEW BEST:: SOT 1458411 SOS 621452 HAS SOPS 604982 HAS SOUS 169129 HAS SOUPS 167155 WITH SCORE 167776.452
AT ITER 8963 NEW BEST:: SOT 1457902 SOS 620924 HAS SOPS 604454 HAS SOUS 168469 HAS SOUPS 166495 WITH SCORE 167115.924
AT ITER 8988 NEW BEST:: SOT 1457987 SOS 620957 HAS SOPS 604487 HAS SOUS 168366 HAS SOUPS 166392 WITH SCORE 167012.957
AT ITER 8997 NEW BEST:: SOT 1457984 SOS 620954 HAS SOPS 604484 HAS SOUS 168360 HAS SOUPS 166386 WITH SCORE 167006.954
AT ITER 9008 NEW BEST:: SOT 1457941 SOS 620911 HAS SOPS 604435 HAS SOUS 168319 HAS SOUPS 166345 WITH SCORE 166965.911
AT ITER 9069 NEW BEST:: SOT 1457940 SOS 620910 HAS SOPS 604434 HAS SOUS 168317 HAS SOUPS 166343 WITH SCORE 166963.91
AT ITER 9073 NEW BEST:: SOT 1457908 SOS 620846 HAS SOPS 604370 HAS SOUS 168253 HAS SOUPS 166279 WITH SCORE 166899.846
AT ITER 9078 NEW BEST:: SOT 1457908 SOS 620914 HAS SOPS 604438 HAS SOUS 168117 HAS SOUPS 166143 WITH SCORE 166763.914
AT ITER 9093 NEW BEST:: SOT 1457381 SOS 620211 HAS SOPS 603735 HAS SOUS 167396 HAS SOUPS 165422 WITH SCORE 166042.211
AT ITER 9097 NEW BEST:: SOT 1457479 SOS 620342 HAS SOPS 603818 HAS SOUS 167269 HAS SOUPS 165295 WITH SCORE 165915.342
AT ITER 9104 NEW BEST:: SOT 1457129 SOS 620111 HAS SOPS 603587 HAS SOUS 166781 HAS SOUPS 164807 WITH SCORE 165427.111
AT ITER 9157 NEW BEST:: SOT 1460417 SOS 623449 HAS SOPS 606925 HAS SOUS 166747 HAS SOUPS 164773 WITH SCORE 165396.449
AT ITER 9206 NEW BEST:: SOT 1460332 SOS 623364 HAS SOPS 606840 HAS SOUS 166662 HAS SOUPS 164688 WITH SCORE 165311.364
AT ITER 9208 NEW BEST:: SOT 1460322 SOS 623344 HAS SOPS 606820 HAS SOUS 166642 HAS SOUPS 164668 WITH SCORE 165291.344
AT ITER 9209 NEW BEST:: SOT 1460316 SOS 623332 HAS SOPS 606808 HAS SOUS 166630 HAS SOUPS 164656 WITH SCORE 165279.332
AT ITER 9248 NEW BEST:: SOT 1460261 SOS 623293 HAS SOPS 606769 HAS SOUS 166591 HAS SOUPS 164617 WITH SCORE 165240.293
AT ITER 9275 NEW BEST:: SOT 1460241 SOS 623269 HAS SOPS 606745 HAS SOUS 166567 HAS SOUPS 164593 WITH SCORE 165216.269
AT ITER 9283 NEW BEST:: SOT 1460199 SOS 623216 HAS SOPS 606692 HAS SOUS 166483 HAS SOUPS 164509 WITH SCORE 165132.216
AT ITER 9303 NEW BEST:: SOT 1460192 SOS 623209 HAS SOPS 606687 HAS SOUS 166465 HAS SOUPS 164491 WITH SCORE 165114.209
AT ITER 9317 NEW BEST:: SOT 1460094 SOS 623111 HAS SOPS 606589 HAS SOUS 166269 HAS SOUPS 164295 WITH SCORE 164918.111
AT ITER 9359 NEW BEST:: SOT 1460095 SOS 623089 HAS SOPS 606567 HAS SOUS 166263 HAS SOUPS 164289 WITH SCORE 164912.089
AT ITER 9376 NEW BEST:: SOT 1460045 SOS 623039 HAS SOPS 606513 HAS SOUS 166230 HAS SOUPS 164256 WITH SCORE 164879.039
AT ITER 9506 NEW BEST:: SOT 1460039 SOS 623033 HAS SOPS 606507 HAS SOUS 166221 HAS SOUPS 164247 WITH SCORE 164870.033
AT ITER 9509 NEW BEST:: SOT 1460024 SOS 623018 HAS SOPS 606492 HAS SOUS 166221 HAS SOUPS 164247 WITH SCORE 164870.018
AT ITER 9532 NEW BEST:: SOT 1459996 SOS 622990 HAS SOPS 606464 HAS SOUS 166169 HAS SOUPS 164195 WITH SCORE 164817.99
AT ITER 9555 NEW BEST:: SOT 1460066 SOS 623029 HAS SOPS 606503 HAS SOUS 166168 HAS SOUPS 164194 WITH SCORE 164817.029
AT ITER 9566 NEW BEST:: SOT 1460048 SOS 623011 HAS SOPS 606474 HAS SOUS 166132 HAS SOUPS 164158 WITH SCORE 164781.011
AT ITER 9583 NEW BEST:: SOT 1460012 SOS 622967 HAS SOPS 606464 HAS SOUS 166091 HAS SOUPS 164117 WITH SCORE 164739.967
AT ITER 9608 NEW BEST:: SOT 1460012 SOS 622890 HAS SOPS 606387 HAS SOUS 166091 HAS SOUPS 164117 WITH SCORE 164739.89
AT ITER 9609 NEW BEST:: SOT 1459985 SOS 622854 HAS SOPS 606351 HAS SOUS 166082 HAS SOUPS 164108 WITH SCORE 164730.854
AT ITER 9652 NEW BEST:: SOT 1459969 SOS 622838 HAS SOPS 606335 HAS SOUS 166058 HAS SOUPS 164084 WITH SCORE 164706.838
AT ITER 9654 NEW BEST:: SOT 1459952 SOS 622804 HAS SOPS 606301 HAS SOUS 166024 HAS SOUPS 164050 WITH SCORE 164672.804
AT ITER 9693 NEW BEST:: SOT 1459910 SOS 622762 HAS SOPS 606259 HAS SOUS 165968 HAS SOUPS 163994 WITH SCORE 164616.762
AT ITER 9702 NEW BEST:: SOT 1459875 SOS 622731 HAS SOPS 606208 HAS SOUS 165960 HAS SOUPS 163973 WITH SCORE 164595.731
AT ITER 9703 NEW BEST:: SOT 1459875 SOS 622731 HAS SOPS 606208 HAS SOUS 165955 HAS SOUPS 163968 WITH SCORE 164590.731
AT ITER 9735 NEW BEST:: SOT 1459872 SOS 622728 HAS SOPS 606205 HAS SOUS 165949 HAS SOUPS 163962 WITH SCORE 164584.728
AT ITER 9759 NEW BEST:: SOT 1459647 SOS 622503 HAS SOPS 605980 HAS SOUS 165637 HAS SOUPS 163650 WITH SCORE 164272.503
AT ITER 9792 NEW BEST:: SOT 1459635 SOS 622491 HAS SOPS 605968 HAS SOUS 165491 HAS SOUPS 163504 WITH SCORE 164126.491
AT ITER 9796 NEW BEST:: SOT 1459576 SOS 622432 HAS SOPS 605877 HAS SOUS 165374 HAS SOUPS 163387 WITH SCORE 164009.432
AT ITER 9800 NEW BEST:: SOT 1459576 SOS 621977 HAS SOPS 605445 HAS SOUS 165374 HAS SOUPS 163387 WITH SCORE 164008.977
AT ITER 9807 NEW BEST:: SOT 1459575 SOS 621975 HAS SOPS 605443 HAS SOUS 165372 HAS SOUPS 163385 WITH SCORE 164006.975
AT ITER 9849 NEW BEST:: SOT 1459569 SOS 621969 HAS SOPS 605437 HAS SOUS 165360 HAS SOUPS 163373 WITH SCORE 163994.969
AT ITER 9860 NEW BEST:: SOT 1459601 SOS 622001 HAS SOPS 605469 HAS SOUS 165352 HAS SOUPS 163365 WITH SCORE 163987.001
AT ITER 9868 NEW BEST:: SOT 1459597 SOS 621997 HAS SOPS 605465 HAS SOUS 165340 HAS SOUPS 163353 WITH SCORE 163974.997
AT ITER 9881 NEW BEST:: SOT 1459359 SOS 621939 HAS SOPS 605407 HAS SOUS 164948 HAS SOUPS 162961 WITH SCORE 163582.939
AT ITER 9938 NEW BEST:: SOT 1459326 SOS 621906 HAS SOPS 605374 HAS SOUS 164915 HAS SOUPS 162928 WITH SCORE 163549.906
AT ITER 9984 NEW BEST:: SOT 1459166 SOS 621746 HAS SOPS 605214 HAS SOUS 164551 HAS SOUPS 162564 WITH SCORE 163185.746
AT ITER 9994 NEW BEST:: SOT 1459107 SOS 621687 HAS SOPS 605155 HAS SOUS 164463 HAS SOUPS 162476 WITH SCORE 163097.687

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="PolyORBLF-PT-S04J06T08"
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 PolyORBLF-PT-S04J06T08, 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 r123-tajo-158961354800496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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