Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r267-smll-167863541200008.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is MultiwaySync-PT-none, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541200008
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 596K
-rw-r--r-- 1 mcc users 7.4K Feb 25 22:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 25 22:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 22:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 22:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 22:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 25 22:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 22:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 93K Feb 25 22:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 111K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678726703257

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiwaySync-PT-none
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 16:58:26] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 16:58:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 16:58:26] [INFO ] Load time of PNML (sax parser for PT used): 149 ms
[2023-03-13 16:58:26] [INFO ] Transformed 222 places.
[2023-03-13 16:58:26] [INFO ] Transformed 472 transitions.
[2023-03-13 16:58:26] [INFO ] Found NUPN structural information;
[2023-03-13 16:58:26] [INFO ] Parsed PT model containing 222 places and 472 transitions and 1496 arcs in 347 ms.
[2023-03-13 16:58:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 222 places, 472 transitions and 1496 arcs took 16 ms.
Total runtime 429 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running MultiwaySync (PT), instance none
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 222 places, 472 transitions, 1496 arcs.
AT ITER 0 NEW BEST:: SOT 81779 SOS 68511 HAS SOPS 68511 HAS SOUS 37256 HAS SOUPS 37256 WITH SCORE 37324.511
AT ITER 1 NEW BEST:: SOT 81775 SOS 68507 HAS SOPS 68507 HAS SOUS 37248 HAS SOUPS 37248 WITH SCORE 37316.507
AT ITER 3 NEW BEST:: SOT 81776 SOS 68509 HAS SOPS 68509 HAS SOUS 37247 HAS SOUPS 37247 WITH SCORE 37315.509
AT ITER 4 NEW BEST:: SOT 81859 SOS 68272 HAS SOPS 68272 HAS SOUS 36943 HAS SOUPS 36943 WITH SCORE 37011.272
AT ITER 5 NEW BEST:: SOT 81247 SOS 67312 HAS SOPS 67312 HAS SOUS 36811 HAS SOUPS 36811 WITH SCORE 36878.312
AT ITER 10 NEW BEST:: SOT 80527 SOS 66592 HAS SOPS 66592 HAS SOUS 36420 HAS SOUPS 36420 WITH SCORE 36486.592
AT ITER 12 NEW BEST:: SOT 79086 SOS 65186 HAS SOPS 65186 HAS SOUS 35561 HAS SOUPS 35561 WITH SCORE 35626.186
AT ITER 15 NEW BEST:: SOT 79077 SOS 65107 HAS SOPS 65107 HAS SOUS 35430 HAS SOUPS 35430 WITH SCORE 35495.107
AT ITER 22 NEW BEST:: SOT 79061 SOS 65091 HAS SOPS 65091 HAS SOUS 35414 HAS SOUPS 35414 WITH SCORE 35479.091
AT ITER 23 NEW BEST:: SOT 79072 SOS 65124 HAS SOPS 65124 HAS SOUS 35403 HAS SOUPS 35403 WITH SCORE 35468.124
AT ITER 28 NEW BEST:: SOT 79014 SOS 65066 HAS SOPS 65066 HAS SOUS 35385 HAS SOUPS 35385 WITH SCORE 35450.066
AT ITER 29 NEW BEST:: SOT 78998 SOS 65096 HAS SOPS 65096 HAS SOUS 35298 HAS SOUPS 35298 WITH SCORE 35363.096
AT ITER 30 NEW BEST:: SOT 78998 SOS 64912 HAS SOPS 64912 HAS SOUS 35252 HAS SOUPS 35252 WITH SCORE 35316.912
AT ITER 31 NEW BEST:: SOT 78929 SOS 64567 HAS SOPS 64567 HAS SOUS 35114 HAS SOUPS 35114 WITH SCORE 35178.567
AT ITER 32 NEW BEST:: SOT 78711 SOS 64368 HAS SOPS 64368 HAS SOUS 35109 HAS SOUPS 35109 WITH SCORE 35173.368
AT ITER 33 NEW BEST:: SOT 78711 SOS 64341 HAS SOPS 64341 HAS SOUS 35109 HAS SOUPS 35109 WITH SCORE 35173.341
AT ITER 34 NEW BEST:: SOT 78627 SOS 55309 HAS SOPS 55221 HAS SOUS 30761 HAS SOUPS 30673 WITH SCORE 30728.309
AT ITER 35 NEW BEST:: SOT 78627 SOS 55150 HAS SOPS 55062 HAS SOUS 30761 HAS SOUPS 30673 WITH SCORE 30728.15
AT ITER 40 NEW BEST:: SOT 78253 SOS 54695 HAS SOPS 54607 HAS SOUS 30685 HAS SOUPS 30597 WITH SCORE 30651.695
AT ITER 45 NEW BEST:: SOT 78218 SOS 54476 HAS SOPS 54388 HAS SOUS 30572 HAS SOUPS 30484 WITH SCORE 30538.476
AT ITER 49 NEW BEST:: SOT 78213 SOS 54471 HAS SOPS 54383 HAS SOUS 30555 HAS SOUPS 30467 WITH SCORE 30521.471
AT ITER 51 NEW BEST:: SOT 78213 SOS 54444 HAS SOPS 54356 HAS SOUS 30555 HAS SOUPS 30467 WITH SCORE 30521.444
AT ITER 52 NEW BEST:: SOT 78185 SOS 54416 HAS SOPS 54328 HAS SOUS 30537 HAS SOUPS 30449 WITH SCORE 30503.416
AT ITER 54 NEW BEST:: SOT 78349 SOS 54558 HAS SOPS 54470 HAS SOUS 30513 HAS SOUPS 30425 WITH SCORE 30479.558
AT ITER 55 NEW BEST:: SOT 78366 SOS 54646 HAS SOPS 54558 HAS SOUS 30500 HAS SOUPS 30412 WITH SCORE 30466.646
AT ITER 58 NEW BEST:: SOT 78234 SOS 54514 HAS SOPS 54426 HAS SOUS 30434 HAS SOUPS 30346 WITH SCORE 30400.514
AT ITER 61 NEW BEST:: SOT 78255 SOS 54564 HAS SOPS 54476 HAS SOUS 30423 HAS SOUPS 30335 WITH SCORE 30389.564
AT ITER 64 NEW BEST:: SOT 77650 SOS 53959 HAS SOPS 53871 HAS SOUS 30029 HAS SOUPS 29941 WITH SCORE 29994.959
AT ITER 67 NEW BEST:: SOT 77790 SOS 53863 HAS SOPS 53775 HAS SOUS 29952 HAS SOUPS 29864 WITH SCORE 29917.863
AT ITER 74 NEW BEST:: SOT 77787 SOS 53857 HAS SOPS 53769 HAS SOUS 29943 HAS SOUPS 29855 WITH SCORE 29908.857
AT ITER 76 NEW BEST:: SOT 77787 SOS 53783 HAS SOPS 53695 HAS SOUS 29943 HAS SOUPS 29855 WITH SCORE 29908.783
AT ITER 78 NEW BEST:: SOT 77787 SOS 53677 HAS SOPS 53589 HAS SOUS 29910 HAS SOUPS 29822 WITH SCORE 29875.677
AT ITER 79 NEW BEST:: SOT 77646 SOS 53536 HAS SOPS 53448 HAS SOUS 29909 HAS SOUPS 29821 WITH SCORE 29874.536
AT ITER 80 NEW BEST:: SOT 77646 SOS 53416 HAS SOPS 53268 HAS SOUS 29905 HAS SOUPS 29757 WITH SCORE 29810.416
AT ITER 81 NEW BEST:: SOT 77208 SOS 52285 HAS SOPS 52137 HAS SOUS 29406 HAS SOUPS 29258 WITH SCORE 29310.285
AT ITER 85 NEW BEST:: SOT 77194 SOS 52245 HAS SOPS 52110 HAS SOUS 29378 HAS SOUPS 29243 WITH SCORE 29295.245
AT ITER 88 NEW BEST:: SOT 76615 SOS 51607 HAS SOPS 51472 HAS SOUS 28992 HAS SOUPS 28857 WITH SCORE 28908.607
AT ITER 89 NEW BEST:: SOT 76380 SOS 51372 HAS SOPS 51237 HAS SOUS 28940 HAS SOUPS 28805 WITH SCORE 28856.372
AT ITER 94 NEW BEST:: SOT 76341 SOS 50999 HAS SOPS 50864 HAS SOUS 28877 HAS SOUPS 28742 WITH SCORE 28792.999
AT ITER 97 NEW BEST:: SOT 76359 SOS 51107 HAS SOPS 50972 HAS SOUS 28859 HAS SOUPS 28724 WITH SCORE 28775.107
AT ITER 101 NEW BEST:: SOT 76341 SOS 51071 HAS SOPS 50936 HAS SOUS 28804 HAS SOUPS 28669 WITH SCORE 28720.071
AT ITER 102 NEW BEST:: SOT 76408 SOS 51051 HAS SOPS 50916 HAS SOUS 28761 HAS SOUPS 28626 WITH SCORE 28677.051
AT ITER 103 NEW BEST:: SOT 76467 SOS 50567 HAS SOPS 50432 HAS SOUS 28433 HAS SOUPS 28298 WITH SCORE 28348.567
AT ITER 106 NEW BEST:: SOT 76478 SOS 50084 HAS SOPS 49949 HAS SOUS 28163 HAS SOUPS 28028 WITH SCORE 28078.084
AT ITER 109 NEW BEST:: SOT 76447 SOS 49991 HAS SOPS 49856 HAS SOUS 28101 HAS SOUPS 27966 WITH SCORE 28015.991
AT ITER 115 NEW BEST:: SOT 75455 SOS 48999 HAS SOPS 48864 HAS SOUS 27213 HAS SOUPS 27078 WITH SCORE 27126.999
AT ITER 119 NEW BEST:: SOT 75546 SOS 48736 HAS SOPS 48601 HAS SOUS 27127 HAS SOUPS 26992 WITH SCORE 27040.736
AT ITER 120 NEW BEST:: SOT 71180 SOS 53549 HAS SOPS 53549 HAS SOUS 26940 HAS SOUPS 26940 WITH SCORE 26993.549
AT ITER 123 NEW BEST:: SOT 71192 SOS 53549 HAS SOPS 53549 HAS SOUS 26928 HAS SOUPS 26928 WITH SCORE 26981.549
AT ITER 124 NEW BEST:: SOT 70664 SOS 52926 HAS SOPS 52926 HAS SOUS 26862 HAS SOUPS 26862 WITH SCORE 26914.926
AT ITER 127 NEW BEST:: SOT 70629 SOS 52891 HAS SOPS 52891 HAS SOUS 26789 HAS SOUPS 26789 WITH SCORE 26841.891
AT ITER 128 NEW BEST:: SOT 70626 SOS 52879 HAS SOPS 52879 HAS SOUS 26774 HAS SOUPS 26774 WITH SCORE 26826.879
AT ITER 129 NEW BEST:: SOT 70527 SOS 52399 HAS SOPS 52399 HAS SOUS 26363 HAS SOUPS 26363 WITH SCORE 26415.399
AT ITER 131 NEW BEST:: SOT 70477 SOS 52458 HAS SOPS 52458 HAS SOUS 26313 HAS SOUPS 26313 WITH SCORE 26365.458
AT ITER 140 NEW BEST:: SOT 70477 SOS 46441 HAS SOPS 46433 HAS SOUS 25112 HAS SOUPS 25104 WITH SCORE 25150.441
AT ITER 142 NEW BEST:: SOT 70383 SOS 45924 HAS SOPS 45916 HAS SOUS 25027 HAS SOUPS 25019 WITH SCORE 25064.924
AT ITER 161 NEW BEST:: SOT 70363 SOS 45598 HAS SOPS 45590 HAS SOUS 24987 HAS SOUPS 24979 WITH SCORE 25024.598
AT ITER 166 NEW BEST:: SOT 70363 SOS 45597 HAS SOPS 45589 HAS SOUS 24986 HAS SOUPS 24978 WITH SCORE 25023.597
AT ITER 169 NEW BEST:: SOT 70402 SOS 45437 HAS SOPS 45429 HAS SOUS 24782 HAS SOUPS 24774 WITH SCORE 24819.437
AT ITER 175 NEW BEST:: SOT 70621 SOS 45241 HAS SOPS 45233 HAS SOUS 24714 HAS SOUPS 24706 WITH SCORE 24751.241
AT ITER 179 NEW BEST:: SOT 70657 SOS 45219 HAS SOPS 45211 HAS SOUS 24634 HAS SOUPS 24626 WITH SCORE 24671.219
AT ITER 182 NEW BEST:: SOT 70568 SOS 45096 HAS SOPS 45088 HAS SOUS 24597 HAS SOUPS 24589 WITH SCORE 24634.096
AT ITER 185 NEW BEST:: SOT 70568 SOS 45123 HAS SOPS 45115 HAS SOUS 24574 HAS SOUPS 24566 WITH SCORE 24611.123
AT ITER 190 NEW BEST:: SOT 70508 SOS 45063 HAS SOPS 45055 HAS SOUS 24559 HAS SOUPS 24551 WITH SCORE 24596.063
AT ITER 195 NEW BEST:: SOT 70504 SOS 45055 HAS SOPS 45047 HAS SOUS 24551 HAS SOUPS 24543 WITH SCORE 24588.055
AT ITER 200 NEW BEST:: SOT 70469 SOS 44839 HAS SOPS 44831 HAS SOUS 24441 HAS SOUPS 24433 WITH SCORE 24477.839
AT ITER 203 NEW BEST:: SOT 70389 SOS 44616 HAS SOPS 44608 HAS SOUS 24260 HAS SOUPS 24252 WITH SCORE 24296.616
AT ITER 207 NEW BEST:: SOT 70323 SOS 44333 HAS SOPS 44325 HAS SOUS 24172 HAS SOUPS 24164 WITH SCORE 24208.333
AT ITER 217 NEW BEST:: SOT 70293 SOS 44188 HAS SOPS 44180 HAS SOUS 23937 HAS SOUPS 23929 WITH SCORE 23973.188
AT ITER 221 NEW BEST:: SOT 70293 SOS 44174 HAS SOPS 44166 HAS SOUS 23937 HAS SOUPS 23929 WITH SCORE 23973.174
AT ITER 224 NEW BEST:: SOT 70233 SOS 43978 HAS SOPS 43970 HAS SOUS 23279 HAS SOUPS 23271 WITH SCORE 23314.978
AT ITER 229 NEW BEST:: SOT 70324 SOS 43932 HAS SOPS 43924 HAS SOUS 23267 HAS SOUPS 23259 WITH SCORE 23302.932
AT ITER 236 NEW BEST:: SOT 70170 SOS 43246 HAS SOPS 43238 HAS SOUS 22954 HAS SOUPS 22946 WITH SCORE 22989.246
AT ITER 238 NEW BEST:: SOT 70170 SOS 43146 HAS SOPS 43138 HAS SOUS 22954 HAS SOUPS 22946 WITH SCORE 22989.146
AT ITER 242 NEW BEST:: SOT 70157 SOS 43133 HAS SOPS 43125 HAS SOUS 22938 HAS SOUPS 22930 WITH SCORE 22973.133
AT ITER 247 NEW BEST:: SOT 70114 SOS 42679 HAS SOPS 42671 HAS SOUS 22709 HAS SOUPS 22701 WITH SCORE 22743.679
AT ITER 248 NEW BEST:: SOT 70057 SOS 42486 HAS SOPS 42478 HAS SOUS 22520 HAS SOUPS 22512 WITH SCORE 22554.486
AT ITER 249 NEW BEST:: SOT 70183 SOS 42498 HAS SOPS 42490 HAS SOUS 22440 HAS SOUPS 22432 WITH SCORE 22474.498
AT ITER 251 NEW BEST:: SOT 70066 SOS 41885 HAS SOPS 41877 HAS SOUS 22348 HAS SOUPS 22340 WITH SCORE 22381.885
AT ITER 255 NEW BEST:: SOT 70092 SOS 41875 HAS SOPS 41867 HAS SOUS 22338 HAS SOUPS 22330 WITH SCORE 22371.875
AT ITER 258 NEW BEST:: SOT 70069 SOS 41678 HAS SOPS 41670 HAS SOUS 22294 HAS SOUPS 22286 WITH SCORE 22327.678
AT ITER 263 NEW BEST:: SOT 70053 SOS 41633 HAS SOPS 41603 HAS SOUS 22287 HAS SOUPS 22257 WITH SCORE 22298.633
AT ITER 267 NEW BEST:: SOT 70041 SOS 41351 HAS SOPS 41321 HAS SOUS 22216 HAS SOUPS 22186 WITH SCORE 22227.351
AT ITER 275 NEW BEST:: SOT 70032 SOS 41333 HAS SOPS 41303 HAS SOUS 22201 HAS SOUPS 22171 WITH SCORE 22212.333
AT ITER 277 NEW BEST:: SOT 69995 SOS 41092 HAS SOPS 41062 HAS SOUS 22063 HAS SOUPS 22033 WITH SCORE 22074.092
AT ITER 279 NEW BEST:: SOT 69938 SOS 40961 HAS SOPS 40931 HAS SOUS 21975 HAS SOUPS 21945 WITH SCORE 21985.961
AT ITER 284 NEW BEST:: SOT 69938 SOS 40781 HAS SOPS 40751 HAS SOUS 21975 HAS SOUPS 21945 WITH SCORE 21985.781
AT ITER 286 NEW BEST:: SOT 69998 SOS 40892 HAS SOPS 40862 HAS SOUS 21955 HAS SOUPS 21925 WITH SCORE 21965.892
AT ITER 290 NEW BEST:: SOT 70031 SOS 40688 HAS SOPS 40658 HAS SOUS 21897 HAS SOUPS 21867 WITH SCORE 21907.688
AT ITER 291 NEW BEST:: SOT 70023 SOS 40716 HAS SOPS 40686 HAS SOUS 21893 HAS SOUPS 21863 WITH SCORE 21903.716
AT ITER 292 NEW BEST:: SOT 70220 SOS 40863 HAS SOPS 40789 HAS SOUS 21935 HAS SOUPS 21861 WITH SCORE 21901.863
AT ITER 293 NEW BEST:: SOT 70196 SOS 40827 HAS SOPS 40753 HAS SOUS 21887 HAS SOUPS 21813 WITH SCORE 21853.827
AT ITER 294 NEW BEST:: SOT 70606 SOS 36825 HAS SOPS 36614 HAS SOUS 20945 HAS SOUPS 20734 WITH SCORE 20770.825
AT ITER 297 NEW BEST:: SOT 70514 SOS 36695 HAS SOPS 36484 HAS SOUS 20940 HAS SOUPS 20729 WITH SCORE 20765.695
AT ITER 301 NEW BEST:: SOT 70473 SOS 36654 HAS SOPS 36443 HAS SOUS 20935 HAS SOUPS 20724 WITH SCORE 20760.654
AT ITER 302 NEW BEST:: SOT 70636 SOS 36513 HAS SOPS 36302 HAS SOUS 20899 HAS SOUPS 20688 WITH SCORE 20724.513
AT ITER 303 NEW BEST:: SOT 70634 SOS 36511 HAS SOPS 36300 HAS SOUS 20898 HAS SOUPS 20687 WITH SCORE 20723.511
AT ITER 306 NEW BEST:: SOT 70618 SOS 36495 HAS SOPS 36284 HAS SOUS 20864 HAS SOUPS 20653 WITH SCORE 20689.495
AT ITER 307 NEW BEST:: SOT 70839 SOS 36689 HAS SOPS 36478 HAS SOUS 20821 HAS SOUPS 20610 WITH SCORE 20646.689
AT ITER 314 NEW BEST:: SOT 70831 SOS 36766 HAS SOPS 36555 HAS SOUS 20817 HAS SOUPS 20606 WITH SCORE 20642.766
AT ITER 320 NEW BEST:: SOT 70783 SOS 36538 HAS SOPS 36327 HAS SOUS 20669 HAS SOUPS 20458 WITH SCORE 20494.538
AT ITER 322 NEW BEST:: SOT 70729 SOS 36484 HAS SOPS 36273 HAS SOUS 20615 HAS SOUPS 20404 WITH SCORE 20440.484
AT ITER 323 NEW BEST:: SOT 70655 SOS 36453 HAS SOPS 36242 HAS SOUS 20532 HAS SOUPS 20321 WITH SCORE 20357.453
AT ITER 331 NEW BEST:: SOT 70551 SOS 36132 HAS SOPS 35921 HAS SOUS 20350 HAS SOUPS 20139 WITH SCORE 20175.132
AT ITER 332 NEW BEST:: SOT 70552 SOS 36126 HAS SOPS 35915 HAS SOUS 20344 HAS SOUPS 20133 WITH SCORE 20169.126
AT ITER 333 NEW BEST:: SOT 70507 SOS 36014 HAS SOPS 35803 HAS SOUS 20276 HAS SOUPS 20065 WITH SCORE 20101.014
AT ITER 338 NEW BEST:: SOT 70504 SOS 35967 HAS SOPS 35756 HAS SOUS 20275 HAS SOUPS 20064 WITH SCORE 20099.967
AT ITER 339 NEW BEST:: SOT 70503 SOS 35897 HAS SOPS 35686 HAS SOUS 20274 HAS SOUPS 20063 WITH SCORE 20098.897
AT ITER 340 NEW BEST:: SOT 70466 SOS 35983 HAS SOPS 35772 HAS SOUS 20226 HAS SOUPS 20015 WITH SCORE 20050.983
AT ITER 345 NEW BEST:: SOT 70473 SOS 35720 HAS SOPS 35613 HAS SOUS 19946 HAS SOUPS 19839 WITH SCORE 19874.72
AT ITER 347 NEW BEST:: SOT 70473 SOS 35644 HAS SOPS 35537 HAS SOUS 19898 HAS SOUPS 19791 WITH SCORE 19826.644
AT ITER 352 NEW BEST:: SOT 70177 SOS 35295 HAS SOPS 35188 HAS SOUS 19624 HAS SOUPS 19517 WITH SCORE 19552.295
AT ITER 355 NEW BEST:: SOT 70197 SOS 35812 HAS SOPS 35705 HAS SOUS 19611 HAS SOUPS 19504 WITH SCORE 19539.812
AT ITER 363 NEW BEST:: SOT 70179 SOS 35767 HAS SOPS 35660 HAS SOUS 19584 HAS SOUPS 19477 WITH SCORE 19512.767
AT ITER 374 NEW BEST:: SOT 69748 SOS 35458 HAS SOPS 35351 HAS SOUS 19277 HAS SOUPS 19170 WITH SCORE 19205.458
AT ITER 389 NEW BEST:: SOT 69673 SOS 35383 HAS SOPS 35276 HAS SOUS 19247 HAS SOUPS 19140 WITH SCORE 19175.383
AT ITER 399 NEW BEST:: SOT 69697 SOS 35340 HAS SOPS 35233 HAS SOUS 19247 HAS SOUPS 19140 WITH SCORE 19175.34
AT ITER 405 NEW BEST:: SOT 69174 SOS 34820 HAS SOPS 34713 HAS SOUS 18850 HAS SOUPS 18743 WITH SCORE 18777.82
AT ITER 406 NEW BEST:: SOT 69179 SOS 34809 HAS SOPS 34702 HAS SOUS 18798 HAS SOUPS 18691 WITH SCORE 18725.809
AT ITER 419 NEW BEST:: SOT 69203 SOS 34932 HAS SOPS 34825 HAS SOUS 18792 HAS SOUPS 18685 WITH SCORE 18719.932
AT ITER 425 NEW BEST:: SOT 69188 SOS 34913 HAS SOPS 34806 HAS SOUS 18690 HAS SOUPS 18583 WITH SCORE 18617.913
AT ITER 426 NEW BEST:: SOT 68824 SOS 34613 HAS SOPS 34506 HAS SOUS 18678 HAS SOUPS 18571 WITH SCORE 18605.613
AT ITER 433 NEW BEST:: SOT 68909 SOS 34591 HAS SOPS 34388 HAS SOUS 18708 HAS SOUPS 18505 WITH SCORE 18539.591
AT ITER 434 NEW BEST:: SOT 68909 SOS 34575 HAS SOPS 34372 HAS SOUS 18692 HAS SOUPS 18489 WITH SCORE 18523.575
AT ITER 446 NEW BEST:: SOT 68888 SOS 34407 HAS SOPS 34204 HAS SOUS 18671 HAS SOUPS 18468 WITH SCORE 18502.407
AT ITER 458 NEW BEST:: SOT 68888 SOS 34212 HAS SOPS 34009 HAS SOUS 18671 HAS SOUPS 18468 WITH SCORE 18502.212
AT ITER 462 NEW BEST:: SOT 68732 SOS 34069 HAS SOPS 33866 HAS SOUS 18582 HAS SOUPS 18379 WITH SCORE 18413.069
AT ITER 476 NEW BEST:: SOT 68720 SOS 34045 HAS SOPS 33842 HAS SOUS 18558 HAS SOUPS 18355 WITH SCORE 18389.045
AT ITER 477 NEW BEST:: SOT 68715 SOS 34040 HAS SOPS 33837 HAS SOUS 18481 HAS SOUPS 18278 WITH SCORE 18312.04
AT ITER 484 NEW BEST:: SOT 68726 SOS 34043 HAS SOPS 33840 HAS SOUS 18451 HAS SOUPS 18248 WITH SCORE 18282.043
AT ITER 486 NEW BEST:: SOT 68433 SOS 33641 HAS SOPS 33438 HAS SOUS 18290 HAS SOUPS 18087 WITH SCORE 18120.641
AT ITER 491 NEW BEST:: SOT 68457 SOS 33619 HAS SOPS 33416 HAS SOUS 18283 HAS SOUPS 18080 WITH SCORE 18113.619
AT ITER 502 NEW BEST:: SOT 68469 SOS 33178 HAS SOPS 32975 HAS SOUS 18257 HAS SOUPS 18054 WITH SCORE 18087.178
AT ITER 512 NEW BEST:: SOT 68373 SOS 32738 HAS SOPS 32535 HAS SOUS 18142 HAS SOUPS 17939 WITH SCORE 17971.738
AT ITER 514 NEW BEST:: SOT 68370 SOS 32662 HAS SOPS 32456 HAS SOUS 18116 HAS SOUPS 17910 WITH SCORE 17942.662
AT ITER 524 NEW BEST:: SOT 68265 SOS 32539 HAS SOPS 32333 HAS SOUS 18024 HAS SOUPS 17818 WITH SCORE 17850.539
AT ITER 540 NEW BEST:: SOT 68397 SOS 32405 HAS SOPS 32199 HAS SOUS 17995 HAS SOUPS 17789 WITH SCORE 17821.405
AT ITER 542 NEW BEST:: SOT 68354 SOS 32365 HAS SOPS 32159 HAS SOUS 17888 HAS SOUPS 17682 WITH SCORE 17714.365
AT ITER 543 NEW BEST:: SOT 68356 SOS 32370 HAS SOPS 32164 HAS SOUS 17886 HAS SOUPS 17680 WITH SCORE 17712.37
AT ITER 544 NEW BEST:: SOT 68135 SOS 32224 HAS SOPS 32018 HAS SOUS 17800 HAS SOUPS 17594 WITH SCORE 17626.224
AT ITER 554 NEW BEST:: SOT 68434 SOS 32410 HAS SOPS 32204 HAS SOUS 17729 HAS SOUPS 17523 WITH SCORE 17555.41
AT ITER 556 NEW BEST:: SOT 67712 SOS 31654 HAS SOPS 31448 HAS SOUS 17502 HAS SOUPS 17296 WITH SCORE 17327.654
AT ITER 557 NEW BEST:: SOT 67720 SOS 31662 HAS SOPS 31456 HAS SOUS 17494 HAS SOUPS 17288 WITH SCORE 17319.662
AT ITER 564 NEW BEST:: SOT 67792 SOS 31734 HAS SOPS 31528 HAS SOUS 17452 HAS SOUPS 17246 WITH SCORE 17277.734
AT ITER 583 NEW BEST:: SOT 67772 SOS 31714 HAS SOPS 31508 HAS SOUS 17447 HAS SOUPS 17241 WITH SCORE 17272.714
AT ITER 584 NEW BEST:: SOT 67781 SOS 31474 HAS SOPS 31268 HAS SOUS 17203 HAS SOUPS 16997 WITH SCORE 17028.474
AT ITER 586 NEW BEST:: SOT 67781 SOS 31366 HAS SOPS 31160 HAS SOUS 17185 HAS SOUPS 16979 WITH SCORE 17010.366
AT ITER 598 NEW BEST:: SOT 67751 SOS 31228 HAS SOPS 31022 HAS SOUS 17155 HAS SOUPS 16949 WITH SCORE 16980.228
AT ITER 601 NEW BEST:: SOT 67515 SOS 30940 HAS SOPS 30734 HAS SOUS 17034 HAS SOUPS 16828 WITH SCORE 16858.94
AT ITER 602 NEW BEST:: SOT 67515 SOS 30524 HAS SOPS 30318 HAS SOUS 17029 HAS SOUPS 16823 WITH SCORE 16853.524
AT ITER 607 NEW BEST:: SOT 67457 SOS 30532 HAS SOPS 30326 HAS SOUS 16986 HAS SOUPS 16780 WITH SCORE 16810.532
AT ITER 619 NEW BEST:: SOT 67453 SOS 30532 HAS SOPS 30326 HAS SOUS 16982 HAS SOUPS 16776 WITH SCORE 16806.532
AT ITER 630 NEW BEST:: SOT 67407 SOS 30706 HAS SOPS 30500 HAS SOUS 16866 HAS SOUPS 16660 WITH SCORE 16690.706
AT ITER 640 NEW BEST:: SOT 67407 SOS 30613 HAS SOPS 30407 HAS SOUS 16835 HAS SOUPS 16629 WITH SCORE 16659.613
AT ITER 647 NEW BEST:: SOT 67357 SOS 30557 HAS SOPS 30351 HAS SOUS 16799 HAS SOUPS 16593 WITH SCORE 16623.557
AT ITER 648 NEW BEST:: SOT 67325 SOS 30394 HAS SOPS 30188 HAS SOUS 16799 HAS SOUPS 16593 WITH SCORE 16623.394
AT ITER 651 NEW BEST:: SOT 67310 SOS 30379 HAS SOPS 30173 HAS SOUS 16787 HAS SOUPS 16581 WITH SCORE 16611.379
AT ITER 653 NEW BEST:: SOT 67308 SOS 30377 HAS SOPS 30171 HAS SOUS 16783 HAS SOUPS 16577 WITH SCORE 16607.377
AT ITER 660 NEW BEST:: SOT 67296 SOS 30329 HAS SOPS 30123 HAS SOUS 16771 HAS SOUPS 16565 WITH SCORE 16595.329
AT ITER 663 NEW BEST:: SOT 67168 SOS 30199 HAS SOPS 29993 HAS SOUS 16713 HAS SOUPS 16507 WITH SCORE 16537.199
AT ITER 671 NEW BEST:: SOT 67319 SOS 30308 HAS SOPS 30102 HAS SOUS 16651 HAS SOUPS 16445 WITH SCORE 16475.308
AT ITER 682 NEW BEST:: SOT 67319 SOS 30272 HAS SOPS 30066 HAS SOUS 16615 HAS SOUPS 16409 WITH SCORE 16439.272
AT ITER 688 NEW BEST:: SOT 67317 SOS 30264 HAS SOPS 30058 HAS SOUS 16612 HAS SOUPS 16406 WITH SCORE 16436.264
AT ITER 692 NEW BEST:: SOT 67293 SOS 30198 HAS SOPS 29992 HAS SOUS 16580 HAS SOUPS 16374 WITH SCORE 16404.198
AT ITER 698 NEW BEST:: SOT 67293 SOS 30154 HAS SOPS 29948 HAS SOUS 16580 HAS SOUPS 16374 WITH SCORE 16404.154
AT ITER 717 NEW BEST:: SOT 67284 SOS 30137 HAS SOPS 29931 HAS SOUS 16547 HAS SOUPS 16341 WITH SCORE 16371.137
AT ITER 720 NEW BEST:: SOT 67284 SOS 30141 HAS SOPS 29935 HAS SOUS 16533 HAS SOUPS 16327 WITH SCORE 16357.141
AT ITER 723 NEW BEST:: SOT 67334 SOS 30176 HAS SOPS 29985 HAS SOUS 16511 HAS SOUPS 16320 WITH SCORE 16350.176
AT ITER 726 NEW BEST:: SOT 67228 SOS 30082 HAS SOPS 29891 HAS SOUS 16507 HAS SOUPS 16316 WITH SCORE 16346.082
AT ITER 727 NEW BEST:: SOT 67225 SOS 30030 HAS SOPS 29816 HAS SOUS 16524 HAS SOUPS 16310 WITH SCORE 16340.03
AT ITER 736 NEW BEST:: SOT 67245 SOS 30070 HAS SOPS 29856 HAS SOUS 16484 HAS SOUPS 16270 WITH SCORE 16300.07
AT ITER 738 NEW BEST:: SOT 67302 SOS 30150 HAS SOPS 29936 HAS SOUS 16475 HAS SOUPS 16261 WITH SCORE 16291.15
AT ITER 740 NEW BEST:: SOT 67318 SOS 30166 HAS SOPS 29952 HAS SOUS 16381 HAS SOUPS 16167 WITH SCORE 16197.166
AT ITER 742 NEW BEST:: SOT 66933 SOS 30011 HAS SOPS 29797 HAS SOUS 16322 HAS SOUPS 16108 WITH SCORE 16138.011
AT ITER 748 NEW BEST:: SOT 66940 SOS 30025 HAS SOPS 29811 HAS SOUS 16314 HAS SOUPS 16100 WITH SCORE 16130.025
AT ITER 750 NEW BEST:: SOT 66928 SOS 30001 HAS SOPS 29787 HAS SOUS 16296 HAS SOUPS 16082 WITH SCORE 16112.001
AT ITER 762 NEW BEST:: SOT 67109 SOS 30025 HAS SOPS 29811 HAS SOUS 16291 HAS SOUPS 16077 WITH SCORE 16107.025
AT ITER 770 NEW BEST:: SOT 67089 SOS 30033 HAS SOPS 29819 HAS SOUS 16271 HAS SOUPS 16057 WITH SCORE 16087.033
AT ITER 774 NEW BEST:: SOT 67075 SOS 30012 HAS SOPS 29798 HAS SOUS 16271 HAS SOUPS 16057 WITH SCORE 16087.012
AT ITER 777 NEW BEST:: SOT 67070 SOS 30007 HAS SOPS 29793 HAS SOUS 16266 HAS SOUPS 16052 WITH SCORE 16082.007
AT ITER 783 NEW BEST:: SOT 66859 SOS 29711 HAS SOPS 29497 HAS SOUS 16262 HAS SOUPS 16048 WITH SCORE 16077.711
AT ITER 803 NEW BEST:: SOT 66696 SOS 29463 HAS SOPS 29249 HAS SOUS 16237 HAS SOUPS 16023 WITH SCORE 16052.463
AT ITER 817 NEW BEST:: SOT 66666 SOS 29511 HAS SOPS 29297 HAS SOUS 16190 HAS SOUPS 15976 WITH SCORE 16005.511
AT ITER 824 NEW BEST:: SOT 66664 SOS 29509 HAS SOPS 29295 HAS SOUS 16188 HAS SOUPS 15974 WITH SCORE 16003.509
AT ITER 837 NEW BEST:: SOT 66654 SOS 29479 HAS SOPS 29265 HAS SOUS 16168 HAS SOUPS 15954 WITH SCORE 15983.479
AT ITER 878 NEW BEST:: SOT 66599 SOS 29411 HAS SOPS 29197 HAS SOUS 16152 HAS SOUPS 15938 WITH SCORE 15967.411
AT ITER 880 NEW BEST:: SOT 66522 SOS 29249 HAS SOPS 29035 HAS SOUS 15987 HAS SOUPS 15773 WITH SCORE 15802.249
AT ITER 906 NEW BEST:: SOT 66518 SOS 29132 HAS SOPS 28918 HAS SOUS 15890 HAS SOUPS 15676 WITH SCORE 15705.132
AT ITER 915 NEW BEST:: SOT 66529 SOS 29143 HAS SOPS 28929 HAS SOUS 15857 HAS SOUPS 15643 WITH SCORE 15672.143
AT ITER 929 NEW BEST:: SOT 66465 SOS 29083 HAS SOPS 28869 HAS SOUS 15837 HAS SOUPS 15623 WITH SCORE 15652.083
AT ITER 945 NEW BEST:: SOT 66429 SOS 29020 HAS SOPS 28806 HAS SOUS 15828 HAS SOUPS 15614 WITH SCORE 15643.02
AT ITER 952 NEW BEST:: SOT 66213 SOS 28804 HAS SOPS 28590 HAS SOUS 15804 HAS SOUPS 15590 WITH SCORE 15618.804
AT ITER 955 NEW BEST:: SOT 66263 SOS 28854 HAS SOPS 28640 HAS SOUS 15794 HAS SOUPS 15580 WITH SCORE 15608.854
AT ITER 956 NEW BEST:: SOT 66429 SOS 28906 HAS SOPS 28692 HAS SOUS 15759 HAS SOUPS 15545 WITH SCORE 15573.906
AT ITER 969 NEW BEST:: SOT 66429 SOS 28957 HAS SOPS 28743 HAS SOUS 15742 HAS SOUPS 15528 WITH SCORE 15556.957
AT ITER 973 NEW BEST:: SOT 66429 SOS 28939 HAS SOPS 28725 HAS SOUS 15742 HAS SOUPS 15528 WITH SCORE 15556.939
AT ITER 982 NEW BEST:: SOT 66441 SOS 28942 HAS SOPS 28728 HAS SOUS 15718 HAS SOUPS 15504 WITH SCORE 15532.942
AT ITER 986 NEW BEST:: SOT 66445 SOS 28906 HAS SOPS 28692 HAS SOUS 15709 HAS SOUPS 15495 WITH SCORE 15523.906
AT ITER 990 NEW BEST:: SOT 66443 SOS 28898 HAS SOPS 28684 HAS SOUS 15602 HAS SOUPS 15388 WITH SCORE 15416.898
AT ITER 1000 NEW BEST:: SOT 66477 SOS 28916 HAS SOPS 28702 HAS SOUS 15598 HAS SOUPS 15384 WITH SCORE 15412.916
AT ITER 1009 NEW BEST:: SOT 66509 SOS 28896 HAS SOPS 28682 HAS SOUS 15598 HAS SOUPS 15384 WITH SCORE 15412.896
AT ITER 1012 NEW BEST:: SOT 66508 SOS 28892 HAS SOPS 28678 HAS SOUS 15597 HAS SOUPS 15383 WITH SCORE 15411.892
AT ITER 1039 NEW BEST:: SOT 66507 SOS 28910 HAS SOPS 28696 HAS SOUS 15594 HAS SOUPS 15380 WITH SCORE 15408.91
AT ITER 1040 NEW BEST:: SOT 66499 SOS 28887 HAS SOPS 28673 HAS SOUS 15553 HAS SOUPS 15339 WITH SCORE 15367.887
AT ITER 1060 NEW BEST:: SOT 66297 SOS 28596 HAS SOPS 28382 HAS SOUS 15422 HAS SOUPS 15208 WITH SCORE 15236.596
AT ITER 1062 NEW BEST:: SOT 66295 SOS 28593 HAS SOPS 28379 HAS SOUS 15419 HAS SOUPS 15205 WITH SCORE 15233.593
AT ITER 1077 NEW BEST:: SOT 66286 SOS 28581 HAS SOPS 28367 HAS SOUS 15407 HAS SOUPS 15193 WITH SCORE 15221.581
AT ITER 1079 NEW BEST:: SOT 66282 SOS 28575 HAS SOPS 28361 HAS SOUS 15399 HAS SOUPS 15185 WITH SCORE 15213.575
AT ITER 1080 NEW BEST:: SOT 66279 SOS 28572 HAS SOPS 28358 HAS SOUS 15399 HAS SOUPS 15185 WITH SCORE 15213.572
AT ITER 1081 NEW BEST:: SOT 66247 SOS 28530 HAS SOPS 28316 HAS SOUS 15312 HAS SOUPS 15098 WITH SCORE 15126.53
AT ITER 1084 NEW BEST:: SOT 66195 SOS 28294 HAS SOPS 28080 HAS SOUS 15260 HAS SOUPS 15046 WITH SCORE 15074.294
AT ITER 1086 NEW BEST:: SOT 65942 SOS 28243 HAS SOPS 28029 HAS SOUS 15221 HAS SOUPS 15007 WITH SCORE 15035.243
AT ITER 1096 NEW BEST:: SOT 65695 SOS 27967 HAS SOPS 27753 HAS SOUS 15174 HAS SOUPS 14960 WITH SCORE 14987.967
AT ITER 1117 NEW BEST:: SOT 65666 SOS 27880 HAS SOPS 27666 HAS SOUS 15155 HAS SOUPS 14941 WITH SCORE 14968.88
AT ITER 1122 NEW BEST:: SOT 65845 SOS 27676 HAS SOPS 27462 HAS SOUS 14966 HAS SOUPS 14752 WITH SCORE 14779.676
AT ITER 1135 NEW BEST:: SOT 65745 SOS 27551 HAS SOPS 27337 HAS SOUS 14916 HAS SOUPS 14702 WITH SCORE 14729.551
AT ITER 1140 NEW BEST:: SOT 65691 SOS 27497 HAS SOPS 27283 HAS SOUS 14862 HAS SOUPS 14648 WITH SCORE 14675.497
AT ITER 1149 NEW BEST:: SOT 65682 SOS 27488 HAS SOPS 27274 HAS SOUS 14862 HAS SOUPS 14648 WITH SCORE 14675.488
AT ITER 1162 NEW BEST:: SOT 65672 SOS 27458 HAS SOPS 27244 HAS SOUS 14852 HAS SOUPS 14638 WITH SCORE 14665.458
AT ITER 1164 NEW BEST:: SOT 65668 SOS 27454 HAS SOPS 27240 HAS SOUS 14844 HAS SOUPS 14630 WITH SCORE 14657.454
AT ITER 1194 NEW BEST:: SOT 65592 SOS 27310 HAS SOPS 27096 HAS SOUS 14821 HAS SOUPS 14607 WITH SCORE 14634.31
AT ITER 1211 NEW BEST:: SOT 65590 SOS 27311 HAS SOPS 27097 HAS SOUS 14818 HAS SOUPS 14604 WITH SCORE 14631.311
AT ITER 1213 NEW BEST:: SOT 65843 SOS 27565 HAS SOPS 27254 HAS SOUS 14900 HAS SOUPS 14589 WITH SCORE 14616.565
AT ITER 1219 NEW BEST:: SOT 65843 SOS 27547 HAS SOPS 27227 HAS SOUS 14909 HAS SOUPS 14589 WITH SCORE 14616.547
AT ITER 1227 NEW BEST:: SOT 65772 SOS 27400 HAS SOPS 27080 HAS SOUS 14904 HAS SOUPS 14584 WITH SCORE 14611.4
AT ITER 1233 NEW BEST:: SOT 65780 SOS 27408 HAS SOPS 27088 HAS SOUS 14900 HAS SOUPS 14580 WITH SCORE 14607.408
AT ITER 1237 NEW BEST:: SOT 65780 SOS 27406 HAS SOPS 27086 HAS SOUS 14900 HAS SOUPS 14580 WITH SCORE 14607.406
AT ITER 1252 NEW BEST:: SOT 65772 SOS 27402 HAS SOPS 27082 HAS SOUS 14896 HAS SOUPS 14576 WITH SCORE 14603.402
AT ITER 1253 NEW BEST:: SOT 65771 SOS 27401 HAS SOPS 27081 HAS SOUS 14895 HAS SOUPS 14575 WITH SCORE 14602.401
AT ITER 1276 NEW BEST:: SOT 65545 SOS 27082 HAS SOPS 26762 HAS SOUS 14779 HAS SOUPS 14459 WITH SCORE 14486.082
AT ITER 1282 NEW BEST:: SOT 65544 SOS 27087 HAS SOPS 26767 HAS SOUS 14772 HAS SOUPS 14452 WITH SCORE 14479.087
AT ITER 1283 NEW BEST:: SOT 65443 SOS 27083 HAS SOPS 26763 HAS SOUS 14768 HAS SOUPS 14448 WITH SCORE 14475.083
AT ITER 1316 NEW BEST:: SOT 65443 SOS 27107 HAS SOPS 26787 HAS SOUS 14760 HAS SOUPS 14440 WITH SCORE 14467.107
AT ITER 1331 NEW BEST:: SOT 65443 SOS 27078 HAS SOPS 26758 HAS SOUS 14731 HAS SOUPS 14411 WITH SCORE 14438.078
AT ITER 1340 NEW BEST:: SOT 65315 SOS 27001 HAS SOPS 26681 HAS SOUS 14569 HAS SOUPS 14249 WITH SCORE 14276.001
AT ITER 1364 NEW BEST:: SOT 65280 SOS 26966 HAS SOPS 26646 HAS SOUS 14534 HAS SOUPS 14214 WITH SCORE 14240.966
AT ITER 1368 NEW BEST:: SOT 65280 SOS 26956 HAS SOPS 26636 HAS SOUS 14534 HAS SOUPS 14214 WITH SCORE 14240.956
AT ITER 1371 NEW BEST:: SOT 65230 SOS 26986 HAS SOPS 26666 HAS SOUS 14516 HAS SOUPS 14196 WITH SCORE 14222.986
AT ITER 1375 NEW BEST:: SOT 65110 SOS 26880 HAS SOPS 26560 HAS SOUS 14474 HAS SOUPS 14154 WITH SCORE 14180.88
AT ITER 1395 NEW BEST:: SOT 65095 SOS 26898 HAS SOPS 26578 HAS SOUS 14436 HAS SOUPS 14116 WITH SCORE 14142.898
AT ITER 1405 NEW BEST:: SOT 65093 SOS 26895 HAS SOPS 26575 HAS SOUS 14432 HAS SOUPS 14112 WITH SCORE 14138.895
AT ITER 1406 NEW BEST:: SOT 64999 SOS 26787 HAS SOPS 26467 HAS SOUS 14403 HAS SOUPS 14083 WITH SCORE 14109.787
AT ITER 1419 NEW BEST:: SOT 64981 SOS 26769 HAS SOPS 26449 HAS SOUS 14369 HAS SOUPS 14049 WITH SCORE 14075.769
AT ITER 1426 NEW BEST:: SOT 64877 SOS 26561 HAS SOPS 26241 HAS SOUS 14265 HAS SOUPS 13945 WITH SCORE 13971.561
AT ITER 1441 NEW BEST:: SOT 64865 SOS 26521 HAS SOPS 26201 HAS SOUS 14239 HAS SOUPS 13919 WITH SCORE 13945.521
AT ITER 1447 NEW BEST:: SOT 64816 SOS 25651 HAS SOPS 25331 HAS SOUS 14235 HAS SOUPS 13915 WITH SCORE 13940.651
AT ITER 1452 NEW BEST:: SOT 64785 SOS 25633 HAS SOPS 25313 HAS SOUS 14229 HAS SOUPS 13909 WITH SCORE 13934.633
AT ITER 1457 NEW BEST:: SOT 64760 SOS 25608 HAS SOPS 25288 HAS SOUS 14170 HAS SOUPS 13850 WITH SCORE 13875.608
AT ITER 1461 NEW BEST:: SOT 64534 SOS 25951 HAS SOPS 25649 HAS SOUS 14091 HAS SOUPS 13789 WITH SCORE 13814.951
AT ITER 1479 NEW BEST:: SOT 64546 SOS 25876 HAS SOPS 25574 HAS SOUS 14073 HAS SOUPS 13771 WITH SCORE 13796.876
AT ITER 1489 NEW BEST:: SOT 64545 SOS 25872 HAS SOPS 25570 HAS SOUS 14073 HAS SOUPS 13771 WITH SCORE 13796.872
AT ITER 1503 NEW BEST:: SOT 64571 SOS 25872 HAS SOPS 25570 HAS SOUS 14061 HAS SOUPS 13759 WITH SCORE 13784.872
AT ITER 1511 NEW BEST:: SOT 64471 SOS 25704 HAS SOPS 25402 HAS SOUS 13987 HAS SOUPS 13685 WITH SCORE 13710.704
AT ITER 1523 NEW BEST:: SOT 64462 SOS 25716 HAS SOPS 25414 HAS SOUS 13985 HAS SOUPS 13683 WITH SCORE 13708.716
AT ITER 1542 NEW BEST:: SOT 64402 SOS 25802 HAS SOPS 25500 HAS SOUS 13899 HAS SOUPS 13597 WITH SCORE 13622.802
AT ITER 1551 NEW BEST:: SOT 64342 SOS 25617 HAS SOPS 25315 HAS SOUS 13775 HAS SOUPS 13473 WITH SCORE 13498.617
AT ITER 1558 NEW BEST:: SOT 64342 SOS 25601 HAS SOPS 25299 HAS SOUS 13759 HAS SOUPS 13457 WITH SCORE 13482.601
AT ITER 1559 NEW BEST:: SOT 64576 SOS 25766 HAS SOPS 25464 HAS SOUS 13695 HAS SOUPS 13393 WITH SCORE 13418.766
AT ITER 1570 NEW BEST:: SOT 64576 SOS 25766 HAS SOPS 25464 HAS SOUS 13691 HAS SOUPS 13389 WITH SCORE 13414.766
AT ITER 1604 NEW BEST:: SOT 64373 SOS 25242 HAS SOPS 24940 HAS SOUS 13604 HAS SOUPS 13302 WITH SCORE 13327.242
AT ITER 1605 NEW BEST:: SOT 64368 SOS 25236 HAS SOPS 24934 HAS SOUS 13599 HAS SOUPS 13297 WITH SCORE 13322.236
AT ITER 1613 NEW BEST:: SOT 64282 SOS 25062 HAS SOPS 24760 HAS SOUS 13506 HAS SOUPS 13204 WITH SCORE 13229.062
AT ITER 1621 NEW BEST:: SOT 64266 SOS 25022 HAS SOPS 24720 HAS SOUS 13466 HAS SOUPS 13164 WITH SCORE 13189.022
AT ITER 1623 NEW BEST:: SOT 64145 SOS 24888 HAS SOPS 24586 HAS SOUS 13304 HAS SOUPS 13002 WITH SCORE 13026.888
AT ITER 1634 NEW BEST:: SOT 64052 SOS 24788 HAS SOPS 24486 HAS SOUS 13287 HAS SOUPS 12985 WITH SCORE 13009.788
AT ITER 1669 NEW BEST:: SOT 64052 SOS 24788 HAS SOPS 24486 HAS SOUS 13276 HAS SOUPS 12974 WITH SCORE 12998.788
AT ITER 1670 NEW BEST:: SOT 64048 SOS 24782 HAS SOPS 24480 HAS SOUS 13272 HAS SOUPS 12970 WITH SCORE 12994.782
AT ITER 1681 NEW BEST:: SOT 64032 SOS 24778 HAS SOPS 24476 HAS SOUS 13267 HAS SOUPS 12965 WITH SCORE 12989.778
AT ITER 1682 NEW BEST:: SOT 63896 SOS 24617 HAS SOPS 24315 HAS SOUS 13223 HAS SOUPS 12921 WITH SCORE 12945.617
AT ITER 1707 NEW BEST:: SOT 63898 SOS 24595 HAS SOPS 24293 HAS SOUS 13171 HAS SOUPS 12869 WITH SCORE 12893.595
AT ITER 1714 NEW BEST:: SOT 63889 SOS 24577 HAS SOPS 24275 HAS SOUS 13170 HAS SOUPS 12868 WITH SCORE 12892.577
AT ITER 1739 NEW BEST:: SOT 64214 SOS 24892 HAS SOPS 24590 HAS SOUS 13133 HAS SOUPS 12831 WITH SCORE 12855.892
AT ITER 1772 NEW BEST:: SOT 64212 SOS 24891 HAS SOPS 24589 HAS SOUS 13128 HAS SOUPS 12826 WITH SCORE 12850.891
AT ITER 1780 NEW BEST:: SOT 64176 SOS 24829 HAS SOPS 24527 HAS SOUS 13010 HAS SOUPS 12708 WITH SCORE 12732.829
AT ITER 1782 NEW BEST:: SOT 64168 SOS 24813 HAS SOPS 24511 HAS SOUS 13000 HAS SOUPS 12698 WITH SCORE 12722.813
AT ITER 1784 NEW BEST:: SOT 63988 SOS 24633 HAS SOPS 24331 HAS SOUS 12950 HAS SOUPS 12648 WITH SCORE 12672.633
AT ITER 1788 NEW BEST:: SOT 63988 SOS 24633 HAS SOPS 24331 HAS SOUS 12864 HAS SOUPS 12562 WITH SCORE 12586.633
AT ITER 1791 NEW BEST:: SOT 63958 SOS 24597 HAS SOPS 24295 HAS SOUS 12852 HAS SOUPS 12550 WITH SCORE 12574.597
AT ITER 1798 NEW BEST:: SOT 63954 SOS 24581 HAS SOPS 24279 HAS SOUS 12849 HAS SOUPS 12547 WITH SCORE 12571.581
AT ITER 1810 NEW BEST:: SOT 63958 SOS 24525 HAS SOPS 24223 HAS SOUS 12837 HAS SOUPS 12535 WITH SCORE 12559.525
AT ITER 1864 NEW BEST:: SOT 63956 SOS 24521 HAS SOPS 24219 HAS SOUS 12823 HAS SOUPS 12521 WITH SCORE 12545.521
AT ITER 1867 NEW BEST:: SOT 63952 SOS 24513 HAS SOPS 24211 HAS SOUS 12821 HAS SOUPS 12519 WITH SCORE 12543.513
AT ITER 1879 NEW BEST:: SOT 63948 SOS 24509 HAS SOPS 24207 HAS SOUS 12821 HAS SOUPS 12519 WITH SCORE 12543.509
AT ITER 1889 NEW BEST:: SOT 63960 SOS 24521 HAS SOPS 24219 HAS SOUS 12785 HAS SOUPS 12483 WITH SCORE 12507.521
AT ITER 1891 NEW BEST:: SOT 63903 SOS 24434 HAS SOPS 24132 HAS SOUS 12707 HAS SOUPS 12405 WITH SCORE 12429.434
AT ITER 1902 NEW BEST:: SOT 63882 SOS 24398 HAS SOPS 24096 HAS SOUS 12695 HAS SOUPS 12393 WITH SCORE 12417.398
AT ITER 1906 NEW BEST:: SOT 63863 SOS 24379 HAS SOPS 24077 HAS SOUS 12657 HAS SOUPS 12355 WITH SCORE 12379.379
AT ITER 1908 NEW BEST:: SOT 63821 SOS 24337 HAS SOPS 24035 HAS SOUS 12643 HAS SOUPS 12341 WITH SCORE 12365.337
AT ITER 1912 NEW BEST:: SOT 63812 SOS 24184 HAS SOPS 23882 HAS SOUS 12634 HAS SOUPS 12332 WITH SCORE 12356.184
AT ITER 1927 NEW BEST:: SOT 63794 SOS 24160 HAS SOPS 23858 HAS SOUS 12616 HAS SOUPS 12314 WITH SCORE 12338.16
AT ITER 1932 NEW BEST:: SOT 63794 SOS 24158 HAS SOPS 23856 HAS SOUS 12615 HAS SOUPS 12313 WITH SCORE 12337.158
AT ITER 1934 NEW BEST:: SOT 63708 SOS 23972 HAS SOPS 23670 HAS SOUS 12519 HAS SOUPS 12217 WITH SCORE 12240.972
AT ITER 1941 NEW BEST:: SOT 63702 SOS 23954 HAS SOPS 23652 HAS SOUS 12507 HAS SOUPS 12205 WITH SCORE 12228.954
AT ITER 1957 NEW BEST:: SOT 63729 SOS 23987 HAS SOPS 23685 HAS SOUS 12506 HAS SOUPS 12204 WITH SCORE 12227.987
AT ITER 1958 NEW BEST:: SOT 63712 SOS 23937 HAS SOPS 23635 HAS SOUS 12467 HAS SOUPS 12165 WITH SCORE 12188.937
AT ITER 1993 NEW BEST:: SOT 63700 SOS 23919 HAS SOPS 23617 HAS SOUS 12449 HAS SOUPS 12147 WITH SCORE 12170.919
AT ITER 1999 NEW BEST:: SOT 63660 SOS 23852 HAS SOPS 23550 HAS SOUS 12431 HAS SOUPS 12129 WITH SCORE 12152.852
AT ITER 2010 NEW BEST:: SOT 63663 SOS 23827 HAS SOPS 23525 HAS SOUS 12410 HAS SOUPS 12108 WITH SCORE 12131.827
AT ITER 2032 NEW BEST:: SOT 63658 SOS 23796 HAS SOPS 23494 HAS SOUS 12409 HAS SOUPS 12107 WITH SCORE 12130.796
AT ITER 2041 NEW BEST:: SOT 63794 SOS 23932 HAS SOPS 23630 HAS SOUS 12371 HAS SOUPS 12069 WITH SCORE 12092.932
AT ITER 2045 NEW BEST:: SOT 63786 SOS 23940 HAS SOPS 23638 HAS SOUS 12363 HAS SOUPS 12061 WITH SCORE 12084.94
AT ITER 2068 NEW BEST:: SOT 63764 SOS 23926 HAS SOPS 23624 HAS SOUS 12352 HAS SOUPS 12050 WITH SCORE 12073.926
AT ITER 2076 NEW BEST:: SOT 63766 SOS 23924 HAS SOPS 23622 HAS SOUS 12350 HAS SOUPS 12048 WITH SCORE 12071.924
AT ITER 2077 NEW BEST:: SOT 63758 SOS 23908 HAS SOPS 23606 HAS SOUS 12346 HAS SOUPS 12044 WITH SCORE 12067.908
AT ITER 2085 NEW BEST:: SOT 63748 SOS 23822 HAS SOPS 23520 HAS SOUS 12302 HAS SOUPS 12000 WITH SCORE 12023.822
AT ITER 2103 NEW BEST:: SOT 63733 SOS 23782 HAS SOPS 23480 HAS SOUS 12277 HAS SOUPS 11975 WITH SCORE 11998.782
AT ITER 2111 NEW BEST:: SOT 63704 SOS 23811 HAS SOPS 23509 HAS SOUS 12262 HAS SOUPS 11960 WITH SCORE 11983.811
AT ITER 2139 NEW BEST:: SOT 63664 SOS 23617 HAS SOPS 23315 HAS SOUS 12144 HAS SOUPS 11842 WITH SCORE 11865.617
AT ITER 2155 NEW BEST:: SOT 63663 SOS 23605 HAS SOPS 23303 HAS SOUS 12142 HAS SOUPS 11840 WITH SCORE 11863.605
AT ITER 2162 NEW BEST:: SOT 63715 SOS 23180 HAS SOPS 22860 HAS SOUS 12089 HAS SOUPS 11769 WITH SCORE 11792.18
AT ITER 2171 NEW BEST:: SOT 63691 SOS 23148 HAS SOPS 22828 HAS SOUS 12052 HAS SOUPS 11732 WITH SCORE 11755.148
AT ITER 2185 NEW BEST:: SOT 63686 SOS 23132 HAS SOPS 22812 HAS SOUS 12017 HAS SOUPS 11697 WITH SCORE 11720.132
AT ITER 2191 NEW BEST:: SOT 63752 SOS 23194 HAS SOPS 22874 HAS SOUS 12011 HAS SOUPS 11691 WITH SCORE 11714.194
AT ITER 2212 NEW BEST:: SOT 63783 SOS 23214 HAS SOPS 22894 HAS SOUS 12005 HAS SOUPS 11685 WITH SCORE 11708.214
AT ITER 2221 NEW BEST:: SOT 63760 SOS 23198 HAS SOPS 22878 HAS SOUS 12003 HAS SOUPS 11683 WITH SCORE 11706.198
AT ITER 2232 NEW BEST:: SOT 63792 SOS 23219 HAS SOPS 22899 HAS SOUS 12002 HAS SOUPS 11682 WITH SCORE 11705.219
AT ITER 2260 NEW BEST:: SOT 63803 SOS 23223 HAS SOPS 22903 HAS SOUS 11992 HAS SOUPS 11672 WITH SCORE 11695.223
AT ITER 2268 NEW BEST:: SOT 63775 SOS 23181 HAS SOPS 22861 HAS SOUS 11938 HAS SOUPS 11618 WITH SCORE 11641.181
AT ITER 2294 NEW BEST:: SOT 63769 SOS 23175 HAS SOPS 22855 HAS SOUS 11929 HAS SOUPS 11609 WITH SCORE 11632.175
AT ITER 2310 NEW BEST:: SOT 63769 SOS 23187 HAS SOPS 22867 HAS SOUS 11917 HAS SOUPS 11597 WITH SCORE 11620.187
AT ITER 2328 NEW BEST:: SOT 63747 SOS 23152 HAS SOPS 22832 HAS SOUS 11852 HAS SOUPS 11532 WITH SCORE 11555.152
AT ITER 2346 NEW BEST:: SOT 63750 SOS 23140 HAS SOPS 22820 HAS SOUS 11832 HAS SOUPS 11512 WITH SCORE 11535.14
AT ITER 2349 NEW BEST:: SOT 63745 SOS 23120 HAS SOPS 22800 HAS SOUS 11822 HAS SOUPS 11502 WITH SCORE 11525.12
AT ITER 2355 NEW BEST:: SOT 63732 SOS 23121 HAS SOPS 22801 HAS SOUS 11816 HAS SOUPS 11496 WITH SCORE 11519.121
AT ITER 2361 NEW BEST:: SOT 63597 SOS 22866 HAS SOPS 22546 HAS SOUS 11726 HAS SOUPS 11406 WITH SCORE 11428.866
AT ITER 2378 NEW BEST:: SOT 63597 SOS 22868 HAS SOPS 22548 HAS SOUS 11725 HAS SOUPS 11405 WITH SCORE 11427.868
AT ITER 2411 NEW BEST:: SOT 63597 SOS 22844 HAS SOPS 22524 HAS SOUS 11725 HAS SOUPS 11405 WITH SCORE 11427.844
AT ITER 2425 NEW BEST:: SOT 63578 SOS 22822 HAS SOPS 22502 HAS SOUS 11705 HAS SOUPS 11385 WITH SCORE 11407.822
AT ITER 2451 NEW BEST:: SOT 63578 SOS 22810 HAS SOPS 22490 HAS SOUS 11699 HAS SOUPS 11379 WITH SCORE 11401.81
AT ITER 2475 NEW BEST:: SOT 63574 SOS 22806 HAS SOPS 22486 HAS SOUS 11696 HAS SOUPS 11376 WITH SCORE 11398.806
AT ITER 2480 NEW BEST:: SOT 63550 SOS 22798 HAS SOPS 22478 HAS SOUS 11682 HAS SOUPS 11362 WITH SCORE 11384.798
AT ITER 2493 NEW BEST:: SOT 63538 SOS 22794 HAS SOPS 22474 HAS SOUS 11681 HAS SOUPS 11361 WITH SCORE 11383.794
AT ITER 2499 NEW BEST:: SOT 63651 SOS 22933 HAS SOPS 22613 HAS SOUS 11655 HAS SOUPS 11335 WITH SCORE 11357.933
AT ITER 2508 NEW BEST:: SOT 63662 SOS 22933 HAS SOPS 22613 HAS SOUS 11638 HAS SOUPS 11318 WITH SCORE 11340.933
AT ITER 2509 NEW BEST:: SOT 63667 SOS 22891 HAS SOPS 22571 HAS SOUS 11561 HAS SOUPS 11241 WITH SCORE 11263.891
AT ITER 2513 NEW BEST:: SOT 63648 SOS 22803 HAS SOPS 22483 HAS SOUS 11505 HAS SOUPS 11185 WITH SCORE 11207.803
AT ITER 2547 NEW BEST:: SOT 63642 SOS 22792 HAS SOPS 22472 HAS SOUS 11499 HAS SOUPS 11179 WITH SCORE 11201.792
AT ITER 2563 NEW BEST:: SOT 63613 SOS 22749 HAS SOPS 22429 HAS SOUS 11498 HAS SOUPS 11178 WITH SCORE 11200.749
AT ITER 2574 NEW BEST:: SOT 63594 SOS 22711 HAS SOPS 22391 HAS SOUS 11495 HAS SOUPS 11175 WITH SCORE 11197.711
AT ITER 2591 NEW BEST:: SOT 63585 SOS 22693 HAS SOPS 22373 HAS SOUS 11477 HAS SOUPS 11157 WITH SCORE 11179.693
AT ITER 2619 NEW BEST:: SOT 63581 SOS 22685 HAS SOPS 22365 HAS SOUS 11476 HAS SOUPS 11156 WITH SCORE 11178.685
AT ITER 2639 NEW BEST:: SOT 63566 SOS 22665 HAS SOPS 22345 HAS SOUS 11454 HAS SOUPS 11134 WITH SCORE 11156.665
AT ITER 2642 NEW BEST:: SOT 63600 SOS 22695 HAS SOPS 22375 HAS SOUS 11447 HAS SOUPS 11127 WITH SCORE 11149.695
AT ITER 2652 NEW BEST:: SOT 63595 SOS 22682 HAS SOPS 22362 HAS SOUS 11441 HAS SOUPS 11121 WITH SCORE 11143.682
AT ITER 2655 NEW BEST:: SOT 63602 SOS 22450 HAS SOPS 22130 HAS SOUS 11377 HAS SOUPS 11057 WITH SCORE 11079.45
AT ITER 2666 NEW BEST:: SOT 63601 SOS 22429 HAS SOPS 22109 HAS SOUS 11345 HAS SOUPS 11025 WITH SCORE 11047.429
AT ITER 2683 NEW BEST:: SOT 63601 SOS 22393 HAS SOPS 22073 HAS SOUS 11339 HAS SOUPS 11019 WITH SCORE 11041.393
AT ITER 2685 NEW BEST:: SOT 63601 SOS 22373 HAS SOPS 22053 HAS SOUS 11315 HAS SOUPS 10995 WITH SCORE 11017.373
AT ITER 2712 NEW BEST:: SOT 63596 SOS 22363 HAS SOPS 22043 HAS SOUS 11313 HAS SOUPS 10993 WITH SCORE 11015.363
AT ITER 2724 NEW BEST:: SOT 63585 SOS 22338 HAS SOPS 22018 HAS SOUS 11299 HAS SOUPS 10979 WITH SCORE 11001.338
AT ITER 2736 NEW BEST:: SOT 63572 SOS 22325 HAS SOPS 22005 HAS SOUS 11292 HAS SOUPS 10972 WITH SCORE 10994.325
AT ITER 2781 NEW BEST:: SOT 63512 SOS 22248 HAS SOPS 21928 HAS SOUS 11220 HAS SOUPS 10900 WITH SCORE 10922.248
AT ITER 2802 NEW BEST:: SOT 63515 SOS 22247 HAS SOPS 21927 HAS SOUS 11209 HAS SOUPS 10889 WITH SCORE 10911.247
AT ITER 2805 NEW BEST:: SOT 63485 SOS 22215 HAS SOPS 21895 HAS SOUS 11181 HAS SOUPS 10861 WITH SCORE 10883.215
AT ITER 2807 NEW BEST:: SOT 63491 SOS 22215 HAS SOPS 21895 HAS SOUS 11179 HAS SOUPS 10859 WITH SCORE 10881.215
AT ITER 2810 NEW BEST:: SOT 63499 SOS 22244 HAS SOPS 21924 HAS SOUS 11081 HAS SOUPS 10761 WITH SCORE 10783.244
AT ITER 2826 NEW BEST:: SOT 63450 SOS 22201 HAS SOPS 21881 HAS SOUS 11068 HAS SOUPS 10748 WITH SCORE 10770.201
AT ITER 2829 NEW BEST:: SOT 63450 SOS 22113 HAS SOPS 21793 HAS SOUS 11068 HAS SOUPS 10748 WITH SCORE 10770.113
AT ITER 2852 NEW BEST:: SOT 63449 SOS 22112 HAS SOPS 21792 HAS SOUS 11067 HAS SOUPS 10747 WITH SCORE 10769.112
AT ITER 2863 NEW BEST:: SOT 63206 SOS 21949 HAS SOPS 21629 HAS SOUS 11036 HAS SOUPS 10716 WITH SCORE 10737.949
AT ITER 2933 NEW BEST:: SOT 63207 SOS 21938 HAS SOPS 21618 HAS SOUS 11031 HAS SOUPS 10711 WITH SCORE 10732.938
AT ITER 2965 NEW BEST:: SOT 63206 SOS 22044 HAS SOPS 21724 HAS SOUS 11030 HAS SOUPS 10710 WITH SCORE 10732.044
AT ITER 2970 NEW BEST:: SOT 63214 SOS 22022 HAS SOPS 21702 HAS SOUS 11028 HAS SOUPS 10708 WITH SCORE 10730.022
AT ITER 2985 NEW BEST:: SOT 63166 SOS 21986 HAS SOPS 21666 HAS SOUS 11008 HAS SOUPS 10688 WITH SCORE 10709.986
AT ITER 3051 NEW BEST:: SOT 63166 SOS 21992 HAS SOPS 21672 HAS SOUS 11002 HAS SOUPS 10682 WITH SCORE 10703.992
AT ITER 3070 NEW BEST:: SOT 63176 SOS 22002 HAS SOPS 21682 HAS SOUS 10992 HAS SOUPS 10672 WITH SCORE 10694.002
AT ITER 3071 NEW BEST:: SOT 63181 SOS 22079 HAS SOPS 21759 HAS SOUS 10989 HAS SOUPS 10669 WITH SCORE 10691.079
AT ITER 3089 NEW BEST:: SOT 63136 SOS 21995 HAS SOPS 21675 HAS SOUS 10986 HAS SOUPS 10666 WITH SCORE 10687.995
AT ITER 3090 NEW BEST:: SOT 63113 SOS 21956 HAS SOPS 21636 HAS SOUS 10985 HAS SOUPS 10665 WITH SCORE 10686.956
AT ITER 3152 NEW BEST:: SOT 63088 SOS 21907 HAS SOPS 21587 HAS SOUS 10984 HAS SOUPS 10664 WITH SCORE 10685.907
AT ITER 3170 NEW BEST:: SOT 63085 SOS 21898 HAS SOPS 21578 HAS SOUS 10978 HAS SOUPS 10658 WITH SCORE 10679.898
AT ITER 3188 NEW BEST:: SOT 63075 SOS 21878 HAS SOPS 21558 HAS SOUS 10970 HAS SOUPS 10650 WITH SCORE 10671.878
AT ITER 3193 NEW BEST:: SOT 63075 SOS 21878 HAS SOPS 21558 HAS SOUS 10962 HAS SOUPS 10642 WITH SCORE 10663.878
AT ITER 3194 NEW BEST:: SOT 63074 SOS 21878 HAS SOPS 21556 HAS SOUS 10962 HAS SOUPS 10640 WITH SCORE 10661.878
AT ITER 3232 NEW BEST:: SOT 63065 SOS 21874 HAS SOPS 21552 HAS SOUS 10940 HAS SOUPS 10618 WITH SCORE 10639.874
AT ITER 3245 NEW BEST:: SOT 63057 SOS 21894 HAS SOPS 21572 HAS SOUS 10932 HAS SOUPS 10610 WITH SCORE 10631.894
AT ITER 3250 NEW BEST:: SOT 62965 SOS 21790 HAS SOPS 21468 HAS SOUS 10914 HAS SOUPS 10592 WITH SCORE 10613.79
AT ITER 3255 NEW BEST:: SOT 62963 SOS 21790 HAS SOPS 21468 HAS SOUS 10893 HAS SOUPS 10571 WITH SCORE 10592.79
AT ITER 3260 NEW BEST:: SOT 62974 SOS 21786 HAS SOPS 21464 HAS SOUS 10888 HAS SOUPS 10566 WITH SCORE 10587.786
AT ITER 3276 NEW BEST:: SOT 62977 SOS 21735 HAS SOPS 21413 HAS SOUS 10864 HAS SOUPS 10542 WITH SCORE 10563.735
AT ITER 3279 NEW BEST:: SOT 62962 SOS 21744 HAS SOPS 21422 HAS SOUS 10858 HAS SOUPS 10536 WITH SCORE 10557.744
AT ITER 3285 NEW BEST:: SOT 62960 SOS 21725 HAS SOPS 21403 HAS SOUS 10858 HAS SOUPS 10536 WITH SCORE 10557.725
AT ITER 3289 NEW BEST:: SOT 62966 SOS 21727 HAS SOPS 21405 HAS SOUS 10856 HAS SOUPS 10534 WITH SCORE 10555.727
AT ITER 3293 NEW BEST:: SOT 62967 SOS 21732 HAS SOPS 21410 HAS SOUS 10855 HAS SOUPS 10533 WITH SCORE 10554.732
AT ITER 3323 NEW BEST:: SOT 62943 SOS 21700 HAS SOPS 21378 HAS SOUS 10823 HAS SOUPS 10501 WITH SCORE 10522.7
AT ITER 3338 NEW BEST:: SOT 62940 SOS 21685 HAS SOPS 21363 HAS SOUS 10817 HAS SOUPS 10495 WITH SCORE 10516.685
AT ITER 3361 NEW BEST:: SOT 62902 SOS 21609 HAS SOPS 21287 HAS SOUS 10773 HAS SOUPS 10451 WITH SCORE 10472.609
AT ITER 3380 NEW BEST:: SOT 62983 SOS 21648 HAS SOPS 21326 HAS SOUS 10733 HAS SOUPS 10411 WITH SCORE 10432.648
AT ITER 3413 NEW BEST:: SOT 62973 SOS 21628 HAS SOPS 21306 HAS SOUS 10733 HAS SOUPS 10411 WITH SCORE 10432.628
AT ITER 3421 NEW BEST:: SOT 62929 SOS 21587 HAS SOPS 21265 HAS SOUS 10712 HAS SOUPS 10390 WITH SCORE 10411.587
AT ITER 3451 NEW BEST:: SOT 62969 SOS 21605 HAS SOPS 21283 HAS SOUS 10689 HAS SOUPS 10367 WITH SCORE 10388.605
AT ITER 3475 NEW BEST:: SOT 62902 SOS 21458 HAS SOPS 21136 HAS SOUS 10633 HAS SOUPS 10311 WITH SCORE 10332.458
AT ITER 3477 NEW BEST:: SOT 62933 SOS 21467 HAS SOPS 21145 HAS SOUS 10613 HAS SOUPS 10291 WITH SCORE 10312.467
AT ITER 3481 NEW BEST:: SOT 62933 SOS 21461 HAS SOPS 21139 HAS SOUS 10613 HAS SOUPS 10291 WITH SCORE 10312.461
AT ITER 3555 NEW BEST:: SOT 62964 SOS 21484 HAS SOPS 21162 HAS SOUS 10603 HAS SOUPS 10281 WITH SCORE 10302.484
AT ITER 3579 NEW BEST:: SOT 62920 SOS 21459 HAS SOPS 21102 HAS SOUS 10617 HAS SOUPS 10260 WITH SCORE 10281.459
AT ITER 3588 NEW BEST:: SOT 62966 SOS 21519 HAS SOPS 21162 HAS SOUS 10567 HAS SOUPS 10210 WITH SCORE 10231.519
AT ITER 3600 NEW BEST:: SOT 62924 SOS 21463 HAS SOPS 21106 HAS SOUS 10493 HAS SOUPS 10136 WITH SCORE 10157.463
AT ITER 3658 NEW BEST:: SOT 62904 SOS 21410 HAS SOPS 21053 HAS SOUS 10482 HAS SOUPS 10125 WITH SCORE 10146.41
AT ITER 3684 NEW BEST:: SOT 62883 SOS 21386 HAS SOPS 21029 HAS SOUS 10476 HAS SOUPS 10119 WITH SCORE 10140.386
AT ITER 3694 NEW BEST:: SOT 62901 SOS 21460 HAS SOPS 21103 HAS SOUS 10470 HAS SOUPS 10113 WITH SCORE 10134.46
AT ITER 3728 NEW BEST:: SOT 62875 SOS 21330 HAS SOPS 20973 HAS SOUS 10444 HAS SOUPS 10087 WITH SCORE 10108.33
AT ITER 3745 NEW BEST:: SOT 62809 SOS 21215 HAS SOPS 20842 HAS SOUS 10459 HAS SOUPS 10086 WITH SCORE 10107.215
AT ITER 3835 NEW BEST:: SOT 62803 SOS 21197 HAS SOPS 20824 HAS SOUS 10457 HAS SOUPS 10084 WITH SCORE 10105.197
AT ITER 3850 NEW BEST:: SOT 62775 SOS 21154 HAS SOPS 20781 HAS SOUS 10454 HAS SOUPS 10081 WITH SCORE 10102.154
AT ITER 3853 NEW BEST:: SOT 62775 SOS 21154 HAS SOPS 20781 HAS SOUS 10453 HAS SOUPS 10080 WITH SCORE 10101.154
AT ITER 3869 NEW BEST:: SOT 62766 SOS 21118 HAS SOPS 20745 HAS SOUS 10436 HAS SOUPS 10063 WITH SCORE 10084.118
AT ITER 3879 NEW BEST:: SOT 62726 SOS 21058 HAS SOPS 20685 HAS SOUS 10401 HAS SOUPS 10028 WITH SCORE 10049.058
AT ITER 3913 NEW BEST:: SOT 62724 SOS 21056 HAS SOPS 20683 HAS SOUS 10395 HAS SOUPS 10022 WITH SCORE 10043.056
AT ITER 3991 NEW BEST:: SOT 62710 SOS 21035 HAS SOPS 20662 HAS SOUS 10360 HAS SOUPS 9987 WITH SCORE 10008.035
AT ITER 3992 NEW BEST:: SOT 62692 SOS 21029 HAS SOPS 20656 HAS SOUS 10353 HAS SOUPS 9980 WITH SCORE 10001.029
AT ITER 3994 NEW BEST:: SOT 62690 SOS 21026 HAS SOPS 20653 HAS SOUS 10350 HAS SOUPS 9977 WITH SCORE 9998.026
AT ITER 4023 NEW BEST:: SOT 62627 SOS 20927 HAS SOPS 20554 HAS SOUS 10295 HAS SOUPS 9922 WITH SCORE 9942.927
AT ITER 4036 NEW BEST:: SOT 62629 SOS 20922 HAS SOPS 20549 HAS SOUS 10290 HAS SOUPS 9917 WITH SCORE 9937.922
AT ITER 4056 NEW BEST:: SOT 62639 SOS 20874 HAS SOPS 20501 HAS SOUS 10269 HAS SOUPS 9896 WITH SCORE 9916.874
AT ITER 4063 NEW BEST:: SOT 62620 SOS 20808 HAS SOPS 20435 HAS SOUS 10241 HAS SOUPS 9868 WITH SCORE 9888.808
AT ITER 4065 NEW BEST:: SOT 62634 SOS 20822 HAS SOPS 20449 HAS SOUS 10227 HAS SOUPS 9854 WITH SCORE 9874.822
AT ITER 4088 NEW BEST:: SOT 62571 SOS 20754 HAS SOPS 20381 HAS SOUS 10190 HAS SOUPS 9817 WITH SCORE 9837.754
AT ITER 4111 NEW BEST:: SOT 62565 SOS 20717 HAS SOPS 20344 HAS SOUS 10188 HAS SOUPS 9815 WITH SCORE 9835.717
AT ITER 4173 NEW BEST:: SOT 62562 SOS 20714 HAS SOPS 20341 HAS SOUS 10188 HAS SOUPS 9815 WITH SCORE 9835.714
AT ITER 4176 NEW BEST:: SOT 62589 SOS 20710 HAS SOPS 20368 HAS SOUS 10153 HAS SOUPS 9811 WITH SCORE 9831.71
AT ITER 4202 NEW BEST:: SOT 62589 SOS 20678 HAS SOPS 20336 HAS SOUS 10145 HAS SOUPS 9803 WITH SCORE 9823.678
AT ITER 4205 NEW BEST:: SOT 62534 SOS 20614 HAS SOPS 20272 HAS SOUS 10125 HAS SOUPS 9783 WITH SCORE 9803.614
AT ITER 4210 NEW BEST:: SOT 62536 SOS 20576 HAS SOPS 20234 HAS SOUS 10121 HAS SOUPS 9779 WITH SCORE 9799.576
AT ITER 4230 NEW BEST:: SOT 62508 SOS 20568 HAS SOPS 20226 HAS SOUS 10107 HAS SOUPS 9765 WITH SCORE 9785.568
AT ITER 4297 NEW BEST:: SOT 62523 SOS 20552 HAS SOPS 20210 HAS SOUS 10106 HAS SOUPS 9764 WITH SCORE 9784.552
AT ITER 4307 NEW BEST:: SOT 62510 SOS 20549 HAS SOPS 20207 HAS SOUS 10105 HAS SOUPS 9763 WITH SCORE 9783.549
AT ITER 4331 NEW BEST:: SOT 62518 SOS 20557 HAS SOPS 20215 HAS SOUS 10101 HAS SOUPS 9759 WITH SCORE 9779.557
AT ITER 4335 NEW BEST:: SOT 62515 SOS 20582 HAS SOPS 20240 HAS SOUS 10098 HAS SOUPS 9756 WITH SCORE 9776.582
AT ITER 4340 NEW BEST:: SOT 62516 SOS 20582 HAS SOPS 20240 HAS SOUS 10073 HAS SOUPS 9731 WITH SCORE 9751.582
AT ITER 4377 NEW BEST:: SOT 62512 SOS 20531 HAS SOPS 20189 HAS SOUS 10049 HAS SOUPS 9707 WITH SCORE 9727.531
AT ITER 4382 NEW BEST:: SOT 62506 SOS 20499 HAS SOPS 20147 HAS SOUS 10041 HAS SOUPS 9689 WITH SCORE 9709.499
AT ITER 4408 NEW BEST:: SOT 62386 SOS 20379 HAS SOPS 20027 HAS SOUS 10017 HAS SOUPS 9665 WITH SCORE 9685.379
AT ITER 4412 NEW BEST:: SOT 62345 SOS 20354 HAS SOPS 20002 HAS SOUS 10015 HAS SOUPS 9663 WITH SCORE 9683.354
AT ITER 4424 NEW BEST:: SOT 62346 SOS 20331 HAS SOPS 19979 HAS SOUS 10000 HAS SOUPS 9648 WITH SCORE 9668.331
AT ITER 4487 NEW BEST:: SOT 62323 SOS 20315 HAS SOPS 19963 HAS SOUS 9984 HAS SOUPS 9632 WITH SCORE 9652.315
AT ITER 4525 NEW BEST:: SOT 62323 SOS 20315 HAS SOPS 19963 HAS SOUS 9979 HAS SOUPS 9627 WITH SCORE 9647.315
AT ITER 4537 NEW BEST:: SOT 62323 SOS 20297 HAS SOPS 19945 HAS SOUS 9970 HAS SOUPS 9618 WITH SCORE 9638.297
AT ITER 4540 NEW BEST:: SOT 62323 SOS 20294 HAS SOPS 19942 HAS SOUS 9968 HAS SOUPS 9616 WITH SCORE 9636.294
AT ITER 4550 NEW BEST:: SOT 62329 SOS 20290 HAS SOPS 19938 HAS SOUS 9964 HAS SOUPS 9612 WITH SCORE 9632.29
AT ITER 4551 NEW BEST:: SOT 62324 SOS 20285 HAS SOPS 19933 HAS SOUS 9964 HAS SOUPS 9612 WITH SCORE 9632.285
AT ITER 4584 NEW BEST:: SOT 62324 SOS 20236 HAS SOPS 19884 HAS SOUS 9915 HAS SOUPS 9563 WITH SCORE 9583.236
AT ITER 4587 NEW BEST:: SOT 62318 SOS 20233 HAS SOPS 19881 HAS SOUS 9910 HAS SOUPS 9558 WITH SCORE 9578.233
AT ITER 4642 NEW BEST:: SOT 62329 SOS 20218 HAS SOPS 19866 HAS SOUS 9880 HAS SOUPS 9528 WITH SCORE 9548.218
AT ITER 4673 NEW BEST:: SOT 62331 SOS 20218 HAS SOPS 19866 HAS SOUS 9879 HAS SOUPS 9527 WITH SCORE 9547.218
AT ITER 4679 NEW BEST:: SOT 62331 SOS 20214 HAS SOPS 19862 HAS SOUS 9871 HAS SOUPS 9519 WITH SCORE 9539.214
AT ITER 4682 NEW BEST:: SOT 62331 SOS 20214 HAS SOPS 19862 HAS SOUS 9870 HAS SOUPS 9518 WITH SCORE 9538.214
AT ITER 4703 NEW BEST:: SOT 62310 SOS 20171 HAS SOPS 19819 HAS SOUS 9838 HAS SOUPS 9486 WITH SCORE 9506.171
AT ITER 4715 NEW BEST:: SOT 62310 SOS 20165 HAS SOPS 19813 HAS SOUS 9838 HAS SOUPS 9486 WITH SCORE 9506.165
AT ITER 4785 NEW BEST:: SOT 62312 SOS 20170 HAS SOPS 19818 HAS SOUS 9837 HAS SOUPS 9485 WITH SCORE 9505.17
AT ITER 4816 NEW BEST:: SOT 62321 SOS 20121 HAS SOPS 19769 HAS SOUS 9813 HAS SOUPS 9461 WITH SCORE 9481.121
AT ITER 4848 NEW BEST:: SOT 62330 SOS 20163 HAS SOPS 19811 HAS SOUS 9812 HAS SOUPS 9460 WITH SCORE 9480.163
AT ITER 4857 NEW BEST:: SOT 62310 SOS 20103 HAS SOPS 19751 HAS SOUS 9799 HAS SOUPS 9447 WITH SCORE 9467.103
AT ITER 4878 NEW BEST:: SOT 62294 SOS 20099 HAS SOPS 19747 HAS SOUS 9799 HAS SOUPS 9447 WITH SCORE 9467.099
AT ITER 4913 NEW BEST:: SOT 62282 SOS 20019 HAS SOPS 19667 HAS SOUS 9767 HAS SOUPS 9415 WITH SCORE 9435.019
AT ITER 4915 NEW BEST:: SOT 62289 SOS 20036 HAS SOPS 19684 HAS SOUS 9766 HAS SOUPS 9414 WITH SCORE 9434.036
AT ITER 4921 NEW BEST:: SOT 62289 SOS 20043 HAS SOPS 19691 HAS SOUS 9752 HAS SOUPS 9400 WITH SCORE 9420.043
AT ITER 4948 NEW BEST:: SOT 62305 SOS 20020 HAS SOPS 19698 HAS SOUS 9717 HAS SOUPS 9395 WITH SCORE 9415.02
AT ITER 4958 NEW BEST:: SOT 62286 SOS 19993 HAS SOPS 19671 HAS SOUS 9694 HAS SOUPS 9372 WITH SCORE 9391.993
AT ITER 5131 NEW BEST:: SOT 62286 SOS 19993 HAS SOPS 19671 HAS SOUS 9693 HAS SOUPS 9371 WITH SCORE 9390.993
AT ITER 5156 NEW BEST:: SOT 62286 SOS 19992 HAS SOPS 19670 HAS SOUS 9691 HAS SOUPS 9369 WITH SCORE 9388.992
AT ITER 5173 NEW BEST:: SOT 62281 SOS 19985 HAS SOPS 19663 HAS SOUS 9689 HAS SOUPS 9367 WITH SCORE 9386.985
AT ITER 5180 NEW BEST:: SOT 62278 SOS 19977 HAS SOPS 19655 HAS SOUS 9681 HAS SOUPS 9359 WITH SCORE 9378.977
AT ITER 5238 NEW BEST:: SOT 62269 SOS 19952 HAS SOPS 19630 HAS SOUS 9674 HAS SOUPS 9352 WITH SCORE 9371.952
AT ITER 5242 NEW BEST:: SOT 62260 SOS 19934 HAS SOPS 19612 HAS SOUS 9665 HAS SOUPS 9343 WITH SCORE 9362.934
AT ITER 5280 NEW BEST:: SOT 62260 SOS 19922 HAS SOPS 19600 HAS SOUS 9659 HAS SOUPS 9337 WITH SCORE 9356.922
AT ITER 5297 NEW BEST:: SOT 62274 SOS 19937 HAS SOPS 19615 HAS SOUS 9640 HAS SOUPS 9318 WITH SCORE 9337.937
AT ITER 5311 NEW BEST:: SOT 62268 SOS 19907 HAS SOPS 19585 HAS SOUS 9630 HAS SOUPS 9308 WITH SCORE 9327.907
AT ITER 5318 NEW BEST:: SOT 62244 SOS 20033 HAS SOPS 19622 HAS SOUS 9718 HAS SOUPS 9307 WITH SCORE 9327.033
AT ITER 5339 NEW BEST:: SOT 62232 SOS 20015 HAS SOPS 19604 HAS SOUS 9718 HAS SOUPS 9307 WITH SCORE 9327.015
AT ITER 5348 NEW BEST:: SOT 62226 SOS 20001 HAS SOPS 19590 HAS SOUS 9712 HAS SOUPS 9301 WITH SCORE 9321.001
AT ITER 5375 NEW BEST:: SOT 62218 SOS 20047 HAS SOPS 19664 HAS SOUS 9668 HAS SOUPS 9285 WITH SCORE 9305.047
AT ITER 5395 NEW BEST:: SOT 62155 SOS 19981 HAS SOPS 19598 HAS SOUS 9652 HAS SOUPS 9269 WITH SCORE 9288.981
AT ITER 5428 NEW BEST:: SOT 62164 SOS 20006 HAS SOPS 19623 HAS SOUS 9650 HAS SOUPS 9267 WITH SCORE 9287.006
AT ITER 5439 NEW BEST:: SOT 62164 SOS 20006 HAS SOPS 19623 HAS SOUS 9640 HAS SOUPS 9257 WITH SCORE 9277.006
AT ITER 5466 NEW BEST:: SOT 62161 SOS 20006 HAS SOPS 19623 HAS SOUS 9637 HAS SOUPS 9254 WITH SCORE 9274.006
AT ITER 5480 NEW BEST:: SOT 62206 SOS 20073 HAS SOPS 19690 HAS SOUS 9607 HAS SOUPS 9224 WITH SCORE 9244.073
AT ITER 5491 NEW BEST:: SOT 62193 SOS 20074 HAS SOPS 19691 HAS SOUS 9603 HAS SOUPS 9220 WITH SCORE 9240.074
AT ITER 5505 NEW BEST:: SOT 62193 SOS 20069 HAS SOPS 19686 HAS SOUS 9598 HAS SOUPS 9215 WITH SCORE 9235.069
AT ITER 5553 NEW BEST:: SOT 62192 SOS 20068 HAS SOPS 19685 HAS SOUS 9597 HAS SOUPS 9214 WITH SCORE 9234.068
AT ITER 5660 NEW BEST:: SOT 62182 SOS 20050 HAS SOPS 19667 HAS SOUS 9589 HAS SOUPS 9206 WITH SCORE 9226.05
AT ITER 5709 NEW BEST:: SOT 62166 SOS 20042 HAS SOPS 19659 HAS SOUS 9563 HAS SOUPS 9180 WITH SCORE 9200.042
AT ITER 5710 NEW BEST:: SOT 62154 SOS 20025 HAS SOPS 19642 HAS SOUS 9553 HAS SOUPS 9170 WITH SCORE 9190.025
AT ITER 5774 NEW BEST:: SOT 62130 SOS 19979 HAS SOPS 19596 HAS SOUS 9511 HAS SOUPS 9128 WITH SCORE 9147.979
AT ITER 5778 NEW BEST:: SOT 62122 SOS 19969 HAS SOPS 19586 HAS SOUS 9511 HAS SOUPS 9128 WITH SCORE 9147.969
AT ITER 5804 NEW BEST:: SOT 62099 SOS 19943 HAS SOPS 19560 HAS SOUS 9500 HAS SOUPS 9117 WITH SCORE 9136.943
AT ITER 5854 NEW BEST:: SOT 62103 SOS 19900 HAS SOPS 19497 HAS SOUS 9504 HAS SOUPS 9101 WITH SCORE 9120.9
AT ITER 5868 NEW BEST:: SOT 62089 SOS 19844 HAS SOPS 19441 HAS SOUS 9490 HAS SOUPS 9087 WITH SCORE 9106.844
AT ITER 5876 NEW BEST:: SOT 62308 SOS 20120 HAS SOPS 19717 HAS SOUS 9480 HAS SOUPS 9077 WITH SCORE 9097.12
AT ITER 5999 NEW BEST:: SOT 62307 SOS 20126 HAS SOPS 19723 HAS SOUS 9479 HAS SOUPS 9076 WITH SCORE 9096.126
AT ITER 6041 NEW BEST:: SOT 62301 SOS 20102 HAS SOPS 19699 HAS SOUS 9479 HAS SOUPS 9076 WITH SCORE 9096.102
AT ITER 6054 NEW BEST:: SOT 62343 SOS 20124 HAS SOPS 19721 HAS SOUS 9461 HAS SOUPS 9058 WITH SCORE 9078.124
AT ITER 6111 NEW BEST:: SOT 62313 SOS 20034 HAS SOPS 19631 HAS SOUS 9431 HAS SOUPS 9028 WITH SCORE 9048.034
AT ITER 6119 NEW BEST:: SOT 62285 SOS 19950 HAS SOPS 19547 HAS SOUS 9403 HAS SOUPS 9000 WITH SCORE 9019.95
AT ITER 6170 NEW BEST:: SOT 62281 SOS 19952 HAS SOPS 19549 HAS SOUS 9402 HAS SOUPS 8999 WITH SCORE 9018.952
AT ITER 6197 NEW BEST:: SOT 62316 SOS 19893 HAS SOPS 19490 HAS SOUS 9387 HAS SOUPS 8984 WITH SCORE 9003.893
AT ITER 6202 NEW BEST:: SOT 62315 SOS 19892 HAS SOPS 19488 HAS SOUS 9386 HAS SOUPS 8982 WITH SCORE 9001.892
AT ITER 6214 NEW BEST:: SOT 62295 SOS 19839 HAS SOPS 19435 HAS SOUS 9375 HAS SOUPS 8971 WITH SCORE 8990.839
AT ITER 6220 NEW BEST:: SOT 62287 SOS 19830 HAS SOPS 19426 HAS SOUS 9375 HAS SOUPS 8971 WITH SCORE 8990.83
AT ITER 6221 NEW BEST:: SOT 62281 SOS 19821 HAS SOPS 19417 HAS SOUS 9375 HAS SOUPS 8971 WITH SCORE 8990.821
AT ITER 6341 NEW BEST:: SOT 62284 SOS 19818 HAS SOPS 19414 HAS SOUS 9375 HAS SOUPS 8971 WITH SCORE 8990.818
AT ITER 6440 NEW BEST:: SOT 62284 SOS 19790 HAS SOPS 19386 HAS SOUS 9347 HAS SOUPS 8943 WITH SCORE 8962.79
AT ITER 6490 NEW BEST:: SOT 62283 SOS 19785 HAS SOPS 19381 HAS SOUS 9341 HAS SOUPS 8937 WITH SCORE 8956.785
AT ITER 6658 NEW BEST:: SOT 62277 SOS 19708 HAS SOPS 19304 HAS SOUS 9332 HAS SOUPS 8928 WITH SCORE 8947.708
AT ITER 6683 NEW BEST:: SOT 62275 SOS 19707 HAS SOPS 19303 HAS SOUS 9332 HAS SOUPS 8928 WITH SCORE 8947.707
AT ITER 6688 NEW BEST:: SOT 62271 SOS 19703 HAS SOPS 19299 HAS SOUS 9328 HAS SOUPS 8924 WITH SCORE 8943.703
AT ITER 6715 NEW BEST:: SOT 62262 SOS 19685 HAS SOPS 19281 HAS SOUS 9328 HAS SOUPS 8924 WITH SCORE 8943.685
AT ITER 6852 NEW BEST:: SOT 62285 SOS 19676 HAS SOPS 19272 HAS SOUS 9326 HAS SOUPS 8922 WITH SCORE 8941.676
AT ITER 6908 NEW BEST:: SOT 62285 SOS 19650 HAS SOPS 19246 HAS SOUS 9323 HAS SOUPS 8919 WITH SCORE 8938.65
AT ITER 6916 NEW BEST:: SOT 62277 SOS 19650 HAS SOPS 19246 HAS SOUS 9319 HAS SOUPS 8915 WITH SCORE 8934.65
AT ITER 6981 NEW BEST:: SOT 62263 SOS 19632 HAS SOPS 19228 HAS SOUS 9316 HAS SOUPS 8912 WITH SCORE 8931.632
AT ITER 7009 NEW BEST:: SOT 62224 SOS 19561 HAS SOPS 19157 HAS SOUS 9305 HAS SOUPS 8901 WITH SCORE 8920.561
AT ITER 7056 NEW BEST:: SOT 62216 SOS 19553 HAS SOPS 19149 HAS SOUS 9303 HAS SOUPS 8899 WITH SCORE 8918.553
AT ITER 7082 NEW BEST:: SOT 62209 SOS 19558 HAS SOPS 19154 HAS SOUS 9298 HAS SOUPS 8894 WITH SCORE 8913.558
AT ITER 7108 NEW BEST:: SOT 62215 SOS 19555 HAS SOPS 19151 HAS SOUS 9295 HAS SOUPS 8891 WITH SCORE 8910.555
AT ITER 7256 NEW BEST:: SOT 62215 SOS 19557 HAS SOPS 19153 HAS SOUS 9292 HAS SOUPS 8888 WITH SCORE 8907.557
AT ITER 7289 NEW BEST:: SOT 62190 SOS 19532 HAS SOPS 19128 HAS SOUS 9278 HAS SOUPS 8874 WITH SCORE 8893.532
AT ITER 7301 NEW BEST:: SOT 62142 SOS 19559 HAS SOPS 19155 HAS SOUS 9245 HAS SOUPS 8841 WITH SCORE 8860.559
AT ITER 7312 NEW BEST:: SOT 62136 SOS 19526 HAS SOPS 19122 HAS SOUS 9236 HAS SOUPS 8832 WITH SCORE 8851.526
AT ITER 7390 NEW BEST:: SOT 62133 SOS 19523 HAS SOPS 19119 HAS SOUS 9236 HAS SOUPS 8832 WITH SCORE 8851.523
AT ITER 7422 NEW BEST:: SOT 62117 SOS 19500 HAS SOPS 19096 HAS SOUS 9213 HAS SOUPS 8809 WITH SCORE 8828.5
AT ITER 7484 NEW BEST:: SOT 62105 SOS 19496 HAS SOPS 19092 HAS SOUS 9212 HAS SOUPS 8808 WITH SCORE 8827.496
AT ITER 7490 NEW BEST:: SOT 62101 SOS 19488 HAS SOPS 19084 HAS SOUS 9206 HAS SOUPS 8802 WITH SCORE 8821.488
AT ITER 7499 NEW BEST:: SOT 62071 SOS 19476 HAS SOPS 19072 HAS SOUS 9206 HAS SOUPS 8802 WITH SCORE 8821.476
AT ITER 7544 NEW BEST:: SOT 62068 SOS 19472 HAS SOPS 19068 HAS SOUS 9203 HAS SOUPS 8799 WITH SCORE 8818.472
AT ITER 7572 NEW BEST:: SOT 62064 SOS 19466 HAS SOPS 19062 HAS SOUS 9195 HAS SOUPS 8791 WITH SCORE 8810.466
AT ITER 7599 NEW BEST:: SOT 62071 SOS 19462 HAS SOPS 19058 HAS SOUS 9194 HAS SOUPS 8790 WITH SCORE 8809.462
AT ITER 7628 NEW BEST:: SOT 62063 SOS 19447 HAS SOPS 19030 HAS SOUS 9190 HAS SOUPS 8773 WITH SCORE 8792.447
AT ITER 7636 NEW BEST:: SOT 62063 SOS 19447 HAS SOPS 19030 HAS SOUS 9153 HAS SOUPS 8736 WITH SCORE 8755.447
AT ITER 7689 NEW BEST:: SOT 61991 SOS 19351 HAS SOPS 18934 HAS SOUS 9127 HAS SOUPS 8710 WITH SCORE 8729.351
AT ITER 7719 NEW BEST:: SOT 61997 SOS 19349 HAS SOPS 18932 HAS SOUS 9123 HAS SOUPS 8706 WITH SCORE 8725.349
AT ITER 7720 NEW BEST:: SOT 62006 SOS 19345 HAS SOPS 18928 HAS SOUS 9118 HAS SOUPS 8701 WITH SCORE 8720.345
AT ITER 7751 NEW BEST:: SOT 62001 SOS 19342 HAS SOPS 18925 HAS SOUS 9116 HAS SOUPS 8699 WITH SCORE 8718.342
AT ITER 7765 NEW BEST:: SOT 62001 SOS 19338 HAS SOPS 18921 HAS SOUS 9116 HAS SOUPS 8699 WITH SCORE 8718.338
AT ITER 7777 NEW BEST:: SOT 62001 SOS 19323 HAS SOPS 18906 HAS SOUS 9111 HAS SOUPS 8694 WITH SCORE 8713.323
AT ITER 7798 NEW BEST:: SOT 61994 SOS 19289 HAS SOPS 18872 HAS SOUS 9086 HAS SOUPS 8669 WITH SCORE 8688.289
AT ITER 7803 NEW BEST:: SOT 61996 SOS 19298 HAS SOPS 18881 HAS SOUS 9084 HAS SOUPS 8667 WITH SCORE 8686.298
AT ITER 7815 NEW BEST:: SOT 61994 SOS 19294 HAS SOPS 18877 HAS SOUS 9080 HAS SOUPS 8663 WITH SCORE 8682.294
AT ITER 7833 NEW BEST:: SOT 62020 SOS 19254 HAS SOPS 18837 HAS SOUS 9079 HAS SOUPS 8662 WITH SCORE 8681.254
AT ITER 7867 NEW BEST:: SOT 62020 SOS 19253 HAS SOPS 18836 HAS SOUS 9079 HAS SOUPS 8662 WITH SCORE 8681.253
AT ITER 7901 NEW BEST:: SOT 62018 SOS 19251 HAS SOPS 18834 HAS SOUS 9079 HAS SOUPS 8662 WITH SCORE 8681.251
AT ITER 8048 NEW BEST:: SOT 62013 SOS 19244 HAS SOPS 18827 HAS SOUS 9077 HAS SOUPS 8660 WITH SCORE 8679.244
AT ITER 8110 NEW BEST:: SOT 62013 SOS 19241 HAS SOPS 18824 HAS SOUS 9077 HAS SOUPS 8660 WITH SCORE 8679.241
AT ITER 8128 NEW BEST:: SOT 62036 SOS 19264 HAS SOPS 18847 HAS SOUS 9031 HAS SOUPS 8614 WITH SCORE 8633.264
AT ITER 8184 NEW BEST:: SOT 62036 SOS 19284 HAS SOPS 18867 HAS SOUS 9024 HAS SOUPS 8607 WITH SCORE 8626.284
AT ITER 8194 NEW BEST:: SOT 62036 SOS 19283 HAS SOPS 18866 HAS SOUS 9024 HAS SOUPS 8607 WITH SCORE 8626.283
AT ITER 8257 NEW BEST:: SOT 62044 SOS 19256 HAS SOPS 18839 HAS SOUS 9021 HAS SOUPS 8604 WITH SCORE 8623.256
AT ITER 8263 NEW BEST:: SOT 62020 SOS 19211 HAS SOPS 18794 HAS SOUS 9019 HAS SOUPS 8602 WITH SCORE 8621.211
AT ITER 8308 NEW BEST:: SOT 62016 SOS 19203 HAS SOPS 18778 HAS SOUS 9027 HAS SOUPS 8602 WITH SCORE 8621.203
AT ITER 8325 NEW BEST:: SOT 62020 SOS 19207 HAS SOPS 18782 HAS SOUS 9023 HAS SOUPS 8598 WITH SCORE 8617.207
AT ITER 8353 NEW BEST:: SOT 61998 SOS 19186 HAS SOPS 18761 HAS SOUS 9021 HAS SOUPS 8596 WITH SCORE 8615.186
AT ITER 8362 NEW BEST:: SOT 61995 SOS 19206 HAS SOPS 18781 HAS SOUS 9007 HAS SOUPS 8582 WITH SCORE 8601.206
AT ITER 8455 NEW BEST:: SOT 61979 SOS 19192 HAS SOPS 18767 HAS SOUS 8989 HAS SOUPS 8564 WITH SCORE 8583.192
AT ITER 8457 NEW BEST:: SOT 62012 SOS 19206 HAS SOPS 18781 HAS SOUS 8978 HAS SOUPS 8553 WITH SCORE 8572.206
AT ITER 8492 NEW BEST:: SOT 62008 SOS 19202 HAS SOPS 18777 HAS SOUS 8978 HAS SOUPS 8553 WITH SCORE 8572.202
AT ITER 8509 NEW BEST:: SOT 62008 SOS 19198 HAS SOPS 18770 HAS SOUS 8981 HAS SOUPS 8553 WITH SCORE 8572.198
AT ITER 8512 NEW BEST:: SOT 62005 SOS 19189 HAS SOPS 18761 HAS SOUS 8977 HAS SOUPS 8549 WITH SCORE 8568.189
AT ITER 8526 NEW BEST:: SOT 62005 SOS 19190 HAS SOPS 18762 HAS SOUS 8972 HAS SOUPS 8544 WITH SCORE 8563.19
AT ITER 8577 NEW BEST:: SOT 62004 SOS 19187 HAS SOPS 18759 HAS SOUS 8972 HAS SOUPS 8544 WITH SCORE 8563.187
AT ITER 8632 NEW BEST:: SOT 62030 SOS 18691 HAS SOPS 18263 HAS SOUS 8952 HAS SOUPS 8524 WITH SCORE 8542.691
AT ITER 8663 NEW BEST:: SOT 61996 SOS 18713 HAS SOPS 18285 HAS SOUS 8933 HAS SOUPS 8505 WITH SCORE 8523.713
AT ITER 8705 NEW BEST:: SOT 61997 SOS 18757 HAS SOPS 18329 HAS SOUS 8927 HAS SOUPS 8499 WITH SCORE 8517.757
AT ITER 8725 NEW BEST:: SOT 61997 SOS 18757 HAS SOPS 18329 HAS SOUS 8921 HAS SOUPS 8493 WITH SCORE 8511.757
AT ITER 8758 NEW BEST:: SOT 62006 SOS 18748 HAS SOPS 18320 HAS SOUS 8911 HAS SOUPS 8483 WITH SCORE 8501.748
AT ITER 8762 NEW BEST:: SOT 62005 SOS 18746 HAS SOPS 18318 HAS SOUS 8908 HAS SOUPS 8480 WITH SCORE 8498.746
AT ITER 8768 NEW BEST:: SOT 62006 SOS 18745 HAS SOPS 18317 HAS SOUS 8906 HAS SOUPS 8478 WITH SCORE 8496.745
AT ITER 8769 NEW BEST:: SOT 62008 SOS 18744 HAS SOPS 18316 HAS SOUS 8906 HAS SOUPS 8478 WITH SCORE 8496.744
AT ITER 8915 NEW BEST:: SOT 61999 SOS 18743 HAS SOPS 18315 HAS SOUS 8906 HAS SOUPS 8478 WITH SCORE 8496.743
AT ITER 8916 NEW BEST:: SOT 61987 SOS 18743 HAS SOPS 18315 HAS SOUS 8905 HAS SOUPS 8477 WITH SCORE 8495.743
AT ITER 8999 NEW BEST:: SOT 61984 SOS 18741 HAS SOPS 18313 HAS SOUS 8905 HAS SOUPS 8477 WITH SCORE 8495.741
AT ITER 9144 NEW BEST:: SOT 61982 SOS 18725 HAS SOPS 18297 HAS SOUS 8901 HAS SOUPS 8473 WITH SCORE 8491.725
AT ITER 9160 NEW BEST:: SOT 61979 SOS 18722 HAS SOPS 18294 HAS SOUS 8901 HAS SOUPS 8473 WITH SCORE 8491.722
AT ITER 9196 NEW BEST:: SOT 61968 SOS 18709 HAS SOPS 18281 HAS SOUS 8879 HAS SOUPS 8451 WITH SCORE 8469.709
AT ITER 9240 NEW BEST:: SOT 61947 SOS 18688 HAS SOPS 18260 HAS SOUS 8879 HAS SOUPS 8451 WITH SCORE 8469.688
AT ITER 9307 NEW BEST:: SOT 61947 SOS 18691 HAS SOPS 18263 HAS SOUS 8878 HAS SOUPS 8450 WITH SCORE 8468.691
AT ITER 9374 NEW BEST:: SOT 61945 SOS 18697 HAS SOPS 18269 HAS SOUS 8874 HAS SOUPS 8446 WITH SCORE 8464.697
AT ITER 9376 NEW BEST:: SOT 61931 SOS 18682 HAS SOPS 18254 HAS SOUS 8864 HAS SOUPS 8436 WITH SCORE 8454.682
AT ITER 9466 NEW BEST:: SOT 61928 SOS 18669 HAS SOPS 18241 HAS SOUS 8856 HAS SOUPS 8428 WITH SCORE 8446.669
AT ITER 9467 NEW BEST:: SOT 61922 SOS 18663 HAS SOPS 18235 HAS SOUS 8856 HAS SOUPS 8428 WITH SCORE 8446.663
AT ITER 9487 NEW BEST:: SOT 61922 SOS 18663 HAS SOPS 18235 HAS SOUS 8841 HAS SOUPS 8413 WITH SCORE 8431.663
AT ITER 9657 NEW BEST:: SOT 61916 SOS 18663 HAS SOPS 18235 HAS SOUS 8835 HAS SOUPS 8407 WITH SCORE 8425.663
AT ITER 9708 NEW BEST:: SOT 61916 SOS 18660 HAS SOPS 18232 HAS SOUS 8832 HAS SOUPS 8404 WITH SCORE 8422.66
AT ITER 9720 NEW BEST:: SOT 61887 SOS 18628 HAS SOPS 18200 HAS SOUS 8826 HAS SOUPS 8398 WITH SCORE 8416.628
AT ITER 9773 NEW BEST:: SOT 61884 SOS 18623 HAS SOPS 18195 HAS SOUS 8822 HAS SOUPS 8394 WITH SCORE 8412.623
AT ITER 9832 NEW BEST:: SOT 61878 SOS 18605 HAS SOPS 18177 HAS SOUS 8804 HAS SOUPS 8376 WITH SCORE 8394.605
AT ITER 9834 NEW BEST:: SOT 61841 SOS 18693 HAS SOPS 18265 HAS SOUS 8797 HAS SOUPS 8369 WITH SCORE 8387.693
AT ITER 9850 NEW BEST:: SOT 61838 SOS 18682 HAS SOPS 18254 HAS SOUS 8792 HAS SOUPS 8364 WITH SCORE 8382.682
AT ITER 9892 NEW BEST:: SOT 61834 SOS 18667 HAS SOPS 18239 HAS SOUS 8782 HAS SOUPS 8354 WITH SCORE 8372.667
AT ITER 9898 NEW BEST:: SOT 61829 SOS 18657 HAS SOPS 18229 HAS SOUS 8772 HAS SOUPS 8344 WITH SCORE 8362.657
AT ITER 9904 NEW BEST:: SOT 61829 SOS 18654 HAS SOPS 18226 HAS SOUS 8770 HAS SOUPS 8342 WITH SCORE 8360.654
AT ITER 9910 NEW BEST:: SOT 61775 SOS 18612 HAS SOPS 18184 HAS SOUS 8734 HAS SOUPS 8306 WITH SCORE 8324.612
AT ITER 9928 NEW BEST:: SOT 61770 SOS 18626 HAS SOPS 18198 HAS SOUS 8726 HAS SOUPS 8298 WITH SCORE 8316.626
AT ITER 9957 NEW BEST:: SOT 61770 SOS 18620 HAS SOPS 18192 HAS SOUS 8726 HAS SOUPS 8298 WITH SCORE 8316.62
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 209972 kB
After kill :
MemTotal: 16393216 kB
MemFree: 14857444 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is MultiwaySync-PT-none, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r267-smll-167863541200008"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/MultiwaySync-PT-none.tgz
mv MultiwaySync-PT-none execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;