Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r483-tall-167912696801304.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ViralEpidemic-PT-S04D1C1A03, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696801304
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 752K
-rw-r--r-- 1 mcc users 9.0K Feb 25 20:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 25 20:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 20:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 20:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 17:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 17:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 17:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 20:34 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 25 20:34 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 20:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 25 20:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 284K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679198157244

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ViralEpidemic-PT-S04D1C1A03
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S04D1C1A03
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 511 places, 765 transitions, 1785 arcs.
AT ITER 0 NEW BEST:: SOT 265901 SOS 169631 HAS SOPS 169631 HAS SOUS 51932 HAS SOUPS 51932 WITH SCORE 52101.631
AT ITER 12 NEW BEST:: SOT 265735 SOS 169216 HAS SOPS 169216 HAS SOUS 51932 HAS SOUPS 51932 WITH SCORE 52101.216
AT ITER 13 NEW BEST:: SOT 265643 SOS 168983 HAS SOPS 168983 HAS SOUS 51927 HAS SOUPS 51927 WITH SCORE 52095.983
AT ITER 27 NEW BEST:: SOT 265473 SOS 168556 HAS SOPS 168556 HAS SOUS 51925 HAS SOUPS 51925 WITH SCORE 52093.556
AT ITER 33 NEW BEST:: SOT 265047 SOS 167488 HAS SOPS 167488 HAS SOUS 51920 HAS SOUPS 51920 WITH SCORE 52087.488
AT ITER 62 NEW BEST:: SOT 264709 SOS 166643 HAS SOPS 166643 HAS SOUS 51920 HAS SOUPS 51920 WITH SCORE 52086.643
AT ITER 74 NEW BEST:: SOT 264169 SOS 165291 HAS SOPS 165291 HAS SOUS 51918 HAS SOUPS 51918 WITH SCORE 52083.291
AT ITER 84 NEW BEST:: SOT 263671 SOS 164045 HAS SOPS 164045 HAS SOUS 51917 HAS SOUPS 51917 WITH SCORE 52081.045
AT ITER 86 NEW BEST:: SOT 263491 SOS 163592 HAS SOPS 163592 HAS SOUS 51912 HAS SOUPS 51912 WITH SCORE 52075.592
AT ITER 94 NEW BEST:: SOT 262687 SOS 161978 HAS SOPS 161978 HAS SOUS 51706 HAS SOUPS 51706 WITH SCORE 51867.978
AT ITER 98 NEW BEST:: SOT 261890 SOS 160380 HAS SOPS 160380 HAS SOUS 51642 HAS SOUPS 51642 WITH SCORE 51802.38
AT ITER 101 NEW BEST:: SOT 261594 SOS 159540 HAS SOPS 159540 HAS SOUS 51581 HAS SOUPS 51581 WITH SCORE 51740.54
AT ITER 103 NEW BEST:: SOT 261356 SOS 158942 HAS SOPS 158942 HAS SOUS 51576 HAS SOUPS 51576 WITH SCORE 51734.942
AT ITER 126 NEW BEST:: SOT 260924 SOS 157862 HAS SOPS 157862 HAS SOUS 51576 HAS SOUPS 51576 WITH SCORE 51733.862
AT ITER 131 NEW BEST:: SOT 260816 SOS 157591 HAS SOPS 157591 HAS SOUS 51575 HAS SOUPS 51575 WITH SCORE 51732.591
AT ITER 138 NEW BEST:: SOT 260580 SOS 157001 HAS SOPS 157001 HAS SOUS 51575 HAS SOUPS 51575 WITH SCORE 51732.001
AT ITER 143 NEW BEST:: SOT 260536 SOS 156890 HAS SOPS 156890 HAS SOUS 51574 HAS SOUPS 51574 WITH SCORE 51730.89
AT ITER 144 NEW BEST:: SOT 260345 SOS 156292 HAS SOPS 156292 HAS SOUS 51560 HAS SOUPS 51560 WITH SCORE 51716.292
AT ITER 146 NEW BEST:: SOT 260207 SOS 155947 HAS SOPS 155947 HAS SOUS 51560 HAS SOUPS 51560 WITH SCORE 51715.947
AT ITER 153 NEW BEST:: SOT 260149 SOS 155802 HAS SOPS 155802 HAS SOUS 51560 HAS SOUPS 51560 WITH SCORE 51715.802
AT ITER 180 NEW BEST:: SOT 260149 SOS 155744 HAS SOPS 155744 HAS SOUS 51502 HAS SOUPS 51502 WITH SCORE 51657.744
AT ITER 194 NEW BEST:: SOT 259957 SOS 155262 HAS SOPS 155262 HAS SOUS 51500 HAS SOUPS 51500 WITH SCORE 51655.262
AT ITER 197 NEW BEST:: SOT 259944 SOS 155236 HAS SOPS 155236 HAS SOUS 51500 HAS SOUPS 51500 WITH SCORE 51655.236
AT ITER 206 NEW BEST:: SOT 259909 SOS 155131 HAS SOPS 155131 HAS SOUS 51430 HAS SOUPS 51430 WITH SCORE 51585.131
AT ITER 214 NEW BEST:: SOT 259861 SOS 155033 HAS SOPS 155033 HAS SOUS 51412 HAS SOUPS 51412 WITH SCORE 51567.033
AT ITER 225 NEW BEST:: SOT 259515 SOS 154166 HAS SOPS 154166 HAS SOUS 51410 HAS SOUPS 51410 WITH SCORE 51564.166
AT ITER 232 NEW BEST:: SOT 259271 SOS 153438 HAS SOPS 153438 HAS SOUS 51290 HAS SOUPS 51290 WITH SCORE 51443.438
AT ITER 243 NEW BEST:: SOT 259227 SOS 153328 HAS SOPS 153328 HAS SOUS 51290 HAS SOUPS 51290 WITH SCORE 51443.328
AT ITER 249 NEW BEST:: SOT 259011 SOS 152786 HAS SOPS 152786 HAS SOUS 51288 HAS SOUPS 51288 WITH SCORE 51440.786
AT ITER 256 NEW BEST:: SOT 258941 SOS 152609 HAS SOPS 152609 HAS SOUS 51286 HAS SOUPS 51286 WITH SCORE 51438.609
AT ITER 257 NEW BEST:: SOT 258622 SOS 151626 HAS SOPS 151626 HAS SOUS 51050 HAS SOUPS 51050 WITH SCORE 51201.626
AT ITER 270 NEW BEST:: SOT 258622 SOS 151591 HAS SOPS 151591 HAS SOUS 51011 HAS SOUPS 51011 WITH SCORE 51162.591
AT ITER 272 NEW BEST:: SOT 258386 SOS 150904 HAS SOPS 150904 HAS SOUS 50910 HAS SOUPS 50910 WITH SCORE 51060.904
AT ITER 294 NEW BEST:: SOT 258344 SOS 150796 HAS SOPS 150796 HAS SOUS 50905 HAS SOUPS 50905 WITH SCORE 51055.796
AT ITER 311 NEW BEST:: SOT 257776 SOS 149052 HAS SOPS 149052 HAS SOUS 50755 HAS SOUPS 50755 WITH SCORE 50904.052
AT ITER 316 NEW BEST:: SOT 257480 SOS 148203 HAS SOPS 148203 HAS SOUS 50642 HAS SOUPS 50642 WITH SCORE 50790.203
AT ITER 321 NEW BEST:: SOT 257312 SOS 147780 HAS SOPS 147780 HAS SOUS 50637 HAS SOUPS 50637 WITH SCORE 50784.78
AT ITER 345 NEW BEST:: SOT 256902 SOS 146755 HAS SOPS 146755 HAS SOUS 50637 HAS SOUPS 50637 WITH SCORE 50783.755
AT ITER 360 NEW BEST:: SOT 256644 SOS 146109 HAS SOPS 146109 HAS SOUS 50636 HAS SOUPS 50636 WITH SCORE 50782.109
AT ITER 361 NEW BEST:: SOT 256080 SOS 144698 HAS SOPS 144698 HAS SOUS 50635 HAS SOUPS 50635 WITH SCORE 50779.698
AT ITER 366 NEW BEST:: SOT 256077 SOS 144692 HAS SOPS 144692 HAS SOUS 50632 HAS SOUPS 50632 WITH SCORE 50776.692
AT ITER 373 NEW BEST:: SOT 256022 SOS 144484 HAS SOPS 144484 HAS SOUS 50626 HAS SOUPS 50626 WITH SCORE 50770.484
AT ITER 377 NEW BEST:: SOT 255634 SOS 143342 HAS SOPS 143342 HAS SOUS 50539 HAS SOUPS 50539 WITH SCORE 50682.342
AT ITER 382 NEW BEST:: SOT 255266 SOS 142421 HAS SOPS 142421 HAS SOUS 50538 HAS SOUPS 50538 WITH SCORE 50680.421
AT ITER 417 NEW BEST:: SOT 255104 SOS 142013 HAS SOPS 142013 HAS SOUS 50533 HAS SOUPS 50533 WITH SCORE 50675.013
AT ITER 418 NEW BEST:: SOT 254958 SOS 141575 HAS SOPS 141575 HAS SOUS 50460 HAS SOUPS 50460 WITH SCORE 50601.575
AT ITER 444 NEW BEST:: SOT 254908 SOS 141425 HAS SOPS 141425 HAS SOUS 50433 HAS SOUPS 50433 WITH SCORE 50574.425
AT ITER 448 NEW BEST:: SOT 254660 SOS 140805 HAS SOPS 140805 HAS SOUS 50433 HAS SOUPS 50433 WITH SCORE 50573.805
AT ITER 451 NEW BEST:: SOT 254554 SOS 140538 HAS SOPS 140538 HAS SOUS 50431 HAS SOUPS 50431 WITH SCORE 50571.538
AT ITER 457 NEW BEST:: SOT 254314 SOS 139836 HAS SOPS 139836 HAS SOUS 50392 HAS SOUPS 50392 WITH SCORE 50531.836
AT ITER 460 NEW BEST:: SOT 254158 SOS 139446 HAS SOPS 139446 HAS SOUS 50392 HAS SOUPS 50392 WITH SCORE 50531.446
AT ITER 465 NEW BEST:: SOT 254048 SOS 139132 HAS SOPS 139132 HAS SOUS 50353 HAS SOUPS 50353 WITH SCORE 50492.132
AT ITER 476 NEW BEST:: SOT 254048 SOS 138994 HAS SOPS 138994 HAS SOUS 50215 HAS SOUPS 50215 WITH SCORE 50353.994
AT ITER 507 NEW BEST:: SOT 254044 SOS 138978 HAS SOPS 138978 HAS SOUS 50215 HAS SOUPS 50215 WITH SCORE 50353.978
AT ITER 510 NEW BEST:: SOT 254044 SOS 138807 HAS SOPS 138807 HAS SOUS 50044 HAS SOUPS 50044 WITH SCORE 50182.807
AT ITER 525 NEW BEST:: SOT 254016 SOS 138751 HAS SOPS 138751 HAS SOUS 50016 HAS SOUPS 50016 WITH SCORE 50154.751
AT ITER 531 NEW BEST:: SOT 253974 SOS 138593 HAS SOPS 138593 HAS SOUS 50011 HAS SOUPS 50011 WITH SCORE 50149.593
AT ITER 532 NEW BEST:: SOT 253858 SOS 138245 HAS SOPS 138245 HAS SOUS 49953 HAS SOUPS 49953 WITH SCORE 50091.245
AT ITER 534 NEW BEST:: SOT 253690 SOS 137824 HAS SOPS 137824 HAS SOUS 49952 HAS SOUPS 49952 WITH SCORE 50089.824
AT ITER 539 NEW BEST:: SOT 253591 SOS 137623 HAS SOPS 137623 HAS SOUS 49914 HAS SOUPS 49914 WITH SCORE 50051.623
AT ITER 544 NEW BEST:: SOT 253371 SOS 137071 HAS SOPS 137071 HAS SOUS 49912 HAS SOUPS 49912 WITH SCORE 50049.071
AT ITER 550 NEW BEST:: SOT 253365 SOS 137058 HAS SOPS 137058 HAS SOUS 49909 HAS SOUPS 49909 WITH SCORE 50046.058
AT ITER 556 NEW BEST:: SOT 252941 SOS 135997 HAS SOPS 135997 HAS SOUS 49908 HAS SOUPS 49908 WITH SCORE 50043.997
AT ITER 560 NEW BEST:: SOT 252908 SOS 135931 HAS SOPS 135931 HAS SOUS 49870 HAS SOUPS 49870 WITH SCORE 50005.931
AT ITER 572 NEW BEST:: SOT 252682 SOS 135253 HAS SOPS 135253 HAS SOUS 49755 HAS SOUPS 49755 WITH SCORE 49890.253
AT ITER 582 NEW BEST:: SOT 252666 SOS 135205 HAS SOPS 135205 HAS SOUS 49745 HAS SOUPS 49745 WITH SCORE 49880.205
AT ITER 589 NEW BEST:: SOT 252669 SOS 135160 HAS SOPS 135160 HAS SOUS 49697 HAS SOUPS 49697 WITH SCORE 49832.16
AT ITER 597 NEW BEST:: SOT 252750 SOS 134911 HAS SOPS 134911 HAS SOUS 49448 HAS SOUPS 49448 WITH SCORE 49582.911
AT ITER 599 NEW BEST:: SOT 252105 SOS 133618 HAS SOPS 133618 HAS SOUS 49235 HAS SOUPS 49235 WITH SCORE 49368.618
AT ITER 609 NEW BEST:: SOT 251835 SOS 132933 HAS SOPS 132933 HAS SOUS 49223 HAS SOUPS 49223 WITH SCORE 49355.933
AT ITER 619 NEW BEST:: SOT 251615 SOS 132342 HAS SOPS 132342 HAS SOUS 49182 HAS SOUPS 49182 WITH SCORE 49314.342
AT ITER 623 NEW BEST:: SOT 251713 SOS 132616 HAS SOPS 132616 HAS SOUS 49124 HAS SOUPS 49124 WITH SCORE 49256.616
AT ITER 667 NEW BEST:: SOT 251654 SOS 132416 HAS SOPS 132416 HAS SOUS 49106 HAS SOUPS 49106 WITH SCORE 49238.416
AT ITER 690 NEW BEST:: SOT 251518 SOS 132075 HAS SOPS 132075 HAS SOUS 49105 HAS SOUPS 49105 WITH SCORE 49237.075
AT ITER 694 NEW BEST:: SOT 251518 SOS 132075 HAS SOPS 132075 HAS SOUS 49099 HAS SOUPS 49099 WITH SCORE 49231.075
AT ITER 713 NEW BEST:: SOT 251300 SOS 131527 HAS SOPS 131527 HAS SOUS 49094 HAS SOUPS 49094 WITH SCORE 49225.527
AT ITER 715 NEW BEST:: SOT 251290 SOS 131497 HAS SOPS 131497 HAS SOUS 49089 HAS SOUPS 49089 WITH SCORE 49220.497
AT ITER 723 NEW BEST:: SOT 251044 SOS 131263 HAS SOPS 131263 HAS SOUS 49077 HAS SOUPS 49077 WITH SCORE 49208.263
AT ITER 733 NEW BEST:: SOT 250900 SOS 130831 HAS SOPS 130831 HAS SOUS 49005 HAS SOUPS 49005 WITH SCORE 49135.831
AT ITER 748 NEW BEST:: SOT 250788 SOS 130491 HAS SOPS 130491 HAS SOUS 48993 HAS SOUPS 48993 WITH SCORE 49123.491
AT ITER 754 NEW BEST:: SOT 250786 SOS 130485 HAS SOPS 130485 HAS SOUS 48992 HAS SOUPS 48992 WITH SCORE 49122.485
AT ITER 756 NEW BEST:: SOT 250504 SOS 129745 HAS SOPS 129745 HAS SOUS 48944 HAS SOUPS 48944 WITH SCORE 49073.745
AT ITER 757 NEW BEST:: SOT 250454 SOS 129645 HAS SOPS 129645 HAS SOUS 48894 HAS SOUPS 48894 WITH SCORE 49023.645
AT ITER 761 NEW BEST:: SOT 250182 SOS 128964 HAS SOPS 128964 HAS SOUS 48893 HAS SOUPS 48893 WITH SCORE 49021.964
AT ITER 774 NEW BEST:: SOT 250096 SOS 128892 HAS SOPS 128892 HAS SOUS 48843 HAS SOUPS 48843 WITH SCORE 48971.892
AT ITER 788 NEW BEST:: SOT 249777 SOS 127932 HAS SOPS 127932 HAS SOUS 48694 HAS SOUPS 48694 WITH SCORE 48821.932
AT ITER 789 NEW BEST:: SOT 249761 SOS 127892 HAS SOPS 127892 HAS SOUS 48694 HAS SOUPS 48694 WITH SCORE 48821.892
AT ITER 796 NEW BEST:: SOT 249518 SOS 127194 HAS SOPS 127194 HAS SOUS 48615 HAS SOUPS 48615 WITH SCORE 48742.194
AT ITER 811 NEW BEST:: SOT 249510 SOS 127174 HAS SOPS 127174 HAS SOUS 48615 HAS SOUPS 48615 WITH SCORE 48742.174
AT ITER 828 NEW BEST:: SOT 249320 SOS 126604 HAS SOPS 126604 HAS SOUS 48516 HAS SOUPS 48516 WITH SCORE 48642.604
AT ITER 843 NEW BEST:: SOT 249098 SOS 125959 HAS SOPS 125959 HAS SOUS 48495 HAS SOUPS 48495 WITH SCORE 48620.959
AT ITER 846 NEW BEST:: SOT 248712 SOS 124991 HAS SOPS 124991 HAS SOUS 48490 HAS SOUPS 48490 WITH SCORE 48614.991
AT ITER 849 NEW BEST:: SOT 248712 SOS 124991 HAS SOPS 124991 HAS SOUS 48488 HAS SOUPS 48488 WITH SCORE 48612.991
AT ITER 853 NEW BEST:: SOT 248712 SOS 124801 HAS SOPS 124801 HAS SOUS 48314 HAS SOUPS 48314 WITH SCORE 48438.801
AT ITER 856 NEW BEST:: SOT 248466 SOS 124309 HAS SOPS 124309 HAS SOUS 48008 HAS SOUPS 48008 WITH SCORE 48132.309
AT ITER 860 NEW BEST:: SOT 248237 SOS 123851 HAS SOPS 123851 HAS SOUS 47979 HAS SOUPS 47979 WITH SCORE 48102.851
AT ITER 867 NEW BEST:: SOT 247898 SOS 122853 HAS SOPS 122853 HAS SOUS 47905 HAS SOUPS 47905 WITH SCORE 48027.853
AT ITER 868 NEW BEST:: SOT 247898 SOS 122853 HAS SOPS 122853 HAS SOUS 47903 HAS SOUPS 47903 WITH SCORE 48025.853
AT ITER 895 NEW BEST:: SOT 247514 SOS 121737 HAS SOPS 121737 HAS SOUS 47799 HAS SOUPS 47799 WITH SCORE 47920.737
AT ITER 904 NEW BEST:: SOT 247511 SOS 121731 HAS SOPS 121731 HAS SOUS 47796 HAS SOUPS 47796 WITH SCORE 47917.731
AT ITER 911 NEW BEST:: SOT 246890 SOS 120489 HAS SOPS 120489 HAS SOUS 47609 HAS SOUPS 47609 WITH SCORE 47729.489
AT ITER 930 NEW BEST:: SOT 246856 SOS 120387 HAS SOPS 120387 HAS SOUS 47592 HAS SOUPS 47592 WITH SCORE 47712.387
AT ITER 932 NEW BEST:: SOT 246312 SOS 119027 HAS SOPS 119027 HAS SOUS 47592 HAS SOUPS 47592 WITH SCORE 47711.027
AT ITER 971 NEW BEST:: SOT 246270 SOS 118943 HAS SOPS 118943 HAS SOUS 47541 HAS SOUPS 47541 WITH SCORE 47659.943
AT ITER 979 NEW BEST:: SOT 246224 SOS 118832 HAS SOPS 118832 HAS SOUS 47422 HAS SOUPS 47422 WITH SCORE 47540.832
AT ITER 984 NEW BEST:: SOT 246178 SOS 118698 HAS SOPS 118698 HAS SOUS 47403 HAS SOUPS 47403 WITH SCORE 47521.698
AT ITER 989 NEW BEST:: SOT 246148 SOS 118638 HAS SOPS 118638 HAS SOUS 47373 HAS SOUPS 47373 WITH SCORE 47491.638
AT ITER 998 NEW BEST:: SOT 245938 SOS 118026 HAS SOPS 118026 HAS SOUS 47286 HAS SOUPS 47286 WITH SCORE 47404.026
AT ITER 1004 NEW BEST:: SOT 245910 SOS 117942 HAS SOPS 117942 HAS SOUS 47270 HAS SOUPS 47270 WITH SCORE 47387.942
AT ITER 1011 NEW BEST:: SOT 245627 SOS 117114 HAS SOPS 117114 HAS SOUS 47184 HAS SOUPS 47184 WITH SCORE 47301.114
AT ITER 1023 NEW BEST:: SOT 245638 SOS 117146 HAS SOPS 117146 HAS SOUS 47177 HAS SOUPS 47177 WITH SCORE 47294.146
AT ITER 1040 NEW BEST:: SOT 245620 SOS 117100 HAS SOPS 117100 HAS SOUS 47176 HAS SOUPS 47176 WITH SCORE 47293.1
AT ITER 1045 NEW BEST:: SOT 245466 SOS 116527 HAS SOPS 116527 HAS SOUS 47173 HAS SOUPS 47173 WITH SCORE 47289.527
AT ITER 1066 NEW BEST:: SOT 245210 SOS 115762 HAS SOPS 115762 HAS SOUS 47096 HAS SOUPS 47096 WITH SCORE 47211.762
AT ITER 1073 NEW BEST:: SOT 245190 SOS 115712 HAS SOPS 115712 HAS SOUS 47096 HAS SOUPS 47096 WITH SCORE 47211.712
AT ITER 1078 NEW BEST:: SOT 244924 SOS 115044 HAS SOPS 115044 HAS SOUS 47091 HAS SOUPS 47091 WITH SCORE 47206.044
AT ITER 1088 NEW BEST:: SOT 244736 SOS 114489 HAS SOPS 114489 HAS SOUS 47042 HAS SOUPS 47042 WITH SCORE 47156.489
AT ITER 1096 NEW BEST:: SOT 244246 SOS 113022 HAS SOPS 113022 HAS SOUS 46916 HAS SOUPS 46916 WITH SCORE 47029.022
AT ITER 1104 NEW BEST:: SOT 244160 SOS 112173 HAS SOPS 112173 HAS SOUS 46912 HAS SOUPS 46912 WITH SCORE 47024.173
AT ITER 1105 NEW BEST:: SOT 243797 SOS 111430 HAS SOPS 111430 HAS SOUS 46770 HAS SOUPS 46770 WITH SCORE 46881.43
AT ITER 1108 NEW BEST:: SOT 243515 SOS 110566 HAS SOPS 110566 HAS SOUS 46488 HAS SOUPS 46488 WITH SCORE 46598.566
AT ITER 1126 NEW BEST:: SOT 243243 SOS 109883 HAS SOPS 109883 HAS SOUS 46483 HAS SOUPS 46483 WITH SCORE 46592.883
AT ITER 1129 NEW BEST:: SOT 243216 SOS 109829 HAS SOPS 109829 HAS SOUS 46440 HAS SOUPS 46440 WITH SCORE 46549.829
AT ITER 1130 NEW BEST:: SOT 243255 SOS 109795 HAS SOPS 109795 HAS SOUS 46247 HAS SOUPS 46247 WITH SCORE 46356.795
AT ITER 1146 NEW BEST:: SOT 242976 SOS 108919 HAS SOPS 108919 HAS SOUS 46127 HAS SOUPS 46127 WITH SCORE 46235.919
AT ITER 1154 NEW BEST:: SOT 242914 SOS 108763 HAS SOPS 108763 HAS SOUS 46058 HAS SOUPS 46058 WITH SCORE 46166.763
AT ITER 1158 NEW BEST:: SOT 242756 SOS 108289 HAS SOPS 108289 HAS SOUS 45977 HAS SOUPS 45977 WITH SCORE 46085.289
AT ITER 1177 NEW BEST:: SOT 242620 SOS 107916 HAS SOPS 107916 HAS SOUS 45944 HAS SOUPS 45944 WITH SCORE 46051.916
AT ITER 1187 NEW BEST:: SOT 242105 SOS 106315 HAS SOPS 106315 HAS SOUS 45749 HAS SOUPS 45749 WITH SCORE 45855.315
AT ITER 1188 NEW BEST:: SOT 242105 SOS 106321 HAS SOPS 106321 HAS SOUS 45743 HAS SOUPS 45743 WITH SCORE 45849.321
AT ITER 1219 NEW BEST:: SOT 242000 SOS 105973 HAS SOPS 105973 HAS SOUS 45707 HAS SOUPS 45707 WITH SCORE 45812.973
AT ITER 1220 NEW BEST:: SOT 241884 SOS 105682 HAS SOPS 105682 HAS SOUS 45706 HAS SOUPS 45706 WITH SCORE 45811.682
AT ITER 1222 NEW BEST:: SOT 241848 SOS 105635 HAS SOPS 105635 HAS SOUS 45695 HAS SOUPS 45695 WITH SCORE 45800.635
AT ITER 1237 NEW BEST:: SOT 241848 SOS 105631 HAS SOPS 105631 HAS SOUS 45691 HAS SOUPS 45691 WITH SCORE 45796.631
AT ITER 1257 NEW BEST:: SOT 241532 SOS 104709 HAS SOPS 104709 HAS SOUS 45557 HAS SOUPS 45557 WITH SCORE 45661.709
AT ITER 1261 NEW BEST:: SOT 241532 SOS 104631 HAS SOPS 104631 HAS SOUS 45391 HAS SOUPS 45391 WITH SCORE 45495.631
AT ITER 1262 NEW BEST:: SOT 241488 SOS 104499 HAS SOPS 104499 HAS SOUS 45369 HAS SOUPS 45369 WITH SCORE 45473.499
AT ITER 1268 NEW BEST:: SOT 241285 SOS 104093 HAS SOPS 104093 HAS SOUS 45103 HAS SOUPS 45103 WITH SCORE 45207.093
AT ITER 1282 NEW BEST:: SOT 240932 SOS 103001 HAS SOPS 103001 HAS SOUS 44943 HAS SOUPS 44943 WITH SCORE 45046.001
AT ITER 1286 NEW BEST:: SOT 240929 SOS 102995 HAS SOPS 102995 HAS SOUS 44940 HAS SOUPS 44940 WITH SCORE 45042.995
AT ITER 1297 NEW BEST:: SOT 240623 SOS 102137 HAS SOPS 102137 HAS SOUS 44887 HAS SOUPS 44887 WITH SCORE 44989.137
AT ITER 1325 NEW BEST:: SOT 240566 SOS 101951 HAS SOPS 101951 HAS SOUS 44866 HAS SOUPS 44866 WITH SCORE 44967.951
AT ITER 1329 NEW BEST:: SOT 240405 SOS 101417 HAS SOPS 101417 HAS SOUS 44760 HAS SOUPS 44760 WITH SCORE 44861.417
AT ITER 1334 NEW BEST:: SOT 240338 SOS 101283 HAS SOPS 101283 HAS SOUS 44693 HAS SOUPS 44693 WITH SCORE 44794.283
AT ITER 1345 NEW BEST:: SOT 240056 SOS 100557 HAS SOPS 100557 HAS SOUS 44672 HAS SOUPS 44672 WITH SCORE 44772.557
AT ITER 1373 NEW BEST:: SOT 239895 SOS 100046 HAS SOPS 100046 HAS SOUS 44625 HAS SOUPS 44625 WITH SCORE 44725.046
AT ITER 1395 NEW BEST:: SOT 239759 SOS 99721 HAS SOPS 99721 HAS SOUS 44542 HAS SOUPS 44542 WITH SCORE 44641.721
AT ITER 1410 NEW BEST:: SOT 239738 SOS 99672 HAS SOPS 99672 HAS SOUS 44526 HAS SOUPS 44526 WITH SCORE 44625.672
AT ITER 1437 NEW BEST:: SOT 239734 SOS 99664 HAS SOPS 99664 HAS SOUS 44522 HAS SOUPS 44522 WITH SCORE 44621.664
AT ITER 1461 NEW BEST:: SOT 239734 SOS 99720 HAS SOPS 99720 HAS SOUS 44494 HAS SOUPS 44494 WITH SCORE 44593.72
AT ITER 1483 NEW BEST:: SOT 239695 SOS 99642 HAS SOPS 99642 HAS SOUS 44455 HAS SOUPS 44455 WITH SCORE 44554.642
AT ITER 1489 NEW BEST:: SOT 239625 SOS 99446 HAS SOPS 99446 HAS SOUS 44434 HAS SOUPS 44434 WITH SCORE 44533.446
AT ITER 1491 NEW BEST:: SOT 239543 SOS 99200 HAS SOPS 99200 HAS SOUS 44311 HAS SOUPS 44311 WITH SCORE 44410.2
AT ITER 1500 NEW BEST:: SOT 239403 SOS 98837 HAS SOPS 98837 HAS SOUS 44302 HAS SOUPS 44302 WITH SCORE 44400.837
AT ITER 1514 NEW BEST:: SOT 239403 SOS 98837 HAS SOPS 98837 HAS SOUS 44298 HAS SOUPS 44298 WITH SCORE 44396.837
AT ITER 1515 NEW BEST:: SOT 239363 SOS 98486 HAS SOPS 98486 HAS SOUS 44243 HAS SOUPS 44243 WITH SCORE 44341.486
AT ITER 1517 NEW BEST:: SOT 239209 SOS 98177 HAS SOPS 98177 HAS SOUS 44200 HAS SOUPS 44200 WITH SCORE 44298.177
AT ITER 1525 NEW BEST:: SOT 239200 SOS 98046 HAS SOPS 98046 HAS SOUS 44074 HAS SOUPS 44074 WITH SCORE 44172.046
AT ITER 1543 NEW BEST:: SOT 239200 SOS 98046 HAS SOPS 98046 HAS SOUS 43876 HAS SOUPS 43876 WITH SCORE 43974.046
AT ITER 1556 NEW BEST:: SOT 238890 SOS 97261 HAS SOPS 97261 HAS SOUS 43850 HAS SOUPS 43850 WITH SCORE 43947.261
AT ITER 1576 NEW BEST:: SOT 238796 SOS 97025 HAS SOPS 97025 HAS SOUS 43849 HAS SOUPS 43849 WITH SCORE 43946.025
AT ITER 1578 NEW BEST:: SOT 238570 SOS 96285 HAS SOPS 96285 HAS SOUS 43803 HAS SOUPS 43803 WITH SCORE 43899.285
AT ITER 1582 NEW BEST:: SOT 238495 SOS 96047 HAS SOPS 96047 HAS SOUS 43781 HAS SOUPS 43781 WITH SCORE 43877.047
AT ITER 1596 NEW BEST:: SOT 238495 SOS 96047 HAS SOPS 96047 HAS SOUS 43761 HAS SOUPS 43761 WITH SCORE 43857.047
AT ITER 1597 NEW BEST:: SOT 238439 SOS 95935 HAS SOPS 95935 HAS SOUS 43705 HAS SOUPS 43705 WITH SCORE 43800.935
AT ITER 1611 NEW BEST:: SOT 238439 SOS 95933 HAS SOPS 95933 HAS SOUS 43703 HAS SOUPS 43703 WITH SCORE 43798.933
AT ITER 1616 NEW BEST:: SOT 238294 SOS 95562 HAS SOPS 95562 HAS SOUS 43543 HAS SOUPS 43543 WITH SCORE 43638.562
AT ITER 1624 NEW BEST:: SOT 238294 SOS 95461 HAS SOPS 95461 HAS SOUS 43442 HAS SOUPS 43442 WITH SCORE 43537.461
AT ITER 1626 NEW BEST:: SOT 238111 SOS 95095 HAS SOPS 95095 HAS SOUS 43283 HAS SOUPS 43283 WITH SCORE 43378.095
AT ITER 1627 NEW BEST:: SOT 237968 SOS 94585 HAS SOPS 94585 HAS SOUS 43267 HAS SOUPS 43267 WITH SCORE 43361.585
AT ITER 1648 NEW BEST:: SOT 237783 SOS 93928 HAS SOPS 93928 HAS SOUS 43042 HAS SOUPS 43042 WITH SCORE 43135.928
AT ITER 1655 NEW BEST:: SOT 237783 SOS 93928 HAS SOPS 93928 HAS SOUS 43038 HAS SOUPS 43038 WITH SCORE 43131.928
AT ITER 1689 NEW BEST:: SOT 237774 SOS 93882 HAS SOPS 93882 HAS SOUS 43001 HAS SOUPS 43001 WITH SCORE 43094.882
AT ITER 1700 NEW BEST:: SOT 237774 SOS 93855 HAS SOPS 93855 HAS SOUS 42972 HAS SOUPS 42972 WITH SCORE 43065.855
AT ITER 1714 NEW BEST:: SOT 237846 SOS 94097 HAS SOPS 94097 HAS SOUS 42968 HAS SOUPS 42968 WITH SCORE 43062.097
AT ITER 1723 NEW BEST:: SOT 237708 SOS 93683 HAS SOPS 93683 HAS SOUS 42899 HAS SOUPS 42899 WITH SCORE 42992.683
AT ITER 1725 NEW BEST:: SOT 237706 SOS 93681 HAS SOPS 93681 HAS SOUS 42893 HAS SOUPS 42893 WITH SCORE 42986.681
AT ITER 1745 NEW BEST:: SOT 237699 SOS 93668 HAS SOPS 93668 HAS SOUS 42893 HAS SOUPS 42893 WITH SCORE 42986.668
AT ITER 1773 NEW BEST:: SOT 237637 SOS 93486 HAS SOPS 93486 HAS SOUS 42878 HAS SOUPS 42878 WITH SCORE 42971.486
AT ITER 1778 NEW BEST:: SOT 237545 SOS 93171 HAS SOPS 93171 HAS SOUS 42860 HAS SOUPS 42860 WITH SCORE 42953.171
AT ITER 1798 NEW BEST:: SOT 237545 SOS 93158 HAS SOPS 93158 HAS SOUS 42847 HAS SOUPS 42847 WITH SCORE 42940.158
AT ITER 1817 NEW BEST:: SOT 237595 SOS 93357 HAS SOPS 93357 HAS SOUS 42846 HAS SOUPS 42846 WITH SCORE 42939.357
AT ITER 1822 NEW BEST:: SOT 237587 SOS 93329 HAS SOPS 93329 HAS SOUS 42754 HAS SOUPS 42754 WITH SCORE 42847.329
AT ITER 1827 NEW BEST:: SOT 237563 SOS 93237 HAS SOPS 93237 HAS SOUS 42743 HAS SOUPS 42743 WITH SCORE 42836.237
AT ITER 1835 NEW BEST:: SOT 237280 SOS 92355 HAS SOPS 92355 HAS SOUS 42681 HAS SOUPS 42681 WITH SCORE 42773.355
AT ITER 1845 NEW BEST:: SOT 237302 SOS 92396 HAS SOPS 92396 HAS SOUS 42678 HAS SOUPS 42678 WITH SCORE 42770.396
AT ITER 1857 NEW BEST:: SOT 237236 SOS 92242 HAS SOPS 92242 HAS SOUS 42634 HAS SOUPS 42634 WITH SCORE 42726.242
AT ITER 1861 NEW BEST:: SOT 237192 SOS 92110 HAS SOPS 92110 HAS SOUS 42610 HAS SOUPS 42610 WITH SCORE 42702.11
AT ITER 1872 NEW BEST:: SOT 236563 SOS 90641 HAS SOPS 90641 HAS SOUS 42192 HAS SOUPS 42192 WITH SCORE 42282.641
AT ITER 1886 NEW BEST:: SOT 236503 SOS 90520 HAS SOPS 90520 HAS SOUS 42171 HAS SOUPS 42171 WITH SCORE 42261.52
AT ITER 1897 NEW BEST:: SOT 236188 SOS 89785 HAS SOPS 89785 HAS SOUS 41915 HAS SOUPS 41915 WITH SCORE 42004.785
AT ITER 1907 NEW BEST:: SOT 235920 SOS 88911 HAS SOPS 88911 HAS SOUS 41828 HAS SOUPS 41828 WITH SCORE 41916.911
AT ITER 1910 NEW BEST:: SOT 235861 SOS 88793 HAS SOPS 88793 HAS SOUS 41800 HAS SOUPS 41800 WITH SCORE 41888.793
AT ITER 1952 NEW BEST:: SOT 235797 SOS 88607 HAS SOPS 88607 HAS SOUS 41774 HAS SOUPS 41774 WITH SCORE 41862.607
AT ITER 1954 NEW BEST:: SOT 235797 SOS 88607 HAS SOPS 88607 HAS SOUS 41770 HAS SOUPS 41770 WITH SCORE 41858.607
AT ITER 1959 NEW BEST:: SOT 235723 SOS 88385 HAS SOPS 88385 HAS SOUS 41733 HAS SOUPS 41733 WITH SCORE 41821.385
AT ITER 1970 NEW BEST:: SOT 235729 SOS 88403 HAS SOPS 88403 HAS SOUS 41727 HAS SOUPS 41727 WITH SCORE 41815.403
AT ITER 1971 NEW BEST:: SOT 235438 SOS 87694 HAS SOPS 87694 HAS SOUS 41424 HAS SOUPS 41424 WITH SCORE 41511.694
AT ITER 1978 NEW BEST:: SOT 235380 SOS 87546 HAS SOPS 87546 HAS SOUS 41419 HAS SOUPS 41419 WITH SCORE 41506.546
AT ITER 1999 NEW BEST:: SOT 235310 SOS 87442 HAS SOPS 87442 HAS SOUS 41250 HAS SOUPS 41250 WITH SCORE 41337.442
AT ITER 2025 NEW BEST:: SOT 235240 SOS 87302 HAS SOPS 87302 HAS SOUS 41164 HAS SOUPS 41164 WITH SCORE 41251.302
AT ITER 2037 NEW BEST:: SOT 234997 SOS 86502 HAS SOPS 86502 HAS SOUS 40902 HAS SOUPS 40902 WITH SCORE 40988.502
AT ITER 2039 NEW BEST:: SOT 234982 SOS 86482 HAS SOPS 86482 HAS SOUS 40897 HAS SOUPS 40897 WITH SCORE 40983.482
AT ITER 2045 NEW BEST:: SOT 234982 SOS 86480 HAS SOPS 86480 HAS SOUS 40773 HAS SOUPS 40773 WITH SCORE 40859.48
AT ITER 2053 NEW BEST:: SOT 234982 SOS 86480 HAS SOPS 86480 HAS SOUS 40767 HAS SOUPS 40767 WITH SCORE 40853.48
AT ITER 2067 NEW BEST:: SOT 234940 SOS 86354 HAS SOPS 86354 HAS SOUS 40746 HAS SOUPS 40746 WITH SCORE 40832.354
AT ITER 2087 NEW BEST:: SOT 234880 SOS 86214 HAS SOPS 86214 HAS SOUS 40706 HAS SOUPS 40706 WITH SCORE 40792.214
AT ITER 2101 NEW BEST:: SOT 234779 SOS 85907 HAS SOPS 85907 HAS SOUS 40680 HAS SOUPS 40680 WITH SCORE 40765.907
AT ITER 2104 NEW BEST:: SOT 234673 SOS 85693 HAS SOPS 85693 HAS SOUS 40668 HAS SOUPS 40668 WITH SCORE 40753.693
AT ITER 2107 NEW BEST:: SOT 234667 SOS 85679 HAS SOPS 85679 HAS SOUS 40662 HAS SOUPS 40662 WITH SCORE 40747.679
AT ITER 2123 NEW BEST:: SOT 234651 SOS 85647 HAS SOPS 85647 HAS SOUS 40646 HAS SOUPS 40646 WITH SCORE 40731.647
AT ITER 2129 NEW BEST:: SOT 234651 SOS 85633 HAS SOPS 85633 HAS SOUS 40566 HAS SOUPS 40566 WITH SCORE 40651.633
AT ITER 2134 NEW BEST:: SOT 234619 SOS 85552 HAS SOPS 85552 HAS SOUS 40553 HAS SOUPS 40553 WITH SCORE 40638.552
AT ITER 2156 NEW BEST:: SOT 234619 SOS 85557 HAS SOPS 85557 HAS SOUS 40543 HAS SOUPS 40543 WITH SCORE 40628.557
AT ITER 2176 NEW BEST:: SOT 234215 SOS 84545 HAS SOPS 84545 HAS SOUS 40541 HAS SOUPS 40541 WITH SCORE 40625.545
AT ITER 2193 NEW BEST:: SOT 233975 SOS 83632 HAS SOPS 83632 HAS SOUS 40415 HAS SOUPS 40415 WITH SCORE 40498.632
AT ITER 2194 NEW BEST:: SOT 233936 SOS 83273 HAS SOPS 83273 HAS SOUS 40281 HAS SOUPS 40281 WITH SCORE 40364.273
AT ITER 2197 NEW BEST:: SOT 233879 SOS 83166 HAS SOPS 83166 HAS SOUS 40231 HAS SOUPS 40231 WITH SCORE 40314.166
AT ITER 2214 NEW BEST:: SOT 233888 SOS 83184 HAS SOPS 83184 HAS SOUS 40213 HAS SOUPS 40213 WITH SCORE 40296.184
AT ITER 2258 NEW BEST:: SOT 233876 SOS 83172 HAS SOPS 83172 HAS SOUS 40201 HAS SOUPS 40201 WITH SCORE 40284.172
AT ITER 2268 NEW BEST:: SOT 233756 SOS 82876 HAS SOPS 82876 HAS SOUS 40185 HAS SOUPS 40185 WITH SCORE 40267.876
AT ITER 2272 NEW BEST:: SOT 233640 SOS 82404 HAS SOPS 82404 HAS SOUS 40131 HAS SOUPS 40131 WITH SCORE 40213.404
AT ITER 2284 NEW BEST:: SOT 233514 SOS 82089 HAS SOPS 82089 HAS SOUS 40131 HAS SOUPS 40131 WITH SCORE 40213.089
AT ITER 2286 NEW BEST:: SOT 233454 SOS 81909 HAS SOPS 81909 HAS SOUS 40041 HAS SOUPS 40041 WITH SCORE 40122.909
AT ITER 2305 NEW BEST:: SOT 233436 SOS 81944 HAS SOPS 81944 HAS SOUS 40031 HAS SOUPS 40031 WITH SCORE 40112.944
AT ITER 2306 NEW BEST:: SOT 233407 SOS 81894 HAS SOPS 81894 HAS SOUS 40012 HAS SOUPS 40012 WITH SCORE 40093.894
AT ITER 2321 NEW BEST:: SOT 233200 SOS 81411 HAS SOPS 81411 HAS SOUS 39874 HAS SOUPS 39874 WITH SCORE 39955.411
AT ITER 2328 NEW BEST:: SOT 233165 SOS 81341 HAS SOPS 81341 HAS SOUS 39874 HAS SOUPS 39874 WITH SCORE 39955.341
AT ITER 2354 NEW BEST:: SOT 233128 SOS 81232 HAS SOPS 81232 HAS SOUS 39805 HAS SOUPS 39805 WITH SCORE 39886.232
AT ITER 2374 NEW BEST:: SOT 233116 SOS 81184 HAS SOPS 81184 HAS SOUS 39805 HAS SOUPS 39805 WITH SCORE 39886.184
AT ITER 2389 NEW BEST:: SOT 233087 SOS 81126 HAS SOPS 81126 HAS SOUS 39803 HAS SOUPS 39803 WITH SCORE 39884.126
AT ITER 2391 NEW BEST:: SOT 232979 SOS 80802 HAS SOPS 80802 HAS SOUS 39749 HAS SOUPS 39749 WITH SCORE 39829.802
AT ITER 2412 NEW BEST:: SOT 232980 SOS 80805 HAS SOPS 80805 HAS SOUS 39748 HAS SOUPS 39748 WITH SCORE 39828.805
AT ITER 2413 NEW BEST:: SOT 232854 SOS 80480 HAS SOPS 80480 HAS SOUS 39696 HAS SOUPS 39696 WITH SCORE 39776.48
AT ITER 2430 NEW BEST:: SOT 232765 SOS 80162 HAS SOPS 80162 HAS SOUS 39630 HAS SOUPS 39630 WITH SCORE 39710.162
AT ITER 2443 NEW BEST:: SOT 232750 SOS 80102 HAS SOPS 80102 HAS SOUS 39630 HAS SOUPS 39630 WITH SCORE 39710.102
AT ITER 2475 NEW BEST:: SOT 232696 SOS 80102 HAS SOPS 80102 HAS SOUS 39612 HAS SOUPS 39612 WITH SCORE 39692.102
AT ITER 2485 NEW BEST:: SOT 232664 SOS 80034 HAS SOPS 80034 HAS SOUS 39592 HAS SOUPS 39592 WITH SCORE 39672.034
AT ITER 2487 NEW BEST:: SOT 232302 SOS 78984 HAS SOPS 78984 HAS SOUS 39447 HAS SOUPS 39447 WITH SCORE 39525.984
AT ITER 2501 NEW BEST:: SOT 232146 SOS 78516 HAS SOPS 78516 HAS SOUS 39369 HAS SOUPS 39369 WITH SCORE 39447.516
AT ITER 2517 NEW BEST:: SOT 231978 SOS 77930 HAS SOPS 77930 HAS SOUS 39323 HAS SOUPS 39323 WITH SCORE 39400.93
AT ITER 2520 NEW BEST:: SOT 231894 SOS 77678 HAS SOPS 77678 HAS SOUS 39197 HAS SOUPS 39197 WITH SCORE 39274.678
AT ITER 2542 NEW BEST:: SOT 231885 SOS 77627 HAS SOPS 77627 HAS SOUS 39191 HAS SOUPS 39191 WITH SCORE 39268.627
AT ITER 2597 NEW BEST:: SOT 231805 SOS 77426 HAS SOPS 77426 HAS SOUS 39190 HAS SOUPS 39190 WITH SCORE 39267.426
AT ITER 2601 NEW BEST:: SOT 231798 SOS 77405 HAS SOPS 77405 HAS SOUS 39176 HAS SOUPS 39176 WITH SCORE 39253.405
AT ITER 2605 NEW BEST:: SOT 231266 SOS 76114 HAS SOPS 76114 HAS SOUS 38482 HAS SOUPS 38482 WITH SCORE 38558.114
AT ITER 2625 NEW BEST:: SOT 231068 SOS 75520 HAS SOPS 75520 HAS SOUS 38383 HAS SOUPS 38383 WITH SCORE 38458.52
AT ITER 2628 NEW BEST:: SOT 230943 SOS 74962 HAS SOPS 74962 HAS SOUS 38337 HAS SOUPS 38337 WITH SCORE 38411.962
AT ITER 2632 NEW BEST:: SOT 230895 SOS 74866 HAS SOPS 74866 HAS SOUS 38289 HAS SOUPS 38289 WITH SCORE 38363.866
AT ITER 2637 NEW BEST:: SOT 230715 SOS 74348 HAS SOPS 74348 HAS SOUS 38276 HAS SOUPS 38276 WITH SCORE 38350.348
AT ITER 2643 NEW BEST:: SOT 230703 SOS 74312 HAS SOPS 74312 HAS SOUS 38270 HAS SOUPS 38270 WITH SCORE 38344.312
AT ITER 2650 NEW BEST:: SOT 230628 SOS 74161 HAS SOPS 74161 HAS SOUS 38256 HAS SOUPS 38256 WITH SCORE 38330.161
AT ITER 2652 NEW BEST:: SOT 230474 SOS 73819 HAS SOPS 73819 HAS SOUS 38135 HAS SOUPS 38135 WITH SCORE 38208.819
AT ITER 2655 NEW BEST:: SOT 230383 SOS 73637 HAS SOPS 73637 HAS SOUS 38035 HAS SOUPS 38035 WITH SCORE 38108.637
AT ITER 2669 NEW BEST:: SOT 230279 SOS 73429 HAS SOPS 73429 HAS SOUS 37943 HAS SOUPS 37943 WITH SCORE 38016.429
AT ITER 2682 NEW BEST:: SOT 230273 SOS 73412 HAS SOPS 73412 HAS SOUS 37941 HAS SOUPS 37941 WITH SCORE 38014.412
AT ITER 2683 NEW BEST:: SOT 230264 SOS 73376 HAS SOPS 73376 HAS SOUS 37923 HAS SOUPS 37923 WITH SCORE 37996.376
AT ITER 2694 NEW BEST:: SOT 230264 SOS 73387 HAS SOPS 73387 HAS SOUS 37912 HAS SOUPS 37912 WITH SCORE 37985.387
AT ITER 2708 NEW BEST:: SOT 230264 SOS 73367 HAS SOPS 73367 HAS SOUS 37890 HAS SOUPS 37890 WITH SCORE 37963.367
AT ITER 2713 NEW BEST:: SOT 230082 SOS 72701 HAS SOPS 72701 HAS SOUS 37649 HAS SOUPS 37649 WITH SCORE 37721.701
AT ITER 2728 NEW BEST:: SOT 230026 SOS 72585 HAS SOPS 72585 HAS SOUS 37543 HAS SOUPS 37543 WITH SCORE 37615.585
AT ITER 2772 NEW BEST:: SOT 229966 SOS 72422 HAS SOPS 72422 HAS SOUS 37530 HAS SOUPS 37530 WITH SCORE 37602.422
AT ITER 2776 NEW BEST:: SOT 229932 SOS 72336 HAS SOPS 72336 HAS SOUS 37529 HAS SOUPS 37529 WITH SCORE 37601.336
AT ITER 2786 NEW BEST:: SOT 229951 SOS 72429 HAS SOPS 72429 HAS SOUS 37496 HAS SOUPS 37496 WITH SCORE 37568.429
AT ITER 2788 NEW BEST:: SOT 230076 SOS 72791 HAS SOPS 72791 HAS SOUS 37475 HAS SOUPS 37475 WITH SCORE 37547.791
AT ITER 2807 NEW BEST:: SOT 230076 SOS 72791 HAS SOPS 72791 HAS SOUS 37459 HAS SOUPS 37459 WITH SCORE 37531.791
AT ITER 2814 NEW BEST:: SOT 230186 SOS 73095 HAS SOPS 73095 HAS SOUS 37435 HAS SOUPS 37435 WITH SCORE 37508.095
AT ITER 2821 NEW BEST:: SOT 230176 SOS 73065 HAS SOPS 73065 HAS SOUS 37426 HAS SOUPS 37426 WITH SCORE 37499.065
AT ITER 2842 NEW BEST:: SOT 230160 SOS 72921 HAS SOPS 72921 HAS SOUS 37328 HAS SOUPS 37328 WITH SCORE 37400.921
AT ITER 2854 NEW BEST:: SOT 230152 SOS 72905 HAS SOPS 72905 HAS SOUS 37320 HAS SOUPS 37320 WITH SCORE 37392.905
AT ITER 2864 NEW BEST:: SOT 230082 SOS 72826 HAS SOPS 72826 HAS SOUS 37269 HAS SOUPS 37269 WITH SCORE 37341.826
AT ITER 2871 NEW BEST:: SOT 230033 SOS 72734 HAS SOPS 72734 HAS SOUS 37128 HAS SOUPS 37128 WITH SCORE 37200.734
AT ITER 2900 NEW BEST:: SOT 230002 SOS 72656 HAS SOPS 72656 HAS SOUS 36991 HAS SOUPS 36991 WITH SCORE 37063.656
AT ITER 2916 NEW BEST:: SOT 229975 SOS 72564 HAS SOPS 72564 HAS SOUS 36983 HAS SOUPS 36983 WITH SCORE 37055.564
AT ITER 2917 NEW BEST:: SOT 229994 SOS 72621 HAS SOPS 72621 HAS SOUS 36964 HAS SOUPS 36964 WITH SCORE 37036.621
AT ITER 2923 NEW BEST:: SOT 229983 SOS 72583 HAS SOPS 72583 HAS SOUS 36961 HAS SOUPS 36961 WITH SCORE 37033.583
AT ITER 2930 NEW BEST:: SOT 230053 SOS 72762 HAS SOPS 72762 HAS SOUS 36953 HAS SOUPS 36953 WITH SCORE 37025.762
AT ITER 2936 NEW BEST:: SOT 229908 SOS 72407 HAS SOPS 72407 HAS SOUS 36805 HAS SOUPS 36805 WITH SCORE 36877.407
AT ITER 2948 NEW BEST:: SOT 229816 SOS 72131 HAS SOPS 72131 HAS SOUS 36759 HAS SOUPS 36759 WITH SCORE 36831.131
AT ITER 2967 NEW BEST:: SOT 229894 SOS 72373 HAS SOPS 72373 HAS SOUS 36743 HAS SOUPS 36743 WITH SCORE 36815.373
AT ITER 2992 NEW BEST:: SOT 229870 SOS 72302 HAS SOPS 72302 HAS SOUS 36728 HAS SOUPS 36728 WITH SCORE 36800.302
AT ITER 3033 NEW BEST:: SOT 229876 SOS 72222 HAS SOPS 72222 HAS SOUS 36518 HAS SOUPS 36518 WITH SCORE 36590.222
AT ITER 3035 NEW BEST:: SOT 229828 SOS 72078 HAS SOPS 72078 HAS SOUS 36494 HAS SOUPS 36494 WITH SCORE 36566.078
AT ITER 3059 NEW BEST:: SOT 229801 SOS 72005 HAS SOPS 72005 HAS SOUS 36489 HAS SOUPS 36489 WITH SCORE 36561.005
AT ITER 3076 NEW BEST:: SOT 229801 SOS 72005 HAS SOPS 72005 HAS SOUS 36471 HAS SOUPS 36471 WITH SCORE 36543.005
AT ITER 3085 NEW BEST:: SOT 229801 SOS 71971 HAS SOPS 71971 HAS SOUS 36437 HAS SOUPS 36437 WITH SCORE 36508.971
AT ITER 3096 NEW BEST:: SOT 229741 SOS 71803 HAS SOPS 71803 HAS SOUS 36419 HAS SOUPS 36419 WITH SCORE 36490.803
AT ITER 3104 NEW BEST:: SOT 229725 SOS 71771 HAS SOPS 71771 HAS SOUS 36403 HAS SOUPS 36403 WITH SCORE 36474.771
AT ITER 3122 NEW BEST:: SOT 229389 SOS 70980 HAS SOPS 70980 HAS SOUS 36345 HAS SOUPS 36345 WITH SCORE 36415.98
AT ITER 3168 NEW BEST:: SOT 229389 SOS 70980 HAS SOPS 70980 HAS SOUS 36335 HAS SOUPS 36335 WITH SCORE 36405.98
AT ITER 3169 NEW BEST:: SOT 229382 SOS 70966 HAS SOPS 70966 HAS SOUS 36324 HAS SOUPS 36324 WITH SCORE 36394.966
AT ITER 3210 NEW BEST:: SOT 229503 SOS 71279 HAS SOPS 71279 HAS SOUS 36306 HAS SOUPS 36306 WITH SCORE 36377.279
AT ITER 3234 NEW BEST:: SOT 229443 SOS 71073 HAS SOPS 71073 HAS SOUS 36289 HAS SOUPS 36289 WITH SCORE 36360.073
AT ITER 3237 NEW BEST:: SOT 229359 SOS 70821 HAS SOPS 70821 HAS SOUS 36163 HAS SOUPS 36163 WITH SCORE 36233.821
AT ITER 3249 NEW BEST:: SOT 229336 SOS 70861 HAS SOPS 70861 HAS SOUS 36116 HAS SOUPS 36116 WITH SCORE 36186.861
AT ITER 3266 NEW BEST:: SOT 229303 SOS 70756 HAS SOPS 70756 HAS SOUS 35966 HAS SOUPS 35966 WITH SCORE 36036.756
AT ITER 3289 NEW BEST:: SOT 229321 SOS 70815 HAS SOPS 70815 HAS SOUS 35953 HAS SOUPS 35953 WITH SCORE 36023.815
AT ITER 3340 NEW BEST:: SOT 229255 SOS 70623 HAS SOPS 70623 HAS SOUS 35896 HAS SOUPS 35896 WITH SCORE 35966.623
AT ITER 3341 NEW BEST:: SOT 229233 SOS 70557 HAS SOPS 70557 HAS SOUS 35885 HAS SOUPS 35885 WITH SCORE 35955.557
AT ITER 3354 NEW BEST:: SOT 229327 SOS 70745 HAS SOPS 70745 HAS SOUS 35871 HAS SOUPS 35871 WITH SCORE 35941.745
AT ITER 3384 NEW BEST:: SOT 229324 SOS 70739 HAS SOPS 70739 HAS SOUS 35868 HAS SOUPS 35868 WITH SCORE 35938.739
AT ITER 3391 NEW BEST:: SOT 229316 SOS 70715 HAS SOPS 70715 HAS SOUS 35840 HAS SOUPS 35840 WITH SCORE 35910.715
AT ITER 3405 NEW BEST:: SOT 229365 SOS 70764 HAS SOPS 70764 HAS SOUS 35733 HAS SOUPS 35733 WITH SCORE 35803.764
AT ITER 3427 NEW BEST:: SOT 229276 SOS 70586 HAS SOPS 70586 HAS SOUS 35590 HAS SOUPS 35590 WITH SCORE 35660.586
AT ITER 3436 NEW BEST:: SOT 229228 SOS 70490 HAS SOPS 70490 HAS SOUS 35557 HAS SOUPS 35557 WITH SCORE 35627.49
AT ITER 3444 NEW BEST:: SOT 229204 SOS 70430 HAS SOPS 70430 HAS SOUS 35557 HAS SOUPS 35557 WITH SCORE 35627.43
AT ITER 3452 NEW BEST:: SOT 229065 SOS 70152 HAS SOPS 70152 HAS SOUS 35403 HAS SOUPS 35403 WITH SCORE 35473.152
AT ITER 3466 NEW BEST:: SOT 229051 SOS 70131 HAS SOPS 70131 HAS SOUS 35401 HAS SOUPS 35401 WITH SCORE 35471.131
AT ITER 3492 NEW BEST:: SOT 229044 SOS 70103 HAS SOPS 70103 HAS SOUS 35401 HAS SOUPS 35401 WITH SCORE 35471.103
AT ITER 3499 NEW BEST:: SOT 229064 SOS 70243 HAS SOPS 70243 HAS SOUS 35231 HAS SOUPS 35231 WITH SCORE 35301.243
AT ITER 3520 NEW BEST:: SOT 229069 SOS 70267 HAS SOPS 70267 HAS SOUS 35220 HAS SOUPS 35220 WITH SCORE 35290.267
AT ITER 3530 NEW BEST:: SOT 229054 SOS 70228 HAS SOPS 70228 HAS SOUS 35199 HAS SOUPS 35199 WITH SCORE 35269.228
AT ITER 3531 NEW BEST:: SOT 228732 SOS 69500 HAS SOPS 69500 HAS SOUS 35067 HAS SOUPS 35067 WITH SCORE 35136.5
AT ITER 3549 NEW BEST:: SOT 228709 SOS 69476 HAS SOPS 69476 HAS SOUS 35066 HAS SOUPS 35066 WITH SCORE 35135.476
AT ITER 3551 NEW BEST:: SOT 228716 SOS 69490 HAS SOPS 69490 HAS SOUS 35064 HAS SOUPS 35064 WITH SCORE 35133.49
AT ITER 3558 NEW BEST:: SOT 228752 SOS 69644 HAS SOPS 69644 HAS SOUS 35059 HAS SOUPS 35059 WITH SCORE 35128.644
AT ITER 3559 NEW BEST:: SOT 228774 SOS 69650 HAS SOPS 69650 HAS SOUS 35043 HAS SOUPS 35043 WITH SCORE 35112.65
AT ITER 3561 NEW BEST:: SOT 228734 SOS 69549 HAS SOPS 69549 HAS SOUS 35042 HAS SOUPS 35042 WITH SCORE 35111.549
AT ITER 3570 NEW BEST:: SOT 228716 SOS 69479 HAS SOPS 69479 HAS SOUS 35041 HAS SOUPS 35041 WITH SCORE 35110.479
AT ITER 3583 NEW BEST:: SOT 228680 SOS 69407 HAS SOPS 69407 HAS SOUS 35041 HAS SOUPS 35041 WITH SCORE 35110.407
AT ITER 3599 NEW BEST:: SOT 228534 SOS 68937 HAS SOPS 68937 HAS SOUS 34948 HAS SOUPS 34948 WITH SCORE 35016.937
AT ITER 3619 NEW BEST:: SOT 228420 SOS 68709 HAS SOPS 68709 HAS SOUS 34882 HAS SOUPS 34882 WITH SCORE 34950.709
AT ITER 3653 NEW BEST:: SOT 228372 SOS 68565 HAS SOPS 68565 HAS SOUS 34854 HAS SOUPS 34854 WITH SCORE 34922.565
AT ITER 3659 NEW BEST:: SOT 228360 SOS 68535 HAS SOPS 68535 HAS SOUS 34854 HAS SOUPS 34854 WITH SCORE 34922.535
AT ITER 3669 NEW BEST:: SOT 228304 SOS 68393 HAS SOPS 68393 HAS SOUS 34852 HAS SOUPS 34852 WITH SCORE 34920.393
AT ITER 3683 NEW BEST:: SOT 228239 SOS 68363 HAS SOPS 68363 HAS SOUS 34831 HAS SOUPS 34831 WITH SCORE 34899.363
AT ITER 3697 NEW BEST:: SOT 227910 SOS 67350 HAS SOPS 67350 HAS SOUS 34684 HAS SOUPS 34684 WITH SCORE 34751.35
AT ITER 3721 NEW BEST:: SOT 227830 SOS 67094 HAS SOPS 67094 HAS SOUS 34652 HAS SOUPS 34652 WITH SCORE 34719.094
AT ITER 3728 NEW BEST:: SOT 227830 SOS 67092 HAS SOPS 67092 HAS SOUS 34650 HAS SOUPS 34650 WITH SCORE 34717.092
AT ITER 3729 NEW BEST:: SOT 227830 SOS 67114 HAS SOPS 67114 HAS SOUS 34646 HAS SOUPS 34646 WITH SCORE 34713.114
AT ITER 3780 NEW BEST:: SOT 227830 SOS 67095 HAS SOPS 67095 HAS SOUS 34627 HAS SOUPS 34627 WITH SCORE 34694.095
AT ITER 3782 NEW BEST:: SOT 227672 SOS 66621 HAS SOPS 66621 HAS SOUS 34544 HAS SOUPS 34544 WITH SCORE 34610.621
AT ITER 3791 NEW BEST:: SOT 227570 SOS 66315 HAS SOPS 66315 HAS SOUS 34493 HAS SOUPS 34493 WITH SCORE 34559.315
AT ITER 3795 NEW BEST:: SOT 227570 SOS 66301 HAS SOPS 66301 HAS SOUS 34486 HAS SOUPS 34486 WITH SCORE 34552.301
AT ITER 3803 NEW BEST:: SOT 227561 SOS 66283 HAS SOPS 66283 HAS SOUS 34474 HAS SOUPS 34474 WITH SCORE 34540.283
AT ITER 3804 NEW BEST:: SOT 227561 SOS 66283 HAS SOPS 66283 HAS SOUS 34432 HAS SOUPS 34432 WITH SCORE 34498.283
AT ITER 3807 NEW BEST:: SOT 227537 SOS 66223 HAS SOPS 66223 HAS SOUS 34408 HAS SOUPS 34408 WITH SCORE 34474.223
AT ITER 3814 NEW BEST:: SOT 227521 SOS 66199 HAS SOPS 66199 HAS SOUS 34376 HAS SOUPS 34376 WITH SCORE 34442.199
AT ITER 3828 NEW BEST:: SOT 227472 SOS 66001 HAS SOPS 66001 HAS SOUS 34328 HAS SOUPS 34328 WITH SCORE 34394.001
AT ITER 3834 NEW BEST:: SOT 227135 SOS 64817 HAS SOPS 64817 HAS SOUS 34325 HAS SOUPS 34325 WITH SCORE 34389.817
AT ITER 3868 NEW BEST:: SOT 226951 SOS 64131 HAS SOPS 64131 HAS SOUS 34104 HAS SOUPS 34104 WITH SCORE 34168.131
AT ITER 3869 NEW BEST:: SOT 226951 SOS 64128 HAS SOPS 64128 HAS SOUS 34101 HAS SOUPS 34101 WITH SCORE 34165.128
AT ITER 3882 NEW BEST:: SOT 226928 SOS 64104 HAS SOPS 64104 HAS SOUS 34072 HAS SOUPS 34072 WITH SCORE 34136.104
AT ITER 3885 NEW BEST:: SOT 226812 SOS 63872 HAS SOPS 63872 HAS SOUS 33956 HAS SOUPS 33956 WITH SCORE 34019.872
AT ITER 3897 NEW BEST:: SOT 226800 SOS 63854 HAS SOPS 63854 HAS SOUS 33956 HAS SOUPS 33956 WITH SCORE 34019.854
AT ITER 3907 NEW BEST:: SOT 226799 SOS 63856 HAS SOPS 63856 HAS SOUS 33953 HAS SOUPS 33953 WITH SCORE 34016.856
AT ITER 3925 NEW BEST:: SOT 226787 SOS 63820 HAS SOPS 63820 HAS SOUS 33929 HAS SOUPS 33929 WITH SCORE 33992.82
AT ITER 3948 NEW BEST:: SOT 226727 SOS 63640 HAS SOPS 63640 HAS SOUS 33873 HAS SOUPS 33873 WITH SCORE 33936.64
AT ITER 3951 NEW BEST:: SOT 226724 SOS 63634 HAS SOPS 63634 HAS SOUS 33870 HAS SOUPS 33870 WITH SCORE 33933.634
AT ITER 3972 NEW BEST:: SOT 226720 SOS 63676 HAS SOPS 63676 HAS SOUS 33821 HAS SOUPS 33821 WITH SCORE 33884.676
AT ITER 3977 NEW BEST:: SOT 226716 SOS 63668 HAS SOPS 63668 HAS SOUS 33817 HAS SOUPS 33817 WITH SCORE 33880.668
AT ITER 4018 NEW BEST:: SOT 226452 SOS 63137 HAS SOPS 63137 HAS SOUS 33784 HAS SOUPS 33784 WITH SCORE 33847.137
AT ITER 4020 NEW BEST:: SOT 226421 SOS 63075 HAS SOPS 63075 HAS SOUS 33753 HAS SOUPS 33753 WITH SCORE 33816.075
AT ITER 4023 NEW BEST:: SOT 226355 SOS 62907 HAS SOPS 62907 HAS SOUS 33748 HAS SOUPS 33748 WITH SCORE 33810.907
AT ITER 4043 NEW BEST:: SOT 226307 SOS 62759 HAS SOPS 62759 HAS SOUS 33745 HAS SOUPS 33745 WITH SCORE 33807.759
AT ITER 4062 NEW BEST:: SOT 226275 SOS 62697 HAS SOPS 62697 HAS SOUS 33732 HAS SOUPS 33732 WITH SCORE 33794.697
AT ITER 4095 NEW BEST:: SOT 226272 SOS 62691 HAS SOPS 62691 HAS SOUS 33724 HAS SOUPS 33724 WITH SCORE 33786.691
AT ITER 4102 NEW BEST:: SOT 226272 SOS 62669 HAS SOPS 62669 HAS SOUS 33702 HAS SOUPS 33702 WITH SCORE 33764.669
AT ITER 4117 NEW BEST:: SOT 226271 SOS 62661 HAS SOPS 62661 HAS SOUS 33683 HAS SOUPS 33683 WITH SCORE 33745.661
AT ITER 4118 NEW BEST:: SOT 226250 SOS 62612 HAS SOPS 62612 HAS SOUS 33669 HAS SOUPS 33669 WITH SCORE 33731.612
AT ITER 4131 NEW BEST:: SOT 226182 SOS 62408 HAS SOPS 62408 HAS SOUS 33635 HAS SOUPS 33635 WITH SCORE 33697.408
AT ITER 4140 NEW BEST:: SOT 226182 SOS 62395 HAS SOPS 62395 HAS SOUS 33622 HAS SOUPS 33622 WITH SCORE 33684.395
AT ITER 4143 NEW BEST:: SOT 226226 SOS 62500 HAS SOPS 62500 HAS SOUS 33611 HAS SOUPS 33611 WITH SCORE 33673.5
AT ITER 4156 NEW BEST:: SOT 226226 SOS 62500 HAS SOPS 62500 HAS SOUS 33599 HAS SOUPS 33599 WITH SCORE 33661.5
AT ITER 4162 NEW BEST:: SOT 226221 SOS 62486 HAS SOPS 62486 HAS SOUS 33591 HAS SOUPS 33591 WITH SCORE 33653.486
AT ITER 4187 NEW BEST:: SOT 226218 SOS 62487 HAS SOPS 62487 HAS SOUS 33577 HAS SOUPS 33577 WITH SCORE 33639.487
AT ITER 4227 NEW BEST:: SOT 226206 SOS 62475 HAS SOPS 62475 HAS SOUS 33541 HAS SOUPS 33541 WITH SCORE 33603.475
AT ITER 4231 NEW BEST:: SOT 226199 SOS 62461 HAS SOPS 62461 HAS SOUS 33458 HAS SOUPS 33458 WITH SCORE 33520.461
AT ITER 4256 NEW BEST:: SOT 226199 SOS 62460 HAS SOPS 62460 HAS SOUS 33435 HAS SOUPS 33435 WITH SCORE 33497.46
AT ITER 4265 NEW BEST:: SOT 226212 SOS 62528 HAS SOPS 62528 HAS SOUS 33427 HAS SOUPS 33427 WITH SCORE 33489.528
AT ITER 4277 NEW BEST:: SOT 226203 SOS 62510 HAS SOPS 62510 HAS SOUS 33427 HAS SOUPS 33427 WITH SCORE 33489.51
AT ITER 4319 NEW BEST:: SOT 226195 SOS 62494 HAS SOPS 62494 HAS SOUS 33405 HAS SOUPS 33405 WITH SCORE 33467.494
AT ITER 4353 NEW BEST:: SOT 226202 SOS 62508 HAS SOPS 62508 HAS SOUS 33396 HAS SOUPS 33396 WITH SCORE 33458.508
AT ITER 4383 NEW BEST:: SOT 226170 SOS 62412 HAS SOPS 62412 HAS SOUS 33364 HAS SOUPS 33364 WITH SCORE 33426.412
AT ITER 4421 NEW BEST:: SOT 226170 SOS 62394 HAS SOPS 62394 HAS SOUS 33346 HAS SOUPS 33346 WITH SCORE 33408.394
AT ITER 4439 NEW BEST:: SOT 226177 SOS 62421 HAS SOPS 62421 HAS SOUS 33345 HAS SOUPS 33345 WITH SCORE 33407.421
AT ITER 4488 NEW BEST:: SOT 226127 SOS 62271 HAS SOPS 62271 HAS SOUS 33270 HAS SOUPS 33270 WITH SCORE 33332.271
AT ITER 4501 NEW BEST:: SOT 226062 SOS 62207 HAS SOPS 62207 HAS SOUS 33204 HAS SOUPS 33204 WITH SCORE 33266.207
AT ITER 4513 NEW BEST:: SOT 226030 SOS 62139 HAS SOPS 62139 HAS SOUS 33184 HAS SOUPS 33184 WITH SCORE 33246.139
AT ITER 4518 NEW BEST:: SOT 225978 SOS 62032 HAS SOPS 62032 HAS SOUS 33174 HAS SOUPS 33174 WITH SCORE 33236.032
AT ITER 4519 NEW BEST:: SOT 226005 SOS 62086 HAS SOPS 62086 HAS SOUS 33171 HAS SOUPS 33171 WITH SCORE 33233.086
AT ITER 4554 NEW BEST:: SOT 226005 SOS 62086 HAS SOPS 62086 HAS SOUS 33157 HAS SOUPS 33157 WITH SCORE 33219.086
AT ITER 4590 NEW BEST:: SOT 225947 SOS 61970 HAS SOPS 61970 HAS SOUS 33099 HAS SOUPS 33099 WITH SCORE 33160.97
AT ITER 4626 NEW BEST:: SOT 225903 SOS 61849 HAS SOPS 61849 HAS SOUS 33059 HAS SOUPS 33059 WITH SCORE 33120.849
AT ITER 4637 NEW BEST:: SOT 225895 SOS 61825 HAS SOPS 61825 HAS SOUS 33055 HAS SOUPS 33055 WITH SCORE 33116.825
AT ITER 4651 NEW BEST:: SOT 225856 SOS 61800 HAS SOPS 61800 HAS SOUS 33024 HAS SOUPS 33024 WITH SCORE 33085.8
AT ITER 4659 NEW BEST:: SOT 225832 SOS 61752 HAS SOPS 61752 HAS SOUS 33010 HAS SOUPS 33010 WITH SCORE 33071.752
AT ITER 4681 NEW BEST:: SOT 225767 SOS 61535 HAS SOPS 61535 HAS SOUS 33006 HAS SOUPS 33006 WITH SCORE 33067.535
AT ITER 4724 NEW BEST:: SOT 225705 SOS 61368 HAS SOPS 61368 HAS SOUS 32892 HAS SOUPS 32892 WITH SCORE 32953.368
AT ITER 4725 NEW BEST:: SOT 225687 SOS 61309 HAS SOPS 61309 HAS SOUS 32851 HAS SOUPS 32851 WITH SCORE 32912.309
AT ITER 4751 NEW BEST:: SOT 225687 SOS 61309 HAS SOPS 61309 HAS SOUS 32843 HAS SOUPS 32843 WITH SCORE 32904.309
AT ITER 4768 NEW BEST:: SOT 225678 SOS 61303 HAS SOPS 61303 HAS SOUS 32832 HAS SOUPS 32832 WITH SCORE 32893.303
AT ITER 4775 NEW BEST:: SOT 225494 SOS 60751 HAS SOPS 60751 HAS SOUS 32740 HAS SOUPS 32740 WITH SCORE 32800.751
AT ITER 4805 NEW BEST:: SOT 225380 SOS 60442 HAS SOPS 60442 HAS SOUS 32716 HAS SOUPS 32716 WITH SCORE 32776.442
AT ITER 4806 NEW BEST:: SOT 225188 SOS 59994 HAS SOPS 59994 HAS SOUS 32584 HAS SOUPS 32584 WITH SCORE 32643.994
AT ITER 4809 NEW BEST:: SOT 225188 SOS 59985 HAS SOPS 59985 HAS SOUS 32557 HAS SOUPS 32557 WITH SCORE 32616.985
AT ITER 4823 NEW BEST:: SOT 225135 SOS 59879 HAS SOPS 59879 HAS SOUS 32554 HAS SOUPS 32554 WITH SCORE 32613.879
AT ITER 4828 NEW BEST:: SOT 225125 SOS 59859 HAS SOPS 59859 HAS SOUS 32532 HAS SOUPS 32532 WITH SCORE 32591.859
AT ITER 4833 NEW BEST:: SOT 225125 SOS 59859 HAS SOPS 59859 HAS SOUS 32526 HAS SOUPS 32526 WITH SCORE 32585.859
AT ITER 4840 NEW BEST:: SOT 225125 SOS 59856 HAS SOPS 59856 HAS SOUS 32517 HAS SOUPS 32517 WITH SCORE 32576.856
AT ITER 4855 NEW BEST:: SOT 225104 SOS 59813 HAS SOPS 59813 HAS SOUS 32453 HAS SOUPS 32453 WITH SCORE 32512.813
AT ITER 4894 NEW BEST:: SOT 225104 SOS 59811 HAS SOPS 59811 HAS SOUS 32453 HAS SOUPS 32453 WITH SCORE 32512.811
AT ITER 4897 NEW BEST:: SOT 225147 SOS 59858 HAS SOPS 59858 HAS SOUS 32435 HAS SOUPS 32435 WITH SCORE 32494.858
AT ITER 4899 NEW BEST:: SOT 225147 SOS 59844 HAS SOPS 59844 HAS SOUS 32421 HAS SOUPS 32421 WITH SCORE 32480.844
AT ITER 4923 NEW BEST:: SOT 225146 SOS 59842 HAS SOPS 59842 HAS SOUS 32420 HAS SOUPS 32420 WITH SCORE 32479.842
AT ITER 4931 NEW BEST:: SOT 225074 SOS 59626 HAS SOPS 59626 HAS SOUS 32384 HAS SOUPS 32384 WITH SCORE 32443.626
AT ITER 4935 NEW BEST:: SOT 225026 SOS 59506 HAS SOPS 59506 HAS SOUS 32384 HAS SOUPS 32384 WITH SCORE 32443.506
AT ITER 4990 NEW BEST:: SOT 225005 SOS 59462 HAS SOPS 59462 HAS SOUS 32375 HAS SOUPS 32375 WITH SCORE 32434.462
AT ITER 5011 NEW BEST:: SOT 225025 SOS 59522 HAS SOPS 59522 HAS SOUS 32355 HAS SOUPS 32355 WITH SCORE 32414.522
AT ITER 5031 NEW BEST:: SOT 224847 SOS 58919 HAS SOPS 58919 HAS SOUS 32173 HAS SOUPS 32173 WITH SCORE 32231.919
AT ITER 5071 NEW BEST:: SOT 224801 SOS 58781 HAS SOPS 58781 HAS SOUS 32150 HAS SOUPS 32150 WITH SCORE 32208.781
AT ITER 5089 NEW BEST:: SOT 224784 SOS 58747 HAS SOPS 58747 HAS SOUS 32150 HAS SOUPS 32150 WITH SCORE 32208.747
AT ITER 5111 NEW BEST:: SOT 224774 SOS 58717 HAS SOPS 58717 HAS SOUS 32145 HAS SOUPS 32145 WITH SCORE 32203.717
AT ITER 5113 NEW BEST:: SOT 224774 SOS 58716 HAS SOPS 58716 HAS SOUS 32144 HAS SOUPS 32144 WITH SCORE 32202.716
AT ITER 5136 NEW BEST:: SOT 224601 SOS 58174 HAS SOPS 58174 HAS SOUS 32069 HAS SOUPS 32069 WITH SCORE 32127.174
AT ITER 5148 NEW BEST:: SOT 224672 SOS 58387 HAS SOPS 58387 HAS SOUS 31998 HAS SOUPS 31998 WITH SCORE 32056.387
AT ITER 5173 NEW BEST:: SOT 224660 SOS 58351 HAS SOPS 58351 HAS SOUS 31998 HAS SOUPS 31998 WITH SCORE 32056.351
AT ITER 5174 NEW BEST:: SOT 224660 SOS 58342 HAS SOPS 58342 HAS SOUS 31989 HAS SOUPS 31989 WITH SCORE 32047.342
AT ITER 5186 NEW BEST:: SOT 224650 SOS 58350 HAS SOPS 58350 HAS SOUS 31818 HAS SOUPS 31818 WITH SCORE 31876.35
AT ITER 5194 NEW BEST:: SOT 224635 SOS 58319 HAS SOPS 58319 HAS SOUS 31806 HAS SOUPS 31806 WITH SCORE 31864.319
AT ITER 5237 NEW BEST:: SOT 224635 SOS 58307 HAS SOPS 58307 HAS SOUS 31806 HAS SOUPS 31806 WITH SCORE 31864.307
AT ITER 5238 NEW BEST:: SOT 224629 SOS 58283 HAS SOPS 58283 HAS SOUS 31806 HAS SOUPS 31806 WITH SCORE 31864.283
AT ITER 5247 NEW BEST:: SOT 224527 SOS 57929 HAS SOPS 57929 HAS SOUS 31803 HAS SOUPS 31803 WITH SCORE 31860.929
AT ITER 5270 NEW BEST:: SOT 224533 SOS 57950 HAS SOPS 57950 HAS SOUS 31794 HAS SOUPS 31794 WITH SCORE 31851.95
AT ITER 5277 NEW BEST:: SOT 224533 SOS 57950 HAS SOPS 57950 HAS SOUS 31790 HAS SOUPS 31790 WITH SCORE 31847.95
AT ITER 5306 NEW BEST:: SOT 224499 SOS 57800 HAS SOPS 57800 HAS SOUS 31778 HAS SOUPS 31778 WITH SCORE 31835.8
AT ITER 5308 NEW BEST:: SOT 224492 SOS 57751 HAS SOPS 57751 HAS SOUS 31771 HAS SOUPS 31771 WITH SCORE 31828.751
AT ITER 5322 NEW BEST:: SOT 224491 SOS 57749 HAS SOPS 57749 HAS SOUS 31770 HAS SOUPS 31770 WITH SCORE 31827.749
AT ITER 5342 NEW BEST:: SOT 224345 SOS 57311 HAS SOPS 57311 HAS SOUS 31685 HAS SOUPS 31685 WITH SCORE 31742.311
AT ITER 5382 NEW BEST:: SOT 224345 SOS 57311 HAS SOPS 57311 HAS SOUS 31681 HAS SOUPS 31681 WITH SCORE 31738.311
AT ITER 5460 NEW BEST:: SOT 224275 SOS 57099 HAS SOPS 57099 HAS SOUS 31647 HAS SOUPS 31647 WITH SCORE 31704.099
AT ITER 5466 NEW BEST:: SOT 224227 SOS 56907 HAS SOPS 56907 HAS SOUS 31647 HAS SOUPS 31647 WITH SCORE 31703.907
AT ITER 5481 NEW BEST:: SOT 224227 SOS 56907 HAS SOPS 56907 HAS SOUS 31609 HAS SOUPS 31609 WITH SCORE 31665.907
AT ITER 5482 NEW BEST:: SOT 224227 SOS 56879 HAS SOPS 56879 HAS SOUS 31589 HAS SOUPS 31589 WITH SCORE 31645.879
AT ITER 5489 NEW BEST:: SOT 224260 SOS 56945 HAS SOPS 56945 HAS SOUS 31588 HAS SOUPS 31588 WITH SCORE 31644.945
AT ITER 5516 NEW BEST:: SOT 224152 SOS 56621 HAS SOPS 56621 HAS SOUS 31534 HAS SOUPS 31534 WITH SCORE 31590.621
AT ITER 5523 NEW BEST:: SOT 224032 SOS 56129 HAS SOPS 56129 HAS SOUS 31451 HAS SOUPS 31451 WITH SCORE 31507.129
AT ITER 5536 NEW BEST:: SOT 223505 SOS 54982 HAS SOPS 54982 HAS SOUS 31263 HAS SOUPS 31263 WITH SCORE 31317.982
AT ITER 5538 NEW BEST:: SOT 223432 SOS 54748 HAS SOPS 54748 HAS SOUS 31141 HAS SOUPS 31141 WITH SCORE 31195.748
AT ITER 5552 NEW BEST:: SOT 223421 SOS 54726 HAS SOPS 54726 HAS SOUS 31092 HAS SOUPS 31092 WITH SCORE 31146.726
AT ITER 5562 NEW BEST:: SOT 223421 SOS 54726 HAS SOPS 54726 HAS SOUS 31090 HAS SOUPS 31090 WITH SCORE 31144.726
AT ITER 5579 NEW BEST:: SOT 223399 SOS 54656 HAS SOPS 54656 HAS SOUS 31081 HAS SOUPS 31081 WITH SCORE 31135.656
AT ITER 5619 NEW BEST:: SOT 223275 SOS 54321 HAS SOPS 54321 HAS SOUS 31052 HAS SOUPS 31052 WITH SCORE 31106.321
AT ITER 5627 NEW BEST:: SOT 223156 SOS 53901 HAS SOPS 53901 HAS SOUS 30913 HAS SOUPS 30913 WITH SCORE 30966.901
AT ITER 5633 NEW BEST:: SOT 223042 SOS 53559 HAS SOPS 53559 HAS SOUS 30843 HAS SOUPS 30843 WITH SCORE 30896.559
AT ITER 5634 NEW BEST:: SOT 222994 SOS 53444 HAS SOPS 53444 HAS SOUS 30808 HAS SOUPS 30808 WITH SCORE 30861.444
AT ITER 5646 NEW BEST:: SOT 222994 SOS 53444 HAS SOPS 53444 HAS SOUS 30804 HAS SOUPS 30804 WITH SCORE 30857.444
AT ITER 5668 NEW BEST:: SOT 222967 SOS 53322 HAS SOPS 53322 HAS SOUS 30781 HAS SOUPS 30781 WITH SCORE 30834.322
AT ITER 5693 NEW BEST:: SOT 222960 SOS 53308 HAS SOPS 53308 HAS SOUS 30767 HAS SOUPS 30767 WITH SCORE 30820.308
AT ITER 5734 NEW BEST:: SOT 222963 SOS 53252 HAS SOPS 53252 HAS SOUS 30708 HAS SOUPS 30708 WITH SCORE 30761.252
AT ITER 5741 NEW BEST:: SOT 222901 SOS 53084 HAS SOPS 53084 HAS SOUS 30706 HAS SOUPS 30706 WITH SCORE 30759.084
AT ITER 5809 NEW BEST:: SOT 222903 SOS 53090 HAS SOPS 53090 HAS SOUS 30704 HAS SOUPS 30704 WITH SCORE 30757.09
AT ITER 5815 NEW BEST:: SOT 222867 SOS 52997 HAS SOPS 52997 HAS SOUS 30704 HAS SOUPS 30704 WITH SCORE 30756.997
AT ITER 5819 NEW BEST:: SOT 222828 SOS 52843 HAS SOPS 52843 HAS SOUS 30703 HAS SOUPS 30703 WITH SCORE 30755.843
AT ITER 5825 NEW BEST:: SOT 222780 SOS 52747 HAS SOPS 52747 HAS SOUS 30631 HAS SOUPS 30631 WITH SCORE 30683.747
AT ITER 5831 NEW BEST:: SOT 222727 SOS 52523 HAS SOPS 52523 HAS SOUS 30533 HAS SOUPS 30533 WITH SCORE 30585.523
AT ITER 5844 NEW BEST:: SOT 222717 SOS 52483 HAS SOPS 52483 HAS SOUS 30527 HAS SOUPS 30527 WITH SCORE 30579.483
AT ITER 5845 NEW BEST:: SOT 222635 SOS 52237 HAS SOPS 52237 HAS SOUS 30404 HAS SOUPS 30404 WITH SCORE 30456.237
AT ITER 5854 NEW BEST:: SOT 222622 SOS 52199 HAS SOPS 52199 HAS SOUS 30378 HAS SOUPS 30378 WITH SCORE 30430.199
AT ITER 5878 NEW BEST:: SOT 222612 SOS 52155 HAS SOPS 52155 HAS SOUS 30374 HAS SOUPS 30374 WITH SCORE 30426.155
AT ITER 5892 NEW BEST:: SOT 222549 SOS 52029 HAS SOPS 52029 HAS SOUS 30356 HAS SOUPS 30356 WITH SCORE 30408.029
AT ITER 5915 NEW BEST:: SOT 222616 SOS 52356 HAS SOPS 52356 HAS SOUS 30315 HAS SOUPS 30315 WITH SCORE 30367.356
AT ITER 5982 NEW BEST:: SOT 222577 SOS 52278 HAS SOPS 52278 HAS SOUS 30302 HAS SOUPS 30302 WITH SCORE 30354.278
AT ITER 5996 NEW BEST:: SOT 222472 SOS 51912 HAS SOPS 51912 HAS SOUS 30282 HAS SOUPS 30282 WITH SCORE 30333.912
AT ITER 6010 NEW BEST:: SOT 222443 SOS 51854 HAS SOPS 51854 HAS SOUS 30221 HAS SOUPS 30221 WITH SCORE 30272.854
AT ITER 6020 NEW BEST:: SOT 222416 SOS 51800 HAS SOPS 51800 HAS SOUS 30221 HAS SOUPS 30221 WITH SCORE 30272.8
AT ITER 6130 NEW BEST:: SOT 222368 SOS 51669 HAS SOPS 51669 HAS SOUS 30219 HAS SOUPS 30219 WITH SCORE 30270.669
AT ITER 6133 NEW BEST:: SOT 222282 SOS 51497 HAS SOPS 51497 HAS SOUS 30149 HAS SOUPS 30149 WITH SCORE 30200.497
AT ITER 6143 NEW BEST:: SOT 222256 SOS 51445 HAS SOPS 51445 HAS SOUS 30148 HAS SOUPS 30148 WITH SCORE 30199.445
AT ITER 6147 NEW BEST:: SOT 222203 SOS 51316 HAS SOPS 51316 HAS SOUS 30145 HAS SOUPS 30145 WITH SCORE 30196.316
AT ITER 6163 NEW BEST:: SOT 221913 SOS 50718 HAS SOPS 50718 HAS SOUS 30113 HAS SOUPS 30113 WITH SCORE 30163.718
AT ITER 6193 NEW BEST:: SOT 221879 SOS 50626 HAS SOPS 50626 HAS SOUS 30106 HAS SOUPS 30106 WITH SCORE 30156.626
AT ITER 6210 NEW BEST:: SOT 221776 SOS 50214 HAS SOPS 50214 HAS SOUS 29797 HAS SOUPS 29797 WITH SCORE 29847.214
AT ITER 6232 NEW BEST:: SOT 221462 SOS 49206 HAS SOPS 49206 HAS SOUS 29731 HAS SOUPS 29731 WITH SCORE 29780.206
AT ITER 6254 NEW BEST:: SOT 221459 SOS 49200 HAS SOPS 49200 HAS SOUS 29728 HAS SOUPS 29728 WITH SCORE 29777.2
AT ITER 6259 NEW BEST:: SOT 221397 SOS 49014 HAS SOPS 49014 HAS SOUS 29635 HAS SOUPS 29635 WITH SCORE 29684.014
AT ITER 6265 NEW BEST:: SOT 221389 SOS 48994 HAS SOPS 48994 HAS SOUS 29627 HAS SOUPS 29627 WITH SCORE 29675.994
AT ITER 6282 NEW BEST:: SOT 221380 SOS 48960 HAS SOPS 48960 HAS SOUS 29620 HAS SOUPS 29620 WITH SCORE 29668.96
AT ITER 6283 NEW BEST:: SOT 221336 SOS 48872 HAS SOPS 48872 HAS SOUS 29620 HAS SOUPS 29620 WITH SCORE 29668.872
AT ITER 6302 NEW BEST:: SOT 221349 SOS 48876 HAS SOPS 48876 HAS SOUS 29612 HAS SOUPS 29612 WITH SCORE 29660.876
AT ITER 6321 NEW BEST:: SOT 221356 SOS 48868 HAS SOPS 48868 HAS SOUS 29594 HAS SOUPS 29594 WITH SCORE 29642.868
AT ITER 6349 NEW BEST:: SOT 221281 SOS 48727 HAS SOPS 48727 HAS SOUS 29554 HAS SOUPS 29554 WITH SCORE 29602.727
AT ITER 6388 NEW BEST:: SOT 221281 SOS 48747 HAS SOPS 48747 HAS SOUS 29544 HAS SOUPS 29544 WITH SCORE 29592.747
AT ITER 6404 NEW BEST:: SOT 221281 SOS 48774 HAS SOPS 48774 HAS SOUS 29517 HAS SOUPS 29517 WITH SCORE 29565.774
AT ITER 6414 NEW BEST:: SOT 221104 SOS 48242 HAS SOPS 48242 HAS SOUS 29429 HAS SOUPS 29429 WITH SCORE 29477.242
AT ITER 6471 NEW BEST:: SOT 221186 SOS 48307 HAS SOPS 48307 HAS SOUS 29313 HAS SOUPS 29313 WITH SCORE 29361.307
AT ITER 6487 NEW BEST:: SOT 221186 SOS 48306 HAS SOPS 48306 HAS SOUS 29226 HAS SOUPS 29226 WITH SCORE 29274.306
AT ITER 6510 NEW BEST:: SOT 221183 SOS 48300 HAS SOPS 48300 HAS SOUS 29223 HAS SOUPS 29223 WITH SCORE 29271.3
AT ITER 6625 NEW BEST:: SOT 221183 SOS 48300 HAS SOPS 48300 HAS SOUS 29220 HAS SOUPS 29220 WITH SCORE 29268.3
AT ITER 6679 NEW BEST:: SOT 221106 SOS 48078 HAS SOPS 48078 HAS SOUS 29165 HAS SOUPS 29165 WITH SCORE 29213.078
AT ITER 6695 NEW BEST:: SOT 221058 SOS 48029 HAS SOPS 48029 HAS SOUS 29150 HAS SOUPS 29150 WITH SCORE 29198.029
AT ITER 6698 NEW BEST:: SOT 221058 SOS 48024 HAS SOPS 48024 HAS SOUS 29145 HAS SOUPS 29145 WITH SCORE 29193.024
AT ITER 6731 NEW BEST:: SOT 220991 SOS 47851 HAS SOPS 47851 HAS SOUS 29144 HAS SOUPS 29144 WITH SCORE 29191.851
AT ITER 6819 NEW BEST:: SOT 220997 SOS 47857 HAS SOPS 47857 HAS SOUS 29138 HAS SOUPS 29138 WITH SCORE 29185.857
AT ITER 6822 NEW BEST:: SOT 220959 SOS 47739 HAS SOPS 47739 HAS SOUS 29111 HAS SOUPS 29111 WITH SCORE 29158.739
AT ITER 6828 NEW BEST:: SOT 220953 SOS 47724 HAS SOPS 47724 HAS SOUS 29099 HAS SOUPS 29099 WITH SCORE 29146.724
AT ITER 6833 NEW BEST:: SOT 220914 SOS 47652 HAS SOPS 47652 HAS SOUS 29040 HAS SOUPS 29040 WITH SCORE 29087.652
AT ITER 6837 NEW BEST:: SOT 220891 SOS 47602 HAS SOPS 47602 HAS SOUS 29028 HAS SOUPS 29028 WITH SCORE 29075.602
AT ITER 6848 NEW BEST:: SOT 220891 SOS 47592 HAS SOPS 47592 HAS SOUS 29012 HAS SOUPS 29012 WITH SCORE 29059.592
AT ITER 6854 NEW BEST:: SOT 220864 SOS 47572 HAS SOPS 47572 HAS SOUS 28995 HAS SOUPS 28995 WITH SCORE 29042.572
AT ITER 6863 NEW BEST:: SOT 220862 SOS 47552 HAS SOPS 47552 HAS SOUS 28973 HAS SOUPS 28973 WITH SCORE 29020.552
AT ITER 6881 NEW BEST:: SOT 220858 SOS 47544 HAS SOPS 47544 HAS SOUS 28963 HAS SOUPS 28963 WITH SCORE 29010.544
AT ITER 6924 NEW BEST:: SOT 220872 SOS 47565 HAS SOPS 47565 HAS SOUS 28956 HAS SOUPS 28956 WITH SCORE 29003.565
AT ITER 6944 NEW BEST:: SOT 220890 SOS 47619 HAS SOPS 47619 HAS SOUS 28955 HAS SOUPS 28955 WITH SCORE 29002.619
AT ITER 6953 NEW BEST:: SOT 220890 SOS 47610 HAS SOPS 47610 HAS SOUS 28928 HAS SOUPS 28928 WITH SCORE 28975.61
AT ITER 6967 NEW BEST:: SOT 220834 SOS 47442 HAS SOPS 47442 HAS SOUS 28928 HAS SOUPS 28928 WITH SCORE 28975.442
AT ITER 6974 NEW BEST:: SOT 220826 SOS 47426 HAS SOPS 47426 HAS SOUS 28920 HAS SOUPS 28920 WITH SCORE 28967.426
AT ITER 7013 NEW BEST:: SOT 220864 SOS 47584 HAS SOPS 47584 HAS SOUS 28918 HAS SOUPS 28918 WITH SCORE 28965.584
AT ITER 7016 NEW BEST:: SOT 220845 SOS 47546 HAS SOPS 47546 HAS SOUS 28890 HAS SOUPS 28890 WITH SCORE 28937.546
AT ITER 7069 NEW BEST:: SOT 220845 SOS 47546 HAS SOPS 47546 HAS SOUS 28888 HAS SOUPS 28888 WITH SCORE 28935.546
AT ITER 7076 NEW BEST:: SOT 220840 SOS 47526 HAS SOPS 47526 HAS SOUS 28888 HAS SOUPS 28888 WITH SCORE 28935.526
AT ITER 7083 NEW BEST:: SOT 220769 SOS 47345 HAS SOPS 47345 HAS SOUS 28856 HAS SOUPS 28856 WITH SCORE 28903.345
AT ITER 7153 NEW BEST:: SOT 220654 SOS 47005 HAS SOPS 47005 HAS SOUS 28774 HAS SOUPS 28774 WITH SCORE 28821.005
AT ITER 7165 NEW BEST:: SOT 220682 SOS 47079 HAS SOPS 47079 HAS SOUS 28769 HAS SOUPS 28769 WITH SCORE 28816.079
AT ITER 7204 NEW BEST:: SOT 220681 SOS 47067 HAS SOPS 47067 HAS SOUS 28758 HAS SOUPS 28758 WITH SCORE 28805.067
AT ITER 7221 NEW BEST:: SOT 220657 SOS 46993 HAS SOPS 46993 HAS SOUS 28747 HAS SOUPS 28747 WITH SCORE 28793.993
AT ITER 7224 NEW BEST:: SOT 220653 SOS 46988 HAS SOPS 46988 HAS SOUS 28746 HAS SOUPS 28746 WITH SCORE 28792.988
AT ITER 7243 NEW BEST:: SOT 220675 SOS 47032 HAS SOPS 47032 HAS SOUS 28658 HAS SOUPS 28658 WITH SCORE 28705.032
AT ITER 7288 NEW BEST:: SOT 220664 SOS 47021 HAS SOPS 47021 HAS SOUS 28647 HAS SOUPS 28647 WITH SCORE 28694.021
AT ITER 7289 NEW BEST:: SOT 220654 SOS 46996 HAS SOPS 46996 HAS SOUS 28642 HAS SOUPS 28642 WITH SCORE 28688.996
AT ITER 7301 NEW BEST:: SOT 220699 SOS 47041 HAS SOPS 47041 HAS SOUS 28637 HAS SOUPS 28637 WITH SCORE 28684.041
AT ITER 7304 NEW BEST:: SOT 220699 SOS 47041 HAS SOPS 47041 HAS SOUS 28629 HAS SOUPS 28629 WITH SCORE 28676.041
AT ITER 7310 NEW BEST:: SOT 220685 SOS 46999 HAS SOPS 46999 HAS SOUS 28608 HAS SOUPS 28608 WITH SCORE 28654.999
AT ITER 7324 NEW BEST:: SOT 220674 SOS 46977 HAS SOPS 46977 HAS SOUS 28608 HAS SOUPS 28608 WITH SCORE 28654.977
AT ITER 7329 NEW BEST:: SOT 220622 SOS 46779 HAS SOPS 46779 HAS SOUS 28563 HAS SOUPS 28563 WITH SCORE 28609.779
AT ITER 7333 NEW BEST:: SOT 220621 SOS 46778 HAS SOPS 46778 HAS SOUS 28560 HAS SOUPS 28560 WITH SCORE 28606.778
AT ITER 7334 NEW BEST:: SOT 220634 SOS 46775 HAS SOPS 46775 HAS SOUS 28532 HAS SOUPS 28532 WITH SCORE 28578.775
AT ITER 7336 NEW BEST:: SOT 220628 SOS 46750 HAS SOPS 46750 HAS SOUS 28529 HAS SOUPS 28529 WITH SCORE 28575.75
AT ITER 7344 NEW BEST:: SOT 220618 SOS 46720 HAS SOPS 46720 HAS SOUS 28514 HAS SOUPS 28514 WITH SCORE 28560.72
AT ITER 7345 NEW BEST:: SOT 220582 SOS 46645 HAS SOPS 46645 HAS SOUS 28493 HAS SOUPS 28493 WITH SCORE 28539.645
AT ITER 7346 NEW BEST:: SOT 220574 SOS 46629 HAS SOPS 46629 HAS SOUS 28485 HAS SOUPS 28485 WITH SCORE 28531.629
AT ITER 7350 NEW BEST:: SOT 220575 SOS 46618 HAS SOPS 46618 HAS SOUS 28472 HAS SOUPS 28472 WITH SCORE 28518.618
AT ITER 7398 NEW BEST:: SOT 220598 SOS 46703 HAS SOPS 46703 HAS SOUS 28466 HAS SOUPS 28466 WITH SCORE 28512.703
AT ITER 7401 NEW BEST:: SOT 220321 SOS 46049 HAS SOPS 46049 HAS SOUS 28151 HAS SOUPS 28151 WITH SCORE 28197.049
AT ITER 7402 NEW BEST:: SOT 220314 SOS 46024 HAS SOPS 46024 HAS SOUS 28123 HAS SOUPS 28123 WITH SCORE 28169.024
AT ITER 7406 NEW BEST:: SOT 220308 SOS 46007 HAS SOPS 46007 HAS SOUS 28113 HAS SOUPS 28113 WITH SCORE 28159.007
AT ITER 7463 NEW BEST:: SOT 220308 SOS 46001 HAS SOPS 46001 HAS SOUS 28071 HAS SOUPS 28071 WITH SCORE 28117.001
AT ITER 7465 NEW BEST:: SOT 220275 SOS 45877 HAS SOPS 45877 HAS SOUS 28067 HAS SOUPS 28067 WITH SCORE 28112.877
AT ITER 7482 NEW BEST:: SOT 220275 SOS 45877 HAS SOPS 45877 HAS SOUS 28035 HAS SOUPS 28035 WITH SCORE 28080.877
AT ITER 7484 NEW BEST:: SOT 220217 SOS 45729 HAS SOPS 45729 HAS SOUS 27971 HAS SOUPS 27971 WITH SCORE 28016.729
AT ITER 7497 NEW BEST:: SOT 220217 SOS 45730 HAS SOPS 45730 HAS SOUS 27962 HAS SOUPS 27962 WITH SCORE 28007.73
AT ITER 7499 NEW BEST:: SOT 220100 SOS 45346 HAS SOPS 45346 HAS SOUS 27868 HAS SOUPS 27868 WITH SCORE 27913.346
AT ITER 7515 NEW BEST:: SOT 220096 SOS 45338 HAS SOPS 45338 HAS SOUS 27862 HAS SOUPS 27862 WITH SCORE 27907.338
AT ITER 7516 NEW BEST:: SOT 220064 SOS 45274 HAS SOPS 45274 HAS SOUS 27845 HAS SOUPS 27845 WITH SCORE 27890.274
AT ITER 7574 NEW BEST:: SOT 220064 SOS 45265 HAS SOPS 45265 HAS SOUS 27843 HAS SOUPS 27843 WITH SCORE 27888.265
AT ITER 7602 NEW BEST:: SOT 220041 SOS 45173 HAS SOPS 45173 HAS SOUS 27820 HAS SOUPS 27820 WITH SCORE 27865.173
AT ITER 7622 NEW BEST:: SOT 220009 SOS 45066 HAS SOPS 45066 HAS SOUS 27804 HAS SOUPS 27804 WITH SCORE 27849.066
AT ITER 7623 NEW BEST:: SOT 219993 SOS 45018 HAS SOPS 45018 HAS SOUS 27794 HAS SOUPS 27794 WITH SCORE 27839.018
AT ITER 7649 NEW BEST:: SOT 219878 SOS 44724 HAS SOPS 44724 HAS SOUS 27586 HAS SOUPS 27586 WITH SCORE 27630.724
AT ITER 7745 NEW BEST:: SOT 219818 SOS 44584 HAS SOPS 44584 HAS SOUS 27546 HAS SOUPS 27546 WITH SCORE 27590.584
AT ITER 7762 NEW BEST:: SOT 219782 SOS 44476 HAS SOPS 44476 HAS SOUS 27502 HAS SOUPS 27502 WITH SCORE 27546.476
AT ITER 7808 NEW BEST:: SOT 219758 SOS 44407 HAS SOPS 44407 HAS SOUS 27493 HAS SOUPS 27493 WITH SCORE 27537.407
AT ITER 7866 NEW BEST:: SOT 219734 SOS 44342 HAS SOPS 44342 HAS SOUS 27482 HAS SOUPS 27482 WITH SCORE 27526.342
AT ITER 7892 NEW BEST:: SOT 219738 SOS 44372 HAS SOPS 44372 HAS SOUS 27457 HAS SOUPS 27457 WITH SCORE 27501.372
AT ITER 7918 NEW BEST:: SOT 219716 SOS 44306 HAS SOPS 44306 HAS SOUS 27424 HAS SOUPS 27424 WITH SCORE 27468.306
AT ITER 7929 NEW BEST:: SOT 219685 SOS 44223 HAS SOPS 44223 HAS SOUS 27420 HAS SOUPS 27420 WITH SCORE 27464.223
AT ITER 7945 NEW BEST:: SOT 219658 SOS 44169 HAS SOPS 44169 HAS SOUS 27393 HAS SOUPS 27393 WITH SCORE 27437.169
AT ITER 7951 NEW BEST:: SOT 219648 SOS 44139 HAS SOPS 44139 HAS SOUS 27388 HAS SOUPS 27388 WITH SCORE 27432.139
AT ITER 7973 NEW BEST:: SOT 219572 SOS 43951 HAS SOPS 43951 HAS SOUS 27206 HAS SOUPS 27206 WITH SCORE 27249.951
AT ITER 8024 NEW BEST:: SOT 219562 SOS 43946 HAS SOPS 43946 HAS SOUS 27185 HAS SOUPS 27185 WITH SCORE 27228.946
AT ITER 8036 NEW BEST:: SOT 219556 SOS 43920 HAS SOPS 43920 HAS SOUS 27178 HAS SOUPS 27178 WITH SCORE 27221.92
AT ITER 8071 NEW BEST:: SOT 219544 SOS 43872 HAS SOPS 43872 HAS SOUS 27154 HAS SOUPS 27154 WITH SCORE 27197.872
AT ITER 8074 NEW BEST:: SOT 219571 SOS 43926 HAS SOPS 43926 HAS SOUS 27119 HAS SOUPS 27119 WITH SCORE 27162.926
AT ITER 8087 NEW BEST:: SOT 219571 SOS 43926 HAS SOPS 43926 HAS SOUS 27101 HAS SOUPS 27101 WITH SCORE 27144.926
AT ITER 8093 NEW BEST:: SOT 219588 SOS 43977 HAS SOPS 43977 HAS SOUS 27084 HAS SOUPS 27084 WITH SCORE 27127.977
AT ITER 8104 NEW BEST:: SOT 219561 SOS 43923 HAS SOPS 43923 HAS SOUS 27057 HAS SOUPS 27057 WITH SCORE 27100.923
AT ITER 8108 NEW BEST:: SOT 219537 SOS 43864 HAS SOPS 43864 HAS SOUS 27050 HAS SOUPS 27050 WITH SCORE 27093.864
AT ITER 8176 NEW BEST:: SOT 219417 SOS 43616 HAS SOPS 43616 HAS SOUS 27014 HAS SOUPS 27014 WITH SCORE 27057.616
AT ITER 8181 NEW BEST:: SOT 219417 SOS 43616 HAS SOPS 43616 HAS SOUS 26972 HAS SOUPS 26972 WITH SCORE 27015.616
AT ITER 8187 NEW BEST:: SOT 219419 SOS 43614 HAS SOPS 43614 HAS SOUS 26942 HAS SOUPS 26942 WITH SCORE 26985.614
AT ITER 8193 NEW BEST:: SOT 219274 SOS 43330 HAS SOPS 43330 HAS SOUS 26781 HAS SOUPS 26781 WITH SCORE 26824.33
AT ITER 8204 NEW BEST:: SOT 219266 SOS 43302 HAS SOPS 43302 HAS SOUS 26757 HAS SOUPS 26757 WITH SCORE 26800.302
AT ITER 8208 NEW BEST:: SOT 219214 SOS 43198 HAS SOPS 43198 HAS SOUS 26751 HAS SOUPS 26751 WITH SCORE 26794.198
AT ITER 8243 NEW BEST:: SOT 219222 SOS 43152 HAS SOPS 43152 HAS SOUS 26716 HAS SOUPS 26716 WITH SCORE 26759.152
AT ITER 8265 NEW BEST:: SOT 219210 SOS 43128 HAS SOPS 43128 HAS SOUS 26680 HAS SOUPS 26680 WITH SCORE 26723.128
AT ITER 8287 NEW BEST:: SOT 219285 SOS 43260 HAS SOPS 43260 HAS SOUS 26662 HAS SOUPS 26662 WITH SCORE 26705.26
AT ITER 8345 NEW BEST:: SOT 219268 SOS 43186 HAS SOPS 43186 HAS SOUS 26662 HAS SOUPS 26662 WITH SCORE 26705.186
AT ITER 8367 NEW BEST:: SOT 219240 SOS 43130 HAS SOPS 43130 HAS SOUS 26627 HAS SOUPS 26627 WITH SCORE 26670.13
AT ITER 8368 NEW BEST:: SOT 219240 SOS 43132 HAS SOPS 43132 HAS SOUS 26609 HAS SOUPS 26609 WITH SCORE 26652.132
AT ITER 8393 NEW BEST:: SOT 219226 SOS 43104 HAS SOPS 43104 HAS SOUS 26593 HAS SOUPS 26593 WITH SCORE 26636.104
AT ITER 8439 NEW BEST:: SOT 219226 SOS 43104 HAS SOPS 43104 HAS SOUS 26569 HAS SOUPS 26569 WITH SCORE 26612.104
AT ITER 8443 NEW BEST:: SOT 219241 SOS 43148 HAS SOPS 43148 HAS SOUS 26559 HAS SOUPS 26559 WITH SCORE 26602.148
AT ITER 8447 NEW BEST:: SOT 219207 SOS 43080 HAS SOPS 43080 HAS SOUS 26542 HAS SOUPS 26542 WITH SCORE 26585.08
AT ITER 8458 NEW BEST:: SOT 219070 SOS 42736 HAS SOPS 42736 HAS SOUS 26500 HAS SOUPS 26500 WITH SCORE 26542.736
AT ITER 8461 NEW BEST:: SOT 219055 SOS 42706 HAS SOPS 42706 HAS SOUS 26481 HAS SOUPS 26481 WITH SCORE 26523.706
AT ITER 8570 NEW BEST:: SOT 219062 SOS 42847 HAS SOPS 42847 HAS SOUS 26410 HAS SOUPS 26410 WITH SCORE 26452.847
AT ITER 8583 NEW BEST:: SOT 218998 SOS 42655 HAS SOPS 42655 HAS SOUS 26378 HAS SOUPS 26378 WITH SCORE 26420.655
AT ITER 8585 NEW BEST:: SOT 218996 SOS 42650 HAS SOPS 42650 HAS SOUS 26378 HAS SOUPS 26378 WITH SCORE 26420.65
AT ITER 8586 NEW BEST:: SOT 218992 SOS 42651 HAS SOPS 42651 HAS SOUS 26377 HAS SOUPS 26377 WITH SCORE 26419.651
AT ITER 8596 NEW BEST:: SOT 218942 SOS 42601 HAS SOPS 42601 HAS SOUS 26325 HAS SOUPS 26325 WITH SCORE 26367.601
AT ITER 8610 NEW BEST:: SOT 218923 SOS 42550 HAS SOPS 42550 HAS SOUS 26298 HAS SOUPS 26298 WITH SCORE 26340.55
AT ITER 8623 NEW BEST:: SOT 218883 SOS 42418 HAS SOPS 42418 HAS SOUS 26284 HAS SOUPS 26284 WITH SCORE 26326.418
AT ITER 8625 NEW BEST:: SOT 218881 SOS 42413 HAS SOPS 42413 HAS SOUS 26281 HAS SOUPS 26281 WITH SCORE 26323.413
AT ITER 8629 NEW BEST:: SOT 218771 SOS 42142 HAS SOPS 42142 HAS SOUS 26183 HAS SOUPS 26183 WITH SCORE 26225.142
AT ITER 8698 NEW BEST:: SOT 218753 SOS 42088 HAS SOPS 42088 HAS SOUS 26156 HAS SOUPS 26156 WITH SCORE 26198.088
AT ITER 8702 NEW BEST:: SOT 218753 SOS 42072 HAS SOPS 42072 HAS SOUS 26132 HAS SOUPS 26132 WITH SCORE 26174.072
AT ITER 8713 NEW BEST:: SOT 218737 SOS 42056 HAS SOPS 42056 HAS SOUS 26118 HAS SOUPS 26118 WITH SCORE 26160.056
AT ITER 8715 NEW BEST:: SOT 218718 SOS 42000 HAS SOPS 42000 HAS SOUS 26117 HAS SOUPS 26117 WITH SCORE 26159.0
AT ITER 8720 NEW BEST:: SOT 218651 SOS 41726 HAS SOPS 41726 HAS SOUS 26100 HAS SOUPS 26100 WITH SCORE 26141.726
AT ITER 8736 NEW BEST:: SOT 218669 SOS 41799 HAS SOPS 41799 HAS SOUS 26096 HAS SOUPS 26096 WITH SCORE 26137.799
AT ITER 8749 NEW BEST:: SOT 218741 SOS 42002 HAS SOPS 42002 HAS SOUS 26089 HAS SOUPS 26089 WITH SCORE 26131.002
AT ITER 8753 NEW BEST:: SOT 218685 SOS 41794 HAS SOPS 41794 HAS SOUS 26081 HAS SOUPS 26081 WITH SCORE 26122.794
AT ITER 8756 NEW BEST:: SOT 218685 SOS 41792 HAS SOPS 41792 HAS SOUS 26079 HAS SOUPS 26079 WITH SCORE 26120.792
AT ITER 8769 NEW BEST:: SOT 218678 SOS 41792 HAS SOPS 41792 HAS SOUS 26065 HAS SOUPS 26065 WITH SCORE 26106.792
AT ITER 8773 NEW BEST:: SOT 218652 SOS 41727 HAS SOPS 41727 HAS SOUS 26052 HAS SOUPS 26052 WITH SCORE 26093.727
AT ITER 8792 NEW BEST:: SOT 218582 SOS 41584 HAS SOPS 41584 HAS SOUS 26049 HAS SOUPS 26049 WITH SCORE 26090.584
AT ITER 8800 NEW BEST:: SOT 218564 SOS 41539 HAS SOPS 41539 HAS SOUS 26049 HAS SOUPS 26049 WITH SCORE 26090.539
AT ITER 8808 NEW BEST:: SOT 218564 SOS 41539 HAS SOPS 41539 HAS SOUS 26003 HAS SOUPS 26003 WITH SCORE 26044.539
AT ITER 8822 NEW BEST:: SOT 218579 SOS 41569 HAS SOPS 41569 HAS SOUS 26002 HAS SOUPS 26002 WITH SCORE 26043.569
AT ITER 8825 NEW BEST:: SOT 218534 SOS 41474 HAS SOPS 41474 HAS SOUS 26002 HAS SOUPS 26002 WITH SCORE 26043.474
AT ITER 8849 NEW BEST:: SOT 218522 SOS 41450 HAS SOPS 41450 HAS SOUS 26002 HAS SOUPS 26002 WITH SCORE 26043.45
AT ITER 8853 NEW BEST:: SOT 218496 SOS 41398 HAS SOPS 41398 HAS SOUS 26002 HAS SOUPS 26002 WITH SCORE 26043.398
AT ITER 8857 NEW BEST:: SOT 218470 SOS 41359 HAS SOPS 41359 HAS SOUS 25950 HAS SOUPS 25950 WITH SCORE 25991.359
AT ITER 8864 NEW BEST:: SOT 218470 SOS 41359 HAS SOPS 41359 HAS SOUS 25918 HAS SOUPS 25918 WITH SCORE 25959.359
AT ITER 8882 NEW BEST:: SOT 218369 SOS 41043 HAS SOPS 41043 HAS SOUS 25869 HAS SOUPS 25869 WITH SCORE 25910.043
AT ITER 8901 NEW BEST:: SOT 218299 SOS 40833 HAS SOPS 40833 HAS SOUS 25834 HAS SOUPS 25834 WITH SCORE 25874.833
AT ITER 8906 NEW BEST:: SOT 218230 SOS 40754 HAS SOPS 40754 HAS SOUS 25699 HAS SOUPS 25699 WITH SCORE 25739.754
AT ITER 8911 NEW BEST:: SOT 218224 SOS 40742 HAS SOPS 40742 HAS SOUS 25693 HAS SOUPS 25693 WITH SCORE 25733.742
AT ITER 8913 NEW BEST:: SOT 218420 SOS 41344 HAS SOPS 41344 HAS SOUS 25607 HAS SOUPS 25607 WITH SCORE 25648.344
AT ITER 8965 NEW BEST:: SOT 218390 SOS 41251 HAS SOPS 41251 HAS SOUS 25595 HAS SOUPS 25595 WITH SCORE 25636.251
AT ITER 8994 NEW BEST:: SOT 218390 SOS 41243 HAS SOPS 41243 HAS SOUS 25587 HAS SOUPS 25587 WITH SCORE 25628.243
AT ITER 9008 NEW BEST:: SOT 218385 SOS 41233 HAS SOPS 41233 HAS SOUS 25587 HAS SOUPS 25587 WITH SCORE 25628.233
AT ITER 9016 NEW BEST:: SOT 218383 SOS 41233 HAS SOPS 41233 HAS SOUS 25583 HAS SOUPS 25583 WITH SCORE 25624.233
AT ITER 9018 NEW BEST:: SOT 218351 SOS 41150 HAS SOPS 41150 HAS SOUS 25583 HAS SOUPS 25583 WITH SCORE 25624.15
AT ITER 9036 NEW BEST:: SOT 218353 SOS 41156 HAS SOPS 41156 HAS SOUS 25581 HAS SOUPS 25581 WITH SCORE 25622.156
AT ITER 9038 NEW BEST:: SOT 218350 SOS 41147 HAS SOPS 41147 HAS SOUS 25581 HAS SOUPS 25581 WITH SCORE 25622.147
AT ITER 9061 NEW BEST:: SOT 218319 SOS 41085 HAS SOPS 41085 HAS SOUS 25581 HAS SOUPS 25581 WITH SCORE 25622.085
AT ITER 9088 NEW BEST:: SOT 218277 SOS 41001 HAS SOPS 41001 HAS SOUS 25578 HAS SOUPS 25578 WITH SCORE 25619.001
AT ITER 9103 NEW BEST:: SOT 218266 SOS 40979 HAS SOPS 40979 HAS SOUS 25543 HAS SOUPS 25543 WITH SCORE 25583.979
AT ITER 9154 NEW BEST:: SOT 218186 SOS 40819 HAS SOPS 40819 HAS SOUS 25443 HAS SOUPS 25443 WITH SCORE 25483.819
AT ITER 9167 NEW BEST:: SOT 218175 SOS 40879 HAS SOPS 40879 HAS SOUS 25406 HAS SOUPS 25406 WITH SCORE 25446.879
AT ITER 9182 NEW BEST:: SOT 218193 SOS 40830 HAS SOPS 40830 HAS SOUS 25393 HAS SOUPS 25393 WITH SCORE 25433.83
AT ITER 9225 NEW BEST:: SOT 218099 SOS 40573 HAS SOPS 40573 HAS SOUS 25392 HAS SOUPS 25392 WITH SCORE 25432.573
AT ITER 9274 NEW BEST:: SOT 218093 SOS 40558 HAS SOPS 40558 HAS SOUS 25386 HAS SOUPS 25386 WITH SCORE 25426.558
AT ITER 9284 NEW BEST:: SOT 218066 SOS 40673 HAS SOPS 40673 HAS SOUS 25303 HAS SOUPS 25303 WITH SCORE 25343.673
AT ITER 9292 NEW BEST:: SOT 218062 SOS 40661 HAS SOPS 40661 HAS SOUS 25303 HAS SOUPS 25303 WITH SCORE 25343.661
AT ITER 9329 NEW BEST:: SOT 218060 SOS 40656 HAS SOPS 40656 HAS SOUS 25302 HAS SOUPS 25302 WITH SCORE 25342.656
AT ITER 9348 NEW BEST:: SOT 218007 SOS 40423 HAS SOPS 40423 HAS SOUS 25232 HAS SOUPS 25232 WITH SCORE 25272.423
AT ITER 9362 NEW BEST:: SOT 217798 SOS 39962 HAS SOPS 39962 HAS SOUS 25118 HAS SOUPS 25118 WITH SCORE 25157.962
AT ITER 9376 NEW BEST:: SOT 217776 SOS 39893 HAS SOPS 39893 HAS SOUS 25077 HAS SOUPS 25077 WITH SCORE 25116.893
AT ITER 9406 NEW BEST:: SOT 217832 SOS 39933 HAS SOPS 39933 HAS SOUS 25005 HAS SOUPS 25005 WITH SCORE 25044.933
AT ITER 9411 NEW BEST:: SOT 217723 SOS 39583 HAS SOPS 39583 HAS SOUS 24921 HAS SOUPS 24921 WITH SCORE 24960.583
AT ITER 9422 NEW BEST:: SOT 217689 SOS 39483 HAS SOPS 39483 HAS SOUS 24898 HAS SOUPS 24898 WITH SCORE 24937.483
AT ITER 9424 NEW BEST:: SOT 217650 SOS 39404 HAS SOPS 39404 HAS SOUS 24897 HAS SOUPS 24897 WITH SCORE 24936.404
AT ITER 9474 NEW BEST:: SOT 217635 SOS 39374 HAS SOPS 39374 HAS SOUS 24865 HAS SOUPS 24865 WITH SCORE 24904.374
AT ITER 9505 NEW BEST:: SOT 217626 SOS 39363 HAS SOPS 39363 HAS SOUS 24863 HAS SOUPS 24863 WITH SCORE 24902.363
AT ITER 9509 NEW BEST:: SOT 217626 SOS 39363 HAS SOPS 39363 HAS SOUS 24857 HAS SOUPS 24857 WITH SCORE 24896.363
AT ITER 9513 NEW BEST:: SOT 217626 SOS 39363 HAS SOPS 39363 HAS SOUS 24856 HAS SOUPS 24856 WITH SCORE 24895.363
AT ITER 9544 NEW BEST:: SOT 217597 SOS 39275 HAS SOPS 39275 HAS SOUS 24811 HAS SOUPS 24811 WITH SCORE 24850.275
AT ITER 9545 NEW BEST:: SOT 217598 SOS 39257 HAS SOPS 39257 HAS SOUS 24791 HAS SOUPS 24791 WITH SCORE 24830.257
AT ITER 9558 NEW BEST:: SOT 217585 SOS 39238 HAS SOPS 39238 HAS SOUS 24785 HAS SOUPS 24785 WITH SCORE 24824.238
AT ITER 9561 NEW BEST:: SOT 217584 SOS 39236 HAS SOPS 39236 HAS SOUS 24784 HAS SOUPS 24784 WITH SCORE 24823.236
AT ITER 9618 NEW BEST:: SOT 217584 SOS 39233 HAS SOPS 39233 HAS SOUS 24769 HAS SOUPS 24769 WITH SCORE 24808.233
AT ITER 9633 NEW BEST:: SOT 217537 SOS 39063 HAS SOPS 39063 HAS SOUS 24750 HAS SOUPS 24750 WITH SCORE 24789.063
AT ITER 9645 NEW BEST:: SOT 217520 SOS 39066 HAS SOPS 39066 HAS SOUS 24694 HAS SOUPS 24694 WITH SCORE 24733.066
AT ITER 9662 NEW BEST:: SOT 217475 SOS 38886 HAS SOPS 38886 HAS SOUS 24559 HAS SOUPS 24559 WITH SCORE 24597.886
AT ITER 9666 NEW BEST:: SOT 217420 SOS 38710 HAS SOPS 38710 HAS SOUS 24541 HAS SOUPS 24541 WITH SCORE 24579.71
AT ITER 9693 NEW BEST:: SOT 217420 SOS 38710 HAS SOPS 38710 HAS SOUS 24539 HAS SOUPS 24539 WITH SCORE 24577.71
AT ITER 9694 NEW BEST:: SOT 217391 SOS 38580 HAS SOPS 38580 HAS SOUS 24476 HAS SOUPS 24476 WITH SCORE 24514.58
AT ITER 9708 NEW BEST:: SOT 217364 SOS 38526 HAS SOPS 38526 HAS SOUS 24476 HAS SOUPS 24476 WITH SCORE 24514.526
AT ITER 9743 NEW BEST:: SOT 217339 SOS 38388 HAS SOPS 38388 HAS SOUS 24471 HAS SOUPS 24471 WITH SCORE 24509.388
AT ITER 9795 NEW BEST:: SOT 217339 SOS 38394 HAS SOPS 38394 HAS SOUS 24468 HAS SOUPS 24468 WITH SCORE 24506.394
AT ITER 9833 NEW BEST:: SOT 217319 SOS 38284 HAS SOPS 38284 HAS SOUS 24448 HAS SOUPS 24448 WITH SCORE 24486.284
AT ITER 9851 NEW BEST:: SOT 217248 SOS 38128 HAS SOPS 38128 HAS SOUS 24427 HAS SOUPS 24427 WITH SCORE 24465.128
AT ITER 9853 NEW BEST:: SOT 217248 SOS 38122 HAS SOPS 38122 HAS SOUS 24427 HAS SOUPS 24427 WITH SCORE 24465.122
AT ITER 9854 NEW BEST:: SOT 217222 SOS 38044 HAS SOPS 38044 HAS SOUS 24388 HAS SOUPS 24388 WITH SCORE 24426.044
AT ITER 9868 NEW BEST:: SOT 217128 SOS 37762 HAS SOPS 37762 HAS SOUS 24273 HAS SOUPS 24273 WITH SCORE 24310.762
AT ITER 9919 NEW BEST:: SOT 217126 SOS 37757 HAS SOPS 37757 HAS SOUS 24271 HAS SOUPS 24271 WITH SCORE 24308.757
AT ITER 9942 NEW BEST:: SOT 217124 SOS 37751 HAS SOPS 37751 HAS SOUS 24271 HAS SOUPS 24271 WITH SCORE 24308.751
AT ITER 9979 NEW BEST:: SOT 217124 SOS 37746 HAS SOPS 37746 HAS SOUS 24266 HAS SOUPS 24266 WITH SCORE 24303.746
AT ITER 9992 NEW BEST:: SOT 217048 SOS 37566 HAS SOPS 37566 HAS SOUS 24182 HAS SOUPS 24182 WITH SCORE 24219.566

BK_STOP 1679200779373

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 367 Killed ${SMART}/smart ${INPUT_SM}

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="ViralEpidemic-PT-S04D1C1A03"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is ViralEpidemic-PT-S04D1C1A03, 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 r483-tall-167912696801304"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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