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.r331-tall-167889204600504.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 Referendum-PT-0100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204600504
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.7M
-rw-r--r-- 1 mcc users 120K Feb 26 17:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 628K Feb 26 17:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 41K Feb 26 17:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 309K Feb 26 17:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 59K Feb 25 16:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 212K Feb 25 16:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 19K Feb 25 16:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 106K Feb 25 16:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 158K Feb 26 17:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 802K Feb 26 17:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 129K Feb 26 17:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 986K Feb 26 17:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:42 UpperBounds.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:42 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 113K 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 1679147907399

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=Referendum-PT-0100
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 13:58:29] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 13:58:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 13:58:29] [INFO ] Load time of PNML (sax parser for PT used): 55 ms
[2023-03-18 13:58:29] [INFO ] Transformed 301 places.
[2023-03-18 13:58:29] [INFO ] Transformed 201 transitions.
[2023-03-18 13:58:29] [INFO ] Found NUPN structural information;
[2023-03-18 13:58:29] [INFO ] Parsed PT model containing 301 places and 201 transitions and 501 arcs in 131 ms.
[2023-03-18 13:58:29] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 301 places, 201 transitions and 501 arcs took 5 ms.
Total runtime 171 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Referendum (PT), instance 0100
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: 301 places, 201 transitions, 501 arcs.
AT ITER 0 NEW BEST:: SOT 50005 SOS 29707 HAS SOPS 29707 HAS SOUS 29707 HAS SOUPS 29707 WITH SCORE 29736.707
AT ITER 1 NEW BEST:: SOT 49718 SOS 29497 HAS SOPS 29497 HAS SOUS 29497 HAS SOUPS 29497 WITH SCORE 29526.497
AT ITER 2 NEW BEST:: SOT 49423 SOS 29104 HAS SOPS 29104 HAS SOUS 29104 HAS SOUPS 29104 WITH SCORE 29133.104
AT ITER 11 NEW BEST:: SOT 49274 SOS 28907 HAS SOPS 28907 HAS SOUS 28907 HAS SOUPS 28907 WITH SCORE 28935.907
AT ITER 13 NEW BEST:: SOT 49029 SOS 28561 HAS SOPS 28561 HAS SOUS 28561 HAS SOUPS 28561 WITH SCORE 28589.561
AT ITER 14 NEW BEST:: SOT 48740 SOS 28196 HAS SOPS 28196 HAS SOUS 28184 HAS SOUPS 28184 WITH SCORE 28212.196
AT ITER 20 NEW BEST:: SOT 48698 SOS 28133 HAS SOPS 28133 HAS SOUS 28121 HAS SOUPS 28121 WITH SCORE 28149.133
AT ITER 21 NEW BEST:: SOT 48421 SOS 27810 HAS SOPS 27810 HAS SOUS 27770 HAS SOUPS 27770 WITH SCORE 27797.81
AT ITER 22 NEW BEST:: SOT 48123 SOS 27408 HAS SOPS 27408 HAS SOUS 27368 HAS SOUPS 27368 WITH SCORE 27395.408
AT ITER 23 NEW BEST:: SOT 48123 SOS 27365 HAS SOPS 27365 HAS SOUS 27325 HAS SOUPS 27325 WITH SCORE 27352.365
AT ITER 25 NEW BEST:: SOT 48118 SOS 27355 HAS SOPS 27355 HAS SOUS 27315 HAS SOUPS 27315 WITH SCORE 27342.355
AT ITER 30 NEW BEST:: SOT 48042 SOS 27276 HAS SOPS 27276 HAS SOUS 27236 HAS SOUPS 27236 WITH SCORE 27263.276
AT ITER 31 NEW BEST:: SOT 47907 SOS 27128 HAS SOPS 27128 HAS SOUS 27083 HAS SOUPS 27083 WITH SCORE 27110.128
AT ITER 34 NEW BEST:: SOT 47632 SOS 26815 HAS SOPS 26815 HAS SOUS 26738 HAS SOUPS 26738 WITH SCORE 26764.815
AT ITER 36 NEW BEST:: SOT 47544 SOS 26683 HAS SOPS 26683 HAS SOUS 26606 HAS SOUPS 26606 WITH SCORE 26632.683
AT ITER 37 NEW BEST:: SOT 47364 SOS 26476 HAS SOPS 26476 HAS SOUS 26399 HAS SOUPS 26399 WITH SCORE 26425.476
AT ITER 41 NEW BEST:: SOT 47313 SOS 26374 HAS SOPS 26374 HAS SOUS 26297 HAS SOUPS 26297 WITH SCORE 26323.374
AT ITER 43 NEW BEST:: SOT 47209 SOS 26166 HAS SOPS 26166 HAS SOUS 26094 HAS SOUPS 26094 WITH SCORE 26120.166
AT ITER 45 NEW BEST:: SOT 46908 SOS 25758 HAS SOPS 25758 HAS SOUS 25646 HAS SOUPS 25646 WITH SCORE 25671.758
AT ITER 48 NEW BEST:: SOT 46809 SOS 25703 HAS SOPS 25703 HAS SOUS 25591 HAS SOUPS 25591 WITH SCORE 25616.703
AT ITER 49 NEW BEST:: SOT 46609 SOS 25405 HAS SOPS 25405 HAS SOUS 25293 HAS SOUPS 25293 WITH SCORE 25318.405
AT ITER 50 NEW BEST:: SOT 46618 SOS 25339 HAS SOPS 25339 HAS SOUS 25259 HAS SOUPS 25259 WITH SCORE 25284.339
AT ITER 51 NEW BEST:: SOT 46504 SOS 25168 HAS SOPS 25168 HAS SOUS 25088 HAS SOUPS 25088 WITH SCORE 25113.168
AT ITER 53 NEW BEST:: SOT 46253 SOS 24923 HAS SOPS 24923 HAS SOUS 24790 HAS SOUPS 24790 WITH SCORE 24814.923
AT ITER 54 NEW BEST:: SOT 46206 SOS 24829 HAS SOPS 24829 HAS SOUS 24696 HAS SOUPS 24696 WITH SCORE 24720.829
AT ITER 56 NEW BEST:: SOT 46190 SOS 24805 HAS SOPS 24805 HAS SOUS 24672 HAS SOUPS 24672 WITH SCORE 24696.805
AT ITER 58 NEW BEST:: SOT 45922 SOS 24508 HAS SOPS 24508 HAS SOUS 24339 HAS SOUPS 24339 WITH SCORE 24363.508
AT ITER 59 NEW BEST:: SOT 45835 SOS 24491 HAS SOPS 24491 HAS SOUS 24243 HAS SOUPS 24243 WITH SCORE 24267.491
AT ITER 60 NEW BEST:: SOT 45586 SOS 24140 HAS SOPS 24140 HAS SOUS 23892 HAS SOUPS 23892 WITH SCORE 23916.14
AT ITER 66 NEW BEST:: SOT 45382 SOS 23918 HAS SOPS 23918 HAS SOUS 23670 HAS SOUPS 23670 WITH SCORE 23693.918
AT ITER 67 NEW BEST:: SOT 45181 SOS 23669 HAS SOPS 23669 HAS SOUS 23421 HAS SOUPS 23421 WITH SCORE 23444.669
AT ITER 70 NEW BEST:: SOT 44916 SOS 23380 HAS SOPS 23380 HAS SOUS 23094 HAS SOUPS 23094 WITH SCORE 23117.38
AT ITER 76 NEW BEST:: SOT 44620 SOS 22993 HAS SOPS 22993 HAS SOUS 22706 HAS SOUPS 22706 WITH SCORE 22728.993
AT ITER 77 NEW BEST:: SOT 44566 SOS 22912 HAS SOPS 22912 HAS SOUS 22625 HAS SOUPS 22625 WITH SCORE 22647.912
AT ITER 78 NEW BEST:: SOT 44358 SOS 22604 HAS SOPS 22604 HAS SOUS 22317 HAS SOUPS 22317 WITH SCORE 22339.604
AT ITER 79 NEW BEST:: SOT 44273 SOS 22519 HAS SOPS 22519 HAS SOUS 22232 HAS SOUPS 22232 WITH SCORE 22254.519
AT ITER 80 NEW BEST:: SOT 44234 SOS 22441 HAS SOPS 22441 HAS SOUS 22154 HAS SOUPS 22154 WITH SCORE 22176.441
AT ITER 81 NEW BEST:: SOT 44028 SOS 22132 HAS SOPS 22132 HAS SOUS 21845 HAS SOUPS 21845 WITH SCORE 21867.132
AT ITER 83 NEW BEST:: SOT 43890 SOS 22064 HAS SOPS 22064 HAS SOUS 21771 HAS SOUPS 21771 WITH SCORE 21793.064
AT ITER 84 NEW BEST:: SOT 43836 SOS 22057 HAS SOPS 22057 HAS SOUS 21726 HAS SOUPS 21726 WITH SCORE 21748.057
AT ITER 85 NEW BEST:: SOT 43821 SOS 22042 HAS SOPS 22042 HAS SOUS 21711 HAS SOUPS 21711 WITH SCORE 21733.042
AT ITER 88 NEW BEST:: SOT 43807 SOS 22014 HAS SOPS 22014 HAS SOUS 21683 HAS SOUPS 21683 WITH SCORE 21705.014
AT ITER 90 NEW BEST:: SOT 43610 SOS 21731 HAS SOPS 21731 HAS SOUS 21400 HAS SOUPS 21400 WITH SCORE 21421.731
AT ITER 92 NEW BEST:: SOT 43606 SOS 21723 HAS SOPS 21723 HAS SOUS 21392 HAS SOUPS 21392 WITH SCORE 21413.723
AT ITER 96 NEW BEST:: SOT 43447 SOS 21543 HAS SOPS 21543 HAS SOUS 21176 HAS SOUPS 21176 WITH SCORE 21197.543
AT ITER 100 NEW BEST:: SOT 43344 SOS 21453 HAS SOPS 21453 HAS SOUS 21086 HAS SOUPS 21086 WITH SCORE 21107.453
AT ITER 101 NEW BEST:: SOT 43333 SOS 21431 HAS SOPS 21431 HAS SOUS 21064 HAS SOUPS 21064 WITH SCORE 21085.431
AT ITER 102 NEW BEST:: SOT 43221 SOS 21318 HAS SOPS 21318 HAS SOUS 20951 HAS SOUPS 20951 WITH SCORE 20972.318
AT ITER 103 NEW BEST:: SOT 43180 SOS 21236 HAS SOPS 21236 HAS SOUS 20905 HAS SOUPS 20905 WITH SCORE 20926.236
AT ITER 109 NEW BEST:: SOT 43177 SOS 21230 HAS SOPS 21230 HAS SOUS 20899 HAS SOUPS 20899 WITH SCORE 20920.23
AT ITER 113 NEW BEST:: SOT 43177 SOS 21229 HAS SOPS 21229 HAS SOUS 20898 HAS SOUPS 20898 WITH SCORE 20919.229
AT ITER 114 NEW BEST:: SOT 43151 SOS 21203 HAS SOPS 21203 HAS SOUS 20872 HAS SOUPS 20872 WITH SCORE 20893.203
AT ITER 115 NEW BEST:: SOT 43057 SOS 21015 HAS SOPS 21015 HAS SOUS 20684 HAS SOUPS 20684 WITH SCORE 20705.015
AT ITER 118 NEW BEST:: SOT 42921 SOS 20811 HAS SOPS 20811 HAS SOUS 20480 HAS SOUPS 20480 WITH SCORE 20500.811
AT ITER 120 NEW BEST:: SOT 42909 SOS 20787 HAS SOPS 20787 HAS SOUS 20456 HAS SOUPS 20456 WITH SCORE 20476.787
AT ITER 124 NEW BEST:: SOT 42907 SOS 20783 HAS SOPS 20783 HAS SOUS 20452 HAS SOUPS 20452 WITH SCORE 20472.783
AT ITER 125 NEW BEST:: SOT 42639 SOS 20412 HAS SOPS 20412 HAS SOUS 20081 HAS SOUPS 20081 WITH SCORE 20101.412
AT ITER 126 NEW BEST:: SOT 42605 SOS 20361 HAS SOPS 20361 HAS SOUS 20030 HAS SOUPS 20030 WITH SCORE 20050.361
AT ITER 130 NEW BEST:: SOT 42526 SOS 20282 HAS SOPS 20282 HAS SOUS 19951 HAS SOUPS 19951 WITH SCORE 19971.282
AT ITER 131 NEW BEST:: SOT 42425 SOS 20080 HAS SOPS 20080 HAS SOUS 19749 HAS SOUPS 19749 WITH SCORE 19769.08
AT ITER 132 NEW BEST:: SOT 42411 SOS 20052 HAS SOPS 20052 HAS SOUS 19735 HAS SOUPS 19735 WITH SCORE 19755.052
AT ITER 137 NEW BEST:: SOT 42300 SOS 19941 HAS SOPS 19941 HAS SOUS 19624 HAS SOUPS 19624 WITH SCORE 19643.941
AT ITER 139 NEW BEST:: SOT 42266 SOS 19873 HAS SOPS 19873 HAS SOUS 19590 HAS SOUPS 19590 WITH SCORE 19609.873
AT ITER 142 NEW BEST:: SOT 42262 SOS 19865 HAS SOPS 19865 HAS SOUS 19582 HAS SOUPS 19582 WITH SCORE 19601.865
AT ITER 143 NEW BEST:: SOT 42076 SOS 19586 HAS SOPS 19586 HAS SOUS 19303 HAS SOUPS 19303 WITH SCORE 19322.586
AT ITER 146 NEW BEST:: SOT 41987 SOS 19408 HAS SOPS 19408 HAS SOUS 19163 HAS SOUPS 19163 WITH SCORE 19182.408
AT ITER 148 NEW BEST:: SOT 41903 SOS 19324 HAS SOPS 19324 HAS SOUS 19079 HAS SOUPS 19079 WITH SCORE 19098.324
AT ITER 150 NEW BEST:: SOT 41801 SOS 19261 HAS SOPS 19261 HAS SOUS 18933 HAS SOUPS 18933 WITH SCORE 18952.261
AT ITER 151 NEW BEST:: SOT 41520 SOS 18882 HAS SOPS 18882 HAS SOUS 18554 HAS SOUPS 18554 WITH SCORE 18572.882
AT ITER 152 NEW BEST:: SOT 41458 SOS 18820 HAS SOPS 18820 HAS SOUS 18492 HAS SOUPS 18492 WITH SCORE 18510.82
AT ITER 153 NEW BEST:: SOT 41353 SOS 18715 HAS SOPS 18715 HAS SOUS 18387 HAS SOUPS 18387 WITH SCORE 18405.715
AT ITER 154 NEW BEST:: SOT 41197 SOS 18521 HAS SOPS 18521 HAS SOUS 18193 HAS SOUPS 18193 WITH SCORE 18211.521
AT ITER 155 NEW BEST:: SOT 41071 SOS 18360 HAS SOPS 18360 HAS SOUS 18032 HAS SOUPS 18032 WITH SCORE 18050.36
AT ITER 157 NEW BEST:: SOT 41010 SOS 18331 HAS SOPS 18331 HAS SOUS 18003 HAS SOUPS 18003 WITH SCORE 18021.331
AT ITER 158 NEW BEST:: SOT 41006 SOS 18323 HAS SOPS 18323 HAS SOUS 17995 HAS SOUPS 17995 WITH SCORE 18013.323
AT ITER 159 NEW BEST:: SOT 40936 SOS 18271 HAS SOPS 18271 HAS SOUS 17923 HAS SOUPS 17923 WITH SCORE 17941.271
AT ITER 160 NEW BEST:: SOT 40936 SOS 18151 HAS SOPS 18151 HAS SOUS 17881 HAS SOUPS 17881 WITH SCORE 17899.151
AT ITER 163 NEW BEST:: SOT 40931 SOS 18173 HAS SOPS 18173 HAS SOUS 17871 HAS SOUPS 17871 WITH SCORE 17889.173
AT ITER 164 NEW BEST:: SOT 40922 SOS 18288 HAS SOPS 18288 HAS SOUS 17862 HAS SOUPS 17862 WITH SCORE 17880.288
AT ITER 165 NEW BEST:: SOT 40948 SOS 18340 HAS SOPS 18340 HAS SOUS 17828 HAS SOUPS 17828 WITH SCORE 17846.34
AT ITER 166 NEW BEST:: SOT 40896 SOS 18236 HAS SOPS 18236 HAS SOUS 17724 HAS SOUPS 17724 WITH SCORE 17742.236
AT ITER 167 NEW BEST:: SOT 40886 SOS 18216 HAS SOPS 18216 HAS SOUS 17714 HAS SOUPS 17714 WITH SCORE 17732.216
AT ITER 168 NEW BEST:: SOT 40787 SOS 18018 HAS SOPS 18018 HAS SOUS 17516 HAS SOUPS 17516 WITH SCORE 17534.018
AT ITER 171 NEW BEST:: SOT 40715 SOS 17946 HAS SOPS 17946 HAS SOUS 17444 HAS SOUPS 17444 WITH SCORE 17461.946
AT ITER 174 NEW BEST:: SOT 40647 SOS 17810 HAS SOPS 17810 HAS SOUS 17308 HAS SOUPS 17308 WITH SCORE 17325.81
AT ITER 176 NEW BEST:: SOT 40645 SOS 17809 HAS SOPS 17809 HAS SOUS 17306 HAS SOUPS 17306 WITH SCORE 17323.809
AT ITER 179 NEW BEST:: SOT 40372 SOS 17435 HAS SOPS 17435 HAS SOUS 16932 HAS SOUPS 16932 WITH SCORE 16949.435
AT ITER 180 NEW BEST:: SOT 40268 SOS 17398 HAS SOPS 17398 HAS SOUS 16895 HAS SOUPS 16895 WITH SCORE 16912.398
AT ITER 186 NEW BEST:: SOT 40249 SOS 17423 HAS SOPS 17423 HAS SOUS 16857 HAS SOUPS 16857 WITH SCORE 16874.423
AT ITER 192 NEW BEST:: SOT 40225 SOS 17398 HAS SOPS 17398 HAS SOUS 16832 HAS SOUPS 16832 WITH SCORE 16849.398
AT ITER 199 NEW BEST:: SOT 40221 SOS 17390 HAS SOPS 17390 HAS SOUS 16828 HAS SOUPS 16828 WITH SCORE 16845.39
AT ITER 201 NEW BEST:: SOT 40221 SOS 17377 HAS SOPS 17377 HAS SOUS 16828 HAS SOUPS 16828 WITH SCORE 16845.377
AT ITER 202 NEW BEST:: SOT 40165 SOS 17265 HAS SOPS 17265 HAS SOUS 16716 HAS SOUPS 16716 WITH SCORE 16733.265
AT ITER 203 NEW BEST:: SOT 40157 SOS 17257 HAS SOPS 17257 HAS SOUS 16708 HAS SOUPS 16708 WITH SCORE 16725.257
AT ITER 205 NEW BEST:: SOT 40154 SOS 17251 HAS SOPS 17251 HAS SOUS 16702 HAS SOUPS 16702 WITH SCORE 16719.251
AT ITER 206 NEW BEST:: SOT 40125 SOS 17193 HAS SOPS 17193 HAS SOUS 16644 HAS SOUPS 16644 WITH SCORE 16661.193
AT ITER 207 NEW BEST:: SOT 40078 SOS 17146 HAS SOPS 17146 HAS SOUS 16597 HAS SOUPS 16597 WITH SCORE 16614.146
AT ITER 208 NEW BEST:: SOT 40019 SOS 17298 HAS SOPS 17298 HAS SOUS 16544 HAS SOUPS 16544 WITH SCORE 16561.298
AT ITER 210 NEW BEST:: SOT 39970 SOS 17298 HAS SOPS 17298 HAS SOUS 16495 HAS SOUPS 16495 WITH SCORE 16512.298
AT ITER 214 NEW BEST:: SOT 39830 SOS 17018 HAS SOPS 17018 HAS SOUS 16255 HAS SOUPS 16255 WITH SCORE 16272.018
AT ITER 215 NEW BEST:: SOT 39811 SOS 16980 HAS SOPS 16980 HAS SOUS 16155 HAS SOUPS 16155 WITH SCORE 16171.98
AT ITER 216 NEW BEST:: SOT 39752 SOS 17106 HAS SOPS 17106 HAS SOUS 16099 HAS SOUPS 16099 WITH SCORE 16116.106
AT ITER 221 NEW BEST:: SOT 39752 SOS 17095 HAS SOPS 17095 HAS SOUS 16099 HAS SOUPS 16099 WITH SCORE 16116.095
AT ITER 222 NEW BEST:: SOT 39730 SOS 17073 HAS SOPS 17073 HAS SOUS 16077 HAS SOUPS 16077 WITH SCORE 16094.073
AT ITER 229 NEW BEST:: SOT 39718 SOS 17061 HAS SOPS 17061 HAS SOUS 16065 HAS SOUPS 16065 WITH SCORE 16082.061
AT ITER 230 NEW BEST:: SOT 39676 SOS 17021 HAS SOPS 17021 HAS SOUS 16007 HAS SOUPS 16007 WITH SCORE 16024.021
AT ITER 231 NEW BEST:: SOT 39676 SOS 17021 HAS SOPS 17021 HAS SOUS 16005 HAS SOUPS 16005 WITH SCORE 16022.021
AT ITER 232 NEW BEST:: SOT 39524 SOS 16931 HAS SOPS 16931 HAS SOUS 15785 HAS SOUPS 15785 WITH SCORE 15801.931
AT ITER 237 NEW BEST:: SOT 39499 SOS 16881 HAS SOPS 16881 HAS SOUS 15735 HAS SOUPS 15735 WITH SCORE 15751.881
AT ITER 242 NEW BEST:: SOT 39519 SOS 16921 HAS SOPS 16921 HAS SOUS 15711 HAS SOUPS 15711 WITH SCORE 15727.921
AT ITER 243 NEW BEST:: SOT 39478 SOS 17015 HAS SOPS 17015 HAS SOUS 15670 HAS SOUPS 15670 WITH SCORE 15687.015
AT ITER 244 NEW BEST:: SOT 39471 SOS 17001 HAS SOPS 17001 HAS SOUS 15656 HAS SOUPS 15656 WITH SCORE 15673.001
AT ITER 246 NEW BEST:: SOT 39277 SOS 16747 HAS SOPS 16747 HAS SOUS 15373 HAS SOUPS 15373 WITH SCORE 15389.747
AT ITER 247 NEW BEST:: SOT 39202 SOS 16696 HAS SOPS 16696 HAS SOUS 15296 HAS SOUPS 15296 WITH SCORE 15312.696
AT ITER 248 NEW BEST:: SOT 39195 SOS 16682 HAS SOPS 16682 HAS SOUS 15289 HAS SOUPS 15289 WITH SCORE 15305.682
AT ITER 252 NEW BEST:: SOT 39186 SOS 16673 HAS SOPS 16673 HAS SOUS 15271 HAS SOUPS 15271 WITH SCORE 15287.673
AT ITER 255 NEW BEST:: SOT 39184 SOS 16665 HAS SOPS 16665 HAS SOUS 15265 HAS SOUPS 15265 WITH SCORE 15281.665
AT ITER 258 NEW BEST:: SOT 39159 SOS 16642 HAS SOPS 16642 HAS SOUS 15242 HAS SOUPS 15242 WITH SCORE 15258.642
AT ITER 259 NEW BEST:: SOT 39157 SOS 16638 HAS SOPS 16638 HAS SOUS 15238 HAS SOUPS 15238 WITH SCORE 15254.638
AT ITER 260 NEW BEST:: SOT 39140 SOS 16604 HAS SOPS 16604 HAS SOUS 15204 HAS SOUPS 15204 WITH SCORE 15220.604
AT ITER 263 NEW BEST:: SOT 39022 SOS 16368 HAS SOPS 16368 HAS SOUS 14987 HAS SOUPS 14987 WITH SCORE 15003.368
AT ITER 266 NEW BEST:: SOT 38972 SOS 16268 HAS SOPS 16268 HAS SOUS 14887 HAS SOUPS 14887 WITH SCORE 14903.268
AT ITER 267 NEW BEST:: SOT 38967 SOS 16258 HAS SOPS 16258 HAS SOUS 14877 HAS SOUPS 14877 WITH SCORE 14893.258
AT ITER 270 NEW BEST:: SOT 38919 SOS 16210 HAS SOPS 16210 HAS SOUS 14817 HAS SOUPS 14817 WITH SCORE 14833.21
AT ITER 273 NEW BEST:: SOT 38899 SOS 16170 HAS SOPS 16170 HAS SOUS 14796 HAS SOUPS 14796 WITH SCORE 14812.17
AT ITER 274 NEW BEST:: SOT 38876 SOS 16124 HAS SOPS 16124 HAS SOUS 14754 HAS SOUPS 14754 WITH SCORE 14770.124
AT ITER 276 NEW BEST:: SOT 38754 SOS 15962 HAS SOPS 15962 HAS SOUS 14550 HAS SOUPS 14550 WITH SCORE 14565.962
AT ITER 277 NEW BEST:: SOT 38740 SOS 15934 HAS SOPS 15934 HAS SOUS 14522 HAS SOUPS 14522 WITH SCORE 14537.934
AT ITER 278 NEW BEST:: SOT 38705 SOS 15864 HAS SOPS 15864 HAS SOUS 14452 HAS SOUPS 14452 WITH SCORE 14467.864
AT ITER 279 NEW BEST:: SOT 38691 SOS 15861 HAS SOPS 15861 HAS SOUS 14449 HAS SOUPS 14449 WITH SCORE 14464.861
AT ITER 284 NEW BEST:: SOT 38664 SOS 15963 HAS SOPS 15963 HAS SOUS 14422 HAS SOUPS 14422 WITH SCORE 14437.963
AT ITER 286 NEW BEST:: SOT 38585 SOS 15887 HAS SOPS 15887 HAS SOUS 14342 HAS SOUPS 14342 WITH SCORE 14357.887
AT ITER 287 NEW BEST:: SOT 38503 SOS 15764 HAS SOPS 15764 HAS SOUS 14219 HAS SOUPS 14219 WITH SCORE 14234.764
AT ITER 288 NEW BEST:: SOT 38468 SOS 15694 HAS SOPS 15694 HAS SOUS 14149 HAS SOUPS 14149 WITH SCORE 14164.694
AT ITER 289 NEW BEST:: SOT 38464 SOS 15690 HAS SOPS 15690 HAS SOUS 14145 HAS SOUPS 14145 WITH SCORE 14160.69
AT ITER 292 NEW BEST:: SOT 38435 SOS 15666 HAS SOPS 15666 HAS SOUS 14121 HAS SOUPS 14121 WITH SCORE 14136.666
AT ITER 297 NEW BEST:: SOT 38430 SOS 15656 HAS SOPS 15656 HAS SOUS 14111 HAS SOUPS 14111 WITH SCORE 14126.656
AT ITER 299 NEW BEST:: SOT 38403 SOS 15602 HAS SOPS 15602 HAS SOUS 14073 HAS SOUPS 14073 WITH SCORE 14088.602
AT ITER 300 NEW BEST:: SOT 38429 SOS 15573 HAS SOPS 15573 HAS SOUS 14044 HAS SOUPS 14044 WITH SCORE 14059.573
AT ITER 301 NEW BEST:: SOT 38364 SOS 15498 HAS SOPS 15498 HAS SOUS 13963 HAS SOUPS 13963 WITH SCORE 13978.498
AT ITER 306 NEW BEST:: SOT 38204 SOS 15282 HAS SOPS 15282 HAS SOUS 13747 HAS SOUPS 13747 WITH SCORE 13762.282
AT ITER 318 NEW BEST:: SOT 38204 SOS 15272 HAS SOPS 15272 HAS SOUS 13745 HAS SOUPS 13745 WITH SCORE 13760.272
AT ITER 320 NEW BEST:: SOT 38149 SOS 15162 HAS SOPS 15162 HAS SOUS 13673 HAS SOUPS 13673 WITH SCORE 13688.162
AT ITER 321 NEW BEST:: SOT 38148 SOS 15142 HAS SOPS 15142 HAS SOUS 13670 HAS SOUPS 13670 WITH SCORE 13685.142
AT ITER 323 NEW BEST:: SOT 38082 SOS 15010 HAS SOPS 15010 HAS SOUS 13585 HAS SOUPS 13585 WITH SCORE 13600.01
AT ITER 326 NEW BEST:: SOT 38006 SOS 14858 HAS SOPS 14858 HAS SOUS 13478 HAS SOUPS 13478 WITH SCORE 13492.858
AT ITER 328 NEW BEST:: SOT 37934 SOS 14754 HAS SOPS 14754 HAS SOUS 13366 HAS SOUPS 13366 WITH SCORE 13380.754
AT ITER 331 NEW BEST:: SOT 37654 SOS 14410 HAS SOPS 14410 HAS SOUS 13005 HAS SOUPS 13005 WITH SCORE 13019.41
AT ITER 333 NEW BEST:: SOT 37666 SOS 14434 HAS SOPS 14434 HAS SOUS 12982 HAS SOUPS 12982 WITH SCORE 12996.434
AT ITER 336 NEW BEST:: SOT 37586 SOS 14397 HAS SOPS 14397 HAS SOUS 12895 HAS SOUPS 12895 WITH SCORE 12909.397
AT ITER 337 NEW BEST:: SOT 37541 SOS 14307 HAS SOPS 14307 HAS SOUS 12805 HAS SOUPS 12805 WITH SCORE 12819.307
AT ITER 340 NEW BEST:: SOT 37485 SOS 14195 HAS SOPS 14195 HAS SOUS 12657 HAS SOUPS 12657 WITH SCORE 12671.195
AT ITER 346 NEW BEST:: SOT 37436 SOS 14097 HAS SOPS 14097 HAS SOUS 12559 HAS SOUPS 12559 WITH SCORE 12573.097
AT ITER 348 NEW BEST:: SOT 37417 SOS 14151 HAS SOPS 14151 HAS SOUS 12540 HAS SOUPS 12540 WITH SCORE 12554.151
AT ITER 356 NEW BEST:: SOT 37319 SOS 14114 HAS SOPS 14114 HAS SOUS 12442 HAS SOUPS 12442 WITH SCORE 12456.114
AT ITER 357 NEW BEST:: SOT 37141 SOS 13929 HAS SOPS 13929 HAS SOUS 12185 HAS SOUPS 12185 WITH SCORE 12198.929
AT ITER 367 NEW BEST:: SOT 37141 SOS 13911 HAS SOPS 13911 HAS SOUS 12185 HAS SOUPS 12185 WITH SCORE 12198.911
AT ITER 371 NEW BEST:: SOT 37140 SOS 13884 HAS SOPS 13884 HAS SOUS 12184 HAS SOUPS 12184 WITH SCORE 12197.884
AT ITER 372 NEW BEST:: SOT 37139 SOS 13982 HAS SOPS 13982 HAS SOUS 12183 HAS SOUPS 12183 WITH SCORE 12196.982
AT ITER 380 NEW BEST:: SOT 37138 SOS 13980 HAS SOPS 13980 HAS SOUS 12131 HAS SOUPS 12131 WITH SCORE 12144.98
AT ITER 382 NEW BEST:: SOT 37118 SOS 13940 HAS SOPS 13940 HAS SOUS 12111 HAS SOUPS 12111 WITH SCORE 12124.94
AT ITER 385 NEW BEST:: SOT 37058 SOS 13880 HAS SOPS 13880 HAS SOUS 12051 HAS SOUPS 12051 WITH SCORE 12064.88
AT ITER 386 NEW BEST:: SOT 37053 SOS 13875 HAS SOPS 13875 HAS SOUS 12046 HAS SOUPS 12046 WITH SCORE 12059.875
AT ITER 387 NEW BEST:: SOT 37025 SOS 13858 HAS SOPS 13858 HAS SOUS 12029 HAS SOUPS 12029 WITH SCORE 12042.858
AT ITER 388 NEW BEST:: SOT 36947 SOS 13702 HAS SOPS 13702 HAS SOUS 11926 HAS SOUPS 11926 WITH SCORE 11939.702
AT ITER 392 NEW BEST:: SOT 36879 SOS 13566 HAS SOPS 13566 HAS SOUS 11816 HAS SOUPS 11816 WITH SCORE 11829.566
AT ITER 396 NEW BEST:: SOT 36808 SOS 13424 HAS SOPS 13424 HAS SOUS 11745 HAS SOUPS 11745 WITH SCORE 11758.424
AT ITER 398 NEW BEST:: SOT 36767 SOS 13378 HAS SOPS 13378 HAS SOUS 11699 HAS SOUPS 11699 WITH SCORE 11712.378
AT ITER 405 NEW BEST:: SOT 36755 SOS 13366 HAS SOPS 13366 HAS SOUS 11687 HAS SOUPS 11687 WITH SCORE 11700.366
AT ITER 411 NEW BEST:: SOT 36733 SOS 13344 HAS SOPS 13344 HAS SOUS 11665 HAS SOUPS 11665 WITH SCORE 11678.344
AT ITER 413 NEW BEST:: SOT 36707 SOS 13266 HAS SOPS 13266 HAS SOUS 11617 HAS SOUPS 11617 WITH SCORE 11630.266
AT ITER 414 NEW BEST:: SOT 36691 SOS 13254 HAS SOPS 13254 HAS SOUS 11585 HAS SOUPS 11585 WITH SCORE 11598.254
AT ITER 416 NEW BEST:: SOT 36642 SOS 13156 HAS SOPS 13156 HAS SOUS 11513 HAS SOUPS 11513 WITH SCORE 11526.156
AT ITER 418 NEW BEST:: SOT 36625 SOS 13139 HAS SOPS 13139 HAS SOUS 11496 HAS SOUPS 11496 WITH SCORE 11509.139
AT ITER 425 NEW BEST:: SOT 36610 SOS 13058 HAS SOPS 13058 HAS SOUS 11470 HAS SOUPS 11470 WITH SCORE 11483.058
AT ITER 428 NEW BEST:: SOT 36610 SOS 13001 HAS SOPS 13001 HAS SOUS 11413 HAS SOUPS 11413 WITH SCORE 11426.001
AT ITER 430 NEW BEST:: SOT 36503 SOS 12618 HAS SOPS 12618 HAS SOUS 11223 HAS SOUPS 11223 WITH SCORE 11235.618
AT ITER 433 NEW BEST:: SOT 36494 SOS 12600 HAS SOPS 12600 HAS SOUS 11214 HAS SOUPS 11214 WITH SCORE 11226.6
AT ITER 434 NEW BEST:: SOT 36340 SOS 12446 HAS SOPS 12446 HAS SOUS 11060 HAS SOUPS 11060 WITH SCORE 11072.446
AT ITER 439 NEW BEST:: SOT 36333 SOS 12439 HAS SOPS 12439 HAS SOUS 11046 HAS SOUPS 11046 WITH SCORE 11058.439
AT ITER 441 NEW BEST:: SOT 36357 SOS 12354 HAS SOPS 12354 HAS SOUS 10966 HAS SOUPS 10966 WITH SCORE 10978.354
AT ITER 443 NEW BEST:: SOT 36355 SOS 12404 HAS SOPS 12404 HAS SOUS 10964 HAS SOUPS 10964 WITH SCORE 10976.404
AT ITER 444 NEW BEST:: SOT 36272 SOS 12238 HAS SOPS 12238 HAS SOUS 10937 HAS SOUPS 10937 WITH SCORE 10949.238
AT ITER 448 NEW BEST:: SOT 36226 SOS 12146 HAS SOPS 12146 HAS SOUS 10891 HAS SOUPS 10891 WITH SCORE 10903.146
AT ITER 449 NEW BEST:: SOT 36226 SOS 12146 HAS SOPS 12146 HAS SOUS 10888 HAS SOUPS 10888 WITH SCORE 10900.146
AT ITER 451 NEW BEST:: SOT 36127 SOS 11948 HAS SOPS 11948 HAS SOUS 10726 HAS SOUPS 10726 WITH SCORE 10737.948
AT ITER 453 NEW BEST:: SOT 36125 SOS 11944 HAS SOPS 11944 HAS SOUS 10722 HAS SOUPS 10722 WITH SCORE 10733.944
AT ITER 455 NEW BEST:: SOT 36054 SOS 11802 HAS SOPS 11802 HAS SOUS 10530 HAS SOUPS 10530 WITH SCORE 10541.802
AT ITER 459 NEW BEST:: SOT 36059 SOS 11812 HAS SOPS 11812 HAS SOUS 10511 HAS SOUPS 10511 WITH SCORE 10522.812
AT ITER 464 NEW BEST:: SOT 36047 SOS 11788 HAS SOPS 11788 HAS SOUS 10487 HAS SOUPS 10487 WITH SCORE 10498.788
AT ITER 466 NEW BEST:: SOT 36010 SOS 11714 HAS SOPS 11714 HAS SOUS 10450 HAS SOUPS 10450 WITH SCORE 10461.714
AT ITER 471 NEW BEST:: SOT 35982 SOS 11686 HAS SOPS 11686 HAS SOUS 10422 HAS SOUPS 10422 WITH SCORE 10433.686
AT ITER 472 NEW BEST:: SOT 35962 SOS 11646 HAS SOPS 11646 HAS SOUS 10382 HAS SOUPS 10382 WITH SCORE 10393.646
AT ITER 476 NEW BEST:: SOT 35933 SOS 11691 HAS SOPS 11691 HAS SOUS 10367 HAS SOUPS 10367 WITH SCORE 10378.691
AT ITER 477 NEW BEST:: SOT 35845 SOS 11569 HAS SOPS 11569 HAS SOUS 10245 HAS SOUPS 10245 WITH SCORE 10256.569
AT ITER 478 NEW BEST:: SOT 35837 SOS 11553 HAS SOPS 11553 HAS SOUS 10237 HAS SOUPS 10237 WITH SCORE 10248.553
AT ITER 482 NEW BEST:: SOT 35830 SOS 11539 HAS SOPS 11539 HAS SOUS 10223 HAS SOUPS 10223 WITH SCORE 10234.539
AT ITER 490 NEW BEST:: SOT 35697 SOS 11406 HAS SOPS 11406 HAS SOUS 10017 HAS SOUPS 10017 WITH SCORE 10028.406
AT ITER 493 NEW BEST:: SOT 35697 SOS 11406 HAS SOPS 11406 HAS SOUS 10003 HAS SOUPS 10003 WITH SCORE 10014.406
AT ITER 504 NEW BEST:: SOT 35697 SOS 11406 HAS SOPS 11406 HAS SOUS 9999 HAS SOUPS 9999 WITH SCORE 10010.406
AT ITER 507 NEW BEST:: SOT 35681 SOS 11400 HAS SOPS 11400 HAS SOUS 9993 HAS SOUPS 9993 WITH SCORE 10004.4
AT ITER 518 NEW BEST:: SOT 35673 SOS 11388 HAS SOPS 11388 HAS SOUS 9981 HAS SOUPS 9981 WITH SCORE 9992.388
AT ITER 522 NEW BEST:: SOT 35721 SOS 11229 HAS SOPS 11229 HAS SOUS 9942 HAS SOUPS 9942 WITH SCORE 9953.229
AT ITER 531 NEW BEST:: SOT 35668 SOS 11186 HAS SOPS 11186 HAS SOUS 9889 HAS SOUPS 9889 WITH SCORE 9900.186
AT ITER 541 NEW BEST:: SOT 35651 SOS 11106 HAS SOPS 11106 HAS SOUS 9826 HAS SOUPS 9826 WITH SCORE 9837.106
AT ITER 546 NEW BEST:: SOT 35651 SOS 11095 HAS SOPS 11095 HAS SOUS 9826 HAS SOUPS 9826 WITH SCORE 9837.095
AT ITER 550 NEW BEST:: SOT 35640 SOS 11087 HAS SOPS 11087 HAS SOUS 9815 HAS SOUPS 9815 WITH SCORE 9826.087
AT ITER 551 NEW BEST:: SOT 35618 SOS 11043 HAS SOPS 11043 HAS SOUS 9771 HAS SOUPS 9771 WITH SCORE 9782.043
AT ITER 561 NEW BEST:: SOT 35605 SOS 11045 HAS SOPS 11045 HAS SOUS 9758 HAS SOUPS 9758 WITH SCORE 9769.045
AT ITER 572 NEW BEST:: SOT 35563 SOS 11023 HAS SOPS 11023 HAS SOUS 9736 HAS SOUPS 9736 WITH SCORE 9747.023
AT ITER 578 NEW BEST:: SOT 35563 SOS 11023 HAS SOPS 11023 HAS SOUS 9731 HAS SOUPS 9731 WITH SCORE 9742.023
AT ITER 582 NEW BEST:: SOT 35565 SOS 11027 HAS SOPS 11027 HAS SOUS 9720 HAS SOUPS 9720 WITH SCORE 9731.027
AT ITER 586 NEW BEST:: SOT 35560 SOS 11017 HAS SOPS 11017 HAS SOUS 9715 HAS SOUPS 9715 WITH SCORE 9726.017
AT ITER 589 NEW BEST:: SOT 35463 SOS 10823 HAS SOPS 10823 HAS SOUS 9585 HAS SOUPS 9585 WITH SCORE 9595.823
AT ITER 593 NEW BEST:: SOT 35459 SOS 10815 HAS SOPS 10815 HAS SOUS 9581 HAS SOUPS 9581 WITH SCORE 9591.815
AT ITER 601 NEW BEST:: SOT 35446 SOS 10967 HAS SOPS 10967 HAS SOUS 9568 HAS SOUPS 9568 WITH SCORE 9578.967
AT ITER 602 NEW BEST:: SOT 35423 SOS 10921 HAS SOPS 10921 HAS SOUS 9528 HAS SOUPS 9528 WITH SCORE 9538.921
AT ITER 607 NEW BEST:: SOT 35383 SOS 10881 HAS SOPS 10881 HAS SOUS 9488 HAS SOUPS 9488 WITH SCORE 9498.881
AT ITER 610 NEW BEST:: SOT 35362 SOS 10924 HAS SOPS 10924 HAS SOUS 9467 HAS SOUPS 9467 WITH SCORE 9477.924
AT ITER 611 NEW BEST:: SOT 35362 SOS 10873 HAS SOPS 10873 HAS SOUS 9441 HAS SOUPS 9441 WITH SCORE 9451.873
AT ITER 622 NEW BEST:: SOT 35357 SOS 10894 HAS SOPS 10894 HAS SOUS 9431 HAS SOUPS 9431 WITH SCORE 9441.894
AT ITER 624 NEW BEST:: SOT 35280 SOS 10740 HAS SOPS 10740 HAS SOUS 9292 HAS SOUPS 9292 WITH SCORE 9302.74
AT ITER 628 NEW BEST:: SOT 35261 SOS 10702 HAS SOPS 10702 HAS SOUS 9254 HAS SOUPS 9254 WITH SCORE 9264.702
AT ITER 632 NEW BEST:: SOT 35260 SOS 10700 HAS SOPS 10700 HAS SOUS 9253 HAS SOUPS 9253 WITH SCORE 9263.7
AT ITER 640 NEW BEST:: SOT 35243 SOS 10666 HAS SOPS 10666 HAS SOUS 9219 HAS SOUPS 9219 WITH SCORE 9229.666
AT ITER 642 NEW BEST:: SOT 35169 SOS 10605 HAS SOPS 10605 HAS SOUS 9158 HAS SOUPS 9158 WITH SCORE 9168.605
AT ITER 644 NEW BEST:: SOT 35150 SOS 10586 HAS SOPS 10586 HAS SOUS 9139 HAS SOUPS 9139 WITH SCORE 9149.586
AT ITER 645 NEW BEST:: SOT 35088 SOS 10591 HAS SOPS 10591 HAS SOUS 9077 HAS SOUPS 9077 WITH SCORE 9087.591
AT ITER 653 NEW BEST:: SOT 35071 SOS 10529 HAS SOPS 10529 HAS SOUS 9043 HAS SOUPS 9043 WITH SCORE 9053.529
AT ITER 664 NEW BEST:: SOT 34992 SOS 10371 HAS SOPS 10371 HAS SOUS 8900 HAS SOUPS 8900 WITH SCORE 8910.371
AT ITER 666 NEW BEST:: SOT 34963 SOS 10377 HAS SOPS 10377 HAS SOUS 8871 HAS SOUPS 8871 WITH SCORE 8881.377
AT ITER 678 NEW BEST:: SOT 34961 SOS 10373 HAS SOPS 10373 HAS SOUS 8869 HAS SOUPS 8869 WITH SCORE 8879.373
AT ITER 682 NEW BEST:: SOT 34948 SOS 10360 HAS SOPS 10360 HAS SOUS 8856 HAS SOUPS 8856 WITH SCORE 8866.36
AT ITER 684 NEW BEST:: SOT 34939 SOS 10342 HAS SOPS 10342 HAS SOUS 8758 HAS SOUPS 8758 WITH SCORE 8768.342
AT ITER 688 NEW BEST:: SOT 34920 SOS 10304 HAS SOPS 10304 HAS SOUS 8755 HAS SOUPS 8755 WITH SCORE 8765.304
AT ITER 693 NEW BEST:: SOT 34905 SOS 10274 HAS SOPS 10274 HAS SOUS 8725 HAS SOUPS 8725 WITH SCORE 8735.274
AT ITER 699 NEW BEST:: SOT 34806 SOS 10128 HAS SOPS 10128 HAS SOUS 8579 HAS SOUPS 8579 WITH SCORE 8589.128
AT ITER 705 NEW BEST:: SOT 34823 SOS 10070 HAS SOPS 10070 HAS SOUS 8556 HAS SOUPS 8556 WITH SCORE 8566.07
AT ITER 712 NEW BEST:: SOT 34801 SOS 10026 HAS SOPS 10026 HAS SOUS 8532 HAS SOUPS 8532 WITH SCORE 8542.026
AT ITER 719 NEW BEST:: SOT 34727 SOS 9878 HAS SOPS 9878 HAS SOUS 8384 HAS SOUPS 8384 WITH SCORE 8393.878
AT ITER 731 NEW BEST:: SOT 34699 SOS 9859 HAS SOPS 9859 HAS SOUS 8349 HAS SOUPS 8349 WITH SCORE 8358.859
AT ITER 733 NEW BEST:: SOT 34696 SOS 9853 HAS SOPS 9853 HAS SOUS 8346 HAS SOUPS 8346 WITH SCORE 8355.853
AT ITER 740 NEW BEST:: SOT 34712 SOS 9688 HAS SOPS 9688 HAS SOUS 8286 HAS SOUPS 8286 WITH SCORE 8295.688
AT ITER 753 NEW BEST:: SOT 34648 SOS 9560 HAS SOPS 9560 HAS SOUS 8140 HAS SOUPS 8140 WITH SCORE 8149.56
AT ITER 759 NEW BEST:: SOT 34648 SOS 9531 HAS SOPS 9531 HAS SOUS 8111 HAS SOUPS 8111 WITH SCORE 8120.531
AT ITER 762 NEW BEST:: SOT 34635 SOS 9505 HAS SOPS 9505 HAS SOUS 8098 HAS SOUPS 8098 WITH SCORE 8107.505
AT ITER 771 NEW BEST:: SOT 34635 SOS 9482 HAS SOPS 9482 HAS SOUS 8098 HAS SOUPS 8098 WITH SCORE 8107.482
AT ITER 772 NEW BEST:: SOT 34610 SOS 9432 HAS SOPS 9432 HAS SOUS 8064 HAS SOUPS 8064 WITH SCORE 8073.432
AT ITER 777 NEW BEST:: SOT 34564 SOS 9340 HAS SOPS 9340 HAS SOUS 8000 HAS SOUPS 8000 WITH SCORE 8009.34
AT ITER 782 NEW BEST:: SOT 34546 SOS 9318 HAS SOPS 9318 HAS SOUS 7978 HAS SOUPS 7978 WITH SCORE 7987.318
AT ITER 787 NEW BEST:: SOT 34546 SOS 9270 HAS SOPS 9270 HAS SOUS 7978 HAS SOUPS 7978 WITH SCORE 7987.27
AT ITER 801 NEW BEST:: SOT 34515 SOS 9246 HAS SOPS 9246 HAS SOUS 7944 HAS SOUPS 7944 WITH SCORE 7953.246
AT ITER 806 NEW BEST:: SOT 34514 SOS 9291 HAS SOPS 9291 HAS SOUS 7943 HAS SOUPS 7943 WITH SCORE 7952.291
AT ITER 812 NEW BEST:: SOT 34499 SOS 9246 HAS SOPS 9246 HAS SOUS 7913 HAS SOUPS 7913 WITH SCORE 7922.246
AT ITER 821 NEW BEST:: SOT 34499 SOS 9246 HAS SOPS 9246 HAS SOUS 7888 HAS SOUPS 7888 WITH SCORE 7897.246
AT ITER 826 NEW BEST:: SOT 34498 SOS 9244 HAS SOPS 9244 HAS SOUS 7887 HAS SOUPS 7887 WITH SCORE 7896.244
AT ITER 829 NEW BEST:: SOT 34483 SOS 9214 HAS SOPS 9214 HAS SOUS 7872 HAS SOUPS 7872 WITH SCORE 7881.214
AT ITER 834 NEW BEST:: SOT 34483 SOS 9200 HAS SOPS 9200 HAS SOUS 7872 HAS SOUPS 7872 WITH SCORE 7881.2
AT ITER 837 NEW BEST:: SOT 34448 SOS 9130 HAS SOPS 9130 HAS SOUS 7809 HAS SOUPS 7809 WITH SCORE 7818.13
AT ITER 846 NEW BEST:: SOT 34438 SOS 9110 HAS SOPS 9110 HAS SOUS 7799 HAS SOUPS 7799 WITH SCORE 7808.11
AT ITER 862 NEW BEST:: SOT 34426 SOS 9098 HAS SOPS 9098 HAS SOUS 7787 HAS SOUPS 7787 WITH SCORE 7796.098
AT ITER 868 NEW BEST:: SOT 34405 SOS 9130 HAS SOPS 9130 HAS SOUS 7768 HAS SOUPS 7768 WITH SCORE 7777.13
AT ITER 875 NEW BEST:: SOT 34376 SOS 9091 HAS SOPS 9091 HAS SOUS 7729 HAS SOUPS 7729 WITH SCORE 7738.091
AT ITER 876 NEW BEST:: SOT 34362 SOS 9063 HAS SOPS 9063 HAS SOUS 7720 HAS SOUPS 7720 WITH SCORE 7729.063
AT ITER 877 NEW BEST:: SOT 34360 SOS 9057 HAS SOPS 9057 HAS SOUS 7716 HAS SOUPS 7716 WITH SCORE 7725.057
AT ITER 880 NEW BEST:: SOT 34360 SOS 9052 HAS SOPS 9052 HAS SOUS 7716 HAS SOUPS 7716 WITH SCORE 7725.052
AT ITER 894 NEW BEST:: SOT 34336 SOS 9004 HAS SOPS 9004 HAS SOUS 7668 HAS SOUPS 7668 WITH SCORE 7677.004
AT ITER 898 NEW BEST:: SOT 34331 SOS 8994 HAS SOPS 8994 HAS SOUS 7658 HAS SOUPS 7658 WITH SCORE 7666.994
AT ITER 909 NEW BEST:: SOT 34326 SOS 8984 HAS SOPS 8984 HAS SOUS 7648 HAS SOUPS 7648 WITH SCORE 7656.984
AT ITER 916 NEW BEST:: SOT 34323 SOS 8978 HAS SOPS 8978 HAS SOUS 7645 HAS SOUPS 7645 WITH SCORE 7653.978
AT ITER 925 NEW BEST:: SOT 34280 SOS 8835 HAS SOPS 8835 HAS SOUS 7562 HAS SOUPS 7562 WITH SCORE 7570.835
AT ITER 937 NEW BEST:: SOT 34277 SOS 8732 HAS SOPS 8732 HAS SOUS 7539 HAS SOUPS 7539 WITH SCORE 7547.732
AT ITER 941 NEW BEST:: SOT 34277 SOS 8678 HAS SOPS 8678 HAS SOUS 7539 HAS SOUPS 7539 WITH SCORE 7547.678
AT ITER 945 NEW BEST:: SOT 34277 SOS 8648 HAS SOPS 8648 HAS SOUS 7539 HAS SOUPS 7539 WITH SCORE 7547.648
AT ITER 954 NEW BEST:: SOT 34276 SOS 8646 HAS SOPS 8646 HAS SOUS 7523 HAS SOUPS 7523 WITH SCORE 7531.646
AT ITER 957 NEW BEST:: SOT 34270 SOS 8595 HAS SOPS 8595 HAS SOUS 7482 HAS SOUPS 7482 WITH SCORE 7490.595
AT ITER 967 NEW BEST:: SOT 34248 SOS 8527 HAS SOPS 8527 HAS SOUS 7460 HAS SOUPS 7460 WITH SCORE 7468.527
AT ITER 976 NEW BEST:: SOT 34243 SOS 8520 HAS SOPS 8520 HAS SOUS 7453 HAS SOUPS 7453 WITH SCORE 7461.52
AT ITER 1008 NEW BEST:: SOT 34276 SOS 8443 HAS SOPS 8443 HAS SOUS 7440 HAS SOUPS 7440 WITH SCORE 7448.443
AT ITER 1013 NEW BEST:: SOT 34256 SOS 8403 HAS SOPS 8403 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7386.403
AT ITER 1019 NEW BEST:: SOT 34234 SOS 8359 HAS SOPS 8359 HAS SOUS 7356 HAS SOUPS 7356 WITH SCORE 7364.359
AT ITER 1020 NEW BEST:: SOT 34207 SOS 8305 HAS SOPS 8305 HAS SOUS 7328 HAS SOUPS 7328 WITH SCORE 7336.305
AT ITER 1029 NEW BEST:: SOT 34207 SOS 8303 HAS SOPS 8303 HAS SOUS 7326 HAS SOUPS 7326 WITH SCORE 7334.303
AT ITER 1032 NEW BEST:: SOT 34204 SOS 8322 HAS SOPS 8322 HAS SOUS 7323 HAS SOUPS 7323 WITH SCORE 7331.322
AT ITER 1042 NEW BEST:: SOT 34195 SOS 8313 HAS SOPS 8313 HAS SOUS 7314 HAS SOUPS 7314 WITH SCORE 7322.313
AT ITER 1074 NEW BEST:: SOT 34193 SOS 8320 HAS SOPS 8320 HAS SOUS 7312 HAS SOUPS 7312 WITH SCORE 7320.32
AT ITER 1082 NEW BEST:: SOT 34148 SOS 8230 HAS SOPS 8230 HAS SOUS 7266 HAS SOUPS 7266 WITH SCORE 7274.23
AT ITER 1087 NEW BEST:: SOT 34091 SOS 8173 HAS SOPS 8173 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7217.173
AT ITER 1090 NEW BEST:: SOT 34089 SOS 8169 HAS SOPS 8169 HAS SOUS 7205 HAS SOUPS 7205 WITH SCORE 7213.169
AT ITER 1098 NEW BEST:: SOT 34072 SOS 8100 HAS SOPS 8100 HAS SOUS 7188 HAS SOUPS 7188 WITH SCORE 7196.1
AT ITER 1105 NEW BEST:: SOT 34071 SOS 8093 HAS SOPS 8093 HAS SOUS 7182 HAS SOUPS 7182 WITH SCORE 7190.093
AT ITER 1109 NEW BEST:: SOT 34062 SOS 8075 HAS SOPS 8075 HAS SOUS 7175 HAS SOUPS 7175 WITH SCORE 7183.075
AT ITER 1113 NEW BEST:: SOT 34062 SOS 8033 HAS SOPS 8033 HAS SOUS 7172 HAS SOUPS 7172 WITH SCORE 7180.033
AT ITER 1116 NEW BEST:: SOT 33972 SOS 7853 HAS SOPS 7853 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7122.853
AT ITER 1129 NEW BEST:: SOT 33976 SOS 7835 HAS SOPS 7835 HAS SOUS 7107 HAS SOUPS 7107 WITH SCORE 7114.835
AT ITER 1146 NEW BEST:: SOT 33973 SOS 7829 HAS SOPS 7829 HAS SOUS 7087 HAS SOUPS 7087 WITH SCORE 7094.829
AT ITER 1151 NEW BEST:: SOT 33962 SOS 7818 HAS SOPS 7818 HAS SOUS 7065 HAS SOUPS 7065 WITH SCORE 7072.818
AT ITER 1160 NEW BEST:: SOT 33928 SOS 7750 HAS SOPS 7750 HAS SOUS 7031 HAS SOUPS 7031 WITH SCORE 7038.75
AT ITER 1161 NEW BEST:: SOT 33912 SOS 7702 HAS SOPS 7702 HAS SOUS 6999 HAS SOUPS 6999 WITH SCORE 7006.702
AT ITER 1164 NEW BEST:: SOT 33849 SOS 7576 HAS SOPS 7576 HAS SOUS 6936 HAS SOUPS 6936 WITH SCORE 6943.576
AT ITER 1174 NEW BEST:: SOT 33843 SOS 7564 HAS SOPS 7564 HAS SOUS 6930 HAS SOUPS 6930 WITH SCORE 6937.564
AT ITER 1176 NEW BEST:: SOT 33843 SOS 7506 HAS SOPS 7506 HAS SOUS 6930 HAS SOUPS 6930 WITH SCORE 6937.506
AT ITER 1181 NEW BEST:: SOT 33828 SOS 7476 HAS SOPS 7476 HAS SOUS 6890 HAS SOUPS 6890 WITH SCORE 6897.476
AT ITER 1182 NEW BEST:: SOT 33825 SOS 7473 HAS SOPS 7473 HAS SOUS 6887 HAS SOUPS 6887 WITH SCORE 6894.473
AT ITER 1198 NEW BEST:: SOT 33797 SOS 7417 HAS SOPS 7417 HAS SOUS 6834 HAS SOUPS 6834 WITH SCORE 6841.417
AT ITER 1200 NEW BEST:: SOT 33750 SOS 7406 HAS SOPS 7406 HAS SOUS 6823 HAS SOUPS 6823 WITH SCORE 6830.406
AT ITER 1201 NEW BEST:: SOT 33750 SOS 7336 HAS SOPS 7336 HAS SOUS 6823 HAS SOUPS 6823 WITH SCORE 6830.336
AT ITER 1207 NEW BEST:: SOT 33742 SOS 7320 HAS SOPS 7320 HAS SOUS 6807 HAS SOUPS 6807 WITH SCORE 6814.32
AT ITER 1209 NEW BEST:: SOT 33737 SOS 7310 HAS SOPS 7310 HAS SOUS 6797 HAS SOUPS 6797 WITH SCORE 6804.31
AT ITER 1211 NEW BEST:: SOT 33735 SOS 7306 HAS SOPS 7306 HAS SOUS 6793 HAS SOUPS 6793 WITH SCORE 6800.306
AT ITER 1214 NEW BEST:: SOT 33735 SOS 7306 HAS SOPS 7306 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6799.306
AT ITER 1227 NEW BEST:: SOT 33730 SOS 7296 HAS SOPS 7296 HAS SOUS 6790 HAS SOUPS 6790 WITH SCORE 6797.296
AT ITER 1228 NEW BEST:: SOT 33730 SOS 7288 HAS SOPS 7288 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6789.288
AT ITER 1229 NEW BEST:: SOT 33728 SOS 7284 HAS SOPS 7284 HAS SOUS 6780 HAS SOUPS 6780 WITH SCORE 6787.284
AT ITER 1234 NEW BEST:: SOT 33728 SOS 7246 HAS SOPS 7246 HAS SOUS 6742 HAS SOUPS 6742 WITH SCORE 6749.246
AT ITER 1246 NEW BEST:: SOT 33728 SOS 7245 HAS SOPS 7245 HAS SOUS 6741 HAS SOUPS 6741 WITH SCORE 6748.245
AT ITER 1249 NEW BEST:: SOT 33728 SOS 7242 HAS SOPS 7242 HAS SOUS 6738 HAS SOUPS 6738 WITH SCORE 6745.242
AT ITER 1265 NEW BEST:: SOT 33728 SOS 7242 HAS SOPS 7242 HAS SOUS 6737 HAS SOUPS 6737 WITH SCORE 6744.242
AT ITER 1283 NEW BEST:: SOT 33724 SOS 7230 HAS SOPS 7230 HAS SOUS 6729 HAS SOUPS 6729 WITH SCORE 6736.23
AT ITER 1285 NEW BEST:: SOT 33722 SOS 7226 HAS SOPS 7226 HAS SOUS 6725 HAS SOUPS 6725 WITH SCORE 6732.226
AT ITER 1295 NEW BEST:: SOT 33708 SOS 7198 HAS SOPS 7198 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6718.198
AT ITER 1301 NEW BEST:: SOT 33668 SOS 7158 HAS SOPS 7158 HAS SOUS 6671 HAS SOUPS 6671 WITH SCORE 6678.158
AT ITER 1315 NEW BEST:: SOT 33668 SOS 7156 HAS SOPS 7156 HAS SOUS 6669 HAS SOUPS 6669 WITH SCORE 6676.156
AT ITER 1317 NEW BEST:: SOT 33638 SOS 7096 HAS SOPS 7096 HAS SOUS 6609 HAS SOUPS 6609 WITH SCORE 6616.096
AT ITER 1321 NEW BEST:: SOT 33627 SOS 7074 HAS SOPS 7074 HAS SOUS 6582 HAS SOUPS 6582 WITH SCORE 6589.074
AT ITER 1322 NEW BEST:: SOT 33565 SOS 7043 HAS SOPS 7043 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6505.043
AT ITER 1328 NEW BEST:: SOT 33612 SOS 6998 HAS SOPS 6998 HAS SOUS 6453 HAS SOUPS 6453 WITH SCORE 6459.998
AT ITER 1333 NEW BEST:: SOT 33595 SOS 6964 HAS SOPS 6964 HAS SOUS 6436 HAS SOUPS 6436 WITH SCORE 6442.964
AT ITER 1334 NEW BEST:: SOT 33601 SOS 6899 HAS SOPS 6899 HAS SOUS 6426 HAS SOUPS 6426 WITH SCORE 6432.899
AT ITER 1337 NEW BEST:: SOT 33598 SOS 6906 HAS SOPS 6906 HAS SOUS 6423 HAS SOUPS 6423 WITH SCORE 6429.906
AT ITER 1339 NEW BEST:: SOT 33555 SOS 6820 HAS SOPS 6820 HAS SOUS 6355 HAS SOUPS 6355 WITH SCORE 6361.82
AT ITER 1351 NEW BEST:: SOT 33522 SOS 6754 HAS SOPS 6754 HAS SOUS 6311 HAS SOUPS 6311 WITH SCORE 6317.754
AT ITER 1353 NEW BEST:: SOT 33516 SOS 6742 HAS SOPS 6742 HAS SOUS 6305 HAS SOUPS 6305 WITH SCORE 6311.742
AT ITER 1360 NEW BEST:: SOT 33495 SOS 6700 HAS SOPS 6700 HAS SOUS 6263 HAS SOUPS 6263 WITH SCORE 6269.7
AT ITER 1365 NEW BEST:: SOT 33489 SOS 6688 HAS SOPS 6688 HAS SOUS 6255 HAS SOUPS 6255 WITH SCORE 6261.688
AT ITER 1371 NEW BEST:: SOT 33438 SOS 6612 HAS SOPS 6612 HAS SOUS 6179 HAS SOUPS 6179 WITH SCORE 6185.612
AT ITER 1386 NEW BEST:: SOT 33436 SOS 6579 HAS SOPS 6579 HAS SOUS 6177 HAS SOUPS 6177 WITH SCORE 6183.579
AT ITER 1388 NEW BEST:: SOT 33439 SOS 6535 HAS SOPS 6535 HAS SOUS 6137 HAS SOUPS 6137 WITH SCORE 6143.535
AT ITER 1393 NEW BEST:: SOT 33437 SOS 6531 HAS SOPS 6531 HAS SOUS 6133 HAS SOUPS 6133 WITH SCORE 6139.531
AT ITER 1400 NEW BEST:: SOT 33415 SOS 6487 HAS SOPS 6487 HAS SOUS 6089 HAS SOUPS 6089 WITH SCORE 6095.487
AT ITER 1406 NEW BEST:: SOT 33405 SOS 6467 HAS SOPS 6467 HAS SOUS 6079 HAS SOUPS 6079 WITH SCORE 6085.467
AT ITER 1407 NEW BEST:: SOT 33382 SOS 6421 HAS SOPS 6421 HAS SOUS 6033 HAS SOUPS 6033 WITH SCORE 6039.421
AT ITER 1418 NEW BEST:: SOT 33380 SOS 6419 HAS SOPS 6419 HAS SOUS 6031 HAS SOUPS 6031 WITH SCORE 6037.419
AT ITER 1420 NEW BEST:: SOT 33362 SOS 6392 HAS SOPS 6392 HAS SOUS 6004 HAS SOUPS 6004 WITH SCORE 6010.392
AT ITER 1459 NEW BEST:: SOT 33381 SOS 6384 HAS SOPS 6384 HAS SOUS 5996 HAS SOUPS 5996 WITH SCORE 6002.384
AT ITER 1465 NEW BEST:: SOT 33358 SOS 6338 HAS SOPS 6338 HAS SOUS 5897 HAS SOUPS 5897 WITH SCORE 5903.338
AT ITER 1468 NEW BEST:: SOT 33357 SOS 6322 HAS SOPS 6322 HAS SOUS 5895 HAS SOUPS 5895 WITH SCORE 5901.322
AT ITER 1480 NEW BEST:: SOT 33315 SOS 6157 HAS SOPS 6157 HAS SOUS 5804 HAS SOUPS 5804 WITH SCORE 5810.157
AT ITER 1482 NEW BEST:: SOT 33292 SOS 6133 HAS SOPS 6133 HAS SOUS 5773 HAS SOUPS 5773 WITH SCORE 5779.133
AT ITER 1491 NEW BEST:: SOT 33270 SOS 6129 HAS SOPS 6129 HAS SOUS 5766 HAS SOUPS 5766 WITH SCORE 5772.129
AT ITER 1495 NEW BEST:: SOT 33223 SOS 6101 HAS SOPS 6101 HAS SOUS 5719 HAS SOUPS 5719 WITH SCORE 5725.101
AT ITER 1507 NEW BEST:: SOT 33201 SOS 6057 HAS SOPS 6057 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5686.057
AT ITER 1509 NEW BEST:: SOT 33176 SOS 6007 HAS SOPS 6007 HAS SOUS 5655 HAS SOUPS 5655 WITH SCORE 5661.007
AT ITER 1519 NEW BEST:: SOT 33170 SOS 5995 HAS SOPS 5995 HAS SOUS 5649 HAS SOUPS 5649 WITH SCORE 5654.995
AT ITER 1534 NEW BEST:: SOT 33167 SOS 5992 HAS SOPS 5992 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5651.992
AT ITER 1543 NEW BEST:: SOT 33148 SOS 5954 HAS SOPS 5954 HAS SOUS 5608 HAS SOUPS 5608 WITH SCORE 5613.954
AT ITER 1545 NEW BEST:: SOT 33151 SOS 5953 HAS SOPS 5953 HAS SOUS 5607 HAS SOUPS 5607 WITH SCORE 5612.953
AT ITER 1569 NEW BEST:: SOT 33150 SOS 5951 HAS SOPS 5951 HAS SOUS 5605 HAS SOUPS 5605 WITH SCORE 5610.951
AT ITER 1571 NEW BEST:: SOT 33134 SOS 5919 HAS SOPS 5919 HAS SOUS 5573 HAS SOUPS 5573 WITH SCORE 5578.919
AT ITER 1575 NEW BEST:: SOT 33134 SOS 5919 HAS SOPS 5919 HAS SOUS 5559 HAS SOUPS 5559 WITH SCORE 5564.919
AT ITER 1596 NEW BEST:: SOT 33126 SOS 5866 HAS SOPS 5866 HAS SOUS 5521 HAS SOUPS 5521 WITH SCORE 5526.866
AT ITER 1605 NEW BEST:: SOT 33137 SOS 5888 HAS SOPS 5888 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5517.888
AT ITER 1614 NEW BEST:: SOT 33118 SOS 5850 HAS SOPS 5850 HAS SOUS 5493 HAS SOUPS 5493 WITH SCORE 5498.85
AT ITER 1630 NEW BEST:: SOT 33108 SOS 5830 HAS SOPS 5830 HAS SOUS 5483 HAS SOUPS 5483 WITH SCORE 5488.83
AT ITER 1650 NEW BEST:: SOT 33096 SOS 5806 HAS SOPS 5806 HAS SOUS 5459 HAS SOUPS 5459 WITH SCORE 5464.806
AT ITER 1671 NEW BEST:: SOT 33060 SOS 5734 HAS SOPS 5734 HAS SOUS 5373 HAS SOUPS 5373 WITH SCORE 5378.734
AT ITER 1675 NEW BEST:: SOT 33051 SOS 5716 HAS SOPS 5716 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5369.716
AT ITER 1699 NEW BEST:: SOT 33045 SOS 5764 HAS SOPS 5764 HAS SOUS 5358 HAS SOUPS 5358 WITH SCORE 5363.764
AT ITER 1707 NEW BEST:: SOT 33045 SOS 5752 HAS SOPS 5752 HAS SOUS 5346 HAS SOUPS 5346 WITH SCORE 5351.752
AT ITER 1725 NEW BEST:: SOT 33037 SOS 5736 HAS SOPS 5736 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5325.736
AT ITER 1727 NEW BEST:: SOT 33037 SOS 5711 HAS SOPS 5711 HAS SOUS 5301 HAS SOUPS 5301 WITH SCORE 5306.711
AT ITER 1735 NEW BEST:: SOT 33019 SOS 5675 HAS SOPS 5675 HAS SOUS 5243 HAS SOUPS 5243 WITH SCORE 5248.675
AT ITER 1737 NEW BEST:: SOT 33019 SOS 5673 HAS SOPS 5673 HAS SOUS 5241 HAS SOUPS 5241 WITH SCORE 5246.673
AT ITER 1756 NEW BEST:: SOT 33019 SOS 5670 HAS SOPS 5670 HAS SOUS 5238 HAS SOUPS 5238 WITH SCORE 5243.67
AT ITER 1783 NEW BEST:: SOT 32988 SOS 5608 HAS SOPS 5608 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5181.608
AT ITER 1788 NEW BEST:: SOT 32937 SOS 5557 HAS SOPS 5557 HAS SOUS 5125 HAS SOUPS 5125 WITH SCORE 5130.557
AT ITER 1806 NEW BEST:: SOT 32946 SOS 5546 HAS SOPS 5546 HAS SOUS 5124 HAS SOUPS 5124 WITH SCORE 5129.546
AT ITER 1841 NEW BEST:: SOT 32935 SOS 5524 HAS SOPS 5524 HAS SOUS 5085 HAS SOUPS 5085 WITH SCORE 5090.524
AT ITER 1847 NEW BEST:: SOT 32860 SOS 5513 HAS SOPS 5513 HAS SOUS 5035 HAS SOUPS 5035 WITH SCORE 5040.513
AT ITER 1856 NEW BEST:: SOT 32855 SOS 5503 HAS SOPS 5503 HAS SOUS 5020 HAS SOUPS 5020 WITH SCORE 5025.503
AT ITER 1885 NEW BEST:: SOT 32845 SOS 5499 HAS SOPS 5499 HAS SOUS 5010 HAS SOUPS 5010 WITH SCORE 5015.499
AT ITER 1909 NEW BEST:: SOT 32819 SOS 5447 HAS SOPS 5447 HAS SOUS 4961 HAS SOUPS 4961 WITH SCORE 4966.447
AT ITER 1923 NEW BEST:: SOT 32819 SOS 5447 HAS SOPS 5447 HAS SOUS 4948 HAS SOUPS 4948 WITH SCORE 4953.447
AT ITER 1928 NEW BEST:: SOT 32815 SOS 5439 HAS SOPS 5439 HAS SOUS 4932 HAS SOUPS 4932 WITH SCORE 4937.439
AT ITER 1947 NEW BEST:: SOT 32779 SOS 5420 HAS SOPS 5420 HAS SOUS 4913 HAS SOUPS 4913 WITH SCORE 4918.42
AT ITER 2006 NEW BEST:: SOT 32760 SOS 5382 HAS SOPS 5382 HAS SOUS 4875 HAS SOUPS 4875 WITH SCORE 4880.382
AT ITER 2010 NEW BEST:: SOT 32746 SOS 5354 HAS SOPS 5354 HAS SOUS 4841 HAS SOUPS 4841 WITH SCORE 4846.354
AT ITER 2037 NEW BEST:: SOT 32737 SOS 5327 HAS SOPS 5327 HAS SOUS 4823 HAS SOUPS 4823 WITH SCORE 4828.327
AT ITER 2048 NEW BEST:: SOT 32733 SOS 5367 HAS SOPS 5367 HAS SOUS 4819 HAS SOUPS 4819 WITH SCORE 4824.367
AT ITER 2061 NEW BEST:: SOT 32733 SOS 5367 HAS SOPS 5367 HAS SOUS 4815 HAS SOUPS 4815 WITH SCORE 4820.367
AT ITER 2065 NEW BEST:: SOT 32735 SOS 5343 HAS SOPS 5343 HAS SOUS 4805 HAS SOUPS 4805 WITH SCORE 4810.343
AT ITER 2068 NEW BEST:: SOT 32719 SOS 5374 HAS SOPS 5374 HAS SOUS 4789 HAS SOUPS 4789 WITH SCORE 4794.374
AT ITER 2073 NEW BEST:: SOT 32714 SOS 5364 HAS SOPS 5364 HAS SOUS 4780 HAS SOUPS 4780 WITH SCORE 4785.364
AT ITER 2076 NEW BEST:: SOT 32711 SOS 5358 HAS SOPS 5358 HAS SOUS 4774 HAS SOUPS 4774 WITH SCORE 4779.358
AT ITER 2114 NEW BEST:: SOT 32678 SOS 5292 HAS SOPS 5292 HAS SOUS 4689 HAS SOUPS 4689 WITH SCORE 4694.292
AT ITER 2118 NEW BEST:: SOT 32678 SOS 5272 HAS SOPS 5272 HAS SOUS 4669 HAS SOUPS 4669 WITH SCORE 4674.272
AT ITER 2122 NEW BEST:: SOT 32678 SOS 5257 HAS SOPS 5257 HAS SOUS 4654 HAS SOUPS 4654 WITH SCORE 4659.257
AT ITER 2125 NEW BEST:: SOT 32664 SOS 5229 HAS SOPS 5229 HAS SOUS 4626 HAS SOUPS 4626 WITH SCORE 4631.229
AT ITER 2130 NEW BEST:: SOT 32663 SOS 5211 HAS SOPS 5211 HAS SOUS 4625 HAS SOUPS 4625 WITH SCORE 4630.211
AT ITER 2134 NEW BEST:: SOT 32670 SOS 5203 HAS SOPS 5203 HAS SOUS 4617 HAS SOUPS 4617 WITH SCORE 4622.203
AT ITER 2138 NEW BEST:: SOT 32657 SOS 5177 HAS SOPS 5177 HAS SOUS 4591 HAS SOUPS 4591 WITH SCORE 4596.177
AT ITER 2145 NEW BEST:: SOT 32640 SOS 5120 HAS SOPS 5120 HAS SOUS 4572 HAS SOUPS 4572 WITH SCORE 4577.12
AT ITER 2151 NEW BEST:: SOT 32624 SOS 5072 HAS SOPS 5072 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4545.072
AT ITER 2162 NEW BEST:: SOT 32624 SOS 5064 HAS SOPS 5064 HAS SOUS 4532 HAS SOUPS 4532 WITH SCORE 4537.064
AT ITER 2170 NEW BEST:: SOT 32615 SOS 5073 HAS SOPS 5073 HAS SOUS 4523 HAS SOUPS 4523 WITH SCORE 4528.073
AT ITER 2206 NEW BEST:: SOT 32606 SOS 5093 HAS SOPS 5093 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4517.093
AT ITER 2228 NEW BEST:: SOT 32584 SOS 5049 HAS SOPS 5049 HAS SOUS 4478 HAS SOUPS 4478 WITH SCORE 4483.049
AT ITER 2232 NEW BEST:: SOT 32581 SOS 5043 HAS SOPS 5043 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4479.043
AT ITER 2237 NEW BEST:: SOT 32580 SOS 5040 HAS SOPS 5040 HAS SOUS 4472 HAS SOUPS 4472 WITH SCORE 4477.04
AT ITER 2242 NEW BEST:: SOT 32580 SOS 5030 HAS SOPS 5030 HAS SOUS 4469 HAS SOUPS 4469 WITH SCORE 4474.03
AT ITER 2258 NEW BEST:: SOT 32579 SOS 5028 HAS SOPS 5028 HAS SOUS 4468 HAS SOUPS 4468 WITH SCORE 4473.028
AT ITER 2285 NEW BEST:: SOT 32560 SOS 4990 HAS SOPS 4990 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4434.99
AT ITER 2330 NEW BEST:: SOT 32556 SOS 4978 HAS SOPS 4978 HAS SOUS 4422 HAS SOUPS 4422 WITH SCORE 4426.978
AT ITER 2337 NEW BEST:: SOT 32538 SOS 4972 HAS SOPS 4972 HAS SOUS 4403 HAS SOUPS 4403 WITH SCORE 4407.972
AT ITER 2341 NEW BEST:: SOT 32541 SOS 4978 HAS SOPS 4978 HAS SOUS 4402 HAS SOUPS 4402 WITH SCORE 4406.978
AT ITER 2343 NEW BEST:: SOT 32544 SOS 4984 HAS SOPS 4984 HAS SOUS 4386 HAS SOUPS 4386 WITH SCORE 4390.984
AT ITER 2356 NEW BEST:: SOT 32523 SOS 4942 HAS SOPS 4942 HAS SOUS 4344 HAS SOUPS 4344 WITH SCORE 4348.942
AT ITER 2380 NEW BEST:: SOT 32509 SOS 4890 HAS SOPS 4890 HAS SOUS 4329 HAS SOUPS 4329 WITH SCORE 4333.89
AT ITER 2389 NEW BEST:: SOT 32493 SOS 4858 HAS SOPS 4858 HAS SOUS 4312 HAS SOUPS 4312 WITH SCORE 4316.858
AT ITER 2391 NEW BEST:: SOT 32479 SOS 4830 HAS SOPS 4830 HAS SOUS 4284 HAS SOUPS 4284 WITH SCORE 4288.83
AT ITER 2395 NEW BEST:: SOT 32470 SOS 4812 HAS SOPS 4812 HAS SOUS 4275 HAS SOUPS 4275 WITH SCORE 4279.812
AT ITER 2397 NEW BEST:: SOT 32470 SOS 4798 HAS SOPS 4798 HAS SOUS 4275 HAS SOUPS 4275 WITH SCORE 4279.798
AT ITER 2426 NEW BEST:: SOT 32468 SOS 4794 HAS SOPS 4794 HAS SOUS 4263 HAS SOUPS 4263 WITH SCORE 4267.794
AT ITER 2481 NEW BEST:: SOT 32454 SOS 4752 HAS SOPS 4752 HAS SOUS 4235 HAS SOUPS 4235 WITH SCORE 4239.752
AT ITER 2487 NEW BEST:: SOT 32428 SOS 4725 HAS SOPS 4725 HAS SOUS 4208 HAS SOUPS 4208 WITH SCORE 4212.725
AT ITER 2504 NEW BEST:: SOT 32428 SOS 4715 HAS SOPS 4715 HAS SOUS 4198 HAS SOUPS 4198 WITH SCORE 4202.715
AT ITER 2514 NEW BEST:: SOT 32423 SOS 4710 HAS SOPS 4710 HAS SOUS 4193 HAS SOUPS 4193 WITH SCORE 4197.71
AT ITER 2546 NEW BEST:: SOT 32418 SOS 4700 HAS SOPS 4700 HAS SOUS 4191 HAS SOUPS 4191 WITH SCORE 4195.7
AT ITER 2554 NEW BEST:: SOT 32395 SOS 4654 HAS SOPS 4654 HAS SOUS 4185 HAS SOUPS 4185 WITH SCORE 4189.654
AT ITER 2567 NEW BEST:: SOT 32393 SOS 4652 HAS SOPS 4652 HAS SOUS 4183 HAS SOUPS 4183 WITH SCORE 4187.652
AT ITER 2587 NEW BEST:: SOT 32387 SOS 4640 HAS SOPS 4640 HAS SOUS 4153 HAS SOUPS 4153 WITH SCORE 4157.64
AT ITER 2624 NEW BEST:: SOT 32373 SOS 4654 HAS SOPS 4654 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4150.654
AT ITER 2637 NEW BEST:: SOT 32373 SOS 4654 HAS SOPS 4654 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4126.654
AT ITER 2701 NEW BEST:: SOT 32386 SOS 4617 HAS SOPS 4617 HAS SOUS 4106 HAS SOUPS 4106 WITH SCORE 4110.617
AT ITER 2729 NEW BEST:: SOT 32377 SOS 4588 HAS SOPS 4588 HAS SOUS 4088 HAS SOUPS 4088 WITH SCORE 4092.588
AT ITER 2736 NEW BEST:: SOT 32366 SOS 4537 HAS SOPS 4537 HAS SOUS 4077 HAS SOUPS 4077 WITH SCORE 4081.537
AT ITER 2739 NEW BEST:: SOT 32345 SOS 4474 HAS SOPS 4474 HAS SOUS 4035 HAS SOUPS 4035 WITH SCORE 4039.474
AT ITER 2751 NEW BEST:: SOT 32342 SOS 4468 HAS SOPS 4468 HAS SOUS 4029 HAS SOUPS 4029 WITH SCORE 4033.468
AT ITER 2754 NEW BEST:: SOT 32340 SOS 4459 HAS SOPS 4459 HAS SOUS 4027 HAS SOUPS 4027 WITH SCORE 4031.459
AT ITER 2762 NEW BEST:: SOT 32315 SOS 4409 HAS SOPS 4409 HAS SOUS 3993 HAS SOUPS 3993 WITH SCORE 3997.409
AT ITER 2770 NEW BEST:: SOT 32314 SOS 4386 HAS SOPS 4386 HAS SOUS 3992 HAS SOUPS 3992 WITH SCORE 3996.386
AT ITER 2771 NEW BEST:: SOT 32310 SOS 4378 HAS SOPS 4378 HAS SOUS 3984 HAS SOUPS 3984 WITH SCORE 3988.378
AT ITER 2772 NEW BEST:: SOT 32294 SOS 4362 HAS SOPS 4362 HAS SOUS 3962 HAS SOUPS 3962 WITH SCORE 3966.362
AT ITER 2814 NEW BEST:: SOT 32279 SOS 4302 HAS SOPS 4302 HAS SOUS 3932 HAS SOUPS 3932 WITH SCORE 3936.302
AT ITER 2833 NEW BEST:: SOT 32273 SOS 4296 HAS SOPS 4296 HAS SOUS 3926 HAS SOUPS 3926 WITH SCORE 3930.296
AT ITER 2853 NEW BEST:: SOT 32274 SOS 4288 HAS SOPS 4288 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3922.288
AT ITER 2896 NEW BEST:: SOT 32259 SOS 4258 HAS SOPS 4258 HAS SOUS 3902 HAS SOUPS 3902 WITH SCORE 3906.258
AT ITER 2917 NEW BEST:: SOT 32266 SOS 4250 HAS SOPS 4250 HAS SOUS 3894 HAS SOUPS 3894 WITH SCORE 3898.25
AT ITER 2927 NEW BEST:: SOT 32269 SOS 4256 HAS SOPS 4256 HAS SOUS 3892 HAS SOUPS 3892 WITH SCORE 3896.256
AT ITER 2940 NEW BEST:: SOT 32269 SOS 4245 HAS SOPS 4245 HAS SOUS 3890 HAS SOUPS 3890 WITH SCORE 3894.245
AT ITER 2941 NEW BEST:: SOT 32245 SOS 4197 HAS SOPS 4197 HAS SOUS 3842 HAS SOUPS 3842 WITH SCORE 3846.197
AT ITER 2967 NEW BEST:: SOT 32227 SOS 4161 HAS SOPS 4161 HAS SOUS 3777 HAS SOUPS 3777 WITH SCORE 3781.161
AT ITER 2968 NEW BEST:: SOT 32227 SOS 4156 HAS SOPS 4156 HAS SOUS 3777 HAS SOUPS 3777 WITH SCORE 3781.156
AT ITER 2971 NEW BEST:: SOT 32217 SOS 4136 HAS SOPS 4136 HAS SOUS 3757 HAS SOUPS 3757 WITH SCORE 3761.136
AT ITER 2979 NEW BEST:: SOT 32200 SOS 4119 HAS SOPS 4119 HAS SOUS 3740 HAS SOUPS 3740 WITH SCORE 3744.119
AT ITER 2980 NEW BEST:: SOT 32200 SOS 4117 HAS SOPS 4117 HAS SOUS 3740 HAS SOUPS 3740 WITH SCORE 3744.117
AT ITER 2992 NEW BEST:: SOT 32198 SOS 4113 HAS SOPS 4113 HAS SOUS 3736 HAS SOUPS 3736 WITH SCORE 3740.113
AT ITER 3010 NEW BEST:: SOT 32198 SOS 4113 HAS SOPS 4113 HAS SOUS 3735 HAS SOUPS 3735 WITH SCORE 3739.113
AT ITER 3012 NEW BEST:: SOT 32194 SOS 4056 HAS SOPS 4056 HAS SOUS 3690 HAS SOUPS 3690 WITH SCORE 3694.056
AT ITER 3034 NEW BEST:: SOT 32193 SOS 4055 HAS SOPS 4055 HAS SOUS 3688 HAS SOUPS 3688 WITH SCORE 3692.055
AT ITER 3035 NEW BEST:: SOT 32190 SOS 4058 HAS SOPS 4058 HAS SOUS 3685 HAS SOUPS 3685 WITH SCORE 3689.058
AT ITER 3083 NEW BEST:: SOT 32185 SOS 4048 HAS SOPS 4048 HAS SOUS 3675 HAS SOUPS 3675 WITH SCORE 3679.048
AT ITER 3099 NEW BEST:: SOT 32182 SOS 4097 HAS SOPS 4097 HAS SOUS 3672 HAS SOUPS 3672 WITH SCORE 3676.097
AT ITER 3103 NEW BEST:: SOT 32149 SOS 4076 HAS SOPS 4076 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3642.076
AT ITER 3127 NEW BEST:: SOT 32148 SOS 4066 HAS SOPS 4066 HAS SOUS 3636 HAS SOUPS 3636 WITH SCORE 3640.066
AT ITER 3160 NEW BEST:: SOT 32148 SOS 4063 HAS SOPS 4063 HAS SOUS 3633 HAS SOUPS 3633 WITH SCORE 3637.063
AT ITER 3165 NEW BEST:: SOT 32135 SOS 4037 HAS SOPS 4037 HAS SOUS 3620 HAS SOUPS 3620 WITH SCORE 3624.037
AT ITER 3198 NEW BEST:: SOT 32135 SOS 4037 HAS SOPS 4037 HAS SOUS 3618 HAS SOUPS 3618 WITH SCORE 3622.037
AT ITER 3211 NEW BEST:: SOT 32119 SOS 4005 HAS SOPS 4005 HAS SOUS 3586 HAS SOUPS 3586 WITH SCORE 3590.005
AT ITER 3215 NEW BEST:: SOT 32107 SOS 3981 HAS SOPS 3981 HAS SOUS 3562 HAS SOUPS 3562 WITH SCORE 3565.981
AT ITER 3216 NEW BEST:: SOT 32107 SOS 3936 HAS SOPS 3936 HAS SOUS 3518 HAS SOUPS 3518 WITH SCORE 3521.936
AT ITER 3226 NEW BEST:: SOT 32111 SOS 3917 HAS SOPS 3917 HAS SOUS 3504 HAS SOUPS 3504 WITH SCORE 3507.917
AT ITER 3242 NEW BEST:: SOT 32111 SOS 3917 HAS SOPS 3917 HAS SOUS 3497 HAS SOUPS 3497 WITH SCORE 3500.917
AT ITER 3270 NEW BEST:: SOT 32094 SOS 3892 HAS SOPS 3892 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3475.892
AT ITER 3280 NEW BEST:: SOT 32095 SOS 3894 HAS SOPS 3894 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3466.894
AT ITER 3313 NEW BEST:: SOT 32081 SOS 3879 HAS SOPS 3879 HAS SOUS 3448 HAS SOUPS 3448 WITH SCORE 3451.879
AT ITER 3330 NEW BEST:: SOT 32082 SOS 3854 HAS SOPS 3854 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3442.854
AT ITER 3338 NEW BEST:: SOT 32064 SOS 3818 HAS SOPS 3818 HAS SOUS 3403 HAS SOUPS 3403 WITH SCORE 3406.818
AT ITER 3351 NEW BEST:: SOT 32062 SOS 3828 HAS SOPS 3828 HAS SOUS 3401 HAS SOUPS 3401 WITH SCORE 3404.828
AT ITER 3352 NEW BEST:: SOT 32060 SOS 3828 HAS SOPS 3828 HAS SOUS 3400 HAS SOUPS 3400 WITH SCORE 3403.828
AT ITER 3356 NEW BEST:: SOT 32059 SOS 3826 HAS SOPS 3826 HAS SOUS 3399 HAS SOUPS 3399 WITH SCORE 3402.826
AT ITER 3359 NEW BEST:: SOT 32058 SOS 3845 HAS SOPS 3845 HAS SOUS 3398 HAS SOUPS 3398 WITH SCORE 3401.845
AT ITER 3403 NEW BEST:: SOT 32058 SOS 3830 HAS SOPS 3830 HAS SOUS 3398 HAS SOUPS 3398 WITH SCORE 3401.83
AT ITER 3405 NEW BEST:: SOT 32049 SOS 3823 HAS SOPS 3823 HAS SOUS 3391 HAS SOUPS 3391 WITH SCORE 3394.823
AT ITER 3418 NEW BEST:: SOT 32015 SOS 3719 HAS SOPS 3719 HAS SOUS 3323 HAS SOUPS 3323 WITH SCORE 3326.719
AT ITER 3442 NEW BEST:: SOT 32015 SOS 3711 HAS SOPS 3711 HAS SOUS 3323 HAS SOUPS 3323 WITH SCORE 3326.711
AT ITER 3478 NEW BEST:: SOT 32014 SOS 3709 HAS SOPS 3709 HAS SOUS 3321 HAS SOUPS 3321 WITH SCORE 3324.709
AT ITER 3546 NEW BEST:: SOT 31988 SOS 3631 HAS SOPS 3631 HAS SOUS 3269 HAS SOUPS 3269 WITH SCORE 3272.631
AT ITER 3565 NEW BEST:: SOT 31988 SOS 3628 HAS SOPS 3628 HAS SOUS 3269 HAS SOUPS 3269 WITH SCORE 3272.628
AT ITER 3569 NEW BEST:: SOT 31988 SOS 3615 HAS SOPS 3615 HAS SOUS 3269 HAS SOUPS 3269 WITH SCORE 3272.615
AT ITER 3585 NEW BEST:: SOT 31985 SOS 3606 HAS SOPS 3606 HAS SOUS 3263 HAS SOUPS 3263 WITH SCORE 3266.606
AT ITER 3590 NEW BEST:: SOT 31982 SOS 3603 HAS SOPS 3603 HAS SOUS 3257 HAS SOUPS 3257 WITH SCORE 3260.603
AT ITER 3593 NEW BEST:: SOT 31973 SOS 3576 HAS SOPS 3576 HAS SOUS 3239 HAS SOUPS 3239 WITH SCORE 3242.576
AT ITER 3605 NEW BEST:: SOT 31965 SOS 3592 HAS SOPS 3592 HAS SOUS 3236 HAS SOUPS 3236 WITH SCORE 3239.592
AT ITER 3643 NEW BEST:: SOT 31959 SOS 3580 HAS SOPS 3580 HAS SOUS 3230 HAS SOUPS 3230 WITH SCORE 3233.58
AT ITER 3674 NEW BEST:: SOT 31957 SOS 3576 HAS SOPS 3576 HAS SOUS 3226 HAS SOUPS 3226 WITH SCORE 3229.576
AT ITER 3691 NEW BEST:: SOT 31945 SOS 3552 HAS SOPS 3552 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3203.552
AT ITER 3719 NEW BEST:: SOT 31945 SOS 3539 HAS SOPS 3539 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3203.539
AT ITER 3738 NEW BEST:: SOT 31945 SOS 3507 HAS SOPS 3507 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3203.507
AT ITER 3744 NEW BEST:: SOT 31956 SOS 3490 HAS SOPS 3490 HAS SOUS 3196 HAS SOUPS 3196 WITH SCORE 3199.49
AT ITER 3749 NEW BEST:: SOT 31958 SOS 3494 HAS SOPS 3494 HAS SOUS 3191 HAS SOUPS 3191 WITH SCORE 3194.494
AT ITER 3764 NEW BEST:: SOT 31957 SOS 3492 HAS SOPS 3492 HAS SOUS 3189 HAS SOUPS 3189 WITH SCORE 3192.492
AT ITER 3779 NEW BEST:: SOT 31957 SOS 3486 HAS SOPS 3486 HAS SOUS 3183 HAS SOUPS 3183 WITH SCORE 3186.486
AT ITER 3794 NEW BEST:: SOT 31956 SOS 3484 HAS SOPS 3484 HAS SOUS 3169 HAS SOUPS 3169 WITH SCORE 3172.484
AT ITER 3801 NEW BEST:: SOT 31947 SOS 3503 HAS SOPS 3503 HAS SOUS 3159 HAS SOUPS 3159 WITH SCORE 3162.503
AT ITER 3820 NEW BEST:: SOT 31943 SOS 3495 HAS SOPS 3495 HAS SOUS 3141 HAS SOUPS 3141 WITH SCORE 3144.495
AT ITER 3829 NEW BEST:: SOT 31941 SOS 3491 HAS SOPS 3491 HAS SOUS 3137 HAS SOUPS 3137 WITH SCORE 3140.491
AT ITER 3840 NEW BEST:: SOT 31925 SOS 3459 HAS SOPS 3459 HAS SOUS 3107 HAS SOUPS 3107 WITH SCORE 3110.459
AT ITER 3841 NEW BEST:: SOT 31925 SOS 3451 HAS SOPS 3451 HAS SOUS 3107 HAS SOUPS 3107 WITH SCORE 3110.451
AT ITER 3844 NEW BEST:: SOT 31913 SOS 3444 HAS SOPS 3444 HAS SOUS 3098 HAS SOUPS 3098 WITH SCORE 3101.444
AT ITER 3864 NEW BEST:: SOT 31878 SOS 3422 HAS SOPS 3422 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3077.422
AT ITER 3928 NEW BEST:: SOT 31880 SOS 3413 HAS SOPS 3413 HAS SOUS 3065 HAS SOUPS 3065 WITH SCORE 3068.413
AT ITER 3989 NEW BEST:: SOT 31873 SOS 3407 HAS SOPS 3407 HAS SOUS 3051 HAS SOUPS 3051 WITH SCORE 3054.407
AT ITER 3991 NEW BEST:: SOT 31874 SOS 3409 HAS SOPS 3409 HAS SOUS 3048 HAS SOUPS 3048 WITH SCORE 3051.409
AT ITER 3998 NEW BEST:: SOT 31870 SOS 3405 HAS SOPS 3405 HAS SOUS 3044 HAS SOUPS 3044 WITH SCORE 3047.405
AT ITER 4002 NEW BEST:: SOT 31871 SOS 3407 HAS SOPS 3407 HAS SOUS 3039 HAS SOUPS 3039 WITH SCORE 3042.407
AT ITER 4012 NEW BEST:: SOT 31870 SOS 3405 HAS SOPS 3405 HAS SOUS 3037 HAS SOUPS 3037 WITH SCORE 3040.405
AT ITER 4024 NEW BEST:: SOT 31870 SOS 3401 HAS SOPS 3401 HAS SOUS 3037 HAS SOUPS 3037 WITH SCORE 3040.401
AT ITER 4047 NEW BEST:: SOT 31870 SOS 3401 HAS SOPS 3401 HAS SOUS 3036 HAS SOUPS 3036 WITH SCORE 3039.401
AT ITER 4070 NEW BEST:: SOT 31870 SOS 3401 HAS SOPS 3401 HAS SOUS 3029 HAS SOUPS 3029 WITH SCORE 3032.401
AT ITER 4075 NEW BEST:: SOT 31869 SOS 3400 HAS SOPS 3400 HAS SOUS 3028 HAS SOUPS 3028 WITH SCORE 3031.4
AT ITER 4087 NEW BEST:: SOT 31863 SOS 3344 HAS SOPS 3344 HAS SOUS 3023 HAS SOUPS 3023 WITH SCORE 3026.344
AT ITER 4126 NEW BEST:: SOT 31862 SOS 3342 HAS SOPS 3342 HAS SOUS 3021 HAS SOUPS 3021 WITH SCORE 3024.342
AT ITER 4147 NEW BEST:: SOT 31861 SOS 3340 HAS SOPS 3340 HAS SOUS 3020 HAS SOUPS 3020 WITH SCORE 3023.34
AT ITER 4201 NEW BEST:: SOT 31855 SOS 3322 HAS SOPS 3322 HAS SOUS 3008 HAS SOUPS 3008 WITH SCORE 3011.322
AT ITER 4205 NEW BEST:: SOT 31841 SOS 3306 HAS SOPS 3306 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2995.306
AT ITER 4215 NEW BEST:: SOT 31841 SOS 3288 HAS SOPS 3288 HAS SOUS 2976 HAS SOUPS 2976 WITH SCORE 2979.288
AT ITER 4252 NEW BEST:: SOT 31840 SOS 3287 HAS SOPS 3287 HAS SOUS 2975 HAS SOUPS 2975 WITH SCORE 2978.287
AT ITER 4271 NEW BEST:: SOT 31812 SOS 3245 HAS SOPS 3245 HAS SOUS 2933 HAS SOUPS 2933 WITH SCORE 2936.245
AT ITER 4325 NEW BEST:: SOT 31806 SOS 3233 HAS SOPS 3233 HAS SOUS 2921 HAS SOUPS 2921 WITH SCORE 2924.233
AT ITER 4355 NEW BEST:: SOT 31798 SOS 3217 HAS SOPS 3217 HAS SOUS 2905 HAS SOUPS 2905 WITH SCORE 2908.217
AT ITER 4404 NEW BEST:: SOT 31799 SOS 3246 HAS SOPS 3246 HAS SOUS 2902 HAS SOUPS 2902 WITH SCORE 2905.246
AT ITER 4440 NEW BEST:: SOT 31751 SOS 3235 HAS SOPS 3235 HAS SOUS 2859 HAS SOUPS 2859 WITH SCORE 2862.235
AT ITER 4448 NEW BEST:: SOT 31745 SOS 3200 HAS SOPS 3200 HAS SOUS 2847 HAS SOUPS 2847 WITH SCORE 2850.2
AT ITER 4475 NEW BEST:: SOT 31748 SOS 3206 HAS SOPS 3206 HAS SOUS 2846 HAS SOUPS 2846 WITH SCORE 2849.206
AT ITER 4499 NEW BEST:: SOT 31727 SOS 3164 HAS SOPS 3164 HAS SOUS 2804 HAS SOUPS 2804 WITH SCORE 2807.164
AT ITER 4510 NEW BEST:: SOT 31725 SOS 3160 HAS SOPS 3160 HAS SOUS 2800 HAS SOUPS 2800 WITH SCORE 2803.16
AT ITER 4524 NEW BEST:: SOT 31726 SOS 3159 HAS SOPS 3159 HAS SOUS 2799 HAS SOUPS 2799 WITH SCORE 2802.159
AT ITER 4553 NEW BEST:: SOT 31723 SOS 3153 HAS SOPS 3153 HAS SOUS 2794 HAS SOUPS 2794 WITH SCORE 2797.153
AT ITER 4591 NEW BEST:: SOT 31720 SOS 3147 HAS SOPS 3147 HAS SOUS 2788 HAS SOUPS 2788 WITH SCORE 2791.147
AT ITER 4592 NEW BEST:: SOT 31707 SOS 3121 HAS SOPS 3121 HAS SOUS 2775 HAS SOUPS 2775 WITH SCORE 2778.121
AT ITER 4607 NEW BEST:: SOT 31691 SOS 3089 HAS SOPS 3089 HAS SOUS 2743 HAS SOUPS 2743 WITH SCORE 2746.089
AT ITER 4647 NEW BEST:: SOT 31688 SOS 3075 HAS SOPS 3075 HAS SOUS 2732 HAS SOUPS 2732 WITH SCORE 2735.075
AT ITER 4657 NEW BEST:: SOT 31685 SOS 3069 HAS SOPS 3069 HAS SOUS 2728 HAS SOUPS 2728 WITH SCORE 2731.069
AT ITER 4666 NEW BEST:: SOT 31683 SOS 3082 HAS SOPS 3082 HAS SOUS 2726 HAS SOUPS 2726 WITH SCORE 2729.082
AT ITER 4676 NEW BEST:: SOT 31678 SOS 3072 HAS SOPS 3072 HAS SOUS 2716 HAS SOUPS 2716 WITH SCORE 2719.072
AT ITER 4681 NEW BEST:: SOT 31667 SOS 3061 HAS SOPS 3061 HAS SOUS 2705 HAS SOUPS 2705 WITH SCORE 2708.061
AT ITER 4718 NEW BEST:: SOT 31655 SOS 3047 HAS SOPS 3047 HAS SOUS 2690 HAS SOUPS 2690 WITH SCORE 2693.047
AT ITER 4762 NEW BEST:: SOT 31651 SOS 3051 HAS SOPS 3051 HAS SOUS 2684 HAS SOUPS 2684 WITH SCORE 2687.051
AT ITER 4775 NEW BEST:: SOT 31639 SOS 3027 HAS SOPS 3027 HAS SOUS 2672 HAS SOUPS 2672 WITH SCORE 2675.027
AT ITER 4784 NEW BEST:: SOT 31639 SOS 3027 HAS SOPS 3027 HAS SOUS 2670 HAS SOUPS 2670 WITH SCORE 2673.027
AT ITER 4805 NEW BEST:: SOT 31629 SOS 3007 HAS SOPS 3007 HAS SOUS 2650 HAS SOUPS 2650 WITH SCORE 2653.007
AT ITER 4816 NEW BEST:: SOT 31617 SOS 2983 HAS SOPS 2983 HAS SOUS 2631 HAS SOUPS 2631 WITH SCORE 2633.983
AT ITER 4823 NEW BEST:: SOT 31613 SOS 2975 HAS SOPS 2975 HAS SOUS 2626 HAS SOUPS 2626 WITH SCORE 2628.975
AT ITER 4830 NEW BEST:: SOT 31603 SOS 2955 HAS SOPS 2955 HAS SOUS 2612 HAS SOUPS 2612 WITH SCORE 2614.955
AT ITER 4887 NEW BEST:: SOT 31599 SOS 2947 HAS SOPS 2947 HAS SOUS 2608 HAS SOUPS 2608 WITH SCORE 2610.947
AT ITER 4936 NEW BEST:: SOT 31584 SOS 2917 HAS SOPS 2917 HAS SOUS 2595 HAS SOUPS 2595 WITH SCORE 2597.917
AT ITER 4970 NEW BEST:: SOT 31580 SOS 2909 HAS SOPS 2909 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2593.909
AT ITER 4999 NEW BEST:: SOT 31579 SOS 2907 HAS SOPS 2907 HAS SOUS 2589 HAS SOUPS 2589 WITH SCORE 2591.907
AT ITER 5069 NEW BEST:: SOT 31576 SOS 2901 HAS SOPS 2901 HAS SOUS 2583 HAS SOUPS 2583 WITH SCORE 2585.901
AT ITER 5075 NEW BEST:: SOT 31572 SOS 2893 HAS SOPS 2893 HAS SOUS 2575 HAS SOUPS 2575 WITH SCORE 2577.893
AT ITER 5113 NEW BEST:: SOT 31572 SOS 2893 HAS SOPS 2893 HAS SOUS 2564 HAS SOUPS 2564 WITH SCORE 2566.893
AT ITER 5117 NEW BEST:: SOT 31570 SOS 2913 HAS SOPS 2913 HAS SOUS 2562 HAS SOUPS 2562 WITH SCORE 2564.913
AT ITER 5282 NEW BEST:: SOT 31568 SOS 2909 HAS SOPS 2909 HAS SOUS 2558 HAS SOUPS 2558 WITH SCORE 2560.909
AT ITER 5313 NEW BEST:: SOT 31563 SOS 2904 HAS SOPS 2904 HAS SOUS 2553 HAS SOUPS 2553 WITH SCORE 2555.904
AT ITER 5352 NEW BEST:: SOT 31563 SOS 2898 HAS SOPS 2898 HAS SOUS 2547 HAS SOUPS 2547 WITH SCORE 2549.898
AT ITER 5365 NEW BEST:: SOT 31549 SOS 2870 HAS SOPS 2870 HAS SOUS 2522 HAS SOUPS 2522 WITH SCORE 2524.87
AT ITER 5399 NEW BEST:: SOT 31549 SOS 2870 HAS SOPS 2870 HAS SOUS 2521 HAS SOUPS 2521 WITH SCORE 2523.87
AT ITER 5422 NEW BEST:: SOT 31548 SOS 2868 HAS SOPS 2868 HAS SOUS 2516 HAS SOUPS 2516 WITH SCORE 2518.868
AT ITER 5423 NEW BEST:: SOT 31548 SOS 2867 HAS SOPS 2867 HAS SOUS 2516 HAS SOUPS 2516 WITH SCORE 2518.867
AT ITER 5447 NEW BEST:: SOT 31539 SOS 2849 HAS SOPS 2849 HAS SOUS 2498 HAS SOUPS 2498 WITH SCORE 2500.849
AT ITER 5465 NEW BEST:: SOT 31531 SOS 2833 HAS SOPS 2833 HAS SOUS 2482 HAS SOUPS 2482 WITH SCORE 2484.833
AT ITER 5477 NEW BEST:: SOT 31517 SOS 2805 HAS SOPS 2805 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2473.805
AT ITER 5505 NEW BEST:: SOT 31507 SOS 2785 HAS SOPS 2785 HAS SOUS 2451 HAS SOUPS 2451 WITH SCORE 2453.785
AT ITER 5530 NEW BEST:: SOT 31494 SOS 2759 HAS SOPS 2759 HAS SOUS 2425 HAS SOUPS 2425 WITH SCORE 2427.759
AT ITER 5540 NEW BEST:: SOT 31490 SOS 2758 HAS SOPS 2758 HAS SOUS 2424 HAS SOUPS 2424 WITH SCORE 2426.758
AT ITER 5594 NEW BEST:: SOT 31487 SOS 2752 HAS SOPS 2752 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2420.752
AT ITER 5679 NEW BEST:: SOT 31487 SOS 2745 HAS SOPS 2745 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2420.745
AT ITER 5756 NEW BEST:: SOT 31483 SOS 2744 HAS SOPS 2744 HAS SOUS 2417 HAS SOUPS 2417 WITH SCORE 2419.744
AT ITER 5820 NEW BEST:: SOT 31471 SOS 2726 HAS SOPS 2726 HAS SOUS 2399 HAS SOUPS 2399 WITH SCORE 2401.726
AT ITER 5821 NEW BEST:: SOT 31471 SOS 2726 HAS SOPS 2726 HAS SOUS 2397 HAS SOUPS 2397 WITH SCORE 2399.726
AT ITER 5850 NEW BEST:: SOT 31465 SOS 2714 HAS SOPS 2714 HAS SOUS 2385 HAS SOUPS 2385 WITH SCORE 2387.714
AT ITER 5857 NEW BEST:: SOT 31464 SOS 2712 HAS SOPS 2712 HAS SOUS 2383 HAS SOUPS 2383 WITH SCORE 2385.712
AT ITER 5870 NEW BEST:: SOT 31463 SOS 2713 HAS SOPS 2713 HAS SOUS 2382 HAS SOUPS 2382 WITH SCORE 2384.713
AT ITER 5873 NEW BEST:: SOT 31463 SOS 2709 HAS SOPS 2709 HAS SOUS 2382 HAS SOUPS 2382 WITH SCORE 2384.709
AT ITER 5879 NEW BEST:: SOT 31462 SOS 2684 HAS SOPS 2684 HAS SOUS 2379 HAS SOUPS 2379 WITH SCORE 2381.684
AT ITER 6029 NEW BEST:: SOT 31453 SOS 2677 HAS SOPS 2677 HAS SOUS 2361 HAS SOUPS 2361 WITH SCORE 2363.677
AT ITER 6103 NEW BEST:: SOT 31454 SOS 2679 HAS SOPS 2679 HAS SOUS 2355 HAS SOUPS 2355 WITH SCORE 2357.679
AT ITER 6144 NEW BEST:: SOT 31444 SOS 2659 HAS SOPS 2659 HAS SOUS 2345 HAS SOUPS 2345 WITH SCORE 2347.659
AT ITER 6175 NEW BEST:: SOT 31440 SOS 2647 HAS SOPS 2647 HAS SOUS 2337 HAS SOUPS 2337 WITH SCORE 2339.647
AT ITER 6207 NEW BEST:: SOT 31433 SOS 2633 HAS SOPS 2633 HAS SOUS 2330 HAS SOUPS 2330 WITH SCORE 2332.633
AT ITER 6223 NEW BEST:: SOT 31433 SOS 2633 HAS SOPS 2633 HAS SOUS 2317 HAS SOUPS 2317 WITH SCORE 2319.633
AT ITER 6273 NEW BEST:: SOT 31433 SOS 2626 HAS SOPS 2626 HAS SOUS 2317 HAS SOUPS 2317 WITH SCORE 2319.626
AT ITER 6284 NEW BEST:: SOT 31433 SOS 2621 HAS SOPS 2621 HAS SOUS 2316 HAS SOUPS 2316 WITH SCORE 2318.621
AT ITER 6337 NEW BEST:: SOT 31431 SOS 2617 HAS SOPS 2617 HAS SOUS 2312 HAS SOUPS 2312 WITH SCORE 2314.617
AT ITER 6344 NEW BEST:: SOT 31430 SOS 2615 HAS SOPS 2615 HAS SOUS 2311 HAS SOUPS 2311 WITH SCORE 2313.615
AT ITER 6365 NEW BEST:: SOT 31430 SOS 2611 HAS SOPS 2611 HAS SOUS 2307 HAS SOUPS 2307 WITH SCORE 2309.611
AT ITER 6411 NEW BEST:: SOT 31428 SOS 2607 HAS SOPS 2607 HAS SOUS 2304 HAS SOUPS 2304 WITH SCORE 2306.607
AT ITER 6583 NEW BEST:: SOT 31424 SOS 2595 HAS SOPS 2595 HAS SOUS 2296 HAS SOUPS 2296 WITH SCORE 2298.595
AT ITER 6589 NEW BEST:: SOT 31416 SOS 2584 HAS SOPS 2584 HAS SOUS 2285 HAS SOUPS 2285 WITH SCORE 2287.584
AT ITER 6611 NEW BEST:: SOT 31411 SOS 2596 HAS SOPS 2596 HAS SOUS 2284 HAS SOUPS 2284 WITH SCORE 2286.596
AT ITER 6656 NEW BEST:: SOT 31408 SOS 2590 HAS SOPS 2590 HAS SOUS 2275 HAS SOUPS 2275 WITH SCORE 2277.59
AT ITER 6693 NEW BEST:: SOT 31407 SOS 2588 HAS SOPS 2588 HAS SOUS 2273 HAS SOUPS 2273 WITH SCORE 2275.588
AT ITER 6741 NEW BEST:: SOT 31400 SOS 2557 HAS SOPS 2557 HAS SOUS 2249 HAS SOUPS 2249 WITH SCORE 2251.557
AT ITER 6760 NEW BEST:: SOT 31399 SOS 2555 HAS SOPS 2555 HAS SOUS 2247 HAS SOUPS 2247 WITH SCORE 2249.555
AT ITER 6882 NEW BEST:: SOT 31399 SOS 2555 HAS SOPS 2555 HAS SOUS 2242 HAS SOUPS 2242 WITH SCORE 2244.555
AT ITER 6935 NEW BEST:: SOT 31389 SOS 2535 HAS SOPS 2535 HAS SOUS 2232 HAS SOUPS 2232 WITH SCORE 2234.535
AT ITER 6951 NEW BEST:: SOT 31383 SOS 2523 HAS SOPS 2523 HAS SOUS 2220 HAS SOUPS 2220 WITH SCORE 2222.523
AT ITER 6981 NEW BEST:: SOT 31383 SOS 2521 HAS SOPS 2521 HAS SOUS 2220 HAS SOUPS 2220 WITH SCORE 2222.521
AT ITER 7004 NEW BEST:: SOT 31379 SOS 2517 HAS SOPS 2517 HAS SOUS 2216 HAS SOUPS 2216 WITH SCORE 2218.517
AT ITER 7033 NEW BEST:: SOT 31374 SOS 2507 HAS SOPS 2507 HAS SOUS 2211 HAS SOUPS 2211 WITH SCORE 2213.507
AT ITER 7042 NEW BEST:: SOT 31375 SOS 2509 HAS SOPS 2509 HAS SOUS 2207 HAS SOUPS 2207 WITH SCORE 2209.509
AT ITER 7139 NEW BEST:: SOT 31377 SOS 2495 HAS SOPS 2495 HAS SOUS 2202 HAS SOUPS 2202 WITH SCORE 2204.495
AT ITER 7168 NEW BEST:: SOT 31375 SOS 2496 HAS SOPS 2496 HAS SOUS 2200 HAS SOUPS 2200 WITH SCORE 2202.496
AT ITER 7185 NEW BEST:: SOT 31373 SOS 2479 HAS SOPS 2479 HAS SOUS 2196 HAS SOUPS 2196 WITH SCORE 2198.479
AT ITER 7189 NEW BEST:: SOT 31379 SOS 2469 HAS SOPS 2469 HAS SOUS 2186 HAS SOUPS 2186 WITH SCORE 2188.469
AT ITER 7249 NEW BEST:: SOT 31376 SOS 2463 HAS SOPS 2463 HAS SOUS 2180 HAS SOUPS 2180 WITH SCORE 2182.463
AT ITER 7336 NEW BEST:: SOT 31371 SOS 2453 HAS SOPS 2453 HAS SOUS 2170 HAS SOUPS 2170 WITH SCORE 2172.453
AT ITER 7364 NEW BEST:: SOT 31369 SOS 2445 HAS SOPS 2445 HAS SOUS 2168 HAS SOUPS 2168 WITH SCORE 2170.445
AT ITER 7462 NEW BEST:: SOT 31368 SOS 2443 HAS SOPS 2443 HAS SOUS 2167 HAS SOUPS 2167 WITH SCORE 2169.443
AT ITER 7466 NEW BEST:: SOT 31366 SOS 2431 HAS SOPS 2431 HAS SOUS 2166 HAS SOUPS 2166 WITH SCORE 2168.431
AT ITER 7569 NEW BEST:: SOT 31361 SOS 2421 HAS SOPS 2421 HAS SOUS 2157 HAS SOUPS 2157 WITH SCORE 2159.421
AT ITER 7687 NEW BEST:: SOT 31353 SOS 2405 HAS SOPS 2405 HAS SOUS 2141 HAS SOUPS 2141 WITH SCORE 2143.405
AT ITER 7705 NEW BEST:: SOT 31349 SOS 2401 HAS SOPS 2401 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2142.401
AT ITER 7753 NEW BEST:: SOT 31343 SOS 2389 HAS SOPS 2389 HAS SOUS 2131 HAS SOUPS 2131 WITH SCORE 2133.389
AT ITER 7776 NEW BEST:: SOT 31342 SOS 2387 HAS SOPS 2387 HAS SOUS 2131 HAS SOUPS 2131 WITH SCORE 2133.387
AT ITER 7799 NEW BEST:: SOT 31339 SOS 2377 HAS SOPS 2377 HAS SOUS 2125 HAS SOUPS 2125 WITH SCORE 2127.377
AT ITER 7806 NEW BEST:: SOT 31339 SOS 2375 HAS SOPS 2375 HAS SOUS 2125 HAS SOUPS 2125 WITH SCORE 2127.375
AT ITER 7813 NEW BEST:: SOT 31338 SOS 2373 HAS SOPS 2373 HAS SOUS 2124 HAS SOUPS 2124 WITH SCORE 2126.373
AT ITER 7885 NEW BEST:: SOT 31333 SOS 2368 HAS SOPS 2368 HAS SOUS 2119 HAS SOUPS 2119 WITH SCORE 2121.368
AT ITER 8043 NEW BEST:: SOT 31333 SOS 2351 HAS SOPS 2351 HAS SOUS 2119 HAS SOUPS 2119 WITH SCORE 2121.351
AT ITER 8074 NEW BEST:: SOT 31333 SOS 2349 HAS SOPS 2349 HAS SOUS 2119 HAS SOUPS 2119 WITH SCORE 2121.349
AT ITER 8117 NEW BEST:: SOT 31330 SOS 2381 HAS SOPS 2381 HAS SOUS 2116 HAS SOUPS 2116 WITH SCORE 2118.381
AT ITER 8142 NEW BEST:: SOT 31314 SOS 2349 HAS SOPS 2349 HAS SOUS 2096 HAS SOUPS 2096 WITH SCORE 2098.349
AT ITER 8242 NEW BEST:: SOT 31314 SOS 2346 HAS SOPS 2346 HAS SOUS 2093 HAS SOUPS 2093 WITH SCORE 2095.346
AT ITER 8307 NEW BEST:: SOT 31310 SOS 2338 HAS SOPS 2338 HAS SOUS 2070 HAS SOUPS 2070 WITH SCORE 2072.338
AT ITER 8373 NEW BEST:: SOT 31303 SOS 2324 HAS SOPS 2324 HAS SOUS 2063 HAS SOUPS 2063 WITH SCORE 2065.324
AT ITER 8460 NEW BEST:: SOT 31301 SOS 2307 HAS SOPS 2307 HAS SOUS 2054 HAS SOUPS 2054 WITH SCORE 2056.307
AT ITER 8489 NEW BEST:: SOT 31302 SOS 2309 HAS SOPS 2309 HAS SOUS 2052 HAS SOUPS 2052 WITH SCORE 2054.309
AT ITER 8500 NEW BEST:: SOT 31302 SOS 2308 HAS SOPS 2308 HAS SOUS 2051 HAS SOUPS 2051 WITH SCORE 2053.308
AT ITER 8573 NEW BEST:: SOT 31302 SOS 2308 HAS SOPS 2308 HAS SOUS 2048 HAS SOUPS 2048 WITH SCORE 2050.308
AT ITER 8607 NEW BEST:: SOT 31300 SOS 2304 HAS SOPS 2304 HAS SOUS 2044 HAS SOUPS 2044 WITH SCORE 2046.304
AT ITER 8724 NEW BEST:: SOT 31298 SOS 2300 HAS SOPS 2300 HAS SOUS 2042 HAS SOUPS 2042 WITH SCORE 2044.3
AT ITER 8738 NEW BEST:: SOT 31290 SOS 2284 HAS SOPS 2284 HAS SOUS 2030 HAS SOUPS 2030 WITH SCORE 2032.284
AT ITER 8744 NEW BEST:: SOT 31285 SOS 2269 HAS SOPS 2269 HAS SOUS 2020 HAS SOUPS 2020 WITH SCORE 2022.269
AT ITER 8756 NEW BEST:: SOT 31278 SOS 2260 HAS SOPS 2260 HAS SOUS 2010 HAS SOUPS 2010 WITH SCORE 2012.26
AT ITER 8886 NEW BEST:: SOT 31279 SOS 2242 HAS SOPS 2242 HAS SOUS 2007 HAS SOUPS 2007 WITH SCORE 2009.242
AT ITER 8912 NEW BEST:: SOT 31278 SOS 2240 HAS SOPS 2240 HAS SOUS 2003 HAS SOUPS 2003 WITH SCORE 2005.24
AT ITER 8923 NEW BEST:: SOT 31274 SOS 2232 HAS SOPS 2232 HAS SOUS 1992 HAS SOUPS 1992 WITH SCORE 1994.232
AT ITER 8939 NEW BEST:: SOT 31274 SOS 2232 HAS SOPS 2232 HAS SOUS 1988 HAS SOUPS 1988 WITH SCORE 1990.232
AT ITER 8980 NEW BEST:: SOT 31272 SOS 2230 HAS SOPS 2230 HAS SOUS 1986 HAS SOUPS 1986 WITH SCORE 1988.23
AT ITER 9051 NEW BEST:: SOT 31267 SOS 2225 HAS SOPS 2225 HAS SOUS 1976 HAS SOUPS 1976 WITH SCORE 1978.225
AT ITER 9060 NEW BEST:: SOT 31264 SOS 2219 HAS SOPS 2219 HAS SOUS 1970 HAS SOUPS 1970 WITH SCORE 1972.219
AT ITER 9079 NEW BEST:: SOT 31246 SOS 2183 HAS SOPS 2183 HAS SOUS 1947 HAS SOUPS 1947 WITH SCORE 1949.183
AT ITER 9087 NEW BEST:: SOT 31238 SOS 2173 HAS SOPS 2173 HAS SOUS 1937 HAS SOUPS 1937 WITH SCORE 1939.173
AT ITER 9105 NEW BEST:: SOT 31228 SOS 2153 HAS SOPS 2153 HAS SOUS 1927 HAS SOUPS 1927 WITH SCORE 1929.153
AT ITER 9119 NEW BEST:: SOT 31221 SOS 2146 HAS SOPS 2146 HAS SOUS 1920 HAS SOUPS 1920 WITH SCORE 1922.146
AT ITER 9243 NEW BEST:: SOT 31217 SOS 2131 HAS SOPS 2131 HAS SOUS 1912 HAS SOUPS 1912 WITH SCORE 1914.131
AT ITER 9244 NEW BEST:: SOT 31215 SOS 2137 HAS SOPS 2137 HAS SOUS 1910 HAS SOUPS 1910 WITH SCORE 1912.137
AT ITER 9333 NEW BEST:: SOT 31214 SOS 2134 HAS SOPS 2134 HAS SOUS 1908 HAS SOUPS 1908 WITH SCORE 1910.134
AT ITER 9340 NEW BEST:: SOT 31210 SOS 2145 HAS SOPS 2145 HAS SOUS 1904 HAS SOUPS 1904 WITH SCORE 1906.145
AT ITER 9352 NEW BEST:: SOT 31205 SOS 2118 HAS SOPS 2118 HAS SOUS 1883 HAS SOUPS 1883 WITH SCORE 1885.118
AT ITER 9406 NEW BEST:: SOT 31202 SOS 2112 HAS SOPS 2112 HAS SOUS 1877 HAS SOUPS 1877 WITH SCORE 1879.112
AT ITER 9506 NEW BEST:: SOT 31195 SOS 2108 HAS SOPS 2108 HAS SOUS 1872 HAS SOUPS 1872 WITH SCORE 1874.108
AT ITER 9523 NEW BEST:: SOT 31189 SOS 2106 HAS SOPS 2106 HAS SOUS 1870 HAS SOUPS 1870 WITH SCORE 1872.106
AT ITER 9564 NEW BEST:: SOT 31188 SOS 2104 HAS SOPS 2104 HAS SOUS 1868 HAS SOUPS 1868 WITH SCORE 1870.104
AT ITER 9580 NEW BEST:: SOT 31179 SOS 2086 HAS SOPS 2086 HAS SOUS 1850 HAS SOUPS 1850 WITH SCORE 1852.086
AT ITER 9633 NEW BEST:: SOT 31175 SOS 2081 HAS SOPS 2081 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1847.081
AT ITER 9692 NEW BEST:: SOT 31175 SOS 2080 HAS SOPS 2080 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1847.08
AT ITER 9741 NEW BEST:: SOT 31172 SOS 2085 HAS SOPS 2085 HAS SOUS 1842 HAS SOUPS 1842 WITH SCORE 1844.085
AT ITER 9807 NEW BEST:: SOT 31172 SOS 2085 HAS SOPS 2085 HAS SOUS 1841 HAS SOUPS 1841 WITH SCORE 1843.085
AT ITER 9848 NEW BEST:: SOT 31172 SOS 2061 HAS SOPS 2061 HAS SOUS 1841 HAS SOUPS 1841 WITH SCORE 1843.061
STATE_SPACE STATES 515377520732011331036461129765621272702107522002 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 100 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 34358501382134088735764075317708084846807168133401 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679147915334

--------------------
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

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="Referendum-PT-0100"
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 Referendum-PT-0100, 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 r331-tall-167889204600504"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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