Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502600259.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Raft-PT-07, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502600259
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 292K
-rw-r--r-- 1 mcc users 2.8K Apr 12 08:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 12 08:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 11 09:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 11 09:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.9K Apr 10 14:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 9 21:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 9 21:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 120K Mar 24 05:38 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Raft-PT-07-CTLCardinality-00
FORMULA_NAME Raft-PT-07-CTLCardinality-01
FORMULA_NAME Raft-PT-07-CTLCardinality-02
FORMULA_NAME Raft-PT-07-CTLCardinality-03
FORMULA_NAME Raft-PT-07-CTLCardinality-04
FORMULA_NAME Raft-PT-07-CTLCardinality-05
FORMULA_NAME Raft-PT-07-CTLCardinality-06
FORMULA_NAME Raft-PT-07-CTLCardinality-07
FORMULA_NAME Raft-PT-07-CTLCardinality-08
FORMULA_NAME Raft-PT-07-CTLCardinality-09
FORMULA_NAME Raft-PT-07-CTLCardinality-10
FORMULA_NAME Raft-PT-07-CTLCardinality-11
FORMULA_NAME Raft-PT-07-CTLCardinality-12
FORMULA_NAME Raft-PT-07-CTLCardinality-13
FORMULA_NAME Raft-PT-07-CTLCardinality-14
FORMULA_NAME Raft-PT-07-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589800262075

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 07
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 253 places, 442 transitions, 1664 arcs.
AT ITER 0 NEW BEST:: SOT 97840 SOS 65051 HAS SOPS 65023 HAS SOUS 51373 HAS SOUPS 51366 WITH SCORE 51431.051
AT ITER 1 NEW BEST:: SOT 98219 SOS 65292 HAS SOPS 63493 HAS SOUS 51721 HAS SOUPS 49943 WITH SCORE 50008.292
AT ITER 2 NEW BEST:: SOT 98219 SOS 65292 HAS SOPS 63493 HAS SOUS 51714 HAS SOUPS 49936 WITH SCORE 50001.292
AT ITER 3 NEW BEST:: SOT 97689 SOS 65459 HAS SOPS 63173 HAS SOUS 51568 HAS SOUPS 49749 WITH SCORE 49814.459
AT ITER 4 NEW BEST:: SOT 97689 SOS 65256 HAS SOPS 63000 HAS SOUS 51542 HAS SOUPS 49723 WITH SCORE 49788.256
AT ITER 5 NEW BEST:: SOT 97689 SOS 65249 HAS SOPS 63000 HAS SOUS 51542 HAS SOUPS 49723 WITH SCORE 49788.249
AT ITER 9 NEW BEST:: SOT 97689 SOS 65249 HAS SOPS 62972 HAS SOUS 51520 HAS SOUPS 49696 WITH SCORE 49761.249
AT ITER 19 NEW BEST:: SOT 97371 SOS 65145 HAS SOPS 62837 HAS SOUS 51276 HAS SOUPS 49422 WITH SCORE 49487.145
AT ITER 20 NEW BEST:: SOT 97371 SOS 65124 HAS SOPS 62816 HAS SOUS 51276 HAS SOUPS 49422 WITH SCORE 49487.124
AT ITER 21 NEW BEST:: SOT 97371 SOS 64953 HAS SOPS 62672 HAS SOUS 51276 HAS SOUPS 49422 WITH SCORE 49486.953
AT ITER 23 NEW BEST:: SOT 96451 SOS 64616 HAS SOPS 62050 HAS SOUS 50978 HAS SOUPS 49038 WITH SCORE 49102.616
AT ITER 26 NEW BEST:: SOT 96451 SOS 64600 HAS SOPS 61981 HAS SOUS 50957 HAS SOUPS 49011 WITH SCORE 49075.6
AT ITER 27 NEW BEST:: SOT 96451 SOS 64567 HAS SOPS 61948 HAS SOUS 50957 HAS SOUPS 49011 WITH SCORE 49075.567
AT ITER 28 NEW BEST:: SOT 94855 SOS 65952 HAS SOPS 60976 HAS SOUS 50398 HAS SOUPS 48396 WITH SCORE 48461.952
AT ITER 29 NEW BEST:: SOT 94930 SOS 65976 HAS SOPS 60899 HAS SOUS 50224 HAS SOUPS 48205 WITH SCORE 48270.976
AT ITER 30 NEW BEST:: SOT 94390 SOS 65366 HAS SOPS 60262 HAS SOUS 49618 HAS SOUPS 47571 WITH SCORE 47636.366
AT ITER 31 NEW BEST:: SOT 94390 SOS 65366 HAS SOPS 60262 HAS SOUS 49591 HAS SOUPS 47544 WITH SCORE 47609.366
AT ITER 33 NEW BEST:: SOT 94165 SOS 64446 HAS SOPS 59342 HAS SOUS 49129 HAS SOUPS 47082 WITH SCORE 47146.446
AT ITER 34 NEW BEST:: SOT 93612 SOS 64092 HAS SOPS 58889 HAS SOUS 48578 HAS SOUPS 46509 WITH SCORE 46573.092
AT ITER 38 NEW BEST:: SOT 93164 SOS 63750 HAS SOPS 58475 HAS SOUS 48142 HAS SOUPS 46071 WITH SCORE 46134.75
AT ITER 39 NEW BEST:: SOT 93164 SOS 63701 HAS SOPS 58357 HAS SOUS 48127 HAS SOUPS 46056 WITH SCORE 46119.701
AT ITER 41 NEW BEST:: SOT 93122 SOS 63053 HAS SOPS 57799 HAS SOUS 47953 HAS SOUPS 45972 WITH SCORE 46035.053
AT ITER 43 NEW BEST:: SOT 93122 SOS 63053 HAS SOPS 57799 HAS SOUS 47926 HAS SOUPS 45945 WITH SCORE 46008.053
AT ITER 45 NEW BEST:: SOT 93122 SOS 62407 HAS SOPS 57315 HAS SOUS 47741 HAS SOUPS 45902 WITH SCORE 45964.407
AT ITER 46 NEW BEST:: SOT 93122 SOS 62407 HAS SOPS 57315 HAS SOUS 47718 HAS SOUPS 45879 WITH SCORE 45941.407
AT ITER 48 NEW BEST:: SOT 93122 SOS 62382 HAS SOPS 57290 HAS SOUS 47689 HAS SOUPS 45850 WITH SCORE 45912.382
AT ITER 49 NEW BEST:: SOT 93122 SOS 62360 HAS SOPS 57290 HAS SOUS 47689 HAS SOUPS 45850 WITH SCORE 45912.36
AT ITER 50 NEW BEST:: SOT 92818 SOS 62037 HAS SOPS 56940 HAS SOUS 47335 HAS SOUPS 45485 WITH SCORE 45547.037
AT ITER 51 NEW BEST:: SOT 92148 SOS 61071 HAS SOPS 56155 HAS SOUS 46515 HAS SOUPS 44716 WITH SCORE 44777.071
AT ITER 57 NEW BEST:: SOT 92211 SOS 61071 HAS SOPS 55945 HAS SOUS 46557 HAS SOUPS 44527 WITH SCORE 44588.071
AT ITER 66 NEW BEST:: SOT 91999 SOS 60855 HAS SOPS 55701 HAS SOUS 46312 HAS SOUPS 44282 WITH SCORE 44342.855
AT ITER 71 NEW BEST:: SOT 91413 SOS 60425 HAS SOPS 55314 HAS SOUS 45734 HAS SOUPS 43704 WITH SCORE 43764.425
AT ITER 72 NEW BEST:: SOT 91413 SOS 60399 HAS SOPS 55281 HAS SOUS 45734 HAS SOUPS 43704 WITH SCORE 43764.399
AT ITER 75 NEW BEST:: SOT 90829 SOS 59764 HAS SOPS 54724 HAS SOUS 45080 HAS SOUPS 43047 WITH SCORE 43106.764
AT ITER 77 NEW BEST:: SOT 90829 SOS 59746 HAS SOPS 54724 HAS SOUS 45080 HAS SOUPS 43047 WITH SCORE 43106.746
AT ITER 78 NEW BEST:: SOT 90723 SOS 59490 HAS SOPS 54468 HAS SOUS 44897 HAS SOUPS 42864 WITH SCORE 42923.49
AT ITER 79 NEW BEST:: SOT 90532 SOS 59294 HAS SOPS 54202 HAS SOUS 44659 HAS SOUPS 42598 WITH SCORE 42657.294
AT ITER 86 NEW BEST:: SOT 90490 SOS 59243 HAS SOPS 54139 HAS SOUS 44574 HAS SOUPS 42500 WITH SCORE 42559.243
AT ITER 87 NEW BEST:: SOT 90281 SOS 59069 HAS SOPS 54010 HAS SOUS 44457 HAS SOUPS 42396 WITH SCORE 42455.069
AT ITER 88 NEW BEST:: SOT 89762 SOS 58520 HAS SOPS 53639 HAS SOUS 43970 HAS SOUPS 41909 WITH SCORE 41967.52
AT ITER 89 NEW BEST:: SOT 89650 SOS 58408 HAS SOPS 53513 HAS SOUS 43853 HAS SOUPS 41778 WITH SCORE 41836.408
AT ITER 91 NEW BEST:: SOT 89650 SOS 58354 HAS SOPS 53486 HAS SOUS 43853 HAS SOUPS 41778 WITH SCORE 41836.354
AT ITER 92 NEW BEST:: SOT 89644 SOS 58269 HAS SOPS 53358 HAS SOUS 43841 HAS SOUPS 41766 WITH SCORE 41824.269
AT ITER 96 NEW BEST:: SOT 89475 SOS 58110 HAS SOPS 53381 HAS SOUS 43423 HAS SOUPS 41486 WITH SCORE 41544.11
AT ITER 97 NEW BEST:: SOT 89024 SOS 57440 HAS SOPS 53254 HAS SOUS 42951 HAS SOUPS 41147 WITH SCORE 41204.44
AT ITER 100 NEW BEST:: SOT 88560 SOS 57360 HAS SOPS 53222 HAS SOUS 42895 HAS SOUPS 41091 WITH SCORE 41148.36
AT ITER 101 NEW BEST:: SOT 88560 SOS 56961 HAS SOPS 52823 HAS SOUS 42895 HAS SOUPS 41091 WITH SCORE 41147.961
AT ITER 102 NEW BEST:: SOT 86610 SOS 57905 HAS SOPS 51776 HAS SOUS 42314 HAS SOUPS 40378 WITH SCORE 40435.905
AT ITER 103 NEW BEST:: SOT 86565 SOS 57860 HAS SOPS 51731 HAS SOUS 42269 HAS SOUPS 40333 WITH SCORE 40390.86
AT ITER 106 NEW BEST:: SOT 86565 SOS 57834 HAS SOPS 51731 HAS SOUS 42260 HAS SOUPS 40324 WITH SCORE 40381.834
AT ITER 107 NEW BEST:: SOT 86549 SOS 57753 HAS SOPS 51585 HAS SOUS 42179 HAS SOUPS 40243 WITH SCORE 40300.753
AT ITER 108 NEW BEST:: SOT 86116 SOS 57320 HAS SOPS 51152 HAS SOUS 41741 HAS SOUPS 39805 WITH SCORE 39862.32
AT ITER 109 NEW BEST:: SOT 86072 SOS 57219 HAS SOPS 51007 HAS SOUS 41495 HAS SOUPS 39559 WITH SCORE 39616.219
AT ITER 111 NEW BEST:: SOT 86058 SOS 57191 HAS SOPS 50979 HAS SOUS 41480 HAS SOUPS 39544 WITH SCORE 39601.191
AT ITER 112 NEW BEST:: SOT 86038 SOS 57157 HAS SOPS 50931 HAS SOUS 41445 HAS SOUPS 39509 WITH SCORE 39566.157
AT ITER 114 NEW BEST:: SOT 86038 SOS 57084 HAS SOPS 50936 HAS SOUS 41419 HAS SOUPS 39483 WITH SCORE 39540.084
AT ITER 115 NEW BEST:: SOT 86038 SOS 57084 HAS SOPS 50852 HAS SOUS 41356 HAS SOUPS 39420 WITH SCORE 39477.084
AT ITER 117 NEW BEST:: SOT 86144 SOS 57225 HAS SOPS 50667 HAS SOUS 41206 HAS SOUPS 39270 WITH SCORE 39327.225
AT ITER 118 NEW BEST:: SOT 85930 SOS 57011 HAS SOPS 50453 HAS SOUS 40944 HAS SOUPS 39008 WITH SCORE 39065.011
AT ITER 119 NEW BEST:: SOT 85920 SOS 56991 HAS SOPS 50423 HAS SOUS 40924 HAS SOUPS 38988 WITH SCORE 39044.991
AT ITER 120 NEW BEST:: SOT 85920 SOS 56985 HAS SOPS 50411 HAS SOUS 40930 HAS SOUPS 38988 WITH SCORE 39044.985
AT ITER 122 NEW BEST:: SOT 85901 SOS 56906 HAS SOPS 50317 HAS SOUS 40866 HAS SOUPS 38924 WITH SCORE 38980.906
AT ITER 125 NEW BEST:: SOT 85423 SOS 56428 HAS SOPS 49831 HAS SOUS 40372 HAS SOUPS 38430 WITH SCORE 38486.428
AT ITER 126 NEW BEST:: SOT 85352 SOS 56340 HAS SOPS 49719 HAS SOUS 40313 HAS SOUPS 38371 WITH SCORE 38427.34
AT ITER 127 NEW BEST:: SOT 85352 SOS 56262 HAS SOPS 49641 HAS SOUS 40313 HAS SOUPS 38371 WITH SCORE 38427.262
AT ITER 130 NEW BEST:: SOT 85312 SOS 56201 HAS SOPS 49581 HAS SOUS 40304 HAS SOUPS 38362 WITH SCORE 38418.201
AT ITER 132 NEW BEST:: SOT 84222 SOS 56038 HAS SOPS 48763 HAS SOUS 39690 HAS SOUPS 37680 WITH SCORE 37736.038
AT ITER 134 NEW BEST:: SOT 84211 SOS 55934 HAS SOPS 48639 HAS SOUS 39675 HAS SOUPS 37645 WITH SCORE 37700.934
AT ITER 136 NEW BEST:: SOT 84211 SOS 55269 HAS SOPS 48160 HAS SOUS 39560 HAS SOUPS 37645 WITH SCORE 37700.269
AT ITER 139 NEW BEST:: SOT 84175 SOS 55233 HAS SOPS 48124 HAS SOUS 39524 HAS SOUPS 37609 WITH SCORE 37664.233
AT ITER 140 NEW BEST:: SOT 84172 SOS 55005 HAS SOPS 47896 HAS SOUS 39521 HAS SOUPS 37606 WITH SCORE 37661.005
AT ITER 141 NEW BEST:: SOT 83650 SOS 54705 HAS SOPS 47513 HAS SOUS 39026 HAS SOUPS 37111 WITH SCORE 37165.705
AT ITER 142 NEW BEST:: SOT 83480 SOS 54535 HAS SOPS 47333 HAS SOUS 38912 HAS SOUPS 36964 WITH SCORE 37018.535
AT ITER 143 NEW BEST:: SOT 83444 SOS 54553 HAS SOPS 47261 HAS SOUS 38840 HAS SOUPS 36892 WITH SCORE 36946.553
AT ITER 147 NEW BEST:: SOT 83444 SOS 54047 HAS SOPS 46483 HAS SOUS 38615 HAS SOUPS 36667 WITH SCORE 36721.047
AT ITER 151 NEW BEST:: SOT 83444 SOS 53849 HAS SOPS 46285 HAS SOUS 38615 HAS SOUPS 36667 WITH SCORE 36720.849
AT ITER 156 NEW BEST:: SOT 83429 SOS 53834 HAS SOPS 46171 HAS SOUS 38539 HAS SOUPS 36591 WITH SCORE 36644.834
AT ITER 157 NEW BEST:: SOT 83429 SOS 53744 HAS SOPS 46081 HAS SOUS 38518 HAS SOUPS 36570 WITH SCORE 36623.744
AT ITER 159 NEW BEST:: SOT 83270 SOS 53647 HAS SOPS 46045 HAS SOUS 38377 HAS SOUPS 36429 WITH SCORE 36482.647
AT ITER 161 NEW BEST:: SOT 83241 SOS 53589 HAS SOPS 45987 HAS SOUS 38317 HAS SOUPS 36369 WITH SCORE 36422.589
AT ITER 162 NEW BEST:: SOT 82888 SOS 53332 HAS SOPS 45467 HAS SOUS 37998 HAS SOUPS 35907 WITH SCORE 35960.332
AT ITER 170 NEW BEST:: SOT 82859 SOS 53206 HAS SOPS 45394 HAS SOUS 37863 HAS SOUPS 35772 WITH SCORE 35825.206
AT ITER 173 NEW BEST:: SOT 82682 SOS 53265 HAS SOPS 45208 HAS SOUS 37928 HAS SOUPS 35739 WITH SCORE 35792.265
AT ITER 175 NEW BEST:: SOT 82149 SOS 52728 HAS SOPS 44667 HAS SOUS 37394 HAS SOUPS 35205 WITH SCORE 35257.728
AT ITER 179 NEW BEST:: SOT 81789 SOS 52565 HAS SOPS 44598 HAS SOUS 37281 HAS SOUPS 35092 WITH SCORE 35144.565
AT ITER 180 NEW BEST:: SOT 81665 SOS 52482 HAS SOPS 44474 HAS SOUS 37245 HAS SOUPS 35015 WITH SCORE 35067.482
AT ITER 191 NEW BEST:: SOT 81603 SOS 52389 HAS SOPS 44333 HAS SOUS 37121 HAS SOUPS 34891 WITH SCORE 34943.389
AT ITER 194 NEW BEST:: SOT 81522 SOS 52308 HAS SOPS 44213 HAS SOUS 36967 HAS SOUPS 34737 WITH SCORE 34789.308
AT ITER 196 NEW BEST:: SOT 81522 SOS 52091 HAS SOPS 43996 HAS SOUS 36967 HAS SOUPS 34737 WITH SCORE 34789.091
AT ITER 197 NEW BEST:: SOT 81522 SOS 51377 HAS SOPS 43307 HAS SOUS 36941 HAS SOUPS 34711 WITH SCORE 34762.377
AT ITER 201 NEW BEST:: SOT 81504 SOS 51359 HAS SOPS 43280 HAS SOUS 36888 HAS SOUPS 34658 WITH SCORE 34709.359
AT ITER 202 NEW BEST:: SOT 81425 SOS 51228 HAS SOPS 43191 HAS SOUS 36730 HAS SOUPS 34500 WITH SCORE 34551.228
AT ITER 207 NEW BEST:: SOT 81421 SOS 51224 HAS SOPS 43185 HAS SOUS 36724 HAS SOUPS 34494 WITH SCORE 34545.224
AT ITER 208 NEW BEST:: SOT 81421 SOS 51065 HAS SOPS 43140 HAS SOUS 36658 HAS SOUPS 34494 WITH SCORE 34545.065
AT ITER 210 NEW BEST:: SOT 81421 SOS 51047 HAS SOPS 43122 HAS SOUS 36658 HAS SOUPS 34494 WITH SCORE 34545.047
AT ITER 214 NEW BEST:: SOT 81075 SOS 50937 HAS SOPS 42983 HAS SOUS 36330 HAS SOUPS 34206 WITH SCORE 34256.937
AT ITER 222 NEW BEST:: SOT 81075 SOS 50656 HAS SOPS 42717 HAS SOUS 36327 HAS SOUPS 34203 WITH SCORE 34253.656
AT ITER 223 NEW BEST:: SOT 80729 SOS 50615 HAS SOPS 42861 HAS SOUS 36075 HAS SOUPS 33952 WITH SCORE 34002.615
AT ITER 225 NEW BEST:: SOT 80473 SOS 50142 HAS SOPS 42384 HAS SOUS 35606 HAS SOUPS 33483 WITH SCORE 33533.142
AT ITER 226 NEW BEST:: SOT 80280 SOS 49878 HAS SOPS 41576 HAS SOUS 35169 HAS SOUPS 32858 WITH SCORE 32907.878
AT ITER 227 NEW BEST:: SOT 79742 SOS 48765 HAS SOPS 40472 HAS SOUS 34336 HAS SOUPS 32025 WITH SCORE 32073.765
AT ITER 230 NEW BEST:: SOT 79659 SOS 47654 HAS SOPS 39579 HAS SOUS 33858 HAS SOUPS 31707 WITH SCORE 31754.654
AT ITER 231 NEW BEST:: SOT 79659 SOS 47641 HAS SOPS 39579 HAS SOUS 33858 HAS SOUPS 31707 WITH SCORE 31754.641
AT ITER 232 NEW BEST:: SOT 79659 SOS 47440 HAS SOPS 39409 HAS SOUS 33827 HAS SOUPS 31707 WITH SCORE 31754.44
AT ITER 233 NEW BEST:: SOT 79659 SOS 47309 HAS SOPS 39343 HAS SOUS 33827 HAS SOUPS 31707 WITH SCORE 31754.309
AT ITER 238 NEW BEST:: SOT 79673 SOS 47445 HAS SOPS 39326 HAS SOUS 33803 HAS SOUPS 31683 WITH SCORE 31730.445
AT ITER 245 NEW BEST:: SOT 79635 SOS 47388 HAS SOPS 39269 HAS SOUS 33746 HAS SOUPS 31626 WITH SCORE 31673.388
AT ITER 255 NEW BEST:: SOT 79049 SOS 47058 HAS SOPS 38812 HAS SOUS 33317 HAS SOUPS 31176 WITH SCORE 31223.058
AT ITER 259 NEW BEST:: SOT 78945 SOS 46988 HAS SOPS 38681 HAS SOUS 33137 HAS SOUPS 30996 WITH SCORE 31042.988
AT ITER 261 NEW BEST:: SOT 78945 SOS 46982 HAS SOPS 38675 HAS SOUS 33134 HAS SOUPS 30993 WITH SCORE 31039.982
AT ITER 263 NEW BEST:: SOT 78824 SOS 47084 HAS SOPS 38725 HAS SOUS 33122 HAS SOUPS 30981 WITH SCORE 31028.084
AT ITER 266 NEW BEST:: SOT 78492 SOS 46933 HAS SOPS 38716 HAS SOUS 33072 HAS SOUPS 30931 WITH SCORE 30977.933
AT ITER 269 NEW BEST:: SOT 78225 SOS 46666 HAS SOPS 38512 HAS SOUS 32851 HAS SOUPS 30710 WITH SCORE 30756.666
AT ITER 271 NEW BEST:: SOT 78221 SOS 46662 HAS SOPS 38500 HAS SOUS 32847 HAS SOUPS 30706 WITH SCORE 30752.662
AT ITER 273 NEW BEST:: SOT 78011 SOS 46534 HAS SOPS 38399 HAS SOUS 32673 HAS SOUPS 30532 WITH SCORE 30578.534
AT ITER 275 NEW BEST:: SOT 78011 SOS 46392 HAS SOPS 38399 HAS SOUS 32673 HAS SOUPS 30532 WITH SCORE 30578.392
AT ITER 276 NEW BEST:: SOT 77918 SOS 45508 HAS SOPS 37515 HAS SOUS 32437 HAS SOUPS 30296 WITH SCORE 30341.508
AT ITER 278 NEW BEST:: SOT 77848 SOS 45406 HAS SOPS 37556 HAS SOUS 32426 HAS SOUPS 30285 WITH SCORE 30330.406
AT ITER 279 NEW BEST:: SOT 77842 SOS 45400 HAS SOPS 37550 HAS SOUS 32414 HAS SOUPS 30273 WITH SCORE 30318.4
AT ITER 286 NEW BEST:: SOT 77842 SOS 45123 HAS SOPS 37326 HAS SOUS 32414 HAS SOUPS 30273 WITH SCORE 30318.123
AT ITER 296 NEW BEST:: SOT 77598 SOS 45089 HAS SOPS 37525 HAS SOUS 32409 HAS SOUPS 30268 WITH SCORE 30313.089
AT ITER 297 NEW BEST:: SOT 77477 SOS 45018 HAS SOPS 37392 HAS SOUS 32182 HAS SOUPS 30041 WITH SCORE 30086.018
AT ITER 303 NEW BEST:: SOT 77253 SOS 44794 HAS SOPS 37168 HAS SOUS 31932 HAS SOUPS 29791 WITH SCORE 29835.794
AT ITER 304 NEW BEST:: SOT 77184 SOS 44645 HAS SOPS 37019 HAS SOUS 31783 HAS SOUPS 29642 WITH SCORE 29686.645
AT ITER 305 NEW BEST:: SOT 77151 SOS 44612 HAS SOPS 36995 HAS SOUS 31756 HAS SOUPS 29615 WITH SCORE 29659.612
AT ITER 313 NEW BEST:: SOT 77111 SOS 44564 HAS SOPS 36986 HAS SOUS 31722 HAS SOUPS 29581 WITH SCORE 29625.564
AT ITER 315 NEW BEST:: SOT 77052 SOS 44372 HAS SOPS 36919 HAS SOUS 31721 HAS SOUPS 29580 WITH SCORE 29624.372
AT ITER 323 NEW BEST:: SOT 77010 SOS 44291 HAS SOPS 36799 HAS SOUS 31627 HAS SOUPS 29486 WITH SCORE 29530.291
AT ITER 330 NEW BEST:: SOT 76968 SOS 44249 HAS SOPS 36757 HAS SOUS 31592 HAS SOUPS 29451 WITH SCORE 29495.249
AT ITER 333 NEW BEST:: SOT 76851 SOS 44162 HAS SOPS 36685 HAS SOUS 31493 HAS SOUPS 29352 WITH SCORE 29396.162
AT ITER 334 NEW BEST:: SOT 76679 SOS 43950 HAS SOPS 36529 HAS SOUS 31285 HAS SOUPS 29144 WITH SCORE 29187.95
AT ITER 337 NEW BEST:: SOT 76718 SOS 43959 HAS SOPS 36451 HAS SOUS 31250 HAS SOUPS 29109 WITH SCORE 29152.959
AT ITER 339 NEW BEST:: SOT 76634 SOS 43718 HAS SOPS 36196 HAS SOUS 30982 HAS SOUPS 28841 WITH SCORE 28884.718
AT ITER 341 NEW BEST:: SOT 76586 SOS 43682 HAS SOPS 36145 HAS SOUS 30938 HAS SOUPS 28797 WITH SCORE 28840.682
AT ITER 343 NEW BEST:: SOT 76586 SOS 43179 HAS SOPS 35785 HAS SOUS 30866 HAS SOUPS 28797 WITH SCORE 28840.179
AT ITER 350 NEW BEST:: SOT 76586 SOS 43056 HAS SOPS 35709 HAS SOUS 30828 HAS SOUPS 28797 WITH SCORE 28840.056
AT ITER 354 NEW BEST:: SOT 76289 SOS 43594 HAS SOPS 35519 HAS SOUS 30723 HAS SOUPS 28663 WITH SCORE 28706.594
AT ITER 361 NEW BEST:: SOT 76278 SOS 43572 HAS SOPS 35532 HAS SOUS 30712 HAS SOUPS 28652 WITH SCORE 28695.572
AT ITER 362 NEW BEST:: SOT 76490 SOS 43704 HAS SOPS 35606 HAS SOUS 30552 HAS SOUPS 28492 WITH SCORE 28535.704
AT ITER 364 NEW BEST:: SOT 73591 SOS 45906 HAS SOPS 34993 HAS SOUS 29131 HAS SOUPS 26874 WITH SCORE 26919.906
AT ITER 365 NEW BEST:: SOT 73034 SOS 46297 HAS SOPS 34996 HAS SOUS 28877 HAS SOUPS 26581 WITH SCORE 26627.297
AT ITER 367 NEW BEST:: SOT 72968 SOS 46206 HAS SOPS 34872 HAS SOUS 28778 HAS SOUPS 26482 WITH SCORE 26528.206
AT ITER 372 NEW BEST:: SOT 72996 SOS 46234 HAS SOPS 34914 HAS SOUS 28775 HAS SOUPS 26479 WITH SCORE 26525.234
AT ITER 375 NEW BEST:: SOT 73003 SOS 46224 HAS SOPS 34896 HAS SOUS 28757 HAS SOUPS 26461 WITH SCORE 26507.224
AT ITER 377 NEW BEST:: SOT 72839 SOS 46183 HAS SOPS 34568 HAS SOUS 28567 HAS SOUPS 26151 WITH SCORE 26197.183
AT ITER 378 NEW BEST:: SOT 72839 SOS 46153 HAS SOPS 34533 HAS SOUS 28567 HAS SOUPS 26151 WITH SCORE 26197.153
AT ITER 379 NEW BEST:: SOT 72759 SOS 46054 HAS SOPS 34411 HAS SOUS 28445 HAS SOUPS 26029 WITH SCORE 26075.054
AT ITER 381 NEW BEST:: SOT 72713 SOS 45986 HAS SOPS 34342 HAS SOUS 28307 HAS SOUPS 25891 WITH SCORE 25936.986
AT ITER 384 NEW BEST:: SOT 72643 SOS 46040 HAS SOPS 34198 HAS SOUS 28200 HAS SOUPS 25784 WITH SCORE 25830.04
AT ITER 389 NEW BEST:: SOT 72599 SOS 46017 HAS SOPS 34149 HAS SOUS 28130 HAS SOUPS 25714 WITH SCORE 25760.017
AT ITER 390 NEW BEST:: SOT 72557 SOS 45975 HAS SOPS 34065 HAS SOUS 28067 HAS SOUPS 25651 WITH SCORE 25696.975
AT ITER 391 NEW BEST:: SOT 72559 SOS 45977 HAS SOPS 33987 HAS SOUS 28031 HAS SOUPS 25615 WITH SCORE 25660.977
AT ITER 392 NEW BEST:: SOT 72539 SOS 45937 HAS SOPS 33963 HAS SOUS 27991 HAS SOUPS 25575 WITH SCORE 25620.937
AT ITER 393 NEW BEST:: SOT 72499 SOS 45822 HAS SOPS 33848 HAS SOUS 27977 HAS SOUPS 25561 WITH SCORE 25606.822
AT ITER 406 NEW BEST:: SOT 72361 SOS 45726 HAS SOPS 33600 HAS SOUS 27923 HAS SOUPS 25410 WITH SCORE 25455.726
AT ITER 409 NEW BEST:: SOT 72336 SOS 45668 HAS SOPS 33509 HAS SOUS 27777 HAS SOUPS 25264 WITH SCORE 25309.668
AT ITER 412 NEW BEST:: SOT 72330 SOS 45656 HAS SOPS 33491 HAS SOUS 27771 HAS SOUPS 25258 WITH SCORE 25303.656
AT ITER 422 NEW BEST:: SOT 72094 SOS 45364 HAS SOPS 33310 HAS SOUS 27572 HAS SOUPS 25059 WITH SCORE 25104.364
AT ITER 425 NEW BEST:: SOT 72071 SOS 45318 HAS SOPS 33264 HAS SOUS 27503 HAS SOUPS 24990 WITH SCORE 25035.318
AT ITER 428 NEW BEST:: SOT 71945 SOS 45192 HAS SOPS 33164 HAS SOUS 27382 HAS SOUPS 24869 WITH SCORE 24914.192
AT ITER 430 NEW BEST:: SOT 71903 SOS 45150 HAS SOPS 33080 HAS SOUS 27319 HAS SOUPS 24806 WITH SCORE 24851.15
AT ITER 432 NEW BEST:: SOT 71827 SOS 45045 HAS SOPS 32946 HAS SOUS 27185 HAS SOUPS 24672 WITH SCORE 24717.045
AT ITER 438 NEW BEST:: SOT 71759 SOS 45031 HAS SOPS 32752 HAS SOUS 26982 HAS SOUPS 24469 WITH SCORE 24514.031
AT ITER 440 NEW BEST:: SOT 71759 SOS 44980 HAS SOPS 32752 HAS SOUS 26982 HAS SOUPS 24469 WITH SCORE 24513.98
AT ITER 442 NEW BEST:: SOT 71593 SOS 44791 HAS SOPS 32532 HAS SOUS 26764 HAS SOUPS 24251 WITH SCORE 24295.791
AT ITER 448 NEW BEST:: SOT 71579 SOS 44688 HAS SOPS 32422 HAS SOUS 26743 HAS SOUPS 24230 WITH SCORE 24274.688
AT ITER 463 NEW BEST:: SOT 71579 SOS 44627 HAS SOPS 32460 HAS SOUS 26743 HAS SOUPS 24230 WITH SCORE 24274.627
AT ITER 465 NEW BEST:: SOT 71569 SOS 44598 HAS SOPS 32431 HAS SOUS 26728 HAS SOUPS 24215 WITH SCORE 24259.598
AT ITER 474 NEW BEST:: SOT 71499 SOS 44528 HAS SOPS 32326 HAS SOUS 26655 HAS SOUPS 24142 WITH SCORE 24186.528
AT ITER 476 NEW BEST:: SOT 71656 SOS 43176 HAS SOPS 31840 HAS SOUS 26597 HAS SOUPS 24116 WITH SCORE 24159.176
AT ITER 485 NEW BEST:: SOT 71040 SOS 45432 HAS SOPS 32775 HAS SOUS 26621 HAS SOUPS 24068 WITH SCORE 24113.432
AT ITER 487 NEW BEST:: SOT 68980 SOS 50988 HAS SOPS 34091 HAS SOUS 25888 HAS SOUPS 23134 WITH SCORE 23184.988
AT ITER 488 NEW BEST:: SOT 68900 SOS 50955 HAS SOPS 34019 HAS SOUS 25756 HAS SOUPS 23002 WITH SCORE 23052.955
AT ITER 491 NEW BEST:: SOT 67578 SOS 52309 HAS SOPS 33481 HAS SOUS 24910 HAS SOUPS 22058 WITH SCORE 22110.309
AT ITER 494 NEW BEST:: SOT 67602 SOS 52345 HAS SOPS 33478 HAS SOUS 24904 HAS SOUPS 22052 WITH SCORE 22104.345
AT ITER 502 NEW BEST:: SOT 67516 SOS 52259 HAS SOPS 33349 HAS SOUS 24731 HAS SOUPS 21879 WITH SCORE 21931.259
AT ITER 508 NEW BEST:: SOT 67501 SOS 52174 HAS SOPS 33408 HAS SOUS 24643 HAS SOUPS 21791 WITH SCORE 21843.174
AT ITER 512 NEW BEST:: SOT 67303 SOS 51976 HAS SOPS 33369 HAS SOUS 24537 HAS SOUPS 21685 WITH SCORE 21736.976
AT ITER 513 NEW BEST:: SOT 67151 SOS 51824 HAS SOPS 33255 HAS SOUS 24461 HAS SOUPS 21609 WITH SCORE 21660.824
AT ITER 515 NEW BEST:: SOT 67163 SOS 51836 HAS SOPS 33217 HAS SOUS 24436 HAS SOUPS 21584 WITH SCORE 21635.836
AT ITER 522 NEW BEST:: SOT 67131 SOS 51804 HAS SOPS 33169 HAS SOUS 24372 HAS SOUPS 21520 WITH SCORE 21571.804
AT ITER 528 NEW BEST:: SOT 67033 SOS 51706 HAS SOPS 33061 HAS SOUS 24254 HAS SOUPS 21402 WITH SCORE 21453.706
AT ITER 529 NEW BEST:: SOT 66799 SOS 51472 HAS SOPS 32827 HAS SOUS 24034 HAS SOUPS 21182 WITH SCORE 21233.472
AT ITER 533 NEW BEST:: SOT 66738 SOS 51411 HAS SOPS 32705 HAS SOUS 23973 HAS SOUPS 21121 WITH SCORE 21172.411
AT ITER 534 NEW BEST:: SOT 66620 SOS 51293 HAS SOPS 32528 HAS SOUS 23851 HAS SOUPS 20999 WITH SCORE 21050.293
AT ITER 538 NEW BEST:: SOT 66586 SOS 51295 HAS SOPS 32534 HAS SOUS 23800 HAS SOUPS 20948 WITH SCORE 20999.295
AT ITER 539 NEW BEST:: SOT 66460 SOS 51176 HAS SOPS 32432 HAS SOUS 23673 HAS SOUPS 20821 WITH SCORE 20872.176
AT ITER 552 NEW BEST:: SOT 66383 SOS 51077 HAS SOPS 32207 HAS SOUS 23563 HAS SOUPS 20711 WITH SCORE 20762.077
AT ITER 570 NEW BEST:: SOT 66383 SOS 51077 HAS SOPS 32207 HAS SOUS 23561 HAS SOUPS 20709 WITH SCORE 20760.077
AT ITER 574 NEW BEST:: SOT 66339 SOS 51033 HAS SOPS 32141 HAS SOUS 23495 HAS SOUPS 20643 WITH SCORE 20694.033
AT ITER 582 NEW BEST:: SOT 66323 SOS 51017 HAS SOPS 32129 HAS SOUS 23483 HAS SOUPS 20631 WITH SCORE 20682.017
AT ITER 584 NEW BEST:: SOT 66287 SOS 50981 HAS SOPS 32075 HAS SOUS 23411 HAS SOUPS 20559 WITH SCORE 20609.981
AT ITER 588 NEW BEST:: SOT 66306 SOS 50874 HAS SOPS 31999 HAS SOUS 23411 HAS SOUPS 20559 WITH SCORE 20609.874
AT ITER 593 NEW BEST:: SOT 66314 SOS 50780 HAS SOPS 31957 HAS SOUS 23405 HAS SOUPS 20555 WITH SCORE 20605.78
AT ITER 601 NEW BEST:: SOT 66158 SOS 50624 HAS SOPS 31915 HAS SOUS 23315 HAS SOUPS 20465 WITH SCORE 20515.624
AT ITER 603 NEW BEST:: SOT 66124 SOS 50590 HAS SOPS 31864 HAS SOUS 23228 HAS SOUPS 20378 WITH SCORE 20428.59
AT ITER 605 NEW BEST:: SOT 65609 SOS 50144 HAS SOPS 31367 HAS SOUS 22659 HAS SOUPS 19809 WITH SCORE 19859.144
AT ITER 609 NEW BEST:: SOT 65596 SOS 50131 HAS SOPS 31359 HAS SOUS 22628 HAS SOUPS 19778 WITH SCORE 19828.131
AT ITER 610 NEW BEST:: SOT 65214 SOS 49749 HAS SOPS 31022 HAS SOUS 22220 HAS SOUPS 19370 WITH SCORE 19419.749
AT ITER 612 NEW BEST:: SOT 65183 SOS 49691 HAS SOPS 30954 HAS SOUS 22179 HAS SOUPS 19329 WITH SCORE 19378.691
AT ITER 614 NEW BEST:: SOT 65173 SOS 49681 HAS SOPS 30939 HAS SOUS 22161 HAS SOUPS 19311 WITH SCORE 19360.681
AT ITER 618 NEW BEST:: SOT 65163 SOS 49671 HAS SOPS 30924 HAS SOUS 22146 HAS SOUPS 19296 WITH SCORE 19345.671
AT ITER 619 NEW BEST:: SOT 65144 SOS 49594 HAS SOPS 30793 HAS SOUS 22135 HAS SOUPS 19285 WITH SCORE 19334.594
AT ITER 621 NEW BEST:: SOT 65183 SOS 49633 HAS SOPS 30858 HAS SOUS 22121 HAS SOUPS 19271 WITH SCORE 19320.633
AT ITER 623 NEW BEST:: SOT 65173 SOS 49623 HAS SOPS 30843 HAS SOUS 22101 HAS SOUPS 19251 WITH SCORE 19300.623
AT ITER 638 NEW BEST:: SOT 65217 SOS 49667 HAS SOPS 30914 HAS SOUS 22058 HAS SOUPS 19208 WITH SCORE 19257.667
AT ITER 643 NEW BEST:: SOT 65217 SOS 49667 HAS SOPS 30866 HAS SOUS 22054 HAS SOUPS 19204 WITH SCORE 19253.667
AT ITER 647 NEW BEST:: SOT 64831 SOS 49281 HAS SOPS 30461 HAS SOUS 21898 HAS SOUPS 19048 WITH SCORE 19097.281
AT ITER 649 NEW BEST:: SOT 64767 SOS 49217 HAS SOPS 30333 HAS SOUS 21802 HAS SOUPS 18952 WITH SCORE 19001.217
AT ITER 661 NEW BEST:: SOT 64743 SOS 49193 HAS SOPS 30345 HAS SOUS 21790 HAS SOUPS 18940 WITH SCORE 18989.193
AT ITER 662 NEW BEST:: SOT 64706 SOS 49082 HAS SOPS 30271 HAS SOUS 21642 HAS SOUPS 18829 WITH SCORE 18878.082
AT ITER 665 NEW BEST:: SOT 64696 SOS 49074 HAS SOPS 30263 HAS SOUS 21632 HAS SOUPS 18819 WITH SCORE 18868.074
AT ITER 669 NEW BEST:: SOT 64686 SOS 49064 HAS SOPS 30253 HAS SOUS 21580 HAS SOUPS 18767 WITH SCORE 18816.064
AT ITER 674 NEW BEST:: SOT 64392 SOS 48745 HAS SOPS 29778 HAS SOUS 21029 HAS SOUPS 18216 WITH SCORE 18264.745
AT ITER 682 NEW BEST:: SOT 64388 SOS 48710 HAS SOPS 29770 HAS SOUS 21023 HAS SOUPS 18210 WITH SCORE 18258.71
AT ITER 684 NEW BEST:: SOT 64388 SOS 48710 HAS SOPS 29770 HAS SOUS 20957 HAS SOUPS 18144 WITH SCORE 18192.71
AT ITER 696 NEW BEST:: SOT 64388 SOS 48703 HAS SOPS 29753 HAS SOUS 20957 HAS SOUPS 18144 WITH SCORE 18192.703
AT ITER 699 NEW BEST:: SOT 64122 SOS 48437 HAS SOPS 29591 HAS SOUS 20737 HAS SOUPS 17924 WITH SCORE 17972.437
AT ITER 705 NEW BEST:: SOT 63848 SOS 47459 HAS SOPS 28635 HAS SOUS 20470 HAS SOUPS 17657 WITH SCORE 17704.459
AT ITER 706 NEW BEST:: SOT 63848 SOS 47459 HAS SOPS 28635 HAS SOUS 20464 HAS SOUPS 17651 WITH SCORE 17698.459
AT ITER 718 NEW BEST:: SOT 63848 SOS 47459 HAS SOPS 28635 HAS SOUS 20432 HAS SOUPS 17619 WITH SCORE 17666.459
AT ITER 719 NEW BEST:: SOT 63808 SOS 47419 HAS SOPS 28575 HAS SOUS 20392 HAS SOUPS 17579 WITH SCORE 17626.419
AT ITER 720 NEW BEST:: SOT 64130 SOS 47450 HAS SOPS 28280 HAS SOUS 20356 HAS SOUPS 17543 WITH SCORE 17590.45
AT ITER 723 NEW BEST:: SOT 64108 SOS 47461 HAS SOPS 28377 HAS SOUS 20334 HAS SOUPS 17521 WITH SCORE 17568.461
AT ITER 728 NEW BEST:: SOT 64132 SOS 47485 HAS SOPS 28382 HAS SOUS 20330 HAS SOUPS 17517 WITH SCORE 17564.485
AT ITER 729 NEW BEST:: SOT 64070 SOS 47423 HAS SOPS 28278 HAS SOUS 20296 HAS SOUPS 17483 WITH SCORE 17530.423
AT ITER 739 NEW BEST:: SOT 64082 SOS 47435 HAS SOPS 28290 HAS SOUS 20272 HAS SOUPS 17459 WITH SCORE 17506.435
AT ITER 742 NEW BEST:: SOT 63974 SOS 47327 HAS SOPS 28128 HAS SOUS 20164 HAS SOUPS 17351 WITH SCORE 17398.327
AT ITER 745 NEW BEST:: SOT 63966 SOS 47319 HAS SOPS 28116 HAS SOUS 20156 HAS SOUPS 17343 WITH SCORE 17390.319
AT ITER 748 NEW BEST:: SOT 63936 SOS 47289 HAS SOPS 28071 HAS SOUS 20111 HAS SOUPS 17298 WITH SCORE 17345.289
AT ITER 765 NEW BEST:: SOT 63936 SOS 47289 HAS SOPS 28071 HAS SOUS 20101 HAS SOUPS 17288 WITH SCORE 17335.289
AT ITER 773 NEW BEST:: SOT 63912 SOS 47265 HAS SOPS 28039 HAS SOUS 20069 HAS SOUPS 17256 WITH SCORE 17303.265
AT ITER 775 NEW BEST:: SOT 63878 SOS 47231 HAS SOPS 27971 HAS SOUS 20035 HAS SOUPS 17222 WITH SCORE 17269.231
AT ITER 782 NEW BEST:: SOT 63872 SOS 47231 HAS SOPS 27971 HAS SOUS 20032 HAS SOUPS 17219 WITH SCORE 17266.231
AT ITER 784 NEW BEST:: SOT 63846 SOS 47205 HAS SOPS 27932 HAS SOUS 19993 HAS SOUPS 17180 WITH SCORE 17227.205
AT ITER 786 NEW BEST:: SOT 63819 SOS 47178 HAS SOPS 27919 HAS SOUS 19942 HAS SOUPS 17129 WITH SCORE 17176.178
AT ITER 788 NEW BEST:: SOT 63759 SOS 47118 HAS SOPS 27829 HAS SOUS 19852 HAS SOUPS 17039 WITH SCORE 17086.118
AT ITER 789 NEW BEST:: SOT 63627 SOS 47105 HAS SOPS 27911 HAS SOUS 19765 HAS SOUPS 16952 WITH SCORE 16999.105
AT ITER 795 NEW BEST:: SOT 63622 SOS 47100 HAS SOPS 27898 HAS SOUS 19760 HAS SOUPS 16947 WITH SCORE 16994.1
AT ITER 813 NEW BEST:: SOT 63595 SOS 47063 HAS SOPS 27883 HAS SOUS 19698 HAS SOUPS 16885 WITH SCORE 16932.063
AT ITER 815 NEW BEST:: SOT 63425 SOS 46893 HAS SOPS 27871 HAS SOUS 19686 HAS SOUPS 16873 WITH SCORE 16919.893
AT ITER 816 NEW BEST:: SOT 63453 SOS 46921 HAS SOPS 27899 HAS SOUS 19684 HAS SOUPS 16871 WITH SCORE 16917.921
AT ITER 823 NEW BEST:: SOT 63413 SOS 46885 HAS SOPS 27885 HAS SOUS 19657 HAS SOUPS 16844 WITH SCORE 16890.885
AT ITER 825 NEW BEST:: SOT 63359 SOS 46831 HAS SOPS 27755 HAS SOUS 19545 HAS SOUPS 16732 WITH SCORE 16778.831
AT ITER 835 NEW BEST:: SOT 63273 SOS 46745 HAS SOPS 27599 HAS SOUS 19424 HAS SOUPS 16611 WITH SCORE 16657.745
AT ITER 838 NEW BEST:: SOT 63221 SOS 46693 HAS SOPS 27599 HAS SOUS 19418 HAS SOUPS 16605 WITH SCORE 16651.693
AT ITER 844 NEW BEST:: SOT 63221 SOS 46693 HAS SOPS 27599 HAS SOUS 19381 HAS SOUPS 16568 WITH SCORE 16614.693
AT ITER 846 NEW BEST:: SOT 63191 SOS 46663 HAS SOPS 27569 HAS SOUS 19375 HAS SOUPS 16562 WITH SCORE 16608.663
AT ITER 862 NEW BEST:: SOT 63207 SOS 46679 HAS SOPS 27477 HAS SOUS 19320 HAS SOUPS 16507 WITH SCORE 16553.679
AT ITER 867 NEW BEST:: SOT 63219 SOS 46691 HAS SOPS 27441 HAS SOUS 19308 HAS SOUPS 16495 WITH SCORE 16541.691
AT ITER 869 NEW BEST:: SOT 63210 SOS 46682 HAS SOPS 27450 HAS SOUS 19308 HAS SOUPS 16495 WITH SCORE 16541.682
AT ITER 870 NEW BEST:: SOT 63198 SOS 46670 HAS SOPS 27438 HAS SOUS 19302 HAS SOUPS 16489 WITH SCORE 16535.67
AT ITER 876 NEW BEST:: SOT 63196 SOS 46668 HAS SOPS 27436 HAS SOUS 19300 HAS SOUPS 16487 WITH SCORE 16533.668
AT ITER 900 NEW BEST:: SOT 63187 SOS 46659 HAS SOPS 27262 HAS SOUS 19204 HAS SOUPS 16391 WITH SCORE 16437.659
AT ITER 903 NEW BEST:: SOT 63187 SOS 46659 HAS SOPS 27262 HAS SOUS 19201 HAS SOUPS 16388 WITH SCORE 16434.659
AT ITER 905 NEW BEST:: SOT 63135 SOS 46607 HAS SOPS 27158 HAS SOUS 19149 HAS SOUPS 16336 WITH SCORE 16382.607
AT ITER 907 NEW BEST:: SOT 63143 SOS 46615 HAS SOPS 27130 HAS SOUS 19134 HAS SOUPS 16321 WITH SCORE 16367.615
AT ITER 921 NEW BEST:: SOT 63083 SOS 46463 HAS SOPS 26886 HAS SOUS 19052 HAS SOUPS 16239 WITH SCORE 16285.463
AT ITER 927 NEW BEST:: SOT 63077 SOS 46365 HAS SOPS 26839 HAS SOUS 18937 HAS SOUPS 16158 WITH SCORE 16204.365
AT ITER 946 NEW BEST:: SOT 62981 SOS 46269 HAS SOPS 26794 HAS SOUS 18892 HAS SOUPS 16113 WITH SCORE 16159.269
AT ITER 950 NEW BEST:: SOT 62967 SOS 46255 HAS SOPS 26766 HAS SOUS 18878 HAS SOUPS 16099 WITH SCORE 16145.255
AT ITER 957 NEW BEST:: SOT 62984 SOS 46272 HAS SOPS 26737 HAS SOUS 18854 HAS SOUPS 16075 WITH SCORE 16121.272
AT ITER 963 NEW BEST:: SOT 62983 SOS 46271 HAS SOPS 26736 HAS SOUS 18832 HAS SOUPS 16053 WITH SCORE 16099.271
AT ITER 966 NEW BEST:: SOT 62950 SOS 46234 HAS SOPS 26699 HAS SOUS 18794 HAS SOUPS 16015 WITH SCORE 16061.234
AT ITER 970 NEW BEST:: SOT 62947 SOS 46231 HAS SOPS 26696 HAS SOUS 18793 HAS SOUPS 16014 WITH SCORE 16060.231
AT ITER 977 NEW BEST:: SOT 62943 SOS 46225 HAS SOPS 26694 HAS SOUS 18789 HAS SOUPS 16010 WITH SCORE 16056.225
AT ITER 980 NEW BEST:: SOT 62919 SOS 46189 HAS SOPS 26707 HAS SOUS 18768 HAS SOUPS 16001 WITH SCORE 16047.189
AT ITER 991 NEW BEST:: SOT 62851 SOS 46121 HAS SOPS 26701 HAS SOUS 18738 HAS SOUPS 15971 WITH SCORE 16017.121
AT ITER 996 NEW BEST:: SOT 62833 SOS 46103 HAS SOPS 26683 HAS SOUS 18717 HAS SOUPS 15950 WITH SCORE 15996.103
AT ITER 1004 NEW BEST:: SOT 62839 SOS 46008 HAS SOPS 26588 HAS SOUS 18690 HAS SOUPS 15923 WITH SCORE 15969.008
AT ITER 1008 NEW BEST:: SOT 62743 SOS 45912 HAS SOPS 26531 HAS SOUS 18624 HAS SOUPS 15857 WITH SCORE 15902.912
AT ITER 1012 NEW BEST:: SOT 62667 SOS 45836 HAS SOPS 26417 HAS SOUS 18509 HAS SOUPS 15742 WITH SCORE 15787.836
AT ITER 1014 NEW BEST:: SOT 62492 SOS 45713 HAS SOPS 26294 HAS SOUS 18482 HAS SOUPS 15715 WITH SCORE 15760.713
AT ITER 1018 NEW BEST:: SOT 62480 SOS 45710 HAS SOPS 26293 HAS SOUS 18479 HAS SOUPS 15712 WITH SCORE 15757.71
AT ITER 1021 NEW BEST:: SOT 62494 SOS 45724 HAS SOPS 26293 HAS SOUS 18463 HAS SOUPS 15696 WITH SCORE 15741.724
AT ITER 1025 NEW BEST:: SOT 62469 SOS 45685 HAS SOPS 26260 HAS SOUS 18388 HAS SOUPS 15621 WITH SCORE 15666.685
AT ITER 1032 NEW BEST:: SOT 62439 SOS 45655 HAS SOPS 26220 HAS SOUS 18383 HAS SOUPS 15616 WITH SCORE 15661.655
AT ITER 1034 NEW BEST:: SOT 62247 SOS 45496 HAS SOPS 26047 HAS SOUS 18309 HAS SOUPS 15542 WITH SCORE 15587.496
AT ITER 1059 NEW BEST:: SOT 62213 SOS 45462 HAS SOPS 25979 HAS SOUS 18250 HAS SOUPS 15483 WITH SCORE 15528.462
AT ITER 1062 NEW BEST:: SOT 62213 SOS 45462 HAS SOPS 25979 HAS SOUS 18245 HAS SOUPS 15478 WITH SCORE 15523.462
AT ITER 1085 NEW BEST:: SOT 62207 SOS 45456 HAS SOPS 25971 HAS SOUS 18239 HAS SOUPS 15472 WITH SCORE 15517.456
AT ITER 1101 NEW BEST:: SOT 62207 SOS 45437 HAS SOPS 25982 HAS SOUS 18239 HAS SOUPS 15472 WITH SCORE 15517.437
AT ITER 1102 NEW BEST:: SOT 62201 SOS 45431 HAS SOPS 25970 HAS SOUS 18230 HAS SOUPS 15463 WITH SCORE 15508.431
AT ITER 1104 NEW BEST:: SOT 62185 SOS 45415 HAS SOPS 25946 HAS SOUS 18219 HAS SOUPS 15452 WITH SCORE 15497.415
AT ITER 1106 NEW BEST:: SOT 62145 SOS 45375 HAS SOPS 25906 HAS SOUS 18149 HAS SOUPS 15382 WITH SCORE 15427.375
AT ITER 1129 NEW BEST:: SOT 62135 SOS 45365 HAS SOPS 25886 HAS SOUS 18133 HAS SOUPS 15356 WITH SCORE 15401.365
AT ITER 1145 NEW BEST:: SOT 62079 SOS 45309 HAS SOPS 25802 HAS SOUS 18049 HAS SOUPS 15272 WITH SCORE 15317.309
AT ITER 1151 NEW BEST:: SOT 62079 SOS 45309 HAS SOPS 25802 HAS SOUS 18048 HAS SOUPS 15271 WITH SCORE 15316.309
AT ITER 1157 NEW BEST:: SOT 62095 SOS 45325 HAS SOPS 25637 HAS SOUS 17958 HAS SOUPS 15181 WITH SCORE 15226.325
AT ITER 1170 NEW BEST:: SOT 62077 SOS 45307 HAS SOPS 25610 HAS SOUS 17931 HAS SOUPS 15154 WITH SCORE 15199.307
AT ITER 1174 NEW BEST:: SOT 61986 SOS 45216 HAS SOPS 25488 HAS SOUS 17743 HAS SOUPS 14966 WITH SCORE 15011.216
AT ITER 1193 NEW BEST:: SOT 61985 SOS 45215 HAS SOPS 25624 HAS SOUS 17735 HAS SOUPS 14958 WITH SCORE 15003.215
AT ITER 1215 NEW BEST:: SOT 61965 SOS 45151 HAS SOPS 25604 HAS SOUS 17689 HAS SOUPS 14956 WITH SCORE 15001.151
AT ITER 1221 NEW BEST:: SOT 61965 SOS 45151 HAS SOPS 25514 HAS SOUS 17670 HAS SOUPS 14937 WITH SCORE 14982.151
AT ITER 1223 NEW BEST:: SOT 61900 SOS 45086 HAS SOPS 25449 HAS SOUS 17588 HAS SOUPS 14855 WITH SCORE 14900.086
AT ITER 1232 NEW BEST:: SOT 61903 SOS 44956 HAS SOPS 25350 HAS SOUS 17551 HAS SOUPS 14849 WITH SCORE 14893.956
AT ITER 1235 NEW BEST:: SOT 61887 SOS 44940 HAS SOPS 25326 HAS SOUS 17527 HAS SOUPS 14825 WITH SCORE 14869.94
AT ITER 1243 NEW BEST:: SOT 61861 SOS 44914 HAS SOPS 25287 HAS SOUS 17458 HAS SOUPS 14756 WITH SCORE 14800.914
AT ITER 1244 NEW BEST:: SOT 61823 SOS 44876 HAS SOPS 25234 HAS SOUS 17405 HAS SOUPS 14703 WITH SCORE 14747.876
AT ITER 1248 NEW BEST:: SOT 61839 SOS 44892 HAS SOPS 25194 HAS SOUS 17365 HAS SOUPS 14663 WITH SCORE 14707.892
AT ITER 1253 NEW BEST:: SOT 61717 SOS 44744 HAS SOPS 24982 HAS SOUS 17178 HAS SOUPS 14476 WITH SCORE 14520.744
AT ITER 1254 NEW BEST:: SOT 61695 SOS 44722 HAS SOPS 24925 HAS SOUS 17132 HAS SOUPS 14430 WITH SCORE 14474.722
AT ITER 1256 NEW BEST:: SOT 61688 SOS 44725 HAS SOPS 24962 HAS SOUS 17125 HAS SOUPS 14423 WITH SCORE 14467.725
AT ITER 1286 NEW BEST:: SOT 61674 SOS 44711 HAS SOPS 24934 HAS SOUS 17111 HAS SOUPS 14409 WITH SCORE 14453.711
AT ITER 1291 NEW BEST:: SOT 61656 SOS 44693 HAS SOPS 24898 HAS SOUS 17074 HAS SOUPS 14372 WITH SCORE 14416.693
AT ITER 1298 NEW BEST:: SOT 61630 SOS 44855 HAS SOPS 24959 HAS SOUS 17073 HAS SOUPS 14367 WITH SCORE 14411.855
AT ITER 1302 NEW BEST:: SOT 61569 SOS 44805 HAS SOPS 24857 HAS SOUS 16953 HAS SOUPS 14247 WITH SCORE 14291.805
AT ITER 1312 NEW BEST:: SOT 61543 SOS 44779 HAS SOPS 24818 HAS SOUS 16914 HAS SOUPS 14208 WITH SCORE 14252.779
AT ITER 1322 NEW BEST:: SOT 61513 SOS 44749 HAS SOPS 24773 HAS SOUS 16858 HAS SOUPS 14152 WITH SCORE 14196.749
AT ITER 1326 NEW BEST:: SOT 61497 SOS 44733 HAS SOPS 24749 HAS SOUS 16827 HAS SOUPS 14121 WITH SCORE 14165.733
AT ITER 1330 NEW BEST:: SOT 61495 SOS 44731 HAS SOPS 24772 HAS SOUS 16824 HAS SOUPS 14118 WITH SCORE 14162.731
AT ITER 1339 NEW BEST:: SOT 61467 SOS 44703 HAS SOPS 24716 HAS SOUS 16782 HAS SOUPS 14076 WITH SCORE 14120.703
AT ITER 1379 NEW BEST:: SOT 61401 SOS 44637 HAS SOPS 24768 HAS SOUS 16780 HAS SOUPS 14074 WITH SCORE 14118.637
AT ITER 1387 NEW BEST:: SOT 61365 SOS 44601 HAS SOPS 24714 HAS SOUS 16707 HAS SOUPS 14001 WITH SCORE 14045.601
AT ITER 1411 NEW BEST:: SOT 61379 SOS 44615 HAS SOPS 24697 HAS SOUS 16683 HAS SOUPS 13977 WITH SCORE 14021.615
AT ITER 1417 NEW BEST:: SOT 61409 SOS 44594 HAS SOPS 24616 HAS SOUS 16689 HAS SOUPS 13923 WITH SCORE 13967.594
AT ITER 1421 NEW BEST:: SOT 61203 SOS 46404 HAS SOPS 25433 HAS SOUS 16708 HAS SOUPS 13904 WITH SCORE 13950.404
AT ITER 1427 NEW BEST:: SOT 61123 SOS 47131 HAS SOPS 25668 HAS SOUS 16696 HAS SOUPS 13875 WITH SCORE 13922.131
AT ITER 1449 NEW BEST:: SOT 61079 SOS 47087 HAS SOPS 25686 HAS SOUS 16686 HAS SOUPS 13865 WITH SCORE 13912.087
AT ITER 1472 NEW BEST:: SOT 61079 SOS 47087 HAS SOPS 25686 HAS SOUS 16676 HAS SOUPS 13855 WITH SCORE 13902.087
AT ITER 1476 NEW BEST:: SOT 61189 SOS 47197 HAS SOPS 25796 HAS SOUS 16664 HAS SOUPS 13843 WITH SCORE 13890.197
AT ITER 1493 NEW BEST:: SOT 61132 SOS 47140 HAS SOPS 25739 HAS SOUS 16632 HAS SOUPS 13811 WITH SCORE 13858.14
AT ITER 1495 NEW BEST:: SOT 61050 SOS 47058 HAS SOPS 25809 HAS SOUS 16619 HAS SOUPS 13798 WITH SCORE 13845.058
AT ITER 1521 NEW BEST:: SOT 61022 SOS 47030 HAS SOPS 25795 HAS SOUS 16598 HAS SOUPS 13777 WITH SCORE 13824.03
AT ITER 1530 NEW BEST:: SOT 61025 SOS 46974 HAS SOPS 25783 HAS SOUS 16549 HAS SOUPS 13772 WITH SCORE 13818.974
AT ITER 1536 NEW BEST:: SOT 60961 SOS 46910 HAS SOPS 25687 HAS SOUS 16473 HAS SOUPS 13696 WITH SCORE 13742.91
AT ITER 1546 NEW BEST:: SOT 60951 SOS 46900 HAS SOPS 25672 HAS SOUS 16452 HAS SOUPS 13675 WITH SCORE 13721.9
AT ITER 1568 NEW BEST:: SOT 60989 SOS 46938 HAS SOPS 25666 HAS SOUS 16446 HAS SOUPS 13669 WITH SCORE 13715.938
AT ITER 1585 NEW BEST:: SOT 60989 SOS 46938 HAS SOPS 25650 HAS SOUS 16438 HAS SOUPS 13661 WITH SCORE 13707.938
AT ITER 1601 NEW BEST:: SOT 60989 SOS 46933 HAS SOPS 25650 HAS SOUS 16438 HAS SOUPS 13661 WITH SCORE 13707.933
AT ITER 1609 NEW BEST:: SOT 60989 SOS 46933 HAS SOPS 25650 HAS SOUS 16416 HAS SOUPS 13639 WITH SCORE 13685.933
AT ITER 1613 NEW BEST:: SOT 60977 SOS 46921 HAS SOPS 25623 HAS SOUS 16398 HAS SOUPS 13621 WITH SCORE 13667.921
AT ITER 1621 NEW BEST:: SOT 60998 SOS 46942 HAS SOPS 25560 HAS SOUS 16364 HAS SOUPS 13587 WITH SCORE 13633.942
AT ITER 1660 NEW BEST:: SOT 60823 SOS 46767 HAS SOPS 25569 HAS SOUS 16350 HAS SOUPS 13573 WITH SCORE 13619.767
AT ITER 1692 NEW BEST:: SOT 60867 SOS 46811 HAS SOPS 25569 HAS SOUS 16346 HAS SOUPS 13569 WITH SCORE 13615.811
AT ITER 1694 NEW BEST:: SOT 60819 SOS 46763 HAS SOPS 25539 HAS SOUS 16316 HAS SOUPS 13539 WITH SCORE 13585.763
AT ITER 1702 NEW BEST:: SOT 60728 SOS 46672 HAS SOPS 25342 HAS SOUS 16159 HAS SOUPS 13382 WITH SCORE 13428.672
AT ITER 1703 NEW BEST:: SOT 60683 SOS 46627 HAS SOPS 25282 HAS SOUS 16127 HAS SOUPS 13350 WITH SCORE 13396.627
AT ITER 1705 NEW BEST:: SOT 60683 SOS 46627 HAS SOPS 25282 HAS SOUS 16103 HAS SOUPS 13326 WITH SCORE 13372.627
AT ITER 1712 NEW BEST:: SOT 60683 SOS 46627 HAS SOPS 25282 HAS SOUS 16101 HAS SOUPS 13324 WITH SCORE 13370.627
AT ITER 1750 NEW BEST:: SOT 60651 SOS 46595 HAS SOPS 25234 HAS SOUS 16091 HAS SOUPS 13314 WITH SCORE 13360.595
AT ITER 1801 NEW BEST:: SOT 60539 SOS 46483 HAS SOPS 25161 HAS SOUS 15997 HAS SOUPS 13220 WITH SCORE 13266.483
AT ITER 1805 NEW BEST:: SOT 60527 SOS 46471 HAS SOPS 25143 HAS SOUS 15987 HAS SOUPS 13210 WITH SCORE 13256.471
AT ITER 1826 NEW BEST:: SOT 60535 SOS 46479 HAS SOPS 25159 HAS SOUS 15967 HAS SOUPS 13190 WITH SCORE 13236.479
AT ITER 1847 NEW BEST:: SOT 60495 SOS 46447 HAS SOPS 25127 HAS SOUS 15927 HAS SOUPS 13150 WITH SCORE 13196.447
AT ITER 1862 NEW BEST:: SOT 60513 SOS 46413 HAS SOPS 24839 HAS SOUS 15691 HAS SOUPS 12914 WITH SCORE 12960.413
AT ITER 1869 NEW BEST:: SOT 60444 SOS 46344 HAS SOPS 24770 HAS SOUS 15643 HAS SOUPS 12866 WITH SCORE 12912.344
AT ITER 1874 NEW BEST:: SOT 60442 SOS 46342 HAS SOPS 24770 HAS SOUS 15643 HAS SOUPS 12866 WITH SCORE 12912.342
AT ITER 1880 NEW BEST:: SOT 60442 SOS 46335 HAS SOPS 24770 HAS SOUS 15643 HAS SOUPS 12866 WITH SCORE 12912.335
AT ITER 1901 NEW BEST:: SOT 60440 SOS 46333 HAS SOPS 24774 HAS SOUS 15642 HAS SOUPS 12865 WITH SCORE 12911.333
AT ITER 1914 NEW BEST:: SOT 60191 SOS 46138 HAS SOPS 24579 HAS SOUS 15570 HAS SOUPS 12793 WITH SCORE 12839.138
AT ITER 1948 NEW BEST:: SOT 60190 SOS 46137 HAS SOPS 24577 HAS SOUS 15569 HAS SOUPS 12792 WITH SCORE 12838.137
AT ITER 1957 NEW BEST:: SOT 60173 SOS 46135 HAS SOPS 24560 HAS SOUS 15552 HAS SOUPS 12760 WITH SCORE 12806.135
AT ITER 1975 NEW BEST:: SOT 60179 SOS 46141 HAS SOPS 24430 HAS SOUS 15491 HAS SOUPS 12699 WITH SCORE 12745.141
AT ITER 1977 NEW BEST:: SOT 60186 SOS 46199 HAS SOPS 24472 HAS SOUS 15501 HAS SOUPS 12693 WITH SCORE 12739.199
AT ITER 1978 NEW BEST:: SOT 60108 SOS 46121 HAS SOPS 24355 HAS SOUS 15384 HAS SOUPS 12576 WITH SCORE 12622.121
AT ITER 1995 NEW BEST:: SOT 60106 SOS 46089 HAS SOPS 24321 HAS SOUS 15375 HAS SOUPS 12567 WITH SCORE 12613.089
AT ITER 2002 NEW BEST:: SOT 60106 SOS 46089 HAS SOPS 24321 HAS SOUS 15362 HAS SOUPS 12554 WITH SCORE 12600.089
AT ITER 2007 NEW BEST:: SOT 60085 SOS 46066 HAS SOPS 24258 HAS SOUS 15341 HAS SOUPS 12533 WITH SCORE 12579.066
AT ITER 2020 NEW BEST:: SOT 59987 SOS 45996 HAS SOPS 24258 HAS SOUS 15313 HAS SOUPS 12505 WITH SCORE 12550.996
AT ITER 2028 NEW BEST:: SOT 59971 SOS 45980 HAS SOPS 24234 HAS SOUS 15276 HAS SOUPS 12468 WITH SCORE 12513.98
AT ITER 2029 NEW BEST:: SOT 59939 SOS 45948 HAS SOPS 24186 HAS SOUS 15228 HAS SOUPS 12420 WITH SCORE 12465.948
AT ITER 2032 NEW BEST:: SOT 59939 SOS 45948 HAS SOPS 24186 HAS SOUS 15189 HAS SOUPS 12381 WITH SCORE 12426.948
AT ITER 2050 NEW BEST:: SOT 59913 SOS 45924 HAS SOPS 24152 HAS SOUS 15157 HAS SOUPS 12349 WITH SCORE 12394.924
AT ITER 2063 NEW BEST:: SOT 59900 SOS 45911 HAS SOPS 24139 HAS SOUS 15131 HAS SOUPS 12323 WITH SCORE 12368.911
AT ITER 2080 NEW BEST:: SOT 59895 SOS 45906 HAS SOPS 24134 HAS SOUS 15121 HAS SOUPS 12313 WITH SCORE 12358.906
AT ITER 2090 NEW BEST:: SOT 59902 SOS 45907 HAS SOPS 24147 HAS SOUS 15117 HAS SOUPS 12309 WITH SCORE 12354.907
AT ITER 2094 NEW BEST:: SOT 59890 SOS 45895 HAS SOPS 24129 HAS SOUS 15088 HAS SOUPS 12280 WITH SCORE 12325.895
AT ITER 2096 NEW BEST:: SOT 59890 SOS 45895 HAS SOPS 24129 HAS SOUS 15032 HAS SOUPS 12224 WITH SCORE 12269.895
AT ITER 2107 NEW BEST:: SOT 59888 SOS 45893 HAS SOPS 24126 HAS SOUS 15027 HAS SOUPS 12219 WITH SCORE 12264.893
AT ITER 2114 NEW BEST:: SOT 59887 SOS 45893 HAS SOPS 24125 HAS SOUS 15027 HAS SOUPS 12218 WITH SCORE 12263.893
AT ITER 2120 NEW BEST:: SOT 59879 SOS 45877 HAS SOPS 24109 HAS SOUS 15019 HAS SOUPS 12210 WITH SCORE 12255.877
AT ITER 2125 NEW BEST:: SOT 59879 SOS 45877 HAS SOPS 24109 HAS SOUS 14998 HAS SOUPS 12189 WITH SCORE 12234.877
AT ITER 2127 NEW BEST:: SOT 59859 SOS 45857 HAS SOPS 24079 HAS SOUS 14978 HAS SOUPS 12169 WITH SCORE 12214.857
AT ITER 2149 NEW BEST:: SOT 59859 SOS 45857 HAS SOPS 24079 HAS SOUS 14975 HAS SOUPS 12166 WITH SCORE 12211.857
AT ITER 2154 NEW BEST:: SOT 59821 SOS 45819 HAS SOPS 24139 HAS SOUS 14949 HAS SOUPS 12140 WITH SCORE 12185.819
AT ITER 2155 NEW BEST:: SOT 59799 SOS 45797 HAS SOPS 24106 HAS SOUS 14912 HAS SOUPS 12103 WITH SCORE 12148.797
AT ITER 2158 NEW BEST:: SOT 59799 SOS 45803 HAS SOPS 24088 HAS SOUS 14906 HAS SOUPS 12091 WITH SCORE 12136.803
AT ITER 2164 NEW BEST:: SOT 59715 SOS 46599 HAS SOPS 24436 HAS SOUS 14920 HAS SOUPS 12089 WITH SCORE 12135.599
AT ITER 2167 NEW BEST:: SOT 59727 SOS 46611 HAS SOPS 24365 HAS SOUS 14897 HAS SOUPS 12066 WITH SCORE 12112.611
AT ITER 2178 NEW BEST:: SOT 59725 SOS 46609 HAS SOPS 24361 HAS SOUS 14887 HAS SOUPS 12056 WITH SCORE 12102.609
AT ITER 2191 NEW BEST:: SOT 59624 SOS 46513 HAS SOPS 24260 HAS SOUS 14844 HAS SOUPS 12008 WITH SCORE 12054.513
AT ITER 2197 NEW BEST:: SOT 59596 SOS 46485 HAS SOPS 24089 HAS SOUS 14794 HAS SOUPS 11958 WITH SCORE 12004.485
AT ITER 2203 NEW BEST:: SOT 59574 SOS 46463 HAS SOPS 24029 HAS SOUS 14745 HAS SOUPS 11909 WITH SCORE 11955.463
AT ITER 2241 NEW BEST:: SOT 59574 SOS 46463 HAS SOPS 24029 HAS SOUS 14742 HAS SOUPS 11906 WITH SCORE 11952.463
AT ITER 2242 NEW BEST:: SOT 59556 SOS 46445 HAS SOPS 24042 HAS SOUS 14739 HAS SOUPS 11903 WITH SCORE 11949.445
AT ITER 2248 NEW BEST:: SOT 59554 SOS 46443 HAS SOPS 24038 HAS SOUS 14737 HAS SOUPS 11901 WITH SCORE 11947.443
AT ITER 2250 NEW BEST:: SOT 59530 SOS 46419 HAS SOPS 24020 HAS SOUS 14719 HAS SOUPS 11883 WITH SCORE 11929.419
AT ITER 2260 NEW BEST:: SOT 59520 SOS 46409 HAS SOPS 24010 HAS SOUS 14715 HAS SOUPS 11879 WITH SCORE 11925.409
AT ITER 2261 NEW BEST:: SOT 59520 SOS 46410 HAS SOPS 24012 HAS SOUS 14713 HAS SOUPS 11878 WITH SCORE 11924.41
AT ITER 2262 NEW BEST:: SOT 59520 SOS 46410 HAS SOPS 24012 HAS SOUS 14689 HAS SOUPS 11854 WITH SCORE 11900.41
AT ITER 2267 NEW BEST:: SOT 59493 SOS 46383 HAS SOPS 23985 HAS SOUS 14645 HAS SOUPS 11810 WITH SCORE 11856.383
AT ITER 2270 NEW BEST:: SOT 59446 SOS 46503 HAS SOPS 23984 HAS SOUS 14682 HAS SOUPS 11756 WITH SCORE 11802.503
AT ITER 2307 NEW BEST:: SOT 59440 SOS 46497 HAS SOPS 23975 HAS SOUS 14620 HAS SOUPS 11694 WITH SCORE 11740.497
AT ITER 2314 NEW BEST:: SOT 59436 SOS 46493 HAS SOPS 23969 HAS SOUS 14615 HAS SOUPS 11689 WITH SCORE 11735.493
AT ITER 2325 NEW BEST:: SOT 59446 SOS 46503 HAS SOPS 23963 HAS SOUS 14609 HAS SOUPS 11683 WITH SCORE 11729.503
AT ITER 2327 NEW BEST:: SOT 59400 SOS 46457 HAS SOPS 23930 HAS SOUS 14493 HAS SOUPS 11567 WITH SCORE 11613.457
AT ITER 2333 NEW BEST:: SOT 59400 SOS 46460 HAS SOPS 23930 HAS SOUS 14493 HAS SOUPS 11564 WITH SCORE 11610.46
AT ITER 2337 NEW BEST:: SOT 59398 SOS 46458 HAS SOPS 23927 HAS SOUS 14490 HAS SOUPS 11561 WITH SCORE 11607.458
AT ITER 2355 NEW BEST:: SOT 59281 SOS 47052 HAS SOPS 24039 HAS SOUS 14459 HAS SOUPS 11514 WITH SCORE 11561.052
AT ITER 2366 NEW BEST:: SOT 59271 SOS 47042 HAS SOPS 24024 HAS SOUS 14440 HAS SOUPS 11495 WITH SCORE 11542.042
AT ITER 2368 NEW BEST:: SOT 59271 SOS 47042 HAS SOPS 24024 HAS SOUS 14418 HAS SOUPS 11473 WITH SCORE 11520.042
AT ITER 2369 NEW BEST:: SOT 59245 SOS 47016 HAS SOPS 24003 HAS SOUS 14393 HAS SOUPS 11448 WITH SCORE 11495.016
AT ITER 2370 NEW BEST:: SOT 59245 SOS 47016 HAS SOPS 24003 HAS SOUS 14390 HAS SOUPS 11445 WITH SCORE 11492.016
AT ITER 2386 NEW BEST:: SOT 59229 SOS 47000 HAS SOPS 23979 HAS SOUS 14373 HAS SOUPS 11428 WITH SCORE 11475.0
AT ITER 2396 NEW BEST:: SOT 59229 SOS 47000 HAS SOPS 23979 HAS SOUS 14371 HAS SOUPS 11426 WITH SCORE 11473.0
AT ITER 2398 NEW BEST:: SOT 59225 SOS 46996 HAS SOPS 23973 HAS SOUS 14365 HAS SOUPS 11420 WITH SCORE 11466.996
AT ITER 2436 NEW BEST:: SOT 59221 SOS 46992 HAS SOPS 23967 HAS SOUS 14361 HAS SOUPS 11416 WITH SCORE 11462.992
AT ITER 2447 NEW BEST:: SOT 59219 SOS 46990 HAS SOPS 23964 HAS SOUS 14358 HAS SOUPS 11413 WITH SCORE 11459.99
AT ITER 2463 NEW BEST:: SOT 59203 SOS 46974 HAS SOPS 23940 HAS SOUS 14334 HAS SOUPS 11389 WITH SCORE 11435.974
AT ITER 2471 NEW BEST:: SOT 59212 SOS 46983 HAS SOPS 23949 HAS SOUS 14321 HAS SOUPS 11376 WITH SCORE 11422.983
AT ITER 2487 NEW BEST:: SOT 59219 SOS 46993 HAS SOPS 23935 HAS SOUS 14331 HAS SOUPS 11362 WITH SCORE 11408.993
AT ITER 2532 NEW BEST:: SOT 59217 SOS 46991 HAS SOPS 23931 HAS SOUS 14326 HAS SOUPS 11357 WITH SCORE 11403.991
AT ITER 2572 NEW BEST:: SOT 59238 SOS 46942 HAS SOPS 23707 HAS SOUS 14277 HAS SOUPS 11308 WITH SCORE 11354.942
AT ITER 2601 NEW BEST:: SOT 59222 SOS 46926 HAS SOPS 23669 HAS SOUS 14267 HAS SOUPS 11298 WITH SCORE 11344.926
AT ITER 2622 NEW BEST:: SOT 59276 SOS 46980 HAS SOPS 23669 HAS SOUS 14265 HAS SOUPS 11296 WITH SCORE 11342.98
AT ITER 2634 NEW BEST:: SOT 59250 SOS 46954 HAS SOPS 23630 HAS SOUS 14220 HAS SOUPS 11251 WITH SCORE 11297.954
AT ITER 2639 NEW BEST:: SOT 59258 SOS 46962 HAS SOPS 23620 HAS SOUS 14219 HAS SOUPS 11250 WITH SCORE 11296.962
AT ITER 2640 NEW BEST:: SOT 59224 SOS 46928 HAS SOPS 23569 HAS SOUS 14168 HAS SOUPS 11199 WITH SCORE 11245.928
AT ITER 2641 NEW BEST:: SOT 59223 SOS 46927 HAS SOPS 23561 HAS SOUS 14167 HAS SOUPS 11191 WITH SCORE 11237.927
AT ITER 2650 NEW BEST:: SOT 59195 SOS 46899 HAS SOPS 23540 HAS SOUS 14139 HAS SOUPS 11163 WITH SCORE 11209.899
AT ITER 2652 NEW BEST:: SOT 59194 SOS 46894 HAS SOPS 23536 HAS SOUS 14138 HAS SOUPS 11162 WITH SCORE 11208.894
AT ITER 2666 NEW BEST:: SOT 59194 SOS 46894 HAS SOPS 23536 HAS SOUS 14101 HAS SOUPS 11125 WITH SCORE 11171.894
AT ITER 2668 NEW BEST:: SOT 59170 SOS 46870 HAS SOPS 23500 HAS SOUS 14071 HAS SOUPS 11095 WITH SCORE 11141.87
AT ITER 2672 NEW BEST:: SOT 59140 SOS 46840 HAS SOPS 23455 HAS SOUS 14023 HAS SOUPS 11047 WITH SCORE 11093.84
AT ITER 2683 NEW BEST:: SOT 59129 SOS 46829 HAS SOPS 23444 HAS SOUS 14012 HAS SOUPS 11036 WITH SCORE 11082.829
AT ITER 2692 NEW BEST:: SOT 59114 SOS 46830 HAS SOPS 23428 HAS SOUS 14001 HAS SOUPS 11025 WITH SCORE 11071.83
AT ITER 2754 NEW BEST:: SOT 59105 SOS 46821 HAS SOPS 23413 HAS SOUS 13992 HAS SOUPS 11016 WITH SCORE 11062.821
AT ITER 2785 NEW BEST:: SOT 59106 SOS 46822 HAS SOPS 23411 HAS SOUS 13991 HAS SOUPS 11015 WITH SCORE 11061.822
AT ITER 2786 NEW BEST:: SOT 59108 SOS 46824 HAS SOPS 23415 HAS SOUS 13986 HAS SOUPS 11010 WITH SCORE 11056.824
AT ITER 2798 NEW BEST:: SOT 59086 SOS 46802 HAS SOPS 23382 HAS SOUS 13956 HAS SOUPS 10980 WITH SCORE 11026.802
AT ITER 2815 NEW BEST:: SOT 59043 SOS 46758 HAS SOPS 23370 HAS SOUS 13944 HAS SOUPS 10968 WITH SCORE 11014.758
AT ITER 2823 NEW BEST:: SOT 59043 SOS 46758 HAS SOPS 23364 HAS SOUS 13944 HAS SOUPS 10962 WITH SCORE 11008.758
AT ITER 2859 NEW BEST:: SOT 59027 SOS 46742 HAS SOPS 23322 HAS SOUS 13925 HAS SOUPS 10943 WITH SCORE 10989.742
AT ITER 2886 NEW BEST:: SOT 58995 SOS 46710 HAS SOPS 23275 HAS SOUS 13911 HAS SOUPS 10929 WITH SCORE 10975.71
AT ITER 2893 NEW BEST:: SOT 58995 SOS 46710 HAS SOPS 23263 HAS SOUS 13899 HAS SOUPS 10917 WITH SCORE 10963.71
AT ITER 2909 NEW BEST:: SOT 58994 SOS 46694 HAS SOPS 23160 HAS SOUS 13811 HAS SOUPS 10829 WITH SCORE 10875.694
AT ITER 2911 NEW BEST:: SOT 58980 SOS 46680 HAS SOPS 23167 HAS SOUS 13811 HAS SOUPS 10829 WITH SCORE 10875.68
AT ITER 2930 NEW BEST:: SOT 58996 SOS 46696 HAS SOPS 23183 HAS SOUS 13804 HAS SOUPS 10822 WITH SCORE 10868.696
AT ITER 2940 NEW BEST:: SOT 58974 SOS 46674 HAS SOPS 23150 HAS SOUS 13759 HAS SOUPS 10777 WITH SCORE 10823.674
AT ITER 2963 NEW BEST:: SOT 58969 SOS 46664 HAS SOPS 23145 HAS SOUS 13740 HAS SOUPS 10763 WITH SCORE 10809.664
AT ITER 2965 NEW BEST:: SOT 58927 SOS 46622 HAS SOPS 23082 HAS SOUS 13659 HAS SOUPS 10682 WITH SCORE 10728.622
AT ITER 2981 NEW BEST:: SOT 58899 SOS 46594 HAS SOPS 22956 HAS SOUS 13612 HAS SOUPS 10635 WITH SCORE 10681.594
AT ITER 2983 NEW BEST:: SOT 58891 SOS 46570 HAS SOPS 22932 HAS SOUS 13600 HAS SOUPS 10623 WITH SCORE 10669.57
AT ITER 3096 NEW BEST:: SOT 58881 SOS 46560 HAS SOPS 22917 HAS SOUS 13585 HAS SOUPS 10608 WITH SCORE 10654.56
AT ITER 3107 NEW BEST:: SOT 58869 SOS 46548 HAS SOPS 22899 HAS SOUS 13573 HAS SOUPS 10596 WITH SCORE 10642.548
AT ITER 3111 NEW BEST:: SOT 58799 SOS 46478 HAS SOPS 22794 HAS SOUS 13453 HAS SOUPS 10476 WITH SCORE 10522.478
AT ITER 3116 NEW BEST:: SOT 58794 SOS 46466 HAS SOPS 22782 HAS SOUS 13437 HAS SOUPS 10460 WITH SCORE 10506.466
AT ITER 3126 NEW BEST:: SOT 58792 SOS 46464 HAS SOPS 22767 HAS SOUS 13425 HAS SOUPS 10448 WITH SCORE 10494.464
AT ITER 3174 NEW BEST:: SOT 58752 SOS 46424 HAS SOPS 22767 HAS SOUS 13385 HAS SOUPS 10408 WITH SCORE 10454.424
AT ITER 3187 NEW BEST:: SOT 58776 SOS 46124 HAS SOPS 22629 HAS SOUS 13373 HAS SOUPS 10402 WITH SCORE 10448.124
AT ITER 3200 NEW BEST:: SOT 58753 SOS 46101 HAS SOPS 22612 HAS SOUS 13317 HAS SOUPS 10346 WITH SCORE 10392.101
AT ITER 3224 NEW BEST:: SOT 58747 SOS 46155 HAS SOPS 22648 HAS SOUS 13332 HAS SOUPS 10343 WITH SCORE 10389.155
AT ITER 3228 NEW BEST:: SOT 58741 SOS 46149 HAS SOPS 22639 HAS SOUS 13323 HAS SOUPS 10334 WITH SCORE 10380.149
AT ITER 3230 NEW BEST:: SOT 58759 SOS 46167 HAS SOPS 22571 HAS SOUS 13312 HAS SOUPS 10323 WITH SCORE 10369.167
AT ITER 3232 NEW BEST:: SOT 58747 SOS 46155 HAS SOPS 22553 HAS SOUS 13294 HAS SOUPS 10305 WITH SCORE 10351.155
AT ITER 3250 NEW BEST:: SOT 58747 SOS 46155 HAS SOPS 22547 HAS SOUS 13292 HAS SOUPS 10303 WITH SCORE 10349.155
AT ITER 3256 NEW BEST:: SOT 58743 SOS 46151 HAS SOPS 22539 HAS SOUS 13286 HAS SOUPS 10297 WITH SCORE 10343.151
AT ITER 3276 NEW BEST:: SOT 58739 SOS 46147 HAS SOPS 22536 HAS SOUS 13283 HAS SOUPS 10294 WITH SCORE 10340.147
AT ITER 3306 NEW BEST:: SOT 58745 SOS 46153 HAS SOPS 22509 HAS SOUS 13265 HAS SOUPS 10276 WITH SCORE 10322.153
AT ITER 3337 NEW BEST:: SOT 58735 SOS 46143 HAS SOPS 22514 HAS SOUS 13260 HAS SOUPS 10271 WITH SCORE 10317.143
AT ITER 3358 NEW BEST:: SOT 58685 SOS 46093 HAS SOPS 22433 HAS SOUS 13142 HAS SOUPS 10153 WITH SCORE 10199.093
AT ITER 3361 NEW BEST:: SOT 58672 SOS 46080 HAS SOPS 22420 HAS SOUS 13122 HAS SOUPS 10133 WITH SCORE 10179.08
AT ITER 3372 NEW BEST:: SOT 58646 SOS 46054 HAS SOPS 22381 HAS SOUS 13108 HAS SOUPS 10119 WITH SCORE 10165.054
AT ITER 3379 NEW BEST:: SOT 58637 SOS 46045 HAS SOPS 22372 HAS SOUS 13099 HAS SOUPS 10110 WITH SCORE 10156.045
AT ITER 3410 NEW BEST:: SOT 58610 SOS 46160 HAS SOPS 22318 HAS SOUS 13151 HAS SOUPS 10083 WITH SCORE 10129.16
AT ITER 3433 NEW BEST:: SOT 58576 SOS 46416 HAS SOPS 22398 HAS SOUS 13149 HAS SOUPS 10075 WITH SCORE 10121.416
AT ITER 3436 NEW BEST:: SOT 58576 SOS 46416 HAS SOPS 22398 HAS SOUS 13145 HAS SOUPS 10071 WITH SCORE 10117.416
AT ITER 3463 NEW BEST:: SOT 58580 SOS 46420 HAS SOPS 22392 HAS SOUS 13139 HAS SOUPS 10065 WITH SCORE 10111.42
AT ITER 3476 NEW BEST:: SOT 58567 SOS 46407 HAS SOPS 22383 HAS SOUS 13133 HAS SOUPS 10059 WITH SCORE 10105.407
AT ITER 3479 NEW BEST:: SOT 58521 SOS 46361 HAS SOPS 22291 HAS SOUS 13133 HAS SOUPS 10059 WITH SCORE 10105.361
AT ITER 3521 NEW BEST:: SOT 58497 SOS 46337 HAS SOPS 22255 HAS SOUS 13086 HAS SOUPS 10012 WITH SCORE 10058.337
AT ITER 3524 NEW BEST:: SOT 58488 SOS 46328 HAS SOPS 22282 HAS SOUS 13086 HAS SOUPS 10012 WITH SCORE 10058.328
AT ITER 3529 NEW BEST:: SOT 58504 SOS 45970 HAS SOPS 22132 HAS SOUS 13076 HAS SOUPS 10009 WITH SCORE 10054.97
AT ITER 3530 NEW BEST:: SOT 58472 SOS 45843 HAS SOPS 22046 HAS SOUS 12984 HAS SOUPS 9958 WITH SCORE 10003.843
AT ITER 3562 NEW BEST:: SOT 58474 SOS 45845 HAS SOPS 22049 HAS SOUS 12981 HAS SOUPS 9955 WITH SCORE 10000.845
AT ITER 3604 NEW BEST:: SOT 58472 SOS 45843 HAS SOPS 22045 HAS SOUS 12978 HAS SOUPS 9952 WITH SCORE 9997.843
AT ITER 3615 NEW BEST:: SOT 58495 SOS 45866 HAS SOPS 22068 HAS SOUS 12944 HAS SOUPS 9918 WITH SCORE 9963.866
AT ITER 3622 NEW BEST:: SOT 58476 SOS 45847 HAS SOPS 22046 HAS SOUS 12944 HAS SOUPS 9918 WITH SCORE 9963.847
AT ITER 3630 NEW BEST:: SOT 58474 SOS 45845 HAS SOPS 22038 HAS SOUS 12941 HAS SOUPS 9915 WITH SCORE 9960.845
AT ITER 3635 NEW BEST:: SOT 58447 SOS 45867 HAS SOPS 21997 HAS SOUS 12962 HAS SOUPS 9887 WITH SCORE 9932.867
AT ITER 3659 NEW BEST:: SOT 58439 SOS 45851 HAS SOPS 21965 HAS SOUS 12954 HAS SOUPS 9871 WITH SCORE 9916.851
AT ITER 3690 NEW BEST:: SOT 58437 SOS 45849 HAS SOPS 21962 HAS SOUS 12951 HAS SOUPS 9868 WITH SCORE 9913.849
AT ITER 3701 NEW BEST:: SOT 58437 SOS 45849 HAS SOPS 21938 HAS SOUS 12927 HAS SOUPS 9844 WITH SCORE 9889.849
AT ITER 3702 NEW BEST:: SOT 58431 SOS 45843 HAS SOPS 21930 HAS SOUS 12922 HAS SOUPS 9839 WITH SCORE 9884.843
AT ITER 3703 NEW BEST:: SOT 58397 SOS 45809 HAS SOPS 21848 HAS SOUS 12859 HAS SOUPS 9776 WITH SCORE 9821.809
AT ITER 3747 NEW BEST:: SOT 58395 SOS 45807 HAS SOPS 21845 HAS SOUS 12856 HAS SOUPS 9773 WITH SCORE 9818.807
AT ITER 3781 NEW BEST:: SOT 58394 SOS 45806 HAS SOPS 21844 HAS SOUS 12854 HAS SOUPS 9771 WITH SCORE 9816.806
AT ITER 3787 NEW BEST:: SOT 58416 SOS 45828 HAS SOPS 21804 HAS SOUS 12831 HAS SOUPS 9748 WITH SCORE 9793.828
AT ITER 3835 NEW BEST:: SOT 58416 SOS 45828 HAS SOPS 21804 HAS SOUS 12821 HAS SOUPS 9738 WITH SCORE 9783.828
AT ITER 3843 NEW BEST:: SOT 58402 SOS 45814 HAS SOPS 21783 HAS SOUS 12815 HAS SOUPS 9732 WITH SCORE 9777.814
AT ITER 3853 NEW BEST:: SOT 58402 SOS 45814 HAS SOPS 21783 HAS SOUS 12814 HAS SOUPS 9731 WITH SCORE 9776.814
AT ITER 3858 NEW BEST:: SOT 58381 SOS 45570 HAS SOPS 21693 HAS SOUS 12629 HAS SOUPS 9652 WITH SCORE 9697.57
AT ITER 3874 NEW BEST:: SOT 58377 SOS 45566 HAS SOPS 21695 HAS SOUS 12629 HAS SOUPS 9652 WITH SCORE 9697.566
AT ITER 3877 NEW BEST:: SOT 58304 SOS 45494 HAS SOPS 21576 HAS SOUS 12562 HAS SOUPS 9584 WITH SCORE 9629.494
AT ITER 3901 NEW BEST:: SOT 58306 SOS 45496 HAS SOPS 21540 HAS SOUS 12526 HAS SOUPS 9548 WITH SCORE 9593.496
AT ITER 3963 NEW BEST:: SOT 58306 SOS 45496 HAS SOPS 21540 HAS SOUS 12521 HAS SOUPS 9543 WITH SCORE 9588.496
AT ITER 3989 NEW BEST:: SOT 58306 SOS 45496 HAS SOPS 21540 HAS SOUS 12512 HAS SOUPS 9534 WITH SCORE 9579.496
AT ITER 4003 NEW BEST:: SOT 58314 SOS 45504 HAS SOPS 21552 HAS SOUS 12506 HAS SOUPS 9528 WITH SCORE 9573.504
AT ITER 4099 NEW BEST:: SOT 58310 SOS 45500 HAS SOPS 21544 HAS SOUS 12502 HAS SOUPS 9524 WITH SCORE 9569.5
AT ITER 4138 NEW BEST:: SOT 58286 SOS 45476 HAS SOPS 21528 HAS SOUS 12481 HAS SOUPS 9503 WITH SCORE 9548.476
AT ITER 4156 NEW BEST:: SOT 58266 SOS 45466 HAS SOPS 21498 HAS SOUS 12471 HAS SOUPS 9483 WITH SCORE 9528.466
AT ITER 4160 NEW BEST:: SOT 58284 SOS 45484 HAS SOPS 21425 HAS SOUS 12432 HAS SOUPS 9444 WITH SCORE 9489.484
AT ITER 4244 NEW BEST:: SOT 58224 SOS 45424 HAS SOPS 21329 HAS SOUS 12414 HAS SOUPS 9426 WITH SCORE 9471.424
AT ITER 4297 NEW BEST:: SOT 58222 SOS 45430 HAS SOPS 21331 HAS SOUS 12407 HAS SOUPS 9419 WITH SCORE 9464.43
AT ITER 4304 NEW BEST:: SOT 58198 SOS 45406 HAS SOPS 21295 HAS SOUS 12354 HAS SOUPS 9366 WITH SCORE 9411.406
AT ITER 4329 NEW BEST:: SOT 58176 SOS 45384 HAS SOPS 21262 HAS SOUS 12313 HAS SOUPS 9325 WITH SCORE 9370.384
AT ITER 4401 NEW BEST:: SOT 58160 SOS 45368 HAS SOPS 21238 HAS SOUS 12271 HAS SOUPS 9283 WITH SCORE 9328.368
AT ITER 4420 NEW BEST:: SOT 58158 SOS 45366 HAS SOPS 21235 HAS SOUS 12263 HAS SOUPS 9275 WITH SCORE 9320.366
AT ITER 4449 NEW BEST:: SOT 58158 SOS 45362 HAS SOPS 21228 HAS SOUS 12263 HAS SOUPS 9275 WITH SCORE 9320.362
AT ITER 4476 NEW BEST:: SOT 58286 SOS 45490 HAS SOPS 21104 HAS SOUS 12262 HAS SOUPS 9274 WITH SCORE 9319.49
AT ITER 4479 NEW BEST:: SOT 58276 SOS 45480 HAS SOPS 21089 HAS SOUS 12237 HAS SOUPS 9249 WITH SCORE 9294.48
AT ITER 4482 NEW BEST:: SOT 58160 SOS 46826 HAS SOPS 21649 HAS SOUS 12251 HAS SOUPS 9237 WITH SCORE 9283.826
AT ITER 4490 NEW BEST:: SOT 58146 SOS 46812 HAS SOPS 21653 HAS SOUS 12251 HAS SOUPS 9237 WITH SCORE 9283.812
AT ITER 4529 NEW BEST:: SOT 58134 SOS 46800 HAS SOPS 21653 HAS SOUS 12239 HAS SOUPS 9225 WITH SCORE 9271.8
AT ITER 4536 NEW BEST:: SOT 58116 SOS 46782 HAS SOPS 21626 HAS SOUS 12217 HAS SOUPS 9203 WITH SCORE 9249.782
AT ITER 4540 NEW BEST:: SOT 58116 SOS 46782 HAS SOPS 21626 HAS SOUS 12212 HAS SOUPS 9198 WITH SCORE 9244.782
AT ITER 4577 NEW BEST:: SOT 58106 SOS 46772 HAS SOPS 21611 HAS SOUS 12185 HAS SOUPS 9171 WITH SCORE 9217.772
AT ITER 4579 NEW BEST:: SOT 58128 SOS 46794 HAS SOPS 21588 HAS SOUS 12176 HAS SOUPS 9162 WITH SCORE 9208.794
AT ITER 4596 NEW BEST:: SOT 58122 SOS 46788 HAS SOPS 21572 HAS SOUS 12146 HAS SOUPS 9132 WITH SCORE 9178.788
AT ITER 4603 NEW BEST:: SOT 58120 SOS 46786 HAS SOPS 21564 HAS SOUS 12138 HAS SOUPS 9124 WITH SCORE 9170.786
AT ITER 4605 NEW BEST:: SOT 58118 SOS 46784 HAS SOPS 21560 HAS SOUS 12136 HAS SOUPS 9122 WITH SCORE 9168.784
AT ITER 4624 NEW BEST:: SOT 58102 SOS 46768 HAS SOPS 21551 HAS SOUS 12127 HAS SOUPS 9113 WITH SCORE 9159.768
AT ITER 4628 NEW BEST:: SOT 58076 SOS 46742 HAS SOPS 21499 HAS SOUS 12088 HAS SOUPS 9074 WITH SCORE 9120.742
AT ITER 4633 NEW BEST:: SOT 58050 SOS 46716 HAS SOPS 21491 HAS SOUS 12079 HAS SOUPS 9065 WITH SCORE 9111.716
AT ITER 4655 NEW BEST:: SOT 58043 SOS 46760 HAS SOPS 21507 HAS SOUS 12078 HAS SOUPS 9063 WITH SCORE 9109.76
AT ITER 4686 NEW BEST:: SOT 58038 SOS 46757 HAS SOPS 21508 HAS SOUS 12078 HAS SOUPS 9063 WITH SCORE 9109.757
AT ITER 4723 NEW BEST:: SOT 58034 SOS 46753 HAS SOPS 21505 HAS SOUS 12075 HAS SOUPS 9060 WITH SCORE 9106.753
AT ITER 4730 NEW BEST:: SOT 58034 SOS 46751 HAS SOPS 21505 HAS SOUS 12073 HAS SOUPS 9060 WITH SCORE 9106.751
AT ITER 4733 NEW BEST:: SOT 58036 SOS 46754 HAS SOPS 21495 HAS SOUS 12076 HAS SOUPS 9050 WITH SCORE 9096.754
AT ITER 4734 NEW BEST:: SOT 58032 SOS 46750 HAS SOPS 21472 HAS SOUS 12055 HAS SOUPS 9029 WITH SCORE 9075.75
AT ITER 4747 NEW BEST:: SOT 58032 SOS 46750 HAS SOPS 21472 HAS SOUS 12049 HAS SOUPS 9023 WITH SCORE 9069.75
AT ITER 4790 NEW BEST:: SOT 58032 SOS 46750 HAS SOPS 21472 HAS SOUS 12044 HAS SOUPS 9018 WITH SCORE 9064.75
AT ITER 4826 NEW BEST:: SOT 58011 SOS 46729 HAS SOPS 21443 HAS SOUS 12013 HAS SOUPS 8987 WITH SCORE 9033.729
AT ITER 4910 NEW BEST:: SOT 58009 SOS 46727 HAS SOPS 21548 HAS SOUS 11957 HAS SOUPS 8931 WITH SCORE 8977.727
AT ITER 4913 NEW BEST:: SOT 58043 SOS 46761 HAS SOPS 21443 HAS SOUS 11923 HAS SOUPS 8897 WITH SCORE 8943.761
AT ITER 4941 NEW BEST:: SOT 58043 SOS 46761 HAS SOPS 21443 HAS SOUS 11921 HAS SOUPS 8895 WITH SCORE 8941.761
AT ITER 4990 NEW BEST:: SOT 58041 SOS 46781 HAS SOPS 21508 HAS SOUS 11918 HAS SOUPS 8892 WITH SCORE 8938.781
AT ITER 4996 NEW BEST:: SOT 58029 SOS 46758 HAS SOPS 21484 HAS SOUS 11899 HAS SOUPS 8873 WITH SCORE 8919.758
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Raft-PT-07-CTLCardinality-00 (AG( ( (! potential( ( 2 ) <= (tk(P94)) )) | (! potential( ( 1 ) <= (tk(P241)) )) )))
PROPERTY: Raft-PT-07-CTLCardinality-01 (AF((EF(( potential( (tk(P170)) <= (tk(P92)) ) & potential( ( 2 ) <= (tk(P36)) ) )))))
PROPERTY: Raft-PT-07-CTLCardinality-02 (AG( (EX( (! potential( ( 3 ) <= (tk(P13)) ))))))
PROPERTY: Raft-PT-07-CTLCardinality-03 (EG( (! (EF(potential( ( 2 ) <= (tk(P216)) ))))))
PROPERTY: Raft-PT-07-CTLCardinality-04 (EF((EG( potential( ( 2 ) <= (tk(P178)) )))))
PROPERTY: Raft-PT-07-CTLCardinality-05 (EF(potential( ( 2 ) <= (tk(P24)) )))
PROPERTY: Raft-PT-07-CTLCardinality-06 (! (! (EF(potential( ( 3 ) <= (tk(P141)) )))))
PROPERTY: Raft-PT-07-CTLCardinality-07 (EF(( (EF(potential( ( 3 ) <= (tk(P104)) ))) & (AX( potential( ( 1 ) <= (tk(P94)) ))) )))
PROPERTY: Raft-PT-07-CTLCardinality-08 (EF((EX( ( potential( ( 3 ) <= (tk(P237)) ) & potential( ( 3 ) <= (tk(P38)) ) )))))
PROPERTY: Raft-PT-07-CTLCardinality-09 (EF((EX( potential( ( 2 ) <= (tk(P47)) )))))
PROPERTY: Raft-PT-07-CTLCardinality-10 ( (AG( ( (! potential( ( 2 ) <= (tk(P206)) )) | ( potential( (tk(P144)) <= (tk(P148)) ) & potential( ( 1 ) <= (tk(P88)) ) ) ))) & (EG( (EG( potential( (tk(P165)) <= (tk(P17)) ))))) )
PROPERTY: Raft-PT-07-CTLCardinality-11 (EF((! ( (! potential( ( 1 ) <= (tk(P227)) )) | potential( ( 2 ) <= (tk(P6)) ) ))))
PROPERTY: Raft-PT-07-CTLCardinality-12 ( (EF(( potential( ( 1 ) <= (tk(P93)) ) & ( potential( ( 3 ) <= (tk(P132)) ) & potential( (tk(P216)) <= (tk(P9)) ) ) ))) & potential( (tk(P50)) <= (tk(P41)) ) )
PROPERTY: Raft-PT-07-CTLCardinality-13 (EU( ( ( potential( (tk(P146)) <= (tk(P32)) ) | potential( (tk(P121)) <= (tk(P120)) ) ) | (! potential( (tk(P71)) <= (tk(P209)) )) ),( ( potential( ( 2 ) <= (tk(P64)) ) | potential( ( 2 ) <= (tk(P47)) ) ) & ( potential( ( 2 ) <= (tk(P52)) ) | potential( (tk(P134)) <= (tk(P25)) ) ) ) ))
PROPERTY: Raft-PT-07-CTLCardinality-14 (AG( (! ( potential( (tk(P185)) <= (tk(P207)) ) & (! potential( (tk(P200)) <= (tk(P181)) )) ))))
PROPERTY: Raft-PT-07-CTLCardinality-15 (EF(( ( (! potential( ( 1 ) <= (tk(P89)) )) | (! potential( (tk(P161)) <= (tk(P83)) )) ) & ( potential( ( 1 ) <= (tk(P6)) ) & ( potential( ( 2 ) <= (tk(P205)) ) & potential( (tk(P60)) <= (tk(P132)) ) ) ) )))

BK_STOP 1589802308495

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 381 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Raft-PT-07"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is Raft-PT-07, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502600259"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-07.tgz
mv Raft-PT-07 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;