Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r195-smll-167840342300368.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is HealthRecord-PT-17, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342300368
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 604K
-rw-r--r-- 1 mcc users 6.1K Feb 26 17:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 26 17:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 17:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 17:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 17:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 114K Feb 26 17:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 26 17:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 26 17:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 175K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678501759582

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HealthRecord-PT-17
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 17
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 624 places, 828 transitions, 1879 arcs.
AT ITER 0 NEW BEST:: SOT 309268 SOS 85228 HAS SOPS 85228 HAS SOUS 68535 HAS SOUPS 68535 WITH SCORE 68620.228
AT ITER 7 NEW BEST:: SOT 307668 SOS 93243 HAS SOPS 93243 HAS SOUS 67844 HAS SOUPS 67844 WITH SCORE 67937.243
AT ITER 8 NEW BEST:: SOT 307597 SOS 93101 HAS SOPS 93101 HAS SOUS 67632 HAS SOUPS 67632 WITH SCORE 67725.101
AT ITER 9 NEW BEST:: SOT 307596 SOS 93099 HAS SOPS 93099 HAS SOUS 67630 HAS SOUPS 67630 WITH SCORE 67723.099
AT ITER 10 NEW BEST:: SOT 307545 SOS 92997 HAS SOPS 92997 HAS SOUS 67452 HAS SOUPS 67452 WITH SCORE 67544.997
AT ITER 15 NEW BEST:: SOT 307495 SOS 92951 HAS SOPS 92951 HAS SOUS 67406 HAS SOUPS 67406 WITH SCORE 67498.951
AT ITER 16 NEW BEST:: SOT 307495 SOS 92926 HAS SOPS 92926 HAS SOUS 67381 HAS SOUPS 67381 WITH SCORE 67473.926
AT ITER 18 NEW BEST:: SOT 307470 SOS 92876 HAS SOPS 92876 HAS SOUS 67331 HAS SOUPS 67331 WITH SCORE 67423.876
AT ITER 21 NEW BEST:: SOT 307445 SOS 92826 HAS SOPS 92826 HAS SOUS 67281 HAS SOUPS 67281 WITH SCORE 67373.826
AT ITER 28 NEW BEST:: SOT 307436 SOS 92840 HAS SOPS 92840 HAS SOUS 67276 HAS SOUPS 67276 WITH SCORE 67368.84
AT ITER 29 NEW BEST:: SOT 307362 SOS 92830 HAS SOPS 92830 HAS SOUS 67184 HAS SOUPS 67184 WITH SCORE 67276.83
AT ITER 34 NEW BEST:: SOT 307354 SOS 92814 HAS SOPS 92814 HAS SOUS 67168 HAS SOUPS 67168 WITH SCORE 67260.814
AT ITER 42 NEW BEST:: SOT 307221 SOS 92669 HAS SOPS 92669 HAS SOUS 66951 HAS SOUPS 66951 WITH SCORE 67043.669
AT ITER 57 NEW BEST:: SOT 307084 SOS 92258 HAS SOPS 92258 HAS SOUS 66677 HAS SOUPS 66677 WITH SCORE 66769.258
AT ITER 78 NEW BEST:: SOT 307074 SOS 92338 HAS SOPS 92338 HAS SOUS 66657 HAS SOUPS 66657 WITH SCORE 66749.338
AT ITER 79 NEW BEST:: SOT 304933 SOS 92346 HAS SOPS 92346 HAS SOUS 64516 HAS SOUPS 64516 WITH SCORE 64608.346
AT ITER 80 NEW BEST:: SOT 304851 SOS 92228 HAS SOPS 92228 HAS SOUS 64516 HAS SOUPS 64516 WITH SCORE 64608.228
AT ITER 86 NEW BEST:: SOT 304855 SOS 92236 HAS SOPS 92236 HAS SOUS 64339 HAS SOUPS 64339 WITH SCORE 64431.236
AT ITER 90 NEW BEST:: SOT 304855 SOS 92168 HAS SOPS 92168 HAS SOUS 64339 HAS SOUPS 64339 WITH SCORE 64431.168
AT ITER 97 NEW BEST:: SOT 304781 SOS 92020 HAS SOPS 92020 HAS SOUS 64265 HAS SOUPS 64265 WITH SCORE 64357.02
AT ITER 119 NEW BEST:: SOT 304631 SOS 91720 HAS SOPS 91720 HAS SOUS 64115 HAS SOUPS 64115 WITH SCORE 64206.72
AT ITER 133 NEW BEST:: SOT 304456 SOS 91586 HAS SOPS 91586 HAS SOUS 64095 HAS SOUPS 64095 WITH SCORE 64186.586
AT ITER 139 NEW BEST:: SOT 304425 SOS 91524 HAS SOPS 91524 HAS SOUS 63910 HAS SOUPS 63910 WITH SCORE 64001.524
AT ITER 144 NEW BEST:: SOT 304294 SOS 91294 HAS SOPS 91294 HAS SOUS 63680 HAS SOUPS 63680 WITH SCORE 63771.294
AT ITER 150 NEW BEST:: SOT 304265 SOS 91229 HAS SOPS 91229 HAS SOUS 63673 HAS SOUPS 63673 WITH SCORE 63764.229
AT ITER 161 NEW BEST:: SOT 304195 SOS 91258 HAS SOPS 91258 HAS SOUS 63483 HAS SOUPS 63483 WITH SCORE 63574.258
AT ITER 175 NEW BEST:: SOT 304142 SOS 91099 HAS SOPS 91099 HAS SOUS 63374 HAS SOUPS 63374 WITH SCORE 63465.099
AT ITER 177 NEW BEST:: SOT 302471 SOS 102895 HAS SOPS 102895 HAS SOUS 62205 HAS SOUPS 62205 WITH SCORE 62307.895
AT ITER 180 NEW BEST:: SOT 301482 SOS 102989 HAS SOPS 102989 HAS SOUS 61290 HAS SOUPS 61290 WITH SCORE 61392.989
AT ITER 189 NEW BEST:: SOT 301481 SOS 103142 HAS SOPS 103142 HAS SOUS 61288 HAS SOUPS 61288 WITH SCORE 61391.142
AT ITER 190 NEW BEST:: SOT 301271 SOS 103082 HAS SOPS 103082 HAS SOUS 61266 HAS SOUPS 61266 WITH SCORE 61369.082
AT ITER 204 NEW BEST:: SOT 301236 SOS 103120 HAS SOPS 103120 HAS SOUS 61238 HAS SOUPS 61238 WITH SCORE 61341.12
AT ITER 205 NEW BEST:: SOT 301236 SOS 103068 HAS SOPS 103068 HAS SOUS 61238 HAS SOUPS 61238 WITH SCORE 61341.068
AT ITER 206 NEW BEST:: SOT 301207 SOS 103010 HAS SOPS 103010 HAS SOUS 61180 HAS SOUPS 61180 WITH SCORE 61283.01
AT ITER 208 NEW BEST:: SOT 301207 SOS 103010 HAS SOPS 103010 HAS SOUS 61176 HAS SOUPS 61176 WITH SCORE 61279.01
AT ITER 223 NEW BEST:: SOT 301170 SOS 102936 HAS SOPS 102936 HAS SOUS 61001 HAS SOUPS 61001 WITH SCORE 61103.936
AT ITER 233 NEW BEST:: SOT 300966 SOS 102936 HAS SOPS 102936 HAS SOUS 60996 HAS SOUPS 60996 WITH SCORE 61098.936
AT ITER 239 NEW BEST:: SOT 300902 SOS 102808 HAS SOPS 102808 HAS SOUS 60868 HAS SOUPS 60868 WITH SCORE 60970.808
AT ITER 250 NEW BEST:: SOT 300704 SOS 103280 HAS SOPS 103280 HAS SOUS 60787 HAS SOUPS 60787 WITH SCORE 60890.28
AT ITER 262 NEW BEST:: SOT 300653 SOS 103230 HAS SOPS 103230 HAS SOUS 60736 HAS SOUPS 60736 WITH SCORE 60839.23
AT ITER 276 NEW BEST:: SOT 300653 SOS 103230 HAS SOPS 103230 HAS SOUS 60728 HAS SOUPS 60728 WITH SCORE 60831.23
AT ITER 285 NEW BEST:: SOT 300587 SOS 103150 HAS SOPS 103150 HAS SOUS 60695 HAS SOUPS 60695 WITH SCORE 60798.15
AT ITER 291 NEW BEST:: SOT 300557 SOS 103125 HAS SOPS 103125 HAS SOUS 60665 HAS SOUPS 60665 WITH SCORE 60768.125
AT ITER 295 NEW BEST:: SOT 300416 SOS 102702 HAS SOPS 102702 HAS SOUS 60524 HAS SOUPS 60524 WITH SCORE 60626.702
AT ITER 304 NEW BEST:: SOT 300246 SOS 103939 HAS SOPS 103939 HAS SOUS 60315 HAS SOUPS 60315 WITH SCORE 60418.939
AT ITER 307 NEW BEST:: SOT 300173 SOS 103876 HAS SOPS 103876 HAS SOUS 60175 HAS SOUPS 60175 WITH SCORE 60278.876
AT ITER 312 NEW BEST:: SOT 300025 SOS 94848 HAS SOPS 94848 HAS SOUS 59879 HAS SOUPS 59879 WITH SCORE 59973.848
AT ITER 319 NEW BEST:: SOT 299763 SOS 97478 HAS SOPS 97478 HAS SOUS 59726 HAS SOUPS 59726 WITH SCORE 59823.478
AT ITER 323 NEW BEST:: SOT 299625 SOS 97528 HAS SOPS 97528 HAS SOUS 59659 HAS SOUPS 59659 WITH SCORE 59756.528
AT ITER 345 NEW BEST:: SOT 299561 SOS 97507 HAS SOPS 97507 HAS SOUS 59638 HAS SOUPS 59638 WITH SCORE 59735.507
AT ITER 348 NEW BEST:: SOT 299636 SOS 97582 HAS SOPS 97582 HAS SOUS 59448 HAS SOUPS 59448 WITH SCORE 59545.582
AT ITER 349 NEW BEST:: SOT 299636 SOS 97547 HAS SOPS 97547 HAS SOUS 59448 HAS SOUPS 59448 WITH SCORE 59545.547
AT ITER 362 NEW BEST:: SOT 299532 SOS 97339 HAS SOPS 97339 HAS SOUS 59344 HAS SOUPS 59344 WITH SCORE 59441.339
AT ITER 366 NEW BEST:: SOT 299465 SOS 97205 HAS SOPS 97205 HAS SOUS 59210 HAS SOUPS 59210 WITH SCORE 59307.205
AT ITER 372 NEW BEST:: SOT 299405 SOS 97085 HAS SOPS 97085 HAS SOUS 59007 HAS SOUPS 59007 WITH SCORE 59104.085
AT ITER 380 NEW BEST:: SOT 299405 SOS 97034 HAS SOPS 97034 HAS SOUS 59007 HAS SOUPS 59007 WITH SCORE 59104.034
AT ITER 404 NEW BEST:: SOT 299365 SOS 97031 HAS SOPS 97031 HAS SOUS 59005 HAS SOUPS 59005 WITH SCORE 59102.031
AT ITER 419 NEW BEST:: SOT 299403 SOS 96968 HAS SOPS 96968 HAS SOUS 58894 HAS SOUPS 58894 WITH SCORE 58990.968
AT ITER 420 NEW BEST:: SOT 299390 SOS 96942 HAS SOPS 96942 HAS SOUS 58868 HAS SOUPS 58868 WITH SCORE 58964.942
AT ITER 439 NEW BEST:: SOT 299359 SOS 97023 HAS SOPS 97023 HAS SOUS 58837 HAS SOUPS 58837 WITH SCORE 58934.023
AT ITER 440 NEW BEST:: SOT 299191 SOS 97035 HAS SOPS 97035 HAS SOUS 58795 HAS SOUPS 58795 WITH SCORE 58892.035
AT ITER 445 NEW BEST:: SOT 299145 SOS 96878 HAS SOPS 96878 HAS SOUS 58586 HAS SOUPS 58586 WITH SCORE 58682.878
AT ITER 447 NEW BEST:: SOT 299131 SOS 96850 HAS SOPS 96850 HAS SOUS 58571 HAS SOUPS 58571 WITH SCORE 58667.85
AT ITER 455 NEW BEST:: SOT 299228 SOS 96953 HAS SOPS 96953 HAS SOUS 58555 HAS SOUPS 58555 WITH SCORE 58651.953
AT ITER 465 NEW BEST:: SOT 299317 SOS 97131 HAS SOPS 97131 HAS SOUS 58487 HAS SOUPS 58487 WITH SCORE 58584.131
AT ITER 472 NEW BEST:: SOT 299297 SOS 97091 HAS SOPS 97091 HAS SOUS 58447 HAS SOUPS 58447 WITH SCORE 58544.091
AT ITER 473 NEW BEST:: SOT 299297 SOS 97044 HAS SOPS 97044 HAS SOUS 58447 HAS SOUPS 58447 WITH SCORE 58544.044
AT ITER 478 NEW BEST:: SOT 299297 SOS 97021 HAS SOPS 97021 HAS SOUS 58423 HAS SOUPS 58423 WITH SCORE 58520.021
AT ITER 479 NEW BEST:: SOT 299284 SOS 96995 HAS SOPS 96995 HAS SOUS 58397 HAS SOUPS 58397 WITH SCORE 58493.995
AT ITER 480 NEW BEST:: SOT 299282 SOS 96991 HAS SOPS 96991 HAS SOUS 58393 HAS SOUPS 58393 WITH SCORE 58489.991
AT ITER 485 NEW BEST:: SOT 299259 SOS 96945 HAS SOPS 96945 HAS SOUS 58393 HAS SOUPS 58393 WITH SCORE 58489.945
AT ITER 493 NEW BEST:: SOT 299165 SOS 96757 HAS SOPS 96757 HAS SOUS 58288 HAS SOUPS 58288 WITH SCORE 58384.757
AT ITER 506 NEW BEST:: SOT 299165 SOS 96757 HAS SOPS 96757 HAS SOUS 58285 HAS SOUPS 58285 WITH SCORE 58381.757
AT ITER 513 NEW BEST:: SOT 299096 SOS 96710 HAS SOPS 96710 HAS SOUS 58173 HAS SOUPS 58173 WITH SCORE 58269.71
AT ITER 521 NEW BEST:: SOT 299031 SOS 96403 HAS SOPS 96403 HAS SOUS 57961 HAS SOUPS 57961 WITH SCORE 58057.403
AT ITER 526 NEW BEST:: SOT 299031 SOS 96403 HAS SOPS 96403 HAS SOUS 57960 HAS SOUPS 57960 WITH SCORE 58056.403
AT ITER 527 NEW BEST:: SOT 298975 SOS 96258 HAS SOPS 96258 HAS SOUS 57787 HAS SOUPS 57787 WITH SCORE 57883.258
AT ITER 530 NEW BEST:: SOT 298971 SOS 96254 HAS SOPS 96254 HAS SOUS 57783 HAS SOUPS 57783 WITH SCORE 57879.254
AT ITER 540 NEW BEST:: SOT 298997 SOS 96126 HAS SOPS 96126 HAS SOUS 57740 HAS SOUPS 57740 WITH SCORE 57836.126
AT ITER 544 NEW BEST:: SOT 298997 SOS 96266 HAS SOPS 96266 HAS SOUS 57692 HAS SOUPS 57692 WITH SCORE 57788.266
AT ITER 548 NEW BEST:: SOT 298948 SOS 99165 HAS SOPS 99165 HAS SOUS 57666 HAS SOUPS 57666 WITH SCORE 57765.165
AT ITER 558 NEW BEST:: SOT 298931 SOS 99180 HAS SOPS 99180 HAS SOUS 57632 HAS SOUPS 57632 WITH SCORE 57731.18
AT ITER 582 NEW BEST:: SOT 298899 SOS 98892 HAS SOPS 98892 HAS SOUS 57568 HAS SOUPS 57568 WITH SCORE 57666.892
AT ITER 593 NEW BEST:: SOT 298886 SOS 98848 HAS SOPS 98848 HAS SOUS 57555 HAS SOUPS 57555 WITH SCORE 57653.848
AT ITER 606 NEW BEST:: SOT 298881 SOS 98838 HAS SOPS 98838 HAS SOUS 57545 HAS SOUPS 57545 WITH SCORE 57643.838
AT ITER 607 NEW BEST:: SOT 298917 SOS 98910 HAS SOPS 98910 HAS SOUS 57443 HAS SOUPS 57443 WITH SCORE 57541.91
AT ITER 609 NEW BEST:: SOT 298762 SOS 98908 HAS SOPS 98908 HAS SOUS 57435 HAS SOUPS 57435 WITH SCORE 57533.908
AT ITER 624 NEW BEST:: SOT 298722 SOS 93849 HAS SOPS 93849 HAS SOUS 57376 HAS SOUPS 57376 WITH SCORE 57469.849
AT ITER 627 NEW BEST:: SOT 298715 SOS 93835 HAS SOPS 93835 HAS SOUS 57376 HAS SOUPS 57376 WITH SCORE 57469.835
AT ITER 639 NEW BEST:: SOT 298708 SOS 93821 HAS SOPS 93821 HAS SOUS 57362 HAS SOUPS 57362 WITH SCORE 57455.821
AT ITER 647 NEW BEST:: SOT 298707 SOS 93819 HAS SOPS 93819 HAS SOUS 57360 HAS SOUPS 57360 WITH SCORE 57453.819
AT ITER 651 NEW BEST:: SOT 298776 SOS 93750 HAS SOPS 93750 HAS SOUS 57360 HAS SOUPS 57360 WITH SCORE 57453.75
AT ITER 662 NEW BEST:: SOT 298717 SOS 93632 HAS SOPS 93632 HAS SOUS 57324 HAS SOUPS 57324 WITH SCORE 57417.632
AT ITER 665 NEW BEST:: SOT 298226 SOS 98303 HAS SOPS 98303 HAS SOUS 57068 HAS SOUPS 57068 WITH SCORE 57166.303
AT ITER 667 NEW BEST:: SOT 298226 SOS 98303 HAS SOPS 98303 HAS SOUS 57063 HAS SOUPS 57063 WITH SCORE 57161.303
AT ITER 674 NEW BEST:: SOT 298140 SOS 98174 HAS SOPS 98174 HAS SOUS 57019 HAS SOUPS 57019 WITH SCORE 57117.174
AT ITER 681 NEW BEST:: SOT 298202 SOS 98325 HAS SOPS 98325 HAS SOUS 57011 HAS SOUPS 57011 WITH SCORE 57109.325
AT ITER 697 NEW BEST:: SOT 298139 SOS 98080 HAS SOPS 98080 HAS SOUS 56995 HAS SOUPS 56995 WITH SCORE 57093.08
AT ITER 698 NEW BEST:: SOT 298093 SOS 98091 HAS SOPS 98091 HAS SOUS 56973 HAS SOUPS 56973 WITH SCORE 57071.091
AT ITER 707 NEW BEST:: SOT 298083 SOS 97972 HAS SOPS 97972 HAS SOUS 56954 HAS SOUPS 56954 WITH SCORE 57051.972
AT ITER 722 NEW BEST:: SOT 298083 SOS 97972 HAS SOPS 97972 HAS SOUS 56908 HAS SOUPS 56908 WITH SCORE 57005.972
AT ITER 733 NEW BEST:: SOT 297560 SOS 100277 HAS SOPS 100277 HAS SOUS 56889 HAS SOUPS 56889 WITH SCORE 56989.277
AT ITER 739 NEW BEST:: SOT 297435 SOS 100027 HAS SOPS 100027 HAS SOUS 56764 HAS SOUPS 56764 WITH SCORE 56864.027
AT ITER 740 NEW BEST:: SOT 297398 SOS 99879 HAS SOPS 99879 HAS SOUS 56727 HAS SOUPS 56727 WITH SCORE 56826.879
AT ITER 759 NEW BEST:: SOT 297196 SOS 99601 HAS SOPS 99601 HAS SOUS 56433 HAS SOUPS 56433 WITH SCORE 56532.601
AT ITER 767 NEW BEST:: SOT 297047 SOS 99433 HAS SOPS 99433 HAS SOUS 56393 HAS SOUPS 56393 WITH SCORE 56492.433
AT ITER 771 NEW BEST:: SOT 297032 SOS 99477 HAS SOPS 99477 HAS SOUS 56355 HAS SOUPS 56355 WITH SCORE 56454.477
AT ITER 774 NEW BEST:: SOT 297032 SOS 99477 HAS SOPS 99477 HAS SOUS 56347 HAS SOUPS 56347 WITH SCORE 56446.477
AT ITER 784 NEW BEST:: SOT 297024 SOS 99469 HAS SOPS 99469 HAS SOUS 56347 HAS SOUPS 56347 WITH SCORE 56446.469
AT ITER 789 NEW BEST:: SOT 296938 SOS 99519 HAS SOPS 99519 HAS SOUS 56272 HAS SOUPS 56272 WITH SCORE 56371.519
AT ITER 792 NEW BEST:: SOT 296884 SOS 99384 HAS SOPS 99384 HAS SOUS 56196 HAS SOUPS 56196 WITH SCORE 56295.384
AT ITER 807 NEW BEST:: SOT 296899 SOS 99392 HAS SOPS 99392 HAS SOUS 56182 HAS SOUPS 56182 WITH SCORE 56281.392
AT ITER 821 NEW BEST:: SOT 296894 SOS 99382 HAS SOPS 99382 HAS SOUS 56172 HAS SOUPS 56172 WITH SCORE 56271.382
AT ITER 831 NEW BEST:: SOT 296855 SOS 99407 HAS SOPS 99407 HAS SOUS 56136 HAS SOUPS 56136 WITH SCORE 56235.407
AT ITER 842 NEW BEST:: SOT 296712 SOS 99155 HAS SOPS 99155 HAS SOUS 55906 HAS SOUPS 55906 WITH SCORE 56005.155
AT ITER 848 NEW BEST:: SOT 296534 SOS 99065 HAS SOPS 99065 HAS SOUS 55892 HAS SOUPS 55892 WITH SCORE 55991.065
AT ITER 850 NEW BEST:: SOT 296544 SOS 99085 HAS SOPS 99085 HAS SOUS 55776 HAS SOUPS 55776 WITH SCORE 55875.085
AT ITER 851 NEW BEST:: SOT 296484 SOS 98840 HAS SOPS 98840 HAS SOUS 55716 HAS SOUPS 55716 WITH SCORE 55814.84
AT ITER 876 NEW BEST:: SOT 296467 SOS 98694 HAS SOPS 98694 HAS SOUS 55699 HAS SOUPS 55699 WITH SCORE 55797.694
AT ITER 878 NEW BEST:: SOT 296338 SOS 98307 HAS SOPS 98307 HAS SOUS 55570 HAS SOUPS 55570 WITH SCORE 55668.307
AT ITER 881 NEW BEST:: SOT 296404 SOS 98293 HAS SOPS 98293 HAS SOUS 55482 HAS SOUPS 55482 WITH SCORE 55580.293
AT ITER 890 NEW BEST:: SOT 296273 SOS 98099 HAS SOPS 98099 HAS SOUS 55330 HAS SOUPS 55330 WITH SCORE 55428.099
AT ITER 902 NEW BEST:: SOT 296296 SOS 98145 HAS SOPS 98145 HAS SOUS 55266 HAS SOUPS 55266 WITH SCORE 55364.145
AT ITER 906 NEW BEST:: SOT 296252 SOS 98057 HAS SOPS 98057 HAS SOUS 55205 HAS SOUPS 55205 WITH SCORE 55303.057
AT ITER 912 NEW BEST:: SOT 296243 SOS 98039 HAS SOPS 98039 HAS SOUS 55139 HAS SOUPS 55139 WITH SCORE 55237.039
AT ITER 913 NEW BEST:: SOT 296253 SOS 97988 HAS SOPS 97988 HAS SOUS 55097 HAS SOUPS 55097 WITH SCORE 55194.988
AT ITER 920 NEW BEST:: SOT 296225 SOS 97932 HAS SOPS 97932 HAS SOUS 55041 HAS SOUPS 55041 WITH SCORE 55138.932
AT ITER 922 NEW BEST:: SOT 296092 SOS 97666 HAS SOPS 97666 HAS SOUS 54951 HAS SOUPS 54951 WITH SCORE 55048.666
AT ITER 925 NEW BEST:: SOT 296072 SOS 97626 HAS SOPS 97626 HAS SOUS 54951 HAS SOUPS 54951 WITH SCORE 55048.626
AT ITER 938 NEW BEST:: SOT 296072 SOS 97626 HAS SOPS 97626 HAS SOUS 54949 HAS SOUPS 54949 WITH SCORE 55046.626
AT ITER 942 NEW BEST:: SOT 296042 SOS 97566 HAS SOPS 97566 HAS SOUS 54925 HAS SOUPS 54925 WITH SCORE 55022.566
AT ITER 956 NEW BEST:: SOT 296038 SOS 97562 HAS SOPS 97562 HAS SOUS 54921 HAS SOUPS 54921 WITH SCORE 55018.562
AT ITER 976 NEW BEST:: SOT 296077 SOS 97523 HAS SOPS 97523 HAS SOUS 54839 HAS SOUPS 54839 WITH SCORE 54936.523
AT ITER 979 NEW BEST:: SOT 296077 SOS 97523 HAS SOPS 97523 HAS SOUS 54794 HAS SOUPS 54794 WITH SCORE 54891.523
AT ITER 986 NEW BEST:: SOT 296077 SOS 97523 HAS SOPS 97523 HAS SOUS 54721 HAS SOUPS 54721 WITH SCORE 54818.523
AT ITER 996 NEW BEST:: SOT 295998 SOS 97496 HAS SOPS 97496 HAS SOUS 54657 HAS SOUPS 54657 WITH SCORE 54754.496
AT ITER 999 NEW BEST:: SOT 295989 SOS 97478 HAS SOPS 97478 HAS SOUS 54648 HAS SOUPS 54648 WITH SCORE 54745.478
AT ITER 1001 NEW BEST:: SOT 295989 SOS 97478 HAS SOPS 97478 HAS SOUS 54626 HAS SOUPS 54626 WITH SCORE 54723.478
AT ITER 1003 NEW BEST:: SOT 295981 SOS 97470 HAS SOPS 97470 HAS SOUS 54626 HAS SOUPS 54626 WITH SCORE 54723.47
AT ITER 1005 NEW BEST:: SOT 295955 SOS 97366 HAS SOPS 97366 HAS SOUS 54602 HAS SOUPS 54602 WITH SCORE 54699.366
AT ITER 1023 NEW BEST:: SOT 295907 SOS 97270 HAS SOPS 97270 HAS SOUS 54568 HAS SOUPS 54568 WITH SCORE 54665.27
AT ITER 1025 NEW BEST:: SOT 295875 SOS 97319 HAS SOPS 97319 HAS SOUS 54504 HAS SOUPS 54504 WITH SCORE 54601.319
AT ITER 1028 NEW BEST:: SOT 295860 SOS 97304 HAS SOPS 97304 HAS SOUS 54483 HAS SOUPS 54483 WITH SCORE 54580.304
AT ITER 1030 NEW BEST:: SOT 295829 SOS 97242 HAS SOPS 97242 HAS SOUS 54421 HAS SOUPS 54421 WITH SCORE 54518.242
AT ITER 1034 NEW BEST:: SOT 295714 SOS 96844 HAS SOPS 96844 HAS SOUS 54306 HAS SOUPS 54306 WITH SCORE 54402.844
AT ITER 1039 NEW BEST:: SOT 295712 SOS 96840 HAS SOPS 96840 HAS SOUS 54303 HAS SOUPS 54303 WITH SCORE 54399.84
AT ITER 1064 NEW BEST:: SOT 295648 SOS 96712 HAS SOPS 96712 HAS SOUS 54243 HAS SOUPS 54243 WITH SCORE 54339.712
AT ITER 1066 NEW BEST:: SOT 295635 SOS 96686 HAS SOPS 96686 HAS SOUS 54230 HAS SOUPS 54230 WITH SCORE 54326.686
AT ITER 1067 NEW BEST:: SOT 295574 SOS 96625 HAS SOPS 96625 HAS SOUS 54169 HAS SOUPS 54169 WITH SCORE 54265.625
AT ITER 1068 NEW BEST:: SOT 295548 SOS 95718 HAS SOPS 95718 HAS SOUS 54026 HAS SOUPS 54026 WITH SCORE 54121.718
AT ITER 1071 NEW BEST:: SOT 295516 SOS 95654 HAS SOPS 95654 HAS SOUS 54026 HAS SOUPS 54026 WITH SCORE 54121.654
AT ITER 1072 NEW BEST:: SOT 295502 SOS 95626 HAS SOPS 95626 HAS SOUS 54012 HAS SOUPS 54012 WITH SCORE 54107.626
AT ITER 1095 NEW BEST:: SOT 295409 SOS 95440 HAS SOPS 95440 HAS SOUS 53919 HAS SOUPS 53919 WITH SCORE 54014.44
AT ITER 1102 NEW BEST:: SOT 295415 SOS 94696 HAS SOPS 94696 HAS SOUS 53897 HAS SOUPS 53897 WITH SCORE 53991.696
AT ITER 1105 NEW BEST:: SOT 295413 SOS 94711 HAS SOPS 94711 HAS SOUS 53895 HAS SOUPS 53895 WITH SCORE 53989.711
AT ITER 1109 NEW BEST:: SOT 295413 SOS 94704 HAS SOPS 94704 HAS SOUS 53888 HAS SOUPS 53888 WITH SCORE 53982.704
AT ITER 1113 NEW BEST:: SOT 295349 SOS 94615 HAS SOPS 94615 HAS SOUS 53799 HAS SOUPS 53799 WITH SCORE 53893.615
AT ITER 1117 NEW BEST:: SOT 294365 SOS 96614 HAS SOPS 96614 HAS SOUS 53440 HAS SOUPS 53440 WITH SCORE 53536.614
AT ITER 1124 NEW BEST:: SOT 294327 SOS 96538 HAS SOPS 96538 HAS SOUS 53409 HAS SOUPS 53409 WITH SCORE 53505.538
AT ITER 1128 NEW BEST:: SOT 294295 SOS 96511 HAS SOPS 96511 HAS SOUS 53389 HAS SOUPS 53389 WITH SCORE 53485.511
AT ITER 1129 NEW BEST:: SOT 294295 SOS 96464 HAS SOPS 96464 HAS SOUS 53342 HAS SOUPS 53342 WITH SCORE 53438.464
AT ITER 1148 NEW BEST:: SOT 294255 SOS 96384 HAS SOPS 96384 HAS SOUS 53196 HAS SOUPS 53196 WITH SCORE 53292.384
AT ITER 1149 NEW BEST:: SOT 294153 SOS 96648 HAS SOPS 96648 HAS SOUS 53137 HAS SOUPS 53137 WITH SCORE 53233.648
AT ITER 1167 NEW BEST:: SOT 294139 SOS 96620 HAS SOPS 96620 HAS SOUS 53109 HAS SOUPS 53109 WITH SCORE 53205.62
AT ITER 1176 NEW BEST:: SOT 294066 SOS 96559 HAS SOPS 96559 HAS SOUS 53035 HAS SOUPS 53035 WITH SCORE 53131.559
AT ITER 1188 NEW BEST:: SOT 293768 SOS 96651 HAS SOPS 96651 HAS SOUS 52835 HAS SOUPS 52835 WITH SCORE 52931.651
AT ITER 1215 NEW BEST:: SOT 293714 SOS 96543 HAS SOPS 96543 HAS SOUS 52672 HAS SOUPS 52672 WITH SCORE 52768.543
AT ITER 1228 NEW BEST:: SOT 293686 SOS 96487 HAS SOPS 96487 HAS SOUS 52616 HAS SOUPS 52616 WITH SCORE 52712.487
AT ITER 1230 NEW BEST:: SOT 293735 SOS 96254 HAS SOPS 96254 HAS SOUS 52581 HAS SOUPS 52581 WITH SCORE 52677.254
AT ITER 1239 NEW BEST:: SOT 293657 SOS 96149 HAS SOPS 96149 HAS SOUS 52476 HAS SOUPS 52476 WITH SCORE 52572.149
AT ITER 1240 NEW BEST:: SOT 293634 SOS 96103 HAS SOPS 96103 HAS SOUS 52430 HAS SOUPS 52430 WITH SCORE 52526.103
AT ITER 1245 NEW BEST:: SOT 293634 SOS 96105 HAS SOPS 96105 HAS SOUS 52428 HAS SOUPS 52428 WITH SCORE 52524.105
AT ITER 1266 NEW BEST:: SOT 293569 SOS 95975 HAS SOPS 95975 HAS SOUS 52298 HAS SOUPS 52298 WITH SCORE 52393.975
AT ITER 1270 NEW BEST:: SOT 293556 SOS 95949 HAS SOPS 95949 HAS SOUS 52274 HAS SOUPS 52274 WITH SCORE 52369.949
AT ITER 1276 NEW BEST:: SOT 293482 SOS 95702 HAS SOPS 95702 HAS SOUS 52163 HAS SOUPS 52163 WITH SCORE 52258.702
AT ITER 1279 NEW BEST:: SOT 293421 SOS 95580 HAS SOPS 95580 HAS SOUS 52075 HAS SOUPS 52075 WITH SCORE 52170.58
AT ITER 1292 NEW BEST:: SOT 293368 SOS 95586 HAS SOPS 95586 HAS SOUS 52058 HAS SOUPS 52058 WITH SCORE 52153.586
AT ITER 1306 NEW BEST:: SOT 293356 SOS 95562 HAS SOPS 95562 HAS SOUS 52034 HAS SOUPS 52034 WITH SCORE 52129.562
AT ITER 1309 NEW BEST:: SOT 293355 SOS 95511 HAS SOPS 95511 HAS SOUS 52032 HAS SOUPS 52032 WITH SCORE 52127.511
AT ITER 1310 NEW BEST:: SOT 293355 SOS 95496 HAS SOPS 95496 HAS SOUS 52017 HAS SOUPS 52017 WITH SCORE 52112.496
AT ITER 1313 NEW BEST:: SOT 293338 SOS 95462 HAS SOPS 95462 HAS SOUS 52011 HAS SOUPS 52011 WITH SCORE 52106.462
AT ITER 1315 NEW BEST:: SOT 293300 SOS 95424 HAS SOPS 95424 HAS SOUS 52011 HAS SOUPS 52011 WITH SCORE 52106.424
AT ITER 1326 NEW BEST:: SOT 293422 SOS 95675 HAS SOPS 95675 HAS SOUS 51995 HAS SOUPS 51995 WITH SCORE 52090.675
AT ITER 1330 NEW BEST:: SOT 293343 SOS 95588 HAS SOPS 95588 HAS SOUS 51995 HAS SOUPS 51995 WITH SCORE 52090.588
AT ITER 1367 NEW BEST:: SOT 293380 SOS 95625 HAS SOPS 95625 HAS SOUS 51992 HAS SOUPS 51992 WITH SCORE 52087.625
AT ITER 1372 NEW BEST:: SOT 293314 SOS 95493 HAS SOPS 95493 HAS SOUS 51926 HAS SOUPS 51926 WITH SCORE 52021.493
AT ITER 1395 NEW BEST:: SOT 293385 SOS 95263 HAS SOPS 95263 HAS SOUS 51926 HAS SOUPS 51926 WITH SCORE 52021.263
AT ITER 1428 NEW BEST:: SOT 293360 SOS 95355 HAS SOPS 95355 HAS SOUS 51865 HAS SOUPS 51865 WITH SCORE 51960.355
AT ITER 1443 NEW BEST:: SOT 293341 SOS 95317 HAS SOPS 95317 HAS SOUS 51815 HAS SOUPS 51815 WITH SCORE 51910.317
AT ITER 1445 NEW BEST:: SOT 293341 SOS 95308 HAS SOPS 95308 HAS SOUS 51815 HAS SOUPS 51815 WITH SCORE 51910.308
AT ITER 1451 NEW BEST:: SOT 293373 SOS 95340 HAS SOPS 95340 HAS SOUS 51803 HAS SOUPS 51803 WITH SCORE 51898.34
AT ITER 1470 NEW BEST:: SOT 293302 SOS 95098 HAS SOPS 95098 HAS SOUS 51703 HAS SOUPS 51703 WITH SCORE 51798.098
AT ITER 1475 NEW BEST:: SOT 293301 SOS 95096 HAS SOPS 95096 HAS SOUS 51701 HAS SOUPS 51701 WITH SCORE 51796.096
AT ITER 1484 NEW BEST:: SOT 293223 SOS 94940 HAS SOPS 94940 HAS SOUS 51584 HAS SOUPS 51584 WITH SCORE 51678.94
AT ITER 1485 NEW BEST:: SOT 293191 SOS 94876 HAS SOPS 94876 HAS SOUS 51543 HAS SOUPS 51543 WITH SCORE 51637.876
AT ITER 1500 NEW BEST:: SOT 293147 SOS 94713 HAS SOPS 94713 HAS SOUS 51352 HAS SOUPS 51352 WITH SCORE 51446.713
AT ITER 1515 NEW BEST:: SOT 293223 SOS 94789 HAS SOPS 94789 HAS SOUS 51343 HAS SOUPS 51343 WITH SCORE 51437.789
AT ITER 1523 NEW BEST:: SOT 293252 SOS 94801 HAS SOPS 94801 HAS SOUS 51326 HAS SOUPS 51326 WITH SCORE 51420.801
AT ITER 1527 NEW BEST:: SOT 293252 SOS 94801 HAS SOPS 94801 HAS SOUS 51221 HAS SOUPS 51221 WITH SCORE 51315.801
AT ITER 1530 NEW BEST:: SOT 293182 SOS 94661 HAS SOPS 94661 HAS SOUS 51081 HAS SOUPS 51081 WITH SCORE 51175.661
AT ITER 1540 NEW BEST:: SOT 293182 SOS 94661 HAS SOPS 94661 HAS SOUS 51077 HAS SOUPS 51077 WITH SCORE 51171.661
AT ITER 1542 NEW BEST:: SOT 293210 SOS 94689 HAS SOPS 94689 HAS SOUS 51071 HAS SOUPS 51071 WITH SCORE 51165.689
AT ITER 1550 NEW BEST:: SOT 293036 SOS 96512 HAS SOPS 96512 HAS SOUS 50925 HAS SOUPS 50925 WITH SCORE 51021.512
AT ITER 1553 NEW BEST:: SOT 293060 SOS 96560 HAS SOPS 96560 HAS SOUS 50906 HAS SOUPS 50906 WITH SCORE 51002.56
AT ITER 1558 NEW BEST:: SOT 292991 SOS 96422 HAS SOPS 96422 HAS SOUS 50837 HAS SOUPS 50837 WITH SCORE 50933.422
AT ITER 1566 NEW BEST:: SOT 292914 SOS 96315 HAS SOPS 96315 HAS SOUS 50771 HAS SOUPS 50771 WITH SCORE 50867.315
AT ITER 1567 NEW BEST:: SOT 292922 SOS 96314 HAS SOPS 96314 HAS SOUS 50770 HAS SOUPS 50770 WITH SCORE 50866.314
AT ITER 1583 NEW BEST:: SOT 291871 SOS 97332 HAS SOPS 97332 HAS SOUS 50079 HAS SOUPS 50079 WITH SCORE 50176.332
AT ITER 1607 NEW BEST:: SOT 291871 SOS 97332 HAS SOPS 97332 HAS SOUS 50065 HAS SOUPS 50065 WITH SCORE 50162.332
AT ITER 1612 NEW BEST:: SOT 291854 SOS 97310 HAS SOPS 97310 HAS SOUS 50055 HAS SOUPS 50055 WITH SCORE 50152.31
AT ITER 1615 NEW BEST:: SOT 291709 SOS 97170 HAS SOPS 97170 HAS SOUS 49890 HAS SOUPS 49890 WITH SCORE 49987.17
AT ITER 1625 NEW BEST:: SOT 291634 SOS 97095 HAS SOPS 97095 HAS SOUS 49815 HAS SOUPS 49815 WITH SCORE 49912.095
AT ITER 1629 NEW BEST:: SOT 291647 SOS 97121 HAS SOPS 97121 HAS SOUS 49783 HAS SOUPS 49783 WITH SCORE 49880.121
AT ITER 1633 NEW BEST:: SOT 291587 SOS 96941 HAS SOPS 96941 HAS SOUS 49783 HAS SOUPS 49783 WITH SCORE 49879.941
AT ITER 1639 NEW BEST:: SOT 291615 SOS 96997 HAS SOPS 96997 HAS SOUS 49761 HAS SOUPS 49761 WITH SCORE 49857.997
AT ITER 1648 NEW BEST:: SOT 291500 SOS 96699 HAS SOPS 96699 HAS SOUS 49578 HAS SOUPS 49578 WITH SCORE 49674.699
AT ITER 1649 NEW BEST:: SOT 291434 SOS 96567 HAS SOPS 96567 HAS SOUS 49544 HAS SOUPS 49544 WITH SCORE 49640.567
AT ITER 1655 NEW BEST:: SOT 290834 SOS 100787 HAS SOPS 100787 HAS SOUS 49380 HAS SOUPS 49380 WITH SCORE 49480.787
AT ITER 1680 NEW BEST:: SOT 290822 SOS 100763 HAS SOPS 100763 HAS SOUS 49345 HAS SOUPS 49345 WITH SCORE 49445.763
AT ITER 1682 NEW BEST:: SOT 290822 SOS 100763 HAS SOPS 100763 HAS SOUS 49296 HAS SOUPS 49296 WITH SCORE 49396.763
AT ITER 1689 NEW BEST:: SOT 290686 SOS 100355 HAS SOPS 100355 HAS SOUS 49020 HAS SOUPS 49020 WITH SCORE 49120.355
AT ITER 1690 NEW BEST:: SOT 290661 SOS 100302 HAS SOPS 100302 HAS SOUS 48976 HAS SOUPS 48976 WITH SCORE 49076.302
AT ITER 1697 NEW BEST:: SOT 290661 SOS 100261 HAS SOPS 100261 HAS SOUS 48894 HAS SOUPS 48894 WITH SCORE 48994.261
AT ITER 1710 NEW BEST:: SOT 290661 SOS 100241 HAS SOPS 100241 HAS SOUS 48894 HAS SOUPS 48894 WITH SCORE 48994.241
AT ITER 1723 NEW BEST:: SOT 290703 SOS 100244 HAS SOPS 100244 HAS SOUS 48831 HAS SOUPS 48831 WITH SCORE 48931.244
AT ITER 1735 NEW BEST:: SOT 290666 SOS 100316 HAS SOPS 100316 HAS SOUS 48801 HAS SOUPS 48801 WITH SCORE 48901.316
AT ITER 1750 NEW BEST:: SOT 290558 SOS 100137 HAS SOPS 100137 HAS SOUS 48746 HAS SOUPS 48746 WITH SCORE 48846.137
AT ITER 1761 NEW BEST:: SOT 290558 SOS 100137 HAS SOPS 100137 HAS SOUS 48731 HAS SOUPS 48731 WITH SCORE 48831.137
AT ITER 1772 NEW BEST:: SOT 290423 SOS 99850 HAS SOPS 99850 HAS SOUS 48515 HAS SOUPS 48515 WITH SCORE 48614.85
AT ITER 1776 NEW BEST:: SOT 290423 SOS 99920 HAS SOPS 99920 HAS SOUS 48479 HAS SOUPS 48479 WITH SCORE 48578.92
AT ITER 1782 NEW BEST:: SOT 290405 SOS 99902 HAS SOPS 99902 HAS SOUS 48479 HAS SOUPS 48479 WITH SCORE 48578.902
AT ITER 1811 NEW BEST:: SOT 290405 SOS 99902 HAS SOPS 99902 HAS SOUS 48460 HAS SOUPS 48460 WITH SCORE 48559.902
AT ITER 1836 NEW BEST:: SOT 290277 SOS 99664 HAS SOPS 99664 HAS SOUS 48366 HAS SOUPS 48366 WITH SCORE 48465.664
AT ITER 1849 NEW BEST:: SOT 290261 SOS 99597 HAS SOPS 99597 HAS SOUS 48334 HAS SOUPS 48334 WITH SCORE 48433.597
AT ITER 1850 NEW BEST:: SOT 290193 SOS 99461 HAS SOPS 99461 HAS SOUS 48294 HAS SOUPS 48294 WITH SCORE 48393.461
AT ITER 1858 NEW BEST:: SOT 290192 SOS 99459 HAS SOPS 99459 HAS SOUS 48283 HAS SOUPS 48283 WITH SCORE 48382.459
AT ITER 1859 NEW BEST:: SOT 290113 SOS 99301 HAS SOPS 99301 HAS SOUS 48204 HAS SOUPS 48204 WITH SCORE 48303.301
AT ITER 1868 NEW BEST:: SOT 290071 SOS 99470 HAS SOPS 99470 HAS SOUS 47965 HAS SOUPS 47965 WITH SCORE 48064.47
AT ITER 1883 NEW BEST:: SOT 290089 SOS 99473 HAS SOPS 99473 HAS SOUS 47962 HAS SOUPS 47962 WITH SCORE 48061.473
AT ITER 1914 NEW BEST:: SOT 289862 SOS 99038 HAS SOPS 99038 HAS SOUS 47712 HAS SOUPS 47712 WITH SCORE 47811.038
AT ITER 1926 NEW BEST:: SOT 289804 SOS 98922 HAS SOPS 98922 HAS SOUS 47654 HAS SOUPS 47654 WITH SCORE 47752.922
AT ITER 1931 NEW BEST:: SOT 289786 SOS 98886 HAS SOPS 98886 HAS SOUS 47618 HAS SOUPS 47618 WITH SCORE 47716.886
AT ITER 1948 NEW BEST:: SOT 289789 SOS 98845 HAS SOPS 98845 HAS SOUS 47577 HAS SOUPS 47577 WITH SCORE 47675.845
AT ITER 1971 NEW BEST:: SOT 289880 SOS 98907 HAS SOPS 98907 HAS SOUS 47548 HAS SOUPS 47548 WITH SCORE 47646.907
AT ITER 1984 NEW BEST:: SOT 289865 SOS 98981 HAS SOPS 98981 HAS SOUS 47465 HAS SOUPS 47465 WITH SCORE 47563.981
AT ITER 1987 NEW BEST:: SOT 289884 SOS 99000 HAS SOPS 99000 HAS SOUS 47436 HAS SOUPS 47436 WITH SCORE 47535.0
AT ITER 1990 NEW BEST:: SOT 289900 SOS 98289 HAS SOPS 98289 HAS SOUS 47425 HAS SOUPS 47425 WITH SCORE 47523.289
AT ITER 2006 NEW BEST:: SOT 289908 SOS 98305 HAS SOPS 98305 HAS SOUS 47419 HAS SOUPS 47419 WITH SCORE 47517.305
AT ITER 2010 NEW BEST:: SOT 289889 SOS 98267 HAS SOPS 98267 HAS SOUS 47419 HAS SOUPS 47419 WITH SCORE 47517.267
AT ITER 2016 NEW BEST:: SOT 289861 SOS 98122 HAS SOPS 98122 HAS SOUS 47309 HAS SOUPS 47309 WITH SCORE 47407.122
AT ITER 2034 NEW BEST:: SOT 289823 SOS 98046 HAS SOPS 98046 HAS SOUS 47309 HAS SOUPS 47309 WITH SCORE 47407.046
AT ITER 2038 NEW BEST:: SOT 289739 SOS 97878 HAS SOPS 97878 HAS SOUS 47265 HAS SOUPS 47265 WITH SCORE 47362.878
AT ITER 2058 NEW BEST:: SOT 289704 SOS 97843 HAS SOPS 97843 HAS SOUS 47230 HAS SOUPS 47230 WITH SCORE 47327.843
AT ITER 2061 NEW BEST:: SOT 289699 SOS 97837 HAS SOPS 97837 HAS SOUS 47224 HAS SOUPS 47224 WITH SCORE 47321.837
AT ITER 2080 NEW BEST:: SOT 289699 SOS 97835 HAS SOPS 97835 HAS SOUS 47224 HAS SOUPS 47224 WITH SCORE 47321.835
AT ITER 2092 NEW BEST:: SOT 289698 SOS 97832 HAS SOPS 97832 HAS SOUS 47223 HAS SOUPS 47223 WITH SCORE 47320.832
AT ITER 2095 NEW BEST:: SOT 289697 SOS 97830 HAS SOPS 97830 HAS SOUS 47206 HAS SOUPS 47206 WITH SCORE 47303.83
AT ITER 2112 NEW BEST:: SOT 289728 SOS 97860 HAS SOPS 97860 HAS SOUS 47204 HAS SOUPS 47204 WITH SCORE 47301.86
AT ITER 2133 NEW BEST:: SOT 289570 SOS 98051 HAS SOPS 98051 HAS SOUS 46948 HAS SOUPS 46948 WITH SCORE 47046.051
AT ITER 2138 NEW BEST:: SOT 289570 SOS 98140 HAS SOPS 98140 HAS SOUS 46936 HAS SOUPS 46936 WITH SCORE 47034.14
AT ITER 2170 NEW BEST:: SOT 289577 SOS 98125 HAS SOPS 98125 HAS SOUS 46920 HAS SOUPS 46920 WITH SCORE 47018.125
AT ITER 2181 NEW BEST:: SOT 289510 SOS 97991 HAS SOPS 97991 HAS SOUS 46911 HAS SOUPS 46911 WITH SCORE 47008.991
AT ITER 2185 NEW BEST:: SOT 289523 SOS 98041 HAS SOPS 98041 HAS SOUS 46898 HAS SOUPS 46898 WITH SCORE 46996.041
AT ITER 2199 NEW BEST:: SOT 289371 SOS 97582 HAS SOPS 97582 HAS SOUS 46678 HAS SOUPS 46678 WITH SCORE 46775.582
AT ITER 2204 NEW BEST:: SOT 289269 SOS 96993 HAS SOPS 96993 HAS SOUS 46516 HAS SOUPS 46516 WITH SCORE 46612.993
AT ITER 2225 NEW BEST:: SOT 289269 SOS 96993 HAS SOPS 96993 HAS SOUS 46515 HAS SOUPS 46515 WITH SCORE 46611.993
AT ITER 2240 NEW BEST:: SOT 289192 SOS 96916 HAS SOPS 96916 HAS SOUS 46469 HAS SOUPS 46469 WITH SCORE 46565.916
AT ITER 2245 NEW BEST:: SOT 289185 SOS 96902 HAS SOPS 96902 HAS SOUS 46455 HAS SOUPS 46455 WITH SCORE 46551.902
AT ITER 2268 NEW BEST:: SOT 289121 SOS 96774 HAS SOPS 96774 HAS SOUS 46327 HAS SOUPS 46327 WITH SCORE 46423.774
AT ITER 2279 NEW BEST:: SOT 288953 SOS 96606 HAS SOPS 96606 HAS SOUS 46159 HAS SOUPS 46159 WITH SCORE 46255.606
AT ITER 2295 NEW BEST:: SOT 288926 SOS 96552 HAS SOPS 96552 HAS SOUS 46132 HAS SOUPS 46132 WITH SCORE 46228.552
AT ITER 2301 NEW BEST:: SOT 288893 SOS 96560 HAS SOPS 96560 HAS SOUS 46071 HAS SOUPS 46071 WITH SCORE 46167.56
AT ITER 2318 NEW BEST:: SOT 288893 SOS 96560 HAS SOPS 96560 HAS SOUS 46070 HAS SOUPS 46070 WITH SCORE 46166.56
AT ITER 2326 NEW BEST:: SOT 288745 SOS 96376 HAS SOPS 96376 HAS SOUS 45922 HAS SOUPS 45922 WITH SCORE 46018.376
AT ITER 2370 NEW BEST:: SOT 288742 SOS 96353 HAS SOPS 96353 HAS SOUS 45916 HAS SOUPS 45916 WITH SCORE 46012.353
AT ITER 2371 NEW BEST:: SOT 288752 SOS 96275 HAS SOPS 96275 HAS SOUS 45879 HAS SOUPS 45879 WITH SCORE 45975.275
AT ITER 2382 NEW BEST:: SOT 288699 SOS 96103 HAS SOPS 96103 HAS SOUS 45707 HAS SOUPS 45707 WITH SCORE 45803.103
AT ITER 2390 NEW BEST:: SOT 288690 SOS 96094 HAS SOPS 96094 HAS SOUS 45540 HAS SOUPS 45540 WITH SCORE 45636.094
AT ITER 2410 NEW BEST:: SOT 288690 SOS 96071 HAS SOPS 96071 HAS SOUS 45540 HAS SOUPS 45540 WITH SCORE 45636.071
AT ITER 2413 NEW BEST:: SOT 288685 SOS 96061 HAS SOPS 96061 HAS SOUS 45540 HAS SOUPS 45540 WITH SCORE 45636.061
AT ITER 2417 NEW BEST:: SOT 288478 SOS 95895 HAS SOPS 95895 HAS SOUS 45537 HAS SOUPS 45537 WITH SCORE 45632.895
AT ITER 2424 NEW BEST:: SOT 288452 SOS 95830 HAS SOPS 95830 HAS SOUS 45498 HAS SOUPS 45498 WITH SCORE 45593.83
AT ITER 2427 NEW BEST:: SOT 288512 SOS 95890 HAS SOPS 95890 HAS SOUS 45486 HAS SOUPS 45486 WITH SCORE 45581.89
AT ITER 2434 NEW BEST:: SOT 288475 SOS 95816 HAS SOPS 95816 HAS SOUS 45465 HAS SOUPS 45465 WITH SCORE 45560.816
AT ITER 2467 NEW BEST:: SOT 288480 SOS 95813 HAS SOPS 95813 HAS SOUS 45462 HAS SOUPS 45462 WITH SCORE 45557.813
AT ITER 2480 NEW BEST:: SOT 288433 SOS 95766 HAS SOPS 95766 HAS SOUS 45462 HAS SOUPS 45462 WITH SCORE 45557.766
AT ITER 2486 NEW BEST:: SOT 288433 SOS 95663 HAS SOPS 95663 HAS SOUS 45359 HAS SOUPS 45359 WITH SCORE 45454.663
AT ITER 2501 NEW BEST:: SOT 288386 SOS 95616 HAS SOPS 95616 HAS SOUS 45312 HAS SOUPS 45312 WITH SCORE 45407.616
AT ITER 2507 NEW BEST:: SOT 288336 SOS 95516 HAS SOPS 95516 HAS SOUS 45262 HAS SOUPS 45262 WITH SCORE 45357.516
AT ITER 2522 NEW BEST:: SOT 288362 SOS 95590 HAS SOPS 95590 HAS SOUS 45240 HAS SOUPS 45240 WITH SCORE 45335.59
AT ITER 2524 NEW BEST:: SOT 288265 SOS 95636 HAS SOPS 95636 HAS SOUS 45219 HAS SOUPS 45219 WITH SCORE 45314.636
AT ITER 2530 NEW BEST:: SOT 288223 SOS 95468 HAS SOPS 95468 HAS SOUS 45177 HAS SOUPS 45177 WITH SCORE 45272.468
AT ITER 2552 NEW BEST:: SOT 288223 SOS 95468 HAS SOPS 95468 HAS SOUS 45155 HAS SOUPS 45155 WITH SCORE 45250.468
AT ITER 2590 NEW BEST:: SOT 288223 SOS 95468 HAS SOPS 95468 HAS SOUS 45154 HAS SOUPS 45154 WITH SCORE 45249.468
AT ITER 2629 NEW BEST:: SOT 288181 SOS 95426 HAS SOPS 95426 HAS SOUS 45047 HAS SOUPS 45047 WITH SCORE 45142.426
AT ITER 2630 NEW BEST:: SOT 288168 SOS 95400 HAS SOPS 95400 HAS SOUS 45034 HAS SOUPS 45034 WITH SCORE 45129.4
AT ITER 2632 NEW BEST:: SOT 288107 SOS 95278 HAS SOPS 95278 HAS SOUS 44973 HAS SOUPS 44973 WITH SCORE 45068.278
AT ITER 2643 NEW BEST:: SOT 288032 SOS 95278 HAS SOPS 95278 HAS SOUS 44952 HAS SOUPS 44952 WITH SCORE 45047.278
AT ITER 2653 NEW BEST:: SOT 288092 SOS 95398 HAS SOPS 95398 HAS SOUS 44931 HAS SOUPS 44931 WITH SCORE 45026.398
AT ITER 2699 NEW BEST:: SOT 288092 SOS 95374 HAS SOPS 95374 HAS SOUS 44919 HAS SOUPS 44919 WITH SCORE 45014.374
AT ITER 2704 NEW BEST:: SOT 288052 SOS 95294 HAS SOPS 95294 HAS SOUS 44839 HAS SOUPS 44839 WITH SCORE 44934.294
AT ITER 2707 NEW BEST:: SOT 287995 SOS 95160 HAS SOPS 95160 HAS SOUS 44836 HAS SOUPS 44836 WITH SCORE 44931.16
AT ITER 2733 NEW BEST:: SOT 287988 SOS 95139 HAS SOPS 95139 HAS SOUS 44829 HAS SOUPS 44829 WITH SCORE 44924.139
AT ITER 2739 NEW BEST:: SOT 288009 SOS 95085 HAS SOPS 95085 HAS SOUS 44823 HAS SOUPS 44823 WITH SCORE 44918.085
AT ITER 2776 NEW BEST:: SOT 288006 SOS 95079 HAS SOPS 95079 HAS SOUS 44817 HAS SOUPS 44817 WITH SCORE 44912.079
AT ITER 2793 NEW BEST:: SOT 288006 SOS 95079 HAS SOPS 95079 HAS SOUS 44808 HAS SOUPS 44808 WITH SCORE 44903.079
AT ITER 2797 NEW BEST:: SOT 288006 SOS 95037 HAS SOPS 95037 HAS SOUS 44808 HAS SOUPS 44808 WITH SCORE 44903.037
AT ITER 2807 NEW BEST:: SOT 287996 SOS 95027 HAS SOPS 95027 HAS SOUS 44768 HAS SOUPS 44768 WITH SCORE 44863.027
AT ITER 2808 NEW BEST:: SOT 287977 SOS 94996 HAS SOPS 94996 HAS SOUS 44756 HAS SOUPS 44756 WITH SCORE 44850.996
AT ITER 2810 NEW BEST:: SOT 287977 SOS 94978 HAS SOPS 94978 HAS SOUS 44756 HAS SOUPS 44756 WITH SCORE 44850.978
AT ITER 2818 NEW BEST:: SOT 287958 SOS 94940 HAS SOPS 94940 HAS SOUS 44718 HAS SOUPS 44718 WITH SCORE 44812.94
AT ITER 2833 NEW BEST:: SOT 287948 SOS 94926 HAS SOPS 94926 HAS SOUS 44696 HAS SOUPS 44696 WITH SCORE 44790.926
AT ITER 2834 NEW BEST:: SOT 287851 SOS 94732 HAS SOPS 94732 HAS SOUS 44550 HAS SOUPS 44550 WITH SCORE 44644.732
AT ITER 2843 NEW BEST:: SOT 287846 SOS 94722 HAS SOPS 94722 HAS SOUS 44540 HAS SOUPS 44540 WITH SCORE 44634.722
AT ITER 2866 NEW BEST:: SOT 287879 SOS 94755 HAS SOPS 94755 HAS SOUS 44447 HAS SOUPS 44447 WITH SCORE 44541.755
AT ITER 2895 NEW BEST:: SOT 287853 SOS 94725 HAS SOPS 94725 HAS SOUS 44424 HAS SOUPS 44424 WITH SCORE 44518.725
AT ITER 2900 NEW BEST:: SOT 287853 SOS 94725 HAS SOPS 94725 HAS SOUS 44408 HAS SOUPS 44408 WITH SCORE 44502.725
AT ITER 2902 NEW BEST:: SOT 287829 SOS 94603 HAS SOPS 94603 HAS SOUS 44377 HAS SOUPS 44377 WITH SCORE 44471.603
AT ITER 2935 NEW BEST:: SOT 287822 SOS 94589 HAS SOPS 94589 HAS SOUS 44363 HAS SOUPS 44363 WITH SCORE 44457.589
AT ITER 2959 NEW BEST:: SOT 287822 SOS 94589 HAS SOPS 94589 HAS SOUS 44359 HAS SOUPS 44359 WITH SCORE 44453.589
AT ITER 2966 NEW BEST:: SOT 287822 SOS 94563 HAS SOPS 94563 HAS SOUS 44359 HAS SOUPS 44359 WITH SCORE 44453.563
AT ITER 2967 NEW BEST:: SOT 287822 SOS 94553 HAS SOPS 94553 HAS SOUS 44359 HAS SOUPS 44359 WITH SCORE 44453.553
AT ITER 2972 NEW BEST:: SOT 287695 SOS 94375 HAS SOPS 94375 HAS SOUS 44331 HAS SOUPS 44331 WITH SCORE 44425.375
AT ITER 2979 NEW BEST:: SOT 287674 SOS 94333 HAS SOPS 94333 HAS SOUS 44310 HAS SOUPS 44310 WITH SCORE 44404.333
AT ITER 3015 NEW BEST:: SOT 287674 SOS 94333 HAS SOPS 94333 HAS SOUS 44308 HAS SOUPS 44308 WITH SCORE 44402.333
AT ITER 3022 NEW BEST:: SOT 287576 SOS 94228 HAS SOPS 94228 HAS SOUS 44209 HAS SOUPS 44209 WITH SCORE 44303.228
AT ITER 3035 NEW BEST:: SOT 287569 SOS 94214 HAS SOPS 94214 HAS SOUS 44202 HAS SOUPS 44202 WITH SCORE 44296.214
AT ITER 3048 NEW BEST:: SOT 287414 SOS 93936 HAS SOPS 93936 HAS SOUS 44170 HAS SOUPS 44170 WITH SCORE 44263.936
AT ITER 3103 NEW BEST:: SOT 287438 SOS 93984 HAS SOPS 93984 HAS SOUS 44164 HAS SOUPS 44164 WITH SCORE 44257.984
AT ITER 3117 NEW BEST:: SOT 287429 SOS 93954 HAS SOPS 93954 HAS SOUS 44143 HAS SOUPS 44143 WITH SCORE 44236.954
AT ITER 3118 NEW BEST:: SOT 287429 SOS 93954 HAS SOPS 93954 HAS SOUS 44105 HAS SOUPS 44105 WITH SCORE 44198.954
AT ITER 3133 NEW BEST:: SOT 287400 SOS 93832 HAS SOPS 93832 HAS SOUS 43961 HAS SOUPS 43961 WITH SCORE 44054.832
AT ITER 3134 NEW BEST:: SOT 287389 SOS 93821 HAS SOPS 93821 HAS SOUS 43950 HAS SOUPS 43950 WITH SCORE 44043.821
AT ITER 3146 NEW BEST:: SOT 287357 SOS 93789 HAS SOPS 93789 HAS SOUS 43950 HAS SOUPS 43950 WITH SCORE 44043.789
AT ITER 3153 NEW BEST:: SOT 287356 SOS 93787 HAS SOPS 93787 HAS SOUS 43948 HAS SOUPS 43948 WITH SCORE 44041.787
AT ITER 3163 NEW BEST:: SOT 287356 SOS 93787 HAS SOPS 93787 HAS SOUS 43933 HAS SOUPS 43933 WITH SCORE 44026.787
AT ITER 3171 NEW BEST:: SOT 287331 SOS 93737 HAS SOPS 93737 HAS SOUS 43923 HAS SOUPS 43923 WITH SCORE 44016.737
AT ITER 3175 NEW BEST:: SOT 287299 SOS 93679 HAS SOPS 93679 HAS SOUS 43896 HAS SOUPS 43896 WITH SCORE 43989.679
AT ITER 3176 NEW BEST:: SOT 287309 SOS 93666 HAS SOPS 93666 HAS SOUS 43883 HAS SOUPS 43883 WITH SCORE 43976.666
AT ITER 3182 NEW BEST:: SOT 287292 SOS 93632 HAS SOPS 93632 HAS SOUS 43849 HAS SOUPS 43849 WITH SCORE 43942.632
AT ITER 3185 NEW BEST:: SOT 287226 SOS 93500 HAS SOPS 93500 HAS SOUS 43717 HAS SOUPS 43717 WITH SCORE 43810.5
AT ITER 3194 NEW BEST:: SOT 287186 SOS 93460 HAS SOPS 93460 HAS SOUS 43697 HAS SOUPS 43697 WITH SCORE 43790.46
AT ITER 3234 NEW BEST:: SOT 287184 SOS 93456 HAS SOPS 93456 HAS SOUS 43693 HAS SOUPS 43693 WITH SCORE 43786.456
AT ITER 3313 NEW BEST:: SOT 287167 SOS 93251 HAS SOPS 93251 HAS SOUS 43644 HAS SOUPS 43644 WITH SCORE 43737.251
AT ITER 3318 NEW BEST:: SOT 287156 SOS 93229 HAS SOPS 93229 HAS SOUS 43622 HAS SOUPS 43622 WITH SCORE 43715.229
AT ITER 3326 NEW BEST:: SOT 287156 SOS 93229 HAS SOPS 93229 HAS SOUS 43615 HAS SOUPS 43615 WITH SCORE 43708.229
AT ITER 3363 NEW BEST:: SOT 287167 SOS 93200 HAS SOPS 93200 HAS SOUS 43535 HAS SOUPS 43535 WITH SCORE 43628.2
AT ITER 3365 NEW BEST:: SOT 287164 SOS 93194 HAS SOPS 93194 HAS SOUS 43528 HAS SOUPS 43528 WITH SCORE 43621.194
AT ITER 3381 NEW BEST:: SOT 287151 SOS 93181 HAS SOPS 93181 HAS SOUS 43525 HAS SOUPS 43525 WITH SCORE 43618.181
AT ITER 3402 NEW BEST:: SOT 287139 SOS 93157 HAS SOPS 93157 HAS SOUS 43513 HAS SOUPS 43513 WITH SCORE 43606.157
AT ITER 3411 NEW BEST:: SOT 287139 SOS 93157 HAS SOPS 93157 HAS SOUS 43511 HAS SOUPS 43511 WITH SCORE 43604.157
AT ITER 3415 NEW BEST:: SOT 287069 SOS 93071 HAS SOPS 93071 HAS SOUS 43452 HAS SOUPS 43452 WITH SCORE 43545.071
AT ITER 3416 NEW BEST:: SOT 287051 SOS 93035 HAS SOPS 93035 HAS SOUS 43423 HAS SOUPS 43423 WITH SCORE 43516.035
AT ITER 3445 NEW BEST:: SOT 287038 SOS 92984 HAS SOPS 92984 HAS SOUS 43397 HAS SOUPS 43397 WITH SCORE 43489.984
AT ITER 3450 NEW BEST:: SOT 287038 SOS 92997 HAS SOPS 92997 HAS SOUS 43384 HAS SOUPS 43384 WITH SCORE 43476.997
AT ITER 3457 NEW BEST:: SOT 287038 SOS 93237 HAS SOPS 93237 HAS SOUS 43379 HAS SOUPS 43379 WITH SCORE 43472.237
AT ITER 3460 NEW BEST:: SOT 286942 SOS 92901 HAS SOPS 92901 HAS SOUS 43302 HAS SOUPS 43302 WITH SCORE 43394.901
AT ITER 3487 NEW BEST:: SOT 286888 SOS 92786 HAS SOPS 92786 HAS SOUS 43264 HAS SOUPS 43264 WITH SCORE 43356.786
AT ITER 3496 NEW BEST:: SOT 286888 SOS 92786 HAS SOPS 92786 HAS SOUS 43225 HAS SOUPS 43225 WITH SCORE 43317.786
AT ITER 3499 NEW BEST:: SOT 286815 SOS 92620 HAS SOPS 92620 HAS SOUS 43130 HAS SOUPS 43130 WITH SCORE 43222.62
AT ITER 3513 NEW BEST:: SOT 286810 SOS 92610 HAS SOPS 92610 HAS SOUS 43125 HAS SOUPS 43125 WITH SCORE 43217.61
AT ITER 3522 NEW BEST:: SOT 286794 SOS 92586 HAS SOPS 92586 HAS SOUS 43109 HAS SOUPS 43109 WITH SCORE 43201.586
AT ITER 3523 NEW BEST:: SOT 286794 SOS 92577 HAS SOPS 92577 HAS SOUS 43109 HAS SOUPS 43109 WITH SCORE 43201.577
AT ITER 3540 NEW BEST:: SOT 286773 SOS 92552 HAS SOPS 92552 HAS SOUS 43101 HAS SOUPS 43101 WITH SCORE 43193.552
AT ITER 3543 NEW BEST:: SOT 286772 SOS 92553 HAS SOPS 92553 HAS SOUS 43099 HAS SOUPS 43099 WITH SCORE 43191.553
AT ITER 3548 NEW BEST:: SOT 286617 SOS 92243 HAS SOPS 92243 HAS SOUS 42944 HAS SOUPS 42944 WITH SCORE 43036.243
AT ITER 3568 NEW BEST:: SOT 286617 SOS 92242 HAS SOPS 92242 HAS SOUS 42943 HAS SOUPS 42943 WITH SCORE 43035.242
AT ITER 3595 NEW BEST:: SOT 286414 SOS 93402 HAS SOPS 93402 HAS SOUS 42767 HAS SOUPS 42767 WITH SCORE 42860.402
AT ITER 3599 NEW BEST:: SOT 286374 SOS 93322 HAS SOPS 93322 HAS SOUS 42687 HAS SOUPS 42687 WITH SCORE 42780.322
AT ITER 3601 NEW BEST:: SOT 286378 SOS 93317 HAS SOPS 93317 HAS SOUS 42682 HAS SOUPS 42682 WITH SCORE 42775.317
AT ITER 3604 NEW BEST:: SOT 286376 SOS 93313 HAS SOPS 93313 HAS SOUS 42680 HAS SOUPS 42680 WITH SCORE 42773.313
AT ITER 3615 NEW BEST:: SOT 286320 SOS 93201 HAS SOPS 93201 HAS SOUS 42666 HAS SOUPS 42666 WITH SCORE 42759.201
AT ITER 3617 NEW BEST:: SOT 286355 SOS 93236 HAS SOPS 93236 HAS SOUS 42619 HAS SOUPS 42619 WITH SCORE 42712.236
AT ITER 3632 NEW BEST:: SOT 286344 SOS 93214 HAS SOPS 93214 HAS SOUS 42597 HAS SOUPS 42597 WITH SCORE 42690.214
AT ITER 3663 NEW BEST:: SOT 286336 SOS 93206 HAS SOPS 93206 HAS SOUS 42581 HAS SOUPS 42581 WITH SCORE 42674.206
AT ITER 3700 NEW BEST:: SOT 286315 SOS 93164 HAS SOPS 93164 HAS SOUS 42539 HAS SOUPS 42539 WITH SCORE 42632.164
AT ITER 3727 NEW BEST:: SOT 286301 SOS 93136 HAS SOPS 93136 HAS SOUS 42511 HAS SOUPS 42511 WITH SCORE 42604.136
AT ITER 3733 NEW BEST:: SOT 286300 SOS 93278 HAS SOPS 93278 HAS SOUS 42500 HAS SOUPS 42500 WITH SCORE 42593.278
AT ITER 3736 NEW BEST:: SOT 286293 SOS 93264 HAS SOPS 93264 HAS SOUS 42486 HAS SOUPS 42486 WITH SCORE 42579.264
AT ITER 3775 NEW BEST:: SOT 286293 SOS 93287 HAS SOPS 93287 HAS SOUS 42463 HAS SOUPS 42463 WITH SCORE 42556.287
AT ITER 3810 NEW BEST:: SOT 286215 SOS 93150 HAS SOPS 93150 HAS SOUS 42385 HAS SOUPS 42385 WITH SCORE 42478.15
AT ITER 3816 NEW BEST:: SOT 286159 SOS 93038 HAS SOPS 93038 HAS SOUS 42329 HAS SOUPS 42329 WITH SCORE 42422.038
AT ITER 3824 NEW BEST:: SOT 286145 SOS 93010 HAS SOPS 93010 HAS SOUS 42325 HAS SOUPS 42325 WITH SCORE 42418.01
AT ITER 3868 NEW BEST:: SOT 286097 SOS 92959 HAS SOPS 92959 HAS SOUS 42289 HAS SOUPS 42289 WITH SCORE 42381.959
AT ITER 3889 NEW BEST:: SOT 286073 SOS 92935 HAS SOPS 92935 HAS SOUS 42289 HAS SOUPS 42289 WITH SCORE 42381.935
AT ITER 3894 NEW BEST:: SOT 286073 SOS 92937 HAS SOPS 92937 HAS SOUS 42287 HAS SOUPS 42287 WITH SCORE 42379.937
AT ITER 3895 NEW BEST:: SOT 285974 SOS 92739 HAS SOPS 92739 HAS SOUS 42228 HAS SOUPS 42228 WITH SCORE 42320.739
AT ITER 3930 NEW BEST:: SOT 285957 SOS 92669 HAS SOPS 92669 HAS SOUS 42193 HAS SOUPS 42193 WITH SCORE 42285.669
AT ITER 3961 NEW BEST:: SOT 285837 SOS 92429 HAS SOPS 92429 HAS SOUS 42055 HAS SOUPS 42055 WITH SCORE 42147.429
AT ITER 3963 NEW BEST:: SOT 285834 SOS 92426 HAS SOPS 92426 HAS SOUS 42055 HAS SOUPS 42055 WITH SCORE 42147.426
AT ITER 3971 NEW BEST:: SOT 285810 SOS 92378 HAS SOPS 92378 HAS SOUS 42031 HAS SOUPS 42031 WITH SCORE 42123.378
AT ITER 4007 NEW BEST:: SOT 285797 SOS 92365 HAS SOPS 92365 HAS SOUS 42031 HAS SOUPS 42031 WITH SCORE 42123.365
AT ITER 4026 NEW BEST:: SOT 285775 SOS 92343 HAS SOPS 92343 HAS SOUS 42029 HAS SOUPS 42029 WITH SCORE 42121.343
AT ITER 4027 NEW BEST:: SOT 285762 SOS 92306 HAS SOPS 92306 HAS SOUS 41995 HAS SOUPS 41995 WITH SCORE 42087.306
AT ITER 4036 NEW BEST:: SOT 285736 SOS 92197 HAS SOPS 92197 HAS SOUS 41943 HAS SOUPS 41943 WITH SCORE 42035.197
AT ITER 4055 NEW BEST:: SOT 285672 SOS 92017 HAS SOPS 92017 HAS SOUS 41856 HAS SOUPS 41856 WITH SCORE 41948.017
AT ITER 4063 NEW BEST:: SOT 285644 SOS 91961 HAS SOPS 91961 HAS SOUS 41828 HAS SOUPS 41828 WITH SCORE 41919.961
AT ITER 4092 NEW BEST:: SOT 285638 SOS 91949 HAS SOPS 91949 HAS SOUS 41816 HAS SOUPS 41816 WITH SCORE 41907.949
AT ITER 4130 NEW BEST:: SOT 285624 SOS 91935 HAS SOPS 91935 HAS SOUS 41802 HAS SOUPS 41802 WITH SCORE 41893.935
AT ITER 4145 NEW BEST:: SOT 285629 SOS 91945 HAS SOPS 91945 HAS SOUS 41788 HAS SOUPS 41788 WITH SCORE 41879.945
AT ITER 4157 NEW BEST:: SOT 285585 SOS 91898 HAS SOPS 91898 HAS SOUS 41782 HAS SOUPS 41782 WITH SCORE 41873.898
AT ITER 4200 NEW BEST:: SOT 285590 SOS 91857 HAS SOPS 91857 HAS SOUS 41782 HAS SOUPS 41782 WITH SCORE 41873.857
AT ITER 4201 NEW BEST:: SOT 285597 SOS 91871 HAS SOPS 91871 HAS SOUS 41774 HAS SOUPS 41774 WITH SCORE 41865.871
AT ITER 4207 NEW BEST:: SOT 285597 SOS 91872 HAS SOPS 91872 HAS SOUS 41741 HAS SOUPS 41741 WITH SCORE 41832.872
AT ITER 4209 NEW BEST:: SOT 285570 SOS 91710 HAS SOPS 91710 HAS SOUS 41715 HAS SOUPS 41715 WITH SCORE 41806.71
AT ITER 4214 NEW BEST:: SOT 285534 SOS 90734 HAS SOPS 90734 HAS SOUS 41681 HAS SOUPS 41681 WITH SCORE 41771.734
AT ITER 4222 NEW BEST:: SOT 285534 SOS 90479 HAS SOPS 90479 HAS SOUS 41681 HAS SOUPS 41681 WITH SCORE 41771.479
AT ITER 4245 NEW BEST:: SOT 285561 SOS 90487 HAS SOPS 90487 HAS SOUS 41643 HAS SOUPS 41643 WITH SCORE 41733.487
AT ITER 4284 NEW BEST:: SOT 285517 SOS 90449 HAS SOPS 90449 HAS SOUS 41605 HAS SOUPS 41605 WITH SCORE 41695.449
AT ITER 4307 NEW BEST:: SOT 285493 SOS 90334 HAS SOPS 90334 HAS SOUS 41450 HAS SOUPS 41450 WITH SCORE 41540.334
AT ITER 4316 NEW BEST:: SOT 285455 SOS 90294 HAS SOPS 90294 HAS SOUS 41428 HAS SOUPS 41428 WITH SCORE 41518.294
AT ITER 4367 NEW BEST:: SOT 285455 SOS 90294 HAS SOPS 90294 HAS SOUS 41402 HAS SOUPS 41402 WITH SCORE 41492.294
AT ITER 4371 NEW BEST:: SOT 285455 SOS 90293 HAS SOPS 90293 HAS SOUS 41401 HAS SOUPS 41401 WITH SCORE 41491.293
AT ITER 4395 NEW BEST:: SOT 285485 SOS 90239 HAS SOPS 90239 HAS SOUS 41317 HAS SOUPS 41317 WITH SCORE 41407.239
AT ITER 4432 NEW BEST:: SOT 285470 SOS 90209 HAS SOPS 90209 HAS SOUS 41287 HAS SOUPS 41287 WITH SCORE 41377.209
AT ITER 4434 NEW BEST:: SOT 285451 SOS 90171 HAS SOPS 90171 HAS SOUS 41249 HAS SOUPS 41249 WITH SCORE 41339.171
AT ITER 4435 NEW BEST:: SOT 285401 SOS 90138 HAS SOPS 90138 HAS SOUS 41247 HAS SOUPS 41247 WITH SCORE 41337.138
AT ITER 4436 NEW BEST:: SOT 285400 SOS 90136 HAS SOPS 90136 HAS SOUS 41245 HAS SOUPS 41245 WITH SCORE 41335.136
AT ITER 4463 NEW BEST:: SOT 285393 SOS 90129 HAS SOPS 90129 HAS SOUS 41245 HAS SOUPS 41245 WITH SCORE 41335.129
AT ITER 4531 NEW BEST:: SOT 285461 SOS 90242 HAS SOPS 90242 HAS SOUS 41213 HAS SOUPS 41213 WITH SCORE 41303.242
AT ITER 4532 NEW BEST:: SOT 285465 SOS 90246 HAS SOPS 90246 HAS SOUS 41209 HAS SOUPS 41209 WITH SCORE 41299.246
AT ITER 4552 NEW BEST:: SOT 285449 SOS 90231 HAS SOPS 90231 HAS SOUS 41194 HAS SOUPS 41194 WITH SCORE 41284.231
AT ITER 4598 NEW BEST:: SOT 285421 SOS 90175 HAS SOPS 90175 HAS SOUS 41186 HAS SOUPS 41186 WITH SCORE 41276.175
AT ITER 4613 NEW BEST:: SOT 285421 SOS 90186 HAS SOPS 90186 HAS SOUS 41175 HAS SOUPS 41175 WITH SCORE 41265.186
AT ITER 4627 NEW BEST:: SOT 285412 SOS 90168 HAS SOPS 90168 HAS SOUS 41163 HAS SOUPS 41163 WITH SCORE 41253.168
AT ITER 4643 NEW BEST:: SOT 285403 SOS 90141 HAS SOPS 90141 HAS SOUS 41156 HAS SOUPS 41156 WITH SCORE 41246.141
AT ITER 4658 NEW BEST:: SOT 285387 SOS 90093 HAS SOPS 90093 HAS SOUS 41140 HAS SOUPS 41140 WITH SCORE 41230.093
AT ITER 4723 NEW BEST:: SOT 285354 SOS 90059 HAS SOPS 90059 HAS SOUS 41106 HAS SOUPS 41106 WITH SCORE 41196.059
AT ITER 4741 NEW BEST:: SOT 285327 SOS 90005 HAS SOPS 90005 HAS SOUS 41106 HAS SOUPS 41106 WITH SCORE 41196.005
AT ITER 4744 NEW BEST:: SOT 285331 SOS 90013 HAS SOPS 90013 HAS SOUS 41092 HAS SOUPS 41092 WITH SCORE 41182.013
AT ITER 4771 NEW BEST:: SOT 285328 SOS 89998 HAS SOPS 89998 HAS SOUS 41082 HAS SOUPS 41082 WITH SCORE 41171.998
AT ITER 4773 NEW BEST:: SOT 285239 SOS 89909 HAS SOPS 89909 HAS SOUS 41082 HAS SOUPS 41082 WITH SCORE 41171.909
AT ITER 4814 NEW BEST:: SOT 285236 SOS 89906 HAS SOPS 89906 HAS SOUS 41082 HAS SOUPS 41082 WITH SCORE 41171.906
AT ITER 4824 NEW BEST:: SOT 285236 SOS 89956 HAS SOPS 89956 HAS SOUS 41057 HAS SOUPS 41057 WITH SCORE 41146.956
AT ITER 4836 NEW BEST:: SOT 285236 SOS 89954 HAS SOPS 89954 HAS SOUS 41057 HAS SOUPS 41057 WITH SCORE 41146.954
AT ITER 4863 NEW BEST:: SOT 285339 SOS 90057 HAS SOPS 90057 HAS SOUS 41048 HAS SOUPS 41048 WITH SCORE 41138.057
AT ITER 4894 NEW BEST:: SOT 285343 SOS 90049 HAS SOPS 90049 HAS SOUS 41048 HAS SOUPS 41048 WITH SCORE 41138.049
AT ITER 4915 NEW BEST:: SOT 285354 SOS 90041 HAS SOPS 90041 HAS SOUS 41036 HAS SOUPS 41036 WITH SCORE 41126.041
AT ITER 4933 NEW BEST:: SOT 285311 SOS 90084 HAS SOPS 90084 HAS SOUS 40978 HAS SOUPS 40978 WITH SCORE 41068.084
AT ITER 4965 NEW BEST:: SOT 285311 SOS 90081 HAS SOPS 90081 HAS SOUS 40978 HAS SOUPS 40978 WITH SCORE 41068.081
AT ITER 4966 NEW BEST:: SOT 285260 SOS 89992 HAS SOPS 89992 HAS SOUS 40942 HAS SOUPS 40942 WITH SCORE 41031.992
AT ITER 4979 NEW BEST:: SOT 285260 SOS 89919 HAS SOPS 89919 HAS SOUS 40869 HAS SOUPS 40869 WITH SCORE 40958.919
AT ITER 4999 NEW BEST:: SOT 285091 SOS 90972 HAS SOPS 90972 HAS SOUS 40771 HAS SOUPS 40771 WITH SCORE 40861.972
AT ITER 5005 NEW BEST:: SOT 285082 SOS 90954 HAS SOPS 90954 HAS SOUS 40753 HAS SOUPS 40753 WITH SCORE 40843.954
AT ITER 5011 NEW BEST:: SOT 285215 SOS 91091 HAS SOPS 91091 HAS SOUS 40750 HAS SOUPS 40750 WITH SCORE 40841.091
AT ITER 5039 NEW BEST:: SOT 285148 SOS 91086 HAS SOPS 91086 HAS SOUS 40680 HAS SOUPS 40680 WITH SCORE 40771.086
AT ITER 5103 NEW BEST:: SOT 285071 SOS 91009 HAS SOPS 91009 HAS SOUS 40680 HAS SOUPS 40680 WITH SCORE 40771.009
AT ITER 5121 NEW BEST:: SOT 285071 SOS 90997 HAS SOPS 90997 HAS SOUS 40656 HAS SOUPS 40656 WITH SCORE 40746.997
AT ITER 5145 NEW BEST:: SOT 285068 SOS 90991 HAS SOPS 90991 HAS SOUS 40650 HAS SOUPS 40650 WITH SCORE 40740.991
AT ITER 5151 NEW BEST:: SOT 285060 SOS 90967 HAS SOPS 90967 HAS SOUS 40637 HAS SOUPS 40637 WITH SCORE 40727.967
AT ITER 5152 NEW BEST:: SOT 285056 SOS 90959 HAS SOPS 90959 HAS SOUS 40629 HAS SOUPS 40629 WITH SCORE 40719.959
AT ITER 5154 NEW BEST:: SOT 285027 SOS 90988 HAS SOPS 90988 HAS SOUS 40622 HAS SOUPS 40622 WITH SCORE 40712.988
AT ITER 5164 NEW BEST:: SOT 285027 SOS 90963 HAS SOPS 90963 HAS SOUS 40622 HAS SOUPS 40622 WITH SCORE 40712.963
AT ITER 5175 NEW BEST:: SOT 285007 SOS 90898 HAS SOPS 90898 HAS SOUS 40579 HAS SOUPS 40579 WITH SCORE 40669.898
AT ITER 5207 NEW BEST:: SOT 284935 SOS 91024 HAS SOPS 91024 HAS SOUS 40567 HAS SOUPS 40567 WITH SCORE 40658.024
AT ITER 5211 NEW BEST:: SOT 284933 SOS 91020 HAS SOPS 91020 HAS SOUS 40562 HAS SOUPS 40562 WITH SCORE 40653.02
AT ITER 5216 NEW BEST:: SOT 284932 SOS 91018 HAS SOPS 91018 HAS SOUS 40560 HAS SOUPS 40560 WITH SCORE 40651.018
AT ITER 5222 NEW BEST:: SOT 284932 SOS 90999 HAS SOPS 90999 HAS SOUS 40522 HAS SOUPS 40522 WITH SCORE 40612.999
AT ITER 5231 NEW BEST:: SOT 284932 SOS 90999 HAS SOPS 90999 HAS SOUS 40462 HAS SOUPS 40462 WITH SCORE 40552.999
AT ITER 5266 NEW BEST:: SOT 284913 SOS 90961 HAS SOPS 90961 HAS SOUS 40424 HAS SOUPS 40424 WITH SCORE 40514.961
AT ITER 5311 NEW BEST:: SOT 284905 SOS 90937 HAS SOPS 90937 HAS SOUS 40416 HAS SOUPS 40416 WITH SCORE 40506.937
AT ITER 5312 NEW BEST:: SOT 284905 SOS 90937 HAS SOPS 90937 HAS SOUS 40286 HAS SOUPS 40286 WITH SCORE 40376.937
AT ITER 5336 NEW BEST:: SOT 284905 SOS 90824 HAS SOPS 90824 HAS SOUS 40286 HAS SOUPS 40286 WITH SCORE 40376.824
AT ITER 5343 NEW BEST:: SOT 284905 SOS 90824 HAS SOPS 90824 HAS SOUS 40274 HAS SOUPS 40274 WITH SCORE 40364.824
AT ITER 5344 NEW BEST:: SOT 284817 SOS 90736 HAS SOPS 90736 HAS SOUS 40223 HAS SOUPS 40223 WITH SCORE 40313.736
AT ITER 5349 NEW BEST:: SOT 284814 SOS 90730 HAS SOPS 90730 HAS SOUS 40220 HAS SOUPS 40220 WITH SCORE 40310.73
AT ITER 5368 NEW BEST:: SOT 284790 SOS 90723 HAS SOPS 90723 HAS SOUS 40213 HAS SOUPS 40213 WITH SCORE 40303.723
AT ITER 5407 NEW BEST:: SOT 284685 SOS 92672 HAS SOPS 92672 HAS SOUS 40201 HAS SOUPS 40201 WITH SCORE 40293.672
AT ITER 5431 NEW BEST:: SOT 284734 SOS 92623 HAS SOPS 92623 HAS SOUS 40201 HAS SOUPS 40201 WITH SCORE 40293.623
AT ITER 5440 NEW BEST:: SOT 284741 SOS 92637 HAS SOPS 92637 HAS SOUS 40187 HAS SOUPS 40187 WITH SCORE 40279.637
AT ITER 5447 NEW BEST:: SOT 284729 SOS 92613 HAS SOPS 92613 HAS SOUS 40163 HAS SOUPS 40163 WITH SCORE 40255.613
AT ITER 5522 NEW BEST:: SOT 284682 SOS 92420 HAS SOPS 92420 HAS SOUS 40064 HAS SOUPS 40064 WITH SCORE 40156.42
AT ITER 5535 NEW BEST:: SOT 284646 SOS 92348 HAS SOPS 92348 HAS SOUS 39992 HAS SOUPS 39992 WITH SCORE 40084.348
AT ITER 5562 NEW BEST:: SOT 284635 SOS 90906 HAS SOPS 90906 HAS SOUS 39985 HAS SOUPS 39985 WITH SCORE 40075.906
AT ITER 5585 NEW BEST:: SOT 284639 SOS 90908 HAS SOPS 90908 HAS SOUS 39984 HAS SOUPS 39984 WITH SCORE 40074.908
AT ITER 5586 NEW BEST:: SOT 284637 SOS 90904 HAS SOPS 90904 HAS SOUS 39980 HAS SOUPS 39980 WITH SCORE 40070.904
AT ITER 5593 NEW BEST:: SOT 284627 SOS 90891 HAS SOPS 90891 HAS SOUS 39979 HAS SOUPS 39979 WITH SCORE 40069.891
AT ITER 5650 NEW BEST:: SOT 284609 SOS 90855 HAS SOPS 90855 HAS SOUS 39943 HAS SOUPS 39943 WITH SCORE 40033.855
AT ITER 5652 NEW BEST:: SOT 284606 SOS 91161 HAS SOPS 91161 HAS SOUS 39837 HAS SOUPS 39837 WITH SCORE 39928.161
AT ITER 5675 NEW BEST:: SOT 284656 SOS 91177 HAS SOPS 91177 HAS SOUS 39769 HAS SOUPS 39769 WITH SCORE 39860.177
AT ITER 5690 NEW BEST:: SOT 284612 SOS 91104 HAS SOPS 91104 HAS SOUS 39750 HAS SOUPS 39750 WITH SCORE 39841.104
AT ITER 5717 NEW BEST:: SOT 284608 SOS 91096 HAS SOPS 91096 HAS SOUS 39742 HAS SOUPS 39742 WITH SCORE 39833.096
AT ITER 5725 NEW BEST:: SOT 284647 SOS 91027 HAS SOPS 91027 HAS SOUS 39624 HAS SOUPS 39624 WITH SCORE 39715.027
AT ITER 5726 NEW BEST:: SOT 284605 SOS 91023 HAS SOPS 91023 HAS SOUS 39580 HAS SOUPS 39580 WITH SCORE 39671.023
AT ITER 5736 NEW BEST:: SOT 284582 SOS 90977 HAS SOPS 90977 HAS SOUS 39580 HAS SOUPS 39580 WITH SCORE 39670.977
AT ITER 5737 NEW BEST:: SOT 284574 SOS 90974 HAS SOPS 90974 HAS SOUS 39577 HAS SOUPS 39577 WITH SCORE 39667.974
AT ITER 5766 NEW BEST:: SOT 284484 SOS 90669 HAS SOPS 90669 HAS SOUS 39522 HAS SOUPS 39522 WITH SCORE 39612.669
AT ITER 5783 NEW BEST:: SOT 284484 SOS 90659 HAS SOPS 90659 HAS SOUS 39522 HAS SOUPS 39522 WITH SCORE 39612.659
AT ITER 5799 NEW BEST:: SOT 284484 SOS 90655 HAS SOPS 90655 HAS SOUS 39522 HAS SOUPS 39522 WITH SCORE 39612.655
AT ITER 5809 NEW BEST:: SOT 284427 SOS 90569 HAS SOPS 90569 HAS SOUS 39444 HAS SOUPS 39444 WITH SCORE 39534.569
AT ITER 5846 NEW BEST:: SOT 284421 SOS 90563 HAS SOPS 90563 HAS SOUS 39444 HAS SOUPS 39444 WITH SCORE 39534.563
AT ITER 5852 NEW BEST:: SOT 284409 SOS 90551 HAS SOPS 90551 HAS SOUS 39432 HAS SOUPS 39432 WITH SCORE 39522.551
AT ITER 5873 NEW BEST:: SOT 284409 SOS 90551 HAS SOPS 90551 HAS SOUS 39423 HAS SOUPS 39423 WITH SCORE 39513.551
AT ITER 5886 NEW BEST:: SOT 284398 SOS 90529 HAS SOPS 90529 HAS SOUS 39407 HAS SOUPS 39407 WITH SCORE 39497.529
AT ITER 5892 NEW BEST:: SOT 284393 SOS 90519 HAS SOPS 90519 HAS SOUS 39397 HAS SOUPS 39397 WITH SCORE 39487.519
AT ITER 5900 NEW BEST:: SOT 284387 SOS 90510 HAS SOPS 90510 HAS SOUS 39391 HAS SOUPS 39391 WITH SCORE 39481.51
AT ITER 5910 NEW BEST:: SOT 284394 SOS 90524 HAS SOPS 90524 HAS SOUS 39349 HAS SOUPS 39349 WITH SCORE 39439.524
AT ITER 5930 NEW BEST:: SOT 284380 SOS 90496 HAS SOPS 90496 HAS SOUS 39321 HAS SOUPS 39321 WITH SCORE 39411.496
AT ITER 5933 NEW BEST:: SOT 284349 SOS 90434 HAS SOPS 90434 HAS SOUS 39290 HAS SOUPS 39290 WITH SCORE 39380.434
AT ITER 5943 NEW BEST:: SOT 284324 SOS 90359 HAS SOPS 90359 HAS SOUS 39265 HAS SOUPS 39265 WITH SCORE 39355.359
AT ITER 5947 NEW BEST:: SOT 284343 SOS 90386 HAS SOPS 90386 HAS SOUS 39264 HAS SOUPS 39264 WITH SCORE 39354.386
AT ITER 5957 NEW BEST:: SOT 284343 SOS 90376 HAS SOPS 90376 HAS SOUS 39244 HAS SOUPS 39244 WITH SCORE 39334.376
AT ITER 5994 NEW BEST:: SOT 284327 SOS 90189 HAS SOPS 90189 HAS SOUS 39228 HAS SOUPS 39228 WITH SCORE 39318.189
AT ITER 5998 NEW BEST:: SOT 284331 SOS 90233 HAS SOPS 90233 HAS SOUS 39214 HAS SOUPS 39214 WITH SCORE 39304.233
AT ITER 6005 NEW BEST:: SOT 284331 SOS 90233 HAS SOPS 90233 HAS SOUS 39205 HAS SOUPS 39205 WITH SCORE 39295.233
AT ITER 6028 NEW BEST:: SOT 284331 SOS 90226 HAS SOPS 90226 HAS SOUS 39205 HAS SOUPS 39205 WITH SCORE 39295.226
AT ITER 6030 NEW BEST:: SOT 284292 SOS 90148 HAS SOPS 90148 HAS SOUS 39205 HAS SOUPS 39205 WITH SCORE 39295.148
AT ITER 6073 NEW BEST:: SOT 284146 SOS 89933 HAS SOPS 89933 HAS SOUS 39091 HAS SOUPS 39091 WITH SCORE 39180.933
AT ITER 6086 NEW BEST:: SOT 284126 SOS 89913 HAS SOPS 89913 HAS SOUS 39081 HAS SOUPS 39081 WITH SCORE 39170.913
AT ITER 6097 NEW BEST:: SOT 284122 SOS 89907 HAS SOPS 89907 HAS SOUS 39077 HAS SOUPS 39077 WITH SCORE 39166.907
AT ITER 6115 NEW BEST:: SOT 284122 SOS 89691 HAS SOPS 89691 HAS SOUS 39077 HAS SOUPS 39077 WITH SCORE 39166.691
AT ITER 6136 NEW BEST:: SOT 284116 SOS 89679 HAS SOPS 89679 HAS SOUS 39065 HAS SOUPS 39065 WITH SCORE 39154.679
AT ITER 6178 NEW BEST:: SOT 284088 SOS 89495 HAS SOPS 89495 HAS SOUS 39062 HAS SOUPS 39062 WITH SCORE 39151.495
AT ITER 6203 NEW BEST:: SOT 284074 SOS 89481 HAS SOPS 89481 HAS SOUS 39048 HAS SOUPS 39048 WITH SCORE 39137.481
AT ITER 6218 NEW BEST:: SOT 284065 SOS 89463 HAS SOPS 89463 HAS SOUS 39030 HAS SOUPS 39030 WITH SCORE 39119.463
AT ITER 6235 NEW BEST:: SOT 284124 SOS 89675 HAS SOPS 89675 HAS SOUS 39000 HAS SOUPS 39000 WITH SCORE 39089.675
AT ITER 6267 NEW BEST:: SOT 284117 SOS 89654 HAS SOPS 89654 HAS SOUS 38993 HAS SOUPS 38993 WITH SCORE 39082.654
AT ITER 6299 NEW BEST:: SOT 284110 SOS 89640 HAS SOPS 89640 HAS SOUS 38987 HAS SOUPS 38987 WITH SCORE 39076.64
AT ITER 6304 NEW BEST:: SOT 284089 SOS 89718 HAS SOPS 89718 HAS SOUS 38957 HAS SOUPS 38957 WITH SCORE 39046.718
AT ITER 6322 NEW BEST:: SOT 284041 SOS 89622 HAS SOPS 89622 HAS SOUS 38909 HAS SOUPS 38909 WITH SCORE 38998.622
AT ITER 6334 NEW BEST:: SOT 284037 SOS 89618 HAS SOPS 89618 HAS SOUS 38901 HAS SOUPS 38901 WITH SCORE 38990.618
AT ITER 6348 NEW BEST:: SOT 284024 SOS 89605 HAS SOPS 89605 HAS SOUS 38888 HAS SOUPS 38888 WITH SCORE 38977.605
AT ITER 6354 NEW BEST:: SOT 284019 SOS 89605 HAS SOPS 89605 HAS SOUS 38884 HAS SOUPS 38884 WITH SCORE 38973.605
AT ITER 6359 NEW BEST:: SOT 284013 SOS 89593 HAS SOPS 89593 HAS SOUS 38878 HAS SOUPS 38878 WITH SCORE 38967.593
AT ITER 6379 NEW BEST:: SOT 284276 SOS 89729 HAS SOPS 89729 HAS SOUS 38859 HAS SOUPS 38859 WITH SCORE 38948.729
AT ITER 6381 NEW BEST:: SOT 284258 SOS 89693 HAS SOPS 89693 HAS SOUS 38823 HAS SOUPS 38823 WITH SCORE 38912.693
AT ITER 6382 NEW BEST:: SOT 284238 SOS 89653 HAS SOPS 89653 HAS SOUS 38790 HAS SOUPS 38790 WITH SCORE 38879.653
AT ITER 6395 NEW BEST:: SOT 284225 SOS 89627 HAS SOPS 89627 HAS SOUS 38764 HAS SOUPS 38764 WITH SCORE 38853.627
AT ITER 6414 NEW BEST:: SOT 284225 SOS 89627 HAS SOPS 89627 HAS SOUS 38719 HAS SOUPS 38719 WITH SCORE 38808.627
AT ITER 6441 NEW BEST:: SOT 284220 SOS 89622 HAS SOPS 89622 HAS SOUS 38719 HAS SOUPS 38719 WITH SCORE 38808.622
AT ITER 6480 NEW BEST:: SOT 284215 SOS 89617 HAS SOPS 89617 HAS SOUS 38719 HAS SOUPS 38719 WITH SCORE 38808.617
AT ITER 6481 NEW BEST:: SOT 284212 SOS 89611 HAS SOPS 89611 HAS SOUS 38713 HAS SOUPS 38713 WITH SCORE 38802.611
AT ITER 6482 NEW BEST:: SOT 284171 SOS 89447 HAS SOPS 89447 HAS SOUS 38713 HAS SOUPS 38713 WITH SCORE 38802.447
AT ITER 6504 NEW BEST:: SOT 284171 SOS 89447 HAS SOPS 89447 HAS SOUS 38705 HAS SOUPS 38705 WITH SCORE 38794.447
AT ITER 6506 NEW BEST:: SOT 284129 SOS 89363 HAS SOPS 89363 HAS SOUS 38683 HAS SOUPS 38683 WITH SCORE 38772.363
AT ITER 6537 NEW BEST:: SOT 284127 SOS 89359 HAS SOPS 89359 HAS SOUS 38679 HAS SOUPS 38679 WITH SCORE 38768.359
AT ITER 6539 NEW BEST:: SOT 284106 SOS 89296 HAS SOPS 89296 HAS SOUS 38679 HAS SOUPS 38679 WITH SCORE 38768.296
AT ITER 6551 NEW BEST:: SOT 284064 SOS 89254 HAS SOPS 89254 HAS SOUS 38663 HAS SOUPS 38663 WITH SCORE 38752.254
AT ITER 6555 NEW BEST:: SOT 284058 SOS 89248 HAS SOPS 89248 HAS SOUS 38658 HAS SOUPS 38658 WITH SCORE 38747.248
AT ITER 6594 NEW BEST:: SOT 284144 SOS 89338 HAS SOPS 89338 HAS SOUS 38657 HAS SOUPS 38657 WITH SCORE 38746.338
AT ITER 6596 NEW BEST:: SOT 284106 SOS 89281 HAS SOPS 89281 HAS SOUS 38638 HAS SOUPS 38638 WITH SCORE 38727.281
AT ITER 6607 NEW BEST:: SOT 284097 SOS 89225 HAS SOPS 89225 HAS SOUS 38633 HAS SOUPS 38633 WITH SCORE 38722.225
AT ITER 6616 NEW BEST:: SOT 284112 SOS 89255 HAS SOPS 89255 HAS SOUS 38629 HAS SOUPS 38629 WITH SCORE 38718.255
AT ITER 6639 NEW BEST:: SOT 284115 SOS 89261 HAS SOPS 89261 HAS SOUS 38622 HAS SOUPS 38622 WITH SCORE 38711.261
AT ITER 6650 NEW BEST:: SOT 284066 SOS 89213 HAS SOPS 89213 HAS SOUS 38600 HAS SOUPS 38600 WITH SCORE 38689.213
AT ITER 6656 NEW BEST:: SOT 284066 SOS 89174 HAS SOPS 89174 HAS SOUS 38600 HAS SOUPS 38600 WITH SCORE 38689.174
AT ITER 6659 NEW BEST:: SOT 284039 SOS 89120 HAS SOPS 89120 HAS SOUS 38546 HAS SOUPS 38546 WITH SCORE 38635.12
AT ITER 6674 NEW BEST:: SOT 284032 SOS 89114 HAS SOPS 89114 HAS SOUS 38532 HAS SOUPS 38532 WITH SCORE 38621.114
AT ITER 6683 NEW BEST:: SOT 284029 SOS 89108 HAS SOPS 89108 HAS SOUS 38526 HAS SOUPS 38526 WITH SCORE 38615.108
AT ITER 6707 NEW BEST:: SOT 284009 SOS 89086 HAS SOPS 89086 HAS SOUS 38494 HAS SOUPS 38494 WITH SCORE 38583.086
AT ITER 6720 NEW BEST:: SOT 284012 SOS 89089 HAS SOPS 89089 HAS SOUS 38476 HAS SOUPS 38476 WITH SCORE 38565.089
AT ITER 6763 NEW BEST:: SOT 284012 SOS 89048 HAS SOPS 89048 HAS SOUS 38435 HAS SOUPS 38435 WITH SCORE 38524.048
AT ITER 6774 NEW BEST:: SOT 283995 SOS 88909 HAS SOPS 88909 HAS SOUS 38378 HAS SOUPS 38378 WITH SCORE 38466.909
AT ITER 6807 NEW BEST:: SOT 283995 SOS 88890 HAS SOPS 88890 HAS SOUS 38359 HAS SOUPS 38359 WITH SCORE 38447.89
AT ITER 6813 NEW BEST:: SOT 284052 SOS 88947 HAS SOPS 88947 HAS SOUS 38335 HAS SOUPS 38335 WITH SCORE 38423.947
AT ITER 6854 NEW BEST:: SOT 284052 SOS 88936 HAS SOPS 88936 HAS SOUS 38324 HAS SOUPS 38324 WITH SCORE 38412.936
AT ITER 6862 NEW BEST:: SOT 284052 SOS 88908 HAS SOPS 88908 HAS SOUS 38296 HAS SOUPS 38296 WITH SCORE 38384.908
AT ITER 6867 NEW BEST:: SOT 284052 SOS 88877 HAS SOPS 88877 HAS SOUS 38244 HAS SOUPS 38244 WITH SCORE 38332.877
AT ITER 6868 NEW BEST:: SOT 284023 SOS 88835 HAS SOPS 88835 HAS SOUS 38212 HAS SOUPS 38212 WITH SCORE 38300.835
AT ITER 6912 NEW BEST:: SOT 284008 SOS 88805 HAS SOPS 88805 HAS SOUS 38182 HAS SOUPS 38182 WITH SCORE 38270.805
AT ITER 6913 NEW BEST:: SOT 284010 SOS 88800 HAS SOPS 88800 HAS SOUS 38175 HAS SOUPS 38175 WITH SCORE 38263.8
AT ITER 6919 NEW BEST:: SOT 283994 SOS 89038 HAS SOPS 89038 HAS SOUS 38159 HAS SOUPS 38159 WITH SCORE 38248.038
AT ITER 6941 NEW BEST:: SOT 283992 SOS 89036 HAS SOPS 89036 HAS SOUS 38126 HAS SOUPS 38126 WITH SCORE 38215.036
AT ITER 6957 NEW BEST:: SOT 283992 SOS 89036 HAS SOPS 89036 HAS SOUS 38114 HAS SOUPS 38114 WITH SCORE 38203.036
AT ITER 6986 NEW BEST:: SOT 283984 SOS 88927 HAS SOPS 88927 HAS SOUS 38106 HAS SOUPS 38106 WITH SCORE 38194.927
AT ITER 7013 NEW BEST:: SOT 283998 SOS 88941 HAS SOPS 88941 HAS SOUS 38098 HAS SOUPS 38098 WITH SCORE 38186.941
AT ITER 7079 NEW BEST:: SOT 283998 SOS 88869 HAS SOPS 88869 HAS SOUS 38098 HAS SOUPS 38098 WITH SCORE 38186.869
AT ITER 7089 NEW BEST:: SOT 284009 SOS 88880 HAS SOPS 88880 HAS SOUS 38087 HAS SOUPS 38087 WITH SCORE 38175.88
AT ITER 7102 NEW BEST:: SOT 284007 SOS 88876 HAS SOPS 88876 HAS SOUS 38083 HAS SOUPS 38083 WITH SCORE 38171.876
AT ITER 7196 NEW BEST:: SOT 284003 SOS 88872 HAS SOPS 88872 HAS SOUS 38081 HAS SOUPS 38081 WITH SCORE 38169.872
AT ITER 7220 NEW BEST:: SOT 283978 SOS 88822 HAS SOPS 88822 HAS SOUS 38031 HAS SOUPS 38031 WITH SCORE 38119.822
AT ITER 7223 NEW BEST:: SOT 283949 SOS 88747 HAS SOPS 88747 HAS SOUS 38007 HAS SOUPS 38007 WITH SCORE 38095.747
AT ITER 7249 NEW BEST:: SOT 283883 SOS 88735 HAS SOPS 88735 HAS SOUS 37965 HAS SOUPS 37965 WITH SCORE 38053.735
AT ITER 7279 NEW BEST:: SOT 283907 SOS 88759 HAS SOPS 88759 HAS SOUS 37941 HAS SOUPS 37941 WITH SCORE 38029.759
AT ITER 7320 NEW BEST:: SOT 283835 SOS 88615 HAS SOPS 88615 HAS SOUS 37931 HAS SOUPS 37931 WITH SCORE 38019.615
AT ITER 7349 NEW BEST:: SOT 283818 SOS 88581 HAS SOPS 88581 HAS SOUS 37914 HAS SOUPS 37914 WITH SCORE 38002.581
AT ITER 7357 NEW BEST:: SOT 283820 SOS 88585 HAS SOPS 88585 HAS SOUS 37910 HAS SOUPS 37910 WITH SCORE 37998.585
AT ITER 7370 NEW BEST:: SOT 283820 SOS 88638 HAS SOPS 88638 HAS SOUS 37857 HAS SOUPS 37857 WITH SCORE 37945.638
AT ITER 7373 NEW BEST:: SOT 283820 SOS 88638 HAS SOPS 88638 HAS SOUS 37839 HAS SOUPS 37839 WITH SCORE 37927.638
AT ITER 7415 NEW BEST:: SOT 283801 SOS 88613 HAS SOPS 88613 HAS SOUS 37827 HAS SOUPS 37827 WITH SCORE 37915.613
AT ITER 7438 NEW BEST:: SOT 283829 SOS 88623 HAS SOPS 88623 HAS SOUS 37809 HAS SOUPS 37809 WITH SCORE 37897.623
AT ITER 7440 NEW BEST:: SOT 283829 SOS 88623 HAS SOPS 88623 HAS SOUS 37805 HAS SOUPS 37805 WITH SCORE 37893.623
AT ITER 7503 NEW BEST:: SOT 283834 SOS 88633 HAS SOPS 88633 HAS SOUS 37803 HAS SOUPS 37803 WITH SCORE 37891.633
AT ITER 7506 NEW BEST:: SOT 283834 SOS 88633 HAS SOPS 88633 HAS SOUS 37759 HAS SOUPS 37759 WITH SCORE 37847.633
AT ITER 7510 NEW BEST:: SOT 283828 SOS 88597 HAS SOPS 88597 HAS SOUS 37745 HAS SOUPS 37745 WITH SCORE 37833.597
AT ITER 7515 NEW BEST:: SOT 283813 SOS 88567 HAS SOPS 88567 HAS SOUS 37730 HAS SOUPS 37730 WITH SCORE 37818.567
AT ITER 7517 NEW BEST:: SOT 283754 SOS 88885 HAS SOPS 88885 HAS SOUS 37702 HAS SOUPS 37702 WITH SCORE 37790.885
AT ITER 7533 NEW BEST:: SOT 283681 SOS 88921 HAS SOPS 88921 HAS SOUS 37629 HAS SOUPS 37629 WITH SCORE 37717.921
AT ITER 7612 NEW BEST:: SOT 283698 SOS 88955 HAS SOPS 88955 HAS SOUS 37617 HAS SOUPS 37617 WITH SCORE 37705.955
AT ITER 7615 NEW BEST:: SOT 283689 SOS 88937 HAS SOPS 88937 HAS SOUS 37590 HAS SOUPS 37590 WITH SCORE 37678.937
AT ITER 7659 NEW BEST:: SOT 283687 SOS 88933 HAS SOPS 88933 HAS SOUS 37582 HAS SOUPS 37582 WITH SCORE 37670.933
AT ITER 7669 NEW BEST:: SOT 283642 SOS 88771 HAS SOPS 88771 HAS SOUS 37560 HAS SOUPS 37560 WITH SCORE 37648.771
AT ITER 7747 NEW BEST:: SOT 283551 SOS 88391 HAS SOPS 88391 HAS SOUS 37505 HAS SOUPS 37505 WITH SCORE 37593.391
AT ITER 7761 NEW BEST:: SOT 283532 SOS 88353 HAS SOPS 88353 HAS SOUS 37499 HAS SOUPS 37499 WITH SCORE 37587.353
AT ITER 7766 NEW BEST:: SOT 283532 SOS 88327 HAS SOPS 88327 HAS SOUS 37499 HAS SOUPS 37499 WITH SCORE 37587.327
AT ITER 7790 NEW BEST:: SOT 283565 SOS 88393 HAS SOPS 88393 HAS SOUS 37494 HAS SOUPS 37494 WITH SCORE 37582.393
AT ITER 7797 NEW BEST:: SOT 283565 SOS 88385 HAS SOPS 88385 HAS SOUS 37464 HAS SOUPS 37464 WITH SCORE 37552.385
AT ITER 7811 NEW BEST:: SOT 283564 SOS 88290 HAS SOPS 88290 HAS SOUS 37459 HAS SOUPS 37459 WITH SCORE 37547.29
AT ITER 7838 NEW BEST:: SOT 283549 SOS 88245 HAS SOPS 88245 HAS SOUS 37443 HAS SOUPS 37443 WITH SCORE 37531.245
AT ITER 7912 NEW BEST:: SOT 283543 SOS 88233 HAS SOPS 88233 HAS SOUS 37425 HAS SOUPS 37425 WITH SCORE 37513.233
AT ITER 7929 NEW BEST:: SOT 283541 SOS 88237 HAS SOPS 88237 HAS SOUS 37415 HAS SOUPS 37415 WITH SCORE 37503.237
AT ITER 7981 NEW BEST:: SOT 283528 SOS 88211 HAS SOPS 88211 HAS SOUS 37389 HAS SOUPS 37389 WITH SCORE 37477.211
AT ITER 7995 NEW BEST:: SOT 283528 SOS 88211 HAS SOPS 88211 HAS SOUS 37388 HAS SOUPS 37388 WITH SCORE 37476.211
AT ITER 8062 NEW BEST:: SOT 283543 SOS 88220 HAS SOPS 88220 HAS SOUS 37382 HAS SOUPS 37382 WITH SCORE 37470.22
AT ITER 8068 NEW BEST:: SOT 283518 SOS 88204 HAS SOPS 88204 HAS SOUS 37374 HAS SOUPS 37374 WITH SCORE 37462.204
AT ITER 8100 NEW BEST:: SOT 283518 SOS 88197 HAS SOPS 88197 HAS SOUS 37374 HAS SOUPS 37374 WITH SCORE 37462.197
AT ITER 8115 NEW BEST:: SOT 283521 SOS 88032 HAS SOPS 88032 HAS SOUS 37374 HAS SOUPS 37374 WITH SCORE 37462.032
AT ITER 8152 NEW BEST:: SOT 283510 SOS 88014 HAS SOPS 88014 HAS SOUS 37360 HAS SOUPS 37360 WITH SCORE 37448.014
AT ITER 8160 NEW BEST:: SOT 283555 SOS 88059 HAS SOPS 88059 HAS SOUS 37315 HAS SOUPS 37315 WITH SCORE 37403.059
AT ITER 8166 NEW BEST:: SOT 283505 SOS 88009 HAS SOPS 88009 HAS SOUS 37297 HAS SOUPS 37297 WITH SCORE 37385.009
AT ITER 8183 NEW BEST:: SOT 283523 SOS 88063 HAS SOPS 88063 HAS SOUS 37279 HAS SOUPS 37279 WITH SCORE 37367.063
AT ITER 8209 NEW BEST:: SOT 283524 SOS 88059 HAS SOPS 88059 HAS SOUS 37275 HAS SOUPS 37275 WITH SCORE 37363.059
AT ITER 8214 NEW BEST:: SOT 283467 SOS 88002 HAS SOPS 88002 HAS SOUS 37226 HAS SOUPS 37226 WITH SCORE 37314.002
AT ITER 8216 NEW BEST:: SOT 283458 SOS 87960 HAS SOPS 87960 HAS SOUS 37208 HAS SOUPS 37208 WITH SCORE 37295.96
AT ITER 8224 NEW BEST:: SOT 283394 SOS 87768 HAS SOPS 87768 HAS SOUS 37144 HAS SOUPS 37144 WITH SCORE 37231.768
AT ITER 8248 NEW BEST:: SOT 283333 SOS 87581 HAS SOPS 87581 HAS SOUS 37087 HAS SOUPS 37087 WITH SCORE 37174.581
AT ITER 8249 NEW BEST:: SOT 283340 SOS 87571 HAS SOPS 87571 HAS SOUS 37053 HAS SOUPS 37053 WITH SCORE 37140.571
AT ITER 8287 NEW BEST:: SOT 283339 SOS 87568 HAS SOPS 87568 HAS SOUS 37051 HAS SOUPS 37051 WITH SCORE 37138.568
AT ITER 8297 NEW BEST:: SOT 283319 SOS 87510 HAS SOPS 87510 HAS SOUS 37031 HAS SOUPS 37031 WITH SCORE 37118.51
AT ITER 8298 NEW BEST:: SOT 283319 SOS 87410 HAS SOPS 87410 HAS SOUS 37031 HAS SOUPS 37031 WITH SCORE 37118.41
AT ITER 8326 NEW BEST:: SOT 283276 SOS 87271 HAS SOPS 87271 HAS SOUS 36945 HAS SOUPS 36945 WITH SCORE 37032.271
AT ITER 8343 NEW BEST:: SOT 283270 SOS 87259 HAS SOPS 87259 HAS SOUS 36937 HAS SOUPS 36937 WITH SCORE 37024.259
AT ITER 8377 NEW BEST:: SOT 283270 SOS 87253 HAS SOPS 87253 HAS SOUS 36937 HAS SOUPS 36937 WITH SCORE 37024.253
AT ITER 8401 NEW BEST:: SOT 283265 SOS 87243 HAS SOPS 87243 HAS SOUS 36936 HAS SOUPS 36936 WITH SCORE 37023.243
AT ITER 8403 NEW BEST:: SOT 283257 SOS 87227 HAS SOPS 87227 HAS SOUS 36933 HAS SOUPS 36933 WITH SCORE 37020.227
AT ITER 8435 NEW BEST:: SOT 283269 SOS 87235 HAS SOPS 87235 HAS SOUS 36932 HAS SOUPS 36932 WITH SCORE 37019.235
AT ITER 8461 NEW BEST:: SOT 283251 SOS 87199 HAS SOPS 87199 HAS SOUS 36896 HAS SOUPS 36896 WITH SCORE 36983.199
AT ITER 8540 NEW BEST:: SOT 283251 SOS 87192 HAS SOPS 87192 HAS SOUS 36896 HAS SOUPS 36896 WITH SCORE 36983.192
AT ITER 8544 NEW BEST:: SOT 283233 SOS 87174 HAS SOPS 87174 HAS SOUS 36878 HAS SOUPS 36878 WITH SCORE 36965.174
AT ITER 8613 NEW BEST:: SOT 283158 SOS 86949 HAS SOPS 86949 HAS SOUS 36803 HAS SOUPS 36803 WITH SCORE 36889.949
AT ITER 8623 NEW BEST:: SOT 283141 SOS 86881 HAS SOPS 86881 HAS SOUS 36786 HAS SOUPS 36786 WITH SCORE 36872.881
AT ITER 8624 NEW BEST:: SOT 283141 SOS 86837 HAS SOPS 86837 HAS SOUS 36786 HAS SOUPS 36786 WITH SCORE 36872.837
AT ITER 8638 NEW BEST:: SOT 283092 SOS 86776 HAS SOPS 86776 HAS SOUS 36731 HAS SOUPS 36731 WITH SCORE 36817.776
AT ITER 8670 NEW BEST:: SOT 283092 SOS 86776 HAS SOPS 86776 HAS SOUS 36725 HAS SOUPS 36725 WITH SCORE 36811.776
AT ITER 8674 NEW BEST:: SOT 283024 SOS 86698 HAS SOPS 86698 HAS SOUS 36682 HAS SOUPS 36682 WITH SCORE 36768.698
AT ITER 8716 NEW BEST:: SOT 282924 SOS 86398 HAS SOPS 86398 HAS SOUS 36595 HAS SOUPS 36595 WITH SCORE 36681.398
AT ITER 8745 NEW BEST:: SOT 282880 SOS 86310 HAS SOPS 86310 HAS SOUS 36594 HAS SOUPS 36594 WITH SCORE 36680.31
AT ITER 8768 NEW BEST:: SOT 282875 SOS 86300 HAS SOPS 86300 HAS SOUS 36584 HAS SOUPS 36584 WITH SCORE 36670.3
AT ITER 8776 NEW BEST:: SOT 282868 SOS 86265 HAS SOPS 86265 HAS SOUS 36577 HAS SOUPS 36577 WITH SCORE 36663.265
AT ITER 8821 NEW BEST:: SOT 282883 SOS 86280 HAS SOPS 86280 HAS SOUS 36562 HAS SOUPS 36562 WITH SCORE 36648.28
AT ITER 8824 NEW BEST:: SOT 282870 SOS 86273 HAS SOPS 86273 HAS SOUS 36555 HAS SOUPS 36555 WITH SCORE 36641.273
AT ITER 8833 NEW BEST:: SOT 282897 SOS 86327 HAS SOPS 86327 HAS SOUS 36520 HAS SOUPS 36520 WITH SCORE 36606.327
AT ITER 8949 NEW BEST:: SOT 282896 SOS 86355 HAS SOPS 86355 HAS SOUS 36518 HAS SOUPS 36518 WITH SCORE 36604.355
AT ITER 8962 NEW BEST:: SOT 282896 SOS 86349 HAS SOPS 86349 HAS SOUS 36512 HAS SOUPS 36512 WITH SCORE 36598.349
AT ITER 8976 NEW BEST:: SOT 282845 SOS 86269 HAS SOPS 86269 HAS SOUS 36476 HAS SOUPS 36476 WITH SCORE 36562.269
AT ITER 9008 NEW BEST:: SOT 282842 SOS 86263 HAS SOPS 86263 HAS SOUS 36473 HAS SOUPS 36473 WITH SCORE 36559.263
AT ITER 9020 NEW BEST:: SOT 282842 SOS 86276 HAS SOPS 86276 HAS SOUS 36460 HAS SOUPS 36460 WITH SCORE 36546.276
AT ITER 9040 NEW BEST:: SOT 282841 SOS 86275 HAS SOPS 86275 HAS SOUS 36459 HAS SOUPS 36459 WITH SCORE 36545.275
AT ITER 9057 NEW BEST:: SOT 282838 SOS 86262 HAS SOPS 86262 HAS SOUS 36456 HAS SOUPS 36456 WITH SCORE 36542.262
AT ITER 9113 NEW BEST:: SOT 282838 SOS 86226 HAS SOPS 86226 HAS SOUS 36446 HAS SOUPS 36446 WITH SCORE 36532.226
AT ITER 9120 NEW BEST:: SOT 282838 SOS 86181 HAS SOPS 86181 HAS SOUS 36356 HAS SOUPS 36356 WITH SCORE 36442.181
AT ITER 9145 NEW BEST:: SOT 282818 SOS 85647 HAS SOPS 85647 HAS SOUS 36338 HAS SOUPS 36338 WITH SCORE 36423.647
AT ITER 9153 NEW BEST:: SOT 282841 SOS 85647 HAS SOPS 85647 HAS SOUS 36302 HAS SOUPS 36302 WITH SCORE 36387.647
AT ITER 9225 NEW BEST:: SOT 282840 SOS 85646 HAS SOPS 85646 HAS SOUS 36301 HAS SOUPS 36301 WITH SCORE 36386.646
AT ITER 9254 NEW BEST:: SOT 282833 SOS 85639 HAS SOPS 85639 HAS SOUS 36294 HAS SOUPS 36294 WITH SCORE 36379.639
AT ITER 9265 NEW BEST:: SOT 282832 SOS 85636 HAS SOPS 85636 HAS SOUS 36293 HAS SOUPS 36293 WITH SCORE 36378.636
AT ITER 9337 NEW BEST:: SOT 282780 SOS 85546 HAS SOPS 85546 HAS SOUS 36260 HAS SOUPS 36260 WITH SCORE 36345.546
AT ITER 9445 NEW BEST:: SOT 282776 SOS 85538 HAS SOPS 85538 HAS SOUS 36252 HAS SOUPS 36252 WITH SCORE 36337.538
AT ITER 9461 NEW BEST:: SOT 282780 SOS 85546 HAS SOPS 85546 HAS SOUS 36249 HAS SOUPS 36249 WITH SCORE 36334.546
AT ITER 9464 NEW BEST:: SOT 282780 SOS 85546 HAS SOPS 85546 HAS SOUS 36225 HAS SOUPS 36225 WITH SCORE 36310.546
AT ITER 9466 NEW BEST:: SOT 282764 SOS 85530 HAS SOPS 85530 HAS SOUS 36214 HAS SOUPS 36214 WITH SCORE 36299.53
AT ITER 9501 NEW BEST:: SOT 282752 SOS 85528 HAS SOPS 85528 HAS SOUS 36204 HAS SOUPS 36204 WITH SCORE 36289.528
AT ITER 9557 NEW BEST:: SOT 282769 SOS 85562 HAS SOPS 85562 HAS SOUS 36180 HAS SOUPS 36180 WITH SCORE 36265.562
AT ITER 9563 NEW BEST:: SOT 282777 SOS 85550 HAS SOPS 85550 HAS SOUS 36163 HAS SOUPS 36163 WITH SCORE 36248.55
AT ITER 9582 NEW BEST:: SOT 282761 SOS 85518 HAS SOPS 85518 HAS SOUS 36147 HAS SOUPS 36147 WITH SCORE 36232.518
AT ITER 9637 NEW BEST:: SOT 282754 SOS 85504 HAS SOPS 85504 HAS SOUS 36133 HAS SOUPS 36133 WITH SCORE 36218.504
AT ITER 9638 NEW BEST:: SOT 282657 SOS 85310 HAS SOPS 85310 HAS SOUS 36039 HAS SOUPS 36039 WITH SCORE 36124.31
AT ITER 9694 NEW BEST:: SOT 282565 SOS 85162 HAS SOPS 85162 HAS SOUS 35955 HAS SOUPS 35955 WITH SCORE 36040.162
AT ITER 9715 NEW BEST:: SOT 282565 SOS 85162 HAS SOPS 85162 HAS SOUS 35935 HAS SOUPS 35935 WITH SCORE 36020.162
AT ITER 9763 NEW BEST:: SOT 282505 SOS 85070 HAS SOPS 85070 HAS SOUS 35902 HAS SOUPS 35902 WITH SCORE 35987.07
AT ITER 9773 NEW BEST:: SOT 282507 SOS 85068 HAS SOPS 85068 HAS SOUS 35900 HAS SOUPS 35900 WITH SCORE 35985.068
AT ITER 9799 NEW BEST:: SOT 282464 SOS 85020 HAS SOPS 85020 HAS SOUS 35866 HAS SOUPS 35866 WITH SCORE 35951.02
AT ITER 9804 NEW BEST:: SOT 282464 SOS 85020 HAS SOPS 85020 HAS SOUS 35829 HAS SOUPS 35829 WITH SCORE 35914.02
AT ITER 9858 NEW BEST:: SOT 282447 SOS 84969 HAS SOPS 84969 HAS SOUS 35795 HAS SOUPS 35795 WITH SCORE 35879.969
AT ITER 9863 NEW BEST:: SOT 282398 SOS 84967 HAS SOPS 84967 HAS SOUS 35759 HAS SOUPS 35759 WITH SCORE 35843.967
AT ITER 9869 NEW BEST:: SOT 282359 SOS 84928 HAS SOPS 84928 HAS SOUS 35743 HAS SOUPS 35743 WITH SCORE 35827.928
AT ITER 9882 NEW BEST:: SOT 282241 SOS 84804 HAS SOPS 84804 HAS SOUS 35672 HAS SOUPS 35672 WITH SCORE 35756.804
AT ITER 9914 NEW BEST:: SOT 282248 SOS 84818 HAS SOPS 84818 HAS SOUS 35661 HAS SOUPS 35661 WITH SCORE 35745.818
AT ITER 9944 NEW BEST:: SOT 282237 SOS 84816 HAS SOPS 84816 HAS SOUS 35650 HAS SOUPS 35650 WITH SCORE 35734.816
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 1701052 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152744 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HealthRecord-PT-17"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is HealthRecord-PT-17, 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 r195-smll-167840342300368"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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