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.r395-oct2-167903718800440.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ShieldPPPs-PT-010A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718800440
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 568K
-rw-r--r-- 1 mcc users 7.6K Feb 26 02:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 02:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 26 02:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 02:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 02:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Feb 26 02:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 02:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 113K Feb 26 02:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:58 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:58 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 88K 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 1679567505649

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=ShieldPPPs-PT-010A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 10:31:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 10:31:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 10:31:47] [INFO ] Load time of PNML (sax parser for PT used): 74 ms
[2023-03-23 10:31:47] [INFO ] Transformed 313 places.
[2023-03-23 10:31:47] [INFO ] Transformed 263 transitions.
[2023-03-23 10:31:47] [INFO ] Found NUPN structural information;
[2023-03-23 10:31:47] [INFO ] Parsed PT model containing 313 places and 263 transitions and 1006 arcs in 161 ms.
[2023-03-23 10:31:47] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 313 places, 263 transitions and 1006 arcs took 6 ms.
Total runtime 194 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 010A
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: 313 places, 263 transitions, 1006 arcs.
AT ITER 0 NEW BEST:: SOT 53213 SOS 37253 HAS SOPS 37253 HAS SOUS 28703 HAS SOUPS 28703 WITH SCORE 28740.253
AT ITER 7 NEW BEST:: SOT 53155 SOS 37202 HAS SOPS 37202 HAS SOUS 28652 HAS SOUPS 28652 WITH SCORE 28689.202
AT ITER 16 NEW BEST:: SOT 53154 SOS 36711 HAS SOPS 36711 HAS SOUS 28630 HAS SOUPS 28630 WITH SCORE 28666.711
AT ITER 19 NEW BEST:: SOT 53161 SOS 36352 HAS SOPS 36352 HAS SOUS 28615 HAS SOUPS 28615 WITH SCORE 28651.352
AT ITER 25 NEW BEST:: SOT 53148 SOS 36330 HAS SOPS 36330 HAS SOUS 28581 HAS SOUPS 28581 WITH SCORE 28617.33
AT ITER 26 NEW BEST:: SOT 52967 SOS 36146 HAS SOPS 36146 HAS SOUS 28397 HAS SOUPS 28397 WITH SCORE 28433.146
AT ITER 34 NEW BEST:: SOT 52966 SOS 36145 HAS SOPS 36145 HAS SOUS 28396 HAS SOUPS 28396 WITH SCORE 28432.145
AT ITER 38 NEW BEST:: SOT 52840 SOS 36019 HAS SOPS 36019 HAS SOUS 28270 HAS SOUPS 28270 WITH SCORE 28306.019
AT ITER 43 NEW BEST:: SOT 52785 SOS 35744 HAS SOPS 35744 HAS SOUS 28269 HAS SOUPS 28269 WITH SCORE 28304.744
AT ITER 46 NEW BEST:: SOT 52627 SOS 35587 HAS SOPS 35587 HAS SOUS 28112 HAS SOUPS 28112 WITH SCORE 28147.587
AT ITER 48 NEW BEST:: SOT 52500 SOS 35458 HAS SOPS 35458 HAS SOUS 27983 HAS SOUPS 27983 WITH SCORE 28018.458
AT ITER 51 NEW BEST:: SOT 52429 SOS 35387 HAS SOPS 35387 HAS SOUS 27912 HAS SOUPS 27912 WITH SCORE 27947.387
AT ITER 54 NEW BEST:: SOT 52421 SOS 35379 HAS SOPS 35379 HAS SOUS 27904 HAS SOUPS 27904 WITH SCORE 27939.379
AT ITER 58 NEW BEST:: SOT 52324 SOS 35281 HAS SOPS 35281 HAS SOUS 27806 HAS SOUPS 27806 WITH SCORE 27841.281
AT ITER 61 NEW BEST:: SOT 52232 SOS 34846 HAS SOPS 34846 HAS SOUS 27789 HAS SOUPS 27789 WITH SCORE 27823.846
AT ITER 62 NEW BEST:: SOT 52228 SOS 34842 HAS SOPS 34842 HAS SOUS 27785 HAS SOUPS 27785 WITH SCORE 27819.842
AT ITER 74 NEW BEST:: SOT 52091 SOS 34735 HAS SOPS 34735 HAS SOUS 27650 HAS SOUPS 27650 WITH SCORE 27684.735
AT ITER 79 NEW BEST:: SOT 52053 SOS 34696 HAS SOPS 34696 HAS SOUS 27611 HAS SOUPS 27611 WITH SCORE 27645.696
AT ITER 80 NEW BEST:: SOT 52062 SOS 34405 HAS SOPS 34405 HAS SOUS 27513 HAS SOUPS 27513 WITH SCORE 27547.405
AT ITER 85 NEW BEST:: SOT 52209 SOS 34191 HAS SOPS 34191 HAS SOUS 27489 HAS SOUPS 27489 WITH SCORE 27523.191
AT ITER 90 NEW BEST:: SOT 52247 SOS 34092 HAS SOPS 34092 HAS SOUS 27397 HAS SOUPS 27397 WITH SCORE 27431.092
AT ITER 92 NEW BEST:: SOT 52169 SOS 34014 HAS SOPS 34014 HAS SOUS 27319 HAS SOUPS 27319 WITH SCORE 27353.014
AT ITER 96 NEW BEST:: SOT 52316 SOS 33773 HAS SOPS 33773 HAS SOUS 27307 HAS SOUPS 27307 WITH SCORE 27340.773
AT ITER 101 NEW BEST:: SOT 52276 SOS 33714 HAS SOPS 33714 HAS SOUS 27275 HAS SOUPS 27275 WITH SCORE 27308.714
AT ITER 103 NEW BEST:: SOT 52332 SOS 33770 HAS SOPS 33770 HAS SOUS 27269 HAS SOUPS 27269 WITH SCORE 27302.77
AT ITER 111 NEW BEST:: SOT 52385 SOS 33819 HAS SOPS 33819 HAS SOUS 27226 HAS SOUPS 27226 WITH SCORE 27259.819
AT ITER 112 NEW BEST:: SOT 52373 SOS 33807 HAS SOPS 33807 HAS SOUS 27214 HAS SOUPS 27214 WITH SCORE 27247.807
AT ITER 118 NEW BEST:: SOT 52307 SOS 33741 HAS SOPS 33741 HAS SOUS 27148 HAS SOUPS 27148 WITH SCORE 27181.741
AT ITER 122 NEW BEST:: SOT 52307 SOS 33741 HAS SOPS 33741 HAS SOUS 27147 HAS SOUPS 27147 WITH SCORE 27180.741
AT ITER 136 NEW BEST:: SOT 52235 SOS 33519 HAS SOPS 33519 HAS SOUS 26989 HAS SOUPS 26989 WITH SCORE 27022.519
AT ITER 141 NEW BEST:: SOT 52235 SOS 33632 HAS SOPS 33632 HAS SOUS 26869 HAS SOUPS 26869 WITH SCORE 26902.632
AT ITER 144 NEW BEST:: SOT 52159 SOS 33252 HAS SOPS 33252 HAS SOUS 26868 HAS SOUPS 26868 WITH SCORE 26901.252
AT ITER 159 NEW BEST:: SOT 52137 SOS 32891 HAS SOPS 32891 HAS SOUS 26841 HAS SOUPS 26841 WITH SCORE 26873.891
AT ITER 160 NEW BEST:: SOT 52034 SOS 32611 HAS SOPS 32611 HAS SOUS 26665 HAS SOUPS 26665 WITH SCORE 26697.611
AT ITER 169 NEW BEST:: SOT 52034 SOS 32551 HAS SOPS 32551 HAS SOUS 26650 HAS SOUPS 26650 WITH SCORE 26682.551
AT ITER 177 NEW BEST:: SOT 52033 SOS 32525 HAS SOPS 32525 HAS SOUS 26644 HAS SOUPS 26644 WITH SCORE 26676.525
AT ITER 178 NEW BEST:: SOT 52343 SOS 32480 HAS SOPS 32480 HAS SOUS 26578 HAS SOUPS 26578 WITH SCORE 26610.48
AT ITER 183 NEW BEST:: SOT 52212 SOS 32341 HAS SOPS 32341 HAS SOUS 26551 HAS SOUPS 26551 WITH SCORE 26583.341
AT ITER 187 NEW BEST:: SOT 52208 SOS 32337 HAS SOPS 32337 HAS SOUS 26547 HAS SOUPS 26547 WITH SCORE 26579.337
AT ITER 199 NEW BEST:: SOT 52158 SOS 32302 HAS SOPS 32302 HAS SOUS 26512 HAS SOUPS 26512 WITH SCORE 26544.302
AT ITER 209 NEW BEST:: SOT 52118 SOS 32276 HAS SOPS 32276 HAS SOUS 26486 HAS SOUPS 26486 WITH SCORE 26518.276
AT ITER 211 NEW BEST:: SOT 52138 SOS 32136 HAS SOPS 32136 HAS SOUS 26433 HAS SOUPS 26433 WITH SCORE 26465.136
AT ITER 217 NEW BEST:: SOT 52057 SOS 32079 HAS SOPS 32079 HAS SOUS 26364 HAS SOUPS 26364 WITH SCORE 26396.079
AT ITER 220 NEW BEST:: SOT 52057 SOS 32082 HAS SOPS 32082 HAS SOUS 26338 HAS SOUPS 26338 WITH SCORE 26370.082
AT ITER 230 NEW BEST:: SOT 52057 SOS 32080 HAS SOPS 32080 HAS SOUS 26336 HAS SOUPS 26336 WITH SCORE 26368.08
AT ITER 232 NEW BEST:: SOT 52026 SOS 32047 HAS SOPS 32047 HAS SOUS 26303 HAS SOUPS 26303 WITH SCORE 26335.047
AT ITER 241 NEW BEST:: SOT 51958 SOS 31979 HAS SOPS 31979 HAS SOUS 26235 HAS SOUPS 26235 WITH SCORE 26266.979
AT ITER 246 NEW BEST:: SOT 51935 SOS 31956 HAS SOPS 31956 HAS SOUS 26212 HAS SOUPS 26212 WITH SCORE 26243.956
AT ITER 251 NEW BEST:: SOT 51935 SOS 31852 HAS SOPS 31852 HAS SOUS 26212 HAS SOUPS 26212 WITH SCORE 26243.852
AT ITER 256 NEW BEST:: SOT 51935 SOS 31841 HAS SOPS 31841 HAS SOUS 26202 HAS SOUPS 26202 WITH SCORE 26233.841
AT ITER 259 NEW BEST:: SOT 51919 SOS 31805 HAS SOPS 31805 HAS SOUS 26166 HAS SOUPS 26166 WITH SCORE 26197.805
AT ITER 268 NEW BEST:: SOT 51912 SOS 31798 HAS SOPS 31798 HAS SOUS 26159 HAS SOUPS 26159 WITH SCORE 26190.798
AT ITER 284 NEW BEST:: SOT 51963 SOS 31783 HAS SOPS 31783 HAS SOUS 26086 HAS SOUPS 26086 WITH SCORE 26117.783
AT ITER 290 NEW BEST:: SOT 51963 SOS 31775 HAS SOPS 31775 HAS SOUS 26072 HAS SOUPS 26072 WITH SCORE 26103.775
AT ITER 293 NEW BEST:: SOT 51851 SOS 31215 HAS SOPS 31215 HAS SOUS 25963 HAS SOUPS 25963 WITH SCORE 25994.215
AT ITER 306 NEW BEST:: SOT 51743 SOS 31107 HAS SOPS 31107 HAS SOUS 25855 HAS SOUPS 25855 WITH SCORE 25886.107
AT ITER 318 NEW BEST:: SOT 51639 SOS 31003 HAS SOPS 31003 HAS SOUS 25751 HAS SOUPS 25751 WITH SCORE 25782.003
AT ITER 325 NEW BEST:: SOT 51607 SOS 30971 HAS SOPS 30971 HAS SOUS 25719 HAS SOUPS 25719 WITH SCORE 25749.971
AT ITER 327 NEW BEST:: SOT 51604 SOS 30968 HAS SOPS 30968 HAS SOUS 25715 HAS SOUPS 25715 WITH SCORE 25745.968
AT ITER 329 NEW BEST:: SOT 51586 SOS 30698 HAS SOPS 30698 HAS SOUS 25713 HAS SOUPS 25713 WITH SCORE 25743.698
AT ITER 334 NEW BEST:: SOT 51609 SOS 30652 HAS SOPS 30652 HAS SOUS 25710 HAS SOUPS 25710 WITH SCORE 25740.652
AT ITER 335 NEW BEST:: SOT 51590 SOS 30650 HAS SOPS 30650 HAS SOUS 25699 HAS SOUPS 25699 WITH SCORE 25729.65
AT ITER 347 NEW BEST:: SOT 51540 SOS 30349 HAS SOPS 30349 HAS SOUS 25609 HAS SOUPS 25609 WITH SCORE 25639.349
AT ITER 350 NEW BEST:: SOT 51539 SOS 30348 HAS SOPS 30348 HAS SOUS 25608 HAS SOUPS 25608 WITH SCORE 25638.348
AT ITER 351 NEW BEST:: SOT 51533 SOS 30342 HAS SOPS 30342 HAS SOUS 25545 HAS SOUPS 25545 WITH SCORE 25575.342
AT ITER 353 NEW BEST:: SOT 51507 SOS 30299 HAS SOPS 30299 HAS SOUS 25500 HAS SOUPS 25500 WITH SCORE 25530.299
AT ITER 358 NEW BEST:: SOT 51502 SOS 30294 HAS SOPS 30294 HAS SOUS 25495 HAS SOUPS 25495 WITH SCORE 25525.294
AT ITER 364 NEW BEST:: SOT 51468 SOS 30264 HAS SOPS 30264 HAS SOUS 25471 HAS SOUPS 25471 WITH SCORE 25501.264
AT ITER 371 NEW BEST:: SOT 51468 SOS 30257 HAS SOPS 30257 HAS SOUS 25464 HAS SOUPS 25464 WITH SCORE 25494.257
AT ITER 377 NEW BEST:: SOT 51355 SOS 30093 HAS SOPS 30093 HAS SOUS 25306 HAS SOUPS 25306 WITH SCORE 25336.093
AT ITER 386 NEW BEST:: SOT 51209 SOS 29947 HAS SOPS 29947 HAS SOUS 25160 HAS SOUPS 25160 WITH SCORE 25189.947
AT ITER 391 NEW BEST:: SOT 51211 SOS 29949 HAS SOPS 29949 HAS SOUS 25157 HAS SOUPS 25157 WITH SCORE 25186.949
AT ITER 415 NEW BEST:: SOT 51284 SOS 29957 HAS SOPS 29957 HAS SOUS 25091 HAS SOUPS 25091 WITH SCORE 25120.957
AT ITER 420 NEW BEST:: SOT 51154 SOS 29815 HAS SOPS 29815 HAS SOUS 24936 HAS SOUPS 24936 WITH SCORE 24965.815
AT ITER 423 NEW BEST:: SOT 51143 SOS 29798 HAS SOPS 29798 HAS SOUS 24922 HAS SOUPS 24922 WITH SCORE 24951.798
AT ITER 426 NEW BEST:: SOT 51165 SOS 29756 HAS SOPS 29756 HAS SOUS 24901 HAS SOUPS 24901 WITH SCORE 24930.756
AT ITER 432 NEW BEST:: SOT 51162 SOS 29753 HAS SOPS 29753 HAS SOUS 24898 HAS SOUPS 24898 WITH SCORE 24927.753
AT ITER 433 NEW BEST:: SOT 51043 SOS 29632 HAS SOPS 29632 HAS SOUS 24777 HAS SOUPS 24777 WITH SCORE 24806.632
AT ITER 440 NEW BEST:: SOT 51037 SOS 29626 HAS SOPS 29626 HAS SOUS 24771 HAS SOUPS 24771 WITH SCORE 24800.626
AT ITER 460 NEW BEST:: SOT 51037 SOS 29606 HAS SOPS 29606 HAS SOUS 24766 HAS SOUPS 24766 WITH SCORE 24795.606
AT ITER 461 NEW BEST:: SOT 50961 SOS 29392 HAS SOPS 29392 HAS SOUS 24728 HAS SOUPS 24728 WITH SCORE 24757.392
AT ITER 469 NEW BEST:: SOT 50955 SOS 29222 HAS SOPS 29222 HAS SOUS 24700 HAS SOUPS 24700 WITH SCORE 24729.222
AT ITER 478 NEW BEST:: SOT 50955 SOS 29112 HAS SOPS 29112 HAS SOUS 24700 HAS SOUPS 24700 WITH SCORE 24729.112
AT ITER 483 NEW BEST:: SOT 50838 SOS 28993 HAS SOPS 28993 HAS SOUS 24581 HAS SOUPS 24581 WITH SCORE 24609.993
AT ITER 486 NEW BEST:: SOT 50838 SOS 28917 HAS SOPS 28917 HAS SOUS 24574 HAS SOUPS 24574 WITH SCORE 24602.917
AT ITER 495 NEW BEST:: SOT 50790 SOS 28869 HAS SOPS 28869 HAS SOUS 24526 HAS SOUPS 24526 WITH SCORE 24554.869
AT ITER 526 NEW BEST:: SOT 50679 SOS 28755 HAS SOPS 28755 HAS SOUS 24412 HAS SOUPS 24412 WITH SCORE 24440.755
AT ITER 529 NEW BEST:: SOT 50662 SOS 28746 HAS SOPS 28746 HAS SOUS 24403 HAS SOUPS 24403 WITH SCORE 24431.746
AT ITER 530 NEW BEST:: SOT 50662 SOS 28746 HAS SOPS 28746 HAS SOUS 24397 HAS SOUPS 24397 WITH SCORE 24425.746
AT ITER 534 NEW BEST:: SOT 50661 SOS 28745 HAS SOPS 28745 HAS SOUS 24396 HAS SOUPS 24396 WITH SCORE 24424.745
AT ITER 536 NEW BEST:: SOT 50580 SOS 28664 HAS SOPS 28664 HAS SOUS 24396 HAS SOUPS 24396 WITH SCORE 24424.664
AT ITER 541 NEW BEST:: SOT 50544 SOS 28533 HAS SOPS 28533 HAS SOUS 24305 HAS SOUPS 24305 WITH SCORE 24333.533
AT ITER 561 NEW BEST:: SOT 50484 SOS 28473 HAS SOPS 28473 HAS SOUS 24245 HAS SOUPS 24245 WITH SCORE 24273.473
AT ITER 562 NEW BEST:: SOT 50484 SOS 28644 HAS SOPS 28644 HAS SOUS 24239 HAS SOUPS 24239 WITH SCORE 24267.644
AT ITER 567 NEW BEST:: SOT 50483 SOS 28593 HAS SOPS 28593 HAS SOUS 24231 HAS SOUPS 24231 WITH SCORE 24259.593
AT ITER 576 NEW BEST:: SOT 50446 SOS 28556 HAS SOPS 28556 HAS SOUS 24182 HAS SOUPS 24182 WITH SCORE 24210.556
AT ITER 579 NEW BEST:: SOT 50643 SOS 28612 HAS SOPS 28612 HAS SOUS 24052 HAS SOUPS 24052 WITH SCORE 24080.612
AT ITER 595 NEW BEST:: SOT 50612 SOS 28572 HAS SOPS 28572 HAS SOUS 23998 HAS SOUPS 23998 WITH SCORE 24026.572
AT ITER 603 NEW BEST:: SOT 50580 SOS 28410 HAS SOPS 28410 HAS SOUS 23994 HAS SOUPS 23994 WITH SCORE 24022.41
AT ITER 613 NEW BEST:: SOT 50565 SOS 28395 HAS SOPS 28395 HAS SOUS 23979 HAS SOUPS 23979 WITH SCORE 24007.395
AT ITER 623 NEW BEST:: SOT 50680 SOS 28316 HAS SOPS 28316 HAS SOUS 23939 HAS SOUPS 23939 WITH SCORE 23967.316
AT ITER 628 NEW BEST:: SOT 50565 SOS 28184 HAS SOPS 28184 HAS SOUS 23807 HAS SOUPS 23807 WITH SCORE 23835.184
AT ITER 632 NEW BEST:: SOT 50562 SOS 28181 HAS SOPS 28181 HAS SOUS 23804 HAS SOUPS 23804 WITH SCORE 23832.181
AT ITER 633 NEW BEST:: SOT 50557 SOS 28115 HAS SOPS 28115 HAS SOUS 23790 HAS SOUPS 23790 WITH SCORE 23818.115
AT ITER 651 NEW BEST:: SOT 50529 SOS 28087 HAS SOPS 28087 HAS SOUS 23710 HAS SOUPS 23710 WITH SCORE 23738.087
AT ITER 653 NEW BEST:: SOT 50454 SOS 27987 HAS SOPS 27987 HAS SOUS 23520 HAS SOUPS 23520 WITH SCORE 23547.987
AT ITER 655 NEW BEST:: SOT 50454 SOS 27985 HAS SOPS 27985 HAS SOUS 23518 HAS SOUPS 23518 WITH SCORE 23545.985
AT ITER 660 NEW BEST:: SOT 50427 SOS 27842 HAS SOPS 27842 HAS SOUS 23418 HAS SOUPS 23418 WITH SCORE 23445.842
AT ITER 665 NEW BEST:: SOT 50417 SOS 27832 HAS SOPS 27832 HAS SOUS 23408 HAS SOUPS 23408 WITH SCORE 23435.832
AT ITER 672 NEW BEST:: SOT 50352 SOS 27767 HAS SOPS 27767 HAS SOUS 23343 HAS SOUPS 23343 WITH SCORE 23370.767
AT ITER 676 NEW BEST:: SOT 50350 SOS 27765 HAS SOPS 27765 HAS SOUS 23341 HAS SOUPS 23341 WITH SCORE 23368.765
AT ITER 678 NEW BEST:: SOT 50336 SOS 27751 HAS SOPS 27751 HAS SOUS 23327 HAS SOUPS 23327 WITH SCORE 23354.751
AT ITER 693 NEW BEST:: SOT 50334 SOS 27749 HAS SOPS 27749 HAS SOUS 23325 HAS SOUPS 23325 WITH SCORE 23352.749
AT ITER 723 NEW BEST:: SOT 50349 SOS 27746 HAS SOPS 27746 HAS SOUS 23322 HAS SOUPS 23322 WITH SCORE 23349.746
AT ITER 744 NEW BEST:: SOT 50296 SOS 27693 HAS SOPS 27693 HAS SOUS 23260 HAS SOUPS 23260 WITH SCORE 23287.693
AT ITER 757 NEW BEST:: SOT 50317 SOS 27448 HAS SOPS 27448 HAS SOUS 23233 HAS SOUPS 23233 WITH SCORE 23260.448
AT ITER 759 NEW BEST:: SOT 50289 SOS 27419 HAS SOPS 27419 HAS SOUS 23204 HAS SOUPS 23204 WITH SCORE 23231.419
AT ITER 765 NEW BEST:: SOT 50246 SOS 27156 HAS SOPS 27156 HAS SOUS 23200 HAS SOUPS 23200 WITH SCORE 23227.156
AT ITER 766 NEW BEST:: SOT 50255 SOS 27108 HAS SOPS 27108 HAS SOUS 23152 HAS SOUPS 23152 WITH SCORE 23179.108
AT ITER 775 NEW BEST:: SOT 50254 SOS 27091 HAS SOPS 27091 HAS SOUS 23135 HAS SOUPS 23135 WITH SCORE 23162.091
AT ITER 787 NEW BEST:: SOT 50183 SOS 27004 HAS SOPS 27004 HAS SOUS 23048 HAS SOUPS 23048 WITH SCORE 23075.004
AT ITER 803 NEW BEST:: SOT 50206 SOS 27000 HAS SOPS 27000 HAS SOUS 23044 HAS SOUPS 23044 WITH SCORE 23071.0
AT ITER 808 NEW BEST:: SOT 50180 SOS 26948 HAS SOPS 26948 HAS SOUS 22992 HAS SOUPS 22992 WITH SCORE 23018.948
AT ITER 811 NEW BEST:: SOT 50205 SOS 26923 HAS SOPS 26923 HAS SOUS 22965 HAS SOUPS 22965 WITH SCORE 22991.923
AT ITER 819 NEW BEST:: SOT 50206 SOS 26867 HAS SOPS 26867 HAS SOUS 22907 HAS SOUPS 22907 WITH SCORE 22933.867
AT ITER 825 NEW BEST:: SOT 50209 SOS 26867 HAS SOPS 26867 HAS SOUS 22905 HAS SOUPS 22905 WITH SCORE 22931.867
AT ITER 832 NEW BEST:: SOT 50257 SOS 26899 HAS SOPS 26899 HAS SOUS 22876 HAS SOUPS 22876 WITH SCORE 22902.899
AT ITER 849 NEW BEST:: SOT 50257 SOS 26893 HAS SOPS 26893 HAS SOUS 22858 HAS SOUPS 22858 WITH SCORE 22884.893
AT ITER 850 NEW BEST:: SOT 50235 SOS 26783 HAS SOPS 26783 HAS SOUS 22856 HAS SOUPS 22856 WITH SCORE 22882.783
AT ITER 853 NEW BEST:: SOT 50211 SOS 26709 HAS SOPS 26709 HAS SOUS 22780 HAS SOUPS 22780 WITH SCORE 22806.709
AT ITER 856 NEW BEST:: SOT 50203 SOS 26688 HAS SOPS 26688 HAS SOUS 22759 HAS SOUPS 22759 WITH SCORE 22785.688
AT ITER 877 NEW BEST:: SOT 50204 SOS 26664 HAS SOPS 26664 HAS SOUS 22671 HAS SOUPS 22671 WITH SCORE 22697.664
AT ITER 883 NEW BEST:: SOT 50201 SOS 26660 HAS SOPS 26660 HAS SOUS 22667 HAS SOUPS 22667 WITH SCORE 22693.66
AT ITER 887 NEW BEST:: SOT 50201 SOS 26643 HAS SOPS 26643 HAS SOUS 22650 HAS SOUPS 22650 WITH SCORE 22676.643
AT ITER 898 NEW BEST:: SOT 50180 SOS 26617 HAS SOPS 26617 HAS SOUS 22624 HAS SOUPS 22624 WITH SCORE 22650.617
AT ITER 912 NEW BEST:: SOT 50142 SOS 26579 HAS SOPS 26579 HAS SOUS 22586 HAS SOUPS 22586 WITH SCORE 22612.579
AT ITER 921 NEW BEST:: SOT 50253 SOS 26578 HAS SOPS 26578 HAS SOUS 22519 HAS SOUPS 22519 WITH SCORE 22545.578
AT ITER 927 NEW BEST:: SOT 50205 SOS 26530 HAS SOPS 26530 HAS SOUS 22471 HAS SOUPS 22471 WITH SCORE 22497.53
AT ITER 933 NEW BEST:: SOT 50205 SOS 26530 HAS SOPS 26530 HAS SOUS 22469 HAS SOUPS 22469 WITH SCORE 22495.53
AT ITER 935 NEW BEST:: SOT 50096 SOS 26410 HAS SOPS 26410 HAS SOUS 22349 HAS SOUPS 22349 WITH SCORE 22375.41
AT ITER 944 NEW BEST:: SOT 50118 SOS 26375 HAS SOPS 26375 HAS SOUS 22256 HAS SOUPS 22256 WITH SCORE 22282.375
AT ITER 949 NEW BEST:: SOT 50092 SOS 26345 HAS SOPS 26345 HAS SOUS 22228 HAS SOUPS 22228 WITH SCORE 22254.345
AT ITER 964 NEW BEST:: SOT 50005 SOS 26218 HAS SOPS 26218 HAS SOUS 22101 HAS SOUPS 22101 WITH SCORE 22127.218
AT ITER 970 NEW BEST:: SOT 50027 SOS 26167 HAS SOPS 26167 HAS SOUS 22050 HAS SOUPS 22050 WITH SCORE 22076.167
AT ITER 981 NEW BEST:: SOT 49894 SOS 26034 HAS SOPS 26034 HAS SOUS 21921 HAS SOUPS 21921 WITH SCORE 21947.034
AT ITER 990 NEW BEST:: SOT 49834 SOS 25954 HAS SOPS 25954 HAS SOUS 21841 HAS SOUPS 21841 WITH SCORE 21866.954
AT ITER 995 NEW BEST:: SOT 49801 SOS 25874 HAS SOPS 25874 HAS SOUS 21761 HAS SOUPS 21761 WITH SCORE 21786.874
AT ITER 997 NEW BEST:: SOT 49793 SOS 25864 HAS SOPS 25864 HAS SOUS 21751 HAS SOUPS 21751 WITH SCORE 21776.864
AT ITER 1028 NEW BEST:: SOT 49749 SOS 25798 HAS SOPS 25798 HAS SOUS 21635 HAS SOUPS 21635 WITH SCORE 21660.798
AT ITER 1038 NEW BEST:: SOT 49761 SOS 25533 HAS SOPS 25533 HAS SOUS 21568 HAS SOUPS 21568 WITH SCORE 21593.533
AT ITER 1044 NEW BEST:: SOT 49739 SOS 25511 HAS SOPS 25511 HAS SOUS 21546 HAS SOUPS 21546 WITH SCORE 21571.511
AT ITER 1050 NEW BEST:: SOT 49739 SOS 25411 HAS SOPS 25411 HAS SOUS 21489 HAS SOUPS 21489 WITH SCORE 21514.411
AT ITER 1053 NEW BEST:: SOT 49739 SOS 25410 HAS SOPS 25410 HAS SOUS 21488 HAS SOUPS 21488 WITH SCORE 21513.41
AT ITER 1055 NEW BEST:: SOT 49544 SOS 25343 HAS SOPS 25343 HAS SOUS 21488 HAS SOUPS 21488 WITH SCORE 21513.343
AT ITER 1058 NEW BEST:: SOT 49557 SOS 25356 HAS SOPS 25356 HAS SOUS 21466 HAS SOUPS 21466 WITH SCORE 21491.356
AT ITER 1062 NEW BEST:: SOT 49556 SOS 25350 HAS SOPS 25350 HAS SOUS 21459 HAS SOUPS 21459 WITH SCORE 21484.35
AT ITER 1063 NEW BEST:: SOT 49557 SOS 25349 HAS SOPS 25349 HAS SOUS 21450 HAS SOUPS 21450 WITH SCORE 21475.349
AT ITER 1066 NEW BEST:: SOT 49544 SOS 25336 HAS SOPS 25336 HAS SOUS 21437 HAS SOUPS 21437 WITH SCORE 21462.336
AT ITER 1068 NEW BEST:: SOT 49544 SOS 25328 HAS SOPS 25328 HAS SOUS 21436 HAS SOUPS 21436 WITH SCORE 21461.328
AT ITER 1076 NEW BEST:: SOT 49527 SOS 25311 HAS SOPS 25311 HAS SOUS 21419 HAS SOUPS 21419 WITH SCORE 21444.311
AT ITER 1082 NEW BEST:: SOT 49642 SOS 25257 HAS SOPS 25257 HAS SOUS 21176 HAS SOUPS 21176 WITH SCORE 21201.257
AT ITER 1095 NEW BEST:: SOT 49615 SOS 25254 HAS SOPS 25254 HAS SOUS 21161 HAS SOUPS 21161 WITH SCORE 21186.254
AT ITER 1101 NEW BEST:: SOT 49597 SOS 25199 HAS SOPS 25199 HAS SOUS 21106 HAS SOUPS 21106 WITH SCORE 21131.199
AT ITER 1105 NEW BEST:: SOT 49544 SOS 25123 HAS SOPS 25123 HAS SOUS 21041 HAS SOUPS 21041 WITH SCORE 21066.123
AT ITER 1111 NEW BEST:: SOT 49520 SOS 25099 HAS SOPS 25099 HAS SOUS 21019 HAS SOUPS 21019 WITH SCORE 21044.099
AT ITER 1117 NEW BEST:: SOT 49474 SOS 25053 HAS SOPS 25053 HAS SOUS 20973 HAS SOUPS 20973 WITH SCORE 20998.053
AT ITER 1119 NEW BEST:: SOT 49390 SOS 24969 HAS SOPS 24969 HAS SOUS 20889 HAS SOUPS 20889 WITH SCORE 20913.969
AT ITER 1126 NEW BEST:: SOT 49390 SOS 24658 HAS SOPS 24658 HAS SOUS 20884 HAS SOUPS 20884 WITH SCORE 20908.658
AT ITER 1131 NEW BEST:: SOT 49335 SOS 24603 HAS SOPS 24603 HAS SOUS 20829 HAS SOUPS 20829 WITH SCORE 20853.603
AT ITER 1146 NEW BEST:: SOT 49328 SOS 24596 HAS SOPS 24596 HAS SOUS 20822 HAS SOUPS 20822 WITH SCORE 20846.596
AT ITER 1158 NEW BEST:: SOT 49342 SOS 24630 HAS SOPS 24630 HAS SOUS 20799 HAS SOUPS 20799 WITH SCORE 20823.63
AT ITER 1165 NEW BEST:: SOT 49342 SOS 24627 HAS SOPS 24627 HAS SOUS 20796 HAS SOUPS 20796 WITH SCORE 20820.627
AT ITER 1175 NEW BEST:: SOT 49308 SOS 24540 HAS SOPS 24540 HAS SOUS 20709 HAS SOUPS 20709 WITH SCORE 20733.54
AT ITER 1188 NEW BEST:: SOT 49308 SOS 24493 HAS SOPS 24493 HAS SOUS 20662 HAS SOUPS 20662 WITH SCORE 20686.493
AT ITER 1205 NEW BEST:: SOT 49250 SOS 24406 HAS SOPS 24406 HAS SOUS 20575 HAS SOUPS 20575 WITH SCORE 20599.406
AT ITER 1206 NEW BEST:: SOT 49249 SOS 24371 HAS SOPS 24371 HAS SOUS 20574 HAS SOUPS 20574 WITH SCORE 20598.371
AT ITER 1209 NEW BEST:: SOT 49249 SOS 24368 HAS SOPS 24368 HAS SOUS 20574 HAS SOUPS 20574 WITH SCORE 20598.368
AT ITER 1222 NEW BEST:: SOT 49234 SOS 24364 HAS SOPS 24364 HAS SOUS 20570 HAS SOUPS 20570 WITH SCORE 20594.364
AT ITER 1230 NEW BEST:: SOT 49267 SOS 24376 HAS SOPS 24376 HAS SOUS 20554 HAS SOUPS 20554 WITH SCORE 20578.376
AT ITER 1250 NEW BEST:: SOT 49244 SOS 24240 HAS SOPS 24240 HAS SOUS 20486 HAS SOUPS 20486 WITH SCORE 20510.24
AT ITER 1252 NEW BEST:: SOT 49234 SOS 24261 HAS SOPS 24261 HAS SOUS 20476 HAS SOUPS 20476 WITH SCORE 20500.261
AT ITER 1254 NEW BEST:: SOT 49218 SOS 24245 HAS SOPS 24245 HAS SOUS 20460 HAS SOUPS 20460 WITH SCORE 20484.245
AT ITER 1255 NEW BEST:: SOT 49218 SOS 24106 HAS SOPS 24106 HAS SOUS 20335 HAS SOUPS 20335 WITH SCORE 20359.106
AT ITER 1263 NEW BEST:: SOT 49187 SOS 24049 HAS SOPS 24049 HAS SOUS 20278 HAS SOUPS 20278 WITH SCORE 20302.049
AT ITER 1267 NEW BEST:: SOT 49120 SOS 23940 HAS SOPS 23940 HAS SOUS 20138 HAS SOUPS 20138 WITH SCORE 20161.94
AT ITER 1286 NEW BEST:: SOT 49117 SOS 23937 HAS SOPS 23937 HAS SOUS 20135 HAS SOUPS 20135 WITH SCORE 20158.937
AT ITER 1290 NEW BEST:: SOT 49117 SOS 23929 HAS SOPS 23929 HAS SOUS 20127 HAS SOUPS 20127 WITH SCORE 20150.929
AT ITER 1296 NEW BEST:: SOT 49117 SOS 23923 HAS SOPS 23923 HAS SOUS 20121 HAS SOUPS 20121 WITH SCORE 20144.923
AT ITER 1326 NEW BEST:: SOT 49117 SOS 23923 HAS SOPS 23923 HAS SOUS 20111 HAS SOUPS 20111 WITH SCORE 20134.923
AT ITER 1327 NEW BEST:: SOT 49054 SOS 23849 HAS SOPS 23849 HAS SOUS 20037 HAS SOUPS 20037 WITH SCORE 20060.849
AT ITER 1329 NEW BEST:: SOT 49060 SOS 23855 HAS SOPS 23855 HAS SOUS 20023 HAS SOUPS 20023 WITH SCORE 20046.855
AT ITER 1341 NEW BEST:: SOT 49004 SOS 23685 HAS SOPS 23685 HAS SOUS 19896 HAS SOUPS 19896 WITH SCORE 19919.685
AT ITER 1344 NEW BEST:: SOT 49014 SOS 23666 HAS SOPS 23666 HAS SOUS 19888 HAS SOUPS 19888 WITH SCORE 19911.666
AT ITER 1346 NEW BEST:: SOT 48929 SOS 23519 HAS SOPS 23519 HAS SOUS 19741 HAS SOUPS 19741 WITH SCORE 19764.519
AT ITER 1349 NEW BEST:: SOT 49059 SOS 23635 HAS SOPS 23635 HAS SOUS 19688 HAS SOUPS 19688 WITH SCORE 19711.635
AT ITER 1360 NEW BEST:: SOT 48835 SOS 22574 HAS SOPS 22574 HAS SOUS 19281 HAS SOUPS 19281 WITH SCORE 19303.574
AT ITER 1364 NEW BEST:: SOT 48919 SOS 22342 HAS SOPS 22342 HAS SOUS 19196 HAS SOUPS 19196 WITH SCORE 19218.342
AT ITER 1365 NEW BEST:: SOT 48919 SOS 22335 HAS SOPS 22335 HAS SOUS 19190 HAS SOUPS 19190 WITH SCORE 19212.335
AT ITER 1367 NEW BEST:: SOT 48919 SOS 22324 HAS SOPS 22324 HAS SOUS 19179 HAS SOUPS 19179 WITH SCORE 19201.324
AT ITER 1370 NEW BEST:: SOT 48870 SOS 22275 HAS SOPS 22275 HAS SOUS 19130 HAS SOUPS 19130 WITH SCORE 19152.275
AT ITER 1373 NEW BEST:: SOT 48846 SOS 22251 HAS SOPS 22251 HAS SOUS 19099 HAS SOUPS 19099 WITH SCORE 19121.251
AT ITER 1374 NEW BEST:: SOT 48845 SOS 22248 HAS SOPS 22248 HAS SOUS 19096 HAS SOUPS 19096 WITH SCORE 19118.248
AT ITER 1387 NEW BEST:: SOT 48780 SOS 22163 HAS SOPS 22163 HAS SOUS 19021 HAS SOUPS 19021 WITH SCORE 19043.163
AT ITER 1392 NEW BEST:: SOT 48781 SOS 22163 HAS SOPS 22163 HAS SOUS 19020 HAS SOUPS 19020 WITH SCORE 19042.163
AT ITER 1402 NEW BEST:: SOT 48659 SOS 21896 HAS SOPS 21896 HAS SOUS 18753 HAS SOUPS 18753 WITH SCORE 18774.896
AT ITER 1417 NEW BEST:: SOT 48644 SOS 21881 HAS SOPS 21881 HAS SOUS 18738 HAS SOUPS 18738 WITH SCORE 18759.881
AT ITER 1433 NEW BEST:: SOT 48643 SOS 21881 HAS SOPS 21881 HAS SOUS 18735 HAS SOUPS 18735 WITH SCORE 18756.881
AT ITER 1442 NEW BEST:: SOT 48643 SOS 21706 HAS SOPS 21706 HAS SOUS 18662 HAS SOUPS 18662 WITH SCORE 18683.706
AT ITER 1447 NEW BEST:: SOT 48622 SOS 21535 HAS SOPS 21535 HAS SOUS 18651 HAS SOUPS 18651 WITH SCORE 18672.535
AT ITER 1454 NEW BEST:: SOT 48584 SOS 21497 HAS SOPS 21497 HAS SOUS 18647 HAS SOUPS 18647 WITH SCORE 18668.497
AT ITER 1455 NEW BEST:: SOT 48550 SOS 21140 HAS SOPS 21140 HAS SOUS 18575 HAS SOUPS 18575 WITH SCORE 18596.14
AT ITER 1458 NEW BEST:: SOT 48549 SOS 21118 HAS SOPS 21118 HAS SOUS 18574 HAS SOUPS 18574 WITH SCORE 18595.118
AT ITER 1478 NEW BEST:: SOT 48524 SOS 21130 HAS SOPS 21130 HAS SOUS 18541 HAS SOUPS 18541 WITH SCORE 18562.13
AT ITER 1484 NEW BEST:: SOT 48500 SOS 21028 HAS SOPS 21028 HAS SOUS 18448 HAS SOUPS 18448 WITH SCORE 18469.028
AT ITER 1492 NEW BEST:: SOT 48488 SOS 20988 HAS SOPS 20988 HAS SOUS 18376 HAS SOUPS 18376 WITH SCORE 18396.988
AT ITER 1504 NEW BEST:: SOT 48488 SOS 20980 HAS SOPS 20980 HAS SOUS 18368 HAS SOUPS 18368 WITH SCORE 18388.98
AT ITER 1509 NEW BEST:: SOT 48485 SOS 20977 HAS SOPS 20977 HAS SOUS 18365 HAS SOUPS 18365 WITH SCORE 18385.977
AT ITER 1514 NEW BEST:: SOT 48526 SOS 21028 HAS SOPS 21028 HAS SOUS 18355 HAS SOUPS 18355 WITH SCORE 18376.028
AT ITER 1518 NEW BEST:: SOT 48529 SOS 21017 HAS SOPS 21017 HAS SOUS 18348 HAS SOUPS 18348 WITH SCORE 18369.017
AT ITER 1519 NEW BEST:: SOT 48485 SOS 20971 HAS SOPS 20971 HAS SOUS 18302 HAS SOUPS 18302 WITH SCORE 18322.971
AT ITER 1534 NEW BEST:: SOT 48434 SOS 20914 HAS SOPS 20914 HAS SOUS 18279 HAS SOUPS 18279 WITH SCORE 18299.914
AT ITER 1537 NEW BEST:: SOT 48386 SOS 20893 HAS SOPS 20893 HAS SOUS 18258 HAS SOUPS 18258 WITH SCORE 18278.893
AT ITER 1541 NEW BEST:: SOT 48384 SOS 20889 HAS SOPS 20889 HAS SOUS 18254 HAS SOUPS 18254 WITH SCORE 18274.889
AT ITER 1551 NEW BEST:: SOT 48358 SOS 20863 HAS SOPS 20863 HAS SOUS 18228 HAS SOUPS 18228 WITH SCORE 18248.863
AT ITER 1555 NEW BEST:: SOT 48352 SOS 20857 HAS SOPS 20857 HAS SOUS 18222 HAS SOUPS 18222 WITH SCORE 18242.857
AT ITER 1559 NEW BEST:: SOT 48341 SOS 20798 HAS SOPS 20798 HAS SOUS 18155 HAS SOUPS 18155 WITH SCORE 18175.798
AT ITER 1579 NEW BEST:: SOT 48270 SOS 20655 HAS SOPS 20655 HAS SOUS 18012 HAS SOUPS 18012 WITH SCORE 18032.655
AT ITER 1586 NEW BEST:: SOT 48316 SOS 20620 HAS SOPS 20620 HAS SOUS 17962 HAS SOUPS 17962 WITH SCORE 17982.62
AT ITER 1607 NEW BEST:: SOT 48311 SOS 20603 HAS SOPS 20603 HAS SOUS 17945 HAS SOUPS 17945 WITH SCORE 17965.603
AT ITER 1614 NEW BEST:: SOT 48390 SOS 20603 HAS SOPS 20603 HAS SOUS 17944 HAS SOUPS 17944 WITH SCORE 17964.603
AT ITER 1634 NEW BEST:: SOT 48387 SOS 20600 HAS SOPS 20600 HAS SOUS 17941 HAS SOUPS 17941 WITH SCORE 17961.6
AT ITER 1637 NEW BEST:: SOT 48389 SOS 20580 HAS SOPS 20580 HAS SOUS 17911 HAS SOUPS 17911 WITH SCORE 17931.58
AT ITER 1639 NEW BEST:: SOT 48398 SOS 20468 HAS SOPS 20468 HAS SOUS 17906 HAS SOUPS 17906 WITH SCORE 17926.468
AT ITER 1651 NEW BEST:: SOT 48398 SOS 20468 HAS SOPS 20468 HAS SOUS 17884 HAS SOUPS 17884 WITH SCORE 17904.468
AT ITER 1655 NEW BEST:: SOT 48402 SOS 20445 HAS SOPS 20445 HAS SOUS 17869 HAS SOUPS 17869 WITH SCORE 17889.445
AT ITER 1667 NEW BEST:: SOT 48340 SOS 20362 HAS SOPS 20362 HAS SOUS 17786 HAS SOUPS 17786 WITH SCORE 17806.362
AT ITER 1680 NEW BEST:: SOT 48340 SOS 20271 HAS SOPS 20271 HAS SOUS 17749 HAS SOUPS 17749 WITH SCORE 17769.271
AT ITER 1697 NEW BEST:: SOT 48340 SOS 20249 HAS SOPS 20249 HAS SOUS 17738 HAS SOUPS 17738 WITH SCORE 17758.249
AT ITER 1702 NEW BEST:: SOT 48264 SOS 20173 HAS SOPS 20173 HAS SOUS 17662 HAS SOUPS 17662 WITH SCORE 17682.173
AT ITER 1720 NEW BEST:: SOT 48264 SOS 20153 HAS SOPS 20153 HAS SOUS 17632 HAS SOUPS 17632 WITH SCORE 17652.153
AT ITER 1742 NEW BEST:: SOT 48259 SOS 20148 HAS SOPS 20148 HAS SOUS 17627 HAS SOUPS 17627 WITH SCORE 17647.148
AT ITER 1751 NEW BEST:: SOT 48258 SOS 20147 HAS SOPS 20147 HAS SOUS 17626 HAS SOUPS 17626 WITH SCORE 17646.147
AT ITER 1753 NEW BEST:: SOT 48245 SOS 20134 HAS SOPS 20134 HAS SOUS 17600 HAS SOUPS 17600 WITH SCORE 17620.134
AT ITER 1756 NEW BEST:: SOT 48231 SOS 19990 HAS SOPS 19990 HAS SOUS 17555 HAS SOUPS 17555 WITH SCORE 17574.99
AT ITER 1763 NEW BEST:: SOT 48213 SOS 19967 HAS SOPS 19967 HAS SOUS 17532 HAS SOUPS 17532 WITH SCORE 17551.967
AT ITER 1768 NEW BEST:: SOT 48225 SOS 19963 HAS SOPS 19963 HAS SOUS 17525 HAS SOUPS 17525 WITH SCORE 17544.963
AT ITER 1771 NEW BEST:: SOT 48216 SOS 19945 HAS SOPS 19945 HAS SOUS 17498 HAS SOUPS 17498 WITH SCORE 17517.945
AT ITER 1779 NEW BEST:: SOT 48176 SOS 19871 HAS SOPS 19871 HAS SOUS 17424 HAS SOUPS 17424 WITH SCORE 17443.871
AT ITER 1786 NEW BEST:: SOT 48153 SOS 19848 HAS SOPS 19848 HAS SOUS 17401 HAS SOUPS 17401 WITH SCORE 17420.848
AT ITER 1795 NEW BEST:: SOT 48157 SOS 19848 HAS SOPS 19848 HAS SOUS 17397 HAS SOUPS 17397 WITH SCORE 17416.848
AT ITER 1798 NEW BEST:: SOT 48156 SOS 19847 HAS SOPS 19847 HAS SOUS 17396 HAS SOUPS 17396 WITH SCORE 17415.847
AT ITER 1801 NEW BEST:: SOT 48170 SOS 19883 HAS SOPS 19883 HAS SOUS 17375 HAS SOUPS 17375 WITH SCORE 17394.883
AT ITER 1807 NEW BEST:: SOT 48169 SOS 19882 HAS SOPS 19882 HAS SOUS 17373 HAS SOUPS 17373 WITH SCORE 17392.882
AT ITER 1809 NEW BEST:: SOT 48163 SOS 19870 HAS SOPS 19870 HAS SOUS 17358 HAS SOUPS 17358 WITH SCORE 17377.87
AT ITER 1828 NEW BEST:: SOT 48144 SOS 19850 HAS SOPS 19850 HAS SOUS 17338 HAS SOUPS 17338 WITH SCORE 17357.85
AT ITER 1829 NEW BEST:: SOT 48143 SOS 19831 HAS SOPS 19831 HAS SOUS 17328 HAS SOUPS 17328 WITH SCORE 17347.831
AT ITER 1864 NEW BEST:: SOT 48139 SOS 19821 HAS SOPS 19821 HAS SOUS 17320 HAS SOUPS 17320 WITH SCORE 17339.821
AT ITER 1871 NEW BEST:: SOT 48134 SOS 19816 HAS SOPS 19816 HAS SOUS 17320 HAS SOUPS 17320 WITH SCORE 17339.816
AT ITER 1880 NEW BEST:: SOT 48131 SOS 19813 HAS SOPS 19813 HAS SOUS 17317 HAS SOUPS 17317 WITH SCORE 17336.813
AT ITER 1898 NEW BEST:: SOT 48112 SOS 19790 HAS SOPS 19790 HAS SOUS 17309 HAS SOUPS 17309 WITH SCORE 17328.79
AT ITER 1901 NEW BEST:: SOT 48112 SOS 19712 HAS SOPS 19712 HAS SOUS 17290 HAS SOUPS 17290 WITH SCORE 17309.712
AT ITER 1904 NEW BEST:: SOT 48109 SOS 19703 HAS SOPS 19703 HAS SOUS 17278 HAS SOUPS 17278 WITH SCORE 17297.703
AT ITER 1905 NEW BEST:: SOT 47960 SOS 19654 HAS SOPS 19654 HAS SOUS 17229 HAS SOUPS 17229 WITH SCORE 17248.654
AT ITER 1907 NEW BEST:: SOT 47958 SOS 19661 HAS SOPS 19661 HAS SOUS 17219 HAS SOUPS 17219 WITH SCORE 17238.661
AT ITER 1935 NEW BEST:: SOT 47936 SOS 19615 HAS SOPS 19615 HAS SOUS 17184 HAS SOUPS 17184 WITH SCORE 17203.615
AT ITER 1965 NEW BEST:: SOT 47853 SOS 19509 HAS SOPS 19509 HAS SOUS 17089 HAS SOUPS 17089 WITH SCORE 17108.509
AT ITER 1993 NEW BEST:: SOT 47846 SOS 19499 HAS SOPS 19499 HAS SOUS 17079 HAS SOUPS 17079 WITH SCORE 17098.499
AT ITER 2007 NEW BEST:: SOT 47847 SOS 19491 HAS SOPS 19491 HAS SOUS 17079 HAS SOUPS 17079 WITH SCORE 17098.491
AT ITER 2027 NEW BEST:: SOT 47695 SOS 19319 HAS SOPS 19319 HAS SOUS 16917 HAS SOUPS 16917 WITH SCORE 16936.319
AT ITER 2040 NEW BEST:: SOT 47695 SOS 19296 HAS SOPS 19296 HAS SOUS 16871 HAS SOUPS 16871 WITH SCORE 16890.296
AT ITER 2043 NEW BEST:: SOT 47633 SOS 19234 HAS SOPS 19234 HAS SOUS 16809 HAS SOUPS 16809 WITH SCORE 16828.234
AT ITER 2045 NEW BEST:: SOT 47624 SOS 19216 HAS SOPS 19216 HAS SOUS 16794 HAS SOUPS 16794 WITH SCORE 16813.216
AT ITER 2050 NEW BEST:: SOT 47624 SOS 19216 HAS SOPS 19216 HAS SOUS 16793 HAS SOUPS 16793 WITH SCORE 16812.216
AT ITER 2051 NEW BEST:: SOT 47630 SOS 19200 HAS SOPS 19200 HAS SOUS 16793 HAS SOUPS 16793 WITH SCORE 16812.2
AT ITER 2056 NEW BEST:: SOT 47605 SOS 19181 HAS SOPS 19181 HAS SOUS 16774 HAS SOUPS 16774 WITH SCORE 16793.181
AT ITER 2058 NEW BEST:: SOT 47555 SOS 19045 HAS SOPS 19045 HAS SOUS 16742 HAS SOUPS 16742 WITH SCORE 16761.045
AT ITER 2081 NEW BEST:: SOT 47543 SOS 19033 HAS SOPS 19033 HAS SOUS 16730 HAS SOUPS 16730 WITH SCORE 16749.033
AT ITER 2087 NEW BEST:: SOT 47537 SOS 18967 HAS SOPS 18967 HAS SOUS 16668 HAS SOUPS 16668 WITH SCORE 16686.967
AT ITER 2094 NEW BEST:: SOT 47470 SOS 18812 HAS SOPS 18812 HAS SOUS 16513 HAS SOUPS 16513 WITH SCORE 16531.812
AT ITER 2106 NEW BEST:: SOT 47481 SOS 18761 HAS SOPS 18761 HAS SOUS 16469 HAS SOUPS 16469 WITH SCORE 16487.761
AT ITER 2120 NEW BEST:: SOT 47486 SOS 18522 HAS SOPS 18522 HAS SOUS 16390 HAS SOUPS 16390 WITH SCORE 16408.522
AT ITER 2128 NEW BEST:: SOT 47487 SOS 18433 HAS SOPS 18433 HAS SOUS 16360 HAS SOUPS 16360 WITH SCORE 16378.433
AT ITER 2131 NEW BEST:: SOT 47455 SOS 18401 HAS SOPS 18401 HAS SOUS 16328 HAS SOUPS 16328 WITH SCORE 16346.401
AT ITER 2157 NEW BEST:: SOT 47430 SOS 18343 HAS SOPS 18343 HAS SOUS 16270 HAS SOUPS 16270 WITH SCORE 16288.343
AT ITER 2179 NEW BEST:: SOT 47424 SOS 18340 HAS SOPS 18340 HAS SOUS 16265 HAS SOUPS 16265 WITH SCORE 16283.34
AT ITER 2203 NEW BEST:: SOT 47408 SOS 18316 HAS SOPS 18316 HAS SOUS 16241 HAS SOUPS 16241 WITH SCORE 16259.316
AT ITER 2206 NEW BEST:: SOT 47407 SOS 18290 HAS SOPS 18290 HAS SOUS 16215 HAS SOUPS 16215 WITH SCORE 16233.29
AT ITER 2211 NEW BEST:: SOT 47404 SOS 18284 HAS SOPS 18284 HAS SOUS 16209 HAS SOUPS 16209 WITH SCORE 16227.284
AT ITER 2237 NEW BEST:: SOT 47391 SOS 18282 HAS SOPS 18282 HAS SOUS 16207 HAS SOUPS 16207 WITH SCORE 16225.282
AT ITER 2245 NEW BEST:: SOT 47391 SOS 18275 HAS SOPS 18275 HAS SOUS 16192 HAS SOUPS 16192 WITH SCORE 16210.275
AT ITER 2250 NEW BEST:: SOT 47401 SOS 18268 HAS SOPS 18268 HAS SOUS 16167 HAS SOUPS 16167 WITH SCORE 16185.268
AT ITER 2254 NEW BEST:: SOT 47399 SOS 18262 HAS SOPS 18262 HAS SOUS 16149 HAS SOUPS 16149 WITH SCORE 16167.262
AT ITER 2261 NEW BEST:: SOT 47334 SOS 18125 HAS SOPS 18125 HAS SOUS 16012 HAS SOUPS 16012 WITH SCORE 16030.125
AT ITER 2263 NEW BEST:: SOT 47266 SOS 18047 HAS SOPS 18047 HAS SOUS 15910 HAS SOUPS 15910 WITH SCORE 15928.047
AT ITER 2272 NEW BEST:: SOT 47267 SOS 18048 HAS SOPS 18048 HAS SOUS 15902 HAS SOUPS 15902 WITH SCORE 15920.048
AT ITER 2285 NEW BEST:: SOT 47263 SOS 18044 HAS SOPS 18044 HAS SOUS 15871 HAS SOUPS 15871 WITH SCORE 15889.044
AT ITER 2298 NEW BEST:: SOT 47257 SOS 18026 HAS SOPS 18026 HAS SOUS 15853 HAS SOUPS 15853 WITH SCORE 15871.026
AT ITER 2304 NEW BEST:: SOT 47253 SOS 17926 HAS SOPS 17926 HAS SOUS 15801 HAS SOUPS 15801 WITH SCORE 15818.926
AT ITER 2345 NEW BEST:: SOT 47259 SOS 17949 HAS SOPS 17949 HAS SOUS 15797 HAS SOUPS 15797 WITH SCORE 15814.949
AT ITER 2376 NEW BEST:: SOT 47289 SOS 17956 HAS SOPS 17956 HAS SOUS 15738 HAS SOUPS 15738 WITH SCORE 15755.956
AT ITER 2402 NEW BEST:: SOT 47277 SOS 17944 HAS SOPS 17944 HAS SOUS 15726 HAS SOUPS 15726 WITH SCORE 15743.944
AT ITER 2403 NEW BEST:: SOT 47224 SOS 17741 HAS SOPS 17741 HAS SOUS 15635 HAS SOUPS 15635 WITH SCORE 15652.741
AT ITER 2430 NEW BEST:: SOT 47228 SOS 17741 HAS SOPS 17741 HAS SOUS 15631 HAS SOUPS 15631 WITH SCORE 15648.741
AT ITER 2444 NEW BEST:: SOT 47207 SOS 17758 HAS SOPS 17758 HAS SOUS 15617 HAS SOUPS 15617 WITH SCORE 15634.758
AT ITER 2447 NEW BEST:: SOT 47206 SOS 17750 HAS SOPS 17750 HAS SOUS 15609 HAS SOUPS 15609 WITH SCORE 15626.75
AT ITER 2450 NEW BEST:: SOT 47184 SOS 17728 HAS SOPS 17728 HAS SOUS 15587 HAS SOUPS 15587 WITH SCORE 15604.728
AT ITER 2458 NEW BEST:: SOT 47104 SOS 17622 HAS SOPS 17622 HAS SOUS 15481 HAS SOUPS 15481 WITH SCORE 15498.622
AT ITER 2486 NEW BEST:: SOT 47094 SOS 17612 HAS SOPS 17612 HAS SOUS 15471 HAS SOUPS 15471 WITH SCORE 15488.612
AT ITER 2511 NEW BEST:: SOT 47087 SOS 17603 HAS SOPS 17603 HAS SOUS 15462 HAS SOUPS 15462 WITH SCORE 15479.603
AT ITER 2527 NEW BEST:: SOT 47094 SOS 17597 HAS SOPS 17597 HAS SOUS 15456 HAS SOUPS 15456 WITH SCORE 15473.597
AT ITER 2536 NEW BEST:: SOT 47103 SOS 17557 HAS SOPS 17557 HAS SOUS 15441 HAS SOUPS 15441 WITH SCORE 15458.557
AT ITER 2543 NEW BEST:: SOT 47103 SOS 17554 HAS SOPS 17554 HAS SOUS 15435 HAS SOUPS 15435 WITH SCORE 15452.554
AT ITER 2554 NEW BEST:: SOT 47099 SOS 17548 HAS SOPS 17548 HAS SOUS 15429 HAS SOUPS 15429 WITH SCORE 15446.548
AT ITER 2575 NEW BEST:: SOT 47096 SOS 17543 HAS SOPS 17543 HAS SOUS 15424 HAS SOUPS 15424 WITH SCORE 15441.543
AT ITER 2581 NEW BEST:: SOT 47095 SOS 17551 HAS SOPS 17551 HAS SOUS 15412 HAS SOUPS 15412 WITH SCORE 15429.551
AT ITER 2583 NEW BEST:: SOT 47095 SOS 17548 HAS SOPS 17548 HAS SOUS 15412 HAS SOUPS 15412 WITH SCORE 15429.548
AT ITER 2591 NEW BEST:: SOT 47100 SOS 17453 HAS SOPS 17453 HAS SOUS 15315 HAS SOUPS 15315 WITH SCORE 15332.453
AT ITER 2593 NEW BEST:: SOT 47090 SOS 17443 HAS SOPS 17443 HAS SOUS 15305 HAS SOUPS 15305 WITH SCORE 15322.443
AT ITER 2600 NEW BEST:: SOT 47084 SOS 17434 HAS SOPS 17434 HAS SOUS 15296 HAS SOUPS 15296 WITH SCORE 15313.434
AT ITER 2612 NEW BEST:: SOT 47055 SOS 17384 HAS SOPS 17384 HAS SOUS 15239 HAS SOUPS 15239 WITH SCORE 15256.384
AT ITER 2626 NEW BEST:: SOT 46990 SOS 17319 HAS SOPS 17319 HAS SOUS 15149 HAS SOUPS 15149 WITH SCORE 15166.319
AT ITER 2627 NEW BEST:: SOT 46956 SOS 17285 HAS SOPS 17285 HAS SOUS 15115 HAS SOUPS 15115 WITH SCORE 15132.285
AT ITER 2639 NEW BEST:: SOT 46925 SOS 17251 HAS SOPS 17251 HAS SOUS 15059 HAS SOUPS 15059 WITH SCORE 15076.251
AT ITER 2668 NEW BEST:: SOT 46925 SOS 17242 HAS SOPS 17242 HAS SOUS 15059 HAS SOUPS 15059 WITH SCORE 15076.242
AT ITER 2671 NEW BEST:: SOT 46925 SOS 17242 HAS SOPS 17242 HAS SOUS 15050 HAS SOUPS 15050 WITH SCORE 15067.242
AT ITER 2676 NEW BEST:: SOT 46913 SOS 17223 HAS SOPS 17223 HAS SOUS 15037 HAS SOUPS 15037 WITH SCORE 15054.223
AT ITER 2684 NEW BEST:: SOT 46915 SOS 17204 HAS SOPS 17204 HAS SOUS 15030 HAS SOUPS 15030 WITH SCORE 15047.204
AT ITER 2708 NEW BEST:: SOT 46936 SOS 17065 HAS SOPS 17065 HAS SOUS 14990 HAS SOUPS 14990 WITH SCORE 15007.065
AT ITER 2720 NEW BEST:: SOT 46932 SOS 17061 HAS SOPS 17061 HAS SOUS 14986 HAS SOUPS 14986 WITH SCORE 15003.061
AT ITER 2741 NEW BEST:: SOT 46928 SOS 17036 HAS SOPS 17036 HAS SOUS 14961 HAS SOUPS 14961 WITH SCORE 14978.036
AT ITER 2764 NEW BEST:: SOT 46921 SOS 17032 HAS SOPS 17032 HAS SOUS 14957 HAS SOUPS 14957 WITH SCORE 14974.032
AT ITER 2786 NEW BEST:: SOT 46919 SOS 17028 HAS SOPS 17028 HAS SOUS 14951 HAS SOUPS 14951 WITH SCORE 14968.028
AT ITER 2790 NEW BEST:: SOT 46897 SOS 17034 HAS SOPS 17034 HAS SOUS 14939 HAS SOUPS 14939 WITH SCORE 14956.034
AT ITER 2791 NEW BEST:: SOT 46909 SOS 17017 HAS SOPS 17017 HAS SOUS 14922 HAS SOUPS 14922 WITH SCORE 14939.017
AT ITER 2811 NEW BEST:: SOT 46897 SOS 17012 HAS SOPS 17012 HAS SOUS 14906 HAS SOUPS 14906 WITH SCORE 14923.012
AT ITER 2820 NEW BEST:: SOT 46850 SOS 16923 HAS SOPS 16923 HAS SOUS 14817 HAS SOUPS 14817 WITH SCORE 14833.923
AT ITER 2830 NEW BEST:: SOT 46850 SOS 16852 HAS SOPS 16852 HAS SOUS 14812 HAS SOUPS 14812 WITH SCORE 14828.852
AT ITER 2836 NEW BEST:: SOT 46876 SOS 16838 HAS SOPS 16838 HAS SOUS 14800 HAS SOUPS 14800 WITH SCORE 14816.838
AT ITER 2859 NEW BEST:: SOT 46780 SOS 16715 HAS SOPS 16715 HAS SOUS 14685 HAS SOUPS 14685 WITH SCORE 14701.715
AT ITER 2867 NEW BEST:: SOT 46778 SOS 16713 HAS SOPS 16713 HAS SOUS 14683 HAS SOUPS 14683 WITH SCORE 14699.713
AT ITER 2879 NEW BEST:: SOT 46766 SOS 16697 HAS SOPS 16697 HAS SOUS 14668 HAS SOUPS 14668 WITH SCORE 14684.697
AT ITER 2883 NEW BEST:: SOT 46761 SOS 16687 HAS SOPS 16687 HAS SOUS 14658 HAS SOUPS 14658 WITH SCORE 14674.687
AT ITER 2893 NEW BEST:: SOT 46761 SOS 16681 HAS SOPS 16681 HAS SOUS 14652 HAS SOUPS 14652 WITH SCORE 14668.681
AT ITER 2894 NEW BEST:: SOT 46757 SOS 16669 HAS SOPS 16669 HAS SOUS 14644 HAS SOUPS 14644 WITH SCORE 14660.669
AT ITER 2897 NEW BEST:: SOT 46752 SOS 16664 HAS SOPS 16664 HAS SOUS 14634 HAS SOUPS 14634 WITH SCORE 14650.664
AT ITER 2907 NEW BEST:: SOT 46688 SOS 16600 HAS SOPS 16600 HAS SOUS 14570 HAS SOUPS 14570 WITH SCORE 14586.6
AT ITER 2909 NEW BEST:: SOT 46685 SOS 16598 HAS SOPS 16598 HAS SOUS 14568 HAS SOUPS 14568 WITH SCORE 14584.598
AT ITER 2914 NEW BEST:: SOT 46685 SOS 16598 HAS SOPS 16598 HAS SOUS 14567 HAS SOUPS 14567 WITH SCORE 14583.598
AT ITER 2920 NEW BEST:: SOT 46657 SOS 16553 HAS SOPS 16553 HAS SOUS 14522 HAS SOUPS 14522 WITH SCORE 14538.553
AT ITER 2929 NEW BEST:: SOT 46581 SOS 16438 HAS SOPS 16438 HAS SOUS 14406 HAS SOUPS 14406 WITH SCORE 14422.438
AT ITER 2931 NEW BEST:: SOT 46521 SOS 16328 HAS SOPS 16328 HAS SOUS 14317 HAS SOUPS 14317 WITH SCORE 14333.328
AT ITER 2938 NEW BEST:: SOT 46472 SOS 16311 HAS SOPS 16311 HAS SOUS 14291 HAS SOUPS 14291 WITH SCORE 14307.311
AT ITER 2939 NEW BEST:: SOT 46416 SOS 16255 HAS SOPS 16255 HAS SOUS 14235 HAS SOUPS 14235 WITH SCORE 14251.255
AT ITER 2946 NEW BEST:: SOT 46413 SOS 16245 HAS SOPS 16245 HAS SOUS 14218 HAS SOUPS 14218 WITH SCORE 14234.245
AT ITER 2967 NEW BEST:: SOT 46412 SOS 16244 HAS SOPS 16244 HAS SOUS 14217 HAS SOUPS 14217 WITH SCORE 14233.244
AT ITER 2968 NEW BEST:: SOT 46397 SOS 16306 HAS SOPS 16306 HAS SOUS 14211 HAS SOUPS 14211 WITH SCORE 14227.306
AT ITER 2983 NEW BEST:: SOT 46387 SOS 16181 HAS SOPS 16181 HAS SOUS 14197 HAS SOUPS 14197 WITH SCORE 14213.181
AT ITER 3002 NEW BEST:: SOT 46401 SOS 16182 HAS SOPS 16182 HAS SOUS 14193 HAS SOUPS 14193 WITH SCORE 14209.182
AT ITER 3008 NEW BEST:: SOT 46436 SOS 16114 HAS SOPS 16114 HAS SOUS 14178 HAS SOUPS 14178 WITH SCORE 14194.114
AT ITER 3017 NEW BEST:: SOT 46436 SOS 16107 HAS SOPS 16107 HAS SOUS 14171 HAS SOUPS 14171 WITH SCORE 14187.107
AT ITER 3021 NEW BEST:: SOT 46406 SOS 16077 HAS SOPS 16077 HAS SOUS 14145 HAS SOUPS 14145 WITH SCORE 14161.077
AT ITER 3051 NEW BEST:: SOT 46406 SOS 16085 HAS SOPS 16085 HAS SOUS 14144 HAS SOUPS 14144 WITH SCORE 14160.085
AT ITER 3056 NEW BEST:: SOT 46396 SOS 16073 HAS SOPS 16073 HAS SOUS 14114 HAS SOUPS 14114 WITH SCORE 14130.073
AT ITER 3091 NEW BEST:: SOT 46398 SOS 16070 HAS SOPS 16070 HAS SOUS 14082 HAS SOUPS 14082 WITH SCORE 14098.07
AT ITER 3124 NEW BEST:: SOT 46386 SOS 16058 HAS SOPS 16058 HAS SOUS 14070 HAS SOUPS 14070 WITH SCORE 14086.058
AT ITER 3148 NEW BEST:: SOT 46364 SOS 16031 HAS SOPS 16031 HAS SOUS 14043 HAS SOUPS 14043 WITH SCORE 14059.031
AT ITER 3159 NEW BEST:: SOT 46376 SOS 16017 HAS SOPS 16017 HAS SOUS 14042 HAS SOUPS 14042 WITH SCORE 14058.017
AT ITER 3165 NEW BEST:: SOT 46345 SOS 15969 HAS SOPS 15969 HAS SOUS 13994 HAS SOUPS 13994 WITH SCORE 14009.969
AT ITER 3167 NEW BEST:: SOT 46345 SOS 15965 HAS SOPS 15965 HAS SOUS 13990 HAS SOUPS 13990 WITH SCORE 14005.965
AT ITER 3168 NEW BEST:: SOT 46314 SOS 15934 HAS SOPS 15934 HAS SOUS 13959 HAS SOUPS 13959 WITH SCORE 13974.934
AT ITER 3179 NEW BEST:: SOT 46314 SOS 15920 HAS SOPS 15920 HAS SOUS 13959 HAS SOUPS 13959 WITH SCORE 13974.92
AT ITER 3182 NEW BEST:: SOT 46303 SOS 15897 HAS SOPS 15897 HAS SOUS 13936 HAS SOUPS 13936 WITH SCORE 13951.897
AT ITER 3187 NEW BEST:: SOT 46302 SOS 15896 HAS SOPS 15896 HAS SOUS 13935 HAS SOUPS 13935 WITH SCORE 13950.896
AT ITER 3199 NEW BEST:: SOT 46302 SOS 15890 HAS SOPS 15890 HAS SOUS 13897 HAS SOUPS 13897 WITH SCORE 13912.89
AT ITER 3206 NEW BEST:: SOT 46302 SOS 15886 HAS SOPS 15886 HAS SOUS 13897 HAS SOUPS 13897 WITH SCORE 13912.886
AT ITER 3228 NEW BEST:: SOT 46300 SOS 15880 HAS SOPS 15880 HAS SOUS 13894 HAS SOUPS 13894 WITH SCORE 13909.88
AT ITER 3254 NEW BEST:: SOT 46297 SOS 15828 HAS SOPS 15828 HAS SOUS 13887 HAS SOUPS 13887 WITH SCORE 13902.828
AT ITER 3255 NEW BEST:: SOT 46303 SOS 15800 HAS SOPS 15800 HAS SOUS 13865 HAS SOUPS 13865 WITH SCORE 13880.8
AT ITER 3284 NEW BEST:: SOT 46303 SOS 15785 HAS SOPS 15785 HAS SOUS 13860 HAS SOUPS 13860 WITH SCORE 13875.785
AT ITER 3342 NEW BEST:: SOT 46289 SOS 15767 HAS SOPS 15767 HAS SOUS 13844 HAS SOUPS 13844 WITH SCORE 13859.767
AT ITER 3365 NEW BEST:: SOT 46291 SOS 15769 HAS SOPS 15769 HAS SOUS 13837 HAS SOUPS 13837 WITH SCORE 13852.769
AT ITER 3377 NEW BEST:: SOT 46289 SOS 15763 HAS SOPS 15763 HAS SOUS 13833 HAS SOUPS 13833 WITH SCORE 13848.763
AT ITER 3395 NEW BEST:: SOT 46284 SOS 15753 HAS SOPS 15753 HAS SOUS 13823 HAS SOUPS 13823 WITH SCORE 13838.753
AT ITER 3501 NEW BEST:: SOT 46284 SOS 15753 HAS SOPS 15753 HAS SOUS 13805 HAS SOUPS 13805 WITH SCORE 13820.753
AT ITER 3505 NEW BEST:: SOT 46275 SOS 15745 HAS SOPS 15745 HAS SOUS 13794 HAS SOUPS 13794 WITH SCORE 13809.745
AT ITER 3513 NEW BEST:: SOT 46273 SOS 15740 HAS SOPS 15740 HAS SOUS 13791 HAS SOUPS 13791 WITH SCORE 13806.74
AT ITER 3521 NEW BEST:: SOT 46266 SOS 15733 HAS SOPS 15733 HAS SOUS 13784 HAS SOUPS 13784 WITH SCORE 13799.733
AT ITER 3572 NEW BEST:: SOT 46230 SOS 15649 HAS SOPS 15649 HAS SOUS 13736 HAS SOUPS 13736 WITH SCORE 13751.649
AT ITER 3580 NEW BEST:: SOT 46227 SOS 15657 HAS SOPS 15657 HAS SOUS 13733 HAS SOUPS 13733 WITH SCORE 13748.657
AT ITER 3613 NEW BEST:: SOT 46238 SOS 15646 HAS SOPS 15646 HAS SOUS 13717 HAS SOUPS 13717 WITH SCORE 13732.646
AT ITER 3706 NEW BEST:: SOT 46235 SOS 15643 HAS SOPS 15643 HAS SOUS 13714 HAS SOUPS 13714 WITH SCORE 13729.643
AT ITER 3713 NEW BEST:: SOT 46242 SOS 15636 HAS SOPS 15636 HAS SOUS 13714 HAS SOUPS 13714 WITH SCORE 13729.636
AT ITER 3737 NEW BEST:: SOT 46222 SOS 15616 HAS SOPS 15616 HAS SOUS 13694 HAS SOUPS 13694 WITH SCORE 13709.616
AT ITER 3743 NEW BEST:: SOT 46222 SOS 15613 HAS SOPS 15613 HAS SOUS 13690 HAS SOUPS 13690 WITH SCORE 13705.613
AT ITER 3745 NEW BEST:: SOT 46191 SOS 15584 HAS SOPS 15584 HAS SOUS 13672 HAS SOUPS 13672 WITH SCORE 13687.584
AT ITER 3751 NEW BEST:: SOT 46187 SOS 15582 HAS SOPS 15582 HAS SOUS 13670 HAS SOUPS 13670 WITH SCORE 13685.582
AT ITER 3811 NEW BEST:: SOT 46157 SOS 15508 HAS SOPS 15508 HAS SOUS 13610 HAS SOUPS 13610 WITH SCORE 13625.508
AT ITER 3850 NEW BEST:: SOT 46115 SOS 15428 HAS SOPS 15428 HAS SOUS 13559 HAS SOUPS 13559 WITH SCORE 13574.428
AT ITER 3860 NEW BEST:: SOT 45965 SOS 15352 HAS SOPS 15352 HAS SOUS 13462 HAS SOUPS 13462 WITH SCORE 13477.352
AT ITER 3865 NEW BEST:: SOT 45963 SOS 15347 HAS SOPS 15347 HAS SOUS 13457 HAS SOUPS 13457 WITH SCORE 13472.347
AT ITER 3877 NEW BEST:: SOT 45962 SOS 15356 HAS SOPS 15356 HAS SOUS 13456 HAS SOUPS 13456 WITH SCORE 13471.356
AT ITER 3896 NEW BEST:: SOT 45959 SOS 15353 HAS SOPS 15353 HAS SOUS 13453 HAS SOUPS 13453 WITH SCORE 13468.353
AT ITER 3900 NEW BEST:: SOT 45958 SOS 15262 HAS SOPS 15262 HAS SOUS 13445 HAS SOUPS 13445 WITH SCORE 13460.262
AT ITER 3902 NEW BEST:: SOT 45958 SOS 15204 HAS SOPS 15204 HAS SOUS 13407 HAS SOUPS 13407 WITH SCORE 13422.204
AT ITER 3970 NEW BEST:: SOT 45993 SOS 15233 HAS SOPS 15233 HAS SOUS 13400 HAS SOUPS 13400 WITH SCORE 13415.233
AT ITER 3992 NEW BEST:: SOT 45973 SOS 15164 HAS SOPS 15164 HAS SOUS 13332 HAS SOUPS 13332 WITH SCORE 13347.164
AT ITER 4016 NEW BEST:: SOT 45969 SOS 15160 HAS SOPS 15160 HAS SOUS 13328 HAS SOUPS 13328 WITH SCORE 13343.16
AT ITER 4042 NEW BEST:: SOT 45969 SOS 15157 HAS SOPS 15157 HAS SOUS 13325 HAS SOUPS 13325 WITH SCORE 13340.157
AT ITER 4045 NEW BEST:: SOT 45959 SOS 15142 HAS SOPS 15142 HAS SOUS 13324 HAS SOUPS 13324 WITH SCORE 13339.142
AT ITER 4055 NEW BEST:: SOT 45974 SOS 15134 HAS SOPS 15134 HAS SOUS 13316 HAS SOUPS 13316 WITH SCORE 13331.134
AT ITER 4100 NEW BEST:: SOT 45966 SOS 15129 HAS SOPS 15129 HAS SOUS 13310 HAS SOUPS 13310 WITH SCORE 13325.129
AT ITER 4116 NEW BEST:: SOT 45947 SOS 15121 HAS SOPS 15121 HAS SOUS 13302 HAS SOUPS 13302 WITH SCORE 13317.121
AT ITER 4127 NEW BEST:: SOT 45947 SOS 15115 HAS SOPS 15115 HAS SOUS 13296 HAS SOUPS 13296 WITH SCORE 13311.115
AT ITER 4151 NEW BEST:: SOT 45939 SOS 15106 HAS SOPS 15106 HAS SOUS 13287 HAS SOUPS 13287 WITH SCORE 13302.106
AT ITER 4155 NEW BEST:: SOT 45936 SOS 15103 HAS SOPS 15103 HAS SOUS 13284 HAS SOUPS 13284 WITH SCORE 13299.103
AT ITER 4156 NEW BEST:: SOT 45936 SOS 15100 HAS SOPS 15100 HAS SOUS 13281 HAS SOUPS 13281 WITH SCORE 13296.1
AT ITER 4162 NEW BEST:: SOT 45900 SOS 15099 HAS SOPS 15099 HAS SOUS 13253 HAS SOUPS 13253 WITH SCORE 13268.099
AT ITER 4182 NEW BEST:: SOT 45889 SOS 15091 HAS SOPS 15091 HAS SOUS 13245 HAS SOUPS 13245 WITH SCORE 13260.091
AT ITER 4196 NEW BEST:: SOT 45889 SOS 15091 HAS SOPS 15091 HAS SOUS 13240 HAS SOUPS 13240 WITH SCORE 13255.091
AT ITER 4203 NEW BEST:: SOT 45877 SOS 15094 HAS SOPS 15094 HAS SOUS 13224 HAS SOUPS 13224 WITH SCORE 13239.094
AT ITER 4231 NEW BEST:: SOT 45877 SOS 15066 HAS SOPS 15066 HAS SOUS 13218 HAS SOUPS 13218 WITH SCORE 13233.066
AT ITER 4246 NEW BEST:: SOT 45851 SOS 15063 HAS SOPS 15063 HAS SOUS 13215 HAS SOUPS 13215 WITH SCORE 13230.063
AT ITER 4254 NEW BEST:: SOT 45848 SOS 15057 HAS SOPS 15057 HAS SOUS 13209 HAS SOUPS 13209 WITH SCORE 13224.057
AT ITER 4257 NEW BEST:: SOT 45840 SOS 15052 HAS SOPS 15052 HAS SOUS 13204 HAS SOUPS 13204 WITH SCORE 13219.052
AT ITER 4266 NEW BEST:: SOT 45826 SOS 15023 HAS SOPS 15023 HAS SOUS 13175 HAS SOUPS 13175 WITH SCORE 13190.023
AT ITER 4288 NEW BEST:: SOT 45812 SOS 15009 HAS SOPS 15009 HAS SOUS 13161 HAS SOUPS 13161 WITH SCORE 13176.009
AT ITER 4320 NEW BEST:: SOT 45807 SOS 14986 HAS SOPS 14986 HAS SOUS 13137 HAS SOUPS 13137 WITH SCORE 13151.986
AT ITER 4323 NEW BEST:: SOT 45802 SOS 14981 HAS SOPS 14981 HAS SOUS 13134 HAS SOUPS 13134 WITH SCORE 13148.981
AT ITER 4337 NEW BEST:: SOT 45802 SOS 14971 HAS SOPS 14971 HAS SOUS 13129 HAS SOUPS 13129 WITH SCORE 13143.971
AT ITER 4344 NEW BEST:: SOT 45796 SOS 14961 HAS SOPS 14961 HAS SOUS 13122 HAS SOUPS 13122 WITH SCORE 13136.961
AT ITER 4350 NEW BEST:: SOT 45798 SOS 14959 HAS SOPS 14959 HAS SOUS 13120 HAS SOUPS 13120 WITH SCORE 13134.959
AT ITER 4352 NEW BEST:: SOT 45862 SOS 14953 HAS SOPS 14953 HAS SOUS 13114 HAS SOUPS 13114 WITH SCORE 13128.953
AT ITER 4357 NEW BEST:: SOT 45852 SOS 14925 HAS SOPS 14925 HAS SOUS 13071 HAS SOUPS 13071 WITH SCORE 13085.925
AT ITER 4383 NEW BEST:: SOT 45852 SOS 14922 HAS SOPS 14922 HAS SOUS 13069 HAS SOUPS 13069 WITH SCORE 13083.922
AT ITER 4401 NEW BEST:: SOT 45849 SOS 14919 HAS SOPS 14919 HAS SOUS 13066 HAS SOUPS 13066 WITH SCORE 13080.919
AT ITER 4410 NEW BEST:: SOT 45821 SOS 14891 HAS SOPS 14891 HAS SOUS 13038 HAS SOUPS 13038 WITH SCORE 13052.891
AT ITER 4421 NEW BEST:: SOT 45805 SOS 14859 HAS SOPS 14859 HAS SOUS 13006 HAS SOUPS 13006 WITH SCORE 13020.859
AT ITER 4450 NEW BEST:: SOT 45826 SOS 14858 HAS SOPS 14858 HAS SOUS 13005 HAS SOUPS 13005 WITH SCORE 13019.858
AT ITER 4456 NEW BEST:: SOT 45894 SOS 14926 HAS SOPS 14926 HAS SOUS 12990 HAS SOUPS 12990 WITH SCORE 13004.926
AT ITER 4461 NEW BEST:: SOT 45863 SOS 14843 HAS SOPS 14843 HAS SOUS 12907 HAS SOUPS 12907 WITH SCORE 12921.843
AT ITER 4465 NEW BEST:: SOT 45871 SOS 14814 HAS SOPS 14814 HAS SOUS 12907 HAS SOUPS 12907 WITH SCORE 12921.814
AT ITER 4498 NEW BEST:: SOT 45871 SOS 14795 HAS SOPS 14795 HAS SOUS 12900 HAS SOUPS 12900 WITH SCORE 12914.795
AT ITER 4550 NEW BEST:: SOT 45852 SOS 14777 HAS SOPS 14777 HAS SOUS 12882 HAS SOUPS 12882 WITH SCORE 12896.777
AT ITER 4575 NEW BEST:: SOT 45848 SOS 14757 HAS SOPS 14757 HAS SOUS 12870 HAS SOUPS 12870 WITH SCORE 12884.757
AT ITER 4588 NEW BEST:: SOT 45867 SOS 14770 HAS SOPS 14770 HAS SOUS 12847 HAS SOUPS 12847 WITH SCORE 12861.77
AT ITER 4591 NEW BEST:: SOT 45853 SOS 14761 HAS SOPS 14761 HAS SOUS 12844 HAS SOUPS 12844 WITH SCORE 12858.761
AT ITER 4593 NEW BEST:: SOT 45862 SOS 14767 HAS SOPS 14767 HAS SOUS 12840 HAS SOUPS 12840 WITH SCORE 12854.767
AT ITER 4609 NEW BEST:: SOT 45862 SOS 14769 HAS SOPS 14769 HAS SOUS 12822 HAS SOUPS 12822 WITH SCORE 12836.769
AT ITER 4635 NEW BEST:: SOT 45862 SOS 14733 HAS SOPS 14733 HAS SOUS 12813 HAS SOUPS 12813 WITH SCORE 12827.733
AT ITER 4652 NEW BEST:: SOT 45862 SOS 14682 HAS SOPS 14682 HAS SOUS 12764 HAS SOUPS 12764 WITH SCORE 12778.682
AT ITER 4667 NEW BEST:: SOT 45856 SOS 14673 HAS SOPS 14673 HAS SOUS 12755 HAS SOUPS 12755 WITH SCORE 12769.673
AT ITER 4688 NEW BEST:: SOT 45856 SOS 14665 HAS SOPS 14665 HAS SOUS 12751 HAS SOUPS 12751 WITH SCORE 12765.665
AT ITER 4690 NEW BEST:: SOT 45852 SOS 14661 HAS SOPS 14661 HAS SOUS 12747 HAS SOUPS 12747 WITH SCORE 12761.661
AT ITER 4700 NEW BEST:: SOT 45846 SOS 14655 HAS SOPS 14655 HAS SOUS 12741 HAS SOUPS 12741 WITH SCORE 12755.655
AT ITER 4741 NEW BEST:: SOT 45830 SOS 14647 HAS SOPS 14647 HAS SOUS 12733 HAS SOUPS 12733 WITH SCORE 12747.647
AT ITER 4752 NEW BEST:: SOT 45827 SOS 14644 HAS SOPS 14644 HAS SOUS 12730 HAS SOUPS 12730 WITH SCORE 12744.644
AT ITER 4816 NEW BEST:: SOT 45805 SOS 14613 HAS SOPS 14613 HAS SOUS 12699 HAS SOUPS 12699 WITH SCORE 12713.613
AT ITER 4822 NEW BEST:: SOT 45796 SOS 14592 HAS SOPS 14592 HAS SOUS 12684 HAS SOUPS 12684 WITH SCORE 12698.592
AT ITER 4839 NEW BEST:: SOT 45790 SOS 14579 HAS SOPS 14579 HAS SOUS 12672 HAS SOUPS 12672 WITH SCORE 12686.579
AT ITER 4841 NEW BEST:: SOT 45772 SOS 14550 HAS SOPS 14550 HAS SOUS 12635 HAS SOUPS 12635 WITH SCORE 12649.55
AT ITER 4842 NEW BEST:: SOT 45795 SOS 14572 HAS SOPS 14572 HAS SOUS 12630 HAS SOUPS 12630 WITH SCORE 12644.572
AT ITER 4854 NEW BEST:: SOT 45812 SOS 14579 HAS SOPS 14579 HAS SOUS 12627 HAS SOUPS 12627 WITH SCORE 12641.579
AT ITER 4855 NEW BEST:: SOT 45812 SOS 14577 HAS SOPS 14577 HAS SOUS 12625 HAS SOUPS 12625 WITH SCORE 12639.577
AT ITER 4866 NEW BEST:: SOT 45813 SOS 14528 HAS SOPS 14528 HAS SOUS 12606 HAS SOUPS 12606 WITH SCORE 12620.528
AT ITER 4881 NEW BEST:: SOT 45804 SOS 14457 HAS SOPS 14457 HAS SOUS 12592 HAS SOUPS 12592 WITH SCORE 12606.457
AT ITER 4901 NEW BEST:: SOT 45776 SOS 14402 HAS SOPS 14402 HAS SOUS 12547 HAS SOUPS 12547 WITH SCORE 12561.402
AT ITER 4950 NEW BEST:: SOT 45774 SOS 14399 HAS SOPS 14399 HAS SOUS 12542 HAS SOUPS 12542 WITH SCORE 12556.399
AT ITER 4952 NEW BEST:: SOT 45770 SOS 14312 HAS SOPS 14312 HAS SOUS 12511 HAS SOUPS 12511 WITH SCORE 12525.312
AT ITER 4954 NEW BEST:: SOT 45770 SOS 14307 HAS SOPS 14307 HAS SOUS 12506 HAS SOUPS 12506 WITH SCORE 12520.307
AT ITER 4974 NEW BEST:: SOT 45761 SOS 14283 HAS SOPS 14283 HAS SOUS 12482 HAS SOUPS 12482 WITH SCORE 12496.283
AT ITER 5019 NEW BEST:: SOT 45761 SOS 14151 HAS SOPS 14151 HAS SOUS 12439 HAS SOUPS 12439 WITH SCORE 12453.151
AT ITER 5035 NEW BEST:: SOT 45761 SOS 14139 HAS SOPS 14139 HAS SOUS 12431 HAS SOUPS 12431 WITH SCORE 12445.139
AT ITER 5059 NEW BEST:: SOT 45756 SOS 14134 HAS SOPS 14134 HAS SOUS 12424 HAS SOUPS 12424 WITH SCORE 12438.134
AT ITER 5175 NEW BEST:: SOT 45757 SOS 14124 HAS SOPS 14124 HAS SOUS 12414 HAS SOUPS 12414 WITH SCORE 12428.124
AT ITER 5193 NEW BEST:: SOT 45757 SOS 14128 HAS SOPS 14128 HAS SOUS 12411 HAS SOUPS 12411 WITH SCORE 12425.128
AT ITER 5225 NEW BEST:: SOT 45755 SOS 14127 HAS SOPS 14127 HAS SOUS 12410 HAS SOUPS 12410 WITH SCORE 12424.127
AT ITER 5235 NEW BEST:: SOT 45762 SOS 14134 HAS SOPS 14134 HAS SOUS 12405 HAS SOUPS 12405 WITH SCORE 12419.134
AT ITER 5265 NEW BEST:: SOT 45744 SOS 14106 HAS SOPS 14106 HAS SOUS 12386 HAS SOUPS 12386 WITH SCORE 12400.106
AT ITER 5280 NEW BEST:: SOT 45741 SOS 14097 HAS SOPS 14097 HAS SOUS 12380 HAS SOUPS 12380 WITH SCORE 12394.097
AT ITER 5299 NEW BEST:: SOT 45741 SOS 14071 HAS SOPS 14071 HAS SOUS 12367 HAS SOUPS 12367 WITH SCORE 12381.071
AT ITER 5312 NEW BEST:: SOT 45719 SOS 14049 HAS SOPS 14049 HAS SOUS 12345 HAS SOUPS 12345 WITH SCORE 12359.049
AT ITER 5320 NEW BEST:: SOT 45711 SOS 14041 HAS SOPS 14041 HAS SOUS 12332 HAS SOUPS 12332 WITH SCORE 12346.041
AT ITER 5344 NEW BEST:: SOT 45740 SOS 14034 HAS SOPS 14034 HAS SOUS 12327 HAS SOUPS 12327 WITH SCORE 12341.034
AT ITER 5373 NEW BEST:: SOT 45747 SOS 14052 HAS SOPS 14052 HAS SOUS 12317 HAS SOUPS 12317 WITH SCORE 12331.052
AT ITER 5407 NEW BEST:: SOT 45733 SOS 13997 HAS SOPS 13997 HAS SOUS 12287 HAS SOUPS 12287 WITH SCORE 12300.997
AT ITER 5433 NEW BEST:: SOT 45716 SOS 13875 HAS SOPS 13875 HAS SOUS 12265 HAS SOUPS 12265 WITH SCORE 12278.875
AT ITER 5463 NEW BEST:: SOT 45656 SOS 13815 HAS SOPS 13815 HAS SOUS 12205 HAS SOUPS 12205 WITH SCORE 12218.815
AT ITER 5472 NEW BEST:: SOT 45641 SOS 13784 HAS SOPS 13784 HAS SOUS 12175 HAS SOUPS 12175 WITH SCORE 12188.784
AT ITER 5513 NEW BEST:: SOT 45638 SOS 13781 HAS SOPS 13781 HAS SOUS 12171 HAS SOUPS 12171 WITH SCORE 12184.781
AT ITER 5596 NEW BEST:: SOT 45638 SOS 13774 HAS SOPS 13774 HAS SOUS 12167 HAS SOUPS 12167 WITH SCORE 12180.774
AT ITER 5671 NEW BEST:: SOT 45635 SOS 13763 HAS SOPS 13763 HAS SOUS 12159 HAS SOUPS 12159 WITH SCORE 12172.763
AT ITER 5716 NEW BEST:: SOT 45631 SOS 13759 HAS SOPS 13759 HAS SOUS 12155 HAS SOUPS 12155 WITH SCORE 12168.759
AT ITER 5753 NEW BEST:: SOT 45628 SOS 13752 HAS SOPS 13752 HAS SOUS 12151 HAS SOUPS 12151 WITH SCORE 12164.752
AT ITER 5786 NEW BEST:: SOT 45625 SOS 13749 HAS SOPS 13749 HAS SOUS 12145 HAS SOUPS 12145 WITH SCORE 12158.749
AT ITER 5812 NEW BEST:: SOT 45599 SOS 13764 HAS SOPS 13764 HAS SOUS 12119 HAS SOUPS 12119 WITH SCORE 12132.764
AT ITER 5830 NEW BEST:: SOT 45599 SOS 13756 HAS SOPS 13756 HAS SOUS 12115 HAS SOUPS 12115 WITH SCORE 12128.756
AT ITER 5879 NEW BEST:: SOT 45604 SOS 13761 HAS SOPS 13761 HAS SOUS 12112 HAS SOUPS 12112 WITH SCORE 12125.761
AT ITER 5881 NEW BEST:: SOT 45604 SOS 13760 HAS SOPS 13760 HAS SOUS 12111 HAS SOUPS 12111 WITH SCORE 12124.76
AT ITER 5938 NEW BEST:: SOT 45604 SOS 13724 HAS SOPS 13724 HAS SOUS 12099 HAS SOUPS 12099 WITH SCORE 12112.724
AT ITER 5943 NEW BEST:: SOT 45610 SOS 13716 HAS SOPS 13716 HAS SOUS 12087 HAS SOUPS 12087 WITH SCORE 12100.716
AT ITER 5959 NEW BEST:: SOT 45608 SOS 13715 HAS SOPS 13715 HAS SOUS 12087 HAS SOUPS 12087 WITH SCORE 12100.715
AT ITER 5962 NEW BEST:: SOT 45599 SOS 13699 HAS SOPS 13699 HAS SOUS 12071 HAS SOUPS 12071 WITH SCORE 12084.699
AT ITER 5974 NEW BEST:: SOT 45590 SOS 13705 HAS SOPS 13705 HAS SOUS 12061 HAS SOUPS 12061 WITH SCORE 12074.705
AT ITER 5981 NEW BEST:: SOT 45554 SOS 13602 HAS SOPS 13602 HAS SOUS 11975 HAS SOUPS 11975 WITH SCORE 11988.602
AT ITER 5982 NEW BEST:: SOT 45552 SOS 13596 HAS SOPS 13596 HAS SOUS 11972 HAS SOUPS 11972 WITH SCORE 11985.596
AT ITER 5995 NEW BEST:: SOT 45552 SOS 13585 HAS SOPS 13585 HAS SOUS 11961 HAS SOUPS 11961 WITH SCORE 11974.585
AT ITER 5996 NEW BEST:: SOT 45553 SOS 13560 HAS SOPS 13560 HAS SOUS 11956 HAS SOUPS 11956 WITH SCORE 11969.56
AT ITER 6004 NEW BEST:: SOT 45549 SOS 13556 HAS SOPS 13556 HAS SOUS 11952 HAS SOUPS 11952 WITH SCORE 11965.556
AT ITER 6014 NEW BEST:: SOT 45566 SOS 13505 HAS SOPS 13505 HAS SOUS 11916 HAS SOUPS 11916 WITH SCORE 11929.505
AT ITER 6030 NEW BEST:: SOT 45551 SOS 13474 HAS SOPS 13474 HAS SOUS 11869 HAS SOUPS 11869 WITH SCORE 11882.474
AT ITER 6040 NEW BEST:: SOT 45561 SOS 13467 HAS SOPS 13467 HAS SOUS 11865 HAS SOUPS 11865 WITH SCORE 11878.467
AT ITER 6051 NEW BEST:: SOT 45581 SOS 13477 HAS SOPS 13477 HAS SOUS 11857 HAS SOUPS 11857 WITH SCORE 11870.477
AT ITER 6090 NEW BEST:: SOT 45578 SOS 13470 HAS SOPS 13470 HAS SOUS 11847 HAS SOUPS 11847 WITH SCORE 11860.47
AT ITER 6095 NEW BEST:: SOT 45578 SOS 13467 HAS SOPS 13467 HAS SOUS 11845 HAS SOUPS 11845 WITH SCORE 11858.467
AT ITER 6105 NEW BEST:: SOT 45572 SOS 13457 HAS SOPS 13457 HAS SOUS 11837 HAS SOUPS 11837 WITH SCORE 11850.457
AT ITER 6117 NEW BEST:: SOT 45568 SOS 13447 HAS SOPS 13447 HAS SOUS 11829 HAS SOUPS 11829 WITH SCORE 11842.447
AT ITER 6119 NEW BEST:: SOT 45577 SOS 13441 HAS SOPS 13441 HAS SOUS 11823 HAS SOUPS 11823 WITH SCORE 11836.441
AT ITER 6138 NEW BEST:: SOT 45564 SOS 13428 HAS SOPS 13428 HAS SOUS 11810 HAS SOUPS 11810 WITH SCORE 11823.428
AT ITER 6140 NEW BEST:: SOT 45542 SOS 13378 HAS SOPS 13378 HAS SOUS 11771 HAS SOUPS 11771 WITH SCORE 11784.378
AT ITER 6231 NEW BEST:: SOT 45579 SOS 13414 HAS SOPS 13414 HAS SOUS 11766 HAS SOUPS 11766 WITH SCORE 11779.414
AT ITER 6262 NEW BEST:: SOT 45563 SOS 13398 HAS SOPS 13398 HAS SOUS 11750 HAS SOUPS 11750 WITH SCORE 11763.398
AT ITER 6279 NEW BEST:: SOT 45554 SOS 13391 HAS SOPS 13391 HAS SOUS 11740 HAS SOUPS 11740 WITH SCORE 11753.391
AT ITER 6280 NEW BEST:: SOT 45552 SOS 13389 HAS SOPS 13389 HAS SOUS 11738 HAS SOUPS 11738 WITH SCORE 11751.389
AT ITER 6285 NEW BEST:: SOT 45554 SOS 13390 HAS SOPS 13390 HAS SOUS 11735 HAS SOUPS 11735 WITH SCORE 11748.39
AT ITER 6297 NEW BEST:: SOT 45517 SOS 13288 HAS SOPS 13288 HAS SOUS 11653 HAS SOUPS 11653 WITH SCORE 11666.288
AT ITER 6320 NEW BEST:: SOT 45518 SOS 13285 HAS SOPS 13285 HAS SOUS 11650 HAS SOUPS 11650 WITH SCORE 11663.285
AT ITER 6324 NEW BEST:: SOT 45506 SOS 13273 HAS SOPS 13273 HAS SOUS 11638 HAS SOUPS 11638 WITH SCORE 11651.273
AT ITER 6338 NEW BEST:: SOT 45507 SOS 13238 HAS SOPS 13238 HAS SOUS 11627 HAS SOUPS 11627 WITH SCORE 11640.238
AT ITER 6375 NEW BEST:: SOT 45467 SOS 13159 HAS SOPS 13159 HAS SOUS 11587 HAS SOUPS 11587 WITH SCORE 11600.159
AT ITER 6389 NEW BEST:: SOT 45465 SOS 13156 HAS SOPS 13156 HAS SOUS 11583 HAS SOUPS 11583 WITH SCORE 11596.156
AT ITER 6397 NEW BEST:: SOT 45464 SOS 13155 HAS SOPS 13155 HAS SOUS 11582 HAS SOUPS 11582 WITH SCORE 11595.155
AT ITER 6402 NEW BEST:: SOT 45454 SOS 13145 HAS SOPS 13145 HAS SOUS 11564 HAS SOUPS 11564 WITH SCORE 11577.145
AT ITER 6430 NEW BEST:: SOT 45448 SOS 13136 HAS SOPS 13136 HAS SOUS 11558 HAS SOUPS 11558 WITH SCORE 11571.136
AT ITER 6435 NEW BEST:: SOT 45442 SOS 13115 HAS SOPS 13115 HAS SOUS 11543 HAS SOUPS 11543 WITH SCORE 11556.115
AT ITER 6459 NEW BEST:: SOT 45434 SOS 13099 HAS SOPS 13099 HAS SOUS 11527 HAS SOUPS 11527 WITH SCORE 11540.099
AT ITER 6464 NEW BEST:: SOT 45426 SOS 13069 HAS SOPS 13069 HAS SOUS 11493 HAS SOUPS 11493 WITH SCORE 11506.069
AT ITER 6508 NEW BEST:: SOT 45421 SOS 13039 HAS SOPS 13039 HAS SOUS 11481 HAS SOUPS 11481 WITH SCORE 11494.039
AT ITER 6528 NEW BEST:: SOT 45415 SOS 13028 HAS SOPS 13028 HAS SOUS 11462 HAS SOUPS 11462 WITH SCORE 11475.028
AT ITER 6535 NEW BEST:: SOT 45413 SOS 13018 HAS SOPS 13018 HAS SOUS 11453 HAS SOUPS 11453 WITH SCORE 11466.018
AT ITER 6589 NEW BEST:: SOT 45413 SOS 13044 HAS SOPS 13044 HAS SOUS 11440 HAS SOUPS 11440 WITH SCORE 11453.044
AT ITER 6652 NEW BEST:: SOT 45405 SOS 13024 HAS SOPS 13024 HAS SOUS 11420 HAS SOUPS 11420 WITH SCORE 11433.024
AT ITER 6673 NEW BEST:: SOT 45441 SOS 13044 HAS SOPS 13044 HAS SOUS 11412 HAS SOUPS 11412 WITH SCORE 11425.044
AT ITER 6674 NEW BEST:: SOT 45431 SOS 13034 HAS SOPS 13034 HAS SOUS 11411 HAS SOUPS 11411 WITH SCORE 11424.034
AT ITER 6746 NEW BEST:: SOT 45427 SOS 13030 HAS SOPS 13030 HAS SOUS 11407 HAS SOUPS 11407 WITH SCORE 11420.03
AT ITER 6768 NEW BEST:: SOT 45428 SOS 12989 HAS SOPS 12989 HAS SOUS 11403 HAS SOUPS 11403 WITH SCORE 11415.989
AT ITER 6792 NEW BEST:: SOT 45416 SOS 12977 HAS SOPS 12977 HAS SOUS 11391 HAS SOUPS 11391 WITH SCORE 11403.977
AT ITER 6828 NEW BEST:: SOT 45376 SOS 12940 HAS SOPS 12940 HAS SOUS 11333 HAS SOUPS 11333 WITH SCORE 11345.94
AT ITER 6855 NEW BEST:: SOT 45340 SOS 12856 HAS SOPS 12856 HAS SOUS 11312 HAS SOUPS 11312 WITH SCORE 11324.856
AT ITER 6884 NEW BEST:: SOT 45324 SOS 12853 HAS SOPS 12853 HAS SOUS 11309 HAS SOUPS 11309 WITH SCORE 11321.853
AT ITER 6885 NEW BEST:: SOT 45317 SOS 12839 HAS SOPS 12839 HAS SOUS 11297 HAS SOUPS 11297 WITH SCORE 11309.839
AT ITER 6895 NEW BEST:: SOT 45298 SOS 12821 HAS SOPS 12821 HAS SOUS 11279 HAS SOUPS 11279 WITH SCORE 11291.821
AT ITER 6913 NEW BEST:: SOT 45298 SOS 12820 HAS SOPS 12820 HAS SOUS 11277 HAS SOUPS 11277 WITH SCORE 11289.82
AT ITER 6920 NEW BEST:: SOT 45284 SOS 12818 HAS SOPS 12818 HAS SOUS 11275 HAS SOUPS 11275 WITH SCORE 11287.818
AT ITER 6923 NEW BEST:: SOT 45274 SOS 12808 HAS SOPS 12808 HAS SOUS 11265 HAS SOUPS 11265 WITH SCORE 11277.808
AT ITER 6943 NEW BEST:: SOT 45269 SOS 12800 HAS SOPS 12800 HAS SOUS 11257 HAS SOUPS 11257 WITH SCORE 11269.8
AT ITER 7005 NEW BEST:: SOT 45260 SOS 12788 HAS SOPS 12788 HAS SOUS 11245 HAS SOUPS 11245 WITH SCORE 11257.788
AT ITER 7019 NEW BEST:: SOT 45254 SOS 12788 HAS SOPS 12788 HAS SOUS 11239 HAS SOUPS 11239 WITH SCORE 11251.788
AT ITER 7036 NEW BEST:: SOT 45255 SOS 12779 HAS SOPS 12779 HAS SOUS 11230 HAS SOUPS 11230 WITH SCORE 11242.779
AT ITER 7037 NEW BEST:: SOT 45285 SOS 12817 HAS SOPS 12817 HAS SOUS 11214 HAS SOUPS 11214 WITH SCORE 11226.817
AT ITER 7059 NEW BEST:: SOT 45314 SOS 12809 HAS SOPS 12809 HAS SOUS 11199 HAS SOUPS 11199 WITH SCORE 11211.809
AT ITER 7082 NEW BEST:: SOT 45297 SOS 12790 HAS SOPS 12790 HAS SOUS 11187 HAS SOUPS 11187 WITH SCORE 11199.79
AT ITER 7090 NEW BEST:: SOT 45289 SOS 12781 HAS SOPS 12781 HAS SOUS 11179 HAS SOUPS 11179 WITH SCORE 11191.781
AT ITER 7098 NEW BEST:: SOT 45282 SOS 12774 HAS SOPS 12774 HAS SOUS 11172 HAS SOUPS 11172 WITH SCORE 11184.774
AT ITER 7141 NEW BEST:: SOT 45273 SOS 12754 HAS SOPS 12754 HAS SOUS 11159 HAS SOUPS 11159 WITH SCORE 11171.754
AT ITER 7160 NEW BEST:: SOT 45258 SOS 12767 HAS SOPS 12767 HAS SOUS 11152 HAS SOUPS 11152 WITH SCORE 11164.767
AT ITER 7181 NEW BEST:: SOT 45252 SOS 12761 HAS SOPS 12761 HAS SOUS 11145 HAS SOUPS 11145 WITH SCORE 11157.761
AT ITER 7210 NEW BEST:: SOT 45238 SOS 12752 HAS SOPS 12752 HAS SOUS 11137 HAS SOUPS 11137 WITH SCORE 11149.752
AT ITER 7230 NEW BEST:: SOT 45229 SOS 12736 HAS SOPS 12736 HAS SOUS 11121 HAS SOUPS 11121 WITH SCORE 11133.736
AT ITER 7231 NEW BEST:: SOT 45241 SOS 12712 HAS SOPS 12712 HAS SOUS 11097 HAS SOUPS 11097 WITH SCORE 11109.712
AT ITER 7299 NEW BEST:: SOT 45240 SOS 12711 HAS SOPS 12711 HAS SOUS 11096 HAS SOUPS 11096 WITH SCORE 11108.711
AT ITER 7318 NEW BEST:: SOT 45220 SOS 12671 HAS SOPS 12671 HAS SOUS 11056 HAS SOUPS 11056 WITH SCORE 11068.671
AT ITER 7381 NEW BEST:: SOT 45222 SOS 12663 HAS SOPS 12663 HAS SOUS 11036 HAS SOUPS 11036 WITH SCORE 11048.663
AT ITER 7383 NEW BEST:: SOT 45218 SOS 12634 HAS SOPS 12634 HAS SOUS 11007 HAS SOUPS 11007 WITH SCORE 11019.634
AT ITER 7429 NEW BEST:: SOT 45226 SOS 12628 HAS SOPS 12628 HAS SOUS 11007 HAS SOUPS 11007 WITH SCORE 11019.628
AT ITER 7435 NEW BEST:: SOT 45223 SOS 12478 HAS SOPS 12478 HAS SOUS 10920 HAS SOUPS 10920 WITH SCORE 10932.478
AT ITER 7443 NEW BEST:: SOT 45272 SOS 12473 HAS SOPS 12473 HAS SOUS 10910 HAS SOUPS 10910 WITH SCORE 10922.473
AT ITER 7571 NEW BEST:: SOT 45272 SOS 12471 HAS SOPS 12471 HAS SOUS 10909 HAS SOUPS 10909 WITH SCORE 10921.471
AT ITER 7606 NEW BEST:: SOT 45264 SOS 12463 HAS SOPS 12463 HAS SOUS 10901 HAS SOUPS 10901 WITH SCORE 10913.463
AT ITER 7615 NEW BEST:: SOT 45264 SOS 12461 HAS SOPS 12461 HAS SOUS 10899 HAS SOUPS 10899 WITH SCORE 10911.461
AT ITER 7683 NEW BEST:: SOT 45263 SOS 12447 HAS SOPS 12447 HAS SOUS 10889 HAS SOUPS 10889 WITH SCORE 10901.447
AT ITER 7684 NEW BEST:: SOT 45280 SOS 12358 HAS SOPS 12358 HAS SOUS 10881 HAS SOUPS 10881 WITH SCORE 10893.358
AT ITER 7697 NEW BEST:: SOT 45268 SOS 12316 HAS SOPS 12316 HAS SOUS 10872 HAS SOUPS 10872 WITH SCORE 10884.316
AT ITER 7725 NEW BEST:: SOT 45258 SOS 12296 HAS SOPS 12296 HAS SOUS 10849 HAS SOUPS 10849 WITH SCORE 10861.296
AT ITER 7768 NEW BEST:: SOT 45257 SOS 12284 HAS SOPS 12284 HAS SOUS 10836 HAS SOUPS 10836 WITH SCORE 10848.284
AT ITER 7803 NEW BEST:: SOT 45255 SOS 12279 HAS SOPS 12279 HAS SOUS 10832 HAS SOUPS 10832 WITH SCORE 10844.279
AT ITER 7839 NEW BEST:: SOT 45270 SOS 12259 HAS SOPS 12259 HAS SOUS 10827 HAS SOUPS 10827 WITH SCORE 10839.259
AT ITER 7849 NEW BEST:: SOT 45270 SOS 12258 HAS SOPS 12258 HAS SOUS 10826 HAS SOUPS 10826 WITH SCORE 10838.258
AT ITER 7853 NEW BEST:: SOT 45254 SOS 12254 HAS SOPS 12254 HAS SOUS 10822 HAS SOUPS 10822 WITH SCORE 10834.254
AT ITER 7886 NEW BEST:: SOT 45246 SOS 12251 HAS SOPS 12251 HAS SOUS 10819 HAS SOUPS 10819 WITH SCORE 10831.251
AT ITER 7914 NEW BEST:: SOT 45244 SOS 12249 HAS SOPS 12249 HAS SOUS 10817 HAS SOUPS 10817 WITH SCORE 10829.249
AT ITER 7919 NEW BEST:: SOT 45243 SOS 12248 HAS SOPS 12248 HAS SOUS 10816 HAS SOUPS 10816 WITH SCORE 10828.248
AT ITER 7963 NEW BEST:: SOT 45227 SOS 12229 HAS SOPS 12229 HAS SOUS 10797 HAS SOUPS 10797 WITH SCORE 10809.229
AT ITER 7998 NEW BEST:: SOT 45227 SOS 12185 HAS SOPS 12185 HAS SOUS 10757 HAS SOUPS 10757 WITH SCORE 10769.185
AT ITER 8050 NEW BEST:: SOT 45227 SOS 12175 HAS SOPS 12175 HAS SOUS 10749 HAS SOUPS 10749 WITH SCORE 10761.175
AT ITER 8055 NEW BEST:: SOT 45223 SOS 12171 HAS SOPS 12171 HAS SOUS 10749 HAS SOUPS 10749 WITH SCORE 10761.171
AT ITER 8059 NEW BEST:: SOT 45235 SOS 12177 HAS SOPS 12177 HAS SOUS 10747 HAS SOUPS 10747 WITH SCORE 10759.177
AT ITER 8088 NEW BEST:: SOT 45235 SOS 12162 HAS SOPS 12162 HAS SOUS 10747 HAS SOUPS 10747 WITH SCORE 10759.162
AT ITER 8148 NEW BEST:: SOT 45223 SOS 12142 HAS SOPS 12142 HAS SOUS 10727 HAS SOUPS 10727 WITH SCORE 10739.142
AT ITER 8167 NEW BEST:: SOT 45211 SOS 12113 HAS SOPS 12113 HAS SOUS 10702 HAS SOUPS 10702 WITH SCORE 10714.113
AT ITER 8181 NEW BEST:: SOT 45139 SOS 12036 HAS SOPS 12036 HAS SOUS 10625 HAS SOUPS 10625 WITH SCORE 10637.036
AT ITER 8273 NEW BEST:: SOT 45128 SOS 12018 HAS SOPS 12018 HAS SOUS 10618 HAS SOUPS 10618 WITH SCORE 10630.018
AT ITER 8295 NEW BEST:: SOT 45146 SOS 11972 HAS SOPS 11972 HAS SOUS 10613 HAS SOUPS 10613 WITH SCORE 10624.972
AT ITER 8450 NEW BEST:: SOT 45145 SOS 11971 HAS SOPS 11971 HAS SOUS 10612 HAS SOUPS 10612 WITH SCORE 10623.971
AT ITER 8461 NEW BEST:: SOT 45145 SOS 11967 HAS SOPS 11967 HAS SOUS 10610 HAS SOUPS 10610 WITH SCORE 10621.967
AT ITER 8463 NEW BEST:: SOT 45141 SOS 11964 HAS SOPS 11964 HAS SOUS 10609 HAS SOUPS 10609 WITH SCORE 10620.964
AT ITER 8478 NEW BEST:: SOT 45121 SOS 11954 HAS SOPS 11954 HAS SOUS 10599 HAS SOUPS 10599 WITH SCORE 10610.954
AT ITER 8538 NEW BEST:: SOT 45120 SOS 11939 HAS SOPS 11939 HAS SOUS 10591 HAS SOUPS 10591 WITH SCORE 10602.939
AT ITER 8549 NEW BEST:: SOT 45119 SOS 11938 HAS SOPS 11938 HAS SOUS 10590 HAS SOUPS 10590 WITH SCORE 10601.938
AT ITER 8563 NEW BEST:: SOT 45119 SOS 11938 HAS SOPS 11938 HAS SOUS 10587 HAS SOUPS 10587 WITH SCORE 10598.938
AT ITER 8580 NEW BEST:: SOT 45108 SOS 11927 HAS SOPS 11927 HAS SOUS 10576 HAS SOUPS 10576 WITH SCORE 10587.927
AT ITER 8588 NEW BEST:: SOT 45108 SOS 11925 HAS SOPS 11925 HAS SOUS 10576 HAS SOUPS 10576 WITH SCORE 10587.925
AT ITER 8600 NEW BEST:: SOT 45115 SOS 11916 HAS SOPS 11916 HAS SOUS 10567 HAS SOUPS 10567 WITH SCORE 10578.916
AT ITER 8635 NEW BEST:: SOT 45112 SOS 11910 HAS SOPS 11910 HAS SOUS 10561 HAS SOUPS 10561 WITH SCORE 10572.91
AT ITER 8637 NEW BEST:: SOT 45112 SOS 11875 HAS SOPS 11875 HAS SOUS 10545 HAS SOUPS 10545 WITH SCORE 10556.875
AT ITER 8679 NEW BEST:: SOT 45093 SOS 11856 HAS SOPS 11856 HAS SOUS 10526 HAS SOUPS 10526 WITH SCORE 10537.856
AT ITER 8685 NEW BEST:: SOT 45083 SOS 11840 HAS SOPS 11840 HAS SOUS 10510 HAS SOUPS 10510 WITH SCORE 10521.84
AT ITER 8722 NEW BEST:: SOT 45038 SOS 11785 HAS SOPS 11785 HAS SOUS 10455 HAS SOUPS 10455 WITH SCORE 10466.785
AT ITER 8743 NEW BEST:: SOT 45034 SOS 11781 HAS SOPS 11781 HAS SOUS 10451 HAS SOUPS 10451 WITH SCORE 10462.781
AT ITER 8744 NEW BEST:: SOT 45018 SOS 11757 HAS SOPS 11757 HAS SOUS 10427 HAS SOUPS 10427 WITH SCORE 10438.757
AT ITER 8752 NEW BEST:: SOT 45016 SOS 11754 HAS SOPS 11754 HAS SOUS 10425 HAS SOUPS 10425 WITH SCORE 10436.754
AT ITER 8779 NEW BEST:: SOT 45020 SOS 11761 HAS SOPS 11761 HAS SOUS 10408 HAS SOUPS 10408 WITH SCORE 10419.761
AT ITER 8801 NEW BEST:: SOT 45017 SOS 11752 HAS SOPS 11752 HAS SOUS 10404 HAS SOUPS 10404 WITH SCORE 10415.752
AT ITER 8815 NEW BEST:: SOT 44997 SOS 11732 HAS SOPS 11732 HAS SOUS 10384 HAS SOUPS 10384 WITH SCORE 10395.732
AT ITER 8830 NEW BEST:: SOT 44989 SOS 11723 HAS SOPS 11723 HAS SOUS 10374 HAS SOUPS 10374 WITH SCORE 10385.723
AT ITER 8876 NEW BEST:: SOT 44978 SOS 11712 HAS SOPS 11712 HAS SOUS 10363 HAS SOUPS 10363 WITH SCORE 10374.712
AT ITER 8914 NEW BEST:: SOT 44971 SOS 11703 HAS SOPS 11703 HAS SOUS 10361 HAS SOUPS 10361 WITH SCORE 10372.703
AT ITER 8967 NEW BEST:: SOT 44968 SOS 11700 HAS SOPS 11700 HAS SOUS 10353 HAS SOUPS 10353 WITH SCORE 10364.7
AT ITER 8973 NEW BEST:: SOT 44955 SOS 11681 HAS SOPS 11681 HAS SOUS 10333 HAS SOUPS 10333 WITH SCORE 10344.681
AT ITER 9019 NEW BEST:: SOT 44943 SOS 11663 HAS SOPS 11663 HAS SOUS 10315 HAS SOUPS 10315 WITH SCORE 10326.663
AT ITER 9062 NEW BEST:: SOT 44943 SOS 11659 HAS SOPS 11659 HAS SOUS 10311 HAS SOUPS 10311 WITH SCORE 10322.659
AT ITER 9093 NEW BEST:: SOT 44937 SOS 11635 HAS SOPS 11635 HAS SOUS 10308 HAS SOUPS 10308 WITH SCORE 10319.635
AT ITER 9178 NEW BEST:: SOT 44937 SOS 11610 HAS SOPS 11610 HAS SOUS 10308 HAS SOUPS 10308 WITH SCORE 10319.61
AT ITER 9191 NEW BEST:: SOT 44937 SOS 11609 HAS SOPS 11609 HAS SOUS 10307 HAS SOUPS 10307 WITH SCORE 10318.609
AT ITER 9262 NEW BEST:: SOT 44922 SOS 11594 HAS SOPS 11594 HAS SOUS 10292 HAS SOUPS 10292 WITH SCORE 10303.594
AT ITER 9289 NEW BEST:: SOT 44917 SOS 11592 HAS SOPS 11592 HAS SOUS 10289 HAS SOUPS 10289 WITH SCORE 10300.592
AT ITER 9346 NEW BEST:: SOT 44917 SOS 11590 HAS SOPS 11590 HAS SOUS 10278 HAS SOUPS 10278 WITH SCORE 10289.59
AT ITER 9355 NEW BEST:: SOT 44911 SOS 11593 HAS SOPS 11593 HAS SOUS 10275 HAS SOUPS 10275 WITH SCORE 10286.593
AT ITER 9378 NEW BEST:: SOT 44904 SOS 11572 HAS SOPS 11572 HAS SOUS 10258 HAS SOUPS 10258 WITH SCORE 10269.572
AT ITER 9439 NEW BEST:: SOT 44896 SOS 11561 HAS SOPS 11561 HAS SOUS 10247 HAS SOUPS 10247 WITH SCORE 10258.561
AT ITER 9445 NEW BEST:: SOT 44891 SOS 11444 HAS SOPS 11444 HAS SOUS 10235 HAS SOUPS 10235 WITH SCORE 10246.444
AT ITER 9448 NEW BEST:: SOT 44888 SOS 11438 HAS SOPS 11438 HAS SOUS 10229 HAS SOUPS 10229 WITH SCORE 10240.438
AT ITER 9488 NEW BEST:: SOT 44888 SOS 11437 HAS SOPS 11437 HAS SOUS 10229 HAS SOUPS 10229 WITH SCORE 10240.437
AT ITER 9502 NEW BEST:: SOT 44884 SOS 11433 HAS SOPS 11433 HAS SOUS 10225 HAS SOUPS 10225 WITH SCORE 10236.433
AT ITER 9504 NEW BEST:: SOT 44877 SOS 11439 HAS SOPS 11439 HAS SOUS 10218 HAS SOUPS 10218 WITH SCORE 10229.439
AT ITER 9517 NEW BEST:: SOT 44877 SOS 11437 HAS SOPS 11437 HAS SOUS 10216 HAS SOUPS 10216 WITH SCORE 10227.437
AT ITER 9522 NEW BEST:: SOT 44871 SOS 11429 HAS SOPS 11429 HAS SOUS 10196 HAS SOUPS 10196 WITH SCORE 10207.429
AT ITER 9537 NEW BEST:: SOT 44865 SOS 11420 HAS SOPS 11420 HAS SOUS 10187 HAS SOUPS 10187 WITH SCORE 10198.42
AT ITER 9623 NEW BEST:: SOT 44865 SOS 11419 HAS SOPS 11419 HAS SOUS 10186 HAS SOUPS 10186 WITH SCORE 10197.419
AT ITER 9649 NEW BEST:: SOT 44861 SOS 11415 HAS SOPS 11415 HAS SOUS 10182 HAS SOUPS 10182 WITH SCORE 10193.415
AT ITER 9674 NEW BEST:: SOT 44859 SOS 11407 HAS SOPS 11407 HAS SOUS 10176 HAS SOUPS 10176 WITH SCORE 10187.407
AT ITER 9729 NEW BEST:: SOT 44862 SOS 11408 HAS SOPS 11408 HAS SOUS 10175 HAS SOUPS 10175 WITH SCORE 10186.408
AT ITER 9774 NEW BEST:: SOT 44860 SOS 11407 HAS SOPS 11407 HAS SOUS 10171 HAS SOUPS 10171 WITH SCORE 10182.407
AT ITER 9820 NEW BEST:: SOT 44859 SOS 11400 HAS SOPS 11400 HAS SOUS 10170 HAS SOUPS 10170 WITH SCORE 10181.4
AT ITER 9856 NEW BEST:: SOT 44833 SOS 11368 HAS SOPS 11368 HAS SOUS 10133 HAS SOUPS 10133 WITH SCORE 10144.368
AT ITER 9912 NEW BEST:: SOT 44829 SOS 11358 HAS SOPS 11358 HAS SOUS 10133 HAS SOUPS 10133 WITH SCORE 10144.358
AT ITER 9934 NEW BEST:: SOT 44828 SOS 11355 HAS SOPS 11355 HAS SOUS 10130 HAS SOUPS 10130 WITH SCORE 10141.355
AT ITER 9942 NEW BEST:: SOT 44825 SOS 11352 HAS SOPS 11352 HAS SOUS 10127 HAS SOUPS 10127 WITH SCORE 10138.352
AT ITER 9947 NEW BEST:: SOT 45016 SOS 11481 HAS SOPS 11481 HAS SOUS 10120 HAS SOUPS 10120 WITH SCORE 10131.481
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 2158724 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16120852 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="ShieldPPPs-PT-010A"
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 ShieldPPPs-PT-010A, 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 r395-oct2-167903718800440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-010A.tgz
mv ShieldPPPs-PT-010A 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 ;