fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r427-tajo-167905979500312
Last Updated
May 14, 2023

About the Execution of Smart+red for ShieldRVt-PT-040A

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16216.168 3408059.00 3459247.00 3178.10 [undef] Cannot compute

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r427-tajo-167905979500312.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldRVt-PT-040A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979500312
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 7.3K Feb 26 00:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 00:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 23:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 25 23:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 17:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 00:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 26 00:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 00:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 00:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:04 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 109K 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 1679384027961

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=ShieldRVt-PT-040A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 07:33:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 07:33:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 07:33:49] [INFO ] Load time of PNML (sax parser for PT used): 64 ms
[2023-03-21 07:33:49] [INFO ] Transformed 323 places.
[2023-03-21 07:33:49] [INFO ] Transformed 323 transitions.
[2023-03-21 07:33:49] [INFO ] Found NUPN structural information;
[2023-03-21 07:33:49] [INFO ] Parsed PT model containing 323 places and 323 transitions and 1366 arcs in 136 ms.
[2023-03-21 07:33:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 323 places, 323 transitions and 1366 arcs took 8 ms.
Total runtime 178 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 040A
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: 323 places, 323 transitions, 1366 arcs.
AT ITER 0 NEW BEST:: SOT 81877 SOS 60079 HAS SOPS 60079 HAS SOUS 56213 HAS SOUPS 56213 WITH SCORE 56273.079
AT ITER 1 NEW BEST:: SOT 81775 SOS 59909 HAS SOPS 59909 HAS SOUS 55987 HAS SOUPS 55987 WITH SCORE 56046.909
AT ITER 2 NEW BEST:: SOT 81772 SOS 59906 HAS SOPS 59906 HAS SOUS 55984 HAS SOUPS 55984 WITH SCORE 56043.906
AT ITER 3 NEW BEST:: SOT 81681 SOS 59773 HAS SOPS 59773 HAS SOUS 55897 HAS SOUPS 55897 WITH SCORE 55956.773
AT ITER 5 NEW BEST:: SOT 81540 SOS 59510 HAS SOPS 59510 HAS SOUS 55671 HAS SOUPS 55671 WITH SCORE 55730.51
AT ITER 6 NEW BEST:: SOT 81463 SOS 59317 HAS SOPS 59317 HAS SOUS 55522 HAS SOUPS 55522 WITH SCORE 55581.317
AT ITER 7 NEW BEST:: SOT 81324 SOS 59065 HAS SOPS 59065 HAS SOUS 55270 HAS SOUPS 55270 WITH SCORE 55329.065
AT ITER 9 NEW BEST:: SOT 81284 SOS 58988 HAS SOPS 58988 HAS SOUS 55156 HAS SOUPS 55156 WITH SCORE 55214.988
AT ITER 13 NEW BEST:: SOT 81281 SOS 58985 HAS SOPS 58985 HAS SOUS 55153 HAS SOUPS 55153 WITH SCORE 55211.985
AT ITER 14 NEW BEST:: SOT 81004 SOS 58569 HAS SOPS 58569 HAS SOUS 54761 HAS SOUPS 54761 WITH SCORE 54819.569
AT ITER 15 NEW BEST:: SOT 80894 SOS 58459 HAS SOPS 58459 HAS SOUS 54651 HAS SOUPS 54651 WITH SCORE 54709.459
AT ITER 16 NEW BEST:: SOT 80804 SOS 58279 HAS SOPS 58279 HAS SOUS 54519 HAS SOUPS 54519 WITH SCORE 54577.279
AT ITER 18 NEW BEST:: SOT 80801 SOS 58276 HAS SOPS 58276 HAS SOUS 54516 HAS SOUPS 54516 WITH SCORE 54574.276
AT ITER 19 NEW BEST:: SOT 80673 SOS 57970 HAS SOPS 57970 HAS SOUS 54084 HAS SOUPS 54084 WITH SCORE 54141.97
AT ITER 20 NEW BEST:: SOT 80419 SOS 57525 HAS SOPS 57525 HAS SOUS 53669 HAS SOUPS 53669 WITH SCORE 53726.525
AT ITER 22 NEW BEST:: SOT 80415 SOS 57521 HAS SOPS 57521 HAS SOUS 53665 HAS SOUPS 53665 WITH SCORE 53722.521
AT ITER 27 NEW BEST:: SOT 80391 SOS 57474 HAS SOPS 57474 HAS SOUS 53595 HAS SOUPS 53595 WITH SCORE 53652.474
AT ITER 28 NEW BEST:: SOT 80243 SOS 57106 HAS SOPS 57106 HAS SOUS 53388 HAS SOUPS 53388 WITH SCORE 53445.106
AT ITER 29 NEW BEST:: SOT 80101 SOS 56740 HAS SOPS 56740 HAS SOUS 53175 HAS SOUPS 53175 WITH SCORE 53231.74
AT ITER 30 NEW BEST:: SOT 79866 SOS 56406 HAS SOPS 56406 HAS SOUS 52841 HAS SOUPS 52841 WITH SCORE 52897.406
AT ITER 31 NEW BEST:: SOT 79712 SOS 56042 HAS SOPS 56042 HAS SOUS 52378 HAS SOUPS 52378 WITH SCORE 52434.042
AT ITER 35 NEW BEST:: SOT 79709 SOS 56039 HAS SOPS 56039 HAS SOUS 52375 HAS SOUPS 52375 WITH SCORE 52431.039
AT ITER 37 NEW BEST:: SOT 79515 SOS 55748 HAS SOPS 55748 HAS SOUS 52181 HAS SOUPS 52181 WITH SCORE 52236.748
AT ITER 39 NEW BEST:: SOT 79495 SOS 55728 HAS SOPS 55728 HAS SOUS 52161 HAS SOUPS 52161 WITH SCORE 52216.728
AT ITER 43 NEW BEST:: SOT 79231 SOS 55318 HAS SOPS 55318 HAS SOUS 51712 HAS SOUPS 51712 WITH SCORE 51767.318
AT ITER 45 NEW BEST:: SOT 79100 SOS 55056 HAS SOPS 55056 HAS SOUS 51506 HAS SOUPS 51506 WITH SCORE 51561.056
AT ITER 46 NEW BEST:: SOT 79136 SOS 55051 HAS SOPS 55051 HAS SOUS 51501 HAS SOUPS 51501 WITH SCORE 51556.051
AT ITER 49 NEW BEST:: SOT 78865 SOS 54627 HAS SOPS 54627 HAS SOUS 50960 HAS SOUPS 50960 WITH SCORE 51014.627
AT ITER 51 NEW BEST:: SOT 78807 SOS 54733 HAS SOPS 54733 HAS SOUS 50809 HAS SOUPS 50809 WITH SCORE 50863.733
AT ITER 53 NEW BEST:: SOT 78659 SOS 54394 HAS SOPS 54394 HAS SOUS 50561 HAS SOUPS 50561 WITH SCORE 50615.394
AT ITER 63 NEW BEST:: SOT 78533 SOS 54237 HAS SOPS 54237 HAS SOUS 50374 HAS SOUPS 50374 WITH SCORE 50428.237
AT ITER 65 NEW BEST:: SOT 78533 SOS 54189 HAS SOPS 54189 HAS SOUS 50374 HAS SOUPS 50374 WITH SCORE 50428.189
AT ITER 66 NEW BEST:: SOT 78533 SOS 54213 HAS SOPS 54213 HAS SOUS 50361 HAS SOUPS 50361 WITH SCORE 50415.213
AT ITER 68 NEW BEST:: SOT 78529 SOS 54209 HAS SOPS 54209 HAS SOUS 50357 HAS SOUPS 50357 WITH SCORE 50411.209
AT ITER 70 NEW BEST:: SOT 78456 SOS 54092 HAS SOPS 54092 HAS SOUS 50265 HAS SOUPS 50265 WITH SCORE 50319.092
AT ITER 71 NEW BEST:: SOT 78449 SOS 54078 HAS SOPS 54078 HAS SOUS 50258 HAS SOUPS 50258 WITH SCORE 50312.078
AT ITER 72 NEW BEST:: SOT 78311 SOS 53804 HAS SOPS 53804 HAS SOUS 49991 HAS SOUPS 49991 WITH SCORE 50044.804
AT ITER 73 NEW BEST:: SOT 78235 SOS 53613 HAS SOPS 53613 HAS SOUS 49820 HAS SOUPS 49820 WITH SCORE 49873.613
AT ITER 74 NEW BEST:: SOT 78232 SOS 53610 HAS SOPS 53610 HAS SOUS 49817 HAS SOUPS 49817 WITH SCORE 49870.61
AT ITER 75 NEW BEST:: SOT 78053 SOS 53370 HAS SOPS 53370 HAS SOUS 49585 HAS SOUPS 49585 WITH SCORE 49638.37
AT ITER 76 NEW BEST:: SOT 77975 SOS 53173 HAS SOPS 53173 HAS SOUS 49427 HAS SOUPS 49427 WITH SCORE 49480.173
AT ITER 77 NEW BEST:: SOT 77897 SOS 52947 HAS SOPS 52947 HAS SOUS 49318 HAS SOUPS 49318 WITH SCORE 49370.947
AT ITER 78 NEW BEST:: SOT 77785 SOS 52667 HAS SOPS 52667 HAS SOUS 49051 HAS SOUPS 49051 WITH SCORE 49103.667
AT ITER 81 NEW BEST:: SOT 77765 SOS 52627 HAS SOPS 52627 HAS SOUS 49031 HAS SOUPS 49031 WITH SCORE 49083.627
AT ITER 86 NEW BEST:: SOT 77733 SOS 52579 HAS SOPS 52579 HAS SOUS 48967 HAS SOUPS 48967 WITH SCORE 49019.579
AT ITER 90 NEW BEST:: SOT 77733 SOS 52575 HAS SOPS 52575 HAS SOUS 48897 HAS SOUPS 48897 WITH SCORE 48949.575
AT ITER 93 NEW BEST:: SOT 77578 SOS 52110 HAS SOPS 52110 HAS SOUS 48585 HAS SOUPS 48585 WITH SCORE 48637.11
AT ITER 95 NEW BEST:: SOT 77578 SOS 52106 HAS SOPS 52106 HAS SOUS 48578 HAS SOUPS 48578 WITH SCORE 48630.106
AT ITER 99 NEW BEST:: SOT 77575 SOS 52103 HAS SOPS 52103 HAS SOUS 48575 HAS SOUPS 48575 WITH SCORE 48627.103
AT ITER 103 NEW BEST:: SOT 77574 SOS 52102 HAS SOPS 52102 HAS SOUS 48574 HAS SOUPS 48574 WITH SCORE 48626.102
AT ITER 104 NEW BEST:: SOT 77300 SOS 51672 HAS SOPS 51672 HAS SOUS 48144 HAS SOUPS 48144 WITH SCORE 48195.672
AT ITER 106 NEW BEST:: SOT 77300 SOS 51537 HAS SOPS 51537 HAS SOUS 48034 HAS SOUPS 48034 WITH SCORE 48085.537
AT ITER 111 NEW BEST:: SOT 77212 SOS 51364 HAS SOPS 51364 HAS SOUS 47776 HAS SOUPS 47776 WITH SCORE 47827.364
AT ITER 112 NEW BEST:: SOT 77206 SOS 51350 HAS SOPS 51350 HAS SOUS 47763 HAS SOUPS 47763 WITH SCORE 47814.35
AT ITER 116 NEW BEST:: SOT 77156 SOS 51250 HAS SOPS 51250 HAS SOUS 47744 HAS SOUPS 47744 WITH SCORE 47795.25
AT ITER 122 NEW BEST:: SOT 76916 SOS 50729 HAS SOPS 50729 HAS SOUS 47209 HAS SOUPS 47209 WITH SCORE 47259.729
AT ITER 125 NEW BEST:: SOT 76895 SOS 50708 HAS SOPS 50708 HAS SOUS 47188 HAS SOUPS 47188 WITH SCORE 47238.708
AT ITER 128 NEW BEST:: SOT 76838 SOS 50558 HAS SOPS 50558 HAS SOUS 47037 HAS SOUPS 47037 WITH SCORE 47087.558
AT ITER 130 NEW BEST:: SOT 76709 SOS 50200 HAS SOPS 50200 HAS SOUS 46673 HAS SOUPS 46673 WITH SCORE 46723.2
AT ITER 132 NEW BEST:: SOT 76677 SOS 50168 HAS SOPS 50168 HAS SOUS 46641 HAS SOUPS 46641 WITH SCORE 46691.168
AT ITER 133 NEW BEST:: SOT 76706 SOS 50248 HAS SOPS 50248 HAS SOUS 46640 HAS SOUPS 46640 WITH SCORE 46690.248
AT ITER 135 NEW BEST:: SOT 76559 SOS 50015 HAS SOPS 50015 HAS SOUS 46466 HAS SOUPS 46466 WITH SCORE 46516.015
AT ITER 137 NEW BEST:: SOT 76559 SOS 50030 HAS SOPS 50030 HAS SOUS 46451 HAS SOUPS 46451 WITH SCORE 46501.03
AT ITER 142 NEW BEST:: SOT 76538 SOS 50009 HAS SOPS 50009 HAS SOUS 46430 HAS SOUPS 46430 WITH SCORE 46480.009
AT ITER 145 NEW BEST:: SOT 76468 SOS 49922 HAS SOPS 49922 HAS SOUS 46343 HAS SOUPS 46343 WITH SCORE 46392.922
AT ITER 150 NEW BEST:: SOT 76454 SOS 49880 HAS SOPS 49880 HAS SOUS 46287 HAS SOUPS 46287 WITH SCORE 46336.88
AT ITER 152 NEW BEST:: SOT 76285 SOS 49517 HAS SOPS 49517 HAS SOUS 46073 HAS SOUPS 46073 WITH SCORE 46122.517
AT ITER 153 NEW BEST:: SOT 76285 SOS 49216 HAS SOPS 49216 HAS SOUS 46067 HAS SOUPS 46067 WITH SCORE 46116.216
AT ITER 155 NEW BEST:: SOT 76204 SOS 49135 HAS SOPS 49135 HAS SOUS 45911 HAS SOUPS 45911 WITH SCORE 45960.135
AT ITER 157 NEW BEST:: SOT 76111 SOS 48941 HAS SOPS 48941 HAS SOUS 45668 HAS SOUPS 45668 WITH SCORE 45716.941
AT ITER 159 NEW BEST:: SOT 76076 SOS 48769 HAS SOPS 48769 HAS SOUS 45511 HAS SOUPS 45511 WITH SCORE 45559.769
AT ITER 160 NEW BEST:: SOT 75984 SOS 48646 HAS SOPS 48646 HAS SOUS 45363 HAS SOUPS 45363 WITH SCORE 45411.646
AT ITER 162 NEW BEST:: SOT 76068 SOS 48733 HAS SOPS 48733 HAS SOUS 45351 HAS SOUPS 45351 WITH SCORE 45399.733
AT ITER 164 NEW BEST:: SOT 76068 SOS 48752 HAS SOPS 48752 HAS SOUS 45301 HAS SOUPS 45301 WITH SCORE 45349.752
AT ITER 165 NEW BEST:: SOT 76068 SOS 48752 HAS SOPS 48752 HAS SOUS 45297 HAS SOUPS 45297 WITH SCORE 45345.752
AT ITER 167 NEW BEST:: SOT 76056 SOS 48699 HAS SOPS 48699 HAS SOUS 45259 HAS SOUPS 45259 WITH SCORE 45307.699
AT ITER 170 NEW BEST:: SOT 76056 SOS 48753 HAS SOPS 48753 HAS SOUS 45254 HAS SOUPS 45254 WITH SCORE 45302.753
AT ITER 174 NEW BEST:: SOT 75884 SOS 48550 HAS SOPS 48550 HAS SOUS 45049 HAS SOUPS 45049 WITH SCORE 45097.55
AT ITER 175 NEW BEST:: SOT 75859 SOS 48516 HAS SOPS 48516 HAS SOUS 45015 HAS SOUPS 45015 WITH SCORE 45063.516
AT ITER 177 NEW BEST:: SOT 75714 SOS 48223 HAS SOPS 48223 HAS SOUS 44723 HAS SOUPS 44723 WITH SCORE 44771.223
AT ITER 178 NEW BEST:: SOT 75650 SOS 48131 HAS SOPS 48131 HAS SOUS 44678 HAS SOUPS 44678 WITH SCORE 44726.131
AT ITER 181 NEW BEST:: SOT 75626 SOS 48088 HAS SOPS 48088 HAS SOUS 44635 HAS SOUPS 44635 WITH SCORE 44683.088
AT ITER 183 NEW BEST:: SOT 75479 SOS 47661 HAS SOPS 47661 HAS SOUS 44054 HAS SOUPS 44054 WITH SCORE 44101.661
AT ITER 184 NEW BEST:: SOT 75438 SOS 47547 HAS SOPS 47547 HAS SOUS 43997 HAS SOUPS 43997 WITH SCORE 44044.547
AT ITER 191 NEW BEST:: SOT 75283 SOS 47176 HAS SOPS 47176 HAS SOUS 43816 HAS SOUPS 43816 WITH SCORE 43863.176
AT ITER 192 NEW BEST:: SOT 75255 SOS 47148 HAS SOPS 47148 HAS SOUS 43788 HAS SOUPS 43788 WITH SCORE 43835.148
AT ITER 196 NEW BEST:: SOT 75255 SOS 47148 HAS SOPS 47148 HAS SOUS 43736 HAS SOUPS 43736 WITH SCORE 43783.148
AT ITER 199 NEW BEST:: SOT 75239 SOS 47082 HAS SOPS 47082 HAS SOUS 43712 HAS SOUPS 43712 WITH SCORE 43759.082
AT ITER 200 NEW BEST:: SOT 75277 SOS 47158 HAS SOPS 47158 HAS SOUS 43667 HAS SOUPS 43667 WITH SCORE 43714.158
AT ITER 202 NEW BEST:: SOT 75209 SOS 46997 HAS SOPS 46997 HAS SOUS 43507 HAS SOUPS 43507 WITH SCORE 43553.997
AT ITER 203 NEW BEST:: SOT 75181 SOS 46935 HAS SOPS 46935 HAS SOUS 43447 HAS SOUPS 43447 WITH SCORE 43493.935
AT ITER 207 NEW BEST:: SOT 75181 SOS 46884 HAS SOPS 46884 HAS SOUS 43395 HAS SOUPS 43395 WITH SCORE 43441.884
AT ITER 209 NEW BEST:: SOT 75153 SOS 46841 HAS SOPS 46841 HAS SOUS 43347 HAS SOUPS 43347 WITH SCORE 43393.841
AT ITER 210 NEW BEST:: SOT 75152 SOS 46845 HAS SOPS 46845 HAS SOUS 43268 HAS SOUPS 43268 WITH SCORE 43314.845
AT ITER 214 NEW BEST:: SOT 74996 SOS 46495 HAS SOPS 46495 HAS SOUS 42769 HAS SOUPS 42769 WITH SCORE 42815.495
AT ITER 215 NEW BEST:: SOT 74904 SOS 46295 HAS SOPS 46295 HAS SOUS 42521 HAS SOUPS 42521 WITH SCORE 42567.295
AT ITER 217 NEW BEST:: SOT 74896 SOS 46279 HAS SOPS 46279 HAS SOUS 42505 HAS SOUPS 42505 WITH SCORE 42551.279
AT ITER 220 NEW BEST:: SOT 74765 SOS 46080 HAS SOPS 46080 HAS SOUS 42306 HAS SOUPS 42306 WITH SCORE 42352.08
AT ITER 222 NEW BEST:: SOT 74772 SOS 46123 HAS SOPS 46123 HAS SOUS 42294 HAS SOUPS 42294 WITH SCORE 42340.123
AT ITER 223 NEW BEST:: SOT 74580 SOS 45549 HAS SOPS 45549 HAS SOUS 41847 HAS SOUPS 41847 WITH SCORE 41892.549
AT ITER 229 NEW BEST:: SOT 74580 SOS 45549 HAS SOPS 45549 HAS SOUS 41780 HAS SOUPS 41780 WITH SCORE 41825.549
AT ITER 230 NEW BEST:: SOT 74474 SOS 45302 HAS SOPS 45302 HAS SOUS 41674 HAS SOUPS 41674 WITH SCORE 41719.302
AT ITER 231 NEW BEST:: SOT 74387 SOS 45132 HAS SOPS 45132 HAS SOUS 41581 HAS SOUPS 41581 WITH SCORE 41626.132
AT ITER 234 NEW BEST:: SOT 74383 SOS 45118 HAS SOPS 45118 HAS SOUS 41568 HAS SOUPS 41568 WITH SCORE 41613.118
AT ITER 235 NEW BEST:: SOT 74371 SOS 45094 HAS SOPS 45094 HAS SOUS 41532 HAS SOUPS 41532 WITH SCORE 41577.094
AT ITER 239 NEW BEST:: SOT 74285 SOS 45101 HAS SOPS 45101 HAS SOUS 41410 HAS SOUPS 41410 WITH SCORE 41455.101
AT ITER 240 NEW BEST:: SOT 74285 SOS 45093 HAS SOPS 45093 HAS SOUS 41391 HAS SOUPS 41391 WITH SCORE 41436.093
AT ITER 245 NEW BEST:: SOT 74280 SOS 44983 HAS SOPS 44983 HAS SOUS 41287 HAS SOUPS 41287 WITH SCORE 41331.983
AT ITER 247 NEW BEST:: SOT 74226 SOS 44929 HAS SOPS 44929 HAS SOUS 41233 HAS SOUPS 41233 WITH SCORE 41277.929
AT ITER 251 NEW BEST:: SOT 74096 SOS 44709 HAS SOPS 44709 HAS SOUS 40982 HAS SOUPS 40982 WITH SCORE 41026.709
AT ITER 256 NEW BEST:: SOT 74096 SOS 44709 HAS SOPS 44709 HAS SOUS 40963 HAS SOUPS 40963 WITH SCORE 41007.709
AT ITER 258 NEW BEST:: SOT 73879 SOS 44362 HAS SOPS 44362 HAS SOUS 40523 HAS SOUPS 40523 WITH SCORE 40567.362
AT ITER 259 NEW BEST:: SOT 73879 SOS 44308 HAS SOPS 44308 HAS SOUS 40496 HAS SOUPS 40496 WITH SCORE 40540.308
AT ITER 264 NEW BEST:: SOT 73800 SOS 44229 HAS SOPS 44229 HAS SOUS 40417 HAS SOUPS 40417 WITH SCORE 40461.229
AT ITER 267 NEW BEST:: SOT 73798 SOS 44227 HAS SOPS 44227 HAS SOUS 40406 HAS SOUPS 40406 WITH SCORE 40450.227
AT ITER 269 NEW BEST:: SOT 73765 SOS 44161 HAS SOPS 44161 HAS SOUS 40307 HAS SOUPS 40307 WITH SCORE 40351.161
AT ITER 279 NEW BEST:: SOT 73585 SOS 43966 HAS SOPS 43966 HAS SOUS 40082 HAS SOUPS 40082 WITH SCORE 40125.966
AT ITER 283 NEW BEST:: SOT 73585 SOS 43944 HAS SOPS 43944 HAS SOUS 40072 HAS SOUPS 40072 WITH SCORE 40115.944
AT ITER 286 NEW BEST:: SOT 73585 SOS 43986 HAS SOPS 43986 HAS SOUS 40068 HAS SOUPS 40068 WITH SCORE 40111.986
AT ITER 288 NEW BEST:: SOT 73535 SOS 43936 HAS SOPS 43936 HAS SOUS 40018 HAS SOUPS 40018 WITH SCORE 40061.936
AT ITER 291 NEW BEST:: SOT 73535 SOS 43958 HAS SOPS 43958 HAS SOUS 40008 HAS SOUPS 40008 WITH SCORE 40051.958
AT ITER 295 NEW BEST:: SOT 73411 SOS 43663 HAS SOPS 43663 HAS SOUS 39879 HAS SOUPS 39879 WITH SCORE 39922.663
AT ITER 296 NEW BEST:: SOT 73313 SOS 43532 HAS SOPS 43532 HAS SOUS 39748 HAS SOUPS 39748 WITH SCORE 39791.532
AT ITER 298 NEW BEST:: SOT 73313 SOS 43532 HAS SOPS 43532 HAS SOUS 39722 HAS SOUPS 39722 WITH SCORE 39765.532
AT ITER 300 NEW BEST:: SOT 73303 SOS 43531 HAS SOPS 43531 HAS SOUS 39551 HAS SOUPS 39551 WITH SCORE 39594.531
AT ITER 301 NEW BEST:: SOT 73296 SOS 43524 HAS SOPS 43524 HAS SOUS 39544 HAS SOUPS 39544 WITH SCORE 39587.524
AT ITER 312 NEW BEST:: SOT 73287 SOS 43506 HAS SOPS 43506 HAS SOUS 39526 HAS SOUPS 39526 WITH SCORE 39569.506
AT ITER 315 NEW BEST:: SOT 73280 SOS 43534 HAS SOPS 43534 HAS SOUS 39474 HAS SOUPS 39474 WITH SCORE 39517.534
AT ITER 325 NEW BEST:: SOT 73173 SOS 43340 HAS SOPS 43340 HAS SOUS 39380 HAS SOUPS 39380 WITH SCORE 39423.34
AT ITER 329 NEW BEST:: SOT 73173 SOS 43374 HAS SOPS 43374 HAS SOUS 39323 HAS SOUPS 39323 WITH SCORE 39366.374
AT ITER 336 NEW BEST:: SOT 73125 SOS 43310 HAS SOPS 43310 HAS SOUS 39259 HAS SOUPS 39259 WITH SCORE 39302.31
AT ITER 337 NEW BEST:: SOT 73072 SOS 43174 HAS SOPS 43174 HAS SOUS 39238 HAS SOUPS 39238 WITH SCORE 39281.174
AT ITER 341 NEW BEST:: SOT 72961 SOS 43026 HAS SOPS 43026 HAS SOUS 39090 HAS SOUPS 39090 WITH SCORE 39133.026
AT ITER 344 NEW BEST:: SOT 72882 SOS 42897 HAS SOPS 42897 HAS SOUS 38947 HAS SOUPS 38947 WITH SCORE 38989.897
AT ITER 348 NEW BEST:: SOT 72882 SOS 42888 HAS SOPS 42888 HAS SOUS 38947 HAS SOUPS 38947 WITH SCORE 38989.888
AT ITER 352 NEW BEST:: SOT 72877 SOS 42878 HAS SOPS 42878 HAS SOUS 38937 HAS SOUPS 38937 WITH SCORE 38979.878
AT ITER 353 NEW BEST:: SOT 72932 SOS 42933 HAS SOPS 42933 HAS SOUS 38919 HAS SOUPS 38919 WITH SCORE 38961.933
AT ITER 356 NEW BEST:: SOT 72937 SOS 42917 HAS SOPS 42917 HAS SOUS 38908 HAS SOUPS 38908 WITH SCORE 38950.917
AT ITER 357 NEW BEST:: SOT 72752 SOS 42553 HAS SOPS 42553 HAS SOUS 38572 HAS SOUPS 38572 WITH SCORE 38614.553
AT ITER 359 NEW BEST:: SOT 72731 SOS 42511 HAS SOPS 42511 HAS SOUS 38551 HAS SOUPS 38551 WITH SCORE 38593.511
AT ITER 362 NEW BEST:: SOT 72681 SOS 42212 HAS SOPS 42212 HAS SOUS 38166 HAS SOUPS 38166 WITH SCORE 38208.212
AT ITER 365 NEW BEST:: SOT 72648 SOS 42179 HAS SOPS 42179 HAS SOUS 38133 HAS SOUPS 38133 WITH SCORE 38175.179
AT ITER 372 NEW BEST:: SOT 72619 SOS 42139 HAS SOPS 42139 HAS SOUS 38093 HAS SOUPS 38093 WITH SCORE 38135.139
AT ITER 375 NEW BEST:: SOT 72613 SOS 42133 HAS SOPS 42133 HAS SOUS 38087 HAS SOUPS 38087 WITH SCORE 38129.133
AT ITER 379 NEW BEST:: SOT 72577 SOS 41938 HAS SOPS 41938 HAS SOUS 37979 HAS SOUPS 37979 WITH SCORE 38020.938
AT ITER 381 NEW BEST:: SOT 72575 SOS 41821 HAS SOPS 41821 HAS SOUS 37883 HAS SOUPS 37883 WITH SCORE 37924.821
AT ITER 383 NEW BEST:: SOT 72559 SOS 41811 HAS SOPS 41811 HAS SOUS 37814 HAS SOUPS 37814 WITH SCORE 37855.811
AT ITER 386 NEW BEST:: SOT 72486 SOS 41758 HAS SOPS 41758 HAS SOUS 37761 HAS SOUPS 37761 WITH SCORE 37802.758
AT ITER 388 NEW BEST:: SOT 72486 SOS 41758 HAS SOPS 41758 HAS SOUS 37750 HAS SOUPS 37750 WITH SCORE 37791.758
AT ITER 398 NEW BEST:: SOT 72370 SOS 41538 HAS SOPS 41538 HAS SOUS 37525 HAS SOUPS 37525 WITH SCORE 37566.538
AT ITER 402 NEW BEST:: SOT 72364 SOS 41529 HAS SOPS 41529 HAS SOUS 37516 HAS SOUPS 37516 WITH SCORE 37557.529
AT ITER 403 NEW BEST:: SOT 72344 SOS 41509 HAS SOPS 41509 HAS SOUS 37516 HAS SOUPS 37516 WITH SCORE 37557.509
AT ITER 414 NEW BEST:: SOT 72347 SOS 41491 HAS SOPS 41491 HAS SOUS 37465 HAS SOUPS 37465 WITH SCORE 37506.491
AT ITER 416 NEW BEST:: SOT 72329 SOS 41505 HAS SOPS 41505 HAS SOUS 37438 HAS SOUPS 37438 WITH SCORE 37479.505
AT ITER 422 NEW BEST:: SOT 72280 SOS 41431 HAS SOPS 41431 HAS SOUS 37364 HAS SOUPS 37364 WITH SCORE 37405.431
AT ITER 426 NEW BEST:: SOT 72237 SOS 41304 HAS SOPS 41304 HAS SOUS 37278 HAS SOUPS 37278 WITH SCORE 37319.304
AT ITER 431 NEW BEST:: SOT 72198 SOS 41107 HAS SOPS 41107 HAS SOUS 37110 HAS SOUPS 37110 WITH SCORE 37151.107
AT ITER 437 NEW BEST:: SOT 72153 SOS 40935 HAS SOPS 40935 HAS SOUS 36946 HAS SOUPS 36946 WITH SCORE 36986.935
AT ITER 450 NEW BEST:: SOT 72153 SOS 40942 HAS SOPS 40942 HAS SOUS 36943 HAS SOUPS 36943 WITH SCORE 36983.942
AT ITER 455 NEW BEST:: SOT 72098 SOS 40806 HAS SOPS 40806 HAS SOUS 36906 HAS SOUPS 36906 WITH SCORE 36946.806
AT ITER 457 NEW BEST:: SOT 72080 SOS 40787 HAS SOPS 40787 HAS SOUS 36832 HAS SOUPS 36832 WITH SCORE 36872.787
AT ITER 462 NEW BEST:: SOT 71960 SOS 40373 HAS SOPS 40373 HAS SOUS 36565 HAS SOUPS 36565 WITH SCORE 36605.373
AT ITER 465 NEW BEST:: SOT 71960 SOS 40371 HAS SOPS 40371 HAS SOUS 36474 HAS SOUPS 36474 WITH SCORE 36514.371
AT ITER 467 NEW BEST:: SOT 71753 SOS 39884 HAS SOPS 39884 HAS SOUS 36023 HAS SOUPS 36023 WITH SCORE 36062.884
AT ITER 472 NEW BEST:: SOT 71743 SOS 39864 HAS SOPS 39864 HAS SOUS 36003 HAS SOUPS 36003 WITH SCORE 36042.864
AT ITER 476 NEW BEST:: SOT 71708 SOS 39733 HAS SOPS 39733 HAS SOUS 35945 HAS SOUPS 35945 WITH SCORE 35984.733
AT ITER 484 NEW BEST:: SOT 71701 SOS 39726 HAS SOPS 39726 HAS SOUS 35938 HAS SOUPS 35938 WITH SCORE 35977.726
AT ITER 486 NEW BEST:: SOT 71629 SOS 39654 HAS SOPS 39654 HAS SOUS 35866 HAS SOUPS 35866 WITH SCORE 35905.654
AT ITER 491 NEW BEST:: SOT 71625 SOS 39648 HAS SOPS 39648 HAS SOUS 35860 HAS SOUPS 35860 WITH SCORE 35899.648
AT ITER 495 NEW BEST:: SOT 71564 SOS 39572 HAS SOPS 39572 HAS SOUS 35798 HAS SOUPS 35798 WITH SCORE 35837.572
AT ITER 501 NEW BEST:: SOT 71438 SOS 39167 HAS SOPS 39167 HAS SOUS 35625 HAS SOUPS 35625 WITH SCORE 35664.167
AT ITER 505 NEW BEST:: SOT 71407 SOS 39141 HAS SOPS 39141 HAS SOUS 35604 HAS SOUPS 35604 WITH SCORE 35643.141
AT ITER 506 NEW BEST:: SOT 71366 SOS 39106 HAS SOPS 39106 HAS SOUS 35520 HAS SOUPS 35520 WITH SCORE 35559.106
AT ITER 516 NEW BEST:: SOT 71350 SOS 39074 HAS SOPS 39074 HAS SOUS 35488 HAS SOUPS 35488 WITH SCORE 35527.074
AT ITER 518 NEW BEST:: SOT 71268 SOS 39080 HAS SOPS 39080 HAS SOUS 35458 HAS SOUPS 35458 WITH SCORE 35497.08
AT ITER 519 NEW BEST:: SOT 71110 SOS 38922 HAS SOPS 38922 HAS SOUS 35300 HAS SOUPS 35300 WITH SCORE 35338.922
AT ITER 520 NEW BEST:: SOT 71057 SOS 38846 HAS SOPS 38846 HAS SOUS 35224 HAS SOUPS 35224 WITH SCORE 35262.846
AT ITER 526 NEW BEST:: SOT 70959 SOS 38736 HAS SOPS 38736 HAS SOUS 35028 HAS SOUPS 35028 WITH SCORE 35066.736
AT ITER 529 NEW BEST:: SOT 70859 SOS 38636 HAS SOPS 38636 HAS SOUS 34966 HAS SOUPS 34966 WITH SCORE 35004.636
AT ITER 533 NEW BEST:: SOT 70822 SOS 38506 HAS SOPS 38506 HAS SOUS 34891 HAS SOUPS 34891 WITH SCORE 34929.506
AT ITER 535 NEW BEST:: SOT 70832 SOS 38474 HAS SOPS 38474 HAS SOUS 34883 HAS SOUPS 34883 WITH SCORE 34921.474
AT ITER 540 NEW BEST:: SOT 70832 SOS 38518 HAS SOPS 38518 HAS SOUS 34882 HAS SOUPS 34882 WITH SCORE 34920.518
AT ITER 541 NEW BEST:: SOT 70742 SOS 38332 HAS SOPS 38332 HAS SOUS 34672 HAS SOUPS 34672 WITH SCORE 34710.332
AT ITER 542 NEW BEST:: SOT 70727 SOS 38312 HAS SOPS 38312 HAS SOUS 34652 HAS SOUPS 34652 WITH SCORE 34690.312
AT ITER 549 NEW BEST:: SOT 70727 SOS 38320 HAS SOPS 38320 HAS SOUS 34651 HAS SOUPS 34651 WITH SCORE 34689.32
AT ITER 550 NEW BEST:: SOT 70727 SOS 38137 HAS SOPS 38137 HAS SOUS 34648 HAS SOUPS 34648 WITH SCORE 34686.137
AT ITER 566 NEW BEST:: SOT 70689 SOS 38020 HAS SOPS 38020 HAS SOUS 34607 HAS SOUPS 34607 WITH SCORE 34645.02
AT ITER 579 NEW BEST:: SOT 70649 SOS 37848 HAS SOPS 37848 HAS SOUS 34467 HAS SOUPS 34467 WITH SCORE 34504.848
AT ITER 582 NEW BEST:: SOT 70524 SOS 37428 HAS SOPS 37428 HAS SOUS 34209 HAS SOUPS 34209 WITH SCORE 34246.428
AT ITER 583 NEW BEST:: SOT 70620 SOS 37448 HAS SOPS 37448 HAS SOUS 34188 HAS SOUPS 34188 WITH SCORE 34225.448
AT ITER 593 NEW BEST:: SOT 70620 SOS 37455 HAS SOPS 37455 HAS SOUS 34185 HAS SOUPS 34185 WITH SCORE 34222.455
AT ITER 597 NEW BEST:: SOT 70489 SOS 37237 HAS SOPS 37237 HAS SOUS 33999 HAS SOUPS 33999 WITH SCORE 34036.237
AT ITER 602 NEW BEST:: SOT 70434 SOS 37155 HAS SOPS 37155 HAS SOUS 33917 HAS SOUPS 33917 WITH SCORE 33954.155
AT ITER 606 NEW BEST:: SOT 70434 SOS 37072 HAS SOPS 37072 HAS SOUS 33834 HAS SOUPS 33834 WITH SCORE 33871.072
AT ITER 610 NEW BEST:: SOT 70434 SOS 37064 HAS SOPS 37064 HAS SOUS 33824 HAS SOUPS 33824 WITH SCORE 33861.064
AT ITER 611 NEW BEST:: SOT 70434 SOS 37237 HAS SOPS 37237 HAS SOUS 33816 HAS SOUPS 33816 WITH SCORE 33853.237
AT ITER 614 NEW BEST:: SOT 70418 SOS 37221 HAS SOPS 37221 HAS SOUS 33800 HAS SOUPS 33800 WITH SCORE 33837.221
AT ITER 615 NEW BEST:: SOT 70418 SOS 37160 HAS SOPS 37160 HAS SOUS 33783 HAS SOUPS 33783 WITH SCORE 33820.16
AT ITER 618 NEW BEST:: SOT 70429 SOS 37171 HAS SOPS 37171 HAS SOUS 33749 HAS SOUPS 33749 WITH SCORE 33786.171
AT ITER 619 NEW BEST:: SOT 70375 SOS 37094 HAS SOPS 37094 HAS SOUS 33659 HAS SOUPS 33659 WITH SCORE 33696.094
AT ITER 625 NEW BEST:: SOT 70375 SOS 37094 HAS SOPS 37094 HAS SOUS 33619 HAS SOUPS 33619 WITH SCORE 33656.094
AT ITER 627 NEW BEST:: SOT 70259 SOS 36787 HAS SOPS 36787 HAS SOUS 33310 HAS SOUPS 33310 WITH SCORE 33346.787
AT ITER 628 NEW BEST:: SOT 70225 SOS 36736 HAS SOPS 36736 HAS SOUS 33262 HAS SOUPS 33262 WITH SCORE 33298.736
AT ITER 633 NEW BEST:: SOT 70192 SOS 36692 HAS SOPS 36692 HAS SOUS 33207 HAS SOUPS 33207 WITH SCORE 33243.692
AT ITER 634 NEW BEST:: SOT 70100 SOS 36531 HAS SOPS 36531 HAS SOUS 32954 HAS SOUPS 32954 WITH SCORE 32990.531
AT ITER 636 NEW BEST:: SOT 70044 SOS 36475 HAS SOPS 36475 HAS SOUS 32898 HAS SOUPS 32898 WITH SCORE 32934.475
AT ITER 638 NEW BEST:: SOT 70043 SOS 36474 HAS SOPS 36474 HAS SOUS 32897 HAS SOUPS 32897 WITH SCORE 32933.474
AT ITER 644 NEW BEST:: SOT 70061 SOS 36364 HAS SOPS 36364 HAS SOUS 32819 HAS SOUPS 32819 WITH SCORE 32855.364
AT ITER 651 NEW BEST:: SOT 70059 SOS 36360 HAS SOPS 36360 HAS SOUS 32815 HAS SOUPS 32815 WITH SCORE 32851.36
AT ITER 652 NEW BEST:: SOT 70049 SOS 36345 HAS SOPS 36345 HAS SOUS 32800 HAS SOUPS 32800 WITH SCORE 32836.345
AT ITER 654 NEW BEST:: SOT 70023 SOS 36294 HAS SOPS 36294 HAS SOUS 32749 HAS SOUPS 32749 WITH SCORE 32785.294
AT ITER 664 NEW BEST:: SOT 70023 SOS 36288 HAS SOPS 36288 HAS SOUS 32747 HAS SOUPS 32747 WITH SCORE 32783.288
AT ITER 669 NEW BEST:: SOT 69962 SOS 36227 HAS SOPS 36227 HAS SOUS 32686 HAS SOUPS 32686 WITH SCORE 32722.227
AT ITER 673 NEW BEST:: SOT 69893 SOS 36119 HAS SOPS 36119 HAS SOUS 32627 HAS SOUPS 32627 WITH SCORE 32663.119
AT ITER 674 NEW BEST:: SOT 69893 SOS 36102 HAS SOPS 36102 HAS SOUS 32593 HAS SOUPS 32593 WITH SCORE 32629.102
AT ITER 677 NEW BEST:: SOT 69893 SOS 35858 HAS SOPS 35858 HAS SOUS 32590 HAS SOUPS 32590 WITH SCORE 32625.858
AT ITER 679 NEW BEST:: SOT 69735 SOS 35616 HAS SOPS 35616 HAS SOUS 32271 HAS SOUPS 32271 WITH SCORE 32306.616
AT ITER 688 NEW BEST:: SOT 69625 SOS 35363 HAS SOPS 35363 HAS SOUS 32064 HAS SOUPS 32064 WITH SCORE 32099.363
AT ITER 698 NEW BEST:: SOT 69572 SOS 35223 HAS SOPS 35223 HAS SOUS 31919 HAS SOUPS 31919 WITH SCORE 31954.223
AT ITER 699 NEW BEST:: SOT 69565 SOS 35188 HAS SOPS 35188 HAS SOUS 31898 HAS SOUPS 31898 WITH SCORE 31933.188
AT ITER 700 NEW BEST:: SOT 69559 SOS 35178 HAS SOPS 35178 HAS SOUS 31888 HAS SOUPS 31888 WITH SCORE 31923.178
AT ITER 701 NEW BEST:: SOT 69565 SOS 34992 HAS SOPS 34992 HAS SOUS 31809 HAS SOUPS 31809 WITH SCORE 31843.992
AT ITER 710 NEW BEST:: SOT 69549 SOS 34972 HAS SOPS 34972 HAS SOUS 31789 HAS SOUPS 31789 WITH SCORE 31823.972
AT ITER 713 NEW BEST:: SOT 69477 SOS 34852 HAS SOPS 34852 HAS SOUS 31693 HAS SOUPS 31693 WITH SCORE 31727.852
AT ITER 715 NEW BEST:: SOT 69370 SOS 34745 HAS SOPS 34745 HAS SOUS 31580 HAS SOUPS 31580 WITH SCORE 31614.745
AT ITER 718 NEW BEST:: SOT 69280 SOS 34549 HAS SOPS 34549 HAS SOUS 31437 HAS SOUPS 31437 WITH SCORE 31471.549
AT ITER 719 NEW BEST:: SOT 69119 SOS 34393 HAS SOPS 34393 HAS SOUS 31281 HAS SOUPS 31281 WITH SCORE 31315.393
AT ITER 721 NEW BEST:: SOT 69104 SOS 34348 HAS SOPS 34348 HAS SOUS 31215 HAS SOUPS 31215 WITH SCORE 31249.348
AT ITER 724 NEW BEST:: SOT 69098 SOS 34329 HAS SOPS 34329 HAS SOUS 31183 HAS SOUPS 31183 WITH SCORE 31217.329
AT ITER 726 NEW BEST:: SOT 69080 SOS 34277 HAS SOPS 34277 HAS SOUS 31127 HAS SOUPS 31127 WITH SCORE 31161.277
AT ITER 733 NEW BEST:: SOT 68958 SOS 33981 HAS SOPS 33981 HAS SOUS 30888 HAS SOUPS 30888 WITH SCORE 30921.981
AT ITER 738 NEW BEST:: SOT 68954 SOS 33973 HAS SOPS 33973 HAS SOUS 30880 HAS SOUPS 30880 WITH SCORE 30913.973
AT ITER 741 NEW BEST:: SOT 68930 SOS 34001 HAS SOPS 34001 HAS SOUS 30757 HAS SOUPS 30757 WITH SCORE 30791.001
AT ITER 743 NEW BEST:: SOT 68927 SOS 33961 HAS SOPS 33961 HAS SOUS 30717 HAS SOUPS 30717 WITH SCORE 30750.961
AT ITER 750 NEW BEST:: SOT 68794 SOS 33772 HAS SOPS 33772 HAS SOUS 30513 HAS SOUPS 30513 WITH SCORE 30546.772
AT ITER 764 NEW BEST:: SOT 68740 SOS 33709 HAS SOPS 33709 HAS SOUS 30459 HAS SOUPS 30459 WITH SCORE 30492.709
AT ITER 776 NEW BEST:: SOT 68700 SOS 33634 HAS SOPS 33634 HAS SOUS 30425 HAS SOUPS 30425 WITH SCORE 30458.634
AT ITER 777 NEW BEST:: SOT 68637 SOS 33499 HAS SOPS 33499 HAS SOUS 30225 HAS SOUPS 30225 WITH SCORE 30258.499
AT ITER 778 NEW BEST:: SOT 68639 SOS 33452 HAS SOPS 33452 HAS SOUS 30209 HAS SOUPS 30209 WITH SCORE 30242.452
AT ITER 781 NEW BEST:: SOT 68598 SOS 33288 HAS SOPS 33288 HAS SOUS 30178 HAS SOUPS 30178 WITH SCORE 30211.288
AT ITER 783 NEW BEST:: SOT 68577 SOS 33246 HAS SOPS 33246 HAS SOUS 30160 HAS SOUPS 30160 WITH SCORE 30193.246
AT ITER 785 NEW BEST:: SOT 68551 SOS 33166 HAS SOPS 33166 HAS SOUS 30108 HAS SOUPS 30108 WITH SCORE 30141.166
AT ITER 795 NEW BEST:: SOT 68539 SOS 33139 HAS SOPS 33139 HAS SOUS 30080 HAS SOUPS 30080 WITH SCORE 30113.139
AT ITER 797 NEW BEST:: SOT 68503 SOS 33103 HAS SOPS 33103 HAS SOUS 30016 HAS SOUPS 30016 WITH SCORE 30049.103
AT ITER 804 NEW BEST:: SOT 68458 SOS 33058 HAS SOPS 33058 HAS SOUS 29926 HAS SOUPS 29926 WITH SCORE 29959.058
AT ITER 810 NEW BEST:: SOT 68362 SOS 32908 HAS SOPS 32908 HAS SOUS 29761 HAS SOUPS 29761 WITH SCORE 29793.908
AT ITER 813 NEW BEST:: SOT 68362 SOS 32826 HAS SOPS 32826 HAS SOUS 29657 HAS SOUPS 29657 WITH SCORE 29689.826
AT ITER 814 NEW BEST:: SOT 68344 SOS 32772 HAS SOPS 32772 HAS SOUS 29611 HAS SOUPS 29611 WITH SCORE 29643.772
AT ITER 816 NEW BEST:: SOT 68332 SOS 32736 HAS SOPS 32736 HAS SOUS 29540 HAS SOUPS 29540 WITH SCORE 29572.736
AT ITER 828 NEW BEST:: SOT 68335 SOS 32719 HAS SOPS 32719 HAS SOUS 29531 HAS SOUPS 29531 WITH SCORE 29563.719
AT ITER 832 NEW BEST:: SOT 68293 SOS 32679 HAS SOPS 32679 HAS SOUS 29441 HAS SOUPS 29441 WITH SCORE 29473.679
AT ITER 843 NEW BEST:: SOT 68282 SOS 32644 HAS SOPS 32644 HAS SOUS 29408 HAS SOUPS 29408 WITH SCORE 29440.644
AT ITER 848 NEW BEST:: SOT 68172 SOS 32487 HAS SOPS 32487 HAS SOUS 29339 HAS SOUPS 29339 WITH SCORE 29371.487
AT ITER 849 NEW BEST:: SOT 68166 SOS 32484 HAS SOPS 32484 HAS SOUS 29321 HAS SOUPS 29321 WITH SCORE 29353.484
AT ITER 850 NEW BEST:: SOT 68058 SOS 32340 HAS SOPS 32340 HAS SOUS 29170 HAS SOUPS 29170 WITH SCORE 29202.34
AT ITER 854 NEW BEST:: SOT 68014 SOS 32285 HAS SOPS 32285 HAS SOUS 29115 HAS SOUPS 29115 WITH SCORE 29147.285
AT ITER 861 NEW BEST:: SOT 67989 SOS 32260 HAS SOPS 32260 HAS SOUS 29052 HAS SOUPS 29052 WITH SCORE 29084.26
AT ITER 863 NEW BEST:: SOT 67951 SOS 32243 HAS SOPS 32243 HAS SOUS 29042 HAS SOUPS 29042 WITH SCORE 29074.243
AT ITER 874 NEW BEST:: SOT 67923 SOS 32209 HAS SOPS 32209 HAS SOUS 28971 HAS SOUPS 28971 WITH SCORE 29003.209
AT ITER 880 NEW BEST:: SOT 67899 SOS 32254 HAS SOPS 32254 HAS SOUS 28921 HAS SOUPS 28921 WITH SCORE 28953.254
AT ITER 886 NEW BEST:: SOT 67963 SOS 32318 HAS SOPS 32318 HAS SOUS 28869 HAS SOUPS 28869 WITH SCORE 28901.318
AT ITER 887 NEW BEST:: SOT 67906 SOS 32090 HAS SOPS 32090 HAS SOUS 28755 HAS SOUPS 28755 WITH SCORE 28787.09
AT ITER 891 NEW BEST:: SOT 67906 SOS 31915 HAS SOPS 31915 HAS SOUS 28701 HAS SOUPS 28701 WITH SCORE 28732.915
AT ITER 893 NEW BEST:: SOT 67906 SOS 31962 HAS SOPS 31962 HAS SOUS 28574 HAS SOUPS 28574 WITH SCORE 28605.962
AT ITER 900 NEW BEST:: SOT 67826 SOS 31890 HAS SOPS 31890 HAS SOUS 28444 HAS SOUPS 28444 WITH SCORE 28475.89
AT ITER 903 NEW BEST:: SOT 67826 SOS 31933 HAS SOPS 31933 HAS SOUS 28421 HAS SOUPS 28421 WITH SCORE 28452.933
AT ITER 904 NEW BEST:: SOT 67806 SOS 31831 HAS SOPS 31831 HAS SOUS 28361 HAS SOUPS 28361 WITH SCORE 28392.831
AT ITER 911 NEW BEST:: SOT 67788 SOS 31818 HAS SOPS 31818 HAS SOUS 28292 HAS SOUPS 28292 WITH SCORE 28323.818
AT ITER 920 NEW BEST:: SOT 67778 SOS 31778 HAS SOPS 31778 HAS SOUS 28277 HAS SOUPS 28277 WITH SCORE 28308.778
AT ITER 929 NEW BEST:: SOT 67782 SOS 31792 HAS SOPS 31792 HAS SOUS 28274 HAS SOUPS 28274 WITH SCORE 28305.792
AT ITER 935 NEW BEST:: SOT 67780 SOS 31782 HAS SOPS 31782 HAS SOUS 28270 HAS SOUPS 28270 WITH SCORE 28301.782
AT ITER 936 NEW BEST:: SOT 67613 SOS 31576 HAS SOPS 31576 HAS SOUS 28093 HAS SOUPS 28093 WITH SCORE 28124.576
AT ITER 956 NEW BEST:: SOT 67502 SOS 31528 HAS SOPS 31528 HAS SOUS 27947 HAS SOUPS 27947 WITH SCORE 27978.528
AT ITER 975 NEW BEST:: SOT 67477 SOS 31471 HAS SOPS 31471 HAS SOUS 27851 HAS SOUPS 27851 WITH SCORE 27882.471
AT ITER 1000 NEW BEST:: SOT 67341 SOS 31176 HAS SOPS 31176 HAS SOUS 27652 HAS SOUPS 27652 WITH SCORE 27683.176
AT ITER 1005 NEW BEST:: SOT 67209 SOS 30804 HAS SOPS 30804 HAS SOUS 27324 HAS SOUPS 27324 WITH SCORE 27354.804
AT ITER 1007 NEW BEST:: SOT 67193 SOS 30772 HAS SOPS 30772 HAS SOUS 27292 HAS SOUPS 27292 WITH SCORE 27322.772
AT ITER 1014 NEW BEST:: SOT 67193 SOS 30738 HAS SOPS 30738 HAS SOUS 27290 HAS SOUPS 27290 WITH SCORE 27320.738
AT ITER 1017 NEW BEST:: SOT 67175 SOS 30714 HAS SOPS 30714 HAS SOUS 27260 HAS SOUPS 27260 WITH SCORE 27290.714
AT ITER 1024 NEW BEST:: SOT 67245 SOS 30633 HAS SOPS 30633 HAS SOUS 27259 HAS SOUPS 27259 WITH SCORE 27289.633
AT ITER 1042 NEW BEST:: SOT 67233 SOS 30615 HAS SOPS 30615 HAS SOUS 27241 HAS SOUPS 27241 WITH SCORE 27271.615
AT ITER 1051 NEW BEST:: SOT 67150 SOS 30439 HAS SOPS 30439 HAS SOUS 27093 HAS SOUPS 27093 WITH SCORE 27123.439
AT ITER 1070 NEW BEST:: SOT 67142 SOS 30431 HAS SOPS 30431 HAS SOUS 27085 HAS SOUPS 27085 WITH SCORE 27115.431
AT ITER 1071 NEW BEST:: SOT 67096 SOS 30342 HAS SOPS 30342 HAS SOUS 26996 HAS SOUPS 26996 WITH SCORE 27026.342
AT ITER 1079 NEW BEST:: SOT 67096 SOS 30342 HAS SOPS 30342 HAS SOUS 26920 HAS SOUPS 26920 WITH SCORE 26950.342
AT ITER 1104 NEW BEST:: SOT 67038 SOS 30222 HAS SOPS 30222 HAS SOUS 26827 HAS SOUPS 26827 WITH SCORE 26857.222
AT ITER 1105 NEW BEST:: SOT 67038 SOS 30059 HAS SOPS 30059 HAS SOUS 26751 HAS SOUPS 26751 WITH SCORE 26781.059
AT ITER 1107 NEW BEST:: SOT 67006 SOS 30027 HAS SOPS 30027 HAS SOUS 26711 HAS SOUPS 26711 WITH SCORE 26741.027
AT ITER 1128 NEW BEST:: SOT 66985 SOS 29975 HAS SOPS 29975 HAS SOUS 26635 HAS SOUPS 26635 WITH SCORE 26664.975
AT ITER 1129 NEW BEST:: SOT 66985 SOS 29982 HAS SOPS 29982 HAS SOUS 26628 HAS SOUPS 26628 WITH SCORE 26657.982
AT ITER 1130 NEW BEST:: SOT 66905 SOS 29742 HAS SOPS 29742 HAS SOUS 26464 HAS SOUPS 26464 WITH SCORE 26493.742
AT ITER 1132 NEW BEST:: SOT 66793 SOS 29476 HAS SOPS 29476 HAS SOUS 26324 HAS SOUPS 26324 WITH SCORE 26353.476
AT ITER 1140 NEW BEST:: SOT 66762 SOS 29481 HAS SOPS 29481 HAS SOUS 26203 HAS SOUPS 26203 WITH SCORE 26232.481
AT ITER 1144 NEW BEST:: SOT 66683 SOS 29402 HAS SOPS 29402 HAS SOUS 26141 HAS SOUPS 26141 WITH SCORE 26170.402
AT ITER 1171 NEW BEST:: SOT 66675 SOS 29394 HAS SOPS 29394 HAS SOUS 26141 HAS SOUPS 26141 WITH SCORE 26170.394
AT ITER 1176 NEW BEST:: SOT 66679 SOS 29329 HAS SOPS 29329 HAS SOUS 26131 HAS SOUPS 26131 WITH SCORE 26160.329
AT ITER 1200 NEW BEST:: SOT 66671 SOS 29313 HAS SOPS 29313 HAS SOUS 26107 HAS SOUPS 26107 WITH SCORE 26136.313
AT ITER 1213 NEW BEST:: SOT 66649 SOS 29225 HAS SOPS 29225 HAS SOUS 26055 HAS SOUPS 26055 WITH SCORE 26084.225
AT ITER 1214 NEW BEST:: SOT 66639 SOS 29195 HAS SOPS 29195 HAS SOUS 26035 HAS SOUPS 26035 WITH SCORE 26064.195
AT ITER 1216 NEW BEST:: SOT 66634 SOS 29190 HAS SOPS 29190 HAS SOUS 26030 HAS SOUPS 26030 WITH SCORE 26059.19
AT ITER 1231 NEW BEST:: SOT 66448 SOS 28819 HAS SOPS 28819 HAS SOUS 25720 HAS SOUPS 25720 WITH SCORE 25748.819
AT ITER 1233 NEW BEST:: SOT 66248 SOS 28452 HAS SOPS 28452 HAS SOUS 25409 HAS SOUPS 25409 WITH SCORE 25437.452
AT ITER 1243 NEW BEST:: SOT 66221 SOS 28403 HAS SOPS 28403 HAS SOUS 25381 HAS SOUPS 25381 WITH SCORE 25409.403
AT ITER 1244 NEW BEST:: SOT 66200 SOS 28368 HAS SOPS 28368 HAS SOUS 25353 HAS SOUPS 25353 WITH SCORE 25381.368
AT ITER 1245 NEW BEST:: SOT 66198 SOS 28379 HAS SOPS 28379 HAS SOUS 25343 HAS SOUPS 25343 WITH SCORE 25371.379
AT ITER 1248 NEW BEST:: SOT 66182 SOS 28343 HAS SOPS 28343 HAS SOUS 25323 HAS SOUPS 25323 WITH SCORE 25351.343
AT ITER 1252 NEW BEST:: SOT 66149 SOS 28234 HAS SOPS 28234 HAS SOUS 25273 HAS SOUPS 25273 WITH SCORE 25301.234
AT ITER 1254 NEW BEST:: SOT 66139 SOS 28221 HAS SOPS 28221 HAS SOUS 25254 HAS SOUPS 25254 WITH SCORE 25282.221
AT ITER 1276 NEW BEST:: SOT 66119 SOS 28184 HAS SOPS 28184 HAS SOUS 25206 HAS SOUPS 25206 WITH SCORE 25234.184
AT ITER 1280 NEW BEST:: SOT 66110 SOS 28139 HAS SOPS 28139 HAS SOUS 25188 HAS SOUPS 25188 WITH SCORE 25216.139
AT ITER 1294 NEW BEST:: SOT 66054 SOS 28083 HAS SOPS 28083 HAS SOUS 25132 HAS SOUPS 25132 WITH SCORE 25160.083
AT ITER 1296 NEW BEST:: SOT 66054 SOS 28092 HAS SOPS 28092 HAS SOUS 25123 HAS SOUPS 25123 WITH SCORE 25151.092
AT ITER 1299 NEW BEST:: SOT 66023 SOS 28059 HAS SOPS 28059 HAS SOUS 25108 HAS SOUPS 25108 WITH SCORE 25136.059
AT ITER 1305 NEW BEST:: SOT 66006 SOS 28034 HAS SOPS 28034 HAS SOUS 25089 HAS SOUPS 25089 WITH SCORE 25117.034
AT ITER 1311 NEW BEST:: SOT 65973 SOS 28001 HAS SOPS 28001 HAS SOUS 25056 HAS SOUPS 25056 WITH SCORE 25084.001
AT ITER 1313 NEW BEST:: SOT 65909 SOS 27969 HAS SOPS 27969 HAS SOUS 25033 HAS SOUPS 25033 WITH SCORE 25060.969
AT ITER 1319 NEW BEST:: SOT 65864 SOS 27880 HAS SOPS 27880 HAS SOUS 24941 HAS SOUPS 24941 WITH SCORE 24968.88
AT ITER 1336 NEW BEST:: SOT 65851 SOS 27838 HAS SOPS 27838 HAS SOUS 24904 HAS SOUPS 24904 WITH SCORE 24931.838
AT ITER 1339 NEW BEST:: SOT 65845 SOS 27832 HAS SOPS 27832 HAS SOUS 24898 HAS SOUPS 24898 WITH SCORE 24925.832
AT ITER 1342 NEW BEST:: SOT 65794 SOS 27759 HAS SOPS 27759 HAS SOUS 24825 HAS SOUPS 24825 WITH SCORE 24852.759
AT ITER 1347 NEW BEST:: SOT 65795 SOS 27766 HAS SOPS 27766 HAS SOUS 24818 HAS SOUPS 24818 WITH SCORE 24845.766
AT ITER 1356 NEW BEST:: SOT 65763 SOS 27702 HAS SOPS 27702 HAS SOUS 24747 HAS SOUPS 24747 WITH SCORE 24774.702
AT ITER 1357 NEW BEST:: SOT 65723 SOS 27662 HAS SOPS 27662 HAS SOUS 24707 HAS SOUPS 24707 WITH SCORE 24734.662
AT ITER 1359 NEW BEST:: SOT 65706 SOS 27611 HAS SOPS 27611 HAS SOUS 24667 HAS SOUPS 24667 WITH SCORE 24694.611
AT ITER 1376 NEW BEST:: SOT 65691 SOS 27614 HAS SOPS 27614 HAS SOUS 24664 HAS SOUPS 24664 WITH SCORE 24691.614
AT ITER 1386 NEW BEST:: SOT 65610 SOS 27440 HAS SOPS 27440 HAS SOUS 24499 HAS SOUPS 24499 WITH SCORE 24526.44
AT ITER 1388 NEW BEST:: SOT 65610 SOS 27386 HAS SOPS 27386 HAS SOUS 24499 HAS SOUPS 24499 WITH SCORE 24526.386
AT ITER 1392 NEW BEST:: SOT 65610 SOS 27401 HAS SOPS 27401 HAS SOUS 24493 HAS SOUPS 24493 WITH SCORE 24520.401
AT ITER 1394 NEW BEST:: SOT 65510 SOS 27201 HAS SOPS 27201 HAS SOUS 24343 HAS SOUPS 24343 WITH SCORE 24370.201
AT ITER 1399 NEW BEST:: SOT 65539 SOS 27304 HAS SOPS 27304 HAS SOUS 24248 HAS SOUPS 24248 WITH SCORE 24275.304
AT ITER 1407 NEW BEST:: SOT 65539 SOS 27304 HAS SOPS 27304 HAS SOUS 24243 HAS SOUPS 24243 WITH SCORE 24270.304
AT ITER 1412 NEW BEST:: SOT 65436 SOS 27258 HAS SOPS 27258 HAS SOUS 24105 HAS SOUPS 24105 WITH SCORE 24132.258
AT ITER 1414 NEW BEST:: SOT 65423 SOS 27245 HAS SOPS 27245 HAS SOUS 24079 HAS SOUPS 24079 WITH SCORE 24106.245
AT ITER 1430 NEW BEST:: SOT 65418 SOS 27225 HAS SOPS 27225 HAS SOUS 24074 HAS SOUPS 24074 WITH SCORE 24101.225
AT ITER 1434 NEW BEST:: SOT 65277 SOS 27027 HAS SOPS 27027 HAS SOUS 23845 HAS SOUPS 23845 WITH SCORE 23872.027
AT ITER 1438 NEW BEST:: SOT 65261 SOS 26963 HAS SOPS 26963 HAS SOUS 23797 HAS SOUPS 23797 WITH SCORE 23823.963
AT ITER 1440 NEW BEST:: SOT 65257 SOS 26951 HAS SOPS 26951 HAS SOUS 23785 HAS SOUPS 23785 WITH SCORE 23811.951
AT ITER 1445 NEW BEST:: SOT 65245 SOS 26939 HAS SOPS 26939 HAS SOUS 23773 HAS SOUPS 23773 WITH SCORE 23799.939
AT ITER 1456 NEW BEST:: SOT 65210 SOS 26926 HAS SOPS 26926 HAS SOUS 23754 HAS SOUPS 23754 WITH SCORE 23780.926
AT ITER 1459 NEW BEST:: SOT 65201 SOS 26914 HAS SOPS 26914 HAS SOUS 23742 HAS SOUPS 23742 WITH SCORE 23768.914
AT ITER 1463 NEW BEST:: SOT 65222 SOS 26828 HAS SOPS 26828 HAS SOUS 23739 HAS SOUPS 23739 WITH SCORE 23765.828
AT ITER 1475 NEW BEST:: SOT 65126 SOS 26570 HAS SOPS 26570 HAS SOUS 23423 HAS SOUPS 23423 WITH SCORE 23449.57
AT ITER 1490 NEW BEST:: SOT 65056 SOS 26357 HAS SOPS 26357 HAS SOUS 23317 HAS SOUPS 23317 WITH SCORE 23343.357
AT ITER 1501 NEW BEST:: SOT 64886 SOS 26025 HAS SOPS 26025 HAS SOUS 22967 HAS SOUPS 22967 WITH SCORE 22993.025
AT ITER 1506 NEW BEST:: SOT 64869 SOS 25991 HAS SOPS 25991 HAS SOUS 22950 HAS SOUPS 22950 WITH SCORE 22975.991
AT ITER 1508 NEW BEST:: SOT 64865 SOS 25985 HAS SOPS 25985 HAS SOUS 22946 HAS SOUPS 22946 WITH SCORE 22971.985
AT ITER 1510 NEW BEST:: SOT 64825 SOS 25941 HAS SOPS 25941 HAS SOUS 22899 HAS SOUPS 22899 WITH SCORE 22924.941
AT ITER 1512 NEW BEST:: SOT 64774 SOS 25821 HAS SOPS 25821 HAS SOUS 22764 HAS SOUPS 22764 WITH SCORE 22789.821
AT ITER 1524 NEW BEST:: SOT 64770 SOS 25817 HAS SOPS 25817 HAS SOUS 22760 HAS SOUPS 22760 WITH SCORE 22785.817
AT ITER 1527 NEW BEST:: SOT 64770 SOS 25801 HAS SOPS 25801 HAS SOUS 22760 HAS SOUPS 22760 WITH SCORE 22785.801
AT ITER 1532 NEW BEST:: SOT 64752 SOS 25784 HAS SOPS 25784 HAS SOUS 22743 HAS SOUPS 22743 WITH SCORE 22768.784
AT ITER 1539 NEW BEST:: SOT 64735 SOS 25701 HAS SOPS 25701 HAS SOUS 22695 HAS SOUPS 22695 WITH SCORE 22720.701
AT ITER 1540 NEW BEST:: SOT 64635 SOS 25580 HAS SOPS 25580 HAS SOUS 22584 HAS SOUPS 22584 WITH SCORE 22609.58
AT ITER 1549 NEW BEST:: SOT 64622 SOS 25561 HAS SOPS 25561 HAS SOUS 22566 HAS SOUPS 22566 WITH SCORE 22591.561
AT ITER 1557 NEW BEST:: SOT 64606 SOS 25535 HAS SOPS 25535 HAS SOUS 22552 HAS SOUPS 22552 WITH SCORE 22577.535
AT ITER 1575 NEW BEST:: SOT 64487 SOS 25314 HAS SOPS 25314 HAS SOUS 22311 HAS SOUPS 22311 WITH SCORE 22336.314
AT ITER 1584 NEW BEST:: SOT 64453 SOS 25246 HAS SOPS 25246 HAS SOUS 22277 HAS SOUPS 22277 WITH SCORE 22302.246
AT ITER 1605 NEW BEST:: SOT 64453 SOS 25243 HAS SOPS 25243 HAS SOUS 22269 HAS SOUPS 22269 WITH SCORE 22294.243
AT ITER 1613 NEW BEST:: SOT 64444 SOS 25225 HAS SOPS 25225 HAS SOUS 22260 HAS SOUPS 22260 WITH SCORE 22285.225
AT ITER 1621 NEW BEST:: SOT 64444 SOS 25186 HAS SOPS 25186 HAS SOUS 22221 HAS SOUPS 22221 WITH SCORE 22246.186
AT ITER 1625 NEW BEST:: SOT 64384 SOS 25106 HAS SOPS 25106 HAS SOUS 22178 HAS SOUPS 22178 WITH SCORE 22203.106
AT ITER 1649 NEW BEST:: SOT 64259 SOS 25014 HAS SOPS 25014 HAS SOUS 21957 HAS SOUPS 21957 WITH SCORE 21982.014
AT ITER 1673 NEW BEST:: SOT 64247 SOS 25003 HAS SOPS 25003 HAS SOUS 21952 HAS SOUPS 21952 WITH SCORE 21977.003
AT ITER 1693 NEW BEST:: SOT 64225 SOS 24999 HAS SOPS 24999 HAS SOUS 21948 HAS SOUPS 21948 WITH SCORE 21972.999
AT ITER 1695 NEW BEST:: SOT 64196 SOS 24967 HAS SOPS 24967 HAS SOUS 21930 HAS SOUPS 21930 WITH SCORE 21954.967
AT ITER 1712 NEW BEST:: SOT 64140 SOS 24897 HAS SOPS 24897 HAS SOUS 21860 HAS SOUPS 21860 WITH SCORE 21884.897
AT ITER 1716 NEW BEST:: SOT 64134 SOS 24892 HAS SOPS 24892 HAS SOUS 21860 HAS SOUPS 21860 WITH SCORE 21884.892
AT ITER 1726 NEW BEST:: SOT 64134 SOS 24885 HAS SOPS 24885 HAS SOUS 21853 HAS SOUPS 21853 WITH SCORE 21877.885
AT ITER 1736 NEW BEST:: SOT 64116 SOS 24855 HAS SOPS 24855 HAS SOUS 21829 HAS SOUPS 21829 WITH SCORE 21853.855
AT ITER 1742 NEW BEST:: SOT 64116 SOS 24849 HAS SOPS 24849 HAS SOUS 21827 HAS SOUPS 21827 WITH SCORE 21851.849
AT ITER 1753 NEW BEST:: SOT 64083 SOS 24810 HAS SOPS 24810 HAS SOUS 21775 HAS SOUPS 21775 WITH SCORE 21799.81
AT ITER 1783 NEW BEST:: SOT 64080 SOS 24807 HAS SOPS 24807 HAS SOUS 21769 HAS SOUPS 21769 WITH SCORE 21793.807
AT ITER 1798 NEW BEST:: SOT 64067 SOS 24784 HAS SOPS 24784 HAS SOUS 21746 HAS SOUPS 21746 WITH SCORE 21770.784
AT ITER 1802 NEW BEST:: SOT 63967 SOS 24700 HAS SOPS 24700 HAS SOUS 21662 HAS SOUPS 21662 WITH SCORE 21686.7
AT ITER 1807 NEW BEST:: SOT 63943 SOS 24670 HAS SOPS 24670 HAS SOUS 21614 HAS SOUPS 21614 WITH SCORE 21638.67
AT ITER 1816 NEW BEST:: SOT 63820 SOS 24420 HAS SOPS 24420 HAS SOUS 21442 HAS SOUPS 21442 WITH SCORE 21466.42
AT ITER 1849 NEW BEST:: SOT 63808 SOS 24390 HAS SOPS 24390 HAS SOUS 21412 HAS SOUPS 21412 WITH SCORE 21436.39
AT ITER 1862 NEW BEST:: SOT 63773 SOS 24320 HAS SOPS 24320 HAS SOUS 21336 HAS SOUPS 21336 WITH SCORE 21360.32
AT ITER 1888 NEW BEST:: SOT 63679 SOS 24206 HAS SOPS 24206 HAS SOUS 21213 HAS SOUPS 21213 WITH SCORE 21237.206
AT ITER 1898 NEW BEST:: SOT 63679 SOS 24230 HAS SOPS 24230 HAS SOUS 21203 HAS SOUPS 21203 WITH SCORE 21227.23
AT ITER 1899 NEW BEST:: SOT 63652 SOS 24176 HAS SOPS 24176 HAS SOUS 21158 HAS SOUPS 21158 WITH SCORE 21182.176
AT ITER 1935 NEW BEST:: SOT 63696 SOS 24296 HAS SOPS 24296 HAS SOUS 21129 HAS SOUPS 21129 WITH SCORE 21153.296
AT ITER 1943 NEW BEST:: SOT 63668 SOS 24223 HAS SOPS 24223 HAS SOUS 21087 HAS SOUPS 21087 WITH SCORE 21111.223
AT ITER 1946 NEW BEST:: SOT 63668 SOS 24221 HAS SOPS 24221 HAS SOUS 21069 HAS SOUPS 21069 WITH SCORE 21093.221
AT ITER 1956 NEW BEST:: SOT 63665 SOS 24215 HAS SOPS 24215 HAS SOUS 21060 HAS SOUPS 21060 WITH SCORE 21084.215
AT ITER 1972 NEW BEST:: SOT 63664 SOS 24194 HAS SOPS 24194 HAS SOUS 21045 HAS SOUPS 21045 WITH SCORE 21069.194
AT ITER 1983 NEW BEST:: SOT 63664 SOS 23997 HAS SOPS 23997 HAS SOUS 20968 HAS SOUPS 20968 WITH SCORE 20991.997
AT ITER 1987 NEW BEST:: SOT 63655 SOS 23982 HAS SOPS 23982 HAS SOUS 20956 HAS SOUPS 20956 WITH SCORE 20979.982
AT ITER 1988 NEW BEST:: SOT 63629 SOS 23935 HAS SOPS 23935 HAS SOUS 20943 HAS SOUPS 20943 WITH SCORE 20966.935
AT ITER 1998 NEW BEST:: SOT 63626 SOS 23894 HAS SOPS 23894 HAS SOUS 20914 HAS SOUPS 20914 WITH SCORE 20937.894
AT ITER 2003 NEW BEST:: SOT 63605 SOS 23873 HAS SOPS 23873 HAS SOUS 20869 HAS SOUPS 20869 WITH SCORE 20892.873
AT ITER 2008 NEW BEST:: SOT 63473 SOS 23589 HAS SOPS 23589 HAS SOUS 20628 HAS SOUPS 20628 WITH SCORE 20651.589
AT ITER 2023 NEW BEST:: SOT 63439 SOS 23555 HAS SOPS 23555 HAS SOUS 20577 HAS SOUPS 20577 WITH SCORE 20600.555
AT ITER 2025 NEW BEST:: SOT 63426 SOS 23542 HAS SOPS 23542 HAS SOUS 20554 HAS SOUPS 20554 WITH SCORE 20577.542
AT ITER 2037 NEW BEST:: SOT 63384 SOS 23186 HAS SOPS 23186 HAS SOUS 20448 HAS SOUPS 20448 WITH SCORE 20471.186
AT ITER 2039 NEW BEST:: SOT 63373 SOS 23175 HAS SOPS 23175 HAS SOUS 20420 HAS SOUPS 20420 WITH SCORE 20443.175
AT ITER 2041 NEW BEST:: SOT 63239 SOS 22921 HAS SOPS 22921 HAS SOUS 20241 HAS SOUPS 20241 WITH SCORE 20263.921
AT ITER 2049 NEW BEST:: SOT 63239 SOS 22942 HAS SOPS 22942 HAS SOUS 20220 HAS SOUPS 20220 WITH SCORE 20242.942
AT ITER 2051 NEW BEST:: SOT 63238 SOS 22941 HAS SOPS 22941 HAS SOUS 20219 HAS SOUPS 20219 WITH SCORE 20241.941
AT ITER 2052 NEW BEST:: SOT 63190 SOS 22861 HAS SOPS 22861 HAS SOUS 20155 HAS SOUPS 20155 WITH SCORE 20177.861
AT ITER 2094 NEW BEST:: SOT 63161 SOS 22806 HAS SOPS 22806 HAS SOUS 20089 HAS SOUPS 20089 WITH SCORE 20111.806
AT ITER 2107 NEW BEST:: SOT 63044 SOS 22650 HAS SOPS 22650 HAS SOUS 19961 HAS SOUPS 19961 WITH SCORE 19983.65
AT ITER 2119 NEW BEST:: SOT 63037 SOS 22591 HAS SOPS 22591 HAS SOUS 19916 HAS SOUPS 19916 WITH SCORE 19938.591
AT ITER 2126 NEW BEST:: SOT 63021 SOS 22527 HAS SOPS 22527 HAS SOUS 19876 HAS SOUPS 19876 WITH SCORE 19898.527
AT ITER 2127 NEW BEST:: SOT 63009 SOS 22491 HAS SOPS 22491 HAS SOUS 19852 HAS SOUPS 19852 WITH SCORE 19874.491
AT ITER 2145 NEW BEST:: SOT 63007 SOS 22481 HAS SOPS 22481 HAS SOUS 19842 HAS SOUPS 19842 WITH SCORE 19864.481
AT ITER 2156 NEW BEST:: SOT 62959 SOS 22408 HAS SOPS 22408 HAS SOUS 19769 HAS SOUPS 19769 WITH SCORE 19791.408
AT ITER 2170 NEW BEST:: SOT 62870 SOS 22280 HAS SOPS 22280 HAS SOUS 19620 HAS SOUPS 19620 WITH SCORE 19642.28
AT ITER 2172 NEW BEST:: SOT 62870 SOS 22280 HAS SOPS 22280 HAS SOUS 19612 HAS SOUPS 19612 WITH SCORE 19634.28
AT ITER 2181 NEW BEST:: SOT 62853 SOS 22246 HAS SOPS 22246 HAS SOUS 19595 HAS SOUPS 19595 WITH SCORE 19617.246
AT ITER 2200 NEW BEST:: SOT 62840 SOS 22296 HAS SOPS 22296 HAS SOUS 19593 HAS SOUPS 19593 WITH SCORE 19615.296
AT ITER 2214 NEW BEST:: SOT 62840 SOS 22283 HAS SOPS 22283 HAS SOUS 19575 HAS SOUPS 19575 WITH SCORE 19597.283
AT ITER 2222 NEW BEST:: SOT 62836 SOS 22281 HAS SOPS 22281 HAS SOUS 19572 HAS SOUPS 19572 WITH SCORE 19594.281
AT ITER 2239 NEW BEST:: SOT 62833 SOS 22277 HAS SOPS 22277 HAS SOUS 19568 HAS SOUPS 19568 WITH SCORE 19590.277
AT ITER 2255 NEW BEST:: SOT 62793 SOS 22220 HAS SOPS 22220 HAS SOUS 19532 HAS SOUPS 19532 WITH SCORE 19554.22
AT ITER 2257 NEW BEST:: SOT 62792 SOS 22216 HAS SOPS 22216 HAS SOUS 19529 HAS SOUPS 19529 WITH SCORE 19551.216
AT ITER 2262 NEW BEST:: SOT 62766 SOS 22190 HAS SOPS 22190 HAS SOUS 19503 HAS SOUPS 19503 WITH SCORE 19525.19
AT ITER 2267 NEW BEST:: SOT 62756 SOS 22170 HAS SOPS 22170 HAS SOUS 19473 HAS SOUPS 19473 WITH SCORE 19495.17
AT ITER 2277 NEW BEST:: SOT 62748 SOS 22138 HAS SOPS 22138 HAS SOUS 19449 HAS SOUPS 19449 WITH SCORE 19471.138
AT ITER 2290 NEW BEST:: SOT 62688 SOS 22090 HAS SOPS 22090 HAS SOUS 19341 HAS SOUPS 19341 WITH SCORE 19363.09
AT ITER 2300 NEW BEST:: SOT 62523 SOS 21860 HAS SOPS 21860 HAS SOUS 19135 HAS SOUPS 19135 WITH SCORE 19156.86
AT ITER 2307 NEW BEST:: SOT 62510 SOS 21847 HAS SOPS 21847 HAS SOUS 19109 HAS SOUPS 19109 WITH SCORE 19130.847
AT ITER 2318 NEW BEST:: SOT 62505 SOS 21832 HAS SOPS 21832 HAS SOUS 19099 HAS SOUPS 19099 WITH SCORE 19120.832
AT ITER 2323 NEW BEST:: SOT 62451 SOS 21770 HAS SOPS 21770 HAS SOUS 19017 HAS SOUPS 19017 WITH SCORE 19038.77
AT ITER 2328 NEW BEST:: SOT 62451 SOS 21776 HAS SOPS 21776 HAS SOUS 19011 HAS SOUPS 19011 WITH SCORE 19032.776
AT ITER 2342 NEW BEST:: SOT 62414 SOS 21734 HAS SOPS 21734 HAS SOUS 18940 HAS SOUPS 18940 WITH SCORE 18961.734
AT ITER 2369 NEW BEST:: SOT 62400 SOS 21726 HAS SOPS 21726 HAS SOUS 18932 HAS SOUPS 18932 WITH SCORE 18953.726
AT ITER 2371 NEW BEST:: SOT 62413 SOS 21739 HAS SOPS 21739 HAS SOUS 18892 HAS SOUPS 18892 WITH SCORE 18913.739
AT ITER 2374 NEW BEST:: SOT 62417 SOS 21669 HAS SOPS 21669 HAS SOUS 18857 HAS SOUPS 18857 WITH SCORE 18878.669
AT ITER 2376 NEW BEST:: SOT 62394 SOS 21644 HAS SOPS 21644 HAS SOUS 18836 HAS SOUPS 18836 WITH SCORE 18857.644
AT ITER 2391 NEW BEST:: SOT 62402 SOS 21616 HAS SOPS 21616 HAS SOUS 18808 HAS SOUPS 18808 WITH SCORE 18829.616
AT ITER 2393 NEW BEST:: SOT 62390 SOS 21566 HAS SOPS 21566 HAS SOUS 18784 HAS SOUPS 18784 WITH SCORE 18805.566
AT ITER 2397 NEW BEST:: SOT 62384 SOS 21556 HAS SOPS 21556 HAS SOUS 18776 HAS SOUPS 18776 WITH SCORE 18797.556
AT ITER 2405 NEW BEST:: SOT 62384 SOS 21528 HAS SOPS 21528 HAS SOUS 18764 HAS SOUPS 18764 WITH SCORE 18785.528
AT ITER 2426 NEW BEST:: SOT 62376 SOS 21520 HAS SOPS 21520 HAS SOUS 18756 HAS SOUPS 18756 WITH SCORE 18777.52
AT ITER 2463 NEW BEST:: SOT 62354 SOS 21487 HAS SOPS 21487 HAS SOUS 18723 HAS SOUPS 18723 WITH SCORE 18744.487
AT ITER 2473 NEW BEST:: SOT 62327 SOS 21461 HAS SOPS 21461 HAS SOUS 18697 HAS SOUPS 18697 WITH SCORE 18718.461
AT ITER 2491 NEW BEST:: SOT 62325 SOS 21397 HAS SOPS 21397 HAS SOUS 18695 HAS SOUPS 18695 WITH SCORE 18716.397
AT ITER 2524 NEW BEST:: SOT 62310 SOS 21379 HAS SOPS 21379 HAS SOUS 18691 HAS SOUPS 18691 WITH SCORE 18712.379
AT ITER 2527 NEW BEST:: SOT 62290 SOS 21405 HAS SOPS 21405 HAS SOUS 18685 HAS SOUPS 18685 WITH SCORE 18706.405
AT ITER 2545 NEW BEST:: SOT 62280 SOS 21395 HAS SOPS 21395 HAS SOUS 18675 HAS SOUPS 18675 WITH SCORE 18696.395
AT ITER 2548 NEW BEST:: SOT 62193 SOS 21283 HAS SOPS 21283 HAS SOUS 18549 HAS SOUPS 18549 WITH SCORE 18570.283
AT ITER 2550 NEW BEST:: SOT 62193 SOS 21249 HAS SOPS 21249 HAS SOUS 18532 HAS SOUPS 18532 WITH SCORE 18553.249
AT ITER 2556 NEW BEST:: SOT 62174 SOS 21235 HAS SOPS 21235 HAS SOUS 18520 HAS SOUPS 18520 WITH SCORE 18541.235
AT ITER 2570 NEW BEST:: SOT 62170 SOS 21225 HAS SOPS 21225 HAS SOUS 18514 HAS SOUPS 18514 WITH SCORE 18535.225
AT ITER 2582 NEW BEST:: SOT 62170 SOS 21200 HAS SOPS 21200 HAS SOUS 18475 HAS SOUPS 18475 WITH SCORE 18496.2
AT ITER 2583 NEW BEST:: SOT 62158 SOS 21207 HAS SOPS 21207 HAS SOUS 18474 HAS SOUPS 18474 WITH SCORE 18495.207
AT ITER 2585 NEW BEST:: SOT 62158 SOS 21204 HAS SOPS 21204 HAS SOUS 18473 HAS SOUPS 18473 WITH SCORE 18494.204
AT ITER 2595 NEW BEST:: SOT 62076 SOS 21095 HAS SOPS 21095 HAS SOUS 18373 HAS SOUPS 18373 WITH SCORE 18394.095
AT ITER 2614 NEW BEST:: SOT 62068 SOS 21083 HAS SOPS 21083 HAS SOUS 18361 HAS SOUPS 18361 WITH SCORE 18382.083
AT ITER 2616 NEW BEST:: SOT 61971 SOS 20981 HAS SOPS 20981 HAS SOUS 18256 HAS SOUPS 18256 WITH SCORE 18276.981
AT ITER 2633 NEW BEST:: SOT 61971 SOS 20961 HAS SOPS 20961 HAS SOUS 18253 HAS SOUPS 18253 WITH SCORE 18273.961
AT ITER 2645 NEW BEST:: SOT 61932 SOS 20912 HAS SOPS 20912 HAS SOUS 18204 HAS SOUPS 18204 WITH SCORE 18224.912
AT ITER 2722 NEW BEST:: SOT 61901 SOS 20879 HAS SOPS 20879 HAS SOUS 18171 HAS SOUPS 18171 WITH SCORE 18191.879
AT ITER 2729 NEW BEST:: SOT 61862 SOS 20801 HAS SOPS 20801 HAS SOUS 18093 HAS SOUPS 18093 WITH SCORE 18113.801
AT ITER 2738 NEW BEST:: SOT 61862 SOS 20779 HAS SOPS 20779 HAS SOUS 18066 HAS SOUPS 18066 WITH SCORE 18086.779
AT ITER 2740 NEW BEST:: SOT 61833 SOS 20636 HAS SOPS 20636 HAS SOUS 18006 HAS SOUPS 18006 WITH SCORE 18026.636
AT ITER 2741 NEW BEST:: SOT 61828 SOS 20631 HAS SOPS 20631 HAS SOUS 17996 HAS SOUPS 17996 WITH SCORE 18016.631
AT ITER 2742 NEW BEST:: SOT 61808 SOS 20587 HAS SOPS 20587 HAS SOUS 17987 HAS SOUPS 17987 WITH SCORE 18007.587
AT ITER 2756 NEW BEST:: SOT 61794 SOS 20573 HAS SOPS 20573 HAS SOUS 17973 HAS SOUPS 17973 WITH SCORE 17993.573
AT ITER 2757 NEW BEST:: SOT 61689 SOS 20407 HAS SOPS 20407 HAS SOUS 17832 HAS SOUPS 17832 WITH SCORE 17852.407
AT ITER 2778 NEW BEST:: SOT 61685 SOS 20408 HAS SOPS 20408 HAS SOUS 17824 HAS SOUPS 17824 WITH SCORE 17844.408
AT ITER 2793 NEW BEST:: SOT 61619 SOS 20275 HAS SOPS 20275 HAS SOUS 17695 HAS SOUPS 17695 WITH SCORE 17715.275
AT ITER 2805 NEW BEST:: SOT 61614 SOS 20270 HAS SOPS 20270 HAS SOUS 17694 HAS SOUPS 17694 WITH SCORE 17714.27
AT ITER 2808 NEW BEST:: SOT 61612 SOS 20287 HAS SOPS 20287 HAS SOUS 17690 HAS SOUPS 17690 WITH SCORE 17710.287
AT ITER 2825 NEW BEST:: SOT 61612 SOS 20263 HAS SOPS 20263 HAS SOUS 17674 HAS SOUPS 17674 WITH SCORE 17694.263
AT ITER 2829 NEW BEST:: SOT 61612 SOS 20253 HAS SOPS 20253 HAS SOUS 17674 HAS SOUPS 17674 WITH SCORE 17694.253
AT ITER 2851 NEW BEST:: SOT 61612 SOS 20243 HAS SOPS 20243 HAS SOUS 17674 HAS SOUPS 17674 WITH SCORE 17694.243
AT ITER 2855 NEW BEST:: SOT 61612 SOS 20233 HAS SOPS 20233 HAS SOUS 17664 HAS SOUPS 17664 WITH SCORE 17684.233
AT ITER 2907 NEW BEST:: SOT 61611 SOS 20230 HAS SOPS 20230 HAS SOUS 17662 HAS SOUPS 17662 WITH SCORE 17682.23
AT ITER 2984 NEW BEST:: SOT 61582 SOS 20190 HAS SOPS 20190 HAS SOUS 17622 HAS SOUPS 17622 WITH SCORE 17642.19
AT ITER 2988 NEW BEST:: SOT 61561 SOS 20085 HAS SOPS 20085 HAS SOUS 17542 HAS SOUPS 17542 WITH SCORE 17562.085
AT ITER 2993 NEW BEST:: SOT 61495 SOS 19963 HAS SOPS 19963 HAS SOUS 17436 HAS SOUPS 17436 WITH SCORE 17455.963
AT ITER 2997 NEW BEST:: SOT 61464 SOS 19875 HAS SOPS 19875 HAS SOUS 17392 HAS SOUPS 17392 WITH SCORE 17411.875
AT ITER 3004 NEW BEST:: SOT 61457 SOS 19840 HAS SOPS 19840 HAS SOUS 17378 HAS SOUPS 17378 WITH SCORE 17397.84
AT ITER 3007 NEW BEST:: SOT 61457 SOS 19834 HAS SOPS 19834 HAS SOUS 17372 HAS SOUPS 17372 WITH SCORE 17391.834
AT ITER 3014 NEW BEST:: SOT 61388 SOS 19749 HAS SOPS 19749 HAS SOUS 17287 HAS SOUPS 17287 WITH SCORE 17306.749
AT ITER 3022 NEW BEST:: SOT 61385 SOS 19740 HAS SOPS 19740 HAS SOUS 17273 HAS SOUPS 17273 WITH SCORE 17292.74
AT ITER 3059 NEW BEST:: SOT 61379 SOS 19688 HAS SOPS 19688 HAS SOUS 17255 HAS SOUPS 17255 WITH SCORE 17274.688
AT ITER 3065 NEW BEST:: SOT 61379 SOS 19680 HAS SOPS 19680 HAS SOUS 17255 HAS SOUPS 17255 WITH SCORE 17274.68
AT ITER 3085 NEW BEST:: SOT 61333 SOS 19592 HAS SOPS 19592 HAS SOUS 17186 HAS SOUPS 17186 WITH SCORE 17205.592
AT ITER 3096 NEW BEST:: SOT 61333 SOS 19578 HAS SOPS 19578 HAS SOUS 17182 HAS SOUPS 17182 WITH SCORE 17201.578
AT ITER 3139 NEW BEST:: SOT 61299 SOS 19569 HAS SOPS 19569 HAS SOUS 17157 HAS SOUPS 17157 WITH SCORE 17176.569
AT ITER 3173 NEW BEST:: SOT 61295 SOS 19552 HAS SOPS 19552 HAS SOUS 17145 HAS SOUPS 17145 WITH SCORE 17164.552
AT ITER 3192 NEW BEST:: SOT 61295 SOS 19543 HAS SOPS 19543 HAS SOUS 17127 HAS SOUPS 17127 WITH SCORE 17146.543
AT ITER 3223 NEW BEST:: SOT 61331 SOS 19579 HAS SOPS 19579 HAS SOUS 17125 HAS SOUPS 17125 WITH SCORE 17144.579
AT ITER 3246 NEW BEST:: SOT 61323 SOS 19559 HAS SOPS 19559 HAS SOUS 17113 HAS SOUPS 17113 WITH SCORE 17132.559
AT ITER 3247 NEW BEST:: SOT 61324 SOS 19562 HAS SOPS 19562 HAS SOUS 17075 HAS SOUPS 17075 WITH SCORE 17094.562
AT ITER 3263 NEW BEST:: SOT 61255 SOS 19290 HAS SOPS 19290 HAS SOUS 16956 HAS SOUPS 16956 WITH SCORE 16975.29
AT ITER 3269 NEW BEST:: SOT 61243 SOS 19279 HAS SOPS 19279 HAS SOUS 16946 HAS SOUPS 16946 WITH SCORE 16965.279
AT ITER 3312 NEW BEST:: SOT 61207 SOS 19227 HAS SOPS 19227 HAS SOUS 16882 HAS SOUPS 16882 WITH SCORE 16901.227
AT ITER 3338 NEW BEST:: SOT 61204 SOS 19224 HAS SOPS 19224 HAS SOUS 16838 HAS SOUPS 16838 WITH SCORE 16857.224
AT ITER 3345 NEW BEST:: SOT 61192 SOS 19164 HAS SOPS 19164 HAS SOUS 16814 HAS SOUPS 16814 WITH SCORE 16833.164
AT ITER 3348 NEW BEST:: SOT 61188 SOS 19158 HAS SOPS 19158 HAS SOUS 16808 HAS SOUPS 16808 WITH SCORE 16827.158
AT ITER 3375 NEW BEST:: SOT 61136 SOS 19082 HAS SOPS 19082 HAS SOUS 16732 HAS SOUPS 16732 WITH SCORE 16751.082
AT ITER 3378 NEW BEST:: SOT 61119 SOS 19063 HAS SOPS 19063 HAS SOUS 16707 HAS SOUPS 16707 WITH SCORE 16726.063
AT ITER 3391 NEW BEST:: SOT 61101 SOS 19033 HAS SOPS 19033 HAS SOUS 16689 HAS SOUPS 16689 WITH SCORE 16708.033
AT ITER 3409 NEW BEST:: SOT 61089 SOS 19019 HAS SOPS 19019 HAS SOUS 16675 HAS SOUPS 16675 WITH SCORE 16694.019
AT ITER 3438 NEW BEST:: SOT 61077 SOS 19003 HAS SOPS 19003 HAS SOUS 16670 HAS SOUPS 16670 WITH SCORE 16689.003
AT ITER 3442 NEW BEST:: SOT 61076 SOS 19002 HAS SOPS 19002 HAS SOUS 16668 HAS SOUPS 16668 WITH SCORE 16687.002
AT ITER 3460 NEW BEST:: SOT 61073 SOS 18997 HAS SOPS 18997 HAS SOUS 16665 HAS SOUPS 16665 WITH SCORE 16683.997
AT ITER 3500 NEW BEST:: SOT 61037 SOS 18977 HAS SOPS 18977 HAS SOUS 16611 HAS SOUPS 16611 WITH SCORE 16629.977
AT ITER 3512 NEW BEST:: SOT 61034 SOS 18971 HAS SOPS 18971 HAS SOUS 16605 HAS SOUPS 16605 WITH SCORE 16623.971
AT ITER 3516 NEW BEST:: SOT 61026 SOS 18942 HAS SOPS 18942 HAS SOUS 16599 HAS SOUPS 16599 WITH SCORE 16617.942
AT ITER 3544 NEW BEST:: SOT 61022 SOS 18934 HAS SOPS 18934 HAS SOUS 16590 HAS SOUPS 16590 WITH SCORE 16608.934
AT ITER 3555 NEW BEST:: SOT 61014 SOS 18902 HAS SOPS 18902 HAS SOUS 16574 HAS SOUPS 16574 WITH SCORE 16592.902
AT ITER 3561 NEW BEST:: SOT 61011 SOS 18899 HAS SOPS 18899 HAS SOUS 16568 HAS SOUPS 16568 WITH SCORE 16586.899
AT ITER 3605 NEW BEST:: SOT 61011 SOS 18893 HAS SOPS 18893 HAS SOUS 16547 HAS SOUPS 16547 WITH SCORE 16565.893
AT ITER 3607 NEW BEST:: SOT 61006 SOS 18876 HAS SOPS 18876 HAS SOUS 16533 HAS SOUPS 16533 WITH SCORE 16551.876
AT ITER 3620 NEW BEST:: SOT 61005 SOS 18840 HAS SOPS 18840 HAS SOUS 16530 HAS SOUPS 16530 WITH SCORE 16548.84
AT ITER 3684 NEW BEST:: SOT 60983 SOS 18814 HAS SOPS 18814 HAS SOUS 16504 HAS SOUPS 16504 WITH SCORE 16522.814
AT ITER 3685 NEW BEST:: SOT 60981 SOS 18809 HAS SOPS 18809 HAS SOUS 16499 HAS SOUPS 16499 WITH SCORE 16517.809
AT ITER 3689 NEW BEST:: SOT 60967 SOS 18787 HAS SOPS 18787 HAS SOUS 16486 HAS SOUPS 16486 WITH SCORE 16504.787
AT ITER 3691 NEW BEST:: SOT 60963 SOS 18782 HAS SOPS 18782 HAS SOUS 16474 HAS SOUPS 16474 WITH SCORE 16492.782
AT ITER 3737 NEW BEST:: SOT 60938 SOS 18763 HAS SOPS 18763 HAS SOUS 16455 HAS SOUPS 16455 WITH SCORE 16473.763
AT ITER 3808 NEW BEST:: SOT 60938 SOS 18725 HAS SOPS 18725 HAS SOUS 16417 HAS SOUPS 16417 WITH SCORE 16435.725
AT ITER 3830 NEW BEST:: SOT 60938 SOS 18725 HAS SOPS 18725 HAS SOUS 16407 HAS SOUPS 16407 WITH SCORE 16425.725
AT ITER 3866 NEW BEST:: SOT 60934 SOS 18691 HAS SOPS 18691 HAS SOUS 16371 HAS SOUPS 16371 WITH SCORE 16389.691
AT ITER 3883 NEW BEST:: SOT 60914 SOS 18651 HAS SOPS 18651 HAS SOUS 16331 HAS SOUPS 16331 WITH SCORE 16349.651
AT ITER 3923 NEW BEST:: SOT 60909 SOS 18631 HAS SOPS 18631 HAS SOUS 16321 HAS SOUPS 16321 WITH SCORE 16339.631
AT ITER 3942 NEW BEST:: SOT 60862 SOS 18556 HAS SOPS 18556 HAS SOUS 16255 HAS SOUPS 16255 WITH SCORE 16273.556
AT ITER 3954 NEW BEST:: SOT 60854 SOS 18543 HAS SOPS 18543 HAS SOUS 16239 HAS SOUPS 16239 WITH SCORE 16257.543
AT ITER 3990 NEW BEST:: SOT 60766 SOS 18419 HAS SOPS 18419 HAS SOUS 16197 HAS SOUPS 16197 WITH SCORE 16215.419
AT ITER 3991 NEW BEST:: SOT 60766 SOS 18410 HAS SOPS 18410 HAS SOUS 16197 HAS SOUPS 16197 WITH SCORE 16215.41
AT ITER 4063 NEW BEST:: SOT 60760 SOS 18392 HAS SOPS 18392 HAS SOUS 16185 HAS SOUPS 16185 WITH SCORE 16203.392
AT ITER 4064 NEW BEST:: SOT 60756 SOS 18368 HAS SOPS 18368 HAS SOUS 16185 HAS SOUPS 16185 WITH SCORE 16203.368
AT ITER 4125 NEW BEST:: SOT 60754 SOS 18364 HAS SOPS 18364 HAS SOUS 16177 HAS SOUPS 16177 WITH SCORE 16195.364
AT ITER 4130 NEW BEST:: SOT 60742 SOS 18348 HAS SOPS 18348 HAS SOUS 16167 HAS SOUPS 16167 WITH SCORE 16185.348
AT ITER 4150 NEW BEST:: SOT 60740 SOS 18340 HAS SOPS 18340 HAS SOUS 16161 HAS SOUPS 16161 WITH SCORE 16179.34
AT ITER 4157 NEW BEST:: SOT 60739 SOS 18337 HAS SOPS 18337 HAS SOUS 16158 HAS SOUPS 16158 WITH SCORE 16176.337
AT ITER 4161 NEW BEST:: SOT 60703 SOS 18276 HAS SOPS 18276 HAS SOUS 16097 HAS SOUPS 16097 WITH SCORE 16115.276
AT ITER 4179 NEW BEST:: SOT 60703 SOS 18273 HAS SOPS 18273 HAS SOUS 16097 HAS SOUPS 16097 WITH SCORE 16115.273
AT ITER 4188 NEW BEST:: SOT 60698 SOS 18262 HAS SOPS 18262 HAS SOUS 16086 HAS SOUPS 16086 WITH SCORE 16104.262
AT ITER 4194 NEW BEST:: SOT 60630 SOS 18078 HAS SOPS 18078 HAS SOUS 15930 HAS SOUPS 15930 WITH SCORE 15948.078
AT ITER 4212 NEW BEST:: SOT 60646 SOS 18142 HAS SOPS 18142 HAS SOUS 15915 HAS SOUPS 15915 WITH SCORE 15933.142
AT ITER 4235 NEW BEST:: SOT 60605 SOS 18086 HAS SOPS 18086 HAS SOUS 15859 HAS SOUPS 15859 WITH SCORE 15877.086
AT ITER 4245 NEW BEST:: SOT 60568 SOS 18024 HAS SOPS 18024 HAS SOUS 15793 HAS SOUPS 15793 WITH SCORE 15811.024
AT ITER 4260 NEW BEST:: SOT 60558 SOS 18007 HAS SOPS 18007 HAS SOUS 15776 HAS SOUPS 15776 WITH SCORE 15794.007
AT ITER 4313 NEW BEST:: SOT 60554 SOS 18004 HAS SOPS 18004 HAS SOUS 15773 HAS SOUPS 15773 WITH SCORE 15791.004
AT ITER 4341 NEW BEST:: SOT 60552 SOS 18002 HAS SOPS 18002 HAS SOUS 15763 HAS SOUPS 15763 WITH SCORE 15781.002
AT ITER 4348 NEW BEST:: SOT 60536 SOS 17970 HAS SOPS 17970 HAS SOUS 15747 HAS SOUPS 15747 WITH SCORE 15764.97
AT ITER 4362 NEW BEST:: SOT 60508 SOS 17874 HAS SOPS 17874 HAS SOUS 15695 HAS SOUPS 15695 WITH SCORE 15712.874
AT ITER 4394 NEW BEST:: SOT 60499 SOS 17860 HAS SOPS 17860 HAS SOUS 15687 HAS SOUPS 15687 WITH SCORE 15704.86
AT ITER 4403 NEW BEST:: SOT 60497 SOS 17856 HAS SOPS 17856 HAS SOUS 15683 HAS SOUPS 15683 WITH SCORE 15700.856
AT ITER 4422 NEW BEST:: SOT 60470 SOS 17769 HAS SOPS 17769 HAS SOUS 15641 HAS SOUPS 15641 WITH SCORE 15658.769
AT ITER 4428 NEW BEST:: SOT 60434 SOS 17745 HAS SOPS 17745 HAS SOUS 15611 HAS SOUPS 15611 WITH SCORE 15628.745
AT ITER 4450 NEW BEST:: SOT 60435 SOS 17746 HAS SOPS 17746 HAS SOUS 15610 HAS SOUPS 15610 WITH SCORE 15627.746
AT ITER 4469 NEW BEST:: SOT 60375 SOS 17722 HAS SOPS 17722 HAS SOUS 15571 HAS SOUPS 15571 WITH SCORE 15588.722
AT ITER 4495 NEW BEST:: SOT 60361 SOS 17666 HAS SOPS 17666 HAS SOUS 15543 HAS SOUPS 15543 WITH SCORE 15560.666
AT ITER 4502 NEW BEST:: SOT 60360 SOS 17665 HAS SOPS 17665 HAS SOUS 15542 HAS SOUPS 15542 WITH SCORE 15559.665
AT ITER 4503 NEW BEST:: SOT 60357 SOS 17487 HAS SOPS 17487 HAS SOUS 15510 HAS SOUPS 15510 WITH SCORE 15527.487
AT ITER 4512 NEW BEST:: SOT 60353 SOS 17477 HAS SOPS 17477 HAS SOUS 15504 HAS SOUPS 15504 WITH SCORE 15521.477
AT ITER 4532 NEW BEST:: SOT 60338 SOS 17438 HAS SOPS 17438 HAS SOUS 15470 HAS SOUPS 15470 WITH SCORE 15487.438
AT ITER 4542 NEW BEST:: SOT 60343 SOS 17483 HAS SOPS 17483 HAS SOUS 15352 HAS SOUPS 15352 WITH SCORE 15369.483
AT ITER 4549 NEW BEST:: SOT 60346 SOS 17473 HAS SOPS 17473 HAS SOUS 15347 HAS SOUPS 15347 WITH SCORE 15364.473
AT ITER 4565 NEW BEST:: SOT 60354 SOS 17496 HAS SOPS 17496 HAS SOUS 15345 HAS SOUPS 15345 WITH SCORE 15362.496
AT ITER 4612 NEW BEST:: SOT 60353 SOS 17495 HAS SOPS 17495 HAS SOUS 15344 HAS SOUPS 15344 WITH SCORE 15361.495
AT ITER 4624 NEW BEST:: SOT 60329 SOS 17467 HAS SOPS 17467 HAS SOUS 15316 HAS SOUPS 15316 WITH SCORE 15333.467
AT ITER 4626 NEW BEST:: SOT 60317 SOS 17470 HAS SOPS 17470 HAS SOUS 15314 HAS SOUPS 15314 WITH SCORE 15331.47
AT ITER 4629 NEW BEST:: SOT 60317 SOS 17470 HAS SOPS 17470 HAS SOUS 15303 HAS SOUPS 15303 WITH SCORE 15320.47
AT ITER 4632 NEW BEST:: SOT 60307 SOS 17450 HAS SOPS 17450 HAS SOUS 15293 HAS SOUPS 15293 WITH SCORE 15310.45
AT ITER 4661 NEW BEST:: SOT 60262 SOS 17405 HAS SOPS 17405 HAS SOUS 15250 HAS SOUPS 15250 WITH SCORE 15267.405
AT ITER 4711 NEW BEST:: SOT 60258 SOS 17387 HAS SOPS 17387 HAS SOUS 15237 HAS SOUPS 15237 WITH SCORE 15254.387
AT ITER 4799 NEW BEST:: SOT 60248 SOS 17354 HAS SOPS 17354 HAS SOUS 15217 HAS SOUPS 15217 WITH SCORE 15234.354
AT ITER 4802 NEW BEST:: SOT 60228 SOS 17321 HAS SOPS 17321 HAS SOUS 15183 HAS SOUPS 15183 WITH SCORE 15200.321
AT ITER 4811 NEW BEST:: SOT 60208 SOS 17258 HAS SOPS 17258 HAS SOUS 15162 HAS SOUPS 15162 WITH SCORE 15179.258
AT ITER 4848 NEW BEST:: SOT 60196 SOS 17246 HAS SOPS 17246 HAS SOUS 15162 HAS SOUPS 15162 WITH SCORE 15179.246
AT ITER 4867 NEW BEST:: SOT 60196 SOS 17243 HAS SOPS 17243 HAS SOUS 15162 HAS SOUPS 15162 WITH SCORE 15179.243
AT ITER 4882 NEW BEST:: SOT 60188 SOS 17230 HAS SOPS 17230 HAS SOUS 15149 HAS SOUPS 15149 WITH SCORE 15166.23
AT ITER 4916 NEW BEST:: SOT 60182 SOS 17215 HAS SOPS 17215 HAS SOUS 15145 HAS SOUPS 15145 WITH SCORE 15162.215
AT ITER 4933 NEW BEST:: SOT 60174 SOS 17207 HAS SOPS 17207 HAS SOUS 15137 HAS SOUPS 15137 WITH SCORE 15154.207
AT ITER 4936 NEW BEST:: SOT 60169 SOS 17182 HAS SOPS 17182 HAS SOUS 15123 HAS SOUPS 15123 WITH SCORE 15140.182
AT ITER 5002 NEW BEST:: SOT 60169 SOS 17165 HAS SOPS 17165 HAS SOUS 15123 HAS SOUPS 15123 WITH SCORE 15140.165
AT ITER 5028 NEW BEST:: SOT 60164 SOS 17156 HAS SOPS 17156 HAS SOUS 15117 HAS SOUPS 15117 WITH SCORE 15134.156
AT ITER 5107 NEW BEST:: SOT 60164 SOS 17155 HAS SOPS 17155 HAS SOUS 15116 HAS SOUPS 15116 WITH SCORE 15133.155
AT ITER 5137 NEW BEST:: SOT 60161 SOS 17127 HAS SOPS 17127 HAS SOUS 15088 HAS SOUPS 15088 WITH SCORE 15105.127
AT ITER 5138 NEW BEST:: SOT 60145 SOS 17091 HAS SOPS 17091 HAS SOUS 15067 HAS SOUPS 15067 WITH SCORE 15084.091
AT ITER 5159 NEW BEST:: SOT 60137 SOS 17079 HAS SOPS 17079 HAS SOUS 15055 HAS SOUPS 15055 WITH SCORE 15072.079
AT ITER 5160 NEW BEST:: SOT 60141 SOS 17080 HAS SOPS 17080 HAS SOUS 15053 HAS SOUPS 15053 WITH SCORE 15070.08
AT ITER 5175 NEW BEST:: SOT 60127 SOS 17066 HAS SOPS 17066 HAS SOUS 15032 HAS SOUPS 15032 WITH SCORE 15049.066
AT ITER 5216 NEW BEST:: SOT 60127 SOS 17043 HAS SOPS 17043 HAS SOUS 15032 HAS SOUPS 15032 WITH SCORE 15049.043
AT ITER 5235 NEW BEST:: SOT 60119 SOS 17045 HAS SOPS 17045 HAS SOUS 15006 HAS SOUPS 15006 WITH SCORE 15023.045
AT ITER 5245 NEW BEST:: SOT 60081 SOS 17007 HAS SOPS 17007 HAS SOUS 14968 HAS SOUPS 14968 WITH SCORE 14985.007
AT ITER 5249 NEW BEST:: SOT 60042 SOS 16942 HAS SOPS 16942 HAS SOUS 14927 HAS SOUPS 14927 WITH SCORE 14943.942
AT ITER 5323 NEW BEST:: SOT 60035 SOS 16932 HAS SOPS 16932 HAS SOUS 14917 HAS SOUPS 14917 WITH SCORE 14933.932
AT ITER 5343 NEW BEST:: SOT 60029 SOS 16914 HAS SOPS 16914 HAS SOUS 14895 HAS SOUPS 14895 WITH SCORE 14911.914
AT ITER 5344 NEW BEST:: SOT 60025 SOS 16902 HAS SOPS 16902 HAS SOUS 14887 HAS SOUPS 14887 WITH SCORE 14903.902
AT ITER 5350 NEW BEST:: SOT 60020 SOS 16898 HAS SOPS 16898 HAS SOUS 14876 HAS SOUPS 14876 WITH SCORE 14892.898
AT ITER 5402 NEW BEST:: SOT 60028 SOS 16922 HAS SOPS 16922 HAS SOUS 14857 HAS SOUPS 14857 WITH SCORE 14873.922
AT ITER 5426 NEW BEST:: SOT 60028 SOS 16921 HAS SOPS 16921 HAS SOUS 14857 HAS SOUPS 14857 WITH SCORE 14873.921
AT ITER 5600 NEW BEST:: SOT 60028 SOS 16902 HAS SOPS 16902 HAS SOUS 14857 HAS SOUPS 14857 WITH SCORE 14873.902
AT ITER 5639 NEW BEST:: SOT 59995 SOS 16866 HAS SOPS 16866 HAS SOUS 14814 HAS SOUPS 14814 WITH SCORE 14830.866
AT ITER 5648 NEW BEST:: SOT 59986 SOS 16859 HAS SOPS 16859 HAS SOUS 14803 HAS SOUPS 14803 WITH SCORE 14819.859
AT ITER 5662 NEW BEST:: SOT 59986 SOS 16866 HAS SOPS 16866 HAS SOUS 14802 HAS SOUPS 14802 WITH SCORE 14818.866
AT ITER 5671 NEW BEST:: SOT 59991 SOS 16805 HAS SOPS 16805 HAS SOUS 14733 HAS SOUPS 14733 WITH SCORE 14749.805
AT ITER 5750 NEW BEST:: SOT 59991 SOS 16798 HAS SOPS 16798 HAS SOUS 14733 HAS SOUPS 14733 WITH SCORE 14749.798
AT ITER 5759 NEW BEST:: SOT 59985 SOS 16789 HAS SOPS 16789 HAS SOUS 14724 HAS SOUPS 14724 WITH SCORE 14740.789
AT ITER 5766 NEW BEST:: SOT 59987 SOS 16775 HAS SOPS 16775 HAS SOUS 14720 HAS SOUPS 14720 WITH SCORE 14736.775
AT ITER 5782 NEW BEST:: SOT 59977 SOS 16751 HAS SOPS 16751 HAS SOUS 14685 HAS SOUPS 14685 WITH SCORE 14701.751
AT ITER 5836 NEW BEST:: SOT 59969 SOS 16727 HAS SOPS 16727 HAS SOUS 14669 HAS SOUPS 14669 WITH SCORE 14685.727
AT ITER 5921 NEW BEST:: SOT 59966 SOS 16729 HAS SOPS 16729 HAS SOUS 14665 HAS SOUPS 14665 WITH SCORE 14681.729
AT ITER 5922 NEW BEST:: SOT 59956 SOS 16709 HAS SOPS 16709 HAS SOUS 14648 HAS SOUPS 14648 WITH SCORE 14664.709
AT ITER 5955 NEW BEST:: SOT 59956 SOS 16678 HAS SOPS 16678 HAS SOUS 14617 HAS SOUPS 14617 WITH SCORE 14633.678
AT ITER 5971 NEW BEST:: SOT 59933 SOS 16623 HAS SOPS 16623 HAS SOUS 14594 HAS SOUPS 14594 WITH SCORE 14610.623
AT ITER 5976 NEW BEST:: SOT 59930 SOS 16620 HAS SOPS 16620 HAS SOUS 14591 HAS SOUPS 14591 WITH SCORE 14607.62
AT ITER 6029 NEW BEST:: SOT 59916 SOS 16595 HAS SOPS 16595 HAS SOUS 14570 HAS SOUPS 14570 WITH SCORE 14586.595
AT ITER 6068 NEW BEST:: SOT 59916 SOS 16585 HAS SOPS 16585 HAS SOUS 14570 HAS SOUPS 14570 WITH SCORE 14586.585
AT ITER 6092 NEW BEST:: SOT 59916 SOS 16556 HAS SOPS 16556 HAS SOUS 14556 HAS SOUPS 14556 WITH SCORE 14572.556
AT ITER 6112 NEW BEST:: SOT 59896 SOS 16476 HAS SOPS 16476 HAS SOUS 14516 HAS SOUPS 14516 WITH SCORE 14532.476
AT ITER 6181 NEW BEST:: SOT 59894 SOS 16468 HAS SOPS 16468 HAS SOUS 14511 HAS SOUPS 14511 WITH SCORE 14527.468
AT ITER 6190 NEW BEST:: SOT 59891 SOS 16463 HAS SOPS 16463 HAS SOUS 14506 HAS SOUPS 14506 WITH SCORE 14522.463
AT ITER 6223 NEW BEST:: SOT 59873 SOS 16428 HAS SOPS 16428 HAS SOUS 14453 HAS SOUPS 14453 WITH SCORE 14469.428
AT ITER 6237 NEW BEST:: SOT 59853 SOS 16348 HAS SOPS 16348 HAS SOUS 14413 HAS SOUPS 14413 WITH SCORE 14429.348
AT ITER 6240 NEW BEST:: SOT 59853 SOS 16316 HAS SOPS 16316 HAS SOUS 14413 HAS SOUPS 14413 WITH SCORE 14429.316
AT ITER 6265 NEW BEST:: SOT 59849 SOS 16312 HAS SOPS 16312 HAS SOUS 14407 HAS SOUPS 14407 WITH SCORE 14423.312
AT ITER 6291 NEW BEST:: SOT 59843 SOS 16304 HAS SOPS 16304 HAS SOUS 14399 HAS SOUPS 14399 WITH SCORE 14415.304
AT ITER 6318 NEW BEST:: SOT 59831 SOS 16292 HAS SOPS 16292 HAS SOUS 14383 HAS SOUPS 14383 WITH SCORE 14399.292
AT ITER 6325 NEW BEST:: SOT 59825 SOS 16286 HAS SOPS 16286 HAS SOUS 14377 HAS SOUPS 14377 WITH SCORE 14393.286
AT ITER 6363 NEW BEST:: SOT 59818 SOS 16251 HAS SOPS 16251 HAS SOUS 14363 HAS SOUPS 14363 WITH SCORE 14379.251
AT ITER 6383 NEW BEST:: SOT 59812 SOS 16243 HAS SOPS 16243 HAS SOUS 14355 HAS SOUPS 14355 WITH SCORE 14371.243
AT ITER 6393 NEW BEST:: SOT 59800 SOS 16219 HAS SOPS 16219 HAS SOUS 14335 HAS SOUPS 14335 WITH SCORE 14351.219
AT ITER 6425 NEW BEST:: SOT 59796 SOS 16203 HAS SOPS 16203 HAS SOUS 14327 HAS SOUPS 14327 WITH SCORE 14343.203
AT ITER 6435 NEW BEST:: SOT 59785 SOS 16222 HAS SOPS 16222 HAS SOUS 14326 HAS SOUPS 14326 WITH SCORE 14342.222
AT ITER 6457 NEW BEST:: SOT 59781 SOS 16206 HAS SOPS 16206 HAS SOUS 14319 HAS SOUPS 14319 WITH SCORE 14335.206
AT ITER 6502 NEW BEST:: SOT 59767 SOS 16178 HAS SOPS 16178 HAS SOUS 14298 HAS SOUPS 14298 WITH SCORE 14314.178
AT ITER 6535 NEW BEST:: SOT 59765 SOS 16175 HAS SOPS 16175 HAS SOUS 14296 HAS SOUPS 14296 WITH SCORE 14312.175
AT ITER 6545 NEW BEST:: SOT 59767 SOS 16191 HAS SOPS 16191 HAS SOUS 14293 HAS SOUPS 14293 WITH SCORE 14309.191
AT ITER 6597 NEW BEST:: SOT 59759 SOS 16179 HAS SOPS 16179 HAS SOUS 14275 HAS SOUPS 14275 WITH SCORE 14291.179
AT ITER 6640 NEW BEST:: SOT 59759 SOS 16153 HAS SOPS 16153 HAS SOUS 14262 HAS SOUPS 14262 WITH SCORE 14278.153
AT ITER 6646 NEW BEST:: SOT 59755 SOS 16153 HAS SOPS 16153 HAS SOUS 14254 HAS SOUPS 14254 WITH SCORE 14270.153
AT ITER 6649 NEW BEST:: SOT 59744 SOS 16109 HAS SOPS 16109 HAS SOUS 14232 HAS SOUPS 14232 WITH SCORE 14248.109
AT ITER 6671 NEW BEST:: SOT 59725 SOS 16089 HAS SOPS 16089 HAS SOUS 14212 HAS SOUPS 14212 WITH SCORE 14228.089
AT ITER 6678 NEW BEST:: SOT 59717 SOS 16081 HAS SOPS 16081 HAS SOUS 14210 HAS SOUPS 14210 WITH SCORE 14226.081
AT ITER 6688 NEW BEST:: SOT 59714 SOS 16077 HAS SOPS 16077 HAS SOUS 14206 HAS SOUPS 14206 WITH SCORE 14222.077
AT ITER 6698 NEW BEST:: SOT 59712 SOS 16067 HAS SOPS 16067 HAS SOUS 14202 HAS SOUPS 14202 WITH SCORE 14218.067
AT ITER 6709 NEW BEST:: SOT 59715 SOS 16092 HAS SOPS 16092 HAS SOUS 14200 HAS SOUPS 14200 WITH SCORE 14216.092
AT ITER 6747 NEW BEST:: SOT 59713 SOS 16086 HAS SOPS 16086 HAS SOUS 14192 HAS SOUPS 14192 WITH SCORE 14208.086
AT ITER 6806 NEW BEST:: SOT 59713 SOS 16077 HAS SOPS 16077 HAS SOUS 14186 HAS SOUPS 14186 WITH SCORE 14202.077
AT ITER 6821 NEW BEST:: SOT 59671 SOS 15978 HAS SOPS 15978 HAS SOUS 14133 HAS SOUPS 14133 WITH SCORE 14148.978
AT ITER 6851 NEW BEST:: SOT 59653 SOS 15955 HAS SOPS 15955 HAS SOUS 14107 HAS SOUPS 14107 WITH SCORE 14122.955
AT ITER 6872 NEW BEST:: SOT 59650 SOS 15953 HAS SOPS 15953 HAS SOUS 14105 HAS SOUPS 14105 WITH SCORE 14120.953
AT ITER 6875 NEW BEST:: SOT 59648 SOS 15947 HAS SOPS 15947 HAS SOUS 14099 HAS SOUPS 14099 WITH SCORE 14114.947
AT ITER 6907 NEW BEST:: SOT 59648 SOS 15962 HAS SOPS 15962 HAS SOUS 14093 HAS SOUPS 14093 WITH SCORE 14108.962
AT ITER 6908 NEW BEST:: SOT 59645 SOS 15949 HAS SOPS 15949 HAS SOUS 14084 HAS SOUPS 14084 WITH SCORE 14099.949
AT ITER 6914 NEW BEST:: SOT 59639 SOS 15936 HAS SOPS 15936 HAS SOUS 14071 HAS SOUPS 14071 WITH SCORE 14086.936
AT ITER 6925 NEW BEST:: SOT 59628 SOS 15925 HAS SOPS 15925 HAS SOUS 14051 HAS SOUPS 14051 WITH SCORE 14066.925
AT ITER 6937 NEW BEST:: SOT 59620 SOS 15913 HAS SOPS 15913 HAS SOUS 14036 HAS SOUPS 14036 WITH SCORE 14051.913
AT ITER 6944 NEW BEST:: SOT 59608 SOS 15897 HAS SOPS 15897 HAS SOUS 14020 HAS SOUPS 14020 WITH SCORE 14035.897
AT ITER 6957 NEW BEST:: SOT 59603 SOS 15888 HAS SOPS 15888 HAS SOUS 14012 HAS SOUPS 14012 WITH SCORE 14027.888
AT ITER 6973 NEW BEST:: SOT 59602 SOS 15887 HAS SOPS 15887 HAS SOUS 14010 HAS SOUPS 14010 WITH SCORE 14025.887
AT ITER 6976 NEW BEST:: SOT 59589 SOS 15875 HAS SOPS 15875 HAS SOUS 13998 HAS SOUPS 13998 WITH SCORE 14013.875
AT ITER 7000 NEW BEST:: SOT 59586 SOS 15869 HAS SOPS 15869 HAS SOUS 13993 HAS SOUPS 13993 WITH SCORE 14008.869
AT ITER 7005 NEW BEST:: SOT 59585 SOS 15865 HAS SOPS 15865 HAS SOUS 13991 HAS SOUPS 13991 WITH SCORE 14006.865
AT ITER 7087 NEW BEST:: SOT 59585 SOS 15833 HAS SOPS 15833 HAS SOUS 13991 HAS SOUPS 13991 WITH SCORE 14006.833
AT ITER 7095 NEW BEST:: SOT 59557 SOS 15805 HAS SOPS 15805 HAS SOUS 13961 HAS SOUPS 13961 WITH SCORE 13976.805
AT ITER 7104 NEW BEST:: SOT 59564 SOS 15793 HAS SOPS 15793 HAS SOUS 13954 HAS SOUPS 13954 WITH SCORE 13969.793
AT ITER 7169 NEW BEST:: SOT 59551 SOS 15764 HAS SOPS 15764 HAS SOUS 13931 HAS SOUPS 13931 WITH SCORE 13946.764
AT ITER 7204 NEW BEST:: SOT 59543 SOS 15745 HAS SOPS 15745 HAS SOUS 13883 HAS SOUPS 13883 WITH SCORE 13898.745
AT ITER 7209 NEW BEST:: SOT 59521 SOS 15711 HAS SOPS 15711 HAS SOUS 13838 HAS SOUPS 13838 WITH SCORE 13853.711
AT ITER 7240 NEW BEST:: SOT 59517 SOS 15705 HAS SOPS 15705 HAS SOUS 13830 HAS SOUPS 13830 WITH SCORE 13845.705
AT ITER 7243 NEW BEST:: SOT 59491 SOS 15673 HAS SOPS 15673 HAS SOUS 13800 HAS SOUPS 13800 WITH SCORE 13815.673
AT ITER 7255 NEW BEST:: SOT 59488 SOS 15665 HAS SOPS 15665 HAS SOUS 13792 HAS SOUPS 13792 WITH SCORE 13807.665
AT ITER 7286 NEW BEST:: SOT 59480 SOS 15653 HAS SOPS 15653 HAS SOUS 13782 HAS SOUPS 13782 WITH SCORE 13797.653
AT ITER 7337 NEW BEST:: SOT 59486 SOS 15658 HAS SOPS 15658 HAS SOUS 13778 HAS SOUPS 13778 WITH SCORE 13793.658
AT ITER 7346 NEW BEST:: SOT 59478 SOS 15655 HAS SOPS 15655 HAS SOUS 13775 HAS SOUPS 13775 WITH SCORE 13790.655
AT ITER 7374 NEW BEST:: SOT 59478 SOS 15655 HAS SOPS 15655 HAS SOUS 13774 HAS SOUPS 13774 WITH SCORE 13789.655
AT ITER 7385 NEW BEST:: SOT 59478 SOS 15653 HAS SOPS 15653 HAS SOUS 13773 HAS SOUPS 13773 WITH SCORE 13788.653
AT ITER 7431 NEW BEST:: SOT 59470 SOS 15637 HAS SOPS 15637 HAS SOUS 13757 HAS SOUPS 13757 WITH SCORE 13772.637
AT ITER 7451 NEW BEST:: SOT 59455 SOS 15612 HAS SOPS 15612 HAS SOUS 13736 HAS SOUPS 13736 WITH SCORE 13751.612
AT ITER 7470 NEW BEST:: SOT 59441 SOS 15556 HAS SOPS 15556 HAS SOUS 13708 HAS SOUPS 13708 WITH SCORE 13723.556
AT ITER 7554 NEW BEST:: SOT 59433 SOS 15542 HAS SOPS 15542 HAS SOUS 13700 HAS SOUPS 13700 WITH SCORE 13715.542
AT ITER 7592 NEW BEST:: SOT 59430 SOS 15532 HAS SOPS 15532 HAS SOUS 13694 HAS SOUPS 13694 WITH SCORE 13709.532
AT ITER 7685 NEW BEST:: SOT 59427 SOS 15528 HAS SOPS 15528 HAS SOUS 13690 HAS SOUPS 13690 WITH SCORE 13705.528
AT ITER 7687 NEW BEST:: SOT 59406 SOS 15511 HAS SOPS 15511 HAS SOUS 13660 HAS SOUPS 13660 WITH SCORE 13675.511
AT ITER 7735 NEW BEST:: SOT 59388 SOS 15480 HAS SOPS 15480 HAS SOUS 13630 HAS SOUPS 13630 WITH SCORE 13645.48
AT ITER 7749 NEW BEST:: SOT 59349 SOS 15415 HAS SOPS 15415 HAS SOUS 13587 HAS SOUPS 13587 WITH SCORE 13602.415
AT ITER 7825 NEW BEST:: SOT 59342 SOS 15408 HAS SOPS 15408 HAS SOUS 13587 HAS SOUPS 13587 WITH SCORE 13602.408
AT ITER 7850 NEW BEST:: SOT 59342 SOS 15360 HAS SOPS 15360 HAS SOUS 13555 HAS SOUPS 13555 WITH SCORE 13570.36
AT ITER 7876 NEW BEST:: SOT 59335 SOS 15352 HAS SOPS 15352 HAS SOUS 13546 HAS SOUPS 13546 WITH SCORE 13561.352
AT ITER 7946 NEW BEST:: SOT 59343 SOS 15331 HAS SOPS 15331 HAS SOUS 13539 HAS SOUPS 13539 WITH SCORE 13554.331
AT ITER 8030 NEW BEST:: SOT 59345 SOS 15321 HAS SOPS 15321 HAS SOUS 13528 HAS SOUPS 13528 WITH SCORE 13543.321
AT ITER 8049 NEW BEST:: SOT 59341 SOS 15305 HAS SOPS 15305 HAS SOUS 13522 HAS SOUPS 13522 WITH SCORE 13537.305
AT ITER 8089 NEW BEST:: SOT 59341 SOS 15298 HAS SOPS 15298 HAS SOUS 13514 HAS SOUPS 13514 WITH SCORE 13529.298
AT ITER 8103 NEW BEST:: SOT 59341 SOS 15278 HAS SOPS 15278 HAS SOUS 13514 HAS SOUPS 13514 WITH SCORE 13529.278
AT ITER 8139 NEW BEST:: SOT 59341 SOS 15271 HAS SOPS 15271 HAS SOUS 13490 HAS SOUPS 13490 WITH SCORE 13505.271
AT ITER 8320 NEW BEST:: SOT 59322 SOS 15237 HAS SOPS 15237 HAS SOUS 13455 HAS SOUPS 13455 WITH SCORE 13470.237
AT ITER 8402 NEW BEST:: SOT 59320 SOS 15229 HAS SOPS 15229 HAS SOUS 13455 HAS SOUPS 13455 WITH SCORE 13470.229
AT ITER 8423 NEW BEST:: SOT 59309 SOS 15217 HAS SOPS 15217 HAS SOUS 13443 HAS SOUPS 13443 WITH SCORE 13458.217
AT ITER 8489 NEW BEST:: SOT 59309 SOS 15177 HAS SOPS 15177 HAS SOUS 13423 HAS SOUPS 13423 WITH SCORE 13438.177
AT ITER 8534 NEW BEST:: SOT 59301 SOS 15167 HAS SOPS 15167 HAS SOUS 13413 HAS SOUPS 13413 WITH SCORE 13428.167
AT ITER 8550 NEW BEST:: SOT 59297 SOS 15138 HAS SOPS 15138 HAS SOUS 13397 HAS SOUPS 13397 WITH SCORE 13412.138
AT ITER 8665 NEW BEST:: SOT 59279 SOS 15108 HAS SOPS 15108 HAS SOUS 13379 HAS SOUPS 13379 WITH SCORE 13394.108
AT ITER 8700 NEW BEST:: SOT 59279 SOS 15114 HAS SOPS 15114 HAS SOUS 13378 HAS SOUPS 13378 WITH SCORE 13393.114
AT ITER 8721 NEW BEST:: SOT 59276 SOS 15109 HAS SOPS 15109 HAS SOUS 13374 HAS SOUPS 13374 WITH SCORE 13389.109
AT ITER 8753 NEW BEST:: SOT 59272 SOS 15103 HAS SOPS 15103 HAS SOUS 13366 HAS SOUPS 13366 WITH SCORE 13381.103
AT ITER 8796 NEW BEST:: SOT 59270 SOS 15098 HAS SOPS 15098 HAS SOUS 13362 HAS SOUPS 13362 WITH SCORE 13377.098
AT ITER 8844 NEW BEST:: SOT 59255 SOS 15074 HAS SOPS 15074 HAS SOUS 13356 HAS SOUPS 13356 WITH SCORE 13371.074
AT ITER 8856 NEW BEST:: SOT 59257 SOS 15096 HAS SOPS 15096 HAS SOUS 13351 HAS SOUPS 13351 WITH SCORE 13366.096
AT ITER 8903 NEW BEST:: SOT 59238 SOS 15063 HAS SOPS 15063 HAS SOUS 13316 HAS SOUPS 13316 WITH SCORE 13331.063
AT ITER 8985 NEW BEST:: SOT 59236 SOS 15055 HAS SOPS 15055 HAS SOUS 13312 HAS SOUPS 13312 WITH SCORE 13327.055
AT ITER 8996 NEW BEST:: SOT 59236 SOS 15038 HAS SOPS 15038 HAS SOUS 13312 HAS SOUPS 13312 WITH SCORE 13327.038
AT ITER 9058 NEW BEST:: SOT 59210 SOS 14986 HAS SOPS 14986 HAS SOUS 13255 HAS SOUPS 13255 WITH SCORE 13269.986
AT ITER 9106 NEW BEST:: SOT 59224 SOS 15017 HAS SOPS 15017 HAS SOUS 13242 HAS SOUPS 13242 WITH SCORE 13257.017
AT ITER 9162 NEW BEST:: SOT 59208 SOS 15001 HAS SOPS 15001 HAS SOUS 13232 HAS SOUPS 13232 WITH SCORE 13247.001
AT ITER 9163 NEW BEST:: SOT 59209 SOS 15001 HAS SOPS 15001 HAS SOUS 13231 HAS SOUPS 13231 WITH SCORE 13246.001
AT ITER 9191 NEW BEST:: SOT 59215 SOS 14972 HAS SOPS 14972 HAS SOUS 13220 HAS SOUPS 13220 WITH SCORE 13234.972
AT ITER 9207 NEW BEST:: SOT 59215 SOS 14972 HAS SOPS 14972 HAS SOUS 13218 HAS SOUPS 13218 WITH SCORE 13232.972
AT ITER 9215 NEW BEST:: SOT 59214 SOS 15021 HAS SOPS 15021 HAS SOUS 13215 HAS SOUPS 13215 WITH SCORE 13230.021
AT ITER 9263 NEW BEST:: SOT 59204 SOS 14969 HAS SOPS 14969 HAS SOUS 13192 HAS SOUPS 13192 WITH SCORE 13206.969
AT ITER 9274 NEW BEST:: SOT 59199 SOS 14957 HAS SOPS 14957 HAS SOUS 13181 HAS SOUPS 13181 WITH SCORE 13195.957
AT ITER 9288 NEW BEST:: SOT 59196 SOS 14945 HAS SOPS 14945 HAS SOUS 13170 HAS SOUPS 13170 WITH SCORE 13184.945
AT ITER 9338 NEW BEST:: SOT 59194 SOS 14934 HAS SOPS 14934 HAS SOUS 13166 HAS SOUPS 13166 WITH SCORE 13180.934
AT ITER 9374 NEW BEST:: SOT 59186 SOS 14914 HAS SOPS 14914 HAS SOUS 13148 HAS SOUPS 13148 WITH SCORE 13162.914
AT ITER 9393 NEW BEST:: SOT 59170 SOS 14857 HAS SOPS 14857 HAS SOUS 13115 HAS SOUPS 13115 WITH SCORE 13129.857
AT ITER 9405 NEW BEST:: SOT 59170 SOS 14845 HAS SOPS 14845 HAS SOUS 13111 HAS SOUPS 13111 WITH SCORE 13125.845
AT ITER 9441 NEW BEST:: SOT 59168 SOS 14837 HAS SOPS 14837 HAS SOUS 13107 HAS SOUPS 13107 WITH SCORE 13121.837
AT ITER 9457 NEW BEST:: SOT 59164 SOS 14831 HAS SOPS 14831 HAS SOUS 13101 HAS SOUPS 13101 WITH SCORE 13115.831
AT ITER 9488 NEW BEST:: SOT 59160 SOS 14827 HAS SOPS 14827 HAS SOUS 13093 HAS SOUPS 13093 WITH SCORE 13107.827
AT ITER 9511 NEW BEST:: SOT 59130 SOS 14795 HAS SOPS 14795 HAS SOUS 13089 HAS SOUPS 13089 WITH SCORE 13103.795
AT ITER 9536 NEW BEST:: SOT 59128 SOS 14789 HAS SOPS 14789 HAS SOUS 13083 HAS SOUPS 13083 WITH SCORE 13097.789
AT ITER 9617 NEW BEST:: SOT 59127 SOS 14787 HAS SOPS 14787 HAS SOUS 13083 HAS SOUPS 13083 WITH SCORE 13097.787
AT ITER 9711 NEW BEST:: SOT 59127 SOS 14785 HAS SOPS 14785 HAS SOUS 13082 HAS SOUPS 13082 WITH SCORE 13096.785
AT ITER 9734 NEW BEST:: SOT 59122 SOS 14776 HAS SOPS 14776 HAS SOUS 13065 HAS SOUPS 13065 WITH SCORE 13079.776
AT ITER 9739 NEW BEST:: SOT 59122 SOS 14765 HAS SOPS 14765 HAS SOUS 13061 HAS SOUPS 13061 WITH SCORE 13075.765
AT ITER 9762 NEW BEST:: SOT 59124 SOS 14759 HAS SOPS 14759 HAS SOUS 13058 HAS SOUPS 13058 WITH SCORE 13072.759
AT ITER 9792 NEW BEST:: SOT 59097 SOS 14714 HAS SOPS 14714 HAS SOUS 13028 HAS SOUPS 13028 WITH SCORE 13042.714
AT ITER 9793 NEW BEST:: SOT 59097 SOS 14720 HAS SOPS 14720 HAS SOUS 13022 HAS SOUPS 13022 WITH SCORE 13036.72
AT ITER 9833 NEW BEST:: SOT 59072 SOS 14689 HAS SOPS 14689 HAS SOUS 12976 HAS SOUPS 12976 WITH SCORE 12990.689
AT ITER 9862 NEW BEST:: SOT 59043 SOS 14660 HAS SOPS 14660 HAS SOUS 12930 HAS SOUPS 12930 WITH SCORE 12944.66
AT ITER 9908 NEW BEST:: SOT 59033 SOS 14634 HAS SOPS 14634 HAS SOUS 12910 HAS SOUPS 12910 WITH SCORE 12924.634
AT ITER 9913 NEW BEST:: SOT 59012 SOS 14596 HAS SOPS 14596 HAS SOUS 12882 HAS SOUPS 12882 WITH SCORE 12896.596
AT ITER 9930 NEW BEST:: SOT 59005 SOS 14579 HAS SOPS 14579 HAS SOUS 12869 HAS SOUPS 12869 WITH SCORE 12883.579
AT ITER 9957 NEW BEST:: SOT 59003 SOS 14574 HAS SOPS 14574 HAS SOUS 12865 HAS SOUPS 12865 WITH SCORE 12879.574

BK_STOP 1679387436020

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 487 Killed ${SMART}/smart ${INPUT_SM}

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="ShieldRVt-PT-040A"
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 ShieldRVt-PT-040A, 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 r427-tajo-167905979500312"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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