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.r459-smll-167912651000296.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 smartxred
Input is SmartHome-PT-18, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651000296
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 512K
-rw-r--r-- 1 mcc users 5.9K Feb 26 05:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 05:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K Feb 26 05:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 34K Feb 26 05:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:10 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:10 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:10 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.0K Feb 26 05:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 05:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 05:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 05:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 159K Mar 5 18:23 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 1679294686657

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SmartHome-PT-18
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 06:44:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 06:44:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 06:44:50] [INFO ] Load time of PNML (sax parser for PT used): 215 ms
[2023-03-20 06:44:50] [INFO ] Transformed 653 places.
[2023-03-20 06:44:50] [INFO ] Transformed 706 transitions.
[2023-03-20 06:44:50] [INFO ] Found NUPN structural information;
[2023-03-20 06:44:50] [INFO ] Parsed PT model containing 653 places and 706 transitions and 1618 arcs in 389 ms.
[2023-03-20 06:44:50] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 653 places, 706 transitions and 1618 arcs took 17 ms.
Total runtime 477 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 18
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 653 places, 706 transitions, 1618 arcs.
AT ITER 0 NEW BEST:: SOT 271711 SOS 61371 HAS SOPS 61371 HAS SOUS 59954 HAS SOUPS 59954 WITH SCORE 60015.371
AT ITER 7 NEW BEST:: SOT 271711 SOS 61367 HAS SOPS 61367 HAS SOUS 59950 HAS SOUPS 59950 WITH SCORE 60011.367
AT ITER 13 NEW BEST:: SOT 271711 SOS 61335 HAS SOPS 61335 HAS SOUS 59918 HAS SOUPS 59918 WITH SCORE 59979.335
AT ITER 17 NEW BEST:: SOT 271721 SOS 61275 HAS SOPS 61275 HAS SOUS 59858 HAS SOUPS 59858 WITH SCORE 59919.275
AT ITER 19 NEW BEST:: SOT 271721 SOS 61257 HAS SOPS 61257 HAS SOUS 59840 HAS SOUPS 59840 WITH SCORE 59901.257
AT ITER 38 NEW BEST:: SOT 271653 SOS 61257 HAS SOPS 61257 HAS SOUS 59839 HAS SOUPS 59839 WITH SCORE 59900.257
AT ITER 55 NEW BEST:: SOT 271626 SOS 61203 HAS SOPS 61203 HAS SOUS 59785 HAS SOUPS 59785 WITH SCORE 59846.203
AT ITER 59 NEW BEST:: SOT 271622 SOS 61195 HAS SOPS 61195 HAS SOUS 59777 HAS SOUPS 59777 WITH SCORE 59838.195
AT ITER 89 NEW BEST:: SOT 271616 SOS 61183 HAS SOPS 61183 HAS SOUS 59763 HAS SOUPS 59763 WITH SCORE 59824.183
AT ITER 94 NEW BEST:: SOT 271542 SOS 60883 HAS SOPS 60883 HAS SOUS 59643 HAS SOUPS 59643 WITH SCORE 59703.883
AT ITER 101 NEW BEST:: SOT 271542 SOS 60831 HAS SOPS 60831 HAS SOUS 59591 HAS SOUPS 59591 WITH SCORE 59651.831
AT ITER 120 NEW BEST:: SOT 271489 SOS 60800 HAS SOPS 60800 HAS SOUS 59575 HAS SOUPS 59575 WITH SCORE 59635.8
AT ITER 162 NEW BEST:: SOT 271489 SOS 60791 HAS SOPS 60791 HAS SOUS 59566 HAS SOUPS 59566 WITH SCORE 59626.791
AT ITER 184 NEW BEST:: SOT 271489 SOS 60748 HAS SOPS 60748 HAS SOUS 59564 HAS SOUPS 59564 WITH SCORE 59624.748
AT ITER 211 NEW BEST:: SOT 271432 SOS 60634 HAS SOPS 60634 HAS SOUS 59450 HAS SOUPS 59450 WITH SCORE 59510.634
AT ITER 212 NEW BEST:: SOT 271403 SOS 60714 HAS SOPS 60714 HAS SOUS 59439 HAS SOUPS 59439 WITH SCORE 59499.714
AT ITER 213 NEW BEST:: SOT 271400 SOS 60708 HAS SOPS 60708 HAS SOUS 59433 HAS SOUPS 59433 WITH SCORE 59493.708
AT ITER 229 NEW BEST:: SOT 270848 SOS 60683 HAS SOPS 60683 HAS SOUS 58969 HAS SOUPS 58969 WITH SCORE 59029.683
AT ITER 244 NEW BEST:: SOT 270849 SOS 60610 HAS SOPS 60610 HAS SOUS 58896 HAS SOUPS 58896 WITH SCORE 58956.61
AT ITER 251 NEW BEST:: SOT 270843 SOS 60604 HAS SOPS 60604 HAS SOUS 58890 HAS SOUPS 58890 WITH SCORE 58950.604
AT ITER 258 NEW BEST:: SOT 270837 SOS 60592 HAS SOPS 60592 HAS SOUS 58878 HAS SOUPS 58878 WITH SCORE 58938.592
AT ITER 262 NEW BEST:: SOT 269327 SOS 62577 HAS SOPS 62577 HAS SOUS 57523 HAS SOUPS 57523 WITH SCORE 57585.577
AT ITER 263 NEW BEST:: SOT 269290 SOS 62567 HAS SOPS 62567 HAS SOUS 57513 HAS SOUPS 57513 WITH SCORE 57575.567
AT ITER 272 NEW BEST:: SOT 269290 SOS 62508 HAS SOPS 62508 HAS SOUS 57454 HAS SOUPS 57454 WITH SCORE 57516.508
AT ITER 300 NEW BEST:: SOT 269290 SOS 62422 HAS SOPS 62422 HAS SOUS 57380 HAS SOUPS 57380 WITH SCORE 57442.422
AT ITER 302 NEW BEST:: SOT 269290 SOS 62402 HAS SOPS 62402 HAS SOUS 57380 HAS SOUPS 57380 WITH SCORE 57442.402
AT ITER 320 NEW BEST:: SOT 269289 SOS 62400 HAS SOPS 62400 HAS SOUS 57378 HAS SOUPS 57378 WITH SCORE 57440.4
AT ITER 328 NEW BEST:: SOT 269253 SOS 62328 HAS SOPS 62328 HAS SOUS 57306 HAS SOUPS 57306 WITH SCORE 57368.328
AT ITER 334 NEW BEST:: SOT 268853 SOS 62951 HAS SOPS 62951 HAS SOUS 56906 HAS SOUPS 56906 WITH SCORE 56968.951
AT ITER 358 NEW BEST:: SOT 268829 SOS 62903 HAS SOPS 62903 HAS SOUS 56882 HAS SOUPS 56882 WITH SCORE 56944.903
AT ITER 362 NEW BEST:: SOT 268849 SOS 62849 HAS SOPS 62849 HAS SOUS 56828 HAS SOUPS 56828 WITH SCORE 56890.849
AT ITER 363 NEW BEST:: SOT 268793 SOS 62997 HAS SOPS 62997 HAS SOUS 56777 HAS SOUPS 56777 WITH SCORE 56839.997
AT ITER 364 NEW BEST:: SOT 268767 SOS 62971 HAS SOPS 62971 HAS SOUS 56751 HAS SOUPS 56751 WITH SCORE 56813.971
AT ITER 373 NEW BEST:: SOT 268725 SOS 62887 HAS SOPS 62887 HAS SOUS 56667 HAS SOUPS 56667 WITH SCORE 56729.887
AT ITER 383 NEW BEST:: SOT 268725 SOS 62804 HAS SOPS 62804 HAS SOUS 56584 HAS SOUPS 56584 WITH SCORE 56646.804
AT ITER 386 NEW BEST:: SOT 268673 SOS 61400 HAS SOPS 61400 HAS SOUS 56428 HAS SOUPS 56428 WITH SCORE 56489.4
AT ITER 387 NEW BEST:: SOT 268690 SOS 61417 HAS SOPS 61417 HAS SOUS 56289 HAS SOUPS 56289 WITH SCORE 56350.417
AT ITER 395 NEW BEST:: SOT 268738 SOS 59984 HAS SOPS 59984 HAS SOUS 56262 HAS SOUPS 56262 WITH SCORE 56321.984
AT ITER 398 NEW BEST:: SOT 268729 SOS 59975 HAS SOPS 59975 HAS SOUS 56253 HAS SOUPS 56253 WITH SCORE 56312.975
AT ITER 416 NEW BEST:: SOT 268566 SOS 59865 HAS SOPS 59865 HAS SOUS 56135 HAS SOUPS 56135 WITH SCORE 56194.865
AT ITER 428 NEW BEST:: SOT 268566 SOS 59826 HAS SOPS 59826 HAS SOUS 56096 HAS SOUPS 56096 WITH SCORE 56155.826
AT ITER 433 NEW BEST:: SOT 268568 SOS 59810 HAS SOPS 59810 HAS SOUS 56080 HAS SOUPS 56080 WITH SCORE 56139.81
AT ITER 441 NEW BEST:: SOT 268547 SOS 59803 HAS SOPS 59803 HAS SOUS 56073 HAS SOUPS 56073 WITH SCORE 56132.803
AT ITER 457 NEW BEST:: SOT 267748 SOS 60172 HAS SOPS 60172 HAS SOUS 55502 HAS SOUPS 55502 WITH SCORE 55562.172
AT ITER 481 NEW BEST:: SOT 267740 SOS 60140 HAS SOPS 60140 HAS SOUS 55478 HAS SOUPS 55478 WITH SCORE 55538.14
AT ITER 482 NEW BEST:: SOT 267772 SOS 60208 HAS SOPS 60208 HAS SOUS 55470 HAS SOUPS 55470 WITH SCORE 55530.208
AT ITER 486 NEW BEST:: SOT 267714 SOS 60092 HAS SOPS 60092 HAS SOUS 55354 HAS SOUPS 55354 WITH SCORE 55414.092
AT ITER 498 NEW BEST:: SOT 267708 SOS 60023 HAS SOPS 60023 HAS SOUS 55264 HAS SOUPS 55264 WITH SCORE 55324.023
AT ITER 533 NEW BEST:: SOT 267597 SOS 59929 HAS SOPS 59929 HAS SOUS 55158 HAS SOUPS 55158 WITH SCORE 55217.929
AT ITER 545 NEW BEST:: SOT 267597 SOS 59929 HAS SOPS 59929 HAS SOUS 55004 HAS SOUPS 55004 WITH SCORE 55063.929
AT ITER 563 NEW BEST:: SOT 267586 SOS 59950 HAS SOPS 59950 HAS SOUS 54993 HAS SOUPS 54993 WITH SCORE 55052.95
AT ITER 565 NEW BEST:: SOT 267460 SOS 59870 HAS SOPS 59870 HAS SOUS 54978 HAS SOUPS 54978 WITH SCORE 55037.87
AT ITER 568 NEW BEST:: SOT 267460 SOS 59866 HAS SOPS 59866 HAS SOUS 54974 HAS SOUPS 54974 WITH SCORE 55033.866
AT ITER 592 NEW BEST:: SOT 265893 SOS 58958 HAS SOPS 58958 HAS SOUS 53554 HAS SOUPS 53554 WITH SCORE 53612.958
AT ITER 598 NEW BEST:: SOT 265863 SOS 58899 HAS SOPS 58899 HAS SOUS 53495 HAS SOUPS 53495 WITH SCORE 53553.899
AT ITER 623 NEW BEST:: SOT 265863 SOS 58850 HAS SOPS 58850 HAS SOUS 53451 HAS SOUPS 53451 WITH SCORE 53509.85
AT ITER 630 NEW BEST:: SOT 265845 SOS 58814 HAS SOPS 58814 HAS SOUS 53415 HAS SOUPS 53415 WITH SCORE 53473.814
AT ITER 634 NEW BEST:: SOT 265789 SOS 58789 HAS SOPS 58789 HAS SOUS 53362 HAS SOUPS 53362 WITH SCORE 53420.789
AT ITER 640 NEW BEST:: SOT 265789 SOS 58730 HAS SOPS 58730 HAS SOUS 53303 HAS SOUPS 53303 WITH SCORE 53361.73
AT ITER 647 NEW BEST:: SOT 265788 SOS 58728 HAS SOPS 58728 HAS SOUS 53301 HAS SOUPS 53301 WITH SCORE 53359.728
AT ITER 651 NEW BEST:: SOT 265775 SOS 58702 HAS SOPS 58702 HAS SOUS 53288 HAS SOUPS 53288 WITH SCORE 53346.702
AT ITER 652 NEW BEST:: SOT 265808 SOS 58670 HAS SOPS 58670 HAS SOUS 53256 HAS SOUPS 53256 WITH SCORE 53314.67
AT ITER 655 NEW BEST:: SOT 265748 SOS 58550 HAS SOPS 58550 HAS SOUS 53196 HAS SOUPS 53196 WITH SCORE 53254.55
AT ITER 659 NEW BEST:: SOT 265385 SOS 59601 HAS SOPS 59601 HAS SOUS 53079 HAS SOUPS 53079 WITH SCORE 53138.601
AT ITER 679 NEW BEST:: SOT 265373 SOS 59612 HAS SOPS 59612 HAS SOUS 53022 HAS SOUPS 53022 WITH SCORE 53081.612
AT ITER 680 NEW BEST:: SOT 265339 SOS 59578 HAS SOPS 59578 HAS SOUS 52988 HAS SOUPS 52988 WITH SCORE 53047.578
AT ITER 681 NEW BEST:: SOT 265292 SOS 59531 HAS SOPS 59531 HAS SOUS 52941 HAS SOUPS 52941 WITH SCORE 53000.531
AT ITER 695 NEW BEST:: SOT 265297 SOS 59541 HAS SOPS 59541 HAS SOUS 52906 HAS SOUPS 52906 WITH SCORE 52965.541
AT ITER 701 NEW BEST:: SOT 265315 SOS 59483 HAS SOPS 59483 HAS SOUS 52857 HAS SOUPS 52857 WITH SCORE 52916.483
AT ITER 707 NEW BEST:: SOT 265315 SOS 59391 HAS SOPS 59391 HAS SOUS 52765 HAS SOUPS 52765 WITH SCORE 52824.391
AT ITER 731 NEW BEST:: SOT 265299 SOS 59391 HAS SOPS 59391 HAS SOUS 52749 HAS SOUPS 52749 WITH SCORE 52808.391
AT ITER 737 NEW BEST:: SOT 265226 SOS 59196 HAS SOPS 59196 HAS SOUS 52724 HAS SOUPS 52724 WITH SCORE 52783.196
AT ITER 752 NEW BEST:: SOT 265166 SOS 59136 HAS SOPS 59136 HAS SOUS 52723 HAS SOUPS 52723 WITH SCORE 52782.136
AT ITER 754 NEW BEST:: SOT 264900 SOS 58934 HAS SOPS 58934 HAS SOUS 52479 HAS SOUPS 52479 WITH SCORE 52537.934
AT ITER 777 NEW BEST:: SOT 264905 SOS 58939 HAS SOPS 58939 HAS SOUS 52471 HAS SOUPS 52471 WITH SCORE 52529.939
AT ITER 797 NEW BEST:: SOT 264819 SOS 58879 HAS SOPS 58879 HAS SOUS 52394 HAS SOUPS 52394 WITH SCORE 52452.879
AT ITER 814 NEW BEST:: SOT 264720 SOS 58780 HAS SOPS 58780 HAS SOUS 52344 HAS SOUPS 52344 WITH SCORE 52402.78
AT ITER 841 NEW BEST:: SOT 264795 SOS 58450 HAS SOPS 58450 HAS SOUS 52202 HAS SOUPS 52202 WITH SCORE 52260.45
AT ITER 849 NEW BEST:: SOT 264828 SOS 58399 HAS SOPS 58399 HAS SOUS 52193 HAS SOUPS 52193 WITH SCORE 52251.399
AT ITER 865 NEW BEST:: SOT 264785 SOS 58313 HAS SOPS 58313 HAS SOUS 52107 HAS SOUPS 52107 WITH SCORE 52165.313
AT ITER 873 NEW BEST:: SOT 264598 SOS 58039 HAS SOPS 58039 HAS SOUS 51871 HAS SOUPS 51871 WITH SCORE 51929.039
AT ITER 881 NEW BEST:: SOT 264460 SOS 57932 HAS SOPS 57932 HAS SOUS 51845 HAS SOUPS 51845 WITH SCORE 51902.932
AT ITER 882 NEW BEST:: SOT 264388 SOS 57788 HAS SOPS 57788 HAS SOUS 51701 HAS SOUPS 51701 WITH SCORE 51758.788
AT ITER 891 NEW BEST:: SOT 264367 SOS 57796 HAS SOPS 57796 HAS SOUS 51680 HAS SOUPS 51680 WITH SCORE 51737.796
AT ITER 898 NEW BEST:: SOT 264340 SOS 57769 HAS SOPS 57769 HAS SOUS 51679 HAS SOUPS 51679 WITH SCORE 51736.769
AT ITER 899 NEW BEST:: SOT 264274 SOS 57612 HAS SOPS 57612 HAS SOUS 51522 HAS SOUPS 51522 WITH SCORE 51579.612
AT ITER 905 NEW BEST:: SOT 264267 SOS 57598 HAS SOPS 57598 HAS SOUS 51508 HAS SOUPS 51508 WITH SCORE 51565.598
AT ITER 906 NEW BEST:: SOT 264263 SOS 57590 HAS SOPS 57590 HAS SOUS 51500 HAS SOUPS 51500 WITH SCORE 51557.59
AT ITER 913 NEW BEST:: SOT 264227 SOS 57577 HAS SOPS 57577 HAS SOUS 51487 HAS SOUPS 51487 WITH SCORE 51544.577
AT ITER 934 NEW BEST:: SOT 263733 SOS 61568 HAS SOPS 61568 HAS SOUS 51262 HAS SOUPS 51262 WITH SCORE 51323.568
AT ITER 936 NEW BEST:: SOT 263664 SOS 61542 HAS SOPS 61542 HAS SOUS 51236 HAS SOUPS 51236 WITH SCORE 51297.542
AT ITER 940 NEW BEST:: SOT 263643 SOS 61448 HAS SOPS 61448 HAS SOUS 51142 HAS SOUPS 51142 WITH SCORE 51203.448
AT ITER 950 NEW BEST:: SOT 263641 SOS 61598 HAS SOPS 61598 HAS SOUS 51140 HAS SOUPS 51140 WITH SCORE 51201.598
AT ITER 951 NEW BEST:: SOT 263633 SOS 61582 HAS SOPS 61582 HAS SOUS 51132 HAS SOUPS 51132 WITH SCORE 51193.582
AT ITER 953 NEW BEST:: SOT 263565 SOS 61555 HAS SOPS 61555 HAS SOUS 51064 HAS SOUPS 51064 WITH SCORE 51125.555
AT ITER 957 NEW BEST:: SOT 263550 SOS 61525 HAS SOPS 61525 HAS SOUS 50997 HAS SOUPS 50997 WITH SCORE 51058.525
AT ITER 959 NEW BEST:: SOT 263563 SOS 61521 HAS SOPS 61521 HAS SOUS 50956 HAS SOUPS 50956 WITH SCORE 51017.521
AT ITER 963 NEW BEST:: SOT 263408 SOS 61366 HAS SOPS 61366 HAS SOUS 50956 HAS SOUPS 50956 WITH SCORE 51017.366
AT ITER 983 NEW BEST:: SOT 263390 SOS 61330 HAS SOPS 61330 HAS SOUS 50938 HAS SOUPS 50938 WITH SCORE 50999.33
AT ITER 984 NEW BEST:: SOT 263359 SOS 61398 HAS SOPS 61398 HAS SOUS 50866 HAS SOUPS 50866 WITH SCORE 50927.398
AT ITER 1003 NEW BEST:: SOT 263354 SOS 61306 HAS SOPS 61306 HAS SOUS 50774 HAS SOUPS 50774 WITH SCORE 50835.306
AT ITER 1004 NEW BEST:: SOT 263399 SOS 61341 HAS SOPS 61341 HAS SOUS 50772 HAS SOUPS 50772 WITH SCORE 50833.341
AT ITER 1052 NEW BEST:: SOT 263152 SOS 61197 HAS SOPS 61197 HAS SOUS 50551 HAS SOUPS 50551 WITH SCORE 50612.197
AT ITER 1055 NEW BEST:: SOT 263145 SOS 61190 HAS SOPS 61190 HAS SOUS 50544 HAS SOUPS 50544 WITH SCORE 50605.19
AT ITER 1088 NEW BEST:: SOT 263133 SOS 61166 HAS SOPS 61166 HAS SOUS 50520 HAS SOUPS 50520 WITH SCORE 50581.166
AT ITER 1094 NEW BEST:: SOT 263106 SOS 61112 HAS SOPS 61112 HAS SOUS 50446 HAS SOUPS 50446 WITH SCORE 50507.112
AT ITER 1101 NEW BEST:: SOT 263142 SOS 61001 HAS SOPS 61001 HAS SOUS 50445 HAS SOUPS 50445 WITH SCORE 50506.001
AT ITER 1111 NEW BEST:: SOT 263132 SOS 60978 HAS SOPS 60978 HAS SOUS 50422 HAS SOUPS 50422 WITH SCORE 50482.978
AT ITER 1112 NEW BEST:: SOT 263142 SOS 60976 HAS SOPS 60976 HAS SOUS 50419 HAS SOUPS 50419 WITH SCORE 50479.976
AT ITER 1132 NEW BEST:: SOT 263147 SOS 60986 HAS SOPS 60986 HAS SOUS 50393 HAS SOUPS 50393 WITH SCORE 50453.986
AT ITER 1148 NEW BEST:: SOT 263143 SOS 60980 HAS SOPS 60980 HAS SOUS 50389 HAS SOUPS 50389 WITH SCORE 50449.98
AT ITER 1152 NEW BEST:: SOT 263143 SOS 60888 HAS SOPS 60888 HAS SOUS 50386 HAS SOUPS 50386 WITH SCORE 50446.888
AT ITER 1159 NEW BEST:: SOT 263142 SOS 60886 HAS SOPS 60886 HAS SOUS 50385 HAS SOUPS 50385 WITH SCORE 50445.886
AT ITER 1173 NEW BEST:: SOT 263134 SOS 60854 HAS SOPS 60854 HAS SOUS 50377 HAS SOUPS 50377 WITH SCORE 50437.854
AT ITER 1194 NEW BEST:: SOT 263096 SOS 60778 HAS SOPS 60778 HAS SOUS 50338 HAS SOUPS 50338 WITH SCORE 50398.778
AT ITER 1206 NEW BEST:: SOT 263032 SOS 60724 HAS SOPS 60724 HAS SOUS 50284 HAS SOUPS 50284 WITH SCORE 50344.724
AT ITER 1238 NEW BEST:: SOT 263096 SOS 60608 HAS SOPS 60608 HAS SOUS 50168 HAS SOUPS 50168 WITH SCORE 50228.608
AT ITER 1246 NEW BEST:: SOT 263092 SOS 60604 HAS SOPS 60604 HAS SOUS 50164 HAS SOUPS 50164 WITH SCORE 50224.604
AT ITER 1256 NEW BEST:: SOT 263089 SOS 60598 HAS SOPS 60598 HAS SOUS 50161 HAS SOUPS 50161 WITH SCORE 50221.598
AT ITER 1259 NEW BEST:: SOT 263004 SOS 60428 HAS SOPS 60428 HAS SOUS 50089 HAS SOUPS 50089 WITH SCORE 50149.428
AT ITER 1270 NEW BEST:: SOT 263002 SOS 60425 HAS SOPS 60425 HAS SOUS 50086 HAS SOUPS 50086 WITH SCORE 50146.425
AT ITER 1272 NEW BEST:: SOT 262994 SOS 60409 HAS SOPS 60409 HAS SOUS 50078 HAS SOUPS 50078 WITH SCORE 50138.409
AT ITER 1284 NEW BEST:: SOT 262994 SOS 60402 HAS SOPS 60402 HAS SOUS 50078 HAS SOUPS 50078 WITH SCORE 50138.402
AT ITER 1304 NEW BEST:: SOT 262994 SOS 60365 HAS SOPS 60365 HAS SOUS 50041 HAS SOUPS 50041 WITH SCORE 50101.365
AT ITER 1308 NEW BEST:: SOT 262987 SOS 60358 HAS SOPS 60358 HAS SOUS 50034 HAS SOUPS 50034 WITH SCORE 50094.358
AT ITER 1313 NEW BEST:: SOT 263054 SOS 60285 HAS SOPS 60285 HAS SOUS 49961 HAS SOUPS 49961 WITH SCORE 50021.285
AT ITER 1315 NEW BEST:: SOT 263054 SOS 60274 HAS SOPS 60274 HAS SOUS 49961 HAS SOUPS 49961 WITH SCORE 50021.274
AT ITER 1319 NEW BEST:: SOT 263111 SOS 60317 HAS SOPS 60317 HAS SOUS 49958 HAS SOUPS 49958 WITH SCORE 50018.317
AT ITER 1324 NEW BEST:: SOT 262074 SOS 60148 HAS SOPS 60148 HAS SOUS 48983 HAS SOUPS 48983 WITH SCORE 49043.148
AT ITER 1334 NEW BEST:: SOT 262007 SOS 60141 HAS SOPS 60141 HAS SOUS 48976 HAS SOUPS 48976 WITH SCORE 49036.141
AT ITER 1339 NEW BEST:: SOT 261982 SOS 60091 HAS SOPS 60091 HAS SOUS 48909 HAS SOUPS 48909 WITH SCORE 48969.091
AT ITER 1347 NEW BEST:: SOT 261967 SOS 60037 HAS SOPS 60037 HAS SOUS 48855 HAS SOUPS 48855 WITH SCORE 48915.037
AT ITER 1367 NEW BEST:: SOT 261724 SOS 59551 HAS SOPS 59551 HAS SOUS 48574 HAS SOUPS 48574 WITH SCORE 48633.551
AT ITER 1383 NEW BEST:: SOT 261728 SOS 59559 HAS SOPS 59559 HAS SOUS 48568 HAS SOUPS 48568 WITH SCORE 48627.559
AT ITER 1394 NEW BEST:: SOT 261670 SOS 59332 HAS SOPS 59332 HAS SOUS 48434 HAS SOUPS 48434 WITH SCORE 48493.332
AT ITER 1399 NEW BEST:: SOT 261661 SOS 59325 HAS SOPS 59325 HAS SOUS 48425 HAS SOUPS 48425 WITH SCORE 48484.325
AT ITER 1402 NEW BEST:: SOT 261610 SOS 59324 HAS SOPS 59324 HAS SOUS 48323 HAS SOUPS 48323 WITH SCORE 48382.324
AT ITER 1417 NEW BEST:: SOT 261564 SOS 59288 HAS SOPS 59288 HAS SOUS 48319 HAS SOUPS 48319 WITH SCORE 48378.288
AT ITER 1429 NEW BEST:: SOT 261523 SOS 59226 HAS SOPS 59226 HAS SOUS 48257 HAS SOUPS 48257 WITH SCORE 48316.226
AT ITER 1435 NEW BEST:: SOT 260897 SOS 60790 HAS SOPS 60790 HAS SOUS 48124 HAS SOUPS 48124 WITH SCORE 48184.79
AT ITER 1437 NEW BEST:: SOT 260916 SOS 60725 HAS SOPS 60725 HAS SOUS 48073 HAS SOUPS 48073 WITH SCORE 48133.725
AT ITER 1447 NEW BEST:: SOT 260916 SOS 60681 HAS SOPS 60681 HAS SOUS 48029 HAS SOUPS 48029 WITH SCORE 48089.681
AT ITER 1464 NEW BEST:: SOT 260913 SOS 60685 HAS SOPS 60685 HAS SOUS 48026 HAS SOUPS 48026 WITH SCORE 48086.685
AT ITER 1479 NEW BEST:: SOT 260741 SOS 60897 HAS SOPS 60897 HAS SOUS 47898 HAS SOUPS 47898 WITH SCORE 47958.897
AT ITER 1488 NEW BEST:: SOT 260741 SOS 60897 HAS SOPS 60897 HAS SOUS 47889 HAS SOUPS 47889 WITH SCORE 47949.897
AT ITER 1500 NEW BEST:: SOT 260701 SOS 60817 HAS SOPS 60817 HAS SOUS 47849 HAS SOUPS 47849 WITH SCORE 47909.817
AT ITER 1510 NEW BEST:: SOT 260699 SOS 60783 HAS SOPS 60783 HAS SOUS 47817 HAS SOUPS 47817 WITH SCORE 47877.783
AT ITER 1519 NEW BEST:: SOT 260723 SOS 60741 HAS SOPS 60741 HAS SOUS 47777 HAS SOUPS 47777 WITH SCORE 47837.741
AT ITER 1533 NEW BEST:: SOT 260616 SOS 60527 HAS SOPS 60527 HAS SOUS 47563 HAS SOUPS 47563 WITH SCORE 47623.527
AT ITER 1541 NEW BEST:: SOT 260520 SOS 60518 HAS SOPS 60518 HAS SOUS 47553 HAS SOUPS 47553 WITH SCORE 47613.518
AT ITER 1563 NEW BEST:: SOT 260520 SOS 60505 HAS SOPS 60505 HAS SOUS 47540 HAS SOUPS 47540 WITH SCORE 47600.505
AT ITER 1568 NEW BEST:: SOT 260549 SOS 60499 HAS SOPS 60499 HAS SOUS 47510 HAS SOUPS 47510 WITH SCORE 47570.499
AT ITER 1570 NEW BEST:: SOT 260549 SOS 60459 HAS SOPS 60459 HAS SOUS 47470 HAS SOUPS 47470 WITH SCORE 47530.459
AT ITER 1605 NEW BEST:: SOT 260540 SOS 60352 HAS SOPS 60352 HAS SOUS 47400 HAS SOUPS 47400 WITH SCORE 47460.352
AT ITER 1614 NEW BEST:: SOT 260491 SOS 60254 HAS SOPS 60254 HAS SOUS 47302 HAS SOUPS 47302 WITH SCORE 47362.254
AT ITER 1634 NEW BEST:: SOT 260470 SOS 60233 HAS SOPS 60233 HAS SOUS 47295 HAS SOUPS 47295 WITH SCORE 47355.233
AT ITER 1642 NEW BEST:: SOT 260475 SOS 60231 HAS SOPS 60231 HAS SOUS 47294 HAS SOUPS 47294 WITH SCORE 47354.231
AT ITER 1661 NEW BEST:: SOT 260362 SOS 60078 HAS SOPS 60078 HAS SOUS 47219 HAS SOUPS 47219 WITH SCORE 47279.078
AT ITER 1675 NEW BEST:: SOT 260360 SOS 60074 HAS SOPS 60074 HAS SOUS 47217 HAS SOUPS 47217 WITH SCORE 47277.074
AT ITER 1681 NEW BEST:: SOT 260268 SOS 60022 HAS SOPS 60022 HAS SOUS 47172 HAS SOUPS 47172 WITH SCORE 47232.022
AT ITER 1686 NEW BEST:: SOT 260250 SOS 59986 HAS SOPS 59986 HAS SOUS 47170 HAS SOUPS 47170 WITH SCORE 47229.986
AT ITER 1695 NEW BEST:: SOT 260249 SOS 59983 HAS SOPS 59983 HAS SOUS 47169 HAS SOUPS 47169 WITH SCORE 47228.983
AT ITER 1697 NEW BEST:: SOT 260249 SOS 59941 HAS SOPS 59941 HAS SOUS 47127 HAS SOUPS 47127 WITH SCORE 47186.941
AT ITER 1708 NEW BEST:: SOT 260241 SOS 59925 HAS SOPS 59925 HAS SOUS 47119 HAS SOUPS 47119 WITH SCORE 47178.925
AT ITER 1717 NEW BEST:: SOT 260165 SOS 59873 HAS SOPS 59873 HAS SOUS 47067 HAS SOUPS 47067 WITH SCORE 47126.873
AT ITER 1721 NEW BEST:: SOT 260154 SOS 59851 HAS SOPS 59851 HAS SOUS 47060 HAS SOUPS 47060 WITH SCORE 47119.851
AT ITER 1728 NEW BEST:: SOT 260129 SOS 59826 HAS SOPS 59826 HAS SOUS 47035 HAS SOUPS 47035 WITH SCORE 47094.826
AT ITER 1731 NEW BEST:: SOT 260077 SOS 59774 HAS SOPS 59774 HAS SOUS 46957 HAS SOUPS 46957 WITH SCORE 47016.774
AT ITER 1759 NEW BEST:: SOT 260115 SOS 59687 HAS SOPS 59687 HAS SOUS 46938 HAS SOUPS 46938 WITH SCORE 46997.687
AT ITER 1760 NEW BEST:: SOT 260115 SOS 59657 HAS SOPS 59657 HAS SOUS 46938 HAS SOUPS 46938 WITH SCORE 46997.657
AT ITER 1764 NEW BEST:: SOT 260175 SOS 59613 HAS SOPS 59613 HAS SOUS 46916 HAS SOUPS 46916 WITH SCORE 46975.613
AT ITER 1769 NEW BEST:: SOT 260125 SOS 59616 HAS SOPS 59616 HAS SOUS 46894 HAS SOUPS 46894 WITH SCORE 46953.616
AT ITER 1772 NEW BEST:: SOT 259448 SOS 60189 HAS SOPS 60189 HAS SOUS 46275 HAS SOUPS 46275 WITH SCORE 46335.189
AT ITER 1790 NEW BEST:: SOT 259342 SOS 60084 HAS SOPS 60084 HAS SOUS 46274 HAS SOUPS 46274 WITH SCORE 46334.084
AT ITER 1793 NEW BEST:: SOT 259329 SOS 60058 HAS SOPS 60058 HAS SOUS 46248 HAS SOUPS 46248 WITH SCORE 46308.058
AT ITER 1804 NEW BEST:: SOT 259284 SOS 59998 HAS SOPS 59998 HAS SOUS 46188 HAS SOUPS 46188 WITH SCORE 46247.998
AT ITER 1820 NEW BEST:: SOT 259262 SOS 59954 HAS SOPS 59954 HAS SOUS 46148 HAS SOUPS 46148 WITH SCORE 46207.954
AT ITER 1824 NEW BEST:: SOT 259255 SOS 59948 HAS SOPS 59948 HAS SOUS 46142 HAS SOUPS 46142 WITH SCORE 46201.948
AT ITER 1828 NEW BEST:: SOT 259265 SOS 59943 HAS SOPS 59943 HAS SOUS 46137 HAS SOUPS 46137 WITH SCORE 46196.943
AT ITER 1831 NEW BEST:: SOT 259265 SOS 59932 HAS SOPS 59932 HAS SOUS 46126 HAS SOUPS 46126 WITH SCORE 46185.932
AT ITER 1841 NEW BEST:: SOT 259233 SOS 59967 HAS SOPS 59967 HAS SOUS 46094 HAS SOUPS 46094 WITH SCORE 46153.967
AT ITER 1860 NEW BEST:: SOT 259180 SOS 59963 HAS SOPS 59963 HAS SOUS 46090 HAS SOUPS 46090 WITH SCORE 46149.963
AT ITER 1863 NEW BEST:: SOT 259244 SOS 60027 HAS SOPS 60027 HAS SOUS 46069 HAS SOUPS 46069 WITH SCORE 46129.027
AT ITER 1904 NEW BEST:: SOT 259271 SOS 59923 HAS SOPS 59923 HAS SOUS 46042 HAS SOUPS 46042 WITH SCORE 46101.923
AT ITER 1907 NEW BEST:: SOT 259229 SOS 59839 HAS SOPS 59839 HAS SOUS 45979 HAS SOUPS 45979 WITH SCORE 46038.839
AT ITER 1913 NEW BEST:: SOT 259141 SOS 59751 HAS SOPS 59751 HAS SOUS 45955 HAS SOUPS 45955 WITH SCORE 46014.751
AT ITER 1943 NEW BEST:: SOT 258126 SOS 65603 HAS SOPS 65603 HAS SOUS 45563 HAS SOUPS 45563 WITH SCORE 45628.603
AT ITER 1946 NEW BEST:: SOT 258110 SOS 65603 HAS SOPS 65603 HAS SOUS 45548 HAS SOUPS 45548 WITH SCORE 45613.603
AT ITER 1947 NEW BEST:: SOT 258036 SOS 65602 HAS SOPS 65602 HAS SOUS 45540 HAS SOUPS 45540 WITH SCORE 45605.602
AT ITER 1969 NEW BEST:: SOT 258043 SOS 65604 HAS SOPS 65604 HAS SOUS 45538 HAS SOUPS 45538 WITH SCORE 45603.604
AT ITER 1973 NEW BEST:: SOT 258036 SOS 65590 HAS SOPS 65590 HAS SOUS 45524 HAS SOUPS 45524 WITH SCORE 45589.59
AT ITER 2016 NEW BEST:: SOT 257812 SOS 67276 HAS SOPS 67276 HAS SOUS 45505 HAS SOUPS 45505 WITH SCORE 45572.276
AT ITER 2031 NEW BEST:: SOT 257801 SOS 67320 HAS SOPS 67320 HAS SOUS 45494 HAS SOUPS 45494 WITH SCORE 45561.32
AT ITER 2032 NEW BEST:: SOT 257801 SOS 67320 HAS SOPS 67320 HAS SOUS 45480 HAS SOUPS 45480 WITH SCORE 45547.32
AT ITER 2043 NEW BEST:: SOT 257801 SOS 67320 HAS SOPS 67320 HAS SOUS 45479 HAS SOUPS 45479 WITH SCORE 45546.32
AT ITER 2049 NEW BEST:: SOT 257790 SOS 67298 HAS SOPS 67298 HAS SOUS 45468 HAS SOUPS 45468 WITH SCORE 45535.298
AT ITER 2051 NEW BEST:: SOT 257648 SOS 67051 HAS SOPS 67051 HAS SOUS 45397 HAS SOUPS 45397 WITH SCORE 45464.051
AT ITER 2061 NEW BEST:: SOT 257648 SOS 67046 HAS SOPS 67046 HAS SOUS 45397 HAS SOUPS 45397 WITH SCORE 45464.046
AT ITER 2084 NEW BEST:: SOT 257628 SOS 67006 HAS SOPS 67006 HAS SOUS 45357 HAS SOUPS 45357 WITH SCORE 45424.006
AT ITER 2091 NEW BEST:: SOT 257597 SOS 66944 HAS SOPS 66944 HAS SOUS 45326 HAS SOUPS 45326 WITH SCORE 45392.944
AT ITER 2109 NEW BEST:: SOT 257531 SOS 66878 HAS SOPS 66878 HAS SOUS 45260 HAS SOUPS 45260 WITH SCORE 45326.878
AT ITER 2129 NEW BEST:: SOT 257499 SOS 66846 HAS SOPS 66846 HAS SOUS 45257 HAS SOUPS 45257 WITH SCORE 45323.846
AT ITER 2132 NEW BEST:: SOT 257489 SOS 66826 HAS SOPS 66826 HAS SOUS 45237 HAS SOUPS 45237 WITH SCORE 45303.826
AT ITER 2138 NEW BEST:: SOT 257478 SOS 66736 HAS SOPS 66736 HAS SOUS 45161 HAS SOUPS 45161 WITH SCORE 45227.736
AT ITER 2184 NEW BEST:: SOT 257478 SOS 66709 HAS SOPS 66709 HAS SOUS 45161 HAS SOUPS 45161 WITH SCORE 45227.709
AT ITER 2198 NEW BEST:: SOT 257383 SOS 66519 HAS SOPS 66519 HAS SOUS 44926 HAS SOUPS 44926 WITH SCORE 44992.519
AT ITER 2210 NEW BEST:: SOT 257351 SOS 66461 HAS SOPS 66461 HAS SOUS 44884 HAS SOUPS 44884 WITH SCORE 44950.461
AT ITER 2231 NEW BEST:: SOT 257342 SOS 66469 HAS SOPS 66469 HAS SOUS 44875 HAS SOUPS 44875 WITH SCORE 44941.469
AT ITER 2232 NEW BEST:: SOT 257316 SOS 66445 HAS SOPS 66445 HAS SOUS 44849 HAS SOUPS 44849 WITH SCORE 44915.445
AT ITER 2242 NEW BEST:: SOT 257310 SOS 66439 HAS SOPS 66439 HAS SOUS 44837 HAS SOUPS 44837 WITH SCORE 44903.439
AT ITER 2245 NEW BEST:: SOT 257252 SOS 66381 HAS SOPS 66381 HAS SOUS 44779 HAS SOUPS 44779 WITH SCORE 44845.381
AT ITER 2249 NEW BEST:: SOT 257248 SOS 66373 HAS SOPS 66373 HAS SOUS 44771 HAS SOUPS 44771 WITH SCORE 44837.373
AT ITER 2250 NEW BEST:: SOT 257195 SOS 66294 HAS SOPS 66294 HAS SOUS 44691 HAS SOUPS 44691 WITH SCORE 44757.294
AT ITER 2267 NEW BEST:: SOT 257195 SOS 66255 HAS SOPS 66255 HAS SOUS 44652 HAS SOUPS 44652 WITH SCORE 44718.255
AT ITER 2269 NEW BEST:: SOT 257173 SOS 66089 HAS SOPS 66089 HAS SOUS 44491 HAS SOUPS 44491 WITH SCORE 44557.089
AT ITER 2276 NEW BEST:: SOT 257159 SOS 66061 HAS SOPS 66061 HAS SOUS 44463 HAS SOUPS 44463 WITH SCORE 44529.061
AT ITER 2298 NEW BEST:: SOT 257144 SOS 66031 HAS SOPS 66031 HAS SOUS 44433 HAS SOUPS 44433 WITH SCORE 44499.031
AT ITER 2302 NEW BEST:: SOT 257195 SOS 66082 HAS SOPS 66082 HAS SOUS 44417 HAS SOUPS 44417 WITH SCORE 44483.082
AT ITER 2320 NEW BEST:: SOT 257057 SOS 65919 HAS SOPS 65919 HAS SOUS 44305 HAS SOUPS 44305 WITH SCORE 44370.919
AT ITER 2345 NEW BEST:: SOT 256994 SOS 65793 HAS SOPS 65793 HAS SOUS 44179 HAS SOUPS 44179 WITH SCORE 44244.793
AT ITER 2360 NEW BEST:: SOT 257035 SOS 65840 HAS SOPS 65840 HAS SOUS 44178 HAS SOUPS 44178 WITH SCORE 44243.84
AT ITER 2370 NEW BEST:: SOT 256942 SOS 65654 HAS SOPS 65654 HAS SOUS 44059 HAS SOUPS 44059 WITH SCORE 44124.654
AT ITER 2378 NEW BEST:: SOT 256893 SOS 65556 HAS SOPS 65556 HAS SOUS 44023 HAS SOUPS 44023 WITH SCORE 44088.556
AT ITER 2402 NEW BEST:: SOT 256875 SOS 65520 HAS SOPS 65520 HAS SOUS 43987 HAS SOUPS 43987 WITH SCORE 44052.52
AT ITER 2409 NEW BEST:: SOT 256844 SOS 65492 HAS SOPS 65492 HAS SOUS 43922 HAS SOUPS 43922 WITH SCORE 43987.492
AT ITER 2419 NEW BEST:: SOT 256847 SOS 65495 HAS SOPS 65495 HAS SOUS 43910 HAS SOUPS 43910 WITH SCORE 43975.495
AT ITER 2425 NEW BEST:: SOT 256837 SOS 65485 HAS SOPS 65485 HAS SOUS 43900 HAS SOUPS 43900 WITH SCORE 43965.485
AT ITER 2427 NEW BEST:: SOT 256665 SOS 66584 HAS SOPS 66584 HAS SOUS 43803 HAS SOUPS 43803 WITH SCORE 43869.584
AT ITER 2473 NEW BEST:: SOT 256665 SOS 66554 HAS SOPS 66554 HAS SOUS 43736 HAS SOUPS 43736 WITH SCORE 43802.554
AT ITER 2474 NEW BEST:: SOT 256500 SOS 66627 HAS SOPS 66627 HAS SOUS 43633 HAS SOUPS 43633 WITH SCORE 43699.627
AT ITER 2478 NEW BEST:: SOT 256507 SOS 66610 HAS SOPS 66610 HAS SOUS 43618 HAS SOUPS 43618 WITH SCORE 43684.61
AT ITER 2493 NEW BEST:: SOT 256481 SOS 66554 HAS SOPS 66554 HAS SOUS 43590 HAS SOUPS 43590 WITH SCORE 43656.554
AT ITER 2495 NEW BEST:: SOT 256555 SOS 66547 HAS SOPS 66547 HAS SOUS 43583 HAS SOUPS 43583 WITH SCORE 43649.547
AT ITER 2506 NEW BEST:: SOT 256424 SOS 66285 HAS SOPS 66285 HAS SOUS 43552 HAS SOUPS 43552 WITH SCORE 43618.285
AT ITER 2535 NEW BEST:: SOT 256345 SOS 66127 HAS SOPS 66127 HAS SOUS 43473 HAS SOUPS 43473 WITH SCORE 43539.127
AT ITER 2578 NEW BEST:: SOT 256345 SOS 66147 HAS SOPS 66147 HAS SOUS 43468 HAS SOUPS 43468 WITH SCORE 43534.147
AT ITER 2593 NEW BEST:: SOT 256223 SOS 65964 HAS SOPS 65964 HAS SOUS 43346 HAS SOUPS 43346 WITH SCORE 43411.964
AT ITER 2596 NEW BEST:: SOT 256172 SOS 65862 HAS SOPS 65862 HAS SOUS 43313 HAS SOUPS 43313 WITH SCORE 43378.862
AT ITER 2600 NEW BEST:: SOT 256100 SOS 65770 HAS SOPS 65770 HAS SOUS 43263 HAS SOUPS 43263 WITH SCORE 43328.77
AT ITER 2622 NEW BEST:: SOT 256079 SOS 65749 HAS SOPS 65749 HAS SOUS 43263 HAS SOUPS 43263 WITH SCORE 43328.749
AT ITER 2625 NEW BEST:: SOT 256060 SOS 65729 HAS SOPS 65729 HAS SOUS 43243 HAS SOUPS 43243 WITH SCORE 43308.729
AT ITER 2628 NEW BEST:: SOT 255970 SOS 65549 HAS SOPS 65549 HAS SOUS 43132 HAS SOUPS 43132 WITH SCORE 43197.549
AT ITER 2639 NEW BEST:: SOT 255863 SOS 65335 HAS SOPS 65335 HAS SOUS 43023 HAS SOUPS 43023 WITH SCORE 43088.335
AT ITER 2687 NEW BEST:: SOT 255863 SOS 65292 HAS SOPS 65292 HAS SOUS 43023 HAS SOUPS 43023 WITH SCORE 43088.292
AT ITER 2704 NEW BEST:: SOT 255723 SOS 65012 HAS SOPS 65012 HAS SOUS 42883 HAS SOUPS 42883 WITH SCORE 42948.012
AT ITER 2739 NEW BEST:: SOT 255666 SOS 64898 HAS SOPS 64898 HAS SOUS 42783 HAS SOUPS 42783 WITH SCORE 42847.898
AT ITER 2743 NEW BEST:: SOT 255666 SOS 64862 HAS SOPS 64862 HAS SOUS 42747 HAS SOUPS 42747 WITH SCORE 42811.862
AT ITER 2752 NEW BEST:: SOT 255664 SOS 64856 HAS SOPS 64856 HAS SOUS 42741 HAS SOUPS 42741 WITH SCORE 42805.856
AT ITER 2757 NEW BEST:: SOT 255664 SOS 64852 HAS SOPS 64852 HAS SOUS 42737 HAS SOUPS 42737 WITH SCORE 42801.852
AT ITER 2763 NEW BEST:: SOT 255332 SOS 64520 HAS SOPS 64520 HAS SOUS 42409 HAS SOUPS 42409 WITH SCORE 42473.52
AT ITER 2780 NEW BEST:: SOT 255296 SOS 64483 HAS SOPS 64483 HAS SOUS 42372 HAS SOUPS 42372 WITH SCORE 42436.483
AT ITER 2794 NEW BEST:: SOT 255295 SOS 64481 HAS SOPS 64481 HAS SOUS 42370 HAS SOUPS 42370 WITH SCORE 42434.481
AT ITER 2800 NEW BEST:: SOT 255293 SOS 64361 HAS SOPS 64361 HAS SOUS 42308 HAS SOUPS 42308 WITH SCORE 42372.361
AT ITER 2804 NEW BEST:: SOT 255293 SOS 64352 HAS SOPS 64352 HAS SOUS 42299 HAS SOUPS 42299 WITH SCORE 42363.352
AT ITER 2821 NEW BEST:: SOT 255259 SOS 64314 HAS SOPS 64314 HAS SOUS 42261 HAS SOUPS 42261 WITH SCORE 42325.314
AT ITER 2830 NEW BEST:: SOT 255235 SOS 64266 HAS SOPS 64266 HAS SOUS 42237 HAS SOUPS 42237 WITH SCORE 42301.266
AT ITER 2831 NEW BEST:: SOT 255292 SOS 64233 HAS SOPS 64233 HAS SOUS 42233 HAS SOUPS 42233 WITH SCORE 42297.233
AT ITER 2856 NEW BEST:: SOT 255157 SOS 63963 HAS SOPS 63963 HAS SOUS 42138 HAS SOUPS 42138 WITH SCORE 42201.963
AT ITER 2858 NEW BEST:: SOT 255146 SOS 63778 HAS SOPS 63778 HAS SOUS 42050 HAS SOUPS 42050 WITH SCORE 42113.778
AT ITER 2860 NEW BEST:: SOT 255234 SOS 63426 HAS SOPS 63426 HAS SOUS 42006 HAS SOUPS 42006 WITH SCORE 42069.426
AT ITER 2867 NEW BEST:: SOT 255222 SOS 63414 HAS SOPS 63414 HAS SOUS 41994 HAS SOUPS 41994 WITH SCORE 42057.414
AT ITER 2869 NEW BEST:: SOT 255095 SOS 63160 HAS SOPS 63160 HAS SOUS 41928 HAS SOUPS 41928 WITH SCORE 41991.16
AT ITER 2888 NEW BEST:: SOT 255066 SOS 62682 HAS SOPS 62682 HAS SOUS 41898 HAS SOUPS 41898 WITH SCORE 41960.682
AT ITER 2893 NEW BEST:: SOT 255064 SOS 62678 HAS SOPS 62678 HAS SOUS 41887 HAS SOUPS 41887 WITH SCORE 41949.678
AT ITER 2914 NEW BEST:: SOT 255000 SOS 62550 HAS SOPS 62550 HAS SOUS 41830 HAS SOUPS 41830 WITH SCORE 41892.55
AT ITER 2920 NEW BEST:: SOT 254994 SOS 62532 HAS SOPS 62532 HAS SOUS 41824 HAS SOUPS 41824 WITH SCORE 41886.532
AT ITER 2956 NEW BEST:: SOT 254994 SOS 62470 HAS SOPS 62470 HAS SOUS 41762 HAS SOUPS 41762 WITH SCORE 41824.47
AT ITER 2958 NEW BEST:: SOT 254994 SOS 62469 HAS SOPS 62469 HAS SOUS 41762 HAS SOUPS 41762 WITH SCORE 41824.469
AT ITER 2978 NEW BEST:: SOT 254975 SOS 62431 HAS SOPS 62431 HAS SOUS 41724 HAS SOUPS 41724 WITH SCORE 41786.431
AT ITER 2982 NEW BEST:: SOT 254975 SOS 62431 HAS SOPS 62431 HAS SOUS 41715 HAS SOUPS 41715 WITH SCORE 41777.431
AT ITER 3001 NEW BEST:: SOT 254975 SOS 62421 HAS SOPS 62421 HAS SOUS 41715 HAS SOUPS 41715 WITH SCORE 41777.421
AT ITER 3013 NEW BEST:: SOT 254971 SOS 62443 HAS SOPS 62443 HAS SOUS 41711 HAS SOUPS 41711 WITH SCORE 41773.443
AT ITER 3014 NEW BEST:: SOT 254974 SOS 62449 HAS SOPS 62449 HAS SOUS 41694 HAS SOUPS 41694 WITH SCORE 41756.449
AT ITER 3085 NEW BEST:: SOT 254965 SOS 62431 HAS SOPS 62431 HAS SOUS 41683 HAS SOUPS 41683 WITH SCORE 41745.431
AT ITER 3110 NEW BEST:: SOT 254909 SOS 62404 HAS SOPS 62404 HAS SOUS 41681 HAS SOUPS 41681 WITH SCORE 41743.404
AT ITER 3113 NEW BEST:: SOT 254907 SOS 62380 HAS SOPS 62380 HAS SOUS 41666 HAS SOUPS 41666 WITH SCORE 41728.38
AT ITER 3115 NEW BEST:: SOT 254834 SOS 62372 HAS SOPS 62372 HAS SOUS 41660 HAS SOUPS 41660 WITH SCORE 41722.372
AT ITER 3129 NEW BEST:: SOT 254820 SOS 62344 HAS SOPS 62344 HAS SOUS 41648 HAS SOUPS 41648 WITH SCORE 41710.344
AT ITER 3138 NEW BEST:: SOT 254775 SOS 62205 HAS SOPS 62205 HAS SOUS 41554 HAS SOUPS 41554 WITH SCORE 41616.205
AT ITER 3164 NEW BEST:: SOT 254775 SOS 62179 HAS SOPS 62179 HAS SOUS 41554 HAS SOUPS 41554 WITH SCORE 41616.179
AT ITER 3196 NEW BEST:: SOT 254775 SOS 62171 HAS SOPS 62171 HAS SOUS 41546 HAS SOUPS 41546 WITH SCORE 41608.171
AT ITER 3205 NEW BEST:: SOT 254615 SOS 61931 HAS SOPS 61931 HAS SOUS 41457 HAS SOUPS 41457 WITH SCORE 41518.931
AT ITER 3206 NEW BEST:: SOT 254612 SOS 61925 HAS SOPS 61925 HAS SOUS 41428 HAS SOUPS 41428 WITH SCORE 41489.925
AT ITER 3209 NEW BEST:: SOT 254579 SOS 61781 HAS SOPS 61781 HAS SOUS 41408 HAS SOUPS 41408 WITH SCORE 41469.781
AT ITER 3224 NEW BEST:: SOT 254579 SOS 61778 HAS SOPS 61778 HAS SOUS 41405 HAS SOUPS 41405 WITH SCORE 41466.778
AT ITER 3234 NEW BEST:: SOT 254424 SOS 61975 HAS SOPS 61975 HAS SOUS 41299 HAS SOUPS 41299 WITH SCORE 41360.975
AT ITER 3261 NEW BEST:: SOT 254409 SOS 61930 HAS SOPS 61930 HAS SOUS 41269 HAS SOUPS 41269 WITH SCORE 41330.93
AT ITER 3265 NEW BEST:: SOT 254409 SOS 61962 HAS SOPS 61962 HAS SOUS 41237 HAS SOUPS 41237 WITH SCORE 41298.962
AT ITER 3283 NEW BEST:: SOT 254296 SOS 61816 HAS SOPS 61816 HAS SOUS 41234 HAS SOUPS 41234 WITH SCORE 41295.816
AT ITER 3292 NEW BEST:: SOT 254240 SOS 61704 HAS SOPS 61704 HAS SOUS 41151 HAS SOUPS 41151 WITH SCORE 41212.704
AT ITER 3293 NEW BEST:: SOT 254187 SOS 61598 HAS SOPS 61598 HAS SOUS 41149 HAS SOUPS 41149 WITH SCORE 41210.598
AT ITER 3300 NEW BEST:: SOT 254156 SOS 61341 HAS SOPS 61341 HAS SOUS 41074 HAS SOUPS 41074 WITH SCORE 41135.341
AT ITER 3302 NEW BEST:: SOT 254086 SOS 61271 HAS SOPS 61271 HAS SOUS 41038 HAS SOUPS 41038 WITH SCORE 41099.271
AT ITER 3307 NEW BEST:: SOT 254110 SOS 61265 HAS SOPS 61265 HAS SOUS 41032 HAS SOUPS 41032 WITH SCORE 41093.265
AT ITER 3321 NEW BEST:: SOT 254073 SOS 61191 HAS SOPS 61191 HAS SOUS 40995 HAS SOUPS 40995 WITH SCORE 41056.191
AT ITER 3333 NEW BEST:: SOT 254073 SOS 61168 HAS SOPS 61168 HAS SOUS 40995 HAS SOUPS 40995 WITH SCORE 41056.168
AT ITER 3335 NEW BEST:: SOT 254095 SOS 61212 HAS SOPS 61212 HAS SOUS 40958 HAS SOUPS 40958 WITH SCORE 41019.212
AT ITER 3336 NEW BEST:: SOT 254116 SOS 61254 HAS SOPS 61254 HAS SOUS 40918 HAS SOUPS 40918 WITH SCORE 40979.254
AT ITER 3356 NEW BEST:: SOT 254063 SOS 61148 HAS SOPS 61148 HAS SOUS 40753 HAS SOUPS 40753 WITH SCORE 40814.148
AT ITER 3367 NEW BEST:: SOT 254046 SOS 61131 HAS SOPS 61131 HAS SOUS 40736 HAS SOUPS 40736 WITH SCORE 40797.131
AT ITER 3369 NEW BEST:: SOT 253991 SOS 61026 HAS SOPS 61026 HAS SOUS 40701 HAS SOUPS 40701 WITH SCORE 40762.026
AT ITER 3387 NEW BEST:: SOT 253986 SOS 61021 HAS SOPS 61021 HAS SOUS 40696 HAS SOUPS 40696 WITH SCORE 40757.021
AT ITER 3390 NEW BEST:: SOT 253973 SOS 61020 HAS SOPS 61020 HAS SOUS 40695 HAS SOUPS 40695 WITH SCORE 40756.02
AT ITER 3403 NEW BEST:: SOT 253957 SOS 60996 HAS SOPS 60996 HAS SOUS 40679 HAS SOUPS 40679 WITH SCORE 40739.996
AT ITER 3433 NEW BEST:: SOT 253955 SOS 60992 HAS SOPS 60992 HAS SOUS 40675 HAS SOUPS 40675 WITH SCORE 40735.992
AT ITER 3442 NEW BEST:: SOT 253931 SOS 60944 HAS SOPS 60944 HAS SOUS 40627 HAS SOUPS 40627 WITH SCORE 40687.944
AT ITER 3450 NEW BEST:: SOT 253923 SOS 60928 HAS SOPS 60928 HAS SOUS 40619 HAS SOUPS 40619 WITH SCORE 40679.928
AT ITER 3487 NEW BEST:: SOT 253847 SOS 61080 HAS SOPS 61080 HAS SOUS 40609 HAS SOUPS 40609 WITH SCORE 40670.08
AT ITER 3499 NEW BEST:: SOT 253839 SOS 61052 HAS SOPS 61052 HAS SOUS 40581 HAS SOUPS 40581 WITH SCORE 40642.052
AT ITER 3503 NEW BEST:: SOT 253878 SOS 61091 HAS SOPS 61091 HAS SOUS 40511 HAS SOUPS 40511 WITH SCORE 40572.091
AT ITER 3508 NEW BEST:: SOT 253765 SOS 60991 HAS SOPS 60991 HAS SOUS 40461 HAS SOUPS 40461 WITH SCORE 40521.991
AT ITER 3520 NEW BEST:: SOT 253713 SOS 60933 HAS SOPS 60933 HAS SOUS 40403 HAS SOUPS 40403 WITH SCORE 40463.933
AT ITER 3524 NEW BEST:: SOT 253710 SOS 60945 HAS SOPS 60945 HAS SOUS 40400 HAS SOUPS 40400 WITH SCORE 40460.945
AT ITER 3537 NEW BEST:: SOT 253685 SOS 60895 HAS SOPS 60895 HAS SOUS 40375 HAS SOUPS 40375 WITH SCORE 40435.895
AT ITER 3555 NEW BEST:: SOT 253684 SOS 60893 HAS SOPS 60893 HAS SOUS 40373 HAS SOUPS 40373 WITH SCORE 40433.893
AT ITER 3558 NEW BEST:: SOT 253453 SOS 63150 HAS SOPS 63150 HAS SOUS 40353 HAS SOUPS 40353 WITH SCORE 40416.15
AT ITER 3565 NEW BEST:: SOT 253434 SOS 63131 HAS SOPS 63131 HAS SOUS 40342 HAS SOUPS 40342 WITH SCORE 40405.131
AT ITER 3582 NEW BEST:: SOT 253413 SOS 62028 HAS SOPS 62028 HAS SOUS 40217 HAS SOUPS 40217 WITH SCORE 40279.028
AT ITER 3608 NEW BEST:: SOT 253391 SOS 61834 HAS SOPS 61834 HAS SOUS 40023 HAS SOUPS 40023 WITH SCORE 40084.834
AT ITER 3630 NEW BEST:: SOT 253326 SOS 61796 HAS SOPS 61796 HAS SOUS 40002 HAS SOUPS 40002 WITH SCORE 40063.796
AT ITER 3638 NEW BEST:: SOT 253322 SOS 61788 HAS SOPS 61788 HAS SOUS 39994 HAS SOUPS 39994 WITH SCORE 40055.788
AT ITER 3646 NEW BEST:: SOT 253322 SOS 61788 HAS SOPS 61788 HAS SOUS 39982 HAS SOUPS 39982 WITH SCORE 40043.788
AT ITER 3654 NEW BEST:: SOT 253317 SOS 61773 HAS SOPS 61773 HAS SOUS 39972 HAS SOUPS 39972 WITH SCORE 40033.773
AT ITER 3655 NEW BEST:: SOT 253367 SOS 61737 HAS SOPS 61737 HAS SOUS 39936 HAS SOUPS 39936 WITH SCORE 39997.737
AT ITER 3662 NEW BEST:: SOT 253375 SOS 61681 HAS SOPS 61681 HAS SOUS 39880 HAS SOUPS 39880 WITH SCORE 39941.681
AT ITER 3670 NEW BEST:: SOT 253089 SOS 61361 HAS SOPS 61361 HAS SOUS 39621 HAS SOUPS 39621 WITH SCORE 39682.361
AT ITER 3679 NEW BEST:: SOT 253089 SOS 61332 HAS SOPS 61332 HAS SOUS 39617 HAS SOUPS 39617 WITH SCORE 39678.332
AT ITER 3687 NEW BEST:: SOT 253075 SOS 61332 HAS SOPS 61332 HAS SOUS 39603 HAS SOUPS 39603 WITH SCORE 39664.332
AT ITER 3704 NEW BEST:: SOT 253086 SOS 61319 HAS SOPS 61319 HAS SOUS 39592 HAS SOUPS 39592 WITH SCORE 39653.319
AT ITER 3713 NEW BEST:: SOT 253082 SOS 61319 HAS SOPS 61319 HAS SOUS 39583 HAS SOUPS 39583 WITH SCORE 39644.319
AT ITER 3717 NEW BEST:: SOT 252892 SOS 61129 HAS SOPS 61129 HAS SOUS 39471 HAS SOUPS 39471 WITH SCORE 39532.129
AT ITER 3734 NEW BEST:: SOT 252784 SOS 60913 HAS SOPS 60913 HAS SOUS 39416 HAS SOUPS 39416 WITH SCORE 39476.913
AT ITER 3767 NEW BEST:: SOT 252774 SOS 60879 HAS SOPS 60879 HAS SOUS 39396 HAS SOUPS 39396 WITH SCORE 39456.879
AT ITER 3771 NEW BEST:: SOT 252779 SOS 60889 HAS SOPS 60889 HAS SOUS 39377 HAS SOUPS 39377 WITH SCORE 39437.889
AT ITER 3782 NEW BEST:: SOT 252852 SOS 60851 HAS SOPS 60851 HAS SOUS 39270 HAS SOUPS 39270 WITH SCORE 39330.851
AT ITER 3788 NEW BEST:: SOT 252852 SOS 60851 HAS SOPS 60851 HAS SOUS 39251 HAS SOUPS 39251 WITH SCORE 39311.851
AT ITER 3818 NEW BEST:: SOT 252856 SOS 60859 HAS SOPS 60859 HAS SOUS 39233 HAS SOUPS 39233 WITH SCORE 39293.859
AT ITER 3848 NEW BEST:: SOT 252855 SOS 60858 HAS SOPS 60858 HAS SOUS 39232 HAS SOUPS 39232 WITH SCORE 39292.858
AT ITER 3876 NEW BEST:: SOT 252851 SOS 60850 HAS SOPS 60850 HAS SOUS 39224 HAS SOUPS 39224 WITH SCORE 39284.85
AT ITER 3877 NEW BEST:: SOT 252851 SOS 60850 HAS SOPS 60850 HAS SOUS 39223 HAS SOUPS 39223 WITH SCORE 39283.85
AT ITER 3889 NEW BEST:: SOT 252856 SOS 60678 HAS SOPS 60678 HAS SOUS 39214 HAS SOUPS 39214 WITH SCORE 39274.678
AT ITER 3905 NEW BEST:: SOT 252855 SOS 60649 HAS SOPS 60649 HAS SOUS 39186 HAS SOUPS 39186 WITH SCORE 39246.649
AT ITER 3907 NEW BEST:: SOT 252813 SOS 60573 HAS SOPS 60573 HAS SOUS 39123 HAS SOUPS 39123 WITH SCORE 39183.573
AT ITER 3919 NEW BEST:: SOT 252846 SOS 60639 HAS SOPS 60639 HAS SOUS 39089 HAS SOUPS 39089 WITH SCORE 39149.639
AT ITER 3933 NEW BEST:: SOT 252782 SOS 60575 HAS SOPS 60575 HAS SOUS 39085 HAS SOUPS 39085 WITH SCORE 39145.575
AT ITER 3965 NEW BEST:: SOT 252639 SOS 60289 HAS SOPS 60289 HAS SOUS 38978 HAS SOUPS 38978 WITH SCORE 39038.289
AT ITER 3969 NEW BEST:: SOT 252662 SOS 60227 HAS SOPS 60227 HAS SOUS 38916 HAS SOUPS 38916 WITH SCORE 38976.227
AT ITER 3980 NEW BEST:: SOT 252676 SOS 60241 HAS SOPS 60241 HAS SOUS 38883 HAS SOUPS 38883 WITH SCORE 38943.241
AT ITER 3992 NEW BEST:: SOT 252658 SOS 60205 HAS SOPS 60205 HAS SOUS 38865 HAS SOUPS 38865 WITH SCORE 38925.205
AT ITER 4006 NEW BEST:: SOT 252658 SOS 60205 HAS SOPS 60205 HAS SOUS 38864 HAS SOUPS 38864 WITH SCORE 38924.205
AT ITER 4013 NEW BEST:: SOT 252643 SOS 60220 HAS SOPS 60220 HAS SOUS 38849 HAS SOUPS 38849 WITH SCORE 38909.22
AT ITER 4022 NEW BEST:: SOT 252550 SOS 59897 HAS SOPS 59897 HAS SOUS 38799 HAS SOUPS 38799 WITH SCORE 38858.897
AT ITER 4086 NEW BEST:: SOT 252496 SOS 59858 HAS SOPS 59858 HAS SOUS 38738 HAS SOUPS 38738 WITH SCORE 38797.858
AT ITER 4107 NEW BEST:: SOT 252490 SOS 59846 HAS SOPS 59846 HAS SOUS 38726 HAS SOUPS 38726 WITH SCORE 38785.846
AT ITER 4165 NEW BEST:: SOT 252458 SOS 59814 HAS SOPS 59814 HAS SOUS 38693 HAS SOUPS 38693 WITH SCORE 38752.814
AT ITER 4252 NEW BEST:: SOT 252432 SOS 59762 HAS SOPS 59762 HAS SOUS 38641 HAS SOUPS 38641 WITH SCORE 38700.762
AT ITER 4277 NEW BEST:: SOT 252384 SOS 59714 HAS SOPS 59714 HAS SOUS 38593 HAS SOUPS 38593 WITH SCORE 38652.714
AT ITER 4289 NEW BEST:: SOT 252334 SOS 60141 HAS SOPS 60141 HAS SOUS 38592 HAS SOUPS 38592 WITH SCORE 38652.141
AT ITER 4290 NEW BEST:: SOT 252334 SOS 60141 HAS SOPS 60141 HAS SOUS 38567 HAS SOUPS 38567 WITH SCORE 38627.141
AT ITER 4298 NEW BEST:: SOT 252133 SOS 59920 HAS SOPS 59920 HAS SOUS 38427 HAS SOUPS 38427 WITH SCORE 38486.92
AT ITER 4310 NEW BEST:: SOT 252138 SOS 59930 HAS SOPS 59930 HAS SOUS 38382 HAS SOUPS 38382 WITH SCORE 38441.93
AT ITER 4399 NEW BEST:: SOT 252156 SOS 59871 HAS SOPS 59871 HAS SOUS 38312 HAS SOUPS 38312 WITH SCORE 38371.871
AT ITER 4401 NEW BEST:: SOT 252150 SOS 59859 HAS SOPS 59859 HAS SOUS 38300 HAS SOUPS 38300 WITH SCORE 38359.859
AT ITER 4428 NEW BEST:: SOT 252142 SOS 59843 HAS SOPS 59843 HAS SOUS 38284 HAS SOUPS 38284 WITH SCORE 38343.843
AT ITER 4431 NEW BEST:: SOT 252123 SOS 59797 HAS SOPS 59797 HAS SOUS 38238 HAS SOUPS 38238 WITH SCORE 38297.797
AT ITER 4478 NEW BEST:: SOT 252078 SOS 59752 HAS SOPS 59752 HAS SOUS 38238 HAS SOUPS 38238 WITH SCORE 38297.752
AT ITER 4482 NEW BEST:: SOT 252055 SOS 59732 HAS SOPS 59732 HAS SOUS 38192 HAS SOUPS 38192 WITH SCORE 38251.732
AT ITER 4498 NEW BEST:: SOT 251958 SOS 59681 HAS SOPS 59681 HAS SOUS 38102 HAS SOUPS 38102 WITH SCORE 38161.681
AT ITER 4505 NEW BEST:: SOT 251983 SOS 59554 HAS SOPS 59554 HAS SOUS 38078 HAS SOUPS 38078 WITH SCORE 38137.554
AT ITER 4520 NEW BEST:: SOT 252036 SOS 59534 HAS SOPS 59534 HAS SOUS 38068 HAS SOUPS 38068 WITH SCORE 38127.534
AT ITER 4564 NEW BEST:: SOT 252037 SOS 59535 HAS SOPS 59535 HAS SOUS 38044 HAS SOUPS 38044 WITH SCORE 38103.535
AT ITER 4569 NEW BEST:: SOT 252044 SOS 59542 HAS SOPS 59542 HAS SOUS 38043 HAS SOUPS 38043 WITH SCORE 38102.542
AT ITER 4580 NEW BEST:: SOT 252025 SOS 59523 HAS SOPS 59523 HAS SOUS 38024 HAS SOUPS 38024 WITH SCORE 38083.523
AT ITER 4609 NEW BEST:: SOT 251974 SOS 59421 HAS SOPS 59421 HAS SOUS 37973 HAS SOUPS 37973 WITH SCORE 38032.421
AT ITER 4627 NEW BEST:: SOT 251911 SOS 59358 HAS SOPS 59358 HAS SOUS 37910 HAS SOUPS 37910 WITH SCORE 37969.358
AT ITER 4664 NEW BEST:: SOT 251907 SOS 59362 HAS SOPS 59362 HAS SOUS 37906 HAS SOUPS 37906 WITH SCORE 37965.362
AT ITER 4669 NEW BEST:: SOT 251907 SOS 59360 HAS SOPS 59360 HAS SOUS 37904 HAS SOUPS 37904 WITH SCORE 37963.36
AT ITER 4676 NEW BEST:: SOT 251896 SOS 59314 HAS SOPS 59314 HAS SOUS 37858 HAS SOUPS 37858 WITH SCORE 37917.314
AT ITER 4724 NEW BEST:: SOT 251948 SOS 59418 HAS SOPS 59418 HAS SOUS 37857 HAS SOUPS 37857 WITH SCORE 37916.418
AT ITER 4735 NEW BEST:: SOT 251840 SOS 59513 HAS SOPS 59513 HAS SOUS 37783 HAS SOUPS 37783 WITH SCORE 37842.513
AT ITER 4737 NEW BEST:: SOT 251625 SOS 59298 HAS SOPS 59298 HAS SOUS 37739 HAS SOUPS 37739 WITH SCORE 37798.298
AT ITER 4745 NEW BEST:: SOT 251560 SOS 59168 HAS SOPS 59168 HAS SOUS 37609 HAS SOUPS 37609 WITH SCORE 37668.168
AT ITER 4757 NEW BEST:: SOT 251492 SOS 59100 HAS SOPS 59100 HAS SOUS 37608 HAS SOUPS 37608 WITH SCORE 37667.1
AT ITER 4759 NEW BEST:: SOT 251514 SOS 59083 HAS SOPS 59083 HAS SOUS 37585 HAS SOUPS 37585 WITH SCORE 37644.083
AT ITER 4767 NEW BEST:: SOT 251480 SOS 59015 HAS SOPS 59015 HAS SOUS 37517 HAS SOUPS 37517 WITH SCORE 37576.015
AT ITER 4824 NEW BEST:: SOT 251494 SOS 59043 HAS SOPS 59043 HAS SOUS 37506 HAS SOUPS 37506 WITH SCORE 37565.043
AT ITER 4827 NEW BEST:: SOT 251494 SOS 59043 HAS SOPS 59043 HAS SOUS 37477 HAS SOUPS 37477 WITH SCORE 37536.043
AT ITER 4853 NEW BEST:: SOT 251469 SOS 59005 HAS SOPS 59005 HAS SOUS 37439 HAS SOUPS 37439 WITH SCORE 37498.005
AT ITER 4861 NEW BEST:: SOT 251469 SOS 58971 HAS SOPS 58971 HAS SOUS 37439 HAS SOUPS 37439 WITH SCORE 37497.971
AT ITER 4888 NEW BEST:: SOT 251420 SOS 58909 HAS SOPS 58909 HAS SOUS 37390 HAS SOUPS 37390 WITH SCORE 37448.909
AT ITER 4899 NEW BEST:: SOT 251376 SOS 58821 HAS SOPS 58821 HAS SOUS 37351 HAS SOUPS 37351 WITH SCORE 37409.821
AT ITER 4915 NEW BEST:: SOT 251673 SOS 52876 HAS SOPS 52876 HAS SOUS 37125 HAS SOUPS 37125 WITH SCORE 37177.876
AT ITER 4959 NEW BEST:: SOT 251575 SOS 52797 HAS SOPS 52797 HAS SOUS 37046 HAS SOUPS 37046 WITH SCORE 37098.797
AT ITER 4975 NEW BEST:: SOT 251559 SOS 52765 HAS SOPS 52765 HAS SOUS 37014 HAS SOUPS 37014 WITH SCORE 37066.765
AT ITER 5006 NEW BEST:: SOT 251589 SOS 52666 HAS SOPS 52666 HAS SOUS 36995 HAS SOUPS 36995 WITH SCORE 37047.666
AT ITER 5032 NEW BEST:: SOT 251697 SOS 52750 HAS SOPS 52750 HAS SOUS 36979 HAS SOUPS 36979 WITH SCORE 37031.75
AT ITER 5096 NEW BEST:: SOT 251697 SOS 52725 HAS SOPS 52725 HAS SOUS 36979 HAS SOUPS 36979 WITH SCORE 37031.725
AT ITER 5121 NEW BEST:: SOT 251682 SOS 52851 HAS SOPS 52851 HAS SOUS 36964 HAS SOUPS 36964 WITH SCORE 37016.851
AT ITER 5130 NEW BEST:: SOT 251621 SOS 52790 HAS SOPS 52790 HAS SOUS 36964 HAS SOUPS 36964 WITH SCORE 37016.79
AT ITER 5150 NEW BEST:: SOT 251557 SOS 52662 HAS SOPS 52662 HAS SOUS 36883 HAS SOUPS 36883 WITH SCORE 36935.662
AT ITER 5174 NEW BEST:: SOT 251548 SOS 52612 HAS SOPS 52612 HAS SOUS 36865 HAS SOUPS 36865 WITH SCORE 36917.612
AT ITER 5211 NEW BEST:: SOT 251546 SOS 52608 HAS SOPS 52608 HAS SOUS 36859 HAS SOUPS 36859 WITH SCORE 36911.608
AT ITER 5215 NEW BEST:: SOT 251513 SOS 52642 HAS SOPS 52642 HAS SOUS 36808 HAS SOUPS 36808 WITH SCORE 36860.642
AT ITER 5258 NEW BEST:: SOT 251457 SOS 52559 HAS SOPS 52559 HAS SOUS 36781 HAS SOUPS 36781 WITH SCORE 36833.559
AT ITER 5268 NEW BEST:: SOT 251457 SOS 52439 HAS SOPS 52439 HAS SOUS 36661 HAS SOUPS 36661 WITH SCORE 36713.439
AT ITER 5282 NEW BEST:: SOT 251403 SOS 52331 HAS SOPS 52331 HAS SOUS 36617 HAS SOUPS 36617 WITH SCORE 36669.331
AT ITER 5291 NEW BEST:: SOT 251267 SOS 52096 HAS SOPS 52096 HAS SOUS 36410 HAS SOUPS 36410 WITH SCORE 36462.096
AT ITER 5308 NEW BEST:: SOT 251160 SOS 51912 HAS SOPS 51912 HAS SOUS 36226 HAS SOUPS 36226 WITH SCORE 36277.912
AT ITER 5317 NEW BEST:: SOT 251142 SOS 51989 HAS SOPS 51989 HAS SOUS 36204 HAS SOUPS 36204 WITH SCORE 36255.989
AT ITER 5324 NEW BEST:: SOT 251133 SOS 52012 HAS SOPS 52012 HAS SOUS 36186 HAS SOUPS 36186 WITH SCORE 36238.012
AT ITER 5328 NEW BEST:: SOT 251123 SOS 51992 HAS SOPS 51992 HAS SOUS 36176 HAS SOUPS 36176 WITH SCORE 36227.992
AT ITER 5411 NEW BEST:: SOT 251100 SOS 51946 HAS SOPS 51946 HAS SOUS 36153 HAS SOUPS 36153 WITH SCORE 36204.946
AT ITER 5413 NEW BEST:: SOT 251118 SOS 51979 HAS SOPS 51979 HAS SOUS 36123 HAS SOUPS 36123 WITH SCORE 36174.979
AT ITER 5423 NEW BEST:: SOT 251115 SOS 52024 HAS SOPS 52024 HAS SOUS 36120 HAS SOUPS 36120 WITH SCORE 36172.024
AT ITER 5427 NEW BEST:: SOT 251169 SOS 51933 HAS SOPS 51933 HAS SOUS 35975 HAS SOUPS 35975 WITH SCORE 36026.933
AT ITER 5429 NEW BEST:: SOT 251156 SOS 51907 HAS SOPS 51907 HAS SOUS 35949 HAS SOUPS 35949 WITH SCORE 36000.907
AT ITER 5441 NEW BEST:: SOT 251133 SOS 51861 HAS SOPS 51861 HAS SOUS 35903 HAS SOUPS 35903 WITH SCORE 35954.861
AT ITER 5450 NEW BEST:: SOT 251104 SOS 51872 HAS SOPS 51872 HAS SOUS 35848 HAS SOUPS 35848 WITH SCORE 35899.872
AT ITER 5459 NEW BEST:: SOT 251102 SOS 51868 HAS SOPS 51868 HAS SOUS 35846 HAS SOUPS 35846 WITH SCORE 35897.868
AT ITER 5486 NEW BEST:: SOT 251074 SOS 51901 HAS SOPS 51901 HAS SOUS 35829 HAS SOUPS 35829 WITH SCORE 35880.901
AT ITER 5539 NEW BEST:: SOT 251061 SOS 51875 HAS SOPS 51875 HAS SOUS 35804 HAS SOUPS 35804 WITH SCORE 35855.875
AT ITER 5551 NEW BEST:: SOT 251061 SOS 51875 HAS SOPS 51875 HAS SOUS 35803 HAS SOUPS 35803 WITH SCORE 35854.875
AT ITER 5556 NEW BEST:: SOT 251061 SOS 51567 HAS SOPS 51567 HAS SOUS 35803 HAS SOUPS 35803 WITH SCORE 35854.567
AT ITER 5575 NEW BEST:: SOT 251056 SOS 51557 HAS SOPS 51557 HAS SOUS 35803 HAS SOUPS 35803 WITH SCORE 35854.557
AT ITER 5594 NEW BEST:: SOT 251069 SOS 51566 HAS SOPS 51566 HAS SOUS 35782 HAS SOUPS 35782 WITH SCORE 35833.566
AT ITER 5610 NEW BEST:: SOT 251072 SOS 51572 HAS SOPS 51572 HAS SOUS 35758 HAS SOUPS 35758 WITH SCORE 35809.572
AT ITER 5623 NEW BEST:: SOT 251070 SOS 51568 HAS SOPS 51568 HAS SOUS 35754 HAS SOUPS 35754 WITH SCORE 35805.568
AT ITER 5627 NEW BEST:: SOT 251049 SOS 51526 HAS SOPS 51526 HAS SOUS 35718 HAS SOUPS 35718 WITH SCORE 35769.526
AT ITER 5670 NEW BEST:: SOT 251049 SOS 51512 HAS SOPS 51512 HAS SOUS 35704 HAS SOUPS 35704 WITH SCORE 35755.512
AT ITER 5672 NEW BEST:: SOT 250980 SOS 51531 HAS SOPS 51531 HAS SOUS 35635 HAS SOUPS 35635 WITH SCORE 35686.531
AT ITER 5748 NEW BEST:: SOT 250932 SOS 51386 HAS SOPS 51386 HAS SOUS 35587 HAS SOUPS 35587 WITH SCORE 35638.386
AT ITER 5776 NEW BEST:: SOT 250957 SOS 51368 HAS SOPS 51368 HAS SOUS 35571 HAS SOUPS 35571 WITH SCORE 35622.368
AT ITER 5783 NEW BEST:: SOT 250931 SOS 51316 HAS SOPS 51316 HAS SOUS 35530 HAS SOUPS 35530 WITH SCORE 35581.316
AT ITER 5827 NEW BEST:: SOT 250924 SOS 51302 HAS SOPS 51302 HAS SOUS 35516 HAS SOUPS 35516 WITH SCORE 35567.302
AT ITER 5842 NEW BEST:: SOT 250896 SOS 51246 HAS SOPS 51246 HAS SOUS 35495 HAS SOUPS 35495 WITH SCORE 35546.246
AT ITER 5846 NEW BEST:: SOT 250880 SOS 51221 HAS SOPS 51221 HAS SOUS 35470 HAS SOUPS 35470 WITH SCORE 35521.221
AT ITER 5889 NEW BEST:: SOT 250870 SOS 51193 HAS SOPS 51193 HAS SOUS 35468 HAS SOUPS 35468 WITH SCORE 35519.193
AT ITER 5903 NEW BEST:: SOT 250840 SOS 51044 HAS SOPS 51044 HAS SOUS 35408 HAS SOUPS 35408 WITH SCORE 35459.044
AT ITER 5922 NEW BEST:: SOT 250822 SOS 51040 HAS SOPS 51040 HAS SOUS 35388 HAS SOUPS 35388 WITH SCORE 35439.04
AT ITER 5965 NEW BEST:: SOT 250829 SOS 50983 HAS SOPS 50983 HAS SOUS 35381 HAS SOUPS 35381 WITH SCORE 35431.983
AT ITER 5976 NEW BEST:: SOT 250822 SOS 50969 HAS SOPS 50969 HAS SOUS 35374 HAS SOUPS 35374 WITH SCORE 35424.969
AT ITER 5981 NEW BEST:: SOT 250833 SOS 50953 HAS SOPS 50953 HAS SOUS 35358 HAS SOUPS 35358 WITH SCORE 35408.953
AT ITER 5990 NEW BEST:: SOT 250795 SOS 50914 HAS SOPS 50914 HAS SOUS 35319 HAS SOUPS 35319 WITH SCORE 35369.914
AT ITER 6014 NEW BEST:: SOT 250769 SOS 50862 HAS SOPS 50862 HAS SOUS 35285 HAS SOUPS 35285 WITH SCORE 35335.862
AT ITER 6043 NEW BEST:: SOT 250765 SOS 50854 HAS SOPS 50854 HAS SOUS 35281 HAS SOUPS 35281 WITH SCORE 35331.854
AT ITER 6045 NEW BEST:: SOT 250762 SOS 50851 HAS SOPS 50851 HAS SOUS 35275 HAS SOUPS 35275 WITH SCORE 35325.851
AT ITER 6064 NEW BEST:: SOT 250649 SOS 50625 HAS SOPS 50625 HAS SOUS 35205 HAS SOUPS 35205 WITH SCORE 35255.625
AT ITER 6066 NEW BEST:: SOT 250691 SOS 50709 HAS SOPS 50709 HAS SOUS 35190 HAS SOUPS 35190 WITH SCORE 35240.709
AT ITER 6096 NEW BEST:: SOT 250705 SOS 50703 HAS SOPS 50703 HAS SOUS 35184 HAS SOUPS 35184 WITH SCORE 35234.703
AT ITER 6097 NEW BEST:: SOT 250705 SOS 50684 HAS SOPS 50684 HAS SOUS 35165 HAS SOUPS 35165 WITH SCORE 35215.684
AT ITER 6102 NEW BEST:: SOT 250694 SOS 50673 HAS SOPS 50673 HAS SOUS 35165 HAS SOUPS 35165 WITH SCORE 35215.673
AT ITER 6258 NEW BEST:: SOT 250666 SOS 50645 HAS SOPS 50645 HAS SOUS 35165 HAS SOUPS 35165 WITH SCORE 35215.645
AT ITER 6291 NEW BEST:: SOT 250644 SOS 50601 HAS SOPS 50601 HAS SOUS 35121 HAS SOUPS 35121 WITH SCORE 35171.601
AT ITER 6306 NEW BEST:: SOT 250632 SOS 50577 HAS SOPS 50577 HAS SOUS 35081 HAS SOUPS 35081 WITH SCORE 35131.577
AT ITER 6335 NEW BEST:: SOT 250640 SOS 50573 HAS SOPS 50573 HAS SOUS 35081 HAS SOUPS 35081 WITH SCORE 35131.573
AT ITER 6378 NEW BEST:: SOT 250617 SOS 50536 HAS SOPS 50536 HAS SOUS 35058 HAS SOUPS 35058 WITH SCORE 35108.536
AT ITER 6379 NEW BEST:: SOT 250512 SOS 50489 HAS SOPS 50489 HAS SOUS 35011 HAS SOUPS 35011 WITH SCORE 35061.489
AT ITER 6388 NEW BEST:: SOT 250431 SOS 50353 HAS SOPS 50353 HAS SOUS 34968 HAS SOUPS 34968 WITH SCORE 35018.353
AT ITER 6418 NEW BEST:: SOT 250415 SOS 50341 HAS SOPS 50341 HAS SOUS 34956 HAS SOUPS 34956 WITH SCORE 35006.341
AT ITER 6476 NEW BEST:: SOT 250385 SOS 50281 HAS SOPS 50281 HAS SOUS 34896 HAS SOUPS 34896 WITH SCORE 34946.281
AT ITER 6484 NEW BEST:: SOT 250385 SOS 50280 HAS SOPS 50280 HAS SOUS 34895 HAS SOUPS 34895 WITH SCORE 34945.28
AT ITER 6536 NEW BEST:: SOT 250376 SOS 50337 HAS SOPS 50337 HAS SOUS 34892 HAS SOUPS 34892 WITH SCORE 34942.337
AT ITER 6563 NEW BEST:: SOT 250335 SOS 50255 HAS SOPS 50255 HAS SOUS 34851 HAS SOUPS 34851 WITH SCORE 34901.255
AT ITER 6567 NEW BEST:: SOT 250335 SOS 50247 HAS SOPS 50247 HAS SOUS 34843 HAS SOUPS 34843 WITH SCORE 34893.247
AT ITER 6591 NEW BEST:: SOT 250335 SOS 50213 HAS SOPS 50213 HAS SOUS 34843 HAS SOUPS 34843 WITH SCORE 34893.213
AT ITER 6631 NEW BEST:: SOT 250363 SOS 50177 HAS SOPS 50177 HAS SOUS 34807 HAS SOUPS 34807 WITH SCORE 34857.177
AT ITER 6651 NEW BEST:: SOT 250323 SOS 50097 HAS SOPS 50097 HAS SOUS 34767 HAS SOUPS 34767 WITH SCORE 34817.097
AT ITER 6656 NEW BEST:: SOT 250302 SOS 50055 HAS SOPS 50055 HAS SOUS 34747 HAS SOUPS 34747 WITH SCORE 34797.055
AT ITER 6674 NEW BEST:: SOT 250275 SOS 50009 HAS SOPS 50009 HAS SOUS 34720 HAS SOUPS 34720 WITH SCORE 34770.009
AT ITER 6686 NEW BEST:: SOT 250280 SOS 49668 HAS SOPS 49668 HAS SOUS 34698 HAS SOUPS 34698 WITH SCORE 34747.668
AT ITER 6694 NEW BEST:: SOT 250260 SOS 49628 HAS SOPS 49628 HAS SOUS 34668 HAS SOUPS 34668 WITH SCORE 34717.628
AT ITER 6771 NEW BEST:: SOT 250223 SOS 49554 HAS SOPS 49554 HAS SOUS 34594 HAS SOUPS 34594 WITH SCORE 34643.554
AT ITER 6813 NEW BEST:: SOT 250217 SOS 49542 HAS SOPS 49542 HAS SOUS 34582 HAS SOUPS 34582 WITH SCORE 34631.542
AT ITER 6823 NEW BEST:: SOT 250190 SOS 49488 HAS SOPS 49488 HAS SOUS 34555 HAS SOUPS 34555 WITH SCORE 34604.488
AT ITER 6862 NEW BEST:: SOT 250179 SOS 49466 HAS SOPS 49466 HAS SOUS 34533 HAS SOUPS 34533 WITH SCORE 34582.466
AT ITER 6922 NEW BEST:: SOT 250148 SOS 49468 HAS SOPS 49468 HAS SOUS 34529 HAS SOUPS 34529 WITH SCORE 34578.468
AT ITER 6923 NEW BEST:: SOT 250133 SOS 49450 HAS SOPS 49450 HAS SOUS 34511 HAS SOUPS 34511 WITH SCORE 34560.45
AT ITER 6937 NEW BEST:: SOT 250133 SOS 49449 HAS SOPS 49449 HAS SOUS 34511 HAS SOUPS 34511 WITH SCORE 34560.449
AT ITER 7012 NEW BEST:: SOT 250111 SOS 49427 HAS SOPS 49427 HAS SOUS 34496 HAS SOUPS 34496 WITH SCORE 34545.427
AT ITER 7085 NEW BEST:: SOT 250111 SOS 49406 HAS SOPS 49406 HAS SOUS 34475 HAS SOUPS 34475 WITH SCORE 34524.406
AT ITER 7095 NEW BEST:: SOT 250111 SOS 49256 HAS SOPS 49256 HAS SOUS 34400 HAS SOUPS 34400 WITH SCORE 34449.256
AT ITER 7103 NEW BEST:: SOT 250063 SOS 49160 HAS SOPS 49160 HAS SOUS 34356 HAS SOUPS 34356 WITH SCORE 34405.16
AT ITER 7112 NEW BEST:: SOT 250061 SOS 49158 HAS SOPS 49158 HAS SOUS 34354 HAS SOUPS 34354 WITH SCORE 34403.158
AT ITER 7117 NEW BEST:: SOT 250016 SOS 49113 HAS SOPS 49113 HAS SOUS 34354 HAS SOUPS 34354 WITH SCORE 34403.113
AT ITER 7126 NEW BEST:: SOT 249992 SOS 49065 HAS SOPS 49065 HAS SOUS 34306 HAS SOUPS 34306 WITH SCORE 34355.065
AT ITER 7131 NEW BEST:: SOT 249986 SOS 49053 HAS SOPS 49053 HAS SOUS 34294 HAS SOUPS 34294 WITH SCORE 34343.053
AT ITER 7141 NEW BEST:: SOT 249986 SOS 49116 HAS SOPS 49116 HAS SOUS 34278 HAS SOUPS 34278 WITH SCORE 34327.116
AT ITER 7162 NEW BEST:: SOT 250017 SOS 49005 HAS SOPS 49005 HAS SOUS 34136 HAS SOUPS 34136 WITH SCORE 34185.005
AT ITER 7263 NEW BEST:: SOT 250043 SOS 49118 HAS SOPS 49118 HAS SOUS 34133 HAS SOUPS 34133 WITH SCORE 34182.118
AT ITER 7272 NEW BEST:: SOT 250038 SOS 49108 HAS SOPS 49108 HAS SOUS 34128 HAS SOUPS 34128 WITH SCORE 34177.108
AT ITER 7281 NEW BEST:: SOT 250038 SOS 49097 HAS SOPS 49097 HAS SOUS 34128 HAS SOUPS 34128 WITH SCORE 34177.097
AT ITER 7337 NEW BEST:: SOT 250006 SOS 49001 HAS SOPS 49001 HAS SOUS 34043 HAS SOUPS 34043 WITH SCORE 34092.001
AT ITER 7418 NEW BEST:: SOT 249998 SOS 48985 HAS SOPS 48985 HAS SOUS 34043 HAS SOUPS 34043 WITH SCORE 34091.985
AT ITER 7523 NEW BEST:: SOT 249998 SOS 48985 HAS SOPS 48985 HAS SOUS 33960 HAS SOUPS 33960 WITH SCORE 34008.985
AT ITER 7535 NEW BEST:: SOT 250064 SOS 49036 HAS SOPS 49036 HAS SOUS 33945 HAS SOUPS 33945 WITH SCORE 33994.036
AT ITER 7569 NEW BEST:: SOT 250062 SOS 49032 HAS SOPS 49032 HAS SOUS 33941 HAS SOUPS 33941 WITH SCORE 33990.032
AT ITER 7581 NEW BEST:: SOT 250069 SOS 49039 HAS SOPS 49039 HAS SOUS 33937 HAS SOUPS 33937 WITH SCORE 33986.039
AT ITER 7589 NEW BEST:: SOT 250058 SOS 48995 HAS SOPS 48995 HAS SOUS 33915 HAS SOUPS 33915 WITH SCORE 33963.995
AT ITER 7590 NEW BEST:: SOT 250058 SOS 48995 HAS SOPS 48995 HAS SOUS 33907 HAS SOUPS 33907 WITH SCORE 33955.995
AT ITER 7597 NEW BEST:: SOT 249971 SOS 49023 HAS SOPS 49023 HAS SOUS 33899 HAS SOUPS 33899 WITH SCORE 33948.023
AT ITER 7618 NEW BEST:: SOT 249959 SOS 49019 HAS SOPS 49019 HAS SOUS 33895 HAS SOUPS 33895 WITH SCORE 33944.019
AT ITER 7655 NEW BEST:: SOT 249957 SOS 49011 HAS SOPS 49011 HAS SOUS 33887 HAS SOUPS 33887 WITH SCORE 33936.011
AT ITER 7683 NEW BEST:: SOT 249935 SOS 48989 HAS SOPS 48989 HAS SOUS 33887 HAS SOUPS 33887 WITH SCORE 33935.989
AT ITER 7695 NEW BEST:: SOT 249883 SOS 48885 HAS SOPS 48885 HAS SOUS 33867 HAS SOUPS 33867 WITH SCORE 33915.885
AT ITER 7730 NEW BEST:: SOT 249793 SOS 48795 HAS SOPS 48795 HAS SOUS 33777 HAS SOUPS 33777 WITH SCORE 33825.795
AT ITER 7771 NEW BEST:: SOT 249786 SOS 48776 HAS SOPS 48776 HAS SOUS 33757 HAS SOUPS 33757 WITH SCORE 33805.776
AT ITER 7799 NEW BEST:: SOT 249762 SOS 48752 HAS SOPS 48752 HAS SOUS 33757 HAS SOUPS 33757 WITH SCORE 33805.752
AT ITER 7810 NEW BEST:: SOT 249764 SOS 48756 HAS SOPS 48756 HAS SOUS 33752 HAS SOUPS 33752 WITH SCORE 33800.756
AT ITER 7840 NEW BEST:: SOT 249781 SOS 48775 HAS SOPS 48775 HAS SOUS 33748 HAS SOUPS 33748 WITH SCORE 33796.775
AT ITER 7842 NEW BEST:: SOT 249749 SOS 48711 HAS SOPS 48711 HAS SOUS 33716 HAS SOUPS 33716 WITH SCORE 33764.711
AT ITER 7860 NEW BEST:: SOT 249763 SOS 48739 HAS SOPS 48739 HAS SOUS 33704 HAS SOUPS 33704 WITH SCORE 33752.739
AT ITER 7909 NEW BEST:: SOT 249799 SOS 48562 HAS SOPS 48562 HAS SOUS 33661 HAS SOUPS 33661 WITH SCORE 33709.562
AT ITER 7935 NEW BEST:: SOT 249742 SOS 49183 HAS SOPS 49183 HAS SOUS 33653 HAS SOUPS 33653 WITH SCORE 33702.183
AT ITER 7936 NEW BEST:: SOT 249741 SOS 49181 HAS SOPS 49181 HAS SOUS 33653 HAS SOUPS 33653 WITH SCORE 33702.181
AT ITER 7966 NEW BEST:: SOT 249982 SOS 49255 HAS SOPS 49255 HAS SOUS 33649 HAS SOUPS 33649 WITH SCORE 33698.255
AT ITER 7972 NEW BEST:: SOT 249942 SOS 49215 HAS SOPS 49215 HAS SOUS 33570 HAS SOUPS 33570 WITH SCORE 33619.215
AT ITER 8008 NEW BEST:: SOT 249923 SOS 49196 HAS SOPS 49196 HAS SOUS 33551 HAS SOUPS 33551 WITH SCORE 33600.196
AT ITER 8018 NEW BEST:: SOT 249912 SOS 49174 HAS SOPS 49174 HAS SOUS 33540 HAS SOUPS 33540 WITH SCORE 33589.174
AT ITER 8019 NEW BEST:: SOT 249897 SOS 49144 HAS SOPS 49144 HAS SOUS 33510 HAS SOUPS 33510 WITH SCORE 33559.144
AT ITER 8026 NEW BEST:: SOT 249893 SOS 49140 HAS SOPS 49140 HAS SOUS 33497 HAS SOUPS 33497 WITH SCORE 33546.14
AT ITER 8028 NEW BEST:: SOT 249943 SOS 49190 HAS SOPS 49190 HAS SOUS 33489 HAS SOUPS 33489 WITH SCORE 33538.19
AT ITER 8034 NEW BEST:: SOT 249928 SOS 49175 HAS SOPS 49175 HAS SOUS 33474 HAS SOUPS 33474 WITH SCORE 33523.175
AT ITER 8076 NEW BEST:: SOT 249848 SOS 49027 HAS SOPS 49027 HAS SOUS 33449 HAS SOUPS 33449 WITH SCORE 33498.027
AT ITER 8079 NEW BEST:: SOT 249858 SOS 49037 HAS SOPS 49037 HAS SOUS 33448 HAS SOUPS 33448 WITH SCORE 33497.037
AT ITER 8083 NEW BEST:: SOT 249852 SOS 48948 HAS SOPS 48948 HAS SOUS 33417 HAS SOUPS 33417 WITH SCORE 33465.948
AT ITER 8094 NEW BEST:: SOT 249805 SOS 48854 HAS SOPS 48854 HAS SOUS 33370 HAS SOUPS 33370 WITH SCORE 33418.854
AT ITER 8105 NEW BEST:: SOT 249805 SOS 48839 HAS SOPS 48839 HAS SOUS 33362 HAS SOUPS 33362 WITH SCORE 33410.839
AT ITER 8137 NEW BEST:: SOT 249804 SOS 48837 HAS SOPS 48837 HAS SOUS 33360 HAS SOUPS 33360 WITH SCORE 33408.837
AT ITER 8167 NEW BEST:: SOT 249727 SOS 48827 HAS SOPS 48827 HAS SOUS 33350 HAS SOUPS 33350 WITH SCORE 33398.827
AT ITER 8185 NEW BEST:: SOT 249727 SOS 48827 HAS SOPS 48827 HAS SOUS 33344 HAS SOUPS 33344 WITH SCORE 33392.827
AT ITER 8194 NEW BEST:: SOT 249727 SOS 48827 HAS SOPS 48827 HAS SOUS 33318 HAS SOUPS 33318 WITH SCORE 33366.827
AT ITER 8209 NEW BEST:: SOT 249727 SOS 48808 HAS SOPS 48808 HAS SOUS 33299 HAS SOUPS 33299 WITH SCORE 33347.808
AT ITER 8212 NEW BEST:: SOT 249700 SOS 48796 HAS SOPS 48796 HAS SOUS 33287 HAS SOUPS 33287 WITH SCORE 33335.796
AT ITER 8223 NEW BEST:: SOT 249700 SOS 48668 HAS SOPS 48668 HAS SOUS 33221 HAS SOUPS 33221 WITH SCORE 33269.668
AT ITER 8261 NEW BEST:: SOT 249682 SOS 48650 HAS SOPS 48650 HAS SOUS 33203 HAS SOUPS 33203 WITH SCORE 33251.65
AT ITER 8325 NEW BEST:: SOT 249650 SOS 48711 HAS SOPS 48711 HAS SOUS 33171 HAS SOUPS 33171 WITH SCORE 33219.711
AT ITER 8346 NEW BEST:: SOT 249621 SOS 48737 HAS SOPS 48737 HAS SOUS 33167 HAS SOUPS 33167 WITH SCORE 33215.737
AT ITER 8363 NEW BEST:: SOT 249621 SOS 48728 HAS SOPS 48728 HAS SOUS 33158 HAS SOUPS 33158 WITH SCORE 33206.728
AT ITER 8367 NEW BEST:: SOT 249634 SOS 48754 HAS SOPS 48754 HAS SOUS 33153 HAS SOUPS 33153 WITH SCORE 33201.754
AT ITER 8385 NEW BEST:: SOT 249631 SOS 48752 HAS SOPS 48752 HAS SOUS 33147 HAS SOUPS 33147 WITH SCORE 33195.752
AT ITER 8413 NEW BEST:: SOT 249622 SOS 48746 HAS SOPS 48746 HAS SOUS 33141 HAS SOUPS 33141 WITH SCORE 33189.746
AT ITER 8434 NEW BEST:: SOT 249619 SOS 48752 HAS SOPS 48752 HAS SOUS 33135 HAS SOUPS 33135 WITH SCORE 33183.752
AT ITER 8442 NEW BEST:: SOT 249610 SOS 48715 HAS SOPS 48715 HAS SOUS 33098 HAS SOUPS 33098 WITH SCORE 33146.715
AT ITER 8445 NEW BEST:: SOT 249689 SOS 48794 HAS SOPS 48794 HAS SOUS 33050 HAS SOUPS 33050 WITH SCORE 33098.794
AT ITER 8502 NEW BEST:: SOT 249770 SOS 48750 HAS SOPS 48750 HAS SOUS 33006 HAS SOUPS 33006 WITH SCORE 33054.75
AT ITER 8524 NEW BEST:: SOT 249757 SOS 48724 HAS SOPS 48724 HAS SOUS 32980 HAS SOUPS 32980 WITH SCORE 33028.724
AT ITER 8530 NEW BEST:: SOT 249648 SOS 48615 HAS SOPS 48615 HAS SOUS 32964 HAS SOUPS 32964 WITH SCORE 33012.615
AT ITER 8541 NEW BEST:: SOT 249585 SOS 48539 HAS SOPS 48539 HAS SOUS 32888 HAS SOUPS 32888 WITH SCORE 32936.539
AT ITER 8582 NEW BEST:: SOT 249520 SOS 48409 HAS SOPS 48409 HAS SOUS 32887 HAS SOUPS 32887 WITH SCORE 32935.409
AT ITER 8584 NEW BEST:: SOT 249408 SOS 49819 HAS SOPS 49819 HAS SOUS 32857 HAS SOUPS 32857 WITH SCORE 32906.819
AT ITER 8607 NEW BEST:: SOT 249394 SOS 49801 HAS SOPS 49801 HAS SOUS 32839 HAS SOUPS 32839 WITH SCORE 32888.801
AT ITER 8615 NEW BEST:: SOT 249365 SOS 49772 HAS SOPS 49772 HAS SOUS 32781 HAS SOUPS 32781 WITH SCORE 32830.772
AT ITER 8626 NEW BEST:: SOT 249401 SOS 49771 HAS SOPS 49771 HAS SOUS 32779 HAS SOUPS 32779 WITH SCORE 32828.771
AT ITER 8736 NEW BEST:: SOT 249379 SOS 49727 HAS SOPS 49727 HAS SOUS 32757 HAS SOUPS 32757 WITH SCORE 32806.727
AT ITER 8748 NEW BEST:: SOT 249358 SOS 49685 HAS SOPS 49685 HAS SOUS 32715 HAS SOUPS 32715 WITH SCORE 32764.685
AT ITER 8757 NEW BEST:: SOT 249299 SOS 49626 HAS SOPS 49626 HAS SOUS 32656 HAS SOUPS 32656 WITH SCORE 32705.626
AT ITER 8774 NEW BEST:: SOT 249300 SOS 49625 HAS SOPS 49625 HAS SOUS 32656 HAS SOUPS 32656 WITH SCORE 32705.625
AT ITER 8822 NEW BEST:: SOT 249281 SOS 49606 HAS SOPS 49606 HAS SOUS 32637 HAS SOUPS 32637 WITH SCORE 32686.606
AT ITER 8828 NEW BEST:: SOT 249298 SOS 49592 HAS SOPS 49592 HAS SOUS 32623 HAS SOUPS 32623 WITH SCORE 32672.592
AT ITER 8859 NEW BEST:: SOT 249258 SOS 49512 HAS SOPS 49512 HAS SOUS 32623 HAS SOUPS 32623 WITH SCORE 32672.512
AT ITER 8860 NEW BEST:: SOT 249229 SOS 49483 HAS SOPS 49483 HAS SOUS 32594 HAS SOUPS 32594 WITH SCORE 32643.483
AT ITER 8867 NEW BEST:: SOT 249219 SOS 49463 HAS SOPS 49463 HAS SOUS 32574 HAS SOUPS 32574 WITH SCORE 32623.463
AT ITER 8874 NEW BEST:: SOT 249192 SOS 49409 HAS SOPS 49409 HAS SOUS 32520 HAS SOUPS 32520 WITH SCORE 32569.409
AT ITER 8895 NEW BEST:: SOT 249196 SOS 49408 HAS SOPS 49408 HAS SOUS 32519 HAS SOUPS 32519 WITH SCORE 32568.408
AT ITER 8901 NEW BEST:: SOT 249178 SOS 49390 HAS SOPS 49390 HAS SOUS 32501 HAS SOUPS 32501 WITH SCORE 32550.39
AT ITER 8908 NEW BEST:: SOT 249178 SOS 49310 HAS SOPS 49310 HAS SOUS 32489 HAS SOUPS 32489 WITH SCORE 32538.31
AT ITER 8911 NEW BEST:: SOT 249187 SOS 49281 HAS SOPS 49281 HAS SOUS 32446 HAS SOUPS 32446 WITH SCORE 32495.281
AT ITER 8986 NEW BEST:: SOT 249133 SOS 49599 HAS SOPS 49599 HAS SOUS 32427 HAS SOUPS 32427 WITH SCORE 32476.599
AT ITER 8997 NEW BEST:: SOT 249132 SOS 49598 HAS SOPS 49598 HAS SOUS 32426 HAS SOUPS 32426 WITH SCORE 32475.598
AT ITER 9031 NEW BEST:: SOT 249132 SOS 49582 HAS SOPS 49582 HAS SOUS 32410 HAS SOUPS 32410 WITH SCORE 32459.582
AT ITER 9054 NEW BEST:: SOT 249084 SOS 49636 HAS SOPS 49636 HAS SOUS 32395 HAS SOUPS 32395 WITH SCORE 32444.636
AT ITER 9066 NEW BEST:: SOT 249044 SOS 49595 HAS SOPS 49595 HAS SOUS 32354 HAS SOUPS 32354 WITH SCORE 32403.595
AT ITER 9076 NEW BEST:: SOT 249044 SOS 49591 HAS SOPS 49591 HAS SOUS 32350 HAS SOUPS 32350 WITH SCORE 32399.591
AT ITER 9089 NEW BEST:: SOT 249035 SOS 49582 HAS SOPS 49582 HAS SOUS 32332 HAS SOUPS 32332 WITH SCORE 32381.582
AT ITER 9091 NEW BEST:: SOT 249029 SOS 49570 HAS SOPS 49570 HAS SOUS 32320 HAS SOUPS 32320 WITH SCORE 32369.57
AT ITER 9119 NEW BEST:: SOT 249023 SOS 49558 HAS SOPS 49558 HAS SOUS 32314 HAS SOUPS 32314 WITH SCORE 32363.558
AT ITER 9183 NEW BEST:: SOT 249009 SOS 49544 HAS SOPS 49544 HAS SOUS 32314 HAS SOUPS 32314 WITH SCORE 32363.544
AT ITER 9236 NEW BEST:: SOT 249009 SOS 49544 HAS SOPS 49544 HAS SOUS 32284 HAS SOUPS 32284 WITH SCORE 32333.544
AT ITER 9238 NEW BEST:: SOT 248888 SOS 49468 HAS SOPS 49468 HAS SOUS 32246 HAS SOUPS 32246 WITH SCORE 32295.468
AT ITER 9258 NEW BEST:: SOT 248873 SOS 49438 HAS SOPS 49438 HAS SOUS 32208 HAS SOUPS 32208 WITH SCORE 32257.438
AT ITER 9294 NEW BEST:: SOT 248864 SOS 49420 HAS SOPS 49420 HAS SOUS 32199 HAS SOUPS 32199 WITH SCORE 32248.42
AT ITER 9334 NEW BEST:: SOT 248860 SOS 49412 HAS SOPS 49412 HAS SOUS 32191 HAS SOUPS 32191 WITH SCORE 32240.412
AT ITER 9348 NEW BEST:: SOT 248858 SOS 49408 HAS SOPS 49408 HAS SOUS 32186 HAS SOUPS 32186 WITH SCORE 32235.408
AT ITER 9399 NEW BEST:: SOT 248917 SOS 49436 HAS SOPS 49436 HAS SOUS 32174 HAS SOUPS 32174 WITH SCORE 32223.436
AT ITER 9426 NEW BEST:: SOT 248917 SOS 49424 HAS SOPS 49424 HAS SOUS 32174 HAS SOUPS 32174 WITH SCORE 32223.424
AT ITER 9469 NEW BEST:: SOT 248917 SOS 49370 HAS SOPS 49370 HAS SOUS 32138 HAS SOUPS 32138 WITH SCORE 32187.37
AT ITER 9501 NEW BEST:: SOT 248767 SOS 49244 HAS SOPS 49244 HAS SOUS 32068 HAS SOUPS 32068 WITH SCORE 32117.244
AT ITER 9504 NEW BEST:: SOT 248767 SOS 49244 HAS SOPS 49244 HAS SOUS 32027 HAS SOUPS 32027 WITH SCORE 32076.244
AT ITER 9545 NEW BEST:: SOT 248767 SOS 49244 HAS SOPS 49244 HAS SOUS 32006 HAS SOUPS 32006 WITH SCORE 32055.244
AT ITER 9588 NEW BEST:: SOT 248740 SOS 49190 HAS SOPS 49190 HAS SOUS 31954 HAS SOUPS 31954 WITH SCORE 32003.19
AT ITER 9649 NEW BEST:: SOT 248745 SOS 49174 HAS SOPS 49174 HAS SOUS 31939 HAS SOUPS 31939 WITH SCORE 31988.174
AT ITER 9660 NEW BEST:: SOT 248720 SOS 49124 HAS SOPS 49124 HAS SOUS 31902 HAS SOUPS 31902 WITH SCORE 31951.124
AT ITER 9737 NEW BEST:: SOT 248710 SOS 49114 HAS SOPS 49114 HAS SOUS 31901 HAS SOUPS 31901 WITH SCORE 31950.114
AT ITER 9741 NEW BEST:: SOT 248703 SOS 49071 HAS SOPS 49071 HAS SOUS 31883 HAS SOUPS 31883 WITH SCORE 31932.071
AT ITER 9747 NEW BEST:: SOT 248703 SOS 49055 HAS SOPS 49055 HAS SOUS 31883 HAS SOUPS 31883 WITH SCORE 31932.055
AT ITER 9749 NEW BEST:: SOT 248685 SOS 49037 HAS SOPS 49037 HAS SOUS 31883 HAS SOUPS 31883 WITH SCORE 31932.037
AT ITER 9754 NEW BEST:: SOT 248554 SOS 48947 HAS SOPS 48947 HAS SOUS 31793 HAS SOUPS 31793 WITH SCORE 31841.947
AT ITER 9757 NEW BEST:: SOT 248554 SOS 48947 HAS SOPS 48947 HAS SOUS 31776 HAS SOUPS 31776 WITH SCORE 31824.947
AT ITER 9800 NEW BEST:: SOT 248554 SOS 48947 HAS SOPS 48947 HAS SOUS 31759 HAS SOUPS 31759 WITH SCORE 31807.947
AT ITER 9803 NEW BEST:: SOT 248546 SOS 48921 HAS SOPS 48921 HAS SOUS 31733 HAS SOUPS 31733 WITH SCORE 31781.921
AT ITER 9810 NEW BEST:: SOT 248546 SOS 48921 HAS SOPS 48921 HAS SOUS 31706 HAS SOUPS 31706 WITH SCORE 31754.921
AT ITER 9829 NEW BEST:: SOT 248546 SOS 48919 HAS SOPS 48919 HAS SOUS 31704 HAS SOUPS 31704 WITH SCORE 31752.919
AT ITER 9881 NEW BEST:: SOT 248546 SOS 48900 HAS SOPS 48900 HAS SOUS 31685 HAS SOUPS 31685 WITH SCORE 31733.9
AT ITER 9892 NEW BEST:: SOT 248553 SOS 48914 HAS SOPS 48914 HAS SOUS 31670 HAS SOUPS 31670 WITH SCORE 31718.914
AT ITER 9894 NEW BEST:: SOT 248551 SOS 48910 HAS SOPS 48910 HAS SOUS 31666 HAS SOUPS 31666 WITH SCORE 31714.91
AT ITER 9904 NEW BEST:: SOT 248533 SOS 48867 HAS SOPS 48867 HAS SOUS 31637 HAS SOUPS 31637 WITH SCORE 31685.867
AT ITER 9920 NEW BEST:: SOT 248522 SOS 48856 HAS SOPS 48856 HAS SOUS 31635 HAS SOUPS 31635 WITH SCORE 31683.856
AT ITER 9922 NEW BEST:: SOT 248518 SOS 48856 HAS SOPS 48856 HAS SOUS 31631 HAS SOUPS 31631 WITH SCORE 31679.856
AT ITER 9940 NEW BEST:: SOT 248517 SOS 48855 HAS SOPS 48855 HAS SOUS 31630 HAS SOUPS 31630 WITH SCORE 31678.855
AT ITER 9941 NEW BEST:: SOT 248517 SOS 48853 HAS SOPS 48853 HAS SOUS 31628 HAS SOUPS 31628 WITH SCORE 31676.853
AT ITER 9981 NEW BEST:: SOT 248509 SOS 48837 HAS SOPS 48837 HAS SOUS 31612 HAS SOUPS 31612 WITH SCORE 31660.837
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 1694988 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16120320 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="SmartHome-PT-18"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is SmartHome-PT-18, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r459-smll-167912651000296"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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