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.r067-smll-167814394300040.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is CSRepetitions-COL-07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r067-smll-167814394300040
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 9.0K Feb 25 12:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 12:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 12:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 25 12:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 15:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 15:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 12:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 114K Feb 25 12:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 12:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K Feb 25 12:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:42 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:42 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 16K Mar 5 18:22 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 1678226029237

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CSRepetitions-COL-07
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-07 21:53:53] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-07 21:53:53] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-07 21:53:53] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-07 21:53:53] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-07 21:53:54] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 852 ms
[2023-03-07 21:53:54] [INFO ] Imported 6 HL places and 5 HL transitions for a total of 498 PT places and 833.0 transition bindings in 30 ms.
[2023-03-07 21:53:54] [INFO ] Unfolded HLPN to a Petri net with 498 places and 833 transitions 3087 arcs in 83 ms.
[2023-03-07 21:53:54] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-07 21:53:54] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 498 places, 833 transitions and 3087 arcs took 30 ms.
Total runtime 1359 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CSRepetitions (COL), instance 07
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 498 places, 833 transitions, 3087 arcs.
AT ITER 0 NEW BEST:: SOT 322939 SOS 307315 HAS SOPS 305011 HAS SOUS 277891 HAS SOUPS 275587 WITH SCORE 275894.315
AT ITER 5 NEW BEST:: SOT 322888 SOS 307264 HAS SOPS 304960 HAS SOUS 277840 HAS SOUPS 275536 WITH SCORE 275843.264
AT ITER 10 NEW BEST:: SOT 323505 SOS 307662 HAS SOPS 305399 HAS SOUS 277759 HAS SOUPS 275496 WITH SCORE 275803.662
AT ITER 13 NEW BEST:: SOT 323473 SOS 307270 HAS SOPS 305095 HAS SOUS 276621 HAS SOUPS 274446 WITH SCORE 274753.27
AT ITER 16 NEW BEST:: SOT 323703 SOS 307275 HAS SOPS 305143 HAS SOUS 276133 HAS SOUPS 274001 WITH SCORE 274308.275
AT ITER 17 NEW BEST:: SOT 323780 SOS 306740 HAS SOPS 304442 HAS SOUS 274893 HAS SOUPS 272595 WITH SCORE 272901.74
AT ITER 23 NEW BEST:: SOT 323735 SOS 306425 HAS SOPS 304185 HAS SOUS 273955 HAS SOUPS 271715 WITH SCORE 272021.425
AT ITER 25 NEW BEST:: SOT 323716 SOS 306406 HAS SOPS 304166 HAS SOUS 273936 HAS SOUPS 271696 WITH SCORE 272002.406
AT ITER 26 NEW BEST:: SOT 324136 SOS 306208 HAS SOPS 303548 HAS SOUS 272847 HAS SOUPS 270187 WITH SCORE 270493.208
AT ITER 32 NEW BEST:: SOT 324326 SOS 306398 HAS SOPS 303738 HAS SOUS 272833 HAS SOUPS 270173 WITH SCORE 270479.398
AT ITER 34 NEW BEST:: SOT 324758 SOS 306296 HAS SOPS 303204 HAS SOUS 272444 HAS SOUPS 269352 WITH SCORE 269658.296
AT ITER 35 NEW BEST:: SOT 324738 SOS 306057 HAS SOPS 303006 HAS SOUS 271692 HAS SOUPS 268641 WITH SCORE 268947.057
AT ITER 45 NEW BEST:: SOT 324781 SOS 305904 HAS SOPS 302755 HAS SOUS 271049 HAS SOUPS 267900 WITH SCORE 268205.904
AT ITER 46 NEW BEST:: SOT 324855 SOS 305618 HAS SOPS 302557 HAS SOUS 270128 HAS SOUPS 267067 WITH SCORE 267372.618
AT ITER 52 NEW BEST:: SOT 324728 SOS 305491 HAS SOPS 302430 HAS SOUS 270001 HAS SOUPS 266940 WITH SCORE 267245.491
AT ITER 54 NEW BEST:: SOT 324763 SOS 304954 HAS SOPS 301607 HAS SOUS 267992 HAS SOUPS 264645 WITH SCORE 264949.954
AT ITER 61 NEW BEST:: SOT 321477 SOS 301827 HAS SOPS 298480 HAS SOUS 264865 HAS SOUPS 261518 WITH SCORE 261819.827
AT ITER 64 NEW BEST:: SOT 321595 SOS 301729 HAS SOPS 298422 HAS SOUS 264282 HAS SOUPS 260975 WITH SCORE 261276.729
AT ITER 68 NEW BEST:: SOT 321598 SOS 301729 HAS SOPS 298419 HAS SOUS 264279 HAS SOUPS 260969 WITH SCORE 261270.729
AT ITER 69 NEW BEST:: SOT 321644 SOS 301307 HAS SOPS 297763 HAS SOUS 262453 HAS SOUPS 258909 WITH SCORE 259210.307
AT ITER 70 NEW BEST:: SOT 321776 SOS 300764 HAS SOPS 296866 HAS SOUS 260063 HAS SOUPS 256165 WITH SCORE 256465.764
AT ITER 72 NEW BEST:: SOT 322035 SOS 301023 HAS SOPS 297125 HAS SOUS 260056 HAS SOUPS 256158 WITH SCORE 256459.023
AT ITER 74 NEW BEST:: SOT 321719 SOS 300707 HAS SOPS 296809 HAS SOUS 259740 HAS SOUPS 255842 WITH SCORE 256142.707
AT ITER 75 NEW BEST:: SOT 322061 SOS 300569 HAS SOPS 296299 HAS SOUS 258401 HAS SOUPS 254131 WITH SCORE 254431.569
AT ITER 77 NEW BEST:: SOT 322142 SOS 300021 HAS SOPS 295347 HAS SOUS 256864 HAS SOUPS 252190 WITH SCORE 252490.021
AT ITER 79 NEW BEST:: SOT 322201 SOS 299407 HAS SOPS 294391 HAS SOUS 254652 HAS SOUPS 249636 WITH SCORE 249935.407
AT ITER 80 NEW BEST:: SOT 322073 SOS 299100 HAS SOPS 294125 HAS SOUS 253931 HAS SOUPS 248956 WITH SCORE 249255.1
AT ITER 82 NEW BEST:: SOT 322073 SOS 299089 HAS SOPS 294103 HAS SOUS 253920 HAS SOUPS 248934 WITH SCORE 249233.089
AT ITER 84 NEW BEST:: SOT 322008 SOS 299024 HAS SOPS 294038 HAS SOUS 253799 HAS SOUPS 248813 WITH SCORE 249112.024
AT ITER 87 NEW BEST:: SOT 322229 SOS 298885 HAS SOPS 293987 HAS SOUS 253053 HAS SOUPS 248155 WITH SCORE 248453.885
AT ITER 89 NEW BEST:: SOT 322229 SOS 298885 HAS SOPS 293987 HAS SOUS 252996 HAS SOUPS 248098 WITH SCORE 248396.885
AT ITER 90 NEW BEST:: SOT 321992 SOS 298411 HAS SOPS 293513 HAS SOUS 252522 HAS SOUPS 247624 WITH SCORE 247922.411
AT ITER 106 NEW BEST:: SOT 327701 SOS 295960 HAS SOPS 291062 HAS SOUS 238002 HAS SOUPS 233104 WITH SCORE 233399.96
AT ITER 108 NEW BEST:: SOT 327633 SOS 295688 HAS SOPS 290790 HAS SOUS 237418 HAS SOUPS 232520 WITH SCORE 232815.688
AT ITER 110 NEW BEST:: SOT 327600 SOS 295556 HAS SOPS 290658 HAS SOUS 237154 HAS SOUPS 232256 WITH SCORE 232551.556
AT ITER 111 NEW BEST:: SOT 327486 SOS 295442 HAS SOPS 290544 HAS SOUS 237028 HAS SOUPS 232130 WITH SCORE 232425.442
AT ITER 114 NEW BEST:: SOT 327412 SOS 295368 HAS SOPS 290470 HAS SOUS 236942 HAS SOUPS 232044 WITH SCORE 232339.368
AT ITER 127 NEW BEST:: SOT 327412 SOS 295368 HAS SOPS 290470 HAS SOUS 236934 HAS SOUPS 232036 WITH SCORE 232331.368
AT ITER 129 NEW BEST:: SOT 327412 SOS 294393 HAS SOPS 289165 HAS SOUS 234609 HAS SOUPS 229381 WITH SCORE 229675.393
AT ITER 130 NEW BEST:: SOT 327957 SOS 287022 HAS SOPS 281794 HAS SOUS 222012 HAS SOUPS 216784 WITH SCORE 217071.022
AT ITER 132 NEW BEST:: SOT 327777 SOS 286842 HAS SOPS 281614 HAS SOUS 221832 HAS SOUPS 216604 WITH SCORE 216890.842
AT ITER 136 NEW BEST:: SOT 327777 SOS 286842 HAS SOPS 281614 HAS SOUS 221799 HAS SOUPS 216571 WITH SCORE 216857.842
AT ITER 140 NEW BEST:: SOT 327753 SOS 286818 HAS SOPS 281590 HAS SOUS 221727 HAS SOUPS 216499 WITH SCORE 216785.818
AT ITER 141 NEW BEST:: SOT 327741 SOS 286782 HAS SOPS 281554 HAS SOUS 221679 HAS SOUPS 216451 WITH SCORE 216737.782
AT ITER 142 NEW BEST:: SOT 328076 SOS 286090 HAS SOPS 280474 HAS SOUS 220676 HAS SOUPS 215060 WITH SCORE 215346.09
AT ITER 146 NEW BEST:: SOT 328227 SOS 285834 HAS SOPS 280261 HAS SOUS 220356 HAS SOUPS 214783 WITH SCORE 215068.834
AT ITER 147 NEW BEST:: SOT 328124 SOS 285731 HAS SOPS 280158 HAS SOUS 220253 HAS SOUPS 214680 WITH SCORE 214965.731
AT ITER 148 NEW BEST:: SOT 328088 SOS 285695 HAS SOPS 280122 HAS SOUS 220216 HAS SOUPS 214643 WITH SCORE 214928.695
AT ITER 151 NEW BEST:: SOT 328420 SOS 285322 HAS SOPS 279417 HAS SOUS 219348 HAS SOUPS 213443 WITH SCORE 213728.322
AT ITER 152 NEW BEST:: SOT 328673 SOS 285069 HAS SOPS 278911 HAS SOUS 218837 HAS SOUPS 212679 WITH SCORE 212964.069
AT ITER 155 NEW BEST:: SOT 328611 SOS 285007 HAS SOPS 278849 HAS SOUS 218713 HAS SOUPS 212555 WITH SCORE 212840.007
AT ITER 158 NEW BEST:: SOT 328468 SOS 284721 HAS SOPS 278563 HAS SOUS 218284 HAS SOUPS 212126 WITH SCORE 212410.721
AT ITER 160 NEW BEST:: SOT 332210 SOS 287193 HAS SOPS 281035 HAS SOUS 216216 HAS SOUPS 210058 WITH SCORE 210345.193
AT ITER 165 NEW BEST:: SOT 332210 SOS 287193 HAS SOPS 281035 HAS SOUS 216175 HAS SOUPS 210017 WITH SCORE 210304.193
AT ITER 167 NEW BEST:: SOT 332183 SOS 287166 HAS SOPS 281008 HAS SOUS 216094 HAS SOUPS 209936 WITH SCORE 210223.166
AT ITER 171 NEW BEST:: SOT 332184 SOS 287171 HAS SOPS 281056 HAS SOUS 215985 HAS SOUPS 209870 WITH SCORE 210157.171
AT ITER 173 NEW BEST:: SOT 332256 SOS 286836 HAS SOPS 280764 HAS SOUS 215598 HAS SOUPS 209526 WITH SCORE 209812.836
AT ITER 174 NEW BEST:: SOT 332126 SOS 286318 HAS SOPS 280330 HAS SOUS 214880 HAS SOUPS 208892 WITH SCORE 209178.318
AT ITER 175 NEW BEST:: SOT 332126 SOS 285982 HAS SOPS 279966 HAS SOUS 214504 HAS SOUPS 208488 WITH SCORE 208773.982
AT ITER 178 NEW BEST:: SOT 332058 SOS 285874 HAS SOPS 279966 HAS SOUS 214367 HAS SOUPS 208459 WITH SCORE 208744.874
AT ITER 179 NEW BEST:: SOT 333724 SOS 278304 HAS SOPS 272396 HAS SOUS 201015 HAS SOUPS 195107 WITH SCORE 195385.304
AT ITER 182 NEW BEST:: SOT 333720 SOS 278300 HAS SOPS 272392 HAS SOUS 201003 HAS SOUPS 195095 WITH SCORE 195373.3
AT ITER 183 NEW BEST:: SOT 333652 SOS 278232 HAS SOPS 272324 HAS SOUS 200987 HAS SOUPS 195079 WITH SCORE 195357.232
AT ITER 186 NEW BEST:: SOT 333454 SOS 277836 HAS SOPS 271928 HAS SOUS 200534 HAS SOUPS 194626 WITH SCORE 194903.836
AT ITER 188 NEW BEST:: SOT 333335 SOS 277717 HAS SOPS 271809 HAS SOUS 200109 HAS SOUPS 194201 WITH SCORE 194478.717
AT ITER 192 NEW BEST:: SOT 333488 SOS 277105 HAS SOPS 271044 HAS SOUS 199888 HAS SOUPS 193827 WITH SCORE 194104.105
AT ITER 193 NEW BEST:: SOT 333345 SOS 276828 HAS SOPS 270767 HAS SOUS 199345 HAS SOUPS 193284 WITH SCORE 193560.828
AT ITER 194 NEW BEST:: SOT 333345 SOS 276828 HAS SOPS 270767 HAS SOUS 199339 HAS SOUPS 193278 WITH SCORE 193554.828
AT ITER 198 NEW BEST:: SOT 333376 SOS 275933 HAS SOPS 269622 HAS SOUS 198563 HAS SOUPS 192252 WITH SCORE 192527.933
AT ITER 204 NEW BEST:: SOT 333501 SOS 275398 HAS SOPS 269348 HAS SOUS 198269 HAS SOUPS 192219 WITH SCORE 192494.398
AT ITER 205 NEW BEST:: SOT 333813 SOS 274796 HAS SOPS 268345 HAS SOUS 198109 HAS SOUPS 191658 WITH SCORE 191932.796
AT ITER 207 NEW BEST:: SOT 333813 SOS 274568 HAS SOPS 268155 HAS SOUS 197915 HAS SOUPS 191502 WITH SCORE 191776.568
AT ITER 211 NEW BEST:: SOT 333989 SOS 273797 HAS SOPS 267275 HAS SOUS 197772 HAS SOUPS 191250 WITH SCORE 191523.797
AT ITER 212 NEW BEST:: SOT 333853 SOS 273661 HAS SOPS 267139 HAS SOUS 197628 HAS SOUPS 191106 WITH SCORE 191379.661
AT ITER 213 NEW BEST:: SOT 333675 SOS 272605 HAS SOPS 266083 HAS SOUS 196610 HAS SOUPS 190088 WITH SCORE 190360.605
AT ITER 216 NEW BEST:: SOT 333643 SOS 272573 HAS SOPS 266051 HAS SOUS 196578 HAS SOUPS 190056 WITH SCORE 190328.573
AT ITER 219 NEW BEST:: SOT 333673 SOS 271678 HAS SOPS 264951 HAS SOUS 195868 HAS SOUPS 189141 WITH SCORE 189412.678
AT ITER 226 NEW BEST:: SOT 333673 SOS 271678 HAS SOPS 264951 HAS SOUS 195834 HAS SOUPS 189107 WITH SCORE 189378.678
AT ITER 227 NEW BEST:: SOT 333732 SOS 270666 HAS SOPS 263714 HAS SOUS 195004 HAS SOUPS 188052 WITH SCORE 188322.666
AT ITER 229 NEW BEST:: SOT 333728 SOS 270662 HAS SOPS 263710 HAS SOUS 194992 HAS SOUPS 188040 WITH SCORE 188310.662
AT ITER 232 NEW BEST:: SOT 333728 SOS 270537 HAS SOPS 263585 HAS SOUS 194909 HAS SOUPS 187957 WITH SCORE 188227.537
AT ITER 233 NEW BEST:: SOT 334000 SOS 270236 HAS SOPS 263012 HAS SOUS 194716 HAS SOUPS 187492 WITH SCORE 187762.236
AT ITER 235 NEW BEST:: SOT 333999 SOS 270230 HAS SOPS 263007 HAS SOUS 194710 HAS SOUPS 187487 WITH SCORE 187757.23
AT ITER 238 NEW BEST:: SOT 333978 SOS 269723 HAS SOPS 262541 HAS SOUS 194417 HAS SOUPS 187235 WITH SCORE 187504.723
AT ITER 239 NEW BEST:: SOT 336625 SOS 264709 HAS SOPS 257527 HAS SOUS 187130 HAS SOUPS 179948 WITH SCORE 180212.709
AT ITER 245 NEW BEST:: SOT 336625 SOS 264657 HAS SOPS 257475 HAS SOUS 187130 HAS SOUPS 179948 WITH SCORE 180212.657
AT ITER 250 NEW BEST:: SOT 336502 SOS 264449 HAS SOPS 257267 HAS SOUS 186761 HAS SOUPS 179579 WITH SCORE 179843.449
AT ITER 251 NEW BEST:: SOT 336477 SOS 264424 HAS SOPS 257242 HAS SOUS 186726 HAS SOUPS 179544 WITH SCORE 179808.424
AT ITER 254 NEW BEST:: SOT 336472 SOS 264414 HAS SOPS 257232 HAS SOUS 186711 HAS SOUPS 179529 WITH SCORE 179793.414
AT ITER 256 NEW BEST:: SOT 336472 SOS 264414 HAS SOPS 257232 HAS SOUS 186627 HAS SOUPS 179445 WITH SCORE 179709.414
AT ITER 263 NEW BEST:: SOT 336496 SOS 263700 HAS SOPS 256395 HAS SOUS 186283 HAS SOUPS 178978 WITH SCORE 179241.7
AT ITER 264 NEW BEST:: SOT 336462 SOS 263619 HAS SOPS 256314 HAS SOUS 186181 HAS SOUPS 178876 WITH SCORE 179139.619
AT ITER 267 NEW BEST:: SOT 336584 SOS 262977 HAS SOPS 255569 HAS SOUS 186077 HAS SOUPS 178669 WITH SCORE 178931.977
AT ITER 269 NEW BEST:: SOT 336627 SOS 262825 HAS SOPS 255374 HAS SOUS 186045 HAS SOUPS 178594 WITH SCORE 178856.825
AT ITER 270 NEW BEST:: SOT 336601 SOS 262786 HAS SOPS 255335 HAS SOUS 185993 HAS SOUPS 178542 WITH SCORE 178804.786
AT ITER 271 NEW BEST:: SOT 336529 SOS 262658 HAS SOPS 255207 HAS SOUS 185858 HAS SOUPS 178407 WITH SCORE 178669.658
AT ITER 274 NEW BEST:: SOT 336816 SOS 261598 HAS SOPS 253797 HAS SOUS 185462 HAS SOUPS 177661 WITH SCORE 177922.598
AT ITER 277 NEW BEST:: SOT 336749 SOS 261531 HAS SOPS 253730 HAS SOUS 185393 HAS SOUPS 177592 WITH SCORE 177853.531
AT ITER 278 NEW BEST:: SOT 336654 SOS 260951 HAS SOPS 253150 HAS SOUS 185108 HAS SOUPS 177307 WITH SCORE 177567.951
AT ITER 283 NEW BEST:: SOT 336600 SOS 260897 HAS SOPS 253096 HAS SOUS 185054 HAS SOUPS 177253 WITH SCORE 177513.897
AT ITER 290 NEW BEST:: SOT 336568 SOS 260833 HAS SOPS 253032 HAS SOUS 185049 HAS SOUPS 177248 WITH SCORE 177508.833
AT ITER 291 NEW BEST:: SOT 336668 SOS 259805 HAS SOPS 251607 HAS SOUS 184512 HAS SOUPS 176314 WITH SCORE 176573.805
AT ITER 292 NEW BEST:: SOT 336609 SOS 259687 HAS SOPS 251489 HAS SOUS 184379 HAS SOUPS 176181 WITH SCORE 176440.687
AT ITER 294 NEW BEST:: SOT 336451 SOS 259342 HAS SOPS 251144 HAS SOUS 183774 HAS SOUPS 175576 WITH SCORE 175835.342
AT ITER 298 NEW BEST:: SOT 291097 SOS 235177 HAS SOPS 233239 HAS SOUS 139146 HAS SOUPS 137208 WITH SCORE 137443.177
AT ITER 299 NEW BEST:: SOT 290056 SOS 234440 HAS SOPS 232502 HAS SOUS 138580 HAS SOUPS 136642 WITH SCORE 136876.44
AT ITER 310 NEW BEST:: SOT 289948 SOS 234527 HAS SOPS 232604 HAS SOUS 138431 HAS SOUPS 136508 WITH SCORE 136742.527
AT ITER 311 NEW BEST:: SOT 290888 SOS 228599 HAS SOPS 226676 HAS SOUS 131678 HAS SOUPS 129755 WITH SCORE 129983.599
AT ITER 313 NEW BEST:: SOT 290834 SOS 228527 HAS SOPS 226604 HAS SOUS 131540 HAS SOUPS 129617 WITH SCORE 129845.527
AT ITER 315 NEW BEST:: SOT 290684 SOS 228377 HAS SOPS 226454 HAS SOUS 131488 HAS SOUPS 129565 WITH SCORE 129793.377
AT ITER 316 NEW BEST:: SOT 290227 SOS 228024 HAS SOPS 226101 HAS SOUS 131076 HAS SOUPS 129153 WITH SCORE 129381.024
AT ITER 317 NEW BEST:: SOT 290003 SOS 227800 HAS SOPS 225877 HAS SOUS 130852 HAS SOUPS 128929 WITH SCORE 129156.8
AT ITER 320 NEW BEST:: SOT 289926 SOS 227045 HAS SOPS 225184 HAS SOUS 130449 HAS SOUPS 128588 WITH SCORE 128815.045
AT ITER 321 NEW BEST:: SOT 289888 SOS 227007 HAS SOPS 225146 HAS SOUS 130373 HAS SOUPS 128512 WITH SCORE 128739.007
AT ITER 323 NEW BEST:: SOT 289842 SOS 226961 HAS SOPS 225100 HAS SOUS 130281 HAS SOUPS 128420 WITH SCORE 128646.961
AT ITER 332 NEW BEST:: SOT 289718 SOS 226837 HAS SOPS 224976 HAS SOUS 130145 HAS SOUPS 128284 WITH SCORE 128510.837
AT ITER 333 NEW BEST:: SOT 289846 SOS 225851 HAS SOPS 223990 HAS SOUS 130142 HAS SOUPS 128281 WITH SCORE 128506.851
AT ITER 334 NEW BEST:: SOT 289772 SOS 225784 HAS SOPS 223923 HAS SOUS 130003 HAS SOUPS 128142 WITH SCORE 128367.784
AT ITER 346 NEW BEST:: SOT 289824 SOS 225276 HAS SOPS 223469 HAS SOUS 129931 HAS SOUPS 128124 WITH SCORE 128349.276
AT ITER 349 NEW BEST:: SOT 289758 SOS 225210 HAS SOPS 223403 HAS SOUS 129799 HAS SOUPS 127992 WITH SCORE 128217.21
AT ITER 352 NEW BEST:: SOT 289650 SOS 225081 HAS SOPS 223274 HAS SOUS 129583 HAS SOUPS 127776 WITH SCORE 128001.081
AT ITER 359 NEW BEST:: SOT 289544 SOS 224975 HAS SOPS 223168 HAS SOUS 129371 HAS SOUPS 127564 WITH SCORE 127788.975
AT ITER 361 NEW BEST:: SOT 289986 SOS 225218 HAS SOPS 223411 HAS SOUS 129135 HAS SOUPS 127328 WITH SCORE 127553.218
AT ITER 367 NEW BEST:: SOT 289805 SOS 225037 HAS SOPS 223230 HAS SOUS 128773 HAS SOUPS 126966 WITH SCORE 127191.037
AT ITER 371 NEW BEST:: SOT 289592 SOS 224351 HAS SOPS 222544 HAS SOUS 128046 HAS SOUPS 126239 WITH SCORE 126463.351
AT ITER 374 NEW BEST:: SOT 289592 SOS 224400 HAS SOPS 222593 HAS SOUS 128011 HAS SOUPS 126204 WITH SCORE 126428.4
AT ITER 376 NEW BEST:: SOT 289436 SOS 224244 HAS SOPS 222437 HAS SOUS 127777 HAS SOUPS 125970 WITH SCORE 126194.244
AT ITER 378 NEW BEST:: SOT 289413 SOS 224221 HAS SOPS 222414 HAS SOUS 127751 HAS SOUPS 125944 WITH SCORE 126168.221
AT ITER 381 NEW BEST:: SOT 290283 SOS 224728 HAS SOPS 222921 HAS SOUS 127725 HAS SOUPS 125918 WITH SCORE 126142.728
AT ITER 388 NEW BEST:: SOT 290251 SOS 224696 HAS SOPS 222889 HAS SOUS 127629 HAS SOUPS 125822 WITH SCORE 126046.696
AT ITER 390 NEW BEST:: SOT 290161 SOS 224567 HAS SOPS 222760 HAS SOUS 127374 HAS SOUPS 125567 WITH SCORE 125791.567
AT ITER 406 NEW BEST:: SOT 291193 SOS 218425 HAS SOPS 216618 HAS SOUS 121339 HAS SOUPS 119532 WITH SCORE 119750.425
AT ITER 407 NEW BEST:: SOT 291169 SOS 218405 HAS SOPS 216598 HAS SOUS 121323 HAS SOUPS 119516 WITH SCORE 119734.405
AT ITER 412 NEW BEST:: SOT 291169 SOS 218375 HAS SOPS 216568 HAS SOUS 121323 HAS SOUPS 119516 WITH SCORE 119734.375
AT ITER 413 NEW BEST:: SOT 291169 SOS 218278 HAS SOPS 216471 HAS SOUS 121273 HAS SOUPS 119466 WITH SCORE 119684.278
AT ITER 415 NEW BEST:: SOT 290709 SOS 218111 HAS SOPS 216318 HAS SOUS 121145 HAS SOUPS 119352 WITH SCORE 119570.111
AT ITER 416 NEW BEST:: SOT 290709 SOS 218037 HAS SOPS 216244 HAS SOUS 121145 HAS SOUPS 119352 WITH SCORE 119570.037
AT ITER 417 NEW BEST:: SOT 290709 SOS 217611 HAS SOPS 215818 HAS SOUS 121145 HAS SOUPS 119352 WITH SCORE 119569.611
AT ITER 420 NEW BEST:: SOT 290555 SOS 217534 HAS SOPS 215741 HAS SOUS 121086 HAS SOUPS 119293 WITH SCORE 119510.534
AT ITER 423 NEW BEST:: SOT 290545 SOS 217524 HAS SOPS 215731 HAS SOUS 121082 HAS SOUPS 119289 WITH SCORE 119506.524
AT ITER 426 NEW BEST:: SOT 290485 SOS 217464 HAS SOPS 215671 HAS SOUS 121000 HAS SOUPS 119207 WITH SCORE 119424.464
AT ITER 429 NEW BEST:: SOT 290484 SOS 217361 HAS SOPS 215568 HAS SOUS 120998 HAS SOUPS 119205 WITH SCORE 119422.361
AT ITER 432 NEW BEST:: SOT 290408 SOS 216213 HAS SOPS 214491 HAS SOUS 120601 HAS SOUPS 118879 WITH SCORE 119095.213
AT ITER 437 NEW BEST:: SOT 290373 SOS 216178 HAS SOPS 214456 HAS SOUS 120531 HAS SOUPS 118809 WITH SCORE 119025.178
AT ITER 441 NEW BEST:: SOT 290373 SOS 215910 HAS SOPS 214188 HAS SOUS 120419 HAS SOUPS 118697 WITH SCORE 118912.91
AT ITER 442 NEW BEST:: SOT 290328 SOS 215790 HAS SOPS 214153 HAS SOUS 120334 HAS SOUPS 118697 WITH SCORE 118912.79
AT ITER 447 NEW BEST:: SOT 290186 SOS 215648 HAS SOPS 214011 HAS SOUS 120199 HAS SOUPS 118562 WITH SCORE 118777.648
AT ITER 450 NEW BEST:: SOT 290174 SOS 215613 HAS SOPS 214000 HAS SOUS 120175 HAS SOUPS 118562 WITH SCORE 118777.613
AT ITER 451 NEW BEST:: SOT 290018 SOS 215457 HAS SOPS 213844 HAS SOUS 119925 HAS SOUPS 118312 WITH SCORE 118527.457
AT ITER 453 NEW BEST:: SOT 289992 SOS 215431 HAS SOPS 213818 HAS SOUS 119923 HAS SOUPS 118310 WITH SCORE 118525.431
AT ITER 454 NEW BEST:: SOT 289954 SOS 215393 HAS SOPS 213780 HAS SOUS 119883 HAS SOUPS 118270 WITH SCORE 118485.393
AT ITER 459 NEW BEST:: SOT 289698 SOS 213953 HAS SOPS 212340 HAS SOUS 119154 HAS SOUPS 117541 WITH SCORE 117754.953
AT ITER 461 NEW BEST:: SOT 288305 SOS 213401 HAS SOPS 211852 HAS SOUS 118179 HAS SOUPS 116630 WITH SCORE 116843.401
AT ITER 475 NEW BEST:: SOT 288305 SOS 213395 HAS SOPS 211846 HAS SOUS 118179 HAS SOUPS 116630 WITH SCORE 116843.395
AT ITER 478 NEW BEST:: SOT 288054 SOS 213032 HAS SOPS 211483 HAS SOUS 117652 HAS SOUPS 116103 WITH SCORE 116316.032
AT ITER 480 NEW BEST:: SOT 288054 SOS 212992 HAS SOPS 211443 HAS SOUS 117652 HAS SOUPS 116103 WITH SCORE 116315.992
AT ITER 481 NEW BEST:: SOT 288054 SOS 212989 HAS SOPS 211440 HAS SOUS 117652 HAS SOUPS 116103 WITH SCORE 116315.989
AT ITER 486 NEW BEST:: SOT 287975 SOS 212966 HAS SOPS 211417 HAS SOUS 117501 HAS SOUPS 115952 WITH SCORE 116164.966
AT ITER 492 NEW BEST:: SOT 287950 SOS 212941 HAS SOPS 211392 HAS SOUS 117451 HAS SOUPS 115902 WITH SCORE 116114.941
AT ITER 495 NEW BEST:: SOT 287773 SOS 212764 HAS SOPS 211215 HAS SOUS 117121 HAS SOUPS 115572 WITH SCORE 115784.764
AT ITER 500 NEW BEST:: SOT 287751 SOS 212742 HAS SOPS 211193 HAS SOUS 117077 HAS SOUPS 115528 WITH SCORE 115740.742
AT ITER 504 NEW BEST:: SOT 287703 SOS 213134 HAS SOPS 211585 HAS SOUS 117029 HAS SOUPS 115480 WITH SCORE 115693.134
AT ITER 506 NEW BEST:: SOT 287697 SOS 213198 HAS SOPS 211649 HAS SOUS 117017 HAS SOUPS 115468 WITH SCORE 115681.198
AT ITER 517 NEW BEST:: SOT 286845 SOS 212596 HAS SOPS 211047 HAS SOUS 116698 HAS SOUPS 115149 WITH SCORE 115361.596
AT ITER 528 NEW BEST:: SOT 286736 SOS 212478 HAS SOPS 210925 HAS SOUS 116516 HAS SOUPS 114963 WITH SCORE 115175.478
AT ITER 535 NEW BEST:: SOT 286735 SOS 212551 HAS SOPS 210998 HAS SOUS 116513 HAS SOUPS 114960 WITH SCORE 115172.551
AT ITER 539 NEW BEST:: SOT 286721 SOS 212537 HAS SOPS 210984 HAS SOUS 116499 HAS SOUPS 114946 WITH SCORE 115158.537
AT ITER 543 NEW BEST:: SOT 286735 SOS 212466 HAS SOPS 210904 HAS SOUS 116508 HAS SOUPS 114946 WITH SCORE 115158.466
AT ITER 551 NEW BEST:: SOT 286698 SOS 212429 HAS SOPS 210867 HAS SOUS 116437 HAS SOUPS 114875 WITH SCORE 115087.429
AT ITER 554 NEW BEST:: SOT 286610 SOS 212341 HAS SOPS 210779 HAS SOUS 116357 HAS SOUPS 114795 WITH SCORE 115007.341
AT ITER 555 NEW BEST:: SOT 286543 SOS 212274 HAS SOPS 210712 HAS SOUS 116047 HAS SOUPS 114485 WITH SCORE 114697.274
AT ITER 559 NEW BEST:: SOT 286353 SOS 212084 HAS SOPS 210522 HAS SOUS 115737 HAS SOUPS 114175 WITH SCORE 114387.084
AT ITER 564 NEW BEST:: SOT 286275 SOS 212006 HAS SOPS 210444 HAS SOUS 115591 HAS SOUPS 114029 WITH SCORE 114241.006
AT ITER 568 NEW BEST:: SOT 286041 SOS 211772 HAS SOPS 210210 HAS SOUS 115123 HAS SOUPS 113561 WITH SCORE 113772.772
AT ITER 569 NEW BEST:: SOT 286351 SOS 211699 HAS SOPS 210137 HAS SOUS 114536 HAS SOUPS 112974 WITH SCORE 113185.699
AT ITER 575 NEW BEST:: SOT 286310 SOS 211640 HAS SOPS 210137 HAS SOUS 114477 HAS SOUPS 112974 WITH SCORE 113185.64
AT ITER 576 NEW BEST:: SOT 286305 SOS 211600 HAS SOPS 210097 HAS SOUS 114462 HAS SOUPS 112959 WITH SCORE 113170.6
AT ITER 577 NEW BEST:: SOT 286332 SOS 211618 HAS SOPS 210115 HAS SOUS 114453 HAS SOUPS 112950 WITH SCORE 113161.618
AT ITER 591 NEW BEST:: SOT 286341 SOS 211333 HAS SOPS 209788 HAS SOUS 114365 HAS SOUPS 112820 WITH SCORE 113031.333
AT ITER 603 NEW BEST:: SOT 286349 SOS 211297 HAS SOPS 209792 HAS SOUS 114325 HAS SOUPS 112820 WITH SCORE 113031.297
AT ITER 604 NEW BEST:: SOT 285634 SOS 210811 HAS SOPS 209306 HAS SOUS 114177 HAS SOUPS 112672 WITH SCORE 112882.811
AT ITER 611 NEW BEST:: SOT 285548 SOS 210725 HAS SOPS 209220 HAS SOUS 114005 HAS SOUPS 112500 WITH SCORE 112710.725
AT ITER 612 NEW BEST:: SOT 285597 SOS 210544 HAS SOPS 209019 HAS SOUS 114025 HAS SOUPS 112500 WITH SCORE 112710.544
AT ITER 618 NEW BEST:: SOT 284457 SOS 209649 HAS SOPS 208124 HAS SOUS 113521 HAS SOUPS 111996 WITH SCORE 112205.649
AT ITER 622 NEW BEST:: SOT 284457 SOS 209649 HAS SOPS 208124 HAS SOUS 113511 HAS SOUPS 111986 WITH SCORE 112195.649
AT ITER 629 NEW BEST:: SOT 284399 SOS 209591 HAS SOPS 208066 HAS SOUS 113483 HAS SOUPS 111958 WITH SCORE 112167.591
AT ITER 631 NEW BEST:: SOT 284565 SOS 209443 HAS SOPS 207918 HAS SOUS 113477 HAS SOUPS 111952 WITH SCORE 112161.443
AT ITER 636 NEW BEST:: SOT 284565 SOS 209430 HAS SOPS 207918 HAS SOUS 113464 HAS SOUPS 111952 WITH SCORE 112161.43
AT ITER 639 NEW BEST:: SOT 284426 SOS 210185 HAS SOPS 208649 HAS SOUS 113452 HAS SOUPS 111916 WITH SCORE 112126.185
AT ITER 640 NEW BEST:: SOT 284190 SOS 209949 HAS SOPS 208413 HAS SOUS 113368 HAS SOUPS 111832 WITH SCORE 112041.949
AT ITER 643 NEW BEST:: SOT 284188 SOS 209866 HAS SOPS 208371 HAS SOUS 113315 HAS SOUPS 111820 WITH SCORE 112029.866
AT ITER 644 NEW BEST:: SOT 283859 SOS 209587 HAS SOPS 208092 HAS SOUS 112992 HAS SOUPS 111497 WITH SCORE 111706.587
AT ITER 656 NEW BEST:: SOT 283859 SOS 209587 HAS SOPS 208092 HAS SOUS 112980 HAS SOUPS 111485 WITH SCORE 111694.587
AT ITER 662 NEW BEST:: SOT 283948 SOS 209935 HAS SOPS 208415 HAS SOUS 112795 HAS SOUPS 111275 WITH SCORE 111484.935
AT ITER 663 NEW BEST:: SOT 283892 SOS 209908 HAS SOPS 208352 HAS SOUS 112683 HAS SOUPS 111127 WITH SCORE 111336.908
AT ITER 673 NEW BEST:: SOT 284015 SOS 209879 HAS SOPS 208323 HAS SOUS 112482 HAS SOUPS 110926 WITH SCORE 111135.879
AT ITER 676 NEW BEST:: SOT 283984 SOS 209848 HAS SOPS 208292 HAS SOUS 112420 HAS SOUPS 110864 WITH SCORE 111073.848
AT ITER 679 NEW BEST:: SOT 283256 SOS 209640 HAS SOPS 208088 HAS SOUS 112057 HAS SOUPS 110505 WITH SCORE 110714.64
AT ITER 681 NEW BEST:: SOT 283324 SOS 209708 HAS SOPS 208156 HAS SOUS 112049 HAS SOUPS 110497 WITH SCORE 110706.708
AT ITER 682 NEW BEST:: SOT 283235 SOS 209804 HAS SOPS 208252 HAS SOUS 111782 HAS SOUPS 110230 WITH SCORE 110439.804
AT ITER 689 NEW BEST:: SOT 283036 SOS 209889 HAS SOPS 208337 HAS SOUS 111664 HAS SOUPS 110112 WITH SCORE 110321.889
AT ITER 690 NEW BEST:: SOT 282992 SOS 209850 HAS SOPS 208298 HAS SOUS 111576 HAS SOUPS 110024 WITH SCORE 110233.85
AT ITER 692 NEW BEST:: SOT 282979 SOS 209837 HAS SOPS 208285 HAS SOUS 111550 HAS SOUPS 109998 WITH SCORE 110207.837
AT ITER 693 NEW BEST:: SOT 282952 SOS 209598 HAS SOPS 208038 HAS SOUS 111477 HAS SOUPS 109917 WITH SCORE 110126.598
AT ITER 709 NEW BEST:: SOT 282952 SOS 209598 HAS SOPS 208038 HAS SOUS 111395 HAS SOUPS 109835 WITH SCORE 110044.598
AT ITER 721 NEW BEST:: SOT 282811 SOS 209458 HAS SOPS 207898 HAS SOUS 111106 HAS SOUPS 109546 WITH SCORE 109755.458
AT ITER 723 NEW BEST:: SOT 282786 SOS 209433 HAS SOPS 207873 HAS SOUS 111060 HAS SOUPS 109500 WITH SCORE 109709.433
AT ITER 729 NEW BEST:: SOT 282825 SOS 209472 HAS SOPS 207912 HAS SOUS 110960 HAS SOUPS 109400 WITH SCORE 109609.472
AT ITER 735 NEW BEST:: SOT 282766 SOS 209413 HAS SOPS 207853 HAS SOUS 110960 HAS SOUPS 109400 WITH SCORE 109609.413
AT ITER 737 NEW BEST:: SOT 277313 SOS 204412 HAS SOPS 202852 HAS SOUS 110900 HAS SOUPS 109340 WITH SCORE 109544.412
AT ITER 738 NEW BEST:: SOT 277223 SOS 204322 HAS SOPS 202762 HAS SOUS 110720 HAS SOUPS 109160 WITH SCORE 109364.322
AT ITER 741 NEW BEST:: SOT 277071 SOS 204170 HAS SOPS 202610 HAS SOUS 110416 HAS SOUPS 108856 WITH SCORE 109060.17
AT ITER 750 NEW BEST:: SOT 276876 SOS 203975 HAS SOPS 202415 HAS SOUS 110097 HAS SOUPS 108537 WITH SCORE 108740.975
AT ITER 754 NEW BEST:: SOT 276810 SOS 203909 HAS SOPS 202349 HAS SOUS 110051 HAS SOUPS 108491 WITH SCORE 108694.909
AT ITER 764 NEW BEST:: SOT 276642 SOS 203741 HAS SOPS 202181 HAS SOUS 109989 HAS SOUPS 108429 WITH SCORE 108632.741
AT ITER 767 NEW BEST:: SOT 276464 SOS 203512 HAS SOPS 201952 HAS SOUS 109633 HAS SOUPS 108073 WITH SCORE 108276.512
AT ITER 770 NEW BEST:: SOT 276414 SOS 203462 HAS SOPS 201902 HAS SOUS 109533 HAS SOUPS 107973 WITH SCORE 108176.462
AT ITER 774 NEW BEST:: SOT 276135 SOS 203229 HAS SOPS 201669 HAS SOUS 109300 HAS SOUPS 107740 WITH SCORE 107943.229
AT ITER 784 NEW BEST:: SOT 276063 SOS 203203 HAS SOPS 201643 HAS SOUS 109287 HAS SOUPS 107727 WITH SCORE 107930.203
AT ITER 794 NEW BEST:: SOT 276063 SOS 203186 HAS SOPS 201626 HAS SOUS 109283 HAS SOUPS 107723 WITH SCORE 107926.186
AT ITER 809 NEW BEST:: SOT 276063 SOS 202826 HAS SOPS 201266 HAS SOUS 109283 HAS SOUPS 107723 WITH SCORE 107925.826
AT ITER 811 NEW BEST:: SOT 276070 SOS 201789 HAS SOPS 200325 HAS SOUS 109161 HAS SOUPS 107697 WITH SCORE 107898.789
AT ITER 813 NEW BEST:: SOT 276070 SOS 201778 HAS SOPS 200314 HAS SOUS 109139 HAS SOUPS 107675 WITH SCORE 107876.778
AT ITER 818 NEW BEST:: SOT 276202 SOS 201615 HAS SOPS 200151 HAS SOUS 109033 HAS SOUPS 107569 WITH SCORE 107770.615
AT ITER 819 NEW BEST:: SOT 276202 SOS 201513 HAS SOPS 200049 HAS SOUS 109033 HAS SOUPS 107569 WITH SCORE 107770.513
AT ITER 822 NEW BEST:: SOT 276043 SOS 201354 HAS SOPS 199890 HAS SOUS 108941 HAS SOUPS 107477 WITH SCORE 107678.354
AT ITER 823 NEW BEST:: SOT 276031 SOS 201330 HAS SOPS 199866 HAS SOUS 108905 HAS SOUPS 107441 WITH SCORE 107642.33
AT ITER 824 NEW BEST:: SOT 275538 SOS 200984 HAS SOPS 199520 HAS SOUS 108860 HAS SOUPS 107396 WITH SCORE 107596.984
AT ITER 835 NEW BEST:: SOT 275538 SOS 200939 HAS SOPS 199475 HAS SOUS 108860 HAS SOUPS 107396 WITH SCORE 107596.939
AT ITER 836 NEW BEST:: SOT 275538 SOS 200939 HAS SOPS 199475 HAS SOUS 108784 HAS SOUPS 107320 WITH SCORE 107520.939
AT ITER 839 NEW BEST:: SOT 275296 SOS 200697 HAS SOPS 199233 HAS SOUS 108490 HAS SOUPS 107026 WITH SCORE 107226.697
AT ITER 841 NEW BEST:: SOT 275288 SOS 200689 HAS SOPS 199225 HAS SOUS 108474 HAS SOUPS 107010 WITH SCORE 107210.689
AT ITER 847 NEW BEST:: SOT 275288 SOS 200653 HAS SOPS 199225 HAS SOUS 108420 HAS SOUPS 106992 WITH SCORE 107192.653
AT ITER 852 NEW BEST:: SOT 275047 SOS 200255 HAS SOPS 198827 HAS SOUS 107979 HAS SOUPS 106551 WITH SCORE 106751.255
AT ITER 854 NEW BEST:: SOT 274843 SOS 200051 HAS SOPS 198623 HAS SOUS 107675 HAS SOUPS 106247 WITH SCORE 106447.051
AT ITER 855 NEW BEST:: SOT 274651 SOS 200506 HAS SOPS 199125 HAS SOUS 107539 HAS SOUPS 106158 WITH SCORE 106358.506
AT ITER 859 NEW BEST:: SOT 274615 SOS 200613 HAS SOPS 199232 HAS SOUS 107467 HAS SOUPS 106086 WITH SCORE 106286.613
AT ITER 861 NEW BEST:: SOT 274590 SOS 200588 HAS SOPS 199207 HAS SOUS 107298 HAS SOUPS 105917 WITH SCORE 106117.588
AT ITER 862 NEW BEST:: SOT 274590 SOS 200588 HAS SOPS 199207 HAS SOUS 107292 HAS SOUPS 105911 WITH SCORE 106111.588
AT ITER 864 NEW BEST:: SOT 274022 SOS 200798 HAS SOPS 199485 HAS SOUS 107036 HAS SOUPS 105723 WITH SCORE 105923.798
AT ITER 874 NEW BEST:: SOT 274022 SOS 200798 HAS SOPS 199485 HAS SOUS 107034 HAS SOUPS 105721 WITH SCORE 105921.798
AT ITER 878 NEW BEST:: SOT 273978 SOS 200754 HAS SOPS 199441 HAS SOUS 106946 HAS SOUPS 105633 WITH SCORE 105833.754
AT ITER 879 NEW BEST:: SOT 273839 SOS 200615 HAS SOPS 199302 HAS SOUS 106805 HAS SOUPS 105492 WITH SCORE 105692.615
AT ITER 885 NEW BEST:: SOT 273822 SOS 200598 HAS SOPS 199285 HAS SOUS 106788 HAS SOUPS 105475 WITH SCORE 105675.598
AT ITER 891 NEW BEST:: SOT 273700 SOS 200476 HAS SOPS 199163 HAS SOUS 106544 HAS SOUPS 105231 WITH SCORE 105431.476
AT ITER 894 NEW BEST:: SOT 273700 SOS 200457 HAS SOPS 199144 HAS SOUS 106544 HAS SOUPS 105231 WITH SCORE 105431.457
AT ITER 897 NEW BEST:: SOT 273694 SOS 200451 HAS SOPS 199138 HAS SOUS 106532 HAS SOUPS 105219 WITH SCORE 105419.451
AT ITER 900 NEW BEST:: SOT 273317 SOS 200660 HAS SOPS 199347 HAS SOUS 106310 HAS SOUPS 104997 WITH SCORE 105197.66
AT ITER 903 NEW BEST:: SOT 273285 SOS 200628 HAS SOPS 199315 HAS SOUS 106246 HAS SOUPS 104933 WITH SCORE 105133.628
AT ITER 906 NEW BEST:: SOT 273285 SOS 200365 HAS SOPS 199052 HAS SOUS 106246 HAS SOUPS 104933 WITH SCORE 105133.365
AT ITER 911 NEW BEST:: SOT 273209 SOS 200289 HAS SOPS 198976 HAS SOUS 106094 HAS SOUPS 104781 WITH SCORE 104981.289
AT ITER 920 NEW BEST:: SOT 273166 SOS 200810 HAS SOPS 199497 HAS SOUS 105965 HAS SOUPS 104652 WITH SCORE 104852.81
AT ITER 927 NEW BEST:: SOT 273133 SOS 200777 HAS SOPS 199464 HAS SOUS 105899 HAS SOUPS 104586 WITH SCORE 104786.777
AT ITER 940 NEW BEST:: SOT 273106 SOS 200750 HAS SOPS 199437 HAS SOUS 105845 HAS SOUPS 104532 WITH SCORE 104732.75
AT ITER 943 NEW BEST:: SOT 273133 SOS 200777 HAS SOPS 199464 HAS SOUS 105807 HAS SOUPS 104494 WITH SCORE 104694.777
AT ITER 963 NEW BEST:: SOT 273178 SOS 200719 HAS SOPS 199374 HAS SOUS 105809 HAS SOUPS 104464 WITH SCORE 104664.719
AT ITER 966 NEW BEST:: SOT 272081 SOS 199878 HAS SOPS 198533 HAS SOUS 105087 HAS SOUPS 103742 WITH SCORE 103941.878
AT ITER 970 NEW BEST:: SOT 272055 SOS 199645 HAS SOPS 198295 HAS SOUS 105014 HAS SOUPS 103664 WITH SCORE 103863.645
AT ITER 976 NEW BEST:: SOT 271937 SOS 199527 HAS SOPS 198177 HAS SOUS 105004 HAS SOUPS 103654 WITH SCORE 103853.527
AT ITER 980 NEW BEST:: SOT 271931 SOS 199521 HAS SOPS 198171 HAS SOUS 104992 HAS SOUPS 103642 WITH SCORE 103841.521
AT ITER 991 NEW BEST:: SOT 271250 SOS 198898 HAS SOPS 197548 HAS SOUS 104433 HAS SOUPS 103083 WITH SCORE 103281.898
AT ITER 992 NEW BEST:: SOT 271093 SOS 198741 HAS SOPS 197391 HAS SOUS 104433 HAS SOUPS 103083 WITH SCORE 103281.741
AT ITER 995 NEW BEST:: SOT 271071 SOS 198719 HAS SOPS 197369 HAS SOUS 104400 HAS SOUPS 103050 WITH SCORE 103248.719
AT ITER 1000 NEW BEST:: SOT 271004 SOS 198652 HAS SOPS 197302 HAS SOUS 104333 HAS SOUPS 102983 WITH SCORE 103181.652
AT ITER 1002 NEW BEST:: SOT 270941 SOS 198589 HAS SOPS 197239 HAS SOUS 104283 HAS SOUPS 102933 WITH SCORE 103131.589
AT ITER 1008 NEW BEST:: SOT 270993 SOS 198589 HAS SOPS 197239 HAS SOUS 104155 HAS SOUPS 102805 WITH SCORE 103003.589
AT ITER 1009 NEW BEST:: SOT 270875 SOS 198471 HAS SOPS 197121 HAS SOUS 104012 HAS SOUPS 102662 WITH SCORE 102860.471
AT ITER 1019 NEW BEST:: SOT 270875 SOS 198198 HAS SOPS 196848 HAS SOUS 103640 HAS SOUPS 102290 WITH SCORE 102488.198
AT ITER 1020 NEW BEST:: SOT 270859 SOS 198182 HAS SOPS 196832 HAS SOUS 103608 HAS SOUPS 102258 WITH SCORE 102456.182
AT ITER 1021 NEW BEST:: SOT 270719 SOS 198042 HAS SOPS 196692 HAS SOUS 103510 HAS SOUPS 102160 WITH SCORE 102358.042
AT ITER 1025 NEW BEST:: SOT 270713 SOS 198036 HAS SOPS 196686 HAS SOUS 103498 HAS SOUPS 102148 WITH SCORE 102346.036
AT ITER 1026 NEW BEST:: SOT 270658 SOS 197981 HAS SOPS 196631 HAS SOUS 103498 HAS SOUPS 102148 WITH SCORE 102345.981
AT ITER 1027 NEW BEST:: SOT 270589 SOS 197912 HAS SOPS 196562 HAS SOUS 103429 HAS SOUPS 102079 WITH SCORE 102276.912
AT ITER 1028 NEW BEST:: SOT 270507 SOS 197693 HAS SOPS 196343 HAS SOUS 103183 HAS SOUPS 101833 WITH SCORE 102030.693
AT ITER 1032 NEW BEST:: SOT 270507 SOS 197692 HAS SOPS 196342 HAS SOUS 103175 HAS SOUPS 101825 WITH SCORE 102022.692
AT ITER 1037 NEW BEST:: SOT 270503 SOS 197688 HAS SOPS 196338 HAS SOUS 103171 HAS SOUPS 101821 WITH SCORE 102018.688
AT ITER 1038 NEW BEST:: SOT 270461 SOS 197646 HAS SOPS 196296 HAS SOUS 103087 HAS SOUPS 101737 WITH SCORE 101934.646
AT ITER 1040 NEW BEST:: SOT 270461 SOS 197646 HAS SOPS 196296 HAS SOUS 103080 HAS SOUPS 101730 WITH SCORE 101927.646
AT ITER 1046 NEW BEST:: SOT 270369 SOS 197601 HAS SOPS 196251 HAS SOUS 103005 HAS SOUPS 101655 WITH SCORE 101852.601
AT ITER 1049 NEW BEST:: SOT 270901 SOS 197968 HAS SOPS 196618 HAS SOUS 102945 HAS SOUPS 101595 WITH SCORE 101792.968
AT ITER 1062 NEW BEST:: SOT 270823 SOS 197890 HAS SOPS 196540 HAS SOUS 102899 HAS SOUPS 101549 WITH SCORE 101746.89
AT ITER 1069 NEW BEST:: SOT 270779 SOS 197846 HAS SOPS 196496 HAS SOUS 102811 HAS SOUPS 101461 WITH SCORE 101658.846
AT ITER 1070 NEW BEST:: SOT 270564 SOS 198028 HAS SOPS 196678 HAS SOUS 102773 HAS SOUPS 101423 WITH SCORE 101621.028
AT ITER 1071 NEW BEST:: SOT 270492 SOS 197956 HAS SOPS 196606 HAS SOUS 102629 HAS SOUPS 101279 WITH SCORE 101476.956
AT ITER 1080 NEW BEST:: SOT 270561 SOS 197999 HAS SOPS 196649 HAS SOUS 102585 HAS SOUPS 101235 WITH SCORE 101432.999
AT ITER 1081 NEW BEST:: SOT 270465 SOS 197903 HAS SOPS 196553 HAS SOUS 102555 HAS SOUPS 101205 WITH SCORE 101402.903
AT ITER 1087 NEW BEST:: SOT 270453 SOS 197793 HAS SOPS 196443 HAS SOUS 102515 HAS SOUPS 101165 WITH SCORE 101362.793
AT ITER 1091 NEW BEST:: SOT 269087 SOS 196634 HAS SOPS 195284 HAS SOUS 101770 HAS SOUPS 100420 WITH SCORE 100616.634
AT ITER 1094 NEW BEST:: SOT 268721 SOS 196220 HAS SOPS 194870 HAS SOUS 100984 HAS SOUPS 99634 WITH SCORE 99830.22
AT ITER 1097 NEW BEST:: SOT 268721 SOS 195445 HAS SOPS 194095 HAS SOUS 100927 HAS SOUPS 99577 WITH SCORE 99772.445
AT ITER 1101 NEW BEST:: SOT 268667 SOS 196346 HAS SOPS 194899 HAS SOUS 100950 HAS SOUPS 99503 WITH SCORE 99699.346
AT ITER 1103 NEW BEST:: SOT 268629 SOS 196308 HAS SOPS 194861 HAS SOUS 100874 HAS SOUPS 99427 WITH SCORE 99623.308
AT ITER 1117 NEW BEST:: SOT 268622 SOS 196301 HAS SOPS 194854 HAS SOUS 100860 HAS SOUPS 99413 WITH SCORE 99609.301
AT ITER 1122 NEW BEST:: SOT 268573 SOS 196252 HAS SOPS 194805 HAS SOUS 100860 HAS SOUPS 99413 WITH SCORE 99609.252
AT ITER 1141 NEW BEST:: SOT 268590 SOS 195909 HAS SOPS 194413 HAS SOUS 100746 HAS SOUPS 99250 WITH SCORE 99445.909
AT ITER 1142 NEW BEST:: SOT 268590 SOS 195888 HAS SOPS 194392 HAS SOUS 100746 HAS SOUPS 99250 WITH SCORE 99445.888
AT ITER 1145 NEW BEST:: SOT 268210 SOS 195581 HAS SOPS 194085 HAS SOUS 100586 HAS SOUPS 99090 WITH SCORE 99285.581
AT ITER 1148 NEW BEST:: SOT 268113 SOS 195484 HAS SOPS 193988 HAS SOUS 100392 HAS SOUPS 98896 WITH SCORE 99091.484
AT ITER 1149 NEW BEST:: SOT 268081 SOS 195452 HAS SOPS 193956 HAS SOUS 100328 HAS SOUPS 98832 WITH SCORE 99027.452
AT ITER 1156 NEW BEST:: SOT 267845 SOS 195216 HAS SOPS 193720 HAS SOUS 100136 HAS SOUPS 98640 WITH SCORE 98835.216
AT ITER 1163 NEW BEST:: SOT 267845 SOS 195202 HAS SOPS 193706 HAS SOUS 100136 HAS SOUPS 98640 WITH SCORE 98835.202
AT ITER 1169 NEW BEST:: SOT 268597 SOS 195557 HAS SOPS 194050 HAS SOUS 100036 HAS SOUPS 98529 WITH SCORE 98724.557
AT ITER 1170 NEW BEST:: SOT 268597 SOS 195549 HAS SOPS 194042 HAS SOUS 100036 HAS SOUPS 98529 WITH SCORE 98724.549
AT ITER 1186 NEW BEST:: SOT 268527 SOS 195455 HAS SOPS 193948 HAS SOUS 99896 HAS SOUPS 98389 WITH SCORE 98584.455
AT ITER 1189 NEW BEST:: SOT 268403 SOS 195331 HAS SOPS 193824 HAS SOUS 99648 HAS SOUPS 98141 WITH SCORE 98336.331
AT ITER 1194 NEW BEST:: SOT 268356 SOS 194477 HAS SOPS 193067 HAS SOUS 99406 HAS SOUPS 97996 WITH SCORE 98190.477
AT ITER 1196 NEW BEST:: SOT 268366 SOS 194469 HAS SOPS 193059 HAS SOUS 99372 HAS SOUPS 97962 WITH SCORE 98156.469
AT ITER 1210 NEW BEST:: SOT 268391 SOS 194469 HAS SOPS 193059 HAS SOUS 99347 HAS SOUPS 97937 WITH SCORE 98131.469
AT ITER 1214 NEW BEST:: SOT 268353 SOS 194416 HAS SOPS 193082 HAS SOUS 99271 HAS SOUPS 97937 WITH SCORE 98131.416
AT ITER 1218 NEW BEST:: SOT 268196 SOS 194259 HAS SOPS 192925 HAS SOUS 99114 HAS SOUPS 97780 WITH SCORE 97974.259
AT ITER 1227 NEW BEST:: SOT 268184 SOS 194247 HAS SOPS 192913 HAS SOUS 99090 HAS SOUPS 97756 WITH SCORE 97950.247
AT ITER 1232 NEW BEST:: SOT 268160 SOS 194223 HAS SOPS 192889 HAS SOUS 99042 HAS SOUPS 97708 WITH SCORE 97902.223
AT ITER 1237 NEW BEST:: SOT 268056 SOS 194125 HAS SOPS 192791 HAS SOUS 98814 HAS SOUPS 97480 WITH SCORE 97674.125
AT ITER 1238 NEW BEST:: SOT 267870 SOS 193939 HAS SOPS 192605 HAS SOUS 98527 HAS SOUPS 97193 WITH SCORE 97386.939
AT ITER 1242 NEW BEST:: SOT 267779 SOS 193848 HAS SOPS 192514 HAS SOUS 98345 HAS SOUPS 97011 WITH SCORE 97204.848
AT ITER 1246 NEW BEST:: SOT 267779 SOS 193848 HAS SOPS 192514 HAS SOUS 98265 HAS SOUPS 96931 WITH SCORE 97124.848
AT ITER 1248 NEW BEST:: SOT 267989 SOS 194030 HAS SOPS 192696 HAS SOUS 98139 HAS SOUPS 96805 WITH SCORE 96999.03
AT ITER 1257 NEW BEST:: SOT 268187 SOS 192653 HAS SOPS 191354 HAS SOUS 97889 HAS SOUPS 96590 WITH SCORE 96782.653
AT ITER 1265 NEW BEST:: SOT 268187 SOS 192640 HAS SOPS 191341 HAS SOUS 97889 HAS SOUPS 96590 WITH SCORE 96782.64
AT ITER 1278 NEW BEST:: SOT 268041 SOS 192494 HAS SOPS 191195 HAS SOUS 97773 HAS SOUPS 96474 WITH SCORE 96666.494
AT ITER 1280 NEW BEST:: SOT 268069 SOS 192478 HAS SOPS 191177 HAS SOUS 97742 HAS SOUPS 96441 WITH SCORE 96633.478
AT ITER 1283 NEW BEST:: SOT 268014 SOS 192452 HAS SOPS 191206 HAS SOUS 97687 HAS SOUPS 96441 WITH SCORE 96633.452
AT ITER 1287 NEW BEST:: SOT 268163 SOS 192368 HAS SOPS 191122 HAS SOUS 97589 HAS SOUPS 96343 WITH SCORE 96535.368
AT ITER 1290 NEW BEST:: SOT 268103 SOS 192308 HAS SOPS 191062 HAS SOUS 97409 HAS SOUPS 96163 WITH SCORE 96355.308
AT ITER 1294 NEW BEST:: SOT 267927 SOS 192132 HAS SOPS 190886 HAS SOUS 97375 HAS SOUPS 96129 WITH SCORE 96321.132
AT ITER 1299 NEW BEST:: SOT 267927 SOS 192057 HAS SOPS 190811 HAS SOUS 97375 HAS SOUPS 96129 WITH SCORE 96321.057
AT ITER 1309 NEW BEST:: SOT 267881 SOS 191504 HAS SOPS 190258 HAS SOUS 97177 HAS SOUPS 95931 WITH SCORE 96122.504
AT ITER 1325 NEW BEST:: SOT 267825 SOS 191461 HAS SOPS 190215 HAS SOUS 97159 HAS SOUPS 95913 WITH SCORE 96104.461
AT ITER 1331 NEW BEST:: SOT 267825 SOS 191118 HAS SOPS 189872 HAS SOUS 97029 HAS SOUPS 95783 WITH SCORE 95974.118
AT ITER 1334 NEW BEST:: SOT 267762 SOS 191055 HAS SOPS 189809 HAS SOUS 96882 HAS SOUPS 95636 WITH SCORE 95827.055
AT ITER 1342 NEW BEST:: SOT 267529 SOS 190886 HAS SOPS 189640 HAS SOUS 96822 HAS SOUPS 95576 WITH SCORE 95766.886
AT ITER 1345 NEW BEST:: SOT 267466 SOS 190903 HAS SOPS 189657 HAS SOUS 96633 HAS SOUPS 95387 WITH SCORE 95577.903
AT ITER 1351 NEW BEST:: SOT 267466 SOS 190863 HAS SOPS 189617 HAS SOUS 96633 HAS SOUPS 95387 WITH SCORE 95577.863
AT ITER 1355 NEW BEST:: SOT 267464 SOS 190861 HAS SOPS 189615 HAS SOUS 96621 HAS SOUPS 95375 WITH SCORE 95565.861
AT ITER 1357 NEW BEST:: SOT 267323 SOS 190754 HAS SOPS 189508 HAS SOUS 96575 HAS SOUPS 95329 WITH SCORE 95519.754
AT ITER 1363 NEW BEST:: SOT 267323 SOS 190747 HAS SOPS 189501 HAS SOUS 96575 HAS SOUPS 95329 WITH SCORE 95519.747
AT ITER 1367 NEW BEST:: SOT 267323 SOS 190698 HAS SOPS 189452 HAS SOUS 96575 HAS SOUPS 95329 WITH SCORE 95519.698
AT ITER 1368 NEW BEST:: SOT 267287 SOS 190662 HAS SOPS 189416 HAS SOUS 96503 HAS SOUPS 95257 WITH SCORE 95447.662
AT ITER 1374 NEW BEST:: SOT 267275 SOS 190650 HAS SOPS 189404 HAS SOUS 96491 HAS SOUPS 95245 WITH SCORE 95435.65
AT ITER 1376 NEW BEST:: SOT 267212 SOS 190587 HAS SOPS 189341 HAS SOUS 96491 HAS SOUPS 95245 WITH SCORE 95435.587
AT ITER 1377 NEW BEST:: SOT 267212 SOS 190556 HAS SOPS 189310 HAS SOUS 96471 HAS SOUPS 95225 WITH SCORE 95415.556
AT ITER 1379 NEW BEST:: SOT 267206 SOS 190550 HAS SOPS 189304 HAS SOUS 96459 HAS SOUPS 95213 WITH SCORE 95403.55
AT ITER 1382 NEW BEST:: SOT 267206 SOS 190538 HAS SOPS 189292 HAS SOUS 96459 HAS SOUPS 95213 WITH SCORE 95403.538
AT ITER 1400 NEW BEST:: SOT 267208 SOS 190538 HAS SOPS 189292 HAS SOUS 96455 HAS SOUPS 95209 WITH SCORE 95399.538
AT ITER 1401 NEW BEST:: SOT 266974 SOS 190304 HAS SOPS 189058 HAS SOUS 96171 HAS SOUPS 94925 WITH SCORE 95115.304
AT ITER 1406 NEW BEST:: SOT 266892 SOS 190225 HAS SOPS 188979 HAS SOUS 96007 HAS SOUPS 94761 WITH SCORE 94951.225
AT ITER 1415 NEW BEST:: SOT 265933 SOS 189283 HAS SOPS 188037 HAS SOUS 95064 HAS SOUPS 93818 WITH SCORE 94007.283
AT ITER 1418 NEW BEST:: SOT 265909 SOS 189232 HAS SOPS 187986 HAS SOUS 94992 HAS SOUPS 93746 WITH SCORE 93935.232
AT ITER 1427 NEW BEST:: SOT 265909 SOS 189232 HAS SOPS 187986 HAS SOUS 94904 HAS SOUPS 93658 WITH SCORE 93847.232
AT ITER 1435 NEW BEST:: SOT 265954 SOS 189068 HAS SOPS 187753 HAS SOUS 94874 HAS SOUPS 93559 WITH SCORE 93748.068
AT ITER 1437 NEW BEST:: SOT 265892 SOS 189006 HAS SOPS 187691 HAS SOUS 94750 HAS SOUPS 93435 WITH SCORE 93624.006
AT ITER 1438 NEW BEST:: SOT 265790 SOS 188904 HAS SOPS 187589 HAS SOUS 94694 HAS SOUPS 93379 WITH SCORE 93567.904
AT ITER 1448 NEW BEST:: SOT 265760 SOS 188928 HAS SOPS 187613 HAS SOUS 94635 HAS SOUPS 93320 WITH SCORE 93508.928
AT ITER 1451 NEW BEST:: SOT 265782 SOS 188950 HAS SOPS 187635 HAS SOUS 94631 HAS SOUPS 93316 WITH SCORE 93504.95
AT ITER 1454 NEW BEST:: SOT 265512 SOS 188680 HAS SOPS 187365 HAS SOUS 94151 HAS SOUPS 92836 WITH SCORE 93024.68
AT ITER 1457 NEW BEST:: SOT 265512 SOS 188635 HAS SOPS 187320 HAS SOUS 94151 HAS SOUPS 92836 WITH SCORE 93024.635
AT ITER 1461 NEW BEST:: SOT 265497 SOS 188620 HAS SOPS 187305 HAS SOUS 94111 HAS SOUPS 92796 WITH SCORE 92984.62
AT ITER 1465 NEW BEST:: SOT 265450 SOS 188714 HAS SOPS 187399 HAS SOUS 94039 HAS SOUPS 92724 WITH SCORE 92912.714
AT ITER 1467 NEW BEST:: SOT 265496 SOS 188398 HAS SOPS 187083 HAS SOUS 94039 HAS SOUPS 92724 WITH SCORE 92912.398
AT ITER 1468 NEW BEST:: SOT 265213 SOS 188150 HAS SOPS 186835 HAS SOUS 94009 HAS SOUPS 92694 WITH SCORE 92882.15
AT ITER 1472 NEW BEST:: SOT 265207 SOS 188144 HAS SOPS 186829 HAS SOUS 93997 HAS SOUPS 92682 WITH SCORE 92870.144
AT ITER 1473 NEW BEST:: SOT 265179 SOS 188116 HAS SOPS 186801 HAS SOUS 93941 HAS SOUPS 92626 WITH SCORE 92814.116
AT ITER 1476 NEW BEST:: SOT 265179 SOS 187854 HAS SOPS 186539 HAS SOUS 93941 HAS SOUPS 92626 WITH SCORE 92813.854
AT ITER 1478 NEW BEST:: SOT 265179 SOS 187847 HAS SOPS 186532 HAS SOUS 93941 HAS SOUPS 92626 WITH SCORE 92813.847
AT ITER 1479 NEW BEST:: SOT 265179 SOS 187830 HAS SOPS 186515 HAS SOUS 93941 HAS SOUPS 92626 WITH SCORE 92813.83
AT ITER 1496 NEW BEST:: SOT 265159 SOS 187713 HAS SOPS 186398 HAS SOUS 93901 HAS SOUPS 92586 WITH SCORE 92773.713
AT ITER 1500 NEW BEST:: SOT 265159 SOS 187713 HAS SOPS 186398 HAS SOUS 93860 HAS SOUPS 92545 WITH SCORE 92732.713
AT ITER 1503 NEW BEST:: SOT 265176 SOS 187396 HAS SOPS 186036 HAS SOUS 93754 HAS SOUPS 92394 WITH SCORE 92581.396
AT ITER 1504 NEW BEST:: SOT 265171 SOS 187386 HAS SOPS 186026 HAS SOUS 93739 HAS SOUPS 92379 WITH SCORE 92566.386
AT ITER 1527 NEW BEST:: SOT 265161 SOS 187376 HAS SOPS 186016 HAS SOUS 93719 HAS SOUPS 92359 WITH SCORE 92546.376
AT ITER 1531 NEW BEST:: SOT 265030 SOS 187873 HAS SOPS 186498 HAS SOUS 93503 HAS SOUPS 92128 WITH SCORE 92315.873
AT ITER 1544 NEW BEST:: SOT 264852 SOS 187695 HAS SOPS 186320 HAS SOUS 93147 HAS SOUPS 91772 WITH SCORE 91959.695
AT ITER 1546 NEW BEST:: SOT 264818 SOS 187661 HAS SOPS 186320 HAS SOUS 93113 HAS SOUPS 91772 WITH SCORE 91959.661
AT ITER 1556 NEW BEST:: SOT 264798 SOS 187641 HAS SOPS 186300 HAS SOUS 93081 HAS SOUPS 91740 WITH SCORE 91927.641
AT ITER 1557 NEW BEST:: SOT 264581 SOS 187424 HAS SOPS 186083 HAS SOUS 92750 HAS SOUPS 91409 WITH SCORE 91596.424
AT ITER 1558 NEW BEST:: SOT 264315 SOS 187158 HAS SOPS 185817 HAS SOUS 92312 HAS SOUPS 90971 WITH SCORE 91158.158
AT ITER 1563 NEW BEST:: SOT 264315 SOS 187080 HAS SOPS 185739 HAS SOUS 92312 HAS SOUPS 90971 WITH SCORE 91158.08
AT ITER 1569 NEW BEST:: SOT 264696 SOS 186610 HAS SOPS 185269 HAS SOUS 92286 HAS SOUPS 90945 WITH SCORE 91131.61
AT ITER 1571 NEW BEST:: SOT 264600 SOS 186514 HAS SOPS 185173 HAS SOUS 92155 HAS SOUPS 90814 WITH SCORE 91000.514
AT ITER 1574 NEW BEST:: SOT 264600 SOS 186346 HAS SOPS 185026 HAS SOUS 92134 HAS SOUPS 90814 WITH SCORE 91000.346
AT ITER 1576 NEW BEST:: SOT 264484 SOS 186230 HAS SOPS 184910 HAS SOUS 92082 HAS SOUPS 90762 WITH SCORE 90948.23
AT ITER 1581 NEW BEST:: SOT 264452 SOS 186198 HAS SOPS 184878 HAS SOUS 92018 HAS SOUPS 90698 WITH SCORE 90884.198
AT ITER 1584 NEW BEST:: SOT 264452 SOS 186197 HAS SOPS 184877 HAS SOUS 92018 HAS SOUPS 90698 WITH SCORE 90884.197
AT ITER 1597 NEW BEST:: SOT 264270 SOS 186015 HAS SOPS 184695 HAS SOUS 91870 HAS SOUPS 90550 WITH SCORE 90736.015
AT ITER 1601 NEW BEST:: SOT 264185 SOS 185930 HAS SOPS 184610 HAS SOUS 91756 HAS SOUPS 90436 WITH SCORE 90621.93
AT ITER 1605 NEW BEST:: SOT 264126 SOS 185849 HAS SOPS 184529 HAS SOUS 91686 HAS SOUPS 90366 WITH SCORE 90551.849
AT ITER 1610 NEW BEST:: SOT 263921 SOS 185674 HAS SOPS 184354 HAS SOUS 91656 HAS SOUPS 90336 WITH SCORE 90521.674
AT ITER 1612 NEW BEST:: SOT 263889 SOS 185642 HAS SOPS 184322 HAS SOUS 91592 HAS SOUPS 90272 WITH SCORE 90457.642
AT ITER 1616 NEW BEST:: SOT 263880 SOS 185680 HAS SOPS 184360 HAS SOUS 91574 HAS SOUPS 90254 WITH SCORE 90439.68
AT ITER 1618 NEW BEST:: SOT 263856 SOS 185656 HAS SOPS 184336 HAS SOUS 91538 HAS SOUPS 90218 WITH SCORE 90403.656
AT ITER 1629 NEW BEST:: SOT 263856 SOS 185383 HAS SOPS 184107 HAS SOUS 91494 HAS SOUPS 90218 WITH SCORE 90403.383
AT ITER 1630 NEW BEST:: SOT 263806 SOS 185333 HAS SOPS 184057 HAS SOUS 91416 HAS SOUPS 90140 WITH SCORE 90325.333
AT ITER 1631 NEW BEST:: SOT 263814 SOS 185341 HAS SOPS 184065 HAS SOUS 91330 HAS SOUPS 90054 WITH SCORE 90239.341
AT ITER 1637 NEW BEST:: SOT 263525 SOS 185330 HAS SOPS 184078 HAS SOUS 91040 HAS SOUPS 89788 WITH SCORE 89973.33
AT ITER 1638 NEW BEST:: SOT 263525 SOS 185276 HAS SOPS 184024 HAS SOUS 91022 HAS SOUPS 89770 WITH SCORE 89955.276
AT ITER 1649 NEW BEST:: SOT 263476 SOS 185227 HAS SOPS 183975 HAS SOUS 90924 HAS SOUPS 89672 WITH SCORE 89857.227
AT ITER 1650 NEW BEST:: SOT 263440 SOS 185191 HAS SOPS 183939 HAS SOUS 90852 HAS SOUPS 89600 WITH SCORE 89785.191
AT ITER 1652 NEW BEST:: SOT 263443 SOS 185178 HAS SOPS 183921 HAS SOUS 90851 HAS SOUPS 89594 WITH SCORE 89779.178
AT ITER 1661 NEW BEST:: SOT 263443 SOS 185174 HAS SOPS 183919 HAS SOUS 90849 HAS SOUPS 89594 WITH SCORE 89779.174
AT ITER 1667 NEW BEST:: SOT 263254 SOS 184985 HAS SOPS 183730 HAS SOUS 90471 HAS SOUPS 89216 WITH SCORE 89400.985
AT ITER 1675 NEW BEST:: SOT 263224 SOS 184955 HAS SOPS 183700 HAS SOUS 90411 HAS SOUPS 89156 WITH SCORE 89340.955
AT ITER 1684 NEW BEST:: SOT 263194 SOS 184925 HAS SOPS 183670 HAS SOUS 90381 HAS SOUPS 89126 WITH SCORE 89310.925
AT ITER 1695 NEW BEST:: SOT 263144 SOS 184875 HAS SOPS 183620 HAS SOUS 90281 HAS SOUPS 89026 WITH SCORE 89210.875
AT ITER 1701 NEW BEST:: SOT 263144 SOS 184875 HAS SOPS 183620 HAS SOUS 90279 HAS SOUPS 89024 WITH SCORE 89208.875
AT ITER 1706 NEW BEST:: SOT 263084 SOS 184770 HAS SOPS 183565 HAS SOUS 90198 HAS SOUPS 88993 WITH SCORE 89177.77
AT ITER 1714 NEW BEST:: SOT 263084 SOS 184765 HAS SOPS 183560 HAS SOUS 90198 HAS SOUPS 88993 WITH SCORE 89177.765
AT ITER 1717 NEW BEST:: SOT 263064 SOS 184731 HAS SOPS 183526 HAS SOUS 90144 HAS SOUPS 88939 WITH SCORE 89123.731
AT ITER 1723 NEW BEST:: SOT 263056 SOS 184723 HAS SOPS 183518 HAS SOUS 90136 HAS SOUPS 88931 WITH SCORE 89115.723
AT ITER 1734 NEW BEST:: SOT 262970 SOS 184637 HAS SOPS 183432 HAS SOUS 89964 HAS SOUPS 88759 WITH SCORE 88943.637
AT ITER 1742 NEW BEST:: SOT 262959 SOS 184674 HAS SOPS 183469 HAS SOUS 89935 HAS SOUPS 88730 WITH SCORE 88914.674
AT ITER 1743 NEW BEST:: SOT 262869 SOS 185127 HAS SOPS 183994 HAS SOUS 89848 HAS SOUPS 88715 WITH SCORE 88900.127
AT ITER 1749 NEW BEST:: SOT 262716 SOS 185037 HAS SOPS 183904 HAS SOUS 89795 HAS SOUPS 88662 WITH SCORE 88847.037
AT ITER 1761 NEW BEST:: SOT 262715 SOS 185036 HAS SOPS 183903 HAS SOUS 89792 HAS SOUPS 88659 WITH SCORE 88844.036
AT ITER 1774 NEW BEST:: SOT 262567 SOS 184913 HAS SOPS 183780 HAS SOUS 89673 HAS SOUPS 88540 WITH SCORE 88724.913
AT ITER 1777 NEW BEST:: SOT 262566 SOS 184912 HAS SOPS 183779 HAS SOUS 89671 HAS SOUPS 88538 WITH SCORE 88722.912
AT ITER 1787 NEW BEST:: SOT 262524 SOS 184864 HAS SOPS 183731 HAS SOUS 89587 HAS SOUPS 88454 WITH SCORE 88638.864
AT ITER 1790 NEW BEST:: SOT 262471 SOS 186000 HAS SOPS 184803 HAS SOUS 89598 HAS SOUPS 88401 WITH SCORE 88587.0
AT ITER 1805 NEW BEST:: SOT 262217 SOS 185746 HAS SOPS 184549 HAS SOUS 89303 HAS SOUPS 88106 WITH SCORE 88291.746
AT ITER 1811 NEW BEST:: SOT 262215 SOS 185744 HAS SOPS 184547 HAS SOUS 89299 HAS SOUPS 88102 WITH SCORE 88287.744
AT ITER 1813 NEW BEST:: SOT 262178 SOS 185542 HAS SOPS 184345 HAS SOUS 88905 HAS SOUPS 87708 WITH SCORE 87893.542
AT ITER 1814 NEW BEST:: SOT 262122 SOS 185486 HAS SOPS 184289 HAS SOUS 88793 HAS SOUPS 87596 WITH SCORE 87781.486
AT ITER 1819 NEW BEST:: SOT 262100 SOS 185717 HAS SOPS 184520 HAS SOUS 88727 HAS SOUPS 87530 WITH SCORE 87715.717
AT ITER 1822 NEW BEST:: SOT 262085 SOS 185705 HAS SOPS 184508 HAS SOUS 88715 HAS SOUPS 87518 WITH SCORE 87703.705
AT ITER 1823 NEW BEST:: SOT 261988 SOS 185608 HAS SOPS 184411 HAS SOUS 88563 HAS SOUPS 87366 WITH SCORE 87551.608
AT ITER 1830 NEW BEST:: SOT 261835 SOS 185455 HAS SOPS 184258 HAS SOUS 88286 HAS SOUPS 87089 WITH SCORE 87274.455
AT ITER 1831 NEW BEST:: SOT 261784 SOS 185404 HAS SOPS 184207 HAS SOUS 88133 HAS SOUPS 86936 WITH SCORE 87121.404
AT ITER 1832 NEW BEST:: SOT 261796 SOS 185386 HAS SOPS 184161 HAS SOUS 88131 HAS SOUPS 86906 WITH SCORE 87091.386
AT ITER 1835 NEW BEST:: SOT 261796 SOS 185060 HAS SOPS 183849 HAS SOUS 88117 HAS SOUPS 86906 WITH SCORE 87091.06
AT ITER 1841 NEW BEST:: SOT 261864 SOS 185088 HAS SOPS 183877 HAS SOUS 88093 HAS SOUPS 86882 WITH SCORE 87067.088
AT ITER 1843 NEW BEST:: SOT 261780 SOS 184857 HAS SOPS 183646 HAS SOUS 87803 HAS SOUPS 86592 WITH SCORE 86776.857
AT ITER 1857 NEW BEST:: SOT 261724 SOS 184801 HAS SOPS 183590 HAS SOUS 87691 HAS SOUPS 86480 WITH SCORE 86664.801
AT ITER 1860 NEW BEST:: SOT 261677 SOS 184754 HAS SOPS 183543 HAS SOUS 87597 HAS SOUPS 86386 WITH SCORE 86570.754
AT ITER 1866 NEW BEST:: SOT 261625 SOS 184702 HAS SOPS 183491 HAS SOUS 87493 HAS SOUPS 86282 WITH SCORE 86466.702
AT ITER 1868 NEW BEST:: SOT 261613 SOS 184854 HAS SOPS 183643 HAS SOUS 87457 HAS SOUPS 86246 WITH SCORE 86430.854
AT ITER 1879 NEW BEST:: SOT 261681 SOS 184872 HAS SOPS 183661 HAS SOUS 87379 HAS SOUPS 86168 WITH SCORE 86352.872
AT ITER 1885 NEW BEST:: SOT 261678 SOS 184869 HAS SOPS 183658 HAS SOUS 87376 HAS SOUPS 86165 WITH SCORE 86349.869
AT ITER 1888 NEW BEST:: SOT 261624 SOS 184815 HAS SOPS 183604 HAS SOUS 87268 HAS SOUPS 86057 WITH SCORE 86241.815
AT ITER 1889 NEW BEST:: SOT 261384 SOS 184575 HAS SOPS 183364 HAS SOUS 86846 HAS SOUPS 85635 WITH SCORE 85819.575
AT ITER 1890 NEW BEST:: SOT 261366 SOS 184557 HAS SOPS 183346 HAS SOUS 86828 HAS SOUPS 85617 WITH SCORE 85801.557
AT ITER 1892 NEW BEST:: SOT 261214 SOS 184405 HAS SOPS 183194 HAS SOUS 86618 HAS SOUPS 85407 WITH SCORE 85591.405
AT ITER 1928 NEW BEST:: SOT 261199 SOS 184390 HAS SOPS 183179 HAS SOUS 86588 HAS SOUPS 85377 WITH SCORE 85561.39
AT ITER 1931 NEW BEST:: SOT 261197 SOS 184388 HAS SOPS 183177 HAS SOUS 86584 HAS SOUPS 85373 WITH SCORE 85557.388
AT ITER 1937 NEW BEST:: SOT 261191 SOS 184382 HAS SOPS 183171 HAS SOUS 86572 HAS SOUPS 85361 WITH SCORE 85545.382
AT ITER 1939 NEW BEST:: SOT 261142 SOS 184357 HAS SOPS 183146 HAS SOUS 86514 HAS SOUPS 85303 WITH SCORE 85487.357
AT ITER 1940 NEW BEST:: SOT 261133 SOS 184276 HAS SOPS 183065 HAS SOUS 86487 HAS SOUPS 85276 WITH SCORE 85460.276
AT ITER 1941 NEW BEST:: SOT 261103 SOS 184246 HAS SOPS 183035 HAS SOUS 86427 HAS SOUPS 85216 WITH SCORE 85400.246
AT ITER 1943 NEW BEST:: SOT 261049 SOS 184610 HAS SOPS 183399 HAS SOUS 86335 HAS SOUPS 85124 WITH SCORE 85308.61
AT ITER 1944 NEW BEST:: SOT 261039 SOS 184590 HAS SOPS 183399 HAS SOUS 86315 HAS SOUPS 85124 WITH SCORE 85308.59
AT ITER 1951 NEW BEST:: SOT 261039 SOS 184580 HAS SOPS 183389 HAS SOUS 86315 HAS SOUPS 85124 WITH SCORE 85308.58
AT ITER 1952 NEW BEST:: SOT 261039 SOS 184555 HAS SOPS 183364 HAS SOUS 86315 HAS SOUPS 85124 WITH SCORE 85308.555
AT ITER 1963 NEW BEST:: SOT 261020 SOS 184536 HAS SOPS 183345 HAS SOUS 86277 HAS SOUPS 85086 WITH SCORE 85270.536
AT ITER 1965 NEW BEST:: SOT 260989 SOS 184505 HAS SOPS 183314 HAS SOUS 86215 HAS SOUPS 85024 WITH SCORE 85208.505
AT ITER 1973 NEW BEST:: SOT 260905 SOS 184421 HAS SOPS 183230 HAS SOUS 86131 HAS SOUPS 84940 WITH SCORE 85124.421
AT ITER 1977 NEW BEST:: SOT 261027 SOS 184510 HAS SOPS 183319 HAS SOUS 86123 HAS SOUPS 84932 WITH SCORE 85116.51
AT ITER 1980 NEW BEST:: SOT 261016 SOS 184359 HAS SOPS 183243 HAS SOUS 85984 HAS SOUPS 84868 WITH SCORE 85052.359
AT ITER 1997 NEW BEST:: SOT 261012 SOS 184355 HAS SOPS 183239 HAS SOUS 85980 HAS SOUPS 84864 WITH SCORE 85048.355
AT ITER 2000 NEW BEST:: SOT 261006 SOS 184349 HAS SOPS 183233 HAS SOUS 85968 HAS SOUPS 84852 WITH SCORE 85036.349
AT ITER 2005 NEW BEST:: SOT 260983 SOS 184326 HAS SOPS 183210 HAS SOUS 85922 HAS SOUPS 84806 WITH SCORE 84990.326
AT ITER 2008 NEW BEST:: SOT 260935 SOS 184278 HAS SOPS 183162 HAS SOUS 85826 HAS SOUPS 84710 WITH SCORE 84894.278
AT ITER 2011 NEW BEST:: SOT 260904 SOS 184030 HAS SOPS 182914 HAS SOUS 85733 HAS SOUPS 84617 WITH SCORE 84801.03
AT ITER 2017 NEW BEST:: SOT 260713 SOS 183921 HAS SOPS 182805 HAS SOUS 85720 HAS SOUPS 84604 WITH SCORE 84787.921
AT ITER 2022 NEW BEST:: SOT 260129 SOS 183476 HAS SOPS 182360 HAS SOUS 85491 HAS SOUPS 84375 WITH SCORE 84558.476
AT ITER 2025 NEW BEST:: SOT 260129 SOS 183457 HAS SOPS 182360 HAS SOUS 85472 HAS SOUPS 84375 WITH SCORE 84558.457
AT ITER 2036 NEW BEST:: SOT 260109 SOS 183437 HAS SOPS 182340 HAS SOUS 85432 HAS SOUPS 84335 WITH SCORE 84518.437
AT ITER 2037 NEW BEST:: SOT 260070 SOS 183405 HAS SOPS 182308 HAS SOUS 85408 HAS SOUPS 84311 WITH SCORE 84494.405
AT ITER 2042 NEW BEST:: SOT 260101 SOS 183267 HAS SOPS 182118 HAS SOUS 85383 HAS SOUPS 84234 WITH SCORE 84417.267
AT ITER 2046 NEW BEST:: SOT 260101 SOS 183241 HAS SOPS 182092 HAS SOUS 85383 HAS SOUPS 84234 WITH SCORE 84417.241
AT ITER 2047 NEW BEST:: SOT 260099 SOS 183239 HAS SOPS 182090 HAS SOUS 85383 HAS SOUPS 84234 WITH SCORE 84417.239
AT ITER 2067 NEW BEST:: SOT 259767 SOS 183710 HAS SOPS 182635 HAS SOUS 85133 HAS SOUPS 84058 WITH SCORE 84241.71
AT ITER 2078 NEW BEST:: SOT 259720 SOS 183663 HAS SOPS 182588 HAS SOUS 85039 HAS SOUPS 83964 WITH SCORE 84147.663
AT ITER 2081 NEW BEST:: SOT 259195 SOS 183367 HAS SOPS 182292 HAS SOUS 84984 HAS SOUPS 83909 WITH SCORE 84092.367
AT ITER 2090 NEW BEST:: SOT 259195 SOS 183374 HAS SOPS 182299 HAS SOUS 84914 HAS SOUPS 83839 WITH SCORE 84022.374
AT ITER 2097 NEW BEST:: SOT 259170 SOS 183199 HAS SOPS 182099 HAS SOUS 84864 HAS SOUPS 83764 WITH SCORE 83947.199
AT ITER 2099 NEW BEST:: SOT 259170 SOS 183151 HAS SOPS 182051 HAS SOUS 84846 HAS SOUPS 83746 WITH SCORE 83929.151
AT ITER 2112 NEW BEST:: SOT 259164 SOS 183145 HAS SOPS 182045 HAS SOUS 84834 HAS SOUPS 83734 WITH SCORE 83917.145
AT ITER 2113 NEW BEST:: SOT 259136 SOS 183074 HAS SOPS 181974 HAS SOUS 84778 HAS SOUPS 83678 WITH SCORE 83861.074
AT ITER 2130 NEW BEST:: SOT 259132 SOS 183699 HAS SOPS 182599 HAS SOUS 84766 HAS SOUPS 83666 WITH SCORE 83849.699
AT ITER 2155 NEW BEST:: SOT 258754 SOS 183341 HAS SOPS 182241 HAS SOUS 84350 HAS SOUPS 83250 WITH SCORE 83433.341
AT ITER 2158 NEW BEST:: SOT 258616 SOS 183201 HAS SOPS 182101 HAS SOUS 84224 HAS SOUPS 83124 WITH SCORE 83307.201
AT ITER 2166 NEW BEST:: SOT 258574 SOS 183159 HAS SOPS 182059 HAS SOUS 84187 HAS SOUPS 83087 WITH SCORE 83270.159
AT ITER 2174 NEW BEST:: SOT 258430 SOS 183015 HAS SOPS 181915 HAS SOUS 83899 HAS SOUPS 82799 WITH SCORE 82982.015
AT ITER 2187 NEW BEST:: SOT 258445 SOS 183025 HAS SOPS 181925 HAS SOUS 83889 HAS SOUPS 82789 WITH SCORE 82972.025
AT ITER 2201 NEW BEST:: SOT 258323 SOS 182903 HAS SOPS 181803 HAS SOUS 83645 HAS SOUPS 82545 WITH SCORE 82727.903
AT ITER 2224 NEW BEST:: SOT 258238 SOS 182818 HAS SOPS 181718 HAS SOUS 83475 HAS SOUPS 82375 WITH SCORE 82557.818
AT ITER 2226 NEW BEST:: SOT 258301 SOS 182677 HAS SOPS 181562 HAS SOUS 83440 HAS SOUPS 82325 WITH SCORE 82507.677
AT ITER 2238 NEW BEST:: SOT 258272 SOS 182416 HAS SOPS 181301 HAS SOUS 83353 HAS SOUPS 82238 WITH SCORE 82420.416
AT ITER 2239 NEW BEST:: SOT 258190 SOS 182334 HAS SOPS 181219 HAS SOUS 83189 HAS SOUPS 82074 WITH SCORE 82256.334
AT ITER 2259 NEW BEST:: SOT 258143 SOS 182287 HAS SOPS 181172 HAS SOUS 83095 HAS SOUPS 81980 WITH SCORE 82162.287
AT ITER 2270 NEW BEST:: SOT 258143 SOS 182201 HAS SOPS 181086 HAS SOUS 83095 HAS SOUPS 81980 WITH SCORE 82162.201
AT ITER 2282 NEW BEST:: SOT 258082 SOS 182140 HAS SOPS 181025 HAS SOUS 82973 HAS SOUPS 81858 WITH SCORE 82040.14
AT ITER 2283 NEW BEST:: SOT 258020 SOS 182078 HAS SOPS 180963 HAS SOUS 82937 HAS SOUPS 81822 WITH SCORE 82004.078
AT ITER 2290 NEW BEST:: SOT 257926 SOS 181984 HAS SOPS 180869 HAS SOUS 82749 HAS SOUPS 81634 WITH SCORE 81815.984
AT ITER 2291 NEW BEST:: SOT 257752 SOS 182420 HAS SOPS 181305 HAS SOUS 82743 HAS SOUPS 81628 WITH SCORE 81810.42
AT ITER 2298 NEW BEST:: SOT 257604 SOS 182272 HAS SOPS 181157 HAS SOUS 82447 HAS SOUPS 81332 WITH SCORE 81514.272
AT ITER 2305 NEW BEST:: SOT 255607 SOS 180532 HAS SOPS 179417 HAS SOUS 82446 HAS SOUPS 81331 WITH SCORE 81511.532
AT ITER 2307 NEW BEST:: SOT 255531 SOS 180456 HAS SOPS 179341 HAS SOUS 82396 HAS SOUPS 81281 WITH SCORE 81461.456
AT ITER 2313 NEW BEST:: SOT 255523 SOS 180448 HAS SOPS 179333 HAS SOUS 82380 HAS SOUPS 81265 WITH SCORE 81445.448
AT ITER 2317 NEW BEST:: SOT 255391 SOS 181265 HAS SOPS 180120 HAS SOUS 82184 HAS SOUPS 81039 WITH SCORE 81220.265
AT ITER 2329 NEW BEST:: SOT 255376 SOS 181250 HAS SOPS 180105 HAS SOUS 82154 HAS SOUPS 81009 WITH SCORE 81190.25
AT ITER 2347 NEW BEST:: SOT 255320 SOS 181194 HAS SOPS 180049 HAS SOUS 82042 HAS SOUPS 80897 WITH SCORE 81078.194
AT ITER 2350 NEW BEST:: SOT 255296 SOS 180978 HAS SOPS 179833 HAS SOUS 81970 HAS SOUPS 80825 WITH SCORE 81005.978
AT ITER 2374 NEW BEST:: SOT 255226 SOS 180908 HAS SOPS 179763 HAS SOUS 81794 HAS SOUPS 80649 WITH SCORE 80829.908
AT ITER 2380 NEW BEST:: SOT 255217 SOS 180899 HAS SOPS 179754 HAS SOUS 81776 HAS SOUPS 80631 WITH SCORE 80811.899
AT ITER 2381 NEW BEST:: SOT 255195 SOS 181530 HAS SOPS 180385 HAS SOUS 81710 HAS SOUPS 80565 WITH SCORE 80746.53
AT ITER 2382 NEW BEST:: SOT 255189 SOS 181524 HAS SOPS 180379 HAS SOUS 81698 HAS SOUPS 80553 WITH SCORE 80734.524
AT ITER 2397 NEW BEST:: SOT 255069 SOS 181404 HAS SOPS 180259 HAS SOUS 81458 HAS SOUPS 80313 WITH SCORE 80494.404
AT ITER 2398 NEW BEST:: SOT 255064 SOS 181399 HAS SOPS 180254 HAS SOUS 81448 HAS SOUPS 80303 WITH SCORE 80484.399
AT ITER 2406 NEW BEST:: SOT 255044 SOS 181379 HAS SOPS 180234 HAS SOUS 81408 HAS SOUPS 80263 WITH SCORE 80444.379
AT ITER 2411 NEW BEST:: SOT 255007 SOS 181342 HAS SOPS 180197 HAS SOUS 81334 HAS SOUPS 80189 WITH SCORE 80370.342
AT ITER 2417 NEW BEST:: SOT 254951 SOS 181286 HAS SOPS 180141 HAS SOUS 81246 HAS SOUPS 80101 WITH SCORE 80282.286
AT ITER 2426 NEW BEST:: SOT 254850 SOS 181224 HAS SOPS 180079 HAS SOUS 81223 HAS SOUPS 80078 WITH SCORE 80259.224
AT ITER 2450 NEW BEST:: SOT 254820 SOS 181194 HAS SOPS 180049 HAS SOUS 81169 HAS SOUPS 80024 WITH SCORE 80205.194
AT ITER 2455 NEW BEST:: SOT 254758 SOS 181188 HAS SOPS 180049 HAS SOUS 81163 HAS SOUPS 80024 WITH SCORE 80205.188
AT ITER 2474 NEW BEST:: SOT 254741 SOS 181004 HAS SOPS 179896 HAS SOUS 81081 HAS SOUPS 79973 WITH SCORE 80154.004
AT ITER 2475 NEW BEST:: SOT 254740 SOS 181003 HAS SOPS 179895 HAS SOUS 81079 HAS SOUPS 79971 WITH SCORE 80152.003
AT ITER 2478 NEW BEST:: SOT 254740 SOS 180929 HAS SOPS 179821 HAS SOUS 80965 HAS SOUPS 79857 WITH SCORE 80037.929
AT ITER 2485 NEW BEST:: SOT 254740 SOS 180333 HAS SOPS 179225 HAS SOUS 80965 HAS SOUPS 79857 WITH SCORE 80037.333
AT ITER 2492 NEW BEST:: SOT 254740 SOS 180264 HAS SOPS 179225 HAS SOUS 80896 HAS SOUPS 79857 WITH SCORE 80037.264
AT ITER 2495 NEW BEST:: SOT 254723 SOS 180247 HAS SOPS 179208 HAS SOUS 80862 HAS SOUPS 79823 WITH SCORE 80003.247
AT ITER 2508 NEW BEST:: SOT 254579 SOS 180103 HAS SOPS 179064 HAS SOUS 80574 HAS SOUPS 79535 WITH SCORE 79715.103
AT ITER 2509 NEW BEST:: SOT 254422 SOS 179946 HAS SOPS 178907 HAS SOUS 80263 HAS SOUPS 79224 WITH SCORE 79403.946
AT ITER 2511 NEW BEST:: SOT 254383 SOS 179907 HAS SOPS 178868 HAS SOUS 80259 HAS SOUPS 79220 WITH SCORE 79399.907
AT ITER 2547 NEW BEST:: SOT 254295 SOS 179805 HAS SOPS 178766 HAS SOUS 80039 HAS SOUPS 79000 WITH SCORE 79179.805
AT ITER 2548 NEW BEST:: SOT 254284 SOS 180683 HAS SOPS 179560 HAS SOUS 80112 HAS SOUPS 78989 WITH SCORE 79169.683
AT ITER 2550 NEW BEST:: SOT 253978 SOS 180377 HAS SOPS 179254 HAS SOUS 79596 HAS SOUPS 78473 WITH SCORE 78653.377
AT ITER 2551 NEW BEST:: SOT 253972 SOS 180371 HAS SOPS 179248 HAS SOUS 79584 HAS SOUPS 78461 WITH SCORE 78641.371
AT ITER 2553 NEW BEST:: SOT 253966 SOS 180365 HAS SOPS 179242 HAS SOUS 79476 HAS SOUPS 78353 WITH SCORE 78533.365
AT ITER 2586 NEW BEST:: SOT 253889 SOS 180288 HAS SOPS 179165 HAS SOUS 79360 HAS SOUPS 78237 WITH SCORE 78417.288
AT ITER 2597 NEW BEST:: SOT 253888 SOS 180258 HAS SOPS 179156 HAS SOUS 79336 HAS SOUPS 78234 WITH SCORE 78414.258
AT ITER 2613 NEW BEST:: SOT 253868 SOS 180248 HAS SOPS 179146 HAS SOUS 79316 HAS SOUPS 78214 WITH SCORE 78394.248
AT ITER 2619 NEW BEST:: SOT 253818 SOS 180198 HAS SOPS 179096 HAS SOUS 79216 HAS SOUPS 78114 WITH SCORE 78294.198
AT ITER 2621 NEW BEST:: SOT 253664 SOS 180062 HAS SOPS 178960 HAS SOUS 79130 HAS SOUPS 78028 WITH SCORE 78208.062
AT ITER 2633 NEW BEST:: SOT 253606 SOS 180004 HAS SOPS 178902 HAS SOUS 79014 HAS SOUPS 77912 WITH SCORE 78092.004
AT ITER 2641 NEW BEST:: SOT 253506 SOS 179851 HAS SOPS 178749 HAS SOUS 78617 HAS SOUPS 77515 WITH SCORE 77694.851
AT ITER 2658 NEW BEST:: SOT 253476 SOS 179821 HAS SOPS 178719 HAS SOUS 78557 HAS SOUPS 77455 WITH SCORE 77634.821
AT ITER 2666 NEW BEST:: SOT 253524 SOS 179833 HAS SOPS 178731 HAS SOUS 78482 HAS SOUPS 77380 WITH SCORE 77559.833
AT ITER 2675 NEW BEST:: SOT 253506 SOS 179984 HAS SOPS 178863 HAS SOUS 78447 HAS SOUPS 77326 WITH SCORE 77505.984
AT ITER 2713 NEW BEST:: SOT 253480 SOS 179973 HAS SOPS 178852 HAS SOUS 78395 HAS SOUPS 77274 WITH SCORE 77453.973
AT ITER 2721 NEW BEST:: SOT 253441 SOS 179934 HAS SOPS 178813 HAS SOUS 78238 HAS SOUPS 77117 WITH SCORE 77296.934
AT ITER 2722 NEW BEST:: SOT 253422 SOS 180027 HAS SOPS 178906 HAS SOUS 78214 HAS SOUPS 77093 WITH SCORE 77273.027
AT ITER 2729 NEW BEST:: SOT 253305 SOS 179910 HAS SOPS 178789 HAS SOUS 77980 HAS SOUPS 76859 WITH SCORE 77038.91
AT ITER 2732 NEW BEST:: SOT 252991 SOS 180084 HAS SOPS 178963 HAS SOUS 77751 HAS SOUPS 76630 WITH SCORE 76810.084
AT ITER 2738 NEW BEST:: SOT 252991 SOS 179925 HAS SOPS 178804 HAS SOUS 77751 HAS SOUPS 76630 WITH SCORE 76809.925
AT ITER 2757 NEW BEST:: SOT 252983 SOS 179917 HAS SOPS 178796 HAS SOUS 77735 HAS SOUPS 76614 WITH SCORE 76793.917
AT ITER 2770 NEW BEST:: SOT 252983 SOS 179906 HAS SOPS 178785 HAS SOUS 77735 HAS SOUPS 76614 WITH SCORE 76793.906
AT ITER 2774 NEW BEST:: SOT 252983 SOS 179891 HAS SOPS 178770 HAS SOUS 77735 HAS SOUPS 76614 WITH SCORE 76793.891
AT ITER 2779 NEW BEST:: SOT 252975 SOS 179883 HAS SOPS 178762 HAS SOUS 77719 HAS SOUPS 76598 WITH SCORE 76777.883
AT ITER 2784 NEW BEST:: SOT 252886 SOS 179794 HAS SOPS 178673 HAS SOUS 77558 HAS SOUPS 76437 WITH SCORE 76616.794
AT ITER 2791 NEW BEST:: SOT 252885 SOS 179793 HAS SOPS 178672 HAS SOUS 77557 HAS SOUPS 76436 WITH SCORE 76615.793
AT ITER 2813 NEW BEST:: SOT 252845 SOS 179753 HAS SOPS 178632 HAS SOUS 77477 HAS SOUPS 76356 WITH SCORE 76535.753
AT ITER 2820 NEW BEST:: SOT 252749 SOS 179657 HAS SOPS 178536 HAS SOUS 77381 HAS SOUPS 76260 WITH SCORE 76439.657
AT ITER 2824 NEW BEST:: SOT 252747 SOS 179655 HAS SOPS 178534 HAS SOUS 77377 HAS SOUPS 76256 WITH SCORE 76435.655
AT ITER 2843 NEW BEST:: SOT 252747 SOS 179606 HAS SOPS 178486 HAS SOUS 77376 HAS SOUPS 76256 WITH SCORE 76435.606
AT ITER 2865 NEW BEST:: SOT 252743 SOS 179602 HAS SOPS 178482 HAS SOUS 77368 HAS SOUPS 76248 WITH SCORE 76427.602
AT ITER 2871 NEW BEST:: SOT 252643 SOS 179502 HAS SOPS 178382 HAS SOUS 77264 HAS SOUPS 76144 WITH SCORE 76323.502
AT ITER 2880 NEW BEST:: SOT 252555 SOS 179440 HAS SOPS 178382 HAS SOUS 77202 HAS SOUPS 76144 WITH SCORE 76323.44
AT ITER 2881 NEW BEST:: SOT 252555 SOS 179396 HAS SOPS 178338 HAS SOUS 77202 HAS SOUPS 76144 WITH SCORE 76323.396
AT ITER 2886 NEW BEST:: SOT 252507 SOS 179348 HAS SOPS 178290 HAS SOUS 77154 HAS SOUPS 76096 WITH SCORE 76275.348
AT ITER 2895 NEW BEST:: SOT 252443 SOS 179284 HAS SOPS 178226 HAS SOUS 77026 HAS SOUPS 75968 WITH SCORE 76147.284
AT ITER 2896 NEW BEST:: SOT 252409 SOS 179250 HAS SOPS 178192 HAS SOUS 76958 HAS SOUPS 75900 WITH SCORE 76079.25
AT ITER 2902 NEW BEST:: SOT 250726 SOS 177890 HAS SOPS 176832 HAS SOUS 76786 HAS SOUPS 75728 WITH SCORE 75905.89
AT ITER 2905 NEW BEST:: SOT 250700 SOS 177864 HAS SOPS 176806 HAS SOUS 76747 HAS SOUPS 75689 WITH SCORE 75866.864
AT ITER 2914 NEW BEST:: SOT 250692 SOS 177856 HAS SOPS 176798 HAS SOUS 76731 HAS SOUPS 75673 WITH SCORE 75850.856
AT ITER 2921 NEW BEST:: SOT 250859 SOS 177970 HAS SOPS 176912 HAS SOUS 76689 HAS SOUPS 75631 WITH SCORE 75808.97
AT ITER 2928 NEW BEST:: SOT 250853 SOS 177964 HAS SOPS 176906 HAS SOUS 76677 HAS SOUPS 75619 WITH SCORE 75796.964
AT ITER 2930 NEW BEST:: SOT 250853 SOS 177949 HAS SOPS 176906 HAS SOUS 76662 HAS SOUPS 75619 WITH SCORE 75796.949
AT ITER 2949 NEW BEST:: SOT 250897 SOS 177918 HAS SOPS 176852 HAS SOUS 76628 HAS SOUPS 75562 WITH SCORE 75739.918
AT ITER 2962 NEW BEST:: SOT 250887 SOS 177828 HAS SOPS 176762 HAS SOUS 76598 HAS SOUPS 75532 WITH SCORE 75709.828
AT ITER 2967 NEW BEST:: SOT 250865 SOS 177806 HAS SOPS 176740 HAS SOUS 76554 HAS SOUPS 75488 WITH SCORE 75665.806
AT ITER 2981 NEW BEST:: SOT 250779 SOS 177720 HAS SOPS 176654 HAS SOUS 76382 HAS SOUPS 75316 WITH SCORE 75493.72
AT ITER 2983 NEW BEST:: SOT 250773 SOS 177714 HAS SOPS 176648 HAS SOUS 76370 HAS SOUPS 75304 WITH SCORE 75481.714
AT ITER 2990 NEW BEST:: SOT 250752 SOS 177693 HAS SOPS 176627 HAS SOUS 76330 HAS SOUPS 75264 WITH SCORE 75441.693
AT ITER 3002 NEW BEST:: SOT 250738 SOS 177679 HAS SOPS 176613 HAS SOUS 76302 HAS SOUPS 75236 WITH SCORE 75413.679
AT ITER 3030 NEW BEST:: SOT 250731 SOS 177672 HAS SOPS 176606 HAS SOUS 76288 HAS SOUPS 75222 WITH SCORE 75399.672
AT ITER 3041 NEW BEST:: SOT 250655 SOS 177596 HAS SOPS 176530 HAS SOUS 76109 HAS SOUPS 75043 WITH SCORE 75220.596
AT ITER 3047 NEW BEST:: SOT 250652 SOS 177593 HAS SOPS 176527 HAS SOUS 76103 HAS SOUPS 75037 WITH SCORE 75214.593
AT ITER 3078 NEW BEST:: SOT 250691 SOS 177539 HAS SOPS 176473 HAS SOUS 76085 HAS SOUPS 75019 WITH SCORE 75196.539
AT ITER 3083 NEW BEST:: SOT 250660 SOS 177508 HAS SOPS 176442 HAS SOUS 76085 HAS SOUPS 75019 WITH SCORE 75196.508
AT ITER 3099 NEW BEST:: SOT 250609 SOS 177457 HAS SOPS 176391 HAS SOUS 75983 HAS SOUPS 74917 WITH SCORE 75094.457
AT ITER 3100 NEW BEST:: SOT 250603 SOS 177451 HAS SOPS 176385 HAS SOUS 75971 HAS SOUPS 74905 WITH SCORE 75082.451
AT ITER 3125 NEW BEST:: SOT 250599 SOS 177447 HAS SOPS 176381 HAS SOUS 75963 HAS SOUPS 74897 WITH SCORE 75074.447
AT ITER 3132 NEW BEST:: SOT 250593 SOS 177441 HAS SOPS 176375 HAS SOUS 75951 HAS SOUPS 74885 WITH SCORE 75062.441
AT ITER 3138 NEW BEST:: SOT 250593 SOS 177423 HAS SOPS 176366 HAS SOUS 75942 HAS SOUPS 74885 WITH SCORE 75062.423
AT ITER 3173 NEW BEST:: SOT 250525 SOS 177392 HAS SOPS 176335 HAS SOUS 75918 HAS SOUPS 74861 WITH SCORE 75038.392
AT ITER 3208 NEW BEST:: SOT 250523 SOS 177391 HAS SOPS 176334 HAS SOUS 75916 HAS SOUPS 74859 WITH SCORE 75036.391
AT ITER 3217 NEW BEST:: SOT 250386 SOS 177288 HAS SOPS 176231 HAS SOUS 75866 HAS SOUPS 74809 WITH SCORE 74986.288
AT ITER 3227 NEW BEST:: SOT 250278 SOS 177180 HAS SOPS 176123 HAS SOUS 75653 HAS SOUPS 74596 WITH SCORE 74773.18
AT ITER 3250 NEW BEST:: SOT 250278 SOS 177173 HAS SOPS 176114 HAS SOUS 75652 HAS SOUPS 74593 WITH SCORE 74770.173
AT ITER 3256 NEW BEST:: SOT 250264 SOS 177159 HAS SOPS 176100 HAS SOUS 75624 HAS SOUPS 74565 WITH SCORE 74742.159
AT ITER 3289 NEW BEST:: SOT 250224 SOS 177119 HAS SOPS 176060 HAS SOUS 75544 HAS SOUPS 74485 WITH SCORE 74662.119
AT ITER 3296 NEW BEST:: SOT 250224 SOS 176790 HAS SOPS 175778 HAS SOUS 75497 HAS SOUPS 74485 WITH SCORE 74661.79
AT ITER 3298 NEW BEST:: SOT 250224 SOS 176771 HAS SOPS 175778 HAS SOUS 75473 HAS SOUPS 74480 WITH SCORE 74656.771
AT ITER 3303 NEW BEST:: SOT 250065 SOS 176612 HAS SOPS 175619 HAS SOUS 75155 HAS SOUPS 74162 WITH SCORE 74338.612
AT ITER 3304 NEW BEST:: SOT 250064 SOS 176611 HAS SOPS 175618 HAS SOUS 75153 HAS SOUPS 74160 WITH SCORE 74336.611
AT ITER 3307 NEW BEST:: SOT 250058 SOS 176605 HAS SOPS 175612 HAS SOUS 75141 HAS SOUPS 74148 WITH SCORE 74324.605
AT ITER 3310 NEW BEST:: SOT 250058 SOS 176597 HAS SOPS 175603 HAS SOUS 75139 HAS SOUPS 74145 WITH SCORE 74321.597
AT ITER 3319 NEW BEST:: SOT 250038 SOS 176577 HAS SOPS 175583 HAS SOUS 75099 HAS SOUPS 74105 WITH SCORE 74281.577
AT ITER 3322 NEW BEST:: SOT 250038 SOS 176577 HAS SOPS 175583 HAS SOUS 75089 HAS SOUPS 74095 WITH SCORE 74271.577
AT ITER 3329 NEW BEST:: SOT 250038 SOS 176563 HAS SOPS 175569 HAS SOUS 75089 HAS SOUPS 74095 WITH SCORE 74271.563
AT ITER 3333 NEW BEST:: SOT 250034 SOS 176559 HAS SOPS 175565 HAS SOUS 75081 HAS SOUPS 74087 WITH SCORE 74263.559
AT ITER 3344 NEW BEST:: SOT 250000 SOS 176525 HAS SOPS 175531 HAS SOUS 75013 HAS SOUPS 74019 WITH SCORE 74195.525
AT ITER 3368 NEW BEST:: SOT 250000 SOS 176510 HAS SOPS 175516 HAS SOUS 75013 HAS SOUPS 74019 WITH SCORE 74195.51
AT ITER 3371 NEW BEST:: SOT 249924 SOS 176787 HAS SOPS 175853 HAS SOUS 74936 HAS SOUPS 74002 WITH SCORE 74178.787
AT ITER 3377 NEW BEST:: SOT 249875 SOS 176748 HAS SOPS 175814 HAS SOUS 74918 HAS SOUPS 73984 WITH SCORE 74160.748
AT ITER 3383 NEW BEST:: SOT 249857 SOS 176769 HAS SOPS 175835 HAS SOUS 74882 HAS SOUPS 73948 WITH SCORE 74124.769
AT ITER 3397 NEW BEST:: SOT 249850 SOS 176762 HAS SOPS 175828 HAS SOUS 74868 HAS SOUPS 73934 WITH SCORE 74110.762
AT ITER 3403 NEW BEST:: SOT 249850 SOS 176756 HAS SOPS 175822 HAS SOUS 74832 HAS SOUPS 73898 WITH SCORE 74074.756
AT ITER 3421 NEW BEST:: SOT 249814 SOS 176700 HAS SOPS 175766 HAS SOUS 74742 HAS SOUPS 73808 WITH SCORE 73984.7
AT ITER 3432 NEW BEST:: SOT 249656 SOS 176638 HAS SOPS 175704 HAS SOUS 74642 HAS SOUPS 73708 WITH SCORE 73884.638
AT ITER 3440 NEW BEST:: SOT 249644 SOS 176626 HAS SOPS 175692 HAS SOUS 74618 HAS SOUPS 73684 WITH SCORE 73860.626
AT ITER 3444 NEW BEST:: SOT 249641 SOS 176599 HAS SOPS 175665 HAS SOUS 74609 HAS SOUPS 73675 WITH SCORE 73851.599
AT ITER 3448 NEW BEST:: SOT 249641 SOS 176579 HAS SOPS 175645 HAS SOUS 74609 HAS SOUPS 73675 WITH SCORE 73851.579
AT ITER 3459 NEW BEST:: SOT 249581 SOS 176519 HAS SOPS 175585 HAS SOUS 74489 HAS SOUPS 73555 WITH SCORE 73731.519
AT ITER 3472 NEW BEST:: SOT 249548 SOS 176313 HAS SOPS 175389 HAS SOUS 74471 HAS SOUPS 73547 WITH SCORE 73723.313
AT ITER 3517 NEW BEST:: SOT 249548 SOS 176090 HAS SOPS 175164 HAS SOUS 74398 HAS SOUPS 73472 WITH SCORE 73648.09
AT ITER 3519 NEW BEST:: SOT 249548 SOS 175901 HAS SOPS 174975 HAS SOUS 74398 HAS SOUPS 73472 WITH SCORE 73647.901
AT ITER 3542 NEW BEST:: SOT 249508 SOS 175861 HAS SOPS 174935 HAS SOUS 74318 HAS SOUPS 73392 WITH SCORE 73567.861
AT ITER 3544 NEW BEST:: SOT 249440 SOS 175793 HAS SOPS 174867 HAS SOUS 74182 HAS SOUPS 73256 WITH SCORE 73431.793
AT ITER 3552 NEW BEST:: SOT 249381 SOS 175734 HAS SOPS 174808 HAS SOUS 74064 HAS SOUPS 73138 WITH SCORE 73313.734
AT ITER 3591 NEW BEST:: SOT 249381 SOS 175734 HAS SOPS 174808 HAS SOUS 74021 HAS SOUPS 73095 WITH SCORE 73270.734
AT ITER 3636 NEW BEST:: SOT 249345 SOS 175698 HAS SOPS 174772 HAS SOUS 73985 HAS SOUPS 73059 WITH SCORE 73234.698
AT ITER 3639 NEW BEST:: SOT 249303 SOS 175656 HAS SOPS 174730 HAS SOUS 73901 HAS SOUPS 72975 WITH SCORE 73150.656
AT ITER 3644 NEW BEST:: SOT 249303 SOS 175398 HAS SOPS 174472 HAS SOUS 73901 HAS SOUPS 72975 WITH SCORE 73150.398
AT ITER 3657 NEW BEST:: SOT 248011 SOS 174292 HAS SOPS 173366 HAS SOUS 73754 HAS SOUPS 72828 WITH SCORE 73002.292
AT ITER 3664 NEW BEST:: SOT 248012 SOS 174287 HAS SOPS 173361 HAS SOUS 73754 HAS SOUPS 72828 WITH SCORE 73002.287
AT ITER 3678 NEW BEST:: SOT 248016 SOS 174260 HAS SOPS 173324 HAS SOUS 73741 HAS SOUPS 72805 WITH SCORE 72979.26
AT ITER 3688 NEW BEST:: SOT 247996 SOS 174240 HAS SOPS 173304 HAS SOUS 73701 HAS SOUPS 72765 WITH SCORE 72939.24
AT ITER 3691 NEW BEST:: SOT 247982 SOS 174226 HAS SOPS 173290 HAS SOUS 73673 HAS SOUPS 72737 WITH SCORE 72911.226
AT ITER 3706 NEW BEST:: SOT 247931 SOS 174175 HAS SOPS 173239 HAS SOUS 73574 HAS SOUPS 72638 WITH SCORE 72812.175
AT ITER 3731 NEW BEST:: SOT 247917 SOS 174161 HAS SOPS 173225 HAS SOUS 73546 HAS SOUPS 72610 WITH SCORE 72784.161
AT ITER 3735 NEW BEST:: SOT 247789 SOS 174070 HAS SOPS 173134 HAS SOUS 73397 HAS SOUPS 72461 WITH SCORE 72635.07
AT ITER 3745 NEW BEST:: SOT 247727 SOS 174008 HAS SOPS 173072 HAS SOUS 73273 HAS SOUPS 72337 WITH SCORE 72511.008
AT ITER 3754 NEW BEST:: SOT 247692 SOS 174172 HAS SOPS 173171 HAS SOUS 73233 HAS SOUPS 72232 WITH SCORE 72406.172
AT ITER 3755 NEW BEST:: SOT 247674 SOS 174154 HAS SOPS 173153 HAS SOUS 73215 HAS SOUPS 72214 WITH SCORE 72388.154
AT ITER 3766 NEW BEST:: SOT 247628 SOS 174108 HAS SOPS 173107 HAS SOUS 73123 HAS SOUPS 72122 WITH SCORE 72296.108
AT ITER 3788 NEW BEST:: SOT 247610 SOS 174090 HAS SOPS 173089 HAS SOUS 73087 HAS SOUPS 72086 WITH SCORE 72260.09
AT ITER 3836 NEW BEST:: SOT 247610 SOS 173976 HAS SOPS 172987 HAS SOUS 73075 HAS SOUPS 72086 WITH SCORE 72259.976
AT ITER 3850 NEW BEST:: SOT 247644 SOS 173955 HAS SOPS 172926 HAS SOUS 73115 HAS SOUPS 72086 WITH SCORE 72259.955
AT ITER 3864 NEW BEST:: SOT 248297 SOS 174506 HAS SOPS 173477 HAS SOUS 73090 HAS SOUPS 72061 WITH SCORE 72235.506
AT ITER 3866 NEW BEST:: SOT 248231 SOS 174440 HAS SOPS 173411 HAS SOUS 72958 HAS SOUPS 71929 WITH SCORE 72103.44
AT ITER 3871 NEW BEST:: SOT 248158 SOS 174405 HAS SOPS 173376 HAS SOUS 72739 HAS SOUPS 71710 WITH SCORE 71884.405
AT ITER 3902 NEW BEST:: SOT 248134 SOS 174381 HAS SOPS 173352 HAS SOUS 72696 HAS SOUPS 71667 WITH SCORE 71841.381
AT ITER 3914 NEW BEST:: SOT 248107 SOS 174354 HAS SOPS 173325 HAS SOUS 72615 HAS SOUPS 71586 WITH SCORE 71760.354
AT ITER 3957 NEW BEST:: SOT 248061 SOS 174308 HAS SOPS 173279 HAS SOUS 72523 HAS SOUPS 71494 WITH SCORE 71668.308
AT ITER 3960 NEW BEST:: SOT 248051 SOS 174298 HAS SOPS 173269 HAS SOUS 72513 HAS SOUPS 71484 WITH SCORE 71658.298
AT ITER 3971 NEW BEST:: SOT 248048 SOS 174295 HAS SOPS 173266 HAS SOUS 72510 HAS SOUPS 71481 WITH SCORE 71655.295
AT ITER 3974 NEW BEST:: SOT 248052 SOS 173953 HAS SOPS 172924 HAS SOUS 72458 HAS SOUPS 71429 WITH SCORE 71602.953
AT ITER 3977 NEW BEST:: SOT 248029 SOS 174043 HAS SOPS 172999 HAS SOUS 72404 HAS SOUPS 71360 WITH SCORE 71534.043
AT ITER 3993 NEW BEST:: SOT 247986 SOS 174000 HAS SOPS 172956 HAS SOUS 72318 HAS SOUPS 71274 WITH SCORE 71448.0
AT ITER 4006 NEW BEST:: SOT 247986 SOS 173999 HAS SOPS 172947 HAS SOUS 72326 HAS SOUPS 71274 WITH SCORE 71447.999
AT ITER 4017 NEW BEST:: SOT 247770 SOS 173821 HAS SOPS 172769 HAS SOUS 72198 HAS SOUPS 71146 WITH SCORE 71319.821
AT ITER 4023 NEW BEST:: SOT 247724 SOS 173954 HAS SOPS 172902 HAS SOUS 72060 HAS SOUPS 71008 WITH SCORE 71181.954
AT ITER 4026 NEW BEST:: SOT 247704 SOS 173934 HAS SOPS 172882 HAS SOUS 72037 HAS SOUPS 70985 WITH SCORE 71158.934
AT ITER 4033 NEW BEST:: SOT 247703 SOS 173939 HAS SOPS 172873 HAS SOUS 72048 HAS SOUPS 70982 WITH SCORE 71155.939
AT ITER 4040 NEW BEST:: SOT 247479 SOS 173793 HAS SOPS 172727 HAS SOUS 71848 HAS SOUPS 70782 WITH SCORE 70955.793
AT ITER 4044 NEW BEST:: SOT 247459 SOS 174068 HAS SOPS 172985 HAS SOUS 71805 HAS SOUPS 70722 WITH SCORE 70896.068
AT ITER 4100 NEW BEST:: SOT 247312 SOS 173942 HAS SOPS 172859 HAS SOUS 71742 HAS SOUPS 70659 WITH SCORE 70832.942
AT ITER 4103 NEW BEST:: SOT 247288 SOS 173918 HAS SOPS 172835 HAS SOUS 71694 HAS SOUPS 70611 WITH SCORE 70784.918
AT ITER 4110 NEW BEST:: SOT 246995 SOS 173705 HAS SOPS 172622 HAS SOUS 71681 HAS SOUPS 70598 WITH SCORE 70771.705
AT ITER 4113 NEW BEST:: SOT 246985 SOS 173650 HAS SOPS 172532 HAS SOUS 71686 HAS SOUPS 70568 WITH SCORE 70741.65
AT ITER 4130 NEW BEST:: SOT 246895 SOS 173560 HAS SOPS 172442 HAS SOUS 71506 HAS SOUPS 70388 WITH SCORE 70561.56
AT ITER 4153 NEW BEST:: SOT 246885 SOS 174169 HAS SOPS 173051 HAS SOUS 71476 HAS SOUPS 70358 WITH SCORE 70532.169
AT ITER 4154 NEW BEST:: SOT 246886 SOS 174025 HAS SOPS 172907 HAS SOUS 71361 HAS SOUPS 70243 WITH SCORE 70417.025
AT ITER 4162 NEW BEST:: SOT 246832 SOS 173971 HAS SOPS 172853 HAS SOUS 71277 HAS SOUPS 70159 WITH SCORE 70332.971
AT ITER 4165 NEW BEST:: SOT 246830 SOS 173970 HAS SOPS 172852 HAS SOUS 71275 HAS SOUPS 70157 WITH SCORE 70330.97
AT ITER 4184 NEW BEST:: SOT 246811 SOS 173951 HAS SOPS 172833 HAS SOUS 71237 HAS SOUPS 70119 WITH SCORE 70292.951
AT ITER 4212 NEW BEST:: SOT 246790 SOS 173930 HAS SOPS 172812 HAS SOUS 71197 HAS SOUPS 70079 WITH SCORE 70252.93
AT ITER 4224 NEW BEST:: SOT 246790 SOS 173866 HAS SOPS 172748 HAS SOUS 71197 HAS SOUPS 70079 WITH SCORE 70252.866
AT ITER 4228 NEW BEST:: SOT 246756 SOS 173832 HAS SOPS 172714 HAS SOUS 71129 HAS SOUPS 70011 WITH SCORE 70184.832
AT ITER 4229 NEW BEST:: SOT 246726 SOS 173802 HAS SOPS 172684 HAS SOUS 71069 HAS SOUPS 69951 WITH SCORE 70124.802
AT ITER 4256 NEW BEST:: SOT 246720 SOS 173796 HAS SOPS 172678 HAS SOUS 71057 HAS SOUPS 69939 WITH SCORE 70112.796
AT ITER 4259 NEW BEST:: SOT 246630 SOS 173727 HAS SOPS 172609 HAS SOUS 70877 HAS SOUPS 69759 WITH SCORE 69932.727
AT ITER 4279 NEW BEST:: SOT 246585 SOS 173682 HAS SOPS 172564 HAS SOUS 70787 HAS SOUPS 69669 WITH SCORE 69842.682
AT ITER 4306 NEW BEST:: SOT 246569 SOS 173666 HAS SOPS 172548 HAS SOUS 70755 HAS SOUPS 69637 WITH SCORE 69810.666
AT ITER 4318 NEW BEST:: SOT 246567 SOS 173693 HAS SOPS 172530 HAS SOUS 70799 HAS SOUPS 69636 WITH SCORE 69809.693
AT ITER 4335 NEW BEST:: SOT 246528 SOS 174495 HAS SOPS 173258 HAS SOUS 70818 HAS SOUPS 69581 WITH SCORE 69755.495
AT ITER 4337 NEW BEST:: SOT 246509 SOS 174476 HAS SOPS 173220 HAS SOUS 70780 HAS SOUPS 69524 WITH SCORE 69698.476
AT ITER 4348 NEW BEST:: SOT 246425 SOS 174392 HAS SOPS 173136 HAS SOUS 70612 HAS SOUPS 69356 WITH SCORE 69530.392
AT ITER 4362 NEW BEST:: SOT 246394 SOS 174361 HAS SOPS 173105 HAS SOUS 70550 HAS SOUPS 69294 WITH SCORE 69468.361
AT ITER 4368 NEW BEST:: SOT 246386 SOS 174353 HAS SOPS 173097 HAS SOUS 70534 HAS SOUPS 69278 WITH SCORE 69452.353
AT ITER 4378 NEW BEST:: SOT 246387 SOS 173725 HAS SOPS 172296 HAS SOUS 70440 HAS SOUPS 69011 WITH SCORE 69184.725
AT ITER 4388 NEW BEST:: SOT 246358 SOS 173973 HAS SOPS 172477 HAS SOUS 70420 HAS SOUPS 68924 WITH SCORE 69097.973
AT ITER 4404 NEW BEST:: SOT 246292 SOS 173907 HAS SOPS 172411 HAS SOUS 70321 HAS SOUPS 68825 WITH SCORE 68998.907
AT ITER 4426 NEW BEST:: SOT 246290 SOS 173905 HAS SOPS 172409 HAS SOUS 70317 HAS SOUPS 68821 WITH SCORE 68994.905
AT ITER 4449 NEW BEST:: SOT 246340 SOS 173938 HAS SOPS 172442 HAS SOUS 70281 HAS SOUPS 68785 WITH SCORE 68958.938
AT ITER 4467 NEW BEST:: SOT 246363 SOS 173590 HAS SOPS 172054 HAS SOUS 70155 HAS SOUPS 68619 WITH SCORE 68792.59
AT ITER 4469 NEW BEST:: SOT 246327 SOS 173554 HAS SOPS 172018 HAS SOUS 70083 HAS SOUPS 68547 WITH SCORE 68720.554
AT ITER 4474 NEW BEST:: SOT 245277 SOS 172672 HAS SOPS 171136 HAS SOUS 70042 HAS SOUPS 68506 WITH SCORE 68678.672
AT ITER 4496 NEW BEST:: SOT 245249 SOS 172654 HAS SOPS 171118 HAS SOUS 69986 HAS SOUPS 68450 WITH SCORE 68622.654
AT ITER 4497 NEW BEST:: SOT 245213 SOS 172618 HAS SOPS 171082 HAS SOUS 69920 HAS SOUPS 68384 WITH SCORE 68556.618
AT ITER 4502 NEW BEST:: SOT 245279 SOS 172646 HAS SOPS 171110 HAS SOUS 69748 HAS SOUPS 68212 WITH SCORE 68384.646
AT ITER 4508 NEW BEST:: SOT 245346 SOS 172705 HAS SOPS 171098 HAS SOUS 69807 HAS SOUPS 68200 WITH SCORE 68372.705
AT ITER 4538 NEW BEST:: SOT 245346 SOS 172628 HAS SOPS 171021 HAS SOUS 69697 HAS SOUPS 68090 WITH SCORE 68262.628
AT ITER 4542 NEW BEST:: SOT 245413 SOS 172450 HAS SOPS 170843 HAS SOUS 69358 HAS SOUPS 67751 WITH SCORE 67923.45
AT ITER 4543 NEW BEST:: SOT 245411 SOS 172448 HAS SOPS 170841 HAS SOUS 69354 HAS SOUPS 67747 WITH SCORE 67919.448
AT ITER 4554 NEW BEST:: SOT 245402 SOS 172439 HAS SOPS 170832 HAS SOUS 69300 HAS SOUPS 67693 WITH SCORE 67865.439
AT ITER 4581 NEW BEST:: SOT 245368 SOS 172422 HAS SOPS 170815 HAS SOUS 69266 HAS SOUPS 67659 WITH SCORE 67831.422
AT ITER 4620 NEW BEST:: SOT 245364 SOS 172416 HAS SOPS 170809 HAS SOUS 69246 HAS SOUPS 67639 WITH SCORE 67811.416
AT ITER 4627 NEW BEST:: SOT 245364 SOS 172409 HAS SOPS 170809 HAS SOUS 69239 HAS SOUPS 67639 WITH SCORE 67811.409
AT ITER 4657 NEW BEST:: SOT 245353 SOS 172398 HAS SOPS 170798 HAS SOUS 69217 HAS SOUPS 67617 WITH SCORE 67789.398
AT ITER 4677 NEW BEST:: SOT 245296 SOS 172341 HAS SOPS 170741 HAS SOUS 69103 HAS SOUPS 67503 WITH SCORE 67675.341
AT ITER 4681 NEW BEST:: SOT 245282 SOS 172327 HAS SOPS 170727 HAS SOUS 69075 HAS SOUPS 67475 WITH SCORE 67647.327
AT ITER 4695 NEW BEST:: SOT 245276 SOS 172321 HAS SOPS 170721 HAS SOUS 69063 HAS SOUPS 67463 WITH SCORE 67635.321
AT ITER 4714 NEW BEST:: SOT 245256 SOS 172301 HAS SOPS 170701 HAS SOUS 69023 HAS SOUPS 67423 WITH SCORE 67595.301
AT ITER 4719 NEW BEST:: SOT 245243 SOS 172295 HAS SOPS 170695 HAS SOUS 69010 HAS SOUPS 67410 WITH SCORE 67582.295
AT ITER 4735 NEW BEST:: SOT 245243 SOS 172288 HAS SOPS 170688 HAS SOUS 69010 HAS SOUPS 67410 WITH SCORE 67582.288
AT ITER 4738 NEW BEST:: SOT 245187 SOS 172232 HAS SOPS 170632 HAS SOUS 68924 HAS SOUPS 67324 WITH SCORE 67496.232
AT ITER 4761 NEW BEST:: SOT 245161 SOS 172298 HAS SOPS 170698 HAS SOUS 68846 HAS SOUPS 67246 WITH SCORE 67418.298
AT ITER 4786 NEW BEST:: SOT 245185 SOS 172310 HAS SOPS 170710 HAS SOUS 68800 HAS SOUPS 67200 WITH SCORE 67372.31
AT ITER 4792 NEW BEST:: SOT 245135 SOS 172260 HAS SOPS 170660 HAS SOUS 68700 HAS SOUPS 67100 WITH SCORE 67272.26
AT ITER 4797 NEW BEST:: SOT 245067 SOS 172192 HAS SOPS 170592 HAS SOUS 68564 HAS SOUPS 66964 WITH SCORE 67136.192
AT ITER 4915 NEW BEST:: SOT 245047 SOS 172804 HAS SOPS 171204 HAS SOUS 68504 HAS SOUPS 66904 WITH SCORE 67076.804
AT ITER 4920 NEW BEST:: SOT 244991 SOS 172748 HAS SOPS 171148 HAS SOUS 68392 HAS SOUPS 66792 WITH SCORE 66964.748
AT ITER 4952 NEW BEST:: SOT 244991 SOS 172503 HAS SOPS 170903 HAS SOUS 68392 HAS SOUPS 66792 WITH SCORE 66964.503
AT ITER 4963 NEW BEST:: SOT 244975 SOS 172487 HAS SOPS 170887 HAS SOUS 68360 HAS SOUPS 66760 WITH SCORE 66932.487
AT ITER 5011 NEW BEST:: SOT 244963 SOS 172481 HAS SOPS 170881 HAS SOUS 68348 HAS SOUPS 66748 WITH SCORE 66920.481
AT ITER 5022 NEW BEST:: SOT 244843 SOS 172361 HAS SOPS 170761 HAS SOUS 68172 HAS SOUPS 66572 WITH SCORE 66744.361
AT ITER 5044 NEW BEST:: SOT 244843 SOS 172353 HAS SOPS 170753 HAS SOUS 68172 HAS SOUPS 66572 WITH SCORE 66744.353
AT ITER 5047 NEW BEST:: SOT 244839 SOS 172349 HAS SOPS 170749 HAS SOUS 68164 HAS SOUPS 66564 WITH SCORE 66736.349
AT ITER 5073 NEW BEST:: SOT 244839 SOS 172256 HAS SOPS 170706 HAS SOUS 68114 HAS SOUPS 66564 WITH SCORE 66736.256
AT ITER 5076 NEW BEST:: SOT 244851 SOS 172268 HAS SOPS 170718 HAS SOUS 68093 HAS SOUPS 66543 WITH SCORE 66715.268
AT ITER 5089 NEW BEST:: SOT 244659 SOS 172070 HAS SOPS 170520 HAS SOUS 67692 HAS SOUPS 66142 WITH SCORE 66314.07
AT ITER 5107 NEW BEST:: SOT 244592 SOS 172003 HAS SOPS 170453 HAS SOUS 67571 HAS SOUPS 66021 WITH SCORE 66193.003
AT ITER 5177 NEW BEST:: SOT 244573 SOS 171984 HAS SOPS 170434 HAS SOUS 67533 HAS SOUPS 65983 WITH SCORE 66154.984
AT ITER 5224 NEW BEST:: SOT 244524 SOS 171543 HAS SOPS 169993 HAS SOUS 67386 HAS SOUPS 65836 WITH SCORE 66007.543
AT ITER 5246 NEW BEST:: SOT 244530 SOS 171515 HAS SOPS 169948 HAS SOUS 67388 HAS SOUPS 65821 WITH SCORE 65992.515
AT ITER 5271 NEW BEST:: SOT 244462 SOS 171447 HAS SOPS 169880 HAS SOUS 67252 HAS SOUPS 65685 WITH SCORE 65856.447
AT ITER 5285 NEW BEST:: SOT 244460 SOS 171445 HAS SOPS 169878 HAS SOUS 67248 HAS SOUPS 65681 WITH SCORE 65852.445
AT ITER 5287 NEW BEST:: SOT 244460 SOS 171441 HAS SOPS 169874 HAS SOUS 67248 HAS SOUPS 65681 WITH SCORE 65852.441
AT ITER 5308 NEW BEST:: SOT 244408 SOS 171405 HAS SOPS 169822 HAS SOUS 67108 HAS SOUPS 65525 WITH SCORE 65696.405
AT ITER 5314 NEW BEST:: SOT 244300 SOS 171297 HAS SOPS 169714 HAS SOUS 66919 HAS SOUPS 65336 WITH SCORE 65507.297
AT ITER 5334 NEW BEST:: SOT 244300 SOS 171281 HAS SOPS 169714 HAS SOUS 66903 HAS SOUPS 65336 WITH SCORE 65507.281
AT ITER 5340 NEW BEST:: SOT 244342 SOS 171162 HAS SOPS 169516 HAS SOUS 66916 HAS SOUPS 65270 WITH SCORE 65441.162
AT ITER 5377 NEW BEST:: SOT 244472 SOS 171197 HAS SOPS 169551 HAS SOUS 66451 HAS SOUPS 64805 WITH SCORE 64976.197
AT ITER 5392 NEW BEST:: SOT 244502 SOS 171002 HAS SOPS 169331 HAS SOUS 66476 HAS SOUPS 64805 WITH SCORE 64976.002
AT ITER 5395 NEW BEST:: SOT 244484 SOS 170984 HAS SOPS 169313 HAS SOUS 66458 HAS SOUPS 64787 WITH SCORE 64957.984
AT ITER 5397 NEW BEST:: SOT 244474 SOS 170974 HAS SOPS 169303 HAS SOUS 66448 HAS SOUPS 64777 WITH SCORE 64947.974
AT ITER 5399 NEW BEST:: SOT 244440 SOS 170940 HAS SOPS 169269 HAS SOUS 66414 HAS SOUPS 64743 WITH SCORE 64913.94
AT ITER 5404 NEW BEST:: SOT 244425 SOS 170925 HAS SOPS 169254 HAS SOUS 66384 HAS SOUPS 64713 WITH SCORE 64883.925
AT ITER 5431 NEW BEST:: SOT 244425 SOS 170821 HAS SOPS 169137 HAS SOUS 66358 HAS SOUPS 64674 WITH SCORE 64844.821
AT ITER 5443 NEW BEST:: SOT 244405 SOS 170801 HAS SOPS 169117 HAS SOUS 66318 HAS SOUPS 64634 WITH SCORE 64804.801
AT ITER 5445 NEW BEST:: SOT 244387 SOS 170783 HAS SOPS 169099 HAS SOUS 66282 HAS SOUPS 64598 WITH SCORE 64768.783
AT ITER 5468 NEW BEST:: SOT 244375 SOS 170705 HAS SOPS 169006 HAS SOUS 66261 HAS SOUPS 64562 WITH SCORE 64732.705
AT ITER 5475 NEW BEST:: SOT 244375 SOS 170697 HAS SOPS 168998 HAS SOUS 66261 HAS SOUPS 64562 WITH SCORE 64732.697
AT ITER 5476 NEW BEST:: SOT 244375 SOS 170663 HAS SOPS 168998 HAS SOUS 66227 HAS SOUPS 64562 WITH SCORE 64732.663
AT ITER 5514 NEW BEST:: SOT 244356 SOS 170644 HAS SOPS 168979 HAS SOUS 66189 HAS SOUPS 64524 WITH SCORE 64694.644
AT ITER 5541 NEW BEST:: SOT 244315 SOS 170625 HAS SOPS 168960 HAS SOUS 66176 HAS SOUPS 64511 WITH SCORE 64681.625
AT ITER 5584 NEW BEST:: SOT 244310 SOS 170620 HAS SOPS 168955 HAS SOUS 66170 HAS SOUPS 64505 WITH SCORE 64675.62
AT ITER 5594 NEW BEST:: SOT 244276 SOS 170586 HAS SOPS 168921 HAS SOUS 66102 HAS SOUPS 64437 WITH SCORE 64607.586
AT ITER 5598 NEW BEST:: SOT 244368 SOS 170601 HAS SOPS 168936 HAS SOUS 66049 HAS SOUPS 64384 WITH SCORE 64554.601
AT ITER 5601 NEW BEST:: SOT 244862 SOS 170912 HAS SOPS 169247 HAS SOUS 65560 HAS SOUPS 63895 WITH SCORE 64065.912
AT ITER 5618 NEW BEST:: SOT 244951 SOS 170977 HAS SOPS 169312 HAS SOUS 65546 HAS SOUPS 63881 WITH SCORE 64051.977
AT ITER 5619 NEW BEST:: SOT 244937 SOS 170851 HAS SOPS 169186 HAS SOUS 65504 HAS SOUPS 63839 WITH SCORE 64009.851
AT ITER 5650 NEW BEST:: SOT 244924 SOS 171096 HAS SOPS 169413 HAS SOUS 65508 HAS SOUPS 63825 WITH SCORE 63996.096
AT ITER 5660 NEW BEST:: SOT 244925 SOS 171097 HAS SOPS 169414 HAS SOUS 65490 HAS SOUPS 63807 WITH SCORE 63978.097
AT ITER 5666 NEW BEST:: SOT 244897 SOS 171069 HAS SOPS 169386 HAS SOUS 65432 HAS SOUPS 63749 WITH SCORE 63920.069
AT ITER 5674 NEW BEST:: SOT 244855 SOS 171027 HAS SOPS 169344 HAS SOUS 65348 HAS SOUPS 63665 WITH SCORE 63836.027
AT ITER 5711 NEW BEST:: SOT 244823 SOS 170979 HAS SOPS 169296 HAS SOUS 65172 HAS SOUPS 63489 WITH SCORE 63659.979
AT ITER 5734 NEW BEST:: SOT 244793 SOS 171266 HAS SOPS 169583 HAS SOUS 65082 HAS SOUPS 63399 WITH SCORE 63570.266
AT ITER 5751 NEW BEST:: SOT 244778 SOS 171251 HAS SOPS 169568 HAS SOUS 65052 HAS SOUPS 63369 WITH SCORE 63540.251
AT ITER 5803 NEW BEST:: SOT 244764 SOS 171244 HAS SOPS 169561 HAS SOUS 65038 HAS SOUPS 63355 WITH SCORE 63526.244
AT ITER 5810 NEW BEST:: SOT 244740 SOS 171220 HAS SOPS 169537 HAS SOUS 64990 HAS SOUPS 63307 WITH SCORE 63478.22
AT ITER 5823 NEW BEST:: SOT 244738 SOS 171218 HAS SOPS 169519 HAS SOUS 65000 HAS SOUPS 63301 WITH SCORE 63472.218
AT ITER 5854 NEW BEST:: SOT 244712 SOS 171192 HAS SOPS 169493 HAS SOUS 64948 HAS SOUPS 63249 WITH SCORE 63420.192
AT ITER 5900 NEW BEST:: SOT 244703 SOS 171183 HAS SOPS 169484 HAS SOUS 64930 HAS SOUPS 63231 WITH SCORE 63402.183
AT ITER 5903 NEW BEST:: SOT 244674 SOS 171154 HAS SOPS 169455 HAS SOUS 64885 HAS SOUPS 63186 WITH SCORE 63357.154
AT ITER 5906 NEW BEST:: SOT 244640 SOS 171120 HAS SOPS 169421 HAS SOUS 64817 HAS SOUPS 63118 WITH SCORE 63289.12
AT ITER 5913 NEW BEST:: SOT 244598 SOS 171078 HAS SOPS 169379 HAS SOUS 64753 HAS SOUPS 63054 WITH SCORE 63225.078
AT ITER 5928 NEW BEST:: SOT 244586 SOS 171066 HAS SOPS 169367 HAS SOUS 64729 HAS SOUPS 63030 WITH SCORE 63201.066
AT ITER 5934 NEW BEST:: SOT 244579 SOS 170986 HAS SOPS 169287 HAS SOUS 64708 HAS SOUPS 63009 WITH SCORE 63179.986
AT ITER 5937 NEW BEST:: SOT 244574 SOS 170931 HAS SOPS 169242 HAS SOUS 64683 HAS SOUPS 62994 WITH SCORE 63164.931
AT ITER 5972 NEW BEST:: SOT 244546 SOS 170805 HAS SOPS 169116 HAS SOUS 64655 HAS SOUPS 62966 WITH SCORE 63136.805
AT ITER 5988 NEW BEST:: SOT 244502 SOS 170783 HAS SOPS 169094 HAS SOUS 64611 HAS SOUPS 62922 WITH SCORE 63092.783
AT ITER 6016 NEW BEST:: SOT 244494 SOS 170775 HAS SOPS 169086 HAS SOUS 64599 HAS SOUPS 62910 WITH SCORE 63080.775
AT ITER 6034 NEW BEST:: SOT 244488 SOS 170769 HAS SOPS 169080 HAS SOUS 64587 HAS SOUPS 62898 WITH SCORE 63068.769
AT ITER 6091 NEW BEST:: SOT 244504 SOS 170514 HAS SOPS 168793 HAS SOUS 64508 HAS SOUPS 62787 WITH SCORE 62957.514
AT ITER 6147 NEW BEST:: SOT 244502 SOS 170538 HAS SOPS 168817 HAS SOUS 64502 HAS SOUPS 62781 WITH SCORE 62951.538
AT ITER 6162 NEW BEST:: SOT 244482 SOS 170518 HAS SOPS 168797 HAS SOUS 64456 HAS SOUPS 62735 WITH SCORE 62905.518
AT ITER 6170 NEW BEST:: SOT 244458 SOS 170495 HAS SOPS 168774 HAS SOUS 64439 HAS SOUPS 62718 WITH SCORE 62888.495
AT ITER 6234 NEW BEST:: SOT 243233 SOS 169489 HAS SOPS 167768 HAS SOUS 64314 HAS SOUPS 62593 WITH SCORE 62762.489
AT ITER 6235 NEW BEST:: SOT 243225 SOS 169462 HAS SOPS 167696 HAS SOUS 64335 HAS SOUPS 62569 WITH SCORE 62738.462
AT ITER 6263 NEW BEST:: SOT 243212 SOS 169449 HAS SOPS 167683 HAS SOUS 64309 HAS SOUPS 62543 WITH SCORE 62712.449
AT ITER 6298 NEW BEST:: SOT 243227 SOS 169504 HAS SOPS 167706 HAS SOUS 64338 HAS SOUPS 62540 WITH SCORE 62709.504
AT ITER 6310 NEW BEST:: SOT 243230 SOS 169504 HAS SOPS 167706 HAS SOUS 64335 HAS SOUPS 62537 WITH SCORE 62706.504
AT ITER 6343 NEW BEST:: SOT 243158 SOS 169432 HAS SOPS 167634 HAS SOUS 64191 HAS SOUPS 62393 WITH SCORE 62562.432
AT ITER 6351 NEW BEST:: SOT 243158 SOS 169362 HAS SOPS 167554 HAS SOUS 64171 HAS SOUPS 62363 WITH SCORE 62532.362
AT ITER 6362 NEW BEST:: SOT 243128 SOS 169301 HAS SOPS 167493 HAS SOUS 64081 HAS SOUPS 62273 WITH SCORE 62442.301
AT ITER 6367 NEW BEST:: SOT 243102 SOS 169288 HAS SOPS 167480 HAS SOUS 64055 HAS SOUPS 62247 WITH SCORE 62416.288
AT ITER 6373 NEW BEST:: SOT 243076 SOS 169262 HAS SOPS 167454 HAS SOUS 64029 HAS SOUPS 62221 WITH SCORE 62390.262
AT ITER 6378 NEW BEST:: SOT 243280 SOS 169346 HAS SOPS 167538 HAS SOUS 64025 HAS SOUPS 62217 WITH SCORE 62386.346
AT ITER 6384 NEW BEST:: SOT 243287 SOS 169241 HAS SOPS 167433 HAS SOUS 64025 HAS SOUPS 62217 WITH SCORE 62386.241
AT ITER 6395 NEW BEST:: SOT 243300 SOS 169243 HAS SOPS 167435 HAS SOUS 64009 HAS SOUPS 62201 WITH SCORE 62370.243
AT ITER 6409 NEW BEST:: SOT 243206 SOS 169193 HAS SOPS 167385 HAS SOUS 63927 HAS SOUPS 62119 WITH SCORE 62288.193
AT ITER 6410 NEW BEST:: SOT 243233 SOS 169211 HAS SOPS 167403 HAS SOUS 63909 HAS SOUPS 62101 WITH SCORE 62270.211
AT ITER 6415 NEW BEST:: SOT 243223 SOS 169201 HAS SOPS 167393 HAS SOUS 63889 HAS SOUPS 62081 WITH SCORE 62250.201
AT ITER 6435 NEW BEST:: SOT 243219 SOS 169197 HAS SOPS 167389 HAS SOUS 63881 HAS SOUPS 62073 WITH SCORE 62242.197
AT ITER 6445 NEW BEST:: SOT 243205 SOS 169183 HAS SOPS 167375 HAS SOUS 63867 HAS SOUPS 62059 WITH SCORE 62228.183
AT ITER 6451 NEW BEST:: SOT 243149 SOS 169127 HAS SOPS 167319 HAS SOUS 63755 HAS SOUPS 61947 WITH SCORE 62116.127
AT ITER 6456 NEW BEST:: SOT 243149 SOS 169116 HAS SOPS 167308 HAS SOUS 63755 HAS SOUPS 61947 WITH SCORE 62116.116
AT ITER 6469 NEW BEST:: SOT 243099 SOS 169029 HAS SOPS 167221 HAS SOUS 63465 HAS SOUPS 61657 WITH SCORE 61826.029
AT ITER 6478 NEW BEST:: SOT 243065 SOS 168995 HAS SOPS 167187 HAS SOUS 63397 HAS SOUPS 61589 WITH SCORE 61757.995
AT ITER 6488 NEW BEST:: SOT 243065 SOS 168995 HAS SOPS 167187 HAS SOUS 63387 HAS SOUPS 61579 WITH SCORE 61747.995
AT ITER 6521 NEW BEST:: SOT 243065 SOS 168994 HAS SOPS 167186 HAS SOUS 63387 HAS SOUPS 61579 WITH SCORE 61747.994
AT ITER 6531 NEW BEST:: SOT 243064 SOS 168993 HAS SOPS 167185 HAS SOUS 63385 HAS SOUPS 61577 WITH SCORE 61745.993
AT ITER 6558 NEW BEST:: SOT 242885 SOS 168814 HAS SOPS 167006 HAS SOUS 63029 HAS SOUPS 61221 WITH SCORE 61389.814
AT ITER 6562 NEW BEST:: SOT 242883 SOS 168812 HAS SOPS 167004 HAS SOUS 63025 HAS SOUPS 61217 WITH SCORE 61385.812
AT ITER 6610 NEW BEST:: SOT 242879 SOS 168808 HAS SOPS 167000 HAS SOUS 63017 HAS SOUPS 61209 WITH SCORE 61377.808
AT ITER 6632 NEW BEST:: SOT 242859 SOS 168788 HAS SOPS 166980 HAS SOUS 62997 HAS SOUPS 61189 WITH SCORE 61357.788
AT ITER 6635 NEW BEST:: SOT 242849 SOS 168778 HAS SOPS 166970 HAS SOUS 62977 HAS SOUPS 61169 WITH SCORE 61337.778
AT ITER 6648 NEW BEST:: SOT 242739 SOS 168668 HAS SOPS 166860 HAS SOUS 62757 HAS SOUPS 60949 WITH SCORE 61117.668
AT ITER 6656 NEW BEST:: SOT 242725 SOS 169126 HAS SOPS 167244 HAS SOUS 62789 HAS SOUPS 60907 WITH SCORE 61076.126
AT ITER 6668 NEW BEST:: SOT 242705 SOS 169106 HAS SOPS 167224 HAS SOUS 62769 HAS SOUPS 60887 WITH SCORE 61056.106
AT ITER 6683 NEW BEST:: SOT 242688 SOS 169072 HAS SOPS 167224 HAS SOUS 62735 HAS SOUPS 60887 WITH SCORE 61056.072
AT ITER 6686 NEW BEST:: SOT 242697 SOS 168969 HAS SOPS 167098 HAS SOUS 62716 HAS SOUPS 60845 WITH SCORE 61013.969
AT ITER 6752 NEW BEST:: SOT 242649 SOS 168921 HAS SOPS 167050 HAS SOUS 62620 HAS SOUPS 60749 WITH SCORE 60917.921
AT ITER 6764 NEW BEST:: SOT 242627 SOS 168899 HAS SOPS 167050 HAS SOUS 62598 HAS SOUPS 60749 WITH SCORE 60917.899
AT ITER 6781 NEW BEST:: SOT 242605 SOS 168877 HAS SOPS 167028 HAS SOUS 62557 HAS SOUPS 60708 WITH SCORE 60876.877
AT ITER 6845 NEW BEST:: SOT 242593 SOS 168865 HAS SOPS 167016 HAS SOUS 62533 HAS SOUPS 60684 WITH SCORE 60852.865
AT ITER 6880 NEW BEST:: SOT 242537 SOS 168809 HAS SOPS 166960 HAS SOUS 62421 HAS SOUPS 60572 WITH SCORE 60740.809
AT ITER 6927 NEW BEST:: SOT 242359 SOS 168712 HAS SOPS 166863 HAS SOUS 62410 HAS SOUPS 60561 WITH SCORE 60729.712
AT ITER 6928 NEW BEST:: SOT 242355 SOS 168668 HAS SOPS 166827 HAS SOUS 62390 HAS SOUPS 60549 WITH SCORE 60717.668
AT ITER 6967 NEW BEST:: SOT 242355 SOS 168654 HAS SOPS 166813 HAS SOUS 62390 HAS SOUPS 60549 WITH SCORE 60717.654
AT ITER 6972 NEW BEST:: SOT 242355 SOS 168605 HAS SOPS 166813 HAS SOUS 62341 HAS SOUPS 60549 WITH SCORE 60717.605
AT ITER 6983 NEW BEST:: SOT 242355 SOS 168453 HAS SOPS 166642 HAS SOUS 62303 HAS SOUPS 60492 WITH SCORE 60660.453
AT ITER 7066 NEW BEST:: SOT 242355 SOS 168453 HAS SOPS 166642 HAS SOUS 62291 HAS SOUPS 60480 WITH SCORE 60648.453
AT ITER 7071 NEW BEST:: SOT 242346 SOS 168378 HAS SOPS 166567 HAS SOUS 62264 HAS SOUPS 60453 WITH SCORE 60621.378
AT ITER 7090 NEW BEST:: SOT 242334 SOS 168321 HAS SOPS 166459 HAS SOUS 62279 HAS SOUPS 60417 WITH SCORE 60585.321
AT ITER 7123 NEW BEST:: SOT 242436 SOS 168336 HAS SOPS 166474 HAS SOUS 62231 HAS SOUPS 60369 WITH SCORE 60537.336
AT ITER 7127 NEW BEST:: SOT 242433 SOS 168306 HAS SOPS 166447 HAS SOUS 62219 HAS SOUPS 60360 WITH SCORE 60528.306
AT ITER 7152 NEW BEST:: SOT 242431 SOS 168304 HAS SOPS 166445 HAS SOUS 62215 HAS SOUPS 60356 WITH SCORE 60524.304
AT ITER 7167 NEW BEST:: SOT 242454 SOS 168280 HAS SOPS 166421 HAS SOUS 62016 HAS SOUPS 60157 WITH SCORE 60325.28
AT ITER 7172 NEW BEST:: SOT 242446 SOS 168272 HAS SOPS 166413 HAS SOUS 62000 HAS SOUPS 60141 WITH SCORE 60309.272
AT ITER 7180 NEW BEST:: SOT 242417 SOS 168243 HAS SOPS 166384 HAS SOUS 61942 HAS SOUPS 60083 WITH SCORE 60251.243
AT ITER 7211 NEW BEST:: SOT 242416 SOS 168208 HAS SOPS 166375 HAS SOUS 61913 HAS SOUPS 60080 WITH SCORE 60248.208
AT ITER 7245 NEW BEST:: SOT 242402 SOS 168194 HAS SOPS 166361 HAS SOUS 61885 HAS SOUPS 60052 WITH SCORE 60220.194
AT ITER 7286 NEW BEST:: SOT 242382 SOS 168174 HAS SOPS 166341 HAS SOUS 61865 HAS SOUPS 60032 WITH SCORE 60200.174
AT ITER 7296 NEW BEST:: SOT 242316 SOS 168108 HAS SOPS 166275 HAS SOUS 61735 HAS SOUPS 59902 WITH SCORE 60070.108
AT ITER 7336 NEW BEST:: SOT 242265 SOS 168057 HAS SOPS 166224 HAS SOUS 61646 HAS SOUPS 59813 WITH SCORE 59981.057
AT ITER 7378 NEW BEST:: SOT 242305 SOS 168083 HAS SOPS 166250 HAS SOUS 61584 HAS SOUPS 59751 WITH SCORE 59919.083
AT ITER 7452 NEW BEST:: SOT 242302 SOS 168080 HAS SOPS 166247 HAS SOUS 61578 HAS SOUPS 59745 WITH SCORE 59913.08
AT ITER 7563 NEW BEST:: SOT 242379 SOS 168136 HAS SOPS 166303 HAS SOUS 61564 HAS SOUPS 59731 WITH SCORE 59899.136
AT ITER 7592 NEW BEST:: SOT 242334 SOS 168106 HAS SOPS 166273 HAS SOUS 61534 HAS SOUPS 59701 WITH SCORE 59869.106
AT ITER 7602 NEW BEST:: SOT 242334 SOS 168106 HAS SOPS 166273 HAS SOUS 61466 HAS SOUPS 59633 WITH SCORE 59801.106
AT ITER 7623 NEW BEST:: SOT 242326 SOS 168034 HAS SOPS 166201 HAS SOUS 61442 HAS SOUPS 59609 WITH SCORE 59777.034
AT ITER 7629 NEW BEST:: SOT 242326 SOS 168019 HAS SOPS 166201 HAS SOUS 61427 HAS SOUPS 59609 WITH SCORE 59777.019
AT ITER 7725 NEW BEST:: SOT 242258 SOS 167951 HAS SOPS 166133 HAS SOUS 61291 HAS SOUPS 59473 WITH SCORE 59640.951
AT ITER 7734 NEW BEST:: SOT 242208 SOS 167901 HAS SOPS 166083 HAS SOUS 61191 HAS SOUPS 59373 WITH SCORE 59540.901
AT ITER 7750 NEW BEST:: SOT 242166 SOS 167859 HAS SOPS 166041 HAS SOUS 61107 HAS SOUPS 59289 WITH SCORE 59456.859
AT ITER 7801 NEW BEST:: SOT 242166 SOS 167859 HAS SOPS 166041 HAS SOUS 61103 HAS SOUPS 59285 WITH SCORE 59452.859
AT ITER 7811 NEW BEST:: SOT 242140 SOS 167833 HAS SOPS 166015 HAS SOUS 61056 HAS SOUPS 59238 WITH SCORE 59405.833
AT ITER 7816 NEW BEST:: SOT 242072 SOS 167765 HAS SOPS 165947 HAS SOUS 60920 HAS SOUPS 59102 WITH SCORE 59269.765
AT ITER 7818 NEW BEST:: SOT 242067 SOS 167720 HAS SOPS 165902 HAS SOUS 60905 HAS SOUPS 59087 WITH SCORE 59254.72
AT ITER 7837 NEW BEST:: SOT 242051 SOS 167698 HAS SOPS 165864 HAS SOUS 60873 HAS SOUPS 59039 WITH SCORE 59206.698
AT ITER 7950 NEW BEST:: SOT 242045 SOS 167692 HAS SOPS 165858 HAS SOUS 60861 HAS SOUPS 59027 WITH SCORE 59194.692
AT ITER 7954 NEW BEST:: SOT 242040 SOS 167687 HAS SOPS 165853 HAS SOUS 60851 HAS SOUPS 59017 WITH SCORE 59184.687
AT ITER 7960 NEW BEST:: SOT 242014 SOS 167661 HAS SOPS 165827 HAS SOUS 60799 HAS SOUPS 58965 WITH SCORE 59132.661
AT ITER 8004 NEW BEST:: SOT 242031 SOS 167665 HAS SOPS 165831 HAS SOUS 60741 HAS SOUPS 58907 WITH SCORE 59074.665
AT ITER 8059 NEW BEST:: SOT 242022 SOS 167584 HAS SOPS 165750 HAS SOUS 60714 HAS SOUPS 58880 WITH SCORE 59047.584
AT ITER 8070 NEW BEST:: SOT 242021 SOS 167583 HAS SOPS 165749 HAS SOUS 60712 HAS SOUPS 58878 WITH SCORE 59045.583
AT ITER 8078 NEW BEST:: SOT 241993 SOS 167555 HAS SOPS 165721 HAS SOUS 60656 HAS SOUPS 58822 WITH SCORE 58989.555
AT ITER 8108 NEW BEST:: SOT 241980 SOS 167544 HAS SOPS 165710 HAS SOUS 60645 HAS SOUPS 58811 WITH SCORE 58978.544
AT ITER 8116 NEW BEST:: SOT 241980 SOS 167512 HAS SOPS 165710 HAS SOUS 60613 HAS SOUPS 58811 WITH SCORE 58978.512
AT ITER 8129 NEW BEST:: SOT 241962 SOS 167494 HAS SOPS 165692 HAS SOUS 60577 HAS SOUPS 58775 WITH SCORE 58942.494
AT ITER 8151 NEW BEST:: SOT 241859 SOS 168105 HAS SOPS 166334 HAS SOUS 60539 HAS SOUPS 58768 WITH SCORE 58936.105
AT ITER 8159 NEW BEST:: SOT 241847 SOS 168173 HAS SOPS 166402 HAS SOUS 60525 HAS SOUPS 58754 WITH SCORE 58922.173
AT ITER 8194 NEW BEST:: SOT 241833 SOS 168159 HAS SOPS 166388 HAS SOUS 60497 HAS SOUPS 58726 WITH SCORE 58894.159
AT ITER 8228 NEW BEST:: SOT 241793 SOS 168119 HAS SOPS 166348 HAS SOUS 60417 HAS SOUPS 58646 WITH SCORE 58814.119
AT ITER 8269 NEW BEST:: SOT 241765 SOS 168091 HAS SOPS 166348 HAS SOUS 60389 HAS SOUPS 58646 WITH SCORE 58814.091
AT ITER 8281 NEW BEST:: SOT 241753 SOS 168079 HAS SOPS 166336 HAS SOUS 60365 HAS SOUPS 58622 WITH SCORE 58790.079
AT ITER 8296 NEW BEST:: SOT 241741 SOS 168067 HAS SOPS 166324 HAS SOUS 60341 HAS SOUPS 58598 WITH SCORE 58766.067
AT ITER 8318 NEW BEST:: SOT 241741 SOS 168049 HAS SOPS 166306 HAS SOUS 60341 HAS SOUPS 58598 WITH SCORE 58766.049
AT ITER 8332 NEW BEST:: SOT 241696 SOS 168004 HAS SOPS 166261 HAS SOUS 60253 HAS SOUPS 58510 WITH SCORE 58678.004
AT ITER 8334 NEW BEST:: SOT 241664 SOS 167972 HAS SOPS 166229 HAS SOUS 60189 HAS SOUPS 58446 WITH SCORE 58613.972
AT ITER 8343 NEW BEST:: SOT 241560 SOS 167868 HAS SOPS 166125 HAS SOUS 60029 HAS SOUPS 58286 WITH SCORE 58453.868
AT ITER 8372 NEW BEST:: SOT 241560 SOS 167864 HAS SOPS 166125 HAS SOUS 60025 HAS SOUPS 58286 WITH SCORE 58453.864
AT ITER 8425 NEW BEST:: SOT 241556 SOS 167868 HAS SOPS 166089 HAS SOUS 60053 HAS SOUPS 58274 WITH SCORE 58441.868
AT ITER 8430 NEW BEST:: SOT 241552 SOS 167832 HAS SOPS 166053 HAS SOUS 60041 HAS SOUPS 58262 WITH SCORE 58429.832
AT ITER 8459 NEW BEST:: SOT 241518 SOS 167798 HAS SOPS 166019 HAS SOUS 59973 HAS SOUPS 58194 WITH SCORE 58361.798
AT ITER 8467 NEW BEST:: SOT 241517 SOS 167797 HAS SOPS 166018 HAS SOUS 59971 HAS SOUPS 58192 WITH SCORE 58359.797
AT ITER 8507 NEW BEST:: SOT 241505 SOS 167785 HAS SOPS 166006 HAS SOUS 59947 HAS SOUPS 58168 WITH SCORE 58335.785
AT ITER 8512 NEW BEST:: SOT 241505 SOS 167782 HAS SOPS 166006 HAS SOUS 59944 HAS SOUPS 58168 WITH SCORE 58335.782
AT ITER 8534 NEW BEST:: SOT 241439 SOS 167716 HAS SOPS 165940 HAS SOUS 59812 HAS SOUPS 58036 WITH SCORE 58203.716
AT ITER 8592 NEW BEST:: SOT 241468 SOS 167687 HAS SOPS 165841 HAS SOUS 59849 HAS SOUPS 58003 WITH SCORE 58170.687
AT ITER 8601 NEW BEST:: SOT 241462 SOS 167792 HAS SOPS 165946 HAS SOUS 59831 HAS SOUPS 57985 WITH SCORE 58152.792
AT ITER 8603 NEW BEST:: SOT 241424 SOS 167754 HAS SOPS 165908 HAS SOUS 59755 HAS SOUPS 57909 WITH SCORE 58076.754
AT ITER 8605 NEW BEST:: SOT 241406 SOS 167736 HAS SOPS 165890 HAS SOUS 59719 HAS SOUPS 57873 WITH SCORE 58040.736
AT ITER 8639 NEW BEST:: SOT 241351 SOS 167681 HAS SOPS 165835 HAS SOUS 59609 HAS SOUPS 57763 WITH SCORE 57930.681
AT ITER 8671 NEW BEST:: SOT 241335 SOS 167665 HAS SOPS 165819 HAS SOUS 59597 HAS SOUPS 57751 WITH SCORE 57918.665
AT ITER 8674 NEW BEST:: SOT 241352 SOS 167578 HAS SOPS 165702 HAS SOUS 59588 HAS SOUPS 57712 WITH SCORE 57879.578
AT ITER 8694 NEW BEST:: SOT 241332 SOS 167558 HAS SOPS 165682 HAS SOUS 59548 HAS SOUPS 57672 WITH SCORE 57839.558
AT ITER 8695 NEW BEST:: SOT 241332 SOS 167502 HAS SOPS 165626 HAS SOUS 59548 HAS SOUPS 57672 WITH SCORE 57839.502
AT ITER 8721 NEW BEST:: SOT 241332 SOS 167496 HAS SOPS 165620 HAS SOUS 59548 HAS SOUPS 57672 WITH SCORE 57839.496
AT ITER 8740 NEW BEST:: SOT 241404 SOS 167554 HAS SOPS 165678 HAS SOUS 59534 HAS SOUPS 57658 WITH SCORE 57825.554
AT ITER 8768 NEW BEST:: SOT 241341 SOS 167518 HAS SOPS 165642 HAS SOUS 59486 HAS SOUPS 57610 WITH SCORE 57777.518
AT ITER 8797 NEW BEST:: SOT 241307 SOS 167484 HAS SOPS 165608 HAS SOUS 59418 HAS SOUPS 57542 WITH SCORE 57709.484
AT ITER 8800 NEW BEST:: SOT 241302 SOS 167479 HAS SOPS 165603 HAS SOUS 59408 HAS SOUPS 57532 WITH SCORE 57699.479
AT ITER 8803 NEW BEST:: SOT 241242 SOS 167419 HAS SOPS 165543 HAS SOUS 59288 HAS SOUPS 57412 WITH SCORE 57579.419
AT ITER 8906 NEW BEST:: SOT 241225 SOS 167402 HAS SOPS 165526 HAS SOUS 59254 HAS SOUPS 57378 WITH SCORE 57545.402
AT ITER 8915 NEW BEST:: SOT 241213 SOS 167390 HAS SOPS 165514 HAS SOUS 59230 HAS SOUPS 57354 WITH SCORE 57521.39
AT ITER 8918 NEW BEST:: SOT 241207 SOS 167384 HAS SOPS 165508 HAS SOUS 59224 HAS SOUPS 57348 WITH SCORE 57515.384
AT ITER 8924 NEW BEST:: SOT 241203 SOS 167380 HAS SOPS 165504 HAS SOUS 59216 HAS SOUPS 57340 WITH SCORE 57507.38
AT ITER 8938 NEW BEST:: SOT 241086 SOS 167263 HAS SOPS 165387 HAS SOUS 59066 HAS SOUPS 57190 WITH SCORE 57357.263
AT ITER 8945 NEW BEST:: SOT 241085 SOS 167236 HAS SOPS 165378 HAS SOUS 59045 HAS SOUPS 57187 WITH SCORE 57354.236
AT ITER 8952 NEW BEST:: SOT 241112 SOS 167216 HAS SOPS 165333 HAS SOUS 59055 HAS SOUPS 57172 WITH SCORE 57339.216
AT ITER 9001 NEW BEST:: SOT 241112 SOS 167050 HAS SOPS 165167 HAS SOUS 59055 HAS SOUPS 57172 WITH SCORE 57339.05
AT ITER 9048 NEW BEST:: SOT 241105 SOS 167022 HAS SOPS 165104 HAS SOUS 59069 HAS SOUPS 57151 WITH SCORE 57318.022
AT ITER 9049 NEW BEST:: SOT 241078 SOS 167008 HAS SOPS 165090 HAS SOUS 59064 HAS SOUPS 57146 WITH SCORE 57313.008
AT ITER 9056 NEW BEST:: SOT 240925 SOS 166855 HAS SOPS 164937 HAS SOUS 58759 HAS SOUPS 56841 WITH SCORE 57007.855
AT ITER 9130 NEW BEST:: SOT 240922 SOS 166852 HAS SOPS 164934 HAS SOUS 58753 HAS SOUPS 56835 WITH SCORE 57001.852
AT ITER 9137 NEW BEST:: SOT 240922 SOS 166822 HAS SOPS 164934 HAS SOUS 58723 HAS SOUPS 56835 WITH SCORE 57001.822
AT ITER 9140 NEW BEST:: SOT 240901 SOS 166801 HAS SOPS 164913 HAS SOUS 58681 HAS SOUPS 56793 WITH SCORE 56959.801
AT ITER 9182 NEW BEST:: SOT 240894 SOS 166714 HAS SOPS 164850 HAS SOUS 58636 HAS SOUPS 56772 WITH SCORE 56938.714
AT ITER 9185 NEW BEST:: SOT 240892 SOS 166696 HAS SOPS 164832 HAS SOUS 58630 HAS SOUPS 56766 WITH SCORE 56932.696
AT ITER 9195 NEW BEST:: SOT 240890 SOS 166694 HAS SOPS 164830 HAS SOUS 58626 HAS SOUPS 56762 WITH SCORE 56928.694
AT ITER 9300 NEW BEST:: SOT 240888 SOS 166692 HAS SOPS 164828 HAS SOUS 58622 HAS SOUPS 56758 WITH SCORE 56924.692
AT ITER 9312 NEW BEST:: SOT 240817 SOS 166592 HAS SOPS 164728 HAS SOUS 58242 HAS SOUPS 56378 WITH SCORE 56544.592
AT ITER 9364 NEW BEST:: SOT 240795 SOS 166570 HAS SOPS 164706 HAS SOUS 58198 HAS SOUPS 56334 WITH SCORE 56500.57
AT ITER 9374 NEW BEST:: SOT 240781 SOS 166416 HAS SOPS 164580 HAS SOUS 58128 HAS SOUPS 56292 WITH SCORE 56458.416
AT ITER 9388 NEW BEST:: SOT 240773 SOS 166406 HAS SOPS 164570 HAS SOUS 58104 HAS SOUPS 56268 WITH SCORE 56434.406
AT ITER 9418 NEW BEST:: SOT 240770 SOS 166379 HAS SOPS 164543 HAS SOUS 58095 HAS SOUPS 56259 WITH SCORE 56425.379
AT ITER 9430 NEW BEST:: SOT 240758 SOS 166367 HAS SOPS 164531 HAS SOUS 58071 HAS SOUPS 56235 WITH SCORE 56401.367
AT ITER 9492 NEW BEST:: SOT 240708 SOS 166317 HAS SOPS 164481 HAS SOUS 57971 HAS SOUPS 56135 WITH SCORE 56301.317
AT ITER 9511 NEW BEST:: SOT 240708 SOS 166317 HAS SOPS 164481 HAS SOUS 57970 HAS SOUPS 56134 WITH SCORE 56300.317
AT ITER 9548 NEW BEST:: SOT 240708 SOS 166317 HAS SOPS 164481 HAS SOUS 57932 HAS SOUPS 56096 WITH SCORE 56262.317
AT ITER 9596 NEW BEST:: SOT 240794 SOS 166337 HAS SOPS 164501 HAS SOUS 57603 HAS SOUPS 55767 WITH SCORE 55933.337
AT ITER 9648 NEW BEST:: SOT 240875 SOS 166388 HAS SOPS 164552 HAS SOUS 57525 HAS SOUPS 55689 WITH SCORE 55855.388
AT ITER 9689 NEW BEST:: SOT 240855 SOS 166368 HAS SOPS 164532 HAS SOUS 57485 HAS SOUPS 55649 WITH SCORE 55815.368
AT ITER 9690 NEW BEST:: SOT 240830 SOS 166343 HAS SOPS 164507 HAS SOUS 57435 HAS SOUPS 55599 WITH SCORE 55765.343
AT ITER 9736 NEW BEST:: SOT 240828 SOS 166325 HAS SOPS 164489 HAS SOUS 57429 HAS SOUPS 55593 WITH SCORE 55759.325
AT ITER 9738 NEW BEST:: SOT 240558 SOS 166728 HAS SOPS 164969 HAS SOUS 57303 HAS SOUPS 55544 WITH SCORE 55710.728
AT ITER 9741 NEW BEST:: SOT 240600 SOS 166735 HAS SOPS 164976 HAS SOUS 57247 HAS SOUPS 55488 WITH SCORE 55654.735
AT ITER 9895 NEW BEST:: SOT 240617 SOS 166633 HAS SOPS 164857 HAS SOUS 57264 HAS SOUPS 55488 WITH SCORE 55654.633
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11858948 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16137836 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is CSRepetitions-COL-07, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r067-smll-167814394300040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CSRepetitions-COL-07.tgz
mv CSRepetitions-COL-07 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 ;