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.r299-tall-167873953300720.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 PolyORBNT-PT-S05J20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953300720
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.0M
-rw-r--r-- 1 mcc users 18K Feb 25 23:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 25 23:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 67K Feb 25 23:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 294K Feb 25 23:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 8.5K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 35K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 33K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 106K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 37K Feb 25 23:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 197K Feb 25 23:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 83K Feb 25 23:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 402K Feb 25 23:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.6M 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 1679536496968

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=PolyORBNT-PT-S05J20
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 01:54:58] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 01:54:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 01:54:58] [INFO ] Load time of PNML (sax parser for PT used): 193 ms
[2023-03-23 01:54:58] [INFO ] Transformed 349 places.
[2023-03-23 01:54:58] [INFO ] Transformed 1210 transitions.
[2023-03-23 01:54:58] [INFO ] Parsed PT model containing 349 places and 1210 transitions and 8824 arcs in 290 ms.
[2023-03-23 01:54:58] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 349 places, 1210 transitions and 8824 arcs took 25 ms.
Total runtime 343 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S05J20
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: 349 places, 1210 transitions, 8824 arcs.
AT ITER 0 NEW BEST:: SOT 303407 SOS 141049 HAS SOPS 141049 HAS SOUS 57738 HAS SOUPS 57738 WITH SCORE 57879.049
AT ITER 10 NEW BEST:: SOT 303341 SOS 140983 HAS SOPS 140983 HAS SOUS 57672 HAS SOUPS 57672 WITH SCORE 57812.983
AT ITER 12 NEW BEST:: SOT 303302 SOS 140977 HAS SOPS 140977 HAS SOUS 57638 HAS SOUPS 57638 WITH SCORE 57778.977
AT ITER 16 NEW BEST:: SOT 303269 SOS 140985 HAS SOPS 140985 HAS SOUS 57623 HAS SOUPS 57623 WITH SCORE 57763.985
AT ITER 21 NEW BEST:: SOT 303256 SOS 140955 HAS SOPS 140955 HAS SOUS 57525 HAS SOUPS 57525 WITH SCORE 57665.955
AT ITER 33 NEW BEST:: SOT 303244 SOS 140948 HAS SOPS 140948 HAS SOUS 57518 HAS SOUPS 57518 WITH SCORE 57658.948
AT ITER 36 NEW BEST:: SOT 303182 SOS 140886 HAS SOPS 140886 HAS SOUS 57456 HAS SOUPS 57456 WITH SCORE 57596.886
AT ITER 47 NEW BEST:: SOT 303182 SOS 140886 HAS SOPS 140886 HAS SOUS 57432 HAS SOUPS 57432 WITH SCORE 57572.886
AT ITER 54 NEW BEST:: SOT 303235 SOS 140927 HAS SOPS 140927 HAS SOUS 57357 HAS SOUPS 57357 WITH SCORE 57497.927
AT ITER 63 NEW BEST:: SOT 303235 SOS 140927 HAS SOPS 140927 HAS SOUS 57318 HAS SOUPS 57318 WITH SCORE 57458.927
AT ITER 68 NEW BEST:: SOT 303412 SOS 141028 HAS SOPS 141028 HAS SOUS 57191 HAS SOUPS 57191 WITH SCORE 57332.028
AT ITER 80 NEW BEST:: SOT 303412 SOS 141028 HAS SOPS 141028 HAS SOUS 57091 HAS SOUPS 57091 WITH SCORE 57232.028
AT ITER 84 NEW BEST:: SOT 303412 SOS 141014 HAS SOPS 141014 HAS SOUS 57035 HAS SOUPS 57035 WITH SCORE 57176.014
AT ITER 100 NEW BEST:: SOT 303497 SOS 141155 HAS SOPS 141155 HAS SOUS 57010 HAS SOUPS 57010 WITH SCORE 57151.155
AT ITER 103 NEW BEST:: SOT 303481 SOS 141155 HAS SOPS 141155 HAS SOUS 56998 HAS SOUPS 56998 WITH SCORE 57139.155
AT ITER 107 NEW BEST:: SOT 303465 SOS 142037 HAS SOPS 141417 HAS SOUS 57038 HAS SOUPS 56914 WITH SCORE 57056.037
AT ITER 110 NEW BEST:: SOT 303436 SOS 142019 HAS SOPS 141399 HAS SOUS 57008 HAS SOUPS 56884 WITH SCORE 57026.019
AT ITER 118 NEW BEST:: SOT 302279 SOS 140873 HAS SOPS 140253 HAS SOUS 55862 HAS SOUPS 55738 WITH SCORE 55878.873
AT ITER 137 NEW BEST:: SOT 302270 SOS 140855 HAS SOPS 140235 HAS SOUS 55844 HAS SOUPS 55720 WITH SCORE 55860.855
AT ITER 158 NEW BEST:: SOT 302270 SOS 140855 HAS SOPS 140235 HAS SOUS 55786 HAS SOUPS 55662 WITH SCORE 55802.855
AT ITER 171 NEW BEST:: SOT 302248 SOS 140796 HAS SOPS 140176 HAS SOUS 55579 HAS SOUPS 55455 WITH SCORE 55595.796
AT ITER 177 NEW BEST:: SOT 302201 SOS 140679 HAS SOPS 140059 HAS SOUS 55210 HAS SOUPS 55086 WITH SCORE 55226.679
AT ITER 190 NEW BEST:: SOT 299684 SOS 155715 HAS SOPS 155095 HAS SOUS 53095 HAS SOUPS 52971 WITH SCORE 53126.715
AT ITER 191 NEW BEST:: SOT 299660 SOS 155703 HAS SOPS 155083 HAS SOUS 53063 HAS SOUPS 52939 WITH SCORE 53094.703
AT ITER 194 NEW BEST:: SOT 299691 SOS 155737 HAS SOPS 155117 HAS SOUS 52946 HAS SOUPS 52822 WITH SCORE 52977.737
AT ITER 196 NEW BEST:: SOT 299591 SOS 155637 HAS SOPS 155017 HAS SOUS 52846 HAS SOUPS 52722 WITH SCORE 52877.637
AT ITER 206 NEW BEST:: SOT 299591 SOS 155628 HAS SOPS 155008 HAS SOUS 52837 HAS SOUPS 52713 WITH SCORE 52868.628
AT ITER 210 NEW BEST:: SOT 299579 SOS 155604 HAS SOPS 154984 HAS SOUS 52825 HAS SOUPS 52701 WITH SCORE 52856.604
AT ITER 213 NEW BEST:: SOT 299524 SOS 155584 HAS SOPS 154964 HAS SOUS 52776 HAS SOUPS 52652 WITH SCORE 52807.584
AT ITER 221 NEW BEST:: SOT 299430 SOS 155490 HAS SOPS 154870 HAS SOUS 52682 HAS SOUPS 52558 WITH SCORE 52713.49
AT ITER 223 NEW BEST:: SOT 299430 SOS 155490 HAS SOPS 154870 HAS SOUS 52648 HAS SOUPS 52524 WITH SCORE 52679.49
AT ITER 228 NEW BEST:: SOT 299401 SOS 155447 HAS SOPS 154827 HAS SOUS 52404 HAS SOUPS 52280 WITH SCORE 52435.447
AT ITER 233 NEW BEST:: SOT 299398 SOS 155423 HAS SOPS 154803 HAS SOUS 52346 HAS SOUPS 52222 WITH SCORE 52377.423
AT ITER 235 NEW BEST:: SOT 299353 SOS 155422 HAS SOPS 154802 HAS SOUS 52275 HAS SOUPS 52151 WITH SCORE 52306.422
AT ITER 236 NEW BEST:: SOT 299325 SOS 155348 HAS SOPS 154728 HAS SOUS 51857 HAS SOUPS 51733 WITH SCORE 51888.348
AT ITER 242 NEW BEST:: SOT 299325 SOS 155348 HAS SOPS 154728 HAS SOUS 51849 HAS SOUPS 51725 WITH SCORE 51880.348
AT ITER 247 NEW BEST:: SOT 299300 SOS 155289 HAS SOPS 154669 HAS SOUS 51676 HAS SOUPS 51552 WITH SCORE 51707.289
AT ITER 257 NEW BEST:: SOT 299291 SOS 155280 HAS SOPS 154660 HAS SOUS 51667 HAS SOUPS 51543 WITH SCORE 51698.28
AT ITER 281 NEW BEST:: SOT 299539 SOS 155489 HAS SOPS 154869 HAS SOUS 51610 HAS SOUPS 51486 WITH SCORE 51641.489
AT ITER 284 NEW BEST:: SOT 299427 SOS 155377 HAS SOPS 154757 HAS SOUS 51498 HAS SOUPS 51374 WITH SCORE 51529.377
AT ITER 287 NEW BEST:: SOT 299412 SOS 155400 HAS SOPS 154780 HAS SOUS 51468 HAS SOUPS 51344 WITH SCORE 51499.4
AT ITER 289 NEW BEST:: SOT 299206 SOS 155194 HAS SOPS 154574 HAS SOUS 51262 HAS SOUPS 51138 WITH SCORE 51293.194
AT ITER 291 NEW BEST:: SOT 299203 SOS 155191 HAS SOPS 154571 HAS SOUS 51167 HAS SOUPS 51043 WITH SCORE 51198.191
AT ITER 292 NEW BEST:: SOT 299187 SOS 155175 HAS SOPS 154555 HAS SOUS 51151 HAS SOUPS 51027 WITH SCORE 51182.175
AT ITER 302 NEW BEST:: SOT 299167 SOS 155155 HAS SOPS 154535 HAS SOUS 51131 HAS SOUPS 51007 WITH SCORE 51162.155
AT ITER 309 NEW BEST:: SOT 299167 SOS 155150 HAS SOPS 154530 HAS SOUS 51126 HAS SOUPS 51002 WITH SCORE 51157.15
AT ITER 314 NEW BEST:: SOT 299167 SOS 155252 HAS SOPS 154632 HAS SOUS 51072 HAS SOUPS 50948 WITH SCORE 51103.252
AT ITER 316 NEW BEST:: SOT 299167 SOS 155204 HAS SOPS 154584 HAS SOUS 51042 HAS SOUPS 50918 WITH SCORE 51073.204
AT ITER 324 NEW BEST:: SOT 299071 SOS 155037 HAS SOPS 154417 HAS SOUS 50680 HAS SOUPS 50556 WITH SCORE 50711.037
AT ITER 325 NEW BEST:: SOT 298981 SOS 154947 HAS SOPS 154327 HAS SOUS 50590 HAS SOUPS 50466 WITH SCORE 50620.947
AT ITER 326 NEW BEST:: SOT 298969 SOS 154935 HAS SOPS 154315 HAS SOUS 50578 HAS SOUPS 50454 WITH SCORE 50608.935
AT ITER 330 NEW BEST:: SOT 298932 SOS 154898 HAS SOPS 154278 HAS SOUS 50366 HAS SOUPS 50242 WITH SCORE 50396.898
AT ITER 341 NEW BEST:: SOT 298932 SOS 154892 HAS SOPS 154272 HAS SOUS 50361 HAS SOUPS 50237 WITH SCORE 50391.892
AT ITER 345 NEW BEST:: SOT 298953 SOS 154934 HAS SOPS 154314 HAS SOUS 50339 HAS SOUPS 50215 WITH SCORE 50369.934
AT ITER 349 NEW BEST:: SOT 298943 SOS 154924 HAS SOPS 154304 HAS SOUS 50329 HAS SOUPS 50205 WITH SCORE 50359.924
AT ITER 354 NEW BEST:: SOT 298941 SOS 154922 HAS SOPS 154302 HAS SOUS 50327 HAS SOUPS 50203 WITH SCORE 50357.922
AT ITER 359 NEW BEST:: SOT 298941 SOS 154922 HAS SOPS 154302 HAS SOUS 50238 HAS SOUPS 50114 WITH SCORE 50268.922
AT ITER 362 NEW BEST:: SOT 298921 SOS 154882 HAS SOPS 154262 HAS SOUS 50218 HAS SOUPS 50094 WITH SCORE 50248.882
AT ITER 367 NEW BEST:: SOT 298744 SOS 154651 HAS SOPS 154031 HAS SOUS 49631 HAS SOUPS 49507 WITH SCORE 49661.651
AT ITER 369 NEW BEST:: SOT 298688 SOS 154595 HAS SOPS 153975 HAS SOUS 49575 HAS SOUPS 49451 WITH SCORE 49605.595
AT ITER 370 NEW BEST:: SOT 298747 SOS 154617 HAS SOPS 153997 HAS SOUS 49449 HAS SOUPS 49325 WITH SCORE 49479.617
AT ITER 384 NEW BEST:: SOT 298747 SOS 154617 HAS SOPS 153997 HAS SOUS 49439 HAS SOUPS 49315 WITH SCORE 49469.617
AT ITER 386 NEW BEST:: SOT 298739 SOS 154609 HAS SOPS 153989 HAS SOUS 49431 HAS SOUPS 49307 WITH SCORE 49461.609
AT ITER 389 NEW BEST:: SOT 298739 SOS 154609 HAS SOPS 153989 HAS SOUS 49425 HAS SOUPS 49301 WITH SCORE 49455.609
AT ITER 394 NEW BEST:: SOT 298605 SOS 154475 HAS SOPS 153855 HAS SOUS 49291 HAS SOUPS 49167 WITH SCORE 49321.475
AT ITER 395 NEW BEST:: SOT 298568 SOS 154452 HAS SOPS 153832 HAS SOUS 49246 HAS SOUPS 49122 WITH SCORE 49276.452
AT ITER 404 NEW BEST:: SOT 298474 SOS 154358 HAS SOPS 153738 HAS SOUS 49144 HAS SOUPS 49020 WITH SCORE 49174.358
AT ITER 412 NEW BEST:: SOT 298456 SOS 154318 HAS SOPS 153698 HAS SOUS 48976 HAS SOUPS 48852 WITH SCORE 49006.318
AT ITER 414 NEW BEST:: SOT 298456 SOS 154255 HAS SOPS 153635 HAS SOUS 48909 HAS SOUPS 48785 WITH SCORE 48939.255
AT ITER 418 NEW BEST:: SOT 298422 SOS 154305 HAS SOPS 153685 HAS SOUS 48887 HAS SOUPS 48763 WITH SCORE 48917.305
AT ITER 424 NEW BEST:: SOT 298422 SOS 154271 HAS SOPS 153651 HAS SOUS 48877 HAS SOUPS 48753 WITH SCORE 48907.271
AT ITER 426 NEW BEST:: SOT 298418 SOS 154267 HAS SOPS 153647 HAS SOUS 48873 HAS SOUPS 48749 WITH SCORE 48903.267
AT ITER 429 NEW BEST:: SOT 298418 SOS 154889 HAS SOPS 154269 HAS SOUS 48871 HAS SOUPS 48747 WITH SCORE 48901.889
AT ITER 436 NEW BEST:: SOT 298371 SOS 154934 HAS SOPS 154314 HAS SOUS 48805 HAS SOUPS 48681 WITH SCORE 48835.934
AT ITER 440 NEW BEST:: SOT 298371 SOS 154934 HAS SOPS 154314 HAS SOUS 48728 HAS SOUPS 48604 WITH SCORE 48758.934
AT ITER 443 NEW BEST:: SOT 298336 SOS 154893 HAS SOPS 154273 HAS SOUS 48458 HAS SOUPS 48334 WITH SCORE 48488.893
AT ITER 462 NEW BEST:: SOT 298273 SOS 154767 HAS SOPS 154147 HAS SOUS 48332 HAS SOUPS 48208 WITH SCORE 48362.767
AT ITER 467 NEW BEST:: SOT 298290 SOS 154801 HAS SOPS 154181 HAS SOUS 48313 HAS SOUPS 48189 WITH SCORE 48343.801
AT ITER 468 NEW BEST:: SOT 298290 SOS 154798 HAS SOPS 154178 HAS SOUS 48298 HAS SOUPS 48174 WITH SCORE 48328.798
AT ITER 474 NEW BEST:: SOT 298204 SOS 154712 HAS SOPS 154092 HAS SOUS 48286 HAS SOUPS 48162 WITH SCORE 48316.712
AT ITER 477 NEW BEST:: SOT 298128 SOS 154715 HAS SOPS 154095 HAS SOUS 48240 HAS SOUPS 48116 WITH SCORE 48270.715
AT ITER 484 NEW BEST:: SOT 298075 SOS 154797 HAS SOPS 154177 HAS SOUS 48129 HAS SOUPS 48005 WITH SCORE 48159.797
AT ITER 489 NEW BEST:: SOT 298075 SOS 154848 HAS SOPS 154228 HAS SOUS 48083 HAS SOUPS 47959 WITH SCORE 48113.848
AT ITER 491 NEW BEST:: SOT 298105 SOS 155067 HAS SOPS 154447 HAS SOUS 48056 HAS SOUPS 47932 WITH SCORE 48087.067
AT ITER 493 NEW BEST:: SOT 298028 SOS 155046 HAS SOPS 154426 HAS SOUS 47919 HAS SOUPS 47795 WITH SCORE 47950.046
AT ITER 503 NEW BEST:: SOT 298020 SOS 155038 HAS SOPS 154418 HAS SOUS 47911 HAS SOUPS 47787 WITH SCORE 47942.038
AT ITER 504 NEW BEST:: SOT 297959 SOS 154944 HAS SOPS 154324 HAS SOUS 47570 HAS SOUPS 47446 WITH SCORE 47600.944
AT ITER 517 NEW BEST:: SOT 297959 SOS 154944 HAS SOPS 154324 HAS SOUS 47567 HAS SOUPS 47443 WITH SCORE 47597.944
AT ITER 522 NEW BEST:: SOT 298020 SOS 154970 HAS SOPS 154350 HAS SOUS 47459 HAS SOUPS 47335 WITH SCORE 47489.97
AT ITER 533 NEW BEST:: SOT 298013 SOS 154963 HAS SOPS 154343 HAS SOUS 47331 HAS SOUPS 47207 WITH SCORE 47361.963
AT ITER 536 NEW BEST:: SOT 298158 SOS 155108 HAS SOPS 154488 HAS SOUS 47284 HAS SOUPS 47160 WITH SCORE 47315.108
AT ITER 542 NEW BEST:: SOT 298153 SOS 155103 HAS SOPS 154483 HAS SOUS 47274 HAS SOUPS 47150 WITH SCORE 47305.103
AT ITER 550 NEW BEST:: SOT 298266 SOS 155216 HAS SOPS 154596 HAS SOUS 47117 HAS SOUPS 46993 WITH SCORE 47148.216
AT ITER 552 NEW BEST:: SOT 288752 SOS 164040 HAS SOPS 163420 HAS SOUS 46189 HAS SOUPS 46065 WITH SCORE 46229.04
AT ITER 558 NEW BEST:: SOT 288752 SOS 164034 HAS SOPS 163414 HAS SOUS 46183 HAS SOUPS 46059 WITH SCORE 46223.034
AT ITER 567 NEW BEST:: SOT 288757 SOS 164039 HAS SOPS 163419 HAS SOUS 45822 HAS SOUPS 45698 WITH SCORE 45862.039
AT ITER 568 NEW BEST:: SOT 288751 SOS 164033 HAS SOPS 163413 HAS SOUS 45796 HAS SOUPS 45672 WITH SCORE 45836.033
AT ITER 573 NEW BEST:: SOT 288746 SOS 164028 HAS SOPS 163408 HAS SOUS 45791 HAS SOUPS 45667 WITH SCORE 45831.028
AT ITER 576 NEW BEST:: SOT 288747 SOS 164004 HAS SOPS 163384 HAS SOUS 45780 HAS SOUPS 45656 WITH SCORE 45820.004
AT ITER 588 NEW BEST:: SOT 288747 SOS 164004 HAS SOPS 163384 HAS SOUS 45720 HAS SOUPS 45596 WITH SCORE 45760.004
AT ITER 590 NEW BEST:: SOT 288745 SOS 164002 HAS SOPS 163382 HAS SOUS 45718 HAS SOUPS 45594 WITH SCORE 45758.002
AT ITER 595 NEW BEST:: SOT 288733 SOS 164112 HAS SOPS 163492 HAS SOUS 45709 HAS SOUPS 45585 WITH SCORE 45749.112
AT ITER 607 NEW BEST:: SOT 288733 SOS 164137 HAS SOPS 163517 HAS SOUS 45666 HAS SOUPS 45542 WITH SCORE 45706.137
AT ITER 612 NEW BEST:: SOT 288733 SOS 164127 HAS SOPS 163507 HAS SOUS 45661 HAS SOUPS 45537 WITH SCORE 45701.127
AT ITER 621 NEW BEST:: SOT 288733 SOS 164127 HAS SOPS 163507 HAS SOUS 45657 HAS SOUPS 45533 WITH SCORE 45697.127
AT ITER 640 NEW BEST:: SOT 288729 SOS 164123 HAS SOPS 163503 HAS SOUS 45653 HAS SOUPS 45529 WITH SCORE 45693.123
AT ITER 651 NEW BEST:: SOT 288726 SOS 164120 HAS SOPS 163500 HAS SOUS 45641 HAS SOUPS 45517 WITH SCORE 45681.12
AT ITER 660 NEW BEST:: SOT 288670 SOS 164052 HAS SOPS 163432 HAS SOUS 45583 HAS SOUPS 45459 WITH SCORE 45623.052
AT ITER 668 NEW BEST:: SOT 288666 SOS 164048 HAS SOPS 163428 HAS SOUS 45579 HAS SOUPS 45455 WITH SCORE 45619.048
AT ITER 687 NEW BEST:: SOT 288893 SOS 164275 HAS SOPS 163655 HAS SOUS 45505 HAS SOUPS 45381 WITH SCORE 45545.275
AT ITER 699 NEW BEST:: SOT 288878 SOS 164279 HAS SOPS 163659 HAS SOUS 45489 HAS SOUPS 45365 WITH SCORE 45529.279
AT ITER 707 NEW BEST:: SOT 288868 SOS 164313 HAS SOPS 163693 HAS SOUS 45483 HAS SOUPS 45359 WITH SCORE 45523.313
AT ITER 713 NEW BEST:: SOT 288868 SOS 164313 HAS SOPS 163693 HAS SOUS 45363 HAS SOUPS 45239 WITH SCORE 45403.313
AT ITER 714 NEW BEST:: SOT 242338 SOS 117783 HAS SOPS 117163 HAS SOUS 39359 HAS SOUPS 39235 WITH SCORE 39352.783
AT ITER 719 NEW BEST:: SOT 242324 SOS 117769 HAS SOPS 117149 HAS SOUS 39331 HAS SOUPS 39207 WITH SCORE 39324.769
AT ITER 728 NEW BEST:: SOT 242310 SOS 117755 HAS SOPS 117135 HAS SOUS 39310 HAS SOUPS 39186 WITH SCORE 39303.755
AT ITER 733 NEW BEST:: SOT 242276 SOS 117746 HAS SOPS 117126 HAS SOUS 39301 HAS SOUPS 39177 WITH SCORE 39294.746
AT ITER 740 NEW BEST:: SOT 242232 SOS 117702 HAS SOPS 117082 HAS SOUS 39294 HAS SOUPS 39170 WITH SCORE 39287.702
AT ITER 744 NEW BEST:: SOT 242224 SOS 117694 HAS SOPS 117074 HAS SOUS 39286 HAS SOUPS 39162 WITH SCORE 39279.694
AT ITER 745 NEW BEST:: SOT 242215 SOS 117685 HAS SOPS 117065 HAS SOUS 39255 HAS SOUPS 39131 WITH SCORE 39248.685
AT ITER 754 NEW BEST:: SOT 242188 SOS 117656 HAS SOPS 117036 HAS SOUS 39226 HAS SOUPS 39102 WITH SCORE 39219.656
AT ITER 760 NEW BEST:: SOT 242161 SOS 117629 HAS SOPS 117009 HAS SOUS 39186 HAS SOUPS 39062 WITH SCORE 39179.629
AT ITER 763 NEW BEST:: SOT 217884 SOS 136734 HAS SOPS 136225 HAS SOUS 36880 HAS SOUPS 36743 WITH SCORE 36879.734
AT ITER 771 NEW BEST:: SOT 217811 SOS 136661 HAS SOPS 136152 HAS SOUS 36807 HAS SOUPS 36670 WITH SCORE 36806.661
AT ITER 776 NEW BEST:: SOT 217811 SOS 136681 HAS SOPS 136172 HAS SOUS 36793 HAS SOUPS 36656 WITH SCORE 36792.681
AT ITER 784 NEW BEST:: SOT 217814 SOS 136684 HAS SOPS 136175 HAS SOUS 36657 HAS SOUPS 36520 WITH SCORE 36656.684
AT ITER 786 NEW BEST:: SOT 217795 SOS 136691 HAS SOPS 136182 HAS SOUS 36638 HAS SOUPS 36501 WITH SCORE 36637.691
AT ITER 787 NEW BEST:: SOT 217778 SOS 136691 HAS SOPS 136182 HAS SOUS 36604 HAS SOUPS 36467 WITH SCORE 36603.691
AT ITER 798 NEW BEST:: SOT 217769 SOS 137915 HAS SOPS 137406 HAS SOUS 36596 HAS SOUPS 36459 WITH SCORE 36596.915
AT ITER 802 NEW BEST:: SOT 217721 SOS 137891 HAS SOPS 137382 HAS SOUS 36524 HAS SOUPS 36387 WITH SCORE 36524.891
AT ITER 807 NEW BEST:: SOT 217535 SOS 137705 HAS SOPS 137196 HAS SOUS 36028 HAS SOUPS 35891 WITH SCORE 36028.705
AT ITER 815 NEW BEST:: SOT 217489 SOS 137659 HAS SOPS 137150 HAS SOUS 35982 HAS SOUPS 35845 WITH SCORE 35982.659
AT ITER 824 NEW BEST:: SOT 217368 SOS 137538 HAS SOPS 137029 HAS SOUS 35806 HAS SOUPS 35669 WITH SCORE 35806.538
AT ITER 837 NEW BEST:: SOT 217316 SOS 137486 HAS SOPS 136977 HAS SOUS 35728 HAS SOUPS 35591 WITH SCORE 35728.486
AT ITER 842 NEW BEST:: SOT 217459 SOS 137629 HAS SOPS 137120 HAS SOUS 35636 HAS SOUPS 35499 WITH SCORE 35636.629
AT ITER 846 NEW BEST:: SOT 217459 SOS 137603 HAS SOPS 137094 HAS SOUS 35603 HAS SOUPS 35466 WITH SCORE 35603.603
AT ITER 853 NEW BEST:: SOT 217453 SOS 137597 HAS SOPS 137088 HAS SOUS 35603 HAS SOUPS 35466 WITH SCORE 35603.597
AT ITER 865 NEW BEST:: SOT 217504 SOS 137648 HAS SOPS 137139 HAS SOUS 35554 HAS SOUPS 35417 WITH SCORE 35554.648
AT ITER 877 NEW BEST:: SOT 217504 SOS 137648 HAS SOPS 137139 HAS SOUS 35528 HAS SOUPS 35391 WITH SCORE 35528.648
AT ITER 879 NEW BEST:: SOT 217495 SOS 137639 HAS SOPS 137130 HAS SOUS 35519 HAS SOUPS 35382 WITH SCORE 35519.639
AT ITER 887 NEW BEST:: SOT 217495 SOS 137625 HAS SOPS 137116 HAS SOUS 35516 HAS SOUPS 35379 WITH SCORE 35516.625
AT ITER 892 NEW BEST:: SOT 217480 SOS 137610 HAS SOPS 137101 HAS SOUS 35395 HAS SOUPS 35258 WITH SCORE 35395.61
AT ITER 907 NEW BEST:: SOT 217334 SOS 137464 HAS SOPS 136955 HAS SOUS 35249 HAS SOUPS 35112 WITH SCORE 35249.464
AT ITER 918 NEW BEST:: SOT 217222 SOS 137352 HAS SOPS 136843 HAS SOUS 35137 HAS SOUPS 35000 WITH SCORE 35137.352
AT ITER 923 NEW BEST:: SOT 217211 SOS 137201 HAS SOPS 136692 HAS SOUS 35071 HAS SOUPS 34934 WITH SCORE 35071.201
AT ITER 927 NEW BEST:: SOT 217205 SOS 137195 HAS SOPS 136686 HAS SOUS 35065 HAS SOUPS 34928 WITH SCORE 35065.195
AT ITER 929 NEW BEST:: SOT 217185 SOS 137175 HAS SOPS 136666 HAS SOUS 34811 HAS SOUPS 34674 WITH SCORE 34811.175
AT ITER 932 NEW BEST:: SOT 217184 SOS 137174 HAS SOPS 136665 HAS SOUS 34810 HAS SOUPS 34673 WITH SCORE 34810.174
AT ITER 943 NEW BEST:: SOT 217184 SOS 137252 HAS SOPS 136743 HAS SOUS 34764 HAS SOUPS 34627 WITH SCORE 34764.252
AT ITER 970 NEW BEST:: SOT 217172 SOS 137240 HAS SOPS 136731 HAS SOUS 34703 HAS SOUPS 34566 WITH SCORE 34703.24
AT ITER 974 NEW BEST:: SOT 216537 SOS 136605 HAS SOPS 136096 HAS SOUS 34068 HAS SOUPS 33931 WITH SCORE 34067.605
AT ITER 993 NEW BEST:: SOT 216537 SOS 136605 HAS SOPS 136096 HAS SOUS 34044 HAS SOUPS 33907 WITH SCORE 34043.605
AT ITER 1004 NEW BEST:: SOT 216518 SOS 136605 HAS SOPS 136096 HAS SOUS 34006 HAS SOUPS 33869 WITH SCORE 34005.605
AT ITER 1009 NEW BEST:: SOT 216497 SOS 136584 HAS SOPS 136075 HAS SOUS 33901 HAS SOUPS 33764 WITH SCORE 33900.584
AT ITER 1023 NEW BEST:: SOT 216510 SOS 136560 HAS SOPS 136051 HAS SOUS 33893 HAS SOUPS 33756 WITH SCORE 33892.56
AT ITER 1027 NEW BEST:: SOT 216392 SOS 136442 HAS SOPS 135933 HAS SOUS 33721 HAS SOUPS 33584 WITH SCORE 33720.442
AT ITER 1037 NEW BEST:: SOT 216292 SOS 136342 HAS SOPS 135833 HAS SOUS 33621 HAS SOUPS 33484 WITH SCORE 33620.342
AT ITER 1052 NEW BEST:: SOT 216054 SOS 136213 HAS SOPS 135704 HAS SOUS 33540 HAS SOUPS 33403 WITH SCORE 33539.213
AT ITER 1058 NEW BEST:: SOT 216046 SOS 136205 HAS SOPS 135696 HAS SOUS 33515 HAS SOUPS 33378 WITH SCORE 33514.205
AT ITER 1067 NEW BEST:: SOT 216002 SOS 136161 HAS SOPS 135652 HAS SOUS 33281 HAS SOUPS 33144 WITH SCORE 33280.161
AT ITER 1071 NEW BEST:: SOT 215988 SOS 136147 HAS SOPS 135638 HAS SOUS 33254 HAS SOUPS 33117 WITH SCORE 33253.147
AT ITER 1076 NEW BEST:: SOT 216028 SOS 136187 HAS SOPS 135678 HAS SOUS 33188 HAS SOUPS 33051 WITH SCORE 33187.187
AT ITER 1081 NEW BEST:: SOT 216007 SOS 136166 HAS SOPS 135657 HAS SOUS 33156 HAS SOUPS 33019 WITH SCORE 33155.166
AT ITER 1085 NEW BEST:: SOT 216195 SOS 136354 HAS SOPS 135845 HAS SOUS 33120 HAS SOUPS 32983 WITH SCORE 33119.354
AT ITER 1097 NEW BEST:: SOT 216142 SOS 136603 HAS SOPS 136094 HAS SOUS 33042 HAS SOUPS 32905 WITH SCORE 33041.603
AT ITER 1101 NEW BEST:: SOT 216120 SOS 136636 HAS SOPS 136127 HAS SOUS 32998 HAS SOUPS 32861 WITH SCORE 32997.636
AT ITER 1109 NEW BEST:: SOT 216102 SOS 136618 HAS SOPS 136109 HAS SOUS 32944 HAS SOUPS 32807 WITH SCORE 32943.618
AT ITER 1153 NEW BEST:: SOT 216067 SOS 136590 HAS SOPS 136081 HAS SOUS 32902 HAS SOUPS 32765 WITH SCORE 32901.59
AT ITER 1163 NEW BEST:: SOT 216054 SOS 136577 HAS SOPS 136068 HAS SOUS 32897 HAS SOUPS 32760 WITH SCORE 32896.577
AT ITER 1178 NEW BEST:: SOT 216054 SOS 136577 HAS SOPS 136068 HAS SOUS 32832 HAS SOUPS 32695 WITH SCORE 32831.577
AT ITER 1191 NEW BEST:: SOT 215987 SOS 136510 HAS SOPS 136001 HAS SOUS 32801 HAS SOUPS 32664 WITH SCORE 32800.51
AT ITER 1208 NEW BEST:: SOT 216032 SOS 136435 HAS SOPS 135926 HAS SOUS 32772 HAS SOUPS 32635 WITH SCORE 32771.435
AT ITER 1214 NEW BEST:: SOT 216024 SOS 136427 HAS SOPS 135918 HAS SOUS 32714 HAS SOUPS 32577 WITH SCORE 32713.427
AT ITER 1217 NEW BEST:: SOT 216021 SOS 136424 HAS SOPS 135915 HAS SOUS 32708 HAS SOUPS 32571 WITH SCORE 32707.424
AT ITER 1226 NEW BEST:: SOT 216004 SOS 136407 HAS SOPS 135898 HAS SOUS 32646 HAS SOUPS 32509 WITH SCORE 32645.407
AT ITER 1231 NEW BEST:: SOT 216004 SOS 136356 HAS SOPS 135847 HAS SOUS 32576 HAS SOUPS 32439 WITH SCORE 32575.356
AT ITER 1239 NEW BEST:: SOT 215956 SOS 136308 HAS SOPS 135799 HAS SOUS 32528 HAS SOUPS 32391 WITH SCORE 32527.308
AT ITER 1243 NEW BEST:: SOT 215956 SOS 136299 HAS SOPS 135790 HAS SOUS 32510 HAS SOUPS 32373 WITH SCORE 32509.299
AT ITER 1288 NEW BEST:: SOT 215944 SOS 136287 HAS SOPS 135778 HAS SOUS 32498 HAS SOUPS 32361 WITH SCORE 32497.287
AT ITER 1312 NEW BEST:: SOT 215685 SOS 136772 HAS SOPS 136263 HAS SOUS 32467 HAS SOUPS 32330 WITH SCORE 32466.772
AT ITER 1313 NEW BEST:: SOT 215685 SOS 136772 HAS SOPS 136263 HAS SOUS 32426 HAS SOUPS 32289 WITH SCORE 32425.772
AT ITER 1317 NEW BEST:: SOT 215671 SOS 136758 HAS SOPS 136249 HAS SOUS 32412 HAS SOUPS 32275 WITH SCORE 32411.758
AT ITER 1327 NEW BEST:: SOT 215647 SOS 136717 HAS SOPS 136208 HAS SOUS 32371 HAS SOUPS 32234 WITH SCORE 32370.717
AT ITER 1351 NEW BEST:: SOT 215611 SOS 136669 HAS SOPS 136160 HAS SOUS 32323 HAS SOUPS 32186 WITH SCORE 32322.669
AT ITER 1354 NEW BEST:: SOT 215576 SOS 136495 HAS SOPS 135986 HAS SOUS 32236 HAS SOUPS 32099 WITH SCORE 32235.495
AT ITER 1386 NEW BEST:: SOT 215576 SOS 136495 HAS SOPS 135986 HAS SOUS 32235 HAS SOUPS 32098 WITH SCORE 32234.495
AT ITER 1389 NEW BEST:: SOT 215570 SOS 136489 HAS SOPS 135980 HAS SOUS 32229 HAS SOUPS 32092 WITH SCORE 32228.489
AT ITER 1392 NEW BEST:: SOT 215524 SOS 136443 HAS SOPS 135934 HAS SOUS 32170 HAS SOUPS 32033 WITH SCORE 32169.443
AT ITER 1398 NEW BEST:: SOT 215505 SOS 136549 HAS SOPS 136040 HAS SOUS 32142 HAS SOUPS 32005 WITH SCORE 32141.549
AT ITER 1399 NEW BEST:: SOT 215552 SOS 136596 HAS SOPS 136087 HAS SOUS 32136 HAS SOUPS 31999 WITH SCORE 32135.596
AT ITER 1400 NEW BEST:: SOT 215552 SOS 136596 HAS SOPS 136087 HAS SOUS 32011 HAS SOUPS 31874 WITH SCORE 32010.596
AT ITER 1434 NEW BEST:: SOT 215574 SOS 136618 HAS SOPS 136109 HAS SOUS 31927 HAS SOUPS 31790 WITH SCORE 31926.618
AT ITER 1436 NEW BEST:: SOT 215595 SOS 136639 HAS SOPS 136130 HAS SOUS 31885 HAS SOUPS 31748 WITH SCORE 31884.639
AT ITER 1467 NEW BEST:: SOT 215628 SOS 93109 HAS SOPS 92505 HAS SOUS 31503 HAS SOUPS 31379 WITH SCORE 31472.109
AT ITER 1492 NEW BEST:: SOT 215619 SOS 93100 HAS SOPS 92496 HAS SOUS 31494 HAS SOUPS 31370 WITH SCORE 31463.1
AT ITER 1500 NEW BEST:: SOT 215616 SOS 93100 HAS SOPS 92496 HAS SOUS 31488 HAS SOUPS 31364 WITH SCORE 31457.1
AT ITER 1505 NEW BEST:: SOT 215612 SOS 93096 HAS SOPS 92492 HAS SOUS 31181 HAS SOUPS 31057 WITH SCORE 31150.096
AT ITER 1515 NEW BEST:: SOT 215611 SOS 93095 HAS SOPS 92491 HAS SOUS 31178 HAS SOUPS 31054 WITH SCORE 31147.095
AT ITER 1524 NEW BEST:: SOT 215574 SOS 93088 HAS SOPS 92484 HAS SOUS 31171 HAS SOUPS 31047 WITH SCORE 31140.088
AT ITER 1532 NEW BEST:: SOT 215531 SOS 93125 HAS SOPS 92521 HAS SOUS 31149 HAS SOUPS 31025 WITH SCORE 31118.125
AT ITER 1540 NEW BEST:: SOT 215485 SOS 93079 HAS SOPS 92475 HAS SOUS 31052 HAS SOUPS 30928 WITH SCORE 31021.079
AT ITER 1576 NEW BEST:: SOT 215480 SOS 93074 HAS SOPS 92470 HAS SOUS 31029 HAS SOUPS 30905 WITH SCORE 30998.074
AT ITER 1579 NEW BEST:: SOT 215432 SOS 93026 HAS SOPS 92422 HAS SOUS 30958 HAS SOUPS 30834 WITH SCORE 30927.026
AT ITER 1604 NEW BEST:: SOT 215416 SOS 92994 HAS SOPS 92390 HAS SOUS 30926 HAS SOUPS 30802 WITH SCORE 30894.994
AT ITER 1651 NEW BEST:: SOT 215329 SOS 92907 HAS SOPS 92303 HAS SOUS 30860 HAS SOUPS 30736 WITH SCORE 30828.907
AT ITER 1656 NEW BEST:: SOT 215312 SOS 92890 HAS SOPS 92286 HAS SOUS 30843 HAS SOUPS 30719 WITH SCORE 30811.89
AT ITER 1670 NEW BEST:: SOT 215307 SOS 95909 HAS SOPS 95305 HAS SOUS 30801 HAS SOUPS 30677 WITH SCORE 30772.909
AT ITER 1709 NEW BEST:: SOT 215415 SOS 96017 HAS SOPS 95413 HAS SOUS 30768 HAS SOUPS 30644 WITH SCORE 30740.017
AT ITER 1730 NEW BEST:: SOT 215386 SOS 95988 HAS SOPS 95384 HAS SOUS 30739 HAS SOUPS 30615 WITH SCORE 30710.988
AT ITER 1774 NEW BEST:: SOT 215287 SOS 95889 HAS SOPS 95285 HAS SOUS 30610 HAS SOUPS 30486 WITH SCORE 30581.889
AT ITER 1782 NEW BEST:: SOT 215171 SOS 97411 HAS SOPS 96807 HAS SOUS 30526 HAS SOUPS 30402 WITH SCORE 30499.411
AT ITER 1783 NEW BEST:: SOT 215187 SOS 97427 HAS SOPS 96823 HAS SOUS 30476 HAS SOUPS 30352 WITH SCORE 30449.427
AT ITER 1789 NEW BEST:: SOT 215173 SOS 97479 HAS SOPS 96875 HAS SOUS 30448 HAS SOUPS 30324 WITH SCORE 30421.479
AT ITER 1803 NEW BEST:: SOT 215127 SOS 97433 HAS SOPS 96829 HAS SOUS 30402 HAS SOUPS 30278 WITH SCORE 30375.433
AT ITER 1805 NEW BEST:: SOT 215116 SOS 97422 HAS SOPS 96818 HAS SOUS 30380 HAS SOUPS 30256 WITH SCORE 30353.422
AT ITER 1808 NEW BEST:: SOT 215106 SOS 97402 HAS SOPS 96798 HAS SOUS 30360 HAS SOUPS 30236 WITH SCORE 30333.402
AT ITER 1810 NEW BEST:: SOT 215195 SOS 97491 HAS SOPS 96887 HAS SOUS 30353 HAS SOUPS 30229 WITH SCORE 30326.491
AT ITER 1821 NEW BEST:: SOT 215193 SOS 97441 HAS SOPS 96837 HAS SOUS 30351 HAS SOUPS 30227 WITH SCORE 30324.441
AT ITER 1834 NEW BEST:: SOT 215300 SOS 97548 HAS SOPS 96944 HAS SOUS 30259 HAS SOUPS 30135 WITH SCORE 30232.548
AT ITER 1837 NEW BEST:: SOT 215263 SOS 101828 HAS SOPS 101224 HAS SOUS 30179 HAS SOUPS 30055 WITH SCORE 30156.828
AT ITER 1848 NEW BEST:: SOT 215254 SOS 101819 HAS SOPS 101215 HAS SOUS 30170 HAS SOUPS 30046 WITH SCORE 30147.819
AT ITER 1876 NEW BEST:: SOT 215136 SOS 101701 HAS SOPS 101097 HAS SOUS 30045 HAS SOUPS 29921 WITH SCORE 30022.701
AT ITER 1877 NEW BEST:: SOT 215136 SOS 101662 HAS SOPS 101058 HAS SOUS 30006 HAS SOUPS 29882 WITH SCORE 29983.662
AT ITER 1884 NEW BEST:: SOT 215044 SOS 101570 HAS SOPS 100966 HAS SOUS 29865 HAS SOUPS 29741 WITH SCORE 29842.57
AT ITER 1901 NEW BEST:: SOT 214996 SOS 101474 HAS SOPS 100870 HAS SOUS 29769 HAS SOUPS 29645 WITH SCORE 29746.474
AT ITER 1934 NEW BEST:: SOT 214996 SOS 101474 HAS SOPS 100870 HAS SOUS 29733 HAS SOUPS 29609 WITH SCORE 29710.474
AT ITER 1937 NEW BEST:: SOT 214887 SOS 101365 HAS SOPS 100761 HAS SOUS 29555 HAS SOUPS 29431 WITH SCORE 29532.365
AT ITER 1945 NEW BEST:: SOT 214886 SOS 101363 HAS SOPS 100759 HAS SOUS 29533 HAS SOUPS 29409 WITH SCORE 29510.363
AT ITER 1949 NEW BEST:: SOT 214870 SOS 101347 HAS SOPS 100743 HAS SOUS 29453 HAS SOUPS 29329 WITH SCORE 29430.347
AT ITER 1951 NEW BEST:: SOT 214858 SOS 101335 HAS SOPS 100731 HAS SOUS 29429 HAS SOUPS 29305 WITH SCORE 29406.335
AT ITER 1957 NEW BEST:: SOT 214866 SOS 101343 HAS SOPS 100739 HAS SOUS 29421 HAS SOUPS 29297 WITH SCORE 29398.343
AT ITER 1958 NEW BEST:: SOT 214848 SOS 101325 HAS SOPS 100721 HAS SOUS 29324 HAS SOUPS 29200 WITH SCORE 29301.325
AT ITER 1973 NEW BEST:: SOT 214678 SOS 100999 HAS SOPS 100395 HAS SOUS 29154 HAS SOUPS 29030 WITH SCORE 29130.999
AT ITER 1979 NEW BEST:: SOT 214590 SOS 100911 HAS SOPS 100307 HAS SOUS 29018 HAS SOUPS 28894 WITH SCORE 28994.911
AT ITER 1983 NEW BEST:: SOT 214566 SOS 100911 HAS SOPS 100307 HAS SOUS 28992 HAS SOUPS 28868 WITH SCORE 28968.911
AT ITER 1990 NEW BEST:: SOT 214591 SOS 100936 HAS SOPS 100332 HAS SOUS 28870 HAS SOUPS 28746 WITH SCORE 28846.936
AT ITER 1993 NEW BEST:: SOT 214589 SOS 100932 HAS SOPS 100328 HAS SOUS 28866 HAS SOUPS 28742 WITH SCORE 28842.932
AT ITER 1999 NEW BEST:: SOT 214575 SOS 100918 HAS SOPS 100314 HAS SOUS 28831 HAS SOUPS 28707 WITH SCORE 28807.918
AT ITER 2030 NEW BEST:: SOT 214415 SOS 100758 HAS SOPS 100154 HAS SOUS 28769 HAS SOUPS 28645 WITH SCORE 28745.758
AT ITER 2045 NEW BEST:: SOT 214352 SOS 92956 HAS SOPS 92352 HAS SOUS 28643 HAS SOUPS 28519 WITH SCORE 28611.956
AT ITER 2056 NEW BEST:: SOT 214267 SOS 92859 HAS SOPS 92255 HAS SOUS 28549 HAS SOUPS 28425 WITH SCORE 28517.859
AT ITER 2076 NEW BEST:: SOT 214246 SOS 92845 HAS SOPS 92241 HAS SOUS 28521 HAS SOUPS 28397 WITH SCORE 28489.845
AT ITER 2084 NEW BEST:: SOT 214217 SOS 92787 HAS SOPS 92183 HAS SOUS 28463 HAS SOUPS 28339 WITH SCORE 28431.787
AT ITER 2092 NEW BEST:: SOT 214210 SOS 92780 HAS SOPS 92176 HAS SOUS 28454 HAS SOUPS 28330 WITH SCORE 28422.78
AT ITER 2106 NEW BEST:: SOT 214200 SOS 92825 HAS SOPS 92221 HAS SOUS 28451 HAS SOUPS 28327 WITH SCORE 28419.825
AT ITER 2132 NEW BEST:: SOT 214124 SOS 92749 HAS SOPS 92145 HAS SOUS 28326 HAS SOUPS 28202 WITH SCORE 28294.749
AT ITER 2135 NEW BEST:: SOT 214098 SOS 92801 HAS SOPS 92197 HAS SOUS 28300 HAS SOUPS 28176 WITH SCORE 28268.801
AT ITER 2138 NEW BEST:: SOT 214079 SOS 92792 HAS SOPS 92188 HAS SOUS 28282 HAS SOUPS 28158 WITH SCORE 28250.792
AT ITER 2140 NEW BEST:: SOT 213999 SOS 92712 HAS SOPS 92108 HAS SOUS 28150 HAS SOUPS 28026 WITH SCORE 28118.712
AT ITER 2150 NEW BEST:: SOT 213977 SOS 92726 HAS SOPS 92122 HAS SOUS 28106 HAS SOUPS 27982 WITH SCORE 28074.726
AT ITER 2151 NEW BEST:: SOT 213971 SOS 92724 HAS SOPS 92120 HAS SOUS 28106 HAS SOUPS 27982 WITH SCORE 28074.724
AT ITER 2164 NEW BEST:: SOT 213971 SOS 92716 HAS SOPS 92112 HAS SOUS 28106 HAS SOUPS 27982 WITH SCORE 28074.716
AT ITER 2172 NEW BEST:: SOT 213926 SOS 92671 HAS SOPS 92067 HAS SOUS 28011 HAS SOUPS 27887 WITH SCORE 27979.671
AT ITER 2191 NEW BEST:: SOT 213957 SOS 92702 HAS SOPS 92098 HAS SOUS 27980 HAS SOUPS 27856 WITH SCORE 27948.702
AT ITER 2205 NEW BEST:: SOT 213743 SOS 92488 HAS SOPS 91884 HAS SOUS 27804 HAS SOUPS 27680 WITH SCORE 27772.488
AT ITER 2208 NEW BEST:: SOT 213726 SOS 92512 HAS SOPS 91908 HAS SOUS 27770 HAS SOUPS 27646 WITH SCORE 27738.512
AT ITER 2220 NEW BEST:: SOT 213712 SOS 92498 HAS SOPS 91894 HAS SOUS 27742 HAS SOUPS 27618 WITH SCORE 27710.498
AT ITER 2232 NEW BEST:: SOT 213716 SOS 92502 HAS SOPS 91898 HAS SOUS 27741 HAS SOUPS 27617 WITH SCORE 27709.502
AT ITER 2243 NEW BEST:: SOT 213708 SOS 92494 HAS SOPS 91890 HAS SOUS 27733 HAS SOUPS 27609 WITH SCORE 27701.494
AT ITER 2260 NEW BEST:: SOT 213695 SOS 92481 HAS SOPS 91877 HAS SOUS 27707 HAS SOUPS 27583 WITH SCORE 27675.481
AT ITER 2264 NEW BEST:: SOT 213695 SOS 92481 HAS SOPS 91877 HAS SOUS 27687 HAS SOUPS 27563 WITH SCORE 27655.481
AT ITER 2269 NEW BEST:: SOT 213638 SOS 92424 HAS SOPS 91820 HAS SOUS 27592 HAS SOUPS 27468 WITH SCORE 27560.424
AT ITER 2315 NEW BEST:: SOT 213607 SOS 92414 HAS SOPS 91810 HAS SOUS 27541 HAS SOUPS 27417 WITH SCORE 27509.414
AT ITER 2321 NEW BEST:: SOT 213607 SOS 92385 HAS SOPS 91781 HAS SOUS 27532 HAS SOUPS 27408 WITH SCORE 27500.385
AT ITER 2328 NEW BEST:: SOT 213575 SOS 92353 HAS SOPS 91749 HAS SOUS 27490 HAS SOUPS 27366 WITH SCORE 27458.353
AT ITER 2339 NEW BEST:: SOT 213574 SOS 92352 HAS SOPS 91748 HAS SOUS 27488 HAS SOUPS 27364 WITH SCORE 27456.352
AT ITER 2343 NEW BEST:: SOT 213544 SOS 92322 HAS SOPS 91718 HAS SOUS 27443 HAS SOUPS 27319 WITH SCORE 27411.322
AT ITER 2351 NEW BEST:: SOT 213522 SOS 92300 HAS SOPS 91696 HAS SOUS 27404 HAS SOUPS 27280 WITH SCORE 27372.3
AT ITER 2353 NEW BEST:: SOT 213512 SOS 92290 HAS SOPS 91686 HAS SOUS 27364 HAS SOUPS 27240 WITH SCORE 27332.29
AT ITER 2376 NEW BEST:: SOT 213500 SOS 92266 HAS SOPS 91662 HAS SOUS 27340 HAS SOUPS 27216 WITH SCORE 27308.266
AT ITER 2379 NEW BEST:: SOT 213456 SOS 92222 HAS SOPS 91618 HAS SOUS 27298 HAS SOUPS 27174 WITH SCORE 27266.222
AT ITER 2391 NEW BEST:: SOT 213507 SOS 92273 HAS SOPS 91669 HAS SOUS 27294 HAS SOUPS 27170 WITH SCORE 27262.273
AT ITER 2405 NEW BEST:: SOT 213506 SOS 92308 HAS SOPS 91704 HAS SOUS 27292 HAS SOUPS 27168 WITH SCORE 27260.308
AT ITER 2411 NEW BEST:: SOT 213493 SOS 92224 HAS SOPS 91620 HAS SOUS 27253 HAS SOUPS 27129 WITH SCORE 27221.224
AT ITER 2417 NEW BEST:: SOT 213561 SOS 92292 HAS SOPS 91688 HAS SOUS 27190 HAS SOUPS 27066 WITH SCORE 27158.292
AT ITER 2418 NEW BEST:: SOT 213529 SOS 92251 HAS SOPS 91647 HAS SOUS 27172 HAS SOUPS 27048 WITH SCORE 27140.251
AT ITER 2449 NEW BEST:: SOT 213525 SOS 92247 HAS SOPS 91643 HAS SOUS 27158 HAS SOUPS 27034 WITH SCORE 27126.247
AT ITER 2451 NEW BEST:: SOT 213512 SOS 90326 HAS SOPS 89722 HAS SOUS 27126 HAS SOUPS 27002 WITH SCORE 27092.326
AT ITER 2453 NEW BEST:: SOT 213512 SOS 90326 HAS SOPS 89722 HAS SOUS 27121 HAS SOUPS 26997 WITH SCORE 27087.326
AT ITER 2457 NEW BEST:: SOT 213510 SOS 90322 HAS SOPS 89718 HAS SOUS 27117 HAS SOUPS 26993 WITH SCORE 27083.322
AT ITER 2463 NEW BEST:: SOT 213510 SOS 90384 HAS SOPS 89780 HAS SOUS 27061 HAS SOUPS 26937 WITH SCORE 27027.384
AT ITER 2470 NEW BEST:: SOT 213433 SOS 90443 HAS SOPS 89839 HAS SOUS 27057 HAS SOUPS 26933 WITH SCORE 27023.443
AT ITER 2497 NEW BEST:: SOT 213431 SOS 90441 HAS SOPS 89837 HAS SOUS 27055 HAS SOUPS 26931 WITH SCORE 27021.441
AT ITER 2498 NEW BEST:: SOT 213440 SOS 90331 HAS SOPS 89727 HAS SOUS 27043 HAS SOUPS 26919 WITH SCORE 27009.331
AT ITER 2502 NEW BEST:: SOT 213428 SOS 90381 HAS SOPS 89777 HAS SOUS 27019 HAS SOUPS 26895 WITH SCORE 26985.381
AT ITER 2505 NEW BEST:: SOT 213392 SOS 90372 HAS SOPS 89768 HAS SOUS 27010 HAS SOUPS 26886 WITH SCORE 26976.372
AT ITER 2534 NEW BEST:: SOT 213315 SOS 90309 HAS SOPS 89705 HAS SOUS 26961 HAS SOUPS 26837 WITH SCORE 26927.309
AT ITER 2535 NEW BEST:: SOT 213262 SOS 90256 HAS SOPS 89652 HAS SOUS 26872 HAS SOUPS 26748 WITH SCORE 26838.256
AT ITER 2543 NEW BEST:: SOT 213256 SOS 91920 HAS SOPS 91316 HAS SOUS 26860 HAS SOUPS 26736 WITH SCORE 26827.92
AT ITER 2567 NEW BEST:: SOT 213280 SOS 91898 HAS SOPS 91294 HAS SOUS 26833 HAS SOUPS 26709 WITH SCORE 26800.898
AT ITER 2577 NEW BEST:: SOT 213269 SOS 91887 HAS SOPS 91283 HAS SOUS 26822 HAS SOUPS 26698 WITH SCORE 26789.887
AT ITER 2603 NEW BEST:: SOT 213256 SOS 91874 HAS SOPS 91270 HAS SOUS 26770 HAS SOUPS 26646 WITH SCORE 26737.874
AT ITER 2614 NEW BEST:: SOT 213187 SOS 91795 HAS SOPS 91191 HAS SOUS 26721 HAS SOUPS 26597 WITH SCORE 26688.795
AT ITER 2619 NEW BEST:: SOT 211829 SOS 90418 HAS SOPS 89822 HAS SOUS 26721 HAS SOUPS 26597 WITH SCORE 26687.418
AT ITER 2683 NEW BEST:: SOT 211869 SOS 90408 HAS SOPS 89812 HAS SOUS 26712 HAS SOUPS 26588 WITH SCORE 26678.408
AT ITER 2697 NEW BEST:: SOT 211866 SOS 88935 HAS SOPS 88339 HAS SOUS 26706 HAS SOUPS 26582 WITH SCORE 26670.935
AT ITER 2707 NEW BEST:: SOT 211853 SOS 88922 HAS SOPS 88326 HAS SOUS 26654 HAS SOUPS 26530 WITH SCORE 26618.922
AT ITER 2716 NEW BEST:: SOT 211845 SOS 88914 HAS SOPS 88318 HAS SOUS 26614 HAS SOUPS 26490 WITH SCORE 26578.914
AT ITER 2717 NEW BEST:: SOT 211721 SOS 88790 HAS SOPS 88194 HAS SOUS 26490 HAS SOUPS 26366 WITH SCORE 26454.79
AT ITER 2720 NEW BEST:: SOT 211721 SOS 88771 HAS SOPS 88175 HAS SOUS 26487 HAS SOUPS 26363 WITH SCORE 26451.771
AT ITER 2758 NEW BEST:: SOT 211720 SOS 88769 HAS SOPS 88173 HAS SOUS 26485 HAS SOUPS 26361 WITH SCORE 26449.769
AT ITER 2759 NEW BEST:: SOT 211685 SOS 88734 HAS SOPS 88138 HAS SOUS 26450 HAS SOUPS 26326 WITH SCORE 26414.734
AT ITER 2771 NEW BEST:: SOT 211688 SOS 88737 HAS SOPS 88141 HAS SOUS 26447 HAS SOUPS 26323 WITH SCORE 26411.737
AT ITER 2774 NEW BEST:: SOT 211685 SOS 88734 HAS SOPS 88138 HAS SOUS 26442 HAS SOUPS 26318 WITH SCORE 26406.734
AT ITER 2788 NEW BEST:: SOT 211662 SOS 88711 HAS SOPS 88115 HAS SOUS 26412 HAS SOUPS 26288 WITH SCORE 26376.711
AT ITER 2789 NEW BEST:: SOT 211646 SOS 88695 HAS SOPS 88099 HAS SOUS 26355 HAS SOUPS 26231 WITH SCORE 26319.695
AT ITER 2795 NEW BEST:: SOT 211628 SOS 88677 HAS SOPS 88081 HAS SOUS 26352 HAS SOUPS 26228 WITH SCORE 26316.677
AT ITER 2833 NEW BEST:: SOT 211628 SOS 88712 HAS SOPS 88116 HAS SOUS 26254 HAS SOUPS 26130 WITH SCORE 26218.712
AT ITER 2858 NEW BEST:: SOT 211628 SOS 88712 HAS SOPS 88116 HAS SOUS 26248 HAS SOUPS 26124 WITH SCORE 26212.712
AT ITER 2871 NEW BEST:: SOT 211623 SOS 88691 HAS SOPS 88095 HAS SOUS 26227 HAS SOUPS 26103 WITH SCORE 26191.691
AT ITER 2876 NEW BEST:: SOT 211575 SOS 88724 HAS SOPS 88128 HAS SOUS 26162 HAS SOUPS 26038 WITH SCORE 26126.724
AT ITER 2881 NEW BEST:: SOT 211555 SOS 88704 HAS SOPS 88108 HAS SOUS 26134 HAS SOUPS 26010 WITH SCORE 26098.704
AT ITER 2914 NEW BEST:: SOT 211539 SOS 88688 HAS SOPS 88092 HAS SOUS 26117 HAS SOUPS 25993 WITH SCORE 26081.688
AT ITER 2932 NEW BEST:: SOT 211401 SOS 88550 HAS SOPS 87954 HAS SOUS 25841 HAS SOUPS 25717 WITH SCORE 25805.55
AT ITER 2938 NEW BEST:: SOT 211378 SOS 88527 HAS SOPS 87931 HAS SOUS 25822 HAS SOUPS 25698 WITH SCORE 25786.527
AT ITER 2948 NEW BEST:: SOT 211257 SOS 88406 HAS SOPS 87810 HAS SOUS 25650 HAS SOUPS 25526 WITH SCORE 25614.406
AT ITER 2983 NEW BEST:: SOT 211244 SOS 88393 HAS SOPS 87797 HAS SOUS 25591 HAS SOUPS 25467 WITH SCORE 25555.393
AT ITER 2987 NEW BEST:: SOT 211256 SOS 88405 HAS SOPS 87809 HAS SOUS 25574 HAS SOUPS 25450 WITH SCORE 25538.405
AT ITER 3012 NEW BEST:: SOT 211256 SOS 88252 HAS SOPS 87656 HAS SOUS 25570 HAS SOUPS 25446 WITH SCORE 25534.252
AT ITER 3028 NEW BEST:: SOT 211205 SOS 88201 HAS SOPS 87605 HAS SOUS 25459 HAS SOUPS 25335 WITH SCORE 25423.201
AT ITER 3033 NEW BEST:: SOT 211205 SOS 88192 HAS SOPS 87596 HAS SOUS 25450 HAS SOUPS 25326 WITH SCORE 25414.192
AT ITER 3050 NEW BEST:: SOT 211203 SOS 88190 HAS SOPS 87594 HAS SOUS 25446 HAS SOUPS 25322 WITH SCORE 25410.19
AT ITER 3063 NEW BEST:: SOT 211135 SOS 88069 HAS SOPS 87473 HAS SOUS 25435 HAS SOUPS 25311 WITH SCORE 25399.069
AT ITER 3099 NEW BEST:: SOT 211119 SOS 88053 HAS SOPS 87457 HAS SOUS 25412 HAS SOUPS 25288 WITH SCORE 25376.053
AT ITER 3105 NEW BEST:: SOT 211119 SOS 88053 HAS SOPS 87457 HAS SOUS 25344 HAS SOUPS 25220 WITH SCORE 25308.053
AT ITER 3116 NEW BEST:: SOT 211119 SOS 88053 HAS SOPS 87457 HAS SOUS 25330 HAS SOUPS 25206 WITH SCORE 25294.053
AT ITER 3126 NEW BEST:: SOT 211115 SOS 88049 HAS SOPS 87453 HAS SOUS 25131 HAS SOUPS 25007 WITH SCORE 25095.049
AT ITER 3138 NEW BEST:: SOT 211111 SOS 88045 HAS SOPS 87449 HAS SOUS 25095 HAS SOUPS 24971 WITH SCORE 25059.045
AT ITER 3144 NEW BEST:: SOT 211029 SOS 87963 HAS SOPS 87367 HAS SOUS 24946 HAS SOUPS 24822 WITH SCORE 24909.963
AT ITER 3145 NEW BEST:: SOT 211024 SOS 87958 HAS SOPS 87362 HAS SOUS 24921 HAS SOUPS 24797 WITH SCORE 24884.958
AT ITER 3175 NEW BEST:: SOT 211013 SOS 87946 HAS SOPS 87350 HAS SOUS 24866 HAS SOUPS 24742 WITH SCORE 24829.946
AT ITER 3211 NEW BEST:: SOT 211009 SOS 87965 HAS SOPS 87369 HAS SOUS 24853 HAS SOUPS 24729 WITH SCORE 24816.965
AT ITER 3217 NEW BEST:: SOT 210979 SOS 87935 HAS SOPS 87339 HAS SOUS 24822 HAS SOUPS 24698 WITH SCORE 24785.935
AT ITER 3224 NEW BEST:: SOT 210959 SOS 87915 HAS SOPS 87319 HAS SOUS 24802 HAS SOUPS 24678 WITH SCORE 24765.915
AT ITER 3250 NEW BEST:: SOT 210940 SOS 87896 HAS SOPS 87300 HAS SOUS 24794 HAS SOUPS 24670 WITH SCORE 24757.896
AT ITER 3252 NEW BEST:: SOT 210919 SOS 87875 HAS SOPS 87279 HAS SOUS 24746 HAS SOUPS 24622 WITH SCORE 24709.875
AT ITER 3267 NEW BEST:: SOT 210899 SOS 87855 HAS SOPS 87259 HAS SOUS 24706 HAS SOUPS 24582 WITH SCORE 24669.855
AT ITER 3311 NEW BEST:: SOT 210900 SOS 87856 HAS SOPS 87260 HAS SOUS 24702 HAS SOUPS 24578 WITH SCORE 24665.856
AT ITER 3312 NEW BEST:: SOT 210889 SOS 87939 HAS SOPS 87343 HAS SOUS 24680 HAS SOUPS 24556 WITH SCORE 24643.939
AT ITER 3379 NEW BEST:: SOT 210829 SOS 87879 HAS SOPS 87283 HAS SOUS 24500 HAS SOUPS 24376 WITH SCORE 24463.879
AT ITER 3439 NEW BEST:: SOT 210803 SOS 87874 HAS SOPS 87278 HAS SOUS 24491 HAS SOUPS 24367 WITH SCORE 24454.874
AT ITER 3440 NEW BEST:: SOT 210745 SOS 87816 HAS SOPS 87220 HAS SOUS 24400 HAS SOUPS 24276 WITH SCORE 24363.816
AT ITER 3451 NEW BEST:: SOT 210746 SOS 87817 HAS SOPS 87221 HAS SOUS 24386 HAS SOUPS 24262 WITH SCORE 24349.817
AT ITER 3455 NEW BEST:: SOT 210737 SOS 87799 HAS SOPS 87203 HAS SOUS 24368 HAS SOUPS 24244 WITH SCORE 24331.799
AT ITER 3468 NEW BEST:: SOT 210512 SOS 87469 HAS SOPS 86873 HAS SOUS 24331 HAS SOUPS 24207 WITH SCORE 24294.469
AT ITER 3502 NEW BEST:: SOT 210500 SOS 87457 HAS SOPS 86861 HAS SOUS 24325 HAS SOUPS 24201 WITH SCORE 24288.457
AT ITER 3504 NEW BEST:: SOT 210495 SOS 87452 HAS SOPS 86856 HAS SOUS 24315 HAS SOUPS 24191 WITH SCORE 24278.452
AT ITER 3505 NEW BEST:: SOT 210486 SOS 87443 HAS SOPS 86847 HAS SOUS 24284 HAS SOUPS 24160 WITH SCORE 24247.443
AT ITER 3517 NEW BEST:: SOT 210479 SOS 87457 HAS SOPS 86861 HAS SOUS 24270 HAS SOUPS 24146 WITH SCORE 24233.457
AT ITER 3559 NEW BEST:: SOT 210489 SOS 87411 HAS SOPS 86815 HAS SOUS 24264 HAS SOUPS 24140 WITH SCORE 24227.411
AT ITER 3592 NEW BEST:: SOT 210475 SOS 87429 HAS SOPS 86833 HAS SOUS 24236 HAS SOUPS 24112 WITH SCORE 24199.429
AT ITER 3609 NEW BEST:: SOT 210450 SOS 87404 HAS SOPS 86808 HAS SOUS 24186 HAS SOUPS 24062 WITH SCORE 24149.404
AT ITER 3623 NEW BEST:: SOT 210461 SOS 87415 HAS SOPS 86819 HAS SOUS 24185 HAS SOUPS 24061 WITH SCORE 24148.415
AT ITER 3627 NEW BEST:: SOT 210397 SOS 87351 HAS SOPS 86755 HAS SOUS 24053 HAS SOUPS 23929 WITH SCORE 24016.351
AT ITER 3636 NEW BEST:: SOT 210418 SOS 87372 HAS SOPS 86776 HAS SOUS 24034 HAS SOUPS 23910 WITH SCORE 23997.372
AT ITER 3645 NEW BEST:: SOT 210418 SOS 87370 HAS SOPS 86774 HAS SOUS 24030 HAS SOUPS 23906 WITH SCORE 23993.37
AT ITER 3727 NEW BEST:: SOT 210412 SOS 87379 HAS SOPS 86783 HAS SOUS 24019 HAS SOUPS 23895 WITH SCORE 23982.379
AT ITER 3752 NEW BEST:: SOT 209998 SOS 86965 HAS SOPS 86369 HAS SOUS 23572 HAS SOUPS 23448 WITH SCORE 23534.965
AT ITER 3754 NEW BEST:: SOT 209985 SOS 86952 HAS SOPS 86356 HAS SOUS 23531 HAS SOUPS 23407 WITH SCORE 23493.952
AT ITER 3796 NEW BEST:: SOT 209975 SOS 86930 HAS SOPS 86334 HAS SOUS 23501 HAS SOUPS 23377 WITH SCORE 23463.93
AT ITER 3815 NEW BEST:: SOT 209957 SOS 86912 HAS SOPS 86316 HAS SOUS 23477 HAS SOUPS 23353 WITH SCORE 23439.912
AT ITER 3834 NEW BEST:: SOT 209951 SOS 86906 HAS SOPS 86310 HAS SOUS 23462 HAS SOUPS 23338 WITH SCORE 23424.906
AT ITER 3863 NEW BEST:: SOT 209951 SOS 86899 HAS SOPS 86303 HAS SOUS 23448 HAS SOUPS 23324 WITH SCORE 23410.899
AT ITER 3886 NEW BEST:: SOT 209945 SOS 86896 HAS SOPS 86300 HAS SOUS 23442 HAS SOUPS 23318 WITH SCORE 23404.896
AT ITER 3887 NEW BEST:: SOT 209935 SOS 86911 HAS SOPS 86315 HAS SOUS 23433 HAS SOUPS 23309 WITH SCORE 23395.911
AT ITER 3890 NEW BEST:: SOT 209933 SOS 86804 HAS SOPS 86208 HAS SOUS 23431 HAS SOUPS 23307 WITH SCORE 23393.804
AT ITER 3891 NEW BEST:: SOT 209900 SOS 86790 HAS SOPS 86194 HAS SOUS 23422 HAS SOUPS 23298 WITH SCORE 23384.79
AT ITER 3897 NEW BEST:: SOT 209843 SOS 86733 HAS SOPS 86137 HAS SOUS 23356 HAS SOUPS 23232 WITH SCORE 23318.733
AT ITER 3929 NEW BEST:: SOT 209829 SOS 86719 HAS SOPS 86123 HAS SOUS 23328 HAS SOUPS 23204 WITH SCORE 23290.719
AT ITER 3930 NEW BEST:: SOT 209789 SOS 84039 HAS SOPS 83443 HAS SOUS 23238 HAS SOUPS 23114 WITH SCORE 23198.039
AT ITER 3932 NEW BEST:: SOT 209791 SOS 84041 HAS SOPS 83445 HAS SOUS 23232 HAS SOUPS 23108 WITH SCORE 23192.041
AT ITER 3934 NEW BEST:: SOT 209753 SOS 84003 HAS SOPS 83407 HAS SOUS 23168 HAS SOUPS 23044 WITH SCORE 23128.003
AT ITER 3942 NEW BEST:: SOT 209720 SOS 83857 HAS SOPS 83261 HAS SOUS 23093 HAS SOUPS 22969 WITH SCORE 23052.857
AT ITER 3972 NEW BEST:: SOT 209757 SOS 83907 HAS SOPS 83311 HAS SOUS 23085 HAS SOUPS 22961 WITH SCORE 23044.907
AT ITER 3979 NEW BEST:: SOT 209738 SOS 83909 HAS SOPS 83313 HAS SOUS 23052 HAS SOUPS 22928 WITH SCORE 23011.909
AT ITER 3990 NEW BEST:: SOT 209720 SOS 83866 HAS SOPS 83270 HAS SOUS 23018 HAS SOUPS 22894 WITH SCORE 22977.866
AT ITER 3999 NEW BEST:: SOT 209651 SOS 83834 HAS SOPS 83238 HAS SOUS 23016 HAS SOUPS 22892 WITH SCORE 22975.834
AT ITER 4020 NEW BEST:: SOT 209651 SOS 83822 HAS SOPS 83226 HAS SOUS 23016 HAS SOUPS 22892 WITH SCORE 22975.822
AT ITER 4027 NEW BEST:: SOT 209646 SOS 83770 HAS SOPS 83174 HAS SOUS 22912 HAS SOUPS 22788 WITH SCORE 22871.77
AT ITER 4046 NEW BEST:: SOT 209646 SOS 83761 HAS SOPS 83165 HAS SOUS 22898 HAS SOUPS 22774 WITH SCORE 22857.761
AT ITER 4053 NEW BEST:: SOT 209665 SOS 83766 HAS SOPS 83170 HAS SOUS 22888 HAS SOUPS 22764 WITH SCORE 22847.766
AT ITER 4063 NEW BEST:: SOT 209641 SOS 83742 HAS SOPS 83146 HAS SOUS 22845 HAS SOUPS 22721 WITH SCORE 22804.742
AT ITER 4072 NEW BEST:: SOT 209630 SOS 83593 HAS SOPS 82997 HAS SOUS 22816 HAS SOUPS 22692 WITH SCORE 22775.593
AT ITER 4075 NEW BEST:: SOT 209622 SOS 83585 HAS SOPS 82989 HAS SOUS 22808 HAS SOUPS 22684 WITH SCORE 22767.585
AT ITER 4085 NEW BEST:: SOT 209588 SOS 83551 HAS SOPS 82955 HAS SOUS 22741 HAS SOUPS 22617 WITH SCORE 22700.551
AT ITER 4086 NEW BEST:: SOT 209580 SOS 83473 HAS SOPS 82877 HAS SOUS 22673 HAS SOUPS 22549 WITH SCORE 22632.473
AT ITER 4172 NEW BEST:: SOT 209553 SOS 83439 HAS SOPS 82843 HAS SOUS 22626 HAS SOUPS 22502 WITH SCORE 22585.439
AT ITER 4178 NEW BEST:: SOT 209546 SOS 81659 HAS SOPS 81073 HAS SOUS 22600 HAS SOUPS 22476 WITH SCORE 22557.659
AT ITER 4231 NEW BEST:: SOT 209548 SOS 81661 HAS SOPS 81075 HAS SOUS 22598 HAS SOUPS 22474 WITH SCORE 22555.661
AT ITER 4236 NEW BEST:: SOT 209542 SOS 81655 HAS SOPS 81069 HAS SOUS 22592 HAS SOUPS 22468 WITH SCORE 22549.655
AT ITER 4242 NEW BEST:: SOT 209470 SOS 81622 HAS SOPS 81036 HAS SOUS 22481 HAS SOUPS 22357 WITH SCORE 22438.622
AT ITER 4245 NEW BEST:: SOT 209468 SOS 81620 HAS SOPS 81034 HAS SOUS 22475 HAS SOUPS 22351 WITH SCORE 22432.62
AT ITER 4248 NEW BEST:: SOT 209455 SOS 81617 HAS SOPS 81031 HAS SOUS 22469 HAS SOUPS 22345 WITH SCORE 22426.617
AT ITER 4280 NEW BEST:: SOT 209461 SOS 81639 HAS SOPS 81053 HAS SOUS 22465 HAS SOUPS 22341 WITH SCORE 22422.639
AT ITER 4294 NEW BEST:: SOT 209447 SOS 81563 HAS SOPS 80977 HAS SOUS 22434 HAS SOUPS 22310 WITH SCORE 22391.563
AT ITER 4309 NEW BEST:: SOT 209447 SOS 81555 HAS SOPS 80969 HAS SOUS 22434 HAS SOUPS 22310 WITH SCORE 22391.555
AT ITER 4376 NEW BEST:: SOT 209444 SOS 81552 HAS SOPS 80966 HAS SOUS 22428 HAS SOUPS 22304 WITH SCORE 22385.552
AT ITER 4379 NEW BEST:: SOT 209442 SOS 81550 HAS SOPS 80964 HAS SOUS 22426 HAS SOUPS 22302 WITH SCORE 22383.55
AT ITER 4383 NEW BEST:: SOT 209408 SOS 81516 HAS SOPS 80930 HAS SOUS 22392 HAS SOUPS 22268 WITH SCORE 22349.516
AT ITER 4440 NEW BEST:: SOT 209401 SOS 81572 HAS SOPS 80986 HAS SOUS 22390 HAS SOUPS 22266 WITH SCORE 22347.572
AT ITER 4458 NEW BEST:: SOT 209399 SOS 81570 HAS SOPS 80984 HAS SOUS 22381 HAS SOUPS 22257 WITH SCORE 22338.57
AT ITER 4474 NEW BEST:: SOT 209373 SOS 81544 HAS SOPS 80958 HAS SOUS 22355 HAS SOUPS 22231 WITH SCORE 22312.544
AT ITER 4483 NEW BEST:: SOT 209303 SOS 81474 HAS SOPS 80888 HAS SOUS 22259 HAS SOUPS 22135 WITH SCORE 22216.474
AT ITER 4494 NEW BEST:: SOT 209303 SOS 81474 HAS SOPS 80888 HAS SOUS 22258 HAS SOUPS 22134 WITH SCORE 22215.474
AT ITER 4499 NEW BEST:: SOT 209243 SOS 81414 HAS SOPS 80828 HAS SOUS 22159 HAS SOUPS 22035 WITH SCORE 22116.414
AT ITER 4505 NEW BEST:: SOT 209243 SOS 81381 HAS SOPS 80795 HAS SOUS 22159 HAS SOUPS 22035 WITH SCORE 22116.381
AT ITER 4510 NEW BEST:: SOT 209242 SOS 81379 HAS SOPS 80793 HAS SOUS 22157 HAS SOUPS 22033 WITH SCORE 22114.379
AT ITER 4535 NEW BEST:: SOT 209186 SOS 81323 HAS SOPS 80737 HAS SOUS 22066 HAS SOUPS 21942 WITH SCORE 22023.323
AT ITER 4552 NEW BEST:: SOT 209180 SOS 81311 HAS SOPS 80725 HAS SOUS 22054 HAS SOUPS 21930 WITH SCORE 22011.311
AT ITER 4559 NEW BEST:: SOT 209166 SOS 81217 HAS SOPS 80631 HAS SOUS 22036 HAS SOUPS 21912 WITH SCORE 21993.217
AT ITER 4572 NEW BEST:: SOT 209157 SOS 81208 HAS SOPS 80622 HAS SOUS 22027 HAS SOUPS 21903 WITH SCORE 21984.208
AT ITER 4582 NEW BEST:: SOT 209157 SOS 81204 HAS SOPS 80618 HAS SOUS 22027 HAS SOUPS 21903 WITH SCORE 21984.204
AT ITER 4587 NEW BEST:: SOT 209121 SOS 81168 HAS SOPS 80582 HAS SOUS 21972 HAS SOUPS 21848 WITH SCORE 21929.168
AT ITER 4608 NEW BEST:: SOT 209102 SOS 81152 HAS SOPS 80566 HAS SOUS 21939 HAS SOUPS 21815 WITH SCORE 21896.152
AT ITER 4646 NEW BEST:: SOT 209092 SOS 81142 HAS SOPS 80556 HAS SOUS 21924 HAS SOUPS 21800 WITH SCORE 21881.142
AT ITER 4676 NEW BEST:: SOT 209120 SOS 81170 HAS SOPS 80584 HAS SOUS 21919 HAS SOUPS 21795 WITH SCORE 21876.17
AT ITER 4713 NEW BEST:: SOT 209120 SOS 81161 HAS SOPS 80575 HAS SOUS 21919 HAS SOUPS 21795 WITH SCORE 21876.161
AT ITER 4768 NEW BEST:: SOT 209114 SOS 81092 HAS SOPS 80506 HAS SOUS 21895 HAS SOUPS 21771 WITH SCORE 21852.092
AT ITER 4769 NEW BEST:: SOT 209159 SOS 81137 HAS SOPS 80551 HAS SOUS 21875 HAS SOUPS 21751 WITH SCORE 21832.137
AT ITER 4822 NEW BEST:: SOT 209154 SOS 81132 HAS SOPS 80546 HAS SOUS 21864 HAS SOUPS 21740 WITH SCORE 21821.132
AT ITER 4834 NEW BEST:: SOT 209145 SOS 81128 HAS SOPS 80542 HAS SOUS 21860 HAS SOUPS 21736 WITH SCORE 21817.128
AT ITER 4891 NEW BEST:: SOT 209136 SOS 81119 HAS SOPS 80533 HAS SOUS 21848 HAS SOUPS 21724 WITH SCORE 21805.119
AT ITER 4905 NEW BEST:: SOT 209188 SOS 81193 HAS SOPS 80607 HAS SOUS 21834 HAS SOUPS 21710 WITH SCORE 21791.193
AT ITER 4933 NEW BEST:: SOT 209179 SOS 81184 HAS SOPS 80598 HAS SOUS 21825 HAS SOUPS 21701 WITH SCORE 21782.184
AT ITER 4943 NEW BEST:: SOT 209162 SOS 81167 HAS SOPS 80581 HAS SOUS 21802 HAS SOUPS 21678 WITH SCORE 21759.167
AT ITER 4958 NEW BEST:: SOT 209152 SOS 81157 HAS SOPS 80571 HAS SOUS 21782 HAS SOUPS 21658 WITH SCORE 21739.157
AT ITER 4991 NEW BEST:: SOT 209146 SOS 81151 HAS SOPS 80565 HAS SOUS 21770 HAS SOUPS 21646 WITH SCORE 21727.151
AT ITER 4993 NEW BEST:: SOT 209146 SOS 81151 HAS SOPS 80565 HAS SOUS 21765 HAS SOUPS 21641 WITH SCORE 21722.151
AT ITER 5000 NEW BEST:: SOT 209146 SOS 79025 HAS SOPS 78439 HAS SOUS 21765 HAS SOUPS 21641 WITH SCORE 21720.025
AT ITER 5012 NEW BEST:: SOT 209132 SOS 79012 HAS SOPS 78426 HAS SOUS 21722 HAS SOUPS 21598 WITH SCORE 21677.012
AT ITER 5031 NEW BEST:: SOT 209107 SOS 79000 HAS SOPS 78414 HAS SOUS 21700 HAS SOUPS 21576 WITH SCORE 21655.0
AT ITER 5036 NEW BEST:: SOT 209092 SOS 78985 HAS SOPS 78399 HAS SOUS 21685 HAS SOUPS 21561 WITH SCORE 21639.985
AT ITER 5075 NEW BEST:: SOT 209076 SOS 78969 HAS SOPS 78383 HAS SOUS 21663 HAS SOUPS 21539 WITH SCORE 21617.969
AT ITER 5135 NEW BEST:: SOT 209076 SOS 78957 HAS SOPS 78371 HAS SOUS 21656 HAS SOUPS 21532 WITH SCORE 21610.957
AT ITER 5168 NEW BEST:: SOT 209074 SOS 78955 HAS SOPS 78369 HAS SOUS 21654 HAS SOUPS 21530 WITH SCORE 21608.955
AT ITER 5255 NEW BEST:: SOT 209065 SOS 78946 HAS SOPS 78360 HAS SOUS 21645 HAS SOUPS 21521 WITH SCORE 21599.946
AT ITER 5274 NEW BEST:: SOT 209055 SOS 78936 HAS SOPS 78350 HAS SOUS 21634 HAS SOUPS 21510 WITH SCORE 21588.936
AT ITER 5288 NEW BEST:: SOT 209038 SOS 78919 HAS SOPS 78333 HAS SOUS 21600 HAS SOUPS 21476 WITH SCORE 21554.919
AT ITER 5289 NEW BEST:: SOT 208992 SOS 78873 HAS SOPS 78287 HAS SOUS 21503 HAS SOUPS 21379 WITH SCORE 21457.873
AT ITER 5337 NEW BEST:: SOT 208989 SOS 78870 HAS SOPS 78284 HAS SOUS 21496 HAS SOUPS 21372 WITH SCORE 21450.87
AT ITER 5342 NEW BEST:: SOT 208987 SOS 78938 HAS SOPS 78352 HAS SOUS 21490 HAS SOUPS 21366 WITH SCORE 21444.938
AT ITER 5434 NEW BEST:: SOT 208955 SOS 78906 HAS SOPS 78320 HAS SOUS 21434 HAS SOUPS 21310 WITH SCORE 21388.906
AT ITER 5507 NEW BEST:: SOT 208893 SOS 78844 HAS SOPS 78258 HAS SOUS 21411 HAS SOUPS 21287 WITH SCORE 21365.844
AT ITER 5508 NEW BEST:: SOT 208873 SOS 78824 HAS SOPS 78238 HAS SOUS 21390 HAS SOUPS 21266 WITH SCORE 21344.824
AT ITER 5527 NEW BEST:: SOT 208869 SOS 78816 HAS SOPS 78230 HAS SOUS 21382 HAS SOUPS 21258 WITH SCORE 21336.816
AT ITER 5565 NEW BEST:: SOT 208822 SOS 78769 HAS SOPS 78183 HAS SOUS 21303 HAS SOUPS 21179 WITH SCORE 21257.769
AT ITER 5644 NEW BEST:: SOT 208790 SOS 78319 HAS SOPS 77733 HAS SOUS 21252 HAS SOUPS 21128 WITH SCORE 21206.319
AT ITER 5656 NEW BEST:: SOT 208790 SOS 79099 HAS SOPS 78536 HAS SOUS 21238 HAS SOUPS 21114 WITH SCORE 21193.099
AT ITER 5682 NEW BEST:: SOT 208785 SOS 79126 HAS SOPS 78563 HAS SOUS 21228 HAS SOUPS 21104 WITH SCORE 21183.126
AT ITER 5703 NEW BEST:: SOT 208757 SOS 79033 HAS SOPS 78470 HAS SOUS 21172 HAS SOUPS 21048 WITH SCORE 21127.033
AT ITER 5732 NEW BEST:: SOT 208757 SOS 79033 HAS SOPS 78470 HAS SOUS 21170 HAS SOUPS 21046 WITH SCORE 21125.033
AT ITER 5739 NEW BEST:: SOT 208722 SOS 78998 HAS SOPS 78435 HAS SOUS 21135 HAS SOUPS 21011 WITH SCORE 21089.998
AT ITER 5772 NEW BEST:: SOT 208694 SOS 78970 HAS SOPS 78407 HAS SOUS 21057 HAS SOUPS 20933 WITH SCORE 21011.97
AT ITER 5880 NEW BEST:: SOT 208726 SOS 79002 HAS SOPS 78439 HAS SOUS 20982 HAS SOUPS 20858 WITH SCORE 20937.002
AT ITER 5946 NEW BEST:: SOT 208705 SOS 78981 HAS SOPS 78418 HAS SOUS 20951 HAS SOUPS 20827 WITH SCORE 20905.981
AT ITER 5967 NEW BEST:: SOT 208704 SOS 78980 HAS SOPS 78417 HAS SOUS 20946 HAS SOUPS 20822 WITH SCORE 20900.98
AT ITER 5970 NEW BEST:: SOT 208704 SOS 78980 HAS SOPS 78417 HAS SOUS 20936 HAS SOUPS 20812 WITH SCORE 20890.98
AT ITER 6001 NEW BEST:: SOT 208698 SOS 78974 HAS SOPS 78411 HAS SOUS 20924 HAS SOUPS 20800 WITH SCORE 20878.974
AT ITER 6033 NEW BEST:: SOT 208693 SOS 78969 HAS SOPS 78406 HAS SOUS 20884 HAS SOUPS 20760 WITH SCORE 20838.969
AT ITER 6034 NEW BEST:: SOT 208697 SOS 78887 HAS SOPS 78320 HAS SOUS 20824 HAS SOUPS 20700 WITH SCORE 20778.887
AT ITER 6088 NEW BEST:: SOT 208688 SOS 78878 HAS SOPS 78311 HAS SOUS 20815 HAS SOUPS 20691 WITH SCORE 20769.878
AT ITER 6220 NEW BEST:: SOT 208735 SOS 78925 HAS SOPS 78358 HAS SOUS 20730 HAS SOUPS 20606 WITH SCORE 20684.925
AT ITER 6229 NEW BEST:: SOT 208705 SOS 78895 HAS SOPS 78328 HAS SOUS 20700 HAS SOUPS 20576 WITH SCORE 20654.895
AT ITER 6242 NEW BEST:: SOT 208705 SOS 78895 HAS SOPS 78328 HAS SOUS 20699 HAS SOUPS 20575 WITH SCORE 20653.895
AT ITER 6262 NEW BEST:: SOT 208700 SOS 78890 HAS SOPS 78323 HAS SOUS 20686 HAS SOUPS 20562 WITH SCORE 20640.89
AT ITER 6289 NEW BEST:: SOT 208687 SOS 78877 HAS SOPS 78310 HAS SOUS 20672 HAS SOUPS 20548 WITH SCORE 20626.877
AT ITER 6328 NEW BEST:: SOT 208683 SOS 78873 HAS SOPS 78306 HAS SOUS 20668 HAS SOUPS 20544 WITH SCORE 20622.873
AT ITER 6390 NEW BEST:: SOT 208682 SOS 78873 HAS SOPS 78305 HAS SOUS 20650 HAS SOUPS 20526 WITH SCORE 20604.873
AT ITER 6392 NEW BEST:: SOT 208682 SOS 78873 HAS SOPS 78305 HAS SOUS 20637 HAS SOUPS 20513 WITH SCORE 20591.873
AT ITER 6407 NEW BEST:: SOT 208679 SOS 78879 HAS SOPS 78311 HAS SOUS 20625 HAS SOUPS 20501 WITH SCORE 20579.879
AT ITER 6423 NEW BEST:: SOT 208680 SOS 78873 HAS SOPS 78305 HAS SOUS 20619 HAS SOUPS 20495 WITH SCORE 20573.873
AT ITER 6442 NEW BEST:: SOT 208686 SOS 78860 HAS SOPS 78292 HAS SOUS 20599 HAS SOUPS 20475 WITH SCORE 20553.86
AT ITER 6448 NEW BEST:: SOT 208691 SOS 78865 HAS SOPS 78297 HAS SOUS 20588 HAS SOUPS 20464 WITH SCORE 20542.865
AT ITER 6505 NEW BEST:: SOT 208691 SOS 78865 HAS SOPS 78297 HAS SOUS 20558 HAS SOUPS 20434 WITH SCORE 20512.865
AT ITER 6519 NEW BEST:: SOT 208688 SOS 78862 HAS SOPS 78294 HAS SOUS 20537 HAS SOUPS 20413 WITH SCORE 20491.862
AT ITER 6525 NEW BEST:: SOT 208685 SOS 78859 HAS SOPS 78291 HAS SOUS 20531 HAS SOUPS 20407 WITH SCORE 20485.859
AT ITER 6526 NEW BEST:: SOT 208672 SOS 78846 HAS SOPS 78278 HAS SOUS 20489 HAS SOUPS 20365 WITH SCORE 20443.846
AT ITER 6542 NEW BEST:: SOT 208670 SOS 78842 HAS SOPS 78274 HAS SOUS 20485 HAS SOUPS 20361 WITH SCORE 20439.842
AT ITER 6553 NEW BEST:: SOT 208664 SOS 78836 HAS SOPS 78268 HAS SOUS 20479 HAS SOUPS 20355 WITH SCORE 20433.836
AT ITER 6559 NEW BEST:: SOT 208659 SOS 78831 HAS SOPS 78263 HAS SOUS 20471 HAS SOUPS 20347 WITH SCORE 20425.831
AT ITER 6596 NEW BEST:: SOT 208650 SOS 78822 HAS SOPS 78254 HAS SOUS 20456 HAS SOUPS 20332 WITH SCORE 20410.822
AT ITER 6598 NEW BEST:: SOT 208658 SOS 78830 HAS SOPS 78262 HAS SOUS 20440 HAS SOUPS 20316 WITH SCORE 20394.83
AT ITER 6624 NEW BEST:: SOT 208641 SOS 78813 HAS SOPS 78245 HAS SOUS 20423 HAS SOUPS 20299 WITH SCORE 20377.813
AT ITER 6672 NEW BEST:: SOT 208627 SOS 78806 HAS SOPS 78238 HAS SOUS 20419 HAS SOUPS 20295 WITH SCORE 20373.806
AT ITER 6699 NEW BEST:: SOT 208618 SOS 78797 HAS SOPS 78229 HAS SOUS 20388 HAS SOUPS 20264 WITH SCORE 20342.797
AT ITER 6705 NEW BEST:: SOT 208592 SOS 78771 HAS SOPS 78203 HAS SOUS 20365 HAS SOUPS 20241 WITH SCORE 20319.771
AT ITER 6760 NEW BEST:: SOT 208589 SOS 78768 HAS SOPS 78200 HAS SOUS 20359 HAS SOUPS 20235 WITH SCORE 20313.768
AT ITER 6772 NEW BEST:: SOT 208576 SOS 78755 HAS SOPS 78187 HAS SOUS 20337 HAS SOUPS 20213 WITH SCORE 20291.755
AT ITER 6786 NEW BEST:: SOT 208561 SOS 78740 HAS SOPS 78172 HAS SOUS 20299 HAS SOUPS 20175 WITH SCORE 20253.74
AT ITER 6822 NEW BEST:: SOT 208531 SOS 78710 HAS SOPS 78142 HAS SOUS 20239 HAS SOUPS 20115 WITH SCORE 20193.71
AT ITER 6836 NEW BEST:: SOT 208491 SOS 78670 HAS SOPS 78102 HAS SOUS 20139 HAS SOUPS 20015 WITH SCORE 20093.67
AT ITER 6845 NEW BEST:: SOT 208484 SOS 78663 HAS SOPS 78095 HAS SOUS 20132 HAS SOUPS 20008 WITH SCORE 20086.663
AT ITER 6978 NEW BEST:: SOT 208474 SOS 78653 HAS SOPS 78085 HAS SOUS 20114 HAS SOUPS 19990 WITH SCORE 20068.653
AT ITER 7007 NEW BEST:: SOT 208470 SOS 78649 HAS SOPS 78081 HAS SOUS 20110 HAS SOUPS 19986 WITH SCORE 20064.649
AT ITER 7013 NEW BEST:: SOT 208381 SOS 78560 HAS SOPS 77992 HAS SOUS 20035 HAS SOUPS 19911 WITH SCORE 19989.56
AT ITER 7039 NEW BEST:: SOT 208381 SOS 78560 HAS SOPS 77992 HAS SOUS 20032 HAS SOUPS 19908 WITH SCORE 19986.56
AT ITER 7090 NEW BEST:: SOT 208381 SOS 78561 HAS SOPS 77993 HAS SOUS 20031 HAS SOUPS 19907 WITH SCORE 19985.561
AT ITER 7108 NEW BEST:: SOT 208381 SOS 78561 HAS SOPS 77993 HAS SOUS 20029 HAS SOUPS 19905 WITH SCORE 19983.561
AT ITER 7132 NEW BEST:: SOT 208381 SOS 78560 HAS SOPS 77992 HAS SOUS 20027 HAS SOUPS 19903 WITH SCORE 19981.56
AT ITER 7139 NEW BEST:: SOT 208360 SOS 78573 HAS SOPS 78005 HAS SOUS 20002 HAS SOUPS 19878 WITH SCORE 19956.573
AT ITER 7147 NEW BEST:: SOT 208346 SOS 78571 HAS SOPS 78003 HAS SOUS 19998 HAS SOUPS 19874 WITH SCORE 19952.571
AT ITER 7176 NEW BEST:: SOT 208344 SOS 78615 HAS SOPS 78047 HAS SOUS 19994 HAS SOUPS 19870 WITH SCORE 19948.615
AT ITER 7188 NEW BEST:: SOT 208343 SOS 78614 HAS SOPS 78046 HAS SOUS 19988 HAS SOUPS 19864 WITH SCORE 19942.614
AT ITER 7212 NEW BEST:: SOT 208369 SOS 78640 HAS SOPS 78072 HAS SOUS 19910 HAS SOUPS 19786 WITH SCORE 19864.64
AT ITER 7223 NEW BEST:: SOT 208328 SOS 78610 HAS SOPS 78042 HAS SOUS 19858 HAS SOUPS 19734 WITH SCORE 19812.61
AT ITER 7243 NEW BEST:: SOT 208332 SOS 78704 HAS SOPS 78056 HAS SOUS 19872 HAS SOUPS 19732 WITH SCORE 19810.704
AT ITER 7265 NEW BEST:: SOT 208281 SOS 78684 HAS SOPS 78036 HAS SOUS 19832 HAS SOUPS 19692 WITH SCORE 19770.684
AT ITER 7284 NEW BEST:: SOT 208278 SOS 78681 HAS SOPS 78033 HAS SOUS 19826 HAS SOUPS 19686 WITH SCORE 19764.681
AT ITER 7296 NEW BEST:: SOT 208237 SOS 78640 HAS SOPS 77992 HAS SOUS 19762 HAS SOUPS 19622 WITH SCORE 19700.64
AT ITER 7301 NEW BEST:: SOT 208231 SOS 78628 HAS SOPS 77980 HAS SOUS 19750 HAS SOUPS 19610 WITH SCORE 19688.628
AT ITER 7336 NEW BEST:: SOT 208221 SOS 78621 HAS SOPS 77973 HAS SOUS 19744 HAS SOUPS 19604 WITH SCORE 19682.621
AT ITER 7348 NEW BEST:: SOT 208199 SOS 78668 HAS SOPS 78020 HAS SOUS 19705 HAS SOUPS 19565 WITH SCORE 19643.668
AT ITER 7391 NEW BEST:: SOT 208183 SOS 78654 HAS SOPS 78006 HAS SOUS 19671 HAS SOUPS 19531 WITH SCORE 19609.654
AT ITER 7407 NEW BEST:: SOT 208183 SOS 78700 HAS SOPS 78052 HAS SOUS 19669 HAS SOUPS 19529 WITH SCORE 19607.7
AT ITER 7419 NEW BEST:: SOT 208180 SOS 78697 HAS SOPS 78049 HAS SOUS 19648 HAS SOUPS 19508 WITH SCORE 19586.697
AT ITER 7502 NEW BEST:: SOT 208159 SOS 78676 HAS SOPS 78028 HAS SOUS 19609 HAS SOUPS 19469 WITH SCORE 19547.676
AT ITER 7513 NEW BEST:: SOT 208103 SOS 78646 HAS SOPS 77998 HAS SOUS 19549 HAS SOUPS 19409 WITH SCORE 19487.646
AT ITER 7519 NEW BEST:: SOT 208097 SOS 78640 HAS SOPS 77992 HAS SOUS 19541 HAS SOUPS 19401 WITH SCORE 19479.64
AT ITER 7522 NEW BEST:: SOT 208084 SOS 78627 HAS SOPS 77979 HAS SOUS 19520 HAS SOUPS 19380 WITH SCORE 19458.627
AT ITER 7526 NEW BEST:: SOT 208083 SOS 78626 HAS SOPS 77978 HAS SOUS 19517 HAS SOUPS 19377 WITH SCORE 19455.626
AT ITER 7528 NEW BEST:: SOT 208083 SOS 78623 HAS SOPS 77975 HAS SOUS 19517 HAS SOUPS 19377 WITH SCORE 19455.623
AT ITER 7594 NEW BEST:: SOT 208086 SOS 78626 HAS SOPS 77978 HAS SOUS 19511 HAS SOUPS 19371 WITH SCORE 19449.626
AT ITER 7597 NEW BEST:: SOT 208086 SOS 78589 HAS SOPS 77941 HAS SOUS 19499 HAS SOUPS 19359 WITH SCORE 19437.589
AT ITER 7610 NEW BEST:: SOT 208081 SOS 78584 HAS SOPS 77936 HAS SOUS 19491 HAS SOUPS 19351 WITH SCORE 19429.584
AT ITER 7620 NEW BEST:: SOT 208077 SOS 78576 HAS SOPS 77928 HAS SOUS 19488 HAS SOUPS 19348 WITH SCORE 19426.576
AT ITER 7637 NEW BEST:: SOT 208074 SOS 78570 HAS SOPS 77922 HAS SOUS 19482 HAS SOUPS 19342 WITH SCORE 19420.57
AT ITER 7670 NEW BEST:: SOT 208071 SOS 78567 HAS SOPS 77919 HAS SOUS 19470 HAS SOUPS 19330 WITH SCORE 19408.567
AT ITER 7705 NEW BEST:: SOT 208059 SOS 78555 HAS SOPS 77907 HAS SOUS 19461 HAS SOUPS 19321 WITH SCORE 19399.555
AT ITER 7734 NEW BEST:: SOT 208065 SOS 78263 HAS SOPS 77615 HAS SOUS 19423 HAS SOUPS 19283 WITH SCORE 19361.263
AT ITER 7798 NEW BEST:: SOT 208019 SOS 78217 HAS SOPS 77569 HAS SOUS 19283 HAS SOUPS 19143 WITH SCORE 19221.217
AT ITER 7809 NEW BEST:: SOT 208015 SOS 85713 HAS SOPS 85065 HAS SOUS 19275 HAS SOUPS 19135 WITH SCORE 19220.713
AT ITER 7827 NEW BEST:: SOT 208019 SOS 85717 HAS SOPS 85069 HAS SOUS 19267 HAS SOUPS 19127 WITH SCORE 19212.717
AT ITER 7907 NEW BEST:: SOT 208019 SOS 85509 HAS SOPS 84850 HAS SOUS 19265 HAS SOUPS 19125 WITH SCORE 19210.509
AT ITER 7953 NEW BEST:: SOT 208019 SOS 85320 HAS SOPS 84652 HAS SOUS 19265 HAS SOUPS 19125 WITH SCORE 19210.32
AT ITER 8074 NEW BEST:: SOT 208033 SOS 85334 HAS SOPS 84666 HAS SOUS 19245 HAS SOUPS 19105 WITH SCORE 19190.334
AT ITER 8083 NEW BEST:: SOT 207992 SOS 85293 HAS SOPS 84625 HAS SOUS 19184 HAS SOUPS 19044 WITH SCORE 19129.293
AT ITER 8090 NEW BEST:: SOT 207983 SOS 85303 HAS SOPS 84635 HAS SOUS 19065 HAS SOUPS 18925 WITH SCORE 19010.303
AT ITER 8095 NEW BEST:: SOT 207979 SOS 85299 HAS SOPS 84631 HAS SOUS 19060 HAS SOUPS 18920 WITH SCORE 19005.299
AT ITER 8100 NEW BEST:: SOT 207973 SOS 85293 HAS SOPS 84625 HAS SOUS 19054 HAS SOUPS 18914 WITH SCORE 18999.293
AT ITER 8138 NEW BEST:: SOT 207973 SOS 85293 HAS SOPS 84625 HAS SOUS 19032 HAS SOUPS 18892 WITH SCORE 18977.293
AT ITER 8231 NEW BEST:: SOT 207973 SOS 85272 HAS SOPS 84603 HAS SOUS 19030 HAS SOUPS 18890 WITH SCORE 18975.272
AT ITER 8287 NEW BEST:: SOT 207966 SOS 85265 HAS SOPS 84596 HAS SOUS 19023 HAS SOUPS 18883 WITH SCORE 18968.265
AT ITER 8378 NEW BEST:: SOT 207959 SOS 85209 HAS SOPS 84540 HAS SOUS 19003 HAS SOUPS 18863 WITH SCORE 18948.209
AT ITER 8385 NEW BEST:: SOT 207957 SOS 85207 HAS SOPS 84538 HAS SOUS 18999 HAS SOUPS 18859 WITH SCORE 18944.207
AT ITER 8437 NEW BEST:: SOT 207955 SOS 85205 HAS SOPS 84536 HAS SOUS 18997 HAS SOUPS 18857 WITH SCORE 18942.205
AT ITER 8467 NEW BEST:: SOT 207944 SOS 85209 HAS SOPS 84540 HAS SOUS 18979 HAS SOUPS 18839 WITH SCORE 18924.209
AT ITER 8492 NEW BEST:: SOT 207948 SOS 85198 HAS SOPS 84529 HAS SOUS 18933 HAS SOUPS 18793 WITH SCORE 18878.198
AT ITER 8513 NEW BEST:: SOT 207931 SOS 85176 HAS SOPS 84507 HAS SOUS 18914 HAS SOUPS 18774 WITH SCORE 18859.176
AT ITER 8542 NEW BEST:: SOT 207925 SOS 85170 HAS SOPS 84501 HAS SOUS 18898 HAS SOUPS 18758 WITH SCORE 18843.17
AT ITER 8583 NEW BEST:: SOT 207923 SOS 85208 HAS SOPS 84539 HAS SOUS 18894 HAS SOUPS 18754 WITH SCORE 18839.208
AT ITER 8662 NEW BEST:: SOT 207919 SOS 85204 HAS SOPS 84535 HAS SOUS 18890 HAS SOUPS 18750 WITH SCORE 18835.204
AT ITER 8699 NEW BEST:: SOT 207915 SOS 85200 HAS SOPS 84531 HAS SOUS 18870 HAS SOUPS 18730 WITH SCORE 18815.2
AT ITER 8703 NEW BEST:: SOT 207931 SOS 85216 HAS SOPS 84547 HAS SOUS 18865 HAS SOUPS 18725 WITH SCORE 18810.216
AT ITER 8713 NEW BEST:: SOT 207929 SOS 85214 HAS SOPS 84545 HAS SOUS 18863 HAS SOUPS 18723 WITH SCORE 18808.214
AT ITER 8796 NEW BEST:: SOT 207917 SOS 85214 HAS SOPS 84545 HAS SOUS 18839 HAS SOUPS 18699 WITH SCORE 18784.214
AT ITER 8875 NEW BEST:: SOT 207916 SOS 85214 HAS SOPS 84545 HAS SOUS 18837 HAS SOUPS 18697 WITH SCORE 18782.214
AT ITER 8886 NEW BEST:: SOT 207910 SOS 85208 HAS SOPS 84539 HAS SOUS 18830 HAS SOUPS 18690 WITH SCORE 18775.208
AT ITER 8948 NEW BEST:: SOT 207879 SOS 85177 HAS SOPS 84508 HAS SOUS 18830 HAS SOUPS 18690 WITH SCORE 18775.177
AT ITER 8955 NEW BEST:: SOT 207874 SOS 85172 HAS SOPS 84503 HAS SOUS 18823 HAS SOUPS 18683 WITH SCORE 18768.172
AT ITER 8988 NEW BEST:: SOT 207877 SOS 85210 HAS SOPS 84541 HAS SOUS 18820 HAS SOUPS 18680 WITH SCORE 18765.21
AT ITER 9043 NEW BEST:: SOT 207874 SOS 85216 HAS SOPS 84547 HAS SOUS 18814 HAS SOUPS 18674 WITH SCORE 18759.216
AT ITER 9074 NEW BEST:: SOT 207864 SOS 85206 HAS SOPS 84537 HAS SOUS 18806 HAS SOUPS 18666 WITH SCORE 18751.206
AT ITER 9192 NEW BEST:: SOT 207846 SOS 85188 HAS SOPS 84519 HAS SOUS 18775 HAS SOUPS 18635 WITH SCORE 18720.188
AT ITER 9224 NEW BEST:: SOT 207842 SOS 82688 HAS SOPS 82019 HAS SOUS 18775 HAS SOUPS 18635 WITH SCORE 18717.688
AT ITER 9255 NEW BEST:: SOT 207752 SOS 82530 HAS SOPS 81861 HAS SOUS 18729 HAS SOUPS 18589 WITH SCORE 18671.53
AT ITER 9329 NEW BEST:: SOT 207731 SOS 82509 HAS SOPS 81840 HAS SOUS 18685 HAS SOUPS 18545 WITH SCORE 18627.509
AT ITER 9391 NEW BEST:: SOT 207730 SOS 82511 HAS SOPS 81842 HAS SOUS 18684 HAS SOUPS 18544 WITH SCORE 18626.511
AT ITER 9397 NEW BEST:: SOT 207730 SOS 82511 HAS SOPS 81842 HAS SOUS 18682 HAS SOUPS 18542 WITH SCORE 18624.511
AT ITER 9499 NEW BEST:: SOT 207731 SOS 82509 HAS SOPS 81840 HAS SOUS 18678 HAS SOUPS 18538 WITH SCORE 18620.509
AT ITER 9544 NEW BEST:: SOT 207733 SOS 82510 HAS SOPS 81841 HAS SOUS 18676 HAS SOUPS 18536 WITH SCORE 18618.51
AT ITER 9557 NEW BEST:: SOT 207729 SOS 82485 HAS SOPS 81817 HAS SOUS 18671 HAS SOUPS 18532 WITH SCORE 18614.485
AT ITER 9601 NEW BEST:: SOT 207727 SOS 82483 HAS SOPS 81815 HAS SOUS 18671 HAS SOUPS 18532 WITH SCORE 18614.483
AT ITER 9737 NEW BEST:: SOT 207727 SOS 82483 HAS SOPS 81815 HAS SOUS 18664 HAS SOUPS 18525 WITH SCORE 18607.483
AT ITER 9817 NEW BEST:: SOT 207719 SOS 82475 HAS SOPS 81807 HAS SOUS 18648 HAS SOUPS 18509 WITH SCORE 18591.475
AT ITER 9897 NEW BEST:: SOT 207712 SOS 82468 HAS SOPS 81800 HAS SOUS 18640 HAS SOUPS 18501 WITH SCORE 18583.468
AT ITER 9910 NEW BEST:: SOT 207712 SOS 82455 HAS SOPS 81787 HAS SOUS 18627 HAS SOUPS 18488 WITH SCORE 18570.455
AT ITER 9966 NEW BEST:: SOT 207715 SOS 82448 HAS SOPS 81780 HAS SOUS 18626 HAS SOUPS 18487 WITH SCORE 18569.448
AT ITER 9999 NEW BEST:: SOT 207713 SOS 82446 HAS SOPS 81778 HAS SOUS 18616 HAS SOUPS 18477 WITH SCORE 18559.446
STATE_SPACE STATES 693820562 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 58 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 239836 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16273388 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="PolyORBNT-PT-S05J20"
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 PolyORBNT-PT-S05J20, 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 r299-tall-167873953300720"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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