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.r078-smll-158922972500387.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 FlexibleBarrier-PT-20a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972500387
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 3.5K Apr 4 19:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 4 19:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 4 08:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 4 08:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 3 21:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 3 21:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 3 13:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 3 13:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 321K Mar 24 05:37 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 FlexibleBarrier-PT-20a-CTLCardinality-00
FORMULA_NAME FlexibleBarrier-PT-20a-CTLCardinality-01
FORMULA_NAME FlexibleBarrier-PT-20a-CTLCardinality-02
FORMULA_NAME FlexibleBarrier-PT-20a-CTLCardinality-03
FORMULA_NAME FlexibleBarrier-PT-20a-CTLCardinality-04
FORMULA_NAME FlexibleBarrier-PT-20a-CTLCardinality-05
FORMULA_NAME FlexibleBarrier-PT-20a-CTLCardinality-06
FORMULA_NAME FlexibleBarrier-PT-20a-CTLCardinality-07
FORMULA_NAME FlexibleBarrier-PT-20a-CTLCardinality-08
FORMULA_NAME FlexibleBarrier-PT-20a-CTLCardinality-09
FORMULA_NAME FlexibleBarrier-PT-20a-CTLCardinality-10
FORMULA_NAME FlexibleBarrier-PT-20a-CTLCardinality-11
FORMULA_NAME FlexibleBarrier-PT-20a-CTLCardinality-12
FORMULA_NAME FlexibleBarrier-PT-20a-CTLCardinality-13
FORMULA_NAME FlexibleBarrier-PT-20a-CTLCardinality-14
FORMULA_NAME FlexibleBarrier-PT-20a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589446889785

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 20a
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: 243 places, 1064 transitions, 5317 arcs.
AT ITER 0 NEW BEST:: SOT 230369 SOS 200657 HAS SOPS 200657 HAS SOUS 111239 HAS SOUPS 111239 WITH SCORE 111439.657
AT ITER 2 NEW BEST:: SOT 230396 SOS 200474 HAS SOPS 200474 HAS SOUS 111179 HAS SOUPS 111179 WITH SCORE 111379.474
AT ITER 3 NEW BEST:: SOT 229760 SOS 199833 HAS SOPS 199833 HAS SOUS 110816 HAS SOUPS 110816 WITH SCORE 111015.833
AT ITER 5 NEW BEST:: SOT 229078 SOS 199151 HAS SOPS 199151 HAS SOUS 110395 HAS SOUPS 110395 WITH SCORE 110594.151
AT ITER 6 NEW BEST:: SOT 228706 SOS 198610 HAS SOPS 198610 HAS SOUS 109873 HAS SOUPS 109873 WITH SCORE 110071.61
AT ITER 10 NEW BEST:: SOT 228706 SOS 198584 HAS SOPS 198584 HAS SOUS 109847 HAS SOUPS 109847 WITH SCORE 110045.584
AT ITER 19 NEW BEST:: SOT 228733 SOS 198435 HAS SOPS 198435 HAS SOUS 108482 HAS SOUPS 108482 WITH SCORE 108680.435
AT ITER 21 NEW BEST:: SOT 227802 SOS 197263 HAS SOPS 197263 HAS SOUS 107872 HAS SOUPS 107872 WITH SCORE 108069.263
AT ITER 31 NEW BEST:: SOT 227593 SOS 196809 HAS SOPS 196809 HAS SOUS 103298 HAS SOUPS 103298 WITH SCORE 103494.809
AT ITER 32 NEW BEST:: SOT 227089 SOS 196305 HAS SOPS 196305 HAS SOUS 103026 HAS SOUPS 103026 WITH SCORE 103222.305
AT ITER 33 NEW BEST:: SOT 226482 SOS 195698 HAS SOPS 195698 HAS SOUS 102714 HAS SOUPS 102714 WITH SCORE 102909.698
AT ITER 34 NEW BEST:: SOT 226486 SOS 195460 HAS SOPS 195460 HAS SOUS 102349 HAS SOUPS 102349 WITH SCORE 102544.46
AT ITER 35 NEW BEST:: SOT 226592 SOS 195285 HAS SOPS 195285 HAS SOUS 102025 HAS SOUPS 102025 WITH SCORE 102220.285
AT ITER 37 NEW BEST:: SOT 226785 SOS 195596 HAS SOPS 195596 HAS SOUS 101611 HAS SOUPS 101611 WITH SCORE 101806.596
AT ITER 40 NEW BEST:: SOT 226730 SOS 194586 HAS SOPS 194586 HAS SOUS 97252 HAS SOUPS 97252 WITH SCORE 97446.586
AT ITER 45 NEW BEST:: SOT 226851 SOS 194509 HAS SOPS 194509 HAS SOUS 97195 HAS SOUPS 97195 WITH SCORE 97389.509
AT ITER 48 NEW BEST:: SOT 226837 SOS 194495 HAS SOPS 194495 HAS SOUS 97195 HAS SOUPS 97195 WITH SCORE 97389.495
AT ITER 51 NEW BEST:: SOT 226869 SOS 193515 HAS SOPS 193515 HAS SOUS 95809 HAS SOUPS 95809 WITH SCORE 96002.515
AT ITER 57 NEW BEST:: SOT 226869 SOS 193515 HAS SOPS 193515 HAS SOUS 95806 HAS SOUPS 95806 WITH SCORE 95999.515
AT ITER 65 NEW BEST:: SOT 226586 SOS 193263 HAS SOPS 193263 HAS SOUS 95726 HAS SOUPS 95726 WITH SCORE 95919.263
AT ITER 66 NEW BEST:: SOT 226661 SOS 191867 HAS SOPS 191867 HAS SOUS 92766 HAS SOUPS 92766 WITH SCORE 92957.867
AT ITER 67 NEW BEST:: SOT 226661 SOS 191614 HAS SOPS 191614 HAS SOUS 92626 HAS SOUPS 92626 WITH SCORE 92817.614
AT ITER 73 NEW BEST:: SOT 226661 SOS 188518 HAS SOPS 188518 HAS SOUS 86701 HAS SOUPS 86701 WITH SCORE 86889.518
AT ITER 74 NEW BEST:: SOT 226762 SOS 188503 HAS SOPS 188503 HAS SOUS 86688 HAS SOUPS 86688 WITH SCORE 86876.503
AT ITER 77 NEW BEST:: SOT 226684 SOS 185534 HAS SOPS 185534 HAS SOUS 80727 HAS SOUPS 80727 WITH SCORE 80912.534
AT ITER 82 NEW BEST:: SOT 226684 SOS 185338 HAS SOPS 185338 HAS SOUS 80541 HAS SOUPS 80541 WITH SCORE 80726.338
AT ITER 85 NEW BEST:: SOT 226761 SOS 185255 HAS SOPS 185255 HAS SOUS 80460 HAS SOUPS 80460 WITH SCORE 80645.255
AT ITER 87 NEW BEST:: SOT 226753 SOS 185239 HAS SOPS 185239 HAS SOUS 80460 HAS SOUPS 80460 WITH SCORE 80645.239
AT ITER 90 NEW BEST:: SOT 226760 SOS 185171 HAS SOPS 185171 HAS SOUS 80460 HAS SOUPS 80460 WITH SCORE 80645.171
AT ITER 97 NEW BEST:: SOT 226875 SOS 185079 HAS SOPS 185079 HAS SOUS 80368 HAS SOUPS 80368 WITH SCORE 80553.079
AT ITER 101 NEW BEST:: SOT 226206 SOS 182139 HAS SOPS 182119 HAS SOUS 74997 HAS SOUPS 74992 WITH SCORE 75174.139
AT ITER 102 NEW BEST:: SOT 226201 SOS 182129 HAS SOPS 182109 HAS SOUS 74997 HAS SOUPS 74992 WITH SCORE 75174.129
AT ITER 104 NEW BEST:: SOT 226291 SOS 180473 HAS SOPS 180453 HAS SOUS 72050 HAS SOUPS 72045 WITH SCORE 72225.473
AT ITER 108 NEW BEST:: SOT 226280 SOS 180462 HAS SOPS 180442 HAS SOUS 72039 HAS SOUPS 72034 WITH SCORE 72214.462
AT ITER 112 NEW BEST:: SOT 226425 SOS 180386 HAS SOPS 180366 HAS SOUS 71818 HAS SOUPS 71813 WITH SCORE 71993.386
AT ITER 113 NEW BEST:: SOT 226436 SOS 180355 HAS SOPS 180335 HAS SOUS 71783 HAS SOUPS 71778 WITH SCORE 71958.355
AT ITER 115 NEW BEST:: SOT 226430 SOS 179272 HAS SOPS 179252 HAS SOUS 70961 HAS SOUPS 70956 WITH SCORE 71135.272
AT ITER 116 NEW BEST:: SOT 226572 SOS 179725 HAS SOPS 179705 HAS SOUS 70934 HAS SOUPS 70929 WITH SCORE 71108.725
AT ITER 117 NEW BEST:: SOT 226575 SOS 179711 HAS SOPS 179691 HAS SOUS 70934 HAS SOUPS 70929 WITH SCORE 71108.711
AT ITER 122 NEW BEST:: SOT 226655 SOS 179871 HAS SOPS 179851 HAS SOUS 70931 HAS SOUPS 70926 WITH SCORE 71105.871
AT ITER 126 NEW BEST:: SOT 226655 SOS 176765 HAS SOPS 176745 HAS SOUS 69191 HAS SOUPS 69186 WITH SCORE 69362.765
AT ITER 130 NEW BEST:: SOT 226142 SOS 176388 HAS SOPS 176368 HAS SOUS 69020 HAS SOUPS 69015 WITH SCORE 69191.388
AT ITER 138 NEW BEST:: SOT 226007 SOS 176228 HAS SOPS 176208 HAS SOUS 68916 HAS SOUPS 68911 WITH SCORE 69087.228
AT ITER 143 NEW BEST:: SOT 221119 SOS 172509 HAS SOPS 171235 HAS SOUS 64171 HAS SOUPS 64059 WITH SCORE 64231.509
AT ITER 145 NEW BEST:: SOT 221131 SOS 172447 HAS SOPS 171121 HAS SOUS 64089 HAS SOUPS 63977 WITH SCORE 64149.447
AT ITER 146 NEW BEST:: SOT 221079 SOS 172343 HAS SOPS 171017 HAS SOUS 64086 HAS SOUPS 63974 WITH SCORE 64146.343
AT ITER 147 NEW BEST:: SOT 221167 SOS 172239 HAS SOPS 170913 HAS SOUS 64035 HAS SOUPS 63923 WITH SCORE 64095.239
AT ITER 148 NEW BEST:: SOT 211029 SOS 165462 HAS SOPS 160686 HAS SOUS 59391 HAS SOUPS 59192 WITH SCORE 59357.462
AT ITER 149 NEW BEST:: SOT 210779 SOS 166219 HAS SOPS 160436 HAS SOUS 59278 HAS SOUPS 59057 WITH SCORE 59223.219
AT ITER 151 NEW BEST:: SOT 210799 SOS 166258 HAS SOPS 160475 HAS SOUS 59165 HAS SOUPS 58944 WITH SCORE 59110.258
AT ITER 153 NEW BEST:: SOT 210764 SOS 166223 HAS SOPS 160405 HAS SOUS 59095 HAS SOUPS 58874 WITH SCORE 59040.223
AT ITER 154 NEW BEST:: SOT 210764 SOS 166174 HAS SOPS 160356 HAS SOUS 59095 HAS SOUPS 58874 WITH SCORE 59040.174
AT ITER 164 NEW BEST:: SOT 210712 SOS 162350 HAS SOPS 155030 HAS SOUS 53820 HAS SOUPS 53599 WITH SCORE 53761.35
AT ITER 168 NEW BEST:: SOT 210627 SOS 162265 HAS SOPS 154860 HAS SOUS 53733 HAS SOUPS 53506 WITH SCORE 53668.265
AT ITER 170 NEW BEST:: SOT 210593 SOS 162232 HAS SOPS 154792 HAS SOUS 53665 HAS SOUPS 53438 WITH SCORE 53600.232
AT ITER 176 NEW BEST:: SOT 210590 SOS 162225 HAS SOPS 154785 HAS SOUS 53662 HAS SOUPS 53435 WITH SCORE 53597.225
AT ITER 178 NEW BEST:: SOT 210651 SOS 160856 HAS SOPS 153431 HAS SOUS 53179 HAS SOUPS 52952 WITH SCORE 53112.856
AT ITER 180 NEW BEST:: SOT 208003 SOS 158208 HAS SOPS 150783 HAS SOUS 51890 HAS SOUPS 51663 WITH SCORE 51821.208
AT ITER 181 NEW BEST:: SOT 207996 SOS 158190 HAS SOPS 150761 HAS SOUS 51868 HAS SOUPS 51641 WITH SCORE 51799.19
AT ITER 182 NEW BEST:: SOT 207996 SOS 158109 HAS SOPS 150693 HAS SOUS 51868 HAS SOUPS 51641 WITH SCORE 51799.109
AT ITER 184 NEW BEST:: SOT 205868 SOS 151381 HAS SOPS 142449 HAS SOUS 46636 HAS SOUPS 46409 WITH SCORE 46560.381
AT ITER 190 NEW BEST:: SOT 205857 SOS 151370 HAS SOPS 142427 HAS SOUS 46614 HAS SOUPS 46387 WITH SCORE 46538.37
AT ITER 192 NEW BEST:: SOT 205853 SOS 151000 HAS SOPS 142067 HAS SOUS 46377 HAS SOUPS 46150 WITH SCORE 46301.0
AT ITER 193 NEW BEST:: SOT 205879 SOS 151021 HAS SOPS 142081 HAS SOUS 46358 HAS SOUPS 46131 WITH SCORE 46282.021
AT ITER 196 NEW BEST:: SOT 205893 SOS 150947 HAS SOPS 142021 HAS SOUS 46298 HAS SOUPS 46071 WITH SCORE 46221.947
AT ITER 201 NEW BEST:: SOT 205088 SOS 150142 HAS SOPS 141216 HAS SOUS 46037 HAS SOUPS 45810 WITH SCORE 45960.142
AT ITER 209 NEW BEST:: SOT 205134 SOS 144608 HAS SOPS 135375 HAS SOUS 43700 HAS SOUPS 43473 WITH SCORE 43617.608
AT ITER 210 NEW BEST:: SOT 205125 SOS 144487 HAS SOPS 135245 HAS SOUS 43674 HAS SOUPS 43447 WITH SCORE 43591.487
AT ITER 217 NEW BEST:: SOT 204994 SOS 143820 HAS SOPS 134621 HAS SOUS 43324 HAS SOUPS 43097 WITH SCORE 43240.82
AT ITER 218 NEW BEST:: SOT 204889 SOS 143769 HAS SOPS 134497 HAS SOUS 43200 HAS SOUPS 42973 WITH SCORE 43116.769
AT ITER 219 NEW BEST:: SOT 204723 SOS 143141 HAS SOPS 133831 HAS SOUS 42792 HAS SOUPS 42565 WITH SCORE 42708.141
AT ITER 220 NEW BEST:: SOT 204568 SOS 143031 HAS SOPS 133714 HAS SOUS 42775 HAS SOUPS 42554 WITH SCORE 42697.031
AT ITER 223 NEW BEST:: SOT 204527 SOS 142809 HAS SOPS 133443 HAS SOUS 42593 HAS SOUPS 42372 WITH SCORE 42514.809
AT ITER 224 NEW BEST:: SOT 204529 SOS 142812 HAS SOPS 133446 HAS SOUS 42589 HAS SOUPS 42368 WITH SCORE 42510.812
AT ITER 229 NEW BEST:: SOT 204512 SOS 142795 HAS SOPS 133429 HAS SOUS 42572 HAS SOUPS 42351 WITH SCORE 42493.795
AT ITER 231 NEW BEST:: SOT 204520 SOS 141524 HAS SOPS 132158 HAS SOUS 42280 HAS SOUPS 42059 WITH SCORE 42200.524
AT ITER 233 NEW BEST:: SOT 204520 SOS 141478 HAS SOPS 132112 HAS SOUS 42234 HAS SOUPS 42013 WITH SCORE 42154.478
AT ITER 235 NEW BEST:: SOT 204514 SOS 141466 HAS SOPS 132100 HAS SOUS 42234 HAS SOUPS 42013 WITH SCORE 42154.466
AT ITER 242 NEW BEST:: SOT 204516 SOS 141374 HAS SOPS 132008 HAS SOUS 42153 HAS SOUPS 41932 WITH SCORE 42073.374
AT ITER 247 NEW BEST:: SOT 204510 SOS 141368 HAS SOPS 131996 HAS SOUS 42141 HAS SOUPS 41920 WITH SCORE 42061.368
AT ITER 255 NEW BEST:: SOT 204504 SOS 141356 HAS SOPS 131984 HAS SOUS 42135 HAS SOUPS 41914 WITH SCORE 42055.356
AT ITER 269 NEW BEST:: SOT 204109 SOS 140970 HAS SOPS 131589 HAS SOUS 41942 HAS SOUPS 41721 WITH SCORE 41861.97
AT ITER 270 NEW BEST:: SOT 204181 SOS 141114 HAS SOPS 131733 HAS SOUS 41936 HAS SOUPS 41715 WITH SCORE 41856.114
AT ITER 272 NEW BEST:: SOT 201557 SOS 138439 HAS SOPS 129007 HAS SOUS 40471 HAS SOUPS 40250 WITH SCORE 40388.439
AT ITER 274 NEW BEST:: SOT 201479 SOS 138303 HAS SOPS 128792 HAS SOUS 40420 HAS SOUPS 40199 WITH SCORE 40337.303
AT ITER 276 NEW BEST:: SOT 201477 SOS 138296 HAS SOPS 128785 HAS SOUS 40413 HAS SOUPS 40192 WITH SCORE 40330.296
AT ITER 282 NEW BEST:: SOT 201434 SOS 138159 HAS SOPS 128556 HAS SOUS 40181 HAS SOUPS 39960 WITH SCORE 40098.159
AT ITER 284 NEW BEST:: SOT 201456 SOS 138180 HAS SOPS 128514 HAS SOUS 40136 HAS SOUPS 39915 WITH SCORE 40053.18
AT ITER 285 NEW BEST:: SOT 201403 SOS 138127 HAS SOPS 128355 HAS SOUS 39977 HAS SOUPS 39756 WITH SCORE 39894.127
AT ITER 288 NEW BEST:: SOT 201401 SOS 138121 HAS SOPS 128347 HAS SOUS 39969 HAS SOUPS 39748 WITH SCORE 39886.121
AT ITER 293 NEW BEST:: SOT 201382 SOS 138094 HAS SOPS 128309 HAS SOUS 39931 HAS SOUPS 39710 WITH SCORE 39848.094
AT ITER 298 NEW BEST:: SOT 201375 SOS 137438 HAS SOPS 127653 HAS SOUS 39847 HAS SOUPS 39626 WITH SCORE 39763.438
AT ITER 301 NEW BEST:: SOT 201537 SOS 136842 HAS SOPS 127093 HAS SOUS 39756 HAS SOUPS 39535 WITH SCORE 39671.842
AT ITER 305 NEW BEST:: SOT 198078 SOS 133495 HAS SOPS 123613 HAS SOUS 37944 HAS SOUPS 37709 WITH SCORE 37842.495
AT ITER 306 NEW BEST:: SOT 198057 SOS 133430 HAS SOPS 123548 HAS SOUS 37941 HAS SOUPS 37706 WITH SCORE 37839.43
AT ITER 312 NEW BEST:: SOT 196540 SOS 131929 HAS SOPS 122431 HAS SOUS 37615 HAS SOUPS 37380 WITH SCORE 37511.929
AT ITER 316 NEW BEST:: SOT 196543 SOS 131601 HAS SOPS 122242 HAS SOUS 37573 HAS SOUPS 37338 WITH SCORE 37469.601
AT ITER 319 NEW BEST:: SOT 196358 SOS 131501 HAS SOPS 122007 HAS SOUS 37348 HAS SOUPS 37113 WITH SCORE 37244.501
AT ITER 325 NEW BEST:: SOT 196357 SOS 131500 HAS SOPS 122005 HAS SOUS 37346 HAS SOUPS 37111 WITH SCORE 37242.5
AT ITER 328 NEW BEST:: SOT 196305 SOS 131422 HAS SOPS 121901 HAS SOUS 37242 HAS SOUPS 37007 WITH SCORE 37138.422
AT ITER 329 NEW BEST:: SOT 196300 SOS 131412 HAS SOPS 121811 HAS SOUS 37077 HAS SOUPS 36842 WITH SCORE 36973.412
AT ITER 331 NEW BEST:: SOT 196259 SOS 131408 HAS SOPS 121769 HAS SOUS 37055 HAS SOUPS 36817 WITH SCORE 36948.408
AT ITER 347 NEW BEST:: SOT 197490 SOS 129724 HAS SOPS 120147 HAS SOUS 37050 HAS SOUPS 36812 WITH SCORE 36941.724
AT ITER 350 NEW BEST:: SOT 197499 SOS 129719 HAS SOPS 120142 HAS SOUS 37045 HAS SOUPS 36807 WITH SCORE 36936.719
AT ITER 355 NEW BEST:: SOT 197423 SOS 129521 HAS SOPS 119925 HAS SOUS 36991 HAS SOUPS 36753 WITH SCORE 36882.521
AT ITER 364 NEW BEST:: SOT 197521 SOS 128630 HAS SOPS 119034 HAS SOUS 36888 HAS SOUPS 36650 WITH SCORE 36778.63
AT ITER 366 NEW BEST:: SOT 197518 SOS 128624 HAS SOPS 119028 HAS SOUS 36885 HAS SOUPS 36647 WITH SCORE 36775.624
AT ITER 370 NEW BEST:: SOT 197467 SOS 128493 HAS SOPS 118840 HAS SOUS 36700 HAS SOUPS 36462 WITH SCORE 36590.493
AT ITER 374 NEW BEST:: SOT 197456 SOS 128482 HAS SOPS 118818 HAS SOUS 36678 HAS SOUPS 36440 WITH SCORE 36568.482
AT ITER 379 NEW BEST:: SOT 197456 SOS 128472 HAS SOPS 118808 HAS SOUS 36678 HAS SOUPS 36440 WITH SCORE 36568.472
AT ITER 380 NEW BEST:: SOT 193821 SOS 128977 HAS SOPS 119313 HAS SOUS 36155 HAS SOUPS 35917 WITH SCORE 36045.977
AT ITER 382 NEW BEST:: SOT 193837 SOS 128548 HAS SOPS 118884 HAS SOUS 36124 HAS SOUPS 35886 WITH SCORE 36014.548
AT ITER 388 NEW BEST:: SOT 193745 SOS 128410 HAS SOPS 118746 HAS SOUS 36024 HAS SOUPS 35786 WITH SCORE 35914.41
AT ITER 389 NEW BEST:: SOT 193654 SOS 128253 HAS SOPS 118482 HAS SOUS 35760 HAS SOUPS 35522 WITH SCORE 35650.253
AT ITER 400 NEW BEST:: SOT 193653 SOS 128251 HAS SOPS 118456 HAS SOUS 35731 HAS SOUPS 35493 WITH SCORE 35621.251
AT ITER 401 NEW BEST:: SOT 193666 SOS 128251 HAS SOPS 118456 HAS SOUS 35728 HAS SOUPS 35490 WITH SCORE 35618.251
AT ITER 405 NEW BEST:: SOT 193663 SOS 126993 HAS SOPS 117200 HAS SOUS 35114 HAS SOUPS 34876 WITH SCORE 35002.993
AT ITER 408 NEW BEST:: SOT 193509 SOS 126846 HAS SOPS 117052 HAS SOUS 35046 HAS SOUPS 34808 WITH SCORE 34934.846
AT ITER 409 NEW BEST:: SOT 193474 SOS 124586 HAS SOPS 114792 HAS SOUS 34793 HAS SOUPS 34555 WITH SCORE 34679.586
AT ITER 410 NEW BEST:: SOT 193442 SOS 124544 HAS SOPS 114773 HAS SOUS 34774 HAS SOUPS 34536 WITH SCORE 34660.544
AT ITER 416 NEW BEST:: SOT 192532 SOS 123644 HAS SOPS 113729 HAS SOUS 33800 HAS SOUPS 33561 WITH SCORE 33684.644
AT ITER 419 NEW BEST:: SOT 192528 SOS 123636 HAS SOPS 113717 HAS SOUS 33784 HAS SOUPS 33545 WITH SCORE 33668.636
AT ITER 420 NEW BEST:: SOT 192558 SOS 123690 HAS SOPS 113777 HAS SOUS 33768 HAS SOUPS 33529 WITH SCORE 33652.69
AT ITER 422 NEW BEST:: SOT 192529 SOS 123631 HAS SOPS 113719 HAS SOUS 33741 HAS SOUPS 33502 WITH SCORE 33625.631
AT ITER 430 NEW BEST:: SOT 192506 SOS 123039 HAS SOPS 113127 HAS SOUS 33580 HAS SOUPS 33341 WITH SCORE 33464.039
AT ITER 431 NEW BEST:: SOT 196586 SOS 124634 HAS SOPS 113722 HAS SOUS 33435 HAS SOUPS 33196 WITH SCORE 33320.634
AT ITER 437 NEW BEST:: SOT 197845 SOS 123221 HAS SOPS 112362 HAS SOUS 32953 HAS SOUPS 32714 WITH SCORE 32837.221
AT ITER 441 NEW BEST:: SOT 197845 SOS 123232 HAS SOPS 112362 HAS SOUS 32942 HAS SOUPS 32703 WITH SCORE 32826.232
AT ITER 442 NEW BEST:: SOT 197969 SOS 120460 HAS SOPS 109628 HAS SOUS 32277 HAS SOUPS 32038 WITH SCORE 32158.46
AT ITER 444 NEW BEST:: SOT 197955 SOS 120432 HAS SOPS 109600 HAS SOUS 32267 HAS SOUPS 32028 WITH SCORE 32148.432
AT ITER 449 NEW BEST:: SOT 197955 SOS 120421 HAS SOPS 109589 HAS SOUS 32256 HAS SOUPS 32017 WITH SCORE 32137.421
AT ITER 463 NEW BEST:: SOT 197901 SOS 120412 HAS SOPS 109580 HAS SOUS 32256 HAS SOUPS 32017 WITH SCORE 32137.412
AT ITER 469 NEW BEST:: SOT 197781 SOS 120176 HAS SOPS 109340 HAS SOUS 32086 HAS SOUPS 31847 WITH SCORE 31967.176
AT ITER 472 NEW BEST:: SOT 197737 SOS 120044 HAS SOPS 109208 HAS SOUS 32042 HAS SOUPS 31803 WITH SCORE 31923.044
AT ITER 475 NEW BEST:: SOT 197735 SOS 120041 HAS SOPS 109204 HAS SOUS 32038 HAS SOUPS 31799 WITH SCORE 31919.041
AT ITER 477 NEW BEST:: SOT 197763 SOS 120013 HAS SOPS 109176 HAS SOUS 31993 HAS SOUPS 31754 WITH SCORE 31874.013
AT ITER 478 NEW BEST:: SOT 197774 SOS 119957 HAS SOPS 109097 HAS SOUS 31926 HAS SOUPS 31687 WITH SCORE 31806.957
AT ITER 483 NEW BEST:: SOT 197770 SOS 119953 HAS SOPS 109089 HAS SOUS 31918 HAS SOUPS 31679 WITH SCORE 31798.953
AT ITER 501 NEW BEST:: SOT 197766 SOS 119953 HAS SOPS 109085 HAS SOUS 31914 HAS SOUPS 31675 WITH SCORE 31794.953
AT ITER 507 NEW BEST:: SOT 197740 SOS 119927 HAS SOPS 109051 HAS SOUS 31886 HAS SOUPS 31641 WITH SCORE 31760.927
AT ITER 509 NEW BEST:: SOT 197659 SOS 119652 HAS SOPS 108776 HAS SOUS 31658 HAS SOUPS 31413 WITH SCORE 31532.652
AT ITER 523 NEW BEST:: SOT 198317 SOS 120324 HAS SOPS 109088 HAS SOUS 31603 HAS SOUPS 31358 WITH SCORE 31478.324
AT ITER 525 NEW BEST:: SOT 198280 SOS 120376 HAS SOPS 109140 HAS SOUS 31566 HAS SOUPS 31321 WITH SCORE 31441.376
AT ITER 546 NEW BEST:: SOT 198280 SOS 120376 HAS SOPS 109140 HAS SOUS 31545 HAS SOUPS 31300 WITH SCORE 31420.376
AT ITER 557 NEW BEST:: SOT 198286 SOS 120306 HAS SOPS 109070 HAS SOUS 31462 HAS SOUPS 31230 WITH SCORE 31350.306
AT ITER 566 NEW BEST:: SOT 198286 SOS 120306 HAS SOPS 109068 HAS SOUS 31460 HAS SOUPS 31228 WITH SCORE 31348.306
AT ITER 567 NEW BEST:: SOT 198279 SOS 120299 HAS SOPS 109061 HAS SOUS 31453 HAS SOUPS 31221 WITH SCORE 31341.299
AT ITER 571 NEW BEST:: SOT 198279 SOS 120299 HAS SOPS 109061 HAS SOUS 31452 HAS SOUPS 31220 WITH SCORE 31340.299
AT ITER 574 NEW BEST:: SOT 198848 SOS 120855 HAS SOPS 109533 HAS SOUS 31439 HAS SOUPS 31207 WITH SCORE 31327.855
AT ITER 579 NEW BEST:: SOT 197628 SOS 120725 HAS SOPS 109341 HAS SOUS 31278 HAS SOUPS 31046 WITH SCORE 31166.725
AT ITER 582 NEW BEST:: SOT 197629 SOS 120726 HAS SOPS 109231 HAS SOUS 31141 HAS SOUPS 30909 WITH SCORE 31029.726
AT ITER 584 NEW BEST:: SOT 197680 SOS 120826 HAS SOPS 109294 HAS SOUS 31115 HAS SOUPS 30883 WITH SCORE 31003.826
AT ITER 587 NEW BEST:: SOT 197702 SOS 120755 HAS SOPS 109259 HAS SOUS 31094 HAS SOUPS 30862 WITH SCORE 30982.755
AT ITER 588 NEW BEST:: SOT 197669 SOS 120689 HAS SOPS 109193 HAS SOUS 31028 HAS SOUPS 30796 WITH SCORE 30916.689
AT ITER 590 NEW BEST:: SOT 197669 SOS 120680 HAS SOPS 109184 HAS SOUS 31028 HAS SOUPS 30796 WITH SCORE 30916.68
AT ITER 594 NEW BEST:: SOT 197610 SOS 120621 HAS SOPS 109066 HAS SOUS 30910 HAS SOUPS 30678 WITH SCORE 30798.621
AT ITER 597 NEW BEST:: SOT 197610 SOS 120608 HAS SOPS 109053 HAS SOUS 30910 HAS SOUPS 30678 WITH SCORE 30798.608
AT ITER 601 NEW BEST:: SOT 197600 SOS 120585 HAS SOPS 108669 HAS SOUS 30565 HAS SOUPS 30333 WITH SCORE 30453.585
AT ITER 607 NEW BEST:: SOT 197596 SOS 120578 HAS SOPS 108661 HAS SOUS 30526 HAS SOUPS 30294 WITH SCORE 30414.578
AT ITER 616 NEW BEST:: SOT 194631 SOS 117613 HAS SOPS 105696 HAS SOUS 29069 HAS SOUPS 28837 WITH SCORE 28954.613
AT ITER 620 NEW BEST:: SOT 194631 SOS 117605 HAS SOPS 105688 HAS SOUS 29061 HAS SOUPS 28829 WITH SCORE 28946.605
AT ITER 625 NEW BEST:: SOT 194615 SOS 117493 HAS SOPS 105605 HAS SOUS 28981 HAS SOUPS 28749 WITH SCORE 28866.493
AT ITER 628 NEW BEST:: SOT 194612 SOS 117301 HAS SOPS 105413 HAS SOUS 28963 HAS SOUPS 28731 WITH SCORE 28848.301
AT ITER 631 NEW BEST:: SOT 194192 SOS 116904 HAS SOPS 105195 HAS SOUS 28915 HAS SOUPS 28683 WITH SCORE 28799.904
AT ITER 633 NEW BEST:: SOT 194192 SOS 116682 HAS SOPS 105047 HAS SOUS 28873 HAS SOUPS 28641 WITH SCORE 28757.682
AT ITER 638 NEW BEST:: SOT 194135 SOS 116768 HAS SOPS 105023 HAS SOUS 28866 HAS SOUPS 28634 WITH SCORE 28750.768
AT ITER 644 NEW BEST:: SOT 194137 SOS 116713 HAS SOPS 104968 HAS SOUS 28839 HAS SOUPS 28607 WITH SCORE 28723.713
AT ITER 645 NEW BEST:: SOT 194053 SOS 116760 HAS SOPS 104946 HAS SOUS 28837 HAS SOUPS 28605 WITH SCORE 28721.76
AT ITER 647 NEW BEST:: SOT 194042 SOS 116738 HAS SOPS 104924 HAS SOUS 28798 HAS SOUPS 28566 WITH SCORE 28682.738
AT ITER 648 NEW BEST:: SOT 194042 SOS 116736 HAS SOPS 104922 HAS SOUS 28796 HAS SOUPS 28564 WITH SCORE 28680.736
AT ITER 650 NEW BEST:: SOT 194021 SOS 116701 HAS SOPS 104880 HAS SOUS 28761 HAS SOUPS 28529 WITH SCORE 28645.701
AT ITER 654 NEW BEST:: SOT 194011 SOS 116680 HAS SOPS 104859 HAS SOUS 28731 HAS SOUPS 28499 WITH SCORE 28615.68
AT ITER 661 NEW BEST:: SOT 194019 SOS 114854 HAS SOPS 102961 HAS SOUS 27947 HAS SOUPS 27715 WITH SCORE 27829.854
AT ITER 664 NEW BEST:: SOT 194019 SOS 114848 HAS SOPS 102955 HAS SOUS 27941 HAS SOUPS 27709 WITH SCORE 27823.848
AT ITER 678 NEW BEST:: SOT 194075 SOS 114894 HAS SOPS 103001 HAS SOUS 27938 HAS SOUPS 27706 WITH SCORE 27820.894
AT ITER 679 NEW BEST:: SOT 194088 SOS 114836 HAS SOPS 102943 HAS SOUS 27926 HAS SOUPS 27694 WITH SCORE 27808.836
AT ITER 680 NEW BEST:: SOT 194060 SOS 114752 HAS SOPS 102859 HAS SOUS 27912 HAS SOUPS 27680 WITH SCORE 27794.752
AT ITER 685 NEW BEST:: SOT 193989 SOS 114712 HAS SOPS 102819 HAS SOUS 27912 HAS SOUPS 27680 WITH SCORE 27794.712
AT ITER 688 NEW BEST:: SOT 193977 SOS 114700 HAS SOPS 102795 HAS SOUS 27888 HAS SOUPS 27656 WITH SCORE 27770.7
AT ITER 690 NEW BEST:: SOT 193974 SOS 114690 HAS SOPS 102789 HAS SOUS 27882 HAS SOUPS 27650 WITH SCORE 27764.69
AT ITER 694 NEW BEST:: SOT 194005 SOS 114722 HAS SOPS 102786 HAS SOUS 27878 HAS SOUPS 27646 WITH SCORE 27760.722
AT ITER 704 NEW BEST:: SOT 194008 SOS 114548 HAS SOPS 102612 HAS SOUS 27851 HAS SOUPS 27619 WITH SCORE 27733.548
AT ITER 715 NEW BEST:: SOT 193970 SOS 114472 HAS SOPS 102517 HAS SOUS 27775 HAS SOUPS 27543 WITH SCORE 27657.472
AT ITER 718 NEW BEST:: SOT 193947 SOS 114419 HAS SOPS 102471 HAS SOUS 27729 HAS SOUPS 27497 WITH SCORE 27611.419
AT ITER 719 NEW BEST:: SOT 193952 SOS 114359 HAS SOPS 102416 HAS SOUS 27674 HAS SOUPS 27442 WITH SCORE 27556.359
AT ITER 721 NEW BEST:: SOT 193948 SOS 114325 HAS SOPS 102408 HAS SOUS 27666 HAS SOUPS 27434 WITH SCORE 27548.325
AT ITER 724 NEW BEST:: SOT 193942 SOS 114313 HAS SOPS 102396 HAS SOUS 27663 HAS SOUPS 27431 WITH SCORE 27545.313
AT ITER 728 NEW BEST:: SOT 193822 SOS 114278 HAS SOPS 102277 HAS SOUS 27544 HAS SOUPS 27312 WITH SCORE 27426.278
AT ITER 729 NEW BEST:: SOT 193821 SOS 114288 HAS SOPS 102275 HAS SOUS 27531 HAS SOUPS 27299 WITH SCORE 27413.288
AT ITER 734 NEW BEST:: SOT 193770 SOS 114221 HAS SOPS 102208 HAS SOUS 27492 HAS SOUPS 27260 WITH SCORE 27374.221
AT ITER 738 NEW BEST:: SOT 193791 SOS 113099 HAS SOPS 101086 HAS SOUS 27267 HAS SOUPS 27035 WITH SCORE 27148.099
AT ITER 741 NEW BEST:: SOT 193774 SOS 113048 HAS SOPS 101035 HAS SOUS 27250 HAS SOUPS 27018 WITH SCORE 27131.048
AT ITER 743 NEW BEST:: SOT 193695 SOS 112901 HAS SOPS 100895 HAS SOUS 27164 HAS SOUPS 26932 WITH SCORE 27044.901
AT ITER 762 NEW BEST:: SOT 193761 SOS 108662 HAS SOPS 96657 HAS SOUS 26682 HAS SOUPS 26450 WITH SCORE 26558.662
AT ITER 766 NEW BEST:: SOT 193761 SOS 108634 HAS SOPS 96629 HAS SOUS 26682 HAS SOUPS 26450 WITH SCORE 26558.634
AT ITER 771 NEW BEST:: SOT 193758 SOS 108613 HAS SOPS 96608 HAS SOUS 26664 HAS SOUPS 26432 WITH SCORE 26540.613
AT ITER 780 NEW BEST:: SOT 193741 SOS 108263 HAS SOPS 96258 HAS SOUS 26559 HAS SOUPS 26327 WITH SCORE 26435.263
AT ITER 782 NEW BEST:: SOT 193734 SOS 108209 HAS SOPS 96204 HAS SOUS 26482 HAS SOUPS 26250 WITH SCORE 26358.209
AT ITER 784 NEW BEST:: SOT 193695 SOS 108209 HAS SOPS 96165 HAS SOUS 26443 HAS SOUPS 26211 WITH SCORE 26319.209
AT ITER 788 NEW BEST:: SOT 193732 SOS 107472 HAS SOPS 95435 HAS SOUS 26391 HAS SOUPS 26159 WITH SCORE 26266.472
AT ITER 789 NEW BEST:: SOT 193732 SOS 107424 HAS SOPS 95387 HAS SOUS 26367 HAS SOUPS 26135 WITH SCORE 26242.424
AT ITER 793 NEW BEST:: SOT 193722 SOS 107402 HAS SOPS 95407 HAS SOUS 26358 HAS SOUPS 26127 WITH SCORE 26234.402
AT ITER 794 NEW BEST:: SOT 193722 SOS 107385 HAS SOPS 95390 HAS SOUS 26347 HAS SOUPS 26116 WITH SCORE 26223.385
AT ITER 817 NEW BEST:: SOT 193319 SOS 106968 HAS SOPS 94966 HAS SOUS 26121 HAS SOUPS 25890 WITH SCORE 25996.968
AT ITER 820 NEW BEST:: SOT 193317 SOS 106961 HAS SOPS 94959 HAS SOUS 26119 HAS SOUPS 25888 WITH SCORE 25994.961
AT ITER 838 NEW BEST:: SOT 193317 SOS 106961 HAS SOPS 94958 HAS SOUS 26118 HAS SOUPS 25887 WITH SCORE 25993.961
AT ITER 847 NEW BEST:: SOT 193300 SOS 107118 HAS SOPS 95070 HAS SOUS 26113 HAS SOUPS 25882 WITH SCORE 25989.118
AT ITER 854 NEW BEST:: SOT 193281 SOS 107004 HAS SOPS 94956 HAS SOUS 26084 HAS SOUPS 25853 WITH SCORE 25960.004
AT ITER 858 NEW BEST:: SOT 193354 SOS 106550 HAS SOPS 94530 HAS SOUS 26025 HAS SOUPS 25794 WITH SCORE 25900.55
AT ITER 861 NEW BEST:: SOT 193354 SOS 106422 HAS SOPS 94466 HAS SOUS 26025 HAS SOUPS 25794 WITH SCORE 25900.422
AT ITER 865 NEW BEST:: SOT 193349 SOS 106401 HAS SOPS 94445 HAS SOUS 26020 HAS SOUPS 25789 WITH SCORE 25895.401
AT ITER 870 NEW BEST:: SOT 191594 SOS 127482 HAS SOPS 92615 HAS SOUS 25774 HAS SOUPS 25475 WITH SCORE 25602.482
AT ITER 872 NEW BEST:: SOT 191619 SOS 127372 HAS SOPS 92505 HAS SOUS 25719 HAS SOUPS 25420 WITH SCORE 25547.372
AT ITER 877 NEW BEST:: SOT 191609 SOS 127362 HAS SOPS 92490 HAS SOUS 25709 HAS SOUPS 25410 WITH SCORE 25537.362
AT ITER 878 NEW BEST:: SOT 191653 SOS 127362 HAS SOPS 92446 HAS SOUS 25669 HAS SOUPS 25366 WITH SCORE 25493.362
AT ITER 887 NEW BEST:: SOT 190891 SOS 126639 HAS SOPS 91723 HAS SOUS 25327 HAS SOUPS 25024 WITH SCORE 25150.639
AT ITER 890 NEW BEST:: SOT 190939 SOS 126681 HAS SOPS 91765 HAS SOUS 25315 HAS SOUPS 25012 WITH SCORE 25138.681
AT ITER 900 NEW BEST:: SOT 190872 SOS 126510 HAS SOPS 91593 HAS SOUS 25171 HAS SOUPS 24868 WITH SCORE 24994.51
AT ITER 910 NEW BEST:: SOT 190859 SOS 126474 HAS SOPS 91557 HAS SOUS 25145 HAS SOUPS 24842 WITH SCORE 24968.474
AT ITER 926 NEW BEST:: SOT 190836 SOS 126522 HAS SOPS 91605 HAS SOUS 25138 HAS SOUPS 24835 WITH SCORE 24961.522
AT ITER 927 NEW BEST:: SOT 190836 SOS 126516 HAS SOPS 91599 HAS SOUS 25132 HAS SOUPS 24829 WITH SCORE 24955.516
AT ITER 945 NEW BEST:: SOT 190820 SOS 126500 HAS SOPS 91567 HAS SOUS 25100 HAS SOUPS 24797 WITH SCORE 24923.5
AT ITER 949 NEW BEST:: SOT 190791 SOS 126218 HAS SOPS 90825 HAS SOUS 24964 HAS SOUPS 24661 WITH SCORE 24787.218
AT ITER 963 NEW BEST:: SOT 190745 SOS 126113 HAS SOPS 90709 HAS SOUS 24912 HAS SOUPS 24609 WITH SCORE 24735.113
AT ITER 980 NEW BEST:: SOT 190783 SOS 126094 HAS SOPS 90697 HAS SOUS 24908 HAS SOUPS 24605 WITH SCORE 24731.094
AT ITER 981 NEW BEST:: SOT 190757 SOS 126040 HAS SOPS 90645 HAS SOUS 24889 HAS SOUPS 24586 WITH SCORE 24712.04
AT ITER 988 NEW BEST:: SOT 190732 SOS 123978 HAS SOPS 86983 HAS SOUS 24442 HAS SOUPS 24139 WITH SCORE 24262.978
AT ITER 997 NEW BEST:: SOT 190842 SOS 124124 HAS SOPS 87024 HAS SOUS 24420 HAS SOUPS 24117 WITH SCORE 24241.124
AT ITER 1000 NEW BEST:: SOT 190837 SOS 124116 HAS SOPS 87016 HAS SOUS 24415 HAS SOUPS 24112 WITH SCORE 24236.116
AT ITER 1007 NEW BEST:: SOT 191122 SOS 124419 HAS SOPS 85572 HAS SOUS 24190 HAS SOUPS 23887 WITH SCORE 24011.419
AT ITER 1008 NEW BEST:: SOT 191117 SOS 124409 HAS SOPS 85562 HAS SOUS 24175 HAS SOUPS 23872 WITH SCORE 23996.409
AT ITER 1021 NEW BEST:: SOT 191077 SOS 124309 HAS SOPS 85462 HAS SOUS 24097 HAS SOUPS 23794 WITH SCORE 23918.309
AT ITER 1035 NEW BEST:: SOT 191072 SOS 124301 HAS SOPS 85457 HAS SOUS 24091 HAS SOUPS 23788 WITH SCORE 23912.301
AT ITER 1037 NEW BEST:: SOT 191052 SOS 124248 HAS SOPS 85404 HAS SOUS 24065 HAS SOUPS 23762 WITH SCORE 23886.248
AT ITER 1039 NEW BEST:: SOT 190812 SOS 123963 HAS SOPS 85152 HAS SOUS 24016 HAS SOUPS 23713 WITH SCORE 23836.963
AT ITER 1041 NEW BEST:: SOT 190812 SOS 123958 HAS SOPS 85147 HAS SOUS 24016 HAS SOUPS 23713 WITH SCORE 23836.958
AT ITER 1050 NEW BEST:: SOT 190765 SOS 123810 HAS SOPS 84943 HAS SOUS 23839 HAS SOUPS 23536 WITH SCORE 23659.81
AT ITER 1058 NEW BEST:: SOT 190765 SOS 123795 HAS SOPS 84928 HAS SOUS 23839 HAS SOUPS 23536 WITH SCORE 23659.795
AT ITER 1060 NEW BEST:: SOT 190759 SOS 123750 HAS SOPS 84883 HAS SOUS 23839 HAS SOUPS 23536 WITH SCORE 23659.75
AT ITER 1065 NEW BEST:: SOT 190695 SOS 123686 HAS SOPS 84787 HAS SOUS 23743 HAS SOUPS 23440 WITH SCORE 23563.686
AT ITER 1078 NEW BEST:: SOT 190681 SOS 123672 HAS SOPS 84773 HAS SOUS 23739 HAS SOUPS 23436 WITH SCORE 23559.672
AT ITER 1079 NEW BEST:: SOT 190675 SOS 123666 HAS SOPS 84767 HAS SOUS 23733 HAS SOUPS 23430 WITH SCORE 23553.666
AT ITER 1083 NEW BEST:: SOT 190705 SOS 123664 HAS SOPS 84733 HAS SOUS 23665 HAS SOUPS 23362 WITH SCORE 23485.664
AT ITER 1084 NEW BEST:: SOT 190703 SOS 123660 HAS SOPS 84729 HAS SOUS 23664 HAS SOUPS 23361 WITH SCORE 23484.66
AT ITER 1090 NEW BEST:: SOT 190741 SOS 123733 HAS SOPS 84802 HAS SOUS 23658 HAS SOUPS 23355 WITH SCORE 23478.733
AT ITER 1092 NEW BEST:: SOT 190629 SOS 123565 HAS SOPS 84634 HAS SOUS 23513 HAS SOUPS 23210 WITH SCORE 23333.565
AT ITER 1099 NEW BEST:: SOT 190616 SOS 123553 HAS SOPS 84622 HAS SOUS 23501 HAS SOUPS 23198 WITH SCORE 23321.553
AT ITER 1100 NEW BEST:: SOT 190718 SOS 123414 HAS SOPS 84516 HAS SOUS 23418 HAS SOUPS 23115 WITH SCORE 23238.414
AT ITER 1106 NEW BEST:: SOT 190717 SOS 123407 HAS SOPS 84509 HAS SOUS 23413 HAS SOUPS 23110 WITH SCORE 23233.407
AT ITER 1109 NEW BEST:: SOT 190653 SOS 123343 HAS SOPS 84449 HAS SOUS 23380 HAS SOUPS 23077 WITH SCORE 23200.343
AT ITER 1110 NEW BEST:: SOT 190666 SOS 123254 HAS SOPS 84373 HAS SOUS 23284 HAS SOUPS 22981 WITH SCORE 23104.254
AT ITER 1114 NEW BEST:: SOT 190666 SOS 123254 HAS SOPS 84373 HAS SOUS 23277 HAS SOUPS 22974 WITH SCORE 23097.254
AT ITER 1119 NEW BEST:: SOT 190636 SOS 123209 HAS SOPS 84328 HAS SOUS 23222 HAS SOUPS 22919 WITH SCORE 23042.209
AT ITER 1120 NEW BEST:: SOT 190608 SOS 123143 HAS SOPS 84272 HAS SOUS 23214 HAS SOUPS 22911 WITH SCORE 23034.143
AT ITER 1131 NEW BEST:: SOT 190608 SOS 123121 HAS SOPS 84250 HAS SOUS 23192 HAS SOUPS 22889 WITH SCORE 23012.121
AT ITER 1137 NEW BEST:: SOT 190315 SOS 122821 HAS SOPS 84176 HAS SOUS 23128 HAS SOUPS 22825 WITH SCORE 22947.821
AT ITER 1141 NEW BEST:: SOT 190304 SOS 122810 HAS SOPS 84161 HAS SOUS 23120 HAS SOUPS 22817 WITH SCORE 22939.81
AT ITER 1143 NEW BEST:: SOT 190304 SOS 122807 HAS SOPS 84158 HAS SOUS 23117 HAS SOUPS 22814 WITH SCORE 22936.807
AT ITER 1167 NEW BEST:: SOT 189947 SOS 122468 HAS SOPS 83837 HAS SOUS 22927 HAS SOUPS 22624 WITH SCORE 22746.468
AT ITER 1171 NEW BEST:: SOT 190030 SOS 122489 HAS SOPS 83836 HAS SOUS 22847 HAS SOUPS 22544 WITH SCORE 22666.489
AT ITER 1173 NEW BEST:: SOT 189975 SOS 122380 HAS SOPS 83726 HAS SOUS 22725 HAS SOUPS 22422 WITH SCORE 22544.38
AT ITER 1174 NEW BEST:: SOT 189966 SOS 122371 HAS SOPS 83708 HAS SOUS 22707 HAS SOUPS 22404 WITH SCORE 22526.371
AT ITER 1175 NEW BEST:: SOT 189954 SOS 122329 HAS SOPS 83684 HAS SOUS 22699 HAS SOUPS 22396 WITH SCORE 22518.329
AT ITER 1178 NEW BEST:: SOT 189913 SOS 122288 HAS SOPS 83643 HAS SOUS 22637 HAS SOUPS 22334 WITH SCORE 22456.288
AT ITER 1181 NEW BEST:: SOT 189887 SOS 122306 HAS SOPS 83670 HAS SOUS 22632 HAS SOUPS 22329 WITH SCORE 22451.306
AT ITER 1190 NEW BEST:: SOT 189910 SOS 122286 HAS SOPS 83582 HAS SOUS 22563 HAS SOUPS 22260 WITH SCORE 22382.286
AT ITER 1195 NEW BEST:: SOT 189873 SOS 122207 HAS SOPS 83478 HAS SOUS 22484 HAS SOUPS 22181 WITH SCORE 22303.207
AT ITER 1200 NEW BEST:: SOT 189930 SOS 122265 HAS SOPS 83358 HAS SOUS 22256 HAS SOUPS 21953 WITH SCORE 22075.265
AT ITER 1201 NEW BEST:: SOT 189928 SOS 122299 HAS SOPS 83392 HAS SOUS 22238 HAS SOUPS 21935 WITH SCORE 22057.299
AT ITER 1210 NEW BEST:: SOT 189904 SOS 122251 HAS SOPS 83313 HAS SOUS 22157 HAS SOUPS 21854 WITH SCORE 21976.251
AT ITER 1217 NEW BEST:: SOT 189767 SOS 122111 HAS SOPS 83080 HAS SOUS 21918 HAS SOUPS 21615 WITH SCORE 21737.111
AT ITER 1218 NEW BEST:: SOT 189706 SOS 122036 HAS SOPS 82958 HAS SOUS 21796 HAS SOUPS 21493 WITH SCORE 21615.036
AT ITER 1224 NEW BEST:: SOT 189703 SOS 122036 HAS SOPS 82958 HAS SOUS 21793 HAS SOUPS 21490 WITH SCORE 21612.036
AT ITER 1225 NEW BEST:: SOT 189686 SOS 121979 HAS SOPS 82881 HAS SOUS 21716 HAS SOUPS 21413 WITH SCORE 21534.979
AT ITER 1226 NEW BEST:: SOT 189696 SOS 121975 HAS SOPS 82877 HAS SOUS 21702 HAS SOUPS 21399 WITH SCORE 21520.975
AT ITER 1227 NEW BEST:: SOT 189674 SOS 121930 HAS SOPS 82833 HAS SOUS 21661 HAS SOUPS 21355 WITH SCORE 21476.93
AT ITER 1249 NEW BEST:: SOT 189716 SOS 121851 HAS SOPS 82749 HAS SOUS 21656 HAS SOUPS 21350 WITH SCORE 21471.851
AT ITER 1259 NEW BEST:: SOT 189718 SOS 121853 HAS SOPS 82649 HAS SOUS 21636 HAS SOUPS 21330 WITH SCORE 21451.853
AT ITER 1261 NEW BEST:: SOT 189717 SOS 121851 HAS SOPS 82623 HAS SOUS 21610 HAS SOUPS 21304 WITH SCORE 21425.851
AT ITER 1268 NEW BEST:: SOT 189189 SOS 122561 HAS SOPS 82037 HAS SOUS 21092 HAS SOUPS 20762 WITH SCORE 20884.561
AT ITER 1271 NEW BEST:: SOT 189056 SOS 122523 HAS SOPS 81866 HAS SOUS 20921 HAS SOUPS 20591 WITH SCORE 20713.523
AT ITER 1284 NEW BEST:: SOT 188834 SOS 123968 HAS SOPS 83280 HAS SOUS 20864 HAS SOUPS 20534 WITH SCORE 20657.968
AT ITER 1289 NEW BEST:: SOT 188807 SOS 123941 HAS SOPS 83226 HAS SOUS 20810 HAS SOUPS 20480 WITH SCORE 20603.941
AT ITER 1297 NEW BEST:: SOT 188800 SOS 123934 HAS SOPS 83212 HAS SOUS 20796 HAS SOUPS 20466 WITH SCORE 20589.934
AT ITER 1301 NEW BEST:: SOT 188752 SOS 123799 HAS SOPS 83053 HAS SOUS 20622 HAS SOUPS 20292 WITH SCORE 20415.799
AT ITER 1302 NEW BEST:: SOT 188751 SOS 123798 HAS SOPS 83051 HAS SOUS 20620 HAS SOUPS 20290 WITH SCORE 20413.798
AT ITER 1311 NEW BEST:: SOT 188679 SOS 123700 HAS SOPS 83044 HAS SOUS 20611 HAS SOUPS 20281 WITH SCORE 20404.7
AT ITER 1316 NEW BEST:: SOT 188456 SOS 123471 HAS SOPS 82995 HAS SOUS 20591 HAS SOUPS 20261 WITH SCORE 20384.471
AT ITER 1329 NEW BEST:: SOT 188479 SOS 123447 HAS SOPS 82992 HAS SOUS 20577 HAS SOUPS 20247 WITH SCORE 20370.447
AT ITER 1335 NEW BEST:: SOT 188464 SOS 123428 HAS SOPS 82973 HAS SOUS 20575 HAS SOUPS 20245 WITH SCORE 20368.428
AT ITER 1339 NEW BEST:: SOT 188428 SOS 123372 HAS SOPS 82901 HAS SOUS 20534 HAS SOUPS 20204 WITH SCORE 20327.372
AT ITER 1345 NEW BEST:: SOT 188431 SOS 123327 HAS SOPS 82860 HAS SOUS 20494 HAS SOUPS 20164 WITH SCORE 20287.327
AT ITER 1348 NEW BEST:: SOT 188442 SOS 122401 HAS SOPS 81934 HAS SOUS 20453 HAS SOUPS 20123 WITH SCORE 20245.401
AT ITER 1350 NEW BEST:: SOT 188431 SOS 122389 HAS SOPS 81922 HAS SOUS 20441 HAS SOUPS 20111 WITH SCORE 20233.389
AT ITER 1351 NEW BEST:: SOT 187755 SOS 121723 HAS SOPS 81763 HAS SOUS 20187 HAS SOUPS 19857 WITH SCORE 19978.723
AT ITER 1361 NEW BEST:: SOT 187739 SOS 121582 HAS SOPS 81622 HAS SOUS 20101 HAS SOUPS 19771 WITH SCORE 19892.582
AT ITER 1367 NEW BEST:: SOT 187696 SOS 121484 HAS SOPS 81524 HAS SOUS 20094 HAS SOUPS 19764 WITH SCORE 19885.484
AT ITER 1375 NEW BEST:: SOT 187696 SOS 121482 HAS SOPS 81522 HAS SOUS 20092 HAS SOUPS 19762 WITH SCORE 19883.482
AT ITER 1404 NEW BEST:: SOT 187675 SOS 121452 HAS SOPS 81480 HAS SOUS 20050 HAS SOUPS 19720 WITH SCORE 19841.452
AT ITER 1405 NEW BEST:: SOT 187678 SOS 121414 HAS SOPS 81403 HAS SOUS 19973 HAS SOUPS 19643 WITH SCORE 19764.414
AT ITER 1412 NEW BEST:: SOT 187611 SOS 121347 HAS SOPS 81336 HAS SOUS 19906 HAS SOUPS 19576 WITH SCORE 19697.347
AT ITER 1413 NEW BEST:: SOT 187458 SOS 121203 HAS SOPS 81211 HAS SOUS 19877 HAS SOUPS 19547 WITH SCORE 19668.203
AT ITER 1419 NEW BEST:: SOT 187436 SOS 121167 HAS SOPS 81167 HAS SOUS 19806 HAS SOUPS 19476 WITH SCORE 19597.167
AT ITER 1433 NEW BEST:: SOT 187429 SOS 121160 HAS SOPS 81153 HAS SOUS 19792 HAS SOUPS 19462 WITH SCORE 19583.16
AT ITER 1447 NEW BEST:: SOT 187429 SOS 121157 HAS SOPS 81150 HAS SOUS 19789 HAS SOUPS 19459 WITH SCORE 19580.157
AT ITER 1461 NEW BEST:: SOT 187428 SOS 121155 HAS SOPS 81148 HAS SOUS 19787 HAS SOUPS 19457 WITH SCORE 19578.155
AT ITER 1468 NEW BEST:: SOT 187420 SOS 121147 HAS SOPS 81138 HAS SOUS 19780 HAS SOUPS 19450 WITH SCORE 19571.147
AT ITER 1472 NEW BEST:: SOT 187423 SOS 121139 HAS SOPS 80506 HAS SOUS 19660 HAS SOUPS 19330 WITH SCORE 19451.139
AT ITER 1473 NEW BEST:: SOT 187347 SOS 121091 HAS SOPS 80458 HAS SOUS 19619 HAS SOUPS 19289 WITH SCORE 19410.091
AT ITER 1477 NEW BEST:: SOT 187339 SOS 120619 HAS SOPS 79986 HAS SOUS 19583 HAS SOUPS 19253 WITH SCORE 19373.619
AT ITER 1483 NEW BEST:: SOT 187311 SOS 120534 HAS SOPS 79901 HAS SOUS 19583 HAS SOUPS 19253 WITH SCORE 19373.534
AT ITER 1495 NEW BEST:: SOT 187307 SOS 120530 HAS SOPS 79895 HAS SOUS 19577 HAS SOUPS 19247 WITH SCORE 19367.53
AT ITER 1502 NEW BEST:: SOT 187267 SOS 120531 HAS SOPS 79896 HAS SOUS 19572 HAS SOUPS 19242 WITH SCORE 19362.531
AT ITER 1512 NEW BEST:: SOT 187250 SOS 120491 HAS SOPS 79840 HAS SOUS 19538 HAS SOUPS 19208 WITH SCORE 19328.491
AT ITER 1519 NEW BEST:: SOT 187230 SOS 120451 HAS SOPS 79788 HAS SOUS 19497 HAS SOUPS 19164 WITH SCORE 19284.451
AT ITER 1534 NEW BEST:: SOT 187010 SOS 120258 HAS SOPS 79617 HAS SOUS 19464 HAS SOUPS 19131 WITH SCORE 19251.258
AT ITER 1543 NEW BEST:: SOT 186994 SOS 120242 HAS SOPS 79593 HAS SOUS 19440 HAS SOUPS 19107 WITH SCORE 19227.242
AT ITER 1547 NEW BEST:: SOT 186861 SOS 119935 HAS SOPS 79167 HAS SOUS 19096 HAS SOUPS 18763 WITH SCORE 18882.935
AT ITER 1549 NEW BEST:: SOT 186836 SOS 119878 HAS SOPS 79117 HAS SOUS 19045 HAS SOUPS 18712 WITH SCORE 18831.878
AT ITER 1578 NEW BEST:: SOT 186805 SOS 119828 HAS SOPS 79069 HAS SOUS 19012 HAS SOUPS 18679 WITH SCORE 18798.828
AT ITER 1585 NEW BEST:: SOT 186783 SOS 119813 HAS SOPS 79042 HAS SOUS 18990 HAS SOUPS 18657 WITH SCORE 18776.813
AT ITER 1587 NEW BEST:: SOT 186773 SOS 119793 HAS SOPS 79022 HAS SOUS 18959 HAS SOUPS 18626 WITH SCORE 18745.793
AT ITER 1591 NEW BEST:: SOT 186773 SOS 119779 HAS SOPS 79008 HAS SOUS 18959 HAS SOUPS 18626 WITH SCORE 18745.779
AT ITER 1604 NEW BEST:: SOT 186787 SOS 119807 HAS SOPS 78829 HAS SOUS 18748 HAS SOUPS 18415 WITH SCORE 18534.807
AT ITER 1605 NEW BEST:: SOT 186716 SOS 119736 HAS SOPS 78687 HAS SOUS 18606 HAS SOUPS 18273 WITH SCORE 18392.736
AT ITER 1606 NEW BEST:: SOT 186700 SOS 119720 HAS SOPS 78671 HAS SOUS 18590 HAS SOUPS 18257 WITH SCORE 18376.72
AT ITER 1620 NEW BEST:: SOT 186680 SOS 119706 HAS SOPS 78644 HAS SOUS 18556 HAS SOUPS 18223 WITH SCORE 18342.706
AT ITER 1621 NEW BEST:: SOT 186295 SOS 121383 HAS SOPS 78229 HAS SOUS 18185 HAS SOUPS 17822 WITH SCORE 17943.383
AT ITER 1624 NEW BEST:: SOT 186315 SOS 121387 HAS SOPS 78233 HAS SOUS 18172 HAS SOUPS 17809 WITH SCORE 17930.387
AT ITER 1629 NEW BEST:: SOT 186309 SOS 121378 HAS SOPS 78221 HAS SOUS 18160 HAS SOUPS 17797 WITH SCORE 17918.378
AT ITER 1642 NEW BEST:: SOT 186295 SOS 121350 HAS SOPS 78186 HAS SOUS 18125 HAS SOUPS 17762 WITH SCORE 17883.35
AT ITER 1644 NEW BEST:: SOT 186292 SOS 121335 HAS SOPS 78171 HAS SOUS 18110 HAS SOUPS 17747 WITH SCORE 17868.335
AT ITER 1655 NEW BEST:: SOT 186279 SOS 121334 HAS SOPS 78170 HAS SOUS 18108 HAS SOUPS 17745 WITH SCORE 17866.334
AT ITER 1667 NEW BEST:: SOT 186268 SOS 121322 HAS SOPS 78128 HAS SOUS 18046 HAS SOUPS 17683 WITH SCORE 17804.322
AT ITER 1678 NEW BEST:: SOT 186261 SOS 121300 HAS SOPS 78106 HAS SOUS 18036 HAS SOUPS 17673 WITH SCORE 17794.3
AT ITER 1680 NEW BEST:: SOT 186276 SOS 121320 HAS SOPS 78126 HAS SOUS 18015 HAS SOUPS 17652 WITH SCORE 17773.32
AT ITER 1689 NEW BEST:: SOT 186276 SOS 121318 HAS SOPS 78046 HAS SOUS 17977 HAS SOUPS 17614 WITH SCORE 17735.318
AT ITER 1700 NEW BEST:: SOT 186299 SOS 120976 HAS SOPS 77704 HAS SOUS 17961 HAS SOUPS 17598 WITH SCORE 17718.976
AT ITER 1708 NEW BEST:: SOT 186246 SOS 120908 HAS SOPS 77598 HAS SOUS 17944 HAS SOUPS 17581 WITH SCORE 17701.908
AT ITER 1712 NEW BEST:: SOT 185769 SOS 120427 HAS SOPS 77106 HAS SOUS 17688 HAS SOUPS 17325 WITH SCORE 17445.427
AT ITER 1715 NEW BEST:: SOT 185779 SOS 120474 HAS SOPS 77126 HAS SOUS 17671 HAS SOUPS 17308 WITH SCORE 17428.474
AT ITER 1718 NEW BEST:: SOT 185824 SOS 119180 HAS SOPS 75858 HAS SOUS 17645 HAS SOUPS 17282 WITH SCORE 17401.18
AT ITER 1738 NEW BEST:: SOT 185816 SOS 119164 HAS SOPS 75586 HAS SOUS 17601 HAS SOUPS 17238 WITH SCORE 17357.164
AT ITER 1743 NEW BEST:: SOT 185816 SOS 119164 HAS SOPS 75585 HAS SOUS 17600 HAS SOUPS 17237 WITH SCORE 17356.164
AT ITER 1757 NEW BEST:: SOT 185818 SOS 119167 HAS SOPS 75589 HAS SOUS 17579 HAS SOUPS 17216 WITH SCORE 17335.167
AT ITER 1765 NEW BEST:: SOT 185794 SOS 119143 HAS SOPS 75541 HAS SOUS 17531 HAS SOUPS 17168 WITH SCORE 17287.143
AT ITER 1778 NEW BEST:: SOT 185794 SOS 119132 HAS SOPS 75541 HAS SOUS 17531 HAS SOUPS 17168 WITH SCORE 17287.132
AT ITER 1813 NEW BEST:: SOT 185779 SOS 119099 HAS SOPS 75508 HAS SOUS 17513 HAS SOUPS 17150 WITH SCORE 17269.099
AT ITER 1819 NEW BEST:: SOT 185702 SOS 118964 HAS SOPS 75354 HAS SOUS 17419 HAS SOUPS 17056 WITH SCORE 17174.964
AT ITER 1830 NEW BEST:: SOT 185619 SOS 118912 HAS SOPS 75245 HAS SOUS 17310 HAS SOUPS 16947 WITH SCORE 17065.912
AT ITER 1836 NEW BEST:: SOT 185612 SOS 118925 HAS SOPS 75231 HAS SOUS 17275 HAS SOUPS 16912 WITH SCORE 17030.925
AT ITER 1850 NEW BEST:: SOT 185615 SOS 118915 HAS SOPS 75221 HAS SOUS 17249 HAS SOUPS 16886 WITH SCORE 17004.915
AT ITER 1894 NEW BEST:: SOT 185609 SOS 118909 HAS SOPS 75215 HAS SOUS 17246 HAS SOUPS 16883 WITH SCORE 17001.909
AT ITER 1898 NEW BEST:: SOT 185605 SOS 118908 HAS SOPS 75207 HAS SOUS 17226 HAS SOUPS 16863 WITH SCORE 16981.908
AT ITER 1899 NEW BEST:: SOT 185622 SOS 118924 HAS SOPS 75223 HAS SOUS 17211 HAS SOUPS 16848 WITH SCORE 16966.924
AT ITER 1902 NEW BEST:: SOT 185570 SOS 118872 HAS SOPS 75153 HAS SOUS 17171 HAS SOUPS 16808 WITH SCORE 16926.872
AT ITER 1920 NEW BEST:: SOT 185559 SOS 118849 HAS SOPS 75130 HAS SOUS 17170 HAS SOUPS 16807 WITH SCORE 16925.849
AT ITER 1931 NEW BEST:: SOT 185526 SOS 118787 HAS SOPS 75064 HAS SOUS 17133 HAS SOUPS 16770 WITH SCORE 16888.787
AT ITER 1949 NEW BEST:: SOT 185526 SOS 118771 HAS SOPS 75048 HAS SOUS 17125 HAS SOUPS 16762 WITH SCORE 16880.771
AT ITER 1960 NEW BEST:: SOT 185524 SOS 118724 HAS SOPS 75044 HAS SOUS 17121 HAS SOUPS 16758 WITH SCORE 16876.724
AT ITER 1967 NEW BEST:: SOT 185525 SOS 118719 HAS SOPS 75039 HAS SOUS 17121 HAS SOUPS 16758 WITH SCORE 16876.719
AT ITER 1969 NEW BEST:: SOT 185515 SOS 118686 HAS SOPS 75019 HAS SOUS 17114 HAS SOUPS 16751 WITH SCORE 16869.686
AT ITER 1970 NEW BEST:: SOT 185441 SOS 118686 HAS SOPS 74871 HAS SOUS 16966 HAS SOUPS 16603 WITH SCORE 16721.686
AT ITER 1987 NEW BEST:: SOT 185440 SOS 118686 HAS SOPS 74870 HAS SOUS 16965 HAS SOUPS 16602 WITH SCORE 16720.686
AT ITER 2008 NEW BEST:: SOT 185441 SOS 118681 HAS SOPS 74865 HAS SOUS 16952 HAS SOUPS 16589 WITH SCORE 16707.681
AT ITER 2016 NEW BEST:: SOT 185381 SOS 118693 HAS SOPS 74830 HAS SOUS 16909 HAS SOUPS 16546 WITH SCORE 16664.693
AT ITER 2022 NEW BEST:: SOT 185375 SOS 118704 HAS SOPS 74818 HAS SOUS 16882 HAS SOUPS 16519 WITH SCORE 16637.704
AT ITER 2032 NEW BEST:: SOT 185383 SOS 118663 HAS SOPS 74797 HAS SOUS 16878 HAS SOUPS 16515 WITH SCORE 16633.663
AT ITER 2034 NEW BEST:: SOT 185486 SOS 118762 HAS SOPS 74717 HAS SOUS 16816 HAS SOUPS 16453 WITH SCORE 16571.762
AT ITER 2045 NEW BEST:: SOT 185465 SOS 118758 HAS SOPS 74713 HAS SOUS 16814 HAS SOUPS 16451 WITH SCORE 16569.758
AT ITER 2063 NEW BEST:: SOT 185324 SOS 131104 HAS SOPS 74555 HAS SOUS 16760 HAS SOUPS 16376 WITH SCORE 16507.104
AT ITER 2098 NEW BEST:: SOT 185309 SOS 131088 HAS SOPS 74487 HAS SOUS 16738 HAS SOUPS 16354 WITH SCORE 16485.088
AT ITER 2103 NEW BEST:: SOT 185277 SOS 131049 HAS SOPS 74441 HAS SOUS 16692 HAS SOUPS 16308 WITH SCORE 16439.049
AT ITER 2177 NEW BEST:: SOT 185269 SOS 128475 HAS SOPS 71875 HAS SOUS 16658 HAS SOUPS 16274 WITH SCORE 16402.475
AT ITER 2180 NEW BEST:: SOT 185257 SOS 128440 HAS SOPS 71851 HAS SOUS 16634 HAS SOUPS 16250 WITH SCORE 16378.44
AT ITER 2207 NEW BEST:: SOT 185264 SOS 128447 HAS SOPS 71827 HAS SOUS 16610 HAS SOUPS 16226 WITH SCORE 16354.447
AT ITER 2217 NEW BEST:: SOT 185254 SOS 128404 HAS SOPS 71762 HAS SOUS 16545 HAS SOUPS 16161 WITH SCORE 16289.404
AT ITER 2248 NEW BEST:: SOT 184925 SOS 128076 HAS SOPS 71466 HAS SOUS 16392 HAS SOUPS 16008 WITH SCORE 16136.076
AT ITER 2273 NEW BEST:: SOT 184906 SOS 128039 HAS SOPS 71428 HAS SOUS 16374 HAS SOUPS 15990 WITH SCORE 16118.039
AT ITER 2277 NEW BEST:: SOT 184904 SOS 128036 HAS SOPS 71424 HAS SOUS 16372 HAS SOUPS 15988 WITH SCORE 16116.036
AT ITER 2283 NEW BEST:: SOT 184973 SOS 128086 HAS SOPS 71467 HAS SOUS 16332 HAS SOUPS 15948 WITH SCORE 16076.086
AT ITER 2292 NEW BEST:: SOT 184967 SOS 128089 HAS SOPS 71463 HAS SOUS 16327 HAS SOUPS 15943 WITH SCORE 16071.089
AT ITER 2302 NEW BEST:: SOT 184904 SOS 128032 HAS SOPS 71406 HAS SOUS 16275 HAS SOUPS 15891 WITH SCORE 16019.032
AT ITER 2309 NEW BEST:: SOT 184904 SOS 128032 HAS SOPS 71406 HAS SOUS 16270 HAS SOUPS 15886 WITH SCORE 16014.032
AT ITER 2325 NEW BEST:: SOT 184904 SOS 127978 HAS SOPS 71352 HAS SOUS 16216 HAS SOUPS 15832 WITH SCORE 15959.978
AT ITER 2329 NEW BEST:: SOT 184903 SOS 127977 HAS SOPS 71351 HAS SOUS 16216 HAS SOUPS 15832 WITH SCORE 15959.977
AT ITER 2341 NEW BEST:: SOT 184438 SOS 127512 HAS SOPS 70886 HAS SOUS 15980 HAS SOUPS 15596 WITH SCORE 15723.512
AT ITER 2353 NEW BEST:: SOT 184424 SOS 127470 HAS SOPS 70844 HAS SOUS 15959 HAS SOUPS 15575 WITH SCORE 15702.47
AT ITER 2356 NEW BEST:: SOT 184405 SOS 127356 HAS SOPS 70716 HAS SOUS 15932 HAS SOUPS 15548 WITH SCORE 15675.356
AT ITER 2367 NEW BEST:: SOT 184361 SOS 127251 HAS SOPS 70567 HAS SOUS 15783 HAS SOUPS 15399 WITH SCORE 15526.251
AT ITER 2381 NEW BEST:: SOT 184354 SOS 127225 HAS SOPS 70541 HAS SOUS 15771 HAS SOUPS 15387 WITH SCORE 15514.225
AT ITER 2388 NEW BEST:: SOT 184879 SOS 127736 HAS SOPS 70984 HAS SOUS 15738 HAS SOUPS 15354 WITH SCORE 15481.736
AT ITER 2391 NEW BEST:: SOT 184873 SOS 127721 HAS SOPS 70972 HAS SOUS 15726 HAS SOUPS 15342 WITH SCORE 15469.721
AT ITER 2425 NEW BEST:: SOT 184873 SOS 127751 HAS SOPS 70958 HAS SOUS 15712 HAS SOUPS 15328 WITH SCORE 15455.751
AT ITER 2433 NEW BEST:: SOT 184878 SOS 127728 HAS SOPS 70935 HAS SOUS 15694 HAS SOUPS 15310 WITH SCORE 15437.728
AT ITER 2434 NEW BEST:: SOT 184807 SOS 127486 HAS SOPS 70696 HAS SOUS 15538 HAS SOUPS 15154 WITH SCORE 15281.486
AT ITER 2436 NEW BEST:: SOT 184761 SOS 127462 HAS SOPS 70665 HAS SOUS 15503 HAS SOUPS 15119 WITH SCORE 15246.462
AT ITER 2510 NEW BEST:: SOT 184749 SOS 127449 HAS SOPS 70655 HAS SOUS 15493 HAS SOUPS 15109 WITH SCORE 15236.449
AT ITER 2538 NEW BEST:: SOT 184741 SOS 127433 HAS SOPS 70639 HAS SOUS 15485 HAS SOUPS 15101 WITH SCORE 15228.433
AT ITER 2539 NEW BEST:: SOT 184733 SOS 127401 HAS SOPS 70607 HAS SOUS 15461 HAS SOUPS 15077 WITH SCORE 15204.401
AT ITER 2567 NEW BEST:: SOT 184716 SOS 127387 HAS SOPS 70573 HAS SOUS 15442 HAS SOUPS 15058 WITH SCORE 15185.387
AT ITER 2578 NEW BEST:: SOT 184715 SOS 127384 HAS SOPS 70571 HAS SOUS 15439 HAS SOUPS 15055 WITH SCORE 15182.384
AT ITER 2586 NEW BEST:: SOT 184637 SOS 128016 HAS SOPS 70493 HAS SOUS 15382 HAS SOUPS 14989 WITH SCORE 15117.016
AT ITER 2597 NEW BEST:: SOT 184633 SOS 128012 HAS SOPS 70487 HAS SOUS 15376 HAS SOUPS 14983 WITH SCORE 15111.012
AT ITER 2604 NEW BEST:: SOT 184632 SOS 128010 HAS SOPS 70485 HAS SOUS 15375 HAS SOUPS 14982 WITH SCORE 15110.01
AT ITER 2606 NEW BEST:: SOT 184632 SOS 128018 HAS SOPS 70485 HAS SOUS 15374 HAS SOUPS 14981 WITH SCORE 15109.018
AT ITER 2610 NEW BEST:: SOT 184632 SOS 128009 HAS SOPS 70485 HAS SOUS 15374 HAS SOUPS 14981 WITH SCORE 15109.009
AT ITER 2634 NEW BEST:: SOT 184629 SOS 128006 HAS SOPS 70479 HAS SOUS 15371 HAS SOUPS 14978 WITH SCORE 15106.006
AT ITER 2657 NEW BEST:: SOT 184436 SOS 127806 HAS SOPS 70287 HAS SOUS 15293 HAS SOUPS 14900 WITH SCORE 15027.806
AT ITER 2682 NEW BEST:: SOT 184432 SOS 127802 HAS SOPS 70279 HAS SOUS 15250 HAS SOUPS 14857 WITH SCORE 14984.802
AT ITER 2685 NEW BEST:: SOT 184413 SOS 127786 HAS SOPS 70252 HAS SOUS 15222 HAS SOUPS 14829 WITH SCORE 14956.786
AT ITER 2707 NEW BEST:: SOT 184390 SOS 127762 HAS SOPS 70180 HAS SOUS 15194 HAS SOUPS 14801 WITH SCORE 14928.762
AT ITER 2713 NEW BEST:: SOT 184329 SOS 127701 HAS SOPS 70058 HAS SOUS 15072 HAS SOUPS 14679 WITH SCORE 14806.701
AT ITER 2730 NEW BEST:: SOT 184324 SOS 127698 HAS SOPS 70057 HAS SOUS 15071 HAS SOUPS 14678 WITH SCORE 14805.698
AT ITER 2746 NEW BEST:: SOT 184324 SOS 127672 HAS SOPS 70031 HAS SOUS 15045 HAS SOUPS 14652 WITH SCORE 14779.672
AT ITER 2765 NEW BEST:: SOT 184315 SOS 127670 HAS SOPS 70013 HAS SOUS 15030 HAS SOUPS 14637 WITH SCORE 14764.67
AT ITER 2782 NEW BEST:: SOT 184329 SOS 127645 HAS SOPS 69998 HAS SOUS 15015 HAS SOUPS 14622 WITH SCORE 14749.645
AT ITER 2789 NEW BEST:: SOT 184304 SOS 127540 HAS SOPS 69890 HAS SOUS 14936 HAS SOUPS 14543 WITH SCORE 14670.54
AT ITER 2830 NEW BEST:: SOT 184304 SOS 127540 HAS SOPS 69886 HAS SOUS 14932 HAS SOUPS 14539 WITH SCORE 14666.54
AT ITER 2838 NEW BEST:: SOT 184292 SOS 127488 HAS SOPS 69864 HAS SOUS 14916 HAS SOUPS 14523 WITH SCORE 14650.488
AT ITER 2863 NEW BEST:: SOT 184266 SOS 127472 HAS SOPS 69812 HAS SOUS 14874 HAS SOUPS 14481 WITH SCORE 14608.472
AT ITER 2885 NEW BEST:: SOT 184266 SOS 127470 HAS SOPS 69808 HAS SOUS 14870 HAS SOUPS 14477 WITH SCORE 14604.47
AT ITER 2892 NEW BEST:: SOT 184266 SOS 127462 HAS SOPS 69792 HAS SOUS 14846 HAS SOUPS 14453 WITH SCORE 14580.462
AT ITER 2893 NEW BEST:: SOT 184226 SOS 127409 HAS SOPS 69712 HAS SOUS 14784 HAS SOUPS 14391 WITH SCORE 14518.409
AT ITER 2901 NEW BEST:: SOT 184223 SOS 127385 HAS SOPS 69628 HAS SOUS 14719 HAS SOUPS 14326 WITH SCORE 14453.385
AT ITER 2912 NEW BEST:: SOT 184226 SOS 127355 HAS SOPS 69580 HAS SOUS 14671 HAS SOUPS 14278 WITH SCORE 14405.355
AT ITER 2922 NEW BEST:: SOT 184193 SOS 127354 HAS SOPS 69549 HAS SOUS 14640 HAS SOUPS 14247 WITH SCORE 14374.354
AT ITER 2924 NEW BEST:: SOT 184180 SOS 127341 HAS SOPS 69523 HAS SOUS 14614 HAS SOUPS 14221 WITH SCORE 14348.341
AT ITER 2977 NEW BEST:: SOT 184141 SOS 146423 HAS SOPS 69413 HAS SOUS 14591 HAS SOUPS 14172 WITH SCORE 14318.423
AT ITER 2979 NEW BEST:: SOT 184099 SOS 146357 HAS SOPS 69329 HAS SOUS 14507 HAS SOUPS 14088 WITH SCORE 14234.357
AT ITER 2984 NEW BEST:: SOT 184051 SOS 146315 HAS SOPS 69269 HAS SOUS 14464 HAS SOUPS 14045 WITH SCORE 14191.315
AT ITER 2997 NEW BEST:: SOT 184090 SOS 146355 HAS SOPS 68997 HAS SOUS 14384 HAS SOUPS 13965 WITH SCORE 14111.355
AT ITER 3000 NEW BEST:: SOT 184082 SOS 146342 HAS SOPS 68981 HAS SOUS 14355 HAS SOUPS 13936 WITH SCORE 14082.342
AT ITER 3019 NEW BEST:: SOT 184077 SOS 146330 HAS SOPS 68971 HAS SOUS 14345 HAS SOUPS 13926 WITH SCORE 14072.33
AT ITER 3022 NEW BEST:: SOT 184067 SOS 146315 HAS SOPS 68951 HAS SOUS 14330 HAS SOUPS 13911 WITH SCORE 14057.315
AT ITER 3033 NEW BEST:: SOT 184066 SOS 146313 HAS SOPS 68949 HAS SOUS 14329 HAS SOUPS 13910 WITH SCORE 14056.313
AT ITER 3105 NEW BEST:: SOT 184066 SOS 146309 HAS SOPS 68947 HAS SOUS 14329 HAS SOUPS 13910 WITH SCORE 14056.309
AT ITER 3157 NEW BEST:: SOT 184037 SOS 146283 HAS SOPS 68916 HAS SOUS 14290 HAS SOUPS 13871 WITH SCORE 14017.283
AT ITER 3222 NEW BEST:: SOT 184025 SOS 146268 HAS SOPS 68906 HAS SOUS 14269 HAS SOUPS 13850 WITH SCORE 13996.268
AT ITER 3245 NEW BEST:: SOT 184052 SOS 146291 HAS SOPS 68928 HAS SOUS 14265 HAS SOUPS 13846 WITH SCORE 13992.291
AT ITER 3273 NEW BEST:: SOT 184071 SOS 146310 HAS SOPS 68966 HAS SOUS 14249 HAS SOUPS 13830 WITH SCORE 13976.31
AT ITER 3280 NEW BEST:: SOT 184059 SOS 146307 HAS SOPS 68952 HAS SOUS 14236 HAS SOUPS 13817 WITH SCORE 13963.307
AT ITER 3295 NEW BEST:: SOT 184048 SOS 146303 HAS SOPS 68948 HAS SOUS 14232 HAS SOUPS 13813 WITH SCORE 13959.303
AT ITER 3312 NEW BEST:: SOT 184027 SOS 146282 HAS SOPS 68927 HAS SOUS 14217 HAS SOUPS 13798 WITH SCORE 13944.282
AT ITER 3332 NEW BEST:: SOT 184023 SOS 146276 HAS SOPS 68919 HAS SOUS 14211 HAS SOUPS 13792 WITH SCORE 13938.276
AT ITER 3336 NEW BEST:: SOT 184027 SOS 146284 HAS SOPS 68809 HAS SOUS 14201 HAS SOUPS 13782 WITH SCORE 13928.284
AT ITER 3353 NEW BEST:: SOT 184027 SOS 146284 HAS SOPS 68735 HAS SOUS 14200 HAS SOUPS 13781 WITH SCORE 13927.284
AT ITER 3396 NEW BEST:: SOT 184045 SOS 146328 HAS SOPS 68771 HAS SOUS 14180 HAS SOUPS 13761 WITH SCORE 13907.328
AT ITER 3449 NEW BEST:: SOT 184043 SOS 146321 HAS SOPS 68767 HAS SOUS 14177 HAS SOUPS 13758 WITH SCORE 13904.321
AT ITER 3462 NEW BEST:: SOT 184053 SOS 146141 HAS SOPS 68680 HAS SOUS 14173 HAS SOUPS 13754 WITH SCORE 13900.141
AT ITER 3473 NEW BEST:: SOT 184052 SOS 146138 HAS SOPS 68677 HAS SOUS 14171 HAS SOUPS 13752 WITH SCORE 13898.138
AT ITER 3477 NEW BEST:: SOT 184050 SOS 146136 HAS SOPS 68676 HAS SOUS 14170 HAS SOUPS 13751 WITH SCORE 13897.136
AT ITER 3507 NEW BEST:: SOT 184044 SOS 146132 HAS SOPS 68672 HAS SOUS 14170 HAS SOUPS 13751 WITH SCORE 13897.132
AT ITER 3530 NEW BEST:: SOT 184035 SOS 146114 HAS SOPS 68654 HAS SOUS 14152 HAS SOUPS 13733 WITH SCORE 13879.114
AT ITER 3536 NEW BEST:: SOT 184031 SOS 146106 HAS SOPS 68646 HAS SOUS 14148 HAS SOUPS 13729 WITH SCORE 13875.106
AT ITER 3564 NEW BEST:: SOT 184031 SOS 146117 HAS SOPS 68646 HAS SOUS 14137 HAS SOUPS 13718 WITH SCORE 13864.117
AT ITER 3575 NEW BEST:: SOT 183997 SOS 146098 HAS SOPS 68613 HAS SOUS 14088 HAS SOUPS 13669 WITH SCORE 13815.098
AT ITER 3579 NEW BEST:: SOT 183997 SOS 146074 HAS SOPS 68589 HAS SOUS 14064 HAS SOUPS 13645 WITH SCORE 13791.074
AT ITER 3583 NEW BEST:: SOT 183997 SOS 146141 HAS SOPS 68589 HAS SOUS 14057 HAS SOUPS 13638 WITH SCORE 13784.141
AT ITER 3590 NEW BEST:: SOT 183997 SOS 146141 HAS SOPS 68589 HAS SOUS 14055 HAS SOUPS 13636 WITH SCORE 13782.141
AT ITER 3619 NEW BEST:: SOT 183953 SOS 146009 HAS SOPS 68457 HAS SOUS 13967 HAS SOUPS 13548 WITH SCORE 13694.009
AT ITER 3623 NEW BEST:: SOT 183946 SOS 146023 HAS SOPS 68457 HAS SOUS 13960 HAS SOUPS 13541 WITH SCORE 13687.023
AT ITER 3632 NEW BEST:: SOT 183945 SOS 146015 HAS SOPS 68455 HAS SOUS 13955 HAS SOUPS 13536 WITH SCORE 13682.015
AT ITER 3643 NEW BEST:: SOT 183944 SOS 146015 HAS SOPS 68454 HAS SOUS 13954 HAS SOUPS 13535 WITH SCORE 13681.015
AT ITER 3706 NEW BEST:: SOT 183922 SOS 145993 HAS SOPS 68410 HAS SOUS 13920 HAS SOUPS 13491 WITH SCORE 13636.993
AT ITER 3735 NEW BEST:: SOT 183896 SOS 145987 HAS SOPS 68404 HAS SOUS 13916 HAS SOUPS 13487 WITH SCORE 13632.987
AT ITER 3751 NEW BEST:: SOT 183900 SOS 145973 HAS SOPS 68390 HAS SOUS 13902 HAS SOUPS 13473 WITH SCORE 13618.973
AT ITER 3752 NEW BEST:: SOT 183935 SOS 146001 HAS SOPS 68322 HAS SOUS 13847 HAS SOUPS 13418 WITH SCORE 13564.001
AT ITER 3771 NEW BEST:: SOT 183927 SOS 145995 HAS SOPS 68316 HAS SOUS 13843 HAS SOUPS 13414 WITH SCORE 13559.995
AT ITER 3792 NEW BEST:: SOT 183927 SOS 145995 HAS SOPS 68312 HAS SOUS 13839 HAS SOUPS 13410 WITH SCORE 13555.995
AT ITER 3826 NEW BEST:: SOT 183920 SOS 145981 HAS SOPS 68298 HAS SOUS 13839 HAS SOUPS 13410 WITH SCORE 13555.981
AT ITER 3830 NEW BEST:: SOT 183920 SOS 145979 HAS SOPS 68297 HAS SOUS 13839 HAS SOUPS 13410 WITH SCORE 13555.979
AT ITER 3847 NEW BEST:: SOT 183906 SOS 145965 HAS SOPS 68287 HAS SOUS 13829 HAS SOUPS 13400 WITH SCORE 13545.965
AT ITER 3853 NEW BEST:: SOT 183905 SOS 145964 HAS SOPS 68285 HAS SOUS 13827 HAS SOUPS 13398 WITH SCORE 13543.964
AT ITER 3868 NEW BEST:: SOT 183906 SOS 145964 HAS SOPS 68285 HAS SOUS 13821 HAS SOUPS 13392 WITH SCORE 13537.964
AT ITER 3904 NEW BEST:: SOT 183898 SOS 145956 HAS SOPS 68269 HAS SOUS 13805 HAS SOUPS 13376 WITH SCORE 13521.956
AT ITER 3906 NEW BEST:: SOT 183897 SOS 145954 HAS SOPS 68258 HAS SOUS 13795 HAS SOUPS 13366 WITH SCORE 13511.954
AT ITER 3911 NEW BEST:: SOT 183897 SOS 145954 HAS SOPS 68258 HAS SOUS 13793 HAS SOUPS 13364 WITH SCORE 13509.954
AT ITER 3918 NEW BEST:: SOT 183896 SOS 145951 HAS SOPS 68255 HAS SOUS 13790 HAS SOUPS 13361 WITH SCORE 13506.951
AT ITER 3929 NEW BEST:: SOT 183925 SOS 145979 HAS SOPS 67807 HAS SOUS 13708 HAS SOUPS 13279 WITH SCORE 13424.979
AT ITER 3945 NEW BEST:: SOT 183922 SOS 145976 HAS SOPS 67804 HAS SOUS 13705 HAS SOUPS 13276 WITH SCORE 13421.976
AT ITER 3946 NEW BEST:: SOT 183922 SOS 145976 HAS SOPS 67804 HAS SOUS 13694 HAS SOUPS 13265 WITH SCORE 13410.976
AT ITER 3960 NEW BEST:: SOT 183916 SOS 145977 HAS SOPS 67800 HAS SOUS 13691 HAS SOUPS 13262 WITH SCORE 13407.977
AT ITER 3972 NEW BEST:: SOT 183916 SOS 145947 HAS SOPS 67785 HAS SOUS 13691 HAS SOUPS 13262 WITH SCORE 13407.947
AT ITER 3995 NEW BEST:: SOT 183889 SOS 146027 HAS SOPS 67731 HAS SOUS 13637 HAS SOUPS 13208 WITH SCORE 13354.027
AT ITER 4016 NEW BEST:: SOT 183886 SOS 146024 HAS SOPS 67729 HAS SOUS 13635 HAS SOUPS 13206 WITH SCORE 13352.024
AT ITER 4057 NEW BEST:: SOT 183864 SOS 145991 HAS SOPS 67696 HAS SOUS 13603 HAS SOUPS 13174 WITH SCORE 13319.991
AT ITER 4060 NEW BEST:: SOT 183854 SOS 145966 HAS SOPS 67671 HAS SOUS 13593 HAS SOUPS 13164 WITH SCORE 13309.966
AT ITER 4064 NEW BEST:: SOT 183836 SOS 145948 HAS SOPS 67653 HAS SOUS 13593 HAS SOUPS 13164 WITH SCORE 13309.948
AT ITER 4082 NEW BEST:: SOT 183870 SOS 145973 HAS SOPS 67676 HAS SOUS 13589 HAS SOUPS 13160 WITH SCORE 13305.973
AT ITER 4111 NEW BEST:: SOT 183870 SOS 145976 HAS SOPS 67673 HAS SOUS 13586 HAS SOUPS 13157 WITH SCORE 13302.976
AT ITER 4114 NEW BEST:: SOT 183849 SOS 145955 HAS SOPS 67631 HAS SOUS 13544 HAS SOUPS 13115 WITH SCORE 13260.955
AT ITER 4139 NEW BEST:: SOT 183849 SOS 145954 HAS SOPS 67631 HAS SOUS 13544 HAS SOUPS 13115 WITH SCORE 13260.954
AT ITER 4142 NEW BEST:: SOT 183840 SOS 145942 HAS SOPS 67616 HAS SOUS 13529 HAS SOUPS 13100 WITH SCORE 13245.942
AT ITER 4145 NEW BEST:: SOT 183840 SOS 145940 HAS SOPS 67614 HAS SOUS 13527 HAS SOUPS 13098 WITH SCORE 13243.94
AT ITER 4278 NEW BEST:: SOT 183838 SOS 145943 HAS SOPS 67615 HAS SOUS 13523 HAS SOUPS 13094 WITH SCORE 13239.943
AT ITER 4315 NEW BEST:: SOT 183638 SOS 145743 HAS SOPS 67413 HAS SOUS 13422 HAS SOUPS 12991 WITH SCORE 13136.743
AT ITER 4336 NEW BEST:: SOT 183629 SOS 145751 HAS SOPS 67395 HAS SOUS 13410 HAS SOUPS 12979 WITH SCORE 13124.751
AT ITER 4347 NEW BEST:: SOT 183621 SOS 145740 HAS SOPS 67379 HAS SOUS 13396 HAS SOUPS 12965 WITH SCORE 13110.74
AT ITER 4376 NEW BEST:: SOT 183621 SOS 145734 HAS SOPS 67373 HAS SOUS 13390 HAS SOUPS 12959 WITH SCORE 13104.734
AT ITER 4386 NEW BEST:: SOT 183621 SOS 145728 HAS SOPS 67367 HAS SOUS 13390 HAS SOUPS 12959 WITH SCORE 13104.728
AT ITER 4456 NEW BEST:: SOT 183593 SOS 145688 HAS SOPS 67352 HAS SOUS 13375 HAS SOUPS 12944 WITH SCORE 13089.688
AT ITER 4459 NEW BEST:: SOT 183597 SOS 145681 HAS SOPS 67344 HAS SOUS 13362 HAS SOUPS 12931 WITH SCORE 13076.681
AT ITER 4489 NEW BEST:: SOT 183601 SOS 145663 HAS SOPS 67336 HAS SOUS 13350 HAS SOUPS 12919 WITH SCORE 13064.663
AT ITER 4495 NEW BEST:: SOT 183593 SOS 145647 HAS SOPS 67320 HAS SOUS 13334 HAS SOUPS 12903 WITH SCORE 13048.647
AT ITER 4505 NEW BEST:: SOT 183585 SOS 145639 HAS SOPS 67312 HAS SOUS 13328 HAS SOUPS 12897 WITH SCORE 13042.639
AT ITER 4518 NEW BEST:: SOT 183581 SOS 145631 HAS SOPS 67304 HAS SOUS 13320 HAS SOUPS 12889 WITH SCORE 13034.631
AT ITER 4577 NEW BEST:: SOT 183570 SOS 145643 HAS SOPS 67299 HAS SOUS 13309 HAS SOUPS 12878 WITH SCORE 13023.643
AT ITER 4619 NEW BEST:: SOT 183551 SOS 145624 HAS SOPS 67280 HAS SOUS 13309 HAS SOUPS 12878 WITH SCORE 13023.624
AT ITER 4655 NEW BEST:: SOT 183551 SOS 145620 HAS SOPS 67272 HAS SOUS 13301 HAS SOUPS 12870 WITH SCORE 13015.62
AT ITER 4659 NEW BEST:: SOT 183545 SOS 145604 HAS SOPS 67255 HAS SOUS 13289 HAS SOUPS 12858 WITH SCORE 13003.604
AT ITER 4684 NEW BEST:: SOT 183531 SOS 145507 HAS SOPS 67164 HAS SOUS 13245 HAS SOUPS 12814 WITH SCORE 12959.507
AT ITER 4692 NEW BEST:: SOT 183491 SOS 145465 HAS SOPS 67122 HAS SOUS 13223 HAS SOUPS 12792 WITH SCORE 12937.465
AT ITER 4789 NEW BEST:: SOT 183488 SOS 145462 HAS SOPS 67116 HAS SOUS 13218 HAS SOUPS 12786 WITH SCORE 12931.462
AT ITER 4792 NEW BEST:: SOT 183476 SOS 145450 HAS SOPS 67100 HAS SOUS 13206 HAS SOUPS 12774 WITH SCORE 12919.45
AT ITER 4796 NEW BEST:: SOT 183474 SOS 145450 HAS SOPS 67098 HAS SOUS 13204 HAS SOUPS 12772 WITH SCORE 12917.45
AT ITER 4807 NEW BEST:: SOT 183469 SOS 145440 HAS SOPS 67088 HAS SOUS 13194 HAS SOUPS 12762 WITH SCORE 12907.44
AT ITER 4824 NEW BEST:: SOT 183462 SOS 145440 HAS SOPS 67081 HAS SOUS 13180 HAS SOUPS 12748 WITH SCORE 12893.44
AT ITER 4852 NEW BEST:: SOT 183450 SOS 145420 HAS SOPS 67057 HAS SOUS 13172 HAS SOUPS 12740 WITH SCORE 12885.42
AT ITER 4868 NEW BEST:: SOT 183452 SOS 145421 HAS SOPS 67058 HAS SOUS 13171 HAS SOUPS 12739 WITH SCORE 12884.421
AT ITER 4870 NEW BEST:: SOT 183464 SOS 145473 HAS SOPS 67080 HAS SOUS 13166 HAS SOUPS 12734 WITH SCORE 12879.473
AT ITER 4876 NEW BEST:: SOT 183462 SOS 145471 HAS SOPS 67078 HAS SOUS 13164 HAS SOUPS 12732 WITH SCORE 12877.471
AT ITER 4903 NEW BEST:: SOT 183461 SOS 146229 HAS SOPS 67077 HAS SOUS 13163 HAS SOUPS 12730 WITH SCORE 12876.229
AT ITER 4906 NEW BEST:: SOT 183459 SOS 146227 HAS SOPS 67064 HAS SOUS 13150 HAS SOUPS 12717 WITH SCORE 12863.227
AT ITER 4955 NEW BEST:: SOT 183451 SOS 146221 HAS SOPS 67055 HAS SOUS 13139 HAS SOUPS 12706 WITH SCORE 12852.221
AT ITER 4963 NEW BEST:: SOT 183454 SOS 146239 HAS SOPS 67061 HAS SOUS 13120 HAS SOUPS 12687 WITH SCORE 12833.239
AT ITER 4964 NEW BEST:: SOT 183026 SOS 145811 HAS SOPS 66631 HAS SOUS 12902 HAS SOUPS 12467 WITH SCORE 12612.811
AT ITER 4968 NEW BEST:: SOT 183029 SOS 145814 HAS SOPS 66637 HAS SOUS 12901 HAS SOUPS 12466 WITH SCORE 12611.814
AT ITER 4974 NEW BEST:: SOT 183025 SOS 145764 HAS SOPS 66587 HAS SOUS 12855 HAS SOUPS 12420 WITH SCORE 12565.764
AT ITER 4991 NEW BEST:: SOT 183131 SOS 145742 HAS SOPS 66543 HAS SOUS 12811 HAS SOUPS 12376 WITH SCORE 12521.742
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: FlexibleBarrier-PT-20a-CTLCardinality-00 ( (! (EF(potential( ( 3 ) <= (tk(P5)) )))) & ( (AX( potential( ( 2 ) <= (tk(P164)) ))) | (AF(( potential( (tk(P213)) <= (tk(P192)) ) & potential( (tk(P1)) <= (tk(P159)) ) ))) ) )
PROPERTY: FlexibleBarrier-PT-20a-CTLCardinality-01 (EF((AG( ( potential( (tk(P133)) <= (tk(P35)) ) | potential( (tk(P191)) <= (tk(P50)) ) )))))
PROPERTY: FlexibleBarrier-PT-20a-CTLCardinality-02 (AU( potential( ( 1 ) <= (tk(P31)) ),(EF(potential( ( 1 ) <= (tk(P64)) ))) ))
PROPERTY: FlexibleBarrier-PT-20a-CTLCardinality-03 (EF(( (EX( potential( ( 3 ) <= (tk(P19)) ))) & ( potential( ( 1 ) <= (tk(P160)) ) | ( potential( (tk(P196)) <= (tk(P188)) ) | potential( ( 2 ) <= (tk(P11)) ) ) ) )))
PROPERTY: FlexibleBarrier-PT-20a-CTLCardinality-04 (! (! (EU( potential( (tk(P155)) <= (tk(P198)) ),potential( ( 3 ) <= (tk(P193)) ) ))))
PROPERTY: FlexibleBarrier-PT-20a-CTLCardinality-05 (AX( (EU( potential( (tk(P76)) <= (tk(P215)) ),potential( ( 1 ) <= (tk(P201)) ) ))))
PROPERTY: FlexibleBarrier-PT-20a-CTLCardinality-06 (AG( ( (! potential( ( 2 ) <= (tk(P8)) )) & (EX( potential( (tk(P240)) <= (tk(P138)) ))) )))
PROPERTY: FlexibleBarrier-PT-20a-CTLCardinality-07 ( (! (AF(( potential( (tk(P173)) <= (tk(P144)) ) & potential( (tk(P120)) <= (tk(P205)) ) )))) | ( ( (! (! potential( ( 2 ) <= (tk(P102)) ))) | potential( ( 3 ) <= (tk(P184)) ) ) | ( (AG( potential( (tk(P105)) <= (tk(P36)) ))) & (AX( potential( (tk(P224)) <= (tk(P44)) ))) ) ) )
PROPERTY: FlexibleBarrier-PT-20a-CTLCardinality-08 (AU( potential( (tk(P226)) <= (tk(P122)) ),(EF(potential( ( 1 ) <= (tk(P91)) ))) ))
PROPERTY: FlexibleBarrier-PT-20a-CTLCardinality-09 (EX( (AG( ( potential( (tk(P9)) <= (tk(P203)) ) | potential( ( 1 ) <= (tk(P235)) ) )))))
PROPERTY: FlexibleBarrier-PT-20a-CTLCardinality-10 (EF((AX( ( potential( ( 2 ) <= (tk(P74)) ) & potential( (tk(P126)) <= (tk(P209)) ) )))))
PROPERTY: FlexibleBarrier-PT-20a-CTLCardinality-11 (! (AG( (AF(potential( (tk(P6)) <= (tk(P103)) ))))))
PROPERTY: FlexibleBarrier-PT-20a-CTLCardinality-12 (AU( (AX( potential( (tk(P21)) <= (tk(P37)) ))),(EF(potential( ( 1 ) <= (tk(P122)) ))) ))
PROPERTY: FlexibleBarrier-PT-20a-CTLCardinality-13 ( (EU( ( potential( (tk(P217)) <= (tk(P92)) ) | potential( (tk(P123)) <= (tk(P17)) ) ),( potential( ( 3 ) <= (tk(P57)) ) & potential( (tk(P181)) <= (tk(P19)) ) ) )) | (EU( potential( (tk(P9)) <= (tk(P130)) ),( potential( ( 3 ) <= (tk(P236)) ) | potential( ( 3 ) <= (tk(P157)) ) ) )) )
PROPERTY: FlexibleBarrier-PT-20a-CTLCardinality-14 ( ( ( (AF(potential( (tk(P234)) <= (tk(P197)) ))) | (! ( potential( (tk(P183)) <= (tk(P138)) ) | potential( ( 2 ) <= (tk(P232)) ) )) ) | (AF((! potential( (tk(P151)) <= (tk(P189)) )))) ) & (EF((AG( potential( ( 1 ) <= (tk(P190)) ))))) )
PROPERTY: FlexibleBarrier-PT-20a-CTLCardinality-15 (EU( ( (! potential( ( 1 ) <= (tk(P3)) )) & ( potential( (tk(P20)) <= (tk(P207)) ) & potential( (tk(P151)) <= (tk(P11)) ) ) ),potential( ( 1 ) <= (tk(P189)) ) ))

BK_STOP 1589448505479

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 479 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="FlexibleBarrier-PT-20a"
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 FlexibleBarrier-PT-20a, 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 r078-smll-158922972500387"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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