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.r003-oct2-167813591300760.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is BART-PT-002, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813591300760
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.4M
-rw-r--r-- 1 mcc users 191K Feb 26 04:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 715K Feb 26 04:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 206K Feb 26 03:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 693K Feb 26 03:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 105K Feb 25 15:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 280K Feb 25 15:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 58K Feb 25 15:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 156K Feb 25 15:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 479K Feb 26 04:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.8M Feb 26 04:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 273K Feb 26 04:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 930K Feb 26 04:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 21K Feb 25 15:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 41K Feb 25 15:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 534K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678476634583

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BART-PT-002
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BART (PT), instance 002
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 474 places, 404 transitions, 3240 arcs.
AT ITER 0 NEW BEST:: SOT 148094 SOS 89363 HAS SOPS 54948 HAS SOUS 62508 HAS SOUPS 47851 WITH SCORE 47940.363
AT ITER 7 NEW BEST:: SOT 147928 SOS 89197 HAS SOPS 54868 HAS SOUS 62429 HAS SOUPS 47772 WITH SCORE 47861.197
AT ITER 11 NEW BEST:: SOT 147928 SOS 89113 HAS SOPS 54868 HAS SOUS 62408 HAS SOUPS 47772 WITH SCORE 47861.113
AT ITER 14 NEW BEST:: SOT 147928 SOS 88957 HAS SOPS 54868 HAS SOUS 62369 HAS SOUPS 47772 WITH SCORE 47860.957
AT ITER 15 NEW BEST:: SOT 147928 SOS 88957 HAS SOPS 54847 HAS SOUS 62352 HAS SOUPS 47751 WITH SCORE 47839.957
AT ITER 17 NEW BEST:: SOT 147872 SOS 98364 HAS SOPS 54791 HAS SOUS 62393 HAS SOUPS 47695 WITH SCORE 47793.364
AT ITER 21 NEW BEST:: SOT 147872 SOS 93217 HAS SOPS 49204 HAS SOUS 62201 HAS SOUPS 47393 WITH SCORE 47486.217
AT ITER 22 NEW BEST:: SOT 147677 SOS 93014 HAS SOPS 49126 HAS SOUS 62122 HAS SOUPS 47316 WITH SCORE 47409.014
AT ITER 29 NEW BEST:: SOT 147478 SOS 92651 HAS SOPS 49066 HAS SOUS 62022 HAS SOUPS 47257 WITH SCORE 47349.651
AT ITER 42 NEW BEST:: SOT 147285 SOS 92296 HAS SOPS 49031 HAS SOUS 61947 HAS SOUPS 47223 WITH SCORE 47315.296
AT ITER 50 NEW BEST:: SOT 147285 SOS 92296 HAS SOPS 48979 HAS SOUS 61862 HAS SOUPS 47094 WITH SCORE 47186.296
AT ITER 55 NEW BEST:: SOT 147092 SOS 91939 HAS SOPS 48944 HAS SOUS 61787 HAS SOUPS 47060 WITH SCORE 47151.939
AT ITER 56 NEW BEST:: SOT 147029 SOS 91876 HAS SOPS 48772 HAS SOUS 61661 HAS SOUPS 46825 WITH SCORE 46916.876
AT ITER 82 NEW BEST:: SOT 147055 SOS 91927 HAS SOPS 48718 HAS SOUS 61833 HAS SOUPS 46772 WITH SCORE 46863.927
AT ITER 99 NEW BEST:: SOT 147107 SOS 92031 HAS SOPS 48687 HAS SOUS 61958 HAS SOUPS 46741 WITH SCORE 46833.031
AT ITER 103 NEW BEST:: SOT 147105 SOS 92029 HAS SOPS 48685 HAS SOUS 61956 HAS SOUPS 46739 WITH SCORE 46831.029
AT ITER 115 NEW BEST:: SOT 147105 SOS 92029 HAS SOPS 48610 HAS SOUS 61846 HAS SOUPS 46591 WITH SCORE 46683.029
AT ITER 124 NEW BEST:: SOT 146906 SOS 91673 HAS SOPS 48563 HAS SOUS 61759 HAS SOUPS 46545 WITH SCORE 46636.673
AT ITER 128 NEW BEST:: SOT 146901 SOS 91668 HAS SOPS 48558 HAS SOUS 61754 HAS SOUPS 46540 WITH SCORE 46631.668
AT ITER 131 NEW BEST:: SOT 146916 SOS 91683 HAS SOPS 48551 HAS SOUS 61786 HAS SOUPS 46533 WITH SCORE 46624.683
AT ITER 135 NEW BEST:: SOT 146782 SOS 91549 HAS SOPS 48471 HAS SOUS 61707 HAS SOUPS 46454 WITH SCORE 46545.549
AT ITER 136 NEW BEST:: SOT 146850 SOS 91617 HAS SOPS 48459 HAS SOUS 61828 HAS SOUPS 46442 WITH SCORE 46533.617
AT ITER 139 NEW BEST:: SOT 146814 SOS 91509 HAS SOPS 48463 HAS SOUS 61746 HAS SOUPS 46432 WITH SCORE 46523.509
AT ITER 144 NEW BEST:: SOT 146776 SOS 91397 HAS SOPS 48474 HAS SOUS 61646 HAS SOUPS 46406 WITH SCORE 46497.397
AT ITER 157 NEW BEST:: SOT 146776 SOS 90398 HAS SOPS 47475 HAS SOUS 61592 HAS SOUPS 46352 WITH SCORE 46442.398
AT ITER 167 NEW BEST:: SOT 146745 SOS 90367 HAS SOPS 47385 HAS SOUS 61503 HAS SOUPS 46204 WITH SCORE 46294.367
AT ITER 169 NEW BEST:: SOT 146745 SOS 90367 HAS SOPS 47383 HAS SOUS 61509 HAS SOUPS 46202 WITH SCORE 46292.367
AT ITER 170 NEW BEST:: SOT 146745 SOS 90367 HAS SOPS 47383 HAS SOUS 61507 HAS SOUPS 46201 WITH SCORE 46291.367
AT ITER 171 NEW BEST:: SOT 146794 SOS 90596 HAS SOPS 47346 HAS SOUS 61575 HAS SOUPS 46164 WITH SCORE 46254.596
AT ITER 182 NEW BEST:: SOT 146815 SOS 90617 HAS SOPS 47306 HAS SOUS 61630 HAS SOUPS 46124 WITH SCORE 46214.617
AT ITER 187 NEW BEST:: SOT 146863 SOS 91092 HAS SOPS 47207 HAS SOUS 61657 HAS SOUPS 46025 WITH SCORE 46116.092
AT ITER 189 NEW BEST:: SOT 146863 SOS 91092 HAS SOPS 47161 HAS SOUS 61635 HAS SOUPS 45960 WITH SCORE 46051.092
AT ITER 193 NEW BEST:: SOT 146153 SOS 90473 HAS SOPS 46451 HAS SOUS 60998 HAS SOUPS 45250 WITH SCORE 45340.473
AT ITER 198 NEW BEST:: SOT 146153 SOS 90431 HAS SOPS 46451 HAS SOUS 61023 HAS SOUPS 45250 WITH SCORE 45340.431
AT ITER 212 NEW BEST:: SOT 146231 SOS 90509 HAS SOPS 46400 HAS SOUS 61096 HAS SOUPS 45198 WITH SCORE 45288.509
AT ITER 230 NEW BEST:: SOT 146211 SOS 90489 HAS SOPS 46318 HAS SOUS 61058 HAS SOUPS 45116 WITH SCORE 45206.489
AT ITER 233 NEW BEST:: SOT 146359 SOS 90907 HAS SOPS 46234 HAS SOUS 61437 HAS SOUPS 45079 WITH SCORE 45169.907
AT ITER 260 NEW BEST:: SOT 146286 SOS 90834 HAS SOPS 46228 HAS SOUS 61432 HAS SOUPS 45074 WITH SCORE 45164.834
AT ITER 279 NEW BEST:: SOT 142412 SOS 90518 HAS SOPS 42354 HAS SOUS 57751 HAS SOUPS 41200 WITH SCORE 41290.518
AT ITER 293 NEW BEST:: SOT 140232 SOS 88405 HAS SOPS 40328 HAS SOUS 55638 HAS SOUPS 39174 WITH SCORE 39262.405
AT ITER 301 NEW BEST:: SOT 140232 SOS 87827 HAS SOPS 40328 HAS SOUS 55201 HAS SOUPS 39174 WITH SCORE 39261.827
AT ITER 310 NEW BEST:: SOT 140228 SOS 87823 HAS SOPS 40324 HAS SOUS 55197 HAS SOUPS 39170 WITH SCORE 39257.823
AT ITER 324 NEW BEST:: SOT 140041 SOS 87636 HAS SOPS 40226 HAS SOUS 55100 HAS SOUPS 39073 WITH SCORE 39160.636
AT ITER 330 NEW BEST:: SOT 140071 SOS 87666 HAS SOPS 40168 HAS SOUS 55192 HAS SOUPS 39015 WITH SCORE 39102.666
AT ITER 335 NEW BEST:: SOT 139810 SOS 87405 HAS SOPS 40045 HAS SOUS 55029 HAS SOUPS 38893 WITH SCORE 38980.405
AT ITER 339 NEW BEST:: SOT 139772 SOS 87308 HAS SOPS 40066 HAS SOUS 54953 HAS SOUPS 38876 WITH SCORE 38963.308
AT ITER 343 NEW BEST:: SOT 139772 SOS 87306 HAS SOPS 40066 HAS SOUS 54953 HAS SOUPS 38876 WITH SCORE 38963.306
AT ITER 360 NEW BEST:: SOT 139772 SOS 87304 HAS SOPS 40066 HAS SOUS 54953 HAS SOUPS 38876 WITH SCORE 38963.304
AT ITER 365 NEW BEST:: SOT 139972 SOS 87596 HAS SOPS 40017 HAS SOUS 55192 HAS SOUPS 38827 WITH SCORE 38914.596
AT ITER 376 NEW BEST:: SOT 139869 SOS 87421 HAS SOPS 39954 HAS SOUS 55031 HAS SOUPS 38738 WITH SCORE 38825.421
AT ITER 387 NEW BEST:: SOT 139856 SOS 87408 HAS SOPS 39928 HAS SOUS 55018 HAS SOUPS 38712 WITH SCORE 38799.408
AT ITER 408 NEW BEST:: SOT 139883 SOS 87451 HAS SOPS 39925 HAS SOUS 55075 HAS SOUPS 38709 WITH SCORE 38796.451
AT ITER 409 NEW BEST:: SOT 139771 SOS 87339 HAS SOPS 39913 HAS SOUS 55064 HAS SOUPS 38698 WITH SCORE 38785.339
AT ITER 413 NEW BEST:: SOT 139524 SOS 87092 HAS SOPS 39756 HAS SOUS 54945 HAS SOUPS 38616 WITH SCORE 38703.092
AT ITER 414 NEW BEST:: SOT 139538 SOS 87106 HAS SOPS 39689 HAS SOUS 55017 HAS SOUPS 38549 WITH SCORE 38636.106
AT ITER 423 NEW BEST:: SOT 139517 SOS 87085 HAS SOPS 39668 HAS SOUS 54984 HAS SOUPS 38516 WITH SCORE 38603.085
AT ITER 424 NEW BEST:: SOT 139769 SOS 87449 HAS SOPS 39661 HAS SOUS 55333 HAS SOUPS 38509 WITH SCORE 38596.449
AT ITER 427 NEW BEST:: SOT 139570 SOS 87250 HAS SOPS 39621 HAS SOUS 55200 HAS SOUPS 38470 WITH SCORE 38557.25
AT ITER 433 NEW BEST:: SOT 139622 SOS 87494 HAS SOPS 39618 HAS SOUS 55281 HAS SOUPS 38467 WITH SCORE 38554.494
AT ITER 434 NEW BEST:: SOT 139619 SOS 87524 HAS SOPS 39581 HAS SOUS 55457 HAS SOUPS 38431 WITH SCORE 38518.524
AT ITER 455 NEW BEST:: SOT 139627 SOS 87532 HAS SOPS 39568 HAS SOUS 55465 HAS SOUPS 38418 WITH SCORE 38505.532
AT ITER 473 NEW BEST:: SOT 139688 SOS 87593 HAS SOPS 39537 HAS SOUS 55625 HAS SOUPS 38387 WITH SCORE 38474.593
AT ITER 476 NEW BEST:: SOT 139735 SOS 87640 HAS SOPS 39501 HAS SOUS 55700 HAS SOUPS 38351 WITH SCORE 38438.64
AT ITER 486 NEW BEST:: SOT 139940 SOS 88298 HAS SOPS 39434 HAS SOUS 56063 HAS SOUPS 38315 WITH SCORE 38403.298
AT ITER 491 NEW BEST:: SOT 139940 SOS 88298 HAS SOPS 39434 HAS SOUS 56035 HAS SOUPS 38287 WITH SCORE 38375.298
AT ITER 494 NEW BEST:: SOT 139938 SOS 88296 HAS SOPS 39430 HAS SOUS 56033 HAS SOUPS 38283 WITH SCORE 38371.296
AT ITER 506 NEW BEST:: SOT 139927 SOS 88299 HAS SOPS 39349 HAS SOUS 55931 HAS SOUPS 38134 WITH SCORE 38222.299
AT ITER 517 NEW BEST:: SOT 139920 SOS 88292 HAS SOPS 39289 HAS SOUS 55917 HAS SOUPS 38076 WITH SCORE 38164.292
AT ITER 525 NEW BEST:: SOT 139684 SOS 88056 HAS SOPS 39166 HAS SOUS 55754 HAS SOUPS 37954 WITH SCORE 38042.056
AT ITER 528 NEW BEST:: SOT 139684 SOS 88008 HAS SOPS 39166 HAS SOUS 55754 HAS SOUPS 37954 WITH SCORE 38042.008
AT ITER 536 NEW BEST:: SOT 139665 SOS 87989 HAS SOPS 39133 HAS SOUS 55735 HAS SOUPS 37921 WITH SCORE 38008.989
AT ITER 539 NEW BEST:: SOT 139420 SOS 87744 HAS SOPS 39027 HAS SOUS 55474 HAS SOUPS 37816 WITH SCORE 37903.744
AT ITER 547 NEW BEST:: SOT 139266 SOS 87590 HAS SOPS 38993 HAS SOUS 55441 HAS SOUPS 37783 WITH SCORE 37870.59
AT ITER 549 NEW BEST:: SOT 139266 SOS 87550 HAS SOPS 38993 HAS SOUS 55441 HAS SOUPS 37783 WITH SCORE 37870.55
AT ITER 562 NEW BEST:: SOT 139225 SOS 87509 HAS SOPS 38993 HAS SOUS 55400 HAS SOUPS 37783 WITH SCORE 37870.509
AT ITER 574 NEW BEST:: SOT 139233 SOS 87517 HAS SOPS 38972 HAS SOUS 55408 HAS SOUPS 37762 WITH SCORE 37849.517
AT ITER 575 NEW BEST:: SOT 139214 SOS 87422 HAS SOPS 38972 HAS SOUS 55389 HAS SOUPS 37762 WITH SCORE 37849.422
AT ITER 591 NEW BEST:: SOT 139204 SOS 87340 HAS SOPS 38998 HAS SOUS 55316 HAS SOUPS 37761 WITH SCORE 37848.34
AT ITER 618 NEW BEST:: SOT 139091 SOS 87227 HAS SOPS 38772 HAS SOUS 55423 HAS SOUPS 37643 WITH SCORE 37730.227
AT ITER 635 NEW BEST:: SOT 139084 SOS 87220 HAS SOPS 38772 HAS SOUS 55409 HAS SOUPS 37643 WITH SCORE 37730.22
AT ITER 641 NEW BEST:: SOT 133953 SOS 82089 HAS SOPS 33485 HAS SOUS 54756 HAS SOUPS 32600 WITH SCORE 32682.089
AT ITER 646 NEW BEST:: SOT 133851 SOS 81936 HAS SOPS 33434 HAS SOUS 54646 HAS SOUPS 32541 WITH SCORE 32622.936
AT ITER 661 NEW BEST:: SOT 133922 SOS 82007 HAS SOPS 33347 HAS SOUS 54754 HAS SOUPS 32454 WITH SCORE 32536.007
AT ITER 678 NEW BEST:: SOT 133782 SOS 81867 HAS SOPS 33347 HAS SOUS 54493 HAS SOUPS 32454 WITH SCORE 32535.867
AT ITER 684 NEW BEST:: SOT 133592 SOS 81677 HAS SOPS 33281 HAS SOUS 54264 HAS SOUPS 32388 WITH SCORE 32469.677
AT ITER 698 NEW BEST:: SOT 133627 SOS 81712 HAS SOPS 33277 HAS SOUS 54327 HAS SOUPS 32384 WITH SCORE 32465.712
AT ITER 703 NEW BEST:: SOT 133589 SOS 81674 HAS SOPS 33238 HAS SOUS 54288 HAS SOUPS 32345 WITH SCORE 32426.674
AT ITER 710 NEW BEST:: SOT 133464 SOS 81477 HAS SOPS 33171 HAS SOUS 54008 HAS SOUPS 32195 WITH SCORE 32276.477
AT ITER 715 NEW BEST:: SOT 133504 SOS 81517 HAS SOPS 33123 HAS SOUS 54136 HAS SOUPS 32147 WITH SCORE 32228.517
AT ITER 738 NEW BEST:: SOT 133592 SOS 81605 HAS SOPS 33097 HAS SOUS 54224 HAS SOUPS 32121 WITH SCORE 32202.605
AT ITER 741 NEW BEST:: SOT 133588 SOS 81873 HAS SOPS 33093 HAS SOUS 54361 HAS SOUPS 32117 WITH SCORE 32198.873
AT ITER 762 NEW BEST:: SOT 133346 SOS 81631 HAS SOPS 32851 HAS SOUS 54119 HAS SOUPS 31875 WITH SCORE 31956.631
AT ITER 767 NEW BEST:: SOT 133292 SOS 81539 HAS SOPS 32855 HAS SOUS 54049 HAS SOUPS 31843 WITH SCORE 31924.539
AT ITER 770 NEW BEST:: SOT 133291 SOS 81538 HAS SOPS 32852 HAS SOUS 54046 HAS SOUPS 31840 WITH SCORE 31921.538
AT ITER 778 NEW BEST:: SOT 133297 SOS 81544 HAS SOPS 32847 HAS SOUS 54052 HAS SOUPS 31835 WITH SCORE 31916.544
AT ITER 784 NEW BEST:: SOT 133247 SOS 81494 HAS SOPS 32737 HAS SOUS 54002 HAS SOUPS 31725 WITH SCORE 31806.494
AT ITER 787 NEW BEST:: SOT 133224 SOS 81471 HAS SOPS 32714 HAS SOUS 53979 HAS SOUPS 31702 WITH SCORE 31783.471
AT ITER 797 NEW BEST:: SOT 133224 SOS 81436 HAS SOPS 32749 HAS SOUS 53943 HAS SOUPS 31702 WITH SCORE 31783.436
AT ITER 806 NEW BEST:: SOT 133224 SOS 81344 HAS SOPS 32749 HAS SOUS 53912 HAS SOUPS 31702 WITH SCORE 31783.344
AT ITER 810 NEW BEST:: SOT 133224 SOS 81312 HAS SOPS 32749 HAS SOUS 53912 HAS SOUPS 31702 WITH SCORE 31783.312
AT ITER 818 NEW BEST:: SOT 133262 SOS 81350 HAS SOPS 32711 HAS SOUS 53912 HAS SOUPS 31664 WITH SCORE 31745.35
AT ITER 819 NEW BEST:: SOT 133298 SOS 81386 HAS SOPS 32704 HAS SOUS 53953 HAS SOUPS 31657 WITH SCORE 31738.386
AT ITER 822 NEW BEST:: SOT 133225 SOS 81266 HAS SOPS 32724 HAS SOUS 53901 HAS SOUPS 31652 WITH SCORE 31733.266
AT ITER 841 NEW BEST:: SOT 133225 SOS 80594 HAS SOPS 32724 HAS SOUS 53901 HAS SOUPS 31652 WITH SCORE 31732.594
AT ITER 843 NEW BEST:: SOT 133260 SOS 80829 HAS SOPS 32693 HAS SOUS 53968 HAS SOUPS 31621 WITH SCORE 31701.829
AT ITER 847 NEW BEST:: SOT 133059 SOS 80628 HAS SOPS 32453 HAS SOUS 53767 HAS SOUPS 31381 WITH SCORE 31461.628
AT ITER 848 NEW BEST:: SOT 133059 SOS 80618 HAS SOPS 32453 HAS SOUS 53767 HAS SOUPS 31381 WITH SCORE 31461.618
AT ITER 854 NEW BEST:: SOT 133059 SOS 80542 HAS SOPS 32453 HAS SOUS 53729 HAS SOUPS 31381 WITH SCORE 31461.542
AT ITER 859 NEW BEST:: SOT 133118 SOS 80845 HAS SOPS 32388 HAS SOUS 53875 HAS SOUPS 31316 WITH SCORE 31396.845
AT ITER 860 NEW BEST:: SOT 133014 SOS 80669 HAS SOPS 32326 HAS SOUS 53663 HAS SOUPS 31218 WITH SCORE 31298.669
AT ITER 881 NEW BEST:: SOT 133050 SOS 80687 HAS SOPS 32304 HAS SOUS 53691 HAS SOUPS 31196 WITH SCORE 31276.687
AT ITER 883 NEW BEST:: SOT 133070 SOS 80707 HAS SOPS 32284 HAS SOUS 53731 HAS SOUPS 31176 WITH SCORE 31256.707
AT ITER 887 NEW BEST:: SOT 133058 SOS 80695 HAS SOPS 32284 HAS SOUS 53717 HAS SOUPS 31176 WITH SCORE 31256.695
AT ITER 910 NEW BEST:: SOT 132968 SOS 80552 HAS SOPS 32299 HAS SOUS 53643 HAS SOUPS 31155 WITH SCORE 31235.552
AT ITER 926 NEW BEST:: SOT 132998 SOS 80622 HAS SOPS 32239 HAS SOUS 53719 HAS SOUPS 31095 WITH SCORE 31175.622
AT ITER 943 NEW BEST:: SOT 132998 SOS 78874 HAS SOPS 32239 HAS SOUS 53697 HAS SOUPS 31095 WITH SCORE 31173.874
AT ITER 948 NEW BEST:: SOT 133178 SOS 79310 HAS SOPS 32227 HAS SOUS 53982 HAS SOUPS 31083 WITH SCORE 31162.31
AT ITER 961 NEW BEST:: SOT 133229 SOS 79363 HAS SOPS 32185 HAS SOUS 54035 HAS SOUPS 31041 WITH SCORE 31120.363
AT ITER 964 NEW BEST:: SOT 133234 SOS 79399 HAS SOPS 32164 HAS SOUS 54066 HAS SOUPS 31020 WITH SCORE 31099.399
AT ITER 979 NEW BEST:: SOT 133234 SOS 79393 HAS SOPS 32164 HAS SOUS 54066 HAS SOUPS 31020 WITH SCORE 31099.393
AT ITER 990 NEW BEST:: SOT 133222 SOS 79381 HAS SOPS 32156 HAS SOUS 54054 HAS SOUPS 31012 WITH SCORE 31091.381
AT ITER 994 NEW BEST:: SOT 133212 SOS 79371 HAS SOPS 32146 HAS SOUS 54044 HAS SOUPS 31002 WITH SCORE 31081.371
AT ITER 1005 NEW BEST:: SOT 133212 SOS 79367 HAS SOPS 32146 HAS SOUS 54044 HAS SOUPS 31002 WITH SCORE 31081.367
AT ITER 1015 NEW BEST:: SOT 133241 SOS 79396 HAS SOPS 32144 HAS SOUS 54073 HAS SOUPS 31000 WITH SCORE 31079.396
AT ITER 1023 NEW BEST:: SOT 133241 SOS 79396 HAS SOPS 32034 HAS SOUS 54001 HAS SOUPS 30890 WITH SCORE 30969.396
AT ITER 1036 NEW BEST:: SOT 133241 SOS 79140 HAS SOPS 32034 HAS SOUS 53949 HAS SOUPS 30890 WITH SCORE 30969.14
AT ITER 1056 NEW BEST:: SOT 133417 SOS 79512 HAS SOPS 31987 HAS SOUS 54148 HAS SOUPS 30843 WITH SCORE 30922.512
AT ITER 1072 NEW BEST:: SOT 133512 SOS 79743 HAS SOPS 31826 HAS SOUS 54263 HAS SOUPS 30682 WITH SCORE 30761.743
AT ITER 1080 NEW BEST:: SOT 133555 SOS 79786 HAS SOPS 31782 HAS SOUS 54219 HAS SOUPS 30638 WITH SCORE 30717.786
AT ITER 1083 NEW BEST:: SOT 133573 SOS 79804 HAS SOPS 31780 HAS SOUS 54220 HAS SOUPS 30636 WITH SCORE 30715.804
AT ITER 1087 NEW BEST:: SOT 133503 SOS 79734 HAS SOPS 31665 HAS SOUS 54113 HAS SOUPS 30521 WITH SCORE 30600.734
AT ITER 1089 NEW BEST:: SOT 133303 SOS 79534 HAS SOPS 31639 HAS SOUS 53742 HAS SOUPS 30495 WITH SCORE 30574.534
AT ITER 1108 NEW BEST:: SOT 133289 SOS 79520 HAS SOPS 31639 HAS SOUS 53739 HAS SOUPS 30495 WITH SCORE 30574.52
AT ITER 1112 NEW BEST:: SOT 133540 SOS 79911 HAS SOPS 31557 HAS SOUS 54013 HAS SOUPS 30413 WITH SCORE 30492.911
AT ITER 1121 NEW BEST:: SOT 133473 SOS 79844 HAS SOPS 31454 HAS SOUS 54052 HAS SOUPS 30310 WITH SCORE 30389.844
AT ITER 1132 NEW BEST:: SOT 133374 SOS 79745 HAS SOPS 31257 HAS SOUS 53952 HAS SOUPS 30113 WITH SCORE 30192.745
AT ITER 1142 NEW BEST:: SOT 133374 SOS 79745 HAS SOPS 31238 HAS SOUS 53969 HAS SOUPS 30094 WITH SCORE 30173.745
AT ITER 1146 NEW BEST:: SOT 133403 SOS 79774 HAS SOPS 31217 HAS SOUS 53948 HAS SOUPS 30073 WITH SCORE 30152.774
AT ITER 1154 NEW BEST:: SOT 133484 SOS 80087 HAS SOPS 31088 HAS SOUS 54157 HAS SOUPS 29944 WITH SCORE 30024.087
AT ITER 1155 NEW BEST:: SOT 133503 SOS 80126 HAS SOPS 31066 HAS SOUS 54175 HAS SOUPS 29922 WITH SCORE 30002.126
AT ITER 1165 NEW BEST:: SOT 133641 SOS 80500 HAS SOPS 30928 HAS SOUS 54506 HAS SOUPS 29784 WITH SCORE 29864.5
AT ITER 1170 NEW BEST:: SOT 133657 SOS 80516 HAS SOPS 30886 HAS SOUS 54522 HAS SOUPS 29742 WITH SCORE 29822.516
AT ITER 1176 NEW BEST:: SOT 133655 SOS 80514 HAS SOPS 30851 HAS SOUS 54520 HAS SOUPS 29707 WITH SCORE 29787.514
AT ITER 1180 NEW BEST:: SOT 133561 SOS 80348 HAS SOPS 30798 HAS SOUS 54339 HAS SOUPS 29598 WITH SCORE 29678.348
AT ITER 1190 NEW BEST:: SOT 133643 SOS 80758 HAS SOPS 30737 HAS SOUS 54465 HAS SOUPS 29537 WITH SCORE 29617.758
AT ITER 1198 NEW BEST:: SOT 133625 SOS 80707 HAS SOPS 30701 HAS SOUS 54350 HAS SOUPS 29501 WITH SCORE 29581.707
AT ITER 1208 NEW BEST:: SOT 133673 SOS 80883 HAS SOPS 30524 HAS SOUS 54500 HAS SOUPS 29324 WITH SCORE 29404.883
AT ITER 1218 NEW BEST:: SOT 133674 SOS 80884 HAS SOPS 30430 HAS SOUS 54501 HAS SOUPS 29230 WITH SCORE 29310.884
AT ITER 1220 NEW BEST:: SOT 133933 SOS 81159 HAS SOPS 30425 HAS SOUS 54766 HAS SOUPS 29225 WITH SCORE 29306.159
AT ITER 1223 NEW BEST:: SOT 133933 SOS 81159 HAS SOPS 30380 HAS SOUS 54676 HAS SOUPS 29180 WITH SCORE 29261.159
AT ITER 1241 NEW BEST:: SOT 133840 SOS 81066 HAS SOPS 30194 HAS SOUS 54583 HAS SOUPS 28994 WITH SCORE 29075.066
AT ITER 1243 NEW BEST:: SOT 133840 SOS 81046 HAS SOPS 30194 HAS SOUS 54583 HAS SOUPS 28994 WITH SCORE 29075.046
AT ITER 1254 NEW BEST:: SOT 133834 SOS 81028 HAS SOPS 30194 HAS SOUS 54571 HAS SOUPS 28994 WITH SCORE 29075.028
AT ITER 1265 NEW BEST:: SOT 133906 SOS 81100 HAS SOPS 30184 HAS SOUS 54594 HAS SOUPS 28984 WITH SCORE 29065.1
AT ITER 1266 NEW BEST:: SOT 133808 SOS 81002 HAS SOPS 30184 HAS SOUS 54472 HAS SOUPS 28984 WITH SCORE 29065.002
AT ITER 1295 NEW BEST:: SOT 133727 SOS 80921 HAS SOPS 30081 HAS SOUS 54391 HAS SOUPS 28881 WITH SCORE 28961.921
AT ITER 1299 NEW BEST:: SOT 133711 SOS 80905 HAS SOPS 30065 HAS SOUS 54375 HAS SOUPS 28865 WITH SCORE 28945.905
AT ITER 1303 NEW BEST:: SOT 133675 SOS 80685 HAS SOPS 30029 HAS SOUS 54339 HAS SOUPS 28829 WITH SCORE 28909.685
AT ITER 1309 NEW BEST:: SOT 133613 SOS 80623 HAS SOPS 29957 HAS SOUS 54267 HAS SOUPS 28757 WITH SCORE 28837.623
AT ITER 1328 NEW BEST:: SOT 133414 SOS 80424 HAS SOPS 29907 HAS SOUS 54068 HAS SOUPS 28707 WITH SCORE 28787.424
AT ITER 1329 NEW BEST:: SOT 133451 SOS 80461 HAS SOPS 29894 HAS SOUS 54096 HAS SOUPS 28694 WITH SCORE 28774.461
AT ITER 1333 NEW BEST:: SOT 133495 SOS 80505 HAS SOPS 29850 HAS SOUS 54128 HAS SOUPS 28650 WITH SCORE 28730.505
AT ITER 1337 NEW BEST:: SOT 134324 SOS 79992 HAS SOPS 28597 HAS SOUS 53983 HAS SOUPS 28574 WITH SCORE 28653.992
AT ITER 1342 NEW BEST:: SOT 134306 SOS 79974 HAS SOPS 28574 HAS SOUS 53939 HAS SOUPS 28551 WITH SCORE 28630.974
AT ITER 1351 NEW BEST:: SOT 134306 SOS 79957 HAS SOPS 28574 HAS SOUS 53939 HAS SOUPS 28551 WITH SCORE 28630.957
AT ITER 1359 NEW BEST:: SOT 134314 SOS 79965 HAS SOPS 28563 HAS SOUS 53928 HAS SOUPS 28540 WITH SCORE 28619.965
AT ITER 1383 NEW BEST:: SOT 134243 SOS 79894 HAS SOPS 28563 HAS SOUS 53928 HAS SOUPS 28540 WITH SCORE 28619.894
AT ITER 1386 NEW BEST:: SOT 134243 SOS 79892 HAS SOPS 28563 HAS SOUS 53928 HAS SOUPS 28540 WITH SCORE 28619.892
AT ITER 1388 NEW BEST:: SOT 134253 SOS 79902 HAS SOPS 28541 HAS SOUS 53954 HAS SOUPS 28518 WITH SCORE 28597.902
AT ITER 1389 NEW BEST:: SOT 134188 SOS 79834 HAS SOPS 28539 HAS SOUS 53885 HAS SOUPS 28515 WITH SCORE 28594.834
AT ITER 1394 NEW BEST:: SOT 134187 SOS 80113 HAS SOPS 28538 HAS SOUS 53993 HAS SOUPS 28514 WITH SCORE 28594.113
AT ITER 1397 NEW BEST:: SOT 134187 SOS 80029 HAS SOPS 28538 HAS SOUS 53993 HAS SOUPS 28514 WITH SCORE 28594.029
AT ITER 1403 NEW BEST:: SOT 134187 SOS 79825 HAS SOPS 28538 HAS SOUS 53993 HAS SOUPS 28514 WITH SCORE 28593.825
AT ITER 1421 NEW BEST:: SOT 134159 SOS 79797 HAS SOPS 28482 HAS SOUS 53965 HAS SOUPS 28458 WITH SCORE 28537.797
AT ITER 1433 NEW BEST:: SOT 134159 SOS 79797 HAS SOPS 28476 HAS SOUS 53959 HAS SOUPS 28452 WITH SCORE 28531.797
AT ITER 1435 NEW BEST:: SOT 134175 SOS 79813 HAS SOPS 28428 HAS SOUS 54049 HAS SOUPS 28404 WITH SCORE 28483.813
AT ITER 1456 NEW BEST:: SOT 134141 SOS 79779 HAS SOPS 28321 HAS SOUS 53901 HAS SOUPS 28297 WITH SCORE 28376.779
AT ITER 1457 NEW BEST:: SOT 133955 SOS 79450 HAS SOPS 28296 HAS SOUS 53801 HAS SOUPS 28272 WITH SCORE 28351.45
AT ITER 1464 NEW BEST:: SOT 133950 SOS 79445 HAS SOPS 28276 HAS SOUS 53781 HAS SOUPS 28252 WITH SCORE 28331.445
AT ITER 1465 NEW BEST:: SOT 133950 SOS 79434 HAS SOPS 28276 HAS SOUS 53781 HAS SOUPS 28252 WITH SCORE 28331.434
AT ITER 1471 NEW BEST:: SOT 133905 SOS 79389 HAS SOPS 28276 HAS SOUS 52554 HAS SOUPS 28252 WITH SCORE 28331.389
AT ITER 1477 NEW BEST:: SOT 133905 SOS 79389 HAS SOPS 28267 HAS SOUS 52548 HAS SOUPS 28243 WITH SCORE 28322.389
AT ITER 1484 NEW BEST:: SOT 133841 SOS 79325 HAS SOPS 28235 HAS SOUS 52507 HAS SOUPS 28211 WITH SCORE 28290.325
AT ITER 1486 NEW BEST:: SOT 133833 SOS 79317 HAS SOPS 28235 HAS SOUS 52499 HAS SOUPS 28211 WITH SCORE 28290.317
AT ITER 1487 NEW BEST:: SOT 133807 SOS 79291 HAS SOPS 28112 HAS SOUS 52473 HAS SOUPS 28088 WITH SCORE 28167.291
AT ITER 1499 NEW BEST:: SOT 133894 SOS 79458 HAS SOPS 28104 HAS SOUS 52485 HAS SOUPS 28080 WITH SCORE 28159.458
AT ITER 1501 NEW BEST:: SOT 133938 SOS 79718 HAS SOPS 28063 HAS SOUS 52583 HAS SOUPS 28039 WITH SCORE 28118.718
AT ITER 1504 NEW BEST:: SOT 133920 SOS 79652 HAS SOPS 28063 HAS SOUS 52547 HAS SOUPS 28039 WITH SCORE 28118.652
AT ITER 1519 NEW BEST:: SOT 133901 SOS 79633 HAS SOPS 27997 HAS SOUS 52471 HAS SOUPS 27973 WITH SCORE 28052.633
AT ITER 1530 NEW BEST:: SOT 133905 SOS 79637 HAS SOPS 27990 HAS SOUS 52445 HAS SOUPS 27966 WITH SCORE 28045.637
AT ITER 1545 NEW BEST:: SOT 133729 SOS 79461 HAS SOPS 27959 HAS SOUS 52281 HAS SOUPS 27935 WITH SCORE 28014.461
AT ITER 1557 NEW BEST:: SOT 133821 SOS 80021 HAS SOPS 27934 HAS SOUS 52431 HAS SOUPS 27910 WITH SCORE 27990.021
AT ITER 1586 NEW BEST:: SOT 133856 SOS 80034 HAS SOPS 27844 HAS SOUS 52352 HAS SOUPS 27794 WITH SCORE 27874.034
AT ITER 1588 NEW BEST:: SOT 133856 SOS 80024 HAS SOPS 27844 HAS SOUS 52352 HAS SOUPS 27794 WITH SCORE 27874.024
AT ITER 1589 NEW BEST:: SOT 133880 SOS 80048 HAS SOPS 27820 HAS SOUS 52422 HAS SOUPS 27770 WITH SCORE 27850.048
AT ITER 1597 NEW BEST:: SOT 133944 SOS 80600 HAS SOPS 27695 HAS SOUS 52470 HAS SOUPS 27645 WITH SCORE 27725.6
AT ITER 1648 NEW BEST:: SOT 133939 SOS 80595 HAS SOPS 27633 HAS SOUS 52480 HAS SOUPS 27583 WITH SCORE 27663.595
AT ITER 1661 NEW BEST:: SOT 133894 SOS 80550 HAS SOPS 27633 HAS SOUS 51149 HAS SOUPS 27583 WITH SCORE 27663.55
AT ITER 1663 NEW BEST:: SOT 133886 SOS 80542 HAS SOPS 27633 HAS SOUS 51141 HAS SOUPS 27583 WITH SCORE 27663.542
AT ITER 1665 NEW BEST:: SOT 133885 SOS 80540 HAS SOPS 27631 HAS SOUS 51139 HAS SOUPS 27581 WITH SCORE 27661.54
AT ITER 1668 NEW BEST:: SOT 133183 SOS 80164 HAS SOPS 27747 HAS SOUS 51005 HAS SOUPS 27471 WITH SCORE 27551.164
AT ITER 1691 NEW BEST:: SOT 133159 SOS 80111 HAS SOPS 27739 HAS SOUS 50952 HAS SOUPS 27463 WITH SCORE 27543.111
AT ITER 1695 NEW BEST:: SOT 133153 SOS 80105 HAS SOPS 27739 HAS SOUS 50946 HAS SOUPS 27463 WITH SCORE 27543.105
AT ITER 1697 NEW BEST:: SOT 133153 SOS 80005 HAS SOPS 27739 HAS SOUS 50921 HAS SOUPS 27463 WITH SCORE 27543.005
AT ITER 1710 NEW BEST:: SOT 133151 SOS 80003 HAS SOPS 27737 HAS SOUS 50919 HAS SOUPS 27461 WITH SCORE 27541.003
AT ITER 1717 NEW BEST:: SOT 133225 SOS 80425 HAS SOPS 27624 HAS SOUS 51080 HAS SOUPS 27348 WITH SCORE 27428.425
AT ITER 1725 NEW BEST:: SOT 133225 SOS 80425 HAS SOPS 27620 HAS SOUS 51076 HAS SOUPS 27344 WITH SCORE 27424.425
AT ITER 1730 NEW BEST:: SOT 133225 SOS 80289 HAS SOPS 27620 HAS SOUS 51042 HAS SOUPS 27344 WITH SCORE 27424.289
AT ITER 1734 NEW BEST:: SOT 133242 SOS 80306 HAS SOPS 27611 HAS SOUS 51042 HAS SOUPS 27335 WITH SCORE 27415.306
AT ITER 1738 NEW BEST:: SOT 132867 SOS 80002 HAS SOPS 27566 HAS SOUS 50976 HAS SOUPS 27269 WITH SCORE 27349.002
AT ITER 1749 NEW BEST:: SOT 132864 SOS 79999 HAS SOPS 27563 HAS SOUS 50973 HAS SOUPS 27266 WITH SCORE 27345.999
AT ITER 1755 NEW BEST:: SOT 132867 SOS 80002 HAS SOPS 27532 HAS SOUS 50978 HAS SOUPS 27235 WITH SCORE 27315.002
AT ITER 1757 NEW BEST:: SOT 132874 SOS 80009 HAS SOPS 27520 HAS SOUS 50985 HAS SOUPS 27223 WITH SCORE 27303.009
AT ITER 1797 NEW BEST:: SOT 133353 SOS 80488 HAS SOPS 27434 HAS SOUS 51234 HAS SOUPS 27137 WITH SCORE 27217.488
AT ITER 1798 NEW BEST:: SOT 133376 SOS 80511 HAS SOPS 27426 HAS SOUS 51257 HAS SOUPS 27129 WITH SCORE 27209.511
AT ITER 1838 NEW BEST:: SOT 133376 SOS 80623 HAS SOPS 27370 HAS SOUS 51285 HAS SOUPS 27073 WITH SCORE 27153.623
AT ITER 1841 NEW BEST:: SOT 133457 SOS 80828 HAS SOPS 27313 HAS SOUS 51346 HAS SOUPS 27016 WITH SCORE 27096.828
AT ITER 1843 NEW BEST:: SOT 133404 SOS 80775 HAS SOPS 27207 HAS SOUS 51281 HAS SOUPS 26910 WITH SCORE 26990.775
AT ITER 1846 NEW BEST:: SOT 133403 SOS 80774 HAS SOPS 27206 HAS SOUS 51280 HAS SOUPS 26909 WITH SCORE 26989.774
AT ITER 1847 NEW BEST:: SOT 133390 SOS 80761 HAS SOPS 27206 HAS SOUS 51267 HAS SOUPS 26909 WITH SCORE 26989.761
AT ITER 1853 NEW BEST:: SOT 133455 SOS 80826 HAS SOPS 27172 HAS SOUS 51388 HAS SOUPS 26875 WITH SCORE 26955.826
AT ITER 1864 NEW BEST:: SOT 133577 SOS 81448 HAS SOPS 27132 HAS SOUS 51634 HAS SOUPS 26835 WITH SCORE 26916.448
AT ITER 1865 NEW BEST:: SOT 133552 SOS 81323 HAS SOPS 27132 HAS SOUS 51602 HAS SOUPS 26835 WITH SCORE 26916.323
AT ITER 1870 NEW BEST:: SOT 133550 SOS 81321 HAS SOPS 27130 HAS SOUS 51590 HAS SOUPS 26833 WITH SCORE 26914.321
AT ITER 1897 NEW BEST:: SOT 133550 SOS 81303 HAS SOPS 27130 HAS SOUS 51590 HAS SOUPS 26833 WITH SCORE 26914.303
AT ITER 1912 NEW BEST:: SOT 133561 SOS 81325 HAS SOPS 27108 HAS SOUS 51579 HAS SOUPS 26811 WITH SCORE 26892.325
AT ITER 1918 NEW BEST:: SOT 133557 SOS 81321 HAS SOPS 27104 HAS SOUS 51644 HAS SOUPS 26807 WITH SCORE 26888.321
AT ITER 1939 NEW BEST:: SOT 133557 SOS 81283 HAS SOPS 27104 HAS SOUS 51607 HAS SOUPS 26795 WITH SCORE 26876.283
AT ITER 1953 NEW BEST:: SOT 133554 SOS 81280 HAS SOPS 27101 HAS SOUS 51604 HAS SOUPS 26789 WITH SCORE 26870.28
AT ITER 1954 NEW BEST:: SOT 133539 SOS 81265 HAS SOPS 27071 HAS SOUS 51548 HAS SOUPS 26759 WITH SCORE 26840.265
AT ITER 1966 NEW BEST:: SOT 133539 SOS 81265 HAS SOPS 27061 HAS SOUS 51538 HAS SOUPS 26749 WITH SCORE 26830.265
AT ITER 1967 NEW BEST:: SOT 133499 SOS 81225 HAS SOPS 27043 HAS SOUS 51467 HAS SOUPS 26731 WITH SCORE 26812.225
AT ITER 1981 NEW BEST:: SOT 133479 SOS 81205 HAS SOPS 27043 HAS SOUS 51467 HAS SOUPS 26731 WITH SCORE 26812.205
AT ITER 1990 NEW BEST:: SOT 133381 SOS 81107 HAS SOPS 26966 HAS SOUS 51343 HAS SOUPS 26654 WITH SCORE 26735.107
AT ITER 2007 NEW BEST:: SOT 133330 SOS 81056 HAS SOPS 26964 HAS SOUS 51267 HAS SOUPS 26627 WITH SCORE 26708.056
AT ITER 2015 NEW BEST:: SOT 133330 SOS 80884 HAS SOPS 26964 HAS SOUS 51169 HAS SOUPS 26627 WITH SCORE 26707.884
AT ITER 2017 NEW BEST:: SOT 133330 SOS 80780 HAS SOPS 26964 HAS SOUS 51143 HAS SOUPS 26627 WITH SCORE 26707.78
AT ITER 2018 NEW BEST:: SOT 133431 SOS 81060 HAS SOPS 26956 HAS SOUS 51240 HAS SOUPS 26619 WITH SCORE 26700.06
AT ITER 2035 NEW BEST:: SOT 133363 SOS 80924 HAS SOPS 26956 HAS SOUS 51206 HAS SOUPS 26619 WITH SCORE 26699.924
AT ITER 2039 NEW BEST:: SOT 133331 SOS 80892 HAS SOPS 26955 HAS SOUS 51153 HAS SOUPS 26618 WITH SCORE 26698.892
AT ITER 2047 NEW BEST:: SOT 133332 SOS 80895 HAS SOPS 26953 HAS SOUS 51152 HAS SOUPS 26616 WITH SCORE 26696.895
AT ITER 2059 NEW BEST:: SOT 133332 SOS 80863 HAS SOPS 26953 HAS SOUS 51152 HAS SOUPS 26616 WITH SCORE 26696.863
AT ITER 2068 NEW BEST:: SOT 133402 SOS 83489 HAS SOPS 26853 HAS SOUS 54392 HAS SOUPS 26537 WITH SCORE 26620.489
AT ITER 2079 NEW BEST:: SOT 133402 SOS 83489 HAS SOPS 26835 HAS SOUS 54374 HAS SOUPS 26519 WITH SCORE 26602.489
AT ITER 2090 NEW BEST:: SOT 133406 SOS 83501 HAS SOPS 26831 HAS SOUS 54378 HAS SOUPS 26515 WITH SCORE 26598.501
AT ITER 2095 NEW BEST:: SOT 133316 SOS 83411 HAS SOPS 26831 HAS SOUS 54288 HAS SOUPS 26515 WITH SCORE 26598.411
AT ITER 2101 NEW BEST:: SOT 133305 SOS 83400 HAS SOPS 26793 HAS SOUS 54277 HAS SOUPS 26477 WITH SCORE 26560.4
AT ITER 2112 NEW BEST:: SOT 133305 SOS 82678 HAS SOPS 26793 HAS SOUS 54246 HAS SOUPS 26477 WITH SCORE 26559.678
AT ITER 2117 NEW BEST:: SOT 133305 SOS 82622 HAS SOPS 26793 HAS SOUS 54164 HAS SOUPS 26477 WITH SCORE 26559.622
AT ITER 2141 NEW BEST:: SOT 133313 SOS 82630 HAS SOPS 26720 HAS SOUS 54091 HAS SOUPS 26404 WITH SCORE 26486.63
AT ITER 2145 NEW BEST:: SOT 133343 SOS 82682 HAS SOPS 26631 HAS SOUS 54122 HAS SOUPS 26315 WITH SCORE 26397.682
AT ITER 2149 NEW BEST:: SOT 133343 SOS 82660 HAS SOPS 26631 HAS SOUS 54122 HAS SOUPS 26315 WITH SCORE 26397.66
AT ITER 2155 NEW BEST:: SOT 133342 SOS 82659 HAS SOPS 26601 HAS SOUS 54121 HAS SOUPS 26285 WITH SCORE 26367.659
AT ITER 2156 NEW BEST:: SOT 133377 SOS 82741 HAS SOPS 26568 HAS SOUS 54211 HAS SOUPS 26252 WITH SCORE 26334.741
AT ITER 2163 NEW BEST:: SOT 133305 SOS 82754 HAS SOPS 26419 HAS SOUS 54213 HAS SOUPS 26103 WITH SCORE 26185.754
AT ITER 2193 NEW BEST:: SOT 133364 SOS 82916 HAS SOPS 26196 HAS SOUS 54077 HAS SOUPS 25880 WITH SCORE 25962.916
AT ITER 2203 NEW BEST:: SOT 133263 SOS 82815 HAS SOPS 26186 HAS SOUS 54067 HAS SOUPS 25870 WITH SCORE 25952.815
AT ITER 2210 NEW BEST:: SOT 133398 SOS 82923 HAS SOPS 26156 HAS SOUS 54115 HAS SOUPS 25840 WITH SCORE 25922.923
AT ITER 2217 NEW BEST:: SOT 133385 SOS 82910 HAS SOPS 26130 HAS SOUS 54108 HAS SOUPS 25814 WITH SCORE 25896.91
AT ITER 2227 NEW BEST:: SOT 133385 SOS 82828 HAS SOPS 26130 HAS SOUS 54108 HAS SOUPS 25814 WITH SCORE 25896.828
AT ITER 2250 NEW BEST:: SOT 133349 SOS 82792 HAS SOPS 26076 HAS SOUS 54072 HAS SOUPS 25760 WITH SCORE 25842.792
AT ITER 2253 NEW BEST:: SOT 133342 SOS 82781 HAS SOPS 26069 HAS SOUS 54040 HAS SOUPS 25753 WITH SCORE 25835.781
AT ITER 2269 NEW BEST:: SOT 133323 SOS 82762 HAS SOPS 26048 HAS SOUS 54019 HAS SOUPS 25732 WITH SCORE 25814.762
AT ITER 2271 NEW BEST:: SOT 133371 SOS 82906 HAS SOPS 25952 HAS SOUS 53971 HAS SOUPS 25636 WITH SCORE 25718.906
AT ITER 2301 NEW BEST:: SOT 133371 SOS 82838 HAS SOPS 25952 HAS SOUS 53937 HAS SOUPS 25636 WITH SCORE 25718.838
AT ITER 2305 NEW BEST:: SOT 133403 SOS 82982 HAS SOPS 25932 HAS SOUS 53997 HAS SOUPS 25616 WITH SCORE 25698.982
AT ITER 2329 NEW BEST:: SOT 133207 SOS 82786 HAS SOPS 25842 HAS SOUS 53829 HAS SOUPS 25526 WITH SCORE 25608.786
AT ITER 2333 NEW BEST:: SOT 133204 SOS 82783 HAS SOPS 25839 HAS SOUS 53826 HAS SOUPS 25523 WITH SCORE 25605.783
AT ITER 2352 NEW BEST:: SOT 133215 SOS 82794 HAS SOPS 25823 HAS SOUS 53829 HAS SOUPS 25507 WITH SCORE 25589.794
AT ITER 2355 NEW BEST:: SOT 133215 SOS 82794 HAS SOPS 25819 HAS SOUS 53825 HAS SOUPS 25503 WITH SCORE 25585.794
AT ITER 2369 NEW BEST:: SOT 133215 SOS 82776 HAS SOPS 25819 HAS SOUS 53825 HAS SOUPS 25503 WITH SCORE 25585.776
AT ITER 2377 NEW BEST:: SOT 133215 SOS 82776 HAS SOPS 25804 HAS SOUS 53825 HAS SOUPS 25488 WITH SCORE 25570.776
AT ITER 2387 NEW BEST:: SOT 133213 SOS 82774 HAS SOPS 25796 HAS SOUS 53823 HAS SOUPS 25480 WITH SCORE 25562.774
AT ITER 2393 NEW BEST:: SOT 133197 SOS 82758 HAS SOPS 25796 HAS SOUS 53823 HAS SOUPS 25480 WITH SCORE 25562.758
AT ITER 2408 NEW BEST:: SOT 133167 SOS 82728 HAS SOPS 25796 HAS SOUS 53793 HAS SOUPS 25480 WITH SCORE 25562.728
AT ITER 2411 NEW BEST:: SOT 133189 SOS 82750 HAS SOPS 25778 HAS SOUS 53775 HAS SOUPS 25462 WITH SCORE 25544.75
AT ITER 2434 NEW BEST:: SOT 133185 SOS 82746 HAS SOPS 25778 HAS SOUS 53775 HAS SOUPS 25462 WITH SCORE 25544.746
AT ITER 2438 NEW BEST:: SOT 133185 SOS 82746 HAS SOPS 25753 HAS SOUS 53800 HAS SOUPS 25437 WITH SCORE 25519.746
AT ITER 2443 NEW BEST:: SOT 133338 SOS 82915 HAS SOPS 25752 HAS SOUS 54138 HAS SOUPS 25436 WITH SCORE 25518.915
AT ITER 2451 NEW BEST:: SOT 133326 SOS 82903 HAS SOPS 25728 HAS SOUS 54126 HAS SOUPS 25412 WITH SCORE 25494.903
AT ITER 2468 NEW BEST:: SOT 133332 SOS 82909 HAS SOPS 25721 HAS SOUS 54109 HAS SOUPS 25405 WITH SCORE 25487.909
AT ITER 2474 NEW BEST:: SOT 133323 SOS 82900 HAS SOPS 25721 HAS SOUS 54085 HAS SOUPS 25405 WITH SCORE 25487.9
AT ITER 2475 NEW BEST:: SOT 133297 SOS 82874 HAS SOPS 25717 HAS SOUS 54081 HAS SOUPS 25401 WITH SCORE 25483.874
AT ITER 2476 NEW BEST:: SOT 133293 SOS 82870 HAS SOPS 25709 HAS SOUS 54073 HAS SOUPS 25393 WITH SCORE 25475.87
AT ITER 2511 NEW BEST:: SOT 133293 SOS 82822 HAS SOPS 25709 HAS SOUS 54154 HAS SOUPS 25393 WITH SCORE 25475.822
AT ITER 2514 NEW BEST:: SOT 133443 SOS 82972 HAS SOPS 25703 HAS SOUS 54192 HAS SOUPS 25387 WITH SCORE 25469.972
AT ITER 2526 NEW BEST:: SOT 133422 SOS 82951 HAS SOPS 25695 HAS SOUS 54184 HAS SOUPS 25379 WITH SCORE 25461.951
AT ITER 2528 NEW BEST:: SOT 133432 SOS 82953 HAS SOPS 25707 HAS SOUS 54167 HAS SOUPS 25372 WITH SCORE 25454.953
AT ITER 2543 NEW BEST:: SOT 133417 SOS 82816 HAS SOPS 25692 HAS SOUS 54050 HAS SOUPS 25349 WITH SCORE 25431.816
AT ITER 2567 NEW BEST:: SOT 133397 SOS 82776 HAS SOPS 25682 HAS SOUS 54010 HAS SOUPS 25339 WITH SCORE 25421.776
AT ITER 2575 NEW BEST:: SOT 133395 SOS 82763 HAS SOPS 25680 HAS SOUS 53995 HAS SOUPS 25335 WITH SCORE 25417.763
AT ITER 2577 NEW BEST:: SOT 133395 SOS 82635 HAS SOPS 25680 HAS SOUS 53995 HAS SOUPS 25335 WITH SCORE 25417.635
AT ITER 2585 NEW BEST:: SOT 133369 SOS 82596 HAS SOPS 25670 HAS SOUS 53972 HAS SOUPS 25325 WITH SCORE 25407.596
AT ITER 2595 NEW BEST:: SOT 133401 SOS 82772 HAS SOPS 25662 HAS SOUS 54076 HAS SOUPS 25317 WITH SCORE 25399.772
AT ITER 2601 NEW BEST:: SOT 133437 SOS 82930 HAS SOPS 25618 HAS SOUS 54208 HAS SOUPS 25273 WITH SCORE 25355.93
AT ITER 2649 NEW BEST:: SOT 133416 SOS 82909 HAS SOPS 25576 HAS SOUS 54256 HAS SOUPS 25231 WITH SCORE 25313.909
AT ITER 2650 NEW BEST:: SOT 133829 SOS 83322 HAS SOPS 25470 HAS SOUS 54874 HAS SOUPS 25125 WITH SCORE 25208.322
AT ITER 2672 NEW BEST:: SOT 133824 SOS 83317 HAS SOPS 25465 HAS SOUS 54883 HAS SOUPS 25120 WITH SCORE 25203.317
AT ITER 2673 NEW BEST:: SOT 133645 SOS 83138 HAS SOPS 25373 HAS SOUS 54653 HAS SOUPS 25028 WITH SCORE 25111.138
AT ITER 2679 NEW BEST:: SOT 133639 SOS 83132 HAS SOPS 25373 HAS SOUS 54647 HAS SOUPS 25028 WITH SCORE 25111.132
AT ITER 2686 NEW BEST:: SOT 133587 SOS 83099 HAS SOPS 25321 HAS SOUS 54629 HAS SOUPS 25014 WITH SCORE 25097.099
AT ITER 2693 NEW BEST:: SOT 133585 SOS 83097 HAS SOPS 25317 HAS SOUS 54676 HAS SOUPS 25010 WITH SCORE 25093.097
AT ITER 2697 NEW BEST:: SOT 133585 SOS 83107 HAS SOPS 25269 HAS SOUS 54698 HAS SOUPS 24962 WITH SCORE 25045.107
AT ITER 2701 NEW BEST:: SOT 133606 SOS 83128 HAS SOPS 25266 HAS SOUS 54719 HAS SOUPS 24959 WITH SCORE 25042.128
AT ITER 2711 NEW BEST:: SOT 133672 SOS 83194 HAS SOPS 25239 HAS SOUS 54838 HAS SOUPS 24932 WITH SCORE 25015.194
AT ITER 2743 NEW BEST:: SOT 133679 SOS 83237 HAS SOPS 25217 HAS SOUS 54845 HAS SOUPS 24910 WITH SCORE 24993.237
AT ITER 2765 NEW BEST:: SOT 133638 SOS 83196 HAS SOPS 25185 HAS SOUS 54824 HAS SOUPS 24878 WITH SCORE 24961.196
AT ITER 2774 NEW BEST:: SOT 133609 SOS 83167 HAS SOPS 25156 HAS SOUS 54795 HAS SOUPS 24849 WITH SCORE 24932.167
AT ITER 2775 NEW BEST:: SOT 133601 SOS 83151 HAS SOPS 25156 HAS SOUS 54785 HAS SOUPS 24849 WITH SCORE 24932.151
AT ITER 2778 NEW BEST:: SOT 133624 SOS 83174 HAS SOPS 25121 HAS SOUS 54750 HAS SOUPS 24814 WITH SCORE 24897.174
AT ITER 2792 NEW BEST:: SOT 133633 SOS 83183 HAS SOPS 25101 HAS SOUS 54730 HAS SOUPS 24794 WITH SCORE 24877.183
AT ITER 2814 NEW BEST:: SOT 133626 SOS 83165 HAS SOPS 25098 HAS SOUS 54712 HAS SOUPS 24791 WITH SCORE 24874.165
AT ITER 2827 NEW BEST:: SOT 133690 SOS 83229 HAS SOPS 25034 HAS SOUS 54776 HAS SOUPS 24727 WITH SCORE 24810.229
AT ITER 2849 NEW BEST:: SOT 133770 SOS 83289 HAS SOPS 25027 HAS SOUS 54836 HAS SOUPS 24720 WITH SCORE 24803.289
AT ITER 2857 NEW BEST:: SOT 133679 SOS 83110 HAS SOPS 25027 HAS SOUS 54748 HAS SOUPS 24720 WITH SCORE 24803.11
AT ITER 2879 NEW BEST:: SOT 133677 SOS 83108 HAS SOPS 25023 HAS SOUS 54746 HAS SOUPS 24716 WITH SCORE 24799.108
AT ITER 2896 NEW BEST:: SOT 133629 SOS 82982 HAS SOPS 25023 HAS SOUS 54662 HAS SOUPS 24716 WITH SCORE 24798.982
AT ITER 2922 NEW BEST:: SOT 133627 SOS 82980 HAS SOPS 25019 HAS SOUS 54660 HAS SOUPS 24712 WITH SCORE 24794.98
AT ITER 2924 NEW BEST:: SOT 133756 SOS 83217 HAS SOPS 24992 HAS SOUS 54751 HAS SOUPS 24685 WITH SCORE 24768.217
AT ITER 2955 NEW BEST:: SOT 133756 SOS 83217 HAS SOPS 24990 HAS SOUS 54749 HAS SOUPS 24683 WITH SCORE 24766.217
AT ITER 2964 NEW BEST:: SOT 133956 SOS 83825 HAS SOPS 24982 HAS SOUS 55151 HAS SOUPS 24675 WITH SCORE 24758.825
AT ITER 2969 NEW BEST:: SOT 133956 SOS 83810 HAS SOPS 24982 HAS SOUS 55183 HAS SOUPS 24675 WITH SCORE 24758.81
AT ITER 2972 NEW BEST:: SOT 133858 SOS 83630 HAS SOPS 25012 HAS SOUS 54981 HAS SOUPS 24641 WITH SCORE 24724.63
AT ITER 2989 NEW BEST:: SOT 133853 SOS 83630 HAS SOPS 25002 HAS SOUS 54981 HAS SOUPS 24631 WITH SCORE 24714.63
AT ITER 3013 NEW BEST:: SOT 133906 SOS 83773 HAS SOPS 24955 HAS SOUS 55076 HAS SOUPS 24584 WITH SCORE 24667.773
AT ITER 3049 NEW BEST:: SOT 133871 SOS 83738 HAS SOPS 24955 HAS SOUS 55044 HAS SOUPS 24584 WITH SCORE 24667.738
AT ITER 3064 NEW BEST:: SOT 133871 SOS 83746 HAS SOPS 24951 HAS SOUS 55044 HAS SOUPS 24580 WITH SCORE 24663.746
AT ITER 3071 NEW BEST:: SOT 133864 SOS 83732 HAS SOPS 24951 HAS SOUS 55023 HAS SOUPS 24573 WITH SCORE 24656.732
AT ITER 3081 NEW BEST:: SOT 133820 SOS 83688 HAS SOPS 24907 HAS SOUS 54979 HAS SOUPS 24529 WITH SCORE 24612.688
AT ITER 3082 NEW BEST:: SOT 133820 SOS 83334 HAS SOPS 24907 HAS SOUS 54911 HAS SOUPS 24529 WITH SCORE 24612.334
AT ITER 3093 NEW BEST:: SOT 133817 SOS 83350 HAS SOPS 24904 HAS SOUS 54924 HAS SOUPS 24523 WITH SCORE 24606.35
AT ITER 3098 NEW BEST:: SOT 133820 SOS 83353 HAS SOPS 24901 HAS SOUS 54928 HAS SOUPS 24520 WITH SCORE 24603.353
AT ITER 3106 NEW BEST:: SOT 133820 SOS 83353 HAS SOPS 24896 HAS SOUS 54928 HAS SOUPS 24515 WITH SCORE 24598.353
AT ITER 3117 NEW BEST:: SOT 133779 SOS 83312 HAS SOPS 24896 HAS SOUS 54922 HAS SOUPS 24515 WITH SCORE 24598.312
AT ITER 3122 NEW BEST:: SOT 133785 SOS 83318 HAS SOPS 24867 HAS SOUS 54893 HAS SOUPS 24486 WITH SCORE 24569.318
AT ITER 3132 NEW BEST:: SOT 133766 SOS 83299 HAS SOPS 24810 HAS SOUS 54874 HAS SOUPS 24429 WITH SCORE 24512.299
AT ITER 3135 NEW BEST:: SOT 133847 SOS 83436 HAS SOPS 24762 HAS SOUS 54882 HAS SOUPS 24381 WITH SCORE 24464.436
AT ITER 3147 NEW BEST:: SOT 133742 SOS 83331 HAS SOPS 24762 HAS SOUS 54672 HAS SOUPS 24381 WITH SCORE 24464.331
AT ITER 3188 NEW BEST:: SOT 133733 SOS 83322 HAS SOPS 24753 HAS SOUS 54701 HAS SOUPS 24372 WITH SCORE 24455.322
AT ITER 3211 NEW BEST:: SOT 133731 SOS 83320 HAS SOPS 24751 HAS SOUS 54697 HAS SOUPS 24368 WITH SCORE 24451.32
AT ITER 3212 NEW BEST:: SOT 133725 SOS 83314 HAS SOPS 24745 HAS SOUS 54691 HAS SOUPS 24362 WITH SCORE 24445.314
AT ITER 3214 NEW BEST:: SOT 133779 SOS 83368 HAS SOPS 24685 HAS SOUS 54676 HAS SOUPS 24302 WITH SCORE 24385.368
AT ITER 3220 NEW BEST:: SOT 133756 SOS 83345 HAS SOPS 24685 HAS SOUS 54653 HAS SOUPS 24302 WITH SCORE 24385.345
AT ITER 3237 NEW BEST:: SOT 133775 SOS 83404 HAS SOPS 24663 HAS SOUS 54712 HAS SOUPS 24280 WITH SCORE 24363.404
AT ITER 3251 NEW BEST:: SOT 133727 SOS 83356 HAS SOPS 24621 HAS SOUS 54626 HAS SOUPS 24238 WITH SCORE 24321.356
AT ITER 3256 NEW BEST:: SOT 133727 SOS 83324 HAS SOPS 24621 HAS SOUS 54626 HAS SOUPS 24238 WITH SCORE 24321.324
AT ITER 3261 NEW BEST:: SOT 133727 SOS 83234 HAS SOPS 24621 HAS SOUS 54584 HAS SOUPS 24238 WITH SCORE 24321.234
AT ITER 3272 NEW BEST:: SOT 133727 SOS 83138 HAS SOPS 24621 HAS SOUS 54584 HAS SOUPS 24238 WITH SCORE 24321.138
AT ITER 3273 NEW BEST:: SOT 133713 SOS 83124 HAS SOPS 24593 HAS SOUS 54580 HAS SOUPS 24210 WITH SCORE 24293.124
AT ITER 3280 NEW BEST:: SOT 133691 SOS 83230 HAS SOPS 24571 HAS SOUS 54476 HAS SOUPS 24201 WITH SCORE 24284.23
AT ITER 3306 NEW BEST:: SOT 133676 SOS 83215 HAS SOPS 24541 HAS SOUS 54475 HAS SOUPS 24171 WITH SCORE 24254.215
AT ITER 3333 NEW BEST:: SOT 133673 SOS 83212 HAS SOPS 24532 HAS SOUS 54469 HAS SOUPS 24162 WITH SCORE 24245.212
AT ITER 3352 NEW BEST:: SOT 133654 SOS 83188 HAS SOPS 24532 HAS SOUS 54463 HAS SOUPS 24162 WITH SCORE 24245.188
AT ITER 3388 NEW BEST:: SOT 133654 SOS 83180 HAS SOPS 24532 HAS SOUS 54463 HAS SOUPS 24162 WITH SCORE 24245.18
AT ITER 3431 NEW BEST:: SOT 133654 SOS 83148 HAS SOPS 24532 HAS SOUS 54463 HAS SOUPS 24162 WITH SCORE 24245.148
AT ITER 3441 NEW BEST:: SOT 133652 SOS 83146 HAS SOPS 24528 HAS SOUS 54461 HAS SOUPS 24158 WITH SCORE 24241.146
AT ITER 3443 NEW BEST:: SOT 133615 SOS 83041 HAS SOPS 24528 HAS SOUS 54414 HAS SOUPS 24158 WITH SCORE 24241.041
AT ITER 3464 NEW BEST:: SOT 133585 SOS 82819 HAS SOPS 24528 HAS SOUS 54354 HAS SOUPS 24158 WITH SCORE 24240.819
AT ITER 3469 NEW BEST:: SOT 133587 SOS 82821 HAS SOPS 24520 HAS SOUS 54346 HAS SOUPS 24150 WITH SCORE 24232.821
AT ITER 3478 NEW BEST:: SOT 133602 SOS 82836 HAS SOPS 24512 HAS SOUS 54413 HAS SOUPS 24146 WITH SCORE 24228.836
AT ITER 3484 NEW BEST:: SOT 133602 SOS 82836 HAS SOPS 24476 HAS SOUS 54413 HAS SOUPS 24110 WITH SCORE 24192.836
AT ITER 3507 NEW BEST:: SOT 133606 SOS 82840 HAS SOPS 24471 HAS SOUS 54370 HAS SOUPS 24092 WITH SCORE 24174.84
AT ITER 3508 NEW BEST:: SOT 133511 SOS 82745 HAS SOPS 24471 HAS SOUS 54205 HAS SOUPS 24092 WITH SCORE 24174.745
AT ITER 3529 NEW BEST:: SOT 133511 SOS 82690 HAS SOPS 24471 HAS SOUS 54143 HAS SOUPS 24092 WITH SCORE 24174.69
AT ITER 3559 NEW BEST:: SOT 133426 SOS 82541 HAS SOPS 24490 HAS SOUS 54023 HAS SOUPS 24050 WITH SCORE 24132.541
AT ITER 3560 NEW BEST:: SOT 133447 SOS 82506 HAS SOPS 24404 HAS SOUS 53989 HAS SOUPS 24012 WITH SCORE 24094.506
AT ITER 3573 NEW BEST:: SOT 133441 SOS 82436 HAS SOPS 24398 HAS SOUS 53957 HAS SOUPS 24006 WITH SCORE 24088.436
AT ITER 3599 NEW BEST:: SOT 133466 SOS 82461 HAS SOPS 24399 HAS SOUS 53958 HAS SOUPS 23983 WITH SCORE 24065.461
AT ITER 3607 NEW BEST:: SOT 133471 SOS 82466 HAS SOPS 24372 HAS SOUS 53963 HAS SOUPS 23956 WITH SCORE 24038.466
AT ITER 3642 NEW BEST:: SOT 133471 SOS 82184 HAS SOPS 24372 HAS SOUS 53924 HAS SOUPS 23956 WITH SCORE 24038.184
AT ITER 3651 NEW BEST:: SOT 133385 SOS 82054 HAS SOPS 24334 HAS SOUS 53826 HAS SOUPS 23916 WITH SCORE 23998.054
AT ITER 3667 NEW BEST:: SOT 133328 SOS 81997 HAS SOPS 24334 HAS SOUS 53826 HAS SOUPS 23916 WITH SCORE 23997.997
AT ITER 3687 NEW BEST:: SOT 133328 SOS 81937 HAS SOPS 24334 HAS SOUS 53826 HAS SOUPS 23916 WITH SCORE 23997.937
AT ITER 3688 NEW BEST:: SOT 133374 SOS 81901 HAS SOPS 24230 HAS SOUS 53798 HAS SOUPS 23882 WITH SCORE 23963.901
AT ITER 3707 NEW BEST:: SOT 133298 SOS 81825 HAS SOPS 24170 HAS SOUS 53722 HAS SOUPS 23822 WITH SCORE 23903.825
AT ITER 3725 NEW BEST:: SOT 133330 SOS 81857 HAS SOPS 24156 HAS SOUS 53766 HAS SOUPS 23808 WITH SCORE 23889.857
AT ITER 3741 NEW BEST:: SOT 133305 SOS 81832 HAS SOPS 24156 HAS SOUS 53758 HAS SOUPS 23808 WITH SCORE 23889.832
AT ITER 3800 NEW BEST:: SOT 133239 SOS 81766 HAS SOPS 24053 HAS SOUS 53751 HAS SOUPS 23705 WITH SCORE 23786.766
AT ITER 3837 NEW BEST:: SOT 133084 SOS 81445 HAS SOPS 24053 HAS SOUS 53322 HAS SOUPS 23705 WITH SCORE 23786.445
AT ITER 3840 NEW BEST:: SOT 133084 SOS 81441 HAS SOPS 24053 HAS SOUS 53336 HAS SOUPS 23705 WITH SCORE 23786.441
AT ITER 3851 NEW BEST:: SOT 133084 SOS 81421 HAS SOPS 24053 HAS SOUS 53316 HAS SOUPS 23705 WITH SCORE 23786.421
AT ITER 3866 NEW BEST:: SOT 133034 SOS 81371 HAS SOPS 24017 HAS SOUS 53266 HAS SOUPS 23669 WITH SCORE 23750.371
AT ITER 3873 NEW BEST:: SOT 133046 SOS 81383 HAS SOPS 24010 HAS SOUS 53259 HAS SOUPS 23662 WITH SCORE 23743.383
AT ITER 3885 NEW BEST:: SOT 133042 SOS 81379 HAS SOPS 24002 HAS SOUS 53255 HAS SOUPS 23654 WITH SCORE 23735.379
AT ITER 3921 NEW BEST:: SOT 133122 SOS 81555 HAS SOPS 23934 HAS SOUS 53262 HAS SOUPS 23604 WITH SCORE 23685.555
AT ITER 3924 NEW BEST:: SOT 133191 SOS 81624 HAS SOPS 23919 HAS SOUS 53344 HAS SOUPS 23589 WITH SCORE 23670.624
AT ITER 3925 NEW BEST:: SOT 133316 SOS 81936 HAS SOPS 23912 HAS SOUS 53468 HAS SOUPS 23582 WITH SCORE 23663.936
AT ITER 3926 NEW BEST:: SOT 133391 SOS 82052 HAS SOPS 23882 HAS SOUS 53610 HAS SOUPS 23578 WITH SCORE 23660.052
AT ITER 3932 NEW BEST:: SOT 133404 SOS 82177 HAS SOPS 23814 HAS SOUS 53699 HAS SOUPS 23510 WITH SCORE 23592.177
AT ITER 3953 NEW BEST:: SOT 133364 SOS 82135 HAS SOPS 23774 HAS SOUS 53619 HAS SOUPS 23430 WITH SCORE 23512.135
AT ITER 3985 NEW BEST:: SOT 133364 SOS 82109 HAS SOPS 23774 HAS SOUS 53593 HAS SOUPS 23430 WITH SCORE 23512.109
AT ITER 4004 NEW BEST:: SOT 133364 SOS 82099 HAS SOPS 23774 HAS SOUS 53588 HAS SOUPS 23430 WITH SCORE 23512.099
AT ITER 4061 NEW BEST:: SOT 133630 SOS 82365 HAS SOPS 23770 HAS SOUS 53741 HAS SOUPS 23426 WITH SCORE 23508.365
AT ITER 4079 NEW BEST:: SOT 133626 SOS 82361 HAS SOPS 23762 HAS SOUS 53699 HAS SOUPS 23418 WITH SCORE 23500.361
AT ITER 4090 NEW BEST:: SOT 133626 SOS 82329 HAS SOPS 23762 HAS SOUS 53667 HAS SOUPS 23418 WITH SCORE 23500.329
AT ITER 4091 NEW BEST:: SOT 133584 SOS 82203 HAS SOPS 23762 HAS SOUS 53583 HAS SOUPS 23418 WITH SCORE 23500.203
AT ITER 4093 NEW BEST:: SOT 133623 SOS 82364 HAS SOPS 23723 HAS SOUS 53678 HAS SOUPS 23379 WITH SCORE 23461.364
AT ITER 4102 NEW BEST:: SOT 133616 SOS 82357 HAS SOPS 23702 HAS SOUS 53650 HAS SOUPS 23358 WITH SCORE 23440.357
AT ITER 4105 NEW BEST:: SOT 133693 SOS 87236 HAS SOPS 23643 HAS SOUS 54166 HAS SOUPS 23299 WITH SCORE 23386.236
AT ITER 4116 NEW BEST:: SOT 133693 SOS 87236 HAS SOPS 23600 HAS SOUS 54166 HAS SOUPS 23256 WITH SCORE 23343.236
AT ITER 4117 NEW BEST:: SOT 133821 SOS 87640 HAS SOPS 23406 HAS SOUS 54455 HAS SOUPS 23062 WITH SCORE 23149.64
AT ITER 4125 NEW BEST:: SOT 133807 SOS 87626 HAS SOPS 23392 HAS SOUS 54441 HAS SOUPS 23048 WITH SCORE 23135.626
AT ITER 4131 NEW BEST:: SOT 133778 SOS 87597 HAS SOPS 23392 HAS SOUS 54412 HAS SOUPS 23048 WITH SCORE 23135.597
AT ITER 4156 NEW BEST:: SOT 133796 SOS 87687 HAS SOPS 23374 HAS SOUS 54430 HAS SOUPS 23030 WITH SCORE 23117.687
AT ITER 4164 NEW BEST:: SOT 133796 SOS 87601 HAS SOPS 23374 HAS SOUS 54430 HAS SOUPS 23030 WITH SCORE 23117.601
AT ITER 4175 NEW BEST:: SOT 133778 SOS 87583 HAS SOPS 23374 HAS SOUS 54412 HAS SOUPS 23030 WITH SCORE 23117.583
AT ITER 4225 NEW BEST:: SOT 133778 SOS 87545 HAS SOPS 23374 HAS SOUS 54374 HAS SOUPS 23030 WITH SCORE 23117.545
AT ITER 4255 NEW BEST:: SOT 133793 SOS 87560 HAS SOPS 23341 HAS SOUS 54376 HAS SOUPS 22997 WITH SCORE 23084.56
AT ITER 4257 NEW BEST:: SOT 133927 SOS 87997 HAS SOPS 23298 HAS SOUS 54505 HAS SOUPS 22955 WITH SCORE 23042.997
AT ITER 4266 NEW BEST:: SOT 133927 SOS 87793 HAS SOPS 23298 HAS SOUS 54404 HAS SOUPS 22955 WITH SCORE 23042.793
AT ITER 4272 NEW BEST:: SOT 133897 SOS 87763 HAS SOPS 23238 HAS SOUS 54374 HAS SOUPS 22895 WITH SCORE 22982.763
AT ITER 4283 NEW BEST:: SOT 133919 SOS 87785 HAS SOPS 23216 HAS SOUS 54418 HAS SOUPS 22873 WITH SCORE 22960.785
AT ITER 4292 NEW BEST:: SOT 133921 SOS 87787 HAS SOPS 23212 HAS SOUS 54420 HAS SOUPS 22869 WITH SCORE 22956.787
AT ITER 4297 NEW BEST:: SOT 133955 SOS 87897 HAS SOPS 23204 HAS SOUS 54505 HAS SOUPS 22861 WITH SCORE 22948.897
AT ITER 4308 NEW BEST:: SOT 133961 SOS 87903 HAS SOPS 23198 HAS SOUS 54505 HAS SOUPS 22855 WITH SCORE 22942.903
AT ITER 4356 NEW BEST:: SOT 133984 SOS 87926 HAS SOPS 23155 HAS SOUS 54462 HAS SOUPS 22812 WITH SCORE 22899.926
AT ITER 4371 NEW BEST:: SOT 133983 SOS 87925 HAS SOPS 23155 HAS SOUS 54462 HAS SOUPS 22812 WITH SCORE 22899.925
AT ITER 4401 NEW BEST:: SOT 133877 SOS 87819 HAS SOPS 23155 HAS SOUS 54405 HAS SOUPS 22812 WITH SCORE 22899.819
AT ITER 4409 NEW BEST:: SOT 133860 SOS 87782 HAS SOPS 23155 HAS SOUS 54354 HAS SOUPS 22812 WITH SCORE 22899.782
AT ITER 4413 NEW BEST:: SOT 133838 SOS 87760 HAS SOPS 23116 HAS SOUS 54311 HAS SOUPS 22769 WITH SCORE 22856.76
AT ITER 4423 NEW BEST:: SOT 133831 SOS 87753 HAS SOPS 23116 HAS SOUS 54304 HAS SOUPS 22769 WITH SCORE 22856.753
AT ITER 4429 NEW BEST:: SOT 133821 SOS 87743 HAS SOPS 23106 HAS SOUS 54294 HAS SOUPS 22759 WITH SCORE 22846.743
AT ITER 4468 NEW BEST:: SOT 133821 SOS 87768 HAS SOPS 23081 HAS SOUS 54294 HAS SOUPS 22734 WITH SCORE 22821.768
AT ITER 4518 NEW BEST:: SOT 133824 SOS 87771 HAS SOPS 23068 HAS SOUS 54285 HAS SOUPS 22721 WITH SCORE 22808.771
AT ITER 4544 NEW BEST:: SOT 133819 SOS 87766 HAS SOPS 23068 HAS SOUS 54280 HAS SOUPS 22721 WITH SCORE 22808.766
AT ITER 4578 NEW BEST:: SOT 133816 SOS 87763 HAS SOPS 23062 HAS SOUS 54276 HAS SOUPS 22715 WITH SCORE 22802.763
AT ITER 4585 NEW BEST:: SOT 133801 SOS 87748 HAS SOPS 23032 HAS SOUS 54261 HAS SOUPS 22685 WITH SCORE 22772.748
AT ITER 4602 NEW BEST:: SOT 133800 SOS 87747 HAS SOPS 23030 HAS SOUS 54264 HAS SOUPS 22683 WITH SCORE 22770.747
AT ITER 4610 NEW BEST:: SOT 133773 SOS 87720 HAS SOPS 23030 HAS SOUS 54264 HAS SOUPS 22683 WITH SCORE 22770.72
AT ITER 4613 NEW BEST:: SOT 133773 SOS 87698 HAS SOPS 23030 HAS SOUS 54253 HAS SOUPS 22683 WITH SCORE 22770.698
AT ITER 4614 NEW BEST:: SOT 133696 SOS 87498 HAS SOPS 23036 HAS SOUS 54056 HAS SOUPS 22652 WITH SCORE 22739.498
AT ITER 4645 NEW BEST:: SOT 133696 SOS 87470 HAS SOPS 23036 HAS SOUS 54056 HAS SOUPS 22652 WITH SCORE 22739.47
AT ITER 4666 NEW BEST:: SOT 133631 SOS 87405 HAS SOPS 23022 HAS SOUS 53976 HAS SOUPS 22638 WITH SCORE 22725.405
AT ITER 4693 NEW BEST:: SOT 133631 SOS 87405 HAS SOPS 23019 HAS SOUS 53977 HAS SOUPS 22635 WITH SCORE 22722.405
AT ITER 4702 NEW BEST:: SOT 133624 SOS 87398 HAS SOPS 23005 HAS SOUS 53970 HAS SOUPS 22621 WITH SCORE 22708.398
AT ITER 4711 NEW BEST:: SOT 133623 SOS 87395 HAS SOPS 23003 HAS SOUS 53969 HAS SOUPS 22619 WITH SCORE 22706.395
AT ITER 4718 NEW BEST:: SOT 133573 SOS 87345 HAS SOPS 22978 HAS SOUS 53917 HAS SOUPS 22594 WITH SCORE 22681.345
AT ITER 4750 NEW BEST:: SOT 133643 SOS 87415 HAS SOPS 22941 HAS SOUS 53939 HAS SOUPS 22557 WITH SCORE 22644.415
AT ITER 4764 NEW BEST:: SOT 133643 SOS 87283 HAS SOPS 22941 HAS SOUS 53895 HAS SOUPS 22557 WITH SCORE 22644.283
AT ITER 4796 NEW BEST:: SOT 133641 SOS 87281 HAS SOPS 22937 HAS SOUS 53894 HAS SOUPS 22553 WITH SCORE 22640.281
AT ITER 4825 NEW BEST:: SOT 133686 SOS 87326 HAS SOPS 22892 HAS SOUS 53924 HAS SOUPS 22508 WITH SCORE 22595.326
AT ITER 4853 NEW BEST:: SOT 133686 SOS 87302 HAS SOPS 22892 HAS SOUS 53924 HAS SOUPS 22508 WITH SCORE 22595.302
AT ITER 4864 NEW BEST:: SOT 133694 SOS 87326 HAS SOPS 22884 HAS SOUS 53932 HAS SOUPS 22500 WITH SCORE 22587.326
AT ITER 4866 NEW BEST:: SOT 133690 SOS 87322 HAS SOPS 22876 HAS SOUS 53928 HAS SOUPS 22492 WITH SCORE 22579.322
AT ITER 4887 NEW BEST:: SOT 133705 SOS 87337 HAS SOPS 22828 HAS SOUS 53841 HAS SOUPS 22444 WITH SCORE 22531.337
AT ITER 4915 NEW BEST:: SOT 133624 SOS 87152 HAS SOPS 22747 HAS SOUS 53624 HAS SOUPS 22316 WITH SCORE 22403.152
AT ITER 4916 NEW BEST:: SOT 133624 SOS 87148 HAS SOPS 22747 HAS SOUS 53624 HAS SOUPS 22316 WITH SCORE 22403.148
AT ITER 4919 NEW BEST:: SOT 133624 SOS 87130 HAS SOPS 22747 HAS SOUS 53606 HAS SOUPS 22316 WITH SCORE 22403.13
AT ITER 4950 NEW BEST:: SOT 133621 SOS 87127 HAS SOPS 22741 HAS SOUS 53600 HAS SOUPS 22310 WITH SCORE 22397.127
AT ITER 4958 NEW BEST:: SOT 133552 SOS 87058 HAS SOPS 22659 HAS SOUS 53508 HAS SOUPS 22205 WITH SCORE 22292.058
AT ITER 4976 NEW BEST:: SOT 133550 SOS 87056 HAS SOPS 22657 HAS SOUS 53504 HAS SOUPS 22201 WITH SCORE 22288.056
AT ITER 5003 NEW BEST:: SOT 133550 SOS 87056 HAS SOPS 22631 HAS SOUS 53478 HAS SOUPS 22175 WITH SCORE 22262.056
AT ITER 5004 NEW BEST:: SOT 133512 SOS 87018 HAS SOPS 22631 HAS SOUS 53379 HAS SOUPS 22175 WITH SCORE 22262.018
AT ITER 5022 NEW BEST:: SOT 133533 SOS 87039 HAS SOPS 22616 HAS SOUS 53400 HAS SOUPS 22160 WITH SCORE 22247.039
AT ITER 5032 NEW BEST:: SOT 133538 SOS 87044 HAS SOPS 22608 HAS SOUS 53392 HAS SOUPS 22152 WITH SCORE 22239.044
AT ITER 5037 NEW BEST:: SOT 133538 SOS 86918 HAS SOPS 22608 HAS SOUS 53384 HAS SOUPS 22152 WITH SCORE 22238.918
AT ITER 5043 NEW BEST:: SOT 133537 SOS 86917 HAS SOPS 22608 HAS SOUS 53383 HAS SOUPS 22152 WITH SCORE 22238.917
AT ITER 5050 NEW BEST:: SOT 133550 SOS 86930 HAS SOPS 22591 HAS SOUS 53358 HAS SOUPS 22135 WITH SCORE 22221.93
AT ITER 5057 NEW BEST:: SOT 133550 SOS 86900 HAS SOPS 22591 HAS SOUS 53351 HAS SOUPS 22135 WITH SCORE 22221.9
AT ITER 5086 NEW BEST:: SOT 133637 SOS 87069 HAS SOPS 22581 HAS SOUS 53467 HAS SOUPS 22125 WITH SCORE 22212.069
AT ITER 5118 NEW BEST:: SOT 133625 SOS 87033 HAS SOPS 22581 HAS SOUS 53431 HAS SOUPS 22125 WITH SCORE 22212.033
AT ITER 5124 NEW BEST:: SOT 133741 SOS 87423 HAS SOPS 22539 HAS SOUS 53763 HAS SOUPS 22083 WITH SCORE 22170.423
AT ITER 5128 NEW BEST:: SOT 133661 SOS 87935 HAS SOPS 22459 HAS SOUS 53777 HAS SOUPS 22049 WITH SCORE 22136.935
AT ITER 5141 NEW BEST:: SOT 133650 SOS 87924 HAS SOPS 22448 HAS SOUS 53926 HAS SOUPS 22038 WITH SCORE 22125.924
AT ITER 5148 NEW BEST:: SOT 133650 SOS 87952 HAS SOPS 22406 HAS SOUS 53940 HAS SOUPS 21996 WITH SCORE 22083.952
AT ITER 5151 NEW BEST:: SOT 133629 SOS 87891 HAS SOPS 22406 HAS SOUS 53877 HAS SOUPS 21996 WITH SCORE 22083.891
AT ITER 5158 NEW BEST:: SOT 133599 SOS 87861 HAS SOPS 22372 HAS SOUS 53847 HAS SOUPS 21962 WITH SCORE 22049.861
AT ITER 5169 NEW BEST:: SOT 133550 SOS 87812 HAS SOPS 22308 HAS SOUS 53885 HAS SOUPS 21898 WITH SCORE 21985.812
AT ITER 5179 NEW BEST:: SOT 133534 SOS 87786 HAS SOPS 22298 HAS SOUS 53847 HAS SOUPS 21876 WITH SCORE 21963.786
AT ITER 5213 NEW BEST:: SOT 133548 SOS 87800 HAS SOPS 22284 HAS SOUS 53833 HAS SOUPS 21862 WITH SCORE 21949.8
AT ITER 5228 NEW BEST:: SOT 133546 SOS 87798 HAS SOPS 22282 HAS SOUS 53831 HAS SOUPS 21860 WITH SCORE 21947.798
AT ITER 5231 NEW BEST:: SOT 133577 SOS 87862 HAS SOPS 22253 HAS SOUS 53775 HAS SOUPS 21831 WITH SCORE 21918.862
AT ITER 5241 NEW BEST:: SOT 133442 SOS 87727 HAS SOPS 22250 HAS SOUS 53640 HAS SOUPS 21828 WITH SCORE 21915.727
AT ITER 5253 NEW BEST:: SOT 133504 SOS 87885 HAS SOPS 22191 HAS SOUS 53784 HAS SOUPS 21769 WITH SCORE 21856.885
AT ITER 5265 NEW BEST:: SOT 133504 SOS 87871 HAS SOPS 22191 HAS SOUS 53765 HAS SOUPS 21769 WITH SCORE 21856.871
AT ITER 5269 NEW BEST:: SOT 133504 SOS 87830 HAS SOPS 22191 HAS SOUS 53649 HAS SOUPS 21769 WITH SCORE 21856.83
AT ITER 5329 NEW BEST:: SOT 133516 SOS 87842 HAS SOPS 22189 HAS SOUS 53661 HAS SOUPS 21767 WITH SCORE 21854.842
AT ITER 5334 NEW BEST:: SOT 133501 SOS 87827 HAS SOPS 22189 HAS SOUS 53646 HAS SOUPS 21767 WITH SCORE 21854.827
AT ITER 5444 NEW BEST:: SOT 133488 SOS 87814 HAS SOPS 22189 HAS SOUS 53633 HAS SOUPS 21767 WITH SCORE 21854.814
AT ITER 5459 NEW BEST:: SOT 133486 SOS 87812 HAS SOPS 22170 HAS SOUS 53631 HAS SOUPS 21748 WITH SCORE 21835.812
AT ITER 5460 NEW BEST:: SOT 133613 SOS 88227 HAS SOPS 22134 HAS SOUS 53818 HAS SOUPS 21712 WITH SCORE 21800.227
AT ITER 5462 NEW BEST:: SOT 133613 SOS 88185 HAS SOPS 22134 HAS SOUS 53818 HAS SOUPS 21712 WITH SCORE 21800.185
AT ITER 5472 NEW BEST:: SOT 133613 SOS 88144 HAS SOPS 22134 HAS SOUS 53722 HAS SOUPS 21712 WITH SCORE 21800.144
AT ITER 5490 NEW BEST:: SOT 133611 SOS 88142 HAS SOPS 22130 HAS SOUS 53720 HAS SOUPS 21708 WITH SCORE 21796.142
AT ITER 5508 NEW BEST:: SOT 133606 SOS 88137 HAS SOPS 22038 HAS SOUS 53755 HAS SOUPS 21657 WITH SCORE 21745.137
AT ITER 5509 NEW BEST:: SOT 133752 SOS 88521 HAS SOPS 21988 HAS SOUS 54152 HAS SOUPS 21607 WITH SCORE 21695.521
AT ITER 5520 NEW BEST:: SOT 133748 SOS 88517 HAS SOPS 21980 HAS SOUS 54148 HAS SOUPS 21599 WITH SCORE 21687.517
AT ITER 5527 NEW BEST:: SOT 133758 SOS 88527 HAS SOPS 21976 HAS SOUS 54143 HAS SOUPS 21595 WITH SCORE 21683.527
AT ITER 5531 NEW BEST:: SOT 133758 SOS 88487 HAS SOPS 21976 HAS SOUS 54143 HAS SOUPS 21595 WITH SCORE 21683.487
AT ITER 5560 NEW BEST:: SOT 133705 SOS 88434 HAS SOPS 21948 HAS SOUS 54090 HAS SOUPS 21567 WITH SCORE 21655.434
AT ITER 5568 NEW BEST:: SOT 133690 SOS 88419 HAS SOPS 21926 HAS SOUS 54075 HAS SOUPS 21545 WITH SCORE 21633.419
AT ITER 5624 NEW BEST:: SOT 133653 SOS 88382 HAS SOPS 21876 HAS SOUS 54025 HAS SOUPS 21495 WITH SCORE 21583.382
AT ITER 5626 NEW BEST:: SOT 133638 SOS 88367 HAS SOPS 21876 HAS SOUS 54025 HAS SOUPS 21495 WITH SCORE 21583.367
AT ITER 5647 NEW BEST:: SOT 133620 SOS 88349 HAS SOPS 21874 HAS SOUS 54006 HAS SOUPS 21493 WITH SCORE 21581.349
AT ITER 5648 NEW BEST:: SOT 133615 SOS 88344 HAS SOPS 21874 HAS SOUS 54001 HAS SOUPS 21493 WITH SCORE 21581.344
AT ITER 5650 NEW BEST:: SOT 133595 SOS 88324 HAS SOPS 21845 HAS SOUS 53972 HAS SOUPS 21464 WITH SCORE 21552.324
AT ITER 5692 NEW BEST:: SOT 133614 SOS 88343 HAS SOPS 21831 HAS SOUS 53991 HAS SOUPS 21450 WITH SCORE 21538.343
AT ITER 5740 NEW BEST:: SOT 133614 SOS 88343 HAS SOPS 21813 HAS SOUS 53964 HAS SOUPS 21432 WITH SCORE 21520.343
AT ITER 5741 NEW BEST:: SOT 133606 SOS 88335 HAS SOPS 21813 HAS SOUS 53956 HAS SOUPS 21432 WITH SCORE 21520.335
AT ITER 5757 NEW BEST:: SOT 133649 SOS 88406 HAS SOPS 21809 HAS SOUS 54009 HAS SOUPS 21428 WITH SCORE 21516.406
AT ITER 5770 NEW BEST:: SOT 133679 SOS 88616 HAS SOPS 21721 HAS SOUS 54171 HAS SOUPS 21340 WITH SCORE 21428.616
AT ITER 5778 NEW BEST:: SOT 133679 SOS 81138 HAS SOPS 21721 HAS SOUS 51415 HAS SOUPS 21340 WITH SCORE 21421.138
AT ITER 5785 NEW BEST:: SOT 133676 SOS 81135 HAS SOPS 21718 HAS SOUS 51415 HAS SOUPS 21337 WITH SCORE 21418.135
AT ITER 5808 NEW BEST:: SOT 133676 SOS 80983 HAS SOPS 21718 HAS SOUS 51475 HAS SOUPS 21337 WITH SCORE 21417.983
AT ITER 5834 NEW BEST:: SOT 133653 SOS 80952 HAS SOPS 21718 HAS SOUS 51451 HAS SOUPS 21337 WITH SCORE 21417.952
AT ITER 5837 NEW BEST:: SOT 133658 SOS 80957 HAS SOPS 21682 HAS SOUS 51715 HAS SOUPS 21301 WITH SCORE 21381.957
AT ITER 5865 NEW BEST:: SOT 133858 SOS 81675 HAS SOPS 21519 HAS SOUS 52279 HAS SOUPS 21206 WITH SCORE 21287.675
AT ITER 5887 NEW BEST:: SOT 133845 SOS 81727 HAS SOPS 21506 HAS SOUS 52276 HAS SOUPS 21180 WITH SCORE 21261.727
AT ITER 5890 NEW BEST:: SOT 133845 SOS 81711 HAS SOPS 21506 HAS SOUS 52276 HAS SOUPS 21180 WITH SCORE 21261.711
AT ITER 5916 NEW BEST:: SOT 133798 SOS 81664 HAS SOPS 21499 HAS SOUS 52229 HAS SOUPS 21173 WITH SCORE 21254.664
AT ITER 5924 NEW BEST:: SOT 133788 SOS 81654 HAS SOPS 21479 HAS SOUS 52219 HAS SOUPS 21153 WITH SCORE 21234.654
AT ITER 5944 NEW BEST:: SOT 133755 SOS 81621 HAS SOPS 21449 HAS SOUS 52186 HAS SOUPS 21123 WITH SCORE 21204.621
AT ITER 5954 NEW BEST:: SOT 133755 SOS 81516 HAS SOPS 21449 HAS SOUS 52091 HAS SOUPS 21123 WITH SCORE 21204.516
AT ITER 5978 NEW BEST:: SOT 133739 SOS 81500 HAS SOPS 21442 HAS SOUS 52054 HAS SOUPS 21116 WITH SCORE 21197.5
AT ITER 5990 NEW BEST:: SOT 133791 SOS 81552 HAS SOPS 21362 HAS SOUS 52106 HAS SOUPS 21036 WITH SCORE 21117.552
AT ITER 5991 NEW BEST:: SOT 133785 SOS 81546 HAS SOPS 21356 HAS SOUS 52100 HAS SOUPS 21030 WITH SCORE 21111.546
AT ITER 6003 NEW BEST:: SOT 133785 SOS 81422 HAS SOPS 21356 HAS SOUS 52092 HAS SOUPS 21030 WITH SCORE 21111.422
AT ITER 6009 NEW BEST:: SOT 133790 SOS 81427 HAS SOPS 21351 HAS SOUS 52087 HAS SOUPS 21025 WITH SCORE 21106.427
AT ITER 6010 NEW BEST:: SOT 133790 SOS 81341 HAS SOPS 21351 HAS SOUS 52058 HAS SOUPS 21025 WITH SCORE 21106.341
AT ITER 6011 NEW BEST:: SOT 133790 SOS 81157 HAS SOPS 21351 HAS SOUS 52012 HAS SOUPS 21025 WITH SCORE 21106.157
AT ITER 6062 NEW BEST:: SOT 133790 SOS 80953 HAS SOPS 21351 HAS SOUS 51979 HAS SOUPS 21025 WITH SCORE 21105.953
AT ITER 6063 NEW BEST:: SOT 133790 SOS 77406 HAS SOPS 21351 HAS SOUS 51948 HAS SOUPS 21025 WITH SCORE 21102.406
AT ITER 6100 NEW BEST:: SOT 133916 SOS 78044 HAS SOPS 21347 HAS SOUS 52193 HAS SOUPS 21021 WITH SCORE 21099.044
AT ITER 6107 NEW BEST:: SOT 133916 SOS 77912 HAS SOPS 21347 HAS SOUS 52127 HAS SOUPS 21021 WITH SCORE 21098.912
AT ITER 6140 NEW BEST:: SOT 133916 SOS 77788 HAS SOPS 21347 HAS SOUS 52096 HAS SOUPS 21021 WITH SCORE 21098.788
AT ITER 6175 NEW BEST:: SOT 133916 SOS 77711 HAS SOPS 21347 HAS SOUS 52089 HAS SOUPS 21021 WITH SCORE 21098.711
AT ITER 6180 NEW BEST:: SOT 133916 SOS 77698 HAS SOPS 21347 HAS SOUS 52076 HAS SOUPS 21021 WITH SCORE 21098.698
AT ITER 6182 NEW BEST:: SOT 133910 SOS 77692 HAS SOPS 21347 HAS SOUS 52066 HAS SOUPS 21021 WITH SCORE 21098.692
AT ITER 6183 NEW BEST:: SOT 133932 SOS 77714 HAS SOPS 21346 HAS SOUS 52080 HAS SOUPS 21020 WITH SCORE 21097.714
AT ITER 6193 NEW BEST:: SOT 133932 SOS 77712 HAS SOPS 21346 HAS SOUS 52122 HAS SOUPS 21020 WITH SCORE 21097.712
AT ITER 6198 NEW BEST:: SOT 133931 SOS 77707 HAS SOPS 21346 HAS SOUS 52121 HAS SOUPS 21020 WITH SCORE 21097.707
AT ITER 6250 NEW BEST:: SOT 133891 SOS 77667 HAS SOPS 21346 HAS SOUS 52081 HAS SOUPS 21020 WITH SCORE 21097.667
AT ITER 6253 NEW BEST:: SOT 133884 SOS 77660 HAS SOPS 21342 HAS SOUS 52081 HAS SOUPS 21016 WITH SCORE 21093.66
AT ITER 6272 NEW BEST:: SOT 133890 SOS 77666 HAS SOPS 21285 HAS SOUS 52087 HAS SOUPS 20959 WITH SCORE 21036.666
AT ITER 6289 NEW BEST:: SOT 133910 SOS 77686 HAS SOPS 21274 HAS SOUS 52107 HAS SOUPS 20948 WITH SCORE 21025.686
AT ITER 6305 NEW BEST:: SOT 133832 SOS 77608 HAS SOPS 21178 HAS SOUS 52048 HAS SOUPS 20852 WITH SCORE 20929.608
AT ITER 6319 NEW BEST:: SOT 133830 SOS 77606 HAS SOPS 21174 HAS SOUS 52052 HAS SOUPS 20848 WITH SCORE 20925.606
AT ITER 6350 NEW BEST:: SOT 133833 SOS 77612 HAS SOPS 21171 HAS SOUS 52055 HAS SOUPS 20845 WITH SCORE 20922.612
AT ITER 6407 NEW BEST:: SOT 133789 SOS 77568 HAS SOPS 21143 HAS SOUS 52011 HAS SOUPS 20817 WITH SCORE 20894.568
AT ITER 6435 NEW BEST:: SOT 133801 SOS 77580 HAS SOPS 21099 HAS SOUS 52023 HAS SOUPS 20773 WITH SCORE 20850.58
AT ITER 6439 NEW BEST:: SOT 133809 SOS 77678 HAS SOPS 21070 HAS SOUS 52009 HAS SOUPS 20744 WITH SCORE 20821.678
AT ITER 6468 NEW BEST:: SOT 133939 SOS 78248 HAS SOPS 21000 HAS SOUS 52086 HAS SOUPS 20674 WITH SCORE 20752.248
AT ITER 6482 NEW BEST:: SOT 133922 SOS 78231 HAS SOPS 20994 HAS SOUS 52069 HAS SOUPS 20668 WITH SCORE 20746.231
AT ITER 6486 NEW BEST:: SOT 133922 SOS 78061 HAS SOPS 20994 HAS SOUS 52137 HAS SOUPS 20668 WITH SCORE 20746.061
AT ITER 6501 NEW BEST:: SOT 133920 SOS 78059 HAS SOPS 20990 HAS SOUS 52087 HAS SOUPS 20664 WITH SCORE 20742.059
AT ITER 6510 NEW BEST:: SOT 133920 SOS 78039 HAS SOPS 20990 HAS SOUS 52087 HAS SOUPS 20664 WITH SCORE 20742.039
AT ITER 6618 NEW BEST:: SOT 134005 SOS 78478 HAS SOPS 20964 HAS SOUS 52256 HAS SOUPS 20638 WITH SCORE 20716.478
AT ITER 6690 NEW BEST:: SOT 133994 SOS 78467 HAS SOPS 20964 HAS SOUS 52245 HAS SOUPS 20638 WITH SCORE 20716.467
AT ITER 6692 NEW BEST:: SOT 134018 SOS 78454 HAS SOPS 20988 HAS SOUS 52207 HAS SOUPS 20637 WITH SCORE 20715.454
AT ITER 6709 NEW BEST:: SOT 134014 SOS 78582 HAS SOPS 20984 HAS SOUS 52121 HAS SOUPS 20607 WITH SCORE 20685.582
AT ITER 6713 NEW BEST:: SOT 134035 SOS 78623 HAS SOPS 20968 HAS SOUS 52179 HAS SOUPS 20591 WITH SCORE 20669.623
AT ITER 6736 NEW BEST:: SOT 134035 SOS 78495 HAS SOPS 20968 HAS SOUS 52183 HAS SOUPS 20591 WITH SCORE 20669.495
AT ITER 6739 NEW BEST:: SOT 134072 SOS 78532 HAS SOPS 20956 HAS SOUS 52220 HAS SOUPS 20579 WITH SCORE 20657.532
AT ITER 6742 NEW BEST:: SOT 134072 SOS 78316 HAS SOPS 20956 HAS SOUS 52220 HAS SOUPS 20579 WITH SCORE 20657.316
AT ITER 6744 NEW BEST:: SOT 134091 SOS 78387 HAS SOPS 20926 HAS SOUS 52190 HAS SOUPS 20549 WITH SCORE 20627.387
AT ITER 6767 NEW BEST:: SOT 134091 SOS 78373 HAS SOPS 20926 HAS SOUS 52178 HAS SOUPS 20549 WITH SCORE 20627.373
AT ITER 6814 NEW BEST:: SOT 134091 SOS 78373 HAS SOPS 20912 HAS SOUS 52178 HAS SOUPS 20535 WITH SCORE 20613.373
AT ITER 6820 NEW BEST:: SOT 134046 SOS 78148 HAS SOPS 20912 HAS SOUS 52133 HAS SOUPS 20535 WITH SCORE 20613.148
AT ITER 6824 NEW BEST:: SOT 134046 SOS 78130 HAS SOPS 20912 HAS SOUS 52133 HAS SOUPS 20535 WITH SCORE 20613.13
AT ITER 6856 NEW BEST:: SOT 134058 SOS 78142 HAS SOPS 20846 HAS SOUS 52145 HAS SOUPS 20469 WITH SCORE 20547.142
AT ITER 6872 NEW BEST:: SOT 134002 SOS 78086 HAS SOPS 20790 HAS SOUS 52089 HAS SOUPS 20413 WITH SCORE 20491.086
AT ITER 6873 NEW BEST:: SOT 134079 SOS 78551 HAS SOPS 20748 HAS SOUS 52204 HAS SOUPS 20371 WITH SCORE 20449.551
AT ITER 6876 NEW BEST:: SOT 134079 SOS 78521 HAS SOPS 20748 HAS SOUS 52204 HAS SOUPS 20371 WITH SCORE 20449.521
AT ITER 6911 NEW BEST:: SOT 134078 SOS 78520 HAS SOPS 20748 HAS SOUS 52202 HAS SOUPS 20371 WITH SCORE 20449.52
AT ITER 6917 NEW BEST:: SOT 134076 SOS 78518 HAS SOPS 20744 HAS SOUS 52200 HAS SOUPS 20367 WITH SCORE 20445.518
AT ITER 6928 NEW BEST:: SOT 134066 SOS 78508 HAS SOPS 20738 HAS SOUS 52176 HAS SOUPS 20361 WITH SCORE 20439.508
AT ITER 6972 NEW BEST:: SOT 134209 SOS 78663 HAS SOPS 20717 HAS SOUS 52266 HAS SOUPS 20340 WITH SCORE 20418.663
AT ITER 6983 NEW BEST:: SOT 134223 SOS 78369 HAS SOPS 20731 HAS SOUS 52054 HAS SOUPS 20338 WITH SCORE 20416.369
AT ITER 7013 NEW BEST:: SOT 134213 SOS 78359 HAS SOPS 20731 HAS SOUS 52054 HAS SOUPS 20338 WITH SCORE 20416.359
AT ITER 7122 NEW BEST:: SOT 134217 SOS 78363 HAS SOPS 20727 HAS SOUS 52058 HAS SOUPS 20334 WITH SCORE 20412.363
AT ITER 7136 NEW BEST:: SOT 134217 SOS 78317 HAS SOPS 20727 HAS SOUS 51970 HAS SOUPS 20334 WITH SCORE 20412.317
AT ITER 7140 NEW BEST:: SOT 134165 SOS 78265 HAS SOPS 20675 HAS SOUS 51918 HAS SOUPS 20282 WITH SCORE 20360.265
AT ITER 7158 NEW BEST:: SOT 134165 SOS 78325 HAS SOPS 20630 HAS SOUS 51900 HAS SOUPS 20237 WITH SCORE 20315.325
AT ITER 7167 NEW BEST:: SOT 134165 SOS 78133 HAS SOPS 20630 HAS SOUS 51844 HAS SOUPS 20237 WITH SCORE 20315.133
AT ITER 7189 NEW BEST:: SOT 134150 SOS 78118 HAS SOPS 20620 HAS SOUS 51829 HAS SOUPS 20227 WITH SCORE 20305.118
AT ITER 7201 NEW BEST:: SOT 134144 SOS 78112 HAS SOPS 20552 HAS SOUS 51823 HAS SOUPS 20159 WITH SCORE 20237.112
AT ITER 7213 NEW BEST:: SOT 134141 SOS 78109 HAS SOPS 20550 HAS SOUS 51821 HAS SOUPS 20157 WITH SCORE 20235.109
AT ITER 7238 NEW BEST:: SOT 134141 SOS 78023 HAS SOPS 20550 HAS SOUS 51798 HAS SOUPS 20153 WITH SCORE 20231.023
AT ITER 7248 NEW BEST:: SOT 134141 SOS 78023 HAS SOPS 20525 HAS SOUS 51823 HAS SOUPS 20128 WITH SCORE 20206.023
AT ITER 7257 NEW BEST:: SOT 134127 SOS 78045 HAS SOPS 20511 HAS SOUS 51827 HAS SOUPS 20114 WITH SCORE 20192.045
AT ITER 7263 NEW BEST:: SOT 134273 SOS 78191 HAS SOPS 20506 HAS SOUS 51981 HAS SOUPS 20109 WITH SCORE 20187.191
AT ITER 7278 NEW BEST:: SOT 134272 SOS 78188 HAS SOPS 20506 HAS SOUS 51980 HAS SOUPS 20109 WITH SCORE 20187.188
AT ITER 7300 NEW BEST:: SOT 134297 SOS 78345 HAS SOPS 20490 HAS SOUS 51997 HAS SOUPS 20093 WITH SCORE 20171.345
AT ITER 7325 NEW BEST:: SOT 134297 SOS 78343 HAS SOPS 20486 HAS SOUS 51991 HAS SOUPS 20089 WITH SCORE 20167.343
AT ITER 7340 NEW BEST:: SOT 134290 SOS 78336 HAS SOPS 20472 HAS SOUS 51977 HAS SOUPS 20075 WITH SCORE 20153.336
AT ITER 7344 NEW BEST:: SOT 134382 SOS 78768 HAS SOPS 20461 HAS SOUS 52031 HAS SOUPS 20064 WITH SCORE 20142.768
AT ITER 7346 NEW BEST:: SOT 134335 SOS 78631 HAS SOPS 20476 HAS SOUS 51965 HAS SOUPS 20060 WITH SCORE 20138.631
AT ITER 7374 NEW BEST:: SOT 134369 SOS 78665 HAS SOPS 20466 HAS SOUS 51999 HAS SOUPS 20050 WITH SCORE 20128.665
AT ITER 7384 NEW BEST:: SOT 134389 SOS 78704 HAS SOPS 20430 HAS SOUS 51982 HAS SOUPS 20014 WITH SCORE 20092.704
AT ITER 7399 NEW BEST:: SOT 134386 SOS 78701 HAS SOPS 20424 HAS SOUS 51979 HAS SOUPS 20008 WITH SCORE 20086.701
AT ITER 7406 NEW BEST:: SOT 134368 SOS 78687 HAS SOPS 20421 HAS SOUS 51963 HAS SOUPS 20003 WITH SCORE 20081.687
AT ITER 7411 NEW BEST:: SOT 134338 SOS 78657 HAS SOPS 20391 HAS SOUS 51933 HAS SOUPS 19973 WITH SCORE 20051.657
AT ITER 7426 NEW BEST:: SOT 134338 SOS 78497 HAS SOPS 20391 HAS SOUS 51933 HAS SOUPS 19973 WITH SCORE 20051.497
AT ITER 7430 NEW BEST:: SOT 134338 SOS 78467 HAS SOPS 20391 HAS SOUS 51933 HAS SOUPS 19973 WITH SCORE 20051.467
AT ITER 7438 NEW BEST:: SOT 134281 SOS 78410 HAS SOPS 20391 HAS SOUS 51933 HAS SOUPS 19973 WITH SCORE 20051.41
AT ITER 7481 NEW BEST:: SOT 134279 SOS 78408 HAS SOPS 20381 HAS SOUS 51917 HAS SOUPS 19963 WITH SCORE 20041.408
AT ITER 7499 NEW BEST:: SOT 134270 SOS 78399 HAS SOPS 20363 HAS SOUS 51899 HAS SOUPS 19945 WITH SCORE 20023.399
AT ITER 7502 NEW BEST:: SOT 134274 SOS 78419 HAS SOPS 20347 HAS SOUS 51911 HAS SOUPS 19929 WITH SCORE 20007.419
AT ITER 7613 NEW BEST:: SOT 134274 SOS 78419 HAS SOPS 20329 HAS SOUS 51868 HAS SOUPS 19904 WITH SCORE 19982.419
AT ITER 7637 NEW BEST:: SOT 134250 SOS 78395 HAS SOPS 20329 HAS SOUS 51796 HAS SOUPS 19904 WITH SCORE 19982.395
AT ITER 7740 NEW BEST:: SOT 134219 SOS 78368 HAS SOPS 20329 HAS SOUS 51796 HAS SOUPS 19904 WITH SCORE 19982.368
AT ITER 7744 NEW BEST:: SOT 134222 SOS 78371 HAS SOPS 20313 HAS SOUS 51788 HAS SOUPS 19888 WITH SCORE 19966.371
AT ITER 7746 NEW BEST:: SOT 134191 SOS 78340 HAS SOPS 20259 HAS SOUS 51749 HAS SOUPS 19849 WITH SCORE 19927.34
AT ITER 7752 NEW BEST:: SOT 134165 SOS 78314 HAS SOPS 20259 HAS SOUS 51723 HAS SOUPS 19849 WITH SCORE 19927.314
AT ITER 7789 NEW BEST:: SOT 134154 SOS 78303 HAS SOPS 20256 HAS SOUS 51712 HAS SOUPS 19846 WITH SCORE 19924.303
AT ITER 7823 NEW BEST:: SOT 134240 SOS 78479 HAS SOPS 20248 HAS SOUS 51749 HAS SOUPS 19838 WITH SCORE 19916.479
AT ITER 7830 NEW BEST:: SOT 134240 SOS 78371 HAS SOPS 20248 HAS SOUS 51619 HAS SOUPS 19838 WITH SCORE 19916.371
AT ITER 7881 NEW BEST:: SOT 134243 SOS 78374 HAS SOPS 20201 HAS SOUS 51675 HAS SOUPS 19791 WITH SCORE 19869.374
AT ITER 7923 NEW BEST:: SOT 134245 SOS 78376 HAS SOPS 20184 HAS SOUS 51665 HAS SOUPS 19774 WITH SCORE 19852.376
AT ITER 7987 NEW BEST:: SOT 134245 SOS 78318 HAS SOPS 20184 HAS SOUS 51650 HAS SOUPS 19774 WITH SCORE 19852.318
AT ITER 8004 NEW BEST:: SOT 134245 SOS 78308 HAS SOPS 20184 HAS SOUS 51645 HAS SOUPS 19774 WITH SCORE 19852.308
AT ITER 8065 NEW BEST:: SOT 134221 SOS 78284 HAS SOPS 20173 HAS SOUS 51611 HAS SOUPS 19740 WITH SCORE 19818.284
AT ITER 8104 NEW BEST:: SOT 134221 SOS 78253 HAS SOPS 20173 HAS SOUS 51611 HAS SOUPS 19740 WITH SCORE 19818.253
AT ITER 8109 NEW BEST:: SOT 134221 SOS 78219 HAS SOPS 20173 HAS SOUS 51674 HAS SOUPS 19740 WITH SCORE 19818.219
AT ITER 8133 NEW BEST:: SOT 134285 SOS 78408 HAS SOPS 20082 HAS SOUS 51832 HAS SOUPS 19667 WITH SCORE 19745.408
AT ITER 8136 NEW BEST:: SOT 134325 SOS 78448 HAS SOPS 20066 HAS SOUS 51904 HAS SOUPS 19651 WITH SCORE 19729.448
AT ITER 8139 NEW BEST:: SOT 134325 SOS 78404 HAS SOPS 20066 HAS SOUS 51893 HAS SOUPS 19651 WITH SCORE 19729.404
AT ITER 8190 NEW BEST:: SOT 134325 SOS 78408 HAS SOPS 20060 HAS SOUS 51889 HAS SOUPS 19645 WITH SCORE 19723.408
AT ITER 8236 NEW BEST:: SOT 134339 SOS 78466 HAS SOPS 20044 HAS SOUS 51925 HAS SOUPS 19629 WITH SCORE 19707.466
AT ITER 8283 NEW BEST:: SOT 134332 SOS 78459 HAS SOPS 20036 HAS SOUS 51912 HAS SOUPS 19621 WITH SCORE 19699.459
AT ITER 8291 NEW BEST:: SOT 134332 SOS 78459 HAS SOPS 20026 HAS SOUS 51916 HAS SOUPS 19611 WITH SCORE 19689.459
AT ITER 8343 NEW BEST:: SOT 134334 SOS 78473 HAS SOPS 20012 HAS SOUS 51912 HAS SOUPS 19597 WITH SCORE 19675.473
AT ITER 8344 NEW BEST:: SOT 134414 SOS 79177 HAS SOPS 19850 HAS SOUS 51923 HAS SOUPS 19435 WITH SCORE 19514.177
AT ITER 8350 NEW BEST:: SOT 134414 SOS 79177 HAS SOPS 19848 HAS SOUS 51923 HAS SOUPS 19433 WITH SCORE 19512.177
AT ITER 8377 NEW BEST:: SOT 134365 SOS 79086 HAS SOPS 19855 HAS SOUS 51853 HAS SOUPS 19433 WITH SCORE 19512.086
AT ITER 8391 NEW BEST:: SOT 134357 SOS 79078 HAS SOPS 19846 HAS SOUS 51845 HAS SOUPS 19424 WITH SCORE 19503.078
AT ITER 8393 NEW BEST:: SOT 134357 SOS 79027 HAS SOPS 19846 HAS SOUS 51832 HAS SOUPS 19424 WITH SCORE 19503.027
AT ITER 8416 NEW BEST:: SOT 134315 SOS 78985 HAS SOPS 19792 HAS SOUS 51790 HAS SOUPS 19370 WITH SCORE 19448.985
AT ITER 8434 NEW BEST:: SOT 134263 SOS 78933 HAS SOPS 19792 HAS SOUS 51778 HAS SOUPS 19370 WITH SCORE 19448.933
AT ITER 8456 NEW BEST:: SOT 134263 SOS 78863 HAS SOPS 19792 HAS SOUS 51742 HAS SOUPS 19370 WITH SCORE 19448.863
AT ITER 8467 NEW BEST:: SOT 134275 SOS 78875 HAS SOPS 19768 HAS SOUS 51754 HAS SOUPS 19346 WITH SCORE 19424.875
AT ITER 8470 NEW BEST:: SOT 134267 SOS 78862 HAS SOPS 19768 HAS SOUS 51730 HAS SOUPS 19335 WITH SCORE 19413.862
AT ITER 8484 NEW BEST:: SOT 134267 SOS 78770 HAS SOPS 19768 HAS SOUS 51594 HAS SOUPS 19335 WITH SCORE 19413.77
AT ITER 8491 NEW BEST:: SOT 134267 SOS 78770 HAS SOPS 19767 HAS SOUS 51594 HAS SOUPS 19334 WITH SCORE 19412.77
AT ITER 8526 NEW BEST:: SOT 134265 SOS 78768 HAS SOPS 19754 HAS SOUS 51589 HAS SOUPS 19321 WITH SCORE 19399.768
AT ITER 8540 NEW BEST:: SOT 134265 SOS 78612 HAS SOPS 19754 HAS SOUS 51589 HAS SOUPS 19321 WITH SCORE 19399.612
AT ITER 8543 NEW BEST:: SOT 134305 SOS 78812 HAS SOPS 19714 HAS SOUS 51609 HAS SOUPS 19281 WITH SCORE 19359.812
AT ITER 8552 NEW BEST:: SOT 134356 SOS 79071 HAS SOPS 19712 HAS SOUS 51660 HAS SOUPS 19279 WITH SCORE 19358.071
AT ITER 8553 NEW BEST:: SOT 134388 SOS 79103 HAS SOPS 19696 HAS SOUS 51700 HAS SOUPS 19263 WITH SCORE 19342.103
AT ITER 8580 NEW BEST:: SOT 134388 SOS 79069 HAS SOPS 19696 HAS SOUS 51700 HAS SOUPS 19263 WITH SCORE 19342.069
AT ITER 8582 NEW BEST:: SOT 134388 SOS 79062 HAS SOPS 19696 HAS SOUS 51686 HAS SOUPS 19263 WITH SCORE 19342.062
AT ITER 8608 NEW BEST:: SOT 134389 SOS 79063 HAS SOPS 19695 HAS SOUS 51687 HAS SOUPS 19262 WITH SCORE 19341.063
AT ITER 8617 NEW BEST:: SOT 134389 SOS 79037 HAS SOPS 19695 HAS SOUS 51658 HAS SOUPS 19262 WITH SCORE 19341.037
AT ITER 8645 NEW BEST:: SOT 134392 SOS 79040 HAS SOPS 19685 HAS SOUS 51661 HAS SOUPS 19252 WITH SCORE 19331.04
AT ITER 8674 NEW BEST:: SOT 134383 SOS 79031 HAS SOPS 19679 HAS SOUS 51640 HAS SOUPS 19246 WITH SCORE 19325.031
AT ITER 8685 NEW BEST:: SOT 134386 SOS 79034 HAS SOPS 19673 HAS SOUS 51634 HAS SOUPS 19240 WITH SCORE 19319.034
AT ITER 8701 NEW BEST:: SOT 134392 SOS 79076 HAS SOPS 19667 HAS SOUS 51646 HAS SOUPS 19234 WITH SCORE 19313.076
AT ITER 8767 NEW BEST:: SOT 134348 SOS 79032 HAS SOPS 19667 HAS SOUS 51609 HAS SOUPS 19234 WITH SCORE 19313.032
AT ITER 8779 NEW BEST:: SOT 134348 SOS 78957 HAS SOPS 19667 HAS SOUS 51600 HAS SOUPS 19234 WITH SCORE 19312.957
AT ITER 8817 NEW BEST:: SOT 134484 SOS 79512 HAS SOPS 19555 HAS SOUS 51844 HAS SOUPS 19122 WITH SCORE 19201.512
AT ITER 8856 NEW BEST:: SOT 134470 SOS 79498 HAS SOPS 19545 HAS SOUS 51830 HAS SOUPS 19112 WITH SCORE 19191.498
AT ITER 8862 NEW BEST:: SOT 134416 SOS 79444 HAS SOPS 19545 HAS SOUS 51776 HAS SOUPS 19112 WITH SCORE 19191.444
AT ITER 8910 NEW BEST:: SOT 134416 SOS 79290 HAS SOPS 19545 HAS SOUS 51054 HAS SOUPS 19112 WITH SCORE 19191.29
AT ITER 8928 NEW BEST:: SOT 134401 SOS 79245 HAS SOPS 19545 HAS SOUS 51039 HAS SOUPS 19112 WITH SCORE 19191.245
AT ITER 8936 NEW BEST:: SOT 134401 SOS 79210 HAS SOPS 19545 HAS SOUS 51039 HAS SOUPS 19112 WITH SCORE 19191.21
AT ITER 8958 NEW BEST:: SOT 134391 SOS 79200 HAS SOPS 19525 HAS SOUS 51029 HAS SOUPS 19092 WITH SCORE 19171.2
AT ITER 9009 NEW BEST:: SOT 134436 SOS 79311 HAS SOPS 19516 HAS SOUS 51053 HAS SOUPS 19083 WITH SCORE 19162.311
AT ITER 9039 NEW BEST:: SOT 134429 SOS 79304 HAS SOPS 19502 HAS SOUS 51055 HAS SOUPS 19069 WITH SCORE 19148.304
AT ITER 9051 NEW BEST:: SOT 134427 SOS 79302 HAS SOPS 19498 HAS SOUS 51053 HAS SOUPS 19065 WITH SCORE 19144.302
AT ITER 9087 NEW BEST:: SOT 134426 SOS 79297 HAS SOPS 19498 HAS SOUS 51051 HAS SOUPS 19065 WITH SCORE 19144.297
AT ITER 9147 NEW BEST:: SOT 134418 SOS 79320 HAS SOPS 19482 HAS SOUS 51164 HAS SOUPS 19049 WITH SCORE 19128.32
AT ITER 9195 NEW BEST:: SOT 134421 SOS 79323 HAS SOPS 19456 HAS SOUS 51167 HAS SOUPS 19023 WITH SCORE 19102.323
AT ITER 9207 NEW BEST:: SOT 134364 SOS 79266 HAS SOPS 19456 HAS SOUS 51167 HAS SOUPS 19023 WITH SCORE 19102.266
AT ITER 9233 NEW BEST:: SOT 134379 SOS 79281 HAS SOPS 19432 HAS SOUS 51209 HAS SOUPS 18999 WITH SCORE 19078.281
AT ITER 9250 NEW BEST:: SOT 134379 SOS 79261 HAS SOPS 19432 HAS SOUS 51204 HAS SOUPS 18999 WITH SCORE 19078.261
AT ITER 9319 NEW BEST:: SOT 134379 SOS 79203 HAS SOPS 19432 HAS SOUS 51209 HAS SOUPS 18999 WITH SCORE 19078.203
AT ITER 9359 NEW BEST:: SOT 134392 SOS 79216 HAS SOPS 19425 HAS SOUS 51222 HAS SOUPS 18992 WITH SCORE 19071.216
AT ITER 9363 NEW BEST:: SOT 134389 SOS 79241 HAS SOPS 19338 HAS SOUS 51216 HAS SOUPS 18930 WITH SCORE 19009.241
AT ITER 9375 NEW BEST:: SOT 134386 SOS 79238 HAS SOPS 19310 HAS SOUS 51235 HAS SOUPS 18902 WITH SCORE 18981.238
AT ITER 9378 NEW BEST:: SOT 134386 SOS 79200 HAS SOPS 19310 HAS SOUS 51216 HAS SOUPS 18902 WITH SCORE 18981.2
AT ITER 9380 NEW BEST:: SOT 134385 SOS 79199 HAS SOPS 19308 HAS SOUS 51214 HAS SOUPS 18900 WITH SCORE 18979.199
AT ITER 9397 NEW BEST:: SOT 134385 SOS 79195 HAS SOPS 19308 HAS SOUS 51214 HAS SOUPS 18900 WITH SCORE 18979.195
AT ITER 9399 NEW BEST:: SOT 134522 SOS 79668 HAS SOPS 19255 HAS SOUS 51405 HAS SOUPS 18847 WITH SCORE 18926.668
AT ITER 9453 NEW BEST:: SOT 134522 SOS 79628 HAS SOPS 19255 HAS SOUS 51395 HAS SOUPS 18847 WITH SCORE 18926.628
AT ITER 9482 NEW BEST:: SOT 134522 SOS 79554 HAS SOPS 19255 HAS SOUS 51358 HAS SOUPS 18847 WITH SCORE 18926.554
AT ITER 9511 NEW BEST:: SOT 134522 SOS 79584 HAS SOPS 19144 HAS SOUS 51357 HAS SOUPS 18779 WITH SCORE 18858.584
AT ITER 9527 NEW BEST:: SOT 134522 SOS 79604 HAS SOPS 19129 HAS SOUS 51347 HAS SOUPS 18764 WITH SCORE 18843.604
AT ITER 9546 NEW BEST:: SOT 134518 SOS 79600 HAS SOPS 19121 HAS SOUS 51348 HAS SOUPS 18756 WITH SCORE 18835.6
AT ITER 9560 NEW BEST:: SOT 134518 SOS 79600 HAS SOPS 19119 HAS SOUS 51350 HAS SOUPS 18754 WITH SCORE 18833.6
AT ITER 9581 NEW BEST:: SOT 134518 SOS 79558 HAS SOPS 19119 HAS SOUS 51350 HAS SOUPS 18754 WITH SCORE 18833.558
AT ITER 9589 NEW BEST:: SOT 134509 SOS 79558 HAS SOPS 19110 HAS SOUS 51341 HAS SOUPS 18745 WITH SCORE 18824.558
AT ITER 9738 NEW BEST:: SOT 134509 SOS 79548 HAS SOPS 19110 HAS SOUS 51341 HAS SOUPS 18745 WITH SCORE 18824.548
AT ITER 9750 NEW BEST:: SOT 134509 SOS 79516 HAS SOPS 19110 HAS SOUS 51374 HAS SOUPS 18745 WITH SCORE 18824.516
AT ITER 9757 NEW BEST:: SOT 134509 SOS 79320 HAS SOPS 19110 HAS SOUS 51212 HAS SOUPS 18745 WITH SCORE 18824.32
AT ITER 9774 NEW BEST:: SOT 134504 SOS 79315 HAS SOPS 19105 HAS SOUS 51202 HAS SOUPS 18735 WITH SCORE 18814.315
AT ITER 9798 NEW BEST:: SOT 134504 SOS 79259 HAS SOPS 19105 HAS SOUS 51154 HAS SOUPS 18735 WITH SCORE 18814.259
AT ITER 9800 NEW BEST:: SOT 134504 SOS 79251 HAS SOPS 19105 HAS SOUS 51154 HAS SOUPS 18735 WITH SCORE 18814.251
AT ITER 9801 NEW BEST:: SOT 134462 SOS 79209 HAS SOPS 19063 HAS SOUS 51041 HAS SOUPS 18693 WITH SCORE 18772.209
AT ITER 9874 NEW BEST:: SOT 134462 SOS 79209 HAS SOPS 19059 HAS SOUS 51037 HAS SOUPS 18689 WITH SCORE 18768.209
AT ITER 9886 NEW BEST:: SOT 134335 SOS 78878 HAS SOPS 19080 HAS SOUS 50816 HAS SOUPS 18679 WITH SCORE 18757.878
AT ITER 9900 NEW BEST:: SOT 134232 SOS 78775 HAS SOPS 19044 HAS SOUS 50729 HAS SOUPS 18643 WITH SCORE 18721.775
AT ITER 9917 NEW BEST:: SOT 134245 SOS 78788 HAS SOPS 19038 HAS SOUS 50742 HAS SOUPS 18637 WITH SCORE 18715.788
AT ITER 9966 NEW BEST:: SOT 134259 SOS 78802 HAS SOPS 19028 HAS SOUS 50669 HAS SOUPS 18627 WITH SCORE 18705.802
STATE_SPACE STATES 17424 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 212 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 53328 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678476651806

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

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="BART-PT-002"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is BART-PT-002, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-oct2-167813591300760"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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