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.r491-tall-167912711200984.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 UtilityControlRoom-COL-Z2T3N10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711200984
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 7.9K Feb 26 14:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 14:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 14:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 14:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 17:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 17:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 14:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 14:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 14:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K Feb 26 14:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 29K Mar 5 18:23 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 1679307245212

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=UtilityControlRoom-COL-Z2T3N10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 10:14:07] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 10:14:07] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 10:14:07] [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-20 10:14:07] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-20 10:14:07] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 488 ms
[2023-03-20 10:14:07] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 174 PT places and 270.0 transition bindings in 21 ms.
[2023-03-20 10:14:07] [INFO ] Unfolded HLPN to a Petri net with 174 places and 270 transitions 850 arcs in 28 ms.
[2023-03-20 10:14:07] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-20 10:14:07] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 174 places, 270 transitions and 850 arcs took 8 ms.
Total runtime 642 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z2T3N10
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: 174 places, 270 transitions, 850 arcs.
AT ITER 0 NEW BEST:: SOT 38295 SOS 28159 HAS SOPS 28159 HAS SOUS 18760 HAS SOUPS 18760 WITH SCORE 18788.159
AT ITER 2 NEW BEST:: SOT 38275 SOS 28159 HAS SOPS 28159 HAS SOUS 18738 HAS SOUPS 18738 WITH SCORE 18766.159
AT ITER 3 NEW BEST:: SOT 38221 SOS 28032 HAS SOPS 28032 HAS SOUS 18717 HAS SOUPS 18717 WITH SCORE 18745.032
AT ITER 5 NEW BEST:: SOT 38195 SOS 28006 HAS SOPS 28006 HAS SOUS 18717 HAS SOUPS 18717 WITH SCORE 18745.006
AT ITER 6 NEW BEST:: SOT 38195 SOS 27964 HAS SOPS 27964 HAS SOUS 18717 HAS SOUPS 18717 WITH SCORE 18744.964
AT ITER 7 NEW BEST:: SOT 38135 SOS 27904 HAS SOPS 27904 HAS SOUS 18657 HAS SOUPS 18657 WITH SCORE 18684.904
AT ITER 8 NEW BEST:: SOT 38072 SOS 27778 HAS SOPS 27778 HAS SOUS 18549 HAS SOUPS 18549 WITH SCORE 18576.778
AT ITER 14 NEW BEST:: SOT 37849 SOS 27565 HAS SOPS 27565 HAS SOUS 18336 HAS SOUPS 18336 WITH SCORE 18363.565
AT ITER 15 NEW BEST:: SOT 37851 SOS 27613 HAS SOPS 27613 HAS SOUS 18330 HAS SOUPS 18330 WITH SCORE 18357.613
AT ITER 16 NEW BEST:: SOT 37817 SOS 27545 HAS SOPS 27545 HAS SOUS 18262 HAS SOUPS 18262 WITH SCORE 18289.545
AT ITER 17 NEW BEST:: SOT 37812 SOS 27477 HAS SOPS 27477 HAS SOUS 18182 HAS SOUPS 18182 WITH SCORE 18209.477
AT ITER 21 NEW BEST:: SOT 37782 SOS 27477 HAS SOPS 27477 HAS SOUS 18122 HAS SOUPS 18122 WITH SCORE 18149.477
AT ITER 22 NEW BEST:: SOT 37745 SOS 27440 HAS SOPS 27440 HAS SOUS 18085 HAS SOUPS 18085 WITH SCORE 18112.44
AT ITER 23 NEW BEST:: SOT 37746 SOS 27425 HAS SOPS 27425 HAS SOUS 18070 HAS SOUPS 18070 WITH SCORE 18097.425
AT ITER 24 NEW BEST:: SOT 37703 SOS 27339 HAS SOPS 27339 HAS SOUS 17925 HAS SOUPS 17925 WITH SCORE 17952.339
AT ITER 27 NEW BEST:: SOT 37631 SOS 27249 HAS SOPS 27249 HAS SOUS 17858 HAS SOUPS 17858 WITH SCORE 17885.249
AT ITER 30 NEW BEST:: SOT 37571 SOS 27153 HAS SOPS 27153 HAS SOUS 17726 HAS SOUPS 17726 WITH SCORE 17753.153
AT ITER 32 NEW BEST:: SOT 37425 SOS 26782 HAS SOPS 26782 HAS SOUS 17455 HAS SOUPS 17455 WITH SCORE 17481.782
AT ITER 33 NEW BEST:: SOT 37384 SOS 26658 HAS SOPS 26658 HAS SOUS 17321 HAS SOUPS 17321 WITH SCORE 17347.658
AT ITER 36 NEW BEST:: SOT 37376 SOS 26650 HAS SOPS 26650 HAS SOUS 17313 HAS SOUPS 17313 WITH SCORE 17339.65
AT ITER 40 NEW BEST:: SOT 37183 SOS 26457 HAS SOPS 26457 HAS SOUS 17120 HAS SOUPS 17120 WITH SCORE 17146.457
AT ITER 44 NEW BEST:: SOT 37048 SOS 26278 HAS SOPS 26278 HAS SOUS 16876 HAS SOUPS 16876 WITH SCORE 16902.278
AT ITER 45 NEW BEST:: SOT 37025 SOS 26152 HAS SOPS 26152 HAS SOUS 16755 HAS SOUPS 16755 WITH SCORE 16781.152
AT ITER 49 NEW BEST:: SOT 37025 SOS 26152 HAS SOPS 26152 HAS SOUS 16753 HAS SOUPS 16753 WITH SCORE 16779.152
AT ITER 52 NEW BEST:: SOT 36901 SOS 26067 HAS SOPS 26067 HAS SOUS 16502 HAS SOUPS 16502 WITH SCORE 16528.067
AT ITER 54 NEW BEST:: SOT 36861 SOS 25966 HAS SOPS 25966 HAS SOUS 16462 HAS SOUPS 16462 WITH SCORE 16487.966
AT ITER 56 NEW BEST:: SOT 36828 SOS 25949 HAS SOPS 25949 HAS SOUS 16440 HAS SOUPS 16440 WITH SCORE 16465.949
AT ITER 60 NEW BEST:: SOT 36828 SOS 25975 HAS SOPS 25975 HAS SOUS 16427 HAS SOUPS 16427 WITH SCORE 16452.975
AT ITER 61 NEW BEST:: SOT 36816 SOS 25964 HAS SOPS 25964 HAS SOUS 16426 HAS SOUPS 16426 WITH SCORE 16451.964
AT ITER 64 NEW BEST:: SOT 36822 SOS 25950 HAS SOPS 25950 HAS SOUS 16406 HAS SOUPS 16406 WITH SCORE 16431.95
AT ITER 65 NEW BEST:: SOT 36808 SOS 25962 HAS SOPS 25962 HAS SOUS 16378 HAS SOUPS 16378 WITH SCORE 16403.962
AT ITER 67 NEW BEST:: SOT 36906 SOS 26053 HAS SOPS 26053 HAS SOUS 16256 HAS SOUPS 16256 WITH SCORE 16282.053
AT ITER 68 NEW BEST:: SOT 36896 SOS 26107 HAS SOPS 26107 HAS SOUS 16206 HAS SOUPS 16206 WITH SCORE 16232.107
AT ITER 69 NEW BEST:: SOT 36896 SOS 26159 HAS SOPS 26159 HAS SOUS 16154 HAS SOUPS 16154 WITH SCORE 16180.159
AT ITER 73 NEW BEST:: SOT 36845 SOS 26057 HAS SOPS 26057 HAS SOUS 16052 HAS SOUPS 16052 WITH SCORE 16078.057
AT ITER 76 NEW BEST:: SOT 36812 SOS 24362 HAS SOPS 24362 HAS SOUS 15871 HAS SOUPS 15871 WITH SCORE 15895.362
AT ITER 78 NEW BEST:: SOT 36777 SOS 24172 HAS SOPS 24172 HAS SOUS 15734 HAS SOUPS 15734 WITH SCORE 15758.172
AT ITER 79 NEW BEST:: SOT 36752 SOS 24126 HAS SOPS 24126 HAS SOUS 15660 HAS SOUPS 15660 WITH SCORE 15684.126
AT ITER 80 NEW BEST:: SOT 36752 SOS 24120 HAS SOPS 24120 HAS SOUS 15651 HAS SOUPS 15651 WITH SCORE 15675.12
AT ITER 85 NEW BEST:: SOT 36594 SOS 24405 HAS SOPS 24405 HAS SOUS 15402 HAS SOUPS 15402 WITH SCORE 15426.405
AT ITER 88 NEW BEST:: SOT 36532 SOS 24235 HAS SOPS 24235 HAS SOUS 15311 HAS SOUPS 15311 WITH SCORE 15335.235
AT ITER 96 NEW BEST:: SOT 36499 SOS 22682 HAS SOPS 22682 HAS SOUS 14816 HAS SOUPS 14816 WITH SCORE 14838.682
AT ITER 98 NEW BEST:: SOT 36474 SOS 22605 HAS SOPS 22605 HAS SOUS 14813 HAS SOUPS 14813 WITH SCORE 14835.605
AT ITER 99 NEW BEST:: SOT 36474 SOS 22583 HAS SOPS 22583 HAS SOUS 14813 HAS SOUPS 14813 WITH SCORE 14835.583
AT ITER 108 NEW BEST:: SOT 36468 SOS 22577 HAS SOPS 22577 HAS SOUS 14807 HAS SOUPS 14807 WITH SCORE 14829.577
AT ITER 111 NEW BEST:: SOT 36465 SOS 22571 HAS SOPS 22571 HAS SOUS 14804 HAS SOUPS 14804 WITH SCORE 14826.571
AT ITER 112 NEW BEST:: SOT 36582 SOS 22555 HAS SOPS 22555 HAS SOUS 14776 HAS SOUPS 14776 WITH SCORE 14798.555
AT ITER 113 NEW BEST:: SOT 36556 SOS 22480 HAS SOPS 22480 HAS SOUS 14742 HAS SOUPS 14742 WITH SCORE 14764.48
AT ITER 114 NEW BEST:: SOT 36532 SOS 22359 HAS SOPS 22359 HAS SOUS 14665 HAS SOUPS 14665 WITH SCORE 14687.359
AT ITER 119 NEW BEST:: SOT 36397 SOS 22236 HAS SOPS 22236 HAS SOUS 14576 HAS SOUPS 14576 WITH SCORE 14598.236
AT ITER 131 NEW BEST:: SOT 36349 SOS 22172 HAS SOPS 22172 HAS SOUS 14570 HAS SOUPS 14570 WITH SCORE 14592.172
AT ITER 136 NEW BEST:: SOT 36345 SOS 22028 HAS SOPS 22028 HAS SOUS 14562 HAS SOUPS 14562 WITH SCORE 14584.028
AT ITER 137 NEW BEST:: SOT 36375 SOS 22088 HAS SOPS 22088 HAS SOUS 14555 HAS SOUPS 14555 WITH SCORE 14577.088
AT ITER 142 NEW BEST:: SOT 36365 SOS 22127 HAS SOPS 22127 HAS SOUS 14531 HAS SOUPS 14531 WITH SCORE 14553.127
AT ITER 146 NEW BEST:: SOT 36354 SOS 22057 HAS SOPS 22057 HAS SOUS 14506 HAS SOUPS 14506 WITH SCORE 14528.057
AT ITER 156 NEW BEST:: SOT 36372 SOS 22113 HAS SOPS 22113 HAS SOUS 14505 HAS SOUPS 14505 WITH SCORE 14527.113
AT ITER 158 NEW BEST:: SOT 36372 SOS 22093 HAS SOPS 22093 HAS SOUS 14445 HAS SOUPS 14445 WITH SCORE 14467.093
AT ITER 159 NEW BEST:: SOT 36273 SOS 21817 HAS SOPS 21817 HAS SOUS 14197 HAS SOUPS 14197 WITH SCORE 14218.817
AT ITER 162 NEW BEST:: SOT 36283 SOS 21776 HAS SOPS 21776 HAS SOUS 14162 HAS SOUPS 14162 WITH SCORE 14183.776
AT ITER 163 NEW BEST:: SOT 36245 SOS 21604 HAS SOPS 21604 HAS SOUS 14106 HAS SOUPS 14106 WITH SCORE 14127.604
AT ITER 168 NEW BEST:: SOT 36245 SOS 21604 HAS SOPS 21604 HAS SOUS 14104 HAS SOUPS 14104 WITH SCORE 14125.604
AT ITER 175 NEW BEST:: SOT 36125 SOS 21484 HAS SOPS 21484 HAS SOUS 14011 HAS SOUPS 14011 WITH SCORE 14032.484
AT ITER 179 NEW BEST:: SOT 32357 SOS 17909 HAS SOPS 17909 HAS SOUS 11774 HAS SOUPS 11774 WITH SCORE 11791.909
AT ITER 183 NEW BEST:: SOT 32294 SOS 17830 HAS SOPS 17830 HAS SOUS 11683 HAS SOUPS 11683 WITH SCORE 11700.83
AT ITER 184 NEW BEST:: SOT 32294 SOS 17830 HAS SOPS 17830 HAS SOUS 11678 HAS SOUPS 11678 WITH SCORE 11695.83
AT ITER 197 NEW BEST:: SOT 32329 SOS 17717 HAS SOPS 17717 HAS SOUS 11636 HAS SOUPS 11636 WITH SCORE 11653.717
AT ITER 198 NEW BEST:: SOT 32305 SOS 17693 HAS SOPS 17693 HAS SOUS 11628 HAS SOUPS 11628 WITH SCORE 11645.693
AT ITER 203 NEW BEST:: SOT 31766 SOS 17554 HAS SOPS 17554 HAS SOUS 11391 HAS SOUPS 11391 WITH SCORE 11408.554
AT ITER 214 NEW BEST:: SOT 31766 SOS 17524 HAS SOPS 17524 HAS SOUS 11391 HAS SOUPS 11391 WITH SCORE 11408.524
AT ITER 215 NEW BEST:: SOT 31754 SOS 17518 HAS SOPS 17518 HAS SOUS 11391 HAS SOUPS 11391 WITH SCORE 11408.518
AT ITER 217 NEW BEST:: SOT 31709 SOS 17486 HAS SOPS 17486 HAS SOUS 11373 HAS SOUPS 11373 WITH SCORE 11390.486
AT ITER 219 NEW BEST:: SOT 31480 SOS 17285 HAS SOPS 17285 HAS SOUS 11327 HAS SOUPS 11327 WITH SCORE 11344.285
AT ITER 221 NEW BEST:: SOT 31423 SOS 17177 HAS SOPS 17177 HAS SOUS 11296 HAS SOUPS 11296 WITH SCORE 11313.177
AT ITER 224 NEW BEST:: SOT 31394 SOS 17131 HAS SOPS 17131 HAS SOUS 11267 HAS SOUPS 11267 WITH SCORE 11284.131
AT ITER 225 NEW BEST:: SOT 31372 SOS 17109 HAS SOPS 17109 HAS SOUS 11211 HAS SOUPS 11211 WITH SCORE 11228.109
AT ITER 227 NEW BEST:: SOT 31361 SOS 17094 HAS SOPS 17094 HAS SOUS 11200 HAS SOUPS 11200 WITH SCORE 11217.094
AT ITER 229 NEW BEST:: SOT 31305 SOS 16992 HAS SOPS 16992 HAS SOUS 11121 HAS SOUPS 11121 WITH SCORE 11137.992
AT ITER 233 NEW BEST:: SOT 31277 SOS 16976 HAS SOPS 16976 HAS SOUS 11113 HAS SOUPS 11113 WITH SCORE 11129.976
AT ITER 234 NEW BEST:: SOT 31275 SOS 16964 HAS SOPS 16964 HAS SOUS 11109 HAS SOUPS 11109 WITH SCORE 11125.964
AT ITER 246 NEW BEST:: SOT 31224 SOS 16700 HAS SOPS 16700 HAS SOUS 10940 HAS SOUPS 10940 WITH SCORE 10956.7
AT ITER 249 NEW BEST:: SOT 31216 SOS 16776 HAS SOPS 16776 HAS SOUS 10923 HAS SOUPS 10923 WITH SCORE 10939.776
AT ITER 253 NEW BEST:: SOT 31236 SOS 16751 HAS SOPS 16751 HAS SOUS 10879 HAS SOUPS 10879 WITH SCORE 10895.751
AT ITER 254 NEW BEST:: SOT 31204 SOS 16549 HAS SOPS 16549 HAS SOUS 10840 HAS SOUPS 10840 WITH SCORE 10856.549
AT ITER 256 NEW BEST:: SOT 31177 SOS 16466 HAS SOPS 16466 HAS SOUS 10827 HAS SOUPS 10827 WITH SCORE 10843.466
AT ITER 257 NEW BEST:: SOT 31177 SOS 16462 HAS SOPS 16462 HAS SOUS 10810 HAS SOUPS 10810 WITH SCORE 10826.462
AT ITER 264 NEW BEST:: SOT 31150 SOS 16444 HAS SOPS 16444 HAS SOUS 10810 HAS SOUPS 10810 WITH SCORE 10826.444
AT ITER 266 NEW BEST:: SOT 31138 SOS 16462 HAS SOPS 16462 HAS SOUS 10786 HAS SOUPS 10786 WITH SCORE 10802.462
AT ITER 274 NEW BEST:: SOT 31070 SOS 16350 HAS SOPS 16350 HAS SOUS 10674 HAS SOUPS 10674 WITH SCORE 10690.35
AT ITER 276 NEW BEST:: SOT 31052 SOS 16332 HAS SOPS 16332 HAS SOUS 10648 HAS SOUPS 10648 WITH SCORE 10664.332
AT ITER 277 NEW BEST:: SOT 31041 SOS 16308 HAS SOPS 16308 HAS SOUS 10626 HAS SOUPS 10626 WITH SCORE 10642.308
AT ITER 280 NEW BEST:: SOT 30940 SOS 16260 HAS SOPS 16260 HAS SOUS 10619 HAS SOUPS 10619 WITH SCORE 10635.26
AT ITER 289 NEW BEST:: SOT 30945 SOS 16257 HAS SOPS 16257 HAS SOUS 10576 HAS SOUPS 10576 WITH SCORE 10592.257
AT ITER 299 NEW BEST:: SOT 30987 SOS 16225 HAS SOPS 16225 HAS SOUS 10513 HAS SOUPS 10513 WITH SCORE 10529.225
AT ITER 304 NEW BEST:: SOT 30979 SOS 16217 HAS SOPS 16217 HAS SOUS 10505 HAS SOUPS 10505 WITH SCORE 10521.217
AT ITER 307 NEW BEST:: SOT 30946 SOS 16255 HAS SOPS 16255 HAS SOUS 10475 HAS SOUPS 10475 WITH SCORE 10491.255
AT ITER 317 NEW BEST:: SOT 30941 SOS 16251 HAS SOPS 16251 HAS SOUS 10472 HAS SOUPS 10472 WITH SCORE 10488.251
AT ITER 320 NEW BEST:: SOT 30903 SOS 16194 HAS SOPS 16194 HAS SOUS 10427 HAS SOUPS 10427 WITH SCORE 10443.194
AT ITER 321 NEW BEST:: SOT 30893 SOS 16176 HAS SOPS 16176 HAS SOUS 10399 HAS SOUPS 10399 WITH SCORE 10415.176
AT ITER 324 NEW BEST:: SOT 30970 SOS 16184 HAS SOPS 16184 HAS SOUS 10357 HAS SOUPS 10357 WITH SCORE 10373.184
AT ITER 332 NEW BEST:: SOT 30978 SOS 16174 HAS SOPS 16174 HAS SOUS 10260 HAS SOUPS 10260 WITH SCORE 10276.174
AT ITER 334 NEW BEST:: SOT 30984 SOS 16166 HAS SOPS 16166 HAS SOUS 10244 HAS SOUPS 10244 WITH SCORE 10260.166
AT ITER 335 NEW BEST:: SOT 30984 SOS 16167 HAS SOPS 16167 HAS SOUS 10243 HAS SOUPS 10243 WITH SCORE 10259.167
AT ITER 339 NEW BEST:: SOT 30927 SOS 16133 HAS SOPS 16133 HAS SOUS 10207 HAS SOUPS 10207 WITH SCORE 10223.133
AT ITER 340 NEW BEST:: SOT 30927 SOS 16133 HAS SOPS 16133 HAS SOUS 10204 HAS SOUPS 10204 WITH SCORE 10220.133
AT ITER 348 NEW BEST:: SOT 30927 SOS 16133 HAS SOPS 16133 HAS SOUS 10194 HAS SOUPS 10194 WITH SCORE 10210.133
AT ITER 349 NEW BEST:: SOT 30898 SOS 16104 HAS SOPS 16104 HAS SOUS 10180 HAS SOUPS 10180 WITH SCORE 10196.104
AT ITER 355 NEW BEST:: SOT 30879 SOS 16066 HAS SOPS 16066 HAS SOUS 10161 HAS SOUPS 10161 WITH SCORE 10177.066
AT ITER 356 NEW BEST:: SOT 30861 SOS 16111 HAS SOPS 16111 HAS SOUS 10120 HAS SOUPS 10120 WITH SCORE 10136.111
AT ITER 363 NEW BEST:: SOT 30830 SOS 15953 HAS SOPS 15953 HAS SOUS 10070 HAS SOUPS 10070 WITH SCORE 10085.953
AT ITER 367 NEW BEST:: SOT 30730 SOS 15666 HAS SOPS 15666 HAS SOUS 9875 HAS SOUPS 9875 WITH SCORE 9890.666
AT ITER 384 NEW BEST:: SOT 30726 SOS 15638 HAS SOPS 15638 HAS SOUS 9821 HAS SOUPS 9821 WITH SCORE 9836.638
AT ITER 387 NEW BEST:: SOT 30676 SOS 15615 HAS SOPS 15615 HAS SOUS 9738 HAS SOUPS 9738 WITH SCORE 9753.615
AT ITER 390 NEW BEST:: SOT 30661 SOS 15608 HAS SOPS 15608 HAS SOUS 9700 HAS SOUPS 9700 WITH SCORE 9715.608
AT ITER 397 NEW BEST:: SOT 30653 SOS 15600 HAS SOPS 15600 HAS SOUS 9692 HAS SOUPS 9692 WITH SCORE 9707.6
AT ITER 408 NEW BEST:: SOT 30647 SOS 15574 HAS SOPS 15574 HAS SOUS 9665 HAS SOUPS 9665 WITH SCORE 9680.574
AT ITER 419 NEW BEST:: SOT 30689 SOS 15471 HAS SOPS 15471 HAS SOUS 9650 HAS SOUPS 9650 WITH SCORE 9665.471
AT ITER 420 NEW BEST:: SOT 30669 SOS 15451 HAS SOPS 15451 HAS SOUS 9615 HAS SOUPS 9615 WITH SCORE 9630.451
AT ITER 426 NEW BEST:: SOT 30669 SOS 15451 HAS SOPS 15451 HAS SOUS 9606 HAS SOUPS 9606 WITH SCORE 9621.451
AT ITER 427 NEW BEST:: SOT 30674 SOS 15432 HAS SOPS 15432 HAS SOUS 9585 HAS SOUPS 9585 WITH SCORE 9600.432
AT ITER 437 NEW BEST:: SOT 30678 SOS 15382 HAS SOPS 15382 HAS SOUS 9531 HAS SOUPS 9531 WITH SCORE 9546.382
AT ITER 443 NEW BEST:: SOT 30657 SOS 15340 HAS SOPS 15340 HAS SOUS 9510 HAS SOUPS 9510 WITH SCORE 9525.34
AT ITER 446 NEW BEST:: SOT 30642 SOS 15339 HAS SOPS 15339 HAS SOUS 9508 HAS SOUPS 9508 WITH SCORE 9523.339
AT ITER 450 NEW BEST:: SOT 30642 SOS 15335 HAS SOPS 15335 HAS SOUS 9499 HAS SOUPS 9499 WITH SCORE 9514.335
AT ITER 459 NEW BEST:: SOT 30619 SOS 15325 HAS SOPS 15325 HAS SOUS 9479 HAS SOUPS 9479 WITH SCORE 9494.325
AT ITER 460 NEW BEST:: SOT 30617 SOS 15335 HAS SOPS 15335 HAS SOUS 9465 HAS SOUPS 9465 WITH SCORE 9480.335
AT ITER 472 NEW BEST:: SOT 30609 SOS 15268 HAS SOPS 15268 HAS SOUS 9444 HAS SOUPS 9444 WITH SCORE 9459.268
AT ITER 474 NEW BEST:: SOT 30607 SOS 15305 HAS SOPS 15305 HAS SOUS 9442 HAS SOUPS 9442 WITH SCORE 9457.305
AT ITER 486 NEW BEST:: SOT 30647 SOS 15317 HAS SOPS 15317 HAS SOUS 9398 HAS SOUPS 9398 WITH SCORE 9413.317
AT ITER 488 NEW BEST:: SOT 30631 SOS 15305 HAS SOPS 15305 HAS SOUS 9386 HAS SOUPS 9386 WITH SCORE 9401.305
AT ITER 492 NEW BEST:: SOT 30611 SOS 15358 HAS SOPS 15358 HAS SOUS 9289 HAS SOUPS 9289 WITH SCORE 9304.358
AT ITER 510 NEW BEST:: SOT 30611 SOS 15346 HAS SOPS 15346 HAS SOUS 9289 HAS SOUPS 9289 WITH SCORE 9304.346
AT ITER 525 NEW BEST:: SOT 30544 SOS 15315 HAS SOPS 15315 HAS SOUS 9249 HAS SOUPS 9249 WITH SCORE 9264.315
AT ITER 529 NEW BEST:: SOT 30570 SOS 15289 HAS SOPS 15289 HAS SOUS 9249 HAS SOUPS 9249 WITH SCORE 9264.289
AT ITER 533 NEW BEST:: SOT 30575 SOS 15284 HAS SOPS 15284 HAS SOUS 9249 HAS SOUPS 9249 WITH SCORE 9264.284
AT ITER 536 NEW BEST:: SOT 30573 SOS 15286 HAS SOPS 15286 HAS SOUS 9243 HAS SOUPS 9243 WITH SCORE 9258.286
AT ITER 544 NEW BEST:: SOT 30546 SOS 15257 HAS SOPS 15257 HAS SOUS 9232 HAS SOUPS 9232 WITH SCORE 9247.257
AT ITER 548 NEW BEST:: SOT 30544 SOS 15255 HAS SOPS 15255 HAS SOUS 9224 HAS SOUPS 9224 WITH SCORE 9239.255
AT ITER 560 NEW BEST:: SOT 30531 SOS 15242 HAS SOPS 15242 HAS SOUS 9214 HAS SOUPS 9214 WITH SCORE 9229.242
AT ITER 589 NEW BEST:: SOT 30596 SOS 15161 HAS SOPS 15161 HAS SOUS 9206 HAS SOUPS 9206 WITH SCORE 9221.161
AT ITER 594 NEW BEST:: SOT 30602 SOS 15161 HAS SOPS 15161 HAS SOUS 9194 HAS SOUPS 9194 WITH SCORE 9209.161
AT ITER 599 NEW BEST:: SOT 30602 SOS 15160 HAS SOPS 15160 HAS SOUS 9194 HAS SOUPS 9194 WITH SCORE 9209.16
AT ITER 600 NEW BEST:: SOT 30610 SOS 15080 HAS SOPS 15080 HAS SOUS 9167 HAS SOUPS 9167 WITH SCORE 9182.08
AT ITER 618 NEW BEST:: SOT 30645 SOS 15176 HAS SOPS 15176 HAS SOUS 9153 HAS SOUPS 9153 WITH SCORE 9168.176
AT ITER 651 NEW BEST:: SOT 30633 SOS 15170 HAS SOPS 15170 HAS SOUS 9147 HAS SOUPS 9147 WITH SCORE 9162.17
AT ITER 654 NEW BEST:: SOT 30541 SOS 15096 HAS SOPS 15096 HAS SOUS 9084 HAS SOUPS 9084 WITH SCORE 9099.096
AT ITER 687 NEW BEST:: SOT 30557 SOS 15092 HAS SOPS 15092 HAS SOUS 9080 HAS SOUPS 9080 WITH SCORE 9095.092
AT ITER 694 NEW BEST:: SOT 30505 SOS 15053 HAS SOPS 15053 HAS SOUS 9041 HAS SOUPS 9041 WITH SCORE 9056.053
AT ITER 704 NEW BEST:: SOT 30481 SOS 15035 HAS SOPS 15035 HAS SOUS 8996 HAS SOUPS 8996 WITH SCORE 9011.035
AT ITER 706 NEW BEST:: SOT 30479 SOS 15033 HAS SOPS 15033 HAS SOUS 8990 HAS SOUPS 8990 WITH SCORE 9005.033
AT ITER 711 NEW BEST:: SOT 30485 SOS 15036 HAS SOPS 15036 HAS SOUS 8987 HAS SOUPS 8987 WITH SCORE 9002.036
AT ITER 714 NEW BEST:: SOT 30485 SOS 15036 HAS SOPS 15036 HAS SOUS 8981 HAS SOUPS 8981 WITH SCORE 8996.036
AT ITER 720 NEW BEST:: SOT 30515 SOS 15004 HAS SOPS 15004 HAS SOUS 8980 HAS SOUPS 8980 WITH SCORE 8995.004
AT ITER 729 NEW BEST:: SOT 30493 SOS 14974 HAS SOPS 14974 HAS SOUS 8937 HAS SOUPS 8937 WITH SCORE 8951.974
AT ITER 731 NEW BEST:: SOT 30590 SOS 15009 HAS SOPS 15009 HAS SOUS 8933 HAS SOUPS 8933 WITH SCORE 8948.009
AT ITER 736 NEW BEST:: SOT 30602 SOS 14999 HAS SOPS 14999 HAS SOUS 8922 HAS SOUPS 8922 WITH SCORE 8936.999
AT ITER 737 NEW BEST:: SOT 30602 SOS 14991 HAS SOPS 14991 HAS SOUS 8922 HAS SOUPS 8922 WITH SCORE 8936.991
AT ITER 743 NEW BEST:: SOT 30557 SOS 14961 HAS SOPS 14961 HAS SOUS 8919 HAS SOUPS 8919 WITH SCORE 8933.961
AT ITER 755 NEW BEST:: SOT 30477 SOS 14854 HAS SOPS 14854 HAS SOUS 8862 HAS SOUPS 8862 WITH SCORE 8876.854
AT ITER 765 NEW BEST:: SOT 30470 SOS 14847 HAS SOPS 14847 HAS SOUS 8845 HAS SOUPS 8845 WITH SCORE 8859.847
AT ITER 766 NEW BEST:: SOT 30460 SOS 14837 HAS SOPS 14837 HAS SOUS 8837 HAS SOUPS 8837 WITH SCORE 8851.837
AT ITER 773 NEW BEST:: SOT 30456 SOS 14840 HAS SOPS 14840 HAS SOUS 8827 HAS SOUPS 8827 WITH SCORE 8841.84
AT ITER 774 NEW BEST:: SOT 30473 SOS 14857 HAS SOPS 14857 HAS SOUS 8820 HAS SOUPS 8820 WITH SCORE 8834.857
AT ITER 776 NEW BEST:: SOT 30462 SOS 14846 HAS SOPS 14846 HAS SOUS 8809 HAS SOUPS 8809 WITH SCORE 8823.846
AT ITER 779 NEW BEST:: SOT 30459 SOS 14852 HAS SOPS 14852 HAS SOUS 8806 HAS SOUPS 8806 WITH SCORE 8820.852
AT ITER 783 NEW BEST:: SOT 30459 SOS 14852 HAS SOPS 14852 HAS SOUS 8800 HAS SOUPS 8800 WITH SCORE 8814.852
AT ITER 797 NEW BEST:: SOT 30462 SOS 14849 HAS SOPS 14849 HAS SOUS 8800 HAS SOUPS 8800 WITH SCORE 8814.849
AT ITER 802 NEW BEST:: SOT 30441 SOS 14774 HAS SOPS 14774 HAS SOUS 8797 HAS SOUPS 8797 WITH SCORE 8811.774
AT ITER 806 NEW BEST:: SOT 30430 SOS 14763 HAS SOPS 14763 HAS SOUS 8786 HAS SOUPS 8786 WITH SCORE 8800.763
AT ITER 811 NEW BEST:: SOT 30415 SOS 14781 HAS SOPS 14781 HAS SOUS 8772 HAS SOUPS 8772 WITH SCORE 8786.781
AT ITER 812 NEW BEST:: SOT 30417 SOS 14769 HAS SOPS 14769 HAS SOUS 8767 HAS SOUPS 8767 WITH SCORE 8781.769
AT ITER 815 NEW BEST:: SOT 30452 SOS 14800 HAS SOPS 14800 HAS SOUS 8766 HAS SOUPS 8766 WITH SCORE 8780.8
AT ITER 824 NEW BEST:: SOT 30454 SOS 14810 HAS SOPS 14810 HAS SOUS 8764 HAS SOUPS 8764 WITH SCORE 8778.81
AT ITER 827 NEW BEST:: SOT 30449 SOS 14805 HAS SOPS 14805 HAS SOUS 8764 HAS SOUPS 8764 WITH SCORE 8778.805
AT ITER 831 NEW BEST:: SOT 30494 SOS 14830 HAS SOPS 14830 HAS SOUS 8749 HAS SOUPS 8749 WITH SCORE 8763.83
AT ITER 839 NEW BEST:: SOT 30489 SOS 14804 HAS SOPS 14804 HAS SOUS 8731 HAS SOUPS 8731 WITH SCORE 8745.804
AT ITER 846 NEW BEST:: SOT 30339 SOS 14654 HAS SOPS 14654 HAS SOUS 8634 HAS SOUPS 8634 WITH SCORE 8648.654
AT ITER 852 NEW BEST:: SOT 30295 SOS 14552 HAS SOPS 14552 HAS SOUS 8613 HAS SOUPS 8613 WITH SCORE 8627.552
AT ITER 864 NEW BEST:: SOT 30295 SOS 14516 HAS SOPS 14516 HAS SOUS 8587 HAS SOUPS 8587 WITH SCORE 8601.516
AT ITER 875 NEW BEST:: SOT 30340 SOS 14513 HAS SOPS 14513 HAS SOUS 8572 HAS SOUPS 8572 WITH SCORE 8586.513
AT ITER 900 NEW BEST:: SOT 30339 SOS 14511 HAS SOPS 14511 HAS SOUS 8570 HAS SOUPS 8570 WITH SCORE 8584.511
AT ITER 910 NEW BEST:: SOT 30324 SOS 14514 HAS SOPS 14514 HAS SOUS 8540 HAS SOUPS 8540 WITH SCORE 8554.514
AT ITER 911 NEW BEST:: SOT 30260 SOS 14346 HAS SOPS 14346 HAS SOUS 8474 HAS SOUPS 8474 WITH SCORE 8488.346
AT ITER 940 NEW BEST:: SOT 30224 SOS 14355 HAS SOPS 14355 HAS SOUS 8468 HAS SOUPS 8468 WITH SCORE 8482.355
AT ITER 943 NEW BEST:: SOT 30220 SOS 14343 HAS SOPS 14343 HAS SOUS 8460 HAS SOUPS 8460 WITH SCORE 8474.343
AT ITER 949 NEW BEST:: SOT 30212 SOS 14319 HAS SOPS 14319 HAS SOUS 8444 HAS SOUPS 8444 WITH SCORE 8458.319
AT ITER 951 NEW BEST:: SOT 30206 SOS 14310 HAS SOPS 14310 HAS SOUS 8432 HAS SOUPS 8432 WITH SCORE 8446.31
AT ITER 958 NEW BEST:: SOT 30200 SOS 14292 HAS SOPS 14292 HAS SOUS 8420 HAS SOUPS 8420 WITH SCORE 8434.292
AT ITER 959 NEW BEST:: SOT 30186 SOS 14278 HAS SOPS 14278 HAS SOUS 8410 HAS SOUPS 8410 WITH SCORE 8424.278
AT ITER 975 NEW BEST:: SOT 30186 SOS 14278 HAS SOPS 14278 HAS SOUS 8401 HAS SOUPS 8401 WITH SCORE 8415.278
AT ITER 979 NEW BEST:: SOT 30172 SOS 14264 HAS SOPS 14264 HAS SOUS 8387 HAS SOUPS 8387 WITH SCORE 8401.264
AT ITER 989 NEW BEST:: SOT 30163 SOS 14255 HAS SOPS 14255 HAS SOUS 8381 HAS SOUPS 8381 WITH SCORE 8395.255
AT ITER 995 NEW BEST:: SOT 30154 SOS 14228 HAS SOPS 14228 HAS SOUS 8363 HAS SOUPS 8363 WITH SCORE 8377.228
AT ITER 1009 NEW BEST:: SOT 30133 SOS 14207 HAS SOPS 14207 HAS SOUS 8354 HAS SOUPS 8354 WITH SCORE 8368.207
AT ITER 1015 NEW BEST:: SOT 30141 SOS 14217 HAS SOPS 14217 HAS SOUS 8320 HAS SOUPS 8320 WITH SCORE 8334.217
AT ITER 1017 NEW BEST:: SOT 30098 SOS 14166 HAS SOPS 14166 HAS SOUS 8224 HAS SOUPS 8224 WITH SCORE 8238.166
AT ITER 1018 NEW BEST:: SOT 30089 SOS 14143 HAS SOPS 14143 HAS SOUS 8203 HAS SOUPS 8203 WITH SCORE 8217.143
AT ITER 1023 NEW BEST:: SOT 30065 SOS 14119 HAS SOPS 14119 HAS SOUS 8179 HAS SOUPS 8179 WITH SCORE 8193.119
AT ITER 1037 NEW BEST:: SOT 30039 SOS 14084 HAS SOPS 14084 HAS SOUS 8126 HAS SOUPS 8126 WITH SCORE 8140.084
AT ITER 1038 NEW BEST:: SOT 30008 SOS 14078 HAS SOPS 14078 HAS SOUS 8095 HAS SOUPS 8095 WITH SCORE 8109.078
AT ITER 1039 NEW BEST:: SOT 30000 SOS 14066 HAS SOPS 14066 HAS SOUS 8080 HAS SOUPS 8080 WITH SCORE 8094.066
AT ITER 1048 NEW BEST:: SOT 29986 SOS 14151 HAS SOPS 14151 HAS SOUS 8066 HAS SOUPS 8066 WITH SCORE 8080.151
AT ITER 1053 NEW BEST:: SOT 29899 SOS 14093 HAS SOPS 14093 HAS SOUS 8050 HAS SOUPS 8050 WITH SCORE 8064.093
AT ITER 1071 NEW BEST:: SOT 29881 SOS 14075 HAS SOPS 14075 HAS SOUS 8027 HAS SOUPS 8027 WITH SCORE 8041.075
AT ITER 1074 NEW BEST:: SOT 29879 SOS 14073 HAS SOPS 14073 HAS SOUS 8021 HAS SOUPS 8021 WITH SCORE 8035.073
AT ITER 1078 NEW BEST:: SOT 29871 SOS 14063 HAS SOPS 14063 HAS SOUS 8012 HAS SOUPS 8012 WITH SCORE 8026.063
AT ITER 1082 NEW BEST:: SOT 29870 SOS 14070 HAS SOPS 14070 HAS SOUS 8011 HAS SOUPS 8011 WITH SCORE 8025.07
AT ITER 1091 NEW BEST:: SOT 29872 SOS 14072 HAS SOPS 14072 HAS SOUS 8009 HAS SOUPS 8009 WITH SCORE 8023.072
AT ITER 1098 NEW BEST:: SOT 29871 SOS 14071 HAS SOPS 14071 HAS SOUS 8008 HAS SOUPS 8008 WITH SCORE 8022.071
AT ITER 1105 NEW BEST:: SOT 29849 SOS 14011 HAS SOPS 14011 HAS SOUS 8008 HAS SOUPS 8008 WITH SCORE 8022.011
AT ITER 1108 NEW BEST:: SOT 29835 SOS 13983 HAS SOPS 13983 HAS SOUS 7994 HAS SOUPS 7994 WITH SCORE 8007.983
AT ITER 1118 NEW BEST:: SOT 29856 SOS 13933 HAS SOPS 13933 HAS SOUS 7973 HAS SOUPS 7973 WITH SCORE 7986.933
AT ITER 1124 NEW BEST:: SOT 29808 SOS 13885 HAS SOPS 13885 HAS SOUS 7957 HAS SOUPS 7957 WITH SCORE 7970.885
AT ITER 1132 NEW BEST:: SOT 29808 SOS 13847 HAS SOPS 13847 HAS SOUS 7934 HAS SOUPS 7934 WITH SCORE 7947.847
AT ITER 1136 NEW BEST:: SOT 29858 SOS 13853 HAS SOPS 13853 HAS SOUS 7930 HAS SOUPS 7930 WITH SCORE 7943.853
AT ITER 1150 NEW BEST:: SOT 29854 SOS 13841 HAS SOPS 13841 HAS SOUS 7918 HAS SOUPS 7918 WITH SCORE 7931.841
AT ITER 1153 NEW BEST:: SOT 29854 SOS 13831 HAS SOPS 13831 HAS SOUS 7918 HAS SOUPS 7918 WITH SCORE 7931.831
AT ITER 1165 NEW BEST:: SOT 29842 SOS 13825 HAS SOPS 13825 HAS SOUS 7912 HAS SOUPS 7912 WITH SCORE 7925.825
AT ITER 1173 NEW BEST:: SOT 29819 SOS 13798 HAS SOPS 13798 HAS SOUS 7881 HAS SOUPS 7881 WITH SCORE 7894.798
AT ITER 1176 NEW BEST:: SOT 29819 SOS 13796 HAS SOPS 13796 HAS SOUS 7879 HAS SOUPS 7879 WITH SCORE 7892.796
AT ITER 1182 NEW BEST:: SOT 29736 SOS 13732 HAS SOPS 13732 HAS SOUS 7871 HAS SOUPS 7871 WITH SCORE 7884.732
AT ITER 1194 NEW BEST:: SOT 29739 SOS 13715 HAS SOPS 13715 HAS SOUS 7857 HAS SOUPS 7857 WITH SCORE 7870.715
AT ITER 1210 NEW BEST:: SOT 29753 SOS 13713 HAS SOPS 13713 HAS SOUS 7855 HAS SOUPS 7855 WITH SCORE 7868.713
AT ITER 1211 NEW BEST:: SOT 29711 SOS 13629 HAS SOPS 13629 HAS SOUS 7820 HAS SOUPS 7820 WITH SCORE 7833.629
AT ITER 1216 NEW BEST:: SOT 29702 SOS 13611 HAS SOPS 13611 HAS SOUS 7800 HAS SOUPS 7800 WITH SCORE 7813.611
AT ITER 1219 NEW BEST:: SOT 29696 SOS 13587 HAS SOPS 13587 HAS SOUS 7758 HAS SOUPS 7758 WITH SCORE 7771.587
AT ITER 1252 NEW BEST:: SOT 29774 SOS 13637 HAS SOPS 13637 HAS SOUS 7752 HAS SOUPS 7752 WITH SCORE 7765.637
AT ITER 1257 NEW BEST:: SOT 29722 SOS 13593 HAS SOPS 13593 HAS SOUS 7682 HAS SOUPS 7682 WITH SCORE 7695.593
AT ITER 1273 NEW BEST:: SOT 29761 SOS 13597 HAS SOPS 13597 HAS SOUS 7653 HAS SOUPS 7653 WITH SCORE 7666.597
AT ITER 1278 NEW BEST:: SOT 29760 SOS 13595 HAS SOPS 13595 HAS SOUS 7649 HAS SOUPS 7649 WITH SCORE 7662.595
AT ITER 1282 NEW BEST:: SOT 29756 SOS 13587 HAS SOPS 13587 HAS SOUS 7631 HAS SOUPS 7631 WITH SCORE 7644.587
AT ITER 1298 NEW BEST:: SOT 29736 SOS 13533 HAS SOPS 13533 HAS SOUS 7621 HAS SOUPS 7621 WITH SCORE 7634.533
AT ITER 1310 NEW BEST:: SOT 29699 SOS 13505 HAS SOPS 13505 HAS SOUS 7562 HAS SOUPS 7562 WITH SCORE 7575.505
AT ITER 1329 NEW BEST:: SOT 29699 SOS 13485 HAS SOPS 13485 HAS SOUS 7559 HAS SOUPS 7559 WITH SCORE 7572.485
AT ITER 1334 NEW BEST:: SOT 29671 SOS 13465 HAS SOPS 13465 HAS SOUS 7556 HAS SOUPS 7556 WITH SCORE 7569.465
AT ITER 1340 NEW BEST:: SOT 29671 SOS 13465 HAS SOPS 13465 HAS SOUS 7548 HAS SOUPS 7548 WITH SCORE 7561.465
AT ITER 1341 NEW BEST:: SOT 29668 SOS 13427 HAS SOPS 13427 HAS SOUS 7511 HAS SOUPS 7511 WITH SCORE 7524.427
AT ITER 1362 NEW BEST:: SOT 29669 SOS 13398 HAS SOPS 13398 HAS SOUS 7500 HAS SOUPS 7500 WITH SCORE 7513.398
AT ITER 1384 NEW BEST:: SOT 29669 SOS 13391 HAS SOPS 13391 HAS SOUS 7493 HAS SOUPS 7493 WITH SCORE 7506.391
AT ITER 1389 NEW BEST:: SOT 29669 SOS 13386 HAS SOPS 13386 HAS SOUS 7483 HAS SOUPS 7483 WITH SCORE 7496.386
AT ITER 1414 NEW BEST:: SOT 29669 SOS 13382 HAS SOPS 13382 HAS SOUS 7483 HAS SOUPS 7483 WITH SCORE 7496.382
AT ITER 1420 NEW BEST:: SOT 29673 SOS 13105 HAS SOPS 13105 HAS SOUS 7470 HAS SOUPS 7470 WITH SCORE 7483.105
AT ITER 1434 NEW BEST:: SOT 29671 SOS 13123 HAS SOPS 13123 HAS SOUS 7466 HAS SOUPS 7466 WITH SCORE 7479.123
AT ITER 1441 NEW BEST:: SOT 29669 SOS 13127 HAS SOPS 13127 HAS SOUS 7464 HAS SOUPS 7464 WITH SCORE 7477.127
AT ITER 1451 NEW BEST:: SOT 29620 SOS 13051 HAS SOPS 13051 HAS SOUS 7404 HAS SOUPS 7404 WITH SCORE 7417.051
AT ITER 1457 NEW BEST:: SOT 29596 SOS 13065 HAS SOPS 13065 HAS SOUS 7401 HAS SOUPS 7401 WITH SCORE 7414.065
AT ITER 1461 NEW BEST:: SOT 29593 SOS 13065 HAS SOPS 13065 HAS SOUS 7398 HAS SOUPS 7398 WITH SCORE 7411.065
AT ITER 1483 NEW BEST:: SOT 29615 SOS 13037 HAS SOPS 13037 HAS SOUS 7375 HAS SOUPS 7375 WITH SCORE 7388.037
AT ITER 1502 NEW BEST:: SOT 29609 SOS 12942 HAS SOPS 12942 HAS SOUS 7268 HAS SOUPS 7268 WITH SCORE 7280.942
AT ITER 1506 NEW BEST:: SOT 29583 SOS 12915 HAS SOPS 12915 HAS SOUS 7216 HAS SOUPS 7216 WITH SCORE 7228.915
AT ITER 1526 NEW BEST:: SOT 29587 SOS 12905 HAS SOPS 12905 HAS SOUS 7206 HAS SOUPS 7206 WITH SCORE 7218.905
AT ITER 1530 NEW BEST:: SOT 29549 SOS 12909 HAS SOPS 12909 HAS SOUS 7157 HAS SOUPS 7157 WITH SCORE 7169.909
AT ITER 1547 NEW BEST:: SOT 29432 SOS 13253 HAS SOPS 13253 HAS SOUS 7141 HAS SOUPS 7141 WITH SCORE 7154.253
AT ITER 1548 NEW BEST:: SOT 29440 SOS 13253 HAS SOPS 13253 HAS SOUS 7131 HAS SOUPS 7131 WITH SCORE 7144.253
AT ITER 1580 NEW BEST:: SOT 29428 SOS 13229 HAS SOPS 13229 HAS SOUS 7107 HAS SOUPS 7107 WITH SCORE 7120.229
AT ITER 1584 NEW BEST:: SOT 29415 SOS 13203 HAS SOPS 13203 HAS SOUS 7088 HAS SOUPS 7088 WITH SCORE 7101.203
AT ITER 1586 NEW BEST:: SOT 29409 SOS 13183 HAS SOPS 13183 HAS SOUS 7082 HAS SOUPS 7082 WITH SCORE 7095.183
AT ITER 1591 NEW BEST:: SOT 29407 SOS 13179 HAS SOPS 13179 HAS SOUS 7079 HAS SOUPS 7079 WITH SCORE 7092.179
AT ITER 1622 NEW BEST:: SOT 29409 SOS 13163 HAS SOPS 13163 HAS SOUS 7075 HAS SOUPS 7075 WITH SCORE 7088.163
AT ITER 1634 NEW BEST:: SOT 29409 SOS 13123 HAS SOPS 13123 HAS SOUS 7075 HAS SOUPS 7075 WITH SCORE 7088.123
AT ITER 1640 NEW BEST:: SOT 29401 SOS 13119 HAS SOPS 13119 HAS SOUS 7075 HAS SOUPS 7075 WITH SCORE 7088.119
AT ITER 1643 NEW BEST:: SOT 29431 SOS 13147 HAS SOPS 13147 HAS SOUS 7066 HAS SOUPS 7066 WITH SCORE 7079.147
AT ITER 1670 NEW BEST:: SOT 29455 SOS 13144 HAS SOPS 13144 HAS SOUS 7063 HAS SOUPS 7063 WITH SCORE 7076.144
AT ITER 1698 NEW BEST:: SOT 29501 SOS 12981 HAS SOPS 12981 HAS SOUS 7042 HAS SOUPS 7042 WITH SCORE 7054.981
AT ITER 1707 NEW BEST:: SOT 29508 SOS 12945 HAS SOPS 12945 HAS SOUS 7033 HAS SOUPS 7033 WITH SCORE 7045.945
AT ITER 1718 NEW BEST:: SOT 29515 SOS 12943 HAS SOPS 12943 HAS SOUS 7032 HAS SOUPS 7032 WITH SCORE 7044.943
AT ITER 1722 NEW BEST:: SOT 29505 SOS 12897 HAS SOPS 12897 HAS SOUS 7020 HAS SOUPS 7020 WITH SCORE 7032.897
AT ITER 1727 NEW BEST:: SOT 29492 SOS 12849 HAS SOPS 12849 HAS SOUS 6985 HAS SOUPS 6985 WITH SCORE 6997.849
AT ITER 1730 NEW BEST:: SOT 29446 SOS 12802 HAS SOPS 12802 HAS SOUS 6959 HAS SOUPS 6959 WITH SCORE 6971.802
AT ITER 1741 NEW BEST:: SOT 29444 SOS 12775 HAS SOPS 12775 HAS SOUS 6952 HAS SOUPS 6952 WITH SCORE 6964.775
AT ITER 1770 NEW BEST:: SOT 29444 SOS 12767 HAS SOPS 12767 HAS SOUS 6944 HAS SOUPS 6944 WITH SCORE 6956.767
AT ITER 1773 NEW BEST:: SOT 29442 SOS 12763 HAS SOPS 12763 HAS SOUS 6938 HAS SOUPS 6938 WITH SCORE 6950.763
AT ITER 1790 NEW BEST:: SOT 29439 SOS 12751 HAS SOPS 12751 HAS SOUS 6932 HAS SOUPS 6932 WITH SCORE 6944.751
AT ITER 1796 NEW BEST:: SOT 29457 SOS 12751 HAS SOPS 12751 HAS SOUS 6909 HAS SOUPS 6909 WITH SCORE 6921.751
AT ITER 1819 NEW BEST:: SOT 29457 SOS 12743 HAS SOPS 12743 HAS SOUS 6893 HAS SOUPS 6893 WITH SCORE 6905.743
AT ITER 1821 NEW BEST:: SOT 29470 SOS 12699 HAS SOPS 12699 HAS SOUS 6881 HAS SOUPS 6881 WITH SCORE 6893.699
AT ITER 1827 NEW BEST:: SOT 29455 SOS 12654 HAS SOPS 12654 HAS SOUS 6879 HAS SOUPS 6879 WITH SCORE 6891.654
AT ITER 1832 NEW BEST:: SOT 29414 SOS 12583 HAS SOPS 12583 HAS SOUS 6771 HAS SOUPS 6771 WITH SCORE 6783.583
AT ITER 1865 NEW BEST:: SOT 29415 SOS 12573 HAS SOPS 12573 HAS SOUS 6769 HAS SOUPS 6769 WITH SCORE 6781.573
AT ITER 1868 NEW BEST:: SOT 29415 SOS 12569 HAS SOPS 12569 HAS SOUS 6765 HAS SOUPS 6765 WITH SCORE 6777.569
AT ITER 1877 NEW BEST:: SOT 29400 SOS 12539 HAS SOPS 12539 HAS SOUS 6745 HAS SOUPS 6745 WITH SCORE 6757.539
AT ITER 1901 NEW BEST:: SOT 29397 SOS 12539 HAS SOPS 12539 HAS SOUS 6742 HAS SOUPS 6742 WITH SCORE 6754.539
AT ITER 1924 NEW BEST:: SOT 29458 SOS 12641 HAS SOPS 12641 HAS SOUS 6737 HAS SOUPS 6737 WITH SCORE 6749.641
AT ITER 1951 NEW BEST:: SOT 29458 SOS 12640 HAS SOPS 12640 HAS SOUS 6736 HAS SOUPS 6736 WITH SCORE 6748.64
AT ITER 1953 NEW BEST:: SOT 29457 SOS 12638 HAS SOPS 12638 HAS SOUS 6735 HAS SOUPS 6735 WITH SCORE 6747.638
AT ITER 1968 NEW BEST:: SOT 29435 SOS 12616 HAS SOPS 12616 HAS SOUS 6704 HAS SOUPS 6704 WITH SCORE 6716.616
AT ITER 1974 NEW BEST:: SOT 29428 SOS 12586 HAS SOPS 12586 HAS SOUS 6704 HAS SOUPS 6704 WITH SCORE 6716.586
AT ITER 2009 NEW BEST:: SOT 29416 SOS 12580 HAS SOPS 12580 HAS SOUS 6698 HAS SOUPS 6698 WITH SCORE 6710.58
AT ITER 2025 NEW BEST:: SOT 29413 SOS 12560 HAS SOPS 12560 HAS SOUS 6692 HAS SOUPS 6692 WITH SCORE 6704.56
AT ITER 2032 NEW BEST:: SOT 29405 SOS 12552 HAS SOPS 12552 HAS SOUS 6692 HAS SOUPS 6692 WITH SCORE 6704.552
AT ITER 2047 NEW BEST:: SOT 29400 SOS 12547 HAS SOPS 12547 HAS SOUS 6687 HAS SOUPS 6687 WITH SCORE 6699.547
AT ITER 2074 NEW BEST:: SOT 29393 SOS 12545 HAS SOPS 12545 HAS SOUS 6673 HAS SOUPS 6673 WITH SCORE 6685.545
AT ITER 2083 NEW BEST:: SOT 29378 SOS 12534 HAS SOPS 12534 HAS SOUS 6670 HAS SOUPS 6670 WITH SCORE 6682.534
AT ITER 2109 NEW BEST:: SOT 29362 SOS 12520 HAS SOPS 12520 HAS SOUS 6653 HAS SOUPS 6653 WITH SCORE 6665.52
AT ITER 2133 NEW BEST:: SOT 29364 SOS 12507 HAS SOPS 12507 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6654.507
AT ITER 2155 NEW BEST:: SOT 29346 SOS 12474 HAS SOPS 12474 HAS SOUS 6618 HAS SOUPS 6618 WITH SCORE 6630.474
AT ITER 2157 NEW BEST:: SOT 29351 SOS 12455 HAS SOPS 12455 HAS SOUS 6605 HAS SOUPS 6605 WITH SCORE 6617.455
AT ITER 2162 NEW BEST:: SOT 29282 SOS 12419 HAS SOPS 12419 HAS SOUS 6604 HAS SOUPS 6604 WITH SCORE 6616.419
AT ITER 2196 NEW BEST:: SOT 29273 SOS 12404 HAS SOPS 12404 HAS SOUS 6589 HAS SOUPS 6589 WITH SCORE 6601.404
AT ITER 2201 NEW BEST:: SOT 29267 SOS 12354 HAS SOPS 12354 HAS SOUS 6567 HAS SOUPS 6567 WITH SCORE 6579.354
AT ITER 2226 NEW BEST:: SOT 29267 SOS 12353 HAS SOPS 12353 HAS SOUS 6567 HAS SOUPS 6567 WITH SCORE 6579.353
AT ITER 2249 NEW BEST:: SOT 29338 SOS 12584 HAS SOPS 12584 HAS SOUS 6557 HAS SOUPS 6557 WITH SCORE 6569.584
AT ITER 2254 NEW BEST:: SOT 29273 SOS 12538 HAS SOPS 12538 HAS SOUS 6446 HAS SOUPS 6446 WITH SCORE 6458.538
AT ITER 2258 NEW BEST:: SOT 29265 SOS 12528 HAS SOPS 12528 HAS SOUS 6438 HAS SOUPS 6438 WITH SCORE 6450.528
AT ITER 2265 NEW BEST:: SOT 29276 SOS 12535 HAS SOPS 12535 HAS SOUS 6437 HAS SOUPS 6437 WITH SCORE 6449.535
AT ITER 2271 NEW BEST:: SOT 29276 SOS 12534 HAS SOPS 12534 HAS SOUS 6437 HAS SOUPS 6437 WITH SCORE 6449.534
AT ITER 2278 NEW BEST:: SOT 29276 SOS 12516 HAS SOPS 12516 HAS SOUS 6428 HAS SOUPS 6428 WITH SCORE 6440.516
AT ITER 2298 NEW BEST:: SOT 29276 SOS 12516 HAS SOPS 12516 HAS SOUS 6417 HAS SOUPS 6417 WITH SCORE 6429.516
AT ITER 2307 NEW BEST:: SOT 29243 SOS 12549 HAS SOPS 12549 HAS SOUS 6384 HAS SOUPS 6384 WITH SCORE 6396.549
AT ITER 2321 NEW BEST:: SOT 29245 SOS 12547 HAS SOPS 12547 HAS SOUS 6377 HAS SOUPS 6377 WITH SCORE 6389.547
AT ITER 2327 NEW BEST:: SOT 29243 SOS 12543 HAS SOPS 12543 HAS SOUS 6371 HAS SOUPS 6371 WITH SCORE 6383.543
AT ITER 2351 NEW BEST:: SOT 29224 SOS 12508 HAS SOPS 12508 HAS SOUS 6351 HAS SOUPS 6351 WITH SCORE 6363.508
AT ITER 2355 NEW BEST:: SOT 29227 SOS 12500 HAS SOPS 12500 HAS SOUS 6343 HAS SOUPS 6343 WITH SCORE 6355.5
AT ITER 2368 NEW BEST:: SOT 29224 SOS 12497 HAS SOPS 12497 HAS SOUS 6341 HAS SOUPS 6341 WITH SCORE 6353.497
AT ITER 2372 NEW BEST:: SOT 29222 SOS 12489 HAS SOPS 12489 HAS SOUS 6341 HAS SOUPS 6341 WITH SCORE 6353.489
AT ITER 2387 NEW BEST:: SOT 29219 SOS 12483 HAS SOPS 12483 HAS SOUS 6338 HAS SOUPS 6338 WITH SCORE 6350.483
AT ITER 2390 NEW BEST:: SOT 29225 SOS 12454 HAS SOPS 12454 HAS SOUS 6318 HAS SOUPS 6318 WITH SCORE 6330.454
AT ITER 2408 NEW BEST:: SOT 29229 SOS 12462 HAS SOPS 12462 HAS SOUS 6316 HAS SOUPS 6316 WITH SCORE 6328.462
AT ITER 2415 NEW BEST:: SOT 29214 SOS 12447 HAS SOPS 12447 HAS SOUS 6291 HAS SOUPS 6291 WITH SCORE 6303.447
AT ITER 2442 NEW BEST:: SOT 29211 SOS 12451 HAS SOPS 12451 HAS SOUS 6290 HAS SOUPS 6290 WITH SCORE 6302.451
AT ITER 2459 NEW BEST:: SOT 28992 SOS 13087 HAS SOPS 13087 HAS SOUS 6262 HAS SOUPS 6262 WITH SCORE 6275.087
AT ITER 2460 NEW BEST:: SOT 28992 SOS 13051 HAS SOPS 13051 HAS SOUS 6262 HAS SOUPS 6262 WITH SCORE 6275.051
AT ITER 2492 NEW BEST:: SOT 28992 SOS 13051 HAS SOPS 13051 HAS SOUS 6261 HAS SOUPS 6261 WITH SCORE 6274.051
AT ITER 2493 NEW BEST:: SOT 29003 SOS 13062 HAS SOPS 13062 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6267.062
AT ITER 2495 NEW BEST:: SOT 28923 SOS 13191 HAS SOPS 13191 HAS SOUS 6231 HAS SOUPS 6231 WITH SCORE 6244.191
AT ITER 2507 NEW BEST:: SOT 28885 SOS 13172 HAS SOPS 13172 HAS SOUS 6227 HAS SOUPS 6227 WITH SCORE 6240.172
AT ITER 2512 NEW BEST:: SOT 28885 SOS 13186 HAS SOPS 13186 HAS SOUS 6224 HAS SOUPS 6224 WITH SCORE 6237.186
AT ITER 2546 NEW BEST:: SOT 28602 SOS 13297 HAS SOPS 13297 HAS SOUS 6093 HAS SOUPS 6093 WITH SCORE 6106.297
AT ITER 2558 NEW BEST:: SOT 28515 SOS 13236 HAS SOPS 13236 HAS SOUS 6083 HAS SOUPS 6083 WITH SCORE 6096.236
AT ITER 2564 NEW BEST:: SOT 28487 SOS 13208 HAS SOPS 13208 HAS SOUS 6077 HAS SOUPS 6077 WITH SCORE 6090.208
AT ITER 2576 NEW BEST:: SOT 28486 SOS 13197 HAS SOPS 13197 HAS SOUS 6075 HAS SOUPS 6075 WITH SCORE 6088.197
AT ITER 2585 NEW BEST:: SOT 28449 SOS 13161 HAS SOPS 13161 HAS SOUS 6013 HAS SOUPS 6013 WITH SCORE 6026.161
AT ITER 2615 NEW BEST:: SOT 28446 SOS 13161 HAS SOPS 13161 HAS SOUS 6010 HAS SOUPS 6010 WITH SCORE 6023.161
AT ITER 2629 NEW BEST:: SOT 28446 SOS 13155 HAS SOPS 13155 HAS SOUS 6007 HAS SOUPS 6007 WITH SCORE 6020.155
AT ITER 2646 NEW BEST:: SOT 28443 SOS 13140 HAS SOPS 13140 HAS SOUS 5996 HAS SOUPS 5996 WITH SCORE 6009.14
AT ITER 2651 NEW BEST:: SOT 28429 SOS 13126 HAS SOPS 13126 HAS SOUS 5990 HAS SOUPS 5990 WITH SCORE 6003.126
AT ITER 2665 NEW BEST:: SOT 28426 SOS 13083 HAS SOPS 13083 HAS SOUS 5979 HAS SOUPS 5979 WITH SCORE 5992.083
AT ITER 2682 NEW BEST:: SOT 28381 SOS 13044 HAS SOPS 13044 HAS SOUS 5975 HAS SOUPS 5975 WITH SCORE 5988.044
AT ITER 2688 NEW BEST:: SOT 28382 SOS 13043 HAS SOPS 13043 HAS SOUS 5975 HAS SOUPS 5975 WITH SCORE 5988.043
AT ITER 2689 NEW BEST:: SOT 28374 SOS 13035 HAS SOPS 13035 HAS SOUS 5967 HAS SOUPS 5967 WITH SCORE 5980.035
AT ITER 2693 NEW BEST:: SOT 28381 SOS 13036 HAS SOPS 13036 HAS SOUS 5933 HAS SOUPS 5933 WITH SCORE 5946.036
AT ITER 2712 NEW BEST:: SOT 28386 SOS 12767 HAS SOPS 12767 HAS SOUS 5887 HAS SOUPS 5887 WITH SCORE 5899.767
AT ITER 2740 NEW BEST:: SOT 28378 SOS 12760 HAS SOPS 12760 HAS SOUS 5872 HAS SOUPS 5872 WITH SCORE 5884.76
AT ITER 2743 NEW BEST:: SOT 28353 SOS 12735 HAS SOPS 12735 HAS SOUS 5838 HAS SOUPS 5838 WITH SCORE 5850.735
AT ITER 2745 NEW BEST:: SOT 28362 SOS 12725 HAS SOPS 12725 HAS SOUS 5831 HAS SOUPS 5831 WITH SCORE 5843.725
AT ITER 2766 NEW BEST:: SOT 28328 SOS 12681 HAS SOPS 12681 HAS SOUS 5818 HAS SOUPS 5818 WITH SCORE 5830.681
AT ITER 2773 NEW BEST:: SOT 28273 SOS 13006 HAS SOPS 13006 HAS SOUS 5812 HAS SOUPS 5812 WITH SCORE 5825.006
AT ITER 2794 NEW BEST:: SOT 28279 SOS 13006 HAS SOPS 13006 HAS SOUS 5809 HAS SOUPS 5809 WITH SCORE 5822.006
AT ITER 2870 NEW BEST:: SOT 28276 SOS 13000 HAS SOPS 13000 HAS SOUS 5803 HAS SOUPS 5803 WITH SCORE 5816.0
AT ITER 2882 NEW BEST:: SOT 28310 SOS 13034 HAS SOPS 13034 HAS SOUS 5764 HAS SOUPS 5764 WITH SCORE 5777.034
AT ITER 2885 NEW BEST:: SOT 28303 SOS 13027 HAS SOPS 13027 HAS SOUS 5757 HAS SOUPS 5757 WITH SCORE 5770.027
AT ITER 2895 NEW BEST:: SOT 28303 SOS 13019 HAS SOPS 13019 HAS SOUS 5757 HAS SOUPS 5757 WITH SCORE 5770.019
AT ITER 2897 NEW BEST:: SOT 28297 SOS 13006 HAS SOPS 13006 HAS SOUS 5751 HAS SOUPS 5751 WITH SCORE 5764.006
AT ITER 2898 NEW BEST:: SOT 28296 SOS 13004 HAS SOPS 13004 HAS SOUS 5749 HAS SOUPS 5749 WITH SCORE 5762.004
AT ITER 2949 NEW BEST:: SOT 28295 SOS 13000 HAS SOPS 13000 HAS SOUS 5749 HAS SOUPS 5749 WITH SCORE 5762.0
AT ITER 2953 NEW BEST:: SOT 28291 SOS 12992 HAS SOPS 12992 HAS SOUS 5737 HAS SOUPS 5737 WITH SCORE 5749.992
AT ITER 2981 NEW BEST:: SOT 28287 SOS 12988 HAS SOPS 12988 HAS SOUS 5737 HAS SOUPS 5737 WITH SCORE 5749.988
AT ITER 2992 NEW BEST:: SOT 28281 SOS 12998 HAS SOPS 12998 HAS SOUS 5735 HAS SOUPS 5735 WITH SCORE 5747.998
AT ITER 3023 NEW BEST:: SOT 28278 SOS 12983 HAS SOPS 12983 HAS SOUS 5729 HAS SOUPS 5729 WITH SCORE 5741.983
AT ITER 3028 NEW BEST:: SOT 28257 SOS 12962 HAS SOPS 12962 HAS SOUS 5718 HAS SOUPS 5718 WITH SCORE 5730.962
AT ITER 3032 NEW BEST:: SOT 28246 SOS 12951 HAS SOPS 12951 HAS SOUS 5706 HAS SOUPS 5706 WITH SCORE 5718.951
AT ITER 3049 NEW BEST:: SOT 28246 SOS 12954 HAS SOPS 12954 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5716.954
AT ITER 3096 NEW BEST:: SOT 28225 SOS 12933 HAS SOPS 12933 HAS SOUS 5683 HAS SOUPS 5683 WITH SCORE 5695.933
AT ITER 3144 NEW BEST:: SOT 28222 SOS 12907 HAS SOPS 12907 HAS SOUS 5665 HAS SOUPS 5665 WITH SCORE 5677.907
AT ITER 3155 NEW BEST:: SOT 28218 SOS 12901 HAS SOPS 12901 HAS SOUS 5661 HAS SOUPS 5661 WITH SCORE 5673.901
AT ITER 3161 NEW BEST:: SOT 28214 SOS 12893 HAS SOPS 12893 HAS SOUS 5657 HAS SOUPS 5657 WITH SCORE 5669.893
AT ITER 3181 NEW BEST:: SOT 28207 SOS 12900 HAS SOPS 12900 HAS SOUS 5650 HAS SOUPS 5650 WITH SCORE 5662.9
AT ITER 3184 NEW BEST:: SOT 28201 SOS 12892 HAS SOPS 12892 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5654.892
AT ITER 3207 NEW BEST:: SOT 28197 SOS 12877 HAS SOPS 12877 HAS SOUS 5638 HAS SOUPS 5638 WITH SCORE 5650.877
AT ITER 3243 NEW BEST:: SOT 28195 SOS 12875 HAS SOPS 12875 HAS SOUS 5634 HAS SOUPS 5634 WITH SCORE 5646.875
AT ITER 3251 NEW BEST:: SOT 28192 SOS 12869 HAS SOPS 12869 HAS SOUS 5634 HAS SOUPS 5634 WITH SCORE 5646.869
AT ITER 3254 NEW BEST:: SOT 28194 SOS 12869 HAS SOPS 12869 HAS SOUS 5632 HAS SOUPS 5632 WITH SCORE 5644.869
AT ITER 3283 NEW BEST:: SOT 28167 SOS 12841 HAS SOPS 12841 HAS SOUS 5621 HAS SOUPS 5621 WITH SCORE 5633.841
AT ITER 3309 NEW BEST:: SOT 28164 SOS 12835 HAS SOPS 12835 HAS SOUS 5615 HAS SOUPS 5615 WITH SCORE 5627.835
AT ITER 3336 NEW BEST:: SOT 28149 SOS 12817 HAS SOPS 12817 HAS SOUS 5597 HAS SOUPS 5597 WITH SCORE 5609.817
AT ITER 3356 NEW BEST:: SOT 28117 SOS 12769 HAS SOPS 12769 HAS SOUS 5572 HAS SOUPS 5572 WITH SCORE 5584.769
AT ITER 3384 NEW BEST:: SOT 28117 SOS 12729 HAS SOPS 12729 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5564.729
AT ITER 3394 NEW BEST:: SOT 28105 SOS 12717 HAS SOPS 12717 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5552.717
AT ITER 3420 NEW BEST:: SOT 28105 SOS 12711 HAS SOPS 12711 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5544.711
AT ITER 3437 NEW BEST:: SOT 28103 SOS 12709 HAS SOPS 12709 HAS SOUS 5531 HAS SOUPS 5531 WITH SCORE 5543.709
AT ITER 3438 NEW BEST:: SOT 28102 SOS 12707 HAS SOPS 12707 HAS SOUS 5526 HAS SOUPS 5526 WITH SCORE 5538.707
AT ITER 3440 NEW BEST:: SOT 28096 SOS 12679 HAS SOPS 12679 HAS SOUS 5522 HAS SOUPS 5522 WITH SCORE 5534.679
AT ITER 3445 NEW BEST:: SOT 28092 SOS 12673 HAS SOPS 12673 HAS SOUS 5514 HAS SOUPS 5514 WITH SCORE 5526.673
AT ITER 3448 NEW BEST:: SOT 28061 SOS 12633 HAS SOPS 12633 HAS SOUS 5487 HAS SOUPS 5487 WITH SCORE 5499.633
AT ITER 3478 NEW BEST:: SOT 28060 SOS 12633 HAS SOPS 12633 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5490.633
AT ITER 3494 NEW BEST:: SOT 28053 SOS 12596 HAS SOPS 12596 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5476.596
AT ITER 3502 NEW BEST:: SOT 28051 SOS 12578 HAS SOPS 12578 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5474.578
AT ITER 3507 NEW BEST:: SOT 28097 SOS 12598 HAS SOPS 12598 HAS SOUS 5452 HAS SOUPS 5452 WITH SCORE 5464.598
AT ITER 3529 NEW BEST:: SOT 28085 SOS 12584 HAS SOPS 12584 HAS SOUS 5450 HAS SOUPS 5450 WITH SCORE 5462.584
AT ITER 3535 NEW BEST:: SOT 28030 SOS 12518 HAS SOPS 12518 HAS SOUS 5407 HAS SOUPS 5407 WITH SCORE 5419.518
AT ITER 3553 NEW BEST:: SOT 28030 SOS 12518 HAS SOPS 12518 HAS SOUS 5406 HAS SOUPS 5406 WITH SCORE 5418.518
AT ITER 3566 NEW BEST:: SOT 28030 SOS 12515 HAS SOPS 12515 HAS SOUS 5404 HAS SOUPS 5404 WITH SCORE 5416.515
AT ITER 3604 NEW BEST:: SOT 28025 SOS 12493 HAS SOPS 12493 HAS SOUS 5388 HAS SOUPS 5388 WITH SCORE 5400.493
AT ITER 3637 NEW BEST:: SOT 28015 SOS 12483 HAS SOPS 12483 HAS SOUS 5386 HAS SOUPS 5386 WITH SCORE 5398.483
AT ITER 3646 NEW BEST:: SOT 28009 SOS 12454 HAS SOPS 12454 HAS SOUS 5374 HAS SOUPS 5374 WITH SCORE 5386.454
AT ITER 3661 NEW BEST:: SOT 27997 SOS 12463 HAS SOPS 12463 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5374.463
AT ITER 3666 NEW BEST:: SOT 27977 SOS 12409 HAS SOPS 12409 HAS SOUS 5342 HAS SOUPS 5342 WITH SCORE 5354.409
AT ITER 3697 NEW BEST:: SOT 27889 SOS 12311 HAS SOPS 12311 HAS SOUS 5323 HAS SOUPS 5323 WITH SCORE 5335.311
AT ITER 3701 NEW BEST:: SOT 27889 SOS 12307 HAS SOPS 12307 HAS SOUS 5321 HAS SOUPS 5321 WITH SCORE 5333.307
AT ITER 3776 NEW BEST:: SOT 27873 SOS 12291 HAS SOPS 12291 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5318.291
AT ITER 3778 NEW BEST:: SOT 27860 SOS 12279 HAS SOPS 12279 HAS SOUS 5301 HAS SOUPS 5301 WITH SCORE 5313.279
AT ITER 3790 NEW BEST:: SOT 27817 SOS 12228 HAS SOPS 12228 HAS SOUS 5263 HAS SOUPS 5263 WITH SCORE 5275.228
AT ITER 3862 NEW BEST:: SOT 27817 SOS 12228 HAS SOPS 12228 HAS SOUS 5259 HAS SOUPS 5259 WITH SCORE 5271.228
AT ITER 3900 NEW BEST:: SOT 27822 SOS 12220 HAS SOPS 12220 HAS SOUS 5257 HAS SOUPS 5257 WITH SCORE 5269.22
AT ITER 3911 NEW BEST:: SOT 27815 SOS 12213 HAS SOPS 12213 HAS SOUS 5252 HAS SOUPS 5252 WITH SCORE 5264.213
AT ITER 3978 NEW BEST:: SOT 27804 SOS 12219 HAS SOPS 12219 HAS SOUS 5241 HAS SOUPS 5241 WITH SCORE 5253.219
AT ITER 3991 NEW BEST:: SOT 27810 SOS 12231 HAS SOPS 12231 HAS SOUS 5234 HAS SOUPS 5234 WITH SCORE 5246.231
AT ITER 3994 NEW BEST:: SOT 27819 SOS 12241 HAS SOPS 12241 HAS SOUS 5229 HAS SOUPS 5229 WITH SCORE 5241.241
AT ITER 4004 NEW BEST:: SOT 27815 SOS 12236 HAS SOPS 12236 HAS SOUS 5228 HAS SOUPS 5228 WITH SCORE 5240.236
AT ITER 4006 NEW BEST:: SOT 27814 SOS 12235 HAS SOPS 12235 HAS SOUS 5225 HAS SOUPS 5225 WITH SCORE 5237.235
AT ITER 4035 NEW BEST:: SOT 27818 SOS 12255 HAS SOPS 12255 HAS SOUS 5217 HAS SOUPS 5217 WITH SCORE 5229.255
AT ITER 4039 NEW BEST:: SOT 27812 SOS 12249 HAS SOPS 12249 HAS SOUS 5211 HAS SOUPS 5211 WITH SCORE 5223.249
AT ITER 4040 NEW BEST:: SOT 27818 SOS 12207 HAS SOPS 12207 HAS SOUS 5205 HAS SOUPS 5205 WITH SCORE 5217.207
AT ITER 4052 NEW BEST:: SOT 27815 SOS 12201 HAS SOPS 12201 HAS SOUS 5201 HAS SOUPS 5201 WITH SCORE 5213.201
AT ITER 4082 NEW BEST:: SOT 27805 SOS 12190 HAS SOPS 12190 HAS SOUS 5192 HAS SOUPS 5192 WITH SCORE 5204.19
AT ITER 4084 NEW BEST:: SOT 27805 SOS 12191 HAS SOPS 12191 HAS SOUS 5191 HAS SOUPS 5191 WITH SCORE 5203.191
AT ITER 4095 NEW BEST:: SOT 27806 SOS 12183 HAS SOPS 12183 HAS SOUS 5190 HAS SOUPS 5190 WITH SCORE 5202.183
AT ITER 4124 NEW BEST:: SOT 27797 SOS 12165 HAS SOPS 12165 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5194.165
AT ITER 4148 NEW BEST:: SOT 27771 SOS 12076 HAS SOPS 12076 HAS SOUS 5165 HAS SOUPS 5165 WITH SCORE 5177.076
AT ITER 4150 NEW BEST:: SOT 27744 SOS 12035 HAS SOPS 12035 HAS SOUS 5159 HAS SOUPS 5159 WITH SCORE 5171.035
AT ITER 4212 NEW BEST:: SOT 27734 SOS 12018 HAS SOPS 12018 HAS SOUS 5142 HAS SOUPS 5142 WITH SCORE 5154.018
AT ITER 4213 NEW BEST:: SOT 27735 SOS 12001 HAS SOPS 12001 HAS SOUS 5137 HAS SOUPS 5137 WITH SCORE 5149.001
AT ITER 4240 NEW BEST:: SOT 27729 SOS 11995 HAS SOPS 11995 HAS SOUS 5135 HAS SOUPS 5135 WITH SCORE 5146.995
AT ITER 4266 NEW BEST:: SOT 27727 SOS 11999 HAS SOPS 11999 HAS SOUS 5131 HAS SOUPS 5131 WITH SCORE 5142.999
AT ITER 4283 NEW BEST:: SOT 27718 SOS 11990 HAS SOPS 11990 HAS SOUS 5125 HAS SOUPS 5125 WITH SCORE 5136.99
AT ITER 4300 NEW BEST:: SOT 27717 SOS 11988 HAS SOPS 11988 HAS SOUS 5123 HAS SOUPS 5123 WITH SCORE 5134.988
AT ITER 4316 NEW BEST:: SOT 27677 SOS 11943 HAS SOPS 11943 HAS SOUS 5087 HAS SOUPS 5087 WITH SCORE 5098.943
AT ITER 4330 NEW BEST:: SOT 27672 SOS 11946 HAS SOPS 11946 HAS SOUS 5081 HAS SOUPS 5081 WITH SCORE 5092.946
AT ITER 4399 NEW BEST:: SOT 27670 SOS 11944 HAS SOPS 11944 HAS SOUS 5077 HAS SOUPS 5077 WITH SCORE 5088.944
AT ITER 4400 NEW BEST:: SOT 27603 SOS 11877 HAS SOPS 11877 HAS SOUS 5071 HAS SOUPS 5071 WITH SCORE 5082.877
AT ITER 4405 NEW BEST:: SOT 27575 SOS 11849 HAS SOPS 11849 HAS SOUS 5050 HAS SOUPS 5050 WITH SCORE 5061.849
AT ITER 4438 NEW BEST:: SOT 27566 SOS 11858 HAS SOPS 11858 HAS SOUS 5043 HAS SOUPS 5043 WITH SCORE 5054.858
AT ITER 4441 NEW BEST:: SOT 27530 SOS 11804 HAS SOPS 11804 HAS SOUS 5012 HAS SOUPS 5012 WITH SCORE 5023.804
AT ITER 4447 NEW BEST:: SOT 27530 SOS 11804 HAS SOPS 11804 HAS SOUS 5006 HAS SOUPS 5006 WITH SCORE 5017.804
AT ITER 4452 NEW BEST:: SOT 27530 SOS 11804 HAS SOPS 11804 HAS SOUS 5002 HAS SOUPS 5002 WITH SCORE 5013.804
AT ITER 4494 NEW BEST:: SOT 27525 SOS 11795 HAS SOPS 11795 HAS SOUS 4993 HAS SOUPS 4993 WITH SCORE 5004.795
AT ITER 4506 NEW BEST:: SOT 27523 SOS 11791 HAS SOPS 11791 HAS SOUS 4979 HAS SOUPS 4979 WITH SCORE 4990.791
AT ITER 4514 NEW BEST:: SOT 27516 SOS 11778 HAS SOPS 11778 HAS SOUS 4962 HAS SOUPS 4962 WITH SCORE 4973.778
AT ITER 4524 NEW BEST:: SOT 27515 SOS 11778 HAS SOPS 11778 HAS SOUS 4960 HAS SOUPS 4960 WITH SCORE 4971.778
AT ITER 4540 NEW BEST:: SOT 27514 SOS 11755 HAS SOPS 11755 HAS SOUS 4950 HAS SOUPS 4950 WITH SCORE 4961.755
AT ITER 4553 NEW BEST:: SOT 27514 SOS 11754 HAS SOPS 11754 HAS SOUS 4950 HAS SOUPS 4950 WITH SCORE 4961.754
AT ITER 4557 NEW BEST:: SOT 27512 SOS 11753 HAS SOPS 11753 HAS SOUS 4950 HAS SOUPS 4950 WITH SCORE 4961.753
AT ITER 4583 NEW BEST:: SOT 27503 SOS 11739 HAS SOPS 11739 HAS SOUS 4936 HAS SOUPS 4936 WITH SCORE 4947.739
AT ITER 4597 NEW BEST:: SOT 27501 SOS 11737 HAS SOPS 11737 HAS SOUS 4934 HAS SOUPS 4934 WITH SCORE 4945.737
AT ITER 4606 NEW BEST:: SOT 27492 SOS 11713 HAS SOPS 11713 HAS SOUS 4926 HAS SOUPS 4926 WITH SCORE 4937.713
AT ITER 4612 NEW BEST:: SOT 27495 SOS 11716 HAS SOPS 11716 HAS SOUS 4925 HAS SOUPS 4925 WITH SCORE 4936.716
AT ITER 4618 NEW BEST:: SOT 27478 SOS 11697 HAS SOPS 11697 HAS SOUS 4909 HAS SOUPS 4909 WITH SCORE 4920.697
AT ITER 4649 NEW BEST:: SOT 27476 SOS 11699 HAS SOPS 11699 HAS SOUS 4905 HAS SOUPS 4905 WITH SCORE 4916.699
AT ITER 4678 NEW BEST:: SOT 27474 SOS 11697 HAS SOPS 11697 HAS SOUS 4903 HAS SOUPS 4903 WITH SCORE 4914.697
AT ITER 4699 NEW BEST:: SOT 27475 SOS 11687 HAS SOPS 11687 HAS SOUS 4893 HAS SOUPS 4893 WITH SCORE 4904.687
AT ITER 4713 NEW BEST:: SOT 27471 SOS 11679 HAS SOPS 11679 HAS SOUS 4891 HAS SOUPS 4891 WITH SCORE 4902.679
AT ITER 4724 NEW BEST:: SOT 27470 SOS 11678 HAS SOPS 11678 HAS SOUS 4889 HAS SOUPS 4889 WITH SCORE 4900.678
AT ITER 4740 NEW BEST:: SOT 27446 SOS 11663 HAS SOPS 11663 HAS SOUS 4868 HAS SOUPS 4868 WITH SCORE 4879.663
AT ITER 4836 NEW BEST:: SOT 27446 SOS 11661 HAS SOPS 11661 HAS SOUS 4866 HAS SOUPS 4866 WITH SCORE 4877.661
AT ITER 4837 NEW BEST:: SOT 27441 SOS 11657 HAS SOPS 11657 HAS SOUS 4863 HAS SOUPS 4863 WITH SCORE 4874.657
AT ITER 4849 NEW BEST:: SOT 27441 SOS 11646 HAS SOPS 11646 HAS SOUS 4863 HAS SOUPS 4863 WITH SCORE 4874.646
AT ITER 4874 NEW BEST:: SOT 27438 SOS 11643 HAS SOPS 11643 HAS SOUS 4863 HAS SOUPS 4863 WITH SCORE 4874.643
AT ITER 4928 NEW BEST:: SOT 27416 SOS 11594 HAS SOPS 11594 HAS SOUS 4849 HAS SOUPS 4849 WITH SCORE 4860.594
AT ITER 4961 NEW BEST:: SOT 27401 SOS 11570 HAS SOPS 11570 HAS SOUS 4834 HAS SOUPS 4834 WITH SCORE 4845.57
AT ITER 4994 NEW BEST:: SOT 27400 SOS 11569 HAS SOPS 11569 HAS SOUS 4832 HAS SOUPS 4832 WITH SCORE 4843.569
AT ITER 4995 NEW BEST:: SOT 27346 SOS 11471 HAS SOPS 11471 HAS SOUS 4805 HAS SOUPS 4805 WITH SCORE 4816.471
AT ITER 4999 NEW BEST:: SOT 27342 SOS 11463 HAS SOPS 11463 HAS SOUS 4803 HAS SOUPS 4803 WITH SCORE 4814.463
AT ITER 5039 NEW BEST:: SOT 27334 SOS 11452 HAS SOPS 11452 HAS SOUS 4798 HAS SOUPS 4798 WITH SCORE 4809.452
AT ITER 5045 NEW BEST:: SOT 27314 SOS 11351 HAS SOPS 11351 HAS SOUS 4792 HAS SOUPS 4792 WITH SCORE 4803.351
AT ITER 5066 NEW BEST:: SOT 27297 SOS 11362 HAS SOPS 11362 HAS SOUS 4788 HAS SOUPS 4788 WITH SCORE 4799.362
AT ITER 5070 NEW BEST:: SOT 27301 SOS 11362 HAS SOPS 11362 HAS SOUS 4780 HAS SOUPS 4780 WITH SCORE 4791.362
AT ITER 5086 NEW BEST:: SOT 27299 SOS 11370 HAS SOPS 11370 HAS SOUS 4772 HAS SOUPS 4772 WITH SCORE 4783.37
AT ITER 5113 NEW BEST:: SOT 27293 SOS 11364 HAS SOPS 11364 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4781.364
AT ITER 5158 NEW BEST:: SOT 27293 SOS 11358 HAS SOPS 11358 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4781.358
AT ITER 5162 NEW BEST:: SOT 27287 SOS 11350 HAS SOPS 11350 HAS SOUS 4766 HAS SOUPS 4766 WITH SCORE 4777.35
AT ITER 5164 NEW BEST:: SOT 27287 SOS 11357 HAS SOPS 11357 HAS SOUS 4763 HAS SOUPS 4763 WITH SCORE 4774.357
AT ITER 5178 NEW BEST:: SOT 27286 SOS 11370 HAS SOPS 11370 HAS SOUS 4752 HAS SOUPS 4752 WITH SCORE 4763.37
AT ITER 5192 NEW BEST:: SOT 27281 SOS 11366 HAS SOPS 11366 HAS SOUS 4746 HAS SOUPS 4746 WITH SCORE 4757.366
AT ITER 5210 NEW BEST:: SOT 27279 SOS 11352 HAS SOPS 11352 HAS SOUS 4744 HAS SOUPS 4744 WITH SCORE 4755.352
AT ITER 5257 NEW BEST:: SOT 27261 SOS 11334 HAS SOPS 11334 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4741.334
AT ITER 5278 NEW BEST:: SOT 27250 SOS 11323 HAS SOPS 11323 HAS SOUS 4724 HAS SOUPS 4724 WITH SCORE 4735.323
AT ITER 5315 NEW BEST:: SOT 27274 SOS 11345 HAS SOPS 11345 HAS SOUS 4722 HAS SOUPS 4722 WITH SCORE 4733.345
AT ITER 5366 NEW BEST:: SOT 27257 SOS 11321 HAS SOPS 11321 HAS SOUS 4719 HAS SOUPS 4719 WITH SCORE 4730.321
AT ITER 5395 NEW BEST:: SOT 27257 SOS 11320 HAS SOPS 11320 HAS SOUS 4719 HAS SOUPS 4719 WITH SCORE 4730.32
AT ITER 5397 NEW BEST:: SOT 27257 SOS 11321 HAS SOPS 11321 HAS SOUS 4718 HAS SOUPS 4718 WITH SCORE 4729.321
AT ITER 5399 NEW BEST:: SOT 27255 SOS 11319 HAS SOPS 11319 HAS SOUS 4716 HAS SOUPS 4716 WITH SCORE 4727.319
AT ITER 5402 NEW BEST:: SOT 27254 SOS 11320 HAS SOPS 11320 HAS SOUS 4714 HAS SOUPS 4714 WITH SCORE 4725.32
AT ITER 5414 NEW BEST:: SOT 27246 SOS 11312 HAS SOPS 11312 HAS SOUS 4714 HAS SOUPS 4714 WITH SCORE 4725.312
AT ITER 5428 NEW BEST:: SOT 27234 SOS 11295 HAS SOPS 11295 HAS SOUS 4697 HAS SOUPS 4697 WITH SCORE 4708.295
AT ITER 5476 NEW BEST:: SOT 27232 SOS 11292 HAS SOPS 11292 HAS SOUS 4694 HAS SOUPS 4694 WITH SCORE 4705.292
AT ITER 5496 NEW BEST:: SOT 27212 SOS 11259 HAS SOPS 11259 HAS SOUS 4677 HAS SOUPS 4677 WITH SCORE 4688.259
AT ITER 5507 NEW BEST:: SOT 27200 SOS 11235 HAS SOPS 11235 HAS SOUS 4665 HAS SOUPS 4665 WITH SCORE 4676.235
AT ITER 5538 NEW BEST:: SOT 27195 SOS 11224 HAS SOPS 11224 HAS SOUS 4654 HAS SOUPS 4654 WITH SCORE 4665.224
AT ITER 5593 NEW BEST:: SOT 27190 SOS 11216 HAS SOPS 11216 HAS SOUS 4649 HAS SOUPS 4649 WITH SCORE 4660.216
AT ITER 5624 NEW BEST:: SOT 27221 SOS 11250 HAS SOPS 11250 HAS SOUS 4639 HAS SOUPS 4639 WITH SCORE 4650.25
AT ITER 5646 NEW BEST:: SOT 27219 SOS 11249 HAS SOPS 11249 HAS SOUS 4638 HAS SOUPS 4638 WITH SCORE 4649.249
AT ITER 5684 NEW BEST:: SOT 27212 SOS 11243 HAS SOPS 11243 HAS SOUS 4632 HAS SOUPS 4632 WITH SCORE 4643.243
AT ITER 5701 NEW BEST:: SOT 27162 SOS 11164 HAS SOPS 11164 HAS SOUS 4592 HAS SOUPS 4592 WITH SCORE 4603.164
AT ITER 5729 NEW BEST:: SOT 27162 SOS 11162 HAS SOPS 11162 HAS SOUS 4591 HAS SOUPS 4591 WITH SCORE 4602.162
AT ITER 5733 NEW BEST:: SOT 27160 SOS 11154 HAS SOPS 11154 HAS SOUS 4585 HAS SOUPS 4585 WITH SCORE 4596.154
AT ITER 5784 NEW BEST:: SOT 27137 SOS 11120 HAS SOPS 11120 HAS SOUS 4562 HAS SOUPS 4562 WITH SCORE 4573.12
AT ITER 5802 NEW BEST:: SOT 27132 SOS 11116 HAS SOPS 11116 HAS SOUS 4561 HAS SOUPS 4561 WITH SCORE 4572.116
AT ITER 5922 NEW BEST:: SOT 27158 SOS 11146 HAS SOPS 11146 HAS SOUS 4555 HAS SOUPS 4555 WITH SCORE 4566.146
AT ITER 5931 NEW BEST:: SOT 27155 SOS 11144 HAS SOPS 11144 HAS SOUS 4554 HAS SOUPS 4554 WITH SCORE 4565.144
AT ITER 5961 NEW BEST:: SOT 27153 SOS 11141 HAS SOPS 11141 HAS SOUS 4554 HAS SOUPS 4554 WITH SCORE 4565.141
AT ITER 5983 NEW BEST:: SOT 27146 SOS 11129 HAS SOPS 11129 HAS SOUS 4547 HAS SOUPS 4547 WITH SCORE 4558.129
AT ITER 5993 NEW BEST:: SOT 27146 SOS 11109 HAS SOPS 11109 HAS SOUS 4542 HAS SOUPS 4542 WITH SCORE 4553.109
AT ITER 6015 NEW BEST:: SOT 27136 SOS 11099 HAS SOPS 11099 HAS SOUS 4532 HAS SOUPS 4532 WITH SCORE 4543.099
AT ITER 6076 NEW BEST:: SOT 27135 SOS 11097 HAS SOPS 11097 HAS SOUS 4531 HAS SOUPS 4531 WITH SCORE 4542.097
AT ITER 6092 NEW BEST:: SOT 27132 SOS 11093 HAS SOPS 11093 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4537.093
AT ITER 6101 NEW BEST:: SOT 27132 SOS 11093 HAS SOPS 11093 HAS SOUS 4521 HAS SOUPS 4521 WITH SCORE 4532.093
AT ITER 6135 NEW BEST:: SOT 27112 SOS 11083 HAS SOPS 11083 HAS SOUS 4521 HAS SOUPS 4521 WITH SCORE 4532.083
AT ITER 6142 NEW BEST:: SOT 27112 SOS 11078 HAS SOPS 11078 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4523.078
AT ITER 6144 NEW BEST:: SOT 27111 SOS 11077 HAS SOPS 11077 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4523.077
AT ITER 6172 NEW BEST:: SOT 27113 SOS 11076 HAS SOPS 11076 HAS SOUS 4511 HAS SOUPS 4511 WITH SCORE 4522.076
AT ITER 6185 NEW BEST:: SOT 27113 SOS 11018 HAS SOPS 11018 HAS SOUS 4505 HAS SOUPS 4505 WITH SCORE 4516.018
AT ITER 6217 NEW BEST:: SOT 27105 SOS 11002 HAS SOPS 11002 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4511.002
AT ITER 6221 NEW BEST:: SOT 27104 SOS 10999 HAS SOPS 10999 HAS SOUS 4499 HAS SOUPS 4499 WITH SCORE 4509.999
AT ITER 6259 NEW BEST:: SOT 27086 SOS 10978 HAS SOPS 10978 HAS SOUS 4478 HAS SOUPS 4478 WITH SCORE 4488.978
AT ITER 6307 NEW BEST:: SOT 27085 SOS 10957 HAS SOPS 10957 HAS SOUS 4457 HAS SOUPS 4457 WITH SCORE 4467.957
AT ITER 6332 NEW BEST:: SOT 27082 SOS 10950 HAS SOPS 10950 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4464.95
AT ITER 6400 NEW BEST:: SOT 27064 SOS 10846 HAS SOPS 10846 HAS SOUS 4438 HAS SOUPS 4438 WITH SCORE 4448.846
AT ITER 6449 NEW BEST:: SOT 27063 SOS 10845 HAS SOPS 10845 HAS SOUS 4437 HAS SOUPS 4437 WITH SCORE 4447.845
AT ITER 6452 NEW BEST:: SOT 27063 SOS 10842 HAS SOPS 10842 HAS SOUS 4437 HAS SOUPS 4437 WITH SCORE 4447.842
AT ITER 6480 NEW BEST:: SOT 27067 SOS 10849 HAS SOPS 10849 HAS SOUS 4425 HAS SOUPS 4425 WITH SCORE 4435.849
AT ITER 6519 NEW BEST:: SOT 27062 SOS 10839 HAS SOPS 10839 HAS SOUS 4414 HAS SOUPS 4414 WITH SCORE 4424.839
AT ITER 6588 NEW BEST:: SOT 27067 SOS 10844 HAS SOPS 10844 HAS SOUS 4412 HAS SOUPS 4412 WITH SCORE 4422.844
AT ITER 6592 NEW BEST:: SOT 27067 SOS 10852 HAS SOPS 10852 HAS SOUS 4410 HAS SOUPS 4410 WITH SCORE 4420.852
AT ITER 6616 NEW BEST:: SOT 27057 SOS 10845 HAS SOPS 10845 HAS SOUS 4398 HAS SOUPS 4398 WITH SCORE 4408.845
AT ITER 6635 NEW BEST:: SOT 27035 SOS 10777 HAS SOPS 10777 HAS SOUS 4387 HAS SOUPS 4387 WITH SCORE 4397.777
AT ITER 6676 NEW BEST:: SOT 27019 SOS 10767 HAS SOPS 10767 HAS SOUS 4377 HAS SOUPS 4377 WITH SCORE 4387.767
AT ITER 6788 NEW BEST:: SOT 27022 SOS 10780 HAS SOPS 10780 HAS SOUS 4375 HAS SOUPS 4375 WITH SCORE 4385.78
AT ITER 6870 NEW BEST:: SOT 27023 SOS 10760 HAS SOPS 10760 HAS SOUS 4370 HAS SOUPS 4370 WITH SCORE 4380.76
AT ITER 6911 NEW BEST:: SOT 27023 SOS 10760 HAS SOPS 10760 HAS SOUS 4368 HAS SOUPS 4368 WITH SCORE 4378.76
AT ITER 6916 NEW BEST:: SOT 27022 SOS 10768 HAS SOPS 10768 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4366.768
AT ITER 6925 NEW BEST:: SOT 27022 SOS 10767 HAS SOPS 10767 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4366.767
AT ITER 6942 NEW BEST:: SOT 27022 SOS 10743 HAS SOPS 10743 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4366.743
AT ITER 7010 NEW BEST:: SOT 27018 SOS 10735 HAS SOPS 10735 HAS SOUS 4348 HAS SOUPS 4348 WITH SCORE 4358.735
AT ITER 7019 NEW BEST:: SOT 27014 SOS 10731 HAS SOPS 10731 HAS SOUS 4344 HAS SOUPS 4344 WITH SCORE 4354.731
AT ITER 7052 NEW BEST:: SOT 27013 SOS 10725 HAS SOPS 10725 HAS SOUS 4344 HAS SOUPS 4344 WITH SCORE 4354.725
AT ITER 7078 NEW BEST:: SOT 27012 SOS 10725 HAS SOPS 10725 HAS SOUS 4342 HAS SOUPS 4342 WITH SCORE 4352.725
AT ITER 7113 NEW BEST:: SOT 27013 SOS 10725 HAS SOPS 10725 HAS SOUS 4340 HAS SOUPS 4340 WITH SCORE 4350.725
AT ITER 7122 NEW BEST:: SOT 27017 SOS 10597 HAS SOPS 10597 HAS SOUS 4332 HAS SOUPS 4332 WITH SCORE 4342.597
AT ITER 7237 NEW BEST:: SOT 27013 SOS 10593 HAS SOPS 10593 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4336.593
AT ITER 7280 NEW BEST:: SOT 27011 SOS 10596 HAS SOPS 10596 HAS SOUS 4322 HAS SOUPS 4322 WITH SCORE 4332.596
AT ITER 7308 NEW BEST:: SOT 27015 SOS 10594 HAS SOPS 10594 HAS SOUS 4322 HAS SOUPS 4322 WITH SCORE 4332.594
AT ITER 7370 NEW BEST:: SOT 27014 SOS 10593 HAS SOPS 10593 HAS SOUS 4322 HAS SOUPS 4322 WITH SCORE 4332.593
AT ITER 7395 NEW BEST:: SOT 27013 SOS 10593 HAS SOPS 10593 HAS SOUS 4319 HAS SOUPS 4319 WITH SCORE 4329.593
AT ITER 7406 NEW BEST:: SOT 27013 SOS 10593 HAS SOPS 10593 HAS SOUS 4318 HAS SOUPS 4318 WITH SCORE 4328.593
AT ITER 7463 NEW BEST:: SOT 27016 SOS 10608 HAS SOPS 10608 HAS SOUS 4310 HAS SOUPS 4310 WITH SCORE 4320.608
AT ITER 7467 NEW BEST:: SOT 26992 SOS 10548 HAS SOPS 10548 HAS SOUS 4297 HAS SOUPS 4297 WITH SCORE 4307.548
AT ITER 7505 NEW BEST:: SOT 26990 SOS 10544 HAS SOPS 10544 HAS SOUS 4293 HAS SOUPS 4293 WITH SCORE 4303.544
AT ITER 7538 NEW BEST:: SOT 26991 SOS 10542 HAS SOPS 10542 HAS SOUS 4293 HAS SOUPS 4293 WITH SCORE 4303.542
AT ITER 7581 NEW BEST:: SOT 26992 SOS 10541 HAS SOPS 10541 HAS SOUS 4292 HAS SOUPS 4292 WITH SCORE 4302.541
AT ITER 7617 NEW BEST:: SOT 26989 SOS 10538 HAS SOPS 10538 HAS SOUS 4290 HAS SOUPS 4290 WITH SCORE 4300.538
AT ITER 7742 NEW BEST:: SOT 26989 SOS 10537 HAS SOPS 10537 HAS SOUS 4289 HAS SOUPS 4289 WITH SCORE 4299.537
AT ITER 7754 NEW BEST:: SOT 26987 SOS 10538 HAS SOPS 10538 HAS SOUS 4286 HAS SOUPS 4286 WITH SCORE 4296.538
AT ITER 7758 NEW BEST:: SOT 26975 SOS 10526 HAS SOPS 10526 HAS SOUS 4279 HAS SOUPS 4279 WITH SCORE 4289.526
AT ITER 7819 NEW BEST:: SOT 26966 SOS 10518 HAS SOPS 10518 HAS SOUS 4271 HAS SOUPS 4271 WITH SCORE 4281.518
AT ITER 7851 NEW BEST:: SOT 26966 SOS 10515 HAS SOPS 10515 HAS SOUS 4264 HAS SOUPS 4264 WITH SCORE 4274.515
AT ITER 7886 NEW BEST:: SOT 26966 SOS 10514 HAS SOPS 10514 HAS SOUS 4262 HAS SOUPS 4262 WITH SCORE 4272.514
AT ITER 8022 NEW BEST:: SOT 26930 SOS 10468 HAS SOPS 10468 HAS SOUS 4245 HAS SOUPS 4245 WITH SCORE 4255.468
AT ITER 8065 NEW BEST:: SOT 26926 SOS 10462 HAS SOPS 10462 HAS SOUS 4245 HAS SOUPS 4245 WITH SCORE 4255.462
AT ITER 8114 NEW BEST:: SOT 26920 SOS 10456 HAS SOPS 10456 HAS SOUS 4230 HAS SOUPS 4230 WITH SCORE 4240.456
AT ITER 8144 NEW BEST:: SOT 26919 SOS 10449 HAS SOPS 10449 HAS SOUS 4222 HAS SOUPS 4222 WITH SCORE 4232.449
AT ITER 8149 NEW BEST:: SOT 26906 SOS 10431 HAS SOPS 10431 HAS SOUS 4206 HAS SOUPS 4206 WITH SCORE 4216.431
AT ITER 8305 NEW BEST:: SOT 26902 SOS 10423 HAS SOPS 10423 HAS SOUS 4203 HAS SOUPS 4203 WITH SCORE 4213.423
AT ITER 8328 NEW BEST:: SOT 26901 SOS 10421 HAS SOPS 10421 HAS SOUS 4203 HAS SOUPS 4203 WITH SCORE 4213.421
AT ITER 8336 NEW BEST:: SOT 26901 SOS 10403 HAS SOPS 10403 HAS SOUS 4194 HAS SOUPS 4194 WITH SCORE 4204.403
AT ITER 8359 NEW BEST:: SOT 26899 SOS 10401 HAS SOPS 10401 HAS SOUS 4192 HAS SOUPS 4192 WITH SCORE 4202.401
AT ITER 8405 NEW BEST:: SOT 26897 SOS 10397 HAS SOPS 10397 HAS SOUS 4189 HAS SOUPS 4189 WITH SCORE 4199.397
AT ITER 8429 NEW BEST:: SOT 26897 SOS 10388 HAS SOPS 10388 HAS SOUS 4186 HAS SOUPS 4186 WITH SCORE 4196.388
AT ITER 8466 NEW BEST:: SOT 26888 SOS 10377 HAS SOPS 10377 HAS SOUS 4184 HAS SOUPS 4184 WITH SCORE 4194.377
AT ITER 8617 NEW BEST:: SOT 26890 SOS 10373 HAS SOPS 10373 HAS SOUS 4181 HAS SOUPS 4181 WITH SCORE 4191.373
AT ITER 8648 NEW BEST:: SOT 26878 SOS 10361 HAS SOPS 10361 HAS SOUS 4169 HAS SOUPS 4169 WITH SCORE 4179.361
AT ITER 8723 NEW BEST:: SOT 26861 SOS 10336 HAS SOPS 10336 HAS SOUS 4164 HAS SOUPS 4164 WITH SCORE 4174.336
AT ITER 8728 NEW BEST:: SOT 26859 SOS 10329 HAS SOPS 10329 HAS SOUS 4160 HAS SOUPS 4160 WITH SCORE 4170.329
AT ITER 8790 NEW BEST:: SOT 26859 SOS 10329 HAS SOPS 10329 HAS SOUS 4158 HAS SOUPS 4158 WITH SCORE 4168.329
AT ITER 8837 NEW BEST:: SOT 26854 SOS 10303 HAS SOPS 10303 HAS SOUS 4142 HAS SOUPS 4142 WITH SCORE 4152.303
AT ITER 8982 NEW BEST:: SOT 26856 SOS 10306 HAS SOPS 10306 HAS SOUS 4141 HAS SOUPS 4141 WITH SCORE 4151.306
AT ITER 9003 NEW BEST:: SOT 26860 SOS 10306 HAS SOPS 10306 HAS SOUS 4139 HAS SOUPS 4139 WITH SCORE 4149.306
AT ITER 9070 NEW BEST:: SOT 26878 SOS 10328 HAS SOPS 10328 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4147.328
AT ITER 9112 NEW BEST:: SOT 26888 SOS 10326 HAS SOPS 10326 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4146.326
AT ITER 9167 NEW BEST:: SOT 26886 SOS 10328 HAS SOPS 10328 HAS SOUS 4134 HAS SOUPS 4134 WITH SCORE 4144.328
AT ITER 9288 NEW BEST:: SOT 26887 SOS 10332 HAS SOPS 10332 HAS SOUS 4132 HAS SOUPS 4132 WITH SCORE 4142.332
AT ITER 9294 NEW BEST:: SOT 26883 SOS 10326 HAS SOPS 10326 HAS SOUS 4126 HAS SOUPS 4126 WITH SCORE 4136.326
AT ITER 9367 NEW BEST:: SOT 26877 SOS 10300 HAS SOPS 10300 HAS SOUS 4124 HAS SOUPS 4124 WITH SCORE 4134.3
AT ITER 9370 NEW BEST:: SOT 26874 SOS 10297 HAS SOPS 10297 HAS SOUS 4124 HAS SOUPS 4124 WITH SCORE 4134.297
AT ITER 9389 NEW BEST:: SOT 26873 SOS 10296 HAS SOPS 10296 HAS SOUS 4120 HAS SOUPS 4120 WITH SCORE 4130.296
AT ITER 9407 NEW BEST:: SOT 26853 SOS 10279 HAS SOPS 10279 HAS SOUS 4110 HAS SOUPS 4110 WITH SCORE 4120.279
AT ITER 9482 NEW BEST:: SOT 26855 SOS 10280 HAS SOPS 10280 HAS SOUS 4109 HAS SOUPS 4109 WITH SCORE 4119.28
AT ITER 9510 NEW BEST:: SOT 26899 SOS 10285 HAS SOPS 10285 HAS SOUS 4089 HAS SOUPS 4089 WITH SCORE 4099.285
AT ITER 9519 NEW BEST:: SOT 26877 SOS 10258 HAS SOPS 10258 HAS SOUS 4072 HAS SOUPS 4072 WITH SCORE 4082.258
AT ITER 9630 NEW BEST:: SOT 26883 SOS 10252 HAS SOPS 10252 HAS SOUS 4067 HAS SOUPS 4067 WITH SCORE 4077.252
AT ITER 9645 NEW BEST:: SOT 26883 SOS 10251 HAS SOPS 10251 HAS SOUS 4067 HAS SOUPS 4067 WITH SCORE 4077.251
AT ITER 9728 NEW BEST:: SOT 26886 SOS 10248 HAS SOPS 10248 HAS SOUS 4064 HAS SOUPS 4064 WITH SCORE 4074.248
AT ITER 9779 NEW BEST:: SOT 26885 SOS 10244 HAS SOPS 10244 HAS SOUS 4060 HAS SOUPS 4060 WITH SCORE 4070.244
AT ITER 9783 NEW BEST:: SOT 26885 SOS 10243 HAS SOPS 10243 HAS SOUS 4059 HAS SOUPS 4059 WITH SCORE 4069.243
AT ITER 9933 NEW BEST:: SOT 26882 SOS 10237 HAS SOPS 10237 HAS SOUS 4057 HAS SOUPS 4057 WITH SCORE 4067.237
AT ITER 9954 NEW BEST:: SOT 26880 SOS 10235 HAS SOPS 10235 HAS SOUS 4055 HAS SOUPS 4055 WITH SCORE 4065.235
AT ITER 9977 NEW BEST:: SOT 26881 SOS 10232 HAS SOPS 10232 HAS SOUS 4054 HAS SOUPS 4054 WITH SCORE 4064.232
STATE_SPACE STATES 227119982712 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 35 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3146560152680 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679307309462

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

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="UtilityControlRoom-COL-Z2T3N10"
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 UtilityControlRoom-COL-Z2T3N10, 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 r491-tall-167912711200984"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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