Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 236K
-rw-r--r-- 1 mcc users 3.6K Mar 31 07:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 31 07:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 29 23:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 23:40 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:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 14:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 27 07:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 27 07:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 75K 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 1589363482913

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

Filename model.pnml
Petri model created: 296 places, 314 transitions, 819 arcs.
AT ITER 0 NEW BEST:: SOT 64743 SOS 30735 HAS SOPS 30735 HAS SOUS 27286 HAS SOUPS 27286 WITH SCORE 27316.735
AT ITER 3 NEW BEST:: SOT 64674 SOS 30607 HAS SOPS 30607 HAS SOUS 27158 HAS SOUPS 27158 WITH SCORE 27188.607
AT ITER 8 NEW BEST:: SOT 64680 SOS 30506 HAS SOPS 30506 HAS SOUS 27107 HAS SOUPS 27107 WITH SCORE 27137.506
AT ITER 14 NEW BEST:: SOT 64518 SOS 30304 HAS SOPS 30304 HAS SOUS 26864 HAS SOUPS 26864 WITH SCORE 26894.304
AT ITER 22 NEW BEST:: SOT 64373 SOS 30329 HAS SOPS 30329 HAS SOUS 26855 HAS SOUPS 26855 WITH SCORE 26885.329
AT ITER 28 NEW BEST:: SOT 64373 SOS 30318 HAS SOPS 30318 HAS SOUS 26844 HAS SOUPS 26844 WITH SCORE 26874.318
AT ITER 34 NEW BEST:: SOT 64209 SOS 30154 HAS SOPS 30154 HAS SOUS 26680 HAS SOUPS 26680 WITH SCORE 26710.154
AT ITER 43 NEW BEST:: SOT 64209 SOS 30041 HAS SOPS 30041 HAS SOUS 26567 HAS SOUPS 26567 WITH SCORE 26597.041
AT ITER 57 NEW BEST:: SOT 64085 SOS 29855 HAS SOPS 29855 HAS SOUS 26381 HAS SOUPS 26381 WITH SCORE 26410.855
AT ITER 64 NEW BEST:: SOT 64084 SOS 29853 HAS SOPS 29853 HAS SOUS 26379 HAS SOUPS 26379 WITH SCORE 26408.853
AT ITER 65 NEW BEST:: SOT 64015 SOS 29783 HAS SOPS 29783 HAS SOUS 26309 HAS SOUPS 26309 WITH SCORE 26338.783
AT ITER 67 NEW BEST:: SOT 63851 SOS 29571 HAS SOPS 29571 HAS SOUS 26177 HAS SOUPS 26177 WITH SCORE 26206.571
AT ITER 69 NEW BEST:: SOT 63902 SOS 29572 HAS SOPS 29572 HAS SOUS 26152 HAS SOUPS 26152 WITH SCORE 26181.572
AT ITER 70 NEW BEST:: SOT 63874 SOS 29544 HAS SOPS 29544 HAS SOUS 26124 HAS SOUPS 26124 WITH SCORE 26153.544
AT ITER 71 NEW BEST:: SOT 63848 SOS 29460 HAS SOPS 29460 HAS SOUS 26097 HAS SOUPS 26097 WITH SCORE 26126.46
AT ITER 74 NEW BEST:: SOT 63848 SOS 29460 HAS SOPS 29460 HAS SOUS 26093 HAS SOUPS 26093 WITH SCORE 26122.46
AT ITER 78 NEW BEST:: SOT 63735 SOS 29282 HAS SOPS 29282 HAS SOUS 25951 HAS SOUPS 25951 WITH SCORE 25980.282
AT ITER 94 NEW BEST:: SOT 63791 SOS 29167 HAS SOPS 29167 HAS SOUS 25776 HAS SOUPS 25776 WITH SCORE 25805.167
AT ITER 101 NEW BEST:: SOT 63697 SOS 28986 HAS SOPS 28986 HAS SOUS 25595 HAS SOUPS 25595 WITH SCORE 25623.986
AT ITER 102 NEW BEST:: SOT 63594 SOS 28847 HAS SOPS 28847 HAS SOUS 25439 HAS SOUPS 25439 WITH SCORE 25467.847
AT ITER 110 NEW BEST:: SOT 63576 SOS 28829 HAS SOPS 28829 HAS SOUS 25421 HAS SOUPS 25421 WITH SCORE 25449.829
AT ITER 122 NEW BEST:: SOT 63570 SOS 28823 HAS SOPS 28823 HAS SOUS 25415 HAS SOUPS 25415 WITH SCORE 25443.823
AT ITER 126 NEW BEST:: SOT 63570 SOS 28768 HAS SOPS 28768 HAS SOUS 25360 HAS SOUPS 25360 WITH SCORE 25388.768
AT ITER 127 NEW BEST:: SOT 63467 SOS 28700 HAS SOPS 28700 HAS SOUS 25289 HAS SOUPS 25289 WITH SCORE 25317.7
AT ITER 130 NEW BEST:: SOT 63474 SOS 28652 HAS SOPS 28652 HAS SOUS 25241 HAS SOUPS 25241 WITH SCORE 25269.652
AT ITER 135 NEW BEST:: SOT 63353 SOS 28301 HAS SOPS 28301 HAS SOUS 25000 HAS SOUPS 25000 WITH SCORE 25028.301
AT ITER 137 NEW BEST:: SOT 63352 SOS 28299 HAS SOPS 28299 HAS SOUS 24998 HAS SOUPS 24998 WITH SCORE 25026.299
AT ITER 142 NEW BEST:: SOT 63269 SOS 28124 HAS SOPS 28124 HAS SOUS 24861 HAS SOUPS 24861 WITH SCORE 24889.124
AT ITER 143 NEW BEST:: SOT 61298 SOS 26297 HAS SOPS 26297 HAS SOUS 22952 HAS SOUPS 22952 WITH SCORE 22978.297
AT ITER 147 NEW BEST:: SOT 61223 SOS 26231 HAS SOPS 26231 HAS SOUS 22876 HAS SOUPS 22876 WITH SCORE 22902.231
AT ITER 155 NEW BEST:: SOT 61118 SOS 25938 HAS SOPS 25938 HAS SOUS 22666 HAS SOUPS 22666 WITH SCORE 22691.938
AT ITER 156 NEW BEST:: SOT 61073 SOS 25848 HAS SOPS 25848 HAS SOUS 22627 HAS SOUPS 22627 WITH SCORE 22652.848
AT ITER 160 NEW BEST:: SOT 61048 SOS 25837 HAS SOPS 25837 HAS SOUS 22618 HAS SOUPS 22618 WITH SCORE 22643.837
AT ITER 167 NEW BEST:: SOT 61047 SOS 25835 HAS SOPS 25835 HAS SOUS 22616 HAS SOUPS 22616 WITH SCORE 22641.835
AT ITER 171 NEW BEST:: SOT 60979 SOS 25637 HAS SOPS 25637 HAS SOUS 22430 HAS SOUPS 22430 WITH SCORE 22455.637
AT ITER 175 NEW BEST:: SOT 60965 SOS 25609 HAS SOPS 25609 HAS SOUS 22416 HAS SOUPS 22416 WITH SCORE 22441.609
AT ITER 177 NEW BEST:: SOT 61010 SOS 25658 HAS SOPS 25658 HAS SOUS 22408 HAS SOUPS 22408 WITH SCORE 22433.658
AT ITER 182 NEW BEST:: SOT 60674 SOS 25739 HAS SOPS 25739 HAS SOUS 22119 HAS SOUPS 22119 WITH SCORE 22144.739
AT ITER 189 NEW BEST:: SOT 60669 SOS 25729 HAS SOPS 25729 HAS SOUS 22111 HAS SOUPS 22111 WITH SCORE 22136.729
AT ITER 195 NEW BEST:: SOT 60614 SOS 25748 HAS SOPS 25748 HAS SOUS 22109 HAS SOUPS 22109 WITH SCORE 22134.748
AT ITER 196 NEW BEST:: SOT 60555 SOS 25556 HAS SOPS 25556 HAS SOUS 21991 HAS SOUPS 21991 WITH SCORE 22016.556
AT ITER 198 NEW BEST:: SOT 60555 SOS 25470 HAS SOPS 25470 HAS SOUS 21991 HAS SOUPS 21991 WITH SCORE 22016.47
AT ITER 201 NEW BEST:: SOT 60511 SOS 25309 HAS SOPS 25309 HAS SOUS 21904 HAS SOUPS 21904 WITH SCORE 21929.309
AT ITER 204 NEW BEST:: SOT 60537 SOS 25258 HAS SOPS 25258 HAS SOUS 21853 HAS SOUPS 21853 WITH SCORE 21878.258
AT ITER 218 NEW BEST:: SOT 60545 SOS 25188 HAS SOPS 25188 HAS SOUS 21805 HAS SOUPS 21805 WITH SCORE 21830.188
AT ITER 224 NEW BEST:: SOT 60544 SOS 25186 HAS SOPS 25186 HAS SOUS 21803 HAS SOUPS 21803 WITH SCORE 21828.186
AT ITER 226 NEW BEST:: SOT 60506 SOS 25110 HAS SOPS 25110 HAS SOUS 21762 HAS SOUPS 21762 WITH SCORE 21787.11
AT ITER 231 NEW BEST:: SOT 60440 SOS 24920 HAS SOPS 24920 HAS SOUS 21613 HAS SOUPS 21613 WITH SCORE 21637.92
AT ITER 243 NEW BEST:: SOT 60402 SOS 24882 HAS SOPS 24882 HAS SOUS 21575 HAS SOUPS 21575 WITH SCORE 21599.882
AT ITER 247 NEW BEST:: SOT 60364 SOS 24806 HAS SOPS 24806 HAS SOUS 21527 HAS SOUPS 21527 WITH SCORE 21551.806
AT ITER 257 NEW BEST:: SOT 60311 SOS 24605 HAS SOPS 24605 HAS SOUS 21382 HAS SOUPS 21382 WITH SCORE 21406.605
AT ITER 261 NEW BEST:: SOT 60310 SOS 24587 HAS SOPS 24587 HAS SOUS 21364 HAS SOUPS 21364 WITH SCORE 21388.587
AT ITER 265 NEW BEST:: SOT 60309 SOS 24555 HAS SOPS 24555 HAS SOUS 21362 HAS SOUPS 21362 WITH SCORE 21386.555
AT ITER 268 NEW BEST:: SOT 60309 SOS 24493 HAS SOPS 24493 HAS SOUS 21362 HAS SOUPS 21362 WITH SCORE 21386.493
AT ITER 269 NEW BEST:: SOT 60358 SOS 24494 HAS SOPS 24494 HAS SOUS 21326 HAS SOUPS 21326 WITH SCORE 21350.494
AT ITER 270 NEW BEST:: SOT 60260 SOS 24367 HAS SOPS 24367 HAS SOUS 21225 HAS SOUPS 21225 WITH SCORE 21249.367
AT ITER 284 NEW BEST:: SOT 60208 SOS 24354 HAS SOPS 24354 HAS SOUS 21212 HAS SOUPS 21212 WITH SCORE 21236.354
AT ITER 285 NEW BEST:: SOT 60213 SOS 24296 HAS SOPS 24296 HAS SOUS 21204 HAS SOUPS 21204 WITH SCORE 21228.296
AT ITER 288 NEW BEST:: SOT 60213 SOS 24296 HAS SOPS 24296 HAS SOUS 21159 HAS SOUPS 21159 WITH SCORE 21183.296
AT ITER 296 NEW BEST:: SOT 59262 SOS 25262 HAS SOPS 25262 HAS SOUS 20122 HAS SOUPS 20122 WITH SCORE 20147.262
AT ITER 303 NEW BEST:: SOT 59262 SOS 25243 HAS SOPS 25243 HAS SOUS 20103 HAS SOUPS 20103 WITH SCORE 20128.243
AT ITER 304 NEW BEST:: SOT 59258 SOS 25235 HAS SOPS 25235 HAS SOUS 20095 HAS SOUPS 20095 WITH SCORE 20120.235
AT ITER 305 NEW BEST:: SOT 59258 SOS 25211 HAS SOPS 25211 HAS SOUS 20095 HAS SOUPS 20095 WITH SCORE 20120.211
AT ITER 310 NEW BEST:: SOT 59258 SOS 24264 HAS SOPS 24264 HAS SOUS 20095 HAS SOUPS 20095 WITH SCORE 20119.264
AT ITER 315 NEW BEST:: SOT 59211 SOS 24195 HAS SOPS 24195 HAS SOUS 20024 HAS SOUPS 20024 WITH SCORE 20048.195
AT ITER 318 NEW BEST:: SOT 59210 SOS 24194 HAS SOPS 24194 HAS SOUS 20022 HAS SOUPS 20022 WITH SCORE 20046.194
AT ITER 322 NEW BEST:: SOT 59122 SOS 24019 HAS SOPS 24019 HAS SOUS 19947 HAS SOUPS 19947 WITH SCORE 19971.019
AT ITER 327 NEW BEST:: SOT 59028 SOS 23842 HAS SOPS 23842 HAS SOUS 19853 HAS SOUPS 19853 WITH SCORE 19876.842
AT ITER 329 NEW BEST:: SOT 59025 SOS 23787 HAS SOPS 23787 HAS SOUS 19847 HAS SOUPS 19847 WITH SCORE 19870.787
AT ITER 335 NEW BEST:: SOT 58967 SOS 23623 HAS SOPS 23623 HAS SOUS 19789 HAS SOUPS 19789 WITH SCORE 19812.623
AT ITER 340 NEW BEST:: SOT 58477 SOS 23450 HAS SOPS 23450 HAS SOUS 19389 HAS SOUPS 19389 WITH SCORE 19412.45
AT ITER 350 NEW BEST:: SOT 58340 SOS 23261 HAS SOPS 23261 HAS SOUS 19213 HAS SOUPS 19213 WITH SCORE 19236.261
AT ITER 354 NEW BEST:: SOT 58338 SOS 23259 HAS SOPS 23259 HAS SOUS 19211 HAS SOUPS 19211 WITH SCORE 19234.259
AT ITER 356 NEW BEST:: SOT 58331 SOS 23252 HAS SOPS 23252 HAS SOUS 19203 HAS SOUPS 19203 WITH SCORE 19226.252
AT ITER 361 NEW BEST:: SOT 58295 SOS 23155 HAS SOPS 23155 HAS SOUS 19106 HAS SOUPS 19106 WITH SCORE 19129.155
AT ITER 365 NEW BEST:: SOT 58281 SOS 23104 HAS SOPS 23104 HAS SOUS 19082 HAS SOUPS 19082 WITH SCORE 19105.104
AT ITER 378 NEW BEST:: SOT 58248 SOS 23168 HAS SOPS 23168 HAS SOUS 18993 HAS SOUPS 18993 WITH SCORE 19016.168
AT ITER 379 NEW BEST:: SOT 58202 SOS 23125 HAS SOPS 23125 HAS SOUS 18972 HAS SOUPS 18972 WITH SCORE 18995.125
AT ITER 396 NEW BEST:: SOT 58085 SOS 22836 HAS SOPS 22836 HAS SOUS 18808 HAS SOUPS 18808 WITH SCORE 18830.836
AT ITER 397 NEW BEST:: SOT 58094 SOS 22771 HAS SOPS 22771 HAS SOUS 18690 HAS SOUPS 18690 WITH SCORE 18712.771
AT ITER 409 NEW BEST:: SOT 58082 SOS 22759 HAS SOPS 22759 HAS SOUS 18678 HAS SOUPS 18678 WITH SCORE 18700.759
AT ITER 426 NEW BEST:: SOT 58080 SOS 22757 HAS SOPS 22757 HAS SOUS 18674 HAS SOUPS 18674 WITH SCORE 18696.757
AT ITER 443 NEW BEST:: SOT 58059 SOS 22694 HAS SOPS 22694 HAS SOUS 18653 HAS SOUPS 18653 WITH SCORE 18675.694
AT ITER 445 NEW BEST:: SOT 58030 SOS 22686 HAS SOPS 22686 HAS SOUS 18646 HAS SOUPS 18646 WITH SCORE 18668.686
AT ITER 458 NEW BEST:: SOT 58018 SOS 22670 HAS SOPS 22670 HAS SOUS 18622 HAS SOUPS 18622 WITH SCORE 18644.67
AT ITER 459 NEW BEST:: SOT 58017 SOS 22666 HAS SOPS 22666 HAS SOUS 18620 HAS SOUPS 18620 WITH SCORE 18642.666
AT ITER 464 NEW BEST:: SOT 58017 SOS 22662 HAS SOPS 22662 HAS SOUS 18616 HAS SOUPS 18616 WITH SCORE 18638.662
AT ITER 465 NEW BEST:: SOT 58017 SOS 22662 HAS SOPS 22662 HAS SOUS 18561 HAS SOUPS 18561 WITH SCORE 18583.662
AT ITER 468 NEW BEST:: SOT 57997 SOS 22642 HAS SOPS 22642 HAS SOUS 18541 HAS SOUPS 18541 WITH SCORE 18563.642
AT ITER 469 NEW BEST:: SOT 57997 SOS 22679 HAS SOPS 22679 HAS SOUS 18538 HAS SOUPS 18538 WITH SCORE 18560.679
AT ITER 476 NEW BEST:: SOT 57941 SOS 22636 HAS SOPS 22636 HAS SOUS 18492 HAS SOUPS 18492 WITH SCORE 18514.636
AT ITER 484 NEW BEST:: SOT 57941 SOS 22522 HAS SOPS 22522 HAS SOUS 18399 HAS SOUPS 18399 WITH SCORE 18421.522
AT ITER 494 NEW BEST:: SOT 57916 SOS 22472 HAS SOPS 22472 HAS SOUS 18362 HAS SOUPS 18362 WITH SCORE 18384.472
AT ITER 504 NEW BEST:: SOT 57902 SOS 22444 HAS SOPS 22444 HAS SOUS 18334 HAS SOUPS 18334 WITH SCORE 18356.444
AT ITER 507 NEW BEST:: SOT 57895 SOS 22430 HAS SOPS 22430 HAS SOUS 18320 HAS SOUPS 18320 WITH SCORE 18342.43
AT ITER 516 NEW BEST:: SOT 57894 SOS 22428 HAS SOPS 22428 HAS SOUS 18318 HAS SOUPS 18318 WITH SCORE 18340.428
AT ITER 521 NEW BEST:: SOT 57886 SOS 22412 HAS SOPS 22412 HAS SOUS 18271 HAS SOUPS 18271 WITH SCORE 18293.412
AT ITER 524 NEW BEST:: SOT 57851 SOS 22377 HAS SOPS 22377 HAS SOUS 18236 HAS SOUPS 18236 WITH SCORE 18258.377
AT ITER 527 NEW BEST:: SOT 57803 SOS 22329 HAS SOPS 22329 HAS SOUS 18188 HAS SOUPS 18188 WITH SCORE 18210.329
AT ITER 543 NEW BEST:: SOT 57812 SOS 22275 HAS SOPS 22275 HAS SOUS 18133 HAS SOUPS 18133 WITH SCORE 18155.275
AT ITER 546 NEW BEST:: SOT 57812 SOS 22230 HAS SOPS 22230 HAS SOUS 18088 HAS SOUPS 18088 WITH SCORE 18110.23
AT ITER 547 NEW BEST:: SOT 57812 SOS 22120 HAS SOPS 22120 HAS SOUS 18004 HAS SOUPS 18004 WITH SCORE 18026.12
AT ITER 553 NEW BEST:: SOT 57779 SOS 22054 HAS SOPS 22054 HAS SOUS 17970 HAS SOUPS 17970 WITH SCORE 17992.054
AT ITER 554 NEW BEST:: SOT 57705 SOS 21980 HAS SOPS 21980 HAS SOUS 17822 HAS SOUPS 17822 WITH SCORE 17843.98
AT ITER 555 NEW BEST:: SOT 57704 SOS 21910 HAS SOPS 21910 HAS SOUS 17820 HAS SOUPS 17820 WITH SCORE 17841.91
AT ITER 562 NEW BEST:: SOT 57694 SOS 21907 HAS SOPS 21907 HAS SOUS 17790 HAS SOUPS 17790 WITH SCORE 17811.907
AT ITER 564 NEW BEST:: SOT 57688 SOS 21907 HAS SOPS 21907 HAS SOUS 17784 HAS SOUPS 17784 WITH SCORE 17805.907
AT ITER 569 NEW BEST:: SOT 57638 SOS 21864 HAS SOPS 21864 HAS SOUS 17701 HAS SOUPS 17701 WITH SCORE 17722.864
AT ITER 582 NEW BEST:: SOT 57653 SOS 20990 HAS SOPS 20990 HAS SOUS 17684 HAS SOUPS 17684 WITH SCORE 17704.99
AT ITER 592 NEW BEST:: SOT 57647 SOS 20978 HAS SOPS 20978 HAS SOUS 17672 HAS SOUPS 17672 WITH SCORE 17692.978
AT ITER 595 NEW BEST:: SOT 57638 SOS 20969 HAS SOPS 20969 HAS SOUS 17663 HAS SOUPS 17663 WITH SCORE 17683.969
AT ITER 616 NEW BEST:: SOT 57649 SOS 20919 HAS SOPS 20919 HAS SOUS 17613 HAS SOUPS 17613 WITH SCORE 17633.919
AT ITER 617 NEW BEST:: SOT 57649 SOS 20902 HAS SOPS 20902 HAS SOUS 17613 HAS SOUPS 17613 WITH SCORE 17633.902
AT ITER 619 NEW BEST:: SOT 57650 SOS 20880 HAS SOPS 20880 HAS SOUS 17599 HAS SOUPS 17599 WITH SCORE 17619.88
AT ITER 629 NEW BEST:: SOT 57642 SOS 20875 HAS SOPS 20875 HAS SOUS 17594 HAS SOUPS 17594 WITH SCORE 17614.875
AT ITER 635 NEW BEST:: SOT 57632 SOS 20855 HAS SOPS 20855 HAS SOUS 17580 HAS SOUPS 17580 WITH SCORE 17600.855
AT ITER 637 NEW BEST:: SOT 57619 SOS 20842 HAS SOPS 20842 HAS SOUS 17580 HAS SOUPS 17580 WITH SCORE 17600.842
AT ITER 651 NEW BEST:: SOT 57581 SOS 20838 HAS SOPS 20838 HAS SOUS 17576 HAS SOUPS 17576 WITH SCORE 17596.838
AT ITER 679 NEW BEST:: SOT 57587 SOS 20765 HAS SOPS 20765 HAS SOUS 17525 HAS SOUPS 17525 WITH SCORE 17545.765
AT ITER 684 NEW BEST:: SOT 57577 SOS 20773 HAS SOPS 20773 HAS SOUS 17504 HAS SOUPS 17504 WITH SCORE 17524.773
AT ITER 688 NEW BEST:: SOT 57566 SOS 20751 HAS SOPS 20751 HAS SOUS 17493 HAS SOUPS 17493 WITH SCORE 17513.751
AT ITER 693 NEW BEST:: SOT 57560 SOS 20739 HAS SOPS 20739 HAS SOUS 17487 HAS SOUPS 17487 WITH SCORE 17507.739
AT ITER 697 NEW BEST:: SOT 57567 SOS 20721 HAS SOPS 20721 HAS SOUS 17462 HAS SOUPS 17462 WITH SCORE 17482.721
AT ITER 703 NEW BEST:: SOT 57565 SOS 20719 HAS SOPS 20719 HAS SOUS 17460 HAS SOUPS 17460 WITH SCORE 17480.719
AT ITER 720 NEW BEST:: SOT 57655 SOS 20715 HAS SOPS 20715 HAS SOUS 17430 HAS SOUPS 17430 WITH SCORE 17450.715
AT ITER 722 NEW BEST:: SOT 57641 SOS 20701 HAS SOPS 20701 HAS SOUS 17416 HAS SOUPS 17416 WITH SCORE 17436.701
AT ITER 729 NEW BEST:: SOT 57657 SOS 20696 HAS SOPS 20696 HAS SOUS 17411 HAS SOUPS 17411 WITH SCORE 17431.696
AT ITER 733 NEW BEST:: SOT 57604 SOS 20668 HAS SOPS 20668 HAS SOUS 17383 HAS SOUPS 17383 WITH SCORE 17403.668
AT ITER 760 NEW BEST:: SOT 57600 SOS 20637 HAS SOPS 20637 HAS SOUS 17352 HAS SOUPS 17352 WITH SCORE 17372.637
AT ITER 775 NEW BEST:: SOT 57570 SOS 20618 HAS SOPS 20618 HAS SOUS 17352 HAS SOUPS 17352 WITH SCORE 17372.618
AT ITER 808 NEW BEST:: SOT 56771 SOS 19812 HAS SOPS 19812 HAS SOUS 16484 HAS SOUPS 16484 WITH SCORE 16503.812
AT ITER 815 NEW BEST:: SOT 56786 SOS 19808 HAS SOPS 19808 HAS SOUS 16480 HAS SOUPS 16480 WITH SCORE 16499.808
AT ITER 829 NEW BEST:: SOT 56764 SOS 19578 HAS SOPS 19578 HAS SOUS 16458 HAS SOUPS 16458 WITH SCORE 16477.578
AT ITER 841 NEW BEST:: SOT 56798 SOS 19567 HAS SOPS 19567 HAS SOUS 16447 HAS SOUPS 16447 WITH SCORE 16466.567
AT ITER 843 NEW BEST:: SOT 56820 SOS 19444 HAS SOPS 19444 HAS SOUS 16442 HAS SOUPS 16442 WITH SCORE 16461.444
AT ITER 846 NEW BEST:: SOT 56787 SOS 19310 HAS SOPS 19310 HAS SOUS 16409 HAS SOUPS 16409 WITH SCORE 16428.31
AT ITER 850 NEW BEST:: SOT 56785 SOS 19296 HAS SOPS 19296 HAS SOUS 16397 HAS SOUPS 16397 WITH SCORE 16416.296
AT ITER 855 NEW BEST:: SOT 56761 SOS 19271 HAS SOPS 19271 HAS SOUS 16372 HAS SOUPS 16372 WITH SCORE 16391.271
AT ITER 859 NEW BEST:: SOT 56736 SOS 19145 HAS SOPS 19145 HAS SOUS 16371 HAS SOUPS 16371 WITH SCORE 16390.145
AT ITER 868 NEW BEST:: SOT 56722 SOS 19117 HAS SOPS 19117 HAS SOUS 16362 HAS SOUPS 16362 WITH SCORE 16381.117
AT ITER 899 NEW BEST:: SOT 56682 SOS 19037 HAS SOPS 19037 HAS SOUS 16245 HAS SOUPS 16245 WITH SCORE 16264.037
AT ITER 901 NEW BEST:: SOT 56681 SOS 18993 HAS SOPS 18993 HAS SOUS 16201 HAS SOUPS 16201 WITH SCORE 16219.993
AT ITER 914 NEW BEST:: SOT 56669 SOS 18965 HAS SOPS 18965 HAS SOUS 16185 HAS SOUPS 16185 WITH SCORE 16203.965
AT ITER 917 NEW BEST:: SOT 56651 SOS 18875 HAS SOPS 18875 HAS SOUS 16130 HAS SOUPS 16130 WITH SCORE 16148.875
AT ITER 933 NEW BEST:: SOT 56643 SOS 18871 HAS SOPS 18871 HAS SOUS 16119 HAS SOUPS 16119 WITH SCORE 16137.871
AT ITER 934 NEW BEST:: SOT 56642 SOS 18869 HAS SOPS 18869 HAS SOUS 16117 HAS SOUPS 16117 WITH SCORE 16135.869
AT ITER 938 NEW BEST:: SOT 56568 SOS 18799 HAS SOPS 18799 HAS SOUS 16097 HAS SOUPS 16097 WITH SCORE 16115.799
AT ITER 943 NEW BEST:: SOT 56569 SOS 18779 HAS SOPS 18779 HAS SOUS 16077 HAS SOUPS 16077 WITH SCORE 16095.779
AT ITER 944 NEW BEST:: SOT 56540 SOS 18710 HAS SOPS 18710 HAS SOUS 16039 HAS SOUPS 16039 WITH SCORE 16057.71
AT ITER 973 NEW BEST:: SOT 56540 SOS 18699 HAS SOPS 18699 HAS SOUS 16039 HAS SOUPS 16039 WITH SCORE 16057.699
AT ITER 982 NEW BEST:: SOT 56535 SOS 18694 HAS SOPS 18694 HAS SOUS 16034 HAS SOUPS 16034 WITH SCORE 16052.694
AT ITER 1010 NEW BEST:: SOT 56530 SOS 18684 HAS SOPS 18684 HAS SOUS 16024 HAS SOUPS 16024 WITH SCORE 16042.684
AT ITER 1017 NEW BEST:: SOT 56507 SOS 18639 HAS SOPS 18639 HAS SOUS 16014 HAS SOUPS 16014 WITH SCORE 16032.639
AT ITER 1021 NEW BEST:: SOT 56507 SOS 18630 HAS SOPS 18630 HAS SOUS 16005 HAS SOUPS 16005 WITH SCORE 16023.63
AT ITER 1028 NEW BEST:: SOT 56474 SOS 18600 HAS SOPS 18600 HAS SOUS 15957 HAS SOUPS 15957 WITH SCORE 15975.6
AT ITER 1033 NEW BEST:: SOT 56480 SOS 18589 HAS SOPS 18589 HAS SOUS 15887 HAS SOUPS 15887 WITH SCORE 15905.589
AT ITER 1046 NEW BEST:: SOT 56416 SOS 18567 HAS SOPS 18567 HAS SOUS 15855 HAS SOUPS 15855 WITH SCORE 15873.567
AT ITER 1073 NEW BEST:: SOT 56411 SOS 18607 HAS SOPS 18607 HAS SOUS 15845 HAS SOUPS 15845 WITH SCORE 15863.607
AT ITER 1083 NEW BEST:: SOT 56375 SOS 18543 HAS SOPS 18543 HAS SOUS 15777 HAS SOUPS 15777 WITH SCORE 15795.543
AT ITER 1121 NEW BEST:: SOT 56384 SOS 18548 HAS SOPS 18548 HAS SOUS 15771 HAS SOUPS 15771 WITH SCORE 15789.548
AT ITER 1123 NEW BEST:: SOT 56340 SOS 18485 HAS SOPS 18485 HAS SOUS 15729 HAS SOUPS 15729 WITH SCORE 15747.485
AT ITER 1126 NEW BEST:: SOT 56326 SOS 18450 HAS SOPS 18450 HAS SOUS 15701 HAS SOUPS 15701 WITH SCORE 15719.45
AT ITER 1134 NEW BEST:: SOT 56325 SOS 18430 HAS SOPS 18430 HAS SOUS 15689 HAS SOUPS 15689 WITH SCORE 15707.43
AT ITER 1140 NEW BEST:: SOT 56319 SOS 18424 HAS SOPS 18424 HAS SOUS 15677 HAS SOUPS 15677 WITH SCORE 15695.424
AT ITER 1156 NEW BEST:: SOT 56316 SOS 18434 HAS SOPS 18434 HAS SOUS 15668 HAS SOUPS 15668 WITH SCORE 15686.434
AT ITER 1161 NEW BEST:: SOT 56316 SOS 18432 HAS SOPS 18432 HAS SOUS 15664 HAS SOUPS 15664 WITH SCORE 15682.432
AT ITER 1169 NEW BEST:: SOT 56281 SOS 18362 HAS SOPS 18362 HAS SOUS 15652 HAS SOUPS 15652 WITH SCORE 15670.362
AT ITER 1174 NEW BEST:: SOT 56280 SOS 18306 HAS SOPS 18306 HAS SOUS 15650 HAS SOUPS 15650 WITH SCORE 15668.306
AT ITER 1192 NEW BEST:: SOT 56252 SOS 18278 HAS SOPS 18278 HAS SOUS 15622 HAS SOUPS 15622 WITH SCORE 15640.278
AT ITER 1198 NEW BEST:: SOT 56252 SOS 18265 HAS SOPS 18265 HAS SOUS 15609 HAS SOUPS 15609 WITH SCORE 15627.265
AT ITER 1201 NEW BEST:: SOT 56253 SOS 18257 HAS SOPS 18257 HAS SOUS 15602 HAS SOUPS 15602 WITH SCORE 15620.257
AT ITER 1220 NEW BEST:: SOT 56254 SOS 18259 HAS SOPS 18259 HAS SOUS 15588 HAS SOUPS 15588 WITH SCORE 15606.259
AT ITER 1227 NEW BEST:: SOT 56250 SOS 18267 HAS SOPS 18267 HAS SOUS 15580 HAS SOUPS 15580 WITH SCORE 15598.267
AT ITER 1241 NEW BEST:: SOT 56237 SOS 18240 HAS SOPS 18240 HAS SOUS 15554 HAS SOUPS 15554 WITH SCORE 15572.24
AT ITER 1247 NEW BEST:: SOT 56227 SOS 18228 HAS SOPS 18228 HAS SOUS 15546 HAS SOUPS 15546 WITH SCORE 15564.228
AT ITER 1256 NEW BEST:: SOT 56226 SOS 18227 HAS SOPS 18227 HAS SOUS 15545 HAS SOUPS 15545 WITH SCORE 15563.227
AT ITER 1257 NEW BEST:: SOT 56213 SOS 18213 HAS SOPS 18213 HAS SOUS 15544 HAS SOUPS 15544 WITH SCORE 15562.213
AT ITER 1290 NEW BEST:: SOT 56169 SOS 18125 HAS SOPS 18125 HAS SOUS 15459 HAS SOUPS 15459 WITH SCORE 15477.125
AT ITER 1300 NEW BEST:: SOT 56168 SOS 18121 HAS SOPS 18121 HAS SOUS 15454 HAS SOUPS 15454 WITH SCORE 15472.121
AT ITER 1302 NEW BEST:: SOT 56114 SOS 18057 HAS SOPS 18057 HAS SOUS 15420 HAS SOUPS 15420 WITH SCORE 15438.057
AT ITER 1307 NEW BEST:: SOT 56111 SOS 18051 HAS SOPS 18051 HAS SOUS 15414 HAS SOUPS 15414 WITH SCORE 15432.051
AT ITER 1311 NEW BEST:: SOT 56109 SOS 18016 HAS SOPS 18016 HAS SOUS 15376 HAS SOUPS 15376 WITH SCORE 15394.016
AT ITER 1334 NEW BEST:: SOT 56049 SOS 18043 HAS SOPS 18043 HAS SOUS 15314 HAS SOUPS 15314 WITH SCORE 15332.043
AT ITER 1363 NEW BEST:: SOT 56052 SOS 18000 HAS SOPS 18000 HAS SOUS 15272 HAS SOUPS 15272 WITH SCORE 15290.0
AT ITER 1367 NEW BEST:: SOT 56073 SOS 18018 HAS SOPS 18018 HAS SOUS 15269 HAS SOUPS 15269 WITH SCORE 15287.018
AT ITER 1374 NEW BEST:: SOT 56059 SOS 18006 HAS SOPS 18006 HAS SOUS 15257 HAS SOUPS 15257 WITH SCORE 15275.006
AT ITER 1404 NEW BEST:: SOT 56028 SOS 17975 HAS SOPS 17975 HAS SOUS 15226 HAS SOUPS 15226 WITH SCORE 15243.975
AT ITER 1419 NEW BEST:: SOT 56026 SOS 17973 HAS SOPS 17973 HAS SOUS 15224 HAS SOUPS 15224 WITH SCORE 15241.973
AT ITER 1436 NEW BEST:: SOT 56026 SOS 17963 HAS SOPS 17963 HAS SOUS 15214 HAS SOUPS 15214 WITH SCORE 15231.963
AT ITER 1437 NEW BEST:: SOT 56029 SOS 17945 HAS SOPS 17945 HAS SOUS 15196 HAS SOUPS 15196 WITH SCORE 15213.945
AT ITER 1446 NEW BEST:: SOT 56025 SOS 17941 HAS SOPS 17941 HAS SOUS 15188 HAS SOUPS 15188 WITH SCORE 15205.941
AT ITER 1448 NEW BEST:: SOT 56008 SOS 17907 HAS SOPS 17907 HAS SOUS 15108 HAS SOUPS 15108 WITH SCORE 15125.907
AT ITER 1457 NEW BEST:: SOT 56002 SOS 17895 HAS SOPS 17895 HAS SOUS 15102 HAS SOUPS 15102 WITH SCORE 15119.895
AT ITER 1465 NEW BEST:: SOT 55987 SOS 17869 HAS SOPS 17869 HAS SOUS 15034 HAS SOUPS 15034 WITH SCORE 15051.869
AT ITER 1467 NEW BEST:: SOT 55970 SOS 17776 HAS SOPS 17776 HAS SOUS 14978 HAS SOUPS 14978 WITH SCORE 14995.776
AT ITER 1476 NEW BEST:: SOT 55994 SOS 17808 HAS SOPS 17808 HAS SOUS 14970 HAS SOUPS 14970 WITH SCORE 14987.808
AT ITER 1478 NEW BEST:: SOT 55990 SOS 17799 HAS SOPS 17799 HAS SOUS 14962 HAS SOUPS 14962 WITH SCORE 14979.799
AT ITER 1488 NEW BEST:: SOT 55983 SOS 17785 HAS SOPS 17785 HAS SOUS 14948 HAS SOUPS 14948 WITH SCORE 14965.785
AT ITER 1506 NEW BEST:: SOT 55975 SOS 17784 HAS SOPS 17784 HAS SOUS 14947 HAS SOUPS 14947 WITH SCORE 14964.784
AT ITER 1532 NEW BEST:: SOT 55963 SOS 17770 HAS SOPS 17770 HAS SOUS 14933 HAS SOUPS 14933 WITH SCORE 14950.77
AT ITER 1544 NEW BEST:: SOT 55963 SOS 17770 HAS SOPS 17770 HAS SOUS 14928 HAS SOUPS 14928 WITH SCORE 14945.77
AT ITER 1565 NEW BEST:: SOT 55920 SOS 17684 HAS SOPS 17684 HAS SOUS 14842 HAS SOUPS 14842 WITH SCORE 14859.684
AT ITER 1573 NEW BEST:: SOT 55937 SOS 17662 HAS SOPS 17662 HAS SOUS 14839 HAS SOUPS 14839 WITH SCORE 14856.662
AT ITER 1601 NEW BEST:: SOT 55934 SOS 17656 HAS SOPS 17656 HAS SOUS 14829 HAS SOUPS 14829 WITH SCORE 14846.656
AT ITER 1605 NEW BEST:: SOT 55933 SOS 17654 HAS SOPS 17654 HAS SOUS 14827 HAS SOUPS 14827 WITH SCORE 14844.654
AT ITER 1615 NEW BEST:: SOT 55888 SOS 17630 HAS SOPS 17630 HAS SOUS 14803 HAS SOUPS 14803 WITH SCORE 14820.63
AT ITER 1628 NEW BEST:: SOT 55877 SOS 17608 HAS SOPS 17608 HAS SOUS 14781 HAS SOUPS 14781 WITH SCORE 14798.608
AT ITER 1630 NEW BEST:: SOT 55837 SOS 17603 HAS SOPS 17603 HAS SOUS 14776 HAS SOUPS 14776 WITH SCORE 14793.603
AT ITER 1640 NEW BEST:: SOT 55808 SOS 17545 HAS SOPS 17545 HAS SOUS 14730 HAS SOUPS 14730 WITH SCORE 14747.545
AT ITER 1648 NEW BEST:: SOT 55808 SOS 17539 HAS SOPS 17539 HAS SOUS 14724 HAS SOUPS 14724 WITH SCORE 14741.539
AT ITER 1655 NEW BEST:: SOT 55800 SOS 17504 HAS SOPS 17504 HAS SOUS 14708 HAS SOUPS 14708 WITH SCORE 14725.504
AT ITER 1662 NEW BEST:: SOT 55800 SOS 17504 HAS SOPS 17504 HAS SOUS 14704 HAS SOUPS 14704 WITH SCORE 14721.504
AT ITER 1675 NEW BEST:: SOT 55795 SOS 17502 HAS SOPS 17502 HAS SOUS 14694 HAS SOUPS 14694 WITH SCORE 14711.502
AT ITER 1701 NEW BEST:: SOT 55785 SOS 17466 HAS SOPS 17466 HAS SOUS 14682 HAS SOUPS 14682 WITH SCORE 14699.466
AT ITER 1712 NEW BEST:: SOT 55785 SOS 17489 HAS SOPS 17489 HAS SOUS 14659 HAS SOUPS 14659 WITH SCORE 14676.489
AT ITER 1713 NEW BEST:: SOT 55763 SOS 17528 HAS SOPS 17528 HAS SOUS 14647 HAS SOUPS 14647 WITH SCORE 14664.528
AT ITER 1720 NEW BEST:: SOT 55713 SOS 17522 HAS SOPS 17522 HAS SOUS 14635 HAS SOUPS 14635 WITH SCORE 14652.522
AT ITER 1732 NEW BEST:: SOT 55715 SOS 17541 HAS SOPS 17541 HAS SOUS 14619 HAS SOUPS 14619 WITH SCORE 14636.541
AT ITER 1745 NEW BEST:: SOT 55705 SOS 17535 HAS SOPS 17535 HAS SOUS 14611 HAS SOUPS 14611 WITH SCORE 14628.535
AT ITER 1747 NEW BEST:: SOT 55710 SOS 17513 HAS SOPS 17513 HAS SOUS 14592 HAS SOUPS 14592 WITH SCORE 14609.513
AT ITER 1759 NEW BEST:: SOT 55710 SOS 17513 HAS SOPS 17513 HAS SOUS 14591 HAS SOUPS 14591 WITH SCORE 14608.513
AT ITER 1770 NEW BEST:: SOT 55693 SOS 17521 HAS SOPS 17521 HAS SOUS 14582 HAS SOUPS 14582 WITH SCORE 14599.521
AT ITER 1781 NEW BEST:: SOT 55690 SOS 17515 HAS SOPS 17515 HAS SOUS 14579 HAS SOUPS 14579 WITH SCORE 14596.515
AT ITER 1795 NEW BEST:: SOT 55690 SOS 17513 HAS SOPS 17513 HAS SOUS 14577 HAS SOUPS 14577 WITH SCORE 14594.513
AT ITER 1796 NEW BEST:: SOT 55773 SOS 17554 HAS SOPS 17554 HAS SOUS 14540 HAS SOUPS 14540 WITH SCORE 14557.554
AT ITER 1801 NEW BEST:: SOT 55773 SOS 17554 HAS SOPS 17554 HAS SOUS 14537 HAS SOUPS 14537 WITH SCORE 14554.554
AT ITER 1802 NEW BEST:: SOT 55779 SOS 17510 HAS SOPS 17510 HAS SOUS 14505 HAS SOUPS 14505 WITH SCORE 14522.51
AT ITER 1807 NEW BEST:: SOT 55778 SOS 17508 HAS SOPS 17508 HAS SOUS 14503 HAS SOUPS 14503 WITH SCORE 14520.508
AT ITER 1819 NEW BEST:: SOT 55770 SOS 17500 HAS SOPS 17500 HAS SOUS 14495 HAS SOUPS 14495 WITH SCORE 14512.5
AT ITER 1820 NEW BEST:: SOT 55768 SOS 17496 HAS SOPS 17496 HAS SOUS 14491 HAS SOUPS 14491 WITH SCORE 14508.496
AT ITER 1854 NEW BEST:: SOT 55764 SOS 17488 HAS SOPS 17488 HAS SOUS 14489 HAS SOUPS 14489 WITH SCORE 14506.488
AT ITER 1857 NEW BEST:: SOT 55757 SOS 17483 HAS SOPS 17483 HAS SOUS 14484 HAS SOUPS 14484 WITH SCORE 14501.483
AT ITER 1858 NEW BEST:: SOT 55736 SOS 17448 HAS SOPS 17448 HAS SOUS 14479 HAS SOUPS 14479 WITH SCORE 14496.448
AT ITER 1901 NEW BEST:: SOT 55728 SOS 17432 HAS SOPS 17432 HAS SOUS 14462 HAS SOUPS 14462 WITH SCORE 14479.432
AT ITER 1907 NEW BEST:: SOT 55719 SOS 17438 HAS SOPS 17438 HAS SOUS 14436 HAS SOUPS 14436 WITH SCORE 14453.438
AT ITER 1910 NEW BEST:: SOT 55718 SOS 17436 HAS SOPS 17436 HAS SOUS 14434 HAS SOUPS 14434 WITH SCORE 14451.436
AT ITER 1916 NEW BEST:: SOT 55717 SOS 17435 HAS SOPS 17435 HAS SOUS 14432 HAS SOUPS 14432 WITH SCORE 14449.435
AT ITER 1919 NEW BEST:: SOT 55705 SOS 17423 HAS SOPS 17423 HAS SOUS 14408 HAS SOUPS 14408 WITH SCORE 14425.423
AT ITER 1920 NEW BEST:: SOT 55706 SOS 17408 HAS SOPS 17408 HAS SOUS 14392 HAS SOUPS 14392 WITH SCORE 14409.408
AT ITER 1951 NEW BEST:: SOT 55692 SOS 17393 HAS SOPS 17393 HAS SOUS 14377 HAS SOUPS 14377 WITH SCORE 14394.393
AT ITER 1955 NEW BEST:: SOT 55693 SOS 17386 HAS SOPS 17386 HAS SOUS 14375 HAS SOUPS 14375 WITH SCORE 14392.386
AT ITER 1971 NEW BEST:: SOT 55678 SOS 17356 HAS SOPS 17356 HAS SOUS 14371 HAS SOUPS 14371 WITH SCORE 14388.356
AT ITER 2000 NEW BEST:: SOT 55700 SOS 17378 HAS SOPS 17378 HAS SOUS 14367 HAS SOUPS 14367 WITH SCORE 14384.378
AT ITER 2002 NEW BEST:: SOT 55693 SOS 17393 HAS SOPS 17393 HAS SOUS 14360 HAS SOUPS 14360 WITH SCORE 14377.393
AT ITER 2006 NEW BEST:: SOT 55693 SOS 17389 HAS SOPS 17389 HAS SOUS 14360 HAS SOUPS 14360 WITH SCORE 14377.389
AT ITER 2008 NEW BEST:: SOT 55682 SOS 17386 HAS SOPS 17386 HAS SOUS 14349 HAS SOUPS 14349 WITH SCORE 14366.386
AT ITER 2011 NEW BEST:: SOT 55687 SOS 17402 HAS SOPS 17402 HAS SOUS 14343 HAS SOUPS 14343 WITH SCORE 14360.402
AT ITER 2012 NEW BEST:: SOT 55683 SOS 17394 HAS SOPS 17394 HAS SOUS 14335 HAS SOUPS 14335 WITH SCORE 14352.394
AT ITER 2029 NEW BEST:: SOT 55655 SOS 17338 HAS SOPS 17338 HAS SOUS 14279 HAS SOUPS 14279 WITH SCORE 14296.338
AT ITER 2040 NEW BEST:: SOT 55667 SOS 17346 HAS SOPS 17346 HAS SOUS 14275 HAS SOUPS 14275 WITH SCORE 14292.346
AT ITER 2090 NEW BEST:: SOT 55679 SOS 17370 HAS SOPS 17370 HAS SOUS 14274 HAS SOUPS 14274 WITH SCORE 14291.37
AT ITER 2124 NEW BEST:: SOT 55664 SOS 17355 HAS SOPS 17355 HAS SOUS 14267 HAS SOUPS 14267 WITH SCORE 14284.355
AT ITER 2128 NEW BEST:: SOT 55650 SOS 17341 HAS SOPS 17341 HAS SOUS 14253 HAS SOUPS 14253 WITH SCORE 14270.341
AT ITER 2135 NEW BEST:: SOT 55650 SOS 17335 HAS SOPS 17335 HAS SOUS 14247 HAS SOUPS 14247 WITH SCORE 14264.335
AT ITER 2157 NEW BEST:: SOT 55667 SOS 17301 HAS SOPS 17301 HAS SOUS 14230 HAS SOUPS 14230 WITH SCORE 14247.301
AT ITER 2160 NEW BEST:: SOT 55650 SOS 17290 HAS SOPS 17290 HAS SOUS 14217 HAS SOUPS 14217 WITH SCORE 14234.29
AT ITER 2165 NEW BEST:: SOT 55649 SOS 17290 HAS SOPS 17290 HAS SOUS 14216 HAS SOUPS 14216 WITH SCORE 14233.29
AT ITER 2184 NEW BEST:: SOT 55649 SOS 17266 HAS SOPS 17266 HAS SOUS 14192 HAS SOUPS 14192 WITH SCORE 14209.266
AT ITER 2187 NEW BEST:: SOT 55582 SOS 17132 HAS SOPS 17132 HAS SOUS 14092 HAS SOUPS 14092 WITH SCORE 14109.132
AT ITER 2195 NEW BEST:: SOT 55540 SOS 17069 HAS SOPS 17069 HAS SOUS 14008 HAS SOUPS 14008 WITH SCORE 14025.069
AT ITER 2202 NEW BEST:: SOT 55537 SOS 17035 HAS SOPS 17035 HAS SOUS 13971 HAS SOUPS 13971 WITH SCORE 13988.035
AT ITER 2210 NEW BEST:: SOT 55597 SOS 17021 HAS SOPS 17021 HAS SOUS 13957 HAS SOUPS 13957 WITH SCORE 13974.021
AT ITER 2218 NEW BEST:: SOT 55585 SOS 16997 HAS SOPS 16997 HAS SOUS 13928 HAS SOUPS 13928 WITH SCORE 13944.997
AT ITER 2226 NEW BEST:: SOT 55583 SOS 16995 HAS SOPS 16995 HAS SOUS 13924 HAS SOUPS 13924 WITH SCORE 13940.995
AT ITER 2234 NEW BEST:: SOT 55588 SOS 17011 HAS SOPS 17011 HAS SOUS 13923 HAS SOUPS 13923 WITH SCORE 13940.011
AT ITER 2277 NEW BEST:: SOT 55586 SOS 17007 HAS SOPS 17007 HAS SOUS 13919 HAS SOUPS 13919 WITH SCORE 13936.007
AT ITER 2332 NEW BEST:: SOT 55585 SOS 17006 HAS SOPS 17006 HAS SOUS 13917 HAS SOUPS 13917 WITH SCORE 13934.006
AT ITER 2384 NEW BEST:: SOT 55572 SOS 16970 HAS SOPS 16970 HAS SOUS 13889 HAS SOUPS 13889 WITH SCORE 13905.97
AT ITER 2434 NEW BEST:: SOT 55572 SOS 16969 HAS SOPS 16969 HAS SOUS 13888 HAS SOUPS 13888 WITH SCORE 13904.969
AT ITER 2463 NEW BEST:: SOT 55563 SOS 16965 HAS SOPS 16965 HAS SOUS 13881 HAS SOUPS 13881 WITH SCORE 13897.965
AT ITER 2514 NEW BEST:: SOT 55539 SOS 16977 HAS SOPS 16977 HAS SOUS 13879 HAS SOUPS 13879 WITH SCORE 13895.977
AT ITER 2517 NEW BEST:: SOT 55527 SOS 16953 HAS SOPS 16953 HAS SOUS 13855 HAS SOUPS 13855 WITH SCORE 13871.953
AT ITER 2550 NEW BEST:: SOT 55539 SOS 16877 HAS SOPS 16877 HAS SOUS 13791 HAS SOUPS 13791 WITH SCORE 13807.877
AT ITER 2552 NEW BEST:: SOT 55539 SOS 16860 HAS SOPS 16860 HAS SOUS 13774 HAS SOUPS 13774 WITH SCORE 13790.86
AT ITER 2556 NEW BEST:: SOT 55474 SOS 17042 HAS SOPS 17042 HAS SOUS 13723 HAS SOUPS 13723 WITH SCORE 13740.042
AT ITER 2571 NEW BEST:: SOT 55472 SOS 17014 HAS SOPS 17014 HAS SOUS 13697 HAS SOUPS 13697 WITH SCORE 13714.014
AT ITER 2573 NEW BEST:: SOT 55427 SOS 16924 HAS SOPS 16924 HAS SOUS 13607 HAS SOUPS 13607 WITH SCORE 13623.924
AT ITER 2575 NEW BEST:: SOT 55419 SOS 16908 HAS SOPS 16908 HAS SOUS 13591 HAS SOUPS 13591 WITH SCORE 13607.908
AT ITER 2637 NEW BEST:: SOT 55428 SOS 16907 HAS SOPS 16907 HAS SOUS 13590 HAS SOUPS 13590 WITH SCORE 13606.907
AT ITER 2638 NEW BEST:: SOT 55422 SOS 16895 HAS SOPS 16895 HAS SOUS 13578 HAS SOUPS 13578 WITH SCORE 13594.895
AT ITER 2668 NEW BEST:: SOT 55419 SOS 16889 HAS SOPS 16889 HAS SOUS 13572 HAS SOUPS 13572 WITH SCORE 13588.889
AT ITER 2700 NEW BEST:: SOT 55423 SOS 16897 HAS SOPS 16897 HAS SOUS 13549 HAS SOUPS 13549 WITH SCORE 13565.897
AT ITER 2711 NEW BEST:: SOT 55415 SOS 16896 HAS SOPS 16896 HAS SOUS 13524 HAS SOUPS 13524 WITH SCORE 13540.896
AT ITER 2732 NEW BEST:: SOT 55415 SOS 16878 HAS SOPS 16878 HAS SOUS 13524 HAS SOUPS 13524 WITH SCORE 13540.878
AT ITER 2742 NEW BEST:: SOT 55413 SOS 16875 HAS SOPS 16875 HAS SOUS 13521 HAS SOUPS 13521 WITH SCORE 13537.875
AT ITER 2780 NEW BEST:: SOT 55412 SOS 16873 HAS SOPS 16873 HAS SOUS 13519 HAS SOUPS 13519 WITH SCORE 13535.873
AT ITER 2783 NEW BEST:: SOT 55409 SOS 16867 HAS SOPS 16867 HAS SOUS 13516 HAS SOUPS 13516 WITH SCORE 13532.867
AT ITER 2790 NEW BEST:: SOT 55430 SOS 16845 HAS SOPS 16845 HAS SOUS 13494 HAS SOUPS 13494 WITH SCORE 13510.845
AT ITER 2792 NEW BEST:: SOT 55424 SOS 16839 HAS SOPS 16839 HAS SOUS 13494 HAS SOUPS 13494 WITH SCORE 13510.839
AT ITER 2821 NEW BEST:: SOT 55391 SOS 16806 HAS SOPS 16806 HAS SOUS 13461 HAS SOUPS 13461 WITH SCORE 13477.806
AT ITER 2826 NEW BEST:: SOT 55357 SOS 16786 HAS SOPS 16786 HAS SOUS 13441 HAS SOUPS 13441 WITH SCORE 13457.786
AT ITER 2831 NEW BEST:: SOT 55356 SOS 16784 HAS SOPS 16784 HAS SOUS 13439 HAS SOUPS 13439 WITH SCORE 13455.784
AT ITER 2835 NEW BEST:: SOT 55356 SOS 16773 HAS SOPS 16773 HAS SOUS 13417 HAS SOUPS 13417 WITH SCORE 13433.773
AT ITER 2855 NEW BEST:: SOT 55355 SOS 16772 HAS SOPS 16772 HAS SOUS 13416 HAS SOUPS 13416 WITH SCORE 13432.772
AT ITER 2896 NEW BEST:: SOT 55358 SOS 16767 HAS SOPS 16767 HAS SOUS 13411 HAS SOUPS 13411 WITH SCORE 13427.767
AT ITER 2897 NEW BEST:: SOT 55350 SOS 16751 HAS SOPS 16751 HAS SOUS 13395 HAS SOUPS 13395 WITH SCORE 13411.751
AT ITER 2898 NEW BEST:: SOT 55357 SOS 16747 HAS SOPS 16747 HAS SOUS 13386 HAS SOUPS 13386 WITH SCORE 13402.747
AT ITER 2919 NEW BEST:: SOT 55240 SOS 16630 HAS SOPS 16630 HAS SOUS 13269 HAS SOUPS 13269 WITH SCORE 13285.63
AT ITER 2927 NEW BEST:: SOT 55244 SOS 16621 HAS SOPS 16621 HAS SOUS 13260 HAS SOUPS 13260 WITH SCORE 13276.621
AT ITER 2932 NEW BEST:: SOT 55239 SOS 16611 HAS SOPS 16611 HAS SOUS 13255 HAS SOUPS 13255 WITH SCORE 13271.611
AT ITER 2935 NEW BEST:: SOT 55235 SOS 16520 HAS SOPS 16520 HAS SOUS 13247 HAS SOUPS 13247 WITH SCORE 13263.52
AT ITER 2945 NEW BEST:: SOT 55217 SOS 16502 HAS SOPS 16502 HAS SOUS 13211 HAS SOUPS 13211 WITH SCORE 13227.502
AT ITER 2948 NEW BEST:: SOT 55217 SOS 16499 HAS SOPS 16499 HAS SOUS 13211 HAS SOUPS 13211 WITH SCORE 13227.499
AT ITER 3008 NEW BEST:: SOT 55204 SOS 16486 HAS SOPS 16486 HAS SOUS 13198 HAS SOUPS 13198 WITH SCORE 13214.486
AT ITER 3010 NEW BEST:: SOT 55135 SOS 16438 HAS SOPS 16438 HAS SOUS 13150 HAS SOUPS 13150 WITH SCORE 13166.438
AT ITER 3011 NEW BEST:: SOT 55135 SOS 16435 HAS SOPS 16435 HAS SOUS 13150 HAS SOUPS 13150 WITH SCORE 13166.435
AT ITER 3018 NEW BEST:: SOT 55123 SOS 16353 HAS SOPS 16353 HAS SOUS 13138 HAS SOUPS 13138 WITH SCORE 13154.353
AT ITER 3023 NEW BEST:: SOT 55120 SOS 16349 HAS SOPS 16349 HAS SOUS 13135 HAS SOUPS 13135 WITH SCORE 13151.349
AT ITER 3065 NEW BEST:: SOT 55110 SOS 16339 HAS SOPS 16339 HAS SOUS 13125 HAS SOUPS 13125 WITH SCORE 13141.339
AT ITER 3123 NEW BEST:: SOT 55069 SOS 16307 HAS SOPS 16307 HAS SOUS 13093 HAS SOUPS 13093 WITH SCORE 13109.307
AT ITER 3156 NEW BEST:: SOT 55061 SOS 16306 HAS SOPS 16306 HAS SOUS 13092 HAS SOUPS 13092 WITH SCORE 13108.306
AT ITER 3183 NEW BEST:: SOT 55061 SOS 16306 HAS SOPS 16306 HAS SOUS 13085 HAS SOUPS 13085 WITH SCORE 13101.306
AT ITER 3198 NEW BEST:: SOT 55061 SOS 16296 HAS SOPS 16296 HAS SOUS 13075 HAS SOUPS 13075 WITH SCORE 13091.296
AT ITER 3209 NEW BEST:: SOT 55086 SOS 16292 HAS SOPS 16292 HAS SOUS 13071 HAS SOUPS 13071 WITH SCORE 13087.292
AT ITER 3229 NEW BEST:: SOT 55080 SOS 16280 HAS SOPS 16280 HAS SOUS 13059 HAS SOUPS 13059 WITH SCORE 13075.28
AT ITER 3234 NEW BEST:: SOT 55080 SOS 16276 HAS SOPS 16276 HAS SOUS 13059 HAS SOUPS 13059 WITH SCORE 13075.276
AT ITER 3253 NEW BEST:: SOT 55080 SOS 16264 HAS SOPS 16264 HAS SOUS 13047 HAS SOUPS 13047 WITH SCORE 13063.264
AT ITER 3254 NEW BEST:: SOT 55088 SOS 16270 HAS SOPS 16270 HAS SOUS 13043 HAS SOUPS 13043 WITH SCORE 13059.27
AT ITER 3275 NEW BEST:: SOT 55086 SOS 16255 HAS SOPS 16255 HAS SOUS 13039 HAS SOUPS 13039 WITH SCORE 13055.255
AT ITER 3277 NEW BEST:: SOT 54853 SOS 16089 HAS SOPS 16089 HAS SOUS 12847 HAS SOUPS 12847 WITH SCORE 12863.089
AT ITER 3299 NEW BEST:: SOT 54853 SOS 16074 HAS SOPS 16074 HAS SOUS 12847 HAS SOUPS 12847 WITH SCORE 12863.074
AT ITER 3302 NEW BEST:: SOT 54846 SOS 16047 HAS SOPS 16047 HAS SOUS 12823 HAS SOUPS 12823 WITH SCORE 12839.047
AT ITER 3326 NEW BEST:: SOT 54820 SOS 16021 HAS SOPS 16021 HAS SOUS 12771 HAS SOUPS 12771 WITH SCORE 12787.021
AT ITER 3332 NEW BEST:: SOT 54820 SOS 16021 HAS SOPS 16021 HAS SOUS 12736 HAS SOUPS 12736 WITH SCORE 12752.021
AT ITER 3335 NEW BEST:: SOT 54814 SOS 16016 HAS SOPS 16016 HAS SOUS 12730 HAS SOUPS 12730 WITH SCORE 12746.016
AT ITER 3336 NEW BEST:: SOT 54805 SOS 15998 HAS SOPS 15998 HAS SOUS 12712 HAS SOUPS 12712 WITH SCORE 12727.998
AT ITER 3341 NEW BEST:: SOT 54805 SOS 15994 HAS SOPS 15994 HAS SOUS 12712 HAS SOUPS 12712 WITH SCORE 12727.994
AT ITER 3342 NEW BEST:: SOT 54777 SOS 15992 HAS SOPS 15992 HAS SOUS 12710 HAS SOUPS 12710 WITH SCORE 12725.992
AT ITER 3345 NEW BEST:: SOT 54774 SOS 15986 HAS SOPS 15986 HAS SOUS 12704 HAS SOUPS 12704 WITH SCORE 12719.986
AT ITER 3358 NEW BEST:: SOT 54775 SOS 15955 HAS SOPS 15955 HAS SOUS 12665 HAS SOUPS 12665 WITH SCORE 12680.955
AT ITER 3383 NEW BEST:: SOT 54775 SOS 15954 HAS SOPS 15954 HAS SOUS 12665 HAS SOUPS 12665 WITH SCORE 12680.954
AT ITER 3384 NEW BEST:: SOT 54772 SOS 15952 HAS SOPS 15952 HAS SOUS 12665 HAS SOUPS 12665 WITH SCORE 12680.952
AT ITER 3397 NEW BEST:: SOT 54799 SOS 15947 HAS SOPS 15947 HAS SOUS 12660 HAS SOUPS 12660 WITH SCORE 12675.947
AT ITER 3407 NEW BEST:: SOT 54746 SOS 15916 HAS SOPS 15916 HAS SOUS 12607 HAS SOUPS 12607 WITH SCORE 12622.916
AT ITER 3419 NEW BEST:: SOT 54747 SOS 15918 HAS SOPS 15918 HAS SOUS 12604 HAS SOUPS 12604 WITH SCORE 12619.918
AT ITER 3453 NEW BEST:: SOT 54760 SOS 15944 HAS SOPS 15944 HAS SOUS 12592 HAS SOUPS 12592 WITH SCORE 12607.944
AT ITER 3457 NEW BEST:: SOT 54821 SOS 15984 HAS SOPS 15984 HAS SOUS 12589 HAS SOUPS 12589 WITH SCORE 12604.984
AT ITER 3467 NEW BEST:: SOT 54821 SOS 15971 HAS SOPS 15971 HAS SOUS 12561 HAS SOUPS 12561 WITH SCORE 12576.971
AT ITER 3477 NEW BEST:: SOT 54836 SOS 15958 HAS SOPS 15958 HAS SOUS 12560 HAS SOUPS 12560 WITH SCORE 12575.958
AT ITER 3490 NEW BEST:: SOT 54839 SOS 15961 HAS SOPS 15961 HAS SOUS 12553 HAS SOUPS 12553 WITH SCORE 12568.961
AT ITER 3513 NEW BEST:: SOT 54837 SOS 15959 HAS SOPS 15959 HAS SOUS 12549 HAS SOUPS 12549 WITH SCORE 12564.959
AT ITER 3536 NEW BEST:: SOT 54827 SOS 15947 HAS SOPS 15947 HAS SOUS 12527 HAS SOUPS 12527 WITH SCORE 12542.947
AT ITER 3542 NEW BEST:: SOT 54824 SOS 15948 HAS SOPS 15948 HAS SOUS 12517 HAS SOUPS 12517 WITH SCORE 12532.948
AT ITER 3551 NEW BEST:: SOT 54824 SOS 15947 HAS SOPS 15947 HAS SOUS 12516 HAS SOUPS 12516 WITH SCORE 12531.947
AT ITER 3600 NEW BEST:: SOT 54822 SOS 15945 HAS SOPS 15945 HAS SOUS 12514 HAS SOUPS 12514 WITH SCORE 12529.945
AT ITER 3604 NEW BEST:: SOT 54820 SOS 15949 HAS SOPS 15949 HAS SOUS 12512 HAS SOUPS 12512 WITH SCORE 12527.949
AT ITER 3608 NEW BEST:: SOT 54817 SOS 15943 HAS SOPS 15943 HAS SOUS 12493 HAS SOUPS 12493 WITH SCORE 12508.943
AT ITER 3617 NEW BEST:: SOT 54772 SOS 15895 HAS SOPS 15895 HAS SOUS 12445 HAS SOUPS 12445 WITH SCORE 12460.895
AT ITER 3648 NEW BEST:: SOT 54766 SOS 15894 HAS SOPS 15894 HAS SOUS 12444 HAS SOUPS 12444 WITH SCORE 12459.894
AT ITER 3661 NEW BEST:: SOT 54766 SOS 15892 HAS SOPS 15892 HAS SOUS 12442 HAS SOUPS 12442 WITH SCORE 12457.892
AT ITER 3680 NEW BEST:: SOT 54763 SOS 15881 HAS SOPS 15881 HAS SOUS 12429 HAS SOUPS 12429 WITH SCORE 12444.881
AT ITER 3689 NEW BEST:: SOT 54753 SOS 15861 HAS SOPS 15861 HAS SOUS 12426 HAS SOUPS 12426 WITH SCORE 12441.861
AT ITER 3732 NEW BEST:: SOT 54633 SOS 17346 HAS SOPS 17346 HAS SOUS 12350 HAS SOUPS 12350 WITH SCORE 12367.346
AT ITER 3808 NEW BEST:: SOT 54640 SOS 17356 HAS SOPS 17356 HAS SOUS 12348 HAS SOUPS 12348 WITH SCORE 12365.356
AT ITER 3836 NEW BEST:: SOT 54639 SOS 17355 HAS SOPS 17355 HAS SOUS 12347 HAS SOUPS 12347 WITH SCORE 12364.355
AT ITER 3846 NEW BEST:: SOT 54639 SOS 17349 HAS SOPS 17349 HAS SOUS 12346 HAS SOUPS 12346 WITH SCORE 12363.349
AT ITER 3885 NEW BEST:: SOT 54638 SOS 17347 HAS SOPS 17347 HAS SOUS 12344 HAS SOUPS 12344 WITH SCORE 12361.347
AT ITER 3912 NEW BEST:: SOT 54428 SOS 17127 HAS SOPS 17127 HAS SOUS 12152 HAS SOUPS 12152 WITH SCORE 12169.127
AT ITER 3950 NEW BEST:: SOT 54426 SOS 17137 HAS SOPS 17137 HAS SOUS 12148 HAS SOUPS 12148 WITH SCORE 12165.137
AT ITER 3960 NEW BEST:: SOT 54377 SOS 17039 HAS SOPS 17039 HAS SOUS 12125 HAS SOUPS 12125 WITH SCORE 12142.039
AT ITER 4019 NEW BEST:: SOT 54368 SOS 17021 HAS SOPS 17021 HAS SOUS 12110 HAS SOUPS 12110 WITH SCORE 12127.021
AT ITER 4040 NEW BEST:: SOT 54362 SOS 17000 HAS SOPS 17000 HAS SOUS 12095 HAS SOUPS 12095 WITH SCORE 12112.0
AT ITER 4066 NEW BEST:: SOT 54362 SOS 16994 HAS SOPS 16994 HAS SOUS 12095 HAS SOUPS 12095 WITH SCORE 12111.994
AT ITER 4120 NEW BEST:: SOT 54340 SOS 16950 HAS SOPS 16950 HAS SOUS 12051 HAS SOUPS 12051 WITH SCORE 12067.95
AT ITER 4158 NEW BEST:: SOT 54292 SOS 16854 HAS SOPS 16854 HAS SOUS 11947 HAS SOUPS 11947 WITH SCORE 11963.854
AT ITER 4163 NEW BEST:: SOT 54282 SOS 16854 HAS SOPS 16854 HAS SOUS 11927 HAS SOUPS 11927 WITH SCORE 11943.854
AT ITER 4173 NEW BEST:: SOT 54238 SOS 17163 HAS SOPS 17163 HAS SOUS 11915 HAS SOUPS 11915 WITH SCORE 11932.163
AT ITER 4182 NEW BEST:: SOT 54233 SOS 17153 HAS SOPS 17153 HAS SOUS 11908 HAS SOUPS 11908 WITH SCORE 11925.153
AT ITER 4190 NEW BEST:: SOT 54233 SOS 17148 HAS SOPS 17148 HAS SOUS 11894 HAS SOUPS 11894 WITH SCORE 11911.148
AT ITER 4203 NEW BEST:: SOT 54235 SOS 17155 HAS SOPS 17155 HAS SOUS 11893 HAS SOUPS 11893 WITH SCORE 11910.155
AT ITER 4206 NEW BEST:: SOT 54218 SOS 17138 HAS SOPS 17138 HAS SOUS 11876 HAS SOUPS 11876 WITH SCORE 11893.138
AT ITER 4214 NEW BEST:: SOT 54218 SOS 17136 HAS SOPS 17136 HAS SOUS 11876 HAS SOUPS 11876 WITH SCORE 11893.136
AT ITER 4216 NEW BEST:: SOT 54198 SOS 17092 HAS SOPS 17092 HAS SOUS 11854 HAS SOUPS 11854 WITH SCORE 11871.092
AT ITER 4276 NEW BEST:: SOT 54198 SOS 17080 HAS SOPS 17080 HAS SOUS 11854 HAS SOUPS 11854 WITH SCORE 11871.08
AT ITER 4279 NEW BEST:: SOT 54197 SOS 17079 HAS SOPS 17079 HAS SOUS 11852 HAS SOUPS 11852 WITH SCORE 11869.079
AT ITER 4331 NEW BEST:: SOT 54187 SOS 17059 HAS SOPS 17059 HAS SOUS 11842 HAS SOUPS 11842 WITH SCORE 11859.059
AT ITER 4335 NEW BEST:: SOT 54165 SOS 17015 HAS SOPS 17015 HAS SOUS 11820 HAS SOUPS 11820 WITH SCORE 11837.015
AT ITER 4427 NEW BEST:: SOT 54164 SOS 17014 HAS SOPS 17014 HAS SOUS 11819 HAS SOUPS 11819 WITH SCORE 11836.014
AT ITER 4445 NEW BEST:: SOT 54163 SOS 17013 HAS SOPS 17013 HAS SOUS 11818 HAS SOUPS 11818 WITH SCORE 11835.013
AT ITER 4455 NEW BEST:: SOT 54160 SOS 17010 HAS SOPS 17010 HAS SOUS 11817 HAS SOUPS 11817 WITH SCORE 11834.01
AT ITER 4456 NEW BEST:: SOT 54112 SOS 16962 HAS SOPS 16962 HAS SOUS 11784 HAS SOUPS 11784 WITH SCORE 11800.962
AT ITER 4473 NEW BEST:: SOT 54111 SOS 16956 HAS SOPS 16956 HAS SOUS 11779 HAS SOUPS 11779 WITH SCORE 11795.956
AT ITER 4522 NEW BEST:: SOT 54110 SOS 16954 HAS SOPS 16954 HAS SOUS 11777 HAS SOUPS 11777 WITH SCORE 11793.954
AT ITER 4539 NEW BEST:: SOT 54110 SOS 16909 HAS SOPS 16909 HAS SOUS 11777 HAS SOUPS 11777 WITH SCORE 11793.909
AT ITER 4552 NEW BEST:: SOT 54094 SOS 16893 HAS SOPS 16893 HAS SOUS 11753 HAS SOUPS 11753 WITH SCORE 11769.893
AT ITER 4645 NEW BEST:: SOT 54094 SOS 16893 HAS SOPS 16893 HAS SOUS 11751 HAS SOUPS 11751 WITH SCORE 11767.893
AT ITER 4646 NEW BEST:: SOT 54103 SOS 16911 HAS SOPS 16911 HAS SOUS 11742 HAS SOUPS 11742 WITH SCORE 11758.911
AT ITER 4668 NEW BEST:: SOT 54097 SOS 16907 HAS SOPS 16907 HAS SOUS 11742 HAS SOUPS 11742 WITH SCORE 11758.907
AT ITER 4689 NEW BEST:: SOT 54097 SOS 16904 HAS SOPS 16904 HAS SOUS 11739 HAS SOUPS 11739 WITH SCORE 11755.904
AT ITER 4697 NEW BEST:: SOT 54090 SOS 16890 HAS SOPS 16890 HAS SOUS 11718 HAS SOUPS 11718 WITH SCORE 11734.89
AT ITER 4704 NEW BEST:: SOT 54088 SOS 16886 HAS SOPS 16886 HAS SOUS 11714 HAS SOUPS 11714 WITH SCORE 11730.886
AT ITER 4737 NEW BEST:: SOT 54082 SOS 16874 HAS SOPS 16874 HAS SOUS 11710 HAS SOUPS 11710 WITH SCORE 11726.874
AT ITER 4761 NEW BEST:: SOT 54082 SOS 16874 HAS SOPS 16874 HAS SOUS 11704 HAS SOUPS 11704 WITH SCORE 11720.874
AT ITER 4819 NEW BEST:: SOT 54076 SOS 16836 HAS SOPS 16836 HAS SOUS 11692 HAS SOUPS 11692 WITH SCORE 11708.836
AT ITER 4829 NEW BEST:: SOT 54072 SOS 16840 HAS SOPS 16840 HAS SOUS 11684 HAS SOUPS 11684 WITH SCORE 11700.84
AT ITER 4843 NEW BEST:: SOT 54055 SOS 16820 HAS SOPS 16820 HAS SOUS 11678 HAS SOUPS 11678 WITH SCORE 11694.82
AT ITER 4870 NEW BEST:: SOT 54052 SOS 16814 HAS SOPS 16814 HAS SOUS 11672 HAS SOUPS 11672 WITH SCORE 11688.814
AT ITER 4899 NEW BEST:: SOT 54050 SOS 16805 HAS SOPS 16805 HAS SOUS 11668 HAS SOUPS 11668 WITH SCORE 11684.805
AT ITER 4907 NEW BEST:: SOT 54070 SOS 16799 HAS SOPS 16799 HAS SOUS 11662 HAS SOUPS 11662 WITH SCORE 11678.799
AT ITER 4909 NEW BEST:: SOT 54068 SOS 16795 HAS SOPS 16795 HAS SOUS 11658 HAS SOUPS 11658 WITH SCORE 11674.795
AT ITER 4915 NEW BEST:: SOT 54051 SOS 16778 HAS SOPS 16778 HAS SOUS 11648 HAS SOUPS 11648 WITH SCORE 11664.778
AT ITER 4927 NEW BEST:: SOT 54047 SOS 16770 HAS SOPS 16770 HAS SOUS 11644 HAS SOUPS 11644 WITH SCORE 11660.77
AT ITER 4972 NEW BEST:: SOT 54005 SOS 16707 HAS SOPS 16707 HAS SOUS 11581 HAS SOUPS 11581 WITH SCORE 11597.707
AT ITER 4983 NEW BEST:: SOT 54002 SOS 16701 HAS SOPS 16701 HAS SOUS 11578 HAS SOUPS 11578 WITH SCORE 11594.701
AT ITER 4991 NEW BEST:: SOT 53960 SOS 16617 HAS SOPS 16617 HAS SOUS 11489 HAS SOUPS 11489 WITH SCORE 11505.617
AT ITER 4996 NEW BEST:: SOT 53945 SOS 16602 HAS SOPS 16602 HAS SOUS 11474 HAS SOUPS 11474 WITH SCORE 11490.602
AT ITER 5026 NEW BEST:: SOT 53945 SOS 16549 HAS SOPS 16549 HAS SOUS 11474 HAS SOUPS 11474 WITH SCORE 11490.549
AT ITER 5071 NEW BEST:: SOT 53945 SOS 16549 HAS SOPS 16549 HAS SOUS 11471 HAS SOUPS 11471 WITH SCORE 11487.549
AT ITER 5114 NEW BEST:: SOT 53930 SOS 16545 HAS SOPS 16545 HAS SOUS 11452 HAS SOUPS 11452 WITH SCORE 11468.545
AT ITER 5120 NEW BEST:: SOT 53925 SOS 16509 HAS SOPS 16509 HAS SOUS 11431 HAS SOUPS 11431 WITH SCORE 11447.509
AT ITER 5132 NEW BEST:: SOT 53921 SOS 16512 HAS SOPS 16512 HAS SOUS 11423 HAS SOUPS 11423 WITH SCORE 11439.512
AT ITER 5151 NEW BEST:: SOT 53902 SOS 16474 HAS SOPS 16474 HAS SOUS 11385 HAS SOUPS 11385 WITH SCORE 11401.474
AT ITER 5160 NEW BEST:: SOT 53876 SOS 16428 HAS SOPS 16428 HAS SOUS 11340 HAS SOUPS 11340 WITH SCORE 11356.428
AT ITER 5185 NEW BEST:: SOT 53876 SOS 16427 HAS SOPS 16427 HAS SOUS 11339 HAS SOUPS 11339 WITH SCORE 11355.427
AT ITER 5187 NEW BEST:: SOT 53846 SOS 16397 HAS SOPS 16397 HAS SOUS 11309 HAS SOUPS 11309 WITH SCORE 11325.397
AT ITER 5201 NEW BEST:: SOT 53846 SOS 16362 HAS SOPS 16362 HAS SOUS 11309 HAS SOUPS 11309 WITH SCORE 11325.362
AT ITER 5202 NEW BEST:: SOT 53845 SOS 16360 HAS SOPS 16360 HAS SOUS 11308 HAS SOUPS 11308 WITH SCORE 11324.36
AT ITER 5220 NEW BEST:: SOT 53821 SOS 16372 HAS SOPS 16372 HAS SOUS 11306 HAS SOUPS 11306 WITH SCORE 11322.372
AT ITER 5252 NEW BEST:: SOT 53817 SOS 16364 HAS SOPS 16364 HAS SOUS 11298 HAS SOUPS 11298 WITH SCORE 11314.364
AT ITER 5260 NEW BEST:: SOT 53787 SOS 16334 HAS SOPS 16334 HAS SOUS 11252 HAS SOUPS 11252 WITH SCORE 11268.334
AT ITER 5291 NEW BEST:: SOT 53781 SOS 16322 HAS SOPS 16322 HAS SOUS 11249 HAS SOUPS 11249 WITH SCORE 11265.322
AT ITER 5322 NEW BEST:: SOT 53781 SOS 16309 HAS SOPS 16309 HAS SOUS 11249 HAS SOUPS 11249 WITH SCORE 11265.309
AT ITER 5329 NEW BEST:: SOT 53704 SOS 16232 HAS SOPS 16232 HAS SOUS 11194 HAS SOUPS 11194 WITH SCORE 11210.232
AT ITER 5371 NEW BEST:: SOT 53708 SOS 16230 HAS SOPS 16230 HAS SOUS 11192 HAS SOUPS 11192 WITH SCORE 11208.23
AT ITER 5386 NEW BEST:: SOT 53704 SOS 16222 HAS SOPS 16222 HAS SOUS 11180 HAS SOUPS 11180 WITH SCORE 11196.222
AT ITER 5436 NEW BEST:: SOT 53695 SOS 16204 HAS SOPS 16204 HAS SOUS 11162 HAS SOUPS 11162 WITH SCORE 11178.204
AT ITER 5437 NEW BEST:: SOT 53695 SOS 16203 HAS SOPS 16203 HAS SOUS 11161 HAS SOUPS 11161 WITH SCORE 11177.203
AT ITER 5464 NEW BEST:: SOT 53679 SOS 16184 HAS SOPS 16184 HAS SOUS 11154 HAS SOUPS 11154 WITH SCORE 11170.184
AT ITER 5469 NEW BEST:: SOT 53669 SOS 16164 HAS SOPS 16164 HAS SOUS 11149 HAS SOUPS 11149 WITH SCORE 11165.164
AT ITER 5506 NEW BEST:: SOT 53655 SOS 16150 HAS SOPS 16150 HAS SOUS 11135 HAS SOUPS 11135 WITH SCORE 11151.15
AT ITER 5550 NEW BEST:: SOT 53654 SOS 16148 HAS SOPS 16148 HAS SOUS 11133 HAS SOUPS 11133 WITH SCORE 11149.148
AT ITER 5552 NEW BEST:: SOT 53651 SOS 16142 HAS SOPS 16142 HAS SOUS 11127 HAS SOUPS 11127 WITH SCORE 11143.142
AT ITER 5611 NEW BEST:: SOT 53631 SOS 16102 HAS SOPS 16102 HAS SOUS 11107 HAS SOUPS 11107 WITH SCORE 11123.102
AT ITER 5639 NEW BEST:: SOT 53629 SOS 16098 HAS SOPS 16098 HAS SOUS 11103 HAS SOUPS 11103 WITH SCORE 11119.098
AT ITER 5646 NEW BEST:: SOT 53629 SOS 16079 HAS SOPS 16079 HAS SOUS 11084 HAS SOUPS 11084 WITH SCORE 11100.079
AT ITER 5650 NEW BEST:: SOT 53620 SOS 16070 HAS SOPS 16070 HAS SOUS 11075 HAS SOUPS 11075 WITH SCORE 11091.07
AT ITER 5691 NEW BEST:: SOT 53618 SOS 16066 HAS SOPS 16066 HAS SOUS 11071 HAS SOUPS 11071 WITH SCORE 11087.066
AT ITER 5698 NEW BEST:: SOT 53617 SOS 16065 HAS SOPS 16065 HAS SOUS 11069 HAS SOUPS 11069 WITH SCORE 11085.065
AT ITER 5729 NEW BEST:: SOT 53606 SOS 16043 HAS SOPS 16043 HAS SOUS 11034 HAS SOUPS 11034 WITH SCORE 11050.043
AT ITER 5743 NEW BEST:: SOT 53606 SOS 16034 HAS SOPS 16034 HAS SOUS 11034 HAS SOUPS 11034 WITH SCORE 11050.034
AT ITER 5753 NEW BEST:: SOT 53539 SOS 15967 HAS SOPS 15967 HAS SOUS 10967 HAS SOUPS 10967 WITH SCORE 10982.967
AT ITER 5755 NEW BEST:: SOT 53530 SOS 15962 HAS SOPS 15962 HAS SOUS 10962 HAS SOUPS 10962 WITH SCORE 10977.962
AT ITER 5773 NEW BEST:: SOT 53530 SOS 15962 HAS SOPS 15962 HAS SOUS 10960 HAS SOUPS 10960 WITH SCORE 10975.962
AT ITER 5844 NEW BEST:: SOT 53522 SOS 15915 HAS SOPS 15915 HAS SOUS 10944 HAS SOUPS 10944 WITH SCORE 10959.915
AT ITER 5866 NEW BEST:: SOT 53522 SOS 15913 HAS SOPS 15913 HAS SOUS 10942 HAS SOUPS 10942 WITH SCORE 10957.913
AT ITER 5929 NEW BEST:: SOT 53522 SOS 15896 HAS SOPS 15896 HAS SOUS 10942 HAS SOUPS 10942 WITH SCORE 10957.896
AT ITER 5995 NEW BEST:: SOT 53522 SOS 15896 HAS SOPS 15896 HAS SOUS 10934 HAS SOUPS 10934 WITH SCORE 10949.896
AT ITER 5999 NEW BEST:: SOT 53516 SOS 15878 HAS SOPS 15878 HAS SOUS 10922 HAS SOUPS 10922 WITH SCORE 10937.878
AT ITER 6000 NEW BEST:: SOT 53514 SOS 15905 HAS SOPS 15905 HAS SOUS 10913 HAS SOUPS 10913 WITH SCORE 10928.905
AT ITER 6019 NEW BEST:: SOT 53506 SOS 15889 HAS SOPS 15889 HAS SOUS 10897 HAS SOUPS 10897 WITH SCORE 10912.889
AT ITER 6049 NEW BEST:: SOT 53500 SOS 15883 HAS SOPS 15883 HAS SOUS 10891 HAS SOUPS 10891 WITH SCORE 10906.883
AT ITER 6052 NEW BEST:: SOT 53497 SOS 15868 HAS SOPS 15868 HAS SOUS 10879 HAS SOUPS 10879 WITH SCORE 10894.868
AT ITER 6067 NEW BEST:: SOT 53538 SOS 15949 HAS SOPS 15949 HAS SOUS 10878 HAS SOUPS 10878 WITH SCORE 10893.949
AT ITER 6069 NEW BEST:: SOT 53533 SOS 15941 HAS SOPS 15941 HAS SOUS 10871 HAS SOUPS 10871 WITH SCORE 10886.941
AT ITER 6073 NEW BEST:: SOT 53533 SOS 15929 HAS SOPS 15929 HAS SOUS 10871 HAS SOUPS 10871 WITH SCORE 10886.929
AT ITER 6129 NEW BEST:: SOT 53531 SOS 15925 HAS SOPS 15925 HAS SOUS 10868 HAS SOUPS 10868 WITH SCORE 10883.925
AT ITER 6132 NEW BEST:: SOT 53530 SOS 15923 HAS SOPS 15923 HAS SOUS 10866 HAS SOUPS 10866 WITH SCORE 10881.923
AT ITER 6140 NEW BEST:: SOT 53528 SOS 15915 HAS SOPS 15915 HAS SOUS 10850 HAS SOUPS 10850 WITH SCORE 10865.915
AT ITER 6168 NEW BEST:: SOT 53507 SOS 15880 HAS SOPS 15880 HAS SOUS 10815 HAS SOUPS 10815 WITH SCORE 10830.88
AT ITER 6204 NEW BEST:: SOT 53513 SOS 15882 HAS SOPS 15882 HAS SOUS 10811 HAS SOUPS 10811 WITH SCORE 10826.882
AT ITER 6324 NEW BEST:: SOT 53489 SOS 15839 HAS SOPS 15839 HAS SOUS 10775 HAS SOUPS 10775 WITH SCORE 10790.839
AT ITER 6329 NEW BEST:: SOT 53486 SOS 15833 HAS SOPS 15833 HAS SOUS 10769 HAS SOUPS 10769 WITH SCORE 10784.833
AT ITER 6366 NEW BEST:: SOT 53439 SOS 15827 HAS SOPS 15827 HAS SOUS 10763 HAS SOUPS 10763 WITH SCORE 10778.827
AT ITER 6389 NEW BEST:: SOT 53433 SOS 15824 HAS SOPS 15824 HAS SOUS 10760 HAS SOUPS 10760 WITH SCORE 10775.824
AT ITER 6429 NEW BEST:: SOT 53424 SOS 15823 HAS SOPS 15823 HAS SOUS 10744 HAS SOUPS 10744 WITH SCORE 10759.823
AT ITER 6522 NEW BEST:: SOT 53353 SOS 15750 HAS SOPS 15750 HAS SOUS 10671 HAS SOUPS 10671 WITH SCORE 10686.75
AT ITER 6565 NEW BEST:: SOT 53344 SOS 15732 HAS SOPS 15732 HAS SOUS 10653 HAS SOUPS 10653 WITH SCORE 10668.732
AT ITER 6567 NEW BEST:: SOT 53340 SOS 15709 HAS SOPS 15709 HAS SOUS 10631 HAS SOUPS 10631 WITH SCORE 10646.709
AT ITER 6608 NEW BEST:: SOT 53340 SOS 15707 HAS SOPS 15707 HAS SOUS 10631 HAS SOUPS 10631 WITH SCORE 10646.707
AT ITER 6614 NEW BEST:: SOT 53341 SOS 15708 HAS SOPS 15708 HAS SOUS 10629 HAS SOUPS 10629 WITH SCORE 10644.708
AT ITER 6653 NEW BEST:: SOT 53336 SOS 15699 HAS SOPS 15699 HAS SOUS 10623 HAS SOUPS 10623 WITH SCORE 10638.699
AT ITER 6673 NEW BEST:: SOT 53328 SOS 15599 HAS SOPS 15599 HAS SOUS 10607 HAS SOUPS 10607 WITH SCORE 10622.599
AT ITER 6689 NEW BEST:: SOT 53280 SOS 15587 HAS SOPS 15587 HAS SOUS 10607 HAS SOUPS 10607 WITH SCORE 10622.587
AT ITER 6714 NEW BEST:: SOT 53280 SOS 15585 HAS SOPS 15585 HAS SOUS 10607 HAS SOUPS 10607 WITH SCORE 10622.585
AT ITER 6728 NEW BEST:: SOT 53256 SOS 15546 HAS SOPS 15546 HAS SOUS 10567 HAS SOUPS 10567 WITH SCORE 10582.546
AT ITER 6732 NEW BEST:: SOT 53249 SOS 15543 HAS SOPS 15543 HAS SOUS 10564 HAS SOUPS 10564 WITH SCORE 10579.543
AT ITER 6745 NEW BEST:: SOT 53236 SOS 15517 HAS SOPS 15517 HAS SOUS 10530 HAS SOUPS 10530 WITH SCORE 10545.517
AT ITER 6748 NEW BEST:: SOT 53236 SOS 15511 HAS SOPS 15511 HAS SOUS 10518 HAS SOUPS 10518 WITH SCORE 10533.511
AT ITER 6814 NEW BEST:: SOT 53200 SOS 15439 HAS SOPS 15439 HAS SOUS 10434 HAS SOUPS 10434 WITH SCORE 10449.439
AT ITER 6840 NEW BEST:: SOT 53200 SOS 15439 HAS SOPS 15439 HAS SOUS 10432 HAS SOUPS 10432 WITH SCORE 10447.439
AT ITER 6859 NEW BEST:: SOT 53196 SOS 15437 HAS SOPS 15437 HAS SOUS 10430 HAS SOUPS 10430 WITH SCORE 10445.437
AT ITER 6906 NEW BEST:: SOT 53191 SOS 15427 HAS SOPS 15427 HAS SOUS 10425 HAS SOUPS 10425 WITH SCORE 10440.427
AT ITER 6914 NEW BEST:: SOT 53175 SOS 15461 HAS SOPS 15461 HAS SOUS 10409 HAS SOUPS 10409 WITH SCORE 10424.461
AT ITER 6934 NEW BEST:: SOT 53154 SOS 15436 HAS SOPS 15436 HAS SOUS 10384 HAS SOUPS 10384 WITH SCORE 10399.436
AT ITER 6977 NEW BEST:: SOT 53151 SOS 15411 HAS SOPS 15411 HAS SOUS 10378 HAS SOUPS 10378 WITH SCORE 10393.411
AT ITER 6984 NEW BEST:: SOT 53131 SOS 15391 HAS SOPS 15391 HAS SOUS 10358 HAS SOUPS 10358 WITH SCORE 10373.391
AT ITER 6989 NEW BEST:: SOT 53131 SOS 15390 HAS SOPS 15390 HAS SOUS 10357 HAS SOUPS 10357 WITH SCORE 10372.39
AT ITER 7000 NEW BEST:: SOT 53131 SOS 15378 HAS SOPS 15378 HAS SOUS 10345 HAS SOUPS 10345 WITH SCORE 10360.378
AT ITER 7034 NEW BEST:: SOT 53078 SOS 15613 HAS SOPS 15613 HAS SOUS 10308 HAS SOUPS 10308 WITH SCORE 10323.613
AT ITER 7056 NEW BEST:: SOT 53077 SOS 15594 HAS SOPS 15594 HAS SOUS 10288 HAS SOUPS 10288 WITH SCORE 10303.594
AT ITER 7088 NEW BEST:: SOT 53146 SOS 15619 HAS SOPS 15619 HAS SOUS 10279 HAS SOUPS 10279 WITH SCORE 10294.619
AT ITER 7100 NEW BEST:: SOT 53118 SOS 15605 HAS SOPS 15605 HAS SOUS 10265 HAS SOUPS 10265 WITH SCORE 10280.605
AT ITER 7135 NEW BEST:: SOT 53104 SOS 15591 HAS SOPS 15591 HAS SOUS 10244 HAS SOUPS 10244 WITH SCORE 10259.591
AT ITER 7152 NEW BEST:: SOT 53112 SOS 15588 HAS SOPS 15588 HAS SOUS 10241 HAS SOUPS 10241 WITH SCORE 10256.588
AT ITER 7178 NEW BEST:: SOT 53091 SOS 15563 HAS SOPS 15563 HAS SOUS 10213 HAS SOUPS 10213 WITH SCORE 10228.563
AT ITER 7186 NEW BEST:: SOT 53091 SOS 15560 HAS SOPS 15560 HAS SOUS 10213 HAS SOUPS 10213 WITH SCORE 10228.56
AT ITER 7189 NEW BEST:: SOT 53114 SOS 15554 HAS SOPS 15554 HAS SOUS 10203 HAS SOUPS 10203 WITH SCORE 10218.554
AT ITER 7226 NEW BEST:: SOT 53071 SOS 15544 HAS SOPS 15544 HAS SOUS 10197 HAS SOUPS 10197 WITH SCORE 10212.544
AT ITER 7229 NEW BEST:: SOT 53069 SOS 15539 HAS SOPS 15539 HAS SOUS 10194 HAS SOUPS 10194 WITH SCORE 10209.539
AT ITER 7238 NEW BEST:: SOT 53032 SOS 15505 HAS SOPS 15505 HAS SOUS 10123 HAS SOUPS 10123 WITH SCORE 10138.505
AT ITER 7259 NEW BEST:: SOT 53022 SOS 15498 HAS SOPS 15498 HAS SOUS 10115 HAS SOUPS 10115 WITH SCORE 10130.498
AT ITER 7281 NEW BEST:: SOT 53023 SOS 15490 HAS SOPS 15490 HAS SOUS 10105 HAS SOUPS 10105 WITH SCORE 10120.49
AT ITER 7294 NEW BEST:: SOT 53020 SOS 15484 HAS SOPS 15484 HAS SOUS 10102 HAS SOUPS 10102 WITH SCORE 10117.484
AT ITER 7315 NEW BEST:: SOT 53030 SOS 15493 HAS SOPS 15493 HAS SOUS 10100 HAS SOUPS 10100 WITH SCORE 10115.493
AT ITER 7377 NEW BEST:: SOT 53014 SOS 15481 HAS SOPS 15481 HAS SOUS 10078 HAS SOUPS 10078 WITH SCORE 10093.481
AT ITER 7396 NEW BEST:: SOT 53011 SOS 15472 HAS SOPS 15472 HAS SOUS 10072 HAS SOUPS 10072 WITH SCORE 10087.472
AT ITER 7451 NEW BEST:: SOT 53011 SOS 15472 HAS SOPS 15472 HAS SOUS 10066 HAS SOUPS 10066 WITH SCORE 10081.472
AT ITER 7497 NEW BEST:: SOT 52975 SOS 15436 HAS SOPS 15436 HAS SOUS 10030 HAS SOUPS 10030 WITH SCORE 10045.436
AT ITER 7548 NEW BEST:: SOT 52996 SOS 15422 HAS SOPS 15422 HAS SOUS 9980 HAS SOUPS 9980 WITH SCORE 9995.422
AT ITER 7651 NEW BEST:: SOT 52993 SOS 15412 HAS SOPS 15412 HAS SOUS 9973 HAS SOUPS 9973 WITH SCORE 9988.412
AT ITER 7678 NEW BEST:: SOT 52992 SOS 15410 HAS SOPS 15410 HAS SOUS 9973 HAS SOUPS 9973 WITH SCORE 9988.41
AT ITER 7761 NEW BEST:: SOT 52988 SOS 15402 HAS SOPS 15402 HAS SOUS 9970 HAS SOUPS 9970 WITH SCORE 9985.402
AT ITER 7770 NEW BEST:: SOT 52980 SOS 15381 HAS SOPS 15381 HAS SOUS 9961 HAS SOUPS 9961 WITH SCORE 9976.381
AT ITER 7777 NEW BEST:: SOT 52987 SOS 15388 HAS SOPS 15388 HAS SOUS 9958 HAS SOUPS 9958 WITH SCORE 9973.388
AT ITER 7805 NEW BEST:: SOT 52954 SOS 15355 HAS SOPS 15355 HAS SOUS 9925 HAS SOUPS 9925 WITH SCORE 9940.355
AT ITER 7810 NEW BEST:: SOT 52926 SOS 15335 HAS SOPS 15335 HAS SOUS 9905 HAS SOUPS 9905 WITH SCORE 9920.335
AT ITER 7834 NEW BEST:: SOT 52863 SOS 15209 HAS SOPS 15209 HAS SOUS 9813 HAS SOUPS 9813 WITH SCORE 9828.209
AT ITER 7900 NEW BEST:: SOT 52847 SOS 15227 HAS SOPS 15227 HAS SOUS 9803 HAS SOUPS 9803 WITH SCORE 9818.227
AT ITER 7920 NEW BEST:: SOT 52847 SOS 15223 HAS SOPS 15223 HAS SOUS 9799 HAS SOUPS 9799 WITH SCORE 9814.223
AT ITER 7932 NEW BEST:: SOT 52826 SOS 15196 HAS SOPS 15196 HAS SOUS 9774 HAS SOUPS 9774 WITH SCORE 9789.196
AT ITER 7973 NEW BEST:: SOT 52826 SOS 15172 HAS SOPS 15172 HAS SOUS 9774 HAS SOUPS 9774 WITH SCORE 9789.172
AT ITER 8001 NEW BEST:: SOT 52826 SOS 15101 HAS SOPS 15101 HAS SOUS 9774 HAS SOUPS 9774 WITH SCORE 9789.101
AT ITER 8067 NEW BEST:: SOT 52824 SOS 15101 HAS SOPS 15101 HAS SOUS 9770 HAS SOUPS 9770 WITH SCORE 9785.101
AT ITER 8093 NEW BEST:: SOT 52824 SOS 15100 HAS SOPS 15100 HAS SOUS 9768 HAS SOUPS 9768 WITH SCORE 9783.1
AT ITER 8094 NEW BEST:: SOT 52823 SOS 15098 HAS SOPS 15098 HAS SOUS 9763 HAS SOUPS 9763 WITH SCORE 9778.098
AT ITER 8179 NEW BEST:: SOT 52821 SOS 15094 HAS SOPS 15094 HAS SOUS 9755 HAS SOUPS 9755 WITH SCORE 9770.094
AT ITER 8205 NEW BEST:: SOT 52811 SOS 15050 HAS SOPS 15050 HAS SOUS 9735 HAS SOUPS 9735 WITH SCORE 9750.05
AT ITER 8211 NEW BEST:: SOT 52810 SOS 15048 HAS SOPS 15048 HAS SOUS 9733 HAS SOUPS 9733 WITH SCORE 9748.048
AT ITER 8219 NEW BEST:: SOT 52802 SOS 15032 HAS SOPS 15032 HAS SOUS 9717 HAS SOUPS 9717 WITH SCORE 9732.032
AT ITER 8274 NEW BEST:: SOT 52801 SOS 15031 HAS SOPS 15031 HAS SOUS 9715 HAS SOUPS 9715 WITH SCORE 9730.031
AT ITER 8286 NEW BEST:: SOT 52799 SOS 15029 HAS SOPS 15029 HAS SOUS 9711 HAS SOUPS 9711 WITH SCORE 9726.029
AT ITER 8291 NEW BEST:: SOT 52799 SOS 15016 HAS SOPS 15016 HAS SOUS 9711 HAS SOUPS 9711 WITH SCORE 9726.016
AT ITER 8340 NEW BEST:: SOT 52799 SOS 15013 HAS SOPS 15013 HAS SOUS 9711 HAS SOUPS 9711 WITH SCORE 9726.013
AT ITER 8356 NEW BEST:: SOT 52774 SOS 14910 HAS SOPS 14910 HAS SOUS 9661 HAS SOUPS 9661 WITH SCORE 9675.91
AT ITER 8362 NEW BEST:: SOT 52771 SOS 14904 HAS SOPS 14904 HAS SOUS 9653 HAS SOUPS 9653 WITH SCORE 9667.904
AT ITER 8371 NEW BEST:: SOT 52776 SOS 14918 HAS SOPS 14918 HAS SOUS 9652 HAS SOUPS 9652 WITH SCORE 9666.918
AT ITER 8409 NEW BEST:: SOT 52773 SOS 14907 HAS SOPS 14907 HAS SOUS 9644 HAS SOUPS 9644 WITH SCORE 9658.907
AT ITER 8482 NEW BEST:: SOT 52779 SOS 14901 HAS SOPS 14901 HAS SOUS 9638 HAS SOUPS 9638 WITH SCORE 9652.901
AT ITER 8507 NEW BEST:: SOT 52776 SOS 14896 HAS SOPS 14896 HAS SOUS 9633 HAS SOUPS 9633 WITH SCORE 9647.896
AT ITER 8541 NEW BEST:: SOT 52775 SOS 14894 HAS SOPS 14894 HAS SOUS 9631 HAS SOUPS 9631 WITH SCORE 9645.894
AT ITER 8547 NEW BEST:: SOT 52771 SOS 14886 HAS SOPS 14886 HAS SOUS 9619 HAS SOUPS 9619 WITH SCORE 9633.886
AT ITER 8554 NEW BEST:: SOT 52771 SOS 14886 HAS SOPS 14886 HAS SOUS 9616 HAS SOUPS 9616 WITH SCORE 9630.886
AT ITER 8586 NEW BEST:: SOT 52771 SOS 14878 HAS SOPS 14878 HAS SOUS 9616 HAS SOUPS 9616 WITH SCORE 9630.878
AT ITER 8588 NEW BEST:: SOT 52769 SOS 14936 HAS SOPS 14936 HAS SOUS 9614 HAS SOUPS 9614 WITH SCORE 9628.936
AT ITER 8618 NEW BEST:: SOT 52769 SOS 14884 HAS SOPS 14884 HAS SOUS 9612 HAS SOUPS 9612 WITH SCORE 9626.884
AT ITER 8620 NEW BEST:: SOT 52757 SOS 14881 HAS SOPS 14881 HAS SOUS 9609 HAS SOUPS 9609 WITH SCORE 9623.881
AT ITER 8640 NEW BEST:: SOT 52754 SOS 14875 HAS SOPS 14875 HAS SOUS 9602 HAS SOUPS 9602 WITH SCORE 9616.875
AT ITER 8662 NEW BEST:: SOT 52725 SOS 14844 HAS SOPS 14844 HAS SOUS 9592 HAS SOUPS 9592 WITH SCORE 9606.844
AT ITER 8680 NEW BEST:: SOT 52715 SOS 14842 HAS SOPS 14842 HAS SOUS 9590 HAS SOUPS 9590 WITH SCORE 9604.842
AT ITER 8711 NEW BEST:: SOT 52749 SOS 14864 HAS SOPS 14864 HAS SOUS 9578 HAS SOUPS 9578 WITH SCORE 9592.864
AT ITER 8812 NEW BEST:: SOT 52769 SOS 14895 HAS SOPS 14895 HAS SOUS 9573 HAS SOUPS 9573 WITH SCORE 9587.895
AT ITER 8849 NEW BEST:: SOT 52762 SOS 14881 HAS SOPS 14881 HAS SOUS 9564 HAS SOUPS 9564 WITH SCORE 9578.881
AT ITER 8916 NEW BEST:: SOT 52762 SOS 14882 HAS SOPS 14882 HAS SOUS 9563 HAS SOUPS 9563 WITH SCORE 9577.882
AT ITER 8928 NEW BEST:: SOT 52761 SOS 14880 HAS SOPS 14880 HAS SOUS 9562 HAS SOUPS 9562 WITH SCORE 9576.88
AT ITER 8956 NEW BEST:: SOT 52761 SOS 14873 HAS SOPS 14873 HAS SOUS 9555 HAS SOUPS 9555 WITH SCORE 9569.873
AT ITER 8994 NEW BEST:: SOT 52768 SOS 14880 HAS SOPS 14880 HAS SOUS 9542 HAS SOUPS 9542 WITH SCORE 9556.88
AT ITER 9074 NEW BEST:: SOT 52772 SOS 14871 HAS SOPS 14871 HAS SOUS 9540 HAS SOUPS 9540 WITH SCORE 9554.871
AT ITER 9148 NEW BEST:: SOT 52787 SOS 14886 HAS SOPS 14886 HAS SOUS 9536 HAS SOUPS 9536 WITH SCORE 9550.886
AT ITER 9161 NEW BEST:: SOT 52749 SOS 14819 HAS SOPS 14819 HAS SOUS 9496 HAS SOUPS 9496 WITH SCORE 9510.819
AT ITER 9174 NEW BEST:: SOT 52745 SOS 14768 HAS SOPS 14768 HAS SOUS 9488 HAS SOUPS 9488 WITH SCORE 9502.768
AT ITER 9195 NEW BEST:: SOT 52737 SOS 14753 HAS SOPS 14753 HAS SOUS 9480 HAS SOUPS 9480 WITH SCORE 9494.753
AT ITER 9266 NEW BEST:: SOT 52721 SOS 14744 HAS SOPS 14744 HAS SOUS 9462 HAS SOUPS 9462 WITH SCORE 9476.744
AT ITER 9272 NEW BEST:: SOT 52690 SOS 14712 HAS SOPS 14712 HAS SOUS 9430 HAS SOUPS 9430 WITH SCORE 9444.712
AT ITER 9330 NEW BEST:: SOT 52690 SOS 14707 HAS SOPS 14707 HAS SOUS 9427 HAS SOUPS 9427 WITH SCORE 9441.707
AT ITER 9349 NEW BEST:: SOT 52673 SOS 14673 HAS SOPS 14673 HAS SOUS 9391 HAS SOUPS 9391 WITH SCORE 9405.673
AT ITER 9394 NEW BEST:: SOT 52660 SOS 14647 HAS SOPS 14647 HAS SOUS 9373 HAS SOUPS 9373 WITH SCORE 9387.647
AT ITER 9409 NEW BEST:: SOT 52632 SOS 14646 HAS SOPS 14646 HAS SOUS 9345 HAS SOUPS 9345 WITH SCORE 9359.646
AT ITER 9475 NEW BEST:: SOT 52625 SOS 14632 HAS SOPS 14632 HAS SOUS 9331 HAS SOUPS 9331 WITH SCORE 9345.632
AT ITER 9482 NEW BEST:: SOT 52641 SOS 14645 HAS SOPS 14645 HAS SOUS 9326 HAS SOUPS 9326 WITH SCORE 9340.645
AT ITER 9501 NEW BEST:: SOT 52642 SOS 14647 HAS SOPS 14647 HAS SOUS 9324 HAS SOUPS 9324 WITH SCORE 9338.647
AT ITER 9585 NEW BEST:: SOT 52642 SOS 14645 HAS SOPS 14645 HAS SOUS 9324 HAS SOUPS 9324 WITH SCORE 9338.645
AT ITER 9590 NEW BEST:: SOT 52642 SOS 14644 HAS SOPS 14644 HAS SOUS 9323 HAS SOUPS 9323 WITH SCORE 9337.644
AT ITER 9749 NEW BEST:: SOT 52642 SOS 14644 HAS SOPS 14644 HAS SOUS 9316 HAS SOUPS 9316 WITH SCORE 9330.644
AT ITER 9771 NEW BEST:: SOT 52625 SOS 14610 HAS SOPS 14610 HAS SOUS 9282 HAS SOUPS 9282 WITH SCORE 9296.61
AT ITER 9775 NEW BEST:: SOT 52626 SOS 14615 HAS SOPS 14615 HAS SOUS 9280 HAS SOUPS 9280 WITH SCORE 9294.615
AT ITER 9801 NEW BEST:: SOT 52628 SOS 14619 HAS SOPS 14619 HAS SOUS 9277 HAS SOUPS 9277 WITH SCORE 9291.619
AT ITER 9802 NEW BEST:: SOT 52616 SOS 14607 HAS SOPS 14607 HAS SOUS 9253 HAS SOUPS 9253 WITH SCORE 9267.607
AT ITER 9871 NEW BEST:: SOT 52622 SOS 14619 HAS SOPS 14619 HAS SOUS 9250 HAS SOUPS 9250 WITH SCORE 9264.619
AT ITER 9925 NEW BEST:: SOT 52605 SOS 14616 HAS SOPS 14616 HAS SOUS 9247 HAS SOUPS 9247 WITH SCORE 9261.616
AT ITER 9933 NEW BEST:: SOT 52605 SOS 14602 HAS SOPS 14602 HAS SOUS 9233 HAS SOUPS 9233 WITH SCORE 9247.602
AT ITER 9960 NEW BEST:: SOT 52601 SOS 14598 HAS SOPS 14598 HAS SOUS 9233 HAS SOUPS 9233 WITH SCORE 9247.598

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DiscoveryGPU-PT-10b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DiscoveryGPU-PT-10b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922807800664"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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