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.r483-tall-167912695200056.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 Sudoku-COL-AN07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912695200056
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 7.0K Feb 26 08:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 08:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 08:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 08:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 178K Feb 26 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 08:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 08:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 6.5K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679146245217

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=Sudoku-COL-AN07
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-18 13:30:47] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-18 13:30:47] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-18 13:30:48] [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-18 13:30:48] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-18 13:30:48] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 564 ms
[2023-03-18 13:30:48] [INFO ] Imported 4 HL places and 1 HL transitions for a total of 490 PT places and 343.0 transition bindings in 16 ms.
[2023-03-18 13:30:48] [INFO ] Unfolded HLPN to a Petri net with 490 places and 343 transitions 1372 arcs in 51 ms.
[2023-03-18 13:30:48] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-18 13:30:48] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 490 places, 343 transitions and 1372 arcs took 15 ms.
Total runtime 873 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (COL), instance AN07
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: 490 places, 343 transitions, 1372 arcs.
AT ITER 0 NEW BEST:: SOT 123907 SOS 63143 HAS SOPS 63143 HAS SOUS 63143 HAS SOUPS 63143 WITH SCORE 63206.143
AT ITER 11 NEW BEST:: SOT 123699 SOS 63052 HAS SOPS 63052 HAS SOUS 62971 HAS SOUPS 62971 WITH SCORE 63034.052
AT ITER 19 NEW BEST:: SOT 123597 SOS 62950 HAS SOPS 62950 HAS SOUS 62869 HAS SOUPS 62869 WITH SCORE 62931.95
AT ITER 36 NEW BEST:: SOT 123586 SOS 62939 HAS SOPS 62939 HAS SOUS 62858 HAS SOUPS 62858 WITH SCORE 62920.939
AT ITER 41 NEW BEST:: SOT 123412 SOS 62827 HAS SOPS 62827 HAS SOUS 62710 HAS SOUPS 62710 WITH SCORE 62772.827
AT ITER 53 NEW BEST:: SOT 123331 SOS 62746 HAS SOPS 62746 HAS SOUS 62629 HAS SOUPS 62629 WITH SCORE 62691.746
AT ITER 64 NEW BEST:: SOT 123246 SOS 62709 HAS SOPS 62709 HAS SOUS 62585 HAS SOUPS 62585 WITH SCORE 62647.709
AT ITER 69 NEW BEST:: SOT 123205 SOS 62712 HAS SOPS 62712 HAS SOUS 62573 HAS SOUPS 62573 WITH SCORE 62635.712
AT ITER 79 NEW BEST:: SOT 123044 SOS 62612 HAS SOPS 62612 HAS SOUS 62442 HAS SOUPS 62442 WITH SCORE 62504.612
AT ITER 81 NEW BEST:: SOT 122898 SOS 62896 HAS SOPS 62896 HAS SOUS 62299 HAS SOUPS 62299 WITH SCORE 62361.896
AT ITER 93 NEW BEST:: SOT 122876 SOS 63182 HAS SOPS 63182 HAS SOUS 62281 HAS SOUPS 62281 WITH SCORE 62344.182
AT ITER 103 NEW BEST:: SOT 122866 SOS 63227 HAS SOPS 63227 HAS SOUS 62271 HAS SOUPS 62271 WITH SCORE 62334.227
AT ITER 106 NEW BEST:: SOT 122866 SOS 63227 HAS SOPS 63227 HAS SOUS 62242 HAS SOUPS 62242 WITH SCORE 62305.227
AT ITER 109 NEW BEST:: SOT 122922 SOS 63233 HAS SOPS 63233 HAS SOUS 62186 HAS SOUPS 62186 WITH SCORE 62249.233
AT ITER 116 NEW BEST:: SOT 122878 SOS 63189 HAS SOPS 63189 HAS SOUS 62142 HAS SOUPS 62142 WITH SCORE 62205.189
AT ITER 118 NEW BEST:: SOT 122738 SOS 63661 HAS SOPS 63661 HAS SOUS 62115 HAS SOUPS 62115 WITH SCORE 62178.661
AT ITER 123 NEW BEST:: SOT 122618 SOS 63541 HAS SOPS 63541 HAS SOUS 61995 HAS SOUPS 61995 WITH SCORE 62058.541
AT ITER 128 NEW BEST:: SOT 122618 SOS 63536 HAS SOPS 63536 HAS SOUS 61991 HAS SOUPS 61991 WITH SCORE 62054.536
AT ITER 129 NEW BEST:: SOT 122507 SOS 63911 HAS SOPS 63911 HAS SOUS 61940 HAS SOUPS 61940 WITH SCORE 62003.911
AT ITER 138 NEW BEST:: SOT 122398 SOS 63913 HAS SOPS 63913 HAS SOUS 61897 HAS SOUPS 61897 WITH SCORE 61960.913
AT ITER 144 NEW BEST:: SOT 122187 SOS 63963 HAS SOPS 63963 HAS SOUS 61782 HAS SOUPS 61782 WITH SCORE 61845.963
AT ITER 150 NEW BEST:: SOT 122206 SOS 63972 HAS SOPS 63972 HAS SOUS 61733 HAS SOUPS 61733 WITH SCORE 61796.972
AT ITER 161 NEW BEST:: SOT 122239 SOS 63984 HAS SOPS 63984 HAS SOUS 61724 HAS SOUPS 61724 WITH SCORE 61787.984
AT ITER 165 NEW BEST:: SOT 122134 SOS 63930 HAS SOPS 63930 HAS SOUS 61619 HAS SOUPS 61619 WITH SCORE 61682.93
AT ITER 180 NEW BEST:: SOT 122051 SOS 63847 HAS SOPS 63847 HAS SOUS 61510 HAS SOUPS 61510 WITH SCORE 61573.847
AT ITER 184 NEW BEST:: SOT 121980 SOS 63835 HAS SOPS 63835 HAS SOUS 61482 HAS SOUPS 61482 WITH SCORE 61545.835
AT ITER 191 NEW BEST:: SOT 121863 SOS 63845 HAS SOPS 63845 HAS SOUS 61480 HAS SOUPS 61480 WITH SCORE 61543.845
AT ITER 193 NEW BEST:: SOT 121863 SOS 63820 HAS SOPS 63820 HAS SOUS 61480 HAS SOUPS 61480 WITH SCORE 61543.82
AT ITER 200 NEW BEST:: SOT 121863 SOS 63811 HAS SOPS 63811 HAS SOUS 61480 HAS SOUPS 61480 WITH SCORE 61543.811
AT ITER 207 NEW BEST:: SOT 121895 SOS 63741 HAS SOPS 63741 HAS SOUS 61362 HAS SOUPS 61362 WITH SCORE 61425.741
AT ITER 208 NEW BEST:: SOT 121807 SOS 63766 HAS SOPS 63766 HAS SOUS 61294 HAS SOUPS 61294 WITH SCORE 61357.766
AT ITER 212 NEW BEST:: SOT 121755 SOS 63858 HAS SOPS 63858 HAS SOUS 61242 HAS SOUPS 61242 WITH SCORE 61305.858
AT ITER 218 NEW BEST:: SOT 121644 SOS 63747 HAS SOPS 63747 HAS SOUS 61166 HAS SOUPS 61166 WITH SCORE 61229.747
AT ITER 220 NEW BEST:: SOT 121639 SOS 63742 HAS SOPS 63742 HAS SOUS 61161 HAS SOUPS 61161 WITH SCORE 61224.742
AT ITER 221 NEW BEST:: SOT 121524 SOS 63722 HAS SOPS 63722 HAS SOUS 61141 HAS SOUPS 61141 WITH SCORE 61204.722
AT ITER 225 NEW BEST:: SOT 121434 SOS 63643 HAS SOPS 63643 HAS SOUS 61051 HAS SOUPS 61051 WITH SCORE 61114.643
AT ITER 227 NEW BEST:: SOT 121434 SOS 63442 HAS SOPS 63442 HAS SOUS 61051 HAS SOUPS 61051 WITH SCORE 61114.442
AT ITER 228 NEW BEST:: SOT 121327 SOS 63541 HAS SOPS 63541 HAS SOUS 60948 HAS SOUPS 60948 WITH SCORE 61011.541
AT ITER 229 NEW BEST:: SOT 121220 SOS 63648 HAS SOPS 63648 HAS SOUS 60888 HAS SOUPS 60888 WITH SCORE 60951.648
AT ITER 231 NEW BEST:: SOT 121265 SOS 63693 HAS SOPS 63693 HAS SOUS 60823 HAS SOUPS 60823 WITH SCORE 60886.693
AT ITER 237 NEW BEST:: SOT 121329 SOS 63575 HAS SOPS 63575 HAS SOUS 60669 HAS SOUPS 60669 WITH SCORE 60732.575
AT ITER 241 NEW BEST:: SOT 121303 SOS 63530 HAS SOPS 63530 HAS SOUS 60662 HAS SOUPS 60662 WITH SCORE 60725.53
AT ITER 242 NEW BEST:: SOT 121285 SOS 63298 HAS SOPS 63298 HAS SOUS 60570 HAS SOUPS 60570 WITH SCORE 60633.298
AT ITER 258 NEW BEST:: SOT 121162 SOS 63207 HAS SOPS 63207 HAS SOUS 60458 HAS SOUPS 60458 WITH SCORE 60521.207
AT ITER 262 NEW BEST:: SOT 121197 SOS 63249 HAS SOPS 63249 HAS SOUS 60457 HAS SOUPS 60457 WITH SCORE 60520.249
AT ITER 265 NEW BEST:: SOT 121150 SOS 63240 HAS SOPS 63240 HAS SOUS 60448 HAS SOUPS 60448 WITH SCORE 60511.24
AT ITER 266 NEW BEST:: SOT 121135 SOS 63214 HAS SOPS 63214 HAS SOUS 60362 HAS SOUPS 60362 WITH SCORE 60425.214
AT ITER 269 NEW BEST:: SOT 121121 SOS 63207 HAS SOPS 63207 HAS SOUS 60327 HAS SOUPS 60327 WITH SCORE 60390.207
AT ITER 271 NEW BEST:: SOT 121095 SOS 63212 HAS SOPS 63212 HAS SOUS 60301 HAS SOUPS 60301 WITH SCORE 60364.212
AT ITER 288 NEW BEST:: SOT 121164 SOS 63204 HAS SOPS 63204 HAS SOUS 60284 HAS SOUPS 60284 WITH SCORE 60347.204
AT ITER 296 NEW BEST:: SOT 121164 SOS 63189 HAS SOPS 63189 HAS SOUS 60284 HAS SOUPS 60284 WITH SCORE 60347.189
AT ITER 298 NEW BEST:: SOT 121164 SOS 63104 HAS SOPS 63104 HAS SOUS 60284 HAS SOUPS 60284 WITH SCORE 60347.104
AT ITER 302 NEW BEST:: SOT 121066 SOS 63597 HAS SOPS 63597 HAS SOUS 60207 HAS SOUPS 60207 WITH SCORE 60270.597
AT ITER 307 NEW BEST:: SOT 121066 SOS 63594 HAS SOPS 63594 HAS SOUS 60207 HAS SOUPS 60207 WITH SCORE 60270.594
AT ITER 308 NEW BEST:: SOT 121026 SOS 63514 HAS SOPS 63514 HAS SOUS 60154 HAS SOUPS 60154 WITH SCORE 60217.514
AT ITER 312 NEW BEST:: SOT 121026 SOS 63507 HAS SOPS 63507 HAS SOUS 60154 HAS SOUPS 60154 WITH SCORE 60217.507
AT ITER 315 NEW BEST:: SOT 121026 SOS 63502 HAS SOPS 63502 HAS SOUS 60154 HAS SOUPS 60154 WITH SCORE 60217.502
AT ITER 317 NEW BEST:: SOT 120978 SOS 63575 HAS SOPS 63575 HAS SOUS 60116 HAS SOUPS 60116 WITH SCORE 60179.575
AT ITER 318 NEW BEST:: SOT 120978 SOS 63573 HAS SOPS 63573 HAS SOUS 60114 HAS SOUPS 60114 WITH SCORE 60177.573
AT ITER 320 NEW BEST:: SOT 120921 SOS 63510 HAS SOPS 63510 HAS SOUS 60057 HAS SOUPS 60057 WITH SCORE 60120.51
AT ITER 324 NEW BEST:: SOT 120783 SOS 63543 HAS SOPS 63543 HAS SOUS 59964 HAS SOUPS 59964 WITH SCORE 60027.543
AT ITER 327 NEW BEST:: SOT 120764 SOS 63524 HAS SOPS 63524 HAS SOUS 59944 HAS SOUPS 59944 WITH SCORE 60007.524
AT ITER 329 NEW BEST:: SOT 120792 SOS 63588 HAS SOPS 63588 HAS SOUS 59926 HAS SOUPS 59926 WITH SCORE 59989.588
AT ITER 330 NEW BEST:: SOT 120614 SOS 63436 HAS SOPS 63436 HAS SOUS 59761 HAS SOUPS 59761 WITH SCORE 59824.436
AT ITER 332 NEW BEST:: SOT 120450 SOS 63313 HAS SOPS 63313 HAS SOUS 59626 HAS SOUPS 59626 WITH SCORE 59689.313
AT ITER 339 NEW BEST:: SOT 120395 SOS 63518 HAS SOPS 63518 HAS SOUS 59573 HAS SOUPS 59573 WITH SCORE 59636.518
AT ITER 348 NEW BEST:: SOT 120362 SOS 63440 HAS SOPS 63440 HAS SOUS 59539 HAS SOUPS 59539 WITH SCORE 59602.44
AT ITER 351 NEW BEST:: SOT 120330 SOS 63551 HAS SOPS 63551 HAS SOUS 59507 HAS SOUPS 59507 WITH SCORE 59570.551
AT ITER 354 NEW BEST:: SOT 120331 SOS 63540 HAS SOPS 63540 HAS SOUS 59496 HAS SOUPS 59496 WITH SCORE 59559.54
AT ITER 357 NEW BEST:: SOT 120279 SOS 63536 HAS SOPS 63536 HAS SOUS 59463 HAS SOUPS 59463 WITH SCORE 59526.536
AT ITER 359 NEW BEST:: SOT 120172 SOS 63448 HAS SOPS 63448 HAS SOUS 59373 HAS SOUPS 59373 WITH SCORE 59436.448
AT ITER 377 NEW BEST:: SOT 120135 SOS 63411 HAS SOPS 63411 HAS SOUS 59336 HAS SOUPS 59336 WITH SCORE 59399.411
AT ITER 387 NEW BEST:: SOT 120135 SOS 63223 HAS SOPS 63223 HAS SOUS 59289 HAS SOUPS 59289 WITH SCORE 59352.223
AT ITER 397 NEW BEST:: SOT 120057 SOS 63145 HAS SOPS 63145 HAS SOUS 59211 HAS SOUPS 59211 WITH SCORE 59274.145
AT ITER 400 NEW BEST:: SOT 120057 SOS 62960 HAS SOPS 62960 HAS SOUS 59211 HAS SOUPS 59211 WITH SCORE 59273.96
AT ITER 404 NEW BEST:: SOT 120057 SOS 62874 HAS SOPS 62874 HAS SOUS 59211 HAS SOUPS 59211 WITH SCORE 59273.874
AT ITER 407 NEW BEST:: SOT 120057 SOS 62848 HAS SOPS 62848 HAS SOUS 59185 HAS SOUPS 59185 WITH SCORE 59247.848
AT ITER 408 NEW BEST:: SOT 120045 SOS 62848 HAS SOPS 62848 HAS SOUS 59173 HAS SOUPS 59173 WITH SCORE 59235.848
AT ITER 412 NEW BEST:: SOT 120045 SOS 62845 HAS SOPS 62845 HAS SOUS 59173 HAS SOUPS 59173 WITH SCORE 59235.845
AT ITER 416 NEW BEST:: SOT 120055 SOS 62857 HAS SOPS 62857 HAS SOUS 59169 HAS SOUPS 59169 WITH SCORE 59231.857
AT ITER 420 NEW BEST:: SOT 120030 SOS 62832 HAS SOPS 62832 HAS SOUS 59144 HAS SOUPS 59144 WITH SCORE 59206.832
AT ITER 422 NEW BEST:: SOT 119989 SOS 62791 HAS SOPS 62791 HAS SOUS 59103 HAS SOUPS 59103 WITH SCORE 59165.791
AT ITER 423 NEW BEST:: SOT 119989 SOS 62770 HAS SOPS 62770 HAS SOUS 59100 HAS SOUPS 59100 WITH SCORE 59162.77
AT ITER 430 NEW BEST:: SOT 119989 SOS 62763 HAS SOPS 62763 HAS SOUS 59100 HAS SOUPS 59100 WITH SCORE 59162.763
AT ITER 432 NEW BEST:: SOT 119989 SOS 62735 HAS SOPS 62735 HAS SOUS 59100 HAS SOUPS 59100 WITH SCORE 59162.735
AT ITER 442 NEW BEST:: SOT 119878 SOS 62705 HAS SOPS 62705 HAS SOUS 59070 HAS SOUPS 59070 WITH SCORE 59132.705
AT ITER 443 NEW BEST:: SOT 119903 SOS 62813 HAS SOPS 62813 HAS SOUS 59048 HAS SOUPS 59048 WITH SCORE 59110.813
AT ITER 448 NEW BEST:: SOT 119903 SOS 62538 HAS SOPS 62538 HAS SOUS 59027 HAS SOUPS 59027 WITH SCORE 59089.538
AT ITER 449 NEW BEST:: SOT 119903 SOS 62521 HAS SOPS 62521 HAS SOUS 59027 HAS SOUPS 59027 WITH SCORE 59089.521
AT ITER 452 NEW BEST:: SOT 119903 SOS 62500 HAS SOPS 62500 HAS SOUS 59027 HAS SOUPS 59027 WITH SCORE 59089.5
AT ITER 457 NEW BEST:: SOT 119863 SOS 63256 HAS SOPS 63256 HAS SOUS 59022 HAS SOUPS 59022 WITH SCORE 59085.256
AT ITER 459 NEW BEST:: SOT 119607 SOS 63852 HAS SOPS 63852 HAS SOUS 59009 HAS SOUPS 59009 WITH SCORE 59072.852
AT ITER 471 NEW BEST:: SOT 119628 SOS 63914 HAS SOPS 63914 HAS SOUS 58947 HAS SOUPS 58947 WITH SCORE 59010.914
AT ITER 472 NEW BEST:: SOT 119372 SOS 63812 HAS SOPS 63812 HAS SOUS 58875 HAS SOUPS 58875 WITH SCORE 58938.812
AT ITER 480 NEW BEST:: SOT 119070 SOS 63708 HAS SOPS 63708 HAS SOUS 58749 HAS SOUPS 58749 WITH SCORE 58812.708
AT ITER 491 NEW BEST:: SOT 119038 SOS 63842 HAS SOPS 63842 HAS SOUS 58717 HAS SOUPS 58717 WITH SCORE 58780.842
AT ITER 494 NEW BEST:: SOT 119067 SOS 63856 HAS SOPS 63856 HAS SOUS 58678 HAS SOUPS 58678 WITH SCORE 58741.856
AT ITER 495 NEW BEST:: SOT 118911 SOS 63739 HAS SOPS 63739 HAS SOUS 58606 HAS SOUPS 58606 WITH SCORE 58669.739
AT ITER 496 NEW BEST:: SOT 118814 SOS 63516 HAS SOPS 63516 HAS SOUS 58419 HAS SOUPS 58419 WITH SCORE 58482.516
AT ITER 512 NEW BEST:: SOT 118670 SOS 63418 HAS SOPS 63418 HAS SOUS 58353 HAS SOUPS 58353 WITH SCORE 58416.418
AT ITER 526 NEW BEST:: SOT 118461 SOS 64173 HAS SOPS 64173 HAS SOUS 58317 HAS SOUPS 58317 WITH SCORE 58381.173
AT ITER 527 NEW BEST:: SOT 118461 SOS 64013 HAS SOPS 64013 HAS SOUS 58317 HAS SOUPS 58317 WITH SCORE 58381.013
AT ITER 529 NEW BEST:: SOT 118461 SOS 64012 HAS SOPS 64012 HAS SOUS 58317 HAS SOUPS 58317 WITH SCORE 58381.012
AT ITER 536 NEW BEST:: SOT 118281 SOS 63871 HAS SOPS 63871 HAS SOUS 58186 HAS SOUPS 58186 WITH SCORE 58249.871
AT ITER 548 NEW BEST:: SOT 118281 SOS 63870 HAS SOPS 63870 HAS SOUS 58186 HAS SOUPS 58186 WITH SCORE 58249.87
AT ITER 555 NEW BEST:: SOT 118281 SOS 63866 HAS SOPS 63866 HAS SOUS 58186 HAS SOUPS 58186 WITH SCORE 58249.866
AT ITER 564 NEW BEST:: SOT 118211 SOS 63810 HAS SOPS 63810 HAS SOUS 58130 HAS SOUPS 58130 WITH SCORE 58193.81
AT ITER 572 NEW BEST:: SOT 118211 SOS 63795 HAS SOPS 63795 HAS SOUS 58125 HAS SOUPS 58125 WITH SCORE 58188.795
AT ITER 576 NEW BEST:: SOT 118166 SOS 63773 HAS SOPS 63773 HAS SOUS 58103 HAS SOUPS 58103 WITH SCORE 58166.773
AT ITER 584 NEW BEST:: SOT 118137 SOS 63773 HAS SOPS 63773 HAS SOUS 58082 HAS SOUPS 58082 WITH SCORE 58145.773
AT ITER 585 NEW BEST:: SOT 118137 SOS 63721 HAS SOPS 63721 HAS SOUS 58082 HAS SOUPS 58082 WITH SCORE 58145.721
AT ITER 586 NEW BEST:: SOT 118137 SOS 63707 HAS SOPS 63707 HAS SOUS 58082 HAS SOUPS 58082 WITH SCORE 58145.707
AT ITER 587 NEW BEST:: SOT 118089 SOS 63667 HAS SOPS 63667 HAS SOUS 58034 HAS SOUPS 58034 WITH SCORE 58097.667
AT ITER 589 NEW BEST:: SOT 118056 SOS 63670 HAS SOPS 63670 HAS SOUS 58018 HAS SOUPS 58018 WITH SCORE 58081.67
AT ITER 592 NEW BEST:: SOT 117881 SOS 64107 HAS SOPS 64107 HAS SOUS 57936 HAS SOUPS 57936 WITH SCORE 58000.107
AT ITER 596 NEW BEST:: SOT 117738 SOS 64047 HAS SOPS 64047 HAS SOUS 57876 HAS SOUPS 57876 WITH SCORE 57940.047
AT ITER 599 NEW BEST:: SOT 117736 SOS 64045 HAS SOPS 64045 HAS SOUS 57874 HAS SOUPS 57874 WITH SCORE 57938.045
AT ITER 608 NEW BEST:: SOT 117688 SOS 64275 HAS SOPS 64275 HAS SOUS 57836 HAS SOUPS 57836 WITH SCORE 57900.275
AT ITER 611 NEW BEST:: SOT 117699 SOS 64281 HAS SOPS 64281 HAS SOUS 57834 HAS SOUPS 57834 WITH SCORE 57898.281
AT ITER 617 NEW BEST:: SOT 117658 SOS 64246 HAS SOPS 64246 HAS SOUS 57799 HAS SOUPS 57799 WITH SCORE 57863.246
AT ITER 627 NEW BEST:: SOT 117468 SOS 64141 HAS SOPS 64141 HAS SOUS 57766 HAS SOUPS 57766 WITH SCORE 57830.141
AT ITER 631 NEW BEST:: SOT 117401 SOS 64272 HAS SOPS 64272 HAS SOUS 57739 HAS SOUPS 57739 WITH SCORE 57803.272
AT ITER 647 NEW BEST:: SOT 117401 SOS 64265 HAS SOPS 64265 HAS SOUS 57732 HAS SOUPS 57732 WITH SCORE 57796.265
AT ITER 653 NEW BEST:: SOT 117186 SOS 64429 HAS SOPS 64429 HAS SOUS 57716 HAS SOUPS 57716 WITH SCORE 57780.429
AT ITER 661 NEW BEST:: SOT 117186 SOS 64571 HAS SOPS 64571 HAS SOUS 57708 HAS SOUPS 57708 WITH SCORE 57772.571
AT ITER 665 NEW BEST:: SOT 117121 SOS 64558 HAS SOPS 64558 HAS SOUS 57669 HAS SOUPS 57669 WITH SCORE 57733.558
AT ITER 679 NEW BEST:: SOT 117103 SOS 64522 HAS SOPS 64522 HAS SOUS 57651 HAS SOUPS 57651 WITH SCORE 57715.522
AT ITER 681 NEW BEST:: SOT 117097 SOS 64503 HAS SOPS 64503 HAS SOUS 57610 HAS SOUPS 57610 WITH SCORE 57674.503
AT ITER 686 NEW BEST:: SOT 116997 SOS 64434 HAS SOPS 64434 HAS SOUS 57582 HAS SOUPS 57582 WITH SCORE 57646.434
AT ITER 692 NEW BEST:: SOT 116903 SOS 64249 HAS SOPS 64249 HAS SOUS 57364 HAS SOUPS 57364 WITH SCORE 57428.249
AT ITER 699 NEW BEST:: SOT 116937 SOS 64247 HAS SOPS 64247 HAS SOUS 57320 HAS SOUPS 57320 WITH SCORE 57384.247
AT ITER 703 NEW BEST:: SOT 116807 SOS 64369 HAS SOPS 64369 HAS SOUS 57297 HAS SOUPS 57297 WITH SCORE 57361.369
AT ITER 732 NEW BEST:: SOT 116807 SOS 64283 HAS SOPS 64283 HAS SOUS 57297 HAS SOUPS 57297 WITH SCORE 57361.283
AT ITER 748 NEW BEST:: SOT 116804 SOS 64280 HAS SOPS 64280 HAS SOUS 57294 HAS SOUPS 57294 WITH SCORE 57358.28
AT ITER 753 NEW BEST:: SOT 116768 SOS 64256 HAS SOPS 64256 HAS SOUS 57270 HAS SOUPS 57270 WITH SCORE 57334.256
AT ITER 756 NEW BEST:: SOT 116753 SOS 64244 HAS SOPS 64244 HAS SOUS 57258 HAS SOUPS 57258 WITH SCORE 57322.244
AT ITER 767 NEW BEST:: SOT 116671 SOS 64228 HAS SOPS 64228 HAS SOUS 57242 HAS SOUPS 57242 WITH SCORE 57306.228
AT ITER 768 NEW BEST:: SOT 116671 SOS 64228 HAS SOPS 64228 HAS SOUS 57238 HAS SOUPS 57238 WITH SCORE 57302.228
AT ITER 770 NEW BEST:: SOT 116668 SOS 64271 HAS SOPS 64271 HAS SOUS 57235 HAS SOUPS 57235 WITH SCORE 57299.271
AT ITER 774 NEW BEST:: SOT 116668 SOS 64261 HAS SOPS 64261 HAS SOUS 57235 HAS SOUPS 57235 WITH SCORE 57299.261
AT ITER 782 NEW BEST:: SOT 116492 SOS 64225 HAS SOPS 64225 HAS SOUS 57232 HAS SOUPS 57232 WITH SCORE 57296.225
AT ITER 799 NEW BEST:: SOT 116492 SOS 64138 HAS SOPS 64138 HAS SOUS 57232 HAS SOUPS 57232 WITH SCORE 57296.138
AT ITER 800 NEW BEST:: SOT 116492 SOS 64045 HAS SOPS 64045 HAS SOUS 57221 HAS SOUPS 57221 WITH SCORE 57285.045
AT ITER 804 NEW BEST:: SOT 116447 SOS 64051 HAS SOPS 64051 HAS SOUS 57124 HAS SOUPS 57124 WITH SCORE 57188.051
AT ITER 812 NEW BEST:: SOT 116433 SOS 64037 HAS SOPS 64037 HAS SOUS 57110 HAS SOUPS 57110 WITH SCORE 57174.037
AT ITER 816 NEW BEST:: SOT 116374 SOS 63991 HAS SOPS 63991 HAS SOUS 57047 HAS SOUPS 57047 WITH SCORE 57110.991
AT ITER 828 NEW BEST:: SOT 116374 SOS 63958 HAS SOPS 63958 HAS SOUS 57047 HAS SOUPS 57047 WITH SCORE 57110.958
AT ITER 833 NEW BEST:: SOT 116354 SOS 63938 HAS SOPS 63938 HAS SOUS 57027 HAS SOUPS 57027 WITH SCORE 57090.938
AT ITER 855 NEW BEST:: SOT 116394 SOS 63843 HAS SOPS 63843 HAS SOUS 56901 HAS SOUPS 56901 WITH SCORE 56964.843
AT ITER 870 NEW BEST:: SOT 116361 SOS 63816 HAS SOPS 63816 HAS SOUS 56874 HAS SOUPS 56874 WITH SCORE 56937.816
AT ITER 872 NEW BEST:: SOT 116268 SOS 63788 HAS SOPS 63788 HAS SOUS 56846 HAS SOUPS 56846 WITH SCORE 56909.788
AT ITER 895 NEW BEST:: SOT 116143 SOS 64395 HAS SOPS 64395 HAS SOUS 56797 HAS SOUPS 56797 WITH SCORE 56861.395
AT ITER 897 NEW BEST:: SOT 116138 SOS 64390 HAS SOPS 64390 HAS SOUS 56792 HAS SOUPS 56792 WITH SCORE 56856.39
AT ITER 898 NEW BEST:: SOT 116138 SOS 64327 HAS SOPS 64327 HAS SOUS 56779 HAS SOUPS 56779 WITH SCORE 56843.327
AT ITER 899 NEW BEST:: SOT 115867 SOS 64313 HAS SOPS 64313 HAS SOUS 56776 HAS SOUPS 56776 WITH SCORE 56840.313
AT ITER 904 NEW BEST:: SOT 115738 SOS 64948 HAS SOPS 64948 HAS SOUS 56688 HAS SOUPS 56688 WITH SCORE 56752.948
AT ITER 907 NEW BEST:: SOT 115722 SOS 65667 HAS SOPS 65667 HAS SOUS 56675 HAS SOUPS 56675 WITH SCORE 56740.667
AT ITER 911 NEW BEST:: SOT 115722 SOS 65649 HAS SOPS 65649 HAS SOUS 56675 HAS SOUPS 56675 WITH SCORE 56740.649
AT ITER 913 NEW BEST:: SOT 115722 SOS 65334 HAS SOPS 65334 HAS SOUS 56675 HAS SOUPS 56675 WITH SCORE 56740.334
AT ITER 917 NEW BEST:: SOT 115722 SOS 65256 HAS SOPS 65256 HAS SOUS 56675 HAS SOUPS 56675 WITH SCORE 56740.256
AT ITER 920 NEW BEST:: SOT 115722 SOS 65223 HAS SOPS 65223 HAS SOUS 56645 HAS SOUPS 56645 WITH SCORE 56710.223
AT ITER 927 NEW BEST:: SOT 115722 SOS 65202 HAS SOPS 65202 HAS SOUS 56645 HAS SOUPS 56645 WITH SCORE 56710.202
AT ITER 929 NEW BEST:: SOT 115722 SOS 65199 HAS SOPS 65199 HAS SOUS 56645 HAS SOUPS 56645 WITH SCORE 56710.199
AT ITER 936 NEW BEST:: SOT 115710 SOS 65243 HAS SOPS 65243 HAS SOUS 56609 HAS SOUPS 56609 WITH SCORE 56674.243
AT ITER 956 NEW BEST:: SOT 115710 SOS 65210 HAS SOPS 65210 HAS SOUS 56609 HAS SOUPS 56609 WITH SCORE 56674.21
AT ITER 961 NEW BEST:: SOT 115673 SOS 65275 HAS SOPS 65275 HAS SOUS 56578 HAS SOUPS 56578 WITH SCORE 56643.275
AT ITER 969 NEW BEST:: SOT 115317 SOS 65067 HAS SOPS 65067 HAS SOUS 56367 HAS SOUPS 56367 WITH SCORE 56432.067
AT ITER 977 NEW BEST:: SOT 115317 SOS 65061 HAS SOPS 65061 HAS SOUS 56367 HAS SOUPS 56367 WITH SCORE 56432.061
AT ITER 989 NEW BEST:: SOT 115184 SOS 65050 HAS SOPS 65050 HAS SOUS 56356 HAS SOUPS 56356 WITH SCORE 56421.05
AT ITER 991 NEW BEST:: SOT 115122 SOS 64975 HAS SOPS 64975 HAS SOUS 56281 HAS SOUPS 56281 WITH SCORE 56345.975
AT ITER 1015 NEW BEST:: SOT 115064 SOS 65566 HAS SOPS 65566 HAS SOUS 56223 HAS SOUPS 56223 WITH SCORE 56288.566
AT ITER 1030 NEW BEST:: SOT 115064 SOS 65582 HAS SOPS 65582 HAS SOUS 56202 HAS SOUPS 56202 WITH SCORE 56267.582
AT ITER 1031 NEW BEST:: SOT 115031 SOS 65560 HAS SOPS 65560 HAS SOUS 56180 HAS SOUPS 56180 WITH SCORE 56245.56
AT ITER 1054 NEW BEST:: SOT 115030 SOS 65559 HAS SOPS 65559 HAS SOUS 56178 HAS SOUPS 56178 WITH SCORE 56243.559
AT ITER 1059 NEW BEST:: SOT 115017 SOS 65550 HAS SOPS 65550 HAS SOUS 56169 HAS SOUPS 56169 WITH SCORE 56234.55
AT ITER 1084 NEW BEST:: SOT 114743 SOS 65486 HAS SOPS 65486 HAS SOUS 56055 HAS SOUPS 56055 WITH SCORE 56120.486
AT ITER 1099 NEW BEST:: SOT 114702 SOS 65459 HAS SOPS 65459 HAS SOUS 55986 HAS SOUPS 55986 WITH SCORE 56051.459
AT ITER 1104 NEW BEST:: SOT 114702 SOS 65434 HAS SOPS 65434 HAS SOUS 55976 HAS SOUPS 55976 WITH SCORE 56041.434
AT ITER 1108 NEW BEST:: SOT 114595 SOS 65365 HAS SOPS 65365 HAS SOUS 55907 HAS SOUPS 55907 WITH SCORE 55972.365
AT ITER 1121 NEW BEST:: SOT 114548 SOS 65318 HAS SOPS 65318 HAS SOUS 55860 HAS SOUPS 55860 WITH SCORE 55925.318
AT ITER 1122 NEW BEST:: SOT 114548 SOS 65303 HAS SOPS 65303 HAS SOUS 55860 HAS SOUPS 55860 WITH SCORE 55925.303
AT ITER 1144 NEW BEST:: SOT 114476 SOS 65279 HAS SOPS 65279 HAS SOUS 55836 HAS SOUPS 55836 WITH SCORE 55901.279
AT ITER 1153 NEW BEST:: SOT 114435 SOS 65252 HAS SOPS 65252 HAS SOUS 55814 HAS SOUPS 55814 WITH SCORE 55879.252
AT ITER 1169 NEW BEST:: SOT 114421 SOS 65238 HAS SOPS 65238 HAS SOUS 55779 HAS SOUPS 55779 WITH SCORE 55844.238
AT ITER 1184 NEW BEST:: SOT 114420 SOS 65237 HAS SOPS 65237 HAS SOUS 55778 HAS SOUPS 55778 WITH SCORE 55843.237
AT ITER 1185 NEW BEST:: SOT 114381 SOS 65411 HAS SOPS 65411 HAS SOUS 55767 HAS SOUPS 55767 WITH SCORE 55832.411
AT ITER 1209 NEW BEST:: SOT 114324 SOS 65500 HAS SOPS 65500 HAS SOUS 55733 HAS SOUPS 55733 WITH SCORE 55798.5
AT ITER 1214 NEW BEST:: SOT 114324 SOS 65474 HAS SOPS 65474 HAS SOUS 55733 HAS SOUPS 55733 WITH SCORE 55798.474
AT ITER 1216 NEW BEST:: SOT 114351 SOS 65377 HAS SOPS 65377 HAS SOUS 55707 HAS SOUPS 55707 WITH SCORE 55772.377
AT ITER 1221 NEW BEST:: SOT 114224 SOS 65363 HAS SOPS 65363 HAS SOUS 55693 HAS SOUPS 55693 WITH SCORE 55758.363
AT ITER 1225 NEW BEST:: SOT 114224 SOS 65363 HAS SOPS 65363 HAS SOUS 55681 HAS SOUPS 55681 WITH SCORE 55746.363
AT ITER 1231 NEW BEST:: SOT 114189 SOS 65328 HAS SOPS 65328 HAS SOUS 55646 HAS SOUPS 55646 WITH SCORE 55711.328
AT ITER 1235 NEW BEST:: SOT 114221 SOS 65360 HAS SOPS 65360 HAS SOUS 55644 HAS SOUPS 55644 WITH SCORE 55709.36
AT ITER 1237 NEW BEST:: SOT 114269 SOS 65042 HAS SOPS 65042 HAS SOUS 55644 HAS SOUPS 55644 WITH SCORE 55709.042
AT ITER 1248 NEW BEST:: SOT 114269 SOS 64984 HAS SOPS 64984 HAS SOUS 55644 HAS SOUPS 55644 WITH SCORE 55708.984
AT ITER 1252 NEW BEST:: SOT 114269 SOS 64983 HAS SOPS 64983 HAS SOUS 55644 HAS SOUPS 55644 WITH SCORE 55708.983
AT ITER 1270 NEW BEST:: SOT 114249 SOS 64999 HAS SOPS 64999 HAS SOUS 55639 HAS SOUPS 55639 WITH SCORE 55703.999
AT ITER 1284 NEW BEST:: SOT 114239 SOS 64864 HAS SOPS 64864 HAS SOUS 55616 HAS SOUPS 55616 WITH SCORE 55680.864
AT ITER 1287 NEW BEST:: SOT 114239 SOS 64860 HAS SOPS 64860 HAS SOUS 55616 HAS SOUPS 55616 WITH SCORE 55680.86
AT ITER 1291 NEW BEST:: SOT 114234 SOS 64855 HAS SOPS 64855 HAS SOUS 55611 HAS SOUPS 55611 WITH SCORE 55675.855
AT ITER 1292 NEW BEST:: SOT 114230 SOS 64851 HAS SOPS 64851 HAS SOUS 55607 HAS SOUPS 55607 WITH SCORE 55671.851
AT ITER 1294 NEW BEST:: SOT 114230 SOS 64809 HAS SOPS 64809 HAS SOUS 55607 HAS SOUPS 55607 WITH SCORE 55671.809
AT ITER 1296 NEW BEST:: SOT 114063 SOS 64447 HAS SOPS 64447 HAS SOUS 55440 HAS SOUPS 55440 WITH SCORE 55504.447
AT ITER 1301 NEW BEST:: SOT 114025 SOS 64362 HAS SOPS 64362 HAS SOUS 55378 HAS SOUPS 55378 WITH SCORE 55442.362
AT ITER 1306 NEW BEST:: SOT 114025 SOS 64360 HAS SOPS 64360 HAS SOUS 55378 HAS SOUPS 55378 WITH SCORE 55442.36
AT ITER 1307 NEW BEST:: SOT 113899 SOS 64519 HAS SOPS 64519 HAS SOUS 55343 HAS SOUPS 55343 WITH SCORE 55407.519
AT ITER 1319 NEW BEST:: SOT 113885 SOS 64625 HAS SOPS 64625 HAS SOUS 55302 HAS SOUPS 55302 WITH SCORE 55366.625
AT ITER 1333 NEW BEST:: SOT 113885 SOS 64518 HAS SOPS 64518 HAS SOUS 55278 HAS SOUPS 55278 WITH SCORE 55342.518
AT ITER 1348 NEW BEST:: SOT 113884 SOS 64517 HAS SOPS 64517 HAS SOUS 55277 HAS SOUPS 55277 WITH SCORE 55341.517
AT ITER 1357 NEW BEST:: SOT 113884 SOS 64515 HAS SOPS 64515 HAS SOUS 55277 HAS SOUPS 55277 WITH SCORE 55341.515
AT ITER 1364 NEW BEST:: SOT 113862 SOS 64493 HAS SOPS 64493 HAS SOUS 55255 HAS SOUPS 55255 WITH SCORE 55319.493
AT ITER 1380 NEW BEST:: SOT 113945 SOS 64470 HAS SOPS 64470 HAS SOUS 55232 HAS SOUPS 55232 WITH SCORE 55296.47
AT ITER 1383 NEW BEST:: SOT 113940 SOS 64465 HAS SOPS 64465 HAS SOUS 55227 HAS SOUPS 55227 WITH SCORE 55291.465
AT ITER 1391 NEW BEST:: SOT 113766 SOS 64401 HAS SOPS 64401 HAS SOUS 55157 HAS SOUPS 55157 WITH SCORE 55221.401
AT ITER 1393 NEW BEST:: SOT 113786 SOS 64318 HAS SOPS 64318 HAS SOUS 55130 HAS SOUPS 55130 WITH SCORE 55194.318
AT ITER 1398 NEW BEST:: SOT 113786 SOS 63860 HAS SOPS 63860 HAS SOUS 55067 HAS SOUPS 55067 WITH SCORE 55130.86
AT ITER 1404 NEW BEST:: SOT 113898 SOS 63999 HAS SOPS 63999 HAS SOUS 55063 HAS SOUPS 55063 WITH SCORE 55126.999
AT ITER 1407 NEW BEST:: SOT 113898 SOS 63977 HAS SOPS 63977 HAS SOUS 55063 HAS SOUPS 55063 WITH SCORE 55126.977
AT ITER 1416 NEW BEST:: SOT 113898 SOS 63878 HAS SOPS 63878 HAS SOUS 55059 HAS SOUPS 55059 WITH SCORE 55122.878
AT ITER 1428 NEW BEST:: SOT 113892 SOS 63808 HAS SOPS 63808 HAS SOUS 55016 HAS SOUPS 55016 WITH SCORE 55079.808
AT ITER 1454 NEW BEST:: SOT 113892 SOS 63725 HAS SOPS 63725 HAS SOUS 55016 HAS SOUPS 55016 WITH SCORE 55079.725
AT ITER 1470 NEW BEST:: SOT 113786 SOS 63671 HAS SOPS 63671 HAS SOUS 54962 HAS SOUPS 54962 WITH SCORE 55025.671
AT ITER 1488 NEW BEST:: SOT 113780 SOS 63665 HAS SOPS 63665 HAS SOUS 54956 HAS SOUPS 54956 WITH SCORE 55019.665
AT ITER 1502 NEW BEST:: SOT 113773 SOS 63679 HAS SOPS 63679 HAS SOUS 54949 HAS SOUPS 54949 WITH SCORE 55012.679
AT ITER 1506 NEW BEST:: SOT 113773 SOS 63667 HAS SOPS 63667 HAS SOUS 54949 HAS SOUPS 54949 WITH SCORE 55012.667
AT ITER 1512 NEW BEST:: SOT 113569 SOS 64239 HAS SOPS 64239 HAS SOUS 54945 HAS SOUPS 54945 WITH SCORE 55009.239
AT ITER 1514 NEW BEST:: SOT 113533 SOS 64129 HAS SOPS 64129 HAS SOUS 54942 HAS SOUPS 54942 WITH SCORE 55006.129
AT ITER 1516 NEW BEST:: SOT 113506 SOS 64102 HAS SOPS 64102 HAS SOUS 54915 HAS SOUPS 54915 WITH SCORE 54979.102
AT ITER 1519 NEW BEST:: SOT 113338 SOS 64239 HAS SOPS 64239 HAS SOUS 54914 HAS SOUPS 54914 WITH SCORE 54978.239
AT ITER 1522 NEW BEST:: SOT 113329 SOS 64230 HAS SOPS 64230 HAS SOUS 54905 HAS SOUPS 54905 WITH SCORE 54969.23
AT ITER 1550 NEW BEST:: SOT 113296 SOS 64219 HAS SOPS 64219 HAS SOUS 54894 HAS SOUPS 54894 WITH SCORE 54958.219
AT ITER 1551 NEW BEST:: SOT 113232 SOS 64155 HAS SOPS 64155 HAS SOUS 54830 HAS SOUPS 54830 WITH SCORE 54894.155
AT ITER 1557 NEW BEST:: SOT 113143 SOS 64086 HAS SOPS 64086 HAS SOUS 54761 HAS SOUPS 54761 WITH SCORE 54825.086
AT ITER 1558 NEW BEST:: SOT 113141 SOS 64084 HAS SOPS 64084 HAS SOUS 54759 HAS SOUPS 54759 WITH SCORE 54823.084
AT ITER 1597 NEW BEST:: SOT 113141 SOS 64081 HAS SOPS 64081 HAS SOUS 54756 HAS SOUPS 54756 WITH SCORE 54820.081
AT ITER 1599 NEW BEST:: SOT 113157 SOS 64032 HAS SOPS 64032 HAS SOUS 54700 HAS SOUPS 54700 WITH SCORE 54764.032
AT ITER 1608 NEW BEST:: SOT 113172 SOS 64008 HAS SOPS 64008 HAS SOUS 54688 HAS SOUPS 54688 WITH SCORE 54752.008
AT ITER 1617 NEW BEST:: SOT 113116 SOS 63966 HAS SOPS 63966 HAS SOUS 54646 HAS SOUPS 54646 WITH SCORE 54709.966
AT ITER 1620 NEW BEST:: SOT 113116 SOS 63752 HAS SOPS 63752 HAS SOUS 54628 HAS SOUPS 54628 WITH SCORE 54691.752
AT ITER 1636 NEW BEST:: SOT 113125 SOS 63743 HAS SOPS 63743 HAS SOUS 54623 HAS SOUPS 54623 WITH SCORE 54686.743
AT ITER 1646 NEW BEST:: SOT 112860 SOS 63997 HAS SOPS 63997 HAS SOUS 54601 HAS SOUPS 54601 WITH SCORE 54664.997
AT ITER 1647 NEW BEST:: SOT 112843 SOS 63980 HAS SOPS 63980 HAS SOUS 54580 HAS SOUPS 54580 WITH SCORE 54643.98
AT ITER 1672 NEW BEST:: SOT 112843 SOS 64034 HAS SOPS 64034 HAS SOUS 54575 HAS SOUPS 54575 WITH SCORE 54639.034
AT ITER 1673 NEW BEST:: SOT 112843 SOS 64000 HAS SOPS 64000 HAS SOUS 54541 HAS SOUPS 54541 WITH SCORE 54605.0
AT ITER 1682 NEW BEST:: SOT 112834 SOS 63991 HAS SOPS 63991 HAS SOUS 54532 HAS SOUPS 54532 WITH SCORE 54595.991
AT ITER 1706 NEW BEST:: SOT 112834 SOS 64030 HAS SOPS 64030 HAS SOUS 54517 HAS SOUPS 54517 WITH SCORE 54581.03
AT ITER 1711 NEW BEST:: SOT 112824 SOS 64020 HAS SOPS 64020 HAS SOUS 54507 HAS SOUPS 54507 WITH SCORE 54571.02
AT ITER 1712 NEW BEST:: SOT 112814 SOS 64010 HAS SOPS 64010 HAS SOUS 54497 HAS SOUPS 54497 WITH SCORE 54561.01
AT ITER 1739 NEW BEST:: SOT 112822 SOS 63889 HAS SOPS 63889 HAS SOUS 54489 HAS SOUPS 54489 WITH SCORE 54552.889
AT ITER 1742 NEW BEST:: SOT 112779 SOS 64038 HAS SOPS 64038 HAS SOUS 54447 HAS SOUPS 54447 WITH SCORE 54511.038
AT ITER 1753 NEW BEST:: SOT 112752 SOS 64011 HAS SOPS 64011 HAS SOUS 54411 HAS SOUPS 54411 WITH SCORE 54475.011
AT ITER 1755 NEW BEST:: SOT 112752 SOS 64018 HAS SOPS 64018 HAS SOUS 54404 HAS SOUPS 54404 WITH SCORE 54468.018
AT ITER 1764 NEW BEST:: SOT 112762 SOS 64020 HAS SOPS 64020 HAS SOUS 54366 HAS SOUPS 54366 WITH SCORE 54430.02
AT ITER 1769 NEW BEST:: SOT 112800 SOS 64010 HAS SOPS 64010 HAS SOUS 54359 HAS SOUPS 54359 WITH SCORE 54423.01
AT ITER 1779 NEW BEST:: SOT 112671 SOS 64301 HAS SOPS 64301 HAS SOUS 54276 HAS SOUPS 54276 WITH SCORE 54340.301
AT ITER 1787 NEW BEST:: SOT 112642 SOS 64272 HAS SOPS 64272 HAS SOUS 54243 HAS SOUPS 54243 WITH SCORE 54307.272
AT ITER 1818 NEW BEST:: SOT 112395 SOS 64663 HAS SOPS 64663 HAS SOUS 54193 HAS SOUPS 54193 WITH SCORE 54257.663
AT ITER 1842 NEW BEST:: SOT 112316 SOS 64799 HAS SOPS 64799 HAS SOUS 54184 HAS SOUPS 54184 WITH SCORE 54248.799
AT ITER 1847 NEW BEST:: SOT 112235 SOS 64643 HAS SOPS 64643 HAS SOUS 54087 HAS SOUPS 54087 WITH SCORE 54151.643
AT ITER 1849 NEW BEST:: SOT 112235 SOS 64636 HAS SOPS 64636 HAS SOUS 54047 HAS SOUPS 54047 WITH SCORE 54111.636
AT ITER 1851 NEW BEST:: SOT 112186 SOS 64587 HAS SOPS 64587 HAS SOUS 53969 HAS SOUPS 53969 WITH SCORE 54033.587
AT ITER 1853 NEW BEST:: SOT 112175 SOS 64576 HAS SOPS 64576 HAS SOUS 53958 HAS SOUPS 53958 WITH SCORE 54022.576
AT ITER 1856 NEW BEST:: SOT 112313 SOS 64236 HAS SOPS 64236 HAS SOUS 53810 HAS SOUPS 53810 WITH SCORE 53874.236
AT ITER 1857 NEW BEST:: SOT 112324 SOS 64219 HAS SOPS 64219 HAS SOUS 53793 HAS SOUPS 53793 WITH SCORE 53857.219
AT ITER 1879 NEW BEST:: SOT 112164 SOS 64139 HAS SOPS 64139 HAS SOUS 53713 HAS SOUPS 53713 WITH SCORE 53777.139
AT ITER 1885 NEW BEST:: SOT 112037 SOS 64054 HAS SOPS 64054 HAS SOUS 53628 HAS SOUPS 53628 WITH SCORE 53692.054
AT ITER 1911 NEW BEST:: SOT 111997 SOS 64043 HAS SOPS 64043 HAS SOUS 53617 HAS SOUPS 53617 WITH SCORE 53681.043
AT ITER 1916 NEW BEST:: SOT 112017 SOS 64053 HAS SOPS 64053 HAS SOUS 53613 HAS SOUPS 53613 WITH SCORE 53677.053
AT ITER 1919 NEW BEST:: SOT 112001 SOS 64037 HAS SOPS 64037 HAS SOUS 53597 HAS SOUPS 53597 WITH SCORE 53661.037
AT ITER 1921 NEW BEST:: SOT 112001 SOS 64029 HAS SOPS 64029 HAS SOUS 53597 HAS SOUPS 53597 WITH SCORE 53661.029
AT ITER 1922 NEW BEST:: SOT 111998 SOS 64026 HAS SOPS 64026 HAS SOUS 53594 HAS SOUPS 53594 WITH SCORE 53658.026
AT ITER 1936 NEW BEST:: SOT 111997 SOS 64021 HAS SOPS 64021 HAS SOUS 53593 HAS SOUPS 53593 WITH SCORE 53657.021
AT ITER 1941 NEW BEST:: SOT 111997 SOS 63980 HAS SOPS 63980 HAS SOUS 53571 HAS SOUPS 53571 WITH SCORE 53634.98
AT ITER 1952 NEW BEST:: SOT 111965 SOS 63948 HAS SOPS 63948 HAS SOUS 53539 HAS SOUPS 53539 WITH SCORE 53602.948
AT ITER 1954 NEW BEST:: SOT 112010 SOS 63932 HAS SOPS 63932 HAS SOUS 53523 HAS SOUPS 53523 WITH SCORE 53586.932
AT ITER 1964 NEW BEST:: SOT 112010 SOS 63514 HAS SOPS 63514 HAS SOUS 53523 HAS SOUPS 53523 WITH SCORE 53586.514
AT ITER 1968 NEW BEST:: SOT 111989 SOS 63503 HAS SOPS 63503 HAS SOUS 53482 HAS SOUPS 53482 WITH SCORE 53545.503
AT ITER 1969 NEW BEST:: SOT 111989 SOS 63448 HAS SOPS 63448 HAS SOUS 53450 HAS SOUPS 53450 WITH SCORE 53513.448
AT ITER 1971 NEW BEST:: SOT 111989 SOS 63373 HAS SOPS 63373 HAS SOUS 53450 HAS SOUPS 53450 WITH SCORE 53513.373
AT ITER 1978 NEW BEST:: SOT 111989 SOS 63314 HAS SOPS 63314 HAS SOUS 53420 HAS SOUPS 53420 WITH SCORE 53483.314
AT ITER 1986 NEW BEST:: SOT 111989 SOS 63270 HAS SOPS 63270 HAS SOUS 53420 HAS SOUPS 53420 WITH SCORE 53483.27
AT ITER 1995 NEW BEST:: SOT 111956 SOS 63242 HAS SOPS 63242 HAS SOUS 53392 HAS SOUPS 53392 WITH SCORE 53455.242
AT ITER 1997 NEW BEST:: SOT 111931 SOS 63237 HAS SOPS 63237 HAS SOUS 53387 HAS SOUPS 53387 WITH SCORE 53450.237
AT ITER 2022 NEW BEST:: SOT 111870 SOS 63230 HAS SOPS 63230 HAS SOUS 53331 HAS SOUPS 53331 WITH SCORE 53394.23
AT ITER 2025 NEW BEST:: SOT 111823 SOS 63185 HAS SOPS 63185 HAS SOUS 53224 HAS SOUPS 53224 WITH SCORE 53287.185
AT ITER 2026 NEW BEST:: SOT 111823 SOS 63140 HAS SOPS 63140 HAS SOUS 53224 HAS SOUPS 53224 WITH SCORE 53287.14
AT ITER 2033 NEW BEST:: SOT 111823 SOS 63132 HAS SOPS 63132 HAS SOUS 53224 HAS SOUPS 53224 WITH SCORE 53287.132
AT ITER 2034 NEW BEST:: SOT 111823 SOS 63186 HAS SOPS 63186 HAS SOUS 53215 HAS SOUPS 53215 WITH SCORE 53278.186
AT ITER 2042 NEW BEST:: SOT 111923 SOS 63305 HAS SOPS 63305 HAS SOUS 53174 HAS SOUPS 53174 WITH SCORE 53237.305
AT ITER 2081 NEW BEST:: SOT 111914 SOS 63315 HAS SOPS 63315 HAS SOUS 53172 HAS SOUPS 53172 WITH SCORE 53235.315
AT ITER 2083 NEW BEST:: SOT 111887 SOS 63288 HAS SOPS 63288 HAS SOUS 53145 HAS SOUPS 53145 WITH SCORE 53208.288
AT ITER 2086 NEW BEST:: SOT 111795 SOS 63241 HAS SOPS 63241 HAS SOUS 53098 HAS SOUPS 53098 WITH SCORE 53161.241
AT ITER 2095 NEW BEST:: SOT 111795 SOS 63187 HAS SOPS 63187 HAS SOUS 53098 HAS SOUPS 53098 WITH SCORE 53161.187
AT ITER 2101 NEW BEST:: SOT 111796 SOS 63187 HAS SOPS 63187 HAS SOUS 53097 HAS SOUPS 53097 WITH SCORE 53160.187
AT ITER 2107 NEW BEST:: SOT 111796 SOS 63182 HAS SOPS 63182 HAS SOUS 53097 HAS SOUPS 53097 WITH SCORE 53160.182
AT ITER 2124 NEW BEST:: SOT 111786 SOS 63067 HAS SOPS 63067 HAS SOUS 53088 HAS SOUPS 53088 WITH SCORE 53151.067
AT ITER 2127 NEW BEST:: SOT 111786 SOS 63037 HAS SOPS 63037 HAS SOUS 53088 HAS SOUPS 53088 WITH SCORE 53151.037
AT ITER 2132 NEW BEST:: SOT 111786 SOS 63037 HAS SOPS 63037 HAS SOUS 53059 HAS SOUPS 53059 WITH SCORE 53122.037
AT ITER 2133 NEW BEST:: SOT 111786 SOS 63031 HAS SOPS 63031 HAS SOUS 53059 HAS SOUPS 53059 WITH SCORE 53122.031
AT ITER 2138 NEW BEST:: SOT 111625 SOS 62952 HAS SOPS 62952 HAS SOUS 52980 HAS SOUPS 52980 WITH SCORE 53042.952
AT ITER 2142 NEW BEST:: SOT 111481 SOS 62835 HAS SOPS 62835 HAS SOUS 52863 HAS SOUPS 52863 WITH SCORE 52925.835
AT ITER 2150 NEW BEST:: SOT 111481 SOS 62833 HAS SOPS 62833 HAS SOUS 52863 HAS SOUPS 52863 WITH SCORE 52925.833
AT ITER 2155 NEW BEST:: SOT 111456 SOS 62800 HAS SOPS 62800 HAS SOUS 52822 HAS SOUPS 52822 WITH SCORE 52884.8
AT ITER 2157 NEW BEST:: SOT 111346 SOS 62730 HAS SOPS 62730 HAS SOUS 52712 HAS SOUPS 52712 WITH SCORE 52774.73
AT ITER 2178 NEW BEST:: SOT 111378 SOS 62754 HAS SOPS 62754 HAS SOUS 52698 HAS SOUPS 52698 WITH SCORE 52760.754
AT ITER 2182 NEW BEST:: SOT 111281 SOS 62725 HAS SOPS 62725 HAS SOUS 52614 HAS SOUPS 52614 WITH SCORE 52676.725
AT ITER 2184 NEW BEST:: SOT 111263 SOS 62707 HAS SOPS 62707 HAS SOUS 52594 HAS SOUPS 52594 WITH SCORE 52656.707
AT ITER 2188 NEW BEST:: SOT 111242 SOS 62639 HAS SOPS 62639 HAS SOUS 52573 HAS SOUPS 52573 WITH SCORE 52635.639
AT ITER 2192 NEW BEST:: SOT 111200 SOS 62568 HAS SOPS 62568 HAS SOUS 52572 HAS SOUPS 52572 WITH SCORE 52634.568
AT ITER 2197 NEW BEST:: SOT 111184 SOS 62552 HAS SOPS 62552 HAS SOUS 52556 HAS SOUPS 52556 WITH SCORE 52618.552
AT ITER 2198 NEW BEST:: SOT 111113 SOS 62501 HAS SOPS 62501 HAS SOUS 52505 HAS SOUPS 52505 WITH SCORE 52567.501
AT ITER 2199 NEW BEST:: SOT 111113 SOS 62514 HAS SOPS 62514 HAS SOUS 52499 HAS SOUPS 52499 WITH SCORE 52561.514
AT ITER 2204 NEW BEST:: SOT 110919 SOS 62384 HAS SOPS 62384 HAS SOUS 52436 HAS SOUPS 52436 WITH SCORE 52498.384
AT ITER 2211 NEW BEST:: SOT 110919 SOS 62375 HAS SOPS 62375 HAS SOUS 52436 HAS SOUPS 52436 WITH SCORE 52498.375
AT ITER 2256 NEW BEST:: SOT 110919 SOS 62102 HAS SOPS 62102 HAS SOUS 52436 HAS SOUPS 52436 WITH SCORE 52498.102
AT ITER 2259 NEW BEST:: SOT 110892 SOS 62055 HAS SOPS 62055 HAS SOUS 52420 HAS SOUPS 52420 WITH SCORE 52482.055
AT ITER 2286 NEW BEST:: SOT 110792 SOS 61963 HAS SOPS 61963 HAS SOUS 52372 HAS SOUPS 52372 WITH SCORE 52433.963
AT ITER 2288 NEW BEST:: SOT 110762 SOS 61993 HAS SOPS 61993 HAS SOUS 52342 HAS SOUPS 52342 WITH SCORE 52403.993
AT ITER 2292 NEW BEST:: SOT 110753 SOS 61984 HAS SOPS 61984 HAS SOUS 52340 HAS SOUPS 52340 WITH SCORE 52401.984
AT ITER 2295 NEW BEST:: SOT 110711 SOS 61942 HAS SOPS 61942 HAS SOUS 52298 HAS SOUPS 52298 WITH SCORE 52359.942
AT ITER 2325 NEW BEST:: SOT 110689 SOS 61931 HAS SOPS 61931 HAS SOUS 52298 HAS SOUPS 52298 WITH SCORE 52359.931
AT ITER 2330 NEW BEST:: SOT 110375 SOS 61688 HAS SOPS 61688 HAS SOUS 52055 HAS SOUPS 52055 WITH SCORE 52116.688
AT ITER 2345 NEW BEST:: SOT 110251 SOS 61859 HAS SOPS 61859 HAS SOUS 51998 HAS SOUPS 51998 WITH SCORE 52059.859
AT ITER 2346 NEW BEST:: SOT 110247 SOS 61856 HAS SOPS 61856 HAS SOUS 51996 HAS SOUPS 51996 WITH SCORE 52057.856
AT ITER 2352 NEW BEST:: SOT 110247 SOS 61848 HAS SOPS 61848 HAS SOUS 51996 HAS SOUPS 51996 WITH SCORE 52057.848
AT ITER 2373 NEW BEST:: SOT 110276 SOS 61877 HAS SOPS 61877 HAS SOUS 51976 HAS SOUPS 51976 WITH SCORE 52037.877
AT ITER 2391 NEW BEST:: SOT 110160 SOS 61761 HAS SOPS 61761 HAS SOUS 51860 HAS SOUPS 51860 WITH SCORE 51921.761
AT ITER 2393 NEW BEST:: SOT 110160 SOS 61739 HAS SOPS 61739 HAS SOUS 51860 HAS SOUPS 51860 WITH SCORE 51921.739
AT ITER 2412 NEW BEST:: SOT 110060 SOS 61739 HAS SOPS 61739 HAS SOUS 51801 HAS SOUPS 51801 WITH SCORE 51862.739
AT ITER 2423 NEW BEST:: SOT 110054 SOS 61733 HAS SOPS 61733 HAS SOUS 51795 HAS SOUPS 51795 WITH SCORE 51856.733
AT ITER 2430 NEW BEST:: SOT 110043 SOS 61731 HAS SOPS 61731 HAS SOUS 51793 HAS SOUPS 51793 WITH SCORE 51854.731
AT ITER 2434 NEW BEST:: SOT 110040 SOS 61728 HAS SOPS 61728 HAS SOUS 51790 HAS SOUPS 51790 WITH SCORE 51851.728
AT ITER 2435 NEW BEST:: SOT 110040 SOS 61680 HAS SOPS 61680 HAS SOUS 51790 HAS SOUPS 51790 WITH SCORE 51851.68
AT ITER 2456 NEW BEST:: SOT 110030 SOS 61657 HAS SOPS 61657 HAS SOUS 51780 HAS SOUPS 51780 WITH SCORE 51841.657
AT ITER 2490 NEW BEST:: SOT 110036 SOS 61651 HAS SOPS 61651 HAS SOUS 51780 HAS SOUPS 51780 WITH SCORE 51841.651
AT ITER 2491 NEW BEST:: SOT 110040 SOS 61655 HAS SOPS 61655 HAS SOUS 51776 HAS SOUPS 51776 WITH SCORE 51837.655
AT ITER 2496 NEW BEST:: SOT 110034 SOS 61651 HAS SOPS 61651 HAS SOUS 51772 HAS SOUPS 51772 WITH SCORE 51833.651
AT ITER 2507 NEW BEST:: SOT 110032 SOS 61629 HAS SOPS 61629 HAS SOUS 51750 HAS SOUPS 51750 WITH SCORE 51811.629
AT ITER 2521 NEW BEST:: SOT 109986 SOS 61583 HAS SOPS 61583 HAS SOUS 51704 HAS SOUPS 51704 WITH SCORE 51765.583
AT ITER 2537 NEW BEST:: SOT 109883 SOS 61509 HAS SOPS 61509 HAS SOUS 51700 HAS SOUPS 51700 WITH SCORE 51761.509
AT ITER 2570 NEW BEST:: SOT 109883 SOS 61502 HAS SOPS 61502 HAS SOUS 51700 HAS SOUPS 51700 WITH SCORE 51761.502
AT ITER 2582 NEW BEST:: SOT 109789 SOS 61474 HAS SOPS 61474 HAS SOUS 51672 HAS SOUPS 51672 WITH SCORE 51733.474
AT ITER 2587 NEW BEST:: SOT 109789 SOS 61473 HAS SOPS 61473 HAS SOUS 51671 HAS SOUPS 51671 WITH SCORE 51732.473
AT ITER 2590 NEW BEST:: SOT 109814 SOS 61498 HAS SOPS 61498 HAS SOUS 51659 HAS SOUPS 51659 WITH SCORE 51720.498
AT ITER 2592 NEW BEST:: SOT 109804 SOS 61488 HAS SOPS 61488 HAS SOUS 51658 HAS SOUPS 51658 WITH SCORE 51719.488
AT ITER 2593 NEW BEST:: SOT 109804 SOS 61488 HAS SOPS 61488 HAS SOUS 51620 HAS SOUPS 51620 WITH SCORE 51681.488
AT ITER 2597 NEW BEST:: SOT 109793 SOS 61287 HAS SOPS 61287 HAS SOUS 51545 HAS SOUPS 51545 WITH SCORE 51606.287
AT ITER 2605 NEW BEST:: SOT 109793 SOS 61263 HAS SOPS 61263 HAS SOUS 51524 HAS SOUPS 51524 WITH SCORE 51585.263
AT ITER 2608 NEW BEST:: SOT 109794 SOS 61252 HAS SOPS 61252 HAS SOUS 51513 HAS SOUPS 51513 WITH SCORE 51574.252
AT ITER 2611 NEW BEST:: SOT 109794 SOS 61199 HAS SOPS 61199 HAS SOUS 51497 HAS SOUPS 51497 WITH SCORE 51558.199
AT ITER 2615 NEW BEST:: SOT 109803 SOS 61190 HAS SOPS 61190 HAS SOUS 51495 HAS SOUPS 51495 WITH SCORE 51556.19
AT ITER 2619 NEW BEST:: SOT 109768 SOS 61183 HAS SOPS 61183 HAS SOUS 51488 HAS SOUPS 51488 WITH SCORE 51549.183
AT ITER 2622 NEW BEST:: SOT 109396 SOS 61335 HAS SOPS 61335 HAS SOUS 51397 HAS SOUPS 51397 WITH SCORE 51458.335
AT ITER 2626 NEW BEST:: SOT 109151 SOS 60830 HAS SOPS 60830 HAS SOUS 51378 HAS SOUPS 51378 WITH SCORE 51438.83
AT ITER 2631 NEW BEST:: SOT 109063 SOS 60887 HAS SOPS 60887 HAS SOUS 51358 HAS SOUPS 51358 WITH SCORE 51418.887
AT ITER 2652 NEW BEST:: SOT 109063 SOS 60867 HAS SOPS 60867 HAS SOUS 51358 HAS SOUPS 51358 WITH SCORE 51418.867
AT ITER 2670 NEW BEST:: SOT 109001 SOS 60857 HAS SOPS 60857 HAS SOUS 51348 HAS SOUPS 51348 WITH SCORE 51408.857
AT ITER 2672 NEW BEST:: SOT 109001 SOS 60880 HAS SOPS 60880 HAS SOUS 51322 HAS SOUPS 51322 WITH SCORE 51382.88
AT ITER 2681 NEW BEST:: SOT 108990 SOS 60895 HAS SOPS 60895 HAS SOUS 51311 HAS SOUPS 51311 WITH SCORE 51371.895
AT ITER 2717 NEW BEST:: SOT 108970 SOS 60875 HAS SOPS 60875 HAS SOUS 51291 HAS SOUPS 51291 WITH SCORE 51351.875
AT ITER 2719 NEW BEST:: SOT 108954 SOS 60860 HAS SOPS 60860 HAS SOUS 51162 HAS SOUPS 51162 WITH SCORE 51222.86
AT ITER 2729 NEW BEST:: SOT 108954 SOS 60858 HAS SOPS 60858 HAS SOUS 51130 HAS SOUPS 51130 WITH SCORE 51190.858
AT ITER 2732 NEW BEST:: SOT 108873 SOS 61449 HAS SOPS 61449 HAS SOUS 51094 HAS SOUPS 51094 WITH SCORE 51155.449
AT ITER 2733 NEW BEST:: SOT 108879 SOS 61455 HAS SOPS 61455 HAS SOUS 51024 HAS SOUPS 51024 WITH SCORE 51085.455
AT ITER 2734 NEW BEST:: SOT 108879 SOS 61249 HAS SOPS 61249 HAS SOUS 50951 HAS SOUPS 50951 WITH SCORE 51012.249
AT ITER 2739 NEW BEST:: SOT 108879 SOS 61178 HAS SOPS 61178 HAS SOUS 50951 HAS SOUPS 50951 WITH SCORE 51012.178
AT ITER 2743 NEW BEST:: SOT 108894 SOS 61153 HAS SOPS 61153 HAS SOUS 50907 HAS SOUPS 50907 WITH SCORE 50968.153
AT ITER 2763 NEW BEST:: SOT 108894 SOS 61144 HAS SOPS 61144 HAS SOUS 50907 HAS SOUPS 50907 WITH SCORE 50968.144
AT ITER 2772 NEW BEST:: SOT 108894 SOS 61144 HAS SOPS 61144 HAS SOUS 50888 HAS SOUPS 50888 WITH SCORE 50949.144
AT ITER 2773 NEW BEST:: SOT 108894 SOS 61093 HAS SOPS 61093 HAS SOUS 50888 HAS SOUPS 50888 WITH SCORE 50949.093
AT ITER 2774 NEW BEST:: SOT 108795 SOS 61021 HAS SOPS 61021 HAS SOUS 50816 HAS SOUPS 50816 WITH SCORE 50877.021
AT ITER 2781 NEW BEST:: SOT 108651 SOS 60114 HAS SOPS 60114 HAS SOUS 50783 HAS SOUPS 50783 WITH SCORE 50843.114
AT ITER 2783 NEW BEST:: SOT 108643 SOS 60268 HAS SOPS 60268 HAS SOUS 50775 HAS SOUPS 50775 WITH SCORE 50835.268
AT ITER 2785 NEW BEST:: SOT 108634 SOS 60259 HAS SOPS 60259 HAS SOUS 50766 HAS SOUPS 50766 WITH SCORE 50826.259
AT ITER 2791 NEW BEST:: SOT 108623 SOS 60251 HAS SOPS 60251 HAS SOUS 50752 HAS SOUPS 50752 WITH SCORE 50812.251
AT ITER 2796 NEW BEST:: SOT 108377 SOS 60473 HAS SOPS 60473 HAS SOUS 50708 HAS SOUPS 50708 WITH SCORE 50768.473
AT ITER 2813 NEW BEST:: SOT 108332 SOS 60437 HAS SOPS 60437 HAS SOUS 50674 HAS SOUPS 50674 WITH SCORE 50734.437
AT ITER 2827 NEW BEST:: SOT 108332 SOS 60415 HAS SOPS 60415 HAS SOUS 50674 HAS SOUPS 50674 WITH SCORE 50734.415
AT ITER 2828 NEW BEST:: SOT 108332 SOS 60415 HAS SOPS 60415 HAS SOUS 50631 HAS SOUPS 50631 WITH SCORE 50691.415
AT ITER 2833 NEW BEST:: SOT 108219 SOS 60338 HAS SOPS 60338 HAS SOUS 50589 HAS SOUPS 50589 WITH SCORE 50649.338
AT ITER 2845 NEW BEST:: SOT 108213 SOS 60282 HAS SOPS 60282 HAS SOUS 50511 HAS SOUPS 50511 WITH SCORE 50571.282
AT ITER 2856 NEW BEST:: SOT 108207 SOS 60276 HAS SOPS 60276 HAS SOUS 50505 HAS SOUPS 50505 WITH SCORE 50565.276
AT ITER 2866 NEW BEST:: SOT 108207 SOS 60261 HAS SOPS 60261 HAS SOUS 50500 HAS SOUPS 50500 WITH SCORE 50560.261
AT ITER 2869 NEW BEST:: SOT 108170 SOS 60224 HAS SOPS 60224 HAS SOUS 50463 HAS SOUPS 50463 WITH SCORE 50523.224
AT ITER 2874 NEW BEST:: SOT 108168 SOS 60222 HAS SOPS 60222 HAS SOUS 50461 HAS SOUPS 50461 WITH SCORE 50521.222
AT ITER 2895 NEW BEST:: SOT 108168 SOS 60222 HAS SOPS 60222 HAS SOUS 50453 HAS SOUPS 50453 WITH SCORE 50513.222
AT ITER 2897 NEW BEST:: SOT 108114 SOS 60350 HAS SOPS 60350 HAS SOUS 50440 HAS SOUPS 50440 WITH SCORE 50500.35
AT ITER 2930 NEW BEST:: SOT 108114 SOS 60321 HAS SOPS 60321 HAS SOUS 50399 HAS SOUPS 50399 WITH SCORE 50459.321
AT ITER 2932 NEW BEST:: SOT 108091 SOS 60353 HAS SOPS 60353 HAS SOUS 50376 HAS SOUPS 50376 WITH SCORE 50436.353
AT ITER 2933 NEW BEST:: SOT 108072 SOS 60414 HAS SOPS 60414 HAS SOUS 50371 HAS SOUPS 50371 WITH SCORE 50431.414
AT ITER 2934 NEW BEST:: SOT 108023 SOS 60295 HAS SOPS 60295 HAS SOUS 50280 HAS SOUPS 50280 WITH SCORE 50340.295
AT ITER 2939 NEW BEST:: SOT 108023 SOS 60295 HAS SOPS 60295 HAS SOUS 50269 HAS SOUPS 50269 WITH SCORE 50329.295
AT ITER 2942 NEW BEST:: SOT 107742 SOS 60317 HAS SOPS 60317 HAS SOUS 50257 HAS SOUPS 50257 WITH SCORE 50317.317
AT ITER 2948 NEW BEST:: SOT 107728 SOS 60412 HAS SOPS 60412 HAS SOUS 50243 HAS SOUPS 50243 WITH SCORE 50303.412
AT ITER 2951 NEW BEST:: SOT 107635 SOS 60403 HAS SOPS 60403 HAS SOUS 50204 HAS SOUPS 50204 WITH SCORE 50264.403
AT ITER 2972 NEW BEST:: SOT 107635 SOS 60371 HAS SOPS 60371 HAS SOUS 50201 HAS SOUPS 50201 WITH SCORE 50261.371
AT ITER 2981 NEW BEST:: SOT 107607 SOS 60340 HAS SOPS 60340 HAS SOUS 50157 HAS SOUPS 50157 WITH SCORE 50217.34
AT ITER 2993 NEW BEST:: SOT 107494 SOS 60230 HAS SOPS 60230 HAS SOUS 50120 HAS SOUPS 50120 WITH SCORE 50180.23
AT ITER 3000 NEW BEST:: SOT 107491 SOS 60227 HAS SOPS 60227 HAS SOUS 50117 HAS SOUPS 50117 WITH SCORE 50177.227
AT ITER 3001 NEW BEST:: SOT 107491 SOS 60210 HAS SOPS 60210 HAS SOUS 50117 HAS SOUPS 50117 WITH SCORE 50177.21
AT ITER 3011 NEW BEST:: SOT 107503 SOS 60222 HAS SOPS 60222 HAS SOUS 50095 HAS SOUPS 50095 WITH SCORE 50155.222
AT ITER 3018 NEW BEST:: SOT 107470 SOS 60199 HAS SOPS 60199 HAS SOUS 50082 HAS SOUPS 50082 WITH SCORE 50142.199
AT ITER 3020 NEW BEST:: SOT 107342 SOS 60323 HAS SOPS 60323 HAS SOUS 50057 HAS SOUPS 50057 WITH SCORE 50117.323
AT ITER 3022 NEW BEST:: SOT 107342 SOS 60301 HAS SOPS 60301 HAS SOUS 50057 HAS SOUPS 50057 WITH SCORE 50117.301
AT ITER 3043 NEW BEST:: SOT 107338 SOS 60297 HAS SOPS 60297 HAS SOUS 50053 HAS SOUPS 50053 WITH SCORE 50113.297
AT ITER 3059 NEW BEST:: SOT 107124 SOS 60295 HAS SOPS 60295 HAS SOUS 50012 HAS SOUPS 50012 WITH SCORE 50072.295
AT ITER 3064 NEW BEST:: SOT 107104 SOS 60267 HAS SOPS 60267 HAS SOUS 50002 HAS SOUPS 50002 WITH SCORE 50062.267
AT ITER 3069 NEW BEST:: SOT 107000 SOS 60173 HAS SOPS 60173 HAS SOUS 49908 HAS SOUPS 49908 WITH SCORE 49968.173
AT ITER 3075 NEW BEST:: SOT 107079 SOS 60222 HAS SOPS 60222 HAS SOUS 49897 HAS SOUPS 49897 WITH SCORE 49957.222
AT ITER 3089 NEW BEST:: SOT 107047 SOS 60221 HAS SOPS 60221 HAS SOUS 49896 HAS SOUPS 49896 WITH SCORE 49956.221
AT ITER 3101 NEW BEST:: SOT 107011 SOS 60185 HAS SOPS 60185 HAS SOUS 49860 HAS SOUPS 49860 WITH SCORE 49920.185
AT ITER 3104 NEW BEST:: SOT 106899 SOS 60102 HAS SOPS 60102 HAS SOUS 49777 HAS SOUPS 49777 WITH SCORE 49837.102
AT ITER 3113 NEW BEST:: SOT 106789 SOS 60002 HAS SOPS 60002 HAS SOUS 49677 HAS SOUPS 49677 WITH SCORE 49737.002
AT ITER 3121 NEW BEST:: SOT 106754 SOS 59957 HAS SOPS 59957 HAS SOUS 49638 HAS SOUPS 49638 WITH SCORE 49697.957
AT ITER 3124 NEW BEST:: SOT 106747 SOS 59950 HAS SOPS 59950 HAS SOUS 49631 HAS SOUPS 49631 WITH SCORE 49690.95
AT ITER 3136 NEW BEST:: SOT 106739 SOS 59942 HAS SOPS 59942 HAS SOUS 49612 HAS SOUPS 49612 WITH SCORE 49671.942
AT ITER 3138 NEW BEST:: SOT 106680 SOS 59883 HAS SOPS 59883 HAS SOUS 49553 HAS SOUPS 49553 WITH SCORE 49612.883
AT ITER 3145 NEW BEST:: SOT 106646 SOS 59818 HAS SOPS 59818 HAS SOUS 49465 HAS SOUPS 49465 WITH SCORE 49524.818
AT ITER 3158 NEW BEST:: SOT 106610 SOS 59782 HAS SOPS 59782 HAS SOUS 49429 HAS SOUPS 49429 WITH SCORE 49488.782
AT ITER 3159 NEW BEST:: SOT 106598 SOS 59770 HAS SOPS 59770 HAS SOUS 49417 HAS SOUPS 49417 WITH SCORE 49476.77
AT ITER 3189 NEW BEST:: SOT 106666 SOS 59756 HAS SOPS 59756 HAS SOUS 49405 HAS SOUPS 49405 WITH SCORE 49464.756
AT ITER 3205 NEW BEST:: SOT 106622 SOS 59756 HAS SOPS 59756 HAS SOUS 49383 HAS SOUPS 49383 WITH SCORE 49442.756
AT ITER 3215 NEW BEST:: SOT 106599 SOS 59733 HAS SOPS 59733 HAS SOUS 49383 HAS SOUPS 49383 WITH SCORE 49442.733
AT ITER 3226 NEW BEST:: SOT 106492 SOS 59626 HAS SOPS 59626 HAS SOUS 49276 HAS SOUPS 49276 WITH SCORE 49335.626
AT ITER 3232 NEW BEST:: SOT 106492 SOS 59620 HAS SOPS 59620 HAS SOUS 49266 HAS SOUPS 49266 WITH SCORE 49325.62
AT ITER 3243 NEW BEST:: SOT 106502 SOS 59595 HAS SOPS 59595 HAS SOUS 49263 HAS SOUPS 49263 WITH SCORE 49322.595
AT ITER 3262 NEW BEST:: SOT 106502 SOS 59573 HAS SOPS 59573 HAS SOUS 49259 HAS SOUPS 49259 WITH SCORE 49318.573
AT ITER 3276 NEW BEST:: SOT 106502 SOS 59573 HAS SOPS 59573 HAS SOUS 49258 HAS SOUPS 49258 WITH SCORE 49317.573
AT ITER 3282 NEW BEST:: SOT 106502 SOS 59403 HAS SOPS 59403 HAS SOUS 49258 HAS SOUPS 49258 WITH SCORE 49317.403
AT ITER 3304 NEW BEST:: SOT 106479 SOS 59380 HAS SOPS 59380 HAS SOUS 49235 HAS SOUPS 49235 WITH SCORE 49294.38
AT ITER 3307 NEW BEST:: SOT 106448 SOS 59349 HAS SOPS 59349 HAS SOUS 49204 HAS SOUPS 49204 WITH SCORE 49263.349
AT ITER 3310 NEW BEST:: SOT 106464 SOS 59335 HAS SOPS 59335 HAS SOUS 49190 HAS SOUPS 49190 WITH SCORE 49249.335
AT ITER 3312 NEW BEST:: SOT 106446 SOS 59342 HAS SOPS 59342 HAS SOUS 49147 HAS SOUPS 49147 WITH SCORE 49206.342
AT ITER 3326 NEW BEST:: SOT 106416 SOS 59338 HAS SOPS 59338 HAS SOUS 49143 HAS SOUPS 49143 WITH SCORE 49202.338
AT ITER 3339 NEW BEST:: SOT 106416 SOS 59272 HAS SOPS 59272 HAS SOUS 49116 HAS SOUPS 49116 WITH SCORE 49175.272
AT ITER 3365 NEW BEST:: SOT 106228 SOS 59471 HAS SOPS 59471 HAS SOUS 48928 HAS SOUPS 48928 WITH SCORE 48987.471
AT ITER 3368 NEW BEST:: SOT 106193 SOS 59360 HAS SOPS 59360 HAS SOUS 48858 HAS SOUPS 48858 WITH SCORE 48917.36
AT ITER 3394 NEW BEST:: SOT 106172 SOS 59339 HAS SOPS 59339 HAS SOUS 48837 HAS SOUPS 48837 WITH SCORE 48896.339
AT ITER 3396 NEW BEST:: SOT 106121 SOS 59333 HAS SOPS 59333 HAS SOUS 48831 HAS SOUPS 48831 WITH SCORE 48890.333
AT ITER 3405 NEW BEST:: SOT 106112 SOS 59324 HAS SOPS 59324 HAS SOUS 48822 HAS SOUPS 48822 WITH SCORE 48881.324
AT ITER 3406 NEW BEST:: SOT 106002 SOS 59276 HAS SOPS 59276 HAS SOUS 48794 HAS SOUPS 48794 WITH SCORE 48853.276
AT ITER 3409 NEW BEST:: SOT 105966 SOS 59304 HAS SOPS 59304 HAS SOUS 48765 HAS SOUPS 48765 WITH SCORE 48824.304
AT ITER 3429 NEW BEST:: SOT 105945 SOS 59283 HAS SOPS 59283 HAS SOUS 48747 HAS SOUPS 48747 WITH SCORE 48806.283
AT ITER 3430 NEW BEST:: SOT 105927 SOS 59274 HAS SOPS 59274 HAS SOUS 48729 HAS SOUPS 48729 WITH SCORE 48788.274
AT ITER 3431 NEW BEST:: SOT 105920 SOS 59267 HAS SOPS 59267 HAS SOUS 48722 HAS SOUPS 48722 WITH SCORE 48781.267
AT ITER 3433 NEW BEST:: SOT 105894 SOS 59182 HAS SOPS 59182 HAS SOUS 48696 HAS SOUPS 48696 WITH SCORE 48755.182
AT ITER 3441 NEW BEST:: SOT 105886 SOS 59174 HAS SOPS 59174 HAS SOUS 48688 HAS SOUPS 48688 WITH SCORE 48747.174
AT ITER 3469 NEW BEST:: SOT 105886 SOS 59161 HAS SOPS 59161 HAS SOUS 48688 HAS SOUPS 48688 WITH SCORE 48747.161
AT ITER 3482 NEW BEST:: SOT 105886 SOS 59076 HAS SOPS 59076 HAS SOUS 48688 HAS SOUPS 48688 WITH SCORE 48747.076
AT ITER 3487 NEW BEST:: SOT 105886 SOS 59057 HAS SOPS 59057 HAS SOUS 48688 HAS SOUPS 48688 WITH SCORE 48747.057
AT ITER 3496 NEW BEST:: SOT 105869 SOS 59076 HAS SOPS 59076 HAS SOUS 48673 HAS SOUPS 48673 WITH SCORE 48732.076
AT ITER 3522 NEW BEST:: SOT 105859 SOS 59066 HAS SOPS 59066 HAS SOUS 48663 HAS SOUPS 48663 WITH SCORE 48722.066
AT ITER 3542 NEW BEST:: SOT 105871 SOS 59029 HAS SOPS 59029 HAS SOUS 48628 HAS SOUPS 48628 WITH SCORE 48687.029
AT ITER 3550 NEW BEST:: SOT 105815 SOS 58977 HAS SOPS 58977 HAS SOUS 48576 HAS SOUPS 48576 WITH SCORE 48634.977
AT ITER 3555 NEW BEST:: SOT 105790 SOS 58932 HAS SOPS 58932 HAS SOUS 48531 HAS SOUPS 48531 WITH SCORE 48589.932
AT ITER 3565 NEW BEST:: SOT 105784 SOS 58926 HAS SOPS 58926 HAS SOUS 48525 HAS SOUPS 48525 WITH SCORE 48583.926
AT ITER 3581 NEW BEST:: SOT 105776 SOS 58918 HAS SOPS 58918 HAS SOUS 48517 HAS SOUPS 48517 WITH SCORE 48575.918
AT ITER 3585 NEW BEST:: SOT 105776 SOS 58886 HAS SOPS 58886 HAS SOUS 48517 HAS SOUPS 48517 WITH SCORE 48575.886
AT ITER 3612 NEW BEST:: SOT 105813 SOS 58827 HAS SOPS 58827 HAS SOUS 48510 HAS SOUPS 48510 WITH SCORE 48568.827
AT ITER 3629 NEW BEST:: SOT 105813 SOS 58791 HAS SOPS 58791 HAS SOUS 48510 HAS SOUPS 48510 WITH SCORE 48568.791
AT ITER 3646 NEW BEST:: SOT 105797 SOS 58770 HAS SOPS 58770 HAS SOUS 48489 HAS SOUPS 48489 WITH SCORE 48547.77
AT ITER 3658 NEW BEST:: SOT 105829 SOS 58717 HAS SOPS 58717 HAS SOUS 48485 HAS SOUPS 48485 WITH SCORE 48543.717
AT ITER 3693 NEW BEST:: SOT 105825 SOS 58725 HAS SOPS 58725 HAS SOUS 48481 HAS SOUPS 48481 WITH SCORE 48539.725
AT ITER 3701 NEW BEST:: SOT 105825 SOS 58706 HAS SOPS 58706 HAS SOUS 48481 HAS SOUPS 48481 WITH SCORE 48539.706
AT ITER 3708 NEW BEST:: SOT 105825 SOS 58698 HAS SOPS 58698 HAS SOUS 48481 HAS SOUPS 48481 WITH SCORE 48539.698
AT ITER 3727 NEW BEST:: SOT 105788 SOS 58661 HAS SOPS 58661 HAS SOUS 48444 HAS SOUPS 48444 WITH SCORE 48502.661
AT ITER 3732 NEW BEST:: SOT 105781 SOS 58677 HAS SOPS 58677 HAS SOUS 48411 HAS SOUPS 48411 WITH SCORE 48469.677
AT ITER 3741 NEW BEST:: SOT 105759 SOS 58655 HAS SOPS 58655 HAS SOUS 48389 HAS SOUPS 48389 WITH SCORE 48447.655
AT ITER 3744 NEW BEST:: SOT 105833 SOS 58671 HAS SOPS 58671 HAS SOUS 48379 HAS SOUPS 48379 WITH SCORE 48437.671
AT ITER 3783 NEW BEST:: SOT 105884 SOS 58641 HAS SOPS 58641 HAS SOUS 48370 HAS SOUPS 48370 WITH SCORE 48428.641
AT ITER 3796 NEW BEST:: SOT 105884 SOS 58692 HAS SOPS 58692 HAS SOUS 48369 HAS SOUPS 48369 WITH SCORE 48427.692
AT ITER 3798 NEW BEST:: SOT 105857 SOS 58665 HAS SOPS 58665 HAS SOUS 48340 HAS SOUPS 48340 WITH SCORE 48398.665
AT ITER 3808 NEW BEST:: SOT 105857 SOS 58653 HAS SOPS 58653 HAS SOUS 48322 HAS SOUPS 48322 WITH SCORE 48380.653
AT ITER 3811 NEW BEST:: SOT 105857 SOS 58648 HAS SOPS 58648 HAS SOUS 48317 HAS SOUPS 48317 WITH SCORE 48375.648
AT ITER 3822 NEW BEST:: SOT 105833 SOS 58624 HAS SOPS 58624 HAS SOUS 48293 HAS SOUPS 48293 WITH SCORE 48351.624
AT ITER 3826 NEW BEST:: SOT 105805 SOS 58603 HAS SOPS 58603 HAS SOUS 48279 HAS SOUPS 48279 WITH SCORE 48337.603
AT ITER 3836 NEW BEST:: SOT 105738 SOS 58597 HAS SOPS 58597 HAS SOUS 48273 HAS SOUPS 48273 WITH SCORE 48331.597
AT ITER 3857 NEW BEST:: SOT 105738 SOS 58576 HAS SOPS 58576 HAS SOUS 48252 HAS SOUPS 48252 WITH SCORE 48310.576
AT ITER 3859 NEW BEST:: SOT 105709 SOS 58559 HAS SOPS 58559 HAS SOUS 48234 HAS SOUPS 48234 WITH SCORE 48292.559
AT ITER 3868 NEW BEST:: SOT 105523 SOS 58426 HAS SOPS 58426 HAS SOUS 48124 HAS SOUPS 48124 WITH SCORE 48182.426
AT ITER 3871 NEW BEST:: SOT 105532 SOS 58426 HAS SOPS 58426 HAS SOUS 48097 HAS SOUPS 48097 WITH SCORE 48155.426
AT ITER 3881 NEW BEST:: SOT 105481 SOS 58387 HAS SOPS 58387 HAS SOUS 48077 HAS SOUPS 48077 WITH SCORE 48135.387
AT ITER 3893 NEW BEST:: SOT 105471 SOS 58377 HAS SOPS 58377 HAS SOUS 48057 HAS SOUPS 48057 WITH SCORE 48115.377
AT ITER 3895 NEW BEST:: SOT 105463 SOS 58369 HAS SOPS 58369 HAS SOUS 48049 HAS SOUPS 48049 WITH SCORE 48107.369
AT ITER 3896 NEW BEST:: SOT 105447 SOS 58358 HAS SOPS 58358 HAS SOUS 47997 HAS SOUPS 47997 WITH SCORE 48055.358
AT ITER 3907 NEW BEST:: SOT 105447 SOS 58358 HAS SOPS 58358 HAS SOUS 47987 HAS SOUPS 47987 WITH SCORE 48045.358
AT ITER 3931 NEW BEST:: SOT 105447 SOS 58356 HAS SOPS 58356 HAS SOUS 47985 HAS SOUPS 47985 WITH SCORE 48043.356
AT ITER 3933 NEW BEST:: SOT 105385 SOS 58470 HAS SOPS 58470 HAS SOUS 47952 HAS SOUPS 47952 WITH SCORE 48010.47
AT ITER 3938 NEW BEST:: SOT 105381 SOS 58421 HAS SOPS 58421 HAS SOUS 47880 HAS SOUPS 47880 WITH SCORE 47938.421
AT ITER 3947 NEW BEST:: SOT 105362 SOS 58402 HAS SOPS 58402 HAS SOUS 47861 HAS SOUPS 47861 WITH SCORE 47919.402
AT ITER 3954 NEW BEST:: SOT 105353 SOS 58393 HAS SOPS 58393 HAS SOUS 47852 HAS SOUPS 47852 WITH SCORE 47910.393
AT ITER 3962 NEW BEST:: SOT 105352 SOS 58385 HAS SOPS 58385 HAS SOUS 47844 HAS SOUPS 47844 WITH SCORE 47902.385
AT ITER 3966 NEW BEST:: SOT 105319 SOS 58400 HAS SOPS 58400 HAS SOUS 47811 HAS SOUPS 47811 WITH SCORE 47869.4
AT ITER 3972 NEW BEST:: SOT 105319 SOS 58311 HAS SOPS 58311 HAS SOUS 47721 HAS SOUPS 47721 WITH SCORE 47779.311
AT ITER 4004 NEW BEST:: SOT 105319 SOS 58311 HAS SOPS 58311 HAS SOUS 47707 HAS SOUPS 47707 WITH SCORE 47765.311
AT ITER 4005 NEW BEST:: SOT 105319 SOS 58305 HAS SOPS 58305 HAS SOUS 47701 HAS SOUPS 47701 WITH SCORE 47759.305
AT ITER 4011 NEW BEST:: SOT 105317 SOS 58299 HAS SOPS 58299 HAS SOUS 47699 HAS SOUPS 47699 WITH SCORE 47757.299
AT ITER 4024 NEW BEST:: SOT 105246 SOS 58228 HAS SOPS 58228 HAS SOUS 47696 HAS SOUPS 47696 WITH SCORE 47754.228
AT ITER 4050 NEW BEST:: SOT 105246 SOS 58203 HAS SOPS 58203 HAS SOUS 47696 HAS SOUPS 47696 WITH SCORE 47754.203
AT ITER 4061 NEW BEST:: SOT 105246 SOS 58166 HAS SOPS 58166 HAS SOUS 47682 HAS SOUPS 47682 WITH SCORE 47740.166
AT ITER 4079 NEW BEST:: SOT 105237 SOS 58157 HAS SOPS 58157 HAS SOUS 47673 HAS SOUPS 47673 WITH SCORE 47731.157
AT ITER 4088 NEW BEST:: SOT 105237 SOS 58155 HAS SOPS 58155 HAS SOUS 47673 HAS SOUPS 47673 WITH SCORE 47731.155
AT ITER 4102 NEW BEST:: SOT 105111 SOS 58224 HAS SOPS 58224 HAS SOUS 47616 HAS SOUPS 47616 WITH SCORE 47674.224
AT ITER 4109 NEW BEST:: SOT 105111 SOS 58279 HAS SOPS 58279 HAS SOUS 47604 HAS SOUPS 47604 WITH SCORE 47662.279
AT ITER 4115 NEW BEST:: SOT 105087 SOS 58303 HAS SOPS 58303 HAS SOUS 47595 HAS SOUPS 47595 WITH SCORE 47653.303
AT ITER 4138 NEW BEST:: SOT 105034 SOS 58250 HAS SOPS 58250 HAS SOUS 47542 HAS SOUPS 47542 WITH SCORE 47600.25
AT ITER 4150 NEW BEST:: SOT 105021 SOS 58237 HAS SOPS 58237 HAS SOUS 47516 HAS SOUPS 47516 WITH SCORE 47574.237
AT ITER 4158 NEW BEST:: SOT 104994 SOS 58190 HAS SOPS 58190 HAS SOUS 47472 HAS SOUPS 47472 WITH SCORE 47530.19
AT ITER 4165 NEW BEST:: SOT 105014 SOS 58196 HAS SOPS 58196 HAS SOUS 47442 HAS SOUPS 47442 WITH SCORE 47500.196
AT ITER 4172 NEW BEST:: SOT 105014 SOS 58196 HAS SOPS 58196 HAS SOUS 47439 HAS SOUPS 47439 WITH SCORE 47497.196
AT ITER 4185 NEW BEST:: SOT 104996 SOS 58178 HAS SOPS 58178 HAS SOUS 47421 HAS SOUPS 47421 WITH SCORE 47479.178
AT ITER 4190 NEW BEST:: SOT 104959 SOS 58141 HAS SOPS 58141 HAS SOUS 47409 HAS SOUPS 47409 WITH SCORE 47467.141
AT ITER 4204 NEW BEST:: SOT 104943 SOS 58125 HAS SOPS 58125 HAS SOUS 47393 HAS SOUPS 47393 WITH SCORE 47451.125
AT ITER 4246 NEW BEST:: SOT 104943 SOS 58112 HAS SOPS 58112 HAS SOUS 47393 HAS SOUPS 47393 WITH SCORE 47451.112
AT ITER 4249 NEW BEST:: SOT 104927 SOS 58096 HAS SOPS 58096 HAS SOUS 47377 HAS SOUPS 47377 WITH SCORE 47435.096
AT ITER 4254 NEW BEST:: SOT 104921 SOS 58084 HAS SOPS 58084 HAS SOUS 47365 HAS SOUPS 47365 WITH SCORE 47423.084
AT ITER 4275 NEW BEST:: SOT 104828 SOS 58113 HAS SOPS 58113 HAS SOUS 47230 HAS SOUPS 47230 WITH SCORE 47288.113
AT ITER 4279 NEW BEST:: SOT 104849 SOS 58096 HAS SOPS 58096 HAS SOUS 47213 HAS SOUPS 47213 WITH SCORE 47271.096
AT ITER 4284 NEW BEST:: SOT 104849 SOS 58082 HAS SOPS 58082 HAS SOUS 47213 HAS SOUPS 47213 WITH SCORE 47271.082
AT ITER 4287 NEW BEST:: SOT 104849 SOS 58082 HAS SOPS 58082 HAS SOUS 47174 HAS SOUPS 47174 WITH SCORE 47232.082
AT ITER 4291 NEW BEST:: SOT 104750 SOS 58055 HAS SOPS 58055 HAS SOUS 47163 HAS SOUPS 47163 WITH SCORE 47221.055
AT ITER 4293 NEW BEST:: SOT 104722 SOS 58027 HAS SOPS 58027 HAS SOUS 47135 HAS SOUPS 47135 WITH SCORE 47193.027
AT ITER 4313 NEW BEST:: SOT 104704 SOS 58009 HAS SOPS 58009 HAS SOUS 47117 HAS SOUPS 47117 WITH SCORE 47175.009
AT ITER 4340 NEW BEST:: SOT 104622 SOS 58347 HAS SOPS 58347 HAS SOUS 47055 HAS SOUPS 47055 WITH SCORE 47113.347
AT ITER 4357 NEW BEST:: SOT 104653 SOS 58241 HAS SOPS 58241 HAS SOUS 46995 HAS SOUPS 46995 WITH SCORE 47053.241
AT ITER 4367 NEW BEST:: SOT 104648 SOS 58238 HAS SOPS 58238 HAS SOUS 46992 HAS SOUPS 46992 WITH SCORE 47050.238
AT ITER 4368 NEW BEST:: SOT 104647 SOS 58242 HAS SOPS 58242 HAS SOUS 46991 HAS SOUPS 46991 WITH SCORE 47049.242
AT ITER 4385 NEW BEST:: SOT 104628 SOS 58235 HAS SOPS 58235 HAS SOUS 46980 HAS SOUPS 46980 WITH SCORE 47038.235
AT ITER 4399 NEW BEST:: SOT 104603 SOS 58220 HAS SOPS 58220 HAS SOUS 46965 HAS SOUPS 46965 WITH SCORE 47023.22
AT ITER 4407 NEW BEST:: SOT 104594 SOS 58217 HAS SOPS 58217 HAS SOUS 46959 HAS SOUPS 46959 WITH SCORE 47017.217
AT ITER 4416 NEW BEST:: SOT 104589 SOS 58212 HAS SOPS 58212 HAS SOUS 46954 HAS SOUPS 46954 WITH SCORE 47012.212
AT ITER 4440 NEW BEST:: SOT 104599 SOS 58121 HAS SOPS 58121 HAS SOUS 46940 HAS SOUPS 46940 WITH SCORE 46998.121
AT ITER 4447 NEW BEST:: SOT 104599 SOS 58098 HAS SOPS 58098 HAS SOUS 46940 HAS SOUPS 46940 WITH SCORE 46998.098
AT ITER 4466 NEW BEST:: SOT 104686 SOS 58095 HAS SOPS 58095 HAS SOUS 46929 HAS SOUPS 46929 WITH SCORE 46987.095
AT ITER 4473 NEW BEST:: SOT 104692 SOS 58092 HAS SOPS 58092 HAS SOUS 46926 HAS SOUPS 46926 WITH SCORE 46984.092
AT ITER 4506 NEW BEST:: SOT 104692 SOS 58069 HAS SOPS 58069 HAS SOUS 46926 HAS SOUPS 46926 WITH SCORE 46984.069
AT ITER 4508 NEW BEST:: SOT 104692 SOS 58069 HAS SOPS 58069 HAS SOUS 46899 HAS SOUPS 46899 WITH SCORE 46957.069
AT ITER 4511 NEW BEST:: SOT 104692 SOS 58043 HAS SOPS 58043 HAS SOUS 46899 HAS SOUPS 46899 WITH SCORE 46957.043
AT ITER 4533 NEW BEST:: SOT 104692 SOS 58035 HAS SOPS 58035 HAS SOUS 46899 HAS SOUPS 46899 WITH SCORE 46957.035
AT ITER 4534 NEW BEST:: SOT 104684 SOS 58030 HAS SOPS 58030 HAS SOUS 46894 HAS SOUPS 46894 WITH SCORE 46952.03
AT ITER 4540 NEW BEST:: SOT 104672 SOS 58015 HAS SOPS 58015 HAS SOUS 46876 HAS SOUPS 46876 WITH SCORE 46934.015
AT ITER 4546 NEW BEST:: SOT 104589 SOS 58073 HAS SOPS 58073 HAS SOUS 46818 HAS SOUPS 46818 WITH SCORE 46876.073
AT ITER 4574 NEW BEST:: SOT 104577 SOS 58130 HAS SOPS 58130 HAS SOUS 46810 HAS SOUPS 46810 WITH SCORE 46868.13
AT ITER 4580 NEW BEST:: SOT 104577 SOS 58108 HAS SOPS 58108 HAS SOUS 46800 HAS SOUPS 46800 WITH SCORE 46858.108
AT ITER 4597 NEW BEST:: SOT 104768 SOS 57871 HAS SOPS 57871 HAS SOUS 46774 HAS SOUPS 46774 WITH SCORE 46831.871
AT ITER 4607 NEW BEST:: SOT 104768 SOS 57871 HAS SOPS 57871 HAS SOUS 46765 HAS SOUPS 46765 WITH SCORE 46822.871
AT ITER 4648 NEW BEST:: SOT 104766 SOS 57869 HAS SOPS 57869 HAS SOUS 46763 HAS SOUPS 46763 WITH SCORE 46820.869
AT ITER 4654 NEW BEST:: SOT 104792 SOS 57882 HAS SOPS 57882 HAS SOUS 46746 HAS SOUPS 46746 WITH SCORE 46803.882
AT ITER 4656 NEW BEST:: SOT 104762 SOS 57912 HAS SOPS 57912 HAS SOUS 46716 HAS SOUPS 46716 WITH SCORE 46773.912
AT ITER 4673 NEW BEST:: SOT 104762 SOS 57896 HAS SOPS 57896 HAS SOUS 46716 HAS SOUPS 46716 WITH SCORE 46773.896
AT ITER 4677 NEW BEST:: SOT 104762 SOS 57860 HAS SOPS 57860 HAS SOUS 46712 HAS SOUPS 46712 WITH SCORE 46769.86
AT ITER 4688 NEW BEST:: SOT 104740 SOS 57838 HAS SOPS 57838 HAS SOUS 46690 HAS SOUPS 46690 WITH SCORE 46747.838
AT ITER 4690 NEW BEST:: SOT 104797 SOS 58149 HAS SOPS 58149 HAS SOUS 46687 HAS SOUPS 46687 WITH SCORE 46745.149
AT ITER 4699 NEW BEST:: SOT 104797 SOS 58161 HAS SOPS 58161 HAS SOUS 46673 HAS SOUPS 46673 WITH SCORE 46731.161
AT ITER 4706 NEW BEST:: SOT 104797 SOS 58161 HAS SOPS 58161 HAS SOUS 46671 HAS SOUPS 46671 WITH SCORE 46729.161
AT ITER 4708 NEW BEST:: SOT 104780 SOS 58148 HAS SOPS 58148 HAS SOUS 46658 HAS SOUPS 46658 WITH SCORE 46716.148
AT ITER 4712 NEW BEST:: SOT 104764 SOS 58132 HAS SOPS 58132 HAS SOUS 46647 HAS SOUPS 46647 WITH SCORE 46705.132
AT ITER 4714 NEW BEST:: SOT 104744 SOS 58124 HAS SOPS 58124 HAS SOUS 46637 HAS SOUPS 46637 WITH SCORE 46695.124
AT ITER 4781 NEW BEST:: SOT 104733 SOS 58113 HAS SOPS 58113 HAS SOUS 46601 HAS SOUPS 46601 WITH SCORE 46659.113
AT ITER 4790 NEW BEST:: SOT 104723 SOS 58103 HAS SOPS 58103 HAS SOUS 46591 HAS SOUPS 46591 WITH SCORE 46649.103
AT ITER 4792 NEW BEST:: SOT 104646 SOS 58372 HAS SOPS 58372 HAS SOUS 46576 HAS SOUPS 46576 WITH SCORE 46634.372
AT ITER 4796 NEW BEST:: SOT 104709 SOS 58413 HAS SOPS 58413 HAS SOUS 46573 HAS SOUPS 46573 WITH SCORE 46631.413
AT ITER 4819 NEW BEST:: SOT 104709 SOS 58413 HAS SOPS 58413 HAS SOUS 46568 HAS SOUPS 46568 WITH SCORE 46626.413
AT ITER 4820 NEW BEST:: SOT 104707 SOS 58466 HAS SOPS 58466 HAS SOUS 46566 HAS SOUPS 46566 WITH SCORE 46624.466
AT ITER 4826 NEW BEST:: SOT 104680 SOS 58437 HAS SOPS 58437 HAS SOUS 46518 HAS SOUPS 46518 WITH SCORE 46576.437
AT ITER 4834 NEW BEST:: SOT 104680 SOS 58437 HAS SOPS 58437 HAS SOUS 46503 HAS SOUPS 46503 WITH SCORE 46561.437
AT ITER 4848 NEW BEST:: SOT 104680 SOS 58404 HAS SOPS 58404 HAS SOUS 46493 HAS SOUPS 46493 WITH SCORE 46551.404
AT ITER 4856 NEW BEST:: SOT 104680 SOS 58388 HAS SOPS 58388 HAS SOUS 46477 HAS SOUPS 46477 WITH SCORE 46535.388
AT ITER 4873 NEW BEST:: SOT 104615 SOS 58422 HAS SOPS 58422 HAS SOUS 46470 HAS SOUPS 46470 WITH SCORE 46528.422
AT ITER 4910 NEW BEST:: SOT 104611 SOS 58418 HAS SOPS 58418 HAS SOUS 46466 HAS SOUPS 46466 WITH SCORE 46524.418
AT ITER 4946 NEW BEST:: SOT 104436 SOS 58317 HAS SOPS 58317 HAS SOUS 46461 HAS SOUPS 46461 WITH SCORE 46519.317
AT ITER 4966 NEW BEST:: SOT 104411 SOS 58283 HAS SOPS 58283 HAS SOUS 46429 HAS SOUPS 46429 WITH SCORE 46487.283
AT ITER 4971 NEW BEST:: SOT 104362 SOS 58270 HAS SOPS 58270 HAS SOUS 46416 HAS SOUPS 46416 WITH SCORE 46474.27
AT ITER 4972 NEW BEST:: SOT 104362 SOS 57702 HAS SOPS 57702 HAS SOUS 46361 HAS SOUPS 46361 WITH SCORE 46418.702
AT ITER 4974 NEW BEST:: SOT 104362 SOS 57641 HAS SOPS 57641 HAS SOUS 46360 HAS SOUPS 46360 WITH SCORE 46417.641
AT ITER 4985 NEW BEST:: SOT 104363 SOS 57681 HAS SOPS 57681 HAS SOUS 46322 HAS SOUPS 46322 WITH SCORE 46379.681
AT ITER 4997 NEW BEST:: SOT 104334 SOS 57652 HAS SOPS 57652 HAS SOUS 46276 HAS SOUPS 46276 WITH SCORE 46333.652
AT ITER 5006 NEW BEST:: SOT 104332 SOS 57650 HAS SOPS 57650 HAS SOUS 46274 HAS SOUPS 46274 WITH SCORE 46331.65
AT ITER 5013 NEW BEST:: SOT 104332 SOS 57629 HAS SOPS 57629 HAS SOUS 46274 HAS SOUPS 46274 WITH SCORE 46331.629
AT ITER 5021 NEW BEST:: SOT 104332 SOS 57579 HAS SOPS 57579 HAS SOUS 46270 HAS SOUPS 46270 WITH SCORE 46327.579
AT ITER 5023 NEW BEST:: SOT 104286 SOS 57461 HAS SOPS 57461 HAS SOUS 46247 HAS SOUPS 46247 WITH SCORE 46304.461
AT ITER 5060 NEW BEST:: SOT 104250 SOS 57425 HAS SOPS 57425 HAS SOUS 46162 HAS SOUPS 46162 WITH SCORE 46219.425
AT ITER 5064 NEW BEST:: SOT 104250 SOS 57425 HAS SOPS 57425 HAS SOUS 46143 HAS SOUPS 46143 WITH SCORE 46200.425
AT ITER 5106 NEW BEST:: SOT 104037 SOS 57329 HAS SOPS 57329 HAS SOUS 45983 HAS SOUPS 45983 WITH SCORE 46040.329
AT ITER 5149 NEW BEST:: SOT 104017 SOS 57332 HAS SOPS 57332 HAS SOUS 45964 HAS SOUPS 45964 WITH SCORE 46021.332
AT ITER 5154 NEW BEST:: SOT 104017 SOS 57330 HAS SOPS 57330 HAS SOUS 45964 HAS SOUPS 45964 WITH SCORE 46021.33
AT ITER 5156 NEW BEST:: SOT 104019 SOS 57320 HAS SOPS 57320 HAS SOUS 45946 HAS SOUPS 45946 WITH SCORE 46003.32
AT ITER 5167 NEW BEST:: SOT 104019 SOS 57277 HAS SOPS 57277 HAS SOUS 45911 HAS SOUPS 45911 WITH SCORE 45968.277
AT ITER 5170 NEW BEST:: SOT 103999 SOS 57257 HAS SOPS 57257 HAS SOUS 45891 HAS SOUPS 45891 WITH SCORE 45948.257
AT ITER 5179 NEW BEST:: SOT 103967 SOS 57233 HAS SOPS 57233 HAS SOUS 45867 HAS SOUPS 45867 WITH SCORE 45924.233
AT ITER 5189 NEW BEST:: SOT 103956 SOS 57231 HAS SOPS 57231 HAS SOUS 45865 HAS SOUPS 45865 WITH SCORE 45922.231
AT ITER 5204 NEW BEST:: SOT 103956 SOS 57222 HAS SOPS 57222 HAS SOUS 45865 HAS SOUPS 45865 WITH SCORE 45922.222
AT ITER 5217 NEW BEST:: SOT 103906 SOS 57189 HAS SOPS 57189 HAS SOUS 45849 HAS SOUPS 45849 WITH SCORE 45906.189
AT ITER 5241 NEW BEST:: SOT 103899 SOS 57192 HAS SOPS 57192 HAS SOUS 45823 HAS SOUPS 45823 WITH SCORE 45880.192
AT ITER 5254 NEW BEST:: SOT 103862 SOS 57163 HAS SOPS 57163 HAS SOUS 45789 HAS SOUPS 45789 WITH SCORE 45846.163
AT ITER 5266 NEW BEST:: SOT 103862 SOS 57138 HAS SOPS 57138 HAS SOUS 45789 HAS SOUPS 45789 WITH SCORE 45846.138
AT ITER 5283 NEW BEST:: SOT 103837 SOS 57113 HAS SOPS 57113 HAS SOUS 45764 HAS SOUPS 45764 WITH SCORE 45821.113
AT ITER 5287 NEW BEST:: SOT 103981 SOS 57205 HAS SOPS 57205 HAS SOUS 45752 HAS SOUPS 45752 WITH SCORE 45809.205
AT ITER 5303 NEW BEST:: SOT 103863 SOS 57272 HAS SOPS 57272 HAS SOUS 45707 HAS SOUPS 45707 WITH SCORE 45764.272
AT ITER 5304 NEW BEST:: SOT 103863 SOS 57257 HAS SOPS 57257 HAS SOUS 45707 HAS SOUPS 45707 WITH SCORE 45764.257
AT ITER 5318 NEW BEST:: SOT 103837 SOS 57231 HAS SOPS 57231 HAS SOUS 45670 HAS SOUPS 45670 WITH SCORE 45727.231
AT ITER 5353 NEW BEST:: SOT 103837 SOS 57227 HAS SOPS 57227 HAS SOUS 45670 HAS SOUPS 45670 WITH SCORE 45727.227
AT ITER 5360 NEW BEST:: SOT 103856 SOS 57246 HAS SOPS 57246 HAS SOUS 45668 HAS SOUPS 45668 WITH SCORE 45725.246
AT ITER 5366 NEW BEST:: SOT 103842 SOS 57232 HAS SOPS 57232 HAS SOUS 45654 HAS SOUPS 45654 WITH SCORE 45711.232
AT ITER 5368 NEW BEST:: SOT 103842 SOS 57178 HAS SOPS 57178 HAS SOUS 45645 HAS SOUPS 45645 WITH SCORE 45702.178
AT ITER 5375 NEW BEST:: SOT 103841 SOS 57177 HAS SOPS 57177 HAS SOUS 45644 HAS SOUPS 45644 WITH SCORE 45701.177
AT ITER 5400 NEW BEST:: SOT 103792 SOS 57167 HAS SOPS 57167 HAS SOUS 45546 HAS SOUPS 45546 WITH SCORE 45603.167
AT ITER 5410 NEW BEST:: SOT 103789 SOS 57164 HAS SOPS 57164 HAS SOUS 45543 HAS SOUPS 45543 WITH SCORE 45600.164
AT ITER 5411 NEW BEST:: SOT 103776 SOS 57151 HAS SOPS 57151 HAS SOUS 45541 HAS SOUPS 45541 WITH SCORE 45598.151
AT ITER 5425 NEW BEST:: SOT 103756 SOS 57131 HAS SOPS 57131 HAS SOUS 45521 HAS SOUPS 45521 WITH SCORE 45578.131
AT ITER 5439 NEW BEST:: SOT 103753 SOS 57128 HAS SOPS 57128 HAS SOUS 45516 HAS SOUPS 45516 WITH SCORE 45573.128
AT ITER 5457 NEW BEST:: SOT 103740 SOS 57115 HAS SOPS 57115 HAS SOUS 45503 HAS SOUPS 45503 WITH SCORE 45560.115
AT ITER 5459 NEW BEST:: SOT 103718 SOS 57107 HAS SOPS 57107 HAS SOUS 45495 HAS SOUPS 45495 WITH SCORE 45552.107
AT ITER 5465 NEW BEST:: SOT 103752 SOS 57045 HAS SOPS 57045 HAS SOUS 45494 HAS SOUPS 45494 WITH SCORE 45551.045
AT ITER 5471 NEW BEST:: SOT 103752 SOS 57045 HAS SOPS 57045 HAS SOUS 45468 HAS SOUPS 45468 WITH SCORE 45525.045
AT ITER 5486 NEW BEST:: SOT 103727 SOS 57037 HAS SOPS 57037 HAS SOUS 45460 HAS SOUPS 45460 WITH SCORE 45517.037
AT ITER 5497 NEW BEST:: SOT 103727 SOS 57036 HAS SOPS 57036 HAS SOUS 45429 HAS SOUPS 45429 WITH SCORE 45486.036
AT ITER 5526 NEW BEST:: SOT 103727 SOS 57029 HAS SOPS 57029 HAS SOUS 45408 HAS SOUPS 45408 WITH SCORE 45465.029
AT ITER 5532 NEW BEST:: SOT 103620 SOS 57014 HAS SOPS 57014 HAS SOUS 45345 HAS SOUPS 45345 WITH SCORE 45402.014
AT ITER 5544 NEW BEST:: SOT 103619 SOS 57013 HAS SOPS 57013 HAS SOUS 45334 HAS SOUPS 45334 WITH SCORE 45391.013
AT ITER 5545 NEW BEST:: SOT 103608 SOS 57002 HAS SOPS 57002 HAS SOUS 45333 HAS SOUPS 45333 WITH SCORE 45390.002
AT ITER 5557 NEW BEST:: SOT 103585 SOS 57075 HAS SOPS 57075 HAS SOUS 45329 HAS SOUPS 45329 WITH SCORE 45386.075
AT ITER 5565 NEW BEST:: SOT 103581 SOS 57073 HAS SOPS 57073 HAS SOUS 45329 HAS SOUPS 45329 WITH SCORE 45386.073
AT ITER 5583 NEW BEST:: SOT 103569 SOS 57010 HAS SOPS 57010 HAS SOUS 45280 HAS SOUPS 45280 WITH SCORE 45337.01
AT ITER 5601 NEW BEST:: SOT 103569 SOS 57002 HAS SOPS 57002 HAS SOUS 45280 HAS SOUPS 45280 WITH SCORE 45337.002
AT ITER 5609 NEW BEST:: SOT 103550 SOS 57074 HAS SOPS 57074 HAS SOUS 45268 HAS SOUPS 45268 WITH SCORE 45325.074
AT ITER 5610 NEW BEST:: SOT 103530 SOS 57054 HAS SOPS 57054 HAS SOUS 45248 HAS SOUPS 45248 WITH SCORE 45305.054
AT ITER 5616 NEW BEST:: SOT 103530 SOS 57054 HAS SOPS 57054 HAS SOUS 45208 HAS SOUPS 45208 WITH SCORE 45265.054
AT ITER 5672 NEW BEST:: SOT 103519 SOS 57043 HAS SOPS 57043 HAS SOUS 45186 HAS SOUPS 45186 WITH SCORE 45243.043
AT ITER 5684 NEW BEST:: SOT 103508 SOS 57032 HAS SOPS 57032 HAS SOUS 45175 HAS SOUPS 45175 WITH SCORE 45232.032
AT ITER 5697 NEW BEST:: SOT 103521 SOS 57022 HAS SOPS 57022 HAS SOUS 45165 HAS SOUPS 45165 WITH SCORE 45222.022
AT ITER 5707 NEW BEST:: SOT 103471 SOS 56972 HAS SOPS 56972 HAS SOUS 45115 HAS SOUPS 45115 WITH SCORE 45171.972
AT ITER 5749 NEW BEST:: SOT 103471 SOS 56958 HAS SOPS 56958 HAS SOUS 45103 HAS SOUPS 45103 WITH SCORE 45159.958
AT ITER 5772 NEW BEST:: SOT 103461 SOS 56948 HAS SOPS 56948 HAS SOUS 45032 HAS SOUPS 45032 WITH SCORE 45088.948
AT ITER 5778 NEW BEST:: SOT 103461 SOS 56942 HAS SOPS 56942 HAS SOUS 45032 HAS SOUPS 45032 WITH SCORE 45088.942
AT ITER 5798 NEW BEST:: SOT 103482 SOS 56890 HAS SOPS 56890 HAS SOUS 45027 HAS SOUPS 45027 WITH SCORE 45083.89
AT ITER 5812 NEW BEST:: SOT 103494 SOS 56902 HAS SOPS 56902 HAS SOUS 45009 HAS SOUPS 45009 WITH SCORE 45065.902
AT ITER 5840 NEW BEST:: SOT 103494 SOS 56902 HAS SOPS 56902 HAS SOUS 44986 HAS SOUPS 44986 WITH SCORE 45042.902
AT ITER 5845 NEW BEST:: SOT 103474 SOS 56882 HAS SOPS 56882 HAS SOUS 44966 HAS SOUPS 44966 WITH SCORE 45022.882
AT ITER 5859 NEW BEST:: SOT 103453 SOS 56861 HAS SOPS 56861 HAS SOUS 44945 HAS SOUPS 44945 WITH SCORE 45001.861
AT ITER 5863 NEW BEST:: SOT 103453 SOS 56861 HAS SOPS 56861 HAS SOUS 44944 HAS SOUPS 44944 WITH SCORE 45000.861
AT ITER 5864 NEW BEST:: SOT 103359 SOS 56936 HAS SOPS 56936 HAS SOUS 44874 HAS SOUPS 44874 WITH SCORE 44930.936
AT ITER 5880 NEW BEST:: SOT 103347 SOS 56924 HAS SOPS 56924 HAS SOUS 44847 HAS SOUPS 44847 WITH SCORE 44903.924
AT ITER 5891 NEW BEST:: SOT 103273 SOS 56906 HAS SOPS 56906 HAS SOUS 44829 HAS SOUPS 44829 WITH SCORE 44885.906
AT ITER 5894 NEW BEST:: SOT 103137 SOS 56898 HAS SOPS 56898 HAS SOUS 44788 HAS SOUPS 44788 WITH SCORE 44844.898
AT ITER 5896 NEW BEST:: SOT 103137 SOS 56882 HAS SOPS 56882 HAS SOUS 44788 HAS SOUPS 44788 WITH SCORE 44844.882
AT ITER 5925 NEW BEST:: SOT 103005 SOS 56740 HAS SOPS 56740 HAS SOUS 44666 HAS SOUPS 44666 WITH SCORE 44722.74
AT ITER 5929 NEW BEST:: SOT 102990 SOS 56731 HAS SOPS 56731 HAS SOUS 44657 HAS SOUPS 44657 WITH SCORE 44713.731
AT ITER 5939 NEW BEST:: SOT 102990 SOS 56716 HAS SOPS 56716 HAS SOUS 44657 HAS SOUPS 44657 WITH SCORE 44713.716
AT ITER 5970 NEW BEST:: SOT 102990 SOS 56705 HAS SOPS 56705 HAS SOUS 44650 HAS SOUPS 44650 WITH SCORE 44706.705
AT ITER 5998 NEW BEST:: SOT 102969 SOS 56684 HAS SOPS 56684 HAS SOUS 44629 HAS SOUPS 44629 WITH SCORE 44685.684
AT ITER 5999 NEW BEST:: SOT 102968 SOS 56683 HAS SOPS 56683 HAS SOUS 44620 HAS SOUPS 44620 WITH SCORE 44676.683
AT ITER 6019 NEW BEST:: SOT 102965 SOS 56680 HAS SOPS 56680 HAS SOUS 44617 HAS SOUPS 44617 WITH SCORE 44673.68
AT ITER 6025 NEW BEST:: SOT 103057 SOS 56771 HAS SOPS 56771 HAS SOUS 44609 HAS SOUPS 44609 WITH SCORE 44665.771
AT ITER 6032 NEW BEST:: SOT 103017 SOS 56748 HAS SOPS 56748 HAS SOUS 44539 HAS SOUPS 44539 WITH SCORE 44595.748
AT ITER 6039 NEW BEST:: SOT 103017 SOS 56748 HAS SOPS 56748 HAS SOUS 44465 HAS SOUPS 44465 WITH SCORE 44521.748
AT ITER 6043 NEW BEST:: SOT 103017 SOS 56748 HAS SOPS 56748 HAS SOUS 44431 HAS SOUPS 44431 WITH SCORE 44487.748
AT ITER 6064 NEW BEST:: SOT 103017 SOS 56717 HAS SOPS 56717 HAS SOUS 44431 HAS SOUPS 44431 WITH SCORE 44487.717
AT ITER 6119 NEW BEST:: SOT 103017 SOS 56789 HAS SOPS 56789 HAS SOUS 44424 HAS SOUPS 44424 WITH SCORE 44480.789
AT ITER 6199 NEW BEST:: SOT 103008 SOS 56780 HAS SOPS 56780 HAS SOUS 44415 HAS SOUPS 44415 WITH SCORE 44471.78
AT ITER 6210 NEW BEST:: SOT 103008 SOS 56788 HAS SOPS 56788 HAS SOUS 44411 HAS SOUPS 44411 WITH SCORE 44467.788
AT ITER 6229 NEW BEST:: SOT 102761 SOS 56604 HAS SOPS 56604 HAS SOUS 44221 HAS SOUPS 44221 WITH SCORE 44277.604
AT ITER 6254 NEW BEST:: SOT 102751 SOS 56602 HAS SOPS 56602 HAS SOUS 44218 HAS SOUPS 44218 WITH SCORE 44274.602
AT ITER 6274 NEW BEST:: SOT 102744 SOS 56595 HAS SOPS 56595 HAS SOUS 44211 HAS SOUPS 44211 WITH SCORE 44267.595
AT ITER 6296 NEW BEST:: SOT 102744 SOS 56595 HAS SOPS 56595 HAS SOUS 44203 HAS SOUPS 44203 WITH SCORE 44259.595
AT ITER 6310 NEW BEST:: SOT 102744 SOS 56592 HAS SOPS 56592 HAS SOUS 44203 HAS SOUPS 44203 WITH SCORE 44259.592
AT ITER 6323 NEW BEST:: SOT 102744 SOS 56529 HAS SOPS 56529 HAS SOUS 44203 HAS SOUPS 44203 WITH SCORE 44259.529
AT ITER 6338 NEW BEST:: SOT 102791 SOS 56478 HAS SOPS 56478 HAS SOUS 44172 HAS SOUPS 44172 WITH SCORE 44228.478
AT ITER 6377 NEW BEST:: SOT 102806 SOS 56493 HAS SOPS 56493 HAS SOUS 44164 HAS SOUPS 44164 WITH SCORE 44220.493
AT ITER 6419 NEW BEST:: SOT 102806 SOS 56490 HAS SOPS 56490 HAS SOUS 44161 HAS SOUPS 44161 WITH SCORE 44217.49
AT ITER 6436 NEW BEST:: SOT 102806 SOS 56486 HAS SOPS 56486 HAS SOUS 44161 HAS SOUPS 44161 WITH SCORE 44217.486
AT ITER 6440 NEW BEST:: SOT 102871 SOS 56504 HAS SOPS 56504 HAS SOUS 44144 HAS SOUPS 44144 WITH SCORE 44200.504
AT ITER 6454 NEW BEST:: SOT 102832 SOS 56430 HAS SOPS 56430 HAS SOUS 44090 HAS SOUPS 44090 WITH SCORE 44146.43
AT ITER 6481 NEW BEST:: SOT 102832 SOS 56430 HAS SOPS 56430 HAS SOUS 44079 HAS SOUPS 44079 WITH SCORE 44135.43
AT ITER 6492 NEW BEST:: SOT 102832 SOS 56374 HAS SOPS 56374 HAS SOUS 44076 HAS SOUPS 44076 WITH SCORE 44132.374
AT ITER 6506 NEW BEST:: SOT 102832 SOS 56369 HAS SOPS 56369 HAS SOUS 44076 HAS SOUPS 44076 WITH SCORE 44132.369
AT ITER 6537 NEW BEST:: SOT 102938 SOS 56411 HAS SOPS 56411 HAS SOUS 44067 HAS SOUPS 44067 WITH SCORE 44123.411
AT ITER 6542 NEW BEST:: SOT 102937 SOS 56410 HAS SOPS 56410 HAS SOUS 44066 HAS SOUPS 44066 WITH SCORE 44122.41
AT ITER 6566 NEW BEST:: SOT 102908 SOS 56403 HAS SOPS 56403 HAS SOUS 44024 HAS SOUPS 44024 WITH SCORE 44080.403
AT ITER 6570 NEW BEST:: SOT 102838 SOS 56390 HAS SOPS 56390 HAS SOUS 44011 HAS SOUPS 44011 WITH SCORE 44067.39
AT ITER 6584 NEW BEST:: SOT 102836 SOS 56390 HAS SOPS 56390 HAS SOUS 44010 HAS SOUPS 44010 WITH SCORE 44066.39
AT ITER 6604 NEW BEST:: SOT 102836 SOS 56390 HAS SOPS 56390 HAS SOUS 44005 HAS SOUPS 44005 WITH SCORE 44061.39
AT ITER 6620 NEW BEST:: SOT 102836 SOS 56344 HAS SOPS 56344 HAS SOUS 43997 HAS SOUPS 43997 WITH SCORE 44053.344
AT ITER 6634 NEW BEST:: SOT 102769 SOS 56277 HAS SOPS 56277 HAS SOUS 43930 HAS SOUPS 43930 WITH SCORE 43986.277
AT ITER 6637 NEW BEST:: SOT 102769 SOS 56270 HAS SOPS 56270 HAS SOUS 43930 HAS SOUPS 43930 WITH SCORE 43986.27
AT ITER 6648 NEW BEST:: SOT 102781 SOS 56270 HAS SOPS 56270 HAS SOUS 43926 HAS SOUPS 43926 WITH SCORE 43982.27
AT ITER 6651 NEW BEST:: SOT 102764 SOS 56253 HAS SOPS 56253 HAS SOUS 43909 HAS SOUPS 43909 WITH SCORE 43965.253
AT ITER 6657 NEW BEST:: SOT 102764 SOS 56174 HAS SOPS 56174 HAS SOUS 43889 HAS SOUPS 43889 WITH SCORE 43945.174
AT ITER 6675 NEW BEST:: SOT 102764 SOS 56165 HAS SOPS 56165 HAS SOUS 43889 HAS SOUPS 43889 WITH SCORE 43945.165
AT ITER 6678 NEW BEST:: SOT 102761 SOS 56162 HAS SOPS 56162 HAS SOUS 43886 HAS SOUPS 43886 WITH SCORE 43942.162
AT ITER 6705 NEW BEST:: SOT 102781 SOS 56182 HAS SOPS 56182 HAS SOUS 43882 HAS SOUPS 43882 WITH SCORE 43938.182
AT ITER 6707 NEW BEST:: SOT 102781 SOS 56182 HAS SOPS 56182 HAS SOUS 43866 HAS SOUPS 43866 WITH SCORE 43922.182
AT ITER 6734 NEW BEST:: SOT 102781 SOS 56182 HAS SOPS 56182 HAS SOUS 43865 HAS SOUPS 43865 WITH SCORE 43921.182
AT ITER 6745 NEW BEST:: SOT 102779 SOS 56176 HAS SOPS 56176 HAS SOUS 43859 HAS SOUPS 43859 WITH SCORE 43915.176
AT ITER 6749 NEW BEST:: SOT 102779 SOS 56150 HAS SOPS 56150 HAS SOUS 43833 HAS SOUPS 43833 WITH SCORE 43889.15
AT ITER 6750 NEW BEST:: SOT 102773 SOS 56148 HAS SOPS 56148 HAS SOUS 43827 HAS SOUPS 43827 WITH SCORE 43883.148
AT ITER 6759 NEW BEST:: SOT 102773 SOS 56148 HAS SOPS 56148 HAS SOUS 43798 HAS SOUPS 43798 WITH SCORE 43854.148
AT ITER 6760 NEW BEST:: SOT 102743 SOS 56250 HAS SOPS 56250 HAS SOUS 43783 HAS SOUPS 43783 WITH SCORE 43839.25
AT ITER 6764 NEW BEST:: SOT 102740 SOS 56247 HAS SOPS 56247 HAS SOUS 43780 HAS SOUPS 43780 WITH SCORE 43836.247
AT ITER 6810 NEW BEST:: SOT 102719 SOS 56226 HAS SOPS 56226 HAS SOUS 43759 HAS SOUPS 43759 WITH SCORE 43815.226
AT ITER 6838 NEW BEST:: SOT 102712 SOS 56219 HAS SOPS 56219 HAS SOUS 43752 HAS SOUPS 43752 WITH SCORE 43808.219
AT ITER 6889 NEW BEST:: SOT 102715 SOS 56222 HAS SOPS 56222 HAS SOUS 43750 HAS SOUPS 43750 WITH SCORE 43806.222
AT ITER 6902 NEW BEST:: SOT 102715 SOS 56204 HAS SOPS 56204 HAS SOUS 43746 HAS SOUPS 43746 WITH SCORE 43802.204
AT ITER 6928 NEW BEST:: SOT 102714 SOS 56203 HAS SOPS 56203 HAS SOUS 43745 HAS SOUPS 43745 WITH SCORE 43801.203
AT ITER 6954 NEW BEST:: SOT 102696 SOS 56185 HAS SOPS 56185 HAS SOUS 43727 HAS SOUPS 43727 WITH SCORE 43783.185
AT ITER 6985 NEW BEST:: SOT 102662 SOS 56151 HAS SOPS 56151 HAS SOUS 43704 HAS SOUPS 43704 WITH SCORE 43760.151
AT ITER 6987 NEW BEST:: SOT 102662 SOS 56121 HAS SOPS 56121 HAS SOUS 43698 HAS SOUPS 43698 WITH SCORE 43754.121
AT ITER 6992 NEW BEST:: SOT 102651 SOS 56110 HAS SOPS 56110 HAS SOUS 43687 HAS SOUPS 43687 WITH SCORE 43743.11
AT ITER 7000 NEW BEST:: SOT 102643 SOS 56102 HAS SOPS 56102 HAS SOUS 43679 HAS SOUPS 43679 WITH SCORE 43735.102
AT ITER 7014 NEW BEST:: SOT 102637 SOS 56096 HAS SOPS 56096 HAS SOUS 43673 HAS SOUPS 43673 WITH SCORE 43729.096
AT ITER 7024 NEW BEST:: SOT 102625 SOS 56084 HAS SOPS 56084 HAS SOUS 43661 HAS SOUPS 43661 WITH SCORE 43717.084
AT ITER 7039 NEW BEST:: SOT 102622 SOS 56081 HAS SOPS 56081 HAS SOUS 43658 HAS SOUPS 43658 WITH SCORE 43714.081
AT ITER 7094 NEW BEST:: SOT 102622 SOS 56077 HAS SOPS 56077 HAS SOUS 43654 HAS SOUPS 43654 WITH SCORE 43710.077
AT ITER 7103 NEW BEST:: SOT 102622 SOS 56014 HAS SOPS 56014 HAS SOUS 43654 HAS SOUPS 43654 WITH SCORE 43710.014
AT ITER 7131 NEW BEST:: SOT 102622 SOS 55961 HAS SOPS 55961 HAS SOUS 43654 HAS SOUPS 43654 WITH SCORE 43709.961
AT ITER 7141 NEW BEST:: SOT 102633 SOS 55972 HAS SOPS 55972 HAS SOUS 43629 HAS SOUPS 43629 WITH SCORE 43684.972
AT ITER 7143 NEW BEST:: SOT 102684 SOS 56023 HAS SOPS 56023 HAS SOUS 43602 HAS SOUPS 43602 WITH SCORE 43658.023
AT ITER 7165 NEW BEST:: SOT 102489 SOS 56575 HAS SOPS 56575 HAS SOUS 43563 HAS SOUPS 43563 WITH SCORE 43619.575
AT ITER 7186 NEW BEST:: SOT 102489 SOS 56591 HAS SOPS 56591 HAS SOUS 43544 HAS SOUPS 43544 WITH SCORE 43600.591
AT ITER 7245 NEW BEST:: SOT 102473 SOS 56575 HAS SOPS 56575 HAS SOUS 43509 HAS SOUPS 43509 WITH SCORE 43565.575
AT ITER 7259 NEW BEST:: SOT 102426 SOS 56506 HAS SOPS 56506 HAS SOUS 43419 HAS SOUPS 43419 WITH SCORE 43475.506
AT ITER 7298 NEW BEST:: SOT 102426 SOS 56506 HAS SOPS 56506 HAS SOUS 43414 HAS SOUPS 43414 WITH SCORE 43470.506
AT ITER 7300 NEW BEST:: SOT 102399 SOS 56488 HAS SOPS 56488 HAS SOUS 43369 HAS SOUPS 43369 WITH SCORE 43425.488
AT ITER 7322 NEW BEST:: SOT 102383 SOS 56480 HAS SOPS 56480 HAS SOUS 43347 HAS SOUPS 43347 WITH SCORE 43403.48
AT ITER 7344 NEW BEST:: SOT 102383 SOS 56478 HAS SOPS 56478 HAS SOUS 43327 HAS SOUPS 43327 WITH SCORE 43383.478
AT ITER 7418 NEW BEST:: SOT 102399 SOS 56478 HAS SOPS 56478 HAS SOUS 43323 HAS SOUPS 43323 WITH SCORE 43379.478
AT ITER 7456 NEW BEST:: SOT 102394 SOS 56473 HAS SOPS 56473 HAS SOUS 43318 HAS SOUPS 43318 WITH SCORE 43374.473
AT ITER 7462 NEW BEST:: SOT 102351 SOS 56429 HAS SOPS 56429 HAS SOUS 43276 HAS SOUPS 43276 WITH SCORE 43332.429
AT ITER 7480 NEW BEST:: SOT 102351 SOS 56434 HAS SOPS 56434 HAS SOUS 43271 HAS SOUPS 43271 WITH SCORE 43327.434
AT ITER 7511 NEW BEST:: SOT 102351 SOS 56434 HAS SOPS 56434 HAS SOUS 43269 HAS SOUPS 43269 WITH SCORE 43325.434
AT ITER 7519 NEW BEST:: SOT 102351 SOS 56419 HAS SOPS 56419 HAS SOUS 43269 HAS SOUPS 43269 WITH SCORE 43325.419
AT ITER 7539 NEW BEST:: SOT 102358 SOS 56412 HAS SOPS 56412 HAS SOUS 43262 HAS SOUPS 43262 WITH SCORE 43318.412
AT ITER 7544 NEW BEST:: SOT 102358 SOS 56370 HAS SOPS 56370 HAS SOUS 43262 HAS SOUPS 43262 WITH SCORE 43318.37
AT ITER 7549 NEW BEST:: SOT 102345 SOS 56357 HAS SOPS 56357 HAS SOUS 43202 HAS SOUPS 43202 WITH SCORE 43258.357
AT ITER 7560 NEW BEST:: SOT 102338 SOS 56350 HAS SOPS 56350 HAS SOUS 43195 HAS SOUPS 43195 WITH SCORE 43251.35
AT ITER 7563 NEW BEST:: SOT 102321 SOS 56333 HAS SOPS 56333 HAS SOUS 43170 HAS SOUPS 43170 WITH SCORE 43226.333
AT ITER 7575 NEW BEST:: SOT 102285 SOS 56282 HAS SOPS 56282 HAS SOUS 43167 HAS SOUPS 43167 WITH SCORE 43223.282
AT ITER 7577 NEW BEST:: SOT 102241 SOS 56238 HAS SOPS 56238 HAS SOUS 43069 HAS SOUPS 43069 WITH SCORE 43125.238
AT ITER 7606 NEW BEST:: SOT 102218 SOS 56184 HAS SOPS 56184 HAS SOUS 43061 HAS SOUPS 43061 WITH SCORE 43117.184
AT ITER 7608 NEW BEST:: SOT 102218 SOS 56127 HAS SOPS 56127 HAS SOUS 43061 HAS SOUPS 43061 WITH SCORE 43117.127
AT ITER 7612 NEW BEST:: SOT 102137 SOS 56142 HAS SOPS 56142 HAS SOUS 43054 HAS SOUPS 43054 WITH SCORE 43110.142
AT ITER 7631 NEW BEST:: SOT 102129 SOS 56152 HAS SOPS 56152 HAS SOUS 43052 HAS SOUPS 43052 WITH SCORE 43108.152
AT ITER 7709 NEW BEST:: SOT 102117 SOS 56140 HAS SOPS 56140 HAS SOUS 43040 HAS SOUPS 43040 WITH SCORE 43096.14
AT ITER 7735 NEW BEST:: SOT 102115 SOS 56139 HAS SOPS 56139 HAS SOUS 43039 HAS SOUPS 43039 WITH SCORE 43095.139
AT ITER 7763 NEW BEST:: SOT 102113 SOS 56140 HAS SOPS 56140 HAS SOUS 43037 HAS SOUPS 43037 WITH SCORE 43093.14
AT ITER 7818 NEW BEST:: SOT 102113 SOS 56078 HAS SOPS 56078 HAS SOUS 43037 HAS SOUPS 43037 WITH SCORE 43093.078
AT ITER 7831 NEW BEST:: SOT 102107 SOS 56072 HAS SOPS 56072 HAS SOUS 43031 HAS SOUPS 43031 WITH SCORE 43087.072
AT ITER 7900 NEW BEST:: SOT 102111 SOS 56064 HAS SOPS 56064 HAS SOUS 43031 HAS SOUPS 43031 WITH SCORE 43087.064
AT ITER 7901 NEW BEST:: SOT 102087 SOS 56040 HAS SOPS 56040 HAS SOUS 43024 HAS SOUPS 43024 WITH SCORE 43080.04
AT ITER 7920 NEW BEST:: SOT 102087 SOS 56036 HAS SOPS 56036 HAS SOUS 43024 HAS SOUPS 43024 WITH SCORE 43080.036
AT ITER 7958 NEW BEST:: SOT 102077 SOS 56046 HAS SOPS 56046 HAS SOUS 43014 HAS SOUPS 43014 WITH SCORE 43070.046
AT ITER 8037 NEW BEST:: SOT 102065 SOS 56040 HAS SOPS 56040 HAS SOUS 43005 HAS SOUPS 43005 WITH SCORE 43061.04
AT ITER 8047 NEW BEST:: SOT 102065 SOS 56021 HAS SOPS 56021 HAS SOUS 43005 HAS SOUPS 43005 WITH SCORE 43061.021
AT ITER 8059 NEW BEST:: SOT 102062 SOS 56018 HAS SOPS 56018 HAS SOUS 43002 HAS SOUPS 43002 WITH SCORE 43058.018
AT ITER 8068 NEW BEST:: SOT 102060 SOS 56016 HAS SOPS 56016 HAS SOUS 43000 HAS SOUPS 43000 WITH SCORE 43056.016
AT ITER 8096 NEW BEST:: SOT 102023 SOS 55979 HAS SOPS 55979 HAS SOUS 42963 HAS SOUPS 42963 WITH SCORE 43018.979
AT ITER 8099 NEW BEST:: SOT 102020 SOS 55976 HAS SOPS 55976 HAS SOUS 42960 HAS SOUPS 42960 WITH SCORE 43015.976
AT ITER 8103 NEW BEST:: SOT 102020 SOS 56000 HAS SOPS 56000 HAS SOUS 42949 HAS SOUPS 42949 WITH SCORE 43005.0
AT ITER 8112 NEW BEST:: SOT 101995 SOS 55975 HAS SOPS 55975 HAS SOUS 42925 HAS SOUPS 42925 WITH SCORE 42980.975
AT ITER 8119 NEW BEST:: SOT 101995 SOS 55975 HAS SOPS 55975 HAS SOUS 42911 HAS SOUPS 42911 WITH SCORE 42966.975
AT ITER 8131 NEW BEST:: SOT 101995 SOS 55975 HAS SOPS 55975 HAS SOUS 42896 HAS SOUPS 42896 WITH SCORE 42951.975
AT ITER 8143 NEW BEST:: SOT 101995 SOS 55971 HAS SOPS 55971 HAS SOUS 42896 HAS SOUPS 42896 WITH SCORE 42951.971
AT ITER 8198 NEW BEST:: SOT 101995 SOS 55963 HAS SOPS 55963 HAS SOUS 42896 HAS SOUPS 42896 WITH SCORE 42951.963
AT ITER 8203 NEW BEST:: SOT 101988 SOS 55956 HAS SOPS 55956 HAS SOUS 42891 HAS SOUPS 42891 WITH SCORE 42946.956
AT ITER 8210 NEW BEST:: SOT 101988 SOS 55930 HAS SOPS 55930 HAS SOUS 42891 HAS SOUPS 42891 WITH SCORE 42946.93
AT ITER 8221 NEW BEST:: SOT 101988 SOS 55930 HAS SOPS 55930 HAS SOUS 42883 HAS SOUPS 42883 WITH SCORE 42938.93
AT ITER 8222 NEW BEST:: SOT 102001 SOS 55920 HAS SOPS 55920 HAS SOUS 42873 HAS SOUPS 42873 WITH SCORE 42928.92
AT ITER 8233 NEW BEST:: SOT 102001 SOS 55920 HAS SOPS 55920 HAS SOUS 42811 HAS SOUPS 42811 WITH SCORE 42866.92
AT ITER 8258 NEW BEST:: SOT 101957 SOS 55904 HAS SOPS 55904 HAS SOUS 42800 HAS SOUPS 42800 WITH SCORE 42855.904
AT ITER 8301 NEW BEST:: SOT 101957 SOS 55896 HAS SOPS 55896 HAS SOUS 42800 HAS SOUPS 42800 WITH SCORE 42855.896
AT ITER 8308 NEW BEST:: SOT 101936 SOS 55875 HAS SOPS 55875 HAS SOUS 42778 HAS SOUPS 42778 WITH SCORE 42833.875
AT ITER 8326 NEW BEST:: SOT 101929 SOS 55868 HAS SOPS 55868 HAS SOUS 42771 HAS SOUPS 42771 WITH SCORE 42826.868
AT ITER 8328 NEW BEST:: SOT 101884 SOS 55907 HAS SOPS 55907 HAS SOUS 42748 HAS SOUPS 42748 WITH SCORE 42803.907
AT ITER 8367 NEW BEST:: SOT 101884 SOS 55906 HAS SOPS 55906 HAS SOUS 42739 HAS SOUPS 42739 WITH SCORE 42794.906
AT ITER 8370 NEW BEST:: SOT 101883 SOS 55905 HAS SOPS 55905 HAS SOUS 42738 HAS SOUPS 42738 WITH SCORE 42793.905
AT ITER 8396 NEW BEST:: SOT 101854 SOS 55876 HAS SOPS 55876 HAS SOUS 42664 HAS SOUPS 42664 WITH SCORE 42719.876
AT ITER 8428 NEW BEST:: SOT 101801 SOS 55837 HAS SOPS 55837 HAS SOUS 42614 HAS SOUPS 42614 WITH SCORE 42669.837
AT ITER 8459 NEW BEST:: SOT 101791 SOS 55827 HAS SOPS 55827 HAS SOUS 42604 HAS SOUPS 42604 WITH SCORE 42659.827
AT ITER 8503 NEW BEST:: SOT 101800 SOS 55836 HAS SOPS 55836 HAS SOUS 42598 HAS SOUPS 42598 WITH SCORE 42653.836
AT ITER 8505 NEW BEST:: SOT 101798 SOS 55834 HAS SOPS 55834 HAS SOUS 42596 HAS SOUPS 42596 WITH SCORE 42651.834
AT ITER 8519 NEW BEST:: SOT 101798 SOS 55834 HAS SOPS 55834 HAS SOUS 42582 HAS SOUPS 42582 WITH SCORE 42637.834
AT ITER 8527 NEW BEST:: SOT 101750 SOS 55850 HAS SOPS 55850 HAS SOUS 42558 HAS SOUPS 42558 WITH SCORE 42613.85
AT ITER 8575 NEW BEST:: SOT 101750 SOS 55834 HAS SOPS 55834 HAS SOUS 42558 HAS SOUPS 42558 WITH SCORE 42613.834
AT ITER 8594 NEW BEST:: SOT 101706 SOS 55853 HAS SOPS 55853 HAS SOUS 42523 HAS SOUPS 42523 WITH SCORE 42578.853
AT ITER 8623 NEW BEST:: SOT 101751 SOS 55898 HAS SOPS 55898 HAS SOUS 42513 HAS SOUPS 42513 WITH SCORE 42568.898
AT ITER 8630 NEW BEST:: SOT 101769 SOS 55898 HAS SOPS 55898 HAS SOUS 42505 HAS SOUPS 42505 WITH SCORE 42560.898
AT ITER 8639 NEW BEST:: SOT 101769 SOS 55823 HAS SOPS 55823 HAS SOUS 42505 HAS SOUPS 42505 WITH SCORE 42560.823
AT ITER 8655 NEW BEST:: SOT 101767 SOS 55822 HAS SOPS 55822 HAS SOUS 42503 HAS SOUPS 42503 WITH SCORE 42558.822
AT ITER 8673 NEW BEST:: SOT 101767 SOS 55826 HAS SOPS 55826 HAS SOUS 42497 HAS SOUPS 42497 WITH SCORE 42552.826
AT ITER 8696 NEW BEST:: SOT 101779 SOS 55886 HAS SOPS 55886 HAS SOUS 42482 HAS SOUPS 42482 WITH SCORE 42537.886
AT ITER 8704 NEW BEST:: SOT 101773 SOS 55880 HAS SOPS 55880 HAS SOUS 42476 HAS SOUPS 42476 WITH SCORE 42531.88
AT ITER 8711 NEW BEST:: SOT 101800 SOS 55857 HAS SOPS 55857 HAS SOUS 42472 HAS SOUPS 42472 WITH SCORE 42527.857
AT ITER 8712 NEW BEST:: SOT 101800 SOS 55844 HAS SOPS 55844 HAS SOUS 42472 HAS SOUPS 42472 WITH SCORE 42527.844
AT ITER 8724 NEW BEST:: SOT 101797 SOS 55852 HAS SOPS 55852 HAS SOUS 42460 HAS SOUPS 42460 WITH SCORE 42515.852
AT ITER 8733 NEW BEST:: SOT 101755 SOS 55810 HAS SOPS 55810 HAS SOUS 42408 HAS SOUPS 42408 WITH SCORE 42463.81
AT ITER 8762 NEW BEST:: SOT 101755 SOS 55762 HAS SOPS 55762 HAS SOUS 42408 HAS SOUPS 42408 WITH SCORE 42463.762
AT ITER 8771 NEW BEST:: SOT 101755 SOS 55762 HAS SOPS 55762 HAS SOUS 42385 HAS SOUPS 42385 WITH SCORE 42440.762
AT ITER 8777 NEW BEST:: SOT 101744 SOS 55751 HAS SOPS 55751 HAS SOUS 42374 HAS SOUPS 42374 WITH SCORE 42429.751
AT ITER 8782 NEW BEST:: SOT 101738 SOS 55749 HAS SOPS 55749 HAS SOUS 42370 HAS SOUPS 42370 WITH SCORE 42425.749
AT ITER 8809 NEW BEST:: SOT 101734 SOS 55745 HAS SOPS 55745 HAS SOUS 42366 HAS SOUPS 42366 WITH SCORE 42421.745
AT ITER 8822 NEW BEST:: SOT 101734 SOS 55744 HAS SOPS 55744 HAS SOUS 42366 HAS SOUPS 42366 WITH SCORE 42421.744
AT ITER 8827 NEW BEST:: SOT 101726 SOS 56184 HAS SOPS 56184 HAS SOUS 42361 HAS SOUPS 42361 WITH SCORE 42417.184
AT ITER 8844 NEW BEST:: SOT 101720 SOS 56178 HAS SOPS 56178 HAS SOUS 42355 HAS SOUPS 42355 WITH SCORE 42411.178
AT ITER 8899 NEW BEST:: SOT 101720 SOS 56153 HAS SOPS 56153 HAS SOUS 42355 HAS SOUPS 42355 WITH SCORE 42411.153
AT ITER 8914 NEW BEST:: SOT 101663 SOS 56115 HAS SOPS 56115 HAS SOUS 42341 HAS SOUPS 42341 WITH SCORE 42397.115
AT ITER 8924 NEW BEST:: SOT 101668 SOS 56104 HAS SOPS 56104 HAS SOUS 42338 HAS SOUPS 42338 WITH SCORE 42394.104
AT ITER 8928 NEW BEST:: SOT 101622 SOS 56092 HAS SOPS 56092 HAS SOUS 42309 HAS SOUPS 42309 WITH SCORE 42365.092
AT ITER 8954 NEW BEST:: SOT 101598 SOS 56082 HAS SOPS 56082 HAS SOUS 42299 HAS SOUPS 42299 WITH SCORE 42355.082
AT ITER 8965 NEW BEST:: SOT 101598 SOS 56076 HAS SOPS 56076 HAS SOUS 42299 HAS SOUPS 42299 WITH SCORE 42355.076
AT ITER 8978 NEW BEST:: SOT 101588 SOS 56076 HAS SOPS 56076 HAS SOUS 42289 HAS SOUPS 42289 WITH SCORE 42345.076
AT ITER 8993 NEW BEST:: SOT 101555 SOS 56206 HAS SOPS 56206 HAS SOUS 42271 HAS SOUPS 42271 WITH SCORE 42327.206
AT ITER 9003 NEW BEST:: SOT 101552 SOS 56199 HAS SOPS 56199 HAS SOUS 42264 HAS SOUPS 42264 WITH SCORE 42320.199
AT ITER 9008 NEW BEST:: SOT 101480 SOS 56221 HAS SOPS 56221 HAS SOUS 42261 HAS SOUPS 42261 WITH SCORE 42317.221
AT ITER 9012 NEW BEST:: SOT 101464 SOS 56205 HAS SOPS 56205 HAS SOUS 42245 HAS SOUPS 42245 WITH SCORE 42301.205
AT ITER 9025 NEW BEST:: SOT 101455 SOS 56230 HAS SOPS 56230 HAS SOUS 42236 HAS SOUPS 42236 WITH SCORE 42292.23
AT ITER 9034 NEW BEST:: SOT 101405 SOS 56205 HAS SOPS 56205 HAS SOUS 42236 HAS SOUPS 42236 WITH SCORE 42292.205
AT ITER 9038 NEW BEST:: SOT 101348 SOS 56148 HAS SOPS 56148 HAS SOUS 42169 HAS SOUPS 42169 WITH SCORE 42225.148
AT ITER 9061 NEW BEST:: SOT 101339 SOS 56139 HAS SOPS 56139 HAS SOUS 42160 HAS SOUPS 42160 WITH SCORE 42216.139
AT ITER 9101 NEW BEST:: SOT 101258 SOS 56156 HAS SOPS 56156 HAS SOUS 42153 HAS SOUPS 42153 WITH SCORE 42209.156
AT ITER 9130 NEW BEST:: SOT 101258 SOS 56156 HAS SOPS 56156 HAS SOUS 42150 HAS SOUPS 42150 WITH SCORE 42206.156
AT ITER 9137 NEW BEST:: SOT 101231 SOS 56129 HAS SOPS 56129 HAS SOUS 42132 HAS SOUPS 42132 WITH SCORE 42188.129
AT ITER 9141 NEW BEST:: SOT 101231 SOS 56129 HAS SOPS 56129 HAS SOUS 42128 HAS SOUPS 42128 WITH SCORE 42184.129
AT ITER 9160 NEW BEST:: SOT 101219 SOS 56117 HAS SOPS 56117 HAS SOUS 42116 HAS SOUPS 42116 WITH SCORE 42172.117
AT ITER 9203 NEW BEST:: SOT 101209 SOS 56071 HAS SOPS 56071 HAS SOUS 42105 HAS SOUPS 42105 WITH SCORE 42161.071
AT ITER 9209 NEW BEST:: SOT 101209 SOS 56059 HAS SOPS 56059 HAS SOUS 42105 HAS SOUPS 42105 WITH SCORE 42161.059
AT ITER 9217 NEW BEST:: SOT 101207 SOS 56057 HAS SOPS 56057 HAS SOUS 42103 HAS SOUPS 42103 WITH SCORE 42159.057
AT ITER 9219 NEW BEST:: SOT 101201 SOS 56047 HAS SOPS 56047 HAS SOUS 42078 HAS SOUPS 42078 WITH SCORE 42134.047
AT ITER 9221 NEW BEST:: SOT 101196 SOS 56042 HAS SOPS 56042 HAS SOUS 42042 HAS SOUPS 42042 WITH SCORE 42098.042
AT ITER 9274 NEW BEST:: SOT 101184 SOS 56044 HAS SOPS 56044 HAS SOUS 42037 HAS SOUPS 42037 WITH SCORE 42093.044
AT ITER 9333 NEW BEST:: SOT 101212 SOS 56072 HAS SOPS 56072 HAS SOUS 42020 HAS SOUPS 42020 WITH SCORE 42076.072
AT ITER 9356 NEW BEST:: SOT 101202 SOS 56062 HAS SOPS 56062 HAS SOUS 42010 HAS SOUPS 42010 WITH SCORE 42066.062
AT ITER 9389 NEW BEST:: SOT 101206 SOS 56050 HAS SOPS 56050 HAS SOUS 42010 HAS SOUPS 42010 WITH SCORE 42066.05
AT ITER 9419 NEW BEST:: SOT 101174 SOS 56038 HAS SOPS 56038 HAS SOUS 42010 HAS SOUPS 42010 WITH SCORE 42066.038
AT ITER 9444 NEW BEST:: SOT 100950 SOS 56193 HAS SOPS 56193 HAS SOUS 41984 HAS SOUPS 41984 WITH SCORE 42040.193
AT ITER 9469 NEW BEST:: SOT 100951 SOS 56193 HAS SOPS 56193 HAS SOUS 41981 HAS SOUPS 41981 WITH SCORE 42037.193
AT ITER 9506 NEW BEST:: SOT 100912 SOS 56165 HAS SOPS 56165 HAS SOUS 41958 HAS SOUPS 41958 WITH SCORE 42014.165
AT ITER 9523 NEW BEST:: SOT 100912 SOS 56165 HAS SOPS 56165 HAS SOUS 41942 HAS SOUPS 41942 WITH SCORE 41998.165
AT ITER 9548 NEW BEST:: SOT 100904 SOS 56181 HAS SOPS 56181 HAS SOUS 41934 HAS SOUPS 41934 WITH SCORE 41990.181
AT ITER 9603 NEW BEST:: SOT 100898 SOS 56175 HAS SOPS 56175 HAS SOUS 41928 HAS SOUPS 41928 WITH SCORE 41984.175
AT ITER 9617 NEW BEST:: SOT 100895 SOS 56172 HAS SOPS 56172 HAS SOUS 41922 HAS SOUPS 41922 WITH SCORE 41978.172
AT ITER 9680 NEW BEST:: SOT 100899 SOS 56176 HAS SOPS 56176 HAS SOUS 41902 HAS SOUPS 41902 WITH SCORE 41958.176
AT ITER 9684 NEW BEST:: SOT 100899 SOS 56170 HAS SOPS 56170 HAS SOUS 41902 HAS SOUPS 41902 WITH SCORE 41958.17
AT ITER 9712 NEW BEST:: SOT 100897 SOS 56168 HAS SOPS 56168 HAS SOUS 41900 HAS SOUPS 41900 WITH SCORE 41956.168
AT ITER 9725 NEW BEST:: SOT 100887 SOS 56180 HAS SOPS 56180 HAS SOUS 41890 HAS SOUPS 41890 WITH SCORE 41946.18
AT ITER 9851 NEW BEST:: SOT 100887 SOS 56180 HAS SOPS 56180 HAS SOUS 41872 HAS SOUPS 41872 WITH SCORE 41928.18
AT ITER 9854 NEW BEST:: SOT 100884 SOS 56175 HAS SOPS 56175 HAS SOUS 41868 HAS SOUPS 41868 WITH SCORE 41924.175
AT ITER 9867 NEW BEST:: SOT 100884 SOS 56175 HAS SOPS 56175 HAS SOUS 41867 HAS SOUPS 41867 WITH SCORE 41923.175
AT ITER 9893 NEW BEST:: SOT 100988 SOS 56226 HAS SOPS 56226 HAS SOUS 41793 HAS SOUPS 41793 WITH SCORE 41849.226
AT ITER 9944 NEW BEST:: SOT 100973 SOS 56245 HAS SOPS 56245 HAS SOUS 41783 HAS SOUPS 41783 WITH SCORE 41839.245
AT ITER 9956 NEW BEST:: SOT 100973 SOS 56245 HAS SOPS 56245 HAS SOUS 41744 HAS SOUPS 41744 WITH SCORE 41800.245
AT ITER 9997 NEW BEST:: SOT 100970 SOS 56337 HAS SOPS 56337 HAS SOUS 41741 HAS SOUPS 41741 WITH SCORE 41797.337
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 5186180 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16138488 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="Sudoku-COL-AN07"
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 Sudoku-COL-AN07, 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 r483-tall-167912695200056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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