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.r235-tall-167856421700392.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 LamportFastMutEx-COL-8, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421700392
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 464K
-rw-r--r-- 1 mcc users 6.5K Feb 25 13:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 25 13:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 13:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 25 13:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 13:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 25 13:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Feb 25 13:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Feb 25 13:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 2 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 44K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678652508595

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=LamportFastMutEx-COL-8
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 20:21:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 20:21:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 20:21:50] [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-12 20:21:50] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-12 20:21:51] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 461 ms
[2023-03-12 20:21:51] [INFO ] Imported 18 HL places and 17 HL transitions for a total of 315 PT places and 837.0 transition bindings in 16 ms.
[2023-03-12 20:21:51] [INFO ] Unfolded HLPN to a Petri net with 315 places and 666 transitions 2934 arcs in 28 ms.
[2023-03-12 20:21:51] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-12 20:21:51] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 315 places, 666 transitions and 2934 arcs took 10 ms.
Total runtime 609 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LamportFastMutEx (COL), instance 8
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: 315 places, 666 transitions, 2934 arcs.
AT ITER 0 NEW BEST:: SOT 89191 SOS 57300 HAS SOPS 51812 HAS SOUS 43756 HAS SOUPS 41129 WITH SCORE 41186.3
AT ITER 1 NEW BEST:: SOT 88439 SOS 56652 HAS SOPS 51164 HAS SOUS 43024 HAS SOUPS 40397 WITH SCORE 40453.652
AT ITER 5 NEW BEST:: SOT 88523 SOS 56777 HAS SOPS 51289 HAS SOUS 42781 HAS SOUPS 40154 WITH SCORE 40210.777
AT ITER 10 NEW BEST:: SOT 88544 SOS 56827 HAS SOPS 51339 HAS SOUS 42715 HAS SOUPS 40088 WITH SCORE 40144.827
AT ITER 12 NEW BEST:: SOT 88544 SOS 56804 HAS SOPS 51316 HAS SOUS 42692 HAS SOUPS 40065 WITH SCORE 40121.804
AT ITER 14 NEW BEST:: SOT 88544 SOS 56769 HAS SOPS 51281 HAS SOUS 42657 HAS SOUPS 40030 WITH SCORE 40086.769
AT ITER 18 NEW BEST:: SOT 88674 SOS 56991 HAS SOPS 51503 HAS SOUS 42327 HAS SOUPS 39700 WITH SCORE 39756.991
AT ITER 21 NEW BEST:: SOT 88674 SOS 56963 HAS SOPS 51475 HAS SOUS 42299 HAS SOUPS 39672 WITH SCORE 39728.963
AT ITER 24 NEW BEST:: SOT 88674 SOS 56963 HAS SOPS 51470 HAS SOUS 42299 HAS SOUPS 39667 WITH SCORE 39723.963
AT ITER 25 NEW BEST:: SOT 88788 SOS 57158 HAS SOPS 51665 HAS SOUS 42006 HAS SOUPS 39374 WITH SCORE 39431.158
AT ITER 29 NEW BEST:: SOT 87764 SOS 56400 HAS SOPS 50907 HAS SOUS 40623 HAS SOUPS 37991 WITH SCORE 38047.4
AT ITER 31 NEW BEST:: SOT 87764 SOS 56361 HAS SOPS 50868 HAS SOUS 40584 HAS SOUPS 37952 WITH SCORE 38008.361
AT ITER 32 NEW BEST:: SOT 87764 SOS 56333 HAS SOPS 50840 HAS SOUS 40556 HAS SOUPS 37924 WITH SCORE 37980.333
AT ITER 38 NEW BEST:: SOT 87497 SOS 56107 HAS SOPS 50573 HAS SOUS 40330 HAS SOUPS 37657 WITH SCORE 37713.107
AT ITER 43 NEW BEST:: SOT 87368 SOS 55644 HAS SOPS 49872 HAS SOUS 39968 HAS SOUPS 37291 WITH SCORE 37346.644
AT ITER 59 NEW BEST:: SOT 87192 SOS 55531 HAS SOPS 49696 HAS SOUS 39855 HAS SOUPS 37115 WITH SCORE 37170.531
AT ITER 60 NEW BEST:: SOT 86953 SOS 55421 HAS SOPS 49393 HAS SOUS 39660 HAS SOUPS 36812 WITH SCORE 36867.421
AT ITER 64 NEW BEST:: SOT 86953 SOS 55396 HAS SOPS 49368 HAS SOUS 39635 HAS SOUPS 36787 WITH SCORE 36842.396
AT ITER 67 NEW BEST:: SOT 86937 SOS 55380 HAS SOPS 49352 HAS SOUS 39619 HAS SOUPS 36771 WITH SCORE 36826.38
AT ITER 68 NEW BEST:: SOT 86937 SOS 55359 HAS SOPS 49331 HAS SOUS 39598 HAS SOUPS 36750 WITH SCORE 36805.359
AT ITER 71 NEW BEST:: SOT 86737 SOS 55167 HAS SOPS 49116 HAS SOUS 39406 HAS SOUPS 36535 WITH SCORE 36590.167
AT ITER 81 NEW BEST:: SOT 86581 SOS 55350 HAS SOPS 49023 HAS SOUS 39429 HAS SOUPS 36488 WITH SCORE 36543.35
AT ITER 82 NEW BEST:: SOT 86581 SOS 55318 HAS SOPS 48991 HAS SOUS 39397 HAS SOUPS 36456 WITH SCORE 36511.318
AT ITER 84 NEW BEST:: SOT 86826 SOS 55709 HAS SOPS 48489 HAS SOUS 38980 HAS SOUPS 35954 WITH SCORE 36009.709
AT ITER 86 NEW BEST:: SOT 86819 SOS 55675 HAS SOPS 48455 HAS SOUS 38946 HAS SOUPS 35920 WITH SCORE 35975.675
AT ITER 87 NEW BEST:: SOT 86819 SOS 55668 HAS SOPS 48448 HAS SOUS 38939 HAS SOUPS 35913 WITH SCORE 35968.668
AT ITER 88 NEW BEST:: SOT 86750 SOS 55599 HAS SOPS 48379 HAS SOUS 38880 HAS SOUPS 35844 WITH SCORE 35899.599
AT ITER 92 NEW BEST:: SOT 86392 SOS 55374 HAS SOPS 47957 HAS SOUS 38820 HAS SOUPS 35682 WITH SCORE 35737.374
AT ITER 96 NEW BEST:: SOT 86400 SOS 55351 HAS SOPS 47926 HAS SOUS 38789 HAS SOUPS 35651 WITH SCORE 35706.351
AT ITER 99 NEW BEST:: SOT 85229 SOS 54418 HAS SOPS 47025 HAS SOUS 37800 HAS SOUPS 34662 WITH SCORE 34716.418
AT ITER 100 NEW BEST:: SOT 85229 SOS 54403 HAS SOPS 47025 HAS SOUS 37800 HAS SOUPS 34662 WITH SCORE 34716.403
AT ITER 101 NEW BEST:: SOT 84698 SOS 53933 HAS SOPS 46555 HAS SOUS 37271 HAS SOUPS 34133 WITH SCORE 34186.933
AT ITER 110 NEW BEST:: SOT 84626 SOS 53861 HAS SOPS 46402 HAS SOUS 37118 HAS SOUPS 33980 WITH SCORE 34033.861
AT ITER 112 NEW BEST:: SOT 84557 SOS 53792 HAS SOPS 46322 HAS SOUS 37049 HAS SOUPS 33900 WITH SCORE 33953.792
AT ITER 118 NEW BEST:: SOT 84557 SOS 53628 HAS SOPS 46322 HAS SOUS 36991 HAS SOUPS 33900 WITH SCORE 33953.628
AT ITER 121 NEW BEST:: SOT 84557 SOS 53214 HAS SOPS 45908 HAS SOUS 36959 HAS SOUPS 33868 WITH SCORE 33921.214
AT ITER 123 NEW BEST:: SOT 84281 SOS 52984 HAS SOPS 45597 HAS SOUS 36741 HAS SOUPS 33557 WITH SCORE 33609.984
AT ITER 126 NEW BEST:: SOT 84261 SOS 52964 HAS SOPS 45577 HAS SOUS 36721 HAS SOUPS 33537 WITH SCORE 33589.964
AT ITER 133 NEW BEST:: SOT 84285 SOS 52988 HAS SOPS 45601 HAS SOUS 36649 HAS SOUPS 33465 WITH SCORE 33517.988
AT ITER 137 NEW BEST:: SOT 84307 SOS 53010 HAS SOPS 45623 HAS SOUS 36583 HAS SOUPS 33399 WITH SCORE 33452.01
AT ITER 145 NEW BEST:: SOT 84307 SOS 53003 HAS SOPS 45623 HAS SOUS 36583 HAS SOUPS 33399 WITH SCORE 33452.003
AT ITER 146 NEW BEST:: SOT 84307 SOS 52811 HAS SOPS 45431 HAS SOUS 36575 HAS SOUPS 33391 WITH SCORE 33443.811
AT ITER 158 NEW BEST:: SOT 84369 SOS 52943 HAS SOPS 45563 HAS SOUS 36427 HAS SOUPS 33243 WITH SCORE 33295.943
AT ITER 162 NEW BEST:: SOT 84273 SOS 53153 HAS SOPS 45368 HAS SOUS 36378 HAS SOUPS 33048 WITH SCORE 33101.153
AT ITER 163 NEW BEST:: SOT 84355 SOS 53325 HAS SOPS 45540 HAS SOUS 36190 HAS SOUPS 32860 WITH SCORE 32913.325
AT ITER 164 NEW BEST:: SOT 84355 SOS 53323 HAS SOPS 45538 HAS SOUS 36188 HAS SOUPS 32858 WITH SCORE 32911.323
AT ITER 167 NEW BEST:: SOT 84353 SOS 53307 HAS SOPS 45534 HAS SOUS 36182 HAS SOUPS 32856 WITH SCORE 32909.307
AT ITER 168 NEW BEST:: SOT 84353 SOS 52897 HAS SOPS 45124 HAS SOUS 36150 HAS SOUPS 32824 WITH SCORE 32876.897
AT ITER 175 NEW BEST:: SOT 84353 SOS 52896 HAS SOPS 45123 HAS SOUS 36149 HAS SOUPS 32823 WITH SCORE 32875.896
AT ITER 191 NEW BEST:: SOT 84345 SOS 52950 HAS SOPS 45121 HAS SOUS 36147 HAS SOUPS 32821 WITH SCORE 32873.95
AT ITER 196 NEW BEST:: SOT 84345 SOS 52925 HAS SOPS 45096 HAS SOUS 36122 HAS SOUPS 32796 WITH SCORE 32848.925
AT ITER 199 NEW BEST:: SOT 84345 SOS 52885 HAS SOPS 45046 HAS SOUS 36072 HAS SOUPS 32746 WITH SCORE 32798.885
AT ITER 204 NEW BEST:: SOT 83894 SOS 52698 HAS SOPS 44581 HAS SOUS 36214 HAS SOUPS 32697 WITH SCORE 32749.698
AT ITER 208 NEW BEST:: SOT 83890 SOS 52694 HAS SOPS 44577 HAS SOUS 36210 HAS SOUPS 32693 WITH SCORE 32745.694
AT ITER 218 NEW BEST:: SOT 83890 SOS 52694 HAS SOPS 44547 HAS SOUS 36180 HAS SOUPS 32663 WITH SCORE 32715.694
AT ITER 223 NEW BEST:: SOT 83890 SOS 52683 HAS SOPS 44536 HAS SOUS 36169 HAS SOUPS 32652 WITH SCORE 32704.683
AT ITER 225 NEW BEST:: SOT 83883 SOS 52676 HAS SOPS 44448 HAS SOUS 36081 HAS SOUPS 32564 WITH SCORE 32616.676
AT ITER 231 NEW BEST:: SOT 83883 SOS 52634 HAS SOPS 44406 HAS SOUS 36039 HAS SOUPS 32522 WITH SCORE 32574.634
AT ITER 238 NEW BEST:: SOT 83883 SOS 52634 HAS SOPS 44393 HAS SOUS 36026 HAS SOUPS 32509 WITH SCORE 32561.634
AT ITER 242 NEW BEST:: SOT 83883 SOS 52630 HAS SOPS 44389 HAS SOUS 36022 HAS SOUPS 32505 WITH SCORE 32557.63
AT ITER 246 NEW BEST:: SOT 83857 SOS 52569 HAS SOPS 44344 HAS SOUS 35977 HAS SOUPS 32460 WITH SCORE 32512.569
AT ITER 268 NEW BEST:: SOT 83857 SOS 52574 HAS SOPS 44333 HAS SOUS 35966 HAS SOUPS 32449 WITH SCORE 32501.574
AT ITER 271 NEW BEST:: SOT 83740 SOS 52730 HAS SOPS 44323 HAS SOUS 36080 HAS SOUPS 32439 WITH SCORE 32491.73
AT ITER 272 NEW BEST:: SOT 82964 SOS 52089 HAS SOPS 43527 HAS SOUS 35395 HAS SOUPS 31643 WITH SCORE 31695.089
AT ITER 282 NEW BEST:: SOT 82964 SOS 52089 HAS SOPS 43465 HAS SOUS 35333 HAS SOUPS 31581 WITH SCORE 31633.089
AT ITER 303 NEW BEST:: SOT 82964 SOS 52059 HAS SOPS 43435 HAS SOUS 35318 HAS SOUPS 31566 WITH SCORE 31618.059
AT ITER 320 NEW BEST:: SOT 82954 SOS 52049 HAS SOPS 43415 HAS SOUS 35298 HAS SOUPS 31546 WITH SCORE 31598.049
AT ITER 328 NEW BEST:: SOT 82954 SOS 52049 HAS SOPS 43413 HAS SOUS 35296 HAS SOUPS 31544 WITH SCORE 31596.049
AT ITER 331 NEW BEST:: SOT 83094 SOS 52167 HAS SOPS 43259 HAS SOUS 35376 HAS SOUPS 31436 WITH SCORE 31488.167
AT ITER 334 NEW BEST:: SOT 83101 SOS 52174 HAS SOPS 43266 HAS SOUS 35355 HAS SOUPS 31415 WITH SCORE 31467.174
AT ITER 341 NEW BEST:: SOT 83101 SOS 52133 HAS SOPS 43261 HAS SOUS 35350 HAS SOUPS 31410 WITH SCORE 31462.133
AT ITER 352 NEW BEST:: SOT 83011 SOS 52043 HAS SOPS 43171 HAS SOUS 35326 HAS SOUPS 31360 WITH SCORE 31412.043
AT ITER 356 NEW BEST:: SOT 82365 SOS 51527 HAS SOPS 42525 HAS SOUS 34891 HAS SOUPS 30778 WITH SCORE 30829.527
AT ITER 357 NEW BEST:: SOT 82411 SOS 51627 HAS SOPS 42625 HAS SOUS 34775 HAS SOUPS 30662 WITH SCORE 30713.627
AT ITER 358 NEW BEST:: SOT 82399 SOS 51929 HAS SOPS 42613 HAS SOUS 34911 HAS SOUPS 30650 WITH SCORE 30701.929
AT ITER 360 NEW BEST:: SOT 82399 SOS 51924 HAS SOPS 42613 HAS SOUS 34911 HAS SOUPS 30650 WITH SCORE 30701.924
AT ITER 364 NEW BEST:: SOT 82399 SOS 51924 HAS SOPS 42588 HAS SOUS 34886 HAS SOUPS 30625 WITH SCORE 30676.924
AT ITER 373 NEW BEST:: SOT 82399 SOS 51917 HAS SOPS 42530 HAS SOUS 34828 HAS SOUPS 30567 WITH SCORE 30618.917
AT ITER 408 NEW BEST:: SOT 82383 SOS 51901 HAS SOPS 42495 HAS SOUS 34812 HAS SOUPS 30532 WITH SCORE 30583.901
AT ITER 410 NEW BEST:: SOT 82382 SOS 51900 HAS SOPS 42493 HAS SOUS 34811 HAS SOUPS 30530 WITH SCORE 30581.9
AT ITER 413 NEW BEST:: SOT 82264 SOS 52025 HAS SOPS 42628 HAS SOUS 34570 HAS SOUPS 30294 WITH SCORE 30346.025
AT ITER 426 NEW BEST:: SOT 81753 SOS 51929 HAS SOPS 42117 HAS SOUS 34794 HAS SOUPS 30287 WITH SCORE 30338.929
AT ITER 430 NEW BEST:: SOT 81785 SOS 51589 HAS SOPS 41379 HAS SOUS 34435 HAS SOUPS 29928 WITH SCORE 29979.589
AT ITER 432 NEW BEST:: SOT 81780 SOS 51584 HAS SOPS 41367 HAS SOUS 34430 HAS SOUPS 29916 WITH SCORE 29967.584
AT ITER 445 NEW BEST:: SOT 81780 SOS 51584 HAS SOPS 41365 HAS SOUS 34428 HAS SOUPS 29914 WITH SCORE 29965.584
AT ITER 446 NEW BEST:: SOT 81780 SOS 51561 HAS SOPS 41349 HAS SOUS 34412 HAS SOUPS 29898 WITH SCORE 29949.561
AT ITER 447 NEW BEST:: SOT 81241 SOS 51018 HAS SOPS 40771 HAS SOUS 33834 HAS SOUPS 29320 WITH SCORE 29371.018
AT ITER 449 NEW BEST:: SOT 81241 SOS 51002 HAS SOPS 40771 HAS SOUS 33834 HAS SOUPS 29320 WITH SCORE 29371.002
AT ITER 455 NEW BEST:: SOT 81212 SOS 50973 HAS SOPS 40713 HAS SOUS 33774 HAS SOUPS 29262 WITH SCORE 29312.973
AT ITER 467 NEW BEST:: SOT 81239 SOS 51013 HAS SOPS 40701 HAS SOUS 33789 HAS SOUPS 29250 WITH SCORE 29301.013
AT ITER 470 NEW BEST:: SOT 81288 SOS 51037 HAS SOPS 40686 HAS SOUS 33774 HAS SOUPS 29235 WITH SCORE 29286.037
AT ITER 485 NEW BEST:: SOT 81244 SOS 50993 HAS SOPS 40642 HAS SOUS 33730 HAS SOUPS 29191 WITH SCORE 29241.993
AT ITER 494 NEW BEST:: SOT 81244 SOS 50975 HAS SOPS 40624 HAS SOUS 33712 HAS SOUPS 29173 WITH SCORE 29223.975
AT ITER 495 NEW BEST:: SOT 81244 SOS 50921 HAS SOPS 40615 HAS SOUS 33667 HAS SOUPS 29137 WITH SCORE 29187.921
AT ITER 508 NEW BEST:: SOT 81242 SOS 50912 HAS SOPS 40615 HAS SOUS 33649 HAS SOUPS 29137 WITH SCORE 29187.912
AT ITER 513 NEW BEST:: SOT 81503 SOS 51152 HAS SOPS 40525 HAS SOUS 33703 HAS SOUPS 29117 WITH SCORE 29168.152
AT ITER 520 NEW BEST:: SOT 81545 SOS 51303 HAS SOPS 40837 HAS SOUS 33693 HAS SOUPS 29107 WITH SCORE 29158.303
AT ITER 522 NEW BEST:: SOT 81733 SOS 51437 HAS SOPS 40709 HAS SOUS 33636 HAS SOUPS 29050 WITH SCORE 29101.437
AT ITER 526 NEW BEST:: SOT 81661 SOS 51365 HAS SOPS 40631 HAS SOUS 33546 HAS SOUPS 28972 WITH SCORE 29023.365
AT ITER 529 NEW BEST:: SOT 81661 SOS 51328 HAS SOPS 40593 HAS SOUS 33508 HAS SOUPS 28934 WITH SCORE 28985.328
AT ITER 531 NEW BEST:: SOT 81682 SOS 51349 HAS SOPS 40635 HAS SOUS 33466 HAS SOUPS 28892 WITH SCORE 28943.349
AT ITER 534 NEW BEST:: SOT 81446 SOS 51109 HAS SOPS 40365 HAS SOUS 33219 HAS SOUPS 28645 WITH SCORE 28696.109
AT ITER 540 NEW BEST:: SOT 81491 SOS 51093 HAS SOPS 40425 HAS SOUS 33164 HAS SOUPS 28645 WITH SCORE 28696.093
AT ITER 541 NEW BEST:: SOT 81491 SOS 51073 HAS SOPS 40405 HAS SOUS 33144 HAS SOUPS 28625 WITH SCORE 28676.073
AT ITER 544 NEW BEST:: SOT 81473 SOS 51055 HAS SOPS 40387 HAS SOUS 33126 HAS SOUPS 28607 WITH SCORE 28658.055
AT ITER 547 NEW BEST:: SOT 81447 SOS 51005 HAS SOPS 40335 HAS SOUS 33073 HAS SOUPS 28555 WITH SCORE 28606.005
AT ITER 556 NEW BEST:: SOT 81430 SOS 50980 HAS SOPS 40302 HAS SOUS 33047 HAS SOUPS 28529 WITH SCORE 28579.98
AT ITER 561 NEW BEST:: SOT 81418 SOS 50968 HAS SOPS 40300 HAS SOUS 33035 HAS SOUPS 28527 WITH SCORE 28577.968
AT ITER 572 NEW BEST:: SOT 81414 SOS 50964 HAS SOPS 40296 HAS SOUS 33031 HAS SOUPS 28523 WITH SCORE 28573.964
AT ITER 577 NEW BEST:: SOT 81358 SOS 50908 HAS SOPS 40240 HAS SOUS 32975 HAS SOUPS 28467 WITH SCORE 28517.908
AT ITER 583 NEW BEST:: SOT 81250 SOS 50800 HAS SOPS 40132 HAS SOUS 32855 HAS SOUPS 28347 WITH SCORE 28397.8
AT ITER 591 NEW BEST:: SOT 81358 SOS 50550 HAS SOPS 39768 HAS SOUS 32827 HAS SOUPS 28319 WITH SCORE 28369.55
AT ITER 592 NEW BEST:: SOT 81169 SOS 50390 HAS SOPS 39651 HAS SOUS 32710 HAS SOUPS 28202 WITH SCORE 28252.39
AT ITER 606 NEW BEST:: SOT 81136 SOS 50357 HAS SOPS 39618 HAS SOUS 32671 HAS SOUPS 28163 WITH SCORE 28213.357
AT ITER 610 NEW BEST:: SOT 81101 SOS 50322 HAS SOPS 39583 HAS SOUS 32636 HAS SOUPS 28128 WITH SCORE 28178.322
AT ITER 611 NEW BEST:: SOT 80899 SOS 50114 HAS SOPS 39173 HAS SOUS 32242 HAS SOUPS 27734 WITH SCORE 27784.114
AT ITER 622 NEW BEST:: SOT 80901 SOS 50116 HAS SOPS 39177 HAS SOUS 32238 HAS SOUPS 27730 WITH SCORE 27780.116
AT ITER 629 NEW BEST:: SOT 80791 SOS 49984 HAS SOPS 39045 HAS SOUS 32117 HAS SOUPS 27609 WITH SCORE 27658.984
AT ITER 631 NEW BEST:: SOT 80788 SOS 49978 HAS SOPS 39039 HAS SOUS 32111 HAS SOUPS 27603 WITH SCORE 27652.978
AT ITER 634 NEW BEST:: SOT 79953 SOS 49347 HAS SOPS 38488 HAS SOUS 31478 HAS SOUPS 26940 WITH SCORE 26989.347
AT ITER 635 NEW BEST:: SOT 79953 SOS 49347 HAS SOPS 38470 HAS SOUS 31461 HAS SOUPS 26922 WITH SCORE 26971.347
AT ITER 636 NEW BEST:: SOT 79999 SOS 49458 HAS SOPS 38581 HAS SOUS 31388 HAS SOUPS 26849 WITH SCORE 26898.458
AT ITER 639 NEW BEST:: SOT 79999 SOS 49314 HAS SOPS 38266 HAS SOUS 31232 HAS SOUPS 26693 WITH SCORE 26742.314
AT ITER 648 NEW BEST:: SOT 79993 SOS 49308 HAS SOPS 38254 HAS SOUS 31170 HAS SOUPS 26681 WITH SCORE 26730.308
AT ITER 652 NEW BEST:: SOT 79953 SOS 49268 HAS SOPS 38214 HAS SOUS 31130 HAS SOUPS 26641 WITH SCORE 26690.268
AT ITER 654 NEW BEST:: SOT 79953 SOS 49254 HAS SOPS 38214 HAS SOUS 31126 HAS SOUPS 26641 WITH SCORE 26690.254
AT ITER 656 NEW BEST:: SOT 79938 SOS 49239 HAS SOPS 38129 HAS SOUS 31046 HAS SOUPS 26556 WITH SCORE 26605.239
AT ITER 675 NEW BEST:: SOT 79866 SOS 49167 HAS SOPS 38057 HAS SOUS 30974 HAS SOUPS 26484 WITH SCORE 26533.167
AT ITER 680 NEW BEST:: SOT 79515 SOS 48896 HAS SOPS 37649 HAS SOUS 30707 HAS SOUPS 26076 WITH SCORE 26124.896
AT ITER 694 NEW BEST:: SOT 79430 SOS 48811 HAS SOPS 37543 HAS SOUS 30637 HAS SOUPS 25990 WITH SCORE 26038.811
AT ITER 696 NEW BEST:: SOT 79424 SOS 48805 HAS SOPS 37531 HAS SOUS 30631 HAS SOUPS 25978 WITH SCORE 26026.805
AT ITER 699 NEW BEST:: SOT 79519 SOS 48815 HAS SOPS 37626 HAS SOUS 30491 HAS SOUPS 25945 WITH SCORE 25993.815
AT ITER 712 NEW BEST:: SOT 79499 SOS 48795 HAS SOPS 37595 HAS SOUS 30460 HAS SOUPS 25914 WITH SCORE 25962.795
AT ITER 732 NEW BEST:: SOT 79499 SOS 48762 HAS SOPS 37516 HAS SOUS 30381 HAS SOUPS 25835 WITH SCORE 25883.762
AT ITER 733 NEW BEST:: SOT 79451 SOS 48694 HAS SOPS 37448 HAS SOUS 30349 HAS SOUPS 25803 WITH SCORE 25851.694
AT ITER 740 NEW BEST:: SOT 79424 SOS 48667 HAS SOPS 37418 HAS SOUS 30295 HAS SOUPS 25749 WITH SCORE 25797.667
AT ITER 749 NEW BEST:: SOT 79424 SOS 48665 HAS SOPS 37412 HAS SOUS 30289 HAS SOUPS 25743 WITH SCORE 25791.665
AT ITER 774 NEW BEST:: SOT 79384 SOS 48625 HAS SOPS 37316 HAS SOUS 30215 HAS SOUPS 25647 WITH SCORE 25695.625
AT ITER 798 NEW BEST:: SOT 79362 SOS 48603 HAS SOPS 37300 HAS SOUS 30196 HAS SOUPS 25631 WITH SCORE 25679.603
AT ITER 807 NEW BEST:: SOT 79359 SOS 48600 HAS SOPS 37294 HAS SOUS 30193 HAS SOUPS 25625 WITH SCORE 25673.6
AT ITER 812 NEW BEST:: SOT 79359 SOS 48557 HAS SOPS 37294 HAS SOUS 30193 HAS SOUPS 25625 WITH SCORE 25673.557
AT ITER 817 NEW BEST:: SOT 79359 SOS 48505 HAS SOPS 37242 HAS SOUS 30141 HAS SOUPS 25573 WITH SCORE 25621.505
AT ITER 823 NEW BEST:: SOT 79359 SOS 48505 HAS SOPS 37231 HAS SOUS 30130 HAS SOUPS 25562 WITH SCORE 25610.505
AT ITER 827 NEW BEST:: SOT 79314 SOS 48421 HAS SOPS 37146 HAS SOUS 30045 HAS SOUPS 25477 WITH SCORE 25525.421
AT ITER 844 NEW BEST:: SOT 79314 SOS 48421 HAS SOPS 37136 HAS SOUS 30039 HAS SOUPS 25467 WITH SCORE 25515.421
AT ITER 884 NEW BEST:: SOT 79306 SOS 48413 HAS SOPS 37105 HAS SOUS 30008 HAS SOUPS 25436 WITH SCORE 25484.413
AT ITER 891 NEW BEST:: SOT 79306 SOS 48409 HAS SOPS 37101 HAS SOUS 30004 HAS SOUPS 25432 WITH SCORE 25480.409
AT ITER 907 NEW BEST:: SOT 79306 SOS 48395 HAS SOPS 37087 HAS SOUS 29997 HAS SOUPS 25425 WITH SCORE 25473.395
AT ITER 908 NEW BEST:: SOT 79081 SOS 48170 HAS SOPS 36862 HAS SOUS 29820 HAS SOUPS 25248 WITH SCORE 25296.17
AT ITER 909 NEW BEST:: SOT 79081 SOS 48156 HAS SOPS 36845 HAS SOUS 29803 HAS SOUPS 25231 WITH SCORE 25279.156
AT ITER 926 NEW BEST:: SOT 79062 SOS 48137 HAS SOPS 36826 HAS SOUS 29784 HAS SOUPS 25212 WITH SCORE 25260.137
AT ITER 946 NEW BEST:: SOT 79062 SOS 48137 HAS SOPS 36825 HAS SOUS 29783 HAS SOUPS 25211 WITH SCORE 25259.137
AT ITER 950 NEW BEST:: SOT 79037 SOS 47833 HAS SOPS 36567 HAS SOUS 29766 HAS SOUPS 25194 WITH SCORE 25241.833
AT ITER 957 NEW BEST:: SOT 79037 SOS 47752 HAS SOPS 36486 HAS SOUS 29757 HAS SOUPS 25185 WITH SCORE 25232.752
AT ITER 964 NEW BEST:: SOT 79037 SOS 47746 HAS SOPS 36486 HAS SOUS 29757 HAS SOUPS 25185 WITH SCORE 25232.746
AT ITER 983 NEW BEST:: SOT 78858 SOS 47592 HAS SOPS 36307 HAS SOUS 29617 HAS SOUPS 25006 WITH SCORE 25053.592
AT ITER 997 NEW BEST:: SOT 78848 SOS 47582 HAS SOPS 36287 HAS SOUS 29593 HAS SOUPS 24986 WITH SCORE 25033.582
AT ITER 998 NEW BEST:: SOT 78848 SOS 47561 HAS SOPS 36287 HAS SOUS 29593 HAS SOUPS 24986 WITH SCORE 25033.561
AT ITER 1001 NEW BEST:: SOT 78826 SOS 47545 HAS SOPS 36271 HAS SOUS 29577 HAS SOUPS 24970 WITH SCORE 25017.545
AT ITER 1006 NEW BEST:: SOT 78708 SOS 47440 HAS SOPS 36153 HAS SOUS 29501 HAS SOUPS 24852 WITH SCORE 24899.44
AT ITER 1008 NEW BEST:: SOT 78708 SOS 47427 HAS SOPS 36140 HAS SOUS 29488 HAS SOUPS 24839 WITH SCORE 24886.427
AT ITER 1009 NEW BEST:: SOT 78680 SOS 47687 HAS SOPS 36066 HAS SOUS 29617 HAS SOUPS 24765 WITH SCORE 24812.687
AT ITER 1027 NEW BEST:: SOT 78625 SOS 47641 HAS SOPS 36011 HAS SOUS 29571 HAS SOUPS 24710 WITH SCORE 24757.641
AT ITER 1058 NEW BEST:: SOT 78616 SOS 47632 HAS SOPS 36001 HAS SOUS 29564 HAS SOUPS 24700 WITH SCORE 24747.632
AT ITER 1064 NEW BEST:: SOT 78601 SOS 47593 HAS SOPS 35971 HAS SOUS 29522 HAS SOUPS 24670 WITH SCORE 24717.593
AT ITER 1066 NEW BEST:: SOT 78601 SOS 47567 HAS SOPS 35971 HAS SOUS 29518 HAS SOUPS 24670 WITH SCORE 24717.567
AT ITER 1075 NEW BEST:: SOT 78373 SOS 47311 HAS SOPS 35613 HAS SOUS 29174 HAS SOUPS 24326 WITH SCORE 24373.311
AT ITER 1080 NEW BEST:: SOT 78337 SOS 47275 HAS SOPS 35541 HAS SOUS 29097 HAS SOUPS 24254 WITH SCORE 24301.275
AT ITER 1088 NEW BEST:: SOT 78337 SOS 47284 HAS SOPS 35538 HAS SOUS 29094 HAS SOUPS 24251 WITH SCORE 24298.284
AT ITER 1094 NEW BEST:: SOT 78239 SOS 47243 HAS SOPS 35413 HAS SOUS 29076 HAS SOUPS 24126 WITH SCORE 24173.243
AT ITER 1096 NEW BEST:: SOT 78103 SOS 47125 HAS SOPS 35295 HAS SOUS 28958 HAS SOUPS 24008 WITH SCORE 24055.125
AT ITER 1108 NEW BEST:: SOT 78103 SOS 47172 HAS SOPS 35288 HAS SOUS 28981 HAS SOUPS 24001 WITH SCORE 24048.172
AT ITER 1114 NEW BEST:: SOT 78103 SOS 47172 HAS SOPS 35269 HAS SOUS 28981 HAS SOUPS 23982 WITH SCORE 24029.172
AT ITER 1140 NEW BEST:: SOT 78103 SOS 47159 HAS SOPS 35256 HAS SOUS 28968 HAS SOUPS 23969 WITH SCORE 24016.159
AT ITER 1167 NEW BEST:: SOT 78079 SOS 47135 HAS SOPS 35236 HAS SOUS 28944 HAS SOUPS 23949 WITH SCORE 23996.135
AT ITER 1169 NEW BEST:: SOT 77789 SOS 46960 HAS SOPS 34946 HAS SOUS 29064 HAS SOUPS 23891 WITH SCORE 23937.96
AT ITER 1173 NEW BEST:: SOT 77819 SOS 46955 HAS SOPS 34978 HAS SOUS 28982 HAS SOUPS 23867 WITH SCORE 23913.955
AT ITER 1178 NEW BEST:: SOT 77811 SOS 46948 HAS SOPS 34971 HAS SOUS 28974 HAS SOUPS 23859 WITH SCORE 23905.948
AT ITER 1193 NEW BEST:: SOT 77797 SOS 46909 HAS SOPS 34953 HAS SOUS 28935 HAS SOUPS 23841 WITH SCORE 23887.909
AT ITER 1203 NEW BEST:: SOT 77729 SOS 46826 HAS SOPS 34829 HAS SOUS 28862 HAS SOUPS 23717 WITH SCORE 23763.826
AT ITER 1205 NEW BEST:: SOT 77729 SOS 46810 HAS SOPS 34813 HAS SOUS 28862 HAS SOUPS 23717 WITH SCORE 23763.81
AT ITER 1209 NEW BEST:: SOT 77727 SOS 46808 HAS SOPS 34808 HAS SOUS 28860 HAS SOUPS 23712 WITH SCORE 23758.808
AT ITER 1211 NEW BEST:: SOT 77664 SOS 46736 HAS SOPS 34716 HAS SOUS 28783 HAS SOUPS 23635 WITH SCORE 23681.736
AT ITER 1212 NEW BEST:: SOT 77668 SOS 46740 HAS SOPS 34720 HAS SOUS 28771 HAS SOUPS 23623 WITH SCORE 23669.74
AT ITER 1213 NEW BEST:: SOT 77666 SOS 46738 HAS SOPS 34718 HAS SOUS 28769 HAS SOUPS 23621 WITH SCORE 23667.738
AT ITER 1220 NEW BEST:: SOT 77681 SOS 46752 HAS SOPS 34714 HAS SOUS 28767 HAS SOUPS 23617 WITH SCORE 23663.752
AT ITER 1247 NEW BEST:: SOT 77679 SOS 46750 HAS SOPS 34710 HAS SOUS 28759 HAS SOUPS 23613 WITH SCORE 23659.75
AT ITER 1256 NEW BEST:: SOT 77673 SOS 46744 HAS SOPS 34704 HAS SOUS 28753 HAS SOUPS 23607 WITH SCORE 23653.744
AT ITER 1259 NEW BEST:: SOT 77639 SOS 46546 HAS SOPS 34683 HAS SOUS 28584 HAS SOUPS 23482 WITH SCORE 23528.546
AT ITER 1262 NEW BEST:: SOT 77639 SOS 46528 HAS SOPS 34683 HAS SOUS 28578 HAS SOUPS 23482 WITH SCORE 23528.528
AT ITER 1278 NEW BEST:: SOT 77636 SOS 46525 HAS SOPS 34677 HAS SOUS 28575 HAS SOUPS 23476 WITH SCORE 23522.525
AT ITER 1280 NEW BEST:: SOT 77636 SOS 46521 HAS SOPS 34673 HAS SOUS 28571 HAS SOUPS 23472 WITH SCORE 23518.521
AT ITER 1291 NEW BEST:: SOT 77635 SOS 46520 HAS SOPS 34672 HAS SOUS 28570 HAS SOUPS 23471 WITH SCORE 23517.52
AT ITER 1304 NEW BEST:: SOT 77635 SOS 46536 HAS SOPS 34666 HAS SOUS 28564 HAS SOUPS 23465 WITH SCORE 23511.536
AT ITER 1306 NEW BEST:: SOT 77635 SOS 46804 HAS SOPS 34636 HAS SOUS 28607 HAS SOUPS 23435 WITH SCORE 23481.804
AT ITER 1314 NEW BEST:: SOT 77769 SOS 46876 HAS SOPS 34604 HAS SOUS 28606 HAS SOUPS 23434 WITH SCORE 23480.876
AT ITER 1326 NEW BEST:: SOT 77769 SOS 46476 HAS SOPS 34204 HAS SOUS 28590 HAS SOUPS 23418 WITH SCORE 23464.476
AT ITER 1327 NEW BEST:: SOT 77737 SOS 46444 HAS SOPS 34140 HAS SOUS 28563 HAS SOUPS 23354 WITH SCORE 23400.444
AT ITER 1329 NEW BEST:: SOT 77702 SOS 46409 HAS SOPS 34062 HAS SOUS 28512 HAS SOUPS 23276 WITH SCORE 23322.409
AT ITER 1333 NEW BEST:: SOT 77694 SOS 46401 HAS SOPS 34046 HAS SOUS 28504 HAS SOUPS 23260 WITH SCORE 23306.401
AT ITER 1337 NEW BEST:: SOT 77692 SOS 46399 HAS SOPS 34044 HAS SOUS 28502 HAS SOUPS 23258 WITH SCORE 23304.399
AT ITER 1361 NEW BEST:: SOT 77691 SOS 46398 HAS SOPS 34042 HAS SOUS 28501 HAS SOUPS 23256 WITH SCORE 23302.398
AT ITER 1363 NEW BEST:: SOT 77623 SOS 46310 HAS SOPS 33986 HAS SOUS 28455 HAS SOUPS 23210 WITH SCORE 23256.31
AT ITER 1373 NEW BEST:: SOT 77505 SOS 46192 HAS SOPS 33868 HAS SOUS 28337 HAS SOUPS 23092 WITH SCORE 23138.192
AT ITER 1374 NEW BEST:: SOT 77421 SOS 46130 HAS SOPS 33707 HAS SOUS 28165 HAS SOUPS 22920 WITH SCORE 22966.13
AT ITER 1399 NEW BEST:: SOT 77421 SOS 46112 HAS SOPS 33689 HAS SOUS 28163 HAS SOUPS 22918 WITH SCORE 22964.112
AT ITER 1400 NEW BEST:: SOT 77510 SOS 46168 HAS SOPS 33908 HAS SOUS 28123 HAS SOUPS 22895 WITH SCORE 22941.168
AT ITER 1426 NEW BEST:: SOT 77493 SOS 46151 HAS SOPS 33851 HAS SOUS 28106 HAS SOUPS 22838 WITH SCORE 22884.151
AT ITER 1433 NEW BEST:: SOT 77467 SOS 46110 HAS SOPS 33785 HAS SOUS 28040 HAS SOUPS 22772 WITH SCORE 22818.11
AT ITER 1447 NEW BEST:: SOT 77467 SOS 46110 HAS SOPS 33774 HAS SOUS 28039 HAS SOUPS 22761 WITH SCORE 22807.11
AT ITER 1473 NEW BEST:: SOT 77468 SOS 46111 HAS SOPS 33771 HAS SOUS 28040 HAS SOUPS 22758 WITH SCORE 22804.111
AT ITER 1496 NEW BEST:: SOT 77460 SOS 46103 HAS SOPS 33766 HAS SOUS 28032 HAS SOUPS 22753 WITH SCORE 22799.103
AT ITER 1500 NEW BEST:: SOT 77423 SOS 46057 HAS SOPS 33692 HAS SOUS 27977 HAS SOUPS 22679 WITH SCORE 22725.057
AT ITER 1543 NEW BEST:: SOT 77414 SOS 46048 HAS SOPS 33675 HAS SOUS 27968 HAS SOUPS 22662 WITH SCORE 22708.048
AT ITER 1558 NEW BEST:: SOT 77521 SOS 46134 HAS SOPS 33801 HAS SOUS 27776 HAS SOUPS 22490 WITH SCORE 22536.134
AT ITER 1593 NEW BEST:: SOT 77593 SOS 46066 HAS SOPS 33593 HAS SOUS 27731 HAS SOUPS 22445 WITH SCORE 22491.066
AT ITER 1598 NEW BEST:: SOT 77593 SOS 46003 HAS SOPS 33530 HAS SOUS 27724 HAS SOUPS 22438 WITH SCORE 22484.003
AT ITER 1602 NEW BEST:: SOT 77593 SOS 45985 HAS SOPS 33508 HAS SOUS 27720 HAS SOUPS 22425 WITH SCORE 22470.985
AT ITER 1609 NEW BEST:: SOT 77603 SOS 45995 HAS SOPS 33503 HAS SOUS 27730 HAS SOUPS 22420 WITH SCORE 22465.995
AT ITER 1614 NEW BEST:: SOT 77603 SOS 45985 HAS SOPS 33493 HAS SOUS 27730 HAS SOUPS 22420 WITH SCORE 22465.985
AT ITER 1630 NEW BEST:: SOT 77487 SOS 45964 HAS SOPS 33476 HAS SOUS 27626 HAS SOUPS 22316 WITH SCORE 22361.964
AT ITER 1631 NEW BEST:: SOT 77499 SOS 45928 HAS SOPS 33475 HAS SOUS 27511 HAS SOUPS 22208 WITH SCORE 22253.928
AT ITER 1662 NEW BEST:: SOT 77473 SOS 45897 HAS SOPS 33423 HAS SOUS 27471 HAS SOUPS 22156 WITH SCORE 22201.897
AT ITER 1668 NEW BEST:: SOT 77434 SOS 45743 HAS SOPS 33339 HAS SOUS 27230 HAS SOUPS 22072 WITH SCORE 22117.743
AT ITER 1747 NEW BEST:: SOT 77434 SOS 45743 HAS SOPS 33338 HAS SOUS 27230 HAS SOUPS 22071 WITH SCORE 22116.743
AT ITER 1805 NEW BEST:: SOT 77682 SOS 46102 HAS SOPS 33605 HAS SOUS 27056 HAS SOUPS 21897 WITH SCORE 21943.102
AT ITER 1829 NEW BEST:: SOT 77642 SOS 46096 HAS SOPS 33565 HAS SOUS 27022 HAS SOUPS 21837 WITH SCORE 21883.096
AT ITER 1850 NEW BEST:: SOT 77447 SOS 45901 HAS SOPS 33367 HAS SOUS 26827 HAS SOUPS 21639 WITH SCORE 21684.901
AT ITER 1861 NEW BEST:: SOT 77398 SOS 46245 HAS SOPS 33318 HAS SOUS 26884 HAS SOUPS 21590 WITH SCORE 21636.245
AT ITER 1870 NEW BEST:: SOT 77369 SOS 46216 HAS SOPS 33288 HAS SOUS 26854 HAS SOUPS 21560 WITH SCORE 21606.216
AT ITER 1895 NEW BEST:: SOT 77233 SOS 46114 HAS SOPS 33186 HAS SOUS 26735 HAS SOUPS 21441 WITH SCORE 21487.114
AT ITER 1906 NEW BEST:: SOT 77301 SOS 46110 HAS SOPS 33266 HAS SOUS 26683 HAS SOUPS 21396 WITH SCORE 21442.11
AT ITER 1920 NEW BEST:: SOT 77265 SOS 46110 HAS SOPS 33218 HAS SOUS 26659 HAS SOUPS 21348 WITH SCORE 21394.11
AT ITER 1939 NEW BEST:: SOT 77265 SOS 46111 HAS SOPS 33219 HAS SOUS 26658 HAS SOUPS 21347 WITH SCORE 21393.111
AT ITER 1971 NEW BEST:: SOT 77242 SOS 46072 HAS SOPS 33180 HAS SOUS 26635 HAS SOUPS 21324 WITH SCORE 21370.072
AT ITER 1976 NEW BEST:: SOT 77481 SOS 46247 HAS SOPS 33461 HAS SOUS 26298 HAS SOUPS 21027 WITH SCORE 21073.247
AT ITER 1988 NEW BEST:: SOT 77474 SOS 46447 HAS SOPS 33429 HAS SOUS 26488 HAS SOUPS 20995 WITH SCORE 21041.447
AT ITER 1996 NEW BEST:: SOT 77471 SOS 46444 HAS SOPS 33426 HAS SOUS 26485 HAS SOUPS 20992 WITH SCORE 21038.444
AT ITER 2005 NEW BEST:: SOT 77471 SOS 46437 HAS SOPS 33419 HAS SOUS 26478 HAS SOUPS 20985 WITH SCORE 21031.437
AT ITER 2007 NEW BEST:: SOT 77469 SOS 46435 HAS SOPS 33417 HAS SOUS 26476 HAS SOUPS 20983 WITH SCORE 21029.435
AT ITER 2009 NEW BEST:: SOT 77465 SOS 46431 HAS SOPS 33415 HAS SOUS 26503 HAS SOUPS 20981 WITH SCORE 21027.431
AT ITER 2029 NEW BEST:: SOT 77461 SOS 46427 HAS SOPS 33407 HAS SOUS 26499 HAS SOUPS 20973 WITH SCORE 21019.427
AT ITER 2030 NEW BEST:: SOT 77484 SOS 46450 HAS SOPS 33444 HAS SOUS 26492 HAS SOUPS 20966 WITH SCORE 21012.45
AT ITER 2042 NEW BEST:: SOT 77362 SOS 46383 HAS SOPS 33293 HAS SOUS 26622 HAS SOUPS 20943 WITH SCORE 20989.383
AT ITER 2072 NEW BEST:: SOT 77362 SOS 46401 HAS SOPS 33311 HAS SOUS 26604 HAS SOUPS 20925 WITH SCORE 20971.401
AT ITER 2073 NEW BEST:: SOT 77362 SOS 46453 HAS SOPS 33363 HAS SOUS 26600 HAS SOUPS 20921 WITH SCORE 20967.453
AT ITER 2077 NEW BEST:: SOT 77317 SOS 46420 HAS SOPS 33371 HAS SOUS 26510 HAS SOUPS 20831 WITH SCORE 20877.42
AT ITER 2131 NEW BEST:: SOT 77308 SOS 46415 HAS SOPS 33366 HAS SOUS 26505 HAS SOUPS 20826 WITH SCORE 20872.415
AT ITER 2145 NEW BEST:: SOT 77302 SOS 46437 HAS SOPS 33326 HAS SOUS 26465 HAS SOUPS 20786 WITH SCORE 20832.437
AT ITER 2168 NEW BEST:: SOT 77299 SOS 46434 HAS SOPS 33320 HAS SOUS 26496 HAS SOUPS 20780 WITH SCORE 20826.434
AT ITER 2193 NEW BEST:: SOT 77294 SOS 46524 HAS SOPS 33294 HAS SOUS 26826 HAS SOUPS 20754 WITH SCORE 20800.524
AT ITER 2195 NEW BEST:: SOT 77300 SOS 46530 HAS SOPS 33275 HAS SOUS 26850 HAS SOUPS 20735 WITH SCORE 20781.53
AT ITER 2204 NEW BEST:: SOT 77267 SOS 46500 HAS SOPS 33242 HAS SOUS 26829 HAS SOUPS 20702 WITH SCORE 20748.5
AT ITER 2218 NEW BEST:: SOT 77237 SOS 46470 HAS SOPS 33182 HAS SOUS 26799 HAS SOUPS 20642 WITH SCORE 20688.47
AT ITER 2235 NEW BEST:: SOT 77236 SOS 46388 HAS SOPS 33100 HAS SOUS 26789 HAS SOUPS 20632 WITH SCORE 20678.388
AT ITER 2239 NEW BEST:: SOT 77216 SOS 46368 HAS SOPS 33060 HAS SOUS 26769 HAS SOUPS 20592 WITH SCORE 20638.368
AT ITER 2242 NEW BEST:: SOT 77215 SOS 46367 HAS SOPS 33059 HAS SOUS 26768 HAS SOUPS 20591 WITH SCORE 20637.367
AT ITER 2246 NEW BEST:: SOT 77215 SOS 46363 HAS SOPS 33059 HAS SOUS 26768 HAS SOUPS 20591 WITH SCORE 20637.363
AT ITER 2257 NEW BEST:: SOT 77202 SOS 46368 HAS SOPS 33046 HAS SOUS 26761 HAS SOUPS 20578 WITH SCORE 20624.368
AT ITER 2291 NEW BEST:: SOT 77195 SOS 46305 HAS SOPS 33039 HAS SOUS 26747 HAS SOUPS 20571 WITH SCORE 20617.305
AT ITER 2295 NEW BEST:: SOT 76849 SOS 46061 HAS SOPS 32881 HAS SOUS 26480 HAS SOUPS 20304 WITH SCORE 20350.061
AT ITER 2298 NEW BEST:: SOT 76849 SOS 46061 HAS SOPS 32879 HAS SOUS 26478 HAS SOUPS 20302 WITH SCORE 20348.061
AT ITER 2329 NEW BEST:: SOT 76881 SOS 46058 HAS SOPS 32804 HAS SOUS 26473 HAS SOUPS 20297 WITH SCORE 20343.058
AT ITER 2333 NEW BEST:: SOT 76841 SOS 46013 HAS SOPS 32764 HAS SOUS 26428 HAS SOUPS 20257 WITH SCORE 20303.013
AT ITER 2337 NEW BEST:: SOT 76775 SOS 46021 HAS SOPS 32688 HAS SOUS 26372 HAS SOUPS 20185 WITH SCORE 20231.021
AT ITER 2359 NEW BEST:: SOT 76787 SOS 46020 HAS SOPS 32705 HAS SOUS 26253 HAS SOUPS 20075 WITH SCORE 20121.02
AT ITER 2364 NEW BEST:: SOT 76783 SOS 46016 HAS SOPS 32701 HAS SOUS 26249 HAS SOUPS 20071 WITH SCORE 20117.016
AT ITER 2366 NEW BEST:: SOT 76773 SOS 46030 HAS SOPS 32689 HAS SOUS 26245 HAS SOUPS 20059 WITH SCORE 20105.03
AT ITER 2380 NEW BEST:: SOT 76771 SOS 46028 HAS SOPS 32679 HAS SOUS 26243 HAS SOUPS 20049 WITH SCORE 20095.028
AT ITER 2381 NEW BEST:: SOT 76713 SOS 45815 HAS SOPS 32466 HAS SOUS 26140 HAS SOUPS 19946 WITH SCORE 19991.815
AT ITER 2386 NEW BEST:: SOT 76708 SOS 45810 HAS SOPS 32461 HAS SOUS 26135 HAS SOUPS 19941 WITH SCORE 19986.81
AT ITER 2393 NEW BEST:: SOT 76692 SOS 45794 HAS SOPS 32435 HAS SOUS 26119 HAS SOUPS 19915 WITH SCORE 19960.794
AT ITER 2395 NEW BEST:: SOT 76622 SOS 45730 HAS SOPS 32359 HAS SOUS 26073 HAS SOUPS 19839 WITH SCORE 19884.73
AT ITER 2472 NEW BEST:: SOT 76622 SOS 45724 HAS SOPS 32353 HAS SOUS 26073 HAS SOUPS 19839 WITH SCORE 19884.724
AT ITER 2474 NEW BEST:: SOT 76756 SOS 45813 HAS SOPS 32552 HAS SOUS 26047 HAS SOUPS 19828 WITH SCORE 19873.813
AT ITER 2483 NEW BEST:: SOT 76744 SOS 45801 HAS SOPS 32540 HAS SOUS 26035 HAS SOUPS 19816 WITH SCORE 19861.801
AT ITER 2486 NEW BEST:: SOT 76744 SOS 46204 HAS SOPS 32507 HAS SOUS 26116 HAS SOUPS 19783 WITH SCORE 19829.204
AT ITER 2497 NEW BEST:: SOT 76743 SOS 46203 HAS SOPS 32506 HAS SOUS 26115 HAS SOUPS 19782 WITH SCORE 19828.203
AT ITER 2514 NEW BEST:: SOT 76655 SOS 46115 HAS SOPS 32418 HAS SOUS 26027 HAS SOUPS 19694 WITH SCORE 19740.115
AT ITER 2571 NEW BEST:: SOT 76655 SOS 46101 HAS SOPS 32404 HAS SOUS 26027 HAS SOUPS 19694 WITH SCORE 19740.101
AT ITER 2572 NEW BEST:: SOT 76648 SOS 46094 HAS SOPS 32382 HAS SOUS 26020 HAS SOUPS 19672 WITH SCORE 19718.094
AT ITER 2589 NEW BEST:: SOT 76648 SOS 46086 HAS SOPS 32370 HAS SOUS 26016 HAS SOUPS 19664 WITH SCORE 19710.086
AT ITER 2598 NEW BEST:: SOT 76646 SOS 46084 HAS SOPS 32366 HAS SOUS 26012 HAS SOUPS 19660 WITH SCORE 19706.084
AT ITER 2602 NEW BEST:: SOT 76646 SOS 46084 HAS SOPS 32356 HAS SOUS 26002 HAS SOUPS 19650 WITH SCORE 19696.084
AT ITER 2603 NEW BEST:: SOT 76644 SOS 46082 HAS SOPS 32354 HAS SOUS 26000 HAS SOUPS 19648 WITH SCORE 19694.082
AT ITER 2615 NEW BEST:: SOT 76644 SOS 46329 HAS SOPS 32319 HAS SOUS 26055 HAS SOUPS 19613 WITH SCORE 19659.329
AT ITER 2650 NEW BEST:: SOT 76651 SOS 46336 HAS SOPS 32311 HAS SOUS 26062 HAS SOUPS 19605 WITH SCORE 19651.336
AT ITER 2655 NEW BEST:: SOT 76642 SOS 46315 HAS SOPS 32290 HAS SOUS 26041 HAS SOUPS 19584 WITH SCORE 19630.315
AT ITER 2666 NEW BEST:: SOT 76386 SOS 46329 HAS SOPS 32032 HAS SOUS 26457 HAS SOUPS 19522 WITH SCORE 19568.329
AT ITER 2678 NEW BEST:: SOT 76354 SOS 46319 HAS SOPS 31979 HAS SOUS 26393 HAS SOUPS 19458 WITH SCORE 19504.319
AT ITER 2688 NEW BEST:: SOT 76106 SOS 45939 HAS SOPS 31731 HAS SOUS 26487 HAS SOUPS 19454 WITH SCORE 19499.939
AT ITER 2691 NEW BEST:: SOT 76106 SOS 45941 HAS SOPS 31733 HAS SOUS 26485 HAS SOUPS 19452 WITH SCORE 19497.941
AT ITER 2728 NEW BEST:: SOT 76106 SOS 45941 HAS SOPS 31733 HAS SOUS 26469 HAS SOUPS 19436 WITH SCORE 19481.941
AT ITER 2762 NEW BEST:: SOT 76099 SOS 45934 HAS SOPS 31719 HAS SOUS 26462 HAS SOUPS 19422 WITH SCORE 19467.934
AT ITER 2783 NEW BEST:: SOT 76091 SOS 45926 HAS SOPS 31719 HAS SOUS 26454 HAS SOUPS 19422 WITH SCORE 19467.926
AT ITER 2787 NEW BEST:: SOT 76031 SOS 45844 HAS SOPS 31650 HAS SOUS 26444 HAS SOUPS 19412 WITH SCORE 19457.844
AT ITER 2798 NEW BEST:: SOT 75951 SOS 45801 HAS SOPS 31570 HAS SOUS 26542 HAS SOUPS 19412 WITH SCORE 19457.801
AT ITER 2859 NEW BEST:: SOT 75950 SOS 45800 HAS SOPS 31568 HAS SOUS 26541 HAS SOUPS 19410 WITH SCORE 19455.8
AT ITER 2868 NEW BEST:: SOT 76014 SOS 46193 HAS SOPS 31449 HAS SOUS 26454 HAS SOUPS 19291 WITH SCORE 19337.193
AT ITER 2928 NEW BEST:: SOT 75998 SOS 46177 HAS SOPS 31437 HAS SOUS 26438 HAS SOUPS 19279 WITH SCORE 19325.177
AT ITER 2945 NEW BEST:: SOT 75878 SOS 46057 HAS SOPS 31317 HAS SOUS 26382 HAS SOUPS 19223 WITH SCORE 19269.057
AT ITER 2959 NEW BEST:: SOT 75861 SOS 46040 HAS SOPS 31277 HAS SOUS 26365 HAS SOUPS 19183 WITH SCORE 19229.04
AT ITER 2964 NEW BEST:: SOT 75865 SOS 46043 HAS SOPS 31267 HAS SOUS 26370 HAS SOUPS 19173 WITH SCORE 19219.043
AT ITER 2994 NEW BEST:: SOT 75864 SOS 46042 HAS SOPS 31265 HAS SOUS 26369 HAS SOUPS 19171 WITH SCORE 19217.042
AT ITER 3030 NEW BEST:: SOT 75864 SOS 46034 HAS SOPS 31261 HAS SOUS 26365 HAS SOUPS 19167 WITH SCORE 19213.034
AT ITER 3045 NEW BEST:: SOT 75834 SOS 46004 HAS SOPS 31212 HAS SOUS 26335 HAS SOUPS 19118 WITH SCORE 19164.004
AT ITER 3049 NEW BEST:: SOT 75837 SOS 45984 HAS SOPS 31215 HAS SOUS 26319 HAS SOUPS 19109 WITH SCORE 19154.984
AT ITER 3064 NEW BEST:: SOT 75833 SOS 45980 HAS SOPS 31207 HAS SOUS 26309 HAS SOUPS 19101 WITH SCORE 19146.98
AT ITER 3075 NEW BEST:: SOT 75905 SOS 46054 HAS SOPS 31089 HAS SOUS 26190 HAS SOUPS 18982 WITH SCORE 19028.054
AT ITER 3078 NEW BEST:: SOT 75883 SOS 46032 HAS SOPS 31061 HAS SOUS 26168 HAS SOUPS 18954 WITH SCORE 19000.032
AT ITER 3083 NEW BEST:: SOT 75882 SOS 46031 HAS SOPS 31055 HAS SOUS 26167 HAS SOUPS 18948 WITH SCORE 18994.031
AT ITER 3105 NEW BEST:: SOT 75878 SOS 46231 HAS SOPS 31233 HAS SOUS 26159 HAS SOUPS 18940 WITH SCORE 18986.231
AT ITER 3125 NEW BEST:: SOT 75867 SOS 46220 HAS SOPS 31217 HAS SOUS 26148 HAS SOUPS 18924 WITH SCORE 18970.22
AT ITER 3131 NEW BEST:: SOT 75947 SOS 46293 HAS SOPS 31215 HAS SOUS 26066 HAS SOUPS 18779 WITH SCORE 18825.293
AT ITER 3132 NEW BEST:: SOT 75902 SOS 46248 HAS SOPS 31136 HAS SOUS 26042 HAS SOUPS 18700 WITH SCORE 18746.248
AT ITER 3157 NEW BEST:: SOT 75899 SOS 46245 HAS SOPS 31130 HAS SOUS 26062 HAS SOUPS 18694 WITH SCORE 18740.245
AT ITER 3164 NEW BEST:: SOT 75899 SOS 46243 HAS SOPS 31128 HAS SOUS 26060 HAS SOUPS 18692 WITH SCORE 18738.243
AT ITER 3173 NEW BEST:: SOT 75820 SOS 46164 HAS SOPS 31018 HAS SOUS 25981 HAS SOUPS 18582 WITH SCORE 18628.164
AT ITER 3192 NEW BEST:: SOT 75819 SOS 46160 HAS SOPS 31016 HAS SOUS 25971 HAS SOUPS 18580 WITH SCORE 18626.16
AT ITER 3201 NEW BEST:: SOT 75819 SOS 46160 HAS SOPS 31015 HAS SOUS 25970 HAS SOUPS 18579 WITH SCORE 18625.16
AT ITER 3219 NEW BEST:: SOT 75884 SOS 46336 HAS SOPS 31102 HAS SOUS 25793 HAS SOUPS 18402 WITH SCORE 18448.336
AT ITER 3226 NEW BEST:: SOT 75886 SOS 46338 HAS SOPS 31093 HAS SOUS 25795 HAS SOUPS 18393 WITH SCORE 18439.338
AT ITER 3242 NEW BEST:: SOT 75877 SOS 46318 HAS SOPS 31029 HAS SOUS 25787 HAS SOUPS 18385 WITH SCORE 18431.318
AT ITER 3250 NEW BEST:: SOT 75877 SOS 46317 HAS SOPS 31028 HAS SOUS 25786 HAS SOUPS 18384 WITH SCORE 18430.317
AT ITER 3274 NEW BEST:: SOT 75872 SOS 46298 HAS SOPS 31018 HAS SOUS 25735 HAS SOUPS 18374 WITH SCORE 18420.298
AT ITER 3275 NEW BEST:: SOT 75879 SOS 46371 HAS SOPS 30976 HAS SOUS 25704 HAS SOUPS 18332 WITH SCORE 18378.371
AT ITER 3289 NEW BEST:: SOT 75879 SOS 46368 HAS SOPS 30973 HAS SOUS 25701 HAS SOUPS 18329 WITH SCORE 18375.368
AT ITER 3294 NEW BEST:: SOT 75869 SOS 46220 HAS SOPS 30963 HAS SOUS 25619 HAS SOUPS 18319 WITH SCORE 18365.22
AT ITER 3331 NEW BEST:: SOT 75844 SOS 46189 HAS SOPS 30913 HAS SOUS 25585 HAS SOUPS 18269 WITH SCORE 18315.189
AT ITER 3340 NEW BEST:: SOT 75844 SOS 46189 HAS SOPS 30899 HAS SOUS 25585 HAS SOUPS 18255 WITH SCORE 18301.189
AT ITER 3358 NEW BEST:: SOT 76030 SOS 46387 HAS SOPS 31143 HAS SOUS 25451 HAS SOUPS 18144 WITH SCORE 18190.387
AT ITER 3398 NEW BEST:: SOT 76022 SOS 46431 HAS SOPS 31126 HAS SOUS 25464 HAS SOUPS 18127 WITH SCORE 18173.431
AT ITER 3417 NEW BEST:: SOT 76014 SOS 46423 HAS SOPS 31116 HAS SOUS 25456 HAS SOUPS 18117 WITH SCORE 18163.423
AT ITER 3456 NEW BEST:: SOT 75925 SOS 46362 HAS SOPS 31042 HAS SOUS 25368 HAS SOUPS 18029 WITH SCORE 18075.362
AT ITER 3493 NEW BEST:: SOT 75872 SOS 46342 HAS SOPS 30980 HAS SOUS 25428 HAS SOUPS 18015 WITH SCORE 18061.342
AT ITER 3510 NEW BEST:: SOT 75806 SOS 46262 HAS SOPS 30914 HAS SOUS 25262 HAS SOUPS 17885 WITH SCORE 17931.262
AT ITER 3513 NEW BEST:: SOT 75799 SOS 46255 HAS SOPS 30900 HAS SOUS 25255 HAS SOUPS 17871 WITH SCORE 17917.255
AT ITER 3558 NEW BEST:: SOT 75799 SOS 46255 HAS SOPS 30888 HAS SOUS 25255 HAS SOUPS 17859 WITH SCORE 17905.255
AT ITER 3572 NEW BEST:: SOT 75671 SOS 46108 HAS SOPS 30856 HAS SOUS 25088 HAS SOUPS 17803 WITH SCORE 17849.108
AT ITER 3589 NEW BEST:: SOT 75752 SOS 46031 HAS SOPS 30959 HAS SOUS 24905 HAS SOUPS 17766 WITH SCORE 17812.031
AT ITER 3595 NEW BEST:: SOT 75747 SOS 46026 HAS SOPS 30950 HAS SOUS 24900 HAS SOUPS 17757 WITH SCORE 17803.026
AT ITER 3606 NEW BEST:: SOT 75739 SOS 46018 HAS SOPS 30934 HAS SOUS 24892 HAS SOUPS 17741 WITH SCORE 17787.018
AT ITER 3634 NEW BEST:: SOT 75720 SOS 45999 HAS SOPS 30896 HAS SOUS 24873 HAS SOUPS 17703 WITH SCORE 17748.999
AT ITER 3640 NEW BEST:: SOT 75633 SOS 45893 HAS SOPS 30874 HAS SOUS 24870 HAS SOUPS 17700 WITH SCORE 17745.893
AT ITER 3659 NEW BEST:: SOT 75689 SOS 45935 HAS SOPS 30860 HAS SOUS 24856 HAS SOUPS 17686 WITH SCORE 17731.935
AT ITER 3674 NEW BEST:: SOT 75596 SOS 45842 HAS SOPS 30767 HAS SOUS 24763 HAS SOUPS 17593 WITH SCORE 17638.842
AT ITER 3722 NEW BEST:: SOT 75575 SOS 45827 HAS SOPS 30749 HAS SOUS 24718 HAS SOUPS 17548 WITH SCORE 17593.827
AT ITER 3779 NEW BEST:: SOT 75566 SOS 45818 HAS SOPS 30731 HAS SOUS 24709 HAS SOUPS 17530 WITH SCORE 17575.818
AT ITER 3784 NEW BEST:: SOT 75567 SOS 45820 HAS SOPS 30725 HAS SOUS 24703 HAS SOUPS 17524 WITH SCORE 17569.82
AT ITER 3798 NEW BEST:: SOT 75558 SOS 45804 HAS SOPS 30700 HAS SOUS 24678 HAS SOUPS 17499 WITH SCORE 17544.804
AT ITER 3823 NEW BEST:: SOT 75559 SOS 45803 HAS SOPS 30700 HAS SOUS 24678 HAS SOUPS 17499 WITH SCORE 17544.803
AT ITER 3830 NEW BEST:: SOT 75563 SOS 45807 HAS SOPS 30704 HAS SOUS 24659 HAS SOUPS 17480 WITH SCORE 17525.807
AT ITER 3832 NEW BEST:: SOT 75563 SOS 45811 HAS SOPS 30708 HAS SOUS 24656 HAS SOUPS 17477 WITH SCORE 17522.811
AT ITER 3836 NEW BEST:: SOT 75551 SOS 46267 HAS SOPS 31142 HAS SOUS 24654 HAS SOUPS 17475 WITH SCORE 17521.267
AT ITER 3846 NEW BEST:: SOT 75543 SOS 46259 HAS SOPS 31130 HAS SOUS 24646 HAS SOUPS 17463 WITH SCORE 17509.259
AT ITER 3848 NEW BEST:: SOT 75539 SOS 46255 HAS SOPS 31126 HAS SOUS 24642 HAS SOUPS 17459 WITH SCORE 17505.255
AT ITER 3861 NEW BEST:: SOT 75542 SOS 46258 HAS SOPS 31130 HAS SOUS 24629 HAS SOUPS 17447 WITH SCORE 17493.258
AT ITER 3895 NEW BEST:: SOT 75542 SOS 46249 HAS SOPS 31121 HAS SOUS 24628 HAS SOUPS 17446 WITH SCORE 17492.249
AT ITER 3917 NEW BEST:: SOT 75542 SOS 46233 HAS SOPS 31121 HAS SOUS 24619 HAS SOUPS 17446 WITH SCORE 17492.233
AT ITER 3942 NEW BEST:: SOT 75533 SOS 46206 HAS SOPS 31112 HAS SOUS 24610 HAS SOUPS 17437 WITH SCORE 17483.206
AT ITER 3949 NEW BEST:: SOT 75376 SOS 46133 HAS SOPS 30936 HAS SOUS 24550 HAS SOUPS 17293 WITH SCORE 17339.133
AT ITER 3996 NEW BEST:: SOT 75372 SOS 46129 HAS SOPS 30928 HAS SOUS 24515 HAS SOUPS 17285 WITH SCORE 17331.129
AT ITER 4034 NEW BEST:: SOT 75362 SOS 46119 HAS SOPS 30908 HAS SOUS 24505 HAS SOUPS 17265 WITH SCORE 17311.119
AT ITER 4046 NEW BEST:: SOT 75353 SOS 46110 HAS SOPS 30890 HAS SOUS 24496 HAS SOUPS 17247 WITH SCORE 17293.11
AT ITER 4049 NEW BEST:: SOT 75367 SOS 46158 HAS SOPS 31023 HAS SOUS 24490 HAS SOUPS 17241 WITH SCORE 17287.158
AT ITER 4054 NEW BEST:: SOT 75329 SOS 46190 HAS SOPS 30962 HAS SOUS 24548 HAS SOUPS 17180 WITH SCORE 17226.19
AT ITER 4108 NEW BEST:: SOT 75329 SOS 46186 HAS SOPS 30962 HAS SOUS 24560 HAS SOUPS 17180 WITH SCORE 17226.186
AT ITER 4147 NEW BEST:: SOT 75329 SOS 45989 HAS SOPS 30664 HAS SOUS 24464 HAS SOUPS 17084 WITH SCORE 17129.989
AT ITER 4154 NEW BEST:: SOT 75321 SOS 45981 HAS SOPS 30649 HAS SOUS 24456 HAS SOUPS 17069 WITH SCORE 17114.981
AT ITER 4179 NEW BEST:: SOT 75518 SOS 46178 HAS SOPS 30862 HAS SOUS 24397 HAS SOUPS 17026 WITH SCORE 17072.178
AT ITER 4185 NEW BEST:: SOT 75506 SOS 46166 HAS SOPS 30848 HAS SOUS 24385 HAS SOUPS 17012 WITH SCORE 17058.166
AT ITER 4212 NEW BEST:: SOT 75499 SOS 46159 HAS SOPS 30841 HAS SOUS 24378 HAS SOUPS 17005 WITH SCORE 17051.159
AT ITER 4220 NEW BEST:: SOT 75455 SOS 46119 HAS SOPS 30792 HAS SOUS 24327 HAS SOUPS 16954 WITH SCORE 17000.119
AT ITER 4223 NEW BEST:: SOT 75381 SOS 46056 HAS SOPS 30647 HAS SOUS 24179 HAS SOUPS 16806 WITH SCORE 16852.056
AT ITER 4281 NEW BEST:: SOT 75380 SOS 46055 HAS SOPS 30644 HAS SOUS 24178 HAS SOUPS 16803 WITH SCORE 16849.055
AT ITER 4313 NEW BEST:: SOT 75380 SOS 46072 HAS SOPS 30661 HAS SOUS 24176 HAS SOUPS 16801 WITH SCORE 16847.072
AT ITER 4341 NEW BEST:: SOT 75380 SOS 45973 HAS SOPS 30562 HAS SOUS 24172 HAS SOUPS 16797 WITH SCORE 16842.973
AT ITER 4346 NEW BEST:: SOT 75377 SOS 45983 HAS SOPS 30549 HAS SOUS 24185 HAS SOUPS 16784 WITH SCORE 16829.983
AT ITER 4371 NEW BEST:: SOT 75376 SOS 45982 HAS SOPS 30547 HAS SOUS 24184 HAS SOUPS 16782 WITH SCORE 16827.982
AT ITER 4403 NEW BEST:: SOT 75372 SOS 45978 HAS SOPS 30539 HAS SOUS 24180 HAS SOUPS 16774 WITH SCORE 16819.978
AT ITER 4435 NEW BEST:: SOT 75355 SOS 45961 HAS SOPS 30523 HAS SOUS 24163 HAS SOUPS 16758 WITH SCORE 16803.961
AT ITER 4470 NEW BEST:: SOT 75335 SOS 45941 HAS SOPS 30493 HAS SOUS 24143 HAS SOUPS 16728 WITH SCORE 16773.941
AT ITER 4473 NEW BEST:: SOT 75288 SOS 45912 HAS SOPS 30441 HAS SOUS 24114 HAS SOUPS 16676 WITH SCORE 16721.912
AT ITER 4505 NEW BEST:: SOT 75285 SOS 45909 HAS SOPS 30435 HAS SOUS 24112 HAS SOUPS 16670 WITH SCORE 16715.909
AT ITER 4522 NEW BEST:: SOT 75281 SOS 45905 HAS SOPS 30433 HAS SOUS 24108 HAS SOUPS 16668 WITH SCORE 16713.905
AT ITER 4540 NEW BEST:: SOT 75281 SOS 45893 HAS SOPS 30421 HAS SOUS 24108 HAS SOUPS 16668 WITH SCORE 16713.893
AT ITER 4546 NEW BEST:: SOT 75279 SOS 45891 HAS SOPS 30417 HAS SOUS 24106 HAS SOUPS 16664 WITH SCORE 16709.891
AT ITER 4563 NEW BEST:: SOT 75246 SOS 45872 HAS SOPS 30379 HAS SOUS 24135 HAS SOUPS 16654 WITH SCORE 16699.872
AT ITER 4599 NEW BEST:: SOT 75231 SOS 45947 HAS SOPS 30363 HAS SOUS 24200 HAS SOUPS 16638 WITH SCORE 16683.947
AT ITER 4613 NEW BEST:: SOT 75195 SOS 45915 HAS SOPS 30323 HAS SOUS 24128 HAS SOUPS 16566 WITH SCORE 16611.915
AT ITER 4615 NEW BEST:: SOT 75168 SOS 45888 HAS SOPS 30291 HAS SOUS 24101 HAS SOUPS 16534 WITH SCORE 16579.888
AT ITER 4620 NEW BEST:: SOT 75166 SOS 45886 HAS SOPS 30287 HAS SOUS 24099 HAS SOUPS 16530 WITH SCORE 16575.886
AT ITER 4656 NEW BEST:: SOT 75165 SOS 45885 HAS SOPS 30285 HAS SOUS 24098 HAS SOUPS 16528 WITH SCORE 16573.885
AT ITER 4696 NEW BEST:: SOT 75154 SOS 45874 HAS SOPS 30263 HAS SOUS 24087 HAS SOUPS 16506 WITH SCORE 16551.874
AT ITER 4719 NEW BEST:: SOT 75026 SOS 45706 HAS SOPS 30115 HAS SOUS 23959 HAS SOUPS 16378 WITH SCORE 16423.706
AT ITER 4721 NEW BEST:: SOT 75005 SOS 45685 HAS SOPS 30105 HAS SOUS 23938 HAS SOUPS 16368 WITH SCORE 16413.685
AT ITER 4726 NEW BEST:: SOT 74926 SOS 45622 HAS SOPS 30042 HAS SOUS 23866 HAS SOUPS 16296 WITH SCORE 16341.622
AT ITER 4735 NEW BEST:: SOT 74906 SOS 45612 HAS SOPS 30022 HAS SOUS 23893 HAS SOUPS 16296 WITH SCORE 16341.612
AT ITER 4813 NEW BEST:: SOT 74901 SOS 45607 HAS SOPS 30013 HAS SOUS 23884 HAS SOUPS 16287 WITH SCORE 16332.607
AT ITER 4826 NEW BEST:: SOT 74901 SOS 45596 HAS SOPS 30002 HAS SOUS 23873 HAS SOUPS 16276 WITH SCORE 16321.596
AT ITER 4833 NEW BEST:: SOT 74714 SOS 45406 HAS SOPS 29812 HAS SOUS 23703 HAS SOUPS 16106 WITH SCORE 16151.406
AT ITER 4874 NEW BEST:: SOT 74674 SOS 45366 HAS SOPS 29754 HAS SOUS 23645 HAS SOUPS 16048 WITH SCORE 16093.366
AT ITER 4879 NEW BEST:: SOT 74673 SOS 45365 HAS SOPS 29752 HAS SOUS 23644 HAS SOUPS 16046 WITH SCORE 16091.365
AT ITER 4920 NEW BEST:: SOT 74623 SOS 45315 HAS SOPS 29692 HAS SOUS 23584 HAS SOUPS 15986 WITH SCORE 16031.315
AT ITER 5013 NEW BEST:: SOT 75062 SOS 45928 HAS SOPS 30550 HAS SOUS 23366 HAS SOUPS 15964 WITH SCORE 16009.928
AT ITER 5019 NEW BEST:: SOT 75048 SOS 45829 HAS SOPS 30451 HAS SOUS 23345 HAS SOUPS 15943 WITH SCORE 15988.829
AT ITER 5062 NEW BEST:: SOT 75048 SOS 45829 HAS SOPS 30447 HAS SOUS 23341 HAS SOUPS 15939 WITH SCORE 15984.829
AT ITER 5106 NEW BEST:: SOT 75032 SOS 45813 HAS SOPS 30441 HAS SOUS 23325 HAS SOUPS 15933 WITH SCORE 15978.813
AT ITER 5114 NEW BEST:: SOT 75027 SOS 45801 HAS SOPS 30431 HAS SOUS 23302 HAS SOUPS 15923 WITH SCORE 15968.801
AT ITER 5126 NEW BEST:: SOT 75023 SOS 45797 HAS SOPS 30423 HAS SOUS 23298 HAS SOUPS 15915 WITH SCORE 15960.797
AT ITER 5159 NEW BEST:: SOT 74984 SOS 45680 HAS SOPS 30384 HAS SOUS 23236 HAS SOUPS 15912 WITH SCORE 15957.68
AT ITER 5287 NEW BEST:: SOT 75129 SOS 46029 HAS SOPS 30550 HAS SOUS 23074 HAS SOUPS 15743 WITH SCORE 15789.029
AT ITER 5337 NEW BEST:: SOT 75128 SOS 46028 HAS SOPS 30548 HAS SOUS 23073 HAS SOUPS 15741 WITH SCORE 15787.028
AT ITER 5381 NEW BEST:: SOT 75128 SOS 46027 HAS SOPS 30545 HAS SOUS 23070 HAS SOUPS 15738 WITH SCORE 15784.027
AT ITER 5411 NEW BEST:: SOT 75120 SOS 46019 HAS SOPS 30533 HAS SOUS 23070 HAS SOUPS 15738 WITH SCORE 15784.019
AT ITER 5419 NEW BEST:: SOT 75050 SOS 45949 HAS SOPS 30463 HAS SOUS 23000 HAS SOUPS 15668 WITH SCORE 15713.949
AT ITER 5427 NEW BEST:: SOT 75050 SOS 45914 HAS SOPS 30428 HAS SOUS 23000 HAS SOUPS 15668 WITH SCORE 15713.914
AT ITER 5444 NEW BEST:: SOT 75039 SOS 45903 HAS SOPS 30427 HAS SOUS 22989 HAS SOUPS 15667 WITH SCORE 15712.903
AT ITER 5522 NEW BEST:: SOT 75023 SOS 45893 HAS SOPS 30401 HAS SOUS 22960 HAS SOUPS 15638 WITH SCORE 15683.893
AT ITER 5529 NEW BEST:: SOT 75005 SOS 45887 HAS SOPS 30383 HAS SOUS 22966 HAS SOUPS 15620 WITH SCORE 15665.887
AT ITER 5534 NEW BEST:: SOT 75008 SOS 45893 HAS SOPS 30389 HAS SOUS 22960 HAS SOUPS 15614 WITH SCORE 15659.893
AT ITER 5617 NEW BEST:: SOT 75046 SOS 45920 HAS SOPS 30424 HAS SOUS 22907 HAS SOUPS 15564 WITH SCORE 15609.92
AT ITER 5623 NEW BEST:: SOT 75046 SOS 45755 HAS SOPS 30259 HAS SOUS 22902 HAS SOUPS 15559 WITH SCORE 15604.755
AT ITER 5636 NEW BEST:: SOT 75040 SOS 45749 HAS SOPS 30253 HAS SOUS 22896 HAS SOUPS 15553 WITH SCORE 15598.749
AT ITER 5678 NEW BEST:: SOT 75038 SOS 45747 HAS SOPS 30249 HAS SOUS 22894 HAS SOUPS 15549 WITH SCORE 15594.747
AT ITER 5699 NEW BEST:: SOT 75022 SOS 45725 HAS SOPS 30223 HAS SOUS 22868 HAS SOUPS 15523 WITH SCORE 15568.725
AT ITER 5703 NEW BEST:: SOT 75007 SOS 45701 HAS SOPS 30199 HAS SOUS 22850 HAS SOUPS 15505 WITH SCORE 15550.701
AT ITER 5781 NEW BEST:: SOT 74993 SOS 45687 HAS SOPS 30185 HAS SOUS 22836 HAS SOUPS 15491 WITH SCORE 15536.687
AT ITER 5808 NEW BEST:: SOT 74986 SOS 45680 HAS SOPS 30170 HAS SOUS 22829 HAS SOUPS 15476 WITH SCORE 15521.68
AT ITER 5824 NEW BEST:: SOT 74991 SOS 45685 HAS SOPS 30169 HAS SOUS 22838 HAS SOUPS 15475 WITH SCORE 15520.685
AT ITER 5826 NEW BEST:: SOT 74985 SOS 45679 HAS SOPS 30160 HAS SOUS 22832 HAS SOUPS 15466 WITH SCORE 15511.679
AT ITER 5831 NEW BEST:: SOT 74978 SOS 45671 HAS SOPS 30153 HAS SOUS 22825 HAS SOUPS 15459 WITH SCORE 15504.671
AT ITER 5894 NEW BEST:: SOT 74977 SOS 45670 HAS SOPS 30151 HAS SOUS 22824 HAS SOUPS 15457 WITH SCORE 15502.67
AT ITER 5901 NEW BEST:: SOT 74969 SOS 45662 HAS SOPS 30145 HAS SOUS 22810 HAS SOUPS 15451 WITH SCORE 15496.662
AT ITER 5926 NEW BEST:: SOT 74957 SOS 45644 HAS SOPS 30127 HAS SOUS 22798 HAS SOUPS 15439 WITH SCORE 15484.644
AT ITER 5936 NEW BEST:: SOT 75119 SOS 45795 HAS SOPS 30289 HAS SOUS 22784 HAS SOUPS 15425 WITH SCORE 15470.795
AT ITER 5982 NEW BEST:: SOT 75108 SOS 45589 HAS SOPS 30054 HAS SOUS 22746 HAS SOUPS 15367 WITH SCORE 15412.589
AT ITER 6011 NEW BEST:: SOT 75108 SOS 45561 HAS SOPS 30026 HAS SOUS 22746 HAS SOUPS 15367 WITH SCORE 15412.561
AT ITER 6055 NEW BEST:: SOT 75103 SOS 45556 HAS SOPS 30016 HAS SOUS 22741 HAS SOUPS 15357 WITH SCORE 15402.556
AT ITER 6074 NEW BEST:: SOT 75094 SOS 45552 HAS SOPS 30016 HAS SOUS 22741 HAS SOUPS 15357 WITH SCORE 15402.552
AT ITER 6094 NEW BEST:: SOT 75094 SOS 45237 HAS SOPS 29700 HAS SOUS 22705 HAS SOUPS 15321 WITH SCORE 15366.237
AT ITER 6098 NEW BEST:: SOT 75091 SOS 45234 HAS SOPS 29694 HAS SOUS 22702 HAS SOUPS 15315 WITH SCORE 15360.234
AT ITER 6167 NEW BEST:: SOT 75183 SOS 45334 HAS SOPS 29803 HAS SOUS 22697 HAS SOUPS 15312 WITH SCORE 15357.334
AT ITER 6179 NEW BEST:: SOT 75212 SOS 45363 HAS SOPS 29832 HAS SOUS 22678 HAS SOUPS 15293 WITH SCORE 15338.363
AT ITER 6203 NEW BEST:: SOT 75212 SOS 45308 HAS SOPS 29760 HAS SOUS 22586 HAS SOUPS 15201 WITH SCORE 15246.308
AT ITER 6206 NEW BEST:: SOT 75212 SOS 45318 HAS SOPS 29774 HAS SOUS 22570 HAS SOUPS 15191 WITH SCORE 15236.318
AT ITER 6277 NEW BEST:: SOT 75211 SOS 45319 HAS SOPS 29773 HAS SOUS 22573 HAS SOUPS 15190 WITH SCORE 15235.319
AT ITER 6300 NEW BEST:: SOT 75181 SOS 45259 HAS SOPS 29713 HAS SOUS 22528 HAS SOUPS 15145 WITH SCORE 15190.259
AT ITER 6394 NEW BEST:: SOT 75175 SOS 45253 HAS SOPS 29701 HAS SOUS 22522 HAS SOUPS 15133 WITH SCORE 15178.253
AT ITER 6419 NEW BEST:: SOT 75175 SOS 45249 HAS SOPS 29696 HAS SOUS 22517 HAS SOUPS 15128 WITH SCORE 15173.249
AT ITER 6452 NEW BEST:: SOT 75178 SOS 45143 HAS SOPS 29411 HAS SOUS 22330 HAS SOUPS 14941 WITH SCORE 14986.143
AT ITER 6468 NEW BEST:: SOT 75175 SOS 45140 HAS SOPS 29405 HAS SOUS 22327 HAS SOUPS 14935 WITH SCORE 14980.14
AT ITER 6494 NEW BEST:: SOT 75172 SOS 45121 HAS SOPS 29405 HAS SOUS 22322 HAS SOUPS 14935 WITH SCORE 14980.121
AT ITER 6524 NEW BEST:: SOT 75172 SOS 45132 HAS SOPS 29416 HAS SOUS 22317 HAS SOUPS 14930 WITH SCORE 14975.132
AT ITER 6595 NEW BEST:: SOT 75176 SOS 45136 HAS SOPS 29420 HAS SOUS 22309 HAS SOUPS 14922 WITH SCORE 14967.136
AT ITER 6648 NEW BEST:: SOT 75234 SOS 45169 HAS SOPS 29465 HAS SOUS 22252 HAS SOUPS 14868 WITH SCORE 14913.169
AT ITER 6654 NEW BEST:: SOT 75225 SOS 45160 HAS SOPS 29456 HAS SOUS 22243 HAS SOUPS 14859 WITH SCORE 14904.16
AT ITER 6679 NEW BEST:: SOT 75218 SOS 45153 HAS SOPS 29442 HAS SOUS 22236 HAS SOUPS 14845 WITH SCORE 14890.153
AT ITER 6680 NEW BEST:: SOT 75214 SOS 45173 HAS SOPS 29432 HAS SOUS 22256 HAS SOUPS 14835 WITH SCORE 14880.173
AT ITER 6716 NEW BEST:: SOT 75212 SOS 45171 HAS SOPS 29429 HAS SOUS 22254 HAS SOUPS 14832 WITH SCORE 14877.171
AT ITER 6717 NEW BEST:: SOT 75231 SOS 45178 HAS SOPS 29413 HAS SOUS 22239 HAS SOUPS 14816 WITH SCORE 14861.178
AT ITER 6796 NEW BEST:: SOT 75215 SOS 45162 HAS SOPS 29412 HAS SOUS 22223 HAS SOUPS 14815 WITH SCORE 14860.162
AT ITER 6840 NEW BEST:: SOT 75211 SOS 45186 HAS SOPS 29324 HAS SOUS 22121 HAS SOUPS 14713 WITH SCORE 14758.186
AT ITER 6943 NEW BEST:: SOT 75148 SOS 45161 HAS SOPS 29299 HAS SOUS 22077 HAS SOUPS 14669 WITH SCORE 14714.161
AT ITER 6988 NEW BEST:: SOT 75147 SOS 45159 HAS SOPS 29297 HAS SOUS 22075 HAS SOUPS 14667 WITH SCORE 14712.159
AT ITER 6993 NEW BEST:: SOT 75145 SOS 45157 HAS SOPS 29293 HAS SOUS 22073 HAS SOUPS 14663 WITH SCORE 14708.157
AT ITER 7015 NEW BEST:: SOT 75163 SOS 45175 HAS SOPS 29249 HAS SOUS 22029 HAS SOUPS 14619 WITH SCORE 14664.175
AT ITER 7051 NEW BEST:: SOT 75184 SOS 45052 HAS SOPS 29180 HAS SOUS 22023 HAS SOUPS 14615 WITH SCORE 14660.052
AT ITER 7131 NEW BEST:: SOT 75184 SOS 45037 HAS SOPS 29165 HAS SOUS 22023 HAS SOUPS 14615 WITH SCORE 14660.037
AT ITER 7223 NEW BEST:: SOT 75163 SOS 45012 HAS SOPS 29140 HAS SOUS 22000 HAS SOUPS 14592 WITH SCORE 14637.012
AT ITER 7230 NEW BEST:: SOT 75163 SOS 45012 HAS SOPS 29136 HAS SOUS 22000 HAS SOUPS 14588 WITH SCORE 14633.012
AT ITER 7242 NEW BEST:: SOT 75162 SOS 45011 HAS SOPS 29135 HAS SOUS 21999 HAS SOUPS 14587 WITH SCORE 14632.011
AT ITER 7257 NEW BEST:: SOT 75161 SOS 45010 HAS SOPS 29133 HAS SOUS 21998 HAS SOUPS 14585 WITH SCORE 14630.01
AT ITER 7260 NEW BEST:: SOT 75133 SOS 44985 HAS SOPS 29109 HAS SOUS 21969 HAS SOUPS 14556 WITH SCORE 14600.985
AT ITER 7268 NEW BEST:: SOT 74860 SOS 44627 HAS SOPS 28665 HAS SOUS 21981 HAS SOUPS 14482 WITH SCORE 14526.627
AT ITER 7308 NEW BEST:: SOT 74846 SOS 44613 HAS SOPS 28637 HAS SOUS 21967 HAS SOUPS 14454 WITH SCORE 14498.613
AT ITER 7316 NEW BEST:: SOT 74836 SOS 44593 HAS SOPS 28627 HAS SOUS 21867 HAS SOUPS 14444 WITH SCORE 14488.593
AT ITER 7342 NEW BEST:: SOT 74829 SOS 44586 HAS SOPS 28620 HAS SOUS 21860 HAS SOUPS 14437 WITH SCORE 14481.586
AT ITER 7366 NEW BEST:: SOT 74829 SOS 44583 HAS SOPS 28617 HAS SOUS 21857 HAS SOUPS 14434 WITH SCORE 14478.583
AT ITER 7436 NEW BEST:: SOT 74829 SOS 44583 HAS SOPS 28617 HAS SOUS 21845 HAS SOUPS 14422 WITH SCORE 14466.583
AT ITER 7475 NEW BEST:: SOT 74826 SOS 44580 HAS SOPS 28611 HAS SOUS 21842 HAS SOUPS 14416 WITH SCORE 14460.58
AT ITER 7523 NEW BEST:: SOT 74825 SOS 44579 HAS SOPS 28609 HAS SOUS 21841 HAS SOUPS 14414 WITH SCORE 14458.579
AT ITER 7536 NEW BEST:: SOT 74825 SOS 44579 HAS SOPS 28588 HAS SOUS 21817 HAS SOUPS 14393 WITH SCORE 14437.579
AT ITER 7561 NEW BEST:: SOT 74824 SOS 44578 HAS SOPS 28586 HAS SOUS 21816 HAS SOUPS 14391 WITH SCORE 14435.578
AT ITER 7605 NEW BEST:: SOT 74820 SOS 44574 HAS SOPS 28578 HAS SOUS 21812 HAS SOUPS 14383 WITH SCORE 14427.574
AT ITER 7636 NEW BEST:: SOT 74711 SOS 44548 HAS SOPS 28451 HAS SOUS 21812 HAS SOUPS 14316 WITH SCORE 14360.548
AT ITER 7637 NEW BEST:: SOT 74711 SOS 44277 HAS SOPS 28215 HAS SOUS 21738 HAS SOUPS 14242 WITH SCORE 14286.277
AT ITER 7650 NEW BEST:: SOT 74766 SOS 43917 HAS SOPS 27891 HAS SOUS 21725 HAS SOUPS 14229 WITH SCORE 14272.917
AT ITER 7667 NEW BEST:: SOT 74761 SOS 43912 HAS SOPS 27885 HAS SOUS 21720 HAS SOUPS 14223 WITH SCORE 14266.912
AT ITER 7725 NEW BEST:: SOT 74757 SOS 43908 HAS SOPS 27881 HAS SOUS 21716 HAS SOUPS 14219 WITH SCORE 14262.908
AT ITER 7791 NEW BEST:: SOT 74726 SOS 43883 HAS SOPS 27829 HAS SOUS 21703 HAS SOUPS 14203 WITH SCORE 14246.883
AT ITER 7799 NEW BEST:: SOT 74773 SOS 43927 HAS SOPS 27878 HAS SOUS 21683 HAS SOUPS 14188 WITH SCORE 14231.927
AT ITER 7803 NEW BEST:: SOT 74769 SOS 43923 HAS SOPS 27877 HAS SOUS 21679 HAS SOUPS 14187 WITH SCORE 14230.923
AT ITER 7860 NEW BEST:: SOT 74769 SOS 44016 HAS SOPS 27872 HAS SOUS 21708 HAS SOUPS 14182 WITH SCORE 14226.016
AT ITER 7900 NEW BEST:: SOT 74769 SOS 44016 HAS SOPS 27871 HAS SOUS 21708 HAS SOUPS 14181 WITH SCORE 14225.016
AT ITER 7924 NEW BEST:: SOT 74749 SOS 44004 HAS SOPS 27851 HAS SOUS 21724 HAS SOUPS 14177 WITH SCORE 14221.004
AT ITER 7964 NEW BEST:: SOT 74731 SOS 43993 HAS SOPS 27830 HAS SOUS 21704 HAS SOUPS 14157 WITH SCORE 14200.993
AT ITER 7971 NEW BEST:: SOT 74699 SOS 43981 HAS SOPS 27788 HAS SOUS 21772 HAS SOUPS 14155 WITH SCORE 14198.981
AT ITER 8018 NEW BEST:: SOT 74791 SOS 44046 HAS SOPS 27882 HAS SOUS 21686 HAS SOUPS 14082 WITH SCORE 14126.046
AT ITER 8064 NEW BEST:: SOT 74785 SOS 44040 HAS SOPS 27881 HAS SOUS 21680 HAS SOUPS 14081 WITH SCORE 14125.04
AT ITER 8088 NEW BEST:: SOT 74764 SOS 44025 HAS SOPS 27854 HAS SOUS 21707 HAS SOUPS 14078 WITH SCORE 14122.025
AT ITER 8164 NEW BEST:: SOT 74671 SOS 43932 HAS SOPS 27761 HAS SOUS 21666 HAS SOUPS 14037 WITH SCORE 14080.932
AT ITER 8182 NEW BEST:: SOT 74668 SOS 43916 HAS SOPS 27761 HAS SOUS 21654 HAS SOUPS 14037 WITH SCORE 14080.916
AT ITER 8224 NEW BEST:: SOT 74658 SOS 43906 HAS SOPS 27741 HAS SOUS 21644 HAS SOUPS 14017 WITH SCORE 14060.906
AT ITER 8231 NEW BEST:: SOT 74654 SOS 43870 HAS SOPS 27741 HAS SOUS 21636 HAS SOUPS 14017 WITH SCORE 14060.87
AT ITER 8241 NEW BEST:: SOT 74624 SOS 43802 HAS SOPS 27665 HAS SOUS 21588 HAS SOUPS 13969 WITH SCORE 14012.802
AT ITER 8269 NEW BEST:: SOT 74618 SOS 43796 HAS SOPS 27653 HAS SOUS 21579 HAS SOUPS 13957 WITH SCORE 14000.796
AT ITER 8334 NEW BEST:: SOT 74618 SOS 43771 HAS SOPS 27652 HAS SOUS 21554 HAS SOUPS 13956 WITH SCORE 13999.771
AT ITER 8351 NEW BEST:: SOT 74605 SOS 43748 HAS SOPS 27636 HAS SOUS 21531 HAS SOUPS 13940 WITH SCORE 13983.748
AT ITER 8352 NEW BEST:: SOT 74612 SOS 43754 HAS SOPS 27644 HAS SOUS 21522 HAS SOUPS 13932 WITH SCORE 13975.754
AT ITER 8390 NEW BEST:: SOT 74584 SOS 43715 HAS SOPS 27640 HAS SOUS 21518 HAS SOUPS 13928 WITH SCORE 13971.715
AT ITER 8394 NEW BEST:: SOT 74582 SOS 43713 HAS SOPS 27640 HAS SOUS 21516 HAS SOUPS 13928 WITH SCORE 13971.713
AT ITER 8449 NEW BEST:: SOT 74481 SOS 43612 HAS SOPS 27520 HAS SOUS 21415 HAS SOUPS 13808 WITH SCORE 13851.612
AT ITER 8573 NEW BEST:: SOT 74481 SOS 43595 HAS SOPS 27503 HAS SOUS 21414 HAS SOUPS 13807 WITH SCORE 13850.595
AT ITER 8580 NEW BEST:: SOT 74425 SOS 43539 HAS SOPS 27430 HAS SOUS 21359 HAS SOUPS 13742 WITH SCORE 13785.539
AT ITER 8640 NEW BEST:: SOT 74440 SOS 43558 HAS SOPS 27445 HAS SOUS 21358 HAS SOUPS 13741 WITH SCORE 13784.558
AT ITER 8664 NEW BEST:: SOT 74440 SOS 43559 HAS SOPS 27446 HAS SOUS 21355 HAS SOUPS 13738 WITH SCORE 13781.559
AT ITER 8721 NEW BEST:: SOT 74437 SOS 43556 HAS SOPS 27440 HAS SOUS 21352 HAS SOUPS 13732 WITH SCORE 13775.556
AT ITER 8759 NEW BEST:: SOT 74416 SOS 43524 HAS SOPS 27384 HAS SOUS 21297 HAS SOUPS 13677 WITH SCORE 13720.524
AT ITER 8766 NEW BEST:: SOT 74414 SOS 43522 HAS SOPS 27380 HAS SOUS 21295 HAS SOUPS 13673 WITH SCORE 13716.522
AT ITER 8809 NEW BEST:: SOT 74406 SOS 43514 HAS SOPS 27369 HAS SOUS 21287 HAS SOUPS 13662 WITH SCORE 13705.514
AT ITER 8839 NEW BEST:: SOT 74269 SOS 43474 HAS SOPS 27232 HAS SOUS 21515 HAS SOUPS 13629 WITH SCORE 13672.474
AT ITER 8878 NEW BEST:: SOT 74269 SOS 43472 HAS SOPS 27230 HAS SOUS 21514 HAS SOUPS 13628 WITH SCORE 13671.472
AT ITER 8932 NEW BEST:: SOT 74330 SOS 43487 HAS SOPS 27163 HAS SOUS 21568 HAS SOUPS 13582 WITH SCORE 13625.487
AT ITER 8956 NEW BEST:: SOT 74218 SOS 43405 HAS SOPS 27092 HAS SOUS 21538 HAS SOUPS 13552 WITH SCORE 13595.405
AT ITER 9023 NEW BEST:: SOT 74147 SOS 43498 HAS SOPS 27189 HAS SOUS 21507 HAS SOUPS 13521 WITH SCORE 13564.498
AT ITER 9046 NEW BEST:: SOT 74141 SOS 43510 HAS SOPS 27183 HAS SOUS 21501 HAS SOUPS 13515 WITH SCORE 13558.51
AT ITER 9187 NEW BEST:: SOT 74137 SOS 43506 HAS SOPS 27175 HAS SOUS 21497 HAS SOUPS 13507 WITH SCORE 13550.506
AT ITER 9190 NEW BEST:: SOT 74137 SOS 43422 HAS SOPS 27091 HAS SOUS 21497 HAS SOUPS 13507 WITH SCORE 13550.422
AT ITER 9191 NEW BEST:: SOT 74137 SOS 43422 HAS SOPS 27091 HAS SOUS 21496 HAS SOUPS 13506 WITH SCORE 13549.422
AT ITER 9200 NEW BEST:: SOT 74133 SOS 43418 HAS SOPS 27083 HAS SOUS 21492 HAS SOUPS 13498 WITH SCORE 13541.418
AT ITER 9254 NEW BEST:: SOT 74106 SOS 43391 HAS SOPS 27056 HAS SOUS 21465 HAS SOUPS 13471 WITH SCORE 13514.391
AT ITER 9320 NEW BEST:: SOT 74079 SOS 43370 HAS SOPS 27013 HAS SOUS 21454 HAS SOUPS 13458 WITH SCORE 13501.37
AT ITER 9330 NEW BEST:: SOT 74078 SOS 43369 HAS SOPS 27011 HAS SOUS 21453 HAS SOUPS 13456 WITH SCORE 13499.369
AT ITER 9344 NEW BEST:: SOT 74078 SOS 43327 HAS SOPS 26969 HAS SOUS 21453 HAS SOUPS 13456 WITH SCORE 13499.327
AT ITER 9362 NEW BEST:: SOT 74030 SOS 43309 HAS SOPS 26959 HAS SOUS 21428 HAS SOUPS 13431 WITH SCORE 13474.309
AT ITER 9376 NEW BEST:: SOT 74030 SOS 43309 HAS SOPS 26957 HAS SOUS 21428 HAS SOUPS 13429 WITH SCORE 13472.309
AT ITER 9382 NEW BEST:: SOT 74029 SOS 43308 HAS SOPS 26955 HAS SOUS 21427 HAS SOUPS 13427 WITH SCORE 13470.308
AT ITER 9465 NEW BEST:: SOT 74029 SOS 43308 HAS SOPS 26946 HAS SOUS 21418 HAS SOUPS 13418 WITH SCORE 13461.308
AT ITER 9614 NEW BEST:: SOT 73980 SOS 43284 HAS SOPS 26898 HAS SOUS 21394 HAS SOUPS 13370 WITH SCORE 13413.284
AT ITER 9636 NEW BEST:: SOT 73979 SOS 43283 HAS SOPS 26896 HAS SOUS 21393 HAS SOUPS 13368 WITH SCORE 13411.283
AT ITER 9658 NEW BEST:: SOT 73973 SOS 43274 HAS SOPS 26887 HAS SOUS 21392 HAS SOUPS 13367 WITH SCORE 13410.274
AT ITER 9678 NEW BEST:: SOT 73973 SOS 43325 HAS SOPS 26938 HAS SOUS 21383 HAS SOUPS 13358 WITH SCORE 13401.325
AT ITER 9689 NEW BEST:: SOT 73953 SOS 43125 HAS SOPS 26926 HAS SOUS 21309 HAS SOUPS 13346 WITH SCORE 13389.125
AT ITER 9773 NEW BEST:: SOT 73893 SOS 43065 HAS SOPS 26854 HAS SOUS 21240 HAS SOUPS 13274 WITH SCORE 13317.065
AT ITER 9794 NEW BEST:: SOT 73893 SOS 43200 HAS SOPS 26830 HAS SOUS 21297 HAS SOUPS 13250 WITH SCORE 13293.2
AT ITER 9834 NEW BEST:: SOT 73893 SOS 43142 HAS SOPS 26772 HAS SOUS 21291 HAS SOUPS 13244 WITH SCORE 13287.142
AT ITER 9859 NEW BEST:: SOT 73885 SOS 43134 HAS SOPS 26756 HAS SOUS 21283 HAS SOUPS 13228 WITH SCORE 13271.134
AT ITER 9875 NEW BEST:: SOT 73892 SOS 43131 HAS SOPS 26753 HAS SOUS 21280 HAS SOUPS 13225 WITH SCORE 13268.131
AT ITER 9960 NEW BEST:: SOT 73891 SOS 43130 HAS SOPS 26750 HAS SOUS 21279 HAS SOUPS 13222 WITH SCORE 13265.13
AT ITER 9993 NEW BEST:: SOT 73829 SOS 43068 HAS SOPS 26688 HAS SOUS 21217 HAS SOUPS 13160 WITH SCORE 13203.068

BK_STOP 1678655369709

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 482 Killed ${SMART}/smart ${INPUT_SM}

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="LamportFastMutEx-COL-8"
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 LamportFastMutEx-COL-8, 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 r235-tall-167856421700392"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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