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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 21K Feb 26 14:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 26 14:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 64K Feb 26 14:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 255K Feb 26 14:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 20K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 34K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 51K Feb 26 14:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 245K Feb 26 14:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 158K Feb 26 14:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 585K Feb 26 14:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 12K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 191K 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 1679317519265

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=UtilityControlRoom-PT-Z4T4N06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 13:05:21] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 13:05:21] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 13:05:21] [INFO ] Load time of PNML (sax parser for PT used): 61 ms
[2023-03-20 13:05:21] [INFO ] Transformed 228 places.
[2023-03-20 13:05:21] [INFO ] Transformed 450 transitions.
[2023-03-20 13:05:21] [INFO ] Parsed PT model containing 228 places and 450 transitions and 1446 arcs in 132 ms.
[2023-03-20 13:05:21] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 228 places, 450 transitions and 1446 arcs took 7 ms.
Total runtime 174 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z4T4N06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 228 places, 450 transitions, 1446 arcs.
AT ITER 0 NEW BEST:: SOT 83974 SOS 67221 HAS SOPS 67221 HAS SOUS 38439 HAS SOUPS 38439 WITH SCORE 38506.221
AT ITER 1 NEW BEST:: SOT 76345 SOS 59634 HAS SOPS 59634 HAS SOUS 34164 HAS SOUPS 34164 WITH SCORE 34223.634
AT ITER 3 NEW BEST:: SOT 76446 SOS 59712 HAS SOPS 59712 HAS SOUS 34114 HAS SOUPS 34114 WITH SCORE 34173.712
AT ITER 4 NEW BEST:: SOT 76424 SOS 59690 HAS SOPS 59690 HAS SOUS 34080 HAS SOUPS 34080 WITH SCORE 34139.69
AT ITER 6 NEW BEST:: SOT 76405 SOS 59652 HAS SOPS 59652 HAS SOUS 34047 HAS SOUPS 34047 WITH SCORE 34106.652
AT ITER 9 NEW BEST:: SOT 76367 SOS 59696 HAS SOPS 59696 HAS SOUS 34003 HAS SOUPS 34003 WITH SCORE 34062.696
AT ITER 10 NEW BEST:: SOT 76376 SOS 59542 HAS SOPS 59542 HAS SOUS 33969 HAS SOUPS 33969 WITH SCORE 34028.542
AT ITER 12 NEW BEST:: SOT 76212 SOS 59367 HAS SOPS 59367 HAS SOUS 33666 HAS SOUPS 33666 WITH SCORE 33725.367
AT ITER 17 NEW BEST:: SOT 76236 SOS 59415 HAS SOPS 59415 HAS SOUS 33596 HAS SOUPS 33596 WITH SCORE 33655.415
AT ITER 23 NEW BEST:: SOT 76193 SOS 59372 HAS SOPS 59372 HAS SOUS 33381 HAS SOUPS 33381 WITH SCORE 33440.372
AT ITER 28 NEW BEST:: SOT 76363 SOS 59516 HAS SOPS 59516 HAS SOUS 33340 HAS SOUPS 33340 WITH SCORE 33399.516
AT ITER 30 NEW BEST:: SOT 76342 SOS 59474 HAS SOPS 59474 HAS SOUS 33106 HAS SOUPS 33106 WITH SCORE 33165.474
AT ITER 32 NEW BEST:: SOT 76493 SOS 59636 HAS SOPS 59636 HAS SOUS 33067 HAS SOUPS 33067 WITH SCORE 33126.636
AT ITER 33 NEW BEST:: SOT 76409 SOS 59541 HAS SOPS 59541 HAS SOUS 32714 HAS SOUPS 32714 WITH SCORE 32773.541
AT ITER 34 NEW BEST:: SOT 76321 SOS 59365 HAS SOPS 59365 HAS SOUS 32488 HAS SOUPS 32488 WITH SCORE 32547.365
AT ITER 36 NEW BEST:: SOT 74412 SOS 57482 HAS SOPS 57482 HAS SOUS 31360 HAS SOUPS 31360 WITH SCORE 31417.482
AT ITER 40 NEW BEST:: SOT 74465 SOS 57182 HAS SOPS 57182 HAS SOUS 31345 HAS SOUPS 31345 WITH SCORE 31402.182
AT ITER 41 NEW BEST:: SOT 74480 SOS 56968 HAS SOPS 56968 HAS SOUS 31186 HAS SOUPS 31186 WITH SCORE 31242.968
AT ITER 42 NEW BEST:: SOT 74498 SOS 57149 HAS SOPS 57149 HAS SOUS 31108 HAS SOUPS 31108 WITH SCORE 31165.149
AT ITER 44 NEW BEST:: SOT 74372 SOS 57054 HAS SOPS 57054 HAS SOUS 30887 HAS SOUPS 30887 WITH SCORE 30944.054
AT ITER 46 NEW BEST:: SOT 74469 SOS 57017 HAS SOPS 57017 HAS SOUS 30581 HAS SOUPS 30581 WITH SCORE 30638.017
AT ITER 48 NEW BEST:: SOT 74727 SOS 57288 HAS SOPS 57288 HAS SOUS 30478 HAS SOUPS 30478 WITH SCORE 30535.288
AT ITER 49 NEW BEST:: SOT 74727 SOS 57288 HAS SOPS 57288 HAS SOUS 30464 HAS SOUPS 30464 WITH SCORE 30521.288
AT ITER 51 NEW BEST:: SOT 74713 SOS 57260 HAS SOPS 57260 HAS SOUS 30433 HAS SOUPS 30433 WITH SCORE 30490.26
AT ITER 52 NEW BEST:: SOT 74670 SOS 57217 HAS SOPS 57217 HAS SOUS 30339 HAS SOUPS 30339 WITH SCORE 30396.217
AT ITER 53 NEW BEST:: SOT 74609 SOS 56860 HAS SOPS 56860 HAS SOUS 30075 HAS SOUPS 30075 WITH SCORE 30131.86
AT ITER 55 NEW BEST:: SOT 74581 SOS 55812 HAS SOPS 55812 HAS SOUS 30043 HAS SOUPS 30043 WITH SCORE 30098.812
AT ITER 64 NEW BEST:: SOT 74567 SOS 55342 HAS SOPS 55342 HAS SOUS 29925 HAS SOUPS 29925 WITH SCORE 29980.342
AT ITER 68 NEW BEST:: SOT 74505 SOS 55328 HAS SOPS 55328 HAS SOUS 29764 HAS SOUPS 29764 WITH SCORE 29819.328
AT ITER 69 NEW BEST:: SOT 74465 SOS 55237 HAS SOPS 55237 HAS SOUS 29713 HAS SOUPS 29713 WITH SCORE 29768.237
AT ITER 70 NEW BEST:: SOT 74426 SOS 55159 HAS SOPS 55159 HAS SOUS 29674 HAS SOUPS 29674 WITH SCORE 29729.159
AT ITER 76 NEW BEST:: SOT 74439 SOS 54997 HAS SOPS 54997 HAS SOUS 29640 HAS SOUPS 29640 WITH SCORE 29694.997
AT ITER 77 NEW BEST:: SOT 74330 SOS 54932 HAS SOPS 54932 HAS SOUS 29493 HAS SOUPS 29493 WITH SCORE 29547.932
AT ITER 78 NEW BEST:: SOT 74302 SOS 54904 HAS SOPS 54904 HAS SOUS 29475 HAS SOUPS 29475 WITH SCORE 29529.904
AT ITER 83 NEW BEST:: SOT 73321 SOS 53947 HAS SOPS 53947 HAS SOUS 28882 HAS SOUPS 28882 WITH SCORE 28935.947
AT ITER 85 NEW BEST:: SOT 73318 SOS 53905 HAS SOPS 53905 HAS SOUS 28852 HAS SOUPS 28852 WITH SCORE 28905.905
AT ITER 86 NEW BEST:: SOT 73318 SOS 53905 HAS SOPS 53905 HAS SOUS 28846 HAS SOUPS 28846 WITH SCORE 28899.905
AT ITER 88 NEW BEST:: SOT 73363 SOS 53878 HAS SOPS 53878 HAS SOUS 28794 HAS SOUPS 28794 WITH SCORE 28847.878
AT ITER 89 NEW BEST:: SOT 73363 SOS 53950 HAS SOPS 53950 HAS SOUS 28701 HAS SOUPS 28701 WITH SCORE 28754.95
AT ITER 90 NEW BEST:: SOT 70840 SOS 51525 HAS SOPS 51525 HAS SOUS 27125 HAS SOUPS 27125 WITH SCORE 27176.525
AT ITER 93 NEW BEST:: SOT 70831 SOS 51543 HAS SOPS 51543 HAS SOUS 27089 HAS SOUPS 27089 WITH SCORE 27140.543
AT ITER 97 NEW BEST:: SOT 70638 SOS 51401 HAS SOPS 51401 HAS SOUS 26997 HAS SOUPS 26997 WITH SCORE 27048.401
AT ITER 98 NEW BEST:: SOT 70638 SOS 51341 HAS SOPS 51341 HAS SOUS 26997 HAS SOUPS 26997 WITH SCORE 27048.341
AT ITER 103 NEW BEST:: SOT 70685 SOS 51388 HAS SOPS 51388 HAS SOUS 26947 HAS SOUPS 26947 WITH SCORE 26998.388
AT ITER 107 NEW BEST:: SOT 70553 SOS 51198 HAS SOPS 51198 HAS SOUS 26872 HAS SOUPS 26872 WITH SCORE 26923.198
AT ITER 109 NEW BEST:: SOT 70551 SOS 51535 HAS SOPS 51535 HAS SOUS 26764 HAS SOUPS 26764 WITH SCORE 26815.535
AT ITER 111 NEW BEST:: SOT 70425 SOS 51409 HAS SOPS 51409 HAS SOUS 26655 HAS SOUPS 26655 WITH SCORE 26706.409
AT ITER 112 NEW BEST:: SOT 70425 SOS 51751 HAS SOPS 51751 HAS SOUS 26649 HAS SOUPS 26649 WITH SCORE 26700.751
AT ITER 113 NEW BEST:: SOT 70264 SOS 51576 HAS SOPS 51576 HAS SOUS 26383 HAS SOUPS 26383 WITH SCORE 26434.576
AT ITER 115 NEW BEST:: SOT 70201 SOS 51185 HAS SOPS 51185 HAS SOUS 26160 HAS SOUPS 26160 WITH SCORE 26211.185
AT ITER 117 NEW BEST:: SOT 70179 SOS 51163 HAS SOPS 51163 HAS SOUS 26138 HAS SOUPS 26138 WITH SCORE 26189.163
AT ITER 119 NEW BEST:: SOT 70253 SOS 51093 HAS SOPS 51093 HAS SOUS 26137 HAS SOUPS 26137 WITH SCORE 26188.093
AT ITER 121 NEW BEST:: SOT 70115 SOS 50963 HAS SOPS 50963 HAS SOUS 26004 HAS SOUPS 26004 WITH SCORE 26054.963
AT ITER 125 NEW BEST:: SOT 70120 SOS 50918 HAS SOPS 50918 HAS SOUS 25718 HAS SOUPS 25718 WITH SCORE 25768.918
AT ITER 127 NEW BEST:: SOT 70075 SOS 50873 HAS SOPS 50873 HAS SOUS 25673 HAS SOUPS 25673 WITH SCORE 25723.873
AT ITER 128 NEW BEST:: SOT 69448 SOS 50246 HAS SOPS 50246 HAS SOUS 25408 HAS SOUPS 25408 WITH SCORE 25458.246
AT ITER 129 NEW BEST:: SOT 69448 SOS 50224 HAS SOPS 50224 HAS SOUS 25369 HAS SOUPS 25369 WITH SCORE 25419.224
AT ITER 132 NEW BEST:: SOT 69450 SOS 50246 HAS SOPS 50246 HAS SOUS 25344 HAS SOUPS 25344 WITH SCORE 25394.246
AT ITER 133 NEW BEST:: SOT 69461 SOS 49755 HAS SOPS 49755 HAS SOUS 25303 HAS SOUPS 25303 WITH SCORE 25352.755
AT ITER 134 NEW BEST:: SOT 69430 SOS 49453 HAS SOPS 49453 HAS SOUS 25203 HAS SOUPS 25203 WITH SCORE 25252.453
AT ITER 135 NEW BEST:: SOT 69142 SOS 49165 HAS SOPS 49165 HAS SOUS 25011 HAS SOUPS 25011 WITH SCORE 25060.165
AT ITER 138 NEW BEST:: SOT 69018 SOS 49067 HAS SOPS 49067 HAS SOUS 24937 HAS SOUPS 24937 WITH SCORE 24986.067
AT ITER 139 NEW BEST:: SOT 69007 SOS 49088 HAS SOPS 49088 HAS SOUS 24905 HAS SOUPS 24905 WITH SCORE 24954.088
AT ITER 141 NEW BEST:: SOT 68718 SOS 48799 HAS SOPS 48799 HAS SOUS 24508 HAS SOUPS 24508 WITH SCORE 24556.799
AT ITER 143 NEW BEST:: SOT 68711 SOS 48792 HAS SOPS 48792 HAS SOUS 24494 HAS SOUPS 24494 WITH SCORE 24542.792
AT ITER 147 NEW BEST:: SOT 68685 SOS 48741 HAS SOPS 48741 HAS SOUS 24223 HAS SOUPS 24223 WITH SCORE 24271.741
AT ITER 149 NEW BEST:: SOT 68724 SOS 48797 HAS SOPS 48797 HAS SOUS 24118 HAS SOUPS 24118 WITH SCORE 24166.797
AT ITER 151 NEW BEST:: SOT 68686 SOS 48707 HAS SOPS 48707 HAS SOUS 23791 HAS SOUPS 23791 WITH SCORE 23839.707
AT ITER 154 NEW BEST:: SOT 68686 SOS 48192 HAS SOPS 48192 HAS SOUS 23771 HAS SOUPS 23771 WITH SCORE 23819.192
AT ITER 155 NEW BEST:: SOT 68986 SOS 48352 HAS SOPS 48352 HAS SOUS 23650 HAS SOUPS 23650 WITH SCORE 23698.352
AT ITER 157 NEW BEST:: SOT 68983 SOS 48365 HAS SOPS 48365 HAS SOUS 23644 HAS SOUPS 23644 WITH SCORE 23692.365
AT ITER 160 NEW BEST:: SOT 68983 SOS 48350 HAS SOPS 48350 HAS SOUS 23644 HAS SOUPS 23644 WITH SCORE 23692.35
AT ITER 167 NEW BEST:: SOT 68921 SOS 48280 HAS SOPS 48280 HAS SOUS 23632 HAS SOUPS 23632 WITH SCORE 23680.28
AT ITER 168 NEW BEST:: SOT 68910 SOS 48247 HAS SOPS 48247 HAS SOUS 23627 HAS SOUPS 23627 WITH SCORE 23675.247
AT ITER 174 NEW BEST:: SOT 68861 SOS 48199 HAS SOPS 48199 HAS SOUS 23580 HAS SOUPS 23580 WITH SCORE 23628.199
AT ITER 175 NEW BEST:: SOT 68832 SOS 48170 HAS SOPS 48170 HAS SOUS 23500 HAS SOUPS 23500 WITH SCORE 23548.17
AT ITER 181 NEW BEST:: SOT 68685 SOS 48023 HAS SOPS 48023 HAS SOUS 23302 HAS SOUPS 23302 WITH SCORE 23350.023
AT ITER 182 NEW BEST:: SOT 68653 SOS 47959 HAS SOPS 47959 HAS SOUS 23217 HAS SOUPS 23217 WITH SCORE 23264.959
AT ITER 185 NEW BEST:: SOT 68685 SOS 47975 HAS SOPS 47975 HAS SOUS 23150 HAS SOUPS 23150 WITH SCORE 23197.975
AT ITER 187 NEW BEST:: SOT 68685 SOS 47963 HAS SOPS 47963 HAS SOUS 23134 HAS SOUPS 23134 WITH SCORE 23181.963
AT ITER 190 NEW BEST:: SOT 68710 SOS 47990 HAS SOPS 47990 HAS SOUS 23073 HAS SOUPS 23073 WITH SCORE 23120.99
AT ITER 191 NEW BEST:: SOT 68657 SOS 47764 HAS SOPS 47764 HAS SOUS 23059 HAS SOUPS 23059 WITH SCORE 23106.764
AT ITER 193 NEW BEST:: SOT 68712 SOS 47732 HAS SOPS 47732 HAS SOUS 22996 HAS SOUPS 22996 WITH SCORE 23043.732
AT ITER 194 NEW BEST:: SOT 68752 SOS 47772 HAS SOPS 47772 HAS SOUS 22972 HAS SOUPS 22972 WITH SCORE 23019.772
AT ITER 196 NEW BEST:: SOT 68740 SOS 47716 HAS SOPS 47716 HAS SOUS 22960 HAS SOUPS 22960 WITH SCORE 23007.716
AT ITER 200 NEW BEST:: SOT 68740 SOS 47682 HAS SOPS 47682 HAS SOUS 22960 HAS SOUPS 22960 WITH SCORE 23007.682
AT ITER 202 NEW BEST:: SOT 68736 SOS 47690 HAS SOPS 47690 HAS SOUS 22956 HAS SOUPS 22956 WITH SCORE 23003.69
AT ITER 214 NEW BEST:: SOT 68788 SOS 47215 HAS SOPS 47215 HAS SOUS 22663 HAS SOUPS 22663 WITH SCORE 22710.215
AT ITER 218 NEW BEST:: SOT 68782 SOS 47214 HAS SOPS 47214 HAS SOUS 22632 HAS SOUPS 22632 WITH SCORE 22679.214
AT ITER 220 NEW BEST:: SOT 68186 SOS 46563 HAS SOPS 46563 HAS SOUS 21972 HAS SOUPS 21972 WITH SCORE 22018.563
AT ITER 222 NEW BEST:: SOT 68164 SOS 46431 HAS SOPS 46431 HAS SOUS 21928 HAS SOUPS 21928 WITH SCORE 21974.431
AT ITER 224 NEW BEST:: SOT 68164 SOS 46431 HAS SOPS 46431 HAS SOUS 21829 HAS SOUPS 21829 WITH SCORE 21875.431
AT ITER 225 NEW BEST:: SOT 68191 SOS 46362 HAS SOPS 46362 HAS SOUS 21518 HAS SOUPS 21518 WITH SCORE 21564.362
AT ITER 227 NEW BEST:: SOT 68181 SOS 46352 HAS SOPS 46352 HAS SOUS 21484 HAS SOUPS 21484 WITH SCORE 21530.352
AT ITER 231 NEW BEST:: SOT 68246 SOS 46444 HAS SOPS 46444 HAS SOUS 21382 HAS SOUPS 21382 WITH SCORE 21428.444
AT ITER 241 NEW BEST:: SOT 68246 SOS 46480 HAS SOPS 46480 HAS SOUS 21361 HAS SOUPS 21361 WITH SCORE 21407.48
AT ITER 243 NEW BEST:: SOT 68750 SOS 44196 HAS SOPS 44196 HAS SOUS 21336 HAS SOUPS 21336 WITH SCORE 21380.196
AT ITER 244 NEW BEST:: SOT 68788 SOS 44221 HAS SOPS 44221 HAS SOUS 21335 HAS SOUPS 21335 WITH SCORE 21379.221
AT ITER 249 NEW BEST:: SOT 68816 SOS 44333 HAS SOPS 44333 HAS SOUS 21302 HAS SOUPS 21302 WITH SCORE 21346.333
AT ITER 251 NEW BEST:: SOT 68816 SOS 44333 HAS SOPS 44333 HAS SOUS 21298 HAS SOUPS 21298 WITH SCORE 21342.333
AT ITER 256 NEW BEST:: SOT 68606 SOS 44079 HAS SOPS 44079 HAS SOUS 21165 HAS SOUPS 21165 WITH SCORE 21209.079
AT ITER 257 NEW BEST:: SOT 68670 SOS 44145 HAS SOPS 44145 HAS SOUS 21091 HAS SOUPS 21091 WITH SCORE 21135.145
AT ITER 260 NEW BEST:: SOT 68654 SOS 44233 HAS SOPS 44233 HAS SOUS 21045 HAS SOUPS 21045 WITH SCORE 21089.233
AT ITER 269 NEW BEST:: SOT 68616 SOS 43941 HAS SOPS 43941 HAS SOUS 21043 HAS SOUPS 21043 WITH SCORE 21086.941
AT ITER 271 NEW BEST:: SOT 68633 SOS 43942 HAS SOPS 43942 HAS SOUS 20949 HAS SOUPS 20949 WITH SCORE 20992.942
AT ITER 273 NEW BEST:: SOT 69216 SOS 41363 HAS SOPS 41363 HAS SOUS 20876 HAS SOUPS 20876 WITH SCORE 20917.363
AT ITER 276 NEW BEST:: SOT 69286 SOS 41262 HAS SOPS 41262 HAS SOUS 20830 HAS SOUPS 20830 WITH SCORE 20871.262
AT ITER 279 NEW BEST:: SOT 69068 SOS 41044 HAS SOPS 41044 HAS SOUS 20704 HAS SOUPS 20704 WITH SCORE 20745.044
AT ITER 282 NEW BEST:: SOT 69218 SOS 41176 HAS SOPS 41176 HAS SOUS 20669 HAS SOUPS 20669 WITH SCORE 20710.176
AT ITER 287 NEW BEST:: SOT 69199 SOS 41108 HAS SOPS 41108 HAS SOUS 20649 HAS SOUPS 20649 WITH SCORE 20690.108
AT ITER 296 NEW BEST:: SOT 68959 SOS 41222 HAS SOPS 41222 HAS SOUS 20631 HAS SOUPS 20631 WITH SCORE 20672.222
AT ITER 297 NEW BEST:: SOT 68938 SOS 41233 HAS SOPS 41233 HAS SOUS 20624 HAS SOUPS 20624 WITH SCORE 20665.233
AT ITER 299 NEW BEST:: SOT 68904 SOS 41217 HAS SOPS 41217 HAS SOUS 20593 HAS SOUPS 20593 WITH SCORE 20634.217
AT ITER 306 NEW BEST:: SOT 68849 SOS 41151 HAS SOPS 41151 HAS SOUS 20549 HAS SOUPS 20549 WITH SCORE 20590.151
AT ITER 309 NEW BEST:: SOT 68805 SOS 41171 HAS SOPS 41171 HAS SOUS 20525 HAS SOUPS 20525 WITH SCORE 20566.171
AT ITER 314 NEW BEST:: SOT 68788 SOS 41103 HAS SOPS 41103 HAS SOUS 20474 HAS SOUPS 20474 WITH SCORE 20515.103
AT ITER 315 NEW BEST:: SOT 68807 SOS 41083 HAS SOPS 41083 HAS SOUS 20441 HAS SOUPS 20441 WITH SCORE 20482.083
AT ITER 316 NEW BEST:: SOT 68787 SOS 40340 HAS SOPS 40340 HAS SOUS 20324 HAS SOUPS 20324 WITH SCORE 20364.34
AT ITER 317 NEW BEST:: SOT 68824 SOS 40453 HAS SOPS 40453 HAS SOUS 20322 HAS SOUPS 20322 WITH SCORE 20362.453
AT ITER 318 NEW BEST:: SOT 68845 SOS 40474 HAS SOPS 40474 HAS SOUS 20306 HAS SOUPS 20306 WITH SCORE 20346.474
AT ITER 319 NEW BEST:: SOT 68891 SOS 40356 HAS SOPS 40356 HAS SOUS 20262 HAS SOUPS 20262 WITH SCORE 20302.356
AT ITER 323 NEW BEST:: SOT 68875 SOS 40375 HAS SOPS 40375 HAS SOUS 20239 HAS SOUPS 20239 WITH SCORE 20279.375
AT ITER 325 NEW BEST:: SOT 68900 SOS 40346 HAS SOPS 40346 HAS SOUS 20119 HAS SOUPS 20119 WITH SCORE 20159.346
AT ITER 326 NEW BEST:: SOT 68767 SOS 40213 HAS SOPS 40213 HAS SOUS 19944 HAS SOUPS 19944 WITH SCORE 19984.213
AT ITER 327 NEW BEST:: SOT 68470 SOS 39916 HAS SOPS 39916 HAS SOUS 19831 HAS SOUPS 19831 WITH SCORE 19870.916
AT ITER 328 NEW BEST:: SOT 68450 SOS 39882 HAS SOPS 39882 HAS SOUS 19806 HAS SOUPS 19806 WITH SCORE 19845.882
AT ITER 332 NEW BEST:: SOT 68443 SOS 39883 HAS SOPS 39883 HAS SOUS 19791 HAS SOUPS 19791 WITH SCORE 19830.883
AT ITER 334 NEW BEST:: SOT 68406 SOS 38103 HAS SOPS 38103 HAS SOUS 19618 HAS SOUPS 19618 WITH SCORE 19656.103
AT ITER 344 NEW BEST:: SOT 68461 SOS 38168 HAS SOPS 38168 HAS SOUS 19577 HAS SOUPS 19577 WITH SCORE 19615.168
AT ITER 346 NEW BEST:: SOT 68443 SOS 38090 HAS SOPS 38090 HAS SOUS 19520 HAS SOUPS 19520 WITH SCORE 19558.09
AT ITER 348 NEW BEST:: SOT 68221 SOS 37794 HAS SOPS 37794 HAS SOUS 19164 HAS SOUPS 19164 WITH SCORE 19201.794
AT ITER 350 NEW BEST:: SOT 68309 SOS 37579 HAS SOPS 37579 HAS SOUS 19018 HAS SOUPS 19018 WITH SCORE 19055.579
AT ITER 356 NEW BEST:: SOT 68210 SOS 37480 HAS SOPS 37480 HAS SOUS 19001 HAS SOUPS 19001 WITH SCORE 19038.48
AT ITER 358 NEW BEST:: SOT 68206 SOS 37482 HAS SOPS 37482 HAS SOUS 18995 HAS SOUPS 18995 WITH SCORE 19032.482
AT ITER 364 NEW BEST:: SOT 68080 SOS 37366 HAS SOPS 37366 HAS SOUS 18956 HAS SOUPS 18956 WITH SCORE 18993.366
AT ITER 374 NEW BEST:: SOT 68046 SOS 37326 HAS SOPS 37326 HAS SOUS 18946 HAS SOUPS 18946 WITH SCORE 18983.326
AT ITER 377 NEW BEST:: SOT 67879 SOS 37634 HAS SOPS 37634 HAS SOUS 18785 HAS SOUPS 18785 WITH SCORE 18822.634
AT ITER 382 NEW BEST:: SOT 67797 SOS 37334 HAS SOPS 37334 HAS SOUS 18644 HAS SOUPS 18644 WITH SCORE 18681.334
AT ITER 399 NEW BEST:: SOT 67782 SOS 37308 HAS SOPS 37308 HAS SOUS 18629 HAS SOUPS 18629 WITH SCORE 18666.308
AT ITER 401 NEW BEST:: SOT 67602 SOS 37128 HAS SOPS 37128 HAS SOUS 18519 HAS SOUPS 18519 WITH SCORE 18556.128
AT ITER 402 NEW BEST:: SOT 67570 SOS 37096 HAS SOPS 37096 HAS SOUS 18458 HAS SOUPS 18458 WITH SCORE 18495.096
AT ITER 403 NEW BEST:: SOT 67563 SOS 36996 HAS SOPS 36996 HAS SOUS 18443 HAS SOUPS 18443 WITH SCORE 18479.996
AT ITER 413 NEW BEST:: SOT 67445 SOS 36832 HAS SOPS 36832 HAS SOUS 18325 HAS SOUPS 18325 WITH SCORE 18361.832
AT ITER 415 NEW BEST:: SOT 67313 SOS 36683 HAS SOPS 36683 HAS SOUS 18314 HAS SOUPS 18314 WITH SCORE 18350.683
AT ITER 416 NEW BEST:: SOT 67301 SOS 36671 HAS SOPS 36671 HAS SOUS 18302 HAS SOUPS 18302 WITH SCORE 18338.671
AT ITER 419 NEW BEST:: SOT 67195 SOS 36565 HAS SOPS 36565 HAS SOUS 18230 HAS SOUPS 18230 WITH SCORE 18266.565
AT ITER 427 NEW BEST:: SOT 67062 SOS 36455 HAS SOPS 36455 HAS SOUS 18193 HAS SOUPS 18193 WITH SCORE 18229.455
AT ITER 428 NEW BEST:: SOT 66966 SOS 36887 HAS SOPS 36887 HAS SOUS 18183 HAS SOUPS 18183 WITH SCORE 18219.887
AT ITER 431 NEW BEST:: SOT 67013 SOS 36919 HAS SOPS 36919 HAS SOUS 18160 HAS SOUPS 18160 WITH SCORE 18196.919
AT ITER 432 NEW BEST:: SOT 67100 SOS 37003 HAS SOPS 37003 HAS SOUS 18143 HAS SOUPS 18143 WITH SCORE 18180.003
AT ITER 433 NEW BEST:: SOT 67104 SOS 37031 HAS SOPS 37031 HAS SOUS 18136 HAS SOUPS 18136 WITH SCORE 18173.031
AT ITER 440 NEW BEST:: SOT 67084 SOS 37027 HAS SOPS 37027 HAS SOUS 18124 HAS SOUPS 18124 WITH SCORE 18161.027
AT ITER 442 NEW BEST:: SOT 67084 SOS 37001 HAS SOPS 37001 HAS SOUS 18124 HAS SOUPS 18124 WITH SCORE 18161.001
AT ITER 443 NEW BEST:: SOT 67122 SOS 37141 HAS SOPS 37141 HAS SOUS 18055 HAS SOUPS 18055 WITH SCORE 18092.141
AT ITER 453 NEW BEST:: SOT 67013 SOS 37019 HAS SOPS 37019 HAS SOUS 17969 HAS SOUPS 17969 WITH SCORE 18006.019
AT ITER 458 NEW BEST:: SOT 66900 SOS 37216 HAS SOPS 37216 HAS SOUS 17811 HAS SOUPS 17811 WITH SCORE 17848.216
AT ITER 464 NEW BEST:: SOT 66882 SOS 37204 HAS SOPS 37204 HAS SOUS 17785 HAS SOUPS 17785 WITH SCORE 17822.204
AT ITER 467 NEW BEST:: SOT 66878 SOS 37200 HAS SOPS 37200 HAS SOUS 17783 HAS SOUPS 17783 WITH SCORE 17820.2
AT ITER 468 NEW BEST:: SOT 66872 SOS 37194 HAS SOPS 37194 HAS SOUS 17783 HAS SOUPS 17783 WITH SCORE 17820.194
AT ITER 472 NEW BEST:: SOT 66899 SOS 37550 HAS SOPS 37550 HAS SOUS 17712 HAS SOUPS 17712 WITH SCORE 17749.55
AT ITER 477 NEW BEST:: SOT 66856 SOS 37507 HAS SOPS 37507 HAS SOUS 17685 HAS SOUPS 17685 WITH SCORE 17722.507
AT ITER 478 NEW BEST:: SOT 66856 SOS 37507 HAS SOPS 37507 HAS SOUS 17683 HAS SOUPS 17683 WITH SCORE 17720.507
AT ITER 483 NEW BEST:: SOT 66832 SOS 37483 HAS SOPS 37483 HAS SOUS 17647 HAS SOUPS 17647 WITH SCORE 17684.483
AT ITER 488 NEW BEST:: SOT 66762 SOS 37485 HAS SOPS 37485 HAS SOUS 17607 HAS SOUPS 17607 WITH SCORE 17644.485
AT ITER 496 NEW BEST:: SOT 66764 SOS 37487 HAS SOPS 37487 HAS SOUS 17557 HAS SOUPS 17557 WITH SCORE 17594.487
AT ITER 503 NEW BEST:: SOT 66743 SOS 37492 HAS SOPS 37492 HAS SOUS 17508 HAS SOUPS 17508 WITH SCORE 17545.492
AT ITER 504 NEW BEST:: SOT 66743 SOS 37540 HAS SOPS 37540 HAS SOUS 17492 HAS SOUPS 17492 WITH SCORE 17529.54
AT ITER 506 NEW BEST:: SOT 66741 SOS 37516 HAS SOPS 37516 HAS SOUS 17476 HAS SOUPS 17476 WITH SCORE 17513.516
AT ITER 512 NEW BEST:: SOT 66731 SOS 37506 HAS SOPS 37506 HAS SOUS 17438 HAS SOUPS 17438 WITH SCORE 17475.506
AT ITER 515 NEW BEST:: SOT 66728 SOS 37491 HAS SOPS 37491 HAS SOUS 17432 HAS SOUPS 17432 WITH SCORE 17469.491
AT ITER 518 NEW BEST:: SOT 66769 SOS 37543 HAS SOPS 37543 HAS SOUS 17385 HAS SOUPS 17385 WITH SCORE 17422.543
AT ITER 523 NEW BEST:: SOT 66638 SOS 37506 HAS SOPS 37506 HAS SOUS 17279 HAS SOUPS 17279 WITH SCORE 17316.506
AT ITER 540 NEW BEST:: SOT 66628 SOS 37107 HAS SOPS 37107 HAS SOUS 17199 HAS SOUPS 17199 WITH SCORE 17236.107
AT ITER 543 NEW BEST:: SOT 66624 SOS 37099 HAS SOPS 37099 HAS SOUS 17195 HAS SOUPS 17195 WITH SCORE 17232.099
AT ITER 555 NEW BEST:: SOT 66592 SOS 37071 HAS SOPS 37071 HAS SOUS 17164 HAS SOUPS 17164 WITH SCORE 17201.071
AT ITER 560 NEW BEST:: SOT 66509 SOS 37070 HAS SOPS 37070 HAS SOUS 17155 HAS SOUPS 17155 WITH SCORE 17192.07
AT ITER 561 NEW BEST:: SOT 66566 SOS 37570 HAS SOPS 37570 HAS SOUS 17144 HAS SOUPS 17144 WITH SCORE 17181.57
AT ITER 569 NEW BEST:: SOT 66513 SOS 37501 HAS SOPS 37501 HAS SOUS 17066 HAS SOUPS 17066 WITH SCORE 17103.501
AT ITER 570 NEW BEST:: SOT 66513 SOS 37501 HAS SOPS 37501 HAS SOUS 17046 HAS SOUPS 17046 WITH SCORE 17083.501
AT ITER 573 NEW BEST:: SOT 66457 SOS 37435 HAS SOPS 37435 HAS SOUS 16985 HAS SOUPS 16985 WITH SCORE 17022.435
AT ITER 575 NEW BEST:: SOT 66396 SOS 37263 HAS SOPS 37263 HAS SOUS 16924 HAS SOUPS 16924 WITH SCORE 16961.263
AT ITER 590 NEW BEST:: SOT 66467 SOS 37322 HAS SOPS 37322 HAS SOUS 16918 HAS SOUPS 16918 WITH SCORE 16955.322
AT ITER 591 NEW BEST:: SOT 66459 SOS 37314 HAS SOPS 37314 HAS SOUS 16918 HAS SOUPS 16918 WITH SCORE 16955.314
AT ITER 596 NEW BEST:: SOT 66386 SOS 37241 HAS SOPS 37241 HAS SOUS 16878 HAS SOUPS 16878 WITH SCORE 16915.241
AT ITER 602 NEW BEST:: SOT 66470 SOS 37325 HAS SOPS 37325 HAS SOUS 16866 HAS SOUPS 16866 WITH SCORE 16903.325
AT ITER 603 NEW BEST:: SOT 66470 SOS 37319 HAS SOPS 37319 HAS SOUS 16863 HAS SOUPS 16863 WITH SCORE 16900.319
AT ITER 605 NEW BEST:: SOT 66470 SOS 37259 HAS SOPS 37259 HAS SOUS 16862 HAS SOUPS 16862 WITH SCORE 16899.259
AT ITER 612 NEW BEST:: SOT 66449 SOS 37238 HAS SOPS 37238 HAS SOUS 16832 HAS SOUPS 16832 WITH SCORE 16869.238
AT ITER 624 NEW BEST:: SOT 66482 SOS 37362 HAS SOPS 37362 HAS SOUS 16788 HAS SOUPS 16788 WITH SCORE 16825.362
AT ITER 625 NEW BEST:: SOT 66475 SOS 37355 HAS SOPS 37355 HAS SOUS 16779 HAS SOUPS 16779 WITH SCORE 16816.355
AT ITER 629 NEW BEST:: SOT 66424 SOS 37237 HAS SOPS 37237 HAS SOUS 16754 HAS SOUPS 16754 WITH SCORE 16791.237
AT ITER 642 NEW BEST:: SOT 66422 SOS 37199 HAS SOPS 37199 HAS SOUS 16738 HAS SOUPS 16738 WITH SCORE 16775.199
AT ITER 647 NEW BEST:: SOT 66421 SOS 37263 HAS SOPS 37263 HAS SOUS 16736 HAS SOUPS 16736 WITH SCORE 16773.263
AT ITER 657 NEW BEST:: SOT 66367 SOS 37195 HAS SOPS 37195 HAS SOUS 16682 HAS SOUPS 16682 WITH SCORE 16719.195
AT ITER 663 NEW BEST:: SOT 66208 SOS 36885 HAS SOPS 36885 HAS SOUS 16624 HAS SOUPS 16624 WITH SCORE 16660.885
AT ITER 665 NEW BEST:: SOT 66042 SOS 36633 HAS SOPS 36633 HAS SOUS 16440 HAS SOUPS 16440 WITH SCORE 16476.633
AT ITER 688 NEW BEST:: SOT 66041 SOS 36606 HAS SOPS 36606 HAS SOUS 16417 HAS SOUPS 16417 WITH SCORE 16453.606
AT ITER 694 NEW BEST:: SOT 66049 SOS 36614 HAS SOPS 36614 HAS SOUS 16385 HAS SOUPS 16385 WITH SCORE 16421.614
AT ITER 699 NEW BEST:: SOT 66149 SOS 36714 HAS SOPS 36714 HAS SOUS 16363 HAS SOUPS 16363 WITH SCORE 16399.714
AT ITER 705 NEW BEST:: SOT 66163 SOS 36742 HAS SOPS 36742 HAS SOUS 16361 HAS SOUPS 16361 WITH SCORE 16397.742
AT ITER 712 NEW BEST:: SOT 66145 SOS 36746 HAS SOPS 36746 HAS SOUS 16343 HAS SOUPS 16343 WITH SCORE 16379.746
AT ITER 714 NEW BEST:: SOT 66147 SOS 36740 HAS SOPS 36740 HAS SOUS 16340 HAS SOUPS 16340 WITH SCORE 16376.74
AT ITER 715 NEW BEST:: SOT 66147 SOS 36742 HAS SOPS 36742 HAS SOUS 16338 HAS SOUPS 16338 WITH SCORE 16374.742
AT ITER 742 NEW BEST:: SOT 66125 SOS 36720 HAS SOPS 36720 HAS SOUS 16307 HAS SOUPS 16307 WITH SCORE 16343.72
AT ITER 743 NEW BEST:: SOT 66089 SOS 36691 HAS SOPS 36691 HAS SOUS 16292 HAS SOUPS 16292 WITH SCORE 16328.691
AT ITER 749 NEW BEST:: SOT 66075 SOS 36677 HAS SOPS 36677 HAS SOUS 16278 HAS SOUPS 16278 WITH SCORE 16314.677
AT ITER 754 NEW BEST:: SOT 66081 SOS 36713 HAS SOPS 36713 HAS SOUS 16275 HAS SOUPS 16275 WITH SCORE 16311.713
AT ITER 760 NEW BEST:: SOT 66063 SOS 36665 HAS SOPS 36665 HAS SOUS 16270 HAS SOUPS 16270 WITH SCORE 16306.665
AT ITER 797 NEW BEST:: SOT 66054 SOS 36365 HAS SOPS 36365 HAS SOUS 16257 HAS SOUPS 16257 WITH SCORE 16293.365
AT ITER 800 NEW BEST:: SOT 65992 SOS 36265 HAS SOPS 36265 HAS SOUS 16195 HAS SOUPS 16195 WITH SCORE 16231.265
AT ITER 802 NEW BEST:: SOT 65992 SOS 36237 HAS SOPS 36237 HAS SOUS 16167 HAS SOUPS 16167 WITH SCORE 16203.237
AT ITER 804 NEW BEST:: SOT 65968 SOS 36177 HAS SOPS 36177 HAS SOUS 16133 HAS SOUPS 16133 WITH SCORE 16169.177
AT ITER 812 NEW BEST:: SOT 65956 SOS 36125 HAS SOPS 36125 HAS SOUS 16098 HAS SOUPS 16098 WITH SCORE 16134.125
AT ITER 818 NEW BEST:: SOT 65865 SOS 36013 HAS SOPS 36013 HAS SOUS 15964 HAS SOUPS 15964 WITH SCORE 16000.013
AT ITER 823 NEW BEST:: SOT 65398 SOS 36914 HAS SOPS 36914 HAS SOUS 15953 HAS SOUPS 15953 WITH SCORE 15989.914
AT ITER 832 NEW BEST:: SOT 65384 SOS 36900 HAS SOPS 36900 HAS SOUS 15939 HAS SOUPS 15939 WITH SCORE 15975.9
AT ITER 842 NEW BEST:: SOT 65320 SOS 36836 HAS SOPS 36836 HAS SOUS 15921 HAS SOUPS 15921 WITH SCORE 15957.836
AT ITER 843 NEW BEST:: SOT 65262 SOS 36685 HAS SOPS 36685 HAS SOUS 15870 HAS SOUPS 15870 WITH SCORE 15906.685
AT ITER 844 NEW BEST:: SOT 65063 SOS 36269 HAS SOPS 36269 HAS SOUS 15781 HAS SOUPS 15781 WITH SCORE 15817.269
AT ITER 848 NEW BEST:: SOT 65043 SOS 36229 HAS SOPS 36229 HAS SOUS 15761 HAS SOUPS 15761 WITH SCORE 15797.229
AT ITER 850 NEW BEST:: SOT 64684 SOS 37547 HAS SOPS 37547 HAS SOUS 15753 HAS SOUPS 15753 WITH SCORE 15790.547
AT ITER 858 NEW BEST:: SOT 64684 SOS 37547 HAS SOPS 37547 HAS SOUS 15735 HAS SOUPS 15735 WITH SCORE 15772.547
AT ITER 861 NEW BEST:: SOT 64710 SOS 37573 HAS SOPS 37573 HAS SOUS 15693 HAS SOUPS 15693 WITH SCORE 15730.573
AT ITER 865 NEW BEST:: SOT 64714 SOS 37601 HAS SOPS 37601 HAS SOUS 15692 HAS SOUPS 15692 WITH SCORE 15729.601
AT ITER 883 NEW BEST:: SOT 64791 SOS 37678 HAS SOPS 37678 HAS SOUS 15664 HAS SOUPS 15664 WITH SCORE 15701.678
AT ITER 896 NEW BEST:: SOT 64317 SOS 37358 HAS SOPS 37358 HAS SOUS 15631 HAS SOUPS 15631 WITH SCORE 15668.358
AT ITER 898 NEW BEST:: SOT 64283 SOS 37292 HAS SOPS 37292 HAS SOUS 15599 HAS SOUPS 15599 WITH SCORE 15636.292
AT ITER 919 NEW BEST:: SOT 64283 SOS 37268 HAS SOPS 37268 HAS SOUS 15599 HAS SOUPS 15599 WITH SCORE 15636.268
AT ITER 925 NEW BEST:: SOT 64260 SOS 37240 HAS SOPS 37240 HAS SOUS 15591 HAS SOUPS 15591 WITH SCORE 15628.24
AT ITER 936 NEW BEST:: SOT 64136 SOS 36932 HAS SOPS 36932 HAS SOUS 15527 HAS SOUPS 15527 WITH SCORE 15563.932
AT ITER 956 NEW BEST:: SOT 64124 SOS 36878 HAS SOPS 36878 HAS SOUS 15515 HAS SOUPS 15515 WITH SCORE 15551.878
AT ITER 958 NEW BEST:: SOT 64118 SOS 36850 HAS SOPS 36850 HAS SOUS 15402 HAS SOUPS 15402 WITH SCORE 15438.85
AT ITER 959 NEW BEST:: SOT 64109 SOS 36802 HAS SOPS 36802 HAS SOUS 15393 HAS SOUPS 15393 WITH SCORE 15429.802
AT ITER 960 NEW BEST:: SOT 64171 SOS 36864 HAS SOPS 36864 HAS SOUS 15383 HAS SOUPS 15383 WITH SCORE 15419.864
AT ITER 961 NEW BEST:: SOT 64171 SOS 36867 HAS SOPS 36867 HAS SOUS 15382 HAS SOUPS 15382 WITH SCORE 15418.867
AT ITER 974 NEW BEST:: SOT 64167 SOS 36871 HAS SOPS 36871 HAS SOUS 15374 HAS SOUPS 15374 WITH SCORE 15410.871
AT ITER 975 NEW BEST:: SOT 64138 SOS 36842 HAS SOPS 36842 HAS SOUS 15366 HAS SOUPS 15366 WITH SCORE 15402.842
AT ITER 978 NEW BEST:: SOT 64212 SOS 36909 HAS SOPS 36909 HAS SOUS 15365 HAS SOUPS 15365 WITH SCORE 15401.909
AT ITER 983 NEW BEST:: SOT 64082 SOS 36779 HAS SOPS 36779 HAS SOUS 15349 HAS SOUPS 15349 WITH SCORE 15385.779
AT ITER 989 NEW BEST:: SOT 64011 SOS 36697 HAS SOPS 36697 HAS SOUS 15256 HAS SOUPS 15256 WITH SCORE 15292.697
AT ITER 993 NEW BEST:: SOT 64009 SOS 36695 HAS SOPS 36695 HAS SOUS 15252 HAS SOUPS 15252 WITH SCORE 15288.695
AT ITER 994 NEW BEST:: SOT 63974 SOS 36665 HAS SOPS 36665 HAS SOUS 15208 HAS SOUPS 15208 WITH SCORE 15244.665
AT ITER 1011 NEW BEST:: SOT 63958 SOS 36423 HAS SOPS 36423 HAS SOUS 15192 HAS SOUPS 15192 WITH SCORE 15228.423
AT ITER 1018 NEW BEST:: SOT 63956 SOS 36419 HAS SOPS 36419 HAS SOUS 15190 HAS SOUPS 15190 WITH SCORE 15226.419
AT ITER 1026 NEW BEST:: SOT 63925 SOS 36341 HAS SOPS 36341 HAS SOUS 15166 HAS SOUPS 15166 WITH SCORE 15202.341
AT ITER 1029 NEW BEST:: SOT 63860 SOS 36275 HAS SOPS 36275 HAS SOUS 15101 HAS SOUPS 15101 WITH SCORE 15137.275
AT ITER 1033 NEW BEST:: SOT 63844 SOS 36257 HAS SOPS 36257 HAS SOUS 15087 HAS SOUPS 15087 WITH SCORE 15123.257
AT ITER 1037 NEW BEST:: SOT 63802 SOS 36215 HAS SOPS 36215 HAS SOUS 14993 HAS SOUPS 14993 WITH SCORE 15029.215
AT ITER 1053 NEW BEST:: SOT 63730 SOS 36193 HAS SOPS 36193 HAS SOUS 14966 HAS SOUPS 14966 WITH SCORE 15002.193
AT ITER 1057 NEW BEST:: SOT 63730 SOS 36189 HAS SOPS 36189 HAS SOUS 14964 HAS SOUPS 14964 WITH SCORE 15000.189
AT ITER 1066 NEW BEST:: SOT 63730 SOS 36202 HAS SOPS 36202 HAS SOUS 14936 HAS SOUPS 14936 WITH SCORE 14972.202
AT ITER 1067 NEW BEST:: SOT 63721 SOS 36191 HAS SOPS 36191 HAS SOUS 14918 HAS SOUPS 14918 WITH SCORE 14954.191
AT ITER 1085 NEW BEST:: SOT 63649 SOS 36095 HAS SOPS 36095 HAS SOUS 14822 HAS SOUPS 14822 WITH SCORE 14858.095
AT ITER 1087 NEW BEST:: SOT 63636 SOS 35762 HAS SOPS 35762 HAS SOUS 14698 HAS SOUPS 14698 WITH SCORE 14733.762
AT ITER 1091 NEW BEST:: SOT 63627 SOS 35807 HAS SOPS 35807 HAS SOUS 14695 HAS SOUPS 14695 WITH SCORE 14730.807
AT ITER 1092 NEW BEST:: SOT 63591 SOS 35757 HAS SOPS 35757 HAS SOUS 14650 HAS SOUPS 14650 WITH SCORE 14685.757
AT ITER 1095 NEW BEST:: SOT 63604 SOS 35763 HAS SOPS 35763 HAS SOUS 14627 HAS SOUPS 14627 WITH SCORE 14662.763
AT ITER 1115 NEW BEST:: SOT 63597 SOS 35751 HAS SOPS 35751 HAS SOUS 14620 HAS SOUPS 14620 WITH SCORE 14655.751
AT ITER 1119 NEW BEST:: SOT 63604 SOS 35794 HAS SOPS 35794 HAS SOUS 14598 HAS SOUPS 14598 WITH SCORE 14633.794
AT ITER 1121 NEW BEST:: SOT 63604 SOS 35776 HAS SOPS 35776 HAS SOUS 14598 HAS SOUPS 14598 WITH SCORE 14633.776
AT ITER 1130 NEW BEST:: SOT 63604 SOS 35776 HAS SOPS 35776 HAS SOUS 14594 HAS SOUPS 14594 WITH SCORE 14629.776
AT ITER 1133 NEW BEST:: SOT 63571 SOS 35736 HAS SOPS 35736 HAS SOUS 14561 HAS SOUPS 14561 WITH SCORE 14596.736
AT ITER 1142 NEW BEST:: SOT 63556 SOS 35726 HAS SOPS 35726 HAS SOUS 14536 HAS SOUPS 14536 WITH SCORE 14571.726
AT ITER 1144 NEW BEST:: SOT 63518 SOS 35706 HAS SOPS 35706 HAS SOUS 14494 HAS SOUPS 14494 WITH SCORE 14529.706
AT ITER 1151 NEW BEST:: SOT 63509 SOS 35697 HAS SOPS 35697 HAS SOUS 14494 HAS SOUPS 14494 WITH SCORE 14529.697
AT ITER 1154 NEW BEST:: SOT 63530 SOS 35594 HAS SOPS 35594 HAS SOUS 14481 HAS SOUPS 14481 WITH SCORE 14516.594
AT ITER 1162 NEW BEST:: SOT 63516 SOS 35570 HAS SOPS 35570 HAS SOUS 14477 HAS SOUPS 14477 WITH SCORE 14512.57
AT ITER 1169 NEW BEST:: SOT 63494 SOS 35526 HAS SOPS 35526 HAS SOUS 14455 HAS SOUPS 14455 WITH SCORE 14490.526
AT ITER 1173 NEW BEST:: SOT 63494 SOS 35526 HAS SOPS 35526 HAS SOUS 14447 HAS SOUPS 14447 WITH SCORE 14482.526
AT ITER 1191 NEW BEST:: SOT 63525 SOS 35444 HAS SOPS 35444 HAS SOUS 14442 HAS SOUPS 14442 WITH SCORE 14477.444
AT ITER 1199 NEW BEST:: SOT 63515 SOS 35354 HAS SOPS 35354 HAS SOUS 14412 HAS SOUPS 14412 WITH SCORE 14447.354
AT ITER 1201 NEW BEST:: SOT 63500 SOS 35294 HAS SOPS 35294 HAS SOUS 14382 HAS SOUPS 14382 WITH SCORE 14417.294
AT ITER 1203 NEW BEST:: SOT 63484 SOS 35278 HAS SOPS 35278 HAS SOUS 14382 HAS SOUPS 14382 WITH SCORE 14417.278
AT ITER 1210 NEW BEST:: SOT 63683 SOS 34546 HAS SOPS 34546 HAS SOUS 14304 HAS SOUPS 14304 WITH SCORE 14338.546
AT ITER 1218 NEW BEST:: SOT 63672 SOS 34535 HAS SOPS 34535 HAS SOUS 14304 HAS SOUPS 14304 WITH SCORE 14338.535
AT ITER 1224 NEW BEST:: SOT 63570 SOS 34380 HAS SOPS 34380 HAS SOUS 14162 HAS SOUPS 14162 WITH SCORE 14196.38
AT ITER 1233 NEW BEST:: SOT 63573 SOS 34470 HAS SOPS 34470 HAS SOUS 14151 HAS SOUPS 14151 WITH SCORE 14185.47
AT ITER 1234 NEW BEST:: SOT 63573 SOS 34470 HAS SOPS 34470 HAS SOUS 14123 HAS SOUPS 14123 WITH SCORE 14157.47
AT ITER 1235 NEW BEST:: SOT 63581 SOS 34468 HAS SOPS 34468 HAS SOUS 14117 HAS SOUPS 14117 WITH SCORE 14151.468
AT ITER 1238 NEW BEST:: SOT 63586 SOS 34590 HAS SOPS 34590 HAS SOUS 14038 HAS SOUPS 14038 WITH SCORE 14072.59
AT ITER 1240 NEW BEST:: SOT 63552 SOS 34556 HAS SOPS 34556 HAS SOUS 14021 HAS SOUPS 14021 WITH SCORE 14055.556
AT ITER 1242 NEW BEST:: SOT 63532 SOS 34524 HAS SOPS 34524 HAS SOUS 13989 HAS SOUPS 13989 WITH SCORE 14023.524
AT ITER 1243 NEW BEST:: SOT 63502 SOS 34514 HAS SOPS 34514 HAS SOUS 13969 HAS SOUPS 13969 WITH SCORE 14003.514
AT ITER 1244 NEW BEST:: SOT 63458 SOS 34470 HAS SOPS 34470 HAS SOUS 13954 HAS SOUPS 13954 WITH SCORE 13988.47
AT ITER 1277 NEW BEST:: SOT 63458 SOS 34470 HAS SOPS 34470 HAS SOUS 13953 HAS SOUPS 13953 WITH SCORE 13987.47
AT ITER 1281 NEW BEST:: SOT 63458 SOS 34470 HAS SOPS 34470 HAS SOUS 13922 HAS SOUPS 13922 WITH SCORE 13956.47
AT ITER 1289 NEW BEST:: SOT 63437 SOS 34428 HAS SOPS 34428 HAS SOUS 13901 HAS SOUPS 13901 WITH SCORE 13935.428
AT ITER 1296 NEW BEST:: SOT 63397 SOS 34435 HAS SOPS 34435 HAS SOUS 13841 HAS SOUPS 13841 WITH SCORE 13875.435
AT ITER 1299 NEW BEST:: SOT 63401 SOS 34463 HAS SOPS 34463 HAS SOUS 13795 HAS SOUPS 13795 WITH SCORE 13829.463
AT ITER 1314 NEW BEST:: SOT 63295 SOS 34367 HAS SOPS 34367 HAS SOUS 13783 HAS SOUPS 13783 WITH SCORE 13817.367
AT ITER 1315 NEW BEST:: SOT 63336 SOS 34086 HAS SOPS 34086 HAS SOUS 13731 HAS SOUPS 13731 WITH SCORE 13765.086
AT ITER 1325 NEW BEST:: SOT 63354 SOS 34162 HAS SOPS 34162 HAS SOUS 13708 HAS SOUPS 13708 WITH SCORE 13742.162
AT ITER 1340 NEW BEST:: SOT 63372 SOS 34180 HAS SOPS 34180 HAS SOUS 13694 HAS SOUPS 13694 WITH SCORE 13728.18
AT ITER 1349 NEW BEST:: SOT 63438 SOS 34246 HAS SOPS 34246 HAS SOUS 13628 HAS SOUPS 13628 WITH SCORE 13662.246
AT ITER 1350 NEW BEST:: SOT 63324 SOS 34236 HAS SOPS 34236 HAS SOUS 13607 HAS SOUPS 13607 WITH SCORE 13641.236
AT ITER 1355 NEW BEST:: SOT 63311 SOS 34210 HAS SOPS 34210 HAS SOUS 13581 HAS SOUPS 13581 WITH SCORE 13615.21
AT ITER 1376 NEW BEST:: SOT 63276 SOS 34140 HAS SOPS 34140 HAS SOUS 13546 HAS SOUPS 13546 WITH SCORE 13580.14
AT ITER 1390 NEW BEST:: SOT 63247 SOS 34126 HAS SOPS 34126 HAS SOUS 13527 HAS SOUPS 13527 WITH SCORE 13561.126
AT ITER 1399 NEW BEST:: SOT 63240 SOS 34140 HAS SOPS 34140 HAS SOUS 13520 HAS SOUPS 13520 WITH SCORE 13554.14
AT ITER 1419 NEW BEST:: SOT 63245 SOS 34145 HAS SOPS 34145 HAS SOUS 13513 HAS SOUPS 13513 WITH SCORE 13547.145
AT ITER 1430 NEW BEST:: SOT 63236 SOS 34136 HAS SOPS 34136 HAS SOUS 13504 HAS SOUPS 13504 WITH SCORE 13538.136
AT ITER 1441 NEW BEST:: SOT 63127 SOS 33934 HAS SOPS 33934 HAS SOUS 13469 HAS SOUPS 13469 WITH SCORE 13502.934
AT ITER 1450 NEW BEST:: SOT 63115 SOS 33918 HAS SOPS 33918 HAS SOUS 13449 HAS SOUPS 13449 WITH SCORE 13482.918
AT ITER 1451 NEW BEST:: SOT 63111 SOS 33910 HAS SOPS 33910 HAS SOUS 13433 HAS SOUPS 13433 WITH SCORE 13466.91
AT ITER 1462 NEW BEST:: SOT 63093 SOS 33888 HAS SOPS 33888 HAS SOUS 13413 HAS SOUPS 13413 WITH SCORE 13446.888
AT ITER 1465 NEW BEST:: SOT 63085 SOS 33880 HAS SOPS 33880 HAS SOUS 13409 HAS SOUPS 13409 WITH SCORE 13442.88
AT ITER 1477 NEW BEST:: SOT 63081 SOS 33757 HAS SOPS 33757 HAS SOUS 13408 HAS SOUPS 13408 WITH SCORE 13441.757
AT ITER 1478 NEW BEST:: SOT 63099 SOS 33720 HAS SOPS 33720 HAS SOUS 13396 HAS SOUPS 13396 WITH SCORE 13429.72
AT ITER 1487 NEW BEST:: SOT 63097 SOS 33751 HAS SOPS 33751 HAS SOUS 13394 HAS SOUPS 13394 WITH SCORE 13427.751
AT ITER 1494 NEW BEST:: SOT 63050 SOS 33708 HAS SOPS 33708 HAS SOUS 13387 HAS SOUPS 13387 WITH SCORE 13420.708
AT ITER 1508 NEW BEST:: SOT 63049 SOS 33710 HAS SOPS 33710 HAS SOUS 13386 HAS SOUPS 13386 WITH SCORE 13419.71
AT ITER 1545 NEW BEST:: SOT 63041 SOS 33593 HAS SOPS 33593 HAS SOUS 13270 HAS SOUPS 13270 WITH SCORE 13303.593
AT ITER 1548 NEW BEST:: SOT 63009 SOS 33878 HAS SOPS 33878 HAS SOUS 13254 HAS SOUPS 13254 WITH SCORE 13287.878
AT ITER 1551 NEW BEST:: SOT 63000 SOS 33866 HAS SOPS 33866 HAS SOUS 13245 HAS SOUPS 13245 WITH SCORE 13278.866
AT ITER 1552 NEW BEST:: SOT 63029 SOS 33895 HAS SOPS 33895 HAS SOUS 13233 HAS SOUPS 13233 WITH SCORE 13266.895
AT ITER 1553 NEW BEST:: SOT 63029 SOS 33895 HAS SOPS 33895 HAS SOUS 13215 HAS SOUPS 13215 WITH SCORE 13248.895
AT ITER 1557 NEW BEST:: SOT 63046 SOS 33843 HAS SOPS 33843 HAS SOUS 13185 HAS SOUPS 13185 WITH SCORE 13218.843
AT ITER 1561 NEW BEST:: SOT 63041 SOS 33838 HAS SOPS 33838 HAS SOUS 13159 HAS SOUPS 13159 WITH SCORE 13192.838
AT ITER 1563 NEW BEST:: SOT 63041 SOS 33838 HAS SOPS 33838 HAS SOUS 13126 HAS SOUPS 13126 WITH SCORE 13159.838
AT ITER 1575 NEW BEST:: SOT 63051 SOS 33848 HAS SOPS 33848 HAS SOUS 13116 HAS SOUPS 13116 WITH SCORE 13149.848
AT ITER 1581 NEW BEST:: SOT 63032 SOS 33944 HAS SOPS 33944 HAS SOUS 13097 HAS SOUPS 13097 WITH SCORE 13130.944
AT ITER 1593 NEW BEST:: SOT 63088 SOS 34000 HAS SOPS 34000 HAS SOUS 13094 HAS SOUPS 13094 WITH SCORE 13128.0
AT ITER 1607 NEW BEST:: SOT 63123 SOS 34122 HAS SOPS 34122 HAS SOUS 13088 HAS SOUPS 13088 WITH SCORE 13122.122
AT ITER 1616 NEW BEST:: SOT 63115 SOS 34098 HAS SOPS 34098 HAS SOUS 13073 HAS SOUPS 13073 WITH SCORE 13107.098
AT ITER 1623 NEW BEST:: SOT 63115 SOS 34088 HAS SOPS 34088 HAS SOUS 13073 HAS SOUPS 13073 WITH SCORE 13107.088
AT ITER 1625 NEW BEST:: SOT 63175 SOS 33704 HAS SOPS 33704 HAS SOUS 13071 HAS SOUPS 13071 WITH SCORE 13104.704
AT ITER 1638 NEW BEST:: SOT 63207 SOS 33741 HAS SOPS 33741 HAS SOUS 13063 HAS SOUPS 13063 WITH SCORE 13096.741
AT ITER 1647 NEW BEST:: SOT 63195 SOS 33729 HAS SOPS 33729 HAS SOUS 13051 HAS SOUPS 13051 WITH SCORE 13084.729
AT ITER 1650 NEW BEST:: SOT 63191 SOS 33681 HAS SOPS 33681 HAS SOUS 13037 HAS SOUPS 13037 WITH SCORE 13070.681
AT ITER 1682 NEW BEST:: SOT 63185 SOS 33616 HAS SOPS 33616 HAS SOUS 13002 HAS SOUPS 13002 WITH SCORE 13035.616
AT ITER 1688 NEW BEST:: SOT 63164 SOS 33978 HAS SOPS 33978 HAS SOUS 12933 HAS SOUPS 12933 WITH SCORE 12966.978
AT ITER 1698 NEW BEST:: SOT 63137 SOS 33928 HAS SOPS 33928 HAS SOUS 12907 HAS SOUPS 12907 WITH SCORE 12940.928
AT ITER 1703 NEW BEST:: SOT 63113 SOS 34001 HAS SOPS 34001 HAS SOUS 12902 HAS SOUPS 12902 WITH SCORE 12936.001
AT ITER 1705 NEW BEST:: SOT 63069 SOS 33957 HAS SOPS 33957 HAS SOUS 12837 HAS SOUPS 12837 WITH SCORE 12870.957
AT ITER 1715 NEW BEST:: SOT 63055 SOS 33943 HAS SOPS 33943 HAS SOUS 12811 HAS SOUPS 12811 WITH SCORE 12844.943
AT ITER 1730 NEW BEST:: SOT 63049 SOS 33935 HAS SOPS 33935 HAS SOUS 12803 HAS SOUPS 12803 WITH SCORE 12836.935
AT ITER 1743 NEW BEST:: SOT 63041 SOS 33786 HAS SOPS 33786 HAS SOUS 12780 HAS SOUPS 12780 WITH SCORE 12813.786
AT ITER 1759 NEW BEST:: SOT 63101 SOS 33583 HAS SOPS 33583 HAS SOUS 12710 HAS SOUPS 12710 WITH SCORE 12743.583
AT ITER 1797 NEW BEST:: SOT 63035 SOS 33160 HAS SOPS 33160 HAS SOUS 12683 HAS SOUPS 12683 WITH SCORE 12716.16
AT ITER 1811 NEW BEST:: SOT 62995 SOS 33114 HAS SOPS 33114 HAS SOUS 12654 HAS SOUPS 12654 WITH SCORE 12687.114
AT ITER 1821 NEW BEST:: SOT 62994 SOS 33166 HAS SOPS 33166 HAS SOUS 12653 HAS SOUPS 12653 WITH SCORE 12686.166
AT ITER 1844 NEW BEST:: SOT 62986 SOS 33102 HAS SOPS 33102 HAS SOUS 12609 HAS SOUPS 12609 WITH SCORE 12642.102
AT ITER 1848 NEW BEST:: SOT 62985 SOS 33078 HAS SOPS 33078 HAS SOUS 12607 HAS SOUPS 12607 WITH SCORE 12640.078
AT ITER 1852 NEW BEST:: SOT 62983 SOS 33074 HAS SOPS 33074 HAS SOUS 12588 HAS SOUPS 12588 WITH SCORE 12621.074
AT ITER 1858 NEW BEST:: SOT 62963 SOS 33059 HAS SOPS 33059 HAS SOUS 12563 HAS SOUPS 12563 WITH SCORE 12596.059
AT ITER 1860 NEW BEST:: SOT 62953 SOS 33049 HAS SOPS 33049 HAS SOUS 12541 HAS SOUPS 12541 WITH SCORE 12574.049
AT ITER 1861 NEW BEST:: SOT 62842 SOS 32966 HAS SOPS 32966 HAS SOUS 12520 HAS SOUPS 12520 WITH SCORE 12552.966
AT ITER 1865 NEW BEST:: SOT 62815 SOS 32952 HAS SOPS 32952 HAS SOUS 12473 HAS SOUPS 12473 WITH SCORE 12505.952
AT ITER 1866 NEW BEST:: SOT 62857 SOS 32989 HAS SOPS 32989 HAS SOUS 12470 HAS SOUPS 12470 WITH SCORE 12502.989
AT ITER 1869 NEW BEST:: SOT 62850 SOS 32975 HAS SOPS 32975 HAS SOUS 12470 HAS SOUPS 12470 WITH SCORE 12502.975
AT ITER 1872 NEW BEST:: SOT 62698 SOS 32828 HAS SOPS 32828 HAS SOUS 12402 HAS SOUPS 12402 WITH SCORE 12434.828
AT ITER 1881 NEW BEST:: SOT 62705 SOS 32772 HAS SOPS 32772 HAS SOUS 12402 HAS SOUPS 12402 WITH SCORE 12434.772
AT ITER 1888 NEW BEST:: SOT 62647 SOS 32680 HAS SOPS 32680 HAS SOUS 12379 HAS SOUPS 12379 WITH SCORE 12411.68
AT ITER 1890 NEW BEST:: SOT 62695 SOS 32693 HAS SOPS 32693 HAS SOUS 12264 HAS SOUPS 12264 WITH SCORE 12296.693
AT ITER 1891 NEW BEST:: SOT 62679 SOS 32671 HAS SOPS 32671 HAS SOUS 12208 HAS SOUPS 12208 WITH SCORE 12240.671
AT ITER 1898 NEW BEST:: SOT 62673 SOS 32677 HAS SOPS 32677 HAS SOUS 12196 HAS SOUPS 12196 WITH SCORE 12228.677
AT ITER 1902 NEW BEST:: SOT 62631 SOS 32635 HAS SOPS 32635 HAS SOUS 12190 HAS SOUPS 12190 WITH SCORE 12222.635
AT ITER 1905 NEW BEST:: SOT 62565 SOS 32335 HAS SOPS 32335 HAS SOUS 12070 HAS SOUPS 12070 WITH SCORE 12102.335
AT ITER 1926 NEW BEST:: SOT 62565 SOS 32335 HAS SOPS 32335 HAS SOUS 12067 HAS SOUPS 12067 WITH SCORE 12099.335
AT ITER 1928 NEW BEST:: SOT 62565 SOS 32323 HAS SOPS 32323 HAS SOUS 12061 HAS SOUPS 12061 WITH SCORE 12093.323
AT ITER 1951 NEW BEST:: SOT 62531 SOS 32289 HAS SOPS 32289 HAS SOUS 12027 HAS SOUPS 12027 WITH SCORE 12059.289
AT ITER 1954 NEW BEST:: SOT 62531 SOS 32289 HAS SOPS 32289 HAS SOUS 12009 HAS SOUPS 12009 WITH SCORE 12041.289
AT ITER 1962 NEW BEST:: SOT 62536 SOS 32217 HAS SOPS 32217 HAS SOUS 11990 HAS SOUPS 11990 WITH SCORE 12022.217
AT ITER 1972 NEW BEST:: SOT 62542 SOS 32223 HAS SOPS 32223 HAS SOUS 11988 HAS SOUPS 11988 WITH SCORE 12020.223
AT ITER 1985 NEW BEST:: SOT 62570 SOS 31900 HAS SOPS 31900 HAS SOUS 11978 HAS SOUPS 11978 WITH SCORE 12009.9
AT ITER 1987 NEW BEST:: SOT 62561 SOS 31891 HAS SOPS 31891 HAS SOUS 11976 HAS SOUPS 11976 WITH SCORE 12007.891
AT ITER 1993 NEW BEST:: SOT 62550 SOS 31882 HAS SOPS 31882 HAS SOUS 11966 HAS SOUPS 11966 WITH SCORE 11997.882
AT ITER 2010 NEW BEST:: SOT 62546 SOS 31924 HAS SOPS 31924 HAS SOUS 11962 HAS SOUPS 11962 WITH SCORE 11993.924
AT ITER 2040 NEW BEST:: SOT 62539 SOS 31897 HAS SOPS 31897 HAS SOUS 11948 HAS SOUPS 11948 WITH SCORE 11979.897
AT ITER 2044 NEW BEST:: SOT 62539 SOS 31879 HAS SOPS 31879 HAS SOUS 11942 HAS SOUPS 11942 WITH SCORE 11973.879
AT ITER 2047 NEW BEST:: SOT 62547 SOS 31876 HAS SOPS 31876 HAS SOUS 11916 HAS SOUPS 11916 WITH SCORE 11947.876
AT ITER 2048 NEW BEST:: SOT 62547 SOS 31802 HAS SOPS 31802 HAS SOUS 11916 HAS SOUPS 11916 WITH SCORE 11947.802
AT ITER 2054 NEW BEST:: SOT 62523 SOS 31768 HAS SOPS 31768 HAS SOUS 11875 HAS SOUPS 11875 WITH SCORE 11906.768
AT ITER 2065 NEW BEST:: SOT 62501 SOS 31730 HAS SOPS 31730 HAS SOUS 11817 HAS SOUPS 11817 WITH SCORE 11848.73
AT ITER 2068 NEW BEST:: SOT 62515 SOS 31716 HAS SOPS 31716 HAS SOUS 11817 HAS SOUPS 11817 WITH SCORE 11848.716
AT ITER 2073 NEW BEST:: SOT 62488 SOS 31683 HAS SOPS 31683 HAS SOUS 11763 HAS SOUPS 11763 WITH SCORE 11794.683
AT ITER 2074 NEW BEST:: SOT 62414 SOS 31615 HAS SOPS 31615 HAS SOUS 11661 HAS SOUPS 11661 WITH SCORE 11692.615
AT ITER 2077 NEW BEST:: SOT 62316 SOS 31481 HAS SOPS 31481 HAS SOUS 11526 HAS SOUPS 11526 WITH SCORE 11557.481
AT ITER 2103 NEW BEST:: SOT 62292 SOS 31479 HAS SOPS 31479 HAS SOUS 11514 HAS SOUPS 11514 WITH SCORE 11545.479
AT ITER 2115 NEW BEST:: SOT 62279 SOS 31463 HAS SOPS 31463 HAS SOUS 11501 HAS SOUPS 11501 WITH SCORE 11532.463
AT ITER 2127 NEW BEST:: SOT 62275 SOS 31443 HAS SOPS 31443 HAS SOUS 11497 HAS SOUPS 11497 WITH SCORE 11528.443
AT ITER 2132 NEW BEST:: SOT 62272 SOS 31437 HAS SOPS 31437 HAS SOUS 11493 HAS SOUPS 11493 WITH SCORE 11524.437
AT ITER 2149 NEW BEST:: SOT 62268 SOS 31430 HAS SOPS 31430 HAS SOUS 11487 HAS SOUPS 11487 WITH SCORE 11518.43
AT ITER 2153 NEW BEST:: SOT 62264 SOS 31392 HAS SOPS 31392 HAS SOUS 11483 HAS SOUPS 11483 WITH SCORE 11514.392
AT ITER 2154 NEW BEST:: SOT 62246 SOS 31306 HAS SOPS 31306 HAS SOUS 11394 HAS SOUPS 11394 WITH SCORE 11425.306
AT ITER 2158 NEW BEST:: SOT 62273 SOS 31384 HAS SOPS 31384 HAS SOUS 11353 HAS SOUPS 11353 WITH SCORE 11384.384
AT ITER 2169 NEW BEST:: SOT 62189 SOS 30859 HAS SOPS 30859 HAS SOUS 11215 HAS SOUPS 11215 WITH SCORE 11245.859
AT ITER 2186 NEW BEST:: SOT 62165 SOS 30829 HAS SOPS 30829 HAS SOUS 11209 HAS SOUPS 11209 WITH SCORE 11239.829
AT ITER 2193 NEW BEST:: SOT 62164 SOS 30828 HAS SOPS 30828 HAS SOUS 10927 HAS SOUPS 10927 WITH SCORE 10957.828
AT ITER 2194 NEW BEST:: SOT 62151 SOS 30824 HAS SOPS 30824 HAS SOUS 10915 HAS SOUPS 10915 WITH SCORE 10945.824
AT ITER 2196 NEW BEST:: SOT 62151 SOS 30812 HAS SOPS 30812 HAS SOUS 10911 HAS SOUPS 10911 WITH SCORE 10941.812
AT ITER 2200 NEW BEST:: SOT 62140 SOS 30661 HAS SOPS 30661 HAS SOUS 10858 HAS SOUPS 10858 WITH SCORE 10888.661
AT ITER 2201 NEW BEST:: SOT 62162 SOS 30683 HAS SOPS 30683 HAS SOUS 10838 HAS SOUPS 10838 WITH SCORE 10868.683
AT ITER 2210 NEW BEST:: SOT 62164 SOS 30685 HAS SOPS 30685 HAS SOUS 10836 HAS SOUPS 10836 WITH SCORE 10866.685
AT ITER 2211 NEW BEST:: SOT 62160 SOS 30681 HAS SOPS 30681 HAS SOUS 10830 HAS SOUPS 10830 WITH SCORE 10860.681
AT ITER 2237 NEW BEST:: SOT 62127 SOS 30638 HAS SOPS 30638 HAS SOUS 10792 HAS SOUPS 10792 WITH SCORE 10822.638
AT ITER 2263 NEW BEST:: SOT 62127 SOS 30630 HAS SOPS 30630 HAS SOUS 10790 HAS SOUPS 10790 WITH SCORE 10820.63
AT ITER 2270 NEW BEST:: SOT 62108 SOS 30561 HAS SOPS 30561 HAS SOUS 10782 HAS SOUPS 10782 WITH SCORE 10812.561
AT ITER 2278 NEW BEST:: SOT 62103 SOS 30541 HAS SOPS 30541 HAS SOUS 10768 HAS SOUPS 10768 WITH SCORE 10798.541
AT ITER 2294 NEW BEST:: SOT 62093 SOS 30531 HAS SOPS 30531 HAS SOUS 10768 HAS SOUPS 10768 WITH SCORE 10798.531
AT ITER 2324 NEW BEST:: SOT 62093 SOS 30518 HAS SOPS 30518 HAS SOUS 10768 HAS SOUPS 10768 WITH SCORE 10798.518
AT ITER 2325 NEW BEST:: SOT 62088 SOS 30514 HAS SOPS 30514 HAS SOUS 10763 HAS SOUPS 10763 WITH SCORE 10793.514
AT ITER 2338 NEW BEST:: SOT 62109 SOS 30535 HAS SOPS 30535 HAS SOUS 10727 HAS SOUPS 10727 WITH SCORE 10757.535
AT ITER 2346 NEW BEST:: SOT 62048 SOS 30474 HAS SOPS 30474 HAS SOUS 10696 HAS SOUPS 10696 WITH SCORE 10726.474
AT ITER 2360 NEW BEST:: SOT 62039 SOS 30460 HAS SOPS 30460 HAS SOUS 10687 HAS SOUPS 10687 WITH SCORE 10717.46
AT ITER 2369 NEW BEST:: SOT 61987 SOS 30436 HAS SOPS 30436 HAS SOUS 10646 HAS SOUPS 10646 WITH SCORE 10676.436
AT ITER 2399 NEW BEST:: SOT 61987 SOS 30319 HAS SOPS 30319 HAS SOUS 10646 HAS SOUPS 10646 WITH SCORE 10676.319
AT ITER 2438 NEW BEST:: SOT 62003 SOS 30352 HAS SOPS 30352 HAS SOUS 10611 HAS SOUPS 10611 WITH SCORE 10641.352
AT ITER 2452 NEW BEST:: SOT 61982 SOS 30247 HAS SOPS 30247 HAS SOUS 10575 HAS SOUPS 10575 WITH SCORE 10605.247
AT ITER 2468 NEW BEST:: SOT 61980 SOS 30233 HAS SOPS 30233 HAS SOUS 10555 HAS SOUPS 10555 WITH SCORE 10585.233
AT ITER 2476 NEW BEST:: SOT 61970 SOS 30223 HAS SOPS 30223 HAS SOUS 10513 HAS SOUPS 10513 WITH SCORE 10543.223
AT ITER 2484 NEW BEST:: SOT 61968 SOS 30221 HAS SOPS 30221 HAS SOUS 10511 HAS SOUPS 10511 WITH SCORE 10541.221
AT ITER 2510 NEW BEST:: SOT 61953 SOS 30206 HAS SOPS 30206 HAS SOUS 10491 HAS SOUPS 10491 WITH SCORE 10521.206
AT ITER 2516 NEW BEST:: SOT 61952 SOS 30235 HAS SOPS 30235 HAS SOUS 10470 HAS SOUPS 10470 WITH SCORE 10500.235
AT ITER 2523 NEW BEST:: SOT 61948 SOS 30231 HAS SOPS 30231 HAS SOUS 10459 HAS SOUPS 10459 WITH SCORE 10489.231
AT ITER 2535 NEW BEST:: SOT 61949 SOS 30233 HAS SOPS 30233 HAS SOUS 10456 HAS SOUPS 10456 WITH SCORE 10486.233
AT ITER 2538 NEW BEST:: SOT 61935 SOS 30219 HAS SOPS 30219 HAS SOUS 10435 HAS SOUPS 10435 WITH SCORE 10465.219
AT ITER 2551 NEW BEST:: SOT 61937 SOS 30221 HAS SOPS 30221 HAS SOUS 10431 HAS SOUPS 10431 WITH SCORE 10461.221
AT ITER 2573 NEW BEST:: SOT 61936 SOS 30214 HAS SOPS 30214 HAS SOUS 10429 HAS SOUPS 10429 WITH SCORE 10459.214
AT ITER 2575 NEW BEST:: SOT 61904 SOS 30160 HAS SOPS 30160 HAS SOUS 10413 HAS SOUPS 10413 WITH SCORE 10443.16
AT ITER 2579 NEW BEST:: SOT 61906 SOS 30166 HAS SOPS 30166 HAS SOUS 10404 HAS SOUPS 10404 WITH SCORE 10434.166
AT ITER 2599 NEW BEST:: SOT 61967 SOS 30247 HAS SOPS 30247 HAS SOUS 10368 HAS SOUPS 10368 WITH SCORE 10398.247
AT ITER 2602 NEW BEST:: SOT 61955 SOS 30261 HAS SOPS 30261 HAS SOUS 10363 HAS SOUPS 10363 WITH SCORE 10393.261
AT ITER 2627 NEW BEST:: SOT 61955 SOS 30241 HAS SOPS 30241 HAS SOUS 10363 HAS SOUPS 10363 WITH SCORE 10393.241
AT ITER 2637 NEW BEST:: SOT 61960 SOS 30226 HAS SOPS 30226 HAS SOUS 10363 HAS SOUPS 10363 WITH SCORE 10393.226
AT ITER 2658 NEW BEST:: SOT 61906 SOS 30062 HAS SOPS 30062 HAS SOUS 10301 HAS SOUPS 10301 WITH SCORE 10331.062
AT ITER 2667 NEW BEST:: SOT 61973 SOS 29795 HAS SOPS 29795 HAS SOUS 10286 HAS SOUPS 10286 WITH SCORE 10315.795
AT ITER 2672 NEW BEST:: SOT 61977 SOS 29803 HAS SOPS 29803 HAS SOUS 10284 HAS SOUPS 10284 WITH SCORE 10313.803
AT ITER 2684 NEW BEST:: SOT 61974 SOS 29800 HAS SOPS 29800 HAS SOUS 10284 HAS SOUPS 10284 WITH SCORE 10313.8
AT ITER 2697 NEW BEST:: SOT 61942 SOS 29739 HAS SOPS 29739 HAS SOUS 10237 HAS SOUPS 10237 WITH SCORE 10266.739
AT ITER 2710 NEW BEST:: SOT 61947 SOS 29879 HAS SOPS 29879 HAS SOUS 10232 HAS SOUPS 10232 WITH SCORE 10261.879
AT ITER 2761 NEW BEST:: SOT 61941 SOS 29841 HAS SOPS 29841 HAS SOUS 10226 HAS SOUPS 10226 WITH SCORE 10255.841
AT ITER 2780 NEW BEST:: SOT 61937 SOS 29833 HAS SOPS 29833 HAS SOUS 10221 HAS SOUPS 10221 WITH SCORE 10250.833
AT ITER 2816 NEW BEST:: SOT 61975 SOS 29797 HAS SOPS 29797 HAS SOUS 10157 HAS SOUPS 10157 WITH SCORE 10186.797
AT ITER 2837 NEW BEST:: SOT 61966 SOS 29788 HAS SOPS 29788 HAS SOUS 10154 HAS SOUPS 10154 WITH SCORE 10183.788
AT ITER 2855 NEW BEST:: SOT 61965 SOS 29849 HAS SOPS 29849 HAS SOUS 10134 HAS SOUPS 10134 WITH SCORE 10163.849
AT ITER 2880 NEW BEST:: SOT 61959 SOS 29843 HAS SOPS 29843 HAS SOUS 10128 HAS SOUPS 10128 WITH SCORE 10157.843
AT ITER 2886 NEW BEST:: SOT 61959 SOS 29831 HAS SOPS 29831 HAS SOUS 10124 HAS SOUPS 10124 WITH SCORE 10153.831
AT ITER 2925 NEW BEST:: SOT 61954 SOS 29826 HAS SOPS 29826 HAS SOUS 10114 HAS SOUPS 10114 WITH SCORE 10143.826
AT ITER 2975 NEW BEST:: SOT 61956 SOS 29897 HAS SOPS 29897 HAS SOUS 10100 HAS SOUPS 10100 WITH SCORE 10129.897
AT ITER 3027 NEW BEST:: SOT 61563 SOS 30683 HAS SOPS 30683 HAS SOUS 10058 HAS SOUPS 10058 WITH SCORE 10088.683
AT ITER 3035 NEW BEST:: SOT 61558 SOS 30603 HAS SOPS 30603 HAS SOUS 10050 HAS SOUPS 10050 WITH SCORE 10080.603
AT ITER 3051 NEW BEST:: SOT 61522 SOS 30609 HAS SOPS 30609 HAS SOUS 10011 HAS SOUPS 10011 WITH SCORE 10041.609
AT ITER 3057 NEW BEST:: SOT 61517 SOS 30599 HAS SOPS 30599 HAS SOUS 10006 HAS SOUPS 10006 WITH SCORE 10036.599
AT ITER 3083 NEW BEST:: SOT 61517 SOS 30587 HAS SOPS 30587 HAS SOUS 10006 HAS SOUPS 10006 WITH SCORE 10036.587
AT ITER 3096 NEW BEST:: SOT 61505 SOS 30593 HAS SOPS 30593 HAS SOUS 9997 HAS SOUPS 9997 WITH SCORE 10027.593
AT ITER 3103 NEW BEST:: SOT 61479 SOS 30497 HAS SOPS 30497 HAS SOUS 9979 HAS SOUPS 9979 WITH SCORE 10009.497
AT ITER 3111 NEW BEST:: SOT 61478 SOS 30498 HAS SOPS 30498 HAS SOUS 9978 HAS SOUPS 9978 WITH SCORE 10008.498
AT ITER 3135 NEW BEST:: SOT 61441 SOS 30461 HAS SOPS 30461 HAS SOUS 9952 HAS SOUPS 9952 WITH SCORE 9982.461
AT ITER 3141 NEW BEST:: SOT 61439 SOS 30453 HAS SOPS 30453 HAS SOUS 9936 HAS SOUPS 9936 WITH SCORE 9966.453
AT ITER 3158 NEW BEST:: SOT 61499 SOS 30509 HAS SOPS 30509 HAS SOUS 9898 HAS SOUPS 9898 WITH SCORE 9928.509
AT ITER 3181 NEW BEST:: SOT 61499 SOS 30543 HAS SOPS 30543 HAS SOUS 9896 HAS SOUPS 9896 WITH SCORE 9926.543
AT ITER 3183 NEW BEST:: SOT 61493 SOS 30537 HAS SOPS 30537 HAS SOUS 9890 HAS SOUPS 9890 WITH SCORE 9920.537
AT ITER 3184 NEW BEST:: SOT 61477 SOS 30618 HAS SOPS 30618 HAS SOUS 9874 HAS SOUPS 9874 WITH SCORE 9904.618
AT ITER 3201 NEW BEST:: SOT 61457 SOS 30687 HAS SOPS 30687 HAS SOUS 9850 HAS SOUPS 9850 WITH SCORE 9880.687
AT ITER 3202 NEW BEST:: SOT 61442 SOS 30631 HAS SOPS 30631 HAS SOUS 9829 HAS SOUPS 9829 WITH SCORE 9859.631
AT ITER 3211 NEW BEST:: SOT 61397 SOS 30636 HAS SOPS 30636 HAS SOUS 9798 HAS SOUPS 9798 WITH SCORE 9828.636
AT ITER 3255 NEW BEST:: SOT 61389 SOS 30628 HAS SOPS 30628 HAS SOUS 9791 HAS SOUPS 9791 WITH SCORE 9821.628
AT ITER 3268 NEW BEST:: SOT 61425 SOS 30686 HAS SOPS 30686 HAS SOUS 9782 HAS SOUPS 9782 WITH SCORE 9812.686
AT ITER 3284 NEW BEST:: SOT 61408 SOS 30644 HAS SOPS 30644 HAS SOUS 9764 HAS SOUPS 9764 WITH SCORE 9794.644
AT ITER 3287 NEW BEST:: SOT 61417 SOS 30624 HAS SOPS 30624 HAS SOUS 9760 HAS SOUPS 9760 WITH SCORE 9790.624
AT ITER 3313 NEW BEST:: SOT 61393 SOS 30610 HAS SOPS 30610 HAS SOUS 9718 HAS SOUPS 9718 WITH SCORE 9748.61
AT ITER 3326 NEW BEST:: SOT 61380 SOS 30594 HAS SOPS 30594 HAS SOUS 9711 HAS SOUPS 9711 WITH SCORE 9741.594
AT ITER 3337 NEW BEST:: SOT 61380 SOS 30591 HAS SOPS 30591 HAS SOUS 9711 HAS SOUPS 9711 WITH SCORE 9741.591
AT ITER 3367 NEW BEST:: SOT 61385 SOS 30603 HAS SOPS 30603 HAS SOUS 9705 HAS SOUPS 9705 WITH SCORE 9735.603
AT ITER 3373 NEW BEST:: SOT 61375 SOS 30593 HAS SOPS 30593 HAS SOUS 9699 HAS SOUPS 9699 WITH SCORE 9729.593
AT ITER 3379 NEW BEST:: SOT 61339 SOS 30521 HAS SOPS 30521 HAS SOUS 9699 HAS SOUPS 9699 WITH SCORE 9729.521
AT ITER 3381 NEW BEST:: SOT 61509 SOS 29552 HAS SOPS 29552 HAS SOUS 9672 HAS SOUPS 9672 WITH SCORE 9701.552
AT ITER 3385 NEW BEST:: SOT 61509 SOS 29553 HAS SOPS 29553 HAS SOUS 9671 HAS SOUPS 9671 WITH SCORE 9700.553
AT ITER 3390 NEW BEST:: SOT 61490 SOS 29550 HAS SOPS 29550 HAS SOUS 9652 HAS SOUPS 9652 WITH SCORE 9681.55
AT ITER 3393 NEW BEST:: SOT 61490 SOS 29518 HAS SOPS 29518 HAS SOUS 9612 HAS SOUPS 9612 WITH SCORE 9641.518
AT ITER 3407 NEW BEST:: SOT 61486 SOS 29478 HAS SOPS 29478 HAS SOUS 9604 HAS SOUPS 9604 WITH SCORE 9633.478
AT ITER 3432 NEW BEST:: SOT 61483 SOS 29377 HAS SOPS 29377 HAS SOUS 9579 HAS SOUPS 9579 WITH SCORE 9608.377
AT ITER 3447 NEW BEST:: SOT 61453 SOS 29339 HAS SOPS 29339 HAS SOUS 9553 HAS SOUPS 9553 WITH SCORE 9582.339
AT ITER 3457 NEW BEST:: SOT 61419 SOS 29319 HAS SOPS 29319 HAS SOUS 9552 HAS SOUPS 9552 WITH SCORE 9581.319
AT ITER 3472 NEW BEST:: SOT 61419 SOS 29319 HAS SOPS 29319 HAS SOUS 9551 HAS SOUPS 9551 WITH SCORE 9580.319
AT ITER 3505 NEW BEST:: SOT 61428 SOS 29310 HAS SOPS 29310 HAS SOUS 9551 HAS SOUPS 9551 WITH SCORE 9580.31
AT ITER 3507 NEW BEST:: SOT 61427 SOS 29318 HAS SOPS 29318 HAS SOUS 9550 HAS SOUPS 9550 WITH SCORE 9579.318
AT ITER 3509 NEW BEST:: SOT 61420 SOS 29304 HAS SOPS 29304 HAS SOUS 9536 HAS SOUPS 9536 WITH SCORE 9565.304
AT ITER 3527 NEW BEST:: SOT 61422 SOS 29376 HAS SOPS 29376 HAS SOUS 9497 HAS SOUPS 9497 WITH SCORE 9526.376
AT ITER 3554 NEW BEST:: SOT 61444 SOS 29284 HAS SOPS 29284 HAS SOUS 9442 HAS SOUPS 9442 WITH SCORE 9471.284
AT ITER 3663 NEW BEST:: SOT 61444 SOS 29284 HAS SOPS 29284 HAS SOUS 9438 HAS SOUPS 9438 WITH SCORE 9467.284
AT ITER 3691 NEW BEST:: SOT 61406 SOS 29236 HAS SOPS 29236 HAS SOUS 9351 HAS SOUPS 9351 WITH SCORE 9380.236
AT ITER 3726 NEW BEST:: SOT 61338 SOS 29099 HAS SOPS 29099 HAS SOUS 9303 HAS SOUPS 9303 WITH SCORE 9332.099
AT ITER 3728 NEW BEST:: SOT 61338 SOS 29071 HAS SOPS 29071 HAS SOUS 9301 HAS SOUPS 9301 WITH SCORE 9330.071
AT ITER 3734 NEW BEST:: SOT 61213 SOS 29266 HAS SOPS 29266 HAS SOUS 9275 HAS SOUPS 9275 WITH SCORE 9304.266
AT ITER 3739 NEW BEST:: SOT 61212 SOS 29269 HAS SOPS 29269 HAS SOUS 9274 HAS SOUPS 9274 WITH SCORE 9303.269
AT ITER 3763 NEW BEST:: SOT 61176 SOS 29226 HAS SOPS 29226 HAS SOUS 9222 HAS SOUPS 9222 WITH SCORE 9251.226
AT ITER 3790 NEW BEST:: SOT 61176 SOS 29170 HAS SOPS 29170 HAS SOUS 9222 HAS SOUPS 9222 WITH SCORE 9251.17
AT ITER 3799 NEW BEST:: SOT 61163 SOS 29112 HAS SOPS 29112 HAS SOUS 9209 HAS SOUPS 9209 WITH SCORE 9238.112
AT ITER 3839 NEW BEST:: SOT 61134 SOS 29074 HAS SOPS 29074 HAS SOUS 9168 HAS SOUPS 9168 WITH SCORE 9197.074
AT ITER 3873 NEW BEST:: SOT 61134 SOS 29064 HAS SOPS 29064 HAS SOUS 9145 HAS SOUPS 9145 WITH SCORE 9174.064
AT ITER 3882 NEW BEST:: SOT 61134 SOS 29064 HAS SOPS 29064 HAS SOUS 9139 HAS SOUPS 9139 WITH SCORE 9168.064
AT ITER 3885 NEW BEST:: SOT 61148 SOS 29090 HAS SOPS 29090 HAS SOUS 9117 HAS SOUPS 9117 WITH SCORE 9146.09
AT ITER 3896 NEW BEST:: SOT 61138 SOS 29102 HAS SOPS 29102 HAS SOUS 9091 HAS SOUPS 9091 WITH SCORE 9120.102
AT ITER 3919 NEW BEST:: SOT 61122 SOS 29086 HAS SOPS 29086 HAS SOUS 9088 HAS SOUPS 9088 WITH SCORE 9117.086
AT ITER 3921 NEW BEST:: SOT 61149 SOS 29016 HAS SOPS 29016 HAS SOUS 9076 HAS SOUPS 9076 WITH SCORE 9105.016
AT ITER 3926 NEW BEST:: SOT 61147 SOS 29012 HAS SOPS 29012 HAS SOUS 9072 HAS SOUPS 9072 WITH SCORE 9101.012
AT ITER 3930 NEW BEST:: SOT 61162 SOS 28997 HAS SOPS 28997 HAS SOUS 9072 HAS SOUPS 9072 WITH SCORE 9100.997
AT ITER 3950 NEW BEST:: SOT 61156 SOS 29034 HAS SOPS 29034 HAS SOUS 9066 HAS SOUPS 9066 WITH SCORE 9095.034
AT ITER 3959 NEW BEST:: SOT 61156 SOS 29048 HAS SOPS 29048 HAS SOUS 9064 HAS SOUPS 9064 WITH SCORE 9093.048
AT ITER 3964 NEW BEST:: SOT 61138 SOS 29030 HAS SOPS 29030 HAS SOUS 9058 HAS SOUPS 9058 WITH SCORE 9087.03
AT ITER 4023 NEW BEST:: SOT 61137 SOS 29028 HAS SOPS 29028 HAS SOUS 9057 HAS SOUPS 9057 WITH SCORE 9086.028
AT ITER 4066 NEW BEST:: SOT 61136 SOS 29026 HAS SOPS 29026 HAS SOUS 9055 HAS SOUPS 9055 WITH SCORE 9084.026
AT ITER 4111 NEW BEST:: SOT 61141 SOS 29016 HAS SOPS 29016 HAS SOUS 9055 HAS SOUPS 9055 WITH SCORE 9084.016
AT ITER 4113 NEW BEST:: SOT 61128 SOS 29055 HAS SOPS 29055 HAS SOUS 9037 HAS SOUPS 9037 WITH SCORE 9066.055
AT ITER 4117 NEW BEST:: SOT 61126 SOS 29053 HAS SOPS 29053 HAS SOUS 9035 HAS SOUPS 9035 WITH SCORE 9064.053
AT ITER 4163 NEW BEST:: SOT 61131 SOS 29027 HAS SOPS 29027 HAS SOUS 9029 HAS SOUPS 9029 WITH SCORE 9058.027
AT ITER 4176 NEW BEST:: SOT 61112 SOS 28989 HAS SOPS 28989 HAS SOUS 9008 HAS SOUPS 9008 WITH SCORE 9036.989
AT ITER 4221 NEW BEST:: SOT 61097 SOS 29016 HAS SOPS 29016 HAS SOUS 9000 HAS SOUPS 9000 WITH SCORE 9029.016
AT ITER 4271 NEW BEST:: SOT 61099 SOS 29012 HAS SOPS 29012 HAS SOUS 9000 HAS SOUPS 9000 WITH SCORE 9029.012
AT ITER 4279 NEW BEST:: SOT 61089 SOS 28992 HAS SOPS 28992 HAS SOUS 8990 HAS SOUPS 8990 WITH SCORE 9018.992
AT ITER 4302 NEW BEST:: SOT 61083 SOS 28956 HAS SOPS 28956 HAS SOUS 8978 HAS SOUPS 8978 WITH SCORE 9006.956
AT ITER 4312 NEW BEST:: SOT 61073 SOS 28936 HAS SOPS 28936 HAS SOUS 8968 HAS SOUPS 8968 WITH SCORE 8996.936
AT ITER 4327 NEW BEST:: SOT 61073 SOS 28936 HAS SOPS 28936 HAS SOUS 8967 HAS SOUPS 8967 WITH SCORE 8995.936
AT ITER 4342 NEW BEST:: SOT 61051 SOS 28914 HAS SOPS 28914 HAS SOUS 8935 HAS SOUPS 8935 WITH SCORE 8963.914
AT ITER 4346 NEW BEST:: SOT 61045 SOS 28896 HAS SOPS 28896 HAS SOUS 8933 HAS SOUPS 8933 WITH SCORE 8961.896
AT ITER 4357 NEW BEST:: SOT 61049 SOS 28896 HAS SOPS 28896 HAS SOUS 8931 HAS SOUPS 8931 WITH SCORE 8959.896
AT ITER 4372 NEW BEST:: SOT 61034 SOS 28922 HAS SOPS 28922 HAS SOUS 8916 HAS SOUPS 8916 WITH SCORE 8944.922
AT ITER 4373 NEW BEST:: SOT 60998 SOS 28892 HAS SOPS 28892 HAS SOUS 8871 HAS SOUPS 8871 WITH SCORE 8899.892
AT ITER 4382 NEW BEST:: SOT 60998 SOS 28892 HAS SOPS 28892 HAS SOUS 8866 HAS SOUPS 8866 WITH SCORE 8894.892
AT ITER 4385 NEW BEST:: SOT 61000 SOS 28894 HAS SOPS 28894 HAS SOUS 8864 HAS SOUPS 8864 WITH SCORE 8892.894
AT ITER 4419 NEW BEST:: SOT 60935 SOS 28838 HAS SOPS 28838 HAS SOUS 8854 HAS SOUPS 8854 WITH SCORE 8882.838
AT ITER 4428 NEW BEST:: SOT 60935 SOS 28832 HAS SOPS 28832 HAS SOUS 8849 HAS SOUPS 8849 WITH SCORE 8877.832
AT ITER 4484 NEW BEST:: SOT 60935 SOS 28831 HAS SOPS 28831 HAS SOUS 8848 HAS SOUPS 8848 WITH SCORE 8876.831
AT ITER 4492 NEW BEST:: SOT 60935 SOS 28829 HAS SOPS 28829 HAS SOUS 8848 HAS SOUPS 8848 WITH SCORE 8876.829
AT ITER 4504 NEW BEST:: SOT 60888 SOS 28844 HAS SOPS 28844 HAS SOUS 8847 HAS SOUPS 8847 WITH SCORE 8875.844
AT ITER 4523 NEW BEST:: SOT 60926 SOS 28882 HAS SOPS 28882 HAS SOUS 8843 HAS SOUPS 8843 WITH SCORE 8871.882
AT ITER 4524 NEW BEST:: SOT 60885 SOS 28895 HAS SOPS 28895 HAS SOUS 8841 HAS SOUPS 8841 WITH SCORE 8869.895
AT ITER 4549 NEW BEST:: SOT 60863 SOS 29011 HAS SOPS 29011 HAS SOUS 8839 HAS SOUPS 8839 WITH SCORE 8868.011
AT ITER 4572 NEW BEST:: SOT 60849 SOS 28959 HAS SOPS 28959 HAS SOUS 8821 HAS SOUPS 8821 WITH SCORE 8849.959
AT ITER 4574 NEW BEST:: SOT 60842 SOS 28927 HAS SOPS 28927 HAS SOUS 8819 HAS SOUPS 8819 WITH SCORE 8847.927
AT ITER 4609 NEW BEST:: SOT 60836 SOS 28963 HAS SOPS 28963 HAS SOUS 8816 HAS SOUPS 8816 WITH SCORE 8844.963
AT ITER 4617 NEW BEST:: SOT 60834 SOS 28959 HAS SOPS 28959 HAS SOUS 8810 HAS SOUPS 8810 WITH SCORE 8838.959
AT ITER 4697 NEW BEST:: SOT 60828 SOS 29169 HAS SOPS 29169 HAS SOUS 8804 HAS SOUPS 8804 WITH SCORE 8833.169
AT ITER 4701 NEW BEST:: SOT 60830 SOS 29212 HAS SOPS 29212 HAS SOUS 8795 HAS SOUPS 8795 WITH SCORE 8824.212
AT ITER 4717 NEW BEST:: SOT 60825 SOS 29212 HAS SOPS 29212 HAS SOUS 8790 HAS SOUPS 8790 WITH SCORE 8819.212
AT ITER 4743 NEW BEST:: SOT 60818 SOS 29205 HAS SOPS 29205 HAS SOUS 8786 HAS SOUPS 8786 WITH SCORE 8815.205
AT ITER 4749 NEW BEST:: SOT 60814 SOS 29201 HAS SOPS 29201 HAS SOUS 8778 HAS SOUPS 8778 WITH SCORE 8807.201
AT ITER 4756 NEW BEST:: SOT 60813 SOS 29201 HAS SOPS 29201 HAS SOUS 8777 HAS SOUPS 8777 WITH SCORE 8806.201
AT ITER 4782 NEW BEST:: SOT 60794 SOS 29159 HAS SOPS 29159 HAS SOUS 8758 HAS SOUPS 8758 WITH SCORE 8787.159
AT ITER 4791 NEW BEST:: SOT 60785 SOS 29149 HAS SOPS 29149 HAS SOUS 8749 HAS SOUPS 8749 WITH SCORE 8778.149
AT ITER 4792 NEW BEST:: SOT 60775 SOS 29139 HAS SOPS 29139 HAS SOUS 8731 HAS SOUPS 8731 WITH SCORE 8760.139
AT ITER 4827 NEW BEST:: SOT 60773 SOS 29119 HAS SOPS 29119 HAS SOUS 8727 HAS SOUPS 8727 WITH SCORE 8756.119
AT ITER 4840 NEW BEST:: SOT 60757 SOS 29103 HAS SOPS 29103 HAS SOUS 8710 HAS SOUPS 8710 WITH SCORE 8739.103
AT ITER 4892 NEW BEST:: SOT 60813 SOS 29183 HAS SOPS 29183 HAS SOUS 8670 HAS SOUPS 8670 WITH SCORE 8699.183
AT ITER 4894 NEW BEST:: SOT 60804 SOS 29165 HAS SOPS 29165 HAS SOUS 8652 HAS SOUPS 8652 WITH SCORE 8681.165
AT ITER 4935 NEW BEST:: SOT 60835 SOS 29183 HAS SOPS 29183 HAS SOUS 8648 HAS SOUPS 8648 WITH SCORE 8677.183
AT ITER 4957 NEW BEST:: SOT 60822 SOS 29128 HAS SOPS 29128 HAS SOUS 8609 HAS SOUPS 8609 WITH SCORE 8638.128
AT ITER 4962 NEW BEST:: SOT 60818 SOS 29132 HAS SOPS 29132 HAS SOUS 8605 HAS SOUPS 8605 WITH SCORE 8634.132
AT ITER 4964 NEW BEST:: SOT 60829 SOS 29064 HAS SOPS 29064 HAS SOUS 8596 HAS SOUPS 8596 WITH SCORE 8625.064
AT ITER 4970 NEW BEST:: SOT 60826 SOS 29061 HAS SOPS 29061 HAS SOUS 8596 HAS SOUPS 8596 WITH SCORE 8625.061
AT ITER 4977 NEW BEST:: SOT 60692 SOS 28846 HAS SOPS 28846 HAS SOUS 8518 HAS SOUPS 8518 WITH SCORE 8546.846
AT ITER 4978 NEW BEST:: SOT 60685 SOS 28886 HAS SOPS 28886 HAS SOUS 8517 HAS SOUPS 8517 WITH SCORE 8545.886
AT ITER 4996 NEW BEST:: SOT 60715 SOS 28926 HAS SOPS 28926 HAS SOUS 8507 HAS SOUPS 8507 WITH SCORE 8535.926
AT ITER 4998 NEW BEST:: SOT 60714 SOS 28923 HAS SOPS 28923 HAS SOUS 8505 HAS SOUPS 8505 WITH SCORE 8533.923
AT ITER 5009 NEW BEST:: SOT 60714 SOS 28923 HAS SOPS 28923 HAS SOUS 8503 HAS SOUPS 8503 WITH SCORE 8531.923
AT ITER 5015 NEW BEST:: SOT 60706 SOS 28915 HAS SOPS 28915 HAS SOUS 8495 HAS SOUPS 8495 WITH SCORE 8523.915
AT ITER 5018 NEW BEST:: SOT 60707 SOS 28917 HAS SOPS 28917 HAS SOUS 8493 HAS SOUPS 8493 WITH SCORE 8521.917
AT ITER 5029 NEW BEST:: SOT 60707 SOS 28917 HAS SOPS 28917 HAS SOUS 8492 HAS SOUPS 8492 WITH SCORE 8520.917
AT ITER 5072 NEW BEST:: SOT 60702 SOS 28914 HAS SOPS 28914 HAS SOUS 8484 HAS SOUPS 8484 WITH SCORE 8512.914
AT ITER 5076 NEW BEST:: SOT 60695 SOS 28904 HAS SOPS 28904 HAS SOUS 8475 HAS SOUPS 8475 WITH SCORE 8503.904
AT ITER 5083 NEW BEST:: SOT 60685 SOS 28841 HAS SOPS 28841 HAS SOUS 8455 HAS SOUPS 8455 WITH SCORE 8483.841
AT ITER 5091 NEW BEST:: SOT 60673 SOS 28796 HAS SOPS 28796 HAS SOUS 8436 HAS SOUPS 8436 WITH SCORE 8464.796
AT ITER 5191 NEW BEST:: SOT 60639 SOS 28816 HAS SOPS 28816 HAS SOUS 8434 HAS SOUPS 8434 WITH SCORE 8462.816
AT ITER 5206 NEW BEST:: SOT 60634 SOS 28795 HAS SOPS 28795 HAS SOUS 8432 HAS SOUPS 8432 WITH SCORE 8460.795
AT ITER 5227 NEW BEST:: SOT 60635 SOS 28795 HAS SOPS 28795 HAS SOUS 8430 HAS SOUPS 8430 WITH SCORE 8458.795
AT ITER 5232 NEW BEST:: SOT 60617 SOS 28803 HAS SOPS 28803 HAS SOUS 8387 HAS SOUPS 8387 WITH SCORE 8415.803
AT ITER 5242 NEW BEST:: SOT 60617 SOS 28787 HAS SOPS 28787 HAS SOUS 8371 HAS SOUPS 8371 WITH SCORE 8399.787
AT ITER 5300 NEW BEST:: SOT 60581 SOS 28751 HAS SOPS 28751 HAS SOUS 8349 HAS SOUPS 8349 WITH SCORE 8377.751
AT ITER 5312 NEW BEST:: SOT 60581 SOS 28751 HAS SOPS 28751 HAS SOUS 8348 HAS SOUPS 8348 WITH SCORE 8376.751
AT ITER 5367 NEW BEST:: SOT 60554 SOS 28724 HAS SOPS 28724 HAS SOUS 8312 HAS SOUPS 8312 WITH SCORE 8340.724
AT ITER 5377 NEW BEST:: SOT 60562 SOS 28732 HAS SOPS 28732 HAS SOUS 8310 HAS SOUPS 8310 WITH SCORE 8338.732
AT ITER 5419 NEW BEST:: SOT 60562 SOS 28664 HAS SOPS 28664 HAS SOUS 8289 HAS SOUPS 8289 WITH SCORE 8317.664
AT ITER 5448 NEW BEST:: SOT 60563 SOS 28665 HAS SOPS 28665 HAS SOUS 8287 HAS SOUPS 8287 WITH SCORE 8315.665
AT ITER 5449 NEW BEST:: SOT 60537 SOS 28650 HAS SOPS 28650 HAS SOUS 8284 HAS SOUPS 8284 WITH SCORE 8312.65
AT ITER 5495 NEW BEST:: SOT 60555 SOS 28704 HAS SOPS 28704 HAS SOUS 8277 HAS SOUPS 8277 WITH SCORE 8305.704
AT ITER 5516 NEW BEST:: SOT 60557 SOS 28702 HAS SOPS 28702 HAS SOUS 8275 HAS SOUPS 8275 WITH SCORE 8303.702
AT ITER 5517 NEW BEST:: SOT 60553 SOS 28698 HAS SOPS 28698 HAS SOUS 8271 HAS SOUPS 8271 WITH SCORE 8299.698
AT ITER 5595 NEW BEST:: SOT 60522 SOS 28667 HAS SOPS 28667 HAS SOUS 8245 HAS SOUPS 8245 WITH SCORE 8273.667
AT ITER 5644 NEW BEST:: SOT 60522 SOS 28661 HAS SOPS 28661 HAS SOUS 8245 HAS SOUPS 8245 WITH SCORE 8273.661
AT ITER 5683 NEW BEST:: SOT 60512 SOS 28651 HAS SOPS 28651 HAS SOUS 8230 HAS SOUPS 8230 WITH SCORE 8258.651
AT ITER 5688 NEW BEST:: SOT 60512 SOS 28648 HAS SOPS 28648 HAS SOUS 8227 HAS SOUPS 8227 WITH SCORE 8255.648
AT ITER 5808 NEW BEST:: SOT 60460 SOS 28621 HAS SOPS 28621 HAS SOUS 8202 HAS SOUPS 8202 WITH SCORE 8230.621
AT ITER 5815 NEW BEST:: SOT 60456 SOS 28617 HAS SOPS 28617 HAS SOUS 8202 HAS SOUPS 8202 WITH SCORE 8230.617
AT ITER 5860 NEW BEST:: SOT 60450 SOS 28609 HAS SOPS 28609 HAS SOUS 8192 HAS SOUPS 8192 WITH SCORE 8220.609
AT ITER 5870 NEW BEST:: SOT 60459 SOS 28618 HAS SOPS 28618 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8202.618
AT ITER 5892 NEW BEST:: SOT 60459 SOS 28618 HAS SOPS 28618 HAS SOUS 8171 HAS SOUPS 8171 WITH SCORE 8199.618
AT ITER 5896 NEW BEST:: SOT 60455 SOS 28614 HAS SOPS 28614 HAS SOUS 8167 HAS SOUPS 8167 WITH SCORE 8195.614
AT ITER 5908 NEW BEST:: SOT 60447 SOS 28606 HAS SOPS 28606 HAS SOUS 8165 HAS SOUPS 8165 WITH SCORE 8193.606
AT ITER 5927 NEW BEST:: SOT 60453 SOS 28612 HAS SOPS 28612 HAS SOUS 8163 HAS SOUPS 8163 WITH SCORE 8191.612
AT ITER 5928 NEW BEST:: SOT 60422 SOS 28550 HAS SOPS 28550 HAS SOUS 8160 HAS SOUPS 8160 WITH SCORE 8188.55
AT ITER 5958 NEW BEST:: SOT 60422 SOS 28550 HAS SOPS 28550 HAS SOUS 8156 HAS SOUPS 8156 WITH SCORE 8184.55
AT ITER 5977 NEW BEST:: SOT 60414 SOS 28549 HAS SOPS 28549 HAS SOUS 8146 HAS SOUPS 8146 WITH SCORE 8174.549
AT ITER 6013 NEW BEST:: SOT 60415 SOS 28512 HAS SOPS 28512 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8172.512
AT ITER 6020 NEW BEST:: SOT 60428 SOS 28532 HAS SOPS 28532 HAS SOUS 8136 HAS SOUPS 8136 WITH SCORE 8164.532
AT ITER 6028 NEW BEST:: SOT 60420 SOS 28512 HAS SOPS 28512 HAS SOUS 8128 HAS SOUPS 8128 WITH SCORE 8156.512
AT ITER 6041 NEW BEST:: SOT 60413 SOS 28491 HAS SOPS 28491 HAS SOUS 8125 HAS SOUPS 8125 WITH SCORE 8153.491
AT ITER 6050 NEW BEST:: SOT 60426 SOS 28421 HAS SOPS 28421 HAS SOUS 8125 HAS SOUPS 8125 WITH SCORE 8153.421
AT ITER 6075 NEW BEST:: SOT 60422 SOS 28413 HAS SOPS 28413 HAS SOUS 8123 HAS SOUPS 8123 WITH SCORE 8151.413
AT ITER 6093 NEW BEST:: SOT 60422 SOS 28411 HAS SOPS 28411 HAS SOUS 8123 HAS SOUPS 8123 WITH SCORE 8151.411
AT ITER 6103 NEW BEST:: SOT 60422 SOS 28415 HAS SOPS 28415 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8143.415
AT ITER 6136 NEW BEST:: SOT 60423 SOS 28378 HAS SOPS 28378 HAS SOUS 8113 HAS SOUPS 8113 WITH SCORE 8141.378
AT ITER 6176 NEW BEST:: SOT 60415 SOS 28370 HAS SOPS 28370 HAS SOUS 8101 HAS SOUPS 8101 WITH SCORE 8129.37
AT ITER 6212 NEW BEST:: SOT 60408 SOS 28362 HAS SOPS 28362 HAS SOUS 8100 HAS SOUPS 8100 WITH SCORE 8128.362
AT ITER 6225 NEW BEST:: SOT 60412 SOS 28358 HAS SOPS 28358 HAS SOUS 8100 HAS SOUPS 8100 WITH SCORE 8128.358
AT ITER 6234 NEW BEST:: SOT 60404 SOS 28358 HAS SOPS 28358 HAS SOUS 8092 HAS SOUPS 8092 WITH SCORE 8120.358
AT ITER 6282 NEW BEST:: SOT 60405 SOS 28398 HAS SOPS 28398 HAS SOUS 8055 HAS SOUPS 8055 WITH SCORE 8083.398
AT ITER 6336 NEW BEST:: SOT 60397 SOS 28378 HAS SOPS 28378 HAS SOUS 8048 HAS SOUPS 8048 WITH SCORE 8076.378
AT ITER 6438 NEW BEST:: SOT 60410 SOS 28398 HAS SOPS 28398 HAS SOUS 8047 HAS SOUPS 8047 WITH SCORE 8075.398
AT ITER 6503 NEW BEST:: SOT 60408 SOS 28395 HAS SOPS 28395 HAS SOUS 8044 HAS SOUPS 8044 WITH SCORE 8072.395
AT ITER 6553 NEW BEST:: SOT 60364 SOS 28351 HAS SOPS 28351 HAS SOUS 8035 HAS SOUPS 8035 WITH SCORE 8063.351
AT ITER 6562 NEW BEST:: SOT 60364 SOS 28333 HAS SOPS 28333 HAS SOUS 8034 HAS SOUPS 8034 WITH SCORE 8062.333
AT ITER 6575 NEW BEST:: SOT 60366 SOS 28247 HAS SOPS 28247 HAS SOUS 8034 HAS SOUPS 8034 WITH SCORE 8062.247
AT ITER 6739 NEW BEST:: SOT 60356 SOS 28237 HAS SOPS 28237 HAS SOUS 8029 HAS SOUPS 8029 WITH SCORE 8057.237
AT ITER 6794 NEW BEST:: SOT 60346 SOS 28207 HAS SOPS 28207 HAS SOUS 8019 HAS SOUPS 8019 WITH SCORE 8047.207
AT ITER 6829 NEW BEST:: SOT 60337 SOS 28173 HAS SOPS 28173 HAS SOUS 8006 HAS SOUPS 8006 WITH SCORE 8034.173
AT ITER 6921 NEW BEST:: SOT 60334 SOS 28185 HAS SOPS 28185 HAS SOUS 8005 HAS SOUPS 8005 WITH SCORE 8033.185
AT ITER 6937 NEW BEST:: SOT 60347 SOS 28218 HAS SOPS 28218 HAS SOUS 8003 HAS SOUPS 8003 WITH SCORE 8031.218
AT ITER 6962 NEW BEST:: SOT 60347 SOS 28213 HAS SOPS 28213 HAS SOUS 8001 HAS SOUPS 8001 WITH SCORE 8029.213
AT ITER 6965 NEW BEST:: SOT 60327 SOS 28181 HAS SOPS 28181 HAS SOUS 8001 HAS SOUPS 8001 WITH SCORE 8029.181
AT ITER 6986 NEW BEST:: SOT 60312 SOS 28145 HAS SOPS 28145 HAS SOUS 8000 HAS SOUPS 8000 WITH SCORE 8028.145
AT ITER 7054 NEW BEST:: SOT 60312 SOS 28143 HAS SOPS 28143 HAS SOUS 7998 HAS SOUPS 7998 WITH SCORE 8026.143
AT ITER 7057 NEW BEST:: SOT 60293 SOS 28133 HAS SOPS 28133 HAS SOUS 7993 HAS SOUPS 7993 WITH SCORE 8021.133
AT ITER 7064 NEW BEST:: SOT 60287 SOS 28119 HAS SOPS 28119 HAS SOUS 7952 HAS SOUPS 7952 WITH SCORE 7980.119
AT ITER 7107 NEW BEST:: SOT 60282 SOS 28109 HAS SOPS 28109 HAS SOUS 7947 HAS SOUPS 7947 WITH SCORE 7975.109
AT ITER 7121 NEW BEST:: SOT 60280 SOS 28091 HAS SOPS 28091 HAS SOUS 7940 HAS SOUPS 7940 WITH SCORE 7968.091
AT ITER 7127 NEW BEST:: SOT 60276 SOS 28087 HAS SOPS 28087 HAS SOUS 7936 HAS SOUPS 7936 WITH SCORE 7964.087
AT ITER 7228 NEW BEST:: SOT 60270 SOS 28079 HAS SOPS 28079 HAS SOUS 7926 HAS SOUPS 7926 WITH SCORE 7954.079
AT ITER 7270 NEW BEST:: SOT 60270 SOS 28069 HAS SOPS 28069 HAS SOUS 7921 HAS SOUPS 7921 WITH SCORE 7949.069
AT ITER 7276 NEW BEST:: SOT 60270 SOS 28069 HAS SOPS 28069 HAS SOUS 7920 HAS SOUPS 7920 WITH SCORE 7948.069
AT ITER 7335 NEW BEST:: SOT 60262 SOS 28061 HAS SOPS 28061 HAS SOUS 7912 HAS SOUPS 7912 WITH SCORE 7940.061
AT ITER 7366 NEW BEST:: SOT 60256 SOS 28047 HAS SOPS 28047 HAS SOUS 7912 HAS SOUPS 7912 WITH SCORE 7940.047
AT ITER 7390 NEW BEST:: SOT 60232 SOS 28023 HAS SOPS 28023 HAS SOUS 7896 HAS SOUPS 7896 WITH SCORE 7924.023
AT ITER 7451 NEW BEST:: SOT 60232 SOS 28023 HAS SOPS 28023 HAS SOUS 7895 HAS SOUPS 7895 WITH SCORE 7923.023
AT ITER 7452 NEW BEST:: SOT 60218 SOS 28009 HAS SOPS 28009 HAS SOUS 7891 HAS SOUPS 7891 WITH SCORE 7919.009
AT ITER 7453 NEW BEST:: SOT 60216 SOS 28007 HAS SOPS 28007 HAS SOUS 7881 HAS SOUPS 7881 WITH SCORE 7909.007
AT ITER 7517 NEW BEST:: SOT 60247 SOS 27952 HAS SOPS 27952 HAS SOUS 7881 HAS SOUPS 7881 WITH SCORE 7908.952
AT ITER 7547 NEW BEST:: SOT 60224 SOS 27929 HAS SOPS 27929 HAS SOUS 7880 HAS SOUPS 7880 WITH SCORE 7907.929
AT ITER 7590 NEW BEST:: SOT 60215 SOS 27902 HAS SOPS 27902 HAS SOUS 7871 HAS SOUPS 7871 WITH SCORE 7898.902
AT ITER 7732 NEW BEST:: SOT 60209 SOS 27896 HAS SOPS 27896 HAS SOUS 7869 HAS SOUPS 7869 WITH SCORE 7896.896
AT ITER 7764 NEW BEST:: SOT 60209 SOS 27896 HAS SOPS 27896 HAS SOUS 7861 HAS SOUPS 7861 WITH SCORE 7888.896
AT ITER 7819 NEW BEST:: SOT 60203 SOS 27898 HAS SOPS 27898 HAS SOUS 7855 HAS SOUPS 7855 WITH SCORE 7882.898
AT ITER 7864 NEW BEST:: SOT 60201 SOS 27896 HAS SOPS 27896 HAS SOUS 7851 HAS SOUPS 7851 WITH SCORE 7878.896
AT ITER 7896 NEW BEST:: SOT 60201 SOS 27893 HAS SOPS 27893 HAS SOUS 7851 HAS SOUPS 7851 WITH SCORE 7878.893
AT ITER 7919 NEW BEST:: SOT 60215 SOS 27907 HAS SOPS 27907 HAS SOUS 7833 HAS SOUPS 7833 WITH SCORE 7860.907
AT ITER 7925 NEW BEST:: SOT 60207 SOS 27845 HAS SOPS 27845 HAS SOUS 7825 HAS SOUPS 7825 WITH SCORE 7852.845
AT ITER 7933 NEW BEST:: SOT 60208 SOS 27838 HAS SOPS 27838 HAS SOUS 7824 HAS SOUPS 7824 WITH SCORE 7851.838
AT ITER 7957 NEW BEST:: SOT 60208 SOS 27811 HAS SOPS 27811 HAS SOUS 7823 HAS SOUPS 7823 WITH SCORE 7850.811
AT ITER 8038 NEW BEST:: SOT 60208 SOS 27807 HAS SOPS 27807 HAS SOUS 7821 HAS SOUPS 7821 WITH SCORE 7848.807
AT ITER 8114 NEW BEST:: SOT 60182 SOS 27739 HAS SOPS 27739 HAS SOUS 7788 HAS SOUPS 7788 WITH SCORE 7815.739
AT ITER 8268 NEW BEST:: SOT 60170 SOS 27725 HAS SOPS 27725 HAS SOUS 7776 HAS SOUPS 7776 WITH SCORE 7803.725
AT ITER 8272 NEW BEST:: SOT 60168 SOS 27723 HAS SOPS 27723 HAS SOUS 7774 HAS SOUPS 7774 WITH SCORE 7801.723
AT ITER 8294 NEW BEST:: SOT 60168 SOS 27708 HAS SOPS 27708 HAS SOUS 7774 HAS SOUPS 7774 WITH SCORE 7801.708
AT ITER 8317 NEW BEST:: SOT 60168 SOS 27708 HAS SOPS 27708 HAS SOUS 7773 HAS SOUPS 7773 WITH SCORE 7800.708
AT ITER 8408 NEW BEST:: SOT 60165 SOS 27704 HAS SOPS 27704 HAS SOUS 7773 HAS SOUPS 7773 WITH SCORE 7800.704
AT ITER 8438 NEW BEST:: SOT 60200 SOS 27519 HAS SOPS 27519 HAS SOUS 7766 HAS SOUPS 7766 WITH SCORE 7793.519
AT ITER 8448 NEW BEST:: SOT 60196 SOS 27511 HAS SOPS 27511 HAS SOUS 7766 HAS SOUPS 7766 WITH SCORE 7793.511
AT ITER 8466 NEW BEST:: SOT 60196 SOS 27509 HAS SOPS 27509 HAS SOUS 7765 HAS SOUPS 7765 WITH SCORE 7792.509
AT ITER 8475 NEW BEST:: SOT 60181 SOS 27459 HAS SOPS 27459 HAS SOUS 7748 HAS SOUPS 7748 WITH SCORE 7775.459
AT ITER 8481 NEW BEST:: SOT 60181 SOS 27453 HAS SOPS 27453 HAS SOUS 7748 HAS SOUPS 7748 WITH SCORE 7775.453
AT ITER 8493 NEW BEST:: SOT 60173 SOS 27441 HAS SOPS 27441 HAS SOUS 7743 HAS SOUPS 7743 WITH SCORE 7770.441
AT ITER 8596 NEW BEST:: SOT 60172 SOS 27437 HAS SOPS 27437 HAS SOUS 7742 HAS SOUPS 7742 WITH SCORE 7769.437
AT ITER 8650 NEW BEST:: SOT 60189 SOS 27473 HAS SOPS 27473 HAS SOUS 7738 HAS SOUPS 7738 WITH SCORE 7765.473
AT ITER 8653 NEW BEST:: SOT 60177 SOS 28155 HAS SOPS 28155 HAS SOUS 7733 HAS SOUPS 7733 WITH SCORE 7761.155
AT ITER 8679 NEW BEST:: SOT 60177 SOS 28224 HAS SOPS 28224 HAS SOUS 7729 HAS SOUPS 7729 WITH SCORE 7757.224
AT ITER 8686 NEW BEST:: SOT 60165 SOS 28210 HAS SOPS 28210 HAS SOUS 7709 HAS SOUPS 7709 WITH SCORE 7737.21
AT ITER 8730 NEW BEST:: SOT 60168 SOS 28237 HAS SOPS 28237 HAS SOUS 7708 HAS SOUPS 7708 WITH SCORE 7736.237
AT ITER 8732 NEW BEST:: SOT 60160 SOS 28221 HAS SOPS 28221 HAS SOUS 7692 HAS SOUPS 7692 WITH SCORE 7720.221
AT ITER 8785 NEW BEST:: SOT 60173 SOS 28219 HAS SOPS 28219 HAS SOUS 7691 HAS SOUPS 7691 WITH SCORE 7719.219
AT ITER 8819 NEW BEST:: SOT 60171 SOS 28217 HAS SOPS 28217 HAS SOUS 7687 HAS SOUPS 7687 WITH SCORE 7715.217
AT ITER 8872 NEW BEST:: SOT 60163 SOS 28209 HAS SOPS 28209 HAS SOUS 7677 HAS SOUPS 7677 WITH SCORE 7705.209
AT ITER 8932 NEW BEST:: SOT 60158 SOS 28133 HAS SOPS 28133 HAS SOUS 7656 HAS SOUPS 7656 WITH SCORE 7684.133
AT ITER 8991 NEW BEST:: SOT 60152 SOS 28109 HAS SOPS 28109 HAS SOUS 7650 HAS SOUPS 7650 WITH SCORE 7678.109
AT ITER 9046 NEW BEST:: SOT 60152 SOS 28105 HAS SOPS 28105 HAS SOUS 7642 HAS SOUPS 7642 WITH SCORE 7670.105
AT ITER 9073 NEW BEST:: SOT 60137 SOS 28090 HAS SOPS 28090 HAS SOUS 7628 HAS SOUPS 7628 WITH SCORE 7656.09
AT ITER 9085 NEW BEST:: SOT 60137 SOS 28088 HAS SOPS 28088 HAS SOUS 7628 HAS SOUPS 7628 WITH SCORE 7656.088
AT ITER 9097 NEW BEST:: SOT 60137 SOS 28045 HAS SOPS 28045 HAS SOUS 7616 HAS SOUPS 7616 WITH SCORE 7644.045
AT ITER 9134 NEW BEST:: SOT 60142 SOS 28041 HAS SOPS 28041 HAS SOUS 7612 HAS SOUPS 7612 WITH SCORE 7640.041
AT ITER 9145 NEW BEST:: SOT 60157 SOS 28063 HAS SOPS 28063 HAS SOUS 7597 HAS SOUPS 7597 WITH SCORE 7625.063
AT ITER 9185 NEW BEST:: SOT 60157 SOS 28061 HAS SOPS 28061 HAS SOUS 7596 HAS SOUPS 7596 WITH SCORE 7624.061
AT ITER 9190 NEW BEST:: SOT 60157 SOS 28061 HAS SOPS 28061 HAS SOUS 7595 HAS SOUPS 7595 WITH SCORE 7623.061
AT ITER 9228 NEW BEST:: SOT 60152 SOS 28056 HAS SOPS 28056 HAS SOUS 7595 HAS SOUPS 7595 WITH SCORE 7623.056
AT ITER 9256 NEW BEST:: SOT 60150 SOS 28052 HAS SOPS 28052 HAS SOUS 7593 HAS SOUPS 7593 WITH SCORE 7621.052
AT ITER 9293 NEW BEST:: SOT 60150 SOS 27884 HAS SOPS 27884 HAS SOUS 7593 HAS SOUPS 7593 WITH SCORE 7620.884
AT ITER 9375 NEW BEST:: SOT 60145 SOS 27875 HAS SOPS 27875 HAS SOUS 7588 HAS SOUPS 7588 WITH SCORE 7615.875
AT ITER 9432 NEW BEST:: SOT 60143 SOS 27880 HAS SOPS 27880 HAS SOUS 7584 HAS SOUPS 7584 WITH SCORE 7611.88
AT ITER 9446 NEW BEST:: SOT 60143 SOS 27882 HAS SOPS 27882 HAS SOUS 7583 HAS SOUPS 7583 WITH SCORE 7610.882
AT ITER 9464 NEW BEST:: SOT 60139 SOS 27878 HAS SOPS 27878 HAS SOUS 7575 HAS SOUPS 7575 WITH SCORE 7602.878
AT ITER 9477 NEW BEST:: SOT 60139 SOS 27878 HAS SOPS 27878 HAS SOUS 7573 HAS SOUPS 7573 WITH SCORE 7600.878
AT ITER 9523 NEW BEST:: SOT 60136 SOS 27884 HAS SOPS 27884 HAS SOUS 7567 HAS SOUPS 7567 WITH SCORE 7594.884
AT ITER 9564 NEW BEST:: SOT 60134 SOS 27904 HAS SOPS 27904 HAS SOUS 7565 HAS SOUPS 7565 WITH SCORE 7592.904
AT ITER 9721 NEW BEST:: SOT 60132 SOS 27904 HAS SOPS 27904 HAS SOUS 7563 HAS SOUPS 7563 WITH SCORE 7590.904
AT ITER 9850 NEW BEST:: SOT 60131 SOS 27899 HAS SOPS 27899 HAS SOUS 7558 HAS SOUPS 7558 WITH SCORE 7585.899
AT ITER 9877 NEW BEST:: SOT 60128 SOS 27860 HAS SOPS 27860 HAS SOUS 7543 HAS SOUPS 7543 WITH SCORE 7570.86
AT ITER 9887 NEW BEST:: SOT 60128 SOS 27854 HAS SOPS 27854 HAS SOUS 7541 HAS SOUPS 7541 WITH SCORE 7568.854
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 4059312 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122860 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is UtilityControlRoom-PT-Z4T4N06, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r491-tall-167912711501208"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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