fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r018-oct2-158897680100504
Last Updated
Jun 28, 2020

About the Execution of smart for BusinessProcesses-PT-07

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15766.270 3600000.00 3587029.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897680100504.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BusinessProcesses-PT-07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680100504
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 252K
-rw-r--r-- 1 mcc users 3.4K Mar 26 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 26 02:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 22:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:43 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:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 14:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 100K 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 1589018583433

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

Filename model.pnml
Petri model created: 386 places, 360 transitions, 1110 arcs.
AT ITER 0 NEW BEST:: SOT 89715 SOS 36715 HAS SOPS 36715 HAS SOUS 34995 HAS SOUPS 34995 WITH SCORE 35031.715
AT ITER 15 NEW BEST:: SOT 89624 SOS 36600 HAS SOPS 36600 HAS SOUS 34880 HAS SOUPS 34880 WITH SCORE 34916.6
AT ITER 17 NEW BEST:: SOT 89629 SOS 36605 HAS SOPS 36605 HAS SOUS 34864 HAS SOUPS 34864 WITH SCORE 34900.605
AT ITER 24 NEW BEST:: SOT 89717 SOS 36444 HAS SOPS 36444 HAS SOUS 34790 HAS SOUPS 34790 WITH SCORE 34826.444
AT ITER 32 NEW BEST:: SOT 89716 SOS 36442 HAS SOPS 36442 HAS SOUS 34788 HAS SOUPS 34788 WITH SCORE 34824.442
AT ITER 35 NEW BEST:: SOT 89712 SOS 36435 HAS SOPS 36435 HAS SOUS 34781 HAS SOUPS 34781 WITH SCORE 34817.435
AT ITER 43 NEW BEST:: SOT 89706 SOS 36387 HAS SOPS 36387 HAS SOUS 34775 HAS SOUPS 34775 WITH SCORE 34811.387
AT ITER 60 NEW BEST:: SOT 89705 SOS 36385 HAS SOPS 36385 HAS SOUS 34773 HAS SOUPS 34773 WITH SCORE 34809.385
AT ITER 67 NEW BEST:: SOT 89023 SOS 35834 HAS SOPS 35834 HAS SOUS 34148 HAS SOUPS 34148 WITH SCORE 34183.834
AT ITER 69 NEW BEST:: SOT 88932 SOS 35594 HAS SOPS 35594 HAS SOUS 33908 HAS SOUPS 33908 WITH SCORE 33943.594
AT ITER 74 NEW BEST:: SOT 88901 SOS 35551 HAS SOPS 35551 HAS SOUS 33865 HAS SOUPS 33865 WITH SCORE 33900.551
AT ITER 100 NEW BEST:: SOT 88928 SOS 35493 HAS SOPS 35493 HAS SOUS 33807 HAS SOUPS 33807 WITH SCORE 33842.493
AT ITER 109 NEW BEST:: SOT 88872 SOS 35437 HAS SOPS 35437 HAS SOUS 33803 HAS SOUPS 33803 WITH SCORE 33838.437
AT ITER 110 NEW BEST:: SOT 88872 SOS 35434 HAS SOPS 35434 HAS SOUS 33800 HAS SOUPS 33800 WITH SCORE 33835.434
AT ITER 127 NEW BEST:: SOT 88851 SOS 35432 HAS SOPS 35432 HAS SOUS 33798 HAS SOUPS 33798 WITH SCORE 33833.432
AT ITER 142 NEW BEST:: SOT 86812 SOS 34131 HAS SOPS 34131 HAS SOUS 31845 HAS SOUPS 31845 WITH SCORE 31879.131
AT ITER 146 NEW BEST:: SOT 86789 SOS 34102 HAS SOPS 34102 HAS SOUS 31816 HAS SOUPS 31816 WITH SCORE 31850.102
AT ITER 157 NEW BEST:: SOT 84552 SOS 32044 HAS SOPS 32044 HAS SOUS 29758 HAS SOUPS 29758 WITH SCORE 29790.044
AT ITER 159 NEW BEST:: SOT 84514 SOS 32073 HAS SOPS 32073 HAS SOUS 29677 HAS SOUPS 29677 WITH SCORE 29709.073
AT ITER 162 NEW BEST:: SOT 84504 SOS 32059 HAS SOPS 32059 HAS SOUS 29663 HAS SOUPS 29663 WITH SCORE 29695.059
AT ITER 166 NEW BEST:: SOT 84480 SOS 32047 HAS SOPS 32047 HAS SOUS 29651 HAS SOUPS 29651 WITH SCORE 29683.047
AT ITER 168 NEW BEST:: SOT 84479 SOS 32039 HAS SOPS 32039 HAS SOUS 29636 HAS SOUPS 29636 WITH SCORE 29668.039
AT ITER 170 NEW BEST:: SOT 84419 SOS 31993 HAS SOPS 31993 HAS SOUS 29590 HAS SOUPS 29590 WITH SCORE 29621.993
AT ITER 171 NEW BEST:: SOT 84418 SOS 31991 HAS SOPS 31991 HAS SOUS 29588 HAS SOUPS 29588 WITH SCORE 29619.991
AT ITER 173 NEW BEST:: SOT 84418 SOS 31971 HAS SOPS 31971 HAS SOUS 29568 HAS SOUPS 29568 WITH SCORE 29599.971
AT ITER 181 NEW BEST:: SOT 84390 SOS 31943 HAS SOPS 31943 HAS SOUS 29540 HAS SOUPS 29540 WITH SCORE 29571.943
AT ITER 201 NEW BEST:: SOT 84415 SOS 31931 HAS SOPS 31931 HAS SOUS 29540 HAS SOUPS 29540 WITH SCORE 29571.931
AT ITER 212 NEW BEST:: SOT 84455 SOS 31882 HAS SOPS 31882 HAS SOUS 29491 HAS SOUPS 29491 WITH SCORE 29522.882
AT ITER 222 NEW BEST:: SOT 84440 SOS 31867 HAS SOPS 31867 HAS SOUS 29476 HAS SOUPS 29476 WITH SCORE 29507.867
AT ITER 237 NEW BEST:: SOT 84475 SOS 31902 HAS SOPS 31902 HAS SOUS 29475 HAS SOUPS 29475 WITH SCORE 29506.902
AT ITER 238 NEW BEST:: SOT 84491 SOS 31893 HAS SOPS 31893 HAS SOUS 29466 HAS SOUPS 29466 WITH SCORE 29497.893
AT ITER 249 NEW BEST:: SOT 84040 SOS 31471 HAS SOPS 31471 HAS SOUS 29044 HAS SOUPS 29044 WITH SCORE 29075.471
AT ITER 277 NEW BEST:: SOT 84033 SOS 31575 HAS SOPS 31575 HAS SOUS 29043 HAS SOUPS 29043 WITH SCORE 29074.575
AT ITER 286 NEW BEST:: SOT 84002 SOS 31513 HAS SOPS 31513 HAS SOUS 28981 HAS SOUPS 28981 WITH SCORE 29012.513
AT ITER 302 NEW BEST:: SOT 83967 SOS 31478 HAS SOPS 31478 HAS SOUS 28946 HAS SOUPS 28946 WITH SCORE 28977.478
AT ITER 306 NEW BEST:: SOT 83850 SOS 31384 HAS SOPS 31384 HAS SOUS 28896 HAS SOUPS 28896 WITH SCORE 28927.384
AT ITER 322 NEW BEST:: SOT 83850 SOS 31380 HAS SOPS 31380 HAS SOUS 28892 HAS SOUPS 28892 WITH SCORE 28923.38
AT ITER 326 NEW BEST:: SOT 83822 SOS 31340 HAS SOPS 31340 HAS SOUS 28852 HAS SOUPS 28852 WITH SCORE 28883.34
AT ITER 331 NEW BEST:: SOT 83822 SOS 31313 HAS SOPS 31313 HAS SOUS 28825 HAS SOUPS 28825 WITH SCORE 28856.313
AT ITER 339 NEW BEST:: SOT 83822 SOS 31312 HAS SOPS 31312 HAS SOUS 28824 HAS SOUPS 28824 WITH SCORE 28855.312
AT ITER 340 NEW BEST:: SOT 83793 SOS 31254 HAS SOPS 31254 HAS SOUS 28766 HAS SOUPS 28766 WITH SCORE 28797.254
AT ITER 342 NEW BEST:: SOT 83791 SOS 31250 HAS SOPS 31250 HAS SOUS 28762 HAS SOUPS 28762 WITH SCORE 28793.25
AT ITER 351 NEW BEST:: SOT 83806 SOS 31199 HAS SOPS 31199 HAS SOUS 28711 HAS SOUPS 28711 WITH SCORE 28742.199
AT ITER 360 NEW BEST:: SOT 83806 SOS 31198 HAS SOPS 31198 HAS SOUS 28710 HAS SOUPS 28710 WITH SCORE 28741.198
AT ITER 366 NEW BEST:: SOT 83788 SOS 31197 HAS SOPS 31197 HAS SOUS 28709 HAS SOUPS 28709 WITH SCORE 28740.197
AT ITER 372 NEW BEST:: SOT 83798 SOS 31198 HAS SOPS 31198 HAS SOUS 28670 HAS SOUPS 28670 WITH SCORE 28701.198
AT ITER 381 NEW BEST:: SOT 83692 SOS 31078 HAS SOPS 31078 HAS SOUS 28564 HAS SOUPS 28564 WITH SCORE 28595.078
AT ITER 391 NEW BEST:: SOT 83711 SOS 31057 HAS SOPS 31057 HAS SOUS 28543 HAS SOUPS 28543 WITH SCORE 28574.057
AT ITER 393 NEW BEST:: SOT 83867 SOS 31162 HAS SOPS 31162 HAS SOUS 28453 HAS SOUPS 28453 WITH SCORE 28484.162
AT ITER 398 NEW BEST:: SOT 83904 SOS 31161 HAS SOPS 31161 HAS SOUS 28452 HAS SOUPS 28452 WITH SCORE 28483.161
AT ITER 401 NEW BEST:: SOT 83845 SOS 31139 HAS SOPS 31139 HAS SOUS 28430 HAS SOUPS 28430 WITH SCORE 28461.139
AT ITER 402 NEW BEST:: SOT 82399 SOS 30892 HAS SOPS 30892 HAS SOUS 27237 HAS SOUPS 27237 WITH SCORE 27267.892
AT ITER 406 NEW BEST:: SOT 82362 SOS 30855 HAS SOPS 30855 HAS SOUS 27200 HAS SOUPS 27200 WITH SCORE 27230.855
AT ITER 419 NEW BEST:: SOT 82442 SOS 30860 HAS SOPS 30860 HAS SOUS 27104 HAS SOUPS 27104 WITH SCORE 27134.86
AT ITER 426 NEW BEST:: SOT 82347 SOS 30741 HAS SOPS 30741 HAS SOUS 27096 HAS SOUPS 27096 WITH SCORE 27126.741
AT ITER 427 NEW BEST:: SOT 81069 SOS 30137 HAS SOPS 30137 HAS SOUS 25751 HAS SOUPS 25751 WITH SCORE 25781.137
AT ITER 436 NEW BEST:: SOT 81058 SOS 30058 HAS SOPS 30058 HAS SOUS 25672 HAS SOUPS 25672 WITH SCORE 25702.058
AT ITER 440 NEW BEST:: SOT 81034 SOS 30039 HAS SOPS 30039 HAS SOUS 25640 HAS SOUPS 25640 WITH SCORE 25670.039
AT ITER 450 NEW BEST:: SOT 81117 SOS 30038 HAS SOPS 30038 HAS SOUS 25639 HAS SOUPS 25639 WITH SCORE 25669.038
AT ITER 455 NEW BEST:: SOT 81207 SOS 29870 HAS SOPS 29870 HAS SOUS 25555 HAS SOUPS 25555 WITH SCORE 25584.87
AT ITER 456 NEW BEST:: SOT 81207 SOS 29840 HAS SOPS 29840 HAS SOUS 25525 HAS SOUPS 25525 WITH SCORE 25554.84
AT ITER 463 NEW BEST:: SOT 81091 SOS 29724 HAS SOPS 29724 HAS SOUS 25409 HAS SOUPS 25409 WITH SCORE 25438.724
AT ITER 464 NEW BEST:: SOT 81287 SOS 29850 HAS SOPS 29850 HAS SOUS 25380 HAS SOUPS 25380 WITH SCORE 25409.85
AT ITER 471 NEW BEST:: SOT 81244 SOS 29710 HAS SOPS 29710 HAS SOUS 25295 HAS SOUPS 25295 WITH SCORE 25324.71
AT ITER 479 NEW BEST:: SOT 81219 SOS 29614 HAS SOPS 29614 HAS SOUS 25199 HAS SOUPS 25199 WITH SCORE 25228.614
AT ITER 496 NEW BEST:: SOT 81153 SOS 29481 HAS SOPS 29481 HAS SOUS 25161 HAS SOUPS 25161 WITH SCORE 25190.481
AT ITER 502 NEW BEST:: SOT 81108 SOS 29330 HAS SOPS 29330 HAS SOUS 25116 HAS SOUPS 25116 WITH SCORE 25145.33
AT ITER 503 NEW BEST:: SOT 81101 SOS 29323 HAS SOPS 29323 HAS SOUS 25109 HAS SOUPS 25109 WITH SCORE 25138.323
AT ITER 512 NEW BEST:: SOT 81014 SOS 29238 HAS SOPS 29238 HAS SOUS 25035 HAS SOUPS 25035 WITH SCORE 25064.238
AT ITER 515 NEW BEST:: SOT 81011 SOS 29235 HAS SOPS 29235 HAS SOUS 25032 HAS SOUPS 25032 WITH SCORE 25061.235
AT ITER 529 NEW BEST:: SOT 80972 SOS 29146 HAS SOPS 29146 HAS SOUS 24943 HAS SOUPS 24943 WITH SCORE 24972.146
AT ITER 534 NEW BEST:: SOT 80842 SOS 29017 HAS SOPS 29017 HAS SOUS 24847 HAS SOUPS 24847 WITH SCORE 24876.017
AT ITER 539 NEW BEST:: SOT 80753 SOS 28787 HAS SOPS 28787 HAS SOUS 24685 HAS SOUPS 24685 WITH SCORE 24713.787
AT ITER 540 NEW BEST:: SOT 80642 SOS 28510 HAS SOPS 28510 HAS SOUS 24646 HAS SOUPS 24646 WITH SCORE 24674.51
AT ITER 561 NEW BEST:: SOT 80657 SOS 28487 HAS SOPS 28487 HAS SOUS 24610 HAS SOUPS 24610 WITH SCORE 24638.487
AT ITER 569 NEW BEST:: SOT 80634 SOS 28464 HAS SOPS 28464 HAS SOUS 24587 HAS SOUPS 24587 WITH SCORE 24615.464
AT ITER 584 NEW BEST:: SOT 80634 SOS 28464 HAS SOPS 28464 HAS SOUS 24565 HAS SOUPS 24565 WITH SCORE 24593.464
AT ITER 591 NEW BEST:: SOT 80655 SOS 28356 HAS SOPS 28356 HAS SOUS 24457 HAS SOUPS 24457 WITH SCORE 24485.356
AT ITER 598 NEW BEST:: SOT 80626 SOS 28327 HAS SOPS 28327 HAS SOUS 24428 HAS SOUPS 24428 WITH SCORE 24456.327
AT ITER 612 NEW BEST:: SOT 80570 SOS 28206 HAS SOPS 28206 HAS SOUS 24307 HAS SOUPS 24307 WITH SCORE 24335.206
AT ITER 634 NEW BEST:: SOT 80570 SOS 28140 HAS SOPS 28140 HAS SOUS 24307 HAS SOUPS 24307 WITH SCORE 24335.14
AT ITER 639 NEW BEST:: SOT 80567 SOS 28137 HAS SOPS 28137 HAS SOUS 24304 HAS SOUPS 24304 WITH SCORE 24332.137
AT ITER 642 NEW BEST:: SOT 80516 SOS 28174 HAS SOPS 28174 HAS SOUS 24253 HAS SOUPS 24253 WITH SCORE 24281.174
AT ITER 649 NEW BEST:: SOT 80512 SOS 28170 HAS SOPS 28170 HAS SOUS 24253 HAS SOUPS 24253 WITH SCORE 24281.17
AT ITER 650 NEW BEST:: SOT 80512 SOS 28156 HAS SOPS 28156 HAS SOUS 24239 HAS SOUPS 24239 WITH SCORE 24267.156
AT ITER 661 NEW BEST:: SOT 80503 SOS 28138 HAS SOPS 28138 HAS SOUS 24180 HAS SOUPS 24180 WITH SCORE 24208.138
AT ITER 672 NEW BEST:: SOT 80565 SOS 28145 HAS SOPS 28145 HAS SOUS 24159 HAS SOUPS 24159 WITH SCORE 24187.145
AT ITER 676 NEW BEST:: SOT 80440 SOS 28059 HAS SOPS 28059 HAS SOUS 24112 HAS SOUPS 24112 WITH SCORE 24140.059
AT ITER 693 NEW BEST:: SOT 80430 SOS 28029 HAS SOPS 28029 HAS SOUS 24092 HAS SOUPS 24092 WITH SCORE 24120.029
AT ITER 712 NEW BEST:: SOT 80423 SOS 28020 HAS SOPS 28020 HAS SOUS 24083 HAS SOUPS 24083 WITH SCORE 24111.02
AT ITER 741 NEW BEST:: SOT 80423 SOS 28015 HAS SOPS 28015 HAS SOUS 24078 HAS SOUPS 24078 WITH SCORE 24106.015
AT ITER 745 NEW BEST:: SOT 80384 SOS 27905 HAS SOPS 27905 HAS SOUS 23968 HAS SOUPS 23968 WITH SCORE 23995.905
AT ITER 749 NEW BEST:: SOT 80383 SOS 27878 HAS SOPS 27878 HAS SOUS 23915 HAS SOUPS 23915 WITH SCORE 23942.878
AT ITER 755 NEW BEST:: SOT 79999 SOS 27494 HAS SOPS 27494 HAS SOUS 23531 HAS SOUPS 23531 WITH SCORE 23558.494
AT ITER 756 NEW BEST:: SOT 79931 SOS 27462 HAS SOPS 27462 HAS SOUS 23506 HAS SOUPS 23506 WITH SCORE 23533.462
AT ITER 767 NEW BEST:: SOT 79924 SOS 27448 HAS SOPS 27448 HAS SOUS 23492 HAS SOUPS 23492 WITH SCORE 23519.448
AT ITER 768 NEW BEST:: SOT 79819 SOS 27418 HAS SOPS 27418 HAS SOUS 23477 HAS SOUPS 23477 WITH SCORE 23504.418
AT ITER 779 NEW BEST:: SOT 79940 SOS 27457 HAS SOPS 27457 HAS SOUS 23449 HAS SOUPS 23449 WITH SCORE 23476.457
AT ITER 785 NEW BEST:: SOT 79749 SOS 27878 HAS SOPS 27878 HAS SOUS 23283 HAS SOUPS 23283 WITH SCORE 23310.878
AT ITER 798 NEW BEST:: SOT 79737 SOS 27854 HAS SOPS 27854 HAS SOUS 23259 HAS SOUPS 23259 WITH SCORE 23286.854
AT ITER 803 NEW BEST:: SOT 79699 SOS 27166 HAS SOPS 27166 HAS SOUS 23185 HAS SOUPS 23185 WITH SCORE 23212.166
AT ITER 805 NEW BEST:: SOT 79658 SOS 27104 HAS SOPS 27104 HAS SOUS 23123 HAS SOUPS 23123 WITH SCORE 23150.104
AT ITER 810 NEW BEST:: SOT 79672 SOS 27065 HAS SOPS 27065 HAS SOUS 23084 HAS SOUPS 23084 WITH SCORE 23111.065
AT ITER 814 NEW BEST:: SOT 79672 SOS 27065 HAS SOPS 27065 HAS SOUS 23071 HAS SOUPS 23071 WITH SCORE 23098.065
AT ITER 837 NEW BEST:: SOT 79659 SOS 27052 HAS SOPS 27052 HAS SOUS 23058 HAS SOUPS 23058 WITH SCORE 23085.052
AT ITER 843 NEW BEST:: SOT 79649 SOS 27042 HAS SOPS 27042 HAS SOUS 23048 HAS SOUPS 23048 WITH SCORE 23075.042
AT ITER 863 NEW BEST:: SOT 79607 SOS 26956 HAS SOPS 26956 HAS SOUS 22962 HAS SOUPS 22962 WITH SCORE 22988.956
AT ITER 889 NEW BEST:: SOT 79603 SOS 26948 HAS SOPS 26948 HAS SOUS 22954 HAS SOUPS 22954 WITH SCORE 22980.948
AT ITER 900 NEW BEST:: SOT 79585 SOS 26930 HAS SOPS 26930 HAS SOUS 22936 HAS SOUPS 22936 WITH SCORE 22962.93
AT ITER 904 NEW BEST:: SOT 79552 SOS 26830 HAS SOPS 26830 HAS SOUS 22836 HAS SOUPS 22836 WITH SCORE 22862.83
AT ITER 906 NEW BEST:: SOT 79552 SOS 26828 HAS SOPS 26828 HAS SOUS 22834 HAS SOUPS 22834 WITH SCORE 22860.828
AT ITER 911 NEW BEST:: SOT 79552 SOS 26827 HAS SOPS 26827 HAS SOUS 22833 HAS SOUPS 22833 WITH SCORE 22859.827
AT ITER 916 NEW BEST:: SOT 79551 SOS 26825 HAS SOPS 26825 HAS SOUS 22819 HAS SOUPS 22819 WITH SCORE 22845.825
AT ITER 920 NEW BEST:: SOT 79191 SOS 29991 HAS SOPS 29991 HAS SOUS 22596 HAS SOUPS 22596 WITH SCORE 22625.991
AT ITER 932 NEW BEST:: SOT 79185 SOS 29985 HAS SOPS 29985 HAS SOUS 22596 HAS SOUPS 22596 WITH SCORE 22625.985
AT ITER 942 NEW BEST:: SOT 79133 SOS 29797 HAS SOPS 29797 HAS SOUS 22545 HAS SOUPS 22545 WITH SCORE 22574.797
AT ITER 950 NEW BEST:: SOT 79133 SOS 29793 HAS SOPS 29793 HAS SOUS 22539 HAS SOUPS 22539 WITH SCORE 22568.793
AT ITER 951 NEW BEST:: SOT 79137 SOS 29801 HAS SOPS 29801 HAS SOUS 22538 HAS SOUPS 22538 WITH SCORE 22567.801
AT ITER 952 NEW BEST:: SOT 79132 SOS 29791 HAS SOPS 29791 HAS SOUS 22533 HAS SOUPS 22533 WITH SCORE 22562.791
AT ITER 964 NEW BEST:: SOT 79112 SOS 29771 HAS SOPS 29771 HAS SOUS 22533 HAS SOUPS 22533 WITH SCORE 22562.771
AT ITER 970 NEW BEST:: SOT 79071 SOS 29736 HAS SOPS 29736 HAS SOUS 22494 HAS SOUPS 22494 WITH SCORE 22523.736
AT ITER 975 NEW BEST:: SOT 79065 SOS 29724 HAS SOPS 29724 HAS SOUS 22482 HAS SOUPS 22482 WITH SCORE 22511.724
AT ITER 995 NEW BEST:: SOT 79154 SOS 29688 HAS SOPS 29688 HAS SOUS 22446 HAS SOUPS 22446 WITH SCORE 22475.688
AT ITER 1015 NEW BEST:: SOT 79152 SOS 29674 HAS SOPS 29674 HAS SOUS 22442 HAS SOUPS 22442 WITH SCORE 22471.674
AT ITER 1062 NEW BEST:: SOT 79188 SOS 29672 HAS SOPS 29672 HAS SOUS 22440 HAS SOUPS 22440 WITH SCORE 22469.672
AT ITER 1072 NEW BEST:: SOT 79189 SOS 29664 HAS SOPS 29664 HAS SOUS 22432 HAS SOUPS 22432 WITH SCORE 22461.664
AT ITER 1098 NEW BEST:: SOT 79129 SOS 29615 HAS SOPS 29615 HAS SOUS 22383 HAS SOUPS 22383 WITH SCORE 22412.615
AT ITER 1116 NEW BEST:: SOT 79134 SOS 29620 HAS SOPS 29620 HAS SOUS 22337 HAS SOUPS 22337 WITH SCORE 22366.62
AT ITER 1123 NEW BEST:: SOT 79134 SOS 29608 HAS SOPS 29608 HAS SOUS 22325 HAS SOUPS 22325 WITH SCORE 22354.608
AT ITER 1136 NEW BEST:: SOT 79110 SOS 29584 HAS SOPS 29584 HAS SOUS 22314 HAS SOUPS 22314 WITH SCORE 22343.584
AT ITER 1141 NEW BEST:: SOT 79107 SOS 29576 HAS SOPS 29576 HAS SOUS 22306 HAS SOUPS 22306 WITH SCORE 22335.576
AT ITER 1157 NEW BEST:: SOT 79119 SOS 29575 HAS SOPS 29575 HAS SOUS 22268 HAS SOUPS 22268 WITH SCORE 22297.575
AT ITER 1164 NEW BEST:: SOT 79042 SOS 29498 HAS SOPS 29498 HAS SOUS 22267 HAS SOUPS 22267 WITH SCORE 22296.498
AT ITER 1178 NEW BEST:: SOT 79033 SOS 29489 HAS SOPS 29489 HAS SOUS 22258 HAS SOUPS 22258 WITH SCORE 22287.489
AT ITER 1179 NEW BEST:: SOT 79017 SOS 29457 HAS SOPS 29457 HAS SOUS 22226 HAS SOUPS 22226 WITH SCORE 22255.457
AT ITER 1185 NEW BEST:: SOT 78971 SOS 29388 HAS SOPS 29388 HAS SOUS 22167 HAS SOUPS 22167 WITH SCORE 22196.388
AT ITER 1195 NEW BEST:: SOT 78971 SOS 29423 HAS SOPS 29423 HAS SOUS 22166 HAS SOUPS 22166 WITH SCORE 22195.423
AT ITER 1217 NEW BEST:: SOT 78923 SOS 29267 HAS SOPS 29267 HAS SOUS 22124 HAS SOUPS 22124 WITH SCORE 22153.267
AT ITER 1221 NEW BEST:: SOT 78887 SOS 29213 HAS SOPS 29213 HAS SOUS 22066 HAS SOUPS 22066 WITH SCORE 22095.213
AT ITER 1238 NEW BEST:: SOT 78859 SOS 29157 HAS SOPS 29157 HAS SOUS 22010 HAS SOUPS 22010 WITH SCORE 22039.157
AT ITER 1243 NEW BEST:: SOT 78791 SOS 29021 HAS SOPS 29021 HAS SOUS 21874 HAS SOUPS 21874 WITH SCORE 21903.021
AT ITER 1252 NEW BEST:: SOT 78705 SOS 28734 HAS SOPS 28734 HAS SOUS 21585 HAS SOUPS 21585 WITH SCORE 21613.734
AT ITER 1258 NEW BEST:: SOT 78704 SOS 28711 HAS SOPS 28711 HAS SOUS 21562 HAS SOUPS 21562 WITH SCORE 21590.711
AT ITER 1268 NEW BEST:: SOT 78667 SOS 28674 HAS SOPS 28674 HAS SOUS 21562 HAS SOUPS 21562 WITH SCORE 21590.674
AT ITER 1269 NEW BEST:: SOT 78652 SOS 28722 HAS SOPS 28722 HAS SOUS 21515 HAS SOUPS 21515 WITH SCORE 21543.722
AT ITER 1288 NEW BEST:: SOT 78667 SOS 28752 HAS SOPS 28752 HAS SOUS 21462 HAS SOUPS 21462 WITH SCORE 21490.752
AT ITER 1289 NEW BEST:: SOT 78659 SOS 28736 HAS SOPS 28736 HAS SOUS 21454 HAS SOUPS 21454 WITH SCORE 21482.736
AT ITER 1300 NEW BEST:: SOT 78686 SOS 28734 HAS SOPS 28734 HAS SOUS 21452 HAS SOUPS 21452 WITH SCORE 21480.734
AT ITER 1344 NEW BEST:: SOT 78686 SOS 28729 HAS SOPS 28729 HAS SOUS 21447 HAS SOUPS 21447 WITH SCORE 21475.729
AT ITER 1356 NEW BEST:: SOT 78607 SOS 28586 HAS SOPS 28586 HAS SOUS 21440 HAS SOUPS 21440 WITH SCORE 21468.586
AT ITER 1383 NEW BEST:: SOT 78599 SOS 28562 HAS SOPS 28562 HAS SOUS 21424 HAS SOUPS 21424 WITH SCORE 21452.562
AT ITER 1395 NEW BEST:: SOT 78599 SOS 28562 HAS SOPS 28562 HAS SOUS 21422 HAS SOUPS 21422 WITH SCORE 21450.562
AT ITER 1413 NEW BEST:: SOT 78598 SOS 28560 HAS SOPS 28560 HAS SOUS 21420 HAS SOUPS 21420 WITH SCORE 21448.56
AT ITER 1424 NEW BEST:: SOT 78598 SOS 28559 HAS SOPS 28559 HAS SOUS 21419 HAS SOUPS 21419 WITH SCORE 21447.559
AT ITER 1429 NEW BEST:: SOT 78632 SOS 28571 HAS SOPS 28571 HAS SOUS 21397 HAS SOUPS 21397 WITH SCORE 21425.571
AT ITER 1445 NEW BEST:: SOT 78525 SOS 28464 HAS SOPS 28464 HAS SOUS 21392 HAS SOUPS 21392 WITH SCORE 21420.464
AT ITER 1473 NEW BEST:: SOT 78524 SOS 28462 HAS SOPS 28462 HAS SOUS 21386 HAS SOUPS 21386 WITH SCORE 21414.462
AT ITER 1493 NEW BEST:: SOT 78545 SOS 28483 HAS SOPS 28483 HAS SOUS 21373 HAS SOUPS 21373 WITH SCORE 21401.483
AT ITER 1510 NEW BEST:: SOT 78465 SOS 28403 HAS SOPS 28403 HAS SOUS 21293 HAS SOUPS 21293 WITH SCORE 21321.403
AT ITER 1521 NEW BEST:: SOT 78465 SOS 28374 HAS SOPS 28374 HAS SOUS 21264 HAS SOUPS 21264 WITH SCORE 21292.374
AT ITER 1523 NEW BEST:: SOT 78485 SOS 28394 HAS SOPS 28394 HAS SOUS 21243 HAS SOUPS 21243 WITH SCORE 21271.394
AT ITER 1529 NEW BEST:: SOT 78404 SOS 28322 HAS SOPS 28322 HAS SOUS 21171 HAS SOUPS 21171 WITH SCORE 21199.322
AT ITER 1533 NEW BEST:: SOT 78404 SOS 28270 HAS SOPS 28270 HAS SOUS 21119 HAS SOUPS 21119 WITH SCORE 21147.27
AT ITER 1547 NEW BEST:: SOT 78402 SOS 28266 HAS SOPS 28266 HAS SOUS 21118 HAS SOUPS 21118 WITH SCORE 21146.266
AT ITER 1567 NEW BEST:: SOT 78413 SOS 28240 HAS SOPS 28240 HAS SOUS 21113 HAS SOUPS 21113 WITH SCORE 21141.24
AT ITER 1576 NEW BEST:: SOT 78562 SOS 28209 HAS SOPS 28209 HAS SOUS 21082 HAS SOUPS 21082 WITH SCORE 21110.209
AT ITER 1581 NEW BEST:: SOT 78554 SOS 28208 HAS SOPS 28208 HAS SOUS 21081 HAS SOUPS 21081 WITH SCORE 21109.208
AT ITER 1606 NEW BEST:: SOT 78553 SOS 28282 HAS SOPS 28282 HAS SOUS 21079 HAS SOUPS 21079 WITH SCORE 21107.282
AT ITER 1617 NEW BEST:: SOT 78553 SOS 28262 HAS SOPS 28262 HAS SOUS 21063 HAS SOUPS 21063 WITH SCORE 21091.262
AT ITER 1621 NEW BEST:: SOT 78550 SOS 28252 HAS SOPS 28252 HAS SOUS 21060 HAS SOUPS 21060 WITH SCORE 21088.252
AT ITER 1627 NEW BEST:: SOT 78550 SOS 28246 HAS SOPS 28246 HAS SOUS 21054 HAS SOUPS 21054 WITH SCORE 21082.246
AT ITER 1639 NEW BEST:: SOT 78431 SOS 28104 HAS SOPS 28104 HAS SOUS 21016 HAS SOUPS 21016 WITH SCORE 21044.104
AT ITER 1649 NEW BEST:: SOT 78490 SOS 28086 HAS SOPS 28086 HAS SOUS 20971 HAS SOUPS 20971 WITH SCORE 20999.086
AT ITER 1665 NEW BEST:: SOT 78472 SOS 28003 HAS SOPS 28003 HAS SOUS 20971 HAS SOUPS 20971 WITH SCORE 20999.003
AT ITER 1681 NEW BEST:: SOT 78504 SOS 27971 HAS SOPS 27971 HAS SOUS 20956 HAS SOUPS 20956 WITH SCORE 20983.971
AT ITER 1686 NEW BEST:: SOT 78500 SOS 27963 HAS SOPS 27963 HAS SOUS 20950 HAS SOUPS 20950 WITH SCORE 20977.963
AT ITER 1687 NEW BEST:: SOT 78486 SOS 27920 HAS SOPS 27920 HAS SOUS 20907 HAS SOUPS 20907 WITH SCORE 20934.92
AT ITER 1689 NEW BEST:: SOT 78486 SOS 27886 HAS SOPS 27886 HAS SOUS 20907 HAS SOUPS 20907 WITH SCORE 20934.886
AT ITER 1695 NEW BEST:: SOT 78397 SOS 27770 HAS SOPS 27770 HAS SOUS 20791 HAS SOUPS 20791 WITH SCORE 20818.77
AT ITER 1701 NEW BEST:: SOT 78380 SOS 27736 HAS SOPS 27736 HAS SOUS 20785 HAS SOUPS 20785 WITH SCORE 20812.736
AT ITER 1710 NEW BEST:: SOT 78352 SOS 27613 HAS SOPS 27613 HAS SOUS 20704 HAS SOUPS 20704 WITH SCORE 20731.613
AT ITER 1722 NEW BEST:: SOT 78352 SOS 27600 HAS SOPS 27600 HAS SOUS 20691 HAS SOUPS 20691 WITH SCORE 20718.6
AT ITER 1733 NEW BEST:: SOT 78180 SOS 27256 HAS SOPS 27256 HAS SOUS 20433 HAS SOUPS 20433 WITH SCORE 20460.256
AT ITER 1741 NEW BEST:: SOT 78124 SOS 27225 HAS SOPS 27225 HAS SOUS 20412 HAS SOUPS 20412 WITH SCORE 20439.225
AT ITER 1743 NEW BEST:: SOT 78124 SOS 27164 HAS SOPS 27164 HAS SOUS 20351 HAS SOUPS 20351 WITH SCORE 20378.164
AT ITER 1751 NEW BEST:: SOT 78119 SOS 27148 HAS SOPS 27148 HAS SOUS 20351 HAS SOUPS 20351 WITH SCORE 20378.148
AT ITER 1771 NEW BEST:: SOT 78119 SOS 27144 HAS SOPS 27144 HAS SOUS 20347 HAS SOUPS 20347 WITH SCORE 20374.144
AT ITER 1777 NEW BEST:: SOT 78099 SOS 27141 HAS SOPS 27141 HAS SOUS 20329 HAS SOUPS 20329 WITH SCORE 20356.141
AT ITER 1799 NEW BEST:: SOT 78099 SOS 27140 HAS SOPS 27140 HAS SOUS 20328 HAS SOUPS 20328 WITH SCORE 20355.14
AT ITER 1803 NEW BEST:: SOT 78047 SOS 27031 HAS SOPS 27031 HAS SOUS 20228 HAS SOUPS 20228 WITH SCORE 20255.031
AT ITER 1806 NEW BEST:: SOT 78009 SOS 26921 HAS SOPS 26921 HAS SOUS 20182 HAS SOUPS 20182 WITH SCORE 20208.921
AT ITER 1820 NEW BEST:: SOT 78013 SOS 26925 HAS SOPS 26925 HAS SOUS 20176 HAS SOUPS 20176 WITH SCORE 20202.925
AT ITER 1823 NEW BEST:: SOT 77987 SOS 26902 HAS SOPS 26902 HAS SOUS 20159 HAS SOUPS 20159 WITH SCORE 20185.902
AT ITER 1843 NEW BEST:: SOT 77899 SOS 26814 HAS SOPS 26814 HAS SOUS 20159 HAS SOUPS 20159 WITH SCORE 20185.814
AT ITER 1844 NEW BEST:: SOT 77882 SOS 26798 HAS SOPS 26798 HAS SOUS 20143 HAS SOUPS 20143 WITH SCORE 20169.798
AT ITER 1851 NEW BEST:: SOT 77888 SOS 26789 HAS SOPS 26789 HAS SOUS 20134 HAS SOUPS 20134 WITH SCORE 20160.789
AT ITER 1853 NEW BEST:: SOT 77813 SOS 26538 HAS SOPS 26538 HAS SOUS 19883 HAS SOUPS 19883 WITH SCORE 19909.538
AT ITER 1857 NEW BEST:: SOT 77813 SOS 26526 HAS SOPS 26526 HAS SOUS 19881 HAS SOUPS 19881 WITH SCORE 19907.526
AT ITER 1888 NEW BEST:: SOT 77813 SOS 26513 HAS SOPS 26513 HAS SOUS 19868 HAS SOUPS 19868 WITH SCORE 19894.513
AT ITER 1897 NEW BEST:: SOT 77791 SOS 26464 HAS SOPS 26464 HAS SOUS 19837 HAS SOUPS 19837 WITH SCORE 19863.464
AT ITER 1934 NEW BEST:: SOT 77805 SOS 26478 HAS SOPS 26478 HAS SOUS 19823 HAS SOUPS 19823 WITH SCORE 19849.478
AT ITER 1946 NEW BEST:: SOT 77805 SOS 26422 HAS SOPS 26422 HAS SOUS 19773 HAS SOUPS 19773 WITH SCORE 19799.422
AT ITER 1951 NEW BEST:: SOT 77760 SOS 26314 HAS SOPS 26314 HAS SOUS 19749 HAS SOUPS 19749 WITH SCORE 19775.314
AT ITER 1961 NEW BEST:: SOT 77756 SOS 26310 HAS SOPS 26310 HAS SOUS 19745 HAS SOUPS 19745 WITH SCORE 19771.31
AT ITER 2028 NEW BEST:: SOT 77725 SOS 26281 HAS SOPS 26281 HAS SOUS 19730 HAS SOUPS 19730 WITH SCORE 19756.281
AT ITER 2031 NEW BEST:: SOT 77707 SOS 26263 HAS SOPS 26263 HAS SOUS 19712 HAS SOUPS 19712 WITH SCORE 19738.263
AT ITER 2036 NEW BEST:: SOT 77683 SOS 26214 HAS SOPS 26214 HAS SOUS 19694 HAS SOUPS 19694 WITH SCORE 19720.214
AT ITER 2039 NEW BEST:: SOT 77683 SOS 26209 HAS SOPS 26209 HAS SOUS 19689 HAS SOUPS 19689 WITH SCORE 19715.209
AT ITER 2046 NEW BEST:: SOT 77675 SOS 26218 HAS SOPS 26218 HAS SOUS 19681 HAS SOUPS 19681 WITH SCORE 19707.218
AT ITER 2047 NEW BEST:: SOT 77619 SOS 26116 HAS SOPS 26116 HAS SOUS 19579 HAS SOUPS 19579 WITH SCORE 19605.116
AT ITER 2062 NEW BEST:: SOT 77563 SOS 26032 HAS SOPS 26032 HAS SOUS 19523 HAS SOUPS 19523 WITH SCORE 19549.032
AT ITER 2072 NEW BEST:: SOT 77554 SOS 26014 HAS SOPS 26014 HAS SOUS 19505 HAS SOUPS 19505 WITH SCORE 19531.014
AT ITER 2077 NEW BEST:: SOT 77554 SOS 26011 HAS SOPS 26011 HAS SOUS 19502 HAS SOUPS 19502 WITH SCORE 19528.011
AT ITER 2078 NEW BEST:: SOT 77552 SOS 26005 HAS SOPS 26005 HAS SOUS 19499 HAS SOUPS 19499 WITH SCORE 19525.005
AT ITER 2082 NEW BEST:: SOT 77552 SOS 25985 HAS SOPS 25985 HAS SOUS 19479 HAS SOUPS 19479 WITH SCORE 19504.985
AT ITER 2090 NEW BEST:: SOT 77512 SOS 25945 HAS SOPS 25945 HAS SOUS 19466 HAS SOUPS 19466 WITH SCORE 19491.945
AT ITER 2143 NEW BEST:: SOT 77508 SOS 25936 HAS SOPS 25936 HAS SOUS 19457 HAS SOUPS 19457 WITH SCORE 19482.936
AT ITER 2151 NEW BEST:: SOT 77513 SOS 25946 HAS SOPS 25946 HAS SOUS 19423 HAS SOUPS 19423 WITH SCORE 19448.946
AT ITER 2159 NEW BEST:: SOT 77513 SOS 25943 HAS SOPS 25943 HAS SOUS 19423 HAS SOUPS 19423 WITH SCORE 19448.943
AT ITER 2164 NEW BEST:: SOT 77507 SOS 25925 HAS SOPS 25925 HAS SOUS 19405 HAS SOUPS 19405 WITH SCORE 19430.925
AT ITER 2208 NEW BEST:: SOT 77468 SOS 25804 HAS SOPS 25804 HAS SOUS 19318 HAS SOUPS 19318 WITH SCORE 19343.804
AT ITER 2224 NEW BEST:: SOT 77472 SOS 25790 HAS SOPS 25790 HAS SOUS 19259 HAS SOUPS 19259 WITH SCORE 19284.79
AT ITER 2225 NEW BEST:: SOT 77452 SOS 25793 HAS SOPS 25793 HAS SOUS 19219 HAS SOUPS 19219 WITH SCORE 19244.793
AT ITER 2232 NEW BEST:: SOT 77435 SOS 25776 HAS SOPS 25776 HAS SOUS 19202 HAS SOUPS 19202 WITH SCORE 19227.776
AT ITER 2237 NEW BEST:: SOT 77395 SOS 25720 HAS SOPS 25720 HAS SOUS 19146 HAS SOUPS 19146 WITH SCORE 19171.72
AT ITER 2244 NEW BEST:: SOT 77387 SOS 25719 HAS SOPS 25719 HAS SOUS 19145 HAS SOUPS 19145 WITH SCORE 19170.719
AT ITER 2264 NEW BEST:: SOT 77395 SOS 25727 HAS SOPS 25727 HAS SOUS 19143 HAS SOUPS 19143 WITH SCORE 19168.727
AT ITER 2288 NEW BEST:: SOT 77366 SOS 25716 HAS SOPS 25716 HAS SOUS 19132 HAS SOUPS 19132 WITH SCORE 19157.716
AT ITER 2344 NEW BEST:: SOT 77378 SOS 25700 HAS SOPS 25700 HAS SOUS 19116 HAS SOUPS 19116 WITH SCORE 19141.7
AT ITER 2351 NEW BEST:: SOT 77313 SOS 25570 HAS SOPS 25570 HAS SOUS 19051 HAS SOUPS 19051 WITH SCORE 19076.57
AT ITER 2358 NEW BEST:: SOT 77305 SOS 25531 HAS SOPS 25531 HAS SOUS 19035 HAS SOUPS 19035 WITH SCORE 19060.531
AT ITER 2369 NEW BEST:: SOT 77298 SOS 25524 HAS SOPS 25524 HAS SOUS 19028 HAS SOUPS 19028 WITH SCORE 19053.524
AT ITER 2377 NEW BEST:: SOT 77294 SOS 25520 HAS SOPS 25520 HAS SOUS 18985 HAS SOUPS 18985 WITH SCORE 19010.52
AT ITER 2395 NEW BEST:: SOT 77290 SOS 25515 HAS SOPS 25515 HAS SOUS 18980 HAS SOUPS 18980 WITH SCORE 19005.515
AT ITER 2403 NEW BEST:: SOT 77290 SOS 25511 HAS SOPS 25511 HAS SOUS 18976 HAS SOUPS 18976 WITH SCORE 19001.511
AT ITER 2409 NEW BEST:: SOT 77269 SOS 25489 HAS SOPS 25489 HAS SOUS 18954 HAS SOUPS 18954 WITH SCORE 18979.489
AT ITER 2447 NEW BEST:: SOT 77266 SOS 25483 HAS SOPS 25483 HAS SOUS 18948 HAS SOUPS 18948 WITH SCORE 18973.483
AT ITER 2450 NEW BEST:: SOT 77161 SOS 25339 HAS SOPS 25339 HAS SOUS 18900 HAS SOUPS 18900 WITH SCORE 18925.339
AT ITER 2453 NEW BEST:: SOT 77103 SOS 25220 HAS SOPS 25220 HAS SOUS 18857 HAS SOUPS 18857 WITH SCORE 18882.22
AT ITER 2467 NEW BEST:: SOT 77065 SOS 25110 HAS SOPS 25110 HAS SOUS 18747 HAS SOUPS 18747 WITH SCORE 18772.11
AT ITER 2470 NEW BEST:: SOT 77035 SOS 25014 HAS SOPS 25014 HAS SOUS 18663 HAS SOUPS 18663 WITH SCORE 18688.014
AT ITER 2518 NEW BEST:: SOT 77029 SOS 25002 HAS SOPS 25002 HAS SOUS 18651 HAS SOUPS 18651 WITH SCORE 18676.002
AT ITER 2525 NEW BEST:: SOT 77013 SOS 24974 HAS SOPS 24974 HAS SOUS 18632 HAS SOUPS 18632 WITH SCORE 18656.974
AT ITER 2541 NEW BEST:: SOT 77013 SOS 24960 HAS SOPS 24960 HAS SOUS 18618 HAS SOUPS 18618 WITH SCORE 18642.96
AT ITER 2551 NEW BEST:: SOT 77012 SOS 24959 HAS SOPS 24959 HAS SOUS 18617 HAS SOUPS 18617 WITH SCORE 18641.959
AT ITER 2560 NEW BEST:: SOT 77012 SOS 24955 HAS SOPS 24955 HAS SOUS 18613 HAS SOUPS 18613 WITH SCORE 18637.955
AT ITER 2576 NEW BEST:: SOT 76996 SOS 24953 HAS SOPS 24953 HAS SOUS 18611 HAS SOUPS 18611 WITH SCORE 18635.953
AT ITER 2581 NEW BEST:: SOT 76993 SOS 24944 HAS SOPS 24944 HAS SOUS 18602 HAS SOUPS 18602 WITH SCORE 18626.944
AT ITER 2585 NEW BEST:: SOT 76993 SOS 24919 HAS SOPS 24919 HAS SOUS 18602 HAS SOUPS 18602 WITH SCORE 18626.919
AT ITER 2589 NEW BEST:: SOT 76984 SOS 24901 HAS SOPS 24901 HAS SOUS 18584 HAS SOUPS 18584 WITH SCORE 18608.901
AT ITER 2610 NEW BEST:: SOT 77037 SOS 24875 HAS SOPS 24875 HAS SOUS 18558 HAS SOUPS 18558 WITH SCORE 18582.875
AT ITER 2615 NEW BEST:: SOT 76977 SOS 24789 HAS SOPS 24789 HAS SOUS 18522 HAS SOUPS 18522 WITH SCORE 18546.789
AT ITER 2647 NEW BEST:: SOT 76966 SOS 24764 HAS SOPS 24764 HAS SOUS 18522 HAS SOUPS 18522 WITH SCORE 18546.764
AT ITER 2650 NEW BEST:: SOT 76809 SOS 24952 HAS SOPS 24952 HAS SOUS 18429 HAS SOUPS 18429 WITH SCORE 18453.952
AT ITER 2651 NEW BEST:: SOT 76808 SOS 24956 HAS SOPS 24956 HAS SOUS 18427 HAS SOUPS 18427 WITH SCORE 18451.956
AT ITER 2653 NEW BEST:: SOT 76793 SOS 24921 HAS SOPS 24921 HAS SOUS 18392 HAS SOUPS 18392 WITH SCORE 18416.921
AT ITER 2664 NEW BEST:: SOT 76793 SOS 24916 HAS SOPS 24916 HAS SOUS 18387 HAS SOUPS 18387 WITH SCORE 18411.916
AT ITER 2671 NEW BEST:: SOT 76835 SOS 25000 HAS SOPS 25000 HAS SOUS 18364 HAS SOUPS 18364 WITH SCORE 18389.0
AT ITER 2673 NEW BEST:: SOT 76809 SOS 24968 HAS SOPS 24968 HAS SOUS 18343 HAS SOUPS 18343 WITH SCORE 18367.968
AT ITER 2676 NEW BEST:: SOT 76809 SOS 24947 HAS SOPS 24947 HAS SOUS 18322 HAS SOUPS 18322 WITH SCORE 18346.947
AT ITER 2686 NEW BEST:: SOT 76792 SOS 24967 HAS SOPS 24967 HAS SOUS 18310 HAS SOUPS 18310 WITH SCORE 18334.967
AT ITER 2690 NEW BEST:: SOT 76792 SOS 24961 HAS SOPS 24961 HAS SOUS 18304 HAS SOUPS 18304 WITH SCORE 18328.961
AT ITER 2751 NEW BEST:: SOT 76842 SOS 24958 HAS SOPS 24958 HAS SOUS 18301 HAS SOUPS 18301 WITH SCORE 18325.958
AT ITER 2764 NEW BEST:: SOT 76808 SOS 24907 HAS SOPS 24907 HAS SOUS 18267 HAS SOUPS 18267 WITH SCORE 18291.907
AT ITER 2780 NEW BEST:: SOT 76787 SOS 24882 HAS SOPS 24882 HAS SOUS 18242 HAS SOUPS 18242 WITH SCORE 18266.882
AT ITER 2783 NEW BEST:: SOT 76778 SOS 24864 HAS SOPS 24864 HAS SOUS 18224 HAS SOUPS 18224 WITH SCORE 18248.864
AT ITER 2802 NEW BEST:: SOT 76768 SOS 24889 HAS SOPS 24889 HAS SOUS 18207 HAS SOUPS 18207 WITH SCORE 18231.889
AT ITER 2828 NEW BEST:: SOT 76765 SOS 24884 HAS SOPS 24884 HAS SOUS 18203 HAS SOUPS 18203 WITH SCORE 18227.884
AT ITER 2846 NEW BEST:: SOT 76729 SOS 24848 HAS SOPS 24848 HAS SOUS 18172 HAS SOUPS 18172 WITH SCORE 18196.848
AT ITER 2851 NEW BEST:: SOT 76697 SOS 24760 HAS SOPS 24760 HAS SOUS 18116 HAS SOUPS 18116 WITH SCORE 18140.76
AT ITER 2884 NEW BEST:: SOT 76689 SOS 24744 HAS SOPS 24744 HAS SOUS 18088 HAS SOUPS 18088 WITH SCORE 18112.744
AT ITER 2901 NEW BEST:: SOT 76680 SOS 24741 HAS SOPS 24741 HAS SOUS 18085 HAS SOUPS 18085 WITH SCORE 18109.741
AT ITER 2906 NEW BEST:: SOT 76674 SOS 24729 HAS SOPS 24729 HAS SOUS 18078 HAS SOUPS 18078 WITH SCORE 18102.729
AT ITER 2910 NEW BEST:: SOT 76661 SOS 24723 HAS SOPS 24723 HAS SOUS 18072 HAS SOUPS 18072 WITH SCORE 18096.723
AT ITER 2922 NEW BEST:: SOT 76665 SOS 24717 HAS SOPS 24717 HAS SOUS 18066 HAS SOUPS 18066 WITH SCORE 18090.717
AT ITER 2923 NEW BEST:: SOT 76631 SOS 24676 HAS SOPS 24676 HAS SOUS 18025 HAS SOUPS 18025 WITH SCORE 18049.676
AT ITER 2934 NEW BEST:: SOT 76711 SOS 24682 HAS SOPS 24682 HAS SOUS 17898 HAS SOUPS 17898 WITH SCORE 17922.682
AT ITER 2973 NEW BEST:: SOT 76676 SOS 24562 HAS SOPS 24562 HAS SOUS 17868 HAS SOUPS 17868 WITH SCORE 17892.562
AT ITER 2974 NEW BEST:: SOT 76661 SOS 24547 HAS SOPS 24547 HAS SOUS 17853 HAS SOUPS 17853 WITH SCORE 17877.547
AT ITER 2985 NEW BEST:: SOT 76651 SOS 24527 HAS SOPS 24527 HAS SOUS 17838 HAS SOUPS 17838 WITH SCORE 17862.527
AT ITER 3010 NEW BEST:: SOT 76610 SOS 24445 HAS SOPS 24445 HAS SOUS 17756 HAS SOUPS 17756 WITH SCORE 17780.445
AT ITER 3020 NEW BEST:: SOT 76556 SOS 24412 HAS SOPS 24412 HAS SOUS 17728 HAS SOUPS 17728 WITH SCORE 17752.412
AT ITER 3023 NEW BEST:: SOT 76556 SOS 24412 HAS SOPS 24412 HAS SOUS 17719 HAS SOUPS 17719 WITH SCORE 17743.412
AT ITER 3054 NEW BEST:: SOT 76505 SOS 24310 HAS SOPS 24310 HAS SOUS 17680 HAS SOUPS 17680 WITH SCORE 17704.31
AT ITER 3083 NEW BEST:: SOT 76461 SOS 24200 HAS SOPS 24200 HAS SOUS 17632 HAS SOUPS 17632 WITH SCORE 17656.2
AT ITER 3085 NEW BEST:: SOT 76461 SOS 24200 HAS SOPS 24200 HAS SOUS 17573 HAS SOUPS 17573 WITH SCORE 17597.2
AT ITER 3086 NEW BEST:: SOT 76461 SOS 24189 HAS SOPS 24189 HAS SOUS 17562 HAS SOUPS 17562 WITH SCORE 17586.189
AT ITER 3128 NEW BEST:: SOT 76438 SOS 24127 HAS SOPS 24127 HAS SOUS 17500 HAS SOUPS 17500 WITH SCORE 17524.127
AT ITER 3138 NEW BEST:: SOT 76436 SOS 24123 HAS SOPS 24123 HAS SOUS 17496 HAS SOUPS 17496 WITH SCORE 17520.123
AT ITER 3175 NEW BEST:: SOT 76426 SOS 24105 HAS SOPS 24105 HAS SOUS 17478 HAS SOUPS 17478 WITH SCORE 17502.105
AT ITER 3181 NEW BEST:: SOT 76436 SOS 24101 HAS SOPS 24101 HAS SOUS 17474 HAS SOUPS 17474 WITH SCORE 17498.101
AT ITER 3186 NEW BEST:: SOT 76433 SOS 24098 HAS SOPS 24098 HAS SOUS 17468 HAS SOUPS 17468 WITH SCORE 17492.098
AT ITER 3199 NEW BEST:: SOT 76400 SOS 23994 HAS SOPS 23994 HAS SOUS 17412 HAS SOUPS 17412 WITH SCORE 17435.994
AT ITER 3238 NEW BEST:: SOT 76400 SOS 23983 HAS SOPS 23983 HAS SOUS 17401 HAS SOUPS 17401 WITH SCORE 17424.983
AT ITER 3249 NEW BEST:: SOT 76376 SOS 23947 HAS SOPS 23947 HAS SOUS 17377 HAS SOUPS 17377 WITH SCORE 17400.947
AT ITER 3262 NEW BEST:: SOT 76353 SOS 23901 HAS SOPS 23901 HAS SOUS 17331 HAS SOUPS 17331 WITH SCORE 17354.901
AT ITER 3301 NEW BEST:: SOT 76267 SOS 23772 HAS SOPS 23772 HAS SOUS 17219 HAS SOUPS 17219 WITH SCORE 17242.772
AT ITER 3320 NEW BEST:: SOT 76261 SOS 23760 HAS SOPS 23760 HAS SOUS 17207 HAS SOUPS 17207 WITH SCORE 17230.76
AT ITER 3364 NEW BEST:: SOT 76218 SOS 23712 HAS SOPS 23712 HAS SOUS 17159 HAS SOUPS 17159 WITH SCORE 17182.712
AT ITER 3378 NEW BEST:: SOT 76234 SOS 23709 HAS SOPS 23709 HAS SOUS 17156 HAS SOUPS 17156 WITH SCORE 17179.709
AT ITER 3381 NEW BEST:: SOT 76194 SOS 23677 HAS SOPS 23677 HAS SOUS 17124 HAS SOUPS 17124 WITH SCORE 17147.677
AT ITER 3396 NEW BEST:: SOT 76108 SOS 23591 HAS SOPS 23591 HAS SOUS 17124 HAS SOUPS 17124 WITH SCORE 17147.591
AT ITER 3410 NEW BEST:: SOT 76100 SOS 23583 HAS SOPS 23583 HAS SOUS 17116 HAS SOUPS 17116 WITH SCORE 17139.583
AT ITER 3417 NEW BEST:: SOT 76153 SOS 23611 HAS SOPS 23611 HAS SOUS 17103 HAS SOUPS 17103 WITH SCORE 17126.611
AT ITER 3447 NEW BEST:: SOT 76150 SOS 23608 HAS SOPS 23608 HAS SOUS 17100 HAS SOUPS 17100 WITH SCORE 17123.608
AT ITER 3487 NEW BEST:: SOT 76148 SOS 23606 HAS SOPS 23606 HAS SOUS 17100 HAS SOUPS 17100 WITH SCORE 17123.606
AT ITER 3519 NEW BEST:: SOT 76138 SOS 23600 HAS SOPS 23600 HAS SOUS 17094 HAS SOUPS 17094 WITH SCORE 17117.6
AT ITER 3548 NEW BEST:: SOT 76050 SOS 23554 HAS SOPS 23554 HAS SOUS 17036 HAS SOUPS 17036 WITH SCORE 17059.554
AT ITER 3612 NEW BEST:: SOT 76065 SOS 23581 HAS SOPS 23581 HAS SOUS 17034 HAS SOUPS 17034 WITH SCORE 17057.581
AT ITER 3616 NEW BEST:: SOT 76039 SOS 23530 HAS SOPS 23530 HAS SOUS 17001 HAS SOUPS 17001 WITH SCORE 17024.53
AT ITER 3619 NEW BEST:: SOT 76039 SOS 23521 HAS SOPS 23521 HAS SOUS 17001 HAS SOUPS 17001 WITH SCORE 17024.521
AT ITER 3627 NEW BEST:: SOT 76043 SOS 23497 HAS SOPS 23497 HAS SOUS 16977 HAS SOUPS 16977 WITH SCORE 17000.497
AT ITER 3633 NEW BEST:: SOT 76026 SOS 23479 HAS SOPS 23479 HAS SOUS 16976 HAS SOUPS 16976 WITH SCORE 16999.479
AT ITER 3653 NEW BEST:: SOT 76060 SOS 23547 HAS SOPS 23547 HAS SOUS 16973 HAS SOUPS 16973 WITH SCORE 16996.547
AT ITER 3675 NEW BEST:: SOT 76043 SOS 23530 HAS SOPS 23530 HAS SOUS 16973 HAS SOUPS 16973 WITH SCORE 16996.53
AT ITER 3697 NEW BEST:: SOT 76043 SOS 23518 HAS SOPS 23518 HAS SOUS 16961 HAS SOUPS 16961 WITH SCORE 16984.518
AT ITER 3730 NEW BEST:: SOT 76035 SOS 23502 HAS SOPS 23502 HAS SOUS 16953 HAS SOUPS 16953 WITH SCORE 16976.502
AT ITER 3734 NEW BEST:: SOT 76035 SOS 23502 HAS SOPS 23502 HAS SOUS 16934 HAS SOUPS 16934 WITH SCORE 16957.502
AT ITER 3741 NEW BEST:: SOT 76025 SOS 23482 HAS SOPS 23482 HAS SOUS 16914 HAS SOUPS 16914 WITH SCORE 16937.482
AT ITER 3777 NEW BEST:: SOT 76021 SOS 23479 HAS SOPS 23479 HAS SOUS 16911 HAS SOUPS 16911 WITH SCORE 16934.479
AT ITER 3778 NEW BEST:: SOT 76020 SOS 23478 HAS SOPS 23478 HAS SOUS 16908 HAS SOUPS 16908 WITH SCORE 16931.478
AT ITER 3779 NEW BEST:: SOT 76040 SOS 23498 HAS SOPS 23498 HAS SOUS 16883 HAS SOUPS 16883 WITH SCORE 16906.498
AT ITER 3788 NEW BEST:: SOT 76040 SOS 23504 HAS SOPS 23504 HAS SOUS 16873 HAS SOUPS 16873 WITH SCORE 16896.504
AT ITER 3791 NEW BEST:: SOT 76036 SOS 23496 HAS SOPS 23496 HAS SOUS 16869 HAS SOUPS 16869 WITH SCORE 16892.496
AT ITER 3792 NEW BEST:: SOT 76036 SOS 23496 HAS SOPS 23496 HAS SOUS 16852 HAS SOUPS 16852 WITH SCORE 16875.496
AT ITER 3799 NEW BEST:: SOT 76015 SOS 23495 HAS SOPS 23495 HAS SOUS 16842 HAS SOUPS 16842 WITH SCORE 16865.495
AT ITER 3807 NEW BEST:: SOT 76015 SOS 23494 HAS SOPS 23494 HAS SOUS 16841 HAS SOUPS 16841 WITH SCORE 16864.494
AT ITER 3829 NEW BEST:: SOT 76011 SOS 23491 HAS SOPS 23491 HAS SOUS 16838 HAS SOUPS 16838 WITH SCORE 16861.491
AT ITER 3833 NEW BEST:: SOT 76011 SOS 23361 HAS SOPS 23361 HAS SOUS 16828 HAS SOUPS 16828 WITH SCORE 16851.361
AT ITER 3842 NEW BEST:: SOT 76010 SOS 23359 HAS SOPS 23359 HAS SOUS 16826 HAS SOUPS 16826 WITH SCORE 16849.359
AT ITER 3874 NEW BEST:: SOT 76010 SOS 23359 HAS SOPS 23359 HAS SOUS 16811 HAS SOUPS 16811 WITH SCORE 16834.359
AT ITER 3875 NEW BEST:: SOT 76008 SOS 23357 HAS SOPS 23357 HAS SOUS 16809 HAS SOUPS 16809 WITH SCORE 16832.357
AT ITER 3886 NEW BEST:: SOT 76011 SOS 23323 HAS SOPS 23323 HAS SOUS 16753 HAS SOUPS 16753 WITH SCORE 16776.323
AT ITER 3912 NEW BEST:: SOT 76009 SOS 23319 HAS SOPS 23319 HAS SOUS 16753 HAS SOUPS 16753 WITH SCORE 16776.319
AT ITER 3924 NEW BEST:: SOT 75970 SOS 23219 HAS SOPS 23219 HAS SOUS 16668 HAS SOUPS 16668 WITH SCORE 16691.219
AT ITER 3934 NEW BEST:: SOT 75937 SOS 23153 HAS SOPS 23153 HAS SOUS 16647 HAS SOUPS 16647 WITH SCORE 16670.153
AT ITER 3935 NEW BEST:: SOT 75922 SOS 23123 HAS SOPS 23123 HAS SOUS 16617 HAS SOUPS 16617 WITH SCORE 16640.123
AT ITER 3940 NEW BEST:: SOT 75919 SOS 23120 HAS SOPS 23120 HAS SOUS 16614 HAS SOUPS 16614 WITH SCORE 16637.12
AT ITER 3986 NEW BEST:: SOT 75905 SOS 23092 HAS SOPS 23092 HAS SOUS 16600 HAS SOUPS 16600 WITH SCORE 16623.092
AT ITER 4026 NEW BEST:: SOT 75894 SOS 23081 HAS SOPS 23081 HAS SOUS 16589 HAS SOUPS 16589 WITH SCORE 16612.081
AT ITER 4039 NEW BEST:: SOT 75864 SOS 23046 HAS SOPS 23046 HAS SOUS 16579 HAS SOUPS 16579 WITH SCORE 16602.046
AT ITER 4063 NEW BEST:: SOT 75864 SOS 23043 HAS SOPS 23043 HAS SOUS 16579 HAS SOUPS 16579 WITH SCORE 16602.043
AT ITER 4107 NEW BEST:: SOT 75843 SOS 23035 HAS SOPS 23035 HAS SOUS 16571 HAS SOUPS 16571 WITH SCORE 16594.035
AT ITER 4116 NEW BEST:: SOT 75844 SOS 23017 HAS SOPS 23017 HAS SOUS 16568 HAS SOUPS 16568 WITH SCORE 16591.017
AT ITER 4151 NEW BEST:: SOT 75840 SOS 23009 HAS SOPS 23009 HAS SOUS 16560 HAS SOUPS 16560 WITH SCORE 16583.009
AT ITER 4219 NEW BEST:: SOT 75884 SOS 22972 HAS SOPS 22972 HAS SOUS 16523 HAS SOUPS 16523 WITH SCORE 16545.972
AT ITER 4230 NEW BEST:: SOT 75880 SOS 22964 HAS SOPS 22964 HAS SOUS 16515 HAS SOUPS 16515 WITH SCORE 16537.964
AT ITER 4257 NEW BEST:: SOT 75907 SOS 22933 HAS SOPS 22933 HAS SOUS 16484 HAS SOUPS 16484 WITH SCORE 16506.933
AT ITER 4260 NEW BEST:: SOT 75907 SOS 22874 HAS SOPS 22874 HAS SOUS 16425 HAS SOUPS 16425 WITH SCORE 16447.874
AT ITER 4272 NEW BEST:: SOT 75903 SOS 22870 HAS SOPS 22870 HAS SOUS 16421 HAS SOUPS 16421 WITH SCORE 16443.87
AT ITER 4282 NEW BEST:: SOT 75858 SOS 22756 HAS SOPS 22756 HAS SOUS 16353 HAS SOUPS 16353 WITH SCORE 16375.756
AT ITER 4308 NEW BEST:: SOT 75858 SOS 22756 HAS SOPS 22756 HAS SOUS 16332 HAS SOUPS 16332 WITH SCORE 16354.756
AT ITER 4315 NEW BEST:: SOT 75856 SOS 22730 HAS SOPS 22730 HAS SOUS 16306 HAS SOUPS 16306 WITH SCORE 16328.73
AT ITER 4335 NEW BEST:: SOT 75850 SOS 22718 HAS SOPS 22718 HAS SOUS 16289 HAS SOUPS 16289 WITH SCORE 16311.718
AT ITER 4336 NEW BEST:: SOT 75850 SOS 22718 HAS SOPS 22718 HAS SOUS 16272 HAS SOUPS 16272 WITH SCORE 16294.718
AT ITER 4524 NEW BEST:: SOT 75849 SOS 22716 HAS SOPS 22716 HAS SOUS 16270 HAS SOUPS 16270 WITH SCORE 16292.716
AT ITER 4531 NEW BEST:: SOT 75844 SOS 22711 HAS SOPS 22711 HAS SOUS 16265 HAS SOUPS 16265 WITH SCORE 16287.711
AT ITER 4552 NEW BEST:: SOT 75810 SOS 22677 HAS SOPS 22677 HAS SOUS 16231 HAS SOUPS 16231 WITH SCORE 16253.677
AT ITER 4562 NEW BEST:: SOT 75807 SOS 22671 HAS SOPS 22671 HAS SOUS 16228 HAS SOUPS 16228 WITH SCORE 16250.671
AT ITER 4589 NEW BEST:: SOT 75807 SOS 22643 HAS SOPS 22643 HAS SOUS 16221 HAS SOUPS 16221 WITH SCORE 16243.643
AT ITER 4591 NEW BEST:: SOT 75807 SOS 22634 HAS SOPS 22634 HAS SOUS 16212 HAS SOUPS 16212 WITH SCORE 16234.634
AT ITER 4618 NEW BEST:: SOT 75780 SOS 22580 HAS SOPS 22580 HAS SOUS 16196 HAS SOUPS 16196 WITH SCORE 16218.58
AT ITER 4682 NEW BEST:: SOT 75771 SOS 22571 HAS SOPS 22571 HAS SOUS 16187 HAS SOUPS 16187 WITH SCORE 16209.571
AT ITER 4731 NEW BEST:: SOT 75771 SOS 22534 HAS SOPS 22534 HAS SOUS 16150 HAS SOUPS 16150 WITH SCORE 16172.534
AT ITER 4761 NEW BEST:: SOT 75722 SOS 22490 HAS SOPS 22490 HAS SOUS 16086 HAS SOUPS 16086 WITH SCORE 16108.49
AT ITER 4767 NEW BEST:: SOT 75723 SOS 22511 HAS SOPS 22511 HAS SOUS 16082 HAS SOUPS 16082 WITH SCORE 16104.511
AT ITER 4838 NEW BEST:: SOT 75738 SOS 22478 HAS SOPS 22478 HAS SOUS 16001 HAS SOUPS 16001 WITH SCORE 16023.478
AT ITER 4875 NEW BEST:: SOT 75690 SOS 22433 HAS SOPS 22433 HAS SOUS 15987 HAS SOUPS 15987 WITH SCORE 16009.433
AT ITER 4892 NEW BEST:: SOT 75685 SOS 22434 HAS SOPS 22434 HAS SOUS 15983 HAS SOUPS 15983 WITH SCORE 16005.434
AT ITER 4903 NEW BEST:: SOT 75680 SOS 22424 HAS SOPS 22424 HAS SOUS 15973 HAS SOUPS 15973 WITH SCORE 15995.424
AT ITER 4906 NEW BEST:: SOT 75677 SOS 22418 HAS SOPS 22418 HAS SOUS 15967 HAS SOUPS 15967 WITH SCORE 15989.418
AT ITER 4916 NEW BEST:: SOT 75727 SOS 22459 HAS SOPS 22459 HAS SOUS 15949 HAS SOUPS 15949 WITH SCORE 15971.459
AT ITER 4925 NEW BEST:: SOT 75726 SOS 22457 HAS SOPS 22457 HAS SOUS 15947 HAS SOUPS 15947 WITH SCORE 15969.457
AT ITER 4961 NEW BEST:: SOT 75726 SOS 22449 HAS SOPS 22449 HAS SOUS 15947 HAS SOUPS 15947 WITH SCORE 15969.449
AT ITER 4971 NEW BEST:: SOT 75726 SOS 22440 HAS SOPS 22440 HAS SOUS 15938 HAS SOUPS 15938 WITH SCORE 15960.44
AT ITER 4996 NEW BEST:: SOT 75723 SOS 22416 HAS SOPS 22416 HAS SOUS 15908 HAS SOUPS 15908 WITH SCORE 15930.416
AT ITER 5024 NEW BEST:: SOT 75714 SOS 22407 HAS SOPS 22407 HAS SOUS 15908 HAS SOUPS 15908 WITH SCORE 15930.407
AT ITER 5032 NEW BEST:: SOT 75706 SOS 22391 HAS SOPS 22391 HAS SOUS 15892 HAS SOUPS 15892 WITH SCORE 15914.391
AT ITER 5039 NEW BEST:: SOT 75638 SOS 22218 HAS SOPS 22218 HAS SOUS 15835 HAS SOUPS 15835 WITH SCORE 15857.218
AT ITER 5052 NEW BEST:: SOT 75631 SOS 22211 HAS SOPS 22211 HAS SOUS 15807 HAS SOUPS 15807 WITH SCORE 15829.211
AT ITER 5057 NEW BEST:: SOT 75552 SOS 22130 HAS SOPS 22130 HAS SOUS 15803 HAS SOUPS 15803 WITH SCORE 15825.13
AT ITER 5063 NEW BEST:: SOT 75455 SOS 22988 HAS SOPS 22988 HAS SOUS 15733 HAS SOUPS 15733 WITH SCORE 15755.988
AT ITER 5088 NEW BEST:: SOT 75452 SOS 22982 HAS SOPS 22982 HAS SOUS 15727 HAS SOUPS 15727 WITH SCORE 15749.982
AT ITER 5158 NEW BEST:: SOT 75452 SOS 22970 HAS SOPS 22970 HAS SOUS 15715 HAS SOUPS 15715 WITH SCORE 15737.97
AT ITER 5161 NEW BEST:: SOT 75447 SOS 22960 HAS SOPS 22960 HAS SOUS 15702 HAS SOUPS 15702 WITH SCORE 15724.96
AT ITER 5166 NEW BEST:: SOT 75447 SOS 23025 HAS SOPS 23025 HAS SOUS 15659 HAS SOUPS 15659 WITH SCORE 15682.025
AT ITER 5206 NEW BEST:: SOT 75445 SOS 23021 HAS SOPS 23021 HAS SOUS 15655 HAS SOUPS 15655 WITH SCORE 15678.021
AT ITER 5207 NEW BEST:: SOT 75445 SOS 22998 HAS SOPS 22998 HAS SOUS 15632 HAS SOUPS 15632 WITH SCORE 15654.998
AT ITER 5230 NEW BEST:: SOT 75445 SOS 22995 HAS SOPS 22995 HAS SOUS 15626 HAS SOUPS 15626 WITH SCORE 15648.995
AT ITER 5236 NEW BEST:: SOT 75448 SOS 22961 HAS SOPS 22961 HAS SOUS 15622 HAS SOUPS 15622 WITH SCORE 15644.961
AT ITER 5242 NEW BEST:: SOT 75443 SOS 22951 HAS SOPS 22951 HAS SOUS 15618 HAS SOUPS 15618 WITH SCORE 15640.951
AT ITER 5245 NEW BEST:: SOT 75437 SOS 22945 HAS SOPS 22945 HAS SOUS 15612 HAS SOUPS 15612 WITH SCORE 15634.945
AT ITER 5260 NEW BEST:: SOT 75424 SOS 22932 HAS SOPS 22932 HAS SOUS 15612 HAS SOUPS 15612 WITH SCORE 15634.932
AT ITER 5271 NEW BEST:: SOT 75391 SOS 22884 HAS SOPS 22884 HAS SOUS 15564 HAS SOUPS 15564 WITH SCORE 15586.884
AT ITER 5310 NEW BEST:: SOT 75352 SOS 22813 HAS SOPS 22813 HAS SOUS 15502 HAS SOUPS 15502 WITH SCORE 15524.813
AT ITER 5318 NEW BEST:: SOT 75307 SOS 22760 HAS SOPS 22760 HAS SOUS 15449 HAS SOUPS 15449 WITH SCORE 15471.76
AT ITER 5321 NEW BEST:: SOT 75301 SOS 22757 HAS SOPS 22757 HAS SOUS 15439 HAS SOUPS 15439 WITH SCORE 15461.757
AT ITER 5338 NEW BEST:: SOT 75298 SOS 22754 HAS SOPS 22754 HAS SOUS 15436 HAS SOUPS 15436 WITH SCORE 15458.754
AT ITER 5369 NEW BEST:: SOT 75306 SOS 22724 HAS SOPS 22724 HAS SOUS 15424 HAS SOUPS 15424 WITH SCORE 15446.724
AT ITER 5377 NEW BEST:: SOT 75301 SOS 22716 HAS SOPS 22716 HAS SOUS 15416 HAS SOUPS 15416 WITH SCORE 15438.716
AT ITER 5426 NEW BEST:: SOT 75277 SOS 22691 HAS SOPS 22691 HAS SOUS 15414 HAS SOUPS 15414 WITH SCORE 15436.691
AT ITER 5503 NEW BEST:: SOT 75261 SOS 22651 HAS SOPS 22651 HAS SOUS 15342 HAS SOUPS 15342 WITH SCORE 15364.651
AT ITER 5542 NEW BEST:: SOT 75261 SOS 22681 HAS SOPS 22681 HAS SOUS 15327 HAS SOUPS 15327 WITH SCORE 15349.681
AT ITER 5569 NEW BEST:: SOT 75208 SOS 22563 HAS SOPS 22563 HAS SOUS 15308 HAS SOUPS 15308 WITH SCORE 15330.563
AT ITER 5590 NEW BEST:: SOT 75213 SOS 22573 HAS SOPS 22573 HAS SOUS 15302 HAS SOUPS 15302 WITH SCORE 15324.573
AT ITER 5597 NEW BEST:: SOT 75196 SOS 22545 HAS SOPS 22545 HAS SOUS 15283 HAS SOUPS 15283 WITH SCORE 15305.545
AT ITER 5655 NEW BEST:: SOT 75171 SOS 22520 HAS SOPS 22520 HAS SOUS 15258 HAS SOUPS 15258 WITH SCORE 15280.52
AT ITER 5660 NEW BEST:: SOT 75167 SOS 22496 HAS SOPS 22496 HAS SOUS 15254 HAS SOUPS 15254 WITH SCORE 15276.496
AT ITER 5700 NEW BEST:: SOT 75169 SOS 22500 HAS SOPS 22500 HAS SOUS 15248 HAS SOUPS 15248 WITH SCORE 15270.5
AT ITER 5705 NEW BEST:: SOT 75149 SOS 22380 HAS SOPS 22380 HAS SOUS 15220 HAS SOUPS 15220 WITH SCORE 15242.38
AT ITER 5729 NEW BEST:: SOT 75149 SOS 22380 HAS SOPS 22380 HAS SOUS 15215 HAS SOUPS 15215 WITH SCORE 15237.38
AT ITER 5752 NEW BEST:: SOT 75198 SOS 22428 HAS SOPS 22428 HAS SOUS 15213 HAS SOUPS 15213 WITH SCORE 15235.428
AT ITER 5761 NEW BEST:: SOT 75198 SOS 22428 HAS SOPS 22428 HAS SOUS 15204 HAS SOUPS 15204 WITH SCORE 15226.428
AT ITER 5762 NEW BEST:: SOT 75198 SOS 22419 HAS SOPS 22419 HAS SOUS 15195 HAS SOUPS 15195 WITH SCORE 15217.419
AT ITER 5825 NEW BEST:: SOT 75183 SOS 22400 HAS SOPS 22400 HAS SOUS 15172 HAS SOUPS 15172 WITH SCORE 15194.4
AT ITER 5850 NEW BEST:: SOT 75183 SOS 22425 HAS SOPS 22425 HAS SOUS 15171 HAS SOUPS 15171 WITH SCORE 15193.425
AT ITER 5853 NEW BEST:: SOT 75183 SOS 22420 HAS SOPS 22420 HAS SOUS 15166 HAS SOUPS 15166 WITH SCORE 15188.42
AT ITER 5862 NEW BEST:: SOT 75183 SOS 22417 HAS SOPS 22417 HAS SOUS 15163 HAS SOUPS 15163 WITH SCORE 15185.417
AT ITER 5875 NEW BEST:: SOT 75182 SOS 22416 HAS SOPS 22416 HAS SOUS 15142 HAS SOUPS 15142 WITH SCORE 15164.416
AT ITER 5885 NEW BEST:: SOT 75181 SOS 22415 HAS SOPS 22415 HAS SOUS 15142 HAS SOUPS 15142 WITH SCORE 15164.415
AT ITER 5887 NEW BEST:: SOT 75181 SOS 22414 HAS SOPS 22414 HAS SOUS 15142 HAS SOUPS 15142 WITH SCORE 15164.414
AT ITER 5891 NEW BEST:: SOT 75185 SOS 22218 HAS SOPS 22218 HAS SOUS 15095 HAS SOUPS 15095 WITH SCORE 15117.218
AT ITER 5911 NEW BEST:: SOT 75189 SOS 22213 HAS SOPS 22213 HAS SOUS 15091 HAS SOUPS 15091 WITH SCORE 15113.213
AT ITER 5926 NEW BEST:: SOT 75177 SOS 22201 HAS SOPS 22201 HAS SOUS 15079 HAS SOUPS 15079 WITH SCORE 15101.201
AT ITER 6005 NEW BEST:: SOT 75157 SOS 22250 HAS SOPS 22250 HAS SOUS 15053 HAS SOUPS 15053 WITH SCORE 15075.25
AT ITER 6011 NEW BEST:: SOT 75129 SOS 22194 HAS SOPS 22194 HAS SOUS 15025 HAS SOUPS 15025 WITH SCORE 15047.194
AT ITER 6029 NEW BEST:: SOT 75137 SOS 22183 HAS SOPS 22183 HAS SOUS 15014 HAS SOUPS 15014 WITH SCORE 15036.183
AT ITER 6177 NEW BEST:: SOT 75141 SOS 22101 HAS SOPS 22101 HAS SOUS 15013 HAS SOUPS 15013 WITH SCORE 15035.101
AT ITER 6180 NEW BEST:: SOT 75126 SOS 22043 HAS SOPS 22043 HAS SOUS 14983 HAS SOUPS 14983 WITH SCORE 15005.043
AT ITER 6201 NEW BEST:: SOT 75109 SOS 22027 HAS SOPS 22027 HAS SOUS 14967 HAS SOUPS 14967 WITH SCORE 14989.027
AT ITER 6225 NEW BEST:: SOT 75098 SOS 22016 HAS SOPS 22016 HAS SOUS 14937 HAS SOUPS 14937 WITH SCORE 14959.016
AT ITER 6272 NEW BEST:: SOT 75095 SOS 22011 HAS SOPS 22011 HAS SOUS 14932 HAS SOUPS 14932 WITH SCORE 14954.011
AT ITER 6364 NEW BEST:: SOT 75101 SOS 22009 HAS SOPS 22009 HAS SOUS 14930 HAS SOUPS 14930 WITH SCORE 14952.009
AT ITER 6416 NEW BEST:: SOT 75098 SOS 22006 HAS SOPS 22006 HAS SOUS 14927 HAS SOUPS 14927 WITH SCORE 14949.006
AT ITER 6454 NEW BEST:: SOT 75092 SOS 21994 HAS SOPS 21994 HAS SOUS 14915 HAS SOUPS 14915 WITH SCORE 14936.994
AT ITER 6504 NEW BEST:: SOT 75092 SOS 21992 HAS SOPS 21992 HAS SOUS 14915 HAS SOUPS 14915 WITH SCORE 14936.992
AT ITER 6538 NEW BEST:: SOT 75099 SOS 21982 HAS SOPS 21982 HAS SOUS 14910 HAS SOUPS 14910 WITH SCORE 14931.982
AT ITER 6539 NEW BEST:: SOT 75099 SOS 21956 HAS SOPS 21956 HAS SOUS 14910 HAS SOUPS 14910 WITH SCORE 14931.956
AT ITER 6545 NEW BEST:: SOT 75071 SOS 21900 HAS SOPS 21900 HAS SOUS 14854 HAS SOUPS 14854 WITH SCORE 14875.9
AT ITER 6565 NEW BEST:: SOT 75067 SOS 21891 HAS SOPS 21891 HAS SOUS 14845 HAS SOUPS 14845 WITH SCORE 14866.891
AT ITER 6569 NEW BEST:: SOT 75067 SOS 21889 HAS SOPS 21889 HAS SOUS 14845 HAS SOUPS 14845 WITH SCORE 14866.889
AT ITER 6578 NEW BEST:: SOT 75068 SOS 21890 HAS SOPS 21890 HAS SOUS 14843 HAS SOUPS 14843 WITH SCORE 14864.89
AT ITER 6607 NEW BEST:: SOT 75040 SOS 21848 HAS SOPS 21848 HAS SOUS 14819 HAS SOUPS 14819 WITH SCORE 14840.848
AT ITER 6630 NEW BEST:: SOT 75038 SOS 21847 HAS SOPS 21847 HAS SOUS 14818 HAS SOUPS 14818 WITH SCORE 14839.847
AT ITER 6673 NEW BEST:: SOT 75018 SOS 21832 HAS SOPS 21832 HAS SOUS 14803 HAS SOUPS 14803 WITH SCORE 14824.832
AT ITER 6752 NEW BEST:: SOT 75018 SOS 21826 HAS SOPS 21826 HAS SOUS 14797 HAS SOUPS 14797 WITH SCORE 14818.826
AT ITER 6768 NEW BEST:: SOT 75018 SOS 21834 HAS SOPS 21834 HAS SOUS 14796 HAS SOUPS 14796 WITH SCORE 14817.834
AT ITER 6810 NEW BEST:: SOT 75018 SOS 21834 HAS SOPS 21834 HAS SOUS 14795 HAS SOUPS 14795 WITH SCORE 14816.834
AT ITER 6849 NEW BEST:: SOT 74985 SOS 21801 HAS SOPS 21801 HAS SOUS 14784 HAS SOUPS 14784 WITH SCORE 14805.801
AT ITER 6874 NEW BEST:: SOT 74984 SOS 21799 HAS SOPS 21799 HAS SOUS 14782 HAS SOUPS 14782 WITH SCORE 14803.799
AT ITER 6875 NEW BEST:: SOT 74982 SOS 21794 HAS SOPS 21794 HAS SOUS 14777 HAS SOUPS 14777 WITH SCORE 14798.794
AT ITER 6911 NEW BEST:: SOT 74978 SOS 21790 HAS SOPS 21790 HAS SOUS 14773 HAS SOUPS 14773 WITH SCORE 14794.79
AT ITER 6930 NEW BEST:: SOT 74958 SOS 21756 HAS SOPS 21756 HAS SOUS 14753 HAS SOUPS 14753 WITH SCORE 14774.756
AT ITER 6933 NEW BEST:: SOT 74952 SOS 21744 HAS SOPS 21744 HAS SOUS 14744 HAS SOUPS 14744 WITH SCORE 14765.744
AT ITER 6943 NEW BEST:: SOT 74970 SOS 21715 HAS SOPS 21715 HAS SOUS 14729 HAS SOUPS 14729 WITH SCORE 14750.715
AT ITER 6976 NEW BEST:: SOT 74963 SOS 21711 HAS SOPS 21711 HAS SOUS 14725 HAS SOUPS 14725 WITH SCORE 14746.711
AT ITER 6980 NEW BEST:: SOT 74939 SOS 21673 HAS SOPS 21673 HAS SOUS 14709 HAS SOUPS 14709 WITH SCORE 14730.673
AT ITER 7041 NEW BEST:: SOT 74974 SOS 21708 HAS SOPS 21708 HAS SOUS 14708 HAS SOUPS 14708 WITH SCORE 14729.708
AT ITER 7042 NEW BEST:: SOT 74971 SOS 21705 HAS SOPS 21705 HAS SOUS 14708 HAS SOUPS 14708 WITH SCORE 14729.705
AT ITER 7105 NEW BEST:: SOT 74948 SOS 21641 HAS SOPS 21641 HAS SOUS 14687 HAS SOUPS 14687 WITH SCORE 14708.641
AT ITER 7117 NEW BEST:: SOT 74988 SOS 21753 HAS SOPS 21753 HAS SOUS 14684 HAS SOUPS 14684 WITH SCORE 14705.753
AT ITER 7302 NEW BEST:: SOT 74974 SOS 21725 HAS SOPS 21725 HAS SOUS 14670 HAS SOUPS 14670 WITH SCORE 14691.725
AT ITER 7365 NEW BEST:: SOT 74976 SOS 21725 HAS SOPS 21725 HAS SOUS 14668 HAS SOUPS 14668 WITH SCORE 14689.725
AT ITER 7374 NEW BEST:: SOT 74975 SOS 21724 HAS SOPS 21724 HAS SOUS 14667 HAS SOUPS 14667 WITH SCORE 14688.724
AT ITER 7381 NEW BEST:: SOT 74975 SOS 21724 HAS SOPS 21724 HAS SOUS 14663 HAS SOUPS 14663 WITH SCORE 14684.724
AT ITER 7385 NEW BEST:: SOT 74974 SOS 21723 HAS SOPS 21723 HAS SOUS 14659 HAS SOUPS 14659 WITH SCORE 14680.723
AT ITER 7420 NEW BEST:: SOT 74911 SOS 21655 HAS SOPS 21655 HAS SOUS 14647 HAS SOUPS 14647 WITH SCORE 14668.655
AT ITER 7425 NEW BEST:: SOT 74905 SOS 21649 HAS SOPS 21649 HAS SOUS 14641 HAS SOUPS 14641 WITH SCORE 14662.649
AT ITER 7447 NEW BEST:: SOT 74893 SOS 21626 HAS SOPS 21626 HAS SOUS 14617 HAS SOUPS 14617 WITH SCORE 14638.626
AT ITER 7460 NEW BEST:: SOT 74878 SOS 21617 HAS SOPS 21617 HAS SOUS 14587 HAS SOUPS 14587 WITH SCORE 14608.617
AT ITER 7479 NEW BEST:: SOT 74878 SOS 21596 HAS SOPS 21596 HAS SOUS 14566 HAS SOUPS 14566 WITH SCORE 14587.596
AT ITER 7504 NEW BEST:: SOT 74878 SOS 21596 HAS SOPS 21596 HAS SOUS 14549 HAS SOUPS 14549 WITH SCORE 14570.596
AT ITER 7514 NEW BEST:: SOT 74878 SOS 21596 HAS SOPS 21596 HAS SOUS 14532 HAS SOUPS 14532 WITH SCORE 14553.596
AT ITER 7571 NEW BEST:: SOT 74876 SOS 21578 HAS SOPS 21578 HAS SOUS 14514 HAS SOUPS 14514 WITH SCORE 14535.578
AT ITER 7574 NEW BEST:: SOT 74876 SOS 21550 HAS SOPS 21550 HAS SOUS 14486 HAS SOUPS 14486 WITH SCORE 14507.55
AT ITER 7575 NEW BEST:: SOT 74874 SOS 21548 HAS SOPS 21548 HAS SOUS 14484 HAS SOUPS 14484 WITH SCORE 14505.548
AT ITER 7583 NEW BEST:: SOT 74881 SOS 21557 HAS SOPS 21557 HAS SOUS 14476 HAS SOUPS 14476 WITH SCORE 14497.557
AT ITER 7714 NEW BEST:: SOT 74878 SOS 21551 HAS SOPS 21551 HAS SOUS 14470 HAS SOUPS 14470 WITH SCORE 14491.551
AT ITER 7725 NEW BEST:: SOT 74872 SOS 21539 HAS SOPS 21539 HAS SOUS 14458 HAS SOUPS 14458 WITH SCORE 14479.539
AT ITER 7815 NEW BEST:: SOT 74898 SOS 21547 HAS SOPS 21547 HAS SOUS 14453 HAS SOUPS 14453 WITH SCORE 14474.547
AT ITER 7848 NEW BEST:: SOT 74898 SOS 21545 HAS SOPS 21545 HAS SOUS 14451 HAS SOUPS 14451 WITH SCORE 14472.545
AT ITER 7873 NEW BEST:: SOT 74893 SOS 21535 HAS SOPS 21535 HAS SOUS 14446 HAS SOUPS 14446 WITH SCORE 14467.535
AT ITER 7892 NEW BEST:: SOT 74889 SOS 21527 HAS SOPS 21527 HAS SOUS 14438 HAS SOUPS 14438 WITH SCORE 14459.527
AT ITER 7893 NEW BEST:: SOT 74886 SOS 21524 HAS SOPS 21524 HAS SOUS 14438 HAS SOUPS 14438 WITH SCORE 14459.524
AT ITER 7904 NEW BEST:: SOT 74884 SOS 21520 HAS SOPS 21520 HAS SOUS 14434 HAS SOUPS 14434 WITH SCORE 14455.52
AT ITER 7984 NEW BEST:: SOT 74884 SOS 21509 HAS SOPS 21509 HAS SOUS 14423 HAS SOUPS 14423 WITH SCORE 14444.509
AT ITER 8051 NEW BEST:: SOT 74866 SOS 21457 HAS SOPS 21457 HAS SOUS 14384 HAS SOUPS 14384 WITH SCORE 14405.457
AT ITER 8103 NEW BEST:: SOT 74863 SOS 21454 HAS SOPS 21454 HAS SOUS 14381 HAS SOUPS 14381 WITH SCORE 14402.454
AT ITER 8112 NEW BEST:: SOT 74854 SOS 21445 HAS SOPS 21445 HAS SOUS 14372 HAS SOUPS 14372 WITH SCORE 14393.445
AT ITER 8131 NEW BEST:: SOT 74847 SOS 21438 HAS SOPS 21438 HAS SOUS 14364 HAS SOUPS 14364 WITH SCORE 14385.438
AT ITER 8208 NEW BEST:: SOT 74846 SOS 21435 HAS SOPS 21435 HAS SOUS 14362 HAS SOUPS 14362 WITH SCORE 14383.435
AT ITER 8214 NEW BEST:: SOT 74842 SOS 21445 HAS SOPS 21445 HAS SOUS 14354 HAS SOUPS 14354 WITH SCORE 14375.445
AT ITER 8251 NEW BEST:: SOT 74841 SOS 21443 HAS SOPS 21443 HAS SOUS 14353 HAS SOUPS 14353 WITH SCORE 14374.443
AT ITER 8265 NEW BEST:: SOT 74822 SOS 21400 HAS SOPS 21400 HAS SOUS 14334 HAS SOUPS 14334 WITH SCORE 14355.4
AT ITER 8317 NEW BEST:: SOT 74811 SOS 21378 HAS SOPS 21378 HAS SOUS 14293 HAS SOUPS 14293 WITH SCORE 14314.378
AT ITER 8540 NEW BEST:: SOT 74809 SOS 21374 HAS SOPS 21374 HAS SOUS 14289 HAS SOUPS 14289 WITH SCORE 14310.374
AT ITER 8544 NEW BEST:: SOT 74805 SOS 21370 HAS SOPS 21370 HAS SOUS 14289 HAS SOUPS 14289 WITH SCORE 14310.37
AT ITER 8591 NEW BEST:: SOT 74812 SOS 21366 HAS SOPS 21366 HAS SOUS 14285 HAS SOUPS 14285 WITH SCORE 14306.366
AT ITER 8640 NEW BEST:: SOT 74831 SOS 21360 HAS SOPS 21360 HAS SOUS 14279 HAS SOUPS 14279 WITH SCORE 14300.36
AT ITER 8663 NEW BEST:: SOT 74853 SOS 21341 HAS SOPS 21341 HAS SOUS 14268 HAS SOUPS 14268 WITH SCORE 14289.341
AT ITER 8678 NEW BEST:: SOT 74853 SOS 21336 HAS SOPS 21336 HAS SOUS 14263 HAS SOUPS 14263 WITH SCORE 14284.336
AT ITER 8681 NEW BEST:: SOT 74834 SOS 21317 HAS SOPS 21317 HAS SOUS 14244 HAS SOUPS 14244 WITH SCORE 14265.317
AT ITER 8729 NEW BEST:: SOT 74834 SOS 21317 HAS SOPS 21317 HAS SOUS 14241 HAS SOUPS 14241 WITH SCORE 14262.317
AT ITER 8749 NEW BEST:: SOT 74839 SOS 21301 HAS SOPS 21301 HAS SOUS 14199 HAS SOUPS 14199 WITH SCORE 14220.301
AT ITER 8773 NEW BEST:: SOT 74809 SOS 21300 HAS SOPS 21300 HAS SOUS 14198 HAS SOUPS 14198 WITH SCORE 14219.3
AT ITER 8803 NEW BEST:: SOT 74787 SOS 21352 HAS SOPS 21352 HAS SOUS 14178 HAS SOUPS 14178 WITH SCORE 14199.352
AT ITER 8825 NEW BEST:: SOT 74786 SOS 21350 HAS SOPS 21350 HAS SOUS 14176 HAS SOUPS 14176 WITH SCORE 14197.35
AT ITER 8888 NEW BEST:: SOT 74785 SOS 21348 HAS SOPS 21348 HAS SOUS 14175 HAS SOUPS 14175 WITH SCORE 14196.348
AT ITER 8909 NEW BEST:: SOT 74785 SOS 21348 HAS SOPS 21348 HAS SOUS 14173 HAS SOUPS 14173 WITH SCORE 14194.348
AT ITER 8918 NEW BEST:: SOT 74787 SOS 21322 HAS SOPS 21322 HAS SOUS 14147 HAS SOUPS 14147 WITH SCORE 14168.322
AT ITER 8942 NEW BEST:: SOT 74793 SOS 21311 HAS SOPS 21311 HAS SOUS 14113 HAS SOUPS 14113 WITH SCORE 14134.311
AT ITER 8979 NEW BEST:: SOT 74792 SOS 21310 HAS SOPS 21310 HAS SOUS 14112 HAS SOUPS 14112 WITH SCORE 14133.31
AT ITER 9005 NEW BEST:: SOT 74784 SOS 21294 HAS SOPS 21294 HAS SOUS 14096 HAS SOUPS 14096 WITH SCORE 14117.294
AT ITER 9031 NEW BEST:: SOT 74788 SOS 21242 HAS SOPS 21242 HAS SOUS 14090 HAS SOUPS 14090 WITH SCORE 14111.242
AT ITER 9218 NEW BEST:: SOT 74784 SOS 21221 HAS SOPS 21221 HAS SOUS 14086 HAS SOUPS 14086 WITH SCORE 14107.221
AT ITER 9259 NEW BEST:: SOT 74782 SOS 21217 HAS SOPS 21217 HAS SOUS 14084 HAS SOUPS 14084 WITH SCORE 14105.217
AT ITER 9264 NEW BEST:: SOT 74780 SOS 21215 HAS SOPS 21215 HAS SOUS 14083 HAS SOUPS 14083 WITH SCORE 14104.215
AT ITER 9292 NEW BEST:: SOT 74757 SOS 21211 HAS SOPS 21211 HAS SOUS 14079 HAS SOUPS 14079 WITH SCORE 14100.211
AT ITER 9395 NEW BEST:: SOT 74750 SOS 21197 HAS SOPS 21197 HAS SOUS 14057 HAS SOUPS 14057 WITH SCORE 14078.197
AT ITER 9397 NEW BEST:: SOT 74746 SOS 21189 HAS SOPS 21189 HAS SOUS 14049 HAS SOUPS 14049 WITH SCORE 14070.189
AT ITER 9441 NEW BEST:: SOT 74745 SOS 21187 HAS SOPS 21187 HAS SOUS 14047 HAS SOUPS 14047 WITH SCORE 14068.187
AT ITER 9567 NEW BEST:: SOT 74749 SOS 21189 HAS SOPS 21189 HAS SOUS 14045 HAS SOUPS 14045 WITH SCORE 14066.189
AT ITER 9675 NEW BEST:: SOT 74768 SOS 21206 HAS SOPS 21206 HAS SOUS 14044 HAS SOUPS 14044 WITH SCORE 14065.206
AT ITER 9686 NEW BEST:: SOT 74746 SOS 21180 HAS SOPS 21180 HAS SOUS 14018 HAS SOUPS 14018 WITH SCORE 14039.18
AT ITER 9697 NEW BEST:: SOT 74802 SOS 21231 HAS SOPS 21231 HAS SOUS 14004 HAS SOUPS 14004 WITH SCORE 14025.231
AT ITER 9765 NEW BEST:: SOT 74827 SOS 21250 HAS SOPS 21250 HAS SOUS 13992 HAS SOUPS 13992 WITH SCORE 14013.25
AT ITER 9775 NEW BEST:: SOT 74818 SOS 21232 HAS SOPS 21232 HAS SOUS 13974 HAS SOUPS 13974 WITH SCORE 13995.232
AT ITER 9818 NEW BEST:: SOT 74807 SOS 21190 HAS SOPS 21190 HAS SOUS 13932 HAS SOUPS 13932 WITH SCORE 13953.19
AT ITER 9836 NEW BEST:: SOT 74802 SOS 21185 HAS SOPS 21185 HAS SOUS 13927 HAS SOUPS 13927 WITH SCORE 13948.185
AT ITER 9839 NEW BEST:: SOT 74807 SOS 21190 HAS SOPS 21190 HAS SOUS 13915 HAS SOUPS 13915 WITH SCORE 13936.19
AT ITER 9844 NEW BEST:: SOT 74805 SOS 21186 HAS SOPS 21186 HAS SOUS 13911 HAS SOUPS 13911 WITH SCORE 13932.186
AT ITER 9899 NEW BEST:: SOT 74787 SOS 21178 HAS SOPS 21178 HAS SOUS 13903 HAS SOUPS 13903 WITH SCORE 13924.178
AT ITER 9967 NEW BEST:: SOT 74767 SOS 21158 HAS SOPS 21158 HAS SOUS 13883 HAS SOUPS 13883 WITH SCORE 13904.158
AT ITER 9968 NEW BEST:: SOT 74763 SOS 21154 HAS SOPS 21154 HAS SOUS 13879 HAS SOUPS 13879 WITH SCORE 13900.154
AT ITER 9983 NEW BEST:: SOT 74752 SOS 21130 HAS SOPS 21130 HAS SOUS 13855 HAS SOUPS 13855 WITH SCORE 13876.13

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="BusinessProcesses-PT-07"
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 BusinessProcesses-PT-07, 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 r018-oct2-158897680100504"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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