Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961355000648.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PolyORBNT-PT-S05J30, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961355000648
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 11K Apr 12 06:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 38K Apr 12 06:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Apr 11 05:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 28K Apr 11 05:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 11K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 35K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 41K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 137K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Apr 10 12:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 46K Apr 10 12:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Apr 9 18:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 36K Apr 9 18:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 10 22:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 10 22:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.7M Mar 24 05:37 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 1589646272193

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S05J30
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 489 places, 1400 transitions, 9764 arcs.
AT ITER 0 NEW BEST:: SOT 485864 SOS 230113 HAS SOPS 230113 HAS SOUS 111990 HAS SOUPS 111990 WITH SCORE 112220.113
AT ITER 8 NEW BEST:: SOT 485837 SOS 230086 HAS SOPS 230086 HAS SOUS 111963 HAS SOUPS 111963 WITH SCORE 112193.086
AT ITER 9 NEW BEST:: SOT 485738 SOS 229987 HAS SOPS 229987 HAS SOUS 111864 HAS SOUPS 111864 WITH SCORE 112093.987
AT ITER 10 NEW BEST:: SOT 485668 SOS 229825 HAS SOPS 229825 HAS SOUS 111334 HAS SOUPS 111334 WITH SCORE 111563.825
AT ITER 13 NEW BEST:: SOT 485588 SOS 229653 HAS SOPS 229653 HAS SOUS 110794 HAS SOUPS 110794 WITH SCORE 111023.653
AT ITER 17 NEW BEST:: SOT 485588 SOS 229653 HAS SOPS 229653 HAS SOUS 110615 HAS SOUPS 110615 WITH SCORE 110844.653
AT ITER 23 NEW BEST:: SOT 476565 SOS 233942 HAS SOPS 233942 HAS SOUS 101951 HAS SOUPS 101951 WITH SCORE 102184.942
AT ITER 26 NEW BEST:: SOT 476497 SOS 233874 HAS SOPS 233874 HAS SOUS 101883 HAS SOUPS 101883 WITH SCORE 102116.874
AT ITER 28 NEW BEST:: SOT 476495 SOS 233872 HAS SOPS 233872 HAS SOUS 101881 HAS SOUPS 101881 WITH SCORE 102114.872
AT ITER 33 NEW BEST:: SOT 476467 SOS 233881 HAS SOPS 233881 HAS SOUS 101870 HAS SOUPS 101870 WITH SCORE 102103.881
AT ITER 37 NEW BEST:: SOT 476420 SOS 233834 HAS SOPS 233834 HAS SOUS 101823 HAS SOUPS 101823 WITH SCORE 102056.834
AT ITER 39 NEW BEST:: SOT 476412 SOS 233826 HAS SOPS 233826 HAS SOUS 101815 HAS SOUPS 101815 WITH SCORE 102048.826
AT ITER 57 NEW BEST:: SOT 476412 SOS 233826 HAS SOPS 233826 HAS SOUS 101641 HAS SOUPS 101641 WITH SCORE 101874.826
AT ITER 58 NEW BEST:: SOT 476435 SOS 233826 HAS SOPS 233826 HAS SOUS 101549 HAS SOUPS 101549 WITH SCORE 101782.826
AT ITER 60 NEW BEST:: SOT 476213 SOS 234133 HAS SOPS 234133 HAS SOUS 101386 HAS SOUPS 101386 WITH SCORE 101620.133
AT ITER 64 NEW BEST:: SOT 476221 SOS 234336 HAS SOPS 234336 HAS SOUS 101309 HAS SOUPS 101309 WITH SCORE 101543.336
AT ITER 81 NEW BEST:: SOT 476221 SOS 234319 HAS SOPS 234319 HAS SOUS 101118 HAS SOUPS 101118 WITH SCORE 101352.319
AT ITER 90 NEW BEST:: SOT 476208 SOS 234320 HAS SOPS 234320 HAS SOUS 101107 HAS SOUPS 101107 WITH SCORE 101341.32
AT ITER 91 NEW BEST:: SOT 476064 SOS 234115 HAS SOPS 234115 HAS SOUS 100503 HAS SOUPS 100503 WITH SCORE 100737.115
AT ITER 99 NEW BEST:: SOT 475983 SOS 234034 HAS SOPS 234034 HAS SOUS 100422 HAS SOUPS 100422 WITH SCORE 100656.034
AT ITER 110 NEW BEST:: SOT 475859 SOS 233910 HAS SOPS 233910 HAS SOUS 100298 HAS SOUPS 100298 WITH SCORE 100531.91
AT ITER 111 NEW BEST:: SOT 475867 SOS 234134 HAS SOPS 234134 HAS SOUS 100228 HAS SOUPS 100228 WITH SCORE 100462.134
AT ITER 115 NEW BEST:: SOT 476207 SOS 234413 HAS SOPS 234413 HAS SOUS 100192 HAS SOUPS 100192 WITH SCORE 100426.413
AT ITER 116 NEW BEST:: SOT 476131 SOS 234337 HAS SOPS 234337 HAS SOUS 100116 HAS SOUPS 100116 WITH SCORE 100350.337
AT ITER 117 NEW BEST:: SOT 444428 SOS 202703 HAS SOPS 202703 HAS SOUS 94978 HAS SOUPS 94978 WITH SCORE 95180.703
AT ITER 123 NEW BEST:: SOT 444342 SOS 202573 HAS SOPS 202573 HAS SOUS 94517 HAS SOUPS 94517 WITH SCORE 94719.573
AT ITER 131 NEW BEST:: SOT 444324 SOS 202494 HAS SOPS 202494 HAS SOUS 94053 HAS SOUPS 94053 WITH SCORE 94255.494
AT ITER 143 NEW BEST:: SOT 444275 SOS 202476 HAS SOPS 202476 HAS SOUS 94005 HAS SOUPS 94005 WITH SCORE 94207.476
AT ITER 146 NEW BEST:: SOT 444061 SOS 202262 HAS SOPS 202262 HAS SOUS 93791 HAS SOUPS 93791 WITH SCORE 93993.262
AT ITER 147 NEW BEST:: SOT 444051 SOS 202252 HAS SOPS 202252 HAS SOUS 93781 HAS SOUPS 93781 WITH SCORE 93983.252
AT ITER 149 NEW BEST:: SOT 444035 SOS 202236 HAS SOPS 202236 HAS SOUS 93765 HAS SOUPS 93765 WITH SCORE 93967.236
AT ITER 154 NEW BEST:: SOT 443859 SOS 201999 HAS SOPS 201999 HAS SOUS 93129 HAS SOUPS 93129 WITH SCORE 93330.999
AT ITER 165 NEW BEST:: SOT 443774 SOS 201914 HAS SOPS 201914 HAS SOUS 93030 HAS SOUPS 93030 WITH SCORE 93231.914
AT ITER 166 NEW BEST:: SOT 443750 SOS 201890 HAS SOPS 201890 HAS SOUS 93006 HAS SOUPS 93006 WITH SCORE 93207.89
AT ITER 167 NEW BEST:: SOT 443750 SOS 201890 HAS SOPS 201890 HAS SOUS 92982 HAS SOUPS 92982 WITH SCORE 93183.89
AT ITER 174 NEW BEST:: SOT 443712 SOS 201852 HAS SOPS 201852 HAS SOUS 92944 HAS SOUPS 92944 WITH SCORE 93145.852
AT ITER 175 NEW BEST:: SOT 443712 SOS 201852 HAS SOPS 201852 HAS SOUS 92842 HAS SOUPS 92842 WITH SCORE 93043.852
AT ITER 178 NEW BEST:: SOT 443374 SOS 201514 HAS SOPS 201514 HAS SOUS 92504 HAS SOUPS 92504 WITH SCORE 92705.514
AT ITER 183 NEW BEST:: SOT 443374 SOS 201479 HAS SOPS 201479 HAS SOUS 92395 HAS SOUPS 92395 WITH SCORE 92596.479
AT ITER 194 NEW BEST:: SOT 443374 SOS 201472 HAS SOPS 201472 HAS SOUS 92395 HAS SOUPS 92395 WITH SCORE 92596.472
AT ITER 202 NEW BEST:: SOT 443327 SOS 201483 HAS SOPS 201483 HAS SOUS 92374 HAS SOUPS 92374 WITH SCORE 92575.483
AT ITER 204 NEW BEST:: SOT 443207 SOS 201302 HAS SOPS 201302 HAS SOUS 91864 HAS SOUPS 91864 WITH SCORE 92065.302
AT ITER 213 NEW BEST:: SOT 443228 SOS 201310 HAS SOPS 201310 HAS SOUS 91704 HAS SOUPS 91704 WITH SCORE 91905.31
AT ITER 225 NEW BEST:: SOT 443149 SOS 201181 HAS SOPS 201181 HAS SOUS 91220 HAS SOUPS 91220 WITH SCORE 91421.181
AT ITER 228 NEW BEST:: SOT 443233 SOS 201204 HAS SOPS 201204 HAS SOUS 90866 HAS SOUPS 90866 WITH SCORE 91067.204
AT ITER 238 NEW BEST:: SOT 443153 SOS 201156 HAS SOPS 201086 HAS SOUS 90762 HAS SOUPS 90748 WITH SCORE 90949.156
AT ITER 242 NEW BEST:: SOT 443516 SOS 201519 HAS SOPS 201449 HAS SOUS 90760 HAS SOUPS 90746 WITH SCORE 90947.519
AT ITER 243 NEW BEST:: SOT 443534 SOS 201537 HAS SOPS 201467 HAS SOUS 90716 HAS SOUPS 90702 WITH SCORE 90903.537
AT ITER 255 NEW BEST:: SOT 443524 SOS 201774 HAS SOPS 201704 HAS SOUS 90695 HAS SOUPS 90681 WITH SCORE 90882.774
AT ITER 268 NEW BEST:: SOT 443524 SOS 201774 HAS SOPS 201704 HAS SOUS 90624 HAS SOUPS 90610 WITH SCORE 90811.774
AT ITER 273 NEW BEST:: SOT 443614 SOS 201937 HAS SOPS 201867 HAS SOUS 90607 HAS SOUPS 90593 WITH SCORE 90794.937
AT ITER 305 NEW BEST:: SOT 443609 SOS 201932 HAS SOPS 201862 HAS SOUS 90596 HAS SOUPS 90582 WITH SCORE 90783.932
AT ITER 307 NEW BEST:: SOT 443751 SOS 202106 HAS SOPS 202036 HAS SOUS 90590 HAS SOUPS 90576 WITH SCORE 90778.106
AT ITER 313 NEW BEST:: SOT 443713 SOS 202068 HAS SOPS 201998 HAS SOUS 90362 HAS SOUPS 90348 WITH SCORE 90550.068
AT ITER 320 NEW BEST:: SOT 443713 SOS 202000 HAS SOPS 201930 HAS SOUS 90302 HAS SOUPS 90288 WITH SCORE 90490.0
AT ITER 324 NEW BEST:: SOT 443708 SOS 202000 HAS SOPS 201930 HAS SOUS 90296 HAS SOUPS 90282 WITH SCORE 90484.0
AT ITER 327 NEW BEST:: SOT 443685 SOS 201977 HAS SOPS 201907 HAS SOUS 90158 HAS SOUPS 90144 WITH SCORE 90345.977
AT ITER 330 NEW BEST:: SOT 419034 SOS 177381 HAS SOPS 177311 HAS SOUS 86682 HAS SOUPS 86668 WITH SCORE 86845.381
AT ITER 339 NEW BEST:: SOT 419002 SOS 177383 HAS SOPS 177313 HAS SOUS 86666 HAS SOUPS 86652 WITH SCORE 86829.383
AT ITER 350 NEW BEST:: SOT 419002 SOS 177383 HAS SOPS 177313 HAS SOUS 86621 HAS SOUPS 86607 WITH SCORE 86784.383
AT ITER 356 NEW BEST:: SOT 419002 SOS 177354 HAS SOPS 177284 HAS SOUS 86592 HAS SOUPS 86578 WITH SCORE 86755.354
AT ITER 357 NEW BEST:: SOT 418954 SOS 177363 HAS SOPS 177293 HAS SOUS 86584 HAS SOUPS 86570 WITH SCORE 86747.363
AT ITER 361 NEW BEST:: SOT 418946 SOS 177355 HAS SOPS 177285 HAS SOUS 86336 HAS SOUPS 86322 WITH SCORE 86499.355
AT ITER 368 NEW BEST:: SOT 418923 SOS 177340 HAS SOPS 177270 HAS SOUS 86288 HAS SOUPS 86274 WITH SCORE 86451.34
AT ITER 373 NEW BEST:: SOT 418949 SOS 177263 HAS SOPS 177193 HAS SOUS 85133 HAS SOUPS 85119 WITH SCORE 85296.263
AT ITER 376 NEW BEST:: SOT 418861 SOS 177137 HAS SOPS 177067 HAS SOUS 84765 HAS SOUPS 84751 WITH SCORE 84928.137
AT ITER 377 NEW BEST:: SOT 418869 SOS 177233 HAS SOPS 177163 HAS SOUS 84666 HAS SOUPS 84652 WITH SCORE 84829.233
AT ITER 395 NEW BEST:: SOT 418869 SOS 177233 HAS SOPS 177163 HAS SOUS 84606 HAS SOUPS 84592 WITH SCORE 84769.233
AT ITER 423 NEW BEST:: SOT 418869 SOS 177233 HAS SOPS 177163 HAS SOUS 84602 HAS SOUPS 84588 WITH SCORE 84765.233
AT ITER 434 NEW BEST:: SOT 418869 SOS 177233 HAS SOPS 177163 HAS SOUS 84587 HAS SOUPS 84573 WITH SCORE 84750.233
AT ITER 449 NEW BEST:: SOT 418869 SOS 177233 HAS SOPS 177163 HAS SOUS 84415 HAS SOUPS 84401 WITH SCORE 84578.233
AT ITER 455 NEW BEST:: SOT 418860 SOS 177224 HAS SOPS 177154 HAS SOUS 84406 HAS SOUPS 84392 WITH SCORE 84569.224
AT ITER 456 NEW BEST:: SOT 418879 SOS 177095 HAS SOPS 177025 HAS SOUS 84352 HAS SOUPS 84338 WITH SCORE 84515.095
AT ITER 459 NEW BEST:: SOT 418913 SOS 177106 HAS SOPS 177036 HAS SOUS 84170 HAS SOUPS 84156 WITH SCORE 84333.106
AT ITER 461 NEW BEST:: SOT 418862 SOS 177055 HAS SOPS 176985 HAS SOUS 83689 HAS SOUPS 83675 WITH SCORE 83852.055
AT ITER 466 NEW BEST:: SOT 418790 SOS 176983 HAS SOPS 176913 HAS SOUS 83617 HAS SOUPS 83603 WITH SCORE 83779.983
AT ITER 477 NEW BEST:: SOT 418744 SOS 176937 HAS SOPS 176867 HAS SOUS 83571 HAS SOUPS 83557 WITH SCORE 83733.937
AT ITER 488 NEW BEST:: SOT 418817 SOS 177010 HAS SOPS 176940 HAS SOUS 83198 HAS SOUPS 83184 WITH SCORE 83361.01
AT ITER 495 NEW BEST:: SOT 418817 SOS 179199 HAS SOPS 179129 HAS SOUS 83128 HAS SOUPS 83114 WITH SCORE 83293.199
AT ITER 496 NEW BEST:: SOT 418817 SOS 179197 HAS SOPS 179127 HAS SOUS 83065 HAS SOUPS 83051 WITH SCORE 83230.197
AT ITER 497 NEW BEST:: SOT 418817 SOS 179158 HAS SOPS 179088 HAS SOUS 83038 HAS SOUPS 83024 WITH SCORE 83203.158
AT ITER 500 NEW BEST:: SOT 418817 SOS 178960 HAS SOPS 178890 HAS SOUS 82950 HAS SOUPS 82936 WITH SCORE 83114.96
AT ITER 507 NEW BEST:: SOT 418763 SOS 178879 HAS SOPS 178809 HAS SOUS 82767 HAS SOUPS 82753 WITH SCORE 82931.879
AT ITER 508 NEW BEST:: SOT 418763 SOS 178879 HAS SOPS 178809 HAS SOUS 82727 HAS SOUPS 82713 WITH SCORE 82891.879
AT ITER 514 NEW BEST:: SOT 418724 SOS 178840 HAS SOPS 178770 HAS SOUS 82688 HAS SOUPS 82674 WITH SCORE 82852.84
AT ITER 516 NEW BEST:: SOT 418754 SOS 178809 HAS SOPS 178739 HAS SOUS 82291 HAS SOUPS 82277 WITH SCORE 82455.809
AT ITER 523 NEW BEST:: SOT 418732 SOS 178787 HAS SOPS 178717 HAS SOUS 82225 HAS SOUPS 82211 WITH SCORE 82389.787
AT ITER 524 NEW BEST:: SOT 418698 SOS 178753 HAS SOPS 178683 HAS SOUS 82101 HAS SOUPS 82087 WITH SCORE 82265.753
AT ITER 526 NEW BEST:: SOT 418589 SOS 178733 HAS SOPS 178663 HAS SOUS 82031 HAS SOUPS 82017 WITH SCORE 82195.733
AT ITER 529 NEW BEST:: SOT 418560 SOS 178704 HAS SOPS 178634 HAS SOUS 82002 HAS SOUPS 81988 WITH SCORE 82166.704
AT ITER 539 NEW BEST:: SOT 418546 SOS 178690 HAS SOPS 178620 HAS SOUS 81988 HAS SOUPS 81974 WITH SCORE 82152.69
AT ITER 549 NEW BEST:: SOT 418639 SOS 178783 HAS SOPS 178713 HAS SOUS 81695 HAS SOUPS 81681 WITH SCORE 81859.783
AT ITER 560 NEW BEST:: SOT 418639 SOS 178783 HAS SOPS 178713 HAS SOUS 81692 HAS SOUPS 81678 WITH SCORE 81856.783
AT ITER 562 NEW BEST:: SOT 418615 SOS 178748 HAS SOPS 178678 HAS SOUS 81541 HAS SOUPS 81527 WITH SCORE 81705.748
AT ITER 576 NEW BEST:: SOT 418592 SOS 178725 HAS SOPS 178655 HAS SOUS 81496 HAS SOUPS 81482 WITH SCORE 81660.725
AT ITER 580 NEW BEST:: SOT 418432 SOS 178565 HAS SOPS 178495 HAS SOUS 81276 HAS SOUPS 81262 WITH SCORE 81440.565
AT ITER 583 NEW BEST:: SOT 418311 SOS 178428 HAS SOPS 178358 HAS SOUS 80567 HAS SOUPS 80553 WITH SCORE 80731.428
AT ITER 585 NEW BEST:: SOT 418354 SOS 178471 HAS SOPS 178401 HAS SOUS 80455 HAS SOUPS 80441 WITH SCORE 80619.471
AT ITER 606 NEW BEST:: SOT 418344 SOS 178426 HAS SOPS 178356 HAS SOUS 80129 HAS SOUPS 80115 WITH SCORE 80293.426
AT ITER 612 NEW BEST:: SOT 418627 SOS 178709 HAS SOPS 178639 HAS SOUS 80119 HAS SOUPS 80105 WITH SCORE 80283.709
AT ITER 622 NEW BEST:: SOT 418627 SOS 182045 HAS SOPS 181975 HAS SOUS 79999 HAS SOUPS 79985 WITH SCORE 80167.045
AT ITER 630 NEW BEST:: SOT 418697 SOS 181986 HAS SOPS 181916 HAS SOUS 79963 HAS SOUPS 79949 WITH SCORE 80130.986
AT ITER 634 NEW BEST:: SOT 418697 SOS 181893 HAS SOPS 181823 HAS SOUS 79900 HAS SOUPS 79886 WITH SCORE 80067.893
AT ITER 636 NEW BEST:: SOT 418697 SOS 181822 HAS SOPS 181752 HAS SOUS 79900 HAS SOUPS 79886 WITH SCORE 80067.822
AT ITER 637 NEW BEST:: SOT 418663 SOS 181788 HAS SOPS 181718 HAS SOUS 79866 HAS SOUPS 79852 WITH SCORE 80033.788
AT ITER 641 NEW BEST:: SOT 418630 SOS 181694 HAS SOPS 181624 HAS SOUS 79449 HAS SOUPS 79435 WITH SCORE 79616.694
AT ITER 643 NEW BEST:: SOT 418533 SOS 181597 HAS SOPS 181527 HAS SOUS 79399 HAS SOUPS 79385 WITH SCORE 79566.597
AT ITER 644 NEW BEST:: SOT 418503 SOS 181470 HAS SOPS 181400 HAS SOUS 78967 HAS SOUPS 78953 WITH SCORE 79134.47
AT ITER 646 NEW BEST:: SOT 418492 SOS 181459 HAS SOPS 181389 HAS SOUS 78948 HAS SOUPS 78934 WITH SCORE 79115.459
AT ITER 658 NEW BEST:: SOT 418507 SOS 181474 HAS SOPS 181404 HAS SOUS 78723 HAS SOUPS 78709 WITH SCORE 78890.474
AT ITER 669 NEW BEST:: SOT 418465 SOS 181390 HAS SOPS 181320 HAS SOUS 78681 HAS SOUPS 78667 WITH SCORE 78848.39
AT ITER 677 NEW BEST:: SOT 418443 SOS 181448 HAS SOPS 181378 HAS SOUS 78586 HAS SOUPS 78572 WITH SCORE 78753.448
AT ITER 684 NEW BEST:: SOT 418443 SOS 181448 HAS SOPS 181378 HAS SOUS 78573 HAS SOUPS 78559 WITH SCORE 78740.448
AT ITER 703 NEW BEST:: SOT 418492 SOS 181458 HAS SOPS 181388 HAS SOUS 78035 HAS SOUPS 78021 WITH SCORE 78202.458
AT ITER 715 NEW BEST:: SOT 418454 SOS 181420 HAS SOPS 181350 HAS SOUS 77997 HAS SOUPS 77983 WITH SCORE 78164.42
AT ITER 720 NEW BEST:: SOT 418494 SOS 181488 HAS SOPS 181418 HAS SOUS 77996 HAS SOUPS 77982 WITH SCORE 78163.488
AT ITER 726 NEW BEST:: SOT 417969 SOS 180800 HAS SOPS 180730 HAS SOUS 77326 HAS SOUPS 77312 WITH SCORE 77492.8
AT ITER 727 NEW BEST:: SOT 417983 SOS 180814 HAS SOPS 180744 HAS SOUS 77303 HAS SOUPS 77289 WITH SCORE 77469.814
AT ITER 732 NEW BEST:: SOT 417955 SOS 180786 HAS SOPS 180716 HAS SOUS 77275 HAS SOUPS 77261 WITH SCORE 77441.786
AT ITER 750 NEW BEST:: SOT 418073 SOS 180843 HAS SOPS 180773 HAS SOUS 77095 HAS SOUPS 77081 WITH SCORE 77261.843
AT ITER 753 NEW BEST:: SOT 418073 SOS 180735 HAS SOPS 180665 HAS SOUS 77020 HAS SOUPS 77006 WITH SCORE 77186.735
AT ITER 755 NEW BEST:: SOT 418134 SOS 180796 HAS SOPS 180726 HAS SOUS 76996 HAS SOUPS 76982 WITH SCORE 77162.796
AT ITER 758 NEW BEST:: SOT 418037 SOS 180699 HAS SOPS 180629 HAS SOUS 76814 HAS SOUPS 76800 WITH SCORE 76980.699
AT ITER 759 NEW BEST:: SOT 418037 SOS 180699 HAS SOPS 180629 HAS SOUS 76750 HAS SOUPS 76736 WITH SCORE 76916.699
AT ITER 760 NEW BEST:: SOT 418089 SOS 180736 HAS SOPS 180666 HAS SOUS 76690 HAS SOUPS 76676 WITH SCORE 76856.736
AT ITER 767 NEW BEST:: SOT 404796 SOS 167585 HAS SOPS 167515 HAS SOUS 74947 HAS SOUPS 74933 WITH SCORE 75100.585
AT ITER 792 NEW BEST:: SOT 404768 SOS 167557 HAS SOPS 167487 HAS SOUS 74906 HAS SOUPS 74892 WITH SCORE 75059.557
AT ITER 799 NEW BEST:: SOT 404710 SOS 167537 HAS SOPS 167467 HAS SOUS 74810 HAS SOUPS 74796 WITH SCORE 74963.537
AT ITER 801 NEW BEST:: SOT 404072 SOS 166899 HAS SOPS 166829 HAS SOUS 74172 HAS SOUPS 74158 WITH SCORE 74324.899
AT ITER 804 NEW BEST:: SOT 404019 SOS 166846 HAS SOPS 166776 HAS SOUS 74119 HAS SOUPS 74105 WITH SCORE 74271.846
AT ITER 806 NEW BEST:: SOT 404014 SOS 166876 HAS SOPS 166806 HAS SOUS 74094 HAS SOUPS 74080 WITH SCORE 74246.876
AT ITER 809 NEW BEST:: SOT 403995 SOS 166857 HAS SOPS 166787 HAS SOUS 74034 HAS SOUPS 74020 WITH SCORE 74186.857
AT ITER 823 NEW BEST:: SOT 403925 SOS 166881 HAS SOPS 166811 HAS SOUS 73914 HAS SOUPS 73900 WITH SCORE 74066.881
AT ITER 826 NEW BEST:: SOT 403867 SOS 157846 HAS SOPS 157776 HAS SOUS 73798 HAS SOUPS 73784 WITH SCORE 73941.846
AT ITER 839 NEW BEST:: SOT 403727 SOS 157779 HAS SOPS 157709 HAS SOUS 73638 HAS SOUPS 73624 WITH SCORE 73781.779
AT ITER 852 NEW BEST:: SOT 403654 SOS 157718 HAS SOPS 157648 HAS SOUS 73499 HAS SOUPS 73485 WITH SCORE 73642.718
AT ITER 856 NEW BEST:: SOT 403601 SOS 157665 HAS SOPS 157595 HAS SOUS 73110 HAS SOUPS 73096 WITH SCORE 73253.665
AT ITER 857 NEW BEST:: SOT 403600 SOS 157664 HAS SOPS 157594 HAS SOUS 73109 HAS SOUPS 73095 WITH SCORE 73252.664
AT ITER 861 NEW BEST:: SOT 403580 SOS 157624 HAS SOPS 157554 HAS SOUS 73005 HAS SOUPS 72991 WITH SCORE 73148.624
AT ITER 862 NEW BEST:: SOT 403580 SOS 157708 HAS SOPS 157638 HAS SOUS 72993 HAS SOUPS 72979 WITH SCORE 73136.708
AT ITER 864 NEW BEST:: SOT 403551 SOS 157671 HAS SOPS 157601 HAS SOUS 72844 HAS SOUPS 72830 WITH SCORE 72987.671
AT ITER 880 NEW BEST:: SOT 376748 SOS 131693 HAS SOPS 131623 HAS SOUS 69374 HAS SOUPS 69360 WITH SCORE 69491.693
AT ITER 884 NEW BEST:: SOT 376734 SOS 131679 HAS SOPS 131609 HAS SOUS 69356 HAS SOUPS 69342 WITH SCORE 69473.679
AT ITER 888 NEW BEST:: SOT 376713 SOS 131704 HAS SOPS 131634 HAS SOUS 69352 HAS SOUPS 69338 WITH SCORE 69469.704
AT ITER 907 NEW BEST:: SOT 376780 SOS 131771 HAS SOPS 131701 HAS SOUS 69301 HAS SOUPS 69287 WITH SCORE 69418.771
AT ITER 910 NEW BEST:: SOT 376729 SOS 131758 HAS SOPS 131688 HAS SOUS 69224 HAS SOUPS 69210 WITH SCORE 69341.758
AT ITER 912 NEW BEST:: SOT 376742 SOS 131771 HAS SOPS 131701 HAS SOUS 69143 HAS SOUPS 69129 WITH SCORE 69260.771
AT ITER 915 NEW BEST:: SOT 376742 SOS 131771 HAS SOPS 131701 HAS SOUS 69113 HAS SOUPS 69099 WITH SCORE 69230.771
AT ITER 920 NEW BEST:: SOT 376726 SOS 131755 HAS SOPS 131685 HAS SOUS 69064 HAS SOUPS 69050 WITH SCORE 69181.755
AT ITER 932 NEW BEST:: SOT 376702 SOS 131855 HAS SOPS 131785 HAS SOUS 69030 HAS SOUPS 69016 WITH SCORE 69147.855
AT ITER 933 NEW BEST:: SOT 376459 SOS 131612 HAS SOPS 131542 HAS SOUS 68787 HAS SOUPS 68773 WITH SCORE 68904.612
AT ITER 937 NEW BEST:: SOT 376369 SOS 131599 HAS SOPS 131529 HAS SOUS 68628 HAS SOUPS 68614 WITH SCORE 68745.599
AT ITER 957 NEW BEST:: SOT 376359 SOS 131589 HAS SOPS 131519 HAS SOUS 68618 HAS SOUPS 68604 WITH SCORE 68735.589
AT ITER 976 NEW BEST:: SOT 376233 SOS 131463 HAS SOPS 131393 HAS SOUS 68516 HAS SOUPS 68502 WITH SCORE 68633.463
AT ITER 979 NEW BEST:: SOT 376208 SOS 131438 HAS SOPS 131368 HAS SOUS 68491 HAS SOUPS 68477 WITH SCORE 68608.438
AT ITER 989 NEW BEST:: SOT 376175 SOS 131405 HAS SOPS 131335 HAS SOUS 68443 HAS SOUPS 68429 WITH SCORE 68560.405
AT ITER 1012 NEW BEST:: SOT 376165 SOS 131395 HAS SOPS 131325 HAS SOUS 68390 HAS SOUPS 68376 WITH SCORE 68507.395
AT ITER 1018 NEW BEST:: SOT 376127 SOS 131357 HAS SOPS 131287 HAS SOUS 68374 HAS SOUPS 68360 WITH SCORE 68491.357
AT ITER 1039 NEW BEST:: SOT 376051 SOS 131682 HAS SOPS 131612 HAS SOUS 68270 HAS SOUPS 68256 WITH SCORE 68387.682
AT ITER 1044 NEW BEST:: SOT 376051 SOS 131747 HAS SOPS 131677 HAS SOUS 68239 HAS SOUPS 68225 WITH SCORE 68356.747
AT ITER 1057 NEW BEST:: SOT 376045 SOS 131741 HAS SOPS 131671 HAS SOUS 68223 HAS SOUPS 68209 WITH SCORE 68340.741
AT ITER 1060 NEW BEST:: SOT 375927 SOS 131723 HAS SOPS 131653 HAS SOUS 68177 HAS SOUPS 68163 WITH SCORE 68294.723
AT ITER 1061 NEW BEST:: SOT 375919 SOS 131751 HAS SOPS 131681 HAS SOUS 68169 HAS SOUPS 68155 WITH SCORE 68286.751
AT ITER 1066 NEW BEST:: SOT 375908 SOS 131740 HAS SOPS 131670 HAS SOUS 68113 HAS SOUPS 68099 WITH SCORE 68230.74
AT ITER 1088 NEW BEST:: SOT 375893 SOS 131725 HAS SOPS 131655 HAS SOUS 68092 HAS SOUPS 68078 WITH SCORE 68209.725
AT ITER 1094 NEW BEST:: SOT 375989 SOS 131821 HAS SOPS 131751 HAS SOUS 68008 HAS SOUPS 67994 WITH SCORE 68125.821
AT ITER 1106 NEW BEST:: SOT 375953 SOS 131814 HAS SOPS 131744 HAS SOUS 67994 HAS SOUPS 67980 WITH SCORE 68111.814
AT ITER 1116 NEW BEST:: SOT 375930 SOS 131798 HAS SOPS 131728 HAS SOUS 67981 HAS SOUPS 67967 WITH SCORE 68098.798
AT ITER 1135 NEW BEST:: SOT 375843 SOS 131624 HAS SOPS 131554 HAS SOUS 67807 HAS SOUPS 67793 WITH SCORE 67924.624
AT ITER 1139 NEW BEST:: SOT 375843 SOS 131600 HAS SOPS 131530 HAS SOUS 67657 HAS SOUPS 67643 WITH SCORE 67774.6
AT ITER 1147 NEW BEST:: SOT 373406 SOS 129226 HAS SOPS 129156 HAS SOUS 65229 HAS SOUPS 65215 WITH SCORE 65344.226
AT ITER 1153 NEW BEST:: SOT 373124 SOS 128944 HAS SOPS 128874 HAS SOUS 64693 HAS SOUPS 64679 WITH SCORE 64807.944
AT ITER 1156 NEW BEST:: SOT 373124 SOS 128944 HAS SOPS 128874 HAS SOUS 64692 HAS SOUPS 64678 WITH SCORE 64806.944
AT ITER 1172 NEW BEST:: SOT 373046 SOS 128866 HAS SOPS 128796 HAS SOUS 64529 HAS SOUPS 64515 WITH SCORE 64643.866
AT ITER 1173 NEW BEST:: SOT 372932 SOS 128837 HAS SOPS 128767 HAS SOUS 64504 HAS SOUPS 64490 WITH SCORE 64618.837
AT ITER 1185 NEW BEST:: SOT 372908 SOS 128813 HAS SOPS 128743 HAS SOUS 64420 HAS SOUPS 64406 WITH SCORE 64534.813
AT ITER 1186 NEW BEST:: SOT 372883 SOS 128788 HAS SOPS 128718 HAS SOUS 64334 HAS SOUPS 64320 WITH SCORE 64448.788
AT ITER 1194 NEW BEST:: SOT 372854 SOS 128759 HAS SOPS 128689 HAS SOUS 64210 HAS SOUPS 64196 WITH SCORE 64324.759
AT ITER 1196 NEW BEST:: SOT 372854 SOS 128759 HAS SOPS 128689 HAS SOUS 64193 HAS SOUPS 64179 WITH SCORE 64307.759
AT ITER 1197 NEW BEST:: SOT 372760 SOS 128665 HAS SOPS 128595 HAS SOUS 64099 HAS SOUPS 64085 WITH SCORE 64213.665
AT ITER 1199 NEW BEST:: SOT 372760 SOS 128671 HAS SOPS 128601 HAS SOUS 64093 HAS SOUPS 64079 WITH SCORE 64207.671
AT ITER 1200 NEW BEST:: SOT 372752 SOS 128663 HAS SOPS 128593 HAS SOUS 64085 HAS SOUPS 64071 WITH SCORE 64199.663
AT ITER 1218 NEW BEST:: SOT 372686 SOS 128597 HAS SOPS 128527 HAS SOUS 63989 HAS SOUPS 63975 WITH SCORE 64103.597
AT ITER 1219 NEW BEST:: SOT 372719 SOS 128612 HAS SOPS 128542 HAS SOUS 63653 HAS SOUPS 63639 WITH SCORE 63767.612
AT ITER 1221 NEW BEST:: SOT 372719 SOS 128603 HAS SOPS 128533 HAS SOUS 63653 HAS SOUPS 63639 WITH SCORE 63767.603
AT ITER 1238 NEW BEST:: SOT 372707 SOS 128591 HAS SOPS 128521 HAS SOUS 63641 HAS SOUPS 63627 WITH SCORE 63755.591
AT ITER 1247 NEW BEST:: SOT 372709 SOS 128603 HAS SOPS 128533 HAS SOUS 63626 HAS SOUPS 63612 WITH SCORE 63740.603
AT ITER 1255 NEW BEST:: SOT 372704 SOS 128587 HAS SOPS 128517 HAS SOUS 63610 HAS SOUPS 63596 WITH SCORE 63724.587
AT ITER 1262 NEW BEST:: SOT 372704 SOS 128555 HAS SOPS 128485 HAS SOUS 63610 HAS SOUPS 63596 WITH SCORE 63724.555
AT ITER 1266 NEW BEST:: SOT 372748 SOS 128522 HAS SOPS 128452 HAS SOUS 63564 HAS SOUPS 63550 WITH SCORE 63678.522
AT ITER 1268 NEW BEST:: SOT 372714 SOS 128227 HAS SOPS 128157 HAS SOUS 63539 HAS SOUPS 63525 WITH SCORE 63653.227
AT ITER 1282 NEW BEST:: SOT 372714 SOS 128219 HAS SOPS 128149 HAS SOUS 63499 HAS SOUPS 63485 WITH SCORE 63613.219
AT ITER 1291 NEW BEST:: SOT 372748 SOS 128253 HAS SOPS 128183 HAS SOUS 63272 HAS SOUPS 63258 WITH SCORE 63386.253
AT ITER 1296 NEW BEST:: SOT 372738 SOS 128243 HAS SOPS 128173 HAS SOUS 63262 HAS SOUPS 63248 WITH SCORE 63376.243
AT ITER 1306 NEW BEST:: SOT 372652 SOS 128157 HAS SOPS 128087 HAS SOUS 63176 HAS SOUPS 63162 WITH SCORE 63290.157
AT ITER 1307 NEW BEST:: SOT 372658 SOS 128163 HAS SOPS 128093 HAS SOUS 63063 HAS SOUPS 63049 WITH SCORE 63177.163
AT ITER 1312 NEW BEST:: SOT 372658 SOS 128163 HAS SOPS 128093 HAS SOUS 63060 HAS SOUPS 63046 WITH SCORE 63174.163
AT ITER 1326 NEW BEST:: SOT 372657 SOS 128162 HAS SOPS 128092 HAS SOUS 63059 HAS SOUPS 63045 WITH SCORE 63173.162
AT ITER 1345 NEW BEST:: SOT 372654 SOS 128159 HAS SOPS 128089 HAS SOUS 62986 HAS SOUPS 62972 WITH SCORE 63100.159
AT ITER 1347 NEW BEST:: SOT 372642 SOS 128147 HAS SOPS 128077 HAS SOUS 62948 HAS SOUPS 62934 WITH SCORE 63062.147
AT ITER 1373 NEW BEST:: SOT 372644 SOS 128192 HAS SOPS 128122 HAS SOUS 62928 HAS SOUPS 62914 WITH SCORE 63042.192
AT ITER 1399 NEW BEST:: SOT 372564 SOS 128112 HAS SOPS 128042 HAS SOUS 62848 HAS SOUPS 62834 WITH SCORE 62962.112
AT ITER 1424 NEW BEST:: SOT 372557 SOS 128105 HAS SOPS 128035 HAS SOUS 62837 HAS SOUPS 62823 WITH SCORE 62951.105
AT ITER 1440 NEW BEST:: SOT 372542 SOS 128090 HAS SOPS 128020 HAS SOUS 62822 HAS SOUPS 62808 WITH SCORE 62936.09
AT ITER 1445 NEW BEST:: SOT 372505 SOS 128053 HAS SOPS 127983 HAS SOUS 62721 HAS SOUPS 62707 WITH SCORE 62835.053
AT ITER 1447 NEW BEST:: SOT 372434 SOS 127982 HAS SOPS 127912 HAS SOUS 62650 HAS SOUPS 62636 WITH SCORE 62763.982
AT ITER 1456 NEW BEST:: SOT 372415 SOS 127917 HAS SOPS 127847 HAS SOUS 62398 HAS SOUPS 62384 WITH SCORE 62511.917
AT ITER 1459 NEW BEST:: SOT 372347 SOS 127849 HAS SOPS 127779 HAS SOUS 62397 HAS SOUPS 62383 WITH SCORE 62510.849
AT ITER 1469 NEW BEST:: SOT 372321 SOS 127823 HAS SOPS 127753 HAS SOUS 62371 HAS SOUPS 62357 WITH SCORE 62484.823
AT ITER 1482 NEW BEST:: SOT 372292 SOS 127794 HAS SOPS 127724 HAS SOUS 62290 HAS SOUPS 62276 WITH SCORE 62403.794
AT ITER 1488 NEW BEST:: SOT 372333 SOS 127830 HAS SOPS 127760 HAS SOUS 61912 HAS SOUPS 61898 WITH SCORE 62025.83
AT ITER 1494 NEW BEST:: SOT 372328 SOS 127825 HAS SOPS 127755 HAS SOUS 61882 HAS SOUPS 61868 WITH SCORE 61995.825
AT ITER 1496 NEW BEST:: SOT 372328 SOS 127817 HAS SOPS 127747 HAS SOUS 61866 HAS SOUPS 61852 WITH SCORE 61979.817
AT ITER 1525 NEW BEST:: SOT 372270 SOS 127759 HAS SOPS 127689 HAS SOUS 61808 HAS SOUPS 61794 WITH SCORE 61921.759
AT ITER 1536 NEW BEST:: SOT 372267 SOS 127756 HAS SOPS 127686 HAS SOUS 61802 HAS SOUPS 61788 WITH SCORE 61915.756
AT ITER 1557 NEW BEST:: SOT 372144 SOS 127633 HAS SOPS 127563 HAS SOUS 61669 HAS SOUPS 61655 WITH SCORE 61782.633
AT ITER 1577 NEW BEST:: SOT 372099 SOS 127588 HAS SOPS 127518 HAS SOUS 61460 HAS SOUPS 61446 WITH SCORE 61573.588
AT ITER 1578 NEW BEST:: SOT 372128 SOS 127617 HAS SOPS 127547 HAS SOUS 61423 HAS SOUPS 61409 WITH SCORE 61536.617
AT ITER 1598 NEW BEST:: SOT 372128 SOS 127617 HAS SOPS 127547 HAS SOUS 61391 HAS SOUPS 61377 WITH SCORE 61504.617
AT ITER 1599 NEW BEST:: SOT 372080 SOS 127585 HAS SOPS 127515 HAS SOUS 61359 HAS SOUPS 61345 WITH SCORE 61472.585
AT ITER 1603 NEW BEST:: SOT 371984 SOS 127569 HAS SOPS 127499 HAS SOUS 61316 HAS SOUPS 61302 WITH SCORE 61429.569
AT ITER 1606 NEW BEST:: SOT 371984 SOS 127555 HAS SOPS 127485 HAS SOUS 61300 HAS SOUPS 61286 WITH SCORE 61413.555
AT ITER 1621 NEW BEST:: SOT 371698 SOS 127269 HAS SOPS 127199 HAS SOUS 60920 HAS SOUPS 60906 WITH SCORE 61033.269
AT ITER 1624 NEW BEST:: SOT 371719 SOS 127290 HAS SOPS 127220 HAS SOUS 60060 HAS SOUPS 60046 WITH SCORE 60173.29
AT ITER 1629 NEW BEST:: SOT 371690 SOS 127261 HAS SOPS 127191 HAS SOUS 60023 HAS SOUPS 60009 WITH SCORE 60136.261
AT ITER 1643 NEW BEST:: SOT 371732 SOS 127375 HAS SOPS 127305 HAS SOUS 59810 HAS SOUPS 59796 WITH SCORE 59923.375
AT ITER 1672 NEW BEST:: SOT 371724 SOS 127367 HAS SOPS 127297 HAS SOUS 59802 HAS SOUPS 59788 WITH SCORE 59915.367
AT ITER 1674 NEW BEST:: SOT 371778 SOS 127421 HAS SOPS 127351 HAS SOUS 59778 HAS SOUPS 59764 WITH SCORE 59891.421
AT ITER 1677 NEW BEST:: SOT 371752 SOS 127395 HAS SOPS 127325 HAS SOUS 59676 HAS SOUPS 59662 WITH SCORE 59789.395
AT ITER 1678 NEW BEST:: SOT 371721 SOS 127364 HAS SOPS 127294 HAS SOUS 59645 HAS SOUPS 59631 WITH SCORE 59758.364
AT ITER 1679 NEW BEST:: SOT 371768 SOS 127354 HAS SOPS 127284 HAS SOUS 59625 HAS SOUPS 59611 WITH SCORE 59738.354
AT ITER 1687 NEW BEST:: SOT 371824 SOS 127410 HAS SOPS 127340 HAS SOUS 59603 HAS SOUPS 59589 WITH SCORE 59716.41
AT ITER 1698 NEW BEST:: SOT 371816 SOS 127523 HAS SOPS 127453 HAS SOUS 59587 HAS SOUPS 59573 WITH SCORE 59700.523
AT ITER 1710 NEW BEST:: SOT 371769 SOS 127476 HAS SOPS 127406 HAS SOUS 59185 HAS SOUPS 59171 WITH SCORE 59298.476
AT ITER 1730 NEW BEST:: SOT 371739 SOS 127446 HAS SOPS 127376 HAS SOUS 59155 HAS SOUPS 59141 WITH SCORE 59268.446
AT ITER 1779 NEW BEST:: SOT 371740 SOS 127447 HAS SOPS 127377 HAS SOUS 59153 HAS SOUPS 59139 WITH SCORE 59266.447
AT ITER 1783 NEW BEST:: SOT 371643 SOS 127409 HAS SOPS 127339 HAS SOUS 59060 HAS SOUPS 59046 WITH SCORE 59173.409
AT ITER 1798 NEW BEST:: SOT 371549 SOS 127305 HAS SOPS 127235 HAS SOUS 58443 HAS SOUPS 58429 WITH SCORE 58556.305
AT ITER 1810 NEW BEST:: SOT 371530 SOS 127286 HAS SOPS 127216 HAS SOUS 58405 HAS SOUPS 58391 WITH SCORE 58518.286
AT ITER 1815 NEW BEST:: SOT 371492 SOS 127248 HAS SOPS 127178 HAS SOUS 58367 HAS SOUPS 58353 WITH SCORE 58480.248
AT ITER 1817 NEW BEST:: SOT 371616 SOS 127372 HAS SOPS 127302 HAS SOUS 58339 HAS SOUPS 58325 WITH SCORE 58452.372
AT ITER 1825 NEW BEST:: SOT 371616 SOS 127323 HAS SOPS 127253 HAS SOUS 58308 HAS SOUPS 58294 WITH SCORE 58421.323
AT ITER 1833 NEW BEST:: SOT 371623 SOS 127314 HAS SOPS 127244 HAS SOUS 58306 HAS SOUPS 58292 WITH SCORE 58419.314
AT ITER 1842 NEW BEST:: SOT 371546 SOS 127237 HAS SOPS 127167 HAS SOUS 58232 HAS SOUPS 58218 WITH SCORE 58345.237
AT ITER 1858 NEW BEST:: SOT 371546 SOS 127235 HAS SOPS 127165 HAS SOUS 58218 HAS SOUPS 58204 WITH SCORE 58331.235
AT ITER 1859 NEW BEST:: SOT 371434 SOS 127123 HAS SOPS 127053 HAS SOUS 58144 HAS SOUPS 58130 WITH SCORE 58257.123
AT ITER 1869 NEW BEST:: SOT 371270 SOS 127319 HAS SOPS 127249 HAS SOUS 58077 HAS SOUPS 58063 WITH SCORE 58190.319
AT ITER 1874 NEW BEST:: SOT 371250 SOS 128120 HAS SOPS 128050 HAS SOUS 58072 HAS SOUPS 58058 WITH SCORE 58186.12
AT ITER 1885 NEW BEST:: SOT 371302 SOS 128082 HAS SOPS 128012 HAS SOUS 58053 HAS SOUPS 58039 WITH SCORE 58167.082
AT ITER 1889 NEW BEST:: SOT 371312 SOS 128092 HAS SOPS 128022 HAS SOUS 57991 HAS SOUPS 57977 WITH SCORE 58105.092
AT ITER 1890 NEW BEST:: SOT 371290 SOS 128070 HAS SOPS 128000 HAS SOUS 57959 HAS SOUPS 57945 WITH SCORE 58073.07
AT ITER 1893 NEW BEST:: SOT 371252 SOS 128032 HAS SOPS 127962 HAS SOUS 57883 HAS SOUPS 57869 WITH SCORE 57997.032
AT ITER 1922 NEW BEST:: SOT 365086 SOS 122220 HAS SOPS 122150 HAS SOUS 57079 HAS SOUPS 57065 WITH SCORE 57187.22
AT ITER 1938 NEW BEST:: SOT 365086 SOS 122086 HAS SOPS 122016 HAS SOUS 57079 HAS SOUPS 57065 WITH SCORE 57187.086
AT ITER 1945 NEW BEST:: SOT 365041 SOS 121996 HAS SOPS 121926 HAS SOUS 57034 HAS SOUPS 57020 WITH SCORE 57141.996
AT ITER 1950 NEW BEST:: SOT 364751 SOS 121706 HAS SOPS 121636 HAS SOUS 56672 HAS SOUPS 56658 WITH SCORE 56779.706
AT ITER 1982 NEW BEST:: SOT 364841 SOS 121796 HAS SOPS 121726 HAS SOUS 56114 HAS SOUPS 56100 WITH SCORE 56221.796
AT ITER 2001 NEW BEST:: SOT 364834 SOS 121789 HAS SOPS 121719 HAS SOUS 56102 HAS SOUPS 56088 WITH SCORE 56209.789
AT ITER 2002 NEW BEST:: SOT 364819 SOS 121774 HAS SOPS 121704 HAS SOUS 56087 HAS SOUPS 56073 WITH SCORE 56194.774
AT ITER 2006 NEW BEST:: SOT 364835 SOS 121785 HAS SOPS 121715 HAS SOUS 55542 HAS SOUPS 55528 WITH SCORE 55649.785
AT ITER 2011 NEW BEST:: SOT 350650 SOS 135309 HAS SOPS 135239 HAS SOUS 54479 HAS SOUPS 54465 WITH SCORE 54600.309
AT ITER 2016 NEW BEST:: SOT 350624 SOS 135283 HAS SOPS 135213 HAS SOUS 54444 HAS SOUPS 54430 WITH SCORE 54565.283
AT ITER 2038 NEW BEST:: SOT 350641 SOS 135300 HAS SOPS 135230 HAS SOUS 54386 HAS SOUPS 54372 WITH SCORE 54507.3
AT ITER 2043 NEW BEST:: SOT 350677 SOS 135170 HAS SOPS 135100 HAS SOUS 54383 HAS SOUPS 54369 WITH SCORE 54504.17
AT ITER 2066 NEW BEST:: SOT 350486 SOS 134979 HAS SOPS 134909 HAS SOUS 54095 HAS SOUPS 54081 WITH SCORE 54215.979
AT ITER 2085 NEW BEST:: SOT 350428 SOS 135001 HAS SOPS 134931 HAS SOUS 53993 HAS SOUPS 53979 WITH SCORE 54114.001
AT ITER 2114 NEW BEST:: SOT 350456 SOS 134865 HAS SOPS 134795 HAS SOUS 53983 HAS SOUPS 53969 WITH SCORE 54103.865
AT ITER 2137 NEW BEST:: SOT 350468 SOS 134877 HAS SOPS 134807 HAS SOUS 53911 HAS SOUPS 53897 WITH SCORE 54031.877
AT ITER 2139 NEW BEST:: SOT 350464 SOS 134873 HAS SOPS 134803 HAS SOUS 53905 HAS SOUPS 53891 WITH SCORE 54025.873
AT ITER 2142 NEW BEST:: SOT 350464 SOS 134828 HAS SOPS 134758 HAS SOUS 53905 HAS SOUPS 53891 WITH SCORE 54025.828
AT ITER 2165 NEW BEST:: SOT 350397 SOS 134761 HAS SOPS 134691 HAS SOUS 53822 HAS SOUPS 53808 WITH SCORE 53942.761
AT ITER 2176 NEW BEST:: SOT 350397 SOS 134761 HAS SOPS 134691 HAS SOUS 53815 HAS SOUPS 53801 WITH SCORE 53935.761
AT ITER 2190 NEW BEST:: SOT 350361 SOS 134725 HAS SOPS 134655 HAS SOUS 53691 HAS SOUPS 53677 WITH SCORE 53811.725
AT ITER 2210 NEW BEST:: SOT 350365 SOS 134729 HAS SOPS 134659 HAS SOUS 53648 HAS SOUPS 53634 WITH SCORE 53768.729
AT ITER 2212 NEW BEST:: SOT 350329 SOS 134693 HAS SOPS 134623 HAS SOUS 53509 HAS SOUPS 53495 WITH SCORE 53629.693
AT ITER 2213 NEW BEST:: SOT 350345 SOS 134693 HAS SOPS 134623 HAS SOUS 53493 HAS SOUPS 53479 WITH SCORE 53613.693
AT ITER 2229 NEW BEST:: SOT 350345 SOS 134644 HAS SOPS 134574 HAS SOUS 53454 HAS SOUPS 53440 WITH SCORE 53574.644
AT ITER 2251 NEW BEST:: SOT 350344 SOS 134643 HAS SOPS 134573 HAS SOUS 53452 HAS SOUPS 53438 WITH SCORE 53572.643
AT ITER 2253 NEW BEST:: SOT 350335 SOS 119470 HAS SOPS 119400 HAS SOUS 53330 HAS SOUPS 53316 WITH SCORE 53435.47
AT ITER 2278 NEW BEST:: SOT 350217 SOS 119352 HAS SOPS 119282 HAS SOUS 53050 HAS SOUPS 53036 WITH SCORE 53155.352
AT ITER 2284 NEW BEST:: SOT 350412 SOS 119547 HAS SOPS 119477 HAS SOUS 53000 HAS SOUPS 52986 WITH SCORE 53105.547
AT ITER 2288 NEW BEST:: SOT 350384 SOS 119519 HAS SOPS 119449 HAS SOUS 52954 HAS SOUPS 52940 WITH SCORE 53059.519
AT ITER 2323 NEW BEST:: SOT 350370 SOS 119505 HAS SOPS 119435 HAS SOUS 52940 HAS SOUPS 52926 WITH SCORE 53045.505
AT ITER 2334 NEW BEST:: SOT 350490 SOS 119625 HAS SOPS 119555 HAS SOUS 52934 HAS SOUPS 52920 WITH SCORE 53039.625
AT ITER 2343 NEW BEST:: SOT 350514 SOS 119649 HAS SOPS 119579 HAS SOUS 52886 HAS SOUPS 52872 WITH SCORE 52991.649
AT ITER 2353 NEW BEST:: SOT 350514 SOS 119649 HAS SOPS 119579 HAS SOUS 52880 HAS SOUPS 52866 WITH SCORE 52985.649
AT ITER 2365 NEW BEST:: SOT 350520 SOS 119655 HAS SOPS 119585 HAS SOUS 52862 HAS SOUPS 52848 WITH SCORE 52967.655
AT ITER 2432 NEW BEST:: SOT 350479 SOS 119614 HAS SOPS 119544 HAS SOUS 52844 HAS SOUPS 52830 WITH SCORE 52949.614
AT ITER 2433 NEW BEST:: SOT 350479 SOS 119614 HAS SOPS 119544 HAS SOUS 52560 HAS SOUPS 52546 WITH SCORE 52665.614
AT ITER 2437 NEW BEST:: SOT 350439 SOS 119391 HAS SOPS 119321 HAS SOUS 52480 HAS SOUPS 52466 WITH SCORE 52585.391
AT ITER 2465 NEW BEST:: SOT 350311 SOS 119309 HAS SOPS 119239 HAS SOUS 52403 HAS SOUPS 52389 WITH SCORE 52508.309
AT ITER 2482 NEW BEST:: SOT 350283 SOS 119281 HAS SOPS 119211 HAS SOUS 52364 HAS SOUPS 52350 WITH SCORE 52469.281
AT ITER 2485 NEW BEST:: SOT 350280 SOS 119278 HAS SOPS 119208 HAS SOUS 52358 HAS SOUPS 52344 WITH SCORE 52463.278
AT ITER 2491 NEW BEST:: SOT 350248 SOS 119246 HAS SOPS 119176 HAS SOUS 52326 HAS SOUPS 52312 WITH SCORE 52431.246
AT ITER 2504 NEW BEST:: SOT 350228 SOS 119226 HAS SOPS 119156 HAS SOUS 52298 HAS SOUPS 52284 WITH SCORE 52403.226
AT ITER 2510 NEW BEST:: SOT 350191 SOS 119189 HAS SOPS 119119 HAS SOUS 52177 HAS SOUPS 52163 WITH SCORE 52282.189
AT ITER 2521 NEW BEST:: SOT 350156 SOS 119154 HAS SOPS 119084 HAS SOUS 52116 HAS SOUPS 52102 WITH SCORE 52221.154
AT ITER 2525 NEW BEST:: SOT 350136 SOS 119134 HAS SOPS 119064 HAS SOUS 52076 HAS SOUPS 52062 WITH SCORE 52181.134
AT ITER 2545 NEW BEST:: SOT 350136 SOS 119134 HAS SOPS 119064 HAS SOUS 52044 HAS SOUPS 52030 WITH SCORE 52149.134
AT ITER 2589 NEW BEST:: SOT 350136 SOS 119220 HAS SOPS 119150 HAS SOUS 52039 HAS SOUPS 52025 WITH SCORE 52144.22
AT ITER 2607 NEW BEST:: SOT 350132 SOS 119216 HAS SOPS 119146 HAS SOUS 52032 HAS SOUPS 52018 WITH SCORE 52137.216
AT ITER 2633 NEW BEST:: SOT 350080 SOS 119164 HAS SOPS 119094 HAS SOUS 51980 HAS SOUPS 51966 WITH SCORE 52085.164
AT ITER 2642 NEW BEST:: SOT 350071 SOS 119389 HAS SOPS 119319 HAS SOUS 51962 HAS SOUPS 51948 WITH SCORE 52067.389
AT ITER 2654 NEW BEST:: SOT 350325 SOS 119643 HAS SOPS 119573 HAS SOUS 51841 HAS SOUPS 51827 WITH SCORE 51946.643
AT ITER 2665 NEW BEST:: SOT 350315 SOS 119735 HAS SOPS 119665 HAS SOUS 51821 HAS SOUPS 51807 WITH SCORE 51926.735
AT ITER 2672 NEW BEST:: SOT 350250 SOS 119711 HAS SOPS 119641 HAS SOUS 51814 HAS SOUPS 51800 WITH SCORE 51919.711
AT ITER 2681 NEW BEST:: SOT 350250 SOS 119702 HAS SOPS 119632 HAS SOUS 51796 HAS SOUPS 51782 WITH SCORE 51901.702
AT ITER 2713 NEW BEST:: SOT 350244 SOS 119698 HAS SOPS 119628 HAS SOUS 51788 HAS SOUPS 51774 WITH SCORE 51893.698
AT ITER 2715 NEW BEST:: SOT 350174 SOS 119720 HAS SOPS 119650 HAS SOUS 51678 HAS SOUPS 51664 WITH SCORE 51783.72
AT ITER 2726 NEW BEST:: SOT 350077 SOS 119577 HAS SOPS 119507 HAS SOUS 51598 HAS SOUPS 51584 WITH SCORE 51703.577
AT ITER 2737 NEW BEST:: SOT 350050 SOS 119550 HAS SOPS 119480 HAS SOUS 51580 HAS SOUPS 51566 WITH SCORE 51685.55
AT ITER 2759 NEW BEST:: SOT 350050 SOS 119550 HAS SOPS 119480 HAS SOUS 51579 HAS SOUPS 51565 WITH SCORE 51684.55
AT ITER 2773 NEW BEST:: SOT 350008 SOS 119508 HAS SOPS 119438 HAS SOUS 51516 HAS SOUPS 51502 WITH SCORE 51621.508
AT ITER 2782 NEW BEST:: SOT 349988 SOS 119488 HAS SOPS 119418 HAS SOUS 51492 HAS SOUPS 51478 WITH SCORE 51597.488
AT ITER 2816 NEW BEST:: SOT 349976 SOS 119476 HAS SOPS 119406 HAS SOUS 51483 HAS SOUPS 51469 WITH SCORE 51588.476
AT ITER 2830 NEW BEST:: SOT 349964 SOS 121288 HAS SOPS 121218 HAS SOUS 51459 HAS SOUPS 51445 WITH SCORE 51566.288
AT ITER 2845 NEW BEST:: SOT 349964 SOS 121288 HAS SOPS 121218 HAS SOUS 51451 HAS SOUPS 51437 WITH SCORE 51558.288
AT ITER 2846 NEW BEST:: SOT 349894 SOS 121218 HAS SOPS 121148 HAS SOUS 51381 HAS SOUPS 51367 WITH SCORE 51488.218
AT ITER 2851 NEW BEST:: SOT 349897 SOS 121215 HAS SOPS 121145 HAS SOUS 51369 HAS SOUPS 51355 WITH SCORE 51476.215
AT ITER 2879 NEW BEST:: SOT 349884 SOS 121189 HAS SOPS 121119 HAS SOUS 51354 HAS SOUPS 51340 WITH SCORE 51461.189
AT ITER 2902 NEW BEST:: SOT 349857 SOS 121162 HAS SOPS 121092 HAS SOUS 51314 HAS SOUPS 51300 WITH SCORE 51421.162
AT ITER 2932 NEW BEST:: SOT 349857 SOS 121162 HAS SOPS 121092 HAS SOUS 51292 HAS SOUPS 51278 WITH SCORE 51399.162
AT ITER 2945 NEW BEST:: SOT 349902 SOS 121141 HAS SOPS 121071 HAS SOUS 51250 HAS SOUPS 51236 WITH SCORE 51357.141
AT ITER 2954 NEW BEST:: SOT 349778 SOS 121086 HAS SOPS 121016 HAS SOUS 51173 HAS SOUPS 51159 WITH SCORE 51280.086
AT ITER 2981 NEW BEST:: SOT 349778 SOS 119098 HAS SOPS 119028 HAS SOUS 51173 HAS SOUPS 51159 WITH SCORE 51278.098
AT ITER 2991 NEW BEST:: SOT 349777 SOS 119097 HAS SOPS 119027 HAS SOUS 51172 HAS SOUPS 51158 WITH SCORE 51277.097
AT ITER 3056 NEW BEST:: SOT 349769 SOS 119089 HAS SOPS 119019 HAS SOUS 51172 HAS SOUPS 51158 WITH SCORE 51277.089
AT ITER 3059 NEW BEST:: SOT 349764 SOS 119084 HAS SOPS 119014 HAS SOUS 51142 HAS SOUPS 51128 WITH SCORE 51247.084
AT ITER 3077 NEW BEST:: SOT 349780 SOS 119100 HAS SOPS 119030 HAS SOUS 51086 HAS SOUPS 51072 WITH SCORE 51191.1
AT ITER 3167 NEW BEST:: SOT 349760 SOS 119080 HAS SOPS 119010 HAS SOUS 51034 HAS SOUPS 51020 WITH SCORE 51139.08
AT ITER 3170 NEW BEST:: SOT 349792 SOS 118688 HAS SOPS 118618 HAS SOUS 51030 HAS SOUPS 51016 WITH SCORE 51134.688
AT ITER 3179 NEW BEST:: SOT 349798 SOS 118755 HAS SOPS 118685 HAS SOUS 50997 HAS SOUPS 50983 WITH SCORE 51101.755
AT ITER 3186 NEW BEST:: SOT 349803 SOS 118760 HAS SOPS 118690 HAS SOUS 50992 HAS SOUPS 50978 WITH SCORE 51096.76
AT ITER 3190 NEW BEST:: SOT 349829 SOS 118786 HAS SOPS 118716 HAS SOUS 50966 HAS SOUPS 50952 WITH SCORE 51070.786
AT ITER 3192 NEW BEST:: SOT 349674 SOS 118631 HAS SOPS 118561 HAS SOUS 50656 HAS SOUPS 50642 WITH SCORE 50760.631
AT ITER 3228 NEW BEST:: SOT 349694 SOS 118651 HAS SOPS 118581 HAS SOUS 50654 HAS SOUPS 50640 WITH SCORE 50758.651
AT ITER 3231 NEW BEST:: SOT 349700 SOS 118657 HAS SOPS 118587 HAS SOUS 50635 HAS SOUPS 50621 WITH SCORE 50739.657
AT ITER 3233 NEW BEST:: SOT 349692 SOS 118649 HAS SOPS 118579 HAS SOUS 50627 HAS SOUPS 50613 WITH SCORE 50731.649
AT ITER 3245 NEW BEST:: SOT 349690 SOS 118647 HAS SOPS 118577 HAS SOUS 50625 HAS SOUPS 50611 WITH SCORE 50729.647
AT ITER 3255 NEW BEST:: SOT 349604 SOS 118561 HAS SOPS 118491 HAS SOUS 50492 HAS SOUPS 50478 WITH SCORE 50596.561
AT ITER 3259 NEW BEST:: SOT 349544 SOS 118501 HAS SOPS 118431 HAS SOUS 50449 HAS SOUPS 50435 WITH SCORE 50553.501
AT ITER 3274 NEW BEST:: SOT 349484 SOS 118441 HAS SOPS 118371 HAS SOUS 50363 HAS SOUPS 50349 WITH SCORE 50467.441
AT ITER 3297 NEW BEST:: SOT 349410 SOS 118367 HAS SOPS 118297 HAS SOUS 50220 HAS SOUPS 50206 WITH SCORE 50324.367
AT ITER 3319 NEW BEST:: SOT 349400 SOS 118357 HAS SOPS 118287 HAS SOUS 50204 HAS SOUPS 50190 WITH SCORE 50308.357
AT ITER 3331 NEW BEST:: SOT 349399 SOS 118356 HAS SOPS 118286 HAS SOUS 50202 HAS SOUPS 50188 WITH SCORE 50306.356
AT ITER 3333 NEW BEST:: SOT 349357 SOS 118316 HAS SOPS 118246 HAS SOUS 50166 HAS SOUPS 50152 WITH SCORE 50270.316
AT ITER 3366 NEW BEST:: SOT 349281 SOS 118240 HAS SOPS 118170 HAS SOUS 49987 HAS SOUPS 49973 WITH SCORE 50091.24
AT ITER 3392 NEW BEST:: SOT 349226 SOS 118185 HAS SOPS 118115 HAS SOUS 49657 HAS SOUPS 49643 WITH SCORE 49761.185
AT ITER 3402 NEW BEST:: SOT 349168 SOS 118156 HAS SOPS 118086 HAS SOUS 49599 HAS SOUPS 49585 WITH SCORE 49703.156
AT ITER 3415 NEW BEST:: SOT 349135 SOS 118123 HAS SOPS 118053 HAS SOUS 49564 HAS SOUPS 49550 WITH SCORE 49668.123
AT ITER 3422 NEW BEST:: SOT 349132 SOS 118117 HAS SOPS 118047 HAS SOUS 49558 HAS SOUPS 49544 WITH SCORE 49662.117
AT ITER 3423 NEW BEST:: SOT 349466 SOS 118451 HAS SOPS 118381 HAS SOUS 49404 HAS SOUPS 49390 WITH SCORE 49508.451
AT ITER 3457 NEW BEST:: SOT 349446 SOS 118431 HAS SOPS 118361 HAS SOUS 49364 HAS SOUPS 49350 WITH SCORE 49468.431
AT ITER 3495 NEW BEST:: SOT 349427 SOS 118393 HAS SOPS 118323 HAS SOUS 49326 HAS SOUPS 49312 WITH SCORE 49430.393
AT ITER 3500 NEW BEST:: SOT 349421 SOS 118387 HAS SOPS 118317 HAS SOUS 49314 HAS SOUPS 49300 WITH SCORE 49418.387
AT ITER 3506 NEW BEST:: SOT 349420 SOS 118349 HAS SOPS 118279 HAS SOUS 49312 HAS SOUPS 49298 WITH SCORE 49416.349
AT ITER 3511 NEW BEST:: SOT 349479 SOS 118408 HAS SOPS 118338 HAS SOUS 49247 HAS SOUPS 49233 WITH SCORE 49351.408
AT ITER 3523 NEW BEST:: SOT 349478 SOS 118407 HAS SOPS 118337 HAS SOUS 49242 HAS SOUPS 49228 WITH SCORE 49346.407
AT ITER 3548 NEW BEST:: SOT 349477 SOS 118406 HAS SOPS 118336 HAS SOUS 49241 HAS SOUPS 49227 WITH SCORE 49345.406
AT ITER 3549 NEW BEST:: SOT 349482 SOS 118411 HAS SOPS 118341 HAS SOUS 49191 HAS SOUPS 49177 WITH SCORE 49295.411
AT ITER 3587 NEW BEST:: SOT 349410 SOS 118339 HAS SOPS 118269 HAS SOUS 49147 HAS SOUPS 49133 WITH SCORE 49251.339
AT ITER 3605 NEW BEST:: SOT 349332 SOS 118261 HAS SOPS 118191 HAS SOUS 49108 HAS SOUPS 49094 WITH SCORE 49212.261
AT ITER 3614 NEW BEST:: SOT 349337 SOS 118266 HAS SOPS 118196 HAS SOUS 49096 HAS SOUPS 49082 WITH SCORE 49200.266
AT ITER 3634 NEW BEST:: SOT 349298 SOS 118227 HAS SOPS 118157 HAS SOUS 49001 HAS SOUPS 48987 WITH SCORE 49105.227
AT ITER 3646 NEW BEST:: SOT 349266 SOS 118195 HAS SOPS 118125 HAS SOUS 48889 HAS SOUPS 48875 WITH SCORE 48993.195
AT ITER 3647 NEW BEST:: SOT 349234 SOS 118163 HAS SOPS 118093 HAS SOUS 48805 HAS SOUPS 48791 WITH SCORE 48909.163
AT ITER 3649 NEW BEST:: SOT 349226 SOS 118159 HAS SOPS 118089 HAS SOUS 48797 HAS SOUPS 48783 WITH SCORE 48901.159
AT ITER 3706 NEW BEST:: SOT 349226 SOS 118159 HAS SOPS 118089 HAS SOUS 48794 HAS SOUPS 48780 WITH SCORE 48898.159
AT ITER 3728 NEW BEST:: SOT 349266 SOS 118199 HAS SOPS 118129 HAS SOUS 48651 HAS SOUPS 48637 WITH SCORE 48755.199
AT ITER 3732 NEW BEST:: SOT 349148 SOS 118081 HAS SOPS 118011 HAS SOUS 48545 HAS SOUPS 48531 WITH SCORE 48649.081
AT ITER 3745 NEW BEST:: SOT 349145 SOS 118088 HAS SOPS 118018 HAS SOUS 48539 HAS SOUPS 48525 WITH SCORE 48643.088
AT ITER 3749 NEW BEST:: SOT 349145 SOS 118088 HAS SOPS 118018 HAS SOUS 48521 HAS SOUPS 48507 WITH SCORE 48625.088
AT ITER 3754 NEW BEST:: SOT 349159 SOS 118102 HAS SOPS 118032 HAS SOUS 48512 HAS SOUPS 48498 WITH SCORE 48616.102
AT ITER 3777 NEW BEST:: SOT 349120 SOS 118063 HAS SOPS 117993 HAS SOUS 48473 HAS SOUPS 48459 WITH SCORE 48577.063
AT ITER 3778 NEW BEST:: SOT 349057 SOS 118000 HAS SOPS 117930 HAS SOUS 48410 HAS SOUPS 48396 WITH SCORE 48514.0
AT ITER 3790 NEW BEST:: SOT 349048 SOS 117991 HAS SOPS 117921 HAS SOUS 48409 HAS SOUPS 48395 WITH SCORE 48512.991
AT ITER 3816 NEW BEST:: SOT 349034 SOS 117977 HAS SOPS 117907 HAS SOUS 48401 HAS SOUPS 48387 WITH SCORE 48504.977
AT ITER 3818 NEW BEST:: SOT 348993 SOS 117936 HAS SOPS 117866 HAS SOUS 48360 HAS SOUPS 48346 WITH SCORE 48463.936
AT ITER 3849 NEW BEST:: SOT 348953 SOS 117896 HAS SOPS 117826 HAS SOUS 48320 HAS SOUPS 48306 WITH SCORE 48423.896
AT ITER 3856 NEW BEST:: SOT 348929 SOS 117824 HAS SOPS 117754 HAS SOUS 48263 HAS SOUPS 48249 WITH SCORE 48366.824
AT ITER 3870 NEW BEST:: SOT 348789 SOS 117684 HAS SOPS 117614 HAS SOUS 47985 HAS SOUPS 47971 WITH SCORE 48088.684
AT ITER 3871 NEW BEST:: SOT 348706 SOS 117601 HAS SOPS 117531 HAS SOUS 47864 HAS SOUPS 47850 WITH SCORE 47967.601
AT ITER 3887 NEW BEST:: SOT 348684 SOS 117579 HAS SOPS 117509 HAS SOUS 47841 HAS SOUPS 47827 WITH SCORE 47944.579
AT ITER 3905 NEW BEST:: SOT 348641 SOS 117536 HAS SOPS 117466 HAS SOUS 47810 HAS SOUPS 47796 WITH SCORE 47913.536
AT ITER 3914 NEW BEST:: SOT 348635 SOS 117530 HAS SOPS 117460 HAS SOUS 47773 HAS SOUPS 47759 WITH SCORE 47876.53
AT ITER 3918 NEW BEST:: SOT 348726 SOS 117547 HAS SOPS 117477 HAS SOUS 47766 HAS SOUPS 47752 WITH SCORE 47869.547
AT ITER 3941 NEW BEST:: SOT 348702 SOS 117523 HAS SOPS 117453 HAS SOUS 47726 HAS SOUPS 47712 WITH SCORE 47829.523
AT ITER 3959 NEW BEST:: SOT 348702 SOS 117523 HAS SOPS 117453 HAS SOUS 47722 HAS SOUPS 47708 WITH SCORE 47825.523
AT ITER 3962 NEW BEST:: SOT 348708 SOS 117529 HAS SOPS 117459 HAS SOUS 47721 HAS SOUPS 47707 WITH SCORE 47824.529
AT ITER 3974 NEW BEST:: SOT 348697 SOS 117518 HAS SOPS 117448 HAS SOUS 47699 HAS SOUPS 47685 WITH SCORE 47802.518
AT ITER 3989 NEW BEST:: SOT 348703 SOS 117524 HAS SOPS 117454 HAS SOUS 47686 HAS SOUPS 47672 WITH SCORE 47789.524
AT ITER 3997 NEW BEST:: SOT 348703 SOS 117523 HAS SOPS 117453 HAS SOUS 47686 HAS SOUPS 47672 WITH SCORE 47789.523
AT ITER 4023 NEW BEST:: SOT 348659 SOS 117479 HAS SOPS 117409 HAS SOUS 47634 HAS SOUPS 47620 WITH SCORE 47737.479
AT ITER 4028 NEW BEST:: SOT 348454 SOS 117936 HAS SOPS 117880 HAS SOUS 47506 HAS SOUPS 47492 WITH SCORE 47609.936
AT ITER 4067 NEW BEST:: SOT 348447 SOS 117929 HAS SOPS 117873 HAS SOUS 47492 HAS SOUPS 47478 WITH SCORE 47595.929
AT ITER 4104 NEW BEST:: SOT 348351 SOS 117833 HAS SOPS 117777 HAS SOUS 47300 HAS SOUPS 47286 WITH SCORE 47403.833
AT ITER 4136 NEW BEST:: SOT 348359 SOS 117841 HAS SOPS 117785 HAS SOUS 47200 HAS SOUPS 47186 WITH SCORE 47303.841
AT ITER 4137 NEW BEST:: SOT 348317 SOS 117799 HAS SOPS 117743 HAS SOUS 47139 HAS SOUPS 47125 WITH SCORE 47242.799
AT ITER 4141 NEW BEST:: SOT 348303 SOS 117785 HAS SOPS 117729 HAS SOUS 47105 HAS SOUPS 47091 WITH SCORE 47208.785
AT ITER 4147 NEW BEST:: SOT 348305 SOS 117787 HAS SOPS 117731 HAS SOUS 47103 HAS SOUPS 47089 WITH SCORE 47206.787
AT ITER 4195 NEW BEST:: SOT 348263 SOS 117745 HAS SOPS 117689 HAS SOUS 47089 HAS SOUPS 47075 WITH SCORE 47192.745
AT ITER 4224 NEW BEST:: SOT 348229 SOS 117711 HAS SOPS 117655 HAS SOUS 47042 HAS SOUPS 47028 WITH SCORE 47145.711
AT ITER 4241 NEW BEST:: SOT 348225 SOS 117707 HAS SOPS 117651 HAS SOUS 46975 HAS SOUPS 46961 WITH SCORE 47078.707
AT ITER 4266 NEW BEST:: SOT 348149 SOS 117631 HAS SOPS 117575 HAS SOUS 46891 HAS SOUPS 46877 WITH SCORE 46994.631
AT ITER 4292 NEW BEST:: SOT 347936 SOS 117455 HAS SOPS 117399 HAS SOUS 46598 HAS SOUPS 46584 WITH SCORE 46701.455
AT ITER 4338 NEW BEST:: SOT 347931 SOS 117450 HAS SOPS 117394 HAS SOUS 46595 HAS SOUPS 46581 WITH SCORE 46698.45
AT ITER 4346 NEW BEST:: SOT 347931 SOS 117461 HAS SOPS 117405 HAS SOUS 46562 HAS SOUPS 46548 WITH SCORE 46665.461
AT ITER 4403 NEW BEST:: SOT 347929 SOS 117459 HAS SOPS 117403 HAS SOUS 46524 HAS SOUPS 46510 WITH SCORE 46627.459
AT ITER 4450 NEW BEST:: SOT 347926 SOS 117456 HAS SOPS 117400 HAS SOUS 46521 HAS SOUPS 46507 WITH SCORE 46624.456
AT ITER 4529 NEW BEST:: SOT 347929 SOS 117459 HAS SOPS 117403 HAS SOUS 46518 HAS SOUPS 46504 WITH SCORE 46621.459
AT ITER 4554 NEW BEST:: SOT 347884 SOS 117414 HAS SOPS 117358 HAS SOUS 46481 HAS SOUPS 46467 WITH SCORE 46584.414
AT ITER 4598 NEW BEST:: SOT 347876 SOS 117406 HAS SOPS 117350 HAS SOUS 46465 HAS SOUPS 46451 WITH SCORE 46568.406
AT ITER 4629 NEW BEST:: SOT 347869 SOS 117399 HAS SOPS 117343 HAS SOUS 46433 HAS SOUPS 46419 WITH SCORE 46536.399
AT ITER 4638 NEW BEST:: SOT 347833 SOS 117363 HAS SOPS 117307 HAS SOUS 46397 HAS SOUPS 46383 WITH SCORE 46500.363
AT ITER 4648 NEW BEST:: SOT 347814 SOS 117363 HAS SOPS 117307 HAS SOUS 46363 HAS SOUPS 46349 WITH SCORE 46466.363
AT ITER 4708 NEW BEST:: SOT 347800 SOS 117349 HAS SOPS 117293 HAS SOUS 46349 HAS SOUPS 46335 WITH SCORE 46452.349
AT ITER 4729 NEW BEST:: SOT 347808 SOS 117332 HAS SOPS 117276 HAS SOUS 46332 HAS SOUPS 46318 WITH SCORE 46435.332
AT ITER 4751 NEW BEST:: SOT 347780 SOS 117304 HAS SOPS 117248 HAS SOUS 46274 HAS SOUPS 46260 WITH SCORE 46377.304
AT ITER 4754 NEW BEST:: SOT 347796 SOS 117289 HAS SOPS 117233 HAS SOUS 46255 HAS SOUPS 46241 WITH SCORE 46358.289
AT ITER 4756 NEW BEST:: SOT 347747 SOS 117240 HAS SOPS 117184 HAS SOUS 46194 HAS SOUPS 46180 WITH SCORE 46297.24
AT ITER 4758 NEW BEST:: SOT 347697 SOS 117190 HAS SOPS 117134 HAS SOUS 46100 HAS SOUPS 46086 WITH SCORE 46203.19
AT ITER 4771 NEW BEST:: SOT 347563 SOS 117145 HAS SOPS 117089 HAS SOUS 46010 HAS SOUPS 45996 WITH SCORE 46113.145
AT ITER 4786 NEW BEST:: SOT 347521 SOS 117103 HAS SOPS 117047 HAS SOUS 45880 HAS SOUPS 45866 WITH SCORE 45983.103
AT ITER 4801 NEW BEST:: SOT 346632 SOS 116214 HAS SOPS 116158 HAS SOUS 45012 HAS SOUPS 44998 WITH SCORE 45114.214
AT ITER 4807 NEW BEST:: SOT 346610 SOS 116192 HAS SOPS 116136 HAS SOUS 44968 HAS SOUPS 44954 WITH SCORE 45070.192
AT ITER 4842 NEW BEST:: SOT 346597 SOS 116179 HAS SOPS 116123 HAS SOUS 44950 HAS SOUPS 44936 WITH SCORE 45052.179
AT ITER 4864 NEW BEST:: SOT 346597 SOS 116170 HAS SOPS 116114 HAS SOUS 44923 HAS SOUPS 44909 WITH SCORE 45025.17
AT ITER 4866 NEW BEST:: SOT 346559 SOS 116169 HAS SOPS 116113 HAS SOUS 44921 HAS SOUPS 44907 WITH SCORE 45023.169
AT ITER 4867 NEW BEST:: SOT 346595 SOS 116205 HAS SOPS 116149 HAS SOUS 44897 HAS SOUPS 44883 WITH SCORE 44999.205
AT ITER 4884 NEW BEST:: SOT 346593 SOS 116203 HAS SOPS 116147 HAS SOUS 44893 HAS SOUPS 44879 WITH SCORE 44995.203
AT ITER 4889 NEW BEST:: SOT 346579 SOS 116189 HAS SOPS 116133 HAS SOUS 44856 HAS SOUPS 44842 WITH SCORE 44958.189
AT ITER 4890 NEW BEST:: SOT 346535 SOS 116167 HAS SOPS 116111 HAS SOUS 44804 HAS SOUPS 44790 WITH SCORE 44906.167
AT ITER 4902 NEW BEST:: SOT 346535 SOS 116167 HAS SOPS 116111 HAS SOUS 44766 HAS SOUPS 44752 WITH SCORE 44868.167
AT ITER 4924 NEW BEST:: SOT 346605 SOS 116237 HAS SOPS 116181 HAS SOUS 44764 HAS SOUPS 44750 WITH SCORE 44866.237
AT ITER 4935 NEW BEST:: SOT 346605 SOS 116237 HAS SOPS 116181 HAS SOUS 44750 HAS SOUPS 44736 WITH SCORE 44852.237
AT ITER 4952 NEW BEST:: SOT 346667 SOS 116299 HAS SOPS 116243 HAS SOUS 44600 HAS SOUPS 44586 WITH SCORE 44702.299
AT ITER 4962 NEW BEST:: SOT 346667 SOS 116292 HAS SOPS 116236 HAS SOUS 44593 HAS SOUPS 44579 WITH SCORE 44695.292
AT ITER 5023 NEW BEST:: SOT 346637 SOS 116217 HAS SOPS 116161 HAS SOUS 44578 HAS SOUPS 44564 WITH SCORE 44680.217
AT ITER 5044 NEW BEST:: SOT 346637 SOS 116217 HAS SOPS 116161 HAS SOUS 44570 HAS SOUPS 44556 WITH SCORE 44672.217
AT ITER 5052 NEW BEST:: SOT 346630 SOS 116210 HAS SOPS 116154 HAS SOUS 44550 HAS SOUPS 44536 WITH SCORE 44652.21
AT ITER 5057 NEW BEST:: SOT 346603 SOS 116183 HAS SOPS 116127 HAS SOUS 44338 HAS SOUPS 44324 WITH SCORE 44440.183
AT ITER 5059 NEW BEST:: SOT 346557 SOS 116173 HAS SOPS 116117 HAS SOUS 44292 HAS SOUPS 44278 WITH SCORE 44394.173
AT ITER 5071 NEW BEST:: SOT 346588 SOS 116168 HAS SOPS 116112 HAS SOUS 44282 HAS SOUPS 44268 WITH SCORE 44384.168
AT ITER 5078 NEW BEST:: SOT 346582 SOS 116162 HAS SOPS 116106 HAS SOUS 44276 HAS SOUPS 44262 WITH SCORE 44378.162
AT ITER 5108 NEW BEST:: SOT 346573 SOS 116153 HAS SOPS 116097 HAS SOUS 44258 HAS SOUPS 44244 WITH SCORE 44360.153
AT ITER 5114 NEW BEST:: SOT 346573 SOS 116142 HAS SOPS 116086 HAS SOUS 44258 HAS SOUPS 44244 WITH SCORE 44360.142
AT ITER 5124 NEW BEST:: SOT 346581 SOS 116150 HAS SOPS 116094 HAS SOUS 44243 HAS SOUPS 44229 WITH SCORE 44345.15
AT ITER 5169 NEW BEST:: SOT 346581 SOS 116172 HAS SOPS 116121 HAS SOUS 44236 HAS SOUPS 44222 WITH SCORE 44338.172
AT ITER 5203 NEW BEST:: SOT 346556 SOS 116121 HAS SOPS 116070 HAS SOUS 44162 HAS SOUPS 44148 WITH SCORE 44264.121
AT ITER 5216 NEW BEST:: SOT 346484 SOS 116049 HAS SOPS 115998 HAS SOUS 44084 HAS SOUPS 44070 WITH SCORE 44186.049
AT ITER 5219 NEW BEST:: SOT 346437 SOS 116002 HAS SOPS 115951 HAS SOUS 44021 HAS SOUPS 44007 WITH SCORE 44123.002
AT ITER 5242 NEW BEST:: SOT 346469 SOS 115855 HAS SOPS 115804 HAS SOUS 43954 HAS SOUPS 43940 WITH SCORE 44055.855
AT ITER 5257 NEW BEST:: SOT 346320 SOS 115706 HAS SOPS 115655 HAS SOUS 43911 HAS SOUPS 43897 WITH SCORE 44012.706
AT ITER 5276 NEW BEST:: SOT 346308 SOS 115694 HAS SOPS 115643 HAS SOUS 43911 HAS SOUPS 43897 WITH SCORE 44012.694
AT ITER 5306 NEW BEST:: SOT 346345 SOS 115501 HAS SOPS 115450 HAS SOUS 43821 HAS SOUPS 43807 WITH SCORE 43922.501
AT ITER 5342 NEW BEST:: SOT 346334 SOS 115490 HAS SOPS 115439 HAS SOUS 43799 HAS SOUPS 43785 WITH SCORE 43900.49
AT ITER 5363 NEW BEST:: SOT 346304 SOS 115460 HAS SOPS 115409 HAS SOUS 43739 HAS SOUPS 43725 WITH SCORE 43840.46
AT ITER 5366 NEW BEST:: SOT 346296 SOS 115452 HAS SOPS 115401 HAS SOUS 43706 HAS SOUPS 43692 WITH SCORE 43807.452
AT ITER 5375 NEW BEST:: SOT 346298 SOS 115454 HAS SOPS 115403 HAS SOUS 43689 HAS SOUPS 43675 WITH SCORE 43790.454
AT ITER 5377 NEW BEST:: SOT 346295 SOS 115451 HAS SOPS 115400 HAS SOUS 43686 HAS SOUPS 43672 WITH SCORE 43787.451
AT ITER 5384 NEW BEST:: SOT 346304 SOS 115443 HAS SOPS 115392 HAS SOUS 43683 HAS SOUPS 43669 WITH SCORE 43784.443
AT ITER 5399 NEW BEST:: SOT 346292 SOS 115431 HAS SOPS 115380 HAS SOUS 43659 HAS SOUPS 43645 WITH SCORE 43760.431
AT ITER 5412 NEW BEST:: SOT 346171 SOS 115310 HAS SOPS 115259 HAS SOUS 43575 HAS SOUPS 43561 WITH SCORE 43676.31
AT ITER 5417 NEW BEST:: SOT 346168 SOS 115307 HAS SOPS 115256 HAS SOUS 43572 HAS SOUPS 43558 WITH SCORE 43673.307
AT ITER 5418 NEW BEST:: SOT 346159 SOS 115298 HAS SOPS 115247 HAS SOUS 43555 HAS SOUPS 43541 WITH SCORE 43656.298
AT ITER 5430 NEW BEST:: SOT 346160 SOS 115299 HAS SOPS 115248 HAS SOUS 43545 HAS SOUPS 43531 WITH SCORE 43646.299
AT ITER 5443 NEW BEST:: SOT 346191 SOS 115346 HAS SOPS 115295 HAS SOUS 43542 HAS SOUPS 43528 WITH SCORE 43643.346
AT ITER 5449 NEW BEST:: SOT 346257 SOS 115412 HAS SOPS 115361 HAS SOUS 43534 HAS SOUPS 43520 WITH SCORE 43635.412
AT ITER 5476 NEW BEST:: SOT 346254 SOS 115409 HAS SOPS 115358 HAS SOUS 43529 HAS SOUPS 43515 WITH SCORE 43630.409
AT ITER 5488 NEW BEST:: SOT 346226 SOS 115381 HAS SOPS 115330 HAS SOUS 43528 HAS SOUPS 43514 WITH SCORE 43629.381
AT ITER 5496 NEW BEST:: SOT 346195 SOS 115345 HAS SOPS 115294 HAS SOUS 43492 HAS SOUPS 43478 WITH SCORE 43593.345
AT ITER 5540 NEW BEST:: SOT 346178 SOS 115328 HAS SOPS 115277 HAS SOUS 43465 HAS SOUPS 43451 WITH SCORE 43566.328
AT ITER 5544 NEW BEST:: SOT 346171 SOS 115321 HAS SOPS 115270 HAS SOUS 43458 HAS SOUPS 43444 WITH SCORE 43559.321
AT ITER 5612 NEW BEST:: SOT 346099 SOS 115249 HAS SOPS 115198 HAS SOUS 43301 HAS SOUPS 43287 WITH SCORE 43402.249
AT ITER 5630 NEW BEST:: SOT 346099 SOS 115249 HAS SOPS 115198 HAS SOUS 43279 HAS SOUPS 43265 WITH SCORE 43380.249
AT ITER 5650 NEW BEST:: SOT 346091 SOS 115241 HAS SOPS 115190 HAS SOUS 43146 HAS SOUPS 43132 WITH SCORE 43247.241
AT ITER 5658 NEW BEST:: SOT 346079 SOS 115229 HAS SOPS 115178 HAS SOUS 43124 HAS SOUPS 43110 WITH SCORE 43225.229
AT ITER 5709 NEW BEST:: SOT 346036 SOS 115186 HAS SOPS 115135 HAS SOUS 43038 HAS SOUPS 43024 WITH SCORE 43139.186
AT ITER 5714 NEW BEST:: SOT 345984 SOS 115134 HAS SOPS 115083 HAS SOUS 42960 HAS SOUPS 42946 WITH SCORE 43061.134
AT ITER 5722 NEW BEST:: SOT 345987 SOS 115137 HAS SOPS 115086 HAS SOUS 42947 HAS SOUPS 42933 WITH SCORE 43048.137
AT ITER 5736 NEW BEST:: SOT 345992 SOS 115142 HAS SOPS 115091 HAS SOUS 42943 HAS SOUPS 42929 WITH SCORE 43044.142
AT ITER 5739 NEW BEST:: SOT 345992 SOS 115118 HAS SOPS 115067 HAS SOUS 42943 HAS SOUPS 42929 WITH SCORE 43044.118
AT ITER 5768 NEW BEST:: SOT 345992 SOS 115118 HAS SOPS 115067 HAS SOUS 42925 HAS SOUPS 42911 WITH SCORE 43026.118
AT ITER 5781 NEW BEST:: SOT 345988 SOS 115116 HAS SOPS 115065 HAS SOUS 42923 HAS SOUPS 42909 WITH SCORE 43024.116
AT ITER 5812 NEW BEST:: SOT 345968 SOS 115096 HAS SOPS 115045 HAS SOUS 42903 HAS SOUPS 42889 WITH SCORE 43004.096
AT ITER 5844 NEW BEST:: SOT 345955 SOS 115083 HAS SOPS 115032 HAS SOUS 42877 HAS SOUPS 42863 WITH SCORE 42978.083
AT ITER 5858 NEW BEST:: SOT 345927 SOS 115055 HAS SOPS 115004 HAS SOUS 42654 HAS SOUPS 42640 WITH SCORE 42755.055
AT ITER 5860 NEW BEST:: SOT 345929 SOS 115057 HAS SOPS 115006 HAS SOUS 42650 HAS SOUPS 42636 WITH SCORE 42751.057
AT ITER 5876 NEW BEST:: SOT 345911 SOS 115039 HAS SOPS 114988 HAS SOUS 42632 HAS SOUPS 42618 WITH SCORE 42733.039
AT ITER 5910 NEW BEST:: SOT 345896 SOS 115009 HAS SOPS 114958 HAS SOUS 42602 HAS SOUPS 42588 WITH SCORE 42703.009
AT ITER 5921 NEW BEST:: SOT 345961 SOS 115074 HAS SOPS 115023 HAS SOUS 42311 HAS SOUPS 42297 WITH SCORE 42412.074
AT ITER 5922 NEW BEST:: SOT 346048 SOS 115161 HAS SOPS 115110 HAS SOUS 42287 HAS SOUPS 42273 WITH SCORE 42388.161
AT ITER 5936 NEW BEST:: SOT 346016 SOS 115129 HAS SOPS 115078 HAS SOUS 42228 HAS SOUPS 42214 WITH SCORE 42329.129
AT ITER 5947 NEW BEST:: SOT 345984 SOS 115097 HAS SOPS 115046 HAS SOUS 42169 HAS SOUPS 42155 WITH SCORE 42270.097
AT ITER 5992 NEW BEST:: SOT 345976 SOS 115089 HAS SOPS 115038 HAS SOUS 42169 HAS SOUPS 42155 WITH SCORE 42270.089
AT ITER 6095 NEW BEST:: SOT 346004 SOS 115086 HAS SOPS 115035 HAS SOUS 42164 HAS SOUPS 42150 WITH SCORE 42265.086
AT ITER 6136 NEW BEST:: SOT 345972 SOS 115038 HAS SOPS 114987 HAS SOUS 42136 HAS SOUPS 42122 WITH SCORE 42237.038
AT ITER 6140 NEW BEST:: SOT 345918 SOS 114984 HAS SOPS 114933 HAS SOUS 42082 HAS SOUPS 42068 WITH SCORE 42182.984
AT ITER 6188 NEW BEST:: SOT 345889 SOS 114955 HAS SOPS 114904 HAS SOUS 42051 HAS SOUPS 42037 WITH SCORE 42151.955
AT ITER 6229 NEW BEST:: SOT 345895 SOS 114961 HAS SOPS 114910 HAS SOUS 42049 HAS SOUPS 42035 WITH SCORE 42149.961
AT ITER 6242 NEW BEST:: SOT 345890 SOS 114956 HAS SOPS 114905 HAS SOUS 42044 HAS SOUPS 42030 WITH SCORE 42144.956
AT ITER 6257 NEW BEST:: SOT 345880 SOS 114946 HAS SOPS 114895 HAS SOUS 42034 HAS SOUPS 42020 WITH SCORE 42134.946
AT ITER 6270 NEW BEST:: SOT 345876 SOS 114942 HAS SOPS 114891 HAS SOUS 42030 HAS SOUPS 42016 WITH SCORE 42130.942
AT ITER 6281 NEW BEST:: SOT 345804 SOS 114838 HAS SOPS 114787 HAS SOUS 41955 HAS SOUPS 41941 WITH SCORE 42055.838
AT ITER 6286 NEW BEST:: SOT 345762 SOS 114812 HAS SOPS 114761 HAS SOUS 41897 HAS SOUPS 41883 WITH SCORE 41997.812
AT ITER 6288 NEW BEST:: SOT 345760 SOS 114845 HAS SOPS 114794 HAS SOUS 41894 HAS SOUPS 41880 WITH SCORE 41994.845
AT ITER 6291 NEW BEST:: SOT 345673 SOS 114758 HAS SOPS 114707 HAS SOUS 41890 HAS SOUPS 41876 WITH SCORE 41990.758
AT ITER 6353 NEW BEST:: SOT 345676 SOS 114761 HAS SOPS 114710 HAS SOUS 41888 HAS SOUPS 41874 WITH SCORE 41988.761
AT ITER 6356 NEW BEST:: SOT 345663 SOS 114748 HAS SOPS 114697 HAS SOUS 41875 HAS SOUPS 41861 WITH SCORE 41975.748
AT ITER 6401 NEW BEST:: SOT 345663 SOS 114748 HAS SOPS 114697 HAS SOUS 41870 HAS SOUPS 41856 WITH SCORE 41970.748
AT ITER 6413 NEW BEST:: SOT 345678 SOS 114763 HAS SOPS 114712 HAS SOUS 41860 HAS SOUPS 41846 WITH SCORE 41960.763
AT ITER 6417 NEW BEST:: SOT 345678 SOS 114864 HAS SOPS 114684 HAS SOUS 41860 HAS SOUPS 41818 WITH SCORE 41932.864
AT ITER 6426 NEW BEST:: SOT 345668 SOS 114854 HAS SOPS 114674 HAS SOUS 41850 HAS SOUPS 41808 WITH SCORE 41922.854
AT ITER 6452 NEW BEST:: SOT 345705 SOS 114850 HAS SOPS 114670 HAS SOUS 41842 HAS SOUPS 41800 WITH SCORE 41914.85
AT ITER 6462 NEW BEST:: SOT 345722 SOS 115215 HAS SOPS 115029 HAS SOUS 41846 HAS SOUPS 41798 WITH SCORE 41913.215
AT ITER 6472 NEW BEST:: SOT 345682 SOS 115221 HAS SOPS 115041 HAS SOUS 41760 HAS SOUPS 41718 WITH SCORE 41833.221
AT ITER 6476 NEW BEST:: SOT 345669 SOS 115208 HAS SOPS 115028 HAS SOUS 41750 HAS SOUPS 41708 WITH SCORE 41823.208
AT ITER 6490 NEW BEST:: SOT 345645 SOS 115184 HAS SOPS 115004 HAS SOUS 41666 HAS SOUPS 41624 WITH SCORE 41739.184
AT ITER 6526 NEW BEST:: SOT 345637 SOS 115176 HAS SOPS 114996 HAS SOUS 41658 HAS SOUPS 41616 WITH SCORE 41731.176
AT ITER 6560 NEW BEST:: SOT 345627 SOS 115166 HAS SOPS 114986 HAS SOUS 41632 HAS SOUPS 41590 WITH SCORE 41705.166
AT ITER 6598 NEW BEST:: SOT 345627 SOS 115166 HAS SOPS 114986 HAS SOUS 41620 HAS SOUPS 41578 WITH SCORE 41693.166
AT ITER 6603 NEW BEST:: SOT 345634 SOS 115189 HAS SOPS 115009 HAS SOUS 41602 HAS SOUPS 41560 WITH SCORE 41675.189
AT ITER 6610 NEW BEST:: SOT 345590 SOS 105129 HAS SOPS 104949 HAS SOUS 41381 HAS SOUPS 41339 WITH SCORE 41444.129
AT ITER 6634 NEW BEST:: SOT 345385 SOS 104885 HAS SOPS 104705 HAS SOUS 41137 HAS SOUPS 41095 WITH SCORE 41199.885
AT ITER 6649 NEW BEST:: SOT 345357 SOS 104857 HAS SOPS 104677 HAS SOUS 41048 HAS SOUPS 41006 WITH SCORE 41110.857
AT ITER 6651 NEW BEST:: SOT 345285 SOS 104813 HAS SOPS 104633 HAS SOUS 40988 HAS SOUPS 40946 WITH SCORE 41050.813
AT ITER 6681 NEW BEST:: SOT 345281 SOS 104809 HAS SOPS 104629 HAS SOUS 40981 HAS SOUPS 40939 WITH SCORE 41043.809
AT ITER 6696 NEW BEST:: SOT 345281 SOS 104809 HAS SOPS 104629 HAS SOUS 40980 HAS SOUPS 40938 WITH SCORE 41042.809
AT ITER 6737 NEW BEST:: SOT 345028 SOS 104556 HAS SOPS 104376 HAS SOUS 40727 HAS SOUPS 40685 WITH SCORE 40789.556
AT ITER 6752 NEW BEST:: SOT 345023 SOS 104551 HAS SOPS 104371 HAS SOUS 40722 HAS SOUPS 40680 WITH SCORE 40784.551
AT ITER 6788 NEW BEST:: SOT 344988 SOS 104740 HAS SOPS 104560 HAS SOUS 40652 HAS SOUPS 40610 WITH SCORE 40714.74
AT ITER 6800 NEW BEST:: SOT 344956 SOS 104708 HAS SOPS 104528 HAS SOUS 40600 HAS SOUPS 40558 WITH SCORE 40662.708
AT ITER 6808 NEW BEST:: SOT 344967 SOS 104719 HAS SOPS 104539 HAS SOUS 40578 HAS SOUPS 40536 WITH SCORE 40640.719
AT ITER 6813 NEW BEST:: SOT 344944 SOS 104696 HAS SOPS 104516 HAS SOUS 40532 HAS SOUPS 40490 WITH SCORE 40594.696
AT ITER 6841 NEW BEST:: SOT 344892 SOS 104644 HAS SOPS 104464 HAS SOUS 40504 HAS SOUPS 40462 WITH SCORE 40566.644
AT ITER 6847 NEW BEST:: SOT 344892 SOS 104644 HAS SOPS 104464 HAS SOUS 40484 HAS SOUPS 40442 WITH SCORE 40546.644
AT ITER 6856 NEW BEST:: SOT 344892 SOS 104643 HAS SOPS 104463 HAS SOUS 40482 HAS SOUPS 40440 WITH SCORE 40544.643
AT ITER 6864 NEW BEST:: SOT 344093 SOS 106284 HAS SOPS 106104 HAS SOUS 40385 HAS SOUPS 40343 WITH SCORE 40449.284
AT ITER 6879 NEW BEST:: SOT 344086 SOS 106347 HAS SOPS 106167 HAS SOUS 40371 HAS SOUPS 40329 WITH SCORE 40435.347
AT ITER 6921 NEW BEST:: SOT 344061 SOS 106278 HAS SOPS 106098 HAS SOUS 40315 HAS SOUPS 40273 WITH SCORE 40379.278
AT ITER 6924 NEW BEST:: SOT 344053 SOS 106270 HAS SOPS 106090 HAS SOUS 40307 HAS SOUPS 40265 WITH SCORE 40371.27
AT ITER 6937 NEW BEST:: SOT 344076 SOS 106293 HAS SOPS 106113 HAS SOUS 40287 HAS SOUPS 40245 WITH SCORE 40351.293
AT ITER 6950 NEW BEST:: SOT 343994 SOS 106202 HAS SOPS 106022 HAS SOUS 40244 HAS SOUPS 40202 WITH SCORE 40308.202
AT ITER 6956 NEW BEST:: SOT 343980 SOS 106206 HAS SOPS 106026 HAS SOUS 40216 HAS SOUPS 40174 WITH SCORE 40280.206
AT ITER 6971 NEW BEST:: SOT 343980 SOS 106206 HAS SOPS 106026 HAS SOUS 40198 HAS SOUPS 40156 WITH SCORE 40262.206
AT ITER 6982 NEW BEST:: SOT 343985 SOS 106211 HAS SOPS 106031 HAS SOUS 40196 HAS SOUPS 40154 WITH SCORE 40260.211
AT ITER 7000 NEW BEST:: SOT 343984 SOS 106185 HAS SOPS 106005 HAS SOUS 40193 HAS SOUPS 40151 WITH SCORE 40257.185
AT ITER 7014 NEW BEST:: SOT 343900 SOS 106101 HAS SOPS 105921 HAS SOUS 39964 HAS SOUPS 39922 WITH SCORE 40028.101
AT ITER 7035 NEW BEST:: SOT 343921 SOS 106122 HAS SOPS 105942 HAS SOUS 39949 HAS SOUPS 39907 WITH SCORE 40013.122
AT ITER 7044 NEW BEST:: SOT 343921 SOS 106115 HAS SOPS 105935 HAS SOUS 39942 HAS SOUPS 39900 WITH SCORE 40006.115
AT ITER 7046 NEW BEST:: SOT 343911 SOS 106105 HAS SOPS 105925 HAS SOUS 39912 HAS SOUPS 39870 WITH SCORE 39976.105
AT ITER 7076 NEW BEST:: SOT 343897 SOS 106101 HAS SOPS 105921 HAS SOUS 39904 HAS SOUPS 39862 WITH SCORE 39968.101
AT ITER 7084 NEW BEST:: SOT 343896 SOS 106100 HAS SOPS 105920 HAS SOUS 39904 HAS SOUPS 39862 WITH SCORE 39968.1
AT ITER 7119 NEW BEST:: SOT 343894 SOS 106077 HAS SOPS 105897 HAS SOUS 39900 HAS SOUPS 39858 WITH SCORE 39964.077
AT ITER 7136 NEW BEST:: SOT 343865 SOS 106048 HAS SOPS 105868 HAS SOUS 39871 HAS SOUPS 39829 WITH SCORE 39935.048
AT ITER 7172 NEW BEST:: SOT 343799 SOS 105982 HAS SOPS 105802 HAS SOUS 39805 HAS SOUPS 39763 WITH SCORE 39868.982
AT ITER 7197 NEW BEST:: SOT 343757 SOS 105940 HAS SOPS 105760 HAS SOUS 39721 HAS SOUPS 39679 WITH SCORE 39784.94
AT ITER 7214 NEW BEST:: SOT 343734 SOS 105884 HAS SOPS 105704 HAS SOUS 39675 HAS SOUPS 39633 WITH SCORE 39738.884
AT ITER 7235 NEW BEST:: SOT 343730 SOS 105905 HAS SOPS 105700 HAS SOUS 39667 HAS SOUPS 39620 WITH SCORE 39725.905
AT ITER 7254 NEW BEST:: SOT 343709 SOS 105884 HAS SOPS 105679 HAS SOUS 39639 HAS SOUPS 39592 WITH SCORE 39697.884
AT ITER 7265 NEW BEST:: SOT 343708 SOS 105883 HAS SOPS 105678 HAS SOUS 39638 HAS SOUPS 39591 WITH SCORE 39696.883
AT ITER 7271 NEW BEST:: SOT 343691 SOS 105866 HAS SOPS 105661 HAS SOUS 39604 HAS SOUPS 39557 WITH SCORE 39662.866
AT ITER 7276 NEW BEST:: SOT 343684 SOS 105859 HAS SOPS 105654 HAS SOUS 39604 HAS SOUPS 39557 WITH SCORE 39662.859
AT ITER 7321 NEW BEST:: SOT 343661 SOS 105813 HAS SOPS 105608 HAS SOUS 39558 HAS SOUPS 39511 WITH SCORE 39616.813
AT ITER 7335 NEW BEST:: SOT 343596 SOS 105748 HAS SOPS 105543 HAS SOUS 39415 HAS SOUPS 39368 WITH SCORE 39473.748
AT ITER 7375 NEW BEST:: SOT 343476 SOS 105628 HAS SOPS 105423 HAS SOUS 39160 HAS SOUPS 39113 WITH SCORE 39218.628
AT ITER 7424 NEW BEST:: SOT 343442 SOS 105533 HAS SOPS 105328 HAS SOUS 39092 HAS SOUPS 39045 WITH SCORE 39150.533
AT ITER 7433 NEW BEST:: SOT 343446 SOS 105537 HAS SOPS 105332 HAS SOUS 39040 HAS SOUPS 38993 WITH SCORE 39098.537
AT ITER 7453 NEW BEST:: SOT 343420 SOS 105511 HAS SOPS 105306 HAS SOUS 39014 HAS SOUPS 38967 WITH SCORE 39072.511
AT ITER 7476 NEW BEST:: SOT 343417 SOS 105508 HAS SOPS 105303 HAS SOUS 38999 HAS SOUPS 38952 WITH SCORE 39057.508
AT ITER 7481 NEW BEST:: SOT 343417 SOS 105498 HAS SOPS 105293 HAS SOUS 38989 HAS SOUPS 38942 WITH SCORE 39047.498
AT ITER 7495 NEW BEST:: SOT 343402 SOS 105479 HAS SOPS 105274 HAS SOUS 38970 HAS SOUPS 38923 WITH SCORE 39028.479
AT ITER 7536 NEW BEST:: SOT 343398 SOS 105467 HAS SOPS 105262 HAS SOUS 38962 HAS SOUPS 38915 WITH SCORE 39020.467
AT ITER 7552 NEW BEST:: SOT 343361 SOS 105430 HAS SOPS 105225 HAS SOUS 38888 HAS SOUPS 38841 WITH SCORE 38946.43
AT ITER 7555 NEW BEST:: SOT 343324 SOS 105641 HAS SOPS 105436 HAS SOUS 38814 HAS SOUPS 38767 WITH SCORE 38872.641
AT ITER 7558 NEW BEST:: SOT 343311 SOS 105628 HAS SOPS 105423 HAS SOUS 38799 HAS SOUPS 38752 WITH SCORE 38857.628
AT ITER 7597 NEW BEST:: SOT 343308 SOS 105625 HAS SOPS 105420 HAS SOUS 38793 HAS SOUPS 38746 WITH SCORE 38851.625
AT ITER 7643 NEW BEST:: SOT 343272 SOS 105589 HAS SOPS 105384 HAS SOUS 38754 HAS SOUPS 38707 WITH SCORE 38812.589
AT ITER 7668 NEW BEST:: SOT 343272 SOS 105589 HAS SOPS 105384 HAS SOUS 38751 HAS SOUPS 38704 WITH SCORE 38809.589
AT ITER 7726 NEW BEST:: SOT 343272 SOS 105736 HAS SOPS 105540 HAS SOUS 38744 HAS SOUPS 38697 WITH SCORE 38802.736
AT ITER 7728 NEW BEST:: SOT 343251 SOS 105694 HAS SOPS 105498 HAS SOUS 38702 HAS SOUPS 38655 WITH SCORE 38760.694
AT ITER 7753 NEW BEST:: SOT 343250 SOS 105693 HAS SOPS 105497 HAS SOUS 38701 HAS SOUPS 38654 WITH SCORE 38759.693
AT ITER 7760 NEW BEST:: SOT 343236 SOS 105679 HAS SOPS 105483 HAS SOUS 38687 HAS SOUPS 38640 WITH SCORE 38745.679
AT ITER 7795 NEW BEST:: SOT 343258 SOS 105701 HAS SOPS 105505 HAS SOUS 38677 HAS SOUPS 38630 WITH SCORE 38735.701
AT ITER 7819 NEW BEST:: SOT 343168 SOS 105611 HAS SOPS 105415 HAS SOUS 38587 HAS SOUPS 38540 WITH SCORE 38645.611
AT ITER 7899 NEW BEST:: SOT 343168 SOS 105611 HAS SOPS 105415 HAS SOUS 38584 HAS SOUPS 38537 WITH SCORE 38642.611
AT ITER 7907 NEW BEST:: SOT 343134 SOS 105667 HAS SOPS 105471 HAS SOUS 38527 HAS SOUPS 38480 WITH SCORE 38585.667
AT ITER 7918 NEW BEST:: SOT 343137 SOS 105670 HAS SOPS 105474 HAS SOUS 38521 HAS SOUPS 38474 WITH SCORE 38579.67
AT ITER 7943 NEW BEST:: SOT 343133 SOS 105666 HAS SOPS 105470 HAS SOUS 38513 HAS SOUPS 38466 WITH SCORE 38571.666
AT ITER 7955 NEW BEST:: SOT 343136 SOS 105641 HAS SOPS 105445 HAS SOUS 38498 HAS SOUPS 38451 WITH SCORE 38556.641
AT ITER 7961 NEW BEST:: SOT 343124 SOS 105629 HAS SOPS 105433 HAS SOUS 38460 HAS SOUPS 38413 WITH SCORE 38518.629
AT ITER 7984 NEW BEST:: SOT 343065 SOS 105570 HAS SOPS 105374 HAS SOUS 38401 HAS SOUPS 38354 WITH SCORE 38459.57
AT ITER 8001 NEW BEST:: SOT 342953 SOS 105296 HAS SOPS 105100 HAS SOUS 38177 HAS SOUPS 38130 WITH SCORE 38235.296
AT ITER 8028 NEW BEST:: SOT 342947 SOS 105290 HAS SOPS 105094 HAS SOUS 38150 HAS SOUPS 38103 WITH SCORE 38208.29
AT ITER 8029 NEW BEST:: SOT 342886 SOS 105229 HAS SOPS 105033 HAS SOUS 37945 HAS SOUPS 37898 WITH SCORE 38003.229
AT ITER 8036 NEW BEST:: SOT 342796 SOS 105139 HAS SOPS 104943 HAS SOUS 37855 HAS SOUPS 37808 WITH SCORE 37913.139
AT ITER 8057 NEW BEST:: SOT 342781 SOS 105124 HAS SOPS 104928 HAS SOUS 37811 HAS SOUPS 37764 WITH SCORE 37869.124
AT ITER 8060 NEW BEST:: SOT 342769 SOS 105112 HAS SOPS 104916 HAS SOUS 37799 HAS SOUPS 37752 WITH SCORE 37857.112
AT ITER 8111 NEW BEST:: SOT 342769 SOS 105112 HAS SOPS 104916 HAS SOUS 37785 HAS SOUPS 37738 WITH SCORE 37843.112
AT ITER 8132 NEW BEST:: SOT 342761 SOS 105079 HAS SOPS 104883 HAS SOUS 37705 HAS SOUPS 37658 WITH SCORE 37763.079
AT ITER 8164 NEW BEST:: SOT 342734 SOS 105073 HAS SOPS 104877 HAS SOUS 37666 HAS SOUPS 37619 WITH SCORE 37724.073
AT ITER 8185 NEW BEST:: SOT 342732 SOS 105069 HAS SOPS 104873 HAS SOUS 37662 HAS SOUPS 37615 WITH SCORE 37720.069
AT ITER 8229 NEW BEST:: SOT 342661 SOS 104998 HAS SOPS 104802 HAS SOUS 37593 HAS SOUPS 37546 WITH SCORE 37650.998
AT ITER 8343 NEW BEST:: SOT 342621 SOS 104958 HAS SOPS 104762 HAS SOUS 37513 HAS SOUPS 37466 WITH SCORE 37570.958
AT ITER 8349 NEW BEST:: SOT 342618 SOS 104955 HAS SOPS 104759 HAS SOUS 37507 HAS SOUPS 37460 WITH SCORE 37564.955
AT ITER 8383 NEW BEST:: SOT 342587 SOS 104871 HAS SOPS 104675 HAS SOUS 37445 HAS SOUPS 37398 WITH SCORE 37502.871
AT ITER 8417 NEW BEST:: SOT 342602 SOS 104886 HAS SOPS 104690 HAS SOUS 37402 HAS SOUPS 37355 WITH SCORE 37459.886
AT ITER 8444 NEW BEST:: SOT 342601 SOS 104861 HAS SOPS 104665 HAS SOUS 37377 HAS SOUPS 37330 WITH SCORE 37434.861
AT ITER 8480 NEW BEST:: SOT 342517 SOS 104777 HAS SOPS 104581 HAS SOUS 37246 HAS SOUPS 37199 WITH SCORE 37303.777
AT ITER 8484 NEW BEST:: SOT 342516 SOS 104776 HAS SOPS 104580 HAS SOUS 37244 HAS SOUPS 37197 WITH SCORE 37301.776
AT ITER 8533 NEW BEST:: SOT 342506 SOS 104697 HAS SOPS 104501 HAS SOUS 37165 HAS SOUPS 37118 WITH SCORE 37222.697
AT ITER 8549 NEW BEST:: SOT 342538 SOS 104777 HAS SOPS 104581 HAS SOUS 37136 HAS SOUPS 37089 WITH SCORE 37193.777
AT ITER 8562 NEW BEST:: SOT 342465 SOS 104704 HAS SOPS 104508 HAS SOUS 37031 HAS SOUPS 36984 WITH SCORE 37088.704
AT ITER 8619 NEW BEST:: SOT 342467 SOS 104697 HAS SOPS 104501 HAS SOUS 37015 HAS SOUPS 36968 WITH SCORE 37072.697
AT ITER 8639 NEW BEST:: SOT 342458 SOS 104710 HAS SOPS 104514 HAS SOUS 37014 HAS SOUPS 36967 WITH SCORE 37071.71
AT ITER 8654 NEW BEST:: SOT 342415 SOS 104667 HAS SOPS 104471 HAS SOUS 36931 HAS SOUPS 36884 WITH SCORE 36988.667
AT ITER 8701 NEW BEST:: SOT 342400 SOS 104667 HAS SOPS 104471 HAS SOUS 36903 HAS SOUPS 36856 WITH SCORE 36960.667
AT ITER 8748 NEW BEST:: SOT 342350 SOS 104600 HAS SOPS 104404 HAS SOUS 36851 HAS SOUPS 36804 WITH SCORE 36908.6
AT ITER 8801 NEW BEST:: SOT 342305 SOS 104555 HAS SOPS 104359 HAS SOUS 36760 HAS SOUPS 36713 WITH SCORE 36817.555
AT ITER 8877 NEW BEST:: SOT 342301 SOS 104551 HAS SOPS 104355 HAS SOUS 36756 HAS SOUPS 36709 WITH SCORE 36813.551
AT ITER 8919 NEW BEST:: SOT 342313 SOS 104563 HAS SOPS 104367 HAS SOUS 36745 HAS SOUPS 36698 WITH SCORE 36802.563
AT ITER 8930 NEW BEST:: SOT 342314 SOS 104553 HAS SOPS 104357 HAS SOUS 36730 HAS SOUPS 36683 WITH SCORE 36787.553
AT ITER 8975 NEW BEST:: SOT 342314 SOS 104553 HAS SOPS 104357 HAS SOUS 36717 HAS SOUPS 36670 WITH SCORE 36774.553
AT ITER 9030 NEW BEST:: SOT 342291 SOS 112376 HAS SOPS 112180 HAS SOUS 36689 HAS SOUPS 36642 WITH SCORE 36754.376
AT ITER 9048 NEW BEST:: SOT 342270 SOS 112355 HAS SOPS 112159 HAS SOUS 36686 HAS SOUPS 36639 WITH SCORE 36751.355
AT ITER 9058 NEW BEST:: SOT 342198 SOS 112283 HAS SOPS 112087 HAS SOUS 36638 HAS SOUPS 36591 WITH SCORE 36703.283
AT ITER 9105 NEW BEST:: SOT 342196 SOS 112281 HAS SOPS 112085 HAS SOUS 36630 HAS SOUPS 36583 WITH SCORE 36695.281
AT ITER 9114 NEW BEST:: SOT 342193 SOS 112278 HAS SOPS 112082 HAS SOUS 36630 HAS SOUPS 36583 WITH SCORE 36695.278
AT ITER 9123 NEW BEST:: SOT 342202 SOS 112287 HAS SOPS 112091 HAS SOUS 36610 HAS SOUPS 36563 WITH SCORE 36675.287
AT ITER 9136 NEW BEST:: SOT 342191 SOS 111227 HAS SOPS 111031 HAS SOUS 36588 HAS SOUPS 36541 WITH SCORE 36652.227
AT ITER 9139 NEW BEST:: SOT 342192 SOS 111228 HAS SOPS 111032 HAS SOUS 36557 HAS SOUPS 36510 WITH SCORE 36621.228
AT ITER 9175 NEW BEST:: SOT 341990 SOS 110970 HAS SOPS 110774 HAS SOUS 36299 HAS SOUPS 36252 WITH SCORE 36362.97
AT ITER 9176 NEW BEST:: SOT 341987 SOS 110967 HAS SOPS 110771 HAS SOUS 36289 HAS SOUPS 36242 WITH SCORE 36352.967
AT ITER 9203 NEW BEST:: SOT 341979 SOS 110959 HAS SOPS 110763 HAS SOUS 36279 HAS SOUPS 36232 WITH SCORE 36342.959
AT ITER 9227 NEW BEST:: SOT 341954 SOS 110934 HAS SOPS 110738 HAS SOUS 36229 HAS SOUPS 36182 WITH SCORE 36292.934
AT ITER 9238 NEW BEST:: SOT 341934 SOS 110934 HAS SOPS 110729 HAS SOUS 36192 HAS SOUPS 36145 WITH SCORE 36255.934
AT ITER 9281 NEW BEST:: SOT 341927 SOS 110962 HAS SOPS 110750 HAS SOUS 36178 HAS SOUPS 36131 WITH SCORE 36241.962
AT ITER 9319 NEW BEST:: SOT 341925 SOS 110961 HAS SOPS 110749 HAS SOUS 36176 HAS SOUPS 36129 WITH SCORE 36239.961
AT ITER 9344 NEW BEST:: SOT 341897 SOS 110933 HAS SOPS 110721 HAS SOUS 36120 HAS SOUPS 36073 WITH SCORE 36183.933
AT ITER 9345 NEW BEST:: SOT 341881 SOS 110941 HAS SOPS 110729 HAS SOUS 36088 HAS SOUPS 36041 WITH SCORE 36151.941
AT ITER 9393 NEW BEST:: SOT 341871 SOS 110931 HAS SOPS 110719 HAS SOUS 36087 HAS SOUPS 36040 WITH SCORE 36150.931
AT ITER 9407 NEW BEST:: SOT 341865 SOS 110850 HAS SOPS 110638 HAS SOUS 36081 HAS SOUPS 36034 WITH SCORE 36144.85
AT ITER 9438 NEW BEST:: SOT 341865 SOS 110850 HAS SOPS 110638 HAS SOUS 36079 HAS SOUPS 36032 WITH SCORE 36142.85
AT ITER 9465 NEW BEST:: SOT 341830 SOS 110842 HAS SOPS 110630 HAS SOUS 36063 HAS SOUPS 36016 WITH SCORE 36126.842
AT ITER 9472 NEW BEST:: SOT 341752 SOS 110764 HAS SOPS 110552 HAS SOUS 35951 HAS SOUPS 35904 WITH SCORE 36014.764
AT ITER 9483 NEW BEST:: SOT 341736 SOS 110759 HAS SOPS 110547 HAS SOUS 35941 HAS SOUPS 35894 WITH SCORE 36004.759
AT ITER 9499 NEW BEST:: SOT 341736 SOS 110759 HAS SOPS 110547 HAS SOUS 35932 HAS SOUPS 35885 WITH SCORE 35995.759
AT ITER 9513 NEW BEST:: SOT 341736 SOS 110759 HAS SOPS 110547 HAS SOUS 35920 HAS SOUPS 35873 WITH SCORE 35983.759
AT ITER 9540 NEW BEST:: SOT 341730 SOS 110753 HAS SOPS 110541 HAS SOUS 35914 HAS SOUPS 35867 WITH SCORE 35977.753
AT ITER 9551 NEW BEST:: SOT 341725 SOS 110748 HAS SOPS 110536 HAS SOUS 35904 HAS SOUPS 35857 WITH SCORE 35967.748
AT ITER 9620 NEW BEST:: SOT 341701 SOS 110724 HAS SOPS 110512 HAS SOUS 35859 HAS SOUPS 35812 WITH SCORE 35922.724
AT ITER 9621 NEW BEST:: SOT 341692 SOS 110715 HAS SOPS 110503 HAS SOUS 35850 HAS SOUPS 35803 WITH SCORE 35913.715
AT ITER 9673 NEW BEST:: SOT 341695 SOS 110718 HAS SOPS 110506 HAS SOUS 35847 HAS SOUPS 35800 WITH SCORE 35910.718
AT ITER 9695 NEW BEST:: SOT 341704 SOS 110727 HAS SOPS 110515 HAS SOUS 35840 HAS SOUPS 35793 WITH SCORE 35903.727
AT ITER 9781 NEW BEST:: SOT 341688 SOS 110713 HAS SOPS 110501 HAS SOUS 35819 HAS SOUPS 35772 WITH SCORE 35882.713
AT ITER 9795 NEW BEST:: SOT 341686 SOS 110711 HAS SOPS 110499 HAS SOUS 35818 HAS SOUPS 35771 WITH SCORE 35881.711
AT ITER 9796 NEW BEST:: SOT 341706 SOS 110768 HAS SOPS 110556 HAS SOUS 35785 HAS SOUPS 35738 WITH SCORE 35848.768
AT ITER 9817 NEW BEST:: SOT 341700 SOS 110762 HAS SOPS 110550 HAS SOUS 35779 HAS SOUPS 35732 WITH SCORE 35842.762
AT ITER 9889 NEW BEST:: SOT 341700 SOS 110762 HAS SOPS 110550 HAS SOUS 35773 HAS SOUPS 35726 WITH SCORE 35836.762
AT ITER 9892 NEW BEST:: SOT 341632 SOS 110740 HAS SOPS 110528 HAS SOUS 35729 HAS SOUPS 35682 WITH SCORE 35792.74

BK_TIME_CONFINEMENT_REACHED

--------------------
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="PolyORBNT-PT-S05J30"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is PolyORBNT-PT-S05J30, 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 r123-tajo-158961355000648"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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