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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 468K
-rw-r--r-- 1 mcc users 8.7K Feb 26 14:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 14:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 26 14:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 26 14:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 17:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 17:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 10K Feb 26 15:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 15:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 15:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 15:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 17:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:26 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 1679310215308

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-Z4T4N10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 11:03:37] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 11:03:37] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 11:03:37] [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 11:03:37] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-20 11:03:37] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 483 ms
[2023-03-20 11:03:37] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 376 PT places and 750.0 transition bindings in 15 ms.
[2023-03-20 11:03:37] [INFO ] Unfolded HLPN to a Petri net with 376 places and 750 transitions 2410 arcs in 27 ms.
[2023-03-20 11:03:37] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-20 11:03:37] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 376 places, 750 transitions and 2410 arcs took 9 ms.
Total runtime 630 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z4T4N10
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: 376 places, 750 transitions, 2410 arcs.
AT ITER 0 NEW BEST:: SOT 229612 SOS 183793 HAS SOPS 183793 HAS SOUS 101937 HAS SOUPS 101937 WITH SCORE 102120.793
AT ITER 4 NEW BEST:: SOT 229757 SOS 183367 HAS SOPS 183367 HAS SOUS 101903 HAS SOUPS 101903 WITH SCORE 102086.367
AT ITER 6 NEW BEST:: SOT 229757 SOS 183367 HAS SOPS 183367 HAS SOUS 101899 HAS SOUPS 101899 WITH SCORE 102082.367
AT ITER 9 NEW BEST:: SOT 229768 SOS 183389 HAS SOPS 183389 HAS SOUS 101804 HAS SOUPS 101804 WITH SCORE 101987.389
AT ITER 13 NEW BEST:: SOT 229796 SOS 183528 HAS SOPS 183528 HAS SOUS 101575 HAS SOUPS 101575 WITH SCORE 101758.528
AT ITER 16 NEW BEST:: SOT 229796 SOS 183447 HAS SOPS 183447 HAS SOUS 101548 HAS SOUPS 101548 WITH SCORE 101731.447
AT ITER 18 NEW BEST:: SOT 229796 SOS 182643 HAS SOPS 182643 HAS SOUS 101347 HAS SOUPS 101347 WITH SCORE 101529.643
AT ITER 20 NEW BEST:: SOT 229744 SOS 182591 HAS SOPS 182591 HAS SOUS 101087 HAS SOUPS 101087 WITH SCORE 101269.591
AT ITER 21 NEW BEST:: SOT 229679 SOS 182210 HAS SOPS 182210 HAS SOUS 100888 HAS SOUPS 100888 WITH SCORE 101070.21
AT ITER 22 NEW BEST:: SOT 229648 SOS 182148 HAS SOPS 182148 HAS SOUS 100573 HAS SOUPS 100573 WITH SCORE 100755.148
AT ITER 23 NEW BEST:: SOT 229628 SOS 182128 HAS SOPS 182128 HAS SOUS 100533 HAS SOUPS 100533 WITH SCORE 100715.128
AT ITER 25 NEW BEST:: SOT 229495 SOS 181918 HAS SOPS 181918 HAS SOUS 99935 HAS SOUPS 99935 WITH SCORE 100116.918
AT ITER 26 NEW BEST:: SOT 229495 SOS 181470 HAS SOPS 181470 HAS SOUS 99902 HAS SOUPS 99902 WITH SCORE 100083.47
AT ITER 27 NEW BEST:: SOT 229466 SOS 181528 HAS SOPS 181528 HAS SOUS 99786 HAS SOUPS 99786 WITH SCORE 99967.528
AT ITER 31 NEW BEST:: SOT 229382 SOS 181402 HAS SOPS 181402 HAS SOUS 99594 HAS SOUPS 99594 WITH SCORE 99775.402
AT ITER 32 NEW BEST:: SOT 229342 SOS 181322 HAS SOPS 181322 HAS SOUS 99077 HAS SOUPS 99077 WITH SCORE 99258.322
AT ITER 43 NEW BEST:: SOT 229128 SOS 177119 HAS SOPS 177119 HAS SOUS 98782 HAS SOUPS 98782 WITH SCORE 98959.119
AT ITER 44 NEW BEST:: SOT 229072 SOS 176859 HAS SOPS 176859 HAS SOUS 98392 HAS SOUPS 98392 WITH SCORE 98568.859
AT ITER 46 NEW BEST:: SOT 229004 SOS 176951 HAS SOPS 176951 HAS SOUS 98299 HAS SOUPS 98299 WITH SCORE 98475.951
AT ITER 54 NEW BEST:: SOT 228963 SOS 176491 HAS SOPS 176491 HAS SOUS 97795 HAS SOUPS 97795 WITH SCORE 97971.491
AT ITER 56 NEW BEST:: SOT 228904 SOS 176132 HAS SOPS 176132 HAS SOUS 97612 HAS SOUPS 97612 WITH SCORE 97788.132
AT ITER 58 NEW BEST:: SOT 228904 SOS 175516 HAS SOPS 175516 HAS SOUS 97458 HAS SOUPS 97458 WITH SCORE 97633.516
AT ITER 59 NEW BEST:: SOT 228904 SOS 175196 HAS SOPS 175196 HAS SOUS 97393 HAS SOUPS 97393 WITH SCORE 97568.196
AT ITER 60 NEW BEST:: SOT 228838 SOS 170092 HAS SOPS 170092 HAS SOUS 91808 HAS SOUPS 91808 WITH SCORE 91978.092
AT ITER 61 NEW BEST:: SOT 228485 SOS 169914 HAS SOPS 169914 HAS SOUS 91630 HAS SOUPS 91630 WITH SCORE 91799.914
AT ITER 63 NEW BEST:: SOT 228567 SOS 169963 HAS SOPS 169963 HAS SOUS 91290 HAS SOUPS 91290 WITH SCORE 91459.963
AT ITER 65 NEW BEST:: SOT 228579 SOS 169812 HAS SOPS 169812 HAS SOUS 91217 HAS SOUPS 91217 WITH SCORE 91386.812
AT ITER 67 NEW BEST:: SOT 228290 SOS 169215 HAS SOPS 169215 HAS SOUS 90687 HAS SOUPS 90687 WITH SCORE 90856.215
AT ITER 68 NEW BEST:: SOT 228290 SOS 169215 HAS SOPS 169215 HAS SOUS 90682 HAS SOUPS 90682 WITH SCORE 90851.215
AT ITER 69 NEW BEST:: SOT 228290 SOS 169117 HAS SOPS 169117 HAS SOUS 90622 HAS SOUPS 90622 WITH SCORE 90791.117
AT ITER 73 NEW BEST:: SOT 228132 SOS 168917 HAS SOPS 168917 HAS SOUS 90440 HAS SOUPS 90440 WITH SCORE 90608.917
AT ITER 74 NEW BEST:: SOT 228054 SOS 168795 HAS SOPS 168795 HAS SOUS 90284 HAS SOUPS 90284 WITH SCORE 90452.795
AT ITER 75 NEW BEST:: SOT 227979 SOS 168933 HAS SOPS 168933 HAS SOUS 90184 HAS SOUPS 90184 WITH SCORE 90352.933
AT ITER 78 NEW BEST:: SOT 227929 SOS 168784 HAS SOPS 168784 HAS SOUS 90128 HAS SOUPS 90128 WITH SCORE 90296.784
AT ITER 79 NEW BEST:: SOT 227843 SOS 168813 HAS SOPS 168813 HAS SOUS 90057 HAS SOUPS 90057 WITH SCORE 90225.813
AT ITER 80 NEW BEST:: SOT 227802 SOS 168249 HAS SOPS 168249 HAS SOUS 89442 HAS SOUPS 89442 WITH SCORE 89610.249
AT ITER 82 NEW BEST:: SOT 228080 SOS 168253 HAS SOPS 168253 HAS SOUS 89159 HAS SOUPS 89159 WITH SCORE 89327.253
AT ITER 83 NEW BEST:: SOT 228035 SOS 167467 HAS SOPS 167467 HAS SOUS 88537 HAS SOUPS 88537 WITH SCORE 88704.467
AT ITER 84 NEW BEST:: SOT 228157 SOS 167023 HAS SOPS 167023 HAS SOUS 88487 HAS SOUPS 88487 WITH SCORE 88654.023
AT ITER 86 NEW BEST:: SOT 228052 SOS 166758 HAS SOPS 166758 HAS SOUS 88358 HAS SOUPS 88358 WITH SCORE 88524.758
AT ITER 89 NEW BEST:: SOT 228027 SOS 165829 HAS SOPS 165829 HAS SOUS 87696 HAS SOUPS 87696 WITH SCORE 87861.829
AT ITER 90 NEW BEST:: SOT 228000 SOS 165734 HAS SOPS 165734 HAS SOUS 87648 HAS SOUPS 87648 WITH SCORE 87813.734
AT ITER 92 NEW BEST:: SOT 227716 SOS 159897 HAS SOPS 159897 HAS SOUS 83516 HAS SOUPS 83516 WITH SCORE 83675.897
AT ITER 93 NEW BEST:: SOT 227716 SOS 159285 HAS SOPS 159285 HAS SOUS 83342 HAS SOUPS 83342 WITH SCORE 83501.285
AT ITER 98 NEW BEST:: SOT 227635 SOS 158590 HAS SOPS 158590 HAS SOUS 81461 HAS SOUPS 81461 WITH SCORE 81619.59
AT ITER 99 NEW BEST:: SOT 227679 SOS 157758 HAS SOPS 157758 HAS SOUS 81444 HAS SOUPS 81444 WITH SCORE 81601.758
AT ITER 102 NEW BEST:: SOT 227651 SOS 156730 HAS SOPS 156730 HAS SOUS 81330 HAS SOUPS 81330 WITH SCORE 81486.73
AT ITER 103 NEW BEST:: SOT 227621 SOS 156670 HAS SOPS 156670 HAS SOUS 81232 HAS SOUPS 81232 WITH SCORE 81388.67
AT ITER 105 NEW BEST:: SOT 224295 SOS 154190 HAS SOPS 154190 HAS SOUS 77624 HAS SOUPS 77624 WITH SCORE 77778.19
AT ITER 107 NEW BEST:: SOT 223831 SOS 153782 HAS SOPS 153782 HAS SOUS 77414 HAS SOUPS 77414 WITH SCORE 77567.782
AT ITER 108 NEW BEST:: SOT 223799 SOS 153718 HAS SOPS 153718 HAS SOUS 77371 HAS SOUPS 77371 WITH SCORE 77524.718
AT ITER 109 NEW BEST:: SOT 223649 SOS 153518 HAS SOPS 153518 HAS SOUS 77088 HAS SOUPS 77088 WITH SCORE 77241.518
AT ITER 112 NEW BEST:: SOT 223422 SOS 153418 HAS SOPS 153418 HAS SOUS 76645 HAS SOUPS 76645 WITH SCORE 76798.418
AT ITER 113 NEW BEST:: SOT 223369 SOS 153064 HAS SOPS 153064 HAS SOUS 76486 HAS SOUPS 76486 WITH SCORE 76639.064
AT ITER 116 NEW BEST:: SOT 223414 SOS 152222 HAS SOPS 152222 HAS SOUS 76058 HAS SOUPS 76058 WITH SCORE 76210.222
AT ITER 117 NEW BEST:: SOT 223446 SOS 150909 HAS SOPS 150909 HAS SOUS 75957 HAS SOUPS 75957 WITH SCORE 76107.909
AT ITER 118 NEW BEST:: SOT 223442 SOS 150477 HAS SOPS 150477 HAS SOUS 75908 HAS SOUPS 75908 WITH SCORE 76058.477
AT ITER 119 NEW BEST:: SOT 223222 SOS 150641 HAS SOPS 150641 HAS SOUS 75677 HAS SOUPS 75677 WITH SCORE 75827.641
AT ITER 120 NEW BEST:: SOT 223210 SOS 150617 HAS SOPS 150617 HAS SOUS 75661 HAS SOUPS 75661 WITH SCORE 75811.617
AT ITER 122 NEW BEST:: SOT 223210 SOS 150511 HAS SOPS 150511 HAS SOUS 75608 HAS SOUPS 75608 WITH SCORE 75758.511
AT ITER 123 NEW BEST:: SOT 223101 SOS 150159 HAS SOPS 150159 HAS SOUS 75361 HAS SOUPS 75361 WITH SCORE 75511.159
AT ITER 126 NEW BEST:: SOT 223115 SOS 150147 HAS SOPS 150147 HAS SOUS 75348 HAS SOUPS 75348 WITH SCORE 75498.147
AT ITER 129 NEW BEST:: SOT 223115 SOS 150147 HAS SOPS 150147 HAS SOUS 75312 HAS SOUPS 75312 WITH SCORE 75462.147
AT ITER 133 NEW BEST:: SOT 223087 SOS 150156 HAS SOPS 150156 HAS SOUS 74978 HAS SOUPS 74978 WITH SCORE 75128.156
AT ITER 137 NEW BEST:: SOT 223067 SOS 150140 HAS SOPS 150140 HAS SOUS 74918 HAS SOUPS 74918 WITH SCORE 75068.14
AT ITER 140 NEW BEST:: SOT 222962 SOS 149677 HAS SOPS 149677 HAS SOUS 74664 HAS SOUPS 74664 WITH SCORE 74813.677
AT ITER 142 NEW BEST:: SOT 222962 SOS 149595 HAS SOPS 149595 HAS SOUS 74550 HAS SOUPS 74550 WITH SCORE 74699.595
AT ITER 144 NEW BEST:: SOT 222940 SOS 149573 HAS SOPS 149573 HAS SOUS 74528 HAS SOUPS 74528 WITH SCORE 74677.573
AT ITER 149 NEW BEST:: SOT 222643 SOS 148702 HAS SOPS 148702 HAS SOUS 74057 HAS SOUPS 74057 WITH SCORE 74205.702
AT ITER 151 NEW BEST:: SOT 222626 SOS 148685 HAS SOPS 148685 HAS SOUS 74050 HAS SOUPS 74050 WITH SCORE 74198.685
AT ITER 152 NEW BEST:: SOT 222573 SOS 148723 HAS SOPS 148723 HAS SOUS 73997 HAS SOUPS 73997 WITH SCORE 74145.723
AT ITER 155 NEW BEST:: SOT 222550 SOS 148746 HAS SOPS 148746 HAS SOUS 73951 HAS SOUPS 73951 WITH SCORE 74099.746
AT ITER 156 NEW BEST:: SOT 222495 SOS 148446 HAS SOPS 148446 HAS SOUS 73896 HAS SOUPS 73896 WITH SCORE 74044.446
AT ITER 159 NEW BEST:: SOT 222495 SOS 148446 HAS SOPS 148446 HAS SOUS 73729 HAS SOUPS 73729 WITH SCORE 73877.446
AT ITER 166 NEW BEST:: SOT 222430 SOS 148186 HAS SOPS 148186 HAS SOUS 73563 HAS SOUPS 73563 WITH SCORE 73711.186
AT ITER 174 NEW BEST:: SOT 222544 SOS 148579 HAS SOPS 148579 HAS SOUS 73354 HAS SOUPS 73354 WITH SCORE 73502.579
AT ITER 175 NEW BEST:: SOT 222399 SOS 148384 HAS SOPS 148384 HAS SOUS 73114 HAS SOUPS 73114 WITH SCORE 73262.384
AT ITER 185 NEW BEST:: SOT 222399 SOS 148058 HAS SOPS 148058 HAS SOUS 73114 HAS SOUPS 73114 WITH SCORE 73262.058
AT ITER 186 NEW BEST:: SOT 222341 SOS 147906 HAS SOPS 147906 HAS SOUS 73052 HAS SOUPS 73052 WITH SCORE 73199.906
AT ITER 187 NEW BEST:: SOT 222376 SOS 147910 HAS SOPS 147910 HAS SOUS 72987 HAS SOUPS 72987 WITH SCORE 73134.91
AT ITER 190 NEW BEST:: SOT 222303 SOS 147104 HAS SOPS 147104 HAS SOUS 72677 HAS SOUPS 72677 WITH SCORE 72824.104
AT ITER 191 NEW BEST:: SOT 222303 SOS 147000 HAS SOPS 147000 HAS SOUS 72677 HAS SOUPS 72677 WITH SCORE 72824.0
AT ITER 192 NEW BEST:: SOT 222303 SOS 147077 HAS SOPS 147077 HAS SOUS 72600 HAS SOUPS 72600 WITH SCORE 72747.077
AT ITER 193 NEW BEST:: SOT 222361 SOS 147193 HAS SOPS 147193 HAS SOUS 72546 HAS SOUPS 72546 WITH SCORE 72693.193
AT ITER 195 NEW BEST:: SOT 222310 SOS 147311 HAS SOPS 147311 HAS SOUS 72536 HAS SOUPS 72536 WITH SCORE 72683.311
AT ITER 198 NEW BEST:: SOT 222329 SOS 147075 HAS SOPS 147075 HAS SOUS 72241 HAS SOUPS 72241 WITH SCORE 72388.075
AT ITER 199 NEW BEST:: SOT 222329 SOS 147075 HAS SOPS 147075 HAS SOUS 72237 HAS SOUPS 72237 WITH SCORE 72384.075
AT ITER 207 NEW BEST:: SOT 222313 SOS 147075 HAS SOPS 147075 HAS SOUS 72235 HAS SOUPS 72235 WITH SCORE 72382.075
AT ITER 209 NEW BEST:: SOT 222313 SOS 146828 HAS SOPS 146828 HAS SOUS 72128 HAS SOUPS 72128 WITH SCORE 72274.828
AT ITER 211 NEW BEST:: SOT 222263 SOS 146380 HAS SOPS 146380 HAS SOUS 71837 HAS SOUPS 71837 WITH SCORE 71983.38
AT ITER 218 NEW BEST:: SOT 222263 SOS 146622 HAS SOPS 146622 HAS SOUS 71815 HAS SOUPS 71815 WITH SCORE 71961.622
AT ITER 219 NEW BEST:: SOT 222263 SOS 146342 HAS SOPS 146342 HAS SOUS 71762 HAS SOUPS 71762 WITH SCORE 71908.342
AT ITER 220 NEW BEST:: SOT 222255 SOS 146572 HAS SOPS 146572 HAS SOUS 71744 HAS SOUPS 71744 WITH SCORE 71890.572
AT ITER 221 NEW BEST:: SOT 222223 SOS 146470 HAS SOPS 146470 HAS SOUS 71647 HAS SOUPS 71647 WITH SCORE 71793.47
AT ITER 229 NEW BEST:: SOT 222211 SOS 146386 HAS SOPS 146386 HAS SOUS 71611 HAS SOUPS 71611 WITH SCORE 71757.386
AT ITER 238 NEW BEST:: SOT 222165 SOS 146162 HAS SOPS 146162 HAS SOUS 71559 HAS SOUPS 71559 WITH SCORE 71705.162
AT ITER 239 NEW BEST:: SOT 222110 SOS 145352 HAS SOPS 145352 HAS SOUS 71385 HAS SOUPS 71385 WITH SCORE 71530.352
AT ITER 245 NEW BEST:: SOT 222035 SOS 145408 HAS SOPS 145408 HAS SOUS 70968 HAS SOUPS 70968 WITH SCORE 71113.408
AT ITER 247 NEW BEST:: SOT 222027 SOS 145400 HAS SOPS 145400 HAS SOUS 70952 HAS SOUPS 70952 WITH SCORE 71097.4
AT ITER 248 NEW BEST:: SOT 222016 SOS 145389 HAS SOPS 145389 HAS SOUS 70930 HAS SOUPS 70930 WITH SCORE 71075.389
AT ITER 249 NEW BEST:: SOT 222002 SOS 144939 HAS SOPS 144939 HAS SOUS 70875 HAS SOUPS 70875 WITH SCORE 71019.939
AT ITER 250 NEW BEST:: SOT 221942 SOS 144758 HAS SOPS 144758 HAS SOUS 70805 HAS SOUPS 70805 WITH SCORE 70949.758
AT ITER 255 NEW BEST:: SOT 221791 SOS 144132 HAS SOPS 144132 HAS SOUS 70647 HAS SOUPS 70647 WITH SCORE 70791.132
AT ITER 256 NEW BEST:: SOT 221771 SOS 144041 HAS SOPS 144041 HAS SOUS 70610 HAS SOUPS 70610 WITH SCORE 70754.041
AT ITER 257 NEW BEST:: SOT 221984 SOS 144004 HAS SOPS 144004 HAS SOUS 70583 HAS SOUPS 70583 WITH SCORE 70727.004
AT ITER 259 NEW BEST:: SOT 222094 SOS 143937 HAS SOPS 143937 HAS SOUS 70502 HAS SOUPS 70502 WITH SCORE 70645.937
AT ITER 262 NEW BEST:: SOT 201524 SOS 123905 HAS SOPS 123905 HAS SOUS 58953 HAS SOUPS 58953 WITH SCORE 59076.905
AT ITER 265 NEW BEST:: SOT 201447 SOS 123047 HAS SOPS 123047 HAS SOUS 58700 HAS SOUPS 58700 WITH SCORE 58823.047
AT ITER 267 NEW BEST:: SOT 201446 SOS 123012 HAS SOPS 123012 HAS SOUS 58644 HAS SOUPS 58644 WITH SCORE 58767.012
AT ITER 274 NEW BEST:: SOT 201510 SOS 122896 HAS SOPS 122896 HAS SOUS 58618 HAS SOUPS 58618 WITH SCORE 58740.896
AT ITER 281 NEW BEST:: SOT 201510 SOS 122478 HAS SOPS 122478 HAS SOUS 58607 HAS SOUPS 58607 WITH SCORE 58729.478
AT ITER 286 NEW BEST:: SOT 201056 SOS 122092 HAS SOPS 122092 HAS SOUS 58401 HAS SOUPS 58401 WITH SCORE 58523.092
AT ITER 289 NEW BEST:: SOT 201016 SOS 121439 HAS SOPS 121439 HAS SOUS 58193 HAS SOUPS 58193 WITH SCORE 58314.439
AT ITER 290 NEW BEST:: SOT 200874 SOS 121297 HAS SOPS 121297 HAS SOUS 58112 HAS SOUPS 58112 WITH SCORE 58233.297
AT ITER 291 NEW BEST:: SOT 200873 SOS 121160 HAS SOPS 121160 HAS SOUS 58103 HAS SOUPS 58103 WITH SCORE 58224.16
AT ITER 294 NEW BEST:: SOT 200788 SOS 121182 HAS SOPS 121182 HAS SOUS 57958 HAS SOUPS 57958 WITH SCORE 58079.182
AT ITER 295 NEW BEST:: SOT 200767 SOS 121140 HAS SOPS 121140 HAS SOUS 57937 HAS SOUPS 57937 WITH SCORE 58058.14
AT ITER 299 NEW BEST:: SOT 200640 SOS 120718 HAS SOPS 120718 HAS SOUS 57818 HAS SOUPS 57818 WITH SCORE 57938.718
AT ITER 303 NEW BEST:: SOT 200527 SOS 120418 HAS SOPS 120418 HAS SOUS 57705 HAS SOUPS 57705 WITH SCORE 57825.418
AT ITER 304 NEW BEST:: SOT 200527 SOS 120418 HAS SOPS 120418 HAS SOUS 57704 HAS SOUPS 57704 WITH SCORE 57824.418
AT ITER 308 NEW BEST:: SOT 200498 SOS 120312 HAS SOPS 120312 HAS SOUS 57525 HAS SOUPS 57525 WITH SCORE 57645.312
AT ITER 309 NEW BEST:: SOT 200421 SOS 119648 HAS SOPS 119648 HAS SOUS 57435 HAS SOUPS 57435 WITH SCORE 57554.648
AT ITER 313 NEW BEST:: SOT 200348 SOS 119764 HAS SOPS 119764 HAS SOUS 57312 HAS SOUPS 57312 WITH SCORE 57431.764
AT ITER 314 NEW BEST:: SOT 200318 SOS 119734 HAS SOPS 119734 HAS SOUS 57156 HAS SOUPS 57156 WITH SCORE 57275.734
AT ITER 315 NEW BEST:: SOT 200192 SOS 119363 HAS SOPS 119363 HAS SOUS 57063 HAS SOUPS 57063 WITH SCORE 57182.363
AT ITER 317 NEW BEST:: SOT 200185 SOS 119567 HAS SOPS 119567 HAS SOUS 57056 HAS SOUPS 57056 WITH SCORE 57175.567
AT ITER 320 NEW BEST:: SOT 200153 SOS 119657 HAS SOPS 119657 HAS SOUS 56928 HAS SOUPS 56928 WITH SCORE 57047.657
AT ITER 322 NEW BEST:: SOT 200107 SOS 119611 HAS SOPS 119611 HAS SOUS 56862 HAS SOUPS 56862 WITH SCORE 56981.611
AT ITER 323 NEW BEST:: SOT 200083 SOS 119609 HAS SOPS 119609 HAS SOUS 56817 HAS SOUPS 56817 WITH SCORE 56936.609
AT ITER 324 NEW BEST:: SOT 200048 SOS 119574 HAS SOPS 119574 HAS SOUS 56805 HAS SOUPS 56805 WITH SCORE 56924.574
AT ITER 326 NEW BEST:: SOT 200038 SOS 119241 HAS SOPS 119241 HAS SOUS 56759 HAS SOUPS 56759 WITH SCORE 56878.241
AT ITER 335 NEW BEST:: SOT 200038 SOS 119241 HAS SOPS 119241 HAS SOUS 56758 HAS SOUPS 56758 WITH SCORE 56877.241
AT ITER 340 NEW BEST:: SOT 199981 SOS 118824 HAS SOPS 118824 HAS SOUS 56545 HAS SOUPS 56545 WITH SCORE 56663.824
AT ITER 342 NEW BEST:: SOT 199965 SOS 119069 HAS SOPS 119069 HAS SOUS 56401 HAS SOUPS 56401 WITH SCORE 56520.069
AT ITER 350 NEW BEST:: SOT 200217 SOS 119908 HAS SOPS 119908 HAS SOUS 56357 HAS SOUPS 56357 WITH SCORE 56476.908
AT ITER 354 NEW BEST:: SOT 200202 SOS 119894 HAS SOPS 119894 HAS SOUS 56341 HAS SOUPS 56341 WITH SCORE 56460.894
AT ITER 355 NEW BEST:: SOT 200169 SOS 119466 HAS SOPS 119466 HAS SOUS 56146 HAS SOUPS 56146 WITH SCORE 56265.466
AT ITER 356 NEW BEST:: SOT 200103 SOS 119493 HAS SOPS 119493 HAS SOUS 56053 HAS SOUPS 56053 WITH SCORE 56172.493
AT ITER 364 NEW BEST:: SOT 200073 SOS 119433 HAS SOPS 119433 HAS SOUS 56023 HAS SOUPS 56023 WITH SCORE 56142.433
AT ITER 373 NEW BEST:: SOT 200055 SOS 119415 HAS SOPS 119415 HAS SOUS 56005 HAS SOUPS 56005 WITH SCORE 56124.415
AT ITER 374 NEW BEST:: SOT 200055 SOS 119361 HAS SOPS 119361 HAS SOUS 55987 HAS SOUPS 55987 WITH SCORE 56106.361
AT ITER 375 NEW BEST:: SOT 199979 SOS 119197 HAS SOPS 119197 HAS SOUS 55855 HAS SOUPS 55855 WITH SCORE 55974.197
AT ITER 381 NEW BEST:: SOT 199895 SOS 119227 HAS SOPS 119227 HAS SOUS 55705 HAS SOUPS 55705 WITH SCORE 55824.227
AT ITER 385 NEW BEST:: SOT 199907 SOS 118417 HAS SOPS 118417 HAS SOUS 55468 HAS SOUPS 55468 WITH SCORE 55586.417
AT ITER 389 NEW BEST:: SOT 199907 SOS 118278 HAS SOPS 118278 HAS SOUS 55457 HAS SOUPS 55457 WITH SCORE 55575.278
AT ITER 390 NEW BEST:: SOT 199874 SOS 117736 HAS SOPS 117736 HAS SOUS 55281 HAS SOUPS 55281 WITH SCORE 55398.736
AT ITER 391 NEW BEST:: SOT 199885 SOS 117565 HAS SOPS 117565 HAS SOUS 55133 HAS SOUPS 55133 WITH SCORE 55250.565
AT ITER 392 NEW BEST:: SOT 199846 SOS 117663 HAS SOPS 117663 HAS SOUS 55044 HAS SOUPS 55044 WITH SCORE 55161.663
AT ITER 397 NEW BEST:: SOT 200048 SOS 117401 HAS SOPS 117401 HAS SOUS 55010 HAS SOUPS 55010 WITH SCORE 55127.401
AT ITER 404 NEW BEST:: SOT 200048 SOS 117616 HAS SOPS 117616 HAS SOUS 54967 HAS SOUPS 54967 WITH SCORE 55084.616
AT ITER 414 NEW BEST:: SOT 199965 SOS 117511 HAS SOPS 117511 HAS SOUS 54896 HAS SOUPS 54896 WITH SCORE 55013.511
AT ITER 426 NEW BEST:: SOT 199967 SOS 117580 HAS SOPS 117580 HAS SOUS 54876 HAS SOUPS 54876 WITH SCORE 54993.58
AT ITER 427 NEW BEST:: SOT 200029 SOS 117210 HAS SOPS 117210 HAS SOUS 54566 HAS SOUPS 54566 WITH SCORE 54683.21
AT ITER 434 NEW BEST:: SOT 199983 SOS 117118 HAS SOPS 117118 HAS SOUS 54505 HAS SOUPS 54505 WITH SCORE 54622.118
AT ITER 439 NEW BEST:: SOT 199992 SOS 117137 HAS SOPS 117137 HAS SOUS 54486 HAS SOUPS 54486 WITH SCORE 54603.137
AT ITER 445 NEW BEST:: SOT 199992 SOS 117137 HAS SOPS 117137 HAS SOUS 54429 HAS SOUPS 54429 WITH SCORE 54546.137
AT ITER 447 NEW BEST:: SOT 199935 SOS 112679 HAS SOPS 112679 HAS SOUS 53830 HAS SOUPS 53830 WITH SCORE 53942.679
AT ITER 448 NEW BEST:: SOT 199837 SOS 112467 HAS SOPS 112467 HAS SOUS 53775 HAS SOUPS 53775 WITH SCORE 53887.467
AT ITER 459 NEW BEST:: SOT 199918 SOS 112548 HAS SOPS 112548 HAS SOUS 53702 HAS SOUPS 53702 WITH SCORE 53814.548
AT ITER 469 NEW BEST:: SOT 199874 SOS 112336 HAS SOPS 112336 HAS SOUS 53638 HAS SOUPS 53638 WITH SCORE 53750.336
AT ITER 470 NEW BEST:: SOT 199874 SOS 112030 HAS SOPS 112030 HAS SOUS 53622 HAS SOUPS 53622 WITH SCORE 53734.03
AT ITER 478 NEW BEST:: SOT 199874 SOS 112030 HAS SOPS 112030 HAS SOUS 53618 HAS SOUPS 53618 WITH SCORE 53730.03
AT ITER 485 NEW BEST:: SOT 199874 SOS 111874 HAS SOPS 111874 HAS SOUS 53618 HAS SOUPS 53618 WITH SCORE 53729.874
AT ITER 487 NEW BEST:: SOT 199995 SOS 111452 HAS SOPS 111452 HAS SOUS 53489 HAS SOUPS 53489 WITH SCORE 53600.452
AT ITER 494 NEW BEST:: SOT 199995 SOS 111410 HAS SOPS 111410 HAS SOUS 53489 HAS SOUPS 53489 WITH SCORE 53600.41
AT ITER 504 NEW BEST:: SOT 199968 SOS 111148 HAS SOPS 111148 HAS SOUS 53462 HAS SOUPS 53462 WITH SCORE 53573.148
AT ITER 510 NEW BEST:: SOT 200074 SOS 110441 HAS SOPS 110441 HAS SOUS 53043 HAS SOUPS 53043 WITH SCORE 53153.441
AT ITER 517 NEW BEST:: SOT 200046 SOS 110862 HAS SOPS 110862 HAS SOUS 52877 HAS SOUPS 52877 WITH SCORE 52987.862
AT ITER 522 NEW BEST:: SOT 200175 SOS 110714 HAS SOPS 110714 HAS SOUS 52821 HAS SOUPS 52821 WITH SCORE 52931.714
AT ITER 523 NEW BEST:: SOT 200186 SOS 110665 HAS SOPS 110665 HAS SOUS 52793 HAS SOUPS 52793 WITH SCORE 52903.665
AT ITER 524 NEW BEST:: SOT 200145 SOS 109971 HAS SOPS 109971 HAS SOUS 52440 HAS SOUPS 52440 WITH SCORE 52549.971
AT ITER 536 NEW BEST:: SOT 200106 SOS 109942 HAS SOPS 109942 HAS SOUS 52431 HAS SOUPS 52431 WITH SCORE 52540.942
AT ITER 542 NEW BEST:: SOT 200106 SOS 109938 HAS SOPS 109938 HAS SOUS 52431 HAS SOUPS 52431 WITH SCORE 52540.938
AT ITER 547 NEW BEST:: SOT 200254 SOS 109676 HAS SOPS 109676 HAS SOUS 52329 HAS SOUPS 52329 WITH SCORE 52438.676
AT ITER 565 NEW BEST:: SOT 200254 SOS 109664 HAS SOPS 109664 HAS SOUS 52318 HAS SOUPS 52318 WITH SCORE 52427.664
AT ITER 566 NEW BEST:: SOT 200246 SOS 109632 HAS SOPS 109632 HAS SOUS 52302 HAS SOUPS 52302 WITH SCORE 52411.632
AT ITER 570 NEW BEST:: SOT 200685 SOS 109595 HAS SOPS 109595 HAS SOUS 52114 HAS SOUPS 52114 WITH SCORE 52223.595
AT ITER 574 NEW BEST:: SOT 200771 SOS 109681 HAS SOPS 109681 HAS SOUS 52104 HAS SOUPS 52104 WITH SCORE 52213.681
AT ITER 581 NEW BEST:: SOT 200687 SOS 109927 HAS SOPS 109927 HAS SOUS 51990 HAS SOUPS 51990 WITH SCORE 52099.927
AT ITER 584 NEW BEST:: SOT 200559 SOS 109799 HAS SOPS 109799 HAS SOUS 51915 HAS SOUPS 51915 WITH SCORE 52024.799
AT ITER 587 NEW BEST:: SOT 200580 SOS 109741 HAS SOPS 109741 HAS SOUS 51896 HAS SOUPS 51896 WITH SCORE 52005.741
AT ITER 591 NEW BEST:: SOT 200475 SOS 109951 HAS SOPS 109951 HAS SOUS 51807 HAS SOUPS 51807 WITH SCORE 51916.951
AT ITER 592 NEW BEST:: SOT 200330 SOS 109692 HAS SOPS 109692 HAS SOUS 51543 HAS SOUPS 51543 WITH SCORE 51652.692
AT ITER 595 NEW BEST:: SOT 200330 SOS 109692 HAS SOPS 109692 HAS SOUS 51475 HAS SOUPS 51475 WITH SCORE 51584.692
AT ITER 597 NEW BEST:: SOT 200308 SOS 109648 HAS SOPS 109648 HAS SOUS 51453 HAS SOUPS 51453 WITH SCORE 51562.648
AT ITER 598 NEW BEST:: SOT 200308 SOS 109548 HAS SOPS 109548 HAS SOUS 51431 HAS SOUPS 51431 WITH SCORE 51540.548
AT ITER 601 NEW BEST:: SOT 200204 SOS 109782 HAS SOPS 109782 HAS SOUS 51345 HAS SOUPS 51345 WITH SCORE 51454.782
AT ITER 605 NEW BEST:: SOT 200143 SOS 109708 HAS SOPS 109708 HAS SOUS 51296 HAS SOUPS 51296 WITH SCORE 51405.708
AT ITER 616 NEW BEST:: SOT 200144 SOS 109110 HAS SOPS 109110 HAS SOUS 51120 HAS SOUPS 51120 WITH SCORE 51229.11
AT ITER 617 NEW BEST:: SOT 200124 SOS 108399 HAS SOPS 108399 HAS SOUS 51032 HAS SOUPS 51032 WITH SCORE 51140.399
AT ITER 620 NEW BEST:: SOT 200116 SOS 108361 HAS SOPS 108361 HAS SOUS 51027 HAS SOUPS 51027 WITH SCORE 51135.361
AT ITER 621 NEW BEST:: SOT 200048 SOS 107460 HAS SOPS 107460 HAS SOUS 50807 HAS SOUPS 50807 WITH SCORE 50914.46
AT ITER 622 NEW BEST:: SOT 200036 SOS 107490 HAS SOPS 107490 HAS SOUS 50774 HAS SOUPS 50774 WITH SCORE 50881.49
AT ITER 627 NEW BEST:: SOT 200062 SOS 107529 HAS SOPS 107529 HAS SOUS 50761 HAS SOUPS 50761 WITH SCORE 50868.529
AT ITER 632 NEW BEST:: SOT 200060 SOS 107521 HAS SOPS 107521 HAS SOUS 50760 HAS SOUPS 50760 WITH SCORE 50867.521
AT ITER 636 NEW BEST:: SOT 199659 SOS 107120 HAS SOPS 107120 HAS SOUS 50582 HAS SOUPS 50582 WITH SCORE 50689.12
AT ITER 637 NEW BEST:: SOT 199539 SOS 106948 HAS SOPS 106948 HAS SOUS 50466 HAS SOUPS 50466 WITH SCORE 50572.948
AT ITER 638 NEW BEST:: SOT 199527 SOS 106525 HAS SOPS 106525 HAS SOUS 50388 HAS SOUPS 50388 WITH SCORE 50494.525
AT ITER 646 NEW BEST:: SOT 199398 SOS 106396 HAS SOPS 106396 HAS SOUS 50279 HAS SOUPS 50279 WITH SCORE 50385.396
AT ITER 649 NEW BEST:: SOT 199296 SOS 106294 HAS SOPS 106294 HAS SOUS 50254 HAS SOUPS 50254 WITH SCORE 50360.294
AT ITER 650 NEW BEST:: SOT 199109 SOS 106130 HAS SOPS 106130 HAS SOUS 50140 HAS SOUPS 50140 WITH SCORE 50246.13
AT ITER 656 NEW BEST:: SOT 199106 SOS 106013 HAS SOPS 106013 HAS SOUS 50064 HAS SOUPS 50064 WITH SCORE 50170.013
AT ITER 662 NEW BEST:: SOT 199106 SOS 105957 HAS SOPS 105957 HAS SOUS 50063 HAS SOUPS 50063 WITH SCORE 50168.957
AT ITER 675 NEW BEST:: SOT 199106 SOS 105987 HAS SOPS 105987 HAS SOUS 50057 HAS SOUPS 50057 WITH SCORE 50162.987
AT ITER 676 NEW BEST:: SOT 199176 SOS 106041 HAS SOPS 106041 HAS SOUS 50046 HAS SOUPS 50046 WITH SCORE 50152.041
AT ITER 678 NEW BEST:: SOT 199164 SOS 106039 HAS SOPS 106039 HAS SOUS 50033 HAS SOUPS 50033 WITH SCORE 50139.039
AT ITER 688 NEW BEST:: SOT 199153 SOS 106017 HAS SOPS 106017 HAS SOUS 50011 HAS SOUPS 50011 WITH SCORE 50117.017
AT ITER 690 NEW BEST:: SOT 199153 SOS 106007 HAS SOPS 106007 HAS SOUS 49931 HAS SOUPS 49931 WITH SCORE 50037.007
AT ITER 691 NEW BEST:: SOT 199151 SOS 106001 HAS SOPS 106001 HAS SOUS 49931 HAS SOUPS 49931 WITH SCORE 50037.001
AT ITER 695 NEW BEST:: SOT 199140 SOS 106003 HAS SOPS 106003 HAS SOUS 49889 HAS SOUPS 49889 WITH SCORE 49995.003
AT ITER 697 NEW BEST:: SOT 199134 SOS 105985 HAS SOPS 105985 HAS SOUS 49871 HAS SOUPS 49871 WITH SCORE 49976.985
AT ITER 699 NEW BEST:: SOT 199134 SOS 105913 HAS SOPS 105913 HAS SOUS 49827 HAS SOUPS 49827 WITH SCORE 49932.913
AT ITER 709 NEW BEST:: SOT 199134 SOS 105911 HAS SOPS 105911 HAS SOUS 49824 HAS SOUPS 49824 WITH SCORE 49929.911
AT ITER 710 NEW BEST:: SOT 199046 SOS 105958 HAS SOPS 105958 HAS SOUS 49739 HAS SOUPS 49739 WITH SCORE 49844.958
AT ITER 712 NEW BEST:: SOT 199037 SOS 106182 HAS SOPS 106182 HAS SOUS 49730 HAS SOUPS 49730 WITH SCORE 49836.182
AT ITER 718 NEW BEST:: SOT 195193 SOS 116343 HAS SOPS 116343 HAS SOUS 49481 HAS SOUPS 49481 WITH SCORE 49597.343
AT ITER 722 NEW BEST:: SOT 195227 SOS 116377 HAS SOPS 116377 HAS SOUS 49473 HAS SOUPS 49473 WITH SCORE 49589.377
AT ITER 725 NEW BEST:: SOT 195215 SOS 116369 HAS SOPS 116369 HAS SOUS 49471 HAS SOUPS 49471 WITH SCORE 49587.369
AT ITER 730 NEW BEST:: SOT 195281 SOS 116474 HAS SOPS 116474 HAS SOUS 49418 HAS SOUPS 49418 WITH SCORE 49534.474
AT ITER 731 NEW BEST:: SOT 195318 SOS 116286 HAS SOPS 116286 HAS SOUS 49284 HAS SOUPS 49284 WITH SCORE 49400.286
AT ITER 741 NEW BEST:: SOT 195315 SOS 116271 HAS SOPS 116271 HAS SOUS 49270 HAS SOUPS 49270 WITH SCORE 49386.271
AT ITER 748 NEW BEST:: SOT 195301 SOS 116310 HAS SOPS 116310 HAS SOUS 49237 HAS SOUPS 49237 WITH SCORE 49353.31
AT ITER 752 NEW BEST:: SOT 195229 SOS 116424 HAS SOPS 116424 HAS SOUS 49093 HAS SOUPS 49093 WITH SCORE 49209.424
AT ITER 756 NEW BEST:: SOT 195189 SOS 116384 HAS SOPS 116384 HAS SOUS 48960 HAS SOUPS 48960 WITH SCORE 49076.384
AT ITER 774 NEW BEST:: SOT 195189 SOS 116364 HAS SOPS 116364 HAS SOUS 48925 HAS SOUPS 48925 WITH SCORE 49041.364
AT ITER 780 NEW BEST:: SOT 195114 SOS 116289 HAS SOPS 116289 HAS SOUS 48825 HAS SOUPS 48825 WITH SCORE 48941.289
AT ITER 781 NEW BEST:: SOT 195114 SOS 116275 HAS SOPS 116275 HAS SOUS 48797 HAS SOUPS 48797 WITH SCORE 48913.275
AT ITER 786 NEW BEST:: SOT 195063 SOS 116207 HAS SOPS 116207 HAS SOUS 48712 HAS SOUPS 48712 WITH SCORE 48828.207
AT ITER 788 NEW BEST:: SOT 195044 SOS 115843 HAS SOPS 115843 HAS SOUS 48699 HAS SOUPS 48699 WITH SCORE 48814.843
AT ITER 800 NEW BEST:: SOT 195019 SOS 115933 HAS SOPS 115933 HAS SOUS 48693 HAS SOUPS 48693 WITH SCORE 48808.933
AT ITER 801 NEW BEST:: SOT 195019 SOS 115743 HAS SOPS 115743 HAS SOUS 48609 HAS SOUPS 48609 WITH SCORE 48724.743
AT ITER 807 NEW BEST:: SOT 195019 SOS 115743 HAS SOPS 115743 HAS SOUS 48601 HAS SOUPS 48601 WITH SCORE 48716.743
AT ITER 820 NEW BEST:: SOT 195003 SOS 115661 HAS SOPS 115661 HAS SOUS 48533 HAS SOUPS 48533 WITH SCORE 48648.661
AT ITER 822 NEW BEST:: SOT 194929 SOS 115365 HAS SOPS 115365 HAS SOUS 48388 HAS SOUPS 48388 WITH SCORE 48503.365
AT ITER 825 NEW BEST:: SOT 194929 SOS 115217 HAS SOPS 115217 HAS SOUS 48166 HAS SOUPS 48166 WITH SCORE 48281.217
AT ITER 830 NEW BEST:: SOT 195208 SOS 114868 HAS SOPS 114868 HAS SOUS 47601 HAS SOUPS 47601 WITH SCORE 47715.868
AT ITER 834 NEW BEST:: SOT 195064 SOS 114602 HAS SOPS 114602 HAS SOUS 47386 HAS SOUPS 47386 WITH SCORE 47500.602
AT ITER 844 NEW BEST:: SOT 195064 SOS 114620 HAS SOPS 114620 HAS SOUS 47368 HAS SOUPS 47368 WITH SCORE 47482.62
AT ITER 848 NEW BEST:: SOT 195032 SOS 114416 HAS SOPS 114416 HAS SOUS 47210 HAS SOUPS 47210 WITH SCORE 47324.416
AT ITER 849 NEW BEST:: SOT 195032 SOS 114346 HAS SOPS 114346 HAS SOUS 47137 HAS SOUPS 47137 WITH SCORE 47251.346
AT ITER 853 NEW BEST:: SOT 194943 SOS 114192 HAS SOPS 114192 HAS SOUS 46982 HAS SOUPS 46982 WITH SCORE 47096.192
AT ITER 859 NEW BEST:: SOT 194887 SOS 114151 HAS SOPS 114151 HAS SOUS 46960 HAS SOUPS 46960 WITH SCORE 47074.151
AT ITER 864 NEW BEST:: SOT 194643 SOS 113899 HAS SOPS 113899 HAS SOUS 46619 HAS SOUPS 46619 WITH SCORE 46732.899
AT ITER 883 NEW BEST:: SOT 194577 SOS 113782 HAS SOPS 113782 HAS SOUS 46553 HAS SOUPS 46553 WITH SCORE 46666.782
AT ITER 884 NEW BEST:: SOT 194582 SOS 113948 HAS SOPS 113948 HAS SOUS 46449 HAS SOUPS 46449 WITH SCORE 46562.948
AT ITER 887 NEW BEST:: SOT 194562 SOS 113928 HAS SOPS 113928 HAS SOUS 46420 HAS SOUPS 46420 WITH SCORE 46533.928
AT ITER 889 NEW BEST:: SOT 194562 SOS 113927 HAS SOPS 113927 HAS SOUS 46406 HAS SOUPS 46406 WITH SCORE 46519.927
AT ITER 892 NEW BEST:: SOT 194495 SOS 114173 HAS SOPS 114173 HAS SOUS 46339 HAS SOUPS 46339 WITH SCORE 46453.173
AT ITER 893 NEW BEST:: SOT 194467 SOS 114117 HAS SOPS 114117 HAS SOUS 46283 HAS SOUPS 46283 WITH SCORE 46397.117
AT ITER 900 NEW BEST:: SOT 194438 SOS 113636 HAS SOPS 113636 HAS SOUS 46128 HAS SOUPS 46128 WITH SCORE 46241.636
AT ITER 901 NEW BEST:: SOT 194416 SOS 113580 HAS SOPS 113580 HAS SOUS 46074 HAS SOUPS 46074 WITH SCORE 46187.58
AT ITER 912 NEW BEST:: SOT 194378 SOS 113454 HAS SOPS 113454 HAS SOUS 45985 HAS SOUPS 45985 WITH SCORE 46098.454
AT ITER 913 NEW BEST:: SOT 194336 SOS 113328 HAS SOPS 113328 HAS SOUS 45931 HAS SOUPS 45931 WITH SCORE 46044.328
AT ITER 926 NEW BEST:: SOT 194274 SOS 113401 HAS SOPS 113401 HAS SOUS 45841 HAS SOUPS 45841 WITH SCORE 45954.401
AT ITER 932 NEW BEST:: SOT 194274 SOS 113249 HAS SOPS 113249 HAS SOUS 45765 HAS SOUPS 45765 WITH SCORE 45878.249
AT ITER 935 NEW BEST:: SOT 194268 SOS 113221 HAS SOPS 113221 HAS SOUS 45759 HAS SOUPS 45759 WITH SCORE 45872.221
AT ITER 940 NEW BEST:: SOT 194240 SOS 113087 HAS SOPS 113087 HAS SOUS 45618 HAS SOUPS 45618 WITH SCORE 45731.087
AT ITER 942 NEW BEST:: SOT 196154 SOS 99894 HAS SOPS 99894 HAS SOUS 45557 HAS SOUPS 45557 WITH SCORE 45656.894
AT ITER 949 NEW BEST:: SOT 196192 SOS 100176 HAS SOPS 100176 HAS SOUS 45498 HAS SOUPS 45498 WITH SCORE 45598.176
AT ITER 950 NEW BEST:: SOT 196080 SOS 100064 HAS SOPS 100064 HAS SOUS 45469 HAS SOUPS 45469 WITH SCORE 45569.064
AT ITER 952 NEW BEST:: SOT 196080 SOS 100064 HAS SOPS 100064 HAS SOUS 45448 HAS SOUPS 45448 WITH SCORE 45548.064
AT ITER 955 NEW BEST:: SOT 193390 SOS 106425 HAS SOPS 106425 HAS SOUS 45038 HAS SOUPS 45038 WITH SCORE 45144.425
AT ITER 961 NEW BEST:: SOT 193320 SOS 106355 HAS SOPS 106355 HAS SOUS 45004 HAS SOUPS 45004 WITH SCORE 45110.355
AT ITER 963 NEW BEST:: SOT 193274 SOS 105573 HAS SOPS 105573 HAS SOUS 44984 HAS SOUPS 44984 WITH SCORE 45089.573
AT ITER 965 NEW BEST:: SOT 193274 SOS 105510 HAS SOPS 105510 HAS SOUS 44984 HAS SOUPS 44984 WITH SCORE 45089.51
AT ITER 977 NEW BEST:: SOT 193180 SOS 105481 HAS SOPS 105481 HAS SOUS 44976 HAS SOUPS 44976 WITH SCORE 45081.481
AT ITER 981 NEW BEST:: SOT 193032 SOS 105333 HAS SOPS 105333 HAS SOUS 44830 HAS SOUPS 44830 WITH SCORE 44935.333
AT ITER 986 NEW BEST:: SOT 193050 SOS 105211 HAS SOPS 105211 HAS SOUS 44820 HAS SOUPS 44820 WITH SCORE 44925.211
AT ITER 989 NEW BEST:: SOT 193017 SOS 105312 HAS SOPS 105312 HAS SOUS 44744 HAS SOUPS 44744 WITH SCORE 44849.312
AT ITER 990 NEW BEST:: SOT 192978 SOS 105288 HAS SOPS 105288 HAS SOUS 44717 HAS SOUPS 44717 WITH SCORE 44822.288
AT ITER 995 NEW BEST:: SOT 192909 SOS 105263 HAS SOPS 105263 HAS SOUS 44705 HAS SOUPS 44705 WITH SCORE 44810.263
AT ITER 1006 NEW BEST:: SOT 192837 SOS 105093 HAS SOPS 105093 HAS SOUS 44588 HAS SOUPS 44588 WITH SCORE 44693.093
AT ITER 1012 NEW BEST:: SOT 192740 SOS 104995 HAS SOPS 104995 HAS SOUS 44491 HAS SOUPS 44491 WITH SCORE 44595.995
AT ITER 1013 NEW BEST:: SOT 192472 SOS 104851 HAS SOPS 104851 HAS SOUS 44313 HAS SOUPS 44313 WITH SCORE 44417.851
AT ITER 1022 NEW BEST:: SOT 192477 SOS 104754 HAS SOPS 104754 HAS SOUS 44269 HAS SOUPS 44269 WITH SCORE 44373.754
AT ITER 1027 NEW BEST:: SOT 192464 SOS 104728 HAS SOPS 104728 HAS SOUS 44243 HAS SOUPS 44243 WITH SCORE 44347.728
AT ITER 1040 NEW BEST:: SOT 192406 SOS 104635 HAS SOPS 104635 HAS SOUS 44074 HAS SOUPS 44074 WITH SCORE 44178.635
AT ITER 1043 NEW BEST:: SOT 192451 SOS 104635 HAS SOPS 104635 HAS SOUS 44063 HAS SOUPS 44063 WITH SCORE 44167.635
AT ITER 1046 NEW BEST:: SOT 192400 SOS 104485 HAS SOPS 104485 HAS SOUS 43623 HAS SOUPS 43623 WITH SCORE 43727.485
AT ITER 1058 NEW BEST:: SOT 192382 SOS 104321 HAS SOPS 104321 HAS SOUS 43522 HAS SOUPS 43522 WITH SCORE 43626.321
AT ITER 1075 NEW BEST:: SOT 192342 SOS 104241 HAS SOPS 104241 HAS SOUS 43502 HAS SOUPS 43502 WITH SCORE 43606.241
AT ITER 1079 NEW BEST:: SOT 192336 SOS 104235 HAS SOPS 104235 HAS SOUS 43495 HAS SOUPS 43495 WITH SCORE 43599.235
AT ITER 1086 NEW BEST:: SOT 192391 SOS 104151 HAS SOPS 104151 HAS SOUS 43485 HAS SOUPS 43485 WITH SCORE 43589.151
AT ITER 1087 NEW BEST:: SOT 192392 SOS 104152 HAS SOPS 104152 HAS SOUS 43355 HAS SOUPS 43355 WITH SCORE 43459.152
AT ITER 1091 NEW BEST:: SOT 192416 SOS 104155 HAS SOPS 104155 HAS SOUS 43261 HAS SOUPS 43261 WITH SCORE 43365.155
AT ITER 1111 NEW BEST:: SOT 192398 SOS 104059 HAS SOPS 104059 HAS SOUS 43204 HAS SOUPS 43204 WITH SCORE 43308.059
AT ITER 1112 NEW BEST:: SOT 192481 SOS 104265 HAS SOPS 104265 HAS SOUS 43201 HAS SOUPS 43201 WITH SCORE 43305.265
AT ITER 1113 NEW BEST:: SOT 192479 SOS 104263 HAS SOPS 104263 HAS SOUS 43199 HAS SOUPS 43199 WITH SCORE 43303.263
AT ITER 1136 NEW BEST:: SOT 192452 SOS 104019 HAS SOPS 104019 HAS SOUS 43107 HAS SOUPS 43107 WITH SCORE 43211.019
AT ITER 1147 NEW BEST:: SOT 192532 SOS 103661 HAS SOPS 103661 HAS SOUS 43068 HAS SOUPS 43068 WITH SCORE 43171.661
AT ITER 1158 NEW BEST:: SOT 192532 SOS 103661 HAS SOPS 103661 HAS SOUS 43066 HAS SOUPS 43066 WITH SCORE 43169.661
AT ITER 1165 NEW BEST:: SOT 192532 SOS 103661 HAS SOPS 103661 HAS SOUS 43059 HAS SOUPS 43059 WITH SCORE 43162.661
AT ITER 1179 NEW BEST:: SOT 192516 SOS 103597 HAS SOPS 103597 HAS SOUS 43011 HAS SOUPS 43011 WITH SCORE 43114.597
AT ITER 1186 NEW BEST:: SOT 192494 SOS 103575 HAS SOPS 103575 HAS SOUS 43001 HAS SOUPS 43001 WITH SCORE 43104.575
AT ITER 1205 NEW BEST:: SOT 192499 SOS 103414 HAS SOPS 103414 HAS SOUS 42988 HAS SOUPS 42988 WITH SCORE 43091.414
AT ITER 1212 NEW BEST:: SOT 192476 SOS 103391 HAS SOPS 103391 HAS SOUS 42983 HAS SOUPS 42983 WITH SCORE 43086.391
AT ITER 1216 NEW BEST:: SOT 192469 SOS 103427 HAS SOPS 103427 HAS SOUS 42970 HAS SOUPS 42970 WITH SCORE 43073.427
AT ITER 1221 NEW BEST:: SOT 192362 SOS 102790 HAS SOPS 102790 HAS SOUS 42949 HAS SOUPS 42949 WITH SCORE 43051.79
AT ITER 1222 NEW BEST:: SOT 192362 SOS 102790 HAS SOPS 102790 HAS SOUS 42945 HAS SOUPS 42945 WITH SCORE 43047.79
AT ITER 1234 NEW BEST:: SOT 192275 SOS 102609 HAS SOPS 102609 HAS SOUS 42872 HAS SOUPS 42872 WITH SCORE 42974.609
AT ITER 1252 NEW BEST:: SOT 192274 SOS 102607 HAS SOPS 102607 HAS SOUS 42870 HAS SOUPS 42870 WITH SCORE 42972.607
AT ITER 1254 NEW BEST:: SOT 190089 SOS 101733 HAS SOPS 101733 HAS SOUS 41979 HAS SOUPS 41979 WITH SCORE 42080.733
AT ITER 1273 NEW BEST:: SOT 190054 SOS 101503 HAS SOPS 101503 HAS SOUS 41784 HAS SOUPS 41784 WITH SCORE 41885.503
AT ITER 1285 NEW BEST:: SOT 190079 SOS 101528 HAS SOPS 101528 HAS SOUS 41734 HAS SOUPS 41734 WITH SCORE 41835.528
AT ITER 1292 NEW BEST:: SOT 189987 SOS 101208 HAS SOPS 101208 HAS SOUS 41695 HAS SOUPS 41695 WITH SCORE 41796.208
AT ITER 1294 NEW BEST:: SOT 189696 SOS 100917 HAS SOPS 100917 HAS SOUS 41626 HAS SOUPS 41626 WITH SCORE 41726.917
AT ITER 1297 NEW BEST:: SOT 189722 SOS 100931 HAS SOPS 100931 HAS SOUS 41601 HAS SOUPS 41601 WITH SCORE 41701.931
AT ITER 1298 NEW BEST:: SOT 189722 SOS 100925 HAS SOPS 100925 HAS SOUS 41601 HAS SOUPS 41601 WITH SCORE 41701.925
AT ITER 1301 NEW BEST:: SOT 189712 SOS 100915 HAS SOPS 100915 HAS SOUS 41591 HAS SOUPS 41591 WITH SCORE 41691.915
AT ITER 1306 NEW BEST:: SOT 189685 SOS 100885 HAS SOPS 100885 HAS SOUS 41564 HAS SOUPS 41564 WITH SCORE 41664.885
AT ITER 1311 NEW BEST:: SOT 189671 SOS 100871 HAS SOPS 100871 HAS SOUS 41564 HAS SOUPS 41564 WITH SCORE 41664.871
AT ITER 1312 NEW BEST:: SOT 189671 SOS 100867 HAS SOPS 100867 HAS SOUS 41564 HAS SOUPS 41564 WITH SCORE 41664.867
AT ITER 1319 NEW BEST:: SOT 189720 SOS 100528 HAS SOPS 100528 HAS SOUS 41540 HAS SOUPS 41540 WITH SCORE 41640.528
AT ITER 1322 NEW BEST:: SOT 189733 SOS 100551 HAS SOPS 100551 HAS SOUS 41538 HAS SOUPS 41538 WITH SCORE 41638.551
AT ITER 1331 NEW BEST:: SOT 189637 SOS 100277 HAS SOPS 100277 HAS SOUS 41415 HAS SOUPS 41415 WITH SCORE 41515.277
AT ITER 1338 NEW BEST:: SOT 189559 SOS 100199 HAS SOPS 100199 HAS SOUS 41337 HAS SOUPS 41337 WITH SCORE 41437.199
AT ITER 1343 NEW BEST:: SOT 189416 SOS 99696 HAS SOPS 99696 HAS SOUS 41325 HAS SOUPS 41325 WITH SCORE 41424.696
AT ITER 1344 NEW BEST:: SOT 189416 SOS 99696 HAS SOPS 99696 HAS SOUS 41299 HAS SOUPS 41299 WITH SCORE 41398.696
AT ITER 1347 NEW BEST:: SOT 189325 SOS 99629 HAS SOPS 99629 HAS SOUS 41289 HAS SOUPS 41289 WITH SCORE 41388.629
AT ITER 1361 NEW BEST:: SOT 189321 SOS 99762 HAS SOPS 99762 HAS SOUS 41281 HAS SOUPS 41281 WITH SCORE 41380.762
AT ITER 1365 NEW BEST:: SOT 189321 SOS 99762 HAS SOPS 99762 HAS SOUS 41278 HAS SOUPS 41278 WITH SCORE 41377.762
AT ITER 1369 NEW BEST:: SOT 189316 SOS 99752 HAS SOPS 99752 HAS SOUS 41271 HAS SOUPS 41271 WITH SCORE 41370.752
AT ITER 1370 NEW BEST:: SOT 189224 SOS 99594 HAS SOPS 99594 HAS SOUS 41238 HAS SOUPS 41238 WITH SCORE 41337.594
AT ITER 1401 NEW BEST:: SOT 189224 SOS 99594 HAS SOPS 99594 HAS SOUS 41236 HAS SOUPS 41236 WITH SCORE 41335.594
AT ITER 1416 NEW BEST:: SOT 189182 SOS 99262 HAS SOPS 99262 HAS SOUS 41134 HAS SOUPS 41134 WITH SCORE 41233.262
AT ITER 1420 NEW BEST:: SOT 189178 SOS 99262 HAS SOPS 99262 HAS SOUS 41130 HAS SOUPS 41130 WITH SCORE 41229.262
AT ITER 1423 NEW BEST:: SOT 189162 SOS 99246 HAS SOPS 99246 HAS SOUS 41091 HAS SOUPS 41091 WITH SCORE 41190.246
AT ITER 1451 NEW BEST:: SOT 189031 SOS 99387 HAS SOPS 99387 HAS SOUS 40829 HAS SOUPS 40829 WITH SCORE 40928.387
AT ITER 1469 NEW BEST:: SOT 189031 SOS 99383 HAS SOPS 99383 HAS SOUS 40829 HAS SOUPS 40829 WITH SCORE 40928.383
AT ITER 1470 NEW BEST:: SOT 189031 SOS 99383 HAS SOPS 99383 HAS SOUS 40801 HAS SOUPS 40801 WITH SCORE 40900.383
AT ITER 1476 NEW BEST:: SOT 189171 SOS 99880 HAS SOPS 99880 HAS SOUS 40796 HAS SOUPS 40796 WITH SCORE 40895.88
AT ITER 1477 NEW BEST:: SOT 189307 SOS 99340 HAS SOPS 99340 HAS SOUS 40771 HAS SOUPS 40771 WITH SCORE 40870.34
AT ITER 1486 NEW BEST:: SOT 189205 SOS 98326 HAS SOPS 98326 HAS SOUS 40706 HAS SOUPS 40706 WITH SCORE 40804.326
AT ITER 1491 NEW BEST:: SOT 189210 SOS 98294 HAS SOPS 98294 HAS SOUS 40685 HAS SOUPS 40685 WITH SCORE 40783.294
AT ITER 1508 NEW BEST:: SOT 189099 SOS 98030 HAS SOPS 98030 HAS SOUS 40636 HAS SOUPS 40636 WITH SCORE 40734.03
AT ITER 1521 NEW BEST:: SOT 189161 SOS 98092 HAS SOPS 98092 HAS SOUS 40624 HAS SOUPS 40624 WITH SCORE 40722.092
AT ITER 1541 NEW BEST:: SOT 189161 SOS 98092 HAS SOPS 98092 HAS SOUS 40617 HAS SOUPS 40617 WITH SCORE 40715.092
AT ITER 1551 NEW BEST:: SOT 189129 SOS 98060 HAS SOPS 98060 HAS SOUS 40585 HAS SOUPS 40585 WITH SCORE 40683.06
AT ITER 1558 NEW BEST:: SOT 189129 SOS 98060 HAS SOPS 98060 HAS SOUS 40547 HAS SOUPS 40547 WITH SCORE 40645.06
AT ITER 1560 NEW BEST:: SOT 189123 SOS 98060 HAS SOPS 98060 HAS SOUS 40544 HAS SOUPS 40544 WITH SCORE 40642.06
AT ITER 1561 NEW BEST:: SOT 189071 SOS 98121 HAS SOPS 98121 HAS SOUS 40440 HAS SOUPS 40440 WITH SCORE 40538.121
AT ITER 1565 NEW BEST:: SOT 189089 SOS 98095 HAS SOPS 98095 HAS SOUS 40439 HAS SOUPS 40439 WITH SCORE 40537.095
AT ITER 1600 NEW BEST:: SOT 189035 SOS 97234 HAS SOPS 97234 HAS SOUS 40141 HAS SOUPS 40141 WITH SCORE 40238.234
AT ITER 1609 NEW BEST:: SOT 189105 SOS 97269 HAS SOPS 97269 HAS SOUS 40104 HAS SOUPS 40104 WITH SCORE 40201.269
AT ITER 1634 NEW BEST:: SOT 186461 SOS 108024 HAS SOPS 108024 HAS SOUS 39630 HAS SOUPS 39630 WITH SCORE 39738.024
AT ITER 1635 NEW BEST:: SOT 186434 SOS 107997 HAS SOPS 107997 HAS SOUS 39564 HAS SOUPS 39564 WITH SCORE 39671.997
AT ITER 1657 NEW BEST:: SOT 186434 SOS 107869 HAS SOPS 107869 HAS SOUS 39542 HAS SOUPS 39542 WITH SCORE 39649.869
AT ITER 1683 NEW BEST:: SOT 186434 SOS 107869 HAS SOPS 107869 HAS SOUS 39540 HAS SOUPS 39540 WITH SCORE 39647.869
AT ITER 1690 NEW BEST:: SOT 186518 SOS 107881 HAS SOPS 107881 HAS SOUS 39386 HAS SOUPS 39386 WITH SCORE 39493.881
AT ITER 1695 NEW BEST:: SOT 186518 SOS 107521 HAS SOPS 107521 HAS SOUS 39327 HAS SOUPS 39327 WITH SCORE 39434.521
AT ITER 1700 NEW BEST:: SOT 186550 SOS 107460 HAS SOPS 107460 HAS SOUS 39278 HAS SOUPS 39278 WITH SCORE 39385.46
AT ITER 1704 NEW BEST:: SOT 186550 SOS 107450 HAS SOPS 107450 HAS SOUS 39278 HAS SOUPS 39278 WITH SCORE 39385.45
AT ITER 1711 NEW BEST:: SOT 186491 SOS 107392 HAS SOPS 107392 HAS SOUS 39233 HAS SOUPS 39233 WITH SCORE 39340.392
AT ITER 1722 NEW BEST:: SOT 186408 SOS 107309 HAS SOPS 107309 HAS SOUS 39202 HAS SOUPS 39202 WITH SCORE 39309.309
AT ITER 1725 NEW BEST:: SOT 186408 SOS 107287 HAS SOPS 107287 HAS SOUS 39180 HAS SOUPS 39180 WITH SCORE 39287.287
AT ITER 1726 NEW BEST:: SOT 186395 SOS 107295 HAS SOPS 107295 HAS SOUS 39176 HAS SOUPS 39176 WITH SCORE 39283.295
AT ITER 1741 NEW BEST:: SOT 186383 SOS 107235 HAS SOPS 107235 HAS SOUS 39152 HAS SOUPS 39152 WITH SCORE 39259.235
AT ITER 1743 NEW BEST:: SOT 186350 SOS 107185 HAS SOPS 107185 HAS SOUS 39152 HAS SOUPS 39152 WITH SCORE 39259.185
AT ITER 1749 NEW BEST:: SOT 186343 SOS 107171 HAS SOPS 107171 HAS SOUS 39140 HAS SOUPS 39140 WITH SCORE 39247.171
AT ITER 1754 NEW BEST:: SOT 186342 SOS 107133 HAS SOPS 107133 HAS SOUS 39130 HAS SOUPS 39130 WITH SCORE 39237.133
AT ITER 1766 NEW BEST:: SOT 186253 SOS 107035 HAS SOPS 107035 HAS SOUS 39035 HAS SOUPS 39035 WITH SCORE 39142.035
AT ITER 1769 NEW BEST:: SOT 186238 SOS 106975 HAS SOPS 106975 HAS SOUS 39020 HAS SOUPS 39020 WITH SCORE 39126.975
AT ITER 1779 NEW BEST:: SOT 186229 SOS 106927 HAS SOPS 106927 HAS SOUS 39002 HAS SOUPS 39002 WITH SCORE 39108.927
AT ITER 1782 NEW BEST:: SOT 186175 SOS 106903 HAS SOPS 106903 HAS SOUS 38953 HAS SOUPS 38953 WITH SCORE 39059.903
AT ITER 1787 NEW BEST:: SOT 186383 SOS 107126 HAS SOPS 107126 HAS SOUS 38848 HAS SOUPS 38848 WITH SCORE 38955.126
AT ITER 1791 NEW BEST:: SOT 186383 SOS 107010 HAS SOPS 107010 HAS SOUS 38838 HAS SOUPS 38838 WITH SCORE 38945.01
AT ITER 1818 NEW BEST:: SOT 186383 SOS 107010 HAS SOPS 107010 HAS SOUS 38815 HAS SOUPS 38815 WITH SCORE 38922.01
AT ITER 1820 NEW BEST:: SOT 186476 SOS 106033 HAS SOPS 106033 HAS SOUS 38744 HAS SOUPS 38744 WITH SCORE 38850.033
AT ITER 1827 NEW BEST:: SOT 186511 SOS 106092 HAS SOPS 106092 HAS SOUS 38741 HAS SOUPS 38741 WITH SCORE 38847.092
AT ITER 1833 NEW BEST:: SOT 186511 SOS 105998 HAS SOPS 105998 HAS SOUS 38741 HAS SOUPS 38741 WITH SCORE 38846.998
AT ITER 1852 NEW BEST:: SOT 186512 SOS 98115 HAS SOPS 98115 HAS SOUS 38666 HAS SOUPS 38666 WITH SCORE 38764.115
AT ITER 1853 NEW BEST:: SOT 186538 SOS 98110 HAS SOPS 98110 HAS SOUS 38661 HAS SOUPS 38661 WITH SCORE 38759.11
AT ITER 1854 NEW BEST:: SOT 186538 SOS 98244 HAS SOPS 98244 HAS SOUS 38654 HAS SOUPS 38654 WITH SCORE 38752.244
AT ITER 1855 NEW BEST:: SOT 186301 SOS 97795 HAS SOPS 97795 HAS SOUS 38609 HAS SOUPS 38609 WITH SCORE 38706.795
AT ITER 1867 NEW BEST:: SOT 186302 SOS 97796 HAS SOPS 97796 HAS SOUS 38607 HAS SOUPS 38607 WITH SCORE 38704.796
AT ITER 1876 NEW BEST:: SOT 186256 SOS 97470 HAS SOPS 97470 HAS SOUS 38506 HAS SOUPS 38506 WITH SCORE 38603.47
AT ITER 1877 NEW BEST:: SOT 186251 SOS 97381 HAS SOPS 97381 HAS SOUS 38501 HAS SOUPS 38501 WITH SCORE 38598.381
AT ITER 1880 NEW BEST:: SOT 186251 SOS 97359 HAS SOPS 97359 HAS SOUS 38501 HAS SOUPS 38501 WITH SCORE 38598.359
AT ITER 1881 NEW BEST:: SOT 186222 SOS 97823 HAS SOPS 97823 HAS SOUS 38332 HAS SOUPS 38332 WITH SCORE 38429.823
AT ITER 1885 NEW BEST:: SOT 186222 SOS 97839 HAS SOPS 97839 HAS SOUS 38324 HAS SOUPS 38324 WITH SCORE 38421.839
AT ITER 1889 NEW BEST:: SOT 186200 SOS 97795 HAS SOPS 97795 HAS SOUS 38324 HAS SOUPS 38324 WITH SCORE 38421.795
AT ITER 1898 NEW BEST:: SOT 186152 SOS 97750 HAS SOPS 97750 HAS SOUS 38262 HAS SOUPS 38262 WITH SCORE 38359.75
AT ITER 1899 NEW BEST:: SOT 186152 SOS 97745 HAS SOPS 97745 HAS SOUS 38261 HAS SOUPS 38261 WITH SCORE 38358.745
AT ITER 1917 NEW BEST:: SOT 186205 SOS 97752 HAS SOPS 97752 HAS SOUS 38244 HAS SOUPS 38244 WITH SCORE 38341.752
AT ITER 1918 NEW BEST:: SOT 186275 SOS 95620 HAS SOPS 95620 HAS SOUS 37934 HAS SOUPS 37934 WITH SCORE 38029.62
AT ITER 1947 NEW BEST:: SOT 186268 SOS 95592 HAS SOPS 95592 HAS SOUS 37927 HAS SOUPS 37927 WITH SCORE 38022.592
AT ITER 1954 NEW BEST:: SOT 186232 SOS 95440 HAS SOPS 95440 HAS SOUS 37880 HAS SOUPS 37880 WITH SCORE 37975.44
AT ITER 1978 NEW BEST:: SOT 186218 SOS 95426 HAS SOPS 95426 HAS SOUS 37864 HAS SOUPS 37864 WITH SCORE 37959.426
AT ITER 1988 NEW BEST:: SOT 186188 SOS 95336 HAS SOPS 95336 HAS SOUS 37846 HAS SOUPS 37846 WITH SCORE 37941.336
AT ITER 2011 NEW BEST:: SOT 186216 SOS 95364 HAS SOPS 95364 HAS SOUS 37830 HAS SOUPS 37830 WITH SCORE 37925.364
AT ITER 2015 NEW BEST:: SOT 186269 SOS 95507 HAS SOPS 95507 HAS SOUS 37798 HAS SOUPS 37798 WITH SCORE 37893.507
AT ITER 2022 NEW BEST:: SOT 186181 SOS 95419 HAS SOPS 95419 HAS SOUS 37767 HAS SOUPS 37767 WITH SCORE 37862.419
AT ITER 2034 NEW BEST:: SOT 186242 SOS 95359 HAS SOPS 95359 HAS SOUS 37736 HAS SOUPS 37736 WITH SCORE 37831.359
AT ITER 2036 NEW BEST:: SOT 186246 SOS 95386 HAS SOPS 95386 HAS SOUS 37721 HAS SOUPS 37721 WITH SCORE 37816.386
AT ITER 2048 NEW BEST:: SOT 186068 SOS 95151 HAS SOPS 95151 HAS SOUS 37696 HAS SOUPS 37696 WITH SCORE 37791.151
AT ITER 2059 NEW BEST:: SOT 186039 SOS 95100 HAS SOPS 95100 HAS SOUS 37577 HAS SOUPS 37577 WITH SCORE 37672.1
AT ITER 2085 NEW BEST:: SOT 186029 SOS 95062 HAS SOPS 95062 HAS SOUS 37510 HAS SOUPS 37510 WITH SCORE 37605.062
AT ITER 2090 NEW BEST:: SOT 186164 SOS 95205 HAS SOPS 95205 HAS SOUS 37481 HAS SOUPS 37481 WITH SCORE 37576.205
AT ITER 2097 NEW BEST:: SOT 186018 SOS 94697 HAS SOPS 94697 HAS SOUS 37376 HAS SOUPS 37376 WITH SCORE 37470.697
AT ITER 2117 NEW BEST:: SOT 185891 SOS 94528 HAS SOPS 94528 HAS SOUS 37167 HAS SOUPS 37167 WITH SCORE 37261.528
AT ITER 2128 NEW BEST:: SOT 185309 SOS 93946 HAS SOPS 93946 HAS SOUS 36791 HAS SOUPS 36791 WITH SCORE 36884.946
AT ITER 2132 NEW BEST:: SOT 185075 SOS 93604 HAS SOPS 93604 HAS SOUS 36493 HAS SOUPS 36493 WITH SCORE 36586.604
AT ITER 2138 NEW BEST:: SOT 184943 SOS 93446 HAS SOPS 93446 HAS SOUS 36298 HAS SOUPS 36298 WITH SCORE 36391.446
AT ITER 2142 NEW BEST:: SOT 184899 SOS 93558 HAS SOPS 93558 HAS SOUS 36194 HAS SOUPS 36194 WITH SCORE 36287.558
AT ITER 2155 NEW BEST:: SOT 181887 SOS 90546 HAS SOPS 90546 HAS SOUS 34173 HAS SOUPS 34173 WITH SCORE 34263.546
AT ITER 2164 NEW BEST:: SOT 181845 SOS 90504 HAS SOPS 90504 HAS SOUS 34131 HAS SOUPS 34131 WITH SCORE 34221.504
AT ITER 2166 NEW BEST:: SOT 181645 SOS 90192 HAS SOPS 90192 HAS SOUS 33769 HAS SOUPS 33769 WITH SCORE 33859.192
AT ITER 2180 NEW BEST:: SOT 181491 SOS 89884 HAS SOPS 89884 HAS SOUS 33615 HAS SOUPS 33615 WITH SCORE 33704.884
AT ITER 2184 NEW BEST:: SOT 181553 SOS 89925 HAS SOPS 89925 HAS SOUS 33614 HAS SOUPS 33614 WITH SCORE 33703.925
AT ITER 2187 NEW BEST:: SOT 181352 SOS 89802 HAS SOPS 89802 HAS SOUS 33578 HAS SOUPS 33578 WITH SCORE 33667.802
AT ITER 2199 NEW BEST:: SOT 181324 SOS 89774 HAS SOPS 89774 HAS SOUS 33568 HAS SOUPS 33568 WITH SCORE 33657.774
AT ITER 2208 NEW BEST:: SOT 181339 SOS 89857 HAS SOPS 89857 HAS SOUS 33549 HAS SOUPS 33549 WITH SCORE 33638.857
AT ITER 2212 NEW BEST:: SOT 181267 SOS 89785 HAS SOPS 89785 HAS SOUS 33543 HAS SOUPS 33543 WITH SCORE 33632.785
AT ITER 2218 NEW BEST:: SOT 181391 SOS 89724 HAS SOPS 89724 HAS SOUS 33535 HAS SOUPS 33535 WITH SCORE 33624.724
AT ITER 2225 NEW BEST:: SOT 181385 SOS 89718 HAS SOPS 89718 HAS SOUS 33526 HAS SOUPS 33526 WITH SCORE 33615.718
AT ITER 2252 NEW BEST:: SOT 181320 SOS 89491 HAS SOPS 89491 HAS SOUS 33523 HAS SOUPS 33523 WITH SCORE 33612.491
AT ITER 2264 NEW BEST:: SOT 181258 SOS 89391 HAS SOPS 89391 HAS SOUS 33485 HAS SOUPS 33485 WITH SCORE 33574.391
AT ITER 2267 NEW BEST:: SOT 181153 SOS 89146 HAS SOPS 89146 HAS SOUS 33310 HAS SOUPS 33310 WITH SCORE 33399.146
AT ITER 2287 NEW BEST:: SOT 181143 SOS 89134 HAS SOPS 89134 HAS SOUS 33294 HAS SOUPS 33294 WITH SCORE 33383.134
AT ITER 2291 NEW BEST:: SOT 181218 SOS 89176 HAS SOPS 89176 HAS SOUS 33199 HAS SOUPS 33199 WITH SCORE 33288.176
AT ITER 2314 NEW BEST:: SOT 181161 SOS 89119 HAS SOPS 89119 HAS SOUS 33169 HAS SOUPS 33169 WITH SCORE 33258.119
AT ITER 2317 NEW BEST:: SOT 181160 SOS 89119 HAS SOPS 89119 HAS SOUS 33137 HAS SOUPS 33137 WITH SCORE 33226.119
AT ITER 2320 NEW BEST:: SOT 181146 SOS 89091 HAS SOPS 89091 HAS SOUS 33120 HAS SOUPS 33120 WITH SCORE 33209.091
AT ITER 2337 NEW BEST:: SOT 181131 SOS 89136 HAS SOPS 89136 HAS SOUS 33105 HAS SOUPS 33105 WITH SCORE 33194.136
AT ITER 2358 NEW BEST:: SOT 181131 SOS 89136 HAS SOPS 89136 HAS SOUS 33104 HAS SOUPS 33104 WITH SCORE 33193.136
AT ITER 2359 NEW BEST:: SOT 181131 SOS 89136 HAS SOPS 89136 HAS SOUS 33094 HAS SOUPS 33094 WITH SCORE 33183.136
AT ITER 2368 NEW BEST:: SOT 181137 SOS 89142 HAS SOPS 89142 HAS SOUS 33086 HAS SOUPS 33086 WITH SCORE 33175.142
AT ITER 2372 NEW BEST:: SOT 181073 SOS 88950 HAS SOPS 88950 HAS SOUS 32990 HAS SOUPS 32990 WITH SCORE 33078.95
AT ITER 2379 NEW BEST:: SOT 181004 SOS 88676 HAS SOPS 88676 HAS SOUS 32921 HAS SOUPS 32921 WITH SCORE 33009.676
AT ITER 2380 NEW BEST:: SOT 180966 SOS 88607 HAS SOPS 88607 HAS SOUS 32883 HAS SOUPS 32883 WITH SCORE 32971.607
AT ITER 2391 NEW BEST:: SOT 180963 SOS 88592 HAS SOPS 88592 HAS SOUS 32877 HAS SOUPS 32877 WITH SCORE 32965.592
AT ITER 2401 NEW BEST:: SOT 180947 SOS 88524 HAS SOPS 88524 HAS SOUS 32857 HAS SOUPS 32857 WITH SCORE 32945.524
AT ITER 2402 NEW BEST:: SOT 180945 SOS 88526 HAS SOPS 88526 HAS SOUS 32855 HAS SOUPS 32855 WITH SCORE 32943.526
AT ITER 2424 NEW BEST:: SOT 180893 SOS 88447 HAS SOPS 88447 HAS SOUS 32829 HAS SOUPS 32829 WITH SCORE 32917.447
AT ITER 2445 NEW BEST:: SOT 180891 SOS 88445 HAS SOPS 88445 HAS SOUS 32827 HAS SOUPS 32827 WITH SCORE 32915.445
AT ITER 2449 NEW BEST:: SOT 180652 SOS 87179 HAS SOPS 87179 HAS SOUS 32637 HAS SOUPS 32637 WITH SCORE 32724.179
AT ITER 2458 NEW BEST:: SOT 180613 SOS 86982 HAS SOPS 86982 HAS SOUS 32510 HAS SOUPS 32510 WITH SCORE 32596.982
AT ITER 2471 NEW BEST:: SOT 180605 SOS 86990 HAS SOPS 86990 HAS SOUS 32494 HAS SOUPS 32494 WITH SCORE 32580.99
AT ITER 2485 NEW BEST:: SOT 180703 SOS 86916 HAS SOPS 86916 HAS SOUS 32460 HAS SOUPS 32460 WITH SCORE 32546.916
AT ITER 2487 NEW BEST:: SOT 180693 SOS 86868 HAS SOPS 86868 HAS SOUS 32396 HAS SOUPS 32396 WITH SCORE 32482.868
AT ITER 2489 NEW BEST:: SOT 180655 SOS 86790 HAS SOPS 86790 HAS SOUS 32340 HAS SOUPS 32340 WITH SCORE 32426.79
AT ITER 2510 NEW BEST:: SOT 180640 SOS 86540 HAS SOPS 86540 HAS SOUS 32319 HAS SOUPS 32319 WITH SCORE 32405.54
AT ITER 2514 NEW BEST:: SOT 180641 SOS 86496 HAS SOPS 86496 HAS SOUS 32297 HAS SOUPS 32297 WITH SCORE 32383.496
AT ITER 2517 NEW BEST:: SOT 180600 SOS 86438 HAS SOPS 86438 HAS SOUS 32268 HAS SOUPS 32268 WITH SCORE 32354.438
AT ITER 2531 NEW BEST:: SOT 180587 SOS 86312 HAS SOPS 86312 HAS SOUS 32246 HAS SOUPS 32246 WITH SCORE 32332.312
AT ITER 2539 NEW BEST:: SOT 180585 SOS 86332 HAS SOPS 86332 HAS SOUS 32236 HAS SOUPS 32236 WITH SCORE 32322.332
AT ITER 2545 NEW BEST:: SOT 180568 SOS 86362 HAS SOPS 86362 HAS SOUS 32215 HAS SOUPS 32215 WITH SCORE 32301.362
AT ITER 2553 NEW BEST:: SOT 180570 SOS 86407 HAS SOPS 86407 HAS SOUS 32206 HAS SOUPS 32206 WITH SCORE 32292.407
AT ITER 2578 NEW BEST:: SOT 180570 SOS 86407 HAS SOPS 86407 HAS SOUS 32189 HAS SOUPS 32189 WITH SCORE 32275.407
AT ITER 2594 NEW BEST:: SOT 180510 SOS 86347 HAS SOPS 86347 HAS SOUS 32113 HAS SOUPS 32113 WITH SCORE 32199.347
AT ITER 2601 NEW BEST:: SOT 180463 SOS 86222 HAS SOPS 86222 HAS SOUS 32092 HAS SOUPS 32092 WITH SCORE 32178.222
AT ITER 2604 NEW BEST:: SOT 180414 SOS 86170 HAS SOPS 86170 HAS SOUS 32043 HAS SOUPS 32043 WITH SCORE 32129.17
AT ITER 2609 NEW BEST:: SOT 180418 SOS 86168 HAS SOPS 86168 HAS SOUS 32041 HAS SOUPS 32041 WITH SCORE 32127.168
AT ITER 2614 NEW BEST:: SOT 180418 SOS 86174 HAS SOPS 86174 HAS SOUS 32015 HAS SOUPS 32015 WITH SCORE 32101.174
AT ITER 2622 NEW BEST:: SOT 180413 SOS 86129 HAS SOPS 86129 HAS SOUS 32010 HAS SOUPS 32010 WITH SCORE 32096.129
AT ITER 2647 NEW BEST:: SOT 180381 SOS 86176 HAS SOPS 86176 HAS SOUS 31974 HAS SOUPS 31974 WITH SCORE 32060.176
AT ITER 2655 NEW BEST:: SOT 180421 SOS 85544 HAS SOPS 85544 HAS SOUS 31906 HAS SOUPS 31906 WITH SCORE 31991.544
AT ITER 2658 NEW BEST:: SOT 180344 SOS 85335 HAS SOPS 85335 HAS SOUS 31721 HAS SOUPS 31721 WITH SCORE 31806.335
AT ITER 2659 NEW BEST:: SOT 180344 SOS 85574 HAS SOPS 85574 HAS SOUS 31718 HAS SOUPS 31718 WITH SCORE 31803.574
AT ITER 2676 NEW BEST:: SOT 180336 SOS 85558 HAS SOPS 85558 HAS SOUS 31710 HAS SOUPS 31710 WITH SCORE 31795.558
AT ITER 2679 NEW BEST:: SOT 180336 SOS 85558 HAS SOPS 85558 HAS SOUS 31708 HAS SOUPS 31708 WITH SCORE 31793.558
AT ITER 2681 NEW BEST:: SOT 180378 SOS 85600 HAS SOPS 85600 HAS SOUS 31582 HAS SOUPS 31582 WITH SCORE 31667.6
AT ITER 2682 NEW BEST:: SOT 180308 SOS 85540 HAS SOPS 85540 HAS SOUS 31510 HAS SOUPS 31510 WITH SCORE 31595.54
AT ITER 2699 NEW BEST:: SOT 180291 SOS 85600 HAS SOPS 85600 HAS SOUS 31478 HAS SOUPS 31478 WITH SCORE 31563.6
AT ITER 2709 NEW BEST:: SOT 180291 SOS 85600 HAS SOPS 85600 HAS SOUS 31473 HAS SOUPS 31473 WITH SCORE 31558.6
AT ITER 2710 NEW BEST:: SOT 180266 SOS 85478 HAS SOPS 85478 HAS SOUS 31448 HAS SOUPS 31448 WITH SCORE 31533.478
AT ITER 2714 NEW BEST:: SOT 180376 SOS 85588 HAS SOPS 85588 HAS SOUS 31409 HAS SOUPS 31409 WITH SCORE 31494.588
AT ITER 2735 NEW BEST:: SOT 180372 SOS 85580 HAS SOPS 85580 HAS SOUS 31405 HAS SOUPS 31405 WITH SCORE 31490.58
AT ITER 2739 NEW BEST:: SOT 180353 SOS 85576 HAS SOPS 85576 HAS SOUS 31403 HAS SOUPS 31403 WITH SCORE 31488.576
AT ITER 2741 NEW BEST:: SOT 180267 SOS 85495 HAS SOPS 85495 HAS SOUS 31381 HAS SOUPS 31381 WITH SCORE 31466.495
AT ITER 2743 NEW BEST:: SOT 180340 SOS 85568 HAS SOPS 85568 HAS SOUS 31344 HAS SOUPS 31344 WITH SCORE 31429.568
AT ITER 2744 NEW BEST:: SOT 180340 SOS 85428 HAS SOPS 85428 HAS SOUS 31344 HAS SOUPS 31344 WITH SCORE 31429.428
AT ITER 2745 NEW BEST:: SOT 180343 SOS 85360 HAS SOPS 85360 HAS SOUS 31310 HAS SOUPS 31310 WITH SCORE 31395.36
AT ITER 2762 NEW BEST:: SOT 180353 SOS 85330 HAS SOPS 85330 HAS SOUS 31247 HAS SOUPS 31247 WITH SCORE 31332.33
AT ITER 2764 NEW BEST:: SOT 180342 SOS 85293 HAS SOPS 85293 HAS SOUS 31237 HAS SOUPS 31237 WITH SCORE 31322.293
AT ITER 2765 NEW BEST:: SOT 180342 SOS 85293 HAS SOPS 85293 HAS SOUS 31185 HAS SOUPS 31185 WITH SCORE 31270.293
AT ITER 2784 NEW BEST:: SOT 180329 SOS 85247 HAS SOPS 85247 HAS SOUS 31172 HAS SOUPS 31172 WITH SCORE 31257.247
AT ITER 2799 NEW BEST:: SOT 180204 SOS 85004 HAS SOPS 85004 HAS SOUS 31134 HAS SOUPS 31134 WITH SCORE 31219.004
AT ITER 2824 NEW BEST:: SOT 180174 SOS 84974 HAS SOPS 84974 HAS SOUS 31096 HAS SOUPS 31096 WITH SCORE 31180.974
AT ITER 2832 NEW BEST:: SOT 180113 SOS 85262 HAS SOPS 85262 HAS SOUS 31016 HAS SOUPS 31016 WITH SCORE 31101.262
AT ITER 2849 NEW BEST:: SOT 180101 SOS 85322 HAS SOPS 85322 HAS SOUS 31004 HAS SOUPS 31004 WITH SCORE 31089.322
AT ITER 2867 NEW BEST:: SOT 180235 SOS 82276 HAS SOPS 82276 HAS SOUS 30969 HAS SOUPS 30969 WITH SCORE 31051.276
AT ITER 2868 NEW BEST:: SOT 180225 SOS 82298 HAS SOPS 82298 HAS SOUS 30905 HAS SOUPS 30905 WITH SCORE 30987.298
AT ITER 2886 NEW BEST:: SOT 180143 SOS 82284 HAS SOPS 82284 HAS SOUS 30855 HAS SOUPS 30855 WITH SCORE 30937.284
AT ITER 2890 NEW BEST:: SOT 180129 SOS 82270 HAS SOPS 82270 HAS SOUS 30841 HAS SOUPS 30841 WITH SCORE 30923.27
AT ITER 2904 NEW BEST:: SOT 180077 SOS 82234 HAS SOPS 82234 HAS SOUS 30841 HAS SOUPS 30841 WITH SCORE 30923.234
AT ITER 2916 NEW BEST:: SOT 180076 SOS 82230 HAS SOPS 82230 HAS SOUS 30840 HAS SOUPS 30840 WITH SCORE 30922.23
AT ITER 2931 NEW BEST:: SOT 179942 SOS 82096 HAS SOPS 82096 HAS SOUS 30764 HAS SOUPS 30764 WITH SCORE 30846.096
AT ITER 2935 NEW BEST:: SOT 179933 SOS 82102 HAS SOPS 82102 HAS SOUS 30747 HAS SOUPS 30747 WITH SCORE 30829.102
AT ITER 2936 NEW BEST:: SOT 179846 SOS 82017 HAS SOPS 82017 HAS SOUS 30673 HAS SOUPS 30673 WITH SCORE 30755.017
AT ITER 2946 NEW BEST:: SOT 179559 SOS 81809 HAS SOPS 81809 HAS SOUS 30673 HAS SOUPS 30673 WITH SCORE 30754.809
AT ITER 2947 NEW BEST:: SOT 179401 SOS 81651 HAS SOPS 81651 HAS SOUS 30631 HAS SOUPS 30631 WITH SCORE 30712.651
AT ITER 2958 NEW BEST:: SOT 179389 SOS 81632 HAS SOPS 81632 HAS SOUS 30620 HAS SOUPS 30620 WITH SCORE 30701.632
AT ITER 2975 NEW BEST:: SOT 179183 SOS 82978 HAS SOPS 82978 HAS SOUS 30586 HAS SOUPS 30586 WITH SCORE 30668.978
AT ITER 2981 NEW BEST:: SOT 179201 SOS 82954 HAS SOPS 82954 HAS SOUS 30501 HAS SOUPS 30501 WITH SCORE 30583.954
AT ITER 2986 NEW BEST:: SOT 179190 SOS 82959 HAS SOPS 82959 HAS SOUS 30444 HAS SOUPS 30444 WITH SCORE 30526.959
AT ITER 2995 NEW BEST:: SOT 179190 SOS 83045 HAS SOPS 83045 HAS SOUS 30401 HAS SOUPS 30401 WITH SCORE 30484.045
AT ITER 3032 NEW BEST:: SOT 179222 SOS 83077 HAS SOPS 83077 HAS SOUS 30356 HAS SOUPS 30356 WITH SCORE 30439.077
AT ITER 3038 NEW BEST:: SOT 179222 SOS 83074 HAS SOPS 83074 HAS SOUS 30356 HAS SOUPS 30356 WITH SCORE 30439.074
AT ITER 3040 NEW BEST:: SOT 179219 SOS 82998 HAS SOPS 82998 HAS SOUS 30353 HAS SOUPS 30353 WITH SCORE 30435.998
AT ITER 3041 NEW BEST:: SOT 179179 SOS 82897 HAS SOPS 82897 HAS SOUS 30274 HAS SOUPS 30274 WITH SCORE 30356.897
AT ITER 3043 NEW BEST:: SOT 179179 SOS 82839 HAS SOPS 82839 HAS SOUS 30245 HAS SOUPS 30245 WITH SCORE 30327.839
AT ITER 3047 NEW BEST:: SOT 179159 SOS 82819 HAS SOPS 82819 HAS SOUS 30206 HAS SOUPS 30206 WITH SCORE 30288.819
AT ITER 3064 NEW BEST:: SOT 179135 SOS 82795 HAS SOPS 82795 HAS SOUS 30194 HAS SOUPS 30194 WITH SCORE 30276.795
AT ITER 3069 NEW BEST:: SOT 179123 SOS 82836 HAS SOPS 82836 HAS SOUS 30183 HAS SOUPS 30183 WITH SCORE 30265.836
AT ITER 3071 NEW BEST:: SOT 178873 SOS 82586 HAS SOPS 82586 HAS SOUS 30069 HAS SOUPS 30069 WITH SCORE 30151.586
AT ITER 3077 NEW BEST:: SOT 178914 SOS 82558 HAS SOPS 82558 HAS SOUS 30038 HAS SOUPS 30038 WITH SCORE 30120.558
AT ITER 3099 NEW BEST:: SOT 178904 SOS 82588 HAS SOPS 82588 HAS SOUS 30028 HAS SOUPS 30028 WITH SCORE 30110.588
AT ITER 3101 NEW BEST:: SOT 178871 SOS 82533 HAS SOPS 82533 HAS SOUS 29973 HAS SOUPS 29973 WITH SCORE 30055.533
AT ITER 3105 NEW BEST:: SOT 178864 SOS 82523 HAS SOPS 82523 HAS SOUS 29942 HAS SOUPS 29942 WITH SCORE 30024.523
AT ITER 3108 NEW BEST:: SOT 178844 SOS 82493 HAS SOPS 82493 HAS SOUS 29912 HAS SOUPS 29912 WITH SCORE 29994.493
AT ITER 3116 NEW BEST:: SOT 178393 SOS 82489 HAS SOPS 82489 HAS SOUS 29651 HAS SOUPS 29651 WITH SCORE 29733.489
AT ITER 3117 NEW BEST:: SOT 178365 SOS 82368 HAS SOPS 82368 HAS SOUS 29623 HAS SOUPS 29623 WITH SCORE 29705.368
AT ITER 3122 NEW BEST:: SOT 178351 SOS 82360 HAS SOPS 82360 HAS SOUS 29619 HAS SOUPS 29619 WITH SCORE 29701.36
AT ITER 3129 NEW BEST:: SOT 178405 SOS 82441 HAS SOPS 82441 HAS SOUS 29609 HAS SOUPS 29609 WITH SCORE 29691.441
AT ITER 3130 NEW BEST:: SOT 178381 SOS 82425 HAS SOPS 82425 HAS SOUS 29585 HAS SOUPS 29585 WITH SCORE 29667.425
AT ITER 3137 NEW BEST:: SOT 178381 SOS 82425 HAS SOPS 82425 HAS SOUS 29577 HAS SOUPS 29577 WITH SCORE 29659.425
AT ITER 3145 NEW BEST:: SOT 178337 SOS 82344 HAS SOPS 82344 HAS SOUS 29516 HAS SOUPS 29516 WITH SCORE 29598.344
AT ITER 3183 NEW BEST:: SOT 178323 SOS 82330 HAS SOPS 82330 HAS SOUS 29502 HAS SOUPS 29502 WITH SCORE 29584.33
AT ITER 3201 NEW BEST:: SOT 178193 SOS 82784 HAS SOPS 82784 HAS SOUS 29475 HAS SOUPS 29475 WITH SCORE 29557.784
AT ITER 3215 NEW BEST:: SOT 178151 SOS 82532 HAS SOPS 82532 HAS SOUS 29319 HAS SOUPS 29319 WITH SCORE 29401.532
AT ITER 3223 NEW BEST:: SOT 178143 SOS 82524 HAS SOPS 82524 HAS SOUS 29311 HAS SOUPS 29311 WITH SCORE 29393.524
AT ITER 3249 NEW BEST:: SOT 178137 SOS 82512 HAS SOPS 82512 HAS SOUS 29299 HAS SOUPS 29299 WITH SCORE 29381.512
AT ITER 3251 NEW BEST:: SOT 178123 SOS 82519 HAS SOPS 82519 HAS SOUS 29279 HAS SOUPS 29279 WITH SCORE 29361.519
AT ITER 3271 NEW BEST:: SOT 178123 SOS 82519 HAS SOPS 82519 HAS SOUS 29264 HAS SOUPS 29264 WITH SCORE 29346.519
AT ITER 3302 NEW BEST:: SOT 178126 SOS 82522 HAS SOPS 82522 HAS SOUS 29261 HAS SOUPS 29261 WITH SCORE 29343.522
AT ITER 3309 NEW BEST:: SOT 178126 SOS 82480 HAS SOPS 82480 HAS SOUS 29261 HAS SOUPS 29261 WITH SCORE 29343.48
AT ITER 3314 NEW BEST:: SOT 178093 SOS 82511 HAS SOPS 82511 HAS SOUS 29260 HAS SOUPS 29260 WITH SCORE 29342.511
AT ITER 3322 NEW BEST:: SOT 178085 SOS 82511 HAS SOPS 82511 HAS SOUS 29251 HAS SOUPS 29251 WITH SCORE 29333.511
AT ITER 3338 NEW BEST:: SOT 177798 SOS 82547 HAS SOPS 82547 HAS SOUS 29200 HAS SOUPS 29200 WITH SCORE 29282.547
AT ITER 3371 NEW BEST:: SOT 177798 SOS 82435 HAS SOPS 82435 HAS SOUS 29200 HAS SOUPS 29200 WITH SCORE 29282.435
AT ITER 3379 NEW BEST:: SOT 177790 SOS 82377 HAS SOPS 82377 HAS SOUS 29192 HAS SOUPS 29192 WITH SCORE 29274.377
AT ITER 3388 NEW BEST:: SOT 177768 SOS 82361 HAS SOPS 82361 HAS SOUS 29184 HAS SOUPS 29184 WITH SCORE 29266.361
AT ITER 3389 NEW BEST:: SOT 177761 SOS 82355 HAS SOPS 82355 HAS SOUS 29163 HAS SOUPS 29163 WITH SCORE 29245.355
AT ITER 3393 NEW BEST:: SOT 177579 SOS 82227 HAS SOPS 82227 HAS SOUS 29162 HAS SOUPS 29162 WITH SCORE 29244.227
AT ITER 3410 NEW BEST:: SOT 177588 SOS 82150 HAS SOPS 82150 HAS SOUS 29161 HAS SOUPS 29161 WITH SCORE 29243.15
AT ITER 3416 NEW BEST:: SOT 177587 SOS 82148 HAS SOPS 82148 HAS SOUS 29160 HAS SOUPS 29160 WITH SCORE 29242.148
AT ITER 3439 NEW BEST:: SOT 177561 SOS 82122 HAS SOPS 82122 HAS SOUS 29108 HAS SOUPS 29108 WITH SCORE 29190.122
AT ITER 3457 NEW BEST:: SOT 177555 SOS 82110 HAS SOPS 82110 HAS SOUS 29102 HAS SOUPS 29102 WITH SCORE 29184.11
AT ITER 3478 NEW BEST:: SOT 177395 SOS 84024 HAS SOPS 84024 HAS SOUS 29090 HAS SOUPS 29090 WITH SCORE 29174.024
AT ITER 3490 NEW BEST:: SOT 177338 SOS 83986 HAS SOPS 83986 HAS SOUS 29052 HAS SOUPS 29052 WITH SCORE 29135.986
AT ITER 3498 NEW BEST:: SOT 177226 SOS 83866 HAS SOPS 83866 HAS SOUS 29018 HAS SOUPS 29018 WITH SCORE 29101.866
AT ITER 3509 NEW BEST:: SOT 177191 SOS 83831 HAS SOPS 83831 HAS SOUS 28935 HAS SOUPS 28935 WITH SCORE 29018.831
AT ITER 3517 NEW BEST:: SOT 177247 SOS 83813 HAS SOPS 83813 HAS SOUS 28932 HAS SOUPS 28932 WITH SCORE 29015.813
AT ITER 3522 NEW BEST:: SOT 177244 SOS 83807 HAS SOPS 83807 HAS SOUS 28929 HAS SOUPS 28929 WITH SCORE 29012.807
AT ITER 3529 NEW BEST:: SOT 177236 SOS 83807 HAS SOPS 83807 HAS SOUS 28913 HAS SOUPS 28913 WITH SCORE 28996.807
AT ITER 3535 NEW BEST:: SOT 177187 SOS 83758 HAS SOPS 83758 HAS SOUS 28885 HAS SOUPS 28885 WITH SCORE 28968.758
AT ITER 3551 NEW BEST:: SOT 177009 SOS 83580 HAS SOPS 83580 HAS SOUS 28864 HAS SOUPS 28864 WITH SCORE 28947.58
AT ITER 3581 NEW BEST:: SOT 177063 SOS 83296 HAS SOPS 83296 HAS SOUS 28864 HAS SOUPS 28864 WITH SCORE 28947.296
AT ITER 3596 NEW BEST:: SOT 177061 SOS 83292 HAS SOPS 83292 HAS SOUS 28864 HAS SOUPS 28864 WITH SCORE 28947.292
AT ITER 3600 NEW BEST:: SOT 177059 SOS 83292 HAS SOPS 83292 HAS SOUS 28858 HAS SOUPS 28858 WITH SCORE 28941.292
AT ITER 3619 NEW BEST:: SOT 177059 SOS 83306 HAS SOPS 83306 HAS SOUS 28851 HAS SOUPS 28851 WITH SCORE 28934.306
AT ITER 3626 NEW BEST:: SOT 177074 SOS 83325 HAS SOPS 83325 HAS SOUS 28836 HAS SOUPS 28836 WITH SCORE 28919.325
AT ITER 3632 NEW BEST:: SOT 177226 SOS 83490 HAS SOPS 83490 HAS SOUS 28780 HAS SOUPS 28780 WITH SCORE 28863.49
AT ITER 3641 NEW BEST:: SOT 177204 SOS 83460 HAS SOPS 83460 HAS SOUS 28758 HAS SOUPS 28758 WITH SCORE 28841.46
AT ITER 3643 NEW BEST:: SOT 177132 SOS 83334 HAS SOPS 83334 HAS SOUS 28574 HAS SOUPS 28574 WITH SCORE 28657.334
AT ITER 3647 NEW BEST:: SOT 177368 SOS 83575 HAS SOPS 83575 HAS SOUS 28526 HAS SOUPS 28526 WITH SCORE 28609.575
AT ITER 3660 NEW BEST:: SOT 177397 SOS 83563 HAS SOPS 83563 HAS SOUS 28512 HAS SOUPS 28512 WITH SCORE 28595.563
AT ITER 3670 NEW BEST:: SOT 177383 SOS 83549 HAS SOPS 83549 HAS SOUS 28501 HAS SOUPS 28501 WITH SCORE 28584.549
AT ITER 3687 NEW BEST:: SOT 177368 SOS 83519 HAS SOPS 83519 HAS SOUS 28478 HAS SOUPS 28478 WITH SCORE 28561.519
AT ITER 3694 NEW BEST:: SOT 177357 SOS 83508 HAS SOPS 83508 HAS SOUS 28445 HAS SOUPS 28445 WITH SCORE 28528.508
AT ITER 3700 NEW BEST:: SOT 177359 SOS 83510 HAS SOPS 83510 HAS SOUS 28441 HAS SOUPS 28441 WITH SCORE 28524.51
AT ITER 3706 NEW BEST:: SOT 177379 SOS 83532 HAS SOPS 83532 HAS SOUS 28430 HAS SOUPS 28430 WITH SCORE 28513.532
AT ITER 3709 NEW BEST:: SOT 177359 SOS 83546 HAS SOPS 83546 HAS SOUS 28409 HAS SOUPS 28409 WITH SCORE 28492.546
AT ITER 3727 NEW BEST:: SOT 177382 SOS 83569 HAS SOPS 83569 HAS SOUS 28355 HAS SOUPS 28355 WITH SCORE 28438.569
AT ITER 3742 NEW BEST:: SOT 177369 SOS 83333 HAS SOPS 83333 HAS SOUS 28329 HAS SOUPS 28329 WITH SCORE 28412.333
AT ITER 3765 NEW BEST:: SOT 177277 SOS 83212 HAS SOPS 83212 HAS SOUS 28293 HAS SOUPS 28293 WITH SCORE 28376.212
AT ITER 3771 NEW BEST:: SOT 177263 SOS 83196 HAS SOPS 83196 HAS SOUS 28235 HAS SOUPS 28235 WITH SCORE 28318.196
AT ITER 3783 NEW BEST:: SOT 177263 SOS 83196 HAS SOPS 83196 HAS SOUS 28229 HAS SOUPS 28229 WITH SCORE 28312.196
AT ITER 3806 NEW BEST:: SOT 177205 SOS 83185 HAS SOPS 83185 HAS SOUS 28171 HAS SOUPS 28171 WITH SCORE 28254.185
AT ITER 3817 NEW BEST:: SOT 177205 SOS 83173 HAS SOPS 83173 HAS SOUS 28171 HAS SOUPS 28171 WITH SCORE 28254.173
AT ITER 3818 NEW BEST:: SOT 177205 SOS 83167 HAS SOPS 83167 HAS SOUS 28171 HAS SOUPS 28171 WITH SCORE 28254.167
AT ITER 3826 NEW BEST:: SOT 177198 SOS 83135 HAS SOPS 83135 HAS SOUS 28148 HAS SOUPS 28148 WITH SCORE 28231.135
AT ITER 3828 NEW BEST:: SOT 177193 SOS 83427 HAS SOPS 83427 HAS SOUS 28098 HAS SOUPS 28098 WITH SCORE 28181.427
AT ITER 3851 NEW BEST:: SOT 177193 SOS 83427 HAS SOPS 83427 HAS SOUS 28059 HAS SOUPS 28059 WITH SCORE 28142.427
AT ITER 3867 NEW BEST:: SOT 177194 SOS 83426 HAS SOPS 83426 HAS SOUS 28059 HAS SOUPS 28059 WITH SCORE 28142.426
AT ITER 3880 NEW BEST:: SOT 177066 SOS 83244 HAS SOPS 83244 HAS SOUS 27985 HAS SOUPS 27985 WITH SCORE 28068.244
AT ITER 3884 NEW BEST:: SOT 177092 SOS 83066 HAS SOPS 83066 HAS SOUS 27983 HAS SOUPS 27983 WITH SCORE 28066.066
AT ITER 3895 NEW BEST:: SOT 177082 SOS 83056 HAS SOPS 83056 HAS SOUS 27979 HAS SOUPS 27979 WITH SCORE 28062.056
AT ITER 3901 NEW BEST:: SOT 177068 SOS 83042 HAS SOPS 83042 HAS SOUS 27962 HAS SOUPS 27962 WITH SCORE 28045.042
AT ITER 3904 NEW BEST:: SOT 177052 SOS 83016 HAS SOPS 83016 HAS SOUS 27936 HAS SOUPS 27936 WITH SCORE 28019.016
AT ITER 3911 NEW BEST:: SOT 177030 SOS 82994 HAS SOPS 82994 HAS SOUS 27924 HAS SOUPS 27924 WITH SCORE 28006.994
AT ITER 3913 NEW BEST:: SOT 177060 SOS 82985 HAS SOPS 82985 HAS SOUS 27920 HAS SOUPS 27920 WITH SCORE 28002.985
AT ITER 3946 NEW BEST:: SOT 177021 SOS 82965 HAS SOPS 82965 HAS SOUS 27910 HAS SOUPS 27910 WITH SCORE 27992.965
AT ITER 3956 NEW BEST:: SOT 177001 SOS 82945 HAS SOPS 82945 HAS SOUS 27900 HAS SOUPS 27900 WITH SCORE 27982.945
AT ITER 3970 NEW BEST:: SOT 176642 SOS 83539 HAS SOPS 83539 HAS SOUS 27665 HAS SOUPS 27665 WITH SCORE 27748.539
AT ITER 3974 NEW BEST:: SOT 176627 SOS 83529 HAS SOPS 83529 HAS SOUS 27655 HAS SOUPS 27655 WITH SCORE 27738.529
AT ITER 3979 NEW BEST:: SOT 176180 SOS 86675 HAS SOPS 86675 HAS SOUS 27612 HAS SOUPS 27612 WITH SCORE 27698.675
AT ITER 3994 NEW BEST:: SOT 176180 SOS 86675 HAS SOPS 86675 HAS SOUS 27600 HAS SOUPS 27600 WITH SCORE 27686.675
AT ITER 4012 NEW BEST:: SOT 176161 SOS 86674 HAS SOPS 86674 HAS SOUS 27592 HAS SOUPS 27592 WITH SCORE 27678.674
AT ITER 4013 NEW BEST:: SOT 176116 SOS 86629 HAS SOPS 86629 HAS SOUS 27591 HAS SOUPS 27591 WITH SCORE 27677.629
AT ITER 4026 NEW BEST:: SOT 176047 SOS 86628 HAS SOPS 86628 HAS SOUS 27549 HAS SOUPS 27549 WITH SCORE 27635.628
AT ITER 4096 NEW BEST:: SOT 176047 SOS 86628 HAS SOPS 86628 HAS SOUS 27545 HAS SOUPS 27545 WITH SCORE 27631.628
AT ITER 4122 NEW BEST:: SOT 176079 SOS 86648 HAS SOPS 86648 HAS SOUS 27541 HAS SOUPS 27541 WITH SCORE 27627.648
AT ITER 4123 NEW BEST:: SOT 176199 SOS 86768 HAS SOPS 86768 HAS SOUS 27510 HAS SOUPS 27510 WITH SCORE 27596.768
AT ITER 4152 NEW BEST:: SOT 176193 SOS 86762 HAS SOPS 86762 HAS SOUS 27483 HAS SOUPS 27483 WITH SCORE 27569.762
AT ITER 4157 NEW BEST:: SOT 176170 SOS 86695 HAS SOPS 86695 HAS SOUS 27425 HAS SOUPS 27425 WITH SCORE 27511.695
AT ITER 4185 NEW BEST:: SOT 176106 SOS 86631 HAS SOPS 86631 HAS SOUS 27361 HAS SOUPS 27361 WITH SCORE 27447.631
AT ITER 4192 NEW BEST:: SOT 176154 SOS 86679 HAS SOPS 86679 HAS SOUS 27345 HAS SOUPS 27345 WITH SCORE 27431.679
AT ITER 4195 NEW BEST:: SOT 176154 SOS 86524 HAS SOPS 86524 HAS SOUS 27314 HAS SOUPS 27314 WITH SCORE 27400.524
AT ITER 4203 NEW BEST:: SOT 176154 SOS 86500 HAS SOPS 86500 HAS SOUS 27302 HAS SOUPS 27302 WITH SCORE 27388.5
AT ITER 4216 NEW BEST:: SOT 176137 SOS 86500 HAS SOPS 86500 HAS SOUS 27285 HAS SOUPS 27285 WITH SCORE 27371.5
AT ITER 4253 NEW BEST:: SOT 176137 SOS 86497 HAS SOPS 86497 HAS SOUS 27285 HAS SOUPS 27285 WITH SCORE 27371.497
AT ITER 4258 NEW BEST:: SOT 175898 SOS 86235 HAS SOPS 86235 HAS SOUS 27243 HAS SOUPS 27243 WITH SCORE 27329.235
AT ITER 4261 NEW BEST:: SOT 175771 SOS 85094 HAS SOPS 85094 HAS SOUS 27190 HAS SOUPS 27190 WITH SCORE 27275.094
AT ITER 4297 NEW BEST:: SOT 175771 SOS 85078 HAS SOPS 85078 HAS SOUS 27190 HAS SOUPS 27190 WITH SCORE 27275.078
AT ITER 4342 NEW BEST:: SOT 175717 SOS 84743 HAS SOPS 84743 HAS SOUS 27117 HAS SOUPS 27117 WITH SCORE 27201.743
AT ITER 4343 NEW BEST:: SOT 175698 SOS 84735 HAS SOPS 84735 HAS SOUS 27116 HAS SOUPS 27116 WITH SCORE 27200.735
AT ITER 4355 NEW BEST:: SOT 175698 SOS 84735 HAS SOPS 84735 HAS SOUS 27112 HAS SOUPS 27112 WITH SCORE 27196.735
AT ITER 4373 NEW BEST:: SOT 175686 SOS 84723 HAS SOPS 84723 HAS SOUS 27083 HAS SOUPS 27083 WITH SCORE 27167.723
AT ITER 4402 NEW BEST:: SOT 175731 SOS 84768 HAS SOPS 84768 HAS SOUS 27073 HAS SOUPS 27073 WITH SCORE 27157.768
AT ITER 4414 NEW BEST:: SOT 175731 SOS 84768 HAS SOPS 84768 HAS SOUS 27071 HAS SOUPS 27071 WITH SCORE 27155.768
AT ITER 4425 NEW BEST:: SOT 175731 SOS 84786 HAS SOPS 84786 HAS SOUS 27065 HAS SOUPS 27065 WITH SCORE 27149.786
AT ITER 4430 NEW BEST:: SOT 175711 SOS 84766 HAS SOPS 84766 HAS SOUS 27057 HAS SOUPS 27057 WITH SCORE 27141.766
AT ITER 4431 NEW BEST:: SOT 175697 SOS 84724 HAS SOPS 84724 HAS SOUS 27057 HAS SOUPS 27057 WITH SCORE 27141.724
AT ITER 4446 NEW BEST:: SOT 175697 SOS 84724 HAS SOPS 84724 HAS SOUS 27043 HAS SOUPS 27043 WITH SCORE 27127.724
AT ITER 4451 NEW BEST:: SOT 175535 SOS 83672 HAS SOPS 83672 HAS SOUS 26984 HAS SOUPS 26984 WITH SCORE 27067.672
AT ITER 4458 NEW BEST:: SOT 175517 SOS 83648 HAS SOPS 83648 HAS SOUS 26972 HAS SOUPS 26972 WITH SCORE 27055.648
AT ITER 4470 NEW BEST:: SOT 175556 SOS 83654 HAS SOPS 83654 HAS SOUS 26965 HAS SOUPS 26965 WITH SCORE 27048.654
AT ITER 4476 NEW BEST:: SOT 175550 SOS 83648 HAS SOPS 83648 HAS SOUS 26959 HAS SOUPS 26959 WITH SCORE 27042.648
AT ITER 4502 NEW BEST:: SOT 175520 SOS 83594 HAS SOPS 83594 HAS SOUS 26917 HAS SOUPS 26917 WITH SCORE 27000.594
AT ITER 4503 NEW BEST:: SOT 175515 SOS 83586 HAS SOPS 83586 HAS SOUS 26890 HAS SOUPS 26890 WITH SCORE 26973.586
AT ITER 4509 NEW BEST:: SOT 175517 SOS 83504 HAS SOPS 83504 HAS SOUS 26871 HAS SOUPS 26871 WITH SCORE 26954.504
AT ITER 4518 NEW BEST:: SOT 175517 SOS 83432 HAS SOPS 83432 HAS SOUS 26847 HAS SOUPS 26847 WITH SCORE 26930.432
AT ITER 4533 NEW BEST:: SOT 175520 SOS 83435 HAS SOPS 83435 HAS SOUS 26846 HAS SOUPS 26846 WITH SCORE 26929.435
AT ITER 4592 NEW BEST:: SOT 175518 SOS 83439 HAS SOPS 83439 HAS SOUS 26844 HAS SOUPS 26844 WITH SCORE 26927.439
AT ITER 4633 NEW BEST:: SOT 175494 SOS 83420 HAS SOPS 83420 HAS SOUS 26825 HAS SOUPS 26825 WITH SCORE 26908.42
AT ITER 4649 NEW BEST:: SOT 175418 SOS 83344 HAS SOPS 83344 HAS SOUS 26759 HAS SOUPS 26759 WITH SCORE 26842.344
AT ITER 4699 NEW BEST:: SOT 175454 SOS 83415 HAS SOPS 83415 HAS SOUS 26698 HAS SOUPS 26698 WITH SCORE 26781.415
AT ITER 4705 NEW BEST:: SOT 175454 SOS 83355 HAS SOPS 83355 HAS SOUS 26668 HAS SOUPS 26668 WITH SCORE 26751.355
AT ITER 4707 NEW BEST:: SOT 175460 SOS 82898 HAS SOPS 82898 HAS SOUS 26615 HAS SOUPS 26615 WITH SCORE 26697.898
AT ITER 4711 NEW BEST:: SOT 175456 SOS 82855 HAS SOPS 82855 HAS SOUS 26593 HAS SOUPS 26593 WITH SCORE 26675.855
AT ITER 4715 NEW BEST:: SOT 175456 SOS 82845 HAS SOPS 82845 HAS SOUS 26588 HAS SOUPS 26588 WITH SCORE 26670.845
AT ITER 4725 NEW BEST:: SOT 175299 SOS 82187 HAS SOPS 82187 HAS SOUS 26452 HAS SOUPS 26452 WITH SCORE 26534.187
AT ITER 4726 NEW BEST:: SOT 175293 SOS 82181 HAS SOPS 82181 HAS SOUS 26436 HAS SOUPS 26436 WITH SCORE 26518.181
AT ITER 4756 NEW BEST:: SOT 175209 SOS 82097 HAS SOPS 82097 HAS SOUS 26367 HAS SOUPS 26367 WITH SCORE 26449.097
AT ITER 4758 NEW BEST:: SOT 175247 SOS 82502 HAS SOPS 82502 HAS SOUS 26334 HAS SOUPS 26334 WITH SCORE 26416.502
AT ITER 4780 NEW BEST:: SOT 175191 SOS 82433 HAS SOPS 82433 HAS SOUS 26265 HAS SOUPS 26265 WITH SCORE 26347.433
AT ITER 4806 NEW BEST:: SOT 175191 SOS 82337 HAS SOPS 82337 HAS SOUS 26265 HAS SOUPS 26265 WITH SCORE 26347.337
AT ITER 4819 NEW BEST:: SOT 175191 SOS 82291 HAS SOPS 82291 HAS SOUS 26254 HAS SOUPS 26254 WITH SCORE 26336.291
AT ITER 4837 NEW BEST:: SOT 175294 SOS 82310 HAS SOPS 82310 HAS SOUS 26235 HAS SOUPS 26235 WITH SCORE 26317.31
AT ITER 4841 NEW BEST:: SOT 175280 SOS 82296 HAS SOPS 82296 HAS SOUS 26221 HAS SOUPS 26221 WITH SCORE 26303.296
AT ITER 4845 NEW BEST:: SOT 175230 SOS 82246 HAS SOPS 82246 HAS SOUS 26201 HAS SOUPS 26201 WITH SCORE 26283.246
AT ITER 4861 NEW BEST:: SOT 175230 SOS 82244 HAS SOPS 82244 HAS SOUS 26200 HAS SOUPS 26200 WITH SCORE 26282.244
AT ITER 4863 NEW BEST:: SOT 174932 SOS 83301 HAS SOPS 83301 HAS SOUS 26109 HAS SOUPS 26109 WITH SCORE 26192.301
AT ITER 4873 NEW BEST:: SOT 174926 SOS 83521 HAS SOPS 83521 HAS SOUS 26081 HAS SOUPS 26081 WITH SCORE 26164.521
AT ITER 4886 NEW BEST:: SOT 174812 SOS 83314 HAS SOPS 83314 HAS SOUS 25985 HAS SOUPS 25985 WITH SCORE 26068.314
AT ITER 4917 NEW BEST:: SOT 174804 SOS 83306 HAS SOPS 83306 HAS SOUS 25977 HAS SOUPS 25977 WITH SCORE 26060.306
AT ITER 4926 NEW BEST:: SOT 174745 SOS 82919 HAS SOPS 82919 HAS SOUS 25942 HAS SOUPS 25942 WITH SCORE 26024.919
AT ITER 4928 NEW BEST:: SOT 174708 SOS 82781 HAS SOPS 82781 HAS SOUS 25910 HAS SOUPS 25910 WITH SCORE 25992.781
AT ITER 4940 NEW BEST:: SOT 174680 SOS 82681 HAS SOPS 82681 HAS SOUS 25873 HAS SOUPS 25873 WITH SCORE 25955.681
AT ITER 4947 NEW BEST:: SOT 174662 SOS 82657 HAS SOPS 82657 HAS SOUS 25855 HAS SOUPS 25855 WITH SCORE 25937.657
AT ITER 4959 NEW BEST:: SOT 174662 SOS 82657 HAS SOPS 82657 HAS SOUS 25843 HAS SOUPS 25843 WITH SCORE 25925.657
AT ITER 4983 NEW BEST:: SOT 174602 SOS 82597 HAS SOPS 82597 HAS SOUS 25801 HAS SOUPS 25801 WITH SCORE 25883.597
AT ITER 5025 NEW BEST:: SOT 174598 SOS 82593 HAS SOPS 82593 HAS SOUS 25788 HAS SOUPS 25788 WITH SCORE 25870.593
AT ITER 5049 NEW BEST:: SOT 174658 SOS 82523 HAS SOPS 82523 HAS SOUS 25784 HAS SOUPS 25784 WITH SCORE 25866.523
AT ITER 5055 NEW BEST:: SOT 174592 SOS 82457 HAS SOPS 82457 HAS SOUS 25718 HAS SOUPS 25718 WITH SCORE 25800.457
AT ITER 5064 NEW BEST:: SOT 174599 SOS 82464 HAS SOPS 82464 HAS SOUS 25665 HAS SOUPS 25665 WITH SCORE 25747.464
AT ITER 5083 NEW BEST:: SOT 174597 SOS 82460 HAS SOPS 82460 HAS SOUS 25661 HAS SOUPS 25661 WITH SCORE 25743.46
AT ITER 5090 NEW BEST:: SOT 174597 SOS 82460 HAS SOPS 82460 HAS SOUS 25656 HAS SOUPS 25656 WITH SCORE 25738.46
AT ITER 5108 NEW BEST:: SOT 174582 SOS 82489 HAS SOPS 82489 HAS SOUS 25649 HAS SOUPS 25649 WITH SCORE 25731.489
AT ITER 5122 NEW BEST:: SOT 174582 SOS 82489 HAS SOPS 82489 HAS SOUS 25647 HAS SOUPS 25647 WITH SCORE 25729.489
AT ITER 5126 NEW BEST:: SOT 174554 SOS 82461 HAS SOPS 82461 HAS SOUS 25601 HAS SOUPS 25601 WITH SCORE 25683.461
AT ITER 5128 NEW BEST:: SOT 174566 SOS 82473 HAS SOPS 82473 HAS SOUS 25597 HAS SOUPS 25597 WITH SCORE 25679.473
AT ITER 5135 NEW BEST:: SOT 174511 SOS 82405 HAS SOPS 82405 HAS SOUS 25492 HAS SOUPS 25492 WITH SCORE 25574.405
AT ITER 5156 NEW BEST:: SOT 174469 SOS 82596 HAS SOPS 82596 HAS SOUS 25463 HAS SOUPS 25463 WITH SCORE 25545.596
AT ITER 5174 NEW BEST:: SOT 174345 SOS 82372 HAS SOPS 82372 HAS SOUS 25350 HAS SOUPS 25350 WITH SCORE 25432.372
AT ITER 5232 NEW BEST:: SOT 174328 SOS 82282 HAS SOPS 82282 HAS SOUS 25337 HAS SOUPS 25337 WITH SCORE 25419.282
AT ITER 5273 NEW BEST:: SOT 174290 SOS 82244 HAS SOPS 82244 HAS SOUS 25299 HAS SOUPS 25299 WITH SCORE 25381.244
AT ITER 5275 NEW BEST:: SOT 174259 SOS 82194 HAS SOPS 82194 HAS SOUS 25264 HAS SOUPS 25264 WITH SCORE 25346.194
AT ITER 5283 NEW BEST:: SOT 174259 SOS 82162 HAS SOPS 82162 HAS SOUS 25264 HAS SOUPS 25264 WITH SCORE 25346.162
AT ITER 5305 NEW BEST:: SOT 174251 SOS 82154 HAS SOPS 82154 HAS SOUS 25256 HAS SOUPS 25256 WITH SCORE 25338.154
AT ITER 5306 NEW BEST:: SOT 174263 SOS 82148 HAS SOPS 82148 HAS SOUS 25256 HAS SOUPS 25256 WITH SCORE 25338.148
AT ITER 5345 NEW BEST:: SOT 174199 SOS 82069 HAS SOPS 82069 HAS SOUS 25241 HAS SOUPS 25241 WITH SCORE 25323.069
AT ITER 5350 NEW BEST:: SOT 174163 SOS 81961 HAS SOPS 81961 HAS SOUS 25205 HAS SOUPS 25205 WITH SCORE 25286.961
AT ITER 5356 NEW BEST:: SOT 174173 SOS 81971 HAS SOPS 81971 HAS SOUS 25199 HAS SOUPS 25199 WITH SCORE 25280.971
AT ITER 5366 NEW BEST:: SOT 174111 SOS 81923 HAS SOPS 81923 HAS SOUS 25137 HAS SOUPS 25137 WITH SCORE 25218.923
AT ITER 5373 NEW BEST:: SOT 174111 SOS 81859 HAS SOPS 81859 HAS SOUS 25137 HAS SOUPS 25137 WITH SCORE 25218.859
AT ITER 5414 NEW BEST:: SOT 174107 SOS 81851 HAS SOPS 81851 HAS SOUS 25133 HAS SOUPS 25133 WITH SCORE 25214.851
AT ITER 5422 NEW BEST:: SOT 174082 SOS 81804 HAS SOPS 81804 HAS SOUS 25102 HAS SOUPS 25102 WITH SCORE 25183.804
AT ITER 5423 NEW BEST:: SOT 174082 SOS 81804 HAS SOPS 81804 HAS SOUS 25097 HAS SOUPS 25097 WITH SCORE 25178.804
AT ITER 5451 NEW BEST:: SOT 174112 SOS 81834 HAS SOPS 81834 HAS SOUS 25073 HAS SOUPS 25073 WITH SCORE 25154.834
AT ITER 5506 NEW BEST:: SOT 174108 SOS 81835 HAS SOPS 81835 HAS SOUS 25048 HAS SOUPS 25048 WITH SCORE 25129.835
AT ITER 5511 NEW BEST:: SOT 174104 SOS 81831 HAS SOPS 81831 HAS SOUS 25042 HAS SOUPS 25042 WITH SCORE 25123.831
AT ITER 5522 NEW BEST:: SOT 174076 SOS 81827 HAS SOPS 81827 HAS SOUS 25014 HAS SOUPS 25014 WITH SCORE 25095.827
AT ITER 5545 NEW BEST:: SOT 174045 SOS 81789 HAS SOPS 81789 HAS SOUS 24951 HAS SOUPS 24951 WITH SCORE 25032.789
AT ITER 5574 NEW BEST:: SOT 174022 SOS 81768 HAS SOPS 81768 HAS SOUS 24948 HAS SOUPS 24948 WITH SCORE 25029.768
AT ITER 5577 NEW BEST:: SOT 174022 SOS 81768 HAS SOPS 81768 HAS SOUS 24947 HAS SOUPS 24947 WITH SCORE 25028.768
AT ITER 5596 NEW BEST:: SOT 174005 SOS 81802 HAS SOPS 81802 HAS SOUS 24930 HAS SOUPS 24930 WITH SCORE 25011.802
AT ITER 5620 NEW BEST:: SOT 173967 SOS 81746 HAS SOPS 81746 HAS SOUS 24873 HAS SOUPS 24873 WITH SCORE 24954.746
AT ITER 5649 NEW BEST:: SOT 173970 SOS 81749 HAS SOPS 81749 HAS SOUS 24851 HAS SOUPS 24851 WITH SCORE 24932.749
AT ITER 5654 NEW BEST:: SOT 173960 SOS 81763 HAS SOPS 81763 HAS SOUS 24829 HAS SOUPS 24829 WITH SCORE 24910.763
AT ITER 5718 NEW BEST:: SOT 173858 SOS 82534 HAS SOPS 82534 HAS SOUS 24776 HAS SOUPS 24776 WITH SCORE 24858.534
AT ITER 5750 NEW BEST:: SOT 173836 SOS 82512 HAS SOPS 82512 HAS SOUS 24750 HAS SOUPS 24750 WITH SCORE 24832.512
AT ITER 5773 NEW BEST:: SOT 173794 SOS 82470 HAS SOPS 82470 HAS SOUS 24750 HAS SOUPS 24750 WITH SCORE 24832.47
AT ITER 5775 NEW BEST:: SOT 173572 SOS 82300 HAS SOPS 82300 HAS SOUS 24724 HAS SOUPS 24724 WITH SCORE 24806.3
AT ITER 5777 NEW BEST:: SOT 173532 SOS 82226 HAS SOPS 82226 HAS SOUS 24673 HAS SOUPS 24673 WITH SCORE 24755.226
AT ITER 5781 NEW BEST:: SOT 173472 SOS 82166 HAS SOPS 82166 HAS SOUS 24576 HAS SOUPS 24576 WITH SCORE 24658.166
AT ITER 5784 NEW BEST:: SOT 173470 SOS 82161 HAS SOPS 82161 HAS SOUS 24574 HAS SOUPS 24574 WITH SCORE 24656.161
AT ITER 5793 NEW BEST:: SOT 173462 SOS 82145 HAS SOPS 82145 HAS SOUS 24566 HAS SOUPS 24566 WITH SCORE 24648.145
AT ITER 5796 NEW BEST:: SOT 173450 SOS 82139 HAS SOPS 82139 HAS SOUS 24560 HAS SOUPS 24560 WITH SCORE 24642.139
AT ITER 5854 NEW BEST:: SOT 173447 SOS 82133 HAS SOPS 82133 HAS SOUS 24557 HAS SOUPS 24557 WITH SCORE 24639.133
AT ITER 5856 NEW BEST:: SOT 173415 SOS 82101 HAS SOPS 82101 HAS SOUS 24541 HAS SOUPS 24541 WITH SCORE 24623.101
AT ITER 5864 NEW BEST:: SOT 173339 SOS 81999 HAS SOPS 81999 HAS SOUS 24488 HAS SOUPS 24488 WITH SCORE 24569.999
AT ITER 5916 NEW BEST:: SOT 173277 SOS 81662 HAS SOPS 81662 HAS SOUS 24435 HAS SOUPS 24435 WITH SCORE 24516.662
AT ITER 5985 NEW BEST:: SOT 173249 SOS 81634 HAS SOPS 81634 HAS SOUS 24398 HAS SOUPS 24398 WITH SCORE 24479.634
AT ITER 6004 NEW BEST:: SOT 173231 SOS 81616 HAS SOPS 81616 HAS SOUS 24315 HAS SOUPS 24315 WITH SCORE 24396.616
AT ITER 6051 NEW BEST:: SOT 173231 SOS 81614 HAS SOPS 81614 HAS SOUS 24312 HAS SOUPS 24312 WITH SCORE 24393.614
AT ITER 6055 NEW BEST:: SOT 173231 SOS 81614 HAS SOPS 81614 HAS SOUS 24310 HAS SOUPS 24310 WITH SCORE 24391.614
AT ITER 6056 NEW BEST:: SOT 173235 SOS 81618 HAS SOPS 81618 HAS SOUS 24302 HAS SOUPS 24302 WITH SCORE 24383.618
AT ITER 6121 NEW BEST:: SOT 172918 SOS 86106 HAS SOPS 86106 HAS SOUS 24259 HAS SOUPS 24259 WITH SCORE 24345.106
AT ITER 6122 NEW BEST:: SOT 172918 SOS 86480 HAS SOPS 86480 HAS SOUS 24241 HAS SOUPS 24241 WITH SCORE 24327.48
AT ITER 6124 NEW BEST:: SOT 172916 SOS 86472 HAS SOPS 86472 HAS SOUS 24237 HAS SOUPS 24237 WITH SCORE 24323.472
AT ITER 6142 NEW BEST:: SOT 172877 SOS 86433 HAS SOPS 86433 HAS SOUS 24224 HAS SOUPS 24224 WITH SCORE 24310.433
AT ITER 6155 NEW BEST:: SOT 172907 SOS 86508 HAS SOPS 86508 HAS SOUS 24211 HAS SOUPS 24211 WITH SCORE 24297.508
AT ITER 6187 NEW BEST:: SOT 172898 SOS 86496 HAS SOPS 86496 HAS SOUS 24199 HAS SOUPS 24199 WITH SCORE 24285.496
AT ITER 6215 NEW BEST:: SOT 172898 SOS 86496 HAS SOPS 86496 HAS SOUS 24194 HAS SOUPS 24194 WITH SCORE 24280.496
AT ITER 6222 NEW BEST:: SOT 172876 SOS 86474 HAS SOPS 86474 HAS SOUS 24173 HAS SOUPS 24173 WITH SCORE 24259.474
AT ITER 6227 NEW BEST:: SOT 172828 SOS 86426 HAS SOPS 86426 HAS SOUS 24110 HAS SOUPS 24110 WITH SCORE 24196.426
AT ITER 6233 NEW BEST:: SOT 172811 SOS 86422 HAS SOPS 86422 HAS SOUS 24105 HAS SOUPS 24105 WITH SCORE 24191.422
AT ITER 6287 NEW BEST:: SOT 172811 SOS 86422 HAS SOPS 86422 HAS SOUS 24093 HAS SOUPS 24093 WITH SCORE 24179.422
AT ITER 6299 NEW BEST:: SOT 172811 SOS 86399 HAS SOPS 86399 HAS SOUS 24088 HAS SOUPS 24088 WITH SCORE 24174.399
AT ITER 6312 NEW BEST:: SOT 172809 SOS 86395 HAS SOPS 86395 HAS SOUS 24087 HAS SOUPS 24087 WITH SCORE 24173.395
AT ITER 6324 NEW BEST:: SOT 172809 SOS 86399 HAS SOPS 86399 HAS SOUS 24085 HAS SOUPS 24085 WITH SCORE 24171.399
AT ITER 6348 NEW BEST:: SOT 172809 SOS 86399 HAS SOPS 86399 HAS SOUS 24076 HAS SOUPS 24076 WITH SCORE 24162.399
AT ITER 6363 NEW BEST:: SOT 172846 SOS 86392 HAS SOPS 86392 HAS SOUS 24014 HAS SOUPS 24014 WITH SCORE 24100.392
AT ITER 6376 NEW BEST:: SOT 172846 SOS 86260 HAS SOPS 86260 HAS SOUS 24014 HAS SOUPS 24014 WITH SCORE 24100.26
AT ITER 6387 NEW BEST:: SOT 172838 SOS 86236 HAS SOPS 86236 HAS SOUS 24002 HAS SOUPS 24002 WITH SCORE 24088.236
AT ITER 6395 NEW BEST:: SOT 172790 SOS 86086 HAS SOPS 86086 HAS SOUS 23923 HAS SOUPS 23923 WITH SCORE 24009.086
AT ITER 6427 NEW BEST:: SOT 172753 SOS 85879 HAS SOPS 85879 HAS SOUS 23911 HAS SOUPS 23911 WITH SCORE 23996.879
AT ITER 6453 NEW BEST:: SOT 172769 SOS 85891 HAS SOPS 85891 HAS SOUS 23896 HAS SOUPS 23896 WITH SCORE 23981.891
AT ITER 6464 NEW BEST:: SOT 172749 SOS 85865 HAS SOPS 85865 HAS SOUS 23879 HAS SOUPS 23879 WITH SCORE 23964.865
AT ITER 6469 NEW BEST:: SOT 172609 SOS 85725 HAS SOPS 85725 HAS SOUS 23739 HAS SOUPS 23739 WITH SCORE 23824.725
AT ITER 6475 NEW BEST:: SOT 172628 SOS 85747 HAS SOPS 85747 HAS SOUS 23735 HAS SOUPS 23735 WITH SCORE 23820.747
AT ITER 6515 NEW BEST:: SOT 172610 SOS 85693 HAS SOPS 85693 HAS SOUS 23709 HAS SOUPS 23709 WITH SCORE 23794.693
AT ITER 6584 NEW BEST:: SOT 172630 SOS 82853 HAS SOPS 82853 HAS SOUS 23591 HAS SOUPS 23591 WITH SCORE 23673.853
AT ITER 6614 NEW BEST:: SOT 172649 SOS 82777 HAS SOPS 82777 HAS SOUS 23591 HAS SOUPS 23591 WITH SCORE 23673.777
AT ITER 6637 NEW BEST:: SOT 172587 SOS 82759 HAS SOPS 82759 HAS SOUS 23580 HAS SOUPS 23580 WITH SCORE 23662.759
AT ITER 6655 NEW BEST:: SOT 172594 SOS 82681 HAS SOPS 82681 HAS SOUS 23565 HAS SOUPS 23565 WITH SCORE 23647.681
AT ITER 6679 NEW BEST:: SOT 172584 SOS 82671 HAS SOPS 82671 HAS SOUS 23549 HAS SOUPS 23549 WITH SCORE 23631.671
AT ITER 6698 NEW BEST:: SOT 172588 SOS 82675 HAS SOPS 82675 HAS SOUS 23543 HAS SOUPS 23543 WITH SCORE 23625.675
AT ITER 6707 NEW BEST:: SOT 172588 SOS 82675 HAS SOPS 82675 HAS SOUS 23499 HAS SOUPS 23499 WITH SCORE 23581.675
AT ITER 6742 NEW BEST:: SOT 172591 SOS 82705 HAS SOPS 82705 HAS SOUS 23497 HAS SOUPS 23497 WITH SCORE 23579.705
AT ITER 6774 NEW BEST:: SOT 172541 SOS 82895 HAS SOPS 82895 HAS SOUS 23447 HAS SOUPS 23447 WITH SCORE 23529.895
AT ITER 6786 NEW BEST:: SOT 172541 SOS 82880 HAS SOPS 82880 HAS SOUS 23444 HAS SOUPS 23444 WITH SCORE 23526.88
AT ITER 6814 NEW BEST:: SOT 172549 SOS 82888 HAS SOPS 82888 HAS SOUS 23439 HAS SOUPS 23439 WITH SCORE 23521.888
AT ITER 6845 NEW BEST:: SOT 172531 SOS 82870 HAS SOPS 82870 HAS SOUS 23410 HAS SOUPS 23410 WITH SCORE 23492.87
AT ITER 6865 NEW BEST:: SOT 172531 SOS 82779 HAS SOPS 82779 HAS SOUS 23410 HAS SOUPS 23410 WITH SCORE 23492.779
AT ITER 6870 NEW BEST:: SOT 172556 SOS 82747 HAS SOPS 82747 HAS SOUS 23407 HAS SOUPS 23407 WITH SCORE 23489.747
AT ITER 6900 NEW BEST:: SOT 172552 SOS 82743 HAS SOPS 82743 HAS SOUS 23402 HAS SOUPS 23402 WITH SCORE 23484.743
AT ITER 6906 NEW BEST:: SOT 172536 SOS 82727 HAS SOPS 82727 HAS SOUS 23380 HAS SOUPS 23380 WITH SCORE 23462.727
AT ITER 6925 NEW BEST:: SOT 172536 SOS 82727 HAS SOPS 82727 HAS SOUS 23365 HAS SOUPS 23365 WITH SCORE 23447.727
AT ITER 6937 NEW BEST:: SOT 172534 SOS 82726 HAS SOPS 82726 HAS SOUS 23365 HAS SOUPS 23365 WITH SCORE 23447.726
AT ITER 6944 NEW BEST:: SOT 172573 SOS 82489 HAS SOPS 82489 HAS SOUS 23335 HAS SOUPS 23335 WITH SCORE 23417.489
AT ITER 6952 NEW BEST:: SOT 172567 SOS 82452 HAS SOPS 82452 HAS SOUS 23329 HAS SOUPS 23329 WITH SCORE 23411.452
AT ITER 6978 NEW BEST:: SOT 172550 SOS 82356 HAS SOPS 82356 HAS SOUS 23312 HAS SOUPS 23312 WITH SCORE 23394.356
AT ITER 6984 NEW BEST:: SOT 172518 SOS 82319 HAS SOPS 82319 HAS SOUS 23295 HAS SOUPS 23295 WITH SCORE 23377.319
AT ITER 6999 NEW BEST:: SOT 172540 SOS 82341 HAS SOPS 82341 HAS SOUS 23287 HAS SOUPS 23287 WITH SCORE 23369.341
AT ITER 7006 NEW BEST:: SOT 172492 SOS 82293 HAS SOPS 82293 HAS SOUS 23248 HAS SOUPS 23248 WITH SCORE 23330.293
AT ITER 7028 NEW BEST:: SOT 172492 SOS 82293 HAS SOPS 82293 HAS SOUS 23237 HAS SOUPS 23237 WITH SCORE 23319.293
AT ITER 7067 NEW BEST:: SOT 172492 SOS 82295 HAS SOPS 82295 HAS SOUS 23234 HAS SOUPS 23234 WITH SCORE 23316.295
AT ITER 7082 NEW BEST:: SOT 172408 SOS 82187 HAS SOPS 82187 HAS SOUS 23198 HAS SOUPS 23198 WITH SCORE 23280.187
AT ITER 7090 NEW BEST:: SOT 172408 SOS 82161 HAS SOPS 82161 HAS SOUS 23194 HAS SOUPS 23194 WITH SCORE 23276.161
AT ITER 7158 NEW BEST:: SOT 172404 SOS 82157 HAS SOPS 82157 HAS SOUS 23188 HAS SOUPS 23188 WITH SCORE 23270.157
AT ITER 7190 NEW BEST:: SOT 172309 SOS 81931 HAS SOPS 81931 HAS SOUS 23117 HAS SOUPS 23117 WITH SCORE 23198.931
AT ITER 7196 NEW BEST:: SOT 172309 SOS 81929 HAS SOPS 81929 HAS SOUS 23115 HAS SOUPS 23115 WITH SCORE 23196.929
AT ITER 7219 NEW BEST:: SOT 172301 SOS 81919 HAS SOPS 81919 HAS SOUS 23104 HAS SOUPS 23104 WITH SCORE 23185.919
AT ITER 7255 NEW BEST:: SOT 172262 SOS 82049 HAS SOPS 82049 HAS SOUS 23096 HAS SOUPS 23096 WITH SCORE 23178.049
AT ITER 7287 NEW BEST:: SOT 172262 SOS 82066 HAS SOPS 82066 HAS SOUS 23085 HAS SOUPS 23085 WITH SCORE 23167.066
AT ITER 7293 NEW BEST:: SOT 172261 SOS 82065 HAS SOPS 82065 HAS SOUS 23084 HAS SOUPS 23084 WITH SCORE 23166.065
AT ITER 7308 NEW BEST:: SOT 172272 SOS 82055 HAS SOPS 82055 HAS SOUS 23076 HAS SOUPS 23076 WITH SCORE 23158.055
AT ITER 7310 NEW BEST:: SOT 172268 SOS 82052 HAS SOPS 82052 HAS SOUS 23075 HAS SOUPS 23075 WITH SCORE 23157.052
AT ITER 7315 NEW BEST:: SOT 172214 SOS 81868 HAS SOPS 81868 HAS SOUS 23026 HAS SOUPS 23026 WITH SCORE 23107.868
AT ITER 7393 NEW BEST:: SOT 172214 SOS 81863 HAS SOPS 81863 HAS SOUS 23026 HAS SOUPS 23026 WITH SCORE 23107.863
AT ITER 7395 NEW BEST:: SOT 172194 SOS 82155 HAS SOPS 82155 HAS SOUS 23020 HAS SOUPS 23020 WITH SCORE 23102.155
AT ITER 7399 NEW BEST:: SOT 172220 SOS 81980 HAS SOPS 81980 HAS SOUS 23001 HAS SOUPS 23001 WITH SCORE 23082.98
AT ITER 7474 NEW BEST:: SOT 172217 SOS 81978 HAS SOPS 81978 HAS SOUS 22999 HAS SOUPS 22999 WITH SCORE 23080.978
AT ITER 7475 NEW BEST:: SOT 172205 SOS 81942 HAS SOPS 81942 HAS SOUS 22981 HAS SOUPS 22981 WITH SCORE 23062.942
AT ITER 7479 NEW BEST:: SOT 172191 SOS 81928 HAS SOPS 81928 HAS SOUS 22973 HAS SOUPS 22973 WITH SCORE 23054.928
AT ITER 7480 NEW BEST:: SOT 172187 SOS 81924 HAS SOPS 81924 HAS SOUS 22969 HAS SOUPS 22969 WITH SCORE 23050.924
AT ITER 7494 NEW BEST:: SOT 172187 SOS 81885 HAS SOPS 81885 HAS SOUS 22969 HAS SOUPS 22969 WITH SCORE 23050.885
AT ITER 7548 NEW BEST:: SOT 172171 SOS 81877 HAS SOPS 81877 HAS SOUS 22965 HAS SOUPS 22965 WITH SCORE 23046.877
AT ITER 7551 NEW BEST:: SOT 172171 SOS 81877 HAS SOPS 81877 HAS SOUS 22964 HAS SOUPS 22964 WITH SCORE 23045.877
AT ITER 7562 NEW BEST:: SOT 172171 SOS 81829 HAS SOPS 81829 HAS SOUS 22964 HAS SOUPS 22964 WITH SCORE 23045.829
AT ITER 7594 NEW BEST:: SOT 172138 SOS 81656 HAS SOPS 81656 HAS SOUS 22855 HAS SOUPS 22855 WITH SCORE 22936.656
AT ITER 7600 NEW BEST:: SOT 172135 SOS 81660 HAS SOPS 81660 HAS SOUS 22848 HAS SOUPS 22848 WITH SCORE 22929.66
AT ITER 7605 NEW BEST:: SOT 172125 SOS 81602 HAS SOPS 81602 HAS SOUS 22822 HAS SOUPS 22822 WITH SCORE 22903.602
AT ITER 7613 NEW BEST:: SOT 172108 SOS 81640 HAS SOPS 81640 HAS SOUS 22769 HAS SOUPS 22769 WITH SCORE 22850.64
AT ITER 7617 NEW BEST:: SOT 172013 SOS 81516 HAS SOPS 81516 HAS SOUS 22734 HAS SOUPS 22734 WITH SCORE 22815.516
AT ITER 7632 NEW BEST:: SOT 171946 SOS 80917 HAS SOPS 80917 HAS SOUS 22718 HAS SOUPS 22718 WITH SCORE 22798.917
AT ITER 7679 NEW BEST:: SOT 171934 SOS 80904 HAS SOPS 80904 HAS SOUS 22716 HAS SOUPS 22716 WITH SCORE 22796.904
AT ITER 7680 NEW BEST:: SOT 171934 SOS 80952 HAS SOPS 80952 HAS SOUS 22709 HAS SOUPS 22709 WITH SCORE 22789.952
AT ITER 7681 NEW BEST:: SOT 171881 SOS 81424 HAS SOPS 81424 HAS SOUS 22691 HAS SOUPS 22691 WITH SCORE 22772.424
AT ITER 7688 NEW BEST:: SOT 171877 SOS 81420 HAS SOPS 81420 HAS SOUS 22681 HAS SOUPS 22681 WITH SCORE 22762.42
AT ITER 7704 NEW BEST:: SOT 171856 SOS 81398 HAS SOPS 81398 HAS SOUS 22670 HAS SOUPS 22670 WITH SCORE 22751.398
AT ITER 7748 NEW BEST:: SOT 171860 SOS 81339 HAS SOPS 81339 HAS SOUS 22670 HAS SOUPS 22670 WITH SCORE 22751.339
AT ITER 7754 NEW BEST:: SOT 171872 SOS 81375 HAS SOPS 81375 HAS SOUS 22634 HAS SOUPS 22634 WITH SCORE 22715.375
AT ITER 7763 NEW BEST:: SOT 171870 SOS 81373 HAS SOPS 81373 HAS SOUS 22632 HAS SOUPS 22632 WITH SCORE 22713.373
AT ITER 7768 NEW BEST:: SOT 171831 SOS 81302 HAS SOPS 81302 HAS SOUS 22593 HAS SOUPS 22593 WITH SCORE 22674.302
AT ITER 7803 NEW BEST:: SOT 171830 SOS 81301 HAS SOPS 81301 HAS SOUS 22573 HAS SOUPS 22573 WITH SCORE 22654.301
AT ITER 7839 NEW BEST:: SOT 171790 SOS 81033 HAS SOPS 81033 HAS SOUS 22564 HAS SOUPS 22564 WITH SCORE 22645.033
AT ITER 7848 NEW BEST:: SOT 171797 SOS 81044 HAS SOPS 81044 HAS SOUS 22538 HAS SOUPS 22538 WITH SCORE 22619.044
AT ITER 7900 NEW BEST:: SOT 171781 SOS 81044 HAS SOPS 81044 HAS SOUS 22506 HAS SOUPS 22506 WITH SCORE 22587.044
AT ITER 7901 NEW BEST:: SOT 171778 SOS 81054 HAS SOPS 81054 HAS SOUS 22499 HAS SOUPS 22499 WITH SCORE 22580.054
AT ITER 7903 NEW BEST:: SOT 171780 SOS 81022 HAS SOPS 81022 HAS SOUS 22465 HAS SOUPS 22465 WITH SCORE 22546.022
AT ITER 7907 NEW BEST:: SOT 171780 SOS 80992 HAS SOPS 80992 HAS SOUS 22460 HAS SOUPS 22460 WITH SCORE 22540.992
AT ITER 7915 NEW BEST:: SOT 171761 SOS 80967 HAS SOPS 80967 HAS SOUS 22444 HAS SOUPS 22444 WITH SCORE 22524.967
AT ITER 7931 NEW BEST:: SOT 171732 SOS 80938 HAS SOPS 80938 HAS SOUS 22387 HAS SOUPS 22387 WITH SCORE 22467.938
AT ITER 7990 NEW BEST:: SOT 171733 SOS 80938 HAS SOPS 80938 HAS SOUS 22385 HAS SOUPS 22385 WITH SCORE 22465.938
AT ITER 8040 NEW BEST:: SOT 171710 SOS 80926 HAS SOPS 80926 HAS SOUS 22383 HAS SOUPS 22383 WITH SCORE 22463.926
AT ITER 8078 NEW BEST:: SOT 171710 SOS 80926 HAS SOPS 80926 HAS SOUS 22376 HAS SOUPS 22376 WITH SCORE 22456.926
AT ITER 8088 NEW BEST:: SOT 171718 SOS 80934 HAS SOPS 80934 HAS SOUS 22375 HAS SOUPS 22375 WITH SCORE 22455.934
AT ITER 8090 NEW BEST:: SOT 171719 SOS 80950 HAS SOPS 80950 HAS SOUS 22373 HAS SOUPS 22373 WITH SCORE 22453.95
AT ITER 8094 NEW BEST:: SOT 171707 SOS 80911 HAS SOPS 80911 HAS SOUS 22338 HAS SOUPS 22338 WITH SCORE 22418.911
AT ITER 8106 NEW BEST:: SOT 171669 SOS 80461 HAS SOPS 80461 HAS SOUS 22297 HAS SOUPS 22297 WITH SCORE 22377.461
AT ITER 8112 NEW BEST:: SOT 171667 SOS 80457 HAS SOPS 80457 HAS SOUS 22295 HAS SOUPS 22295 WITH SCORE 22375.457
AT ITER 8182 NEW BEST:: SOT 171657 SOS 80437 HAS SOPS 80437 HAS SOUS 22285 HAS SOUPS 22285 WITH SCORE 22365.437
AT ITER 8190 NEW BEST:: SOT 171611 SOS 80391 HAS SOPS 80391 HAS SOUS 22278 HAS SOUPS 22278 WITH SCORE 22358.391
AT ITER 8225 NEW BEST:: SOT 171600 SOS 80380 HAS SOPS 80380 HAS SOUS 22267 HAS SOUPS 22267 WITH SCORE 22347.38
AT ITER 8236 NEW BEST:: SOT 171599 SOS 80382 HAS SOPS 80382 HAS SOUS 22265 HAS SOUPS 22265 WITH SCORE 22345.382
AT ITER 8260 NEW BEST:: SOT 171610 SOS 80393 HAS SOPS 80393 HAS SOUS 22264 HAS SOUPS 22264 WITH SCORE 22344.393
AT ITER 8352 NEW BEST:: SOT 171625 SOS 80408 HAS SOPS 80408 HAS SOUS 22262 HAS SOUPS 22262 WITH SCORE 22342.408
AT ITER 8456 NEW BEST:: SOT 171613 SOS 80396 HAS SOPS 80396 HAS SOUS 22246 HAS SOUPS 22246 WITH SCORE 22326.396
AT ITER 8479 NEW BEST:: SOT 171643 SOS 80432 HAS SOPS 80432 HAS SOUS 22213 HAS SOUPS 22213 WITH SCORE 22293.432
AT ITER 8507 NEW BEST:: SOT 171641 SOS 80430 HAS SOPS 80430 HAS SOUS 22211 HAS SOUPS 22211 WITH SCORE 22291.43
AT ITER 8508 NEW BEST:: SOT 171639 SOS 80426 HAS SOPS 80426 HAS SOUS 22208 HAS SOUPS 22208 WITH SCORE 22288.426
AT ITER 8509 NEW BEST:: SOT 171639 SOS 80424 HAS SOPS 80424 HAS SOUS 22206 HAS SOUPS 22206 WITH SCORE 22286.424
AT ITER 8510 NEW BEST:: SOT 171709 SOS 80377 HAS SOPS 80377 HAS SOUS 22206 HAS SOUPS 22206 WITH SCORE 22286.377
AT ITER 8511 NEW BEST:: SOT 171587 SOS 80197 HAS SOPS 80197 HAS SOUS 22083 HAS SOUPS 22083 WITH SCORE 22163.197
AT ITER 8560 NEW BEST:: SOT 171493 SOS 80103 HAS SOPS 80103 HAS SOUS 21943 HAS SOUPS 21943 WITH SCORE 22023.103
AT ITER 8563 NEW BEST:: SOT 171488 SOS 80098 HAS SOPS 80098 HAS SOUS 21938 HAS SOUPS 21938 WITH SCORE 22018.098
AT ITER 8641 NEW BEST:: SOT 171465 SOS 79938 HAS SOPS 79938 HAS SOUS 21910 HAS SOUPS 21910 WITH SCORE 21989.938
AT ITER 8718 NEW BEST:: SOT 171466 SOS 79941 HAS SOPS 79941 HAS SOUS 21907 HAS SOUPS 21907 WITH SCORE 21986.941
AT ITER 8721 NEW BEST:: SOT 171464 SOS 79939 HAS SOPS 79939 HAS SOUS 21904 HAS SOUPS 21904 WITH SCORE 21983.939
AT ITER 8760 NEW BEST:: SOT 171463 SOS 79939 HAS SOPS 79939 HAS SOUS 21902 HAS SOUPS 21902 WITH SCORE 21981.939
AT ITER 8772 NEW BEST:: SOT 171466 SOS 79689 HAS SOPS 79689 HAS SOUS 21893 HAS SOUPS 21893 WITH SCORE 21972.689
AT ITER 8786 NEW BEST:: SOT 171466 SOS 79689 HAS SOPS 79689 HAS SOUS 21883 HAS SOUPS 21883 WITH SCORE 21962.689
AT ITER 8839 NEW BEST:: SOT 171461 SOS 79684 HAS SOPS 79684 HAS SOUS 21881 HAS SOUPS 21881 WITH SCORE 21960.684
AT ITER 8865 NEW BEST:: SOT 171437 SOS 79610 HAS SOPS 79610 HAS SOUS 21852 HAS SOUPS 21852 WITH SCORE 21931.61
AT ITER 8896 NEW BEST:: SOT 171418 SOS 79613 HAS SOPS 79613 HAS SOUS 21849 HAS SOUPS 21849 WITH SCORE 21928.613
AT ITER 8900 NEW BEST:: SOT 171395 SOS 79587 HAS SOPS 79587 HAS SOUS 21847 HAS SOUPS 21847 WITH SCORE 21926.587
AT ITER 8932 NEW BEST:: SOT 171404 SOS 79596 HAS SOPS 79596 HAS SOUS 21820 HAS SOUPS 21820 WITH SCORE 21899.596
AT ITER 8935 NEW BEST:: SOT 171314 SOS 79107 HAS SOPS 79107 HAS SOUS 21753 HAS SOUPS 21753 WITH SCORE 21832.107
AT ITER 8963 NEW BEST:: SOT 171320 SOS 79101 HAS SOPS 79101 HAS SOUS 21753 HAS SOUPS 21753 WITH SCORE 21832.101
AT ITER 9010 NEW BEST:: SOT 171320 SOS 79123 HAS SOPS 79123 HAS SOUS 21748 HAS SOUPS 21748 WITH SCORE 21827.123
AT ITER 9059 NEW BEST:: SOT 171163 SOS 78980 HAS SOPS 78980 HAS SOUS 21636 HAS SOUPS 21636 WITH SCORE 21714.98
AT ITER 9128 NEW BEST:: SOT 171175 SOS 78992 HAS SOPS 78992 HAS SOUS 21632 HAS SOUPS 21632 WITH SCORE 21710.992
AT ITER 9147 NEW BEST:: SOT 171176 SOS 78995 HAS SOPS 78995 HAS SOUS 21630 HAS SOUPS 21630 WITH SCORE 21708.995
AT ITER 9195 NEW BEST:: SOT 171086 SOS 78905 HAS SOPS 78905 HAS SOUS 21571 HAS SOUPS 21571 WITH SCORE 21649.905
AT ITER 9253 NEW BEST:: SOT 171042 SOS 78761 HAS SOPS 78761 HAS SOUS 21505 HAS SOUPS 21505 WITH SCORE 21583.761
AT ITER 9281 NEW BEST:: SOT 171024 SOS 78743 HAS SOPS 78743 HAS SOUS 21487 HAS SOUPS 21487 WITH SCORE 21565.743
AT ITER 9291 NEW BEST:: SOT 171018 SOS 78737 HAS SOPS 78737 HAS SOUS 21469 HAS SOUPS 21469 WITH SCORE 21547.737
AT ITER 9297 NEW BEST:: SOT 171018 SOS 78737 HAS SOPS 78737 HAS SOUS 21467 HAS SOUPS 21467 WITH SCORE 21545.737
AT ITER 9320 NEW BEST:: SOT 170948 SOS 78667 HAS SOPS 78667 HAS SOUS 21457 HAS SOUPS 21457 WITH SCORE 21535.667
AT ITER 9321 NEW BEST:: SOT 170948 SOS 78667 HAS SOPS 78667 HAS SOUS 21452 HAS SOUPS 21452 WITH SCORE 21530.667
AT ITER 9341 NEW BEST:: SOT 170911 SOS 78646 HAS SOPS 78646 HAS SOUS 21452 HAS SOUPS 21452 WITH SCORE 21530.646
AT ITER 9348 NEW BEST:: SOT 170899 SOS 78629 HAS SOPS 78629 HAS SOUS 21451 HAS SOUPS 21451 WITH SCORE 21529.629
AT ITER 9394 NEW BEST:: SOT 170899 SOS 78629 HAS SOPS 78629 HAS SOUS 21444 HAS SOUPS 21444 WITH SCORE 21522.629
AT ITER 9404 NEW BEST:: SOT 170867 SOS 78597 HAS SOPS 78597 HAS SOUS 21424 HAS SOUPS 21424 WITH SCORE 21502.597
AT ITER 9428 NEW BEST:: SOT 170867 SOS 78597 HAS SOPS 78597 HAS SOUS 21423 HAS SOUPS 21423 WITH SCORE 21501.597
AT ITER 9458 NEW BEST:: SOT 170861 SOS 78673 HAS SOPS 78673 HAS SOUS 21417 HAS SOUPS 21417 WITH SCORE 21495.673
AT ITER 9463 NEW BEST:: SOT 170861 SOS 78625 HAS SOPS 78625 HAS SOUS 21417 HAS SOUPS 21417 WITH SCORE 21495.625
AT ITER 9501 NEW BEST:: SOT 170835 SOS 78547 HAS SOPS 78547 HAS SOUS 21366 HAS SOUPS 21366 WITH SCORE 21444.547
AT ITER 9553 NEW BEST:: SOT 170821 SOS 78533 HAS SOPS 78533 HAS SOUS 21351 HAS SOUPS 21351 WITH SCORE 21429.533
AT ITER 9571 NEW BEST:: SOT 170818 SOS 78527 HAS SOPS 78527 HAS SOUS 21351 HAS SOUPS 21351 WITH SCORE 21429.527
AT ITER 9604 NEW BEST:: SOT 170810 SOS 78519 HAS SOPS 78519 HAS SOUS 21335 HAS SOUPS 21335 WITH SCORE 21413.519
AT ITER 9662 NEW BEST:: SOT 170837 SOS 78556 HAS SOPS 78556 HAS SOUS 21331 HAS SOUPS 21331 WITH SCORE 21409.556
AT ITER 9674 NEW BEST:: SOT 170803 SOS 78512 HAS SOPS 78512 HAS SOUS 21309 HAS SOUPS 21309 WITH SCORE 21387.512
AT ITER 9713 NEW BEST:: SOT 170803 SOS 78485 HAS SOPS 78485 HAS SOUS 21309 HAS SOUPS 21309 WITH SCORE 21387.485
AT ITER 9781 NEW BEST:: SOT 170801 SOS 78463 HAS SOPS 78463 HAS SOUS 21307 HAS SOUPS 21307 WITH SCORE 21385.463
AT ITER 9825 NEW BEST:: SOT 170795 SOS 78457 HAS SOPS 78457 HAS SOUS 21291 HAS SOUPS 21291 WITH SCORE 21369.457
AT ITER 9924 NEW BEST:: SOT 170779 SOS 78438 HAS SOPS 78438 HAS SOUS 21287 HAS SOUPS 21287 WITH SCORE 21365.438
AT ITER 9926 NEW BEST:: SOT 170827 SOS 78566 HAS SOPS 78566 HAS SOUS 21279 HAS SOUPS 21279 WITH SCORE 21357.566
AT ITER 9939 NEW BEST:: SOT 170797 SOS 78536 HAS SOPS 78536 HAS SOUS 21249 HAS SOUPS 21249 WITH SCORE 21327.536
AT ITER 9978 NEW BEST:: SOT 170775 SOS 78514 HAS SOPS 78514 HAS SOUS 21216 HAS SOUPS 21216 WITH SCORE 21294.514
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 3331524 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16123904 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="UtilityControlRoom-COL-Z4T4N10"
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-Z4T4N10, 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-167912711301088"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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