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.r387-oct2-167903712100632.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ShieldPPPt-PT-020A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903712100632
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 552K
-rw-r--r-- 1 mcc users 7.1K Feb 25 21:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 21:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 21:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 33K Feb 25 21:10 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 17:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 21:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 25 21:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 21:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 21:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 134K 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 1679067739371

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=ShieldPPPt-PT-020A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 020A
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: 503 places, 363 transitions, 1446 arcs.
AT ITER 0 NEW BEST:: SOT 150296 SOS 125896 HAS SOPS 125896 HAS SOUS 101726 HAS SOUPS 101726 WITH SCORE 101851.896
AT ITER 2 NEW BEST:: SOT 150000 SOS 125742 HAS SOPS 125742 HAS SOUS 101571 HAS SOUPS 101571 WITH SCORE 101696.742
AT ITER 6 NEW BEST:: SOT 149509 SOS 125357 HAS SOPS 125357 HAS SOUS 101379 HAS SOUPS 101379 WITH SCORE 101504.357
AT ITER 7 NEW BEST:: SOT 149161 SOS 125009 HAS SOPS 125009 HAS SOUS 101029 HAS SOUPS 101029 WITH SCORE 101154.009
AT ITER 9 NEW BEST:: SOT 149161 SOS 124518 HAS SOPS 124518 HAS SOUS 100938 HAS SOUPS 100938 WITH SCORE 101062.518
AT ITER 11 NEW BEST:: SOT 148948 SOS 124303 HAS SOPS 124303 HAS SOUS 100723 HAS SOUPS 100723 WITH SCORE 100847.303
AT ITER 12 NEW BEST:: SOT 148948 SOS 123499 HAS SOPS 123499 HAS SOUS 100722 HAS SOUPS 100722 WITH SCORE 100845.499
AT ITER 15 NEW BEST:: SOT 148948 SOS 123475 HAS SOPS 123475 HAS SOUS 100722 HAS SOUPS 100722 WITH SCORE 100845.475
AT ITER 20 NEW BEST:: SOT 148781 SOS 123390 HAS SOPS 123390 HAS SOUS 100718 HAS SOUPS 100718 WITH SCORE 100841.39
AT ITER 22 NEW BEST:: SOT 148483 SOS 122540 HAS SOPS 122540 HAS SOUS 100074 HAS SOUPS 100074 WITH SCORE 100196.54
AT ITER 23 NEW BEST:: SOT 148265 SOS 121956 HAS SOPS 121956 HAS SOUS 99772 HAS SOUPS 99772 WITH SCORE 99893.956
AT ITER 24 NEW BEST:: SOT 148265 SOS 121563 HAS SOPS 121563 HAS SOUS 99770 HAS SOUPS 99770 WITH SCORE 99891.563
AT ITER 25 NEW BEST:: SOT 147994 SOS 121292 HAS SOPS 121292 HAS SOUS 99497 HAS SOUPS 99497 WITH SCORE 99618.292
AT ITER 26 NEW BEST:: SOT 147994 SOS 120852 HAS SOPS 120852 HAS SOUS 99494 HAS SOUPS 99494 WITH SCORE 99614.852
AT ITER 30 NEW BEST:: SOT 147811 SOS 120722 HAS SOPS 120722 HAS SOUS 99418 HAS SOUPS 99418 WITH SCORE 99538.722
AT ITER 32 NEW BEST:: SOT 147811 SOS 120336 HAS SOPS 120336 HAS SOUS 99416 HAS SOUPS 99416 WITH SCORE 99536.336
AT ITER 33 NEW BEST:: SOT 147530 SOS 120055 HAS SOPS 120055 HAS SOUS 99133 HAS SOUPS 99133 WITH SCORE 99253.055
AT ITER 37 NEW BEST:: SOT 147306 SOS 119000 HAS SOPS 119000 HAS SOUS 98628 HAS SOUPS 98628 WITH SCORE 98747.0
AT ITER 38 NEW BEST:: SOT 147306 SOS 118628 HAS SOPS 118628 HAS SOUS 98481 HAS SOUPS 98481 WITH SCORE 98599.628
AT ITER 39 NEW BEST:: SOT 147306 SOS 118386 HAS SOPS 118386 HAS SOUS 98474 HAS SOUPS 98474 WITH SCORE 98592.386
AT ITER 40 NEW BEST:: SOT 147069 SOS 118149 HAS SOPS 118149 HAS SOUS 98237 HAS SOUPS 98237 WITH SCORE 98355.149
AT ITER 42 NEW BEST:: SOT 146567 SOS 117647 HAS SOPS 117647 HAS SOUS 97737 HAS SOUPS 97737 WITH SCORE 97854.647
AT ITER 46 NEW BEST:: SOT 146567 SOS 117097 HAS SOPS 117097 HAS SOUS 97730 HAS SOUPS 97730 WITH SCORE 97847.097
AT ITER 49 NEW BEST:: SOT 146387 SOS 116917 HAS SOPS 116917 HAS SOUS 97513 HAS SOUPS 97513 WITH SCORE 97629.917
AT ITER 50 NEW BEST:: SOT 146288 SOS 116818 HAS SOPS 116818 HAS SOUS 97412 HAS SOUPS 97412 WITH SCORE 97528.818
AT ITER 51 NEW BEST:: SOT 146288 SOS 116265 HAS SOPS 116265 HAS SOUS 97290 HAS SOUPS 97290 WITH SCORE 97406.265
AT ITER 52 NEW BEST:: SOT 146207 SOS 115753 HAS SOPS 115753 HAS SOUS 97055 HAS SOUPS 97055 WITH SCORE 97170.753
AT ITER 53 NEW BEST:: SOT 146040 SOS 114962 HAS SOPS 114962 HAS SOUS 96720 HAS SOUPS 96720 WITH SCORE 96834.962
AT ITER 55 NEW BEST:: SOT 145896 SOS 115055 HAS SOPS 115055 HAS SOUS 96708 HAS SOUPS 96708 WITH SCORE 96823.055
AT ITER 63 NEW BEST:: SOT 145761 SOS 114477 HAS SOPS 114477 HAS SOUS 96338 HAS SOUPS 96338 WITH SCORE 96452.477
AT ITER 64 NEW BEST:: SOT 145761 SOS 114477 HAS SOPS 114477 HAS SOUS 96337 HAS SOUPS 96337 WITH SCORE 96451.477
AT ITER 66 NEW BEST:: SOT 145718 SOS 114434 HAS SOPS 114434 HAS SOUS 96294 HAS SOUPS 96294 WITH SCORE 96408.434
AT ITER 68 NEW BEST:: SOT 145298 SOS 114014 HAS SOPS 114014 HAS SOUS 95706 HAS SOUPS 95706 WITH SCORE 95820.014
AT ITER 69 NEW BEST:: SOT 145298 SOS 113718 HAS SOPS 113718 HAS SOUS 95686 HAS SOUPS 95686 WITH SCORE 95799.718
AT ITER 71 NEW BEST:: SOT 145298 SOS 113716 HAS SOPS 113716 HAS SOUS 95680 HAS SOUPS 95680 WITH SCORE 95793.716
AT ITER 73 NEW BEST:: SOT 145298 SOS 113066 HAS SOPS 113066 HAS SOUS 95423 HAS SOUPS 95423 WITH SCORE 95536.066
AT ITER 76 NEW BEST:: SOT 145080 SOS 112846 HAS SOPS 112846 HAS SOUS 95209 HAS SOUPS 95209 WITH SCORE 95321.846
AT ITER 77 NEW BEST:: SOT 144807 SOS 112573 HAS SOPS 112573 HAS SOUS 94936 HAS SOUPS 94936 WITH SCORE 95048.573
AT ITER 78 NEW BEST:: SOT 144743 SOS 112509 HAS SOPS 112509 HAS SOUS 94870 HAS SOUPS 94870 WITH SCORE 94982.509
AT ITER 82 NEW BEST:: SOT 144289 SOS 111655 HAS SOPS 111655 HAS SOUS 94233 HAS SOUPS 94233 WITH SCORE 94344.655
AT ITER 84 NEW BEST:: SOT 144044 SOS 111410 HAS SOPS 111410 HAS SOUS 94015 HAS SOUPS 94015 WITH SCORE 94126.41
AT ITER 86 NEW BEST:: SOT 144039 SOS 111405 HAS SOPS 111405 HAS SOUS 94010 HAS SOUPS 94010 WITH SCORE 94121.405
AT ITER 87 NEW BEST:: SOT 143838 SOS 111204 HAS SOPS 111204 HAS SOUS 93808 HAS SOUPS 93808 WITH SCORE 93919.204
AT ITER 92 NEW BEST:: SOT 143838 SOS 110928 HAS SOPS 110928 HAS SOUS 93798 HAS SOUPS 93798 WITH SCORE 93908.928
AT ITER 96 NEW BEST:: SOT 143838 SOS 110805 HAS SOPS 110805 HAS SOUS 93755 HAS SOUPS 93755 WITH SCORE 93865.805
AT ITER 97 NEW BEST:: SOT 143778 SOS 110745 HAS SOPS 110745 HAS SOUS 93695 HAS SOUPS 93695 WITH SCORE 93805.745
AT ITER 102 NEW BEST:: SOT 143656 SOS 110623 HAS SOPS 110623 HAS SOUS 93572 HAS SOUPS 93572 WITH SCORE 93682.623
AT ITER 108 NEW BEST:: SOT 143589 SOS 110556 HAS SOPS 110556 HAS SOUS 93504 HAS SOUPS 93504 WITH SCORE 93614.556
AT ITER 109 NEW BEST:: SOT 143055 SOS 108858 HAS SOPS 108858 HAS SOUS 92602 HAS SOUPS 92602 WITH SCORE 92710.858
AT ITER 110 NEW BEST:: SOT 142946 SOS 108419 HAS SOPS 108419 HAS SOUS 92275 HAS SOUPS 92275 WITH SCORE 92383.419
AT ITER 111 NEW BEST:: SOT 142816 SOS 108287 HAS SOPS 108287 HAS SOUS 92143 HAS SOUPS 92143 WITH SCORE 92251.287
AT ITER 113 NEW BEST:: SOT 142763 SOS 108234 HAS SOPS 108234 HAS SOUS 92073 HAS SOUPS 92073 WITH SCORE 92181.234
AT ITER 116 NEW BEST:: SOT 142707 SOS 108176 HAS SOPS 108176 HAS SOUS 92015 HAS SOUPS 92015 WITH SCORE 92123.176
AT ITER 119 NEW BEST:: SOT 142264 SOS 107733 HAS SOPS 107733 HAS SOUS 91723 HAS SOUPS 91723 WITH SCORE 91830.733
AT ITER 126 NEW BEST:: SOT 141955 SOS 107424 HAS SOPS 107424 HAS SOUS 91451 HAS SOUPS 91451 WITH SCORE 91558.424
AT ITER 127 NEW BEST:: SOT 141955 SOS 106916 HAS SOPS 106916 HAS SOUS 91449 HAS SOUPS 91449 WITH SCORE 91555.916
AT ITER 129 NEW BEST:: SOT 141754 SOS 106713 HAS SOPS 106713 HAS SOUS 91246 HAS SOUPS 91246 WITH SCORE 91352.713
AT ITER 134 NEW BEST:: SOT 141759 SOS 106649 HAS SOPS 106649 HAS SOUS 91181 HAS SOUPS 91181 WITH SCORE 91287.649
AT ITER 135 NEW BEST:: SOT 141596 SOS 106488 HAS SOPS 106488 HAS SOUS 91023 HAS SOUPS 91023 WITH SCORE 91129.488
AT ITER 136 NEW BEST:: SOT 141233 SOS 106062 HAS SOPS 106062 HAS SOUS 90534 HAS SOUPS 90534 WITH SCORE 90640.062
AT ITER 137 NEW BEST:: SOT 141206 SOS 106035 HAS SOPS 106035 HAS SOUS 90507 HAS SOUPS 90507 WITH SCORE 90613.035
AT ITER 139 NEW BEST:: SOT 141082 SOS 105965 HAS SOPS 105965 HAS SOUS 90429 HAS SOUPS 90429 WITH SCORE 90534.965
AT ITER 140 NEW BEST:: SOT 140709 SOS 105693 HAS SOPS 105693 HAS SOUS 89855 HAS SOUPS 89855 WITH SCORE 89960.693
AT ITER 144 NEW BEST:: SOT 140575 SOS 104476 HAS SOPS 104476 HAS SOUS 89222 HAS SOUPS 89222 WITH SCORE 89326.476
AT ITER 145 NEW BEST:: SOT 140575 SOS 103596 HAS SOPS 103596 HAS SOUS 89213 HAS SOUPS 89213 WITH SCORE 89316.596
AT ITER 146 NEW BEST:: SOT 140022 SOS 102387 HAS SOPS 102387 HAS SOUS 88428 HAS SOUPS 88428 WITH SCORE 88530.387
AT ITER 147 NEW BEST:: SOT 139933 SOS 102298 HAS SOPS 102298 HAS SOUS 88339 HAS SOUPS 88339 WITH SCORE 88441.298
AT ITER 158 NEW BEST:: SOT 139933 SOS 101847 HAS SOPS 101847 HAS SOUS 88254 HAS SOUPS 88254 WITH SCORE 88355.847
AT ITER 161 NEW BEST:: SOT 139933 SOS 101795 HAS SOPS 101795 HAS SOUS 88222 HAS SOUPS 88222 WITH SCORE 88323.795
AT ITER 168 NEW BEST:: SOT 139919 SOS 101781 HAS SOPS 101781 HAS SOUS 88208 HAS SOUPS 88208 WITH SCORE 88309.781
AT ITER 171 NEW BEST:: SOT 139919 SOS 101768 HAS SOPS 101768 HAS SOUS 88195 HAS SOUPS 88195 WITH SCORE 88296.768
AT ITER 174 NEW BEST:: SOT 139889 SOS 101077 HAS SOPS 101077 HAS SOUS 87863 HAS SOUPS 87863 WITH SCORE 87964.077
AT ITER 175 NEW BEST:: SOT 139807 SOS 100963 HAS SOPS 100963 HAS SOUS 87716 HAS SOUPS 87716 WITH SCORE 87816.963
AT ITER 178 NEW BEST:: SOT 139688 SOS 100844 HAS SOPS 100844 HAS SOUS 87503 HAS SOUPS 87503 WITH SCORE 87603.844
AT ITER 182 NEW BEST:: SOT 139621 SOS 100777 HAS SOPS 100777 HAS SOUS 87436 HAS SOUPS 87436 WITH SCORE 87536.777
AT ITER 189 NEW BEST:: SOT 139621 SOS 100777 HAS SOPS 100777 HAS SOUS 87435 HAS SOUPS 87435 WITH SCORE 87535.777
AT ITER 191 NEW BEST:: SOT 139473 SOS 100629 HAS SOPS 100629 HAS SOUS 87414 HAS SOUPS 87414 WITH SCORE 87514.629
AT ITER 193 NEW BEST:: SOT 139473 SOS 100422 HAS SOPS 100422 HAS SOUS 87412 HAS SOUPS 87412 WITH SCORE 87512.422
AT ITER 196 NEW BEST:: SOT 139480 SOS 100737 HAS SOPS 100737 HAS SOUS 87396 HAS SOUPS 87396 WITH SCORE 87496.737
AT ITER 197 NEW BEST:: SOT 139324 SOS 100581 HAS SOPS 100581 HAS SOUS 87239 HAS SOUPS 87239 WITH SCORE 87339.581
AT ITER 198 NEW BEST:: SOT 139256 SOS 100534 HAS SOPS 100534 HAS SOUS 87192 HAS SOUPS 87192 WITH SCORE 87292.534
AT ITER 199 NEW BEST:: SOT 139057 SOS 100334 HAS SOPS 100334 HAS SOUS 86992 HAS SOUPS 86992 WITH SCORE 87092.334
AT ITER 203 NEW BEST:: SOT 138863 SOS 100140 HAS SOPS 100140 HAS SOUS 86798 HAS SOUPS 86798 WITH SCORE 86898.14
AT ITER 204 NEW BEST:: SOT 138678 SOS 99136 HAS SOPS 99136 HAS SOUS 86308 HAS SOUPS 86308 WITH SCORE 86407.136
AT ITER 205 NEW BEST:: SOT 138678 SOS 98715 HAS SOPS 98715 HAS SOUS 86107 HAS SOUPS 86107 WITH SCORE 86205.715
AT ITER 206 NEW BEST:: SOT 138502 SOS 98620 HAS SOPS 98620 HAS SOUS 86012 HAS SOUPS 86012 WITH SCORE 86110.62
AT ITER 210 NEW BEST:: SOT 138502 SOS 98458 HAS SOPS 98458 HAS SOUS 86003 HAS SOUPS 86003 WITH SCORE 86101.458
AT ITER 212 NEW BEST:: SOT 138384 SOS 98340 HAS SOPS 98340 HAS SOUS 85885 HAS SOUPS 85885 WITH SCORE 85983.34
AT ITER 213 NEW BEST:: SOT 138384 SOS 98256 HAS SOPS 98256 HAS SOUS 85829 HAS SOUPS 85829 WITH SCORE 85927.256
AT ITER 217 NEW BEST:: SOT 137962 SOS 97073 HAS SOPS 97073 HAS SOUS 85106 HAS SOUPS 85106 WITH SCORE 85203.073
AT ITER 219 NEW BEST:: SOT 137837 SOS 96948 HAS SOPS 96948 HAS SOUS 84981 HAS SOUPS 84981 WITH SCORE 85077.948
AT ITER 225 NEW BEST:: SOT 137837 SOS 96588 HAS SOPS 96588 HAS SOUS 84981 HAS SOUPS 84981 WITH SCORE 85077.588
AT ITER 226 NEW BEST:: SOT 137837 SOS 96554 HAS SOPS 96554 HAS SOUS 84981 HAS SOUPS 84981 WITH SCORE 85077.554
AT ITER 227 NEW BEST:: SOT 137755 SOS 96472 HAS SOPS 96472 HAS SOUS 84899 HAS SOUPS 84899 WITH SCORE 84995.472
AT ITER 230 NEW BEST:: SOT 137755 SOS 96196 HAS SOPS 96196 HAS SOUS 84898 HAS SOUPS 84898 WITH SCORE 84994.196
AT ITER 231 NEW BEST:: SOT 137755 SOS 95879 HAS SOPS 95879 HAS SOUS 84791 HAS SOUPS 84791 WITH SCORE 84886.879
AT ITER 235 NEW BEST:: SOT 137385 SOS 95473 HAS SOPS 95473 HAS SOUS 84326 HAS SOUPS 84326 WITH SCORE 84421.473
AT ITER 240 NEW BEST:: SOT 137182 SOS 94872 HAS SOPS 94872 HAS SOUS 83934 HAS SOUPS 83934 WITH SCORE 84028.872
AT ITER 243 NEW BEST:: SOT 136986 SOS 94674 HAS SOPS 94674 HAS SOUS 83728 HAS SOUPS 83728 WITH SCORE 83822.674
AT ITER 249 NEW BEST:: SOT 136986 SOS 94461 HAS SOPS 94461 HAS SOUS 83704 HAS SOUPS 83704 WITH SCORE 83798.461
AT ITER 250 NEW BEST:: SOT 136983 SOS 94458 HAS SOPS 94458 HAS SOUS 83701 HAS SOUPS 83701 WITH SCORE 83795.458
AT ITER 251 NEW BEST:: SOT 136840 SOS 94208 HAS SOPS 94208 HAS SOUS 83451 HAS SOUPS 83451 WITH SCORE 83545.208
AT ITER 253 NEW BEST:: SOT 136708 SOS 94076 HAS SOPS 94076 HAS SOUS 83319 HAS SOUPS 83319 WITH SCORE 83413.076
AT ITER 256 NEW BEST:: SOT 136666 SOS 94064 HAS SOPS 94064 HAS SOUS 83264 HAS SOUPS 83264 WITH SCORE 83358.064
AT ITER 260 NEW BEST:: SOT 136619 SOS 94017 HAS SOPS 94017 HAS SOUS 83217 HAS SOUPS 83217 WITH SCORE 83311.017
AT ITER 261 NEW BEST:: SOT 136619 SOS 93936 HAS SOPS 93936 HAS SOUS 83131 HAS SOUPS 83131 WITH SCORE 83224.936
AT ITER 262 NEW BEST:: SOT 136577 SOS 93874 HAS SOPS 93874 HAS SOUS 83069 HAS SOUPS 83069 WITH SCORE 83162.874
AT ITER 271 NEW BEST:: SOT 136577 SOS 93232 HAS SOPS 93232 HAS SOUS 82961 HAS SOUPS 82961 WITH SCORE 83054.232
AT ITER 273 NEW BEST:: SOT 136529 SOS 93184 HAS SOPS 93184 HAS SOUS 82844 HAS SOUPS 82844 WITH SCORE 82937.184
AT ITER 275 NEW BEST:: SOT 136529 SOS 93084 HAS SOPS 93084 HAS SOUS 82842 HAS SOUPS 82842 WITH SCORE 82935.084
AT ITER 278 NEW BEST:: SOT 136367 SOS 92922 HAS SOPS 92922 HAS SOUS 82680 HAS SOUPS 82680 WITH SCORE 82772.922
AT ITER 288 NEW BEST:: SOT 136367 SOS 92555 HAS SOPS 92555 HAS SOUS 82677 HAS SOUPS 82677 WITH SCORE 82769.555
AT ITER 289 NEW BEST:: SOT 136154 SOS 92339 HAS SOPS 92339 HAS SOUS 82461 HAS SOUPS 82461 WITH SCORE 82553.339
AT ITER 290 NEW BEST:: SOT 135865 SOS 91576 HAS SOPS 91576 HAS SOUS 81961 HAS SOUPS 81961 WITH SCORE 82052.576
AT ITER 296 NEW BEST:: SOT 135409 SOS 91120 HAS SOPS 91120 HAS SOUS 81505 HAS SOUPS 81505 WITH SCORE 81596.12
AT ITER 301 NEW BEST:: SOT 135434 SOS 90706 HAS SOPS 90706 HAS SOUS 81234 HAS SOUPS 81234 WITH SCORE 81324.706
AT ITER 303 NEW BEST:: SOT 135432 SOS 90704 HAS SOPS 90704 HAS SOUS 81231 HAS SOUPS 81231 WITH SCORE 81321.704
AT ITER 305 NEW BEST:: SOT 135432 SOS 90480 HAS SOPS 90480 HAS SOUS 81104 HAS SOUPS 81104 WITH SCORE 81194.48
AT ITER 309 NEW BEST:: SOT 135396 SOS 90472 HAS SOPS 90472 HAS SOUS 81099 HAS SOUPS 81099 WITH SCORE 81189.472
AT ITER 310 NEW BEST:: SOT 135191 SOS 90200 HAS SOPS 90200 HAS SOUS 80813 HAS SOUPS 80813 WITH SCORE 80903.2
AT ITER 317 NEW BEST:: SOT 135191 SOS 90192 HAS SOPS 90192 HAS SOUS 80813 HAS SOUPS 80813 WITH SCORE 80903.192
AT ITER 318 NEW BEST:: SOT 135190 SOS 89939 HAS SOPS 89939 HAS SOUS 80778 HAS SOUPS 80778 WITH SCORE 80867.939
AT ITER 319 NEW BEST:: SOT 135102 SOS 89853 HAS SOPS 89853 HAS SOUS 80665 HAS SOUPS 80665 WITH SCORE 80754.853
AT ITER 320 NEW BEST:: SOT 135087 SOS 89838 HAS SOPS 89838 HAS SOUS 80650 HAS SOUPS 80650 WITH SCORE 80739.838
AT ITER 325 NEW BEST:: SOT 134791 SOS 89542 HAS SOPS 89542 HAS SOUS 80354 HAS SOUPS 80354 WITH SCORE 80443.542
AT ITER 336 NEW BEST:: SOT 134791 SOS 89489 HAS SOPS 89489 HAS SOUS 80301 HAS SOUPS 80301 WITH SCORE 80390.489
AT ITER 343 NEW BEST:: SOT 134784 SOS 89482 HAS SOPS 89482 HAS SOUS 80294 HAS SOUPS 80294 WITH SCORE 80383.482
AT ITER 345 NEW BEST:: SOT 134743 SOS 89441 HAS SOPS 89441 HAS SOUS 80157 HAS SOUPS 80157 WITH SCORE 80246.441
AT ITER 348 NEW BEST:: SOT 134539 SOS 89277 HAS SOPS 89277 HAS SOUS 80034 HAS SOUPS 80034 WITH SCORE 80123.277
AT ITER 349 NEW BEST:: SOT 134538 SOS 88892 HAS SOPS 88892 HAS SOUS 80024 HAS SOUPS 80024 WITH SCORE 80112.892
AT ITER 351 NEW BEST:: SOT 134538 SOS 88594 HAS SOPS 88594 HAS SOUS 79987 HAS SOUPS 79987 WITH SCORE 80075.594
AT ITER 353 NEW BEST:: SOT 134368 SOS 88424 HAS SOPS 88424 HAS SOUS 79753 HAS SOUPS 79753 WITH SCORE 79841.424
AT ITER 362 NEW BEST:: SOT 134207 SOS 88307 HAS SOPS 88307 HAS SOUS 79636 HAS SOUPS 79636 WITH SCORE 79724.307
AT ITER 372 NEW BEST:: SOT 133845 SOS 87901 HAS SOPS 87901 HAS SOUS 79128 HAS SOUPS 79128 WITH SCORE 79215.901
AT ITER 379 NEW BEST:: SOT 133221 SOS 87421 HAS SOPS 87421 HAS SOUS 78613 HAS SOUPS 78613 WITH SCORE 78700.421
AT ITER 384 NEW BEST:: SOT 133221 SOS 87185 HAS SOPS 87185 HAS SOUS 78613 HAS SOUPS 78613 WITH SCORE 78700.185
AT ITER 386 NEW BEST:: SOT 132676 SOS 86638 HAS SOPS 86638 HAS SOUS 78151 HAS SOUPS 78151 WITH SCORE 78237.638
AT ITER 388 NEW BEST:: SOT 132587 SOS 86549 HAS SOPS 86549 HAS SOUS 78062 HAS SOUPS 78062 WITH SCORE 78148.549
AT ITER 390 NEW BEST:: SOT 132455 SOS 86391 HAS SOPS 86391 HAS SOUS 77897 HAS SOUPS 77897 WITH SCORE 77983.391
AT ITER 393 NEW BEST:: SOT 132397 SOS 86412 HAS SOPS 86412 HAS SOUS 77855 HAS SOUPS 77855 WITH SCORE 77941.412
AT ITER 399 NEW BEST:: SOT 132397 SOS 86411 HAS SOPS 86411 HAS SOUS 77855 HAS SOUPS 77855 WITH SCORE 77941.411
AT ITER 402 NEW BEST:: SOT 132231 SOS 86245 HAS SOPS 86245 HAS SOUS 77803 HAS SOUPS 77803 WITH SCORE 77889.245
AT ITER 403 NEW BEST:: SOT 132238 SOS 86243 HAS SOPS 86243 HAS SOUS 77801 HAS SOUPS 77801 WITH SCORE 77887.243
AT ITER 406 NEW BEST:: SOT 132159 SOS 86117 HAS SOPS 86117 HAS SOUS 77639 HAS SOUPS 77639 WITH SCORE 77725.117
AT ITER 408 NEW BEST:: SOT 132159 SOS 86065 HAS SOPS 86065 HAS SOUS 77452 HAS SOUPS 77452 WITH SCORE 77538.065
AT ITER 411 NEW BEST:: SOT 132067 SOS 85973 HAS SOPS 85973 HAS SOUS 77414 HAS SOUPS 77414 WITH SCORE 77499.973
AT ITER 412 NEW BEST:: SOT 132128 SOS 85901 HAS SOPS 85901 HAS SOUS 77389 HAS SOUPS 77389 WITH SCORE 77474.901
AT ITER 413 NEW BEST:: SOT 132081 SOS 85753 HAS SOPS 85753 HAS SOUS 77241 HAS SOUPS 77241 WITH SCORE 77326.753
AT ITER 414 NEW BEST:: SOT 132018 SOS 85617 HAS SOPS 85617 HAS SOUS 77168 HAS SOUPS 77168 WITH SCORE 77253.617
AT ITER 417 NEW BEST:: SOT 131920 SOS 85410 HAS SOPS 85410 HAS SOUS 77039 HAS SOUPS 77039 WITH SCORE 77124.41
AT ITER 418 NEW BEST:: SOT 131829 SOS 85319 HAS SOPS 85319 HAS SOUS 76948 HAS SOUPS 76948 WITH SCORE 77033.319
AT ITER 422 NEW BEST:: SOT 131846 SOS 85336 HAS SOPS 85336 HAS SOUS 76935 HAS SOUPS 76935 WITH SCORE 77020.336
AT ITER 425 NEW BEST:: SOT 131838 SOS 85320 HAS SOPS 85320 HAS SOUS 76919 HAS SOUPS 76919 WITH SCORE 77004.32
AT ITER 427 NEW BEST:: SOT 131671 SOS 85367 HAS SOPS 85367 HAS SOUS 76908 HAS SOUPS 76908 WITH SCORE 76993.367
AT ITER 429 NEW BEST:: SOT 131640 SOS 84952 HAS SOPS 84952 HAS SOUS 76721 HAS SOUPS 76721 WITH SCORE 76805.952
AT ITER 430 NEW BEST:: SOT 131385 SOS 84660 HAS SOPS 84660 HAS SOUS 76429 HAS SOUPS 76429 WITH SCORE 76513.66
AT ITER 432 NEW BEST:: SOT 130799 SOS 84148 HAS SOPS 84148 HAS SOUS 75717 HAS SOUPS 75717 WITH SCORE 75801.148
AT ITER 434 NEW BEST:: SOT 130798 SOS 84145 HAS SOPS 84145 HAS SOUS 75714 HAS SOUPS 75714 WITH SCORE 75798.145
AT ITER 437 NEW BEST:: SOT 130798 SOS 84084 HAS SOPS 84084 HAS SOUS 75714 HAS SOUPS 75714 WITH SCORE 75798.084
AT ITER 442 NEW BEST:: SOT 130795 SOS 84109 HAS SOPS 84109 HAS SOUS 75708 HAS SOUPS 75708 WITH SCORE 75792.109
AT ITER 443 NEW BEST:: SOT 130795 SOS 84106 HAS SOPS 84106 HAS SOUS 75708 HAS SOUPS 75708 WITH SCORE 75792.106
AT ITER 446 NEW BEST:: SOT 130582 SOS 83893 HAS SOPS 83893 HAS SOUS 75495 HAS SOUPS 75495 WITH SCORE 75578.893
AT ITER 450 NEW BEST:: SOT 130582 SOS 83813 HAS SOPS 83813 HAS SOUS 75473 HAS SOUPS 75473 WITH SCORE 75556.813
AT ITER 451 NEW BEST:: SOT 130534 SOS 83765 HAS SOPS 83765 HAS SOUS 75425 HAS SOUPS 75425 WITH SCORE 75508.765
AT ITER 453 NEW BEST:: SOT 130579 SOS 83810 HAS SOPS 83810 HAS SOUS 75305 HAS SOUPS 75305 WITH SCORE 75388.81
AT ITER 456 NEW BEST:: SOT 130820 SOS 83355 HAS SOPS 83355 HAS SOUS 75261 HAS SOUPS 75261 WITH SCORE 75344.355
AT ITER 457 NEW BEST:: SOT 130820 SOS 83350 HAS SOPS 83350 HAS SOUS 75256 HAS SOUPS 75256 WITH SCORE 75339.35
AT ITER 458 NEW BEST:: SOT 130795 SOS 83300 HAS SOPS 83300 HAS SOUS 75206 HAS SOUPS 75206 WITH SCORE 75289.3
AT ITER 464 NEW BEST:: SOT 130704 SOS 83253 HAS SOPS 83253 HAS SOUS 75159 HAS SOUPS 75159 WITH SCORE 75242.253
AT ITER 468 NEW BEST:: SOT 130688 SOS 83210 HAS SOPS 83210 HAS SOUS 75116 HAS SOUPS 75116 WITH SCORE 75199.21
AT ITER 469 NEW BEST:: SOT 130536 SOS 82994 HAS SOPS 82994 HAS SOUS 74926 HAS SOUPS 74926 WITH SCORE 75008.994
AT ITER 471 NEW BEST:: SOT 129959 SOS 82417 HAS SOPS 82417 HAS SOUS 74349 HAS SOUPS 74349 WITH SCORE 74431.417
AT ITER 480 NEW BEST:: SOT 129959 SOS 82408 HAS SOPS 82408 HAS SOUS 74349 HAS SOUPS 74349 WITH SCORE 74431.408
AT ITER 486 NEW BEST:: SOT 129959 SOS 82250 HAS SOPS 82250 HAS SOUS 74342 HAS SOUPS 74342 WITH SCORE 74424.25
AT ITER 487 NEW BEST:: SOT 129678 SOS 81503 HAS SOPS 81503 HAS SOUS 73903 HAS SOUPS 73903 WITH SCORE 73984.503
AT ITER 496 NEW BEST:: SOT 129593 SOS 81442 HAS SOPS 81442 HAS SOUS 73840 HAS SOUPS 73840 WITH SCORE 73921.442
AT ITER 497 NEW BEST:: SOT 129541 SOS 81260 HAS SOPS 81260 HAS SOUS 73658 HAS SOUPS 73658 WITH SCORE 73739.26
AT ITER 499 NEW BEST:: SOT 129535 SOS 81254 HAS SOPS 81254 HAS SOUS 73652 HAS SOUPS 73652 WITH SCORE 73733.254
AT ITER 502 NEW BEST:: SOT 129503 SOS 81063 HAS SOPS 81063 HAS SOUS 73457 HAS SOUPS 73457 WITH SCORE 73538.063
AT ITER 505 NEW BEST:: SOT 129176 SOS 80736 HAS SOPS 80736 HAS SOUS 73126 HAS SOUPS 73126 WITH SCORE 73206.736
AT ITER 506 NEW BEST:: SOT 129138 SOS 80691 HAS SOPS 80691 HAS SOUS 73081 HAS SOUPS 73081 WITH SCORE 73161.691
AT ITER 508 NEW BEST:: SOT 129138 SOS 79974 HAS SOPS 79974 HAS SOUS 72913 HAS SOUPS 72913 WITH SCORE 72992.974
AT ITER 510 NEW BEST:: SOT 129130 SOS 79942 HAS SOPS 79942 HAS SOUS 72889 HAS SOUPS 72889 WITH SCORE 72968.942
AT ITER 512 NEW BEST:: SOT 129130 SOS 79867 HAS SOPS 79867 HAS SOUS 72851 HAS SOUPS 72851 WITH SCORE 72930.867
AT ITER 513 NEW BEST:: SOT 129130 SOS 79812 HAS SOPS 79812 HAS SOUS 72819 HAS SOUPS 72819 WITH SCORE 72898.812
AT ITER 525 NEW BEST:: SOT 129104 SOS 79786 HAS SOPS 79786 HAS SOUS 72795 HAS SOUPS 72795 WITH SCORE 72874.786
AT ITER 527 NEW BEST:: SOT 128722 SOS 79366 HAS SOPS 79366 HAS SOUS 72531 HAS SOUPS 72531 WITH SCORE 72610.366
AT ITER 529 NEW BEST:: SOT 128721 SOS 79347 HAS SOPS 79347 HAS SOUS 72526 HAS SOUPS 72526 WITH SCORE 72605.347
AT ITER 530 NEW BEST:: SOT 128556 SOS 79600 HAS SOPS 79600 HAS SOUS 72429 HAS SOUPS 72429 WITH SCORE 72508.6
AT ITER 531 NEW BEST:: SOT 128360 SOS 79308 HAS SOPS 79308 HAS SOUS 72134 HAS SOUPS 72134 WITH SCORE 72213.308
AT ITER 532 NEW BEST:: SOT 128237 SOS 79218 HAS SOPS 79218 HAS SOUS 72132 HAS SOUPS 72132 WITH SCORE 72211.218
AT ITER 535 NEW BEST:: SOT 128174 SOS 79144 HAS SOPS 79144 HAS SOUS 72058 HAS SOUPS 72058 WITH SCORE 72137.144
AT ITER 536 NEW BEST:: SOT 128078 SOS 78976 HAS SOPS 78976 HAS SOUS 71890 HAS SOUPS 71890 WITH SCORE 71968.976
AT ITER 538 NEW BEST:: SOT 128078 SOS 78953 HAS SOPS 78953 HAS SOUS 71749 HAS SOUPS 71749 WITH SCORE 71827.953
AT ITER 542 NEW BEST:: SOT 128078 SOS 78925 HAS SOPS 78925 HAS SOUS 71742 HAS SOUPS 71742 WITH SCORE 71820.925
AT ITER 543 NEW BEST:: SOT 127992 SOS 78506 HAS SOPS 78506 HAS SOUS 71323 HAS SOUPS 71323 WITH SCORE 71401.506
AT ITER 548 NEW BEST:: SOT 127991 SOS 78465 HAS SOPS 78465 HAS SOUS 71207 HAS SOUPS 71207 WITH SCORE 71285.465
AT ITER 554 NEW BEST:: SOT 127991 SOS 78489 HAS SOPS 78489 HAS SOUS 70977 HAS SOUPS 70977 WITH SCORE 71055.489
AT ITER 556 NEW BEST:: SOT 127854 SOS 78352 HAS SOPS 78352 HAS SOUS 70787 HAS SOUPS 70787 WITH SCORE 70865.352
AT ITER 557 NEW BEST:: SOT 127806 SOS 78304 HAS SOPS 78304 HAS SOUS 70700 HAS SOUPS 70700 WITH SCORE 70778.304
AT ITER 560 NEW BEST:: SOT 127743 SOS 78022 HAS SOPS 78022 HAS SOUS 70543 HAS SOUPS 70543 WITH SCORE 70621.022
AT ITER 564 NEW BEST:: SOT 127811 SOS 77345 HAS SOPS 77345 HAS SOUS 70508 HAS SOUPS 70508 WITH SCORE 70585.345
AT ITER 571 NEW BEST:: SOT 127457 SOS 76417 HAS SOPS 76417 HAS SOUS 69802 HAS SOUPS 69802 WITH SCORE 69878.417
AT ITER 576 NEW BEST:: SOT 127178 SOS 76138 HAS SOPS 76138 HAS SOUS 69523 HAS SOUPS 69523 WITH SCORE 69599.138
AT ITER 582 NEW BEST:: SOT 127082 SOS 76081 HAS SOPS 76081 HAS SOUS 69464 HAS SOUPS 69464 WITH SCORE 69540.081
AT ITER 586 NEW BEST:: SOT 127041 SOS 76040 HAS SOPS 76040 HAS SOUS 69423 HAS SOUPS 69423 WITH SCORE 69499.04
AT ITER 587 NEW BEST:: SOT 127041 SOS 76026 HAS SOPS 76026 HAS SOUS 69395 HAS SOUPS 69395 WITH SCORE 69471.026
AT ITER 590 NEW BEST:: SOT 126692 SOS 75443 HAS SOPS 75443 HAS SOUS 68886 HAS SOUPS 68886 WITH SCORE 68961.443
AT ITER 592 NEW BEST:: SOT 126407 SOS 75100 HAS SOPS 75100 HAS SOUS 68514 HAS SOUPS 68514 WITH SCORE 68589.1
AT ITER 598 NEW BEST:: SOT 126241 SOS 74934 HAS SOPS 74934 HAS SOUS 68408 HAS SOUPS 68408 WITH SCORE 68482.934
AT ITER 599 NEW BEST:: SOT 126230 SOS 74936 HAS SOPS 74936 HAS SOUS 68365 HAS SOUPS 68365 WITH SCORE 68439.936
AT ITER 602 NEW BEST:: SOT 126229 SOS 74935 HAS SOPS 74935 HAS SOUS 68365 HAS SOUPS 68365 WITH SCORE 68439.935
AT ITER 615 NEW BEST:: SOT 126116 SOS 74822 HAS SOPS 74822 HAS SOUS 68222 HAS SOUPS 68222 WITH SCORE 68296.822
AT ITER 618 NEW BEST:: SOT 126076 SOS 74762 HAS SOPS 74762 HAS SOUS 68162 HAS SOUPS 68162 WITH SCORE 68236.762
AT ITER 619 NEW BEST:: SOT 125965 SOS 74596 HAS SOPS 74596 HAS SOUS 67996 HAS SOUPS 67996 WITH SCORE 68070.596
AT ITER 621 NEW BEST:: SOT 125965 SOS 74533 HAS SOPS 74533 HAS SOUS 67996 HAS SOUPS 67996 WITH SCORE 68070.533
AT ITER 622 NEW BEST:: SOT 125740 SOS 74339 HAS SOPS 74339 HAS SOUS 67802 HAS SOUPS 67802 WITH SCORE 67876.339
AT ITER 625 NEW BEST:: SOT 125740 SOS 74236 HAS SOPS 74236 HAS SOUS 67724 HAS SOUPS 67724 WITH SCORE 67798.236
AT ITER 628 NEW BEST:: SOT 125646 SOS 74142 HAS SOPS 74142 HAS SOUS 67630 HAS SOUPS 67630 WITH SCORE 67704.142
AT ITER 632 NEW BEST:: SOT 125607 SOS 74064 HAS SOPS 74064 HAS SOUS 67552 HAS SOUPS 67552 WITH SCORE 67626.064
AT ITER 633 NEW BEST:: SOT 125214 SOS 72867 HAS SOPS 72867 HAS SOUS 66480 HAS SOUPS 66480 WITH SCORE 66552.867
AT ITER 640 NEW BEST:: SOT 124975 SOS 71693 HAS SOPS 71693 HAS SOUS 65816 HAS SOUPS 65816 WITH SCORE 65887.693
AT ITER 644 NEW BEST:: SOT 124961 SOS 71679 HAS SOPS 71679 HAS SOUS 65802 HAS SOUPS 65802 WITH SCORE 65873.679
AT ITER 651 NEW BEST:: SOT 124838 SOS 71192 HAS SOPS 71192 HAS SOUS 65455 HAS SOUPS 65455 WITH SCORE 65526.192
AT ITER 653 NEW BEST:: SOT 124838 SOS 71180 HAS SOPS 71180 HAS SOUS 65443 HAS SOUPS 65443 WITH SCORE 65514.18
AT ITER 656 NEW BEST:: SOT 124820 SOS 70905 HAS SOPS 70905 HAS SOUS 65385 HAS SOUPS 65385 WITH SCORE 65455.905
AT ITER 664 NEW BEST:: SOT 124771 SOS 70856 HAS SOPS 70856 HAS SOUS 65336 HAS SOUPS 65336 WITH SCORE 65406.856
AT ITER 669 NEW BEST:: SOT 124860 SOS 70693 HAS SOPS 70693 HAS SOUS 65186 HAS SOUPS 65186 WITH SCORE 65256.693
AT ITER 670 NEW BEST:: SOT 124840 SOS 70667 HAS SOPS 70667 HAS SOUS 65151 HAS SOUPS 65151 WITH SCORE 65221.667
AT ITER 676 NEW BEST:: SOT 124835 SOS 70596 HAS SOPS 70596 HAS SOUS 65042 HAS SOUPS 65042 WITH SCORE 65112.596
AT ITER 679 NEW BEST:: SOT 124567 SOS 70299 HAS SOPS 70299 HAS SOUS 64724 HAS SOUPS 64724 WITH SCORE 64794.299
AT ITER 690 NEW BEST:: SOT 124549 SOS 70280 HAS SOPS 70280 HAS SOUS 64705 HAS SOUPS 64705 WITH SCORE 64775.28
AT ITER 691 NEW BEST:: SOT 124203 SOS 70000 HAS SOPS 70000 HAS SOUS 64413 HAS SOUPS 64413 WITH SCORE 64483.0
AT ITER 697 NEW BEST:: SOT 124051 SOS 69806 HAS SOPS 69806 HAS SOUS 64146 HAS SOUPS 64146 WITH SCORE 64215.806
AT ITER 703 NEW BEST:: SOT 124006 SOS 69761 HAS SOPS 69761 HAS SOUS 64101 HAS SOUPS 64101 WITH SCORE 64170.761
AT ITER 704 NEW BEST:: SOT 123922 SOS 69677 HAS SOPS 69677 HAS SOUS 64017 HAS SOUPS 64017 WITH SCORE 64086.677
AT ITER 706 NEW BEST:: SOT 123446 SOS 68963 HAS SOPS 68963 HAS SOUS 63303 HAS SOUPS 63303 WITH SCORE 63371.963
AT ITER 713 NEW BEST:: SOT 123498 SOS 68922 HAS SOPS 68922 HAS SOUS 63262 HAS SOUPS 63262 WITH SCORE 63330.922
AT ITER 714 NEW BEST:: SOT 123498 SOS 68882 HAS SOPS 68882 HAS SOUS 63222 HAS SOUPS 63222 WITH SCORE 63290.882
AT ITER 723 NEW BEST:: SOT 123392 SOS 68776 HAS SOPS 68776 HAS SOUS 63116 HAS SOUPS 63116 WITH SCORE 63184.776
AT ITER 725 NEW BEST:: SOT 123392 SOS 68742 HAS SOPS 68742 HAS SOUS 63103 HAS SOUPS 63103 WITH SCORE 63171.742
AT ITER 731 NEW BEST:: SOT 123252 SOS 68601 HAS SOPS 68601 HAS SOUS 62993 HAS SOUPS 62993 WITH SCORE 63061.601
AT ITER 734 NEW BEST:: SOT 123198 SOS 68520 HAS SOPS 68520 HAS SOUS 62912 HAS SOUPS 62912 WITH SCORE 62980.52
AT ITER 735 NEW BEST:: SOT 123153 SOS 68475 HAS SOPS 68475 HAS SOUS 62867 HAS SOUPS 62867 WITH SCORE 62935.475
AT ITER 737 NEW BEST:: SOT 123046 SOS 68389 HAS SOPS 68389 HAS SOUS 62683 HAS SOUPS 62683 WITH SCORE 62751.389
AT ITER 740 NEW BEST:: SOT 123046 SOS 68092 HAS SOPS 68092 HAS SOUS 62393 HAS SOUPS 62393 WITH SCORE 62461.092
AT ITER 741 NEW BEST:: SOT 123046 SOS 68053 HAS SOPS 68053 HAS SOUS 62393 HAS SOUPS 62393 WITH SCORE 62461.053
AT ITER 742 NEW BEST:: SOT 122934 SOS 67937 HAS SOPS 67937 HAS SOUS 62351 HAS SOUPS 62351 WITH SCORE 62418.937
AT ITER 749 NEW BEST:: SOT 122934 SOS 67937 HAS SOPS 67937 HAS SOUS 62322 HAS SOUPS 62322 WITH SCORE 62389.937
AT ITER 751 NEW BEST:: SOT 122860 SOS 67845 HAS SOPS 67845 HAS SOUS 62226 HAS SOUPS 62226 WITH SCORE 62293.845
AT ITER 752 NEW BEST:: SOT 122851 SOS 67836 HAS SOPS 67836 HAS SOUS 62217 HAS SOUPS 62217 WITH SCORE 62284.836
AT ITER 758 NEW BEST:: SOT 122845 SOS 67830 HAS SOPS 67830 HAS SOUS 62211 HAS SOUPS 62211 WITH SCORE 62278.83
AT ITER 761 NEW BEST:: SOT 122844 SOS 67829 HAS SOPS 67829 HAS SOUS 62209 HAS SOUPS 62209 WITH SCORE 62276.829
AT ITER 768 NEW BEST:: SOT 122832 SOS 67817 HAS SOPS 67817 HAS SOUS 62197 HAS SOUPS 62197 WITH SCORE 62264.817
AT ITER 770 NEW BEST:: SOT 122832 SOS 67884 HAS SOPS 67884 HAS SOUS 62160 HAS SOUPS 62160 WITH SCORE 62227.884
AT ITER 774 NEW BEST:: SOT 122706 SOS 67643 HAS SOPS 67643 HAS SOUS 61919 HAS SOUPS 61919 WITH SCORE 61986.643
AT ITER 778 NEW BEST:: SOT 122607 SOS 67441 HAS SOPS 67441 HAS SOUS 61717 HAS SOUPS 61717 WITH SCORE 61784.441
AT ITER 781 NEW BEST:: SOT 122541 SOS 67159 HAS SOPS 67159 HAS SOUS 61507 HAS SOUPS 61507 WITH SCORE 61574.159
AT ITER 783 NEW BEST:: SOT 122534 SOS 67152 HAS SOPS 67152 HAS SOUS 61500 HAS SOUPS 61500 WITH SCORE 61567.152
AT ITER 784 NEW BEST:: SOT 122357 SOS 67386 HAS SOPS 67386 HAS SOUS 61474 HAS SOUPS 61474 WITH SCORE 61541.386
AT ITER 792 NEW BEST:: SOT 122277 SOS 67306 HAS SOPS 67306 HAS SOUS 61393 HAS SOUPS 61393 WITH SCORE 61460.306
AT ITER 797 NEW BEST:: SOT 122214 SOS 67180 HAS SOPS 67180 HAS SOUS 61267 HAS SOUPS 61267 WITH SCORE 61334.18
AT ITER 799 NEW BEST:: SOT 122213 SOS 67213 HAS SOPS 67213 HAS SOUS 61229 HAS SOUPS 61229 WITH SCORE 61296.213
AT ITER 811 NEW BEST:: SOT 122144 SOS 67164 HAS SOPS 67164 HAS SOUS 61170 HAS SOUPS 61170 WITH SCORE 61237.164
AT ITER 817 NEW BEST:: SOT 122136 SOS 67156 HAS SOPS 67156 HAS SOUS 61162 HAS SOUPS 61162 WITH SCORE 61229.156
AT ITER 819 NEW BEST:: SOT 122017 SOS 66842 HAS SOPS 66842 HAS SOUS 60944 HAS SOUPS 60944 WITH SCORE 61010.842
AT ITER 824 NEW BEST:: SOT 121781 SOS 66606 HAS SOPS 66606 HAS SOUS 60826 HAS SOUPS 60826 WITH SCORE 60892.606
AT ITER 825 NEW BEST:: SOT 122072 SOS 66246 HAS SOPS 66246 HAS SOUS 60748 HAS SOUPS 60748 WITH SCORE 60814.246
AT ITER 829 NEW BEST:: SOT 122024 SOS 66052 HAS SOPS 66052 HAS SOUS 60625 HAS SOUPS 60625 WITH SCORE 60691.052
AT ITER 830 NEW BEST:: SOT 122024 SOS 66050 HAS SOPS 66050 HAS SOUS 60623 HAS SOUPS 60623 WITH SCORE 60689.05
AT ITER 831 NEW BEST:: SOT 121942 SOS 65920 HAS SOPS 65920 HAS SOUS 60495 HAS SOUPS 60495 WITH SCORE 60560.92
AT ITER 838 NEW BEST:: SOT 121875 SOS 65852 HAS SOPS 65852 HAS SOUS 60427 HAS SOUPS 60427 WITH SCORE 60492.852
AT ITER 845 NEW BEST:: SOT 121875 SOS 65847 HAS SOPS 65847 HAS SOUS 60397 HAS SOUPS 60397 WITH SCORE 60462.847
AT ITER 851 NEW BEST:: SOT 121790 SOS 65499 HAS SOPS 65499 HAS SOUS 60244 HAS SOUPS 60244 WITH SCORE 60309.499
AT ITER 852 NEW BEST:: SOT 121726 SOS 65426 HAS SOPS 65426 HAS SOUS 60171 HAS SOUPS 60171 WITH SCORE 60236.426
AT ITER 859 NEW BEST:: SOT 121770 SOS 65415 HAS SOPS 65415 HAS SOUS 60160 HAS SOUPS 60160 WITH SCORE 60225.415
AT ITER 860 NEW BEST:: SOT 121615 SOS 65260 HAS SOPS 65260 HAS SOUS 60005 HAS SOUPS 60005 WITH SCORE 60070.26
AT ITER 863 NEW BEST:: SOT 121466 SOS 65085 HAS SOPS 65085 HAS SOUS 59836 HAS SOUPS 59836 WITH SCORE 59901.085
AT ITER 864 NEW BEST:: SOT 121465 SOS 65084 HAS SOPS 65084 HAS SOUS 59835 HAS SOUPS 59835 WITH SCORE 59900.084
AT ITER 867 NEW BEST:: SOT 121438 SOS 64949 HAS SOPS 64949 HAS SOUS 59693 HAS SOUPS 59693 WITH SCORE 59757.949
AT ITER 868 NEW BEST:: SOT 121345 SOS 64775 HAS SOPS 64775 HAS SOUS 59439 HAS SOUPS 59439 WITH SCORE 59503.775
AT ITER 875 NEW BEST:: SOT 121299 SOS 64606 HAS SOPS 64606 HAS SOUS 59365 HAS SOUPS 59365 WITH SCORE 59429.606
AT ITER 880 NEW BEST:: SOT 121314 SOS 64621 HAS SOPS 64621 HAS SOUS 59346 HAS SOUPS 59346 WITH SCORE 59410.621
AT ITER 883 NEW BEST:: SOT 121260 SOS 64567 HAS SOPS 64567 HAS SOUS 59292 HAS SOUPS 59292 WITH SCORE 59356.567
AT ITER 890 NEW BEST:: SOT 121228 SOS 64535 HAS SOPS 64535 HAS SOUS 59248 HAS SOUPS 59248 WITH SCORE 59312.535
AT ITER 897 NEW BEST:: SOT 121164 SOS 64471 HAS SOPS 64471 HAS SOUS 59149 HAS SOUPS 59149 WITH SCORE 59213.471
AT ITER 898 NEW BEST:: SOT 121096 SOS 64114 HAS SOPS 64114 HAS SOUS 58945 HAS SOUPS 58945 WITH SCORE 59009.114
AT ITER 900 NEW BEST:: SOT 121067 SOS 64085 HAS SOPS 64085 HAS SOUS 58916 HAS SOUPS 58916 WITH SCORE 58980.085
AT ITER 902 NEW BEST:: SOT 121004 SOS 64089 HAS SOPS 64089 HAS SOUS 58723 HAS SOUPS 58723 WITH SCORE 58787.089
AT ITER 904 NEW BEST:: SOT 120888 SOS 63741 HAS SOPS 63741 HAS SOUS 58491 HAS SOUPS 58491 WITH SCORE 58554.741
AT ITER 913 NEW BEST:: SOT 120879 SOS 63642 HAS SOPS 63642 HAS SOUS 58452 HAS SOUPS 58452 WITH SCORE 58515.642
AT ITER 914 NEW BEST:: SOT 120855 SOS 63607 HAS SOPS 63607 HAS SOUS 58417 HAS SOUPS 58417 WITH SCORE 58480.607
AT ITER 919 NEW BEST:: SOT 120827 SOS 63612 HAS SOPS 63612 HAS SOUS 58374 HAS SOUPS 58374 WITH SCORE 58437.612
AT ITER 921 NEW BEST:: SOT 120840 SOS 63586 HAS SOPS 63586 HAS SOUS 58348 HAS SOUPS 58348 WITH SCORE 58411.586
AT ITER 927 NEW BEST:: SOT 120721 SOS 63374 HAS SOPS 63374 HAS SOUS 58136 HAS SOUPS 58136 WITH SCORE 58199.374
AT ITER 930 NEW BEST:: SOT 120707 SOS 63360 HAS SOPS 63360 HAS SOUS 58122 HAS SOUPS 58122 WITH SCORE 58185.36
AT ITER 936 NEW BEST:: SOT 120707 SOS 63365 HAS SOPS 63365 HAS SOUS 58121 HAS SOUPS 58121 WITH SCORE 58184.365
AT ITER 940 NEW BEST:: SOT 120707 SOS 63340 HAS SOPS 63340 HAS SOUS 58088 HAS SOUPS 58088 WITH SCORE 58151.34
AT ITER 948 NEW BEST:: SOT 120703 SOS 63336 HAS SOPS 63336 HAS SOUS 58084 HAS SOUPS 58084 WITH SCORE 58147.336
AT ITER 950 NEW BEST:: SOT 120689 SOS 63304 HAS SOPS 63304 HAS SOUS 58056 HAS SOUPS 58056 WITH SCORE 58119.304
AT ITER 961 NEW BEST:: SOT 120719 SOS 63295 HAS SOPS 63295 HAS SOUS 58047 HAS SOUPS 58047 WITH SCORE 58110.295
AT ITER 963 NEW BEST:: SOT 120703 SOS 63279 HAS SOPS 63279 HAS SOUS 58038 HAS SOUPS 58038 WITH SCORE 58101.279
AT ITER 966 NEW BEST:: SOT 120703 SOS 63198 HAS SOPS 63198 HAS SOUS 58023 HAS SOUPS 58023 WITH SCORE 58086.198
AT ITER 970 NEW BEST:: SOT 120746 SOS 63126 HAS SOPS 63126 HAS SOUS 57976 HAS SOUPS 57976 WITH SCORE 58039.126
AT ITER 974 NEW BEST:: SOT 120584 SOS 62821 HAS SOPS 62821 HAS SOUS 57712 HAS SOUPS 57712 WITH SCORE 57774.821
AT ITER 978 NEW BEST:: SOT 120539 SOS 62776 HAS SOPS 62776 HAS SOUS 57667 HAS SOUPS 57667 WITH SCORE 57729.776
AT ITER 981 NEW BEST:: SOT 120382 SOS 62624 HAS SOPS 62624 HAS SOUS 57515 HAS SOUPS 57515 WITH SCORE 57577.624
AT ITER 1000 NEW BEST:: SOT 120369 SOS 62598 HAS SOPS 62598 HAS SOUS 57489 HAS SOUPS 57489 WITH SCORE 57551.598
AT ITER 1001 NEW BEST:: SOT 120274 SOS 62285 HAS SOPS 62285 HAS SOUS 57270 HAS SOUPS 57270 WITH SCORE 57332.285
AT ITER 1008 NEW BEST:: SOT 120117 SOS 62135 HAS SOPS 62135 HAS SOUS 57164 HAS SOUPS 57164 WITH SCORE 57226.135
AT ITER 1013 NEW BEST:: SOT 120095 SOS 62113 HAS SOPS 62113 HAS SOUS 57142 HAS SOUPS 57142 WITH SCORE 57204.113
AT ITER 1019 NEW BEST:: SOT 120082 SOS 61679 HAS SOPS 61679 HAS SOUS 57107 HAS SOUPS 57107 WITH SCORE 57168.679
AT ITER 1021 NEW BEST:: SOT 120162 SOS 61642 HAS SOPS 61642 HAS SOUS 57106 HAS SOUPS 57106 WITH SCORE 57167.642
AT ITER 1028 NEW BEST:: SOT 120008 SOS 61554 HAS SOPS 61554 HAS SOUS 56831 HAS SOUPS 56831 WITH SCORE 56892.554
AT ITER 1035 NEW BEST:: SOT 120017 SOS 61335 HAS SOPS 61335 HAS SOUS 56819 HAS SOUPS 56819 WITH SCORE 56880.335
AT ITER 1039 NEW BEST:: SOT 119991 SOS 61107 HAS SOPS 61107 HAS SOUS 56692 HAS SOUPS 56692 WITH SCORE 56753.107
AT ITER 1048 NEW BEST:: SOT 119835 SOS 60998 HAS SOPS 60998 HAS SOUS 56564 HAS SOUPS 56564 WITH SCORE 56624.998
AT ITER 1049 NEW BEST:: SOT 119816 SOS 61038 HAS SOPS 61038 HAS SOUS 56515 HAS SOUPS 56515 WITH SCORE 56576.038
AT ITER 1050 NEW BEST:: SOT 119729 SOS 60882 HAS SOPS 60882 HAS SOUS 56321 HAS SOUPS 56321 WITH SCORE 56381.882
AT ITER 1051 NEW BEST:: SOT 119703 SOS 60856 HAS SOPS 60856 HAS SOUS 56295 HAS SOUPS 56295 WITH SCORE 56355.856
AT ITER 1063 NEW BEST:: SOT 119582 SOS 60648 HAS SOPS 60648 HAS SOUS 56206 HAS SOUPS 56206 WITH SCORE 56266.648
AT ITER 1075 NEW BEST:: SOT 119582 SOS 60610 HAS SOPS 60610 HAS SOUS 56206 HAS SOUPS 56206 WITH SCORE 56266.61
AT ITER 1082 NEW BEST:: SOT 119550 SOS 60626 HAS SOPS 60626 HAS SOUS 56165 HAS SOUPS 56165 WITH SCORE 56225.626
AT ITER 1085 NEW BEST:: SOT 119550 SOS 60363 HAS SOPS 60363 HAS SOUS 56041 HAS SOUPS 56041 WITH SCORE 56101.363
AT ITER 1088 NEW BEST:: SOT 119514 SOS 60327 HAS SOPS 60327 HAS SOUS 56005 HAS SOUPS 56005 WITH SCORE 56065.327
AT ITER 1095 NEW BEST:: SOT 119495 SOS 60308 HAS SOPS 60308 HAS SOUS 55986 HAS SOUPS 55986 WITH SCORE 56046.308
AT ITER 1098 NEW BEST:: SOT 119459 SOS 60271 HAS SOPS 60271 HAS SOUS 55949 HAS SOUPS 55949 WITH SCORE 56009.271
AT ITER 1102 NEW BEST:: SOT 119373 SOS 60099 HAS SOPS 60099 HAS SOUS 55777 HAS SOUPS 55777 WITH SCORE 55837.099
AT ITER 1109 NEW BEST:: SOT 119373 SOS 59838 HAS SOPS 59838 HAS SOUS 55774 HAS SOUPS 55774 WITH SCORE 55833.838
AT ITER 1113 NEW BEST:: SOT 119181 SOS 59646 HAS SOPS 59646 HAS SOUS 55671 HAS SOUPS 55671 WITH SCORE 55730.646
AT ITER 1115 NEW BEST:: SOT 119141 SOS 59606 HAS SOPS 59606 HAS SOUS 55671 HAS SOUPS 55671 WITH SCORE 55730.606
AT ITER 1117 NEW BEST:: SOT 119071 SOS 59433 HAS SOPS 59433 HAS SOUS 55498 HAS SOUPS 55498 WITH SCORE 55557.433
AT ITER 1118 NEW BEST:: SOT 119041 SOS 59373 HAS SOPS 59373 HAS SOUS 55468 HAS SOUPS 55468 WITH SCORE 55527.373
AT ITER 1121 NEW BEST:: SOT 118893 SOS 58990 HAS SOPS 58990 HAS SOUS 55143 HAS SOUPS 55143 WITH SCORE 55201.99
AT ITER 1125 NEW BEST:: SOT 118680 SOS 58438 HAS SOPS 58438 HAS SOUS 54817 HAS SOUPS 54817 WITH SCORE 54875.438
AT ITER 1127 NEW BEST:: SOT 118680 SOS 58430 HAS SOPS 58430 HAS SOUS 54801 HAS SOUPS 54801 WITH SCORE 54859.43
AT ITER 1128 NEW BEST:: SOT 118554 SOS 58237 HAS SOPS 58237 HAS SOUS 54608 HAS SOUPS 54608 WITH SCORE 54666.237
AT ITER 1130 NEW BEST:: SOT 118518 SOS 58201 HAS SOPS 58201 HAS SOUS 54600 HAS SOUPS 54600 WITH SCORE 54658.201
AT ITER 1132 NEW BEST:: SOT 118416 SOS 58037 HAS SOPS 58037 HAS SOUS 54377 HAS SOUPS 54377 WITH SCORE 54435.037
AT ITER 1141 NEW BEST:: SOT 118400 SOS 58021 HAS SOPS 58021 HAS SOUS 54361 HAS SOUPS 54361 WITH SCORE 54419.021
AT ITER 1151 NEW BEST:: SOT 118323 SOS 57944 HAS SOPS 57944 HAS SOUS 54284 HAS SOUPS 54284 WITH SCORE 54341.944
AT ITER 1154 NEW BEST:: SOT 118201 SOS 57350 HAS SOPS 57350 HAS SOUS 54056 HAS SOUPS 54056 WITH SCORE 54113.35
AT ITER 1157 NEW BEST:: SOT 118201 SOS 57298 HAS SOPS 57298 HAS SOUS 54056 HAS SOUPS 54056 WITH SCORE 54113.298
AT ITER 1166 NEW BEST:: SOT 118071 SOS 57168 HAS SOPS 57168 HAS SOUS 53926 HAS SOUPS 53926 WITH SCORE 53983.168
AT ITER 1170 NEW BEST:: SOT 118012 SOS 57095 HAS SOPS 57095 HAS SOUS 53853 HAS SOUPS 53853 WITH SCORE 53910.095
AT ITER 1171 NEW BEST:: SOT 117959 SOS 57042 HAS SOPS 57042 HAS SOUS 53834 HAS SOUPS 53834 WITH SCORE 53891.042
AT ITER 1172 NEW BEST:: SOT 117959 SOS 57010 HAS SOPS 57010 HAS SOUS 53802 HAS SOUPS 53802 WITH SCORE 53859.01
AT ITER 1178 NEW BEST:: SOT 117707 SOS 56593 HAS SOPS 56593 HAS SOUS 53385 HAS SOUPS 53385 WITH SCORE 53441.593
AT ITER 1187 NEW BEST:: SOT 117705 SOS 56323 HAS SOPS 56323 HAS SOUS 53351 HAS SOUPS 53351 WITH SCORE 53407.323
AT ITER 1190 NEW BEST:: SOT 117644 SOS 56211 HAS SOPS 56211 HAS SOUS 53239 HAS SOUPS 53239 WITH SCORE 53295.211
AT ITER 1194 NEW BEST:: SOT 117622 SOS 56193 HAS SOPS 56193 HAS SOUS 53123 HAS SOUPS 53123 WITH SCORE 53179.193
AT ITER 1199 NEW BEST:: SOT 117622 SOS 55967 HAS SOPS 55967 HAS SOUS 53123 HAS SOUPS 53123 WITH SCORE 53178.967
AT ITER 1212 NEW BEST:: SOT 117549 SOS 55894 HAS SOPS 55894 HAS SOUS 53050 HAS SOUPS 53050 WITH SCORE 53105.894
AT ITER 1219 NEW BEST:: SOT 117548 SOS 55855 HAS SOPS 55855 HAS SOUS 53011 HAS SOUPS 53011 WITH SCORE 53066.855
AT ITER 1228 NEW BEST:: SOT 117529 SOS 55745 HAS SOPS 55745 HAS SOUS 52901 HAS SOUPS 52901 WITH SCORE 52956.745
AT ITER 1231 NEW BEST:: SOT 117283 SOS 55234 HAS SOPS 55234 HAS SOUS 52430 HAS SOUPS 52430 WITH SCORE 52485.234
AT ITER 1232 NEW BEST:: SOT 116983 SOS 54774 HAS SOPS 54774 HAS SOUS 51970 HAS SOUPS 51970 WITH SCORE 52024.774
AT ITER 1237 NEW BEST:: SOT 116953 SOS 54665 HAS SOPS 54665 HAS SOUS 51867 HAS SOUPS 51867 WITH SCORE 51921.665
AT ITER 1241 NEW BEST:: SOT 116953 SOS 54577 HAS SOPS 54577 HAS SOUS 51775 HAS SOUPS 51775 WITH SCORE 51829.577
AT ITER 1255 NEW BEST:: SOT 116989 SOS 54604 HAS SOPS 54604 HAS SOUS 51727 HAS SOUPS 51727 WITH SCORE 51781.604
AT ITER 1258 NEW BEST:: SOT 116908 SOS 54498 HAS SOPS 54498 HAS SOUS 51621 HAS SOUPS 51621 WITH SCORE 51675.498
AT ITER 1260 NEW BEST:: SOT 116892 SOS 54550 HAS SOPS 54550 HAS SOUS 51605 HAS SOUPS 51605 WITH SCORE 51659.55
AT ITER 1265 NEW BEST:: SOT 116881 SOS 54479 HAS SOPS 54479 HAS SOUS 51534 HAS SOUPS 51534 WITH SCORE 51588.479
AT ITER 1266 NEW BEST:: SOT 116862 SOS 54460 HAS SOPS 54460 HAS SOUS 51515 HAS SOUPS 51515 WITH SCORE 51569.46
AT ITER 1300 NEW BEST:: SOT 116767 SOS 54272 HAS SOPS 54272 HAS SOUS 51327 HAS SOUPS 51327 WITH SCORE 51381.272
AT ITER 1305 NEW BEST:: SOT 116767 SOS 54313 HAS SOPS 54313 HAS SOUS 51268 HAS SOUPS 51268 WITH SCORE 51322.313
AT ITER 1310 NEW BEST:: SOT 116767 SOS 54215 HAS SOPS 54215 HAS SOUS 51211 HAS SOUPS 51211 WITH SCORE 51265.215
AT ITER 1326 NEW BEST:: SOT 116687 SOS 53963 HAS SOPS 53963 HAS SOUS 50959 HAS SOUPS 50959 WITH SCORE 51012.963
AT ITER 1330 NEW BEST:: SOT 116679 SOS 53990 HAS SOPS 53990 HAS SOUS 50940 HAS SOUPS 50940 WITH SCORE 50993.99
AT ITER 1340 NEW BEST:: SOT 116669 SOS 53841 HAS SOPS 53841 HAS SOUS 50769 HAS SOUPS 50769 WITH SCORE 50822.841
AT ITER 1353 NEW BEST:: SOT 116621 SOS 53769 HAS SOPS 53769 HAS SOUS 50697 HAS SOUPS 50697 WITH SCORE 50750.769
AT ITER 1358 NEW BEST:: SOT 116546 SOS 53694 HAS SOPS 53694 HAS SOUS 50622 HAS SOUPS 50622 WITH SCORE 50675.694
AT ITER 1360 NEW BEST:: SOT 116521 SOS 53625 HAS SOPS 53625 HAS SOUS 50553 HAS SOUPS 50553 WITH SCORE 50606.625
AT ITER 1368 NEW BEST:: SOT 116462 SOS 53434 HAS SOPS 53434 HAS SOUS 50406 HAS SOUPS 50406 WITH SCORE 50459.434
AT ITER 1384 NEW BEST:: SOT 116462 SOS 53395 HAS SOPS 53395 HAS SOUS 50399 HAS SOUPS 50399 WITH SCORE 50452.395
AT ITER 1393 NEW BEST:: SOT 116457 SOS 53314 HAS SOPS 53314 HAS SOUS 50318 HAS SOUPS 50318 WITH SCORE 50371.314
AT ITER 1416 NEW BEST:: SOT 116457 SOS 53203 HAS SOPS 53203 HAS SOUS 50281 HAS SOUPS 50281 WITH SCORE 50334.203
AT ITER 1428 NEW BEST:: SOT 116392 SOS 53019 HAS SOPS 53019 HAS SOUS 50147 HAS SOUPS 50147 WITH SCORE 50200.019
AT ITER 1436 NEW BEST:: SOT 116106 SOS 52465 HAS SOPS 52465 HAS SOUS 49700 HAS SOUPS 49700 WITH SCORE 49752.465
AT ITER 1444 NEW BEST:: SOT 116104 SOS 52020 HAS SOPS 52020 HAS SOUS 49553 HAS SOUPS 49553 WITH SCORE 49605.02
AT ITER 1460 NEW BEST:: SOT 116060 SOS 51815 HAS SOPS 51815 HAS SOUS 49421 HAS SOUPS 49421 WITH SCORE 49472.815
AT ITER 1464 NEW BEST:: SOT 116004 SOS 51733 HAS SOPS 51733 HAS SOUS 49339 HAS SOUPS 49339 WITH SCORE 49390.733
AT ITER 1478 NEW BEST:: SOT 115906 SOS 51553 HAS SOPS 51553 HAS SOUS 49159 HAS SOUPS 49159 WITH SCORE 49210.553
AT ITER 1479 NEW BEST:: SOT 115780 SOS 51427 HAS SOPS 51427 HAS SOUS 49033 HAS SOUPS 49033 WITH SCORE 49084.427
AT ITER 1482 NEW BEST:: SOT 115602 SOS 51303 HAS SOPS 51303 HAS SOUS 48909 HAS SOUPS 48909 WITH SCORE 48960.303
AT ITER 1494 NEW BEST:: SOT 115583 SOS 51238 HAS SOPS 51238 HAS SOUS 48844 HAS SOUPS 48844 WITH SCORE 48895.238
AT ITER 1497 NEW BEST:: SOT 115582 SOS 51191 HAS SOPS 51191 HAS SOUS 48818 HAS SOUPS 48818 WITH SCORE 48869.191
AT ITER 1501 NEW BEST:: SOT 115397 SOS 50769 HAS SOPS 50769 HAS SOUS 48396 HAS SOUPS 48396 WITH SCORE 48446.769
AT ITER 1510 NEW BEST:: SOT 115396 SOS 50767 HAS SOPS 50767 HAS SOUS 48394 HAS SOUPS 48394 WITH SCORE 48444.767
AT ITER 1521 NEW BEST:: SOT 115361 SOS 50690 HAS SOPS 50690 HAS SOUS 48317 HAS SOUPS 48317 WITH SCORE 48367.69
AT ITER 1522 NEW BEST:: SOT 115249 SOS 50381 HAS SOPS 50381 HAS SOUS 47987 HAS SOUPS 47987 WITH SCORE 48037.381
AT ITER 1524 NEW BEST:: SOT 115132 SOS 50429 HAS SOPS 50429 HAS SOUS 47948 HAS SOUPS 47948 WITH SCORE 47998.429
AT ITER 1528 NEW BEST:: SOT 115132 SOS 50381 HAS SOPS 50381 HAS SOUS 47836 HAS SOUPS 47836 WITH SCORE 47886.381
AT ITER 1531 NEW BEST:: SOT 115114 SOS 50331 HAS SOPS 50331 HAS SOUS 47786 HAS SOUPS 47786 WITH SCORE 47836.331
AT ITER 1543 NEW BEST:: SOT 115070 SOS 50287 HAS SOPS 50287 HAS SOUS 47732 HAS SOUPS 47732 WITH SCORE 47782.287
AT ITER 1545 NEW BEST:: SOT 115008 SOS 50371 HAS SOPS 50371 HAS SOUS 47610 HAS SOUPS 47610 WITH SCORE 47660.371
AT ITER 1551 NEW BEST:: SOT 114995 SOS 50343 HAS SOPS 50343 HAS SOUS 47582 HAS SOUPS 47582 WITH SCORE 47632.343
AT ITER 1552 NEW BEST:: SOT 114945 SOS 50293 HAS SOPS 50293 HAS SOUS 47552 HAS SOUPS 47552 WITH SCORE 47602.293
AT ITER 1558 NEW BEST:: SOT 115127 SOS 50291 HAS SOPS 50291 HAS SOUS 47550 HAS SOUPS 47550 WITH SCORE 47600.291
AT ITER 1559 NEW BEST:: SOT 115074 SOS 50238 HAS SOPS 50238 HAS SOUS 47497 HAS SOUPS 47497 WITH SCORE 47547.238
AT ITER 1560 NEW BEST:: SOT 115067 SOS 50213 HAS SOPS 50213 HAS SOUS 47472 HAS SOUPS 47472 WITH SCORE 47522.213
AT ITER 1561 NEW BEST:: SOT 115065 SOS 50137 HAS SOPS 50137 HAS SOUS 47428 HAS SOUPS 47428 WITH SCORE 47478.137
AT ITER 1586 NEW BEST:: SOT 115065 SOS 50137 HAS SOPS 50137 HAS SOUS 47425 HAS SOUPS 47425 WITH SCORE 47475.137
AT ITER 1591 NEW BEST:: SOT 115044 SOS 50074 HAS SOPS 50074 HAS SOUS 47362 HAS SOUPS 47362 WITH SCORE 47412.074
AT ITER 1594 NEW BEST:: SOT 114989 SOS 50015 HAS SOPS 50015 HAS SOUS 47303 HAS SOUPS 47303 WITH SCORE 47353.015
AT ITER 1595 NEW BEST:: SOT 114931 SOS 49962 HAS SOPS 49962 HAS SOUS 47192 HAS SOUPS 47192 WITH SCORE 47241.962
AT ITER 1597 NEW BEST:: SOT 114859 SOS 49886 HAS SOPS 49886 HAS SOUS 47116 HAS SOUPS 47116 WITH SCORE 47165.886
AT ITER 1623 NEW BEST:: SOT 114816 SOS 49843 HAS SOPS 49843 HAS SOUS 47073 HAS SOUPS 47073 WITH SCORE 47122.843
AT ITER 1641 NEW BEST:: SOT 114853 SOS 49592 HAS SOPS 49592 HAS SOUS 47056 HAS SOUPS 47056 WITH SCORE 47105.592
AT ITER 1644 NEW BEST:: SOT 114847 SOS 49578 HAS SOPS 49578 HAS SOUS 47034 HAS SOUPS 47034 WITH SCORE 47083.578
AT ITER 1658 NEW BEST:: SOT 114954 SOS 49632 HAS SOPS 49632 HAS SOUS 46989 HAS SOUPS 46989 WITH SCORE 47038.632
AT ITER 1661 NEW BEST:: SOT 114882 SOS 49560 HAS SOPS 49560 HAS SOUS 46875 HAS SOUPS 46875 WITH SCORE 46924.56
AT ITER 1665 NEW BEST:: SOT 114861 SOS 49542 HAS SOPS 49542 HAS SOUS 46856 HAS SOUPS 46856 WITH SCORE 46905.542
AT ITER 1681 NEW BEST:: SOT 114823 SOS 49504 HAS SOPS 49504 HAS SOUS 46818 HAS SOUPS 46818 WITH SCORE 46867.504
AT ITER 1704 NEW BEST:: SOT 114823 SOS 49470 HAS SOPS 49470 HAS SOUS 46797 HAS SOUPS 46797 WITH SCORE 46846.47
AT ITER 1713 NEW BEST:: SOT 114823 SOS 49423 HAS SOPS 49423 HAS SOUS 46797 HAS SOUPS 46797 WITH SCORE 46846.423
AT ITER 1723 NEW BEST:: SOT 114783 SOS 49376 HAS SOPS 49376 HAS SOUS 46790 HAS SOUPS 46790 WITH SCORE 46839.376
AT ITER 1724 NEW BEST:: SOT 114699 SOS 49149 HAS SOPS 49149 HAS SOUS 46623 HAS SOUPS 46623 WITH SCORE 46672.149
AT ITER 1726 NEW BEST:: SOT 114694 SOS 49144 HAS SOPS 49144 HAS SOUS 46605 HAS SOUPS 46605 WITH SCORE 46654.144
AT ITER 1727 NEW BEST:: SOT 114672 SOS 49122 HAS SOPS 49122 HAS SOUS 46583 HAS SOUPS 46583 WITH SCORE 46632.122
AT ITER 1738 NEW BEST:: SOT 114672 SOS 49160 HAS SOPS 49160 HAS SOUS 46579 HAS SOUPS 46579 WITH SCORE 46628.16
AT ITER 1746 NEW BEST:: SOT 114691 SOS 49016 HAS SOPS 49016 HAS SOUS 46435 HAS SOUPS 46435 WITH SCORE 46484.016
AT ITER 1768 NEW BEST:: SOT 114714 SOS 48945 HAS SOPS 48945 HAS SOUS 46364 HAS SOUPS 46364 WITH SCORE 46412.945
AT ITER 1784 NEW BEST:: SOT 114714 SOS 48926 HAS SOPS 48926 HAS SOUS 46345 HAS SOUPS 46345 WITH SCORE 46393.926
AT ITER 1788 NEW BEST:: SOT 114651 SOS 48850 HAS SOPS 48850 HAS SOUS 46206 HAS SOUPS 46206 WITH SCORE 46254.85
AT ITER 1789 NEW BEST:: SOT 114562 SOS 48787 HAS SOPS 48787 HAS SOUS 46143 HAS SOUPS 46143 WITH SCORE 46191.787
AT ITER 1798 NEW BEST:: SOT 114592 SOS 48817 HAS SOPS 48817 HAS SOUS 46130 HAS SOUPS 46130 WITH SCORE 46178.817
AT ITER 1799 NEW BEST:: SOT 114610 SOS 48796 HAS SOPS 48796 HAS SOUS 46109 HAS SOUPS 46109 WITH SCORE 46157.796
AT ITER 1801 NEW BEST:: SOT 114602 SOS 48782 HAS SOPS 48782 HAS SOUS 46068 HAS SOUPS 46068 WITH SCORE 46116.782
AT ITER 1807 NEW BEST:: SOT 114601 SOS 48760 HAS SOPS 48760 HAS SOUS 46049 HAS SOUPS 46049 WITH SCORE 46097.76
AT ITER 1811 NEW BEST:: SOT 114595 SOS 48736 HAS SOPS 48736 HAS SOUS 46031 HAS SOUPS 46031 WITH SCORE 46079.736
AT ITER 1828 NEW BEST:: SOT 114549 SOS 48636 HAS SOPS 48636 HAS SOUS 45931 HAS SOUPS 45931 WITH SCORE 45979.636
AT ITER 1831 NEW BEST:: SOT 114502 SOS 48573 HAS SOPS 48573 HAS SOUS 45820 HAS SOUPS 45820 WITH SCORE 45868.573
AT ITER 1841 NEW BEST:: SOT 114398 SOS 48633 HAS SOPS 48633 HAS SOUS 45803 HAS SOUPS 45803 WITH SCORE 45851.633
AT ITER 1850 NEW BEST:: SOT 114352 SOS 48583 HAS SOPS 48583 HAS SOUS 45795 HAS SOUPS 45795 WITH SCORE 45843.583
AT ITER 1866 NEW BEST:: SOT 114352 SOS 48572 HAS SOPS 48572 HAS SOUS 45784 HAS SOUPS 45784 WITH SCORE 45832.572
AT ITER 1893 NEW BEST:: SOT 114322 SOS 48512 HAS SOPS 48512 HAS SOUS 45724 HAS SOUPS 45724 WITH SCORE 45772.512
AT ITER 1898 NEW BEST:: SOT 114322 SOS 48512 HAS SOPS 48512 HAS SOUS 45721 HAS SOUPS 45721 WITH SCORE 45769.512
AT ITER 1904 NEW BEST:: SOT 114322 SOS 48512 HAS SOPS 48512 HAS SOUS 45717 HAS SOUPS 45717 WITH SCORE 45765.512
AT ITER 1906 NEW BEST:: SOT 114211 SOS 48491 HAS SOPS 48491 HAS SOUS 45713 HAS SOUPS 45713 WITH SCORE 45761.491
AT ITER 1916 NEW BEST:: SOT 114055 SOS 48335 HAS SOPS 48335 HAS SOUS 45557 HAS SOUPS 45557 WITH SCORE 45605.335
AT ITER 1930 NEW BEST:: SOT 114002 SOS 48271 HAS SOPS 48271 HAS SOUS 45493 HAS SOUPS 45493 WITH SCORE 45541.271
AT ITER 1936 NEW BEST:: SOT 113995 SOS 48264 HAS SOPS 48264 HAS SOUS 45486 HAS SOUPS 45486 WITH SCORE 45534.264
AT ITER 1951 NEW BEST:: SOT 113987 SOS 48256 HAS SOPS 48256 HAS SOUS 45470 HAS SOUPS 45470 WITH SCORE 45518.256
AT ITER 1954 NEW BEST:: SOT 113987 SOS 48224 HAS SOPS 48224 HAS SOUS 45438 HAS SOUPS 45438 WITH SCORE 45486.224
AT ITER 1959 NEW BEST:: SOT 113986 SOS 48200 HAS SOPS 48200 HAS SOUS 45413 HAS SOUPS 45413 WITH SCORE 45461.2
AT ITER 1960 NEW BEST:: SOT 113986 SOS 48194 HAS SOPS 48194 HAS SOUS 45410 HAS SOUPS 45410 WITH SCORE 45458.194
AT ITER 1969 NEW BEST:: SOT 113799 SOS 48087 HAS SOPS 48087 HAS SOUS 45315 HAS SOUPS 45315 WITH SCORE 45363.087
AT ITER 1972 NEW BEST:: SOT 113667 SOS 47994 HAS SOPS 47994 HAS SOUS 45222 HAS SOUPS 45222 WITH SCORE 45269.994
AT ITER 1973 NEW BEST:: SOT 113625 SOS 47917 HAS SOPS 47917 HAS SOUS 45187 HAS SOUPS 45187 WITH SCORE 45234.917
AT ITER 1993 NEW BEST:: SOT 113482 SOS 47702 HAS SOPS 47702 HAS SOUS 44988 HAS SOUPS 44988 WITH SCORE 45035.702
AT ITER 1999 NEW BEST:: SOT 113472 SOS 47553 HAS SOPS 47553 HAS SOUS 44892 HAS SOUPS 44892 WITH SCORE 44939.553
AT ITER 2007 NEW BEST:: SOT 113472 SOS 47561 HAS SOPS 47561 HAS SOUS 44889 HAS SOUPS 44889 WITH SCORE 44936.561
AT ITER 2012 NEW BEST:: SOT 113254 SOS 47550 HAS SOPS 47550 HAS SOUS 44759 HAS SOUPS 44759 WITH SCORE 44806.55
AT ITER 2013 NEW BEST:: SOT 113135 SOS 47424 HAS SOPS 47424 HAS SOUS 44618 HAS SOUPS 44618 WITH SCORE 44665.424
AT ITER 2021 NEW BEST:: SOT 113135 SOS 47408 HAS SOPS 47408 HAS SOUS 44618 HAS SOUPS 44618 WITH SCORE 44665.408
AT ITER 2027 NEW BEST:: SOT 113127 SOS 47369 HAS SOPS 47369 HAS SOUS 44579 HAS SOUPS 44579 WITH SCORE 44626.369
AT ITER 2030 NEW BEST:: SOT 113113 SOS 47348 HAS SOPS 47348 HAS SOUS 44558 HAS SOUPS 44558 WITH SCORE 44605.348
AT ITER 2054 NEW BEST:: SOT 113088 SOS 47323 HAS SOPS 47323 HAS SOUS 44533 HAS SOUPS 44533 WITH SCORE 44580.323
AT ITER 2058 NEW BEST:: SOT 112954 SOS 47170 HAS SOPS 47170 HAS SOUS 44393 HAS SOUPS 44393 WITH SCORE 44440.17
AT ITER 2060 NEW BEST:: SOT 112939 SOS 47150 HAS SOPS 47150 HAS SOUS 44373 HAS SOUPS 44373 WITH SCORE 44420.15
AT ITER 2063 NEW BEST:: SOT 112973 SOS 47123 HAS SOPS 47123 HAS SOUS 44319 HAS SOUPS 44319 WITH SCORE 44366.123
AT ITER 2077 NEW BEST:: SOT 112971 SOS 47119 HAS SOPS 47119 HAS SOUS 44315 HAS SOUPS 44315 WITH SCORE 44362.119
AT ITER 2081 NEW BEST:: SOT 112896 SOS 47008 HAS SOPS 47008 HAS SOUS 44200 HAS SOUPS 44200 WITH SCORE 44247.008
AT ITER 2082 NEW BEST:: SOT 112851 SOS 46983 HAS SOPS 46983 HAS SOUS 44190 HAS SOUPS 44190 WITH SCORE 44236.983
AT ITER 2115 NEW BEST:: SOT 112812 SOS 46912 HAS SOPS 46912 HAS SOUS 44119 HAS SOUPS 44119 WITH SCORE 44165.912
AT ITER 2124 NEW BEST:: SOT 112803 SOS 46894 HAS SOPS 46894 HAS SOUS 44110 HAS SOUPS 44110 WITH SCORE 44156.894
AT ITER 2139 NEW BEST:: SOT 112778 SOS 46869 HAS SOPS 46869 HAS SOUS 44081 HAS SOUPS 44081 WITH SCORE 44127.869
AT ITER 2145 NEW BEST:: SOT 112739 SOS 46791 HAS SOPS 46791 HAS SOUS 44003 HAS SOUPS 44003 WITH SCORE 44049.791
AT ITER 2147 NEW BEST:: SOT 112739 SOS 46722 HAS SOPS 46722 HAS SOUS 43934 HAS SOUPS 43934 WITH SCORE 43980.722
AT ITER 2153 NEW BEST:: SOT 112677 SOS 46660 HAS SOPS 46660 HAS SOUS 43872 HAS SOUPS 43872 WITH SCORE 43918.66
AT ITER 2156 NEW BEST:: SOT 112645 SOS 46481 HAS SOPS 46481 HAS SOUS 43763 HAS SOUPS 43763 WITH SCORE 43809.481
AT ITER 2160 NEW BEST:: SOT 112639 SOS 46473 HAS SOPS 46473 HAS SOUS 43746 HAS SOUPS 43746 WITH SCORE 43792.473
AT ITER 2167 NEW BEST:: SOT 112639 SOS 46459 HAS SOPS 46459 HAS SOUS 43732 HAS SOUPS 43732 WITH SCORE 43778.459
AT ITER 2168 NEW BEST:: SOT 112623 SOS 46443 HAS SOPS 46443 HAS SOUS 43716 HAS SOUPS 43716 WITH SCORE 43762.443
AT ITER 2172 NEW BEST:: SOT 112608 SOS 46413 HAS SOPS 46413 HAS SOUS 43686 HAS SOUPS 43686 WITH SCORE 43732.413
AT ITER 2180 NEW BEST:: SOT 112508 SOS 46376 HAS SOPS 46376 HAS SOUS 43588 HAS SOUPS 43588 WITH SCORE 43634.376
AT ITER 2200 NEW BEST:: SOT 112595 SOS 46331 HAS SOPS 46331 HAS SOUS 43512 HAS SOUPS 43512 WITH SCORE 43558.331
AT ITER 2215 NEW BEST:: SOT 112591 SOS 46327 HAS SOPS 46327 HAS SOUS 43508 HAS SOUPS 43508 WITH SCORE 43554.327
AT ITER 2219 NEW BEST:: SOT 112564 SOS 46300 HAS SOPS 46300 HAS SOUS 43481 HAS SOUPS 43481 WITH SCORE 43527.3
AT ITER 2233 NEW BEST:: SOT 112564 SOS 46275 HAS SOPS 46275 HAS SOUS 43481 HAS SOUPS 43481 WITH SCORE 43527.275
AT ITER 2251 NEW BEST:: SOT 112564 SOS 46232 HAS SOPS 46232 HAS SOUS 43438 HAS SOUPS 43438 WITH SCORE 43484.232
AT ITER 2255 NEW BEST:: SOT 112536 SOS 46204 HAS SOPS 46204 HAS SOUS 43424 HAS SOUPS 43424 WITH SCORE 43470.204
AT ITER 2260 NEW BEST:: SOT 112325 SOS 45889 HAS SOPS 45889 HAS SOUS 43109 HAS SOUPS 43109 WITH SCORE 43154.889
AT ITER 2265 NEW BEST:: SOT 112311 SOS 45827 HAS SOPS 45827 HAS SOUS 43047 HAS SOUPS 43047 WITH SCORE 43092.827
AT ITER 2274 NEW BEST:: SOT 112137 SOS 46044 HAS SOPS 46044 HAS SOUS 43015 HAS SOUPS 43015 WITH SCORE 43061.044
AT ITER 2287 NEW BEST:: SOT 112132 SOS 46039 HAS SOPS 46039 HAS SOUS 43010 HAS SOUPS 43010 WITH SCORE 43056.039
AT ITER 2290 NEW BEST:: SOT 112053 SOS 45929 HAS SOPS 45929 HAS SOUS 42852 HAS SOUPS 42852 WITH SCORE 42897.929
AT ITER 2301 NEW BEST:: SOT 112045 SOS 45913 HAS SOPS 45913 HAS SOUS 42836 HAS SOUPS 42836 WITH SCORE 42881.913
AT ITER 2304 NEW BEST:: SOT 112035 SOS 45903 HAS SOPS 45903 HAS SOUS 42826 HAS SOUPS 42826 WITH SCORE 42871.903
AT ITER 2307 NEW BEST:: SOT 111997 SOS 45846 HAS SOPS 45846 HAS SOUS 42767 HAS SOUPS 42767 WITH SCORE 42812.846
AT ITER 2309 NEW BEST:: SOT 112069 SOS 45769 HAS SOPS 45769 HAS SOUS 42697 HAS SOUPS 42697 WITH SCORE 42742.769
AT ITER 2315 NEW BEST:: SOT 112069 SOS 45631 HAS SOPS 45631 HAS SOUS 42659 HAS SOUPS 42659 WITH SCORE 42704.631
AT ITER 2317 NEW BEST:: SOT 111998 SOS 45549 HAS SOPS 45549 HAS SOUS 42577 HAS SOUPS 42577 WITH SCORE 42622.549
AT ITER 2318 NEW BEST:: SOT 111944 SOS 45394 HAS SOPS 45394 HAS SOUS 42416 HAS SOUPS 42416 WITH SCORE 42461.394
AT ITER 2333 NEW BEST:: SOT 111914 SOS 45357 HAS SOPS 45357 HAS SOUS 42379 HAS SOUPS 42379 WITH SCORE 42424.357
AT ITER 2336 NEW BEST:: SOT 111853 SOS 45264 HAS SOPS 45264 HAS SOUS 42286 HAS SOUPS 42286 WITH SCORE 42331.264
AT ITER 2345 NEW BEST:: SOT 111770 SOS 45181 HAS SOPS 45181 HAS SOUS 42203 HAS SOUPS 42203 WITH SCORE 42248.181
AT ITER 2350 NEW BEST:: SOT 111747 SOS 45086 HAS SOPS 45086 HAS SOUS 42108 HAS SOUPS 42108 WITH SCORE 42153.086
AT ITER 2355 NEW BEST:: SOT 111731 SOS 45022 HAS SOPS 45022 HAS SOUS 42044 HAS SOUPS 42044 WITH SCORE 42089.022
AT ITER 2362 NEW BEST:: SOT 111633 SOS 44897 HAS SOPS 44897 HAS SOUS 41919 HAS SOUPS 41919 WITH SCORE 41963.897
AT ITER 2364 NEW BEST:: SOT 111540 SOS 44762 HAS SOPS 44762 HAS SOUS 41807 HAS SOUPS 41807 WITH SCORE 41851.762
AT ITER 2377 NEW BEST:: SOT 111540 SOS 44718 HAS SOPS 44718 HAS SOUS 41765 HAS SOUPS 41765 WITH SCORE 41809.718
AT ITER 2381 NEW BEST:: SOT 111486 SOS 44644 HAS SOPS 44644 HAS SOUS 41691 HAS SOUPS 41691 WITH SCORE 41735.644
AT ITER 2389 NEW BEST:: SOT 111486 SOS 44637 HAS SOPS 44637 HAS SOUS 41690 HAS SOUPS 41690 WITH SCORE 41734.637
AT ITER 2390 NEW BEST:: SOT 111482 SOS 44629 HAS SOPS 44629 HAS SOUS 41684 HAS SOUPS 41684 WITH SCORE 41728.629
AT ITER 2402 NEW BEST:: SOT 111457 SOS 44504 HAS SOPS 44504 HAS SOUS 41634 HAS SOUPS 41634 WITH SCORE 41678.504
AT ITER 2409 NEW BEST:: SOT 111466 SOS 44434 HAS SOPS 44434 HAS SOUS 41587 HAS SOUPS 41587 WITH SCORE 41631.434
AT ITER 2431 NEW BEST:: SOT 111465 SOS 44432 HAS SOPS 44432 HAS SOUS 41586 HAS SOUPS 41586 WITH SCORE 41630.432
AT ITER 2432 NEW BEST:: SOT 111454 SOS 44301 HAS SOPS 44301 HAS SOUS 41527 HAS SOUPS 41527 WITH SCORE 41571.301
AT ITER 2433 NEW BEST:: SOT 111416 SOS 44173 HAS SOPS 44173 HAS SOUS 41429 HAS SOUPS 41429 WITH SCORE 41473.173
AT ITER 2434 NEW BEST:: SOT 111411 SOS 44153 HAS SOPS 44153 HAS SOUS 41414 HAS SOUPS 41414 WITH SCORE 41458.153
AT ITER 2437 NEW BEST:: SOT 111411 SOS 44132 HAS SOPS 44132 HAS SOUS 41400 HAS SOUPS 41400 WITH SCORE 41444.132
AT ITER 2445 NEW BEST:: SOT 111398 SOS 44116 HAS SOPS 44116 HAS SOUS 41384 HAS SOUPS 41384 WITH SCORE 41428.116
AT ITER 2451 NEW BEST:: SOT 111298 SOS 43956 HAS SOPS 43956 HAS SOUS 41224 HAS SOUPS 41224 WITH SCORE 41267.956
AT ITER 2482 NEW BEST:: SOT 111298 SOS 43948 HAS SOPS 43948 HAS SOUS 41216 HAS SOUPS 41216 WITH SCORE 41259.948
AT ITER 2484 NEW BEST:: SOT 111303 SOS 43832 HAS SOPS 43832 HAS SOUS 41193 HAS SOUPS 41193 WITH SCORE 41236.832
AT ITER 2499 NEW BEST:: SOT 111303 SOS 43785 HAS SOPS 43785 HAS SOUS 41146 HAS SOUPS 41146 WITH SCORE 41189.785
AT ITER 2505 NEW BEST:: SOT 111304 SOS 43787 HAS SOPS 43787 HAS SOUS 41109 HAS SOUPS 41109 WITH SCORE 41152.787
AT ITER 2508 NEW BEST:: SOT 111304 SOS 43763 HAS SOPS 43763 HAS SOUS 41109 HAS SOUPS 41109 WITH SCORE 41152.763
AT ITER 2513 NEW BEST:: SOT 111304 SOS 43542 HAS SOPS 43542 HAS SOUS 40888 HAS SOUPS 40888 WITH SCORE 40931.542
AT ITER 2516 NEW BEST:: SOT 111298 SOS 43530 HAS SOPS 43530 HAS SOUS 40882 HAS SOUPS 40882 WITH SCORE 40925.53
AT ITER 2517 NEW BEST:: SOT 111283 SOS 43516 HAS SOPS 43516 HAS SOUS 40868 HAS SOUPS 40868 WITH SCORE 40911.516
AT ITER 2521 NEW BEST:: SOT 111184 SOS 43480 HAS SOPS 43480 HAS SOUS 40836 HAS SOUPS 40836 WITH SCORE 40879.48
AT ITER 2537 NEW BEST:: SOT 111184 SOS 43477 HAS SOPS 43477 HAS SOUS 40834 HAS SOUPS 40834 WITH SCORE 40877.477
AT ITER 2543 NEW BEST:: SOT 111063 SOS 43402 HAS SOPS 43402 HAS SOUS 40759 HAS SOUPS 40759 WITH SCORE 40802.402
AT ITER 2555 NEW BEST:: SOT 110929 SOS 43226 HAS SOPS 43226 HAS SOUS 40631 HAS SOUPS 40631 WITH SCORE 40674.226
AT ITER 2572 NEW BEST:: SOT 110900 SOS 43163 HAS SOPS 43163 HAS SOUS 40591 HAS SOUPS 40591 WITH SCORE 40634.163
AT ITER 2586 NEW BEST:: SOT 110898 SOS 43192 HAS SOPS 43192 HAS SOUS 40584 HAS SOUPS 40584 WITH SCORE 40627.192
AT ITER 2598 NEW BEST:: SOT 110902 SOS 43187 HAS SOPS 43187 HAS SOUS 40576 HAS SOUPS 40576 WITH SCORE 40619.187
AT ITER 2608 NEW BEST:: SOT 110902 SOS 43074 HAS SOPS 43074 HAS SOUS 40576 HAS SOUPS 40576 WITH SCORE 40619.074
AT ITER 2614 NEW BEST:: SOT 110887 SOS 43049 HAS SOPS 43049 HAS SOUS 40551 HAS SOUPS 40551 WITH SCORE 40594.049
AT ITER 2627 NEW BEST:: SOT 110887 SOS 43026 HAS SOPS 43026 HAS SOUS 40528 HAS SOUPS 40528 WITH SCORE 40571.026
AT ITER 2652 NEW BEST:: SOT 110850 SOS 43001 HAS SOPS 43001 HAS SOUS 40503 HAS SOUPS 40503 WITH SCORE 40546.001
AT ITER 2682 NEW BEST:: SOT 110827 SOS 42978 HAS SOPS 42978 HAS SOUS 40480 HAS SOUPS 40480 WITH SCORE 40522.978
AT ITER 2699 NEW BEST:: SOT 110807 SOS 42943 HAS SOPS 42943 HAS SOUS 40445 HAS SOUPS 40445 WITH SCORE 40487.943
AT ITER 2700 NEW BEST:: SOT 110714 SOS 42838 HAS SOPS 42838 HAS SOUS 40340 HAS SOUPS 40340 WITH SCORE 40382.838
AT ITER 2701 NEW BEST:: SOT 110714 SOS 42820 HAS SOPS 42820 HAS SOUS 40335 HAS SOUPS 40335 WITH SCORE 40377.82
AT ITER 2719 NEW BEST:: SOT 110704 SOS 42750 HAS SOPS 42750 HAS SOUS 40265 HAS SOUPS 40265 WITH SCORE 40307.75
AT ITER 2722 NEW BEST:: SOT 110694 SOS 42740 HAS SOPS 42740 HAS SOUS 40255 HAS SOUPS 40255 WITH SCORE 40297.74
AT ITER 2767 NEW BEST:: SOT 110630 SOS 42714 HAS SOPS 42714 HAS SOUS 40206 HAS SOUPS 40206 WITH SCORE 40248.714
AT ITER 2768 NEW BEST:: SOT 110606 SOS 42627 HAS SOPS 42627 HAS SOUS 40132 HAS SOUPS 40132 WITH SCORE 40174.627
AT ITER 2775 NEW BEST:: SOT 110581 SOS 42602 HAS SOPS 42602 HAS SOUS 40107 HAS SOUPS 40107 WITH SCORE 40149.602
AT ITER 2779 NEW BEST:: SOT 110507 SOS 42504 HAS SOPS 42504 HAS SOUS 40009 HAS SOUPS 40009 WITH SCORE 40051.504
AT ITER 2795 NEW BEST:: SOT 110502 SOS 42499 HAS SOPS 42499 HAS SOUS 40000 HAS SOUPS 40000 WITH SCORE 40042.499
AT ITER 2799 NEW BEST:: SOT 110406 SOS 42452 HAS SOPS 42452 HAS SOUS 39876 HAS SOUPS 39876 WITH SCORE 39918.452
AT ITER 2808 NEW BEST:: SOT 110420 SOS 42387 HAS SOPS 42387 HAS SOUS 39854 HAS SOUPS 39854 WITH SCORE 39896.387
AT ITER 2836 NEW BEST:: SOT 110418 SOS 42379 HAS SOPS 42379 HAS SOUS 39846 HAS SOUPS 39846 WITH SCORE 39888.379
AT ITER 2837 NEW BEST:: SOT 110415 SOS 42376 HAS SOPS 42376 HAS SOUS 39846 HAS SOUPS 39846 WITH SCORE 39888.376
AT ITER 2854 NEW BEST:: SOT 110423 SOS 42373 HAS SOPS 42373 HAS SOUS 39843 HAS SOUPS 39843 WITH SCORE 39885.373
AT ITER 2860 NEW BEST:: SOT 110417 SOS 42322 HAS SOPS 42322 HAS SOUS 39792 HAS SOUPS 39792 WITH SCORE 39834.322
AT ITER 2887 NEW BEST:: SOT 110417 SOS 42316 HAS SOPS 42316 HAS SOUS 39780 HAS SOUPS 39780 WITH SCORE 39822.316
AT ITER 2907 NEW BEST:: SOT 110388 SOS 42252 HAS SOPS 42252 HAS SOUS 39716 HAS SOUPS 39716 WITH SCORE 39758.252
AT ITER 2909 NEW BEST:: SOT 110388 SOS 42240 HAS SOPS 42240 HAS SOUS 39699 HAS SOUPS 39699 WITH SCORE 39741.24
AT ITER 2915 NEW BEST:: SOT 110355 SOS 42129 HAS SOPS 42129 HAS SOUS 39588 HAS SOUPS 39588 WITH SCORE 39630.129
AT ITER 2919 NEW BEST:: SOT 110327 SOS 41975 HAS SOPS 41975 HAS SOUS 39516 HAS SOUPS 39516 WITH SCORE 39557.975
AT ITER 2928 NEW BEST:: SOT 110411 SOS 41940 HAS SOPS 41940 HAS SOUS 39481 HAS SOUPS 39481 WITH SCORE 39522.94
AT ITER 2984 NEW BEST:: SOT 110404 SOS 41933 HAS SOPS 41933 HAS SOUS 39474 HAS SOUPS 39474 WITH SCORE 39515.933
AT ITER 2985 NEW BEST:: SOT 110399 SOS 41998 HAS SOPS 41998 HAS SOUS 39465 HAS SOUPS 39465 WITH SCORE 39506.998
AT ITER 3008 NEW BEST:: SOT 110399 SOS 41978 HAS SOPS 41978 HAS SOUS 39445 HAS SOUPS 39445 WITH SCORE 39486.978
AT ITER 3038 NEW BEST:: SOT 110399 SOS 41972 HAS SOPS 41972 HAS SOUS 39439 HAS SOUPS 39439 WITH SCORE 39480.972
AT ITER 3039 NEW BEST:: SOT 110399 SOS 41993 HAS SOPS 41993 HAS SOUS 39392 HAS SOUPS 39392 WITH SCORE 39433.993
AT ITER 3047 NEW BEST:: SOT 110292 SOS 41805 HAS SOPS 41805 HAS SOUS 39204 HAS SOUPS 39204 WITH SCORE 39245.805
AT ITER 3056 NEW BEST:: SOT 110248 SOS 41721 HAS SOPS 41721 HAS SOUS 39120 HAS SOUPS 39120 WITH SCORE 39161.721
AT ITER 3058 NEW BEST:: SOT 110178 SOS 41550 HAS SOPS 41550 HAS SOUS 38991 HAS SOUPS 38991 WITH SCORE 39032.55
AT ITER 3075 NEW BEST:: SOT 110125 SOS 41404 HAS SOPS 41404 HAS SOUS 38845 HAS SOUPS 38845 WITH SCORE 38886.404
AT ITER 3085 NEW BEST:: SOT 110128 SOS 41397 HAS SOPS 41397 HAS SOUS 38838 HAS SOUPS 38838 WITH SCORE 38879.397
AT ITER 3115 NEW BEST:: SOT 110096 SOS 41417 HAS SOPS 41417 HAS SOUS 38810 HAS SOUPS 38810 WITH SCORE 38851.417
AT ITER 3116 NEW BEST:: SOT 110037 SOS 41301 HAS SOPS 41301 HAS SOUS 38687 HAS SOUPS 38687 WITH SCORE 38728.301
AT ITER 3126 NEW BEST:: SOT 110037 SOS 41262 HAS SOPS 41262 HAS SOUS 38674 HAS SOUPS 38674 WITH SCORE 38715.262
AT ITER 3143 NEW BEST:: SOT 110036 SOS 41260 HAS SOPS 41260 HAS SOUS 38672 HAS SOUPS 38672 WITH SCORE 38713.26
AT ITER 3144 NEW BEST:: SOT 109999 SOS 41145 HAS SOPS 41145 HAS SOUS 38557 HAS SOUPS 38557 WITH SCORE 38598.145
AT ITER 3163 NEW BEST:: SOT 109999 SOS 41107 HAS SOPS 41107 HAS SOUS 38519 HAS SOUPS 38519 WITH SCORE 38560.107
AT ITER 3175 NEW BEST:: SOT 109979 SOS 41107 HAS SOPS 41107 HAS SOUS 38504 HAS SOUPS 38504 WITH SCORE 38545.107
AT ITER 3211 NEW BEST:: SOT 109972 SOS 41107 HAS SOPS 41107 HAS SOUS 38500 HAS SOUPS 38500 WITH SCORE 38541.107
AT ITER 3212 NEW BEST:: SOT 109914 SOS 41207 HAS SOPS 41207 HAS SOUS 38499 HAS SOUPS 38499 WITH SCORE 38540.207
AT ITER 3259 NEW BEST:: SOT 109912 SOS 41203 HAS SOPS 41203 HAS SOUS 38495 HAS SOUPS 38495 WITH SCORE 38536.203
AT ITER 3267 NEW BEST:: SOT 109880 SOS 41160 HAS SOPS 41160 HAS SOUS 38420 HAS SOUPS 38420 WITH SCORE 38461.16
AT ITER 3268 NEW BEST:: SOT 109562 SOS 40623 HAS SOPS 40623 HAS SOUS 37883 HAS SOUPS 37883 WITH SCORE 37923.623
AT ITER 3276 NEW BEST:: SOT 109505 SOS 40556 HAS SOPS 40556 HAS SOUS 37816 HAS SOUPS 37816 WITH SCORE 37856.556
AT ITER 3288 NEW BEST:: SOT 109505 SOS 40554 HAS SOPS 40554 HAS SOUS 37814 HAS SOUPS 37814 WITH SCORE 37854.554
AT ITER 3290 NEW BEST:: SOT 109455 SOS 40554 HAS SOPS 40554 HAS SOUS 37771 HAS SOUPS 37771 WITH SCORE 37811.554
AT ITER 3291 NEW BEST:: SOT 109448 SOS 40515 HAS SOPS 40515 HAS SOUS 37737 HAS SOUPS 37737 WITH SCORE 37777.515
AT ITER 3321 NEW BEST:: SOT 109428 SOS 40462 HAS SOPS 40462 HAS SOUS 37699 HAS SOUPS 37699 WITH SCORE 37739.462
AT ITER 3328 NEW BEST:: SOT 109427 SOS 40461 HAS SOPS 40461 HAS SOUS 37698 HAS SOUPS 37698 WITH SCORE 37738.461
AT ITER 3338 NEW BEST:: SOT 109419 SOS 40449 HAS SOPS 40449 HAS SOUS 37686 HAS SOUPS 37686 WITH SCORE 37726.449
AT ITER 3341 NEW BEST:: SOT 109415 SOS 40477 HAS SOPS 40477 HAS SOUS 37685 HAS SOUPS 37685 WITH SCORE 37725.477
AT ITER 3343 NEW BEST:: SOT 109371 SOS 40433 HAS SOPS 40433 HAS SOUS 37641 HAS SOUPS 37641 WITH SCORE 37681.433
AT ITER 3362 NEW BEST:: SOT 109274 SOS 40283 HAS SOPS 40283 HAS SOUS 37495 HAS SOUPS 37495 WITH SCORE 37535.283
AT ITER 3366 NEW BEST:: SOT 109263 SOS 40032 HAS SOPS 40032 HAS SOUS 37425 HAS SOUPS 37425 WITH SCORE 37465.032
AT ITER 3371 NEW BEST:: SOT 109211 SOS 39980 HAS SOPS 39980 HAS SOUS 37373 HAS SOUPS 37373 WITH SCORE 37412.98
AT ITER 3374 NEW BEST:: SOT 109187 SOS 39908 HAS SOPS 39908 HAS SOUS 37301 HAS SOUPS 37301 WITH SCORE 37340.908
AT ITER 3382 NEW BEST:: SOT 109167 SOS 39863 HAS SOPS 39863 HAS SOUS 37261 HAS SOUPS 37261 WITH SCORE 37300.863
AT ITER 3394 NEW BEST:: SOT 109167 SOS 39802 HAS SOPS 39802 HAS SOUS 37259 HAS SOUPS 37259 WITH SCORE 37298.802
AT ITER 3398 NEW BEST:: SOT 109123 SOS 39736 HAS SOPS 39736 HAS SOUS 37193 HAS SOUPS 37193 WITH SCORE 37232.736
AT ITER 3400 NEW BEST:: SOT 109096 SOS 39711 HAS SOPS 39711 HAS SOUS 37168 HAS SOUPS 37168 WITH SCORE 37207.711
AT ITER 3402 NEW BEST:: SOT 109066 SOS 39651 HAS SOPS 39651 HAS SOUS 37108 HAS SOUPS 37108 WITH SCORE 37147.651
AT ITER 3417 NEW BEST:: SOT 109063 SOS 39622 HAS SOPS 39622 HAS SOUS 37079 HAS SOUPS 37079 WITH SCORE 37118.622
AT ITER 3421 NEW BEST:: SOT 109063 SOS 39602 HAS SOPS 39602 HAS SOUS 37052 HAS SOUPS 37052 WITH SCORE 37091.602
AT ITER 3424 NEW BEST:: SOT 109063 SOS 39602 HAS SOPS 39602 HAS SOUS 36968 HAS SOUPS 36968 WITH SCORE 37007.602
AT ITER 3426 NEW BEST:: SOT 109052 SOS 39568 HAS SOPS 39568 HAS SOUS 36934 HAS SOUPS 36934 WITH SCORE 36973.568
AT ITER 3435 NEW BEST:: SOT 109052 SOS 39567 HAS SOPS 39567 HAS SOUS 36934 HAS SOUPS 36934 WITH SCORE 36973.567
AT ITER 3441 NEW BEST:: SOT 108965 SOS 39534 HAS SOPS 39534 HAS SOUS 36889 HAS SOUPS 36889 WITH SCORE 36928.534
AT ITER 3450 NEW BEST:: SOT 108957 SOS 39494 HAS SOPS 39494 HAS SOUS 36864 HAS SOUPS 36864 WITH SCORE 36903.494
AT ITER 3455 NEW BEST:: SOT 108716 SOS 39211 HAS SOPS 39211 HAS SOUS 36573 HAS SOUPS 36573 WITH SCORE 36612.211
AT ITER 3458 NEW BEST:: SOT 108684 SOS 39147 HAS SOPS 39147 HAS SOUS 36525 HAS SOUPS 36525 WITH SCORE 36564.147
AT ITER 3468 NEW BEST:: SOT 108561 SOS 38786 HAS SOPS 38786 HAS SOUS 36164 HAS SOUPS 36164 WITH SCORE 36202.786
AT ITER 3492 NEW BEST:: SOT 108532 SOS 38716 HAS SOPS 38716 HAS SOUS 36119 HAS SOUPS 36119 WITH SCORE 36157.716
AT ITER 3510 NEW BEST:: SOT 108532 SOS 38709 HAS SOPS 38709 HAS SOUS 36119 HAS SOUPS 36119 WITH SCORE 36157.709
AT ITER 3525 NEW BEST:: SOT 108512 SOS 38669 HAS SOPS 38669 HAS SOUS 36079 HAS SOUPS 36079 WITH SCORE 36117.669
AT ITER 3528 NEW BEST:: SOT 108510 SOS 38661 HAS SOPS 38661 HAS SOUS 36073 HAS SOUPS 36073 WITH SCORE 36111.661
AT ITER 3540 NEW BEST:: SOT 108501 SOS 38652 HAS SOPS 38652 HAS SOUS 36064 HAS SOUPS 36064 WITH SCORE 36102.652
AT ITER 3554 NEW BEST:: SOT 108492 SOS 38628 HAS SOPS 38628 HAS SOUS 36049 HAS SOUPS 36049 WITH SCORE 36087.628
AT ITER 3561 NEW BEST:: SOT 108445 SOS 38534 HAS SOPS 38534 HAS SOUS 35955 HAS SOUPS 35955 WITH SCORE 35993.534
AT ITER 3563 NEW BEST:: SOT 108455 SOS 38530 HAS SOPS 38530 HAS SOUS 35951 HAS SOUPS 35951 WITH SCORE 35989.53
AT ITER 3571 NEW BEST:: SOT 108411 SOS 38462 HAS SOPS 38462 HAS SOUS 35883 HAS SOUPS 35883 WITH SCORE 35921.462
AT ITER 3589 NEW BEST:: SOT 108400 SOS 38443 HAS SOPS 38443 HAS SOUS 35866 HAS SOUPS 35866 WITH SCORE 35904.443
AT ITER 3602 NEW BEST:: SOT 108387 SOS 38430 HAS SOPS 38430 HAS SOUS 35853 HAS SOUPS 35853 WITH SCORE 35891.43
AT ITER 3604 NEW BEST:: SOT 108387 SOS 38436 HAS SOPS 38436 HAS SOUS 35822 HAS SOUPS 35822 WITH SCORE 35860.436
AT ITER 3607 NEW BEST:: SOT 108335 SOS 38385 HAS SOPS 38385 HAS SOUS 35772 HAS SOUPS 35772 WITH SCORE 35810.385
AT ITER 3633 NEW BEST:: SOT 108327 SOS 38377 HAS SOPS 38377 HAS SOUS 35764 HAS SOUPS 35764 WITH SCORE 35802.377
AT ITER 3661 NEW BEST:: SOT 108295 SOS 38341 HAS SOPS 38341 HAS SOUS 35712 HAS SOUPS 35712 WITH SCORE 35750.341
AT ITER 3682 NEW BEST:: SOT 108277 SOS 38339 HAS SOPS 38339 HAS SOUS 35706 HAS SOUPS 35706 WITH SCORE 35744.339
AT ITER 3689 NEW BEST:: SOT 108243 SOS 38373 HAS SOPS 38373 HAS SOUS 35646 HAS SOUPS 35646 WITH SCORE 35684.373
AT ITER 3707 NEW BEST:: SOT 108235 SOS 38357 HAS SOPS 38357 HAS SOUS 35630 HAS SOUPS 35630 WITH SCORE 35668.357
AT ITER 3709 NEW BEST:: SOT 108233 SOS 38353 HAS SOPS 38353 HAS SOUS 35626 HAS SOUPS 35626 WITH SCORE 35664.353
AT ITER 3719 NEW BEST:: SOT 108181 SOS 38301 HAS SOPS 38301 HAS SOUS 35574 HAS SOUPS 35574 WITH SCORE 35612.301
AT ITER 3723 NEW BEST:: SOT 108181 SOS 38297 HAS SOPS 38297 HAS SOUS 35570 HAS SOUPS 35570 WITH SCORE 35608.297
AT ITER 3724 NEW BEST:: SOT 108142 SOS 38289 HAS SOPS 38289 HAS SOUS 35550 HAS SOUPS 35550 WITH SCORE 35588.289
AT ITER 3737 NEW BEST:: SOT 108142 SOS 38289 HAS SOPS 38289 HAS SOUS 35548 HAS SOUPS 35548 WITH SCORE 35586.289
AT ITER 3740 NEW BEST:: SOT 108142 SOS 38245 HAS SOPS 38245 HAS SOUS 35532 HAS SOUPS 35532 WITH SCORE 35570.245
AT ITER 3744 NEW BEST:: SOT 108127 SOS 38071 HAS SOPS 38071 HAS SOUS 35468 HAS SOUPS 35468 WITH SCORE 35506.071
AT ITER 3756 NEW BEST:: SOT 108061 SOS 37942 HAS SOPS 37942 HAS SOUS 35339 HAS SOUPS 35339 WITH SCORE 35376.942
AT ITER 3766 NEW BEST:: SOT 108061 SOS 37904 HAS SOPS 37904 HAS SOUS 35339 HAS SOUPS 35339 WITH SCORE 35376.904
AT ITER 3778 NEW BEST:: SOT 108061 SOS 37884 HAS SOPS 37884 HAS SOUS 35336 HAS SOUPS 35336 WITH SCORE 35373.884
AT ITER 3808 NEW BEST:: SOT 108043 SOS 37864 HAS SOPS 37864 HAS SOUS 35315 HAS SOUPS 35315 WITH SCORE 35352.864
AT ITER 3849 NEW BEST:: SOT 108010 SOS 37909 HAS SOPS 37909 HAS SOUS 35305 HAS SOUPS 35305 WITH SCORE 35342.909
AT ITER 3872 NEW BEST:: SOT 107982 SOS 37881 HAS SOPS 37881 HAS SOUS 35244 HAS SOUPS 35244 WITH SCORE 35281.881
AT ITER 3881 NEW BEST:: SOT 108006 SOS 37842 HAS SOPS 37842 HAS SOUS 35241 HAS SOUPS 35241 WITH SCORE 35278.842
AT ITER 3895 NEW BEST:: SOT 108006 SOS 37842 HAS SOPS 37842 HAS SOUS 35232 HAS SOUPS 35232 WITH SCORE 35269.842
AT ITER 3904 NEW BEST:: SOT 108005 SOS 37831 HAS SOPS 37831 HAS SOUS 35221 HAS SOUPS 35221 WITH SCORE 35258.831
AT ITER 3913 NEW BEST:: SOT 108009 SOS 37830 HAS SOPS 37830 HAS SOUS 35220 HAS SOUPS 35220 WITH SCORE 35257.83
AT ITER 3928 NEW BEST:: SOT 108007 SOS 37818 HAS SOPS 37818 HAS SOUS 35204 HAS SOUPS 35204 WITH SCORE 35241.818
AT ITER 3946 NEW BEST:: SOT 107963 SOS 37779 HAS SOPS 37779 HAS SOUS 35165 HAS SOUPS 35165 WITH SCORE 35202.779
AT ITER 3948 NEW BEST:: SOT 107937 SOS 37738 HAS SOPS 37738 HAS SOUS 35108 HAS SOUPS 35108 WITH SCORE 35145.738
AT ITER 3952 NEW BEST:: SOT 107911 SOS 37712 HAS SOPS 37712 HAS SOUS 35082 HAS SOUPS 35082 WITH SCORE 35119.712
AT ITER 3958 NEW BEST:: SOT 107901 SOS 37662 HAS SOPS 37662 HAS SOUS 35053 HAS SOUPS 35053 WITH SCORE 35090.662
AT ITER 3972 NEW BEST:: SOT 107930 SOS 37642 HAS SOPS 37642 HAS SOUS 35033 HAS SOUPS 35033 WITH SCORE 35070.642
AT ITER 3981 NEW BEST:: SOT 108029 SOS 37337 HAS SOPS 37337 HAS SOUS 35008 HAS SOUPS 35008 WITH SCORE 35045.337
AT ITER 3985 NEW BEST:: SOT 108011 SOS 37322 HAS SOPS 37322 HAS SOUS 34993 HAS SOUPS 34993 WITH SCORE 35030.322
AT ITER 3987 NEW BEST:: SOT 108031 SOS 37365 HAS SOPS 37365 HAS SOUS 34986 HAS SOUPS 34986 WITH SCORE 35023.365
AT ITER 3999 NEW BEST:: SOT 108035 SOS 37337 HAS SOPS 37337 HAS SOUS 34970 HAS SOUPS 34970 WITH SCORE 35007.337
AT ITER 4009 NEW BEST:: SOT 107961 SOS 37271 HAS SOPS 37271 HAS SOUS 34904 HAS SOUPS 34904 WITH SCORE 34941.271
AT ITER 4010 NEW BEST:: SOT 107926 SOS 37236 HAS SOPS 37236 HAS SOUS 34869 HAS SOUPS 34869 WITH SCORE 34906.236
AT ITER 4047 NEW BEST:: SOT 107920 SOS 37230 HAS SOPS 37230 HAS SOUS 34863 HAS SOUPS 34863 WITH SCORE 34900.23
AT ITER 4077 NEW BEST:: SOT 107918 SOS 37228 HAS SOPS 37228 HAS SOUS 34863 HAS SOUPS 34863 WITH SCORE 34900.228
AT ITER 4090 NEW BEST:: SOT 107907 SOS 37221 HAS SOPS 37221 HAS SOUS 34856 HAS SOUPS 34856 WITH SCORE 34893.221
AT ITER 4096 NEW BEST:: SOT 107907 SOS 37166 HAS SOPS 37166 HAS SOUS 34801 HAS SOUPS 34801 WITH SCORE 34838.166
AT ITER 4140 NEW BEST:: SOT 107791 SOS 36989 HAS SOPS 36989 HAS SOUS 34611 HAS SOUPS 34611 WITH SCORE 34647.989
AT ITER 4144 NEW BEST:: SOT 107776 SOS 36989 HAS SOPS 36989 HAS SOUS 34609 HAS SOUPS 34609 WITH SCORE 34645.989
AT ITER 4167 NEW BEST:: SOT 107776 SOS 36938 HAS SOPS 36938 HAS SOUS 34575 HAS SOUPS 34575 WITH SCORE 34611.938
AT ITER 4168 NEW BEST:: SOT 107776 SOS 36912 HAS SOPS 36912 HAS SOUS 34549 HAS SOUPS 34549 WITH SCORE 34585.912
AT ITER 4182 NEW BEST:: SOT 107776 SOS 36901 HAS SOPS 36901 HAS SOUS 34542 HAS SOUPS 34542 WITH SCORE 34578.901
AT ITER 4194 NEW BEST:: SOT 107749 SOS 36858 HAS SOPS 36858 HAS SOUS 34499 HAS SOUPS 34499 WITH SCORE 34535.858
AT ITER 4201 NEW BEST:: SOT 107706 SOS 36729 HAS SOPS 36729 HAS SOUS 34413 HAS SOUPS 34413 WITH SCORE 34449.729
AT ITER 4218 NEW BEST:: SOT 107693 SOS 36542 HAS SOPS 36542 HAS SOUS 34294 HAS SOUPS 34294 WITH SCORE 34330.542
AT ITER 4228 NEW BEST:: SOT 107693 SOS 36526 HAS SOPS 36526 HAS SOUS 34278 HAS SOUPS 34278 WITH SCORE 34314.526
AT ITER 4238 NEW BEST:: SOT 107692 SOS 36525 HAS SOPS 36525 HAS SOUS 34277 HAS SOUPS 34277 WITH SCORE 34313.525
AT ITER 4248 NEW BEST:: SOT 107624 SOS 36438 HAS SOPS 36438 HAS SOUS 34257 HAS SOUPS 34257 WITH SCORE 34293.438
AT ITER 4253 NEW BEST:: SOT 107624 SOS 36503 HAS SOPS 36503 HAS SOUS 34230 HAS SOUPS 34230 WITH SCORE 34266.503
AT ITER 4279 NEW BEST:: SOT 107627 SOS 36506 HAS SOPS 36506 HAS SOUS 34229 HAS SOUPS 34229 WITH SCORE 34265.506
AT ITER 4287 NEW BEST:: SOT 107644 SOS 36458 HAS SOPS 36458 HAS SOUS 34181 HAS SOUPS 34181 WITH SCORE 34217.458
AT ITER 4296 NEW BEST:: SOT 107530 SOS 36399 HAS SOPS 36399 HAS SOUS 34100 HAS SOUPS 34100 WITH SCORE 34136.399
AT ITER 4329 NEW BEST:: SOT 107528 SOS 36393 HAS SOPS 36393 HAS SOUS 34094 HAS SOUPS 34094 WITH SCORE 34130.393
AT ITER 4330 NEW BEST:: SOT 107532 SOS 36385 HAS SOPS 36385 HAS SOUS 34088 HAS SOUPS 34088 WITH SCORE 34124.385
AT ITER 4336 NEW BEST:: SOT 107479 SOS 36323 HAS SOPS 36323 HAS SOUS 34026 HAS SOUPS 34026 WITH SCORE 34062.323
AT ITER 4356 NEW BEST:: SOT 107468 SOS 36303 HAS SOPS 36303 HAS SOUS 33975 HAS SOUPS 33975 WITH SCORE 34011.303
AT ITER 4367 NEW BEST:: SOT 107459 SOS 36285 HAS SOPS 36285 HAS SOUS 33957 HAS SOUPS 33957 WITH SCORE 33993.285
AT ITER 4378 NEW BEST:: SOT 107443 SOS 36261 HAS SOPS 36261 HAS SOUS 33941 HAS SOUPS 33941 WITH SCORE 33977.261
AT ITER 4387 NEW BEST:: SOT 107443 SOS 36237 HAS SOPS 36237 HAS SOUS 33917 HAS SOUPS 33917 WITH SCORE 33953.237
AT ITER 4416 NEW BEST:: SOT 107433 SOS 36223 HAS SOPS 36223 HAS SOUS 33903 HAS SOUPS 33903 WITH SCORE 33939.223
AT ITER 4418 NEW BEST:: SOT 107433 SOS 36158 HAS SOPS 36158 HAS SOUS 33894 HAS SOUPS 33894 WITH SCORE 33930.158
AT ITER 4431 NEW BEST:: SOT 107392 SOS 36090 HAS SOPS 36090 HAS SOUS 33818 HAS SOUPS 33818 WITH SCORE 33854.09
AT ITER 4465 NEW BEST:: SOT 107392 SOS 36075 HAS SOPS 36075 HAS SOUS 33807 HAS SOUPS 33807 WITH SCORE 33843.075
AT ITER 4478 NEW BEST:: SOT 107403 SOS 36038 HAS SOPS 36038 HAS SOUS 33730 HAS SOUPS 33730 WITH SCORE 33766.038
AT ITER 4483 NEW BEST:: SOT 107403 SOS 36032 HAS SOPS 36032 HAS SOUS 33724 HAS SOUPS 33724 WITH SCORE 33760.032
AT ITER 4487 NEW BEST:: SOT 107396 SOS 36022 HAS SOPS 36022 HAS SOUS 33707 HAS SOUPS 33707 WITH SCORE 33743.022
AT ITER 4506 NEW BEST:: SOT 107387 SOS 36005 HAS SOPS 36005 HAS SOUS 33677 HAS SOUPS 33677 WITH SCORE 33713.005
AT ITER 4519 NEW BEST:: SOT 107357 SOS 35967 HAS SOPS 35967 HAS SOUS 33639 HAS SOUPS 33639 WITH SCORE 33674.967
AT ITER 4521 NEW BEST:: SOT 107356 SOS 35965 HAS SOPS 35965 HAS SOUS 33638 HAS SOUPS 33638 WITH SCORE 33673.965
AT ITER 4527 NEW BEST:: SOT 107356 SOS 35904 HAS SOPS 35904 HAS SOUS 33601 HAS SOUPS 33601 WITH SCORE 33636.904
AT ITER 4550 NEW BEST:: SOT 107312 SOS 35866 HAS SOPS 35866 HAS SOUS 33549 HAS SOUPS 33549 WITH SCORE 33584.866
AT ITER 4551 NEW BEST:: SOT 107296 SOS 35849 HAS SOPS 35849 HAS SOUS 33532 HAS SOUPS 33532 WITH SCORE 33567.849
AT ITER 4569 NEW BEST:: SOT 107284 SOS 35831 HAS SOPS 35831 HAS SOUS 33514 HAS SOUPS 33514 WITH SCORE 33549.831
AT ITER 4573 NEW BEST:: SOT 107283 SOS 35829 HAS SOPS 35829 HAS SOUS 33512 HAS SOUPS 33512 WITH SCORE 33547.829
AT ITER 4599 NEW BEST:: SOT 107251 SOS 35822 HAS SOPS 35822 HAS SOUS 33505 HAS SOUPS 33505 WITH SCORE 33540.822
AT ITER 4603 NEW BEST:: SOT 107192 SOS 35779 HAS SOPS 35779 HAS SOUS 33462 HAS SOUPS 33462 WITH SCORE 33497.779
AT ITER 4735 NEW BEST:: SOT 107187 SOS 35769 HAS SOPS 35769 HAS SOUS 33452 HAS SOUPS 33452 WITH SCORE 33487.769
AT ITER 4755 NEW BEST:: SOT 107186 SOS 35766 HAS SOPS 35766 HAS SOUS 33449 HAS SOUPS 33449 WITH SCORE 33484.766
AT ITER 4757 NEW BEST:: SOT 107183 SOS 35704 HAS SOPS 35704 HAS SOUS 33387 HAS SOUPS 33387 WITH SCORE 33422.704
AT ITER 4765 NEW BEST:: SOT 107165 SOS 35629 HAS SOPS 35629 HAS SOUS 33335 HAS SOUPS 33335 WITH SCORE 33370.629
AT ITER 4787 NEW BEST:: SOT 107183 SOS 35621 HAS SOPS 35621 HAS SOUS 33327 HAS SOUPS 33327 WITH SCORE 33362.621
AT ITER 4813 NEW BEST:: SOT 107178 SOS 35609 HAS SOPS 35609 HAS SOUS 33319 HAS SOUPS 33319 WITH SCORE 33354.609
AT ITER 4828 NEW BEST:: SOT 107167 SOS 35605 HAS SOPS 35605 HAS SOUS 33271 HAS SOUPS 33271 WITH SCORE 33306.605
AT ITER 4842 NEW BEST:: SOT 107154 SOS 35592 HAS SOPS 35592 HAS SOUS 33258 HAS SOUPS 33258 WITH SCORE 33293.592
AT ITER 4848 NEW BEST:: SOT 107102 SOS 35512 HAS SOPS 35512 HAS SOUS 33178 HAS SOUPS 33178 WITH SCORE 33213.512
AT ITER 4863 NEW BEST:: SOT 107105 SOS 35531 HAS SOPS 35531 HAS SOUS 33170 HAS SOUPS 33170 WITH SCORE 33205.531
AT ITER 4895 NEW BEST:: SOT 107127 SOS 35553 HAS SOPS 35553 HAS SOUS 33167 HAS SOUPS 33167 WITH SCORE 33202.553
AT ITER 4931 NEW BEST:: SOT 106932 SOS 35414 HAS SOPS 35414 HAS SOUS 33021 HAS SOUPS 33021 WITH SCORE 33056.414
AT ITER 4937 NEW BEST:: SOT 106930 SOS 35419 HAS SOPS 35419 HAS SOUS 33016 HAS SOUPS 33016 WITH SCORE 33051.419
AT ITER 4941 NEW BEST:: SOT 106930 SOS 35409 HAS SOPS 35409 HAS SOUS 33006 HAS SOUPS 33006 WITH SCORE 33041.409
AT ITER 4945 NEW BEST:: SOT 106916 SOS 35395 HAS SOPS 35395 HAS SOUS 32992 HAS SOUPS 32992 WITH SCORE 33027.395
AT ITER 4967 NEW BEST:: SOT 106905 SOS 35376 HAS SOPS 35376 HAS SOUS 32973 HAS SOUPS 32973 WITH SCORE 33008.376
AT ITER 4979 NEW BEST:: SOT 106887 SOS 35375 HAS SOPS 35375 HAS SOUS 32972 HAS SOUPS 32972 WITH SCORE 33007.375
AT ITER 4980 NEW BEST:: SOT 106893 SOS 35355 HAS SOPS 35355 HAS SOUS 32952 HAS SOUPS 32952 WITH SCORE 32987.355
AT ITER 4998 NEW BEST:: SOT 106912 SOS 35273 HAS SOPS 35273 HAS SOUS 32923 HAS SOUPS 32923 WITH SCORE 32958.273
AT ITER 5008 NEW BEST:: SOT 106817 SOS 35299 HAS SOPS 35299 HAS SOUS 32866 HAS SOUPS 32866 WITH SCORE 32901.299
AT ITER 5057 NEW BEST:: SOT 106798 SOS 35252 HAS SOPS 35252 HAS SOUS 32819 HAS SOUPS 32819 WITH SCORE 32854.252
AT ITER 5063 NEW BEST:: SOT 106805 SOS 35232 HAS SOPS 35232 HAS SOUS 32797 HAS SOUPS 32797 WITH SCORE 32832.232
AT ITER 5090 NEW BEST:: SOT 106798 SOS 35225 HAS SOPS 35225 HAS SOUS 32790 HAS SOUPS 32790 WITH SCORE 32825.225
AT ITER 5115 NEW BEST:: SOT 106789 SOS 35195 HAS SOPS 35195 HAS SOUS 32760 HAS SOUPS 32760 WITH SCORE 32795.195
AT ITER 5122 NEW BEST:: SOT 106790 SOS 35196 HAS SOPS 35196 HAS SOUS 32759 HAS SOUPS 32759 WITH SCORE 32794.196
AT ITER 5147 NEW BEST:: SOT 106775 SOS 35181 HAS SOPS 35181 HAS SOUS 32744 HAS SOUPS 32744 WITH SCORE 32779.181
AT ITER 5156 NEW BEST:: SOT 106756 SOS 35162 HAS SOPS 35162 HAS SOUS 32725 HAS SOUPS 32725 WITH SCORE 32760.162
AT ITER 5157 NEW BEST:: SOT 106708 SOS 35131 HAS SOPS 35131 HAS SOUS 32673 HAS SOUPS 32673 WITH SCORE 32708.131
AT ITER 5182 NEW BEST:: SOT 106692 SOS 35121 HAS SOPS 35121 HAS SOUS 32667 HAS SOUPS 32667 WITH SCORE 32702.121
AT ITER 5188 NEW BEST:: SOT 106717 SOS 35115 HAS SOPS 35115 HAS SOUS 32661 HAS SOUPS 32661 WITH SCORE 32696.115
AT ITER 5191 NEW BEST:: SOT 106680 SOS 35078 HAS SOPS 35078 HAS SOUS 32624 HAS SOUPS 32624 WITH SCORE 32659.078
AT ITER 5226 NEW BEST:: SOT 106680 SOS 35062 HAS SOPS 35062 HAS SOUS 32608 HAS SOUPS 32608 WITH SCORE 32643.062
AT ITER 5241 NEW BEST:: SOT 106630 SOS 34936 HAS SOPS 34936 HAS SOUS 32482 HAS SOUPS 32482 WITH SCORE 32516.936
AT ITER 5257 NEW BEST:: SOT 106606 SOS 34912 HAS SOPS 34912 HAS SOUS 32453 HAS SOUPS 32453 WITH SCORE 32487.912
AT ITER 5281 NEW BEST:: SOT 106592 SOS 34867 HAS SOPS 34867 HAS SOUS 32407 HAS SOUPS 32407 WITH SCORE 32441.867
AT ITER 5296 NEW BEST:: SOT 106577 SOS 34850 HAS SOPS 34850 HAS SOUS 32390 HAS SOUPS 32390 WITH SCORE 32424.85
AT ITER 5298 NEW BEST:: SOT 106561 SOS 34811 HAS SOPS 34811 HAS SOUS 32374 HAS SOUPS 32374 WITH SCORE 32408.811
AT ITER 5306 NEW BEST:: SOT 106561 SOS 34811 HAS SOPS 34811 HAS SOUS 32372 HAS SOUPS 32372 WITH SCORE 32406.811
AT ITER 5348 NEW BEST:: SOT 106541 SOS 34812 HAS SOPS 34812 HAS SOUS 32346 HAS SOUPS 32346 WITH SCORE 32380.812
AT ITER 5350 NEW BEST:: SOT 106523 SOS 34794 HAS SOPS 34794 HAS SOUS 32328 HAS SOUPS 32328 WITH SCORE 32362.794
AT ITER 5398 NEW BEST:: SOT 106493 SOS 34749 HAS SOPS 34749 HAS SOUS 32298 HAS SOUPS 32298 WITH SCORE 32332.749
AT ITER 5417 NEW BEST:: SOT 106441 SOS 34608 HAS SOPS 34608 HAS SOUS 32229 HAS SOUPS 32229 WITH SCORE 32263.608
AT ITER 5430 NEW BEST:: SOT 106441 SOS 34593 HAS SOPS 34593 HAS SOUS 32214 HAS SOUPS 32214 WITH SCORE 32248.593
AT ITER 5442 NEW BEST:: SOT 106440 SOS 34592 HAS SOPS 34592 HAS SOUS 32213 HAS SOUPS 32213 WITH SCORE 32247.592
AT ITER 5446 NEW BEST:: SOT 106440 SOS 34592 HAS SOPS 34592 HAS SOUS 32195 HAS SOUPS 32195 WITH SCORE 32229.592
AT ITER 5454 NEW BEST:: SOT 106413 SOS 34587 HAS SOPS 34587 HAS SOUS 32190 HAS SOUPS 32190 WITH SCORE 32224.587
AT ITER 5457 NEW BEST:: SOT 106438 SOS 34588 HAS SOPS 34588 HAS SOUS 32168 HAS SOUPS 32168 WITH SCORE 32202.588
AT ITER 5462 NEW BEST:: SOT 106433 SOS 34583 HAS SOPS 34583 HAS SOUS 32163 HAS SOUPS 32163 WITH SCORE 32197.583
AT ITER 5494 NEW BEST:: SOT 106437 SOS 34563 HAS SOPS 34563 HAS SOUS 32143 HAS SOUPS 32143 WITH SCORE 32177.563
AT ITER 5531 NEW BEST:: SOT 106437 SOS 34559 HAS SOPS 34559 HAS SOUS 32139 HAS SOUPS 32139 WITH SCORE 32173.559
AT ITER 5543 NEW BEST:: SOT 106422 SOS 34530 HAS SOPS 34530 HAS SOUS 32139 HAS SOUPS 32139 WITH SCORE 32173.53
AT ITER 5549 NEW BEST:: SOT 106422 SOS 34528 HAS SOPS 34528 HAS SOUS 32137 HAS SOUPS 32137 WITH SCORE 32171.528
AT ITER 5552 NEW BEST:: SOT 106415 SOS 34516 HAS SOPS 34516 HAS SOUS 32123 HAS SOUPS 32123 WITH SCORE 32157.516
AT ITER 5567 NEW BEST:: SOT 106357 SOS 34458 HAS SOPS 34458 HAS SOUS 32065 HAS SOUPS 32065 WITH SCORE 32099.458
AT ITER 5573 NEW BEST:: SOT 106352 SOS 34447 HAS SOPS 34447 HAS SOUS 32054 HAS SOUPS 32054 WITH SCORE 32088.447
AT ITER 5576 NEW BEST:: SOT 106348 SOS 34441 HAS SOPS 34441 HAS SOUS 32048 HAS SOUPS 32048 WITH SCORE 32082.441
AT ITER 5588 NEW BEST:: SOT 106332 SOS 34425 HAS SOPS 34425 HAS SOUS 32040 HAS SOUPS 32040 WITH SCORE 32074.425
AT ITER 5636 NEW BEST:: SOT 106260 SOS 34353 HAS SOPS 34353 HAS SOUS 31968 HAS SOUPS 31968 WITH SCORE 32002.353
AT ITER 5638 NEW BEST:: SOT 106259 SOS 34352 HAS SOPS 34352 HAS SOUS 31967 HAS SOUPS 31967 WITH SCORE 32001.352
AT ITER 5662 NEW BEST:: SOT 106265 SOS 34346 HAS SOPS 34346 HAS SOUS 31961 HAS SOUPS 31961 WITH SCORE 31995.346
AT ITER 5687 NEW BEST:: SOT 106250 SOS 34331 HAS SOPS 34331 HAS SOUS 31946 HAS SOUPS 31946 WITH SCORE 31980.331
AT ITER 5689 NEW BEST:: SOT 106250 SOS 34328 HAS SOPS 34328 HAS SOUS 31943 HAS SOUPS 31943 WITH SCORE 31977.328
AT ITER 5706 NEW BEST:: SOT 106263 SOS 34317 HAS SOPS 34317 HAS SOUS 31931 HAS SOUPS 31931 WITH SCORE 31965.317
AT ITER 5728 NEW BEST:: SOT 106247 SOS 34231 HAS SOPS 34231 HAS SOUS 31845 HAS SOUPS 31845 WITH SCORE 31879.231
AT ITER 5735 NEW BEST:: SOT 106239 SOS 34223 HAS SOPS 34223 HAS SOUS 31837 HAS SOUPS 31837 WITH SCORE 31871.223
AT ITER 5785 NEW BEST:: SOT 106174 SOS 34156 HAS SOPS 34156 HAS SOUS 31770 HAS SOUPS 31770 WITH SCORE 31804.156
AT ITER 5800 NEW BEST:: SOT 106173 SOS 34152 HAS SOPS 34152 HAS SOUS 31767 HAS SOUPS 31767 WITH SCORE 31801.152
AT ITER 5805 NEW BEST:: SOT 106157 SOS 34124 HAS SOPS 34124 HAS SOUS 31739 HAS SOUPS 31739 WITH SCORE 31773.124
AT ITER 5814 NEW BEST:: SOT 106122 SOS 34109 HAS SOPS 34109 HAS SOUS 31724 HAS SOUPS 31724 WITH SCORE 31758.109
AT ITER 5822 NEW BEST:: SOT 106120 SOS 34107 HAS SOPS 34107 HAS SOUS 31721 HAS SOUPS 31721 WITH SCORE 31755.107
AT ITER 5862 NEW BEST:: SOT 106099 SOS 34049 HAS SOPS 34049 HAS SOUS 31663 HAS SOUPS 31663 WITH SCORE 31697.049
AT ITER 5893 NEW BEST:: SOT 106083 SOS 34011 HAS SOPS 34011 HAS SOUS 31647 HAS SOUPS 31647 WITH SCORE 31681.011
AT ITER 5896 NEW BEST:: SOT 106033 SOS 33961 HAS SOPS 33961 HAS SOUS 31597 HAS SOUPS 31597 WITH SCORE 31630.961
AT ITER 5959 NEW BEST:: SOT 106026 SOS 33947 HAS SOPS 33947 HAS SOUS 31589 HAS SOUPS 31589 WITH SCORE 31622.947
AT ITER 5962 NEW BEST:: SOT 105988 SOS 33904 HAS SOPS 33904 HAS SOUS 31546 HAS SOUPS 31546 WITH SCORE 31579.904
AT ITER 5984 NEW BEST:: SOT 105966 SOS 33882 HAS SOPS 33882 HAS SOUS 31524 HAS SOUPS 31524 WITH SCORE 31557.882
AT ITER 5990 NEW BEST:: SOT 105958 SOS 33874 HAS SOPS 33874 HAS SOUS 31516 HAS SOUPS 31516 WITH SCORE 31549.874
AT ITER 5996 NEW BEST:: SOT 105933 SOS 33849 HAS SOPS 33849 HAS SOUS 31491 HAS SOUPS 31491 WITH SCORE 31524.849
AT ITER 6022 NEW BEST:: SOT 105928 SOS 33826 HAS SOPS 33826 HAS SOUS 31483 HAS SOUPS 31483 WITH SCORE 31516.826
AT ITER 6029 NEW BEST:: SOT 105886 SOS 33798 HAS SOPS 33798 HAS SOUS 31455 HAS SOUPS 31455 WITH SCORE 31488.798
AT ITER 6053 NEW BEST:: SOT 105856 SOS 33794 HAS SOPS 33794 HAS SOUS 31451 HAS SOUPS 31451 WITH SCORE 31484.794
AT ITER 6070 NEW BEST:: SOT 105836 SOS 33774 HAS SOPS 33774 HAS SOUS 31441 HAS SOUPS 31441 WITH SCORE 31474.774
AT ITER 6109 NEW BEST:: SOT 105814 SOS 33752 HAS SOPS 33752 HAS SOUS 31419 HAS SOUPS 31419 WITH SCORE 31452.752
AT ITER 6115 NEW BEST:: SOT 105855 SOS 33793 HAS SOPS 33793 HAS SOUS 31399 HAS SOUPS 31399 WITH SCORE 31432.793
AT ITER 6148 NEW BEST:: SOT 105839 SOS 33698 HAS SOPS 33698 HAS SOUS 31331 HAS SOUPS 31331 WITH SCORE 31364.698
AT ITER 6152 NEW BEST:: SOT 105814 SOS 33673 HAS SOPS 33673 HAS SOUS 31306 HAS SOUPS 31306 WITH SCORE 31339.673
AT ITER 6156 NEW BEST:: SOT 105766 SOS 33608 HAS SOPS 33608 HAS SOUS 31241 HAS SOUPS 31241 WITH SCORE 31274.608
AT ITER 6172 NEW BEST:: SOT 105711 SOS 33553 HAS SOPS 33553 HAS SOUS 31066 HAS SOUPS 31066 WITH SCORE 31099.553
AT ITER 6176 NEW BEST:: SOT 105692 SOS 33507 HAS SOPS 33507 HAS SOUS 31024 HAS SOUPS 31024 WITH SCORE 31057.507
AT ITER 6203 NEW BEST:: SOT 105685 SOS 33482 HAS SOPS 33482 HAS SOUS 31008 HAS SOUPS 31008 WITH SCORE 31041.482
AT ITER 6227 NEW BEST:: SOT 105680 SOS 33302 HAS SOPS 33302 HAS SOUS 30936 HAS SOUPS 30936 WITH SCORE 30969.302
AT ITER 6234 NEW BEST:: SOT 105680 SOS 33273 HAS SOPS 33273 HAS SOUS 30907 HAS SOUPS 30907 WITH SCORE 30940.273
AT ITER 6243 NEW BEST:: SOT 105698 SOS 33271 HAS SOPS 33271 HAS SOUS 30905 HAS SOUPS 30905 WITH SCORE 30938.271
AT ITER 6250 NEW BEST:: SOT 105671 SOS 33237 HAS SOPS 33237 HAS SOUS 30879 HAS SOUPS 30879 WITH SCORE 30912.237
AT ITER 6257 NEW BEST:: SOT 105671 SOS 33211 HAS SOPS 33211 HAS SOUS 30879 HAS SOUPS 30879 WITH SCORE 30912.211
AT ITER 6264 NEW BEST:: SOT 105659 SOS 33193 HAS SOPS 33193 HAS SOUS 30861 HAS SOUPS 30861 WITH SCORE 30894.193
AT ITER 6268 NEW BEST:: SOT 105662 SOS 33188 HAS SOPS 33188 HAS SOUS 30849 HAS SOUPS 30849 WITH SCORE 30882.188
AT ITER 6307 NEW BEST:: SOT 105656 SOS 33182 HAS SOPS 33182 HAS SOUS 30843 HAS SOUPS 30843 WITH SCORE 30876.182
AT ITER 6313 NEW BEST:: SOT 105642 SOS 33180 HAS SOPS 33180 HAS SOUS 30841 HAS SOUPS 30841 WITH SCORE 30874.18
AT ITER 6342 NEW BEST:: SOT 105636 SOS 33174 HAS SOPS 33174 HAS SOUS 30835 HAS SOUPS 30835 WITH SCORE 30868.174
AT ITER 6398 NEW BEST:: SOT 105627 SOS 33165 HAS SOPS 33165 HAS SOUS 30826 HAS SOUPS 30826 WITH SCORE 30859.165
AT ITER 6421 NEW BEST:: SOT 105620 SOS 33149 HAS SOPS 33149 HAS SOUS 30821 HAS SOUPS 30821 WITH SCORE 30854.149
AT ITER 6438 NEW BEST:: SOT 105620 SOS 33131 HAS SOPS 33131 HAS SOUS 30803 HAS SOUPS 30803 WITH SCORE 30836.131
AT ITER 6486 NEW BEST:: SOT 105615 SOS 33133 HAS SOPS 33133 HAS SOUS 30793 HAS SOUPS 30793 WITH SCORE 30826.133
AT ITER 6498 NEW BEST:: SOT 105583 SOS 33109 HAS SOPS 33109 HAS SOUS 30761 HAS SOUPS 30761 WITH SCORE 30794.109
AT ITER 6500 NEW BEST:: SOT 105580 SOS 33106 HAS SOPS 33106 HAS SOUS 30758 HAS SOUPS 30758 WITH SCORE 30791.106
AT ITER 6541 NEW BEST:: SOT 105529 SOS 33106 HAS SOPS 33106 HAS SOUS 30737 HAS SOUPS 30737 WITH SCORE 30770.106
AT ITER 6552 NEW BEST:: SOT 105528 SOS 33111 HAS SOPS 33111 HAS SOUS 30736 HAS SOUPS 30736 WITH SCORE 30769.111
AT ITER 6555 NEW BEST:: SOT 105511 SOS 33050 HAS SOPS 33050 HAS SOUS 30692 HAS SOUPS 30692 WITH SCORE 30725.05
AT ITER 6559 NEW BEST:: SOT 105496 SOS 33017 HAS SOPS 33017 HAS SOUS 30635 HAS SOUPS 30635 WITH SCORE 30668.017
AT ITER 6581 NEW BEST:: SOT 105496 SOS 32991 HAS SOPS 32991 HAS SOUS 30625 HAS SOUPS 30625 WITH SCORE 30657.991
AT ITER 6601 NEW BEST:: SOT 105488 SOS 32983 HAS SOPS 32983 HAS SOUS 30625 HAS SOUPS 30625 WITH SCORE 30657.983
AT ITER 6646 NEW BEST:: SOT 105481 SOS 32934 HAS SOPS 32934 HAS SOUS 30600 HAS SOUPS 30600 WITH SCORE 30632.934
AT ITER 6655 NEW BEST:: SOT 105484 SOS 32931 HAS SOPS 32931 HAS SOUS 30594 HAS SOUPS 30594 WITH SCORE 30626.931
AT ITER 6731 NEW BEST:: SOT 105469 SOS 32916 HAS SOPS 32916 HAS SOUS 30579 HAS SOUPS 30579 WITH SCORE 30611.916
AT ITER 6742 NEW BEST:: SOT 105445 SOS 32884 HAS SOPS 32884 HAS SOUS 30547 HAS SOUPS 30547 WITH SCORE 30579.884
AT ITER 6757 NEW BEST:: SOT 105445 SOS 32863 HAS SOPS 32863 HAS SOUS 30540 HAS SOUPS 30540 WITH SCORE 30572.863
AT ITER 6784 NEW BEST:: SOT 105438 SOS 32813 HAS SOPS 32813 HAS SOUS 30514 HAS SOUPS 30514 WITH SCORE 30546.813
AT ITER 6789 NEW BEST:: SOT 105440 SOS 32815 HAS SOPS 32815 HAS SOUS 30512 HAS SOUPS 30512 WITH SCORE 30544.815
AT ITER 6802 NEW BEST:: SOT 105440 SOS 32770 HAS SOPS 32770 HAS SOUS 30463 HAS SOUPS 30463 WITH SCORE 30495.77
AT ITER 6849 NEW BEST:: SOT 105422 SOS 32737 HAS SOPS 32737 HAS SOUS 30430 HAS SOUPS 30430 WITH SCORE 30462.737
AT ITER 6855 NEW BEST:: SOT 105422 SOS 32696 HAS SOPS 32696 HAS SOUS 30389 HAS SOUPS 30389 WITH SCORE 30421.696
AT ITER 6857 NEW BEST:: SOT 105420 SOS 32694 HAS SOPS 32694 HAS SOUS 30386 HAS SOUPS 30386 WITH SCORE 30418.694
AT ITER 6871 NEW BEST:: SOT 105438 SOS 32730 HAS SOPS 32730 HAS SOUS 30377 HAS SOUPS 30377 WITH SCORE 30409.73
AT ITER 6882 NEW BEST:: SOT 105419 SOS 32711 HAS SOPS 32711 HAS SOUS 30358 HAS SOUPS 30358 WITH SCORE 30390.711
AT ITER 6904 NEW BEST:: SOT 105385 SOS 32616 HAS SOPS 32616 HAS SOUS 30297 HAS SOUPS 30297 WITH SCORE 30329.616
AT ITER 6906 NEW BEST:: SOT 105382 SOS 32613 HAS SOPS 32613 HAS SOUS 30294 HAS SOUPS 30294 WITH SCORE 30326.613
AT ITER 6937 NEW BEST:: SOT 105358 SOS 32589 HAS SOPS 32589 HAS SOUS 30270 HAS SOUPS 30270 WITH SCORE 30302.589
AT ITER 6960 NEW BEST:: SOT 105346 SOS 32581 HAS SOPS 32581 HAS SOUS 30262 HAS SOUPS 30262 WITH SCORE 30294.581
AT ITER 6973 NEW BEST:: SOT 105345 SOS 32559 HAS SOPS 32559 HAS SOUS 30247 HAS SOUPS 30247 WITH SCORE 30279.559
AT ITER 6985 NEW BEST:: SOT 105343 SOS 32557 HAS SOPS 32557 HAS SOUS 30236 HAS SOUPS 30236 WITH SCORE 30268.557
AT ITER 6986 NEW BEST:: SOT 105330 SOS 32499 HAS SOPS 32499 HAS SOUS 30187 HAS SOUPS 30187 WITH SCORE 30219.499
AT ITER 6992 NEW BEST:: SOT 105327 SOS 32493 HAS SOPS 32493 HAS SOUS 30181 HAS SOUPS 30181 WITH SCORE 30213.493
AT ITER 7000 NEW BEST:: SOT 105306 SOS 32479 HAS SOPS 32479 HAS SOUS 30167 HAS SOUPS 30167 WITH SCORE 30199.479
AT ITER 7002 NEW BEST:: SOT 105306 SOS 32416 HAS SOPS 32416 HAS SOUS 30104 HAS SOUPS 30104 WITH SCORE 30136.416
AT ITER 7012 NEW BEST:: SOT 105317 SOS 32408 HAS SOPS 32408 HAS SOUS 30096 HAS SOUPS 30096 WITH SCORE 30128.408
AT ITER 7021 NEW BEST:: SOT 105296 SOS 32384 HAS SOPS 32384 HAS SOUS 30052 HAS SOUPS 30052 WITH SCORE 30084.384
AT ITER 7022 NEW BEST:: SOT 105296 SOS 32366 HAS SOPS 32366 HAS SOUS 30052 HAS SOUPS 30052 WITH SCORE 30084.366
AT ITER 7067 NEW BEST:: SOT 105292 SOS 32362 HAS SOPS 32362 HAS SOUS 30048 HAS SOUPS 30048 WITH SCORE 30080.362
AT ITER 7082 NEW BEST:: SOT 105276 SOS 32330 HAS SOPS 32330 HAS SOUS 30016 HAS SOUPS 30016 WITH SCORE 30048.33
AT ITER 7103 NEW BEST:: SOT 105230 SOS 32284 HAS SOPS 32284 HAS SOUS 29970 HAS SOUPS 29970 WITH SCORE 30002.284
AT ITER 7105 NEW BEST:: SOT 105161 SOS 32171 HAS SOPS 32171 HAS SOUS 29857 HAS SOUPS 29857 WITH SCORE 29889.171
AT ITER 7120 NEW BEST:: SOT 105122 SOS 32128 HAS SOPS 32128 HAS SOUS 29814 HAS SOUPS 29814 WITH SCORE 29846.128
AT ITER 7135 NEW BEST:: SOT 105121 SOS 32126 HAS SOPS 32126 HAS SOUS 29812 HAS SOUPS 29812 WITH SCORE 29844.126
AT ITER 7149 NEW BEST:: SOT 105126 SOS 32106 HAS SOPS 32106 HAS SOUS 29792 HAS SOUPS 29792 WITH SCORE 29824.106
AT ITER 7169 NEW BEST:: SOT 105045 SOS 32036 HAS SOPS 32036 HAS SOUS 29722 HAS SOUPS 29722 WITH SCORE 29754.036
AT ITER 7170 NEW BEST:: SOT 105045 SOS 32039 HAS SOPS 32039 HAS SOUS 29719 HAS SOUPS 29719 WITH SCORE 29751.039
AT ITER 7182 NEW BEST:: SOT 105045 SOS 31988 HAS SOPS 31988 HAS SOUS 29668 HAS SOUPS 29668 WITH SCORE 29699.988
AT ITER 7189 NEW BEST:: SOT 105045 SOS 31949 HAS SOPS 31949 HAS SOUS 29652 HAS SOUPS 29652 WITH SCORE 29683.949
AT ITER 7242 NEW BEST:: SOT 104991 SOS 31884 HAS SOPS 31884 HAS SOUS 29587 HAS SOUPS 29587 WITH SCORE 29618.884
AT ITER 7249 NEW BEST:: SOT 104973 SOS 31883 HAS SOPS 31883 HAS SOUS 29560 HAS SOUPS 29560 WITH SCORE 29591.883
AT ITER 7291 NEW BEST:: SOT 104970 SOS 31877 HAS SOPS 31877 HAS SOUS 29554 HAS SOUPS 29554 WITH SCORE 29585.877
AT ITER 7318 NEW BEST:: SOT 104965 SOS 31867 HAS SOPS 31867 HAS SOUS 29544 HAS SOUPS 29544 WITH SCORE 29575.867
AT ITER 7319 NEW BEST:: SOT 104885 SOS 31744 HAS SOPS 31744 HAS SOUS 29421 HAS SOUPS 29421 WITH SCORE 29452.744
AT ITER 7350 NEW BEST:: SOT 104871 SOS 31688 HAS SOPS 31688 HAS SOUS 29379 HAS SOUPS 29379 WITH SCORE 29410.688
AT ITER 7362 NEW BEST:: SOT 104875 SOS 31631 HAS SOPS 31631 HAS SOUS 29353 HAS SOUPS 29353 WITH SCORE 29384.631
AT ITER 7364 NEW BEST:: SOT 104866 SOS 31622 HAS SOPS 31622 HAS SOUS 29347 HAS SOUPS 29347 WITH SCORE 29378.622
AT ITER 7389 NEW BEST:: SOT 104830 SOS 31586 HAS SOPS 31586 HAS SOUS 29275 HAS SOUPS 29275 WITH SCORE 29306.586
AT ITER 7434 NEW BEST:: SOT 104828 SOS 31580 HAS SOPS 31580 HAS SOUS 29269 HAS SOUPS 29269 WITH SCORE 29300.58
AT ITER 7474 NEW BEST:: SOT 104828 SOS 31576 HAS SOPS 31576 HAS SOUS 29265 HAS SOUPS 29265 WITH SCORE 29296.576
AT ITER 7488 NEW BEST:: SOT 104823 SOS 31560 HAS SOPS 31560 HAS SOUS 29249 HAS SOUPS 29249 WITH SCORE 29280.56
AT ITER 7491 NEW BEST:: SOT 104823 SOS 31550 HAS SOPS 31550 HAS SOUS 29249 HAS SOUPS 29249 WITH SCORE 29280.55
AT ITER 7502 NEW BEST:: SOT 104820 SOS 31522 HAS SOPS 31522 HAS SOUS 29221 HAS SOUPS 29221 WITH SCORE 29252.522
AT ITER 7503 NEW BEST:: SOT 104793 SOS 31490 HAS SOPS 31490 HAS SOUS 29181 HAS SOUPS 29181 WITH SCORE 29212.49
AT ITER 7549 NEW BEST:: SOT 104784 SOS 31440 HAS SOPS 31440 HAS SOUS 29131 HAS SOUPS 29131 WITH SCORE 29162.44
AT ITER 7553 NEW BEST:: SOT 104784 SOS 31437 HAS SOPS 31437 HAS SOUS 29128 HAS SOUPS 29128 WITH SCORE 29159.437
AT ITER 7563 NEW BEST:: SOT 104783 SOS 31435 HAS SOPS 31435 HAS SOUS 29126 HAS SOUPS 29126 WITH SCORE 29157.435
AT ITER 7572 NEW BEST:: SOT 104783 SOS 31435 HAS SOPS 31435 HAS SOUS 29124 HAS SOUPS 29124 WITH SCORE 29155.435
AT ITER 7591 NEW BEST:: SOT 104773 SOS 31415 HAS SOPS 31415 HAS SOUS 29104 HAS SOUPS 29104 WITH SCORE 29135.415
AT ITER 7656 NEW BEST:: SOT 104812 SOS 31319 HAS SOPS 31319 HAS SOUS 29070 HAS SOUPS 29070 WITH SCORE 29101.319
AT ITER 7659 NEW BEST:: SOT 104827 SOS 31302 HAS SOPS 31302 HAS SOUS 29050 HAS SOUPS 29050 WITH SCORE 29081.302
AT ITER 7670 NEW BEST:: SOT 104827 SOS 31300 HAS SOPS 31300 HAS SOUS 29048 HAS SOUPS 29048 WITH SCORE 29079.3
AT ITER 7675 NEW BEST:: SOT 104864 SOS 31342 HAS SOPS 31342 HAS SOUS 29033 HAS SOUPS 29033 WITH SCORE 29064.342
AT ITER 7696 NEW BEST:: SOT 104860 SOS 31338 HAS SOPS 31338 HAS SOUS 29031 HAS SOUPS 29031 WITH SCORE 29062.338
AT ITER 7727 NEW BEST:: SOT 104886 SOS 31328 HAS SOPS 31328 HAS SOUS 29021 HAS SOUPS 29021 WITH SCORE 29052.328
AT ITER 7745 NEW BEST:: SOT 104885 SOS 31325 HAS SOPS 31325 HAS SOUS 29020 HAS SOUPS 29020 WITH SCORE 29051.325
AT ITER 7765 NEW BEST:: SOT 104869 SOS 31309 HAS SOPS 31309 HAS SOUS 29004 HAS SOUPS 29004 WITH SCORE 29035.309
AT ITER 7796 NEW BEST:: SOT 104844 SOS 31284 HAS SOPS 31284 HAS SOUS 29004 HAS SOUPS 29004 WITH SCORE 29035.284
AT ITER 7808 NEW BEST:: SOT 104895 SOS 31374 HAS SOPS 31374 HAS SOUS 28998 HAS SOUPS 28998 WITH SCORE 29029.374
AT ITER 7827 NEW BEST:: SOT 104884 SOS 31363 HAS SOPS 31363 HAS SOUS 28987 HAS SOUPS 28987 WITH SCORE 29018.363
AT ITER 7876 NEW BEST:: SOT 104903 SOS 31376 HAS SOPS 31376 HAS SOUS 28984 HAS SOUPS 28984 WITH SCORE 29015.376
AT ITER 7881 NEW BEST:: SOT 104903 SOS 31374 HAS SOPS 31374 HAS SOUS 28982 HAS SOUPS 28982 WITH SCORE 29013.374
AT ITER 7896 NEW BEST:: SOT 104887 SOS 31366 HAS SOPS 31366 HAS SOUS 28974 HAS SOUPS 28974 WITH SCORE 29005.366
AT ITER 7999 NEW BEST:: SOT 104885 SOS 31364 HAS SOPS 31364 HAS SOUS 28972 HAS SOUPS 28972 WITH SCORE 29003.364
AT ITER 8051 NEW BEST:: SOT 104873 SOS 31344 HAS SOPS 31344 HAS SOUS 28952 HAS SOUPS 28952 WITH SCORE 28983.344
AT ITER 8116 NEW BEST:: SOT 104874 SOS 31268 HAS SOPS 31268 HAS SOUS 28876 HAS SOUPS 28876 WITH SCORE 28907.268
AT ITER 8147 NEW BEST:: SOT 104851 SOS 31251 HAS SOPS 31251 HAS SOUS 28859 HAS SOUPS 28859 WITH SCORE 28890.251
AT ITER 8148 NEW BEST:: SOT 104851 SOS 31237 HAS SOPS 31237 HAS SOUS 28845 HAS SOUPS 28845 WITH SCORE 28876.237
AT ITER 8210 NEW BEST:: SOT 104851 SOS 31218 HAS SOPS 31218 HAS SOUS 28832 HAS SOUPS 28832 WITH SCORE 28863.218
AT ITER 8236 NEW BEST:: SOT 104826 SOS 31095 HAS SOPS 31095 HAS SOUS 28703 HAS SOUPS 28703 WITH SCORE 28734.095
AT ITER 8272 NEW BEST:: SOT 104814 SOS 31083 HAS SOPS 31083 HAS SOUS 28687 HAS SOUPS 28687 WITH SCORE 28718.083
AT ITER 8283 NEW BEST:: SOT 104682 SOS 30930 HAS SOPS 30930 HAS SOUS 28534 HAS SOUPS 28534 WITH SCORE 28564.93
AT ITER 8294 NEW BEST:: SOT 104680 SOS 30928 HAS SOPS 30928 HAS SOUS 28532 HAS SOUPS 28532 WITH SCORE 28562.928
AT ITER 8314 NEW BEST:: SOT 104680 SOS 30903 HAS SOPS 30903 HAS SOUS 28507 HAS SOUPS 28507 WITH SCORE 28537.903
AT ITER 8330 NEW BEST:: SOT 104668 SOS 30893 HAS SOPS 30893 HAS SOUS 28497 HAS SOUPS 28497 WITH SCORE 28527.893
AT ITER 8354 NEW BEST:: SOT 104596 SOS 30879 HAS SOPS 30879 HAS SOUS 28483 HAS SOUPS 28483 WITH SCORE 28513.879
AT ITER 8369 NEW BEST:: SOT 104608 SOS 30841 HAS SOPS 30841 HAS SOUS 28476 HAS SOUPS 28476 WITH SCORE 28506.841
AT ITER 8407 NEW BEST:: SOT 104608 SOS 30782 HAS SOPS 30782 HAS SOUS 28417 HAS SOUPS 28417 WITH SCORE 28447.782
AT ITER 8441 NEW BEST:: SOT 104592 SOS 30774 HAS SOPS 30774 HAS SOUS 28413 HAS SOUPS 28413 WITH SCORE 28443.774
AT ITER 8447 NEW BEST:: SOT 104561 SOS 30743 HAS SOPS 30743 HAS SOUS 28355 HAS SOUPS 28355 WITH SCORE 28385.743
AT ITER 8451 NEW BEST:: SOT 104546 SOS 30727 HAS SOPS 30727 HAS SOUS 28339 HAS SOUPS 28339 WITH SCORE 28369.727
AT ITER 8452 NEW BEST:: SOT 104518 SOS 30679 HAS SOPS 30679 HAS SOUS 28291 HAS SOUPS 28291 WITH SCORE 28321.679
AT ITER 8474 NEW BEST:: SOT 104518 SOS 30678 HAS SOPS 30678 HAS SOUS 28290 HAS SOUPS 28290 WITH SCORE 28320.678
AT ITER 8480 NEW BEST:: SOT 104502 SOS 30648 HAS SOPS 30648 HAS SOUS 28260 HAS SOUPS 28260 WITH SCORE 28290.648
AT ITER 8494 NEW BEST:: SOT 104488 SOS 30613 HAS SOPS 30613 HAS SOUS 28239 HAS SOUPS 28239 WITH SCORE 28269.613
AT ITER 8503 NEW BEST:: SOT 104488 SOS 30611 HAS SOPS 30611 HAS SOUS 28239 HAS SOUPS 28239 WITH SCORE 28269.611
AT ITER 8507 NEW BEST:: SOT 104351 SOS 30474 HAS SOPS 30474 HAS SOUS 28102 HAS SOUPS 28102 WITH SCORE 28132.474
AT ITER 8510 NEW BEST:: SOT 104342 SOS 30465 HAS SOPS 30465 HAS SOUS 28093 HAS SOUPS 28093 WITH SCORE 28123.465
AT ITER 8601 NEW BEST:: SOT 104312 SOS 30435 HAS SOPS 30435 HAS SOUS 28063 HAS SOUPS 28063 WITH SCORE 28093.435
AT ITER 8603 NEW BEST:: SOT 104297 SOS 30396 HAS SOPS 30396 HAS SOUS 28024 HAS SOUPS 28024 WITH SCORE 28054.396
AT ITER 8633 NEW BEST:: SOT 104314 SOS 30395 HAS SOPS 30395 HAS SOUS 28023 HAS SOUPS 28023 WITH SCORE 28053.395
AT ITER 8648 NEW BEST:: SOT 104312 SOS 30425 HAS SOPS 30425 HAS SOUS 28001 HAS SOUPS 28001 WITH SCORE 28031.425
AT ITER 8692 NEW BEST:: SOT 104302 SOS 30415 HAS SOPS 30415 HAS SOUS 27996 HAS SOUPS 27996 WITH SCORE 28026.415
AT ITER 8699 NEW BEST:: SOT 104278 SOS 30379 HAS SOPS 30379 HAS SOUS 27960 HAS SOUPS 27960 WITH SCORE 27990.379
AT ITER 8776 NEW BEST:: SOT 104273 SOS 30352 HAS SOPS 30352 HAS SOUS 27922 HAS SOUPS 27922 WITH SCORE 27952.352
AT ITER 8781 NEW BEST:: SOT 104273 SOS 30352 HAS SOPS 30352 HAS SOUS 27915 HAS SOUPS 27915 WITH SCORE 27945.352
AT ITER 8833 NEW BEST:: SOT 104269 SOS 30335 HAS SOPS 30335 HAS SOUS 27898 HAS SOUPS 27898 WITH SCORE 27928.335
AT ITER 8837 NEW BEST:: SOT 104269 SOS 30330 HAS SOPS 30330 HAS SOUS 27893 HAS SOUPS 27893 WITH SCORE 27923.33
AT ITER 8886 NEW BEST:: SOT 104249 SOS 30294 HAS SOPS 30294 HAS SOUS 27857 HAS SOUPS 27857 WITH SCORE 27887.294
AT ITER 8887 NEW BEST:: SOT 104224 SOS 30256 HAS SOPS 30256 HAS SOUS 27819 HAS SOUPS 27819 WITH SCORE 27849.256
AT ITER 8939 NEW BEST:: SOT 104224 SOS 30100 HAS SOPS 30100 HAS SOUS 27819 HAS SOUPS 27819 WITH SCORE 27849.1
AT ITER 8944 NEW BEST:: SOT 104217 SOS 30093 HAS SOPS 30093 HAS SOUS 27812 HAS SOUPS 27812 WITH SCORE 27842.093
AT ITER 8991 NEW BEST:: SOT 104213 SOS 30098 HAS SOPS 30098 HAS SOUS 27804 HAS SOUPS 27804 WITH SCORE 27834.098
AT ITER 9000 NEW BEST:: SOT 104269 SOS 30094 HAS SOPS 30094 HAS SOUS 27783 HAS SOUPS 27783 WITH SCORE 27813.094
AT ITER 9014 NEW BEST:: SOT 104255 SOS 30080 HAS SOPS 30080 HAS SOUS 27769 HAS SOUPS 27769 WITH SCORE 27799.08
AT ITER 9056 NEW BEST:: SOT 104250 SOS 30014 HAS SOPS 30014 HAS SOUS 27727 HAS SOUPS 27727 WITH SCORE 27757.014
AT ITER 9085 NEW BEST:: SOT 104249 SOS 30013 HAS SOPS 30013 HAS SOUS 27725 HAS SOUPS 27725 WITH SCORE 27755.013
AT ITER 9099 NEW BEST:: SOT 104211 SOS 29958 HAS SOPS 29958 HAS SOUS 27670 HAS SOUPS 27670 WITH SCORE 27699.958
AT ITER 9101 NEW BEST:: SOT 104212 SOS 29987 HAS SOPS 29987 HAS SOUS 27639 HAS SOUPS 27639 WITH SCORE 27668.987
AT ITER 9122 NEW BEST:: SOT 104103 SOS 29916 HAS SOPS 29916 HAS SOUS 27568 HAS SOUPS 27568 WITH SCORE 27597.916
AT ITER 9139 NEW BEST:: SOT 104103 SOS 29819 HAS SOPS 29819 HAS SOUS 27568 HAS SOUPS 27568 WITH SCORE 27597.819
AT ITER 9150 NEW BEST:: SOT 104102 SOS 29803 HAS SOPS 29803 HAS SOUS 27552 HAS SOUPS 27552 WITH SCORE 27581.803
AT ITER 9151 NEW BEST:: SOT 104098 SOS 29799 HAS SOPS 29799 HAS SOUS 27548 HAS SOUPS 27548 WITH SCORE 27577.799
AT ITER 9164 NEW BEST:: SOT 104093 SOS 29794 HAS SOPS 29794 HAS SOUS 27543 HAS SOUPS 27543 WITH SCORE 27572.794
AT ITER 9186 NEW BEST:: SOT 104081 SOS 29776 HAS SOPS 29776 HAS SOUS 27525 HAS SOUPS 27525 WITH SCORE 27554.776
AT ITER 9197 NEW BEST:: SOT 104063 SOS 29721 HAS SOPS 29721 HAS SOUS 27470 HAS SOUPS 27470 WITH SCORE 27499.721
AT ITER 9204 NEW BEST:: SOT 104058 SOS 29711 HAS SOPS 29711 HAS SOUS 27463 HAS SOUPS 27463 WITH SCORE 27492.711
AT ITER 9216 NEW BEST:: SOT 104058 SOS 29707 HAS SOPS 29707 HAS SOUS 27459 HAS SOUPS 27459 WITH SCORE 27488.707
AT ITER 9259 NEW BEST:: SOT 104024 SOS 29671 HAS SOPS 29671 HAS SOUS 27429 HAS SOUPS 27429 WITH SCORE 27458.671
AT ITER 9273 NEW BEST:: SOT 104024 SOS 29651 HAS SOPS 29651 HAS SOUS 27409 HAS SOUPS 27409 WITH SCORE 27438.651
AT ITER 9327 NEW BEST:: SOT 103950 SOS 29615 HAS SOPS 29615 HAS SOUS 27373 HAS SOUPS 27373 WITH SCORE 27402.615
AT ITER 9361 NEW BEST:: SOT 103918 SOS 29571 HAS SOPS 29571 HAS SOUS 27288 HAS SOUPS 27288 WITH SCORE 27317.571
AT ITER 9374 NEW BEST:: SOT 103914 SOS 29567 HAS SOPS 29567 HAS SOUS 27284 HAS SOUPS 27284 WITH SCORE 27313.567
AT ITER 9384 NEW BEST:: SOT 103921 SOS 29562 HAS SOPS 29562 HAS SOUS 27272 HAS SOUPS 27272 WITH SCORE 27301.562
AT ITER 9386 NEW BEST:: SOT 103921 SOS 29556 HAS SOPS 29556 HAS SOUS 27266 HAS SOUPS 27266 WITH SCORE 27295.556
AT ITER 9452 NEW BEST:: SOT 103898 SOS 29441 HAS SOPS 29441 HAS SOUS 27151 HAS SOUPS 27151 WITH SCORE 27180.441
AT ITER 9484 NEW BEST:: SOT 103843 SOS 29343 HAS SOPS 29343 HAS SOUS 27053 HAS SOUPS 27053 WITH SCORE 27082.343
AT ITER 9495 NEW BEST:: SOT 103832 SOS 29236 HAS SOPS 29236 HAS SOUS 27020 HAS SOUPS 27020 WITH SCORE 27049.236
AT ITER 9536 NEW BEST:: SOT 103831 SOS 29149 HAS SOPS 29149 HAS SOUS 26973 HAS SOUPS 26973 WITH SCORE 27002.149
AT ITER 9648 NEW BEST:: SOT 103831 SOS 29149 HAS SOPS 29149 HAS SOUS 26972 HAS SOUPS 26972 WITH SCORE 27001.149
AT ITER 9671 NEW BEST:: SOT 103827 SOS 29144 HAS SOPS 29144 HAS SOUS 26965 HAS SOUPS 26965 WITH SCORE 26994.144
AT ITER 9729 NEW BEST:: SOT 103815 SOS 29108 HAS SOPS 29108 HAS SOUS 26941 HAS SOUPS 26941 WITH SCORE 26970.108
AT ITER 9730 NEW BEST:: SOT 103714 SOS 28920 HAS SOPS 28920 HAS SOUS 26789 HAS SOUPS 26789 WITH SCORE 26817.92
AT ITER 9775 NEW BEST:: SOT 103714 SOS 28907 HAS SOPS 28907 HAS SOUS 26789 HAS SOUPS 26789 WITH SCORE 26817.907
AT ITER 9779 NEW BEST:: SOT 103712 SOS 28905 HAS SOPS 28905 HAS SOUS 26787 HAS SOUPS 26787 WITH SCORE 26815.905
AT ITER 9786 NEW BEST:: SOT 103711 SOS 28904 HAS SOPS 28904 HAS SOUS 26786 HAS SOUPS 26786 WITH SCORE 26814.904
AT ITER 9788 NEW BEST:: SOT 103708 SOS 28898 HAS SOPS 28898 HAS SOUS 26780 HAS SOUPS 26780 WITH SCORE 26808.898
AT ITER 9852 NEW BEST:: SOT 103691 SOS 28859 HAS SOPS 28859 HAS SOUS 26745 HAS SOUPS 26745 WITH SCORE 26773.859
AT ITER 9905 NEW BEST:: SOT 103691 SOS 28827 HAS SOPS 28827 HAS SOUS 26725 HAS SOUPS 26725 WITH SCORE 26753.827
AT ITER 9960 NEW BEST:: SOT 103678 SOS 28821 HAS SOPS 28821 HAS SOUS 26719 HAS SOUPS 26719 WITH SCORE 26747.821
AT ITER 9980 NEW BEST:: SOT 103672 SOS 28822 HAS SOPS 28822 HAS SOUS 26713 HAS SOUPS 26713 WITH SCORE 26741.822
AT ITER 9991 NEW BEST:: SOT 103628 SOS 28752 HAS SOPS 28752 HAS SOUS 26643 HAS SOUPS 26643 WITH SCORE 26671.752
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 9301748 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16149340 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPt-PT-020A"
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 ShieldPPPt-PT-020A, 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 r387-oct2-167903712100632"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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