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.r075-smll-167814400500032.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 CSRepetitions-COL-05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-smll-167814400500032
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 516K
-rw-r--r-- 1 mcc users 8.6K Feb 25 11:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 25 11:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 11:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 11:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 15:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 15:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 12:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 12:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 18K Feb 25 12:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 136K Feb 25 12:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 15K 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 1678220295803

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=CSRepetitions-COL-05
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-07 20:18:18] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-07 20:18:18] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-07 20:18:18] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-07 20:18:19] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-07 20:18:19] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1049 ms
[2023-03-07 20:18:19] [INFO ] Imported 6 HL places and 5 HL transitions for a total of 206 PT places and 325.0 transition bindings in 27 ms.
[2023-03-07 20:18:19] [INFO ] Unfolded HLPN to a Petri net with 206 places and 325 transitions 1175 arcs in 45 ms.
[2023-03-07 20:18:19] [INFO ] Unfolded 0 HLPN properties in 1 ms.
[2023-03-07 20:18:19] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 206 places, 325 transitions and 1175 arcs took 13 ms.
Total runtime 1331 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CSRepetitions (COL), instance 05
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: 206 places, 325 transitions, 1175 arcs.
AT ITER 0 NEW BEST:: SOT 52533 SOS 48215 HAS SOPS 47639 HAS SOUS 43199 HAS SOUPS 42623 WITH SCORE 42671.215
AT ITER 1 NEW BEST:: SOT 52533 SOS 48201 HAS SOPS 47618 HAS SOUS 43157 HAS SOUPS 42574 WITH SCORE 42622.201
AT ITER 6 NEW BEST:: SOT 52531 SOS 48031 HAS SOPS 47488 HAS SOUS 42769 HAS SOUPS 42226 WITH SCORE 42274.031
AT ITER 8 NEW BEST:: SOT 52498 SOS 47998 HAS SOPS 47455 HAS SOUS 42736 HAS SOUPS 42193 WITH SCORE 42240.998
AT ITER 9 NEW BEST:: SOT 52434 SOS 46564 HAS SOPS 46021 HAS SOUS 40494 HAS SOUPS 39951 WITH SCORE 39997.564
AT ITER 10 NEW BEST:: SOT 52434 SOS 46186 HAS SOPS 45634 HAS SOUS 40502 HAS SOUPS 39950 WITH SCORE 39996.186
AT ITER 12 NEW BEST:: SOT 52403 SOS 46137 HAS SOPS 45634 HAS SOUS 40453 HAS SOUPS 39950 WITH SCORE 39996.137
AT ITER 14 NEW BEST:: SOT 52442 SOS 46063 HAS SOPS 45521 HAS SOUS 40365 HAS SOUPS 39823 WITH SCORE 39869.063
AT ITER 15 NEW BEST:: SOT 52433 SOS 46054 HAS SOPS 45512 HAS SOUS 40356 HAS SOUPS 39814 WITH SCORE 39860.054
AT ITER 16 NEW BEST:: SOT 52422 SOS 46067 HAS SOPS 45525 HAS SOUS 40347 HAS SOUPS 39805 WITH SCORE 39851.067
AT ITER 17 NEW BEST:: SOT 52430 SOS 45922 HAS SOPS 45316 HAS SOUS 40130 HAS SOUPS 39524 WITH SCORE 39569.922
AT ITER 18 NEW BEST:: SOT 52391 SOS 45749 HAS SOPS 45160 HAS SOUS 39879 HAS SOUPS 39290 WITH SCORE 39335.749
AT ITER 19 NEW BEST:: SOT 52463 SOS 45552 HAS SOPS 45067 HAS SOUS 39661 HAS SOUPS 39176 WITH SCORE 39221.552
AT ITER 20 NEW BEST:: SOT 52508 SOS 45305 HAS SOPS 44703 HAS SOUS 39167 HAS SOUPS 38565 WITH SCORE 38610.305
AT ITER 21 NEW BEST:: SOT 52599 SOS 45267 HAS SOPS 44574 HAS SOUS 38880 HAS SOUPS 38187 WITH SCORE 38232.267
AT ITER 23 NEW BEST:: SOT 52599 SOS 45219 HAS SOPS 44510 HAS SOUS 38800 HAS SOUPS 38091 WITH SCORE 38136.219
AT ITER 25 NEW BEST:: SOT 52744 SOS 45183 HAS SOPS 44329 HAS SOUS 38589 HAS SOUPS 37735 WITH SCORE 37780.183
AT ITER 26 NEW BEST:: SOT 52744 SOS 45180 HAS SOPS 44323 HAS SOUS 38583 HAS SOUPS 37726 WITH SCORE 37771.18
AT ITER 27 NEW BEST:: SOT 52784 SOS 45012 HAS SOPS 44056 HAS SOUS 38198 HAS SOUPS 37242 WITH SCORE 37287.012
AT ITER 30 NEW BEST:: SOT 52777 SOS 44865 HAS SOPS 43926 HAS SOUS 38076 HAS SOUPS 37137 WITH SCORE 37181.865
AT ITER 36 NEW BEST:: SOT 52703 SOS 44791 HAS SOPS 43852 HAS SOUS 38002 HAS SOUPS 37063 WITH SCORE 37107.791
AT ITER 38 NEW BEST:: SOT 52710 SOS 44607 HAS SOPS 43668 HAS SOUS 37650 HAS SOUPS 36711 WITH SCORE 36755.607
AT ITER 39 NEW BEST:: SOT 52714 SOS 44858 HAS SOPS 43752 HAS SOUS 37701 HAS SOUPS 36595 WITH SCORE 36639.858
AT ITER 40 NEW BEST:: SOT 53346 SOS 43906 HAS SOPS 42800 HAS SOUS 34775 HAS SOUPS 33669 WITH SCORE 33712.906
AT ITER 42 NEW BEST:: SOT 53438 SOS 43757 HAS SOPS 42511 HAS SOUS 34662 HAS SOUPS 33416 WITH SCORE 33459.757
AT ITER 43 NEW BEST:: SOT 53350 SOS 43541 HAS SOPS 42295 HAS SOUS 34393 HAS SOUPS 33147 WITH SCORE 33190.541
AT ITER 45 NEW BEST:: SOT 53398 SOS 43289 HAS SOPS 42043 HAS SOUS 34380 HAS SOUPS 33134 WITH SCORE 33177.289
AT ITER 49 NEW BEST:: SOT 53398 SOS 43204 HAS SOPS 41958 HAS SOUS 34236 HAS SOUPS 32990 WITH SCORE 33033.204
AT ITER 51 NEW BEST:: SOT 53396 SOS 43202 HAS SOPS 41956 HAS SOUS 34234 HAS SOUPS 32988 WITH SCORE 33031.202
AT ITER 53 NEW BEST:: SOT 53469 SOS 43202 HAS SOPS 41883 HAS SOUS 34283 HAS SOUPS 32964 WITH SCORE 33007.202
AT ITER 61 NEW BEST:: SOT 54484 SOS 42483 HAS SOPS 41326 HAS SOUS 31779 HAS SOUPS 30622 WITH SCORE 30664.483
AT ITER 63 NEW BEST:: SOT 49046 SOS 37100 HAS SOPS 36147 HAS SOUS 26341 HAS SOUPS 25388 WITH SCORE 25425.1
AT ITER 64 NEW BEST:: SOT 49055 SOS 37082 HAS SOPS 36120 HAS SOUS 26341 HAS SOUPS 25379 WITH SCORE 25416.082
AT ITER 65 NEW BEST:: SOT 49089 SOS 36986 HAS SOPS 35990 HAS SOUS 26301 HAS SOUPS 25305 WITH SCORE 25341.986
AT ITER 66 NEW BEST:: SOT 46945 SOS 34944 HAS SOPS 33948 HAS SOUS 24659 HAS SOUPS 23663 WITH SCORE 23697.944
AT ITER 67 NEW BEST:: SOT 46919 SOS 34770 HAS SOPS 33792 HAS SOUS 24537 HAS SOUPS 23559 WITH SCORE 23593.77
AT ITER 72 NEW BEST:: SOT 46919 SOS 34770 HAS SOPS 33792 HAS SOUS 24511 HAS SOUPS 23533 WITH SCORE 23567.77
AT ITER 73 NEW BEST:: SOT 46818 SOS 34639 HAS SOPS 33661 HAS SOUS 24325 HAS SOUPS 23347 WITH SCORE 23381.639
AT ITER 78 NEW BEST:: SOT 46793 SOS 34619 HAS SOPS 33684 HAS SOUS 24282 HAS SOUPS 23347 WITH SCORE 23381.619
AT ITER 80 NEW BEST:: SOT 46833 SOS 34596 HAS SOPS 33661 HAS SOUS 24266 HAS SOUPS 23331 WITH SCORE 23365.596
AT ITER 81 NEW BEST:: SOT 46836 SOS 34387 HAS SOPS 33452 HAS SOUS 24143 HAS SOUPS 23208 WITH SCORE 23242.387
AT ITER 82 NEW BEST:: SOT 46826 SOS 34377 HAS SOPS 33442 HAS SOUS 24123 HAS SOUPS 23188 WITH SCORE 23222.377
AT ITER 90 NEW BEST:: SOT 46826 SOS 34377 HAS SOPS 33442 HAS SOUS 24117 HAS SOUPS 23182 WITH SCORE 23216.377
AT ITER 92 NEW BEST:: SOT 46818 SOS 34331 HAS SOPS 33394 HAS SOUS 24087 HAS SOUPS 23150 WITH SCORE 23184.331
AT ITER 95 NEW BEST:: SOT 46807 SOS 34227 HAS SOPS 33328 HAS SOUS 24005 HAS SOUPS 23106 WITH SCORE 23140.227
AT ITER 102 NEW BEST:: SOT 46807 SOS 34164 HAS SOPS 33265 HAS SOUS 23987 HAS SOUPS 23088 WITH SCORE 23122.164
AT ITER 105 NEW BEST:: SOT 46828 SOS 34015 HAS SOPS 33072 HAS SOUS 23867 HAS SOUPS 22924 WITH SCORE 22958.015
AT ITER 107 NEW BEST:: SOT 46828 SOS 33951 HAS SOPS 33021 HAS SOUS 23841 HAS SOUPS 22911 WITH SCORE 22944.951
AT ITER 108 NEW BEST:: SOT 46828 SOS 33876 HAS SOPS 32946 HAS SOUS 23841 HAS SOUPS 22911 WITH SCORE 22944.876
AT ITER 110 NEW BEST:: SOT 46786 SOS 33561 HAS SOPS 32681 HAS SOUS 23623 HAS SOUPS 22743 WITH SCORE 22776.561
AT ITER 117 NEW BEST:: SOT 46778 SOS 33553 HAS SOPS 32673 HAS SOUS 23621 HAS SOUPS 22741 WITH SCORE 22774.553
AT ITER 119 NEW BEST:: SOT 46719 SOS 33494 HAS SOPS 32614 HAS SOUS 23477 HAS SOUPS 22597 WITH SCORE 22630.494
AT ITER 120 NEW BEST:: SOT 46699 SOS 33479 HAS SOPS 32599 HAS SOUS 23348 HAS SOUPS 22468 WITH SCORE 22501.479
AT ITER 129 NEW BEST:: SOT 46699 SOS 33454 HAS SOPS 32579 HAS SOUS 23338 HAS SOUPS 22463 WITH SCORE 22496.454
AT ITER 130 NEW BEST:: SOT 46699 SOS 33440 HAS SOPS 32565 HAS SOUS 23338 HAS SOUPS 22463 WITH SCORE 22496.44
AT ITER 134 NEW BEST:: SOT 46667 SOS 33388 HAS SOPS 32513 HAS SOUS 23244 HAS SOUPS 22369 WITH SCORE 22402.388
AT ITER 139 NEW BEST:: SOT 44863 SOS 31771 HAS SOPS 30896 HAS SOUS 22643 HAS SOUPS 21768 WITH SCORE 21799.771
AT ITER 141 NEW BEST:: SOT 44863 SOS 31727 HAS SOPS 30863 HAS SOUS 22621 HAS SOUPS 21757 WITH SCORE 21788.727
AT ITER 142 NEW BEST:: SOT 44849 SOS 31657 HAS SOPS 30793 HAS SOUS 22550 HAS SOUPS 21686 WITH SCORE 21717.657
AT ITER 144 NEW BEST:: SOT 44818 SOS 31671 HAS SOPS 30807 HAS SOUS 22494 HAS SOUPS 21630 WITH SCORE 21661.671
AT ITER 148 NEW BEST:: SOT 44741 SOS 31494 HAS SOPS 30630 HAS SOUS 22238 HAS SOUPS 21374 WITH SCORE 21405.494
AT ITER 150 NEW BEST:: SOT 44889 SOS 31332 HAS SOPS 30402 HAS SOUS 21990 HAS SOUPS 21060 WITH SCORE 21091.332
AT ITER 153 NEW BEST:: SOT 44889 SOS 31319 HAS SOPS 30389 HAS SOUS 21990 HAS SOUPS 21060 WITH SCORE 21091.319
AT ITER 161 NEW BEST:: SOT 44891 SOS 31154 HAS SOPS 30243 HAS SOUS 21939 HAS SOUPS 21028 WITH SCORE 21059.154
AT ITER 162 NEW BEST:: SOT 44999 SOS 30926 HAS SOPS 30015 HAS SOUS 21828 HAS SOUPS 20917 WITH SCORE 20947.926
AT ITER 163 NEW BEST:: SOT 44996 SOS 30855 HAS SOPS 29944 HAS SOUS 21791 HAS SOUPS 20880 WITH SCORE 20910.855
AT ITER 164 NEW BEST:: SOT 44996 SOS 30796 HAS SOPS 29911 HAS SOUS 21759 HAS SOUPS 20874 WITH SCORE 20904.796
AT ITER 165 NEW BEST:: SOT 44996 SOS 30768 HAS SOPS 29883 HAS SOUS 21755 HAS SOUPS 20870 WITH SCORE 20900.768
AT ITER 167 NEW BEST:: SOT 44996 SOS 30750 HAS SOPS 29883 HAS SOUS 21737 HAS SOUPS 20870 WITH SCORE 20900.75
AT ITER 168 NEW BEST:: SOT 44956 SOS 30686 HAS SOPS 29819 HAS SOUS 21567 HAS SOUPS 20700 WITH SCORE 20730.686
AT ITER 176 NEW BEST:: SOT 44913 SOS 30647 HAS SOPS 29780 HAS SOUS 21563 HAS SOUPS 20696 WITH SCORE 20726.647
AT ITER 182 NEW BEST:: SOT 45088 SOS 30535 HAS SOPS 29589 HAS SOUS 21546 HAS SOUPS 20600 WITH SCORE 20630.535
AT ITER 184 NEW BEST:: SOT 44893 SOS 30403 HAS SOPS 29462 HAS SOUS 21510 HAS SOUPS 20569 WITH SCORE 20599.403
AT ITER 186 NEW BEST:: SOT 44804 SOS 30314 HAS SOPS 29373 HAS SOUS 21455 HAS SOUPS 20514 WITH SCORE 20544.314
AT ITER 192 NEW BEST:: SOT 44797 SOS 30148 HAS SOPS 29207 HAS SOUS 21353 HAS SOUPS 20412 WITH SCORE 20442.148
AT ITER 193 NEW BEST:: SOT 44797 SOS 30025 HAS SOPS 29084 HAS SOUS 21344 HAS SOUPS 20403 WITH SCORE 20433.025
AT ITER 196 NEW BEST:: SOT 44797 SOS 30023 HAS SOPS 29084 HAS SOUS 21342 HAS SOUPS 20403 WITH SCORE 20433.023
AT ITER 197 NEW BEST:: SOT 44797 SOS 30023 HAS SOPS 29084 HAS SOUS 21293 HAS SOUPS 20354 WITH SCORE 20384.023
AT ITER 206 NEW BEST:: SOT 43852 SOS 29274 HAS SOPS 28335 HAS SOUS 20839 HAS SOUPS 19900 WITH SCORE 19929.274
AT ITER 218 NEW BEST:: SOT 43799 SOS 29219 HAS SOPS 28280 HAS SOUS 20774 HAS SOUPS 19835 WITH SCORE 19864.219
AT ITER 219 NEW BEST:: SOT 43900 SOS 29019 HAS SOPS 28029 HAS SOUS 20818 HAS SOUPS 19828 WITH SCORE 19857.019
AT ITER 220 NEW BEST:: SOT 43965 SOS 28879 HAS SOPS 27846 HAS SOUS 20773 HAS SOUPS 19740 WITH SCORE 19768.879
AT ITER 221 NEW BEST:: SOT 43908 SOS 28822 HAS SOPS 27789 HAS SOUS 20678 HAS SOUPS 19645 WITH SCORE 19673.822
AT ITER 222 NEW BEST:: SOT 43943 SOS 28750 HAS SOPS 27675 HAS SOUS 20651 HAS SOUPS 19576 WITH SCORE 19604.75
AT ITER 223 NEW BEST:: SOT 43867 SOS 28624 HAS SOPS 27549 HAS SOUS 20540 HAS SOUPS 19465 WITH SCORE 19493.624
AT ITER 235 NEW BEST:: SOT 43940 SOS 28667 HAS SOPS 27587 HAS SOUS 20494 HAS SOUPS 19414 WITH SCORE 19442.667
AT ITER 242 NEW BEST:: SOT 44192 SOS 28621 HAS SOPS 27486 HAS SOUS 20431 HAS SOUPS 19296 WITH SCORE 19324.621
AT ITER 244 NEW BEST:: SOT 44144 SOS 28568 HAS SOPS 27433 HAS SOUS 20353 HAS SOUPS 19218 WITH SCORE 19246.568
AT ITER 245 NEW BEST:: SOT 44140 SOS 28596 HAS SOPS 27453 HAS SOUS 20353 HAS SOUPS 19210 WITH SCORE 19238.596
AT ITER 247 NEW BEST:: SOT 44155 SOS 28606 HAS SOPS 27463 HAS SOUS 20343 HAS SOUPS 19200 WITH SCORE 19228.606
AT ITER 249 NEW BEST:: SOT 44069 SOS 28546 HAS SOPS 27423 HAS SOUS 20259 HAS SOUPS 19136 WITH SCORE 19164.546
AT ITER 250 NEW BEST:: SOT 44094 SOS 28468 HAS SOPS 27314 HAS SOUS 20229 HAS SOUPS 19075 WITH SCORE 19103.468
AT ITER 258 NEW BEST:: SOT 44119 SOS 28424 HAS SOPS 27232 HAS SOUS 20213 HAS SOUPS 19021 WITH SCORE 19049.424
AT ITER 263 NEW BEST:: SOT 44109 SOS 28414 HAS SOPS 27222 HAS SOUS 20175 HAS SOUPS 18983 WITH SCORE 19011.414
AT ITER 266 NEW BEST:: SOT 44086 SOS 28396 HAS SOPS 27204 HAS SOUS 20157 HAS SOUPS 18965 WITH SCORE 18993.396
AT ITER 268 NEW BEST:: SOT 44086 SOS 28396 HAS SOPS 27204 HAS SOUS 20153 HAS SOUPS 18961 WITH SCORE 18989.396
AT ITER 276 NEW BEST:: SOT 44059 SOS 28361 HAS SOPS 27169 HAS SOUS 20095 HAS SOUPS 18903 WITH SCORE 18931.361
AT ITER 277 NEW BEST:: SOT 44059 SOS 28315 HAS SOPS 27169 HAS SOUS 20049 HAS SOUPS 18903 WITH SCORE 18931.315
AT ITER 278 NEW BEST:: SOT 44023 SOS 28245 HAS SOPS 27077 HAS SOUS 19993 HAS SOUPS 18825 WITH SCORE 18853.245
AT ITER 282 NEW BEST:: SOT 44004 SOS 28374 HAS SOPS 27206 HAS SOUS 19980 HAS SOUPS 18812 WITH SCORE 18840.374
AT ITER 285 NEW BEST:: SOT 43906 SOS 28292 HAS SOPS 27124 HAS SOUS 19838 HAS SOUPS 18670 WITH SCORE 18698.292
AT ITER 291 NEW BEST:: SOT 43904 SOS 28290 HAS SOPS 27122 HAS SOUS 19834 HAS SOUPS 18666 WITH SCORE 18694.29
AT ITER 296 NEW BEST:: SOT 43881 SOS 28183 HAS SOPS 27015 HAS SOUS 19719 HAS SOUPS 18551 WITH SCORE 18579.183
AT ITER 303 NEW BEST:: SOT 43571 SOS 28049 HAS SOPS 26928 HAS SOUS 19660 HAS SOUPS 18539 WITH SCORE 18567.049
AT ITER 307 NEW BEST:: SOT 43573 SOS 27883 HAS SOPS 26746 HAS SOUS 19565 HAS SOUPS 18428 WITH SCORE 18455.883
AT ITER 310 NEW BEST:: SOT 43527 SOS 27883 HAS SOPS 26700 HAS SOUS 19510 HAS SOUPS 18327 WITH SCORE 18354.883
AT ITER 313 NEW BEST:: SOT 43558 SOS 27878 HAS SOPS 26695 HAS SOUS 19494 HAS SOUPS 18311 WITH SCORE 18338.878
AT ITER 314 NEW BEST:: SOT 43558 SOS 27862 HAS SOPS 26679 HAS SOUS 19494 HAS SOUPS 18311 WITH SCORE 18338.862
AT ITER 318 NEW BEST:: SOT 43516 SOS 27830 HAS SOPS 26647 HAS SOUS 19462 HAS SOUPS 18279 WITH SCORE 18306.83
AT ITER 319 NEW BEST:: SOT 43537 SOS 27763 HAS SOPS 26580 HAS SOUS 19430 HAS SOUPS 18247 WITH SCORE 18274.763
AT ITER 322 NEW BEST:: SOT 43453 SOS 27579 HAS SOPS 26396 HAS SOUS 19255 HAS SOUPS 18072 WITH SCORE 18099.579
AT ITER 333 NEW BEST:: SOT 43437 SOS 27563 HAS SOPS 26380 HAS SOUS 19239 HAS SOUPS 18056 WITH SCORE 18083.563
AT ITER 338 NEW BEST:: SOT 43437 SOS 27379 HAS SOPS 26196 HAS SOUS 19193 HAS SOUPS 18010 WITH SCORE 18037.379
AT ITER 341 NEW BEST:: SOT 43435 SOS 27377 HAS SOPS 26194 HAS SOUS 19181 HAS SOUPS 17998 WITH SCORE 18025.377
AT ITER 343 NEW BEST:: SOT 43435 SOS 27337 HAS SOPS 26146 HAS SOUS 19157 HAS SOUPS 17966 WITH SCORE 17993.337
AT ITER 352 NEW BEST:: SOT 43377 SOS 27279 HAS SOPS 26088 HAS SOUS 19057 HAS SOUPS 17866 WITH SCORE 17893.279
AT ITER 357 NEW BEST:: SOT 43356 SOS 27258 HAS SOPS 26067 HAS SOUS 19036 HAS SOUPS 17845 WITH SCORE 17872.258
AT ITER 374 NEW BEST:: SOT 43460 SOS 27310 HAS SOPS 26119 HAS SOUS 19016 HAS SOUPS 17825 WITH SCORE 17852.31
AT ITER 380 NEW BEST:: SOT 43555 SOS 27265 HAS SOPS 26018 HAS SOUS 19030 HAS SOUPS 17783 WITH SCORE 17810.265
AT ITER 391 NEW BEST:: SOT 43502 SOS 27212 HAS SOPS 25965 HAS SOUS 18942 HAS SOUPS 17695 WITH SCORE 17722.212
AT ITER 393 NEW BEST:: SOT 43502 SOS 26508 HAS SOPS 25261 HAS SOUS 18783 HAS SOUPS 17536 WITH SCORE 17562.508
AT ITER 397 NEW BEST:: SOT 43459 SOS 26446 HAS SOPS 25199 HAS SOUS 18748 HAS SOUPS 17501 WITH SCORE 17527.446
AT ITER 409 NEW BEST:: SOT 43444 SOS 26418 HAS SOPS 25171 HAS SOUS 18653 HAS SOUPS 17406 WITH SCORE 17432.418
AT ITER 426 NEW BEST:: SOT 43408 SOS 26390 HAS SOPS 25143 HAS SOUS 18605 HAS SOUPS 17358 WITH SCORE 17384.39
AT ITER 427 NEW BEST:: SOT 43283 SOS 26292 HAS SOPS 25045 HAS SOUS 18321 HAS SOUPS 17074 WITH SCORE 17100.292
AT ITER 428 NEW BEST:: SOT 43310 SOS 26050 HAS SOPS 24875 HAS SOUS 18246 HAS SOUPS 17071 WITH SCORE 17097.05
AT ITER 429 NEW BEST:: SOT 43222 SOS 25892 HAS SOPS 24717 HAS SOUS 18015 HAS SOUPS 16840 WITH SCORE 16865.892
AT ITER 430 NEW BEST:: SOT 43205 SOS 25792 HAS SOPS 24617 HAS SOUS 17981 HAS SOUPS 16806 WITH SCORE 16831.792
AT ITER 431 NEW BEST:: SOT 43205 SOS 25777 HAS SOPS 24602 HAS SOUS 17945 HAS SOUPS 16770 WITH SCORE 16795.777
AT ITER 436 NEW BEST:: SOT 43202 SOS 25774 HAS SOPS 24599 HAS SOUS 17939 HAS SOUPS 16764 WITH SCORE 16789.774
AT ITER 444 NEW BEST:: SOT 43221 SOS 25745 HAS SOPS 24551 HAS SOUS 17923 HAS SOUPS 16729 WITH SCORE 16754.745
AT ITER 445 NEW BEST:: SOT 43204 SOS 25728 HAS SOPS 24534 HAS SOUS 17889 HAS SOUPS 16695 WITH SCORE 16720.728
AT ITER 451 NEW BEST:: SOT 43274 SOS 25549 HAS SOPS 24355 HAS SOUS 17856 HAS SOUPS 16662 WITH SCORE 16687.549
AT ITER 455 NEW BEST:: SOT 43314 SOS 25454 HAS SOPS 24220 HAS SOUS 17896 HAS SOUPS 16662 WITH SCORE 16687.454
AT ITER 466 NEW BEST:: SOT 43345 SOS 25138 HAS SOPS 23904 HAS SOUS 17648 HAS SOUPS 16414 WITH SCORE 16439.138
AT ITER 469 NEW BEST:: SOT 43325 SOS 25101 HAS SOPS 23867 HAS SOUS 17562 HAS SOUPS 16328 WITH SCORE 16353.101
AT ITER 472 NEW BEST:: SOT 43325 SOS 25021 HAS SOPS 23742 HAS SOUS 17473 HAS SOUPS 16194 WITH SCORE 16219.021
AT ITER 480 NEW BEST:: SOT 43408 SOS 24290 HAS SOPS 23011 HAS SOUS 17108 HAS SOUPS 15829 WITH SCORE 15853.29
AT ITER 484 NEW BEST:: SOT 43399 SOS 24316 HAS SOPS 23022 HAS SOUS 17096 HAS SOUPS 15802 WITH SCORE 15826.316
AT ITER 490 NEW BEST:: SOT 43443 SOS 24210 HAS SOPS 22872 HAS SOUS 17110 HAS SOUPS 15772 WITH SCORE 15796.21
AT ITER 493 NEW BEST:: SOT 43399 SOS 24180 HAS SOPS 22842 HAS SOUS 17092 HAS SOUPS 15754 WITH SCORE 15778.18
AT ITER 504 NEW BEST:: SOT 43397 SOS 24168 HAS SOPS 22830 HAS SOUS 17090 HAS SOUPS 15752 WITH SCORE 15776.168
AT ITER 510 NEW BEST:: SOT 42504 SOS 25514 HAS SOPS 24894 HAS SOUS 16242 HAS SOUPS 15622 WITH SCORE 15647.514
AT ITER 522 NEW BEST:: SOT 42493 SOS 25503 HAS SOPS 24883 HAS SOUS 16220 HAS SOUPS 15600 WITH SCORE 15625.503
AT ITER 524 NEW BEST:: SOT 42483 SOS 25493 HAS SOPS 24873 HAS SOUS 16200 HAS SOUPS 15580 WITH SCORE 15605.493
AT ITER 528 NEW BEST:: SOT 42486 SOS 25488 HAS SOPS 24868 HAS SOUS 16158 HAS SOUPS 15538 WITH SCORE 15563.488
AT ITER 533 NEW BEST:: SOT 42458 SOS 25483 HAS SOPS 24863 HAS SOUS 16086 HAS SOUPS 15466 WITH SCORE 15491.483
AT ITER 539 NEW BEST:: SOT 42266 SOS 25346 HAS SOPS 24737 HAS SOUS 16015 HAS SOUPS 15406 WITH SCORE 15431.346
AT ITER 541 NEW BEST:: SOT 42266 SOS 25341 HAS SOPS 24732 HAS SOUS 16015 HAS SOUPS 15406 WITH SCORE 15431.341
AT ITER 556 NEW BEST:: SOT 42232 SOS 25284 HAS SOPS 24675 HAS SOUS 15947 HAS SOUPS 15338 WITH SCORE 15363.284
AT ITER 557 NEW BEST:: SOT 42211 SOS 25263 HAS SOPS 24654 HAS SOUS 15917 HAS SOUPS 15308 WITH SCORE 15333.263
AT ITER 563 NEW BEST:: SOT 42187 SOS 25239 HAS SOPS 24630 HAS SOUS 15893 HAS SOUPS 15284 WITH SCORE 15309.239
AT ITER 567 NEW BEST:: SOT 42183 SOS 25260 HAS SOPS 24642 HAS SOUS 15890 HAS SOUPS 15272 WITH SCORE 15297.26
AT ITER 579 NEW BEST:: SOT 42179 SOS 25256 HAS SOPS 24638 HAS SOUS 15882 HAS SOUPS 15264 WITH SCORE 15289.256
AT ITER 583 NEW BEST:: SOT 42172 SOS 25249 HAS SOPS 24631 HAS SOUS 15875 HAS SOUPS 15257 WITH SCORE 15282.249
AT ITER 602 NEW BEST:: SOT 42170 SOS 25235 HAS SOPS 24617 HAS SOUS 15869 HAS SOUPS 15251 WITH SCORE 15276.235
AT ITER 611 NEW BEST:: SOT 42167 SOS 25274 HAS SOPS 24656 HAS SOUS 15860 HAS SOUPS 15242 WITH SCORE 15267.274
AT ITER 615 NEW BEST:: SOT 42126 SOS 25213 HAS SOPS 24595 HAS SOUS 15802 HAS SOUPS 15184 WITH SCORE 15209.213
AT ITER 635 NEW BEST:: SOT 42103 SOS 25148 HAS SOPS 24530 HAS SOUS 15672 HAS SOUPS 15054 WITH SCORE 15079.148
AT ITER 637 NEW BEST:: SOT 42101 SOS 25146 HAS SOPS 24528 HAS SOUS 15668 HAS SOUPS 15050 WITH SCORE 15075.146
AT ITER 639 NEW BEST:: SOT 41754 SOS 24977 HAS SOPS 24395 HAS SOUS 15487 HAS SOUPS 14905 WITH SCORE 14929.977
AT ITER 643 NEW BEST:: SOT 41754 SOS 24950 HAS SOPS 24395 HAS SOUS 15460 HAS SOUPS 14905 WITH SCORE 14929.95
AT ITER 644 NEW BEST:: SOT 41749 SOS 25182 HAS SOPS 24573 HAS SOUS 15502 HAS SOUPS 14893 WITH SCORE 14918.182
AT ITER 646 NEW BEST:: SOT 41709 SOS 25142 HAS SOPS 24533 HAS SOUS 15422 HAS SOUPS 14813 WITH SCORE 14838.142
AT ITER 648 NEW BEST:: SOT 41635 SOS 25084 HAS SOPS 24475 HAS SOUS 15370 HAS SOUPS 14761 WITH SCORE 14786.084
AT ITER 653 NEW BEST:: SOT 41629 SOS 25078 HAS SOPS 24469 HAS SOUS 15358 HAS SOUPS 14749 WITH SCORE 14774.078
AT ITER 675 NEW BEST:: SOT 41605 SOS 25072 HAS SOPS 24463 HAS SOUS 15310 HAS SOUPS 14701 WITH SCORE 14726.072
AT ITER 691 NEW BEST:: SOT 41566 SOS 24981 HAS SOPS 24372 HAS SOUS 15210 HAS SOUPS 14601 WITH SCORE 14625.981
AT ITER 692 NEW BEST:: SOT 41564 SOS 25007 HAS SOPS 24390 HAS SOUS 15212 HAS SOUPS 14595 WITH SCORE 14620.007
AT ITER 695 NEW BEST:: SOT 41527 SOS 24970 HAS SOPS 24353 HAS SOUS 15129 HAS SOUPS 14512 WITH SCORE 14536.97
AT ITER 702 NEW BEST:: SOT 41523 SOS 24966 HAS SOPS 24349 HAS SOUS 15121 HAS SOUPS 14504 WITH SCORE 14528.966
AT ITER 704 NEW BEST:: SOT 41513 SOS 24956 HAS SOPS 24339 HAS SOUS 15111 HAS SOUPS 14494 WITH SCORE 14518.956
AT ITER 713 NEW BEST:: SOT 41538 SOS 24941 HAS SOPS 24324 HAS SOUS 15023 HAS SOUPS 14406 WITH SCORE 14430.941
AT ITER 740 NEW BEST:: SOT 41511 SOS 24912 HAS SOPS 24270 HAS SOUS 14967 HAS SOUPS 14325 WITH SCORE 14349.912
AT ITER 745 NEW BEST:: SOT 41495 SOS 24912 HAS SOPS 24254 HAS SOUS 14935 HAS SOUPS 14277 WITH SCORE 14301.912
AT ITER 753 NEW BEST:: SOT 41460 SOS 24890 HAS SOPS 24233 HAS SOUS 14899 HAS SOUPS 14242 WITH SCORE 14266.89
AT ITER 759 NEW BEST:: SOT 41391 SOS 24912 HAS SOPS 24269 HAS SOUS 14875 HAS SOUPS 14232 WITH SCORE 14256.912
AT ITER 761 NEW BEST:: SOT 41514 SOS 24984 HAS SOPS 24341 HAS SOUS 14811 HAS SOUPS 14168 WITH SCORE 14192.984
AT ITER 765 NEW BEST:: SOT 41588 SOS 25026 HAS SOPS 24383 HAS SOUS 14776 HAS SOUPS 14133 WITH SCORE 14158.026
AT ITER 766 NEW BEST:: SOT 41585 SOS 25024 HAS SOPS 24381 HAS SOUS 14776 HAS SOUPS 14133 WITH SCORE 14158.024
AT ITER 769 NEW BEST:: SOT 41574 SOS 25013 HAS SOPS 24370 HAS SOUS 14760 HAS SOUPS 14117 WITH SCORE 14142.013
AT ITER 783 NEW BEST:: SOT 41611 SOS 25022 HAS SOPS 24379 HAS SOUS 14717 HAS SOUPS 14074 WITH SCORE 14099.022
AT ITER 785 NEW BEST:: SOT 41599 SOS 25010 HAS SOPS 24367 HAS SOUS 14693 HAS SOUPS 14050 WITH SCORE 14075.01
AT ITER 787 NEW BEST:: SOT 41598 SOS 25009 HAS SOPS 24366 HAS SOUS 14692 HAS SOUPS 14049 WITH SCORE 14074.009
AT ITER 802 NEW BEST:: SOT 41302 SOS 24780 HAS SOPS 24137 HAS SOUS 14522 HAS SOUPS 13879 WITH SCORE 13903.78
AT ITER 809 NEW BEST:: SOT 41300 SOS 24778 HAS SOPS 24135 HAS SOUS 14520 HAS SOUPS 13877 WITH SCORE 13901.778
AT ITER 817 NEW BEST:: SOT 41183 SOS 24695 HAS SOPS 24052 HAS SOUS 14450 HAS SOUPS 13807 WITH SCORE 13831.695
AT ITER 818 NEW BEST:: SOT 41169 SOS 24661 HAS SOPS 24018 HAS SOUS 14368 HAS SOUPS 13725 WITH SCORE 13749.661
AT ITER 820 NEW BEST:: SOT 41167 SOS 24647 HAS SOPS 24004 HAS SOUS 14362 HAS SOUPS 13719 WITH SCORE 13743.647
AT ITER 828 NEW BEST:: SOT 41164 SOS 24645 HAS SOPS 24002 HAS SOUS 14361 HAS SOUPS 13718 WITH SCORE 13742.645
AT ITER 830 NEW BEST:: SOT 41123 SOS 24610 HAS SOPS 23955 HAS SOUS 14288 HAS SOUPS 13633 WITH SCORE 13657.61
AT ITER 870 NEW BEST:: SOT 40938 SOS 24635 HAS SOPS 23996 HAS SOUS 14158 HAS SOUPS 13519 WITH SCORE 13543.635
AT ITER 873 NEW BEST:: SOT 40933 SOS 24630 HAS SOPS 23991 HAS SOUS 14153 HAS SOUPS 13514 WITH SCORE 13538.63
AT ITER 884 NEW BEST:: SOT 40932 SOS 24629 HAS SOPS 23990 HAS SOUS 14136 HAS SOUPS 13497 WITH SCORE 13521.629
AT ITER 887 NEW BEST:: SOT 40914 SOS 24611 HAS SOPS 23972 HAS SOUS 14100 HAS SOUPS 13461 WITH SCORE 13485.611
AT ITER 890 NEW BEST:: SOT 40852 SOS 24567 HAS SOPS 23928 HAS SOUS 14088 HAS SOUPS 13449 WITH SCORE 13473.567
AT ITER 897 NEW BEST:: SOT 40852 SOS 24563 HAS SOPS 23924 HAS SOUS 14088 HAS SOUPS 13449 WITH SCORE 13473.563
AT ITER 906 NEW BEST:: SOT 40835 SOS 24546 HAS SOPS 23907 HAS SOUS 14054 HAS SOUPS 13415 WITH SCORE 13439.546
AT ITER 909 NEW BEST:: SOT 40850 SOS 24561 HAS SOPS 23922 HAS SOUS 14048 HAS SOUPS 13409 WITH SCORE 13433.561
AT ITER 913 NEW BEST:: SOT 40830 SOS 24541 HAS SOPS 23902 HAS SOUS 14025 HAS SOUPS 13386 WITH SCORE 13410.541
AT ITER 934 NEW BEST:: SOT 40854 SOS 24533 HAS SOPS 23894 HAS SOUS 13881 HAS SOUPS 13242 WITH SCORE 13266.533
AT ITER 936 NEW BEST:: SOT 40843 SOS 24522 HAS SOPS 23883 HAS SOUS 13859 HAS SOUPS 13220 WITH SCORE 13244.522
AT ITER 939 NEW BEST:: SOT 40840 SOS 24519 HAS SOPS 23880 HAS SOUS 13853 HAS SOUPS 13214 WITH SCORE 13238.519
AT ITER 956 NEW BEST:: SOT 40838 SOS 24517 HAS SOPS 23878 HAS SOUS 13849 HAS SOUPS 13210 WITH SCORE 13234.517
AT ITER 964 NEW BEST:: SOT 40742 SOS 24461 HAS SOPS 23822 HAS SOUS 13837 HAS SOUPS 13198 WITH SCORE 13222.461
AT ITER 969 NEW BEST:: SOT 40694 SOS 24413 HAS SOPS 23774 HAS SOUS 13789 HAS SOUPS 13150 WITH SCORE 13174.413
AT ITER 972 NEW BEST:: SOT 40690 SOS 24409 HAS SOPS 23770 HAS SOUS 13781 HAS SOUPS 13142 WITH SCORE 13166.409
AT ITER 981 NEW BEST:: SOT 40690 SOS 24229 HAS SOPS 23619 HAS SOUS 13752 HAS SOUPS 13142 WITH SCORE 13166.229
AT ITER 994 NEW BEST:: SOT 40668 SOS 24207 HAS SOPS 23597 HAS SOUS 13742 HAS SOUPS 13132 WITH SCORE 13156.207
AT ITER 1003 NEW BEST:: SOT 40667 SOS 24206 HAS SOPS 23596 HAS SOUS 13740 HAS SOUPS 13130 WITH SCORE 13154.206
AT ITER 1007 NEW BEST:: SOT 40664 SOS 24203 HAS SOPS 23593 HAS SOUS 13734 HAS SOUPS 13124 WITH SCORE 13148.203
AT ITER 1021 NEW BEST:: SOT 40664 SOS 24200 HAS SOPS 23593 HAS SOUS 13731 HAS SOUPS 13124 WITH SCORE 13148.2
AT ITER 1036 NEW BEST:: SOT 40657 SOS 24193 HAS SOPS 23586 HAS SOUS 13716 HAS SOUPS 13109 WITH SCORE 13133.193
AT ITER 1039 NEW BEST:: SOT 40920 SOS 24361 HAS SOPS 23754 HAS SOUS 13616 HAS SOUPS 13009 WITH SCORE 13033.361
AT ITER 1044 NEW BEST:: SOT 40894 SOS 24366 HAS SOPS 23759 HAS SOUS 13596 HAS SOUPS 12989 WITH SCORE 13013.366
AT ITER 1048 NEW BEST:: SOT 40894 SOS 24366 HAS SOPS 23759 HAS SOUS 13561 HAS SOUPS 12954 WITH SCORE 12978.366
AT ITER 1055 NEW BEST:: SOT 40886 SOS 24358 HAS SOPS 23751 HAS SOUS 13553 HAS SOUPS 12946 WITH SCORE 12970.358
AT ITER 1059 NEW BEST:: SOT 40845 SOS 24331 HAS SOPS 23724 HAS SOUS 13552 HAS SOUPS 12945 WITH SCORE 12969.331
AT ITER 1083 NEW BEST:: SOT 40842 SOS 24316 HAS SOPS 23706 HAS SOUS 13546 HAS SOUPS 12936 WITH SCORE 12960.316
AT ITER 1105 NEW BEST:: SOT 40862 SOS 24322 HAS SOPS 23689 HAS SOUS 13560 HAS SOUPS 12927 WITH SCORE 12951.322
AT ITER 1109 NEW BEST:: SOT 40847 SOS 24307 HAS SOPS 23659 HAS SOUS 13530 HAS SOUPS 12882 WITH SCORE 12906.307
AT ITER 1114 NEW BEST:: SOT 40779 SOS 24259 HAS SOPS 23611 HAS SOUS 13511 HAS SOUPS 12863 WITH SCORE 12887.259
AT ITER 1120 NEW BEST:: SOT 40761 SOS 24222 HAS SOPS 23574 HAS SOUS 13475 HAS SOUPS 12827 WITH SCORE 12851.222
AT ITER 1130 NEW BEST:: SOT 40752 SOS 24181 HAS SOPS 23533 HAS SOUS 13457 HAS SOUPS 12809 WITH SCORE 12833.181
AT ITER 1134 NEW BEST:: SOT 40762 SOS 23946 HAS SOPS 23298 HAS SOUS 13158 HAS SOUPS 12510 WITH SCORE 12533.946
AT ITER 1136 NEW BEST:: SOT 40578 SOS 23931 HAS SOPS 23308 HAS SOUS 13019 HAS SOUPS 12396 WITH SCORE 12419.931
AT ITER 1138 NEW BEST:: SOT 40580 SOS 23921 HAS SOPS 23298 HAS SOUS 13019 HAS SOUPS 12396 WITH SCORE 12419.921
AT ITER 1144 NEW BEST:: SOT 40526 SOS 23867 HAS SOPS 23244 HAS SOUS 12940 HAS SOUPS 12317 WITH SCORE 12340.867
AT ITER 1154 NEW BEST:: SOT 40474 SOS 23907 HAS SOPS 23301 HAS SOUS 12914 HAS SOUPS 12308 WITH SCORE 12331.907
AT ITER 1166 NEW BEST:: SOT 40513 SOS 23946 HAS SOPS 23340 HAS SOUS 12912 HAS SOUPS 12306 WITH SCORE 12329.946
AT ITER 1178 NEW BEST:: SOT 40462 SOS 23995 HAS SOPS 23398 HAS SOUS 12869 HAS SOUPS 12272 WITH SCORE 12295.995
AT ITER 1203 NEW BEST:: SOT 40378 SOS 23911 HAS SOPS 23314 HAS SOUS 12701 HAS SOUPS 12104 WITH SCORE 12127.911
AT ITER 1208 NEW BEST:: SOT 40372 SOS 23905 HAS SOPS 23308 HAS SOUS 12689 HAS SOUPS 12092 WITH SCORE 12115.905
AT ITER 1210 NEW BEST:: SOT 40372 SOS 23890 HAS SOPS 23287 HAS SOUS 12686 HAS SOUPS 12083 WITH SCORE 12106.89
AT ITER 1230 NEW BEST:: SOT 40423 SOS 23907 HAS SOPS 23304 HAS SOUS 12503 HAS SOUPS 11900 WITH SCORE 11923.907
AT ITER 1233 NEW BEST:: SOT 40398 SOS 23882 HAS SOPS 23279 HAS SOUS 12453 HAS SOUPS 11850 WITH SCORE 11873.882
AT ITER 1237 NEW BEST:: SOT 40468 SOS 23910 HAS SOPS 23307 HAS SOUS 12351 HAS SOUPS 11748 WITH SCORE 11771.91
AT ITER 1239 NEW BEST:: SOT 40462 SOS 23904 HAS SOPS 23301 HAS SOUS 12339 HAS SOUPS 11736 WITH SCORE 11759.904
AT ITER 1247 NEW BEST:: SOT 40450 SOS 23920 HAS SOPS 23317 HAS SOUS 12333 HAS SOUPS 11730 WITH SCORE 11753.92
AT ITER 1274 NEW BEST:: SOT 40450 SOS 23919 HAS SOPS 23317 HAS SOUS 12332 HAS SOUPS 11730 WITH SCORE 11753.919
AT ITER 1280 NEW BEST:: SOT 40441 SOS 23910 HAS SOPS 23308 HAS SOUS 12314 HAS SOUPS 11712 WITH SCORE 11735.91
AT ITER 1318 NEW BEST:: SOT 40399 SOS 23882 HAS SOPS 23280 HAS SOUS 12286 HAS SOUPS 11684 WITH SCORE 11707.882
AT ITER 1320 NEW BEST:: SOT 40398 SOS 23879 HAS SOPS 23277 HAS SOUS 12283 HAS SOUPS 11681 WITH SCORE 11704.879
AT ITER 1329 NEW BEST:: SOT 40388 SOS 23819 HAS SOPS 23207 HAS SOUS 12263 HAS SOUPS 11651 WITH SCORE 11674.819
AT ITER 1357 NEW BEST:: SOT 40371 SOS 23802 HAS SOPS 23190 HAS SOUS 12229 HAS SOUPS 11617 WITH SCORE 11640.802
AT ITER 1358 NEW BEST:: SOT 40220 SOS 24020 HAS SOPS 23452 HAS SOUS 12157 HAS SOUPS 11589 WITH SCORE 11613.02
AT ITER 1362 NEW BEST:: SOT 40220 SOS 24006 HAS SOPS 23438 HAS SOUS 12157 HAS SOUPS 11589 WITH SCORE 11613.006
AT ITER 1365 NEW BEST:: SOT 40152 SOS 23915 HAS SOPS 23347 HAS SOUS 12021 HAS SOUPS 11453 WITH SCORE 11476.915
AT ITER 1383 NEW BEST:: SOT 40152 SOS 23915 HAS SOPS 23347 HAS SOUS 12013 HAS SOUPS 11445 WITH SCORE 11468.915
AT ITER 1404 NEW BEST:: SOT 40145 SOS 23891 HAS SOPS 23323 HAS SOUS 11983 HAS SOUPS 11415 WITH SCORE 11438.891
AT ITER 1419 NEW BEST:: SOT 40069 SOS 24056 HAS SOPS 23519 HAS SOUS 11908 HAS SOUPS 11371 WITH SCORE 11395.056
AT ITER 1441 NEW BEST:: SOT 40075 SOS 24020 HAS SOPS 23483 HAS SOUS 11908 HAS SOUPS 11371 WITH SCORE 11395.02
AT ITER 1443 NEW BEST:: SOT 40111 SOS 23874 HAS SOPS 23321 HAS SOUS 11924 HAS SOUPS 11371 WITH SCORE 11394.874
AT ITER 1454 NEW BEST:: SOT 40105 SOS 23868 HAS SOPS 23315 HAS SOUS 11912 HAS SOUPS 11359 WITH SCORE 11382.868
AT ITER 1459 NEW BEST:: SOT 40101 SOS 23864 HAS SOPS 23311 HAS SOUS 11904 HAS SOUPS 11351 WITH SCORE 11374.864
AT ITER 1460 NEW BEST:: SOT 40112 SOS 23823 HAS SOPS 23260 HAS SOUS 11910 HAS SOUPS 11347 WITH SCORE 11370.823
AT ITER 1462 NEW BEST:: SOT 40112 SOS 23821 HAS SOPS 23260 HAS SOUS 11908 HAS SOUPS 11347 WITH SCORE 11370.821
AT ITER 1464 NEW BEST:: SOT 40105 SOS 23814 HAS SOPS 23253 HAS SOUS 11901 HAS SOUPS 11340 WITH SCORE 11363.814
AT ITER 1516 NEW BEST:: SOT 40094 SOS 23803 HAS SOPS 23242 HAS SOUS 11879 HAS SOUPS 11318 WITH SCORE 11341.803
AT ITER 1526 NEW BEST:: SOT 40080 SOS 23789 HAS SOPS 23228 HAS SOUS 11851 HAS SOUPS 11290 WITH SCORE 11313.789
AT ITER 1539 NEW BEST:: SOT 40007 SOS 23731 HAS SOPS 23170 HAS SOUS 11802 HAS SOUPS 11241 WITH SCORE 11264.731
AT ITER 1542 NEW BEST:: SOT 39977 SOS 23701 HAS SOPS 23140 HAS SOUS 11757 HAS SOUPS 11196 WITH SCORE 11219.701
AT ITER 1544 NEW BEST:: SOT 39968 SOS 23692 HAS SOPS 23131 HAS SOUS 11741 HAS SOUPS 11180 WITH SCORE 11203.692
AT ITER 1557 NEW BEST:: SOT 39963 SOS 23687 HAS SOPS 23126 HAS SOUS 11731 HAS SOUPS 11170 WITH SCORE 11193.687
AT ITER 1568 NEW BEST:: SOT 39963 SOS 23652 HAS SOPS 23091 HAS SOUS 11639 HAS SOUPS 11078 WITH SCORE 11101.652
AT ITER 1573 NEW BEST:: SOT 39948 SOS 23637 HAS SOPS 23076 HAS SOUS 11609 HAS SOUPS 11048 WITH SCORE 11071.637
AT ITER 1590 NEW BEST:: SOT 39963 SOS 23646 HAS SOPS 23085 HAS SOUS 11608 HAS SOUPS 11047 WITH SCORE 11070.646
AT ITER 1593 NEW BEST:: SOT 39957 SOS 23640 HAS SOPS 23079 HAS SOUS 11602 HAS SOUPS 11041 WITH SCORE 11064.64
AT ITER 1595 NEW BEST:: SOT 39952 SOS 23706 HAS SOPS 23145 HAS SOUS 11589 HAS SOUPS 11028 WITH SCORE 11051.706
AT ITER 1596 NEW BEST:: SOT 39950 SOS 23699 HAS SOPS 23138 HAS SOUS 11567 HAS SOUPS 11006 WITH SCORE 11029.699
AT ITER 1609 NEW BEST:: SOT 39948 SOS 23697 HAS SOPS 23136 HAS SOUS 11563 HAS SOUPS 11002 WITH SCORE 11025.697
AT ITER 1633 NEW BEST:: SOT 39906 SOS 23655 HAS SOPS 23094 HAS SOUS 11504 HAS SOUPS 10943 WITH SCORE 10966.655
AT ITER 1643 NEW BEST:: SOT 39906 SOS 23650 HAS SOPS 23088 HAS SOUS 11502 HAS SOUPS 10940 WITH SCORE 10963.65
AT ITER 1644 NEW BEST:: SOT 39898 SOS 23642 HAS SOPS 23080 HAS SOUS 11486 HAS SOUPS 10924 WITH SCORE 10947.642
AT ITER 1660 NEW BEST:: SOT 39878 SOS 23750 HAS SOPS 23188 HAS SOUS 11426 HAS SOUPS 10864 WITH SCORE 10887.75
AT ITER 1666 NEW BEST:: SOT 39878 SOS 23749 HAS SOPS 23187 HAS SOUS 11426 HAS SOUPS 10864 WITH SCORE 10887.749
AT ITER 1687 NEW BEST:: SOT 39876 SOS 23882 HAS SOPS 23292 HAS SOUS 11448 HAS SOUPS 10858 WITH SCORE 10881.882
AT ITER 1717 NEW BEST:: SOT 39876 SOS 23875 HAS SOPS 23285 HAS SOUS 11448 HAS SOUPS 10858 WITH SCORE 10881.875
AT ITER 1727 NEW BEST:: SOT 39848 SOS 23847 HAS SOPS 23257 HAS SOUS 11418 HAS SOUPS 10828 WITH SCORE 10851.847
AT ITER 1728 NEW BEST:: SOT 39858 SOS 23827 HAS SOPS 23227 HAS SOUS 11428 HAS SOUPS 10828 WITH SCORE 10851.827
AT ITER 1747 NEW BEST:: SOT 39996 SOS 23911 HAS SOPS 23311 HAS SOUS 11354 HAS SOUPS 10754 WITH SCORE 10777.911
AT ITER 1777 NEW BEST:: SOT 39972 SOS 23887 HAS SOPS 23287 HAS SOUS 11342 HAS SOUPS 10742 WITH SCORE 10765.887
AT ITER 1779 NEW BEST:: SOT 39972 SOS 23882 HAS SOPS 23287 HAS SOUS 11337 HAS SOUPS 10742 WITH SCORE 10765.882
AT ITER 1812 NEW BEST:: SOT 39972 SOS 23865 HAS SOPS 23287 HAS SOUS 11320 HAS SOUPS 10742 WITH SCORE 10765.865
AT ITER 1819 NEW BEST:: SOT 39957 SOS 23850 HAS SOPS 23272 HAS SOUS 11301 HAS SOUPS 10723 WITH SCORE 10746.85
AT ITER 1842 NEW BEST:: SOT 39965 SOS 23854 HAS SOPS 23276 HAS SOUS 11293 HAS SOUPS 10715 WITH SCORE 10738.854
AT ITER 1854 NEW BEST:: SOT 39939 SOS 23834 HAS SOPS 23256 HAS SOUS 11277 HAS SOUPS 10699 WITH SCORE 10722.834
AT ITER 1860 NEW BEST:: SOT 39855 SOS 23750 HAS SOPS 23172 HAS SOUS 11193 HAS SOUPS 10615 WITH SCORE 10638.75
AT ITER 1864 NEW BEST:: SOT 39853 SOS 23758 HAS SOPS 23180 HAS SOUS 11191 HAS SOUPS 10613 WITH SCORE 10636.758
AT ITER 1870 NEW BEST:: SOT 39847 SOS 23752 HAS SOPS 23174 HAS SOUS 11179 HAS SOUPS 10601 WITH SCORE 10624.752
AT ITER 1889 NEW BEST:: SOT 39823 SOS 23728 HAS SOPS 23150 HAS SOUS 11131 HAS SOUPS 10553 WITH SCORE 10576.728
AT ITER 1895 NEW BEST:: SOT 39823 SOS 23678 HAS SOPS 23110 HAS SOUS 11121 HAS SOUPS 10553 WITH SCORE 10576.678
AT ITER 1932 NEW BEST:: SOT 39811 SOS 23666 HAS SOPS 23098 HAS SOUS 11097 HAS SOUPS 10529 WITH SCORE 10552.666
AT ITER 1941 NEW BEST:: SOT 39811 SOS 23664 HAS SOPS 23096 HAS SOUS 11097 HAS SOUPS 10529 WITH SCORE 10552.664
AT ITER 1952 NEW BEST:: SOT 39787 SOS 23640 HAS SOPS 23072 HAS SOUS 11049 HAS SOUPS 10481 WITH SCORE 10504.64
AT ITER 1961 NEW BEST:: SOT 39777 SOS 23633 HAS SOPS 23065 HAS SOUS 11039 HAS SOUPS 10471 WITH SCORE 10494.633
AT ITER 1968 NEW BEST:: SOT 39772 SOS 23629 HAS SOPS 23061 HAS SOUS 11037 HAS SOUPS 10469 WITH SCORE 10492.629
AT ITER 1977 NEW BEST:: SOT 39772 SOS 23571 HAS SOPS 23003 HAS SOUS 11037 HAS SOUPS 10469 WITH SCORE 10492.571
AT ITER 1987 NEW BEST:: SOT 39785 SOS 23574 HAS SOPS 23006 HAS SOUS 10983 HAS SOUPS 10415 WITH SCORE 10438.574
AT ITER 2001 NEW BEST:: SOT 39804 SOS 23532 HAS SOPS 22953 HAS SOUS 10983 HAS SOUPS 10404 WITH SCORE 10427.532
AT ITER 2004 NEW BEST:: SOT 39794 SOS 23522 HAS SOPS 22943 HAS SOUS 10963 HAS SOUPS 10384 WITH SCORE 10407.522
AT ITER 2013 NEW BEST:: SOT 39792 SOS 23520 HAS SOPS 22941 HAS SOUS 10959 HAS SOUPS 10380 WITH SCORE 10403.52
AT ITER 2018 NEW BEST:: SOT 39783 SOS 23511 HAS SOPS 22932 HAS SOUS 10944 HAS SOUPS 10365 WITH SCORE 10388.511
AT ITER 2031 NEW BEST:: SOT 39771 SOS 23499 HAS SOPS 22920 HAS SOUS 10920 HAS SOUPS 10341 WITH SCORE 10364.499
AT ITER 2080 NEW BEST:: SOT 39771 SOS 23344 HAS SOPS 22765 HAS SOUS 10920 HAS SOUPS 10341 WITH SCORE 10364.344
AT ITER 2095 NEW BEST:: SOT 39756 SOS 23329 HAS SOPS 22750 HAS SOUS 10890 HAS SOUPS 10311 WITH SCORE 10334.329
AT ITER 2124 NEW BEST:: SOT 39706 SOS 23283 HAS SOPS 22704 HAS SOUS 10790 HAS SOUPS 10211 WITH SCORE 10234.283
AT ITER 2145 NEW BEST:: SOT 39706 SOS 23283 HAS SOPS 22704 HAS SOUS 10774 HAS SOUPS 10195 WITH SCORE 10218.283
AT ITER 2149 NEW BEST:: SOT 39706 SOS 23279 HAS SOPS 22700 HAS SOUS 10774 HAS SOUPS 10195 WITH SCORE 10218.279
AT ITER 2167 NEW BEST:: SOT 39572 SOS 23181 HAS SOPS 22602 HAS SOUS 10743 HAS SOUPS 10164 WITH SCORE 10187.181
AT ITER 2178 NEW BEST:: SOT 39579 SOS 23165 HAS SOPS 22575 HAS SOUS 10742 HAS SOUPS 10152 WITH SCORE 10175.165
AT ITER 2180 NEW BEST:: SOT 39579 SOS 23105 HAS SOPS 22515 HAS SOUS 10742 HAS SOUPS 10152 WITH SCORE 10175.105
AT ITER 2190 NEW BEST:: SOT 39570 SOS 23099 HAS SOPS 22509 HAS SOUS 10742 HAS SOUPS 10152 WITH SCORE 10175.099
AT ITER 2202 NEW BEST:: SOT 39513 SOS 23063 HAS SOPS 22473 HAS SOUS 10727 HAS SOUPS 10137 WITH SCORE 10160.063
AT ITER 2227 NEW BEST:: SOT 39504 SOS 23024 HAS SOPS 22422 HAS SOUS 10712 HAS SOUPS 10110 WITH SCORE 10133.024
AT ITER 2228 NEW BEST:: SOT 39505 SOS 23025 HAS SOPS 22423 HAS SOUS 10683 HAS SOUPS 10081 WITH SCORE 10104.025
AT ITER 2240 NEW BEST:: SOT 39502 SOS 23022 HAS SOPS 22420 HAS SOUS 10680 HAS SOUPS 10078 WITH SCORE 10101.022
AT ITER 2257 NEW BEST:: SOT 39381 SOS 22923 HAS SOPS 22321 HAS SOUS 10576 HAS SOUPS 9974 WITH SCORE 9996.923
AT ITER 2259 NEW BEST:: SOT 39381 SOS 22914 HAS SOPS 22311 HAS SOUS 10577 HAS SOUPS 9974 WITH SCORE 9996.914
AT ITER 2262 NEW BEST:: SOT 39505 SOS 22996 HAS SOPS 22393 HAS SOUS 10576 HAS SOUPS 9973 WITH SCORE 9995.996
AT ITER 2270 NEW BEST:: SOT 39505 SOS 22995 HAS SOPS 22392 HAS SOUS 10576 HAS SOUPS 9973 WITH SCORE 9995.995
AT ITER 2271 NEW BEST:: SOT 39491 SOS 22972 HAS SOPS 22369 HAS SOUS 10527 HAS SOUPS 9924 WITH SCORE 9946.972
AT ITER 2282 NEW BEST:: SOT 39482 SOS 22964 HAS SOPS 22361 HAS SOUS 10523 HAS SOUPS 9920 WITH SCORE 9942.964
AT ITER 2301 NEW BEST:: SOT 39482 SOS 22963 HAS SOPS 22360 HAS SOUS 10523 HAS SOUPS 9920 WITH SCORE 9942.963
AT ITER 2324 NEW BEST:: SOT 39414 SOS 22895 HAS SOPS 22292 HAS SOUS 10387 HAS SOUPS 9784 WITH SCORE 9806.895
AT ITER 2354 NEW BEST:: SOT 39384 SOS 22865 HAS SOPS 22262 HAS SOUS 10327 HAS SOUPS 9724 WITH SCORE 9746.865
AT ITER 2356 NEW BEST:: SOT 39331 SOS 22812 HAS SOPS 22209 HAS SOUS 10276 HAS SOUPS 9673 WITH SCORE 9695.812
AT ITER 2373 NEW BEST:: SOT 39324 SOS 22781 HAS SOPS 22178 HAS SOUS 10262 HAS SOUPS 9659 WITH SCORE 9681.781
AT ITER 2386 NEW BEST:: SOT 39345 SOS 22717 HAS SOPS 22095 HAS SOUS 10281 HAS SOUPS 9659 WITH SCORE 9681.717
AT ITER 2389 NEW BEST:: SOT 39343 SOS 22715 HAS SOPS 22093 HAS SOUS 10277 HAS SOUPS 9655 WITH SCORE 9677.715
AT ITER 2419 NEW BEST:: SOT 39339 SOS 22711 HAS SOPS 22089 HAS SOUS 10270 HAS SOUPS 9648 WITH SCORE 9670.711
AT ITER 2423 NEW BEST:: SOT 39321 SOS 22693 HAS SOPS 22071 HAS SOUS 10242 HAS SOUPS 9620 WITH SCORE 9642.693
AT ITER 2427 NEW BEST:: SOT 39313 SOS 22689 HAS SOPS 22067 HAS SOUS 10238 HAS SOUPS 9616 WITH SCORE 9638.689
AT ITER 2434 NEW BEST:: SOT 39309 SOS 22681 HAS SOPS 22067 HAS SOUS 10230 HAS SOUPS 9616 WITH SCORE 9638.681
AT ITER 2435 NEW BEST:: SOT 39299 SOS 22671 HAS SOPS 22057 HAS SOUS 10214 HAS SOUPS 9600 WITH SCORE 9622.671
AT ITER 2456 NEW BEST:: SOT 39289 SOS 22661 HAS SOPS 22047 HAS SOUS 10194 HAS SOUPS 9580 WITH SCORE 9602.661
AT ITER 2486 NEW BEST:: SOT 39283 SOS 22655 HAS SOPS 22041 HAS SOUS 10188 HAS SOUPS 9574 WITH SCORE 9596.655
AT ITER 2493 NEW BEST:: SOT 39280 SOS 22652 HAS SOPS 22038 HAS SOUS 10185 HAS SOUPS 9571 WITH SCORE 9593.652
AT ITER 2508 NEW BEST:: SOT 39252 SOS 22624 HAS SOPS 22010 HAS SOUS 10173 HAS SOUPS 9559 WITH SCORE 9581.624
AT ITER 2541 NEW BEST:: SOT 39250 SOS 22622 HAS SOPS 22008 HAS SOUS 10171 HAS SOUPS 9557 WITH SCORE 9579.622
AT ITER 2548 NEW BEST:: SOT 39247 SOS 22601 HAS SOPS 21987 HAS SOUS 10162 HAS SOUPS 9548 WITH SCORE 9570.601
AT ITER 2550 NEW BEST:: SOT 39245 SOS 22580 HAS SOPS 21973 HAS SOUS 10149 HAS SOUPS 9542 WITH SCORE 9564.58
AT ITER 2554 NEW BEST:: SOT 39245 SOS 22540 HAS SOPS 21913 HAS SOUS 10139 HAS SOUPS 9512 WITH SCORE 9534.54
AT ITER 2562 NEW BEST:: SOT 39243 SOS 22551 HAS SOPS 21919 HAS SOUS 10138 HAS SOUPS 9506 WITH SCORE 9528.551
AT ITER 2563 NEW BEST:: SOT 39237 SOS 22542 HAS SOPS 21910 HAS SOUS 10117 HAS SOUPS 9485 WITH SCORE 9507.542
AT ITER 2595 NEW BEST:: SOT 39238 SOS 22539 HAS SOPS 21906 HAS SOUS 10118 HAS SOUPS 9485 WITH SCORE 9507.539
AT ITER 2603 NEW BEST:: SOT 39229 SOS 22521 HAS SOPS 21888 HAS SOUS 10064 HAS SOUPS 9431 WITH SCORE 9453.521
AT ITER 2635 NEW BEST:: SOT 39229 SOS 22499 HAS SOPS 21866 HAS SOUS 10064 HAS SOUPS 9431 WITH SCORE 9453.499
AT ITER 2649 NEW BEST:: SOT 39228 SOS 22491 HAS SOPS 21859 HAS SOUS 10060 HAS SOUPS 9428 WITH SCORE 9450.491
AT ITER 2658 NEW BEST:: SOT 39228 SOS 22471 HAS SOPS 21839 HAS SOUS 10060 HAS SOUPS 9428 WITH SCORE 9450.471
AT ITER 2666 NEW BEST:: SOT 39208 SOS 22457 HAS SOPS 21825 HAS SOUS 10056 HAS SOUPS 9424 WITH SCORE 9446.457
AT ITER 2709 NEW BEST:: SOT 39205 SOS 22465 HAS SOPS 21833 HAS SOUS 10050 HAS SOUPS 9418 WITH SCORE 9440.465
AT ITER 2715 NEW BEST:: SOT 39200 SOS 22455 HAS SOPS 21823 HAS SOUS 10035 HAS SOUPS 9403 WITH SCORE 9425.455
AT ITER 2718 NEW BEST:: SOT 39178 SOS 22444 HAS SOPS 21812 HAS SOUS 10035 HAS SOUPS 9403 WITH SCORE 9425.444
AT ITER 2722 NEW BEST:: SOT 39242 SOS 22484 HAS SOPS 21852 HAS SOUS 10019 HAS SOUPS 9387 WITH SCORE 9409.484
AT ITER 2724 NEW BEST:: SOT 39240 SOS 22482 HAS SOPS 21850 HAS SOUS 10015 HAS SOUPS 9383 WITH SCORE 9405.482
AT ITER 2743 NEW BEST:: SOT 39238 SOS 22480 HAS SOPS 21848 HAS SOUS 10012 HAS SOUPS 9380 WITH SCORE 9402.48
AT ITER 2776 NEW BEST:: SOT 39222 SOS 22464 HAS SOPS 21832 HAS SOUS 10004 HAS SOUPS 9372 WITH SCORE 9394.464
AT ITER 2787 NEW BEST:: SOT 39228 SOS 22470 HAS SOPS 21838 HAS SOUS 9986 HAS SOUPS 9354 WITH SCORE 9376.47
AT ITER 2793 NEW BEST:: SOT 39218 SOS 22460 HAS SOPS 21828 HAS SOUS 9970 HAS SOUPS 9338 WITH SCORE 9360.46
AT ITER 2805 NEW BEST:: SOT 39164 SOS 22428 HAS SOPS 21796 HAS SOUS 9969 HAS SOUPS 9337 WITH SCORE 9359.428
AT ITER 2921 NEW BEST:: SOT 39132 SOS 22396 HAS SOPS 21764 HAS SOUS 9961 HAS SOUPS 9329 WITH SCORE 9351.396
AT ITER 2963 NEW BEST:: SOT 39127 SOS 22391 HAS SOPS 21759 HAS SOUS 9950 HAS SOUPS 9318 WITH SCORE 9340.391
AT ITER 3000 NEW BEST:: SOT 39138 SOS 22369 HAS SOPS 21726 HAS SOUS 9961 HAS SOUPS 9318 WITH SCORE 9340.369
AT ITER 3037 NEW BEST:: SOT 39089 SOS 22411 HAS SOPS 21786 HAS SOUS 9928 HAS SOUPS 9303 WITH SCORE 9325.411
AT ITER 3041 NEW BEST:: SOT 39089 SOS 22401 HAS SOPS 21776 HAS SOUS 9928 HAS SOUPS 9303 WITH SCORE 9325.401
AT ITER 3056 NEW BEST:: SOT 39081 SOS 22393 HAS SOPS 21768 HAS SOUS 9920 HAS SOUPS 9295 WITH SCORE 9317.393
AT ITER 3061 NEW BEST:: SOT 39080 SOS 22386 HAS SOPS 21761 HAS SOUS 9917 HAS SOUPS 9292 WITH SCORE 9314.386
AT ITER 3105 NEW BEST:: SOT 39016 SOS 22339 HAS SOPS 21714 HAS SOUS 9857 HAS SOUPS 9232 WITH SCORE 9254.339
AT ITER 3156 NEW BEST:: SOT 38960 SOS 22367 HAS SOPS 21742 HAS SOUS 9840 HAS SOUPS 9215 WITH SCORE 9237.367
AT ITER 3163 NEW BEST:: SOT 38955 SOS 22342 HAS SOPS 21707 HAS SOUS 9835 HAS SOUPS 9200 WITH SCORE 9222.342
AT ITER 3166 NEW BEST:: SOT 38955 SOS 22327 HAS SOPS 21695 HAS SOUS 9832 HAS SOUPS 9200 WITH SCORE 9222.327
AT ITER 3179 NEW BEST:: SOT 38961 SOS 22327 HAS SOPS 21695 HAS SOUS 9820 HAS SOUPS 9188 WITH SCORE 9210.327
AT ITER 3211 NEW BEST:: SOT 38955 SOS 22321 HAS SOPS 21689 HAS SOUS 9815 HAS SOUPS 9183 WITH SCORE 9205.321
AT ITER 3227 NEW BEST:: SOT 38954 SOS 22314 HAS SOPS 21682 HAS SOUS 9812 HAS SOUPS 9180 WITH SCORE 9202.314
AT ITER 3240 NEW BEST:: SOT 38952 SOS 22380 HAS SOPS 21734 HAS SOUS 9820 HAS SOUPS 9174 WITH SCORE 9196.38
AT ITER 3246 NEW BEST:: SOT 38948 SOS 22376 HAS SOPS 21730 HAS SOUS 9812 HAS SOUPS 9166 WITH SCORE 9188.376
AT ITER 3281 NEW BEST:: SOT 38938 SOS 22366 HAS SOPS 21720 HAS SOUS 9792 HAS SOUPS 9146 WITH SCORE 9168.366
AT ITER 3293 NEW BEST:: SOT 39006 SOS 22347 HAS SOPS 21689 HAS SOUS 9803 HAS SOUPS 9145 WITH SCORE 9167.347
AT ITER 3395 NEW BEST:: SOT 38977 SOS 22318 HAS SOPS 21660 HAS SOUS 9746 HAS SOUPS 9088 WITH SCORE 9110.318
AT ITER 3412 NEW BEST:: SOT 38974 SOS 22312 HAS SOPS 21654 HAS SOUS 9731 HAS SOUPS 9073 WITH SCORE 9095.312
AT ITER 3448 NEW BEST:: SOT 38974 SOS 22311 HAS SOPS 21654 HAS SOUS 9730 HAS SOUPS 9073 WITH SCORE 9095.311
AT ITER 3466 NEW BEST:: SOT 38974 SOS 22281 HAS SOPS 21618 HAS SOUS 9718 HAS SOUPS 9055 WITH SCORE 9077.281
AT ITER 3537 NEW BEST:: SOT 38976 SOS 22281 HAS SOPS 21618 HAS SOUS 9710 HAS SOUPS 9047 WITH SCORE 9069.281
AT ITER 3564 NEW BEST:: SOT 38854 SOS 22348 HAS SOPS 21673 HAS SOUS 9659 HAS SOUPS 8984 WITH SCORE 9006.348
AT ITER 3584 NEW BEST:: SOT 38862 SOS 22336 HAS SOPS 21645 HAS SOUS 9659 HAS SOUPS 8968 WITH SCORE 8990.336
AT ITER 3612 NEW BEST:: SOT 38856 SOS 22332 HAS SOPS 21641 HAS SOUS 9655 HAS SOUPS 8964 WITH SCORE 8986.332
AT ITER 3634 NEW BEST:: SOT 38848 SOS 22324 HAS SOPS 21633 HAS SOUS 9639 HAS SOUPS 8948 WITH SCORE 8970.324
AT ITER 3644 NEW BEST:: SOT 38848 SOS 22323 HAS SOPS 21633 HAS SOUS 9638 HAS SOUPS 8948 WITH SCORE 8970.323
AT ITER 3663 NEW BEST:: SOT 38848 SOS 22323 HAS SOPS 21633 HAS SOUS 9629 HAS SOUPS 8939 WITH SCORE 8961.323
AT ITER 3704 NEW BEST:: SOT 38848 SOS 22320 HAS SOPS 21633 HAS SOUS 9626 HAS SOUPS 8939 WITH SCORE 8961.32
AT ITER 3726 NEW BEST:: SOT 38852 SOS 22308 HAS SOPS 21617 HAS SOUS 9630 HAS SOUPS 8939 WITH SCORE 8961.308
AT ITER 3745 NEW BEST:: SOT 38852 SOS 22302 HAS SOPS 21614 HAS SOUS 9627 HAS SOUPS 8939 WITH SCORE 8961.302
AT ITER 3756 NEW BEST:: SOT 38851 SOS 22301 HAS SOPS 21613 HAS SOUS 9625 HAS SOUPS 8937 WITH SCORE 8959.301
AT ITER 3762 NEW BEST:: SOT 38851 SOS 22298 HAS SOPS 21610 HAS SOUS 9625 HAS SOUPS 8937 WITH SCORE 8959.298
AT ITER 3771 NEW BEST:: SOT 38807 SOS 22254 HAS SOPS 21566 HAS SOUS 9537 HAS SOUPS 8849 WITH SCORE 8871.254
AT ITER 3778 NEW BEST:: SOT 38807 SOS 22245 HAS SOPS 21566 HAS SOUS 9528 HAS SOUPS 8849 WITH SCORE 8871.245
AT ITER 3781 NEW BEST:: SOT 38805 SOS 22243 HAS SOPS 21564 HAS SOUS 9524 HAS SOUPS 8845 WITH SCORE 8867.243
AT ITER 3809 NEW BEST:: SOT 38811 SOS 22251 HAS SOPS 21572 HAS SOUS 9505 HAS SOUPS 8826 WITH SCORE 8848.251
AT ITER 3817 NEW BEST:: SOT 38797 SOS 22237 HAS SOPS 21558 HAS SOUS 9477 HAS SOUPS 8798 WITH SCORE 8820.237
AT ITER 3826 NEW BEST:: SOT 38790 SOS 22230 HAS SOPS 21551 HAS SOUS 9463 HAS SOUPS 8784 WITH SCORE 8806.23
AT ITER 3832 NEW BEST:: SOT 38822 SOS 22210 HAS SOPS 21522 HAS SOUS 9471 HAS SOUPS 8783 WITH SCORE 8805.21
AT ITER 3843 NEW BEST:: SOT 38822 SOS 22198 HAS SOPS 21512 HAS SOUS 9469 HAS SOUPS 8783 WITH SCORE 8805.198
AT ITER 3845 NEW BEST:: SOT 38808 SOS 22184 HAS SOPS 21498 HAS SOUS 9441 HAS SOUPS 8755 WITH SCORE 8777.184
AT ITER 3883 NEW BEST:: SOT 38803 SOS 22149 HAS SOPS 21463 HAS SOUS 9426 HAS SOUPS 8740 WITH SCORE 8762.149
AT ITER 3993 NEW BEST:: SOT 38801 SOS 22135 HAS SOPS 21449 HAS SOUS 9420 HAS SOUPS 8734 WITH SCORE 8756.135
AT ITER 4059 NEW BEST:: SOT 38800 SOS 22134 HAS SOPS 21448 HAS SOUS 9416 HAS SOUPS 8730 WITH SCORE 8752.134
AT ITER 4095 NEW BEST:: SOT 38791 SOS 22128 HAS SOPS 21442 HAS SOUS 9416 HAS SOUPS 8730 WITH SCORE 8752.128
AT ITER 4119 NEW BEST:: SOT 38788 SOS 22125 HAS SOPS 21439 HAS SOUS 9414 HAS SOUPS 8728 WITH SCORE 8750.125
AT ITER 4122 NEW BEST:: SOT 38772 SOS 22109 HAS SOPS 21423 HAS SOUS 9378 HAS SOUPS 8692 WITH SCORE 8714.109
AT ITER 4135 NEW BEST:: SOT 38774 SOS 22060 HAS SOPS 21364 HAS SOUS 9370 HAS SOUPS 8674 WITH SCORE 8696.06
AT ITER 4158 NEW BEST:: SOT 38766 SOS 22052 HAS SOPS 21356 HAS SOUS 9358 HAS SOUPS 8662 WITH SCORE 8684.052
AT ITER 4235 NEW BEST:: SOT 38778 SOS 22060 HAS SOPS 21364 HAS SOUS 9349 HAS SOUPS 8653 WITH SCORE 8675.06
AT ITER 4280 NEW BEST:: SOT 38748 SOS 22030 HAS SOPS 21334 HAS SOUS 9305 HAS SOUPS 8609 WITH SCORE 8631.03
AT ITER 4291 NEW BEST:: SOT 38748 SOS 22015 HAS SOPS 21319 HAS SOUS 9305 HAS SOUPS 8609 WITH SCORE 8631.015
AT ITER 4321 NEW BEST:: SOT 38741 SOS 22008 HAS SOPS 21312 HAS SOUS 9291 HAS SOUPS 8595 WITH SCORE 8617.008
AT ITER 4486 NEW BEST:: SOT 38739 SOS 22006 HAS SOPS 21310 HAS SOUS 9287 HAS SOUPS 8591 WITH SCORE 8613.006
AT ITER 4520 NEW BEST:: SOT 38709 SOS 21986 HAS SOPS 21290 HAS SOUS 9267 HAS SOUPS 8571 WITH SCORE 8592.986
AT ITER 4589 NEW BEST:: SOT 38695 SOS 21972 HAS SOPS 21276 HAS SOUS 9239 HAS SOUPS 8543 WITH SCORE 8564.972
AT ITER 4612 NEW BEST:: SOT 38684 SOS 21961 HAS SOPS 21276 HAS SOUS 9228 HAS SOUPS 8543 WITH SCORE 8564.961
AT ITER 4660 NEW BEST:: SOT 38756 SOS 22003 HAS SOPS 21318 HAS SOUS 9187 HAS SOUPS 8502 WITH SCORE 8524.003
AT ITER 4684 NEW BEST:: SOT 38754 SOS 22001 HAS SOPS 21316 HAS SOUS 9183 HAS SOUPS 8498 WITH SCORE 8520.001
AT ITER 4768 NEW BEST:: SOT 38753 SOS 22000 HAS SOPS 21314 HAS SOUS 9181 HAS SOUPS 8495 WITH SCORE 8517.0
AT ITER 4960 NEW BEST:: SOT 38753 SOS 21960 HAS SOPS 21266 HAS SOUS 9173 HAS SOUPS 8479 WITH SCORE 8500.96
AT ITER 4970 NEW BEST:: SOT 38747 SOS 21954 HAS SOPS 21260 HAS SOUS 9161 HAS SOUPS 8467 WITH SCORE 8488.954
AT ITER 5007 NEW BEST:: SOT 38745 SOS 21940 HAS SOPS 21246 HAS SOUS 9155 HAS SOUPS 8461 WITH SCORE 8482.94
AT ITER 5048 NEW BEST:: SOT 38733 SOS 21928 HAS SOPS 21234 HAS SOUS 9131 HAS SOUPS 8437 WITH SCORE 8458.928
AT ITER 5106 NEW BEST:: SOT 38732 SOS 21933 HAS SOPS 21227 HAS SOUS 9140 HAS SOUPS 8434 WITH SCORE 8455.933
AT ITER 5178 NEW BEST:: SOT 38719 SOS 21918 HAS SOPS 21212 HAS SOUS 9115 HAS SOUPS 8409 WITH SCORE 8430.918
AT ITER 5218 NEW BEST:: SOT 38695 SOS 21894 HAS SOPS 21188 HAS SOUS 9075 HAS SOUPS 8369 WITH SCORE 8390.894
AT ITER 5219 NEW BEST:: SOT 38692 SOS 21892 HAS SOPS 21186 HAS SOUS 9072 HAS SOUPS 8366 WITH SCORE 8387.892
AT ITER 5229 NEW BEST:: SOT 38675 SOS 21879 HAS SOPS 21173 HAS SOUS 9062 HAS SOUPS 8356 WITH SCORE 8377.879
AT ITER 5312 NEW BEST:: SOT 38614 SOS 21836 HAS SOPS 21130 HAS SOUS 9001 HAS SOUPS 8295 WITH SCORE 8316.836
AT ITER 5363 NEW BEST:: SOT 38642 SOS 21854 HAS SOPS 21148 HAS SOUS 8990 HAS SOUPS 8284 WITH SCORE 8305.854
AT ITER 5387 NEW BEST:: SOT 38640 SOS 21852 HAS SOPS 21146 HAS SOUS 8986 HAS SOUPS 8280 WITH SCORE 8301.852
AT ITER 5428 NEW BEST:: SOT 38629 SOS 21834 HAS SOPS 21135 HAS SOUS 8950 HAS SOUPS 8251 WITH SCORE 8272.834
AT ITER 5451 NEW BEST:: SOT 38629 SOS 21834 HAS SOPS 21135 HAS SOUS 8946 HAS SOUPS 8247 WITH SCORE 8268.834
AT ITER 5460 NEW BEST:: SOT 38626 SOS 21863 HAS SOPS 21164 HAS SOUS 8937 HAS SOUPS 8238 WITH SCORE 8259.863
AT ITER 5464 NEW BEST:: SOT 38593 SOS 21833 HAS SOPS 21134 HAS SOUS 8915 HAS SOUPS 8216 WITH SCORE 8237.833
AT ITER 5481 NEW BEST:: SOT 38571 SOS 21811 HAS SOPS 21112 HAS SOUS 8897 HAS SOUPS 8198 WITH SCORE 8219.811
AT ITER 5665 NEW BEST:: SOT 38563 SOS 21803 HAS SOPS 21104 HAS SOUS 8881 HAS SOUPS 8182 WITH SCORE 8203.803
AT ITER 5701 NEW BEST:: SOT 38554 SOS 21794 HAS SOPS 21095 HAS SOUS 8866 HAS SOUPS 8167 WITH SCORE 8188.794
AT ITER 5705 NEW BEST:: SOT 38554 SOS 21774 HAS SOPS 21075 HAS SOUS 8866 HAS SOUPS 8167 WITH SCORE 8188.774
AT ITER 5721 NEW BEST:: SOT 38541 SOS 21761 HAS SOPS 21062 HAS SOUS 8843 HAS SOUPS 8144 WITH SCORE 8165.761
AT ITER 5731 NEW BEST:: SOT 38539 SOS 21763 HAS SOPS 21061 HAS SOUS 8840 HAS SOUPS 8138 WITH SCORE 8159.763
AT ITER 5757 NEW BEST:: SOT 38472 SOS 21751 HAS SOPS 21057 HAS SOUS 8787 HAS SOUPS 8093 WITH SCORE 8114.751
AT ITER 5800 NEW BEST:: SOT 38472 SOS 21746 HAS SOPS 21052 HAS SOUS 8786 HAS SOUPS 8092 WITH SCORE 8113.746
AT ITER 5848 NEW BEST:: SOT 38472 SOS 21740 HAS SOPS 21047 HAS SOUS 8785 HAS SOUPS 8092 WITH SCORE 8113.74
AT ITER 5945 NEW BEST:: SOT 38428 SOS 21708 HAS SOPS 21015 HAS SOUS 8771 HAS SOUPS 8078 WITH SCORE 8099.708
AT ITER 5998 NEW BEST:: SOT 38413 SOS 21698 HAS SOPS 21005 HAS SOUS 8771 HAS SOUPS 8078 WITH SCORE 8099.698
AT ITER 6041 NEW BEST:: SOT 38382 SOS 21773 HAS SOPS 21105 HAS SOUS 8739 HAS SOUPS 8071 WITH SCORE 8092.773
AT ITER 6122 NEW BEST:: SOT 38379 SOS 21770 HAS SOPS 21102 HAS SOUS 8733 HAS SOUPS 8065 WITH SCORE 8086.77
AT ITER 6156 NEW BEST:: SOT 38377 SOS 21768 HAS SOPS 21100 HAS SOUS 8729 HAS SOUPS 8061 WITH SCORE 8082.768
AT ITER 6392 NEW BEST:: SOT 38365 SOS 21759 HAS SOPS 21091 HAS SOUS 8723 HAS SOUPS 8055 WITH SCORE 8076.759
AT ITER 6419 NEW BEST:: SOT 38363 SOS 21757 HAS SOPS 21089 HAS SOUS 8719 HAS SOUPS 8051 WITH SCORE 8072.757
AT ITER 6461 NEW BEST:: SOT 38359 SOS 21754 HAS SOPS 21086 HAS SOUS 8716 HAS SOUPS 8048 WITH SCORE 8069.754
AT ITER 6501 NEW BEST:: SOT 38347 SOS 21742 HAS SOPS 21074 HAS SOUS 8689 HAS SOUPS 8021 WITH SCORE 8042.742
AT ITER 6539 NEW BEST:: SOT 38343 SOS 21750 HAS SOPS 21076 HAS SOUS 8683 HAS SOUPS 8009 WITH SCORE 8030.75
AT ITER 6624 NEW BEST:: SOT 38339 SOS 21746 HAS SOPS 21072 HAS SOUS 8675 HAS SOUPS 8001 WITH SCORE 8022.746
AT ITER 6674 NEW BEST:: SOT 38333 SOS 21743 HAS SOPS 21069 HAS SOUS 8675 HAS SOUPS 8001 WITH SCORE 8022.743
AT ITER 6795 NEW BEST:: SOT 38333 SOS 21731 HAS SOPS 21059 HAS SOUS 8673 HAS SOUPS 8001 WITH SCORE 8022.731
AT ITER 6856 NEW BEST:: SOT 38315 SOS 21713 HAS SOPS 21041 HAS SOUS 8637 HAS SOUPS 7965 WITH SCORE 7986.713
AT ITER 7005 NEW BEST:: SOT 38269 SOS 21688 HAS SOPS 21016 HAS SOUS 8619 HAS SOUPS 7947 WITH SCORE 7968.688
AT ITER 7018 NEW BEST:: SOT 38264 SOS 21683 HAS SOPS 21011 HAS SOUS 8605 HAS SOUPS 7933 WITH SCORE 7954.683
AT ITER 7026 NEW BEST:: SOT 38262 SOS 21699 HAS SOPS 21027 HAS SOUS 8599 HAS SOUPS 7927 WITH SCORE 7948.699
AT ITER 7030 NEW BEST:: SOT 38260 SOS 21697 HAS SOPS 21025 HAS SOUS 8595 HAS SOUPS 7923 WITH SCORE 7944.697
AT ITER 7038 NEW BEST:: SOT 38254 SOS 21691 HAS SOPS 21019 HAS SOUS 8583 HAS SOUPS 7911 WITH SCORE 7932.691
AT ITER 7057 NEW BEST:: SOT 38246 SOS 21687 HAS SOPS 21015 HAS SOUS 8579 HAS SOUPS 7907 WITH SCORE 7928.687
AT ITER 7060 NEW BEST:: SOT 38241 SOS 21682 HAS SOPS 21010 HAS SOUS 8569 HAS SOUPS 7897 WITH SCORE 7918.682
AT ITER 7073 NEW BEST:: SOT 38236 SOS 21695 HAS SOPS 21015 HAS SOUS 8562 HAS SOUPS 7882 WITH SCORE 7903.695
AT ITER 7076 NEW BEST:: SOT 38230 SOS 21691 HAS SOPS 21011 HAS SOUS 8556 HAS SOUPS 7876 WITH SCORE 7897.691
AT ITER 7155 NEW BEST:: SOT 38222 SOS 21683 HAS SOPS 21003 HAS SOUS 8540 HAS SOUPS 7860 WITH SCORE 7881.683
AT ITER 7319 NEW BEST:: SOT 38250 SOS 21592 HAS SOPS 20887 HAS SOUS 8559 HAS SOUPS 7854 WITH SCORE 7875.592
AT ITER 7353 NEW BEST:: SOT 38250 SOS 21586 HAS SOPS 20882 HAS SOUS 8558 HAS SOUPS 7854 WITH SCORE 7875.586
AT ITER 7368 NEW BEST:: SOT 38246 SOS 21575 HAS SOPS 20871 HAS SOUS 8550 HAS SOUPS 7846 WITH SCORE 7867.575
AT ITER 7449 NEW BEST:: SOT 38246 SOS 21560 HAS SOPS 20856 HAS SOUS 8550 HAS SOUPS 7846 WITH SCORE 7867.56
AT ITER 7581 NEW BEST:: SOT 38245 SOS 21563 HAS SOPS 20859 HAS SOUS 8547 HAS SOUPS 7843 WITH SCORE 7864.563
AT ITER 7754 NEW BEST:: SOT 38243 SOS 21604 HAS SOPS 20900 HAS SOUS 8541 HAS SOUPS 7837 WITH SCORE 7858.604
AT ITER 7821 NEW BEST:: SOT 38239 SOS 21624 HAS SOPS 20912 HAS SOUS 8537 HAS SOUPS 7825 WITH SCORE 7846.624
AT ITER 7933 NEW BEST:: SOT 38239 SOS 21623 HAS SOPS 20911 HAS SOUS 8531 HAS SOUPS 7819 WITH SCORE 7840.623
AT ITER 7934 NEW BEST:: SOT 38257 SOS 21635 HAS SOPS 20923 HAS SOUS 8530 HAS SOUPS 7818 WITH SCORE 7839.635
AT ITER 7970 NEW BEST:: SOT 38255 SOS 21633 HAS SOPS 20921 HAS SOUS 8528 HAS SOUPS 7816 WITH SCORE 7837.633
AT ITER 7976 NEW BEST:: SOT 38254 SOS 21626 HAS SOPS 20914 HAS SOUS 8525 HAS SOUPS 7813 WITH SCORE 7834.626
AT ITER 8210 NEW BEST:: SOT 38216 SOS 21600 HAS SOPS 20888 HAS SOUS 8523 HAS SOUPS 7811 WITH SCORE 7832.6
AT ITER 8284 NEW BEST:: SOT 38204 SOS 21592 HAS SOPS 20880 HAS SOUS 8511 HAS SOUPS 7799 WITH SCORE 7820.592
AT ITER 8421 NEW BEST:: SOT 38222 SOS 21610 HAS SOPS 20898 HAS SOUS 8509 HAS SOUPS 7797 WITH SCORE 7818.61
AT ITER 8512 NEW BEST:: SOT 38219 SOS 21607 HAS SOPS 20895 HAS SOUS 8503 HAS SOUPS 7791 WITH SCORE 7812.607
AT ITER 8702 NEW BEST:: SOT 38219 SOS 21606 HAS SOPS 20895 HAS SOUS 8502 HAS SOUPS 7791 WITH SCORE 7812.606
AT ITER 8963 NEW BEST:: SOT 38200 SOS 21593 HAS SOPS 20882 HAS SOUS 8501 HAS SOUPS 7790 WITH SCORE 7811.593
AT ITER 9061 NEW BEST:: SOT 38198 SOS 21729 HAS SOPS 21018 HAS SOUS 8495 HAS SOUPS 7784 WITH SCORE 7805.729
AT ITER 9181 NEW BEST:: SOT 38187 SOS 21718 HAS SOPS 21007 HAS SOUS 8473 HAS SOUPS 7762 WITH SCORE 7783.718
AT ITER 9385 NEW BEST:: SOT 38187 SOS 21718 HAS SOPS 21007 HAS SOUS 8472 HAS SOUPS 7761 WITH SCORE 7782.718
AT ITER 9403 NEW BEST:: SOT 38183 SOS 21714 HAS SOPS 21003 HAS SOUS 8464 HAS SOUPS 7753 WITH SCORE 7774.714
AT ITER 9549 NEW BEST:: SOT 38188 SOS 21717 HAS SOPS 21006 HAS SOUS 8462 HAS SOUPS 7751 WITH SCORE 7772.717
AT ITER 9615 NEW BEST:: SOT 38178 SOS 21707 HAS SOPS 20996 HAS SOUS 8442 HAS SOUPS 7731 WITH SCORE 7752.707
AT ITER 9834 NEW BEST:: SOT 38176 SOS 21703 HAS SOPS 20992 HAS SOUS 8438 HAS SOUPS 7727 WITH SCORE 7748.703
AT ITER 9842 NEW BEST:: SOT 38174 SOS 21701 HAS SOPS 20990 HAS SOUS 8434 HAS SOUPS 7723 WITH SCORE 7744.701
AT ITER 9843 NEW BEST:: SOT 38174 SOS 21699 HAS SOPS 20990 HAS SOUS 8432 HAS SOUPS 7723 WITH SCORE 7744.699
AT ITER 9876 NEW BEST:: SOT 38172 SOS 21697 HAS SOPS 20988 HAS SOUS 8428 HAS SOUPS 7719 WITH SCORE 7740.697
AT ITER 9953 NEW BEST:: SOT 38168 SOS 21693 HAS SOPS 20984 HAS SOUS 8420 HAS SOUPS 7711 WITH SCORE 7732.693
AT ITER 9973 NEW BEST:: SOT 38168 SOS 21690 HAS SOPS 20977 HAS SOUS 8420 HAS SOUPS 7707 WITH SCORE 7728.69
AT ITER 9996 NEW BEST:: SOT 38150 SOS 21702 HAS SOPS 20989 HAS SOUS 8407 HAS SOUPS 7694 WITH SCORE 7715.702
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 10230448 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16121412 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="CSRepetitions-COL-05"
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 CSRepetitions-COL-05, 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 r075-smll-167814400500032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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