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.r063-tajo-158922807800648.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 DiscoveryGPU-PT-09b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807800648
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 236K
-rw-r--r-- 1 mcc users 3.4K Mar 31 06:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 31 06:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 29 23:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 29 23:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 28 14:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 27 07:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 27 07:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 68K 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 1589363410098

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

Filename model.pnml
Petri model created: 268 places, 284 transitions, 740 arcs.
AT ITER 0 NEW BEST:: SOT 52914 SOS 24985 HAS SOPS 24985 HAS SOUS 22206 HAS SOUPS 22206 WITH SCORE 22230.985
AT ITER 2 NEW BEST:: SOT 52842 SOS 24767 HAS SOPS 24767 HAS SOUS 22062 HAS SOUPS 22062 WITH SCORE 22086.767
AT ITER 6 NEW BEST:: SOT 52793 SOS 24690 HAS SOPS 24690 HAS SOUS 22012 HAS SOUPS 22012 WITH SCORE 22036.69
AT ITER 10 NEW BEST:: SOT 52767 SOS 24638 HAS SOPS 24638 HAS SOUS 21960 HAS SOUPS 21960 WITH SCORE 21984.638
AT ITER 11 NEW BEST:: SOT 52679 SOS 24550 HAS SOPS 24550 HAS SOUS 21872 HAS SOUPS 21872 WITH SCORE 21896.55
AT ITER 14 NEW BEST:: SOT 52554 SOS 24403 HAS SOPS 24403 HAS SOUS 21726 HAS SOUPS 21726 WITH SCORE 21750.403
AT ITER 23 NEW BEST:: SOT 52552 SOS 24395 HAS SOPS 24395 HAS SOUS 21724 HAS SOUPS 21724 WITH SCORE 21748.395
AT ITER 27 NEW BEST:: SOT 52473 SOS 24374 HAS SOPS 24374 HAS SOUS 21661 HAS SOUPS 21661 WITH SCORE 21685.374
AT ITER 29 NEW BEST:: SOT 52473 SOS 24336 HAS SOPS 24336 HAS SOUS 21659 HAS SOUPS 21659 WITH SCORE 21683.336
AT ITER 32 NEW BEST:: SOT 52383 SOS 24251 HAS SOPS 24251 HAS SOUS 21622 HAS SOUPS 21622 WITH SCORE 21646.251
AT ITER 44 NEW BEST:: SOT 52372 SOS 24124 HAS SOPS 24124 HAS SOUS 21599 HAS SOUPS 21599 WITH SCORE 21623.124
AT ITER 45 NEW BEST:: SOT 52341 SOS 24031 HAS SOPS 24031 HAS SOUS 21536 HAS SOUPS 21536 WITH SCORE 21560.031
AT ITER 47 NEW BEST:: SOT 50149 SOS 22915 HAS SOPS 22915 HAS SOUS 19457 HAS SOUPS 19457 WITH SCORE 19479.915
AT ITER 48 NEW BEST:: SOT 50106 SOS 22853 HAS SOPS 22853 HAS SOUS 19399 HAS SOUPS 19399 WITH SCORE 19421.853
AT ITER 49 NEW BEST:: SOT 49982 SOS 22616 HAS SOPS 22616 HAS SOUS 19206 HAS SOUPS 19206 WITH SCORE 19228.616
AT ITER 58 NEW BEST:: SOT 49796 SOS 24300 HAS SOPS 24300 HAS SOUS 19139 HAS SOUPS 19139 WITH SCORE 19163.3
AT ITER 65 NEW BEST:: SOT 49741 SOS 24245 HAS SOPS 24245 HAS SOUS 19083 HAS SOUPS 19083 WITH SCORE 19107.245
AT ITER 68 NEW BEST:: SOT 49714 SOS 24321 HAS SOPS 24321 HAS SOUS 19070 HAS SOUPS 19070 WITH SCORE 19094.321
AT ITER 74 NEW BEST:: SOT 49687 SOS 24107 HAS SOPS 24107 HAS SOUS 18896 HAS SOUPS 18896 WITH SCORE 18920.107
AT ITER 85 NEW BEST:: SOT 49624 SOS 23879 HAS SOPS 23879 HAS SOUS 18770 HAS SOUPS 18770 WITH SCORE 18793.879
AT ITER 87 NEW BEST:: SOT 49553 SOS 23839 HAS SOPS 23839 HAS SOUS 18698 HAS SOUPS 18698 WITH SCORE 18721.839
AT ITER 94 NEW BEST:: SOT 49528 SOS 23789 HAS SOPS 23789 HAS SOUS 18654 HAS SOUPS 18654 WITH SCORE 18677.789
AT ITER 108 NEW BEST:: SOT 49521 SOS 23775 HAS SOPS 23775 HAS SOUS 18640 HAS SOUPS 18640 WITH SCORE 18663.775
AT ITER 123 NEW BEST:: SOT 49521 SOS 23775 HAS SOPS 23775 HAS SOUS 18612 HAS SOUPS 18612 WITH SCORE 18635.775
AT ITER 124 NEW BEST:: SOT 49501 SOS 23719 HAS SOPS 23719 HAS SOUS 18590 HAS SOUPS 18590 WITH SCORE 18613.719
AT ITER 128 NEW BEST:: SOT 49501 SOS 23664 HAS SOPS 23664 HAS SOUS 18535 HAS SOUPS 18535 WITH SCORE 18558.664
AT ITER 130 NEW BEST:: SOT 49452 SOS 23609 HAS SOPS 23609 HAS SOUS 18486 HAS SOUPS 18486 WITH SCORE 18509.609
AT ITER 138 NEW BEST:: SOT 49439 SOS 23596 HAS SOPS 23596 HAS SOUS 18460 HAS SOUPS 18460 WITH SCORE 18483.596
AT ITER 141 NEW BEST:: SOT 49439 SOS 23595 HAS SOPS 23595 HAS SOUS 18459 HAS SOUPS 18459 WITH SCORE 18482.595
AT ITER 147 NEW BEST:: SOT 49357 SOS 23343 HAS SOPS 23343 HAS SOUS 18208 HAS SOUPS 18208 WITH SCORE 18231.343
AT ITER 148 NEW BEST:: SOT 49356 SOS 23341 HAS SOPS 23341 HAS SOUS 18206 HAS SOUPS 18206 WITH SCORE 18229.341
AT ITER 156 NEW BEST:: SOT 49230 SOS 23089 HAS SOPS 23089 HAS SOUS 18011 HAS SOUPS 18011 WITH SCORE 18034.089
AT ITER 158 NEW BEST:: SOT 49230 SOS 22974 HAS SOPS 22974 HAS SOUS 17996 HAS SOUPS 17996 WITH SCORE 18018.974
AT ITER 159 NEW BEST:: SOT 49181 SOS 22808 HAS SOPS 22808 HAS SOUS 17844 HAS SOUPS 17844 WITH SCORE 17866.808
AT ITER 160 NEW BEST:: SOT 49003 SOS 22536 HAS SOPS 22536 HAS SOUS 17581 HAS SOUPS 17581 WITH SCORE 17603.536
AT ITER 163 NEW BEST:: SOT 48865 SOS 22415 HAS SOPS 22415 HAS SOUS 17560 HAS SOUPS 17560 WITH SCORE 17582.415
AT ITER 166 NEW BEST:: SOT 48831 SOS 22381 HAS SOPS 22381 HAS SOUS 17526 HAS SOUPS 17526 WITH SCORE 17548.381
AT ITER 185 NEW BEST:: SOT 48766 SOS 22293 HAS SOPS 22293 HAS SOUS 17518 HAS SOUPS 17518 WITH SCORE 17540.293
AT ITER 192 NEW BEST:: SOT 48764 SOS 22290 HAS SOPS 22290 HAS SOUS 17515 HAS SOUPS 17515 WITH SCORE 17537.29
AT ITER 193 NEW BEST:: SOT 48641 SOS 24524 HAS SOPS 24524 HAS SOUS 17468 HAS SOUPS 17468 WITH SCORE 17492.524
AT ITER 197 NEW BEST:: SOT 48639 SOS 24522 HAS SOPS 24522 HAS SOUS 17411 HAS SOUPS 17411 WITH SCORE 17435.522
AT ITER 199 NEW BEST:: SOT 48646 SOS 24519 HAS SOPS 24519 HAS SOUS 17408 HAS SOUPS 17408 WITH SCORE 17432.519
AT ITER 210 NEW BEST:: SOT 48610 SOS 24429 HAS SOPS 24429 HAS SOUS 17336 HAS SOUPS 17336 WITH SCORE 17360.429
AT ITER 211 NEW BEST:: SOT 48565 SOS 24384 HAS SOPS 24384 HAS SOUS 17291 HAS SOUPS 17291 WITH SCORE 17315.384
AT ITER 213 NEW BEST:: SOT 48545 SOS 24172 HAS SOPS 24172 HAS SOUS 17251 HAS SOUPS 17251 WITH SCORE 17275.172
AT ITER 219 NEW BEST:: SOT 48594 SOS 24166 HAS SOPS 24166 HAS SOUS 17245 HAS SOUPS 17245 WITH SCORE 17269.166
AT ITER 240 NEW BEST:: SOT 48497 SOS 23972 HAS SOPS 23972 HAS SOUS 17098 HAS SOUPS 17098 WITH SCORE 17121.972
AT ITER 244 NEW BEST:: SOT 48466 SOS 23910 HAS SOPS 23910 HAS SOUS 17036 HAS SOUPS 17036 WITH SCORE 17059.91
AT ITER 272 NEW BEST:: SOT 48430 SOS 23859 HAS SOPS 23859 HAS SOUS 17019 HAS SOUPS 17019 WITH SCORE 17042.859
AT ITER 277 NEW BEST:: SOT 48433 SOS 23845 HAS SOPS 23845 HAS SOUS 17008 HAS SOUPS 17008 WITH SCORE 17031.845
AT ITER 283 NEW BEST:: SOT 48362 SOS 23785 HAS SOPS 23785 HAS SOUS 16948 HAS SOUPS 16948 WITH SCORE 16971.785
AT ITER 286 NEW BEST:: SOT 48350 SOS 23695 HAS SOPS 23695 HAS SOUS 16927 HAS SOUPS 16927 WITH SCORE 16950.695
AT ITER 287 NEW BEST:: SOT 48348 SOS 23687 HAS SOPS 23687 HAS SOUS 16925 HAS SOUPS 16925 WITH SCORE 16948.687
AT ITER 290 NEW BEST:: SOT 48385 SOS 23653 HAS SOPS 23653 HAS SOUS 16917 HAS SOUPS 16917 WITH SCORE 16940.653
AT ITER 307 NEW BEST:: SOT 48385 SOS 23641 HAS SOPS 23641 HAS SOUS 16911 HAS SOUPS 16911 WITH SCORE 16934.641
AT ITER 309 NEW BEST:: SOT 48384 SOS 23639 HAS SOPS 23639 HAS SOUS 16908 HAS SOUPS 16908 WITH SCORE 16931.639
AT ITER 320 NEW BEST:: SOT 48384 SOS 23628 HAS SOPS 23628 HAS SOUS 16907 HAS SOUPS 16907 WITH SCORE 16930.628
AT ITER 340 NEW BEST:: SOT 48292 SOS 23444 HAS SOPS 23444 HAS SOUS 16769 HAS SOUPS 16769 WITH SCORE 16792.444
AT ITER 354 NEW BEST:: SOT 48279 SOS 23405 HAS SOPS 23405 HAS SOUS 16743 HAS SOUPS 16743 WITH SCORE 16766.405
AT ITER 360 NEW BEST:: SOT 48259 SOS 23405 HAS SOPS 23405 HAS SOUS 16723 HAS SOUPS 16723 WITH SCORE 16746.405
AT ITER 361 NEW BEST:: SOT 48258 SOS 23403 HAS SOPS 23403 HAS SOUS 16721 HAS SOUPS 16721 WITH SCORE 16744.403
AT ITER 364 NEW BEST:: SOT 48264 SOS 23363 HAS SOPS 23363 HAS SOUS 16687 HAS SOUPS 16687 WITH SCORE 16710.363
AT ITER 367 NEW BEST:: SOT 48241 SOS 23317 HAS SOPS 23317 HAS SOUS 16664 HAS SOUPS 16664 WITH SCORE 16687.317
AT ITER 372 NEW BEST:: SOT 48244 SOS 23314 HAS SOPS 23314 HAS SOUS 16661 HAS SOUPS 16661 WITH SCORE 16684.314
AT ITER 376 NEW BEST:: SOT 48218 SOS 23262 HAS SOPS 23262 HAS SOUS 16635 HAS SOUPS 16635 WITH SCORE 16658.262
AT ITER 381 NEW BEST:: SOT 48216 SOS 23159 HAS SOPS 23159 HAS SOUS 16631 HAS SOUPS 16631 WITH SCORE 16654.159
AT ITER 385 NEW BEST:: SOT 48177 SOS 23120 HAS SOPS 23120 HAS SOUS 16592 HAS SOUPS 16592 WITH SCORE 16615.12
AT ITER 387 NEW BEST:: SOT 48122 SOS 23011 HAS SOPS 23011 HAS SOUS 16561 HAS SOUPS 16561 WITH SCORE 16584.011
AT ITER 403 NEW BEST:: SOT 48122 SOS 23011 HAS SOPS 23011 HAS SOUS 16558 HAS SOUPS 16558 WITH SCORE 16581.011
AT ITER 404 NEW BEST:: SOT 48068 SOS 22917 HAS SOPS 22917 HAS SOUS 16556 HAS SOUPS 16556 WITH SCORE 16578.917
AT ITER 412 NEW BEST:: SOT 48057 SOS 22895 HAS SOPS 22895 HAS SOUS 16545 HAS SOUPS 16545 WITH SCORE 16567.895
AT ITER 415 NEW BEST:: SOT 47983 SOS 22797 HAS SOPS 22797 HAS SOUS 16497 HAS SOUPS 16497 WITH SCORE 16519.797
AT ITER 416 NEW BEST:: SOT 47871 SOS 22603 HAS SOPS 22603 HAS SOUS 16333 HAS SOUPS 16333 WITH SCORE 16355.603
AT ITER 422 NEW BEST:: SOT 47817 SOS 22573 HAS SOPS 22573 HAS SOUS 16303 HAS SOUPS 16303 WITH SCORE 16325.573
AT ITER 423 NEW BEST:: SOT 47822 SOS 22583 HAS SOPS 22583 HAS SOUS 16272 HAS SOUPS 16272 WITH SCORE 16294.583
AT ITER 434 NEW BEST:: SOT 47785 SOS 22436 HAS SOPS 22436 HAS SOUS 16183 HAS SOUPS 16183 WITH SCORE 16205.436
AT ITER 445 NEW BEST:: SOT 47748 SOS 22363 HAS SOPS 22363 HAS SOUS 16109 HAS SOUPS 16109 WITH SCORE 16131.363
AT ITER 448 NEW BEST:: SOT 47743 SOS 22358 HAS SOPS 22358 HAS SOUS 16104 HAS SOUPS 16104 WITH SCORE 16126.358
AT ITER 451 NEW BEST:: SOT 47725 SOS 22371 HAS SOPS 22371 HAS SOUS 16094 HAS SOUPS 16094 WITH SCORE 16116.371
AT ITER 453 NEW BEST:: SOT 47671 SOS 22330 HAS SOPS 22330 HAS SOUS 16053 HAS SOUPS 16053 WITH SCORE 16075.33
AT ITER 456 NEW BEST:: SOT 47655 SOS 22298 HAS SOPS 22298 HAS SOUS 16029 HAS SOUPS 16029 WITH SCORE 16051.298
AT ITER 470 NEW BEST:: SOT 47678 SOS 22251 HAS SOPS 22251 HAS SOUS 16020 HAS SOUPS 16020 WITH SCORE 16042.251
AT ITER 486 NEW BEST:: SOT 47678 SOS 22249 HAS SOPS 22249 HAS SOUS 16020 HAS SOUPS 16020 WITH SCORE 16042.249
AT ITER 489 NEW BEST:: SOT 47675 SOS 22240 HAS SOPS 22240 HAS SOUS 16017 HAS SOUPS 16017 WITH SCORE 16039.24
AT ITER 495 NEW BEST:: SOT 47224 SOS 22707 HAS SOPS 22707 HAS SOUS 15749 HAS SOUPS 15749 WITH SCORE 15771.707
AT ITER 497 NEW BEST:: SOT 47184 SOS 22627 HAS SOPS 22627 HAS SOUS 15726 HAS SOUPS 15726 WITH SCORE 15748.627
AT ITER 500 NEW BEST:: SOT 47156 SOS 22571 HAS SOPS 22571 HAS SOUS 15684 HAS SOUPS 15684 WITH SCORE 15706.571
AT ITER 503 NEW BEST:: SOT 47074 SOS 22541 HAS SOPS 22541 HAS SOUS 15648 HAS SOUPS 15648 WITH SCORE 15670.541
AT ITER 508 NEW BEST:: SOT 47073 SOS 22525 HAS SOPS 22525 HAS SOUS 15631 HAS SOUPS 15631 WITH SCORE 15653.525
AT ITER 509 NEW BEST:: SOT 46996 SOS 22371 HAS SOPS 22371 HAS SOUS 15554 HAS SOUPS 15554 WITH SCORE 15576.371
AT ITER 516 NEW BEST:: SOT 46963 SOS 22305 HAS SOPS 22305 HAS SOUS 15521 HAS SOUPS 15521 WITH SCORE 15543.305
AT ITER 523 NEW BEST:: SOT 46956 SOS 22274 HAS SOPS 22274 HAS SOUS 15507 HAS SOUPS 15507 WITH SCORE 15529.274
AT ITER 528 NEW BEST:: SOT 46955 SOS 22272 HAS SOPS 22272 HAS SOUS 15505 HAS SOUPS 15505 WITH SCORE 15527.272
AT ITER 532 NEW BEST:: SOT 46909 SOS 22206 HAS SOPS 22206 HAS SOUS 15448 HAS SOUPS 15448 WITH SCORE 15470.206
AT ITER 544 NEW BEST:: SOT 46877 SOS 22142 HAS SOPS 22142 HAS SOUS 15416 HAS SOUPS 15416 WITH SCORE 15438.142
AT ITER 546 NEW BEST:: SOT 46876 SOS 22140 HAS SOPS 22140 HAS SOUS 15414 HAS SOUPS 15414 WITH SCORE 15436.14
AT ITER 547 NEW BEST:: SOT 46858 SOS 22104 HAS SOPS 22104 HAS SOUS 15396 HAS SOUPS 15396 WITH SCORE 15418.104
AT ITER 557 NEW BEST:: SOT 46796 SOS 21980 HAS SOPS 21980 HAS SOUS 15327 HAS SOUPS 15327 WITH SCORE 15348.98
AT ITER 561 NEW BEST:: SOT 46795 SOS 21978 HAS SOPS 21978 HAS SOUS 15325 HAS SOUPS 15325 WITH SCORE 15346.978
AT ITER 564 NEW BEST:: SOT 46780 SOS 21948 HAS SOPS 21948 HAS SOUS 15310 HAS SOUPS 15310 WITH SCORE 15331.948
AT ITER 566 NEW BEST:: SOT 46821 SOS 21984 HAS SOPS 21984 HAS SOUS 15308 HAS SOUPS 15308 WITH SCORE 15329.984
AT ITER 570 NEW BEST:: SOT 46821 SOS 21981 HAS SOPS 21981 HAS SOUS 15305 HAS SOUPS 15305 WITH SCORE 15326.981
AT ITER 572 NEW BEST:: SOT 46806 SOS 21989 HAS SOPS 21989 HAS SOUS 15207 HAS SOUPS 15207 WITH SCORE 15228.989
AT ITER 573 NEW BEST:: SOT 46806 SOS 21987 HAS SOPS 21987 HAS SOUS 15207 HAS SOUPS 15207 WITH SCORE 15228.987
AT ITER 588 NEW BEST:: SOT 46790 SOS 21963 HAS SOPS 21963 HAS SOUS 15183 HAS SOUPS 15183 WITH SCORE 15204.963
AT ITER 596 NEW BEST:: SOT 46722 SOS 21895 HAS SOPS 21895 HAS SOUS 15115 HAS SOUPS 15115 WITH SCORE 15136.895
AT ITER 603 NEW BEST:: SOT 46718 SOS 21914 HAS SOPS 21914 HAS SOUS 15107 HAS SOUPS 15107 WITH SCORE 15128.914
AT ITER 623 NEW BEST:: SOT 46691 SOS 21903 HAS SOPS 21903 HAS SOUS 15096 HAS SOUPS 15096 WITH SCORE 15117.903
AT ITER 631 NEW BEST:: SOT 46691 SOS 21844 HAS SOPS 21844 HAS SOUS 15054 HAS SOUPS 15054 WITH SCORE 15075.844
AT ITER 641 NEW BEST:: SOT 46688 SOS 21841 HAS SOPS 21841 HAS SOUS 15049 HAS SOUPS 15049 WITH SCORE 15070.841
AT ITER 644 NEW BEST:: SOT 46677 SOS 21735 HAS SOPS 21735 HAS SOUS 14955 HAS SOUPS 14955 WITH SCORE 14976.735
AT ITER 646 NEW BEST:: SOT 46669 SOS 21719 HAS SOPS 21719 HAS SOUS 14943 HAS SOUPS 14943 WITH SCORE 14964.719
AT ITER 647 NEW BEST:: SOT 46658 SOS 21746 HAS SOPS 21746 HAS SOUS 14937 HAS SOUPS 14937 WITH SCORE 14958.746
AT ITER 649 NEW BEST:: SOT 46656 SOS 21742 HAS SOPS 21742 HAS SOUS 14933 HAS SOUPS 14933 WITH SCORE 14954.742
AT ITER 651 NEW BEST:: SOT 46635 SOS 21700 HAS SOPS 21700 HAS SOUS 14891 HAS SOUPS 14891 WITH SCORE 14912.7
AT ITER 652 NEW BEST:: SOT 46629 SOS 21688 HAS SOPS 21688 HAS SOUS 14884 HAS SOUPS 14884 WITH SCORE 14905.688
AT ITER 654 NEW BEST:: SOT 46608 SOS 21646 HAS SOPS 21646 HAS SOUS 14842 HAS SOUPS 14842 WITH SCORE 14863.646
AT ITER 656 NEW BEST:: SOT 46600 SOS 21630 HAS SOPS 21630 HAS SOUS 14788 HAS SOUPS 14788 WITH SCORE 14809.63
AT ITER 658 NEW BEST:: SOT 46587 SOS 21578 HAS SOPS 21578 HAS SOUS 14763 HAS SOUPS 14763 WITH SCORE 14784.578
AT ITER 664 NEW BEST:: SOT 46592 SOS 21542 HAS SOPS 21542 HAS SOUS 14751 HAS SOUPS 14751 WITH SCORE 14772.542
AT ITER 671 NEW BEST:: SOT 46592 SOS 20938 HAS SOPS 20938 HAS SOUS 14751 HAS SOUPS 14751 WITH SCORE 14771.938
AT ITER 673 NEW BEST:: SOT 46585 SOS 20869 HAS SOPS 20869 HAS SOUS 14737 HAS SOUPS 14737 WITH SCORE 14757.869
AT ITER 675 NEW BEST:: SOT 46582 SOS 20875 HAS SOPS 20875 HAS SOUS 14734 HAS SOUPS 14734 WITH SCORE 14754.875
AT ITER 685 NEW BEST:: SOT 46582 SOS 20875 HAS SOPS 20875 HAS SOUS 14732 HAS SOUPS 14732 WITH SCORE 14752.875
AT ITER 700 NEW BEST:: SOT 46586 SOS 20868 HAS SOPS 20868 HAS SOUS 14725 HAS SOUPS 14725 WITH SCORE 14745.868
AT ITER 705 NEW BEST:: SOT 46554 SOS 20804 HAS SOPS 20804 HAS SOUS 14710 HAS SOUPS 14710 WITH SCORE 14730.804
AT ITER 707 NEW BEST:: SOT 46541 SOS 20783 HAS SOPS 20783 HAS SOUS 14705 HAS SOUPS 14705 WITH SCORE 14725.783
AT ITER 715 NEW BEST:: SOT 46469 SOS 20639 HAS SOPS 20639 HAS SOUS 14671 HAS SOUPS 14671 WITH SCORE 14691.639
AT ITER 717 NEW BEST:: SOT 46443 SOS 20587 HAS SOPS 20587 HAS SOUS 14569 HAS SOUPS 14569 WITH SCORE 14589.587
AT ITER 722 NEW BEST:: SOT 46430 SOS 20561 HAS SOPS 20561 HAS SOUS 14543 HAS SOUPS 14543 WITH SCORE 14563.561
AT ITER 726 NEW BEST:: SOT 46430 SOS 20561 HAS SOPS 20561 HAS SOUS 14540 HAS SOUPS 14540 WITH SCORE 14560.561
AT ITER 730 NEW BEST:: SOT 46430 SOS 20561 HAS SOPS 20561 HAS SOUS 14538 HAS SOUPS 14538 WITH SCORE 14558.561
AT ITER 747 NEW BEST:: SOT 46379 SOS 20672 HAS SOPS 20672 HAS SOUS 14522 HAS SOUPS 14522 WITH SCORE 14542.672
AT ITER 748 NEW BEST:: SOT 46362 SOS 20638 HAS SOPS 20638 HAS SOUS 14483 HAS SOUPS 14483 WITH SCORE 14503.638
AT ITER 756 NEW BEST:: SOT 46356 SOS 20626 HAS SOPS 20626 HAS SOUS 14429 HAS SOUPS 14429 WITH SCORE 14449.626
AT ITER 759 NEW BEST:: SOT 46356 SOS 20618 HAS SOPS 20618 HAS SOUS 14429 HAS SOUPS 14429 WITH SCORE 14449.618
AT ITER 766 NEW BEST:: SOT 46354 SOS 20606 HAS SOPS 20606 HAS SOUS 14425 HAS SOUPS 14425 WITH SCORE 14445.606
AT ITER 768 NEW BEST:: SOT 46284 SOS 20540 HAS SOPS 20540 HAS SOUS 14366 HAS SOUPS 14366 WITH SCORE 14386.54
AT ITER 772 NEW BEST:: SOT 46259 SOS 20490 HAS SOPS 20490 HAS SOUS 14316 HAS SOUPS 14316 WITH SCORE 14336.49
AT ITER 777 NEW BEST:: SOT 46253 SOS 20488 HAS SOPS 20488 HAS SOUS 14314 HAS SOUPS 14314 WITH SCORE 14334.488
AT ITER 778 NEW BEST:: SOT 46245 SOS 20472 HAS SOPS 20472 HAS SOUS 14304 HAS SOUPS 14304 WITH SCORE 14324.472
AT ITER 788 NEW BEST:: SOT 46194 SOS 20396 HAS SOPS 20396 HAS SOUS 14252 HAS SOUPS 14252 WITH SCORE 14272.396
AT ITER 805 NEW BEST:: SOT 46201 SOS 20380 HAS SOPS 20380 HAS SOUS 14236 HAS SOUPS 14236 WITH SCORE 14256.38
AT ITER 811 NEW BEST:: SOT 46201 SOS 20350 HAS SOPS 20350 HAS SOUS 14236 HAS SOUPS 14236 WITH SCORE 14256.35
AT ITER 812 NEW BEST:: SOT 46191 SOS 20276 HAS SOPS 20276 HAS SOUS 14178 HAS SOUPS 14178 WITH SCORE 14198.276
AT ITER 819 NEW BEST:: SOT 46182 SOS 20248 HAS SOPS 20248 HAS SOUS 14160 HAS SOUPS 14160 WITH SCORE 14180.248
AT ITER 825 NEW BEST:: SOT 46212 SOS 20263 HAS SOPS 20263 HAS SOUS 14157 HAS SOUPS 14157 WITH SCORE 14177.263
AT ITER 856 NEW BEST:: SOT 46212 SOS 20263 HAS SOPS 20263 HAS SOUS 14146 HAS SOUPS 14146 WITH SCORE 14166.263
AT ITER 857 NEW BEST:: SOT 46160 SOS 20159 HAS SOPS 20159 HAS SOUS 13995 HAS SOUPS 13995 WITH SCORE 14015.159
AT ITER 891 NEW BEST:: SOT 46160 SOS 20154 HAS SOPS 20154 HAS SOUS 13989 HAS SOUPS 13989 WITH SCORE 14009.154
AT ITER 894 NEW BEST:: SOT 46169 SOS 20165 HAS SOPS 20165 HAS SOUS 13977 HAS SOUPS 13977 WITH SCORE 13997.165
AT ITER 895 NEW BEST:: SOT 46169 SOS 20127 HAS SOPS 20127 HAS SOUS 13976 HAS SOUPS 13976 WITH SCORE 13996.127
AT ITER 900 NEW BEST:: SOT 46161 SOS 20127 HAS SOPS 20127 HAS SOUS 13960 HAS SOUPS 13960 WITH SCORE 13980.127
AT ITER 905 NEW BEST:: SOT 46133 SOS 20095 HAS SOPS 20095 HAS SOUS 13928 HAS SOUPS 13928 WITH SCORE 13948.095
AT ITER 908 NEW BEST:: SOT 46133 SOS 20092 HAS SOPS 20092 HAS SOUS 13928 HAS SOUPS 13928 WITH SCORE 13948.092
AT ITER 911 NEW BEST:: SOT 46133 SOS 20082 HAS SOPS 20082 HAS SOUS 13928 HAS SOUPS 13928 WITH SCORE 13948.082
AT ITER 916 NEW BEST:: SOT 46105 SOS 20026 HAS SOPS 20026 HAS SOUS 13875 HAS SOUPS 13875 WITH SCORE 13895.026
AT ITER 919 NEW BEST:: SOT 46100 SOS 20016 HAS SOPS 20016 HAS SOUS 13865 HAS SOUPS 13865 WITH SCORE 13885.016
AT ITER 920 NEW BEST:: SOT 46044 SOS 19910 HAS SOPS 19910 HAS SOUS 13814 HAS SOUPS 13814 WITH SCORE 13833.91
AT ITER 934 NEW BEST:: SOT 46033 SOS 19888 HAS SOPS 19888 HAS SOUS 13792 HAS SOUPS 13792 WITH SCORE 13811.888
AT ITER 936 NEW BEST:: SOT 46033 SOS 19888 HAS SOPS 19888 HAS SOUS 13791 HAS SOUPS 13791 WITH SCORE 13810.888
AT ITER 937 NEW BEST:: SOT 46090 SOS 19938 HAS SOPS 19938 HAS SOUS 13731 HAS SOUPS 13731 WITH SCORE 13750.938
AT ITER 948 NEW BEST:: SOT 46090 SOS 19938 HAS SOPS 19938 HAS SOUS 13724 HAS SOUPS 13724 WITH SCORE 13743.938
AT ITER 950 NEW BEST:: SOT 46116 SOS 19937 HAS SOPS 19937 HAS SOUS 13697 HAS SOUPS 13697 WITH SCORE 13716.937
AT ITER 960 NEW BEST:: SOT 46068 SOS 19805 HAS SOPS 19805 HAS SOUS 13685 HAS SOUPS 13685 WITH SCORE 13704.805
AT ITER 964 NEW BEST:: SOT 46139 SOS 19830 HAS SOPS 19830 HAS SOUS 13623 HAS SOUPS 13623 WITH SCORE 13642.83
AT ITER 966 NEW BEST:: SOT 46045 SOS 19685 HAS SOPS 19685 HAS SOUS 13435 HAS SOUPS 13435 WITH SCORE 13454.685
AT ITER 976 NEW BEST:: SOT 46054 SOS 19694 HAS SOPS 19694 HAS SOUS 13430 HAS SOUPS 13430 WITH SCORE 13449.694
AT ITER 980 NEW BEST:: SOT 46055 SOS 19685 HAS SOPS 19685 HAS SOUS 13421 HAS SOUPS 13421 WITH SCORE 13440.685
AT ITER 999 NEW BEST:: SOT 46054 SOS 19641 HAS SOPS 19641 HAS SOUS 13377 HAS SOUPS 13377 WITH SCORE 13396.641
AT ITER 1010 NEW BEST:: SOT 46018 SOS 19605 HAS SOPS 19605 HAS SOUS 13320 HAS SOUPS 13320 WITH SCORE 13339.605
AT ITER 1028 NEW BEST:: SOT 45984 SOS 19512 HAS SOPS 19512 HAS SOUS 13239 HAS SOUPS 13239 WITH SCORE 13258.512
AT ITER 1047 NEW BEST:: SOT 45976 SOS 19488 HAS SOPS 19488 HAS SOUS 13225 HAS SOUPS 13225 WITH SCORE 13244.488
AT ITER 1068 NEW BEST:: SOT 45971 SOS 19476 HAS SOPS 19476 HAS SOUS 13200 HAS SOUPS 13200 WITH SCORE 13219.476
AT ITER 1075 NEW BEST:: SOT 45983 SOS 19488 HAS SOPS 19488 HAS SOUS 13195 HAS SOUPS 13195 WITH SCORE 13214.488
AT ITER 1085 NEW BEST:: SOT 45638 SOS 19143 HAS SOPS 19143 HAS SOUS 12849 HAS SOUPS 12849 WITH SCORE 12868.143
AT ITER 1088 NEW BEST:: SOT 45636 SOS 19141 HAS SOPS 19141 HAS SOUS 12847 HAS SOUPS 12847 WITH SCORE 12866.141
AT ITER 1090 NEW BEST:: SOT 45594 SOS 19080 HAS SOPS 19080 HAS SOUS 12818 HAS SOUPS 12818 WITH SCORE 12837.08
AT ITER 1091 NEW BEST:: SOT 45548 SOS 19024 HAS SOPS 19024 HAS SOUS 12766 HAS SOUPS 12766 WITH SCORE 12785.024
AT ITER 1112 NEW BEST:: SOT 45583 SOS 19021 HAS SOPS 19021 HAS SOUS 12763 HAS SOUPS 12763 WITH SCORE 12782.021
AT ITER 1115 NEW BEST:: SOT 45570 SOS 19047 HAS SOPS 19047 HAS SOUS 12737 HAS SOUPS 12737 WITH SCORE 12756.047
AT ITER 1123 NEW BEST:: SOT 45543 SOS 18986 HAS SOPS 18986 HAS SOUS 12707 HAS SOUPS 12707 WITH SCORE 12725.986
AT ITER 1130 NEW BEST:: SOT 45530 SOS 18973 HAS SOPS 18973 HAS SOUS 12694 HAS SOUPS 12694 WITH SCORE 12712.973
AT ITER 1144 NEW BEST:: SOT 45521 SOS 18955 HAS SOPS 18955 HAS SOUS 12685 HAS SOUPS 12685 WITH SCORE 12703.955
AT ITER 1151 NEW BEST:: SOT 45497 SOS 18866 HAS SOPS 18866 HAS SOUS 12669 HAS SOUPS 12669 WITH SCORE 12687.866
AT ITER 1162 NEW BEST:: SOT 45494 SOS 18860 HAS SOPS 18860 HAS SOUS 12666 HAS SOUPS 12666 WITH SCORE 12684.86
AT ITER 1166 NEW BEST:: SOT 45492 SOS 18856 HAS SOPS 18856 HAS SOUS 12638 HAS SOUPS 12638 WITH SCORE 12656.856
AT ITER 1171 NEW BEST:: SOT 45480 SOS 18907 HAS SOPS 18907 HAS SOUS 12605 HAS SOUPS 12605 WITH SCORE 12623.907
AT ITER 1172 NEW BEST:: SOT 45445 SOS 18880 HAS SOPS 18880 HAS SOUS 12605 HAS SOUPS 12605 WITH SCORE 12623.88
AT ITER 1189 NEW BEST:: SOT 45423 SOS 18847 HAS SOPS 18847 HAS SOUS 12561 HAS SOUPS 12561 WITH SCORE 12579.847
AT ITER 1198 NEW BEST:: SOT 45385 SOS 18853 HAS SOPS 18853 HAS SOUS 12557 HAS SOUPS 12557 WITH SCORE 12575.853
AT ITER 1204 NEW BEST:: SOT 45357 SOS 18833 HAS SOPS 18833 HAS SOUS 12551 HAS SOUPS 12551 WITH SCORE 12569.833
AT ITER 1266 NEW BEST:: SOT 45350 SOS 18819 HAS SOPS 18819 HAS SOUS 12537 HAS SOUPS 12537 WITH SCORE 12555.819
AT ITER 1276 NEW BEST:: SOT 45336 SOS 18817 HAS SOPS 18817 HAS SOUS 12535 HAS SOUPS 12535 WITH SCORE 12553.817
AT ITER 1297 NEW BEST:: SOT 45336 SOS 18796 HAS SOPS 18796 HAS SOUS 12535 HAS SOUPS 12535 WITH SCORE 12553.796
AT ITER 1301 NEW BEST:: SOT 45316 SOS 18736 HAS SOPS 18736 HAS SOUS 12495 HAS SOUPS 12495 WITH SCORE 12513.736
AT ITER 1302 NEW BEST:: SOT 45258 SOS 18620 HAS SOPS 18620 HAS SOUS 12379 HAS SOUPS 12379 WITH SCORE 12397.62
AT ITER 1309 NEW BEST:: SOT 45272 SOS 16668 HAS SOPS 16668 HAS SOUS 12340 HAS SOUPS 12340 WITH SCORE 12356.668
AT ITER 1319 NEW BEST:: SOT 45282 SOS 16688 HAS SOPS 16688 HAS SOUS 12339 HAS SOUPS 12339 WITH SCORE 12355.688
AT ITER 1336 NEW BEST:: SOT 45252 SOS 16644 HAS SOPS 16644 HAS SOUS 12304 HAS SOUPS 12304 WITH SCORE 12320.644
AT ITER 1337 NEW BEST:: SOT 45211 SOS 16562 HAS SOPS 16562 HAS SOUS 12222 HAS SOUPS 12222 WITH SCORE 12238.562
AT ITER 1351 NEW BEST:: SOT 45205 SOS 16550 HAS SOPS 16550 HAS SOUS 12211 HAS SOUPS 12211 WITH SCORE 12227.55
AT ITER 1356 NEW BEST:: SOT 45205 SOS 16550 HAS SOPS 16550 HAS SOUS 12115 HAS SOUPS 12115 WITH SCORE 12131.55
AT ITER 1368 NEW BEST:: SOT 45197 SOS 16534 HAS SOPS 16534 HAS SOUS 12099 HAS SOUPS 12099 WITH SCORE 12115.534
AT ITER 1370 NEW BEST:: SOT 45183 SOS 16506 HAS SOPS 16506 HAS SOUS 12071 HAS SOUPS 12071 WITH SCORE 12087.506
AT ITER 1382 NEW BEST:: SOT 45174 SOS 16479 HAS SOPS 16479 HAS SOUS 12059 HAS SOUPS 12059 WITH SCORE 12075.479
AT ITER 1385 NEW BEST:: SOT 45159 SOS 16473 HAS SOPS 16473 HAS SOUS 12053 HAS SOUPS 12053 WITH SCORE 12069.473
AT ITER 1386 NEW BEST:: SOT 45159 SOS 16447 HAS SOPS 16447 HAS SOUS 12053 HAS SOUPS 12053 WITH SCORE 12069.447
AT ITER 1389 NEW BEST:: SOT 45152 SOS 16426 HAS SOPS 16426 HAS SOUS 12039 HAS SOUPS 12039 WITH SCORE 12055.426
AT ITER 1394 NEW BEST:: SOT 45152 SOS 16426 HAS SOPS 16426 HAS SOUS 12034 HAS SOUPS 12034 WITH SCORE 12050.426
AT ITER 1435 NEW BEST:: SOT 45152 SOS 16424 HAS SOPS 16424 HAS SOUS 12034 HAS SOUPS 12034 WITH SCORE 12050.424
AT ITER 1453 NEW BEST:: SOT 45107 SOS 16379 HAS SOPS 16379 HAS SOUS 12034 HAS SOUPS 12034 WITH SCORE 12050.379
AT ITER 1455 NEW BEST:: SOT 45106 SOS 16377 HAS SOPS 16377 HAS SOUS 12032 HAS SOUPS 12032 WITH SCORE 12048.377
AT ITER 1465 NEW BEST:: SOT 45106 SOS 16370 HAS SOPS 16370 HAS SOUS 12025 HAS SOUPS 12025 WITH SCORE 12041.37
AT ITER 1468 NEW BEST:: SOT 45140 SOS 16344 HAS SOPS 16344 HAS SOUS 11999 HAS SOUPS 11999 WITH SCORE 12015.344
AT ITER 1475 NEW BEST:: SOT 45050 SOS 16457 HAS SOPS 16457 HAS SOUS 11889 HAS SOUPS 11889 WITH SCORE 11905.457
AT ITER 1485 NEW BEST:: SOT 45042 SOS 16435 HAS SOPS 16435 HAS SOUS 11873 HAS SOUPS 11873 WITH SCORE 11889.435
AT ITER 1486 NEW BEST:: SOT 45026 SOS 16411 HAS SOPS 16411 HAS SOUS 11849 HAS SOUPS 11849 WITH SCORE 11865.411
AT ITER 1504 NEW BEST:: SOT 45013 SOS 16421 HAS SOPS 16421 HAS SOUS 11817 HAS SOUPS 11817 WITH SCORE 11833.421
AT ITER 1507 NEW BEST:: SOT 44990 SOS 16375 HAS SOPS 16375 HAS SOUS 11771 HAS SOUPS 11771 WITH SCORE 11787.375
AT ITER 1520 NEW BEST:: SOT 44989 SOS 16378 HAS SOPS 16378 HAS SOUS 11770 HAS SOUPS 11770 WITH SCORE 11786.378
AT ITER 1526 NEW BEST:: SOT 44978 SOS 16345 HAS SOPS 16345 HAS SOUS 11748 HAS SOUPS 11748 WITH SCORE 11764.345
AT ITER 1548 NEW BEST:: SOT 44951 SOS 16172 HAS SOPS 16172 HAS SOUS 11721 HAS SOUPS 11721 WITH SCORE 11737.172
AT ITER 1551 NEW BEST:: SOT 44934 SOS 16138 HAS SOPS 16138 HAS SOUS 11711 HAS SOUPS 11711 WITH SCORE 11727.138
AT ITER 1552 NEW BEST:: SOT 44929 SOS 16117 HAS SOPS 16117 HAS SOUS 11701 HAS SOUPS 11701 WITH SCORE 11717.117
AT ITER 1566 NEW BEST:: SOT 44929 SOS 16098 HAS SOPS 16098 HAS SOUS 11701 HAS SOUPS 11701 WITH SCORE 11717.098
AT ITER 1578 NEW BEST:: SOT 44928 SOS 16096 HAS SOPS 16096 HAS SOUS 11699 HAS SOUPS 11699 WITH SCORE 11715.096
AT ITER 1582 NEW BEST:: SOT 44928 SOS 16030 HAS SOPS 16030 HAS SOUS 11699 HAS SOUPS 11699 WITH SCORE 11715.03
AT ITER 1608 NEW BEST:: SOT 44917 SOS 16008 HAS SOPS 16008 HAS SOUS 11689 HAS SOUPS 11689 WITH SCORE 11705.008
AT ITER 1613 NEW BEST:: SOT 44874 SOS 16009 HAS SOPS 16009 HAS SOUS 11649 HAS SOUPS 11649 WITH SCORE 11665.009
AT ITER 1614 NEW BEST:: SOT 44917 SOS 16095 HAS SOPS 16095 HAS SOUS 11629 HAS SOUPS 11629 WITH SCORE 11645.095
AT ITER 1641 NEW BEST:: SOT 44890 SOS 16041 HAS SOPS 16041 HAS SOUS 11575 HAS SOUPS 11575 WITH SCORE 11591.041
AT ITER 1667 NEW BEST:: SOT 44871 SOS 16003 HAS SOPS 16003 HAS SOUS 11537 HAS SOUPS 11537 WITH SCORE 11553.003
AT ITER 1686 NEW BEST:: SOT 44854 SOS 15969 HAS SOPS 15969 HAS SOUS 11530 HAS SOUPS 11530 WITH SCORE 11545.969
AT ITER 1728 NEW BEST:: SOT 44829 SOS 15919 HAS SOPS 15919 HAS SOUS 11493 HAS SOUPS 11493 WITH SCORE 11508.919
AT ITER 1738 NEW BEST:: SOT 44824 SOS 15932 HAS SOPS 15932 HAS SOUS 11485 HAS SOUPS 11485 WITH SCORE 11500.932
AT ITER 1747 NEW BEST:: SOT 44813 SOS 15910 HAS SOPS 15910 HAS SOUS 11474 HAS SOUPS 11474 WITH SCORE 11489.91
AT ITER 1748 NEW BEST:: SOT 44800 SOS 15929 HAS SOPS 15929 HAS SOUS 11448 HAS SOUPS 11448 WITH SCORE 11463.929
AT ITER 1753 NEW BEST:: SOT 44797 SOS 15923 HAS SOPS 15923 HAS SOUS 11436 HAS SOUPS 11436 WITH SCORE 11451.923
AT ITER 1764 NEW BEST:: SOT 44785 SOS 15899 HAS SOPS 15899 HAS SOUS 11429 HAS SOUPS 11429 WITH SCORE 11444.899
AT ITER 1772 NEW BEST:: SOT 44784 SOS 15898 HAS SOPS 15898 HAS SOUS 11427 HAS SOUPS 11427 WITH SCORE 11442.898
AT ITER 1778 NEW BEST:: SOT 44784 SOS 15874 HAS SOPS 15874 HAS SOUS 11419 HAS SOUPS 11419 WITH SCORE 11434.874
AT ITER 1779 NEW BEST:: SOT 44672 SOS 15807 HAS SOPS 15807 HAS SOUS 11352 HAS SOUPS 11352 WITH SCORE 11367.807
AT ITER 1794 NEW BEST:: SOT 44630 SOS 15748 HAS SOPS 15748 HAS SOUS 11308 HAS SOUPS 11308 WITH SCORE 11323.748
AT ITER 1798 NEW BEST:: SOT 44630 SOS 15717 HAS SOPS 15717 HAS SOUS 11308 HAS SOUPS 11308 WITH SCORE 11323.717
AT ITER 1838 NEW BEST:: SOT 44588 SOS 15675 HAS SOPS 15675 HAS SOUS 11224 HAS SOUPS 11224 WITH SCORE 11239.675
AT ITER 1858 NEW BEST:: SOT 44583 SOS 15662 HAS SOPS 15662 HAS SOUS 11214 HAS SOUPS 11214 WITH SCORE 11229.662
AT ITER 1867 NEW BEST:: SOT 44542 SOS 15518 HAS SOPS 15518 HAS SOUS 11132 HAS SOUPS 11132 WITH SCORE 11147.518
AT ITER 1871 NEW BEST:: SOT 44536 SOS 15444 HAS SOPS 15444 HAS SOUS 11125 HAS SOUPS 11125 WITH SCORE 11140.444
AT ITER 1908 NEW BEST:: SOT 44500 SOS 15390 HAS SOPS 15390 HAS SOUS 11071 HAS SOUPS 11071 WITH SCORE 11086.39
AT ITER 1947 NEW BEST:: SOT 44489 SOS 15368 HAS SOPS 15368 HAS SOUS 11060 HAS SOUPS 11060 WITH SCORE 11075.368
AT ITER 1953 NEW BEST:: SOT 44461 SOS 15312 HAS SOPS 15312 HAS SOUS 11004 HAS SOUPS 11004 WITH SCORE 11019.312
AT ITER 1958 NEW BEST:: SOT 44458 SOS 15311 HAS SOPS 15311 HAS SOUS 11003 HAS SOUPS 11003 WITH SCORE 11018.311
AT ITER 1959 NEW BEST:: SOT 44454 SOS 15303 HAS SOPS 15303 HAS SOUS 10984 HAS SOUPS 10984 WITH SCORE 10999.303
AT ITER 1972 NEW BEST:: SOT 44453 SOS 15267 HAS SOPS 15267 HAS SOUS 10949 HAS SOUPS 10949 WITH SCORE 10964.267
AT ITER 1974 NEW BEST:: SOT 44436 SOS 15234 HAS SOPS 15234 HAS SOUS 10921 HAS SOUPS 10921 WITH SCORE 10936.234
AT ITER 1978 NEW BEST:: SOT 44435 SOS 15231 HAS SOPS 15231 HAS SOUS 10918 HAS SOUPS 10918 WITH SCORE 10933.231
AT ITER 1981 NEW BEST:: SOT 44420 SOS 15201 HAS SOPS 15201 HAS SOUS 10896 HAS SOUPS 10896 WITH SCORE 10911.201
AT ITER 1985 NEW BEST:: SOT 44415 SOS 15196 HAS SOPS 15196 HAS SOUS 10896 HAS SOUPS 10896 WITH SCORE 10911.196
AT ITER 1996 NEW BEST:: SOT 44413 SOS 15192 HAS SOPS 15192 HAS SOUS 10890 HAS SOUPS 10890 WITH SCORE 10905.192
AT ITER 2023 NEW BEST:: SOT 44411 SOS 15245 HAS SOPS 15245 HAS SOUS 10872 HAS SOUPS 10872 WITH SCORE 10887.245
AT ITER 2038 NEW BEST:: SOT 44411 SOS 15242 HAS SOPS 15242 HAS SOUS 10872 HAS SOUPS 10872 WITH SCORE 10887.242
AT ITER 2131 NEW BEST:: SOT 44394 SOS 15244 HAS SOPS 15244 HAS SOUS 10855 HAS SOUPS 10855 WITH SCORE 10870.244
AT ITER 2132 NEW BEST:: SOT 44386 SOS 15228 HAS SOPS 15228 HAS SOUS 10823 HAS SOUPS 10823 WITH SCORE 10838.228
AT ITER 2145 NEW BEST:: SOT 44385 SOS 15226 HAS SOPS 15226 HAS SOUS 10821 HAS SOUPS 10821 WITH SCORE 10836.226
AT ITER 2146 NEW BEST:: SOT 44388 SOS 15229 HAS SOPS 15229 HAS SOUS 10805 HAS SOUPS 10805 WITH SCORE 10820.229
AT ITER 2172 NEW BEST:: SOT 44364 SOS 15181 HAS SOPS 15181 HAS SOUS 10757 HAS SOUPS 10757 WITH SCORE 10772.181
AT ITER 2183 NEW BEST:: SOT 44359 SOS 15176 HAS SOPS 15176 HAS SOUS 10757 HAS SOUPS 10757 WITH SCORE 10772.176
AT ITER 2219 NEW BEST:: SOT 44347 SOS 15160 HAS SOPS 15160 HAS SOUS 10741 HAS SOUPS 10741 WITH SCORE 10756.16
AT ITER 2222 NEW BEST:: SOT 44347 SOS 15146 HAS SOPS 15146 HAS SOUS 10727 HAS SOUPS 10727 WITH SCORE 10742.146
AT ITER 2228 NEW BEST:: SOT 44337 SOS 15137 HAS SOPS 15137 HAS SOUS 10718 HAS SOUPS 10718 WITH SCORE 10733.137
AT ITER 2230 NEW BEST:: SOT 44337 SOS 15117 HAS SOPS 15117 HAS SOUS 10708 HAS SOUPS 10708 WITH SCORE 10723.117
AT ITER 2244 NEW BEST:: SOT 44310 SOS 15063 HAS SOPS 15063 HAS SOUS 10654 HAS SOUPS 10654 WITH SCORE 10669.063
AT ITER 2256 NEW BEST:: SOT 44308 SOS 15057 HAS SOPS 15057 HAS SOUS 10650 HAS SOUPS 10650 WITH SCORE 10665.057
AT ITER 2265 NEW BEST:: SOT 44299 SOS 15039 HAS SOPS 15039 HAS SOUS 10632 HAS SOUPS 10632 WITH SCORE 10647.039
AT ITER 2281 NEW BEST:: SOT 44307 SOS 15034 HAS SOPS 15034 HAS SOUS 10627 HAS SOUPS 10627 WITH SCORE 10642.034
AT ITER 2285 NEW BEST:: SOT 44301 SOS 15032 HAS SOPS 15032 HAS SOUS 10620 HAS SOUPS 10620 WITH SCORE 10635.032
AT ITER 2293 NEW BEST:: SOT 44297 SOS 15025 HAS SOPS 15025 HAS SOUS 10612 HAS SOUPS 10612 WITH SCORE 10627.025
AT ITER 2324 NEW BEST:: SOT 44276 SOS 15004 HAS SOPS 15004 HAS SOUS 10591 HAS SOUPS 10591 WITH SCORE 10606.004
AT ITER 2330 NEW BEST:: SOT 44273 SOS 14998 HAS SOPS 14998 HAS SOUS 10585 HAS SOUPS 10585 WITH SCORE 10599.998
AT ITER 2333 NEW BEST:: SOT 44269 SOS 14838 HAS SOPS 14838 HAS SOUS 10581 HAS SOUPS 10581 WITH SCORE 10595.838
AT ITER 2345 NEW BEST:: SOT 44265 SOS 14830 HAS SOPS 14830 HAS SOUS 10579 HAS SOUPS 10579 WITH SCORE 10593.83
AT ITER 2349 NEW BEST:: SOT 44257 SOS 14824 HAS SOPS 14824 HAS SOUS 10573 HAS SOUPS 10573 WITH SCORE 10587.824
AT ITER 2356 NEW BEST:: SOT 44245 SOS 14812 HAS SOPS 14812 HAS SOUS 10564 HAS SOUPS 10564 WITH SCORE 10578.812
AT ITER 2373 NEW BEST:: SOT 44242 SOS 14817 HAS SOPS 14817 HAS SOUS 10558 HAS SOUPS 10558 WITH SCORE 10572.817
AT ITER 2384 NEW BEST:: SOT 44240 SOS 14819 HAS SOPS 14819 HAS SOUS 10556 HAS SOUPS 10556 WITH SCORE 10570.819
AT ITER 2386 NEW BEST:: SOT 44231 SOS 14801 HAS SOPS 14801 HAS SOUS 10547 HAS SOUPS 10547 WITH SCORE 10561.801
AT ITER 2403 NEW BEST:: SOT 44229 SOS 14799 HAS SOPS 14799 HAS SOUS 10543 HAS SOUPS 10543 WITH SCORE 10557.799
AT ITER 2407 NEW BEST:: SOT 44221 SOS 14696 HAS SOPS 14696 HAS SOUS 10527 HAS SOUPS 10527 WITH SCORE 10541.696
AT ITER 2419 NEW BEST:: SOT 44217 SOS 14692 HAS SOPS 14692 HAS SOUS 10519 HAS SOUPS 10519 WITH SCORE 10533.692
AT ITER 2426 NEW BEST:: SOT 44214 SOS 14686 HAS SOPS 14686 HAS SOUS 10516 HAS SOUPS 10516 WITH SCORE 10530.686
AT ITER 2439 NEW BEST:: SOT 44196 SOS 14650 HAS SOPS 14650 HAS SOUS 10496 HAS SOUPS 10496 WITH SCORE 10510.65
AT ITER 2442 NEW BEST:: SOT 44214 SOS 14643 HAS SOPS 14643 HAS SOUS 10489 HAS SOUPS 10489 WITH SCORE 10503.643
AT ITER 2445 NEW BEST:: SOT 44212 SOS 14626 HAS SOPS 14626 HAS SOUS 10487 HAS SOUPS 10487 WITH SCORE 10501.626
AT ITER 2446 NEW BEST:: SOT 44210 SOS 14622 HAS SOPS 14622 HAS SOUS 10485 HAS SOUPS 10485 WITH SCORE 10499.622
AT ITER 2449 NEW BEST:: SOT 44203 SOS 14608 HAS SOPS 14608 HAS SOUS 10478 HAS SOUPS 10478 WITH SCORE 10492.608
AT ITER 2455 NEW BEST:: SOT 44202 SOS 14595 HAS SOPS 14595 HAS SOUS 10476 HAS SOUPS 10476 WITH SCORE 10490.595
AT ITER 2456 NEW BEST:: SOT 44202 SOS 14590 HAS SOPS 14590 HAS SOUS 10471 HAS SOUPS 10471 WITH SCORE 10485.59
AT ITER 2463 NEW BEST:: SOT 44202 SOS 14545 HAS SOPS 14545 HAS SOUS 10471 HAS SOUPS 10471 WITH SCORE 10485.545
AT ITER 2465 NEW BEST:: SOT 44200 SOS 14545 HAS SOPS 14545 HAS SOUS 10469 HAS SOUPS 10469 WITH SCORE 10483.545
AT ITER 2470 NEW BEST:: SOT 44191 SOS 14518 HAS SOPS 14518 HAS SOUS 10460 HAS SOUPS 10460 WITH SCORE 10474.518
AT ITER 2484 NEW BEST:: SOT 44177 SOS 14490 HAS SOPS 14490 HAS SOUS 10432 HAS SOUPS 10432 WITH SCORE 10446.49
AT ITER 2488 NEW BEST:: SOT 44168 SOS 14472 HAS SOPS 14472 HAS SOUS 10406 HAS SOUPS 10406 WITH SCORE 10420.472
AT ITER 2492 NEW BEST:: SOT 44151 SOS 14449 HAS SOPS 14449 HAS SOUS 10397 HAS SOUPS 10397 WITH SCORE 10411.449
AT ITER 2500 NEW BEST:: SOT 44144 SOS 14425 HAS SOPS 14425 HAS SOUS 10376 HAS SOUPS 10376 WITH SCORE 10390.425
AT ITER 2511 NEW BEST:: SOT 44136 SOS 14409 HAS SOPS 14409 HAS SOUS 10355 HAS SOUPS 10355 WITH SCORE 10369.409
AT ITER 2517 NEW BEST:: SOT 44125 SOS 14398 HAS SOPS 14398 HAS SOUS 10344 HAS SOUPS 10344 WITH SCORE 10358.398
AT ITER 2545 NEW BEST:: SOT 44109 SOS 14366 HAS SOPS 14366 HAS SOUS 10312 HAS SOUPS 10312 WITH SCORE 10326.366
AT ITER 2547 NEW BEST:: SOT 44083 SOS 14349 HAS SOPS 14349 HAS SOUS 10294 HAS SOUPS 10294 WITH SCORE 10308.349
AT ITER 2548 NEW BEST:: SOT 44071 SOS 14335 HAS SOPS 14335 HAS SOUS 10270 HAS SOUPS 10270 WITH SCORE 10284.335
AT ITER 2555 NEW BEST:: SOT 44037 SOS 14301 HAS SOPS 14301 HAS SOUS 10236 HAS SOUPS 10236 WITH SCORE 10250.301
AT ITER 2569 NEW BEST:: SOT 44022 SOS 14271 HAS SOPS 14271 HAS SOUS 10222 HAS SOUPS 10222 WITH SCORE 10236.271
AT ITER 2584 NEW BEST:: SOT 44017 SOS 14266 HAS SOPS 14266 HAS SOUS 10217 HAS SOUPS 10217 WITH SCORE 10231.266
AT ITER 2591 NEW BEST:: SOT 44017 SOS 14251 HAS SOPS 14251 HAS SOUS 10217 HAS SOUPS 10217 WITH SCORE 10231.251
AT ITER 2609 NEW BEST:: SOT 44009 SOS 14235 HAS SOPS 14235 HAS SOUS 10201 HAS SOUPS 10201 WITH SCORE 10215.235
AT ITER 2624 NEW BEST:: SOT 44008 SOS 14230 HAS SOPS 14230 HAS SOUS 10200 HAS SOUPS 10200 WITH SCORE 10214.23
AT ITER 2630 NEW BEST:: SOT 44007 SOS 14228 HAS SOPS 14228 HAS SOUS 10198 HAS SOUPS 10198 WITH SCORE 10212.228
AT ITER 2652 NEW BEST:: SOT 44005 SOS 14224 HAS SOPS 14224 HAS SOUS 10196 HAS SOUPS 10196 WITH SCORE 10210.224
AT ITER 2660 NEW BEST:: SOT 44005 SOS 14215 HAS SOPS 14215 HAS SOUS 10196 HAS SOUPS 10196 WITH SCORE 10210.215
AT ITER 2689 NEW BEST:: SOT 43985 SOS 14193 HAS SOPS 14193 HAS SOUS 10181 HAS SOUPS 10181 WITH SCORE 10195.193
AT ITER 2707 NEW BEST:: SOT 43987 SOS 14197 HAS SOPS 14197 HAS SOUS 10175 HAS SOUPS 10175 WITH SCORE 10189.197
AT ITER 2710 NEW BEST:: SOT 43986 SOS 14217 HAS SOPS 14217 HAS SOUS 10173 HAS SOUPS 10173 WITH SCORE 10187.217
AT ITER 2727 NEW BEST:: SOT 43975 SOS 14224 HAS SOPS 14224 HAS SOUS 10162 HAS SOUPS 10162 WITH SCORE 10176.224
AT ITER 2731 NEW BEST:: SOT 43967 SOS 14211 HAS SOPS 14211 HAS SOUS 10146 HAS SOUPS 10146 WITH SCORE 10160.211
AT ITER 2738 NEW BEST:: SOT 43950 SOS 14182 HAS SOPS 14182 HAS SOUS 10112 HAS SOUPS 10112 WITH SCORE 10126.182
AT ITER 2743 NEW BEST:: SOT 43924 SOS 14133 HAS SOPS 14133 HAS SOUS 10060 HAS SOUPS 10060 WITH SCORE 10074.133
AT ITER 2789 NEW BEST:: SOT 43903 SOS 14101 HAS SOPS 14101 HAS SOUS 10028 HAS SOUPS 10028 WITH SCORE 10042.101
AT ITER 2790 NEW BEST:: SOT 43886 SOS 14084 HAS SOPS 14084 HAS SOUS 10011 HAS SOUPS 10011 WITH SCORE 10025.084
AT ITER 2811 NEW BEST:: SOT 43885 SOS 14083 HAS SOPS 14083 HAS SOUS 10010 HAS SOUPS 10010 WITH SCORE 10024.083
AT ITER 2830 NEW BEST:: SOT 43885 SOS 14083 HAS SOPS 14083 HAS SOUS 10008 HAS SOUPS 10008 WITH SCORE 10022.083
AT ITER 2834 NEW BEST:: SOT 43886 SOS 14085 HAS SOPS 14085 HAS SOUS 10003 HAS SOUPS 10003 WITH SCORE 10017.085
AT ITER 2847 NEW BEST:: SOT 43865 SOS 14043 HAS SOPS 14043 HAS SOUS 9970 HAS SOUPS 9970 WITH SCORE 9984.043
AT ITER 2848 NEW BEST:: SOT 43860 SOS 14033 HAS SOPS 14033 HAS SOUS 9960 HAS SOUPS 9960 WITH SCORE 9974.033
AT ITER 2857 NEW BEST:: SOT 43856 SOS 14029 HAS SOPS 14029 HAS SOUS 9952 HAS SOUPS 9952 WITH SCORE 9966.029
AT ITER 2861 NEW BEST:: SOT 43856 SOS 14029 HAS SOPS 14029 HAS SOUS 9939 HAS SOUPS 9939 WITH SCORE 9953.029
AT ITER 2915 NEW BEST:: SOT 43863 SOS 14021 HAS SOPS 14021 HAS SOUS 9937 HAS SOUPS 9937 WITH SCORE 9951.021
AT ITER 2929 NEW BEST:: SOT 43859 SOS 14013 HAS SOPS 14013 HAS SOUS 9931 HAS SOUPS 9931 WITH SCORE 9945.013
AT ITER 2938 NEW BEST:: SOT 43835 SOS 13965 HAS SOPS 13965 HAS SOUS 9883 HAS SOUPS 9883 WITH SCORE 9896.965
AT ITER 2946 NEW BEST:: SOT 43835 SOS 13947 HAS SOPS 13947 HAS SOUS 9865 HAS SOUPS 9865 WITH SCORE 9878.947
AT ITER 2971 NEW BEST:: SOT 43835 SOS 13947 HAS SOPS 13947 HAS SOUS 9845 HAS SOUPS 9845 WITH SCORE 9858.947
AT ITER 2978 NEW BEST:: SOT 43832 SOS 13944 HAS SOPS 13944 HAS SOUS 9842 HAS SOUPS 9842 WITH SCORE 9855.944
AT ITER 3037 NEW BEST:: SOT 43774 SOS 13882 HAS SOPS 13882 HAS SOUS 9780 HAS SOUPS 9780 WITH SCORE 9793.882
AT ITER 3039 NEW BEST:: SOT 43773 SOS 13881 HAS SOPS 13881 HAS SOUS 9760 HAS SOUPS 9760 WITH SCORE 9773.881
AT ITER 3046 NEW BEST:: SOT 43746 SOS 13892 HAS SOPS 13892 HAS SOUS 9744 HAS SOUPS 9744 WITH SCORE 9757.892
AT ITER 3053 NEW BEST:: SOT 43737 SOS 13888 HAS SOPS 13888 HAS SOUS 9740 HAS SOUPS 9740 WITH SCORE 9753.888
AT ITER 3065 NEW BEST:: SOT 43735 SOS 13883 HAS SOPS 13883 HAS SOUS 9728 HAS SOUPS 9728 WITH SCORE 9741.883
AT ITER 3098 NEW BEST:: SOT 43758 SOS 13835 HAS SOPS 13835 HAS SOUS 9680 HAS SOUPS 9680 WITH SCORE 9693.835
AT ITER 3108 NEW BEST:: SOT 43755 SOS 13826 HAS SOPS 13826 HAS SOUS 9668 HAS SOUPS 9668 WITH SCORE 9681.826
AT ITER 3113 NEW BEST:: SOT 43748 SOS 13812 HAS SOPS 13812 HAS SOUS 9629 HAS SOUPS 9629 WITH SCORE 9642.812
AT ITER 3127 NEW BEST:: SOT 43729 SOS 13774 HAS SOPS 13774 HAS SOUS 9608 HAS SOUPS 9608 WITH SCORE 9621.774
AT ITER 3173 NEW BEST:: SOT 43711 SOS 13756 HAS SOPS 13756 HAS SOUS 9590 HAS SOUPS 9590 WITH SCORE 9603.756
AT ITER 3186 NEW BEST:: SOT 43707 SOS 13752 HAS SOPS 13752 HAS SOUS 9586 HAS SOUPS 9586 WITH SCORE 9599.752
AT ITER 3194 NEW BEST:: SOT 43700 SOS 13742 HAS SOPS 13742 HAS SOUS 9586 HAS SOUPS 9586 WITH SCORE 9599.742
AT ITER 3195 NEW BEST:: SOT 43689 SOS 13731 HAS SOPS 13731 HAS SOUS 9575 HAS SOUPS 9575 WITH SCORE 9588.731
AT ITER 3229 NEW BEST:: SOT 43680 SOS 13738 HAS SOPS 13738 HAS SOUS 9541 HAS SOUPS 9541 WITH SCORE 9554.738
AT ITER 3232 NEW BEST:: SOT 43675 SOS 13728 HAS SOPS 13728 HAS SOUS 9531 HAS SOUPS 9531 WITH SCORE 9544.728
AT ITER 3245 NEW BEST:: SOT 43665 SOS 13718 HAS SOPS 13718 HAS SOUS 9511 HAS SOUPS 9511 WITH SCORE 9524.718
AT ITER 3249 NEW BEST:: SOT 43639 SOS 13666 HAS SOPS 13666 HAS SOUS 9459 HAS SOUPS 9459 WITH SCORE 9472.666
AT ITER 3259 NEW BEST:: SOT 43611 SOS 13653 HAS SOPS 13653 HAS SOUS 9427 HAS SOUPS 9427 WITH SCORE 9440.653
AT ITER 3275 NEW BEST:: SOT 43562 SOS 13635 HAS SOPS 13635 HAS SOUS 9329 HAS SOUPS 9329 WITH SCORE 9342.635
AT ITER 3297 NEW BEST:: SOT 43556 SOS 13623 HAS SOPS 13623 HAS SOUS 9323 HAS SOUPS 9323 WITH SCORE 9336.623
AT ITER 3339 NEW BEST:: SOT 43555 SOS 13621 HAS SOPS 13621 HAS SOUS 9321 HAS SOUPS 9321 WITH SCORE 9334.621
AT ITER 3354 NEW BEST:: SOT 43551 SOS 13617 HAS SOPS 13617 HAS SOUS 9313 HAS SOUPS 9313 WITH SCORE 9326.617
AT ITER 3384 NEW BEST:: SOT 43551 SOS 13604 HAS SOPS 13604 HAS SOUS 9304 HAS SOUPS 9304 WITH SCORE 9317.604
AT ITER 3393 NEW BEST:: SOT 43551 SOS 13598 HAS SOPS 13598 HAS SOUS 9304 HAS SOUPS 9304 WITH SCORE 9317.598
AT ITER 3394 NEW BEST:: SOT 43546 SOS 13593 HAS SOPS 13593 HAS SOUS 9294 HAS SOUPS 9294 WITH SCORE 9307.593
AT ITER 3396 NEW BEST:: SOT 43537 SOS 13584 HAS SOPS 13584 HAS SOUS 9289 HAS SOUPS 9289 WITH SCORE 9302.584
AT ITER 3429 NEW BEST:: SOT 43529 SOS 13568 HAS SOPS 13568 HAS SOUS 9277 HAS SOUPS 9277 WITH SCORE 9290.568
AT ITER 3452 NEW BEST:: SOT 43525 SOS 13512 HAS SOPS 13512 HAS SOUS 9265 HAS SOUPS 9265 WITH SCORE 9278.512
AT ITER 3490 NEW BEST:: SOT 43496 SOS 13499 HAS SOPS 13499 HAS SOUS 9252 HAS SOUPS 9252 WITH SCORE 9265.499
AT ITER 3511 NEW BEST:: SOT 43496 SOS 13499 HAS SOPS 13499 HAS SOUS 9231 HAS SOUPS 9231 WITH SCORE 9244.499
AT ITER 3516 NEW BEST:: SOT 43494 SOS 13501 HAS SOPS 13501 HAS SOUS 9229 HAS SOUPS 9229 WITH SCORE 9242.501
AT ITER 3521 NEW BEST:: SOT 43468 SOS 13433 HAS SOPS 13433 HAS SOUS 9177 HAS SOUPS 9177 WITH SCORE 9190.433
AT ITER 3526 NEW BEST:: SOT 43467 SOS 13431 HAS SOPS 13431 HAS SOUS 9164 HAS SOUPS 9164 WITH SCORE 9177.431
AT ITER 3527 NEW BEST:: SOT 43470 SOS 13437 HAS SOPS 13437 HAS SOUS 9152 HAS SOUPS 9152 WITH SCORE 9165.437
AT ITER 3537 NEW BEST:: SOT 43424 SOS 13410 HAS SOPS 13410 HAS SOUS 9143 HAS SOUPS 9143 WITH SCORE 9156.41
AT ITER 3550 NEW BEST:: SOT 43414 SOS 13363 HAS SOPS 13363 HAS SOUS 9120 HAS SOUPS 9120 WITH SCORE 9133.363
AT ITER 3551 NEW BEST:: SOT 43415 SOS 13370 HAS SOPS 13370 HAS SOUS 9119 HAS SOUPS 9119 WITH SCORE 9132.37
AT ITER 3555 NEW BEST:: SOT 43415 SOS 13359 HAS SOPS 13359 HAS SOUS 9108 HAS SOUPS 9108 WITH SCORE 9121.359
AT ITER 3575 NEW BEST:: SOT 43415 SOS 13353 HAS SOPS 13353 HAS SOUS 9102 HAS SOUPS 9102 WITH SCORE 9115.353
AT ITER 3593 NEW BEST:: SOT 43409 SOS 13290 HAS SOPS 13290 HAS SOUS 9090 HAS SOUPS 9090 WITH SCORE 9103.29
AT ITER 3618 NEW BEST:: SOT 43393 SOS 13258 HAS SOPS 13258 HAS SOUS 9088 HAS SOUPS 9088 WITH SCORE 9101.258
AT ITER 3626 NEW BEST:: SOT 43363 SOS 13243 HAS SOPS 13243 HAS SOUS 9061 HAS SOUPS 9061 WITH SCORE 9074.243
AT ITER 3627 NEW BEST:: SOT 43361 SOS 13235 HAS SOPS 13235 HAS SOUS 9060 HAS SOUPS 9060 WITH SCORE 9073.235
AT ITER 3637 NEW BEST:: SOT 43360 SOS 13214 HAS SOPS 13214 HAS SOUS 9059 HAS SOUPS 9059 WITH SCORE 9072.214
AT ITER 3638 NEW BEST:: SOT 43349 SOS 13192 HAS SOPS 13192 HAS SOUS 9037 HAS SOUPS 9037 WITH SCORE 9050.192
AT ITER 3708 NEW BEST:: SOT 43344 SOS 13182 HAS SOPS 13182 HAS SOUS 9032 HAS SOUPS 9032 WITH SCORE 9045.182
AT ITER 3713 NEW BEST:: SOT 43344 SOS 13184 HAS SOPS 13184 HAS SOUS 9030 HAS SOUPS 9030 WITH SCORE 9043.184
AT ITER 3725 NEW BEST:: SOT 43295 SOS 13171 HAS SOPS 13171 HAS SOUS 9030 HAS SOUPS 9030 WITH SCORE 9043.171
AT ITER 3744 NEW BEST:: SOT 43283 SOS 13159 HAS SOPS 13159 HAS SOUS 9018 HAS SOUPS 9018 WITH SCORE 9031.159
AT ITER 3745 NEW BEST:: SOT 43283 SOS 13157 HAS SOPS 13157 HAS SOUS 9016 HAS SOUPS 9016 WITH SCORE 9029.157
AT ITER 3752 NEW BEST:: SOT 43271 SOS 13134 HAS SOPS 13134 HAS SOUS 8999 HAS SOUPS 8999 WITH SCORE 9012.134
AT ITER 3753 NEW BEST:: SOT 43269 SOS 13119 HAS SOPS 13119 HAS SOUS 8996 HAS SOUPS 8996 WITH SCORE 9009.119
AT ITER 3773 NEW BEST:: SOT 43278 SOS 13128 HAS SOPS 13128 HAS SOUS 8992 HAS SOUPS 8992 WITH SCORE 9005.128
AT ITER 3780 NEW BEST:: SOT 43251 SOS 13151 HAS SOPS 13151 HAS SOUS 8938 HAS SOUPS 8938 WITH SCORE 8951.151
AT ITER 3783 NEW BEST:: SOT 43247 SOS 13147 HAS SOPS 13147 HAS SOUS 8934 HAS SOUPS 8934 WITH SCORE 8947.147
AT ITER 3789 NEW BEST:: SOT 43246 SOS 13145 HAS SOPS 13145 HAS SOUS 8933 HAS SOUPS 8933 WITH SCORE 8946.145
AT ITER 3885 NEW BEST:: SOT 43243 SOS 13141 HAS SOPS 13141 HAS SOUS 8927 HAS SOUPS 8927 WITH SCORE 8940.141
AT ITER 3890 NEW BEST:: SOT 43199 SOS 13115 HAS SOPS 13115 HAS SOUS 8927 HAS SOUPS 8927 WITH SCORE 8940.115
AT ITER 3909 NEW BEST:: SOT 43191 SOS 13107 HAS SOPS 13107 HAS SOUS 8911 HAS SOUPS 8911 WITH SCORE 8924.107
AT ITER 3935 NEW BEST:: SOT 43188 SOS 13116 HAS SOPS 13116 HAS SOUS 8905 HAS SOUPS 8905 WITH SCORE 8918.116
AT ITER 3938 NEW BEST:: SOT 43169 SOS 13078 HAS SOPS 13078 HAS SOUS 8867 HAS SOUPS 8867 WITH SCORE 8880.078
AT ITER 3943 NEW BEST:: SOT 43165 SOS 13070 HAS SOPS 13070 HAS SOUS 8859 HAS SOUPS 8859 WITH SCORE 8872.07
AT ITER 3965 NEW BEST:: SOT 43161 SOS 13065 HAS SOPS 13065 HAS SOUS 8851 HAS SOUPS 8851 WITH SCORE 8864.065
AT ITER 3974 NEW BEST:: SOT 43156 SOS 13011 HAS SOPS 13011 HAS SOUS 8837 HAS SOUPS 8837 WITH SCORE 8850.011
AT ITER 3990 NEW BEST:: SOT 43154 SOS 12994 HAS SOPS 12994 HAS SOUS 8820 HAS SOUPS 8820 WITH SCORE 8832.994
AT ITER 4005 NEW BEST:: SOT 43151 SOS 12987 HAS SOPS 12987 HAS SOUS 8816 HAS SOUPS 8816 WITH SCORE 8828.987
AT ITER 4052 NEW BEST:: SOT 43139 SOS 13311 HAS SOPS 13311 HAS SOUS 8804 HAS SOUPS 8804 WITH SCORE 8817.311
AT ITER 4054 NEW BEST:: SOT 43139 SOS 13308 HAS SOPS 13308 HAS SOUS 8804 HAS SOUPS 8804 WITH SCORE 8817.308
AT ITER 4106 NEW BEST:: SOT 43139 SOS 13300 HAS SOPS 13300 HAS SOUS 8804 HAS SOUPS 8804 WITH SCORE 8817.3
AT ITER 4126 NEW BEST:: SOT 43132 SOS 13330 HAS SOPS 13330 HAS SOUS 8790 HAS SOUPS 8790 WITH SCORE 8803.33
AT ITER 4145 NEW BEST:: SOT 43132 SOS 13330 HAS SOPS 13330 HAS SOUS 8785 HAS SOUPS 8785 WITH SCORE 8798.33
AT ITER 4153 NEW BEST:: SOT 43127 SOS 13320 HAS SOPS 13320 HAS SOUS 8776 HAS SOUPS 8776 WITH SCORE 8789.32
AT ITER 4167 NEW BEST:: SOT 43125 SOS 13318 HAS SOPS 13318 HAS SOUS 8774 HAS SOUPS 8774 WITH SCORE 8787.318
AT ITER 4185 NEW BEST:: SOT 43060 SOS 13253 HAS SOPS 13253 HAS SOUS 8742 HAS SOUPS 8742 WITH SCORE 8755.253
AT ITER 4205 NEW BEST:: SOT 43059 SOS 13252 HAS SOPS 13252 HAS SOUS 8741 HAS SOUPS 8741 WITH SCORE 8754.252
AT ITER 4211 NEW BEST:: SOT 43055 SOS 13244 HAS SOPS 13244 HAS SOUS 8737 HAS SOUPS 8737 WITH SCORE 8750.244
AT ITER 4219 NEW BEST:: SOT 43055 SOS 13226 HAS SOPS 13226 HAS SOUS 8737 HAS SOUPS 8737 WITH SCORE 8750.226
AT ITER 4220 NEW BEST:: SOT 43034 SOS 13210 HAS SOPS 13210 HAS SOUS 8721 HAS SOUPS 8721 WITH SCORE 8734.21
AT ITER 4229 NEW BEST:: SOT 43032 SOS 13197 HAS SOPS 13197 HAS SOUS 8705 HAS SOUPS 8705 WITH SCORE 8718.197
AT ITER 4233 NEW BEST:: SOT 43031 SOS 13186 HAS SOPS 13186 HAS SOUS 8703 HAS SOUPS 8703 WITH SCORE 8716.186
AT ITER 4250 NEW BEST:: SOT 43030 SOS 13185 HAS SOPS 13185 HAS SOUS 8702 HAS SOUPS 8702 WITH SCORE 8715.185
AT ITER 4277 NEW BEST:: SOT 43038 SOS 13180 HAS SOPS 13180 HAS SOUS 8682 HAS SOUPS 8682 WITH SCORE 8695.18
AT ITER 4279 NEW BEST:: SOT 43033 SOS 13180 HAS SOPS 13180 HAS SOUS 8677 HAS SOUPS 8677 WITH SCORE 8690.18
AT ITER 4289 NEW BEST:: SOT 43008 SOS 13155 HAS SOPS 13155 HAS SOUS 8653 HAS SOUPS 8653 WITH SCORE 8666.155
AT ITER 4331 NEW BEST:: SOT 43005 SOS 13130 HAS SOPS 13130 HAS SOUS 8647 HAS SOUPS 8647 WITH SCORE 8660.13
AT ITER 4343 NEW BEST:: SOT 43000 SOS 13125 HAS SOPS 13125 HAS SOUS 8642 HAS SOUPS 8642 WITH SCORE 8655.125
AT ITER 4356 NEW BEST:: SOT 42998 SOS 13126 HAS SOPS 13126 HAS SOUS 8641 HAS SOUPS 8641 WITH SCORE 8654.126
AT ITER 4379 NEW BEST:: SOT 42983 SOS 13079 HAS SOPS 13079 HAS SOUS 8640 HAS SOUPS 8640 WITH SCORE 8653.079
AT ITER 4386 NEW BEST:: SOT 42982 SOS 13078 HAS SOPS 13078 HAS SOUS 8639 HAS SOUPS 8639 WITH SCORE 8652.078
AT ITER 4404 NEW BEST:: SOT 42981 SOS 13076 HAS SOPS 13076 HAS SOUS 8637 HAS SOUPS 8637 WITH SCORE 8650.076
AT ITER 4436 NEW BEST:: SOT 42975 SOS 13093 HAS SOPS 13093 HAS SOUS 8631 HAS SOUPS 8631 WITH SCORE 8644.093
AT ITER 4462 NEW BEST:: SOT 42975 SOS 13085 HAS SOPS 13085 HAS SOUS 8631 HAS SOUPS 8631 WITH SCORE 8644.085
AT ITER 4490 NEW BEST:: SOT 42970 SOS 13080 HAS SOPS 13080 HAS SOUS 8631 HAS SOUPS 8631 WITH SCORE 8644.08
AT ITER 4522 NEW BEST:: SOT 42977 SOS 13075 HAS SOPS 13075 HAS SOUS 8631 HAS SOUPS 8631 WITH SCORE 8644.075
AT ITER 4540 NEW BEST:: SOT 42973 SOS 13071 HAS SOPS 13071 HAS SOUS 8627 HAS SOUPS 8627 WITH SCORE 8640.071
AT ITER 4570 NEW BEST:: SOT 42986 SOS 13043 HAS SOPS 13043 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8639.043
AT ITER 4572 NEW BEST:: SOT 42984 SOS 13043 HAS SOPS 13043 HAS SOUS 8622 HAS SOUPS 8622 WITH SCORE 8635.043
AT ITER 4615 NEW BEST:: SOT 42937 SOS 13013 HAS SOPS 13013 HAS SOUS 8592 HAS SOUPS 8592 WITH SCORE 8605.013
AT ITER 4637 NEW BEST:: SOT 42932 SOS 13003 HAS SOPS 13003 HAS SOUS 8582 HAS SOUPS 8582 WITH SCORE 8595.003
AT ITER 4639 NEW BEST:: SOT 42933 SOS 12997 HAS SOPS 12997 HAS SOUS 8578 HAS SOUPS 8578 WITH SCORE 8590.997
AT ITER 4709 NEW BEST:: SOT 42933 SOS 12993 HAS SOPS 12993 HAS SOUS 8578 HAS SOUPS 8578 WITH SCORE 8590.993
AT ITER 4750 NEW BEST:: SOT 42933 SOS 12989 HAS SOPS 12989 HAS SOUS 8573 HAS SOUPS 8573 WITH SCORE 8585.989
AT ITER 4756 NEW BEST:: SOT 42925 SOS 13001 HAS SOPS 13001 HAS SOUS 8562 HAS SOUPS 8562 WITH SCORE 8575.001
AT ITER 4763 NEW BEST:: SOT 42915 SOS 12981 HAS SOPS 12981 HAS SOUS 8551 HAS SOUPS 8551 WITH SCORE 8563.981
AT ITER 4798 NEW BEST:: SOT 42897 SOS 12983 HAS SOPS 12983 HAS SOUS 8535 HAS SOUPS 8535 WITH SCORE 8547.983
AT ITER 4842 NEW BEST:: SOT 42892 SOS 12986 HAS SOPS 12986 HAS SOUS 8525 HAS SOUPS 8525 WITH SCORE 8537.986
AT ITER 4878 NEW BEST:: SOT 42892 SOS 12908 HAS SOPS 12908 HAS SOUS 8525 HAS SOUPS 8525 WITH SCORE 8537.908
AT ITER 4886 NEW BEST:: SOT 42892 SOS 12871 HAS SOPS 12871 HAS SOUS 8525 HAS SOUPS 8525 WITH SCORE 8537.871
AT ITER 4899 NEW BEST:: SOT 42902 SOS 12875 HAS SOPS 12875 HAS SOUS 8521 HAS SOUPS 8521 WITH SCORE 8533.875
AT ITER 4912 NEW BEST:: SOT 42895 SOS 12855 HAS SOPS 12855 HAS SOUS 8502 HAS SOUPS 8502 WITH SCORE 8514.855
AT ITER 4969 NEW BEST:: SOT 42893 SOS 12873 HAS SOPS 12873 HAS SOUS 8500 HAS SOUPS 8500 WITH SCORE 8512.873
AT ITER 4990 NEW BEST:: SOT 42890 SOS 12875 HAS SOPS 12875 HAS SOUS 8497 HAS SOUPS 8497 WITH SCORE 8509.875
AT ITER 5026 NEW BEST:: SOT 42884 SOS 12867 HAS SOPS 12867 HAS SOUS 8485 HAS SOUPS 8485 WITH SCORE 8497.867
AT ITER 5029 NEW BEST:: SOT 42877 SOS 12867 HAS SOPS 12867 HAS SOUS 8471 HAS SOUPS 8471 WITH SCORE 8483.867
AT ITER 5094 NEW BEST:: SOT 42875 SOS 12866 HAS SOPS 12866 HAS SOUS 8470 HAS SOUPS 8470 WITH SCORE 8482.866
AT ITER 5098 NEW BEST:: SOT 42873 SOS 12864 HAS SOPS 12864 HAS SOUS 8470 HAS SOUPS 8470 WITH SCORE 8482.864
AT ITER 5105 NEW BEST:: SOT 42871 SOS 12860 HAS SOPS 12860 HAS SOUS 8466 HAS SOUPS 8466 WITH SCORE 8478.86
AT ITER 5159 NEW BEST:: SOT 42866 SOS 12850 HAS SOPS 12850 HAS SOUS 8464 HAS SOUPS 8464 WITH SCORE 8476.85
AT ITER 5278 NEW BEST:: SOT 42863 SOS 12844 HAS SOPS 12844 HAS SOUS 8458 HAS SOUPS 8458 WITH SCORE 8470.844
AT ITER 5429 NEW BEST:: SOT 42860 SOS 12835 HAS SOPS 12835 HAS SOUS 8449 HAS SOUPS 8449 WITH SCORE 8461.835
AT ITER 5497 NEW BEST:: SOT 42852 SOS 12819 HAS SOPS 12819 HAS SOUS 8426 HAS SOUPS 8426 WITH SCORE 8438.819
AT ITER 5526 NEW BEST:: SOT 42850 SOS 12801 HAS SOPS 12801 HAS SOUS 8422 HAS SOUPS 8422 WITH SCORE 8434.801
AT ITER 5675 NEW BEST:: SOT 42850 SOS 12763 HAS SOPS 12763 HAS SOUS 8422 HAS SOUPS 8422 WITH SCORE 8434.763
AT ITER 5748 NEW BEST:: SOT 42850 SOS 12729 HAS SOPS 12729 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8400.729
AT ITER 5762 NEW BEST:: SOT 42850 SOS 12729 HAS SOPS 12729 HAS SOUS 8387 HAS SOUPS 8387 WITH SCORE 8399.729
AT ITER 5777 NEW BEST:: SOT 42848 SOS 12725 HAS SOPS 12725 HAS SOUS 8379 HAS SOUPS 8379 WITH SCORE 8391.725
AT ITER 5780 NEW BEST:: SOT 42848 SOS 12730 HAS SOPS 12730 HAS SOUS 8378 HAS SOUPS 8378 WITH SCORE 8390.73
AT ITER 5782 NEW BEST:: SOT 42845 SOS 12724 HAS SOPS 12724 HAS SOUS 8372 HAS SOUPS 8372 WITH SCORE 8384.724
AT ITER 5829 NEW BEST:: SOT 42844 SOS 12723 HAS SOPS 12723 HAS SOUS 8370 HAS SOUPS 8370 WITH SCORE 8382.723
AT ITER 5830 NEW BEST:: SOT 42843 SOS 12722 HAS SOPS 12722 HAS SOUS 8369 HAS SOUPS 8369 WITH SCORE 8381.722
AT ITER 5841 NEW BEST:: SOT 42833 SOS 12731 HAS SOPS 12731 HAS SOUS 8349 HAS SOUPS 8349 WITH SCORE 8361.731
AT ITER 5843 NEW BEST:: SOT 42833 SOS 12729 HAS SOPS 12729 HAS SOUS 8347 HAS SOUPS 8347 WITH SCORE 8359.729
AT ITER 5872 NEW BEST:: SOT 42840 SOS 12728 HAS SOPS 12728 HAS SOUS 8345 HAS SOUPS 8345 WITH SCORE 8357.728
AT ITER 5884 NEW BEST:: SOT 42840 SOS 12727 HAS SOPS 12727 HAS SOUS 8345 HAS SOUPS 8345 WITH SCORE 8357.727
AT ITER 5919 NEW BEST:: SOT 42822 SOS 12719 HAS SOPS 12719 HAS SOUS 8337 HAS SOUPS 8337 WITH SCORE 8349.719
AT ITER 5978 NEW BEST:: SOT 42813 SOS 12731 HAS SOPS 12731 HAS SOUS 8308 HAS SOUPS 8308 WITH SCORE 8320.731
AT ITER 6007 NEW BEST:: SOT 42800 SOS 12705 HAS SOPS 12705 HAS SOUS 8280 HAS SOUPS 8280 WITH SCORE 8292.705
AT ITER 6083 NEW BEST:: SOT 42798 SOS 12685 HAS SOPS 12685 HAS SOUS 8277 HAS SOUPS 8277 WITH SCORE 8289.685
AT ITER 6094 NEW BEST:: SOT 42787 SOS 12652 HAS SOPS 12652 HAS SOUS 8244 HAS SOUPS 8244 WITH SCORE 8256.652
AT ITER 6099 NEW BEST:: SOT 42783 SOS 12644 HAS SOPS 12644 HAS SOUS 8236 HAS SOUPS 8236 WITH SCORE 8248.644
AT ITER 6112 NEW BEST:: SOT 42783 SOS 12641 HAS SOPS 12641 HAS SOUS 8233 HAS SOUPS 8233 WITH SCORE 8245.641
AT ITER 6147 NEW BEST:: SOT 42782 SOS 12635 HAS SOPS 12635 HAS SOUS 8227 HAS SOUPS 8227 WITH SCORE 8239.635
AT ITER 6174 NEW BEST:: SOT 42779 SOS 12627 HAS SOPS 12627 HAS SOUS 8222 HAS SOUPS 8222 WITH SCORE 8234.627
AT ITER 6210 NEW BEST:: SOT 42776 SOS 12618 HAS SOPS 12618 HAS SOUS 8216 HAS SOUPS 8216 WITH SCORE 8228.618
AT ITER 6228 NEW BEST:: SOT 42775 SOS 12616 HAS SOPS 12616 HAS SOUS 8214 HAS SOUPS 8214 WITH SCORE 8226.616
AT ITER 6249 NEW BEST:: SOT 42754 SOS 12609 HAS SOPS 12609 HAS SOUS 8207 HAS SOUPS 8207 WITH SCORE 8219.609
AT ITER 6309 NEW BEST:: SOT 42753 SOS 12604 HAS SOPS 12604 HAS SOUS 8204 HAS SOUPS 8204 WITH SCORE 8216.604
AT ITER 6321 NEW BEST:: SOT 42756 SOS 12611 HAS SOPS 12611 HAS SOUS 8197 HAS SOUPS 8197 WITH SCORE 8209.611
AT ITER 6351 NEW BEST:: SOT 42756 SOS 12551 HAS SOPS 12551 HAS SOUS 8197 HAS SOUPS 8197 WITH SCORE 8209.551
AT ITER 6365 NEW BEST:: SOT 42753 SOS 12534 HAS SOPS 12534 HAS SOUS 8191 HAS SOUPS 8191 WITH SCORE 8203.534
AT ITER 6398 NEW BEST:: SOT 42747 SOS 12522 HAS SOPS 12522 HAS SOUS 8186 HAS SOUPS 8186 WITH SCORE 8198.522
AT ITER 6399 NEW BEST:: SOT 42751 SOS 12520 HAS SOPS 12520 HAS SOUS 8184 HAS SOUPS 8184 WITH SCORE 8196.52
AT ITER 6405 NEW BEST:: SOT 42751 SOS 12520 HAS SOPS 12520 HAS SOUS 8180 HAS SOUPS 8180 WITH SCORE 8192.52
AT ITER 6422 NEW BEST:: SOT 42755 SOS 12528 HAS SOPS 12528 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8186.528
AT ITER 6423 NEW BEST:: SOT 42755 SOS 12468 HAS SOPS 12468 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8186.468
AT ITER 6424 NEW BEST:: SOT 42753 SOS 12465 HAS SOPS 12465 HAS SOUS 8171 HAS SOUPS 8171 WITH SCORE 8183.465
AT ITER 6499 NEW BEST:: SOT 42766 SOS 12463 HAS SOPS 12463 HAS SOUS 8169 HAS SOUPS 8169 WITH SCORE 8181.463
AT ITER 6504 NEW BEST:: SOT 42766 SOS 12349 HAS SOPS 12349 HAS SOUS 8166 HAS SOUPS 8166 WITH SCORE 8178.349
AT ITER 6518 NEW BEST:: SOT 42765 SOS 12347 HAS SOPS 12347 HAS SOUS 8164 HAS SOUPS 8164 WITH SCORE 8176.347
AT ITER 6525 NEW BEST:: SOT 42764 SOS 12353 HAS SOPS 12353 HAS SOUS 8162 HAS SOUPS 8162 WITH SCORE 8174.353
AT ITER 6536 NEW BEST:: SOT 42763 SOS 12351 HAS SOPS 12351 HAS SOUS 8161 HAS SOUPS 8161 WITH SCORE 8173.351
AT ITER 6644 NEW BEST:: SOT 42750 SOS 12338 HAS SOPS 12338 HAS SOUS 8148 HAS SOUPS 8148 WITH SCORE 8160.338
AT ITER 6707 NEW BEST:: SOT 42750 SOS 12334 HAS SOPS 12334 HAS SOUS 8148 HAS SOUPS 8148 WITH SCORE 8160.334
AT ITER 6732 NEW BEST:: SOT 42753 SOS 12369 HAS SOPS 12369 HAS SOUS 8132 HAS SOUPS 8132 WITH SCORE 8144.369
AT ITER 6748 NEW BEST:: SOT 42753 SOS 12362 HAS SOPS 12362 HAS SOUS 8132 HAS SOUPS 8132 WITH SCORE 8144.362
AT ITER 6750 NEW BEST:: SOT 42753 SOS 12368 HAS SOPS 12368 HAS SOUS 8128 HAS SOUPS 8128 WITH SCORE 8140.368
AT ITER 6762 NEW BEST:: SOT 42754 SOS 12108 HAS SOPS 12108 HAS SOUS 8122 HAS SOUPS 8122 WITH SCORE 8134.108
AT ITER 6782 NEW BEST:: SOT 42752 SOS 12104 HAS SOPS 12104 HAS SOUS 8118 HAS SOUPS 8118 WITH SCORE 8130.104
AT ITER 6815 NEW BEST:: SOT 42740 SOS 12085 HAS SOPS 12085 HAS SOUS 8111 HAS SOUPS 8111 WITH SCORE 8123.085
AT ITER 6830 NEW BEST:: SOT 42731 SOS 12099 HAS SOPS 12099 HAS SOUS 8093 HAS SOUPS 8093 WITH SCORE 8105.099
AT ITER 6931 NEW BEST:: SOT 42727 SOS 12113 HAS SOPS 12113 HAS SOUS 8085 HAS SOUPS 8085 WITH SCORE 8097.113
AT ITER 6961 NEW BEST:: SOT 42723 SOS 12105 HAS SOPS 12105 HAS SOUS 8077 HAS SOUPS 8077 WITH SCORE 8089.105
AT ITER 6986 NEW BEST:: SOT 42718 SOS 12099 HAS SOPS 12099 HAS SOUS 8071 HAS SOUPS 8071 WITH SCORE 8083.099
AT ITER 7012 NEW BEST:: SOT 42706 SOS 12104 HAS SOPS 12104 HAS SOUS 8064 HAS SOUPS 8064 WITH SCORE 8076.104
AT ITER 7015 NEW BEST:: SOT 42705 SOS 12102 HAS SOPS 12102 HAS SOUS 8062 HAS SOUPS 8062 WITH SCORE 8074.102
AT ITER 7025 NEW BEST:: SOT 42705 SOS 12082 HAS SOPS 12082 HAS SOUS 8062 HAS SOUPS 8062 WITH SCORE 8074.082
AT ITER 7037 NEW BEST:: SOT 42702 SOS 12066 HAS SOPS 12066 HAS SOUS 8051 HAS SOUPS 8051 WITH SCORE 8063.066
AT ITER 7046 NEW BEST:: SOT 42702 SOS 12064 HAS SOPS 12064 HAS SOUS 8049 HAS SOUPS 8049 WITH SCORE 8061.064
AT ITER 7071 NEW BEST:: SOT 42700 SOS 12060 HAS SOPS 12060 HAS SOUS 8047 HAS SOUPS 8047 WITH SCORE 8059.06
AT ITER 7078 NEW BEST:: SOT 42694 SOS 12054 HAS SOPS 12054 HAS SOUS 8038 HAS SOUPS 8038 WITH SCORE 8050.054
AT ITER 7113 NEW BEST:: SOT 42675 SOS 12027 HAS SOPS 12027 HAS SOUS 8008 HAS SOUPS 8008 WITH SCORE 8020.027
AT ITER 7129 NEW BEST:: SOT 42659 SOS 11985 HAS SOPS 11985 HAS SOUS 7975 HAS SOUPS 7975 WITH SCORE 7986.985
AT ITER 7163 NEW BEST:: SOT 42659 SOS 11985 HAS SOPS 11985 HAS SOUS 7973 HAS SOUPS 7973 WITH SCORE 7984.985
AT ITER 7248 NEW BEST:: SOT 42659 SOS 11983 HAS SOPS 11983 HAS SOUS 7973 HAS SOUPS 7973 WITH SCORE 7984.983
AT ITER 7275 NEW BEST:: SOT 42650 SOS 11924 HAS SOPS 11924 HAS SOUS 7955 HAS SOUPS 7955 WITH SCORE 7966.924
AT ITER 7353 NEW BEST:: SOT 42648 SOS 11923 HAS SOPS 11923 HAS SOUS 7953 HAS SOUPS 7953 WITH SCORE 7964.923
AT ITER 7384 NEW BEST:: SOT 42646 SOS 11917 HAS SOPS 11917 HAS SOUS 7947 HAS SOUPS 7947 WITH SCORE 7958.917
AT ITER 7413 NEW BEST:: SOT 42647 SOS 11911 HAS SOPS 11911 HAS SOUS 7941 HAS SOUPS 7941 WITH SCORE 7952.911
AT ITER 7452 NEW BEST:: SOT 42647 SOS 11909 HAS SOPS 11909 HAS SOUS 7941 HAS SOUPS 7941 WITH SCORE 7952.909
AT ITER 7469 NEW BEST:: SOT 42641 SOS 11907 HAS SOPS 11907 HAS SOUS 7938 HAS SOUPS 7938 WITH SCORE 7949.907
AT ITER 7498 NEW BEST:: SOT 42629 SOS 11889 HAS SOPS 11889 HAS SOUS 7920 HAS SOUPS 7920 WITH SCORE 7931.889
AT ITER 7529 NEW BEST:: SOT 42625 SOS 11885 HAS SOPS 11885 HAS SOUS 7912 HAS SOUPS 7912 WITH SCORE 7923.885
AT ITER 7555 NEW BEST:: SOT 42611 SOS 11864 HAS SOPS 11864 HAS SOUS 7891 HAS SOUPS 7891 WITH SCORE 7902.864
AT ITER 7581 NEW BEST:: SOT 42611 SOS 11854 HAS SOPS 11854 HAS SOUS 7891 HAS SOUPS 7891 WITH SCORE 7902.854
AT ITER 7591 NEW BEST:: SOT 42610 SOS 11852 HAS SOPS 11852 HAS SOUS 7890 HAS SOUPS 7890 WITH SCORE 7901.852
AT ITER 7633 NEW BEST:: SOT 42610 SOS 11848 HAS SOPS 11848 HAS SOUS 7888 HAS SOUPS 7888 WITH SCORE 7899.848
AT ITER 7643 NEW BEST:: SOT 42612 SOS 11838 HAS SOPS 11838 HAS SOUS 7880 HAS SOUPS 7880 WITH SCORE 7891.838
AT ITER 7660 NEW BEST:: SOT 42609 SOS 11835 HAS SOPS 11835 HAS SOUS 7874 HAS SOUPS 7874 WITH SCORE 7885.835
AT ITER 7743 NEW BEST:: SOT 42600 SOS 11817 HAS SOPS 11817 HAS SOUS 7867 HAS SOUPS 7867 WITH SCORE 7878.817
AT ITER 7786 NEW BEST:: SOT 42575 SOS 11932 HAS SOPS 11932 HAS SOUS 7852 HAS SOUPS 7852 WITH SCORE 7863.932
AT ITER 7855 NEW BEST:: SOT 42573 SOS 11930 HAS SOPS 11930 HAS SOUS 7850 HAS SOUPS 7850 WITH SCORE 7861.93
AT ITER 7864 NEW BEST:: SOT 42563 SOS 11920 HAS SOPS 11920 HAS SOUS 7840 HAS SOUPS 7840 WITH SCORE 7851.92
AT ITER 7904 NEW BEST:: SOT 42560 SOS 11917 HAS SOPS 11917 HAS SOUS 7837 HAS SOUPS 7837 WITH SCORE 7848.917
AT ITER 7909 NEW BEST:: SOT 42552 SOS 11901 HAS SOPS 11901 HAS SOUS 7824 HAS SOUPS 7824 WITH SCORE 7835.901
AT ITER 7924 NEW BEST:: SOT 42547 SOS 11896 HAS SOPS 11896 HAS SOUS 7819 HAS SOUPS 7819 WITH SCORE 7830.896
AT ITER 8004 NEW BEST:: SOT 42549 SOS 11900 HAS SOPS 11900 HAS SOUS 7818 HAS SOUPS 7818 WITH SCORE 7829.9
AT ITER 8008 NEW BEST:: SOT 42548 SOS 11898 HAS SOPS 11898 HAS SOUS 7816 HAS SOUPS 7816 WITH SCORE 7827.898
AT ITER 8049 NEW BEST:: SOT 42546 SOS 11896 HAS SOPS 11896 HAS SOUS 7814 HAS SOUPS 7814 WITH SCORE 7825.896
AT ITER 8060 NEW BEST:: SOT 42549 SOS 11891 HAS SOPS 11891 HAS SOUS 7809 HAS SOUPS 7809 WITH SCORE 7820.891
AT ITER 8088 NEW BEST:: SOT 42550 SOS 11890 HAS SOPS 11890 HAS SOUS 7808 HAS SOUPS 7808 WITH SCORE 7819.89
AT ITER 8090 NEW BEST:: SOT 42549 SOS 11889 HAS SOPS 11889 HAS SOUS 7800 HAS SOUPS 7800 WITH SCORE 7811.889
AT ITER 8101 NEW BEST:: SOT 42548 SOS 11887 HAS SOPS 11887 HAS SOUS 7798 HAS SOUPS 7798 WITH SCORE 7809.887
AT ITER 8125 NEW BEST:: SOT 42547 SOS 11885 HAS SOPS 11885 HAS SOUS 7796 HAS SOUPS 7796 WITH SCORE 7807.885
AT ITER 8185 NEW BEST:: SOT 42542 SOS 11880 HAS SOPS 11880 HAS SOUS 7791 HAS SOUPS 7791 WITH SCORE 7802.88
AT ITER 8199 NEW BEST:: SOT 42526 SOS 11864 HAS SOPS 11864 HAS SOUS 7775 HAS SOUPS 7775 WITH SCORE 7786.864
AT ITER 8241 NEW BEST:: SOT 42525 SOS 11862 HAS SOPS 11862 HAS SOUS 7773 HAS SOUPS 7773 WITH SCORE 7784.862
AT ITER 8249 NEW BEST:: SOT 42525 SOS 11859 HAS SOPS 11859 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7781.859
AT ITER 8297 NEW BEST:: SOT 42519 SOS 11847 HAS SOPS 11847 HAS SOUS 7758 HAS SOUPS 7758 WITH SCORE 7769.847
AT ITER 8303 NEW BEST:: SOT 42521 SOS 11862 HAS SOPS 11862 HAS SOUS 7752 HAS SOUPS 7752 WITH SCORE 7763.862
AT ITER 8304 NEW BEST:: SOT 42521 SOS 11855 HAS SOPS 11855 HAS SOUS 7752 HAS SOUPS 7752 WITH SCORE 7763.855
AT ITER 8326 NEW BEST:: SOT 42521 SOS 11853 HAS SOPS 11853 HAS SOUS 7750 HAS SOUPS 7750 WITH SCORE 7761.853
AT ITER 8336 NEW BEST:: SOT 42521 SOS 11819 HAS SOPS 11819 HAS SOUS 7750 HAS SOUPS 7750 WITH SCORE 7761.819
AT ITER 8356 NEW BEST:: SOT 42519 SOS 11815 HAS SOPS 11815 HAS SOUS 7736 HAS SOUPS 7736 WITH SCORE 7747.815
AT ITER 8359 NEW BEST:: SOT 42518 SOS 11813 HAS SOPS 11813 HAS SOUS 7734 HAS SOUPS 7734 WITH SCORE 7745.813
AT ITER 8401 NEW BEST:: SOT 42526 SOS 11820 HAS SOPS 11820 HAS SOUS 7733 HAS SOUPS 7733 WITH SCORE 7744.82
AT ITER 8436 NEW BEST:: SOT 42520 SOS 11812 HAS SOPS 11812 HAS SOUS 7732 HAS SOUPS 7732 WITH SCORE 7743.812
AT ITER 8457 NEW BEST:: SOT 42508 SOS 11788 HAS SOPS 11788 HAS SOUS 7720 HAS SOUPS 7720 WITH SCORE 7731.788
AT ITER 8485 NEW BEST:: SOT 42504 SOS 11773 HAS SOPS 11773 HAS SOUS 7716 HAS SOUPS 7716 WITH SCORE 7727.773
AT ITER 8557 NEW BEST:: SOT 42492 SOS 11761 HAS SOPS 11761 HAS SOUS 7704 HAS SOUPS 7704 WITH SCORE 7715.761
AT ITER 8562 NEW BEST:: SOT 42492 SOS 11761 HAS SOPS 11761 HAS SOUS 7703 HAS SOUPS 7703 WITH SCORE 7714.761
AT ITER 8618 NEW BEST:: SOT 42439 SOS 11770 HAS SOPS 11770 HAS SOUS 7670 HAS SOUPS 7670 WITH SCORE 7681.77
AT ITER 8633 NEW BEST:: SOT 42433 SOS 11758 HAS SOPS 11758 HAS SOUS 7658 HAS SOUPS 7658 WITH SCORE 7669.758
AT ITER 8660 NEW BEST:: SOT 42432 SOS 11755 HAS SOPS 11755 HAS SOUS 7656 HAS SOUPS 7656 WITH SCORE 7667.755
AT ITER 8717 NEW BEST:: SOT 42387 SOS 12144 HAS SOPS 12144 HAS SOUS 7638 HAS SOUPS 7638 WITH SCORE 7650.144
AT ITER 8724 NEW BEST:: SOT 42379 SOS 12143 HAS SOPS 12143 HAS SOUS 7637 HAS SOUPS 7637 WITH SCORE 7649.143
AT ITER 8741 NEW BEST:: SOT 42378 SOS 12141 HAS SOPS 12141 HAS SOUS 7636 HAS SOUPS 7636 WITH SCORE 7648.141
AT ITER 8769 NEW BEST:: SOT 42350 SOS 12264 HAS SOPS 12264 HAS SOUS 7629 HAS SOUPS 7629 WITH SCORE 7641.264
AT ITER 8790 NEW BEST:: SOT 42367 SOS 12298 HAS SOPS 12298 HAS SOUS 7626 HAS SOUPS 7626 WITH SCORE 7638.298
AT ITER 8812 NEW BEST:: SOT 42357 SOS 12288 HAS SOPS 12288 HAS SOUS 7606 HAS SOUPS 7606 WITH SCORE 7618.288
AT ITER 8824 NEW BEST:: SOT 42355 SOS 12284 HAS SOPS 12284 HAS SOUS 7602 HAS SOUPS 7602 WITH SCORE 7614.284
AT ITER 8825 NEW BEST:: SOT 42355 SOS 12153 HAS SOPS 12153 HAS SOUS 7581 HAS SOUPS 7581 WITH SCORE 7593.153
AT ITER 8871 NEW BEST:: SOT 42360 SOS 12151 HAS SOPS 12151 HAS SOUS 7579 HAS SOUPS 7579 WITH SCORE 7591.151
AT ITER 8898 NEW BEST:: SOT 42359 SOS 12149 HAS SOPS 12149 HAS SOUS 7577 HAS SOUPS 7577 WITH SCORE 7589.149
AT ITER 8922 NEW BEST:: SOT 42354 SOS 12175 HAS SOPS 12175 HAS SOUS 7567 HAS SOUPS 7567 WITH SCORE 7579.175
AT ITER 8923 NEW BEST:: SOT 42354 SOS 12175 HAS SOPS 12175 HAS SOUS 7528 HAS SOUPS 7528 WITH SCORE 7540.175
AT ITER 8956 NEW BEST:: SOT 42340 SOS 12147 HAS SOPS 12147 HAS SOUS 7500 HAS SOUPS 7500 WITH SCORE 7512.147
AT ITER 8961 NEW BEST:: SOT 42335 SOS 12142 HAS SOPS 12142 HAS SOUS 7495 HAS SOUPS 7495 WITH SCORE 7507.142
AT ITER 9066 NEW BEST:: SOT 42334 SOS 12140 HAS SOPS 12140 HAS SOUS 7493 HAS SOUPS 7493 WITH SCORE 7505.14
AT ITER 9195 NEW BEST:: SOT 42337 SOS 12137 HAS SOPS 12137 HAS SOUS 7493 HAS SOUPS 7493 WITH SCORE 7505.137
AT ITER 9242 NEW BEST:: SOT 42325 SOS 12131 HAS SOPS 12131 HAS SOUS 7481 HAS SOUPS 7481 WITH SCORE 7493.131
AT ITER 9384 NEW BEST:: SOT 42318 SOS 12129 HAS SOPS 12129 HAS SOUS 7479 HAS SOUPS 7479 WITH SCORE 7491.129
AT ITER 9392 NEW BEST:: SOT 42314 SOS 12125 HAS SOPS 12125 HAS SOUS 7479 HAS SOUPS 7479 WITH SCORE 7491.125
AT ITER 9402 NEW BEST:: SOT 42307 SOS 12265 HAS SOPS 12265 HAS SOUS 7465 HAS SOUPS 7465 WITH SCORE 7477.265
AT ITER 9522 NEW BEST:: SOT 42307 SOS 12273 HAS SOPS 12273 HAS SOUS 7463 HAS SOUPS 7463 WITH SCORE 7475.273
AT ITER 9573 NEW BEST:: SOT 42304 SOS 12267 HAS SOPS 12267 HAS SOUS 7457 HAS SOUPS 7457 WITH SCORE 7469.267
AT ITER 9608 NEW BEST:: SOT 42302 SOS 12265 HAS SOPS 12265 HAS SOUS 7453 HAS SOUPS 7453 WITH SCORE 7465.265
AT ITER 9677 NEW BEST:: SOT 42385 SOS 12296 HAS SOPS 12296 HAS SOUS 7451 HAS SOUPS 7451 WITH SCORE 7463.296
AT ITER 9719 NEW BEST:: SOT 42386 SOS 12289 HAS SOPS 12289 HAS SOUS 7447 HAS SOUPS 7447 WITH SCORE 7459.289
AT ITER 9755 NEW BEST:: SOT 42384 SOS 12285 HAS SOPS 12285 HAS SOUS 7443 HAS SOUPS 7443 WITH SCORE 7455.285
AT ITER 9827 NEW BEST:: SOT 42384 SOS 12283 HAS SOPS 12283 HAS SOUS 7441 HAS SOUPS 7441 WITH SCORE 7453.283
AT ITER 9830 NEW BEST:: SOT 42384 SOS 12275 HAS SOPS 12275 HAS SOUS 7441 HAS SOUPS 7441 WITH SCORE 7453.275
AT ITER 9895 NEW BEST:: SOT 42384 SOS 12269 HAS SOPS 12269 HAS SOUS 7441 HAS SOUPS 7441 WITH SCORE 7453.269
AT ITER 9919 NEW BEST:: SOT 42379 SOS 12264 HAS SOPS 12264 HAS SOUS 7431 HAS SOUPS 7431 WITH SCORE 7443.264
AT ITER 9942 NEW BEST:: SOT 42379 SOS 12261 HAS SOPS 12261 HAS SOUS 7429 HAS SOUPS 7429 WITH SCORE 7441.261
AT ITER 9964 NEW BEST:: SOT 42361 SOS 12243 HAS SOPS 12243 HAS SOUS 7412 HAS SOUPS 7412 WITH SCORE 7424.243

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="DiscoveryGPU-PT-09b"
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 DiscoveryGPU-PT-09b, 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 r063-tajo-158922807800648"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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