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.r355-smll-167891802900144.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is RwMutex-PT-r0010w0500, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891802900144
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 6.8K Feb 25 22:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 25 22:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 22:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 22:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.5K Feb 25 23:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 25 23:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Feb 25 23:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 86K Feb 25 23:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:48 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 887K 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 1679854618222

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

Filename model.pnml
Petri model created: 1030 places, 1020 transitions, 12060 arcs.
AT ITER 0 NEW BEST:: SOT 1048474 SOS 787866 HAS SOPS 787866 HAS SOUS 787866 HAS SOUPS 787866 WITH SCORE 788653.866
AT ITER 3 NEW BEST:: SOT 1048474 SOS 787214 HAS SOPS 787214 HAS SOUS 787214 HAS SOUPS 787214 WITH SCORE 788001.214
AT ITER 4 NEW BEST:: SOT 1048474 SOS 786448 HAS SOPS 786448 HAS SOUS 786448 HAS SOUPS 786448 WITH SCORE 787234.448
AT ITER 5 NEW BEST:: SOT 1048474 SOS 785934 HAS SOPS 785934 HAS SOUS 785934 HAS SOUPS 785934 WITH SCORE 786719.934
AT ITER 7 NEW BEST:: SOT 1048474 SOS 785128 HAS SOPS 785128 HAS SOUS 785128 HAS SOUPS 785128 WITH SCORE 785913.128
AT ITER 8 NEW BEST:: SOT 1048474 SOS 784482 HAS SOPS 784482 HAS SOUS 784482 HAS SOUPS 784482 WITH SCORE 785266.482
AT ITER 11 NEW BEST:: SOT 1048474 SOS 783936 HAS SOPS 783936 HAS SOUS 783936 HAS SOUPS 783936 WITH SCORE 784719.936
AT ITER 13 NEW BEST:: SOT 1048474 SOS 783124 HAS SOPS 783124 HAS SOUS 783124 HAS SOUPS 783124 WITH SCORE 783907.124
AT ITER 15 NEW BEST:: SOT 1048474 SOS 782496 HAS SOPS 782496 HAS SOUS 782496 HAS SOUPS 782496 WITH SCORE 783278.496
AT ITER 18 NEW BEST:: SOT 1048474 SOS 781660 HAS SOPS 781660 HAS SOUS 781660 HAS SOUPS 781660 WITH SCORE 782441.66
AT ITER 20 NEW BEST:: SOT 1048474 SOS 780882 HAS SOPS 780882 HAS SOUS 780882 HAS SOUPS 780882 WITH SCORE 781662.882
AT ITER 22 NEW BEST:: SOT 1048474 SOS 780046 HAS SOPS 780046 HAS SOUS 780046 HAS SOUPS 780046 WITH SCORE 780826.046
AT ITER 25 NEW BEST:: SOT 1048474 SOS 779248 HAS SOPS 779248 HAS SOUS 779248 HAS SOUPS 779248 WITH SCORE 780027.248
AT ITER 26 NEW BEST:: SOT 1048474 SOS 777590 HAS SOPS 777590 HAS SOUS 777590 HAS SOUPS 777590 WITH SCORE 778367.59
AT ITER 28 NEW BEST:: SOT 1048474 SOS 776792 HAS SOPS 776792 HAS SOUS 776792 HAS SOUPS 776792 WITH SCORE 777568.792
AT ITER 29 NEW BEST:: SOT 1048474 SOS 776494 HAS SOPS 776494 HAS SOUS 776494 HAS SOUPS 776494 WITH SCORE 777270.494
AT ITER 34 NEW BEST:: SOT 1048474 SOS 775824 HAS SOPS 775824 HAS SOUS 775824 HAS SOUPS 775824 WITH SCORE 776599.824
AT ITER 35 NEW BEST:: SOT 1048474 SOS 775436 HAS SOPS 775436 HAS SOUS 775436 HAS SOUPS 775436 WITH SCORE 776211.436
AT ITER 36 NEW BEST:: SOT 1048474 SOS 774656 HAS SOPS 774656 HAS SOUS 774656 HAS SOUPS 774656 WITH SCORE 775430.656
AT ITER 39 NEW BEST:: SOT 1048474 SOS 773834 HAS SOPS 773834 HAS SOUS 773834 HAS SOUPS 773834 WITH SCORE 774607.834
AT ITER 43 NEW BEST:: SOT 1048474 SOS 773588 HAS SOPS 773588 HAS SOUS 773588 HAS SOUPS 773588 WITH SCORE 774361.588
AT ITER 44 NEW BEST:: SOT 1048474 SOS 773420 HAS SOPS 773420 HAS SOUS 773420 HAS SOUPS 773420 WITH SCORE 774193.42
AT ITER 46 NEW BEST:: SOT 1048474 SOS 772610 HAS SOPS 772610 HAS SOUS 772610 HAS SOUPS 772610 WITH SCORE 773382.61
AT ITER 47 NEW BEST:: SOT 1048474 SOS 772042 HAS SOPS 772042 HAS SOUS 772042 HAS SOUPS 772042 WITH SCORE 772814.042
AT ITER 48 NEW BEST:: SOT 1048474 SOS 771700 HAS SOPS 771700 HAS SOUS 771700 HAS SOUPS 771700 WITH SCORE 772471.7
AT ITER 53 NEW BEST:: SOT 1048474 SOS 770862 HAS SOPS 770862 HAS SOUS 770862 HAS SOUPS 770862 WITH SCORE 771632.862
AT ITER 54 NEW BEST:: SOT 1048474 SOS 770340 HAS SOPS 770340 HAS SOUS 770340 HAS SOUPS 770340 WITH SCORE 771110.34
AT ITER 56 NEW BEST:: SOT 1048474 SOS 769594 HAS SOPS 769594 HAS SOUS 769594 HAS SOUPS 769594 WITH SCORE 770363.594
AT ITER 57 NEW BEST:: SOT 1048474 SOS 769464 HAS SOPS 769464 HAS SOUS 769464 HAS SOUPS 769464 WITH SCORE 770233.464
AT ITER 62 NEW BEST:: SOT 1048474 SOS 769068 HAS SOPS 769068 HAS SOUS 769068 HAS SOUPS 769068 WITH SCORE 769837.068
AT ITER 63 NEW BEST:: SOT 1048474 SOS 768294 HAS SOPS 768294 HAS SOUS 768294 HAS SOUPS 768294 WITH SCORE 769062.294
AT ITER 67 NEW BEST:: SOT 1048474 SOS 767528 HAS SOPS 767528 HAS SOUS 767528 HAS SOUPS 767528 WITH SCORE 768295.528
AT ITER 69 NEW BEST:: SOT 1048474 SOS 767416 HAS SOPS 767416 HAS SOUS 767416 HAS SOUPS 767416 WITH SCORE 768183.416
AT ITER 70 NEW BEST:: SOT 1048474 SOS 766376 HAS SOPS 766376 HAS SOUS 766376 HAS SOUPS 766376 WITH SCORE 767142.376
AT ITER 72 NEW BEST:: SOT 1048474 SOS 765576 HAS SOPS 765576 HAS SOUS 765576 HAS SOUPS 765576 WITH SCORE 766341.576
AT ITER 78 NEW BEST:: SOT 1048474 SOS 764808 HAS SOPS 764808 HAS SOUS 764808 HAS SOUPS 764808 WITH SCORE 765572.808
AT ITER 81 NEW BEST:: SOT 1048474 SOS 764218 HAS SOPS 764218 HAS SOUS 764218 HAS SOUPS 764218 WITH SCORE 764982.218
AT ITER 82 NEW BEST:: SOT 1048474 SOS 763848 HAS SOPS 763848 HAS SOUS 763848 HAS SOUPS 763848 WITH SCORE 764611.848
AT ITER 86 NEW BEST:: SOT 1048474 SOS 763690 HAS SOPS 763690 HAS SOUS 763690 HAS SOUPS 763690 WITH SCORE 764453.69
AT ITER 93 NEW BEST:: SOT 1048474 SOS 763450 HAS SOPS 763450 HAS SOUS 763450 HAS SOUPS 763450 WITH SCORE 764213.45
AT ITER 95 NEW BEST:: SOT 1048474 SOS 763236 HAS SOPS 763236 HAS SOUS 763236 HAS SOUPS 763236 WITH SCORE 763999.236
AT ITER 97 NEW BEST:: SOT 1048474 SOS 763066 HAS SOPS 763066 HAS SOUS 763066 HAS SOUPS 763066 WITH SCORE 763829.066
AT ITER 98 NEW BEST:: SOT 1048474 SOS 762786 HAS SOPS 762786 HAS SOUS 762786 HAS SOUPS 762786 WITH SCORE 763548.786
AT ITER 99 NEW BEST:: SOT 1048474 SOS 762050 HAS SOPS 762050 HAS SOUS 762050 HAS SOUPS 762050 WITH SCORE 762812.05
AT ITER 100 NEW BEST:: SOT 1048474 SOS 761872 HAS SOPS 761872 HAS SOUS 761872 HAS SOUPS 761872 WITH SCORE 762633.872
AT ITER 101 NEW BEST:: SOT 1048474 SOS 761058 HAS SOPS 761058 HAS SOUS 761058 HAS SOUPS 761058 WITH SCORE 761819.058
AT ITER 104 NEW BEST:: SOT 1048474 SOS 760230 HAS SOPS 760230 HAS SOUS 760230 HAS SOUPS 760230 WITH SCORE 760990.23
AT ITER 107 NEW BEST:: SOT 1048474 SOS 759734 HAS SOPS 759734 HAS SOUS 759734 HAS SOUPS 759734 WITH SCORE 760493.734
AT ITER 108 NEW BEST:: SOT 1048474 SOS 759148 HAS SOPS 759148 HAS SOUS 759148 HAS SOUPS 759148 WITH SCORE 759907.148
AT ITER 109 NEW BEST:: SOT 1048474 SOS 758770 HAS SOPS 758770 HAS SOUS 758770 HAS SOUPS 758770 WITH SCORE 759528.77
AT ITER 113 NEW BEST:: SOT 1048474 SOS 758334 HAS SOPS 758334 HAS SOUS 758334 HAS SOUPS 758334 WITH SCORE 759092.334
AT ITER 114 NEW BEST:: SOT 1048474 SOS 758302 HAS SOPS 758302 HAS SOUS 758302 HAS SOUPS 758302 WITH SCORE 759060.302
AT ITER 115 NEW BEST:: SOT 1048474 SOS 756602 HAS SOPS 756602 HAS SOUS 756602 HAS SOUPS 756602 WITH SCORE 757358.602
AT ITER 122 NEW BEST:: SOT 1048474 SOS 756158 HAS SOPS 756158 HAS SOUS 756158 HAS SOUPS 756158 WITH SCORE 756914.158
AT ITER 123 NEW BEST:: SOT 1048474 SOS 755344 HAS SOPS 755344 HAS SOUS 755344 HAS SOUPS 755344 WITH SCORE 756099.344
AT ITER 124 NEW BEST:: SOT 1048474 SOS 754796 HAS SOPS 754796 HAS SOUS 754796 HAS SOUPS 754796 WITH SCORE 755550.796
AT ITER 126 NEW BEST:: SOT 1048474 SOS 754444 HAS SOPS 754444 HAS SOUS 754444 HAS SOUPS 754444 WITH SCORE 755198.444
AT ITER 128 NEW BEST:: SOT 1048474 SOS 754292 HAS SOPS 754292 HAS SOUS 754292 HAS SOUPS 754292 WITH SCORE 755046.292
AT ITER 137 NEW BEST:: SOT 1048474 SOS 754114 HAS SOPS 754114 HAS SOUS 754114 HAS SOUPS 754114 WITH SCORE 754868.114
AT ITER 145 NEW BEST:: SOT 1048474 SOS 753416 HAS SOPS 753416 HAS SOUS 753416 HAS SOUPS 753416 WITH SCORE 754169.416
AT ITER 147 NEW BEST:: SOT 1048474 SOS 752380 HAS SOPS 752380 HAS SOUS 752380 HAS SOUPS 752380 WITH SCORE 753132.38
AT ITER 149 NEW BEST:: SOT 1048474 SOS 752292 HAS SOPS 752292 HAS SOUS 752292 HAS SOUPS 752292 WITH SCORE 753044.292
AT ITER 150 NEW BEST:: SOT 1048474 SOS 751852 HAS SOPS 751852 HAS SOUS 751852 HAS SOUPS 751852 WITH SCORE 752603.852
AT ITER 152 NEW BEST:: SOT 1048474 SOS 751098 HAS SOPS 751098 HAS SOUS 751098 HAS SOUPS 751098 WITH SCORE 751849.098
AT ITER 153 NEW BEST:: SOT 1048474 SOS 750640 HAS SOPS 750640 HAS SOUS 750640 HAS SOUPS 750640 WITH SCORE 751390.64
AT ITER 155 NEW BEST:: SOT 1048474 SOS 750170 HAS SOPS 750170 HAS SOUS 750170 HAS SOUPS 750170 WITH SCORE 750920.17
AT ITER 158 NEW BEST:: SOT 1048474 SOS 749368 HAS SOPS 749368 HAS SOUS 749368 HAS SOUPS 749368 WITH SCORE 750117.368
AT ITER 159 NEW BEST:: SOT 1048474 SOS 749020 HAS SOPS 749020 HAS SOUS 749020 HAS SOUPS 749020 WITH SCORE 749769.02
AT ITER 161 NEW BEST:: SOT 1048474 SOS 748804 HAS SOPS 748804 HAS SOUS 748804 HAS SOUPS 748804 WITH SCORE 749552.804
AT ITER 167 NEW BEST:: SOT 1048474 SOS 748038 HAS SOPS 748038 HAS SOUS 748038 HAS SOUPS 748038 WITH SCORE 748786.038
AT ITER 169 NEW BEST:: SOT 1048474 SOS 747756 HAS SOPS 747756 HAS SOUS 747756 HAS SOUPS 747756 WITH SCORE 748503.756
AT ITER 175 NEW BEST:: SOT 1048474 SOS 747250 HAS SOPS 747250 HAS SOUS 747250 HAS SOUPS 747250 WITH SCORE 747997.25
AT ITER 176 NEW BEST:: SOT 1048474 SOS 746648 HAS SOPS 746648 HAS SOUS 746648 HAS SOUPS 746648 WITH SCORE 747394.648
AT ITER 179 NEW BEST:: SOT 1048474 SOS 746636 HAS SOPS 746636 HAS SOUS 746636 HAS SOUPS 746636 WITH SCORE 747382.636
AT ITER 182 NEW BEST:: SOT 1048474 SOS 745870 HAS SOPS 745870 HAS SOUS 745870 HAS SOUPS 745870 WITH SCORE 746615.87
AT ITER 187 NEW BEST:: SOT 1048474 SOS 745090 HAS SOPS 745090 HAS SOUS 745090 HAS SOUPS 745090 WITH SCORE 745835.09
AT ITER 199 NEW BEST:: SOT 1048474 SOS 744334 HAS SOPS 744334 HAS SOUS 744334 HAS SOUPS 744334 WITH SCORE 745078.334
AT ITER 201 NEW BEST:: SOT 1048474 SOS 743520 HAS SOPS 743520 HAS SOUS 743520 HAS SOUPS 743520 WITH SCORE 744263.52
AT ITER 204 NEW BEST:: SOT 1048474 SOS 743034 HAS SOPS 743034 HAS SOUS 743034 HAS SOUPS 743034 WITH SCORE 743777.034
AT ITER 208 NEW BEST:: SOT 1048474 SOS 742850 HAS SOPS 742850 HAS SOUS 742850 HAS SOUPS 742850 WITH SCORE 743592.85
AT ITER 210 NEW BEST:: SOT 1048474 SOS 742502 HAS SOPS 742502 HAS SOUS 742502 HAS SOUPS 742502 WITH SCORE 743244.502
AT ITER 213 NEW BEST:: SOT 1048474 SOS 740998 HAS SOPS 740998 HAS SOUS 740998 HAS SOUPS 740998 WITH SCORE 741738.998
AT ITER 214 NEW BEST:: SOT 1048474 SOS 740790 HAS SOPS 740790 HAS SOUS 740790 HAS SOUPS 740790 WITH SCORE 741530.79
AT ITER 218 NEW BEST:: SOT 1048474 SOS 740370 HAS SOPS 740370 HAS SOUS 740370 HAS SOUPS 740370 WITH SCORE 741110.37
AT ITER 219 NEW BEST:: SOT 1048474 SOS 739228 HAS SOPS 739228 HAS SOUS 739228 HAS SOUPS 739228 WITH SCORE 739967.228
AT ITER 220 NEW BEST:: SOT 1048474 SOS 738940 HAS SOPS 738940 HAS SOUS 738940 HAS SOUPS 738940 WITH SCORE 739678.94
AT ITER 223 NEW BEST:: SOT 1048474 SOS 738130 HAS SOPS 738130 HAS SOUS 738130 HAS SOUPS 738130 WITH SCORE 738868.13
AT ITER 224 NEW BEST:: SOT 1048474 SOS 737858 HAS SOPS 737858 HAS SOUS 737858 HAS SOUPS 737858 WITH SCORE 738595.858
AT ITER 225 NEW BEST:: SOT 1048474 SOS 737062 HAS SOPS 737062 HAS SOUS 737062 HAS SOUPS 737062 WITH SCORE 737799.062
AT ITER 227 NEW BEST:: SOT 1048474 SOS 736616 HAS SOPS 736616 HAS SOUS 736616 HAS SOUPS 736616 WITH SCORE 737352.616
AT ITER 229 NEW BEST:: SOT 1048474 SOS 736046 HAS SOPS 736046 HAS SOUS 736046 HAS SOUPS 736046 WITH SCORE 736782.046
AT ITER 230 NEW BEST:: SOT 1048474 SOS 735472 HAS SOPS 735472 HAS SOUS 735472 HAS SOUPS 735472 WITH SCORE 736207.472
AT ITER 231 NEW BEST:: SOT 1048474 SOS 734642 HAS SOPS 734642 HAS SOUS 734642 HAS SOUPS 734642 WITH SCORE 735376.642
AT ITER 232 NEW BEST:: SOT 1048474 SOS 733912 HAS SOPS 733912 HAS SOUS 733912 HAS SOUPS 733912 WITH SCORE 734645.912
AT ITER 233 NEW BEST:: SOT 1048474 SOS 733684 HAS SOPS 733684 HAS SOUS 733684 HAS SOUPS 733684 WITH SCORE 734417.684
AT ITER 237 NEW BEST:: SOT 1048474 SOS 733466 HAS SOPS 733466 HAS SOUS 733466 HAS SOUPS 733466 WITH SCORE 734199.466
AT ITER 240 NEW BEST:: SOT 1048474 SOS 733320 HAS SOPS 733320 HAS SOUS 733320 HAS SOUPS 733320 WITH SCORE 734053.32
AT ITER 241 NEW BEST:: SOT 1047396 SOS 754526 HAS SOPS 754526 HAS SOUS 733162 HAS SOUPS 733162 WITH SCORE 733916.526
AT ITER 242 NEW BEST:: SOT 1047396 SOS 754320 HAS SOPS 754320 HAS SOUS 732658 HAS SOUPS 732658 WITH SCORE 733412.32
AT ITER 243 NEW BEST:: SOT 1047396 SOS 754082 HAS SOPS 754082 HAS SOUS 732420 HAS SOUPS 732420 WITH SCORE 733174.082
AT ITER 246 NEW BEST:: SOT 1047396 SOS 753462 HAS SOPS 753462 HAS SOUS 731672 HAS SOUPS 731672 WITH SCORE 732425.462
AT ITER 250 NEW BEST:: SOT 1047396 SOS 753182 HAS SOPS 753182 HAS SOUS 731102 HAS SOUPS 731102 WITH SCORE 731855.182
AT ITER 252 NEW BEST:: SOT 1047396 SOS 752374 HAS SOPS 752374 HAS SOUS 730272 HAS SOUPS 730272 WITH SCORE 731024.374
AT ITER 254 NEW BEST:: SOT 1047396 SOS 751942 HAS SOPS 751942 HAS SOUS 729120 HAS SOUPS 729120 WITH SCORE 729871.942
AT ITER 257 NEW BEST:: SOT 1047396 SOS 751942 HAS SOPS 751942 HAS SOUS 728920 HAS SOUPS 728920 WITH SCORE 729671.942
AT ITER 258 NEW BEST:: SOT 1047396 SOS 751650 HAS SOPS 751650 HAS SOUS 728546 HAS SOUPS 728546 WITH SCORE 729297.65
AT ITER 259 NEW BEST:: SOT 1047396 SOS 751244 HAS SOPS 751244 HAS SOUS 728140 HAS SOUPS 728140 WITH SCORE 728891.244
AT ITER 267 NEW BEST:: SOT 1047396 SOS 750768 HAS SOPS 750768 HAS SOUS 727404 HAS SOUPS 727404 WITH SCORE 728154.768
AT ITER 268 NEW BEST:: SOT 1047396 SOS 750526 HAS SOPS 750526 HAS SOUS 727068 HAS SOUPS 727068 WITH SCORE 727818.526
AT ITER 269 NEW BEST:: SOT 1047396 SOS 749862 HAS SOPS 749862 HAS SOUS 726368 HAS SOUPS 726368 WITH SCORE 727117.862
AT ITER 270 NEW BEST:: SOT 1047396 SOS 749586 HAS SOPS 749586 HAS SOUS 725598 HAS SOUPS 725598 WITH SCORE 726347.586
AT ITER 274 NEW BEST:: SOT 1047396 SOS 749252 HAS SOPS 749252 HAS SOUS 724972 HAS SOUPS 724972 WITH SCORE 725721.252
AT ITER 275 NEW BEST:: SOT 1047396 SOS 748282 HAS SOPS 748282 HAS SOUS 723324 HAS SOUPS 723324 WITH SCORE 724072.282
AT ITER 276 NEW BEST:: SOT 1047396 SOS 747982 HAS SOPS 747982 HAS SOUS 723024 HAS SOUPS 723024 WITH SCORE 723771.982
AT ITER 277 NEW BEST:: SOT 1047396 SOS 747880 HAS SOPS 747880 HAS SOUS 722316 HAS SOUPS 722316 WITH SCORE 723063.88
AT ITER 280 NEW BEST:: SOT 1047396 SOS 747366 HAS SOPS 747366 HAS SOUS 721724 HAS SOUPS 721724 WITH SCORE 722471.366
AT ITER 281 NEW BEST:: SOT 1047396 SOS 747318 HAS SOPS 747318 HAS SOUS 721676 HAS SOUPS 721676 WITH SCORE 722423.318
AT ITER 282 NEW BEST:: SOT 1047396 SOS 746944 HAS SOPS 746944 HAS SOUS 721302 HAS SOUPS 721302 WITH SCORE 722048.944
AT ITER 283 NEW BEST:: SOT 1047396 SOS 746714 HAS SOPS 746714 HAS SOUS 720770 HAS SOUPS 720770 WITH SCORE 721516.714
AT ITER 286 NEW BEST:: SOT 1047396 SOS 745718 HAS SOPS 745718 HAS SOUS 719030 HAS SOUPS 719030 WITH SCORE 719775.718
AT ITER 288 NEW BEST:: SOT 1047396 SOS 745718 HAS SOPS 745718 HAS SOUS 719026 HAS SOUPS 719026 WITH SCORE 719771.718
AT ITER 294 NEW BEST:: SOT 1047396 SOS 745270 HAS SOPS 745270 HAS SOUS 718578 HAS SOUPS 718578 WITH SCORE 719323.27
AT ITER 297 NEW BEST:: SOT 1046706 SOS 744580 HAS SOPS 744580 HAS SOUS 717888 HAS SOUPS 717888 WITH SCORE 718632.58
AT ITER 308 NEW BEST:: SOT 1046706 SOS 743828 HAS SOPS 743828 HAS SOUS 717136 HAS SOUPS 717136 WITH SCORE 717879.828
AT ITER 309 NEW BEST:: SOT 1046706 SOS 743618 HAS SOPS 743618 HAS SOUS 716766 HAS SOUPS 716766 WITH SCORE 717509.618
AT ITER 310 NEW BEST:: SOT 1046706 SOS 743030 HAS SOPS 743030 HAS SOUS 716178 HAS SOUPS 716178 WITH SCORE 716921.03
AT ITER 314 NEW BEST:: SOT 1046706 SOS 742702 HAS SOPS 742702 HAS SOUS 715850 HAS SOUPS 715850 WITH SCORE 716592.702
AT ITER 316 NEW BEST:: SOT 1046706 SOS 742584 HAS SOPS 742584 HAS SOUS 715318 HAS SOUPS 715318 WITH SCORE 716060.584
AT ITER 321 NEW BEST:: SOT 1046706 SOS 742068 HAS SOPS 742068 HAS SOUS 714518 HAS SOUPS 714518 WITH SCORE 715260.068
AT ITER 324 NEW BEST:: SOT 1046706 SOS 741398 HAS SOPS 741398 HAS SOUS 713702 HAS SOUPS 713702 WITH SCORE 714443.398
AT ITER 326 NEW BEST:: SOT 1046706 SOS 741398 HAS SOPS 741398 HAS SOUS 713298 HAS SOUPS 713298 WITH SCORE 714039.398
AT ITER 327 NEW BEST:: SOT 1046624 SOS 826864 HAS SOPS 826864 HAS SOUS 712362 HAS SOUPS 712362 WITH SCORE 713188.864
AT ITER 331 NEW BEST:: SOT 1046542 SOS 826782 HAS SOPS 826782 HAS SOUS 712280 HAS SOUPS 712280 WITH SCORE 713106.782
AT ITER 332 NEW BEST:: SOT 1046542 SOS 826782 HAS SOPS 826782 HAS SOUS 712032 HAS SOUPS 712032 WITH SCORE 712858.782
AT ITER 341 NEW BEST:: SOT 1046542 SOS 826782 HAS SOPS 826782 HAS SOUS 711430 HAS SOUPS 711430 WITH SCORE 712256.782
AT ITER 343 NEW BEST:: SOT 1046542 SOS 826586 HAS SOPS 826586 HAS SOUS 710608 HAS SOUPS 710608 WITH SCORE 711434.586
AT ITER 348 NEW BEST:: SOT 1046542 SOS 826586 HAS SOPS 826586 HAS SOUS 709814 HAS SOUPS 709814 WITH SCORE 710640.586
AT ITER 349 NEW BEST:: SOT 1046542 SOS 826586 HAS SOPS 826586 HAS SOUS 709046 HAS SOUPS 709046 WITH SCORE 709872.586
AT ITER 351 NEW BEST:: SOT 1046542 SOS 826586 HAS SOPS 826586 HAS SOUS 708904 HAS SOUPS 708904 WITH SCORE 709730.586
AT ITER 352 NEW BEST:: SOT 1046542 SOS 826580 HAS SOPS 826580 HAS SOUS 708646 HAS SOUPS 708646 WITH SCORE 709472.58
AT ITER 353 NEW BEST:: SOT 1046542 SOS 826548 HAS SOPS 826548 HAS SOUS 707838 HAS SOUPS 707838 WITH SCORE 708664.548
AT ITER 355 NEW BEST:: SOT 1046542 SOS 826548 HAS SOPS 826548 HAS SOUS 707370 HAS SOUPS 707370 WITH SCORE 708196.548
AT ITER 356 NEW BEST:: SOT 1045904 SOS 825910 HAS SOPS 825910 HAS SOUS 706724 HAS SOUPS 706724 WITH SCORE 707549.91
AT ITER 359 NEW BEST:: SOT 1045822 SOS 825828 HAS SOPS 825828 HAS SOUS 706134 HAS SOUPS 706134 WITH SCORE 706959.828
AT ITER 367 NEW BEST:: SOT 1045822 SOS 825828 HAS SOPS 825828 HAS SOUS 705554 HAS SOUPS 705554 WITH SCORE 706379.828
AT ITER 368 NEW BEST:: SOT 1045822 SOS 825828 HAS SOPS 825828 HAS SOUS 705416 HAS SOUPS 705416 WITH SCORE 706241.828
AT ITER 370 NEW BEST:: SOT 1045822 SOS 825818 HAS SOPS 825818 HAS SOUS 704610 HAS SOUPS 704610 WITH SCORE 705435.818
AT ITER 373 NEW BEST:: SOT 1045822 SOS 825818 HAS SOPS 825818 HAS SOUS 703814 HAS SOUPS 703814 WITH SCORE 704639.818
AT ITER 384 NEW BEST:: SOT 1045822 SOS 825818 HAS SOPS 825818 HAS SOUS 703672 HAS SOUPS 703672 WITH SCORE 704497.818
AT ITER 386 NEW BEST:: SOT 1045822 SOS 825818 HAS SOPS 825818 HAS SOUS 703532 HAS SOUPS 703532 WITH SCORE 704357.818
AT ITER 389 NEW BEST:: SOT 1045822 SOS 825458 HAS SOPS 825458 HAS SOUS 702692 HAS SOUPS 702692 WITH SCORE 703517.458
AT ITER 390 NEW BEST:: SOT 1045822 SOS 825374 HAS SOPS 825374 HAS SOUS 702452 HAS SOUPS 702452 WITH SCORE 703277.374
AT ITER 392 NEW BEST:: SOT 1045822 SOS 825374 HAS SOPS 825374 HAS SOUS 702402 HAS SOUPS 702402 WITH SCORE 703227.374
AT ITER 393 NEW BEST:: SOT 1045822 SOS 825374 HAS SOPS 825374 HAS SOUS 701900 HAS SOUPS 701900 WITH SCORE 702725.374
AT ITER 397 NEW BEST:: SOT 1045822 SOS 825374 HAS SOPS 825374 HAS SOUS 701256 HAS SOUPS 701256 WITH SCORE 702081.374
AT ITER 403 NEW BEST:: SOT 1044568 SOS 823784 HAS SOPS 823784 HAS SOUS 699666 HAS SOUPS 699666 WITH SCORE 700489.784
AT ITER 405 NEW BEST:: SOT 1044568 SOS 823784 HAS SOPS 823784 HAS SOUS 699302 HAS SOUPS 699302 WITH SCORE 700125.784
AT ITER 410 NEW BEST:: SOT 1044568 SOS 823784 HAS SOPS 823784 HAS SOUS 698556 HAS SOUPS 698556 WITH SCORE 699379.784
AT ITER 411 NEW BEST:: SOT 1044568 SOS 823784 HAS SOPS 823784 HAS SOUS 697934 HAS SOUPS 697934 WITH SCORE 698757.784
AT ITER 413 NEW BEST:: SOT 1044568 SOS 823784 HAS SOPS 823784 HAS SOUS 697580 HAS SOUPS 697580 WITH SCORE 698403.784
AT ITER 414 NEW BEST:: SOT 1044568 SOS 823676 HAS SOPS 823676 HAS SOUS 696796 HAS SOUPS 696796 WITH SCORE 697619.676
AT ITER 416 NEW BEST:: SOT 1044568 SOS 823676 HAS SOPS 823676 HAS SOUS 696374 HAS SOUPS 696374 WITH SCORE 697197.676
AT ITER 417 NEW BEST:: SOT 1044568 SOS 823676 HAS SOPS 823676 HAS SOUS 696272 HAS SOUPS 696272 WITH SCORE 697095.676
AT ITER 428 NEW BEST:: SOT 1044568 SOS 823574 HAS SOPS 823574 HAS SOUS 695914 HAS SOUPS 695914 WITH SCORE 696737.574
AT ITER 431 NEW BEST:: SOT 1042844 SOS 967964 HAS SOPS 967964 HAS SOUS 694752 HAS SOUPS 694752 WITH SCORE 695719.964
AT ITER 433 NEW BEST:: SOT 1042844 SOS 967964 HAS SOPS 967964 HAS SOUS 694348 HAS SOUPS 694348 WITH SCORE 695315.964
AT ITER 435 NEW BEST:: SOT 1042844 SOS 967886 HAS SOPS 967886 HAS SOUS 694348 HAS SOUPS 694348 WITH SCORE 695315.886
AT ITER 436 NEW BEST:: SOT 1042844 SOS 967886 HAS SOPS 967886 HAS SOUS 694156 HAS SOUPS 694156 WITH SCORE 695123.886
AT ITER 443 NEW BEST:: SOT 1042502 SOS 967544 HAS SOPS 967544 HAS SOUS 693814 HAS SOUPS 693814 WITH SCORE 694781.544
AT ITER 447 NEW BEST:: SOT 1042502 SOS 967544 HAS SOPS 967544 HAS SOUS 693566 HAS SOUPS 693566 WITH SCORE 694533.544
AT ITER 452 NEW BEST:: SOT 1042502 SOS 967544 HAS SOPS 967544 HAS SOUS 692770 HAS SOUPS 692770 WITH SCORE 693737.544
AT ITER 455 NEW BEST:: SOT 1042502 SOS 967544 HAS SOPS 967544 HAS SOUS 692260 HAS SOUPS 692260 WITH SCORE 693227.544
AT ITER 456 NEW BEST:: SOT 1042502 SOS 967544 HAS SOPS 967544 HAS SOUS 691976 HAS SOUPS 691976 WITH SCORE 692943.544
AT ITER 461 NEW BEST:: SOT 1042502 SOS 967544 HAS SOPS 967544 HAS SOUS 691684 HAS SOUPS 691684 WITH SCORE 692651.544
AT ITER 467 NEW BEST:: SOT 1042502 SOS 967544 HAS SOPS 967544 HAS SOUS 691270 HAS SOUPS 691270 WITH SCORE 692237.544
AT ITER 472 NEW BEST:: SOT 1042502 SOS 967306 HAS SOPS 967306 HAS SOUS 691032 HAS SOUPS 691032 WITH SCORE 691999.306
AT ITER 473 NEW BEST:: SOT 1042502 SOS 967306 HAS SOPS 967306 HAS SOUS 690506 HAS SOUPS 690506 WITH SCORE 691473.306
AT ITER 474 NEW BEST:: SOT 1042502 SOS 967306 HAS SOPS 967306 HAS SOUS 689728 HAS SOUPS 689728 WITH SCORE 690695.306
AT ITER 475 NEW BEST:: SOT 1042502 SOS 967306 HAS SOPS 967306 HAS SOUS 689512 HAS SOUPS 689512 WITH SCORE 690479.306
AT ITER 478 NEW BEST:: SOT 1042502 SOS 967306 HAS SOPS 967306 HAS SOUS 689264 HAS SOUPS 689264 WITH SCORE 690231.306
AT ITER 484 NEW BEST:: SOT 1042502 SOS 967306 HAS SOPS 967306 HAS SOUS 689066 HAS SOUPS 689066 WITH SCORE 690033.306
AT ITER 486 NEW BEST:: SOT 1042502 SOS 967306 HAS SOPS 967306 HAS SOUS 688852 HAS SOUPS 688852 WITH SCORE 689819.306
AT ITER 488 NEW BEST:: SOT 1042502 SOS 967306 HAS SOPS 967306 HAS SOUS 688796 HAS SOUPS 688796 WITH SCORE 689763.306
AT ITER 491 NEW BEST:: SOT 1042502 SOS 967306 HAS SOPS 967306 HAS SOUS 688608 HAS SOUPS 688608 WITH SCORE 689575.306
AT ITER 493 NEW BEST:: SOT 1042502 SOS 967306 HAS SOPS 967306 HAS SOUS 688294 HAS SOUPS 688294 WITH SCORE 689261.306
AT ITER 502 NEW BEST:: SOT 1042502 SOS 967306 HAS SOPS 967306 HAS SOUS 687856 HAS SOUPS 687856 WITH SCORE 688823.306
AT ITER 510 NEW BEST:: SOT 1042502 SOS 967306 HAS SOPS 967306 HAS SOUS 687720 HAS SOUPS 687720 WITH SCORE 688687.306
AT ITER 519 NEW BEST:: SOT 1042502 SOS 967866 HAS SOPS 967866 HAS SOUS 687464 HAS SOUPS 687464 WITH SCORE 688431.866
AT ITER 522 NEW BEST:: SOT 1042502 SOS 967866 HAS SOPS 967866 HAS SOUS 687136 HAS SOUPS 687136 WITH SCORE 688103.866
AT ITER 524 NEW BEST:: SOT 1042502 SOS 967866 HAS SOPS 967866 HAS SOUS 686642 HAS SOUPS 686642 WITH SCORE 687609.866
AT ITER 528 NEW BEST:: SOT 1042502 SOS 967866 HAS SOPS 967866 HAS SOUS 686466 HAS SOUPS 686466 WITH SCORE 687433.866
AT ITER 530 NEW BEST:: SOT 1042502 SOS 967866 HAS SOPS 967866 HAS SOUS 685754 HAS SOUPS 685754 WITH SCORE 686721.866
AT ITER 532 NEW BEST:: SOT 1042502 SOS 967866 HAS SOPS 967866 HAS SOUS 685710 HAS SOUPS 685710 WITH SCORE 686677.866
AT ITER 534 NEW BEST:: SOT 1042502 SOS 967866 HAS SOPS 967866 HAS SOUS 684914 HAS SOUPS 684914 WITH SCORE 685881.866
AT ITER 535 NEW BEST:: SOT 1042502 SOS 967866 HAS SOPS 967866 HAS SOUS 684080 HAS SOUPS 684080 WITH SCORE 685047.866
AT ITER 536 NEW BEST:: SOT 1042502 SOS 967866 HAS SOPS 967866 HAS SOUS 684050 HAS SOUPS 684050 WITH SCORE 685017.866
AT ITER 550 NEW BEST:: SOT 1042502 SOS 967866 HAS SOPS 967866 HAS SOUS 683786 HAS SOUPS 683786 WITH SCORE 684753.866
AT ITER 552 NEW BEST:: SOT 1042502 SOS 967766 HAS SOPS 967766 HAS SOUS 683192 HAS SOUPS 683192 WITH SCORE 684159.766
AT ITER 553 NEW BEST:: SOT 1042502 SOS 967720 HAS SOPS 967720 HAS SOUS 682630 HAS SOUPS 682630 WITH SCORE 683597.72
AT ITER 556 NEW BEST:: SOT 1042502 SOS 967720 HAS SOPS 967720 HAS SOUS 681846 HAS SOUPS 681846 WITH SCORE 682813.72
AT ITER 558 NEW BEST:: SOT 1042502 SOS 967720 HAS SOPS 967720 HAS SOUS 681704 HAS SOUPS 681704 WITH SCORE 682671.72
AT ITER 563 NEW BEST:: SOT 1042502 SOS 967720 HAS SOPS 967720 HAS SOUS 680980 HAS SOUPS 680980 WITH SCORE 681947.72
AT ITER 567 NEW BEST:: SOT 1042502 SOS 967720 HAS SOPS 967720 HAS SOUS 680870 HAS SOUPS 680870 WITH SCORE 681837.72
AT ITER 572 NEW BEST:: SOT 1042502 SOS 967720 HAS SOPS 967720 HAS SOUS 680106 HAS SOUPS 680106 WITH SCORE 681073.72
AT ITER 573 NEW BEST:: SOT 1042502 SOS 967720 HAS SOPS 967720 HAS SOUS 680072 HAS SOUPS 680072 WITH SCORE 681039.72
AT ITER 574 NEW BEST:: SOT 1042502 SOS 967720 HAS SOPS 967720 HAS SOUS 679262 HAS SOUPS 679262 WITH SCORE 680229.72
AT ITER 581 NEW BEST:: SOT 1042502 SOS 967720 HAS SOPS 967720 HAS SOUS 678810 HAS SOUPS 678810 WITH SCORE 679777.72
AT ITER 582 NEW BEST:: SOT 1042502 SOS 967720 HAS SOPS 967720 HAS SOUS 678004 HAS SOUPS 678004 WITH SCORE 678971.72
AT ITER 584 NEW BEST:: SOT 1042502 SOS 967720 HAS SOPS 967720 HAS SOUS 677638 HAS SOUPS 677638 WITH SCORE 678605.72
AT ITER 587 NEW BEST:: SOT 1042502 SOS 967720 HAS SOPS 967720 HAS SOUS 677600 HAS SOUPS 677600 WITH SCORE 678567.72
AT ITER 589 NEW BEST:: SOT 1042502 SOS 967720 HAS SOPS 967720 HAS SOUS 677172 HAS SOUPS 677172 WITH SCORE 678139.72
AT ITER 590 NEW BEST:: SOT 1042502 SOS 967720 HAS SOPS 967720 HAS SOUS 677142 HAS SOUPS 677142 WITH SCORE 678109.72
AT ITER 597 NEW BEST:: SOT 1042502 SOS 967720 HAS SOPS 967720 HAS SOUS 676896 HAS SOUPS 676896 WITH SCORE 677863.72
AT ITER 605 NEW BEST:: SOT 1042502 SOS 967720 HAS SOPS 967720 HAS SOUS 676128 HAS SOUPS 676128 WITH SCORE 677095.72
AT ITER 606 NEW BEST:: SOT 1042502 SOS 967720 HAS SOPS 967720 HAS SOUS 675966 HAS SOUPS 675966 WITH SCORE 676933.72
AT ITER 607 NEW BEST:: SOT 1042502 SOS 967720 HAS SOPS 967720 HAS SOUS 675474 HAS SOUPS 675474 WITH SCORE 676441.72
AT ITER 608 NEW BEST:: SOT 1042502 SOS 967720 HAS SOPS 967720 HAS SOUS 675338 HAS SOUPS 675338 WITH SCORE 676305.72
AT ITER 612 NEW BEST:: SOT 1042502 SOS 967720 HAS SOPS 967720 HAS SOUS 675328 HAS SOUPS 675328 WITH SCORE 676295.72
AT ITER 613 NEW BEST:: SOT 1042502 SOS 967720 HAS SOPS 967720 HAS SOUS 674490 HAS SOUPS 674490 WITH SCORE 675457.72
AT ITER 619 NEW BEST:: SOT 1042502 SOS 967720 HAS SOPS 967720 HAS SOUS 674100 HAS SOUPS 674100 WITH SCORE 675067.72
AT ITER 625 NEW BEST:: SOT 1042502 SOS 967652 HAS SOPS 967652 HAS SOUS 674100 HAS SOUPS 674100 WITH SCORE 675067.652
AT ITER 630 NEW BEST:: SOT 1042502 SOS 967652 HAS SOPS 967652 HAS SOUS 674064 HAS SOUPS 674064 WITH SCORE 675031.652
AT ITER 634 NEW BEST:: SOT 1042502 SOS 967652 HAS SOPS 967652 HAS SOUS 673684 HAS SOUPS 673684 WITH SCORE 674651.652
AT ITER 636 NEW BEST:: SOT 1042502 SOS 967652 HAS SOPS 967652 HAS SOUS 672852 HAS SOUPS 672852 WITH SCORE 673819.652
AT ITER 637 NEW BEST:: SOT 1042502 SOS 967652 HAS SOPS 967652 HAS SOUS 672488 HAS SOUPS 672488 WITH SCORE 673455.652
AT ITER 640 NEW BEST:: SOT 1042502 SOS 967652 HAS SOPS 967652 HAS SOUS 671822 HAS SOUPS 671822 WITH SCORE 672789.652
AT ITER 643 NEW BEST:: SOT 1042178 SOS 967328 HAS SOPS 967328 HAS SOUS 671498 HAS SOUPS 671498 WITH SCORE 672465.328
AT ITER 645 NEW BEST:: SOT 1042178 SOS 967328 HAS SOPS 967328 HAS SOUS 670840 HAS SOUPS 670840 WITH SCORE 671807.328
AT ITER 647 NEW BEST:: SOT 1042178 SOS 967328 HAS SOPS 967328 HAS SOUS 670022 HAS SOUPS 670022 WITH SCORE 670989.328
AT ITER 650 NEW BEST:: SOT 1042178 SOS 967328 HAS SOPS 967328 HAS SOUS 669740 HAS SOUPS 669740 WITH SCORE 670707.328
AT ITER 655 NEW BEST:: SOT 1042178 SOS 967328 HAS SOPS 967328 HAS SOUS 668946 HAS SOUPS 668946 WITH SCORE 669913.328
AT ITER 664 NEW BEST:: SOT 1040640 SOS 965992 HAS SOPS 965992 HAS SOUS 667324 HAS SOUPS 667324 WITH SCORE 668289.992
AT ITER 667 NEW BEST:: SOT 1040640 SOS 965992 HAS SOPS 965992 HAS SOUS 667206 HAS SOUPS 667206 WITH SCORE 668171.992
AT ITER 670 NEW BEST:: SOT 1040640 SOS 965992 HAS SOPS 965992 HAS SOUS 667198 HAS SOUPS 667198 WITH SCORE 668163.992
AT ITER 671 NEW BEST:: SOT 1040640 SOS 965992 HAS SOPS 965992 HAS SOUS 667116 HAS SOUPS 667116 WITH SCORE 668081.992
AT ITER 675 NEW BEST:: SOT 1040640 SOS 965854 HAS SOPS 965854 HAS SOUS 666968 HAS SOUPS 666968 WITH SCORE 667933.854
AT ITER 676 NEW BEST:: SOT 1040640 SOS 965854 HAS SOPS 965854 HAS SOUS 666940 HAS SOUPS 666940 WITH SCORE 667905.854
AT ITER 678 NEW BEST:: SOT 1040640 SOS 965854 HAS SOPS 965854 HAS SOUS 666672 HAS SOUPS 666672 WITH SCORE 667637.854
AT ITER 683 NEW BEST:: SOT 1040640 SOS 965854 HAS SOPS 965854 HAS SOUS 666448 HAS SOUPS 666448 WITH SCORE 667413.854
AT ITER 685 NEW BEST:: SOT 1039618 SOS 964978 HAS SOPS 964978 HAS SOUS 664742 HAS SOUPS 664742 WITH SCORE 665706.978
AT ITER 687 NEW BEST:: SOT 1039618 SOS 964978 HAS SOPS 964978 HAS SOUS 664320 HAS SOUPS 664320 WITH SCORE 665284.978
AT ITER 689 NEW BEST:: SOT 1039618 SOS 964978 HAS SOPS 964978 HAS SOUS 663780 HAS SOUPS 663780 WITH SCORE 664744.978
AT ITER 704 NEW BEST:: SOT 1039618 SOS 964978 HAS SOPS 964978 HAS SOUS 663562 HAS SOUPS 663562 WITH SCORE 664526.978
AT ITER 712 NEW BEST:: SOT 1039618 SOS 964978 HAS SOPS 964978 HAS SOUS 663364 HAS SOUPS 663364 WITH SCORE 664328.978
AT ITER 714 NEW BEST:: SOT 1039618 SOS 964978 HAS SOPS 964978 HAS SOUS 663276 HAS SOUPS 663276 WITH SCORE 664240.978
AT ITER 719 NEW BEST:: SOT 1039618 SOS 964978 HAS SOPS 964978 HAS SOUS 663186 HAS SOUPS 663186 WITH SCORE 664150.978
AT ITER 720 NEW BEST:: SOT 1039618 SOS 964978 HAS SOPS 964978 HAS SOUS 662802 HAS SOUPS 662802 WITH SCORE 663766.978
AT ITER 721 NEW BEST:: SOT 1039618 SOS 964978 HAS SOPS 964978 HAS SOUS 662424 HAS SOUPS 662424 WITH SCORE 663388.978
AT ITER 726 NEW BEST:: SOT 1039618 SOS 964978 HAS SOPS 964978 HAS SOUS 661632 HAS SOUPS 661632 WITH SCORE 662596.978
AT ITER 730 NEW BEST:: SOT 1039618 SOS 964978 HAS SOPS 964978 HAS SOUS 660826 HAS SOUPS 660826 WITH SCORE 661790.978
AT ITER 731 NEW BEST:: SOT 1039618 SOS 964978 HAS SOPS 964978 HAS SOUS 660408 HAS SOUPS 660408 WITH SCORE 661372.978
AT ITER 732 NEW BEST:: SOT 1039618 SOS 964978 HAS SOPS 964978 HAS SOUS 660340 HAS SOUPS 660340 WITH SCORE 661304.978
AT ITER 733 NEW BEST:: SOT 1039618 SOS 964978 HAS SOPS 964978 HAS SOUS 660186 HAS SOUPS 660186 WITH SCORE 661150.978
AT ITER 737 NEW BEST:: SOT 1039618 SOS 964978 HAS SOPS 964978 HAS SOUS 660058 HAS SOUPS 660058 WITH SCORE 661022.978
AT ITER 739 NEW BEST:: SOT 1039618 SOS 964978 HAS SOPS 964978 HAS SOUS 659932 HAS SOUPS 659932 WITH SCORE 660896.978
AT ITER 744 NEW BEST:: SOT 1039618 SOS 964978 HAS SOPS 964978 HAS SOUS 659656 HAS SOUPS 659656 WITH SCORE 660620.978
AT ITER 746 NEW BEST:: SOT 1039618 SOS 964978 HAS SOPS 964978 HAS SOUS 659096 HAS SOUPS 659096 WITH SCORE 660060.978
AT ITER 751 NEW BEST:: SOT 1039618 SOS 964978 HAS SOPS 964978 HAS SOUS 659026 HAS SOUPS 659026 WITH SCORE 659990.978
AT ITER 753 NEW BEST:: SOT 1039618 SOS 964956 HAS SOPS 964956 HAS SOUS 657348 HAS SOUPS 657348 WITH SCORE 658312.956
AT ITER 758 NEW BEST:: SOT 1039618 SOS 964956 HAS SOPS 964956 HAS SOUS 657302 HAS SOUPS 657302 WITH SCORE 658266.956
AT ITER 762 NEW BEST:: SOT 1039618 SOS 964956 HAS SOPS 964956 HAS SOUS 656922 HAS SOUPS 656922 WITH SCORE 657886.956
AT ITER 764 NEW BEST:: SOT 1039618 SOS 964914 HAS SOPS 964914 HAS SOUS 656764 HAS SOUPS 656764 WITH SCORE 657728.914
AT ITER 767 NEW BEST:: SOT 1039618 SOS 964914 HAS SOPS 964914 HAS SOUS 656190 HAS SOUPS 656190 WITH SCORE 657154.914
AT ITER 771 NEW BEST:: SOT 1039618 SOS 964914 HAS SOPS 964914 HAS SOUS 656006 HAS SOUPS 656006 WITH SCORE 656970.914
AT ITER 777 NEW BEST:: SOT 1039618 SOS 964914 HAS SOPS 964914 HAS SOUS 655982 HAS SOUPS 655982 WITH SCORE 656946.914
AT ITER 782 NEW BEST:: SOT 1039618 SOS 964914 HAS SOPS 964914 HAS SOUS 655142 HAS SOUPS 655142 WITH SCORE 656106.914
AT ITER 791 NEW BEST:: SOT 1039618 SOS 964914 HAS SOPS 964914 HAS SOUS 654934 HAS SOUPS 654934 WITH SCORE 655898.914
AT ITER 797 NEW BEST:: SOT 1039618 SOS 964914 HAS SOPS 964914 HAS SOUS 654380 HAS SOUPS 654380 WITH SCORE 655344.914
AT ITER 798 NEW BEST:: SOT 1039618 SOS 964914 HAS SOPS 964914 HAS SOUS 653644 HAS SOUPS 653644 WITH SCORE 654608.914
AT ITER 799 NEW BEST:: SOT 1039618 SOS 964914 HAS SOPS 964914 HAS SOUS 653504 HAS SOUPS 653504 WITH SCORE 654468.914
AT ITER 801 NEW BEST:: SOT 1039618 SOS 964914 HAS SOPS 964914 HAS SOUS 652750 HAS SOUPS 652750 WITH SCORE 653714.914
AT ITER 802 NEW BEST:: SOT 1039618 SOS 964914 HAS SOPS 964914 HAS SOUS 652270 HAS SOUPS 652270 WITH SCORE 653234.914
AT ITER 804 NEW BEST:: SOT 1039618 SOS 964914 HAS SOPS 964914 HAS SOUS 652170 HAS SOUPS 652170 WITH SCORE 653134.914
AT ITER 805 NEW BEST:: SOT 1039618 SOS 964914 HAS SOPS 964914 HAS SOUS 651564 HAS SOUPS 651564 WITH SCORE 652528.914
AT ITER 808 NEW BEST:: SOT 1039618 SOS 964914 HAS SOPS 964914 HAS SOUS 651272 HAS SOUPS 651272 WITH SCORE 652236.914
AT ITER 818 NEW BEST:: SOT 1039104 SOS 964848 HAS SOPS 964848 HAS SOUS 651206 HAS SOUPS 651206 WITH SCORE 652170.848
AT ITER 821 NEW BEST:: SOT 1039104 SOS 964848 HAS SOPS 964848 HAS SOUS 650196 HAS SOUPS 650196 WITH SCORE 651160.848
AT ITER 826 NEW BEST:: SOT 1039104 SOS 964848 HAS SOPS 964848 HAS SOUS 650134 HAS SOUPS 650134 WITH SCORE 651098.848
AT ITER 828 NEW BEST:: SOT 1039104 SOS 964848 HAS SOPS 964848 HAS SOUS 649878 HAS SOUPS 649878 WITH SCORE 650842.848
AT ITER 830 NEW BEST:: SOT 1039104 SOS 964848 HAS SOPS 964848 HAS SOUS 649780 HAS SOUPS 649780 WITH SCORE 650744.848
AT ITER 834 NEW BEST:: SOT 1039104 SOS 964848 HAS SOPS 964848 HAS SOUS 649752 HAS SOUPS 649752 WITH SCORE 650716.848
AT ITER 841 NEW BEST:: SOT 1039104 SOS 964848 HAS SOPS 964848 HAS SOUS 649148 HAS SOUPS 649148 WITH SCORE 650112.848
AT ITER 845 NEW BEST:: SOT 1039104 SOS 964848 HAS SOPS 964848 HAS SOUS 649104 HAS SOUPS 649104 WITH SCORE 650068.848
AT ITER 849 NEW BEST:: SOT 1039104 SOS 964732 HAS SOPS 964732 HAS SOUS 649104 HAS SOUPS 649104 WITH SCORE 650068.732
AT ITER 853 NEW BEST:: SOT 1039104 SOS 964732 HAS SOPS 964732 HAS SOUS 648874 HAS SOUPS 648874 WITH SCORE 649838.732
AT ITER 860 NEW BEST:: SOT 1039104 SOS 964732 HAS SOPS 964732 HAS SOUS 648400 HAS SOUPS 648400 WITH SCORE 649364.732
AT ITER 861 NEW BEST:: SOT 1039104 SOS 964586 HAS SOPS 964586 HAS SOUS 648254 HAS SOUPS 648254 WITH SCORE 649218.586
AT ITER 863 NEW BEST:: SOT 1039104 SOS 964586 HAS SOPS 964586 HAS SOUS 648044 HAS SOUPS 648044 WITH SCORE 649008.586
AT ITER 866 NEW BEST:: SOT 1039104 SOS 964586 HAS SOPS 964586 HAS SOUS 647722 HAS SOUPS 647722 WITH SCORE 648686.586
AT ITER 874 NEW BEST:: SOT 1039104 SOS 964586 HAS SOPS 964586 HAS SOUS 647688 HAS SOUPS 647688 WITH SCORE 648652.586
AT ITER 876 NEW BEST:: SOT 1039104 SOS 964586 HAS SOPS 964586 HAS SOUS 647544 HAS SOUPS 647544 WITH SCORE 648508.586
AT ITER 885 NEW BEST:: SOT 1039104 SOS 964586 HAS SOPS 964586 HAS SOUS 646710 HAS SOUPS 646710 WITH SCORE 647674.586
AT ITER 887 NEW BEST:: SOT 1039104 SOS 964586 HAS SOPS 964586 HAS SOUS 646666 HAS SOUPS 646666 WITH SCORE 647630.586
AT ITER 888 NEW BEST:: SOT 1034138 SOS 960392 HAS SOPS 960392 HAS SOUS 642434 HAS SOUPS 642434 WITH SCORE 643394.392
AT ITER 910 NEW BEST:: SOT 1034138 SOS 960392 HAS SOPS 960392 HAS SOUS 641970 HAS SOUPS 641970 WITH SCORE 642930.392
AT ITER 911 NEW BEST:: SOT 1034138 SOS 960392 HAS SOPS 960392 HAS SOUS 641716 HAS SOUPS 641716 WITH SCORE 642676.392
AT ITER 912 NEW BEST:: SOT 1034138 SOS 960392 HAS SOPS 960392 HAS SOUS 641356 HAS SOUPS 641356 WITH SCORE 642316.392
AT ITER 921 NEW BEST:: SOT 1034138 SOS 960392 HAS SOPS 960392 HAS SOUS 641148 HAS SOUPS 641148 WITH SCORE 642108.392
AT ITER 923 NEW BEST:: SOT 1034138 SOS 960392 HAS SOPS 960392 HAS SOUS 640816 HAS SOUPS 640816 WITH SCORE 641776.392
AT ITER 924 NEW BEST:: SOT 1034138 SOS 960392 HAS SOPS 960392 HAS SOUS 640702 HAS SOUPS 640702 WITH SCORE 641662.392
AT ITER 932 NEW BEST:: SOT 1034138 SOS 960780 HAS SOPS 960780 HAS SOUS 640682 HAS SOUPS 640682 WITH SCORE 641642.78
AT ITER 933 NEW BEST:: SOT 1034138 SOS 960780 HAS SOPS 960780 HAS SOUS 640616 HAS SOUPS 640616 WITH SCORE 641576.78
AT ITER 936 NEW BEST:: SOT 1034138 SOS 960780 HAS SOPS 960780 HAS SOUS 640366 HAS SOUPS 640366 WITH SCORE 641326.78
AT ITER 939 NEW BEST:: SOT 1034138 SOS 960780 HAS SOPS 960780 HAS SOUS 640312 HAS SOUPS 640312 WITH SCORE 641272.78
AT ITER 942 NEW BEST:: SOT 1034138 SOS 960780 HAS SOPS 960780 HAS SOUS 640308 HAS SOUPS 640308 WITH SCORE 641268.78
AT ITER 945 NEW BEST:: SOT 1034138 SOS 960780 HAS SOPS 960780 HAS SOUS 639736 HAS SOUPS 639736 WITH SCORE 640696.78
AT ITER 948 NEW BEST:: SOT 1034138 SOS 960780 HAS SOPS 960780 HAS SOUS 639694 HAS SOUPS 639694 WITH SCORE 640654.78
AT ITER 952 NEW BEST:: SOT 1034138 SOS 960780 HAS SOPS 960780 HAS SOUS 639604 HAS SOUPS 639604 WITH SCORE 640564.78
AT ITER 955 NEW BEST:: SOT 1034138 SOS 960712 HAS SOPS 960712 HAS SOUS 639106 HAS SOUPS 639106 WITH SCORE 640066.712
AT ITER 960 NEW BEST:: SOT 1033666 SOS 960240 HAS SOPS 960240 HAS SOUS 638634 HAS SOUPS 638634 WITH SCORE 639594.24
AT ITER 961 NEW BEST:: SOT 1033666 SOS 960240 HAS SOPS 960240 HAS SOUS 638584 HAS SOUPS 638584 WITH SCORE 639544.24
AT ITER 962 NEW BEST:: SOT 1033666 SOS 960240 HAS SOPS 960240 HAS SOUS 638520 HAS SOUPS 638520 WITH SCORE 639480.24
AT ITER 963 NEW BEST:: SOT 1033666 SOS 960166 HAS SOPS 960166 HAS SOUS 638192 HAS SOUPS 638192 WITH SCORE 639152.166
AT ITER 966 NEW BEST:: SOT 1033666 SOS 960166 HAS SOPS 960166 HAS SOUS 637768 HAS SOUPS 637768 WITH SCORE 638728.166
AT ITER 967 NEW BEST:: SOT 1033666 SOS 960166 HAS SOPS 960166 HAS SOUS 637664 HAS SOUPS 637664 WITH SCORE 638624.166
AT ITER 969 NEW BEST:: SOT 1033666 SOS 960092 HAS SOPS 960092 HAS SOUS 637590 HAS SOUPS 637590 WITH SCORE 638550.092
AT ITER 970 NEW BEST:: SOT 1033666 SOS 960092 HAS SOPS 960092 HAS SOUS 637040 HAS SOUPS 637040 WITH SCORE 638000.092
AT ITER 971 NEW BEST:: SOT 1033666 SOS 960092 HAS SOPS 960092 HAS SOUS 636982 HAS SOUPS 636982 WITH SCORE 637942.092
AT ITER 980 NEW BEST:: SOT 1033666 SOS 960092 HAS SOPS 960092 HAS SOUS 636950 HAS SOUPS 636950 WITH SCORE 637910.092
AT ITER 981 NEW BEST:: SOT 1033666 SOS 960092 HAS SOPS 960092 HAS SOUS 636642 HAS SOUPS 636642 WITH SCORE 637602.092
AT ITER 983 NEW BEST:: SOT 1033666 SOS 960092 HAS SOPS 960092 HAS SOUS 636620 HAS SOUPS 636620 WITH SCORE 637580.092
AT ITER 988 NEW BEST:: SOT 1033666 SOS 960092 HAS SOPS 960092 HAS SOUS 636532 HAS SOUPS 636532 WITH SCORE 637492.092
AT ITER 989 NEW BEST:: SOT 1033666 SOS 960092 HAS SOPS 960092 HAS SOUS 636336 HAS SOUPS 636336 WITH SCORE 637296.092
AT ITER 991 NEW BEST:: SOT 1033666 SOS 960092 HAS SOPS 960092 HAS SOUS 635552 HAS SOUPS 635552 WITH SCORE 636512.092
AT ITER 993 NEW BEST:: SOT 1033666 SOS 958884 HAS SOPS 958884 HAS SOUS 635086 HAS SOUPS 635086 WITH SCORE 636044.884
AT ITER 994 NEW BEST:: SOT 1033666 SOS 958552 HAS SOPS 958552 HAS SOUS 634978 HAS SOUPS 634978 WITH SCORE 635936.552
AT ITER 995 NEW BEST:: SOT 1033666 SOS 958552 HAS SOPS 958552 HAS SOUS 634498 HAS SOUPS 634498 WITH SCORE 635456.552
AT ITER 1001 NEW BEST:: SOT 1033666 SOS 958552 HAS SOPS 958552 HAS SOUS 634284 HAS SOUPS 634284 WITH SCORE 635242.552
AT ITER 1006 NEW BEST:: SOT 1033666 SOS 958552 HAS SOPS 958552 HAS SOUS 634052 HAS SOUPS 634052 WITH SCORE 635010.552
AT ITER 1011 NEW BEST:: SOT 1033666 SOS 958552 HAS SOPS 958552 HAS SOUS 633702 HAS SOUPS 633702 WITH SCORE 634660.552
AT ITER 1012 NEW BEST:: SOT 1033666 SOS 958552 HAS SOPS 958552 HAS SOUS 633246 HAS SOUPS 633246 WITH SCORE 634204.552
AT ITER 1023 NEW BEST:: SOT 1033666 SOS 958552 HAS SOPS 958552 HAS SOUS 633002 HAS SOUPS 633002 WITH SCORE 633960.552
AT ITER 1027 NEW BEST:: SOT 1033666 SOS 958552 HAS SOPS 958552 HAS SOUS 632530 HAS SOUPS 632530 WITH SCORE 633488.552
AT ITER 1031 NEW BEST:: SOT 1033666 SOS 958552 HAS SOPS 958552 HAS SOUS 631704 HAS SOUPS 631704 WITH SCORE 632662.552
AT ITER 1038 NEW BEST:: SOT 1033666 SOS 958552 HAS SOPS 958552 HAS SOUS 631538 HAS SOUPS 631538 WITH SCORE 632496.552
AT ITER 1040 NEW BEST:: SOT 1033666 SOS 958552 HAS SOPS 958552 HAS SOUS 631530 HAS SOUPS 631530 WITH SCORE 632488.552
AT ITER 1041 NEW BEST:: SOT 1033666 SOS 958552 HAS SOPS 958552 HAS SOUS 631522 HAS SOUPS 631522 WITH SCORE 632480.552
AT ITER 1044 NEW BEST:: SOT 1033666 SOS 958458 HAS SOPS 958458 HAS SOUS 631428 HAS SOUPS 631428 WITH SCORE 632386.458
AT ITER 1055 NEW BEST:: SOT 1033666 SOS 958458 HAS SOPS 958458 HAS SOUS 631268 HAS SOUPS 631268 WITH SCORE 632226.458
AT ITER 1056 NEW BEST:: SOT 1033666 SOS 958458 HAS SOPS 958458 HAS SOUS 631198 HAS SOUPS 631198 WITH SCORE 632156.458
AT ITER 1057 NEW BEST:: SOT 1033666 SOS 958458 HAS SOPS 958458 HAS SOUS 630948 HAS SOUPS 630948 WITH SCORE 631906.458
AT ITER 1059 NEW BEST:: SOT 1033666 SOS 958458 HAS SOPS 958458 HAS SOUS 630648 HAS SOUPS 630648 WITH SCORE 631606.458
AT ITER 1062 NEW BEST:: SOT 1033666 SOS 958458 HAS SOPS 958458 HAS SOUS 630340 HAS SOUPS 630340 WITH SCORE 631298.458
AT ITER 1072 NEW BEST:: SOT 1033666 SOS 958458 HAS SOPS 958458 HAS SOUS 629976 HAS SOUPS 629976 WITH SCORE 630934.458
AT ITER 1075 NEW BEST:: SOT 1033666 SOS 958458 HAS SOPS 958458 HAS SOUS 629816 HAS SOUPS 629816 WITH SCORE 630774.458
AT ITER 1076 NEW BEST:: SOT 1033666 SOS 958458 HAS SOPS 958458 HAS SOUS 629726 HAS SOUPS 629726 WITH SCORE 630684.458
AT ITER 1083 NEW BEST:: SOT 1033666 SOS 958458 HAS SOPS 958458 HAS SOUS 629718 HAS SOUPS 629718 WITH SCORE 630676.458
AT ITER 1084 NEW BEST:: SOT 1033666 SOS 958458 HAS SOPS 958458 HAS SOUS 629470 HAS SOUPS 629470 WITH SCORE 630428.458
AT ITER 1085 NEW BEST:: SOT 1033666 SOS 958458 HAS SOPS 958458 HAS SOUS 629410 HAS SOUPS 629410 WITH SCORE 630368.458
AT ITER 1091 NEW BEST:: SOT 1033666 SOS 958458 HAS SOPS 958458 HAS SOUS 629312 HAS SOUPS 629312 WITH SCORE 630270.458
AT ITER 1093 NEW BEST:: SOT 1033666 SOS 958458 HAS SOPS 958458 HAS SOUS 628476 HAS SOUPS 628476 WITH SCORE 629434.458
AT ITER 1108 NEW BEST:: SOT 1033666 SOS 958526 HAS SOPS 958526 HAS SOUS 628012 HAS SOUPS 628012 WITH SCORE 628970.526
AT ITER 1109 NEW BEST:: SOT 1033666 SOS 958526 HAS SOPS 958526 HAS SOUS 627972 HAS SOUPS 627972 WITH SCORE 628930.526
AT ITER 1119 NEW BEST:: SOT 1033666 SOS 958526 HAS SOPS 958526 HAS SOUS 627880 HAS SOUPS 627880 WITH SCORE 628838.526
AT ITER 1127 NEW BEST:: SOT 1033666 SOS 958526 HAS SOPS 958526 HAS SOUS 627296 HAS SOUPS 627296 WITH SCORE 628254.526
AT ITER 1129 NEW BEST:: SOT 1033666 SOS 958526 HAS SOPS 958526 HAS SOUS 627228 HAS SOUPS 627228 WITH SCORE 628186.526
AT ITER 1133 NEW BEST:: SOT 1033666 SOS 958526 HAS SOPS 958526 HAS SOUS 626604 HAS SOUPS 626604 WITH SCORE 627562.526
AT ITER 1143 NEW BEST:: SOT 1033666 SOS 958636 HAS SOPS 958636 HAS SOUS 626336 HAS SOUPS 626336 WITH SCORE 627294.636
AT ITER 1148 NEW BEST:: SOT 1033666 SOS 958636 HAS SOPS 958636 HAS SOUS 625224 HAS SOUPS 625224 WITH SCORE 626182.636
AT ITER 1152 NEW BEST:: SOT 1033666 SOS 958636 HAS SOPS 958636 HAS SOUS 625086 HAS SOUPS 625086 WITH SCORE 626044.636
AT ITER 1175 NEW BEST:: SOT 1033666 SOS 958636 HAS SOPS 958636 HAS SOUS 625066 HAS SOUPS 625066 WITH SCORE 626024.636
AT ITER 1178 NEW BEST:: SOT 1033666 SOS 958636 HAS SOPS 958636 HAS SOUS 624598 HAS SOUPS 624598 WITH SCORE 625556.636
AT ITER 1180 NEW BEST:: SOT 1033666 SOS 958636 HAS SOPS 958636 HAS SOUS 624142 HAS SOUPS 624142 WITH SCORE 625100.636
AT ITER 1181 NEW BEST:: SOT 1033666 SOS 958636 HAS SOPS 958636 HAS SOUS 624042 HAS SOUPS 624042 WITH SCORE 625000.636
AT ITER 1182 NEW BEST:: SOT 1033666 SOS 958636 HAS SOPS 958636 HAS SOUS 623900 HAS SOUPS 623900 WITH SCORE 624858.636
AT ITER 1195 NEW BEST:: SOT 1033666 SOS 958636 HAS SOPS 958636 HAS SOUS 623880 HAS SOUPS 623880 WITH SCORE 624838.636
AT ITER 1196 NEW BEST:: SOT 1033666 SOS 958636 HAS SOPS 958636 HAS SOUS 623764 HAS SOUPS 623764 WITH SCORE 624722.636
AT ITER 1199 NEW BEST:: SOT 1033666 SOS 958636 HAS SOPS 958636 HAS SOUS 623272 HAS SOUPS 623272 WITH SCORE 624230.636
AT ITER 1201 NEW BEST:: SOT 1033666 SOS 958636 HAS SOPS 958636 HAS SOUS 623032 HAS SOUPS 623032 WITH SCORE 623990.636
AT ITER 1206 NEW BEST:: SOT 1033666 SOS 958636 HAS SOPS 958636 HAS SOUS 622970 HAS SOUPS 622970 WITH SCORE 623928.636
AT ITER 1207 NEW BEST:: SOT 1033666 SOS 958636 HAS SOPS 958636 HAS SOUS 622662 HAS SOUPS 622662 WITH SCORE 623620.636
AT ITER 1212 NEW BEST:: SOT 1033666 SOS 958636 HAS SOPS 958636 HAS SOUS 622628 HAS SOUPS 622628 WITH SCORE 623586.636
AT ITER 1213 NEW BEST:: SOT 1033666 SOS 958618 HAS SOPS 958618 HAS SOUS 622452 HAS SOUPS 622452 WITH SCORE 623410.618
AT ITER 1225 NEW BEST:: SOT 1033666 SOS 958618 HAS SOPS 958618 HAS SOUS 621988 HAS SOUPS 621988 WITH SCORE 622946.618
AT ITER 1226 NEW BEST:: SOT 1033666 SOS 958618 HAS SOPS 958618 HAS SOUS 621914 HAS SOUPS 621914 WITH SCORE 622872.618
AT ITER 1245 NEW BEST:: SOT 1033666 SOS 958618 HAS SOPS 958618 HAS SOUS 621912 HAS SOUPS 621912 WITH SCORE 622870.618
AT ITER 1261 NEW BEST:: SOT 1033666 SOS 958618 HAS SOPS 958618 HAS SOUS 621910 HAS SOUPS 621910 WITH SCORE 622868.618
AT ITER 1276 NEW BEST:: SOT 1033666 SOS 958618 HAS SOPS 958618 HAS SOUS 621754 HAS SOUPS 621754 WITH SCORE 622712.618
AT ITER 1281 NEW BEST:: SOT 1033666 SOS 958586 HAS SOPS 958586 HAS SOUS 621642 HAS SOUPS 621642 WITH SCORE 622600.586
AT ITER 1284 NEW BEST:: SOT 1033666 SOS 958586 HAS SOPS 958586 HAS SOUS 621196 HAS SOUPS 621196 WITH SCORE 622154.586
AT ITER 1291 NEW BEST:: SOT 1033666 SOS 958586 HAS SOPS 958586 HAS SOUS 621194 HAS SOUPS 621194 WITH SCORE 622152.586
AT ITER 1293 NEW BEST:: SOT 1033666 SOS 958586 HAS SOPS 958586 HAS SOUS 621176 HAS SOUPS 621176 WITH SCORE 622134.586
AT ITER 1294 NEW BEST:: SOT 1033666 SOS 958586 HAS SOPS 958586 HAS SOUS 621124 HAS SOUPS 621124 WITH SCORE 622082.586
AT ITER 1297 NEW BEST:: SOT 1033666 SOS 958586 HAS SOPS 958586 HAS SOUS 621106 HAS SOUPS 621106 WITH SCORE 622064.586
AT ITER 1304 NEW BEST:: SOT 1033666 SOS 958586 HAS SOPS 958586 HAS SOUS 620692 HAS SOUPS 620692 WITH SCORE 621650.586
AT ITER 1305 NEW BEST:: SOT 783242 SOS 709260 HAS SOPS 709260 HAS SOUS 371166 HAS SOUPS 371166 WITH SCORE 371875.26
AT ITER 1309 NEW BEST:: SOT 783242 SOS 709260 HAS SOPS 709260 HAS SOUS 371022 HAS SOUPS 371022 WITH SCORE 371731.26
AT ITER 1312 NEW BEST:: SOT 783146 SOS 709164 HAS SOPS 709164 HAS SOUS 370830 HAS SOUPS 370830 WITH SCORE 371539.164
AT ITER 1316 NEW BEST:: SOT 782760 SOS 708778 HAS SOPS 708778 HAS SOUS 369680 HAS SOUPS 369680 WITH SCORE 370388.778
AT ITER 1319 NEW BEST:: SOT 782320 SOS 708338 HAS SOPS 708338 HAS SOUS 368800 HAS SOUPS 368800 WITH SCORE 369508.338
AT ITER 1320 NEW BEST:: SOT 782102 SOS 708120 HAS SOPS 708120 HAS SOUS 367952 HAS SOUPS 367952 WITH SCORE 368660.12
AT ITER 1321 NEW BEST:: SOT 782102 SOS 708120 HAS SOPS 708120 HAS SOUS 367784 HAS SOUPS 367784 WITH SCORE 368492.12
AT ITER 1326 NEW BEST:: SOT 782102 SOS 708120 HAS SOPS 708120 HAS SOUS 367716 HAS SOUPS 367716 WITH SCORE 368424.12
AT ITER 1331 NEW BEST:: SOT 782072 SOS 708090 HAS SOPS 708090 HAS SOUS 367656 HAS SOUPS 367656 WITH SCORE 368364.09
AT ITER 1335 NEW BEST:: SOT 782072 SOS 708090 HAS SOPS 708090 HAS SOUS 367492 HAS SOUPS 367492 WITH SCORE 368200.09
AT ITER 1336 NEW BEST:: SOT 782072 SOS 708090 HAS SOPS 708090 HAS SOUS 367420 HAS SOUPS 367420 WITH SCORE 368128.09
AT ITER 1338 NEW BEST:: SOT 782072 SOS 708090 HAS SOPS 708090 HAS SOUS 367362 HAS SOUPS 367362 WITH SCORE 368070.09
AT ITER 1340 NEW BEST:: SOT 782072 SOS 708090 HAS SOPS 708090 HAS SOUS 367270 HAS SOUPS 367270 WITH SCORE 367978.09
AT ITER 1343 NEW BEST:: SOT 782072 SOS 708090 HAS SOPS 708090 HAS SOUS 367268 HAS SOUPS 367268 WITH SCORE 367976.09
AT ITER 1345 NEW BEST:: SOT 782072 SOS 708090 HAS SOPS 708090 HAS SOUS 366954 HAS SOUPS 366954 WITH SCORE 367662.09
AT ITER 1352 NEW BEST:: SOT 782032 SOS 708050 HAS SOPS 708050 HAS SOUS 366874 HAS SOUPS 366874 WITH SCORE 367582.05
AT ITER 1358 NEW BEST:: SOT 781950 SOS 708136 HAS SOPS 708136 HAS SOUS 366434 HAS SOUPS 366434 WITH SCORE 367142.136
AT ITER 1362 NEW BEST:: SOT 781942 SOS 708128 HAS SOPS 708128 HAS SOUS 366114 HAS SOUPS 366114 WITH SCORE 366822.128
AT ITER 1373 NEW BEST:: SOT 781528 SOS 707714 HAS SOPS 707714 HAS SOUS 365120 HAS SOUPS 365120 WITH SCORE 365827.714
AT ITER 1376 NEW BEST:: SOT 781528 SOS 707714 HAS SOPS 707714 HAS SOUS 364810 HAS SOUPS 364810 WITH SCORE 365517.714
AT ITER 1392 NEW BEST:: SOT 781528 SOS 707714 HAS SOPS 707714 HAS SOUS 364544 HAS SOUPS 364544 WITH SCORE 365251.714
AT ITER 1395 NEW BEST:: SOT 781514 SOS 707700 HAS SOPS 707700 HAS SOUS 363764 HAS SOUPS 363764 WITH SCORE 364471.7
AT ITER 1396 NEW BEST:: SOT 781380 SOS 707566 HAS SOPS 707566 HAS SOUS 363496 HAS SOUPS 363496 WITH SCORE 364203.566
AT ITER 1399 NEW BEST:: SOT 781380 SOS 707566 HAS SOPS 707566 HAS SOUS 363486 HAS SOUPS 363486 WITH SCORE 364193.566
AT ITER 1401 NEW BEST:: SOT 781286 SOS 707472 HAS SOPS 707472 HAS SOUS 363298 HAS SOUPS 363298 WITH SCORE 364005.472
AT ITER 1402 NEW BEST:: SOT 781230 SOS 707416 HAS SOPS 707416 HAS SOUS 363102 HAS SOUPS 363102 WITH SCORE 363809.416
AT ITER 1404 NEW BEST:: SOT 781166 SOS 707352 HAS SOPS 707352 HAS SOUS 362726 HAS SOUPS 362726 WITH SCORE 363433.352
AT ITER 1406 NEW BEST:: SOT 781166 SOS 707352 HAS SOPS 707352 HAS SOUS 362500 HAS SOUPS 362500 WITH SCORE 363207.352
AT ITER 1419 NEW BEST:: SOT 781166 SOS 707352 HAS SOPS 707352 HAS SOUS 362384 HAS SOUPS 362384 WITH SCORE 363091.352
AT ITER 1420 NEW BEST:: SOT 781166 SOS 707316 HAS SOPS 707316 HAS SOUS 362150 HAS SOUPS 362150 WITH SCORE 362857.316
AT ITER 1423 NEW BEST:: SOT 781008 SOS 707158 HAS SOPS 707158 HAS SOUS 361834 HAS SOUPS 361834 WITH SCORE 362541.158
AT ITER 1431 NEW BEST:: SOT 781008 SOS 707158 HAS SOPS 707158 HAS SOUS 361714 HAS SOUPS 361714 WITH SCORE 362421.158
AT ITER 1434 NEW BEST:: SOT 781008 SOS 707158 HAS SOPS 707158 HAS SOUS 361584 HAS SOUPS 361584 WITH SCORE 362291.158
AT ITER 1436 NEW BEST:: SOT 781008 SOS 707158 HAS SOPS 707158 HAS SOUS 360938 HAS SOUPS 360938 WITH SCORE 361645.158
AT ITER 1443 NEW BEST:: SOT 781008 SOS 707158 HAS SOPS 707158 HAS SOUS 360884 HAS SOUPS 360884 WITH SCORE 361591.158
AT ITER 1447 NEW BEST:: SOT 718912 SOS 645062 HAS SOPS 645062 HAS SOUS 298788 HAS SOUPS 298788 WITH SCORE 299433.062
AT ITER 1448 NEW BEST:: SOT 718526 SOS 644676 HAS SOPS 644676 HAS SOUS 297788 HAS SOUPS 297788 WITH SCORE 298432.676
AT ITER 1455 NEW BEST:: SOT 718518 SOS 644668 HAS SOPS 644668 HAS SOUS 297772 HAS SOUPS 297772 WITH SCORE 298416.668
AT ITER 1457 NEW BEST:: SOT 718306 SOS 644456 HAS SOPS 644456 HAS SOUS 297348 HAS SOUPS 297348 WITH SCORE 297992.456
AT ITER 1460 NEW BEST:: SOT 718306 SOS 644456 HAS SOPS 644456 HAS SOUS 297068 HAS SOUPS 297068 WITH SCORE 297712.456
AT ITER 1464 NEW BEST:: SOT 718306 SOS 644456 HAS SOPS 644456 HAS SOUS 296872 HAS SOUPS 296872 WITH SCORE 297516.456
AT ITER 1466 NEW BEST:: SOT 718306 SOS 644456 HAS SOPS 644456 HAS SOUS 296848 HAS SOUPS 296848 WITH SCORE 297492.456
AT ITER 1469 NEW BEST:: SOT 718066 SOS 644216 HAS SOPS 644216 HAS SOUS 296368 HAS SOUPS 296368 WITH SCORE 297012.216
AT ITER 1470 NEW BEST:: SOT 718066 SOS 644216 HAS SOPS 644216 HAS SOUS 296344 HAS SOUPS 296344 WITH SCORE 296988.216
AT ITER 1473 NEW BEST:: SOT 718066 SOS 644216 HAS SOPS 644216 HAS SOUS 296310 HAS SOUPS 296310 WITH SCORE 296954.216
AT ITER 1482 NEW BEST:: SOT 718062 SOS 644212 HAS SOPS 644212 HAS SOUS 295908 HAS SOUPS 295908 WITH SCORE 296552.212
AT ITER 1484 NEW BEST:: SOT 717778 SOS 643928 HAS SOPS 643928 HAS SOUS 295244 HAS SOUPS 295244 WITH SCORE 295887.928
AT ITER 1495 NEW BEST:: SOT 717778 SOS 643928 HAS SOPS 643928 HAS SOUS 294870 HAS SOUPS 294870 WITH SCORE 295513.928
AT ITER 1512 NEW BEST:: SOT 717686 SOS 643836 HAS SOPS 643836 HAS SOUS 294686 HAS SOUPS 294686 WITH SCORE 295329.836
AT ITER 1518 NEW BEST:: SOT 717686 SOS 643836 HAS SOPS 643836 HAS SOUS 294644 HAS SOUPS 294644 WITH SCORE 295287.836
AT ITER 1535 NEW BEST:: SOT 717464 SOS 643614 HAS SOPS 643614 HAS SOUS 294422 HAS SOUPS 294422 WITH SCORE 295065.614
AT ITER 1552 NEW BEST:: SOT 717464 SOS 643614 HAS SOPS 643614 HAS SOUS 294342 HAS SOUPS 294342 WITH SCORE 294985.614
AT ITER 1553 NEW BEST:: SOT 717288 SOS 643438 HAS SOPS 643438 HAS SOUS 293722 HAS SOUPS 293722 WITH SCORE 294365.438
AT ITER 1555 NEW BEST:: SOT 717288 SOS 643438 HAS SOPS 643438 HAS SOUS 293610 HAS SOUPS 293610 WITH SCORE 294253.438
AT ITER 1563 NEW BEST:: SOT 717180 SOS 643330 HAS SOPS 643330 HAS SOUS 293354 HAS SOUPS 293354 WITH SCORE 293997.33
AT ITER 1564 NEW BEST:: SOT 717180 SOS 643330 HAS SOPS 643330 HAS SOUS 293242 HAS SOUPS 293242 WITH SCORE 293885.33
AT ITER 1576 NEW BEST:: SOT 717132 SOS 643282 HAS SOPS 643282 HAS SOUS 293146 HAS SOUPS 293146 WITH SCORE 293789.282
AT ITER 1584 NEW BEST:: SOT 717070 SOS 643220 HAS SOPS 643220 HAS SOUS 293022 HAS SOUPS 293022 WITH SCORE 293665.22
AT ITER 1596 NEW BEST:: SOT 717070 SOS 643220 HAS SOPS 643220 HAS SOUS 292918 HAS SOUPS 292918 WITH SCORE 293561.22
AT ITER 1601 NEW BEST:: SOT 717020 SOS 643170 HAS SOPS 643170 HAS SOUS 292742 HAS SOUPS 292742 WITH SCORE 293385.17
AT ITER 1605 NEW BEST:: SOT 717020 SOS 643160 HAS SOPS 643160 HAS SOUS 292732 HAS SOUPS 292732 WITH SCORE 293375.16
AT ITER 1607 NEW BEST:: SOT 716700 SOS 642840 HAS SOPS 642840 HAS SOUS 292092 HAS SOUPS 292092 WITH SCORE 292734.84
AT ITER 1613 NEW BEST:: SOT 716700 SOS 642840 HAS SOPS 642840 HAS SOUS 291992 HAS SOUPS 291992 WITH SCORE 292634.84
AT ITER 1617 NEW BEST:: SOT 716700 SOS 642840 HAS SOPS 642840 HAS SOUS 291954 HAS SOUPS 291954 WITH SCORE 292596.84
AT ITER 1619 NEW BEST:: SOT 716700 SOS 642840 HAS SOPS 642840 HAS SOUS 291732 HAS SOUPS 291732 WITH SCORE 292374.84
AT ITER 1630 NEW BEST:: SOT 716700 SOS 642840 HAS SOPS 642840 HAS SOUS 291582 HAS SOUPS 291582 WITH SCORE 292224.84
AT ITER 1633 NEW BEST:: SOT 716348 SOS 642488 HAS SOPS 642488 HAS SOUS 290878 HAS SOUPS 290878 WITH SCORE 291520.488
AT ITER 1634 NEW BEST:: SOT 715650 SOS 641790 HAS SOPS 641790 HAS SOUS 289468 HAS SOUPS 289468 WITH SCORE 290109.79
AT ITER 1637 NEW BEST:: SOT 715186 SOS 641326 HAS SOPS 641326 HAS SOUS 288512 HAS SOUPS 288512 WITH SCORE 289153.326
AT ITER 1641 NEW BEST:: SOT 715186 SOS 641412 HAS SOPS 641412 HAS SOUS 288344 HAS SOUPS 288344 WITH SCORE 288985.412
AT ITER 1642 NEW BEST:: SOT 715178 SOS 641404 HAS SOPS 641404 HAS SOUS 288328 HAS SOUPS 288328 WITH SCORE 288969.404
AT ITER 1644 NEW BEST:: SOT 715044 SOS 641270 HAS SOPS 641270 HAS SOUS 288060 HAS SOUPS 288060 WITH SCORE 288701.27
AT ITER 1652 NEW BEST:: SOT 714926 SOS 641264 HAS SOPS 641264 HAS SOUS 287874 HAS SOUPS 287874 WITH SCORE 288515.264
AT ITER 1662 NEW BEST:: SOT 714926 SOS 641264 HAS SOPS 641264 HAS SOUS 287284 HAS SOUPS 287284 WITH SCORE 287925.264
AT ITER 1671 NEW BEST:: SOT 714926 SOS 641264 HAS SOPS 641264 HAS SOUS 287280 HAS SOUPS 287280 WITH SCORE 287921.264
AT ITER 1674 NEW BEST:: SOT 714828 SOS 641166 HAS SOPS 641166 HAS SOUS 287084 HAS SOUPS 287084 WITH SCORE 287725.166
AT ITER 1677 NEW BEST:: SOT 714704 SOS 641042 HAS SOPS 641042 HAS SOUS 286836 HAS SOUPS 286836 WITH SCORE 287477.042
AT ITER 1696 NEW BEST:: SOT 714704 SOS 641042 HAS SOPS 641042 HAS SOUS 286702 HAS SOUPS 286702 WITH SCORE 287343.042
AT ITER 1698 NEW BEST:: SOT 714402 SOS 640740 HAS SOPS 640740 HAS SOUS 286098 HAS SOUPS 286098 WITH SCORE 286738.74
AT ITER 1699 NEW BEST:: SOT 714402 SOS 640728 HAS SOPS 640728 HAS SOUS 285718 HAS SOUPS 285718 WITH SCORE 286358.728
AT ITER 1700 NEW BEST:: SOT 714224 SOS 640550 HAS SOPS 640550 HAS SOUS 285002 HAS SOUPS 285002 WITH SCORE 285642.55
AT ITER 1704 NEW BEST:: SOT 714278 SOS 640604 HAS SOPS 640604 HAS SOUS 284934 HAS SOUPS 284934 WITH SCORE 285574.604
AT ITER 1706 NEW BEST:: SOT 714212 SOS 640538 HAS SOPS 640538 HAS SOUS 284802 HAS SOUPS 284802 WITH SCORE 285442.538
AT ITER 1710 NEW BEST:: SOT 714132 SOS 640458 HAS SOPS 640458 HAS SOUS 284642 HAS SOUPS 284642 WITH SCORE 285282.458
AT ITER 1712 NEW BEST:: SOT 714050 SOS 640376 HAS SOPS 640376 HAS SOUS 284066 HAS SOUPS 284066 WITH SCORE 284706.376
AT ITER 1718 NEW BEST:: SOT 714048 SOS 640374 HAS SOPS 640374 HAS SOUS 284062 HAS SOUPS 284062 WITH SCORE 284702.374
AT ITER 1722 NEW BEST:: SOT 714048 SOS 640374 HAS SOPS 640374 HAS SOUS 283710 HAS SOUPS 283710 WITH SCORE 284350.374
AT ITER 1723 NEW BEST:: SOT 714048 SOS 640374 HAS SOPS 640374 HAS SOUS 283450 HAS SOUPS 283450 WITH SCORE 284090.374
AT ITER 1728 NEW BEST:: SOT 714048 SOS 640374 HAS SOPS 640374 HAS SOUS 283362 HAS SOUPS 283362 WITH SCORE 284002.374
AT ITER 1733 NEW BEST:: SOT 713788 SOS 640114 HAS SOPS 640114 HAS SOUS 282842 HAS SOUPS 282842 WITH SCORE 283482.114
AT ITER 1735 NEW BEST:: SOT 713788 SOS 640114 HAS SOPS 640114 HAS SOUS 282462 HAS SOUPS 282462 WITH SCORE 283102.114
AT ITER 1744 NEW BEST:: SOT 713710 SOS 640036 HAS SOPS 640036 HAS SOUS 282306 HAS SOUPS 282306 WITH SCORE 282946.036
AT ITER 1746 NEW BEST:: SOT 713578 SOS 639904 HAS SOPS 639904 HAS SOUS 282042 HAS SOUPS 282042 WITH SCORE 282681.904
AT ITER 1754 NEW BEST:: SOT 712962 SOS 639586 HAS SOPS 639586 HAS SOUS 281724 HAS SOUPS 281724 WITH SCORE 282363.586
AT ITER 1776 NEW BEST:: SOT 712824 SOS 639448 HAS SOPS 639448 HAS SOUS 281448 HAS SOUPS 281448 WITH SCORE 282087.448
AT ITER 1777 NEW BEST:: SOT 712796 SOS 639420 HAS SOPS 639420 HAS SOUS 281392 HAS SOUPS 281392 WITH SCORE 282031.42
AT ITER 1787 NEW BEST:: SOT 712650 SOS 639274 HAS SOPS 639274 HAS SOUS 281100 HAS SOUPS 281100 WITH SCORE 281739.274
AT ITER 1791 NEW BEST:: SOT 712568 SOS 639192 HAS SOPS 639192 HAS SOUS 280936 HAS SOUPS 280936 WITH SCORE 281575.192
AT ITER 1802 NEW BEST:: SOT 712524 SOS 639148 HAS SOPS 639148 HAS SOUS 280848 HAS SOUPS 280848 WITH SCORE 281487.148
AT ITER 1804 NEW BEST:: SOT 712524 SOS 639148 HAS SOPS 639148 HAS SOUS 280666 HAS SOUPS 280666 WITH SCORE 281305.148
AT ITER 1818 NEW BEST:: SOT 712260 SOS 638884 HAS SOPS 638884 HAS SOUS 280086 HAS SOUPS 280086 WITH SCORE 280724.884
AT ITER 1819 NEW BEST:: SOT 712026 SOS 638650 HAS SOPS 638650 HAS SOUS 279618 HAS SOUPS 279618 WITH SCORE 280256.65
AT ITER 1827 NEW BEST:: SOT 711974 SOS 638598 HAS SOPS 638598 HAS SOUS 279514 HAS SOUPS 279514 WITH SCORE 280152.598
AT ITER 1830 NEW BEST:: SOT 711974 SOS 638598 HAS SOPS 638598 HAS SOUS 279456 HAS SOUPS 279456 WITH SCORE 280094.598
AT ITER 1847 NEW BEST:: SOT 711974 SOS 638598 HAS SOPS 638598 HAS SOUS 278848 HAS SOUPS 278848 WITH SCORE 279486.598
AT ITER 1852 NEW BEST:: SOT 711936 SOS 638560 HAS SOPS 638560 HAS SOUS 278746 HAS SOUPS 278746 WITH SCORE 279384.56
AT ITER 1857 NEW BEST:: SOT 711904 SOS 638528 HAS SOPS 638528 HAS SOUS 278682 HAS SOUPS 278682 WITH SCORE 279320.528
AT ITER 1862 NEW BEST:: SOT 711904 SOS 638528 HAS SOPS 638528 HAS SOUS 278504 HAS SOUPS 278504 WITH SCORE 279142.528
AT ITER 1865 NEW BEST:: SOT 711668 SOS 638292 HAS SOPS 638292 HAS SOUS 278032 HAS SOUPS 278032 WITH SCORE 278670.292
AT ITER 1884 NEW BEST:: SOT 711668 SOS 638276 HAS SOPS 638276 HAS SOUS 277884 HAS SOUPS 277884 WITH SCORE 278522.276
AT ITER 1889 NEW BEST:: SOT 711668 SOS 638276 HAS SOPS 638276 HAS SOUS 277678 HAS SOUPS 277678 WITH SCORE 278316.276
AT ITER 1892 NEW BEST:: SOT 711462 SOS 638070 HAS SOPS 638070 HAS SOUS 277266 HAS SOUPS 277266 WITH SCORE 277904.07
AT ITER 1902 NEW BEST:: SOT 711370 SOS 637978 HAS SOPS 637978 HAS SOUS 277082 HAS SOUPS 277082 WITH SCORE 277719.978
AT ITER 1903 NEW BEST:: SOT 711306 SOS 637914 HAS SOPS 637914 HAS SOUS 276954 HAS SOUPS 276954 WITH SCORE 277591.914
AT ITER 1918 NEW BEST:: SOT 711040 SOS 637648 HAS SOPS 637648 HAS SOUS 275880 HAS SOUPS 275880 WITH SCORE 276517.648
AT ITER 1925 NEW BEST:: SOT 710888 SOS 637496 HAS SOPS 637496 HAS SOUS 275576 HAS SOUPS 275576 WITH SCORE 276213.496
AT ITER 1931 NEW BEST:: SOT 710888 SOS 637496 HAS SOPS 637496 HAS SOUS 275228 HAS SOUPS 275228 WITH SCORE 275865.496
AT ITER 1932 NEW BEST:: SOT 710770 SOS 637378 HAS SOPS 637378 HAS SOUS 274660 HAS SOUPS 274660 WITH SCORE 275297.378
AT ITER 1937 NEW BEST:: SOT 710770 SOS 637378 HAS SOPS 637378 HAS SOUS 274622 HAS SOUPS 274622 WITH SCORE 275259.378
AT ITER 1938 NEW BEST:: SOT 710540 SOS 637148 HAS SOPS 637148 HAS SOUS 274162 HAS SOUPS 274162 WITH SCORE 274799.148
AT ITER 1946 NEW BEST:: SOT 710508 SOS 637116 HAS SOPS 637116 HAS SOUS 274098 HAS SOUPS 274098 WITH SCORE 274735.116
AT ITER 1948 NEW BEST:: SOT 710508 SOS 637116 HAS SOPS 637116 HAS SOUS 273976 HAS SOUPS 273976 WITH SCORE 274613.116
AT ITER 1953 NEW BEST:: SOT 710154 SOS 636762 HAS SOPS 636762 HAS SOUS 273268 HAS SOUPS 273268 WITH SCORE 273904.762
AT ITER 1955 NEW BEST:: SOT 709838 SOS 636446 HAS SOPS 636446 HAS SOUS 272418 HAS SOUPS 272418 WITH SCORE 273054.446
AT ITER 1957 NEW BEST:: SOT 709838 SOS 636446 HAS SOPS 636446 HAS SOUS 272212 HAS SOUPS 272212 WITH SCORE 272848.446
AT ITER 1958 NEW BEST:: SOT 709838 SOS 636446 HAS SOPS 636446 HAS SOUS 271996 HAS SOUPS 271996 WITH SCORE 272632.446
AT ITER 1959 NEW BEST:: SOT 709838 SOS 636446 HAS SOPS 636446 HAS SOUS 271878 HAS SOUPS 271878 WITH SCORE 272514.446
AT ITER 1961 NEW BEST:: SOT 709466 SOS 636074 HAS SOPS 636074 HAS SOUS 271134 HAS SOUPS 271134 WITH SCORE 271770.074
AT ITER 1980 NEW BEST:: SOT 708734 SOS 635342 HAS SOPS 635342 HAS SOUS 269670 HAS SOUPS 269670 WITH SCORE 270305.342
AT ITER 1983 NEW BEST:: SOT 708734 SOS 635342 HAS SOPS 635342 HAS SOUS 269582 HAS SOUPS 269582 WITH SCORE 270217.342
AT ITER 1988 NEW BEST:: SOT 708390 SOS 634998 HAS SOPS 634998 HAS SOUS 268894 HAS SOUPS 268894 WITH SCORE 269528.998
AT ITER 1991 NEW BEST:: SOT 708212 SOS 634820 HAS SOPS 634820 HAS SOUS 268468 HAS SOUPS 268468 WITH SCORE 269102.82
AT ITER 1993 NEW BEST:: SOT 707928 SOS 634536 HAS SOPS 634536 HAS SOUS 267900 HAS SOUPS 267900 WITH SCORE 268534.536
AT ITER 2003 NEW BEST:: SOT 707928 SOS 634536 HAS SOPS 634536 HAS SOUS 267672 HAS SOUPS 267672 WITH SCORE 268306.536
AT ITER 2018 NEW BEST:: SOT 707926 SOS 634534 HAS SOPS 634534 HAS SOUS 267668 HAS SOUPS 267668 WITH SCORE 268302.534
AT ITER 2023 NEW BEST:: SOT 707926 SOS 634534 HAS SOPS 634534 HAS SOUS 267260 HAS SOUPS 267260 WITH SCORE 267894.534
AT ITER 2024 NEW BEST:: SOT 707432 SOS 634040 HAS SOPS 634040 HAS SOUS 266272 HAS SOUPS 266272 WITH SCORE 266906.04
AT ITER 2029 NEW BEST:: SOT 707420 SOS 634028 HAS SOPS 634028 HAS SOUS 266248 HAS SOUPS 266248 WITH SCORE 266882.028
AT ITER 2040 NEW BEST:: SOT 707420 SOS 634028 HAS SOPS 634028 HAS SOUS 266124 HAS SOUPS 266124 WITH SCORE 266758.028
AT ITER 2041 NEW BEST:: SOT 707330 SOS 633938 HAS SOPS 633938 HAS SOUS 265944 HAS SOUPS 265944 WITH SCORE 266577.938
AT ITER 2043 NEW BEST:: SOT 707330 SOS 633938 HAS SOPS 633938 HAS SOUS 265718 HAS SOUPS 265718 WITH SCORE 266351.938
AT ITER 2048 NEW BEST:: SOT 707138 SOS 633746 HAS SOPS 633746 HAS SOUS 265094 HAS SOUPS 265094 WITH SCORE 265727.746
AT ITER 2050 NEW BEST:: SOT 707138 SOS 633684 HAS SOPS 633684 HAS SOUS 264988 HAS SOUPS 264988 WITH SCORE 265621.684
AT ITER 2051 NEW BEST:: SOT 707116 SOS 633662 HAS SOPS 633662 HAS SOUS 264734 HAS SOUPS 264734 WITH SCORE 265367.662
AT ITER 2058 NEW BEST:: SOT 707116 SOS 633662 HAS SOPS 633662 HAS SOUS 264472 HAS SOUPS 264472 WITH SCORE 265105.662
AT ITER 2060 NEW BEST:: SOT 707116 SOS 633662 HAS SOPS 633662 HAS SOUS 264292 HAS SOUPS 264292 WITH SCORE 264925.662
AT ITER 2065 NEW BEST:: SOT 707116 SOS 633662 HAS SOPS 633662 HAS SOUS 264222 HAS SOUPS 264222 WITH SCORE 264855.662
AT ITER 2067 NEW BEST:: SOT 707020 SOS 633566 HAS SOPS 633566 HAS SOUS 264030 HAS SOUPS 264030 WITH SCORE 264663.566
AT ITER 2075 NEW BEST:: SOT 707020 SOS 633564 HAS SOPS 633564 HAS SOUS 264028 HAS SOUPS 264028 WITH SCORE 264661.564
AT ITER 2076 NEW BEST:: SOT 706438 SOS 646522 HAS SOPS 646522 HAS SOUS 263642 HAS SOUPS 263642 WITH SCORE 264288.522
AT ITER 2077 NEW BEST:: SOT 706376 SOS 646460 HAS SOPS 646460 HAS SOUS 263040 HAS SOUPS 263040 WITH SCORE 263686.46
AT ITER 2081 NEW BEST:: SOT 706346 SOS 646430 HAS SOPS 646430 HAS SOUS 262980 HAS SOUPS 262980 WITH SCORE 263626.43
AT ITER 2088 NEW BEST:: SOT 706346 SOS 646430 HAS SOPS 646430 HAS SOUS 262318 HAS SOUPS 262318 WITH SCORE 262964.43
AT ITER 2094 NEW BEST:: SOT 706288 SOS 646372 HAS SOPS 646372 HAS SOUS 262202 HAS SOUPS 262202 WITH SCORE 262848.372
AT ITER 2099 NEW BEST:: SOT 706288 SOS 646372 HAS SOPS 646372 HAS SOUS 262176 HAS SOUPS 262176 WITH SCORE 262822.372
AT ITER 2101 NEW BEST:: SOT 706288 SOS 646372 HAS SOPS 646372 HAS SOUS 262068 HAS SOUPS 262068 WITH SCORE 262714.372
AT ITER 2124 NEW BEST:: SOT 706288 SOS 646372 HAS SOPS 646372 HAS SOUS 261796 HAS SOUPS 261796 WITH SCORE 262442.372
AT ITER 2126 NEW BEST:: SOT 706288 SOS 646372 HAS SOPS 646372 HAS SOUS 261788 HAS SOUPS 261788 WITH SCORE 262434.372
AT ITER 2146 NEW BEST:: SOT 705922 SOS 646006 HAS SOPS 646006 HAS SOUS 260626 HAS SOUPS 260626 WITH SCORE 261272.006
AT ITER 2155 NEW BEST:: SOT 705754 SOS 645838 HAS SOPS 645838 HAS SOUS 260290 HAS SOUPS 260290 WITH SCORE 260935.838
AT ITER 2156 NEW BEST:: SOT 705700 SOS 645784 HAS SOPS 645784 HAS SOUS 260182 HAS SOUPS 260182 WITH SCORE 260827.784
AT ITER 2159 NEW BEST:: SOT 705610 SOS 645694 HAS SOPS 645694 HAS SOUS 260002 HAS SOUPS 260002 WITH SCORE 260647.694
AT ITER 2169 NEW BEST:: SOT 705610 SOS 645694 HAS SOPS 645694 HAS SOUS 259994 HAS SOUPS 259994 WITH SCORE 260639.694
AT ITER 2177 NEW BEST:: SOT 705046 SOS 645130 HAS SOPS 645130 HAS SOUS 258866 HAS SOUPS 258866 WITH SCORE 259511.13
AT ITER 2182 NEW BEST:: SOT 704946 SOS 645030 HAS SOPS 645030 HAS SOUS 258666 HAS SOUPS 258666 WITH SCORE 259311.03
AT ITER 2185 NEW BEST:: SOT 704868 SOS 644952 HAS SOPS 644952 HAS SOUS 258510 HAS SOUPS 258510 WITH SCORE 259154.952
AT ITER 2186 NEW BEST:: SOT 704808 SOS 644892 HAS SOPS 644892 HAS SOUS 258390 HAS SOUPS 258390 WITH SCORE 259034.892
AT ITER 2190 NEW BEST:: SOT 704808 SOS 644892 HAS SOPS 644892 HAS SOUS 258176 HAS SOUPS 258176 WITH SCORE 258820.892
AT ITER 2192 NEW BEST:: SOT 704726 SOS 644810 HAS SOPS 644810 HAS SOUS 258012 HAS SOUPS 258012 WITH SCORE 258656.81
AT ITER 2224 NEW BEST:: SOT 704726 SOS 644810 HAS SOPS 644810 HAS SOUS 257690 HAS SOUPS 257690 WITH SCORE 258334.81
AT ITER 2227 NEW BEST:: SOT 704356 SOS 644440 HAS SOPS 644440 HAS SOUS 256950 HAS SOUPS 256950 WITH SCORE 257594.44
AT ITER 2228 NEW BEST:: SOT 704356 SOS 644440 HAS SOPS 644440 HAS SOUS 256948 HAS SOUPS 256948 WITH SCORE 257592.44
AT ITER 2238 NEW BEST:: SOT 704350 SOS 644434 HAS SOPS 644434 HAS SOUS 256936 HAS SOUPS 256936 WITH SCORE 257580.434
AT ITER 2246 NEW BEST:: SOT 704350 SOS 644434 HAS SOPS 644434 HAS SOUS 256760 HAS SOUPS 256760 WITH SCORE 257404.434
AT ITER 2261 NEW BEST:: SOT 704234 SOS 644318 HAS SOPS 644318 HAS SOUS 256524 HAS SOUPS 256524 WITH SCORE 257168.318
AT ITER 2274 NEW BEST:: SOT 704234 SOS 644318 HAS SOPS 644318 HAS SOUS 256508 HAS SOUPS 256508 WITH SCORE 257152.318
AT ITER 2297 NEW BEST:: SOT 704200 SOS 644284 HAS SOPS 644284 HAS SOUS 256440 HAS SOUPS 256440 WITH SCORE 257084.284
AT ITER 2308 NEW BEST:: SOT 704192 SOS 644276 HAS SOPS 644276 HAS SOUS 256424 HAS SOUPS 256424 WITH SCORE 257068.276
AT ITER 2329 NEW BEST:: SOT 703730 SOS 643814 HAS SOPS 643814 HAS SOUS 255500 HAS SOUPS 255500 WITH SCORE 256143.814
AT ITER 2360 NEW BEST:: SOT 703730 SOS 643814 HAS SOPS 643814 HAS SOUS 255406 HAS SOUPS 255406 WITH SCORE 256049.814
AT ITER 2361 NEW BEST:: SOT 703694 SOS 643778 HAS SOPS 643778 HAS SOUS 255334 HAS SOUPS 255334 WITH SCORE 255977.778
AT ITER 2371 NEW BEST:: SOT 703694 SOS 643778 HAS SOPS 643778 HAS SOUS 255296 HAS SOUPS 255296 WITH SCORE 255939.778
AT ITER 2375 NEW BEST:: SOT 703694 SOS 643778 HAS SOPS 643778 HAS SOUS 254968 HAS SOUPS 254968 WITH SCORE 255611.778
AT ITER 2382 NEW BEST:: SOT 703694 SOS 643778 HAS SOPS 643778 HAS SOUS 254878 HAS SOUPS 254878 WITH SCORE 255521.778
AT ITER 2385 NEW BEST:: SOT 703640 SOS 643724 HAS SOPS 643724 HAS SOUS 254770 HAS SOUPS 254770 WITH SCORE 255413.724
AT ITER 2388 NEW BEST:: SOT 703430 SOS 643514 HAS SOPS 643514 HAS SOUS 254350 HAS SOUPS 254350 WITH SCORE 254993.514
AT ITER 2393 NEW BEST:: SOT 703278 SOS 643362 HAS SOPS 643362 HAS SOUS 254046 HAS SOUPS 254046 WITH SCORE 254689.362
AT ITER 2395 NEW BEST:: SOT 703134 SOS 643218 HAS SOPS 643218 HAS SOUS 253744 HAS SOUPS 253744 WITH SCORE 254387.218
AT ITER 2398 NEW BEST:: SOT 703128 SOS 643212 HAS SOPS 643212 HAS SOUS 253732 HAS SOUPS 253732 WITH SCORE 254375.212
AT ITER 2402 NEW BEST:: SOT 703100 SOS 643184 HAS SOPS 643184 HAS SOUS 253676 HAS SOUPS 253676 WITH SCORE 254319.184
AT ITER 2432 NEW BEST:: SOT 703100 SOS 643184 HAS SOPS 643184 HAS SOUS 253444 HAS SOUPS 253444 WITH SCORE 254087.184
AT ITER 2441 NEW BEST:: SOT 703100 SOS 643184 HAS SOPS 643184 HAS SOUS 253400 HAS SOUPS 253400 WITH SCORE 254043.184
AT ITER 2446 NEW BEST:: SOT 703100 SOS 643184 HAS SOPS 643184 HAS SOUS 253176 HAS SOUPS 253176 WITH SCORE 253819.184
AT ITER 2448 NEW BEST:: SOT 702962 SOS 643046 HAS SOPS 643046 HAS SOUS 252900 HAS SOUPS 252900 WITH SCORE 253543.046
AT ITER 2451 NEW BEST:: SOT 702962 SOS 643046 HAS SOPS 643046 HAS SOUS 252776 HAS SOUPS 252776 WITH SCORE 253419.046
AT ITER 2454 NEW BEST:: SOT 702962 SOS 643046 HAS SOPS 643046 HAS SOUS 252732 HAS SOUPS 252732 WITH SCORE 253375.046
AT ITER 2488 NEW BEST:: SOT 702692 SOS 642776 HAS SOPS 642776 HAS SOUS 252192 HAS SOUPS 252192 WITH SCORE 252834.776
AT ITER 2491 NEW BEST:: SOT 702692 SOS 642776 HAS SOPS 642776 HAS SOUS 251892 HAS SOUPS 251892 WITH SCORE 252534.776
AT ITER 2492 NEW BEST:: SOT 702592 SOS 642676 HAS SOPS 642676 HAS SOUS 251692 HAS SOUPS 251692 WITH SCORE 252334.676
AT ITER 2517 NEW BEST:: SOT 702592 SOS 642676 HAS SOPS 642676 HAS SOUS 251680 HAS SOUPS 251680 WITH SCORE 252322.676
AT ITER 2519 NEW BEST:: SOT 702586 SOS 642670 HAS SOPS 642670 HAS SOUS 251668 HAS SOUPS 251668 WITH SCORE 252310.67
AT ITER 2526 NEW BEST:: SOT 702586 SOS 642670 HAS SOPS 642670 HAS SOUS 251534 HAS SOUPS 251534 WITH SCORE 252176.67
AT ITER 2538 NEW BEST:: SOT 702586 SOS 642670 HAS SOPS 642670 HAS SOUS 251124 HAS SOUPS 251124 WITH SCORE 251766.67
AT ITER 2559 NEW BEST:: SOT 702480 SOS 642564 HAS SOPS 642564 HAS SOUS 250912 HAS SOUPS 250912 WITH SCORE 251554.564
AT ITER 2569 NEW BEST:: SOT 702344 SOS 642428 HAS SOPS 642428 HAS SOUS 250640 HAS SOUPS 250640 WITH SCORE 251282.428
AT ITER 2571 NEW BEST:: SOT 702344 SOS 642428 HAS SOPS 642428 HAS SOUS 250524 HAS SOUPS 250524 WITH SCORE 251166.428
AT ITER 2576 NEW BEST:: SOT 702344 SOS 642428 HAS SOPS 642428 HAS SOUS 250390 HAS SOUPS 250390 WITH SCORE 251032.428
AT ITER 2577 NEW BEST:: SOT 702344 SOS 642428 HAS SOPS 642428 HAS SOUS 250220 HAS SOUPS 250220 WITH SCORE 250862.428
AT ITER 2583 NEW BEST:: SOT 701872 SOS 641956 HAS SOPS 641956 HAS SOUS 249276 HAS SOUPS 249276 WITH SCORE 249917.956
AT ITER 2585 NEW BEST:: SOT 701798 SOS 641882 HAS SOPS 641882 HAS SOUS 249128 HAS SOUPS 249128 WITH SCORE 249769.882
AT ITER 2592 NEW BEST:: SOT 701798 SOS 641882 HAS SOPS 641882 HAS SOUS 249020 HAS SOUPS 249020 WITH SCORE 249661.882
AT ITER 2603 NEW BEST:: SOT 701798 SOS 641882 HAS SOPS 641882 HAS SOUS 249010 HAS SOUPS 249010 WITH SCORE 249651.882
AT ITER 2606 NEW BEST:: SOT 701798 SOS 641882 HAS SOPS 641882 HAS SOUS 248986 HAS SOUPS 248986 WITH SCORE 249627.882
AT ITER 2608 NEW BEST:: SOT 701788 SOS 641872 HAS SOPS 641872 HAS SOUS 248966 HAS SOUPS 248966 WITH SCORE 249607.872
AT ITER 2610 NEW BEST:: SOT 701752 SOS 641836 HAS SOPS 641836 HAS SOUS 248894 HAS SOUPS 248894 WITH SCORE 249535.836
AT ITER 2619 NEW BEST:: SOT 701712 SOS 641796 HAS SOPS 641796 HAS SOUS 248814 HAS SOUPS 248814 WITH SCORE 249455.796
AT ITER 2654 NEW BEST:: SOT 701712 SOS 641796 HAS SOPS 641796 HAS SOUS 248786 HAS SOUPS 248786 WITH SCORE 249427.796
AT ITER 2669 NEW BEST:: SOT 701606 SOS 641690 HAS SOPS 641690 HAS SOUS 248574 HAS SOUPS 248574 WITH SCORE 249215.69
AT ITER 2679 NEW BEST:: SOT 701520 SOS 641604 HAS SOPS 641604 HAS SOUS 248278 HAS SOUPS 248278 WITH SCORE 248919.604
AT ITER 2682 NEW BEST:: SOT 701416 SOS 641500 HAS SOPS 641500 HAS SOUS 248070 HAS SOUPS 248070 WITH SCORE 248711.5
AT ITER 2695 NEW BEST:: SOT 701200 SOS 641284 HAS SOPS 641284 HAS SOUS 247638 HAS SOUPS 247638 WITH SCORE 248279.284
AT ITER 2700 NEW BEST:: SOT 700884 SOS 640968 HAS SOPS 640968 HAS SOUS 247006 HAS SOUPS 247006 WITH SCORE 247646.968
AT ITER 2706 NEW BEST:: SOT 700866 SOS 640950 HAS SOPS 640950 HAS SOUS 246970 HAS SOUPS 246970 WITH SCORE 247610.95
AT ITER 2707 NEW BEST:: SOT 700866 SOS 640950 HAS SOPS 640950 HAS SOUS 246898 HAS SOUPS 246898 WITH SCORE 247538.95
AT ITER 2708 NEW BEST:: SOT 700866 SOS 640950 HAS SOPS 640950 HAS SOUS 246690 HAS SOUPS 246690 WITH SCORE 247330.95
AT ITER 2718 NEW BEST:: SOT 700714 SOS 640798 HAS SOPS 640798 HAS SOUS 246276 HAS SOUPS 246276 WITH SCORE 246916.798
AT ITER 2719 NEW BEST:: SOT 700714 SOS 640798 HAS SOPS 640798 HAS SOUS 246270 HAS SOUPS 246270 WITH SCORE 246910.798
AT ITER 2743 NEW BEST:: SOT 700582 SOS 640666 HAS SOPS 640666 HAS SOUS 245736 HAS SOUPS 245736 WITH SCORE 246376.666
AT ITER 2747 NEW BEST:: SOT 700474 SOS 640558 HAS SOPS 640558 HAS SOUS 245426 HAS SOUPS 245426 WITH SCORE 246066.558
AT ITER 2748 NEW BEST:: SOT 700474 SOS 640558 HAS SOPS 640558 HAS SOUS 245406 HAS SOUPS 245406 WITH SCORE 246046.558
AT ITER 2759 NEW BEST:: SOT 700216 SOS 640300 HAS SOPS 640300 HAS SOUS 244890 HAS SOUPS 244890 WITH SCORE 245530.3
AT ITER 2763 NEW BEST:: SOT 700216 SOS 640300 HAS SOPS 640300 HAS SOUS 244504 HAS SOUPS 244504 WITH SCORE 245144.3
AT ITER 2787 NEW BEST:: SOT 699992 SOS 640076 HAS SOPS 640076 HAS SOUS 244056 HAS SOUPS 244056 WITH SCORE 244696.076
AT ITER 2810 NEW BEST:: SOT 699992 SOS 640062 HAS SOPS 640062 HAS SOUS 243890 HAS SOUPS 243890 WITH SCORE 244530.062
AT ITER 2816 NEW BEST:: SOT 699992 SOS 640062 HAS SOPS 640062 HAS SOUS 243854 HAS SOUPS 243854 WITH SCORE 244494.062
AT ITER 2828 NEW BEST:: SOT 699992 SOS 640062 HAS SOPS 640062 HAS SOUS 243666 HAS SOUPS 243666 WITH SCORE 244306.062
AT ITER 2832 NEW BEST:: SOT 699872 SOS 639942 HAS SOPS 639942 HAS SOUS 243426 HAS SOUPS 243426 WITH SCORE 244065.942
AT ITER 2834 NEW BEST:: SOT 699872 SOS 639942 HAS SOPS 639942 HAS SOUS 243304 HAS SOUPS 243304 WITH SCORE 243943.942
AT ITER 2840 NEW BEST:: SOT 699872 SOS 639942 HAS SOPS 639942 HAS SOUS 242766 HAS SOUPS 242766 WITH SCORE 243405.942
AT ITER 2841 NEW BEST:: SOT 699872 SOS 639942 HAS SOPS 639942 HAS SOUS 242696 HAS SOUPS 242696 WITH SCORE 243335.942
AT ITER 2842 NEW BEST:: SOT 699838 SOS 639908 HAS SOPS 639908 HAS SOUS 242628 HAS SOUPS 242628 WITH SCORE 243267.908
AT ITER 2845 NEW BEST:: SOT 699838 SOS 639908 HAS SOPS 639908 HAS SOUS 242548 HAS SOUPS 242548 WITH SCORE 243187.908
AT ITER 2852 NEW BEST:: SOT 699810 SOS 639880 HAS SOPS 639880 HAS SOUS 242492 HAS SOUPS 242492 WITH SCORE 243131.88
AT ITER 2853 NEW BEST:: SOT 699810 SOS 639880 HAS SOPS 639880 HAS SOUS 242440 HAS SOUPS 242440 WITH SCORE 243079.88
AT ITER 2861 NEW BEST:: SOT 699678 SOS 639748 HAS SOPS 639748 HAS SOUS 242176 HAS SOUPS 242176 WITH SCORE 242815.748
AT ITER 2878 NEW BEST:: SOT 699678 SOS 639748 HAS SOPS 639748 HAS SOUS 242098 HAS SOUPS 242098 WITH SCORE 242737.748
AT ITER 2879 NEW BEST:: SOT 699592 SOS 639662 HAS SOPS 639662 HAS SOUS 241926 HAS SOUPS 241926 WITH SCORE 242565.662
AT ITER 2891 NEW BEST:: SOT 699582 SOS 639652 HAS SOPS 639652 HAS SOUS 241906 HAS SOUPS 241906 WITH SCORE 242545.652
AT ITER 2895 NEW BEST:: SOT 699384 SOS 639454 HAS SOPS 639454 HAS SOUS 241510 HAS SOUPS 241510 WITH SCORE 242149.454
AT ITER 2909 NEW BEST:: SOT 699384 SOS 639446 HAS SOPS 639446 HAS SOUS 241510 HAS SOUPS 241510 WITH SCORE 242149.446
AT ITER 2911 NEW BEST:: SOT 699384 SOS 639416 HAS SOPS 639416 HAS SOUS 240888 HAS SOUPS 240888 WITH SCORE 241527.416
AT ITER 2923 NEW BEST:: SOT 699384 SOS 639304 HAS SOPS 639304 HAS SOUS 240784 HAS SOUPS 240784 WITH SCORE 241423.304
AT ITER 2925 NEW BEST:: SOT 699288 SOS 639208 HAS SOPS 639208 HAS SOUS 240370 HAS SOUPS 240370 WITH SCORE 241009.208
AT ITER 2929 NEW BEST:: SOT 699156 SOS 639076 HAS SOPS 639076 HAS SOUS 240106 HAS SOUPS 240106 WITH SCORE 240745.076
AT ITER 2952 NEW BEST:: SOT 699118 SOS 639038 HAS SOPS 639038 HAS SOUS 240030 HAS SOUPS 240030 WITH SCORE 240669.038
AT ITER 2954 NEW BEST:: SOT 699118 SOS 639038 HAS SOPS 639038 HAS SOUS 239814 HAS SOUPS 239814 WITH SCORE 240453.038
AT ITER 2956 NEW BEST:: SOT 699118 SOS 639038 HAS SOPS 639038 HAS SOUS 239540 HAS SOUPS 239540 WITH SCORE 240179.038
AT ITER 2961 NEW BEST:: SOT 699118 SOS 639038 HAS SOPS 639038 HAS SOUS 239468 HAS SOUPS 239468 WITH SCORE 240107.038
AT ITER 2964 NEW BEST:: SOT 698900 SOS 638820 HAS SOPS 638820 HAS SOUS 239032 HAS SOUPS 239032 WITH SCORE 239670.82
AT ITER 3010 NEW BEST:: SOT 698740 SOS 638660 HAS SOPS 638660 HAS SOUS 238712 HAS SOUPS 238712 WITH SCORE 239350.66
AT ITER 3014 NEW BEST:: SOT 698740 SOS 638660 HAS SOPS 638660 HAS SOUS 238710 HAS SOUPS 238710 WITH SCORE 239348.66
AT ITER 3017 NEW BEST:: SOT 698740 SOS 638660 HAS SOPS 638660 HAS SOUS 238608 HAS SOUPS 238608 WITH SCORE 239246.66
AT ITER 3018 NEW BEST:: SOT 698702 SOS 638622 HAS SOPS 638622 HAS SOUS 238532 HAS SOUPS 238532 WITH SCORE 239170.622
AT ITER 3021 NEW BEST:: SOT 698702 SOS 638622 HAS SOPS 638622 HAS SOUS 238292 HAS SOUPS 238292 WITH SCORE 238930.622
AT ITER 3023 NEW BEST:: SOT 698702 SOS 638622 HAS SOPS 638622 HAS SOUS 238262 HAS SOUPS 238262 WITH SCORE 238900.622
AT ITER 3033 NEW BEST:: SOT 698702 SOS 638622 HAS SOPS 638622 HAS SOUS 238018 HAS SOUPS 238018 WITH SCORE 238656.622
AT ITER 3034 NEW BEST:: SOT 698608 SOS 638528 HAS SOPS 638528 HAS SOUS 237830 HAS SOUPS 237830 WITH SCORE 238468.528
AT ITER 3052 NEW BEST:: SOT 698532 SOS 638452 HAS SOPS 638452 HAS SOUS 237536 HAS SOUPS 237536 WITH SCORE 238174.452
AT ITER 3055 NEW BEST:: SOT 698532 SOS 638452 HAS SOPS 638452 HAS SOUS 237470 HAS SOUPS 237470 WITH SCORE 238108.452
AT ITER 3062 NEW BEST:: SOT 698326 SOS 638246 HAS SOPS 638246 HAS SOUS 236960 HAS SOUPS 236960 WITH SCORE 237598.246
AT ITER 3077 NEW BEST:: SOT 698102 SOS 638022 HAS SOPS 638022 HAS SOUS 236512 HAS SOUPS 236512 WITH SCORE 237150.022
AT ITER 3087 NEW BEST:: SOT 698102 SOS 638022 HAS SOPS 638022 HAS SOUS 236484 HAS SOUPS 236484 WITH SCORE 237122.022
AT ITER 3090 NEW BEST:: SOT 698102 SOS 638022 HAS SOPS 638022 HAS SOUS 236452 HAS SOUPS 236452 WITH SCORE 237090.022
AT ITER 3122 NEW BEST:: SOT 698102 SOS 638022 HAS SOPS 638022 HAS SOUS 236332 HAS SOUPS 236332 WITH SCORE 236970.022
AT ITER 3134 NEW BEST:: SOT 698102 SOS 638022 HAS SOPS 638022 HAS SOUS 236202 HAS SOUPS 236202 WITH SCORE 236840.022
AT ITER 3148 NEW BEST:: SOT 698102 SOS 638022 HAS SOPS 638022 HAS SOUS 236166 HAS SOUPS 236166 WITH SCORE 236804.022
AT ITER 3157 NEW BEST:: SOT 698040 SOS 637960 HAS SOPS 637960 HAS SOUS 236042 HAS SOUPS 236042 WITH SCORE 236679.96
AT ITER 3160 NEW BEST:: SOT 697724 SOS 637644 HAS SOPS 637644 HAS SOUS 235410 HAS SOUPS 235410 WITH SCORE 236047.644
AT ITER 3161 NEW BEST:: SOT 697618 SOS 637538 HAS SOPS 637538 HAS SOUS 234944 HAS SOUPS 234944 WITH SCORE 235581.538
AT ITER 3164 NEW BEST:: SOT 697618 SOS 637538 HAS SOPS 637538 HAS SOUS 234920 HAS SOUPS 234920 WITH SCORE 235557.538
AT ITER 3172 NEW BEST:: SOT 697618 SOS 637538 HAS SOPS 637538 HAS SOUS 234904 HAS SOUPS 234904 WITH SCORE 235541.538
AT ITER 3179 NEW BEST:: SOT 697618 SOS 637538 HAS SOPS 637538 HAS SOUS 234902 HAS SOUPS 234902 WITH SCORE 235539.538
AT ITER 3190 NEW BEST:: SOT 697510 SOS 637430 HAS SOPS 637430 HAS SOUS 234686 HAS SOUPS 234686 WITH SCORE 235323.43
AT ITER 3195 NEW BEST:: SOT 697510 SOS 637430 HAS SOPS 637430 HAS SOUS 234620 HAS SOUPS 234620 WITH SCORE 235257.43
AT ITER 3198 NEW BEST:: SOT 697510 SOS 637430 HAS SOPS 637430 HAS SOUS 234572 HAS SOUPS 234572 WITH SCORE 235209.43
AT ITER 3226 NEW BEST:: SOT 697414 SOS 637334 HAS SOPS 637334 HAS SOUS 234380 HAS SOUPS 234380 WITH SCORE 235017.334
AT ITER 3239 NEW BEST:: SOT 696932 SOS 636852 HAS SOPS 636852 HAS SOUS 233988 HAS SOUPS 233988 WITH SCORE 234624.852
AT ITER 3258 NEW BEST:: SOT 696932 SOS 636792 HAS SOPS 636792 HAS SOUS 233928 HAS SOUPS 233928 WITH SCORE 234564.792
AT ITER 3263 NEW BEST:: SOT 696730 SOS 636590 HAS SOPS 636590 HAS SOUS 233524 HAS SOUPS 233524 WITH SCORE 234160.59
AT ITER 3284 NEW BEST:: SOT 696688 SOS 636548 HAS SOPS 636548 HAS SOUS 233482 HAS SOUPS 233482 WITH SCORE 234118.548
AT ITER 3290 NEW BEST:: SOT 696688 SOS 636548 HAS SOPS 636548 HAS SOUS 233442 HAS SOUPS 233442 WITH SCORE 234078.548
AT ITER 3312 NEW BEST:: SOT 696688 SOS 636570 HAS SOPS 636570 HAS SOUS 233366 HAS SOUPS 233366 WITH SCORE 234002.57
AT ITER 3313 NEW BEST:: SOT 696688 SOS 636570 HAS SOPS 636570 HAS SOUS 233338 HAS SOUPS 233338 WITH SCORE 233974.57
AT ITER 3315 NEW BEST:: SOT 696614 SOS 636496 HAS SOPS 636496 HAS SOUS 233190 HAS SOUPS 233190 WITH SCORE 233826.496
AT ITER 3321 NEW BEST:: SOT 696562 SOS 636444 HAS SOPS 636444 HAS SOUS 233086 HAS SOUPS 233086 WITH SCORE 233722.444
AT ITER 3323 NEW BEST:: SOT 696562 SOS 636444 HAS SOPS 636444 HAS SOUS 233078 HAS SOUPS 233078 WITH SCORE 233714.444
AT ITER 3348 NEW BEST:: SOT 696542 SOS 636424 HAS SOPS 636424 HAS SOUS 233038 HAS SOUPS 233038 WITH SCORE 233674.424
AT ITER 3353 NEW BEST:: SOT 696458 SOS 636340 HAS SOPS 636340 HAS SOUS 232870 HAS SOUPS 232870 WITH SCORE 233506.34
AT ITER 3360 NEW BEST:: SOT 696366 SOS 636248 HAS SOPS 636248 HAS SOUS 232686 HAS SOUPS 232686 WITH SCORE 233322.248
AT ITER 3389 NEW BEST:: SOT 696236 SOS 636118 HAS SOPS 636118 HAS SOUS 232426 HAS SOUPS 232426 WITH SCORE 233062.118
AT ITER 3398 NEW BEST:: SOT 696172 SOS 636054 HAS SOPS 636054 HAS SOUS 232166 HAS SOUPS 232166 WITH SCORE 232802.054
AT ITER 3399 NEW BEST:: SOT 696172 SOS 636054 HAS SOPS 636054 HAS SOUS 231960 HAS SOUPS 231960 WITH SCORE 232596.054
AT ITER 3405 NEW BEST:: SOT 696090 SOS 635972 HAS SOPS 635972 HAS SOUS 231796 HAS SOUPS 231796 WITH SCORE 232431.972
AT ITER 3413 NEW BEST:: SOT 696012 SOS 635894 HAS SOPS 635894 HAS SOUS 231640 HAS SOUPS 231640 WITH SCORE 232275.894
AT ITER 3417 NEW BEST:: SOT 695940 SOS 635822 HAS SOPS 635822 HAS SOUS 231496 HAS SOUPS 231496 WITH SCORE 232131.822
AT ITER 3433 NEW BEST:: SOT 695940 SOS 635822 HAS SOPS 635822 HAS SOUS 231472 HAS SOUPS 231472 WITH SCORE 232107.822
AT ITER 3444 NEW BEST:: SOT 695940 SOS 635822 HAS SOPS 635822 HAS SOUS 231414 HAS SOUPS 231414 WITH SCORE 232049.822
AT ITER 3457 NEW BEST:: SOT 695908 SOS 635790 HAS SOPS 635790 HAS SOUS 231350 HAS SOUPS 231350 WITH SCORE 231985.79
AT ITER 3458 NEW BEST:: SOT 695888 SOS 635770 HAS SOPS 635770 HAS SOUS 231310 HAS SOUPS 231310 WITH SCORE 231945.77
AT ITER 3465 NEW BEST:: SOT 695760 SOS 635642 HAS SOPS 635642 HAS SOUS 230828 HAS SOUPS 230828 WITH SCORE 231463.642
AT ITER 3470 NEW BEST:: SOT 695760 SOS 635642 HAS SOPS 635642 HAS SOUS 230776 HAS SOUPS 230776 WITH SCORE 231411.642
AT ITER 3475 NEW BEST:: SOT 695620 SOS 635502 HAS SOPS 635502 HAS SOUS 230496 HAS SOUPS 230496 WITH SCORE 231131.502
AT ITER 3482 NEW BEST:: SOT 695508 SOS 635390 HAS SOPS 635390 HAS SOUS 230262 HAS SOUPS 230262 WITH SCORE 230897.39
AT ITER 3488 NEW BEST:: SOT 695508 SOS 635390 HAS SOPS 635390 HAS SOUS 230170 HAS SOUPS 230170 WITH SCORE 230805.39
AT ITER 3494 NEW BEST:: SOT 695262 SOS 635144 HAS SOPS 635144 HAS SOUS 229678 HAS SOUPS 229678 WITH SCORE 230313.144
AT ITER 3497 NEW BEST:: SOT 695262 SOS 635144 HAS SOPS 635144 HAS SOUS 229614 HAS SOUPS 229614 WITH SCORE 230249.144
AT ITER 3524 NEW BEST:: SOT 695210 SOS 635092 HAS SOPS 635092 HAS SOUS 229510 HAS SOUPS 229510 WITH SCORE 230145.092
AT ITER 3557 NEW BEST:: SOT 695116 SOS 634998 HAS SOPS 634998 HAS SOUS 229322 HAS SOUPS 229322 WITH SCORE 229956.998
AT ITER 3561 NEW BEST:: SOT 694910 SOS 634792 HAS SOPS 634792 HAS SOUS 228910 HAS SOUPS 228910 WITH SCORE 229544.792
AT ITER 3577 NEW BEST:: SOT 694894 SOS 634776 HAS SOPS 634776 HAS SOUS 228156 HAS SOUPS 228156 WITH SCORE 228790.776
AT ITER 3588 NEW BEST:: SOT 694704 SOS 634586 HAS SOPS 634586 HAS SOUS 227776 HAS SOUPS 227776 WITH SCORE 228410.586
AT ITER 3589 NEW BEST:: SOT 694554 SOS 634436 HAS SOPS 634436 HAS SOUS 227476 HAS SOUPS 227476 WITH SCORE 228110.436
AT ITER 3600 NEW BEST:: SOT 694554 SOS 634436 HAS SOPS 634436 HAS SOUS 227298 HAS SOUPS 227298 WITH SCORE 227932.436
AT ITER 3606 NEW BEST:: SOT 694554 SOS 634436 HAS SOPS 634436 HAS SOUS 227220 HAS SOUPS 227220 WITH SCORE 227854.436
AT ITER 3611 NEW BEST:: SOT 694554 SOS 634436 HAS SOPS 634436 HAS SOUS 227208 HAS SOUPS 227208 WITH SCORE 227842.436
AT ITER 3617 NEW BEST:: SOT 694400 SOS 634282 HAS SOPS 634282 HAS SOUS 226900 HAS SOUPS 226900 WITH SCORE 227534.282
AT ITER 3621 NEW BEST:: SOT 694400 SOS 634282 HAS SOPS 634282 HAS SOUS 226870 HAS SOUPS 226870 WITH SCORE 227504.282
AT ITER 3622 NEW BEST:: SOT 694400 SOS 634282 HAS SOPS 634282 HAS SOUS 226826 HAS SOUPS 226826 WITH SCORE 227460.282
AT ITER 3637 NEW BEST:: SOT 694400 SOS 634282 HAS SOPS 634282 HAS SOUS 226462 HAS SOUPS 226462 WITH SCORE 227096.282
AT ITER 3642 NEW BEST:: SOT 694400 SOS 634282 HAS SOPS 634282 HAS SOUS 226354 HAS SOUPS 226354 WITH SCORE 226988.282
AT ITER 3645 NEW BEST:: SOT 694278 SOS 634160 HAS SOPS 634160 HAS SOUS 226110 HAS SOUPS 226110 WITH SCORE 226744.16
AT ITER 3665 NEW BEST:: SOT 694278 SOS 634160 HAS SOPS 634160 HAS SOUS 225988 HAS SOUPS 225988 WITH SCORE 226622.16
AT ITER 3666 NEW BEST:: SOT 693652 SOS 633534 HAS SOPS 633534 HAS SOUS 224736 HAS SOUPS 224736 WITH SCORE 225369.534
AT ITER 3673 NEW BEST:: SOT 693652 SOS 633534 HAS SOPS 633534 HAS SOUS 224174 HAS SOUPS 224174 WITH SCORE 224807.534
AT ITER 3687 NEW BEST:: SOT 693594 SOS 633476 HAS SOPS 633476 HAS SOUS 224058 HAS SOUPS 224058 WITH SCORE 224691.476
AT ITER 3698 NEW BEST:: SOT 693594 SOS 633476 HAS SOPS 633476 HAS SOUS 224054 HAS SOUPS 224054 WITH SCORE 224687.476
AT ITER 3701 NEW BEST:: SOT 693592 SOS 633474 HAS SOPS 633474 HAS SOUS 224050 HAS SOUPS 224050 WITH SCORE 224683.474
AT ITER 3729 NEW BEST:: SOT 693592 SOS 633474 HAS SOPS 633474 HAS SOUS 223944 HAS SOUPS 223944 WITH SCORE 224577.474
AT ITER 3755 NEW BEST:: SOT 693472 SOS 633354 HAS SOPS 633354 HAS SOUS 223704 HAS SOUPS 223704 WITH SCORE 224337.354
AT ITER 3775 NEW BEST:: SOT 693472 SOS 633354 HAS SOPS 633354 HAS SOUS 223642 HAS SOUPS 223642 WITH SCORE 224275.354
AT ITER 3781 NEW BEST:: SOT 693460 SOS 633342 HAS SOPS 633342 HAS SOUS 223618 HAS SOUPS 223618 WITH SCORE 224251.342
AT ITER 3790 NEW BEST:: SOT 693460 SOS 633342 HAS SOPS 633342 HAS SOUS 223376 HAS SOUPS 223376 WITH SCORE 224009.342
AT ITER 3791 NEW BEST:: SOT 693400 SOS 633282 HAS SOPS 633282 HAS SOUS 222914 HAS SOUPS 222914 WITH SCORE 223547.282
AT ITER 3824 NEW BEST:: SOT 693352 SOS 633234 HAS SOPS 633234 HAS SOUS 222818 HAS SOUPS 222818 WITH SCORE 223451.234
AT ITER 3829 NEW BEST:: SOT 693332 SOS 633214 HAS SOPS 633214 HAS SOUS 222778 HAS SOUPS 222778 WITH SCORE 223411.214
AT ITER 3834 NEW BEST:: SOT 693332 SOS 633214 HAS SOPS 633214 HAS SOUS 222716 HAS SOUPS 222716 WITH SCORE 223349.214
AT ITER 3840 NEW BEST:: SOT 693332 SOS 633214 HAS SOPS 633214 HAS SOUS 222692 HAS SOUPS 222692 WITH SCORE 223325.214
AT ITER 3901 NEW BEST:: SOT 693020 SOS 632902 HAS SOPS 632902 HAS SOUS 222068 HAS SOUPS 222068 WITH SCORE 222700.902
AT ITER 3902 NEW BEST:: SOT 693018 SOS 632900 HAS SOPS 632900 HAS SOUS 222064 HAS SOUPS 222064 WITH SCORE 222696.9
AT ITER 3909 NEW BEST:: SOT 693018 SOS 632876 HAS SOPS 632876 HAS SOUS 221972 HAS SOUPS 221972 WITH SCORE 222604.876
AT ITER 3925 NEW BEST:: SOT 693018 SOS 632876 HAS SOPS 632876 HAS SOUS 221832 HAS SOUPS 221832 WITH SCORE 222464.876
AT ITER 3926 NEW BEST:: SOT 693018 SOS 632746 HAS SOPS 632746 HAS SOUS 221832 HAS SOUPS 221832 WITH SCORE 222464.746
AT ITER 3938 NEW BEST:: SOT 693018 SOS 632746 HAS SOPS 632746 HAS SOUS 221790 HAS SOUPS 221790 WITH SCORE 222422.746
AT ITER 3956 NEW BEST:: SOT 692922 SOS 632650 HAS SOPS 632650 HAS SOUS 221598 HAS SOUPS 221598 WITH SCORE 222230.65
AT ITER 3972 NEW BEST:: SOT 692922 SOS 632650 HAS SOPS 632650 HAS SOUS 221592 HAS SOUPS 221592 WITH SCORE 222224.65
AT ITER 3974 NEW BEST:: SOT 692922 SOS 632650 HAS SOPS 632650 HAS SOUS 221566 HAS SOUPS 221566 WITH SCORE 222198.65
AT ITER 3990 NEW BEST:: SOT 692922 SOS 632650 HAS SOPS 632650 HAS SOUS 221394 HAS SOUPS 221394 WITH SCORE 222026.65
AT ITER 4006 NEW BEST:: SOT 692912 SOS 632640 HAS SOPS 632640 HAS SOUS 221374 HAS SOUPS 221374 WITH SCORE 222006.64
AT ITER 4007 NEW BEST:: SOT 692912 SOS 632640 HAS SOPS 632640 HAS SOUS 221366 HAS SOUPS 221366 WITH SCORE 221998.64
AT ITER 4024 NEW BEST:: SOT 652190 SOS 591918 HAS SOPS 591918 HAS SOUS 180644 HAS SOUPS 180644 WITH SCORE 181235.918
AT ITER 4034 NEW BEST:: SOT 652190 SOS 591918 HAS SOPS 591918 HAS SOUS 180374 HAS SOUPS 180374 WITH SCORE 180965.918
AT ITER 4037 NEW BEST:: SOT 651950 SOS 591678 HAS SOPS 591678 HAS SOUS 179894 HAS SOUPS 179894 WITH SCORE 180485.678
AT ITER 4041 NEW BEST:: SOT 651844 SOS 591572 HAS SOPS 591572 HAS SOUS 179682 HAS SOUPS 179682 WITH SCORE 180273.572
AT ITER 4045 NEW BEST:: SOT 651754 SOS 591482 HAS SOPS 591482 HAS SOUS 179502 HAS SOUPS 179502 WITH SCORE 180093.482
AT ITER 4048 NEW BEST:: SOT 651638 SOS 591366 HAS SOPS 591366 HAS SOUS 179270 HAS SOUPS 179270 WITH SCORE 179861.366
AT ITER 4049 NEW BEST:: SOT 651638 SOS 591366 HAS SOPS 591366 HAS SOUS 179052 HAS SOUPS 179052 WITH SCORE 179643.366
AT ITER 4054 NEW BEST:: SOT 651276 SOS 591004 HAS SOPS 591004 HAS SOUS 178540 HAS SOUPS 178540 WITH SCORE 179131.004
AT ITER 4056 NEW BEST:: SOT 651276 SOS 591004 HAS SOPS 591004 HAS SOUS 178520 HAS SOUPS 178520 WITH SCORE 179111.004
AT ITER 4058 NEW BEST:: SOT 651264 SOS 590992 HAS SOPS 590992 HAS SOUS 178496 HAS SOUPS 178496 WITH SCORE 179086.992
AT ITER 4062 NEW BEST:: SOT 651264 SOS 590992 HAS SOPS 590992 HAS SOUS 178372 HAS SOUPS 178372 WITH SCORE 178962.992
AT ITER 4064 NEW BEST:: SOT 651248 SOS 590976 HAS SOPS 590976 HAS SOUS 178324 HAS SOUPS 178324 WITH SCORE 178914.976
AT ITER 4073 NEW BEST:: SOT 651152 SOS 590880 HAS SOPS 590880 HAS SOUS 178132 HAS SOUPS 178132 WITH SCORE 178722.88
AT ITER 4087 NEW BEST:: SOT 651134 SOS 590862 HAS SOPS 590862 HAS SOUS 178096 HAS SOUPS 178096 WITH SCORE 178686.862
AT ITER 4089 NEW BEST:: SOT 651096 SOS 590824 HAS SOPS 590824 HAS SOUS 178020 HAS SOUPS 178020 WITH SCORE 178610.824
AT ITER 4092 NEW BEST:: SOT 650744 SOS 590472 HAS SOPS 590472 HAS SOUS 177316 HAS SOUPS 177316 WITH SCORE 177906.472
AT ITER 4093 NEW BEST:: SOT 650744 SOS 590472 HAS SOPS 590472 HAS SOUS 177220 HAS SOUPS 177220 WITH SCORE 177810.472
AT ITER 4096 NEW BEST:: SOT 650744 SOS 590472 HAS SOPS 590472 HAS SOUS 177172 HAS SOUPS 177172 WITH SCORE 177762.472
AT ITER 4121 NEW BEST:: SOT 650744 SOS 590472 HAS SOPS 590472 HAS SOUS 177164 HAS SOUPS 177164 WITH SCORE 177754.472
AT ITER 4128 NEW BEST:: SOT 650744 SOS 590472 HAS SOPS 590472 HAS SOUS 177154 HAS SOUPS 177154 WITH SCORE 177744.472
AT ITER 4163 NEW BEST:: SOT 650554 SOS 590282 HAS SOPS 590282 HAS SOUS 176774 HAS SOUPS 176774 WITH SCORE 177364.282
AT ITER 4169 NEW BEST:: SOT 650434 SOS 590162 HAS SOPS 590162 HAS SOUS 176534 HAS SOUPS 176534 WITH SCORE 177124.162
AT ITER 4205 NEW BEST:: SOT 650434 SOS 590162 HAS SOPS 590162 HAS SOUS 176392 HAS SOUPS 176392 WITH SCORE 176982.162
AT ITER 4208 NEW BEST:: SOT 650330 SOS 590058 HAS SOPS 590058 HAS SOUS 176184 HAS SOUPS 176184 WITH SCORE 176774.058
AT ITER 4210 NEW BEST:: SOT 650258 SOS 589986 HAS SOPS 589986 HAS SOUS 176040 HAS SOUPS 176040 WITH SCORE 176629.986
AT ITER 4240 NEW BEST:: SOT 650220 SOS 589948 HAS SOPS 589948 HAS SOUS 175964 HAS SOUPS 175964 WITH SCORE 176553.948
AT ITER 4254 NEW BEST:: SOT 650190 SOS 589918 HAS SOPS 589918 HAS SOUS 175904 HAS SOUPS 175904 WITH SCORE 176493.918
AT ITER 4259 NEW BEST:: SOT 650180 SOS 589908 HAS SOPS 589908 HAS SOUS 175884 HAS SOUPS 175884 WITH SCORE 176473.908
AT ITER 4282 NEW BEST:: SOT 649996 SOS 589724 HAS SOPS 589724 HAS SOUS 175516 HAS SOUPS 175516 WITH SCORE 176105.724
AT ITER 4299 NEW BEST:: SOT 649984 SOS 589712 HAS SOPS 589712 HAS SOUS 175492 HAS SOUPS 175492 WITH SCORE 176081.712
AT ITER 4317 NEW BEST:: SOT 649962 SOS 589690 HAS SOPS 589690 HAS SOUS 175448 HAS SOUPS 175448 WITH SCORE 176037.69
AT ITER 4338 NEW BEST:: SOT 649962 SOS 589690 HAS SOPS 589690 HAS SOUS 175396 HAS SOUPS 175396 WITH SCORE 175985.69
AT ITER 4352 NEW BEST:: SOT 649962 SOS 589690 HAS SOPS 589690 HAS SOUS 175294 HAS SOUPS 175294 WITH SCORE 175883.69
AT ITER 4355 NEW BEST:: SOT 649962 SOS 589690 HAS SOPS 589690 HAS SOUS 175242 HAS SOUPS 175242 WITH SCORE 175831.69
AT ITER 4356 NEW BEST:: SOT 649880 SOS 589608 HAS SOPS 589608 HAS SOUS 175078 HAS SOUPS 175078 WITH SCORE 175667.608
AT ITER 4386 NEW BEST:: SOT 649880 SOS 589608 HAS SOPS 589608 HAS SOUS 175000 HAS SOUPS 175000 WITH SCORE 175589.608
AT ITER 4387 NEW BEST:: SOT 649860 SOS 589588 HAS SOPS 589588 HAS SOUS 174960 HAS SOUPS 174960 WITH SCORE 175549.588
AT ITER 4390 NEW BEST:: SOT 649624 SOS 589352 HAS SOPS 589352 HAS SOUS 174488 HAS SOUPS 174488 WITH SCORE 175077.352
AT ITER 4398 NEW BEST:: SOT 649624 SOS 589352 HAS SOPS 589352 HAS SOUS 174480 HAS SOUPS 174480 WITH SCORE 175069.352
AT ITER 4428 NEW BEST:: SOT 649610 SOS 589338 HAS SOPS 589338 HAS SOUS 174452 HAS SOUPS 174452 WITH SCORE 175041.338
AT ITER 4429 NEW BEST:: SOT 649610 SOS 589260 HAS SOPS 589260 HAS SOUS 174320 HAS SOUPS 174320 WITH SCORE 174909.26
AT ITER 4444 NEW BEST:: SOT 649610 SOS 589260 HAS SOPS 589260 HAS SOUS 174192 HAS SOUPS 174192 WITH SCORE 174781.26
AT ITER 4448 NEW BEST:: SOT 649610 SOS 589260 HAS SOPS 589260 HAS SOUS 174126 HAS SOUPS 174126 WITH SCORE 174715.26
AT ITER 4466 NEW BEST:: SOT 649566 SOS 589216 HAS SOPS 589216 HAS SOUS 174038 HAS SOUPS 174038 WITH SCORE 174627.216
AT ITER 4485 NEW BEST:: SOT 649532 SOS 589182 HAS SOPS 589182 HAS SOUS 173970 HAS SOUPS 173970 WITH SCORE 174559.182
AT ITER 4502 NEW BEST:: SOT 649496 SOS 589146 HAS SOPS 589146 HAS SOUS 173898 HAS SOUPS 173898 WITH SCORE 174487.146
AT ITER 4532 NEW BEST:: SOT 649496 SOS 589146 HAS SOPS 589146 HAS SOUS 173806 HAS SOUPS 173806 WITH SCORE 174395.146
AT ITER 4543 NEW BEST:: SOT 649460 SOS 589110 HAS SOPS 589110 HAS SOUS 173734 HAS SOUPS 173734 WITH SCORE 174323.11
AT ITER 4551 NEW BEST:: SOT 649442 SOS 589092 HAS SOPS 589092 HAS SOUS 173698 HAS SOUPS 173698 WITH SCORE 174287.092
AT ITER 4557 NEW BEST:: SOT 649286 SOS 588936 HAS SOPS 588936 HAS SOUS 173386 HAS SOUPS 173386 WITH SCORE 173974.936
AT ITER 4565 NEW BEST:: SOT 649286 SOS 588888 HAS SOPS 588888 HAS SOUS 173312 HAS SOUPS 173312 WITH SCORE 173900.888
AT ITER 4611 NEW BEST:: SOT 649258 SOS 588860 HAS SOPS 588860 HAS SOUS 173256 HAS SOUPS 173256 WITH SCORE 173844.86
AT ITER 4613 NEW BEST:: SOT 649238 SOS 588840 HAS SOPS 588840 HAS SOUS 173216 HAS SOUPS 173216 WITH SCORE 173804.84
AT ITER 4615 NEW BEST:: SOT 649096 SOS 588698 HAS SOPS 588698 HAS SOUS 172932 HAS SOUPS 172932 WITH SCORE 173520.698
AT ITER 4621 NEW BEST:: SOT 649048 SOS 588650 HAS SOPS 588650 HAS SOUS 172836 HAS SOUPS 172836 WITH SCORE 173424.65
AT ITER 4643 NEW BEST:: SOT 649014 SOS 588616 HAS SOPS 588616 HAS SOUS 172768 HAS SOUPS 172768 WITH SCORE 173356.616
AT ITER 4645 NEW BEST:: SOT 649014 SOS 588616 HAS SOPS 588616 HAS SOUS 172672 HAS SOUPS 172672 WITH SCORE 173260.616
AT ITER 4660 NEW BEST:: SOT 648868 SOS 588470 HAS SOPS 588470 HAS SOUS 172380 HAS SOUPS 172380 WITH SCORE 172968.47
AT ITER 4677 NEW BEST:: SOT 648784 SOS 588386 HAS SOPS 588386 HAS SOUS 172212 HAS SOUPS 172212 WITH SCORE 172800.386
AT ITER 4678 NEW BEST:: SOT 631712 SOS 571314 HAS SOPS 571314 HAS SOUS 155140 HAS SOUPS 155140 WITH SCORE 155711.314
AT ITER 4695 NEW BEST:: SOT 631712 SOS 571130 HAS SOPS 571130 HAS SOUS 155006 HAS SOUPS 155006 WITH SCORE 155577.13
AT ITER 4702 NEW BEST:: SOT 631712 SOS 571130 HAS SOPS 571130 HAS SOUS 154944 HAS SOUPS 154944 WITH SCORE 155515.13
AT ITER 4714 NEW BEST:: SOT 631712 SOS 571130 HAS SOPS 571130 HAS SOUS 154896 HAS SOUPS 154896 WITH SCORE 155467.13
AT ITER 4730 NEW BEST:: SOT 631712 SOS 571130 HAS SOPS 571130 HAS SOUS 154764 HAS SOUPS 154764 WITH SCORE 155335.13
AT ITER 4733 NEW BEST:: SOT 631634 SOS 571052 HAS SOPS 571052 HAS SOUS 154608 HAS SOUPS 154608 WITH SCORE 155179.052
AT ITER 4745 NEW BEST:: SOT 631582 SOS 571000 HAS SOPS 571000 HAS SOUS 154504 HAS SOUPS 154504 WITH SCORE 155075.0
AT ITER 4758 NEW BEST:: SOT 631582 SOS 571000 HAS SOPS 571000 HAS SOUS 154446 HAS SOUPS 154446 WITH SCORE 155017.0
AT ITER 4780 NEW BEST:: SOT 631478 SOS 570896 HAS SOPS 570896 HAS SOUS 154162 HAS SOUPS 154162 WITH SCORE 154732.896
AT ITER 4813 NEW BEST:: SOT 631478 SOS 570896 HAS SOPS 570896 HAS SOUS 154076 HAS SOUPS 154076 WITH SCORE 154646.896
AT ITER 4814 NEW BEST:: SOT 631270 SOS 570688 HAS SOPS 570688 HAS SOUS 153660 HAS SOUPS 153660 WITH SCORE 154230.688
AT ITER 4816 NEW BEST:: SOT 631028 SOS 570446 HAS SOPS 570446 HAS SOUS 153176 HAS SOUPS 153176 WITH SCORE 153746.446
AT ITER 4842 NEW BEST:: SOT 630968 SOS 570386 HAS SOPS 570386 HAS SOUS 153056 HAS SOUPS 153056 WITH SCORE 153626.386
AT ITER 4855 NEW BEST:: SOT 630968 SOS 570386 HAS SOPS 570386 HAS SOUS 153008 HAS SOUPS 153008 WITH SCORE 153578.386
AT ITER 4860 NEW BEST:: SOT 630942 SOS 570360 HAS SOPS 570360 HAS SOUS 152956 HAS SOUPS 152956 WITH SCORE 153526.36
AT ITER 4873 NEW BEST:: SOT 630942 SOS 570360 HAS SOPS 570360 HAS SOUS 152914 HAS SOUPS 152914 WITH SCORE 153484.36
AT ITER 4913 NEW BEST:: SOT 630760 SOS 570178 HAS SOPS 570178 HAS SOUS 152550 HAS SOUPS 152550 WITH SCORE 153120.178
AT ITER 4922 NEW BEST:: SOT 630534 SOS 569952 HAS SOPS 569952 HAS SOUS 152098 HAS SOUPS 152098 WITH SCORE 152667.952
AT ITER 4926 NEW BEST:: SOT 630534 SOS 569952 HAS SOPS 569952 HAS SOUS 152034 HAS SOUPS 152034 WITH SCORE 152603.952
AT ITER 4929 NEW BEST:: SOT 630340 SOS 569758 HAS SOPS 569758 HAS SOUS 151646 HAS SOUPS 151646 WITH SCORE 152215.758
AT ITER 4932 NEW BEST:: SOT 630340 SOS 569758 HAS SOPS 569758 HAS SOUS 151466 HAS SOUPS 151466 WITH SCORE 152035.758
AT ITER 4935 NEW BEST:: SOT 630022 SOS 569440 HAS SOPS 569440 HAS SOUS 150830 HAS SOUPS 150830 WITH SCORE 151399.44
AT ITER 4939 NEW BEST:: SOT 630022 SOS 569440 HAS SOPS 569440 HAS SOUS 150708 HAS SOUPS 150708 WITH SCORE 151277.44
AT ITER 4971 NEW BEST:: SOT 629778 SOS 569196 HAS SOPS 569196 HAS SOUS 150220 HAS SOUPS 150220 WITH SCORE 150789.196
AT ITER 4975 NEW BEST:: SOT 629778 SOS 569196 HAS SOPS 569196 HAS SOUS 150172 HAS SOUPS 150172 WITH SCORE 150741.196
AT ITER 4979 NEW BEST:: SOT 629778 SOS 569196 HAS SOPS 569196 HAS SOUS 150156 HAS SOUPS 150156 WITH SCORE 150725.196
AT ITER 4990 NEW BEST:: SOT 629616 SOS 569034 HAS SOPS 569034 HAS SOUS 149832 HAS SOUPS 149832 WITH SCORE 150401.034
AT ITER 4992 NEW BEST:: SOT 629616 SOS 569034 HAS SOPS 569034 HAS SOUS 149756 HAS SOUPS 149756 WITH SCORE 150325.034
AT ITER 5010 NEW BEST:: SOT 629616 SOS 569034 HAS SOPS 569034 HAS SOUS 149574 HAS SOUPS 149574 WITH SCORE 150143.034
AT ITER 5037 NEW BEST:: SOT 629256 SOS 568674 HAS SOPS 568674 HAS SOUS 148782 HAS SOUPS 148782 WITH SCORE 149350.674
AT ITER 5038 NEW BEST:: SOT 629222 SOS 568640 HAS SOPS 568640 HAS SOUS 148714 HAS SOUPS 148714 WITH SCORE 149282.64
AT ITER 5053 NEW BEST:: SOT 629222 SOS 568640 HAS SOPS 568640 HAS SOUS 148528 HAS SOUPS 148528 WITH SCORE 149096.64
AT ITER 5059 NEW BEST:: SOT 629222 SOS 568640 HAS SOPS 568640 HAS SOUS 148272 HAS SOUPS 148272 WITH SCORE 148840.64
AT ITER 5067 NEW BEST:: SOT 629036 SOS 568454 HAS SOPS 568454 HAS SOUS 147900 HAS SOUPS 147900 WITH SCORE 148468.454
AT ITER 5070 NEW BEST:: SOT 629028 SOS 568446 HAS SOPS 568446 HAS SOUS 147884 HAS SOUPS 147884 WITH SCORE 148452.446
AT ITER 5072 NEW BEST:: SOT 628778 SOS 568196 HAS SOPS 568196 HAS SOUS 147384 HAS SOUPS 147384 WITH SCORE 147952.196
AT ITER 5090 NEW BEST:: SOT 628736 SOS 568154 HAS SOPS 568154 HAS SOUS 147300 HAS SOUPS 147300 WITH SCORE 147868.154
AT ITER 5113 NEW BEST:: SOT 628590 SOS 568008 HAS SOPS 568008 HAS SOUS 147008 HAS SOUPS 147008 WITH SCORE 147576.008
AT ITER 5114 NEW BEST:: SOT 628568 SOS 567986 HAS SOPS 567986 HAS SOUS 146964 HAS SOUPS 146964 WITH SCORE 147531.986
AT ITER 5184 NEW BEST:: SOT 628560 SOS 567978 HAS SOPS 567978 HAS SOUS 146948 HAS SOUPS 146948 WITH SCORE 147515.978
AT ITER 5201 NEW BEST:: SOT 628406 SOS 567824 HAS SOPS 567824 HAS SOUS 146640 HAS SOUPS 146640 WITH SCORE 147207.824
AT ITER 5205 NEW BEST:: SOT 628354 SOS 567772 HAS SOPS 567772 HAS SOUS 146536 HAS SOUPS 146536 WITH SCORE 147103.772
AT ITER 5210 NEW BEST:: SOT 628354 SOS 567568 HAS SOPS 567568 HAS SOUS 146458 HAS SOUPS 146458 WITH SCORE 147025.568
AT ITER 5235 NEW BEST:: SOT 628354 SOS 567568 HAS SOPS 567568 HAS SOUS 146422 HAS SOUPS 146422 WITH SCORE 146989.568
AT ITER 5248 NEW BEST:: SOT 628278 SOS 567492 HAS SOPS 567492 HAS SOUS 146270 HAS SOUPS 146270 WITH SCORE 146837.492
AT ITER 5254 NEW BEST:: SOT 628276 SOS 567490 HAS SOPS 567490 HAS SOUS 146266 HAS SOUPS 146266 WITH SCORE 146833.49
AT ITER 5268 NEW BEST:: SOT 628276 SOS 567490 HAS SOPS 567490 HAS SOUS 146196 HAS SOUPS 146196 WITH SCORE 146763.49
AT ITER 5273 NEW BEST:: SOT 616914 SOS 556202 HAS SOPS 556202 HAS SOUS 134834 HAS SOUPS 134834 WITH SCORE 135390.202
AT ITER 5293 NEW BEST:: SOT 616730 SOS 556018 HAS SOPS 556018 HAS SOUS 134466 HAS SOUPS 134466 WITH SCORE 135022.018
AT ITER 5296 NEW BEST:: SOT 616696 SOS 555984 HAS SOPS 555984 HAS SOUS 134398 HAS SOUPS 134398 WITH SCORE 134953.984
AT ITER 5297 NEW BEST:: SOT 616528 SOS 555816 HAS SOPS 555816 HAS SOUS 133988 HAS SOUPS 133988 WITH SCORE 134543.816
AT ITER 5301 NEW BEST:: SOT 616488 SOS 555776 HAS SOPS 555776 HAS SOUS 133908 HAS SOUPS 133908 WITH SCORE 134463.776
AT ITER 5324 NEW BEST:: SOT 616198 SOS 555486 HAS SOPS 555486 HAS SOUS 133328 HAS SOUPS 133328 WITH SCORE 133883.486
AT ITER 5336 NEW BEST:: SOT 616198 SOS 555486 HAS SOPS 555486 HAS SOUS 133288 HAS SOUPS 133288 WITH SCORE 133843.486
AT ITER 5347 NEW BEST:: SOT 616170 SOS 555458 HAS SOPS 555458 HAS SOUS 133232 HAS SOUPS 133232 WITH SCORE 133787.458
AT ITER 5366 NEW BEST:: SOT 616230 SOS 555518 HAS SOPS 555518 HAS SOUS 133198 HAS SOUPS 133198 WITH SCORE 133753.518
AT ITER 5367 NEW BEST:: SOT 616156 SOS 555444 HAS SOPS 555444 HAS SOUS 133050 HAS SOUPS 133050 WITH SCORE 133605.444
AT ITER 5368 NEW BEST:: SOT 616136 SOS 555424 HAS SOPS 555424 HAS SOUS 133010 HAS SOUPS 133010 WITH SCORE 133565.424
AT ITER 5369 NEW BEST:: SOT 616136 SOS 555424 HAS SOPS 555424 HAS SOUS 132904 HAS SOUPS 132904 WITH SCORE 133459.424
AT ITER 5371 NEW BEST:: SOT 616040 SOS 555328 HAS SOPS 555328 HAS SOUS 132712 HAS SOUPS 132712 WITH SCORE 133267.328
AT ITER 5431 NEW BEST:: SOT 615934 SOS 555222 HAS SOPS 555222 HAS SOUS 132500 HAS SOUPS 132500 WITH SCORE 133055.222
AT ITER 5448 NEW BEST:: SOT 615640 SOS 554928 HAS SOPS 554928 HAS SOUS 131912 HAS SOUPS 131912 WITH SCORE 132466.928
AT ITER 5451 NEW BEST:: SOT 615634 SOS 554922 HAS SOPS 554922 HAS SOUS 131900 HAS SOUPS 131900 WITH SCORE 132454.922
AT ITER 5486 NEW BEST:: SOT 615634 SOS 554922 HAS SOPS 554922 HAS SOUS 131784 HAS SOUPS 131784 WITH SCORE 132338.922
AT ITER 5498 NEW BEST:: SOT 615634 SOS 554922 HAS SOPS 554922 HAS SOUS 131706 HAS SOUPS 131706 WITH SCORE 132260.922
AT ITER 5523 NEW BEST:: SOT 615486 SOS 554774 HAS SOPS 554774 HAS SOUS 131410 HAS SOUPS 131410 WITH SCORE 131964.774
AT ITER 5528 NEW BEST:: SOT 615452 SOS 554740 HAS SOPS 554740 HAS SOUS 131342 HAS SOUPS 131342 WITH SCORE 131896.74
AT ITER 5538 NEW BEST:: SOT 615434 SOS 554722 HAS SOPS 554722 HAS SOUS 131306 HAS SOUPS 131306 WITH SCORE 131860.722
AT ITER 5543 NEW BEST:: SOT 615434 SOS 554692 HAS SOPS 554692 HAS SOUS 131276 HAS SOUPS 131276 WITH SCORE 131830.692
AT ITER 5547 NEW BEST:: SOT 615434 SOS 554692 HAS SOPS 554692 HAS SOUS 131196 HAS SOUPS 131196 WITH SCORE 131750.692
AT ITER 5559 NEW BEST:: SOT 614304 SOS 553834 HAS SOPS 553834 HAS SOUS 130338 HAS SOUPS 130338 WITH SCORE 130891.834
AT ITER 5568 NEW BEST:: SOT 614272 SOS 553802 HAS SOPS 553802 HAS SOUS 130238 HAS SOUPS 130238 WITH SCORE 130791.802
AT ITER 5575 NEW BEST:: SOT 614272 SOS 553802 HAS SOPS 553802 HAS SOUS 130146 HAS SOUPS 130146 WITH SCORE 130699.802
AT ITER 5579 NEW BEST:: SOT 614086 SOS 553616 HAS SOPS 553616 HAS SOUS 129774 HAS SOUPS 129774 WITH SCORE 130327.616
AT ITER 5581 NEW BEST:: SOT 614082 SOS 553612 HAS SOPS 553612 HAS SOUS 129766 HAS SOUPS 129766 WITH SCORE 130319.612
AT ITER 5583 NEW BEST:: SOT 614082 SOS 553612 HAS SOPS 553612 HAS SOUS 129708 HAS SOUPS 129708 WITH SCORE 130261.612
AT ITER 5588 NEW BEST:: SOT 614058 SOS 553588 HAS SOPS 553588 HAS SOUS 129660 HAS SOUPS 129660 WITH SCORE 130213.588
AT ITER 5601 NEW BEST:: SOT 614058 SOS 553588 HAS SOPS 553588 HAS SOUS 129552 HAS SOUPS 129552 WITH SCORE 130105.588
AT ITER 5619 NEW BEST:: SOT 614058 SOS 553588 HAS SOPS 553588 HAS SOUS 129496 HAS SOUPS 129496 WITH SCORE 130049.588
AT ITER 5635 NEW BEST:: SOT 614058 SOS 553588 HAS SOPS 553588 HAS SOUS 129436 HAS SOUPS 129436 WITH SCORE 129989.588
AT ITER 5644 NEW BEST:: SOT 613990 SOS 555356 HAS SOPS 555356 HAS SOUS 129350 HAS SOUPS 129350 WITH SCORE 129905.356
AT ITER 5645 NEW BEST:: SOT 613970 SOS 555336 HAS SOPS 555336 HAS SOUS 129310 HAS SOUPS 129310 WITH SCORE 129865.336
AT ITER 5697 NEW BEST:: SOT 613970 SOS 555336 HAS SOPS 555336 HAS SOUS 129238 HAS SOUPS 129238 WITH SCORE 129793.336
AT ITER 5708 NEW BEST:: SOT 613934 SOS 593986 HAS SOPS 593986 HAS SOUS 129152 HAS SOUPS 129152 WITH SCORE 129745.986
AT ITER 5710 NEW BEST:: SOT 613934 SOS 593986 HAS SOPS 593986 HAS SOUS 129106 HAS SOUPS 129106 WITH SCORE 129699.986
AT ITER 5737 NEW BEST:: SOT 613896 SOS 593948 HAS SOPS 593948 HAS SOUS 129030 HAS SOUPS 129030 WITH SCORE 129623.948
AT ITER 5742 NEW BEST:: SOT 613868 SOS 593920 HAS SOPS 593920 HAS SOUS 128758 HAS SOUPS 128758 WITH SCORE 129351.92
AT ITER 5751 NEW BEST:: SOT 613752 SOS 593804 HAS SOPS 593804 HAS SOUS 128526 HAS SOUPS 128526 WITH SCORE 129119.804
AT ITER 5763 NEW BEST:: SOT 613704 SOS 593756 HAS SOPS 593756 HAS SOUS 128430 HAS SOUPS 128430 WITH SCORE 129023.756
AT ITER 5772 NEW BEST:: SOT 613634 SOS 593686 HAS SOPS 593686 HAS SOUS 128290 HAS SOUPS 128290 WITH SCORE 128883.686
AT ITER 5773 NEW BEST:: SOT 613422 SOS 593474 HAS SOPS 593474 HAS SOUS 127866 HAS SOUPS 127866 WITH SCORE 128459.474
AT ITER 5778 NEW BEST:: SOT 613422 SOS 593474 HAS SOPS 593474 HAS SOUS 127724 HAS SOUPS 127724 WITH SCORE 128317.474
AT ITER 5801 NEW BEST:: SOT 613422 SOS 593624 HAS SOPS 593624 HAS SOUS 127582 HAS SOUPS 127582 WITH SCORE 128175.624
AT ITER 5803 NEW BEST:: SOT 613422 SOS 593624 HAS SOPS 593624 HAS SOUS 127564 HAS SOUPS 127564 WITH SCORE 128157.624
AT ITER 5826 NEW BEST:: SOT 613344 SOS 593546 HAS SOPS 593546 HAS SOUS 127400 HAS SOUPS 127400 WITH SCORE 127993.546
AT ITER 5833 NEW BEST:: SOT 613304 SOS 593506 HAS SOPS 593506 HAS SOUS 127320 HAS SOUPS 127320 WITH SCORE 127913.506
AT ITER 5851 NEW BEST:: SOT 613304 SOS 593506 HAS SOPS 593506 HAS SOUS 127230 HAS SOUPS 127230 WITH SCORE 127823.506
AT ITER 5870 NEW BEST:: SOT 613254 SOS 593456 HAS SOPS 593456 HAS SOUS 127130 HAS SOUPS 127130 WITH SCORE 127723.456
AT ITER 5884 NEW BEST:: SOT 613238 SOS 593440 HAS SOPS 593440 HAS SOUS 127098 HAS SOUPS 127098 WITH SCORE 127691.44
AT ITER 5919 NEW BEST:: SOT 613212 SOS 593414 HAS SOPS 593414 HAS SOUS 127046 HAS SOUPS 127046 WITH SCORE 127639.414
AT ITER 5920 NEW BEST:: SOT 613138 SOS 593340 HAS SOPS 593340 HAS SOUS 126898 HAS SOUPS 126898 WITH SCORE 127491.34
AT ITER 5925 NEW BEST:: SOT 613138 SOS 593340 HAS SOPS 593340 HAS SOUS 126826 HAS SOUPS 126826 WITH SCORE 127419.34
AT ITER 5949 NEW BEST:: SOT 613032 SOS 593234 HAS SOPS 593234 HAS SOUS 126614 HAS SOUPS 126614 WITH SCORE 127207.234
AT ITER 5973 NEW BEST:: SOT 613032 SOS 593234 HAS SOPS 593234 HAS SOUS 126610 HAS SOUPS 126610 WITH SCORE 127203.234
AT ITER 5986 NEW BEST:: SOT 613028 SOS 593230 HAS SOPS 593230 HAS SOUS 126602 HAS SOUPS 126602 WITH SCORE 127195.23
AT ITER 5987 NEW BEST:: SOT 613024 SOS 593226 HAS SOPS 593226 HAS SOUS 126594 HAS SOUPS 126594 WITH SCORE 127187.226
AT ITER 5998 NEW BEST:: SOT 612910 SOS 593112 HAS SOPS 593112 HAS SOUS 126366 HAS SOUPS 126366 WITH SCORE 126959.112
AT ITER 5999 NEW BEST:: SOT 612910 SOS 593112 HAS SOPS 593112 HAS SOUS 126324 HAS SOUPS 126324 WITH SCORE 126917.112
AT ITER 6002 NEW BEST:: SOT 612840 SOS 593042 HAS SOPS 593042 HAS SOUS 126184 HAS SOUPS 126184 WITH SCORE 126777.042
AT ITER 6010 NEW BEST:: SOT 612870 SOS 554330 HAS SOPS 554330 HAS SOUS 126182 HAS SOUPS 126182 WITH SCORE 126736.33
AT ITER 6038 NEW BEST:: SOT 612744 SOS 554204 HAS SOPS 554204 HAS SOUS 125930 HAS SOUPS 125930 WITH SCORE 126484.204
AT ITER 6052 NEW BEST:: SOT 612658 SOS 554118 HAS SOPS 554118 HAS SOUS 125758 HAS SOUPS 125758 WITH SCORE 126312.118
AT ITER 6090 NEW BEST:: SOT 612658 SOS 554118 HAS SOPS 554118 HAS SOUS 125702 HAS SOUPS 125702 WITH SCORE 126256.118
AT ITER 6097 NEW BEST:: SOT 612646 SOS 554106 HAS SOPS 554106 HAS SOUS 125678 HAS SOUPS 125678 WITH SCORE 126232.106
AT ITER 6103 NEW BEST:: SOT 612640 SOS 554100 HAS SOPS 554100 HAS SOUS 125632 HAS SOUPS 125632 WITH SCORE 126186.1
AT ITER 6110 NEW BEST:: SOT 612594 SOS 554054 HAS SOPS 554054 HAS SOUS 125540 HAS SOUPS 125540 WITH SCORE 126094.054
AT ITER 6113 NEW BEST:: SOT 612594 SOS 554054 HAS SOPS 554054 HAS SOUS 125528 HAS SOUPS 125528 WITH SCORE 126082.054
AT ITER 6139 NEW BEST:: SOT 612594 SOS 554054 HAS SOPS 554054 HAS SOUS 125502 HAS SOUPS 125502 WITH SCORE 126056.054
AT ITER 6142 NEW BEST:: SOT 612480 SOS 553940 HAS SOPS 553940 HAS SOUS 125274 HAS SOUPS 125274 WITH SCORE 125827.94
AT ITER 6146 NEW BEST:: SOT 612472 SOS 553932 HAS SOPS 553932 HAS SOUS 125258 HAS SOUPS 125258 WITH SCORE 125811.932
AT ITER 6190 NEW BEST:: SOT 612264 SOS 553724 HAS SOPS 553724 HAS SOUS 124842 HAS SOUPS 124842 WITH SCORE 125395.724
AT ITER 6206 NEW BEST:: SOT 612216 SOS 553676 HAS SOPS 553676 HAS SOUS 124746 HAS SOUPS 124746 WITH SCORE 125299.676
AT ITER 6219 NEW BEST:: SOT 612216 SOS 553676 HAS SOPS 553676 HAS SOUS 124690 HAS SOUPS 124690 WITH SCORE 125243.676
AT ITER 6224 NEW BEST:: SOT 612100 SOS 553560 HAS SOPS 553560 HAS SOUS 124458 HAS SOUPS 124458 WITH SCORE 125011.56
AT ITER 6227 NEW BEST:: SOT 611834 SOS 553294 HAS SOPS 553294 HAS SOUS 124166 HAS SOUPS 124166 WITH SCORE 124719.294
AT ITER 6254 NEW BEST:: SOT 611802 SOS 553262 HAS SOPS 553262 HAS SOUS 124102 HAS SOUPS 124102 WITH SCORE 124655.262
AT ITER 6265 NEW BEST:: SOT 611760 SOS 553220 HAS SOPS 553220 HAS SOUS 124018 HAS SOUPS 124018 WITH SCORE 124571.22
AT ITER 6268 NEW BEST:: SOT 611752 SOS 553212 HAS SOPS 553212 HAS SOUS 123990 HAS SOUPS 123990 WITH SCORE 124543.212
AT ITER 6274 NEW BEST:: SOT 611678 SOS 553138 HAS SOPS 553138 HAS SOUS 123842 HAS SOUPS 123842 WITH SCORE 124395.138
AT ITER 6283 NEW BEST:: SOT 611632 SOS 553092 HAS SOPS 553092 HAS SOUS 123750 HAS SOUPS 123750 WITH SCORE 124303.092
AT ITER 6296 NEW BEST:: SOT 611632 SOS 553130 HAS SOPS 553130 HAS SOUS 123734 HAS SOUPS 123734 WITH SCORE 124287.13
AT ITER 6327 NEW BEST:: SOT 611552 SOS 553050 HAS SOPS 553050 HAS SOUS 123574 HAS SOUPS 123574 WITH SCORE 124127.05
AT ITER 6337 NEW BEST:: SOT 611552 SOS 553050 HAS SOPS 553050 HAS SOUS 123360 HAS SOUPS 123360 WITH SCORE 123913.05
AT ITER 6344 NEW BEST:: SOT 611504 SOS 553002 HAS SOPS 553002 HAS SOUS 123264 HAS SOUPS 123264 WITH SCORE 123817.002
AT ITER 6345 NEW BEST:: SOT 611522 SOS 553020 HAS SOPS 553020 HAS SOUS 123114 HAS SOUPS 123114 WITH SCORE 123667.02
AT ITER 6395 NEW BEST:: SOT 611502 SOS 553000 HAS SOPS 553000 HAS SOUS 123074 HAS SOUPS 123074 WITH SCORE 123627.0
AT ITER 6399 NEW BEST:: SOT 611474 SOS 552972 HAS SOPS 552972 HAS SOUS 123018 HAS SOUPS 123018 WITH SCORE 123570.972
AT ITER 6402 NEW BEST:: SOT 611458 SOS 552956 HAS SOPS 552956 HAS SOUS 122986 HAS SOUPS 122986 WITH SCORE 123538.956
AT ITER 6425 NEW BEST:: SOT 611390 SOS 552888 HAS SOPS 552888 HAS SOUS 122850 HAS SOUPS 122850 WITH SCORE 123402.888
AT ITER 6428 NEW BEST:: SOT 611366 SOS 552864 HAS SOPS 552864 HAS SOUS 122802 HAS SOUPS 122802 WITH SCORE 123354.864
AT ITER 6439 NEW BEST:: SOT 611336 SOS 552834 HAS SOPS 552834 HAS SOUS 122742 HAS SOUPS 122742 WITH SCORE 123294.834
AT ITER 6444 NEW BEST:: SOT 611300 SOS 552798 HAS SOPS 552798 HAS SOUS 122670 HAS SOUPS 122670 WITH SCORE 123222.798
AT ITER 6456 NEW BEST:: SOT 611300 SOS 552798 HAS SOPS 552798 HAS SOUS 122668 HAS SOUPS 122668 WITH SCORE 123220.798
AT ITER 6474 NEW BEST:: SOT 611250 SOS 552748 HAS SOPS 552748 HAS SOUS 122568 HAS SOUPS 122568 WITH SCORE 123120.748
AT ITER 6476 NEW BEST:: SOT 611098 SOS 552596 HAS SOPS 552596 HAS SOUS 122264 HAS SOUPS 122264 WITH SCORE 122816.596
AT ITER 6524 NEW BEST:: SOT 611042 SOS 552540 HAS SOPS 552540 HAS SOUS 122152 HAS SOUPS 122152 WITH SCORE 122704.54
AT ITER 6541 NEW BEST:: SOT 611042 SOS 552540 HAS SOPS 552540 HAS SOUS 121930 HAS SOUPS 121930 WITH SCORE 122482.54
AT ITER 6556 NEW BEST:: SOT 610962 SOS 552460 HAS SOPS 552460 HAS SOUS 121770 HAS SOUPS 121770 WITH SCORE 122322.46
AT ITER 6563 NEW BEST:: SOT 610962 SOS 552460 HAS SOPS 552460 HAS SOUS 121748 HAS SOUPS 121748 WITH SCORE 122300.46
AT ITER 6583 NEW BEST:: SOT 610864 SOS 552362 HAS SOPS 552362 HAS SOUS 121552 HAS SOUPS 121552 WITH SCORE 122104.362
AT ITER 6596 NEW BEST:: SOT 610758 SOS 552256 HAS SOPS 552256 HAS SOUS 121340 HAS SOUPS 121340 WITH SCORE 121892.256
AT ITER 6603 NEW BEST:: SOT 610758 SOS 552256 HAS SOPS 552256 HAS SOUS 121258 HAS SOUPS 121258 WITH SCORE 121810.256
AT ITER 6604 NEW BEST:: SOT 610758 SOS 552228 HAS SOPS 552228 HAS SOUS 121012 HAS SOUPS 121012 WITH SCORE 121564.228
AT ITER 6608 NEW BEST:: SOT 610758 SOS 552228 HAS SOPS 552228 HAS SOUS 120834 HAS SOUPS 120834 WITH SCORE 121386.228
AT ITER 6638 NEW BEST:: SOT 610728 SOS 552198 HAS SOPS 552198 HAS SOUS 120774 HAS SOUPS 120774 WITH SCORE 121326.198
AT ITER 6640 NEW BEST:: SOT 610676 SOS 552146 HAS SOPS 552146 HAS SOUS 120670 HAS SOUPS 120670 WITH SCORE 121222.146
AT ITER 6643 NEW BEST:: SOT 610660 SOS 552130 HAS SOPS 552130 HAS SOUS 120638 HAS SOUPS 120638 WITH SCORE 121190.13
AT ITER 6665 NEW BEST:: SOT 610606 SOS 552076 HAS SOPS 552076 HAS SOUS 120530 HAS SOUPS 120530 WITH SCORE 121082.076
AT ITER 6681 NEW BEST:: SOT 610566 SOS 552036 HAS SOPS 552036 HAS SOUS 120450 HAS SOUPS 120450 WITH SCORE 121002.036
AT ITER 6695 NEW BEST:: SOT 610566 SOS 552036 HAS SOPS 552036 HAS SOUS 120430 HAS SOUPS 120430 WITH SCORE 120982.036
AT ITER 6718 NEW BEST:: SOT 610434 SOS 551904 HAS SOPS 551904 HAS SOUS 120166 HAS SOUPS 120166 WITH SCORE 120717.904
AT ITER 6722 NEW BEST:: SOT 610402 SOS 551872 HAS SOPS 551872 HAS SOUS 120102 HAS SOUPS 120102 WITH SCORE 120653.872
AT ITER 6723 NEW BEST:: SOT 610402 SOS 551872 HAS SOPS 551872 HAS SOUS 120088 HAS SOUPS 120088 WITH SCORE 120639.872
AT ITER 6742 NEW BEST:: SOT 610328 SOS 551798 HAS SOPS 551798 HAS SOUS 119548 HAS SOUPS 119548 WITH SCORE 120099.798
AT ITER 6797 NEW BEST:: SOT 610240 SOS 551710 HAS SOPS 551710 HAS SOUS 119372 HAS SOUPS 119372 WITH SCORE 119923.71
AT ITER 6807 NEW BEST:: SOT 610164 SOS 551634 HAS SOPS 551634 HAS SOUS 119220 HAS SOUPS 119220 WITH SCORE 119771.634
AT ITER 6814 NEW BEST:: SOT 610076 SOS 551546 HAS SOPS 551546 HAS SOUS 119044 HAS SOUPS 119044 WITH SCORE 119595.546
AT ITER 6834 NEW BEST:: SOT 610076 SOS 551682 HAS SOPS 551682 HAS SOUS 119036 HAS SOUPS 119036 WITH SCORE 119587.682
AT ITER 6849 NEW BEST:: SOT 610064 SOS 551670 HAS SOPS 551670 HAS SOUS 118970 HAS SOUPS 118970 WITH SCORE 119521.67
AT ITER 6865 NEW BEST:: SOT 609938 SOS 551544 HAS SOPS 551544 HAS SOUS 118718 HAS SOUPS 118718 WITH SCORE 119269.544
AT ITER 6878 NEW BEST:: SOT 609938 SOS 551544 HAS SOPS 551544 HAS SOUS 118648 HAS SOUPS 118648 WITH SCORE 119199.544
AT ITER 6884 NEW BEST:: SOT 609938 SOS 551540 HAS SOPS 551540 HAS SOUS 118644 HAS SOUPS 118644 WITH SCORE 119195.54
AT ITER 6913 NEW BEST:: SOT 609874 SOS 551476 HAS SOPS 551476 HAS SOUS 118516 HAS SOUPS 118516 WITH SCORE 119067.476
AT ITER 6929 NEW BEST:: SOT 609858 SOS 551460 HAS SOPS 551460 HAS SOUS 118484 HAS SOUPS 118484 WITH SCORE 119035.46
AT ITER 6940 NEW BEST:: SOT 609858 SOS 551460 HAS SOPS 551460 HAS SOUS 118452 HAS SOUPS 118452 WITH SCORE 119003.46
AT ITER 6953 NEW BEST:: SOT 609848 SOS 551450 HAS SOPS 551450 HAS SOUS 118432 HAS SOUPS 118432 WITH SCORE 118983.45
AT ITER 6954 NEW BEST:: SOT 609798 SOS 551400 HAS SOPS 551400 HAS SOUS 118332 HAS SOUPS 118332 WITH SCORE 118883.4
AT ITER 6964 NEW BEST:: SOT 609754 SOS 551356 HAS SOPS 551356 HAS SOUS 118244 HAS SOUPS 118244 WITH SCORE 118795.356
AT ITER 7044 NEW BEST:: SOT 609750 SOS 551352 HAS SOPS 551352 HAS SOUS 118236 HAS SOUPS 118236 WITH SCORE 118787.352
AT ITER 7088 NEW BEST:: SOT 609620 SOS 551222 HAS SOPS 551222 HAS SOUS 117976 HAS SOUPS 117976 WITH SCORE 118527.222
AT ITER 7094 NEW BEST:: SOT 609620 SOS 551222 HAS SOPS 551222 HAS SOUS 117940 HAS SOUPS 117940 WITH SCORE 118491.222
AT ITER 7108 NEW BEST:: SOT 609618 SOS 551220 HAS SOPS 551220 HAS SOUS 117936 HAS SOUPS 117936 WITH SCORE 118487.22
AT ITER 7121 NEW BEST:: SOT 609610 SOS 551212 HAS SOPS 551212 HAS SOUS 117920 HAS SOUPS 117920 WITH SCORE 118471.212
AT ITER 7127 NEW BEST:: SOT 609608 SOS 551210 HAS SOPS 551210 HAS SOUS 117916 HAS SOUPS 117916 WITH SCORE 118467.21
AT ITER 7166 NEW BEST:: SOT 609590 SOS 551192 HAS SOPS 551192 HAS SOUS 117880 HAS SOUPS 117880 WITH SCORE 118431.192
AT ITER 7168 NEW BEST:: SOT 609556 SOS 551158 HAS SOPS 551158 HAS SOUS 117812 HAS SOUPS 117812 WITH SCORE 118363.158
AT ITER 7188 NEW BEST:: SOT 609556 SOS 551158 HAS SOPS 551158 HAS SOUS 117736 HAS SOUPS 117736 WITH SCORE 118287.158
AT ITER 7267 NEW BEST:: SOT 609534 SOS 551136 HAS SOPS 551136 HAS SOUS 117692 HAS SOUPS 117692 WITH SCORE 118243.136
AT ITER 7271 NEW BEST:: SOT 609524 SOS 551056 HAS SOPS 551056 HAS SOUS 117598 HAS SOUPS 117598 WITH SCORE 118149.056
AT ITER 7273 NEW BEST:: SOT 609524 SOS 551056 HAS SOPS 551056 HAS SOUS 117592 HAS SOUPS 117592 WITH SCORE 118143.056
AT ITER 7288 NEW BEST:: SOT 609510 SOS 551042 HAS SOPS 551042 HAS SOUS 117564 HAS SOUPS 117564 WITH SCORE 118115.042
AT ITER 7307 NEW BEST:: SOT 609406 SOS 550938 HAS SOPS 550938 HAS SOUS 117356 HAS SOUPS 117356 WITH SCORE 117906.938
AT ITER 7312 NEW BEST:: SOT 609406 SOS 550938 HAS SOPS 550938 HAS SOUS 117174 HAS SOUPS 117174 WITH SCORE 117724.938
AT ITER 7318 NEW BEST:: SOT 609406 SOS 550938 HAS SOPS 550938 HAS SOUS 117100 HAS SOUPS 117100 WITH SCORE 117650.938
AT ITER 7338 NEW BEST:: SOT 609358 SOS 550890 HAS SOPS 550890 HAS SOUS 117004 HAS SOUPS 117004 WITH SCORE 117554.89
AT ITER 7378 NEW BEST:: SOT 609094 SOS 576030 HAS SOPS 576030 HAS SOUS 116734 HAS SOUPS 116734 WITH SCORE 117310.03
AT ITER 7380 NEW BEST:: SOT 609094 SOS 576030 HAS SOPS 576030 HAS SOUS 116700 HAS SOUPS 116700 WITH SCORE 117276.03
AT ITER 7395 NEW BEST:: SOT 608506 SOS 575656 HAS SOPS 575656 HAS SOUS 116326 HAS SOUPS 116326 WITH SCORE 116901.656
AT ITER 7403 NEW BEST:: SOT 608384 SOS 575534 HAS SOPS 575534 HAS SOUS 116082 HAS SOUPS 116082 WITH SCORE 116657.534
AT ITER 7409 NEW BEST:: SOT 608284 SOS 575434 HAS SOPS 575434 HAS SOUS 115810 HAS SOUPS 115810 WITH SCORE 116385.434
AT ITER 7412 NEW BEST:: SOT 608258 SOS 575408 HAS SOPS 575408 HAS SOUS 115758 HAS SOUPS 115758 WITH SCORE 116333.408
AT ITER 7418 NEW BEST:: SOT 608162 SOS 575312 HAS SOPS 575312 HAS SOUS 115566 HAS SOUPS 115566 WITH SCORE 116141.312
AT ITER 7426 NEW BEST:: SOT 608162 SOS 575312 HAS SOPS 575312 HAS SOUS 115564 HAS SOUPS 115564 WITH SCORE 116139.312
AT ITER 7429 NEW BEST:: SOT 608132 SOS 575282 HAS SOPS 575282 HAS SOUS 115504 HAS SOUPS 115504 WITH SCORE 116079.282
AT ITER 7430 NEW BEST:: SOT 608090 SOS 575240 HAS SOPS 575240 HAS SOUS 115420 HAS SOUPS 115420 WITH SCORE 115995.24
AT ITER 7448 NEW BEST:: SOT 608004 SOS 575154 HAS SOPS 575154 HAS SOUS 115248 HAS SOUPS 115248 WITH SCORE 115823.154
AT ITER 7459 NEW BEST:: SOT 608004 SOS 575154 HAS SOPS 575154 HAS SOUS 115238 HAS SOUPS 115238 WITH SCORE 115813.154
AT ITER 7463 NEW BEST:: SOT 607988 SOS 575138 HAS SOPS 575138 HAS SOUS 115206 HAS SOUPS 115206 WITH SCORE 115781.138
AT ITER 7524 NEW BEST:: SOT 607928 SOS 575078 HAS SOPS 575078 HAS SOUS 115086 HAS SOUPS 115086 WITH SCORE 115661.078
AT ITER 7532 NEW BEST:: SOT 607802 SOS 574952 HAS SOPS 574952 HAS SOUS 114834 HAS SOUPS 114834 WITH SCORE 115408.952
AT ITER 7538 NEW BEST:: SOT 607802 SOS 574952 HAS SOPS 574952 HAS SOUS 114818 HAS SOUPS 114818 WITH SCORE 115392.952
AT ITER 7556 NEW BEST:: SOT 607716 SOS 574866 HAS SOPS 574866 HAS SOUS 114646 HAS SOUPS 114646 WITH SCORE 115220.866
AT ITER 7562 NEW BEST:: SOT 607646 SOS 574796 HAS SOPS 574796 HAS SOUS 114506 HAS SOUPS 114506 WITH SCORE 115080.796
AT ITER 7586 NEW BEST:: SOT 607494 SOS 574644 HAS SOPS 574644 HAS SOUS 114202 HAS SOUPS 114202 WITH SCORE 114776.644
AT ITER 7588 NEW BEST:: SOT 607492 SOS 574642 HAS SOPS 574642 HAS SOUS 114198 HAS SOUPS 114198 WITH SCORE 114772.642
AT ITER 7593 NEW BEST:: SOT 607274 SOS 574424 HAS SOPS 574424 HAS SOUS 113762 HAS SOUPS 113762 WITH SCORE 114336.424
AT ITER 7608 NEW BEST:: SOT 607232 SOS 574382 HAS SOPS 574382 HAS SOUS 113678 HAS SOUPS 113678 WITH SCORE 114252.382
AT ITER 7623 NEW BEST:: SOT 607228 SOS 574378 HAS SOPS 574378 HAS SOUS 113670 HAS SOUPS 113670 WITH SCORE 114244.378
AT ITER 7629 NEW BEST:: SOT 607220 SOS 574370 HAS SOPS 574370 HAS SOUS 113654 HAS SOUPS 113654 WITH SCORE 114228.37
AT ITER 7650 NEW BEST:: SOT 607186 SOS 574336 HAS SOPS 574336 HAS SOUS 113586 HAS SOUPS 113586 WITH SCORE 114160.336
AT ITER 7651 NEW BEST:: SOT 607150 SOS 574300 HAS SOPS 574300 HAS SOUS 113514 HAS SOUPS 113514 WITH SCORE 114088.3
AT ITER 7659 NEW BEST:: SOT 606978 SOS 574128 HAS SOPS 574128 HAS SOUS 113170 HAS SOUPS 113170 WITH SCORE 113744.128
AT ITER 7668 NEW BEST:: SOT 606964 SOS 574114 HAS SOPS 574114 HAS SOUS 113142 HAS SOUPS 113142 WITH SCORE 113716.114
AT ITER 7712 NEW BEST:: SOT 606938 SOS 574088 HAS SOPS 574088 HAS SOUS 113062 HAS SOUPS 113062 WITH SCORE 113636.088
AT ITER 7728 NEW BEST:: SOT 606698 SOS 573848 HAS SOPS 573848 HAS SOUS 112582 HAS SOUPS 112582 WITH SCORE 113155.848
AT ITER 7740 NEW BEST:: SOT 606682 SOS 573832 HAS SOPS 573832 HAS SOUS 112550 HAS SOUPS 112550 WITH SCORE 113123.832
AT ITER 7761 NEW BEST:: SOT 606542 SOS 573692 HAS SOPS 573692 HAS SOUS 112270 HAS SOUPS 112270 WITH SCORE 112843.692
AT ITER 7762 NEW BEST:: SOT 606448 SOS 573598 HAS SOPS 573598 HAS SOUS 112082 HAS SOUPS 112082 WITH SCORE 112655.598
AT ITER 7763 NEW BEST:: SOT 606434 SOS 573584 HAS SOPS 573584 HAS SOUS 112054 HAS SOUPS 112054 WITH SCORE 112627.584
AT ITER 7766 NEW BEST:: SOT 606434 SOS 573584 HAS SOPS 573584 HAS SOUS 112034 HAS SOUPS 112034 WITH SCORE 112607.584
AT ITER 7767 NEW BEST:: SOT 606190 SOS 573340 HAS SOPS 573340 HAS SOUS 111546 HAS SOUPS 111546 WITH SCORE 112119.34
AT ITER 7770 NEW BEST:: SOT 606182 SOS 573332 HAS SOPS 573332 HAS SOUS 111530 HAS SOUPS 111530 WITH SCORE 112103.332
AT ITER 7790 NEW BEST:: SOT 606122 SOS 573272 HAS SOPS 573272 HAS SOUS 111410 HAS SOUPS 111410 WITH SCORE 111983.272
AT ITER 7792 NEW BEST:: SOT 606122 SOS 573272 HAS SOPS 573272 HAS SOUS 111396 HAS SOUPS 111396 WITH SCORE 111969.272
AT ITER 7830 NEW BEST:: SOT 606026 SOS 573176 HAS SOPS 573176 HAS SOUS 111204 HAS SOUPS 111204 WITH SCORE 111777.176
AT ITER 7840 NEW BEST:: SOT 606026 SOS 573176 HAS SOPS 573176 HAS SOUS 111088 HAS SOUPS 111088 WITH SCORE 111661.176
AT ITER 7868 NEW BEST:: SOT 605968 SOS 573118 HAS SOPS 573118 HAS SOUS 110972 HAS SOUPS 110972 WITH SCORE 111545.118
AT ITER 7871 NEW BEST:: SOT 605968 SOS 573118 HAS SOPS 573118 HAS SOUS 110938 HAS SOUPS 110938 WITH SCORE 111511.118
AT ITER 7879 NEW BEST:: SOT 605944 SOS 573094 HAS SOPS 573094 HAS SOUS 110890 HAS SOUPS 110890 WITH SCORE 111463.094
AT ITER 7888 NEW BEST:: SOT 605944 SOS 573094 HAS SOPS 573094 HAS SOUS 110816 HAS SOUPS 110816 WITH SCORE 111389.094
AT ITER 7924 NEW BEST:: SOT 605926 SOS 573076 HAS SOPS 573076 HAS SOUS 110780 HAS SOUPS 110780 WITH SCORE 111353.076
AT ITER 7953 NEW BEST:: SOT 605924 SOS 573074 HAS SOPS 573074 HAS SOUS 110776 HAS SOUPS 110776 WITH SCORE 111349.074
AT ITER 7956 NEW BEST:: SOT 605776 SOS 572926 HAS SOPS 572926 HAS SOUS 110480 HAS SOUPS 110480 WITH SCORE 111052.926
AT ITER 7965 NEW BEST:: SOT 605608 SOS 572758 HAS SOPS 572758 HAS SOUS 110144 HAS SOUPS 110144 WITH SCORE 110716.758
AT ITER 7971 NEW BEST:: SOT 605608 SOS 572758 HAS SOPS 572758 HAS SOUS 110132 HAS SOUPS 110132 WITH SCORE 110704.758
AT ITER 7989 NEW BEST:: SOT 587622 SOS 554908 HAS SOPS 554908 HAS SOUS 92146 HAS SOUPS 92146 WITH SCORE 92700.908
AT ITER 7991 NEW BEST:: SOT 587566 SOS 554852 HAS SOPS 554852 HAS SOUS 92034 HAS SOUPS 92034 WITH SCORE 92588.852
AT ITER 8061 NEW BEST:: SOT 587508 SOS 554794 HAS SOPS 554794 HAS SOUS 92020 HAS SOUPS 92020 WITH SCORE 92574.794
AT ITER 8115 NEW BEST:: SOT 587496 SOS 554782 HAS SOPS 554782 HAS SOUS 91996 HAS SOUPS 91996 WITH SCORE 92550.782
AT ITER 8144 NEW BEST:: SOT 587452 SOS 554738 HAS SOPS 554738 HAS SOUS 91908 HAS SOUPS 91908 WITH SCORE 92462.738
AT ITER 8151 NEW BEST:: SOT 587368 SOS 554654 HAS SOPS 554654 HAS SOUS 91740 HAS SOUPS 91740 WITH SCORE 92294.654
AT ITER 8153 NEW BEST:: SOT 587212 SOS 554498 HAS SOPS 554498 HAS SOUS 91294 HAS SOUPS 91294 WITH SCORE 91848.498
AT ITER 8210 NEW BEST:: SOT 587084 SOS 554370 HAS SOPS 554370 HAS SOUS 91012 HAS SOUPS 91012 WITH SCORE 91566.37
AT ITER 8225 NEW BEST:: SOT 587048 SOS 554334 HAS SOPS 554334 HAS SOUS 90940 HAS SOUPS 90940 WITH SCORE 91494.334
AT ITER 8252 NEW BEST:: SOT 586998 SOS 554284 HAS SOPS 554284 HAS SOUS 90840 HAS SOUPS 90840 WITH SCORE 91394.284
AT ITER 8254 NEW BEST:: SOT 586998 SOS 554284 HAS SOPS 554284 HAS SOUS 90828 HAS SOUPS 90828 WITH SCORE 91382.284
AT ITER 8270 NEW BEST:: SOT 586926 SOS 554212 HAS SOPS 554212 HAS SOUS 90684 HAS SOUPS 90684 WITH SCORE 91238.212
AT ITER 8296 NEW BEST:: SOT 586912 SOS 554198 HAS SOPS 554198 HAS SOUS 90656 HAS SOUPS 90656 WITH SCORE 91210.198
AT ITER 8297 NEW BEST:: SOT 586912 SOS 554198 HAS SOPS 554198 HAS SOUS 90612 HAS SOUPS 90612 WITH SCORE 91166.198
AT ITER 8299 NEW BEST:: SOT 586786 SOS 554072 HAS SOPS 554072 HAS SOUS 90360 HAS SOUPS 90360 WITH SCORE 90914.072
AT ITER 8310 NEW BEST:: SOT 586724 SOS 554010 HAS SOPS 554010 HAS SOUS 90236 HAS SOUPS 90236 WITH SCORE 90790.01
AT ITER 8312 NEW BEST:: SOT 586724 SOS 554010 HAS SOPS 554010 HAS SOUS 90148 HAS SOUPS 90148 WITH SCORE 90702.01
AT ITER 8327 NEW BEST:: SOT 586564 SOS 553850 HAS SOPS 553850 HAS SOUS 89828 HAS SOUPS 89828 WITH SCORE 90381.85
AT ITER 8336 NEW BEST:: SOT 586560 SOS 553846 HAS SOPS 553846 HAS SOUS 89820 HAS SOUPS 89820 WITH SCORE 90373.846
AT ITER 8366 NEW BEST:: SOT 586560 SOS 553846 HAS SOPS 553846 HAS SOUS 89692 HAS SOUPS 89692 WITH SCORE 90245.846
AT ITER 8369 NEW BEST:: SOT 586548 SOS 553834 HAS SOPS 553834 HAS SOUS 89462 HAS SOUPS 89462 WITH SCORE 90015.834
AT ITER 8388 NEW BEST:: SOT 586548 SOS 553886 HAS SOPS 553886 HAS SOUS 89326 HAS SOUPS 89326 WITH SCORE 89879.886
AT ITER 8404 NEW BEST:: SOT 586548 SOS 553886 HAS SOPS 553886 HAS SOUS 89320 HAS SOUPS 89320 WITH SCORE 89873.886
AT ITER 8422 NEW BEST:: SOT 586548 SOS 553886 HAS SOPS 553886 HAS SOUS 89308 HAS SOUPS 89308 WITH SCORE 89861.886
AT ITER 8423 NEW BEST:: SOT 586508 SOS 553846 HAS SOPS 553846 HAS SOUS 89228 HAS SOUPS 89228 WITH SCORE 89781.846
AT ITER 8429 NEW BEST:: SOT 578826 SOS 546236 HAS SOPS 546236 HAS SOUS 81618 HAS SOUPS 81618 WITH SCORE 82164.236
AT ITER 8446 NEW BEST:: SOT 578786 SOS 546196 HAS SOPS 546196 HAS SOUS 81538 HAS SOUPS 81538 WITH SCORE 82084.196
AT ITER 8460 NEW BEST:: SOT 578780 SOS 546190 HAS SOPS 546190 HAS SOUS 81526 HAS SOUPS 81526 WITH SCORE 82072.19
AT ITER 8491 NEW BEST:: SOT 578748 SOS 546158 HAS SOPS 546158 HAS SOUS 81462 HAS SOUPS 81462 WITH SCORE 82008.158
AT ITER 8501 NEW BEST:: SOT 578744 SOS 546154 HAS SOPS 546154 HAS SOUS 81454 HAS SOUPS 81454 WITH SCORE 82000.154
AT ITER 8553 NEW BEST:: SOT 578724 SOS 546134 HAS SOPS 546134 HAS SOUS 81414 HAS SOUPS 81414 WITH SCORE 81960.134
AT ITER 8597 NEW BEST:: SOT 578694 SOS 546104 HAS SOPS 546104 HAS SOUS 81354 HAS SOUPS 81354 WITH SCORE 81900.104
AT ITER 8600 NEW BEST:: SOT 578646 SOS 546056 HAS SOPS 546056 HAS SOUS 81258 HAS SOUPS 81258 WITH SCORE 81804.056
AT ITER 8614 NEW BEST:: SOT 578588 SOS 545998 HAS SOPS 545998 HAS SOUS 81142 HAS SOUPS 81142 WITH SCORE 81687.998
AT ITER 8645 NEW BEST:: SOT 578572 SOS 545982 HAS SOPS 545982 HAS SOUS 81110 HAS SOUPS 81110 WITH SCORE 81655.982
AT ITER 8668 NEW BEST:: SOT 578500 SOS 545910 HAS SOPS 545910 HAS SOUS 80966 HAS SOUPS 80966 WITH SCORE 81511.91
AT ITER 8669 NEW BEST:: SOT 578462 SOS 545872 HAS SOPS 545872 HAS SOUS 80890 HAS SOUPS 80890 WITH SCORE 81435.872
AT ITER 8674 NEW BEST:: SOT 578462 SOS 545872 HAS SOPS 545872 HAS SOUS 80886 HAS SOUPS 80886 WITH SCORE 81431.872
AT ITER 8678 NEW BEST:: SOT 578382 SOS 545792 HAS SOPS 545792 HAS SOUS 80726 HAS SOUPS 80726 WITH SCORE 81271.792
AT ITER 8688 NEW BEST:: SOT 578354 SOS 545764 HAS SOPS 545764 HAS SOUS 80670 HAS SOUPS 80670 WITH SCORE 81215.764
AT ITER 8756 NEW BEST:: SOT 578252 SOS 545662 HAS SOPS 545662 HAS SOUS 80466 HAS SOUPS 80466 WITH SCORE 81011.662
AT ITER 8757 NEW BEST:: SOT 578228 SOS 545638 HAS SOPS 545638 HAS SOUS 80418 HAS SOUPS 80418 WITH SCORE 80963.638
AT ITER 8760 NEW BEST:: SOT 578228 SOS 545638 HAS SOPS 545638 HAS SOUS 80292 HAS SOUPS 80292 WITH SCORE 80837.638
AT ITER 8803 NEW BEST:: SOT 578198 SOS 545608 HAS SOPS 545608 HAS SOUS 80262 HAS SOUPS 80262 WITH SCORE 80807.608
AT ITER 8818 NEW BEST:: SOT 578156 SOS 545566 HAS SOPS 545566 HAS SOUS 80178 HAS SOUPS 80178 WITH SCORE 80723.566
AT ITER 8820 NEW BEST:: SOT 578126 SOS 545536 HAS SOPS 545536 HAS SOUS 80118 HAS SOUPS 80118 WITH SCORE 80663.536
AT ITER 8828 NEW BEST:: SOT 577948 SOS 545358 HAS SOPS 545358 HAS SOUS 79762 HAS SOUPS 79762 WITH SCORE 80307.358
AT ITER 8846 NEW BEST:: SOT 577928 SOS 545338 HAS SOPS 545338 HAS SOUS 79722 HAS SOUPS 79722 WITH SCORE 80267.338
AT ITER 8859 NEW BEST:: SOT 577886 SOS 545296 HAS SOPS 545296 HAS SOUS 79600 HAS SOUPS 79600 WITH SCORE 80145.296
AT ITER 8887 NEW BEST:: SOT 577862 SOS 545272 HAS SOPS 545272 HAS SOUS 79552 HAS SOUPS 79552 WITH SCORE 80097.272
AT ITER 8909 NEW BEST:: SOT 577860 SOS 545270 HAS SOPS 545270 HAS SOUS 79550 HAS SOUPS 79550 WITH SCORE 80095.27
AT ITER 8922 NEW BEST:: SOT 577788 SOS 545252 HAS SOPS 545252 HAS SOUS 79532 HAS SOUPS 79532 WITH SCORE 80077.252
AT ITER 8958 NEW BEST:: SOT 577760 SOS 545224 HAS SOPS 545224 HAS SOUS 79476 HAS SOUPS 79476 WITH SCORE 80021.224
AT ITER 8983 NEW BEST:: SOT 577754 SOS 545218 HAS SOPS 545218 HAS SOUS 79464 HAS SOUPS 79464 WITH SCORE 80009.218
AT ITER 9031 NEW BEST:: SOT 577754 SOS 545218 HAS SOPS 545218 HAS SOUS 79438 HAS SOUPS 79438 WITH SCORE 79983.218
AT ITER 9053 NEW BEST:: SOT 577752 SOS 545216 HAS SOPS 545216 HAS SOUS 79434 HAS SOUPS 79434 WITH SCORE 79979.216
AT ITER 9056 NEW BEST:: SOT 577752 SOS 545216 HAS SOPS 545216 HAS SOUS 79392 HAS SOUPS 79392 WITH SCORE 79937.216
AT ITER 9062 NEW BEST:: SOT 577722 SOS 545186 HAS SOPS 545186 HAS SOUS 79332 HAS SOUPS 79332 WITH SCORE 79877.186
AT ITER 9066 NEW BEST:: SOT 577716 SOS 545180 HAS SOPS 545180 HAS SOUS 79320 HAS SOUPS 79320 WITH SCORE 79865.18
AT ITER 9079 NEW BEST:: SOT 577716 SOS 545180 HAS SOPS 545180 HAS SOUS 79262 HAS SOUPS 79262 WITH SCORE 79807.18
AT ITER 9094 NEW BEST:: SOT 577716 SOS 545180 HAS SOPS 545180 HAS SOUS 79258 HAS SOUPS 79258 WITH SCORE 79803.18
AT ITER 9132 NEW BEST:: SOT 577690 SOS 545154 HAS SOPS 545154 HAS SOUS 79206 HAS SOUPS 79206 WITH SCORE 79751.154
AT ITER 9172 NEW BEST:: SOT 577660 SOS 545124 HAS SOPS 545124 HAS SOUS 79146 HAS SOUPS 79146 WITH SCORE 79691.124
AT ITER 9179 NEW BEST:: SOT 577616 SOS 545080 HAS SOPS 545080 HAS SOUS 79058 HAS SOUPS 79058 WITH SCORE 79603.08
AT ITER 9200 NEW BEST:: SOT 577616 SOS 545080 HAS SOPS 545080 HAS SOUS 79048 HAS SOUPS 79048 WITH SCORE 79593.08
AT ITER 9209 NEW BEST:: SOT 577474 SOS 544938 HAS SOPS 544938 HAS SOUS 78764 HAS SOUPS 78764 WITH SCORE 79308.938
AT ITER 9230 NEW BEST:: SOT 577414 SOS 544878 HAS SOPS 544878 HAS SOUS 78644 HAS SOUPS 78644 WITH SCORE 79188.878
AT ITER 9231 NEW BEST:: SOT 577212 SOS 544794 HAS SOPS 544794 HAS SOUS 78442 HAS SOUPS 78442 WITH SCORE 78986.794
AT ITER 9278 NEW BEST:: SOT 577212 SOS 544794 HAS SOPS 544794 HAS SOUS 78386 HAS SOUPS 78386 WITH SCORE 78930.794
AT ITER 9298 NEW BEST:: SOT 577192 SOS 544774 HAS SOPS 544774 HAS SOUS 78346 HAS SOUPS 78346 WITH SCORE 78890.774
AT ITER 9304 NEW BEST:: SOT 577184 SOS 544766 HAS SOPS 544766 HAS SOUS 78330 HAS SOUPS 78330 WITH SCORE 78874.766
AT ITER 9320 NEW BEST:: SOT 577184 SOS 544766 HAS SOPS 544766 HAS SOUS 78218 HAS SOUPS 78218 WITH SCORE 78762.766
AT ITER 9321 NEW BEST:: SOT 577180 SOS 544762 HAS SOPS 544762 HAS SOUS 78210 HAS SOUPS 78210 WITH SCORE 78754.762
AT ITER 9359 NEW BEST:: SOT 577126 SOS 544708 HAS SOPS 544708 HAS SOUS 78102 HAS SOUPS 78102 WITH SCORE 78646.708
AT ITER 9372 NEW BEST:: SOT 577264 SOS 544846 HAS SOPS 544846 HAS SOUS 77914 HAS SOUPS 77914 WITH SCORE 78458.846
AT ITER 9384 NEW BEST:: SOT 577156 SOS 544738 HAS SOPS 544738 HAS SOUS 77698 HAS SOUPS 77698 WITH SCORE 78242.738
AT ITER 9409 NEW BEST:: SOT 577038 SOS 544620 HAS SOPS 544620 HAS SOUS 77462 HAS SOUPS 77462 WITH SCORE 78006.62
AT ITER 9414 NEW BEST:: SOT 577038 SOS 544620 HAS SOPS 544620 HAS SOUS 77422 HAS SOUPS 77422 WITH SCORE 77966.62
AT ITER 9418 NEW BEST:: SOT 577016 SOS 544598 HAS SOPS 544598 HAS SOUS 77378 HAS SOUPS 77378 WITH SCORE 77922.598
AT ITER 9441 NEW BEST:: SOT 576934 SOS 544516 HAS SOPS 544516 HAS SOUS 77214 HAS SOUPS 77214 WITH SCORE 77758.516
AT ITER 9494 NEW BEST:: SOT 576806 SOS 544388 HAS SOPS 544388 HAS SOUS 76958 HAS SOUPS 76958 WITH SCORE 77502.388
AT ITER 9498 NEW BEST:: SOT 576806 SOS 544388 HAS SOPS 544388 HAS SOUS 76802 HAS SOUPS 76802 WITH SCORE 77346.388
AT ITER 9504 NEW BEST:: SOT 576706 SOS 544288 HAS SOPS 544288 HAS SOUS 76602 HAS SOUPS 76602 WITH SCORE 77146.288
AT ITER 9531 NEW BEST:: SOT 576706 SOS 544288 HAS SOPS 544288 HAS SOUS 76580 HAS SOUPS 76580 WITH SCORE 77124.288
AT ITER 9542 NEW BEST:: SOT 576704 SOS 544286 HAS SOPS 544286 HAS SOUS 76576 HAS SOUPS 76576 WITH SCORE 77120.286
AT ITER 9544 NEW BEST:: SOT 576702 SOS 544284 HAS SOPS 544284 HAS SOUS 76572 HAS SOUPS 76572 WITH SCORE 77116.284
AT ITER 9555 NEW BEST:: SOT 576654 SOS 544236 HAS SOPS 544236 HAS SOUS 76476 HAS SOUPS 76476 WITH SCORE 77020.236
AT ITER 9601 NEW BEST:: SOT 576642 SOS 544224 HAS SOPS 544224 HAS SOUS 76452 HAS SOUPS 76452 WITH SCORE 76996.224
AT ITER 9636 NEW BEST:: SOT 576554 SOS 544136 HAS SOPS 544136 HAS SOUS 76276 HAS SOUPS 76276 WITH SCORE 76820.136
AT ITER 9639 NEW BEST:: SOT 576550 SOS 544132 HAS SOPS 544132 HAS SOUS 76268 HAS SOUPS 76268 WITH SCORE 76812.132
AT ITER 9641 NEW BEST:: SOT 576550 SOS 544132 HAS SOPS 544132 HAS SOUS 76236 HAS SOUPS 76236 WITH SCORE 76780.132
AT ITER 9723 NEW BEST:: SOT 576422 SOS 544004 HAS SOPS 544004 HAS SOUS 75980 HAS SOUPS 75980 WITH SCORE 76524.004
AT ITER 9739 NEW BEST:: SOT 576396 SOS 543978 HAS SOPS 543978 HAS SOUS 75928 HAS SOUPS 75928 WITH SCORE 76471.978
AT ITER 9745 NEW BEST:: SOT 576336 SOS 543918 HAS SOPS 543918 HAS SOUS 75808 HAS SOUPS 75808 WITH SCORE 76351.918
AT ITER 9748 NEW BEST:: SOT 576330 SOS 543912 HAS SOPS 543912 HAS SOUS 75796 HAS SOUPS 75796 WITH SCORE 76339.912
AT ITER 9764 NEW BEST:: SOT 576330 SOS 543904 HAS SOPS 543904 HAS SOUS 75788 HAS SOUPS 75788 WITH SCORE 76331.904
AT ITER 9800 NEW BEST:: SOT 576268 SOS 543854 HAS SOPS 543854 HAS SOUS 75642 HAS SOUPS 75642 WITH SCORE 76185.854
AT ITER 9823 NEW BEST:: SOT 576166 SOS 543752 HAS SOPS 543752 HAS SOUS 75438 HAS SOUPS 75438 WITH SCORE 75981.752
AT ITER 9869 NEW BEST:: SOT 576144 SOS 543730 HAS SOPS 543730 HAS SOUS 75394 HAS SOUPS 75394 WITH SCORE 75937.73
AT ITER 9898 NEW BEST:: SOT 576068 SOS 543654 HAS SOPS 543654 HAS SOUS 75242 HAS SOUPS 75242 WITH SCORE 75785.654
AT ITER 9904 NEW BEST:: SOT 576068 SOS 543430 HAS SOPS 543430 HAS SOUS 75242 HAS SOUPS 75242 WITH SCORE 75785.43
AT ITER 9921 NEW BEST:: SOT 576018 SOS 543380 HAS SOPS 543380 HAS SOUS 75142 HAS SOUPS 75142 WITH SCORE 75685.38
AT ITER 9957 NEW BEST:: SOT 576018 SOS 543380 HAS SOPS 543380 HAS SOUS 75096 HAS SOUPS 75096 WITH SCORE 75639.38
AT ITER 9962 NEW BEST:: SOT 575942 SOS 543304 HAS SOPS 543304 HAS SOUS 74944 HAS SOUPS 74944 WITH SCORE 75487.304
AT ITER 9968 NEW BEST:: SOT 575916 SOS 543278 HAS SOPS 543278 HAS SOUS 74892 HAS SOUPS 74892 WITH SCORE 75435.278
AT ITER 9978 NEW BEST:: SOT 575916 SOS 543278 HAS SOPS 543278 HAS SOUS 74880 HAS SOUPS 74880 WITH SCORE 75423.278
AT ITER 9982 NEW BEST:: SOT 575904 SOS 543266 HAS SOPS 543266 HAS SOUS 74856 HAS SOUPS 74856 WITH SCORE 75399.266
AT ITER 9992 NEW BEST:: SOT 575858 SOS 543220 HAS SOPS 543220 HAS SOUS 74764 HAS SOUPS 74764 WITH SCORE 75307.22
STATE_SPACE STATES 1524 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 520 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 11240 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679855016196

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is RwMutex-PT-r0010w0500, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r355-smll-167891802900144"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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