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-167891803000176.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-r0100w0010, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891803000176
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 688K
-rw-r--r-- 1 mcc users 5.6K Feb 25 22:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K Feb 25 22:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 22:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 22:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 22:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 134K Feb 25 22:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 22:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 100K Feb 25 22:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:49 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 215K 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 1679859046412

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-r0100w0010
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RwMutex (PT), instance r0100w0010
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: 320 places, 220 transitions, 2640 arcs.
AT ITER 0 NEW BEST:: SOT 60064 SOS 47856 HAS SOPS 47856 HAS SOUS 47856 HAS SOUPS 47856 WITH SCORE 47903.856
AT ITER 3 NEW BEST:: SOT 60064 SOS 47832 HAS SOPS 47832 HAS SOUS 47832 HAS SOUPS 47832 WITH SCORE 47879.832
AT ITER 4 NEW BEST:: SOT 60064 SOS 47730 HAS SOPS 47730 HAS SOUS 47730 HAS SOUPS 47730 WITH SCORE 47777.73
AT ITER 6 NEW BEST:: SOT 59910 SOS 47674 HAS SOPS 47674 HAS SOUS 47674 HAS SOUPS 47674 WITH SCORE 47721.674
AT ITER 7 NEW BEST:: SOT 59772 SOS 47626 HAS SOPS 47626 HAS SOUS 47626 HAS SOUPS 47626 WITH SCORE 47673.626
AT ITER 8 NEW BEST:: SOT 59626 SOS 47480 HAS SOPS 47480 HAS SOUS 47480 HAS SOUPS 47480 WITH SCORE 47527.48
AT ITER 9 NEW BEST:: SOT 59426 SOS 47306 HAS SOPS 47306 HAS SOUS 47120 HAS SOUPS 47120 WITH SCORE 47167.306
AT ITER 10 NEW BEST:: SOT 59426 SOS 47110 HAS SOPS 47110 HAS SOUS 46924 HAS SOUPS 46924 WITH SCORE 46971.11
AT ITER 11 NEW BEST:: SOT 59298 SOS 46982 HAS SOPS 46982 HAS SOUS 46796 HAS SOUPS 46796 WITH SCORE 46842.982
AT ITER 13 NEW BEST:: SOT 59098 SOS 47116 HAS SOPS 47116 HAS SOUS 46440 HAS SOUPS 46440 WITH SCORE 46487.116
AT ITER 15 NEW BEST:: SOT 59098 SOS 46908 HAS SOPS 46908 HAS SOUS 46232 HAS SOUPS 46232 WITH SCORE 46278.908
AT ITER 16 NEW BEST:: SOT 58968 SOS 46778 HAS SOPS 46778 HAS SOUS 46102 HAS SOUPS 46102 WITH SCORE 46148.778
AT ITER 17 NEW BEST:: SOT 58768 SOS 47362 HAS SOPS 47362 HAS SOUS 45768 HAS SOUPS 45768 WITH SCORE 45815.362
AT ITER 18 NEW BEST:: SOT 58598 SOS 47342 HAS SOPS 47342 HAS SOUS 45724 HAS SOUPS 45724 WITH SCORE 45771.342
AT ITER 23 NEW BEST:: SOT 58598 SOS 47218 HAS SOPS 47218 HAS SOUS 45600 HAS SOUPS 45600 WITH SCORE 45647.218
AT ITER 26 NEW BEST:: SOT 58398 SOS 46790 HAS SOPS 46790 HAS SOUS 45172 HAS SOUPS 45172 WITH SCORE 45218.79
AT ITER 29 NEW BEST:: SOT 58324 SOS 46716 HAS SOPS 46716 HAS SOUS 45098 HAS SOUPS 45098 WITH SCORE 45144.716
AT ITER 30 NEW BEST:: SOT 58184 SOS 46576 HAS SOPS 46576 HAS SOUS 44958 HAS SOUPS 44958 WITH SCORE 45004.576
AT ITER 31 NEW BEST:: SOT 58184 SOS 46354 HAS SOPS 46354 HAS SOUS 44736 HAS SOUPS 44736 WITH SCORE 44782.354
AT ITER 33 NEW BEST:: SOT 58184 SOS 46242 HAS SOPS 46242 HAS SOUS 44624 HAS SOUPS 44624 WITH SCORE 44670.242
AT ITER 34 NEW BEST:: SOT 58184 SOS 46124 HAS SOPS 46124 HAS SOUS 44506 HAS SOUPS 44506 WITH SCORE 44552.124
AT ITER 35 NEW BEST:: SOT 58184 SOS 45976 HAS SOPS 45976 HAS SOUS 44358 HAS SOUPS 44358 WITH SCORE 44403.976
AT ITER 36 NEW BEST:: SOT 58184 SOS 45796 HAS SOPS 45796 HAS SOUS 44178 HAS SOUPS 44178 WITH SCORE 44223.796
AT ITER 38 NEW BEST:: SOT 58110 SOS 46060 HAS SOPS 46060 HAS SOUS 44002 HAS SOUPS 44002 WITH SCORE 44048.06
AT ITER 39 NEW BEST:: SOT 57770 SOS 45408 HAS SOPS 45408 HAS SOUS 43350 HAS SOUPS 43350 WITH SCORE 43395.408
AT ITER 40 NEW BEST:: SOT 57644 SOS 45282 HAS SOPS 45282 HAS SOUS 43224 HAS SOUPS 43224 WITH SCORE 43269.282
AT ITER 43 NEW BEST:: SOT 57634 SOS 45272 HAS SOPS 45272 HAS SOUS 43214 HAS SOUPS 43214 WITH SCORE 43259.272
AT ITER 44 NEW BEST:: SOT 57506 SOS 45144 HAS SOPS 45144 HAS SOUS 43086 HAS SOUPS 43086 WITH SCORE 43131.144
AT ITER 47 NEW BEST:: SOT 57342 SOS 44790 HAS SOPS 44790 HAS SOUS 42732 HAS SOUPS 42732 WITH SCORE 42776.79
AT ITER 48 NEW BEST:: SOT 57142 SOS 44590 HAS SOPS 44590 HAS SOUS 42328 HAS SOUPS 42328 WITH SCORE 42372.59
AT ITER 50 NEW BEST:: SOT 57142 SOS 44464 HAS SOPS 44464 HAS SOUS 42202 HAS SOUPS 42202 WITH SCORE 42246.464
AT ITER 54 NEW BEST:: SOT 57080 SOS 44170 HAS SOPS 44170 HAS SOUS 41908 HAS SOUPS 41908 WITH SCORE 41952.17
AT ITER 55 NEW BEST:: SOT 57080 SOS 44050 HAS SOPS 44050 HAS SOUS 41788 HAS SOUPS 41788 WITH SCORE 41832.05
AT ITER 56 NEW BEST:: SOT 56964 SOS 43934 HAS SOPS 43934 HAS SOUS 41672 HAS SOUPS 41672 WITH SCORE 41715.934
AT ITER 58 NEW BEST:: SOT 56764 SOS 43734 HAS SOPS 43734 HAS SOUS 41472 HAS SOUPS 41472 WITH SCORE 41515.734
AT ITER 59 NEW BEST:: SOT 56444 SOS 43180 HAS SOPS 43180 HAS SOUS 40918 HAS SOUPS 40918 WITH SCORE 40961.18
AT ITER 60 NEW BEST:: SOT 56442 SOS 43038 HAS SOPS 43038 HAS SOUS 40776 HAS SOUPS 40776 WITH SCORE 40819.038
AT ITER 62 NEW BEST:: SOT 56242 SOS 42838 HAS SOPS 42838 HAS SOUS 40576 HAS SOUPS 40576 WITH SCORE 40618.838
AT ITER 65 NEW BEST:: SOT 56242 SOS 42302 HAS SOPS 42302 HAS SOUS 40480 HAS SOUPS 40480 WITH SCORE 40522.302
AT ITER 66 NEW BEST:: SOT 56116 SOS 42176 HAS SOPS 42176 HAS SOUS 40354 HAS SOUPS 40354 WITH SCORE 40396.176
AT ITER 67 NEW BEST:: SOT 56116 SOS 41994 HAS SOPS 41994 HAS SOUS 40172 HAS SOUPS 40172 WITH SCORE 40213.994
AT ITER 68 NEW BEST:: SOT 56116 SOS 41854 HAS SOPS 41854 HAS SOUS 40032 HAS SOUPS 40032 WITH SCORE 40073.854
AT ITER 69 NEW BEST:: SOT 55916 SOS 41394 HAS SOPS 41394 HAS SOUS 39572 HAS SOUPS 39572 WITH SCORE 39613.394
AT ITER 73 NEW BEST:: SOT 55916 SOS 41264 HAS SOPS 41264 HAS SOUS 39442 HAS SOUPS 39442 WITH SCORE 39483.264
AT ITER 75 NEW BEST:: SOT 55828 SOS 41176 HAS SOPS 41176 HAS SOUS 39354 HAS SOUPS 39354 WITH SCORE 39395.176
AT ITER 77 NEW BEST:: SOT 55748 SOS 41016 HAS SOPS 41016 HAS SOUS 39194 HAS SOUPS 39194 WITH SCORE 39235.016
AT ITER 79 NEW BEST:: SOT 55568 SOS 41098 HAS SOPS 41098 HAS SOUS 38896 HAS SOUPS 38896 WITH SCORE 38937.098
AT ITER 83 NEW BEST:: SOT 55378 SOS 40830 HAS SOPS 40830 HAS SOUS 38628 HAS SOUPS 38628 WITH SCORE 38668.83
AT ITER 84 NEW BEST:: SOT 55370 SOS 40822 HAS SOPS 40822 HAS SOUS 38620 HAS SOUPS 38620 WITH SCORE 38660.822
AT ITER 89 NEW BEST:: SOT 55262 SOS 40714 HAS SOPS 40714 HAS SOUS 38512 HAS SOUPS 38512 WITH SCORE 38552.714
AT ITER 90 NEW BEST:: SOT 55262 SOS 40400 HAS SOPS 40400 HAS SOUS 38198 HAS SOUPS 38198 WITH SCORE 38238.4
AT ITER 92 NEW BEST:: SOT 55262 SOS 40254 HAS SOPS 40254 HAS SOUS 38052 HAS SOUPS 38052 WITH SCORE 38092.254
AT ITER 94 NEW BEST:: SOT 55262 SOS 40230 HAS SOPS 40230 HAS SOUS 38028 HAS SOUPS 38028 WITH SCORE 38068.23
AT ITER 95 NEW BEST:: SOT 55076 SOS 39824 HAS SOPS 39824 HAS SOUS 37622 HAS SOUPS 37622 WITH SCORE 37661.824
AT ITER 96 NEW BEST:: SOT 54744 SOS 39492 HAS SOPS 39492 HAS SOUS 37266 HAS SOUPS 37266 WITH SCORE 37305.492
AT ITER 100 NEW BEST:: SOT 54744 SOS 39476 HAS SOPS 39476 HAS SOUS 37250 HAS SOUPS 37250 WITH SCORE 37289.476
AT ITER 105 NEW BEST:: SOT 54364 SOS 39096 HAS SOPS 39096 HAS SOUS 36870 HAS SOUPS 36870 WITH SCORE 36909.096
AT ITER 107 NEW BEST:: SOT 54310 SOS 39042 HAS SOPS 39042 HAS SOUS 36816 HAS SOUPS 36816 WITH SCORE 36855.042
AT ITER 109 NEW BEST:: SOT 54110 SOS 38494 HAS SOPS 38494 HAS SOUS 36268 HAS SOUPS 36268 WITH SCORE 36306.494
AT ITER 110 NEW BEST:: SOT 53994 SOS 38378 HAS SOPS 38378 HAS SOUS 36152 HAS SOUPS 36152 WITH SCORE 36190.378
AT ITER 111 NEW BEST:: SOT 53802 SOS 38186 HAS SOPS 38186 HAS SOUS 35960 HAS SOUPS 35960 WITH SCORE 35998.186
AT ITER 112 NEW BEST:: SOT 53668 SOS 38052 HAS SOPS 38052 HAS SOUS 35826 HAS SOUPS 35826 WITH SCORE 35864.052
AT ITER 113 NEW BEST:: SOT 53696 SOS 37998 HAS SOPS 37998 HAS SOUS 35772 HAS SOUPS 35772 WITH SCORE 35809.998
AT ITER 116 NEW BEST:: SOT 53496 SOS 37988 HAS SOPS 37988 HAS SOUS 35738 HAS SOUPS 35738 WITH SCORE 35775.988
AT ITER 119 NEW BEST:: SOT 53296 SOS 37562 HAS SOPS 37562 HAS SOUS 35312 HAS SOUPS 35312 WITH SCORE 35349.562
AT ITER 120 NEW BEST:: SOT 53296 SOS 37390 HAS SOPS 37390 HAS SOUS 35146 HAS SOUPS 35146 WITH SCORE 35183.39
AT ITER 121 NEW BEST:: SOT 53296 SOS 37072 HAS SOPS 37072 HAS SOUS 34828 HAS SOUPS 34828 WITH SCORE 34865.072
AT ITER 124 NEW BEST:: SOT 53266 SOS 37066 HAS SOPS 37066 HAS SOUS 34822 HAS SOUPS 34822 WITH SCORE 34859.066
AT ITER 125 NEW BEST:: SOT 53124 SOS 36808 HAS SOPS 36808 HAS SOUS 34564 HAS SOUPS 34564 WITH SCORE 34600.808
AT ITER 126 NEW BEST:: SOT 53112 SOS 36784 HAS SOPS 36784 HAS SOUS 34540 HAS SOUPS 34540 WITH SCORE 34576.784
AT ITER 128 NEW BEST:: SOT 53026 SOS 36618 HAS SOPS 36618 HAS SOUS 34374 HAS SOUPS 34374 WITH SCORE 34410.618
AT ITER 130 NEW BEST:: SOT 53016 SOS 36608 HAS SOPS 36608 HAS SOUS 34364 HAS SOUPS 34364 WITH SCORE 34400.608
AT ITER 131 NEW BEST:: SOT 52990 SOS 36558 HAS SOPS 36558 HAS SOUS 34314 HAS SOUPS 34314 WITH SCORE 34350.558
AT ITER 133 NEW BEST:: SOT 52614 SOS 36182 HAS SOPS 36182 HAS SOUS 33914 HAS SOUPS 33914 WITH SCORE 33950.182
AT ITER 136 NEW BEST:: SOT 52614 SOS 36032 HAS SOPS 36032 HAS SOUS 33764 HAS SOUPS 33764 WITH SCORE 33800.032
AT ITER 140 NEW BEST:: SOT 52468 SOS 35886 HAS SOPS 35886 HAS SOUS 33618 HAS SOUPS 33618 WITH SCORE 33653.886
AT ITER 144 NEW BEST:: SOT 52444 SOS 35862 HAS SOPS 35862 HAS SOUS 33594 HAS SOUPS 33594 WITH SCORE 33629.862
AT ITER 150 NEW BEST:: SOT 52406 SOS 35824 HAS SOPS 35824 HAS SOUS 33556 HAS SOUPS 33556 WITH SCORE 33591.824
AT ITER 151 NEW BEST:: SOT 52206 SOS 35400 HAS SOPS 35400 HAS SOUS 33132 HAS SOUPS 33132 WITH SCORE 33167.4
AT ITER 152 NEW BEST:: SOT 52028 SOS 35214 HAS SOPS 35214 HAS SOUS 32946 HAS SOUPS 32946 WITH SCORE 32981.214
AT ITER 153 NEW BEST:: SOT 52018 SOS 35204 HAS SOPS 35204 HAS SOUS 32936 HAS SOUPS 32936 WITH SCORE 32971.204
AT ITER 155 NEW BEST:: SOT 52018 SOS 35176 HAS SOPS 35176 HAS SOUS 32908 HAS SOUPS 32908 WITH SCORE 32943.176
AT ITER 156 NEW BEST:: SOT 51914 SOS 34836 HAS SOPS 34836 HAS SOUS 32568 HAS SOUPS 32568 WITH SCORE 32602.836
AT ITER 157 NEW BEST:: SOT 51862 SOS 34564 HAS SOPS 34564 HAS SOUS 32296 HAS SOUPS 32296 WITH SCORE 32330.564
AT ITER 159 NEW BEST:: SOT 51862 SOS 34538 HAS SOPS 34538 HAS SOUS 32270 HAS SOUPS 32270 WITH SCORE 32304.538
AT ITER 163 NEW BEST:: SOT 51862 SOS 34482 HAS SOPS 34482 HAS SOUS 32214 HAS SOUPS 32214 WITH SCORE 32248.482
AT ITER 166 NEW BEST:: SOT 51862 SOS 34594 HAS SOPS 34594 HAS SOUS 32024 HAS SOUPS 32024 WITH SCORE 32058.594
AT ITER 170 NEW BEST:: SOT 51788 SOS 34520 HAS SOPS 34520 HAS SOUS 31924 HAS SOUPS 31924 WITH SCORE 31958.52
AT ITER 178 NEW BEST:: SOT 51788 SOS 34334 HAS SOPS 34334 HAS SOUS 31924 HAS SOUPS 31924 WITH SCORE 31958.334
AT ITER 180 NEW BEST:: SOT 51788 SOS 34300 HAS SOPS 34300 HAS SOUS 31890 HAS SOUPS 31890 WITH SCORE 31924.3
AT ITER 181 NEW BEST:: SOT 51788 SOS 34300 HAS SOPS 34300 HAS SOUS 31866 HAS SOUPS 31866 WITH SCORE 31900.3
AT ITER 183 NEW BEST:: SOT 51754 SOS 34266 HAS SOPS 34266 HAS SOUS 31762 HAS SOUPS 31762 WITH SCORE 31796.266
AT ITER 184 NEW BEST:: SOT 51754 SOS 33956 HAS SOPS 33956 HAS SOUS 31756 HAS SOUPS 31756 WITH SCORE 31789.956
AT ITER 187 NEW BEST:: SOT 51754 SOS 33928 HAS SOPS 33928 HAS SOUS 31728 HAS SOUPS 31728 WITH SCORE 31761.928
AT ITER 188 NEW BEST:: SOT 51682 SOS 33874 HAS SOPS 33874 HAS SOUS 31500 HAS SOUPS 31500 WITH SCORE 31533.874
AT ITER 196 NEW BEST:: SOT 51682 SOS 33732 HAS SOPS 33732 HAS SOUS 31358 HAS SOUPS 31358 WITH SCORE 31391.732
AT ITER 198 NEW BEST:: SOT 51616 SOS 33666 HAS SOPS 33666 HAS SOUS 31292 HAS SOUPS 31292 WITH SCORE 31325.666
AT ITER 199 NEW BEST:: SOT 51616 SOS 33568 HAS SOPS 33568 HAS SOUS 31194 HAS SOUPS 31194 WITH SCORE 31227.568
AT ITER 201 NEW BEST:: SOT 51580 SOS 33836 HAS SOPS 33836 HAS SOUS 31188 HAS SOUPS 31188 WITH SCORE 31221.836
AT ITER 203 NEW BEST:: SOT 51448 SOS 33782 HAS SOPS 33782 HAS SOUS 31102 HAS SOUPS 31102 WITH SCORE 31135.782
AT ITER 205 NEW BEST:: SOT 51416 SOS 33722 HAS SOPS 33722 HAS SOUS 31074 HAS SOUPS 31074 WITH SCORE 31107.722
AT ITER 207 NEW BEST:: SOT 51384 SOS 33690 HAS SOPS 33690 HAS SOUS 31042 HAS SOUPS 31042 WITH SCORE 31075.69
AT ITER 210 NEW BEST:: SOT 51204 SOS 33504 HAS SOPS 33504 HAS SOUS 30856 HAS SOUPS 30856 WITH SCORE 30889.504
AT ITER 211 NEW BEST:: SOT 51018 SOS 33144 HAS SOPS 33144 HAS SOUS 30496 HAS SOUPS 30496 WITH SCORE 30529.144
AT ITER 215 NEW BEST:: SOT 50902 SOS 32926 HAS SOPS 32926 HAS SOUS 30278 HAS SOUPS 30278 WITH SCORE 30310.926
AT ITER 222 NEW BEST:: SOT 50518 SOS 32330 HAS SOPS 32330 HAS SOUS 29688 HAS SOUPS 29688 WITH SCORE 29720.33
AT ITER 226 NEW BEST:: SOT 50518 SOS 32218 HAS SOPS 32218 HAS SOUS 29604 HAS SOUPS 29604 WITH SCORE 29636.218
AT ITER 229 NEW BEST:: SOT 50448 SOS 32148 HAS SOPS 32148 HAS SOUS 29360 HAS SOUPS 29360 WITH SCORE 29392.148
AT ITER 233 NEW BEST:: SOT 50336 SOS 31994 HAS SOPS 31994 HAS SOUS 29206 HAS SOUPS 29206 WITH SCORE 29237.994
AT ITER 234 NEW BEST:: SOT 49974 SOS 31632 HAS SOPS 31632 HAS SOUS 28844 HAS SOUPS 28844 WITH SCORE 28875.632
AT ITER 239 NEW BEST:: SOT 49902 SOS 31560 HAS SOPS 31560 HAS SOUS 28772 HAS SOUPS 28772 WITH SCORE 28803.56
AT ITER 241 NEW BEST:: SOT 49906 SOS 31558 HAS SOPS 31558 HAS SOUS 28770 HAS SOUPS 28770 WITH SCORE 28801.558
AT ITER 244 NEW BEST:: SOT 49906 SOS 31450 HAS SOPS 31450 HAS SOUS 28662 HAS SOUPS 28662 WITH SCORE 28693.45
AT ITER 246 NEW BEST:: SOT 49672 SOS 31178 HAS SOPS 31178 HAS SOUS 28390 HAS SOUPS 28390 WITH SCORE 28421.178
AT ITER 249 NEW BEST:: SOT 49672 SOS 31132 HAS SOPS 31132 HAS SOUS 28356 HAS SOUPS 28356 WITH SCORE 28387.132
AT ITER 250 NEW BEST:: SOT 49652 SOS 31162 HAS SOPS 31162 HAS SOUS 28222 HAS SOUPS 28222 WITH SCORE 28253.162
AT ITER 251 NEW BEST:: SOT 49616 SOS 31046 HAS SOPS 31046 HAS SOUS 28106 HAS SOUPS 28106 WITH SCORE 28137.046
AT ITER 252 NEW BEST:: SOT 49602 SOS 31032 HAS SOPS 31032 HAS SOUS 28092 HAS SOUPS 28092 WITH SCORE 28123.032
AT ITER 257 NEW BEST:: SOT 49602 SOS 30914 HAS SOPS 30914 HAS SOUS 27974 HAS SOUPS 27974 WITH SCORE 28004.914
AT ITER 265 NEW BEST:: SOT 49578 SOS 30890 HAS SOPS 30890 HAS SOUS 27950 HAS SOUPS 27950 WITH SCORE 27980.89
AT ITER 268 NEW BEST:: SOT 49578 SOS 30832 HAS SOPS 30832 HAS SOUS 27892 HAS SOUPS 27892 WITH SCORE 27922.832
AT ITER 270 NEW BEST:: SOT 49578 SOS 30828 HAS SOPS 30828 HAS SOUS 27888 HAS SOUPS 27888 WITH SCORE 27918.828
AT ITER 272 NEW BEST:: SOT 49578 SOS 30690 HAS SOPS 30690 HAS SOUS 27888 HAS SOUPS 27888 WITH SCORE 27918.69
AT ITER 275 NEW BEST:: SOT 49442 SOS 30392 HAS SOPS 30392 HAS SOUS 27590 HAS SOUPS 27590 WITH SCORE 27620.392
AT ITER 285 NEW BEST:: SOT 49442 SOS 30382 HAS SOPS 30382 HAS SOUS 27580 HAS SOUPS 27580 WITH SCORE 27610.382
AT ITER 286 NEW BEST:: SOT 49286 SOS 30158 HAS SOPS 30158 HAS SOUS 27356 HAS SOUPS 27356 WITH SCORE 27386.158
AT ITER 287 NEW BEST:: SOT 49148 SOS 29980 HAS SOPS 29980 HAS SOUS 27178 HAS SOUPS 27178 WITH SCORE 27207.98
AT ITER 289 NEW BEST:: SOT 49130 SOS 29854 HAS SOPS 29854 HAS SOUS 27052 HAS SOUPS 27052 WITH SCORE 27081.854
AT ITER 290 NEW BEST:: SOT 49138 SOS 29762 HAS SOPS 29762 HAS SOUS 26960 HAS SOUPS 26960 WITH SCORE 26989.762
AT ITER 295 NEW BEST:: SOT 49138 SOS 29632 HAS SOPS 29632 HAS SOUS 26830 HAS SOUPS 26830 WITH SCORE 26859.632
AT ITER 297 NEW BEST:: SOT 49078 SOS 29572 HAS SOPS 29572 HAS SOUS 26770 HAS SOUPS 26770 WITH SCORE 26799.572
AT ITER 299 NEW BEST:: SOT 49078 SOS 29572 HAS SOPS 29572 HAS SOUS 26718 HAS SOUPS 26718 WITH SCORE 26747.572
AT ITER 301 NEW BEST:: SOT 48920 SOS 29590 HAS SOPS 29590 HAS SOUS 26646 HAS SOUPS 26646 WITH SCORE 26675.59
AT ITER 302 NEW BEST:: SOT 48908 SOS 29838 HAS SOPS 29838 HAS SOUS 26608 HAS SOUPS 26608 WITH SCORE 26637.838
AT ITER 305 NEW BEST:: SOT 48842 SOS 29772 HAS SOPS 29772 HAS SOUS 26542 HAS SOUPS 26542 WITH SCORE 26571.772
AT ITER 307 NEW BEST:: SOT 48796 SOS 29706 HAS SOPS 29706 HAS SOUS 26476 HAS SOUPS 26476 WITH SCORE 26505.706
AT ITER 312 NEW BEST:: SOT 48796 SOS 29536 HAS SOPS 29536 HAS SOUS 26476 HAS SOUPS 26476 WITH SCORE 26505.536
AT ITER 313 NEW BEST:: SOT 48758 SOS 29454 HAS SOPS 29454 HAS SOUS 26394 HAS SOUPS 26394 WITH SCORE 26423.454
AT ITER 314 NEW BEST:: SOT 48742 SOS 29426 HAS SOPS 29426 HAS SOUS 26366 HAS SOUPS 26366 WITH SCORE 26395.426
AT ITER 321 NEW BEST:: SOT 48658 SOS 29326 HAS SOPS 29326 HAS SOUS 26268 HAS SOUPS 26268 WITH SCORE 26297.326
AT ITER 323 NEW BEST:: SOT 48606 SOS 29222 HAS SOPS 29222 HAS SOUS 26164 HAS SOUPS 26164 WITH SCORE 26193.222
AT ITER 328 NEW BEST:: SOT 48576 SOS 29192 HAS SOPS 29192 HAS SOUS 26134 HAS SOUPS 26134 WITH SCORE 26163.192
AT ITER 332 NEW BEST:: SOT 48576 SOS 29096 HAS SOPS 29096 HAS SOUS 26038 HAS SOUPS 26038 WITH SCORE 26067.096
AT ITER 335 NEW BEST:: SOT 48502 SOS 28948 HAS SOPS 28948 HAS SOUS 25890 HAS SOUPS 25890 WITH SCORE 25918.948
AT ITER 336 NEW BEST:: SOT 48492 SOS 28832 HAS SOPS 28832 HAS SOUS 25774 HAS SOUPS 25774 WITH SCORE 25802.832
AT ITER 344 NEW BEST:: SOT 48430 SOS 28770 HAS SOPS 28770 HAS SOUS 25712 HAS SOUPS 25712 WITH SCORE 25740.77
AT ITER 345 NEW BEST:: SOT 48394 SOS 28752 HAS SOPS 28752 HAS SOUS 25694 HAS SOUPS 25694 WITH SCORE 25722.752
AT ITER 347 NEW BEST:: SOT 48146 SOS 28366 HAS SOPS 28366 HAS SOUS 25308 HAS SOUPS 25308 WITH SCORE 25336.366
AT ITER 351 NEW BEST:: SOT 48146 SOS 28366 HAS SOPS 28366 HAS SOUS 25280 HAS SOUPS 25280 WITH SCORE 25308.366
AT ITER 362 NEW BEST:: SOT 48088 SOS 28154 HAS SOPS 28154 HAS SOUS 25068 HAS SOUPS 25068 WITH SCORE 25096.154
AT ITER 364 NEW BEST:: SOT 48088 SOS 28614 HAS SOPS 28614 HAS SOUS 25048 HAS SOUPS 25048 WITH SCORE 25076.614
AT ITER 365 NEW BEST:: SOT 48108 SOS 28526 HAS SOPS 28526 HAS SOUS 24960 HAS SOUPS 24960 WITH SCORE 24988.526
AT ITER 375 NEW BEST:: SOT 48006 SOS 28252 HAS SOPS 28252 HAS SOUS 24686 HAS SOUPS 24686 WITH SCORE 24714.252
AT ITER 381 NEW BEST:: SOT 48006 SOS 28198 HAS SOPS 28198 HAS SOUS 24632 HAS SOUPS 24632 WITH SCORE 24660.198
AT ITER 387 NEW BEST:: SOT 48006 SOS 28190 HAS SOPS 28190 HAS SOUS 24624 HAS SOUPS 24624 WITH SCORE 24652.19
AT ITER 392 NEW BEST:: SOT 47906 SOS 28100 HAS SOPS 28100 HAS SOUS 24534 HAS SOUPS 24534 WITH SCORE 24562.1
AT ITER 402 NEW BEST:: SOT 47770 SOS 27828 HAS SOPS 27828 HAS SOUS 24262 HAS SOUPS 24262 WITH SCORE 24289.828
AT ITER 406 NEW BEST:: SOT 47770 SOS 27802 HAS SOPS 27802 HAS SOUS 24236 HAS SOUPS 24236 WITH SCORE 24263.802
AT ITER 409 NEW BEST:: SOT 47680 SOS 27712 HAS SOPS 27712 HAS SOUS 24146 HAS SOUPS 24146 WITH SCORE 24173.712
AT ITER 412 NEW BEST:: SOT 47602 SOS 27626 HAS SOPS 27626 HAS SOUS 24060 HAS SOUPS 24060 WITH SCORE 24087.626
AT ITER 417 NEW BEST:: SOT 47588 SOS 27598 HAS SOPS 27598 HAS SOUS 24032 HAS SOUPS 24032 WITH SCORE 24059.598
AT ITER 441 NEW BEST:: SOT 47638 SOS 27546 HAS SOPS 27546 HAS SOUS 23980 HAS SOUPS 23980 WITH SCORE 24007.546
AT ITER 445 NEW BEST:: SOT 47638 SOS 27530 HAS SOPS 27530 HAS SOUS 23964 HAS SOUPS 23964 WITH SCORE 23991.53
AT ITER 448 NEW BEST:: SOT 47638 SOS 27458 HAS SOPS 27458 HAS SOUS 23892 HAS SOUPS 23892 WITH SCORE 23919.458
AT ITER 449 NEW BEST:: SOT 47498 SOS 27314 HAS SOPS 27314 HAS SOUS 23748 HAS SOUPS 23748 WITH SCORE 23775.314
AT ITER 452 NEW BEST:: SOT 47428 SOS 27176 HAS SOPS 27176 HAS SOUS 23610 HAS SOUPS 23610 WITH SCORE 23637.176
AT ITER 460 NEW BEST:: SOT 47416 SOS 27164 HAS SOPS 27164 HAS SOUS 23598 HAS SOUPS 23598 WITH SCORE 23625.164
AT ITER 463 NEW BEST:: SOT 47402 SOS 27150 HAS SOPS 27150 HAS SOUS 23584 HAS SOUPS 23584 WITH SCORE 23611.15
AT ITER 466 NEW BEST:: SOT 47384 SOS 27132 HAS SOPS 27132 HAS SOUS 23566 HAS SOUPS 23566 WITH SCORE 23593.132
AT ITER 471 NEW BEST:: SOT 47430 SOS 27064 HAS SOPS 27064 HAS SOUS 23498 HAS SOUPS 23498 WITH SCORE 23525.064
AT ITER 480 NEW BEST:: SOT 47434 SOS 27016 HAS SOPS 27016 HAS SOUS 23450 HAS SOUPS 23450 WITH SCORE 23477.016
AT ITER 485 NEW BEST:: SOT 47434 SOS 26972 HAS SOPS 26972 HAS SOUS 23450 HAS SOUPS 23450 WITH SCORE 23476.972
AT ITER 488 NEW BEST:: SOT 47390 SOS 26850 HAS SOPS 26850 HAS SOUS 23328 HAS SOUPS 23328 WITH SCORE 23354.85
AT ITER 495 NEW BEST:: SOT 47390 SOS 26774 HAS SOPS 26774 HAS SOUS 23252 HAS SOUPS 23252 WITH SCORE 23278.774
AT ITER 497 NEW BEST:: SOT 47374 SOS 26758 HAS SOPS 26758 HAS SOUS 23236 HAS SOUPS 23236 WITH SCORE 23262.758
AT ITER 498 NEW BEST:: SOT 47312 SOS 26664 HAS SOPS 26664 HAS SOUS 23142 HAS SOUPS 23142 WITH SCORE 23168.664
AT ITER 500 NEW BEST:: SOT 47312 SOS 26594 HAS SOPS 26594 HAS SOUS 23072 HAS SOUPS 23072 WITH SCORE 23098.594
AT ITER 504 NEW BEST:: SOT 47312 SOS 26586 HAS SOPS 26586 HAS SOUS 23064 HAS SOUPS 23064 WITH SCORE 23090.586
AT ITER 510 NEW BEST:: SOT 47252 SOS 26496 HAS SOPS 26496 HAS SOUS 22974 HAS SOUPS 22974 WITH SCORE 23000.496
AT ITER 515 NEW BEST:: SOT 47222 SOS 26378 HAS SOPS 26378 HAS SOUS 22856 HAS SOUPS 22856 WITH SCORE 22882.378
AT ITER 528 NEW BEST:: SOT 47162 SOS 26240 HAS SOPS 26240 HAS SOUS 22718 HAS SOUPS 22718 WITH SCORE 22744.24
AT ITER 532 NEW BEST:: SOT 47162 SOS 26194 HAS SOPS 26194 HAS SOUS 22672 HAS SOUPS 22672 WITH SCORE 22698.194
AT ITER 534 NEW BEST:: SOT 47136 SOS 26142 HAS SOPS 26142 HAS SOUS 22620 HAS SOUPS 22620 WITH SCORE 22646.142
AT ITER 538 NEW BEST:: SOT 47134 SOS 26140 HAS SOPS 26140 HAS SOUS 22618 HAS SOUPS 22618 WITH SCORE 22644.14
AT ITER 541 NEW BEST:: SOT 47036 SOS 26034 HAS SOPS 26034 HAS SOUS 22512 HAS SOUPS 22512 WITH SCORE 22538.034
AT ITER 542 NEW BEST:: SOT 47036 SOS 25996 HAS SOPS 25996 HAS SOUS 22474 HAS SOUPS 22474 WITH SCORE 22499.996
AT ITER 543 NEW BEST:: SOT 46928 SOS 25888 HAS SOPS 25888 HAS SOUS 22318 HAS SOUPS 22318 WITH SCORE 22343.888
AT ITER 547 NEW BEST:: SOT 46914 SOS 25878 HAS SOPS 25878 HAS SOUS 22308 HAS SOUPS 22308 WITH SCORE 22333.878
AT ITER 551 NEW BEST:: SOT 46902 SOS 25866 HAS SOPS 25866 HAS SOUS 22296 HAS SOUPS 22296 WITH SCORE 22321.866
AT ITER 553 NEW BEST:: SOT 46900 SOS 25844 HAS SOPS 25844 HAS SOUS 22274 HAS SOUPS 22274 WITH SCORE 22299.844
AT ITER 561 NEW BEST:: SOT 46900 SOS 26098 HAS SOPS 26098 HAS SOUS 22270 HAS SOUPS 22270 WITH SCORE 22296.098
AT ITER 562 NEW BEST:: SOT 46788 SOS 25868 HAS SOPS 25868 HAS SOUS 22040 HAS SOUPS 22040 WITH SCORE 22065.868
AT ITER 565 NEW BEST:: SOT 46700 SOS 25668 HAS SOPS 25668 HAS SOUS 21840 HAS SOUPS 21840 WITH SCORE 21865.668
AT ITER 566 NEW BEST:: SOT 46628 SOS 25506 HAS SOPS 25506 HAS SOUS 21678 HAS SOUPS 21678 WITH SCORE 21703.506
AT ITER 573 NEW BEST:: SOT 46628 SOS 25502 HAS SOPS 25502 HAS SOUS 21674 HAS SOUPS 21674 WITH SCORE 21699.502
AT ITER 575 NEW BEST:: SOT 46594 SOS 25468 HAS SOPS 25468 HAS SOUS 21640 HAS SOUPS 21640 WITH SCORE 21665.468
AT ITER 578 NEW BEST:: SOT 46594 SOS 25282 HAS SOPS 25282 HAS SOUS 21454 HAS SOUPS 21454 WITH SCORE 21479.282
AT ITER 580 NEW BEST:: SOT 46594 SOS 25238 HAS SOPS 25238 HAS SOUS 21410 HAS SOUPS 21410 WITH SCORE 21435.238
AT ITER 581 NEW BEST:: SOT 46580 SOS 25210 HAS SOPS 25210 HAS SOUS 21382 HAS SOUPS 21382 WITH SCORE 21407.21
AT ITER 589 NEW BEST:: SOT 46518 SOS 25130 HAS SOPS 25130 HAS SOUS 21302 HAS SOUPS 21302 WITH SCORE 21327.13
AT ITER 607 NEW BEST:: SOT 46518 SOS 24986 HAS SOPS 24986 HAS SOUS 21158 HAS SOUPS 21158 WITH SCORE 21182.986
AT ITER 615 NEW BEST:: SOT 46518 SOS 24934 HAS SOPS 24934 HAS SOUS 21106 HAS SOUPS 21106 WITH SCORE 21130.934
AT ITER 622 NEW BEST:: SOT 46518 SOS 24908 HAS SOPS 24908 HAS SOUS 21080 HAS SOUPS 21080 WITH SCORE 21104.908
AT ITER 623 NEW BEST:: SOT 46330 SOS 24546 HAS SOPS 24546 HAS SOUS 20718 HAS SOUPS 20718 WITH SCORE 20742.546
AT ITER 632 NEW BEST:: SOT 46132 SOS 24156 HAS SOPS 24156 HAS SOUS 20328 HAS SOUPS 20328 WITH SCORE 20352.156
AT ITER 637 NEW BEST:: SOT 46124 SOS 24148 HAS SOPS 24148 HAS SOUS 20320 HAS SOUPS 20320 WITH SCORE 20344.148
AT ITER 639 NEW BEST:: SOT 46042 SOS 23984 HAS SOPS 23984 HAS SOUS 20156 HAS SOUPS 20156 WITH SCORE 20179.984
AT ITER 645 NEW BEST:: SOT 46042 SOS 23924 HAS SOPS 23924 HAS SOUS 20096 HAS SOUPS 20096 WITH SCORE 20119.924
AT ITER 646 NEW BEST:: SOT 45998 SOS 23908 HAS SOPS 23908 HAS SOUS 20080 HAS SOUPS 20080 WITH SCORE 20103.908
AT ITER 647 NEW BEST:: SOT 45946 SOS 23788 HAS SOPS 23788 HAS SOUS 19960 HAS SOUPS 19960 WITH SCORE 19983.788
AT ITER 650 NEW BEST:: SOT 45930 SOS 23772 HAS SOPS 23772 HAS SOUS 19944 HAS SOUPS 19944 WITH SCORE 19967.772
AT ITER 655 NEW BEST:: SOT 45896 SOS 23732 HAS SOPS 23732 HAS SOUS 19904 HAS SOUPS 19904 WITH SCORE 19927.732
AT ITER 665 NEW BEST:: SOT 45896 SOS 23640 HAS SOPS 23640 HAS SOUS 19812 HAS SOUPS 19812 WITH SCORE 19835.64
AT ITER 670 NEW BEST:: SOT 45798 SOS 23482 HAS SOPS 23482 HAS SOUS 19654 HAS SOUPS 19654 WITH SCORE 19677.482
AT ITER 673 NEW BEST:: SOT 45798 SOS 23392 HAS SOPS 23392 HAS SOUS 19564 HAS SOUPS 19564 WITH SCORE 19587.392
AT ITER 676 NEW BEST:: SOT 45760 SOS 23332 HAS SOPS 23332 HAS SOUS 19504 HAS SOUPS 19504 WITH SCORE 19527.332
AT ITER 685 NEW BEST:: SOT 45740 SOS 23324 HAS SOPS 23324 HAS SOUS 19496 HAS SOUPS 19496 WITH SCORE 19519.324
AT ITER 701 NEW BEST:: SOT 45740 SOS 23262 HAS SOPS 23262 HAS SOUS 19434 HAS SOUPS 19434 WITH SCORE 19457.262
AT ITER 706 NEW BEST:: SOT 45738 SOS 23258 HAS SOPS 23258 HAS SOUS 19430 HAS SOUPS 19430 WITH SCORE 19453.258
AT ITER 710 NEW BEST:: SOT 45724 SOS 23246 HAS SOPS 23246 HAS SOUS 19418 HAS SOUPS 19418 WITH SCORE 19441.246
AT ITER 715 NEW BEST:: SOT 45594 SOS 23116 HAS SOPS 23116 HAS SOUS 19288 HAS SOUPS 19288 WITH SCORE 19311.116
AT ITER 725 NEW BEST:: SOT 45476 SOS 23096 HAS SOPS 23096 HAS SOUS 19268 HAS SOUPS 19268 WITH SCORE 19291.096
AT ITER 726 NEW BEST:: SOT 45394 SOS 23014 HAS SOPS 23014 HAS SOUS 19186 HAS SOUPS 19186 WITH SCORE 19209.014
AT ITER 728 NEW BEST:: SOT 45386 SOS 23006 HAS SOPS 23006 HAS SOUS 19178 HAS SOUPS 19178 WITH SCORE 19201.006
AT ITER 729 NEW BEST:: SOT 45386 SOS 22958 HAS SOPS 22958 HAS SOUS 19130 HAS SOUPS 19130 WITH SCORE 19152.958
AT ITER 740 NEW BEST:: SOT 45346 SOS 22908 HAS SOPS 22908 HAS SOUS 19080 HAS SOUPS 19080 WITH SCORE 19102.908
AT ITER 744 NEW BEST:: SOT 45304 SOS 22866 HAS SOPS 22866 HAS SOUS 19038 HAS SOUPS 19038 WITH SCORE 19060.866
AT ITER 754 NEW BEST:: SOT 45304 SOS 22856 HAS SOPS 22856 HAS SOUS 19028 HAS SOUPS 19028 WITH SCORE 19050.856
AT ITER 757 NEW BEST:: SOT 45088 SOS 22386 HAS SOPS 22386 HAS SOUS 18558 HAS SOUPS 18558 WITH SCORE 18580.386
AT ITER 760 NEW BEST:: SOT 45086 SOS 22382 HAS SOPS 22382 HAS SOUS 18554 HAS SOUPS 18554 WITH SCORE 18576.382
AT ITER 766 NEW BEST:: SOT 45048 SOS 22288 HAS SOPS 22288 HAS SOUS 18460 HAS SOUPS 18460 WITH SCORE 18482.288
AT ITER 769 NEW BEST:: SOT 45016 SOS 22256 HAS SOPS 22256 HAS SOUS 18428 HAS SOUPS 18428 WITH SCORE 18450.256
AT ITER 772 NEW BEST:: SOT 44970 SOS 22210 HAS SOPS 22210 HAS SOUS 18382 HAS SOUPS 18382 WITH SCORE 18404.21
AT ITER 777 NEW BEST:: SOT 44986 SOS 22194 HAS SOPS 22194 HAS SOUS 18366 HAS SOUPS 18366 WITH SCORE 18388.194
AT ITER 792 NEW BEST:: SOT 45008 SOS 22174 HAS SOPS 22174 HAS SOUS 18346 HAS SOUPS 18346 WITH SCORE 18368.174
AT ITER 801 NEW BEST:: SOT 44960 SOS 22126 HAS SOPS 22126 HAS SOUS 18298 HAS SOUPS 18298 WITH SCORE 18320.126
AT ITER 802 NEW BEST:: SOT 44958 SOS 22124 HAS SOPS 22124 HAS SOUS 18296 HAS SOUPS 18296 WITH SCORE 18318.124
AT ITER 805 NEW BEST:: SOT 44958 SOS 22114 HAS SOPS 22114 HAS SOUS 18286 HAS SOUPS 18286 WITH SCORE 18308.114
AT ITER 810 NEW BEST:: SOT 44938 SOS 22092 HAS SOPS 22092 HAS SOUS 18264 HAS SOUPS 18264 WITH SCORE 18286.092
AT ITER 813 NEW BEST:: SOT 44928 SOS 22082 HAS SOPS 22082 HAS SOUS 18254 HAS SOUPS 18254 WITH SCORE 18276.082
AT ITER 814 NEW BEST:: SOT 44872 SOS 22026 HAS SOPS 22026 HAS SOUS 18074 HAS SOUPS 18074 WITH SCORE 18096.026
AT ITER 824 NEW BEST:: SOT 44872 SOS 22012 HAS SOPS 22012 HAS SOUS 18060 HAS SOUPS 18060 WITH SCORE 18082.012
AT ITER 825 NEW BEST:: SOT 44824 SOS 21936 HAS SOPS 21936 HAS SOUS 17984 HAS SOUPS 17984 WITH SCORE 18005.936
AT ITER 829 NEW BEST:: SOT 44794 SOS 21854 HAS SOPS 21854 HAS SOUS 17902 HAS SOUPS 17902 WITH SCORE 17923.854
AT ITER 840 NEW BEST:: SOT 44752 SOS 21774 HAS SOPS 21774 HAS SOUS 17822 HAS SOUPS 17822 WITH SCORE 17843.774
AT ITER 842 NEW BEST:: SOT 44634 SOS 21582 HAS SOPS 21582 HAS SOUS 17630 HAS SOUPS 17630 WITH SCORE 17651.582
AT ITER 849 NEW BEST:: SOT 44632 SOS 21580 HAS SOPS 21580 HAS SOUS 17628 HAS SOUPS 17628 WITH SCORE 17649.58
AT ITER 852 NEW BEST:: SOT 44572 SOS 21504 HAS SOPS 21504 HAS SOUS 17552 HAS SOUPS 17552 WITH SCORE 17573.504
AT ITER 863 NEW BEST:: SOT 44572 SOS 21458 HAS SOPS 21458 HAS SOUS 17506 HAS SOUPS 17506 WITH SCORE 17527.458
AT ITER 867 NEW BEST:: SOT 44540 SOS 21426 HAS SOPS 21426 HAS SOUS 17474 HAS SOUPS 17474 WITH SCORE 17495.426
AT ITER 877 NEW BEST:: SOT 44540 SOS 21330 HAS SOPS 21330 HAS SOUS 17378 HAS SOUPS 17378 WITH SCORE 17399.33
AT ITER 899 NEW BEST:: SOT 44502 SOS 21286 HAS SOPS 21286 HAS SOUS 17334 HAS SOUPS 17334 WITH SCORE 17355.286
AT ITER 908 NEW BEST:: SOT 44470 SOS 21254 HAS SOPS 21254 HAS SOUS 17066 HAS SOUPS 17066 WITH SCORE 17087.254
AT ITER 909 NEW BEST:: SOT 44470 SOS 21246 HAS SOPS 21246 HAS SOUS 17058 HAS SOUPS 17058 WITH SCORE 17079.246
AT ITER 917 NEW BEST:: SOT 44436 SOS 21178 HAS SOPS 21178 HAS SOUS 16990 HAS SOUPS 16990 WITH SCORE 17011.178
AT ITER 924 NEW BEST:: SOT 44430 SOS 21172 HAS SOPS 21172 HAS SOUS 16984 HAS SOUPS 16984 WITH SCORE 17005.172
AT ITER 925 NEW BEST:: SOT 44498 SOS 21038 HAS SOPS 21038 HAS SOUS 16850 HAS SOUPS 16850 WITH SCORE 16871.038
AT ITER 928 NEW BEST:: SOT 44478 SOS 21018 HAS SOPS 21018 HAS SOUS 16830 HAS SOUPS 16830 WITH SCORE 16851.018
AT ITER 933 NEW BEST:: SOT 44474 SOS 21014 HAS SOPS 21014 HAS SOUS 16826 HAS SOUPS 16826 WITH SCORE 16847.014
AT ITER 940 NEW BEST:: SOT 44454 SOS 20974 HAS SOPS 20974 HAS SOUS 16786 HAS SOUPS 16786 WITH SCORE 16806.974
AT ITER 953 NEW BEST:: SOT 44384 SOS 20952 HAS SOPS 20952 HAS SOUS 16764 HAS SOUPS 16764 WITH SCORE 16784.952
AT ITER 957 NEW BEST:: SOT 44384 SOS 20850 HAS SOPS 20850 HAS SOUS 16662 HAS SOUPS 16662 WITH SCORE 16682.85
AT ITER 966 NEW BEST:: SOT 44364 SOS 20830 HAS SOPS 20830 HAS SOUS 16642 HAS SOUPS 16642 WITH SCORE 16662.83
AT ITER 968 NEW BEST:: SOT 44164 SOS 20534 HAS SOPS 20534 HAS SOUS 16346 HAS SOUPS 16346 WITH SCORE 16366.534
AT ITER 969 NEW BEST:: SOT 44158 SOS 20528 HAS SOPS 20528 HAS SOUS 16340 HAS SOUPS 16340 WITH SCORE 16360.528
AT ITER 972 NEW BEST:: SOT 44076 SOS 20522 HAS SOPS 20522 HAS SOUS 16334 HAS SOUPS 16334 WITH SCORE 16354.522
AT ITER 977 NEW BEST:: SOT 44038 SOS 20446 HAS SOPS 20446 HAS SOUS 16258 HAS SOUPS 16258 WITH SCORE 16278.446
AT ITER 1007 NEW BEST:: SOT 44028 SOS 20426 HAS SOPS 20426 HAS SOUS 16238 HAS SOUPS 16238 WITH SCORE 16258.426
AT ITER 1011 NEW BEST:: SOT 44032 SOS 20416 HAS SOPS 20416 HAS SOUS 16226 HAS SOUPS 16226 WITH SCORE 16246.416
AT ITER 1015 NEW BEST:: SOT 43838 SOS 20080 HAS SOPS 20080 HAS SOUS 15890 HAS SOUPS 15890 WITH SCORE 15910.08
AT ITER 1041 NEW BEST:: SOT 43838 SOS 20040 HAS SOPS 20040 HAS SOUS 15890 HAS SOUPS 15890 WITH SCORE 15910.04
AT ITER 1045 NEW BEST:: SOT 43838 SOS 20030 HAS SOPS 20030 HAS SOUS 15880 HAS SOUPS 15880 WITH SCORE 15900.03
AT ITER 1068 NEW BEST:: SOT 43834 SOS 20020 HAS SOPS 20020 HAS SOUS 15870 HAS SOUPS 15870 WITH SCORE 15890.02
AT ITER 1074 NEW BEST:: SOT 43832 SOS 20018 HAS SOPS 20018 HAS SOUS 15868 HAS SOUPS 15868 WITH SCORE 15888.018
AT ITER 1084 NEW BEST:: SOT 43672 SOS 19932 HAS SOPS 19932 HAS SOUS 15782 HAS SOUPS 15782 WITH SCORE 15801.932
AT ITER 1085 NEW BEST:: SOT 43662 SOS 19902 HAS SOPS 19902 HAS SOUS 15752 HAS SOUPS 15752 WITH SCORE 15771.902
AT ITER 1103 NEW BEST:: SOT 43618 SOS 19858 HAS SOPS 19858 HAS SOUS 15708 HAS SOUPS 15708 WITH SCORE 15727.858
AT ITER 1107 NEW BEST:: SOT 43566 SOS 19806 HAS SOPS 19806 HAS SOUS 15656 HAS SOUPS 15656 WITH SCORE 15675.806
AT ITER 1108 NEW BEST:: SOT 43560 SOS 19792 HAS SOPS 19792 HAS SOUS 15642 HAS SOUPS 15642 WITH SCORE 15661.792
AT ITER 1124 NEW BEST:: SOT 43536 SOS 19740 HAS SOPS 19740 HAS SOUS 15590 HAS SOUPS 15590 WITH SCORE 15609.74
AT ITER 1131 NEW BEST:: SOT 43548 SOS 19612 HAS SOPS 19612 HAS SOUS 15462 HAS SOUPS 15462 WITH SCORE 15481.612
AT ITER 1132 NEW BEST:: SOT 43506 SOS 19570 HAS SOPS 19570 HAS SOUS 15420 HAS SOUPS 15420 WITH SCORE 15439.57
AT ITER 1135 NEW BEST:: SOT 43462 SOS 19484 HAS SOPS 19484 HAS SOUS 15334 HAS SOUPS 15334 WITH SCORE 15353.484
AT ITER 1139 NEW BEST:: SOT 43430 SOS 19358 HAS SOPS 19358 HAS SOUS 15208 HAS SOUPS 15208 WITH SCORE 15227.358
AT ITER 1148 NEW BEST:: SOT 43278 SOS 19206 HAS SOPS 19206 HAS SOUS 14952 HAS SOUPS 14952 WITH SCORE 14971.206
AT ITER 1149 NEW BEST:: SOT 43264 SOS 19192 HAS SOPS 19192 HAS SOUS 14938 HAS SOUPS 14938 WITH SCORE 14957.192
AT ITER 1157 NEW BEST:: SOT 43236 SOS 19164 HAS SOPS 19164 HAS SOUS 14910 HAS SOUPS 14910 WITH SCORE 14929.164
AT ITER 1168 NEW BEST:: SOT 43168 SOS 19042 HAS SOPS 19042 HAS SOUS 14788 HAS SOUPS 14788 WITH SCORE 14807.042
AT ITER 1170 NEW BEST:: SOT 43164 SOS 19038 HAS SOPS 19038 HAS SOUS 14784 HAS SOUPS 14784 WITH SCORE 14803.038
AT ITER 1174 NEW BEST:: SOT 43164 SOS 19036 HAS SOPS 19036 HAS SOUS 14782 HAS SOUPS 14782 WITH SCORE 14801.036
AT ITER 1176 NEW BEST:: SOT 43112 SOS 18984 HAS SOPS 18984 HAS SOUS 14730 HAS SOUPS 14730 WITH SCORE 14748.984
AT ITER 1184 NEW BEST:: SOT 43094 SOS 18976 HAS SOPS 18976 HAS SOUS 14722 HAS SOUPS 14722 WITH SCORE 14740.976
AT ITER 1187 NEW BEST:: SOT 42996 SOS 18878 HAS SOPS 18878 HAS SOUS 14624 HAS SOUPS 14624 WITH SCORE 14642.878
AT ITER 1190 NEW BEST:: SOT 42966 SOS 18818 HAS SOPS 18818 HAS SOUS 14564 HAS SOUPS 14564 WITH SCORE 14582.818
AT ITER 1196 NEW BEST:: SOT 42906 SOS 18758 HAS SOPS 18758 HAS SOUS 14504 HAS SOUPS 14504 WITH SCORE 14522.758
AT ITER 1199 NEW BEST:: SOT 42904 SOS 18756 HAS SOPS 18756 HAS SOUS 14502 HAS SOUPS 14502 WITH SCORE 14520.756
AT ITER 1208 NEW BEST:: SOT 42874 SOS 18696 HAS SOPS 18696 HAS SOUS 14442 HAS SOUPS 14442 WITH SCORE 14460.696
AT ITER 1212 NEW BEST:: SOT 42704 SOS 18192 HAS SOPS 18192 HAS SOUS 13938 HAS SOUPS 13938 WITH SCORE 13956.192
AT ITER 1214 NEW BEST:: SOT 42704 SOS 18170 HAS SOPS 18170 HAS SOUS 13916 HAS SOUPS 13916 WITH SCORE 13934.17
AT ITER 1229 NEW BEST:: SOT 42746 SOS 18004 HAS SOPS 18004 HAS SOUS 13750 HAS SOUPS 13750 WITH SCORE 13768.004
AT ITER 1248 NEW BEST:: SOT 42742 SOS 18000 HAS SOPS 18000 HAS SOUS 13746 HAS SOUPS 13746 WITH SCORE 13764.0
AT ITER 1252 NEW BEST:: SOT 42740 SOS 17994 HAS SOPS 17994 HAS SOUS 13740 HAS SOUPS 13740 WITH SCORE 13757.994
AT ITER 1269 NEW BEST:: SOT 42736 SOS 17980 HAS SOPS 17980 HAS SOUS 13726 HAS SOUPS 13726 WITH SCORE 13743.98
AT ITER 1278 NEW BEST:: SOT 42716 SOS 17960 HAS SOPS 17960 HAS SOUS 13706 HAS SOUPS 13706 WITH SCORE 13723.96
AT ITER 1297 NEW BEST:: SOT 42708 SOS 17810 HAS SOPS 17810 HAS SOUS 13556 HAS SOUPS 13556 WITH SCORE 13573.81
AT ITER 1308 NEW BEST:: SOT 42674 SOS 17676 HAS SOPS 17676 HAS SOUS 13422 HAS SOUPS 13422 WITH SCORE 13439.676
AT ITER 1316 NEW BEST:: SOT 42668 SOS 17670 HAS SOPS 17670 HAS SOUS 13416 HAS SOUPS 13416 WITH SCORE 13433.67
AT ITER 1329 NEW BEST:: SOT 42614 SOS 17614 HAS SOPS 17614 HAS SOUS 13360 HAS SOUPS 13360 WITH SCORE 13377.614
AT ITER 1334 NEW BEST:: SOT 42514 SOS 17458 HAS SOPS 17458 HAS SOUS 13204 HAS SOUPS 13204 WITH SCORE 13221.458
AT ITER 1336 NEW BEST:: SOT 42460 SOS 17360 HAS SOPS 17360 HAS SOUS 13106 HAS SOUPS 13106 WITH SCORE 13123.36
AT ITER 1339 NEW BEST:: SOT 42358 SOS 17170 HAS SOPS 17170 HAS SOUS 12916 HAS SOUPS 12916 WITH SCORE 12933.17
AT ITER 1348 NEW BEST:: SOT 42306 SOS 17072 HAS SOPS 17072 HAS SOUS 12818 HAS SOUPS 12818 WITH SCORE 12835.072
AT ITER 1374 NEW BEST:: SOT 42290 SOS 17002 HAS SOPS 17002 HAS SOUS 12748 HAS SOUPS 12748 WITH SCORE 12765.002
AT ITER 1379 NEW BEST:: SOT 42290 SOS 16902 HAS SOPS 16902 HAS SOUS 12742 HAS SOUPS 12742 WITH SCORE 12758.902
AT ITER 1390 NEW BEST:: SOT 42264 SOS 16876 HAS SOPS 16876 HAS SOUS 12716 HAS SOUPS 12716 WITH SCORE 12732.876
AT ITER 1401 NEW BEST:: SOT 42226 SOS 16838 HAS SOPS 16838 HAS SOUS 12678 HAS SOUPS 12678 WITH SCORE 12694.838
AT ITER 1404 NEW BEST:: SOT 42192 SOS 16770 HAS SOPS 16770 HAS SOUS 12610 HAS SOUPS 12610 WITH SCORE 12626.77
AT ITER 1414 NEW BEST:: SOT 42202 SOS 16756 HAS SOPS 16756 HAS SOUS 12596 HAS SOUPS 12596 WITH SCORE 12612.756
AT ITER 1415 NEW BEST:: SOT 42136 SOS 16784 HAS SOPS 16784 HAS SOUS 12530 HAS SOUPS 12530 WITH SCORE 12546.784
AT ITER 1421 NEW BEST:: SOT 42136 SOS 16770 HAS SOPS 16770 HAS SOUS 12516 HAS SOUPS 12516 WITH SCORE 12532.77
AT ITER 1443 NEW BEST:: SOT 42108 SOS 16714 HAS SOPS 16714 HAS SOUS 12460 HAS SOUPS 12460 WITH SCORE 12476.714
AT ITER 1453 NEW BEST:: SOT 42102 SOS 16526 HAS SOPS 16526 HAS SOUS 12272 HAS SOUPS 12272 WITH SCORE 12288.526
AT ITER 1462 NEW BEST:: SOT 42016 SOS 16394 HAS SOPS 16394 HAS SOUS 12140 HAS SOUPS 12140 WITH SCORE 12156.394
AT ITER 1465 NEW BEST:: SOT 42010 SOS 16388 HAS SOPS 16388 HAS SOUS 12134 HAS SOUPS 12134 WITH SCORE 12150.388
AT ITER 1466 NEW BEST:: SOT 42066 SOS 16372 HAS SOPS 16372 HAS SOUS 12118 HAS SOUPS 12118 WITH SCORE 12134.372
AT ITER 1488 NEW BEST:: SOT 42098 SOS 16362 HAS SOPS 16362 HAS SOUS 12108 HAS SOUPS 12108 WITH SCORE 12124.362
AT ITER 1496 NEW BEST:: SOT 42034 SOS 16234 HAS SOPS 16234 HAS SOUS 11980 HAS SOUPS 11980 WITH SCORE 11996.234
AT ITER 1500 NEW BEST:: SOT 42026 SOS 16226 HAS SOPS 16226 HAS SOUS 11972 HAS SOUPS 11972 WITH SCORE 11988.226
AT ITER 1502 NEW BEST:: SOT 42018 SOS 16160 HAS SOPS 16160 HAS SOUS 11906 HAS SOUPS 11906 WITH SCORE 11922.16
AT ITER 1519 NEW BEST:: SOT 42018 SOS 16126 HAS SOPS 16126 HAS SOUS 11872 HAS SOUPS 11872 WITH SCORE 11888.126
AT ITER 1525 NEW BEST:: SOT 42030 SOS 15766 HAS SOPS 15766 HAS SOUS 11854 HAS SOUPS 11854 WITH SCORE 11869.766
AT ITER 1530 NEW BEST:: SOT 41978 SOS 15670 HAS SOPS 15670 HAS SOUS 11758 HAS SOUPS 11758 WITH SCORE 11773.67
AT ITER 1542 NEW BEST:: SOT 41952 SOS 15648 HAS SOPS 15648 HAS SOUS 11736 HAS SOUPS 11736 WITH SCORE 11751.648
AT ITER 1551 NEW BEST:: SOT 41934 SOS 15630 HAS SOPS 15630 HAS SOUS 11718 HAS SOUPS 11718 WITH SCORE 11733.63
AT ITER 1556 NEW BEST:: SOT 41934 SOS 15540 HAS SOPS 15540 HAS SOUS 11628 HAS SOUPS 11628 WITH SCORE 11643.54
AT ITER 1557 NEW BEST:: SOT 41908 SOS 15500 HAS SOPS 15500 HAS SOUS 11588 HAS SOUPS 11588 WITH SCORE 11603.5
AT ITER 1597 NEW BEST:: SOT 41908 SOS 15568 HAS SOPS 15568 HAS SOUS 11574 HAS SOUPS 11574 WITH SCORE 11589.568
AT ITER 1603 NEW BEST:: SOT 41882 SOS 15542 HAS SOPS 15542 HAS SOUS 11548 HAS SOUPS 11548 WITH SCORE 11563.542
AT ITER 1607 NEW BEST:: SOT 41882 SOS 15530 HAS SOPS 15530 HAS SOUS 11536 HAS SOUPS 11536 WITH SCORE 11551.53
AT ITER 1619 NEW BEST:: SOT 41872 SOS 15520 HAS SOPS 15520 HAS SOUS 11526 HAS SOUPS 11526 WITH SCORE 11541.52
AT ITER 1626 NEW BEST:: SOT 41860 SOS 15494 HAS SOPS 15494 HAS SOUS 11500 HAS SOUPS 11500 WITH SCORE 11515.494
AT ITER 1648 NEW BEST:: SOT 41832 SOS 15444 HAS SOPS 15444 HAS SOUS 11450 HAS SOUPS 11450 WITH SCORE 11465.444
AT ITER 1651 NEW BEST:: SOT 41832 SOS 15438 HAS SOPS 15438 HAS SOUS 11444 HAS SOUPS 11444 WITH SCORE 11459.438
AT ITER 1654 NEW BEST:: SOT 41826 SOS 15432 HAS SOPS 15432 HAS SOUS 11438 HAS SOUPS 11438 WITH SCORE 11453.432
AT ITER 1659 NEW BEST:: SOT 41826 SOS 15422 HAS SOPS 15422 HAS SOUS 11428 HAS SOUPS 11428 WITH SCORE 11443.422
AT ITER 1680 NEW BEST:: SOT 41818 SOS 15414 HAS SOPS 15414 HAS SOUS 11420 HAS SOUPS 11420 WITH SCORE 11435.414
AT ITER 1685 NEW BEST:: SOT 41730 SOS 15332 HAS SOPS 15332 HAS SOUS 11338 HAS SOUPS 11338 WITH SCORE 11353.332
AT ITER 1700 NEW BEST:: SOT 41720 SOS 15302 HAS SOPS 15302 HAS SOUS 11308 HAS SOUPS 11308 WITH SCORE 11323.302
AT ITER 1714 NEW BEST:: SOT 41726 SOS 15280 HAS SOPS 15280 HAS SOUS 11288 HAS SOUPS 11288 WITH SCORE 11303.28
AT ITER 1724 NEW BEST:: SOT 41706 SOS 15260 HAS SOPS 15260 HAS SOUS 11268 HAS SOUPS 11268 WITH SCORE 11283.26
AT ITER 1730 NEW BEST:: SOT 41572 SOS 15126 HAS SOPS 15126 HAS SOUS 11134 HAS SOUPS 11134 WITH SCORE 11149.126
AT ITER 1731 NEW BEST:: SOT 41580 SOS 15124 HAS SOPS 15124 HAS SOUS 11132 HAS SOUPS 11132 WITH SCORE 11147.124
AT ITER 1734 NEW BEST:: SOT 41580 SOS 15120 HAS SOPS 15120 HAS SOUS 11128 HAS SOUPS 11128 WITH SCORE 11143.12
AT ITER 1742 NEW BEST:: SOT 41512 SOS 15042 HAS SOPS 15042 HAS SOUS 11050 HAS SOUPS 11050 WITH SCORE 11065.042
AT ITER 1775 NEW BEST:: SOT 41512 SOS 15032 HAS SOPS 15032 HAS SOUS 11040 HAS SOUPS 11040 WITH SCORE 11055.032
AT ITER 1778 NEW BEST:: SOT 41502 SOS 15016 HAS SOPS 15016 HAS SOUS 11024 HAS SOUPS 11024 WITH SCORE 11039.016
AT ITER 1790 NEW BEST:: SOT 41500 SOS 15014 HAS SOPS 15014 HAS SOUS 11022 HAS SOUPS 11022 WITH SCORE 11037.014
AT ITER 1812 NEW BEST:: SOT 41466 SOS 15058 HAS SOPS 15058 HAS SOUS 10920 HAS SOUPS 10920 WITH SCORE 10935.058
AT ITER 1825 NEW BEST:: SOT 41446 SOS 14902 HAS SOPS 14902 HAS SOUS 10764 HAS SOUPS 10764 WITH SCORE 10778.902
AT ITER 1826 NEW BEST:: SOT 41406 SOS 14844 HAS SOPS 14844 HAS SOUS 10706 HAS SOUPS 10706 WITH SCORE 10720.844
AT ITER 1887 NEW BEST:: SOT 41404 SOS 14824 HAS SOPS 14824 HAS SOUS 10686 HAS SOUPS 10686 WITH SCORE 10700.824
AT ITER 1902 NEW BEST:: SOT 41400 SOS 14820 HAS SOPS 14820 HAS SOUS 10682 HAS SOUPS 10682 WITH SCORE 10696.82
AT ITER 1945 NEW BEST:: SOT 41392 SOS 14784 HAS SOPS 14784 HAS SOUS 10646 HAS SOUPS 10646 WITH SCORE 10660.784
AT ITER 1950 NEW BEST:: SOT 41318 SOS 14656 HAS SOPS 14656 HAS SOUS 10518 HAS SOUPS 10518 WITH SCORE 10532.656
AT ITER 1953 NEW BEST:: SOT 41272 SOS 14610 HAS SOPS 14610 HAS SOUS 10472 HAS SOUPS 10472 WITH SCORE 10486.61
AT ITER 1967 NEW BEST:: SOT 41272 SOS 14610 HAS SOPS 14610 HAS SOUS 10390 HAS SOUPS 10390 WITH SCORE 10404.61
AT ITER 1973 NEW BEST:: SOT 41272 SOS 14604 HAS SOPS 14604 HAS SOUS 10384 HAS SOUPS 10384 WITH SCORE 10398.604
AT ITER 1994 NEW BEST:: SOT 41230 SOS 14562 HAS SOPS 14562 HAS SOUS 10342 HAS SOUPS 10342 WITH SCORE 10356.562
AT ITER 2003 NEW BEST:: SOT 41230 SOS 14726 HAS SOPS 14726 HAS SOUS 10310 HAS SOUPS 10310 WITH SCORE 10324.726
AT ITER 2010 NEW BEST:: SOT 41230 SOS 14724 HAS SOPS 14724 HAS SOUS 10308 HAS SOUPS 10308 WITH SCORE 10322.724
AT ITER 2020 NEW BEST:: SOT 41224 SOS 14718 HAS SOPS 14718 HAS SOUS 10302 HAS SOUPS 10302 WITH SCORE 10316.718
AT ITER 2026 NEW BEST:: SOT 41204 SOS 14712 HAS SOPS 14712 HAS SOUS 10264 HAS SOUPS 10264 WITH SCORE 10278.712
AT ITER 2045 NEW BEST:: SOT 41126 SOS 14550 HAS SOPS 14550 HAS SOUS 10102 HAS SOUPS 10102 WITH SCORE 10116.55
AT ITER 2053 NEW BEST:: SOT 41018 SOS 14442 HAS SOPS 14442 HAS SOUS 9994 HAS SOUPS 9994 WITH SCORE 10008.442
AT ITER 2066 NEW BEST:: SOT 41018 SOS 14438 HAS SOPS 14438 HAS SOUS 9990 HAS SOUPS 9990 WITH SCORE 10004.438
AT ITER 2073 NEW BEST:: SOT 41018 SOS 14432 HAS SOPS 14432 HAS SOUS 9984 HAS SOUPS 9984 WITH SCORE 9998.432
AT ITER 2085 NEW BEST:: SOT 41002 SOS 14416 HAS SOPS 14416 HAS SOUS 9968 HAS SOUPS 9968 WITH SCORE 9982.416
AT ITER 2096 NEW BEST:: SOT 41000 SOS 14408 HAS SOPS 14408 HAS SOUS 9960 HAS SOUPS 9960 WITH SCORE 9974.408
AT ITER 2097 NEW BEST:: SOT 40964 SOS 14392 HAS SOPS 14392 HAS SOUS 9944 HAS SOUPS 9944 WITH SCORE 9958.392
AT ITER 2110 NEW BEST:: SOT 40912 SOS 14286 HAS SOPS 14286 HAS SOUS 9838 HAS SOUPS 9838 WITH SCORE 9852.286
AT ITER 2120 NEW BEST:: SOT 40882 SOS 14268 HAS SOPS 14268 HAS SOUS 9820 HAS SOUPS 9820 WITH SCORE 9834.268
AT ITER 2121 NEW BEST:: SOT 40870 SOS 14232 HAS SOPS 14232 HAS SOUS 9784 HAS SOUPS 9784 WITH SCORE 9798.232
AT ITER 2131 NEW BEST:: SOT 40760 SOS 14122 HAS SOPS 14122 HAS SOUS 9674 HAS SOUPS 9674 WITH SCORE 9688.122
AT ITER 2138 NEW BEST:: SOT 40760 SOS 14106 HAS SOPS 14106 HAS SOUS 9658 HAS SOUPS 9658 WITH SCORE 9672.106
AT ITER 2152 NEW BEST:: SOT 40738 SOS 14084 HAS SOPS 14084 HAS SOUS 9636 HAS SOUPS 9636 WITH SCORE 9650.084
AT ITER 2172 NEW BEST:: SOT 40706 SOS 14052 HAS SOPS 14052 HAS SOUS 9604 HAS SOUPS 9604 WITH SCORE 9618.052
AT ITER 2180 NEW BEST:: SOT 40704 SOS 14042 HAS SOPS 14042 HAS SOUS 9594 HAS SOUPS 9594 WITH SCORE 9608.042
AT ITER 2181 NEW BEST:: SOT 40672 SOS 13942 HAS SOPS 13942 HAS SOUS 9494 HAS SOUPS 9494 WITH SCORE 9507.942
AT ITER 2182 NEW BEST:: SOT 40672 SOS 13940 HAS SOPS 13940 HAS SOUS 9492 HAS SOUPS 9492 WITH SCORE 9505.94
AT ITER 2195 NEW BEST:: SOT 40668 SOS 13936 HAS SOPS 13936 HAS SOUS 9488 HAS SOUPS 9488 WITH SCORE 9501.936
AT ITER 2204 NEW BEST:: SOT 40668 SOS 13946 HAS SOPS 13946 HAS SOUS 9460 HAS SOUPS 9460 WITH SCORE 9473.946
AT ITER 2206 NEW BEST:: SOT 40668 SOS 13932 HAS SOPS 13932 HAS SOUS 9446 HAS SOUPS 9446 WITH SCORE 9459.932
AT ITER 2214 NEW BEST:: SOT 40632 SOS 13896 HAS SOPS 13896 HAS SOUS 9410 HAS SOUPS 9410 WITH SCORE 9423.896
AT ITER 2231 NEW BEST:: SOT 40618 SOS 13878 HAS SOPS 13878 HAS SOUS 9392 HAS SOUPS 9392 WITH SCORE 9405.878
AT ITER 2254 NEW BEST:: SOT 40594 SOS 13818 HAS SOPS 13818 HAS SOUS 9332 HAS SOUPS 9332 WITH SCORE 9345.818
AT ITER 2267 NEW BEST:: SOT 40594 SOS 13802 HAS SOPS 13802 HAS SOUS 9316 HAS SOUPS 9316 WITH SCORE 9329.802
AT ITER 2268 NEW BEST:: SOT 40592 SOS 13800 HAS SOPS 13800 HAS SOUS 9314 HAS SOUPS 9314 WITH SCORE 9327.8
AT ITER 2271 NEW BEST:: SOT 40590 SOS 13796 HAS SOPS 13796 HAS SOUS 9310 HAS SOUPS 9310 WITH SCORE 9323.796
AT ITER 2279 NEW BEST:: SOT 40590 SOS 13764 HAS SOPS 13764 HAS SOUS 9278 HAS SOUPS 9278 WITH SCORE 9291.764
AT ITER 2285 NEW BEST:: SOT 40590 SOS 13720 HAS SOPS 13720 HAS SOUS 9234 HAS SOUPS 9234 WITH SCORE 9247.72
AT ITER 2287 NEW BEST:: SOT 40590 SOS 13704 HAS SOPS 13704 HAS SOUS 9218 HAS SOUPS 9218 WITH SCORE 9231.704
AT ITER 2292 NEW BEST:: SOT 40588 SOS 13688 HAS SOPS 13688 HAS SOUS 9202 HAS SOUPS 9202 WITH SCORE 9215.688
AT ITER 2299 NEW BEST:: SOT 40566 SOS 13666 HAS SOPS 13666 HAS SOUS 9180 HAS SOUPS 9180 WITH SCORE 9193.666
AT ITER 2303 NEW BEST:: SOT 40450 SOS 13550 HAS SOPS 13550 HAS SOUS 9064 HAS SOUPS 9064 WITH SCORE 9077.55
AT ITER 2307 NEW BEST:: SOT 40426 SOS 13508 HAS SOPS 13508 HAS SOUS 9022 HAS SOUPS 9022 WITH SCORE 9035.508
AT ITER 2309 NEW BEST:: SOT 40412 SOS 13494 HAS SOPS 13494 HAS SOUS 9008 HAS SOUPS 9008 WITH SCORE 9021.494
AT ITER 2312 NEW BEST:: SOT 40396 SOS 13478 HAS SOPS 13478 HAS SOUS 8992 HAS SOUPS 8992 WITH SCORE 9005.478
AT ITER 2323 NEW BEST:: SOT 40376 SOS 13458 HAS SOPS 13458 HAS SOUS 8972 HAS SOUPS 8972 WITH SCORE 8985.458
AT ITER 2356 NEW BEST:: SOT 40324 SOS 13406 HAS SOPS 13406 HAS SOUS 8846 HAS SOUPS 8846 WITH SCORE 8859.406
AT ITER 2383 NEW BEST:: SOT 40238 SOS 13396 HAS SOPS 13396 HAS SOUS 8836 HAS SOUPS 8836 WITH SCORE 8849.396
AT ITER 2395 NEW BEST:: SOT 40184 SOS 13288 HAS SOPS 13288 HAS SOUS 8728 HAS SOUPS 8728 WITH SCORE 8741.288
AT ITER 2405 NEW BEST:: SOT 40162 SOS 13280 HAS SOPS 13280 HAS SOUS 8720 HAS SOUPS 8720 WITH SCORE 8733.28
AT ITER 2409 NEW BEST:: SOT 40156 SOS 13274 HAS SOPS 13274 HAS SOUS 8714 HAS SOUPS 8714 WITH SCORE 8727.274
AT ITER 2418 NEW BEST:: SOT 40116 SOS 13206 HAS SOPS 13206 HAS SOUS 8646 HAS SOUPS 8646 WITH SCORE 8659.206
AT ITER 2419 NEW BEST:: SOT 40062 SOS 13130 HAS SOPS 13130 HAS SOUS 8570 HAS SOUPS 8570 WITH SCORE 8583.13
AT ITER 2423 NEW BEST:: SOT 40042 SOS 13100 HAS SOPS 13100 HAS SOUS 8510 HAS SOUPS 8510 WITH SCORE 8523.1
AT ITER 2428 NEW BEST:: SOT 40032 SOS 13082 HAS SOPS 13082 HAS SOUS 8492 HAS SOUPS 8492 WITH SCORE 8505.082
AT ITER 2445 NEW BEST:: SOT 40028 SOS 13056 HAS SOPS 13056 HAS SOUS 8466 HAS SOUPS 8466 WITH SCORE 8479.056
AT ITER 2447 NEW BEST:: SOT 40006 SOS 13050 HAS SOPS 13050 HAS SOUS 8460 HAS SOUPS 8460 WITH SCORE 8473.05
AT ITER 2450 NEW BEST:: SOT 40006 SOS 13050 HAS SOPS 13050 HAS SOUS 8426 HAS SOUPS 8426 WITH SCORE 8439.05
AT ITER 2451 NEW BEST:: SOT 40006 SOS 13040 HAS SOPS 13040 HAS SOUS 8416 HAS SOUPS 8416 WITH SCORE 8429.04
AT ITER 2460 NEW BEST:: SOT 39956 SOS 12990 HAS SOPS 12990 HAS SOUS 8366 HAS SOUPS 8366 WITH SCORE 8378.99
AT ITER 2464 NEW BEST:: SOT 39986 SOS 12984 HAS SOPS 12984 HAS SOUS 8360 HAS SOUPS 8360 WITH SCORE 8372.984
AT ITER 2549 NEW BEST:: SOT 39986 SOS 12948 HAS SOPS 12948 HAS SOUS 8358 HAS SOUPS 8358 WITH SCORE 8370.948
AT ITER 2577 NEW BEST:: SOT 39982 SOS 12944 HAS SOPS 12944 HAS SOUS 8354 HAS SOUPS 8354 WITH SCORE 8366.944
AT ITER 2584 NEW BEST:: SOT 39960 SOS 12938 HAS SOPS 12938 HAS SOUS 8348 HAS SOUPS 8348 WITH SCORE 8360.938
AT ITER 2598 NEW BEST:: SOT 39960 SOS 12932 HAS SOPS 12932 HAS SOUS 8342 HAS SOUPS 8342 WITH SCORE 8354.932
AT ITER 2603 NEW BEST:: SOT 39922 SOS 12870 HAS SOPS 12870 HAS SOUS 8280 HAS SOUPS 8280 WITH SCORE 8292.87
AT ITER 2652 NEW BEST:: SOT 39922 SOS 12742 HAS SOPS 12742 HAS SOUS 8268 HAS SOUPS 8268 WITH SCORE 8280.742
AT ITER 2674 NEW BEST:: SOT 39922 SOS 12730 HAS SOPS 12730 HAS SOUS 8268 HAS SOUPS 8268 WITH SCORE 8280.73
AT ITER 2688 NEW BEST:: SOT 39922 SOS 12666 HAS SOPS 12666 HAS SOUS 8204 HAS SOUPS 8204 WITH SCORE 8216.666
AT ITER 2690 NEW BEST:: SOT 39922 SOS 12666 HAS SOPS 12666 HAS SOUS 8192 HAS SOUPS 8192 WITH SCORE 8204.666
AT ITER 2707 NEW BEST:: SOT 39918 SOS 12662 HAS SOPS 12662 HAS SOUS 8188 HAS SOUPS 8188 WITH SCORE 8200.662
AT ITER 2708 NEW BEST:: SOT 39904 SOS 12648 HAS SOPS 12648 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8186.648
AT ITER 2719 NEW BEST:: SOT 39900 SOS 12644 HAS SOPS 12644 HAS SOUS 8170 HAS SOUPS 8170 WITH SCORE 8182.644
AT ITER 2743 NEW BEST:: SOT 39844 SOS 12518 HAS SOPS 12518 HAS SOUS 8044 HAS SOUPS 8044 WITH SCORE 8056.518
AT ITER 2782 NEW BEST:: SOT 39844 SOS 12452 HAS SOPS 12452 HAS SOUS 7978 HAS SOUPS 7978 WITH SCORE 7990.452
AT ITER 2789 NEW BEST:: SOT 39844 SOS 12440 HAS SOPS 12440 HAS SOUS 7966 HAS SOUPS 7966 WITH SCORE 7978.44
AT ITER 2826 NEW BEST:: SOT 39846 SOS 12424 HAS SOPS 12424 HAS SOUS 7950 HAS SOUPS 7950 WITH SCORE 7962.424
AT ITER 2865 NEW BEST:: SOT 39834 SOS 12412 HAS SOPS 12412 HAS SOUS 7938 HAS SOUPS 7938 WITH SCORE 7950.412
AT ITER 2883 NEW BEST:: SOT 39834 SOS 12404 HAS SOPS 12404 HAS SOUS 7938 HAS SOUPS 7938 WITH SCORE 7950.404
AT ITER 2885 NEW BEST:: SOT 39760 SOS 12262 HAS SOPS 12262 HAS SOUS 7796 HAS SOUPS 7796 WITH SCORE 7808.262
AT ITER 2890 NEW BEST:: SOT 39718 SOS 12196 HAS SOPS 12196 HAS SOUS 7730 HAS SOUPS 7730 WITH SCORE 7742.196
AT ITER 2931 NEW BEST:: SOT 39706 SOS 12184 HAS SOPS 12184 HAS SOUS 7718 HAS SOUPS 7718 WITH SCORE 7730.184
AT ITER 2945 NEW BEST:: SOT 39676 SOS 12154 HAS SOPS 12154 HAS SOUS 7688 HAS SOUPS 7688 WITH SCORE 7700.154
AT ITER 2954 NEW BEST:: SOT 39676 SOS 12150 HAS SOPS 12150 HAS SOUS 7684 HAS SOUPS 7684 WITH SCORE 7696.15
AT ITER 2986 NEW BEST:: SOT 39674 SOS 12130 HAS SOPS 12130 HAS SOUS 7664 HAS SOUPS 7664 WITH SCORE 7676.13
AT ITER 3011 NEW BEST:: SOT 39672 SOS 12128 HAS SOPS 12128 HAS SOUS 7662 HAS SOUPS 7662 WITH SCORE 7674.128
AT ITER 3035 NEW BEST:: SOT 39650 SOS 12088 HAS SOPS 12088 HAS SOUS 7622 HAS SOUPS 7622 WITH SCORE 7634.088
AT ITER 3070 NEW BEST:: SOT 39644 SOS 12076 HAS SOPS 12076 HAS SOUS 7610 HAS SOUPS 7610 WITH SCORE 7622.076
AT ITER 3072 NEW BEST:: SOT 39620 SOS 12022 HAS SOPS 12022 HAS SOUS 7556 HAS SOUPS 7556 WITH SCORE 7568.022
AT ITER 3080 NEW BEST:: SOT 39604 SOS 12004 HAS SOPS 12004 HAS SOUS 7538 HAS SOUPS 7538 WITH SCORE 7550.004
AT ITER 3091 NEW BEST:: SOT 39604 SOS 11966 HAS SOPS 11966 HAS SOUS 7500 HAS SOUPS 7500 WITH SCORE 7511.966
AT ITER 3100 NEW BEST:: SOT 39604 SOS 11984 HAS SOPS 11984 HAS SOUS 7494 HAS SOUPS 7494 WITH SCORE 7505.984
AT ITER 3109 NEW BEST:: SOT 39604 SOS 11982 HAS SOPS 11982 HAS SOUS 7492 HAS SOUPS 7492 WITH SCORE 7503.982
AT ITER 3151 NEW BEST:: SOT 39604 SOS 11960 HAS SOPS 11960 HAS SOUS 7470 HAS SOUPS 7470 WITH SCORE 7481.96
AT ITER 3167 NEW BEST:: SOT 39562 SOS 11898 HAS SOPS 11898 HAS SOUS 7408 HAS SOUPS 7408 WITH SCORE 7419.898
AT ITER 3171 NEW BEST:: SOT 39448 SOS 11784 HAS SOPS 11784 HAS SOUS 7294 HAS SOUPS 7294 WITH SCORE 7305.784
AT ITER 3176 NEW BEST:: SOT 39448 SOS 11784 HAS SOPS 11784 HAS SOUS 7290 HAS SOUPS 7290 WITH SCORE 7301.784
AT ITER 3192 NEW BEST:: SOT 39428 SOS 11706 HAS SOPS 11706 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7223.706
AT ITER 3205 NEW BEST:: SOT 39410 SOS 11672 HAS SOPS 11672 HAS SOUS 7178 HAS SOUPS 7178 WITH SCORE 7189.672
AT ITER 3209 NEW BEST:: SOT 39408 SOS 11650 HAS SOPS 11650 HAS SOUS 7156 HAS SOUPS 7156 WITH SCORE 7167.65
AT ITER 3231 NEW BEST:: SOT 39406 SOS 11648 HAS SOPS 11648 HAS SOUS 7154 HAS SOUPS 7154 WITH SCORE 7165.648
AT ITER 3243 NEW BEST:: SOT 39402 SOS 11644 HAS SOPS 11644 HAS SOUS 7150 HAS SOUPS 7150 WITH SCORE 7161.644
AT ITER 3261 NEW BEST:: SOT 39400 SOS 11642 HAS SOPS 11642 HAS SOUS 7148 HAS SOUPS 7148 WITH SCORE 7159.642
AT ITER 3335 NEW BEST:: SOT 39400 SOS 11634 HAS SOPS 11634 HAS SOUS 7140 HAS SOUPS 7140 WITH SCORE 7151.634
AT ITER 3340 NEW BEST:: SOT 39390 SOS 11578 HAS SOPS 11578 HAS SOUS 7084 HAS SOUPS 7084 WITH SCORE 7095.578
AT ITER 3350 NEW BEST:: SOT 39380 SOS 11554 HAS SOPS 11554 HAS SOUS 7060 HAS SOUPS 7060 WITH SCORE 7071.554
AT ITER 3401 NEW BEST:: SOT 39380 SOS 11554 HAS SOPS 11554 HAS SOUS 7046 HAS SOUPS 7046 WITH SCORE 7057.554
AT ITER 3436 NEW BEST:: SOT 39378 SOS 11542 HAS SOPS 11542 HAS SOUS 7034 HAS SOUPS 7034 WITH SCORE 7045.542
AT ITER 3443 NEW BEST:: SOT 39378 SOS 11540 HAS SOPS 11540 HAS SOUS 7032 HAS SOUPS 7032 WITH SCORE 7043.54
AT ITER 3472 NEW BEST:: SOT 39376 SOS 11536 HAS SOPS 11536 HAS SOUS 7028 HAS SOUPS 7028 WITH SCORE 7039.536
AT ITER 3479 NEW BEST:: SOT 39376 SOS 11508 HAS SOPS 11508 HAS SOUS 7022 HAS SOUPS 7022 WITH SCORE 7033.508
AT ITER 3484 NEW BEST:: SOT 39382 SOS 11502 HAS SOPS 11502 HAS SOUS 7016 HAS SOUPS 7016 WITH SCORE 7027.502
AT ITER 3497 NEW BEST:: SOT 39374 SOS 11494 HAS SOPS 11494 HAS SOUS 7008 HAS SOUPS 7008 WITH SCORE 7019.494
AT ITER 3606 NEW BEST:: SOT 39356 SOS 11456 HAS SOPS 11456 HAS SOUS 6970 HAS SOUPS 6970 WITH SCORE 6981.456
AT ITER 3654 NEW BEST:: SOT 39340 SOS 11434 HAS SOPS 11434 HAS SOUS 6948 HAS SOUPS 6948 WITH SCORE 6959.434
AT ITER 3691 NEW BEST:: SOT 39324 SOS 11418 HAS SOPS 11418 HAS SOUS 6920 HAS SOUPS 6920 WITH SCORE 6931.418
AT ITER 3706 NEW BEST:: SOT 39320 SOS 11410 HAS SOPS 11410 HAS SOUS 6912 HAS SOUPS 6912 WITH SCORE 6923.41
AT ITER 3723 NEW BEST:: SOT 39312 SOS 11402 HAS SOPS 11402 HAS SOUS 6904 HAS SOUPS 6904 WITH SCORE 6915.402
AT ITER 3748 NEW BEST:: SOT 39306 SOS 11396 HAS SOPS 11396 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6909.396
AT ITER 3778 NEW BEST:: SOT 39294 SOS 11384 HAS SOPS 11384 HAS SOUS 6886 HAS SOUPS 6886 WITH SCORE 6897.384
AT ITER 3783 NEW BEST:: SOT 39302 SOS 11382 HAS SOPS 11382 HAS SOUS 6884 HAS SOUPS 6884 WITH SCORE 6895.382
AT ITER 3791 NEW BEST:: SOT 39302 SOS 11326 HAS SOPS 11326 HAS SOUS 6828 HAS SOUPS 6828 WITH SCORE 6839.326
AT ITER 3803 NEW BEST:: SOT 39240 SOS 11186 HAS SOPS 11186 HAS SOUS 6688 HAS SOUPS 6688 WITH SCORE 6699.186
AT ITER 3838 NEW BEST:: SOT 39240 SOS 11150 HAS SOPS 11150 HAS SOUS 6652 HAS SOUPS 6652 WITH SCORE 6663.15
AT ITER 3977 NEW BEST:: SOT 39224 SOS 11132 HAS SOPS 11132 HAS SOUS 6634 HAS SOUPS 6634 WITH SCORE 6645.132
AT ITER 4002 NEW BEST:: SOT 39204 SOS 11110 HAS SOPS 11110 HAS SOUS 6612 HAS SOUPS 6612 WITH SCORE 6623.11
AT ITER 4017 NEW BEST:: SOT 39204 SOS 11096 HAS SOPS 11096 HAS SOUS 6598 HAS SOUPS 6598 WITH SCORE 6609.096
AT ITER 4038 NEW BEST:: SOT 39188 SOS 11082 HAS SOPS 11082 HAS SOUS 6584 HAS SOUPS 6584 WITH SCORE 6595.082
AT ITER 4043 NEW BEST:: SOT 39188 SOS 11008 HAS SOPS 11008 HAS SOUS 6510 HAS SOUPS 6510 WITH SCORE 6521.008
AT ITER 4059 NEW BEST:: SOT 39188 SOS 11016 HAS SOPS 11016 HAS SOUS 6406 HAS SOUPS 6406 WITH SCORE 6417.016
AT ITER 4061 NEW BEST:: SOT 39188 SOS 11012 HAS SOPS 11012 HAS SOUS 6402 HAS SOUPS 6402 WITH SCORE 6413.012
AT ITER 4152 NEW BEST:: SOT 39186 SOS 11010 HAS SOPS 11010 HAS SOUS 6400 HAS SOUPS 6400 WITH SCORE 6411.01
AT ITER 4170 NEW BEST:: SOT 39152 SOS 10984 HAS SOPS 10984 HAS SOUS 6374 HAS SOUPS 6374 WITH SCORE 6384.984
AT ITER 4173 NEW BEST:: SOT 39152 SOS 10970 HAS SOPS 10970 HAS SOUS 6360 HAS SOUPS 6360 WITH SCORE 6370.97
AT ITER 4177 NEW BEST:: SOT 39148 SOS 10966 HAS SOPS 10966 HAS SOUS 6356 HAS SOUPS 6356 WITH SCORE 6366.966
AT ITER 4212 NEW BEST:: SOT 39140 SOS 10944 HAS SOPS 10944 HAS SOUS 6334 HAS SOUPS 6334 WITH SCORE 6344.944
AT ITER 4232 NEW BEST:: SOT 39122 SOS 10896 HAS SOPS 10896 HAS SOUS 6286 HAS SOUPS 6286 WITH SCORE 6296.896
AT ITER 4275 NEW BEST:: SOT 39122 SOS 10886 HAS SOPS 10886 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6286.886
AT ITER 4277 NEW BEST:: SOT 39104 SOS 10862 HAS SOPS 10862 HAS SOUS 6252 HAS SOUPS 6252 WITH SCORE 6262.862
AT ITER 4297 NEW BEST:: SOT 39102 SOS 10854 HAS SOPS 10854 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6254.854
AT ITER 4298 NEW BEST:: SOT 39096 SOS 10830 HAS SOPS 10830 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6230.83
AT ITER 4324 NEW BEST:: SOT 39084 SOS 10804 HAS SOPS 10804 HAS SOUS 6194 HAS SOUPS 6194 WITH SCORE 6204.804
AT ITER 4329 NEW BEST:: SOT 39084 SOS 10796 HAS SOPS 10796 HAS SOUS 6192 HAS SOUPS 6192 WITH SCORE 6202.796
AT ITER 4331 NEW BEST:: SOT 39060 SOS 10772 HAS SOPS 10772 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6178.772
AT ITER 4349 NEW BEST:: SOT 39060 SOS 10730 HAS SOPS 10730 HAS SOUS 6126 HAS SOUPS 6126 WITH SCORE 6136.73
AT ITER 4372 NEW BEST:: SOT 39020 SOS 10702 HAS SOPS 10702 HAS SOUS 6056 HAS SOUPS 6056 WITH SCORE 6066.702
AT ITER 4385 NEW BEST:: SOT 39016 SOS 10698 HAS SOPS 10698 HAS SOUS 6052 HAS SOUPS 6052 WITH SCORE 6062.698
AT ITER 4420 NEW BEST:: SOT 39012 SOS 10692 HAS SOPS 10692 HAS SOUS 6046 HAS SOUPS 6046 WITH SCORE 6056.692
AT ITER 4431 NEW BEST:: SOT 38994 SOS 10674 HAS SOPS 10674 HAS SOUS 6028 HAS SOUPS 6028 WITH SCORE 6038.674
AT ITER 4475 NEW BEST:: SOT 38992 SOS 10670 HAS SOPS 10670 HAS SOUS 6024 HAS SOUPS 6024 WITH SCORE 6034.67
AT ITER 4595 NEW BEST:: SOT 38986 SOS 10664 HAS SOPS 10664 HAS SOUS 6018 HAS SOUPS 6018 WITH SCORE 6028.664
AT ITER 4621 NEW BEST:: SOT 38986 SOS 10654 HAS SOPS 10654 HAS SOUS 6008 HAS SOUPS 6008 WITH SCORE 6018.654
AT ITER 4625 NEW BEST:: SOT 38974 SOS 10640 HAS SOPS 10640 HAS SOUS 5994 HAS SOUPS 5994 WITH SCORE 6004.64
AT ITER 4668 NEW BEST:: SOT 38962 SOS 10608 HAS SOPS 10608 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5972.608
AT ITER 4712 NEW BEST:: SOT 38950 SOS 10596 HAS SOPS 10596 HAS SOUS 5950 HAS SOUPS 5950 WITH SCORE 5960.596
AT ITER 4718 NEW BEST:: SOT 38950 SOS 10578 HAS SOPS 10578 HAS SOUS 5932 HAS SOUPS 5932 WITH SCORE 5942.578
AT ITER 4729 NEW BEST:: SOT 38932 SOS 10542 HAS SOPS 10542 HAS SOUS 5896 HAS SOUPS 5896 WITH SCORE 5906.542
AT ITER 4762 NEW BEST:: SOT 38930 SOS 10534 HAS SOPS 10534 HAS SOUS 5888 HAS SOUPS 5888 WITH SCORE 5898.534
AT ITER 4779 NEW BEST:: SOT 38880 SOS 10518 HAS SOPS 10518 HAS SOUS 5868 HAS SOUPS 5868 WITH SCORE 5878.518
AT ITER 4790 NEW BEST:: SOT 38878 SOS 10504 HAS SOPS 10504 HAS SOUS 5854 HAS SOUPS 5854 WITH SCORE 5864.504
AT ITER 4818 NEW BEST:: SOT 38870 SOS 10496 HAS SOPS 10496 HAS SOUS 5780 HAS SOUPS 5780 WITH SCORE 5790.496
AT ITER 4880 NEW BEST:: SOT 38870 SOS 10488 HAS SOPS 10488 HAS SOUS 5780 HAS SOUPS 5780 WITH SCORE 5790.488
AT ITER 4882 NEW BEST:: SOT 38870 SOS 10468 HAS SOPS 10468 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5784.468
AT ITER 4898 NEW BEST:: SOT 38870 SOS 10466 HAS SOPS 10466 HAS SOUS 5772 HAS SOUPS 5772 WITH SCORE 5782.466
AT ITER 4900 NEW BEST:: SOT 38870 SOS 10458 HAS SOPS 10458 HAS SOUS 5764 HAS SOUPS 5764 WITH SCORE 5774.458
AT ITER 4957 NEW BEST:: SOT 38856 SOS 10444 HAS SOPS 10444 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5760.444
AT ITER 5005 NEW BEST:: SOT 38854 SOS 10442 HAS SOPS 10442 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5756.442
AT ITER 5016 NEW BEST:: SOT 38848 SOS 10430 HAS SOPS 10430 HAS SOUS 5734 HAS SOUPS 5734 WITH SCORE 5744.43
AT ITER 5026 NEW BEST:: SOT 38838 SOS 10420 HAS SOPS 10420 HAS SOUS 5724 HAS SOUPS 5724 WITH SCORE 5734.42
AT ITER 5074 NEW BEST:: SOT 38838 SOS 10404 HAS SOPS 10404 HAS SOUS 5708 HAS SOUPS 5708 WITH SCORE 5718.404
AT ITER 5099 NEW BEST:: SOT 38798 SOS 10348 HAS SOPS 10348 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5662.348
AT ITER 5106 NEW BEST:: SOT 38798 SOS 10340 HAS SOPS 10340 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5654.34
AT ITER 5114 NEW BEST:: SOT 38796 SOS 10338 HAS SOPS 10338 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5652.338
AT ITER 5174 NEW BEST:: SOT 38768 SOS 10276 HAS SOPS 10276 HAS SOUS 5580 HAS SOUPS 5580 WITH SCORE 5590.276
AT ITER 5177 NEW BEST:: SOT 38746 SOS 10254 HAS SOPS 10254 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5568.254
AT ITER 5185 NEW BEST:: SOT 38746 SOS 10230 HAS SOPS 10230 HAS SOUS 5534 HAS SOUPS 5534 WITH SCORE 5544.23
AT ITER 5187 NEW BEST:: SOT 38738 SOS 10222 HAS SOPS 10222 HAS SOUS 5526 HAS SOUPS 5526 WITH SCORE 5536.222
AT ITER 5199 NEW BEST:: SOT 38738 SOS 10198 HAS SOPS 10198 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5514.198
AT ITER 5202 NEW BEST:: SOT 38732 SOS 10192 HAS SOPS 10192 HAS SOUS 5498 HAS SOUPS 5498 WITH SCORE 5508.192
AT ITER 5235 NEW BEST:: SOT 38712 SOS 10152 HAS SOPS 10152 HAS SOUS 5458 HAS SOUPS 5458 WITH SCORE 5468.152
AT ITER 5264 NEW BEST:: SOT 38698 SOS 10124 HAS SOPS 10124 HAS SOUS 5430 HAS SOUPS 5430 WITH SCORE 5440.124
AT ITER 5303 NEW BEST:: SOT 38698 SOS 10056 HAS SOPS 10056 HAS SOUS 5422 HAS SOUPS 5422 WITH SCORE 5432.056
AT ITER 5306 NEW BEST:: SOT 38698 SOS 10054 HAS SOPS 10054 HAS SOUS 5420 HAS SOUPS 5420 WITH SCORE 5430.054
AT ITER 5309 NEW BEST:: SOT 38696 SOS 10052 HAS SOPS 10052 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5428.052
AT ITER 5313 NEW BEST:: SOT 38690 SOS 10034 HAS SOPS 10034 HAS SOUS 5400 HAS SOUPS 5400 WITH SCORE 5410.034
AT ITER 5317 NEW BEST:: SOT 38684 SOS 10028 HAS SOPS 10028 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5404.028
AT ITER 5331 NEW BEST:: SOT 38682 SOS 10004 HAS SOPS 10004 HAS SOUS 5370 HAS SOUPS 5370 WITH SCORE 5380.004
AT ITER 5364 NEW BEST:: SOT 38642 SOS 9964 HAS SOPS 9964 HAS SOUS 5330 HAS SOUPS 5330 WITH SCORE 5339.964
AT ITER 5370 NEW BEST:: SOT 38640 SOS 9958 HAS SOPS 9958 HAS SOUS 5324 HAS SOUPS 5324 WITH SCORE 5333.958
AT ITER 5413 NEW BEST:: SOT 38632 SOS 9938 HAS SOPS 9938 HAS SOUS 5304 HAS SOUPS 5304 WITH SCORE 5313.938
AT ITER 5456 NEW BEST:: SOT 38620 SOS 9926 HAS SOPS 9926 HAS SOUS 5292 HAS SOUPS 5292 WITH SCORE 5301.926
AT ITER 5458 NEW BEST:: SOT 38618 SOS 9924 HAS SOPS 9924 HAS SOUS 5290 HAS SOUPS 5290 WITH SCORE 5299.924
AT ITER 5483 NEW BEST:: SOT 38612 SOS 9918 HAS SOPS 9918 HAS SOUS 5284 HAS SOUPS 5284 WITH SCORE 5293.918
AT ITER 5507 NEW BEST:: SOT 38612 SOS 9900 HAS SOPS 9900 HAS SOUS 5266 HAS SOUPS 5266 WITH SCORE 5275.9
AT ITER 5599 NEW BEST:: SOT 38592 SOS 9870 HAS SOPS 9870 HAS SOUS 5236 HAS SOUPS 5236 WITH SCORE 5245.87
AT ITER 5664 NEW BEST:: SOT 38588 SOS 9866 HAS SOPS 9866 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5241.866
AT ITER 5679 NEW BEST:: SOT 38586 SOS 9862 HAS SOPS 9862 HAS SOUS 5228 HAS SOUPS 5228 WITH SCORE 5237.862
AT ITER 5699 NEW BEST:: SOT 38540 SOS 9816 HAS SOPS 9816 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5191.816
AT ITER 5810 NEW BEST:: SOT 38536 SOS 9812 HAS SOPS 9812 HAS SOUS 5178 HAS SOUPS 5178 WITH SCORE 5187.812
AT ITER 5811 NEW BEST:: SOT 38526 SOS 9802 HAS SOPS 9802 HAS SOUS 5168 HAS SOUPS 5168 WITH SCORE 5177.802
AT ITER 5834 NEW BEST:: SOT 38526 SOS 9792 HAS SOPS 9792 HAS SOUS 5158 HAS SOUPS 5158 WITH SCORE 5167.792
AT ITER 5838 NEW BEST:: SOT 38514 SOS 9790 HAS SOPS 9790 HAS SOUS 5156 HAS SOUPS 5156 WITH SCORE 5165.79
AT ITER 5853 NEW BEST:: SOT 38512 SOS 9788 HAS SOPS 9788 HAS SOUS 5154 HAS SOUPS 5154 WITH SCORE 5163.788
AT ITER 5862 NEW BEST:: SOT 38514 SOS 9782 HAS SOPS 9782 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5157.782
AT ITER 5920 NEW BEST:: SOT 38510 SOS 9778 HAS SOPS 9778 HAS SOUS 5144 HAS SOUPS 5144 WITH SCORE 5153.778
AT ITER 5983 NEW BEST:: SOT 38478 SOS 9704 HAS SOPS 9704 HAS SOUS 5070 HAS SOUPS 5070 WITH SCORE 5079.704
AT ITER 6050 NEW BEST:: SOT 38458 SOS 9654 HAS SOPS 9654 HAS SOUS 5020 HAS SOUPS 5020 WITH SCORE 5029.654
AT ITER 6055 NEW BEST:: SOT 38448 SOS 9642 HAS SOPS 9642 HAS SOUS 5008 HAS SOUPS 5008 WITH SCORE 5017.642
AT ITER 6062 NEW BEST:: SOT 38448 SOS 9632 HAS SOPS 9632 HAS SOUS 4998 HAS SOUPS 4998 WITH SCORE 5007.632
AT ITER 6157 NEW BEST:: SOT 38444 SOS 9624 HAS SOPS 9624 HAS SOUS 4990 HAS SOUPS 4990 WITH SCORE 4999.624
AT ITER 6192 NEW BEST:: SOT 38444 SOS 9622 HAS SOPS 9622 HAS SOUS 4988 HAS SOUPS 4988 WITH SCORE 4997.622
AT ITER 6209 NEW BEST:: SOT 38418 SOS 9520 HAS SOPS 9520 HAS SOUS 4886 HAS SOUPS 4886 WITH SCORE 4895.52
AT ITER 6218 NEW BEST:: SOT 38404 SOS 9506 HAS SOPS 9506 HAS SOUS 4872 HAS SOUPS 4872 WITH SCORE 4881.506
AT ITER 6222 NEW BEST:: SOT 38402 SOS 9504 HAS SOPS 9504 HAS SOUS 4870 HAS SOUPS 4870 WITH SCORE 4879.504
AT ITER 6384 NEW BEST:: SOT 38402 SOS 9484 HAS SOPS 9484 HAS SOUS 4850 HAS SOUPS 4850 WITH SCORE 4859.484
AT ITER 6404 NEW BEST:: SOT 38398 SOS 9476 HAS SOPS 9476 HAS SOUS 4842 HAS SOUPS 4842 WITH SCORE 4851.476
AT ITER 6443 NEW BEST:: SOT 38390 SOS 9462 HAS SOPS 9462 HAS SOUS 4828 HAS SOUPS 4828 WITH SCORE 4837.462
AT ITER 6463 NEW BEST:: SOT 38376 SOS 9458 HAS SOPS 9458 HAS SOUS 4824 HAS SOUPS 4824 WITH SCORE 4833.458
AT ITER 6617 NEW BEST:: SOT 38366 SOS 9440 HAS SOPS 9440 HAS SOUS 4806 HAS SOUPS 4806 WITH SCORE 4815.44
AT ITER 6661 NEW BEST:: SOT 38366 SOS 9430 HAS SOPS 9430 HAS SOUS 4796 HAS SOUPS 4796 WITH SCORE 4805.43
AT ITER 6714 NEW BEST:: SOT 38362 SOS 9422 HAS SOPS 9422 HAS SOUS 4788 HAS SOUPS 4788 WITH SCORE 4797.422
AT ITER 6718 NEW BEST:: SOT 38362 SOS 9416 HAS SOPS 9416 HAS SOUS 4782 HAS SOUPS 4782 WITH SCORE 4791.416
AT ITER 6746 NEW BEST:: SOT 38362 SOS 9410 HAS SOPS 9410 HAS SOUS 4776 HAS SOUPS 4776 WITH SCORE 4785.41
AT ITER 6751 NEW BEST:: SOT 38362 SOS 9408 HAS SOPS 9408 HAS SOUS 4774 HAS SOUPS 4774 WITH SCORE 4783.408
AT ITER 6772 NEW BEST:: SOT 38362 SOS 9406 HAS SOPS 9406 HAS SOUS 4772 HAS SOUPS 4772 WITH SCORE 4781.406
AT ITER 6786 NEW BEST:: SOT 38346 SOS 9398 HAS SOPS 9398 HAS SOUS 4764 HAS SOUPS 4764 WITH SCORE 4773.398
AT ITER 6799 NEW BEST:: SOT 38346 SOS 9398 HAS SOPS 9398 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4757.398
AT ITER 6818 NEW BEST:: SOT 38344 SOS 9396 HAS SOPS 9396 HAS SOUS 4746 HAS SOUPS 4746 WITH SCORE 4755.396
AT ITER 6868 NEW BEST:: SOT 38332 SOS 9372 HAS SOPS 9372 HAS SOUS 4722 HAS SOUPS 4722 WITH SCORE 4731.372
AT ITER 6967 NEW BEST:: SOT 38328 SOS 9368 HAS SOPS 9368 HAS SOUS 4718 HAS SOUPS 4718 WITH SCORE 4727.368
AT ITER 7115 NEW BEST:: SOT 38328 SOS 9360 HAS SOPS 9360 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4719.36
AT ITER 7122 NEW BEST:: SOT 38324 SOS 9352 HAS SOPS 9352 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4711.352
AT ITER 7124 NEW BEST:: SOT 38320 SOS 9360 HAS SOPS 9360 HAS SOUS 4692 HAS SOUPS 4692 WITH SCORE 4701.36
AT ITER 7159 NEW BEST:: SOT 38314 SOS 9352 HAS SOPS 9352 HAS SOUS 4684 HAS SOUPS 4684 WITH SCORE 4693.352
AT ITER 7205 NEW BEST:: SOT 38298 SOS 9320 HAS SOPS 9320 HAS SOUS 4652 HAS SOUPS 4652 WITH SCORE 4661.32
AT ITER 7371 NEW BEST:: SOT 38288 SOS 9310 HAS SOPS 9310 HAS SOUS 4642 HAS SOUPS 4642 WITH SCORE 4651.31
AT ITER 7427 NEW BEST:: SOT 38278 SOS 9300 HAS SOPS 9300 HAS SOUS 4632 HAS SOUPS 4632 WITH SCORE 4641.3
AT ITER 7481 NEW BEST:: SOT 38262 SOS 9262 HAS SOPS 9262 HAS SOUS 4594 HAS SOUPS 4594 WITH SCORE 4603.262
AT ITER 7525 NEW BEST:: SOT 38238 SOS 9214 HAS SOPS 9214 HAS SOUS 4546 HAS SOUPS 4546 WITH SCORE 4555.214
AT ITER 7536 NEW BEST:: SOT 38220 SOS 9186 HAS SOPS 9186 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4527.186
AT ITER 7542 NEW BEST:: SOT 38220 SOS 9176 HAS SOPS 9176 HAS SOUS 4508 HAS SOUPS 4508 WITH SCORE 4517.176
AT ITER 7557 NEW BEST:: SOT 38220 SOS 9162 HAS SOPS 9162 HAS SOUS 4508 HAS SOUPS 4508 WITH SCORE 4517.162
AT ITER 7606 NEW BEST:: SOT 38214 SOS 9150 HAS SOPS 9150 HAS SOUS 4496 HAS SOUPS 4496 WITH SCORE 4505.15
AT ITER 7662 NEW BEST:: SOT 38206 SOS 9142 HAS SOPS 9142 HAS SOUS 4488 HAS SOUPS 4488 WITH SCORE 4497.142
AT ITER 7670 NEW BEST:: SOT 38178 SOS 9114 HAS SOPS 9114 HAS SOUS 4460 HAS SOUPS 4460 WITH SCORE 4469.114
AT ITER 7685 NEW BEST:: SOT 38178 SOS 9108 HAS SOPS 9108 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4463.108
AT ITER 7689 NEW BEST:: SOT 38176 SOS 9106 HAS SOPS 9106 HAS SOUS 4452 HAS SOUPS 4452 WITH SCORE 4461.106
AT ITER 7701 NEW BEST:: SOT 38144 SOS 9074 HAS SOPS 9074 HAS SOUS 4420 HAS SOUPS 4420 WITH SCORE 4429.074
AT ITER 7753 NEW BEST:: SOT 38144 SOS 9102 HAS SOPS 9102 HAS SOUS 4412 HAS SOUPS 4412 WITH SCORE 4421.102
AT ITER 7840 NEW BEST:: SOT 38138 SOS 9096 HAS SOPS 9096 HAS SOUS 4406 HAS SOUPS 4406 WITH SCORE 4415.096
AT ITER 7852 NEW BEST:: SOT 38134 SOS 9088 HAS SOPS 9088 HAS SOUS 4398 HAS SOUPS 4398 WITH SCORE 4407.088
AT ITER 7886 NEW BEST:: SOT 38112 SOS 9048 HAS SOPS 9048 HAS SOUS 4358 HAS SOUPS 4358 WITH SCORE 4367.048
AT ITER 7887 NEW BEST:: SOT 38112 SOS 9046 HAS SOPS 9046 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4365.046
AT ITER 7918 NEW BEST:: SOT 38106 SOS 9040 HAS SOPS 9040 HAS SOUS 4350 HAS SOUPS 4350 WITH SCORE 4359.04
AT ITER 8095 NEW BEST:: SOT 38100 SOS 9020 HAS SOPS 9020 HAS SOUS 4330 HAS SOUPS 4330 WITH SCORE 4339.02
AT ITER 8118 NEW BEST:: SOT 38100 SOS 9016 HAS SOPS 9016 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4335.016
AT ITER 8144 NEW BEST:: SOT 38096 SOS 9010 HAS SOPS 9010 HAS SOUS 4320 HAS SOUPS 4320 WITH SCORE 4329.01
AT ITER 8188 NEW BEST:: SOT 38092 SOS 9000 HAS SOPS 9000 HAS SOUS 4310 HAS SOUPS 4310 WITH SCORE 4319.0
AT ITER 8224 NEW BEST:: SOT 38080 SOS 8970 HAS SOPS 8970 HAS SOUS 4280 HAS SOUPS 4280 WITH SCORE 4288.97
AT ITER 8233 NEW BEST:: SOT 38070 SOS 8948 HAS SOPS 8948 HAS SOUS 4258 HAS SOUPS 4258 WITH SCORE 4266.948
AT ITER 8245 NEW BEST:: SOT 38070 SOS 8946 HAS SOPS 8946 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4264.946
AT ITER 8268 NEW BEST:: SOT 38070 SOS 8944 HAS SOPS 8944 HAS SOUS 4254 HAS SOUPS 4254 WITH SCORE 4262.944
AT ITER 8362 NEW BEST:: SOT 38070 SOS 8938 HAS SOPS 8938 HAS SOUS 4248 HAS SOUPS 4248 WITH SCORE 4256.938
AT ITER 8398 NEW BEST:: SOT 38072 SOS 8920 HAS SOPS 8920 HAS SOUS 4248 HAS SOUPS 4248 WITH SCORE 4256.92
AT ITER 8583 NEW BEST:: SOT 38070 SOS 8906 HAS SOPS 8906 HAS SOUS 4234 HAS SOUPS 4234 WITH SCORE 4242.906
AT ITER 8617 NEW BEST:: SOT 38066 SOS 8900 HAS SOPS 8900 HAS SOUS 4228 HAS SOUPS 4228 WITH SCORE 4236.9
AT ITER 8727 NEW BEST:: SOT 38058 SOS 8866 HAS SOPS 8866 HAS SOUS 4194 HAS SOUPS 4194 WITH SCORE 4202.866
AT ITER 8746 NEW BEST:: SOT 38058 SOS 8856 HAS SOPS 8856 HAS SOUS 4184 HAS SOUPS 4184 WITH SCORE 4192.856
AT ITER 8762 NEW BEST:: SOT 38054 SOS 8852 HAS SOPS 8852 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4184.852
AT ITER 8769 NEW BEST:: SOT 38054 SOS 8842 HAS SOPS 8842 HAS SOUS 4166 HAS SOUPS 4166 WITH SCORE 4174.842
AT ITER 8807 NEW BEST:: SOT 38046 SOS 8834 HAS SOPS 8834 HAS SOUS 4158 HAS SOUPS 4158 WITH SCORE 4166.834
AT ITER 8817 NEW BEST:: SOT 38034 SOS 8810 HAS SOPS 8810 HAS SOUS 4134 HAS SOUPS 4134 WITH SCORE 4142.81
AT ITER 8830 NEW BEST:: SOT 38020 SOS 8780 HAS SOPS 8780 HAS SOUS 4104 HAS SOUPS 4104 WITH SCORE 4112.78
AT ITER 8916 NEW BEST:: SOT 38020 SOS 8774 HAS SOPS 8774 HAS SOUS 4098 HAS SOUPS 4098 WITH SCORE 4106.774
AT ITER 8955 NEW BEST:: SOT 38010 SOS 8764 HAS SOPS 8764 HAS SOUS 4088 HAS SOUPS 4088 WITH SCORE 4096.764
AT ITER 8956 NEW BEST:: SOT 38010 SOS 8756 HAS SOPS 8756 HAS SOUS 4080 HAS SOUPS 4080 WITH SCORE 4088.756
AT ITER 9104 NEW BEST:: SOT 38010 SOS 8756 HAS SOPS 8756 HAS SOUS 4062 HAS SOUPS 4062 WITH SCORE 4070.756
AT ITER 9182 NEW BEST:: SOT 38000 SOS 8730 HAS SOPS 8730 HAS SOUS 4036 HAS SOUPS 4036 WITH SCORE 4044.73
AT ITER 9239 NEW BEST:: SOT 38000 SOS 8726 HAS SOPS 8726 HAS SOUS 4032 HAS SOUPS 4032 WITH SCORE 4040.726
AT ITER 9267 NEW BEST:: SOT 37992 SOS 8708 HAS SOPS 8708 HAS SOUS 4014 HAS SOUPS 4014 WITH SCORE 4022.708
AT ITER 9374 NEW BEST:: SOT 37992 SOS 8734 HAS SOPS 8734 HAS SOUS 4010 HAS SOUPS 4010 WITH SCORE 4018.734
AT ITER 9398 NEW BEST:: SOT 37992 SOS 8730 HAS SOPS 8730 HAS SOUS 4006 HAS SOUPS 4006 WITH SCORE 4014.73
AT ITER 9444 NEW BEST:: SOT 37984 SOS 8720 HAS SOPS 8720 HAS SOUS 3996 HAS SOUPS 3996 WITH SCORE 4004.72
AT ITER 9493 NEW BEST:: SOT 37978 SOS 8698 HAS SOPS 8698 HAS SOUS 3974 HAS SOUPS 3974 WITH SCORE 3982.698
AT ITER 9560 NEW BEST:: SOT 37970 SOS 8686 HAS SOPS 8686 HAS SOUS 3962 HAS SOUPS 3962 WITH SCORE 3970.686
AT ITER 9580 NEW BEST:: SOT 37950 SOS 8654 HAS SOPS 8654 HAS SOUS 3930 HAS SOUPS 3930 WITH SCORE 3938.654
AT ITER 9595 NEW BEST:: SOT 37926 SOS 8630 HAS SOPS 8630 HAS SOUS 3906 HAS SOUPS 3906 WITH SCORE 3914.63
AT ITER 9634 NEW BEST:: SOT 37920 SOS 8622 HAS SOPS 8622 HAS SOUS 3898 HAS SOUPS 3898 WITH SCORE 3906.622
AT ITER 9664 NEW BEST:: SOT 37910 SOS 8612 HAS SOPS 8612 HAS SOUS 3888 HAS SOUPS 3888 WITH SCORE 3896.612
STATE_SPACE STATES 1267650600228229401496703205386 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 210 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 126765060022822940149670320537620 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679859112502

--------------------
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-r0100w0010"
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-r0100w0010, 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-167891803000176"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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