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.r067-smll-167814394300032.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is CSRepetitions-COL-05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r067-smll-167814394300032
=====================================================================

--------------------
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 1678222368204

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CSRepetitions-COL-05
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-07 20:52:52] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-07 20:52:52] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-07 20:52:52] [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:52:53] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-07 20:52:53] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1022 ms
[2023-03-07 20:52:53] [INFO ] Imported 6 HL places and 5 HL transitions for a total of 206 PT places and 325.0 transition bindings in 24 ms.
[2023-03-07 20:52:53] [INFO ] Unfolded HLPN to a Petri net with 206 places and 325 transitions 1175 arcs in 63 ms.
[2023-03-07 20:52:53] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-07 20:52:53] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 206 places, 325 transitions and 1175 arcs took 17 ms.
Total runtime 1485 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CSRepetitions (COL), instance 05
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 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 52495 SOS 48084 HAS SOPS 47525 HAS SOUS 42916 HAS SOUPS 42357 WITH SCORE 42405.084
AT ITER 2 NEW BEST:: SOT 52513 SOS 47948 HAS SOPS 47266 HAS SOUS 42667 HAS SOUPS 41985 WITH SCORE 42032.948
AT ITER 4 NEW BEST:: SOT 52543 SOS 47717 HAS SOPS 46889 HAS SOUS 42273 HAS SOUPS 41445 WITH SCORE 41492.717
AT ITER 6 NEW BEST:: SOT 52654 SOS 47726 HAS SOPS 46916 HAS SOUS 42143 HAS SOUPS 41333 WITH SCORE 41380.726
AT ITER 7 NEW BEST:: SOT 52758 SOS 47791 HAS SOPS 46877 HAS SOUS 42043 HAS SOUPS 41129 WITH SCORE 41176.791
AT ITER 9 NEW BEST:: SOT 52746 SOS 47713 HAS SOPS 46799 HAS SOUS 41867 HAS SOUPS 40953 WITH SCORE 41000.713
AT ITER 12 NEW BEST:: SOT 52739 SOS 47538 HAS SOPS 46664 HAS SOUS 41485 HAS SOUPS 40611 WITH SCORE 40658.538
AT ITER 13 NEW BEST:: SOT 52642 SOS 47376 HAS SOPS 46502 HAS SOUS 41322 HAS SOUPS 40448 WITH SCORE 40495.376
AT ITER 14 NEW BEST:: SOT 52642 SOS 47376 HAS SOPS 46502 HAS SOUS 41319 HAS SOUPS 40445 WITH SCORE 40492.376
AT ITER 15 NEW BEST:: SOT 52642 SOS 47360 HAS SOPS 46478 HAS SOUS 41303 HAS SOUPS 40421 WITH SCORE 40468.36
AT ITER 16 NEW BEST:: SOT 52622 SOS 47340 HAS SOPS 46458 HAS SOUS 41283 HAS SOUPS 40401 WITH SCORE 40448.34
AT ITER 17 NEW BEST:: SOT 52659 SOS 47066 HAS SOPS 46144 HAS SOUS 40729 HAS SOUPS 39807 WITH SCORE 39854.066
AT ITER 19 NEW BEST:: SOT 52659 SOS 47066 HAS SOPS 46144 HAS SOUS 40671 HAS SOUPS 39749 WITH SCORE 39796.066
AT ITER 23 NEW BEST:: SOT 52648 SOS 46956 HAS SOPS 46051 HAS SOUS 40403 HAS SOUPS 39498 WITH SCORE 39544.956
AT ITER 24 NEW BEST:: SOT 52648 SOS 46922 HAS SOPS 46051 HAS SOUS 40369 HAS SOUPS 39498 WITH SCORE 39544.922
AT ITER 25 NEW BEST:: SOT 52617 SOS 46891 HAS SOPS 46020 HAS SOUS 40298 HAS SOUPS 39427 WITH SCORE 39473.891
AT ITER 27 NEW BEST:: SOT 52621 SOS 46727 HAS SOPS 45896 HAS SOUS 39961 HAS SOUPS 39130 WITH SCORE 39176.727
AT ITER 34 NEW BEST:: SOT 52593 SOS 46699 HAS SOPS 45868 HAS SOUS 39878 HAS SOUPS 39047 WITH SCORE 39093.699
AT ITER 37 NEW BEST:: SOT 52595 SOS 46683 HAS SOPS 45852 HAS SOUS 39848 HAS SOUPS 39017 WITH SCORE 39063.683
AT ITER 38 NEW BEST:: SOT 52558 SOS 45444 HAS SOPS 44630 HAS SOUS 39521 HAS SOUPS 38707 WITH SCORE 38752.444
AT ITER 42 NEW BEST:: SOT 47837 SOS 40836 HAS SOPS 40112 HAS SOUS 34901 HAS SOUPS 34177 WITH SCORE 34217.836
AT ITER 47 NEW BEST:: SOT 47837 SOS 40836 HAS SOPS 40112 HAS SOUS 34878 HAS SOUPS 34154 WITH SCORE 34194.836
AT ITER 48 NEW BEST:: SOT 47833 SOS 40832 HAS SOPS 40108 HAS SOUS 34803 HAS SOUPS 34079 WITH SCORE 34119.832
AT ITER 51 NEW BEST:: SOT 47832 SOS 40831 HAS SOPS 40107 HAS SOUS 34802 HAS SOUPS 34078 WITH SCORE 34118.831
AT ITER 53 NEW BEST:: SOT 47822 SOS 40636 HAS SOPS 40013 HAS SOUS 34480 HAS SOUPS 33857 WITH SCORE 33897.636
AT ITER 55 NEW BEST:: SOT 47811 SOS 40691 HAS SOPS 40068 HAS SOUS 34415 HAS SOUPS 33792 WITH SCORE 33832.691
AT ITER 58 NEW BEST:: SOT 47913 SOS 40540 HAS SOPS 40058 HAS SOUS 34066 HAS SOUPS 33584 WITH SCORE 33624.54
AT ITER 59 NEW BEST:: SOT 47900 SOS 40527 HAS SOPS 40045 HAS SOUS 33988 HAS SOUPS 33506 WITH SCORE 33546.527
AT ITER 62 NEW BEST:: SOT 48008 SOS 40536 HAS SOPS 40071 HAS SOUS 33875 HAS SOUPS 33410 WITH SCORE 33450.536
AT ITER 66 NEW BEST:: SOT 48069 SOS 40491 HAS SOPS 40044 HAS SOUS 33750 HAS SOUPS 33303 WITH SCORE 33343.491
AT ITER 67 NEW BEST:: SOT 48069 SOS 40426 HAS SOPS 39949 HAS SOUS 33585 HAS SOUPS 33108 WITH SCORE 33148.426
AT ITER 68 NEW BEST:: SOT 48053 SOS 40410 HAS SOPS 39933 HAS SOUS 33569 HAS SOUPS 33092 WITH SCORE 33132.41
AT ITER 69 NEW BEST:: SOT 48064 SOS 40214 HAS SOPS 39737 HAS SOUS 33097 HAS SOUPS 32620 WITH SCORE 32660.214
AT ITER 70 NEW BEST:: SOT 48058 SOS 40209 HAS SOPS 39732 HAS SOUS 33092 HAS SOUPS 32615 WITH SCORE 32655.209
AT ITER 71 NEW BEST:: SOT 48055 SOS 40200 HAS SOPS 39723 HAS SOUS 33071 HAS SOUPS 32594 WITH SCORE 32634.2
AT ITER 73 NEW BEST:: SOT 48020 SOS 40072 HAS SOPS 39595 HAS SOUS 32972 HAS SOUPS 32495 WITH SCORE 32535.072
AT ITER 74 NEW BEST:: SOT 47949 SOS 39951 HAS SOPS 39474 HAS SOUS 32837 HAS SOUPS 32360 WITH SCORE 32399.951
AT ITER 75 NEW BEST:: SOT 47949 SOS 39941 HAS SOPS 39474 HAS SOUS 32827 HAS SOUPS 32360 WITH SCORE 32399.941
AT ITER 77 NEW BEST:: SOT 47898 SOS 39803 HAS SOPS 39336 HAS SOUS 32491 HAS SOUPS 32024 WITH SCORE 32063.803
AT ITER 82 NEW BEST:: SOT 47703 SOS 39517 HAS SOPS 39050 HAS SOUS 32235 HAS SOUPS 31768 WITH SCORE 31807.517
AT ITER 83 NEW BEST:: SOT 47703 SOS 39400 HAS SOPS 38873 HAS SOUS 32002 HAS SOUPS 31475 WITH SCORE 31514.4
AT ITER 84 NEW BEST:: SOT 47703 SOS 39370 HAS SOPS 38853 HAS SOUS 31952 HAS SOUPS 31435 WITH SCORE 31474.37
AT ITER 85 NEW BEST:: SOT 47638 SOS 39305 HAS SOPS 38788 HAS SOUS 31887 HAS SOUPS 31370 WITH SCORE 31409.305
AT ITER 86 NEW BEST:: SOT 47632 SOS 39299 HAS SOPS 38782 HAS SOUS 31881 HAS SOUPS 31364 WITH SCORE 31403.299
AT ITER 88 NEW BEST:: SOT 47627 SOS 39295 HAS SOPS 38778 HAS SOUS 31878 HAS SOUPS 31361 WITH SCORE 31400.295
AT ITER 89 NEW BEST:: SOT 47994 SOS 37158 HAS SOPS 36641 HAS SOUS 28532 HAS SOUPS 28015 WITH SCORE 28052.158
AT ITER 91 NEW BEST:: SOT 47994 SOS 37089 HAS SOPS 36572 HAS SOUS 28530 HAS SOUPS 28013 WITH SCORE 28050.089
AT ITER 94 NEW BEST:: SOT 48086 SOS 36994 HAS SOPS 36385 HAS SOUS 28442 HAS SOUPS 27833 WITH SCORE 27869.994
AT ITER 101 NEW BEST:: SOT 48086 SOS 36898 HAS SOPS 36289 HAS SOUS 28335 HAS SOUPS 27726 WITH SCORE 27762.898
AT ITER 108 NEW BEST:: SOT 48048 SOS 36860 HAS SOPS 36251 HAS SOUS 28297 HAS SOUPS 27688 WITH SCORE 27724.86
AT ITER 110 NEW BEST:: SOT 48003 SOS 36815 HAS SOPS 36206 HAS SOUS 28197 HAS SOUPS 27588 WITH SCORE 27624.815
AT ITER 111 NEW BEST:: SOT 47908 SOS 36688 HAS SOPS 36079 HAS SOUS 28102 HAS SOUPS 27493 WITH SCORE 27529.688
AT ITER 112 NEW BEST:: SOT 47852 SOS 36576 HAS SOPS 35967 HAS SOUS 27984 HAS SOUPS 27375 WITH SCORE 27411.576
AT ITER 117 NEW BEST:: SOT 47793 SOS 36421 HAS SOPS 35781 HAS SOUS 27773 HAS SOUPS 27133 WITH SCORE 27169.421
AT ITER 120 NEW BEST:: SOT 47728 SOS 36356 HAS SOPS 35716 HAS SOUS 27578 HAS SOUPS 26938 WITH SCORE 26974.356
AT ITER 122 NEW BEST:: SOT 47565 SOS 36238 HAS SOPS 35598 HAS SOUS 27464 HAS SOUPS 26824 WITH SCORE 26860.238
AT ITER 123 NEW BEST:: SOT 47601 SOS 36200 HAS SOPS 35560 HAS SOUS 27337 HAS SOUPS 26697 WITH SCORE 26733.2
AT ITER 125 NEW BEST:: SOT 47588 SOS 35925 HAS SOPS 35325 HAS SOUS 27062 HAS SOUPS 26462 WITH SCORE 26497.925
AT ITER 127 NEW BEST:: SOT 47583 SOS 35904 HAS SOPS 35304 HAS SOUS 27053 HAS SOUPS 26453 WITH SCORE 26488.904
AT ITER 131 NEW BEST:: SOT 47858 SOS 35813 HAS SOPS 35120 HAS SOUS 27029 HAS SOUPS 26336 WITH SCORE 26371.813
AT ITER 137 NEW BEST:: SOT 47843 SOS 35762 HAS SOPS 35069 HAS SOUS 26978 HAS SOUPS 26285 WITH SCORE 26320.762
AT ITER 144 NEW BEST:: SOT 47967 SOS 35658 HAS SOPS 35005 HAS SOUS 26925 HAS SOUPS 26272 WITH SCORE 26307.658
AT ITER 145 NEW BEST:: SOT 49036 SOS 34515 HAS SOPS 33862 HAS SOUS 26302 HAS SOUPS 25649 WITH SCORE 25683.515
AT ITER 150 NEW BEST:: SOT 49072 SOS 34407 HAS SOPS 33754 HAS SOUS 26230 HAS SOUPS 25577 WITH SCORE 25611.407
AT ITER 152 NEW BEST:: SOT 49059 SOS 34368 HAS SOPS 33741 HAS SOUS 26186 HAS SOUPS 25559 WITH SCORE 25593.368
AT ITER 155 NEW BEST:: SOT 49306 SOS 34189 HAS SOPS 33496 HAS SOUS 26045 HAS SOUPS 25352 WITH SCORE 25386.189
AT ITER 160 NEW BEST:: SOT 49283 SOS 34149 HAS SOPS 33456 HAS SOUS 25911 HAS SOUPS 25218 WITH SCORE 25252.149
AT ITER 161 NEW BEST:: SOT 49277 SOS 34143 HAS SOPS 33450 HAS SOUS 25905 HAS SOUPS 25212 WITH SCORE 25246.143
AT ITER 163 NEW BEST:: SOT 49215 SOS 34081 HAS SOPS 33388 HAS SOUS 25836 HAS SOUPS 25143 WITH SCORE 25177.081
AT ITER 166 NEW BEST:: SOT 49215 SOS 34014 HAS SOPS 33338 HAS SOUS 25793 HAS SOUPS 25117 WITH SCORE 25151.014
AT ITER 171 NEW BEST:: SOT 49215 SOS 34014 HAS SOPS 33338 HAS SOUS 25785 HAS SOUPS 25109 WITH SCORE 25143.014
AT ITER 176 NEW BEST:: SOT 49185 SOS 33984 HAS SOPS 33308 HAS SOUS 25725 HAS SOUPS 25049 WITH SCORE 25082.984
AT ITER 177 NEW BEST:: SOT 49836 SOS 32169 HAS SOPS 31493 HAS SOUS 23899 HAS SOUPS 23223 WITH SCORE 23255.169
AT ITER 179 NEW BEST:: SOT 49836 SOS 32115 HAS SOPS 31439 HAS SOUS 23899 HAS SOUPS 23223 WITH SCORE 23255.115
AT ITER 182 NEW BEST:: SOT 49836 SOS 32111 HAS SOPS 31435 HAS SOUS 23897 HAS SOUPS 23221 WITH SCORE 23253.111
AT ITER 189 NEW BEST:: SOT 49799 SOS 31926 HAS SOPS 31250 HAS SOUS 23786 HAS SOUPS 23110 WITH SCORE 23141.926
AT ITER 190 NEW BEST:: SOT 49783 SOS 31910 HAS SOPS 31234 HAS SOUS 23782 HAS SOUPS 23106 WITH SCORE 23137.91
AT ITER 192 NEW BEST:: SOT 49745 SOS 31872 HAS SOPS 31196 HAS SOUS 23744 HAS SOUPS 23068 WITH SCORE 23099.872
AT ITER 199 NEW BEST:: SOT 49710 SOS 31706 HAS SOPS 31030 HAS SOUS 23678 HAS SOUPS 23002 WITH SCORE 23033.706
AT ITER 208 NEW BEST:: SOT 49705 SOS 31691 HAS SOPS 31015 HAS SOUS 23663 HAS SOUPS 22987 WITH SCORE 23018.691
AT ITER 213 NEW BEST:: SOT 49676 SOS 31642 HAS SOPS 30966 HAS SOUS 23576 HAS SOUPS 22900 WITH SCORE 22931.642
AT ITER 214 NEW BEST:: SOT 49756 SOS 31394 HAS SOPS 30638 HAS SOUS 23574 HAS SOUPS 22818 WITH SCORE 22849.394
AT ITER 226 NEW BEST:: SOT 49703 SOS 31481 HAS SOPS 30681 HAS SOUS 23503 HAS SOUPS 22703 WITH SCORE 22734.481
AT ITER 227 NEW BEST:: SOT 49001 SOS 30798 HAS SOPS 29998 HAS SOUS 22820 HAS SOUPS 22020 WITH SCORE 22050.798
AT ITER 229 NEW BEST:: SOT 48948 SOS 30524 HAS SOPS 29739 HAS SOUS 22662 HAS SOUPS 21877 WITH SCORE 21907.524
AT ITER 234 NEW BEST:: SOT 48938 SOS 30456 HAS SOPS 29679 HAS SOUS 22624 HAS SOUPS 21847 WITH SCORE 21877.456
AT ITER 237 NEW BEST:: SOT 48938 SOS 30419 HAS SOPS 29642 HAS SOUS 22624 HAS SOUPS 21847 WITH SCORE 21877.419
AT ITER 241 NEW BEST:: SOT 49119 SOS 30283 HAS SOPS 29484 HAS SOUS 22583 HAS SOUPS 21784 WITH SCORE 21814.283
AT ITER 242 NEW BEST:: SOT 49083 SOS 30186 HAS SOPS 29387 HAS SOUS 22513 HAS SOUPS 21714 WITH SCORE 21744.186
AT ITER 243 NEW BEST:: SOT 49078 SOS 30181 HAS SOPS 29382 HAS SOUS 22510 HAS SOUPS 21711 WITH SCORE 21741.181
AT ITER 244 NEW BEST:: SOT 48676 SOS 29784 HAS SOPS 28960 HAS SOUS 22225 HAS SOUPS 21401 WITH SCORE 21430.784
AT ITER 250 NEW BEST:: SOT 48642 SOS 29881 HAS SOPS 29057 HAS SOUS 22203 HAS SOUPS 21379 WITH SCORE 21408.881
AT ITER 251 NEW BEST:: SOT 48650 SOS 29924 HAS SOPS 29100 HAS SOUS 22168 HAS SOUPS 21344 WITH SCORE 21373.924
AT ITER 254 NEW BEST:: SOT 48650 SOS 29905 HAS SOPS 29081 HAS SOUS 22168 HAS SOUPS 21344 WITH SCORE 21373.905
AT ITER 257 NEW BEST:: SOT 48622 SOS 29876 HAS SOPS 29052 HAS SOUS 22140 HAS SOUPS 21316 WITH SCORE 21345.876
AT ITER 265 NEW BEST:: SOT 48622 SOS 29838 HAS SOPS 29014 HAS SOUS 22123 HAS SOUPS 21299 WITH SCORE 21328.838
AT ITER 269 NEW BEST:: SOT 48617 SOS 29789 HAS SOPS 28965 HAS SOUS 22005 HAS SOUPS 21181 WITH SCORE 21210.789
AT ITER 270 NEW BEST:: SOT 48559 SOS 29731 HAS SOPS 28907 HAS SOUS 21831 HAS SOUPS 21007 WITH SCORE 21036.731
AT ITER 278 NEW BEST:: SOT 48515 SOS 29599 HAS SOPS 28775 HAS SOUS 21699 HAS SOUPS 20875 WITH SCORE 20904.599
AT ITER 282 NEW BEST:: SOT 48463 SOS 29536 HAS SOPS 28712 HAS SOUS 21602 HAS SOUPS 20778 WITH SCORE 20807.536
AT ITER 283 NEW BEST:: SOT 46153 SOS 30718 HAS SOPS 30482 HAS SOUS 19474 HAS SOUPS 19238 WITH SCORE 19268.718
AT ITER 293 NEW BEST:: SOT 46156 SOS 30721 HAS SOPS 30492 HAS SOUS 19464 HAS SOUPS 19235 WITH SCORE 19265.721
AT ITER 301 NEW BEST:: SOT 45958 SOS 30579 HAS SOPS 30350 HAS SOUS 19369 HAS SOUPS 19140 WITH SCORE 19170.579
AT ITER 307 NEW BEST:: SOT 45987 SOS 30573 HAS SOPS 30344 HAS SOUS 19334 HAS SOUPS 19105 WITH SCORE 19135.573
AT ITER 310 NEW BEST:: SOT 45972 SOS 30439 HAS SOPS 30234 HAS SOUS 19230 HAS SOUPS 19025 WITH SCORE 19055.439
AT ITER 312 NEW BEST:: SOT 45963 SOS 30401 HAS SOPS 30196 HAS SOUS 19186 HAS SOUPS 18981 WITH SCORE 19011.401
AT ITER 319 NEW BEST:: SOT 45749 SOS 30173 HAS SOPS 29968 HAS SOUS 18898 HAS SOUPS 18693 WITH SCORE 18723.173
AT ITER 326 NEW BEST:: SOT 45749 SOS 30178 HAS SOPS 29973 HAS SOUS 18882 HAS SOUPS 18677 WITH SCORE 18707.178
AT ITER 328 NEW BEST:: SOT 45800 SOS 30120 HAS SOPS 29915 HAS SOUS 18822 HAS SOUPS 18617 WITH SCORE 18647.12
AT ITER 337 NEW BEST:: SOT 45926 SOS 30143 HAS SOPS 29938 HAS SOUS 18782 HAS SOUPS 18577 WITH SCORE 18607.143
AT ITER 343 NEW BEST:: SOT 45926 SOS 30139 HAS SOPS 29938 HAS SOUS 18778 HAS SOUPS 18577 WITH SCORE 18607.139
AT ITER 345 NEW BEST:: SOT 45926 SOS 30126 HAS SOPS 29925 HAS SOUS 18778 HAS SOUPS 18577 WITH SCORE 18607.126
AT ITER 351 NEW BEST:: SOT 45916 SOS 30116 HAS SOPS 29915 HAS SOUS 18758 HAS SOUPS 18557 WITH SCORE 18587.116
AT ITER 352 NEW BEST:: SOT 45916 SOS 30116 HAS SOPS 29915 HAS SOUS 18756 HAS SOUPS 18555 WITH SCORE 18585.116
AT ITER 362 NEW BEST:: SOT 45916 SOS 30059 HAS SOPS 29858 HAS SOUS 18718 HAS SOUPS 18517 WITH SCORE 18547.059
AT ITER 364 NEW BEST:: SOT 45908 SOS 30091 HAS SOPS 29890 HAS SOUS 18702 HAS SOUPS 18501 WITH SCORE 18531.091
AT ITER 366 NEW BEST:: SOT 45694 SOS 29982 HAS SOPS 29784 HAS SOUS 18583 HAS SOUPS 18385 WITH SCORE 18414.982
AT ITER 371 NEW BEST:: SOT 45692 SOS 29965 HAS SOPS 29767 HAS SOUS 18566 HAS SOUPS 18368 WITH SCORE 18397.965
AT ITER 373 NEW BEST:: SOT 45692 SOS 29965 HAS SOPS 29767 HAS SOUS 18564 HAS SOUPS 18366 WITH SCORE 18395.965
AT ITER 375 NEW BEST:: SOT 45674 SOS 30045 HAS SOPS 29835 HAS SOUS 18529 HAS SOUPS 18319 WITH SCORE 18349.045
AT ITER 378 NEW BEST:: SOT 45735 SOS 30020 HAS SOPS 29810 HAS SOUS 18371 HAS SOUPS 18161 WITH SCORE 18191.02
AT ITER 379 NEW BEST:: SOT 45706 SOS 29879 HAS SOPS 29645 HAS SOUS 18296 HAS SOUPS 18062 WITH SCORE 18091.879
AT ITER 385 NEW BEST:: SOT 45622 SOS 29805 HAS SOPS 29571 HAS SOUS 18128 HAS SOUPS 17894 WITH SCORE 17923.805
AT ITER 393 NEW BEST:: SOT 45852 SOS 29612 HAS SOPS 29378 HAS SOUS 18059 HAS SOUPS 17825 WITH SCORE 17854.612
AT ITER 394 NEW BEST:: SOT 45886 SOS 29703 HAS SOPS 29455 HAS SOUS 18064 HAS SOUPS 17816 WITH SCORE 17845.703
AT ITER 395 NEW BEST:: SOT 45812 SOS 29629 HAS SOPS 29381 HAS SOUS 17916 HAS SOUPS 17668 WITH SCORE 17697.629
AT ITER 398 NEW BEST:: SOT 45812 SOS 29607 HAS SOPS 29359 HAS SOUS 17916 HAS SOUPS 17668 WITH SCORE 17697.607
AT ITER 400 NEW BEST:: SOT 45782 SOS 29681 HAS SOPS 29433 HAS SOUS 17826 HAS SOUPS 17578 WITH SCORE 17607.681
AT ITER 404 NEW BEST:: SOT 45762 SOS 29466 HAS SOPS 29218 HAS SOUS 17786 HAS SOUPS 17538 WITH SCORE 17567.466
AT ITER 410 NEW BEST:: SOT 45692 SOS 29414 HAS SOPS 29166 HAS SOUS 17756 HAS SOUPS 17508 WITH SCORE 17537.414
AT ITER 413 NEW BEST:: SOT 45676 SOS 29379 HAS SOPS 29131 HAS SOUS 17720 HAS SOUPS 17472 WITH SCORE 17501.379
AT ITER 414 NEW BEST:: SOT 45590 SOS 29321 HAS SOPS 29073 HAS SOUS 17699 HAS SOUPS 17451 WITH SCORE 17480.321
AT ITER 415 NEW BEST:: SOT 45569 SOS 29354 HAS SOPS 29106 HAS SOUS 17678 HAS SOUPS 17430 WITH SCORE 17459.354
AT ITER 417 NEW BEST:: SOT 45183 SOS 29319 HAS SOPS 29071 HAS SOUS 17541 HAS SOUPS 17293 WITH SCORE 17322.319
AT ITER 431 NEW BEST:: SOT 45164 SOS 29300 HAS SOPS 29052 HAS SOUS 17503 HAS SOUPS 17255 WITH SCORE 17284.3
AT ITER 433 NEW BEST:: SOT 45106 SOS 29276 HAS SOPS 29028 HAS SOUS 17417 HAS SOUPS 17169 WITH SCORE 17198.276
AT ITER 448 NEW BEST:: SOT 44944 SOS 29207 HAS SOPS 28959 HAS SOUS 17183 HAS SOUPS 16935 WITH SCORE 16964.207
AT ITER 455 NEW BEST:: SOT 44934 SOS 29147 HAS SOPS 28899 HAS SOUS 17153 HAS SOUPS 16905 WITH SCORE 16934.147
AT ITER 462 NEW BEST:: SOT 44927 SOS 29317 HAS SOPS 29069 HAS SOUS 17132 HAS SOUPS 16884 WITH SCORE 16913.317
AT ITER 464 NEW BEST:: SOT 44927 SOS 29317 HAS SOPS 29069 HAS SOUS 17118 HAS SOUPS 16870 WITH SCORE 16899.317
AT ITER 466 NEW BEST:: SOT 44857 SOS 29261 HAS SOPS 29013 HAS SOUS 17044 HAS SOUPS 16796 WITH SCORE 16825.261
AT ITER 472 NEW BEST:: SOT 44837 SOS 29246 HAS SOPS 28998 HAS SOUS 17029 HAS SOUPS 16781 WITH SCORE 16810.246
AT ITER 476 NEW BEST:: SOT 44837 SOS 29221 HAS SOPS 28970 HAS SOUS 17010 HAS SOUPS 16759 WITH SCORE 16788.221
AT ITER 485 NEW BEST:: SOT 44816 SOS 29185 HAS SOPS 28912 HAS SOUS 16969 HAS SOUPS 16696 WITH SCORE 16725.185
AT ITER 486 NEW BEST:: SOT 44802 SOS 29179 HAS SOPS 28906 HAS SOUS 16965 HAS SOUPS 16692 WITH SCORE 16721.179
AT ITER 502 NEW BEST:: SOT 44802 SOS 29144 HAS SOPS 28871 HAS SOUS 16965 HAS SOUPS 16692 WITH SCORE 16721.144
AT ITER 507 NEW BEST:: SOT 44802 SOS 28990 HAS SOPS 28717 HAS SOUS 16929 HAS SOUPS 16656 WITH SCORE 16684.99
AT ITER 511 NEW BEST:: SOT 44791 SOS 29061 HAS SOPS 28788 HAS SOUS 16896 HAS SOUPS 16623 WITH SCORE 16652.061
AT ITER 513 NEW BEST:: SOT 44787 SOS 29057 HAS SOPS 28784 HAS SOUS 16892 HAS SOUPS 16619 WITH SCORE 16648.057
AT ITER 523 NEW BEST:: SOT 44283 SOS 28630 HAS SOPS 28357 HAS SOUS 16608 HAS SOUPS 16335 WITH SCORE 16363.63
AT ITER 525 NEW BEST:: SOT 44138 SOS 28519 HAS SOPS 28246 HAS SOUS 16488 HAS SOUPS 16215 WITH SCORE 16243.519
AT ITER 531 NEW BEST:: SOT 44127 SOS 28508 HAS SOPS 28235 HAS SOUS 16477 HAS SOUPS 16204 WITH SCORE 16232.508
AT ITER 542 NEW BEST:: SOT 44107 SOS 28497 HAS SOPS 28224 HAS SOUS 16445 HAS SOUPS 16172 WITH SCORE 16200.497
AT ITER 544 NEW BEST:: SOT 43829 SOS 28524 HAS SOPS 28251 HAS SOUS 16306 HAS SOUPS 16033 WITH SCORE 16061.524
AT ITER 548 NEW BEST:: SOT 43794 SOS 28483 HAS SOPS 28210 HAS SOUS 16201 HAS SOUPS 15928 WITH SCORE 15956.483
AT ITER 553 NEW BEST:: SOT 43752 SOS 28462 HAS SOPS 28189 HAS SOUS 16201 HAS SOUPS 15928 WITH SCORE 15956.462
AT ITER 556 NEW BEST:: SOT 43747 SOS 28511 HAS SOPS 28238 HAS SOUS 16186 HAS SOUPS 15913 WITH SCORE 15941.511
AT ITER 564 NEW BEST:: SOT 43575 SOS 28294 HAS SOPS 28021 HAS SOUS 16017 HAS SOUPS 15744 WITH SCORE 15772.294
AT ITER 569 NEW BEST:: SOT 43575 SOS 28293 HAS SOPS 28020 HAS SOUS 16010 HAS SOUPS 15737 WITH SCORE 15765.293
AT ITER 570 NEW BEST:: SOT 43623 SOS 28316 HAS SOPS 28043 HAS SOUS 16006 HAS SOUPS 15733 WITH SCORE 15761.316
AT ITER 571 NEW BEST:: SOT 43623 SOS 28312 HAS SOPS 28039 HAS SOUS 16006 HAS SOUPS 15733 WITH SCORE 15761.312
AT ITER 577 NEW BEST:: SOT 43557 SOS 28246 HAS SOPS 27973 HAS SOUS 15972 HAS SOUPS 15699 WITH SCORE 15727.246
AT ITER 580 NEW BEST:: SOT 43462 SOS 28274 HAS SOPS 28001 HAS SOUS 15894 HAS SOUPS 15621 WITH SCORE 15649.274
AT ITER 581 NEW BEST:: SOT 43460 SOS 28314 HAS SOPS 28041 HAS SOUS 15888 HAS SOUPS 15615 WITH SCORE 15643.314
AT ITER 602 NEW BEST:: SOT 43308 SOS 28223 HAS SOPS 27950 HAS SOUS 15786 HAS SOUPS 15513 WITH SCORE 15541.223
AT ITER 604 NEW BEST:: SOT 43301 SOS 28216 HAS SOPS 27943 HAS SOUS 15776 HAS SOUPS 15503 WITH SCORE 15531.216
AT ITER 605 NEW BEST:: SOT 43301 SOS 28147 HAS SOPS 27874 HAS SOUS 15776 HAS SOUPS 15503 WITH SCORE 15531.147
AT ITER 606 NEW BEST:: SOT 43287 SOS 28133 HAS SOPS 27860 HAS SOUS 15748 HAS SOUPS 15475 WITH SCORE 15503.133
AT ITER 616 NEW BEST:: SOT 43271 SOS 28122 HAS SOPS 27849 HAS SOUS 15713 HAS SOUPS 15440 WITH SCORE 15468.122
AT ITER 617 NEW BEST:: SOT 43274 SOS 28110 HAS SOPS 27837 HAS SOUS 15713 HAS SOUPS 15440 WITH SCORE 15468.11
AT ITER 638 NEW BEST:: SOT 43274 SOS 28096 HAS SOPS 27823 HAS SOUS 15713 HAS SOUPS 15440 WITH SCORE 15468.096
AT ITER 640 NEW BEST:: SOT 43252 SOS 28074 HAS SOPS 27801 HAS SOUS 15683 HAS SOUPS 15410 WITH SCORE 15438.074
AT ITER 651 NEW BEST:: SOT 43240 SOS 28062 HAS SOPS 27789 HAS SOUS 15671 HAS SOUPS 15398 WITH SCORE 15426.062
AT ITER 659 NEW BEST:: SOT 43210 SOS 28032 HAS SOPS 27759 HAS SOUS 15641 HAS SOUPS 15368 WITH SCORE 15396.032
AT ITER 661 NEW BEST:: SOT 43206 SOS 28028 HAS SOPS 27755 HAS SOUS 15634 HAS SOUPS 15361 WITH SCORE 15389.028
AT ITER 663 NEW BEST:: SOT 43169 SOS 27949 HAS SOPS 27676 HAS SOUS 15574 HAS SOUPS 15301 WITH SCORE 15328.949
AT ITER 671 NEW BEST:: SOT 43169 SOS 27944 HAS SOPS 27670 HAS SOUS 15572 HAS SOUPS 15298 WITH SCORE 15325.944
AT ITER 682 NEW BEST:: SOT 43111 SOS 27886 HAS SOPS 27612 HAS SOUS 15516 HAS SOUPS 15242 WITH SCORE 15269.886
AT ITER 685 NEW BEST:: SOT 43113 SOS 27878 HAS SOPS 27602 HAS SOUS 15518 HAS SOUPS 15242 WITH SCORE 15269.878
AT ITER 706 NEW BEST:: SOT 43106 SOS 27876 HAS SOPS 27600 HAS SOUS 15497 HAS SOUPS 15221 WITH SCORE 15248.876
AT ITER 709 NEW BEST:: SOT 43102 SOS 27872 HAS SOPS 27596 HAS SOUS 15489 HAS SOUPS 15213 WITH SCORE 15240.872
AT ITER 738 NEW BEST:: SOT 43052 SOS 27836 HAS SOPS 27560 HAS SOUS 15445 HAS SOUPS 15169 WITH SCORE 15196.836
AT ITER 740 NEW BEST:: SOT 43026 SOS 27810 HAS SOPS 27534 HAS SOUS 15393 HAS SOUPS 15117 WITH SCORE 15144.81
AT ITER 749 NEW BEST:: SOT 43000 SOS 27784 HAS SOPS 27508 HAS SOUS 15341 HAS SOUPS 15065 WITH SCORE 15092.784
AT ITER 764 NEW BEST:: SOT 42990 SOS 27774 HAS SOPS 27498 HAS SOUS 15331 HAS SOUPS 15055 WITH SCORE 15082.774
AT ITER 780 NEW BEST:: SOT 42990 SOS 27774 HAS SOPS 27498 HAS SOUS 15315 HAS SOUPS 15039 WITH SCORE 15066.774
AT ITER 784 NEW BEST:: SOT 42989 SOS 27772 HAS SOPS 27495 HAS SOUS 15313 HAS SOUPS 15036 WITH SCORE 15063.772
AT ITER 788 NEW BEST:: SOT 42535 SOS 27371 HAS SOPS 27094 HAS SOUS 14909 HAS SOUPS 14632 WITH SCORE 14659.371
AT ITER 792 NEW BEST:: SOT 42535 SOS 27331 HAS SOPS 27054 HAS SOUS 14909 HAS SOUPS 14632 WITH SCORE 14659.331
AT ITER 802 NEW BEST:: SOT 42485 SOS 27281 HAS SOPS 27004 HAS SOUS 14809 HAS SOUPS 14532 WITH SCORE 14559.281
AT ITER 834 NEW BEST:: SOT 42433 SOS 27229 HAS SOPS 26952 HAS SOUS 14705 HAS SOUPS 14428 WITH SCORE 14455.229
AT ITER 838 NEW BEST:: SOT 42381 SOS 27308 HAS SOPS 27061 HAS SOUS 14652 HAS SOUPS 14405 WITH SCORE 14432.308
AT ITER 847 NEW BEST:: SOT 42381 SOS 27282 HAS SOPS 27035 HAS SOUS 14652 HAS SOUPS 14405 WITH SCORE 14432.282
AT ITER 852 NEW BEST:: SOT 42379 SOS 27280 HAS SOPS 27033 HAS SOUS 14650 HAS SOUPS 14403 WITH SCORE 14430.28
AT ITER 886 NEW BEST:: SOT 42367 SOS 27278 HAS SOPS 27031 HAS SOUS 14629 HAS SOUPS 14382 WITH SCORE 14409.278
AT ITER 918 NEW BEST:: SOT 42352 SOS 27263 HAS SOPS 27016 HAS SOUS 14599 HAS SOUPS 14352 WITH SCORE 14379.263
AT ITER 919 NEW BEST:: SOT 42294 SOS 27437 HAS SOPS 27219 HAS SOUS 14555 HAS SOUPS 14337 WITH SCORE 14364.437
AT ITER 926 NEW BEST:: SOT 42290 SOS 27431 HAS SOPS 27213 HAS SOUS 14546 HAS SOUPS 14328 WITH SCORE 14355.431
AT ITER 947 NEW BEST:: SOT 42292 SOS 27431 HAS SOPS 27213 HAS SOUS 14540 HAS SOUPS 14322 WITH SCORE 14349.431
AT ITER 950 NEW BEST:: SOT 42286 SOS 27490 HAS SOPS 27272 HAS SOUS 14539 HAS SOUPS 14321 WITH SCORE 14348.49
AT ITER 962 NEW BEST:: SOT 42259 SOS 27463 HAS SOPS 27245 HAS SOUS 14465 HAS SOUPS 14247 WITH SCORE 14274.463
AT ITER 963 NEW BEST:: SOT 42243 SOS 27447 HAS SOPS 27229 HAS SOUS 14431 HAS SOUPS 14213 WITH SCORE 14240.447
AT ITER 970 NEW BEST:: SOT 42243 SOS 27427 HAS SOPS 27209 HAS SOUS 14431 HAS SOUPS 14213 WITH SCORE 14240.427
AT ITER 982 NEW BEST:: SOT 42289 SOS 27418 HAS SOPS 27200 HAS SOUS 14423 HAS SOUPS 14205 WITH SCORE 14232.418
AT ITER 1017 NEW BEST:: SOT 42267 SOS 27325 HAS SOPS 27107 HAS SOUS 14247 HAS SOUPS 14029 WITH SCORE 14056.325
AT ITER 1019 NEW BEST:: SOT 42267 SOS 27290 HAS SOPS 27072 HAS SOUS 14240 HAS SOUPS 14022 WITH SCORE 14049.29
AT ITER 1022 NEW BEST:: SOT 42307 SOS 27279 HAS SOPS 27035 HAS SOUS 14263 HAS SOUPS 14019 WITH SCORE 14046.279
AT ITER 1026 NEW BEST:: SOT 42307 SOS 27249 HAS SOPS 27011 HAS SOUS 14257 HAS SOUPS 14019 WITH SCORE 14046.249
AT ITER 1031 NEW BEST:: SOT 42283 SOS 27218 HAS SOPS 26980 HAS SOUS 14210 HAS SOUPS 13972 WITH SCORE 13999.218
AT ITER 1032 NEW BEST:: SOT 42285 SOS 27208 HAS SOPS 26970 HAS SOUS 14210 HAS SOUPS 13972 WITH SCORE 13999.208
AT ITER 1040 NEW BEST:: SOT 42262 SOS 27185 HAS SOPS 26947 HAS SOUS 14210 HAS SOUPS 13972 WITH SCORE 13999.185
AT ITER 1049 NEW BEST:: SOT 42264 SOS 27153 HAS SOPS 26915 HAS SOUS 14198 HAS SOUPS 13960 WITH SCORE 13987.153
AT ITER 1054 NEW BEST:: SOT 42242 SOS 27181 HAS SOPS 26943 HAS SOUS 14190 HAS SOUPS 13952 WITH SCORE 13979.181
AT ITER 1057 NEW BEST:: SOT 42200 SOS 27147 HAS SOPS 26909 HAS SOUS 14102 HAS SOUPS 13864 WITH SCORE 13891.147
AT ITER 1058 NEW BEST:: SOT 42281 SOS 27052 HAS SOPS 26814 HAS SOUS 14093 HAS SOUPS 13855 WITH SCORE 13882.052
AT ITER 1074 NEW BEST:: SOT 42274 SOS 27045 HAS SOPS 26807 HAS SOUS 14079 HAS SOUPS 13841 WITH SCORE 13868.045
AT ITER 1077 NEW BEST:: SOT 42152 SOS 26978 HAS SOPS 26740 HAS SOUS 14042 HAS SOUPS 13804 WITH SCORE 13830.978
AT ITER 1081 NEW BEST:: SOT 42150 SOS 26976 HAS SOPS 26738 HAS SOUS 14039 HAS SOUPS 13801 WITH SCORE 13827.976
AT ITER 1084 NEW BEST:: SOT 42150 SOS 26910 HAS SOPS 26672 HAS SOUS 14039 HAS SOUPS 13801 WITH SCORE 13827.91
AT ITER 1091 NEW BEST:: SOT 42150 SOS 26887 HAS SOPS 26649 HAS SOUS 14039 HAS SOUPS 13801 WITH SCORE 13827.887
AT ITER 1105 NEW BEST:: SOT 42138 SOS 26875 HAS SOPS 26637 HAS SOUS 14015 HAS SOUPS 13777 WITH SCORE 13803.875
AT ITER 1120 NEW BEST:: SOT 42138 SOS 26875 HAS SOPS 26637 HAS SOUS 13997 HAS SOUPS 13759 WITH SCORE 13785.875
AT ITER 1128 NEW BEST:: SOT 42138 SOS 26875 HAS SOPS 26637 HAS SOUS 13923 HAS SOUPS 13685 WITH SCORE 13711.875
AT ITER 1163 NEW BEST:: SOT 42124 SOS 27028 HAS SOPS 26790 HAS SOUS 13905 HAS SOUPS 13667 WITH SCORE 13694.028
AT ITER 1234 NEW BEST:: SOT 42107 SOS 27011 HAS SOPS 26773 HAS SOUS 13873 HAS SOUPS 13635 WITH SCORE 13662.011
AT ITER 1239 NEW BEST:: SOT 42107 SOS 27011 HAS SOPS 26773 HAS SOUS 13865 HAS SOUPS 13627 WITH SCORE 13654.011
AT ITER 1244 NEW BEST:: SOT 42104 SOS 27013 HAS SOPS 26775 HAS SOUS 13849 HAS SOUPS 13611 WITH SCORE 13638.013
AT ITER 1245 NEW BEST:: SOT 42103 SOS 27014 HAS SOPS 26776 HAS SOUS 13846 HAS SOUPS 13608 WITH SCORE 13635.014
AT ITER 1252 NEW BEST:: SOT 42134 SOS 26997 HAS SOPS 26741 HAS SOUS 13849 HAS SOUPS 13593 WITH SCORE 13619.997
AT ITER 1269 NEW BEST:: SOT 42124 SOS 26982 HAS SOPS 26726 HAS SOUS 13829 HAS SOUPS 13573 WITH SCORE 13599.982
AT ITER 1277 NEW BEST:: SOT 42079 SOS 26921 HAS SOPS 26665 HAS SOUS 13766 HAS SOUPS 13510 WITH SCORE 13536.921
AT ITER 1290 NEW BEST:: SOT 42073 SOS 26879 HAS SOPS 26623 HAS SOUS 13748 HAS SOUPS 13492 WITH SCORE 13518.879
AT ITER 1305 NEW BEST:: SOT 42073 SOS 26870 HAS SOPS 26614 HAS SOUS 13748 HAS SOUPS 13492 WITH SCORE 13518.87
AT ITER 1326 NEW BEST:: SOT 42069 SOS 26861 HAS SOPS 26605 HAS SOUS 13740 HAS SOUPS 13484 WITH SCORE 13510.861
AT ITER 1344 NEW BEST:: SOT 42068 SOS 26867 HAS SOPS 26598 HAS SOUS 13750 HAS SOUPS 13481 WITH SCORE 13507.867
AT ITER 1347 NEW BEST:: SOT 42066 SOS 26861 HAS SOPS 26592 HAS SOUS 13745 HAS SOUPS 13476 WITH SCORE 13502.861
AT ITER 1355 NEW BEST:: SOT 42064 SOS 26859 HAS SOPS 26590 HAS SOUS 13739 HAS SOUPS 13470 WITH SCORE 13496.859
AT ITER 1356 NEW BEST:: SOT 41828 SOS 26643 HAS SOPS 26374 HAS SOUS 13681 HAS SOUPS 13412 WITH SCORE 13438.643
AT ITER 1368 NEW BEST:: SOT 41818 SOS 26633 HAS SOPS 26364 HAS SOUS 13669 HAS SOUPS 13400 WITH SCORE 13426.633
AT ITER 1369 NEW BEST:: SOT 41818 SOS 26633 HAS SOPS 26364 HAS SOUS 13667 HAS SOUPS 13398 WITH SCORE 13424.633
AT ITER 1382 NEW BEST:: SOT 41829 SOS 26633 HAS SOPS 26364 HAS SOUS 13656 HAS SOUPS 13387 WITH SCORE 13413.633
AT ITER 1391 NEW BEST:: SOT 41629 SOS 26539 HAS SOPS 26270 HAS SOUS 13616 HAS SOUPS 13347 WITH SCORE 13373.539
AT ITER 1400 NEW BEST:: SOT 41497 SOS 26428 HAS SOPS 26159 HAS SOUS 13603 HAS SOUPS 13334 WITH SCORE 13360.428
AT ITER 1409 NEW BEST:: SOT 41491 SOS 26429 HAS SOPS 26160 HAS SOUS 13595 HAS SOUPS 13326 WITH SCORE 13352.429
AT ITER 1444 NEW BEST:: SOT 41471 SOS 26394 HAS SOPS 26125 HAS SOUS 13535 HAS SOUPS 13266 WITH SCORE 13292.394
AT ITER 1481 NEW BEST:: SOT 41471 SOS 26268 HAS SOPS 25999 HAS SOUS 13535 HAS SOUPS 13266 WITH SCORE 13292.268
AT ITER 1483 NEW BEST:: SOT 41471 SOS 26265 HAS SOPS 25999 HAS SOUS 13532 HAS SOUPS 13266 WITH SCORE 13292.265
AT ITER 1485 NEW BEST:: SOT 41463 SOS 26257 HAS SOPS 25991 HAS SOUS 13516 HAS SOUPS 13250 WITH SCORE 13276.257
AT ITER 1501 NEW BEST:: SOT 41447 SOS 26225 HAS SOPS 25943 HAS SOUS 13484 HAS SOUPS 13202 WITH SCORE 13228.225
AT ITER 1512 NEW BEST:: SOT 41447 SOS 26042 HAS SOPS 25760 HAS SOUS 13484 HAS SOUPS 13202 WITH SCORE 13228.042
AT ITER 1525 NEW BEST:: SOT 41415 SOS 26016 HAS SOPS 25734 HAS SOUS 13454 HAS SOUPS 13172 WITH SCORE 13198.016
AT ITER 1539 NEW BEST:: SOT 41410 SOS 25957 HAS SOPS 25675 HAS SOUS 13431 HAS SOUPS 13149 WITH SCORE 13174.957
AT ITER 1577 NEW BEST:: SOT 41374 SOS 25933 HAS SOPS 25651 HAS SOUS 13407 HAS SOUPS 13125 WITH SCORE 13150.933
AT ITER 1598 NEW BEST:: SOT 41401 SOS 25891 HAS SOPS 25609 HAS SOUS 13398 HAS SOUPS 13116 WITH SCORE 13141.891
AT ITER 1607 NEW BEST:: SOT 41401 SOS 25871 HAS SOPS 25589 HAS SOUS 13398 HAS SOUPS 13116 WITH SCORE 13141.871
AT ITER 1610 NEW BEST:: SOT 41399 SOS 25872 HAS SOPS 25587 HAS SOUS 13395 HAS SOUPS 13110 WITH SCORE 13135.872
AT ITER 1621 NEW BEST:: SOT 41369 SOS 25842 HAS SOPS 25557 HAS SOUS 13365 HAS SOUPS 13080 WITH SCORE 13105.842
AT ITER 1662 NEW BEST:: SOT 41355 SOS 25828 HAS SOPS 25543 HAS SOUS 13337 HAS SOUPS 13052 WITH SCORE 13077.828
AT ITER 1665 NEW BEST:: SOT 41337 SOS 25803 HAS SOPS 25518 HAS SOUS 13294 HAS SOUPS 13009 WITH SCORE 13034.803
AT ITER 1668 NEW BEST:: SOT 41333 SOS 25799 HAS SOPS 25514 HAS SOUS 13286 HAS SOUPS 13001 WITH SCORE 13026.799
AT ITER 1677 NEW BEST:: SOT 41314 SOS 25780 HAS SOPS 25495 HAS SOUS 13248 HAS SOUPS 12963 WITH SCORE 12988.78
AT ITER 1695 NEW BEST:: SOT 41292 SOS 25774 HAS SOPS 25489 HAS SOUS 13248 HAS SOUPS 12963 WITH SCORE 12988.774
AT ITER 1713 NEW BEST:: SOT 41288 SOS 25746 HAS SOPS 25461 HAS SOUS 13236 HAS SOUPS 12951 WITH SCORE 12976.746
AT ITER 1723 NEW BEST:: SOT 41308 SOS 25740 HAS SOPS 25455 HAS SOUS 13203 HAS SOUPS 12918 WITH SCORE 12943.74
AT ITER 1739 NEW BEST:: SOT 41213 SOS 25719 HAS SOPS 25441 HAS SOUS 13114 HAS SOUPS 12836 WITH SCORE 12861.719
AT ITER 1766 NEW BEST:: SOT 41205 SOS 25711 HAS SOPS 25433 HAS SOUS 13098 HAS SOUPS 12820 WITH SCORE 12845.711
AT ITER 1768 NEW BEST:: SOT 41201 SOS 25707 HAS SOPS 25429 HAS SOUS 13094 HAS SOUPS 12816 WITH SCORE 12841.707
AT ITER 1774 NEW BEST:: SOT 41200 SOS 25700 HAS SOPS 25422 HAS SOUS 13091 HAS SOUPS 12813 WITH SCORE 12838.7
AT ITER 1777 NEW BEST:: SOT 41070 SOS 25623 HAS SOPS 25345 HAS SOUS 13019 HAS SOUPS 12741 WITH SCORE 12766.623
AT ITER 1782 NEW BEST:: SOT 41100 SOS 25549 HAS SOPS 25253 HAS SOUS 13028 HAS SOUPS 12732 WITH SCORE 12757.549
AT ITER 1805 NEW BEST:: SOT 41100 SOS 25547 HAS SOPS 25251 HAS SOUS 13018 HAS SOUPS 12722 WITH SCORE 12747.547
AT ITER 1842 NEW BEST:: SOT 41100 SOS 25547 HAS SOPS 25251 HAS SOUS 13016 HAS SOUPS 12720 WITH SCORE 12745.547
AT ITER 1843 NEW BEST:: SOT 41098 SOS 25545 HAS SOPS 25251 HAS SOUS 13014 HAS SOUPS 12720 WITH SCORE 12745.545
AT ITER 1855 NEW BEST:: SOT 41084 SOS 25531 HAS SOPS 25237 HAS SOUS 12986 HAS SOUPS 12692 WITH SCORE 12717.531
AT ITER 1860 NEW BEST:: SOT 41050 SOS 25497 HAS SOPS 25203 HAS SOUS 12918 HAS SOUPS 12624 WITH SCORE 12649.497
AT ITER 1887 NEW BEST:: SOT 41042 SOS 25519 HAS SOPS 25225 HAS SOUS 12902 HAS SOUPS 12608 WITH SCORE 12633.519
AT ITER 1892 NEW BEST:: SOT 41042 SOS 25488 HAS SOPS 25194 HAS SOUS 12780 HAS SOUPS 12486 WITH SCORE 12511.488
AT ITER 1939 NEW BEST:: SOT 40848 SOS 25639 HAS SOPS 25345 HAS SOUS 12738 HAS SOUPS 12444 WITH SCORE 12469.639
AT ITER 1941 NEW BEST:: SOT 40884 SOS 25610 HAS SOPS 25316 HAS SOUS 12509 HAS SOUPS 12215 WITH SCORE 12240.61
AT ITER 1947 NEW BEST:: SOT 40846 SOS 25587 HAS SOPS 25293 HAS SOUS 12437 HAS SOUPS 12143 WITH SCORE 12168.587
AT ITER 1967 NEW BEST:: SOT 40807 SOS 25548 HAS SOPS 25254 HAS SOUS 12355 HAS SOUPS 12061 WITH SCORE 12086.548
AT ITER 1981 NEW BEST:: SOT 40802 SOS 25543 HAS SOPS 25249 HAS SOUS 12349 HAS SOUPS 12055 WITH SCORE 12080.543
AT ITER 1992 NEW BEST:: SOT 40774 SOS 25515 HAS SOPS 25221 HAS SOUS 12323 HAS SOUPS 12029 WITH SCORE 12054.515
AT ITER 2005 NEW BEST:: SOT 40780 SOS 25486 HAS SOPS 25192 HAS SOUS 12323 HAS SOUPS 12029 WITH SCORE 12054.486
AT ITER 2016 NEW BEST:: SOT 40745 SOS 25451 HAS SOPS 25157 HAS SOUS 12253 HAS SOUPS 11959 WITH SCORE 11984.451
AT ITER 2017 NEW BEST:: SOT 40747 SOS 25451 HAS SOPS 25157 HAS SOUS 12251 HAS SOUPS 11957 WITH SCORE 11982.451
AT ITER 2020 NEW BEST:: SOT 40747 SOS 25445 HAS SOPS 25150 HAS SOUS 12249 HAS SOUPS 11954 WITH SCORE 11979.445
AT ITER 2035 NEW BEST:: SOT 40757 SOS 25455 HAS SOPS 25160 HAS SOUS 12247 HAS SOUPS 11952 WITH SCORE 11977.455
AT ITER 2048 NEW BEST:: SOT 40743 SOS 25441 HAS SOPS 25146 HAS SOUS 12233 HAS SOUPS 11938 WITH SCORE 11963.441
AT ITER 2055 NEW BEST:: SOT 40743 SOS 25396 HAS SOPS 25101 HAS SOUS 12233 HAS SOUPS 11938 WITH SCORE 11963.396
AT ITER 2065 NEW BEST:: SOT 40719 SOS 25378 HAS SOPS 25083 HAS SOUS 12221 HAS SOUPS 11926 WITH SCORE 11951.378
AT ITER 2073 NEW BEST:: SOT 40695 SOS 25362 HAS SOPS 25067 HAS SOUS 12213 HAS SOUPS 11918 WITH SCORE 11943.362
AT ITER 2092 NEW BEST:: SOT 40730 SOS 25352 HAS SOPS 25055 HAS SOUS 12168 HAS SOUPS 11871 WITH SCORE 11896.352
AT ITER 2117 NEW BEST:: SOT 40629 SOS 25277 HAS SOPS 24980 HAS SOUS 12132 HAS SOUPS 11835 WITH SCORE 11860.277
AT ITER 2121 NEW BEST:: SOT 40660 SOS 25294 HAS SOPS 24997 HAS SOUS 12115 HAS SOUPS 11818 WITH SCORE 11843.294
AT ITER 2154 NEW BEST:: SOT 40648 SOS 25281 HAS SOPS 24984 HAS SOUS 12105 HAS SOUPS 11808 WITH SCORE 11833.281
AT ITER 2160 NEW BEST:: SOT 40643 SOS 25276 HAS SOPS 24979 HAS SOUS 12095 HAS SOUPS 11798 WITH SCORE 11823.276
AT ITER 2163 NEW BEST:: SOT 40642 SOS 25472 HAS SOPS 25141 HAS SOUS 12126 HAS SOUPS 11795 WITH SCORE 11820.472
AT ITER 2257 NEW BEST:: SOT 40642 SOS 25409 HAS SOPS 25088 HAS SOUS 12116 HAS SOUPS 11795 WITH SCORE 11820.409
AT ITER 2279 NEW BEST:: SOT 40642 SOS 25405 HAS SOPS 25084 HAS SOUS 12114 HAS SOUPS 11793 WITH SCORE 11818.405
AT ITER 2288 NEW BEST:: SOT 40633 SOS 25396 HAS SOPS 25075 HAS SOUS 12100 HAS SOUPS 11779 WITH SCORE 11804.396
AT ITER 2297 NEW BEST:: SOT 40626 SOS 25388 HAS SOPS 25067 HAS SOUS 12087 HAS SOUPS 11766 WITH SCORE 11791.388
AT ITER 2307 NEW BEST:: SOT 40626 SOS 25388 HAS SOPS 25067 HAS SOUS 12073 HAS SOUPS 11752 WITH SCORE 11777.388
AT ITER 2317 NEW BEST:: SOT 40623 SOS 25385 HAS SOPS 25064 HAS SOUS 12070 HAS SOUPS 11749 WITH SCORE 11774.385
AT ITER 2320 NEW BEST:: SOT 40623 SOS 25385 HAS SOPS 25064 HAS SOUS 12056 HAS SOUPS 11735 WITH SCORE 11760.385
AT ITER 2336 NEW BEST:: SOT 40603 SOS 25365 HAS SOPS 25044 HAS SOUS 12020 HAS SOUPS 11699 WITH SCORE 11724.365
AT ITER 2364 NEW BEST:: SOT 40603 SOS 25365 HAS SOPS 25044 HAS SOUS 12016 HAS SOUPS 11695 WITH SCORE 11720.365
AT ITER 2365 NEW BEST:: SOT 40440 SOS 25245 HAS SOPS 24924 HAS SOUS 11959 HAS SOUPS 11638 WITH SCORE 11663.245
AT ITER 2372 NEW BEST:: SOT 40435 SOS 25240 HAS SOPS 24919 HAS SOUS 11949 HAS SOUPS 11628 WITH SCORE 11653.24
AT ITER 2378 NEW BEST:: SOT 40361 SOS 25308 HAS SOPS 25007 HAS SOUS 11885 HAS SOUPS 11584 WITH SCORE 11609.308
AT ITER 2388 NEW BEST:: SOT 40337 SOS 25292 HAS SOPS 24991 HAS SOUS 11869 HAS SOUPS 11568 WITH SCORE 11593.292
AT ITER 2407 NEW BEST:: SOT 40327 SOS 25282 HAS SOPS 24981 HAS SOUS 11857 HAS SOUPS 11556 WITH SCORE 11581.282
AT ITER 2420 NEW BEST:: SOT 40340 SOS 25282 HAS SOPS 24981 HAS SOUS 11831 HAS SOUPS 11530 WITH SCORE 11555.282
AT ITER 2428 NEW BEST:: SOT 40341 SOS 25279 HAS SOPS 24977 HAS SOUS 11832 HAS SOUPS 11530 WITH SCORE 11555.279
AT ITER 2439 NEW BEST:: SOT 40275 SOS 25248 HAS SOPS 24946 HAS SOUS 11829 HAS SOUPS 11527 WITH SCORE 11552.248
AT ITER 2449 NEW BEST:: SOT 40251 SOS 25232 HAS SOPS 24930 HAS SOUS 11805 HAS SOUPS 11503 WITH SCORE 11528.232
AT ITER 2469 NEW BEST:: SOT 40240 SOS 25221 HAS SOPS 24919 HAS SOUS 11783 HAS SOUPS 11481 WITH SCORE 11506.221
AT ITER 2483 NEW BEST:: SOT 40238 SOS 25212 HAS SOPS 24900 HAS SOUS 11789 HAS SOUPS 11477 WITH SCORE 11502.212
AT ITER 2487 NEW BEST:: SOT 40235 SOS 25209 HAS SOPS 24897 HAS SOUS 11786 HAS SOUPS 11474 WITH SCORE 11499.209
AT ITER 2498 NEW BEST:: SOT 40235 SOS 25205 HAS SOPS 24893 HAS SOUS 11786 HAS SOUPS 11474 WITH SCORE 11499.205
AT ITER 2520 NEW BEST:: SOT 40251 SOS 25213 HAS SOPS 24901 HAS SOUS 11769 HAS SOUPS 11457 WITH SCORE 11482.213
AT ITER 2536 NEW BEST:: SOT 40243 SOS 25205 HAS SOPS 24893 HAS SOUS 11753 HAS SOUPS 11441 WITH SCORE 11466.205
AT ITER 2553 NEW BEST:: SOT 40243 SOS 25164 HAS SOPS 24852 HAS SOUS 11753 HAS SOUPS 11441 WITH SCORE 11466.164
AT ITER 2571 NEW BEST:: SOT 40245 SOS 25118 HAS SOPS 24796 HAS SOUS 11739 HAS SOUPS 11417 WITH SCORE 11442.118
AT ITER 2576 NEW BEST:: SOT 40255 SOS 25070 HAS SOPS 24748 HAS SOUS 11739 HAS SOUPS 11417 WITH SCORE 11442.07
AT ITER 2582 NEW BEST:: SOT 40289 SOS 25091 HAS SOPS 24769 HAS SOUS 11729 HAS SOUPS 11407 WITH SCORE 11432.091
AT ITER 2599 NEW BEST:: SOT 40289 SOS 25074 HAS SOPS 24752 HAS SOUS 11729 HAS SOUPS 11407 WITH SCORE 11432.074
AT ITER 2600 NEW BEST:: SOT 40267 SOS 25055 HAS SOPS 24733 HAS SOUS 11728 HAS SOUPS 11406 WITH SCORE 11431.055
AT ITER 2619 NEW BEST:: SOT 40281 SOS 25054 HAS SOPS 24732 HAS SOUS 11694 HAS SOUPS 11372 WITH SCORE 11397.054
AT ITER 2632 NEW BEST:: SOT 40261 SOS 25034 HAS SOPS 24712 HAS SOUS 11682 HAS SOUPS 11360 WITH SCORE 11385.034
AT ITER 2634 NEW BEST:: SOT 40268 SOS 25051 HAS SOPS 24729 HAS SOUS 11680 HAS SOUPS 11358 WITH SCORE 11383.051
AT ITER 2635 NEW BEST:: SOT 40238 SOS 25021 HAS SOPS 24699 HAS SOUS 11626 HAS SOUPS 11304 WITH SCORE 11329.021
AT ITER 2643 NEW BEST:: SOT 40146 SOS 25134 HAS SOPS 24801 HAS SOUS 11605 HAS SOUPS 11272 WITH SCORE 11297.134
AT ITER 2662 NEW BEST:: SOT 40155 SOS 25128 HAS SOPS 24765 HAS SOUS 11611 HAS SOUPS 11248 WITH SCORE 11273.128
AT ITER 2678 NEW BEST:: SOT 40158 SOS 25125 HAS SOPS 24758 HAS SOUS 11612 HAS SOUPS 11245 WITH SCORE 11270.125
AT ITER 2686 NEW BEST:: SOT 40150 SOS 25117 HAS SOPS 24750 HAS SOUS 11596 HAS SOUPS 11229 WITH SCORE 11254.117
AT ITER 2687 NEW BEST:: SOT 40124 SOS 25080 HAS SOPS 24713 HAS SOUS 11515 HAS SOUPS 11148 WITH SCORE 11173.08
AT ITER 2697 NEW BEST:: SOT 40132 SOS 25088 HAS SOPS 24721 HAS SOUS 11505 HAS SOUPS 11138 WITH SCORE 11163.088
AT ITER 2749 NEW BEST:: SOT 40122 SOS 25064 HAS SOPS 24697 HAS SOUS 11478 HAS SOUPS 11111 WITH SCORE 11136.064
AT ITER 2752 NEW BEST:: SOT 40118 SOS 25060 HAS SOPS 24693 HAS SOUS 11470 HAS SOUPS 11103 WITH SCORE 11128.06
AT ITER 2809 NEW BEST:: SOT 40113 SOS 25055 HAS SOPS 24688 HAS SOUS 11462 HAS SOUPS 11095 WITH SCORE 11120.055
AT ITER 2825 NEW BEST:: SOT 40101 SOS 25046 HAS SOPS 24679 HAS SOUS 11456 HAS SOUPS 11089 WITH SCORE 11114.046
AT ITER 2848 NEW BEST:: SOT 40097 SOS 25043 HAS SOPS 24676 HAS SOUS 11454 HAS SOUPS 11087 WITH SCORE 11112.043
AT ITER 2880 NEW BEST:: SOT 40093 SOS 25039 HAS SOPS 24672 HAS SOUS 11446 HAS SOUPS 11079 WITH SCORE 11104.039
AT ITER 2899 NEW BEST:: SOT 40090 SOS 25036 HAS SOPS 24669 HAS SOUS 11443 HAS SOUPS 11076 WITH SCORE 11101.036
AT ITER 2904 NEW BEST:: SOT 40089 SOS 25033 HAS SOPS 24668 HAS SOUS 11441 HAS SOUPS 11076 WITH SCORE 11101.033
AT ITER 2910 NEW BEST:: SOT 40191 SOS 25117 HAS SOPS 24752 HAS SOUS 11433 HAS SOUPS 11068 WITH SCORE 11093.117
AT ITER 2912 NEW BEST:: SOT 40191 SOS 25110 HAS SOPS 24742 HAS SOUS 11430 HAS SOUPS 11062 WITH SCORE 11087.11
AT ITER 2913 NEW BEST:: SOT 40191 SOS 25110 HAS SOPS 24742 HAS SOUS 11428 HAS SOUPS 11060 WITH SCORE 11085.11
AT ITER 2955 NEW BEST:: SOT 40191 SOS 25110 HAS SOPS 24742 HAS SOUS 11422 HAS SOUPS 11054 WITH SCORE 11079.11
AT ITER 3051 NEW BEST:: SOT 40190 SOS 25090 HAS SOPS 24735 HAS SOUS 11406 HAS SOUPS 11051 WITH SCORE 11076.09
AT ITER 3064 NEW BEST:: SOT 40189 SOS 25090 HAS SOPS 24734 HAS SOUS 11404 HAS SOUPS 11048 WITH SCORE 11073.09
AT ITER 3066 NEW BEST:: SOT 40183 SOS 25027 HAS SOPS 24692 HAS SOUS 11365 HAS SOUPS 11030 WITH SCORE 11055.027
AT ITER 3067 NEW BEST:: SOT 40135 SOS 24979 HAS SOPS 24644 HAS SOUS 11269 HAS SOUPS 10934 WITH SCORE 10958.979
AT ITER 3087 NEW BEST:: SOT 40148 SOS 24903 HAS SOPS 24548 HAS SOUS 11265 HAS SOUPS 10910 WITH SCORE 10934.903
AT ITER 3094 NEW BEST:: SOT 40148 SOS 24842 HAS SOPS 24495 HAS SOUS 11256 HAS SOUPS 10909 WITH SCORE 10933.842
AT ITER 3100 NEW BEST:: SOT 40101 SOS 24818 HAS SOPS 24471 HAS SOUS 11255 HAS SOUPS 10908 WITH SCORE 10932.818
AT ITER 3105 NEW BEST:: SOT 40103 SOS 24736 HAS SOPS 24389 HAS SOUS 11243 HAS SOUPS 10896 WITH SCORE 10920.736
AT ITER 3138 NEW BEST:: SOT 40112 SOS 24725 HAS SOPS 24375 HAS SOUS 11229 HAS SOUPS 10879 WITH SCORE 10903.725
AT ITER 3155 NEW BEST:: SOT 40088 SOS 24701 HAS SOPS 24351 HAS SOUS 11215 HAS SOUPS 10865 WITH SCORE 10889.701
AT ITER 3158 NEW BEST:: SOT 40085 SOS 24695 HAS SOPS 24345 HAS SOUS 11212 HAS SOUPS 10862 WITH SCORE 10886.695
AT ITER 3169 NEW BEST:: SOT 40088 SOS 24689 HAS SOPS 24336 HAS SOUS 11215 HAS SOUPS 10862 WITH SCORE 10886.689
AT ITER 3191 NEW BEST:: SOT 40068 SOS 24664 HAS SOPS 24311 HAS SOUS 11146 HAS SOUPS 10793 WITH SCORE 10817.664
AT ITER 3192 NEW BEST:: SOT 40052 SOS 24652 HAS SOPS 24299 HAS SOUS 11130 HAS SOUPS 10777 WITH SCORE 10801.652
AT ITER 3209 NEW BEST:: SOT 40071 SOS 24605 HAS SOPS 24236 HAS SOUS 11132 HAS SOUPS 10763 WITH SCORE 10787.605
AT ITER 3212 NEW BEST:: SOT 40061 SOS 24595 HAS SOPS 24226 HAS SOUS 11112 HAS SOUPS 10743 WITH SCORE 10767.595
AT ITER 3218 NEW BEST:: SOT 40060 SOS 24594 HAS SOPS 24225 HAS SOUS 11110 HAS SOUPS 10741 WITH SCORE 10765.594
AT ITER 3251 NEW BEST:: SOT 40039 SOS 24556 HAS SOPS 24187 HAS SOUS 11005 HAS SOUPS 10636 WITH SCORE 10660.556
AT ITER 3286 NEW BEST:: SOT 40039 SOS 24536 HAS SOPS 24187 HAS SOUS 10985 HAS SOUPS 10636 WITH SCORE 10660.536
AT ITER 3329 NEW BEST:: SOT 40036 SOS 24533 HAS SOPS 24184 HAS SOUS 10980 HAS SOUPS 10631 WITH SCORE 10655.533
AT ITER 3370 NEW BEST:: SOT 40038 SOS 24531 HAS SOPS 24182 HAS SOUS 10972 HAS SOUPS 10623 WITH SCORE 10647.531
AT ITER 3422 NEW BEST:: SOT 40016 SOS 24509 HAS SOPS 24160 HAS SOUS 10929 HAS SOUPS 10580 WITH SCORE 10604.509
AT ITER 3426 NEW BEST:: SOT 40010 SOS 24503 HAS SOPS 24154 HAS SOUS 10917 HAS SOUPS 10568 WITH SCORE 10592.503
AT ITER 3457 NEW BEST:: SOT 40003 SOS 24496 HAS SOPS 24147 HAS SOUS 10903 HAS SOUPS 10554 WITH SCORE 10578.496
AT ITER 3510 NEW BEST:: SOT 40006 SOS 24496 HAS SOPS 24147 HAS SOUS 10891 HAS SOUPS 10542 WITH SCORE 10566.496
AT ITER 3520 NEW BEST:: SOT 40015 SOS 24497 HAS SOPS 24148 HAS SOUS 10887 HAS SOUPS 10538 WITH SCORE 10562.497
AT ITER 3605 NEW BEST:: SOT 40015 SOS 24497 HAS SOPS 24148 HAS SOUS 10879 HAS SOUPS 10530 WITH SCORE 10554.497
AT ITER 3611 NEW BEST:: SOT 40015 SOS 24494 HAS SOPS 24148 HAS SOUS 10876 HAS SOUPS 10530 WITH SCORE 10554.494
AT ITER 3629 NEW BEST:: SOT 40001 SOS 24480 HAS SOPS 24134 HAS SOUS 10848 HAS SOUPS 10502 WITH SCORE 10526.48
AT ITER 3660 NEW BEST:: SOT 39989 SOS 24468 HAS SOPS 24122 HAS SOUS 10824 HAS SOUPS 10478 WITH SCORE 10502.468
AT ITER 3672 NEW BEST:: SOT 39989 SOS 24453 HAS SOPS 24110 HAS SOUS 10821 HAS SOUPS 10478 WITH SCORE 10502.453
AT ITER 3673 NEW BEST:: SOT 39982 SOS 24446 HAS SOPS 24103 HAS SOUS 10807 HAS SOUPS 10464 WITH SCORE 10488.446
AT ITER 3714 NEW BEST:: SOT 39981 SOS 24440 HAS SOPS 24096 HAS SOUS 10805 HAS SOUPS 10461 WITH SCORE 10485.44
AT ITER 3717 NEW BEST:: SOT 39981 SOS 24383 HAS SOPS 24039 HAS SOUS 10805 HAS SOUPS 10461 WITH SCORE 10485.383
AT ITER 3750 NEW BEST:: SOT 39936 SOS 24353 HAS SOPS 24009 HAS SOUS 10760 HAS SOUPS 10416 WITH SCORE 10440.353
AT ITER 3761 NEW BEST:: SOT 39957 SOS 24279 HAS SOPS 23934 HAS SOUS 10761 HAS SOUPS 10416 WITH SCORE 10440.279
AT ITER 3795 NEW BEST:: SOT 39950 SOS 24272 HAS SOPS 23927 HAS SOUS 10747 HAS SOUPS 10402 WITH SCORE 10426.272
AT ITER 3830 NEW BEST:: SOT 39824 SOS 24182 HAS SOPS 23837 HAS SOUS 10713 HAS SOUPS 10368 WITH SCORE 10392.182
AT ITER 3843 NEW BEST:: SOT 39812 SOS 24170 HAS SOPS 23825 HAS SOUS 10689 HAS SOUPS 10344 WITH SCORE 10368.17
AT ITER 3873 NEW BEST:: SOT 39810 SOS 24168 HAS SOPS 23823 HAS SOUS 10687 HAS SOUPS 10342 WITH SCORE 10366.168
AT ITER 3931 NEW BEST:: SOT 39810 SOS 24168 HAS SOPS 23823 HAS SOUS 10682 HAS SOUPS 10337 WITH SCORE 10361.168
AT ITER 4004 NEW BEST:: SOT 39806 SOS 24164 HAS SOPS 23819 HAS SOUS 10671 HAS SOUPS 10326 WITH SCORE 10350.164
AT ITER 4010 NEW BEST:: SOT 39795 SOS 24237 HAS SOPS 23901 HAS SOUS 10660 HAS SOUPS 10324 WITH SCORE 10348.237
AT ITER 4016 NEW BEST:: SOT 39792 SOS 24235 HAS SOPS 23899 HAS SOUS 10657 HAS SOUPS 10321 WITH SCORE 10345.235
AT ITER 4041 NEW BEST:: SOT 39802 SOS 24205 HAS SOPS 23859 HAS SOUS 10667 HAS SOUPS 10321 WITH SCORE 10345.205
AT ITER 4060 NEW BEST:: SOT 39792 SOS 24195 HAS SOPS 23849 HAS SOUS 10651 HAS SOUPS 10305 WITH SCORE 10329.195
AT ITER 4092 NEW BEST:: SOT 39789 SOS 24192 HAS SOPS 23846 HAS SOUS 10645 HAS SOUPS 10299 WITH SCORE 10323.192
AT ITER 4104 NEW BEST:: SOT 39784 SOS 24157 HAS SOPS 23811 HAS SOUS 10630 HAS SOUPS 10284 WITH SCORE 10308.157
AT ITER 4119 NEW BEST:: SOT 39781 SOS 24154 HAS SOPS 23808 HAS SOUS 10627 HAS SOUPS 10281 WITH SCORE 10305.154
AT ITER 4158 NEW BEST:: SOT 39791 SOS 24124 HAS SOPS 23778 HAS SOUS 10627 HAS SOUPS 10281 WITH SCORE 10305.124
AT ITER 4163 NEW BEST:: SOT 39807 SOS 24134 HAS SOPS 23788 HAS SOUS 10624 HAS SOUPS 10278 WITH SCORE 10302.134
AT ITER 4202 NEW BEST:: SOT 39803 SOS 24127 HAS SOPS 23781 HAS SOUS 10620 HAS SOUPS 10274 WITH SCORE 10298.127
AT ITER 4210 NEW BEST:: SOT 39777 SOS 24104 HAS SOPS 23758 HAS SOUS 10611 HAS SOUPS 10265 WITH SCORE 10289.104
AT ITER 4263 NEW BEST:: SOT 39771 SOS 24098 HAS SOPS 23752 HAS SOUS 10599 HAS SOUPS 10253 WITH SCORE 10277.098
AT ITER 4307 NEW BEST:: SOT 39731 SOS 24058 HAS SOPS 23712 HAS SOUS 10559 HAS SOUPS 10213 WITH SCORE 10237.058
AT ITER 4386 NEW BEST:: SOT 39728 SOS 24050 HAS SOPS 23695 HAS SOUS 10559 HAS SOUPS 10204 WITH SCORE 10228.05
AT ITER 4406 NEW BEST:: SOT 39726 SOS 24048 HAS SOPS 23693 HAS SOUS 10557 HAS SOUPS 10202 WITH SCORE 10226.048
AT ITER 4411 NEW BEST:: SOT 39723 SOS 24067 HAS SOPS 23705 HAS SOUS 10557 HAS SOUPS 10195 WITH SCORE 10219.067
AT ITER 4442 NEW BEST:: SOT 39719 SOS 24061 HAS SOPS 23699 HAS SOUS 10541 HAS SOUPS 10179 WITH SCORE 10203.061
AT ITER 4454 NEW BEST:: SOT 39719 SOS 24056 HAS SOPS 23694 HAS SOUS 10541 HAS SOUPS 10179 WITH SCORE 10203.056
AT ITER 4486 NEW BEST:: SOT 39675 SOS 24122 HAS SOPS 23776 HAS SOUS 10518 HAS SOUPS 10172 WITH SCORE 10196.122
AT ITER 4513 NEW BEST:: SOT 39664 SOS 24168 HAS SOPS 23805 HAS SOUS 10502 HAS SOUPS 10139 WITH SCORE 10163.168
AT ITER 4544 NEW BEST:: SOT 39664 SOS 24162 HAS SOPS 23799 HAS SOUS 10502 HAS SOUPS 10139 WITH SCORE 10163.162
AT ITER 4561 NEW BEST:: SOT 39658 SOS 24245 HAS SOPS 23857 HAS SOUS 10509 HAS SOUPS 10121 WITH SCORE 10145.245
AT ITER 4576 NEW BEST:: SOT 39704 SOS 24282 HAS SOPS 23894 HAS SOUS 10506 HAS SOUPS 10118 WITH SCORE 10142.282
AT ITER 4590 NEW BEST:: SOT 39698 SOS 24232 HAS SOPS 23852 HAS SOUS 10480 HAS SOUPS 10100 WITH SCORE 10124.232
AT ITER 4602 NEW BEST:: SOT 39696 SOS 24230 HAS SOPS 23850 HAS SOUS 10478 HAS SOUPS 10098 WITH SCORE 10122.23
AT ITER 4616 NEW BEST:: SOT 39690 SOS 24226 HAS SOPS 23846 HAS SOUS 10472 HAS SOUPS 10092 WITH SCORE 10116.226
AT ITER 4630 NEW BEST:: SOT 39646 SOS 24283 HAS SOPS 23923 HAS SOUS 10449 HAS SOUPS 10089 WITH SCORE 10113.283
AT ITER 4631 NEW BEST:: SOT 39646 SOS 24283 HAS SOPS 23923 HAS SOUS 10448 HAS SOUPS 10088 WITH SCORE 10112.283
AT ITER 4652 NEW BEST:: SOT 39634 SOS 24307 HAS SOPS 23929 HAS SOUS 10430 HAS SOUPS 10052 WITH SCORE 10076.307
AT ITER 4724 NEW BEST:: SOT 39632 SOS 24304 HAS SOPS 23926 HAS SOUS 10422 HAS SOUPS 10044 WITH SCORE 10068.304
AT ITER 4791 NEW BEST:: SOT 39596 SOS 24504 HAS SOPS 24145 HAS SOUS 10389 HAS SOUPS 10030 WITH SCORE 10054.504
AT ITER 4834 NEW BEST:: SOT 39594 SOS 24497 HAS SOPS 24138 HAS SOUS 10385 HAS SOUPS 10026 WITH SCORE 10050.497
AT ITER 4899 NEW BEST:: SOT 39594 SOS 24497 HAS SOPS 24138 HAS SOUS 10381 HAS SOUPS 10022 WITH SCORE 10046.497
AT ITER 4909 NEW BEST:: SOT 39593 SOS 24496 HAS SOPS 24137 HAS SOUS 10380 HAS SOUPS 10021 WITH SCORE 10045.496
AT ITER 4940 NEW BEST:: SOT 39593 SOS 24496 HAS SOPS 24137 HAS SOUS 10376 HAS SOUPS 10017 WITH SCORE 10041.496
AT ITER 4961 NEW BEST:: SOT 39592 SOS 24494 HAS SOPS 24137 HAS SOUS 10374 HAS SOUPS 10017 WITH SCORE 10041.494
AT ITER 4967 NEW BEST:: SOT 39591 SOS 24493 HAS SOPS 24136 HAS SOUS 10372 HAS SOUPS 10015 WITH SCORE 10039.493
AT ITER 5105 NEW BEST:: SOT 39591 SOS 24492 HAS SOPS 24136 HAS SOUS 10371 HAS SOUPS 10015 WITH SCORE 10039.492
AT ITER 5112 NEW BEST:: SOT 39598 SOS 24483 HAS SOPS 24127 HAS SOUS 10319 HAS SOUPS 9963 WITH SCORE 9987.483
AT ITER 5151 NEW BEST:: SOT 39596 SOS 24476 HAS SOPS 24120 HAS SOUS 10315 HAS SOUPS 9959 WITH SCORE 9983.476
AT ITER 5152 NEW BEST:: SOT 39593 SOS 24515 HAS SOPS 24159 HAS SOUS 10306 HAS SOUPS 9950 WITH SCORE 9974.515
AT ITER 5155 NEW BEST:: SOT 39592 SOS 24519 HAS SOPS 24163 HAS SOUS 10305 HAS SOUPS 9949 WITH SCORE 9973.519
AT ITER 5157 NEW BEST:: SOT 39593 SOS 24519 HAS SOPS 24163 HAS SOUS 10302 HAS SOUPS 9946 WITH SCORE 9970.519
AT ITER 5173 NEW BEST:: SOT 39586 SOS 24503 HAS SOPS 24156 HAS SOUS 10279 HAS SOUPS 9932 WITH SCORE 9956.503
AT ITER 5176 NEW BEST:: SOT 39565 SOS 24489 HAS SOPS 24142 HAS SOUS 10265 HAS SOUPS 9918 WITH SCORE 9942.489
AT ITER 5219 NEW BEST:: SOT 39559 SOS 24487 HAS SOPS 24140 HAS SOUS 10254 HAS SOUPS 9907 WITH SCORE 9931.487
AT ITER 5256 NEW BEST:: SOT 39559 SOS 24487 HAS SOPS 24140 HAS SOUS 10250 HAS SOUPS 9903 WITH SCORE 9927.487
AT ITER 5298 NEW BEST:: SOT 39545 SOS 24473 HAS SOPS 24126 HAS SOUS 10222 HAS SOUPS 9875 WITH SCORE 9899.473
AT ITER 5405 NEW BEST:: SOT 39544 SOS 24477 HAS SOPS 24130 HAS SOUS 10210 HAS SOUPS 9863 WITH SCORE 9887.477
AT ITER 5417 NEW BEST:: SOT 39544 SOS 24477 HAS SOPS 24130 HAS SOUS 10206 HAS SOUPS 9859 WITH SCORE 9883.477
AT ITER 5444 NEW BEST:: SOT 39534 SOS 24467 HAS SOPS 24120 HAS SOUS 10186 HAS SOUPS 9839 WITH SCORE 9863.467
AT ITER 5449 NEW BEST:: SOT 39528 SOS 24453 HAS SOPS 24106 HAS SOUS 10178 HAS SOUPS 9831 WITH SCORE 9855.453
AT ITER 5459 NEW BEST:: SOT 39513 SOS 24443 HAS SOPS 24096 HAS SOUS 10163 HAS SOUPS 9816 WITH SCORE 9840.443
AT ITER 5470 NEW BEST:: SOT 39515 SOS 24442 HAS SOPS 24095 HAS SOUS 10162 HAS SOUPS 9815 WITH SCORE 9839.442
AT ITER 5474 NEW BEST:: SOT 39514 SOS 24441 HAS SOPS 24094 HAS SOUS 10159 HAS SOUPS 9812 WITH SCORE 9836.441
AT ITER 5494 NEW BEST:: SOT 39519 SOS 24469 HAS SOPS 24122 HAS SOUS 10148 HAS SOUPS 9801 WITH SCORE 9825.469
AT ITER 5507 NEW BEST:: SOT 39519 SOS 24469 HAS SOPS 24122 HAS SOUS 10126 HAS SOUPS 9779 WITH SCORE 9803.469
AT ITER 5517 NEW BEST:: SOT 39519 SOS 24462 HAS SOPS 24115 HAS SOUS 10126 HAS SOUPS 9779 WITH SCORE 9803.462
AT ITER 5524 NEW BEST:: SOT 39411 SOS 24369 HAS SOPS 24022 HAS SOUS 10125 HAS SOUPS 9778 WITH SCORE 9802.369
AT ITER 5564 NEW BEST:: SOT 39411 SOS 24345 HAS SOPS 23986 HAS SOUS 10119 HAS SOUPS 9760 WITH SCORE 9784.345
AT ITER 5596 NEW BEST:: SOT 39410 SOS 24335 HAS SOPS 23976 HAS SOUS 10110 HAS SOUPS 9751 WITH SCORE 9775.335
AT ITER 5609 NEW BEST:: SOT 39412 SOS 24336 HAS SOPS 23977 HAS SOUS 10107 HAS SOUPS 9748 WITH SCORE 9772.336
AT ITER 5672 NEW BEST:: SOT 39345 SOS 25095 HAS SOPS 24802 HAS SOUS 10037 HAS SOUPS 9744 WITH SCORE 9769.095
AT ITER 5734 NEW BEST:: SOT 39333 SOS 25083 HAS SOPS 24790 HAS SOUS 10016 HAS SOUPS 9723 WITH SCORE 9748.083
AT ITER 5774 NEW BEST:: SOT 39328 SOS 25078 HAS SOPS 24785 HAS SOUS 10006 HAS SOUPS 9713 WITH SCORE 9738.078
AT ITER 5812 NEW BEST:: SOT 39322 SOS 25074 HAS SOPS 24781 HAS SOUS 10002 HAS SOUPS 9709 WITH SCORE 9734.074
AT ITER 5945 NEW BEST:: SOT 39321 SOS 25069 HAS SOPS 24776 HAS SOUS 9999 HAS SOUPS 9706 WITH SCORE 9731.069
AT ITER 5965 NEW BEST:: SOT 39312 SOS 25063 HAS SOPS 24770 HAS SOUS 9996 HAS SOUPS 9703 WITH SCORE 9728.063
AT ITER 6000 NEW BEST:: SOT 39311 SOS 25065 HAS SOPS 24770 HAS SOUS 9995 HAS SOUPS 9700 WITH SCORE 9725.065
AT ITER 6090 NEW BEST:: SOT 39351 SOS 25099 HAS SOPS 24804 HAS SOUS 9989 HAS SOUPS 9694 WITH SCORE 9719.099
AT ITER 6099 NEW BEST:: SOT 39345 SOS 25096 HAS SOPS 24801 HAS SOUS 9986 HAS SOUPS 9691 WITH SCORE 9716.096
AT ITER 6104 NEW BEST:: SOT 39345 SOS 25095 HAS SOPS 24800 HAS SOUS 9980 HAS SOUPS 9685 WITH SCORE 9710.095
AT ITER 6159 NEW BEST:: SOT 39334 SOS 25091 HAS SOPS 24796 HAS SOUS 9979 HAS SOUPS 9684 WITH SCORE 9709.091
AT ITER 6203 NEW BEST:: SOT 39328 SOS 25086 HAS SOPS 24791 HAS SOUS 9978 HAS SOUPS 9683 WITH SCORE 9708.086
AT ITER 6207 NEW BEST:: SOT 39318 SOS 25072 HAS SOPS 24777 HAS SOUS 9976 HAS SOUPS 9681 WITH SCORE 9706.072
AT ITER 6298 NEW BEST:: SOT 39308 SOS 25067 HAS SOPS 24772 HAS SOUS 9976 HAS SOUPS 9681 WITH SCORE 9706.067
AT ITER 6368 NEW BEST:: SOT 39287 SOS 25046 HAS SOPS 24751 HAS SOUS 9934 HAS SOUPS 9639 WITH SCORE 9664.046
AT ITER 6379 NEW BEST:: SOT 39307 SOS 24670 HAS SOPS 24343 HAS SOUS 9953 HAS SOUPS 9626 WITH SCORE 9650.67
AT ITER 6389 NEW BEST:: SOT 39307 SOS 24670 HAS SOPS 24343 HAS SOUS 9935 HAS SOUPS 9608 WITH SCORE 9632.67
AT ITER 6414 NEW BEST:: SOT 39277 SOS 24646 HAS SOPS 24319 HAS SOUS 9931 HAS SOUPS 9604 WITH SCORE 9628.646
AT ITER 6452 NEW BEST:: SOT 39275 SOS 24644 HAS SOPS 24317 HAS SOUS 9927 HAS SOUPS 9600 WITH SCORE 9624.644
AT ITER 6515 NEW BEST:: SOT 39255 SOS 24624 HAS SOPS 24297 HAS SOUS 9907 HAS SOUPS 9580 WITH SCORE 9604.624
AT ITER 6526 NEW BEST:: SOT 39253 SOS 24622 HAS SOPS 24293 HAS SOUS 9903 HAS SOUPS 9574 WITH SCORE 9598.622
AT ITER 6542 NEW BEST:: SOT 39246 SOS 24606 HAS SOPS 24287 HAS SOUS 9893 HAS SOUPS 9574 WITH SCORE 9598.606
AT ITER 6647 NEW BEST:: SOT 39246 SOS 24595 HAS SOPS 24287 HAS SOUS 9882 HAS SOUPS 9574 WITH SCORE 9598.595
AT ITER 6677 NEW BEST:: SOT 39243 SOS 24586 HAS SOPS 24278 HAS SOUS 9876 HAS SOUPS 9568 WITH SCORE 9592.586
AT ITER 6682 NEW BEST:: SOT 39243 SOS 24586 HAS SOPS 24278 HAS SOUS 9866 HAS SOUPS 9558 WITH SCORE 9582.586
AT ITER 6714 NEW BEST:: SOT 39242 SOS 24585 HAS SOPS 24277 HAS SOUS 9865 HAS SOUPS 9557 WITH SCORE 9581.585
AT ITER 6798 NEW BEST:: SOT 39232 SOS 24575 HAS SOPS 24267 HAS SOUS 9845 HAS SOUPS 9537 WITH SCORE 9561.575
AT ITER 6887 NEW BEST:: SOT 39226 SOS 24557 HAS SOPS 24249 HAS SOUS 9839 HAS SOUPS 9531 WITH SCORE 9555.557
AT ITER 6945 NEW BEST:: SOT 39224 SOS 24555 HAS SOPS 24247 HAS SOUS 9837 HAS SOUPS 9529 WITH SCORE 9553.555
AT ITER 6993 NEW BEST:: SOT 39215 SOS 24578 HAS SOPS 24270 HAS SOUS 9829 HAS SOUPS 9521 WITH SCORE 9545.578
AT ITER 7029 NEW BEST:: SOT 39207 SOS 24570 HAS SOPS 24262 HAS SOUS 9813 HAS SOUPS 9505 WITH SCORE 9529.57
AT ITER 7162 NEW BEST:: SOT 39219 SOS 24576 HAS SOPS 24268 HAS SOUS 9800 HAS SOUPS 9492 WITH SCORE 9516.576
AT ITER 7260 NEW BEST:: SOT 39247 SOS 24513 HAS SOPS 24181 HAS SOUS 9824 HAS SOUPS 9492 WITH SCORE 9516.513
AT ITER 7292 NEW BEST:: SOT 39246 SOS 24512 HAS SOPS 24180 HAS SOUS 9823 HAS SOUPS 9491 WITH SCORE 9515.512
AT ITER 7447 NEW BEST:: SOT 39246 SOS 24512 HAS SOPS 24180 HAS SOUS 9821 HAS SOUPS 9489 WITH SCORE 9513.512
AT ITER 7481 NEW BEST:: SOT 39246 SOS 24488 HAS SOPS 24156 HAS SOUS 9821 HAS SOUPS 9489 WITH SCORE 9513.488
AT ITER 7487 NEW BEST:: SOT 39221 SOS 24463 HAS SOPS 24131 HAS SOUS 9796 HAS SOUPS 9464 WITH SCORE 9488.463
AT ITER 7523 NEW BEST:: SOT 39217 SOS 24459 HAS SOPS 24127 HAS SOUS 9788 HAS SOUPS 9456 WITH SCORE 9480.459
AT ITER 7544 NEW BEST:: SOT 39214 SOS 24441 HAS SOPS 24109 HAS SOUS 9782 HAS SOUPS 9450 WITH SCORE 9474.441
AT ITER 7554 NEW BEST:: SOT 39209 SOS 24436 HAS SOPS 24104 HAS SOUS 9772 HAS SOUPS 9440 WITH SCORE 9464.436
AT ITER 7636 NEW BEST:: SOT 39209 SOS 24436 HAS SOPS 24104 HAS SOUS 9770 HAS SOUPS 9438 WITH SCORE 9462.436
AT ITER 7640 NEW BEST:: SOT 39207 SOS 24434 HAS SOPS 24102 HAS SOUS 9768 HAS SOUPS 9436 WITH SCORE 9460.434
AT ITER 7663 NEW BEST:: SOT 39207 SOS 24406 HAS SOPS 24074 HAS SOUS 9768 HAS SOUPS 9436 WITH SCORE 9460.406
AT ITER 7732 NEW BEST:: SOT 39205 SOS 24409 HAS SOPS 24077 HAS SOUS 9764 HAS SOUPS 9432 WITH SCORE 9456.409
AT ITER 7745 NEW BEST:: SOT 39197 SOS 24401 HAS SOPS 24069 HAS SOUS 9756 HAS SOUPS 9424 WITH SCORE 9448.401
AT ITER 7801 NEW BEST:: SOT 39196 SOS 24416 HAS SOPS 24084 HAS SOUS 9753 HAS SOUPS 9421 WITH SCORE 9445.416
AT ITER 7807 NEW BEST:: SOT 39196 SOS 24410 HAS SOPS 24078 HAS SOUS 9753 HAS SOUPS 9421 WITH SCORE 9445.41
AT ITER 7840 NEW BEST:: SOT 39196 SOS 24408 HAS SOPS 24078 HAS SOUS 9751 HAS SOUPS 9421 WITH SCORE 9445.408
AT ITER 7877 NEW BEST:: SOT 39197 SOS 24405 HAS SOPS 24075 HAS SOUS 9751 HAS SOUPS 9421 WITH SCORE 9445.405
AT ITER 7888 NEW BEST:: SOT 39195 SOS 24403 HAS SOPS 24073 HAS SOUS 9749 HAS SOUPS 9419 WITH SCORE 9443.403
AT ITER 7917 NEW BEST:: SOT 39194 SOS 24402 HAS SOPS 24072 HAS SOUS 9747 HAS SOUPS 9417 WITH SCORE 9441.402
AT ITER 7929 NEW BEST:: SOT 39190 SOS 24398 HAS SOPS 24068 HAS SOUS 9739 HAS SOUPS 9409 WITH SCORE 9433.398
AT ITER 8022 NEW BEST:: SOT 39166 SOS 24374 HAS SOPS 24044 HAS SOUS 9691 HAS SOUPS 9361 WITH SCORE 9385.374
AT ITER 8034 NEW BEST:: SOT 39162 SOS 24400 HAS SOPS 24070 HAS SOUS 9685 HAS SOUPS 9355 WITH SCORE 9379.4
AT ITER 8043 NEW BEST:: SOT 39126 SOS 24476 HAS SOPS 24141 HAS SOUS 9674 HAS SOUPS 9339 WITH SCORE 9363.476
AT ITER 8077 NEW BEST:: SOT 39120 SOS 24470 HAS SOPS 24135 HAS SOUS 9663 HAS SOUPS 9328 WITH SCORE 9352.47
AT ITER 8107 NEW BEST:: SOT 39120 SOS 24466 HAS SOPS 24135 HAS SOUS 9659 HAS SOUPS 9328 WITH SCORE 9352.466
AT ITER 8127 NEW BEST:: SOT 39120 SOS 24461 HAS SOPS 24129 HAS SOUS 9657 HAS SOUPS 9325 WITH SCORE 9349.461
AT ITER 8336 NEW BEST:: SOT 39116 SOS 24499 HAS SOPS 24156 HAS SOUS 9656 HAS SOUPS 9313 WITH SCORE 9337.499
AT ITER 8574 NEW BEST:: SOT 39110 SOS 24497 HAS SOPS 24154 HAS SOUS 9656 HAS SOUPS 9313 WITH SCORE 9337.497
AT ITER 8610 NEW BEST:: SOT 39110 SOS 24496 HAS SOPS 24153 HAS SOUS 9656 HAS SOUPS 9313 WITH SCORE 9337.496
AT ITER 8659 NEW BEST:: SOT 39107 SOS 24493 HAS SOPS 24150 HAS SOUS 9650 HAS SOUPS 9307 WITH SCORE 9331.493
AT ITER 8707 NEW BEST:: SOT 39104 SOS 24492 HAS SOPS 24149 HAS SOUS 9649 HAS SOUPS 9306 WITH SCORE 9330.492
AT ITER 8790 NEW BEST:: SOT 39103 SOS 24491 HAS SOPS 24148 HAS SOUS 9647 HAS SOUPS 9304 WITH SCORE 9328.491
AT ITER 8870 NEW BEST:: SOT 39103 SOS 24490 HAS SOPS 24148 HAS SOUS 9646 HAS SOUPS 9304 WITH SCORE 9328.49
AT ITER 8948 NEW BEST:: SOT 39103 SOS 24490 HAS SOPS 24148 HAS SOUS 9644 HAS SOUPS 9302 WITH SCORE 9326.49
AT ITER 8985 NEW BEST:: SOT 39097 SOS 24539 HAS SOPS 24197 HAS SOUS 9643 HAS SOUPS 9301 WITH SCORE 9325.539
AT ITER 9005 NEW BEST:: SOT 39096 SOS 24538 HAS SOPS 24196 HAS SOUS 9641 HAS SOUPS 9299 WITH SCORE 9323.538
AT ITER 9019 NEW BEST:: SOT 39094 SOS 24536 HAS SOPS 24194 HAS SOUS 9639 HAS SOUPS 9297 WITH SCORE 9321.536
AT ITER 9118 NEW BEST:: SOT 39092 SOS 24534 HAS SOPS 24192 HAS SOUS 9639 HAS SOUPS 9297 WITH SCORE 9321.534
AT ITER 9282 NEW BEST:: SOT 39092 SOS 24522 HAS SOPS 24180 HAS SOUS 9639 HAS SOUPS 9297 WITH SCORE 9321.522
AT ITER 9379 NEW BEST:: SOT 39094 SOS 24524 HAS SOPS 24182 HAS SOUS 9637 HAS SOUPS 9295 WITH SCORE 9319.524
AT ITER 9483 NEW BEST:: SOT 39076 SOS 24506 HAS SOPS 24164 HAS SOUS 9601 HAS SOUPS 9259 WITH SCORE 9283.506
AT ITER 9490 NEW BEST:: SOT 39074 SOS 24503 HAS SOPS 24161 HAS SOUS 9594 HAS SOUPS 9252 WITH SCORE 9276.503
AT ITER 9651 NEW BEST:: SOT 39087 SOS 24478 HAS SOPS 24130 HAS SOUS 9591 HAS SOUPS 9243 WITH SCORE 9267.478
AT ITER 9706 NEW BEST:: SOT 39086 SOS 24471 HAS SOPS 24123 HAS SOUS 9588 HAS SOUPS 9240 WITH SCORE 9264.471
AT ITER 9726 NEW BEST:: SOT 39076 SOS 24461 HAS SOPS 24113 HAS SOUS 9578 HAS SOUPS 9230 WITH SCORE 9254.461
AT ITER 9810 NEW BEST:: SOT 39037 SOS 24435 HAS SOPS 24087 HAS SOUS 9553 HAS SOUPS 9205 WITH SCORE 9229.435
AT ITER 9883 NEW BEST:: SOT 39036 SOS 24436 HAS SOPS 24088 HAS SOUS 9550 HAS SOUPS 9202 WITH SCORE 9226.436
AT ITER 9912 NEW BEST:: SOT 39032 SOS 24458 HAS SOPS 24110 HAS SOUS 9538 HAS SOUPS 9190 WITH SCORE 9214.458
AT ITER 9925 NEW BEST:: SOT 39023 SOS 24449 HAS SOPS 24101 HAS SOUS 9522 HAS SOUPS 9174 WITH SCORE 9198.449
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 5689488 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16138204 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is 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 1"
echo " Run identifier is r067-smll-167814394300032"
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 ;