Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897680200600.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BusinessProcesses-PT-19, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680200600
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 352K
-rw-r--r-- 1 mcc users 3.3K Mar 26 02:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 26 02:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 22:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 189K 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 1590869264505

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

Filename model.pnml
Petri model created: 772 places, 685 transitions, 1981 arcs.
AT ITER 0 NEW BEST:: SOT 336519 SOS 127778 HAS SOPS 127778 HAS SOUS 124526 HAS SOUPS 124526 WITH SCORE 124653.778
AT ITER 12 NEW BEST:: SOT 336519 SOS 127762 HAS SOPS 127762 HAS SOUS 124510 HAS SOUPS 124510 WITH SCORE 124637.762
AT ITER 32 NEW BEST:: SOT 336434 SOS 127677 HAS SOPS 127677 HAS SOUS 124425 HAS SOUPS 124425 WITH SCORE 124552.677
AT ITER 42 NEW BEST:: SOT 333228 SOS 124471 HAS SOPS 124471 HAS SOUS 121219 HAS SOUPS 121219 WITH SCORE 121343.471
AT ITER 43 NEW BEST:: SOT 332942 SOS 124231 HAS SOPS 124231 HAS SOUS 120979 HAS SOUPS 120979 WITH SCORE 121103.231
AT ITER 51 NEW BEST:: SOT 332942 SOS 124107 HAS SOPS 124107 HAS SOUS 120855 HAS SOUPS 120855 WITH SCORE 120979.107
AT ITER 52 NEW BEST:: SOT 332942 SOS 124006 HAS SOPS 124006 HAS SOUS 120754 HAS SOUPS 120754 WITH SCORE 120878.006
AT ITER 64 NEW BEST:: SOT 332702 SOS 123716 HAS SOPS 123716 HAS SOUS 120514 HAS SOUPS 120514 WITH SCORE 120637.716
AT ITER 66 NEW BEST:: SOT 332702 SOS 123664 HAS SOPS 123664 HAS SOUS 120329 HAS SOUPS 120329 WITH SCORE 120452.664
AT ITER 72 NEW BEST:: SOT 332640 SOS 123602 HAS SOPS 123602 HAS SOUS 120267 HAS SOUPS 120267 WITH SCORE 120390.602
AT ITER 76 NEW BEST:: SOT 332524 SOS 123702 HAS SOPS 123702 HAS SOUS 120220 HAS SOUPS 120220 WITH SCORE 120343.702
AT ITER 94 NEW BEST:: SOT 332460 SOS 123666 HAS SOPS 123666 HAS SOUS 120171 HAS SOUPS 120171 WITH SCORE 120294.666
AT ITER 104 NEW BEST:: SOT 332460 SOS 123524 HAS SOPS 123524 HAS SOUS 120101 HAS SOUPS 120101 WITH SCORE 120224.524
AT ITER 106 NEW BEST:: SOT 332460 SOS 123524 HAS SOPS 123524 HAS SOUS 120100 HAS SOUPS 120100 WITH SCORE 120223.524
AT ITER 109 NEW BEST:: SOT 332256 SOS 123298 HAS SOPS 123298 HAS SOUS 119874 HAS SOUPS 119874 WITH SCORE 119997.298
AT ITER 114 NEW BEST:: SOT 332339 SOS 123129 HAS SOPS 123129 HAS SOUS 119705 HAS SOUPS 119705 WITH SCORE 119828.129
AT ITER 124 NEW BEST:: SOT 332138 SOS 122928 HAS SOPS 122928 HAS SOUS 119504 HAS SOUPS 119504 WITH SCORE 119626.928
AT ITER 126 NEW BEST:: SOT 331873 SOS 122575 HAS SOPS 122575 HAS SOUS 119151 HAS SOUPS 119151 WITH SCORE 119273.575
AT ITER 138 NEW BEST:: SOT 331873 SOS 122472 HAS SOPS 122472 HAS SOUS 118945 HAS SOUPS 118945 WITH SCORE 119067.472
AT ITER 140 NEW BEST:: SOT 331873 SOS 122471 HAS SOPS 122471 HAS SOUS 118944 HAS SOUPS 118944 WITH SCORE 119066.471
AT ITER 145 NEW BEST:: SOT 331843 SOS 122392 HAS SOPS 122392 HAS SOUS 118930 HAS SOUPS 118930 WITH SCORE 119052.392
AT ITER 158 NEW BEST:: SOT 331842 SOS 122390 HAS SOPS 122390 HAS SOUS 118928 HAS SOUPS 118928 WITH SCORE 119050.39
AT ITER 160 NEW BEST:: SOT 331842 SOS 122266 HAS SOPS 122266 HAS SOUS 118804 HAS SOUPS 118804 WITH SCORE 118926.266
AT ITER 161 NEW BEST:: SOT 331659 SOS 121900 HAS SOPS 121900 HAS SOUS 118438 HAS SOUPS 118438 WITH SCORE 118559.9
AT ITER 167 NEW BEST:: SOT 331619 SOS 121898 HAS SOPS 121898 HAS SOUS 118436 HAS SOUPS 118436 WITH SCORE 118557.898
AT ITER 174 NEW BEST:: SOT 331496 SOS 121925 HAS SOPS 121925 HAS SOUS 118326 HAS SOUPS 118326 WITH SCORE 118447.925
AT ITER 182 NEW BEST:: SOT 331496 SOS 121847 HAS SOPS 121847 HAS SOUS 118248 HAS SOUPS 118248 WITH SCORE 118369.847
AT ITER 189 NEW BEST:: SOT 331669 SOS 121578 HAS SOPS 121578 HAS SOUS 118112 HAS SOUPS 118112 WITH SCORE 118233.578
AT ITER 202 NEW BEST:: SOT 331608 SOS 121456 HAS SOPS 121456 HAS SOUS 117990 HAS SOUPS 117990 WITH SCORE 118111.456
AT ITER 209 NEW BEST:: SOT 331562 SOS 121364 HAS SOPS 121364 HAS SOUS 117898 HAS SOUPS 117898 WITH SCORE 118019.364
AT ITER 228 NEW BEST:: SOT 331465 SOS 121247 HAS SOPS 121247 HAS SOUS 117780 HAS SOUPS 117780 WITH SCORE 117901.247
AT ITER 236 NEW BEST:: SOT 331350 SOS 121162 HAS SOPS 121162 HAS SOUS 117695 HAS SOUPS 117695 WITH SCORE 117816.162
AT ITER 237 NEW BEST:: SOT 331319 SOS 121127 HAS SOPS 121127 HAS SOUS 117660 HAS SOUPS 117660 WITH SCORE 117781.127
AT ITER 245 NEW BEST:: SOT 331065 SOS 120641 HAS SOPS 120641 HAS SOUS 117575 HAS SOUPS 117575 WITH SCORE 117695.641
AT ITER 252 NEW BEST:: SOT 331165 SOS 120555 HAS SOPS 120555 HAS SOUS 117489 HAS SOUPS 117489 WITH SCORE 117609.555
AT ITER 259 NEW BEST:: SOT 331164 SOS 120553 HAS SOPS 120553 HAS SOUS 117487 HAS SOUPS 117487 WITH SCORE 117607.553
AT ITER 261 NEW BEST:: SOT 331197 SOS 120552 HAS SOPS 120552 HAS SOUS 117486 HAS SOUPS 117486 WITH SCORE 117606.552
AT ITER 268 NEW BEST:: SOT 331015 SOS 120251 HAS SOPS 120251 HAS SOUS 117185 HAS SOUPS 117185 WITH SCORE 117305.251
AT ITER 278 NEW BEST:: SOT 330923 SOS 120067 HAS SOPS 120067 HAS SOUS 117167 HAS SOUPS 117167 WITH SCORE 117287.067
AT ITER 287 NEW BEST:: SOT 330683 SOS 119774 HAS SOPS 119774 HAS SOUS 116874 HAS SOUPS 116874 WITH SCORE 116993.774
AT ITER 289 NEW BEST:: SOT 330663 SOS 119734 HAS SOPS 119734 HAS SOUS 116834 HAS SOUPS 116834 WITH SCORE 116953.734
AT ITER 308 NEW BEST:: SOT 330687 SOS 119587 HAS SOPS 119587 HAS SOUS 116611 HAS SOUPS 116611 WITH SCORE 116730.587
AT ITER 335 NEW BEST:: SOT 330674 SOS 119561 HAS SOPS 119561 HAS SOUS 116585 HAS SOUPS 116585 WITH SCORE 116704.561
AT ITER 354 NEW BEST:: SOT 330547 SOS 119582 HAS SOPS 119582 HAS SOUS 116579 HAS SOUPS 116579 WITH SCORE 116698.582
AT ITER 357 NEW BEST:: SOT 330547 SOS 119531 HAS SOPS 119531 HAS SOUS 116528 HAS SOUPS 116528 WITH SCORE 116647.531
AT ITER 362 NEW BEST:: SOT 330617 SOS 119413 HAS SOPS 119413 HAS SOUS 116458 HAS SOUPS 116458 WITH SCORE 116577.413
AT ITER 364 NEW BEST:: SOT 330769 SOS 119359 HAS SOPS 119359 HAS SOUS 116404 HAS SOUPS 116404 WITH SCORE 116523.359
AT ITER 368 NEW BEST:: SOT 322084 SOS 121286 HAS SOPS 121286 HAS SOUS 108220 HAS SOUPS 108220 WITH SCORE 108341.286
AT ITER 371 NEW BEST:: SOT 321988 SOS 121128 HAS SOPS 121128 HAS SOUS 108062 HAS SOUPS 108062 WITH SCORE 108183.128
AT ITER 372 NEW BEST:: SOT 321987 SOS 120994 HAS SOPS 120994 HAS SOUS 108020 HAS SOUPS 108020 WITH SCORE 108140.994
AT ITER 400 NEW BEST:: SOT 321954 SOS 120961 HAS SOPS 120961 HAS SOUS 108020 HAS SOUPS 108020 WITH SCORE 108140.961
AT ITER 402 NEW BEST:: SOT 321866 SOS 120902 HAS SOPS 120902 HAS SOUS 107961 HAS SOUPS 107961 WITH SCORE 108081.902
AT ITER 415 NEW BEST:: SOT 321567 SOS 120167 HAS SOPS 120167 HAS SOUS 107226 HAS SOUPS 107226 WITH SCORE 107346.167
AT ITER 428 NEW BEST:: SOT 321320 SOS 119673 HAS SOPS 119673 HAS SOUS 106943 HAS SOUPS 106943 WITH SCORE 107062.673
AT ITER 451 NEW BEST:: SOT 321326 SOS 119679 HAS SOPS 119679 HAS SOUS 106844 HAS SOUPS 106844 WITH SCORE 106963.679
AT ITER 455 NEW BEST:: SOT 321202 SOS 119594 HAS SOPS 119594 HAS SOUS 106759 HAS SOUPS 106759 WITH SCORE 106878.594
AT ITER 456 NEW BEST:: SOT 321046 SOS 119414 HAS SOPS 119414 HAS SOUS 106603 HAS SOUPS 106603 WITH SCORE 106722.414
AT ITER 469 NEW BEST:: SOT 321045 SOS 119301 HAS SOPS 119301 HAS SOUS 106501 HAS SOUPS 106501 WITH SCORE 106620.301
AT ITER 473 NEW BEST:: SOT 321004 SOS 119100 HAS SOPS 119100 HAS SOUS 106476 HAS SOUPS 106476 WITH SCORE 106595.1
AT ITER 493 NEW BEST:: SOT 321004 SOS 119100 HAS SOPS 119100 HAS SOUS 106398 HAS SOUPS 106398 WITH SCORE 106517.1
AT ITER 504 NEW BEST:: SOT 320930 SOS 119026 HAS SOPS 119026 HAS SOUS 106322 HAS SOUPS 106322 WITH SCORE 106441.026
AT ITER 505 NEW BEST:: SOT 320811 SOS 118845 HAS SOPS 118845 HAS SOUS 106141 HAS SOUPS 106141 WITH SCORE 106259.845
AT ITER 508 NEW BEST:: SOT 320440 SOS 118474 HAS SOPS 118474 HAS SOUS 105770 HAS SOUPS 105770 WITH SCORE 105888.474
AT ITER 512 NEW BEST:: SOT 320440 SOS 118434 HAS SOPS 118434 HAS SOUS 105745 HAS SOUPS 105745 WITH SCORE 105863.434
AT ITER 514 NEW BEST:: SOT 320173 SOS 118207 HAS SOPS 118207 HAS SOUS 105518 HAS SOUPS 105518 WITH SCORE 105636.207
AT ITER 520 NEW BEST:: SOT 320173 SOS 118207 HAS SOPS 118207 HAS SOUS 105507 HAS SOUPS 105507 WITH SCORE 105625.207
AT ITER 526 NEW BEST:: SOT 320116 SOS 118150 HAS SOPS 118150 HAS SOUS 105450 HAS SOUPS 105450 WITH SCORE 105568.15
AT ITER 538 NEW BEST:: SOT 320115 SOS 118148 HAS SOPS 118148 HAS SOUS 105448 HAS SOUPS 105448 WITH SCORE 105566.148
AT ITER 560 NEW BEST:: SOT 320110 SOS 118133 HAS SOPS 118133 HAS SOUS 105438 HAS SOUPS 105438 WITH SCORE 105556.133
AT ITER 564 NEW BEST:: SOT 320051 SOS 118015 HAS SOPS 118015 HAS SOUS 105320 HAS SOUPS 105320 WITH SCORE 105438.015
AT ITER 566 NEW BEST:: SOT 319999 SOS 117728 HAS SOPS 117728 HAS SOUS 105093 HAS SOUPS 105093 WITH SCORE 105210.728
AT ITER 567 NEW BEST:: SOT 319993 SOS 117722 HAS SOPS 117722 HAS SOUS 105092 HAS SOUPS 105092 WITH SCORE 105209.722
AT ITER 584 NEW BEST:: SOT 319993 SOS 117645 HAS SOPS 117645 HAS SOUS 105015 HAS SOUPS 105015 WITH SCORE 105132.645
AT ITER 589 NEW BEST:: SOT 319992 SOS 117643 HAS SOPS 117643 HAS SOUS 105013 HAS SOUPS 105013 WITH SCORE 105130.643
AT ITER 604 NEW BEST:: SOT 319992 SOS 117569 HAS SOPS 117569 HAS SOUS 104939 HAS SOUPS 104939 WITH SCORE 105056.569
AT ITER 609 NEW BEST:: SOT 319971 SOS 117561 HAS SOPS 117561 HAS SOUS 104931 HAS SOUPS 104931 WITH SCORE 105048.561
AT ITER 611 NEW BEST:: SOT 319832 SOS 117283 HAS SOPS 117283 HAS SOUS 104792 HAS SOUPS 104792 WITH SCORE 104909.283
AT ITER 612 NEW BEST:: SOT 319742 SOS 117103 HAS SOPS 117103 HAS SOUS 104730 HAS SOUPS 104730 WITH SCORE 104847.103
AT ITER 614 NEW BEST:: SOT 319767 SOS 116953 HAS SOPS 116953 HAS SOUS 104714 HAS SOUPS 104714 WITH SCORE 104830.953
AT ITER 618 NEW BEST:: SOT 319607 SOS 116548 HAS SOPS 116548 HAS SOUS 104309 HAS SOUPS 104309 WITH SCORE 104425.548
AT ITER 623 NEW BEST:: SOT 319580 SOS 116520 HAS SOPS 116520 HAS SOUS 104296 HAS SOUPS 104296 WITH SCORE 104412.52
AT ITER 627 NEW BEST:: SOT 319333 SOS 116285 HAS SOPS 116285 HAS SOUS 104061 HAS SOUPS 104061 WITH SCORE 104177.285
AT ITER 637 NEW BEST:: SOT 319279 SOS 116231 HAS SOPS 116231 HAS SOUS 104047 HAS SOUPS 104047 WITH SCORE 104163.231
AT ITER 638 NEW BEST:: SOT 319279 SOS 116163 HAS SOPS 116163 HAS SOUS 103979 HAS SOUPS 103979 WITH SCORE 104095.163
AT ITER 640 NEW BEST:: SOT 319177 SOS 115980 HAS SOPS 115980 HAS SOUS 103796 HAS SOUPS 103796 WITH SCORE 103911.98
AT ITER 646 NEW BEST:: SOT 319234 SOS 115872 HAS SOPS 115872 HAS SOUS 103688 HAS SOUPS 103688 WITH SCORE 103803.872
AT ITER 649 NEW BEST:: SOT 319211 SOS 115727 HAS SOPS 115727 HAS SOUS 103665 HAS SOUPS 103665 WITH SCORE 103780.727
AT ITER 656 NEW BEST:: SOT 319151 SOS 115637 HAS SOPS 115637 HAS SOUS 103575 HAS SOUPS 103575 WITH SCORE 103690.637
AT ITER 663 NEW BEST:: SOT 319186 SOS 115490 HAS SOPS 115490 HAS SOUS 103532 HAS SOUPS 103532 WITH SCORE 103647.49
AT ITER 673 NEW BEST:: SOT 319139 SOS 115443 HAS SOPS 115443 HAS SOUS 103485 HAS SOUPS 103485 WITH SCORE 103600.443
AT ITER 674 NEW BEST:: SOT 318770 SOS 114955 HAS SOPS 114955 HAS SOUS 103155 HAS SOUPS 103155 WITH SCORE 103269.955
AT ITER 679 NEW BEST:: SOT 318769 SOS 114953 HAS SOPS 114953 HAS SOUS 103153 HAS SOUPS 103153 WITH SCORE 103267.953
AT ITER 680 NEW BEST:: SOT 317029 SOS 113259 HAS SOPS 113259 HAS SOUS 101527 HAS SOUPS 101527 WITH SCORE 101640.259
AT ITER 682 NEW BEST:: SOT 316959 SOS 113148 HAS SOPS 113148 HAS SOUS 101416 HAS SOUPS 101416 WITH SCORE 101529.148
AT ITER 683 NEW BEST:: SOT 316912 SOS 113101 HAS SOPS 113101 HAS SOUS 101369 HAS SOUPS 101369 WITH SCORE 101482.101
AT ITER 684 NEW BEST:: SOT 316926 SOS 112906 HAS SOPS 112906 HAS SOUS 101174 HAS SOUPS 101174 WITH SCORE 101286.906
AT ITER 696 NEW BEST:: SOT 315136 SOS 111115 HAS SOPS 111115 HAS SOUS 99383 HAS SOUPS 99383 WITH SCORE 99494.115
AT ITER 707 NEW BEST:: SOT 315181 SOS 111101 HAS SOPS 111101 HAS SOUS 99369 HAS SOUPS 99369 WITH SCORE 99480.101
AT ITER 709 NEW BEST:: SOT 314821 SOS 110668 HAS SOPS 110668 HAS SOUS 99087 HAS SOUPS 99087 WITH SCORE 99197.668
AT ITER 718 NEW BEST:: SOT 314796 SOS 110643 HAS SOPS 110643 HAS SOUS 99062 HAS SOUPS 99062 WITH SCORE 99172.643
AT ITER 720 NEW BEST:: SOT 314795 SOS 110624 HAS SOPS 110624 HAS SOUS 99025 HAS SOUPS 99025 WITH SCORE 99135.624
AT ITER 721 NEW BEST:: SOT 314617 SOS 110568 HAS SOPS 110568 HAS SOUS 98969 HAS SOUPS 98969 WITH SCORE 99079.568
AT ITER 732 NEW BEST:: SOT 314617 SOS 110492 HAS SOPS 110492 HAS SOUS 98817 HAS SOUPS 98817 WITH SCORE 98927.492
AT ITER 737 NEW BEST:: SOT 314570 SOS 110445 HAS SOPS 110445 HAS SOUS 98770 HAS SOUPS 98770 WITH SCORE 98880.445
AT ITER 741 NEW BEST:: SOT 314783 SOS 110517 HAS SOPS 110517 HAS SOUS 98674 HAS SOUPS 98674 WITH SCORE 98784.517
AT ITER 765 NEW BEST:: SOT 314736 SOS 110423 HAS SOPS 110423 HAS SOUS 98580 HAS SOUPS 98580 WITH SCORE 98690.423
AT ITER 771 NEW BEST:: SOT 314736 SOS 110234 HAS SOPS 110234 HAS SOUS 98391 HAS SOUPS 98391 WITH SCORE 98501.234
AT ITER 789 NEW BEST:: SOT 314736 SOS 110153 HAS SOPS 110153 HAS SOUS 98229 HAS SOUPS 98229 WITH SCORE 98339.153
AT ITER 812 NEW BEST:: SOT 314660 SOS 110073 HAS SOPS 110073 HAS SOUS 98221 HAS SOUPS 98221 WITH SCORE 98331.073
AT ITER 814 NEW BEST:: SOT 314579 SOS 109992 HAS SOPS 109992 HAS SOUS 98140 HAS SOUPS 98140 WITH SCORE 98249.992
AT ITER 820 NEW BEST:: SOT 314579 SOS 109941 HAS SOPS 109941 HAS SOUS 98089 HAS SOUPS 98089 WITH SCORE 98198.941
AT ITER 825 NEW BEST:: SOT 314557 SOS 109901 HAS SOPS 109901 HAS SOUS 98071 HAS SOUPS 98071 WITH SCORE 98180.901
AT ITER 832 NEW BEST:: SOT 314517 SOS 109617 HAS SOPS 109617 HAS SOUS 97787 HAS SOUPS 97787 WITH SCORE 97896.617
AT ITER 851 NEW BEST:: SOT 314532 SOS 109532 HAS SOPS 109532 HAS SOUS 97702 HAS SOUPS 97702 WITH SCORE 97811.532
AT ITER 859 NEW BEST:: SOT 314532 SOS 109490 HAS SOPS 109490 HAS SOUS 97702 HAS SOUPS 97702 WITH SCORE 97811.49
AT ITER 860 NEW BEST:: SOT 314514 SOS 109472 HAS SOPS 109472 HAS SOUS 97684 HAS SOUPS 97684 WITH SCORE 97793.472
AT ITER 861 NEW BEST:: SOT 314513 SOS 109471 HAS SOPS 109471 HAS SOUS 97682 HAS SOUPS 97682 WITH SCORE 97791.471
AT ITER 863 NEW BEST:: SOT 314399 SOS 109357 HAS SOPS 109357 HAS SOUS 97568 HAS SOUPS 97568 WITH SCORE 97677.357
AT ITER 867 NEW BEST:: SOT 314398 SOS 109349 HAS SOPS 109349 HAS SOUS 97553 HAS SOUPS 97553 WITH SCORE 97662.349
AT ITER 869 NEW BEST:: SOT 314414 SOS 109203 HAS SOPS 109203 HAS SOUS 97407 HAS SOUPS 97407 WITH SCORE 97516.203
AT ITER 873 NEW BEST:: SOT 312098 SOS 106683 HAS SOPS 106683 HAS SOUS 95069 HAS SOUPS 95069 WITH SCORE 95175.683
AT ITER 874 NEW BEST:: SOT 311894 SOS 106393 HAS SOPS 106393 HAS SOUS 94830 HAS SOUPS 94830 WITH SCORE 94936.393
AT ITER 875 NEW BEST:: SOT 311890 SOS 106385 HAS SOPS 106385 HAS SOUS 94826 HAS SOUPS 94826 WITH SCORE 94932.385
AT ITER 876 NEW BEST:: SOT 311890 SOS 106345 HAS SOPS 106345 HAS SOUS 94786 HAS SOUPS 94786 WITH SCORE 94892.345
AT ITER 880 NEW BEST:: SOT 311874 SOS 106329 HAS SOPS 106329 HAS SOUS 94770 HAS SOUPS 94770 WITH SCORE 94876.329
AT ITER 882 NEW BEST:: SOT 311874 SOS 106326 HAS SOPS 106326 HAS SOUS 94767 HAS SOUPS 94767 WITH SCORE 94873.326
AT ITER 896 NEW BEST:: SOT 311594 SOS 106072 HAS SOPS 106072 HAS SOUS 94677 HAS SOUPS 94677 WITH SCORE 94783.072
AT ITER 897 NEW BEST:: SOT 311575 SOS 106034 HAS SOPS 106034 HAS SOUS 94639 HAS SOUPS 94639 WITH SCORE 94745.034
AT ITER 902 NEW BEST:: SOT 311575 SOS 106028 HAS SOPS 106028 HAS SOUS 94633 HAS SOUPS 94633 WITH SCORE 94739.028
AT ITER 905 NEW BEST:: SOT 311559 SOS 105996 HAS SOPS 105996 HAS SOUS 94617 HAS SOUPS 94617 WITH SCORE 94722.996
AT ITER 912 NEW BEST:: SOT 311559 SOS 105964 HAS SOPS 105964 HAS SOUS 94585 HAS SOUPS 94585 WITH SCORE 94690.964
AT ITER 919 NEW BEST:: SOT 311581 SOS 105971 HAS SOPS 105971 HAS SOUS 94552 HAS SOUPS 94552 WITH SCORE 94657.971
AT ITER 922 NEW BEST:: SOT 311572 SOS 105961 HAS SOPS 105961 HAS SOUS 94542 HAS SOUPS 94542 WITH SCORE 94647.961
AT ITER 928 NEW BEST:: SOT 311472 SOS 105860 HAS SOPS 105860 HAS SOUS 94540 HAS SOUPS 94540 WITH SCORE 94645.86
AT ITER 935 NEW BEST:: SOT 311609 SOS 105997 HAS SOPS 105997 HAS SOUS 94539 HAS SOUPS 94539 WITH SCORE 94644.997
AT ITER 936 NEW BEST:: SOT 311608 SOS 105995 HAS SOPS 105995 HAS SOUS 94537 HAS SOUPS 94537 WITH SCORE 94642.995
AT ITER 955 NEW BEST:: SOT 311624 SOS 105915 HAS SOPS 105915 HAS SOUS 94352 HAS SOUPS 94352 WITH SCORE 94457.915
AT ITER 966 NEW BEST:: SOT 311320 SOS 105395 HAS SOPS 105395 HAS SOUS 93832 HAS SOUPS 93832 WITH SCORE 93937.395
AT ITER 973 NEW BEST:: SOT 311276 SOS 105278 HAS SOPS 105278 HAS SOUS 93715 HAS SOUPS 93715 WITH SCORE 93820.278
AT ITER 988 NEW BEST:: SOT 311287 SOS 105289 HAS SOPS 105289 HAS SOUS 93633 HAS SOUPS 93633 WITH SCORE 93738.289
AT ITER 990 NEW BEST:: SOT 311282 SOS 105279 HAS SOPS 105279 HAS SOUS 93623 HAS SOUPS 93623 WITH SCORE 93728.279
AT ITER 991 NEW BEST:: SOT 311249 SOS 105246 HAS SOPS 105246 HAS SOUS 93623 HAS SOUPS 93623 WITH SCORE 93728.246
AT ITER 995 NEW BEST:: SOT 311225 SOS 105139 HAS SOPS 105139 HAS SOUS 93516 HAS SOUPS 93516 WITH SCORE 93621.139
AT ITER 1005 NEW BEST:: SOT 311113 SOS 104999 HAS SOPS 104999 HAS SOUS 93376 HAS SOUPS 93376 WITH SCORE 93480.999
AT ITER 1006 NEW BEST:: SOT 311108 SOS 104998 HAS SOPS 104998 HAS SOUS 93375 HAS SOUPS 93375 WITH SCORE 93479.998
AT ITER 1007 NEW BEST:: SOT 311026 SOS 104834 HAS SOPS 104834 HAS SOUS 93266 HAS SOUPS 93266 WITH SCORE 93370.834
AT ITER 1013 NEW BEST:: SOT 310996 SOS 104803 HAS SOPS 104803 HAS SOUS 93235 HAS SOUPS 93235 WITH SCORE 93339.803
AT ITER 1021 NEW BEST:: SOT 310971 SOS 104911 HAS SOPS 104911 HAS SOUS 93230 HAS SOUPS 93230 WITH SCORE 93334.911
AT ITER 1024 NEW BEST:: SOT 310938 SOS 104878 HAS SOPS 104878 HAS SOUS 93230 HAS SOUPS 93230 WITH SCORE 93334.878
AT ITER 1027 NEW BEST:: SOT 310870 SOS 104657 HAS SOPS 104657 HAS SOUS 93162 HAS SOUPS 93162 WITH SCORE 93266.657
AT ITER 1037 NEW BEST:: SOT 310830 SOS 104577 HAS SOPS 104577 HAS SOUS 93122 HAS SOUPS 93122 WITH SCORE 93226.577
AT ITER 1083 NEW BEST:: SOT 310795 SOS 104507 HAS SOPS 104507 HAS SOUS 93052 HAS SOUPS 93052 WITH SCORE 93156.507
AT ITER 1097 NEW BEST:: SOT 310795 SOS 104499 HAS SOPS 104499 HAS SOUS 93048 HAS SOUPS 93048 WITH SCORE 93152.499
AT ITER 1099 NEW BEST:: SOT 310898 SOS 104484 HAS SOPS 104484 HAS SOUS 93033 HAS SOUPS 93033 WITH SCORE 93137.484
AT ITER 1101 NEW BEST:: SOT 310893 SOS 104467 HAS SOPS 104467 HAS SOUS 93016 HAS SOUPS 93016 WITH SCORE 93120.467
AT ITER 1165 NEW BEST:: SOT 310748 SOS 104177 HAS SOPS 104177 HAS SOUS 92756 HAS SOUPS 92756 WITH SCORE 92860.177
AT ITER 1167 NEW BEST:: SOT 310725 SOS 104154 HAS SOPS 104154 HAS SOUS 92733 HAS SOUPS 92733 WITH SCORE 92837.154
AT ITER 1168 NEW BEST:: SOT 310607 SOS 103918 HAS SOPS 103918 HAS SOUS 92497 HAS SOUPS 92497 WITH SCORE 92600.918
AT ITER 1188 NEW BEST:: SOT 310507 SOS 103795 HAS SOPS 103795 HAS SOUS 92398 HAS SOUPS 92398 WITH SCORE 92501.795
AT ITER 1191 NEW BEST:: SOT 310608 SOS 103891 HAS SOPS 103891 HAS SOUS 92388 HAS SOUPS 92388 WITH SCORE 92491.891
AT ITER 1195 NEW BEST:: SOT 310733 SOS 104016 HAS SOPS 104016 HAS SOUS 92342 HAS SOUPS 92342 WITH SCORE 92446.016
AT ITER 1215 NEW BEST:: SOT 310753 SOS 104013 HAS SOPS 104013 HAS SOUS 92327 HAS SOUPS 92327 WITH SCORE 92431.013
AT ITER 1220 NEW BEST:: SOT 310732 SOS 103934 HAS SOPS 103934 HAS SOUS 92248 HAS SOUPS 92248 WITH SCORE 92351.934
AT ITER 1221 NEW BEST:: SOT 310732 SOS 103632 HAS SOPS 103632 HAS SOUS 91946 HAS SOUPS 91946 WITH SCORE 92049.632
AT ITER 1223 NEW BEST:: SOT 310693 SOS 103620 HAS SOPS 103620 HAS SOUS 91946 HAS SOUPS 91946 WITH SCORE 92049.62
AT ITER 1224 NEW BEST:: SOT 310742 SOS 103418 HAS SOPS 103418 HAS SOUS 91744 HAS SOUPS 91744 WITH SCORE 91847.418
AT ITER 1228 NEW BEST:: SOT 310752 SOS 103312 HAS SOPS 103312 HAS SOUS 91638 HAS SOUPS 91638 WITH SCORE 91741.312
AT ITER 1237 NEW BEST:: SOT 310751 SOS 103213 HAS SOPS 103213 HAS SOUS 91539 HAS SOUPS 91539 WITH SCORE 91642.213
AT ITER 1242 NEW BEST:: SOT 310603 SOS 102983 HAS SOPS 102983 HAS SOUS 91476 HAS SOUPS 91476 WITH SCORE 91578.983
AT ITER 1254 NEW BEST:: SOT 310668 SOS 102868 HAS SOPS 102868 HAS SOUS 91361 HAS SOUPS 91361 WITH SCORE 91463.868
AT ITER 1269 NEW BEST:: SOT 310204 SOS 102550 HAS SOPS 102550 HAS SOUS 91043 HAS SOUPS 91043 WITH SCORE 91145.55
AT ITER 1295 NEW BEST:: SOT 310211 SOS 102519 HAS SOPS 102519 HAS SOUS 91012 HAS SOUPS 91012 WITH SCORE 91114.519
AT ITER 1296 NEW BEST:: SOT 310211 SOS 102511 HAS SOPS 102511 HAS SOUS 91004 HAS SOUPS 91004 WITH SCORE 91106.511
AT ITER 1298 NEW BEST:: SOT 310299 SOS 102685 HAS SOPS 102685 HAS SOUS 91002 HAS SOUPS 91002 WITH SCORE 91104.685
AT ITER 1303 NEW BEST:: SOT 310349 SOS 102623 HAS SOPS 102623 HAS SOUS 90984 HAS SOUPS 90984 WITH SCORE 91086.623
AT ITER 1337 NEW BEST:: SOT 310345 SOS 102619 HAS SOPS 102619 HAS SOUS 90980 HAS SOUPS 90980 WITH SCORE 91082.619
AT ITER 1340 NEW BEST:: SOT 310280 SOS 102554 HAS SOPS 102554 HAS SOUS 90915 HAS SOUPS 90915 WITH SCORE 91017.554
AT ITER 1352 NEW BEST:: SOT 310223 SOS 102529 HAS SOPS 102529 HAS SOUS 90890 HAS SOUPS 90890 WITH SCORE 90992.529
AT ITER 1357 NEW BEST:: SOT 310261 SOS 102571 HAS SOPS 102571 HAS SOUS 90860 HAS SOUPS 90860 WITH SCORE 90962.571
AT ITER 1369 NEW BEST:: SOT 310159 SOS 102418 HAS SOPS 102418 HAS SOUS 90758 HAS SOUPS 90758 WITH SCORE 90860.418
AT ITER 1397 NEW BEST:: SOT 310157 SOS 102416 HAS SOPS 102416 HAS SOUS 90756 HAS SOUPS 90756 WITH SCORE 90858.416
AT ITER 1406 NEW BEST:: SOT 310143 SOS 102402 HAS SOPS 102402 HAS SOUS 90742 HAS SOUPS 90742 WITH SCORE 90844.402
AT ITER 1413 NEW BEST:: SOT 310126 SOS 102385 HAS SOPS 102385 HAS SOUS 90725 HAS SOUPS 90725 WITH SCORE 90827.385
AT ITER 1420 NEW BEST:: SOT 310126 SOS 102456 HAS SOPS 102456 HAS SOUS 90724 HAS SOUPS 90724 WITH SCORE 90826.456
AT ITER 1424 NEW BEST:: SOT 309881 SOS 101981 HAS SOPS 101981 HAS SOUS 90249 HAS SOUPS 90249 WITH SCORE 90350.981
AT ITER 1427 NEW BEST:: SOT 309552 SOS 101719 HAS SOPS 101719 HAS SOUS 90189 HAS SOUPS 90189 WITH SCORE 90290.719
AT ITER 1448 NEW BEST:: SOT 309211 SOS 101369 HAS SOPS 101369 HAS SOUS 90007 HAS SOUPS 90007 WITH SCORE 90108.369
AT ITER 1466 NEW BEST:: SOT 309223 SOS 101393 HAS SOPS 101393 HAS SOUS 89995 HAS SOUPS 89995 WITH SCORE 90096.393
AT ITER 1472 NEW BEST:: SOT 309267 SOS 101393 HAS SOPS 101393 HAS SOUS 89993 HAS SOUPS 89993 WITH SCORE 90094.393
AT ITER 1475 NEW BEST:: SOT 309267 SOS 101371 HAS SOPS 101371 HAS SOUS 89971 HAS SOUPS 89971 WITH SCORE 90072.371
AT ITER 1484 NEW BEST:: SOT 309008 SOS 100992 HAS SOPS 100992 HAS SOUS 89805 HAS SOUPS 89805 WITH SCORE 89905.992
AT ITER 1485 NEW BEST:: SOT 308934 SOS 100918 HAS SOPS 100918 HAS SOUS 89744 HAS SOUPS 89744 WITH SCORE 89844.918
AT ITER 1490 NEW BEST:: SOT 308785 SOS 100789 HAS SOPS 100789 HAS SOUS 89739 HAS SOUPS 89739 WITH SCORE 89839.789
AT ITER 1497 NEW BEST:: SOT 308774 SOS 100478 HAS SOPS 100478 HAS SOUS 89428 HAS SOUPS 89428 WITH SCORE 89528.478
AT ITER 1503 NEW BEST:: SOT 308714 SOS 100406 HAS SOPS 100406 HAS SOUS 89355 HAS SOUPS 89355 WITH SCORE 89455.406
AT ITER 1514 NEW BEST:: SOT 308711 SOS 100401 HAS SOPS 100401 HAS SOUS 89350 HAS SOUPS 89350 WITH SCORE 89450.401
AT ITER 1530 NEW BEST:: SOT 308625 SOS 100236 HAS SOPS 100236 HAS SOUS 89271 HAS SOUPS 89271 WITH SCORE 89371.236
AT ITER 1539 NEW BEST:: SOT 308471 SOS 99993 HAS SOPS 99993 HAS SOUS 89245 HAS SOUPS 89245 WITH SCORE 89344.993
AT ITER 1547 NEW BEST:: SOT 308488 SOS 99640 HAS SOPS 99640 HAS SOUS 88892 HAS SOUPS 88892 WITH SCORE 88991.64
AT ITER 1559 NEW BEST:: SOT 308446 SOS 99556 HAS SOPS 99556 HAS SOUS 88892 HAS SOUPS 88892 WITH SCORE 88991.556
AT ITER 1561 NEW BEST:: SOT 308470 SOS 99578 HAS SOPS 99578 HAS SOUS 88890 HAS SOUPS 88890 WITH SCORE 88989.578
AT ITER 1566 NEW BEST:: SOT 308343 SOS 99336 HAS SOPS 99336 HAS SOUS 88648 HAS SOUPS 88648 WITH SCORE 88747.336
AT ITER 1567 NEW BEST:: SOT 308336 SOS 99307 HAS SOPS 99307 HAS SOUS 88619 HAS SOUPS 88619 WITH SCORE 88718.307
AT ITER 1574 NEW BEST:: SOT 308377 SOS 99348 HAS SOPS 99348 HAS SOUS 88594 HAS SOUPS 88594 WITH SCORE 88693.348
AT ITER 1588 NEW BEST:: SOT 308186 SOS 99029 HAS SOPS 99029 HAS SOUS 88275 HAS SOUPS 88275 WITH SCORE 88374.029
AT ITER 1592 NEW BEST:: SOT 308186 SOS 99028 HAS SOPS 99028 HAS SOUS 88274 HAS SOUPS 88274 WITH SCORE 88373.028
AT ITER 1594 NEW BEST:: SOT 308186 SOS 99033 HAS SOPS 99033 HAS SOUS 88270 HAS SOUPS 88270 WITH SCORE 88369.033
AT ITER 1601 NEW BEST:: SOT 308095 SOS 98878 HAS SOPS 98878 HAS SOUS 88115 HAS SOUPS 88115 WITH SCORE 88213.878
AT ITER 1602 NEW BEST:: SOT 308047 SOS 98845 HAS SOPS 98845 HAS SOUS 88082 HAS SOUPS 88082 WITH SCORE 88180.845
AT ITER 1608 NEW BEST:: SOT 308076 SOS 98766 HAS SOPS 98766 HAS SOUS 87902 HAS SOUPS 87902 WITH SCORE 88000.766
AT ITER 1613 NEW BEST:: SOT 308066 SOS 98751 HAS SOPS 98751 HAS SOUS 87887 HAS SOUPS 87887 WITH SCORE 87985.751
AT ITER 1623 NEW BEST:: SOT 308066 SOS 98694 HAS SOPS 98694 HAS SOUS 87830 HAS SOUPS 87830 WITH SCORE 87928.694
AT ITER 1627 NEW BEST:: SOT 308066 SOS 98694 HAS SOPS 98694 HAS SOUS 87738 HAS SOUPS 87738 WITH SCORE 87836.694
AT ITER 1631 NEW BEST:: SOT 307904 SOS 98637 HAS SOPS 98637 HAS SOUS 87681 HAS SOUPS 87681 WITH SCORE 87779.637
AT ITER 1644 NEW BEST:: SOT 307890 SOS 98630 HAS SOPS 98630 HAS SOUS 87674 HAS SOUPS 87674 WITH SCORE 87772.63
AT ITER 1674 NEW BEST:: SOT 307874 SOS 98516 HAS SOPS 98516 HAS SOUS 87560 HAS SOUPS 87560 WITH SCORE 87658.516
AT ITER 1679 NEW BEST:: SOT 307834 SOS 98456 HAS SOPS 98456 HAS SOUS 87520 HAS SOUPS 87520 WITH SCORE 87618.456
AT ITER 1683 NEW BEST:: SOT 307759 SOS 98381 HAS SOPS 98381 HAS SOUS 87445 HAS SOUPS 87445 WITH SCORE 87543.381
AT ITER 1693 NEW BEST:: SOT 307759 SOS 98280 HAS SOPS 98280 HAS SOUS 87344 HAS SOUPS 87344 WITH SCORE 87442.28
AT ITER 1701 NEW BEST:: SOT 307637 SOS 98158 HAS SOPS 98158 HAS SOUS 87222 HAS SOUPS 87222 WITH SCORE 87320.158
AT ITER 1702 NEW BEST:: SOT 307663 SOS 98104 HAS SOPS 98104 HAS SOUS 87129 HAS SOUPS 87129 WITH SCORE 87227.104
AT ITER 1704 NEW BEST:: SOT 307648 SOS 98082 HAS SOPS 98082 HAS SOUS 87107 HAS SOUPS 87107 WITH SCORE 87205.082
AT ITER 1720 NEW BEST:: SOT 307254 SOS 97749 HAS SOPS 97749 HAS SOUS 86770 HAS SOUPS 86770 WITH SCORE 86867.749
AT ITER 1738 NEW BEST:: SOT 307420 SOS 97724 HAS SOPS 97724 HAS SOUS 86746 HAS SOUPS 86746 WITH SCORE 86843.724
AT ITER 1745 NEW BEST:: SOT 307442 SOS 97700 HAS SOPS 97700 HAS SOUS 86722 HAS SOUPS 86722 WITH SCORE 86819.7
AT ITER 1759 NEW BEST:: SOT 307442 SOS 97700 HAS SOPS 97700 HAS SOUS 86699 HAS SOUPS 86699 WITH SCORE 86796.7
AT ITER 1763 NEW BEST:: SOT 307439 SOS 97691 HAS SOPS 97691 HAS SOUS 86690 HAS SOUPS 86690 WITH SCORE 86787.691
AT ITER 1766 NEW BEST:: SOT 307503 SOS 97836 HAS SOPS 97836 HAS SOUS 86645 HAS SOUPS 86645 WITH SCORE 86742.836
AT ITER 1775 NEW BEST:: SOT 307363 SOS 97567 HAS SOPS 97567 HAS SOUS 86376 HAS SOUPS 86376 WITH SCORE 86473.567
AT ITER 1777 NEW BEST:: SOT 307365 SOS 97571 HAS SOPS 97571 HAS SOUS 86373 HAS SOUPS 86373 WITH SCORE 86470.571
AT ITER 1788 NEW BEST:: SOT 307301 SOS 97560 HAS SOPS 97560 HAS SOUS 86362 HAS SOUPS 86362 WITH SCORE 86459.56
AT ITER 1803 NEW BEST:: SOT 307301 SOS 97543 HAS SOPS 97543 HAS SOUS 86345 HAS SOUPS 86345 WITH SCORE 86442.543
AT ITER 1812 NEW BEST:: SOT 307392 SOS 97476 HAS SOPS 97476 HAS SOUS 86278 HAS SOUPS 86278 WITH SCORE 86375.476
AT ITER 1816 NEW BEST:: SOT 307412 SOS 97308 HAS SOPS 97308 HAS SOUS 86277 HAS SOUPS 86277 WITH SCORE 86374.308
AT ITER 1820 NEW BEST:: SOT 307404 SOS 97288 HAS SOPS 97288 HAS SOUS 86257 HAS SOUPS 86257 WITH SCORE 86354.288
AT ITER 1845 NEW BEST:: SOT 307325 SOS 97130 HAS SOPS 97130 HAS SOUS 86099 HAS SOUPS 86099 WITH SCORE 86196.13
AT ITER 1870 NEW BEST:: SOT 306761 SOS 119860 HAS SOPS 119860 HAS SOUS 85839 HAS SOUPS 85839 WITH SCORE 85958.86
AT ITER 1873 NEW BEST:: SOT 306717 SOS 119816 HAS SOPS 119816 HAS SOUS 85839 HAS SOUPS 85839 WITH SCORE 85958.816
AT ITER 1894 NEW BEST:: SOT 306717 SOS 119764 HAS SOPS 119764 HAS SOUS 85839 HAS SOUPS 85839 WITH SCORE 85958.764
AT ITER 1896 NEW BEST:: SOT 306748 SOS 119795 HAS SOPS 119795 HAS SOUS 85762 HAS SOUPS 85762 WITH SCORE 85881.795
AT ITER 1900 NEW BEST:: SOT 306741 SOS 119781 HAS SOPS 119781 HAS SOUS 85748 HAS SOUPS 85748 WITH SCORE 85867.781
AT ITER 1904 NEW BEST:: SOT 306729 SOS 119757 HAS SOPS 119757 HAS SOUS 85724 HAS SOUPS 85724 WITH SCORE 85843.757
AT ITER 1923 NEW BEST:: SOT 306731 SOS 119630 HAS SOPS 119630 HAS SOUS 85597 HAS SOUPS 85597 WITH SCORE 85716.63
AT ITER 1937 NEW BEST:: SOT 307167 SOS 119585 HAS SOPS 119585 HAS SOUS 85552 HAS SOUPS 85552 WITH SCORE 85671.585
AT ITER 1960 NEW BEST:: SOT 307074 SOS 119491 HAS SOPS 119491 HAS SOUS 85550 HAS SOUPS 85550 WITH SCORE 85669.491
AT ITER 1963 NEW BEST:: SOT 307074 SOS 119452 HAS SOPS 119452 HAS SOUS 85511 HAS SOUPS 85511 WITH SCORE 85630.452
AT ITER 1965 NEW BEST:: SOT 307074 SOS 119451 HAS SOPS 119451 HAS SOUS 85510 HAS SOUPS 85510 WITH SCORE 85629.451
AT ITER 1972 NEW BEST:: SOT 307073 SOS 119449 HAS SOPS 119449 HAS SOUS 85508 HAS SOUPS 85508 WITH SCORE 85627.449
AT ITER 1984 NEW BEST:: SOT 307065 SOS 119433 HAS SOPS 119433 HAS SOUS 85492 HAS SOUPS 85492 WITH SCORE 85611.433
AT ITER 1985 NEW BEST:: SOT 307081 SOS 119353 HAS SOPS 119353 HAS SOUS 85437 HAS SOUPS 85437 WITH SCORE 85556.353
AT ITER 2014 NEW BEST:: SOT 307089 SOS 119145 HAS SOPS 119145 HAS SOUS 85288 HAS SOUPS 85288 WITH SCORE 85407.145
AT ITER 2022 NEW BEST:: SOT 307147 SOS 119200 HAS SOPS 119200 HAS SOUS 85281 HAS SOUPS 85281 WITH SCORE 85400.2
AT ITER 2028 NEW BEST:: SOT 307089 SOS 119142 HAS SOPS 119142 HAS SOUS 85223 HAS SOUPS 85223 WITH SCORE 85342.142
AT ITER 2058 NEW BEST:: SOT 306874 SOS 119026 HAS SOPS 119026 HAS SOUS 85107 HAS SOUPS 85107 WITH SCORE 85226.026
AT ITER 2059 NEW BEST:: SOT 306873 SOS 119025 HAS SOPS 119025 HAS SOUS 85105 HAS SOUPS 85105 WITH SCORE 85224.025
AT ITER 2070 NEW BEST:: SOT 306857 SOS 119012 HAS SOPS 119012 HAS SOUS 85092 HAS SOUPS 85092 WITH SCORE 85211.012
AT ITER 2074 NEW BEST:: SOT 306826 SOS 118950 HAS SOPS 118950 HAS SOUS 85061 HAS SOUPS 85061 WITH SCORE 85179.95
AT ITER 2097 NEW BEST:: SOT 306869 SOS 118896 HAS SOPS 118896 HAS SOUS 85037 HAS SOUPS 85037 WITH SCORE 85155.896
AT ITER 2098 NEW BEST:: SOT 306868 SOS 118801 HAS SOPS 118801 HAS SOUS 84942 HAS SOUPS 84942 WITH SCORE 85060.801
AT ITER 2105 NEW BEST:: SOT 306618 SOS 118551 HAS SOPS 118551 HAS SOUS 84913 HAS SOUPS 84913 WITH SCORE 85031.551
AT ITER 2109 NEW BEST:: SOT 306643 SOS 118249 HAS SOPS 118249 HAS SOUS 84731 HAS SOUPS 84731 WITH SCORE 84849.249
AT ITER 2112 NEW BEST:: SOT 306595 SOS 118039 HAS SOPS 118039 HAS SOUS 84703 HAS SOUPS 84703 WITH SCORE 84821.039
AT ITER 2116 NEW BEST:: SOT 305689 SOS 120136 HAS SOPS 120136 HAS SOUS 84197 HAS SOUPS 84197 WITH SCORE 84317.136
AT ITER 2121 NEW BEST:: SOT 305569 SOS 120026 HAS SOPS 120026 HAS SOUS 84054 HAS SOUPS 84054 WITH SCORE 84174.026
AT ITER 2143 NEW BEST:: SOT 305548 SOS 120013 HAS SOPS 120013 HAS SOUS 84041 HAS SOUPS 84041 WITH SCORE 84161.013
AT ITER 2144 NEW BEST:: SOT 305546 SOS 120007 HAS SOPS 120007 HAS SOUS 84035 HAS SOUPS 84035 WITH SCORE 84155.007
AT ITER 2145 NEW BEST:: SOT 305412 SOS 119739 HAS SOPS 119739 HAS SOUS 83984 HAS SOUPS 83984 WITH SCORE 84103.739
AT ITER 2146 NEW BEST:: SOT 305361 SOS 119709 HAS SOPS 119709 HAS SOUS 83950 HAS SOUPS 83950 WITH SCORE 84069.709
AT ITER 2154 NEW BEST:: SOT 305160 SOS 119507 HAS SOPS 119507 HAS SOUS 83948 HAS SOUPS 83948 WITH SCORE 84067.507
AT ITER 2178 NEW BEST:: SOT 305003 SOS 119274 HAS SOPS 119274 HAS SOUS 83796 HAS SOUPS 83796 WITH SCORE 83915.274
AT ITER 2179 NEW BEST:: SOT 305003 SOS 119222 HAS SOPS 119222 HAS SOUS 83796 HAS SOUPS 83796 WITH SCORE 83915.222
AT ITER 2183 NEW BEST:: SOT 305003 SOS 119217 HAS SOPS 119217 HAS SOUS 83791 HAS SOUPS 83791 WITH SCORE 83910.217
AT ITER 2185 NEW BEST:: SOT 304979 SOS 119193 HAS SOPS 119193 HAS SOUS 83767 HAS SOUPS 83767 WITH SCORE 83886.193
AT ITER 2187 NEW BEST:: SOT 304961 SOS 119175 HAS SOPS 119175 HAS SOUS 83731 HAS SOUPS 83731 WITH SCORE 83850.175
AT ITER 2191 NEW BEST:: SOT 304669 SOS 118879 HAS SOPS 118879 HAS SOUS 83435 HAS SOUPS 83435 WITH SCORE 83553.879
AT ITER 2194 NEW BEST:: SOT 304583 SOS 116613 HAS SOPS 116613 HAS SOUS 83405 HAS SOUPS 83405 WITH SCORE 83521.613
AT ITER 2199 NEW BEST:: SOT 304589 SOS 116625 HAS SOPS 116625 HAS SOUS 83277 HAS SOUPS 83277 WITH SCORE 83393.625
AT ITER 2217 NEW BEST:: SOT 304538 SOS 116574 HAS SOPS 116574 HAS SOUS 83226 HAS SOUPS 83226 WITH SCORE 83342.574
AT ITER 2218 NEW BEST:: SOT 304538 SOS 116437 HAS SOPS 116437 HAS SOUS 83089 HAS SOUPS 83089 WITH SCORE 83205.437
AT ITER 2230 NEW BEST:: SOT 304519 SOS 116411 HAS SOPS 116411 HAS SOUS 83059 HAS SOUPS 83059 WITH SCORE 83175.411
AT ITER 2244 NEW BEST:: SOT 304489 SOS 116349 HAS SOPS 116349 HAS SOUS 82972 HAS SOUPS 82972 WITH SCORE 83088.349
AT ITER 2260 NEW BEST:: SOT 304475 SOS 116335 HAS SOPS 116335 HAS SOUS 82958 HAS SOUPS 82958 WITH SCORE 83074.335
AT ITER 2270 NEW BEST:: SOT 304449 SOS 116283 HAS SOPS 116283 HAS SOUS 82906 HAS SOUPS 82906 WITH SCORE 83022.283
AT ITER 2271 NEW BEST:: SOT 304449 SOS 116283 HAS SOPS 116283 HAS SOUS 82875 HAS SOUPS 82875 WITH SCORE 82991.283
AT ITER 2284 NEW BEST:: SOT 304446 SOS 116277 HAS SOPS 116277 HAS SOUS 82869 HAS SOUPS 82869 WITH SCORE 82985.277
AT ITER 2296 NEW BEST:: SOT 304456 SOS 116222 HAS SOPS 116222 HAS SOUS 82612 HAS SOUPS 82612 WITH SCORE 82728.222
AT ITER 2299 NEW BEST:: SOT 304616 SOS 115713 HAS SOPS 115713 HAS SOUS 82296 HAS SOUPS 82296 WITH SCORE 82411.713
AT ITER 2301 NEW BEST:: SOT 304635 SOS 115642 HAS SOPS 115642 HAS SOUS 82242 HAS SOUPS 82242 WITH SCORE 82357.642
AT ITER 2327 NEW BEST:: SOT 304516 SOS 115523 HAS SOPS 115523 HAS SOUS 82123 HAS SOUPS 82123 WITH SCORE 82238.523
AT ITER 2335 NEW BEST:: SOT 304359 SOS 115474 HAS SOPS 115474 HAS SOUS 82074 HAS SOUPS 82074 WITH SCORE 82189.474
AT ITER 2343 NEW BEST:: SOT 304314 SOS 115502 HAS SOPS 115502 HAS SOUS 82051 HAS SOUPS 82051 WITH SCORE 82166.502
AT ITER 2376 NEW BEST:: SOT 304310 SOS 115498 HAS SOPS 115498 HAS SOUS 82047 HAS SOUPS 82047 WITH SCORE 82162.498
AT ITER 2398 NEW BEST:: SOT 304415 SOS 115603 HAS SOPS 115603 HAS SOUS 82035 HAS SOUPS 82035 WITH SCORE 82150.603
AT ITER 2409 NEW BEST:: SOT 304363 SOS 115528 HAS SOPS 115528 HAS SOUS 81960 HAS SOUPS 81960 WITH SCORE 82075.528
AT ITER 2413 NEW BEST:: SOT 304325 SOS 115478 HAS SOPS 115478 HAS SOUS 81910 HAS SOUPS 81910 WITH SCORE 82025.478
AT ITER 2415 NEW BEST:: SOT 304211 SOS 115307 HAS SOPS 115307 HAS SOUS 81739 HAS SOUPS 81739 WITH SCORE 81854.307
AT ITER 2421 NEW BEST:: SOT 304211 SOS 115274 HAS SOPS 115274 HAS SOUS 81706 HAS SOUPS 81706 WITH SCORE 81821.274
AT ITER 2443 NEW BEST:: SOT 304468 SOS 115531 HAS SOPS 115531 HAS SOUS 81705 HAS SOUPS 81705 WITH SCORE 81820.531
AT ITER 2449 NEW BEST:: SOT 304466 SOS 115527 HAS SOPS 115527 HAS SOUS 81701 HAS SOUPS 81701 WITH SCORE 81816.527
AT ITER 2450 NEW BEST:: SOT 304329 SOS 115390 HAS SOPS 115390 HAS SOUS 81701 HAS SOUPS 81701 WITH SCORE 81816.39
AT ITER 2469 NEW BEST:: SOT 304299 SOS 115355 HAS SOPS 115355 HAS SOUS 81666 HAS SOUPS 81666 WITH SCORE 81781.355
AT ITER 2474 NEW BEST:: SOT 304342 SOS 115213 HAS SOPS 115213 HAS SOUS 81643 HAS SOUPS 81643 WITH SCORE 81758.213
AT ITER 2489 NEW BEST:: SOT 304296 SOS 115121 HAS SOPS 115121 HAS SOUS 81551 HAS SOUPS 81551 WITH SCORE 81666.121
AT ITER 2490 NEW BEST:: SOT 304261 SOS 115041 HAS SOPS 115041 HAS SOUS 81471 HAS SOUPS 81471 WITH SCORE 81586.041
AT ITER 2515 NEW BEST:: SOT 304235 SOS 114989 HAS SOPS 114989 HAS SOUS 81419 HAS SOUPS 81419 WITH SCORE 81533.989
AT ITER 2531 NEW BEST:: SOT 304219 SOS 114973 HAS SOPS 114973 HAS SOUS 81403 HAS SOUPS 81403 WITH SCORE 81517.973
AT ITER 2565 NEW BEST:: SOT 304191 SOS 114917 HAS SOPS 114917 HAS SOUS 81359 HAS SOUPS 81359 WITH SCORE 81473.917
AT ITER 2570 NEW BEST:: SOT 304153 SOS 114824 HAS SOPS 114824 HAS SOUS 81266 HAS SOUPS 81266 WITH SCORE 81380.824
AT ITER 2590 NEW BEST:: SOT 304135 SOS 114806 HAS SOPS 114806 HAS SOUS 81248 HAS SOUPS 81248 WITH SCORE 81362.806
AT ITER 2595 NEW BEST:: SOT 304124 SOS 114784 HAS SOPS 114784 HAS SOUS 81226 HAS SOUPS 81226 WITH SCORE 81340.784
AT ITER 2597 NEW BEST:: SOT 304124 SOS 114784 HAS SOPS 114784 HAS SOUS 81205 HAS SOUPS 81205 WITH SCORE 81319.784
AT ITER 2602 NEW BEST:: SOT 304106 SOS 114775 HAS SOPS 114775 HAS SOUS 81196 HAS SOUPS 81196 WITH SCORE 81310.775
AT ITER 2621 NEW BEST:: SOT 303955 SOS 114565 HAS SOPS 114565 HAS SOUS 81078 HAS SOUPS 81078 WITH SCORE 81192.565
AT ITER 2626 NEW BEST:: SOT 303926 SOS 114538 HAS SOPS 114538 HAS SOUS 81049 HAS SOUPS 81049 WITH SCORE 81163.538
AT ITER 2630 NEW BEST:: SOT 303895 SOS 114181 HAS SOPS 114181 HAS SOUS 80864 HAS SOUPS 80864 WITH SCORE 80978.181
AT ITER 2636 NEW BEST:: SOT 303869 SOS 114056 HAS SOPS 114056 HAS SOUS 80739 HAS SOUPS 80739 WITH SCORE 80853.056
AT ITER 2639 NEW BEST:: SOT 303869 SOS 114055 HAS SOPS 114055 HAS SOUS 80738 HAS SOUPS 80738 WITH SCORE 80852.055
AT ITER 2655 NEW BEST:: SOT 303869 SOS 113914 HAS SOPS 113914 HAS SOUS 80597 HAS SOUPS 80597 WITH SCORE 80710.914
AT ITER 2660 NEW BEST:: SOT 303561 SOS 113975 HAS SOPS 113975 HAS SOUS 80323 HAS SOUPS 80323 WITH SCORE 80436.975
AT ITER 2666 NEW BEST:: SOT 303698 SOS 113449 HAS SOPS 113449 HAS SOUS 79959 HAS SOUPS 79959 WITH SCORE 80072.449
AT ITER 2676 NEW BEST:: SOT 303658 SOS 113409 HAS SOPS 113409 HAS SOUS 79919 HAS SOUPS 79919 WITH SCORE 80032.409
AT ITER 2685 NEW BEST:: SOT 303665 SOS 113572 HAS SOPS 113572 HAS SOUS 79879 HAS SOUPS 79879 WITH SCORE 79992.572
AT ITER 2687 NEW BEST:: SOT 303578 SOS 113398 HAS SOPS 113398 HAS SOUS 79705 HAS SOUPS 79705 WITH SCORE 79818.398
AT ITER 2696 NEW BEST:: SOT 303538 SOS 113402 HAS SOPS 113402 HAS SOUS 79646 HAS SOUPS 79646 WITH SCORE 79759.402
AT ITER 2701 NEW BEST:: SOT 303463 SOS 113365 HAS SOPS 113365 HAS SOUS 79609 HAS SOUPS 79609 WITH SCORE 79722.365
AT ITER 2707 NEW BEST:: SOT 303373 SOS 112866 HAS SOPS 112866 HAS SOUS 79306 HAS SOUPS 79306 WITH SCORE 79418.866
AT ITER 2722 NEW BEST:: SOT 303369 SOS 112861 HAS SOPS 112861 HAS SOUS 79301 HAS SOUPS 79301 WITH SCORE 79413.861
AT ITER 2735 NEW BEST:: SOT 303321 SOS 112810 HAS SOPS 112810 HAS SOUS 79295 HAS SOUPS 79295 WITH SCORE 79407.81
AT ITER 2741 NEW BEST:: SOT 303321 SOS 112810 HAS SOPS 112810 HAS SOUS 79279 HAS SOUPS 79279 WITH SCORE 79391.81
AT ITER 2760 NEW BEST:: SOT 303321 SOS 112808 HAS SOPS 112808 HAS SOUS 79277 HAS SOUPS 79277 WITH SCORE 79389.808
AT ITER 2764 NEW BEST:: SOT 303058 SOS 112283 HAS SOPS 112283 HAS SOUS 78983 HAS SOUPS 78983 WITH SCORE 79095.283
AT ITER 2786 NEW BEST:: SOT 303382 SOS 112586 HAS SOPS 112586 HAS SOUS 78941 HAS SOUPS 78941 WITH SCORE 79053.586
AT ITER 2787 NEW BEST:: SOT 303032 SOS 112248 HAS SOPS 112248 HAS SOUS 78939 HAS SOUPS 78939 WITH SCORE 79051.248
AT ITER 2807 NEW BEST:: SOT 303028 SOS 112246 HAS SOPS 112246 HAS SOUS 78937 HAS SOUPS 78937 WITH SCORE 79049.246
AT ITER 2821 NEW BEST:: SOT 302929 SOS 112091 HAS SOPS 112091 HAS SOUS 78782 HAS SOUPS 78782 WITH SCORE 78894.091
AT ITER 2859 NEW BEST:: SOT 302902 SOS 112064 HAS SOPS 112064 HAS SOUS 78755 HAS SOUPS 78755 WITH SCORE 78867.064
AT ITER 2860 NEW BEST:: SOT 302882 SOS 112024 HAS SOPS 112024 HAS SOUS 78735 HAS SOUPS 78735 WITH SCORE 78847.024
AT ITER 2864 NEW BEST:: SOT 302941 SOS 112011 HAS SOPS 112011 HAS SOUS 78722 HAS SOUPS 78722 WITH SCORE 78834.011
AT ITER 2872 NEW BEST:: SOT 302955 SOS 101409 HAS SOPS 101409 HAS SOUS 78711 HAS SOUPS 78711 WITH SCORE 78812.409
AT ITER 2904 NEW BEST:: SOT 303005 SOS 101387 HAS SOPS 101387 HAS SOUS 78689 HAS SOUPS 78689 WITH SCORE 78790.387
AT ITER 2920 NEW BEST:: SOT 302713 SOS 101095 HAS SOPS 101095 HAS SOUS 78689 HAS SOUPS 78689 WITH SCORE 78790.095
AT ITER 2932 NEW BEST:: SOT 302713 SOS 101095 HAS SOPS 101095 HAS SOUS 78680 HAS SOUPS 78680 WITH SCORE 78781.095
AT ITER 2962 NEW BEST:: SOT 302465 SOS 100790 HAS SOPS 100790 HAS SOUS 78664 HAS SOUPS 78664 WITH SCORE 78764.79
AT ITER 2974 NEW BEST:: SOT 302436 SOS 100760 HAS SOPS 100760 HAS SOUS 78634 HAS SOUPS 78634 WITH SCORE 78734.76
AT ITER 2976 NEW BEST:: SOT 302436 SOS 100759 HAS SOPS 100759 HAS SOUS 78633 HAS SOUPS 78633 WITH SCORE 78733.759
AT ITER 2979 NEW BEST:: SOT 302446 SOS 100779 HAS SOPS 100779 HAS SOUS 78618 HAS SOUPS 78618 WITH SCORE 78718.779
AT ITER 2983 NEW BEST:: SOT 302442 SOS 100775 HAS SOPS 100775 HAS SOUS 78614 HAS SOUPS 78614 WITH SCORE 78714.775
AT ITER 2992 NEW BEST:: SOT 302442 SOS 100745 HAS SOPS 100745 HAS SOUS 78584 HAS SOUPS 78584 WITH SCORE 78684.745
AT ITER 2994 NEW BEST:: SOT 302442 SOS 100735 HAS SOPS 100735 HAS SOUS 78579 HAS SOUPS 78579 WITH SCORE 78679.735
AT ITER 2997 NEW BEST:: SOT 302407 SOS 100700 HAS SOPS 100700 HAS SOUS 78544 HAS SOUPS 78544 WITH SCORE 78644.7
AT ITER 3000 NEW BEST:: SOT 302241 SOS 100534 HAS SOPS 100534 HAS SOUS 78403 HAS SOUPS 78403 WITH SCORE 78503.534
AT ITER 3036 NEW BEST:: SOT 302307 SOS 100652 HAS SOPS 100652 HAS SOUS 78345 HAS SOUPS 78345 WITH SCORE 78445.652
AT ITER 3044 NEW BEST:: SOT 302307 SOS 100624 HAS SOPS 100624 HAS SOUS 78345 HAS SOUPS 78345 WITH SCORE 78445.624
AT ITER 3052 NEW BEST:: SOT 302292 SOS 100594 HAS SOPS 100594 HAS SOUS 78315 HAS SOUPS 78315 WITH SCORE 78415.594
AT ITER 3069 NEW BEST:: SOT 302251 SOS 100543 HAS SOPS 100543 HAS SOUS 78259 HAS SOUPS 78259 WITH SCORE 78359.543
AT ITER 3076 NEW BEST:: SOT 302323 SOS 100434 HAS SOPS 100434 HAS SOUS 78150 HAS SOUPS 78150 WITH SCORE 78250.434
AT ITER 3094 NEW BEST:: SOT 302320 SOS 100433 HAS SOPS 100433 HAS SOUS 78149 HAS SOUPS 78149 WITH SCORE 78249.433
AT ITER 3101 NEW BEST:: SOT 302314 SOS 100421 HAS SOPS 100421 HAS SOUS 78137 HAS SOUPS 78137 WITH SCORE 78237.421
AT ITER 3123 NEW BEST:: SOT 302224 SOS 100331 HAS SOPS 100331 HAS SOUS 78047 HAS SOUPS 78047 WITH SCORE 78147.331
AT ITER 3125 NEW BEST:: SOT 302224 SOS 100327 HAS SOPS 100327 HAS SOUS 78047 HAS SOUPS 78047 WITH SCORE 78147.327
AT ITER 3131 NEW BEST:: SOT 302182 SOS 100310 HAS SOPS 100310 HAS SOUS 78030 HAS SOUPS 78030 WITH SCORE 78130.31
AT ITER 3192 NEW BEST:: SOT 302100 SOS 100089 HAS SOPS 100089 HAS SOUS 77891 HAS SOUPS 77891 WITH SCORE 77991.089
AT ITER 3212 NEW BEST:: SOT 302070 SOS 99999 HAS SOPS 99999 HAS SOUS 77801 HAS SOUPS 77801 WITH SCORE 77900.999
AT ITER 3214 NEW BEST:: SOT 302009 SOS 99939 HAS SOPS 99939 HAS SOUS 77797 HAS SOUPS 77797 WITH SCORE 77896.939
AT ITER 3228 NEW BEST:: SOT 301878 SOS 99817 HAS SOPS 99817 HAS SOUS 77675 HAS SOUPS 77675 WITH SCORE 77774.817
AT ITER 3236 NEW BEST:: SOT 301852 SOS 99765 HAS SOPS 99765 HAS SOUS 77649 HAS SOUPS 77649 WITH SCORE 77748.765
AT ITER 3257 NEW BEST:: SOT 301865 SOS 99681 HAS SOPS 99681 HAS SOUS 77570 HAS SOUPS 77570 WITH SCORE 77669.681
AT ITER 3258 NEW BEST:: SOT 301865 SOS 99540 HAS SOPS 99540 HAS SOUS 77533 HAS SOUPS 77533 WITH SCORE 77632.54
AT ITER 3327 NEW BEST:: SOT 301821 SOS 99484 HAS SOPS 99484 HAS SOUS 77509 HAS SOUPS 77509 WITH SCORE 77608.484
AT ITER 3355 NEW BEST:: SOT 301814 SOS 99515 HAS SOPS 99515 HAS SOUS 77495 HAS SOUPS 77495 WITH SCORE 77594.515
AT ITER 3357 NEW BEST:: SOT 301803 SOS 99492 HAS SOPS 99492 HAS SOUS 77472 HAS SOUPS 77472 WITH SCORE 77571.492
AT ITER 3382 NEW BEST:: SOT 301833 SOS 99473 HAS SOPS 99473 HAS SOUS 77453 HAS SOUPS 77453 WITH SCORE 77552.473
AT ITER 3386 NEW BEST:: SOT 301813 SOS 99453 HAS SOPS 99453 HAS SOUS 77433 HAS SOUPS 77433 WITH SCORE 77532.453
AT ITER 3395 NEW BEST:: SOT 301822 SOS 99462 HAS SOPS 99462 HAS SOUS 77345 HAS SOUPS 77345 WITH SCORE 77444.462
AT ITER 3403 NEW BEST:: SOT 301809 SOS 99449 HAS SOPS 99449 HAS SOUS 77332 HAS SOUPS 77332 WITH SCORE 77431.449
AT ITER 3418 NEW BEST:: SOT 301711 SOS 99253 HAS SOPS 99253 HAS SOUS 77204 HAS SOUPS 77204 WITH SCORE 77303.253
AT ITER 3439 NEW BEST:: SOT 301635 SOS 99174 HAS SOPS 99174 HAS SOUS 77090 HAS SOUPS 77090 WITH SCORE 77189.174
AT ITER 3466 NEW BEST:: SOT 301612 SOS 99160 HAS SOPS 99160 HAS SOUS 77076 HAS SOUPS 77076 WITH SCORE 77175.16
AT ITER 3469 NEW BEST:: SOT 301612 SOS 99152 HAS SOPS 99152 HAS SOUS 77060 HAS SOUPS 77060 WITH SCORE 77159.152
AT ITER 3487 NEW BEST:: SOT 301581 SOS 99090 HAS SOPS 99090 HAS SOUS 77033 HAS SOUPS 77033 WITH SCORE 77132.09
AT ITER 3504 NEW BEST:: SOT 301567 SOS 99062 HAS SOPS 99062 HAS SOUS 76963 HAS SOUPS 76963 WITH SCORE 77062.062
AT ITER 3507 NEW BEST:: SOT 301503 SOS 98934 HAS SOPS 98934 HAS SOUS 76835 HAS SOUPS 76835 WITH SCORE 76933.934
AT ITER 3509 NEW BEST:: SOT 301467 SOS 98933 HAS SOPS 98933 HAS SOUS 76825 HAS SOUPS 76825 WITH SCORE 76923.933
AT ITER 3525 NEW BEST:: SOT 301291 SOS 98737 HAS SOPS 98737 HAS SOUS 76629 HAS SOUPS 76629 WITH SCORE 76727.737
AT ITER 3529 NEW BEST:: SOT 301227 SOS 98609 HAS SOPS 98609 HAS SOUS 76501 HAS SOUPS 76501 WITH SCORE 76599.609
AT ITER 3536 NEW BEST:: SOT 301227 SOS 98576 HAS SOPS 98576 HAS SOUS 76468 HAS SOUPS 76468 WITH SCORE 76566.576
AT ITER 3543 NEW BEST:: SOT 301361 SOS 98663 HAS SOPS 98663 HAS SOUS 76374 HAS SOUPS 76374 WITH SCORE 76472.663
AT ITER 3569 NEW BEST:: SOT 301351 SOS 98648 HAS SOPS 98648 HAS SOUS 76359 HAS SOUPS 76359 WITH SCORE 76457.648
AT ITER 3589 NEW BEST:: SOT 301345 SOS 98642 HAS SOPS 98642 HAS SOUS 76353 HAS SOUPS 76353 WITH SCORE 76451.642
AT ITER 3608 NEW BEST:: SOT 301337 SOS 98621 HAS SOPS 98621 HAS SOUS 76332 HAS SOUPS 76332 WITH SCORE 76430.621
AT ITER 3630 NEW BEST:: SOT 301366 SOS 98553 HAS SOPS 98553 HAS SOUS 76264 HAS SOUPS 76264 WITH SCORE 76362.553
AT ITER 3673 NEW BEST:: SOT 301217 SOS 98404 HAS SOPS 98404 HAS SOUS 76211 HAS SOUPS 76211 WITH SCORE 76309.404
AT ITER 3679 NEW BEST:: SOT 301315 SOS 98351 HAS SOPS 98351 HAS SOUS 76158 HAS SOUPS 76158 WITH SCORE 76256.351
AT ITER 3684 NEW BEST:: SOT 301278 SOS 98314 HAS SOPS 98314 HAS SOUS 76158 HAS SOUPS 76158 WITH SCORE 76256.314
AT ITER 3697 NEW BEST:: SOT 301275 SOS 98308 HAS SOPS 98308 HAS SOUS 76152 HAS SOUPS 76152 WITH SCORE 76250.308
AT ITER 3710 NEW BEST:: SOT 301190 SOS 98053 HAS SOPS 98053 HAS SOUS 75982 HAS SOUPS 75982 WITH SCORE 76080.053
AT ITER 3715 NEW BEST:: SOT 301133 SOS 97989 HAS SOPS 97989 HAS SOUS 75918 HAS SOUPS 75918 WITH SCORE 76015.989
AT ITER 3732 NEW BEST:: SOT 301053 SOS 97887 HAS SOPS 97887 HAS SOUS 75879 HAS SOUPS 75879 WITH SCORE 75976.887
AT ITER 3740 NEW BEST:: SOT 301042 SOS 97876 HAS SOPS 97876 HAS SOUS 75868 HAS SOUPS 75868 WITH SCORE 75965.876
AT ITER 3755 NEW BEST:: SOT 300816 SOS 97424 HAS SOPS 97424 HAS SOUS 75845 HAS SOUPS 75845 WITH SCORE 75942.424
AT ITER 3794 NEW BEST:: SOT 300782 SOS 97362 HAS SOPS 97362 HAS SOUS 75800 HAS SOUPS 75800 WITH SCORE 75897.362
AT ITER 3804 NEW BEST:: SOT 300576 SOS 97053 HAS SOPS 97053 HAS SOUS 75594 HAS SOUPS 75594 WITH SCORE 75691.053
AT ITER 3808 NEW BEST:: SOT 300480 SOS 96929 HAS SOPS 96929 HAS SOUS 75538 HAS SOUPS 75538 WITH SCORE 75634.929
AT ITER 3819 NEW BEST:: SOT 300049 SOS 96715 HAS SOPS 96715 HAS SOUS 75324 HAS SOUPS 75324 WITH SCORE 75420.715
AT ITER 3839 NEW BEST:: SOT 300248 SOS 96782 HAS SOPS 96782 HAS SOUS 75061 HAS SOUPS 75061 WITH SCORE 75157.782
AT ITER 3877 NEW BEST:: SOT 300248 SOS 96775 HAS SOPS 96775 HAS SOUS 75054 HAS SOUPS 75054 WITH SCORE 75150.775
AT ITER 3901 NEW BEST:: SOT 300227 SOS 96754 HAS SOPS 96754 HAS SOUS 75033 HAS SOUPS 75033 WITH SCORE 75129.754
AT ITER 3913 NEW BEST:: SOT 300207 SOS 96734 HAS SOPS 96734 HAS SOUS 75013 HAS SOUPS 75013 WITH SCORE 75109.734
AT ITER 3917 NEW BEST:: SOT 300207 SOS 96719 HAS SOPS 96719 HAS SOUS 74998 HAS SOUPS 74998 WITH SCORE 75094.719
AT ITER 3923 NEW BEST:: SOT 300024 SOS 96353 HAS SOPS 96353 HAS SOUS 74976 HAS SOUPS 74976 WITH SCORE 75072.353
AT ITER 3936 NEW BEST:: SOT 299946 SOS 96197 HAS SOPS 96197 HAS SOUS 74820 HAS SOUPS 74820 WITH SCORE 74916.197
AT ITER 3951 NEW BEST:: SOT 299908 SOS 96121 HAS SOPS 96121 HAS SOUS 74744 HAS SOUPS 74744 WITH SCORE 74840.121
AT ITER 3956 NEW BEST:: SOT 299880 SOS 96093 HAS SOPS 96093 HAS SOUS 74716 HAS SOUPS 74716 WITH SCORE 74812.093
AT ITER 3981 NEW BEST:: SOT 299889 SOS 95993 HAS SOPS 95993 HAS SOUS 74616 HAS SOUPS 74616 WITH SCORE 74711.993
AT ITER 3988 NEW BEST:: SOT 299907 SOS 96011 HAS SOPS 96011 HAS SOUS 74603 HAS SOUPS 74603 WITH SCORE 74699.011
AT ITER 4011 NEW BEST:: SOT 299901 SOS 95957 HAS SOPS 95957 HAS SOUS 74549 HAS SOUPS 74549 WITH SCORE 74644.957
AT ITER 4013 NEW BEST:: SOT 299863 SOS 95924 HAS SOPS 95924 HAS SOUS 74516 HAS SOUPS 74516 WITH SCORE 74611.924
AT ITER 4031 NEW BEST:: SOT 299863 SOS 95888 HAS SOPS 95888 HAS SOUS 74516 HAS SOUPS 74516 WITH SCORE 74611.888
AT ITER 4033 NEW BEST:: SOT 299940 SOS 95949 HAS SOPS 95949 HAS SOUS 74484 HAS SOUPS 74484 WITH SCORE 74579.949
AT ITER 4041 NEW BEST:: SOT 299889 SOS 95897 HAS SOPS 95897 HAS SOUS 74482 HAS SOUPS 74482 WITH SCORE 74577.897
AT ITER 4079 NEW BEST:: SOT 299853 SOS 95823 HAS SOPS 95823 HAS SOUS 74427 HAS SOUPS 74427 WITH SCORE 74522.823
AT ITER 4082 NEW BEST:: SOT 299822 SOS 95797 HAS SOPS 95797 HAS SOUS 74422 HAS SOUPS 74422 WITH SCORE 74517.797
AT ITER 4092 NEW BEST:: SOT 299805 SOS 95823 HAS SOPS 95823 HAS SOUS 74383 HAS SOUPS 74383 WITH SCORE 74478.823
AT ITER 4097 NEW BEST:: SOT 299790 SOS 95761 HAS SOPS 95761 HAS SOUS 74321 HAS SOUPS 74321 WITH SCORE 74416.761
AT ITER 4106 NEW BEST:: SOT 299774 SOS 95745 HAS SOPS 95745 HAS SOUS 74305 HAS SOUPS 74305 WITH SCORE 74400.745
AT ITER 4135 NEW BEST:: SOT 299694 SOS 95670 HAS SOPS 95670 HAS SOUS 74294 HAS SOUPS 74294 WITH SCORE 74389.67
AT ITER 4189 NEW BEST:: SOT 299483 SOS 95248 HAS SOPS 95248 HAS SOUS 73980 HAS SOUPS 73980 WITH SCORE 74075.248
AT ITER 4200 NEW BEST:: SOT 299449 SOS 95180 HAS SOPS 95180 HAS SOUS 73946 HAS SOUPS 73946 WITH SCORE 74041.18
AT ITER 4259 NEW BEST:: SOT 299587 SOS 95113 HAS SOPS 95113 HAS SOUS 73879 HAS SOUPS 73879 WITH SCORE 73974.113
AT ITER 4263 NEW BEST:: SOT 299560 SOS 95071 HAS SOPS 95071 HAS SOUS 73837 HAS SOUPS 73837 WITH SCORE 73932.071
AT ITER 4265 NEW BEST:: SOT 299503 SOS 95033 HAS SOPS 95033 HAS SOUS 73780 HAS SOUPS 73780 WITH SCORE 73875.033
AT ITER 4277 NEW BEST:: SOT 299503 SOS 95032 HAS SOPS 95032 HAS SOUS 73779 HAS SOUPS 73779 WITH SCORE 73874.032
AT ITER 4291 NEW BEST:: SOT 299362 SOS 94837 HAS SOPS 94837 HAS SOUS 73671 HAS SOUPS 73671 WITH SCORE 73765.837
AT ITER 4298 NEW BEST:: SOT 299317 SOS 94775 HAS SOPS 94775 HAS SOUS 73609 HAS SOUPS 73609 WITH SCORE 73703.775
AT ITER 4309 NEW BEST:: SOT 299229 SOS 94687 HAS SOPS 94687 HAS SOUS 73521 HAS SOUPS 73521 WITH SCORE 73615.687
AT ITER 4312 NEW BEST:: SOT 299357 SOS 94685 HAS SOPS 94685 HAS SOUS 73519 HAS SOUPS 73519 WITH SCORE 73613.685
AT ITER 4346 NEW BEST:: SOT 299246 SOS 94425 HAS SOPS 94425 HAS SOUS 73457 HAS SOUPS 73457 WITH SCORE 73551.425
AT ITER 4357 NEW BEST:: SOT 299161 SOS 94297 HAS SOPS 94297 HAS SOUS 73329 HAS SOUPS 73329 WITH SCORE 73423.297
AT ITER 4359 NEW BEST:: SOT 299161 SOS 94281 HAS SOPS 94281 HAS SOUS 73329 HAS SOUPS 73329 WITH SCORE 73423.281
AT ITER 4367 NEW BEST:: SOT 299108 SOS 94212 HAS SOPS 94212 HAS SOUS 73276 HAS SOUPS 73276 WITH SCORE 73370.212
AT ITER 4406 NEW BEST:: SOT 299108 SOS 94168 HAS SOPS 94168 HAS SOUS 73232 HAS SOUPS 73232 WITH SCORE 73326.168
AT ITER 4425 NEW BEST:: SOT 298902 SOS 93787 HAS SOPS 93787 HAS SOUS 72851 HAS SOUPS 72851 WITH SCORE 72944.787
AT ITER 4427 NEW BEST:: SOT 298339 SOS 93355 HAS SOPS 93355 HAS SOUS 72661 HAS SOUPS 72661 WITH SCORE 72754.355
AT ITER 4432 NEW BEST:: SOT 298084 SOS 93284 HAS SOPS 93284 HAS SOUS 72590 HAS SOUPS 72590 WITH SCORE 72683.284
AT ITER 4461 NEW BEST:: SOT 298032 SOS 93232 HAS SOPS 93232 HAS SOUS 72538 HAS SOUPS 72538 WITH SCORE 72631.232
AT ITER 4465 NEW BEST:: SOT 298030 SOS 93228 HAS SOPS 93228 HAS SOUS 72534 HAS SOUPS 72534 WITH SCORE 72627.228
AT ITER 4466 NEW BEST:: SOT 298030 SOS 93191 HAS SOPS 93191 HAS SOUS 72497 HAS SOUPS 72497 WITH SCORE 72590.191
AT ITER 4476 NEW BEST:: SOT 298010 SOS 93180 HAS SOPS 93180 HAS SOUS 72449 HAS SOUPS 72449 WITH SCORE 72542.18
AT ITER 4492 NEW BEST:: SOT 298013 SOS 93179 HAS SOPS 93179 HAS SOUS 72448 HAS SOUPS 72448 WITH SCORE 72541.179
AT ITER 4503 NEW BEST:: SOT 298005 SOS 93177 HAS SOPS 93177 HAS SOUS 72446 HAS SOUPS 72446 WITH SCORE 72539.177
AT ITER 4504 NEW BEST:: SOT 298362 SOS 93304 HAS SOPS 93304 HAS SOUS 72418 HAS SOUPS 72418 WITH SCORE 72511.304
AT ITER 4512 NEW BEST:: SOT 298287 SOS 93154 HAS SOPS 93154 HAS SOUS 72268 HAS SOUPS 72268 WITH SCORE 72361.154
AT ITER 4514 NEW BEST:: SOT 298265 SOS 93146 HAS SOPS 93146 HAS SOUS 72260 HAS SOUPS 72260 WITH SCORE 72353.146
AT ITER 4516 NEW BEST:: SOT 298219 SOS 93077 HAS SOPS 93077 HAS SOUS 72214 HAS SOUPS 72214 WITH SCORE 72307.077
AT ITER 4523 NEW BEST:: SOT 298051 SOS 92841 HAS SOPS 92841 HAS SOUS 71978 HAS SOUPS 71978 WITH SCORE 72070.841
AT ITER 4526 NEW BEST:: SOT 298020 SOS 92800 HAS SOPS 92800 HAS SOUS 71968 HAS SOUPS 71968 WITH SCORE 72060.8
AT ITER 4528 NEW BEST:: SOT 298012 SOS 92784 HAS SOPS 92784 HAS SOUS 71960 HAS SOUPS 71960 WITH SCORE 72052.784
AT ITER 4539 NEW BEST:: SOT 297975 SOS 92747 HAS SOPS 92747 HAS SOUS 71960 HAS SOUPS 71960 WITH SCORE 72052.747
AT ITER 4550 NEW BEST:: SOT 297822 SOS 92595 HAS SOPS 92595 HAS SOUS 71808 HAS SOUPS 71808 WITH SCORE 71900.595
AT ITER 4562 NEW BEST:: SOT 297796 SOS 92624 HAS SOPS 92624 HAS SOUS 71756 HAS SOUPS 71756 WITH SCORE 71848.624
AT ITER 4574 NEW BEST:: SOT 297607 SOS 92335 HAS SOPS 92335 HAS SOUS 71641 HAS SOUPS 71641 WITH SCORE 71733.335
AT ITER 4576 NEW BEST:: SOT 297482 SOS 92098 HAS SOPS 92098 HAS SOUS 71526 HAS SOUPS 71526 WITH SCORE 71618.098
AT ITER 4597 NEW BEST:: SOT 297501 SOS 92072 HAS SOPS 92072 HAS SOUS 71500 HAS SOUPS 71500 WITH SCORE 71592.072
AT ITER 4636 NEW BEST:: SOT 297444 SOS 92015 HAS SOPS 92015 HAS SOUS 71443 HAS SOUPS 71443 WITH SCORE 71535.015
AT ITER 4679 NEW BEST:: SOT 297411 SOS 91949 HAS SOPS 91949 HAS SOUS 71377 HAS SOUPS 71377 WITH SCORE 71468.949
AT ITER 4687 NEW BEST:: SOT 297381 SOS 91924 HAS SOPS 91924 HAS SOUS 71352 HAS SOUPS 71352 WITH SCORE 71443.924
AT ITER 4697 NEW BEST:: SOT 297352 SOS 91895 HAS SOPS 91895 HAS SOUS 71352 HAS SOUPS 71352 WITH SCORE 71443.895
AT ITER 4713 NEW BEST:: SOT 297374 SOS 91895 HAS SOPS 91895 HAS SOUS 71330 HAS SOUPS 71330 WITH SCORE 71421.895
AT ITER 4720 NEW BEST:: SOT 297368 SOS 91883 HAS SOPS 91883 HAS SOUS 71321 HAS SOUPS 71321 WITH SCORE 71412.883
AT ITER 4723 NEW BEST:: SOT 297350 SOS 91865 HAS SOPS 91865 HAS SOUS 71303 HAS SOUPS 71303 WITH SCORE 71394.865
AT ITER 4726 NEW BEST:: SOT 297347 SOS 91894 HAS SOPS 91894 HAS SOUS 71300 HAS SOUPS 71300 WITH SCORE 71391.894
AT ITER 4759 NEW BEST:: SOT 297370 SOS 91940 HAS SOPS 91940 HAS SOUS 71272 HAS SOUPS 71272 WITH SCORE 71363.94
AT ITER 4765 NEW BEST:: SOT 297320 SOS 91852 HAS SOPS 91852 HAS SOUS 71184 HAS SOUPS 71184 WITH SCORE 71275.852
AT ITER 4776 NEW BEST:: SOT 297288 SOS 91820 HAS SOPS 91820 HAS SOUS 71152 HAS SOUPS 71152 WITH SCORE 71243.82
AT ITER 4788 NEW BEST:: SOT 297575 SOS 92034 HAS SOPS 92034 HAS SOUS 71069 HAS SOUPS 71069 WITH SCORE 71161.034
AT ITER 4808 NEW BEST:: SOT 297569 SOS 92001 HAS SOPS 92001 HAS SOUS 71036 HAS SOUPS 71036 WITH SCORE 71128.001
AT ITER 4810 NEW BEST:: SOT 297555 SOS 91980 HAS SOPS 91980 HAS SOUS 71022 HAS SOUPS 71022 WITH SCORE 71113.98
AT ITER 4832 NEW BEST:: SOT 297536 SOS 91961 HAS SOPS 91961 HAS SOUS 71003 HAS SOUPS 71003 WITH SCORE 71094.961
AT ITER 4845 NEW BEST:: SOT 297562 SOS 91942 HAS SOPS 91942 HAS SOUS 70984 HAS SOUPS 70984 WITH SCORE 71075.942
AT ITER 4851 NEW BEST:: SOT 297525 SOS 91827 HAS SOPS 91827 HAS SOUS 70906 HAS SOUPS 70906 WITH SCORE 70997.827
AT ITER 4868 NEW BEST:: SOT 297683 SOS 91985 HAS SOPS 91985 HAS SOUS 70893 HAS SOUPS 70893 WITH SCORE 70984.985
AT ITER 4870 NEW BEST:: SOT 297677 SOS 91973 HAS SOPS 91973 HAS SOUS 70881 HAS SOUPS 70881 WITH SCORE 70972.973
AT ITER 4883 NEW BEST:: SOT 297660 SOS 91957 HAS SOPS 91957 HAS SOUS 70865 HAS SOUPS 70865 WITH SCORE 70956.957
AT ITER 4886 NEW BEST:: SOT 297728 SOS 91997 HAS SOPS 91997 HAS SOUS 70809 HAS SOUPS 70809 WITH SCORE 70900.997
AT ITER 4890 NEW BEST:: SOT 297728 SOS 91965 HAS SOPS 91965 HAS SOUS 70777 HAS SOUPS 70777 WITH SCORE 70868.965
AT ITER 4900 NEW BEST:: SOT 297696 SOS 91959 HAS SOPS 91959 HAS SOUS 70771 HAS SOUPS 70771 WITH SCORE 70862.959
AT ITER 4906 NEW BEST:: SOT 297696 SOS 91942 HAS SOPS 91942 HAS SOUS 70754 HAS SOUPS 70754 WITH SCORE 70845.942
AT ITER 4917 NEW BEST:: SOT 297649 SOS 91849 HAS SOPS 91849 HAS SOUS 70684 HAS SOUPS 70684 WITH SCORE 70775.849
AT ITER 4954 NEW BEST:: SOT 297638 SOS 91827 HAS SOPS 91827 HAS SOUS 70662 HAS SOUPS 70662 WITH SCORE 70753.827
AT ITER 4960 NEW BEST:: SOT 297638 SOS 91827 HAS SOPS 91827 HAS SOUS 70615 HAS SOUPS 70615 WITH SCORE 70706.827
AT ITER 4963 NEW BEST:: SOT 297021 SOS 91911 HAS SOPS 91911 HAS SOUS 70182 HAS SOUPS 70182 WITH SCORE 70273.911
AT ITER 4974 NEW BEST:: SOT 296956 SOS 91664 HAS SOPS 91664 HAS SOUS 70010 HAS SOUPS 70010 WITH SCORE 70101.664
AT ITER 5018 NEW BEST:: SOT 296812 SOS 91564 HAS SOPS 91564 HAS SOUS 69910 HAS SOUPS 69910 WITH SCORE 70001.564
AT ITER 5031 NEW BEST:: SOT 296561 SOS 91427 HAS SOPS 91427 HAS SOUS 69773 HAS SOUPS 69773 WITH SCORE 69864.427
AT ITER 5043 NEW BEST:: SOT 296511 SOS 91377 HAS SOPS 91377 HAS SOUS 69723 HAS SOUPS 69723 WITH SCORE 69814.377
AT ITER 5099 NEW BEST:: SOT 296488 SOS 91275 HAS SOPS 91275 HAS SOUS 69621 HAS SOUPS 69621 WITH SCORE 69712.275
AT ITER 5118 NEW BEST:: SOT 296474 SOS 91205 HAS SOPS 91205 HAS SOUS 69551 HAS SOUPS 69551 WITH SCORE 69642.205
AT ITER 5170 NEW BEST:: SOT 296322 SOS 91026 HAS SOPS 91026 HAS SOUS 69521 HAS SOUPS 69521 WITH SCORE 69612.026
AT ITER 5188 NEW BEST:: SOT 296267 SOS 90911 HAS SOPS 90911 HAS SOUS 69516 HAS SOUPS 69516 WITH SCORE 69606.911
AT ITER 5218 NEW BEST:: SOT 296267 SOS 90910 HAS SOPS 90910 HAS SOUS 69515 HAS SOUPS 69515 WITH SCORE 69605.91
AT ITER 5219 NEW BEST:: SOT 296200 SOS 90843 HAS SOPS 90843 HAS SOUS 69448 HAS SOUPS 69448 WITH SCORE 69538.843
AT ITER 5251 NEW BEST:: SOT 296192 SOS 90795 HAS SOPS 90795 HAS SOUS 69360 HAS SOUPS 69360 WITH SCORE 69450.795
AT ITER 5263 NEW BEST:: SOT 296344 SOS 90783 HAS SOPS 90783 HAS SOUS 69348 HAS SOUPS 69348 WITH SCORE 69438.783
AT ITER 5269 NEW BEST:: SOT 296154 SOS 90593 HAS SOPS 90593 HAS SOUS 69296 HAS SOUPS 69296 WITH SCORE 69386.593
AT ITER 5273 NEW BEST:: SOT 296327 SOS 90589 HAS SOPS 90589 HAS SOUS 69292 HAS SOUPS 69292 WITH SCORE 69382.589
AT ITER 5288 NEW BEST:: SOT 296327 SOS 90622 HAS SOPS 90622 HAS SOUS 69288 HAS SOUPS 69288 WITH SCORE 69378.622
AT ITER 5348 NEW BEST:: SOT 296288 SOS 90612 HAS SOPS 90612 HAS SOUS 69278 HAS SOUPS 69278 WITH SCORE 69368.612
AT ITER 5349 NEW BEST:: SOT 296272 SOS 90580 HAS SOPS 90580 HAS SOUS 69246 HAS SOUPS 69246 WITH SCORE 69336.58
AT ITER 5383 NEW BEST:: SOT 296266 SOS 90568 HAS SOPS 90568 HAS SOUS 69213 HAS SOUPS 69213 WITH SCORE 69303.568
AT ITER 5413 NEW BEST:: SOT 296244 SOS 90524 HAS SOPS 90524 HAS SOUS 69152 HAS SOUPS 69152 WITH SCORE 69242.524
AT ITER 5415 NEW BEST:: SOT 296041 SOS 90315 HAS SOPS 90315 HAS SOUS 69055 HAS SOUPS 69055 WITH SCORE 69145.315
AT ITER 5455 NEW BEST:: SOT 296016 SOS 90290 HAS SOPS 90290 HAS SOUS 69030 HAS SOUPS 69030 WITH SCORE 69120.29
AT ITER 5478 NEW BEST:: SOT 295933 SOS 90237 HAS SOPS 90237 HAS SOUS 68977 HAS SOUPS 68977 WITH SCORE 69067.237
AT ITER 5486 NEW BEST:: SOT 295909 SOS 90189 HAS SOPS 90189 HAS SOUS 68929 HAS SOUPS 68929 WITH SCORE 69019.189
AT ITER 5497 NEW BEST:: SOT 295772 SOS 90052 HAS SOPS 90052 HAS SOUS 68787 HAS SOUPS 68787 WITH SCORE 68877.052
AT ITER 5504 NEW BEST:: SOT 295763 SOS 90034 HAS SOPS 90034 HAS SOUS 68769 HAS SOUPS 68769 WITH SCORE 68859.034
AT ITER 5525 NEW BEST:: SOT 295741 SOS 89990 HAS SOPS 89990 HAS SOUS 68725 HAS SOUPS 68725 WITH SCORE 68814.99
AT ITER 5527 NEW BEST:: SOT 295708 SOS 89988 HAS SOPS 89988 HAS SOUS 68723 HAS SOUPS 68723 WITH SCORE 68812.988
AT ITER 5529 NEW BEST:: SOT 295739 SOS 89963 HAS SOPS 89963 HAS SOUS 68698 HAS SOUPS 68698 WITH SCORE 68787.963
AT ITER 5538 NEW BEST:: SOT 295743 SOS 89955 HAS SOPS 89955 HAS SOUS 68694 HAS SOUPS 68694 WITH SCORE 68783.955
AT ITER 5541 NEW BEST:: SOT 295683 SOS 89835 HAS SOPS 89835 HAS SOUS 68633 HAS SOUPS 68633 WITH SCORE 68722.835
AT ITER 5554 NEW BEST:: SOT 295648 SOS 89765 HAS SOPS 89765 HAS SOUS 68563 HAS SOUPS 68563 WITH SCORE 68652.765
AT ITER 5573 NEW BEST:: SOT 295701 SOS 89712 HAS SOPS 89712 HAS SOUS 68510 HAS SOUPS 68510 WITH SCORE 68599.712
AT ITER 5639 NEW BEST:: SOT 295677 SOS 89681 HAS SOPS 89681 HAS SOUS 68496 HAS SOUPS 68496 WITH SCORE 68585.681
AT ITER 5674 NEW BEST:: SOT 295619 SOS 89565 HAS SOPS 89565 HAS SOUS 68440 HAS SOUPS 68440 WITH SCORE 68529.565
AT ITER 5683 NEW BEST:: SOT 295616 SOS 89559 HAS SOPS 89559 HAS SOUS 68434 HAS SOUPS 68434 WITH SCORE 68523.559
AT ITER 5695 NEW BEST:: SOT 295662 SOS 89534 HAS SOPS 89534 HAS SOUS 68409 HAS SOUPS 68409 WITH SCORE 68498.534
AT ITER 5763 NEW BEST:: SOT 295661 SOS 89533 HAS SOPS 89533 HAS SOUS 68408 HAS SOUPS 68408 WITH SCORE 68497.533
AT ITER 5773 NEW BEST:: SOT 295669 SOS 89531 HAS SOPS 89531 HAS SOUS 68406 HAS SOUPS 68406 WITH SCORE 68495.531
AT ITER 5781 NEW BEST:: SOT 295638 SOS 89471 HAS SOPS 89471 HAS SOUS 68358 HAS SOUPS 68358 WITH SCORE 68447.471
AT ITER 5806 NEW BEST:: SOT 295644 SOS 89462 HAS SOPS 89462 HAS SOUS 68349 HAS SOUPS 68349 WITH SCORE 68438.462
AT ITER 5808 NEW BEST:: SOT 295559 SOS 89348 HAS SOPS 89348 HAS SOUS 68327 HAS SOUPS 68327 WITH SCORE 68416.348
AT ITER 5820 NEW BEST:: SOT 295566 SOS 89334 HAS SOPS 89334 HAS SOUS 68313 HAS SOUPS 68313 WITH SCORE 68402.334
AT ITER 5843 NEW BEST:: SOT 295544 SOS 89321 HAS SOPS 89321 HAS SOUS 68300 HAS SOUPS 68300 WITH SCORE 68389.321
AT ITER 5859 NEW BEST:: SOT 295543 SOS 89319 HAS SOPS 89319 HAS SOUS 68298 HAS SOUPS 68298 WITH SCORE 68387.319
AT ITER 5867 NEW BEST:: SOT 295543 SOS 89298 HAS SOPS 89298 HAS SOUS 68298 HAS SOUPS 68298 WITH SCORE 68387.298
AT ITER 5896 NEW BEST:: SOT 295556 SOS 89307 HAS SOPS 89307 HAS SOUS 68294 HAS SOUPS 68294 WITH SCORE 68383.307
AT ITER 5913 NEW BEST:: SOT 295556 SOS 89295 HAS SOPS 89295 HAS SOUS 68292 HAS SOUPS 68292 WITH SCORE 68381.295
AT ITER 5921 NEW BEST:: SOT 295514 SOS 89251 HAS SOPS 89251 HAS SOUS 68290 HAS SOUPS 68290 WITH SCORE 68379.251
AT ITER 5936 NEW BEST:: SOT 295577 SOS 89301 HAS SOPS 89301 HAS SOUS 68264 HAS SOUPS 68264 WITH SCORE 68353.301
AT ITER 5947 NEW BEST:: SOT 295536 SOS 89280 HAS SOPS 89280 HAS SOUS 68243 HAS SOUPS 68243 WITH SCORE 68332.28
AT ITER 5955 NEW BEST:: SOT 295536 SOS 89279 HAS SOPS 89279 HAS SOUS 68242 HAS SOUPS 68242 WITH SCORE 68331.279
AT ITER 5987 NEW BEST:: SOT 295538 SOS 89271 HAS SOPS 89271 HAS SOUS 68191 HAS SOUPS 68191 WITH SCORE 68280.271
AT ITER 5994 NEW BEST:: SOT 295533 SOS 89266 HAS SOPS 89266 HAS SOUS 68186 HAS SOUPS 68186 WITH SCORE 68275.266
AT ITER 5995 NEW BEST:: SOT 295638 SOS 89253 HAS SOPS 89253 HAS SOUS 68173 HAS SOUPS 68173 WITH SCORE 68262.253
AT ITER 6001 NEW BEST:: SOT 295612 SOS 89201 HAS SOPS 89201 HAS SOUS 68121 HAS SOUPS 68121 WITH SCORE 68210.201
AT ITER 6093 NEW BEST:: SOT 295612 SOS 89171 HAS SOPS 89171 HAS SOUS 68091 HAS SOUPS 68091 WITH SCORE 68180.171
AT ITER 6109 NEW BEST:: SOT 295613 SOS 89088 HAS SOPS 89088 HAS SOUS 68008 HAS SOUPS 68008 WITH SCORE 68097.088
AT ITER 6135 NEW BEST:: SOT 295643 SOS 89050 HAS SOPS 89050 HAS SOUS 67940 HAS SOUPS 67940 WITH SCORE 68029.05
AT ITER 6183 NEW BEST:: SOT 295528 SOS 88779 HAS SOPS 88779 HAS SOUS 67825 HAS SOUPS 67825 WITH SCORE 67913.779
AT ITER 6189 NEW BEST:: SOT 295528 SOS 88766 HAS SOPS 88766 HAS SOUS 67825 HAS SOUPS 67825 WITH SCORE 67913.766
AT ITER 6204 NEW BEST:: SOT 295480 SOS 88713 HAS SOPS 88713 HAS SOUS 67772 HAS SOUPS 67772 WITH SCORE 67860.713
AT ITER 6273 NEW BEST:: SOT 295460 SOS 88673 HAS SOPS 88673 HAS SOUS 67732 HAS SOUPS 67732 WITH SCORE 67820.673
AT ITER 6298 NEW BEST:: SOT 295459 SOS 88693 HAS SOPS 88693 HAS SOUS 67730 HAS SOUPS 67730 WITH SCORE 67818.693
AT ITER 6313 NEW BEST:: SOT 295377 SOS 88676 HAS SOPS 88676 HAS SOUS 67712 HAS SOUPS 67712 WITH SCORE 67800.676
AT ITER 6331 NEW BEST:: SOT 295364 SOS 88663 HAS SOPS 88663 HAS SOUS 67699 HAS SOUPS 67699 WITH SCORE 67787.663
AT ITER 6341 NEW BEST:: SOT 295357 SOS 88649 HAS SOPS 88649 HAS SOUS 67685 HAS SOUPS 67685 WITH SCORE 67773.649
AT ITER 6352 NEW BEST:: SOT 295309 SOS 88553 HAS SOPS 88553 HAS SOUS 67589 HAS SOUPS 67589 WITH SCORE 67677.553
AT ITER 6376 NEW BEST:: SOT 295348 SOS 88483 HAS SOPS 88483 HAS SOUS 67519 HAS SOUPS 67519 WITH SCORE 67607.483
AT ITER 6381 NEW BEST:: SOT 295285 SOS 88284 HAS SOPS 88284 HAS SOUS 67464 HAS SOUPS 67464 WITH SCORE 67552.284
AT ITER 6389 NEW BEST:: SOT 295257 SOS 88228 HAS SOPS 88228 HAS SOUS 67462 HAS SOUPS 67462 WITH SCORE 67550.228
AT ITER 6390 NEW BEST:: SOT 295247 SOS 88207 HAS SOPS 88207 HAS SOUS 67461 HAS SOUPS 67461 WITH SCORE 67549.207
AT ITER 6463 NEW BEST:: SOT 295247 SOS 88206 HAS SOPS 88206 HAS SOUS 67460 HAS SOUPS 67460 WITH SCORE 67548.206
AT ITER 6478 NEW BEST:: SOT 295056 SOS 88024 HAS SOPS 88024 HAS SOUS 67278 HAS SOUPS 67278 WITH SCORE 67366.024
AT ITER 6494 NEW BEST:: SOT 295015 SOS 88022 HAS SOPS 88022 HAS SOUS 67276 HAS SOUPS 67276 WITH SCORE 67364.022
AT ITER 6564 NEW BEST:: SOT 295015 SOS 88002 HAS SOPS 88002 HAS SOUS 67236 HAS SOUPS 67236 WITH SCORE 67324.002
AT ITER 6600 NEW BEST:: SOT 295000 SOS 87987 HAS SOPS 87987 HAS SOUS 67236 HAS SOUPS 67236 WITH SCORE 67323.987
AT ITER 6644 NEW BEST:: SOT 294853 SOS 87840 HAS SOPS 87840 HAS SOUS 67228 HAS SOUPS 67228 WITH SCORE 67315.84
AT ITER 6660 NEW BEST:: SOT 294867 SOS 87854 HAS SOPS 87854 HAS SOUS 67210 HAS SOUPS 67210 WITH SCORE 67297.854
AT ITER 6669 NEW BEST:: SOT 294817 SOS 87754 HAS SOPS 87754 HAS SOUS 67179 HAS SOUPS 67179 WITH SCORE 67266.754
AT ITER 6686 NEW BEST:: SOT 294813 SOS 87750 HAS SOPS 87750 HAS SOUS 67175 HAS SOUPS 67175 WITH SCORE 67262.75
AT ITER 6687 NEW BEST:: SOT 294826 SOS 87744 HAS SOPS 87744 HAS SOUS 67169 HAS SOUPS 67169 WITH SCORE 67256.744
AT ITER 6736 NEW BEST:: SOT 294810 SOS 87720 HAS SOPS 87720 HAS SOUS 67153 HAS SOUPS 67153 WITH SCORE 67240.72
AT ITER 6737 NEW BEST:: SOT 294810 SOS 87720 HAS SOPS 87720 HAS SOUS 67004 HAS SOUPS 67004 WITH SCORE 67091.72
AT ITER 6758 NEW BEST:: SOT 294810 SOS 87719 HAS SOPS 87719 HAS SOUS 67003 HAS SOUPS 67003 WITH SCORE 67090.719
AT ITER 6776 NEW BEST:: SOT 294772 SOS 87776 HAS SOPS 87776 HAS SOUS 66980 HAS SOUPS 66980 WITH SCORE 67067.776
AT ITER 6781 NEW BEST:: SOT 294768 SOS 87768 HAS SOPS 87768 HAS SOUS 66972 HAS SOUPS 66972 WITH SCORE 67059.768
AT ITER 6790 NEW BEST:: SOT 294755 SOS 87742 HAS SOPS 87742 HAS SOUS 66959 HAS SOUPS 66959 WITH SCORE 67046.742
AT ITER 6792 NEW BEST:: SOT 294748 SOS 87735 HAS SOPS 87735 HAS SOUS 66952 HAS SOUPS 66952 WITH SCORE 67039.735
AT ITER 6802 NEW BEST:: SOT 294744 SOS 87731 HAS SOPS 87731 HAS SOUS 66948 HAS SOUPS 66948 WITH SCORE 67035.731
AT ITER 6840 NEW BEST:: SOT 294744 SOS 87715 HAS SOPS 87715 HAS SOUS 66932 HAS SOUPS 66932 WITH SCORE 67019.715
AT ITER 6919 NEW BEST:: SOT 294625 SOS 87596 HAS SOPS 87596 HAS SOUS 66823 HAS SOUPS 66823 WITH SCORE 66910.596
AT ITER 6937 NEW BEST:: SOT 294625 SOS 87582 HAS SOPS 87582 HAS SOUS 66809 HAS SOUPS 66809 WITH SCORE 66896.582
AT ITER 6971 NEW BEST:: SOT 294617 SOS 87566 HAS SOPS 87566 HAS SOUS 66801 HAS SOUPS 66801 WITH SCORE 66888.566
AT ITER 6996 NEW BEST:: SOT 294613 SOS 87665 HAS SOPS 87665 HAS SOUS 66797 HAS SOUPS 66797 WITH SCORE 66884.665
AT ITER 7001 NEW BEST:: SOT 294612 SOS 87663 HAS SOPS 87663 HAS SOUS 66795 HAS SOUPS 66795 WITH SCORE 66882.663
AT ITER 7008 NEW BEST:: SOT 294310 SOS 87256 HAS SOPS 87256 HAS SOUS 66585 HAS SOUPS 66585 WITH SCORE 66672.256
AT ITER 7010 NEW BEST:: SOT 294253 SOS 87142 HAS SOPS 87142 HAS SOUS 66481 HAS SOUPS 66481 WITH SCORE 66568.142
AT ITER 7013 NEW BEST:: SOT 294238 SOS 87126 HAS SOPS 87126 HAS SOUS 66465 HAS SOUPS 66465 WITH SCORE 66552.126
AT ITER 7017 NEW BEST:: SOT 294225 SOS 87109 HAS SOPS 87109 HAS SOUS 66448 HAS SOUPS 66448 WITH SCORE 66535.109
AT ITER 7022 NEW BEST:: SOT 294216 SOS 87091 HAS SOPS 87091 HAS SOUS 66430 HAS SOUPS 66430 WITH SCORE 66517.091
AT ITER 7045 NEW BEST:: SOT 294231 SOS 87102 HAS SOPS 87102 HAS SOUS 66422 HAS SOUPS 66422 WITH SCORE 66509.102
AT ITER 7067 NEW BEST:: SOT 294293 SOS 87131 HAS SOPS 87131 HAS SOUS 66357 HAS SOUPS 66357 WITH SCORE 66444.131
AT ITER 7085 NEW BEST:: SOT 294293 SOS 87116 HAS SOPS 87116 HAS SOUS 66323 HAS SOUPS 66323 WITH SCORE 66410.116
AT ITER 7132 NEW BEST:: SOT 294293 SOS 87114 HAS SOPS 87114 HAS SOUS 66319 HAS SOUPS 66319 WITH SCORE 66406.114
AT ITER 7133 NEW BEST:: SOT 294264 SOS 87072 HAS SOPS 87072 HAS SOUS 66293 HAS SOUPS 66293 WITH SCORE 66380.072
AT ITER 7155 NEW BEST:: SOT 294299 SOS 87107 HAS SOPS 87107 HAS SOUS 66279 HAS SOUPS 66279 WITH SCORE 66366.107
AT ITER 7167 NEW BEST:: SOT 294296 SOS 87097 HAS SOPS 87097 HAS SOUS 66266 HAS SOUPS 66266 WITH SCORE 66353.097
AT ITER 7219 NEW BEST:: SOT 294248 SOS 87001 HAS SOPS 87001 HAS SOUS 66170 HAS SOUPS 66170 WITH SCORE 66257.001
AT ITER 7221 NEW BEST:: SOT 294239 SOS 86993 HAS SOPS 86993 HAS SOUS 66162 HAS SOUPS 66162 WITH SCORE 66248.993
AT ITER 7249 NEW BEST:: SOT 294235 SOS 86894 HAS SOPS 86894 HAS SOUS 66063 HAS SOUPS 66063 WITH SCORE 66149.894
AT ITER 7260 NEW BEST:: SOT 294232 SOS 86888 HAS SOPS 86888 HAS SOUS 66057 HAS SOUPS 66057 WITH SCORE 66143.888
AT ITER 7269 NEW BEST:: SOT 294192 SOS 86824 HAS SOPS 86824 HAS SOUS 65993 HAS SOUPS 65993 WITH SCORE 66079.824
AT ITER 7273 NEW BEST:: SOT 294215 SOS 86812 HAS SOPS 86812 HAS SOUS 65981 HAS SOUPS 65981 WITH SCORE 66067.812
AT ITER 7300 NEW BEST:: SOT 294215 SOS 86812 HAS SOPS 86812 HAS SOUS 65968 HAS SOUPS 65968 WITH SCORE 66054.812
AT ITER 7350 NEW BEST:: SOT 294239 SOS 86860 HAS SOPS 86860 HAS SOUS 65950 HAS SOUPS 65950 WITH SCORE 66036.86
AT ITER 7355 NEW BEST:: SOT 294259 SOS 86880 HAS SOPS 86880 HAS SOUS 65932 HAS SOUPS 65932 WITH SCORE 66018.88
AT ITER 7359 NEW BEST:: SOT 294259 SOS 86870 HAS SOPS 86870 HAS SOUS 65922 HAS SOUPS 65922 WITH SCORE 66008.87
AT ITER 7381 NEW BEST:: SOT 294259 SOS 86870 HAS SOPS 86870 HAS SOUS 65904 HAS SOUPS 65904 WITH SCORE 65990.87
AT ITER 7394 NEW BEST:: SOT 294226 SOS 86814 HAS SOPS 86814 HAS SOUS 65798 HAS SOUPS 65798 WITH SCORE 65884.814
AT ITER 7396 NEW BEST:: SOT 294223 SOS 86808 HAS SOPS 86808 HAS SOUS 65792 HAS SOUPS 65792 WITH SCORE 65878.808
AT ITER 7401 NEW BEST:: SOT 294185 SOS 86769 HAS SOPS 86769 HAS SOUS 65753 HAS SOUPS 65753 WITH SCORE 65839.769
AT ITER 7409 NEW BEST:: SOT 294180 SOS 86763 HAS SOPS 86763 HAS SOUS 65747 HAS SOUPS 65747 WITH SCORE 65833.763
AT ITER 7412 NEW BEST:: SOT 294180 SOS 86762 HAS SOPS 86762 HAS SOUS 65746 HAS SOUPS 65746 WITH SCORE 65832.762
AT ITER 7421 NEW BEST:: SOT 294120 SOS 86642 HAS SOPS 86642 HAS SOUS 65626 HAS SOUPS 65626 WITH SCORE 65712.642
AT ITER 7437 NEW BEST:: SOT 294134 SOS 86612 HAS SOPS 86612 HAS SOUS 65596 HAS SOUPS 65596 WITH SCORE 65682.612
AT ITER 7443 NEW BEST:: SOT 294066 SOS 86476 HAS SOPS 86476 HAS SOUS 65474 HAS SOUPS 65474 WITH SCORE 65560.476
AT ITER 7470 NEW BEST:: SOT 294076 SOS 86447 HAS SOPS 86447 HAS SOUS 65445 HAS SOUPS 65445 WITH SCORE 65531.447
AT ITER 7529 NEW BEST:: SOT 294066 SOS 86435 HAS SOPS 86435 HAS SOUS 65433 HAS SOUPS 65433 WITH SCORE 65519.435
AT ITER 7554 NEW BEST:: SOT 294057 SOS 86426 HAS SOPS 86426 HAS SOUS 65424 HAS SOUPS 65424 WITH SCORE 65510.426
AT ITER 7560 NEW BEST:: SOT 294045 SOS 86411 HAS SOPS 86411 HAS SOUS 65409 HAS SOUPS 65409 WITH SCORE 65495.411
AT ITER 7564 NEW BEST:: SOT 293939 SOS 86334 HAS SOPS 86334 HAS SOUS 65332 HAS SOUPS 65332 WITH SCORE 65418.334
AT ITER 7580 NEW BEST:: SOT 293893 SOS 86179 HAS SOPS 86179 HAS SOUS 65189 HAS SOUPS 65189 WITH SCORE 65275.179
AT ITER 7581 NEW BEST:: SOT 293850 SOS 87393 HAS SOPS 87393 HAS SOUS 65162 HAS SOUPS 65162 WITH SCORE 65249.393
AT ITER 7622 NEW BEST:: SOT 293840 SOS 87371 HAS SOPS 87371 HAS SOUS 65140 HAS SOUPS 65140 WITH SCORE 65227.371
AT ITER 7657 NEW BEST:: SOT 293835 SOS 87366 HAS SOPS 87366 HAS SOUS 65140 HAS SOUPS 65140 WITH SCORE 65227.366
AT ITER 7667 NEW BEST:: SOT 293828 SOS 87352 HAS SOPS 87352 HAS SOUS 65126 HAS SOUPS 65126 WITH SCORE 65213.352
AT ITER 7668 NEW BEST:: SOT 293764 SOS 87224 HAS SOPS 87224 HAS SOUS 64998 HAS SOUPS 64998 WITH SCORE 65085.224
AT ITER 7671 NEW BEST:: SOT 293780 SOS 87240 HAS SOPS 87240 HAS SOUS 64969 HAS SOUPS 64969 WITH SCORE 65056.24
AT ITER 7696 NEW BEST:: SOT 293801 SOS 87225 HAS SOPS 87225 HAS SOUS 64954 HAS SOUPS 64954 WITH SCORE 65041.225
AT ITER 7717 NEW BEST:: SOT 293801 SOS 87143 HAS SOPS 87143 HAS SOUS 64872 HAS SOUPS 64872 WITH SCORE 64959.143
AT ITER 7724 NEW BEST:: SOT 293798 SOS 87156 HAS SOPS 87156 HAS SOUS 64866 HAS SOUPS 64866 WITH SCORE 64953.156
AT ITER 7742 NEW BEST:: SOT 293611 SOS 86969 HAS SOPS 86969 HAS SOUS 64805 HAS SOUPS 64805 WITH SCORE 64891.969
AT ITER 7756 NEW BEST:: SOT 293454 SOS 86751 HAS SOPS 86751 HAS SOUS 64596 HAS SOUPS 64596 WITH SCORE 64682.751
AT ITER 7759 NEW BEST:: SOT 293422 SOS 86704 HAS SOPS 86704 HAS SOUS 64549 HAS SOUPS 64549 WITH SCORE 64635.704
AT ITER 7788 NEW BEST:: SOT 293422 SOS 86704 HAS SOPS 86704 HAS SOUS 64527 HAS SOUPS 64527 WITH SCORE 64613.704
AT ITER 7802 NEW BEST:: SOT 293422 SOS 86704 HAS SOPS 86704 HAS SOUS 64504 HAS SOUPS 64504 WITH SCORE 64590.704
AT ITER 7837 NEW BEST:: SOT 293362 SOS 86676 HAS SOPS 86676 HAS SOUS 64476 HAS SOUPS 64476 WITH SCORE 64562.676
AT ITER 7841 NEW BEST:: SOT 293360 SOS 86672 HAS SOPS 86672 HAS SOUS 64459 HAS SOUPS 64459 WITH SCORE 64545.672
AT ITER 7848 NEW BEST:: SOT 293328 SOS 86640 HAS SOPS 86640 HAS SOUS 64427 HAS SOUPS 64427 WITH SCORE 64513.64
AT ITER 7856 NEW BEST:: SOT 293243 SOS 86549 HAS SOPS 86549 HAS SOUS 64336 HAS SOUPS 64336 WITH SCORE 64422.549
AT ITER 7866 NEW BEST:: SOT 293153 SOS 86381 HAS SOPS 86381 HAS SOUS 64242 HAS SOUPS 64242 WITH SCORE 64328.381
AT ITER 7873 NEW BEST:: SOT 292977 SOS 86029 HAS SOPS 86029 HAS SOUS 63890 HAS SOUPS 63890 WITH SCORE 63976.029
AT ITER 7878 NEW BEST:: SOT 292942 SOS 85994 HAS SOPS 85994 HAS SOUS 63855 HAS SOUPS 63855 WITH SCORE 63940.994
AT ITER 7936 NEW BEST:: SOT 292932 SOS 85858 HAS SOPS 85858 HAS SOUS 63719 HAS SOUPS 63719 WITH SCORE 63804.858
AT ITER 7990 NEW BEST:: SOT 292893 SOS 85780 HAS SOPS 85780 HAS SOUS 63641 HAS SOUPS 63641 WITH SCORE 63726.78
AT ITER 7992 NEW BEST:: SOT 292870 SOS 85772 HAS SOPS 85772 HAS SOUS 63633 HAS SOUPS 63633 WITH SCORE 63718.772
AT ITER 8007 NEW BEST:: SOT 292847 SOS 85762 HAS SOPS 85762 HAS SOUS 63623 HAS SOUPS 63623 WITH SCORE 63708.762
AT ITER 8029 NEW BEST:: SOT 292845 SOS 85744 HAS SOPS 85744 HAS SOUS 63613 HAS SOUPS 63613 WITH SCORE 63698.744
AT ITER 8074 NEW BEST:: SOT 292840 SOS 85734 HAS SOPS 85734 HAS SOUS 63598 HAS SOUPS 63598 WITH SCORE 63683.734
AT ITER 8075 NEW BEST:: SOT 292830 SOS 85580 HAS SOPS 85580 HAS SOUS 63553 HAS SOUPS 63553 WITH SCORE 63638.58
AT ITER 8079 NEW BEST:: SOT 292819 SOS 85558 HAS SOPS 85558 HAS SOUS 63542 HAS SOUPS 63542 WITH SCORE 63627.558
AT ITER 8086 NEW BEST:: SOT 292819 SOS 85554 HAS SOPS 85554 HAS SOUS 63538 HAS SOUPS 63538 WITH SCORE 63623.554
AT ITER 8139 NEW BEST:: SOT 292819 SOS 85546 HAS SOPS 85546 HAS SOUS 63530 HAS SOUPS 63530 WITH SCORE 63615.546
AT ITER 8147 NEW BEST:: SOT 292819 SOS 85528 HAS SOPS 85528 HAS SOUS 63512 HAS SOUPS 63512 WITH SCORE 63597.528
AT ITER 8186 NEW BEST:: SOT 292819 SOS 85489 HAS SOPS 85489 HAS SOUS 63482 HAS SOUPS 63482 WITH SCORE 63567.489
AT ITER 8200 NEW BEST:: SOT 292791 SOS 85375 HAS SOPS 85375 HAS SOUS 63469 HAS SOUPS 63469 WITH SCORE 63554.375
AT ITER 8219 NEW BEST:: SOT 292772 SOS 85356 HAS SOPS 85356 HAS SOUS 63450 HAS SOUPS 63450 WITH SCORE 63535.356
AT ITER 8308 NEW BEST:: SOT 292672 SOS 85138 HAS SOPS 85138 HAS SOUS 63232 HAS SOUPS 63232 WITH SCORE 63317.138
AT ITER 8335 NEW BEST:: SOT 292657 SOS 85108 HAS SOPS 85108 HAS SOUS 63202 HAS SOUPS 63202 WITH SCORE 63287.108
AT ITER 8364 NEW BEST:: SOT 292607 SOS 85035 HAS SOPS 85035 HAS SOUS 63151 HAS SOUPS 63151 WITH SCORE 63236.035
AT ITER 8378 NEW BEST:: SOT 292597 SOS 84988 HAS SOPS 84988 HAS SOUS 63134 HAS SOUPS 63134 WITH SCORE 63218.988
AT ITER 8401 NEW BEST:: SOT 292543 SOS 84933 HAS SOPS 84933 HAS SOUS 63132 HAS SOUPS 63132 WITH SCORE 63216.933
AT ITER 8414 NEW BEST:: SOT 292522 SOS 84891 HAS SOPS 84891 HAS SOUS 63090 HAS SOUPS 63090 WITH SCORE 63174.891
AT ITER 8465 NEW BEST:: SOT 292471 SOS 84789 HAS SOPS 84789 HAS SOUS 63039 HAS SOUPS 63039 WITH SCORE 63123.789
AT ITER 8513 NEW BEST:: SOT 292468 SOS 84783 HAS SOPS 84783 HAS SOUS 63036 HAS SOUPS 63036 WITH SCORE 63120.783
AT ITER 8532 NEW BEST:: SOT 292542 SOS 84857 HAS SOPS 84857 HAS SOUS 62987 HAS SOUPS 62987 WITH SCORE 63071.857
AT ITER 8550 NEW BEST:: SOT 292522 SOS 84827 HAS SOPS 84827 HAS SOUS 62957 HAS SOUPS 62957 WITH SCORE 63041.827
AT ITER 8598 NEW BEST:: SOT 292486 SOS 84755 HAS SOPS 84755 HAS SOUS 62885 HAS SOUPS 62885 WITH SCORE 62969.755
AT ITER 8606 NEW BEST:: SOT 292448 SOS 84735 HAS SOPS 84735 HAS SOUS 62865 HAS SOUPS 62865 WITH SCORE 62949.735
AT ITER 8658 NEW BEST:: SOT 292444 SOS 84727 HAS SOPS 84727 HAS SOUS 62857 HAS SOUPS 62857 WITH SCORE 62941.727
AT ITER 8675 NEW BEST:: SOT 292448 SOS 84730 HAS SOPS 84730 HAS SOUS 62855 HAS SOUPS 62855 WITH SCORE 62939.73
AT ITER 8700 NEW BEST:: SOT 292452 SOS 84712 HAS SOPS 84712 HAS SOUS 62849 HAS SOUPS 62849 WITH SCORE 62933.712
AT ITER 8708 NEW BEST:: SOT 292341 SOS 84619 HAS SOPS 84619 HAS SOUS 62812 HAS SOUPS 62812 WITH SCORE 62896.619
AT ITER 8829 NEW BEST:: SOT 292206 SOS 84458 HAS SOPS 84458 HAS SOUS 62760 HAS SOUPS 62760 WITH SCORE 62844.458
AT ITER 8873 NEW BEST:: SOT 292175 SOS 84452 HAS SOPS 84452 HAS SOUS 62754 HAS SOUPS 62754 WITH SCORE 62838.452
AT ITER 8878 NEW BEST:: SOT 292170 SOS 84426 HAS SOPS 84426 HAS SOUS 62728 HAS SOUPS 62728 WITH SCORE 62812.426
AT ITER 8898 NEW BEST:: SOT 292114 SOS 84367 HAS SOPS 84367 HAS SOUS 62669 HAS SOUPS 62669 WITH SCORE 62753.367
AT ITER 8899 NEW BEST:: SOT 292111 SOS 84366 HAS SOPS 84366 HAS SOUS 62668 HAS SOUPS 62668 WITH SCORE 62752.366
AT ITER 8909 NEW BEST:: SOT 292006 SOS 84176 HAS SOPS 84176 HAS SOUS 62478 HAS SOUPS 62478 WITH SCORE 62562.176
AT ITER 8923 NEW BEST:: SOT 291998 SOS 84168 HAS SOPS 84168 HAS SOUS 62470 HAS SOUPS 62470 WITH SCORE 62554.168
AT ITER 8953 NEW BEST:: SOT 291997 SOS 84167 HAS SOPS 84167 HAS SOUS 62469 HAS SOUPS 62469 WITH SCORE 62553.167
AT ITER 8964 NEW BEST:: SOT 292016 SOS 84166 HAS SOPS 84166 HAS SOUS 62468 HAS SOUPS 62468 WITH SCORE 62552.166
AT ITER 8986 NEW BEST:: SOT 292015 SOS 84165 HAS SOPS 84165 HAS SOUS 62467 HAS SOUPS 62467 WITH SCORE 62551.165
AT ITER 8989 NEW BEST:: SOT 292002 SOS 84139 HAS SOPS 84139 HAS SOUS 62441 HAS SOUPS 62441 WITH SCORE 62525.139
AT ITER 9052 NEW BEST:: SOT 291872 SOS 83879 HAS SOPS 83879 HAS SOUS 62311 HAS SOUPS 62311 WITH SCORE 62394.879
AT ITER 9066 NEW BEST:: SOT 291774 SOS 83860 HAS SOPS 83860 HAS SOUS 62292 HAS SOUPS 62292 WITH SCORE 62375.86
AT ITER 9093 NEW BEST:: SOT 291768 SOS 83848 HAS SOPS 83848 HAS SOUS 62280 HAS SOUPS 62280 WITH SCORE 62363.848
AT ITER 9121 NEW BEST:: SOT 291760 SOS 83840 HAS SOPS 83840 HAS SOUS 62272 HAS SOUPS 62272 WITH SCORE 62355.84
AT ITER 9148 NEW BEST:: SOT 291731 SOS 83823 HAS SOPS 83823 HAS SOUS 62255 HAS SOUPS 62255 WITH SCORE 62338.823
AT ITER 9173 NEW BEST:: SOT 291723 SOS 83833 HAS SOPS 83833 HAS SOUS 62250 HAS SOUPS 62250 WITH SCORE 62333.833
AT ITER 9184 NEW BEST:: SOT 291750 SOS 83860 HAS SOPS 83860 HAS SOUS 62176 HAS SOUPS 62176 WITH SCORE 62259.86
AT ITER 9188 NEW BEST:: SOT 291676 SOS 83738 HAS SOPS 83738 HAS SOUS 62102 HAS SOUPS 62102 WITH SCORE 62185.738
AT ITER 9219 NEW BEST:: SOT 291693 SOS 83708 HAS SOPS 83708 HAS SOUS 62072 HAS SOUPS 62072 WITH SCORE 62155.708
AT ITER 9251 NEW BEST:: SOT 291734 SOS 83790 HAS SOPS 83790 HAS SOUS 62031 HAS SOUPS 62031 WITH SCORE 62114.79
AT ITER 9273 NEW BEST:: SOT 291734 SOS 83790 HAS SOPS 83790 HAS SOUS 62014 HAS SOUPS 62014 WITH SCORE 62097.79
AT ITER 9283 NEW BEST:: SOT 291734 SOS 83785 HAS SOPS 83785 HAS SOUS 62009 HAS SOUPS 62009 WITH SCORE 62092.785
AT ITER 9284 NEW BEST:: SOT 291734 SOS 83754 HAS SOPS 83754 HAS SOUS 61996 HAS SOUPS 61996 WITH SCORE 62079.754
AT ITER 9292 NEW BEST:: SOT 291761 SOS 83748 HAS SOPS 83748 HAS SOUS 61990 HAS SOUPS 61990 WITH SCORE 62073.748
AT ITER 9338 NEW BEST:: SOT 291714 SOS 83701 HAS SOPS 83701 HAS SOUS 61943 HAS SOUPS 61943 WITH SCORE 62026.701
AT ITER 9339 NEW BEST:: SOT 291713 SOS 83699 HAS SOPS 83699 HAS SOUS 61941 HAS SOUPS 61941 WITH SCORE 62024.699
AT ITER 9356 NEW BEST:: SOT 291703 SOS 83679 HAS SOPS 83679 HAS SOUS 61921 HAS SOUPS 61921 WITH SCORE 62004.679
AT ITER 9429 NEW BEST:: SOT 291667 SOS 83648 HAS SOPS 83648 HAS SOUS 61890 HAS SOUPS 61890 WITH SCORE 61973.648
AT ITER 9430 NEW BEST:: SOT 291555 SOS 83569 HAS SOPS 83569 HAS SOUS 61811 HAS SOUPS 61811 WITH SCORE 61894.569
AT ITER 9474 NEW BEST:: SOT 291555 SOS 83645 HAS SOPS 83645 HAS SOUS 61806 HAS SOUPS 61806 WITH SCORE 61889.645
AT ITER 9490 NEW BEST:: SOT 291560 SOS 83635 HAS SOPS 83635 HAS SOUS 61796 HAS SOUPS 61796 WITH SCORE 61879.635
AT ITER 9499 NEW BEST:: SOT 291497 SOS 83572 HAS SOPS 83572 HAS SOUS 61761 HAS SOUPS 61761 WITH SCORE 61844.572
AT ITER 9544 NEW BEST:: SOT 291488 SOS 83554 HAS SOPS 83554 HAS SOUS 61743 HAS SOUPS 61743 WITH SCORE 61826.554
AT ITER 9561 NEW BEST:: SOT 291488 SOS 83548 HAS SOPS 83548 HAS SOUS 61737 HAS SOUPS 61737 WITH SCORE 61820.548
AT ITER 9595 NEW BEST:: SOT 291504 SOS 83482 HAS SOPS 83482 HAS SOUS 61671 HAS SOUPS 61671 WITH SCORE 61754.482
AT ITER 9616 NEW BEST:: SOT 291481 SOS 83436 HAS SOPS 83436 HAS SOUS 61625 HAS SOUPS 61625 WITH SCORE 61708.436
AT ITER 9736 NEW BEST:: SOT 291453 SOS 83408 HAS SOPS 83408 HAS SOUS 61597 HAS SOUPS 61597 WITH SCORE 61680.408
AT ITER 9776 NEW BEST:: SOT 291427 SOS 83356 HAS SOPS 83356 HAS SOUS 61589 HAS SOUPS 61589 WITH SCORE 61672.356
AT ITER 9787 NEW BEST:: SOT 291385 SOS 83277 HAS SOPS 83277 HAS SOUS 61552 HAS SOUPS 61552 WITH SCORE 61635.277
AT ITER 9804 NEW BEST:: SOT 291374 SOS 83268 HAS SOPS 83268 HAS SOUS 61543 HAS SOUPS 61543 WITH SCORE 61626.268
AT ITER 9828 NEW BEST:: SOT 291367 SOS 83247 HAS SOPS 83247 HAS SOUS 61543 HAS SOUPS 61543 WITH SCORE 61626.247
AT ITER 9879 NEW BEST:: SOT 291351 SOS 83215 HAS SOPS 83215 HAS SOUS 61527 HAS SOUPS 61527 WITH SCORE 61610.215
AT ITER 9902 NEW BEST:: SOT 291341 SOS 83205 HAS SOPS 83205 HAS SOUS 61527 HAS SOUPS 61527 WITH SCORE 61610.205
AT ITER 9921 NEW BEST:: SOT 291371 SOS 83141 HAS SOPS 83141 HAS SOUS 61463 HAS SOUPS 61463 WITH SCORE 61546.141
AT ITER 9925 NEW BEST:: SOT 291387 SOS 83092 HAS SOPS 83092 HAS SOUS 61414 HAS SOUPS 61414 WITH SCORE 61497.092
AT ITER 9933 NEW BEST:: SOT 291329 SOS 83042 HAS SOPS 83042 HAS SOUS 61278 HAS SOUPS 61278 WITH SCORE 61361.042
AT ITER 9950 NEW BEST:: SOT 291238 SOS 83042 HAS SOPS 83042 HAS SOUS 61262 HAS SOUPS 61262 WITH SCORE 61345.042
AT ITER 9998 NEW BEST:: SOT 291289 SOS 83079 HAS SOPS 83079 HAS SOUS 61243 HAS SOUPS 61243 WITH SCORE 61326.079

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="BusinessProcesses-PT-19"
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 BusinessProcesses-PT-19, 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 r018-oct2-158897680200600"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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